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_x14_u0_b170 20 14 0 170 sub(P,pow(mod(D,D),R)) 162500 162977804 o2(x,o2(o2(x,x),x)) true 8407 8407 -0.96 0.01958 0.9955 0.07279 0.2698 -1 1 2 1 0.2238 0.0965 0.007105 0.05514 0.8629 1 -0.0005052 0.3132 0.1103 0.1005 0.317 5.75 2.828 1.423 4.303 1 1 0.04557 0.08005 0.1213 0.626 1.1 1.667 json
t20_x14_u0_b171 20 14 0 171 sub(P,pow(lrg(D,D),R)) 162501 162977805 o2(x,o2(o2(x,x),x)) true 8415 8415 -0.9844 0.007813 0.9961 0.02625 0.162 -1 1 2 1 0.1256 0.00206 0.003166 0.003355 -0.2116 1 3.754e-12 0.01089 0.005899 0.005215 0.07221 21.53 2.828 0.1991 0.4147 1 1 0.0006169 0.004318 0.02317 0.0235 0.1645 0.8824 json
t20_x14_u0_b172 20 14 0 172 sub(P,pow(eql(D,D),R)) 162502 162977806 o2(x,o2(o2(x,x),x)) true 8423 8423 -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_x14_u0_b173 20 14 0 173 sub(P,pow(min(D,D),R)) 162503 162977807 o2(x,o2(o2(x,x),x)) true 8431 8431 -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_x14_u0_b174 20 14 0 174 sub(P,pow(dot(D,D),R)) 162504 162977808 o2(x,o2(o2(x,x),x)) true 8439 8439 -0.2159 0.3915 0.9364 0.8677 0.9315 -1 1 2 1 1.948 0.02059 0.01987 0.04962 0.01783 1 -0.000196 0.0675 0.04957 0.03798 0.1949 3.927 2.644 0.04662 0.0778 1 1 0.05572 0.3023 0.4404 0.06422 0.3484 0.5075 json
t20_x14_u0_b175 20 14 0 175 sub(P,pow(dst(D,D),R)) 162505 162977809 o2(x,o2(o2(x,x),x)) true 8447 8447 -0.9844 0.007813 0.9961 0.02625 0.162 -1 1 2 1 0.1256 0.00206 0.003166 0.003355 -0.2116 1 3.754e-12 0.01089 0.005899 0.005215 0.07221 21.53 2.828 0.1991 0.4147 1 1 0.0006169 0.004318 0.02317 0.0235 0.1645 0.8824 json
t20_x14_u0_b176 20 14 0 176 sub(P,mod(add(D,D),R)) 162506 162977810 o2(x,o2(o2(x,x),x)) true 8455 8455 -0.000002347 0.5 0.9366 0.918 0.9581 -1 1 2 1 1.907 0.004135 0.00003668 0.01689 0.9824 1 3.913e-8 0.006151 0.02053 0.003888 0.06235 3.692 0.8284 0.004544 0.0067 1 1 0.006774 0.04352 0.2302 0.007379 0.0474 0.2508 json
t20_x14_u0_b177 20 14 0 177 sub(P,mod(sub(D,D),R)) 162507 162977811 o2(x,o2(o2(x,x),x)) true 8463 8463 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_x14_u0_b178 20 14 0 178 sub(P,mod(mlt(D,D),R)) 162508 162977812 o2(x,o2(o2(x,x),x)) true 8471 8471 -0.0125 0.4866 0.9374 0.9256 0.9621 -1 1 2 1 1.757 0.0008945 0.000001434 0.008148 0.9968 1 -9.554e-9 0.0001993 0.003604 0.0008291 0.02879 3.534 0.2451 0.0009679 0.0002154 1 1 0.002242 0.02687 0.2369 0.002422 0.02903 0.2559 json
t20_x14_u0_b179 20 14 0 179 sub(P,mod(div(D,D),R)) 162509 162977813 o2(x,o2(o2(x,x),x)) true 8479 8479 -0.02333 0.4805 0.9378 0.9171 0.9577 -1 1 2 1 1.952 0.0007028 0.00001907 0.008264 0.9472 1 5.261e-7 0.00007025 0.00236 0.0006538 0.02557 3.094 0.1565 0.0007871 0.00007659 1 1 0.001873 0.02364 0.2285 0.002042 0.02578 0.2491 json
t20_x14_u0_b180 20 14 0 180 sub(P,mod(pow(D,D),R)) 162510 162977814 o2(x,o2(o2(x,x),x)) true 8487 8487 -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_x14_u0_b181 20 14 0 181 sub(P,mod(mod(D,D),R)) 162511 162977815 o2(x,o2(o2(x,x),x)) true 8495 8495 0.0001196 0.5 0.9371 0.9249 0.9617 -1 1 2 1 1.803 0.004233 0.000004288 0.01896 0.998 1 -4.693e-12 0.008412 0.03006 0.00388 0.06229 3.286 0.6404 0.004581 0.009095 1 1 0.005344 0.03129 0.2353 0.005777 0.03383 0.2544 json
t20_x14_u0_b182 20 14 0 182 sub(P,mod(lrg(D,D),R)) 162512 162977816 o2(x,o2(o2(x,x),x)) true 8503 8503 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_x14_u0_b183 20 14 0 183 sub(P,mod(eql(D,D),R)) 162513 162977817 o2(x,o2(o2(x,x),x)) true 8511 8511 -0.02333 0.4805 0.9378 0.9171 0.9577 -1 1 2 1 1.952 0.0007028 0.00001907 0.008264 0.9472 1 5.262e-7 0.00007025 0.00236 0.0006538 0.02557 3.094 0.1565 0.0007871 0.00007659 1 1 0.001873 0.02364 0.2285 0.002042 0.02578 0.2491 json
t20_x14_u0_b184 20 14 0 184 sub(P,mod(min(D,D),R)) 162514 162977818 o2(x,o2(o2(x,x),x)) true 8519 8519 0.0003251 0.5004 0.9369 0.924 0.9613 -1 1 2 1 1.821 0.001768 0.000009586 0.01145 0.9892 1 4.778e-8 0.001112 0.008226 0.001646 0.04057 3.542 0.6096 0.001924 0.001203 1 1 0.004073 0.03632 0.2344 0.004408 0.03931 0.2537 json
t20_x14_u0_b185 20 14 0 185 sub(P,mod(dot(D,D),R)) 162515 162977819 o2(x,o2(o2(x,x),x)) true 8527 8527 -0.02241 0.4792 0.9378 0.9219 0.9602 -1 1 2 1 1.88 0.0009247 0.0002305 0.01013 0.601 1 0.00001963 0.001225 0.007978 0.001053 0.03244 3.202 0.3909 0.001253 0.001329 1 1 0.002553 0.02665 0.2325 0.002769 0.02891 0.2522 json
t20_x14_u0_b186 20 14 0 186 sub(P,mod(dst(D,D),R)) 162516 162977820 o2(x,o2(o2(x,x),x)) true 8535 8535 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_x14_u0_b187 20 14 0 187 sub(P,lrg(add(D,D),R)) 162517 162977821 o2(x,o2(o2(x,x),x)) true 8543 8543 -0.05921 0.4709 0.9462 0.9271 0.9628 -1 1 2 1 1.82 0.005013 0.0001903 0.01905 0.9268 1 -0.00001049 0.007922 0.01626 0.004842 0.06959 3.652 0.9986 0.005613 0.008545 1 1 0.009231 0.05272 0.2578 0.009958 0.05686 0.2781 json
t20_x14_u0_b188 20 14 0 188 sub(P,lrg(sub(D,D),R)) 162518 162977822 o2(x,o2(o2(x,x),x)) true 8551 8551 -0.05877 0.4723 0.9451 0.9283 0.9635 -1 1 2 1 1.786 0.001009 0.0002866 0.01014 0.5576 1 -0.00001667 0.000135 0.00275 0.001193 0.03453 3.406 0.2338 0.001396 0.0001454 1 1 0.003407 0.04218 0.2644 0.00367 0.04544 0.2848 json
t20_x14_u0_b189 20 14 0 189 sub(P,lrg(mlt(D,D),R)) 162519 162977823 o2(x,o2(o2(x,x),x)) true 8559 8559 -0.06358 0.4655 0.9426 0.9251 0.9618 -1 1 2 1 1.785 0.001658 0.0002453 0.01093 0.7423 1 -0.00001582 0.00145 0.005528 0.001785 0.04225 3.866 1.006 0.002057 0.001568 1 1 0.004278 0.04169 0.2603 0.004624 0.04506 0.2814 json
t20_x14_u0_b190 20 14 0 190 sub(P,lrg(div(D,D),R)) 162520 162977824 o2(x,o2(o2(x,x),x)) true 8567 8567 -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_x14_u0_b191 20 14 0 191 sub(P,lrg(pow(D,D),R)) 162521 162977825 o2(x,o2(o2(x,x),x)) true 8575 8575 -0.1159 0.4375 0.9432 0.917 0.9576 -1 1 2 1 1.772 0.00176 0.0000766 0.008931 0.9166 1 -0.000003009 0.002447 0.004988 0.001756 0.0419 4.691 1 0.002003 0.002669 1 1 0.002913 0.02882 0.2464 0.003177 0.03142 0.2687 json
t20_x14_u0_b192 20 14 0 192 sub(P,lrg(mod(D,D),R)) 162522 162977826 o2(x,o2(o2(x,x),x)) true 8583 8583 -0.05866 0.4715 0.9455 0.9284 0.9636 -1 1 2 1 1.792 0.003972 0.000264 0.0146 0.8754 1 -0.00001651 0.008283 0.0129 0.004023 0.06343 4.343 0.986 0.004563 0.008921 1 1 0.006346 0.04492 0.2647 0.006836 0.04838 0.2851 json
t20_x14_u0_b193 20 14 0 193 sub(P,lrg(lrg(D,D),R)) 162523 162977827 o2(x,o2(o2(x,x),x)) true 8591 8591 -0.05877 0.4723 0.9451 0.9283 0.9635 -1 1 2 1 1.786 0.001009 0.0002866 0.01014 0.5576 1 -0.00001667 0.000135 0.00275 0.001193 0.03453 3.406 0.2338 0.001396 0.0001454 1 1 0.003407 0.04218 0.2644 0.00367 0.04544 0.2848 json
t20_x14_u0_b194 20 14 0 194 sub(P,lrg(eql(D,D),R)) 162524 162977828 o2(x,o2(o2(x,x),x)) true 8599 8599 -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_x14_u0_b195 20 14 0 195 sub(P,lrg(min(D,D),R)) 162525 162977829 o2(x,o2(o2(x,x),x)) true 8607 8607 -0.05875 0.4732 0.9459 0.928 0.9633 -1 1 2 1 1.806 0.002564 0.0002352 0.01381 0.832 1 -0.00001489 0.003374 0.009028 0.002607 0.05106 3.698 0.9986 0.003016 0.003636 1 1 0.005516 0.04459 0.264 0.005944 0.04805 0.2845 json
t20_x14_u0_b196 20 14 0 196 sub(P,lrg(dot(D,D),R)) 162526 162977830 o2(x,o2(o2(x,x),x)) true 8615 8615 -0.06801 0.461 0.9428 0.9244 0.9615 -1 1 2 1 1.792 0.001535 0.0007306 0.01213 0.3552 1 -0.00000407 0.003472 0.009114 0.002118 0.04603 3.795 1.404 0.002451 0.003756 1 1 0.00451 0.04304 0.2593 0.004879 0.04656 0.2806 json
t20_x14_u0_b197 20 14 0 197 sub(P,lrg(dst(D,D),R)) 162527 162977831 o2(x,o2(o2(x,x),x)) true 8623 8623 -0.05877 0.4723 0.9451 0.9283 0.9635 -1 1 2 1 1.786 0.001009 0.0002866 0.01014 0.5576 1 -0.00001667 0.000135 0.00275 0.001193 0.03453 3.406 0.2338 0.001396 0.0001454 1 1 0.003407 0.04218 0.2644 0.00367 0.04544 0.2848 json
t20_x14_u0_b198 20 14 0 198 sub(P,eql(add(D,D),R)) 162528 162977832 o2(x,o2(o2(x,x),x)) true 8631 8631 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_x14_u0_b199 20 14 0 199 sub(P,eql(sub(D,D),R)) 162529 162977833 o2(x,o2(o2(x,x),x)) true 8639 8639 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_x14_u0_b200 20 14 0 200 sub(P,eql(mlt(D,D),R)) 162530 162977834 o2(x,o2(o2(x,x),x)) true 8647 8647 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_x15_u0_b0 20 15 0 0 add(P,add(add(D,R),P)) 162531 163018035 o2(x,o2(o2(x,x),x)) true 8655 8655 -0.004446 0.4969 0.9722 0.9621 0.9809 -1 1 2 1 1.524 0.001329 0.0001666 0.008652 0.7773 1 -0.000008482 0.0002625 0.002629 0.001422 0.03771 4.358 0.3648 0.001555 0.0002728 1 1 0.00388 0.04653 0.3107 0.004033 0.04836 0.3229 json
t20_x15_u0_b1 20 15 0 1 add(P,add(sub(D,R),P)) 162532 163018036 o2(x,o2(o2(x,x),x)) true 8663 8663 0.004691 0.503 0.9712 0.9607 0.9802 -1 1 2 1 1.545 0.001287 0.0001658 0.008651 0.7718 1 0.000009995 0.0002477 0.002547 0.001379 0.03714 4.293 0.3854 0.001513 0.0002579 1 1 0.0038 0.04578 0.3093 0.003956 0.04765 0.322 json
t20_x15_u0_b2 20 15 0 2 add(P,add(mlt(D,R),P)) 162533 163018037 o2(x,o2(o2(x,x),x)) true 8671 8671 -0.0003676 0.4998 0.9546 0.9468 0.973 -1 1 2 1 1.549 0.001411 0.00001566 0.008403 0.978 1 6.874e-8 0.0003823 0.003723 0.001356 0.03683 4.383 0.2704 0.001507 0.0004037 1 1 0.003531 0.0344 0.2683 0.003729 0.03633 0.2833 json
t20_x15_u0_b3 20 15 0 3 add(P,add(div(D,R),P)) 162534 163018038 o2(x,o2(o2(x,x),x)) true 8679 8679 -0.009682 0.493 0.9606 0.9515 0.9755 -1 1 2 1 1.541 0.0138 0.005492 0.02104 0.4306 1 -0.000001531 0.038 0.02425 0.01885 0.1373 6.526 2.828 0.02027 0.03993 1 1 0.0228 0.1255 0.4033 0.02396 0.1318 0.4238 json
t20_x15_u0_b4 20 15 0 4 add(P,add(pow(D,R),P)) 162535 163018039 o2(x,o2(o2(x,x),x)) true 8687 8687 -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_x15_u0_b5 20 15 0 5 add(P,add(mod(D,R),P)) 162536 163018040 o2(x,o2(o2(x,x),x)) true 8695 8695 -0.0001843 0.5 0.9642 0.9546 0.9771 -1 1 2 1 1.552 0.001163 0.000003425 0.008138 0.9941 1 7.749e-9 0.0004717 0.003993 0.0011 0.03316 4.075 0.2756 0.001222 0.0004941 1 1 0.002796 0.03391 0.2776 0.002929 0.03552 0.2908 json
t20_x15_u0_b6 20 15 0 6 add(P,add(lrg(D,R),P)) 162537 163018041 o2(x,o2(o2(x,x),x)) true 8703 8703 0.03408 0.5177 0.9707 0.962 0.9808 -1 1 2 1 1.477 0.001967 0.00009739 0.008542 0.9056 1 0.000006438 0.001308 0.004577 0.001992 0.04464 5.225 0.9649 0.002146 0.00136 1 1 0.004468 0.04662 0.2992 0.004645 0.04847 0.311 json
t20_x15_u0_b7 20 15 0 7 add(P,add(eql(D,R),P)) 162538 163018042 o2(x,o2(o2(x,x),x)) true 8711 8711 0.00004007 0.5 0.957 0.9494 0.9744 -1 1 2 1 1.488 0.001317 1.509e-7 0.007946 0.9998 1 1.17e-7 0.0003048 0.00367 0.001254 0.03541 4.456 0.524 0.001387 0.000321 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json
t20_x15_u0_b8 20 15 0 8 add(P,add(min(D,R),P)) 162539 163018043 o2(x,o2(o2(x,x),x)) true 8719 8719 -0.02208 0.4852 0.9685 0.9575 0.9785 -1 1 2 1 1.549 0.001329 0.00006523 0.008292 0.9064 1 -0.000003375 0.0002514 0.002887 0.001326 0.03641 4.391 0.3234 0.001457 0.0002626 1 1 0.003558 0.04037 0.2884 0.003716 0.04216 0.3012 json
t20_x15_u0_b9 20 15 0 9 add(P,add(dot(D,R),P)) 162540 163018044 o2(x,o2(o2(x,x),x)) true 8727 8727 0.0002634 0.5013 0.9559 0.9472 0.9733 -1 1 2 1 1.563 0.001419 0.00005945 0.00871 0.9196 1 -0.000009049 0.0003911 0.003758 0.001403 0.03746 4.301 0.3055 0.001561 0.0004129 1 1 0.003666 0.03601 0.2699 0.00387 0.03801 0.2849 json
t20_x15_u0_b10 20 15 0 10 add(P,add(dst(D,R),P)) 162541 163018045 o2(x,o2(o2(x,x),x)) true 8735 8735 0.06574 0.5325 0.9739 0.9586 0.9791 -1 1 2 1 1.552 0.001486 0.0001091 0.00903 0.8632 1 -0.0000109 0.0002628 0.003166 0.001514 0.03891 4.309 0.3322 0.001664 0.0002741 1 1 0.004186 0.0487 0.2958 0.004367 0.05081 0.3086 json
t20_x15_u0_b11 20 15 0 11 add(P,sub(add(D,R),P)) 162542 163018046 o2(x,o2(o2(x,x),x)) true 8743 8743 0.009078 0.4986 0.4013 0.2304 0.48 -1 1 2 1 4.899 0.004471 0.003165 0.07546 0.1709 1 0.00002869 0.0006263 0.01935 0.001942 0.04407 0.584 0.2845 0.03314 0.002718 1 1 0.01508 0.1746 0.3904 0.06546 0.7577 1.694 json
t20_x15_u0_b12 20 15 0 12 add(P,sub(sub(D,R),P)) 162543 163018047 o2(x,o2(o2(x,x),x)) true 8751 8751 -0.009165 0.5021 0.4005 0.2287 0.4782 -1 1 2 1 4.894 0.004393 0.003164 0.07461 0.1626 1 -0.00003074 0.0006179 0.01902 0.001989 0.0446 0.5978 0.2561 0.03305 0.002702 1 1 0.01479 0.1717 0.3901 0.06468 0.751 1.706 json
t20_x15_u0_b13 20 15 0 13 add(P,sub(mlt(D,R),P)) 162544 163018048 o2(x,o2(o2(x,x),x)) true 8759 8759 0.001509 0.5091 0.09077 0.0151 0.1229 -0.4311 0.4889 0.92 1 3.004 0.0007895 0.0002198 0.02769 0.5645 1 -0.00003739 0.000103 0.008005 0.0002428 0.01558 0.5628 0.08276 0.06684 0.006818 1 1 0.001985 0.02214 0.02942 0.1314 1.466 1.949 json
t20_x15_u0_b14 20 15 0 14 add(P,sub(div(D,R),P)) 162545 163018049 o2(x,o2(o2(x,x),x)) true 8767 8767 -0.003026 0.4966 0.4829 0.3691 0.6075 -1 1 2 1 4.544 0.0323 0.00962 0.1247 0.5411 1 -0.000122 0.0377 0.06814 0.02637 0.1624 1.302 2.033 0.1136 0.1021 1 1 0.06061 0.4731 0.7177 0.1642 1.282 1.944 json
t20_x15_u0_b15 20 15 0 15 add(P,sub(pow(D,R),P)) 162546 163018050 o2(x,o2(o2(x,x),x)) true 8775 8775 -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_x15_u0_b16 20 15 0 16 add(P,sub(mod(D,R),P)) 162547 163018051 o2(x,o2(o2(x,x),x)) true 8783 8783 -0.0003012 0.4979 0.1135 0.01789 0.1337 -0.2728 0.2728 0.5455 1 3.083 0.004647 0.0001074 0.05089 0.9548 1 0.000004165 0.00696 0.04709 0.002165 0.04653 0.9143 0.4963 0.2658 0.3891 1 1 0.006357 0.03391 0.01378 0.3554 1.896 0.7703 json
t20_x15_u0_b17 20 15 0 17 add(P,sub(lrg(D,R),P)) 162548 163018052 o2(x,o2(o2(x,x),x)) true 8791 8791 0.5008 0.9274 0.5008 0.1466 0.3828 0 1 1 1 3.529 0.0202 0.00212 0.08084 0.81 1 -0.00001414 0.03816 0.07051 0.01579 0.1257 1.554 0.9997 0.1523 0.2603 1 1 0.02456 0.14 0.2709 0.1675 0.9553 1.848 json
t20_x15_u0_b18 20 15 0 18 add(P,sub(eql(D,R),P)) 162549 163018053 o2(x,o2(o2(x,x),x)) true 8799 8799 0.00004008 0.0002289 0.00004008 0.00001031 0.00321 0 0.3282 0.3282 1 0.002722 0.00001454 1.509e-7 0.00006305 0.9795 0 1.17e-7 0.00004407 0.0001242 0.00001469 0.003832 60.78 0.3186 1.425 4.276 1 1 0 0 0.000007865 0 0 0.7631 json
t20_x15_u0_b19 20 15 0 19 add(P,sub(min(D,R),P)) 162550 163018054 o2(x,o2(o2(x,x),x)) true 8807 8807 -0.2802 0.1663 0.3076 0.07392 0.2719 -0.9989 0.1454 1.144 1 4.044 0.001754 0.001001 0.04511 0.2733 1 0.00002083 0.0002816 0.01333 0.00072 0.02683 0.5948 0.1528 0.03727 0.003809 1 1 0.005139 0.05796 0.1186 0.06952 0.784 1.604 json
t20_x15_u0_b20 20 15 0 20 add(P,sub(dot(D,R),P)) 162551 163018055 o2(x,o2(o2(x,x),x)) true 8815 8815 0.004186 0.519 0.1403 0.03119 0.1766 -0.5259 0.5965 1.122 1 3.548 0.001025 0.001036 0.04104 -0.005293 1 -0.0001214 0.0002066 0.0116 0.0003766 0.01941 0.4729 0.1246 0.06608 0.006623 1 1 0.003983 0.04517 0.06353 0.1277 1.448 2.037 json
t20_x15_u0_b21 20 15 0 21 add(P,sub(dst(D,R),P)) 162552 163018056 o2(x,o2(o2(x,x),x)) true 8823 8823 0.9181 1 0.9181 0.01978 0.1406 0.07175 1 0.9282 1 1.861 0.0006824 0.0007622 0.02203 -0.05522 1 -0.00004027 0.0004199 0.009976 0.000959 0.03097 1.406 0.1814 0.07303 0.02123 1 1 0.002532 0.02334 0.03425 0.128 1.18 1.731 json
t20_x15_u0_b22 20 15 0 22 add(P,mlt(add(D,R),P)) 162553 163018057 o2(x,o2(o2(x,x),x)) true 8831 8831 -0.01459 0.4886 0.9019 0.8769 0.9364 -1 1 2 1 2.277 0.003566 0.001287 0.02361 0.4697 1 0.0001099 0.002674 0.01424 0.004298 0.06556 2.777 0.7486 0.005534 0.003049 1 1 0.008316 0.06001 0.2562 0.009484 0.06843 0.2921 json
t20_x15_u0_b23 20 15 0 23 add(P,mlt(sub(D,R),P)) 162554 163018058 o2(x,o2(o2(x,x),x)) true 8839 8839 -0.01928 0.4762 0.8859 0.8583 0.9264 -1 1 2 1 2.356 0.003032 0.0011 0.02196 0.4677 1 0.00006148 0.002508 0.01315 0.003651 0.06042 2.752 0.7743 0.004814 0.002922 1 1 0.007182 0.05561 0.2351 0.008367 0.06479 0.274 json
t20_x15_u0_b24 20 15 0 24 add(P,mlt(mlt(D,R),P)) 162555 163018059 o2(x,o2(o2(x,x),x)) true 8847 8847 -0.002869 0.4989 0.9353 0.9213 0.9599 -1 1 2 1 1.859 0.0007491 0.00001807 0.008493 0.9529 1 0.00000264 0.00005975 0.002389 0.0006953 0.02637 3.105 0.1489 0.0008327 0.00006486 1 1 0.001961 0.02521 0.2333 0.002129 0.02737 0.2532 json
t20_x15_u0_b25 20 15 0 25 add(P,mlt(div(D,R),P)) 162556 163018060 o2(x,o2(o2(x,x),x)) true 8855 8855 0.008215 0.5057 0.9081 0.8855 0.941 -1 1 2 1 2.183 0.06132 0.02212 0.07813 0.4699 1 0.000176 0.1498 0.09967 0.07735 0.2781 3.56 2.828 0.09423 0.1691 1 1 0.0723 0.3816 0.7243 0.08165 0.4309 0.8179 json
t20_x15_u0_b26 20 15 0 26 add(P,mlt(pow(D,R),P)) 162557 163018061 o2(x,o2(o2(x,x),x)) true 8863 8863 -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_x15_u0_b27 20 15 0 27 add(P,mlt(mod(D,R),P)) 162558 163018062 o2(x,o2(o2(x,x),x)) true 8871 8871 -0.009799 0.5 0.9343 0.92 0.9592 -1 1 2 1 1.861 0.0009387 0.000006255 0.009146 0.9868 1 2.585e-7 0.0004534 0.00499 0.0008615 0.02935 3.209 0.3575 0.001027 0.0004928 1 1 0.002171 0.02505 0.2299 0.002359 0.02723 0.2499 json
t20_x15_u0_b28 20 15 0 28 add(P,mlt(lrg(D,R),P)) 162559 163018063 o2(x,o2(o2(x,x),x)) true 8879 8879 -0.005094 0.5 0.9458 0.9349 0.9669 -1 1 2 1 1.698 0.001102 0.00001797 0.008325 0.9679 1 -1.972e-7 0.0004842 0.003613 0.00105 0.03241 3.893 0.5417 0.001198 0.0005179 1 1 0.002733 0.02867 0.2511 0.002923 0.03067 0.2686 json
t20_x15_u0_b29 20 15 0 29 add(P,mlt(eql(D,R),P)) 162560 163018064 o2(x,o2(o2(x,x),x)) true 8887 8887 0.00004008 0.5 0.9375 0.924 0.9613 -1 1 2 1 1.813 0.0007197 1.509e-7 0.007967 0.9996 1 1.17e-7 0.00007637 0.001971 0.0006566 0.02562 3.216 0.4213 0.0007791 0.00008264 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t20_x15_u0_b30 20 15 0 30 add(P,mlt(min(D,R),P)) 162561 163018065 o2(x,o2(o2(x,x),x)) true 8895 8895 -0.001635 0.4961 0.8865 0.8528 0.9235 -1 1 2 1 2.574 0.001073 0.0007134 0.01628 0.2011 1 -0.00001604 0.0006363 0.007598 0.001521 0.039 2.396 0.45 0.002094 0.0007461 1 1 0.003476 0.03546 0.2149 0.004076 0.04158 0.252 json
t20_x15_u0_b31 20 15 0 31 add(P,mlt(dot(D,R),P)) 162562 163018066 o2(x,o2(o2(x,x),x)) true 8903 8903 -0.001736 0.4989 0.9314 0.9153 0.9567 -1 1 2 1 1.953 0.0007604 0.00009179 0.009246 0.7846 1 -0.00001546 0.0001271 0.002963 0.0007664 0.02768 2.994 0.1919 0.0009311 0.0001388 1 1 0.002126 0.02559 0.2263 0.002323 0.02796 0.2473 json
t20_x15_u0_b32 20 15 0 32 add(P,mlt(dst(D,R),P)) 162563 163018067 o2(x,o2(o2(x,x),x)) true 8911 8911 0.0009111 0.5 0.9587 0.9513 0.9754 -1 1 2 1 1.524 0.001374 0.000007092 0.007963 0.9897 1 -5.186e-7 0.0003663 0.003688 0.001317 0.03629 4.558 0.2864 0.001451 0.0003851 1 1 0.003372 0.03325 0.2708 0.003545 0.03495 0.2846 json
t20_x15_u0_b33 20 15 0 33 add(P,div(add(D,R),P)) 162564 163018068 o2(x,o2(o2(x,x),x)) true 8919 8919 -0.122 0.4377 0.9944 0.976 0.9879 -1 1 2 1 1.164 0.01489 0.00006337 0.00976 0.9915 1 8.822e-7 0.0293 0.01707 0.01487 0.1219 12.49 2 0.01532 0.03002 1 1 0.02001 0.08456 0.3389 0.0205 0.08664 0.3472 json
t20_x15_u0_b34 20 15 0 34 add(P,div(sub(D,R),P)) 162565 163018069 o2(x,o2(o2(x,x),x)) true 8927 8927 -0.1222 0.4375 0.9871 0.9663 0.983 -1 1 2 1 1.276 0.01247 0.0000988 0.01129 0.9843 1 2.628e-11 0.02378 0.01709 0.01243 0.1115 9.879 2 0.013 0.02461 1 1 0.01817 0.08366 0.3407 0.0188 0.08658 0.3526 json
t20_x15_u0_b35 20 15 0 35 add(P,div(mlt(D,R),P)) 162566 163018070 o2(x,o2(o2(x,x),x)) true 8935 8935 -0.1247 0.4375 0.9995 0.9834 0.9917 -1 1 2 1 1.021 0.01583 8.113e-7 0.008254 0.9999 1 -7.7e-7 0.03172 0.01622 0.01576 0.1255 15.21 2 0.0161 0.03226 1 1 0.02094 0.08398 0.3366 0.0213 0.0854 0.3423 json
t20_x15_u0_b36 20 15 0 36 add(P,div(div(D,R),P)) 162567 163018071 o2(x,o2(o2(x,x),x)) true 8943 8943 -0.115 0.4421 0.9898 0.9725 0.9861 -1 1 2 1 1.257 0.02132 0.002072 0.01752 0.8229 1 0.000001537 0.04404 0.02665 0.0231 0.152 8.674 2.141 0.02406 0.04528 1 1 0.03195 0.135 0.441 0.03286 0.1388 0.4534 json
t20_x15_u0_b37 20 15 0 37 add(P,div(pow(D,R),P)) 162568 163018072 o2(x,o2(o2(x,x),x)) true 8951 8951 -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_x15_u0_b38 20 15 0 38 add(P,div(mod(D,R),P)) 162569 163018073 o2(x,o2(o2(x,x),x)) true 8959 8959 -0.1236 0.4375 0.9986 0.9821 0.991 -1 1 2 1 1.073 0.01591 3.34e-7 0.008775 1 1 2.894e-8 0.03179 0.01678 0.01583 0.1258 14.34 2 0.0162 0.03237 1 1 0.02113 0.08438 0.337 0.02151 0.08592 0.3432 json
t20_x15_u0_b39 20 15 0 39 add(P,div(lrg(D,R),P)) 162570 163018074 o2(x,o2(o2(x,x),x)) true 8967 8967 -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_x15_u0_b40 20 15 0 40 add(P,div(eql(D,R),P)) 162571 163018075 o2(x,o2(o2(x,x),x)) true 8975 8975 0.00004008 0.5 0.9375 0.924 0.9613 -1 1 2 1 1.813 0.0007197 1.509e-7 0.007967 0.9996 1 1.17e-7 0.00007637 0.001971 0.0006566 0.02562 3.216 0.4213 0.0007791 0.00008264 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t20_x15_u0_b41 20 15 0 41 add(P,div(min(D,R),P)) 162572 163018076 o2(x,o2(o2(x,x),x)) true 8983 8983 -0.1227 0.4375 0.9923 0.9726 0.9862 -1 1 2 1 1.267 0.01433 0.000032 0.01019 0.9955 1 -0.000001928 0.02834 0.01743 0.01427 0.1194 11.72 2 0.01477 0.02913 1 1 0.01908 0.08084 0.3344 0.01962 0.08312 0.3438 json
t20_x15_u0_b42 20 15 0 42 add(P,div(dot(D,R),P)) 162573 163018077 o2(x,o2(o2(x,x),x)) true 8991 8991 -0.1242 0.4375 0.9979 0.9808 0.9904 -1 1 2 1 1.1 0.01521 0.0000232 0.008965 0.997 1 -0.000006347 0.03027 0.01674 0.01515 0.1231 13.73 2 0.01553 0.03086 1 1 0.02021 0.08315 0.3357 0.02061 0.08477 0.3422 json
t20_x15_u0_b43 20 15 0 43 add(P,div(dst(D,R),P)) 162574 163018078 o2(x,o2(o2(x,x),x)) true 8999 8999 -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_x15_u0_b44 20 15 0 44 add(P,pow(add(D,R),P)) 162575 163018079 o2(x,o2(o2(x,x),x)) true 9007 9007 -0.8065 0.101 0.9909 0.3369 0.5804 -1 1 2 1 0.622 0.1136 0.02194 0.07011 0.6762 1 0.0005039 0.2909 0.1371 0.1306 0.3613 5.154 2.828 0.4022 0.8634 1 1 0.1267 0.4081 0.6549 0.3761 1.211 1.944 json
t20_x15_u0_b45 20 15 0 45 add(P,pow(sub(D,R),P)) 162576 163018080 o2(x,o2(o2(x,x),x)) true 9015 9015 -0.8314 0.08568 0.9967 0.3038 0.5512 -1 1 2 1 0.5059 0.1255 0.02465 0.07607 0.6716 1 -0.000002795 0.3354 0.1515 0.1444 0.38 4.996 2.828 0.4943 1.104 1 1 0.1596 0.4267 0.5729 0.5252 1.405 1.886 json
t20_x15_u0_b46 20 15 0 46 add(P,pow(mlt(D,R),P)) 162577 163018081 o2(x,o2(o2(x,x),x)) true 9023 9023 -0.8907 0.05469 0.9999 0.2064 0.4544 -1 1 2 1 0.307 0.02772 0.02215 0.0248 0.1115 1 1.201e-10 0.1053 0.04992 0.04928 0.222 8.952 2.828 0.2416 0.51 1 1 0.05649 0.2312 0.5056 0.2736 1.12 2.449 json
t20_x15_u0_b47 20 15 0 47 add(P,pow(div(D,R),P)) 162578 163018082 o2(x,o2(o2(x,x),x)) true 9031 9031 -0.9022 0.05008 0.9959 0.18 0.4243 -1 1 2 1 0.378 0.03116 0.01916 0.02698 0.2384 1 -1.201e-10 0.1084 0.0518 0.0496 0.2227 8.255 2.828 0.2796 0.602 1 1 0.05559 0.2087 0.4431 0.3088 1.159 2.462 json
t20_x15_u0_b48 20 15 0 48 add(P,pow(pow(D,R),P)) 162579 163018083 o2(x,o2(o2(x,x),x)) true 9039 9039 -0.8963 0.05513 0.9836 0.1737 0.4168 -1 1 2 1 0.5627 0.02687 0.000301 0.01846 0.9778 1 -0.00002483 0.05421 0.02944 0.02685 0.1638 8.874 2 0.1564 0.312 1 1 0.03476 0.1342 0.2568 0.2001 0.7724 1.478 json
t20_x15_u0_b49 20 15 0 49 add(P,pow(mod(D,R),P)) 162580 163018084 o2(x,o2(o2(x,x),x)) true 9047 9047 -0.8753 0.0625 0.9997 0.2332 0.4829 -1 1 2 1 0.3512 0.03177 0.000001827 0.01622 0.9999 1 -9.442e-7 0.06354 0.03227 0.03149 0.1775 10.94 2 0.1362 0.2725 1 1 0.04212 0.168 0.336 0.1806 0.7205 1.441 json
t20_x15_u0_b50 20 15 0 50 add(P,pow(lrg(D,R),P)) 162581 163018085 o2(x,o2(o2(x,x),x)) true 9055 9055 0.1446 0.5762 0.9885 0.9643 0.982 -1 1 2 1 1.18 0.08305 0.02484 0.05602 0.5395 1 -0.0004409 0.2485 0.111 0.1047 0.3236 5.776 2.828 0.1119 0.2577 1 1 0.09606 0.3065 0.5376 0.09962 0.3178 0.5575 json
t20_x15_u0_b51 20 15 0 51 add(P,pow(eql(D,R),P)) 162582 163018086 o2(x,o2(o2(x,x),x)) true 9063 9063 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_x15_u0_b52 20 15 0 52 add(P,pow(min(D,R),P)) 162583 163018087 o2(x,o2(o2(x,x),x)) true 9071 9071 -0.9611 0.01953 0.9998 0.07576 0.2752 -1 1 2 1 0.1461 0.01008 0.005969 0.008105 0.2562 1 6.382e-11 0.03362 0.01618 0.01598 0.1264 15.6 2.828 0.2119 0.4438 1 1 0.02209 0.09065 0.2392 0.2916 1.197 3.157 json
t20_x15_u0_b53 20 15 0 53 add(P,pow(dot(D,R),P)) 162584 163018088 o2(x,o2(o2(x,x),x)) true 9079 9079 -0.8295 0.08545 0.9996 0.3112 0.5579 -1 1 2 1 0.4405 0.08397 0.0731 0.07296 0.06924 1 -0.0002834 0.4844 0.1572 0.1517 0.3895 5.339 2.828 0.5047 1.556 1 1 0.1618 0.4827 0.6736 0.5198 1.551 2.164 json
t20_x15_u0_b54 20 15 0 54 add(P,pow(dst(D,R),P)) 162585 163018089 o2(x,o2(o2(x,x),x)) true 9087 9087 0.3609 0.6763 0.9335 0.7824 0.8846 -1 1 2 1 1.895 0.03852 0.04273 0.06725 -0.05189 1 -0.0002451 0.1852 0.09292 0.07675 0.277 4.12 2.828 0.1038 0.2367 1 1 0.0712 0.3549 0.5745 0.09099 0.4535 0.7343 json
t20_x15_u0_b55 20 15 0 55 add(P,mod(add(D,R),P)) 162586 163018090 o2(x,o2(o2(x,x),x)) true 9095 9095 -0.1221 0.4375 0.9934 0.9745 0.9871 -1 1 2 1 1.197 0.01536 0.00005418 0.0107 0.993 1 -0.00000563 0.03054 0.01845 0.01531 0.1237 11.56 2 0.01582 0.03134 1 1 0.02021 0.08416 0.3386 0.02074 0.08636 0.3474 json
t20_x15_u0_b56 20 15 0 56 add(P,mod(sub(D,R),P)) 162587 163018091 o2(x,o2(o2(x,x),x)) true 9103 9103 -0.1279 0.4375 0.9915 0.971 0.9854 -1 1 2 1 1.239 0.01165 0.00006846 0.009606 0.9883 1 0.000003841 0.02269 0.01531 0.01164 0.1079 11.23 2 0.01207 0.02337 1 1 0.01694 0.07752 0.3316 0.01744 0.07984 0.3415 json
t20_x15_u0_b57 20 15 0 57 add(P,mod(mlt(D,R),P)) 162588 163018092 o2(x,o2(o2(x,x),x)) true 9111 9111 -0.125 0.4375 0.9998 0.9839 0.9919 -1 1 2 1 0.9984 0.01582 5.133e-7 0.008078 0.9999 1 -2.237e-7 0.03172 0.01605 0.01576 0.1255 15.54 2 0.01608 0.03224 1 1 0.02093 0.08394 0.3366 0.02128 0.08531 0.3421 json
t20_x15_u0_b58 20 15 0 58 add(P,mod(div(D,R),P)) 162589 163018093 o2(x,o2(o2(x,x),x)) true 9119 9119 -0.125 0.4375 0.9946 0.9757 0.9878 -1 1 2 1 1.18 0.01696 0.00007607 0.01279 0.9911 1 0.000002689 0.03619 0.02365 0.01688 0.1299 10.16 2 0.01746 0.0371 1 1 0.02088 0.08135 0.3337 0.0214 0.08338 0.342 json
t20_x15_u0_b59 20 15 0 59 add(P,mod(pow(D,R),P)) 162590 163018094 o2(x,o2(o2(x,x),x)) true 9127 9127 -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_x15_u0_b60 20 15 0 60 add(P,mod(mod(D,R),P)) 162591 163018095 o2(x,o2(o2(x,x),x)) true 9135 9135 -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_x15_u0_b61 20 15 0 61 add(P,mod(lrg(D,R),P)) 162592 163018096 o2(x,o2(o2(x,x),x)) true 9143 9143 -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_x15_u0_b62 20 15 0 62 add(P,mod(eql(D,R),P)) 162593 163018097 o2(x,o2(o2(x,x),x)) true 9151 9151 -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_x15_u0_b63 20 15 0 63 add(P,mod(min(D,R),P)) 162594 163018098 o2(x,o2(o2(x,x),x)) true 9159 9159 -0.1281 0.4375 0.9969 0.9794 0.9896 -1 1 2 1 1.089 0.01391 0.00002042 0.00812 0.9971 1 -0.000005064 0.02765 0.01508 0.01386 0.1177 14.5 2 0.01422 0.02823 1 1 0.01854 0.07824 0.3311 0.01893 0.07989 0.3381 json
t20_x15_u0_b64 20 15 0 64 add(P,mod(dot(D,R),P)) 162595 163018099 o2(x,o2(o2(x,x),x)) true 9167 9167 -0.1249 0.4375 0.9985 0.9817 0.9908 -1 1 2 1 1.078 0.01517 0.00001491 0.008702 0.998 1 0.000001283 0.03021 0.01652 0.01509 0.1229 14.12 2 0.01546 0.03078 1 1 0.02014 0.08268 0.3352 0.02052 0.08422 0.3414 json
t20_x15_u0_b65 20 15 0 65 add(P,mod(dst(D,R),P)) 162596 163018100 o2(x,o2(o2(x,x),x)) true 9175 9175 -0.1031 0.4375 0.9781 0.9563 0.9779 -1 1 2 1 1.478 0.01733 0.0006505 0.0145 0.9276 1 -0.000009497 0.03729 0.02402 0.01776 0.1333 9.192 2 0.0188 0.03899 1 1 0.02427 0.09638 0.3562 0.02537 0.1008 0.3725 json
t20_x15_u0_b66 20 15 0 66 add(P,lrg(add(D,R),P)) 162597 163018101 o2(x,o2(o2(x,x),x)) true 9183 9183 0.08658 0.522 0.9041 0.8845 0.9405 -1 1 2 1 1.911 0.001691 0.0001192 0.009012 0.8683 1 -0.000006308 0.002106 0.005703 0.001729 0.04158 4.614 0.9705 0.002046 0.00238 1 1 0.003282 0.0311 0.2125 0.00371 0.03516 0.2402 json
t20_x15_u0_b67 20 15 0 67 add(P,lrg(sub(D,R),P)) 162598 163018102 o2(x,o2(o2(x,x),x)) true 9191 9191 0.09149 0.5318 0.9178 0.8979 0.9476 -1 1 2 1 1.843 0.002263 0.0001483 0.009215 0.877 1 0.000006113 0.003421 0.007208 0.002326 0.04823 5.234 0.9926 0.002685 0.00381 1 1 0.003838 0.03298 0.2279 0.004274 0.03673 0.2538 json
t20_x15_u0_b68 20 15 0 68 add(P,lrg(mlt(D,R),P)) 162599 163018103 o2(x,o2(o2(x,x),x)) true 9199 9199 0.09375 0.5456 0.9063 0.8805 0.9384 -1 1 2 1 2.025 0.004028 0.0001053 0.01281 0.949 1 1.164e-10 0.006782 0.00921 0.003972 0.06302 4.921 1 0.004694 0.007702 1 1 0.006418 0.03971 0.2111 0.007289 0.0451 0.2398 json