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_x3_u0_b81 20 3 0 81 add(P,eql(pow(P,D),P)) 160200 162533304 o2(x,o2(o2(x,x),x)) true 161607 161607 0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 0 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t20_x3_u0_b82 20 3 0 82 add(P,eql(mod(P,D),P)) 160201 162533305 o2(x,o2(o2(x,x),x)) true 161615 161615 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_x3_u0_b83 20 3 0 83 add(P,eql(lrg(P,D),P)) 160202 162533306 o2(x,o2(o2(x,x),x)) true 161623 161623 0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 0 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t20_x3_u0_b84 20 3 0 84 add(P,eql(eql(P,D),P)) 160203 162533307 o2(x,o2(o2(x,x),x)) true 161631 161631 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_x3_u0_b85 20 3 0 85 add(P,eql(min(P,D),P)) 160204 162533308 o2(x,o2(o2(x,x),x)) true 161639 161639 0.09375 0.5 0.9063 0.89 0.9434 -1 1 2 1 1.668 0.004321 0 0.007937 1 1 4.731e-10 0.007953 0.008864 0.004257 0.06525 8.221 1 0.004855 0.008935 1 1 0.006189 0.0332 0.2014 0.006953 0.0373 0.2263 json
t20_x3_u0_b86 20 3 0 86 add(P,eql(dot(P,D),P)) 160205 162533309 o2(x,o2(o2(x,x),x)) true 161647 161647 0.004242 0.5029 0.9398 0.9262 0.9624 -1 1 2 1 1.812 0.001145 0.0004421 0.00919 0.4428 1 1.584e-11 0.004149 0.004612 0.001502 0.03876 4.218 1.352 0.001713 0.00448 1 1 0.002615 0.02807 0.2431 0.002823 0.0303 0.2625 json
t20_x3_u0_b87 20 3 0 87 add(P,eql(dst(P,D),P)) 160206 162533310 o2(x,o2(o2(x,x),x)) true 161655 161655 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_x3_u0_b88 20 3 0 88 add(P,min(add(P,D),P)) 160207 162533311 o2(x,o2(o2(x,x),x)) true 161663 161663 -0.008938 0.5 0.9588 0.9503 0.9749 -1 1 2 1 1.506 0.001213 0 0.007936 1 1 -1.537e-9 0.0002469 0.003264 0.00115 0.03392 4.274 0.2122 0.001276 0.0002598 1 1 0.003053 0.0324 0.2701 0.003213 0.03409 0.2843 json
t20_x3_u0_b89 20 3 0 89 add(P,min(sub(P,D),P)) 160208 162533312 o2(x,o2(o2(x,x),x)) true 161671 161671 -0.008939 0.4844 0.9551 0.9477 0.9735 -1 1 2 1 1.475 0.001575 0 0.00866 1 1 -4.731e-10 0.0003801 0.004457 0.001501 0.03874 4.473 0.261 0.001662 0.0004011 1 1 0.003925 0.03424 0.2665 0.004142 0.03613 0.2813 json
t20_x3_u0_b90 20 3 0 90 add(P,min(mlt(P,D),P)) 160209 162533313 o2(x,o2(o2(x,x),x)) true 161679 161679 -0.01867 0.4961 0.9383 0.9276 0.9631 -1 1 2 1 1.688 0.0009917 0 0.007936 1 1 1.301e-9 0.0001515 0.00267 0.0009294 0.03049 3.841 0.2265 0.001069 0.0001633 1 1 0.00253 0.02782 0.239 0.002727 0.03 0.2577 json
t20_x3_u0_b91 20 3 0 91 add(P,min(div(P,D),P)) 160210 162533314 o2(x,o2(o2(x,x),x)) true 161687 161687 -0.4796 0.2383 0.9343 0.6924 0.8321 -1 1 2 1 1.487 0.1836 0 0.119 1 1 -9.461e-10 0.328 0.1943 0.1695 0.4117 3.458 2 0.2651 0.4737 1 1 0.197 0.8498 0.1488 0.2846 1.227 0.2149 json
t20_x3_u0_b92 20 3 0 92 add(P,min(pow(P,D),P)) 160211 162533315 o2(x,o2(o2(x,x),x)) true 161695 161695 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_x3_u0_b93 20 3 0 93 add(P,min(mod(P,D),P)) 160212 162533316 o2(x,o2(o2(x,x),x)) true 161703 161703 -0.005393 0.5 0.9516 0.9424 0.9708 -1 1 2 1 1.553 0.001339 0 0.008414 1 1 0 0.0008265 0.005412 0.001268 0.03561 4.232 0.2265 0.00142 0.0008771 1 1 0.003003 0.03033 0.2593 0.003186 0.03218 0.2751 json
t20_x3_u0_b94 20 3 0 94 add(P,min(lrg(P,D),P)) 160213 162533317 o2(x,o2(o2(x,x),x)) true 161711 161711 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_x3_u0_b95 20 3 0 95 add(P,min(eql(P,D),P)) 160214 162533318 o2(x,o2(o2(x,x),x)) true 161719 161719 -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_x3_u0_b96 20 3 0 96 add(P,min(min(P,D),P)) 160215 162533319 o2(x,o2(o2(x,x),x)) true 161727 161727 -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_x3_u0_b97 20 3 0 97 add(P,min(dot(P,D),P)) 160216 162533320 o2(x,o2(o2(x,x),x)) true 161735 161735 -0.07257 0.4606 0.948 0.9272 0.9629 -1 1 2 1 1.8 0.0009117 0.003551 0.01871 -0.5914 1 0.0004287 0.001712 0.01013 0.004113 0.06413 3.427 0.5135 0.004813 0.001846 1 1 0.007609 0.05724 0.2493 0.008207 0.06174 0.2689 json
t20_x3_u0_b98 20 3 0 98 add(P,min(dst(P,D),P)) 160217 162533321 o2(x,o2(o2(x,x),x)) true 161743 161743 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_x3_u0_b99 20 3 0 99 add(P,dot(add(P,D),P)) 160218 162533322 o2(x,o2(o2(x,x),x)) true 161751 161751 0.9904 0.997 0.9912 0.008041 0.08967 -0.2729 1 1.273 1 0.1729 0.00009075 0.00008039 0.001539 0.06053 1 -9.011e-11 0.00003571 0.0005144 0.0001686 0.01298 8.436 0.2193 0.02128 0.004441 1 1 0.0005787 0.006885 0.0294 0.07197 0.8562 3.656 json
t20_x3_u0_b100 20 3 0 100 add(P,dot(sub(P,D),P)) 160219 162533323 o2(x,o2(o2(x,x),x)) true 161759 161759 0.9957 0.9998 0.9958 0.002988 0.05467 -0.06535 1 1.065 1 0.09317 0.00008459 0.00009331 0.001153 -0.04901 1 4.881e-11 0.00006572 0.0006075 0.0001764 0.01328 11.52 0.3079 0.05953 0.02199 1 1 0.0005821 0.005149 0.01092 0.1948 1.723 3.655 json
t20_x3_u0_b101 20 3 0 101 add(P,dot(mlt(P,D),P)) 160220 162533324 o2(x,o2(o2(x,x),x)) true 161767 161767 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_x3_u0_b102 20 3 0 102 add(P,dot(div(P,D),P)) 160221 162533325 o2(x,o2(o2(x,x),x)) true 161775 161775 -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_x3_u0_b103 20 3 0 103 add(P,dot(pow(P,D),P)) 160222 162533326 o2(x,o2(o2(x,x),x)) true 161783 161783 -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_x3_u0_b104 20 3 0 104 add(P,dot(mod(P,D),P)) 160223 162533327 o2(x,o2(o2(x,x),x)) true 161791 161791 -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_x3_u0_b105 20 3 0 105 add(P,dot(lrg(P,D),P)) 160224 162533328 o2(x,o2(o2(x,x),x)) true 161799 161799 0.2543 0.624 0.9434 0.8644 0.9297 -1 1 2 1 1.747 0.0008539 0.000341 0.009979 0.4292 1 -4.205e-10 0.0001919 0.002971 0.001095 0.03309 3.316 0.2359 0.001382 0.000222 1 1 0.003049 0.03624 0.3296 0.003528 0.04192 0.3814 json
t20_x3_u0_b106 20 3 0 106 add(P,dot(eql(P,D),P)) 160225 162533329 o2(x,o2(o2(x,x),x)) true 161807 161807 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_x3_u0_b107 20 3 0 107 add(P,dot(min(P,D),P)) 160226 162533330 o2(x,o2(o2(x,x),x)) true 161815 161815 0.9173 0.9616 0.9478 0.09147 0.3024 -1 1 2 1 0.8852 0.000602 0.002959 0.01566 -0.6619 1 0.0003073 0.0009747 0.007194 0.003316 0.05758 3.677 0.4797 0.03893 0.01066 1 1 0.006333 0.05224 0.1227 0.06923 0.5711 1.341 json
t20_x3_u0_b108 20 3 0 108 add(P,dot(dot(P,D),P)) 160227 162533331 o2(x,o2(o2(x,x),x)) true 161823 161823 -4.445e-8 0.5 0.9241 0.8997 0.9485 -1 1 2 1 2.134 0.09746 0.1179 0.1685 -0.09489 1 5.692e-9 0.4745 0.2493 0.1869 0.4323 2.565 2.828 0.2393 0.5274 1 1 0.2092 0.7653 0.3123 0.2326 0.8506 0.3471 json
t20_x3_u0_b109 20 3 0 109 add(P,dot(dst(P,D),P)) 160228 162533332 o2(x,o2(o2(x,x),x)) true 161831 161831 1.63e-9 0.5 0.9884 0.9846 0.9923 -1 1 2 1 1.237 0.003937 0.004063 0.01231 -0.01574 1 -1.164e-10 0.007376 0.01007 0.00785 0.0886 7.199 1.602 0.008126 0.007491 1 1 0.01496 0.1151 0.5614 0.0152 0.1169 0.5702 json
t20_x3_u0_b110 20 3 0 110 add(P,dst(add(P,D),P)) 160229 162533333 o2(x,o2(o2(x,x),x)) true 161839 161839 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_x3_u0_b111 20 3 0 111 add(P,dst(sub(P,D),P)) 160230 162533334 o2(x,o2(o2(x,x),x)) true 161847 161847 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_x3_u0_b112 20 3 0 112 add(P,dst(mlt(P,D),P)) 160231 162533335 o2(x,o2(o2(x,x),x)) true 161855 161855 0.8554 0.9378 0.9068 0.1456 0.3816 -1 1 2 1 1.484 0.006487 0.0006528 0.0309 0.8172 1 0.0008073 0.002101 0.0155 0.006182 0.07863 2.544 0.4334 0.04903 0.01443 1 1 0.009761 0.06624 0.09221 0.06703 0.4549 0.6332 json
t20_x3_u0_b113 20 3 0 113 add(P,dst(div(P,D),P)) 160232 162533336 o2(x,o2(o2(x,x),x)) true 161863 161863 -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_x3_u0_b114 20 3 0 114 add(P,dst(pow(P,D),P)) 160233 162533337 o2(x,o2(o2(x,x),x)) true 161871 161871 -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_x3_u0_b115 20 3 0 115 add(P,dst(mod(P,D),P)) 160234 162533338 o2(x,o2(o2(x,x),x)) true 161879 161879 -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_x3_u0_b116 20 3 0 116 add(P,dst(lrg(P,D),P)) 160235 162533339 o2(x,o2(o2(x,x),x)) true 161887 161887 0.8591 0.9711 0.8591 0.09365 0.306 0 1 1 1 1.453 0.0004591 0.0003239 0.005611 0.1726 1 -0.000002345 0.001137 0.002996 0.0007513 0.02741 4.885 0.9997 0.008361 0.01215 1 1 0.001685 0.01148 0.06791 0.01799 0.1226 0.7251 json
t20_x3_u0_b117 20 3 0 117 add(P,dst(eql(P,D),P)) 160236 162533340 o2(x,o2(o2(x,x),x)) true 161895 161895 0.909 1 0.909 0.05423 0.2329 0.06228 1 0.9377 1 1.208 0.00002722 0.0001044 0.003631 -0.5865 1 -0.000002218 0.00001795 0.0009998 0.0001185 0.01089 2.999 0.08728 0.002427 0.000331 1 1 0.0003553 0.004311 0.03962 0.006552 0.07949 0.7306 json
t20_x3_u0_b118 20 3 0 118 add(P,dst(min(P,D),P)) 160237 162533341 o2(x,o2(o2(x,x),x)) true 161903 161903 0.2621 0.6378 0.9424 0.8597 0.9272 -1 1 2 1 1.736 0.0009822 0.0006173 0.01161 0.2281 1 -0.00000806 0.0002936 0.004442 0.001465 0.03827 3.296 0.2628 0.001861 0.0003415 1 1 0.004027 0.04133 0.3239 0.004684 0.04807 0.3767 json
t20_x3_u0_b119 20 3 0 119 add(P,dst(dot(P,D),P)) 160238 162533342 o2(x,o2(o2(x,x),x)) true 161911 161911 0.9081 0.9635 0.9325 0.08694 0.2949 -1 1 2 1 1.097 0.007754 0.0009137 0.02825 0.7892 1 0.0003803 0.004176 0.01822 0.007867 0.0887 3.139 0.6843 0.0997 0.04804 1 1 0.01245 0.072 0.06727 0.1432 0.8281 0.7737 json
t20_x3_u0_b120 20 3 0 120 add(P,dst(dst(P,D),P)) 160239 162533343 o2(x,o2(o2(x,x),x)) true 161919 161919 0.9995 1 0.9995 0.0003149 0.01774 0.07825 1 0.9217 1 0.01757 0.00003251 0.00003275 0.0003021 -0.003557 0 5.632e-12 0.00003871 0.0002323 0.00006512 0.00807 26.71 0.3026 0.2073 0.1229 1 1 0.0002044 0.001122 0.001145 0.6493 3.563 3.636 json
t20_x3_u0_b121 20 3 0 121 sub(P,add(add(P,D),P)) 160240 162533344 o2(x,o2(o2(x,x),x)) true 161927 161927 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_x3_u0_b122 20 3 0 122 sub(P,add(sub(P,D),P)) 160241 162533345 o2(x,o2(o2(x,x),x)) true 161935 161935 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_x3_u0_b123 20 3 0 123 sub(P,add(mlt(P,D),P)) 160242 162533346 o2(x,o2(o2(x,x),x)) true 161943 161943 0.1371 0.6406 0.4002 0.2253 0.4747 -0.9606 1 1.961 1 4.765 0.03261 0 0.1409 1 1 -0.002385 0.006072 0.05811 0.01278 0.113 0.8025 0.4334 0.1447 0.02695 1 1 0.03817 0.2764 0.02108 0.1694 1.227 0.09354 json
t20_x3_u0_b124 20 3 0 124 sub(P,add(div(P,D),P)) 160243 162533347 o2(x,o2(o2(x,x),x)) true 161951 161951 0.1114 0.5781 0.9298 0.9017 0.9496 -1 1 2 1 1.687 0.3848 0 0.2302 1 1 -5.677e-9 0.7096 0.4006 0.3317 0.5759 2.502 2 0.4267 0.787 1 1 0.3921 1.648 0.2316 0.4349 1.828 0.2568 json
t20_x3_u0_b125 20 3 0 125 sub(P,add(pow(P,D),P)) 160244 162533348 o2(x,o2(o2(x,x),x)) true 161959 161959 -0.9507 0 0.9507 0.02423 0.1557 -1 -0.000291 0.9997 1 1.072 0.004726 0 0.01569 1 1 -0.00001491 0.008319 0.01564 0.004479 0.06693 4.265 0.9997 0.1951 0.3434 1 1 0.006763 0.02875 0.03358 0.2791 1.187 1.386 json
t20_x3_u0_b126 20 3 0 126 sub(P,add(mod(P,D),P)) 160245 162533349 o2(x,o2(o2(x,x),x)) true 161967 161967 6.793e-12 0.4375 0.1373 0.02905 0.1704 -0.3853 0.3853 0.7705 1 3.434 0.007524 0 0.06604 1 1 0 0.01799 0.1023 0.003162 0.05623 0.8515 0.284 0.259 0.6191 1 1 0.005715 0.01626 0.008739 0.1967 0.5596 0.3008 json
t20_x3_u0_b127 20 3 0 127 sub(P,add(lrg(P,D),P)) 160246 162533350 o2(x,o2(o2(x,x),x)) true 161975 161975 -0.5 0 0.5 0.2365 0.4863 -1 0 1 1 1.711 0.00467 0 0.0119 1 1 4.731e-10 0.008068 0.009787 0.004528 0.06729 5.654 0.9994 0.01975 0.03412 1 1 0.007036 0.03244 0.06598 0.02976 0.1372 0.279 json
t20_x3_u0_b128 20 3 0 128 sub(P,add(eql(P,D),P)) 160247 162533351 o2(x,o2(o2(x,x),x)) true 161983 161983 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_x3_u0_b129 20 3 0 129 sub(P,add(min(P,D),P)) 160248 162533352 o2(x,o2(o2(x,x),x)) true 161991 161991 0.4866 0.7813 0.5279 0.2404 0.4903 -0.1454 1 1.145 1 2.671 0.00115 0 0.02195 1 1 -0.0001582 0.000139 0.007881 0.0006688 0.02586 1.178 0.1105 0.004785 0.0005782 1 1 0.002476 0.02333 0.06805 0.0103 0.09702 0.283 json
t20_x3_u0_b130 20 3 0 130 sub(P,add(dot(P,D),P)) 160249 162533353 o2(x,o2(o2(x,x),x)) true 161999 161999 0.2397 0.6605 0.5376 0.3418 0.5846 -1 1 2 1 4.686 0.02744 0.02744 0.1913 -0.00001704 1 -0.002662 0.0158 0.08103 0.0183 0.1353 0.7073 0.613 0.1606 0.04621 1 1 0.06843 0.4811 0.03707 0.2002 1.408 0.1085 json
t20_x3_u0_b131 20 3 0 131 sub(P,add(dst(P,D),P)) 160250 162533354 o2(x,o2(o2(x,x),x)) true 162007 162007 -0.9987 0 0.9987 0.0006951 0.02637 -1 -0.04531 0.9547 1 0.04216 0.00003371 0.00003371 0.0005271 5.396e-8 0 1.502e-11 0.00002519 0.0003152 0.00006724 0.0082 15.56 0.1796 0.097 0.03624 1 1 0.0002218 0.001933 0.002533 0.3191 2.781 3.643 json
t20_x3_u0_b132 20 3 0 132 sub(P,sub(add(P,D),P)) 160251 162533355 o2(x,o2(o2(x,x),x)) true 162015 162015 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_x3_u0_b133 20 3 0 133 sub(P,sub(sub(P,D),P)) 160252 162533356 o2(x,o2(o2(x,x),x)) true 162023 162023 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_x3_u0_b134 20 3 0 134 sub(P,sub(mlt(P,D),P)) 160253 162533357 o2(x,o2(o2(x,x),x)) true 162031 162031 0.006096 0.5 0.9559 0.9483 0.9738 -1 1 2 1 1.498 0.001328 0 0.007937 1 1 9.461e-10 0.0002983 0.003633 0.001265 0.03557 4.482 0.2524 0.0014 0.0003145 1 1 0.003324 0.03258 0.2672 0.003506 0.03435 0.2818 json
t20_x3_u0_b135 20 3 0 135 sub(P,sub(div(P,D),P)) 160254 162533358 o2(x,o2(o2(x,x),x)) true 162039 162039 0.1076 0.5586 0.9234 0.898 0.9476 -1 1 2 1 1.777 0.3872 0 0.231 1 1 1.888e-9 0.7133 0.4046 0.3338 0.5777 2.501 2 0.4312 0.7944 1 1 0.4065 1.185 0.2319 0.4527 1.32 0.2582 json
t20_x3_u0_b136 20 3 0 136 sub(P,sub(pow(P,D),P)) 160255 162533359 o2(x,o2(o2(x,x),x)) true 162047 162047 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t20_x3_u0_b137 20 3 0 137 sub(P,sub(mod(P,D),P)) 160256 162533360 o2(x,o2(o2(x,x),x)) true 162055 162055 0 0.5 0.9532 0.9449 0.9721 -1 1 2 1 1.488 0.001493 0 0.007936 1 1 0 0.001097 0.005132 0.00143 0.03782 4.765 0.3239 0.00158 0.001161 1 1 0.003233 0.03153 0.2626 0.003421 0.03337 0.2779 json
t20_x3_u0_b138 20 3 0 138 sub(P,sub(lrg(P,D),P)) 160257 162533361 o2(x,o2(o2(x,x),x)) true 162063 162063 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t20_x3_u0_b139 20 3 0 139 sub(P,sub(eql(P,D),P)) 160258 162533362 o2(x,o2(o2(x,x),x)) true 162071 162071 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_x3_u0_b140 20 3 0 140 sub(P,sub(min(P,D),P)) 160259 162533363 o2(x,o2(o2(x,x),x)) true 162079 162079 0.0212 0.5234 0.9448 0.9342 0.9665 -1 1 2 1 1.592 0.001278 0 0.008956 1 1 -1.183e-9 0.0002274 0.003653 0.001199 0.03462 3.866 0.2524 0.001368 0.0002434 1 1 0.00324 0.03174 0.2489 0.003469 0.03398 0.2664 json
t20_x3_u0_b141 20 3 0 141 sub(P,sub(dot(P,D),P)) 160260 162533364 o2(x,o2(o2(x,x),x)) true 162087 162087 0.0156 0.5088 0.9652 0.9543 0.9769 -1 1 2 1 1.561 0.001364 0.002109 0.01379 -0.2145 1 -0.0001788 0.001187 0.006812 0.003282 0.05729 4.154 0.5016 0.00364 0.001243 1 1 0.006537 0.05652 0.2746 0.00685 0.05922 0.2878 json
t20_x3_u0_b142 20 3 0 142 sub(P,sub(dst(P,D),P)) 160261 162533365 o2(x,o2(o2(x,x),x)) true 162095 162095 -0.2993 0.3507 0.9588 0.8555 0.9249 -1 1 2 1 1.625 0.0009008 0.0006091 0.01083 0.1932 1 0.00001127 0.0002767 0.003566 0.001392 0.03731 3.447 0.28 0.001765 0.0003234 1 1 0.003843 0.04393 0.3572 0.004492 0.05135 0.4176 json
t20_x3_u0_b143 20 3 0 143 sub(P,mlt(add(P,D),P)) 160262 162533366 o2(x,o2(o2(x,x),x)) true 162103 162103 -0.8812 0.0625 0.8991 0.1054 0.3246 -1 0.2729 1.273 1 1.067 0.001156 0 0.0101 1 1 2.602e-9 0.0002344 0.003322 0.001055 0.03247 3.215 0.2066 0.01097 0.002224 1 1 0.002911 0.03248 0.1604 0.02763 0.3082 1.522 json
t20_x3_u0_b144 20 3 0 144 sub(P,mlt(sub(P,D),P)) 160263 162533367 o2(x,o2(o2(x,x),x)) true 162111 162111 -0.9056 0.01172 0.9067 0.07295 0.2701 -1 0.06592 1.066 1 0.8891 0.001785 0 0.01062 1 1 -2.365e-10 0.0004958 0.005198 0.001673 0.04091 3.851 0.2927 0.02447 0.006797 1 1 0.004407 0.0354 0.1104 0.06041 0.4852 1.513 json
t20_x3_u0_b145 20 3 0 145 sub(P,mlt(mlt(P,D),P)) 160264 162533368 o2(x,o2(o2(x,x),x)) true 162119 162119 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_x3_u0_b146 20 3 0 146 sub(P,mlt(div(P,D),P)) 160265 162533369 o2(x,o2(o2(x,x),x)) true 162127 162127 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_x3_u0_b147 20 3 0 147 sub(P,mlt(pow(P,D),P)) 160266 162533370 o2(x,o2(o2(x,x),x)) true 162135 162135 -0.5632 0.2188 0.7442 0.3756 0.6129 -1 1 2 1 2.593 0.03819 0 0.07995 1 1 -3.311e-9 0.0247 0.05359 0.03178 0.1783 2.23 1 0.1017 0.06576 1 1 0.04179 0.2569 0.1488 0.1112 0.6839 0.3961 json
t20_x3_u0_b148 20 3 0 148 sub(P,mlt(mod(P,D),P)) 160267 162533371 o2(x,o2(o2(x,x),x)) true 162143 162143 -0.01078 0.5 0.9354 0.9219 0.9601 -1 1 2 1 1.787 0.001391 0 0.00979 1 1 -1.183e-9 0.001693 0.01005 0.001296 0.036 3.677 0.289 0.001509 0.001837 1 1 0.002568 0.02526 0.2308 0.002786 0.0274 0.2504 json
t20_x3_u0_b149 20 3 0 149 sub(P,mlt(lrg(P,D),P)) 160268 162533372 o2(x,o2(o2(x,x),x)) true 162151 162151 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 0.0003529 0 0.003968 1 1 4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t20_x3_u0_b150 20 3 0 150 sub(P,mlt(eql(P,D),P)) 160269 162533373 o2(x,o2(o2(x,x),x)) true 162159 162159 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_x3_u0_b151 20 3 0 151 sub(P,mlt(min(P,D),P)) 160270 162533374 o2(x,o2(o2(x,x),x)) true 162167 162167 -0.003529 0.5 0.9534 0.9439 0.9716 -1 1 2 1 1.577 0.001162 0 0.008516 1 1 1.537e-9 0.0002153 0.003792 0.00109 0.03302 3.877 0.2265 0.001231 0.0002281 1 1 0.002941 0.03106 0.2614 0.003115 0.03291 0.2769 json
t20_x3_u0_b152 20 3 0 152 sub(P,mlt(dot(P,D),P)) 160271 162533375 o2(x,o2(o2(x,x),x)) true 162175 162175 -1.63e-9 0.5 0.9251 0.9052 0.9514 -1 1 2 1 2.04 0.02685 0.02385 0.0577 0.05907 1 -1.197e-10 0.09884 0.0741 0.04737 0.2176 3.772 2.828 0.05601 0.1092 1 1 0.015 0.06247 0.2636 0.01657 0.06901 0.2912 json
t20_x3_u0_b153 20 3 0 153 sub(P,mlt(dst(P,D),P)) 160272 162533376 o2(x,o2(o2(x,x),x)) true 162183 162183 -4.657e-10 0.5 0.9522 0.9421 0.9706 -1 1 2 1 1.613 0.001717 0.00008886 0.009101 0.9016 1 3.754e-11 0.000786 0.005292 0.001724 0.04152 4.562 0.4722 0.001917 0.0008343 1 1 0.003991 0.03493 0.2613 0.004236 0.03707 0.2774 json
t20_x3_u0_b154 20 3 0 154 sub(P,div(add(P,D),P)) 160273 162533377 o2(x,o2(o2(x,x),x)) true 162191 162191 -0.03638 0.4805 0.9666 0.9592 0.9794 -1 1 2 1 1.366 0.03605 0 0.02473 1 1 9.468e-10 0.07142 0.04151 0.03545 0.1883 7.613 2 0.03758 0.07446 1 1 0.04826 0.2065 0.3803 0.05032 0.2152 0.3965 json
t20_x3_u0_b155 20 3 0 155 sub(P,div(sub(P,D),P)) 160274 162533378 o2(x,o2(o2(x,x),x)) true 162199 162199 -0.1518 0.4375 0.9732 0.9409 0.97 -1 1 2 1 1.427 0.004484 0 0.007937 1 1 4.735e-10 0.007927 0.008352 0.00442 0.06649 8.377 1.031 0.004766 0.008425 1 1 0.006639 0.04337 0.2883 0.007056 0.04609 0.3064 json
t20_x3_u0_b156 20 3 0 156 sub(P,div(mlt(P,D),P)) 160275 162533379 o2(x,o2(o2(x,x),x)) true 162207 162207 -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_x3_u0_b157 20 3 0 157 sub(P,div(div(P,D),P)) 160276 162533380 o2(x,o2(o2(x,x),x)) true 162215 162215 -0.125 0.4375 0.9627 0.9363 0.9676 -1 1 2 1 1.578 0.3377 0 0.2143 1 1 1.896e-9 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_x3_u0_b158 20 3 0 158 sub(P,div(pow(P,D),P)) 160277 162533381 o2(x,o2(o2(x,x),x)) true 162223 162223 -0.1484 0.4375 0.9765 0.9507 0.9751 -1 1 2 1 1.258 0.00454 0 0.007937 1 1 1.419e-9 0.00794 0.009313 0.004475 0.0669 8.429 1.001 0.004775 0.008351 1 1 0.006776 0.04723 0.2994 0.007128 0.04968 0.3149 json
t20_x3_u0_b159 20 3 0 159 sub(P,div(mod(P,D),P)) 160278 162533382 o2(x,o2(o2(x,x),x)) true 162231 162231 -0.1258 0.4375 0.9992 0.9826 0.9913 -1 1 2 1 0.9887 0.01589 0 0.00856 1 1 -1.892e-9 0.03268 0.01689 0.01581 0.1257 14.69 2 0.01618 0.03326 1 1 0.02049 0.08211 0.3347 0.02085 0.08356 0.3407 json
t20_x3_u0_b160 20 3 0 160 sub(P,div(lrg(P,D),P)) 160279 162533383 o2(x,o2(o2(x,x),x)) true 162239 162239 -0.1496 0.4375 0.9754 0.9482 0.9738 -1 1 2 1 1.258 0.004534 0 0.007936 1 1 0 0.007986 0.00925 0.00447 0.06686 8.424 1 0.004782 0.008422 1 1 0.006732 0.04588 0.2977 0.0071 0.04839 0.3139 json
t20_x3_u0_b161 20 3 0 161 sub(P,div(eql(P,D),P)) 160280 162533384 o2(x,o2(o2(x,x),x)) true 162247 162247 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_x3_u0_b162 20 3 0 162 sub(P,div(min(P,D),P)) 160281 162533385 o2(x,o2(o2(x,x),x)) true 162255 162255 -0.001471 0.5 0.9985 0.9972 0.9986 -1 1 2 1 1.08 0.04717 0 0.02443 1 1 9.461e-10 0.09511 0.04821 0.04655 0.2157 8.83 2 0.0473 0.09538 1 1 0.06204 0.2488 0.337 0.06222 0.2495 0.338 json
t20_x3_u0_b163 20 3 0 163 sub(P,div(dot(P,D),P)) 160282 162533386 o2(x,o2(o2(x,x),x)) true 162263 162263 -0.125 0.4375 0.993 0.9741 0.987 -1 1 2 1 1.184 0.0144 0.0006291 0.0117 0.9163 1 0 0.0294 0.01904 0.01488 0.122 10.43 2 0.01543 0.03018 1 1 0.02022 0.0833 0.3335 0.02076 0.08552 0.3424 json
t20_x3_u0_b164 20 3 0 164 sub(P,div(dst(P,D),P)) 160283 162533387 o2(x,o2(o2(x,x),x)) true 162271 162271 -0.125 0.4375 0.9322 0.8934 0.9452 -1 1 2 1 2.044 0.01677 0.0002651 0.02431 0.9689 1 -5.819e-11 0.02976 0.02115 0.01645 0.1283 5.277 2 0.01907 0.03331 1 1 0.02466 0.1401 0.5747 0.0276 0.1568 0.6433 json
t20_x3_u0_b165 20 3 0 165 sub(P,pow(add(P,D),P)) 160284 162533388 o2(x,o2(o2(x,x),x)) true 162279 162279 -0.9288 0.02344 0.9328 0.05614 0.2369 -1 0.1294 1.129 1 0.8466 0.00101 0 0.008963 1 1 -2.484e-9 0.0001428 0.003058 0.0009299 0.03049 3.402 0.1978 0.018 0.002543 1 1 0.002586 0.02882 0.08243 0.04605 0.5133 1.468 json
t20_x3_u0_b166 20 3 0 166 sub(P,pow(sub(P,D),P)) 160285 162533389 o2(x,o2(o2(x,x),x)) true 162287 162287 -0.9603 0.007813 0.9609 0.02916 0.1708 -1 0.04716 1.047 1 0.6004 0.001445 0 0.008311 1 1 -8.278e-10 0.0004556 0.00378 0.001375 0.03708 4.462 0.3658 0.04954 0.01562 1 1 0.00353 0.0278 0.0414 0.121 0.9532 1.42 json
t20_x3_u0_b167 20 3 0 167 sub(P,pow(mlt(P,D),P)) 160286 162533390 o2(x,o2(o2(x,x),x)) true 162295 162295 -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_x3_u0_b168 20 3 0 168 sub(P,pow(div(P,D),P)) 160287 162533391 o2(x,o2(o2(x,x),x)) true 162303 162303 -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_x3_u0_b169 20 3 0 169 sub(P,pow(pow(P,D),P)) 160288 162533392 o2(x,o2(o2(x,x),x)) true 162311 162311 -0.4921 0.2539 0.9307 0.67 0.8185 -1 1 2 1 1.718 0.09159 0 0.06693 1 1 -9.461e-10 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_x3_u0_b170 20 3 0 170 sub(P,pow(mod(P,D),P)) 160289 162533393 o2(x,o2(o2(x,x),x)) true 162319 162319 -0.06819 0.4688 0.9786 0.9646 0.9821 -1 1 2 1 1.383 0.001621 0 0.008555 1 1 -4.731e-10 0.0008964 0.005957 0.001548 0.03935 4.6 0.4058 0.00168 0.0009293 1 1 0.003705 0.04603 0.2958 0.003841 0.04772 0.3066 json
t20_x3_u0_b171 20 3 0 171 sub(P,pow(lrg(P,D),P)) 160290 162533394 o2(x,o2(o2(x,x),x)) true 162327 162327 -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_x3_u0_b172 20 3 0 172 sub(P,pow(eql(P,D),P)) 160291 162533395 o2(x,o2(o2(x,x),x)) true 162335 162335 -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_x3_u0_b173 20 3 0 173 sub(P,pow(min(P,D),P)) 160292 162533396 o2(x,o2(o2(x,x),x)) true 162343 162343 -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_x3_u0_b174 20 3 0 174 sub(P,pow(dot(P,D),P)) 160293 162533397 o2(x,o2(o2(x,x),x)) true 162351 162351 -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_x3_u0_b175 20 3 0 175 sub(P,pow(dst(P,D),P)) 160294 162533398 o2(x,o2(o2(x,x),x)) true 162359 162359 -0.9962 0.0001221 0.9962 0.002029 0.04505 -1 0.04624 1.046 1 0.1097 0.0001381 0.00003344 0.00114 0.6101 1 6.195e-11 0.00009152 0.0006612 0.0001701 0.01304 11.44 0.3818 0.08452 0.04509 1 1 0.0005332 0.003702 0.006794 0.2627 1.824 3.348 json
t20_x3_u0_b176 20 3 0 176 sub(P,mod(add(P,D),P)) 160295 162533399 o2(x,o2(o2(x,x),x)) true 162367 162367 -0.125 0.4375 0.772 0.6972 0.835 -1 1 2 1 3.321 0.07045 0 0.1059 1 1 -1.877e-12 0.1329 0.1353 0.05922 0.2434 2.297 1.969 0.101 0.1907 1 1 0.07353 0.2133 0.2606 0.1055 0.3059 0.3738 json
t20_x3_u0_b177 20 3 0 177 sub(P,mod(sub(P,D),P)) 160296 162533400 o2(x,o2(o2(x,x),x)) true 162375 162375 -0.125 0.4375 0.8132 0.7548 0.8688 -1 1 2 1 2.859 0.06485 0 0.1078 1 1 -9.386e-13 0.1193 0.1414 0.05326 0.2308 2.142 1.032 0.08592 0.1581 1 1 0.06798 0.1878 0.2831 0.09006 0.2488 0.3751 json
t20_x3_u0_b178 20 3 0 178 sub(P,mod(mlt(P,D),P)) 160297 162533401 o2(x,o2(o2(x,x),x)) true 162383 162383 -0.1257 0.4375 0.9993 0.9827 0.9913 -1 1 2 1 1.045 0.01542 0 0.008275 1 1 9.461e-10 0.03149 0.01642 0.01534 0.1239 14.97 1.97 0.01569 0.03204 1 1 0.02001 0.08227 0.3349 0.02036 0.08372 0.3408 json
t20_x3_u0_b179 20 3 0 179 sub(P,mod(div(P,D),P)) 160298 162533402 o2(x,o2(o2(x,x),x)) true 162391 162391 -0.1283 0.4375 0.9627 0.9383 0.9686 -1 1 2 1 1.484 0.07009 0 0.07396 1 1 -1.419e-9 0.2048 0.1479 0.06458 0.2541 3.436 2 0.0747 0.2182 1 1 0.03179 0.08483 0.3368 0.03388 0.09041 0.3589 json
t20_x3_u0_b180 20 3 0 180 sub(P,mod(pow(P,D),P)) 160299 162533403 o2(x,o2(o2(x,x),x)) true 162399 162399 -0.1257 0.4375 0.9993 0.9828 0.9914 -1 1 2 1 1.021 0.01589 0 0.008438 1 1 9.461e-10 0.03176 0.01643 0.01581 0.1257 14.9 2 0.01616 0.03232 1 1 0.02108 0.08426 0.335 0.02145 0.08573 0.3409 json