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_x1_u0_b83 20 1 0 83 add(P,eql(lrg(P,P),D)) 159800 162452504 o2(x,o2(o2(x,x),x)) true 158407 158407 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_x1_u0_b84 20 1 0 84 add(P,eql(eql(P,P),D)) 159801 162452505 o2(x,o2(o2(x,x),x)) true 158415 158415 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_x1_u0_b85 20 1 0 85 add(P,eql(min(P,P),D)) 159802 162452506 o2(x,o2(o2(x,x),x)) true 158423 158423 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_x1_u0_b86 20 1 0 86 add(P,eql(dot(P,P),D)) 159803 162452507 o2(x,o2(o2(x,x),x)) true 158431 158431 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_x1_u0_b87 20 1 0 87 add(P,eql(dst(P,P),D)) 159804 162452508 o2(x,o2(o2(x,x),x)) true 158439 158439 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_x1_u0_b88 20 1 0 88 add(P,min(add(P,P),D)) 159805 162452509 o2(x,o2(o2(x,x),x)) true 158447 158447 -0.02618 0.4961 0.9458 0.9353 0.9671 -1 1 2 1 1.609 0.00112 0 0.007936 1 1 4.733e-10 0.0002875 0.003119 0.001057 0.03252 4.097 0.2832 0.001197 0.0003074 1 1 0.002779 0.02882 0.2499 0.002971 0.03081 0.2671 json
t20_x1_u0_b89 20 1 0 89 add(P,min(sub(P,P),D)) 159806 162452510 o2(x,o2(o2(x,x),x)) true 158455 158455 -0.01788 0.4961 0.9375 0.9228 0.9606 -1 1 2 1 1.804 0.00068 0 0.007936 1 1 -6.8e-10 0.00003457 0.001748 0.0006173 0.02485 3.131 0.1105 0.0007369 0.00003746 1 1 0.001781 0.02386 0.2335 0.00193 0.02586 0.2531 json
t20_x1_u0_b90 20 1 0 90 add(P,min(mlt(P,P),D)) 159807 162452511 o2(x,o2(o2(x,x),x)) true 158463 158463 -0.008939 0.4961 0.9286 0.9109 0.9544 -1 1 2 1 1.934 0.0005803 0 0.007936 1 1 3.548e-10 0.00003271 0.001368 0.0005173 0.02274 2.866 0.1105 0.000637 0.0000359 1 1 0.001518 0.02079 0.217 0.001666 0.02282 0.2382 json
t20_x1_u0_b91 20 1 0 91 add(P,min(div(P,P),D)) 159808 162452512 o2(x,o2(o2(x,x),x)) true 158471 158471 0 0.5 0.9375 0.9165 0.9574 -1 1 2 1 1.979 0.0004883 0 0.007937 1 1 0 0.0000155 0.000496 0.0004253 0.02062 2.598 0.0625 0.0005327 0.00001691 1 1 0.001285 0.01928 0.2245 0.001402 0.02104 0.245 json
t20_x1_u0_b92 20 1 0 92 add(P,min(pow(P,P),D)) 159809 162452513 o2(x,o2(o2(x,x),x)) true 158479 158479 0 0.5 0.9375 0.9165 0.9574 -1 1 2 1 1.979 0.0004883 0 0.007937 1 1 0 0.0000155 0.000496 0.0004253 0.02062 2.598 0.0625 0.0005327 0.00001691 1 1 0.001285 0.01928 0.2245 0.001402 0.02104 0.245 json
t20_x1_u0_b93 20 1 0 93 add(P,min(mod(P,P),D)) 159810 162452514 o2(x,o2(o2(x,x),x)) true 158487 158487 -0.008939 0.5 0.9464 0.9288 0.9637 -1 1 2 1 1.85 0.0005881 0 0.007936 1 1 -1.035e-9 0.00001584 0.0008768 0.0005251 0.02292 2.887 0.1105 0.0006332 0.00001705 1 1 0.00155 0.02283 0.2411 0.001668 0.02458 0.2596 json
t20_x1_u0_b94 20 1 0 94 add(P,min(lrg(P,P),D)) 159811 162452515 o2(x,o2(o2(x,x),x)) true 158495 158495 -0.01788 0.4961 0.9375 0.9228 0.9606 -1 1 2 1 1.804 0.00068 0 0.007936 1 1 -6.8e-10 0.00003457 0.001748 0.0006173 0.02485 3.131 0.1105 0.0007369 0.00003746 1 1 0.001781 0.02386 0.2335 0.00193 0.02586 0.2531 json
t20_x1_u0_b95 20 1 0 95 add(P,min(eql(P,P),D)) 159812 162452516 o2(x,o2(o2(x,x),x)) true 158503 158503 0 0.5 0.9375 0.9165 0.9574 -1 1 2 1 1.979 0.0004883 0 0.007937 1 1 0 0.0000155 0.000496 0.0004253 0.02062 2.598 0.0625 0.0005327 0.00001691 1 1 0.001285 0.01928 0.2245 0.001402 0.02104 0.245 json
t20_x1_u0_b96 20 1 0 96 add(P,min(min(P,P),D)) 159813 162452517 o2(x,o2(o2(x,x),x)) true 158511 158511 -0.02404 0.4961 0.9436 0.9318 0.9653 -1 1 2 1 1.674 0.0009535 0 0.007936 1 1 -2.364e-10 0.0001439 0.002555 0.0008912 0.02985 3.762 0.2122 0.001023 0.0001544 1 1 0.002434 0.02771 0.2459 0.002612 0.02974 0.2639 json
t20_x1_u0_b97 20 1 0 97 add(P,min(dot(P,P),D)) 159814 162452518 o2(x,o2(o2(x,x),x)) true 158519 158519 -0.0005587 0.5 0.9369 0.9162 0.9572 -1 1 2 1 1.979 0.0004929 0.000001331 0.007947 0.9946 1 -2.088e-11 0.00001657 0.0005615 0.0004309 0.02076 2.612 0.1105 0.0005394 0.00001808 1 1 0.001305 0.01943 0.224 0.001424 0.02121 0.2445 json
t20_x1_u0_b98 20 1 0 98 add(P,min(dst(P,P),D)) 159815 162452519 o2(x,o2(o2(x,x),x)) true 158527 158527 -0.01788 0.4961 0.9375 0.9228 0.9606 -1 1 2 1 1.804 0.00068 0 0.007936 1 1 -6.8e-10 0.00003457 0.001748 0.0006173 0.02485 3.131 0.1105 0.0007369 0.00003746 1 1 0.001781 0.02386 0.2335 0.00193 0.02586 0.2531 json
t20_x1_u0_b99 20 1 0 99 add(P,dot(add(P,P),D)) 159816 162452520 o2(x,o2(o2(x,x),x)) true 158535 158535 -0.06553 0.4668 0.9347 0.9089 0.9534 -1 1 2 1 2.017 0.002049 0.01625 0.04403 -0.776 1 0.0007589 0.01072 0.03233 0.01637 0.1279 2.906 0.8858 0.02013 0.0118 1 1 0.02726 0.1591 0.2342 0.02999 0.175 0.2576 json
t20_x1_u0_b100 20 1 0 100 add(P,dot(sub(P,P),D)) 159817 162452521 o2(x,o2(o2(x,x),x)) true 158543 158543 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_x1_u0_b101 20 1 0 101 add(P,dot(mlt(P,P),D)) 159818 162452522 o2(x,o2(o2(x,x),x)) true 158551 158551 5.683e-9 0.5 0.9014 0.8688 0.9321 -1 1 2 1 2.421 0.0863 0.1253 0.1891 -0.1844 1 1.832e-9 0.3656 0.2565 0.1759 0.4194 2.218 2.828 0.2436 0.4208 1 1 0.1785 0.6861 0.3213 0.2054 0.7898 0.3698 json
t20_x1_u0_b102 20 1 0 102 add(P,dot(div(P,P),D)) 159819 162452523 o2(x,o2(o2(x,x),x)) true 158559 158559 -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_x1_u0_b103 20 1 0 103 add(P,dot(pow(P,P),D)) 159820 162452524 o2(x,o2(o2(x,x),x)) true 158567 158567 -0.9375 0.03313 0.9911 0.1093 0.3307 -1 1 2 1 0.3453 0.04489 0.04675 0.05033 -0.02029 1 -1.442e-9 0.2516 0.0942 0.08908 0.2985 5.93 2.828 0.8381 2.302 1 1 0.0775 0.1385 0.2214 0.7088 1.266 2.025 json
t20_x1_u0_b104 20 1 0 104 add(P,dot(mod(P,P),D)) 159821 162452525 o2(x,o2(o2(x,x),x)) true 158575 158575 -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_x1_u0_b105 20 1 0 105 add(P,dot(lrg(P,P),D)) 159822 162452526 o2(x,o2(o2(x,x),x)) true 158583 158583 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_x1_u0_b106 20 1 0 106 add(P,dot(eql(P,P),D)) 159823 162452527 o2(x,o2(o2(x,x),x)) true 158591 158591 0 0.5 0.9375 0.9167 0.9574 -1 1 2 1 1.979 0.0004915 0.0002065 0.009428 0.4083 1 0 0.00008486 0.002447 0.0006091 0.02468 2.618 0.08798 0.0007614 0.00009257 1 1 0.001812 0.02283 0.2246 0.001977 0.0249 0.245 json
t20_x1_u0_b107 20 1 0 107 add(P,dot(min(P,P),D)) 159824 162452528 o2(x,o2(o2(x,x),x)) true 158599 158599 -0.03169 0.4832 0.9368 0.9149 0.9565 -1 1 2 1 1.975 0.0008271 0.004124 0.02233 -0.6659 1 0.0003586 0.001754 0.01191 0.004455 0.06674 2.989 0.4596 0.005412 0.001917 1 1 0.008026 0.06051 0.2276 0.008773 0.06614 0.2488 json
t20_x1_u0_b108 20 1 0 108 add(P,dot(dot(P,P),D)) 159825 162452529 o2(x,o2(o2(x,x),x)) true 158607 158607 2.017e-9 0.5 0.9187 0.8927 0.9448 -1 1 2 1 2.182 0.1713 0.19 0.2483 -0.05166 1 -3.754e-9 0.9513 0.4077 0.2996 0.5474 2.204 2.828 0.4047 1.066 1 1 0.3446 1.277 0.233 0.3861 1.431 0.261 json
t20_x1_u0_b109 20 1 0 109 add(P,dot(dst(P,P),D)) 159826 162452530 o2(x,o2(o2(x,x),x)) true 158615 158615 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_x1_u0_b110 20 1 0 110 add(P,dst(add(P,P),D)) 159827 162452531 o2(x,o2(o2(x,x),x)) true 158623 158623 0.9991 1 0.9991 0.0005302 0.02303 0.04561 1 0.9544 1 0.02816 0.00003619 0.00003914 0.0004085 -0.03919 0 3.754e-12 0.000038 0.000286 0.00007509 0.008665 21.21 0.3133 0.1421 0.07167 1 1 0.0002408 0.001707 0.001929 0.4542 3.22 3.639 json
t20_x1_u0_b111 20 1 0 111 add(P,dst(sub(P,P),D)) 159828 162452532 o2(x,o2(o2(x,x),x)) true 158631 158631 0.05549 0.5342 0.9375 0.9113 0.9546 -1 1 2 1 1.963 0.000935 0.0002544 0.01126 0.5722 1 -0.00004394 0.0002205 0.003978 0.001062 0.03259 2.894 0.1593 0.001305 0.000242 1 1 0.003022 0.02891 0.222 0.003316 0.03172 0.2436 json
t20_x1_u0_b112 20 1 0 112 add(P,dst(mlt(P,P),D)) 159829 162452533 o2(x,o2(o2(x,x),x)) true 158639 158639 0.992 0.9989 0.9921 0.005577 0.07468 -0.1448 1 1.145 1 0.1673 0.0001028 0.00008202 0.001565 0.1125 1 -3.004e-11 0.0000597 0.0006971 0.0001826 0.01351 8.637 0.2815 0.03314 0.0107 1 1 0.0006064 0.005885 0.01961 0.1087 1.055 3.517 json
t20_x1_u0_b113 20 1 0 113 add(P,dst(div(P,P),D)) 159830 162452534 o2(x,o2(o2(x,x),x)) true 158647 158647 -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_x1_u0_b114 20 1 0 114 add(P,dst(pow(P,P),D)) 159831 162452535 o2(x,o2(o2(x,x),x)) true 158655 158655 -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_x1_u0_b115 20 1 0 115 add(P,dst(mod(P,P),D)) 159832 162452536 o2(x,o2(o2(x,x),x)) true 158663 158663 -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_x1_u0_b116 20 1 0 116 add(P,dst(lrg(P,P),D)) 159833 162452537 o2(x,o2(o2(x,x),x)) true 158671 158671 0.05549 0.5342 0.9375 0.9113 0.9546 -1 1 2 1 1.963 0.000935 0.0002544 0.01126 0.5722 1 -0.00004394 0.0002205 0.003978 0.001062 0.03259 2.894 0.1593 0.001305 0.000242 1 1 0.003022 0.02891 0.222 0.003316 0.03172 0.2436 json
t20_x1_u0_b117 20 1 0 117 add(P,dst(eql(P,P),D)) 159834 162452538 o2(x,o2(o2(x,x),x)) true 158679 158679 0.2223 0.6021 0.9375 0.8666 0.9309 -1 1 2 1 1.912 0.001013 0.0000775 0.01025 0.8578 1 -0.000005882 0.0001986 0.003925 0.0009856 0.03139 3.063 0.1541 0.001258 0.0002291 1 1 0.002767 0.02742 0.2237 0.003193 0.03164 0.2582 json
t20_x1_u0_b118 20 1 0 118 add(P,dst(min(P,P),D)) 159835 162452539 o2(x,o2(o2(x,x),x)) true 158687 158687 0.8954 0.9856 0.897 0.0679 0.2606 -0.1453 1 1.145 1 1.317 0.0002519 0.0003178 0.008865 -0.1158 1 -0.00007331 0.0001176 0.003335 0.000491 0.02216 2.5 0.2496 0.008391 0.001732 1 1 0.001452 0.01258 0.05351 0.02139 0.1853 0.7881 json
t20_x1_u0_b119 20 1 0 119 add(P,dst(dot(P,P),D)) 159836 162452540 o2(x,o2(o2(x,x),x)) true 158695 158695 0.9983 1 0.9983 0.0008925 0.02988 0.04471 1 0.9553 1 0.05113 0.00003189 0.00005182 0.0005612 -0.2381 0 2.628e-11 0.0000387 0.0003442 0.00008348 0.009137 16.28 0.2928 0.09379 0.04336 1 1 0.0002669 0.00209 0.003249 0.299 2.342 3.64 json
t20_x1_u0_b120 20 1 0 120 add(P,dst(dst(P,P),D)) 159837 162452541 o2(x,o2(o2(x,x),x)) true 158703 158703 0.05549 0.5342 0.9375 0.9113 0.9546 -1 1 2 1 1.963 0.000935 0.0002544 0.01126 0.5722 1 -0.00004394 0.0002205 0.003978 0.001062 0.03259 2.894 0.1593 0.001305 0.000242 1 1 0.003022 0.02891 0.222 0.003316 0.03172 0.2436 json
t20_x1_u0_b121 20 1 0 121 sub(P,add(add(P,P),D)) 159838 162452542 o2(x,o2(o2(x,x),x)) true 158711 158711 0 0.5 0.9375 0.9165 0.9574 -1 1 2 1 1.979 0.0004883 0 0.007937 1 1 0 0.0000155 0.000496 0.0004253 0.02062 2.598 0.0625 0.0005327 0.00001691 1 1 0.001285 0.01928 0.2245 0.001402 0.02104 0.245 json
t20_x1_u0_b122 20 1 0 122 sub(P,add(sub(P,P),D)) 159839 162452543 o2(x,o2(o2(x,x),x)) true 158719 158719 0 0.5 0.9375 0.9252 0.9619 -1 1 2 1 1.774 0.001323 0 0.01101 1 1 0 0.0002527 0.005079 0.001202 0.03468 3.15 0.1713 0.00143 0.0002731 1 1 0.003342 0.0331 0.2361 0.003612 0.03578 0.2552 json
t20_x1_u0_b123 20 1 0 123 sub(P,add(mlt(P,P),D)) 159840 162452544 o2(x,o2(o2(x,x),x)) true 158727 158727 -0.8945 0.04297 0.9017 0.08821 0.297 -1 0.1454 1.145 1 0.9704 0.001507 0 0.01082 1 1 0 0.0003107 0.004514 0.00139 0.03728 3.446 0.2773 0.01709 0.003522 1 1 0.003792 0.03505 0.1338 0.04299 0.3974 1.517 json
t20_x1_u0_b124 20 1 0 124 sub(P,add(div(P,P),D)) 159841 162452545 o2(x,o2(o2(x,x),x)) true 158735 158735 -0.1585 0.418 0.9688 0.9376 0.9683 -1 1 2 1 1.377 0.004383 0 0.009228 1 1 3.311e-9 0.007968 0.01038 0.0043 0.06558 7.106 0.9693 0.004674 0.008499 1 1 0.006341 0.04041 0.2865 0.006764 0.0431 0.3055 json
t20_x1_u0_b125 20 1 0 125 sub(P,add(pow(P,P),D)) 159842 162452546 o2(x,o2(o2(x,x),x)) true 158743 158743 -0.9491 0.01953 0.9513 0.04055 0.2014 -1 0.09672 1.097 1 0.6235 0.001142 0 0.008704 1 1 -4.731e-10 0.0001545 0.002754 0.001067 0.03266 3.752 0.1758 0.02817 0.003811 1 1 0.002927 0.03199 0.05812 0.0722 0.7889 1.433 json
t20_x1_u0_b126 20 1 0 126 sub(P,add(mod(P,P),D)) 159843 162452547 o2(x,o2(o2(x,x),x)) true 158751 158751 -0.125 0.4375 0.76 0.7082 0.8415 -1 1 2 1 2.864 0.02398 0 0.04699 1 1 0 0.03605 0.04155 0.02177 0.1475 3.14 1.969 0.03387 0.05091 1 1 0.03213 0.168 0.4293 0.04537 0.2372 0.6061 json
t20_x1_u0_b127 20 1 0 127 sub(P,add(lrg(P,P),D)) 159844 162452548 o2(x,o2(o2(x,x),x)) true 158759 158759 0 0.5 0.9375 0.9252 0.9619 -1 1 2 1 1.774 0.001323 0 0.01101 1 1 0 0.0002527 0.005079 0.001202 0.03468 3.15 0.1713 0.00143 0.0002731 1 1 0.003342 0.0331 0.2361 0.003612 0.03578 0.2552 json
t20_x1_u0_b128 20 1 0 128 sub(P,add(eql(P,P),D)) 159845 162452549 o2(x,o2(o2(x,x),x)) true 158767 158767 -0.125 0.4375 0.9375 0.9096 0.9537 -1 1 2 1 1.761 0.001323 0 0.01101 1 1 0 0.0002527 0.005079 0.001202 0.03468 3.15 0.1713 0.001454 0.0002778 1 1 0.003342 0.0331 0.2361 0.003674 0.03639 0.2595 json
t20_x1_u0_b129 20 1 0 129 sub(P,add(min(P,P),D)) 159846 162452550 o2(x,o2(o2(x,x),x)) true 158775 158775 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.03609 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 5.236e-15 0.2912 2.017 4.838e-13 json
t20_x1_u0_b130 20 1 0 130 sub(P,add(dot(P,P),D)) 159847 162452551 o2(x,o2(o2(x,x),x)) true 158783 158783 -0.9936 0.001221 0.9937 0.004776 0.06911 -1 0.1451 1.145 1 0.1378 0.00009692 0.00007529 0.001368 0.1256 1 -6.007e-11 0.00004935 0.0005846 0.0001704 0.01305 9.54 0.285 0.03606 0.01033 1 1 0.000572 0.005743 0.0175 0.1198 1.203 3.664 json
t20_x1_u0_b131 20 1 0 131 sub(P,add(dst(P,P),D)) 159848 162452552 o2(x,o2(o2(x,x),x)) true 158791 158791 0 0.5 0.9375 0.9252 0.9619 -1 1 2 1 1.774 0.001323 0 0.01101 1 1 0 0.0002527 0.005079 0.001202 0.03468 3.15 0.1713 0.00143 0.0002731 1 1 0.003342 0.0331 0.2361 0.003612 0.03578 0.2552 json
t20_x1_u0_b132 20 1 0 132 sub(P,sub(add(P,P),D)) 159849 162452553 o2(x,o2(o2(x,x),x)) true 158799 158799 0 0.5 0.9375 0.9252 0.9619 -1 1 2 1 1.774 0.001323 0 0.01101 1 1 0 0.0002527 0.005079 0.001202 0.03468 3.15 0.1713 0.00143 0.0002731 1 1 0.003342 0.0331 0.2361 0.003612 0.03578 0.2552 json
t20_x1_u0_b133 20 1 0 133 sub(P,sub(sub(P,P),D)) 159850 162452554 o2(x,o2(o2(x,x),x)) true 158807 158807 0 0.5 0.9375 0.9165 0.9574 -1 1 2 1 1.979 0.0004883 0 0.007937 1 1 0 0.0000155 0.000496 0.0004253 0.02062 2.598 0.0625 0.0005327 0.00001691 1 1 0.001285 0.01928 0.2245 0.001402 0.02104 0.245 json
t20_x1_u0_b134 20 1 0 134 sub(P,sub(mlt(P,P),D)) 159851 162452555 o2(x,o2(o2(x,x),x)) true 158815 158815 -0.8945 0.04297 0.9017 0.08821 0.297 -1 0.1454 1.145 1 0.9704 0.001507 0 0.01082 1 1 0 0.0003107 0.004514 0.00139 0.03728 3.446 0.2773 0.01709 0.003522 1 1 0.003792 0.03505 0.1338 0.04299 0.3974 1.517 json
t20_x1_u0_b135 20 1 0 135 sub(P,sub(div(P,P),D)) 159852 162452556 o2(x,o2(o2(x,x),x)) true 158823 158823 -0.1563 0.4375 0.9688 0.9332 0.966 -1 1 2 1 1.466 0.004457 0 0.007937 1 1 0 0.007952 0.008185 0.004392 0.06627 8.351 1.031 0.004775 0.008521 1 1 0.006548 0.04034 0.2807 0.007017 0.04322 0.3007 json
t20_x1_u0_b136 20 1 0 136 sub(P,sub(pow(P,P),D)) 159853 162452557 o2(x,o2(o2(x,x),x)) true 158831 158831 -0.9443 0.01172 0.9456 0.04011 0.2003 -1 0.07238 1.072 1 0.7955 0.00113 0 0.008511 1 1 -4.731e-10 0.0002329 0.002697 0.001057 0.03252 3.821 0.2773 0.02817 0.005807 1 1 0.002843 0.02652 0.05824 0.07087 0.6612 1.452 json
t20_x1_u0_b137 20 1 0 137 sub(P,sub(mod(P,P),D)) 159854 162452558 o2(x,o2(o2(x,x),x)) true 158839 158839 -0.125 0.4375 0.7599 0.7124 0.844 -1 1 2 1 2.665 0.02459 0 0.04626 1 1 -1.877e-12 0.03601 0.03979 0.02246 0.1499 3.24 2 0.03452 0.05056 1 1 0.03571 0.1791 0.4333 0.05014 0.2514 0.6082 json
t20_x1_u0_b138 20 1 0 138 sub(P,sub(lrg(P,P),D)) 159855 162452559 o2(x,o2(o2(x,x),x)) true 158847 158847 0 0.5 0.9375 0.9165 0.9574 -1 1 2 1 1.979 0.0004883 0 0.007937 1 1 0 0.0000155 0.000496 0.0004253 0.02062 2.598 0.0625 0.0005327 0.00001691 1 1 0.001285 0.01928 0.2245 0.001402 0.02104 0.245 json
t20_x1_u0_b139 20 1 0 139 sub(P,sub(eql(P,P),D)) 159856 162452560 o2(x,o2(o2(x,x),x)) true 158855 158855 -0.125 0.4375 0.9375 0.9009 0.9492 -1 1 2 1 1.966 0.0004883 0 0.007937 1 1 0 0.0000155 0.000496 0.0004253 0.02062 2.598 0.0625 0.000542 0.00001721 1 1 0.001285 0.01928 0.2245 0.001426 0.02141 0.2492 json
t20_x1_u0_b140 20 1 0 140 sub(P,sub(min(P,P),D)) 159857 162452561 o2(x,o2(o2(x,x),x)) true 158863 158863 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t20_x1_u0_b141 20 1 0 141 sub(P,sub(dot(P,P),D)) 159858 162452562 o2(x,o2(o2(x,x),x)) true 158871 158871 -0.9936 0.001221 0.9937 0.004776 0.06911 -1 0.1451 1.145 1 0.1378 0.00009692 0.00007529 0.001364 0.1256 1 -4.13e-11 0.00004935 0.0005846 0.0001704 0.01305 9.57 0.2904 0.03606 0.01033 1 1 0.000572 0.005743 0.0175 0.1198 1.203 3.664 json
t20_x1_u0_b142 20 1 0 142 sub(P,sub(dst(P,P),D)) 159859 162452563 o2(x,o2(o2(x,x),x)) true 158879 158879 0 0.5 0.9375 0.9165 0.9574 -1 1 2 1 1.979 0.0004883 0 0.007937 1 1 0 0.0000155 0.000496 0.0004253 0.02062 2.598 0.0625 0.0005327 0.00001691 1 1 0.001285 0.01928 0.2245 0.001402 0.02104 0.245 json
t20_x1_u0_b143 20 1 0 143 sub(P,mlt(add(P,P),D)) 159860 162452564 o2(x,o2(o2(x,x),x)) true 158887 158887 0.02701 0.5313 0.9306 0.9179 0.9581 -1 1 2 1 1.747 0.001245 0 0.0101 1 1 1.656e-9 0.0002828 0.004823 0.001143 0.03381 3.346 0.1966 0.001356 0.0003081 1 1 0.003115 0.03137 0.2284 0.003394 0.03417 0.2488 json
t20_x1_u0_b144 20 1 0 144 sub(P,mlt(sub(P,P),D)) 159861 162452565 o2(x,o2(o2(x,x),x)) true 158895 158895 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_x1_u0_b145 20 1 0 145 sub(P,mlt(mlt(P,P),D)) 159862 162452566 o2(x,o2(o2(x,x),x)) true 158903 158903 0 0.5 0.949 0.9371 0.968 -1 1 2 1 1.618 0.001592 0 0.01195 1 1 0 0.001917 0.009631 0.001449 0.03806 3.186 0.1927 0.001698 0.002046 1 1 0.00256 0.0294 0.2558 0.002732 0.03137 0.273 json
t20_x1_u0_b146 20 1 0 146 sub(P,mlt(div(P,P),D)) 159863 162452567 o2(x,o2(o2(x,x),x)) true 158911 158911 -0.125 0.4375 0.9978 0.9802 0.99 -1 1 2 1 1.149 0.01546 0 0.009228 1 1 0 0.03163 0.0175 0.01536 0.124 13.43 1.969 0.01577 0.03227 1 1 0.02003 0.08147 0.3341 0.02043 0.08312 0.3409 json
t20_x1_u0_b147 20 1 0 147 sub(P,mlt(pow(P,P),D)) 159864 162452568 o2(x,o2(o2(x,x),x)) true 158919 158919 -0.06656 0.4648 0.9669 0.9557 0.9776 -1 1 2 1 1.363 0.1244 0 0.07243 1 1 0 0.3579 0.1319 0.1192 0.3452 4.766 2 0.1302 0.3745 1 1 0.06112 0.09521 0.3114 0.06395 0.09963 0.3259 json
t20_x1_u0_b148 20 1 0 148 sub(P,mlt(mod(P,P),D)) 159865 162452569 o2(x,o2(o2(x,x),x)) true 158927 158927 -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_x1_u0_b149 20 1 0 149 sub(P,mlt(lrg(P,P),D)) 159866 162452570 o2(x,o2(o2(x,x),x)) true 158935 158935 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_x1_u0_b150 20 1 0 150 sub(P,mlt(eql(P,P),D)) 159867 162452571 o2(x,o2(o2(x,x),x)) true 158943 158943 0 0.5 0.9375 0.9252 0.9619 -1 1 2 1 1.774 0.001323 0 0.01101 1 1 0 0.0002527 0.005079 0.001202 0.03468 3.15 0.1713 0.00143 0.0002731 1 1 0.003342 0.0331 0.2361 0.003612 0.03578 0.2552 json
t20_x1_u0_b151 20 1 0 151 sub(P,mlt(min(P,P),D)) 159868 162452572 o2(x,o2(o2(x,x),x)) true 158951 158951 0.01514 0.5 0.9347 0.9219 0.9601 -1 1 2 1 1.778 0.0008508 0 0.008516 1 1 1.774e-10 0.00009868 0.002875 0.0007783 0.0279 3.276 0.1529 0.0009229 0.000107 1 1 0.002191 0.0263 0.2319 0.002377 0.02853 0.2516 json
t20_x1_u0_b152 20 1 0 152 sub(P,mlt(dot(P,P),D)) 159869 162452573 o2(x,o2(o2(x,x),x)) true 158959 158959 1.746e-10 0.5 0.934 0.913 0.9555 -1 1 2 1 2.005 0.1877 0.0004601 0.1512 0.9951 1 -7.509e-12 0.3016 0.2226 0.1653 0.4066 2.689 2.005 0.2061 0.3303 1 1 0.1391 0.4247 0.3178 0.1524 0.4651 0.3481 json
t20_x1_u0_b153 20 1 0 153 sub(P,mlt(dst(P,P),D)) 159870 162452574 o2(x,o2(o2(x,x),x)) true 158967 158967 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_x1_u0_b154 20 1 0 154 sub(P,div(add(P,P),D)) 159871 162452575 o2(x,o2(o2(x,x),x)) true 158975 158975 0.1382 0.5898 0.9476 0.9185 0.9584 -1 1 2 1 1.55 0.4061 0 0.2302 1 1 0 0.769 0.419 0.353 0.5941 2.581 2 0.4421 0.8373 1 1 0.4197 1.637 0.2501 0.4569 1.782 0.2723 json
t20_x1_u0_b155 20 1 0 155 sub(P,div(sub(P,P),D)) 159872 162452576 o2(x,o2(o2(x,x),x)) true 158983 158983 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_x1_u0_b156 20 1 0 156 sub(P,div(mlt(P,P),D)) 159873 162452577 o2(x,o2(o2(x,x),x)) true 158991 158991 0 0.5 0.9537 0.9441 0.9716 -1 1 2 1 1.559 0.4238 0 0.2302 1 1 0 0.8227 0.4341 0.3707 0.6089 2.645 2 0.4489 0.8714 1 1 0.4208 1.461 0.2295 0.4458 1.548 0.2431 json
t20_x1_u0_b157 20 1 0 157 sub(P,div(div(P,P),D)) 159874 162452578 o2(x,o2(o2(x,x),x)) true 158999 158999 -0.125 0.4375 0.9627 0.9363 0.9676 -1 1 2 1 1.578 0.3377 0 0.2143 1 1 3.754e-12 0.5915 0.3528 0.2919 0.5403 2.521 2 0.3607 0.6317 1 1 0.3589 0.8677 0.4076 0.3833 0.9268 0.4353 json
t20_x1_u0_b158 20 1 0 158 sub(P,div(pow(P,P),D)) 159875 162452579 o2(x,o2(o2(x,x),x)) true 159007 159007 -0.3181 0.3438 0.9927 0.8893 0.943 -1 1 2 1 1.055 0.2211 0 0.119 1 1 1.892e-9 0.4276 0.2238 0.2071 0.4551 3.823 2 0.2487 0.4808 1 1 0.2294 0.6458 0.2398 0.258 0.7263 0.2697 json
t20_x1_u0_b159 20 1 0 159 sub(P,div(mod(P,P),D)) 159876 162452580 o2(x,o2(o2(x,x),x)) true 159015 159015 -0.1087 0.4453 0.9863 0.9708 0.9853 -1 1 2 1 1.19 0.1736 0 0.1032 1 1 -3.754e-12 0.3169 0.1802 0.163 0.4037 3.913 2 0.1788 0.3264 1 1 0.1193 0.5376 0.8879 0.1229 0.5538 0.9147 json
t20_x1_u0_b160 20 1 0 160 sub(P,div(lrg(P,P),D)) 159877 162452581 o2(x,o2(o2(x,x),x)) true 159023 159023 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_x1_u0_b161 20 1 0 161 sub(P,div(eql(P,P),D)) 159878 162452582 o2(x,o2(o2(x,x),x)) true 159031 159031 -1.455e-11 0.5 0.9531 0.9398 0.9694 -1 1 2 1 1.754 0.3813 0 0.246 1 1 2.842e-9 0.6631 0.3981 0.3208 0.5664 2.302 2 0.4057 0.7056 1 1 0.4269 1.122 0.1505 0.4543 1.193 0.1601 json
t20_x1_u0_b162 20 1 0 162 sub(P,div(min(P,P),D)) 159879 162452583 o2(x,o2(o2(x,x),x)) true 159039 159039 0.1244 0.5859 0.9288 0.8994 0.9484 -1 1 2 1 1.726 0.387 0 0.2302 1 1 1.894e-9 0.7135 0.4048 0.3339 0.5778 2.51 2 0.4302 0.7932 1 1 0.4054 1.461 0.2307 0.4507 1.624 0.2566 json
t20_x1_u0_b163 20 1 0 163 sub(P,div(dot(P,P),D)) 159880 162452584 o2(x,o2(o2(x,x),x)) true 159047 159047 -4.773e-9 0.5 0.9926 0.9903 0.9951 -1 1 2 1 1.154 0.4742 0.0004039 0.2462 0.9983 1 -5.256e-11 0.9337 0.4786 0.4139 0.6434 2.613 2.036 0.4793 0.9429 1 1 0.4802 1.828 0.09504 0.485 1.846 0.09597 json
t20_x1_u0_b164 20 1 0 164 sub(P,div(dst(P,P),D)) 159881 162452585 o2(x,o2(o2(x,x),x)) true 159055 159055 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_x1_u0_b165 20 1 0 165 sub(P,pow(add(P,P),D)) 159882 162452586 o2(x,o2(o2(x,x),x)) true 159063 159063 -0.09098 0.4844 0.9103 0.8903 0.9436 -1 1 2 1 1.755 0.004704 0 0.01131 1 1 -1.419e-9 0.008062 0.01121 0.004574 0.06763 5.979 1 0.005284 0.009055 1 1 0.007132 0.04051 0.2039 0.008011 0.0455 0.2291 json
t20_x1_u0_b166 20 1 0 166 sub(P,pow(sub(P,P),D)) 159883 162452587 o2(x,o2(o2(x,x),x)) true 159071 159071 -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_x1_u0_b167 20 1 0 167 sub(P,pow(mlt(P,P),D)) 159884 162452588 o2(x,o2(o2(x,x),x)) true 159079 159079 -0.08998 0.4375 0.91 0.8944 0.9457 -1 1 2 1 1.626 0.004577 0 0.009482 1 1 -9.456e-10 0.008063 0.01052 0.004488 0.067 7.065 1 0.005117 0.009015 1 1 0.006794 0.03622 0.2098 0.007597 0.0405 0.2345 json
t20_x1_u0_b168 20 1 0 168 sub(P,pow(div(P,P),D)) 159885 162452589 o2(x,o2(o2(x,x),x)) true 159087 159087 -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_x1_u0_b169 20 1 0 169 sub(P,pow(pow(P,P),D)) 159886 162452590 o2(x,o2(o2(x,x),x)) true 159095 159095 -0.4921 0.2539 0.9307 0.67 0.8185 -1 1 2 1 1.718 0.09159 0 0.06693 1 1 -1.892e-9 0.161 0.1012 0.08707 0.2951 4.408 2 0.1367 0.2402 1 1 0.07473 0.2748 0.4912 0.1115 0.4102 0.7331 json
t20_x1_u0_b170 20 1 0 170 sub(P,pow(mod(P,P),D)) 159887 162452591 o2(x,o2(o2(x,x),x)) true 159103 159103 -0.625 0.1875 1 0.6094 0.7806 -1 1 2 1 0.6962 0.06349 0 0.03175 1 1 0 0.127 0.06349 0.06247 0.2499 7.873 2 0.1042 0.2084 1 1 0.06316 0.2526 0.8316 0.1036 0.4146 1.365 json
t20_x1_u0_b171 20 1 0 171 sub(P,pow(lrg(P,P),D)) 159888 162452592 o2(x,o2(o2(x,x),x)) true 159111 159111 -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_x1_u0_b172 20 1 0 172 sub(P,pow(eql(P,P),D)) 159889 162452593 o2(x,o2(o2(x,x),x)) true 159119 159119 -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_x1_u0_b173 20 1 0 173 sub(P,pow(min(P,P),D)) 159890 162452594 o2(x,o2(o2(x,x),x)) true 159127 159127 -0.08989 0.4375 0.9101 0.8957 0.9464 -1 1 2 1 1.558 0.00442 0 0.008438 1 1 2.346e-13 0.007989 0.00959 0.00435 0.06595 7.816 1 0.004935 0.008919 1 1 0.006427 0.03469 0.2084 0.007176 0.03873 0.2327 json
t20_x1_u0_b174 20 1 0 174 sub(P,pow(dot(P,P),D)) 159891 162452595 o2(x,o2(o2(x,x),x)) true 159135 159135 -0.2082 0.3975 0.9304 0.8681 0.9317 -1 1 2 1 1.98 0.008793 0.00007108 0.02829 0.984 1 -0.000006893 0.004361 0.01838 0.008059 0.08977 3.174 0.9997 0.01021 0.005024 1 1 0.01231 0.07738 0.2405 0.01418 0.08914 0.277 json
t20_x1_u0_b175 20 1 0 175 sub(P,pow(dst(P,P),D)) 159892 162452596 o2(x,o2(o2(x,x),x)) true 159143 159143 -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_x1_u0_b176 20 1 0 176 sub(P,mod(add(P,P),D)) 159893 162452597 o2(x,o2(o2(x,x),x)) true 159151 159151 0 0.5 0.927 0.9114 0.9547 -1 1 2 1 1.884 0.001807 0 0.01262 1 1 0 0.003186 0.01919 0.001648 0.0406 3.218 0.2773 0.001983 0.003496 1 1 0.002681 0.0233 0.2181 0.002942 0.02556 0.2393 json
t20_x1_u0_b177 20 1 0 177 sub(P,mod(sub(P,P),D)) 159894 162452598 o2(x,o2(o2(x,x),x)) true 159159 159159 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_x1_u0_b178 20 1 0 178 sub(P,mod(mlt(P,P),D)) 159895 162452599 o2(x,o2(o2(x,x),x)) true 159167 159167 -0.01017 0.5 0.936 0.9223 0.9603 -1 1 2 1 1.733 0.001314 0 0.008997 1 1 -2.365e-10 0.001536 0.008896 0.001233 0.03511 3.903 0.289 0.001424 0.001665 1 1 0.002466 0.02528 0.2323 0.002674 0.02742 0.2519 json
t20_x1_u0_b179 20 1 0 179 sub(P,mod(div(P,P),D)) 159896 162452600 o2(x,o2(o2(x,x),x)) true 159175 159175 -0.1261 0.4375 0.9989 0.9828 0.9914 -1 1 2 1 1.021 0.01594 0 0.009033 1 1 0 0.03284 0.01807 0.01585 0.1259 13.94 2 0.01622 0.03341 1 1 0.02051 0.08138 0.334 0.02087 0.0828 0.3399 json
t20_x1_u0_b180 20 1 0 180 sub(P,mod(pow(P,P),D)) 159897 162452601 o2(x,o2(o2(x,x),x)) true 159183 159183 -0.04198 0.4805 0.9602 0.951 0.9752 -1 1 2 1 1.45 0.004623 0 0.009512 1 1 -2.838e-9 0.008975 0.01334 0.004533 0.06733 7.078 1 0.004861 0.009438 1 1 0.006311 0.03509 0.273 0.006636 0.0369 0.287 json
t20_x1_u0_b181 20 1 0 181 sub(P,mod(mod(P,P),D)) 159898 162452602 o2(x,o2(o2(x,x),x)) true 159191 159191 -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_x1_u0_b182 20 1 0 182 sub(P,mod(lrg(P,P),D)) 159899 162452603 o2(x,o2(o2(x,x),x)) true 159199 159199 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