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_x8_u0_b76 20 8 0 76 add(P,lrg(dst(P,R),R)) 161200 162735304 o2(x,o2(o2(x,x),x)) true 169607 169607 0.125 0.5625 0.9375 0.9084 0.9531 -1 1 2 1 1.8 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007771 0.00003562 1 1 0.001851 0.02449 0.2344 0.002038 0.02696 0.2581 json
t20_x8_u0_b77 20 8 0 77 add(P,eql(add(P,R),R)) 161201 162735305 o2(x,o2(o2(x,x),x)) true 169615 169615 0.0625 0.5313 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t20_x8_u0_b78 20 8 0 78 add(P,eql(sub(P,R),R)) 161202 162735306 o2(x,o2(o2(x,x),x)) true 169623 169623 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t20_x8_u0_b79 20 8 0 79 add(P,eql(mlt(P,R),R)) 161203 162735307 o2(x,o2(o2(x,x),x)) true 169631 169631 0.009727 0.5 0.9472 0.9365 0.9677 -1 1 2 1 1.65 0.001005 0 0.007937 1 1 -4.731e-10 0.0001502 0.002719 0.0009424 0.0307 3.868 0.2265 0.001073 0.0001604 1 1 0.002565 0.02848 0.2515 0.002739 0.03041 0.2686 json
t20_x8_u0_b80 20 8 0 80 add(P,eql(div(P,R),R)) 161204 162735308 o2(x,o2(o2(x,x),x)) true 169639 169639 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t20_x8_u0_b81 20 8 0 81 add(P,eql(pow(P,R),R)) 161205 162735309 o2(x,o2(o2(x,x),x)) true 169647 169647 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t20_x8_u0_b82 20 8 0 82 add(P,eql(mod(P,R),R)) 161206 162735310 o2(x,o2(o2(x,x),x)) true 169655 169655 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t20_x8_u0_b83 20 8 0 83 add(P,eql(lrg(P,R),R)) 161207 162735311 o2(x,o2(o2(x,x),x)) true 169663 169663 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t20_x8_u0_b84 20 8 0 84 add(P,eql(eql(P,R),R)) 161208 162735312 o2(x,o2(o2(x,x),x)) true 169671 169671 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t20_x8_u0_b85 20 8 0 85 add(P,eql(min(P,R),R)) 161209 162735313 o2(x,o2(o2(x,x),x)) true 169679 169679 0.03972 0.5198 0.9657 0.9543 0.9769 -1 1 2 1 1.554 0.001197 0.00009554 0.008561 0.8522 1 0.000003562 0.0001197 0.002399 0.00122 0.03492 4.08 0.2338 0.001355 0.0001254 1 1 0.003358 0.04173 0.2916 0.003518 0.04373 0.3056 json
t20_x8_u0_b86 20 8 0 86 add(P,eql(dot(P,R),R)) 161210 162735314 o2(x,o2(o2(x,x),x)) true 169687 169687 0.0007121 0.5 0.9382 0.9249 0.9617 -1 1 2 1 1.806 0.0007278 0.000002972 0.007953 0.9919 1 1.177e-10 0.0000441 0.001912 0.0006677 0.02584 3.249 0.2265 0.0007901 0.00004768 1 1 0.00193 0.02501 0.2364 0.002087 0.02704 0.2556 json
t20_x8_u0_b87 20 8 0 87 add(P,eql(dst(P,R),R)) 161211 162735315 o2(x,o2(o2(x,x),x)) true 169695 169695 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t20_x8_u0_b88 20 8 0 88 add(P,min(add(P,R),R)) 161212 162735316 o2(x,o2(o2(x,x),x)) true 169703 169703 -0.01665 0.4942 0.9613 0.9466 0.9729 -1 1 2 1 1.71 0.001326 0.0002414 0.009501 0.6919 1 -0.00001985 0.0003005 0.003394 0.001478 0.03844 4.046 0.3703 0.001656 0.0003174 1 1 0.003999 0.04431 0.2909 0.004224 0.04681 0.3073 json
t20_x8_u0_b89 20 8 0 89 add(P,min(sub(P,R),R)) 161213 162735317 o2(x,o2(o2(x,x),x)) true 169711 169711 -0.04714 0.4727 0.9619 0.9444 0.9718 -1 1 2 1 1.703 0.001102 0.00007664 0.008602 0.8699 1 -0.00001104 0.000177 0.002944 0.001104 0.03323 3.863 0.2488 0.001248 0.0001874 1 1 0.002922 0.03486 0.2672 0.003094 0.03691 0.2829 json
t20_x8_u0_b90 20 8 0 90 add(P,min(mlt(P,R),R)) 161214 162735318 o2(x,o2(o2(x,x),x)) true 169719 169719 -0.03764 0.4833 0.945 0.9247 0.9616 -1 1 2 1 1.927 0.00129 0.0004119 0.01179 0.516 1 -0.00003506 0.0004809 0.005107 0.001562 0.03953 3.354 0.3526 0.001841 0.0005201 1 1 0.003634 0.03948 0.2649 0.00393 0.0427 0.2864 json
t20_x8_u0_b91 20 8 0 91 add(P,min(div(P,R),R)) 161215 162735319 o2(x,o2(o2(x,x),x)) true 169727 169727 -0.5563 0.2113 0.9279 0.5954 0.7716 -1 1 2 1 1.819 0.02388 0.02532 0.06093 -0.02918 1 -0.00001074 0.06741 0.0599 0.04547 0.2132 3.5 2.828 0.08264 0.1132 1 1 0.06351 0.406 0.906 0.1067 0.682 1.522 json
t20_x8_u0_b92 20 8 0 92 add(P,min(pow(P,R),R)) 161216 162735320 o2(x,o2(o2(x,x),x)) true 169735 169735 -0.009996 0.4833 0.9363 0.916 0.9571 -1 1 2 1 1.949 0.001145 0.0002596 0.01057 0.6304 1 -0.00001894 0.0002724 0.003612 0.001293 0.03596 3.401 0.312 0.001533 0.0002973 1 1 0.003264 0.03724 0.2435 0.003563 0.04066 0.2658 json
t20_x8_u0_b93 20 8 0 93 add(P,min(mod(P,R),R)) 161217 162735321 o2(x,o2(o2(x,x),x)) true 169743 169743 -0.03082 0.4818 0.9494 0.9321 0.9654 -1 1 2 1 1.822 0.0009353 0.0001133 0.008909 0.7839 1 -0.00001305 0.0001185 0.002519 0.0009697 0.03114 3.495 0.2473 0.001125 0.0001271 1 1 0.002608 0.03213 0.2538 0.002798 0.03447 0.2723 json
t20_x8_u0_b94 20 8 0 94 add(P,min(lrg(P,R),R)) 161218 162735322 o2(x,o2(o2(x,x),x)) true 169751 169751 -0.02549 0.4833 0.9518 0.9354 0.9672 -1 1 2 1 1.789 0.001071 0.0001471 0.009011 0.7586 1 -0.00001864 0.0001978 0.002782 0.001137 0.03372 3.743 0.312 0.001303 0.0002115 1 1 0.002958 0.03455 0.2578 0.003162 0.03693 0.2756 json
t20_x8_u0_b95 20 8 0 95 add(P,min(eql(P,R),R)) 161219 162735323 o2(x,o2(o2(x,x),x)) true 169759 169759 -0.03231 0.4815 0.9463 0.928 0.9633 -1 1 2 1 1.884 0.0008346 0.0001011 0.008883 0.7838 1 -0.00001072 0.00008151 0.002361 0.0008571 0.02928 3.296 0.208 0.001008 0.00008783 1 1 0.002395 0.0304 0.2484 0.00258 0.03275 0.2677 json
t20_x8_u0_b96 20 8 0 96 add(P,min(min(P,R),R)) 161220 162735324 o2(x,o2(o2(x,x),x)) true 169767 169767 -0.03068 0.4833 0.957 0.9435 0.9714 -1 1 2 1 1.692 0.001208 0.0001388 0.008884 0.7938 1 -0.00001833 0.0002644 0.003305 0.001267 0.0356 4.007 0.312 0.001427 0.0002803 1 1 0.003263 0.03603 0.2678 0.003458 0.03819 0.2839 json
t20_x8_u0_b97 20 8 0 97 add(P,min(dot(P,R),R)) 161221 162735325 o2(x,o2(o2(x,x),x)) true 169775 169775 -0.1621 0.4188 0.9391 0.8926 0.9448 -1 1 2 1 1.94 0.00587 0.006559 0.03208 -0.05544 1 -0.00007815 0.006748 0.01796 0.01141 0.1068 3.329 1.429 0.01393 0.007559 1 1 0.02084 0.1926 0.556 0.02335 0.2158 0.6229 json
t20_x8_u0_b98 20 8 0 98 add(P,min(dst(P,R),R)) 161222 162735326 o2(x,o2(o2(x,x),x)) true 169783 169783 0.003757 0.4974 0.9428 0.9208 0.9596 -1 1 2 1 1.952 0.001169 0.000358 0.0111 0.5311 1 -0.00002042 0.0002765 0.003741 0.001403 0.03746 3.374 0.312 0.001658 0.0003002 1 1 0.003726 0.04331 0.2691 0.004046 0.04703 0.2923 json
t20_x8_u0_b99 20 8 0 99 add(P,dot(add(P,R),R)) 161223 162735327 o2(x,o2(o2(x,x),x)) true 169791 169791 0.1335 0.5664 0.9284 0.887 0.9418 -1 1 2 1 2.063 0.0127 0.01527 0.05017 -0.09184 1 -0.0001353 0.02292 0.03814 0.02545 0.1595 3.179 1.882 0.03152 0.02584 1 1 0.04054 0.3112 0.6922 0.0457 0.3509 0.7803 json
t20_x8_u0_b100 20 8 0 100 add(P,dot(sub(P,R),R)) 161224 162735328 o2(x,o2(o2(x,x),x)) true 169799 169799 -0.1756 0.4129 0.9322 0.8779 0.9369 -1 1 2 1 2.042 0.01169 0.01491 0.04914 -0.1211 1 -0.00008344 0.02116 0.0368 0.02419 0.1555 3.165 1.674 0.03029 0.02411 1 1 0.03768 0.2931 0.8183 0.04292 0.3339 0.9322 json
t20_x8_u0_b101 20 8 0 101 add(P,dot(mlt(P,R),R)) 161225 162735329 o2(x,o2(o2(x,x),x)) true 169807 169807 -0.01207 0.4969 0.9509 0.9371 0.968 -1 1 2 1 1.733 0.002687 0.001936 0.0167 0.1624 1 -0.00002134 0.001666 0.007556 0.004341 0.06589 3.947 0.9226 0.004933 0.001778 1 1 0.007698 0.07914 0.378 0.008215 0.08446 0.4034 json
t20_x8_u0_b102 20 8 0 102 add(P,dot(div(P,R),R)) 161226 162735330 o2(x,o2(o2(x,x),x)) true 169815 169815 -1.35e-8 0.5 0.9688 0.9594 0.9795 -1 1 2 1 1.531 0.001366 0.0003547 0.009634 0.5878 1 3.121e-11 0.0003278 0.003308 0.001628 0.04034 4.188 0.2614 0.001794 0.0003416 1 1 0.004392 0.0509 0.3961 0.004578 0.05305 0.4129 json
t20_x8_u0_b103 20 8 0 103 add(P,dot(pow(P,R),R)) 161227 162735331 o2(x,o2(o2(x,x),x)) true 169823 169823 -0.9766 0.01172 1 0.04631 0.2152 -1 1 2 1 0.09198 0.004031 0.006047 0.005002 -0.2 1 0 0.02116 0.01008 0.01005 0.1003 20.04 2.828 0.2176 0.457 1 1 0.002604 0.01823 0.04166 0.05623 0.3936 0.8996 json
t20_x8_u0_b104 20 8 0 104 add(P,dot(mod(P,R),R)) 161228 162735332 o2(x,o2(o2(x,x),x)) true 169831 169831 -0.0005236 0.4969 0.9392 0.9229 0.9607 -1 1 2 1 1.889 0.0007919 0.00005033 0.0085 0.8805 1 0.000002953 0.00009027 0.002363 0.0007702 0.02775 3.265 0.2214 0.0009126 0.00009782 1 1 0.002063 0.02587 0.2359 0.002235 0.02804 0.2556 json
t20_x8_u0_b105 20 8 0 105 add(P,dot(lrg(P,R),R)) 161229 162735333 o2(x,o2(o2(x,x),x)) true 169839 169839 -0.04999 0.4711 0.9555 0.9383 0.9687 -1 1 2 1 1.72 0.00138 0.0003554 0.009969 0.5904 1 -0.00001655 0.0003532 0.003504 0.001636 0.04044 4.057 0.3765 0.001849 0.0003764 1 1 0.004048 0.04462 0.2704 0.004314 0.04756 0.2882 json
t20_x8_u0_b106 20 8 0 106 add(P,dot(eql(P,R),R)) 161230 162735334 o2(x,o2(o2(x,x),x)) true 169847 169847 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t20_x8_u0_b107 20 8 0 107 add(P,dot(min(P,R),R)) 161231 162735335 o2(x,o2(o2(x,x),x)) true 169855 169855 0.07213 0.5345 0.9214 0.8905 0.9437 -1 1 2 1 2.134 0.004888 0.004824 0.02805 0.00661 1 -0.00005745 0.005921 0.01751 0.008929 0.0945 3.368 1.582 0.01091 0.006649 1 1 0.01718 0.1382 0.3807 0.01929 0.1552 0.4275 json
t20_x8_u0_b108 20 8 0 108 add(P,dot(dot(P,R),R)) 161232 162735336 o2(x,o2(o2(x,x),x)) true 169863 169863 0.01668 0.509 0.9527 0.9387 0.9689 -1 1 2 1 1.727 0.006201 0.005256 0.02594 0.08256 1 0.000004416 0.006892 0.01675 0.01078 0.1038 4.003 1.536 0.01221 0.007342 1 1 0.0206 0.1614 0.4394 0.02194 0.1719 0.4681 json
t20_x8_u0_b109 20 8 0 109 add(P,dot(dst(P,R),R)) 161233 162735337 o2(x,o2(o2(x,x),x)) true 169871 169871 -0.0426 0.4777 0.9322 0.908 0.9529 -1 1 2 1 2.049 0.02991 0.03496 0.08106 -0.07785 1 0.0001322 0.07837 0.08009 0.05832 0.2415 2.979 2.329 0.07145 0.08631 1 1 0.08752 0.5656 1.175 0.09639 0.623 1.294 json
t20_x8_u0_b110 20 8 0 110 add(P,dst(add(P,R),R)) 161234 162735338 o2(x,o2(o2(x,x),x)) true 169879 169879 0.885 0.9968 0.885 0.07625 0.2761 0.00001812 1 1 1 1.305 0.00005943 0.0001798 0.004703 -0.5033 1 -0.000002319 0.00003737 0.001341 0.0002171 0.01473 3.133 0.2282 0.003138 0.0004901 1 1 0.0007094 0.0084 0.06467 0.009305 0.1102 0.8481 json
t20_x8_u0_b111 20 8 0 111 add(P,dst(sub(P,R),R)) 161235 162735339 o2(x,o2(o2(x,x),x)) true 169887 169887 0.8973 0.9593 0.9417 0.1166 0.3415 -1 1 2 1 1.11 0.001154 0.00172 0.01515 -0.1972 1 -0.00001627 0.0006698 0.005935 0.002644 0.05142 3.394 0.4828 0.02464 0.005744 1 1 0.005386 0.05489 0.1521 0.04619 0.4707 1.304 json
t20_x8_u0_b112 20 8 0 112 add(P,dst(mlt(P,R),R)) 161236 162735340 o2(x,o2(o2(x,x),x)) true 169895 169895 0.4799 0.7493 0.8906 0.6246 0.7903 -1 1 2 1 2.305 0.002956 0.003426 0.02893 -0.07367 1 0.00004014 0.001938 0.01223 0.005543 0.07445 2.574 0.6786 0.01022 0.003102 1 1 0.009887 0.1073 0.3564 0.01583 0.1718 0.5706 json
t20_x8_u0_b113 20 8 0 113 add(P,dst(div(P,R),R)) 161237 162735341 o2(x,o2(o2(x,x),x)) true 169903 169903 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_x8_u0_b114 20 8 0 114 add(P,dst(pow(P,R),R)) 161238 162735342 o2(x,o2(o2(x,x),x)) true 169911 169911 -0.9688 0.01563 1 0.06152 0.248 -1 1 2 1 0.1161 0.006047 0.008062 0.006999 -0.1429 1 0 0.02973 0.01411 0.01406 0.1186 16.94 2.828 0.2293 0.4832 1 1 0.009695 0.04659 0.07003 0.1576 0.7573 1.138 json
t20_x8_u0_b115 20 8 0 115 add(P,dst(mod(P,R),R)) 161239 162735343 o2(x,o2(o2(x,x),x)) true 169919 169919 0.1285 0.5654 0.9367 0.8981 0.9477 -1 1 2 1 1.983 0.0008439 0.0001618 0.009505 0.6781 1 -0.000009376 0.0001407 0.002904 0.0009157 0.03026 3.184 0.2497 0.00112 0.0001566 1 1 0.002367 0.02836 0.2295 0.002636 0.03157 0.2556 json
t20_x8_u0_b116 20 8 0 116 add(P,dst(lrg(P,R),R)) 161240 162735344 o2(x,o2(o2(x,x),x)) true 169927 169927 0.1935 0.5976 0.9396 0.8824 0.9394 -1 1 2 1 1.919 0.0009179 0.0002155 0.00972 0.6198 1 -0.00001181 0.0002157 0.003374 0.001039 0.03224 3.317 0.2819 0.001284 0.0002445 1 1 0.00283 0.03181 0.2481 0.003207 0.03605 0.2811 json
t20_x8_u0_b117 20 8 0 117 add(P,dst(eql(P,R),R)) 161241 162735345 o2(x,o2(o2(x,x),x)) true 169935 169935 0.1228 0.5638 0.9362 0.9005 0.9489 -1 1 2 1 1.979 0.0007835 0.00009467 0.008974 0.7844 1 -0.000002358 0.0001175 0.002698 0.0007974 0.02824 3.147 0.2056 0.0009753 0.0001304 1 1 0.002174 0.02655 0.2276 0.002415 0.02948 0.2528 json
t20_x8_u0_b118 20 8 0 118 add(P,dst(min(P,R),R)) 161242 162735346 o2(x,o2(o2(x,x),x)) true 169943 169943 0.7029 0.8735 0.8059 0.2527 0.5027 -0.9385 1 1.938 1 2.537 0.000998 0.001186 0.02233 -0.08595 1 0.00002466 0.0001786 0.005473 0.001685 0.04105 1.838 0.2112 0.00864 0.0007067 1 1 0.004395 0.05467 0.1603 0.01739 0.2163 0.6342 json
t20_x8_u0_b119 20 8 0 119 add(P,dst(dot(P,R),R)) 161243 162735347 o2(x,o2(o2(x,x),x)) true 169951 169951 0.6749 0.8398 0.9491 0.4765 0.6903 -1 1 2 1 1.432 0.00997 0.0113 0.04018 -0.06255 1 -0.00002772 0.01431 0.02869 0.01964 0.1401 3.488 1.532 0.04464 0.03003 1 1 0.02774 0.2097 0.4726 0.05822 0.4401 0.9918 json
t20_x8_u0_b120 20 8 0 120 add(P,dst(dst(P,R),R)) 161244 162735348 o2(x,o2(o2(x,x),x)) true 169959 169959 0.9992 1 0.9992 0.0002865 0.01693 0.4617 1 0.5383 1 0.03121 0.00001239 0.00001967 0.0002827 -0.2272 0 1.126e-11 0.00001554 0.00019 0.00003194 0.005652 20 0.1709 0.1119 0.05424 1 1 0.000102 0.0007966 0.001043 0.3562 2.781 3.642 json
t20_x8_u0_b121 20 8 0 121 sub(P,add(add(P,R),R)) 161245 162735349 o2(x,o2(o2(x,x),x)) true 169967 169967 -0.01372 0.5016 0.659 0.5457 0.7387 -1 1 2 1 4.408 0.008726 0.009756 0.09338 -0.05568 1 -0.00002908 0.003164 0.02873 0.009763 0.09881 1.058 0.4602 0.03387 0.005798 1 1 0.03624 0.4079 0.9797 0.06641 0.7475 1.795 json
t20_x8_u0_b122 20 8 0 122 sub(P,add(sub(P,R),R)) 161246 162735350 o2(x,o2(o2(x,x),x)) true 169975 169975 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
t20_x8_u0_b123 20 8 0 123 sub(P,add(mlt(P,R),R)) 161247 162735351 o2(x,o2(o2(x,x),x)) true 169983 169983 -0.0568 0.4743 0.9159 0.8837 0.9401 -1 1 2 1 2.236 0.002838 0.001769 0.02251 0.2319 1 -0.0001436 0.001713 0.01024 0.004098 0.06402 2.844 0.7728 0.005213 0.001938 1 1 0.01018 0.1011 0.3324 0.01152 0.1144 0.3762 json
t20_x8_u0_b124 20 8 0 124 sub(P,add(div(P,R),R)) 161248 162735352 o2(x,o2(o2(x,x),x)) true 169991 169991 0.001252 0.4989 0.9226 0.8956 0.9464 -1 1 2 1 2.166 0.05955 0.06958 0.1078 -0.07767 1 -0.0001345 0.2536 0.1478 0.1176 0.3429 3.181 2.828 0.1442 0.2832 1 1 0.1375 0.7256 1.593 0.1535 0.8102 1.779 json
t20_x8_u0_b125 20 8 0 125 sub(P,add(pow(P,R),R)) 161249 162735353 o2(x,o2(o2(x,x),x)) true 169999 169999 -0.1855 0.4109 0.9447 0.8922 0.9445 -1 1 2 1 1.832 0.004136 0.001832 0.01686 0.386 1 -0.00007383 0.008051 0.01322 0.005681 0.07538 4.471 2.062 0.00669 0.009025 1 1 0.01068 0.08138 0.3272 0.01197 0.09122 0.3667 json
t20_x8_u0_b126 20 8 0 126 sub(P,add(mod(P,R),R)) 161250 162735354 o2(x,o2(o2(x,x),x)) true 170007 170007 -0.006235 0.5018 0.925 0.9005 0.949 -1 1 2 1 2.108 0.001188 0.0004848 0.01296 0.4205 1 0.00002041 0.0002751 0.00419 0.001505 0.03879 2.992 0.3213 0.001858 0.0003055 1 1 0.004091 0.04766 0.2552 0.004543 0.05293 0.2834 json
t20_x8_u0_b127 20 8 0 127 sub(P,add(lrg(P,R),R)) 161251 162735355 o2(x,o2(o2(x,x),x)) true 170015 170015 -0.1053 0.4317 0.9109 0.8664 0.9308 -1 1 2 1 2.311 0.001049 0.0004444 0.01297 0.4047 1 0.00002676 0.000237 0.004099 0.001325 0.0364 2.806 0.3135 0.001723 0.0002736 1 1 0.003437 0.03974 0.2103 0.003967 0.04587 0.2427 json
t20_x8_u0_b128 20 8 0 128 sub(P,add(eql(P,R),R)) 161252 162735356 o2(x,o2(o2(x,x),x)) true 170023 170023 -0.004612 0.5032 0.9368 0.913 0.9555 -1 1 2 1 2.013 0.001147 0.000385 0.01159 0.4976 1 0.00002051 0.0002745 0.003871 0.001399 0.0374 3.228 0.3332 0.001679 0.0003007 1 1 0.003782 0.0437 0.2627 0.004142 0.04787 0.2877 json
t20_x8_u0_b129 20 8 0 129 sub(P,add(min(P,R),R)) 161253 162735357 o2(x,o2(o2(x,x),x)) true 170031 170031 0.4322 0.7094 0.6711 0.3861 0.6214 -0.9693 1 1.969 1 3.688 0.002712 0.002509 0.04214 0.03892 1 -0.00002927 0.0006907 0.0114 0.003444 0.05869 1.393 0.4356 0.01352 0.001789 1 1 0.01132 0.1323 0.3393 0.02932 0.3426 0.8789 json
t20_x8_u0_b130 20 8 0 130 sub(P,add(dot(P,R),R)) 161254 162735358 o2(x,o2(o2(x,x),x)) true 170039 170039 -0.01322 0.4924 0.9062 0.8756 0.9357 -1 1 2 1 2.344 0.01382 0.01501 0.05729 -0.04112 1 0.000002367 0.02114 0.04037 0.02556 0.1599 2.79 1.606 0.03293 0.02414 1 1 0.04253 0.338 0.8219 0.04857 0.386 0.9387 json
t20_x8_u0_b131 20 8 0 131 sub(P,add(dst(P,R),R)) 161255 162735359 o2(x,o2(o2(x,x),x)) true 170047 170047 -0.9003 0 0.9003 0.06365 0.2523 -1 -0.008069 0.9919 1 1.228 0.0001125 0.0002294 0.005331 -0.3418 1 0.000007683 0.00007467 0.001767 0.0003136 0.01771 3.322 0.2508 0.005371 0.001173 1 1 0.0009534 0.01021 0.05528 0.01498 0.1604 0.8685 json
t20_x8_u0_b132 20 8 0 132 sub(P,sub(add(P,R),R)) 161256 162735360 o2(x,o2(o2(x,x),x)) true 170055 170055 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
t20_x8_u0_b133 20 8 0 133 sub(P,sub(sub(P,R),R)) 161257 162735361 o2(x,o2(o2(x,x),x)) true 170063 170063 0.01372 0.4984 0.659 0.5457 0.7387 -1 1 2 1 4.408 0.008726 0.009756 0.09338 -0.05568 1 0.00002908 0.003164 0.02873 0.009763 0.09881 1.058 0.4602 0.03387 0.005798 1 1 0.03624 0.4079 0.9797 0.06641 0.7475 1.795 json
t20_x8_u0_b134 20 8 0 134 sub(P,sub(mlt(P,R),R)) 161258 162735362 o2(x,o2(o2(x,x),x)) true 170071 170071 0.06247 0.5325 0.9131 0.8796 0.9379 -1 1 2 1 2.258 0.002849 0.002743 0.0241 0.019 1 0.00009762 0.00224 0.01176 0.005011 0.07079 2.937 0.8128 0.006358 0.002547 1 1 0.01151 0.1033 0.3511 0.01308 0.1174 0.3991 json
t20_x8_u0_b135 20 8 0 135 sub(P,sub(div(P,R),R)) 161259 162735363 o2(x,o2(o2(x,x),x)) true 170079 170079 0.1045 0.555 0.9235 0.8856 0.9411 -1 1 2 1 2.145 0.05775 0.07145 0.1076 -0.106 1 0.000009868 0.2543 0.1467 0.1177 0.343 3.189 2.828 0.1459 0.2871 1 1 0.1374 0.7118 1.558 0.1551 0.8037 1.759 json
t20_x8_u0_b136 20 8 0 136 sub(P,sub(pow(P,R),R)) 161260 162735364 o2(x,o2(o2(x,x),x)) true 170087 170087 -0.1316 0.4434 0.9671 0.9361 0.9675 -1 1 2 1 1.611 0.008098 0.002961 0.012 0.4645 1 -0.00001029 0.02204 0.01581 0.01091 0.1045 8.708 2.541 0.01181 0.02355 1 1 0.01492 0.07124 0.3247 0.01593 0.0761 0.3469 json
t20_x8_u0_b137 20 8 0 137 sub(P,sub(mod(P,R),R)) 161261 162735365 o2(x,o2(o2(x,x),x)) true 170095 170095 0.005469 0.4981 0.9328 0.9094 0.9536 -1 1 2 1 2.054 0.001128 0.0004483 0.01209 0.4312 1 -0.00002244 0.0002642 0.003931 0.00143 0.03781 3.127 0.3012 0.001733 0.0002906 1 1 0.003777 0.04446 0.263 0.004153 0.04889 0.2892 json
t20_x8_u0_b138 20 8 0 138 sub(P,sub(lrg(P,R),R)) 161262 162735366 o2(x,o2(o2(x,x),x)) true 170103 170103 -0.07268 0.4704 0.9184 0.8844 0.9404 -1 1 2 1 2.209 0.001422 0.0008093 0.01569 0.2747 1 -0.00002014 0.0004098 0.005337 0.001985 0.04455 2.839 0.312 0.002523 0.0004633 1 1 0.005639 0.06372 0.2826 0.006376 0.07204 0.3195 json
t20_x8_u0_b139 20 8 0 139 sub(P,sub(eql(P,R),R)) 161263 162735367 o2(x,o2(o2(x,x),x)) true 170111 170111 0.003757 0.4974 0.9428 0.9208 0.9596 -1 1 2 1 1.952 0.001169 0.000358 0.0111 0.5311 1 -0.00002042 0.0002765 0.003741 0.001403 0.03746 3.374 0.312 0.001658 0.0003002 1 1 0.003726 0.04331 0.2691 0.004046 0.04703 0.2923 json
t20_x8_u0_b140 20 8 0 140 sub(P,sub(min(P,R),R)) 161264 162735368 o2(x,o2(o2(x,x),x)) true 170119 170119 0.5036 0.7759 0.6706 0.3236 0.5688 -0.9989 1 1.999 1 3.628 0.00143 0.00164 0.03331 -0.06845 1 0.00002708 0.0001727 0.007555 0.00196 0.04427 1.329 0.2301 0.009488 0.0005337 1 1 0.006099 0.0777 0.2397 0.01885 0.2402 0.7408 json
t20_x8_u0_b141 20 8 0 141 sub(P,sub(dot(P,R),R)) 161265 162735369 o2(x,o2(o2(x,x),x)) true 170127 170127 0.06189 0.5327 0.9133 0.8792 0.9377 -1 1 2 1 2.312 0.01199 0.01722 0.05681 -0.1788 1 0.0000688 0.02191 0.04015 0.02598 0.1612 2.837 1.814 0.03323 0.02492 1 1 0.04141 0.3291 0.7426 0.04709 0.3743 0.8446 json
t20_x8_u0_b142 20 8 0 142 sub(P,sub(dst(P,R),R)) 161266 162735370 o2(x,o2(o2(x,x),x)) true 170135 170135 -0.8257 0.08374 0.9231 0.2161 0.4649 -1 1 2 1 1.395 0.002055 0.002016 0.02121 0.009646 1 -0.00001079 0.0008093 0.0074 0.003619 0.06016 2.836 0.4036 0.01884 0.003745 1 1 0.009445 0.1049 0.3169 0.0437 0.4855 1.466 json
t20_x8_u0_b143 20 8 0 143 sub(P,mlt(add(P,R),R)) 161267 162735371 o2(x,o2(o2(x,x),x)) true 170143 170143 -0.08323 0.4457 0.9137 0.8764 0.9362 -1 1 2 1 2.279 0.002035 0.001291 0.01835 0.2236 1 -0.0001307 0.001302 0.00849 0.002989 0.05467 2.98 0.8667 0.003795 0.001486 1 1 0.007211 0.07236 0.2886 0.008228 0.08257 0.3293 json
t20_x8_u0_b144 20 8 0 144 sub(P,mlt(sub(P,R),R)) 161268 162735372 o2(x,o2(o2(x,x),x)) true 170151 170151 0.08904 0.5566 0.9082 0.869 0.9322 -1 1 2 1 2.32 0.002269 0.002118 0.02091 0.0345 1 0.00007795 0.001766 0.01025 0.003951 0.06285 3.005 0.7509 0.005049 0.002032 1 1 0.009007 0.07984 0.3003 0.01036 0.09187 0.3455 json
t20_x8_u0_b145 20 8 0 145 sub(P,mlt(mlt(P,R),R)) 161269 162735373 o2(x,o2(o2(x,x),x)) true 170159 170159 0.007845 0.4993 0.8716 0.8344 0.9135 -1 1 2 1 2.655 0.0009889 0.0006047 0.01574 0.2411 1 -0.00001158 0.0005473 0.006921 0.001345 0.03668 2.33 0.3382 0.00191 0.0006559 1 1 0.003507 0.03612 0.2047 0.004203 0.04328 0.2453 json
t20_x8_u0_b146 20 8 0 146 sub(P,mlt(div(P,R),R)) 161270 162735374 o2(x,o2(o2(x,x),x)) true 170167 170167 -8.569e-9 0 8.451e-8 1.456e-14 1.207e-7 -6.65e-7 4.425e-7 0.000001108 1 0.938 1.93e-16 2.314e-16 1.442e-8 -0.00003839 0 -2.836e-12 2.547e-17 3.295e-9 2.163e-16 1.471e-8 1.02 1.157e-7 0.0004244 0.00002547 0 1 4.514e-16 5.821e-15 1.731e-14 0.0004514 0.005821 0.01731 json
t20_x8_u0_b147 20 8 0 147 sub(P,mlt(pow(P,R),R)) 161271 162735375 o2(x,o2(o2(x,x),x)) true 170175 170175 -0.1146 0.4528 0.9792 0.9599 0.9797 -1 1 2 1 1.324 0.009469 0.00332 0.01151 0.4809 1 -0.00002241 0.02557 0.01759 0.01265 0.1125 9.772 2.828 0.01332 0.02664 1 1 0.01889 0.08819 0.3611 0.01968 0.09187 0.3762 json
t20_x8_u0_b148 20 8 0 148 sub(P,mlt(mod(P,R),R)) 161272 162735376 o2(x,o2(o2(x,x),x)) true 170183 170183 -0.001132 0.5 0.934 0.9183 0.9583 -1 1 2 1 1.94 0.0006839 0.00001043 0.008114 0.97 1 -2.074e-7 0.0000548 0.002236 0.0006286 0.02507 3.09 0.1445 0.0007561 0.00005968 1 1 0.001836 0.02374 0.2299 0.002 0.02585 0.2503 json
t20_x8_u0_b149 20 8 0 149 sub(P,mlt(lrg(P,R),R)) 161273 162735377 o2(x,o2(o2(x,x),x)) true 170191 170191 0.005376 0.5166 0.934 0.9138 0.9559 -1 1 2 1 1.949 0.001024 0.000187 0.01037 0.6911 1 0.000003155 0.0001557 0.003085 0.001103 0.03321 3.202 0.2317 0.001325 0.0001704 1 1 0.003027 0.03683 0.2383 0.003313 0.04031 0.2608 json
t20_x8_u0_b150 20 8 0 150 sub(P,mlt(eql(P,R),R)) 161274 162735378 o2(x,o2(o2(x,x),x)) true 170199 170199 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t20_x8_u0_b151 20 8 0 151 sub(P,mlt(min(P,R),R)) 161275 162735379 o2(x,o2(o2(x,x),x)) true 170207 170207 -0.01139 0.4813 0.9038 0.8731 0.9344 -1 1 2 1 2.323 0.001058 0.0005927 0.01391 0.2821 1 0.00002295 0.000627 0.006207 0.001457 0.03818 2.744 0.4618 0.001891 0.0007181 1 1 0.00372 0.03663 0.2231 0.004261 0.04196 0.2555 json
t20_x8_u0_b152 20 8 0 152 sub(P,mlt(dot(P,R),R)) 161276 162735380 o2(x,o2(o2(x,x),x)) true 170215 170215 -0.0003781 0.5003 0.8746 0.8367 0.9147 -1 1 2 1 2.624 0.009557 0.008538 0.04814 0.05633 1 -0.00005356 0.009767 0.02796 0.01578 0.1256 2.609 1.236 0.02163 0.01167 1 1 0.02434 0.2222 0.5927 0.02909 0.2656 0.7084 json
t20_x8_u0_b153 20 8 0 153 sub(P,mlt(dst(P,R),R)) 161277 162735381 o2(x,o2(o2(x,x),x)) true 170223 170223 0.03469 0.5163 0.9421 0.9201 0.9592 -1 1 2 1 1.971 0.008807 0.00898 0.0365 -0.00972 1 -0.00006007 0.01274 0.02594 0.01646 0.1283 3.515 1.544 0.01933 0.01385 1 1 0.02325 0.1916 0.5927 0.02527 0.2082 0.6441 json
t20_x8_u0_b154 20 8 0 154 sub(P,div(add(P,R),R)) 161278 162735382 o2(x,o2(o2(x,x),x)) true 170231 170231 -0.1036 0.4445 0.9466 0.918 0.9581 -1 1 2 1 1.879 0.05976 0.06891 0.1035 -0.07108 1 -0.00007309 0.2543 0.1454 0.118 0.3435 3.319 2.828 0.1402 0.277 1 1 0.1371 0.7248 1.591 0.1494 0.7895 1.733 json
t20_x8_u0_b155 20 8 0 155 sub(P,div(sub(P,R),R)) 161279 162735383 o2(x,o2(o2(x,x),x)) true 170239 170239 0.2095 0.609 0.9479 0.8854 0.9409 -1 1 2 1 1.855 0.05621 0.07095 0.1016 -0.1159 1 -0.0000121 0.2547 0.1433 0.1168 0.3417 3.362 2.828 0.1436 0.2877 1 1 0.1328 0.6744 1.504 0.15 0.7617 1.698 json
t20_x8_u0_b156 20 8 0 156 sub(P,div(mlt(P,R),R)) 161280 162735384 o2(x,o2(o2(x,x),x)) true 170247 170247 -1.663e-9 0 8.368e-8 1.488e-14 1.22e-7 -5.534e-7 5.479e-7 0.000001101 1 0.9211 2.194e-16 2.252e-16 1.49e-8 -0.000005878 0 -4.416e-13 2.669e-17 3.395e-9 2.226e-16 1.492e-8 1.001 1.24e-7 0.0004446 0.00002669 0 1 4.688e-16 5.972e-15 1.749e-14 0.0004688 0.005972 0.01749 json
t20_x8_u0_b157 20 8 0 157 sub(P,div(div(P,R),R)) 161281 162735385 o2(x,o2(o2(x,x),x)) true 170255 170255 -0.003299 0.4997 0.9454 0.9333 0.9661 -1 1 2 1 1.716 0.003339 0.001266 0.01401 0.4503 1 0.0000555 0.00598 0.01368 0.004408 0.06639 4.739 1.083 0.004933 0.006407 1 1 0.00915 0.0601 0.3103 0.009804 0.06439 0.3325 json
t20_x8_u0_b158 20 8 0 158 sub(P,div(pow(P,R),R)) 161282 162735386 o2(x,o2(o2(x,x),x)) true 170263 170263 -0.267 0.369 0.9453 0.8595 0.9271 -1 1 2 1 1.713 0.01647 0.0176 0.04099 -0.03293 1 -0.00003467 0.05331 0.04546 0.03241 0.18 4.392 2.828 0.03964 0.06202 1 1 0.04424 0.2484 0.6057 0.05147 0.289 0.7047 json
t20_x8_u0_b159 20 8 0 159 sub(P,div(mod(P,R),R)) 161283 162735387 o2(x,o2(o2(x,x),x)) true 170271 170271 -0.001837 0.5 0.9309 0.9141 0.9561 -1 1 2 1 1.956 0.0007851 0.00007764 0.008647 0.82 1 -6.177e-7 0.00016 0.002902 0.0007884 0.02808 3.247 0.2212 0.0009438 0.000175 1 1 0.002286 0.02619 0.2319 0.0025 0.02865 0.2537 json
t20_x8_u0_b160 20 8 0 160 sub(P,div(lrg(P,R),R)) 161284 162735388 o2(x,o2(o2(x,x),x)) true 170279 170279 -0.07441 0.4568 0.9392 0.917 0.9576 -1 1 2 1 1.878 0.01058 0.01274 0.03379 -0.09263 1 -0.000002044 0.03476 0.03049 0.02217 0.1489 4.407 2.828 0.02543 0.03791 1 1 0.02917 0.1923 0.5295 0.03181 0.2097 0.5774 json
t20_x8_u0_b161 20 8 0 161 sub(P,div(eql(P,R),R)) 161285 162735389 o2(x,o2(o2(x,x),x)) true 170287 170287 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t20_x8_u0_b162 20 8 0 162 sub(P,div(min(P,R),R)) 161286 162735390 o2(x,o2(o2(x,x),x)) true 170295 170295 0.2625 0.6263 0.8835 0.7918 0.8899 -1 1 2 1 2.231 0.02982 0.03211 0.05741 -0.03701 1 0.00004419 0.1222 0.07185 0.05867 0.2422 4.219 2.828 0.07821 0.1544 1 1 0.06623 0.3432 0.8971 0.08364 0.4335 1.133 json
t20_x8_u0_b163 20 8 0 163 sub(P,div(dot(P,R),R)) 161287 162735391 o2(x,o2(o2(x,x),x)) true 170303 170303 0.02914 0.5089 0.8512 0.8125 0.9014 -1 1 2 1 2.728 0.04114 0.04184 0.1018 -0.008384 1 -0.0001358 0.1187 0.1004 0.0726 0.2694 2.648 2.828 0.1021 0.1462 1 1 0.1025 0.6458 1.582 0.1262 0.7949 1.948 json
t20_x8_u0_b164 20 8 0 164 sub(P,div(dst(P,R),R)) 161288 162735392 o2(x,o2(o2(x,x),x)) true 170311 170311 0.07599 0.54 0.965 0.9476 0.9735 -1 1 2 1 1.591 0.07443 0.09124 0.1126 -0.1015 1 -0.00001887 0.3594 0.1813 0.153 0.3912 3.474 2.828 0.1748 0.3793 1 1 0.1801 0.874 1.688 0.19 0.9223 1.781 json
t20_x8_u0_b165 20 8 0 165 sub(P,pow(add(P,R),R)) 161289 162735393 o2(x,o2(o2(x,x),x)) true 170319 170319 -0.1893 0.4032 0.9469 0.8929 0.9449 -1 1 2 1 1.814 0.002372 0.001032 0.01346 0.3938 1 -0.00006168 0.003874 0.00935 0.003224 0.05678 4.218 1.389 0.003812 0.004338 1 1 0.006458 0.05707 0.2958 0.007233 0.06392 0.3313 json
t20_x8_u0_b166 20 8 0 166 sub(P,pow(sub(P,R),R)) 161290 162735394 o2(x,o2(o2(x,x),x)) true 170327 170327 -0.1273 0.4462 0.9727 0.9452 0.9722 -1 1 2 1 1.531 0.005011 0.0005515 0.009082 0.8017 1 -0.000001298 0.01004 0.009003 0.005479 0.07402 8.15 1.826 0.005885 0.01062 1 1 0.008038 0.05049 0.3033 0.008504 0.05342 0.3209 json
t20_x8_u0_b167 20 8 0 167 sub(P,pow(mlt(P,R),R)) 161291 162735395 o2(x,o2(o2(x,x),x)) true 170335 170335 -0.9879 0.007568 0.9964 0.0201 0.1418 -1 1 2 1 0.08092 0.001607 0.002361 0.002517 -0.1899 1 -1.126e-11 0.008338 0.00497 0.00396 0.06293 25.01 2 0.1974 0.4148 1 1 0.0002769 0.001915 0.0175 0.01378 0.09526 0.8705 json
t20_x8_u0_b168 20 8 0 168 sub(P,pow(div(P,R),R)) 161292 162735396 o2(x,o2(o2(x,x),x)) true 170343 170343 -0.9888 0.003906 0.9964 0.0184 0.1356 -1 1 2 1 0.08418 0.00142 0.002147 0.00235 -0.2039 1 -0.000006519 0.007487 0.004586 0.00356 0.05967 25.39 2.003 0.1939 0.407 1 1 0.0001635 0.001167 0.01601 0.008885 0.06344 0.8702 json
t20_x8_u0_b169 20 8 0 169 sub(P,pow(pow(P,R),R)) 161293 162735397 o2(x,o2(o2(x,x),x)) true 170351 170351 -0.1103 0.4369 0.8897 0.8652 0.9302 -1 1 2 1 1.846 0.004319 0.0001086 0.009255 0.951 1 -0.00001022 0.008044 0.009884 0.004344 0.06591 7.121 1 0.005117 0.009297 1 1 0.006372 0.03357 0.1895 0.007364 0.0388 0.219 json
t20_x8_u0_b170 20 8 0 170 sub(P,pow(mod(P,R),R)) 161294 162735398 o2(x,o2(o2(x,x),x)) true 170359 170359 -0.2124 0.3998 0.9588 0.901 0.9492 -1 1 2 1 1.622 0.009964 0.005356 0.02058 0.3007 1 -0.00001518 0.02437 0.02192 0.0149 0.1221 5.931 2.431 0.017 0.02705 1 1 0.02032 0.1268 0.4385 0.02255 0.1407 0.4867 json
t20_x8_u0_b171 20 8 0 171 sub(P,pow(lrg(P,R),R)) 161295 162735399 o2(x,o2(o2(x,x),x)) true 170367 170367 -0.1074 0.4375 0.9199 0.8958 0.9465 -1 1 2 1 1.867 0.001725 0.000465 0.009061 0.5754 1 -0.000002852 0.003272 0.005231 0.002109 0.04592 5.068 1.414 0.002445 0.003653 1 1 0.003915 0.03091 0.2261 0.004371 0.03451 0.2523 json
t20_x8_u0_b172 20 8 0 172 sub(P,pow(eql(P,R),R)) 161296 162735400 o2(x,o2(o2(x,x),x)) true 170375 170375 -0.9844 0.007813 0.9961 0.02625 0.162 -1 1 2 1 0.1256 0.00206 0.003166 0.003355 -0.2116 1 3.754e-12 0.01089 0.005899 0.005215 0.07221 21.53 2.828 0.1991 0.4147 1 1 0.0006169 0.004318 0.02317 0.0235 0.1645 0.8824 json
t20_x8_u0_b173 20 8 0 173 sub(P,pow(min(P,R),R)) 161297 162735401 o2(x,o2(o2(x,x),x)) true 170383 170383 -0.9879 0.007568 0.9964 0.0201 0.1418 -1 1 2 1 0.08092 0.001607 0.002361 0.002517 -0.1899 1 -1.126e-11 0.008338 0.00497 0.00396 0.06293 25.01 2 0.1974 0.4148 1 1 0.0002769 0.001915 0.0175 0.01378 0.09526 0.8705 json
t20_x8_u0_b174 20 8 0 174 sub(P,pow(dot(P,R),R)) 161298 162735402 o2(x,o2(o2(x,x),x)) true 170391 170391 -0.9584 0.02147 0.9906 0.06873 0.2622 -1 1 2 1 0.2965 0.008337 0.007814 0.01097 0.03236 1 -0.000003417 0.03349 0.01873 0.01603 0.1266 11.54 2.828 0.235 0.4872 1 1 0.01597 0.0693 0.1617 0.2323 1.008 2.352 json
t20_x8_u0_b175 20 8 0 175 sub(P,pow(dst(P,R),R)) 161299 162735403 o2(x,o2(o2(x,x),x)) true 170399 170399 -0.164 0.4166 0.942 0.8955 0.9463 -1 1 2 1 1.909 0.002296 0.001544 0.0158 0.1958 1 0.000001257 0.001537 0.007441 0.003588 0.0599 3.791 1.015 0.004289 0.001716 1 1 0.005334 0.05591 0.2748 0.005957 0.06244 0.3069 json