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_x3_u0_b71 | 12 | 3 | 0 | 71 | ![]() |
sqt(lrg(P,mod(D,P))) | 21800 | 97568486 | o1(o2(x,o2(x,x))) | true | 4247 | 4247 | 0.5313 | 0.5625 | 0.5313 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t12_x3_u0_b72 | 12 | 3 | 0 | 72 | ![]() |
sqt(lrg(P,lrg(D,P))) | 21801 | 97568487 | o1(o2(x,o2(x,x))) | true | 4255 | 4255 | 0.4688 | 0.5 | 0.4688 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t12_x3_u0_b73 | 12 | 3 | 0 | 73 | ![]() |
sqt(lrg(P,eql(D,P))) | 21802 | 97568488 | o1(o2(x,o2(x,x))) | true | 4263 | 4263 | 0.4688 | 0.5 | 0.4688 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t12_x3_u0_b74 | 12 | 3 | 0 | 74 | ![]() |
sqt(lrg(P,min(D,P))) | 21803 | 97568489 | o1(o2(x,o2(x,x))) | true | 4271 | 4271 | 0.5 | 0.5625 | 0.5 | 0.2365 | 0.4863 | 0 | 1 | 1 | 1 | 1.577 | 0.00467 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.008068 | 0.009787 | 0.004528 | 0.06729 | 5.654 | 0.9994 | 0.01975 | 0.03412 | 1 | 1 | 0.007036 | 0.03244 | 0.06598 | 0.02976 | 0.1372 | 0.279 | json |
| t12_x3_u0_b75 | 12 | 3 | 0 | 75 | ![]() |
sqt(lrg(P,dot(D,P))) | 21804 | 97568490 | o1(o2(x,o2(x,x))) | true | 4279 | 4279 | 0.5075 | 0.7453 | 0.5075 | 0.2098 | 0.458 | 0 | 1 | 1 | 1 | 2.38 | 0.002912 | 0.01088 | 0.04175 | -0.5778 | 1 | -0.0002407 | 0.03746 | 0.05267 | 0.01205 | 0.1098 | 2.63 | 1.341 | 0.06574 | 0.1785 | 1 | 1 | 0.01446 | 0.05012 | 0.07181 | 0.06893 | 0.2389 | 0.3423 | json |
| t12_x3_u0_b76 | 12 | 3 | 0 | 76 | ![]() |
sqt(lrg(P,dst(D,P))) | 21805 | 97568491 | o1(o2(x,o2(x,x))) | true | 4287 | 4287 | 0.03624 | 0.14 | 0.03624 | 0.02006 | 0.1416 | 0 | 0.9994 | 0.9994 | 1 | 0.7425 | 0.004706 | 0.001199 | 0.01509 | 0.5939 | 1 | -0.00003734 | 0.0154 | 0.0179 | 0.005672 | 0.07531 | 4.992 | 1.383 | 0.2943 | 0.7678 | 1 | 1 | 0.007138 | 0.02682 | 0.02248 | 0.3558 | 1.337 | 1.12 | json |
| t12_x3_u0_b77 | 12 | 3 | 0 | 77 | ![]() |
sqt(eql(P,add(D,P))) | 21806 | 97568492 | o1(o2(x,o2(x,x))) | true | 4295 | 4295 | 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_x3_u0_b78 | 12 | 3 | 0 | 78 | ![]() |
sqt(eql(P,sub(D,P))) | 21807 | 97568493 | o1(o2(x,o2(x,x))) | true | 4303 | 4303 | 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_x3_u0_b79 | 12 | 3 | 0 | 79 | ![]() |
sqt(eql(P,mlt(D,P))) | 21808 | 97568494 | o1(o2(x,o2(x,x))) | true | 4311 | 4311 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t12_x3_u0_b80 | 12 | 3 | 0 | 80 | ![]() |
sqt(eql(P,div(D,P))) | 21809 | 97568495 | o1(o2(x,o2(x,x))) | true | 4319 | 4319 | 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_x3_u0_b81 | 12 | 3 | 0 | 81 | ![]() |
sqt(eql(P,pow(D,P))) | 21810 | 97568496 | o1(o2(x,o2(x,x))) | true | 4327 | 4327 | 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_x3_u0_b82 | 12 | 3 | 0 | 82 | ![]() |
sqt(eql(P,mod(D,P))) | 21811 | 97568497 | o1(o2(x,o2(x,x))) | true | 4335 | 4335 | 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_x3_u0_b83 | 12 | 3 | 0 | 83 | ![]() |
sqt(eql(P,lrg(D,P))) | 21812 | 97568498 | o1(o2(x,o2(x,x))) | true | 4343 | 4343 | 0.03125 | 0.0625 | 0.03125 | 0.02351 | 0.1533 | 0 | 0.9997 | 0.9997 | 1 | 0.459 | 0.004319 | 0 | 0.007934 | 1 | 1 | -2.365e-10 | 0.008002 | 0.008862 | 0.004255 | 0.06523 | 8.221 | 0.9997 | 0.1837 | 0.3404 | 1 | 1 | 0.00615 | 0.02664 | 0.03299 | 0.2616 | 1.133 | 1.403 | json |
| t12_x3_u0_b84 | 12 | 3 | 0 | 84 | ![]() |
sqt(eql(P,eql(D,P))) | 21813 | 97568499 | o1(o2(x,o2(x,x))) | true | 4351 | 4351 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t12_x3_u0_b85 | 12 | 3 | 0 | 85 | ![]() |
sqt(eql(P,min(D,P))) | 21814 | 97568500 | o1(o2(x,o2(x,x))) | true | 4359 | 4359 | 0.5 | 0.5625 | 0.5 | 0.2365 | 0.4863 | 0 | 1 | 1 | 1 | 1.577 | 0.00467 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.008068 | 0.009787 | 0.004528 | 0.06729 | 5.654 | 0.9994 | 0.01975 | 0.03412 | 1 | 1 | 0.007036 | 0.03244 | 0.06598 | 0.02976 | 0.1372 | 0.279 | json |
| t12_x3_u0_b86 | 12 | 3 | 0 | 86 | ![]() |
sqt(eql(P,dot(D,P))) | 21815 | 97568501 | o1(o2(x,o2(x,x))) | true | 4367 | 4367 | 0.005727 | 0.02557 | 0.005727 | 0.003169 | 0.05629 | 0 | 0.9994 | 0.9994 | 1 | 0.1685 | 0.001655 | 0.001655 | 0.006965 | 4.573e-7 | 1 | -0.000003357 | 0.01679 | 0.01521 | 0.003259 | 0.05709 | 8.196 | 1.362 | 1.044 | 5.298 | 1 | 1 | 0.002071 | 0.00497 | 0.01057 | 0.6537 | 1.569 | 3.337 | json |
| t12_x3_u0_b87 | 12 | 3 | 0 | 87 | ![]() |
sqt(eql(P,dst(D,P))) | 21816 | 97568502 | o1(o2(x,o2(x,x))) | true | 4375 | 4375 | 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_x3_u0_b88 | 12 | 3 | 0 | 88 | ![]() |
sqt(min(P,add(D,P))) | 21817 | 97568503 | o1(o2(x,o2(x,x))) | true | 4383 | 4383 | -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.006147 | 0.03676 | 0.2781 | 0.006435 | 0.03847 | 0.2911 | json |
| t12_x3_u0_b89 | 12 | 3 | 0 | 89 | ![]() |
sqt(min(P,sub(D,P))) | 21818 | 97568504 | o1(o2(x,o2(x,x))) | true | 4391 | 4391 | -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_x3_u0_b90 | 12 | 3 | 0 | 90 | ![]() |
sqt(min(P,mlt(D,P))) | 21819 | 97568505 | o1(o2(x,o2(x,x))) | true | 4399 | 4399 | -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_x3_u0_b91 | 12 | 3 | 0 | 91 | ![]() |
sqt(min(P,div(D,P))) | 21820 | 97568506 | o1(o2(x,o2(x,x))) | true | 4407 | 4407 | -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_x3_u0_b92 | 12 | 3 | 0 | 92 | ![]() |
sqt(min(P,pow(D,P))) | 21821 | 97568507 | o1(o2(x,o2(x,x))) | true | 4415 | 4415 | -0.1541 | 0.5 | 0.8459 | 0.789 | 0.8882 | -1 | 1 | 2 | 1 | 2.312 | 0.03522 | 0 | 0.06175 | 1 | 1 | 9.461e-10 | 0.06404 | 0.07578 | 0.0314 | 0.1772 | 2.869 | 1 | 0.04465 | 0.08117 | 1 | 1 | 0.03933 | 0.1347 | 0.2449 | 0.04985 | 0.1707 | 0.3104 | json |
| t12_x3_u0_b93 | 12 | 3 | 0 | 93 | ![]() |
sqt(min(P,mod(D,P))) | 21822 | 97568508 | o1(o2(x,o2(x,x))) | true | 4423 | 4423 | -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_x3_u0_b94 | 12 | 3 | 0 | 94 | ![]() |
sqt(min(P,lrg(D,P))) | 21823 | 97568509 | o1(o2(x,o2(x,x))) | true | 4431 | 4431 | -0.5 | 0 | 0.5 | 0.25 | 0.5 | -1 | 0 | 1 | 1 | 1 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01587 | 0.03175 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02105 | 0.08421 | 0.3368 | json |
| t12_x3_u0_b95 | 12 | 3 | 0 | 95 | ![]() |
sqt(min(P,eql(D,P))) | 21824 | 97568510 | o1(o2(x,o2(x,x))) | true | 4439 | 4439 | -0.5 | 0 | 0.5 | 0.25 | 0.5 | -1 | 0 | 1 | 1 | 1 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01587 | 0.03175 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02105 | 0.08421 | 0.3368 | json |
| t12_x3_u0_b96 | 12 | 3 | 0 | 96 | ![]() |
sqt(min(P,min(D,P))) | 21825 | 97568511 | o1(o2(x,o2(x,x))) | true | 4447 | 4447 | -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_x3_u0_b97 | 12 | 3 | 0 | 97 | ![]() |
sqt(min(P,dot(D,P))) | 21826 | 97568512 | o1(o2(x,o2(x,x))) | true | 4455 | 4455 | -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_x3_u0_b98 | 12 | 3 | 0 | 98 | ![]() |
sqt(min(P,dst(D,P))) | 21827 | 97568513 | o1(o2(x,o2(x,x))) | true | 4463 | 4463 | -0.03129 | 0.5 | 0.9687 | 0.9605 | 0.98 | -1 | 1 | 2 | 1 | 1.408 | 0.004324 | 1.252e-7 | 0.007963 | 0.9999 | 1 | -9.386e-13 | 0.007904 | 0.008837 | 0.004259 | 0.06526 | 8.195 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0.006229 | 0.03974 | 0.2855 | 0.006486 | 0.04138 | 0.2972 | json |
| t12_x3_u0_b99 | 12 | 3 | 0 | 99 | ![]() |
sqt(dot(P,add(D,P))) | 21828 | 97568514 | o1(o2(x,o2(x,x))) | true | 4471 | 4471 | 0.995 | 1 | 0.995 | 0.00333 | 0.05771 | 0.0001029 | 1 | 0.9999 | 1 | 0.12 | 0.0000429 | 0.0000429 | 0.0009738 | -6.36e-7 | 0 | 7.509e-11 | 0.000008181 | 0.0002501 | 0.00008485 | 0.009212 | 9.459 | 0.1145 | 0.02576 | 0.002457 | 1 | 1 | 0.0002969 | 0.003821 | 0.01217 | 0.08915 | 1.148 | 3.656 | json |
| t12_x3_u0_b100 | 12 | 3 | 0 | 100 | ![]() |
sqt(dot(P,sub(D,P))) | 21829 | 97568515 | o1(o2(x,o2(x,x))) | true | 4479 | 4479 | -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_x3_u0_b101 | 12 | 3 | 0 | 101 | ![]() |
sqt(dot(P,mlt(D,P))) | 21830 | 97568516 | o1(o2(x,o2(x,x))) | true | 4487 | 4487 | -0.9944 | 0.003906 | 0.9978 | 0.008117 | 0.09009 | -1 | 0.7021 | 1.702 | 1 | 0.05002 | 0.0008748 | 0.0008748 | 0.001507 | 0 | 1 | 4.881e-11 | 0.003516 | 0.002648 | 0.001746 | 0.04179 | 27.72 | 1.514 | 0.2156 | 0.4332 | 1 | 1 | 0.003216 | 0.01498 | 0.02953 | 0.3962 | 1.845 | 3.638 | json |
| t12_x3_u0_b102 | 12 | 3 | 0 | 102 | ![]() |
sqt(dot(P,div(D,P))) | 21831 | 97568517 | o1(o2(x,o2(x,x))) | true | 4495 | 4495 | -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_x3_u0_b103 | 12 | 3 | 0 | 103 | ![]() |
sqt(dot(P,pow(D,P))) | 21832 | 97568518 | o1(o2(x,o2(x,x))) | true | 4503 | 4503 | -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_x3_u0_b104 | 12 | 3 | 0 | 104 | ![]() |
sqt(dot(P,mod(D,P))) | 21833 | 97568519 | o1(o2(x,o2(x,x))) | true | 4511 | 4511 | -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_x3_u0_b105 | 12 | 3 | 0 | 105 | ![]() |
sqt(dot(P,lrg(D,P))) | 21834 | 97568520 | o1(o2(x,o2(x,x))) | true | 4519 | 4519 | -0.75 | 0 | 0.75 | 0.1875 | 0.433 | -1 | 0 | 1 | 1 | 0.8113 | 0.001984 | 0.001984 | 0.003968 | 0 | 1 | 0 | 0.007968 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.02116 | 0.0425 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02807 | 0.1123 | 0.4491 | json |
| t12_x3_u0_b106 | 12 | 3 | 0 | 106 | ![]() |
sqt(dot(P,eql(D,P))) | 21835 | 97568521 | o1(o2(x,o2(x,x))) | true | 4527 | 4527 | 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_x3_u0_b107 | 12 | 3 | 0 | 107 | ![]() |
sqt(dot(P,min(D,P))) | 21836 | 97568522 | o1(o2(x,o2(x,x))) | true | 4535 | 4535 | 0.2676 | 0.6348 | 0.9981 | 0.9251 | 0.9618 | -1 | 1 | 2 | 1 | 1.018 | 0.02933 | 0.02933 | 0.03047 | -5.715e-7 | 1 | 0.0009339 | 0.1237 | 0.05935 | 0.05777 | 0.2403 | 7.888 | 2.807 | 0.06342 | 0.1337 | 1 | 1 | 0.07282 | 0.2211 | 0.4609 | 0.07872 | 0.239 | 0.4982 | json |
| t12_x3_u0_b108 | 12 | 3 | 0 | 108 | ![]() |
sqt(dot(P,dot(D,P))) | 21837 | 97568523 | o1(o2(x,o2(x,x))) | true | 4543 | 4543 | -0.9905 | 0.006531 | 0.9964 | 0.01397 | 0.1182 | -1 | 0.913 | 1.913 | 1 | 0.08148 | 0.005957 | 0.005957 | 0.008569 | -1.954e-7 | 1 | 0.000002735 | 0.04531 | 0.01723 | 0.01183 | 0.1088 | 12.69 | 2.237 | 0.8526 | 3.242 | 1 | 1 | 0.01439 | 0.03107 | 0.0462 | 1.03 | 2.223 | 3.306 | json |
| t12_x3_u0_b109 | 12 | 3 | 0 | 109 | ![]() |
sqt(dot(P,dst(D,P))) | 21838 | 97568524 | o1(o2(x,o2(x,x))) | true | 4551 | 4551 | -0.06895 | 0.4688 | 0.9936 | 0.9875 | 0.9938 | -1 | 1 | 2 | 1 | 1.122 | 0.01108 | 0.01108 | 0.0142 | -1.261e-7 | 1 | -6.007e-11 | 0.046 | 0.02579 | 0.02196 | 0.1482 | 10.44 | 2.828 | 0.02244 | 0.04658 | 1 | 1 | 0.02984 | 0.1408 | 0.6179 | 0.03022 | 0.1426 | 0.6257 | json |
| t12_x3_u0_b110 | 12 | 3 | 0 | 110 | ![]() |
sqt(dst(P,add(D,P))) | 21839 | 97568525 | o1(o2(x,o2(x,x))) | true | 4559 | 4559 | 0.6462 | 1 | 0.6462 | 0.0189 | 0.1375 | 0.2107 | 0.838 | 0.6273 | 1 | 2.946 | 0.001647 | 0.001647 | 0.05095 | -0.000001272 | 1 | -0.0006689 | 0.0009022 | 0.01589 | 0.0006987 | 0.02643 | 0.5188 | 0.1533 | 0.1743 | 0.04773 | 1 | 1 | 0.00623 | 0.0394 | 0 | 0.3296 | 2.084 | 0 | json |
| t12_x3_u0_b111 | 12 | 3 | 0 | 111 | ![]() |
sqt(dst(P,sub(D,P))) | 21840 | 97568526 | o1(o2(x,o2(x,x))) | true | 4567 | 4567 | 0.9993 | 1 | 0.9993 | 0.0003127 | 0.01768 | 0.2111 | 1 | 0.7889 | 1 | 0.027 | 0.00001888 | 0.00001888 | 0.0003088 | 1.927e-7 | 0 | 3.754e-12 | 0.00001535 | 0.000166 | 0.00003762 | 0.006133 | 19.86 | 0.1606 | 0.1207 | 0.04907 | 1 | 1 | 0.0001232 | 0.0009731 | 0.001138 | 0.394 | 3.112 | 3.639 | json |
| t12_x3_u0_b112 | 12 | 3 | 0 | 112 | ![]() |
sqt(dst(P,mlt(D,P))) | 21841 | 97568527 | o1(o2(x,o2(x,x))) | true | 4575 | 4575 | 0.996 | 1 | 0.996 | 0.002551 | 0.05051 | 0.0001029 | 1 | 0.9999 | 1 | 0.09889 | 0.00004146 | 0.00004146 | 0.0008916 | 1.755e-7 | 0 | -3.379e-11 | 0.00000963 | 0.0002815 | 0.0000822 | 0.009067 | 10.17 | 0.1425 | 0.03251 | 0.003775 | 1 | 1 | 0.0002855 | 0.003508 | 0.009311 | 0.1119 | 1.375 | 3.65 | json |
| t12_x3_u0_b113 | 12 | 3 | 0 | 113 | ![]() |
sqt(dst(P,div(D,P))) | 21842 | 97568528 | o1(o2(x,o2(x,x))) | true | 4583 | 4583 | -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_x3_u0_b114 | 12 | 3 | 0 | 114 | ![]() |
sqt(dst(P,pow(D,P))) | 21843 | 97568529 | o1(o2(x,o2(x,x))) | true | 4591 | 4591 | -0.9922 | 0.003906 | 1 | 0.01556 | 0.1248 | -1 | 1 | 2 | 1 | 0.03687 | 0.002016 | 0.002016 | 0.001997 | 0 | 1 | 0 | 0.008566 | 0.004031 | 0.004025 | 0.06344 | 31.77 | 2.828 | 0.259 | 0.5504 | 1 | 1 | 0.007091 | 0.02837 | 0.05673 | 0.4556 | 1.823 | 3.645 | json |
| t12_x3_u0_b115 | 12 | 3 | 0 | 115 | ![]() |
sqt(dst(P,mod(D,P))) | 21844 | 97568530 | o1(o2(x,o2(x,x))) | true | 4599 | 4599 | -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_x3_u0_b116 | 12 | 3 | 0 | 116 | ![]() |
sqt(dst(P,lrg(D,P))) | 21845 | 97568531 | o1(o2(x,o2(x,x))) | true | 4607 | 4607 | 0.9994 | 1 | 0.9994 | 0.0004114 | 0.02028 | 0.0008231 | 1 | 0.9992 | 1 | 0.01672 | 0.0000948 | 0.0000948 | 0.0003466 | 0 | 1 | -4.881e-11 | 0.0003813 | 0.0004797 | 0.0001894 | 0.01376 | 39.71 | 1.413 | 0.4609 | 0.9268 | 1 | 1 | 0.0003677 | 0.001442 | 0.001496 | 0.8938 | 3.506 | 3.636 | json |
| t12_x3_u0_b117 | 12 | 3 | 0 | 117 | ![]() |
sqt(dst(P,eql(D,P))) | 21846 | 97568532 | o1(o2(x,o2(x,x))) | true | 4615 | 4615 | 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_x3_u0_b118 | 12 | 3 | 0 | 118 | ![]() |
sqt(dst(P,min(D,P))) | 21847 | 97568533 | o1(o2(x,o2(x,x))) | true | 4623 | 4623 | 0.737 | 0.8086 | 0.737 | 0.1773 | 0.421 | 0 | 1 | 1 | 1 | 1.389 | 0.0003713 | 0.0003713 | 0.007986 | 0.000001097 | 1 | -5.354e-9 | 0.0002106 | 0.003473 | 0.0006793 | 0.02606 | 3.264 | 0.1789 | 0.004189 | 0.001188 | 1 | 1 | 0.001828 | 0.01648 | 0.06141 | 0.01031 | 0.09299 | 0.3464 | json |
| t12_x3_u0_b119 | 12 | 3 | 0 | 119 | ![]() |
sqt(dst(P,dot(D,P))) | 21848 | 97568534 | o1(o2(x,o2(x,x))) | true | 4631 | 4631 | 0.9966 | 1 | 0.9966 | 0.002081 | 0.04562 | 0.0006813 | 1 | 0.9993 | 1 | 0.09511 | 0.00003768 | 0.00003768 | 0.0007974 | 0 | 0 | -2.253e-11 | 0.00001089 | 0.0002458 | 0.00007465 | 0.00864 | 10.84 | 0.1556 | 0.03622 | 0.005236 | 1 | 1 | 0.0002584 | 0.003113 | 0.00759 | 0.1242 | 1.496 | 3.647 | json |
| t12_x3_u0_b120 | 12 | 3 | 0 | 120 | ![]() |
sqt(dst(P,dst(D,P))) | 21849 | 97568535 | o1(o2(x,o2(x,x))) | true | 4639 | 4639 | 0.9996 | 1 | 0.9996 | 0.000167 | 0.01292 | 0.2775 | 1 | 0.7225 | 1 | 0.01843 | 0.000015 | 0.000015 | 0.0002279 | -3.031e-8 | 0 | 7.509e-12 | 0.00001468 | 0.0001329 | 0.00002993 | 0.00547 | 24 | 0.206 | 0.1797 | 0.08792 | 1 | 1 | 0.00009628 | 0.0005815 | 0.0006072 | 0.5766 | 3.483 | 3.637 | json |
| t12_x3_u1_b0 | 12 | 3 | 1 | 0 | ![]() |
log(add(P,add(D,P))) | 21850 | 97568616 | o1(o2(x,o2(x,x))) | true | 4647 | 4647 | -0.07974 | 0.4648 | 0.9714 | 0.953 | 0.9762 | -1 | 1 | 2 | 1 | 1.525 | 0.001339 | 0 | 0.007937 | 1 | 1 | 3.075e-9 | 0.000267 | 0.002348 | 0.001277 | 0.03573 | 4.502 | 0.2672 | 0.001405 | 0.0002801 | 1 | 1 | 0.003376 | 0.03975 | 0.2822 | 0.003542 | 0.04171 | 0.2961 | json |
| t12_x3_u1_b1 | 12 | 3 | 1 | 1 | ![]() |
log(add(P,sub(D,P))) | 21851 | 97568617 | o1(o2(x,o2(x,x))) | true | 4655 | 4655 | -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_x3_u1_b2 | 12 | 3 | 1 | 2 | ![]() |
log(add(P,mlt(D,P))) | 21852 | 97568618 | o1(o2(x,o2(x,x))) | true | 4663 | 4663 | -0.1816 | 0.4375 | 0.9434 | 0.8909 | 0.9439 | -1 | 1 | 2 | 1 | 1.72 | 0.004417 | 0 | 0.008273 | 1 | 1 | 0 | 0.00807 | 0.009232 | 0.004345 | 0.06592 | 7.968 | 1.03 | 0.004958 | 0.009058 | 1 | 1 | 0.006366 | 0.03252 | 0.2351 | 0.007146 | 0.03651 | 0.2638 | json |
| t12_x3_u1_b3 | 12 | 3 | 1 | 3 | ![]() |
log(add(P,div(D,P))) | 21853 | 97568619 | o1(o2(x,o2(x,x))) | true | 4671 | 4671 | -0.1675 | 0.4375 | 0.9575 | 0.9113 | 0.9546 | -1 | 1 | 2 | 1 | 1.665 | 0.004389 | 0 | 0.007936 | 1 | 1 | -1.419e-9 | 0.007952 | 0.008384 | 0.004325 | 0.06576 | 8.286 | 1.031 | 0.004816 | 0.008726 | 1 | 1 | 0.006369 | 0.03774 | 0.2556 | 0.006988 | 0.04141 | 0.2804 | json |
| t12_x3_u1_b4 | 12 | 3 | 1 | 4 | ![]() |
log(add(P,pow(D,P))) | 21854 | 97568620 | o1(o2(x,o2(x,x))) | true | 4679 | 4679 | -0.9179 | 0.03125 | 0.9619 | 0.1147 | 0.3387 | -1 | 1 | 2 | 1 | 0.5092 | 0.02083 | 0 | 0.01702 | 1 | 1 | -2.365e-9 | 0.04006 | 0.02658 | 0.02054 | 0.1433 | 8.418 | 2 | 0.1816 | 0.3493 | 1 | 1 | 0.02869 | 0.09799 | 0.1635 | 0.2502 | 0.8543 | 1.426 | json |
| t12_x3_u1_b5 | 12 | 3 | 1 | 5 | ![]() |
log(add(P,mod(D,P))) | 21855 | 97568621 | o1(o2(x,o2(x,x))) | true | 4687 | 4687 | -0.1699 | 0.4375 | 0.9551 | 0.9081 | 0.953 | -1 | 1 | 2 | 1 | 1.696 | 0.004365 | 0 | 0.007936 | 1 | 1 | -9.386e-13 | 0.007967 | 0.008181 | 0.004301 | 0.06558 | 8.264 | 1.031 | 0.004807 | 0.008773 | 1 | 1 | 0.006296 | 0.03594 | 0.2527 | 0.006933 | 0.03957 | 0.2782 | json |
| t12_x3_u1_b6 | 12 | 3 | 1 | 6 | ![]() |
log(add(P,lrg(D,P))) | 21856 | 97568622 | o1(o2(x,o2(x,x))) | true | 4695 | 4695 | -0.1114 | 0.4375 | 0.8886 | 0.8598 | 0.9273 | -1 | 1 | 2 | 1 | 1.88 | 0.004184 | 0 | 0.007937 | 1 | 1 | 1.891e-9 | 0.007951 | 0.008953 | 0.00412 | 0.06419 | 8.088 | 1 | 0.004866 | 0.009247 | 1 | 1 | 0.005827 | 0.02829 | 0.1761 | 0.006777 | 0.03291 | 0.2048 | json |
| t12_x3_u1_b7 | 12 | 3 | 1 | 7 | ![]() |
log(add(P,eql(D,P))) | 21857 | 97568623 | o1(o2(x,o2(x,x))) | true | 4703 | 4703 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0.005854 | 0.03284 | 0.2495 | 0.006466 | 0.03627 | 0.2755 | json |
| t12_x3_u1_b8 | 12 | 3 | 1 | 8 | ![]() |
log(add(P,min(D,P))) | 21858 | 97568624 | o1(o2(x,o2(x,x))) | true | 4711 | 4711 | -0.1699 | 0.4375 | 0.9551 | 0.9081 | 0.953 | -1 | 1 | 2 | 1 | 1.696 | 0.004365 | 0 | 0.007936 | 1 | 1 | -9.386e-13 | 0.007967 | 0.008181 | 0.004301 | 0.06558 | 8.264 | 1.031 | 0.004807 | 0.008773 | 1 | 1 | 0.006296 | 0.03594 | 0.2527 | 0.006933 | 0.03957 | 0.2782 | json |
| t12_x3_u1_b9 | 12 | 3 | 1 | 9 | ![]() |
log(add(P,dot(D,P))) | 21859 | 97568625 | o1(o2(x,o2(x,x))) | true | 4719 | 4719 | -0.561 | 0.226 | 0.9729 | 0.6484 | 0.8052 | -1 | 1 | 2 | 1 | 1.214 | 0.1338 | 0.1189 | 0.134 | 0.05902 | 1 | 0.00102 | 0.7384 | 0.2704 | 0.2346 | 0.4843 | 3.615 | 2.828 | 0.3896 | 1.139 | 1 | 1 | 0.2192 | 0.4954 | 0.3307 | 0.3381 | 0.7641 | 0.51 | json |
| t12_x3_u1_b10 | 12 | 3 | 1 | 10 | ![]() |
log(add(P,dst(D,P))) | 21860 | 97568626 | o1(o2(x,o2(x,x))) | true | 4727 | 4727 | 0.5673 | 0.8031 | 0.9161 | 0.564 | 0.751 | -1 | 1 | 2 | 1 | 2.037 | 0.005905 | 0.006771 | 0.02107 | -0.06829 | 1 | -0.0001088 | 0.03378 | 0.02654 | 0.01223 | 0.1106 | 5.249 | 2.257 | 0.02248 | 0.0599 | 1 | 1 | 0.01601 | 0.06233 | 0.3288 | 0.02838 | 0.1105 | 0.583 | json |
| t12_x3_u1_b11 | 12 | 3 | 1 | 11 | ![]() |
log(sub(P,add(D,P))) | 21861 | 97568627 | o1(o2(x,o2(x,x))) | true | 4735 | 4735 | -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_x3_u1_b12 | 12 | 3 | 1 | 12 | ![]() |
log(sub(P,sub(D,P))) | 21862 | 97568628 | o1(o2(x,o2(x,x))) | true | 4743 | 4743 | -0.1338 | 0.4375 | 0.9912 | 0.967 | 0.9834 | -1 | 1 | 2 | 1 | 1.2 | 0.01128 | 0 | 0.008231 | 1 | 1 | -9.461e-10 | 0.02273 | 0.01427 | 0.01121 | 0.1059 | 12.86 | 1.678 | 0.01167 | 0.0235 | 1 | 1 | 0.01485 | 0.06425 | 0.3169 | 0.01536 | 0.06644 | 0.3277 | json |
| t12_x3_u1_b13 | 12 | 3 | 1 | 13 | ![]() |
log(sub(P,mlt(D,P))) | 21863 | 97568629 | o1(o2(x,o2(x,x))) | true | 4751 | 4751 | -0.1849 | 0.4141 | 0.9444 | 0.8916 | 0.9442 | -1 | 1 | 2 | 1 | 1.733 | 0.004324 | 0 | 0.0111 | 1 | 1 | -4.021e-9 | 0.00801 | 0.01112 | 0.0042 | 0.06481 | 5.84 | 0.9687 | 0.00485 | 0.008984 | 1 | 1 | 0.006159 | 0.03257 | 0.2383 | 0.006908 | 0.03653 | 0.2673 | json |
| t12_x3_u1_b14 | 12 | 3 | 1 | 14 | ![]() |
log(sub(P,div(D,P))) | 21864 | 97568630 | o1(o2(x,o2(x,x))) | true | 4759 | 4759 | -0.1852 | 0.4102 | 0.946 | 0.896 | 0.9465 | -1 | 1 | 2 | 1 | 1.662 | 0.004148 | 0 | 0.009237 | 1 | 1 | 1.656e-9 | 0.007964 | 0.009722 | 0.004065 | 0.06376 | 6.902 | 0.9685 | 0.004629 | 0.008889 | 1 | 1 | 0.005721 | 0.02852 | 0.2425 | 0.006385 | 0.03183 | 0.2706 | json |
| t12_x3_u1_b15 | 12 | 3 | 1 | 15 | ![]() |
log(sub(P,pow(D,P))) | 21865 | 97568631 | o1(o2(x,o2(x,x))) | true | 4767 | 4767 | -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_x3_u1_b16 | 12 | 3 | 1 | 16 | ![]() |
log(sub(P,mod(D,P))) | 21866 | 97568632 | o1(o2(x,o2(x,x))) | true | 4775 | 4775 | -0.1845 | 0.4102 | 0.946 | 0.8951 | 0.9461 | -1 | 1 | 2 | 1 | 1.666 | 0.004179 | 0 | 0.009576 | 1 | 1 | -3.075e-9 | 0.007969 | 0.009942 | 0.004088 | 0.06393 | 6.676 | 0.9686 | 0.004669 | 0.008903 | 1 | 1 | 0.005802 | 0.02944 | 0.2416 | 0.006482 | 0.03289 | 0.27 | json |
| t12_x3_u1_b17 | 12 | 3 | 1 | 17 | ![]() |
log(sub(P,lrg(D,P))) | 21867 | 97568633 | o1(o2(x,o2(x,x))) | true | 4783 | 4783 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0.005854 | 0.03284 | 0.2495 | 0.006466 | 0.03627 | 0.2755 | json |
| t12_x3_u1_b18 | 12 | 3 | 1 | 18 | ![]() |
log(sub(P,eql(D,P))) | 21868 | 97568634 | o1(o2(x,o2(x,x))) | true | 4791 | 4791 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0.005854 | 0.03284 | 0.2495 | 0.006466 | 0.03627 | 0.2755 | json |
| t12_x3_u1_b19 | 12 | 3 | 1 | 19 | ![]() |
log(sub(P,min(D,P))) | 21869 | 97568635 | o1(o2(x,o2(x,x))) | true | 4799 | 4799 | -0.1845 | 0.4102 | 0.946 | 0.8951 | 0.9461 | -1 | 1 | 2 | 1 | 1.666 | 0.004179 | 0 | 0.009576 | 1 | 1 | -3.075e-9 | 0.007969 | 0.009942 | 0.004088 | 0.06393 | 6.676 | 0.9686 | 0.004669 | 0.008903 | 1 | 1 | 0.005802 | 0.02944 | 0.2416 | 0.006482 | 0.03289 | 0.27 | json |
| t12_x3_u1_b20 | 12 | 3 | 1 | 20 | ![]() |
log(sub(P,dot(D,P))) | 21870 | 97568636 | o1(o2(x,o2(x,x))) | true | 4807 | 4807 | -0.5475 | 0.2317 | 0.975 | 0.6656 | 0.8158 | -1 | 1 | 2 | 1 | 1.213 | 0.1229 | 0.09569 | 0.116 | 0.1247 | 1 | -0.001134 | 0.6435 | 0.2335 | 0.2053 | 0.4531 | 3.906 | 2.828 | 0.3285 | 0.9668 | 1 | 1 | 0.1842 | 0.4147 | 0.387 | 0.2767 | 0.623 | 0.5815 | json |
| t12_x3_u1_b21 | 12 | 3 | 1 | 21 | ![]() |
log(sub(P,dst(D,P))) | 21871 | 97568637 | o1(o2(x,o2(x,x))) | true | 4815 | 4815 | -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_x3_u1_b22 | 12 | 3 | 1 | 22 | ![]() |
log(mlt(P,add(D,P))) | 21872 | 97568638 | o1(o2(x,o2(x,x))) | true | 4823 | 4823 | 0.7058 | 0.875 | 0.9558 | 0.4451 | 0.6672 | -1 | 1 | 2 | 1 | 1.183 | 0.009221 | 0 | 0.01587 | 1 | 1 | 1.892e-9 | 0.01592 | 0.0173 | 0.008967 | 0.09469 | 5.966 | 1.031 | 0.02072 | 0.03578 | 1 | 1 | 0.0139 | 0.09493 | 0.5974 | 0.03122 | 0.2133 | 1.342 | json |
| t12_x3_u1_b23 | 12 | 3 | 1 | 23 | ![]() |
log(mlt(P,sub(D,P))) | 21873 | 97568639 | o1(o2(x,o2(x,x))) | true | 4831 | 4831 | -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_x3_u1_b24 | 12 | 3 | 1 | 24 | ![]() |
log(mlt(P,mlt(D,P))) | 21874 | 97568640 | o1(o2(x,o2(x,x))) | true | 4839 | 4839 | -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_x3_u1_b25 | 12 | 3 | 1 | 25 | ![]() |
log(mlt(P,div(D,P))) | 21875 | 97568641 | o1(o2(x,o2(x,x))) | true | 4847 | 4847 | -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_x3_u1_b26 | 12 | 3 | 1 | 26 | ![]() |
log(mlt(P,pow(D,P))) | 21876 | 97568642 | o1(o2(x,o2(x,x))) | true | 4855 | 4855 | -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_x3_u1_b27 | 12 | 3 | 1 | 27 | ![]() |
log(mlt(P,mod(D,P))) | 21877 | 97568643 | o1(o2(x,o2(x,x))) | true | 4863 | 4863 | -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_x3_u1_b28 | 12 | 3 | 1 | 28 | ![]() |
log(mlt(P,lrg(D,P))) | 21878 | 97568644 | o1(o2(x,o2(x,x))) | true | 4871 | 4871 | -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_x3_u1_b29 | 12 | 3 | 1 | 29 | ![]() |
log(mlt(P,eql(D,P))) | 21879 | 97568645 | o1(o2(x,o2(x,x))) | true | 4879 | 4879 | -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_x3_u1_b30 | 12 | 3 | 1 | 30 | ![]() |
log(mlt(P,min(D,P))) | 21880 | 97568646 | o1(o2(x,o2(x,x))) | true | 4887 | 4887 | -0.1507 | 0.4375 | 0.9743 | 0.9471 | 0.9732 | -1 | 1 | 2 | 1 | 1.29 | 0.004479 | 0 | 0.007936 | 1 | 1 | -9.461e-10 | 0.007933 | 0.00915 | 0.004415 | 0.06645 | 8.372 | 1 | 0.004729 | 0.008376 | 1 | 1 | 0.006621 | 0.04469 | 0.2958 | 0.006991 | 0.04718 | 0.3123 | json |
| t12_x3_u1_b31 | 12 | 3 | 1 | 31 | ![]() |
log(mlt(P,dot(D,P))) | 21881 | 97568647 | o1(o2(x,o2(x,x))) | true | 4895 | 4895 | -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_x3_u1_b32 | 12 | 3 | 1 | 32 | ![]() |
log(mlt(P,dst(D,P))) | 21882 | 97568648 | o1(o2(x,o2(x,x))) | true | 4903 | 4903 | -0.1292 | 0.437 | 0.9959 | 0.9772 | 0.9885 | -1 | 1 | 2 | 1 | 1.084 | 0.01377 | 0.00002126 | 0.008165 | 0.9969 | 1 | 5.256e-11 | 0.02746 | 0.01499 | 0.01372 | 0.1171 | 14.34 | 2 | 0.01411 | 0.0281 | 1 | 1 | 0.01749 | 0.07485 | 0.3295 | 0.0179 | 0.07659 | 0.3372 | json |
| t12_x3_u1_b33 | 12 | 3 | 1 | 33 | ![]() |
log(div(P,add(D,P))) | 21883 | 97568649 | o1(o2(x,o2(x,x))) | true | 4911 | 4911 | -0.1339 | 0.3984 | 0.1509 | 0.1086 | 0.3295 | -1 | 0.065 | 1.065 | 1 | 1.866 | 0.007645 | 0 | 0.01726 | 1 | 1 | -0.000039 | 0.0158 | 0.01968 | 0.007348 | 0.08572 | 4.967 | 0.9694 | 0.07041 | 0.1455 | 1 | 1 | 0.009779 | 0.03595 | 0.1606 | 0.09006 | 0.3311 | 1.479 | json |
| t12_x3_u1_b34 | 12 | 3 | 1 | 34 | ![]() |
log(div(P,sub(D,P))) | 21884 | 97568650 | o1(o2(x,o2(x,x))) | true | 4919 | 4919 | -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_x3_u1_b35 | 12 | 3 | 1 | 35 | ![]() |
log(div(P,mlt(D,P))) | 21885 | 97568651 | o1(o2(x,o2(x,x))) | true | 4927 | 4927 | -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_x3_u1_b36 | 12 | 3 | 1 | 36 | ![]() |
log(div(P,div(D,P))) | 21886 | 97568652 | o1(o2(x,o2(x,x))) | true | 4935 | 4935 | -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_x3_u1_b37 | 12 | 3 | 1 | 37 | ![]() |
log(div(P,pow(D,P))) | 21887 | 97568653 | o1(o2(x,o2(x,x))) | true | 4943 | 4943 | -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_x3_u1_b38 | 12 | 3 | 1 | 38 | ![]() |
log(div(P,mod(D,P))) | 21888 | 97568654 | o1(o2(x,o2(x,x))) | true | 4951 | 4951 | -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_x3_u1_b39 | 12 | 3 | 1 | 39 | ![]() |
log(div(P,lrg(D,P))) | 21889 | 97568655 | o1(o2(x,o2(x,x))) | true | 4959 | 4959 | -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_x3_u1_b40 | 12 | 3 | 1 | 40 | ![]() |
log(div(P,eql(D,P))) | 21890 | 97568656 | o1(o2(x,o2(x,x))) | true | 4967 | 4967 | -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_x3_u1_b41 | 12 | 3 | 1 | 41 | ![]() |
log(div(P,min(D,P))) | 21891 | 97568657 | o1(o2(x,o2(x,x))) | true | 4975 | 4975 | -0.5625 | 0 | 0.5625 | 0.2461 | 0.4961 | -1 | 0 | 1 | 1 | 1.42 | 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.005263 | 0.02105 | 0.08421 | 0.02139 | 0.08555 | 0.3422 | json |
| t12_x3_u1_b42 | 12 | 3 | 1 | 42 | ![]() |
log(div(P,dot(D,P))) | 21892 | 97568658 | o1(o2(x,o2(x,x))) | true | 4983 | 4983 | -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_x3_u1_b43 | 12 | 3 | 1 | 43 | ![]() |
log(div(P,dst(D,P))) | 21893 | 97568659 | o1(o2(x,o2(x,x))) | true | 4991 | 4991 | -0.7292 | 0.02048 | 0.7303 | 0.1418 | 0.3766 | -1 | 0.2636 | 1.264 | 1 | 2.405 | 0.0004974 | 0.00007641 | 0.006246 | 0.7337 | 1 | 0.00002016 | 0.0008473 | 0.002833 | 0.0005346 | 0.02312 | 3.702 | 1.031 | 0.004046 | 0.005974 | 1 | 1 | 0.001206 | 0.008374 | 0.05521 | 0.008505 | 0.05904 | 0.3892 | json |
| t12_x3_u1_b44 | 12 | 3 | 1 | 44 | ![]() |
log(pow(P,add(D,P))) | 21894 | 97568660 | o1(o2(x,o2(x,x))) | true | 4999 | 4999 | -0.1546 | 0.4375 | 0.9704 | 0.9411 | 0.9701 | -1 | 1 | 2 | 1 | 1.309 | 0.004441 | 0 | 0.007937 | 1 | 1 | -1.892e-9 | 0.007964 | 0.009082 | 0.004377 | 0.06616 | 8.336 | 1 | 0.004719 | 0.008462 | 1 | 1 | 0.006499 | 0.04127 | 0.2898 | 0.006905 | 0.04385 | 0.3079 | json |
| t12_x3_u1_b45 | 12 | 3 | 1 | 45 | ![]() |
log(pow(P,sub(D,P))) | 21895 | 97568661 | o1(o2(x,o2(x,x))) | true | 5007 | 5007 | -0.9774 | 0 | 0.9774 | 0.01784 | 0.1336 | -1 | -0.0005989 | 0.9994 | 1 | 0.2758 | 0.004544 | 0 | 0.007932 | 1 | 1 | 0 | 0.00814 | 0.009396 | 0.00448 | 0.06693 | 8.438 | 0.9994 | 0.2547 | 0.4563 | 1 | 1 | 0.006656 | 0.02451 | 0.02474 | 0.3731 | 1.374 | 1.387 | json |
| t12_x3_u1_b46 | 12 | 3 | 1 | 46 | ![]() |
log(pow(P,mlt(D,P))) | 21896 | 97568662 | o1(o2(x,o2(x,x))) | true | 5015 | 5015 | -0.6593 | 0.1484 | 0.817 | 0.3318 | 0.576 | -1 | 1 | 2 | 1 | 2.431 | 0.03689 | 0 | 0.08096 | 1 | 1 | -9.461e-10 | 0.02209 | 0.0514 | 0.03035 | 0.1742 | 2.152 | 0.9996 | 0.1112 | 0.06657 | 1 | 1 | 0.04253 | 0.2804 | 0.07681 | 0.1282 | 0.8453 | 0.2315 | json |
| t12_x3_u1_b47 | 12 | 3 | 1 | 47 | ![]() |
log(pow(P,div(D,P))) | 21897 | 97568663 | o1(o2(x,o2(x,x))) | true | 5023 | 5023 | -0.5648 | 0.1875 | 0.5769 | 0.2441 | 0.4941 | -1 | 0.05438 | 1.054 | 1 | 1.544 | 0.004043 | 0 | 0.009048 | 1 | 1 | 0.00003978 | 0.007963 | 0.009897 | 0.003959 | 0.06292 | 6.954 | 0.9999 | 0.01656 | 0.03261 | 1 | 1 | 0.005405 | 0.02086 | 0.08018 | 0.02214 | 0.08543 | 0.3284 | json |
| t12_x3_u1_b48 | 12 | 3 | 1 | 48 | ![]() |
log(pow(P,pow(D,P))) | 21898 | 97568664 | o1(o2(x,o2(x,x))) | true | 5031 | 5031 | -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_x3_u1_b49 | 12 | 3 | 1 | 49 | ![]() |
log(pow(P,mod(D,P))) | 21899 | 97568665 | o1(o2(x,o2(x,x))) | true | 5039 | 5039 | -0.5811 | 0.1719 | 0.6243 | 0.2366 | 0.4864 | -1 | 0.2753 | 1.275 | 1 | 2.4 | 0.005528 | 0 | 0.02624 | 1 | 1 | 0.0003388 | 0.008211 | 0.01673 | 0.00484 | 0.06957 | 2.651 | 0.9998 | 0.02337 | 0.03471 | 1 | 1 | 0.00742 | 0.03505 | 0.07311 | 0.03137 | 0.1482 | 0.3091 | json |



































































































