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_x0_u0_b84 20 0 0 84 add(P,eql(eql(P,P),P)) 159600 162412104 o2(x,o2(o2(x,x),x)) true 156807 156807 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_b85 20 0 0 85 add(P,eql(min(P,P),P)) 159601 162412105 o2(x,o2(o2(x,x),x)) true 156815 156815 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_b86 20 0 0 86 add(P,eql(dot(P,P),P)) 159602 162412106 o2(x,o2(o2(x,x),x)) true 156823 156823 0.004188 0.5027 0.9403 0.9268 0.9627 -1 1 2 1 1.803 0.0007458 0.00003997 0.008196 0.8983 1 5.561e-11 0.00004759 0.001936 0.0007189 0.02681 3.271 0.2338 0.0008478 0.00005135 1 1 0.002124 0.02786 0.2443 0.002292 0.03006 0.2636 json
t20_x0_u0_b87 20 0 0 87 add(P,eql(dst(P,P),P)) 159603 162412107 o2(x,o2(o2(x,x),x)) true 156831 156831 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_b88 20 0 0 88 add(P,min(add(P,P),P)) 159604 162412108 o2(x,o2(o2(x,x),x)) true 156839 156839 -0.003595 0.5 0.9605 0.9538 0.9766 -1 1 2 1 1.433 0.001539 0 0.007937 1 1 -4.731e-10 0.0005443 0.004233 0.001476 0.03841 4.84 0.3082 0.001613 0.0005706 1 1 0.003721 0.03425 0.2746 0.003901 0.03591 0.2879 json
t20_x0_u0_b89 20 0 0 89 add(P,min(sub(P,P),P)) 159605 162412109 o2(x,o2(o2(x,x),x)) true 156847 156847 -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_b90 20 0 0 90 add(P,min(mlt(P,P),P)) 159606 162412110 o2(x,o2(o2(x,x),x)) true 156855 156855 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_b91 20 0 0 91 add(P,min(div(P,P),P)) 159607 162412111 o2(x,o2(o2(x,x),x)) true 156863 156863 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_b92 20 0 0 92 add(P,min(pow(P,P),P)) 159608 162412112 o2(x,o2(o2(x,x),x)) true 156871 156871 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_b93 20 0 0 93 add(P,min(mod(P,P),P)) 159609 162412113 o2(x,o2(o2(x,x),x)) true 156879 156879 -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_b94 20 0 0 94 add(P,min(lrg(P,P),P)) 159610 162412114 o2(x,o2(o2(x,x),x)) true 156887 156887 -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_b95 20 0 0 95 add(P,min(eql(P,P),P)) 159611 162412115 o2(x,o2(o2(x,x),x)) true 156895 156895 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_b96 20 0 0 96 add(P,min(min(P,P),P)) 159612 162412116 o2(x,o2(o2(x,x),x)) true 156903 156903 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_b97 20 0 0 97 add(P,min(dot(P,P),P)) 159613 162412117 o2(x,o2(o2(x,x),x)) true 156911 156911 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_b98 20 0 0 98 add(P,min(dst(P,P),P)) 159614 162412118 o2(x,o2(o2(x,x),x)) true 156919 156919 -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_b99 20 0 0 99 add(P,dot(add(P,P),P)) 159615 162412119 o2(x,o2(o2(x,x),x)) true 156927 156927 0.9981 1 0.9981 0.001308 0.03617 0.0008731 1 0.9991 1 0.04674 0.0000487 0.00005869 0.0006048 -0.09304 1 7.509e-12 0.00004495 0.0003565 0.0001071 0.01035 17.11 0.3116 0.08209 0.03436 1 1 0.0003479 0.00308 0.004769 0.266 2.355 3.646 json
t20_x0_u0_b100 20 0 0 100 add(P,dot(sub(P,P),P)) 159616 162412120 o2(x,o2(o2(x,x),x)) true 156935 156935 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_b101 20 0 0 101 add(P,dot(mlt(P,P),P)) 159617 162412121 o2(x,o2(o2(x,x),x)) true 156943 156943 -9.313e-10 0.5 0.9934 0.9913 0.9957 -1 1 2 1 1.143 0.01001 0.0103 0.01235 -0.01385 1 3.754e-12 0.05924 0.022 0.02014 0.1419 11.49 2.828 0.02049 0.05976 1 1 0.02798 0.1392 0.5852 0.02822 0.1404 0.5903 json
t20_x0_u0_b102 20 0 0 102 add(P,dot(div(P,P),P)) 159618 162412122 o2(x,o2(o2(x,x),x)) true 156951 156951 -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_x0_u0_b103 20 0 0 103 add(P,dot(pow(P,P),P)) 159619 162412123 o2(x,o2(o2(x,x),x)) true 156959 156959 -0.5006 0.25 0.9994 0.7486 0.8652 -1 1 2 1 0.826 0.00755 0.007669 0.00789 -0.00779 1 7.509e-11 0.03042 0.01552 0.01516 0.1231 15.6 2 0.02033 0.04064 1 1 0.01995 0.08149 0.334 0.02665 0.1089 0.4462 json
t20_x0_u0_b104 20 0 0 104 add(P,dot(mod(P,P),P)) 159620 162412124 o2(x,o2(o2(x,x),x)) true 156967 156967 -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_x0_u0_b105 20 0 0 105 add(P,dot(lrg(P,P),P)) 159621 162412125 o2(x,o2(o2(x,x),x)) true 156975 156975 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_b106 20 0 0 106 add(P,dot(eql(P,P),P)) 159622 162412126 o2(x,o2(o2(x,x),x)) true 156983 156983 -1.071e-8 0.5 0.9688 0.9594 0.9795 -1 1 2 1 1.531 0.001366 0.0003547 0.009634 0.5878 1 0 0.0003278 0.003308 0.001628 0.04034 4.188 0.2614 0.001794 0.0003416 1 1 0.004392 0.0509 0.3961 0.004578 0.05305 0.4129 json
t20_x0_u0_b107 20 0 0 107 add(P,dot(min(P,P),P)) 159623 162412127 o2(x,o2(o2(x,x),x)) true 156991 156991 0.9937 1 0.9937 0.004639 0.06811 0.000291 1 0.9997 1 0.1265 0.00007372 0.0000757 0.001194 -0.01323 1 -3.379e-11 0.00003768 0.0004689 0.0001478 0.01216 10.18 0.2359 0.03221 0.008122 1 1 0.0005008 0.005438 0.017 0.108 1.172 3.665 json
t20_x0_u0_b108 20 0 0 108 add(P,dot(dot(P,P),P)) 159624 162412128 o2(x,o2(o2(x,x),x)) true 156999 156999 2.095e-9 0.5 0.9928 0.9905 0.9952 -1 1 2 1 1.154 0.009056 0.00935 0.0124 -0.01595 1 -4.505e-11 0.04929 0.02041 0.01827 0.1351 10.9 2.828 0.01858 0.04976 1 1 0.02623 0.1366 0.5828 0.02648 0.1379 0.5883 json
t20_x0_u0_b109 20 0 0 109 add(P,dot(dst(P,P),P)) 159625 162412129 o2(x,o2(o2(x,x),x)) true 157007 157007 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_b110 20 0 0 110 add(P,dst(add(P,P),P)) 159626 162412130 o2(x,o2(o2(x,x),x)) true 157015 157015 0.885 0.9968 0.885 0.07625 0.2761 0.00001812 1 1 1 1.305 0.00005943 0.0001798 0.004703 -0.5033 1 -0.000002319 0.00003737 0.001341 0.0002171 0.01473 3.133 0.2282 0.003138 0.0004901 1 1 0.0007094 0.0084 0.06467 0.009305 0.1102 0.8481 json
t20_x0_u0_b111 20 0 0 111 add(P,dst(sub(P,P),P)) 159627 162412131 o2(x,o2(o2(x,x),x)) true 157023 157023 0.885 0.9968 0.885 0.07625 0.2761 0.00001812 1 1 1 1.305 0.00005943 0.0001798 0.004703 -0.5033 1 -0.000002319 0.00003737 0.001341 0.0002171 0.01473 3.133 0.2282 0.003138 0.0004901 1 1 0.0007094 0.0084 0.06467 0.009305 0.1102 0.8481 json
t20_x0_u0_b112 20 0 0 112 add(P,dst(mlt(P,P),P)) 159628 162412132 o2(x,o2(o2(x,x),x)) true 157031 157031 0.9937 1 0.9937 0.004665 0.0683 0.000291 1 0.9997 1 0.129 0.0000744 0.00007168 0.0012 0.01859 1 -4.13e-11 0.00003286 0.0004515 0.0001448 0.01203 10.03 0.2359 0.03131 0.007044 1 1 0.0004914 0.005406 0.0171 0.1053 1.159 3.665 json
t20_x0_u0_b113 20 0 0 113 add(P,dst(div(P,P),P)) 159629 162412133 o2(x,o2(o2(x,x),x)) true 157039 157039 -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_x0_u0_b114 20 0 0 114 add(P,dst(pow(P,P),P)) 159630 162412134 o2(x,o2(o2(x,x),x)) true 157047 157047 -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_x0_u0_b115 20 0 0 115 add(P,dst(mod(P,P),P)) 159631 162412135 o2(x,o2(o2(x,x),x)) true 157055 157055 -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_x0_u0_b116 20 0 0 116 add(P,dst(lrg(P,P),P)) 159632 162412136 o2(x,o2(o2(x,x),x)) true 157063 157063 0.885 0.9968 0.885 0.07625 0.2761 0.00001812 1 1 1 1.305 0.00005943 0.0001798 0.004703 -0.5033 1 -0.000002319 0.00003737 0.001341 0.0002171 0.01473 3.133 0.2282 0.003138 0.0004901 1 1 0.0007094 0.0084 0.06467 0.009305 0.1102 0.8481 json
t20_x0_u0_b117 20 0 0 117 add(P,dst(eql(P,P),P)) 159633 162412137 o2(x,o2(o2(x,x),x)) true 157071 157071 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_b118 20 0 0 118 add(P,dst(min(P,P),P)) 159634 162412138 o2(x,o2(o2(x,x),x)) true 157079 157079 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_b119 20 0 0 119 add(P,dst(dot(P,P),P)) 159635 162412139 o2(x,o2(o2(x,x),x)) true 157087 157087 0.9982 1 0.9982 0.001278 0.03575 0.0008335 1 0.9992 1 0.04392 0.00005254 0.00005201 0.0005939 0.005029 1 -2.253e-11 0.00004123 0.000343 0.0001043 0.01021 17.19 0.2718 0.08182 0.03227 1 1 0.0003416 0.003074 0.004657 0.2673 2.406 3.645 json
t20_x0_u0_b120 20 0 0 120 add(P,dst(dst(P,P),P)) 159636 162412140 o2(x,o2(o2(x,x),x)) true 157095 157095 0.885 0.9968 0.885 0.07625 0.2761 0.00001812 1 1 1 1.305 0.00005943 0.0001798 0.004703 -0.5033 1 -0.000002319 0.00003737 0.001341 0.0002171 0.01473 3.133 0.2282 0.003138 0.0004901 1 1 0.0007094 0.0084 0.06467 0.009305 0.1102 0.8481 json
t20_x0_u0_b121 20 0 0 121 sub(P,add(add(P,P),P)) 159637 162412141 o2(x,o2(o2(x,x),x)) true 157103 157103 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_b122 20 0 0 122 sub(P,add(sub(P,P),P)) 159638 162412142 o2(x,o2(o2(x,x),x)) true 157111 157111 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_b123 20 0 0 123 sub(P,add(mlt(P,P),P)) 159639 162412143 o2(x,o2(o2(x,x),x)) true 157119 157119 -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_x0_u0_b124 20 0 0 124 sub(P,add(div(P,P),P)) 159640 162412144 o2(x,o2(o2(x,x),x)) true 157127 157127 -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_x0_u0_b125 20 0 0 125 sub(P,add(pow(P,P),P)) 159641 162412145 o2(x,o2(o2(x,x),x)) true 157135 157135 -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_x0_u0_b126 20 0 0 126 sub(P,add(mod(P,P),P)) 159642 162412146 o2(x,o2(o2(x,x),x)) true 157143 157143 -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_b127 20 0 0 127 sub(P,add(lrg(P,P),P)) 159643 162412147 o2(x,o2(o2(x,x),x)) true 157151 157151 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_b128 20 0 0 128 sub(P,add(eql(P,P),P)) 159644 162412148 o2(x,o2(o2(x,x),x)) true 157159 157159 -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_x0_u0_b129 20 0 0 129 sub(P,add(min(P,P),P)) 159645 162412149 o2(x,o2(o2(x,x),x)) true 157167 157167 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_b130 20 0 0 130 sub(P,add(dot(P,P),P)) 159646 162412150 o2(x,o2(o2(x,x),x)) true 157175 157175 -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_x0_u0_b131 20 0 0 131 sub(P,add(dst(P,P),P)) 159647 162412151 o2(x,o2(o2(x,x),x)) true 157183 157183 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_b132 20 0 0 132 sub(P,sub(add(P,P),P)) 159648 162412152 o2(x,o2(o2(x,x),x)) true 157191 157191 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_b133 20 0 0 133 sub(P,sub(sub(P,P),P)) 159649 162412153 o2(x,o2(o2(x,x),x)) true 157199 157199 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_b134 20 0 0 134 sub(P,sub(mlt(P,P),P)) 159650 162412154 o2(x,o2(o2(x,x),x)) true 157207 157207 -0.7766 0.125 0.9016 0.2791 0.5283 -1 0.9997 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_b135 20 0 0 135 sub(P,sub(div(P,P),P)) 159651 162412155 o2(x,o2(o2(x,x),x)) true 157215 157215 -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_b136 20 0 0 136 sub(P,sub(pow(P,P),P)) 159652 162412156 o2(x,o2(o2(x,x),x)) true 157223 157223 -0.8351 0.09375 0.9406 0.2275 0.477 -1 0.9997 2 1 1.058 0.003301 0 0.01587 1 1 0 0.001191 0.006506 0.003052 0.05524 3.481 0.4755 0.01451 0.005232 1 1 0.007968 0.08175 0.3429 0.03502 0.3593 1.507 json
t20_x0_u0_b137 20 0 0 137 sub(P,sub(mod(P,P),P)) 159653 162412157 o2(x,o2(o2(x,x),x)) true 157231 157231 -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_b138 20 0 0 138 sub(P,sub(lrg(P,P),P)) 159654 162412158 o2(x,o2(o2(x,x),x)) true 157239 157239 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_b139 20 0 0 139 sub(P,sub(eql(P,P),P)) 159655 162412159 o2(x,o2(o2(x,x),x)) true 157247 157247 -0.0625 0.4688 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_b140 20 0 0 140 sub(P,sub(min(P,P),P)) 159656 162412160 o2(x,o2(o2(x,x),x)) true 157255 157255 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_b141 20 0 0 141 sub(P,sub(dot(P,P),P)) 159657 162412161 o2(x,o2(o2(x,x),x)) true 157263 157263 -0.9804 0.007324 0.9871 0.02241 0.1497 -1 0.9994 1.999 1 0.2613 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_b142 20 0 0 142 sub(P,sub(dst(P,P),P)) 159658 162412162 o2(x,o2(o2(x,x),x)) true 157271 157271 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_b143 20 0 0 143 sub(P,mlt(add(P,P),P)) 159659 162412163 o2(x,o2(o2(x,x),x)) true 157279 157279 -0.9508 0 0.9508 0.03707 0.1925 -1 -0.000291 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_b144 20 0 0 144 sub(P,mlt(sub(P,P),P)) 159660 162412164 o2(x,o2(o2(x,x),x)) true 157287 157287 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_b145 20 0 0 145 sub(P,mlt(mlt(P,P),P)) 159661 162412165 o2(x,o2(o2(x,x),x)) true 157295 157295 0 0.4375 0.8476 0.8432 0.9182 -1 1 2 1 1.681 0.002157 0 0.007937 1 1 0 0.0009867 0.006271 0.002093 0.04575 5.765 0.3951 0.002558 0.00117 1 1 0.005067 0.03607 0.1624 0.006009 0.04278 0.1926 json
t20_x0_u0_b146 20 0 0 146 sub(P,mlt(div(P,P),P)) 159662 162412166 o2(x,o2(o2(x,x),x)) true 157303 157303 -0.125 0 0.125 0.1094 0.3307 -1 4.172e-7 1 1 1.294 0.007937 0 0.007937 1 1 -1.487e-13 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_x0_u0_b147 20 0 0 147 sub(P,mlt(pow(P,P),P)) 159663 162412167 o2(x,o2(o2(x,x),x)) true 157311 157311 -0.9238 0 0.9238 0.06818 0.2611 -1 0 1 1 0.5118 0.005047 0 0.007937 1 1 9.461e-10 0.00843 0.01107 0.004982 0.07059 8.894 1 0.07402 0.1236 1 1 0.007796 0.03909 0.09962 0.1144 0.5733 1.461 json
t20_x0_u0_b148 20 0 0 148 sub(P,mlt(mod(P,P),P)) 159664 162412168 o2(x,o2(o2(x,x),x)) true 157319 157319 -0.5747 0.2148 0.9882 0.6539 0.8086 -1 1 2 1 0.9337 0.05176 0 0.03968 1 1 0 0.08035 0.05622 0.05015 0.2239 5.643 2 0.07915 0.1229 1 1 0.06296 0.3154 0.7904 0.09628 0.4823 1.209 json
t20_x0_u0_b149 20 0 0 149 sub(P,mlt(lrg(P,P),P)) 159665 162412169 o2(x,o2(o2(x,x),x)) true 157327 157327 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_b150 20 0 0 150 sub(P,mlt(eql(P,P),P)) 159666 162412170 o2(x,o2(o2(x,x),x)) true 157335 157335 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_b151 20 0 0 151 sub(P,mlt(min(P,P),P)) 159667 162412171 o2(x,o2(o2(x,x),x)) true 157343 157343 -0.8944 0 0.8944 0.08685 0.2947 -1 0 1 1 0.8189 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_b152 20 0 0 152 sub(P,mlt(dot(P,P),P)) 159668 162412172 o2(x,o2(o2(x,x),x)) true 157351 157351 0 0.4996 0.9682 0.9632 0.9814 -1 1 2 1 1.397 0.002974 0.00007816 0.008452 0.9488 1 -1.877e-12 0.002822 0.00781 0.002981 0.0546 6.459 0.7596 0.003169 0.00293 1 1 0.005647 0.04815 0.2934 0.005863 0.04999 0.3046 json
t20_x0_u0_b153 20 0 0 153 sub(P,mlt(dst(P,P),P)) 159669 162412173 o2(x,o2(o2(x,x),x)) true 157359 157359 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_b154 20 0 0 154 sub(P,div(add(P,P),P)) 159670 162412174 o2(x,o2(o2(x,x),x)) true 157367 157367 -0.25 0.375 0.9375 0.8615 0.9282 -1 1 2 1 1.762 0.0007059 0 0.007937 1 1 4.731e-10 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0008194 0.00003756 1 1 0.001851 0.02449 0.2344 0.002149 0.02843 0.2721 json
t20_x0_u0_b155 20 0 0 155 sub(P,div(sub(P,P),P)) 159671 162412175 o2(x,o2(o2(x,x),x)) true 157375 157375 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_b156 20 0 0 156 sub(P,div(mlt(P,P),P)) 159672 162412176 o2(x,o2(o2(x,x),x)) true 157383 157383 -0.125 0 0.125 0.1094 0.3307 -1 4.172e-7 1 1 1.344 0.007937 0 0.007937 1 1 -1.488e-13 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_x0_u0_b157 20 0 0 157 sub(P,div(div(P,P),P)) 159673 162412177 o2(x,o2(o2(x,x),x)) true 157391 157391 -0.125 0.4375 0.9508 0.9262 0.9624 -1 1 2 1 1.541 0.009062 0 0.01587 1 1 0 0.01612 0.01857 0.008808 0.09385 5.914 1 0.009784 0.0174 1 1 0.01335 0.0721 0.3247 0.01441 0.07785 0.3506 json
t20_x0_u0_b158 20 0 0 158 sub(P,div(pow(P,P),P)) 159674 162412178 o2(x,o2(o2(x,x),x)) true 157399 157399 -0.9238 0 0.9238 0.06818 0.2611 -1 0 1 1 0.5118 0.005047 0 0.007937 1 1 9.461e-10 0.00843 0.01107 0.004982 0.07059 8.894 1 0.07402 0.1236 1 1 0.007796 0.03909 0.09962 0.1144 0.5733 1.461 json
t20_x0_u0_b159 20 0 0 159 sub(P,div(mod(P,P),P)) 159675 162412179 o2(x,o2(o2(x,x),x)) true 157407 157407 -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_b160 20 0 0 160 sub(P,div(lrg(P,P),P)) 159676 162412180 o2(x,o2(o2(x,x),x)) true 157415 157415 -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_b161 20 0 0 161 sub(P,div(eql(P,P),P)) 159677 162412181 o2(x,o2(o2(x,x),x)) true 157423 157423 -0.125 0.4375 0.9508 0.9262 0.9624 -1 1 2 1 1.541 0.009062 0 0.01587 1 1 0 0.01612 0.01857 0.008808 0.09385 5.914 1 0.009784 0.0174 1 1 0.01335 0.0721 0.3247 0.01441 0.07785 0.3506 json
t20_x0_u0_b162 20 0 0 162 sub(P,div(min(P,P),P)) 159678 162412182 o2(x,o2(o2(x,x),x)) true 157431 157431 -0.1563 0.4375 0.9688 0.9369 0.9679 -1 1 2 1 1.385 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004615 0.008435 1 1 0.006228 0.03975 0.2856 0.006647 0.04243 0.3049 json
t20_x0_u0_b163 20 0 0 163 sub(P,div(dot(P,P),P)) 159679 162412183 o2(x,o2(o2(x,x),x)) true 157439 157439 -0.125 0.435 0.8568 0.8093 0.8996 -1 1 2 1 2.518 0.01529 0.0004009 0.01525 0.9489 1 -1.877e-11 0.03061 0.01813 0.01546 0.1243 8.154 2 0.01938 0.03782 1 1 0.02111 0.09272 0.3997 0.02609 0.1146 0.4938 json
t20_x0_u0_b164 20 0 0 164 sub(P,div(dst(P,P),P)) 159680 162412184 o2(x,o2(o2(x,x),x)) true 157447 157447 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_b165 20 0 0 165 sub(P,pow(add(P,P),P)) 159681 162412185 o2(x,o2(o2(x,x),x)) true 157455 157455 -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_x0_u0_b166 20 0 0 166 sub(P,pow(sub(P,P),P)) 159682 162412186 o2(x,o2(o2(x,x),x)) true 157463 157463 -0.0625 0.4688 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_b167 20 0 0 167 sub(P,pow(mlt(P,P),P)) 159683 162412187 o2(x,o2(o2(x,x),x)) true 157471 157471 -0.9591 0 0.9591 0.03119 0.1766 -1 -0.000291 0.9997 1 0.5482 0.002138 0 0.007934 1 1 9.461e-10 0.001876 0.005557 0.002075 0.04555 5.741 0.5833 0.06855 0.06014 1 1 0.004428 0.02943 0.04427 0.142 0.9436 1.419 json
t20_x0_u0_b168 20 0 0 168 sub(P,pow(div(P,P),P)) 159684 162412188 o2(x,o2(o2(x,x),x)) true 157479 157479 -0.125 0.4375 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_b169 20 0 0 169 sub(P,pow(pow(P,P),P)) 159685 162412189 o2(x,o2(o2(x,x),x)) true 157487 157487 -0.9591 0 0.9591 0.03119 0.1766 -1 -0.000291 0.9997 1 0.5482 0.002138 0 0.007934 1 1 9.461e-10 0.001876 0.005557 0.002075 0.04555 5.741 0.5833 0.06855 0.06014 1 1 0.004428 0.02943 0.04427 0.142 0.9436 1.419 json
t20_x0_u0_b170 20 0 0 170 sub(P,pow(mod(P,P),P)) 159686 162412190 o2(x,o2(o2(x,x),x)) true 157495 157495 -0.6242 0.1914 0.9735 0.5753 0.7585 -1 1 2 1 1.054 0.03331 0 0.03175 1 1 0 0.04814 0.03516 0.0323 0.1797 5.661 2 0.0579 0.08368 1 1 0.05644 0.2908 0.7936 0.09809 0.5054 1.379 json
t20_x0_u0_b171 20 0 0 171 sub(P,pow(lrg(P,P),P)) 159687 162412191 o2(x,o2(o2(x,x),x)) true 157503 157503 -0.0625 0.4688 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_b172 20 0 0 172 sub(P,pow(eql(P,P),P)) 159688 162412192 o2(x,o2(o2(x,x),x)) true 157511 157511 -0.125 0.4375 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_b173 20 0 0 173 sub(P,pow(min(P,P),P)) 159689 162412193 o2(x,o2(o2(x,x),x)) true 157519 157519 -0.9472 0 0.9472 0.03942 0.1985 -1 -0.000291 0.9997 1 0.6778 0.001005 0 0.007934 1 1 1.419e-9 0.0001503 0.002725 0.0009424 0.0307 3.869 0.2265 0.02549 0.003814 1 1 0.002565 0.02767 0.05687 0.06508 0.7019 1.443 json
t20_x0_u0_b174 20 0 0 174 sub(P,pow(dot(P,P),P)) 159690 162412194 o2(x,o2(o2(x,x),x)) true 157527 157527 -0.9975 0 0.9975 0.001571 0.03964 -1 -0.000582 0.9994 1 0.06882 0.0001047 0.00002507 0.0006991 0.6136 1 9.198e-11 0.0000953 0.0004061 0.0001295 0.01138 16.27 0.583 0.08256 0.06065 1 1 0.000379 0.00302 0.005725 0.2412 1.922 3.643 json
t20_x0_u0_b175 20 0 0 175 sub(P,pow(dst(P,P),P)) 159691 162412195 o2(x,o2(o2(x,x),x)) true 157535 157535 -0.0625 0.4688 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_b176 20 0 0 176 sub(P,mod(add(P,P),P)) 159692 162412196 o2(x,o2(o2(x,x),x)) true 157543 157543 -0.125 0.375 0.7463 0.7093 0.8422 -1 1 2 1 2.465 0.02375 0 0.03967 1 1 -1.877e-12 0.03553 0.03674 0.02218 0.1489 3.754 2 0.03348 0.05009 1 1 0.03363 0.1714 0.4313 0.04742 0.2416 0.608 json
t20_x0_u0_b177 20 0 0 177 sub(P,mod(sub(P,P),P)) 159693 162412197 o2(x,o2(o2(x,x),x)) true 157551 157551 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_b178 20 0 0 178 sub(P,mod(mlt(P,P),P)) 159694 162412198 o2(x,o2(o2(x,x),x)) true 157559 157559 -0.2519 0.375 0.8731 0.7987 0.8937 -1 1 2 1 1.725 0.01981 0 0.02381 1 1 -4.731e-10 0.03364 0.02631 0.01925 0.1387 5.828 2 0.0248 0.04211 1 1 0.02737 0.1339 0.3837 0.03427 0.1676 0.4804 json
t20_x0_u0_b179 20 0 0 179 sub(P,mod(div(P,P),P)) 159695 162412199 o2(x,o2(o2(x,x),x)) true 157567 157567 -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_b180 20 0 0 180 sub(P,mod(pow(P,P),P)) 159696 162412200 o2(x,o2(o2(x,x),x)) true 157575 157575 -0.2154 0.4375 0.9096 0.8576 0.9261 -1 1 2 1 1.508 0.01795 0 0.01587 1 1 9.475e-10 0.03282 0.02199 0.01769 0.133 8.383 2 0.02093 0.03827 1 1 0.0233 0.1095 0.4412 0.02716 0.1276 0.5145 json
t20_x0_u0_b181 20 0 0 181 sub(P,mod(mod(P,P),P)) 159697 162412201 o2(x,o2(o2(x,x),x)) true 157583 157583 -0.125 0.375 0.7463 0.7093 0.8422 -1 1 2 1 2.465 0.02375 0 0.03967 1 1 -1.877e-12 0.03553 0.03674 0.02218 0.1489 3.754 2 0.03348 0.05009 1 1 0.03363 0.1714 0.4313 0.04742 0.2416 0.608 json
t20_x0_u0_b182 20 0 0 182 sub(P,mod(lrg(P,P),P)) 159698 162412202 o2(x,o2(o2(x,x),x)) true 157591 157591 -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_b183 20 0 0 183 sub(P,mod(eql(P,P),P)) 159699 162412203 o2(x,o2(o2(x,x),x)) true 157599 157599 -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