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
t19_x26_u6_b105 19 26 6 105 dot(R,lrg(nrm(R),R)) 159500 155343156 o2(x,o2(o1(x),x)) true 156007 156007 -0.1762 0.419 0.5241 0.3596 0.5996 -1 1 2 1 4.681 0.004083 0.005632 0.0733 -0.1594 1 0.00006018 0.00114 0.01951 0.004342 0.0659 0.899 0.3675 0.02702 0.003171 1 1 0.01819 0.2179 0.6465 0.05059 0.6059 1.798 json
t19_x26_u6_b106 19 26 6 106 dot(R,eql(nrm(R),R)) 159501 155343157 o2(x,o2(o1(x),x)) true 156015 156015 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
t19_x26_u6_b107 19 26 6 107 dot(R,min(nrm(R),R)) 159502 155343158 o2(x,o2(o1(x),x)) true 156023 156023 0.8731 1 0.8731 0.034 0.1844 0.01024 1 0.9898 1 2.359 0.0005451 0.0007331 0.02055 -0.1471 1 -0.00003123 0.0002661 0.00751 0.000856 0.02926 1.424 0.1702 0.03759 0.007827 1 1 0.002285 0.02499 0.05455 0.06721 0.735 1.604 json
t19_x26_u6_b108 19 26 6 108 dot(R,dot(nrm(R),R)) 159503 155343159 o2(x,o2(o1(x),x)) true 156031 156031 0.03096 0.5252 0.5321 0.4029 0.6348 -1 1 2 1 4.688 0.006508 0.007238 0.0812 -0.05309 1 0.000071 0.002711 0.02524 0.007152 0.08457 1.041 0.5582 0.03412 0.006729 1 1 0.02897 0.3155 0.789 0.07189 0.783 1.958 json
t19_x26_u6_b109 19 26 6 109 dot(R,dst(nrm(R),R)) 159504 155343160 o2(x,o2(o1(x),x)) true 156039 156039 0.01017 0.5124 0.1269 0.03086 0.1757 -0.8096 0.8361 1.646 1 3.46 0.0004483 0.0004588 0.02294 -0.01161 1 -0.000001335 0.00005344 0.005218 0.000381 0.01952 0.8509 0.1534 0.0294 0.001732 1 1 0.001847 0.0236 0.06308 0.05985 0.7648 2.044 json
t19_x26_u6_b110 19 26 6 110 dst(R,add(nrm(R),R)) 159505 155343161 o2(x,o2(o1(x),x)) true 156047 156047 1 1 1 2.395e-15 4.894e-8 1 1 1.192e-7 1 0 1.41e-16 1.384e-16 4.632e-9 0.000002573 0 1.005e-8 2.868e-15 1.203e-8 2.579e-16 1.606e-8 3.467 8.429e-8 0.0002794 0.002868 0 1 2.937e-16 1.315e-15 2.984e-15 0.0002937 0.001315 0.002984 json
t19_x26_u6_b111 19 26 6 111 dst(R,sub(nrm(R),R)) 159506 155343162 o2(x,o2(o1(x),x)) true 156055 156055 0.82 1 0.82 0.06284 0.2507 0.004074 1 0.9959 1 2.658 0.00111 0.001296 0.02902 -0.07742 1 -0.000033 0.0004894 0.0104 0.001563 0.03954 1.362 0.2219 0.03829 0.007789 1 1 0.004409 0.04823 0.1046 0.07017 0.7676 1.664 json
t19_x26_u6_b112 19 26 6 112 dst(R,mlt(nrm(R),R)) 159507 155343163 o2(x,o2(o1(x),x)) true 156063 156063 0.8451 1 0.8451 0.05051 0.2247 0.04063 1 0.9594 1 2.409 0.0009718 0.001128 0.02576 -0.07439 1 -0.00007444 0.0005298 0.01034 0.001437 0.0379 1.472 0.2234 0.04157 0.01049 1 1 0.003925 0.03988 0.08673 0.07772 0.7895 1.717 json
t19_x26_u6_b113 19 26 6 113 dst(R,div(nrm(R),R)) 159508 155343164 o2(x,o2(o1(x),x)) true 156071 156071 0.987 1 0.987 0.005959 0.07719 0.02769 1 0.9723 1 0.3507 0.0002538 0.0003572 0.004638 -0.1691 1 -7.37e-7 0.0002929 0.003208 0.0005897 0.02428 5.236 0.3043 0.1025 0.04916 1 1 0.001656 0.01282 0.01631 0.2779 2.151 2.737 json
t19_x26_u6_b114 19 26 6 114 dst(R,pow(nrm(R),R)) 159509 155343165 o2(x,o2(o1(x),x)) true 156079 156079 -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
t19_x26_u6_b115 19 26 6 115 dst(R,mod(nrm(R),R)) 159510 155343166 o2(x,o2(o1(x),x)) true 156087 156087 0.3536 1 0.3536 0.04624 0.215 0.004142 0.9948 0.9906 1 3.666 0.0005386 0.0006972 0.02757 -0.1284 1 0.00001653 0.00007308 0.006345 0.0004757 0.02181 0.7911 0.1109 0.02672 0.00158 1 1 0.002541 0.03278 0.1004 0.05494 0.7089 2.171 json
t19_x26_u6_b116 19 26 6 116 dst(R,lrg(nrm(R),R)) 159511 155343167 o2(x,o2(o1(x),x)) true 156095 156095 0.9649 1 0.9649 0.008623 0.09286 0.241 1 0.759 1 1.023 0.0002475 0.0003324 0.008619 -0.1464 1 -0.00005504 0.0002437 0.004949 0.0005057 0.02249 2.609 0.2121 0.06725 0.02826 1 1 0.0009795 0.00848 0.01571 0.1136 0.9834 1.822 json
t19_x26_u6_b117 19 26 6 117 dst(R,eql(nrm(R),R)) 159512 155343168 o2(x,o2(o1(x),x)) true 156103 156103 0.897 1 0.897 0.02252 0.1501 0.09951 1 0.9005 1 2.181 0.0003411 0.0004606 0.01666 -0.149 1 -0.00001961 0.000143 0.005703 0.0005243 0.0229 1.374 0.1266 0.0356 0.006351 1 1 0.001342 0.015 0.03485 0.05959 0.666 1.547 json
t19_x26_u6_b118 19 26 6 118 dst(R,min(nrm(R),R)) 159513 155343169 o2(x,o2(o1(x),x)) true 156111 156111 0.1531 0.9974 0.1531 0.01164 0.1079 1.562e-8 0.7601 0.7601 1 2.618 0.00017 0.0001953 0.01483 -0.06941 1 0.00000184 0.00002146 0.003416 0.0001455 0.01206 0.8134 0.0833 0.03137 0.001843 1 1 0.0006053 0.007753 0.01896 0.05198 0.6658 1.628 json
t19_x26_u6_b119 19 26 6 119 dst(R,dot(nrm(R),R)) 159514 155343170 o2(x,o2(o1(x),x)) true 156119 156119 0.9893 1 0.9893 0.003449 0.05872 0.0779 1 0.9221 1 0.3861 0.0001248 0.0001797 0.003527 -0.1801 1 -0.000007624 0.0001428 0.002396 0.0002923 0.0171 4.848 0.2638 0.0883 0.04141 1 1 0.0004031 0.003163 0.005536 0.1169 0.9173 1.605 json
t19_x26_u6_b120 19 26 6 120 dst(R,dst(nrm(R),R)) 159515 155343171 o2(x,o2(o1(x),x)) true 156127 156127 0.9577 1 0.9577 0.008125 0.09014 0.1585 1 0.8415 1 1.252 0.0001719 0.0001898 0.008545 -0.04952 1 -0.00002438 0.00008894 0.003543 0.0002887 0.01699 1.988 0.1637 0.04451 0.01095 1 1 0.0006051 0.006311 0.01418 0.07448 0.7768 1.746 json
t20_x0_u0_b0 20 0 0 0 add(P,add(add(P,P),P)) 159516 162412020 o2(x,o2(o2(x,x),x)) true 156135 156135 0 0.5 0.968 0.9627 0.9812 -1 1 2 1 1.379 0.001886 0 0.007937 1 1 0 0.0007715 0.005465 0.001822 0.04269 5.379 0.3455 0.001959 0.0008015 1 1 0.004491 0.03815 0.2866 0.004665 0.03963 0.2977 json
t20_x0_u0_b1 20 0 0 1 add(P,add(sub(P,P),P)) 159517 162412021 o2(x,o2(o2(x,x),x)) true 156143 156143 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_x0_u0_b2 20 0 0 2 add(P,add(mlt(P,P),P)) 159518 162412022 o2(x,o2(o2(x,x),x)) true 156151 156151 0.7766 0.875 0.9016 0.2791 0.5283 -0.9997 1 2 1 1.339 0.00248 0 0.01587 1 1 0 0.0008529 0.00673 0.002228 0.04721 2.974 0.3082 0.008886 0.003056 1 1 0.006012 0.0595 0.3923 0.02154 0.2132 1.406 json
t20_x0_u0_b3 20 0 0 3 add(P,add(div(P,P),P)) 159519 162412023 o2(x,o2(o2(x,x),x)) true 156159 156159 -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_x0_u0_b4 20 0 0 4 add(P,add(pow(P,P),P)) 159520 162412024 o2(x,o2(o2(x,x),x)) true 156167 156167 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t20_x0_u0_b5 20 0 0 5 add(P,add(mod(P,P),P)) 159521 162412025 o2(x,o2(o2(x,x),x)) true 156175 156175 -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_x0_u0_b6 20 0 0 6 add(P,add(lrg(P,P),P)) 159522 162412026 o2(x,o2(o2(x,x),x)) true 156183 156183 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_x0_u0_b7 20 0 0 7 add(P,add(eql(P,P),P)) 159523 162412027 o2(x,o2(o2(x,x),x)) true 156191 156191 0.0625 0.5313 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t20_x0_u0_b8 20 0 0 8 add(P,add(min(P,P),P)) 159524 162412028 o2(x,o2(o2(x,x),x)) true 156199 156199 0 0.5 0.9641 0.9583 0.9789 -1 1 2 1 1.379 0.001774 0 0.007937 1 1 0 0.0008204 0.004879 0.001711 0.04136 5.211 0.3082 0.001851 0.0008561 1 1 0.004162 0.03603 0.2806 0.004343 0.0376 0.2928 json
t20_x0_u0_b9 20 0 0 9 add(P,add(dot(P,P),P)) 159525 162412029 o2(x,o2(o2(x,x),x)) true 156207 156207 0.9804 0.9917 0.9871 0.02241 0.1497 -0.9994 1 1.999 1 0.2604 0.0002093 0.0002093 0.002881 -0.000001599 1 2.515e-10 0.0001231 0.001093 0.0004101 0.02025 7.029 0.3091 0.01868 0.005493 1 1 0.001383 0.01509 0.07651 0.06169 0.6734 3.414 json
t20_x0_u0_b10 20 0 0 10 add(P,add(dst(P,P),P)) 159526 162412030 o2(x,o2(o2(x,x),x)) true 156215 156215 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_x0_u0_b11 20 0 0 11 add(P,sub(add(P,P),P)) 159527 162412031 o2(x,o2(o2(x,x),x)) true 156223 156223 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_x0_u0_b12 20 0 0 12 add(P,sub(sub(P,P),P)) 159528 162412032 o2(x,o2(o2(x,x),x)) true 156231 156231 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_x0_u0_b13 20 0 0 13 add(P,sub(mlt(P,P),P)) 159529 162412033 o2(x,o2(o2(x,x),x)) true 156239 156239 0.9375 1 0.9375 0.04507 0.2123 0.000291 1 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_x0_u0_b14 20 0 0 14 add(P,sub(div(P,P),P)) 159530 162412034 o2(x,o2(o2(x,x),x)) true 156247 156247 0.75 0.875 1 0.4375 0.6614 -1 1 2 1 0.5436 0.03175 0 0.01587 1 1 7.569e-9 0.06349 0.03175 0.03149 0.1774 11.18 2 0.07256 0.1451 1 1 0.04211 0.1684 0.6737 0.09624 0.385 1.54 json
t20_x0_u0_b15 20 0 0 15 add(P,sub(pow(P,P),P)) 159531 162412035 o2(x,o2(o2(x,x),x)) true 156255 156255 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t20_x0_u0_b16 20 0 0 16 add(P,sub(mod(P,P),P)) 159532 162412036 o2(x,o2(o2(x,x),x)) true 156263 156263 -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_x0_u0_b17 20 0 0 17 add(P,sub(lrg(P,P),P)) 159533 162412037 o2(x,o2(o2(x,x),x)) true 156271 156271 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_x0_u0_b18 20 0 0 18 add(P,sub(eql(P,P),P)) 159534 162412038 o2(x,o2(o2(x,x),x)) true 156279 156279 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_x0_u0_b19 20 0 0 19 add(P,sub(min(P,P),P)) 159535 162412039 o2(x,o2(o2(x,x),x)) true 156287 156287 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_x0_u0_b20 20 0 0 20 add(P,sub(dot(P,P),P)) 159536 162412040 o2(x,o2(o2(x,x),x)) true 156295 156295 0.9967 1 0.9967 0.002206 0.04697 0.0005821 1 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_x0_u0_b21 20 0 0 21 add(P,sub(dst(P,P),P)) 159537 162412041 o2(x,o2(o2(x,x),x)) true 156303 156303 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_x0_u0_b22 20 0 0 22 add(P,mlt(add(P,P),P)) 159538 162412042 o2(x,o2(o2(x,x),x)) true 156311 156311 0.9508 1 0.9508 0.03707 0.1925 0.000291 1 0.9997 1 0.628 0.00124 0 0.007934 1 1 -9.461e-10 0.0004266 0.003374 0.001177 0.03431 4.325 0.3082 0.03344 0.01151 1 1 0.003006 0.02863 0.05319 0.08108 0.7722 1.435 json
t20_x0_u0_b23 20 0 0 23 add(P,mlt(sub(P,P),P)) 159539 162412043 o2(x,o2(o2(x,x),x)) true 156319 156319 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_x0_u0_b24 20 0 0 24 add(P,mlt(mlt(P,P),P)) 159540 162412044 o2(x,o2(o2(x,x),x)) true 156327 156327 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_x0_u0_b25 20 0 0 25 add(P,mlt(div(P,P),P)) 159541 162412045 o2(x,o2(o2(x,x),x)) true 156335 156335 -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_x0_u0_b26 20 0 0 26 add(P,mlt(pow(P,P),P)) 159542 162412046 o2(x,o2(o2(x,x),x)) true 156343 156343 -0.02152 0.5 0.9785 0.9739 0.9869 -1 1 2 1 1.244 0.004625 0 0.007937 1 1 -4.731e-10 0.007971 0.009631 0.00456 0.06753 8.509 1.001 0.004749 0.008185 1 1 0.006981 0.05009 0.3027 0.007168 0.05143 0.3108 json
t20_x0_u0_b27 20 0 0 27 add(P,mlt(mod(P,P),P)) 159543 162412047 o2(x,o2(o2(x,x),x)) true 156351 156351 0.3247 0.6602 0.9882 0.8789 0.9375 -1 1 2 1 1.116 0.05176 0 0.03968 1 1 0 0.08035 0.05622 0.05015 0.2239 5.643 2 0.05889 0.09142 1 1 0.06296 0.3154 0.7401 0.07163 0.3588 0.8421 json
t20_x0_u0_b28 20 0 0 28 add(P,mlt(lrg(P,P),P)) 159544 162412048 o2(x,o2(o2(x,x),x)) true 156359 156359 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_x0_u0_b29 20 0 0 29 add(P,mlt(eql(P,P),P)) 159545 162412049 o2(x,o2(o2(x,x),x)) true 156367 156367 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_x0_u0_b30 20 0 0 30 add(P,mlt(min(P,P),P)) 159546 162412050 o2(x,o2(o2(x,x),x)) true 156375 156375 0.8944 0.9375 0.8944 0.08685 0.2947 0 1 1 1 0.7463 0.001303 0 0.007937 1 1 -1.892e-9 0.0002682 0.003596 0.001241 0.03522 4.438 0.2265 0.01501 0.003088 1 1 0.003279 0.03186 0.132 0.03776 0.3669 1.52 json
t20_x0_u0_b31 20 0 0 31 add(P,mlt(dot(P,P),P)) 159547 162412051 o2(x,o2(o2(x,x),x)) true 156383 156383 0 0.5 0.9786 0.9753 0.9875 -1 1 2 1 1.283 0.003132 0.000006612 0.007955 0.9958 1 0 0.002888 0.007911 0.003073 0.05544 6.969 0.7551 0.003218 0.002961 1 1 0.005885 0.04907 0.301 0.006034 0.05032 0.3087 json
t20_x0_u0_b32 20 0 0 32 add(P,mlt(dst(P,P),P)) 159548 162412052 o2(x,o2(o2(x,x),x)) true 156391 156391 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_x0_u0_b33 20 0 0 33 add(P,div(add(P,P),P)) 159549 162412053 o2(x,o2(o2(x,x),x)) true 156399 156399 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.03245 0 0.02381 1 1 -4.731e-10 0.06362 0.03359 0.0319 0.1786 7.502 2 0.03512 0.06886 1 1 0.04388 0.1798 0.5713 0.04749 0.1946 0.6182 json
t20_x0_u0_b34 20 0 0 34 add(P,div(sub(P,P),P)) 159550 162412054 o2(x,o2(o2(x,x),x)) true 156407 156407 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_x0_u0_b35 20 0 0 35 add(P,div(mlt(P,P),P)) 159551 162412055 o2(x,o2(o2(x,x),x)) true 156415 156415 -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_x0_u0_b36 20 0 0 36 add(P,div(div(P,P),P)) 159552 162412056 o2(x,o2(o2(x,x),x)) true 156423 156423 -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_x0_u0_b37 20 0 0 37 add(P,div(pow(P,P),P)) 159553 162412057 o2(x,o2(o2(x,x),x)) true 156431 156431 -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_x0_u0_b38 20 0 0 38 add(P,div(mod(P,P),P)) 159554 162412058 o2(x,o2(o2(x,x),x)) true 156439 156439 -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_x0_u0_b39 20 0 0 39 add(P,div(lrg(P,P),P)) 159555 162412059 o2(x,o2(o2(x,x),x)) true 156447 156447 -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_x0_u0_b40 20 0 0 40 add(P,div(eql(P,P),P)) 159556 162412060 o2(x,o2(o2(x,x),x)) true 156455 156455 0 0.5 1 1 1 -1 1 2 1 1 0.04762 0 0.02381 1 1 0 0.09524 0.04762 0.04704 0.2169 9.109 2 0.04762 0.09524 1 1 0.06316 0.2526 0.3368 0.06316 0.2526 0.3368 json
t20_x0_u0_b41 20 0 0 41 add(P,div(min(P,P),P)) 159557 162412061 o2(x,o2(o2(x,x),x)) true 156463 156463 -0.09375 0.4375 0.9688 0.9525 0.976 -1 1 2 1 1.404 0.02019 0 0.01587 1 1 0 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_x0_u0_b42 20 0 0 42 add(P,div(dot(P,P),P)) 159558 162412062 o2(x,o2(o2(x,x),x)) true 156471 156471 -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_x0_u0_b43 20 0 0 43 add(P,div(dst(P,P),P)) 159559 162412063 o2(x,o2(o2(x,x),x)) true 156479 156479 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_x0_u0_b44 20 0 0 44 add(P,pow(add(P,P),P)) 159560 162412064 o2(x,o2(o2(x,x),x)) true 156487 156487 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t20_x0_u0_b45 20 0 0 45 add(P,pow(sub(P,P),P)) 159561 162412065 o2(x,o2(o2(x,x),x)) true 156495 156495 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t20_x0_u0_b46 20 0 0 46 add(P,pow(mlt(P,P),P)) 159562 162412066 o2(x,o2(o2(x,x),x)) true 156503 156503 0.1156 0.5625 0.9469 0.9228 0.9606 -1 1 2 1 1.642 0.0009964 0 0.007937 1 1 -9.46e-10 0.0001515 0.002663 0.0009342 0.03056 3.851 0.2194 0.00108 0.0001641 1 1 0.002543 0.02839 0.251 0.002755 0.03076 0.272 json
t20_x0_u0_b47 20 0 0 47 add(P,pow(div(P,P),P)) 159563 162412067 o2(x,o2(o2(x,x),x)) true 156511 156511 0.125 0.5625 0.9375 0.9084 0.9531 -1 1 2 1 1.8 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007771 0.00003562 1 1 0.001851 0.02449 0.2344 0.002038 0.02696 0.2581 json
t20_x0_u0_b48 20 0 0 48 add(P,pow(pow(P,P),P)) 159564 162412068 o2(x,o2(o2(x,x),x)) true 156519 156519 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.03225 0.0645 1 1 0.02105 0.08421 0.4947 0.02139 0.08555 0.5026 json
t20_x0_u0_b49 20 0 0 49 add(P,pow(mod(P,P),P)) 159565 162412069 o2(x,o2(o2(x,x),x)) true 156527 156527 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t20_x0_u0_b50 20 0 0 50 add(P,pow(lrg(P,P),P)) 159566 162412070 o2(x,o2(o2(x,x),x)) true 156535 156535 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t20_x0_u0_b51 20 0 0 51 add(P,pow(eql(P,P),P)) 159567 162412071 o2(x,o2(o2(x,x),x)) true 156543 156543 0.125 0.5625 0.9375 0.9084 0.9531 -1 1 2 1 1.8 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007771 0.00003562 1 1 0.001851 0.02449 0.2344 0.002038 0.02696 0.2581 json
t20_x0_u0_b52 20 0 0 52 add(P,pow(min(P,P),P)) 159568 162412072 o2(x,o2(o2(x,x),x)) true 156551 156551 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t20_x0_u0_b53 20 0 0 53 add(P,pow(dot(P,P),P)) 159569 162412073 o2(x,o2(o2(x,x),x)) true 156559 156559 0.07127 0.5334 0.9742 0.9596 0.9796 -1 1 2 1 1.504 0.00126 0.00001165 0.00806 0.9817 1 -3.269e-8 0.0000804 0.002162 0.001208 0.03475 4.311 0.232 0.001326 0.00008378 1 1 0.003222 0.04159 0.2887 0.003358 0.04334 0.3008 json
t20_x0_u0_b54 20 0 0 54 add(P,pow(dst(P,P),P)) 159570 162412074 o2(x,o2(o2(x,x),x)) true 156567 156567 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t20_x0_u0_b55 20 0 0 55 add(P,mod(add(P,P),P)) 159571 162412075 o2(x,o2(o2(x,x),x)) true 156575 156575 -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_x0_u0_b56 20 0 0 56 add(P,mod(sub(P,P),P)) 159572 162412076 o2(x,o2(o2(x,x),x)) true 156583 156583 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_x0_u0_b57 20 0 0 57 add(P,mod(mlt(P,P),P)) 159573 162412077 o2(x,o2(o2(x,x),x)) true 156591 156591 0.001861 0.4375 0.8731 0.8624 0.9287 -1 1 2 1 1.883 0.01981 0 0.02381 1 1 0 0.03364 0.02631 0.01925 0.1387 5.828 2 0.02297 0.039 1 1 0.02731 0.1217 0.3844 0.03167 0.1411 0.4457 json
t20_x0_u0_b58 20 0 0 58 add(P,mod(div(P,P),P)) 159574 162412078 o2(x,o2(o2(x,x),x)) true 156599 156599 -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_x0_u0_b59 20 0 0 59 add(P,mod(pow(P,P),P)) 159575 162412079 o2(x,o2(o2(x,x),x)) true 156607 156607 -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_x0_u0_b60 20 0 0 60 add(P,mod(mod(P,P),P)) 159576 162412080 o2(x,o2(o2(x,x),x)) true 156615 156615 -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_x0_u0_b61 20 0 0 61 add(P,mod(lrg(P,P),P)) 159577 162412081 o2(x,o2(o2(x,x),x)) true 156623 156623 -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_x0_u0_b62 20 0 0 62 add(P,mod(eql(P,P),P)) 159578 162412082 o2(x,o2(o2(x,x),x)) true 156631 156631 -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_x0_u0_b63 20 0 0 63 add(P,mod(min(P,P),P)) 159579 162412083 o2(x,o2(o2(x,x),x)) true 156639 156639 -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_x0_u0_b64 20 0 0 64 add(P,mod(dot(P,P),P)) 159580 162412084 o2(x,o2(o2(x,x),x)) true 156647 156647 -0.111 0.4375 0.986 0.9695 0.9846 -1 1 2 1 1.229 0.01643 0.0006476 0.01324 0.9242 1 1.164e-10 0.03242 0.01965 0.01691 0.13 9.824 2 0.01762 0.03344 1 1 0.02262 0.09643 0.3547 0.02333 0.09947 0.3659 json
t20_x0_u0_b65 20 0 0 65 add(P,mod(dst(P,P),P)) 159581 162412085 o2(x,o2(o2(x,x),x)) true 156655 156655 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_x0_u0_b66 20 0 0 66 add(P,lrg(add(P,P),P)) 159582 162412086 o2(x,o2(o2(x,x),x)) true 156663 156663 0.009727 0.5 0.9472 0.9365 0.9677 -1 1 2 1 1.65 0.001005 0 0.007937 1 1 -4.731e-10 0.0001502 0.002719 0.0009424 0.0307 3.868 0.2265 0.001073 0.0001604 1 1 0.002565 0.02848 0.2515 0.002739 0.03041 0.2686 json
t20_x0_u0_b67 20 0 0 67 add(P,lrg(sub(P,P),P)) 159583 162412087 o2(x,o2(o2(x,x),x)) true 156671 156671 0.0625 0.5 0.875 0.8576 0.926 -1 1 2 1 2.027 0.0007059 0 0.007937 1 1 0 0.00003238 0.001855 0.0006432 0.02536 3.195 0.1169 0.0008231 0.00003776 1 1 0.001851 0.02429 0.1593 0.002158 0.02832 0.1858 json
t20_x0_u0_b68 20 0 0 68 add(P,lrg(mlt(P,P),P)) 159584 162412088 o2(x,o2(o2(x,x),x)) true 156679 156679 0.0625 0.5 0.875 0.8576 0.926 -1 1 2 1 2.027 0.0007059 0 0.007937 1 1 0 0.00003238 0.001855 0.0006432 0.02536 3.195 0.1169 0.0008231 0.00003776 1 1 0.001851 0.02429 0.1593 0.002158 0.02832 0.1858 json
t20_x0_u0_b69 20 0 0 69 add(P,lrg(div(P,P),P)) 159585 162412089 o2(x,o2(o2(x,x),x)) true 156687 156687 0.125 0.5625 0.9375 0.9084 0.9531 -1 1 2 1 1.8 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007771 0.00003562 1 1 0.001851 0.02449 0.2344 0.002038 0.02696 0.2581 json
t20_x0_u0_b70 20 0 0 70 add(P,lrg(pow(P,P),P)) 159586 162412090 o2(x,o2(o2(x,x),x)) true 156695 156695 0.125 0.5625 0.9375 0.9084 0.9531 -1 1 2 1 1.8 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007771 0.00003562 1 1 0.001851 0.02449 0.2344 0.002038 0.02696 0.2581 json
t20_x0_u0_b71 20 0 0 71 add(P,lrg(mod(P,P),P)) 159587 162412091 o2(x,o2(o2(x,x),x)) true 156703 156703 0.125 0.5625 0.9375 0.9084 0.9531 -1 1 2 1 1.8 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007771 0.00003562 1 1 0.001851 0.02449 0.2344 0.002038 0.02696 0.2581 json
t20_x0_u0_b72 20 0 0 72 add(P,lrg(lrg(P,P),P)) 159588 162412092 o2(x,o2(o2(x,x),x)) true 156711 156711 0.0625 0.5 0.875 0.8576 0.926 -1 1 2 1 2.027 0.0007059 0 0.007937 1 1 0 0.00003238 0.001855 0.0006432 0.02536 3.195 0.1169 0.0008231 0.00003776 1 1 0.001851 0.02429 0.1593 0.002158 0.02832 0.1858 json
t20_x0_u0_b73 20 0 0 73 add(P,lrg(eql(P,P),P)) 159589 162412093 o2(x,o2(o2(x,x),x)) true 156719 156719 0.125 0.5625 0.9375 0.9084 0.9531 -1 1 2 1 1.8 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007771 0.00003562 1 1 0.001851 0.02449 0.2344 0.002038 0.02696 0.2581 json
t20_x0_u0_b74 20 0 0 74 add(P,lrg(min(P,P),P)) 159590 162412094 o2(x,o2(o2(x,x),x)) true 156727 156727 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_x0_u0_b75 20 0 0 75 add(P,lrg(dot(P,P),P)) 159591 162412095 o2(x,o2(o2(x,x),x)) true 156735 156735 0.1214 0.5621 0.9339 0.9055 0.9516 -1 1 2 1 1.836 0.000701 0.00003997 0.008253 0.8921 1 6.523e-11 0.00004554 0.001972 0.0006731 0.02594 3.144 0.1653 0.0008183 0.00005029 1 1 0.001968 0.02579 0.2317 0.002174 0.02848 0.2558 json
t20_x0_u0_b76 20 0 0 76 add(P,lrg(dst(P,P),P)) 159592 162412096 o2(x,o2(o2(x,x),x)) true 156743 156743 0.0625 0.5 0.875 0.8576 0.926 -1 1 2 1 2.027 0.0007059 0 0.007937 1 1 0 0.00003238 0.001855 0.0006432 0.02536 3.195 0.1169 0.0008231 0.00003776 1 1 0.001851 0.02429 0.1593 0.002158 0.02832 0.1858 json
t20_x0_u0_b77 20 0 0 77 add(P,eql(add(P,P),P)) 159593 162412097 o2(x,o2(o2(x,x),x)) true 156751 156751 0.0625 0.5313 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t20_x0_u0_b78 20 0 0 78 add(P,eql(sub(P,P),P)) 159594 162412098 o2(x,o2(o2(x,x),x)) true 156759 156759 0.0625 0.5313 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t20_x0_u0_b79 20 0 0 79 add(P,eql(mlt(P,P),P)) 159595 162412099 o2(x,o2(o2(x,x),x)) true 156767 156767 0.0625 0.5313 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t20_x0_u0_b80 20 0 0 80 add(P,eql(div(P,P),P)) 159596 162412100 o2(x,o2(o2(x,x),x)) true 156775 156775 0.009727 0.5 0.9472 0.9365 0.9677 -1 1 2 1 1.65 0.001005 0 0.007937 1 1 -4.731e-10 0.0001502 0.002719 0.0009424 0.0307 3.868 0.2265 0.001073 0.0001604 1 1 0.002565 0.02848 0.2515 0.002739 0.03041 0.2686 json
t20_x0_u0_b81 20 0 0 81 add(P,eql(pow(P,P),P)) 159597 162412101 o2(x,o2(o2(x,x),x)) true 156783 156783 0.009727 0.5 0.9472 0.9365 0.9677 -1 1 2 1 1.65 0.001005 0 0.007937 1 1 -4.731e-10 0.0001502 0.002719 0.0009424 0.0307 3.868 0.2265 0.001073 0.0001604 1 1 0.002565 0.02848 0.2515 0.002739 0.03041 0.2686 json
t20_x0_u0_b82 20 0 0 82 add(P,eql(mod(P,P),P)) 159598 162412102 o2(x,o2(o2(x,x),x)) true 156791 156791 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_x0_u0_b83 20 0 0 83 add(P,eql(lrg(P,P),P)) 159599 162412103 o2(x,o2(o2(x,x),x)) true 156799 156799 0.0625 0.5313 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json