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_x7_u0_b177 20 7 0 177 sub(P,mod(sub(P,R),D)) 161100 162695004 o2(x,o2(o2(x,x),x)) true 168807 168807 -0.0007953 0.4977 0.9288 0.9119 0.9549 -1 1 2 1 1.974 0.001704 0.0000193 0.01233 0.9776 1 -0.000002701 0.002875 0.0162 0.001572 0.03965 3.215 0.4437 0.00189 0.003152 1 1 0.002754 0.02434 0.221 0.00302 0.02669 0.2423 json
t20_x7_u0_b178 20 7 0 178 sub(P,mod(mlt(P,R),D)) 161101 162695005 o2(x,o2(o2(x,x),x)) true 168815 168815 -0.0003457 0.4988 0.9357 0.9222 0.9603 -1 1 2 1 1.827 0.001092 0.00001331 0.008985 0.9759 1 7.55e-8 0.001088 0.007433 0.001024 0.032 3.562 0.3287 0.001198 0.00118 1 1 0.002226 0.02552 0.2345 0.002414 0.02767 0.2543 json
t20_x7_u0_b179 20 7 0 179 sub(P,mod(div(P,R),D)) 161102 162695006 o2(x,o2(o2(x,x),x)) true 168823 168823 -0.0007304 0.5 0.9355 0.922 0.9602 -1 1 2 1 1.826 0.001188 0.00001326 0.008913 0.9779 1 -5.74e-8 0.001451 0.01005 0.001122 0.0335 3.758 0.3095 0.001303 0.001574 1 1 0.002228 0.02536 0.2336 0.002417 0.02751 0.2533 json
t20_x7_u0_b180 20 7 0 180 sub(P,mod(pow(P,R),D)) 161103 162695007 o2(x,o2(o2(x,x),x)) true 168831 168831 -0.104 0.4531 0.9897 0.9764 0.9881 -1 1 2 1 1.18 0.01308 0.003246 0.01105 0.6024 1 6.382e-9 0.03426 0.02119 0.0162 0.1273 11.52 2.828 0.01672 0.03509 1 1 0.02178 0.089 0.3715 0.0223 0.09115 0.3805 json
t20_x7_u0_b181 20 7 0 181 sub(P,mod(mod(P,R),D)) 161104 162695008 o2(x,o2(o2(x,x),x)) true 168839 168839 -0.0004797 0.5 0.9303 0.9144 0.9562 -1 1 2 1 1.927 0.0008543 0.000004107 0.009064 0.9904 1 -1.461e-7 0.0006061 0.005911 0.0007767 0.02787 3.075 0.3329 0.0009388 0.0006629 1 1 0.00185 0.02281 0.223 0.002023 0.02495 0.2439 json
t20_x7_u0_b182 20 7 0 182 sub(P,mod(lrg(P,R),D)) 161105 162695009 o2(x,o2(o2(x,x),x)) true 168847 168847 -0.0115 0.4888 0.9326 0.9174 0.9578 -1 1 2 1 1.869 0.001158 0.000003078 0.009713 0.9947 1 -8.931e-7 0.001266 0.009588 0.001066 0.03266 3.362 0.289 0.001265 0.00138 1 1 0.002234 0.02457 0.2264 0.002435 0.02678 0.2467 json
t20_x7_u0_b183 20 7 0 183 sub(P,mod(eql(P,R),D)) 161106 162695010 o2(x,o2(o2(x,x),x)) true 168855 168855 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_x7_u0_b184 20 7 0 184 sub(P,mod(min(P,R),D)) 161107 162695011 o2(x,o2(o2(x,x),x)) true 168863 168863 0.009946 0.5108 0.9314 0.9161 0.9571 -1 1 2 1 1.895 0.001462 0.00001137 0.0104 0.9846 1 0.000002019 0.002147 0.01251 0.001365 0.03694 3.554 0.5005 0.001608 0.002343 1 1 0.002491 0.0248 0.2257 0.002719 0.02708 0.2464 json
t20_x7_u0_b185 20 7 0 185 sub(P,mod(dot(P,R),D)) 161108 162695012 o2(x,o2(o2(x,x),x)) true 168871 168871 -0.001292 0.5008 0.9343 0.9191 0.9587 -1 1 2 1 1.884 0.001589 0.00002715 0.01128 0.9664 1 -3.614e-7 0.002654 0.01434 0.001489 0.03859 3.421 0.4513 0.001758 0.002887 1 1 0.002515 0.02562 0.2299 0.002736 0.02788 0.2501 json
t20_x7_u0_b186 20 7 0 186 sub(P,mod(dst(P,R),D)) 161109 162695013 o2(x,o2(o2(x,x),x)) true 168879 168879 -0.01741 0.4798 0.9378 0.9239 0.9612 -1 1 2 1 1.809 0.001749 0.000006651 0.01105 0.9924 1 4.912e-7 0.002755 0.0143 0.001634 0.04042 3.659 0.4499 0.0019 0.002982 1 1 0.002904 0.02729 0.2362 0.003143 0.02954 0.2557 json
t20_x7_u0_b187 20 7 0 187 sub(P,lrg(add(P,R),D)) 161110 162695014 o2(x,o2(o2(x,x),x)) true 168887 168887 -0.08715 0.4375 0.9036 0.8839 0.9401 -1 1 2 1 1.909 0.00163 0.000114 0.008988 0.8693 1 0.000005837 0.001974 0.005532 0.001664 0.04079 4.539 0.964 0.001973 0.002233 1 1 0.003265 0.03109 0.2118 0.003694 0.03517 0.2396 json
t20_x7_u0_b188 20 7 0 188 sub(P,lrg(sub(P,R),D)) 161111 162695015 o2(x,o2(o2(x,x),x)) true 168895 168895 -0.08948 0.4375 0.9198 0.9007 0.9491 -1 1 2 1 1.824 0.002515 0.0001585 0.009369 0.8815 1 -0.000006113 0.003972 0.00792 0.002588 0.05087 5.43 0.9994 0.002969 0.00441 1 1 0.004163 0.03393 0.231 0.004622 0.03767 0.2564 json
t20_x7_u0_b189 20 7 0 189 sub(P,lrg(mlt(P,R),D)) 161112 162695016 o2(x,o2(o2(x,x),x)) true 168903 168903 -0.06886 0.4552 0.9311 0.9205 0.9594 -1 1 2 1 1.526 0.0052 0.0001382 0.009086 0.9482 1 0.000009095 0.009816 0.01199 0.005256 0.0725 7.979 1 0.0058 0.01066 1 1 0.007998 0.04074 0.249 0.008689 0.04426 0.2705 json
t20_x7_u0_b190 20 7 0 190 sub(P,lrg(div(P,R),D)) 161113 162695017 o2(x,o2(o2(x,x),x)) true 168911 168911 -0.06588 0.4783 0.9341 0.9215 0.9599 -1 1 2 1 1.59 0.004392 0.0001765 0.009427 0.9227 1 0.00000927 0.008018 0.009653 0.004482 0.06695 7.101 1 0.004958 0.008702 1 1 0.006828 0.04159 0.2504 0.00741 0.04513 0.2717 json
t20_x7_u0_b191 20 7 0 191 sub(P,lrg(pow(P,R),D)) 161114 162695018 o2(x,o2(o2(x,x),x)) true 168919 168919 -0.1113 0.4375 0.9238 0.8995 0.9484 -1 1 2 1 1.81 0.002135 0.00005267 0.008427 0.9518 1 -0.000002853 0.003243 0.005073 0.002116 0.046 5.458 1 0.002432 0.003606 1 1 0.00371 0.02926 0.2266 0.004124 0.03253 0.252 json
t20_x7_u0_b192 20 7 0 192 sub(P,lrg(mod(P,R),D)) 161115 162695019 o2(x,o2(o2(x,x),x)) true 168927 168927 -0.07329 0.4375 0.9267 0.9202 0.9593 -1 1 2 1 1.375 0.006799 0.00005273 0.008293 0.9846 1 -2.761e-7 0.01332 0.01519 0.006782 0.08235 9.93 1 0.007445 0.01447 1 1 0.009475 0.04201 0.2415 0.0103 0.04565 0.2624 json
t20_x7_u0_b193 20 7 0 193 sub(P,lrg(lrg(P,R),D)) 161116 162695020 o2(x,o2(o2(x,x),x)) true 168935 168935 -0.1113 0.4375 0.9238 0.8995 0.9484 -1 1 2 1 1.81 0.002135 0.00005267 0.008427 0.9518 1 -0.000002853 0.003243 0.005073 0.002116 0.046 5.458 1 0.002432 0.003606 1 1 0.00371 0.02926 0.2266 0.004124 0.03253 0.252 json
t20_x7_u0_b194 20 7 0 194 sub(P,lrg(eql(P,R),D)) 161117 162695021 o2(x,o2(o2(x,x),x)) true 168943 168943 -0.0625 0.4375 0.9375 0.9336 0.9662 -1 1 2 1 1.272 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.008501 0.017 1 1 0.01053 0.04211 0.2526 0.01128 0.0451 0.2706 json
t20_x7_u0_b195 20 7 0 195 sub(P,lrg(min(P,R),D)) 161118 162695022 o2(x,o2(o2(x,x),x)) true 168951 168951 -0.05419 0.4552 0.9144 0.9016 0.9495 -1 1 2 1 1.779 0.003329 0.0001929 0.009586 0.8904 1 0.00001202 0.005741 0.009416 0.00343 0.05856 6.109 1 0.003906 0.006367 1 1 0.006001 0.03783 0.2313 0.006657 0.04196 0.2565 json
t20_x7_u0_b196 20 7 0 196 sub(P,lrg(dot(P,R),D)) 161119 162695023 o2(x,o2(o2(x,x),x)) true 168959 168959 -0.07512 0.4465 0.9149 0.8982 0.9477 -1 1 2 1 1.849 0.002129 0.0002051 0.009579 0.8242 1 0.000002877 0.002991 0.006391 0.002242 0.04735 4.943 0.9997 0.002599 0.00333 1 1 0.00464 0.03705 0.2343 0.005167 0.04125 0.2609 json
t20_x7_u0_b197 20 7 0 197 sub(P,lrg(dst(P,R),D)) 161120 162695024 o2(x,o2(o2(x,x),x)) true 168967 168967 -0.1248 0.4375 0.9377 0.9087 0.9533 -1 1 2 1 1.795 0.0007383 5.163e-7 0.007944 0.9986 1 7.884e-11 0.00009218 0.002013 0.000676 0.026 3.273 0.4415 0.000813 0.0001014 1 1 0.001915 0.02475 0.2351 0.002107 0.02724 0.2587 json
t20_x7_u0_b198 20 7 0 198 sub(P,eql(add(P,R),D)) 161121 162695025 o2(x,o2(o2(x,x),x)) true 168975 168975 -0.00002916 0.5 0.9375 0.9239 0.9612 -1 1 2 1 1.813 0.0007156 3.016e-7 0.007977 0.9992 1 -2.395e-7 0.00006237 0.001929 0.0006522 0.02554 3.201 0.3238 0.0007748 0.0000675 1 1 0.001851 0.02449 0.2344 0.002003 0.02651 0.2537 json
t20_x7_u0_b199 20 7 0 199 sub(P,eql(sub(P,R),D)) 161122 162695026 o2(x,o2(o2(x,x),x)) true 168983 168983 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_x7_u0_b200 20 7 0 200 sub(P,eql(mlt(P,R),D)) 161123 162695027 o2(x,o2(o2(x,x),x)) true 168991 168991 -0.00004007 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007211 1.509e-7 0.007968 0.9996 1 -1.171e-7 0.00007649 0.001967 0.0006578 0.02565 3.219 0.4319 0.0007805 0.00008278 1 1 0.001851 0.02449 0.2344 0.002003 0.02651 0.2537 json
t20_x8_u0_b0 20 8 0 0 add(P,add(add(P,R),R)) 161124 162735228 o2(x,o2(o2(x,x),x)) true 168999 168999 -0.001478 0.4974 0.9764 0.9673 0.9835 -1 1 2 1 1.478 0.002361 0.0006801 0.01107 0.5527 1 -0.0000308 0.0008848 0.005056 0.002918 0.05402 4.88 0.6047 0.003144 0.0009148 1 1 0.007737 0.07709 0.3698 0.007999 0.0797 0.3823 json
t20_x8_u0_b1 20 8 0 1 add(P,add(sub(P,R),R)) 161125 162735229 o2(x,o2(o2(x,x),x)) true 169007 169007 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json
t20_x8_u0_b2 20 8 0 2 add(P,add(mlt(P,R),R)) 161126 162735230 o2(x,o2(o2(x,x),x)) true 169015 169015 -0.05498 0.4754 0.9224 0.8929 0.9449 -1 1 2 1 2.182 0.002312 0.002311 0.02109 0.0002889 1 -0.00006445 0.001865 0.01061 0.004178 0.06464 3.065 0.6958 0.005177 0.002088 1 1 0.008422 0.08035 0.3387 0.009432 0.08998 0.3794 json
t20_x8_u0_b3 20 8 0 3 add(P,add(div(P,R),R)) 161127 162735231 o2(x,o2(o2(x,x),x)) true 169023 169023 -0.0804 0.4581 0.9252 0.8946 0.9458 -1 1 2 1 2.101 0.0587 0.07128 0.1097 -0.09679 1 -0.00006925 0.2535 0.1487 0.118 0.3435 3.132 2.828 0.1453 0.2833 1 1 0.1552 0.827 1.801 0.1735 0.9244 2.013 json
t20_x8_u0_b4 20 8 0 4 add(P,add(pow(P,R),R)) 161128 162735232 o2(x,o2(o2(x,x),x)) true 169031 169031 -0.09568 0.4531 0.9981 0.9872 0.9936 -1 1 2 1 1.054 0.0143 0.005288 0.01069 0.4601 1 6.007e-11 0.04025 0.02081 0.01948 0.1396 13.05 2.828 0.01984 0.04077 1 1 0.02698 0.1116 0.4195 0.02733 0.113 0.4249 json
t20_x8_u0_b5 20 8 0 5 add(P,add(mod(P,R),R)) 161129 162735233 o2(x,o2(o2(x,x),x)) true 169039 169039 0.002759 0.4975 0.9507 0.9308 0.9648 -1 1 2 1 1.871 0.001228 0.0002966 0.0104 0.6109 1 -0.00001865 0.0002824 0.003615 0.001415 0.03762 3.616 0.3249 0.001638 0.0003034 1 1 0.00379 0.04355 0.2764 0.004072 0.04679 0.2969 json
t20_x8_u0_b6 20 8 0 6 add(P,add(lrg(P,R),R)) 161130 162735234 o2(x,o2(o2(x,x),x)) true 169047 169047 0.04702 0.5267 0.9487 0.9297 0.9642 -1 1 2 1 1.782 0.001041 0.0001491 0.009008 0.7495 1 -0.00000341 0.0002561 0.003398 0.001109 0.03331 3.697 0.314 0.001281 0.0002755 1 1 0.002889 0.03275 0.2604 0.003108 0.03523 0.2801 json
t20_x8_u0_b7 20 8 0 7 add(P,add(eql(P,R),R)) 161131 162735235 o2(x,o2(o2(x,x),x)) true 169055 169055 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_b8 20 8 0 8 add(P,add(min(P,R),R)) 161132 162735236 o2(x,o2(o2(x,x),x)) true 169063 169063 -0.03682 0.4864 0.964 0.9488 0.9741 -1 1 2 1 1.648 0.001922 0.0006732 0.01156 0.4811 1 -0.00004104 0.0006726 0.004846 0.002464 0.04963 4.295 0.5071 0.002735 0.0007089 1 1 0.006201 0.06393 0.3244 0.006535 0.06737 0.3418 json
t20_x8_u0_b9 20 8 0 9 add(P,add(dot(P,R),R)) 161133 162735237 o2(x,o2(o2(x,x),x)) true 169071 169071 -0.07577 0.4602 0.9275 0.8977 0.9475 -1 1 2 1 2.108 0.01252 0.01584 0.05195 -0.1172 1 -0.0001341 0.0231 0.0398 0.02565 0.1601 3.083 2.002 0.03159 0.02574 1 1 0.04203 0.3245 0.8126 0.04682 0.3615 0.9052 json
t20_x8_u0_b10 20 8 0 10 add(P,add(dst(P,R),R)) 161134 162735238 o2(x,o2(o2(x,x),x)) true 169079 169079 0.8761 0.9477 0.9294 0.1392 0.3731 -1 1 2 1 1.247 0.001327 0.001785 0.01714 -0.1472 1 -0.00001891 0.0006851 0.006458 0.002816 0.05307 3.097 0.4329 0.02235 0.004921 1 1 0.006654 0.06971 0.1829 0.0478 0.5008 1.314 json
t20_x8_u0_b11 20 8 0 11 add(P,sub(add(P,R),R)) 161135 162735239 o2(x,o2(o2(x,x),x)) true 169087 169087 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json
t20_x8_u0_b12 20 8 0 12 add(P,sub(sub(P,R),R)) 161136 162735240 o2(x,o2(o2(x,x),x)) true 169095 169095 0.001383 0.5032 0.9735 0.9632 0.9815 -1 1 2 1 1.536 0.002301 0.0007009 0.01154 0.5331 1 0.00003167 0.0008679 0.005183 0.002869 0.05356 4.64 0.6458 0.003117 0.0009011 1 1 0.007622 0.07597 0.368 0.007913 0.07887 0.382 json
t20_x8_u0_b13 20 8 0 13 add(P,sub(mlt(P,R),R)) 161137 162735241 o2(x,o2(o2(x,x),x)) true 169103 169103 0.06674 0.5336 0.9183 0.8863 0.9415 -1 1 2 1 2.219 0.002351 0.002401 0.02107 -0.01062 1 0.00003244 0.001893 0.009944 0.004308 0.06564 3.115 0.8433 0.005362 0.002136 1 1 0.008986 0.08428 0.3411 0.01014 0.09509 0.3848 json
t20_x8_u0_b14 20 8 0 14 add(P,sub(div(P,R),R)) 161138 162735242 o2(x,o2(o2(x,x),x)) true 169111 169111 0.01283 0.5089 0.927 0.9027 0.9501 -1 1 2 1 2.108 0.05998 0.07153 0.1101 -0.08782 1 -0.00004951 0.2589 0.1508 0.1194 0.3456 3.138 2.828 0.1457 0.2868 1 1 0.1556 0.8293 1.856 0.1724 0.9187 2.056 json
t20_x8_u0_b15 20 8 0 15 add(P,sub(pow(P,R),R)) 161139 162735243 o2(x,o2(o2(x,x),x)) true 169119 169119 -0.1035 0.4476 0.9945 0.9823 0.9911 -1 1 2 1 1.103 0.01239 0.003577 0.00998 0.552 1 6.758e-11 0.03221 0.01749 0.01588 0.126 12.63 2.828 0.01626 0.03279 1 1 0.0223 0.09653 0.384 0.0227 0.09827 0.3909 json
t20_x8_u0_b16 20 8 0 16 add(P,sub(mod(P,R),R)) 161140 162735244 o2(x,o2(o2(x,x),x)) true 169127 169127 -0.00279 0.5037 0.9468 0.9256 0.9621 -1 1 2 1 1.922 0.001156 0.0003202 0.01065 0.5662 1 0.00001926 0.0002559 0.003613 0.001363 0.03692 3.467 0.3451 0.001595 0.0002764 1 1 0.003674 0.04257 0.2746 0.003969 0.04599 0.2966 json
t20_x8_u0_b17 20 8 0 17 add(P,sub(lrg(P,R),R)) 161141 162735245 o2(x,o2(o2(x,x),x)) true 169135 169135 0.03695 0.513 0.97 0.9565 0.978 -1 1 2 1 1.57 0.001709 0.0004646 0.01003 0.5724 1 0.00001718 0.0004567 0.003639 0.002072 0.04551 4.536 0.4501 0.002272 0.0004774 1 1 0.005539 0.05913 0.3365 0.005791 0.06182 0.3518 json
t20_x8_u0_b18 20 8 0 18 add(P,sub(eql(P,R),R)) 161142 162735246 o2(x,o2(o2(x,x),x)) true 169143 169143 -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_b19 20 8 0 19 add(P,sub(min(P,R),R)) 161143 162735247 o2(x,o2(o2(x,x),x)) true 169151 169151 -0.02263 0.487 0.954 0.9416 0.9704 -1 1 2 1 1.686 0.00103 0.00003851 0.008258 0.9279 1 0.000006139 0.0001778 0.002713 0.001001 0.03164 3.831 0.2978 0.001135 0.0001888 1 1 0.002734 0.03188 0.2658 0.002903 0.03386 0.2822 json
t20_x8_u0_b20 20 8 0 20 add(P,sub(dot(P,R),R)) 161144 162735248 o2(x,o2(o2(x,x),x)) true 169159 169159 0.02363 0.5107 0.9343 0.9107 0.9543 -1 1 2 1 2.046 0.01261 0.01592 0.05142 -0.116 1 -0.0001473 0.02297 0.03899 0.02589 0.1609 3.13 2.028 0.03133 0.02522 1 1 0.04165 0.3236 0.7293 0.04574 0.3553 0.8008 json
t20_x8_u0_b21 20 8 0 21 add(P,sub(dst(P,R),R)) 161145 162735249 o2(x,o2(o2(x,x),x)) true 169167 169167 0.8857 1 0.8857 0.0711 0.2666 0.002289 1 0.9977 1 1.353 0.0001277 0.000212 0.00576 -0.2483 1 0.000001602 0.00008794 0.001989 0.0003063 0.0175 3.038 0.2246 0.004778 0.001237 1 1 0.00094 0.00991 0.05186 0.01322 0.1394 0.7294 json
t20_x8_u0_b22 20 8 0 22 add(P,mlt(add(P,R),R)) 161146 162735250 o2(x,o2(o2(x,x),x)) true 169175 169175 0.08338 0.5457 0.9142 0.8797 0.9379 -1 1 2 1 2.239 0.00191 0.00186 0.01898 0.01316 1 0.000001203 0.001429 0.008771 0.00341 0.0584 3.076 0.7384 0.004286 0.001625 1 1 0.007022 0.06767 0.2965 0.007982 0.07692 0.3371 json
t20_x8_u0_b23 20 8 0 23 add(P,mlt(sub(P,R),R)) 161147 162735251 o2(x,o2(o2(x,x),x)) true 169183 169183 -0.0708 0.4607 0.9172 0.8846 0.9406 -1 1 2 1 2.25 0.001761 0.001728 0.01841 0.009587 1 -0.0000292 0.001386 0.009049 0.003148 0.05611 3.048 0.629 0.003943 0.001567 1 1 0.005863 0.05781 0.2841 0.006628 0.06535 0.3212 json
t20_x8_u0_b24 20 8 0 24 add(P,mlt(mlt(P,R),R)) 161148 162735252 o2(x,o2(o2(x,x),x)) true 169191 169191 0.000488 0.5 0.9473 0.9372 0.9681 -1 1 2 1 1.666 0.0009956 0.000008097 0.007979 0.9839 1 -2.315e-8 0.0001605 0.002533 0.0009404 0.03067 3.843 0.2243 0.001071 0.0001712 1 1 0.002436 0.02843 0.25 0.002599 0.03033 0.2668 json
t20_x8_u0_b25 20 8 0 25 add(P,mlt(div(P,R),R)) 161149 162735253 o2(x,o2(o2(x,x),x)) true 169199 169199 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 5.744e-19 0.007937 1 1 3.754e-12 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json
t20_x8_u0_b26 20 8 0 26 add(P,mlt(pow(P,R),R)) 161150 162735254 o2(x,o2(o2(x,x),x)) true 169207 169207 -0.1031 0.4531 0.9906 0.9778 0.9889 -1 1 2 1 1.165 0.01174 0.003566 0.01031 0.5341 1 -0.000007084 0.03113 0.01826 0.01521 0.1233 11.96 2.828 0.01566 0.03184 1 1 0.0208 0.09077 0.3798 0.02128 0.09283 0.3884 json
t20_x8_u0_b27 20 8 0 27 add(P,mlt(mod(P,R),R)) 161151 162735255 o2(x,o2(o2(x,x),x)) true 169215 169215 0.0007892 0.5 0.9367 0.9224 0.9604 -1 1 2 1 1.867 0.0007343 0.00001142 0.008114 0.9694 1 -7.331e-7 0.00005859 0.002154 0.0006799 0.02608 3.214 0.143 0.0008084 0.00006351 1 1 0.001898 0.02439 0.2324 0.002057 0.02644 0.2519 json
t20_x8_u0_b28 20 8 0 28 add(P,mlt(lrg(P,R),R)) 161152 162735256 o2(x,o2(o2(x,x),x)) true 169223 169223 -0.02348 0.4833 0.9498 0.9325 0.9656 -1 1 2 1 1.833 0.00103 0.0001433 0.009015 0.7558 1 -0.00001877 0.0001768 0.002631 0.001092 0.03305 3.666 0.312 0.001259 0.0001896 1 1 0.002852 0.03383 0.2538 0.003058 0.03628 0.2722 json
t20_x8_u0_b29 20 8 0 29 add(P,mlt(eql(P,R),R)) 161153 162735257 o2(x,o2(o2(x,x),x)) true 169231 169231 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_b30 20 8 0 30 add(P,mlt(min(P,R),R)) 161154 162735258 o2(x,o2(o2(x,x),x)) true 169239 169239 0.03755 0.5155 0.9335 0.911 0.9544 -1 1 2 1 2.022 0.001203 0.0005437 0.0125 0.3775 1 0.0000169 0.0005747 0.005421 0.00159 0.03987 3.19 0.4797 0.001918 0.0006309 1 1 0.003735 0.03849 0.2546 0.0041 0.04225 0.2795 json
t20_x8_u0_b31 20 8 0 31 add(P,mlt(dot(P,R),R)) 161155 162735259 o2(x,o2(o2(x,x),x)) true 169247 169247 0.02838 0.512 0.9666 0.9547 0.9771 -1 1 2 1 1.611 0.002195 0.001065 0.0115 0.3466 1 -0.00002842 0.001576 0.005613 0.003128 0.05593 4.865 1.233 0.003415 0.001651 1 1 0.005453 0.05977 0.3117 0.005712 0.0626 0.3265 json
t20_x8_u0_b32 20 8 0 32 add(P,mlt(dst(P,R),R)) 161156 162735260 o2(x,o2(o2(x,x),x)) true 169255 169255 0.007928 0.508 0.9087 0.8771 0.9365 -1 1 2 1 2.351 0.01348 0.01808 0.06168 -0.1458 1 0.000007071 0.02169 0.04341 0.02773 0.1665 2.7 1.388 0.03598 0.02473 1 1 0.04737 0.3569 0.8462 0.05401 0.4069 0.9649 json
t20_x8_u0_b33 20 8 0 33 add(P,div(add(P,R),R)) 161157 162735261 o2(x,o2(o2(x,x),x)) true 169263 169263 0.1136 0.5607 0.9425 0.9099 0.9539 -1 1 2 1 1.904 0.05835 0.07054 0.1061 -0.09463 1 -0.00004112 0.2549 0.1472 0.1176 0.3429 3.231 2.828 0.1416 0.2801 1 1 0.152 0.8027 1.789 0.1671 0.8822 1.966 json
t20_x8_u0_b34 20 8 0 34 add(P,div(sub(P,R),R)) 161158 162735262 o2(x,o2(o2(x,x),x)) true 169271 169271 -0.1826 0.4046 0.9416 0.8888 0.9428 -1 1 2 1 1.913 0.05854 0.07119 0.1073 -0.09745 1 -0.00002808 0.2562 0.1473 0.1183 0.344 3.206 2.828 0.146 0.2882 1 1 0.153 0.8112 1.786 0.1721 0.9127 2.009 json
t20_x8_u0_b35 20 8 0 35 add(P,div(mlt(P,R),R)) 161159 162735263 o2(x,o2(o2(x,x),x)) true 169279 169279 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 5.744e-19 0.007937 1 1 3.754e-12 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json
t20_x8_u0_b36 20 8 0 36 add(P,div(div(P,R),R)) 161160 162735264 o2(x,o2(o2(x,x),x)) true 169287 169287 -0.0005485 0.5 0.9741 0.9698 0.9848 -1 1 2 1 1.339 0.002991 0.0001652 0.008169 0.8953 1 2.023e-7 0.003646 0.007463 0.003088 0.05557 6.802 1.084 0.003254 0.003759 1 1 0.006967 0.05352 0.3108 0.007183 0.05519 0.3204 json
t20_x8_u0_b37 20 8 0 37 add(P,div(pow(P,R),R)) 161161 162735265 o2(x,o2(o2(x,x),x)) true 169295 169295 -0.2173 0.3937 0.9774 0.923 0.9607 -1 1 2 1 1.374 0.01971 0.01601 0.03134 0.1036 1 0.0001177 0.06546 0.04192 0.03472 0.1863 5.946 2.828 0.03869 0.07092 1 1 0.04319 0.2331 0.5952 0.04679 0.2526 0.6448 json
t20_x8_u0_b38 20 8 0 38 add(P,div(mod(P,R),R)) 161162 162735266 o2(x,o2(o2(x,x),x)) true 169303 169303 0.002105 0.4997 0.9224 0.9053 0.9514 -1 1 2 1 1.968 0.0007889 0.000171 0.00937 0.6438 1 -0.000001721 0.0001579 0.002997 0.000872 0.02953 3.151 0.212 0.00106 0.0001744 1 1 0.002447 0.02836 0.2201 0.002703 0.03132 0.2432 json
t20_x8_u0_b39 20 8 0 39 add(P,div(lrg(P,R),R)) 161163 162735267 o2(x,o2(o2(x,x),x)) true 169311 169311 -0.2027 0.3943 0.9443 0.8866 0.9416 -1 1 2 1 1.819 0.01285 0.01593 0.03906 -0.1069 1 0.0004122 0.04144 0.03623 0.02727 0.1651 4.228 2.828 0.03247 0.04674 1 1 0.04086 0.2765 0.6796 0.04608 0.3119 0.7665 json
t20_x8_u0_b40 20 8 0 40 add(P,div(eql(P,R),R)) 161164 162735268 o2(x,o2(o2(x,x),x)) true 169319 169319 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_b41 20 8 0 41 add(P,div(min(P,R),R)) 161165 162735269 o2(x,o2(o2(x,x),x)) true 169327 169327 0.4046 0.7099 0.9526 0.7757 0.8807 -1 1 2 1 1.608 0.02891 0.03368 0.05519 -0.07629 1 -0.00001661 0.1235 0.07237 0.0595 0.2439 4.42 2.828 0.08069 0.1592 1 1 0.07451 0.3978 0.9191 0.09606 0.5129 1.185 json
t20_x8_u0_b42 20 8 0 42 add(P,div(dot(P,R),R)) 161166 162735270 o2(x,o2(o2(x,x),x)) true 169335 169335 -0.02666 0.4863 0.9761 0.9679 0.9838 -1 1 2 1 1.439 0.02262 0.02442 0.04087 -0.0382 1 0.000311 0.0873 0.05446 0.04539 0.213 5.213 2.828 0.0486 0.0902 1 1 0.0533 0.288 0.7697 0.05506 0.2976 0.7951 json
t20_x8_u0_b43 20 8 0 43 add(P,div(dst(P,R),R)) 161167 162735271 o2(x,o2(o2(x,x),x)) true 169343 169343 -0.05426 0.473 0.9766 0.9662 0.983 -1 1 2 1 1.431 0.08117 0.09449 0.1161 -0.0758 1 -0.00002613 0.3755 0.1906 0.1623 0.4029 3.471 2.828 0.1818 0.3887 1 1 0.1968 0.9285 1.924 0.2036 0.961 1.991 json
t20_x8_u0_b44 20 8 0 44 add(P,pow(add(P,R),R)) 161168 162735272 o2(x,o2(o2(x,x),x)) true 169351 169351 -0.09465 0.4531 0.9991 0.99 0.995 -1 1 2 1 1.036 0.01491 0.005702 0.0108 0.4467 1 1.201e-10 0.04248 0.02138 0.0205 0.1432 13.25 2.828 0.02082 0.04291 1 1 0.02822 0.1155 0.4269 0.0285 0.1167 0.4312 json
t20_x8_u0_b45 20 8 0 45 add(P,pow(sub(P,R),R)) 161169 162735273 o2(x,o2(o2(x,x),x)) true 169359 169359 -0.07813 0.4609 1 0.9946 0.9973 -1 1 2 1 0.9956 0.01587 0.003023 0.00943 0.68 1 0 0.03855 0.0189 0.0188 0.1371 14.54 2.828 0.019 0.03876 1 1 0.02637 0.1055 0.4069 0.02651 0.1061 0.4091 json
t20_x8_u0_b46 20 8 0 46 add(P,pow(mlt(P,R),R)) 161170 162735274 o2(x,o2(o2(x,x),x)) true 169367 169367 -0.9783 0.01172 0.993 0.03401 0.1844 -1 1 2 1 0.1997 0.00378 0.003882 0.005897 -0.01338 1 3.004e-11 0.01583 0.009739 0.007627 0.08733 14.81 2.828 0.2253 0.4654 1 1 0.004299 0.01974 0.04652 0.1264 0.5804 1.368 json
t20_x8_u0_b47 20 8 0 47 add(P,pow(div(P,R),R)) 161171 162735275 o2(x,o2(o2(x,x),x)) true 169375 169375 -0.9823 0.007813 0.9954 0.02897 0.1702 -1 1 2 1 0.1505 0.002812 0.003432 0.004603 -0.09926 1 -3.004e-11 0.01296 0.008003 0.006222 0.07888 17.14 2.828 0.2156 0.4473 1 1 0.001842 0.009175 0.0299 0.06361 0.3167 1.032 json
t20_x8_u0_b48 20 8 0 48 add(P,pow(pow(P,R),R)) 161172 162735276 o2(x,o2(o2(x,x),x)) true 169383 169383 -0.02152 0.5 0.9785 0.9739 0.9869 -1 1 2 1 1.244 0.004625 0 0.007937 1 1 -4.731e-10 0.007971 0.009631 0.00456 0.06753 8.509 1.001 0.004749 0.008185 1 1 0.006981 0.05009 0.3027 0.007168 0.05143 0.3108 json
t20_x8_u0_b49 20 8 0 49 add(P,pow(mod(P,R),R)) 161173 162735277 o2(x,o2(o2(x,x),x)) true 169391 169391 -0.09935 0.4531 0.9944 0.9835 0.9917 -1 1 2 1 1.079 0.01302 0.004362 0.01034 0.4979 1 4.505e-11 0.03541 0.01922 0.01728 0.1315 12.71 2.828 0.01767 0.03601 1 1 0.02414 0.1024 0.399 0.02454 0.1041 0.4057 json
t20_x8_u0_b50 20 8 0 50 add(P,pow(lrg(P,R),R)) 161174 162735278 o2(x,o2(o2(x,x),x)) true 169399 169399 0.0534 0.53 0.9831 0.9753 0.9876 -1 1 2 1 1.293 0.01861 0.01309 0.02058 0.1743 1 7.093e-7 0.0656 0.0346 0.03125 0.1768 8.59 2.828 0.0325 0.06726 1 1 0.03293 0.1525 0.4912 0.03376 0.1564 0.5036 json
t20_x8_u0_b51 20 8 0 51 add(P,pow(eql(P,R),R)) 161175 162735279 o2(x,o2(o2(x,x),x)) true 169407 169407 -0.8672 0.06641 0.9961 0.2432 0.4931 -1 1 2 1 0.4225 0.03028 0.03113 0.03117 -0.01391 1 3.754e-12 0.1303 0.06208 0.06044 0.2459 7.887 2.828 0.2525 0.5359 1 1 0.05907 0.2433 0.4885 0.2429 1 2.009 json
t20_x8_u0_b52 20 8 0 52 add(P,pow(min(P,R),R)) 161176 162735280 o2(x,o2(o2(x,x),x)) true 169415 169415 -0.9858 0.007813 0.9986 0.02661 0.1631 -1 1 2 1 0.07741 0.002309 0.003206 0.003188 -0.1627 1 3.004e-11 0.01153 0.006025 0.005505 0.07419 23.28 2.828 0.2073 0.4333 1 1 0.000631 0.004424 0.02345 0.02371 0.1663 0.8813 json
t20_x8_u0_b53 20 8 0 53 add(P,pow(dot(P,R),R)) 161177 162735281 o2(x,o2(o2(x,x),x)) true 169423 169423 -0.9219 0.03906 1 0.1501 0.3874 -1 1 2 1 0.238 0.01688 0.01285 0.01479 0.1356 1 0 0.06248 0.02973 0.02952 0.1718 11.62 2.828 0.1981 0.4164 1 1 0.03429 0.1397 0.3918 0.2285 0.9307 2.611 json
t20_x8_u0_b54 20 8 0 54 add(P,pow(dst(P,R),R)) 161178 162735282 o2(x,o2(o2(x,x),x)) true 169431 169431 0.2253 0.6177 0.9292 0.8542 0.9242 -1 1 2 1 2.043 0.004007 0.004764 0.02679 -0.08632 1 0.000009339 0.003664 0.0137 0.008056 0.08976 3.351 0.9032 0.01027 0.004289 1 1 0.01582 0.1378 0.4282 0.01852 0.1614 0.5013 json
t20_x8_u0_b55 20 8 0 55 add(P,mod(add(P,R),R)) 161179 162735283 o2(x,o2(o2(x,x),x)) true 169439 169439 -0.008836 0.4938 0.9533 0.9393 0.9692 -1 1 2 1 1.732 0.0009962 0.0000894 0.008621 0.8353 1 -0.000001148 0.000107 0.002259 0.00101 0.03179 3.687 0.2633 0.001156 0.0001139 1 1 0.002942 0.0363 0.2694 0.003132 0.03865 0.2869 json
t20_x8_u0_b56 20 8 0 56 add(P,mod(sub(P,R),R)) 161180 162735284 o2(x,o2(o2(x,x),x)) true 169447 169447 0.009388 0.5064 0.9532 0.9392 0.9691 -1 1 2 1 1.728 0.0009658 0.0001027 0.008676 0.8077 1 0.000001913 0.00009859 0.002255 0.0009935 0.03152 3.633 0.2402 0.001138 0.000105 1 1 0.002887 0.03612 0.2704 0.003074 0.03846 0.2879 json
t20_x8_u0_b57 20 8 0 57 add(P,mod(mlt(P,R),R)) 161181 162735285 o2(x,o2(o2(x,x),x)) true 169455 169455 -0.00278 0.4999 0.9342 0.9198 0.9591 -1 1 2 1 1.856 0.0007899 0.00005445 0.00837 0.871 1 -0.000006832 0.0001093 0.00239 0.000774 0.02782 3.324 0.215 0.000918 0.0001188 1 1 0.002091 0.02545 0.2306 0.002274 0.02767 0.2506 json
t20_x8_u0_b58 20 8 0 58 add(P,mod(div(P,R),R)) 161182 162735286 o2(x,o2(o2(x,x),x)) true 169463 169463 -0.001047 0.5 0.9363 0.9216 0.96 -1 1 2 1 1.872 0.0007657 0.00002619 0.008238 0.9338 1 -0.00000399 0.00008541 0.00233 0.0007244 0.02692 3.267 0.1703 0.0008592 0.00009267 1 1 0.002016 0.02489 0.2326 0.002188 0.02701 0.2523 json
t20_x8_u0_b59 20 8 0 59 add(P,mod(pow(P,R),R)) 161183 162735287 o2(x,o2(o2(x,x),x)) true 169471 169471 -0.1009 0.4531 0.9929 0.9813 0.9906 -1 1 2 1 1.106 0.01296 0.003779 0.01015 0.5485 1 7.509e-12 0.03422 0.01872 0.01664 0.129 12.71 2.828 0.01706 0.03487 1 1 0.02295 0.09587 0.387 0.02339 0.0977 0.3944 json
t20_x8_u0_b60 20 8 0 60 add(P,mod(mod(P,R),R)) 161184 162735288 o2(x,o2(o2(x,x),x)) true 169479 169479 0.0003382 0.5 0.9433 0.932 0.9654 -1 1 2 1 1.726 0.0008664 0.000003424 0.007957 0.9921 1 3.822e-7 0.00009018 0.002164 0.0008069 0.02841 3.57 0.1657 0.0009333 0.00009676 1 1 0.002211 0.0271 0.2446 0.002372 0.02907 0.2624 json
t20_x8_u0_b61 20 8 0 61 add(P,mod(lrg(P,R),R)) 161185 162735289 o2(x,o2(o2(x,x),x)) true 169487 169487 0.009517 0.5112 0.9433 0.9292 0.964 -1 1 2 1 1.786 0.0007947 0.00001005 0.00807 0.975 1 1.761e-7 0.00006056 0.002018 0.0007395 0.02719 3.37 0.1583 0.0008661 0.00006517 1 1 0.00208 0.02647 0.242 0.002239 0.02849 0.2604 json
t20_x8_u0_b62 20 8 0 62 add(P,mod(eql(P,R),R)) 161186 162735290 o2(x,o2(o2(x,x),x)) true 169495 169495 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_b63 20 8 0 63 add(P,mod(min(P,R),R)) 161187 162735291 o2(x,o2(o2(x,x),x)) true 169503 169503 -0.01992 0.4877 0.9456 0.9302 0.9645 -1 1 2 1 1.807 0.0009047 0.00009704 0.008718 0.8063 1 -0.000007939 0.0001124 0.002352 0.000926 0.03043 3.49 0.2488 0.001077 0.0001209 1 1 0.002617 0.03239 0.2533 0.002814 0.03482 0.2723 json
t20_x8_u0_b64 20 8 0 64 add(P,mod(dot(P,R),R)) 161188 162735292 o2(x,o2(o2(x,x),x)) true 169511 169511 -0.0003263 0.4974 0.9447 0.9283 0.9635 -1 1 2 1 1.84 0.0008662 0.00007557 0.008694 0.8395 1 0.000005909 0.0001001 0.002366 0.0008666 0.02944 3.386 0.2367 0.001015 0.0001079 1 1 0.002407 0.02981 0.2481 0.002592 0.03211 0.2673 json
t20_x8_u0_b65 20 8 0 65 add(P,mod(dst(P,R),R)) 161189 162735293 o2(x,o2(o2(x,x),x)) true 169519 169519 0.03522 0.5237 0.9382 0.9156 0.9569 -1 1 2 1 1.959 0.0007264 0.00004109 0.008441 0.8929 1 -0.00000291 0.00009314 0.002516 0.0006964 0.02639 3.126 0.187 0.0008382 0.0001017 1 1 0.001972 0.02456 0.2316 0.002153 0.02682 0.253 json
t20_x8_u0_b66 20 8 0 66 add(P,lrg(add(P,R),R)) 161190 162735294 o2(x,o2(o2(x,x),x)) true 169527 169527 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_b67 20 8 0 67 add(P,lrg(sub(P,R),R)) 161191 162735295 o2(x,o2(o2(x,x),x)) true 169535 169535 0.04771 0.5226 0.9565 0.9424 0.9708 -1 1 2 1 1.664 0.001089 0.0002013 0.009309 0.6879 1 0.00001409 0.0001405 0.002621 0.001203 0.03469 3.726 0.2338 0.001369 0.000149 1 1 0.003398 0.042 0.2871 0.003605 0.04456 0.3046 json
t20_x8_u0_b68 20 8 0 68 add(P,lrg(mlt(P,R),R)) 161192 162735296 o2(x,o2(o2(x,x),x)) true 169543 169543 0.06158 0.5292 0.9394 0.9206 0.9595 -1 1 2 1 1.857 0.0008782 0.0002538 0.009973 0.5516 1 0.00001667 0.00008412 0.002418 0.001032 0.03213 3.222 0.2338 0.001229 0.00009137 1 1 0.002926 0.03816 0.2684 0.003178 0.04145 0.2915 json
t20_x8_u0_b69 20 8 0 69 add(P,lrg(div(P,R),R)) 161193 162735297 o2(x,o2(o2(x,x),x)) true 169551 169551 0.06445 0.5292 0.9422 0.9241 0.9613 -1 1 2 1 1.807 0.0009572 0.0002558 0.009885 0.5782 1 0.00001578 0.0001293 0.002659 0.001116 0.0334 3.379 0.2338 0.001313 0.00014 1 1 0.0031 0.03914 0.2718 0.003355 0.04235 0.2941 json
t20_x8_u0_b70 20 8 0 70 add(P,lrg(pow(P,R),R)) 161194 162735298 o2(x,o2(o2(x,x),x)) true 169559 169559 0.1022 0.5456 0.9147 0.8903 0.9436 -1 1 2 1 1.909 0.0008052 0.00009554 0.008732 0.7879 1 0.000003562 0.0001018 0.002507 0.0008245 0.02871 3.288 0.2265 0.001012 0.0001143 1 1 0.002354 0.02847 0.2183 0.002644 0.03197 0.2452 json
t20_x8_u0_b71 20 8 0 71 add(P,lrg(mod(P,R),R)) 161195 162735299 o2(x,o2(o2(x,x),x)) true 169567 169567 0.06404 0.5292 0.9418 0.9239 0.9612 -1 1 2 1 1.81 0.0009419 0.000259 0.009869 0.5687 1 0.00001453 0.0001299 0.002631 0.001104 0.03323 3.367 0.2338 0.0013 0.0001406 1 1 0.003125 0.03919 0.2718 0.003382 0.04241 0.2942 json
t20_x8_u0_b72 20 8 0 72 add(P,lrg(lrg(P,R),R)) 161196 162735300 o2(x,o2(o2(x,x),x)) true 169575 169575 0.06615 0.5292 0.9439 0.9263 0.9624 -1 1 2 1 1.776 0.001007 0.000244 0.009755 0.6098 1 0.00001453 0.0001471 0.002812 0.001155 0.03399 3.484 0.2338 0.00135 0.0001589 1 1 0.003208 0.03939 0.2736 0.003464 0.04253 0.2954 json
t20_x8_u0_b73 20 8 0 73 add(P,lrg(eql(P,R),R)) 161197 162735301 o2(x,o2(o2(x,x),x)) true 169583 169583 0.06404 0.5292 0.9418 0.9239 0.9612 -1 1 2 1 1.81 0.0009419 0.000259 0.009869 0.5687 1 0.00001453 0.0001299 0.002631 0.001104 0.03323 3.367 0.2338 0.0013 0.0001406 1 1 0.003125 0.03919 0.2718 0.003382 0.04241 0.2942 json
t20_x8_u0_b74 20 8 0 74 add(P,lrg(min(P,R),R)) 161198 162735302 o2(x,o2(o2(x,x),x)) true 169591 169591 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_b75 20 8 0 75 add(P,lrg(dot(P,R),R)) 161199 162735303 o2(x,o2(o2(x,x),x)) true 169599 169599 0.05401 0.5212 0.9368 0.9197 0.959 -1 1 2 1 1.827 0.000981 0.0002892 0.01013 0.5447 1 0.000008822 0.0001759 0.003089 0.001168 0.03417 3.374 0.2338 0.001381 0.0001912 1 1 0.003257 0.03924 0.2633 0.003541 0.04267 0.2863 json