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_x56_u0_b128 20 56 0 128 sub(R,add(eql(P,P),R)) 170900 164674604 o2(x,o2(o2(x,x),x)) true 75607 75607 -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_x56_u0_b129 20 56 0 129 sub(R,add(min(P,P),R)) 170901 164674605 o2(x,o2(o2(x,x),x)) true 75615 75615 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 4.835e-19 0.007937 1 1 -1.361e-11 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_x56_u0_b130 20 56 0 130 sub(R,add(dot(P,P),R)) 170902 164674606 o2(x,o2(o2(x,x),x)) true 75623 75623 -0.9967 0 0.9967 0.002206 0.04697 -1 -0.0005821 0.9994 1 0.08493 0.00004482 0.00004482 0.0007972 -5.682e-7 0 1.502e-11 0.00002627 0.0002729 0.00008892 0.00943 11.83 0.1653 0.04063 0.01191 1 1 0.0003021 0.00348 0.008043 0.1369 1.578 3.646 json
t20_x56_u0_b131 20 56 0 131 sub(R,add(dst(P,P),R)) 170903 164674607 o2(x,o2(o2(x,x),x)) true 75631 75631 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_x56_u0_b132 20 56 0 132 sub(R,sub(add(P,P),R)) 170904 164674608 o2(x,o2(o2(x,x),x)) true 75639 75639 -0.001383 0.4968 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.000901 1 1 0.007622 0.07597 0.368 0.007913 0.07887 0.382 json
t20_x56_u0_b133 20 56 0 133 sub(R,sub(sub(P,P),R)) 170905 164674609 o2(x,o2(o2(x,x),x)) true 75647 75647 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_x56_u0_b134 20 56 0 134 sub(R,sub(mlt(P,P),R)) 170906 164674610 o2(x,o2(o2(x,x),x)) true 75655 75655 -0.8881 0.05536 0.9474 0.1407 0.3751 -1 1 2 1 1.022 0.002892 0.001379 0.01816 0.3542 1 -0.000004659 0.001204 0.007604 0.003944 0.0628 3.459 0.5324 0.03035 0.008556 1 1 0.01009 0.1042 0.3009 0.07171 0.7405 2.139 json
t20_x56_u0_b135 20 56 0 135 sub(R,sub(div(P,P),R)) 170907 164674611 o2(x,o2(o2(x,x),x)) true 75663 75663 -0.6526 0.1548 0.7703 0.2706 0.5202 -1 0.9613 1.961 1 2.967 0.01203 0.005633 0.06222 0.3621 1 0.0001752 0.01695 0.03173 0.01379 0.1174 1.887 1.886 0.06527 0.06262 1 1 0.02689 0.2214 0.4969 0.09938 0.8182 1.836 json
t20_x56_u0_b136 20 56 0 136 sub(R,sub(pow(P,P),R)) 170908 164674612 o2(x,o2(o2(x,x),x)) true 75671 75671 -0.9577 0.01994 0.9717 0.04627 0.2151 -1 0.886 1.886 1 0.498 0.003167 0.0005616 0.01006 0.6987 1 6.007e-11 0.00413 0.007227 0.003629 0.06025 5.992 1.658 0.08058 0.08926 1 1 0.006897 0.04803 0.0893 0.1491 1.038 1.93 json
t20_x56_u0_b137 20 56 0 137 sub(R,sub(mod(P,P),R)) 170909 164674613 o2(x,o2(o2(x,x),x)) true 75679 75679 -0.131 0.4308 0.8544 0.7894 0.8885 -1 1 2 1 2.868 0.03127 0.004627 0.06995 0.7422 1 0.00002832 0.04174 0.04869 0.031 0.1761 2.517 2.017 0.04547 0.05288 1 1 0.05914 0.4348 0.9768 0.07492 0.5508 1.237 json
t20_x56_u0_b138 20 56 0 138 sub(R,sub(lrg(P,P),R)) 170910 164674614 o2(x,o2(o2(x,x),x)) true 75687 75687 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_x56_u0_b139 20 56 0 139 sub(R,sub(eql(P,P),R)) 170911 164674615 o2(x,o2(o2(x,x),x)) true 75695 75695 -0.5964 0.1796 0.7309 0.2902 0.5387 -1 0.9613 1.961 1 3.293 0.005883 0.006361 0.06617 -0.03903 1 0.0001752 0.002786 0.02475 0.007863 0.08868 1.34 0.446 0.04219 0.009598 1 1 0.0238 0.2451 0.5613 0.08201 0.8444 1.934 json
t20_x56_u0_b140 20 56 0 140 sub(R,sub(min(P,P),R)) 170912 164674616 o2(x,o2(o2(x,x),x)) true 75703 75703 0.009129 0.5065 0.9387 0.9169 0.9575 -1 1 2 1 2.004 0.002544 0.001605 0.01976 0.2263 1 -0.00003295 0.001008 0.007816 0.00376 0.06132 3.103 0.5495 0.004525 0.001099 1 1 0.009684 0.1019 0.3603 0.01056 0.1111 0.393 json
t20_x56_u0_b141 20 56 0 141 sub(R,sub(dot(P,P),R)) 170913 164674617 o2(x,o2(o2(x,x),x)) true 75711 75711 -0.9886 0.004166 0.9942 0.01471 0.1213 -1 1 2 1 0.1599 0.0003154 0.0002918 0.002421 0.03887 1 -7.509e-12 0.0002003 0.001164 0.0006021 0.02454 10.14 0.4616 0.04129 0.01362 1 1 0.001983 0.0193 0.05387 0.1348 1.312 3.663 json
t20_x56_u0_b142 20 56 0 142 sub(R,sub(dst(P,P),R)) 170914 164674618 o2(x,o2(o2(x,x),x)) true 75719 75719 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_x56_u0_b143 20 56 0 143 sub(R,mlt(add(P,P),R)) 170915 164674619 o2(x,o2(o2(x,x),x)) true 75727 75727 0.06208 0.5291 0.8469 0.791 0.8894 -1 1 2 1 2.973 0.03059 0.03656 0.1003 -0.08898 1 0.0000429 0.0731 0.08344 0.05706 0.2389 2.382 2.133 0.08488 0.09241 1 1 0.08775 0.6089 1.381 0.1109 0.7697 1.746 json
t20_x56_u0_b144 20 56 0 144 sub(R,mlt(sub(P,P),R)) 170916 164674620 o2(x,o2(o2(x,x),x)) true 75735 75735 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x56_u0_b145 20 56 0 145 sub(R,mlt(mlt(P,P),R)) 170917 164674621 o2(x,o2(o2(x,x),x)) true 75743 75743 0.0176 0.5098 0.8073 0.766 0.8752 -1 1 2 1 2.888 0.04527 0.05593 0.09712 -0.1053 1 -0.0001081 0.1916 0.1159 0.09176 0.3029 3.119 2.828 0.1321 0.2501 1 1 0.1037 0.6068 1.312 0.1353 0.7922 1.713 json
t20_x56_u0_b146 20 56 0 146 sub(R,mlt(div(P,P),R)) 170918 164674622 o2(x,o2(o2(x,x),x)) true 75751 75751 -0.125 0 0.125 0.1094 0.3307 -1 5.845e-8 1 1 0.8122 0.007937 3.882e-18 0.007937 1 1 -1.118e-11 0.01587 0.01587 0.007872 0.08872 11.18 1 0.07256 0.1451 1 1 0.01053 0.04211 0.1684 0.09624 0.385 1.54 json
t20_x56_u0_b147 20 56 0 147 sub(R,mlt(pow(P,P),R)) 170919 164674623 o2(x,o2(o2(x,x),x)) true 75759 75759 -0.4493 0.2466 0.8985 0.689 0.83 -1 1 2 1 1.579 0.04139 0.04486 0.05408 -0.04014 1 -0.00003806 0.2059 0.09305 0.08333 0.2887 5.338 2.828 0.1252 0.2989 1 1 0.07453 0.3588 0.7988 0.1082 0.5209 1.159 json
t20_x56_u0_b148 20 56 0 148 sub(R,mlt(mod(P,P),R)) 170920 164674624 o2(x,o2(o2(x,x),x)) true 75767 75767 -0.06842 0.4624 0.6582 0.5488 0.7408 -1 1 2 1 4.233 0.02283 0.0119 0.08594 0.3147 1 -0.000006422 0.03757 0.05281 0.02736 0.1654 1.925 1.943 0.06329 0.06846 1 1 0.03866 0.3019 0.8652 0.07044 0.5501 1.577 json
t20_x56_u0_b149 20 56 0 149 sub(R,mlt(lrg(P,P),R)) 170921 164674625 o2(x,o2(o2(x,x),x)) true 75775 75775 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x56_u0_b150 20 56 0 150 sub(R,mlt(eql(P,P),R)) 170922 164674626 o2(x,o2(o2(x,x),x)) true 75783 75783 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_x56_u0_b151 20 56 0 151 sub(R,mlt(min(P,P),R)) 170923 164674627 o2(x,o2(o2(x,x),x)) true 75791 75791 0.06055 0.5366 0.7257 0.6462 0.8039 -1 1 2 1 3.745 0.01647 0.02001 0.09057 -0.09684 1 0.00004313 0.02122 0.04957 0.02827 0.1681 1.856 1.468 0.05645 0.03283 1 1 0.05108 0.4367 1.061 0.07904 0.6757 1.641 json
t20_x56_u0_b152 20 56 0 152 sub(R,mlt(dot(P,P),R)) 170924 164674628 o2(x,o2(o2(x,x),x)) true 75799 75799 0.01773 0.5076 0.9482 0.9323 0.9655 -1 1 2 1 1.783 0.07095 0.08441 0.1086 -0.08666 1 -0.00007156 0.3351 0.1686 0.1435 0.3788 3.488 2.828 0.1666 0.3594 1 1 0.1567 0.803 1.65 0.1681 0.8614 1.769 json
t20_x56_u0_b153 20 56 0 153 sub(R,mlt(dst(P,P),R)) 170925 164674629 o2(x,o2(o2(x,x),x)) true 75807 75807 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x56_u0_b154 20 56 0 154 sub(R,div(add(P,P),R)) 170926 164674630 o2(x,o2(o2(x,x),x)) true 75815 75815 0.04053 0.52 0.9625 0.9477 0.9735 -1 1 2 1 1.655 0.08014 0.09905 0.1159 -0.1055 1 -0.000008678 0.4076 0.1932 0.1658 0.4071 3.514 2.828 0.1891 0.4301 1 1 0.1929 0.8942 1.965 0.2035 0.9435 2.073 json
t20_x56_u0_b155 20 56 0 155 sub(R,div(sub(P,P),R)) 170927 164674631 o2(x,o2(o2(x,x),x)) true 75823 75823 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x56_u0_b156 20 56 0 156 sub(R,div(mlt(P,P),R)) 170928 164674632 o2(x,o2(o2(x,x),x)) true 75831 75831 0.06589 0.5278 0.9399 0.9148 0.9565 -1 1 2 1 1.931 0.0841 0.1028 0.1142 -0.1001 1 0.00007324 0.4616 0.1979 0.1738 0.4169 3.65 2.828 0.2043 0.5046 1 1 0.1883 0.8482 1.813 0.2058 0.9272 1.982 json
t20_x56_u0_b157 20 56 0 157 sub(R,div(div(P,P),R)) 170929 164674633 o2(x,o2(o2(x,x),x)) true 75839 75839 -0.04888 0.4767 0.8099 0.7498 0.8659 -1 1 2 1 3.182 0.03498 0.02618 0.09877 0.1439 1 0.0001057 0.07662 0.08237 0.05141 0.2267 2.295 2.828 0.08156 0.1022 1 1 0.08644 0.5657 1.458 0.1153 0.7544 1.944 json
t20_x56_u0_b158 20 56 0 158 sub(R,div(pow(P,P),R)) 170930 164674634 o2(x,o2(o2(x,x),x)) true 75847 75847 -0.4392 0.2807 0.9754 0.7747 0.8801 -1 1 2 1 1.289 0.05566 0.05727 0.06643 -0.0143 1 0.00001186 0.2731 0.1178 0.1085 0.3294 4.958 2.828 0.1458 0.3525 1 1 0.1139 0.5242 1.089 0.1471 0.6767 1.406 json
t20_x56_u0_b159 20 56 0 159 sub(R,div(mod(P,P),R)) 170931 164674635 o2(x,o2(o2(x,x),x)) true 75855 75855 -0.05504 0.4691 0.7747 0.7042 0.8391 -1 1 2 1 3.414 0.03932 0.0422 0.09536 -0.0353 1 0.0001636 0.1372 0.1061 0.07242 0.2691 2.822 2.828 0.1158 0.1948 1 1 0.07504 0.4412 1.176 0.1066 0.6266 1.671 json
t20_x56_u0_b160 20 56 0 160 sub(R,div(lrg(P,P),R)) 170932 164674636 o2(x,o2(o2(x,x),x)) true 75863 75863 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x56_u0_b161 20 56 0 161 sub(R,div(eql(P,P),R)) 170933 164674637 o2(x,o2(o2(x,x),x)) true 75871 75871 0.073 0.5387 0.7763 0.702 0.8379 -1 1 2 1 3.468 0.0251 0.02923 0.1047 -0.07594 1 0.0001103 0.05549 0.07536 0.04338 0.2083 1.989 2.828 0.07739 0.07904 1 1 0.08249 0.6002 1.401 0.1175 0.855 1.996 json
t20_x56_u0_b162 20 56 0 162 sub(R,div(min(P,P),R)) 170934 164674638 o2(x,o2(o2(x,x),x)) true 75879 75879 0.04839 0.522 0.9339 0.9089 0.9533 -1 1 2 1 2.022 0.06426 0.07943 0.1129 -0.1055 1 0.000003772 0.2842 0.1607 0.1309 0.3618 3.205 2.828 0.1581 0.3128 1 1 0.1626 0.8349 1.874 0.1789 0.9186 2.061 json
t20_x56_u0_b163 20 56 0 163 sub(R,div(dot(P,P),R)) 170935 164674639 o2(x,o2(o2(x,x),x)) true 75887 75887 0.06646 0.5336 0.9911 0.9832 0.9916 -1 1 2 1 1.197 0.1051 0.1239 0.1197 -0.08245 1 -0.00002815 0.5959 0.234 0.2147 0.4634 3.872 2.828 0.2329 0.6061 1 1 0.229 0.976 1.94 0.2329 0.9927 1.973 json
t20_x56_u0_b164 20 56 0 164 sub(R,div(dst(P,P),R)) 170936 164674640 o2(x,o2(o2(x,x),x)) true 75895 75895 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x56_u0_b165 20 56 0 165 sub(R,pow(add(P,P),R)) 170937 164674641 o2(x,o2(o2(x,x),x)) true 75903 75903 -0.9774 0.006317 0.9824 0.01551 0.1245 -1 0.8288 1.829 1 0.6076 0.002681 0.001393 0.006872 0.3162 1 0.00005134 0.008091 0.007842 0.004026 0.06345 9.232 1.829 0.2627 0.5217 1 1 0.00593 0.02528 0.04437 0.3823 1.63 2.861 json
t20_x56_u0_b166 20 56 0 166 sub(R,pow(sub(P,P),R)) 170938 164674642 o2(x,o2(o2(x,x),x)) true 75911 75911 -0.9327 0.04297 0.9813 0.1025 0.3202 -1 0.9428 1.943 1 0.413 0.01033 0.01038 0.01414 -0.00231 1 0.000008535 0.04322 0.0262 0.02051 0.1432 10.13 2.64 0.2021 0.4217 1 1 0.01648 0.07156 0.1733 0.1608 0.6982 1.691 json
t20_x56_u0_b167 20 56 0 167 sub(R,pow(mlt(P,P),R)) 170939 164674643 o2(x,o2(o2(x,x),x)) true 75919 75919 -0.9248 0.01535 0.9362 0.04525 0.2127 -1 0.8288 1.829 1 1.509 0.002076 0.003531 0.0179 -0.2596 1 0.0001538 0.009545 0.01732 0.005284 0.07269 4.061 1.829 0.1239 0.2109 1 1 0.008328 0.04559 0.1171 0.184 1.007 2.587 json
t20_x56_u0_b168 20 56 0 168 sub(R,pow(div(P,P),R)) 170940 164674644 o2(x,o2(o2(x,x),x)) true 75927 75927 -0.8263 0 0.8263 0.06765 0.2601 -1 -0.01936 0.9806 1 2.46 0.003007 0.001408 0.03111 0.3621 1 0.0000876 0.004236 0.01586 0.003446 0.0587 1.887 0.9432 0.06527 0.06262 1 1 0.006723 0.05535 0.1242 0.09938 0.8182 1.836 json
t20_x56_u0_b169 20 56 0 169 sub(R,pow(pow(P,P),R)) 170941 164674645 o2(x,o2(o2(x,x),x)) true 75935 75935 -0.9505 0 0.9505 0.02102 0.145 -1 -0.05698 0.943 1 1.068 0.00127 0.001051 0.01189 0.09417 1 0.0000373 0.003584 0.01074 0.00218 0.04669 3.928 0.8291 0.1104 0.1705 1 1 0.003134 0.01844 0.03656 0.1491 0.8776 1.739 json
t20_x56_u0_b170 20 56 0 170 sub(R,pow(mod(P,P),R)) 170942 164674646 o2(x,o2(o2(x,x),x)) true 75943 75943 -0.958 0.02322 0.9821 0.05701 0.2388 -1 0.927 1.927 1 0.4306 0.007523 0.004535 0.01175 0.2478 1 0.00005881 0.0239 0.0163 0.01192 0.1092 9.291 2.545 0.2115 0.4193 1 1 0.01657 0.06836 0.1536 0.2906 1.199 2.695 json
t20_x56_u0_b171 20 56 0 171 sub(R,pow(lrg(P,P),R)) 170943 164674647 o2(x,o2(o2(x,x),x)) true 75951 75951 -0.9327 0.04297 0.9813 0.1025 0.3202 -1 0.9428 1.943 1 0.413 0.01033 0.01038 0.01414 -0.00231 1 0.000008535 0.04322 0.0262 0.02051 0.1432 10.13 2.64 0.2021 0.4217 1 1 0.01648 0.07156 0.1733 0.1608 0.6982 1.691 json
t20_x56_u0_b172 20 56 0 172 sub(R,pow(eql(P,P),R)) 170944 164674648 o2(x,o2(o2(x,x),x)) true 75959 75959 -0.7982 0 0.7982 0.07256 0.2694 -1 -0.01936 0.9806 1 2.717 0.001471 0.00159 0.03308 -0.03903 1 0.0000876 0.0006964 0.01237 0.001966 0.04434 1.34 0.223 0.04219 0.009598 1 1 0.005951 0.06127 0.1403 0.08201 0.8444 1.934 json
t20_x56_u0_b173 20 56 0 173 sub(R,pow(min(P,P),R)) 170945 164674649 o2(x,o2(o2(x,x),x)) true 75967 75967 -0.9714 0.007721 0.9771 0.02299 0.1516 -1 0.8288 1.829 1 0.5567 0.003436 0.001646 0.008178 0.3523 1 0.00002607 0.01005 0.00955 0.005013 0.0708 8.658 1.829 0.221 0.4372 1 1 0.007157 0.0311 0.05812 0.3113 1.353 2.528 json
t20_x56_u0_b174 20 56 0 174 sub(R,pow(dot(P,P),R)) 170946 164674650 o2(x,o2(o2(x,x),x)) true 75975 75975 -0.9432 0.002899 0.9457 0.01724 0.1313 -1 0.8285 1.829 1 1.42 0.0006946 0.0007768 0.01334 -0.05585 1 0.0002936 0.001333 0.01162 0.001294 0.03597 2.697 0.4041 0.08535 0.07732 1 1 0.002471 0.01882 0.04333 0.1433 1.092 2.513 json
t20_x56_u0_b175 20 56 0 175 sub(R,pow(dst(P,P),R)) 170947 164674651 o2(x,o2(o2(x,x),x)) true 75983 75983 -0.9327 0.04297 0.9813 0.1025 0.3202 -1 0.9428 1.943 1 0.413 0.01033 0.01038 0.01414 -0.00231 1 0.000008535 0.04322 0.0262 0.02051 0.1432 10.13 2.64 0.2021 0.4217 1 1 0.01648 0.07156 0.1733 0.1608 0.6982 1.691 json
t20_x56_u0_b176 20 56 0 176 sub(R,mod(add(P,P),R)) 170948 164674652 o2(x,o2(o2(x,x),x)) true 75991 75991 0.004966 0.4883 0.4149 0.264 0.5138 -1 1 2 1 4.852 0.002861 0.003467 0.06216 -0.09575 1 0.00002114 0.0005727 0.01536 0.002466 0.04965 0.7989 0.2681 0.02398 0.00217 1 1 0.01235 0.1536 0.3788 0.04678 0.582 1.435 json
t20_x56_u0_b177 20 56 0 177 sub(R,mod(sub(P,P),R)) 170949 164674653 o2(x,o2(o2(x,x),x)) true 75999 75999 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x56_u0_b178 20 56 0 178 sub(R,mod(mlt(P,P),R)) 170950 164674654 o2(x,o2(o2(x,x),x)) true 76007 76007 -0.1976 0.3882 0.3903 0.1995 0.4466 -1 0.8868 1.887 1 4.65 0.002576 0.003019 0.05882 -0.07919 1 0.00002574 0.0004687 0.01431 0.002136 0.04621 0.7857 0.2727 0.02805 0.00235 1 1 0.01072 0.1338 0.3491 0.05372 0.6709 1.75 json
t20_x56_u0_b179 20 56 0 179 sub(R,mod(div(P,P),R)) 170951 164674655 o2(x,o2(o2(x,x),x)) true 76015 76015 -0.2701 0.3519 0.4833 0.2726 0.5222 -1 0.9621 1.962 1 4.551 0.01334 0.003012 0.0655 0.6317 1 0.00004752 0.02187 0.02966 0.01206 0.1098 1.677 1.887 0.05999 0.08022 1 1 0.02348 0.1801 0.4559 0.08613 0.6607 1.672 json
t20_x56_u0_b180 20 56 0 180 sub(R,mod(pow(P,P),R)) 170952 164674656 o2(x,o2(o2(x,x),x)) true 76023 76023 -0.6192 0.1709 0.7107 0.2544 0.5044 -1 1 2 1 3.088 0.004569 0.001654 0.03438 0.4684 1 0.00001109 0.006289 0.01328 0.00504 0.07099 2.065 1.659 0.02446 0.02472 1 1 0.00993 0.08771 0.2513 0.03903 0.3447 0.9879 json
t20_x56_u0_b181 20 56 0 181 sub(R,mod(mod(P,P),R)) 170953 164674657 o2(x,o2(o2(x,x),x)) true 76031 76031 -0.1232 0.4296 0.4778 0.3206 0.5662 -1 1 2 1 4.721 0.01606 0.002892 0.06463 0.6948 1 0.00004679 0.02759 0.03217 0.01477 0.1216 1.881 1.943 0.05912 0.08608 1 1 0.02658 0.1912 0.507 0.08291 0.5966 1.582 json
t20_x56_u0_b182 20 56 0 182 sub(R,mod(lrg(P,P),R)) 170954 164674658 o2(x,o2(o2(x,x),x)) true 76039 76039 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x56_u0_b183 20 56 0 183 sub(R,mod(eql(P,P),R)) 170955 164674659 o2(x,o2(o2(x,x),x)) true 76047 76047 -0.1642 0.4072 0.4111 0.2261 0.4755 -1 0.9621 1.962 1 4.779 0.003165 0.003425 0.06621 -0.03943 1 0.0000262 0.0003923 0.01523 0.002207 0.04698 0.7095 0.2294 0.02915 0.001735 1 1 0.01276 0.1638 0.3979 0.05645 0.7246 1.76 json
t20_x56_u0_b184 20 56 0 184 sub(R,mod(min(P,P),R)) 170956 164674660 o2(x,o2(o2(x,x),x)) true 76055 76055 0.00009231 0.487 0.4168 0.2645 0.5143 -1 1 2 1 4.872 0.002779 0.003561 0.06295 -0.1233 1 0.000007478 0.0005275 0.0153 0.002377 0.04876 0.7745 0.2643 0.02397 0.001995 1 1 0.01271 0.159 0.3786 0.04807 0.6011 1.432 json
t20_x56_u0_b185 20 56 0 185 sub(R,mod(dot(P,P),R)) 170957 164674661 o2(x,o2(o2(x,x),x)) true 76063 76063 -0.2166 0.3741 0.3845 0.1893 0.4351 -1 0.8469 1.847 1 4.608 0.002578 0.002826 0.0576 -0.04572 1 0.00004287 0.0004492 0.01401 0.002087 0.04568 0.7932 0.2392 0.02855 0.002373 1 1 0.01067 0.1351 0.3297 0.05636 0.7136 1.742 json
t20_x56_u0_b186 20 56 0 186 sub(R,mod(dst(P,P),R)) 170958 164674662 o2(x,o2(o2(x,x),x)) true 76071 76071 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x56_u0_b187 20 56 0 187 sub(R,lrg(add(P,P),R)) 170959 164674663 o2(x,o2(o2(x,x),x)) true 76079 76079 -0.3894 0.2714 0.612 0.3343 0.5782 -1 0.9693 1.969 1 4.272 0.002594 0.002651 0.05 -0.01085 1 0.00007441 0.000655 0.01427 0.002744 0.05238 1.048 0.3332 0.01569 0.001959 1 1 0.01101 0.1302 0.3632 0.03294 0.3896 1.086 json
t20_x56_u0_b188 20 56 0 188 sub(R,lrg(sub(P,P),R)) 170960 164674664 o2(x,o2(o2(x,x),x)) true 76087 76087 -0.3539 0.3544 0.6666 0.4315 0.6569 -1 0.9804 1.98 1 3.927 0.006974 0.008247 0.08425 -0.08369 1 0.0001444 0.002323 0.02589 0.008124 0.09014 1.07 0.347 0.03528 0.005383 1 1 0.02989 0.3406 0.8128 0.06928 0.7893 1.884 json
t20_x56_u0_b189 20 56 0 189 sub(R,lrg(mlt(P,P),R)) 170961 164674665 o2(x,o2(o2(x,x),x)) true 76095 76095 -0.7726 0.0215 0.7873 0.1019 0.3193 -1 0.8288 1.829 1 2.879 0.00188 0.001895 0.03652 -0.003826 1 0.0000876 0.0007809 0.0132 0.002441 0.04941 1.353 0.2892 0.03704 0.007661 1 1 0.008164 0.08781 0.2215 0.08009 0.8614 2.173 json
t20_x56_u0_b190 20 56 0 190 sub(R,lrg(div(P,P),R)) 170962 164674666 o2(x,o2(o2(x,x),x)) true 76103 76103 -0.7982 0 0.7982 0.07256 0.2694 -1 -0.01936 0.9806 1 2.717 0.001471 0.00159 0.03308 -0.03903 1 0.0000876 0.0006964 0.01237 0.001966 0.04434 1.34 0.223 0.04219 0.009598 1 1 0.005951 0.06127 0.1403 0.08201 0.8444 1.934 json
t20_x56_u0_b191 20 56 0 191 sub(R,lrg(pow(P,P),R)) 170963 164674667 o2(x,o2(o2(x,x),x)) true 76111 76111 -0.7982 0 0.7982 0.07256 0.2694 -1 -0.01936 0.9806 1 2.717 0.001471 0.00159 0.03308 -0.03903 1 0.0000876 0.0006964 0.01237 0.001966 0.04434 1.34 0.223 0.04219 0.009598 1 1 0.005951 0.06127 0.1403 0.08201 0.8444 1.934 json
t20_x56_u0_b192 20 56 0 192 sub(R,lrg(mod(P,P),R)) 170964 164674668 o2(x,o2(o2(x,x),x)) true 76119 76119 -0.3933 0.3005 0.6485 0.3793 0.6159 -1 0.9693 1.969 1 4.068 0.005941 0.005732 0.07317 0.0179 1 0.0001362 0.001745 0.02204 0.006317 0.07948 1.086 0.347 0.03077 0.0046 1 1 0.02512 0.2849 0.6701 0.06623 0.7511 1.767 json
t20_x56_u0_b193 20 56 0 193 sub(R,lrg(lrg(P,P),R)) 170965 164674669 o2(x,o2(o2(x,x),x)) true 76127 76127 -0.3539 0.3544 0.6666 0.4315 0.6569 -1 0.9804 1.98 1 3.927 0.006974 0.008247 0.08425 -0.08369 1 0.0001444 0.002323 0.02589 0.008124 0.09014 1.07 0.347 0.03528 0.005383 1 1 0.02989 0.3406 0.8128 0.06928 0.7893 1.884 json
t20_x56_u0_b194 20 56 0 194 sub(R,lrg(eql(P,P),R)) 170966 164674670 o2(x,o2(o2(x,x),x)) true 76135 76135 -0.7982 0 0.7982 0.07256 0.2694 -1 -0.01936 0.9806 1 2.717 0.001471 0.00159 0.03308 -0.03903 1 0.0000876 0.0006964 0.01237 0.001966 0.04434 1.34 0.223 0.04219 0.009598 1 1 0.005951 0.06127 0.1403 0.08201 0.8444 1.934 json
t20_x56_u0_b195 20 56 0 195 sub(R,lrg(min(P,P),R)) 170967 164674671 o2(x,o2(o2(x,x),x)) true 76143 76143 -0.3894 0.2714 0.612 0.3343 0.5782 -1 0.9693 1.969 1 4.272 0.002594 0.002651 0.05 -0.01085 1 0.00007441 0.000655 0.01427 0.002744 0.05238 1.048 0.3332 0.01569 0.001959 1 1 0.01101 0.1302 0.3632 0.03294 0.3896 1.086 json
t20_x56_u0_b196 20 56 0 196 sub(R,lrg(dot(P,P),R)) 170968 164674672 o2(x,o2(o2(x,x),x)) true 76151 76151 -0.7945 0.002945 0.797 0.07722 0.2779 -1 0.8285 1.829 1 2.749 0.001567 0.00167 0.03381 -0.03174 1 0.0000876 0.0007145 0.01255 0.002095 0.04577 1.354 0.2892 0.04193 0.009252 1 1 0.006561 0.06883 0.1588 0.08496 0.8913 2.056 json
t20_x56_u0_b197 20 56 0 197 sub(R,lrg(dst(P,P),R)) 170969 164674673 o2(x,o2(o2(x,x),x)) true 76159 76159 -0.3539 0.3544 0.6666 0.4315 0.6569 -1 0.9804 1.98 1 3.927 0.006974 0.008247 0.08425 -0.08369 1 0.0001444 0.002323 0.02589 0.008124 0.09014 1.07 0.347 0.03528 0.005383 1 1 0.02989 0.3406 0.8128 0.06928 0.7893 1.884 json
t20_x56_u0_b198 20 56 0 198 sub(R,eql(add(P,P),R)) 170970 164674674 o2(x,o2(o2(x,x),x)) true 76167 76167 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x56_u0_b199 20 56 0 199 sub(R,eql(sub(P,P),R)) 170971 164674675 o2(x,o2(o2(x,x),x)) true 76175 76175 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x56_u0_b200 20 56 0 200 sub(R,eql(mlt(P,P),R)) 170972 164674676 o2(x,o2(o2(x,x),x)) true 76183 76183 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x57_u0_b0 20 57 0 0 add(R,add(add(P,D),P)) 170973 164714877 o2(x,o2(o2(x,x),x)) true 76191 76191 -0.004446 0.4969 0.9722 0.9621 0.9809 -1 1 2 1 1.524 0.001329 0.0001666 0.008652 0.7773 1 -0.000008482 0.0002625 0.002629 0.001422 0.03771 4.358 0.3648 0.001555 0.0002728 1 1 0.00388 0.04653 0.3107 0.004033 0.04836 0.3229 json
t20_x57_u0_b1 20 57 0 1 add(R,add(sub(P,D),P)) 170974 164714878 o2(x,o2(o2(x,x),x)) true 76199 76199 -0.004855 0.4969 0.9703 0.9589 0.9792 -1 1 2 1 1.548 0.002107 0.0001662 0.009969 0.8537 1 -0.000007078 0.0006217 0.004816 0.002174 0.04662 4.677 0.4664 0.00237 0.0006483 1 1 0.005705 0.05094 0.3064 0.005949 0.05313 0.3196 json
t20_x57_u0_b2 20 57 0 2 add(R,add(mlt(P,D),P)) 170975 164714879 o2(x,o2(o2(x,x),x)) true 76207 76207 -0.009394 0.492 0.9431 0.9208 0.9596 -1 1 2 1 1.967 0.001341 0.00036 0.01218 0.5767 1 -0.00002151 0.0003576 0.004499 0.001551 0.03939 3.233 0.3017 0.001847 0.0003884 1 1 0.004166 0.04589 0.2688 0.004524 0.04984 0.2919 json
t20_x57_u0_b3 20 57 0 3 add(R,add(div(P,D),P)) 170976 164714880 o2(x,o2(o2(x,x),x)) true 76215 76215 -0.1251 0.433 0.9462 0.9115 0.9547 -1 1 2 1 1.849 0.3884 0.0002809 0.231 0.9986 1 -0.000003986 0.7184 0.4047 0.3354 0.5791 2.507 2.005 0.4265 0.7881 1 1 0.4057 1.479 0.2827 0.445 1.623 0.3101 json
t20_x57_u0_b4 20 57 0 4 add(R,add(pow(P,D),P)) 170977 164714881 o2(x,o2(o2(x,x),x)) true 76223 76223 -0.02483 0.4884 0.9852 0.9789 0.9894 -1 1 2 1 1.298 0.005249 0.00008794 0.008324 0.967 1 -0.000006028 0.008689 0.008888 0.005269 0.07259 8.72 1.83 0.005452 0.008876 1 1 0.008615 0.06047 0.3221 0.0088 0.06177 0.3291 json
t20_x57_u0_b5 20 57 0 5 add(R,add(mod(P,D),P)) 170978 164714882 o2(x,o2(o2(x,x),x)) true 76231 76231 0.002224 0.4967 0.9502 0.9305 0.9646 -1 1 2 1 1.869 0.001681 0.0003186 0.01218 0.6814 1 -0.00001936 0.001456 0.009171 0.00185 0.04301 3.532 0.3759 0.002149 0.001565 1 1 0.004263 0.0445 0.2794 0.004582 0.04782 0.3003 json
t20_x57_u0_b6 20 57 0 6 add(R,add(lrg(P,D),P)) 170979 164714883 o2(x,o2(o2(x,x),x)) true 76239 76239 0.04315 0.5196 0.9513 0.9339 0.9664 -1 1 2 1 1.757 0.004965 0.0002705 0.01568 0.8967 1 -0.00000988 0.006264 0.01091 0.004988 0.07063 4.505 1.012 0.005606 0.006707 1 1 0.009649 0.06253 0.2817 0.01033 0.06695 0.3016 json
t20_x57_u0_b7 20 57 0 7 add(R,add(eql(P,D),P)) 170980 164714884 o2(x,o2(o2(x,x),x)) true 76247 76247 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_x57_u0_b8 20 57 0 8 add(R,add(min(P,D),P)) 170981 164714885 o2(x,o2(o2(x,x),x)) true 76255 76255 -0.02756 0.4889 0.9607 0.9452 0.9722 -1 1 2 1 1.687 0.001241 0.0002403 0.009519 0.6755 1 -0.00001945 0.0002537 0.003123 0.001391 0.0373 3.918 0.3477 0.001567 0.0002684 1 1 0.003818 0.04408 0.2892 0.004039 0.04663 0.306 json
t20_x57_u0_b9 20 57 0 9 add(R,add(dot(P,D),P)) 170982 164714886 o2(x,o2(o2(x,x),x)) true 76263 76263 -0.02573 0.4855 0.9438 0.9224 0.9604 -1 1 2 1 1.95 0.001369 0.00433 0.02355 -0.5195 1 0.000219 0.002143 0.01278 0.005142 0.07171 3.045 0.597 0.006179 0.002324 1 1 0.01003 0.0818 0.2727 0.01088 0.08868 0.2956 json
t20_x57_u0_b10 20 57 0 10 add(R,add(dst(P,D),P)) 170983 164714887 o2(x,o2(o2(x,x),x)) true 76271 76271 0.8955 0.9663 0.9091 0.08058 0.2839 -0.6576 1 1.658 1 1.297 0.0005728 0.0007106 0.01245 -0.1074 1 -0.00006965 0.0002545 0.004328 0.001128 0.03358 2.697 0.2849 0.01593 0.003158 1 1 0.002918 0.02945 0.08718 0.03621 0.3654 1.082 json
t20_x57_u0_b11 20 57 0 11 add(R,sub(add(P,D),P)) 170984 164714888 o2(x,o2(o2(x,x),x)) true 76279 76279 0.009078 0.4986 0.4013 0.2304 0.48 -1 1 2 1 4.899 0.004471 0.003165 0.07546 0.1709 1 0.00002869 0.0006263 0.01935 0.001942 0.04407 0.584 0.2845 0.03314 0.002718 1 1 0.01508 0.1746 0.3904 0.06546 0.7577 1.694 json
t20_x57_u0_b12 20 57 0 12 add(R,sub(sub(P,D),P)) 170985 164714889 o2(x,o2(o2(x,x),x)) true 76287 76287 0.009165 0.4978 0.4005 0.2287 0.4782 -1 1 2 1 4.894 0.004393 0.003164 0.07461 0.1626 1 0.00003074 0.0006179 0.01902 0.001989 0.0446 0.5978 0.2561 0.03305 0.002702 1 1 0.01479 0.1717 0.3901 0.06468 0.751 1.706 json
t20_x57_u0_b13 20 57 0 13 add(R,sub(mlt(P,D),P)) 170986 164714890 o2(x,o2(o2(x,x),x)) true 76295 76295 -0.009874 0.4905 0.9368 0.9121 0.955 -1 1 2 1 2.042 0.001355 0.0003891 0.01278 0.5537 1 -0.00001966 0.0003821 0.004721 0.00158 0.03975 3.11 0.3118 0.001912 0.0004189 1 1 0.004255 0.04586 0.2626 0.004665 0.05029 0.2879 json
t20_x57_u0_b14 20 57 0 14 add(R,sub(div(P,D),P)) 170987 164714891 o2(x,o2(o2(x,x),x)) true 76303 76303 -0.1271 0.4312 0.9475 0.9119 0.9549 -1 1 2 1 1.845 0.3895 0.0002668 0.2308 0.9986 1 -0.000004598 0.7218 0.4058 0.3365 0.5801 2.513 2.004 0.4274 0.7916 1 1 0.4059 1.467 0.2846 0.4451 1.609 0.3121 json
t20_x57_u0_b15 20 57 0 15 add(R,sub(pow(P,D),P)) 170988 164714892 o2(x,o2(o2(x,x),x)) true 76311 76311 -0.8928 0.04909 0.9354 0.1165 0.3413 -1 0.943 1.943 1 1.095 0.005388 0.0004131 0.01488 0.8576 1 -0.00001407 0.008751 0.01037 0.005581 0.07471 5.02 1.829 0.04979 0.07511 1 1 0.009668 0.06586 0.1831 0.08298 0.5653 1.572 json
t20_x57_u0_b16 20 57 0 16 add(R,sub(mod(P,D),P)) 170989 164714893 o2(x,o2(o2(x,x),x)) true 76319 76319 0.005658 0.4973 0.9265 0.9002 0.9488 -1 1 2 1 2.119 0.001766 0.0004392 0.01444 0.6017 1 -0.00002084 0.001916 0.01208 0.001996 0.04468 3.095 0.5053 0.00245 0.002128 1 1 0.004451 0.04485 0.2514 0.004945 0.04983 0.2792 json
t20_x57_u0_b17 20 57 0 17 add(R,sub(lrg(P,D),P)) 170990 164714894 o2(x,o2(o2(x,x),x)) true 76327 76327 0.09437 0.5506 0.9174 0.8791 0.9376 -1 1 2 1 2.241 0.003967 0.0005488 0.01702 0.7569 1 -0.00003246 0.005887 0.01059 0.004226 0.06501 3.819 1.013 0.005137 0.006697 1 1 0.007655 0.06153 0.2357 0.008708 0.07 0.2682 json
t20_x57_u0_b18 20 57 0 18 add(R,sub(eql(P,D),P)) 170991 164714895 o2(x,o2(o2(x,x),x)) true 76335 76335 0.004612 0.4968 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_x57_u0_b19 20 57 0 19 add(R,sub(min(P,D),P)) 170992 164714896 o2(x,o2(o2(x,x),x)) true 76343 76343 -0.4536 0.2688 0.67 0.3653 0.6044 -1 0.9693 1.969 1 3.714 0.002153 0.001881 0.03855 0.06736 1 0.00002584 0.0004112 0.01023 0.002548 0.05047 1.309 0.2937 0.01104 0.001126 1 1 0.008571 0.1006 0.2808 0.02346 0.2753 0.7688 json
t20_x57_u0_b20 20 57 0 20 add(R,sub(dot(P,D),P)) 170993 164714897 o2(x,o2(o2(x,x),x)) true 76351 76351 -0.02819 0.4852 0.9382 0.9163 0.9572 -1 1 2 1 1.995 0.001359 0.005042 0.02568 -0.5754 1 0.0002068 0.002344 0.01386 0.005741 0.07577 2.951 0.6102 0.006986 0.002558 1 1 0.01053 0.08429 0.2707 0.01149 0.09199 0.2955 json
t20_x57_u0_b21 20 57 0 21 add(R,sub(dst(P,D),P)) 170994 164714898 o2(x,o2(o2(x,x),x)) true 76359 76359 0.8998 0.9624 0.9175 0.08276 0.2877 -0.6906 1 1.691 1 1.259 0.00069 0.0007699 0.01328 -0.05479 1 -0.00006594 0.0002523 0.004445 0.001283 0.03582 2.697 0.2838 0.01764 0.003048 1 1 0.003317 0.0353 0.1035 0.04009 0.4265 1.25 json
t20_x57_u0_b22 20 57 0 22 add(R,mlt(add(P,D),P)) 170995 164714899 o2(x,o2(o2(x,x),x)) true 76367 76367 0.9127 0.9639 0.9432 0.0892 0.2987 -0.9526 1 1.953 1 1.015 0.001303 0.0003401 0.01152 0.586 1 -0.0000323 0.0002686 0.00348 0.001509 0.03885 3.372 0.3118 0.01842 0.003011 1 1 0.003912 0.04686 0.1551 0.04385 0.5254 1.739 json
t20_x57_u0_b23 20 57 0 23 add(R,mlt(sub(P,D),P)) 170996 164714900 o2(x,o2(o2(x,x),x)) true 76375 76375 0.9362 0.9746 0.9575 0.06406 0.2531 -0.952 1 1.952 1 0.8525 0.00174 0.0002926 0.01182 0.7121 1 -0.00003274 0.0004996 0.004963 0.001893 0.0435 3.682 0.3773 0.03173 0.007798 1 1 0.004782 0.04815 0.113 0.07464 0.7517 1.764 json
t20_x57_u0_b24 20 57 0 24 add(R,mlt(mlt(P,D),P)) 170997 164714901 o2(x,o2(o2(x,x),x)) true 76383 76383 0.002369 0.4997 0.776 0.7036 0.8388 -1 1 2 1 3.521 0.1824 0.001386 0.1955 0.9849 1 -0.00002 0.2447 0.2162 0.1455 0.3815 1.952 2.011 0.2612 0.3478 1 1 0.1838 0.8598 0.2982 0.2612 1.222 0.4238 json
t20_x57_u0_b25 20 57 0 25 add(R,mlt(div(P,D),P)) 170998 164714902 o2(x,o2(o2(x,x),x)) true 76391 76391 -0.004305 0.4967 0.9594 0.9449 0.9721 -1 1 2 1 1.686 0.4195 0.0002123 0.2312 0.999 1 -0.000007741 0.8096 0.4283 0.3661 0.6051 2.617 2 0.4442 0.8567 1 1 0.4189 1.556 0.2351 0.4433 1.647 0.2488 json
t20_x57_u0_b26 20 57 0 26 add(R,mlt(pow(P,D),P)) 170999 164714903 o2(x,o2(o2(x,x),x)) true 76399 76399 -0.03785 0.4858 0.9743 0.9625 0.9811 -1 1 2 1 1.509 0.004957 0.0001743 0.009241 0.9321 1 -0.00001951 0.008635 0.008858 0.005049 0.07106 7.689 1.829 0.005332 0.008971 1 1 0.008049 0.05268 0.3022 0.008363 0.05473 0.3139 json