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_b28 20 56 0 28 add(R,mlt(lrg(P,P),R)) 170800 164674504 o2(x,o2(o2(x,x),x)) true 74807 74807 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_b29 20 56 0 29 add(R,mlt(eql(P,P),R)) 170801 164674505 o2(x,o2(o2(x,x),x)) true 74815 74815 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_b30 20 56 0 30 add(R,mlt(min(P,P),R)) 170802 164674506 o2(x,o2(o2(x,x),x)) true 74823 74823 -0.06496 0.4715 0.7252 0.6434 0.8021 -1 1 2 1 3.778 0.01726 0.01985 0.09398 -0.06994 1 -0.00004042 0.02076 0.0503 0.02827 0.1681 1.789 1.636 0.05768 0.03226 1 1 0.05307 0.4669 1.033 0.08249 0.7256 1.606 json
t20_x56_u0_b31 20 56 0 31 add(R,mlt(dot(P,P),R)) 170803 164674507 o2(x,o2(o2(x,x),x)) true 74831 74831 -0.008397 0.4967 0.964 0.952 0.9757 -1 1 2 1 1.622 0.07384 0.08729 0.1102 -0.08348 1 0.0000751 0.348 0.1744 0.149 0.386 3.503 2.828 0.1693 0.3656 1 1 0.1675 0.8469 1.679 0.176 0.8896 1.763 json
t20_x56_u0_b32 20 56 0 32 add(R,mlt(dst(P,P),R)) 170804 164674508 o2(x,o2(o2(x,x),x)) true 74839 74839 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_b33 20 56 0 33 add(R,div(add(P,P),R)) 170805 164674509 o2(x,o2(o2(x,x),x)) true 74847 74847 -0.04422 0.4769 0.9608 0.9453 0.9723 -1 1 2 1 1.668 0.08004 0.09893 0.1164 -0.1056 1 0.000007061 0.406 0.1927 0.1655 0.4068 3.494 2.828 0.1893 0.4295 1 1 0.1925 0.8933 1.954 0.2036 0.945 2.067 json
t20_x56_u0_b34 20 56 0 34 add(R,div(sub(P,P),R)) 170806 164674510 o2(x,o2(o2(x,x),x)) true 74855 74855 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_b35 20 56 0 35 add(R,div(mlt(P,P),R)) 170807 164674511 o2(x,o2(o2(x,x),x)) true 74863 74863 -0.05853 0.4704 0.9603 0.9432 0.9712 -1 1 2 1 1.67 0.08798 0.1065 0.1183 -0.09547 1 -0.00007543 0.476 0.2045 0.1805 0.4248 3.591 2.828 0.2062 0.5046 1 1 0.2 0.9059 1.83 0.2121 0.9605 1.94 json
t20_x56_u0_b36 20 56 0 36 add(R,div(div(P,P),R)) 170808 164674512 o2(x,o2(o2(x,x),x)) true 74871 74871 -0.184 0.4082 0.9335 0.8771 0.9366 -1 1 2 1 2.001 0.05026 0.03976 0.1064 0.1167 1 0.00003579 0.1119 0.1033 0.07866 0.2805 2.636 2.828 0.1026 0.1276 1 1 0.1254 0.7528 1.645 0.143 0.8582 1.875 json
t20_x56_u0_b37 20 56 0 37 add(R,div(pow(P,P),R)) 170809 164674513 o2(x,o2(o2(x,x),x)) true 74879 74879 -0.554 0.2227 0.9902 0.68 0.8246 -1 1 2 1 0.9635 0.05853 0.05906 0.06713 -0.004475 1 -0.000003983 0.2794 0.1205 0.113 0.3362 5.008 2.828 0.1729 0.4109 1 1 0.1221 0.5546 1.081 0.1796 0.8156 1.589 json
t20_x56_u0_b38 20 56 0 38 add(R,div(mod(P,P),R)) 170810 164674514 o2(x,o2(o2(x,x),x)) true 74887 74887 -0.1909 0.4036 0.7723 0.6681 0.8174 -1 1 2 1 3.386 0.03933 0.04181 0.09556 -0.03056 1 -0.00003993 0.1367 0.1067 0.072 0.2683 2.808 2.828 0.1215 0.2046 1 1 0.07435 0.4348 1.127 0.1113 0.6508 1.687 json
t20_x56_u0_b39 20 56 0 39 add(R,div(lrg(P,P),R)) 170811 164674515 o2(x,o2(o2(x,x),x)) true 74895 74895 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_b40 20 56 0 40 add(R,div(eql(P,P),R)) 170812 164674516 o2(x,o2(o2(x,x),x)) true 74903 74903 -0.05217 0.4738 0.9223 0.8933 0.9451 -1 1 2 1 2.166 0.03664 0.04494 0.1118 -0.1017 1 0.00003579 0.08412 0.09604 0.06907 0.2628 2.351 2.828 0.09133 0.09417 1 1 0.1261 0.8289 1.766 0.1412 0.9279 1.977 json
t20_x56_u0_b41 20 56 0 41 add(R,div(min(P,P),R)) 170813 164674517 o2(x,o2(o2(x,x),x)) true 74911 74911 -0.03845 0.4775 0.9334 0.9092 0.9535 -1 1 2 1 2.022 0.06408 0.07962 0.1136 -0.1082 1 -0.000004173 0.2841 0.1609 0.1307 0.3616 3.183 2.828 0.158 0.3125 1 1 0.1627 0.8381 1.858 0.1789 0.9218 2.043 json
t20_x56_u0_b42 20 56 0 42 add(R,div(dot(P,P),R)) 170814 164674518 o2(x,o2(o2(x,x),x)) true 74919 74919 -0.06057 0.4695 0.9918 0.9857 0.9928 -1 1 2 1 1.168 0.1066 0.1244 0.1203 -0.07701 1 0.00002104 0.6004 0.2359 0.2166 0.4654 3.869 2.828 0.2343 0.6091 1 1 0.2333 0.9884 1.939 0.2366 1.003 1.967 json
t20_x56_u0_b43 20 56 0 43 add(R,div(dst(P,P),R)) 170815 164674519 o2(x,o2(o2(x,x),x)) true 74927 74927 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_b44 20 56 0 44 add(R,pow(add(P,P),R)) 170816 164674520 o2(x,o2(o2(x,x),x)) true 74935 74935 -0.2644 0.3843 0.8836 0.7773 0.8817 -1 1 2 1 2.424 0.01533 0.007847 0.03783 0.323 1 -0.0001205 0.03751 0.03362 0.02175 0.1475 3.898 2.828 0.02982 0.04826 1 1 0.03297 0.1849 0.512 0.04242 0.2379 0.6587 json
t20_x56_u0_b45 20 56 0 45 add(R,pow(sub(P,P),R)) 170817 164674521 o2(x,o2(o2(x,x),x)) true 74943 74943 -0.8155 0.1016 0.9813 0.3072 0.5543 -1 1 2 1 0.7279 0.03404 0.03871 0.03986 -0.06413 1 0.000008536 0.1539 0.07812 0.07119 0.2668 6.693 2.828 0.2368 0.5008 1 1 0.06938 0.2888 0.6387 0.2258 0.9399 2.079 json
t20_x56_u0_b46 20 56 0 46 add(R,pow(mlt(P,P),R)) 170818 164674522 o2(x,o2(o2(x,x),x)) true 74951 74951 0.5258 0.7885 0.8 0.4599 0.6782 -1 1 2 1 3.032 0.02835 0.01744 0.07165 0.2383 1 -0.0003092 0.07097 0.06633 0.04065 0.2016 2.814 2.828 0.09956 0.1543 1 1 0.06785 0.3652 0.8666 0.1475 0.794 1.884 json
t20_x56_u0_b47 20 56 0 47 add(R,pow(div(P,P),R)) 170819 164674523 o2(x,o2(o2(x,x),x)) true 74959 74959 0.5813 0.875 0.8313 0.4179 0.6464 -1 1 2 1 2.932 0.02933 0.001281 0.04111 0.9163 1 -0.00003936 0.0572 0.04012 0.02893 0.1701 4.138 2.006 0.07325 0.1369 1 1 0.04154 0.1912 0.6525 0.0994 0.4575 1.561 json
t20_x56_u0_b48 20 56 0 48 add(R,pow(pow(P,P),R)) 170820 164674524 o2(x,o2(o2(x,x),x)) true 74967 74967 -0.1549 0.4308 0.9066 0.8534 0.9238 -1 1 2 1 2.283 0.018 0.00786 0.03702 0.3922 1 -0.00009009 0.04303 0.03936 0.02448 0.1565 4.226 2.267 0.0303 0.05042 1 1 0.03476 0.1785 0.5119 0.04072 0.2091 0.5998 json
t20_x56_u0_b49 20 56 0 49 add(R,pow(mod(P,P),R)) 170821 164674525 o2(x,o2(o2(x,x),x)) true 74975 74975 -0.7147 0.1494 0.9694 0.4477 0.6691 -1 1 2 1 1.077 0.04269 0.03108 0.04492 0.1575 1 -0.00003551 0.1525 0.08122 0.07173 0.2678 5.962 2.828 0.1648 0.3407 1 1 0.07849 0.3371 0.7122 0.1753 0.753 1.591 json
t20_x56_u0_b50 20 56 0 50 add(R,pow(lrg(P,P),R)) 170822 164674526 o2(x,o2(o2(x,x),x)) true 74983 74983 -0.8155 0.1016 0.9813 0.3072 0.5543 -1 1 2 1 0.7279 0.03404 0.03871 0.03986 -0.06413 1 0.000008536 0.1539 0.07812 0.07119 0.2668 6.693 2.828 0.2368 0.5008 1 1 0.06938 0.2888 0.6387 0.2258 0.9399 2.079 json
t20_x56_u0_b51 20 56 0 51 add(R,pow(eql(P,P),R)) 170823 164674527 o2(x,o2(o2(x,x),x)) true 74991 74991 0.8072 1 0.8072 0.06917 0.263 0.001146 1 0.9989 1 2.721 0.00124 0.001463 0.03034 -0.08261 1 -0.00006109 0.0006685 0.01204 0.001783 0.04223 1.392 0.223 0.03908 0.009664 1 1 0.004971 0.05068 0.113 0.07186 0.7327 1.634 json
t20_x56_u0_b52 20 56 0 52 add(R,pow(min(P,P),R)) 170824 164674528 o2(x,o2(o2(x,x),x)) true 74999 74999 -0.2531 0.3972 0.8819 0.7777 0.8819 -1 1 2 1 2.46 0.01506 0.007065 0.03518 0.3614 1 -0.00008497 0.03778 0.03113 0.02088 0.1445 4.108 2.828 0.02845 0.04857 1 1 0.03105 0.1666 0.4903 0.03992 0.2142 0.6304 json
t20_x56_u0_b53 20 56 0 53 add(R,pow(dot(P,P),R)) 170825 164674529 o2(x,o2(o2(x,x),x)) true 75007 75007 0.6524 0.8326 0.7959 0.31 0.5568 -0.9768 1 1.977 1 2.675 0.01103 0.01292 0.06665 -0.07894 1 -0.0008228 0.01685 0.04699 0.01952 0.1397 2.096 1.38 0.07727 0.05434 1 1 0.03761 0.2639 0.5124 0.1213 0.8513 1.653 json
t20_x56_u0_b54 20 56 0 54 add(R,pow(dst(P,P),R)) 170826 164674530 o2(x,o2(o2(x,x),x)) true 75015 75015 -0.8155 0.1016 0.9813 0.3072 0.5543 -1 1 2 1 0.7279 0.03404 0.03871 0.03986 -0.06413 1 0.000008536 0.1539 0.07812 0.07119 0.2668 6.693 2.828 0.2368 0.5008 1 1 0.06938 0.2888 0.6387 0.2258 0.9399 2.079 json
t20_x56_u0_b55 20 56 0 55 add(R,mod(add(P,P),R)) 170827 164674531 o2(x,o2(o2(x,x),x)) true 75023 75023 0.01408 0.5064 0.3835 0.2354 0.4851 -1 1 2 1 4.796 0.002938 0.002941 0.05906 -0.0005577 1 0.000004952 0.0005311 0.01454 0.002392 0.04891 0.8282 0.2762 0.02498 0.002257 1 1 0.01168 0.1455 0.389 0.04962 0.618 1.653 json
t20_x56_u0_b56 20 56 0 56 add(R,mod(sub(P,P),R)) 170828 164674532 o2(x,o2(o2(x,x),x)) true 75031 75031 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_b57 20 56 0 57 add(R,mod(mlt(P,P),R)) 170829 164674533 o2(x,o2(o2(x,x),x)) true 75039 75039 0.2106 0.5985 0.4119 0.2239 0.4732 -0.9949 1 1.995 1 4.621 0.003253 0.003415 0.0622 -0.02427 1 -0.0000387 0.0006542 0.01572 0.0028 0.05291 0.8507 0.2658 0.02978 0.002921 1 1 0.01323 0.1629 0.4039 0.0591 0.7273 1.804 json
t20_x56_u0_b58 20 56 0 58 add(R,mod(div(P,P),R)) 170830 164674534 o2(x,o2(o2(x,x),x)) true 75047 75047 0.03008 0.5214 0.4842 0.3535 0.5946 -1 1 2 1 4.693 0.01925 0.002828 0.06434 0.7438 1 0.00004896 0.03444 0.03413 0.01794 0.1339 2.082 2 0.06245 0.09742 1 1 0.02983 0.2007 0.5937 0.08439 0.5676 1.679 json
t20_x56_u0_b59 20 56 0 59 add(R,mod(pow(P,P),R)) 170831 164674535 o2(x,o2(o2(x,x),x)) true 75055 75055 -0.392 0.2964 0.6949 0.4729 0.6877 -1 1 2 1 3.262 0.007554 0.00154 0.03529 0.6612 1 -0.00003785 0.01213 0.01625 0.007851 0.0886 2.511 2 0.01923 0.02566 1 1 0.01435 0.1094 0.3309 0.03035 0.2313 0.6998 json
t20_x56_u0_b60 20 56 0 60 add(R,mod(mod(P,P),R)) 170832 164674536 o2(x,o2(o2(x,x),x)) true 75063 75063 -0.1117 0.4375 0.4569 0.3024 0.5499 -1 1 2 1 4.706 0.01602 0.002762 0.06329 0.7059 1 0.0000428 0.02759 0.03186 0.01478 0.1216 1.921 1.943 0.06211 0.09125 1 1 0.02583 0.1819 0.5034 0.08542 0.6015 1.665 json
t20_x56_u0_b61 20 56 0 61 add(R,mod(lrg(P,P),R)) 170833 164674537 o2(x,o2(o2(x,x),x)) true 75071 75071 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_b62 20 56 0 62 add(R,mod(eql(P,P),R)) 170834 164674538 o2(x,o2(o2(x,x),x)) true 75079 75079 0.1821 0.5981 0.4149 0.2318 0.4815 -0.9977 1 1.998 1 4.769 0.002745 0.003209 0.06214 -0.07799 1 0.00002682 0.0003444 0.01427 0.002093 0.04575 0.7363 0.2335 0.02568 0.001485 1 1 0.012 0.1544 0.4226 0.05177 0.6658 1.823 json
t20_x56_u0_b63 20 56 0 63 add(R,mod(min(P,P),R)) 170835 164674539 o2(x,o2(o2(x,x),x)) true 75087 75087 0.02315 0.515 0.3888 0.2397 0.4896 -1 1 2 1 4.824 0.003053 0.00298 0.06004 0.01202 1 0.000006444 0.0005166 0.01464 0.002428 0.04927 0.8207 0.2889 0.02517 0.002155 1 1 0.01166 0.1454 0.3941 0.04864 0.6065 1.644 json
t20_x56_u0_b64 20 56 0 64 add(R,mod(dot(P,P),R)) 170836 164674540 o2(x,o2(o2(x,x),x)) true 75095 75095 0.2245 0.6106 0.4211 0.2302 0.4798 -0.9613 1 1.961 1 4.635 0.003225 0.003587 0.06287 -0.05314 1 -0.00001781 0.0007055 0.01606 0.002859 0.05347 0.8505 0.2903 0.02959 0.003064 1 1 0.01355 0.1663 0.4301 0.05885 0.7224 1.868 json
t20_x56_u0_b65 20 56 0 65 add(R,mod(dst(P,P),R)) 170837 164674541 o2(x,o2(o2(x,x),x)) true 75103 75103 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_b66 20 56 0 66 add(R,lrg(add(P,P),R)) 170838 164674542 o2(x,o2(o2(x,x),x)) true 75111 75111 0.4268 0.7835 0.5923 0.2729 0.5224 -0.9989 1 1.999 1 4.386 0.001918 0.002319 0.04668 -0.09461 1 -0.00001029 0.0004999 0.01321 0.002058 0.04537 0.9719 0.2301 0.01552 0.001832 1 1 0.008011 0.09607 0.2704 0.02935 0.352 0.9906 json
t20_x56_u0_b67 20 56 0 67 add(R,lrg(sub(P,P),R)) 170839 164674543 o2(x,o2(o2(x,x),x)) true 75119 75119 0.5266 1 0.5266 0.05091 0.2256 0.001084 0.997 0.9959 1 3.815 0.0007236 0.0006853 0.03089 0.02719 1 0.00004432 0.00008334 0.007111 0.0004549 0.02133 0.6905 0.1132 0.02767 0.001637 1 1 0.002542 0.03267 0.08567 0.04993 0.6416 1.683 json
t20_x56_u0_b68 20 56 0 68 add(R,lrg(mlt(P,P),R)) 170840 164674544 o2(x,o2(o2(x,x),x)) true 75127 75127 0.7937 1 0.7937 0.07049 0.2655 0.001146 1 0.9989 1 2.842 0.001347 0.001402 0.0313 -0.02007 1 -0.00005539 0.0006731 0.01223 0.001769 0.04206 1.344 0.223 0.039 0.009548 1 1 0.004983 0.0511 0.111 0.07068 0.7249 1.574 json
t20_x56_u0_b69 20 56 0 69 add(R,lrg(div(P,P),R)) 170841 164674545 o2(x,o2(o2(x,x),x)) true 75135 75135 0.8072 1 0.8072 0.06917 0.263 0.001146 1 0.9989 1 2.721 0.00124 0.001463 0.03034 -0.08261 1 -0.00006109 0.0006685 0.01204 0.001783 0.04223 1.392 0.223 0.03908 0.009664 1 1 0.004971 0.05068 0.113 0.07186 0.7327 1.634 json
t20_x56_u0_b70 20 56 0 70 add(R,lrg(pow(P,P),R)) 170842 164674546 o2(x,o2(o2(x,x),x)) true 75143 75143 0.8072 1 0.8072 0.06917 0.263 0.001146 1 0.9989 1 2.721 0.00124 0.001463 0.03034 -0.08261 1 -0.00006109 0.0006685 0.01204 0.001783 0.04223 1.392 0.223 0.03908 0.009664 1 1 0.004971 0.05068 0.113 0.07186 0.7327 1.634 json
t20_x56_u0_b71 20 56 0 71 add(R,lrg(mod(P,P),R)) 170843 164674547 o2(x,o2(o2(x,x),x)) true 75151 75151 0.51 0.9268 0.5555 0.1292 0.3595 -0.9742 1 1.974 1 4.246 0.00156 0.001357 0.04057 0.06964 1 0.00002649 0.0003093 0.0106 0.001271 0.03565 0.8787 0.2122 0.02257 0.002393 1 1 0.004694 0.05677 0.1481 0.03633 0.4393 1.146 json
t20_x56_u0_b72 20 56 0 72 add(R,lrg(lrg(P,P),R)) 170844 164674548 o2(x,o2(o2(x,x),x)) true 75159 75159 0.5266 1 0.5266 0.05091 0.2256 0.001084 0.997 0.9959 1 3.815 0.0007236 0.0006853 0.03089 0.02719 1 0.00004432 0.00008334 0.007111 0.0004549 0.02133 0.6905 0.1132 0.02767 0.001637 1 1 0.002542 0.03267 0.08567 0.04993 0.6416 1.683 json
t20_x56_u0_b73 20 56 0 73 add(R,lrg(eql(P,P),R)) 170845 164674549 o2(x,o2(o2(x,x),x)) true 75167 75167 0.8072 1 0.8072 0.06917 0.263 0.001146 1 0.9989 1 2.721 0.00124 0.001463 0.03034 -0.08261 1 -0.00006109 0.0006685 0.01204 0.001783 0.04223 1.392 0.223 0.03908 0.009664 1 1 0.004971 0.05068 0.113 0.07186 0.7327 1.634 json
t20_x56_u0_b74 20 56 0 74 add(R,lrg(min(P,P),R)) 170846 164674550 o2(x,o2(o2(x,x),x)) true 75175 75175 0.4268 0.7835 0.5923 0.2729 0.5224 -0.9989 1 1.999 1 4.386 0.001918 0.002319 0.04668 -0.09461 1 -0.00001029 0.0004999 0.01321 0.002058 0.04537 0.9719 0.2301 0.01552 0.001832 1 1 0.008011 0.09607 0.2704 0.02935 0.352 0.9906 json
t20_x56_u0_b75 20 56 0 75 add(R,lrg(dot(P,P),R)) 170847 164674551 o2(x,o2(o2(x,x),x)) true 75183 75183 0.806 1 0.806 0.06906 0.2628 0.001146 1 0.9989 1 2.738 0.001241 0.00146 0.03043 -0.0809 1 -0.00006109 0.0006643 0.01203 0.001774 0.04212 1.384 0.223 0.03911 0.009619 1 1 0.004964 0.05071 0.1125 0.07188 0.7344 1.629 json
t20_x56_u0_b76 20 56 0 76 add(R,lrg(dst(P,P),R)) 170848 164674552 o2(x,o2(o2(x,x),x)) true 75191 75191 0.5266 1 0.5266 0.05091 0.2256 0.001084 0.997 0.9959 1 3.815 0.0007236 0.0006853 0.03089 0.02719 1 0.00004432 0.00008334 0.007111 0.0004549 0.02133 0.6905 0.1132 0.02767 0.001637 1 1 0.002542 0.03267 0.08567 0.04993 0.6416 1.683 json
t20_x56_u0_b77 20 56 0 77 add(R,eql(add(P,P),R)) 170849 164674553 o2(x,o2(o2(x,x),x)) true 75199 75199 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_b78 20 56 0 78 add(R,eql(sub(P,P),R)) 170850 164674554 o2(x,o2(o2(x,x),x)) true 75207 75207 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_b79 20 56 0 79 add(R,eql(mlt(P,P),R)) 170851 164674555 o2(x,o2(o2(x,x),x)) true 75215 75215 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_b80 20 56 0 80 add(R,eql(div(P,P),R)) 170852 164674556 o2(x,o2(o2(x,x),x)) true 75223 75223 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_b81 20 56 0 81 add(R,eql(pow(P,P),R)) 170853 164674557 o2(x,o2(o2(x,x),x)) true 75231 75231 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_b82 20 56 0 82 add(R,eql(mod(P,P),R)) 170854 164674558 o2(x,o2(o2(x,x),x)) true 75239 75239 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_b83 20 56 0 83 add(R,eql(lrg(P,P),R)) 170855 164674559 o2(x,o2(o2(x,x),x)) true 75247 75247 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_b84 20 56 0 84 add(R,eql(eql(P,P),R)) 170856 164674560 o2(x,o2(o2(x,x),x)) true 75255 75255 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_b85 20 56 0 85 add(R,eql(min(P,P),R)) 170857 164674561 o2(x,o2(o2(x,x),x)) true 75263 75263 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_b86 20 56 0 86 add(R,eql(dot(P,P),R)) 170858 164674562 o2(x,o2(o2(x,x),x)) true 75271 75271 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_b87 20 56 0 87 add(R,eql(dst(P,P),R)) 170859 164674563 o2(x,o2(o2(x,x),x)) true 75279 75279 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_b88 20 56 0 88 add(R,min(add(P,P),R)) 170860 164674564 o2(x,o2(o2(x,x),x)) true 75287 75287 -0.5037 0.2403 0.8113 0.4957 0.704 -1 1 2 1 2.985 0.005197 0.004714 0.05142 0.04875 1 -0.000005468 0.001654 0.01592 0.007269 0.08526 1.658 0.438 0.01999 0.003337 1 1 0.01982 0.2263 0.5964 0.03998 0.4566 1.203 json
t20_x56_u0_b89 20 56 0 89 add(R,min(sub(P,P),R)) 170861 164674565 o2(x,o2(o2(x,x),x)) true 75295 75295 -0.1786 0.4229 0.5355 0.3565 0.597 -1 0.9804 1.98 1 4.683 0.005248 0.005892 0.07878 -0.05786 1 0.0001125 0.001381 0.0214 0.004933 0.07024 0.8915 0.3468 0.03125 0.003875 1 1 0.02169 0.2587 0.6278 0.06083 0.7256 1.761 json
t20_x56_u0_b90 20 56 0 90 add(R,min(mlt(P,P),R)) 170862 164674566 o2(x,o2(o2(x,x),x)) true 75303 75303 0.002276 0.4947 0.6508 0.5354 0.7317 -1 1 2 1 4.44 0.008625 0.009568 0.0929 -0.05187 1 0.00003047 0.003107 0.02848 0.009563 0.09779 1.053 0.4602 0.03398 0.005804 1 1 0.03523 0.3966 0.9362 0.06581 0.7408 1.749 json
t20_x56_u0_b91 20 56 0 91 add(R,min(div(P,P),R)) 170863 164674567 o2(x,o2(o2(x,x),x)) true 75311 75311 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_b92 20 56 0 92 add(R,min(pow(P,P),R)) 170864 164674568 o2(x,o2(o2(x,x),x)) true 75319 75319 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_b93 20 56 0 93 add(R,min(mod(P,P),R)) 170865 164674569 o2(x,o2(o2(x,x),x)) true 75327 75327 -0.3572 0.3181 0.681 0.4496 0.6706 -1 1 2 1 3.999 0.008659 0.005537 0.07391 0.2199 1 0.0006234 0.003313 0.02581 0.008734 0.09346 1.264 0.693 0.03157 0.007368 1 1 0.02639 0.2942 0.7185 0.0587 0.6542 1.598 json
t20_x56_u0_b94 20 56 0 94 add(R,min(lrg(P,P),R)) 170866 164674570 o2(x,o2(o2(x,x),x)) true 75335 75335 -0.1786 0.4229 0.5355 0.3565 0.597 -1 0.9804 1.98 1 4.683 0.005248 0.005892 0.07878 -0.05786 1 0.0001125 0.001381 0.0214 0.004933 0.07024 0.8915 0.3468 0.03125 0.003875 1 1 0.02169 0.2587 0.6278 0.06083 0.7256 1.761 json
t20_x56_u0_b95 20 56 0 95 add(R,min(eql(P,P),R)) 170867 164674571 o2(x,o2(o2(x,x),x)) true 75343 75343 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_b96 20 56 0 96 add(R,min(min(P,P),R)) 170868 164674572 o2(x,o2(o2(x,x),x)) true 75351 75351 -0.4858 0.2433 0.7951 0.491 0.7007 -1 1 2 1 3.163 0.005138 0.004837 0.05358 0.03013 1 -0.000006204 0.001663 0.01663 0.007102 0.08428 1.573 0.438 0.02032 0.003387 1 1 0.01984 0.2283 0.5964 0.04042 0.465 1.215 json
t20_x56_u0_b97 20 56 0 97 add(R,min(dot(P,P),R)) 170869 164674573 o2(x,o2(o2(x,x),x)) true 75359 75359 0.01143 0.4974 0.6574 0.5436 0.7373 -1 1 2 1 4.418 0.00868 0.00972 0.09328 -0.05657 1 0.00002908 0.003134 0.02861 0.009699 0.09849 1.056 0.4602 0.03385 0.005766 1 1 0.03597 0.4056 0.97 0.06617 0.7461 1.784 json
t20_x56_u0_b98 20 56 0 98 add(R,min(dst(P,P),R)) 170870 164674574 o2(x,o2(o2(x,x),x)) true 75367 75367 -0.1786 0.4229 0.5355 0.3565 0.597 -1 0.9804 1.98 1 4.683 0.005248 0.005892 0.07878 -0.05786 1 0.0001125 0.001381 0.0214 0.004933 0.07024 0.8915 0.3468 0.03125 0.003875 1 1 0.02169 0.2587 0.6278 0.06083 0.7256 1.761 json
t20_x56_u0_b99 20 56 0 99 add(R,dot(add(P,P),R)) 170871 164674575 o2(x,o2(o2(x,x),x)) true 75375 75375 -0.09423 0.4559 0.9141 0.8768 0.9364 -1 1 2 1 2.246 0.04157 0.05564 0.1058 -0.1448 1 0.00003263 0.136 0.1169 0.08606 0.2934 2.774 2.828 0.1109 0.1552 1 1 0.1148 0.7025 1.574 0.1309 0.8011 1.795 json
t20_x56_u0_b100 20 56 0 100 add(R,dot(sub(P,P),R)) 170872 164674576 o2(x,o2(o2(x,x),x)) true 75383 75383 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_b101 20 56 0 101 add(R,dot(mlt(P,P),R)) 170873 164674577 o2(x,o2(o2(x,x),x)) true 75391 75391 0.06958 0.5365 0.9476 0.9259 0.9623 -1 1 2 1 1.82 0.07465 0.08458 0.1149 -0.06234 1 0.000007205 0.3357 0.1749 0.1461 0.3822 3.327 2.828 0.172 0.3626 1 1 0.1544 0.8044 1.743 0.1667 0.8688 1.882 json
t20_x56_u0_b102 20 56 0 102 add(R,dot(div(P,P),R)) 170874 164674578 o2(x,o2(o2(x,x),x)) true 75399 75399 -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_b103 20 56 0 103 add(R,dot(pow(P,P),R)) 170875 164674579 o2(x,o2(o2(x,x),x)) true 75407 75407 -0.7287 0.1361 0.9953 0.4629 0.6804 -1 1 2 1 0.6727 0.02985 0.03335 0.03369 -0.05532 1 1.201e-10 0.1593 0.06444 0.06208 0.2491 7.394 2.828 0.1365 0.3442 1 1 0.06223 0.2843 0.6454 0.1344 0.6142 1.394 json
t20_x56_u0_b104 20 56 0 104 add(R,dot(mod(P,P),R)) 170876 164674580 o2(x,o2(o2(x,x),x)) true 75415 75415 -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_b105 20 56 0 105 add(R,dot(lrg(P,P),R)) 170877 164674581 o2(x,o2(o2(x,x),x)) true 75423 75423 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_b106 20 56 0 106 add(R,dot(eql(P,P),R)) 170878 164674582 o2(x,o2(o2(x,x),x)) true 75431 75431 0.00573 0.4995 0.6818 0.5786 0.7607 -1 1 2 1 4.25 0.009738 0.01113 0.09326 -0.06693 1 0.00005499 0.004712 0.03212 0.01217 0.1103 1.183 0.6182 0.03607 0.008144 1 1 0.0405 0.4178 1.043 0.07 0.722 1.803 json
t20_x56_u0_b107 20 56 0 107 add(R,dot(min(P,P),R)) 170879 164674583 o2(x,o2(o2(x,x),x)) true 75439 75439 -0.09424 0.4515 0.8434 0.7877 0.8875 -1 1 2 1 2.905 0.02502 0.03254 0.1011 -0.1307 1 0.00005125 0.04614 0.07442 0.04735 0.2176 2.152 1.829 0.07307 0.05858 1 1 0.07397 0.5701 1.385 0.0939 0.7237 1.758 json
t20_x56_u0_b108 20 56 0 108 add(R,dot(dot(P,P),R)) 170880 164674584 o2(x,o2(o2(x,x),x)) true 75447 75447 0.01442 0.5089 0.971 0.961 0.9803 -1 1 2 1 1.517 0.09456 0.09305 0.116 0.008029 1 0.00009331 0.4363 0.2007 0.1743 0.4175 3.6 2.828 0.1952 0.454 1 1 0.1839 0.8582 1.737 0.1913 0.893 1.807 json
t20_x56_u0_b109 20 56 0 109 add(R,dot(dst(P,P),R)) 170881 164674585 o2(x,o2(o2(x,x),x)) true 75455 75455 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_b110 20 56 0 110 add(R,dst(add(P,P),R)) 170882 164674586 o2(x,o2(o2(x,x),x)) true 75463 75463 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t20_x56_u0_b111 20 56 0 111 add(R,dst(sub(P,P),R)) 170883 164674587 o2(x,o2(o2(x,x),x)) true 75471 75471 0.7698 1 0.7698 0.07179 0.2679 0.03077 1 0.9692 1 2.953 0.001474 0.001584 0.03376 -0.03597 1 -0.00007251 0.000832 0.01385 0.001919 0.0438 1.298 0.2336 0.0426 0.01159 1 1 0.00568 0.0565 0.13 0.07911 0.7869 1.81 json
t20_x56_u0_b112 20 56 0 112 add(R,dst(mlt(P,P),R)) 170884 164674588 o2(x,o2(o2(x,x),x)) true 75479 75479 0.999 1 0.999 0.0004917 0.02217 0.3241 1 0.6759 1 0.03583 0.00001776 0.000034 0.0003768 -0.3137 0 -2.253e-11 0.00002668 0.0002507 0.00005166 0.007187 19.07 0.2568 0.1053 0.05426 1 1 0.0001633 0.001295 0.001791 0.332 2.634 3.642 json
t20_x56_u0_b113 20 56 0 113 add(R,dst(div(P,P),R)) 170885 164674589 o2(x,o2(o2(x,x),x)) true 75487 75487 -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_b114 20 56 0 114 add(R,dst(pow(P,P),R)) 170886 164674590 o2(x,o2(o2(x,x),x)) true 75495 75495 -0.5 0.25 1 0.75 0.866 -1 1 2 1 0.8113 0.007937 0.007937 0.007937 0 1 0 0.03187 0.01587 0.01581 0.1257 15.84 2 0.02116 0.0425 1 1 0.02105 0.08421 0.3368 0.02807 0.1123 0.4491 json
t20_x56_u0_b115 20 56 0 115 add(R,dst(mod(P,P),R)) 170887 164674591 o2(x,o2(o2(x,x),x)) true 75503 75503 -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_b116 20 56 0 116 add(R,dst(lrg(P,P),R)) 170888 164674592 o2(x,o2(o2(x,x),x)) true 75511 75511 0.7698 1 0.7698 0.07179 0.2679 0.03077 1 0.9692 1 2.953 0.001474 0.001584 0.03376 -0.03597 1 -0.00007251 0.000832 0.01385 0.001919 0.0438 1.298 0.2336 0.0426 0.01159 1 1 0.00568 0.0565 0.13 0.07911 0.7869 1.81 json
t20_x56_u0_b117 20 56 0 117 add(R,dst(eql(P,P),R)) 170889 164674593 o2(x,o2(o2(x,x),x)) true 75519 75519 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t20_x56_u0_b118 20 56 0 118 add(R,dst(min(P,P),R)) 170890 164674594 o2(x,o2(o2(x,x),x)) true 75527 75527 0.9982 1 0.9982 0.000811 0.02848 0.3239 1 0.6761 1 0.06128 0.00003843 0.00004531 0.0006617 -0.08213 0 -4.318e-11 0.00004064 0.0004341 0.00008332 0.009128 13.8 0.238 0.1033 0.05011 1 1 0.000266 0.002125 0.002956 0.3279 2.62 3.645 json
t20_x56_u0_b119 20 56 0 119 add(R,dst(dot(P,P),R)) 170891 164674595 o2(x,o2(o2(x,x),x)) true 75535 75535 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t20_x56_u0_b120 20 56 0 120 add(R,dst(dst(P,P),R)) 170892 164674596 o2(x,o2(o2(x,x),x)) true 75543 75543 0.7698 1 0.7698 0.07179 0.2679 0.03077 1 0.9692 1 2.953 0.001474 0.001584 0.03376 -0.03597 1 -0.00007251 0.000832 0.01385 0.001919 0.0438 1.298 0.2336 0.0426 0.01159 1 1 0.00568 0.0565 0.13 0.07911 0.7869 1.81 json
t20_x56_u0_b121 20 56 0 121 sub(R,add(add(P,P),R)) 170893 164674597 o2(x,o2(o2(x,x),x)) true 75551 75551 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 8.615e-19 0.007937 1 1 -2.393e-11 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_x56_u0_b122 20 56 0 122 sub(R,add(sub(P,P),R)) 170894 164674598 o2(x,o2(o2(x,x),x)) true 75559 75559 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_b123 20 56 0 123 sub(R,add(mlt(P,P),R)) 170895 164674599 o2(x,o2(o2(x,x),x)) true 75567 75567 -0.9375 0 0.9375 0.04507 0.2123 -1 -0.000291 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t20_x56_u0_b124 20 56 0 124 sub(R,add(div(P,P),R)) 170896 164674600 o2(x,o2(o2(x,x),x)) true 75575 75575 -1 0 1 1.617e-15 4.021e-8 -1 -1 1.192e-7 1 0 1.244e-16 6.109e-17 3.084e-9 0.00006333 0 -6.942e-9 1.936e-15 8.121e-9 1.76e-16 1.327e-8 4.302 8.429e-8 0.0001855 0.001936 0 1 1.464e-16 6.83e-16 1.52e-15 0.0001464 0.000683 0.00152 json
t20_x56_u0_b125 20 56 0 125 sub(R,add(pow(P,P),R)) 170897 164674601 o2(x,o2(o2(x,x),x)) true 75583 75583 -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_b126 20 56 0 126 sub(R,add(mod(P,P),R)) 170898 164674602 o2(x,o2(o2(x,x),x)) true 75591 75591 -0.125 0.3125 0.6255 0.5899 0.768 -1 1 2 1 2.418 0.01617 0 0.03866 1 1 0 0.02037 0.03799 0.01467 0.1211 3.133 1 0.02741 0.03454 1 1 0.02392 0.1466 0.4242 0.04055 0.2485 0.7191 json
t20_x56_u0_b127 20 56 0 127 sub(R,add(lrg(P,P),R)) 170899 164674603 o2(x,o2(o2(x,x),x)) true 75599 75599 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