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_b184 20 0 0 184 sub(P,mod(min(P,P),P)) 159700 162412204 o2(x,o2(o2(x,x),x)) true 157607 157607 -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_b185 20 0 0 185 sub(P,mod(dot(P,P),P)) 159701 162412205 o2(x,o2(o2(x,x),x)) true 157615 157615 -0.139 0.4375 0.986 0.9629 0.9813 -1 1 2 1 1.219 0.01643 0.0006476 0.01321 0.9242 1 -1.014e-10 0.03242 0.01965 0.01691 0.13 9.841 2 0.01774 0.03367 1 1 0.02262 0.09718 0.342 0.02349 0.1009 0.3552 json
t20_x0_u0_b186 20 0 0 186 sub(P,mod(dst(P,P),P)) 159702 162412206 o2(x,o2(o2(x,x),x)) true 157623 157623 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_b187 20 0 0 187 sub(P,lrg(add(P,P),P)) 159703 162412207 o2(x,o2(o2(x,x),x)) true 157631 157631 -0.0625 0.4375 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_b188 20 0 0 188 sub(P,lrg(sub(P,P),P)) 159704 162412208 o2(x,o2(o2(x,x),x)) true 157639 157639 -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_b189 20 0 0 189 sub(P,lrg(mlt(P,P),P)) 159705 162412209 o2(x,o2(o2(x,x),x)) true 157647 157647 -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_b190 20 0 0 190 sub(P,lrg(div(P,P),P)) 159706 162412210 o2(x,o2(o2(x,x),x)) true 157655 157655 -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_b191 20 0 0 191 sub(P,lrg(pow(P,P),P)) 159707 162412211 o2(x,o2(o2(x,x),x)) true 157663 157663 -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_b192 20 0 0 192 sub(P,lrg(mod(P,P),P)) 159708 162412212 o2(x,o2(o2(x,x),x)) true 157671 157671 -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_b193 20 0 0 193 sub(P,lrg(lrg(P,P),P)) 159709 162412213 o2(x,o2(o2(x,x),x)) true 157679 157679 -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_b194 20 0 0 194 sub(P,lrg(eql(P,P),P)) 159710 162412214 o2(x,o2(o2(x,x),x)) true 157687 157687 -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_b195 20 0 0 195 sub(P,lrg(min(P,P),P)) 159711 162412215 o2(x,o2(o2(x,x),x)) true 157695 157695 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_b196 20 0 0 196 sub(P,lrg(dot(P,P),P)) 159712 162412216 o2(x,o2(o2(x,x),x)) true 157703 157703 -0.1179 0.4412 0.9376 0.9095 0.9537 -1 1 2 1 1.825 0.0007137 0.00007667 0.008489 0.806 1 -8.131e-11 0.0000476 0.002026 0.0007185 0.02681 3.158 0.2265 0.000869 0.00005234 1 1 0.002137 0.02777 0.2429 0.00235 0.03054 0.267 json
t20_x0_u0_b197 20 0 0 197 sub(P,lrg(dst(P,P),P)) 159713 162412217 o2(x,o2(o2(x,x),x)) true 157711 157711 -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_b198 20 0 0 198 sub(P,eql(add(P,P),P)) 159714 162412218 o2(x,o2(o2(x,x),x)) true 157719 157719 -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_b199 20 0 0 199 sub(P,eql(sub(P,P),P)) 159715 162412219 o2(x,o2(o2(x,x),x)) true 157727 157727 -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_b200 20 0 0 200 sub(P,eql(mlt(P,P),P)) 159716 162412220 o2(x,o2(o2(x,x),x)) true 157735 157735 -0.1153 0.4375 0.9472 0.9229 0.9607 -1 1 2 1 1.642 0.001005 0 0.007937 1 1 -4.731e-10 0.0001502 0.002719 0.0009424 0.0307 3.868 0.2265 0.001089 0.0001628 1 1 0.002565 0.02848 0.2515 0.00278 0.03086 0.2725 json
t20_x1_u0_b0 20 1 0 0 add(P,add(add(P,P),D)) 159717 162452421 o2(x,o2(o2(x,x),x)) true 157743 157743 0 0.5 0.9693 0.962 0.9808 -1 1 2 1 1.394 0.001405 0 0.007937 1 1 0 0.0003934 0.003229 0.001342 0.03663 4.615 0.2352 0.00146 0.000409 1 1 0.003465 0.03766 0.2857 0.003602 0.03915 0.2969 json
t20_x1_u0_b1 20 1 0 1 add(P,add(sub(P,P),D)) 159718 162452422 o2(x,o2(o2(x,x),x)) true 157751 157751 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_b2 20 1 0 2 add(P,add(mlt(P,P),D)) 159719 162452423 o2(x,o2(o2(x,x),x)) true 157759 157759 0.8945 0.957 0.9017 0.08821 0.297 -0.1454 1 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_b3 20 1 0 3 add(P,add(div(P,P),D)) 159720 162452424 o2(x,o2(o2(x,x),x)) true 157767 157767 -0.09375 0.4375 0.9688 0.9488 0.9741 -1 1 2 1 1.489 0.01983 0 0.01563 1 1 0 0.0397 0.02406 0.01959 0.14 8.958 2 0.0209 0.04184 1 1 0.02628 0.1035 0.3649 0.0277 0.1091 0.3845 json
t20_x1_u0_b4 20 1 0 4 add(P,add(pow(P,P),D)) 159721 162452425 o2(x,o2(o2(x,x),x)) true 157775 157775 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_x1_u0_b5 20 1 0 5 add(P,add(mod(P,P),D)) 159722 162452426 o2(x,o2(o2(x,x),x)) true 157783 157783 -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_b6 20 1 0 6 add(P,add(lrg(P,P),D)) 159723 162452427 o2(x,o2(o2(x,x),x)) true 157791 157791 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_b7 20 1 0 7 add(P,add(eql(P,P),D)) 159724 162452428 o2(x,o2(o2(x,x),x)) true 157799 157799 0.125 0.5625 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_b8 20 1 0 8 add(P,add(min(P,P),D)) 159725 162452429 o2(x,o2(o2(x,x),x)) true 157807 157807 0 0.5 0.9629 0.9531 0.9763 -1 1 2 1 1.525 0.001033 0 0.007937 1 1 0 0.0001387 0.002289 0.0009709 0.03116 3.926 0.1758 0.001084 0.0001455 1 1 0.002648 0.03249 0.2737 0.002779 0.03409 0.2871 json
t20_x1_u0_b9 20 1 0 9 add(P,add(dot(P,P),D)) 159726 162452430 o2(x,o2(o2(x,x),x)) true 157815 157815 0.9936 0.9988 0.9937 0.004776 0.06911 -0.1451 1 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_b10 20 1 0 10 add(P,add(dst(P,P),D)) 159727 162452431 o2(x,o2(o2(x,x),x)) true 157823 157823 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_b11 20 1 0 11 add(P,sub(add(P,P),D)) 159728 162452432 o2(x,o2(o2(x,x),x)) true 157831 157831 0 0.5 0.9605 0.9548 0.9772 -1 1 2 1 1.428 0.002118 0 0.008972 1 1 0 0.0008294 0.006009 0.002039 0.04515 5.033 0.3485 0.002218 0.0008686 1 1 0.005068 0.03632 0.276 0.005308 0.03803 0.2891 json
t20_x1_u0_b12 20 1 0 12 add(P,sub(sub(P,P),D)) 159729 162452433 o2(x,o2(o2(x,x),x)) true 157839 157839 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_b13 20 1 0 13 add(P,sub(mlt(P,P),D)) 159730 162452434 o2(x,o2(o2(x,x),x)) true 157847 157847 0.8945 0.957 0.9017 0.08821 0.297 -0.1454 1 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_b14 20 1 0 14 add(P,sub(div(P,P),D)) 159731 162452435 o2(x,o2(o2(x,x),x)) true 157855 157855 -0.09155 0.457 0.9688 0.954 0.9768 -1 1 2 1 1.398 0.02074 0 0.01741 1 1 -3.311e-9 0.03991 0.02635 0.02043 0.1429 8.211 2 0.02174 0.04183 1 1 0.02855 0.1195 0.3766 0.02993 0.1252 0.3948 json
t20_x1_u0_b15 20 1 0 15 add(P,sub(pow(P,P),D)) 159732 162452436 o2(x,o2(o2(x,x),x)) true 157863 157863 -0.001101 0.5 0.9989 0.9979 0.9989 -1 1 2 1 1.08 0.01542 0 0.008461 1 1 1.892e-9 0.03159 0.01657 0.01534 0.1239 14.64 1.969 0.01546 0.03166 1 1 0.01996 0.08136 0.334 0.02 0.08153 0.3347 json
t20_x1_u0_b16 20 1 0 16 add(P,sub(mod(P,P),D)) 159733 162452437 o2(x,o2(o2(x,x),x)) true 157871 157871 -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_b17 20 1 0 17 add(P,sub(lrg(P,P),D)) 159734 162452438 o2(x,o2(o2(x,x),x)) true 157879 157879 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_b18 20 1 0 18 add(P,sub(eql(P,P),D)) 159735 162452439 o2(x,o2(o2(x,x),x)) true 157887 157887 0.125 0.5625 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_b19 20 1 0 19 add(P,sub(min(P,P),D)) 159736 162452440 o2(x,o2(o2(x,x),x)) true 157895 157895 0 0.5 0.9537 0.9469 0.9731 -1 1 2 1 1.494 0.001772 0 0.009085 1 1 0 0.0004501 0.004884 0.00169 0.04111 4.525 0.2773 0.001871 0.0004753 1 1 0.004401 0.0356 0.2653 0.004647 0.0376 0.2802 json
t20_x1_u0_b20 20 1 0 20 add(P,sub(dot(P,P),D)) 159737 162452441 o2(x,o2(o2(x,x),x)) true 157903 157903 0.9936 0.9988 0.9937 0.004776 0.06911 -0.1451 1 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_b21 20 1 0 21 add(P,sub(dst(P,P),D)) 159738 162452442 o2(x,o2(o2(x,x),x)) true 157911 157911 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_b22 20 1 0 22 add(P,mlt(add(P,P),D)) 159739 162452443 o2(x,o2(o2(x,x),x)) true 157919 157919 -0.02701 0.4688 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_b23 20 1 0 23 add(P,mlt(sub(P,P),D)) 159740 162452444 o2(x,o2(o2(x,x),x)) true 157927 157927 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_b24 20 1 0 24 add(P,mlt(mlt(P,P),D)) 159741 162452445 o2(x,o2(o2(x,x),x)) true 157935 157935 1.31e-10 0.4961 0.8557 0.8144 0.9024 -1 1 2 1 2.798 0.08143 0 0.1033 1 1 3.754e-12 0.09292 0.1255 0.07078 0.266 2.576 1.502 0.09999 0.1141 1 1 0.0359 0.06467 0.2525 0.04408 0.07941 0.31 json
t20_x1_u0_b25 20 1 0 25 add(P,mlt(div(P,P),D)) 159742 162452446 o2(x,o2(o2(x,x),x)) true 157943 157943 -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_b26 20 1 0 26 add(P,mlt(pow(P,P),D)) 159743 162452447 o2(x,o2(o2(x,x),x)) true 157951 157951 -0.6729 0.1836 0.9576 0.4875 0.6982 -1 1 2 1 1.258 0.16 0 0.09725 1 1 -3.784e-9 0.3961 0.1711 0.1505 0.3879 3.989 2 0.3282 0.8127 1 1 0.1301 0.2824 0.5196 0.2668 0.5793 1.066 json
t20_x1_u0_b27 20 1 0 27 add(P,mlt(mod(P,P),D)) 159744 162452448 o2(x,o2(o2(x,x),x)) true 157959 157959 -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_b28 20 1 0 28 add(P,mlt(lrg(P,P),D)) 159745 162452449 o2(x,o2(o2(x,x),x)) true 157967 157967 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_b29 20 1 0 29 add(P,mlt(eql(P,P),D)) 159746 162452450 o2(x,o2(o2(x,x),x)) true 157975 157975 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_b30 20 1 0 30 add(P,mlt(min(P,P),D)) 159747 162452451 o2(x,o2(o2(x,x),x)) true 157983 157983 -0.01514 0.4961 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_b31 20 1 0 31 add(P,mlt(dot(P,P),D)) 159748 162452452 o2(x,o2(o2(x,x),x)) true 157991 157991 2.037e-10 0.5 0.895 0.8604 0.9276 -1 1 2 1 2.47 0.2529 0.0003091 0.2065 0.9976 1 -3.754e-11 0.3895 0.2947 0.2106 0.4589 2.222 2.001 0.2943 0.4527 1 1 0.2267 0.6956 0.2626 0.2635 0.8085 0.3052 json
t20_x1_u0_b32 20 1 0 32 add(P,mlt(dst(P,P),D)) 159749 162452453 o2(x,o2(o2(x,x),x)) true 157999 157999 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_b33 20 1 0 33 add(P,div(add(P,P),D)) 159750 162452454 o2(x,o2(o2(x,x),x)) true 158007 158007 -0.1382 0.4102 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.642 0.2518 0.4569 1.788 0.2741 json
t20_x1_u0_b34 20 1 0 34 add(P,div(sub(P,P),D)) 159751 162452455 o2(x,o2(o2(x,x),x)) true 158015 158015 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_b35 20 1 0 35 add(P,div(mlt(P,P),D)) 159752 162452456 o2(x,o2(o2(x,x),x)) true 158023 158023 1.455e-11 0.4961 0.9299 0.9178 0.958 -1 1 2 1 1.759 0.4139 0 0.2302 1 1 0 0.7942 0.4278 0.3608 0.6007 2.61 2 0.451 0.8653 1 1 0.4134 1.68 0.1254 0.4505 1.831 0.1366 json
t20_x1_u0_b36 20 1 0 36 add(P,div(div(P,P),D)) 159753 162452457 o2(x,o2(o2(x,x),x)) true 158031 158031 -0.125 0.4375 0.9654 0.9408 0.9699 -1 1 2 1 1.481 0.3322 0 0.2063 1 1 0 0.5919 0.3469 0.2897 0.5383 2.609 2 0.3531 0.6292 1 1 0.3539 0.8117 0.3992 0.3762 0.8628 0.4243 json
t20_x1_u0_b37 20 1 0 37 add(P,div(pow(P,P),D)) 159754 162452458 o2(x,o2(o2(x,x),x)) true 158039 158039 -0.6498 0.1758 0.9918 0.5659 0.7523 -1 1 2 1 0.8152 0.2357 0 0.127 1 1 -1.892e-9 0.4584 0.2388 0.2198 0.4688 3.692 2 0.4166 0.8101 1 1 0.2476 0.764 0.2328 0.4376 1.35 0.4114 json
t20_x1_u0_b38 20 1 0 38 add(P,div(mod(P,P),D)) 159755 162452459 o2(x,o2(o2(x,x),x)) true 158047 158047 -0.1413 0.4297 0.9863 0.9627 0.9812 -1 1 2 1 1.181 0.1736 0 0.1032 1 1 7.509e-12 0.3169 0.1802 0.163 0.4037 3.913 2 0.1803 0.3292 1 1 0.1193 0.5523 0.7159 0.124 0.5737 0.7437 json
t20_x1_u0_b39 20 1 0 39 add(P,div(lrg(P,P),D)) 159756 162452460 o2(x,o2(o2(x,x),x)) true 158055 158055 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_b40 20 1 0 40 add(P,div(eql(P,P),D)) 159757 162452461 o2(x,o2(o2(x,x),x)) true 158063 158063 -1.455e-11 0.5 0.9531 0.9397 0.9694 -1 1 2 1 1.646 0.3728 0 0.2381 1 1 -1.892e-9 0.6597 0.3886 0.3161 0.5622 2.361 2 0.3967 0.702 1 1 0.4169 1.085 0.1588 0.4436 1.154 0.1689 json
t20_x1_u0_b41 20 1 0 41 add(P,div(min(P,P),D)) 159758 162452462 o2(x,o2(o2(x,x),x)) true 158071 158071 -0.1244 0.4102 0.9288 0.8994 0.9484 -1 1 2 1 1.726 0.387 0 0.2302 1 1 -3.784e-9 0.7135 0.4048 0.3339 0.5778 2.51 2 0.4302 0.7932 1 1 0.4054 1.47 0.2305 0.4507 1.635 0.2563 json
t20_x1_u0_b42 20 1 0 42 add(P,div(dot(P,P),D)) 159759 162452463 o2(x,o2(o2(x,x),x)) true 158079 158079 -7.931e-10 0.5 0.9941 0.9926 0.9963 -1 1 2 1 1.117 0.481 0.0001473 0.246 0.9994 1 -1.126e-11 0.9537 0.4834 0.4206 0.6486 2.636 2.037 0.4848 0.9608 1 1 0.4836 1.963 0.02268 0.4872 1.977 0.02285 json
t20_x1_u0_b43 20 1 0 43 add(P,div(dst(P,P),D)) 159760 162452464 o2(x,o2(o2(x,x),x)) true 158087 158087 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_b44 20 1 0 44 add(P,pow(add(P,P),D)) 159761 162452465 o2(x,o2(o2(x,x),x)) true 158095 158095 -0.02336 0.5 0.9766 0.9716 0.9857 -1 1 2 1 1.244 0.0046 0 0.007936 1 1 -9.466e-10 0.008016 0.009562 0.004536 0.06735 8.486 1 0.004734 0.00825 1 1 0.006886 0.04748 0.2999 0.007087 0.04887 0.3087 json
t20_x1_u0_b45 20 1 0 45 add(P,pow(sub(P,P),D)) 159762 162452466 o2(x,o2(o2(x,x),x)) true 158103 158103 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_x1_u0_b46 20 1 0 46 add(P,pow(mlt(P,P),D)) 159763 162452467 o2(x,o2(o2(x,x),x)) true 158111 158111 0.1564 0.5938 0.9291 0.8902 0.9435 -1 1 2 1 1.779 0.009305 0 0.01886 1 1 -4.731e-10 0.01634 0.02079 0.008953 0.09462 5.016 0.9995 0.01045 0.01836 1 1 0.01385 0.05933 0.2327 0.01555 0.06665 0.2614 json
t20_x1_u0_b47 20 1 0 47 add(P,pow(div(P,P),D)) 159764 162452468 o2(x,o2(o2(x,x),x)) true 158119 158119 -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_x1_u0_b48 20 1 0 48 add(P,pow(pow(P,P),D)) 159765 162452469 o2(x,o2(o2(x,x),x)) true 158127 158127 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_x1_u0_b49 20 1 0 49 add(P,pow(mod(P,P),D)) 159766 162452470 o2(x,o2(o2(x,x),x)) true 158135 158135 0.125 0.5625 1 0.9844 0.9922 -1 1 2 1 0.9887 0.07937 0 0.03968 1 1 0 0.1587 0.07937 0.07773 0.2788 7.026 2 0.08062 0.1612 1 1 0.1053 0.4211 0.8421 0.1069 0.4277 0.8555 json
t20_x1_u0_b50 20 1 0 50 add(P,pow(lrg(P,P),D)) 159767 162452471 o2(x,o2(o2(x,x),x)) true 158143 158143 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_x1_u0_b51 20 1 0 51 add(P,pow(eql(P,P),D)) 159768 162452472 o2(x,o2(o2(x,x),x)) true 158151 158151 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_x1_u0_b52 20 1 0 52 add(P,pow(min(P,P),D)) 159769 162452473 o2(x,o2(o2(x,x),x)) true 158159 158159 -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_x1_u0_b53 20 1 0 53 add(P,pow(dot(P,P),D)) 159770 162452474 o2(x,o2(o2(x,x),x)) true 158167 158167 0.2262 0.6123 0.9275 0.8551 0.9247 -1 1 2 1 2.036 0.01135 0.001826 0.03405 0.7228 1 0.000006615 0.01113 0.0249 0.01202 0.1096 3.219 2.828 0.01541 0.01302 1 1 0.01835 0.09796 0.254 0.02146 0.1146 0.2971 json
t20_x1_u0_b54 20 1 0 54 add(P,pow(dst(P,P),D)) 159771 162452475 o2(x,o2(o2(x,x),x)) true 158175 158175 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_x1_u0_b55 20 1 0 55 add(P,mod(add(P,P),D)) 159772 162452476 o2(x,o2(o2(x,x),x)) true 158183 158183 0 0.5 0.9454 0.9343 0.9666 -1 1 2 1 1.652 0.001623 0 0.009601 1 1 0 0.002235 0.01236 0.001531 0.03912 4.075 0.2953 0.001737 0.002392 1 1 0.002824 0.02778 0.2484 0.003022 0.02974 0.2658 json
t20_x1_u0_b56 20 1 0 56 add(P,mod(sub(P,P),D)) 159773 162452477 o2(x,o2(o2(x,x),x)) true 158191 158191 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_b57 20 1 0 57 add(P,mod(mlt(P,P),D)) 159774 162452478 o2(x,o2(o2(x,x),x)) true 158199 158199 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_b58 20 1 0 58 add(P,mod(div(P,P),D)) 159775 162452479 o2(x,o2(o2(x,x),x)) true 158207 158207 -0.1239 0.4375 0.9989 0.9818 0.9908 -1 1 2 1 1.022 0.01594 0 0.009033 1 1 0 0.03195 0.01807 0.01585 0.1259 13.94 2 0.01624 0.03255 1 1 0.02109 0.0843 0.3369 0.02149 0.08587 0.3432 json
t20_x1_u0_b59 20 1 0 59 add(P,mod(pow(P,P),D)) 159776 162452480 o2(x,o2(o2(x,x),x)) true 158215 158215 -0.02254 0.5 0.9775 0.9718 0.9858 -1 1 2 1 1.32 0.004485 0 0.007939 1 1 2.365e-9 0.007697 0.01031 0.004421 0.06649 8.375 1 0.004615 0.007921 1 1 0.006793 0.0476 0.2988 0.00699 0.04898 0.3075 json
t20_x1_u0_b60 20 1 0 60 add(P,mod(mod(P,P),D)) 159777 162452481 o2(x,o2(o2(x,x),x)) true 158223 158223 -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_b61 20 1 0 61 add(P,mod(lrg(P,P),D)) 159778 162452482 o2(x,o2(o2(x,x),x)) true 158231 158231 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_b62 20 1 0 62 add(P,mod(eql(P,P),D)) 159779 162452483 o2(x,o2(o2(x,x),x)) true 158239 158239 0.0196 0.5195 0.9375 0.9235 0.961 -1 1 2 1 1.767 0.001215 0 0.01013 1 1 1.301e-9 0.001069 0.009733 0.001112 0.03335 3.291 0.2323 0.001316 0.001158 1 1 0.002514 0.0271 0.2345 0.002723 0.02935 0.254 json
t20_x1_u0_b63 20 1 0 63 add(P,mod(min(P,P),D)) 159780 162452484 o2(x,o2(o2(x,x),x)) true 158247 158247 0 0.5 0.9462 0.9355 0.9672 -1 1 2 1 1.618 0.001374 0 0.008892 1 1 0 0.001385 0.007238 0.001294 0.03598 4.046 0.2043 0.001469 0.00148 1 1 0.002726 0.02808 0.2499 0.002914 0.03002 0.2672 json
t20_x1_u0_b64 20 1 0 64 add(P,mod(dot(P,P),D)) 159781 162452485 o2(x,o2(o2(x,x),x)) true 158255 158255 0.01706 0.5146 0.9374 0.9239 0.9612 -1 1 2 1 1.806 0.001541 0.000007031 0.01096 0.9909 1 7.826e-9 0.002047 0.0131 0.001428 0.03779 3.449 0.4153 0.001676 0.002215 1 1 0.002797 0.0269 0.2352 0.003028 0.02912 0.2546 json
t20_x1_u0_b65 20 1 0 65 add(P,mod(dst(P,P),D)) 159782 162452486 o2(x,o2(o2(x,x),x)) true 158263 158263 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_b66 20 1 0 66 add(P,lrg(add(P,P),D)) 159783 162452487 o2(x,o2(o2(x,x),x)) true 158271 158271 0.04098 0.5313 0.959 0.9453 0.9723 -1 1 2 1 1.571 0.006022 0 0.01586 1 1 0 0.008334 0.01158 0.005766 0.07594 4.787 0.9988 0.006371 0.008816 1 1 0.01045 0.06016 0.2663 0.01105 0.06364 0.2817 json
t20_x1_u0_b67 20 1 0 67 add(P,lrg(sub(P,P),D)) 159784 162452488 o2(x,o2(o2(x,x),x)) true 158279 158279 0.0625 0.5313 0.9375 0.9184 0.9583 -1 1 2 1 1.809 0.01063 0 0.02379 1 1 0 0.0166 0.02131 0.01007 0.1003 4.218 0.9988 0.01158 0.01808 1 1 0.0172 0.07175 0.2321 0.01872 0.07812 0.2528 json
t20_x1_u0_b68 20 1 0 68 add(P,lrg(mlt(P,P),D)) 159785 162452489 o2(x,o2(o2(x,x),x)) true 158287 158287 0.1035 0.5625 0.916 0.8884 0.9425 -1 1 2 1 1.99 0.005319 0 0.01587 1 1 0 0.008252 0.01158 0.005063 0.07116 4.485 0.9991 0.005987 0.009289 1 1 0.008637 0.04222 0.2029 0.009722 0.04753 0.2283 json
t20_x1_u0_b69 20 1 0 69 add(P,lrg(div(P,P),D)) 159786 162452490 o2(x,o2(o2(x,x),x)) true 158295 158295 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_x1_u0_b70 20 1 0 70 add(P,lrg(pow(P,P),D)) 159787 162452491 o2(x,o2(o2(x,x),x)) true 158303 158303 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_x1_u0_b71 20 1 0 71 add(P,lrg(mod(P,P),D)) 159788 162452492 o2(x,o2(o2(x,x),x)) true 158311 158311 0.08402 0.5313 0.959 0.941 0.9701 -1 1 2 1 1.565 0.006022 0 0.01586 1 1 0 0.008334 0.01158 0.005766 0.07594 4.787 0.9988 0.0064 0.008856 1 1 0.01045 0.06016 0.2663 0.0111 0.06393 0.283 json
t20_x1_u0_b72 20 1 0 72 add(P,lrg(lrg(P,P),D)) 159789 162452493 o2(x,o2(o2(x,x),x)) true 158319 158319 0.0625 0.5313 0.9375 0.9184 0.9583 -1 1 2 1 1.809 0.01063 0 0.02379 1 1 0 0.0166 0.02131 0.01007 0.1003 4.218 0.9988 0.01158 0.01808 1 1 0.0172 0.07175 0.2321 0.01872 0.07812 0.2528 json
t20_x1_u0_b73 20 1 0 73 add(P,lrg(eql(P,P),D)) 159790 162452494 o2(x,o2(o2(x,x),x)) true 158327 158327 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_x1_u0_b74 20 1 0 74 add(P,lrg(min(P,P),D)) 159791 162452495 o2(x,o2(o2(x,x),x)) true 158335 158335 0.04098 0.5313 0.959 0.9453 0.9723 -1 1 2 1 1.571 0.006022 0 0.01586 1 1 0 0.008334 0.01158 0.005766 0.07594 4.787 0.9988 0.006371 0.008816 1 1 0.01045 0.06016 0.2663 0.01105 0.06364 0.2817 json
t20_x1_u0_b75 20 1 0 75 add(P,lrg(dot(P,P),D)) 159792 162452496 o2(x,o2(o2(x,x),x)) true 158343 158343 0.1238 0.5625 0.9363 0.9072 0.9525 -1 1 2 1 1.819 0.0009379 0.00001429 0.008531 0.97 1 2.44e-11 0.0004547 0.002511 0.0008793 0.02965 3.476 0.9988 0.00105 0.0005012 1 1 0.002353 0.0261 0.2331 0.002594 0.02877 0.2569 json
t20_x1_u0_b76 20 1 0 76 add(P,lrg(dst(P,P),D)) 159793 162452497 o2(x,o2(o2(x,x),x)) true 158351 158351 0.0625 0.5313 0.9375 0.9184 0.9583 -1 1 2 1 1.809 0.01063 0 0.02379 1 1 0 0.0166 0.02131 0.01007 0.1003 4.218 0.9988 0.01158 0.01808 1 1 0.0172 0.07175 0.2321 0.01872 0.07812 0.2528 json
t20_x1_u0_b77 20 1 0 77 add(P,eql(add(P,P),D)) 159794 162452498 o2(x,o2(o2(x,x),x)) true 158359 158359 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_b78 20 1 0 78 add(P,eql(sub(P,P),D)) 159795 162452499 o2(x,o2(o2(x,x),x)) true 158367 158367 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_b79 20 1 0 79 add(P,eql(mlt(P,P),D)) 159796 162452500 o2(x,o2(o2(x,x),x)) true 158375 158375 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_b80 20 1 0 80 add(P,eql(div(P,P),D)) 159797 162452501 o2(x,o2(o2(x,x),x)) true 158383 158383 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_b81 20 1 0 81 add(P,eql(pow(P,P),D)) 159798 162452502 o2(x,o2(o2(x,x),x)) true 158391 158391 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_b82 20 1 0 82 add(P,eql(mod(P,P),D)) 159799 162452503 o2(x,o2(o2(x,x),x)) true 158399 158399 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