Laboratory of Babel / Archive / grad-noise-175k

grad-noise-175k

Gradient noise, 175k (run of 2026-09-23) · A complete batch run over 175,797 lattice-noise expressions, with 32 texture diagnostics and a frame of each.

About this collection

This collection is complete and closed. Every expression in the space below was rendered and measured once, in a single batch run. Each row is one expression, and its coordinate links to it running live on uto.run.

The purpose is exploratory. There is no target texture and no attempt to resemble Perlin noise. A constant field, a strongly directional pattern or an odd value distribution is an observation, not a failure. The measurements describe textures so they can be sorted, filtered and compared. They are a lossy fingerprint, not a judgement of quality and not a substitute for looking.

The space

An ither formula with two layers:

  • topo: expression trees of up to 64 nodes, built from unary (o1), binary (o2) and leaf (x) slots
  • expr: fills those slots
    • leaves: P, D, R
    • unary: sqt log frc flr cil sgn nrm
    • binary: add sub mlt div pow mod lrg eql min dot dst

A coordinate t·x·u·b follows the formula's projection: t the topology, x the leaf choices, u the unary choices, b the binary choices. Points outside the space were omitted from the run. Two orderings ride along: ordinal is the point's position in ither's whole enumeration (gaps where points were omitted), and batch index is its place in the batch run's sequence, 0 to 175,796 (the run's inputs.expr, and the number in its frame's file name).

The apparatus

Each expression is evaluated at the corners of a rectangular lattice with quintic blending (LATT.RECT.QUINTIC), over coordinates mlt(C, 8), in a 256 × 256 field #A. One configuration per expression: the dimension and coordinate scale were fixed for the whole run.

Measurements are taken from #A's x channel, its stored values (not a screenshot), at step 7, after which the run moves to the next expression. The frame in each row is that field, remapped for display.

The measurements

Notation: f is the field value, E averages the whole field, and E_I averages the interior (C-space [-0.98, 0.98]², which keeps wrapped edges out of the spatial measures).

Value distribution

key meaning
value_mean, value_abs_mean E[f] and E[|f|]: signed offset, typical distance from zero
value_positive_fraction share of values above 0 (field tolerance 0.0001)
value_variance, value_stddev population variance and SD: contrast
value_min, value_max, value_range sampled extrema and their difference
histogram_entropy_bits entropy of a 32-bin histogram over [−1, 1], 0 (one bin) to 5 (uniform) bits
histogram_probability_sum consistency check, ≈ 1

Local roughness (one-pixel differences dx, dy, and g = √(dx² + dy²))

key meaning
gradient_energy_x, gradient_energy_y E_I[dx²], E_I[dy²]
gradient_magnitude_mean E_I[g]: roughness
gradient_magnitude_variance, _stddev, _max how unevenly that roughness is spread, and its peak
gradient_magnitude_cv SD / mean of g: uneven activity (quiet areas interrupted by edges), independent of amplitude
gradient_axis_bias (Ex − Ey) / (Ex + Ey), −1 to 1: horizontal vs vertical preference. Zero does not mean isotropic (diagonals balance too)
gradient_nonzero_flag 1 if there is any gradient energy at all

Change of slope (four-neighbour Laplacian L)

key meaning
laplacian_mean, laplacian_energy, laplacian_abs_mean E_I[L], E_I[L²], E_I[|L|]. Sharp or high-frequency structure responds; a linear ramp does not

Normalised by contrast (comparable across amplitudes)

key meaning
gradient_energy_over_variance (Ex + Ey) / variance
laplacian_energy_over_variance E_I[L²] / variance
variance_normalization_valid_flag, gradient_cv_valid_flag whether the denominators above are meaningful (> 10⁻¹²). Filter on these before trusting a ratio

Three spatial scales (mean squared difference at a distance, over the central [-0.74, 0.74]²: 2, 8 and 32 pixels at this resolution)

key meaning
scale_diff2_near, _mid, _far raw difference energy at each distance
scale_diff2_near_over_variance, _mid_…, _far_… the same, normalised. Low near and rising far suggests smooth structure; a dip at a longer distance can hint at repetition

Each record's json also holds value_histogram (the 32 bin probabilities) and scale_curve (the three scales with their distances).

Reading them, and their limits

  • Clipping. #A kept its default signed domain, so values outside [−1, 1] were clipped before measuring. The diagnostics describe the clipped texture.
  • Combinations say more than any one key. A large range with modest SD and a high gradient peak suggests a few strong excursions. A broad histogram with low normalised detail suggests smooth variation. Similar roughness with a different CV means the activity is concentrated differently.
  • Entropy is about values, not space. A smooth ramp can have high entropy, and shuffling the pixels would not change it.
  • Raw spatial measures depend on resolution and amplitude. Prefer the normalised keys for detail independent of contrast, after checking the validity flags.
  • Not measured: full orientation, spectra or periodicity, lacunarity, tileability, colour, novelty, aesthetic merit.
  • Validation. The suite compiled and ran on every expression. Systematic numerical controls (constants, ramps, stripes, checkerboards, random pixels) and a comparison against longer settling times were not done before this run. Treat the values as exploratory.

Provenance

  • Apparatus: noiseBatch/one.uto, project SHA-256 b6fc8f27…be04d0
  • Expression corpus: SHA-256 7d3ec029…d72266
  • Run files (canonical), in ~/lab/data/grad-noise-175k/: the enumeration (grad-noise-175k.jsonl), the measurements (grad-noise-175k-output.jsonl, joined on inputs.expr), the formula (grad-noise-175k.manifest.json) and the frames (png/)
175,797 records
coordinate ▲ t x u b expression batch index ordinal topo measured step globalStep value_mean value_positive_fraction value_abs_mean value_variance value_stddev value_min value_max value_range histogram_probability_sum histogram_entropy_bits gradient_energy_x gradient_energy_y gradient_magnitude_mean gradient_axis_bias gradient_nonzero_flag laplacian_mean laplacian_energy laplacian_abs_mean gradient_magnitude_variance gradient_magnitude_stddev gradient_magnitude_cv gradient_magnitude_max gradient_energy_over_variance laplacian_energy_over_variance variance_normalization_valid_flag gradient_cv_valid_flag scale_diff2_near scale_diff2_mid scale_diff2_far scale_diff2_near_over_variance scale_diff2_mid_over_variance scale_diff2_far_over_variance
t17_x18_u6_b31 17 18 6 31 mlt(R,dot(P,nrm(P))) 113500 138778672 o2(x,o2(x,o1(x))) true 68007 68007 -0.02922 0.4853 0.8701 0.8255 0.9086 -1 1 2 1 2.754 0.02805 0.03225 0.1035 -0.06954 1 0.00007801 0.05086 0.07687 0.0496 0.2227 2.151 2.381 0.07305 0.06162 1 1 0.08376 0.6275 1.453 0.1015 0.7602 1.76 json
t17_x18_u6_b32 17 18 6 32 mlt(R,dst(P,nrm(P))) 113501 138778673 o2(x,o2(x,o1(x))) true 68015 68015 -0.03322 0.4862 0.8263 0.7703 0.8776 -1 1 2 1 3.122 0.02327 0.02671 0.09929 -0.06867 1 0.00007911 0.03684 0.06616 0.04012 0.2003 2.017 1.799 0.06489 0.04783 1 1 0.06538 0.5248 1.305 0.08489 0.6813 1.694 json
t17_x18_u6_b33 17 18 6 33 div(R,add(P,nrm(P))) 113502 138778674 o2(x,o2(x,o1(x))) true 68023 68023 -0.126 0.4044 0.2128 0.1274 0.3569 -1 0.8868 1.887 1 3.262 0.01024 0.0002914 0.0226 0.9447 1 -0.000006315 0.0201 0.01978 0.01002 0.1001 4.431 1.843 0.08268 0.1578 1 1 0.01339 0.06085 0.2061 0.1051 0.4777 1.618 json
t17_x18_u6_b34 17 18 6 34 div(R,sub(P,nrm(P))) 113503 138778675 o2(x,o2(x,o1(x))) true 68031 68031 -0.1433 0.3955 0.2723 0.1667 0.4082 -1 1 2 1 3.698 0.01293 0.002105 0.03019 0.72 1 -0.00001071 0.02805 0.02337 0.01413 0.1189 3.936 2.025 0.09023 0.1683 1 1 0.02091 0.1065 0.3044 0.1255 0.6391 1.826 json
t17_x18_u6_b35 17 18 6 35 div(R,mlt(P,nrm(P))) 113504 138778676 o2(x,o2(x,o1(x))) true 68039 68039 -0.1295 0.4346 0.3121 0.209 0.4572 -1 1 2 1 3.879 0.01921 0.002734 0.03802 0.7509 1 0.0000194 0.03753 0.02908 0.0205 0.1432 3.766 2.229 0.105 0.1796 1 1 0.0273 0.148 0.3795 0.1306 0.7084 1.816 json
t17_x18_u6_b36 17 18 6 36 div(R,div(P,nrm(P))) 113505 138778677 o2(x,o2(x,o1(x))) true 68047 68047 -0.1191 0.4321 0.1877 0.1187 0.3446 -1 0.5633 1.563 1 2.821 0.009663 0.0001254 0.01881 0.9744 1 0.00000451 0.01916 0.01952 0.009436 0.09714 5.164 1.563 0.08244 0.1613 1 1 0.01359 0.05832 0.197 0.1144 0.4911 1.659 json
t17_x18_u6_b37 17 18 6 37 div(R,pow(P,nrm(P))) 113506 138778678 o2(x,o2(x,o1(x))) true 68055 68055 -0.5102 0.2279 0.5986 0.2806 0.5297 -1 0.9432 1.943 1 2.948 0.004588 0.001377 0.01975 0.5383 1 -0.00001475 0.01019 0.01163 0.005576 0.07467 3.78 2.097 0.02126 0.03631 1 1 0.009422 0.05662 0.1709 0.03358 0.2018 0.6091 json
t17_x18_u6_b38 17 18 6 38 div(R,mod(P,nrm(P))) 113507 138778679 o2(x,o2(x,o1(x))) true 68063 68063 -0.1323 0.4316 0.907 0.8584 0.9265 -1 1 2 1 2.315 0.06444 0.05279 0.1039 0.09942 1 -0.000307 0.2192 0.1339 0.1064 0.3262 3.14 2.828 0.1366 0.2553 1 1 0.1308 0.6452 1.596 0.1524 0.7516 1.859 json
t17_x18_u6_b39 17 18 6 39 div(R,lrg(P,nrm(P))) 113508 138778680 o2(x,o2(x,o1(x))) true 68071 68071 -0.5827 0.194 0.7354 0.3213 0.5669 -1 0.9806 1.981 1 3.039 0.008347 0.00197 0.03244 0.6181 1 0.00001063 0.0161 0.01718 0.009261 0.09623 2.967 1.943 0.03211 0.05011 1 1 0.0141 0.09443 0.2745 0.04389 0.2939 0.8543 json
t17_x18_u6_b40 17 18 6 40 div(R,eql(P,nrm(P))) 113509 138778681 o2(x,o2(x,o1(x))) true 68079 68079 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x18_u6_b41 17 18 6 41 div(R,min(P,nrm(P))) 113510 138778682 o2(x,o2(x,o1(x))) true 68087 68087 -0.1543 0.4051 0.4134 0.2863 0.5351 -1 1 2 1 4.357 0.0164 0.003478 0.05322 0.6501 1 0.00001475 0.02835 0.02991 0.01705 0.1306 2.454 2 0.06944 0.09903 1 1 0.02754 0.1926 0.4935 0.09618 0.6727 1.724 json
t17_x18_u6_b42 17 18 6 42 div(R,dot(P,nrm(P))) 113511 138778683 o2(x,o2(x,o1(x))) true 68095 68095 -0.00952 0.4862 0.09139 0.02627 0.1621 -1 0.5634 1.563 1 2.777 0.00146 0.001691 0.01479 -0.07328 1 0.000001703 0.005942 0.007415 0.002932 0.05415 3.66 1.897 0.1199 0.2262 1 1 0.005957 0.03157 0.08966 0.2268 1.202 3.413 json
t17_x18_u6_b43 17 18 6 43 div(R,dst(P,nrm(P))) 113512 138778684 o2(x,o2(x,o1(x))) true 68103 68103 -0.02909 0.4724 0.1387 0.06607 0.257 -1 1 2 1 3.135 0.00502 0.005054 0.02063 -0.003392 1 0.000001718 0.02005 0.01517 0.009649 0.09823 4.761 2.828 0.1525 0.3034 1 1 0.01848 0.08614 0.2125 0.2797 1.304 3.216 json
t17_x18_u6_b44 17 18 6 44 pow(R,add(P,nrm(P))) 113513 138778685 o2(x,o2(x,o1(x))) true 68111 68111 -0.8585 0.07422 0.9931 0.2537 0.5037 -1 1 2 1 0.4979 0.0226 0.02231 0.02384 0.006362 1 0.000001667 0.09361 0.04681 0.04433 0.2105 8.83 2.828 0.177 0.3689 1 1 0.04372 0.1836 0.6059 0.1723 0.7238 2.388 json
t17_x18_u6_b45 17 18 6 45 pow(R,sub(P,nrm(P))) 113514 138778686 o2(x,o2(x,o1(x))) true 68119 68119 -0.8569 0.07422 0.9947 0.2582 0.5082 -1 1 2 1 0.481 0.02317 0.02271 0.02393 0.0101 1 0.000002035 0.09569 0.04737 0.0453 0.2128 8.892 2.828 0.1777 0.3705 1 1 0.04504 0.1882 0.6184 0.1744 0.7286 2.394 json
t17_x18_u6_b46 17 18 6 46 pow(R,mlt(P,nrm(P))) 113515 138778687 o2(x,o2(x,o1(x))) true 68127 68127 -0.8795 0.07391 0.9721 0.1913 0.4373 -1 1 2 1 0.6314 0.01588 0.01657 0.02083 -0.02135 1 0.000007352 0.06755 0.03911 0.03203 0.179 8.59 2.828 0.1696 0.3532 1 1 0.03286 0.1406 0.4841 0.1718 0.735 2.531 json
t17_x18_u6_b47 17 18 6 47 pow(R,div(P,nrm(P))) 113516 138778688 o2(x,o2(x,o1(x))) true 68135 68135 -0.958 0.03479 0.9717 0.04978 0.2231 -1 0.7861 1.786 1 0.3235 0.005452 0.004533 0.008846 0.092 1 0.000004827 0.02082 0.01634 0.009911 0.09955 11.25 1.92 0.2006 0.4182 1 1 0.009812 0.04088 0.1008 0.1971 0.8214 2.024 json
t17_x18_u6_b48 17 18 6 48 pow(R,pow(P,nrm(P))) 113517 138778689 o2(x,o2(x,o1(x))) true 68143 68143 -0.9891 0.007813 0.9953 0.01579 0.1257 -1 0.8669 1.867 1 0.09413 0.001607 0.001945 0.002579 -0.09521 1 0.000001995 0.007488 0.004835 0.003545 0.05954 23.09 2.64 0.2249 0.4741 1 1 0.0006226 0.004299 0.01403 0.03942 0.2722 0.8884 json
t17_x18_u6_b49 17 18 6 49 pow(R,mod(P,nrm(P))) 113518 138778690 o2(x,o2(x,o1(x))) true 68151 68151 -0.8921 0.05469 0.9985 0.2015 0.4489 -1 1 2 1 0.3549 0.02036 0.01768 0.01937 0.07048 1 0.000001642 0.07921 0.03867 0.0377 0.1942 10.02 2.828 0.1888 0.3931 1 1 0.04287 0.1767 0.4606 0.2128 0.8768 2.286 json
t17_x18_u6_b50 17 18 6 50 pow(R,lrg(P,nrm(P))) 113519 138778691 o2(x,o2(x,o1(x))) true 68159 68159 0.05662 0.5313 0.9941 0.9874 0.9937 -1 1 2 1 1.204 0.01466 0.006493 0.01211 0.3861 1 0.000002697 0.0437 0.02287 0.02099 0.1449 11.96 2.698 0.02142 0.04426 1 1 0.02269 0.09472 0.3953 0.02298 0.09593 0.4004 json
t17_x18_u6_b51 17 18 6 51 pow(R,eql(P,nrm(P))) 113520 138778692 o2(x,o2(x,o1(x))) true 68167 68167 0.7599 0.8828 0.9943 0.4138 0.6433 -1 1 2 1 0.6973 0.02573 0.01009 0.01902 0.4366 1 3.717e-10 0.0736 0.03682 0.03545 0.1883 9.897 2.828 0.08658 0.1779 1 1 0.05061 0.2032 0.788 0.1223 0.4912 1.904 json
t17_x18_u6_b52 17 18 6 52 pow(R,min(P,nrm(P))) 113521 138778693 o2(x,o2(x,o1(x))) true 68175 68175 -0.8542 0.07422 0.9973 0.2659 0.5157 -1 1 2 1 0.4492 0.02385 0.02349 0.02428 0.007698 1 0.000002598 0.09874 0.0483 0.04673 0.2162 8.901 2.828 0.178 0.3713 1 1 0.0454 0.1899 0.6278 0.1707 0.7141 2.361 json
t17_x18_u6_b53 17 18 6 53 pow(R,dot(P,nrm(P))) 113522 138778694 o2(x,o2(x,o1(x))) true 68183 68183 -0.9491 0.0426 0.965 0.05927 0.2435 -1 0.7861 1.786 1 0.3823 0.006232 0.005862 0.01075 0.03055 1 0.000004827 0.02523 0.01992 0.01198 0.1095 10.19 1.93 0.204 0.4256 1 1 0.01043 0.04512 0.1101 0.1759 0.7613 1.857 json
t17_x18_u6_b54 17 18 6 54 pow(R,dst(P,nrm(P))) 113523 138778695 o2(x,o2(x,o1(x))) true 68191 68191 -0.9472 0.04269 0.9669 0.06431 0.2536 -1 0.8754 1.875 1 0.3947 0.006842 0.006382 0.01121 0.03474 1 0.000005412 0.0276 0.02073 0.0131 0.1144 10.21 2.461 0.2056 0.4291 1 1 0.01202 0.05153 0.1251 0.1869 0.8013 1.945 json
t17_x18_u6_b55 17 18 6 55 mod(R,add(P,nrm(P))) 113524 138778696 o2(x,o2(x,o1(x))) true 68199 68199 -0.12 0.4324 0.4674 0.3015 0.5491 -1 0.9806 1.981 1 4.761 0.01585 0.002792 0.06406 0.7005 1 0.00004824 0.0275 0.03166 0.01454 0.1206 1.882 1.943 0.06184 0.09123 1 1 0.02584 0.1831 0.5035 0.0857 0.6074 1.67 json
t17_x18_u6_b56 17 18 6 56 mod(R,sub(P,nrm(P))) 113525 138778697 o2(x,o2(x,o1(x))) true 68207 68207 -0.1465 0.4175 0.4697 0.3005 0.5481 -1 0.9806 1.981 1 4.715 0.01204 0.003822 0.06143 0.5179 1 0.00005813 0.02276 0.03058 0.01208 0.1099 1.79 1.829 0.05278 0.07576 1 1 0.02355 0.1719 0.5119 0.07836 0.572 1.704 json
t17_x18_u6_b57 17 18 6 57 mod(R,mlt(P,nrm(P))) 113526 138778698 o2(x,o2(x,o1(x))) true 68215 68215 -0.1209 0.4294 0.4395 0.2794 0.5286 -1 0.9806 1.981 1 4.712 0.01038 0.002467 0.05842 0.616 1 0.00006131 0.017 0.02762 0.009439 0.09715 1.663 1.483 0.046 0.06083 1 1 0.01973 0.1546 0.4662 0.07063 0.5535 1.669 json
t17_x18_u6_b58 17 18 6 58 mod(R,div(P,nrm(P))) 113527 138778699 o2(x,o2(x,o1(x))) true 68223 68223 -0.12 0.4324 0.4674 0.3015 0.5491 -1 0.9806 1.981 1 4.761 0.01585 0.002792 0.06406 0.7005 1 0.00004824 0.0275 0.03166 0.01454 0.1206 1.882 1.943 0.06184 0.09123 1 1 0.02584 0.1831 0.5035 0.0857 0.6074 1.67 json
t17_x18_u6_b59 17 18 6 59 mod(R,pow(P,nrm(P))) 113528 138778700 o2(x,o2(x,o1(x))) true 68231 68231 -0.5176 0.2281 0.6983 0.3443 0.5868 -1 0.9806 1.981 1 3.357 0.0055 0.002368 0.03555 0.3981 1 -1.077e-7 0.0103 0.01531 0.006601 0.08125 2.285 2.097 0.02285 0.02992 1 1 0.01284 0.1013 0.3052 0.0373 0.2941 0.8863 json
t17_x18_u6_b60 17 18 6 60 mod(R,mod(P,nrm(P))) 113529 138778701 o2(x,o2(x,o1(x))) true 68239 68239 -0.2133 0.3659 0.2986 0.1895 0.4353 -1 0.6534 1.653 1 3.22 0.009497 0.006727 0.0287 0.1708 1 3.41e-7 0.0321 0.03364 0.0154 0.1241 4.324 1.684 0.08564 0.1694 1 1 0.02007 0.08738 0.3221 0.1059 0.4612 1.7 json
t17_x18_u6_b61 17 18 6 61 mod(R,lrg(P,nrm(P))) 113530 138778702 o2(x,o2(x,o1(x))) true 68247 68247 -0.5827 0.194 0.7354 0.3213 0.5669 -1 0.9806 1.981 1 3.039 0.008347 0.00197 0.03244 0.6181 1 0.00001063 0.0161 0.01718 0.009261 0.09623 2.967 1.943 0.03211 0.05011 1 1 0.0141 0.09443 0.2745 0.04389 0.2939 0.8543 json
t17_x18_u6_b62 17 18 6 62 mod(R,eql(P,nrm(P))) 113531 138778703 o2(x,o2(x,o1(x))) true 68255 68255 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x18_u6_b63 17 18 6 63 mod(R,min(P,nrm(P))) 113532 138778704 o2(x,o2(x,o1(x))) true 68263 68263 -0.1083 0.4311 0.4134 0.2617 0.5115 -1 0.9693 1.969 1 4.637 0.01228 0.002212 0.05555 0.6948 1 0.00003233 0.02118 0.02797 0.01141 0.1068 1.923 1.898 0.0554 0.08093 1 1 0.02097 0.1507 0.431 0.08016 0.5759 1.647 json
t17_x18_u6_b64 17 18 6 64 mod(R,dot(P,nrm(P))) 113533 138778705 o2(x,o2(x,o1(x))) true 68271 68271 -0.01089 0.4862 0.4044 0.2322 0.4818 -1 0.9806 1.981 1 4.885 0.004312 0.004911 0.06445 -0.06491 1 0.00002651 0.007419 0.01909 0.00507 0.0712 1.105 2.097 0.03973 0.03196 1 1 0.01732 0.1683 0.4536 0.07461 0.725 1.954 json
t17_x18_u6_b65 17 18 6 65 mod(R,dst(P,nrm(P))) 113534 138778706 o2(x,o2(x,o1(x))) true 68279 68279 -0.04678 0.4674 0.4231 0.2545 0.5045 -1 0.9806 1.981 1 4.882 0.005846 0.005353 0.06373 0.04409 1 0.00002651 0.01219 0.02226 0.007138 0.08448 1.326 2.748 0.044 0.0479 1 1 0.02034 0.1733 0.5141 0.07991 0.6807 2.02 json
t17_x18_u6_b66 17 18 6 66 lrg(R,add(P,nrm(P))) 113535 138778707 o2(x,o2(x,o1(x))) true 68287 68287 0.4961 0.5378 0.4961 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005705 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t17_x18_u6_b67 17 18 6 67 lrg(R,sub(P,nrm(P))) 113536 138778708 o2(x,o2(x,o1(x))) true 68295 68295 0.5098 0.5869 0.5098 0.234 0.4837 0 1 1 1 1.67 0.0004546 0.0003033 0.008857 0.1996 1 -0.00001711 0.0000425 0.002133 0.0006798 0.02607 2.944 0.1169 0.003239 0.0001816 1 1 0.001958 0.02546 0.0993 0.008367 0.1088 0.4244 json
t17_x18_u6_b68 17 18 6 68 lrg(R,mlt(P,nrm(P))) 113537 138778709 o2(x,o2(x,o1(x))) true 68303 68303 0.08398 0.1974 0.08398 0.05631 0.2373 0 1 1 1 1.13 0.0005727 0.0003987 0.01138 0.1791 1 -0.00002282 0.00005601 0.002751 0.0008421 0.02902 2.55 0.1169 0.01725 0.0009947 1 1 0.002335 0.03035 0.1162 0.04146 0.539 2.064 json
t17_x18_u6_b69 17 18 6 69 lrg(R,div(P,nrm(P))) 113538 138778710 o2(x,o2(x,o1(x))) true 68311 68311 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t17_x18_u6_b70 17 18 6 70 lrg(R,pow(P,nrm(P))) 113539 138778711 o2(x,o2(x,o1(x))) true 68319 68319 0.4727 0.5074 0.4727 0.242 0.4919 0 1 1 1 1.358 0.0003432 0.00003512 0.004306 0.8144 1 -4.775e-10 0.00001836 0.001016 0.0003599 0.01897 4.405 0.1169 0.001564 0.00007585 1 1 0.001014 0.01329 0.07825 0.00419 0.05493 0.3234 json
t17_x18_u6_b71 17 18 6 71 lrg(R,mod(P,nrm(P))) 113540 138778712 o2(x,o2(x,o1(x))) true 68327 68327 0.5107 0.8922 0.5107 0.1652 0.4065 0 1 1 1 3.266 0.001961 0.001927 0.04568 0.00866 1 0.00001354 0.0002279 0.01109 0.001802 0.04245 0.9294 0.1169 0.02353 0.001379 1 1 0.00765 0.09861 0.2821 0.04629 0.5967 1.707 json
t17_x18_u6_b72 17 18 6 72 lrg(R,lrg(P,nrm(P))) 113541 138778713 o2(x,o2(x,o1(x))) true 68335 68335 0.2637 0.488 0.2637 0.1462 0.3823 0 1 1 1 2.321 0.001017 0.001241 0.02636 -0.09923 1 0.000006427 0.0001267 0.006353 0.001563 0.03953 1.5 0.1169 0.01545 0.0008666 1 1 0.004566 0.05844 0.1754 0.03124 0.3999 1.2 json
t17_x18_u6_b73 17 18 6 73 lrg(R,eql(P,nrm(P))) 113542 138778714 o2(x,o2(x,o1(x))) true 68343 68343 0.459 0.9017 0.459 0.1524 0.3904 0 1 1 1 3.419 0.002057 0.002348 0.05156 -0.06601 1 -0.00001211 0.0002594 0.01255 0.001746 0.04179 0.8104 0.1169 0.0289 0.001701 1 1 0.008565 0.1103 0.2669 0.05619 0.7233 1.751 json
t17_x18_u6_b74 17 18 6 74 lrg(R,min(P,nrm(P))) 113543 138778715 o2(x,o2(x,o1(x))) true 68351 68351 0.5596 0.6998 0.5596 0.2213 0.4704 0 1 1 1 1.954 0.0007133 0.0004718 0.01392 0.2037 1 -0.000003566 0.00006552 0.003332 0.0009916 0.03149 2.262 0.1169 0.005355 0.0002961 1 1 0.002643 0.03434 0.124 0.01194 0.1551 0.5601 json
t17_x18_u6_b75 17 18 6 75 lrg(R,dot(P,nrm(P))) 113544 138778716 o2(x,o2(x,o1(x))) true 68359 68359 0.003906 0.01477 0.003906 0.002383 0.04882 0 0.9994 0.9994 1 0.1068 0.00003512 0.00003512 0.0008419 7.252e-7 0 -5.638e-14 0.000004222 0.000206 0.00006942 0.008332 9.897 0.1169 0.02947 0.001772 1 1 0.0002443 0.003178 0.008708 0.1025 1.334 3.654 json
t17_x18_u6_b76 17 18 6 76 lrg(R,dst(P,nrm(P))) 113545 138778717 o2(x,o2(x,o1(x))) true 68367 68367 0.02344 0.06036 0.02344 0.01617 0.1272 0 1 1 1 0.421 0.0001308 0.0001756 0.003627 -0.1463 1 -3.209e-11 0.00001905 0.0008981 0.0002933 0.01713 4.722 0.1169 0.01895 0.001178 1 1 0.001065 0.01386 0.0397 0.06589 0.8572 2.456 json
t17_x18_u6_b77 17 18 6 77 eql(R,add(P,nrm(P))) 113546 138778718 o2(x,o2(x,o1(x))) true 68375 68375 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x18_u6_b78 17 18 6 78 eql(R,sub(P,nrm(P))) 113547 138778719 o2(x,o2(x,o1(x))) true 68383 68383 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x18_u6_b79 17 18 6 79 eql(R,mlt(P,nrm(P))) 113548 138778720 o2(x,o2(x,o1(x))) true 68391 68391 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x18_u6_b80 17 18 6 80 eql(R,div(P,nrm(P))) 113549 138778721 o2(x,o2(x,o1(x))) true 68399 68399 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x18_u6_b81 17 18 6 81 eql(R,pow(P,nrm(P))) 113550 138778722 o2(x,o2(x,o1(x))) true 68407 68407 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x18_u6_b82 17 18 6 82 eql(R,mod(P,nrm(P))) 113551 138778723 o2(x,o2(x,o1(x))) true 68415 68415 0.003906 0.01477 0.003906 0.002383 0.04882 0 0.9994 0.9994 1 0.1068 0.00003512 0.00003512 0.0008419 7.252e-7 0 -5.638e-14 0.000004222 0.000206 0.00006951 0.008337 9.903 0.1169 0.02947 0.001772 1 1 0.0001124 0.001488 0.004391 0.04716 0.6243 1.843 json
t17_x18_u6_b83 17 18 6 83 eql(R,lrg(P,nrm(P))) 113552 138778724 o2(x,o2(x,o1(x))) true 68423 68423 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x18_u6_b84 17 18 6 84 eql(R,eql(P,nrm(P))) 113553 138778725 o2(x,o2(x,o1(x))) true 68431 68431 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x18_u6_b85 17 18 6 85 eql(R,min(P,nrm(P))) 113554 138778726 o2(x,o2(x,o1(x))) true 68439 68439 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x18_u6_b86 17 18 6 86 eql(R,dot(P,nrm(P))) 113555 138778727 o2(x,o2(x,o1(x))) true 68447 68447 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x18_u6_b87 17 18 6 87 eql(R,dst(P,nrm(P))) 113556 138778728 o2(x,o2(x,o1(x))) true 68455 68455 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x18_u6_b88 17 18 6 88 min(R,add(P,nrm(P))) 113557 138778729 o2(x,o2(x,o1(x))) true 68463 68463 -0.4955 0.2286 0.674 0.3368 0.5803 -1 0.9806 1.981 1 3.556 0.00184 0.001497 0.03499 0.1029 1 -4.003e-7 0.0002387 0.008385 0.002113 0.04597 1.314 0.3307 0.009909 0.0007087 1 1 0.006853 0.08693 0.2797 0.02035 0.2581 0.8305 json
t17_x18_u6_b89 17 18 6 89 min(R,sub(P,nrm(P))) 113558 138778730 o2(x,o2(x,o1(x))) true 68471 68471 -0.4785 0.2275 0.6498 0.3193 0.5651 -1 0.9806 1.981 1 3.792 0.001615 0.001463 0.03483 0.04963 1 -0.000001066 0.0001977 0.008348 0.001865 0.04318 1.24 0.219 0.009641 0.0006193 1 1 0.00605 0.07812 0.2516 0.01895 0.2447 0.788 json
t17_x18_u6_b90 17 18 6 90 min(R,mlt(P,nrm(P))) 113559 138778731 o2(x,o2(x,o1(x))) true 68479 68479 -0.02719 0.4701 0.3717 0.2016 0.449 -0.9989 0.9806 1.979 1 4.826 0.00246 0.002844 0.05906 -0.07245 1 0.00004026 0.0003122 0.01357 0.001817 0.04262 0.7217 0.2301 0.02632 0.001549 1 1 0.01065 0.1367 0.3401 0.05281 0.6783 1.687 json
t17_x18_u6_b91 17 18 6 91 min(R,div(P,nrm(P))) 113560 138778732 o2(x,o2(x,o1(x))) true 68487 68487 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t17_x18_u6_b92 17 18 6 92 min(R,pow(P,nrm(P))) 113561 138778733 o2(x,o2(x,o1(x))) true 68495 68495 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t17_x18_u6_b93 17 18 6 93 min(R,mod(P,nrm(P))) 113562 138778734 o2(x,o2(x,o1(x))) true 68503 68503 -0.2683 0.177 0.3345 0.0961 0.31 -0.9989 0.8291 1.828 1 4.327 0.001044 0.001193 0.03739 -0.0666 1 0.000004862 0.0001331 0.00857 0.0008384 0.02895 0.7743 0.1724 0.02327 0.001385 1 1 0.004525 0.05869 0.1658 0.04708 0.6107 1.725 json
t17_x18_u6_b94 17 18 6 94 min(R,lrg(P,nrm(P))) 113563 138778735 o2(x,o2(x,o1(x))) true 68511 68511 -0.1329 0.2305 0.3122 0.1503 0.3877 -0.9989 0.9806 1.979 1 4.464 0.001901 0.001913 0.04712 -0.003132 1 0.00001726 0.0002277 0.01094 0.001593 0.03992 0.847 0.219 0.02537 0.001515 1 1 0.007384 0.09548 0.2522 0.04912 0.6351 1.678 json
t17_x18_u6_b95 17 18 6 95 min(R,eql(P,nrm(P))) 113564 138778736 o2(x,o2(x,o1(x))) true 68519 68519 -0.243 0.03484 0.26 0.07325 0.2706 -0.9989 0.6687 1.668 1 3.74 0.000846 0.001009 0.03306 -0.08783 1 0.00001174 0.0001088 0.0077 0.000762 0.0276 0.835 0.1608 0.02533 0.001485 1 1 0.003589 0.04626 0.1301 0.049 0.6315 1.776 json
t17_x18_u6_b96 17 18 6 96 min(R,min(P,nrm(P))) 113565 138778737 o2(x,o2(x,o1(x))) true 68527 68527 -0.5154 0.2122 0.6552 0.2984 0.5462 -1 0.9276 1.928 1 3.567 0.001375 0.001241 0.03144 0.05153 1 -1.369e-7 0.0001568 0.007316 0.001628 0.04035 1.283 0.1921 0.008768 0.0005256 1 1 0.005364 0.06991 0.2307 0.01798 0.2343 0.7732 json
t17_x18_u6_b97 17 18 6 97 min(R,dot(P,nrm(P))) 113566 138778738 o2(x,o2(x,o1(x))) true 68535 68535 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t17_x18_u6_b98 17 18 6 98 min(R,dst(P,nrm(P))) 113567 138778739 o2(x,o2(x,o1(x))) true 68543 68543 0.003893 0.4953 0.3911 0.2169 0.4657 -0.9989 0.9806 1.979 1 4.858 0.00277 0.003121 0.06273 -0.0597 1 0.00002651 0.0003452 0.01437 0.001957 0.04424 0.7052 0.2301 0.02716 0.001591 1 1 0.0115 0.1478 0.3896 0.05304 0.6813 1.796 json
t17_x18_u6_b99 17 18 6 99 dot(R,add(P,nrm(P))) 113568 138778740 o2(x,o2(x,o1(x))) true 68551 68551 -0.1093 0.4475 0.8778 0.8263 0.909 -1 1 2 1 2.613 0.02982 0.03987 0.1046 -0.1442 1 0.00004125 0.06769 0.08821 0.05878 0.2424 2.318 2.828 0.08435 0.08192 1 1 0.09203 0.6383 1.514 0.1114 0.7725 1.832 json
t17_x18_u6_b100 17 18 6 100 dot(R,sub(P,nrm(P))) 113569 138778741 o2(x,o2(x,o1(x))) true 68559 68559 -0.1138 0.4459 0.8099 0.7415 0.8611 -1 1 2 1 3.146 0.02165 0.02913 0.09931 -0.1473 1 0.00001182 0.03836 0.06789 0.04093 0.2023 2.037 2.008 0.06849 0.05174 1 1 0.06203 0.4981 1.277 0.08365 0.6717 1.722 json
t17_x18_u6_b101 17 18 6 101 dot(R,mlt(P,nrm(P))) 113570 138778742 o2(x,o2(x,o1(x))) true 68567 68567 0.04851 0.5257 0.8284 0.7712 0.8782 -1 1 2 1 3.095 0.02498 0.02816 0.1061 -0.05978 1 -0.000002897 0.03848 0.0692 0.04187 0.2046 1.928 2.828 0.06891 0.0499 1 1 0.06724 0.5559 1.424 0.08719 0.7209 1.847 json
t17_x18_u6_b102 17 18 6 102 dot(R,div(P,nrm(P))) 113571 138778743 o2(x,o2(x,o1(x))) true 68575 68575 -0.3085 0.3468 0.919 0.797 0.8927 -1 1 2 1 2.11 0.04261 0.05064 0.09819 -0.08616 1 0.0001256 0.1342 0.1089 0.0836 0.2891 2.945 2.828 0.117 0.1684 1 1 0.1061 0.6028 1.391 0.1331 0.7563 1.745 json
t17_x18_u6_b103 17 18 6 103 dot(R,pow(P,nrm(P))) 113572 138778744 o2(x,o2(x,o1(x))) true 68583 68583 -0.7292 0.1377 0.9601 0.4149 0.6441 -1 1 2 1 1.203 0.007876 0.01021 0.02871 -0.1291 1 0.000004448 0.02096 0.02235 0.01727 0.1314 4.577 2.828 0.04359 0.05053 1 1 0.02483 0.174 0.5063 0.05983 0.4194 1.22 json
t17_x18_u6_b104 17 18 6 104 dot(R,mod(P,nrm(P))) 113573 138778745 o2(x,o2(x,o1(x))) true 68591 68591 -0.2602 0.3331 0.3697 0.2141 0.4627 -1 0.9789 1.979 1 3.78 0.007696 0.007547 0.03666 0.009779 1 -0.00002825 0.02838 0.0329 0.0139 0.1179 3.216 1.42 0.07121 0.1326 1 1 0.02026 0.103 0.3758 0.09464 0.481 1.756 json
t17_x18_u6_b105 17 18 6 105 dot(R,lrg(P,nrm(P))) 113574 138778746 o2(x,o2(x,o1(x))) true 68599 68599 0.00318 0.3671 0.3201 0.2003 0.4476 -1 1 2 1 4.348 0.002893 0.002753 0.05163 0.02477 1 -0.00001089 0.0004647 0.01257 0.002981 0.0546 1.058 0.3047 0.02819 0.00232 1 1 0.01027 0.1295 0.3793 0.05127 0.6464 1.893 json
t17_x18_u6_b106 17 18 6 106 dot(R,eql(P,nrm(P))) 113575 138778747 o2(x,o2(x,o1(x))) true 68607 68607 -0.03745 0.4666 0.379 0.2058 0.4536 -1 0.9893 1.989 1 4.827 0.003079 0.002947 0.06298 0.02178 1 -0.0000401 0.0004112 0.01488 0.002059 0.04537 0.7204 0.2732 0.02928 0.001998 1 1 0.01376 0.1756 0.4295 0.06688 0.8531 2.087 json
t17_x18_u6_b107 17 18 6 107 dot(R,min(P,nrm(P))) 113576 138778748 o2(x,o2(x,o1(x))) true 68615 68615 -0.06775 0.4738 0.6832 0.5885 0.7671 -1 1 2 1 4.012 0.01636 0.02101 0.09209 -0.1245 1 -0.00005483 0.02328 0.05096 0.02888 0.1699 1.845 1.834 0.0635 0.03955 1 1 0.05137 0.4288 1.019 0.0873 0.7287 1.731 json
t17_x18_u6_b108 17 18 6 108 dot(R,dot(P,nrm(P))) 113577 138778749 o2(x,o2(x,o1(x))) true 68623 68623 -0.007814 0.4978 0.8978 0.8646 0.9298 -1 1 2 1 2.432 0.04254 0.04384 0.1115 -0.01497 1 0.00002485 0.09915 0.1063 0.07396 0.272 2.44 2.828 0.09991 0.1147 1 1 0.1152 0.7261 1.623 0.1333 0.8398 1.877 json
t17_x18_u6_b109 17 18 6 109 dot(R,dst(P,nrm(P))) 113578 138778750 o2(x,o2(x,o1(x))) true 68631 68631 -0.01699 0.4962 0.863 0.8202 0.9057 -1 1 2 1 2.746 0.03555 0.03687 0.1088 -0.01821 1 0.0000188 0.07304 0.09198 0.06056 0.2461 2.262 2.422 0.0883 0.08905 1 1 0.09357 0.643 1.51 0.1141 0.7839 1.841 json
t17_x18_u6_b110 17 18 6 110 dst(R,add(P,nrm(P))) 113579 138778751 o2(x,o2(x,o1(x))) true 68639 68639 0.9688 0.9844 1 0.06152 0.248 -1 1 2 1 0.1161 0.004031 0.004031 0.004013 0 1 0 0.01663 0.008062 0.008054 0.08974 22.36 2.828 0.131 0.2703 1 1 0.01418 0.05673 0.2269 0.2305 0.9221 3.688 json
t17_x18_u6_b111 17 18 6 111 dst(R,sub(P,nrm(P))) 113580 138778752 o2(x,o2(x,o1(x))) true 68647 68647 0.9662 0.9844 0.9975 0.06197 0.2489 -1 1 2 1 0.2502 0.003475 0.003379 0.004309 0.0139 1 -3.754e-11 0.0141 0.007755 0.006841 0.08271 19.19 2.465 0.1106 0.2275 1 1 0.01213 0.05141 0.2202 0.1957 0.8295 3.553 json
t17_x18_u6_b112 17 18 6 112 dst(R,mlt(P,nrm(P))) 113581 138778753 o2(x,o2(x,o1(x))) true 68655 68655 0.9673 0.9844 0.9985 0.06196 0.2489 -1 1 2 1 0.1719 0.003688 0.003589 0.00426 0.01354 1 -1.239e-10 0.01484 0.007867 0.007264 0.08523 20.01 2.034 0.1175 0.2395 1 1 0.01289 0.05448 0.2251 0.2081 0.8793 3.634 json
t17_x18_u6_b113 17 18 6 113 dst(R,div(P,nrm(P))) 113582 138778754 o2(x,o2(x,o1(x))) true 68663 68663 0.5313 0.7656 1 0.7172 0.8469 -1 1 2 1 0.7856 0.02771 0.02771 0.0277 0 1 0 0.1114 0.05543 0.05465 0.2338 8.44 2.828 0.07728 0.1553 1 1 0.07003 0.2801 1.12 0.09763 0.3905 1.562 json
t17_x18_u6_b114 17 18 6 114 dst(R,pow(P,nrm(P))) 113583 138778755 o2(x,o2(x,o1(x))) true 68671 68671 -0.5078 0.2461 1 0.742 0.8614 -1 1 2 1 0.8084 0.007914 0.007917 0.007933 -0.0002093 1 -4.13e-11 0.03202 0.01587 0.01577 0.1256 15.83 2.664 0.02134 0.04316 1 1 0.02099 0.08413 0.3366 0.02828 0.1134 0.4537 json
t17_x18_u6_b115 17 18 6 115 dst(R,mod(P,nrm(P))) 113584 138778756 o2(x,o2(x,o1(x))) true 68679 68679 0.4763 0.7656 0.9451 0.6809 0.8252 -1 1 2 1 2.091 0.02552 0.02591 0.03698 -0.007655 1 -0.0000218 0.1022 0.05716 0.05008 0.2238 6.051 2.828 0.07553 0.1501 1 1 0.06373 0.2649 1.066 0.0936 0.3891 1.566 json
t17_x18_u6_b116 17 18 6 116 dst(R,lrg(P,nrm(P))) 113585 138778757 o2(x,o2(x,o1(x))) true 68687 68687 0.9453 1 0.9453 0.01506 0.1227 0.2579 1 0.7421 1 1.378 0.0002387 0.0003313 0.009937 -0.1625 1 -0.00003113 0.0001632 0.004352 0.0004716 0.02172 2.185 0.1751 0.03786 0.01084 1 1 0.0009853 0.009988 0.02278 0.06544 0.6634 1.513 json
t17_x18_u6_b117 17 18 6 117 dst(R,eql(P,nrm(P))) 113586 138778758 o2(x,o2(x,o1(x))) true 68695 68695 0.9718 1 0.9718 0.008661 0.09306 0.2103 1 0.7897 1 0.8071 0.0002709 0.0002581 0.007198 0.02423 1 -0.00004189 0.0001946 0.003955 0.000477 0.02184 3.034 0.1992 0.06108 0.02247 1 1 0.0008165 0.006944 0.01086 0.09428 0.8018 1.254 json
t17_x18_u6_b118 17 18 6 118 dst(R,min(P,nrm(P))) 113587 138778759 o2(x,o2(x,o1(x))) true 68703 68703 0.9839 1 0.9839 0.00494 0.07028 0.1449 1 0.8551 1 0.541 0.0001477 0.0001467 0.004193 0.003331 1 -0.00002165 0.00009941 0.002224 0.0002768 0.01664 3.968 0.1606 0.05962 0.02012 1 1 0.0005009 0.004813 0.009743 0.1014 0.9745 1.973 json
t17_x18_u6_b119 17 18 6 119 dst(R,dot(P,nrm(P))) 113588 138778760 o2(x,o2(x,o1(x))) true 68711 68711 0.9688 0.9844 1 0.06152 0.248 -1 1 2 1 0.1161 0.004031 0.004031 0.004013 0 1 0 0.01663 0.008062 0.008054 0.08974 22.36 2.828 0.131 0.2703 1 1 0.01418 0.05673 0.2269 0.2305 0.9221 3.688 json
t17_x18_u6_b120 17 18 6 120 dst(R,dst(P,nrm(P))) 113589 138778761 o2(x,o2(x,o1(x))) true 68719 68719 0.9659 0.9844 0.9971 0.06227 0.2495 -1 1 2 1 0.2351 0.002925 0.002846 0.00418 0.01361 1 -2.891e-10 0.01172 0.007282 0.005759 0.07589 18.16 2.202 0.09268 0.1882 1 1 0.01031 0.04922 0.2206 0.1656 0.7904 3.542 json
t17_x19_u0_b0 17 19 0 0 add(R,add(P,sqt(D))) 113590 138817836 o2(x,o2(x,o1(x))) true 68727 68727 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x19_u0_b1 17 19 0 1 add(R,sub(P,sqt(D))) 113591 138817837 o2(x,o2(x,o1(x))) true 68735 68735 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x19_u0_b2 17 19 0 2 add(R,mlt(P,sqt(D))) 113592 138817838 o2(x,o2(x,o1(x))) true 68743 68743 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x19_u0_b3 17 19 0 3 add(R,div(P,sqt(D))) 113593 138817839 o2(x,o2(x,o1(x))) true 68751 68751 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x19_u0_b4 17 19 0 4 add(R,pow(P,sqt(D))) 113594 138817840 o2(x,o2(x,o1(x))) true 68759 68759 -0.9096 0.04826 0.9775 0.1417 0.3764 -1 1 2 1 0.601 0.01925 0.0001372 0.01582 0.9858 1 -0.00001074 0.0373 0.02331 0.01913 0.1383 8.741 2.005 0.1368 0.2633 1 1 0.02671 0.1212 0.218 0.1885 0.8554 1.539 json
t17_x19_u0_b5 17 19 0 5 add(R,mod(P,sqt(D))) 113595 138817841 o2(x,o2(x,o1(x))) true 68767 68767 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x19_u0_b6 17 19 0 6 add(R,lrg(P,sqt(D))) 113596 138817842 o2(x,o2(x,o1(x))) true 68775 68775 0.6048 0.8934 0.6791 0.1968 0.4436 -0.9986 1 1.999 1 3.821 0.02558 0.002088 0.07604 0.8491 1 -0.000117 0.04449 0.06436 0.02188 0.1479 1.945 1.023 0.1406 0.2261 1 1 0.03376 0.1762 0.2265 0.1715 0.8954 1.151 json
t17_x19_u0_b7 17 19 0 7 add(R,eql(P,sqt(D))) 113597 138817843 o2(x,o2(x,o1(x))) true 68783 68783 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t17_x19_u0_b8 17 19 0 8 add(R,min(P,sqt(D))) 113598 138817844 o2(x,o2(x,o1(x))) true 68791 68791 -0.06502 0.4724 0.8876 0.8452 0.9194 -1 1 2 1 2.543 0.033 0.0007342 0.0576 0.9565 1 -0.00002297 0.06243 0.06474 0.0304 0.1744 3.027 1.821 0.03991 0.07386 1 1 0.03632 0.1191 0.2826 0.04297 0.141 0.3344 json
t17_x19_u0_b9 17 19 0 9 add(R,dot(P,sqt(D))) 113599 138817845 o2(x,o2(x,o1(x))) true 68799 68799 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json