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_x20_u2_b21 17 20 2 21 sub(R,dst(P,frc(R))) 114700 138858660 o2(x,o2(x,o1(x))) true 77607 77607 -0.9961 0 0.9961 0.00225 0.04743 -1 -0.1097 0.8903 1 0.11 0.00008777 0.00005946 0.001175 0.1923 1 1.877e-11 0.00004169 0.0005828 0.0001457 0.01207 10.27 0.2345 0.06545 0.01853 1 1 0.0004889 0.004764 0.008083 0.2173 2.118 3.593 json
t17_x20_u2_b22 17 20 2 22 mlt(R,add(P,frc(R))) 114701 138858661 o2(x,o2(x,o1(x))) true 77615 77615 -0.04204 0.4778 0.7253 0.6474 0.8046 -1 1 2 1 3.751 0.01691 0.01952 0.0928 -0.07161 1 -0.00006069 0.02019 0.04955 0.02783 0.1668 1.798 1.466 0.05628 0.03118 1 1 0.05161 0.4537 1.028 0.07972 0.7007 1.587 json
t17_x20_u2_b23 17 20 2 23 mlt(R,sub(P,frc(R))) 114702 138858662 o2(x,o2(x,o1(x))) true 77623 77623 -0.08217 0.4595 0.722 0.6394 0.7996 -1 1 2 1 3.731 0.0163 0.01995 0.09097 -0.1007 1 -0.00003178 0.02049 0.04946 0.02798 0.1673 1.839 1.386 0.05668 0.03205 1 1 0.05081 0.4388 1.044 0.07947 0.6862 1.633 json
t17_x20_u2_b24 17 20 2 24 mlt(R,mlt(P,frc(R))) 114703 138858663 o2(x,o2(x,o1(x))) true 77631 77631 -0.05493 0.4644 0.5352 0.4142 0.6436 -1 1 2 1 4.579 0.008014 0.008639 0.07655 -0.03757 1 -0.000006835 0.005008 0.02897 0.01079 0.1039 1.357 0.8236 0.0402 0.01209 1 1 0.02386 0.255 0.6383 0.05761 0.6156 1.541 json
t17_x20_u2_b25 17 20 2 25 mlt(R,div(P,frc(R))) 114704 138858664 o2(x,o2(x,o1(x))) true 77639 77639 -0.05372 0.4782 0.8468 0.8041 0.8967 -1 1 2 1 2.781 0.0362 0.0447 0.1023 -0.1051 1 -0.00006565 0.1097 0.09829 0.07043 0.2654 2.594 2.828 0.1006 0.1364 1 1 0.08959 0.5894 1.303 0.1114 0.733 1.621 json
t17_x20_u2_b26 17 20 2 26 mlt(R,pow(P,frc(R))) 114705 138858665 o2(x,o2(x,o1(x))) true 77647 77647 -0.496 0.2432 0.7961 0.4903 0.7002 -1 1 2 1 3.02 0.008399 0.004272 0.04665 0.3258 1 -0.000044 0.01004 0.02257 0.0105 0.1024 2.196 1 0.02584 0.02048 1 1 0.01883 0.1755 0.5132 0.03841 0.3578 1.047 json
t17_x20_u2_b27 17 20 2 27 mlt(R,mod(P,frc(R))) 114706 138858666 o2(x,o2(x,o1(x))) true 77655 77655 -0.004604 0.4566 0.08688 0.01676 0.1295 -0.6392 0.6587 1.298 1 2.944 0.0002233 0.0002303 0.01536 -0.01545 1 -0.000007529 0.00002695 0.003516 0.0002178 0.01476 0.9608 0.1032 0.02706 0.001608 1 1 0.0008904 0.01154 0.0324 0.05312 0.6882 1.933 json
t17_x20_u2_b28 17 20 2 28 mlt(R,lrg(P,frc(R))) 114707 138858667 o2(x,o2(x,o1(x))) true 77663 77663 -0.003372 0.2383 0.1824 0.09906 0.3147 -0.9986 0.9806 1.979 1 3.227 0.001335 0.001403 0.03048 -0.0248 1 0.000001931 0.0001658 0.00707 0.001809 0.04254 1.396 0.219 0.02764 0.001674 1 1 0.005186 0.06731 0.1846 0.05235 0.6795 1.864 json
t17_x20_u2_b29 17 20 2 29 mlt(R,eql(P,frc(R))) 114708 138858668 o2(x,o2(x,o1(x))) true 77671 77671 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_x20_u2_b30 17 20 2 30 mlt(R,min(P,frc(R))) 114709 138858669 o2(x,o2(x,o1(x))) true 77679 77679 0.004577 0.4821 0.4642 0.3645 0.6037 -1 1 2 1 4.282 0.008336 0.01066 0.06221 -0.1225 1 -0.00002929 0.01011 0.0283 0.01513 0.123 1.977 1.294 0.05212 0.02774 1 1 0.02819 0.2453 0.5593 0.07733 0.673 1.534 json
t17_x20_u2_b31 17 20 2 31 mlt(R,dot(P,frc(R))) 114710 138858670 o2(x,o2(x,o1(x))) true 77687 77687 -0.008258 0.4879 0.7001 0.6167 0.7853 -1 1 2 1 3.942 0.01246 0.01355 0.08582 -0.04184 1 0.0000529 0.01104 0.03997 0.01865 0.1366 1.591 1.217 0.04219 0.0179 1 1 0.03446 0.3314 0.9024 0.05589 0.5375 1.463 json
t17_x20_u2_b32 17 20 2 32 mlt(R,dst(P,frc(R))) 114711 138858671 o2(x,o2(x,o1(x))) true 77695 77695 -0.007647 0.4966 0.8643 0.8189 0.9049 -1 1 2 1 2.82 0.02622 0.03082 0.1024 -0.08071 1 0.00007447 0.04352 0.07266 0.04655 0.2158 2.107 2 0.06965 0.05314 1 1 0.07824 0.6116 1.387 0.09555 0.7468 1.694 json
t17_x20_u2_b33 17 20 2 33 div(R,add(P,frc(R))) 114712 138858672 o2(x,o2(x,o1(x))) true 77703 77703 -0.03945 0.4506 0.2071 0.1176 0.343 -1 1 2 1 3.755 0.002198 0.002496 0.03078 -0.06344 1 0.00002696 0.00161 0.01073 0.003746 0.06121 1.988 0.9298 0.0399 0.01368 1 1 0.01077 0.1068 0.3394 0.09155 0.908 2.885 json
t17_x20_u2_b34 17 20 2 34 div(R,sub(P,frc(R))) 114713 138858673 o2(x,o2(x,o1(x))) true 77711 77711 0.04854 0.4878 0.2107 0.1222 0.3496 -1 1 2 1 3.716 0.002366 0.002677 0.03062 -0.0618 1 -0.00004325 0.002017 0.01135 0.004106 0.06408 2.093 0.9298 0.04127 0.0165 1 1 0.01224 0.1153 0.3247 0.1001 0.9436 2.657 json
t17_x20_u2_b35 17 20 2 35 div(R,mlt(P,frc(R))) 114714 138858674 o2(x,o2(x,o1(x))) true 77719 77719 -0.1318 0.41 0.4191 0.3039 0.5513 -1 1 2 1 4.17 0.01836 0.004675 0.05011 0.5941 1 -0.00003388 0.03925 0.03545 0.02053 0.1433 2.859 2.008 0.0758 0.1292 1 1 0.02806 0.1682 0.4941 0.09235 0.5535 1.626 json
t17_x20_u2_b36 17 20 2 36 div(R,div(P,frc(R))) 114715 138858675 o2(x,o2(x,o1(x))) true 77727 77727 -0.1273 0.402 0.1856 0.1212 0.3482 -1 0.8898 1.89 1 2.806 0.009878 0.0001753 0.01865 0.9651 1 -8.779e-7 0.01949 0.01877 0.009706 0.09852 5.284 1.89 0.08292 0.1608 1 1 0.01317 0.05785 0.1954 0.1086 0.4772 1.611 json
t17_x20_u2_b37 17 20 2 37 div(R,pow(P,frc(R))) 114716 138858676 o2(x,o2(x,o1(x))) true 77735 77735 -0.5902 0.1938 0.6607 0.2539 0.5039 -1 0.9432 1.943 1 2.813 0.00772 0.000556 0.02144 0.8656 1 -4.381e-7 0.01464 0.01379 0.007816 0.08841 4.124 1.943 0.0326 0.05765 1 1 0.01056 0.05689 0.1502 0.04158 0.2241 0.5915 json
t17_x20_u2_b38 17 20 2 38 div(R,mod(P,frc(R))) 114717 138858677 o2(x,o2(x,o1(x))) true 77743 77743 -0.1551 0.4224 0.8997 0.8418 0.9175 -1 1 2 1 2.42 0.04465 0.03751 0.0992 0.0869 1 -0.0001769 0.119 0.09896 0.0723 0.2689 2.711 2.828 0.0976 0.1414 1 1 0.1075 0.6146 1.438 0.1276 0.7301 1.708 json
t17_x20_u2_b39 17 20 2 39 div(R,lrg(P,frc(R))) 114718 138858678 o2(x,o2(x,o1(x))) true 77751 77751 -0.5736 0.1995 0.7298 0.325 0.57 -1 0.9806 1.981 1 3.079 0.008479 0.001297 0.03255 0.7347 1 0.00001063 0.01473 0.01637 0.008716 0.09336 2.868 1.943 0.03008 0.04532 1 1 0.01323 0.09166 0.2549 0.04071 0.2821 0.7843 json
t17_x20_u2_b40 17 20 2 40 div(R,eql(P,frc(R))) 114719 138858679 o2(x,o2(x,o1(x))) true 77759 77759 -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_x20_u2_b41 17 20 2 41 div(R,min(P,frc(R))) 114720 138858680 o2(x,o2(x,o1(x))) true 77767 77767 -0.1744 0.3972 0.4784 0.3633 0.6028 -1 1 2 1 4.064 0.01901 0.007394 0.06175 0.4399 1 0.0001616 0.03668 0.03926 0.02259 0.1503 2.434 2 0.07267 0.101 1 1 0.03521 0.2461 0.6181 0.09692 0.6773 1.701 json
t17_x20_u2_b42 17 20 2 42 div(R,dot(P,frc(R))) 114721 138858681 o2(x,o2(x,o1(x))) true 77775 77775 -0.04094 0.4651 0.2686 0.1563 0.3954 -1 1 2 1 4.238 0.005401 0.004304 0.04162 0.1131 1 -0.000006563 0.0122 0.0181 0.007973 0.08929 2.145 2.828 0.06208 0.07802 1 1 0.0203 0.1542 0.3611 0.1299 0.9866 2.31 json
t17_x20_u2_b43 17 20 2 43 div(R,dst(P,frc(R))) 114722 138858682 o2(x,o2(x,o1(x))) true 77783 77783 0.01019 0.499 0.08002 0.01308 0.1143 -0.6638 0.8456 1.509 1 2.751 0.0002389 0.0001948 0.01354 0.1017 1 0.000001745 0.00002758 0.00314 0.0002503 0.01582 1.168 0.1765 0.03317 0.002109 1 1 0.001355 0.01756 0.03479 0.1036 1.343 2.661 json
t17_x20_u2_b44 17 20 2 44 pow(R,add(P,frc(R))) 114723 138858683 o2(x,o2(x,o1(x))) true 77791 77791 -0.9191 0.04297 0.995 0.1487 0.3856 -1 1 2 1 0.3232 0.01581 0.01439 0.01578 0.04699 1 0.00000168 0.06313 0.03142 0.02994 0.173 10.97 2.828 0.2031 0.4247 1 1 0.02505 0.1069 0.2612 0.1685 0.7192 1.757 json
t17_x20_u2_b45 17 20 2 45 pow(R,sub(P,frc(R))) 114724 138858684 o2(x,o2(x,o1(x))) true 77799 77799 -0.9173 0.04297 0.9967 0.1547 0.3933 -1 1 2 1 0.2892 0.01606 0.01518 0.01599 0.02822 1 0.000002016 0.0653 0.03199 0.03098 0.176 11.01 2.828 0.202 0.422 1 1 0.0254 0.1094 0.2668 0.1642 0.7069 1.725 json
t17_x20_u2_b46 17 20 2 46 pow(R,mlt(P,frc(R))) 114725 138858685 o2(x,o2(x,o1(x))) true 77807 77807 -0.8565 0.07422 0.9951 0.2594 0.5094 -1 1 2 1 0.4766 0.02333 0.02276 0.02394 0.0124 1 0.000001699 0.09611 0.04751 0.0455 0.2133 8.911 2.828 0.1776 0.3704 1 1 0.04513 0.1886 0.6211 0.174 0.727 2.394 json
t17_x20_u2_b47 17 20 2 47 pow(R,div(P,frc(R))) 114726 138858686 o2(x,o2(x,o1(x))) true 77815 77815 -0.8903 0.05846 0.9925 0.1971 0.444 -1 1 2 1 0.433 0.0176 0.01944 0.02009 -0.04952 1 0.000001621 0.07733 0.03905 0.03662 0.1914 9.526 2.828 0.1879 0.3923 1 1 0.03827 0.1616 0.4924 0.1941 0.8195 2.498 json
t17_x20_u2_b48 17 20 2 48 pow(R,pow(P,frc(R))) 114727 138858687 o2(x,o2(x,o1(x))) true 77823 77823 -0.9589 0.02344 0.9942 0.07196 0.2683 -1 1 2 1 0.2361 0.009041 0.005961 0.008806 0.2053 1 0.000001688 0.03136 0.01672 0.01492 0.1221 13.87 2.698 0.2085 0.4358 1 1 0.01259 0.053 0.1367 0.1749 0.7364 1.899 json
t17_x20_u2_b49 17 20 2 49 pow(R,mod(P,frc(R))) 114728 138858688 o2(x,o2(x,o1(x))) true 77831 77831 -0.8527 0.07422 0.9989 0.2707 0.5203 -1 1 2 1 0.4242 0.02448 0.02409 0.02449 0.00806 1 -1.169e-8 0.1013 0.049 0.04794 0.2189 8.941 2.828 0.1794 0.3744 1 1 0.04608 0.1921 0.6368 0.1702 0.7097 2.352 json
t17_x20_u2_b50 17 20 2 50 pow(R,lrg(P,frc(R))) 114729 138858689 o2(x,o2(x,o1(x))) true 77839 77839 0.04236 0.5234 0.9955 0.991 0.9955 -1 1 2 1 1.148 0.01499 0.006354 0.01193 0.4046 1 0.000002697 0.04406 0.02292 0.02119 0.1456 12.2 2.698 0.02154 0.04446 1 1 0.02301 0.09586 0.3992 0.02322 0.09674 0.4028 json
t17_x20_u2_b51 17 20 2 51 pow(R,eql(P,frc(R))) 114730 138858690 o2(x,o2(x,o1(x))) true 77847 77847 1 1 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_x20_u2_b52 17 20 2 52 pow(R,min(P,frc(R))) 114731 138858691 o2(x,o2(x,o1(x))) true 77855 77855 -0.8543 0.07422 0.9973 0.2654 0.5151 -1 1 2 1 0.4624 0.02376 0.02349 0.0243 0.005695 1 0.000001004 0.09854 0.04831 0.04663 0.2159 8.886 2.828 0.178 0.3713 1 1 0.04513 0.1886 0.6266 0.1701 0.7108 2.361 json
t17_x20_u2_b53 17 20 2 53 pow(R,dot(P,frc(R))) 114732 138858692 o2(x,o2(x,o1(x))) true 77863 77863 -0.9253 0.04297 0.9887 0.13 0.3606 -1 1 2 1 0.3538 0.01427 0.01324 0.01559 0.03744 1 0.000001726 0.05756 0.02984 0.02727 0.1651 10.59 2.828 0.2115 0.4427 1 1 0.02455 0.1032 0.244 0.1888 0.7935 1.876 json
t17_x20_u2_b54 17 20 2 54 pow(R,dst(P,frc(R))) 114733 138858693 o2(x,o2(x,o1(x))) true 77871 77871 -0.9498 0.04259 0.9643 0.05739 0.2396 -1 0.7136 1.714 1 0.3774 0.00597 0.005698 0.01057 0.02338 1 0.000004764 0.02433 0.01961 0.01156 0.1075 10.17 2.011 0.2033 0.424 1 1 0.009615 0.04197 0.1029 0.1676 0.7313 1.793 json
t17_x20_u2_b55 17 20 2 55 mod(R,add(P,frc(R))) 114734 138858694 o2(x,o2(x,o1(x))) true 77879 77879 0.008383 0.4955 0.3623 0.1964 0.4432 -0.9987 0.9806 1.979 1 4.807 0.002487 0.002846 0.05899 -0.06737 1 0.00004539 0.0003116 0.01349 0.001853 0.04304 0.7297 0.2301 0.02715 0.001586 1 1 0.01051 0.1348 0.3318 0.05351 0.6862 1.689 json
t17_x20_u2_b56 17 20 2 56 mod(R,sub(P,frc(R))) 114735 138858695 o2(x,o2(x,o1(x))) true 77887 77887 -0.0007432 0.4953 0.3637 0.1973 0.4442 -0.9989 0.9806 1.979 1 4.809 0.002411 0.002871 0.05855 -0.08713 1 0.00003981 0.0003102 0.01345 0.001854 0.04306 0.7354 0.2301 0.02677 0.001572 1 1 0.01013 0.1301 0.3441 0.05134 0.6592 1.744 json
t17_x20_u2_b57 17 20 2 57 mod(R,mlt(P,frc(R))) 114736 138858696 o2(x,o2(x,o1(x))) true 77895 77895 -0.0637 0.4492 0.4025 0.2557 0.5057 -1 0.9806 1.981 1 4.57 0.01096 0.002029 0.05464 0.6875 1 0.00003533 0.01861 0.027 0.01 0.1 1.83 1.898 0.05078 0.07277 1 1 0.01882 0.1399 0.4145 0.0736 0.5471 1.621 json
t17_x20_u2_b58 17 20 2 58 mod(R,div(P,frc(R))) 114737 138858697 o2(x,o2(x,o1(x))) true 77903 77903 -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_x20_u2_b59 17 20 2 59 mod(R,pow(P,frc(R))) 114738 138858698 o2(x,o2(x,o1(x))) true 77911 77911 -0.5736 0.1995 0.7298 0.325 0.57 -1 0.9806 1.981 1 3.079 0.008479 0.001297 0.03255 0.7347 1 0.00001063 0.01473 0.01637 0.008716 0.09336 2.868 1.943 0.03008 0.04532 1 1 0.01323 0.09166 0.2549 0.04071 0.2821 0.7843 json
t17_x20_u2_b60 17 20 2 60 mod(R,mod(P,frc(R))) 114739 138858699 o2(x,o2(x,o1(x))) true 77919 77919 -0.1349 0.4051 0.1948 0.1182 0.3439 -1 0.4169 1.417 1 3.011 0.008685 0.0001823 0.02117 0.9589 1 -0.000003223 0.01707 0.0193 0.00842 0.09176 4.335 1.327 0.075 0.1444 1 1 0.01183 0.05146 0.1826 0.1001 0.4352 1.544 json
t17_x20_u2_b61 17 20 2 61 mod(R,lrg(P,frc(R))) 114740 138858700 o2(x,o2(x,o1(x))) true 77927 77927 -0.5736 0.1995 0.7298 0.325 0.57 -1 0.9806 1.981 1 3.079 0.008479 0.001297 0.03255 0.7347 1 0.00001063 0.01473 0.01637 0.008716 0.09336 2.868 1.943 0.03008 0.04532 1 1 0.01323 0.09166 0.2549 0.04071 0.2821 0.7843 json
t17_x20_u2_b62 17 20 2 62 mod(R,eql(P,frc(R))) 114741 138858701 o2(x,o2(x,o1(x))) true 77935 77935 -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_x20_u2_b63 17 20 2 63 mod(R,min(P,frc(R))) 114742 138858702 o2(x,o2(x,o1(x))) true 77943 77943 -0.1345 0.296 0.3561 0.2216 0.4707 -1 0.9693 1.969 1 4.295 0.01186 0.001746 0.04516 0.7433 1 0.00002822 0.02137 0.02549 0.01157 0.1075 2.381 1.898 0.06141 0.09646 1 1 0.01877 0.1256 0.3591 0.08471 0.567 1.621 json
t17_x20_u2_b64 17 20 2 64 mod(R,dot(P,frc(R))) 114743 138858703 o2(x,o2(x,o1(x))) true 77951 77951 0.0004555 0.4839 0.3794 0.2107 0.459 -1 0.9806 1.981 1 4.839 0.003535 0.004262 0.06134 -0.09331 1 0.00003615 0.005491 0.01786 0.004034 0.06352 1.035 2.097 0.037 0.02606 1 1 0.01439 0.1456 0.4142 0.06831 0.6909 1.966 json
t17_x20_u2_b65 17 20 2 65 mod(R,dst(P,frc(R))) 114744 138858704 o2(x,o2(x,o1(x))) true 77959 77959 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_x20_u2_b66 17 20 2 66 lrg(R,add(P,frc(R))) 114745 138858705 o2(x,o2(x,o1(x))) true 77967 77967 0.4414 0.4866 0.4414 0.2373 0.4872 0 1 1 1 1.431 0.0003142 0.0001403 0.005314 0.3824 1 -0.00001141 0.0000246 0.001271 0.0004265 0.02065 3.886 0.1169 0.001915 0.0001037 1 1 0.001146 0.01504 0.09102 0.00483 0.06336 0.3835 json
t17_x20_u2_b67 17 20 2 67 lrg(R,sub(P,frc(R))) 114746 138858706 o2(x,o2(x,o1(x))) true 77975 77975 0.5371 0.6066 0.5371 0.2336 0.4834 0 1 1 1 1.628 0.0004001 0.0002935 0.008142 0.1537 1 -0.00001141 0.00004064 0.001984 0.0006273 0.02505 3.076 0.1169 0.002969 0.0001739 1 1 0.001778 0.02301 0.08751 0.007612 0.09848 0.3746 json
t17_x20_u2_b68 17 20 2 68 lrg(R,mlt(P,frc(R))) 114747 138858707 o2(x,o2(x,o1(x))) true 77983 77983 0.4414 0.5363 0.4414 0.2244 0.4737 0 1 1 1 1.865 0.0005054 0.0005557 0.01242 -0.04741 1 0.000005703 0.00006005 0.002988 0.0009065 0.03011 2.424 0.1169 0.004729 0.0002676 1 1 0.002246 0.02897 0.1273 0.01001 0.1291 0.5674 json
t17_x20_u2_b69 17 20 2 69 lrg(R,div(P,frc(R))) 114748 138858708 o2(x,o2(x,o1(x))) true 77991 77991 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_x20_u2_b70 17 20 2 70 lrg(R,pow(P,frc(R))) 114749 138858709 o2(x,o2(x,o1(x))) true 77999 77999 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_x20_u2_b71 17 20 2 71 lrg(R,mod(P,frc(R))) 114750 138858710 o2(x,o2(x,o1(x))) true 78007 78007 0.5508 0.9405 0.5508 0.1573 0.3966 0 1 1 1 3.334 0.00189 0.002259 0.04866 -0.089 1 -0.0000164 0.0002448 0.01182 0.001782 0.04221 0.8676 0.1169 0.02637 0.001556 1 1 0.008096 0.1043 0.2589 0.05146 0.6631 1.646 json
t17_x20_u2_b72 17 20 2 72 lrg(R,lrg(P,frc(R))) 114751 138858711 o2(x,o2(x,o1(x))) true 78015 78015 0.2676 0.4921 0.2676 0.1474 0.3839 0 1 1 1 2.341 0.001052 0.001231 0.02666 -0.0785 1 0.000006427 0.0001288 0.006434 0.001572 0.03965 1.487 0.1169 0.01549 0.000874 1 1 0.004654 0.05961 0.1835 0.03158 0.4044 1.245 json
t17_x20_u2_b73 17 20 2 73 lrg(R,eql(P,frc(R))) 114752 138858712 o2(x,o2(x,o1(x))) true 78023 78023 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t17_x20_u2_b74 17 20 2 74 lrg(R,min(P,frc(R))) 114753 138858713 o2(x,o2(x,o1(x))) true 78031 78031 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_x20_u2_b75 17 20 2 75 lrg(R,dot(P,frc(R))) 114754 138858714 o2(x,o2(x,o1(x))) true 78039 78039 0.5293 0.6969 0.5293 0.211 0.4593 0 1 1 1 2.305 0.0007773 0.0009397 0.02019 -0.09459 1 0.000005704 0.0001061 0.004959 0.001309 0.03618 1.792 0.1169 0.008138 0.0005029 1 1 0.003531 0.04584 0.1274 0.01674 0.2173 0.6037 json
t17_x20_u2_b76 17 20 2 76 lrg(R,dst(P,frc(R))) 114755 138858715 o2(x,o2(x,o1(x))) true 78047 78047 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_x20_u2_b77 17 20 2 77 eql(R,add(P,frc(R))) 114756 138858716 o2(x,o2(x,o1(x))) true 78055 78055 0.05469 0.1327 0.05469 0.03777 0.1944 0 1 1 1 0.8133 0.000414 0.0002457 0.007741 0.2551 1 0.000005704 0.00003679 0.001864 0.0005996 0.02449 3.163 0.1169 0.01746 0.000974 1 1 0.001703 0.02225 0.09418 0.04509 0.5891 2.493 json
t17_x20_u2_b78 17 20 2 78 eql(R,sub(P,frc(R))) 114757 138858717 o2(x,o2(x,o1(x))) true 78063 78063 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_x20_u2_b79 17 20 2 79 eql(R,mlt(P,frc(R))) 114758 138858718 o2(x,o2(x,o1(x))) true 78071 78071 0.03906 0.1129 0.03906 0.02579 0.1606 0 0.9997 0.9997 1 0.6726 0.0003997 0.0001755 0.006718 0.3898 1 -0.00001141 0.00003128 0.001608 0.0005302 0.02303 3.427 0.1169 0.0223 0.001213 1 1 0.001425 0.01841 0.04273 0.05526 0.7139 1.657 json
t17_x20_u2_b80 17 20 2 80 eql(R,div(P,frc(R))) 114759 138858719 o2(x,o2(x,o1(x))) true 78079 78079 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_x20_u2_b81 17 20 2 81 eql(R,pow(P,frc(R))) 114760 138858720 o2(x,o2(x,o1(x))) true 78087 78087 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_x20_u2_b82 17 20 2 82 eql(R,mod(P,frc(R))) 114761 138858721 o2(x,o2(x,o1(x))) true 78095 78095 0.01562 0.05212 0.01562 0.01001 0.1001 0 0.9997 0.9997 1 0.3336 0.0001502 0.0001053 0.003029 0.1754 1 -6.764e-11 0.00001472 0.0007359 0.0002465 0.0157 5.182 0.1169 0.02552 0.00147 1 1 0.0008885 0.01146 0.03259 0.08875 1.144 3.256 json
t17_x20_u2_b83 17 20 2 83 eql(R,lrg(P,frc(R))) 114762 138858722 o2(x,o2(x,o1(x))) true 78103 78103 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_x20_u2_b84 17 20 2 84 eql(R,eql(P,frc(R))) 114763 138858723 o2(x,o2(x,o1(x))) true 78111 78111 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_x20_u2_b85 17 20 2 85 eql(R,min(P,frc(R))) 114764 138858724 o2(x,o2(x,o1(x))) true 78119 78119 0.2148 0.455 0.2148 0.1181 0.3436 0 1 1 1 2.248 0.001095 0.001206 0.02703 -0.04847 1 -0.00002424 0.0001387 0.006603 0.001571 0.03963 1.466 0.1169 0.01949 0.001175 1 1 0.004457 0.05786 0.1462 0.03774 0.49 1.238 json
t17_x20_u2_b86 17 20 2 86 eql(R,dot(P,frc(R))) 114765 138858725 o2(x,o2(x,o1(x))) true 78127 78127 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_x20_u2_b87 17 20 2 87 eql(R,dst(P,frc(R))) 114766 138858726 o2(x,o2(x,o1(x))) true 78135 78135 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_x20_u2_b88 17 20 2 88 min(R,add(P,frc(R))) 114767 138858727 o2(x,o2(x,o1(x))) true 78143 78143 -0.4486 0.2483 0.6438 0.3375 0.5809 -1 0.9806 1.981 1 3.813 0.001888 0.001617 0.03807 0.07742 1 -0.000006992 0.000253 0.009186 0.002056 0.04535 1.191 0.219 0.01039 0.0007498 1 1 0.007242 0.09261 0.301 0.02146 0.2744 0.892 json
t17_x20_u2_b89 17 20 2 89 min(R,sub(P,frc(R))) 114768 138858728 o2(x,o2(x,o1(x))) true 78151 78151 -0.5315 0.2074 0.6778 0.3045 0.5518 -1 0.9806 1.981 1 3.501 0.001438 0.001295 0.03148 0.05234 1 0.0000061 0.0001969 0.007663 0.001742 0.04174 1.326 0.219 0.008973 0.0006466 1 1 0.005265 0.06761 0.225 0.01729 0.222 0.7388 json
t17_x20_u2_b90 17 20 2 90 min(R,mlt(P,frc(R))) 114769 138858729 o2(x,o2(x,o1(x))) true 78159 78159 -0.4632 0.2244 0.6376 0.3134 0.5598 -1 0.9806 1.981 1 4.007 0.001819 0.001615 0.03841 0.05939 1 0.00001138 0.0003506 0.01034 0.001958 0.04425 1.152 0.2613 0.01096 0.001118 1 1 0.006789 0.08486 0.2531 0.02166 0.2707 0.8075 json
t17_x20_u2_b91 17 20 2 91 min(R,div(P,frc(R))) 114770 138858730 o2(x,o2(x,o1(x))) true 78167 78167 -0.5021 0.2244 0.6765 0.3349 0.5787 -1 0.9806 1.981 1 3.508 0.00196 0.001501 0.03452 0.1327 1 3.357e-7 0.0006636 0.009106 0.002269 0.04764 1.38 0.8783 0.01033 0.001981 1 1 0.006699 0.08331 0.2719 0.02 0.2487 0.8119 json
t17_x20_u2_b92 17 20 2 92 min(R,pow(P,frc(R))) 114771 138858731 o2(x,o2(x,o1(x))) true 78175 78175 -0.005276 0.4805 0.3857 0.2142 0.4628 -0.9989 0.9806 1.979 1 4.852 0.0028 0.003069 0.06243 -0.04583 1 0.00002809 0.000342 0.01428 0.001973 0.04442 0.7115 0.2301 0.0274 0.001597 1 1 0.01137 0.1459 0.366 0.05307 0.6813 1.709 json
t17_x20_u2_b93 17 20 2 93 min(R,mod(P,frc(R))) 114772 138858732 o2(x,o2(x,o1(x))) true 78183 78183 -0.2707 0.1673 0.3324 0.09324 0.3054 -0.9989 0.7987 1.798 1 4.301 0.001138 0.001118 0.03732 0.009022 1 0.00001044 0.0001346 0.008605 0.0008635 0.02938 0.7873 0.1856 0.0242 0.001443 1 1 0.004267 0.05528 0.154 0.04576 0.5929 1.651 json
t17_x20_u2_b94 17 20 2 94 min(R,lrg(P,frc(R))) 114773 138858733 o2(x,o2(x,o1(x))) true 78191 78191 -0.1361 0.2244 0.3105 0.1484 0.3852 -0.9989 0.9806 1.979 1 4.449 0.001872 0.001879 0.04664 -0.001932 1 0.00001726 0.0002226 0.01081 0.001576 0.0397 0.8513 0.219 0.02529 0.001501 1 1 0.007167 0.09264 0.2444 0.04831 0.6245 1.648 json
t17_x20_u2_b95 17 20 2 95 min(R,eql(P,frc(R))) 114774 138858734 o2(x,o2(x,o1(x))) true 78199 78199 -0.2541 0 0.2541 0.06549 0.2559 -0.9989 0 0.9989 1 3.542 0.000768 0.0009295 0.0314 -0.09514 1 0.00001332 0.00009988 0.007359 0.0007117 0.02668 0.8497 0.1168 0.02592 0.001525 1 1 0.003123 0.04017 0.1061 0.04769 0.6134 1.62 json
t17_x20_u2_b96 17 20 2 96 min(R,min(P,frc(R))) 114775 138858735 o2(x,o2(x,o1(x))) true 78207 78207 -0.4947 0.2244 0.669 0.3314 0.5756 -1 0.9806 1.981 1 3.609 0.001675 0.001465 0.03457 0.06692 1 -5.686e-7 0.0001859 0.007986 0.001945 0.0441 1.276 0.219 0.009476 0.0005609 1 1 0.006236 0.08108 0.2653 0.01882 0.2447 0.8006 json
t17_x20_u2_b97 17 20 2 97 min(R,dot(P,frc(R))) 114776 138858736 o2(x,o2(x,o1(x))) true 78215 78215 -0.5268 0.2032 0.6892 0.3166 0.5627 -1 0.9795 1.979 1 3.596 0.002526 0.002311 0.03957 0.0444 1 0.00008286 0.001014 0.01274 0.003272 0.0572 1.446 0.65 0.01528 0.003202 1 1 0.008165 0.0971 0.3076 0.02579 0.3067 0.9716 json
t17_x20_u2_b98 17 20 2 98 min(R,dst(P,frc(R))) 114777 138858737 o2(x,o2(x,o1(x))) true 78223 78223 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_x20_u2_b99 17 20 2 99 dot(R,add(P,frc(R))) 114778 138858738 o2(x,o2(x,o1(x))) true 78231 78231 -0.03129 0.4946 0.8522 0.8035 0.8964 -1 1 2 1 2.875 0.025 0.03255 0.09982 -0.1311 1 0.00004657 0.04659 0.07403 0.0476 0.2182 2.186 1.917 0.07162 0.05798 1 1 0.07342 0.5598 1.393 0.09138 0.6967 1.734 json
t17_x20_u2_b100 17 20 2 100 dot(R,sub(P,frc(R))) 114779 138858739 o2(x,o2(x,o1(x))) true 78239 78239 -0.1622 0.4161 0.8445 0.7676 0.8761 -1 1 2 1 2.938 0.02427 0.03341 0.1033 -0.1585 1 0.00006106 0.04482 0.07449 0.047 0.2168 2.098 1.824 0.07515 0.05839 1 1 0.07392 0.5747 1.359 0.0963 0.7488 1.771 json
t17_x20_u2_b101 17 20 2 101 dot(R,mlt(P,frc(R))) 114780 138858740 o2(x,o2(x,o1(x))) true 78247 78247 -0.09501 0.4537 0.7123 0.6194 0.787 -1 1 2 1 3.898 0.0139 0.01631 0.09535 -0.07964 1 0.00004626 0.01269 0.04474 0.02112 0.1453 1.524 1.171 0.04878 0.02049 1 1 0.041 0.4014 0.9896 0.0662 0.6481 1.598 json
t17_x20_u2_b102 17 20 2 102 dot(R,div(P,frc(R))) 114781 138858741 o2(x,o2(x,o1(x))) true 78255 78255 -0.01765 0.4947 0.9283 0.9053 0.9515 -1 1 2 1 2.051 0.05672 0.07042 0.1097 -0.1077 1 0.00003277 0.2317 0.1455 0.1152 0.3394 3.093 2.828 0.1404 0.256 1 1 0.1298 0.7166 1.577 0.1433 0.7916 1.742 json
t17_x20_u2_b103 17 20 2 103 dot(R,pow(P,frc(R))) 114782 138858742 o2(x,o2(x,o1(x))) true 78263 78263 -0.7182 0.1427 0.9339 0.397 0.6301 -1 1 2 1 1.507 0.006719 0.007548 0.02813 -0.05812 1 -0.00005353 0.01723 0.01976 0.01348 0.1161 4.127 2 0.03593 0.04339 1 1 0.01889 0.1375 0.4485 0.04757 0.3462 1.13 json
t17_x20_u2_b104 17 20 2 104 dot(R,mod(P,frc(R))) 114783 138858743 o2(x,o2(x,o1(x))) true 78271 78271 -0.02127 0.4538 0.1414 0.03657 0.1912 -0.8127 0.7873 1.6 1 3.605 0.0004723 0.000548 0.02483 -0.07418 1 -0.00002455 0.00006019 0.005671 0.0004038 0.02009 0.8092 0.1288 0.0279 0.001646 1 1 0.001946 0.02511 0.06952 0.05321 0.6865 1.901 json
t17_x20_u2_b105 17 20 2 105 dot(R,lrg(P,frc(R))) 114784 138858744 o2(x,o2(x,o1(x))) true 78279 78279 -0.0008626 0.3611 0.3163 0.1971 0.444 -1 1 2 1 4.334 0.002846 0.002732 0.0511 0.02036 1 -0.00001089 0.0004534 0.01239 0.002966 0.05447 1.066 0.3047 0.0283 0.0023 1 1 0.01003 0.1267 0.3746 0.05091 0.6431 1.9 json
t17_x20_u2_b106 17 20 2 106 dot(R,eql(P,frc(R))) 114785 138858745 o2(x,o2(x,o1(x))) true 78287 78287 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_x20_u2_b107 17 20 2 107 dot(R,min(P,frc(R))) 114786 138858746 o2(x,o2(x,o1(x))) true 78295 78295 -0.02193 0.494 0.658 0.5697 0.7548 -1 1 2 1 3.989 0.01617 0.02034 0.08801 -0.1141 1 -0.00004652 0.02322 0.04995 0.02875 0.1696 1.927 1.834 0.06409 0.04077 1 1 0.04947 0.407 0.9587 0.08684 0.7145 1.683 json
t17_x20_u2_b108 17 20 2 108 dot(R,dot(P,frc(R))) 114787 138858747 o2(x,o2(x,o1(x))) true 78303 78303 -0.02833 0.4757 0.7372 0.6641 0.8149 -1 1 2 1 3.638 0.02098 0.02331 0.09789 -0.05255 1 -0.00004903 0.03466 0.06117 0.03471 0.1863 1.903 2.033 0.06668 0.05218 1 1 0.05867 0.4602 1.135 0.08834 0.6929 1.709 json
t17_x20_u2_b109 17 20 2 109 dot(R,dst(P,frc(R))) 114788 138858748 o2(x,o2(x,o1(x))) true 78311 78311 0.01813 0.5121 0.8939 0.8584 0.9265 -1 1 2 1 2.49 0.03913 0.04132 0.1093 -0.0272 1 0.00002837 0.08678 0.1001 0.06851 0.2617 2.395 2.279 0.09371 0.1011 1 1 0.1053 0.6926 1.527 0.1227 0.8069 1.778 json
t17_x20_u2_b110 17 20 2 110 dst(R,add(P,frc(R))) 114789 138858749 o2(x,o2(x,o1(x))) true 78319 78319 0.9973 1 0.9973 0.001754 0.04188 0.0005821 1 0.9994 1 0.06748 0.00003988 0.00005448 0.0007153 -0.1547 0 -2.816e-11 0.00002356 0.0002995 0.00009383 0.009686 13.54 0.2517 0.0538 0.01343 1 1 0.0003158 0.003275 0.006392 0.1801 1.867 3.645 json
t17_x20_u2_b111 17 20 2 111 dst(R,sub(P,frc(R))) 114790 138858750 o2(x,o2(x,o1(x))) true 78327 78327 0.9992 1 0.9992 0.000285 0.01688 0.4924 1 0.5076 1 0.0336 0.0000135 0.00001477 0.0002846 -0.04475 0 1.314e-11 0.00001348 0.0001792 0.0000282 0.005311 18.66 0.1725 0.0992 0.0473 1 1 0.00009018 0.0007393 0.001038 0.3165 2.594 3.643 json
t17_x20_u2_b112 17 20 2 112 dst(R,mlt(P,frc(R))) 114791 138858751 o2(x,o2(x,o1(x))) true 78335 78335 0.989 1 0.989 0.004263 0.06529 0.2489 1 0.7511 1 0.3379 0.0001673 0.0001514 0.002968 0.04978 1 -0.00003082 0.0001954 0.002061 0.00031 0.01761 5.932 0.3803 0.07477 0.04583 1 1 0.0007045 0.005802 0.01382 0.1653 1.361 3.241 json
t17_x20_u2_b113 17 20 2 113 dst(R,div(P,frc(R))) 114792 138858752 o2(x,o2(x,o1(x))) true 78343 78343 1 1 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_x20_u2_b114 17 20 2 114 dst(R,pow(P,frc(R))) 114793 138858753 o2(x,o2(x,o1(x))) true 78351 78351 -0.501 0.25 0.999 0.7476 0.8646 -1 1 2 1 0.8504 0.007931 0.007944 0.008203 -0.0008104 1 7.509e-12 0.03185 0.016 0.01581 0.1257 15.33 2 0.02124 0.04261 1 1 0.02108 0.08432 0.3308 0.0282 0.1128 0.4425 json
t17_x20_u2_b115 17 20 2 115 dst(R,mod(P,frc(R))) 114794 138858754 o2(x,o2(x,o1(x))) true 78359 78359 0.9124 1 0.9124 0.02351 0.1533 0.1107 1 0.8893 1 1.905 0.0003664 0.0005582 0.01605 -0.2074 1 -0.00001729 0.0001883 0.00592 0.0006673 0.02583 1.61 0.1582 0.03932 0.008008 1 1 0.001605 0.01739 0.03847 0.06827 0.7397 1.636 json
t17_x20_u2_b116 17 20 2 116 dst(R,lrg(P,frc(R))) 114795 138858755 o2(x,o2(x,o1(x))) true 78367 78367 0.9473 1 0.9473 0.01483 0.1218 0.2579 1 0.7421 1 1.328 0.0002397 0.0003377 0.009903 -0.1697 1 -0.00003113 0.0001656 0.004384 0.000479 0.02189 2.21 0.1751 0.03892 0.01116 1 1 0.00101 0.01018 0.02265 0.06805 0.6864 1.527 json
t17_x20_u2_b117 17 20 2 117 dst(R,eql(P,frc(R))) 114796 138858756 o2(x,o2(x,o1(x))) true 78375 78375 0.897 1 0.897 0.02252 0.1501 0.09951 1 0.9005 1 2.181 0.0003411 0.0004606 0.01666 -0.149 1 -0.00001961 0.000143 0.005703 0.0005243 0.0229 1.374 0.1266 0.0356 0.006351 1 1 0.001342 0.015 0.03485 0.05959 0.666 1.547 json
t17_x20_u2_b118 17 20 2 118 dst(R,min(P,frc(R))) 114797 138858757 o2(x,o2(x,o1(x))) true 78383 78383 0.9654 1 0.9654 0.01492 0.1221 0.03461 1 0.9654 1 0.8135 0.0003095 0.0002607 0.00697 0.08558 1 -0.00002414 0.0001397 0.002922 0.0005215 0.02284 3.277 0.1829 0.03823 0.009368 1 1 0.0009985 0.01038 0.03263 0.06694 0.6959 2.187 json
t17_x20_u2_b119 17 20 2 119 dst(R,dot(P,frc(R))) 114798 138858758 o2(x,o2(x,o1(x))) true 78391 78391 0.9982 1 0.9982 0.0006849 0.02617 0.2916 1 0.7084 1 0.07876 0.00007247 0.00007673 0.0009739 -0.02852 1 -0.00001891 0.0001238 0.0009488 0.0001483 0.01218 12.5 0.4 0.2178 0.1808 1 1 0.0001549 0.0009672 0.001088 0.2261 1.412 1.589 json
t17_x20_u2_b120 17 20 2 120 dst(R,dst(P,frc(R))) 114799 138858759 o2(x,o2(x,o1(x))) true 78399 78399 0.9995 1 0.9995 0.0001803 0.01343 0.4855 1 0.5145 1 0.02079 0.00001593 0.00001348 0.0002216 0.08341 0 -4.505e-11 0.00001853 0.0001793 0.00002934 0.005416 24.44 0.2295 0.1631 0.1028 1 1 0.00009074 0.0005946 0.0006559 0.5032 3.298 3.638 json