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
- leaves:
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.
#Akept 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-256b6fc8f27…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 oninputs.expr), the formula (grad-noise-175k.manifest.json) and the frames (png/)
| 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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t12_x0_u6_b86 | 12 | 0 | 6 | 86 | ![]() |
nrm(eql(P,dot(P,P))) | 20000 | 97448504 | o1(o2(x,o2(x,x))) | true | 160007 | 160007 | -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 |
| t12_x0_u6_b87 | 12 | 0 | 6 | 87 | ![]() |
nrm(eql(P,dst(P,P))) | 20001 | 97448505 | o1(o2(x,o2(x,x))) | true | 160015 | 160015 | 0.04369 | 0.125 | 0.04369 | 0.02206 | 0.1485 | 0 | 0.7069 | 0.7069 | 1 | 0.7586 | 0.0003453 | 5.912e-7 | 0.005561 | 0.9966 | 1 | 2.138e-9 | 0.0000159 | 0.001297 | 0.0003148 | 0.01774 | 3.19 | 0.08265 | 0.01568 | 0.0007207 | 1 | 1 | 0 | 0 | 0.000901 | 0 | 0 | 0.04083 | json |
| t12_x0_u6_b88 | 12 | 0 | 6 | 88 | ![]() |
nrm(min(P,add(P,P))) | 20002 | 97448506 | o1(o2(x,o2(x,x))) | true | 160023 | 160023 | -0.09104 | 0.4893 | 0.6436 | 0.4965 | 0.7046 | -1 | 1 | 2 | 1 | 4.691 | 0.001756 | 0.001131 | 0.01018 | 0.2166 | 1 | 0.000001523 | 0.005635 | 0.005514 | 0.002784 | 0.05276 | 5.183 | 2.414 | 0.005815 | 0.01135 | 1 | 1 | 0 | 0 | 0.005272 | 0 | 0 | 0.01062 | json |
| t12_x0_u6_b89 | 12 | 0 | 6 | 89 | ![]() |
nrm(min(P,sub(P,P))) | 20003 | 97448507 | o1(o2(x,o2(x,x))) | true | 160031 | 160031 | -0.6939 | 0 | 0.6939 | 0.1761 | 0.4196 | -1 | 0 | 1 | 1 | 2.167 | 0.00003572 | 0.002116 | 0.00427 | -0.9668 | 1 | 6.585e-7 | 0.004237 | 0.004798 | 0.002132 | 0.04617 | 10.81 | 1 | 0.01222 | 0.02406 | 1 | 1 | 0 | 0 | 0.002971 | 0 | 0 | 0.01687 | json |
| t12_x0_u6_b90 | 12 | 0 | 6 | 90 | ![]() |
nrm(min(P,mlt(P,P))) | 20004 | 97448508 | o1(o2(x,o2(x,x))) | true | 160039 | 160039 | -0.01562 | 0.4896 | 0.6504 | 0.5048 | 0.7105 | -1 | 1 | 2 | 1 | 4.761 | 0.001863 | 0.00124 | 0.0104 | 0.2009 | 1 | 3.065e-10 | 0.00612 | 0.00575 | 0.002995 | 0.05473 | 5.261 | 2.414 | 0.006147 | 0.01212 | 1 | 1 | 0 | 0 | 0.005637 | 0 | 0 | 0.01117 | json |
| t12_x0_u6_b91 | 12 | 0 | 6 | 91 | ![]() |
nrm(min(P,div(P,P))) | 20005 | 97448509 | o1(o2(x,o2(x,x))) | true | 160047 | 160047 | -0.1436 | 0.4909 | 0.6396 | 0.4825 | 0.6946 | -1 | 0.9999 | 2 | 1 | 3.941 | 0.001957 | 0.001257 | 0.009659 | 0.2179 | 1 | -1.683e-7 | 0.006127 | 0.005744 | 0.003121 | 0.05586 | 5.783 | 2.414 | 0.006662 | 0.0127 | 1 | 1 | 0 | 0 | 0.005874 | 0 | 0 | 0.01217 | json |
| t12_x0_u6_b92 | 12 | 0 | 6 | 92 | ![]() |
nrm(min(P,pow(P,P))) | 20006 | 97448510 | o1(o2(x,o2(x,x))) | true | 160055 | 160055 | -0.01562 | 0.4896 | 0.6504 | 0.5048 | 0.7105 | -1 | 1 | 2 | 1 | 4.761 | 0.001863 | 0.00124 | 0.0104 | 0.2009 | 1 | 3.065e-10 | 0.00612 | 0.00575 | 0.002995 | 0.05473 | 5.261 | 2.414 | 0.006147 | 0.01212 | 1 | 1 | 0 | 0 | 0.005637 | 0 | 0 | 0.01117 | json |
| t12_x0_u6_b93 | 12 | 0 | 6 | 93 | ![]() |
nrm(min(P,mod(P,P))) | 20007 | 97448511 | o1(o2(x,o2(x,x))) | true | 160063 | 160063 | -0.498 | 0.1875 | 0.6936 | 0.3672 | 0.606 | -1 | 1 | 2 | 1 | 3.55 | 0.01575 | 0.00862 | 0.0256 | 0.2927 | 1 | -0.00005551 | 0.04844 | 0.03239 | 0.02372 | 0.154 | 6.015 | 2.414 | 0.06638 | 0.1319 | 1 | 1 | 0 | 0 | 0.01364 | 0 | 0 | 0.03713 | json |
| t12_x0_u6_b94 | 12 | 0 | 6 | 94 | ![]() |
nrm(min(P,lrg(P,P))) | 20008 | 97448512 | o1(o2(x,o2(x,x))) | true | 160071 | 160071 | -0.6939 | 0 | 0.6939 | 0.1761 | 0.4196 | -1 | 0 | 1 | 1 | 2.167 | 0.00003572 | 0.002116 | 0.00427 | -0.9668 | 1 | 6.585e-7 | 0.004237 | 0.004798 | 0.002132 | 0.04617 | 10.81 | 1 | 0.01222 | 0.02406 | 1 | 1 | 0 | 0 | 0.002971 | 0 | 0 | 0.01687 | json |
| t12_x0_u6_b95 | 12 | 0 | 6 | 95 | ![]() |
nrm(min(P,eql(P,P))) | 20009 | 97448513 | o1(o2(x,o2(x,x))) | true | 160079 | 160079 | -0.1436 | 0.4909 | 0.6396 | 0.4825 | 0.6946 | -1 | 0.9999 | 2 | 1 | 3.941 | 0.001957 | 0.001257 | 0.009659 | 0.2179 | 1 | -1.675e-7 | 0.006127 | 0.005744 | 0.003121 | 0.05586 | 5.783 | 2.414 | 0.006662 | 0.0127 | 1 | 1 | 0 | 0 | 0.005874 | 0 | 0 | 0.01217 | json |
| t12_x0_u6_b96 | 12 | 0 | 6 | 96 | ![]() |
nrm(min(P,min(P,P))) | 20010 | 97448514 | o1(o2(x,o2(x,x))) | true | 160087 | 160087 | -0.01562 | 0.4896 | 0.6504 | 0.5048 | 0.7105 | -1 | 1 | 2 | 1 | 4.761 | 0.001863 | 0.00124 | 0.0104 | 0.2009 | 1 | 3.065e-10 | 0.00612 | 0.00575 | 0.002995 | 0.05473 | 5.261 | 2.414 | 0.006147 | 0.01212 | 1 | 1 | 0 | 0 | 0.005637 | 0 | 0 | 0.01117 | json |
| t12_x0_u6_b97 | 12 | 0 | 6 | 97 | ![]() |
nrm(min(P,dot(P,P))) | 20011 | 97448515 | o1(o2(x,o2(x,x))) | true | 160095 | 160095 | -0.01562 | 0.4896 | 0.6504 | 0.5048 | 0.7105 | -1 | 1 | 2 | 1 | 4.761 | 0.001863 | 0.00124 | 0.0104 | 0.2009 | 1 | 3.065e-10 | 0.00612 | 0.00575 | 0.002995 | 0.05473 | 5.261 | 2.414 | 0.006147 | 0.01212 | 1 | 1 | 0 | 0 | 0.005637 | 0 | 0 | 0.01117 | json |
| t12_x0_u6_b98 | 12 | 0 | 6 | 98 | ![]() |
nrm(min(P,dst(P,P))) | 20012 | 97448516 | o1(o2(x,o2(x,x))) | true | 160103 | 160103 | -0.6939 | 0 | 0.6939 | 0.1761 | 0.4196 | -1 | 0 | 1 | 1 | 2.167 | 0.00003572 | 0.002116 | 0.00427 | -0.9668 | 1 | 6.585e-7 | 0.004237 | 0.004798 | 0.002132 | 0.04617 | 10.81 | 1 | 0.01222 | 0.02406 | 1 | 1 | 0 | 0 | 0.002971 | 0 | 0 | 0.01687 | json |
| t12_x0_u6_b99 | 12 | 0 | 6 | 99 | ![]() |
nrm(dot(P,add(P,P))) | 20013 | 97448517 | o1(o2(x,o2(x,x))) | true | 160111 | 160111 | 0.5531 | 0.9844 | 0.5843 | 0.03822 | 0.1955 | -1 | 0.5774 | 1.577 | 1 | 0.1161 | 0.002507 | 0.002507 | 0.003165 | 0 | 1 | -5.256e-10 | 0.01034 | 0.006359 | 0.005001 | 0.07072 | 22.34 | 2.231 | 0.1312 | 0.2706 | 1 | 1 | 0 | 0 | 0.008822 | 0 | 0 | 0.2308 | json |
| t12_x0_u6_b100 | 12 | 0 | 6 | 100 | ![]() |
nrm(dot(P,sub(P,P))) | 20014 | 97448518 | o1(o2(x,o2(x,x))) | true | 160119 | 160119 | 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 |
| t12_x0_u6_b101 | 12 | 0 | 6 | 101 | ![]() |
nrm(dot(P,mlt(P,P))) | 20015 | 97448519 | o1(o2(x,o2(x,x))) | true | 160127 | 160127 | -0.1797 | 0.4102 | 0.6536 | 0.4207 | 0.6486 | -1 | 0.5774 | 1.577 | 1 | 1.5 | 0.009322 | 0.009322 | 0.01374 | -4.995e-8 | 1 | -2.266e-9 | 0.03956 | 0.02797 | 0.01846 | 0.1359 | 9.888 | 2.231 | 0.04431 | 0.09402 | 1 | 1 | 0 | 0 | 0.02459 | 0 | 0 | 0.05845 | json |
| t12_x0_u6_b102 | 12 | 0 | 6 | 102 | ![]() |
nrm(dot(P,div(P,P))) | 20016 | 97448520 | o1(o2(x,o2(x,x))) | true | 160135 | 160135 | -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 |
| t12_x0_u6_b103 | 12 | 0 | 6 | 103 | ![]() |
nrm(dot(P,pow(P,P))) | 20017 | 97448521 | o1(o2(x,o2(x,x))) | true | 160143 | 160143 | -0.6116 | 0.2461 | 0.8962 | 0.4616 | 0.6794 | -1 | 0.5774 | 1.577 | 1 | 0.805 | 0.004937 | 0.004937 | 0.006245 | 0 | 1 | -6.814e-10 | 0.01998 | 0.01252 | 0.009835 | 0.09917 | 15.88 | 2.231 | 0.02139 | 0.04329 | 1 | 1 | 0 | 0 | 0.01309 | 0 | 0 | 0.02837 | json |
| t12_x0_u6_b104 | 12 | 0 | 6 | 104 | ![]() |
nrm(dot(P,mod(P,P))) | 20018 | 97448522 | o1(o2(x,o2(x,x))) | true | 160151 | 160151 | -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 |
| t12_x0_u6_b105 | 12 | 0 | 6 | 105 | ![]() |
nrm(dot(P,lrg(P,P))) | 20019 | 97448523 | o1(o2(x,o2(x,x))) | true | 160159 | 160159 | -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 |
| t12_x0_u6_b106 | 12 | 0 | 6 | 106 | ![]() |
nrm(dot(P,eql(P,P))) | 20020 | 97448524 | o1(o2(x,o2(x,x))) | true | 160167 | 160167 | -0.1797 | 0.4102 | 0.6536 | 0.4207 | 0.6486 | -1 | 0.5774 | 1.577 | 1 | 1.5 | 0.009322 | 0.009322 | 0.01374 | -4.995e-8 | 1 | -2.318e-9 | 0.03956 | 0.02797 | 0.01846 | 0.1359 | 9.888 | 2.231 | 0.04431 | 0.09402 | 1 | 1 | 0 | 0 | 0.02459 | 0 | 0 | 0.05845 | json |
| t12_x0_u6_b107 | 12 | 0 | 6 | 107 | ![]() |
nrm(dot(P,min(P,P))) | 20021 | 97448525 | o1(o2(x,o2(x,x))) | true | 160175 | 160175 | 0.5531 | 0.9844 | 0.5843 | 0.03822 | 0.1955 | -1 | 0.5774 | 1.577 | 1 | 0.1161 | 0.002507 | 0.002507 | 0.003165 | 0 | 1 | -5.256e-10 | 0.01034 | 0.006359 | 0.005001 | 0.07072 | 22.34 | 2.231 | 0.1312 | 0.2706 | 1 | 1 | 0 | 0 | 0.008822 | 0 | 0 | 0.2308 | json |
| t12_x0_u6_b108 | 12 | 0 | 6 | 108 | ![]() |
nrm(dot(P,dot(P,P))) | 20022 | 97448526 | o1(o2(x,o2(x,x))) | true | 160183 | 160183 | -0.1797 | 0.4102 | 0.6536 | 0.4207 | 0.6486 | -1 | 0.5774 | 1.577 | 1 | 1.5 | 0.009322 | 0.009322 | 0.01374 | -4.995e-8 | 1 | -2.172e-9 | 0.03956 | 0.02797 | 0.01846 | 0.1359 | 9.888 | 2.231 | 0.04431 | 0.09402 | 1 | 1 | 0 | 0 | 0.02459 | 0 | 0 | 0.05845 | json |
| t12_x0_u6_b109 | 12 | 0 | 6 | 109 | ![]() |
nrm(dot(P,dst(P,P))) | 20023 | 97448527 | o1(o2(x,o2(x,x))) | true | 160191 | 160191 | 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 |
| t12_x0_u6_b110 | 12 | 0 | 6 | 110 | ![]() |
nrm(dst(P,add(P,P))) | 20024 | 97448528 | o1(o2(x,o2(x,x))) | true | 160199 | 160199 | 0.5531 | 0.9844 | 0.5843 | 0.03822 | 0.1955 | -1 | 0.5774 | 1.577 | 1 | 0.1161 | 0.002507 | 0.002507 | 0.003165 | 0 | 1 | -8.222e-10 | 0.01034 | 0.006359 | 0.005001 | 0.07072 | 22.34 | 2.231 | 0.1312 | 0.2706 | 1 | 1 | 0 | 0 | 0.008822 | 0 | 0 | 0.2308 | json |
| t12_x0_u6_b111 | 12 | 0 | 6 | 111 | ![]() |
nrm(dst(P,sub(P,P))) | 20025 | 97448529 | o1(o2(x,o2(x,x))) | true | 160207 | 160207 | 0.5531 | 0.9844 | 0.5843 | 0.03822 | 0.1955 | -1 | 0.5774 | 1.577 | 1 | 0.1161 | 0.002507 | 0.002507 | 0.003165 | 0 | 1 | -8.222e-10 | 0.01034 | 0.006359 | 0.005001 | 0.07072 | 22.34 | 2.231 | 0.1312 | 0.2706 | 1 | 1 | 0 | 0 | 0.008822 | 0 | 0 | 0.2308 | json |
| t12_x0_u6_b112 | 12 | 0 | 6 | 112 | ![]() |
nrm(dst(P,mlt(P,P))) | 20026 | 97448530 | o1(o2(x,o2(x,x))) | true | 160215 | 160215 | 0.5222 | 0.9648 | 0.5926 | 0.08435 | 0.2904 | -1 | 0.5774 | 1.577 | 1 | 0.2196 | 0.003761 | 0.003761 | 0.004754 | 0 | 1 | -1.453e-9 | 0.01536 | 0.009538 | 0.007503 | 0.08662 | 18.22 | 2.231 | 0.08919 | 0.1821 | 1 | 1 | 0 | 0 | 0.01323 | 0 | 0 | 0.1569 | json |
| t12_x0_u6_b113 | 12 | 0 | 6 | 113 | ![]() |
nrm(dst(P,div(P,P))) | 20027 | 97448531 | o1(o2(x,o2(x,x))) | true | 160223 | 160223 | -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 |
| t12_x0_u6_b114 | 12 | 0 | 6 | 114 | ![]() |
nrm(dst(P,pow(P,P))) | 20028 | 97448532 | o1(o2(x,o2(x,x))) | true | 160231 | 160231 | -0.6055 | 0.25 | 0.8945 | 0.4665 | 0.683 | -1 | 0.5774 | 1.577 | 1 | 0.8113 | 0.004937 | 0.004937 | 0.006259 | 0 | 1 | -1.671e-10 | 0.01982 | 0.01252 | 0.009835 | 0.09917 | 15.84 | 1.577 | 0.02116 | 0.04249 | 1 | 1 | 0 | 0 | 0.01309 | 0 | 0 | 0.02807 | json |
| t12_x0_u6_b115 | 12 | 0 | 6 | 115 | ![]() |
nrm(dst(P,mod(P,P))) | 20029 | 97448533 | o1(o2(x,o2(x,x))) | true | 160239 | 160239 | -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 |
| t12_x0_u6_b116 | 12 | 0 | 6 | 116 | ![]() |
nrm(dst(P,lrg(P,P))) | 20030 | 97448534 | o1(o2(x,o2(x,x))) | true | 160247 | 160247 | 0.5531 | 0.9844 | 0.5843 | 0.03822 | 0.1955 | -1 | 0.5774 | 1.577 | 1 | 0.1161 | 0.002507 | 0.002507 | 0.003165 | 0 | 1 | -8.222e-10 | 0.01034 | 0.006359 | 0.005001 | 0.07072 | 22.34 | 2.231 | 0.1312 | 0.2706 | 1 | 1 | 0 | 0 | 0.008822 | 0 | 0 | 0.2308 | json |
| t12_x0_u6_b117 | 12 | 0 | 6 | 117 | ![]() |
nrm(dst(P,eql(P,P))) | 20031 | 97448535 | o1(o2(x,o2(x,x))) | true | 160255 | 160255 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.0003769 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 4.89e-17 | 3.698e-17 | 1.378e-9 | 0.00001192 | 0 | -6.57e-10 | 3.733e-16 | 1.566e-9 | 8.394e-17 | 9.162e-9 | 6.648 | 8.429e-8 | 6.044e-10 | 2.627e-9 | 1 | 1 | 0 | 0 | 7.017e-17 | 0 | 0 | 4.938e-10 | json |
| t12_x0_u6_b118 | 12 | 0 | 6 | 118 | ![]() |
nrm(dst(P,min(P,P))) | 20032 | 97448536 | o1(o2(x,o2(x,x))) | true | 160263 | 160263 | -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 |
| t12_x0_u6_b119 | 12 | 0 | 6 | 119 | ![]() |
nrm(dst(P,dot(P,P))) | 20033 | 97448537 | o1(o2(x,o2(x,x))) | true | 160271 | 160271 | 0.5531 | 0.9844 | 0.5843 | 0.03822 | 0.1955 | -1 | 0.5774 | 1.577 | 1 | 0.1161 | 0.002507 | 0.002507 | 0.003165 | 0 | 1 | -6.27e-10 | 0.01034 | 0.006359 | 0.005001 | 0.07072 | 22.34 | 2.231 | 0.1312 | 0.2706 | 1 | 1 | 0 | 0 | 0.008822 | 0 | 0 | 0.2308 | json |
| t12_x0_u6_b120 | 12 | 0 | 6 | 120 | ![]() |
nrm(dst(P,dst(P,P))) | 20034 | 97448538 | o1(o2(x,o2(x,x))) | true | 160279 | 160279 | 0.5531 | 0.9844 | 0.5843 | 0.03822 | 0.1955 | -1 | 0.5774 | 1.577 | 1 | 0.1161 | 0.002507 | 0.002507 | 0.003165 | 0 | 1 | -8.222e-10 | 0.01034 | 0.006359 | 0.005001 | 0.07072 | 22.34 | 2.231 | 0.1312 | 0.2706 | 1 | 1 | 0 | 0 | 0.008822 | 0 | 0 | 0.2308 | json |
| t12_x1_u0_b0 | 12 | 1 | 0 | 0 | ![]() |
sqt(add(P,add(P,D))) | 20035 | 97487613 | o1(o2(x,o2(x,x))) | true | 160287 | 160287 | -0.01374 | 0.5 | 0.9863 | 0.98 | 0.9899 | -1 | 1 | 2 | 1 | 1.262 | 0.005839 | 0 | 0.007937 | 1 | 1 | -1.419e-9 | 0.009843 | 0.009366 | 0.005775 | 0.07599 | 9.575 | 1.177 | 0.005958 | 0.01004 | 1 | 1 | 0 | 0 | 0.008962 | 0 | 0 | 0.009145 | json |
| t12_x1_u0_b1 | 12 | 1 | 0 | 1 | ![]() |
sqt(add(P,sub(P,D))) | 20036 | 97487614 | o1(o2(x,o2(x,x))) | true | 160295 | 160295 | -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 | 0 | 0.02105 | 0 | 0 | 0.02139 | json |
| t12_x1_u0_b2 | 12 | 1 | 0 | 2 | ![]() |
sqt(add(P,mlt(P,D))) | 20037 | 97487615 | o1(o2(x,o2(x,x))) | true | 160303 | 160303 | -0.03638 | 0.4961 | 0.9636 | 0.9553 | 0.9774 | -1 | 1 | 2 | 1 | 1.426 | 0.004301 | 0 | 0.007937 | 1 | 1 | 1.892e-9 | 0.007934 | 0.008797 | 0.004237 | 0.06509 | 8.201 | 1 | 0.004502 | 0.008305 | 1 | 1 | 0 | 0 | 0.006147 | 0 | 0 | 0.006435 | json |
| t12_x1_u0_b3 | 12 | 1 | 0 | 3 | ![]() |
sqt(add(P,div(P,D))) | 20038 | 97487616 | o1(o2(x,o2(x,x))) | true | 160311 | 160311 | -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 |
| t12_x1_u0_b4 | 12 | 1 | 0 | 4 | ![]() |
sqt(add(P,pow(P,D))) | 20039 | 97487617 | o1(o2(x,o2(x,x))) | true | 160319 | 160319 | -0.02539 | 0.5 | 0.9746 | 0.9688 | 0.9843 | -1 | 1 | 2 | 1 | 1.276 | 0.00449 | 0 | 0.007936 | 1 | 1 | 4.735e-10 | 0.007941 | 0.009175 | 0.004426 | 0.06653 | 8.383 | 1 | 0.004635 | 0.008197 | 1 | 1 | 0 | 0 | 0.006645 | 0 | 0 | 0.00686 | json |
| t12_x1_u0_b5 | 12 | 1 | 0 | 5 | ![]() |
sqt(add(P,mod(P,D))) | 20040 | 97487618 | o1(o2(x,o2(x,x))) | true | 160327 | 160327 | -0.02903 | 0.5 | 0.971 | 0.9637 | 0.9817 | -1 | 1 | 2 | 1 | 1.366 | 0.004417 | 0 | 0.007939 | 1 | 1 | 9.452e-10 | 0.008058 | 0.01011 | 0.004353 | 0.06598 | 8.311 | 1 | 0.004584 | 0.008362 | 1 | 1 | 0 | 0 | 0.006374 | 0 | 0 | 0.006614 | json |
| t12_x1_u0_b6 | 12 | 1 | 0 | 6 | ![]() |
sqt(add(P,lrg(P,D))) | 20041 | 97487619 | o1(o2(x,o2(x,x))) | true | 160335 | 160335 | -0.02539 | 0.5 | 0.9746 | 0.9688 | 0.9843 | -1 | 1 | 2 | 1 | 1.276 | 0.00449 | 0 | 0.007936 | 1 | 1 | 4.735e-10 | 0.007941 | 0.009175 | 0.004426 | 0.06653 | 8.383 | 1 | 0.004635 | 0.008197 | 1 | 1 | 0 | 0 | 0.006645 | 0 | 0 | 0.00686 | json |
| t12_x1_u0_b7 | 12 | 1 | 0 | 7 | ![]() |
sqt(add(P,eql(P,D))) | 20042 | 97487620 | o1(o2(x,o2(x,x))) | true | 160343 | 160343 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0 | 0 | 0.006228 | 0 | 0 | 0.006485 | json |
| t12_x1_u0_b8 | 12 | 1 | 0 | 8 | ![]() |
sqt(add(P,min(P,D))) | 20043 | 97487621 | o1(o2(x,o2(x,x))) | true | 160351 | 160351 | -0.03638 | 0.4961 | 0.9636 | 0.9553 | 0.9774 | -1 | 1 | 2 | 1 | 1.426 | 0.004301 | 0 | 0.007937 | 1 | 1 | 1.892e-9 | 0.007934 | 0.008797 | 0.004237 | 0.06509 | 8.201 | 1 | 0.004502 | 0.008305 | 1 | 1 | 0 | 0 | 0.006147 | 0 | 0 | 0.006435 | json |
| t12_x1_u0_b9 | 12 | 1 | 0 | 9 | ![]() |
sqt(add(P,dot(P,D))) | 20044 | 97487622 | o1(o2(x,o2(x,x))) | true | 160359 | 160359 | -0.518 | 0.2416 | 0.9988 | 0.7291 | 0.8539 | -1 | 1 | 2 | 1 | 0.85 | 0.1562 | 0.1521 | 0.146 | 0.01313 | 1 | 0.001022 | 0.9241 | 0.3101 | 0.2871 | 0.5358 | 3.67 | 2.828 | 0.4228 | 1.267 | 1 | 1 | 0 | 0 | 0.2848 | 0 | 0 | 0.3906 | json |
| t12_x1_u0_b10 | 12 | 1 | 0 | 10 | ![]() |
sqt(add(P,dst(P,D))) | 20045 | 97487623 | o1(o2(x,o2(x,x))) | true | 160367 | 160367 | 0.6957 | 0.8541 | 0.9876 | 0.4962 | 0.7044 | -1 | 1 | 2 | 1 | 0.9504 | 0.04209 | 0.03163 | 0.04231 | 0.1419 | 1 | -0.0001267 | 0.2082 | 0.08605 | 0.07196 | 0.2683 | 6.341 | 2.828 | 0.1486 | 0.4195 | 1 | 1 | 0 | 0 | 0.08013 | 0 | 0 | 0.1615 | json |
| t12_x1_u0_b11 | 12 | 1 | 0 | 11 | ![]() |
sqt(sub(P,add(P,D))) | 20046 | 97487624 | o1(o2(x,o2(x,x))) | true | 160375 | 160375 | -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 |
| t12_x1_u0_b12 | 12 | 1 | 0 | 12 | ![]() |
sqt(sub(P,sub(P,D))) | 20047 | 97487625 | o1(o2(x,o2(x,x))) | true | 160383 | 160383 | -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 |
| t12_x1_u0_b13 | 12 | 1 | 0 | 13 | ![]() |
sqt(sub(P,mlt(P,D))) | 20048 | 97487626 | o1(o2(x,o2(x,x))) | true | 160391 | 160391 | -0.02826 | 0.5 | 0.9717 | 0.9649 | 0.9823 | -1 | 1 | 2 | 1 | 1.341 | 0.004393 | 0 | 0.008346 | 1 | 1 | -1.893e-9 | 0.007904 | 0.009355 | 0.004325 | 0.06577 | 7.88 | 1 | 0.004553 | 0.008192 | 1 | 1 | 0 | 0 | 0.006411 | 0 | 0 | 0.006645 | json |
| t12_x1_u0_b14 | 12 | 1 | 0 | 14 | ![]() |
sqt(sub(P,div(P,D))) | 20049 | 97487627 | o1(o2(x,o2(x,x))) | true | 160399 | 160399 | -0.8031 | 0.1211 | 0.9469 | 0.2939 | 0.5421 | -1 | 1 | 2 | 1 | 0.8758 | 0.03305 | 0 | 0.02381 | 1 | 1 | 9.461e-10 | 0.0639 | 0.03537 | 0.0325 | 0.1803 | 7.571 | 2 | 0.1124 | 0.2174 | 1 | 1 | 0 | 0 | 0.04528 | 0 | 0 | 0.1541 | json |
| t12_x1_u0_b15 | 12 | 1 | 0 | 15 | ![]() |
sqt(sub(P,pow(P,D))) | 20050 | 97487628 | o1(o2(x,o2(x,x))) | true | 160407 | 160407 | -0.0919 | 0.4375 | 0.9081 | 0.8926 | 0.9448 | -1 | 1 | 2 | 1 | 1.589 | 0.004365 | 0 | 0.008245 | 1 | 1 | -1.893e-9 | 0.007965 | 0.009241 | 0.004294 | 0.06553 | 7.947 | 1 | 0.00489 | 0.008922 | 1 | 1 | 0 | 0 | 0.006297 | 0 | 0 | 0.007055 | json |
| t12_x1_u0_b16 | 12 | 1 | 0 | 16 | ![]() |
sqt(sub(P,mod(P,D))) | 20051 | 97487629 | o1(o2(x,o2(x,x))) | true | 160415 | 160415 | -0.03459 | 0.5 | 0.9654 | 0.9566 | 0.9781 | -1 | 1 | 2 | 1 | 1.398 | 0.004407 | 0 | 0.00833 | 1 | 1 | -9.459e-10 | 0.008193 | 0.01143 | 0.00434 | 0.06588 | 7.909 | 1 | 0.004607 | 0.008565 | 1 | 1 | 0 | 0 | 0.006258 | 0 | 0 | 0.006541 | json |
| t12_x1_u0_b17 | 12 | 1 | 0 | 17 | ![]() |
sqt(sub(P,lrg(P,D))) | 20052 | 97487630 | o1(o2(x,o2(x,x))) | true | 160423 | 160423 | -0.09375 | 0.4375 | 0.9063 | 0.89 | 0.9434 | -1 | 1 | 2 | 1 | 1.621 | 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 | 0 | 0.006189 | 0 | 0 | 0.006953 | json |
| t12_x1_u0_b18 | 12 | 1 | 0 | 18 | ![]() |
sqt(sub(P,eql(P,D))) | 20053 | 97487631 | o1(o2(x,o2(x,x))) | true | 160431 | 160431 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0 | 0 | 0.006228 | 0 | 0 | 0.006485 | json |
| t12_x1_u0_b19 | 12 | 1 | 0 | 19 | ![]() |
sqt(sub(P,min(P,D))) | 20054 | 97487632 | o1(o2(x,o2(x,x))) | true | 160439 | 160439 | 0.4871 | 0.5625 | 0.4871 | 0.2331 | 0.4828 | 0 | 1 | 1 | 1 | 1.579 | 0.0007482 | 0 | 0.008054 | 1 | 1 | 2.957e-9 | 0.0002105 | 0.003503 | 0.0006833 | 0.02614 | 3.246 | 0.1763 | 0.003209 | 0.0009031 | 1 | 1 | 0 | 0 | 0.001845 | 0 | 0 | 0.007914 | json |
| t12_x1_u0_b20 | 12 | 1 | 0 | 20 | ![]() |
sqt(sub(P,dot(P,D))) | 20055 | 97487633 | o1(o2(x,o2(x,x))) | true | 160447 | 160447 | -0.4912 | 0.2563 | 0.9962 | 0.7529 | 0.8677 | -1 | 1 | 2 | 1 | 0.921 | 0.1415 | 0.1259 | 0.1279 | 0.05837 | 1 | -0.001071 | 0.7952 | 0.2693 | 0.2513 | 0.5013 | 3.918 | 2.828 | 0.3553 | 1.056 | 1 | 1 | 0 | 0 | 0.24 | 0 | 0 | 0.3187 | json |
| t12_x1_u0_b21 | 12 | 1 | 0 | 21 | ![]() |
sqt(sub(P,dst(P,D))) | 20056 | 97487634 | o1(o2(x,o2(x,x))) | true | 160455 | 160455 | -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 |
| t12_x1_u0_b22 | 12 | 1 | 0 | 22 | ![]() |
sqt(mlt(P,add(P,D))) | 20057 | 97487635 | o1(o2(x,o2(x,x))) | true | 160463 | 160463 | 0.9273 | 0.9922 | 0.9273 | 0.0531 | 0.2304 | 0.00005145 | 1 | 0.9999 | 1 | 0.852 | 0.0006647 | 0 | 0.007936 | 1 | 1 | 3.43e-9 | 0.0000278 | 0.001755 | 0.0006019 | 0.02453 | 3.091 | 0.1106 | 0.01252 | 0.0005236 | 1 | 1 | 0 | 0 | 0.001745 | 0 | 0 | 0.03286 | json |
| t12_x1_u0_b23 | 12 | 1 | 0 | 23 | ![]() |
sqt(mlt(P,sub(P,D))) | 20058 | 97487636 | o1(o2(x,o2(x,x))) | true | 160471 | 160471 | 0.944 | 1 | 0.944 | 0.04059 | 0.2015 | 0.0004084 | 1 | 0.9996 | 1 | 0.6829 | 0.0008392 | 0 | 0.008533 | 1 | 1 | 1.892e-9 | 0.00007459 | 0.002922 | 0.0007661 | 0.02768 | 3.244 | 0.1319 | 0.02068 | 0.001838 | 1 | 1 | 0 | 0 | 0.002177 | 0 | 0 | 0.05363 | json |
| t12_x1_u0_b24 | 12 | 1 | 0 | 24 | ![]() |
sqt(mlt(P,mlt(P,D))) | 20059 | 97487637 | o1(o2(x,o2(x,x))) | true | 160479 | 160479 | -0.9219 | 0.0625 | 0.9531 | 0.09308 | 0.3051 | -1 | 0.4565 | 1.457 | 1 | 0.5062 | 0.009666 | 0 | 0.01156 | 1 | 1 | 1.419e-9 | 0.01778 | 0.01778 | 0.009527 | 0.09761 | 8.444 | 1.177 | 0.1038 | 0.191 | 1 | 1 | 0 | 0 | 0.01385 | 0 | 0 | 0.1488 | json |
| t12_x1_u0_b25 | 12 | 1 | 0 | 25 | ![]() |
sqt(mlt(P,div(P,D))) | 20060 | 97487638 | o1(o2(x,o2(x,x))) | true | 160487 | 160487 | -0.9007 | 0.0625 | 0.9743 | 0.1586 | 0.3983 | -1 | 1 | 2 | 1 | 0.492 | 0.02046 | 0 | 0.01587 | 1 | 1 | 0 | 0.03979 | 0.02542 | 0.0202 | 0.1421 | 8.954 | 2 | 0.129 | 0.2508 | 1 | 1 | 0 | 0 | 0.02788 | 0 | 0 | 0.1757 | json |
| t12_x1_u0_b26 | 12 | 1 | 0 | 26 | ![]() |
sqt(mlt(P,pow(P,D))) | 20061 | 97487639 | o1(o2(x,o2(x,x))) | true | 160495 | 160495 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0 | 0 | 0.006228 | 0 | 0 | 0.006485 | json |
| t12_x1_u0_b27 | 12 | 1 | 0 | 27 | ![]() |
sqt(mlt(P,mod(P,D))) | 20062 | 97487640 | o1(o2(x,o2(x,x))) | true | 160503 | 160503 | 0.5766 | 0.9766 | 0.5766 | 0.1264 | 0.3555 | 0 | 1 | 1 | 1 | 3.488 | 0.06709 | 0 | 0.1655 | 1 | 1 | -0.0001015 | 0.153 | 0.2791 | 0.03969 | 0.1992 | 1.204 | 0.9777 | 0.531 | 1.211 | 1 | 1 | 0 | 0 | 0.04814 | 0 | 0 | 0.381 | json |
| t12_x1_u0_b28 | 12 | 1 | 0 | 28 | ![]() |
sqt(mlt(P,lrg(P,D))) | 20063 | 97487641 | o1(o2(x,o2(x,x))) | true | 160511 | 160511 | 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 | 0 | 0.0009255 | 0 | 0 | 0.00382 | json |
| t12_x1_u0_b29 | 12 | 1 | 0 | 29 | ![]() |
sqt(mlt(P,eql(P,D))) | 20064 | 97487642 | o1(o2(x,o2(x,x))) | true | 160519 | 160519 | 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 |
| t12_x1_u0_b30 | 12 | 1 | 0 | 30 | ![]() |
sqt(mlt(P,min(P,D))) | 20065 | 97487643 | o1(o2(x,o2(x,x))) | true | 160527 | 160527 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | 0 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0 | 0 | 0.006228 | 0 | 0 | 0.006485 | json |
| t12_x1_u0_b31 | 12 | 1 | 0 | 31 | ![]() |
sqt(mlt(P,dot(P,D))) | 20066 | 97487644 | o1(o2(x,o2(x,x))) | true | 160535 | 160535 | -0.9779 | 0.01828 | 0.9855 | 0.02679 | 0.1637 | -1 | 0.636 | 1.636 | 1 | 0.187 | 0.00433 | 0.007759 | 0.01084 | -0.2837 | 1 | -1.201e-10 | 0.03339 | 0.02114 | 0.01197 | 0.1094 | 10.09 | 1.841 | 0.4513 | 1.246 | 1 | 1 | 0 | 0 | 0.01613 | 0 | 0 | 0.6022 | json |
| t12_x1_u0_b32 | 12 | 1 | 0 | 32 | ![]() |
sqt(mlt(P,dst(P,D))) | 20067 | 97487645 | o1(o2(x,o2(x,x))) | true | 160543 | 160543 | -0.0218 | 0.5 | 0.9782 | 0.9737 | 0.9868 | -1 | 1 | 2 | 1 | 1.278 | 0.004625 | 0.000001051 | 0.007951 | 0.9995 | 1 | -6.322e-8 | 0.007997 | 0.009577 | 0.004562 | 0.06754 | 8.495 | 1.001 | 0.004751 | 0.008213 | 1 | 1 | 0 | 0 | 0.006876 | 0 | 0 | 0.007062 | json |
| t12_x1_u0_b33 | 12 | 1 | 0 | 33 | ![]() |
sqt(div(P,add(P,D))) | 20068 | 97487646 | o1(o2(x,o2(x,x))) | true | 160551 | 160551 | 0.9427 | 1 | 0.9427 | 0.03504 | 0.1872 | 0.001646 | 1 | 0.9984 | 1 | 0.7537 | 0.0008597 | 0 | 0.01077 | 1 | 1 | 2.661e-9 | 0.00007181 | 0.004035 | 0.0007435 | 0.02727 | 2.531 | 0.1304 | 0.02453 | 0.002049 | 1 | 1 | 0 | 0 | 0.00223 | 0 | 0 | 0.06365 | json |
| t12_x1_u0_b34 | 12 | 1 | 0 | 34 | ![]() |
sqt(div(P,sub(P,D))) | 20069 | 97487647 | o1(o2(x,o2(x,x))) | true | 160559 | 160559 | 0.9284 | 1 | 0.9284 | 0.0493 | 0.222 | 0.0002074 | 1 | 0.9998 | 1 | 0.852 | 0.0006403 | 0 | 0.009033 | 1 | 1 | 0.00001675 | 0.00002881 | 0.002821 | 0.0005588 | 0.02364 | 2.617 | 0.1056 | 0.01299 | 0.0005843 | 1 | 1 | 0 | 0 | 0.001678 | 0 | 0 | 0.03403 | json |
| t12_x1_u0_b35 | 12 | 1 | 0 | 35 | ![]() |
sqt(div(P,mlt(P,D))) | 20070 | 97487648 | o1(o2(x,o2(x,x))) | true | 160567 | 160567 | -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 |
| t12_x1_u0_b36 | 12 | 1 | 0 | 36 | ![]() |
sqt(div(P,div(P,D))) | 20071 | 97487649 | o1(o2(x,o2(x,x))) | true | 160575 | 160575 | -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 |
| t12_x1_u0_b37 | 12 | 1 | 0 | 37 | ![]() |
sqt(div(P,pow(P,D))) | 20072 | 97487650 | o1(o2(x,o2(x,x))) | true | 160583 | 160583 | -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 | 0 | 0.02105 | 0 | 0 | 0.02139 | json |
| t12_x1_u0_b38 | 12 | 1 | 0 | 38 | ![]() |
sqt(div(P,mod(P,D))) | 20073 | 97487651 | o1(o2(x,o2(x,x))) | true | 160591 | 160591 | 0.5625 | 0.7813 | 1 | 0.6836 | 0.8268 | -1 | 1 | 2 | 1 | 0.7579 | 0.5079 | 0 | 0.254 | 1 | 1 | 0 | 1.397 | 0.5079 | 0.4434 | 0.6659 | 2.622 | 2 | 0.743 | 2.043 | 1 | 1 | 0 | 0 | 0.3053 | 0 | 0 | 0.4466 | json |
| t12_x1_u0_b39 | 12 | 1 | 0 | 39 | ![]() |
sqt(div(P,lrg(P,D))) | 20074 | 97487652 | o1(o2(x,o2(x,x))) | true | 160599 | 160599 | -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 | 0 | 0.02105 | 0 | 0 | 0.02139 | json |
| t12_x1_u0_b40 | 12 | 1 | 0 | 40 | ![]() |
sqt(div(P,eql(P,D))) | 20075 | 97487653 | o1(o2(x,o2(x,x))) | true | 160607 | 160607 | -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 |
| t12_x1_u0_b41 | 12 | 1 | 0 | 41 | ![]() |
sqt(div(P,min(P,D))) | 20076 | 97487654 | o1(o2(x,o2(x,x))) | true | 160615 | 160615 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | 3.784e-9 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0 | 0 | 0.006228 | 0 | 0 | 0.006485 | json |
| t12_x1_u0_b42 | 12 | 1 | 0 | 42 | ![]() |
sqt(div(P,dot(P,D))) | 20077 | 97487655 | o1(o2(x,o2(x,x))) | true | 160623 | 160623 | -0.9863 | 0.009705 | 0.9943 | 0.02075 | 0.144 | -1 | 1 | 2 | 1 | 0.108 | 0.005247 | 0.01644 | 0.01311 | -0.5161 | 1 | -1.689e-10 | 0.06782 | 0.02647 | 0.02151 | 0.1467 | 11.18 | 2.828 | 1.045 | 3.269 | 1 | 1 | 0 | 0 | 0.0265 | 0 | 0 | 1.277 | json |
| t12_x1_u0_b43 | 12 | 1 | 0 | 43 | ![]() |
sqt(div(P,dst(P,D))) | 20078 | 97487656 | o1(o2(x,o2(x,x))) | true | 160631 | 160631 | -0.1213 | 0.5 | 0.8787 | 0.8027 | 0.896 | -1 | 1 | 2 | 1 | 2.659 | 0.0041 | 0.00001507 | 0.008904 | 0.9927 | 1 | 0.00000922 | 0.007919 | 0.009115 | 0.004035 | 0.06352 | 7.134 | 1 | 0.005127 | 0.009865 | 1 | 1 | 0 | 0 | 0.005727 | 0 | 0 | 0.007135 | json |
| t12_x1_u0_b44 | 12 | 1 | 0 | 44 | ![]() |
sqt(pow(P,add(P,D))) | 20079 | 97487657 | o1(o2(x,o2(x,x))) | true | 160639 | 160639 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0 | 0 | 0.006228 | 0 | 0 | 0.006485 | json |
| t12_x1_u0_b45 | 12 | 1 | 0 | 45 | ![]() |
sqt(pow(P,sub(P,D))) | 20080 | 97487658 | o1(o2(x,o2(x,x))) | true | 160647 | 160647 | -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 | 0 | 0.02105 | 0 | 0 | 0.02139 | json |
| t12_x1_u0_b46 | 12 | 1 | 0 | 46 | ![]() |
sqt(pow(P,mlt(P,D))) | 20081 | 97487659 | o1(o2(x,o2(x,x))) | true | 160655 | 160655 | -0.01807 | 0.5 | 0.9819 | 0.9665 | 0.9831 | -1 | 1 | 2 | 1 | 1.548 | 0.01672 | 0 | 0.01711 | 1 | 1 | -9.461e-10 | 0.033 | 0.02609 | 0.01644 | 0.1282 | 7.492 | 2 | 0.0173 | 0.03414 | 1 | 1 | 0 | 0 | 0.02232 | 0 | 0 | 0.02309 | json |
| t12_x1_u0_b47 | 12 | 1 | 0 | 47 | ![]() |
sqt(pow(P,div(P,D))) | 20082 | 97487660 | o1(o2(x,o2(x,x))) | true | 160663 | 160663 | -0.1094 | 0.4844 | 0.9219 | 0.8954 | 0.9463 | -1 | 1 | 2 | 1 | 1.731 | 0.114 | 0 | 0.0873 | 1 | 1 | -2.838e-9 | 0.2715 | 0.1382 | 0.1064 | 0.3262 | 3.737 | 2 | 0.1273 | 0.3032 | 1 | 1 | 0 | 0 | 0.0837 | 0 | 0 | 0.09347 | json |
| t12_x1_u0_b48 | 12 | 1 | 0 | 48 | ![]() |
sqt(pow(P,pow(P,D))) | 20083 | 97487661 | o1(o2(x,o2(x,x))) | true | 160671 | 160671 | 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 | 0 | 0.02105 | 0 | 0 | 0.02105 | json |
| t12_x1_u0_b49 | 12 | 1 | 0 | 49 | ![]() |
sqt(pow(P,mod(P,D))) | 20084 | 97487662 | o1(o2(x,o2(x,x))) | true | 160679 | 160679 | 0.007813 | 0.5039 | 1 | 0.9999 | 0.9999 | -1 | 1 | 2 | 1 | 1 | 0.04762 | 0 | 0.02381 | 1 | 1 | 0 | 0.127 | 0.04762 | 0.04704 | 0.2169 | 9.109 | 2 | 0.04762 | 0.127 | 1 | 1 | 0 | 0 | 0.04211 | 0 | 0 | 0.04211 | json |
| t12_x1_u0_b50 | 12 | 1 | 0 | 50 | ![]() |
sqt(pow(P,lrg(P,D))) | 20085 | 97487663 | o1(o2(x,o2(x,x))) | true | 160687 | 160687 | 0.9688 | 1 | 0.9688 | 0.02351 | 0.1533 | 0.000291 | 1 | 0.9997 | 1 | 0.459 | 0.004319 | 0 | 0.007934 | 1 | 1 | 0 | 0.008002 | 0.008862 | 0.004255 | 0.06523 | 8.221 | 0.9997 | 0.1837 | 0.3404 | 1 | 1 | 0 | 0 | 0.00615 | 0 | 0 | 0.2616 | json |
| t12_x1_u0_b51 | 12 | 1 | 0 | 51 | ![]() |
sqt(pow(P,eql(P,D))) | 20086 | 97487664 | o1(o2(x,o2(x,x))) | true | 160695 | 160695 | 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 |
| t12_x1_u0_b52 | 12 | 1 | 0 | 52 | ![]() |
sqt(pow(P,min(P,D))) | 20087 | 97487665 | o1(o2(x,o2(x,x))) | true | 160703 | 160703 | -0.01333 | 0.5 | 0.9867 | 0.974 | 0.9869 | -1 | 1 | 2 | 1 | 1.393 | 0.01601 | 0 | 0.01294 | 1 | 1 | 0.0001011 | 0.03182 | 0.01965 | 0.01585 | 0.1259 | 9.728 | 2 | 0.01644 | 0.03267 | 1 | 1 | 0 | 0 | 0.02127 | 0 | 0 | 0.02183 | json |
| t12_x1_u0_b53 | 12 | 1 | 0 | 53 | ![]() |
sqt(pow(P,dot(P,D))) | 20088 | 97487666 | o1(o2(x,o2(x,x))) | true | 160711 | 160711 | -0.139 | 0.4375 | 0.986 | 0.9558 | 0.9776 | -1 | 1 | 2 | 1 | 1.437 | 0.0165 | 0.0003573 | 0.01601 | 0.9576 | 1 | -0.00008763 | 0.03343 | 0.02439 | 0.0166 | 0.1288 | 8.048 | 2 | 0.01764 | 0.03497 | 1 | 1 | 0 | 0 | 0.02268 | 0 | 0 | 0.02373 | json |
| t12_x1_u0_b54 | 12 | 1 | 0 | 54 | ![]() |
sqt(pow(P,dst(P,D))) | 20089 | 97487667 | o1(o2(x,o2(x,x))) | true | 160719 | 160719 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0 | 0 | 0.006228 | 0 | 0 | 0.006485 | json |
| t12_x1_u0_b55 | 12 | 1 | 0 | 55 | ![]() |
sqt(mod(P,add(P,D))) | 20090 | 97487668 | o1(o2(x,o2(x,x))) | true | 160727 | 160727 | -0.127 | 0.4961 | 0.8652 | 0.8063 | 0.898 | -1 | 1 | 2 | 1 | 2.363 | 0.02629 | 0 | 0.05227 | 1 | 1 | -0.0005532 | 0.05361 | 0.067 | 0.02355 | 0.1535 | 2.936 | 1 | 0.03261 | 0.06649 | 1 | 1 | 0 | 0 | 0.02704 | 0 | 0 | 0.03354 | json |
| t12_x1_u0_b56 | 12 | 1 | 0 | 56 | ![]() |
sqt(mod(P,sub(P,D))) | 20091 | 97487669 | o1(o2(x,o2(x,x))) | true | 160735 | 160735 | -0.1079 | 0.5 | 0.892 | 0.843 | 0.9182 | -1 | 1 | 2 | 1 | 2.231 | 0.02664 | 0 | 0.05443 | 1 | 1 | 2.365e-9 | 0.05364 | 0.06668 | 0.02367 | 0.1539 | 2.827 | 1 | 0.0316 | 0.06363 | 1 | 1 | 0 | 0 | 0.02838 | 0 | 0 | 0.03367 | json |
| t12_x1_u0_b57 | 12 | 1 | 0 | 57 | ![]() |
sqt(mod(P,mlt(P,D))) | 20092 | 97487670 | o1(o2(x,o2(x,x))) | true | 160743 | 160743 | -0.2631 | 0.4219 | 0.8619 | 0.7357 | 0.8578 | -1 | 1 | 2 | 1 | 2.438 | 0.01545 | 0 | 0.04915 | 1 | 1 | -0.00003709 | 0.02595 | 0.07471 | 0.01304 | 0.1142 | 2.323 | 1 | 0.021 | 0.03526 | 1 | 1 | 0 | 0 | 0.0211 | 0 | 0 | 0.02868 | json |
| t12_x1_u0_b58 | 12 | 1 | 0 | 58 | ![]() |
sqt(mod(P,div(P,D))) | 20093 | 97487671 | o1(o2(x,o2(x,x))) | true | 160751 | 160751 | -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 | 0 | 0.02105 | 0 | 0 | 0.02139 | json |
| t12_x1_u0_b59 | 12 | 1 | 0 | 59 | ![]() |
sqt(mod(P,pow(P,D))) | 20094 | 97487672 | o1(o2(x,o2(x,x))) | true | 160759 | 160759 | -0.2877 | 0.4375 | 0.8373 | 0.6808 | 0.8251 | -1 | 1 | 2 | 1 | 2.611 | 0.0422 | 0 | 0.1054 | 1 | 1 | 0.002034 | 0.1264 | 0.1784 | 0.03109 | 0.1763 | 1.673 | 1 | 0.06198 | 0.1857 | 1 | 1 | 0 | 0 | 0.02327 | 0 | 0 | 0.03418 | json |
| t12_x1_u0_b60 | 12 | 1 | 0 | 60 | ![]() |
sqt(mod(P,mod(P,D))) | 20095 | 97487673 | o1(o2(x,o2(x,x))) | true | 160767 | 160767 | -0.5161 | 0.3359 | 0.6558 | 0.3425 | 0.5852 | -1 | 0.5332 | 1.533 | 1 | 2.01 | 0.177 | 0 | 0.208 | 1 | 1 | -0.00395 | 0.4933 | 0.3971 | 0.1337 | 0.3657 | 1.758 | 1.357 | 0.5167 | 1.44 | 1 | 1 | 0 | 0 | 0.1068 | 0 | 0 | 0.3119 | json |
| t12_x1_u0_b61 | 12 | 1 | 0 | 61 | ![]() |
sqt(mod(P,lrg(P,D))) | 20096 | 97487674 | o1(o2(x,o2(x,x))) | true | 160775 | 160775 | -0.5625 | 0 | 0.5625 | 0.2461 | 0.4961 | -1 | 0 | 1 | 1 | 0.9887 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01612 | 0.03225 | 1 | 1 | 0 | 0 | 0.005263 | 0 | 0 | 0.02139 | json |
| t12_x1_u0_b62 | 12 | 1 | 0 | 62 | ![]() |
sqt(mod(P,eql(P,D))) | 20097 | 97487675 | o1(o2(x,o2(x,x))) | true | 160783 | 160783 | -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 |
| t12_x1_u0_b63 | 12 | 1 | 0 | 63 | ![]() |
sqt(mod(P,min(P,D))) | 20098 | 97487676 | o1(o2(x,o2(x,x))) | true | 160791 | 160791 | -0.2308 | 0.418 | 0.5193 | 0.3822 | 0.6182 | -1 | 0.6206 | 1.621 | 1 | 2.607 | 0.02961 | 0 | 0.06883 | 1 | 1 | -0.00002027 | 0.06029 | 0.1178 | 0.02488 | 0.1577 | 2.291 | 1 | 0.07747 | 0.1578 | 1 | 1 | 0 | 0 | 0.03561 | 0 | 0 | 0.09318 | json |
| t12_x1_u0_b64 | 12 | 1 | 0 | 64 | ![]() |
sqt(mod(P,dot(P,D))) | 20099 | 97487677 | o1(o2(x,o2(x,x))) | true | 160799 | 160799 | -0.1835 | 0.4818 | 0.8512 | 0.7623 | 0.8731 | -1 | 1 | 2 | 1 | 2.641 | 0.07425 | 0.07035 | 0.1649 | 0.02694 | 1 | -0.0007235 | 0.7383 | 0.347 | 0.1174 | 0.3427 | 2.078 | 2.828 | 0.1897 | 0.9686 | 1 | 1 | 0 | 0 | 0.09333 | 0 | 0 | 0.1224 | json |



































































































