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_x9_u0_b75 20 9 0 75 add(P,lrg(dot(D,P),P)) 161400 162775704 o2(x,o2(o2(x,x),x)) true 171207 171207 0.07326 0.5299 0.9173 0.8931 0.945 -1 1 2 1 2.07 0.001181 0.005177 0.01914 -0.6286 1 0.0002651 0.01263 0.01771 0.005991 0.0774 4.044 1.336 0.007119 0.01414 1 1 0.009555 0.04885 0.2052 0.0107 0.0547 0.2298 json
t20_x9_u0_b76 20 9 0 76 add(P,lrg(dst(D,P),P)) 161401 162775705 o2(x,o2(o2(x,x),x)) true 171215 171215 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_x9_u0_b77 20 9 0 77 add(P,eql(add(D,P),P)) 161402 162775706 o2(x,o2(o2(x,x),x)) true 171223 171223 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_x9_u0_b78 20 9 0 78 add(P,eql(sub(D,P),P)) 161403 162775707 o2(x,o2(o2(x,x),x)) true 171231 171231 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_x9_u0_b79 20 9 0 79 add(P,eql(mlt(D,P),P)) 161404 162775708 o2(x,o2(o2(x,x),x)) true 171239 171239 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_x9_u0_b80 20 9 0 80 add(P,eql(div(D,P),P)) 161405 162775709 o2(x,o2(o2(x,x),x)) true 171247 171247 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_x9_u0_b81 20 9 0 81 add(P,eql(pow(D,P),P)) 161406 162775710 o2(x,o2(o2(x,x),x)) true 171255 171255 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_x9_u0_b82 20 9 0 82 add(P,eql(mod(D,P),P)) 161407 162775711 o2(x,o2(o2(x,x),x)) true 171263 171263 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_x9_u0_b83 20 9 0 83 add(P,eql(lrg(D,P),P)) 161408 162775712 o2(x,o2(o2(x,x),x)) true 171271 171271 0.03125 0.5313 0.9493 0.9333 0.9661 -1 1 2 1 1.703 0.005726 0 0.01587 1 1 1.892e-9 0.008166 0.01071 0.00547 0.07396 4.661 0.9991 0.006135 0.00875 1 1 0.009774 0.06252 0.2492 0.01047 0.06698 0.267 json
t20_x9_u0_b84 20 9 0 84 add(P,eql(eql(D,P),P)) 161409 162775713 o2(x,o2(o2(x,x),x)) true 171279 171279 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_x9_u0_b85 20 9 0 85 add(P,eql(min(D,P),P)) 161410 162775714 o2(x,o2(o2(x,x),x)) true 171287 171287 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_x9_u0_b86 20 9 0 86 add(P,eql(dot(D,P),P)) 161411 162775715 o2(x,o2(o2(x,x),x)) true 171295 171295 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_x9_u0_b87 20 9 0 87 add(P,eql(dst(D,P),P)) 161412 162775716 o2(x,o2(o2(x,x),x)) true 171303 171303 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_x9_u0_b88 20 9 0 88 add(P,min(add(D,P),P)) 161413 162775717 o2(x,o2(o2(x,x),x)) true 171311 171311 -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_x9_u0_b89 20 9 0 89 add(P,min(sub(D,P),P)) 161414 162775718 o2(x,o2(o2(x,x),x)) true 171319 171319 -0.4928 0.2188 0.5341 0.2435 0.4934 -1 0.1454 1.145 1 2.563 0.001424 0 0.02195 1 1 0.0001582 0.0002483 0.008687 0.0009422 0.0307 1.399 0.2122 0.005848 0.00102 1 1 0.003129 0.02697 0.07181 0.01285 0.1108 0.2949 json
t20_x9_u0_b90 20 9 0 90 add(P,min(mlt(D,P),P)) 161415 162775719 o2(x,o2(o2(x,x),x)) true 171327 171327 -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_x9_u0_b91 20 9 0 91 add(P,min(div(D,P),P)) 161416 162775720 o2(x,o2(o2(x,x),x)) true 171335 171335 -0.04019 0.4961 0.9598 0.9513 0.9754 -1 1 2 1 1.444 0.004308 0 0.007936 1 1 4.734e-10 0.007949 0.008808 0.004244 0.06515 8.209 1 0.004529 0.008355 1 1 0.006157 0.03536 0.2732 0.006472 0.03717 0.2871 json
t20_x9_u0_b92 20 9 0 92 add(P,min(pow(D,P),P)) 161417 162775721 o2(x,o2(o2(x,x),x)) true 171343 171343 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_x9_u0_b93 20 9 0 93 add(P,min(mod(D,P),P)) 161418 162775722 o2(x,o2(o2(x,x),x)) true 171351 171351 -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_x9_u0_b94 20 9 0 94 add(P,min(lrg(D,P),P)) 161419 162775723 o2(x,o2(o2(x,x),x)) true 171359 171359 -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_x9_u0_b95 20 9 0 95 add(P,min(eql(D,P),P)) 161420 162775724 o2(x,o2(o2(x,x),x)) true 171367 171367 -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_x9_u0_b96 20 9 0 96 add(P,min(min(D,P),P)) 161421 162775725 o2(x,o2(o2(x,x),x)) true 171375 171375 -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_x9_u0_b97 20 9 0 97 add(P,min(dot(D,P),P)) 161422 162775726 o2(x,o2(o2(x,x),x)) true 171383 171383 -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_x9_u0_b98 20 9 0 98 add(P,min(dst(D,P),P)) 161423 162775727 o2(x,o2(o2(x,x),x)) true 171391 171391 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_x9_u0_b99 20 9 0 99 add(P,dot(add(D,P),P)) 161424 162775728 o2(x,o2(o2(x,x),x)) true 171399 171399 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_x9_u0_b100 20 9 0 100 add(P,dot(sub(D,P),P)) 161425 162775729 o2(x,o2(o2(x,x),x)) true 171407 171407 -0.9957 0.0002136 0.9958 0.002988 0.05467 -1 0.06535 1.065 1 0.09317 0.00008459 0.00009331 0.00115 -0.04901 1 -4.505e-11 0.00006572 0.0006075 0.0001764 0.01328 11.55 0.3122 0.05953 0.02199 1 1 0.0005821 0.005149 0.01092 0.1948 1.723 3.655 json
t20_x9_u0_b101 20 9 0 101 add(P,dot(mlt(D,P),P)) 161426 162775730 o2(x,o2(o2(x,x),x)) true 171415 171415 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_x9_u0_b102 20 9 0 102 add(P,dot(div(D,P),P)) 161427 162775731 o2(x,o2(o2(x,x),x)) true 171423 171423 -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_x9_u0_b103 20 9 0 103 add(P,dot(pow(D,P),P)) 161428 162775732 o2(x,o2(o2(x,x),x)) true 171431 171431 -0.9996 0 0.9996 0.0003076 0.01754 -1 -0.000892 0.9991 1 0.0111 0.00009717 0.00007898 0.0002924 0.1032 1 1.877e-11 0.0003536 0.0004424 0.000176 0.01327 45.37 1.413 0.5727 1.15 1 1 0.0003503 0.001118 0.001118 1.139 3.634 3.634 json
t20_x9_u0_b104 20 9 0 104 add(P,dot(mod(D,P),P)) 161429 162775733 o2(x,o2(o2(x,x),x)) true 171439 171439 -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_x9_u0_b105 20 9 0 105 add(P,dot(lrg(D,P),P)) 161430 162775734 o2(x,o2(o2(x,x),x)) true 171447 171447 -0.2543 0.374 0.9434 0.8647 0.9299 -1 1 2 1 1.748 0.000854 0.0003409 0.00999 0.4294 1 1.783e-11 0.0001919 0.002971 0.001095 0.03309 3.312 0.2307 0.001382 0.0002219 1 1 0.003049 0.03624 0.3297 0.003526 0.04191 0.3812 json
t20_x9_u0_b106 20 9 0 106 add(P,dot(eql(D,P),P)) 161431 162775735 o2(x,o2(o2(x,x),x)) true 171455 171455 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_x9_u0_b107 20 9 0 107 add(P,dot(min(D,P),P)) 161432 162775736 o2(x,o2(o2(x,x),x)) true 171463 171463 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_x9_u0_b108 20 9 0 108 add(P,dot(dot(D,P),P)) 161433 162775737 o2(x,o2(o2(x,x),x)) true 171471 171471 -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_x9_u0_b109 20 9 0 109 add(P,dot(dst(D,P),P)) 161434 162775738 o2(x,o2(o2(x,x),x)) true 171479 171479 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_x9_u0_b110 20 9 0 110 add(P,dst(add(D,P),P)) 161435 162775739 o2(x,o2(o2(x,x),x)) true 171487 171487 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_x9_u0_b111 20 9 0 111 add(P,dst(sub(D,P),P)) 161436 162775740 o2(x,o2(o2(x,x),x)) true 171495 171495 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_x9_u0_b112 20 9 0 112 add(P,dst(mlt(D,P),P)) 161437 162775741 o2(x,o2(o2(x,x),x)) true 171503 171503 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_x9_u0_b113 20 9 0 113 add(P,dst(div(D,P),P)) 161438 162775742 o2(x,o2(o2(x,x),x)) true 171511 171511 -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_x9_u0_b114 20 9 0 114 add(P,dst(pow(D,P),P)) 161439 162775743 o2(x,o2(o2(x,x),x)) true 171519 171519 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.002016 0.002016 0.001997 0 1 0 0.008566 0.004031 0.004025 0.06344 31.77 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05673 0.4556 1.823 3.645 json
t20_x9_u0_b115 20 9 0 115 add(P,dst(mod(D,P),P)) 161440 162775744 o2(x,o2(o2(x,x),x)) true 171527 171527 -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_x9_u0_b116 20 9 0 116 add(P,dst(lrg(D,P),P)) 161441 162775745 o2(x,o2(o2(x,x),x)) true 171535 171535 0.9994 1 0.9994 0.0004184 0.02046 0.000873 1 0.9991 1 0.01864 0.00007847 0.000116 0.0003603 -0.193 1 3.379e-11 0.0003899 0.000499 0.0001943 0.01394 38.68 1.413 0.4647 0.9319 1 1 0.000377 0.001399 0.001521 0.9009 3.342 3.636 json
t20_x9_u0_b117 20 9 0 117 add(P,dst(eql(D,P),P)) 161442 162775746 o2(x,o2(o2(x,x),x)) true 171543 171543 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_x9_u0_b118 20 9 0 118 add(P,dst(min(D,P),P)) 161443 162775747 o2(x,o2(o2(x,x),x)) true 171551 171551 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_x9_u0_b119 20 9 0 119 add(P,dst(dot(D,P),P)) 161444 162775748 o2(x,o2(o2(x,x),x)) true 171559 171559 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_x9_u0_b120 20 9 0 120 add(P,dst(dst(D,P),P)) 161445 162775749 o2(x,o2(o2(x,x),x)) true 171567 171567 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_x9_u0_b121 20 9 0 121 sub(P,add(add(D,P),P)) 161446 162775750 o2(x,o2(o2(x,x),x)) true 171575 171575 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_x9_u0_b122 20 9 0 122 sub(P,add(sub(D,P),P)) 161447 162775751 o2(x,o2(o2(x,x),x)) true 171583 171583 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_x9_u0_b123 20 9 0 123 sub(P,add(mlt(D,P),P)) 161448 162775752 o2(x,o2(o2(x,x),x)) true 171591 171591 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_x9_u0_b124 20 9 0 124 sub(P,add(div(D,P),P)) 161449 162775753 o2(x,o2(o2(x,x),x)) true 171599 171599 -0.01564 0.4219 0.1542 0.127 0.3564 -1 1 2 1 2.037 0.02404 0 0.02604 1 1 -0.0000369 0.04766 0.03576 0.02336 0.1529 5.871 2 0.1893 0.3752 1 1 0.03214 0.13 0.1704 0.253 1.024 1.342 json
t20_x9_u0_b125 20 9 0 125 sub(P,add(pow(D,P),P)) 161450 162775754 o2(x,o2(o2(x,x),x)) true 7 7 -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_x9_u0_b126 20 9 0 126 sub(P,add(mod(D,P),P)) 161451 162775755 o2(x,o2(o2(x,x),x)) true 15 15 -0.125 0.4375 0.2076 0.1189 0.3448 -1 0.1454 1.145 1 2.785 0.009352 0 0.03917 1 1 0 0.01611 0.02856 0.007817 0.08842 2.257 1.031 0.07868 0.1355 1 1 0.01311 0.05985 0.1702 0.1103 0.5035 1.432 json
t20_x9_u0_b127 20 9 0 127 sub(P,add(lrg(D,P),P)) 161452 162775756 o2(x,o2(o2(x,x),x)) true 23 23 -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_x9_u0_b128 20 9 0 128 sub(P,add(eql(D,P),P)) 161453 162775757 o2(x,o2(o2(x,x),x)) true 31 31 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_x9_u0_b129 20 9 0 129 sub(P,add(min(D,P),P)) 161454 162775758 o2(x,o2(o2(x,x),x)) true 39 39 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_x9_u0_b130 20 9 0 130 sub(P,add(dot(D,P),P)) 161455 162775759 o2(x,o2(o2(x,x),x)) true 47 47 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_x9_u0_b131 20 9 0 131 sub(P,add(dst(D,P),P)) 161456 162775760 o2(x,o2(o2(x,x),x)) true 55 55 -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_x9_u0_b132 20 9 0 132 sub(P,sub(add(D,P),P)) 161457 162775761 o2(x,o2(o2(x,x),x)) true 63 63 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_x9_u0_b133 20 9 0 133 sub(P,sub(sub(D,P),P)) 161458 162775762 o2(x,o2(o2(x,x),x)) true 71 71 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_x9_u0_b134 20 9 0 134 sub(P,sub(mlt(D,P),P)) 161459 162775763 o2(x,o2(o2(x,x),x)) true 79 79 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_x9_u0_b135 20 9 0 135 sub(P,sub(div(D,P),P)) 161460 162775764 o2(x,o2(o2(x,x),x)) true 87 87 0 0.5 1 1 1 -1 1 2 1 1 0.04762 0 0.02381 1 1 0 0.09524 0.04762 0.04704 0.2169 9.109 2 0.04762 0.09524 1 1 0.06316 0.2526 0.3368 0.06316 0.2526 0.3368 json
t20_x9_u0_b136 20 9 0 136 sub(P,sub(pow(D,P),P)) 161461 162775765 o2(x,o2(o2(x,x),x)) true 95 95 -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_x9_u0_b137 20 9 0 137 sub(P,sub(mod(D,P),P)) 161462 162775766 o2(x,o2(o2(x,x),x)) true 103 103 -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_x9_u0_b138 20 9 0 138 sub(P,sub(lrg(D,P),P)) 161463 162775767 o2(x,o2(o2(x,x),x)) true 111 111 -0.03125 0.4727 0.9688 0.9595 0.9796 -1 1 2 1 1.408 0.007092 0 0.01586 1 1 0 0.009138 0.01315 0.006835 0.08268 5.213 0.9983 0.007391 0.009524 1 1 0.01275 0.06237 0.2845 0.01329 0.065 0.2965 json
t20_x9_u0_b139 20 9 0 139 sub(P,sub(eql(D,P),P)) 161464 162775768 o2(x,o2(o2(x,x),x)) true 119 119 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_x9_u0_b140 20 9 0 140 sub(P,sub(min(D,P),P)) 161465 162775769 o2(x,o2(o2(x,x),x)) true 127 127 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_x9_u0_b141 20 9 0 141 sub(P,sub(dot(D,P),P)) 161466 162775770 o2(x,o2(o2(x,x),x)) true 135 135 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_x9_u0_b142 20 9 0 142 sub(P,sub(dst(D,P),P)) 161467 162775771 o2(x,o2(o2(x,x),x)) true 143 143 -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_x9_u0_b143 20 9 0 143 sub(P,mlt(add(D,P),P)) 161468 162775772 o2(x,o2(o2(x,x),x)) true 151 151 -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_x9_u0_b144 20 9 0 144 sub(P,mlt(sub(D,P),P)) 161469 162775773 o2(x,o2(o2(x,x),x)) true 159 159 0.9056 0.9883 0.9067 0.07295 0.2701 -0.06592 1 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_x9_u0_b145 20 9 0 145 sub(P,mlt(mlt(D,P),P)) 161470 162775774 o2(x,o2(o2(x,x),x)) true 167 167 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_x9_u0_b146 20 9 0 146 sub(P,mlt(div(D,P),P)) 161471 162775775 o2(x,o2(o2(x,x),x)) true 175 175 -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_x9_u0_b147 20 9 0 147 sub(P,mlt(pow(D,P),P)) 161472 162775776 o2(x,o2(o2(x,x),x)) true 183 183 -0.9046 0.05859 0.9704 0.1489 0.3858 -1 1 2 1 0.4652 0.02074 0 0.01587 1 1 0 0.04021 0.02657 0.02048 0.1431 9.015 2 0.1393 0.2701 1 1 0.02834 0.1221 0.2128 0.1904 0.8201 1.43 json
t20_x9_u0_b148 20 9 0 148 sub(P,mlt(mod(D,P),P)) 161473 162775777 o2(x,o2(o2(x,x),x)) true 191 191 -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_x9_u0_b149 20 9 0 149 sub(P,mlt(lrg(D,P),P)) 161474 162775778 o2(x,o2(o2(x,x),x)) true 199 199 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 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_x9_u0_b150 20 9 0 150 sub(P,mlt(eql(D,P),P)) 161475 162775779 o2(x,o2(o2(x,x),x)) true 207 207 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_x9_u0_b151 20 9 0 151 sub(P,mlt(min(D,P),P)) 161476 162775780 o2(x,o2(o2(x,x),x)) true 215 215 -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_x9_u0_b152 20 9 0 152 sub(P,mlt(dot(D,P),P)) 161477 162775781 o2(x,o2(o2(x,x),x)) true 223 223 -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_x9_u0_b153 20 9 0 153 sub(P,mlt(dst(D,P),P)) 161478 162775782 o2(x,o2(o2(x,x),x)) true 231 231 -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_x9_u0_b154 20 9 0 154 sub(P,div(add(D,P),P)) 161479 162775783 o2(x,o2(o2(x,x),x)) true 239 239 -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_x9_u0_b155 20 9 0 155 sub(P,div(sub(D,P),P)) 161480 162775784 o2(x,o2(o2(x,x),x)) true 247 247 0.02678 0.5 0.9732 0.963 0.9813 -1 1 2 1 1.449 0.03623 0 0.02381 1 1 0 0.07142 0.0401 0.03567 0.1889 7.933 2 0.03762 0.07416 1 1 0.04874 0.2118 0.3605 0.05062 0.2199 0.3743 json
t20_x9_u0_b156 20 9 0 156 sub(P,div(mlt(D,P),P)) 161481 162775785 o2(x,o2(o2(x,x),x)) true 255 255 -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_x9_u0_b157 20 9 0 157 sub(P,div(div(D,P),P)) 161482 162775786 o2(x,o2(o2(x,x),x)) true 263 263 0 0.5 0.9967 0.9936 0.9968 -1 1 2 1 1.201 0.04673 0 0.02515 1 1 0 0.09506 0.04916 0.04612 0.2147 8.538 2 0.04703 0.09567 1 1 0.06092 0.2441 0.3373 0.06131 0.2456 0.3394 json
t20_x9_u0_b158 20 9 0 158 sub(P,div(pow(D,P),P)) 161483 162775787 o2(x,o2(o2(x,x),x)) true 271 271 -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_x9_u0_b159 20 9 0 159 sub(P,div(mod(D,P),P)) 161484 162775788 o2(x,o2(o2(x,x),x)) true 279 279 -0.1265 0.4375 0.9985 0.9811 0.9905 -1 1 2 1 1.067 0.01542 0 0.008559 1 1 9.461e-10 0.03162 0.01646 0.01534 0.1239 14.47 1.969 0.01572 0.03223 1 1 0.01994 0.08042 0.333 0.02032 0.08197 0.3395 json
t20_x9_u0_b160 20 9 0 160 sub(P,div(lrg(D,P),P)) 161485 162775789 o2(x,o2(o2(x,x),x)) true 287 287 -0.1004 0.4375 0.9754 0.9606 0.9801 -1 1 2 1 1.271 0.0204 0 0.01587 1 1 0 0.03988 0.0252 0.02014 0.1419 8.943 2 0.02124 0.04152 1 1 0.02767 0.1104 0.3639 0.0288 0.115 0.3788 json
t20_x9_u0_b161 20 9 0 161 sub(P,div(eql(D,P),P)) 161486 162775790 o2(x,o2(o2(x,x),x)) true 295 295 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_x9_u0_b162 20 9 0 162 sub(P,div(min(D,P),P)) 161487 162775791 o2(x,o2(o2(x,x),x)) true 303 303 -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_x9_u0_b163 20 9 0 163 sub(P,div(dot(D,P),P)) 161488 162775792 o2(x,o2(o2(x,x),x)) true 311 311 -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_x9_u0_b164 20 9 0 164 sub(P,div(dst(D,P),P)) 161489 162775793 o2(x,o2(o2(x,x),x)) true 319 319 -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_x9_u0_b165 20 9 0 165 sub(P,pow(add(D,P),P)) 161490 162775794 o2(x,o2(o2(x,x),x)) true 327 327 -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_x9_u0_b166 20 9 0 166 sub(P,pow(sub(D,P),P)) 161491 162775795 o2(x,o2(o2(x,x),x)) true 335 335 -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_x9_u0_b167 20 9 0 167 sub(P,pow(mlt(D,P),P)) 161492 162775796 o2(x,o2(o2(x,x),x)) true 343 343 -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_x9_u0_b168 20 9 0 168 sub(P,pow(div(D,P),P)) 161493 162775797 o2(x,o2(o2(x,x),x)) true 351 351 -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_x9_u0_b169 20 9 0 169 sub(P,pow(pow(D,P),P)) 161494 162775798 o2(x,o2(o2(x,x),x)) true 359 359 -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_x9_u0_b170 20 9 0 170 sub(P,pow(mod(D,P),P)) 161495 162775799 o2(x,o2(o2(x,x),x)) true 367 367 -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_x9_u0_b171 20 9 0 171 sub(P,pow(lrg(D,P),P)) 161496 162775800 o2(x,o2(o2(x,x),x)) true 375 375 -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_x9_u0_b172 20 9 0 172 sub(P,pow(eql(D,P),P)) 161497 162775801 o2(x,o2(o2(x,x),x)) true 383 383 -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_x9_u0_b173 20 9 0 173 sub(P,pow(min(D,P),P)) 161498 162775802 o2(x,o2(o2(x,x),x)) true 391 391 -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_x9_u0_b174 20 9 0 174 sub(P,pow(dot(D,P),P)) 161499 162775803 o2(x,o2(o2(x,x),x)) true 399 399 -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