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
t20_x45_u0_b39 20 45 0 39 add(D,div(lrg(R,P),P)) 168600 164230104 o2(x,o2(o2(x,x),x)) true 57207 57207 -0.2581 0.2344 0.2997 0.1301 0.3606 -1 0.1454 1.145 1 3.614 0.00587 0 0.03706 1 1 0.000001608 0.008262 0.02124 0.004497 0.06706 1.81 1.031 0.04514 0.06353 1 1 0.009059 0.04833 0.1172 0.06966 0.3716 0.9012 json
t20_x45_u0_b40 20 45 0 40 add(D,div(eql(R,P),P)) 168601 164230105 o2(x,o2(o2(x,x),x)) true 57215 57215 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t20_x45_u0_b41 20 45 0 41 add(D,div(min(R,P),P)) 168602 164230106 o2(x,o2(o2(x,x),x)) true 57223 57223 0.2942 0.6408 0.6079 0.4563 0.6755 -1 1 2 1 3.564 0.02424 0.0002079 0.04021 0.983 1 0.0001519 0.04657 0.03829 0.02282 0.1511 3.757 1.974 0.05357 0.1021 1 1 0.03198 0.1364 0.4376 0.07008 0.299 0.959 json
t20_x45_u0_b42 20 45 0 42 add(D,div(dot(R,P),P)) 168603 164230107 o2(x,o2(o2(x,x),x)) true 57231 57231 -0.0822 0.4694 0.6088 0.4887 0.6991 -1 1 2 1 4.447 0.02882 0.007986 0.08902 0.566 1 0.000009847 0.04907 0.04936 0.02888 0.1699 1.909 2.091 0.07531 0.1004 1 1 0.05176 0.3596 0.8709 0.1059 0.7357 1.782 json
t20_x45_u0_b43 20 45 0 43 add(D,div(dst(R,P),P)) 168604 164230108 o2(x,o2(o2(x,x),x)) true 57239 57239 -0.1272 0.4375 0.9888 0.9628 0.9812 -1 1 2 1 1.473 0.01584 0.0000226 0.01227 0.9972 1 -0.000002739 0.0314 0.01901 0.0157 0.1253 10.21 2 0.01647 0.03261 1 1 0.02113 0.08572 0.3338 0.02195 0.08903 0.3467 json
t20_x45_u0_b44 20 45 0 44 add(D,pow(add(R,P),P)) 168605 164230109 o2(x,o2(o2(x,x),x)) true 57247 57247 -0.005715 0.5 0.9943 0.9911 0.9955 -1 1 2 1 1.166 0.01598 0.00005928 0.009618 0.9926 1 -0.00001473 0.03181 0.01679 0.01597 0.1264 13.14 2 0.01619 0.0321 1 1 0.02143 0.08685 0.3258 0.02163 0.08763 0.3287 json
t20_x45_u0_b45 20 45 0 45 add(D,pow(sub(R,P),P)) 168606 164230110 o2(x,o2(o2(x,x),x)) true 57255 57255 -0.3852 0.3465 0.6419 0.4445 0.6667 -1 1 2 1 2.844 0.01617 0.0001345 0.02511 0.9835 1 -0.0001591 0.03186 0.02273 0.01568 0.1252 4.987 2 0.03669 0.07167 1 1 0.02141 0.09011 0.3264 0.04816 0.2027 0.7342 json
t20_x45_u0_b46 20 45 0 46 add(D,pow(mlt(R,P),P)) 168607 164230111 o2(x,o2(o2(x,x),x)) true 57263 57263 -0.8698 0.06816 0.9899 0.2296 0.4792 -1 1 2 1 0.5158 0.02079 0.0186 0.02304 0.05564 1 2.891e-10 0.082 0.04369 0.03885 0.1971 8.556 2.807 0.1715 0.3571 1 1 0.0384 0.1641 0.4973 0.1672 0.7147 2.165 json
t20_x45_u0_b47 20 45 0 47 add(D,pow(div(R,P),P)) 168608 164230112 o2(x,o2(o2(x,x),x)) true 57271 57271 -0.867 0.06836 0.9927 0.2384 0.4883 -1 1 2 1 0.4817 0.02267 0.02061 0.02321 0.04756 1 0.00001004 0.09083 0.04553 0.04272 0.2067 8.904 2.828 0.1815 0.381 1 1 0.04419 0.1826 0.5305 0.1853 0.766 2.225 json
t20_x45_u0_b48 20 45 0 48 add(D,pow(pow(R,P),P)) 168609 164230113 o2(x,o2(o2(x,x),x)) true 57279 57279 -0.8904 0.06267 0.9632 0.1614 0.4017 -1 1 2 1 0.6801 0.01313 0.01371 0.01996 -0.02155 1 -0.000009905 0.05593 0.03587 0.02645 0.1626 8.149 2.784 0.1663 0.3465 1 1 0.02712 0.1171 0.4137 0.168 0.7257 2.563 json
t20_x45_u0_b49 20 45 0 49 add(D,pow(mod(R,P),P)) 168610 164230114 o2(x,o2(o2(x,x),x)) true 57287 57287 -0.8588 0.07391 0.9928 0.252 0.502 -1 1 2 1 0.5077 0.0227 0.02219 0.02421 0.01132 1 0.00001188 0.09385 0.04725 0.04428 0.2104 8.691 2.828 0.1781 0.3723 1 1 0.04364 0.1828 0.6029 0.1732 0.7251 2.392 json
t20_x45_u0_b50 20 45 0 50 add(D,pow(lrg(R,P),P)) 168611 164230115 o2(x,o2(o2(x,x),x)) true 57295 57295 0.5065 0.7617 0.55 0.2309 0.4805 -0.1454 1 1.145 1 2.997 0.001706 0 0.02979 1 1 0.0001582 0.000351 0.01473 0.0008191 0.02862 0.9608 0.1713 0.007389 0.00152 1 1 0.003593 0.02859 0.06962 0.01556 0.1238 0.3016 json
t20_x45_u0_b51 20 45 0 51 add(D,pow(eql(R,P),P)) 168612 164230116 o2(x,o2(o2(x,x),x)) true 57303 57303 -0.4699 0.2617 0.5736 0.3113 0.5579 -1 1 2 1 2.463 0.01721 0 0.02849 1 1 0.0001582 0.03194 0.02384 0.0164 0.128 4.495 2 0.0553 0.1026 1 1 0.02399 0.1022 0.1587 0.07709 0.3283 0.51 json
t20_x45_u0_b52 20 45 0 52 add(D,pow(min(R,P),P)) 168613 164230117 o2(x,o2(o2(x,x),x)) true 57311 57311 -0.96 0.02313 0.9932 0.06897 0.2626 -1 1 2 1 0.2396 0.008893 0.005688 0.0089 0.2198 1 0.00001188 0.03063 0.01664 0.0145 0.1204 13.53 2.654 0.2114 0.444 1 1 0.01233 0.0521 0.1321 0.1788 0.7553 1.915 json
t20_x45_u0_b53 20 45 0 53 add(D,pow(dot(R,P),P)) 168614 164230118 o2(x,o2(o2(x,x),x)) true 57319 57319 -0.8599 0.0717 0.9921 0.2507 0.5007 -1 1 2 1 0.4824 0.02669 0.01587 0.02317 0.2541 1 -2.027e-10 0.08841 0.04465 0.042 0.2049 8.845 2.828 0.1698 0.3527 1 1 0.04785 0.1969 0.5401 0.1909 0.7853 2.154 json
t20_x45_u0_b54 20 45 0 54 add(D,pow(dst(R,P),P)) 168615 164230119 o2(x,o2(o2(x,x),x)) true 57327 57327 0.5557 0.82 0.5874 0.2277 0.4772 -0.1454 1 1.145 1 2.67 0.0008295 0.0000332 0.01851 0.923 1 -0.0001581 0.0001312 0.006833 0.00052 0.0228 1.232 0.2039 0.003789 0.0005761 1 1 0.001672 0.01466 0.05797 0.007343 0.06439 0.2546 json
t20_x45_u0_b55 20 45 0 55 add(D,mod(add(R,P),P)) 168616 164230120 o2(x,o2(o2(x,x),x)) true 57335 57335 -0.09732 0.4382 0.8817 0.821 0.9061 -1 1 2 1 2.845 0.01434 0.00219 0.03616 0.7349 1 0.000007623 0.02678 0.03408 0.01521 0.1233 3.41 1.974 0.02013 0.03262 1 1 0.02227 0.1158 0.381 0.02713 0.1411 0.464 json
t20_x45_u0_b56 20 45 0 56 add(D,mod(sub(R,P),P)) 168617 164230121 o2(x,o2(o2(x,x),x)) true 57343 57343 -0.1021 0.438 0.8484 0.7753 0.8805 -1 1 2 1 3.139 0.01438 0.001926 0.04093 0.7638 1 -0.000001061 0.02633 0.0367 0.01463 0.1209 2.955 1.881 0.02104 0.03396 1 1 0.02225 0.1189 0.3974 0.0287 0.1533 0.5125 json
t20_x45_u0_b57 20 45 0 57 add(D,mod(mlt(R,P),P)) 168618 164230122 o2(x,o2(o2(x,x),x)) true 57351 57351 -0.1902 0.404 0.8219 0.7252 0.8516 -1 1 2 1 3.209 0.02789 0.01943 0.09744 0.1787 1 -0.0000451 0.04226 0.06588 0.03784 0.1945 1.996 1.974 0.06525 0.05827 1 1 0.0648 0.4938 1.167 0.08935 0.6808 1.609 json
t20_x45_u0_b58 20 45 0 58 add(D,mod(div(R,P),P)) 168619 164230123 o2(x,o2(o2(x,x),x)) true 57359 57359 -0.1262 0.4271 0.2586 0.1479 0.3846 -1 1 2 1 3.773 0.01293 0.0004368 0.04638 0.9346 1 -0.000007081 0.02235 0.02999 0.01121 0.1059 2.283 1.974 0.09035 0.1511 1 1 0.01825 0.09367 0.2323 0.1233 0.6331 1.57 json
t20_x45_u0_b59 20 45 0 59 add(D,mod(pow(R,P),P)) 168620 164230124 o2(x,o2(o2(x,x),x)) true 57367 57367 -0.9369 0.03441 0.9928 0.1134 0.3368 -1 1 2 1 0.2911 0.01231 0.0107 0.01291 0.07026 1 0.00001188 0.0481 0.02484 0.02282 0.1511 11.7 2.828 0.2029 0.4241 1 1 0.02017 0.08427 0.1944 0.1779 0.7431 1.714 json
t20_x45_u0_b60 20 45 0 60 add(D,mod(mod(R,P),P)) 168621 164230125 o2(x,o2(o2(x,x),x)) true 57375 57375 -0.1199 0.4323 0.474 0.3114 0.5581 -1 1 2 1 4.757 0.01734 0.002787 0.07463 0.723 1 0.00004893 0.02777 0.03602 0.01456 0.1206 1.617 1.974 0.06462 0.08917 1 1 0.0286 0.2022 0.5049 0.09184 0.6493 1.621 json
t20_x45_u0_b61 20 45 0 61 add(D,mod(lrg(R,P),P)) 168622 164230126 o2(x,o2(o2(x,x),x)) true 57383 57383 0.2624 0.6367 0.5559 0.4298 0.6556 -1 1 2 1 3.246 0.009546 0 0.03517 1 1 0.0001582 0.01615 0.02881 0.008311 0.09117 2.592 1.031 0.02221 0.03757 1 1 0.01391 0.07644 0.363 0.03238 0.1779 0.8448 json
t20_x45_u0_b62 20 45 0 62 add(D,mod(eql(R,P),P)) 168623 164230127 o2(x,o2(o2(x,x),x)) true 57391 57391 -0.125 0.4375 0.2076 0.1189 0.3448 -1 0.1454 1.145 1 2.785 0.009352 0 0.03917 1 1 9.386e-13 0.01611 0.02856 0.007817 0.08842 2.257 1.031 0.07868 0.1355 1 1 0.01311 0.05985 0.1702 0.1103 0.5035 1.432 json
t20_x45_u0_b63 20 45 0 63 add(D,mod(min(R,P),P)) 168624 164230128 o2(x,o2(o2(x,x),x)) true 57399 57399 -0.386 0.2838 0.5594 0.3147 0.561 -1 1 2 1 3.907 0.01761 0.001295 0.06231 0.863 1 0.0006363 0.02483 0.03894 0.01502 0.1226 1.967 1.974 0.06007 0.07889 1 1 0.02732 0.1828 0.3786 0.08681 0.581 1.203 json
t20_x45_u0_b64 20 45 0 64 add(D,mod(dot(R,P),P)) 168625 164230129 o2(x,o2(o2(x,x),x)) true 57407 57407 -0.2215 0.3894 0.7758 0.6588 0.8117 -1 1 2 1 3.433 0.02502 0.0166 0.0938 0.2023 1 -0.00003324 0.03793 0.0594 0.03283 0.1812 1.932 1.997 0.06318 0.05756 1 1 0.0523 0.4095 1.071 0.07937 0.6216 1.626 json
t20_x45_u0_b65 20 45 0 65 add(D,mod(dst(R,P),P)) 168626 164230130 o2(x,o2(o2(x,x),x)) true 57415 57415 0.6292 0.8695 0.8796 0.4369 0.661 -1 1 2 1 2.284 0.01816 0.001289 0.03464 0.8674 1 -0.00008612 0.03429 0.03432 0.01826 0.1351 3.901 2 0.04451 0.07848 1 1 0.02871 0.1486 0.6285 0.06572 0.3402 1.438 json
t20_x45_u0_b66 20 45 0 66 add(D,lrg(add(R,P),P)) 168627 164230131 o2(x,o2(o2(x,x),x)) true 57423 57423 0.4724 0.846 0.4956 0.1536 0.3919 -0.1454 1 1.145 1 4.04 0.003373 0.002386 0.06328 0.1715 1 0.00003424 0.0006621 0.01757 0.001756 0.0419 0.6622 0.1713 0.0375 0.004311 1 1 0.01136 0.1266 0.2692 0.07399 0.8245 1.753 json
t20_x45_u0_b67 20 45 0 67 add(D,lrg(sub(R,P),P)) 168628 164230132 o2(x,o2(o2(x,x),x)) true 57431 57431 0.4732 0.747 0.5197 0.2303 0.4799 -0.1454 1 1.145 1 3.108 0.001715 0.0001036 0.03121 0.8861 1 0.0001526 0.0003549 0.01484 0.0008444 0.02906 0.931 0.1713 0.007896 0.001541 1 1 0.003911 0.03228 0.08375 0.01699 0.1402 0.3637 json
t20_x45_u0_b68 20 45 0 68 add(D,lrg(mlt(R,P),P)) 168629 164230133 o2(x,o2(o2(x,x),x)) true 57439 57439 0.447 0.7305 0.4964 0.2313 0.481 -0.1454 1 1.145 1 3.074 0.001765 0 0.03094 1 1 0.0001582 0.0003479 0.01481 0.0008082 0.02843 0.9188 0.1713 0.00763 0.001504 1 1 0.003752 0.02995 0.06962 0.01622 0.1295 0.3009 json
t20_x45_u0_b69 20 45 0 69 add(D,lrg(div(R,P),P)) 168630 164230134 o2(x,o2(o2(x,x),x)) true 57447 57447 0.4732 0.747 0.5197 0.2303 0.4799 -0.1454 1 1.145 1 3.108 0.001715 0.0001036 0.03121 0.8861 1 0.0001526 0.0003549 0.01484 0.0008444 0.02906 0.931 0.1713 0.007896 0.001541 1 1 0.003911 0.03228 0.08375 0.01699 0.1402 0.3637 json
t20_x45_u0_b70 20 45 0 70 add(D,lrg(pow(R,P),P)) 168631 164230135 o2(x,o2(o2(x,x),x)) true 57455 57455 0.7547 0.9437 0.7622 0.1136 0.337 -0.1454 1 1.145 1 3.033 0.0022 0.001178 0.04099 0.3028 1 0.0001681 0.0005169 0.01579 0.001698 0.0412 1.005 0.1713 0.02974 0.004552 1 1 0.006421 0.06711 0.1358 0.05654 0.591 1.196 json
t20_x45_u0_b71 20 45 0 71 add(D,lrg(mod(R,P),P)) 168632 164230136 o2(x,o2(o2(x,x),x)) true 57463 57463 0.5065 0.7617 0.55 0.2309 0.4805 -0.1454 1 1.145 1 2.997 0.001706 0 0.02979 1 1 0.0001582 0.000351 0.01473 0.0008191 0.02862 0.9608 0.1713 0.007389 0.00152 1 1 0.003593 0.02859 0.06962 0.01556 0.1238 0.3016 json
t20_x45_u0_b72 20 45 0 72 add(D,lrg(lrg(R,P),P)) 168633 164230137 o2(x,o2(o2(x,x),x)) true 57471 57471 0.4732 0.747 0.5197 0.2303 0.4799 -0.1454 1 1.145 1 3.108 0.001715 0.0001036 0.03121 0.8861 1 0.0001526 0.0003549 0.01484 0.0008444 0.02906 0.931 0.1713 0.007896 0.001541 1 1 0.003911 0.03228 0.08375 0.01699 0.1402 0.3637 json
t20_x45_u0_b73 20 45 0 73 add(D,lrg(eql(R,P),P)) 168634 164230138 o2(x,o2(o2(x,x),x)) true 57479 57479 0.447 0.7305 0.4964 0.2313 0.481 -0.1454 1 1.145 1 3.074 0.001765 0 0.03094 1 1 0.0001582 0.0003479 0.01481 0.0008082 0.02843 0.9188 0.1713 0.00763 0.001504 1 1 0.003752 0.02995 0.06962 0.01622 0.1295 0.3009 json
t20_x45_u0_b74 20 45 0 74 add(D,lrg(min(R,P),P)) 168635 164230139 o2(x,o2(o2(x,x),x)) true 57487 57487 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t20_x45_u0_b75 20 45 0 75 add(D,lrg(dot(R,P),P)) 168636 164230140 o2(x,o2(o2(x,x),x)) true 57495 57495 0.4684 0.7956 0.5032 0.19 0.4359 -0.1454 1 1.145 1 3.764 0.002644 0.001352 0.04881 0.3234 1 0.0001142 0.000532 0.01657 0.001614 0.04018 0.8232 0.1713 0.02103 0.0028 1 1 0.00804 0.08385 0.1872 0.04232 0.4413 0.9854 json
t20_x45_u0_b76 20 45 0 76 add(D,lrg(dst(R,P),P)) 168637 164230141 o2(x,o2(o2(x,x),x)) true 57503 57503 0.8989 0.9851 0.9009 0.04053 0.2013 -0.1454 1 1.145 1 1.977 0.001144 0.0003663 0.02482 0.515 1 0.0001468 0.0003692 0.01407 0.0008947 0.02991 1.205 0.1713 0.03727 0.009111 1 1 0.003174 0.0281 0.06943 0.07831 0.6934 1.713 json
t20_x45_u0_b77 20 45 0 77 add(D,eql(add(R,P),P)) 168638 164230142 o2(x,o2(o2(x,x),x)) true 57511 57511 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t20_x45_u0_b78 20 45 0 78 add(D,eql(sub(R,P),P)) 168639 164230143 o2(x,o2(o2(x,x),x)) true 57519 57519 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t20_x45_u0_b79 20 45 0 79 add(D,eql(mlt(R,P),P)) 168640 164230144 o2(x,o2(o2(x,x),x)) true 57527 57527 0.0614 0.543 0.1462 0.05374 0.2318 -0.1454 1 1.145 1 3.075 0.002292 0 0.04018 1 1 9.461e-10 0.0003168 0.0146 0.0006788 0.02605 0.6483 0.1713 0.04265 0.005895 1 1 0.004861 0.04401 0.06323 0.09045 0.819 1.176 json
t20_x45_u0_b80 20 45 0 80 add(D,eql(div(R,P),P)) 168641 164230145 o2(x,o2(o2(x,x),x)) true 57535 57535 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t20_x45_u0_b81 20 45 0 81 add(D,eql(pow(R,P),P)) 168642 164230146 o2(x,o2(o2(x,x),x)) true 57543 57543 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t20_x45_u0_b82 20 45 0 82 add(D,eql(mod(R,P),P)) 168643 164230147 o2(x,o2(o2(x,x),x)) true 57551 57551 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t20_x45_u0_b83 20 45 0 83 add(D,eql(lrg(R,P),P)) 168644 164230148 o2(x,o2(o2(x,x),x)) true 57559 57559 0.03468 0.5276 0.1228 0.03418 0.1849 -0.1454 1 1.145 1 2.922 0.001976 0.0001043 0.03906 0.8998 1 0.000004318 0.0002946 0.01475 0.0005553 0.02356 0.6033 0.1713 0.06086 0.008618 1 1 0.004315 0.03693 0.04874 0.1262 1.08 1.426 json
t20_x45_u0_b84 20 45 0 84 add(D,eql(eql(R,P),P)) 168645 164230149 o2(x,o2(o2(x,x),x)) true 57567 57567 0.0614 0.543 0.1462 0.05374 0.2318 -0.1454 1 1.145 1 3.075 0.002292 0 0.04018 1 1 9.461e-10 0.0003168 0.0146 0.0006788 0.02605 0.6483 0.1713 0.04265 0.005895 1 1 0.004861 0.04401 0.06323 0.09045 0.819 1.176 json
t20_x45_u0_b85 20 45 0 85 add(D,eql(min(R,P),P)) 168646 164230150 o2(x,o2(o2(x,x),x)) true 57575 57575 0.4732 0.747 0.5197 0.2303 0.4799 -0.1454 1 1.145 1 3.108 0.001715 0.0001036 0.03121 0.8861 1 0.0001526 0.0003549 0.01484 0.0008444 0.02906 0.931 0.1713 0.007896 0.001541 1 1 0.003911 0.03228 0.08375 0.01699 0.1402 0.3637 json
t20_x45_u0_b86 20 45 0 86 add(D,eql(dot(R,P),P)) 168647 164230151 o2(x,o2(o2(x,x),x)) true 57583 57583 0.003884 0.5038 0.09738 0.01316 0.1147 -0.1454 1 1.145 1 2.629 0.001667 0.00003476 0.03659 0.9591 1 -5.127e-11 0.0002617 0.01464 0.0003636 0.01907 0.5212 0.1713 0.1293 0.01989 1 1 0.00339 0.02492 0.008558 0.2576 1.894 0.6504 json
t20_x45_u0_b87 20 45 0 87 add(D,eql(dst(R,P),P)) 168648 164230152 o2(x,o2(o2(x,x),x)) true 57591 57591 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t20_x45_u0_b88 20 45 0 88 add(D,min(add(R,P),P)) 168649 164230153 o2(x,o2(o2(x,x),x)) true 57599 57599 -0.03244 0.4834 0.9449 0.9246 0.9616 -1 1 2 1 1.938 0.0006236 0.0001006 0.008794 0.7223 1 -0.00001047 0.000048 0.001529 0.0006469 0.02543 2.892 0.1536 0.0007832 0.00005191 1 1 0.001862 0.02649 0.2438 0.002014 0.02865 0.2637 json
t20_x45_u0_b89 20 45 0 89 add(D,min(sub(R,P),P)) 168650 164230154 o2(x,o2(o2(x,x),x)) true 57607 57607 -0.9402 0.007278 0.9412 0.03532 0.1879 -1 0.1357 1.136 1 1.032 0.0007233 0.0001872 0.009091 0.5889 1 -0.000002613 0.0002237 0.003355 0.0008281 0.02878 3.165 0.2937 0.02578 0.006335 1 1 0.002244 0.02139 0.06159 0.06355 0.6057 1.744 json
t20_x45_u0_b90 20 45 0 90 add(D,min(mlt(R,P),P)) 168651 164230155 o2(x,o2(o2(x,x),x)) true 57615 57615 -0.4943 0.2472 0.8308 0.5352 0.7316 -1 1 2 1 2.768 0.009292 0.009453 0.05367 -0.008627 1 0.000003576 0.01004 0.02618 0.01586 0.1259 2.346 1.483 0.03502 0.01876 1 1 0.02604 0.2407 0.6391 0.04866 0.4498 1.194 json
t20_x45_u0_b91 20 45 0 91 add(D,min(div(R,P),P)) 168652 164230156 o2(x,o2(o2(x,x),x)) true 57623 57623 -0.5345 0.215 0.6089 0.2715 0.5211 -1 1 2 1 2.768 0.0067 0.002629 0.02727 0.4364 1 0.0001519 0.01617 0.01917 0.008583 0.09264 3.397 2.541 0.03436 0.05957 1 1 0.01312 0.06673 0.1549 0.04833 0.2458 0.5707 json
t20_x45_u0_b92 20 45 0 92 add(D,min(pow(R,P),P)) 168653 164230157 o2(x,o2(o2(x,x),x)) true 57631 57631 -0.07499 0.4903 0.8636 0.8164 0.9036 -1 1 2 1 2.671 0.002125 0.002171 0.02609 -0.01066 1 -0.00005983 0.002114 0.01284 0.003616 0.06013 2.304 0.5264 0.005261 0.002589 1 1 0.006677 0.06067 0.2511 0.008178 0.07431 0.3075 json
t20_x45_u0_b93 20 45 0 93 add(D,min(mod(R,P),P)) 168654 164230158 o2(x,o2(o2(x,x),x)) true 57639 57639 -0.472 0.2489 0.6566 0.3394 0.5826 -1 1 2 1 3.648 0.00238 0.001401 0.04044 0.259 1 0.0001569 0.0003052 0.009621 0.002145 0.04631 1.145 0.2511 0.01114 0.0008992 1 1 0.007485 0.08865 0.2696 0.02205 0.2612 0.7942 json
t20_x45_u0_b94 20 45 0 94 add(D,min(lrg(R,P),P)) 168655 164230159 o2(x,o2(o2(x,x),x)) true 57647 57647 -0.4688 0.25 0.516 0.244 0.494 -1 0.1454 1.145 1 2.701 0.001064 0 0.02209 1 1 0.0001582 0.0001359 0.007549 0.0005757 0.02399 1.086 0.0625 0.004358 0.000557 1 1 0.002248 0.02091 0.07308 0.009213 0.0857 0.2995 json
t20_x45_u0_b95 20 45 0 95 add(D,min(eql(R,P),P)) 168656 164230160 o2(x,o2(o2(x,x),x)) true 57655 57655 -0.4688 0.25 0.516 0.244 0.494 -1 0.1454 1.145 1 2.701 0.001064 0 0.02209 1 1 0.0001582 0.0001359 0.007549 0.0005757 0.02399 1.086 0.0625 0.004358 0.000557 1 1 0.002248 0.02091 0.07308 0.009213 0.0857 0.2995 json
t20_x45_u0_b96 20 45 0 96 add(D,min(min(R,P),P)) 168657 164230161 o2(x,o2(o2(x,x),x)) true 57663 57663 -0.4945 0.2307 0.6712 0.3325 0.5766 -1 1 2 1 3.651 0.002366 0.001462 0.04045 0.2361 1 0.0001558 0.0003096 0.009999 0.002192 0.04681 1.157 0.2511 0.01152 0.0009311 1 1 0.007604 0.09034 0.2621 0.02287 0.2717 0.7883 json
t20_x45_u0_b97 20 45 0 97 add(D,min(dot(R,P),P)) 168658 164230162 o2(x,o2(o2(x,x),x)) true 57671 57671 -0.5271 0.2392 0.8987 0.5892 0.7676 -1 1 2 1 2.139 0.01091 0.01315 0.05222 -0.09302 1 0.00006295 0.01642 0.03241 0.02133 0.1461 2.797 1.738 0.04084 0.02786 1 1 0.03234 0.2732 0.7701 0.05489 0.4637 1.307 json
t20_x45_u0_b98 20 45 0 98 add(D,min(dst(R,P),P)) 168659 164230163 o2(x,o2(o2(x,x),x)) true 57679 57679 -0.001025 0.5 0.9365 0.9153 0.9567 -1 1 2 1 1.989 0.0004858 0.000004189 0.007975 0.9829 1 3.614e-11 0.00001748 0.0005584 0.0004262 0.02065 2.589 0.0916 0.0005353 0.00001909 1 1 0.00129 0.01926 0.2226 0.001409 0.02104 0.2432 json
t20_x45_u0_b99 20 45 0 99 add(D,dot(add(R,P),P)) 168660 164230164 o2(x,o2(o2(x,x),x)) true 57687 57687 0.9963 0.9996 0.9963 0.002242 0.04735 -0.08632 1 1.086 1 0.1037 0.00006365 0.00006922 0.001056 -0.04187 1 -3.004e-11 0.00004853 0.0005263 0.0001317 0.01148 10.87 0.2276 0.05926 0.02164 1 1 0.0004341 0.004017 0.008188 0.1936 1.792 3.651 json
t20_x45_u0_b100 20 45 0 100 add(D,dot(sub(R,P),P)) 168661 164230165 o2(x,o2(o2(x,x),x)) true 57695 57695 -0.9944 0.000473 0.9944 0.003373 0.05808 -1 0.09117 1.091 1 0.142 0.00008715 0.00006695 0.00132 0.1311 1 7.133e-11 0.00006051 0.0006749 0.0001524 0.01235 9.35 0.2554 0.04568 0.01794 1 1 0.0004989 0.0045 0.01219 0.1479 1.334 3.615 json
t20_x45_u0_b101 20 45 0 101 add(D,dot(mlt(R,P),P)) 168662 164230166 o2(x,o2(o2(x,x),x)) true 57703 57703 0.06824 0.5363 0.9432 0.9209 0.9596 -1 1 2 1 1.849 0.07448 0.08406 0.1153 -0.06042 1 -0.000007899 0.3317 0.1739 0.1452 0.381 3.304 2.828 0.1722 0.3602 1 1 0.1544 0.813 1.725 0.1677 0.8828 1.873 json
t20_x45_u0_b102 20 45 0 102 add(D,dot(div(R,P),P)) 168663 164230167 o2(x,o2(o2(x,x),x)) true 57711 57711 -0.2485 0.3498 0.6113 0.4383 0.662 -1 1 2 1 4.286 0.01645 0.01943 0.08184 -0.08284 1 0.00001679 0.05559 0.0523 0.02919 0.1708 2.087 2.828 0.08187 0.1268 1 1 0.0483 0.2922 0.7945 0.1102 0.6666 1.813 json
t20_x45_u0_b103 20 45 0 103 add(D,dot(pow(R,P),P)) 168664 164230168 o2(x,o2(o2(x,x),x)) true 57719 57719 -0.9874 0.007813 0.9969 0.02058 0.1434 -1 1 2 1 0.0959 0.002687 0.001399 0.002788 0.3154 1 6.007e-11 0.008472 0.004859 0.004077 0.06385 22.9 2.683 0.1986 0.4117 1 1 0.007223 0.02925 0.07533 0.351 1.421 3.661 json
t20_x45_u0_b104 20 45 0 104 add(D,dot(mod(R,P),P)) 168665 164230169 o2(x,o2(o2(x,x),x)) true 57727 57727 -0.326 0.3369 0.9041 0.7677 0.8762 -1 1 2 1 2.242 0.03553 0.03956 0.09381 -0.05355 1 0.00002831 0.09477 0.09121 0.06628 0.2575 2.744 2.64 0.09781 0.1234 1 1 0.09209 0.553 1.263 0.1199 0.7203 1.645 json
t20_x45_u0_b105 20 45 0 105 add(D,dot(lrg(R,P),P)) 168666 164230170 o2(x,o2(o2(x,x),x)) true 57735 57735 -0.7174 0.1288 0.7414 0.1963 0.4431 -1 0.1454 1.145 1 1.909 0.0005907 0.0001865 0.01374 0.5201 1 0.00008662 0.0001018 0.004594 0.0005884 0.02426 1.766 0.1325 0.003958 0.0005184 1 1 0.001774 0.01791 0.07854 0.009033 0.0912 0.4 json
t20_x45_u0_b106 20 45 0 106 add(D,dot(eql(R,P),P)) 168667 164230171 o2(x,o2(o2(x,x),x)) true 57743 57743 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t20_x45_u0_b107 20 45 0 107 add(D,dot(min(R,P),P)) 168668 164230172 o2(x,o2(o2(x,x),x)) true 57751 57751 0.7126 0.8629 0.9351 0.4071 0.638 -1 1 2 1 1.517 0.008615 0.009478 0.0366 -0.04769 1 0.00001331 0.01326 0.02459 0.01675 0.1294 3.536 1.727 0.04444 0.03256 1 1 0.02289 0.1914 0.4988 0.05623 0.4702 1.225 json
t20_x45_u0_b108 20 45 0 108 add(D,dot(dot(R,P),P)) 168669 164230173 o2(x,o2(o2(x,x),x)) true 57759 57759 0.08728 0.5435 0.91 0.8779 0.937 -1 1 2 1 2.17 0.0583 0.0747 0.1066 -0.1234 1 -0.0001102 0.2751 0.1497 0.1216 0.3487 3.272 2.828 0.1515 0.3134 1 1 0.1301 0.7034 1.643 0.1481 0.8011 1.872 json
t20_x45_u0_b109 20 45 0 109 add(D,dot(dst(R,P),P)) 168670 164230174 o2(x,o2(o2(x,x),x)) true 57767 57767 0.001438 0.5005 0.9785 0.9718 0.9858 -1 1 2 1 1.376 0.0028 0.003153 0.01189 -0.05933 1 -5.67e-7 0.005908 0.008502 0.005812 0.07624 6.409 1.661 0.006126 0.006079 1 1 0.0112 0.09426 0.5312 0.01152 0.097 0.5466 json
t20_x45_u0_b110 20 45 0 110 add(D,dst(add(R,P),P)) 168671 164230175 o2(x,o2(o2(x,x),x)) true 57775 57775 0.8888 1 0.8888 0.0262 0.1619 0.002826 1 0.9972 1 2.248 0.001131 0.0004542 0.02575 0.4269 1 0.000003883 0.0004209 0.01165 0.0009222 0.03037 1.179 0.1718 0.0605 0.01606 1 1 0.00275 0.02293 0.03627 0.105 0.8751 1.384 json
t20_x45_u0_b111 20 45 0 111 add(D,dst(sub(R,P),P)) 168672 164230176 o2(x,o2(o2(x,x),x)) true 57783 57783 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
t20_x45_u0_b112 20 45 0 112 add(D,dst(mlt(R,P),P)) 168673 164230177 o2(x,o2(o2(x,x),x)) true 57791 57791 0.9875 0.9996 0.9876 0.006512 0.0807 -0.08646 1 1.086 1 0.3179 0.0003467 0.0002815 0.004153 0.1037 1 -0.00001915 0.0003853 0.002786 0.0006117 0.02473 5.955 0.4783 0.09648 0.05916 1 1 0.001348 0.01073 0.01804 0.2069 1.648 2.77 json
t20_x45_u0_b113 20 45 0 113 add(D,dst(div(R,P),P)) 168674 164230178 o2(x,o2(o2(x,x),x)) true 57799 57799 -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
t20_x45_u0_b114 20 45 0 114 add(D,dst(pow(R,P),P)) 168675 164230179 o2(x,o2(o2(x,x),x)) true 57807 57807 -0.9766 0.01172 1 0.0463 0.2152 -1 1 2 1 0.09198 0.006047 0.004031 0.005002 0.2 1 0 0.02116 0.01008 0.01005 0.1002 20.04 2.828 0.2177 0.4571 1 1 0.01773 0.07091 0.1684 0.3829 1.532 3.638 json
t20_x45_u0_b115 20 45 0 115 add(D,dst(mod(R,P),P)) 168676 164230180 o2(x,o2(o2(x,x),x)) true 57815 57815 0.5312 0.7656 0.9999 0.7172 0.8469 -1 1 2 1 0.7898 0.02762 0.02766 0.02769 -0.0006402 1 -3.004e-11 0.111 0.05536 0.0545 0.2334 8.432 2.828 0.07708 0.1548 1 1 0.06979 0.2797 1.12 0.09731 0.39 1.562 json
t20_x45_u0_b116 20 45 0 116 add(D,dst(lrg(R,P),P)) 168677 164230181 o2(x,o2(o2(x,x),x)) true 57823 57823 1 1 1 0.000001198 0.001095 0.9168 1 0.08323 1 0.002155 6.273e-7 1.638e-7 0.0000207 0.5858 0 2.253e-11 0.000001146 0.00002558 7.905e-7 0.0008891 42.95 0.06314 0.6601 0.9566 1 1 0.000001977 0.000004343 0.000004353 1.65 3.624 3.633 json
t20_x45_u0_b117 20 45 0 117 add(D,dst(eql(R,P),P)) 168678 164230182 o2(x,o2(o2(x,x),x)) true 57831 57831 0.9962 0.9995 0.9963 0.002389 0.04887 -0.09643 1 1.096 1 0.1035 0.00005512 0.00003969 0.0009345 0.1627 0 -1.014e-10 0.00001899 0.0003543 0.00009398 0.009694 10.37 0.172 0.03969 0.00795 1 1 0.0003206 0.00351 0.008707 0.1342 1.469 3.645 json
t20_x45_u0_b118 20 45 0 118 add(D,dst(min(R,P),P)) 168679 164230183 o2(x,o2(o2(x,x),x)) true 57839 57839 0.7906 0.9509 0.7977 0.1276 0.3572 -0.1454 1 1.145 1 2.077 0.0008725 0.0004658 0.01752 0.3038 1 -0.00008156 0.0002028 0.005686 0.00103 0.0321 1.832 0.2272 0.01049 0.001589 1 1 0.003128 0.03237 0.08451 0.02451 0.2537 0.6622 json
t20_x45_u0_b119 20 45 0 119 add(D,dst(dot(R,P),P)) 168680 164230184 o2(x,o2(o2(x,x),x)) true 57847 57847 0.9968 0.9996 0.9968 0.002088 0.0457 -0.08393 1 1.084 1 0.08517 0.00006904 0.00003617 0.0008551 0.3124 1 3.754e-12 0.00002813 0.0003608 0.0001046 0.01023 11.96 0.2301 0.05039 0.01347 1 1 0.0003507 0.003506 0.007609 0.168 1.679 3.644 json
t20_x45_u0_b120 20 45 0 120 add(D,dst(dst(R,P),P)) 168681 164230185 o2(x,o2(o2(x,x),x)) true 57855 57855 0.9998 1 0.9998 0.00003578 0.005981 0.7166 1 0.2834 1 0.0138 0.00000432 0.000003398 0.0001014 0.1194 0 -3.004e-11 0.000005443 0.00008511 0.000007703 0.002775 27.37 0.1109 0.2157 0.1521 1 1 0.0000237 0.0001259 0.0001301 0.6625 3.518 3.636 json
t20_x45_u0_b121 20 45 0 121 sub(D,add(add(R,P),P)) 168682 164230186 o2(x,o2(o2(x,x),x)) true 57863 57863 0.004855 0.5031 0.9703 0.9589 0.9792 -1 1 2 1 1.548 0.002107 0.0001662 0.009969 0.8537 1 0.000007078 0.0006217 0.004816 0.002174 0.04662 4.677 0.4664 0.00237 0.0006483 1 1 0.005705 0.05094 0.3064 0.005949 0.05313 0.3196 json
t20_x45_u0_b122 20 45 0 122 sub(D,add(sub(R,P),P)) 168683 164230187 o2(x,o2(o2(x,x),x)) true 57871 57871 -0.009165 0.5021 0.4005 0.2287 0.4782 -1 1 2 1 4.894 0.004393 0.003164 0.07461 0.1626 1 -0.00003074 0.0006179 0.01902 0.001989 0.0446 0.5978 0.2561 0.03305 0.002702 1 1 0.01479 0.1717 0.3901 0.06468 0.751 1.706 json
t20_x45_u0_b123 20 45 0 123 sub(D,add(mlt(R,P),P)) 168684 164230188 o2(x,o2(o2(x,x),x)) true 57879 57879 -0.006981 0.4994 0.9086 0.8829 0.9396 -1 1 2 1 2.263 0.001948 0.0008515 0.01859 0.3917 1 0.00001744 0.001176 0.01026 0.002454 0.04954 2.665 0.4797 0.003171 0.001332 1 1 0.005604 0.04557 0.2387 0.006347 0.05161 0.2703 json
t20_x45_u0_b124 20 45 0 124 sub(D,add(div(R,P),P)) 168685 164230189 o2(x,o2(o2(x,x),x)) true 57887 57887 -0.1259 0.4373 0.9932 0.9745 0.9872 -1 1 2 1 1.19 0.01418 0.00007657 0.009745 0.9893 1 -2.792e-7 0.02844 0.017 0.01418 0.1191 12.22 2.002 0.01463 0.02919 1 1 0.01895 0.07947 0.3336 0.01945 0.08155 0.3424 json
t20_x45_u0_b125 20 45 0 125 sub(D,add(pow(R,P),P)) 168686 164230190 o2(x,o2(o2(x,x),x)) true 57895 57895 -0.9916 0.001892 0.9941 0.008475 0.09206 -1 1 2 1 0.1754 0.001206 0.002841 0.00451 -0.4041 1 0.0001442 0.009127 0.006196 0.004024 0.06343 14.07 2.616 0.4776 1.077 1 1 0.006238 0.01925 0.02397 0.7361 2.271 2.828 json
t20_x45_u0_b126 20 45 0 126 sub(D,add(mod(R,P),P)) 168687 164230191 o2(x,o2(o2(x,x),x)) true 57903 57903 -0.1293 0.4375 0.9896 0.968 0.9839 -1 1 2 1 1.235 0.01225 0.0000933 0.009887 0.9849 1 0.000007519 0.02438 0.01615 0.01225 0.1107 11.19 2.002 0.01275 0.02519 1 1 0.01718 0.07496 0.3311 0.01775 0.07744 0.342 json
t20_x45_u0_b127 20 45 0 127 sub(D,add(lrg(R,P),P)) 168688 164230192 o2(x,o2(o2(x,x),x)) true 57911 57911 -0.08876 0.4522 0.9042 0.8786 0.9373 -1 1 2 1 2.091 0.001377 0.0001036 0.01359 0.8601 1 0.000005616 0.0002759 0.00603 0.001296 0.036 2.649 0.1713 0.001686 0.000314 1 1 0.003769 0.03712 0.207 0.00429 0.04225 0.2356 json
t20_x45_u0_b128 20 45 0 128 sub(D,add(eql(R,P),P)) 168689 164230193 o2(x,o2(o2(x,x),x)) true 57919 57919 0 0.5 0.9375 0.9252 0.9619 -1 1 2 1 1.774 0.001323 0 0.01101 1 1 0 0.0002527 0.005079 0.001202 0.03468 3.15 0.1713 0.00143 0.0002731 1 1 0.003342 0.0331 0.2361 0.003612 0.03578 0.2552 json
t20_x45_u0_b129 20 45 0 129 sub(D,add(min(R,P),P)) 168690 164230194 o2(x,o2(o2(x,x),x)) true 57927 57927 0.03049 0.5193 0.9562 0.9426 0.9709 -1 1 2 1 1.702 0.001732 0.0001393 0.01059 0.8511 1 0.00001831 0.0004534 0.004926 0.001759 0.04194 3.959 0.3664 0.001985 0.000481 1 1 0.004547 0.04134 0.2667 0.004824 0.04386 0.2829 json
t20_x45_u0_b130 20 45 0 130 sub(D,add(dot(R,P),P)) 168691 164230195 o2(x,o2(o2(x,x),x)) true 57935 57935 0.02522 0.5107 0.9277 0.903 0.9503 -1 1 2 1 2.098 0.01315 0.0156 0.05328 -0.08524 1 0.0001298 0.02288 0.03982 0.02592 0.161 3.022 1.871 0.03185 0.02533 1 1 0.04264 0.3337 0.7629 0.04722 0.3695 0.8449 json
t20_x45_u0_b131 20 45 0 131 sub(D,add(dst(R,P),P)) 168692 164230196 o2(x,o2(o2(x,x),x)) true 57943 57943 -0.8908 0.03442 0.9082 0.08833 0.2972 -1 0.8258 1.826 1 1.297 0.0007285 0.0006786 0.01266 0.03546 1 -0.00005541 0.0002584 0.004307 0.001247 0.03531 2.79 0.3076 0.01593 0.002926 1 1 0.003071 0.03083 0.09688 0.03477 0.3491 1.097 json
t20_x45_u0_b132 20 45 0 132 sub(D,sub(add(R,P),P)) 168693 164230197 o2(x,o2(o2(x,x),x)) true 57951 57951 -0.009165 0.5021 0.4005 0.2287 0.4782 -1 1 2 1 4.894 0.004393 0.003164 0.07461 0.1626 1 -0.00003074 0.0006179 0.01902 0.001989 0.0446 0.5978 0.2561 0.03305 0.002702 1 1 0.01479 0.1717 0.3901 0.06468 0.751 1.706 json
t20_x45_u0_b133 20 45 0 133 sub(D,sub(sub(R,P),P)) 168694 164230198 o2(x,o2(o2(x,x),x)) true 57959 57959 0.004691 0.503 0.9712 0.9607 0.9802 -1 1 2 1 1.545 0.001287 0.0001658 0.008651 0.7718 1 0.000009995 0.0002477 0.002547 0.001379 0.03714 4.293 0.3854 0.001513 0.0002579 1 1 0.0038 0.04578 0.3093 0.003956 0.04765 0.322 json
t20_x45_u0_b134 20 45 0 134 sub(D,sub(mlt(R,P),P)) 168695 164230199 o2(x,o2(o2(x,x),x)) true 57967 57967 0.001263 0.4993 0.8937 0.8636 0.9293 -1 1 2 1 2.366 0.001187 0.000829 0.01652 0.1774 1 -0.00004091 0.0008947 0.007549 0.001743 0.04175 2.527 0.5174 0.002334 0.001036 1 1 0.004407 0.04152 0.2248 0.005103 0.04807 0.2603 json
t20_x45_u0_b135 20 45 0 135 sub(D,sub(div(R,P),P)) 168696 164230200 o2(x,o2(o2(x,x),x)) true 57975 57975 -0.1261 0.4375 0.9902 0.9693 0.9845 -1 1 2 1 1.238 0.01219 0.00007798 0.01053 0.9873 1 2.628e-11 0.0237 0.01637 0.01216 0.1103 10.47 2 0.01266 0.02445 1 1 0.01755 0.07938 0.3346 0.01811 0.0819 0.3452 json
t20_x45_u0_b136 20 45 0 136 sub(D,sub(pow(R,P),P)) 168697 164230201 o2(x,o2(o2(x,x),x)) true 57983 57983 -0.9795 0.008636 0.9892 0.02683 0.1638 -1 1 2 1 0.2509 0.003216 0.002637 0.00551 0.09889 1 -1.126e-11 0.01221 0.008168 0.005823 0.07631 13.85 2 0.2181 0.4551 1 1 0.003386 0.01368 0.03841 0.1262 0.5098 1.432 json
t20_x45_u0_b137 20 45 0 137 sub(D,sub(mod(R,P),P)) 168698 164230202 o2(x,o2(o2(x,x),x)) true 57991 57991 -0.1281 0.4375 0.992 0.972 0.9859 -1 1 2 1 1.217 0.01162 0.00007372 0.009354 0.9874 1 0.000006629 0.02261 0.01493 0.0116 0.1077 11.51 2 0.01203 0.02326 1 1 0.01693 0.07753 0.3316 0.01742 0.07976 0.3411 json
t20_x45_u0_b138 20 45 0 138 sub(D,sub(lrg(R,P),P)) 168699 164230203 o2(x,o2(o2(x,x),x)) true 57999 57999 -0.03497 0.4852 0.9604 0.9455 0.9724 -1 1 2 1 1.667 0.0008785 0.00009057 0.00837 0.8131 1 0.000005261 0.00007592 0.001639 0.0008986 0.02998 3.581 0.1794 0.001025 0.0000803 1 1 0.002556 0.03486 0.2804 0.002704 0.03687 0.2965 json