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_x24_u0_b60 20 24 0 60 add(P,mod(mod(R,R),P)) 164400 163381704 o2(x,o2(o2(x,x),x)) true 23607 23607 -0.1236 0.4375 0.9955 0.9781 0.989 -1 1 2 1 1.117 0.0152 0.00002666 0.009353 0.9965 1 -0.00000429 0.03024 0.01703 0.01513 0.123 13.15 2 0.01557 0.03092 1 1 0.02015 0.08349 0.3383 0.0206 0.08536 0.3459 json
t20_x24_u0_b61 20 24 0 61 add(P,mod(lrg(R,R),P)) 164401 163381705 o2(x,o2(o2(x,x),x)) true 23615 23615 -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_x24_u0_b62 20 24 0 62 add(P,mod(eql(R,R),P)) 164402 163381706 o2(x,o2(o2(x,x),x)) true 23623 23623 -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_x24_u0_b63 20 24 0 63 add(P,mod(min(R,R),P)) 164403 163381707 o2(x,o2(o2(x,x),x)) true 23631 23631 -0.1213 0.4375 0.992 0.9739 0.9869 -1 1 2 1 1.199 0.0153 0.0000739 0.01075 0.9904 1 -0.000007567 0.03034 0.0185 0.01526 0.1235 11.5 2 0.01578 0.03116 1 1 0.02016 0.08452 0.3399 0.0207 0.08678 0.349 json
t20_x24_u0_b64 20 24 0 64 add(P,mod(dot(R,R),P)) 164404 163381708 o2(x,o2(o2(x,x),x)) true 23639 23639 -0.1011 0.4375 0.9761 0.9541 0.9768 -1 1 2 1 1.484 0.01697 0.00007312 0.01269 0.9914 1 -0.00000254 0.03368 0.02058 0.01689 0.13 10.24 2 0.01787 0.0353 1 1 0.0226 0.09331 0.364 0.02369 0.09781 0.3816 json
t20_x24_u0_b65 20 24 0 65 add(P,mod(dst(R,R),P)) 164405 163381709 o2(x,o2(o2(x,x),x)) true 23647 23647 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_x24_u0_b66 20 24 0 66 add(P,lrg(add(R,R),P)) 164406 163381710 o2(x,o2(o2(x,x),x)) true 23655 23655 0.0811 0.5328 0.9154 0.8928 0.9449 -1 1 2 1 1.983 0.0007785 0.0002204 0.009829 0.5588 1 -0.00002139 0.00009801 0.002573 0.0009021 0.03003 3.056 0.2338 0.001119 0.0001098 1 1 0.002511 0.03157 0.2225 0.002812 0.03536 0.2493 json
t20_x24_u0_b67 20 24 0 67 add(P,lrg(sub(R,R),P)) 164407 163381711 o2(x,o2(o2(x,x),x)) true 23663 23663 0.0625 0.5 0.875 0.8576 0.926 -1 1 2 1 2.027 0.0007059 0 0.007937 1 1 0 0.00003238 0.001855 0.0006432 0.02536 3.195 0.1169 0.0008231 0.00003776 1 1 0.001851 0.02429 0.1593 0.002158 0.02832 0.1858 json
t20_x24_u0_b68 20 24 0 68 add(P,lrg(mlt(R,R),P)) 164408 163381712 o2(x,o2(o2(x,x),x)) true 23671 23671 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_x24_u0_b69 20 24 0 69 add(P,lrg(div(R,R),P)) 164409 163381713 o2(x,o2(o2(x,x),x)) true 23679 23679 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_x24_u0_b70 20 24 0 70 add(P,lrg(pow(R,R),P)) 164410 163381714 o2(x,o2(o2(x,x),x)) true 23687 23687 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_x24_u0_b71 20 24 0 71 add(P,lrg(mod(R,R),P)) 164411 163381715 o2(x,o2(o2(x,x),x)) true 23695 23695 0.07422 0.5187 0.8867 0.8659 0.9305 -1 1 2 1 2.045 0.0006865 0.00007022 0.008612 0.8144 1 -0.000005704 0.00003658 0.002026 0.0006823 0.02612 3.033 0.1169 0.0008739 0.00004225 1 1 0.001939 0.02552 0.181 0.00224 0.02947 0.209 json
t20_x24_u0_b72 20 24 0 72 add(P,lrg(lrg(R,R),P)) 164412 163381716 o2(x,o2(o2(x,x),x)) true 23703 23703 0.0625 0.5 0.875 0.8576 0.926 -1 1 2 1 2.027 0.0007059 0 0.007937 1 1 0 0.00003238 0.001855 0.0006432 0.02536 3.195 0.1169 0.0008231 0.00003776 1 1 0.001851 0.02429 0.1593 0.002158 0.02832 0.1858 json
t20_x24_u0_b73 20 24 0 73 add(P,lrg(eql(R,R),P)) 164413 163381717 o2(x,o2(o2(x,x),x)) true 23711 23711 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_x24_u0_b74 20 24 0 74 add(P,lrg(min(R,R),P)) 164414 163381718 o2(x,o2(o2(x,x),x)) true 23719 23719 0.08984 0.5378 0.9023 0.8786 0.9373 -1 1 2 1 2.016 0.0006768 0.0001053 0.00895 0.7306 1 -0.000005704 0.00003874 0.002113 0.000702 0.0265 2.96 0.1169 0.0008902 0.00004409 1 1 0.002072 0.02727 0.2084 0.002358 0.03104 0.2372 json
t20_x24_u0_b75 20 24 0 75 add(P,lrg(dot(R,R),P)) 164415 163381719 o2(x,o2(o2(x,x),x)) true 23727 23727 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_x24_u0_b76 20 24 0 76 add(P,lrg(dst(R,R),P)) 164416 163381720 o2(x,o2(o2(x,x),x)) true 23735 23735 0.0625 0.5 0.875 0.8576 0.926 -1 1 2 1 2.027 0.0007059 0 0.007937 1 1 0 0.00003238 0.001855 0.0006432 0.02536 3.195 0.1169 0.0008231 0.00003776 1 1 0.001851 0.02429 0.1593 0.002158 0.02832 0.1858 json
t20_x24_u0_b77 20 24 0 77 add(P,eql(add(R,R),P)) 164417 163381721 o2(x,o2(o2(x,x),x)) true 23743 23743 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_x24_u0_b78 20 24 0 78 add(P,eql(sub(R,R),P)) 164418 163381722 o2(x,o2(o2(x,x),x)) true 23751 23751 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_x24_u0_b79 20 24 0 79 add(P,eql(mlt(R,R),P)) 164419 163381723 o2(x,o2(o2(x,x),x)) true 23759 23759 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_x24_u0_b80 20 24 0 80 add(P,eql(div(R,R),P)) 164420 163381724 o2(x,o2(o2(x,x),x)) true 23767 23767 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_x24_u0_b81 20 24 0 81 add(P,eql(pow(R,R),P)) 164421 163381725 o2(x,o2(o2(x,x),x)) true 23775 23775 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_x24_u0_b82 20 24 0 82 add(P,eql(mod(R,R),P)) 164422 163381726 o2(x,o2(o2(x,x),x)) true 23783 23783 0.02734 0.5159 0.9557 0.9422 0.9707 -1 1 2 1 1.694 0.0009793 0.0001053 0.008778 0.8058 1 0.000005704 0.00005255 0.002004 0.001007 0.03173 3.615 0.2338 0.001151 0.00005577 1 1 0.002632 0.03459 0.2703 0.002793 0.03671 0.2869 json
t20_x24_u0_b83 20 24 0 83 add(P,eql(lrg(R,R),P)) 164423 163381727 o2(x,o2(o2(x,x),x)) true 23791 23791 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_x24_u0_b84 20 24 0 84 add(P,eql(eql(R,R),P)) 164424 163381728 o2(x,o2(o2(x,x),x)) true 23799 23799 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_x24_u0_b85 20 24 0 85 add(P,eql(min(R,R),P)) 164425 163381729 o2(x,o2(o2(x,x),x)) true 23807 23807 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_x24_u0_b86 20 24 0 86 add(P,eql(dot(R,R),P)) 164426 163381730 o2(x,o2(o2(x,x),x)) true 23815 23815 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_x24_u0_b87 20 24 0 87 add(P,eql(dst(R,R),P)) 164427 163381731 o2(x,o2(o2(x,x),x)) true 23823 23823 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_x24_u0_b88 20 24 0 88 add(P,min(add(R,R),P)) 164428 163381732 o2(x,o2(o2(x,x),x)) true 23831 23831 -0.05258 0.4752 0.9589 0.9453 0.9723 -1 1 2 1 1.649 0.001698 0.0004696 0.01067 0.5667 1 -0.00003424 0.0005288 0.004383 0.002054 0.04532 4.249 0.416 0.002293 0.0005593 1 1 0.005009 0.05227 0.2914 0.005299 0.05529 0.3083 json
t20_x24_u0_b89 20 24 0 89 add(P,min(sub(R,R),P)) 164429 163381733 o2(x,o2(o2(x,x),x)) true 23839 23839 -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_x24_u0_b90 20 24 0 90 add(P,min(mlt(R,R),P)) 164430 163381734 o2(x,o2(o2(x,x),x)) true 23847 23847 -0.004567 0.5 0.9524 0.9436 0.9714 -1 1 2 1 1.573 0.001157 0.000004567 0.007967 0.9921 1 -1.687e-7 0.0002187 0.003078 0.001099 0.03315 4.161 0.2265 0.001231 0.0002318 1 1 0.002883 0.03067 0.2599 0.003055 0.03251 0.2754 json
t20_x24_u0_b91 20 24 0 91 add(P,min(div(R,R),P)) 164431 163381735 o2(x,o2(o2(x,x),x)) true 23855 23855 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_x24_u0_b92 20 24 0 92 add(P,min(pow(R,R),P)) 164432 163381736 o2(x,o2(o2(x,x),x)) true 23863 23863 -0.0005477 0.5 0.9564 0.9487 0.974 -1 1 2 1 1.507 0.001293 2.856e-7 0.007938 0.9996 1 1.51e-7 0.0002816 0.003502 0.001231 0.03509 4.42 0.2265 0.001364 0.0002968 1 1 0.003245 0.03251 0.2678 0.003421 0.03427 0.2822 json
t20_x24_u0_b93 20 24 0 93 add(P,min(mod(R,R),P)) 164433 163381737 o2(x,o2(o2(x,x),x)) true 23871 23871 -0.02551 0.4877 0.9512 0.9373 0.9681 -1 1 2 1 1.709 0.00106 0.00009302 0.008626 0.8387 1 -0.000008362 0.0001896 0.002961 0.00108 0.03286 3.809 0.2488 0.00123 0.0002022 1 1 0.002935 0.03388 0.2633 0.003132 0.03615 0.281 json
t20_x24_u0_b94 20 24 0 94 add(P,min(lrg(R,R),P)) 164434 163381738 o2(x,o2(o2(x,x),x)) true 23879 23879 -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_x24_u0_b95 20 24 0 95 add(P,min(eql(R,R),P)) 164435 163381739 o2(x,o2(o2(x,x),x)) true 23887 23887 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_x24_u0_b96 20 24 0 96 add(P,min(min(R,R),P)) 164436 163381740 o2(x,o2(o2(x,x),x)) true 23895 23895 -0.03068 0.4833 0.957 0.9435 0.9714 -1 1 2 1 1.692 0.001208 0.0001388 0.008884 0.7938 1 -0.00001833 0.0002644 0.003305 0.001267 0.0356 4.007 0.312 0.001427 0.0002803 1 1 0.003263 0.03603 0.2678 0.003458 0.03819 0.2839 json
t20_x24_u0_b97 20 24 0 97 add(P,min(dot(R,R),P)) 164437 163381741 o2(x,o2(o2(x,x),x)) true 23903 23903 -0.0008698 0.5 0.9561 0.9483 0.9738 -1 1 2 1 1.518 0.00128 0.000001054 0.007943 0.9984 1 -6.866e-8 0.0002706 0.00347 0.001218 0.0349 4.394 0.2265 0.001351 0.0002854 1 1 0.003209 0.03235 0.267 0.003384 0.03411 0.2816 json
t20_x24_u0_b98 20 24 0 98 add(P,min(dst(R,R),P)) 164438 163381742 o2(x,o2(o2(x,x),x)) true 23911 23911 -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_x24_u0_b99 20 24 0 99 add(P,dot(add(R,R),P)) 164439 163381743 o2(x,o2(o2(x,x),x)) true 23919 23919 -0.07575 0.4635 0.9424 0.918 0.9581 -1 1 2 1 1.901 0.03116 0.04299 0.08089 -0.1596 1 -0.00003629 0.1002 0.09016 0.06763 0.2601 3.215 2.5 0.08077 0.1092 1 1 0.0937 0.5518 1.285 0.1021 0.6011 1.4 json
t20_x24_u0_b100 20 24 0 100 add(P,dot(sub(R,R),P)) 164440 163381744 o2(x,o2(o2(x,x),x)) true 23927 23927 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_x24_u0_b101 20 24 0 101 add(P,dot(mlt(R,R),P)) 164441 163381745 o2(x,o2(o2(x,x),x)) true 23935 23935 -0.01207 0.4969 0.9509 0.9371 0.968 -1 1 2 1 1.733 0.002687 0.001936 0.0167 0.1624 1 -0.00002134 0.001666 0.007556 0.004341 0.06589 3.947 0.9226 0.004933 0.001778 1 1 0.007698 0.07914 0.378 0.008215 0.08446 0.4034 json
t20_x24_u0_b102 20 24 0 102 add(P,dot(div(R,R),P)) 164442 163381746 o2(x,o2(o2(x,x),x)) true 23943 23943 -1.071e-8 0.5 0.9688 0.9594 0.9795 -1 1 2 1 1.531 0.001366 0.0003547 0.009634 0.5878 1 6.195e-11 0.0003278 0.003308 0.001628 0.04034 4.188 0.2614 0.001794 0.0003416 1 1 0.004392 0.0509 0.3961 0.004578 0.05305 0.4129 json
t20_x24_u0_b103 20 24 0 103 add(P,dot(pow(R,R),P)) 164443 163381747 o2(x,o2(o2(x,x),x)) true 23951 23951 -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_x24_u0_b104 20 24 0 104 add(P,dot(mod(R,R),P)) 164444 163381748 o2(x,o2(o2(x,x),x)) true 23959 23959 -0.005812 0.4989 0.949 0.9349 0.9669 -1 1 2 1 1.768 0.002961 0.002486 0.01691 0.08723 1 -0.00002617 0.002924 0.009612 0.005162 0.07185 4.247 1.088 0.005825 0.003128 1 1 0.006191 0.05697 0.3288 0.006623 0.06094 0.3517 json
t20_x24_u0_b105 20 24 0 105 add(P,dot(lrg(R,R),P)) 164445 163381749 o2(x,o2(o2(x,x),x)) true 23967 23967 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_x24_u0_b106 20 24 0 106 add(P,dot(eql(R,R),P)) 164446 163381750 o2(x,o2(o2(x,x),x)) true 23975 23975 -1.071e-8 0.5 0.9688 0.9594 0.9795 -1 1 2 1 1.531 0.001366 0.0003547 0.009634 0.5878 1 0 0.0003278 0.003308 0.001628 0.04034 4.188 0.2614 0.001794 0.0003416 1 1 0.004392 0.0509 0.3961 0.004578 0.05305 0.4129 json
t20_x24_u0_b107 20 24 0 107 add(P,dot(min(R,R),P)) 164447 163381751 o2(x,o2(o2(x,x),x)) true 23983 23983 -0.02508 0.4888 0.9283 0.9035 0.9505 -1 1 2 1 2.103 0.01265 0.01563 0.05221 -0.1053 1 -0.0001246 0.02248 0.03892 0.02555 0.1598 3.061 1.84 0.03129 0.02488 1 1 0.04156 0.3309 0.7662 0.046 0.3662 0.8481 json
t20_x24_u0_b108 20 24 0 108 add(P,dot(dot(R,R),P)) 164448 163381752 o2(x,o2(o2(x,x),x)) true 23991 23991 0.006146 0.504 0.9615 0.949 0.9742 -1 1 2 1 1.629 0.002043 0.0015 0.01363 0.1534 1 -0.0000231 0.001242 0.006404 0.003356 0.05793 4.251 0.6205 0.003734 0.001309 1 1 0.006485 0.06503 0.3852 0.006834 0.06853 0.4059 json
t20_x24_u0_b109 20 24 0 109 add(P,dot(dst(R,R),P)) 164449 163381753 o2(x,o2(o2(x,x),x)) true 23999 23999 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_x24_u0_b110 20 24 0 110 add(P,dst(add(R,R),P)) 164450 163381754 o2(x,o2(o2(x,x),x)) true 24007 24007 0.8973 0.9593 0.9417 0.1166 0.3415 -1 1 2 1 1.11 0.001154 0.00172 0.01515 -0.1972 1 -0.00001627 0.0006698 0.005935 0.002644 0.05142 3.394 0.4828 0.02464 0.005744 1 1 0.005386 0.05489 0.1521 0.04619 0.4707 1.304 json
t20_x24_u0_b111 20 24 0 111 add(P,dst(sub(R,R),P)) 164451 163381755 o2(x,o2(o2(x,x),x)) true 24015 24015 0.885 0.9968 0.885 0.07625 0.2761 0.00001812 1 1 1 1.305 0.00005943 0.0001798 0.004703 -0.5033 1 -0.000002319 0.00003737 0.001341 0.0002171 0.01473 3.133 0.2282 0.003138 0.0004901 1 1 0.0007094 0.0084 0.06467 0.009305 0.1102 0.8481 json
t20_x24_u0_b112 20 24 0 112 add(P,dst(mlt(R,R),P)) 164452 163381756 o2(x,o2(o2(x,x),x)) true 24023 24023 0.9291 1 0.9291 0.04174 0.2043 0.01243 1 0.9876 1 1.099 0.00007819 0.0002072 0.005133 -0.4521 1 -0.00000797 0.00003807 0.001524 0.0002592 0.0161 3.137 0.146 0.006838 0.0009121 1 1 0.0006223 0.007573 0.04411 0.01491 0.1815 1.057 json
t20_x24_u0_b113 20 24 0 113 add(P,dst(div(R,R),P)) 164453 163381757 o2(x,o2(o2(x,x),x)) true 24031 24031 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t20_x24_u0_b114 20 24 0 114 add(P,dst(pow(R,R),P)) 164454 163381758 o2(x,o2(o2(x,x),x)) true 24039 24039 -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_x24_u0_b115 20 24 0 115 add(P,dst(mod(R,R),P)) 164455 163381759 o2(x,o2(o2(x,x),x)) true 24047 24047 0.8807 0.9803 0.886 0.08374 0.2894 -0.456 1 1.456 1 1.374 0.0001087 0.0002341 0.005883 -0.366 1 -0.000003998 0.00004846 0.001641 0.0003081 0.01755 2.984 0.2265 0.004094 0.0005787 1 1 0.0009805 0.01168 0.0764 0.01171 0.1395 0.9123 json
t20_x24_u0_b116 20 24 0 116 add(P,dst(lrg(R,R),P)) 164456 163381760 o2(x,o2(o2(x,x),x)) true 24055 24055 0.885 0.9968 0.885 0.07625 0.2761 0.00001812 1 1 1 1.305 0.00005943 0.0001798 0.004703 -0.5033 1 -0.000002319 0.00003737 0.001341 0.0002171 0.01473 3.133 0.2282 0.003138 0.0004901 1 1 0.0007094 0.0084 0.06467 0.009305 0.1102 0.8481 json
t20_x24_u0_b117 20 24 0 117 add(P,dst(eql(R,R),P)) 164457 163381761 o2(x,o2(o2(x,x),x)) true 24063 24063 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t20_x24_u0_b118 20 24 0 118 add(P,dst(min(R,R),P)) 164458 163381762 o2(x,o2(o2(x,x),x)) true 24071 24071 0.8922 0.9664 0.9083 0.08564 0.2927 -0.6857 1 1.686 1 1.282 0.00041 0.0006738 0.01047 -0.2433 1 -0.00001002 0.0001625 0.003162 0.0009745 0.03122 2.982 0.2569 0.01266 0.001897 1 1 0.0023 0.02622 0.0952 0.02685 0.3061 1.112 json
t20_x24_u0_b119 20 24 0 119 add(P,dst(dot(R,R),P)) 164459 163381763 o2(x,o2(o2(x,x),x)) true 24079 24079 0.9791 1 0.9791 0.01055 0.1027 0.06888 1 0.9311 1 0.4926 0.00007553 0.0002754 0.003693 -0.5696 1 -0.000005552 0.0001037 0.001665 0.0003372 0.01836 4.972 0.227 0.03327 0.009828 1 1 0.0009149 0.008783 0.01819 0.08673 0.8325 1.724 json
t20_x24_u0_b120 20 24 0 120 add(P,dst(dst(R,R),P)) 164460 163381764 o2(x,o2(o2(x,x),x)) true 24087 24087 0.885 0.9968 0.885 0.07625 0.2761 0.00001812 1 1 1 1.305 0.00005943 0.0001798 0.004703 -0.5033 1 -0.000002319 0.00003737 0.001341 0.0002171 0.01473 3.133 0.2282 0.003138 0.0004901 1 1 0.0007094 0.0084 0.06467 0.009305 0.1102 0.8481 json
t20_x24_u0_b121 20 24 0 121 sub(P,add(add(R,R),P)) 164461 163381765 o2(x,o2(o2(x,x),x)) true 24095 24095 -0.01372 0.5016 0.659 0.5457 0.7387 -1 1 2 1 4.408 0.008726 0.009756 0.09338 -0.05568 1 -0.00002908 0.003164 0.02873 0.009763 0.09881 1.058 0.4602 0.03387 0.005798 1 1 0.03624 0.4079 0.9797 0.06641 0.7475 1.795 json
t20_x24_u0_b122 20 24 0 122 sub(P,add(sub(R,R),P)) 164462 163381766 o2(x,o2(o2(x,x),x)) true 24103 24103 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_x24_u0_b123 20 24 0 123 sub(P,add(mlt(R,R),P)) 164463 163381767 o2(x,o2(o2(x,x),x)) true 24111 24111 -0.3495 0 0.3495 0.05762 0.24 -0.9979 -0.00007734 0.9979 1 3.768 0.0007428 0.0008028 0.03156 -0.03877 1 -1.609e-7 0.00009378 0.007378 0.0005496 0.02344 0.7428 0.1117 0.02682 0.001628 1 1 0.002725 0.03526 0.107 0.0473 0.6119 1.856 json
t20_x24_u0_b124 20 24 0 124 sub(P,add(div(R,R),P)) 164464 163381768 o2(x,o2(o2(x,x),x)) true 24119 24119 -1 0 1 2.515e-16 1.586e-8 -1 -1 1.192e-7 1 0 2.104e-17 1.432e-17 5.877e-10 0.000006713 0 -1.652e-9 4.189e-16 1.757e-9 3.502e-17 5.917e-9 10.07 8.429e-8 0.00003536 0.0004189 0 1 5.275e-17 2.26e-16 6.432e-16 0.00005275 0.000226 0.0006432 json
t20_x24_u0_b125 20 24 0 125 sub(P,add(pow(R,R),P)) 164465 163381769 o2(x,o2(o2(x,x),x)) true 24127 24127 -0.9906 0 0.9906 0.00214 0.04626 -1 -0.6923 0.3077 1 0.3286 0.0002397 0.0002274 0.002268 0.0264 1 -0.000003032 0.0009679 0.003807 0.0004621 0.0215 9.48 0.4352 0.2182 0.4523 1 1 0.0003564 0.00151 0.003582 0.1666 0.7055 1.674 json
t20_x24_u0_b126 20 24 0 126 sub(P,add(mod(R,R),P)) 164466 163381770 o2(x,o2(o2(x,x),x)) true 24135 24135 0.01621 0.3021 0.09644 0.04024 0.2006 -0.9558 0.9675 1.923 1 2.684 0.0006146 0.0005535 0.01871 0.05227 1 0.0000106 0.00006938 0.004372 0.0008183 0.02861 1.529 0.2163 0.02903 0.001724 1 1 0.002918 0.03769 0.09805 0.0725 0.9366 2.436 json
t20_x24_u0_b127 20 24 0 127 sub(P,add(lrg(R,R),P)) 164467 163381771 o2(x,o2(o2(x,x),x)) true 24143 24143 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_x24_u0_b128 20 24 0 128 sub(P,add(eql(R,R),P)) 164468 163381772 o2(x,o2(o2(x,x),x)) true 24151 24151 -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_x24_u0_b129 20 24 0 129 sub(P,add(min(R,R),P)) 164469 163381773 o2(x,o2(o2(x,x),x)) true 24159 24159 -0.008979 0.5015 0.3946 0.2196 0.4686 -0.9806 0.9989 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 -0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x24_u0_b130 20 24 0 130 sub(P,add(dot(R,R),P)) 164470 163381774 o2(x,o2(o2(x,x),x)) true 24167 24167 -0.8438 0 0.8438 0.04935 0.2222 -1 -0.0102 0.9898 1 2.51 0.0008588 0.001103 0.02548 -0.1246 1 0.00003928 0.0004481 0.009809 0.001312 0.03623 1.422 0.2044 0.03976 0.009079 1 1 0.003389 0.03587 0.07892 0.06866 0.7269 1.599 json
t20_x24_u0_b131 20 24 0 131 sub(P,add(dst(R,R),P)) 164471 163381775 o2(x,o2(o2(x,x),x)) true 24175 24175 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_x24_u0_b132 20 24 0 132 sub(P,sub(add(R,R),P)) 164472 163381776 o2(x,o2(o2(x,x),x)) true 24183 24183 0.001383 0.5032 0.9735 0.9632 0.9815 -1 1 2 1 1.536 0.002301 0.0007009 0.01154 0.5331 1 0.00003167 0.0008679 0.005183 0.002869 0.05356 4.64 0.6458 0.003117 0.0009011 1 1 0.007622 0.07597 0.368 0.007913 0.07887 0.382 json
t20_x24_u0_b133 20 24 0 133 sub(P,sub(sub(R,R),P)) 164473 163381777 o2(x,o2(o2(x,x),x)) true 24191 24191 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_x24_u0_b134 20 24 0 134 sub(P,sub(mlt(R,R),P)) 164474 163381778 o2(x,o2(o2(x,x),x)) true 24199 24199 -0.02413 0.4806 0.9656 0.9547 0.9771 -1 1 2 1 1.553 0.001376 0.00004157 0.008268 0.9413 1 -0.000001504 0.0003075 0.003295 0.001349 0.03673 4.443 0.3256 0.001485 0.0003221 1 1 0.003626 0.0383 0.2776 0.003798 0.04012 0.2908 json
t20_x24_u0_b135 20 24 0 135 sub(P,sub(div(R,R),P)) 164475 163381779 o2(x,o2(o2(x,x),x)) true 24207 24207 -0.0625 0.4688 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 5.93e-18 0.007937 1 1 8.048e-10 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_x24_u0_b136 20 24 0 136 sub(P,sub(pow(R,R),P)) 164476 163381780 o2(x,o2(o2(x,x),x)) true 24215 24215 -0.9873 0.006104 0.9984 0.02285 0.1512 -1 1 2 1 0.09605 0.002099 0.002716 0.002976 -0.1281 1 -1.201e-10 0.009998 0.005186 0.004807 0.06933 23.29 2.828 0.2107 0.4376 1 1 0.0004229 0.002954 0.02 0.01851 0.1293 0.8753 json
t20_x24_u0_b137 20 24 0 137 sub(P,sub(mod(R,R),P)) 164477 163381781 o2(x,o2(o2(x,x),x)) true 24223 24223 0.007331 0.5053 0.9649 0.9554 0.9775 -1 1 2 1 1.544 0.001489 0.00008484 0.008462 0.8922 1 0.000002098 0.0003643 0.003621 0.001502 0.03875 4.58 0.4362 0.001648 0.0003813 1 1 0.004124 0.04223 0.2899 0.004316 0.0442 0.3034 json
t20_x24_u0_b138 20 24 0 138 sub(P,sub(lrg(R,R),P)) 164478 163381782 o2(x,o2(o2(x,x),x)) true 24231 24231 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_x24_u0_b139 20 24 0 139 sub(P,sub(eql(R,R),P)) 164479 163381783 o2(x,o2(o2(x,x),x)) true 24239 24239 -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_x24_u0_b140 20 24 0 140 sub(P,sub(min(R,R),P)) 164480 163381784 o2(x,o2(o2(x,x),x)) true 24247 24247 0.004943 0.5032 0.9704 0.9591 0.9793 -1 1 2 1 1.558 0.001572 0.0001649 0.008819 0.8102 1 0.00000868 0.0003768 0.003457 0.001658 0.04072 4.618 0.4362 0.001811 0.0003929 1 1 0.004468 0.04707 0.3072 0.004659 0.04907 0.3203 json
t20_x24_u0_b141 20 24 0 141 sub(P,sub(dot(R,R),P)) 164481 163381785 o2(x,o2(o2(x,x),x)) true 24255 24255 -0.06536 0.4677 0.9688 0.9537 0.9766 -1 1 2 1 1.569 0.001457 0.0001426 0.008794 0.8217 1 0.000002795 0.0003347 0.003353 0.001522 0.03901 4.437 0.4169 0.001678 0.0003509 1 1 0.003988 0.04514 0.2927 0.004182 0.04733 0.3069 json
t20_x24_u0_b142 20 24 0 142 sub(P,sub(dst(R,R),P)) 164482 163381786 o2(x,o2(o2(x,x),x)) true 24263 24263 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_x24_u0_b143 20 24 0 143 sub(P,mlt(add(R,R),P)) 164483 163381787 o2(x,o2(o2(x,x),x)) true 24271 24271 0.02828 0.5097 0.8529 0.8169 0.9038 -1 1 2 1 2.65 0.02121 0.02333 0.07243 -0.04754 1 0.00001526 0.04326 0.0586 0.03928 0.1982 2.736 2.013 0.05452 0.05296 1 1 0.05944 0.4129 0.9504 0.07276 0.5054 1.163 json
t20_x24_u0_b144 20 24 0 144 sub(P,mlt(sub(R,R),P)) 164484 163381788 o2(x,o2(o2(x,x),x)) true 24279 24279 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_x24_u0_b145 20 24 0 145 sub(P,mlt(mlt(R,R),P)) 164485 163381789 o2(x,o2(o2(x,x),x)) true 24287 24287 0.007845 0.4993 0.8716 0.8344 0.9135 -1 1 2 1 2.655 0.0009889 0.0006047 0.01574 0.2411 1 -0.00001158 0.0005473 0.006921 0.001345 0.03668 2.33 0.3382 0.00191 0.0006559 1 1 0.003507 0.03612 0.2047 0.004203 0.04328 0.2453 json
t20_x24_u0_b146 20 24 0 146 sub(P,mlt(div(R,R),P)) 164486 163381790 o2(x,o2(o2(x,x),x)) true 24295 24295 -1.141e-8 0 4.816e-8 1.119e-14 1.058e-7 -9.531e-7 4.767e-7 0.00000143 1 0.6905 1.411e-16 1.281e-16 8.5e-9 0.00001293 0 1.79e-12 1.599e-17 2.043e-9 1.969e-16 1.403e-8 1.651 1.623e-7 0.0002692 0.00001599 0 1 2.149e-16 2.778e-15 1.019e-14 0.0002149 0.002778 0.01019 json
t20_x24_u0_b147 20 24 0 147 sub(P,mlt(pow(R,R),P)) 164487 163381791 o2(x,o2(o2(x,x),x)) true 24303 24303 -0.9769 0.007568 0.9851 0.02715 0.1648 -1 1 2 1 0.2833 0.002167 0.00318 0.005207 -0.1896 1 0.000002468 0.01112 0.009286 0.005321 0.07295 14.01 2.002 0.197 0.4096 1 1 0.002085 0.009909 0.03511 0.07679 0.365 1.293 json
t20_x24_u0_b148 20 24 0 148 sub(P,mlt(mod(R,R),P)) 164488 163381792 o2(x,o2(o2(x,x),x)) true 24311 24311 0.002083 0.4999 0.925 0.9078 0.9528 -1 1 2 1 1.976 0.0007598 0.0001232 0.00924 0.721 1 -0.0000109 0.0001246 0.002761 0.0007972 0.02824 3.056 0.2323 0.0009726 0.0001373 1 1 0.002278 0.02732 0.2266 0.002509 0.0301 0.2496 json
t20_x24_u0_b149 20 24 0 149 sub(P,mlt(lrg(R,R),P)) 164489 163381793 o2(x,o2(o2(x,x),x)) true 24319 24319 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_x24_u0_b150 20 24 0 150 sub(P,mlt(eql(R,R),P)) 164490 163381794 o2(x,o2(o2(x,x),x)) true 24327 24327 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_x24_u0_b151 20 24 0 151 sub(P,mlt(min(R,R),P)) 164491 163381795 o2(x,o2(o2(x,x),x)) true 24335 24335 0.001257 0.4988 0.8903 0.8635 0.9293 -1 1 2 1 2.333 0.001259 0.0008081 0.0155 0.2182 1 -0.00003944 0.0009094 0.008003 0.001826 0.04273 2.758 0.4854 0.002394 0.001053 1 1 0.004487 0.04088 0.2233 0.005197 0.04734 0.2586 json
t20_x24_u0_b152 20 24 0 152 sub(P,mlt(dot(R,R),P)) 164492 163381796 o2(x,o2(o2(x,x),x)) true 24343 24343 -0.01289 0.4975 0.6779 0.59 0.7681 -1 1 2 1 4.024 0.01235 0.01599 0.08488 -0.1286 1 0.000008826 0.0136 0.04142 0.02114 0.1454 1.713 1.658 0.04804 0.02305 1 1 0.03458 0.3331 0.9108 0.05861 0.5646 1.544 json
t20_x24_u0_b153 20 24 0 153 sub(P,mlt(dst(R,R),P)) 164493 163381797 o2(x,o2(o2(x,x),x)) true 24351 24351 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_x24_u0_b154 20 24 0 154 sub(P,div(add(R,R),P)) 164494 163381798 o2(x,o2(o2(x,x),x)) true 24359 24359 -0.1278 0.4356 0.9803 0.9581 0.9788 -1 1 2 1 1.341 0.01236 0.0004464 0.01413 0.9303 1 -1.126e-10 0.02311 0.01757 0.0126 0.1123 7.946 2 0.01337 0.02412 1 1 0.01866 0.0932 0.3636 0.01948 0.09728 0.3795 json
t20_x24_u0_b155 20 24 0 155 sub(P,div(sub(R,R),P)) 164495 163381799 o2(x,o2(o2(x,x),x)) true 24367 24367 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_x24_u0_b156 20 24 0 156 sub(P,div(mlt(R,R),P)) 164496 163381800 o2(x,o2(o2(x,x),x)) true 24375 24375 -0.1256 0.4375 0.986 0.9629 0.9813 -1 1 2 1 1.355 0.01164 0.00003624 0.01105 0.9938 1 2.849e-7 0.02272 0.01717 0.01156 0.1075 9.733 2 0.01213 0.02359 1 1 0.01663 0.07637 0.3316 0.01727 0.07931 0.3444 json
t20_x24_u0_b157 20 24 0 157 sub(P,div(div(R,R),P)) 164497 163381801 o2(x,o2(o2(x,x),x)) true 24383 24383 -0.125 0.4375 0.9508 0.9262 0.9624 -1 1 2 1 1.541 0.009062 1.731e-18 0.01587 1 1 3.754e-12 0.01612 0.01857 0.008808 0.09385 5.914 1 0.009784 0.0174 1 1 0.01335 0.0721 0.3247 0.01441 0.07785 0.3506 json
t20_x24_u0_b158 20 24 0 158 sub(P,div(pow(R,R),P)) 164498 163381802 o2(x,o2(o2(x,x),x)) true 24391 24391 -0.9899 0.003906 0.9977 0.01705 0.1306 -1 1 2 1 0.08772 0.001388 0.001837 0.002314 -0.1393 1 -3.004e-11 0.006652 0.003997 0.003217 0.05672 24.51 2 0.1891 0.3901 1 1 0.0008709 0.003343 0.01883 0.05107 0.196 1.104 json
t20_x24_u0_b159 20 24 0 159 sub(P,div(mod(R,R),P)) 164499 163381803 o2(x,o2(o2(x,x),x)) true 24399 24399 -0.1236 0.4375 0.9956 0.978 0.989 -1 1 2 1 1.125 0.01505 0.00002701 0.009389 0.9964 1 -4.616e-7 0.02992 0.017 0.01498 0.1224 13.03 2 0.01541 0.03059 1 1 0.0204 0.08407 0.3386 0.02086 0.08596 0.3462 json