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_x19_u0_b165 20 19 0 165 sub(P,pow(add(R,P),D)) 163500 163179804 o2(x,o2(o2(x,x),x)) true 16407 16407 -0.1448 0.4324 0.9621 0.933 0.9659 -1 1 2 1 1.517 0.003511 0.0007398 0.009478 0.6519 1 0.000002219 0.007602 0.009566 0.004162 0.06451 6.807 1.414 0.004556 0.008147 1 1 0.006375 0.04261 0.2877 0.006833 0.04567 0.3084 json
t20_x19_u0_b166 20 19 0 166 sub(P,pow(sub(R,P),D)) 163501 163179805 o2(x,o2(o2(x,x),x)) true 16415 16415 -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_x19_u0_b167 20 19 0 167 sub(P,pow(mlt(R,P),D)) 163502 163179806 o2(x,o2(o2(x,x),x)) true 16423 16423 -0.974 0.003906 0.9818 0.03203 0.179 -1 1 2 1 0.2073 0.003504 0.003118 0.00564 0.05835 1 3.004e-11 0.01392 0.01076 0.006588 0.08117 14.39 2 0.2068 0.4348 1 1 0.003529 0.0134 0.04629 0.1102 0.4185 1.446 json
t20_x19_u0_b168 20 19 0 168 sub(P,pow(div(R,P),D)) 163503 163179807 o2(x,o2(o2(x,x),x)) true 16431 16431 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.001008 0.001764 0.001386 -0.2727 1 0 0.005795 0.002771 0.002769 0.05262 37.97 2 0.1781 0.3723 1 1 0 0 0.0133 0 0 0.8543 json
t20_x19_u0_b169 20 19 0 169 sub(P,pow(pow(R,P),D)) 163504 163179808 o2(x,o2(o2(x,x),x)) true 16439 16439 -0.9838 0.003906 0.9916 0.0216 0.147 -1 1 2 1 0.2003 0.002342 0.002264 0.004486 0.01699 1 6.007e-11 0.009535 0.006872 0.004589 0.06774 15.1 2 0.2133 0.4415 1 1 0.001797 0.007105 0.0252 0.08319 0.329 1.167 json
t20_x19_u0_b170 20 19 0 170 sub(P,pow(mod(R,P),D)) 163505 163179809 o2(x,o2(o2(x,x),x)) true 16447 16447 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.001008 0.001764 0.001386 -0.2727 1 0 0.005795 0.002771 0.002769 0.05262 37.97 2 0.1781 0.3723 1 1 0 0 0.0133 0 0 0.8543 json
t20_x19_u0_b171 20 19 0 171 sub(P,pow(lrg(R,P),D)) 163506 163179810 o2(x,o2(o2(x,x),x)) true 16455 16455 -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_x19_u0_b172 20 19 0 172 sub(P,pow(eql(R,P),D)) 163507 163179811 o2(x,o2(o2(x,x),x)) true 16463 16463 -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_x19_u0_b173 20 19 0 173 sub(P,pow(min(R,P),D)) 163508 163179812 o2(x,o2(o2(x,x),x)) true 16471 16471 -0.9884 0.003906 0.9962 0.01909 0.1382 -1 1 2 1 0.07687 0.001508 0.002229 0.0024 -0.1929 1 3.004e-11 0.007859 0.004756 0.003729 0.06107 25.44 2 0.1957 0.4116 1 1 0.0001966 0.001388 0.01657 0.0103 0.07273 0.8678 json
t20_x19_u0_b174 20 19 0 174 sub(P,pow(dot(R,P),D)) 163509 163179813 o2(x,o2(o2(x,x),x)) true 16479 16479 -0.9497 0.02399 0.9846 0.07946 0.2819 -1 1 2 1 0.379 0.01038 0.008635 0.01288 0.09176 1 0.000003407 0.03977 0.02171 0.01884 0.1372 10.65 2.828 0.2393 0.5005 1 1 0.0191 0.07731 0.1789 0.2404 0.9729 2.252 json
t20_x19_u0_b175 20 19 0 175 sub(P,pow(dst(R,P),D)) 163510 163179814 o2(x,o2(o2(x,x),x)) true 16487 16487 -0.1399 0.4276 0.9389 0.9043 0.9509 -1 1 2 1 1.851 0.00171 0.000007558 0.01254 0.9912 1 -0.000001277 0.0003947 0.005998 0.001561 0.03951 3.15 0.2644 0.0019 0.0004364 1 1 0.003685 0.03442 0.2378 0.004075 0.03806 0.2629 json
t20_x19_u0_b176 20 19 0 176 sub(P,mod(add(R,P),D)) 163511 163179815 o2(x,o2(o2(x,x),x)) true 16495 16495 0.0003678 0.5019 0.928 0.9104 0.9541 -1 1 2 1 2.012 0.001725 0.00001567 0.0126 0.982 1 0.000002494 0.003082 0.01703 0.001583 0.03978 3.157 0.438 0.001912 0.003385 1 1 0.002617 0.0238 0.2186 0.002874 0.02614 0.2402 json
t20_x19_u0_b177 20 19 0 177 sub(P,mod(sub(R,P),D)) 163512 163179816 o2(x,o2(o2(x,x),x)) true 16503 16503 0.0007909 0.501 0.9456 0.9341 0.9665 -1 1 2 1 1.725 0.001626 0.00001676 0.009736 0.9796 1 0.000002424 0.002143 0.01101 0.001547 0.03933 4.04 0.4164 0.001758 0.002294 1 1 0.003009 0.02843 0.25 0.003221 0.03043 0.2676 json
t20_x19_u0_b178 20 19 0 178 sub(P,mod(mlt(R,P),D)) 163513 163179817 o2(x,o2(o2(x,x),x)) true 16511 16511 -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_x19_u0_b179 20 19 0 179 sub(P,mod(div(R,P),D)) 163514 163179818 o2(x,o2(o2(x,x),x)) true 16519 16519 -0.1249 0.4375 0.9996 0.9837 0.9918 -1 1 2 1 1.005 0.01579 6.671e-7 0.008376 0.9999 1 1.502e-11 0.03162 0.01658 0.01572 0.1254 14.97 2 0.01605 0.03215 1 1 0.02097 0.08399 0.3366 0.02132 0.08539 0.3422 json
t20_x19_u0_b180 20 19 0 180 sub(P,mod(pow(R,P),D)) 163515 163179819 o2(x,o2(o2(x,x),x)) true 16527 16527 -0.9586 0.01656 0.981 0.05822 0.2413 -1 1 2 1 0.3675 0.007528 0.005206 0.01067 0.1824 1 -2.027e-10 0.02662 0.01862 0.01262 0.1123 10.52 2.826 0.2187 0.4571 1 1 0.01013 0.03904 0.1075 0.174 0.6705 1.847 json
t20_x19_u0_b181 20 19 0 181 sub(P,mod(mod(R,P),D)) 163516 163179820 o2(x,o2(o2(x,x),x)) true 16535 16535 -0.1248 0.4375 0.9995 0.9834 0.9917 -1 1 2 1 1.017 0.01581 7.97e-7 0.008585 0.9999 1 5.688e-7 0.0317 0.01697 0.01573 0.1254 14.61 2 0.01608 0.03223 1 1 0.02098 0.08403 0.3367 0.02133 0.08544 0.3423 json
t20_x19_u0_b182 20 19 0 182 sub(P,mod(lrg(R,P),D)) 163517 163179821 o2(x,o2(o2(x,x),x)) true 16543 16543 -0.008395 0.4933 0.942 0.9301 0.9644 -1 1 2 1 1.741 0.001107 0.000003013 0.008621 0.9946 1 8.582e-7 0.0008304 0.005886 0.001035 0.03217 3.731 0.2323 0.001193 0.0008928 1 1 0.002396 0.02694 0.2433 0.002577 0.02896 0.2616 json
t20_x19_u0_b183 20 19 0 183 sub(P,mod(eql(R,P),D)) 163518 163179822 o2(x,o2(o2(x,x),x)) true 16551 16551 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_x19_u0_b184 20 19 0 184 sub(P,mod(min(R,P),D)) 163519 163179823 o2(x,o2(o2(x,x),x)) true 16559 16559 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_x19_u0_b185 20 19 0 185 sub(P,mod(dot(R,P),D)) 163520 163179824 o2(x,o2(o2(x,x),x)) true 16567 16567 -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_x19_u0_b186 20 19 0 186 sub(P,mod(dst(R,P),D)) 163521 163179825 o2(x,o2(o2(x,x),x)) true 16575 16575 -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_x19_u0_b187 20 19 0 187 sub(P,lrg(add(R,P),D)) 163522 163179826 o2(x,o2(o2(x,x),x)) true 16583 16583 -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_x19_u0_b188 20 19 0 188 sub(P,lrg(sub(R,P),D)) 163523 163179827 o2(x,o2(o2(x,x),x)) true 16591 16591 -0.0389 0.4745 0.9551 0.9446 0.9719 -1 1 2 1 1.589 0.002761 0.0001472 0.00897 0.8988 1 0.000006756 0.003843 0.007608 0.002828 0.05318 5.929 1.086 0.003079 0.004069 1 1 0.004904 0.04398 0.286 0.005192 0.04656 0.3028 json
t20_x19_u0_b189 20 19 0 189 sub(P,lrg(mlt(R,P),D)) 163524 163179828 o2(x,o2(o2(x,x),x)) true 16599 16599 -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_x19_u0_b190 20 19 0 190 sub(P,lrg(div(R,P),D)) 163525 163179829 o2(x,o2(o2(x,x),x)) true 16607 16607 -0.06828 0.4528 0.9256 0.9066 0.9521 -1 1 2 1 1.893 0.001772 0.0002532 0.01013 0.7499 1 0.0000158 0.002172 0.0057 0.001921 0.04383 4.328 1.015 0.002233 0.002396 1 1 0.004243 0.03993 0.2499 0.00468 0.04404 0.2757 json
t20_x19_u0_b191 20 19 0 191 sub(P,lrg(pow(R,P),D)) 163526 163179830 o2(x,o2(o2(x,x),x)) true 16615 16615 -0.1219 0.4375 0.9406 0.9123 0.9552 -1 1 2 1 1.768 0.001057 0.00002197 0.008149 0.9593 1 -9.122e-8 0.0007848 0.003057 0.001012 0.03181 3.904 1 0.001183 0.0008603 1 1 0.002486 0.02721 0.2435 0.002725 0.02982 0.2669 json
t20_x19_u0_b192 20 19 0 192 sub(P,lrg(mod(R,P),D)) 163527 163179831 o2(x,o2(o2(x,x),x)) true 16623 16623 -0.1011 0.449 0.9581 0.9365 0.9677 -1 1 2 1 1.651 0.001832 0.000142 0.009018 0.8561 1 0.00001059 0.001982 0.004952 0.001894 0.04352 4.826 1.015 0.002108 0.002116 1 1 0.004347 0.04112 0.278 0.004641 0.0439 0.2968 json
t20_x19_u0_b193 20 19 0 193 sub(P,lrg(lrg(R,P),D)) 163528 163179832 o2(x,o2(o2(x,x),x)) true 16631 16631 -0.07617 0.4375 0.9512 0.9406 0.9698 -1 1 2 1 1.432 0.006153 0.00005267 0.008426 0.983 1 0.000002852 0.01202 0.01284 0.006133 0.07831 9.294 1 0.006598 0.01278 1 1 0.00843 0.04181 0.2751 0.008963 0.04445 0.2924 json
t20_x19_u0_b194 20 19 0 194 sub(P,lrg(eql(R,P),D)) 163529 163179833 o2(x,o2(o2(x,x),x)) true 16639 16639 -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_x19_u0_b195 20 19 0 195 sub(P,lrg(min(R,P),D)) 163530 163179834 o2(x,o2(o2(x,x),x)) true 16647 16647 -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_x19_u0_b196 20 19 0 196 sub(P,lrg(dot(R,P),D)) 163531 163179835 o2(x,o2(o2(x,x),x)) true 16655 16655 -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_x19_u0_b197 20 19 0 197 sub(P,lrg(dst(R,P),D)) 163532 163179836 o2(x,o2(o2(x,x),x)) true 16663 16663 -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_x19_u0_b198 20 19 0 198 sub(P,eql(add(R,P),D)) 163533 163179837 o2(x,o2(o2(x,x),x)) true 16671 16671 -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_x19_u0_b199 20 19 0 199 sub(P,eql(sub(R,P),D)) 163534 163179838 o2(x,o2(o2(x,x),x)) true 16679 16679 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_x19_u0_b200 20 19 0 200 sub(P,eql(mlt(R,P),D)) 163535 163179839 o2(x,o2(o2(x,x),x)) true 16687 16687 -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_x20_u0_b0 20 20 0 0 add(P,add(add(R,P),R)) 163536 163220040 o2(x,o2(o2(x,x),x)) true 16695 16695 -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_x20_u0_b1 20 20 0 1 add(P,add(sub(R,P),R)) 163537 163220041 o2(x,o2(o2(x,x),x)) true 16703 16703 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_x20_u0_b2 20 20 0 2 add(P,add(mlt(R,P),R)) 163538 163220042 o2(x,o2(o2(x,x),x)) true 16711 16711 -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_x20_u0_b3 20 20 0 3 add(P,add(div(R,P),R)) 163539 163220043 o2(x,o2(o2(x,x),x)) true 16719 16719 -0.131 0.4361 0.9948 0.9749 0.9874 -1 1 2 1 1.116 0.01334 0.0001309 0.008685 0.9806 1 -0.000017 0.02649 0.01499 0.01338 0.1157 13.32 2 0.01381 0.02717 1 1 0.01773 0.07752 0.3292 0.01818 0.07952 0.3377 json
t20_x20_u0_b4 20 20 0 4 add(P,add(pow(R,P),R)) 163540 163220044 o2(x,o2(o2(x,x),x)) true 16727 16727 -0.8584 0.07326 0.9943 0.2549 0.5049 -1 1 2 1 0.4803 0.0227 0.02231 0.02465 0.008654 1 -0.000127 0.09383 0.04738 0.04438 0.2107 8.546 2.828 0.1766 0.368 1 1 0.04108 0.1815 0.5831 0.1611 0.7117 2.287 json
t20_x20_u0_b5 20 20 0 5 add(P,add(mod(R,P),R)) 163541 163220045 o2(x,o2(o2(x,x),x)) true 16735 16735 -0.1154 0.442 0.9788 0.9571 0.9783 -1 1 2 1 1.408 0.01698 0.0005004 0.01547 0.9428 1 -0.00002275 0.03317 0.02201 0.01725 0.1313 8.488 2 0.01826 0.03466 1 1 0.02272 0.1012 0.3674 0.02374 0.1057 0.3839 json
t20_x20_u0_b6 20 20 0 6 add(P,add(lrg(R,P),R)) 163542 163220046 o2(x,o2(o2(x,x),x)) true 16743 16743 0.08484 0.5359 0.9241 0.8909 0.9439 -1 1 2 1 2.122 0.001595 0.000829 0.01588 0.3161 1 -0.00004076 0.0003844 0.005057 0.002172 0.04661 2.936 0.312 0.002721 0.0004314 1 1 0.00591 0.06758 0.2926 0.006634 0.07586 0.3285 json
t20_x20_u0_b7 20 20 0 7 add(P,add(eql(R,P),R)) 163543 163220047 o2(x,o2(o2(x,x),x)) true 16751 16751 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_x20_u0_b8 20 20 0 8 add(P,add(min(R,P),R)) 163544 163220048 o2(x,o2(o2(x,x),x)) true 16759 16759 -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_x20_u0_b9 20 20 0 9 add(P,add(dot(R,P),R)) 163545 163220049 o2(x,o2(o2(x,x),x)) true 16767 16767 -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_x20_u0_b10 20 20 0 10 add(P,add(dst(R,P),R)) 163546 163220050 o2(x,o2(o2(x,x),x)) true 16775 16775 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_x20_u0_b11 20 20 0 11 add(P,sub(add(R,P),R)) 163547 163220051 o2(x,o2(o2(x,x),x)) true 16783 16783 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_x20_u0_b12 20 20 0 12 add(P,sub(sub(R,P),R)) 163548 163220052 o2(x,o2(o2(x,x),x)) true 16791 16791 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_x20_u0_b13 20 20 0 13 add(P,sub(mlt(R,P),R)) 163549 163220053 o2(x,o2(o2(x,x),x)) true 16799 16799 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_x20_u0_b14 20 20 0 14 add(P,sub(div(R,P),R)) 163550 163220054 o2(x,o2(o2(x,x),x)) true 16807 16807 -0.1156 0.4399 0.9918 0.975 0.9874 -1 1 2 1 1.185 0.017 0.0001975 0.01102 0.977 1 0.00001497 0.03393 0.01904 0.01708 0.1307 11.86 2 0.01764 0.0348 1 1 0.02267 0.09193 0.3514 0.02325 0.09429 0.3604 json
t20_x20_u0_b15 20 20 0 15 add(P,sub(pow(R,P),R)) 163551 163220055 o2(x,o2(o2(x,x),x)) true 16815 16815 -0.8689 0.06676 0.9904 0.232 0.4817 -1 1 2 1 0.523 0.02227 0.02 0.0244 0.05368 1 -0.0001548 0.0872 0.04454 0.04167 0.2041 8.367 2.828 0.1822 0.3758 1 1 0.03926 0.1753 0.5147 0.1692 0.7557 2.218 json
t20_x20_u0_b16 20 20 0 16 add(P,sub(mod(R,P),R)) 163552 163220056 o2(x,o2(o2(x,x),x)) true 16823 16823 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t20_x20_u0_b17 20 20 0 17 add(P,sub(lrg(R,P),R)) 163553 163220057 o2(x,o2(o2(x,x),x)) true 16831 16831 0.08616 0.5584 0.8977 0.8533 0.9237 -1 1 2 1 2.427 0.0009351 0.0004743 0.01349 0.3269 1 0.00001473 0.000258 0.004444 0.001228 0.03504 2.597 0.305 0.001652 0.0003024 1 1 0.003057 0.03452 0.2119 0.003583 0.04046 0.2483 json
t20_x20_u0_b18 20 20 0 18 add(P,sub(eql(R,P),R)) 163554 163220058 o2(x,o2(o2(x,x),x)) true 16839 16839 -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_x20_u0_b19 20 20 0 19 add(P,sub(min(R,P),R)) 163555 163220059 o2(x,o2(o2(x,x),x)) true 16847 16847 -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_x20_u0_b20 20 20 0 20 add(P,sub(dot(R,P),R)) 163556 163220060 o2(x,o2(o2(x,x),x)) true 16855 16855 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_x20_u0_b21 20 20 0 21 add(P,sub(dst(R,P),R)) 163557 163220061 o2(x,o2(o2(x,x),x)) true 16863 16863 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_x20_u0_b22 20 20 0 22 add(P,mlt(add(R,P),R)) 163558 163220062 o2(x,o2(o2(x,x),x)) true 16871 16871 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_x20_u0_b23 20 20 0 23 add(P,mlt(sub(R,P),R)) 163559 163220063 o2(x,o2(o2(x,x),x)) true 16879 16879 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_x20_u0_b24 20 20 0 24 add(P,mlt(mlt(R,P),R)) 163560 163220064 o2(x,o2(o2(x,x),x)) true 16887 16887 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_x20_u0_b25 20 20 0 25 add(P,mlt(div(R,P),R)) 163561 163220065 o2(x,o2(o2(x,x),x)) true 16895 16895 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t20_x20_u0_b26 20 20 0 26 add(P,mlt(pow(R,P),R)) 163562 163220066 o2(x,o2(o2(x,x),x)) true 16903 16903 -0.897 0.04886 0.9725 0.1619 0.4023 -1 1 2 1 0.6276 0.01726 0.01548 0.02147 0.05436 1 -0.00005208 0.06757 0.03732 0.03229 0.1797 8.372 2.828 0.2022 0.4174 1 1 0.02415 0.1132 0.2761 0.1492 0.6993 1.706 json
t20_x20_u0_b27 20 20 0 27 add(P,mlt(mod(R,P),R)) 163563 163220067 o2(x,o2(o2(x,x),x)) true 16911 16911 -0.1178 0.4375 0.9928 0.9749 0.9874 -1 1 2 1 1.186 0.01677 0.00001687 0.01087 0.998 1 1.671e-7 0.03335 0.01936 0.01667 0.1291 11.88 2 0.01722 0.03421 1 1 0.02196 0.08751 0.3416 0.02253 0.08976 0.3504 json
t20_x20_u0_b28 20 20 0 28 add(P,mlt(lrg(R,P),R)) 163564 163220068 o2(x,o2(o2(x,x),x)) true 16919 16919 0.02714 0.515 0.9336 0.9142 0.9561 -1 1 2 1 1.945 0.0008162 0.0001581 0.009179 0.6755 1 -0.000003136 0.000141 0.002668 0.0008898 0.02983 3.25 0.2534 0.001066 0.0001543 1 1 0.00243 0.0296 0.2424 0.002658 0.03238 0.2652 json
t20_x20_u0_b29 20 20 0 29 add(P,mlt(eql(R,P),R)) 163565 163220069 o2(x,o2(o2(x,x),x)) true 16927 16927 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_x20_u0_b30 20 20 0 30 add(P,mlt(min(R,P),R)) 163566 163220070 o2(x,o2(o2(x,x),x)) true 16935 16935 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_x20_u0_b31 20 20 0 31 add(P,mlt(dot(R,P),R)) 163567 163220071 o2(x,o2(o2(x,x),x)) true 16943 16943 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_x20_u0_b32 20 20 0 32 add(P,mlt(dst(R,P),R)) 163568 163220072 o2(x,o2(o2(x,x),x)) true 16951 16951 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_x20_u0_b33 20 20 0 33 add(P,div(add(R,P),R)) 163569 163220073 o2(x,o2(o2(x,x),x)) true 16959 16959 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_x20_u0_b34 20 20 0 34 add(P,div(sub(R,P),R)) 163570 163220074 o2(x,o2(o2(x,x),x)) true 16967 16967 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_x20_u0_b35 20 20 0 35 add(P,div(mlt(R,P),R)) 163571 163220075 o2(x,o2(o2(x,x),x)) true 16975 16975 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_x20_u0_b36 20 20 0 36 add(P,div(div(R,P),R)) 163572 163220076 o2(x,o2(o2(x,x),x)) true 16983 16983 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t20_x20_u0_b37 20 20 0 37 add(P,div(pow(R,P),R)) 163573 163220077 o2(x,o2(o2(x,x),x)) true 16991 16991 -0.8759 0.06271 0.9942 0.2252 0.4745 -1 1 2 1 0.4528 0.02322 0.02093 0.0257 0.0519 1 -0.00007684 0.08996 0.0458 0.0435 0.2086 8.116 2.828 0.1961 0.3995 1 1 0.04371 0.2011 0.4897 0.1941 0.8933 2.175 json
t20_x20_u0_b38 20 20 0 38 add(P,div(mod(R,P),R)) 163574 163220078 o2(x,o2(o2(x,x),x)) true 16999 16999 -0.09375 0.4375 0.9688 0.9525 0.976 -1 1 2 1 1.404 0.02019 1.768e-18 0.01587 1 1 2.515e-10 0.03975 0.02473 0.01993 0.1412 8.896 2 0.0212 0.04173 1 1 0.0272 0.1109 0.3698 0.02856 0.1164 0.3883 json
t20_x20_u0_b39 20 20 0 39 add(P,div(lrg(R,P),R)) 163575 163220079 o2(x,o2(o2(x,x),x)) true 17007 17007 0.1537 0.5869 0.9461 0.9077 0.9527 -1 1 2 1 1.766 0.01097 0.007954 0.02837 0.1592 1 -8.42e-7 0.02344 0.02474 0.01811 0.1346 4.744 2.149 0.02084 0.02582 1 1 0.0304 0.1862 0.5603 0.03349 0.2051 0.6173 json
t20_x20_u0_b40 20 20 0 40 add(P,div(eql(R,P),R)) 163576 163220080 o2(x,o2(o2(x,x),x)) true 17015 17015 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_x20_u0_b41 20 20 0 41 add(P,div(min(R,P),R)) 163577 163220081 o2(x,o2(o2(x,x),x)) true 17023 17023 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_x20_u0_b42 20 20 0 42 add(P,div(dot(R,P),R)) 163578 163220082 o2(x,o2(o2(x,x),x)) true 17031 17031 -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_x20_u0_b43 20 20 0 43 add(P,div(dst(R,P),R)) 163579 163220083 o2(x,o2(o2(x,x),x)) true 17039 17039 -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_x20_u0_b44 20 20 0 44 add(P,pow(add(R,P),R)) 163580 163220084 o2(x,o2(o2(x,x),x)) true 17047 17047 -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_x20_u0_b45 20 20 0 45 add(P,pow(sub(R,P),R)) 163581 163220085 o2(x,o2(o2(x,x),x)) true 17055 17055 -0.8897 0.05933 0.9391 0.1292 0.3595 -1 1 2 1 1.043 0.01151 0.004908 0.0223 0.4021 1 0.00002854 0.02925 0.0231 0.01592 0.1262 5.657 2.625 0.1271 0.2263 1 1 0.02196 0.1142 0.2509 0.1699 0.8837 1.942 json
t20_x20_u0_b46 20 20 0 46 add(P,pow(mlt(R,P),R)) 163582 163220086 o2(x,o2(o2(x,x),x)) true 17063 17063 -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_x20_u0_b47 20 20 0 47 add(P,pow(div(R,P),R)) 163583 163220087 o2(x,o2(o2(x,x),x)) true 17071 17071 -0.9698 0.01465 0.9815 0.03605 0.1899 -1 1 2 1 0.3557 0.003265 0.003754 0.006549 -0.06973 1 1.877e-10 0.01456 0.01133 0.006973 0.08351 12.75 2 0.1947 0.4038 1 1 0.005624 0.02307 0.07 0.156 0.6401 1.942 json
t20_x20_u0_b48 20 20 0 48 add(P,pow(pow(R,P),R)) 163584 163220088 o2(x,o2(o2(x,x),x)) true 17079 17079 -0.8943 0.05725 0.9827 0.1778 0.4216 -1 1 2 1 0.5428 0.01623 0.01645 0.02084 -0.006517 1 -0.00001175 0.06642 0.03638 0.03227 0.1796 8.621 2.828 0.1839 0.3736 1 1 0.02672 0.1139 0.3847 0.1503 0.6409 2.164 json
t20_x20_u0_b49 20 20 0 49 add(P,pow(mod(R,P),R)) 163585 163220089 o2(x,o2(o2(x,x),x)) true 17087 17087 -0.9895 0.003906 0.9973 0.01727 0.1314 -1 1 2 1 0.09891 0.001376 0.001851 0.002343 -0.1473 1 -6.007e-11 0.00667 0.004008 0.00322 0.05674 24.22 2 0.1868 0.3862 1 1 0.0008629 0.003628 0.01966 0.04996 0.21 1.138 json
t20_x20_u0_b50 20 20 0 50 add(P,pow(lrg(R,P),R)) 163586 163220090 o2(x,o2(o2(x,x),x)) true 17095 17095 -0.8438 0.06641 0.9609 0.2406 0.4905 -1 1 2 1 0.8953 0.02444 0.02201 0.02969 0.05234 1 0 0.09719 0.05102 0.04558 0.2135 7.19 2.828 0.1931 0.404 1 1 0.04834 0.207 0.5148 0.2009 0.8604 2.14 json
t20_x20_u0_b51 20 20 0 51 add(P,pow(eql(R,P),R)) 163587 163220091 o2(x,o2(o2(x,x),x)) true 17103 17103 -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_x20_u0_b52 20 20 0 52 add(P,pow(min(R,P),R)) 163588 163220092 o2(x,o2(o2(x,x),x)) true 17111 17111 -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_x20_u0_b53 20 20 0 53 add(P,pow(dot(R,P),R)) 163589 163220093 o2(x,o2(o2(x,x),x)) true 17119 17119 -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_x20_u0_b54 20 20 0 54 add(P,pow(dst(R,P),R)) 163590 163220094 o2(x,o2(o2(x,x),x)) true 17127 17127 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_x20_u0_b55 20 20 0 55 add(P,mod(add(R,P),R)) 163591 163220095 o2(x,o2(o2(x,x),x)) true 17135 17135 -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_x20_u0_b56 20 20 0 56 add(P,mod(sub(R,P),R)) 163592 163220096 o2(x,o2(o2(x,x),x)) true 17143 17143 -0.01034 0.4927 0.9329 0.9082 0.953 -1 1 2 1 2.151 0.0006676 0.000121 0.009168 0.6932 1 -0.00000163 0.00007434 0.002694 0.0007044 0.02654 2.895 0.1933 0.0008682 0.00008185 1 1 0.002214 0.02847 0.2359 0.002438 0.03134 0.2598 json
t20_x20_u0_b57 20 20 0 57 add(P,mod(mlt(R,P),R)) 163593 163220097 o2(x,o2(o2(x,x),x)) true 17151 17151 -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_x20_u0_b58 20 20 0 58 add(P,mod(div(R,P),R)) 163594 163220098 o2(x,o2(o2(x,x),x)) true 17159 17159 -0.1258 0.4375 0.9976 0.9803 0.9901 -1 1 2 1 1.067 0.01486 0.00001985 0.008431 0.9973 1 -0.00000406 0.02963 0.01591 0.0148 0.1217 14.43 2 0.01518 0.03022 1 1 0.01969 0.08174 0.3351 0.02008 0.08338 0.3418 json
t20_x20_u0_b59 20 20 0 59 add(P,mod(pow(R,P),R)) 163595 163220099 o2(x,o2(o2(x,x),x)) true 17167 17167 -0.9464 0.02905 0.9807 0.07934 0.2817 -1 1 2 1 0.4639 0.007684 0.007114 0.0111 0.03851 1 -3.266e-10 0.03053 0.01832 0.01467 0.1211 10.91 2.828 0.1865 0.3848 1 1 0.01224 0.05362 0.157 0.1542 0.6758 1.979 json
t20_x20_u0_b60 20 20 0 60 add(P,mod(mod(R,P),R)) 163596 163220100 o2(x,o2(o2(x,x),x)) true 17175 17175 -0.1236 0.4375 0.9955 0.9781 0.989 -1 1 2 1 1.117 0.0152 0.00002666 0.009353 0.9965 1 -0.00000429 0.03024 0.01703 0.01513 0.123 13.15 2 0.01557 0.03092 1 1 0.02015 0.08349 0.3383 0.0206 0.08536 0.3459 json
t20_x20_u0_b61 20 20 0 61 add(P,mod(lrg(R,P),R)) 163597 163220101 o2(x,o2(o2(x,x),x)) true 17183 17183 0.01319 0.5101 0.9329 0.9141 0.9561 -1 1 2 1 1.987 0.0006507 0.00001781 0.008244 0.9467 1 -6.178e-7 0.00004874 0.002189 0.0006009 0.02451 2.974 0.1629 0.0007313 0.00005332 1 1 0.001761 0.02299 0.2255 0.001927 0.02515 0.2466 json
t20_x20_u0_b62 20 20 0 62 add(P,mod(eql(R,P),R)) 163598 163220102 o2(x,o2(o2(x,x),x)) true 17191 17191 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_x20_u0_b63 20 20 0 63 add(P,mod(min(R,P),R)) 163599 163220103 o2(x,o2(o2(x,x),x)) true 17199 17199 -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