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_x13_u4_b117 | 12 | 13 | 4 | 117 | ![]() |
cil(dst(D,eql(D,D))) | 30800 | 97973346 | o1(o2(x,o2(x,x))) | true | 76247 | 76247 | 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_x13_u4_b118 | 12 | 13 | 4 | 118 | ![]() |
cil(dst(D,min(D,D))) | 30801 | 97973347 | o1(o2(x,o2(x,x))) | true | 76255 | 76255 | 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_x13_u4_b119 | 12 | 13 | 4 | 119 | ![]() |
cil(dst(D,dot(D,D))) | 30802 | 97973348 | o1(o2(x,o2(x,x))) | true | 76263 | 76263 | 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_x13_u4_b120 | 12 | 13 | 4 | 120 | ![]() |
cil(dst(D,dst(D,D))) | 30803 | 97973349 | o1(o2(x,o2(x,x))) | true | 76271 | 76271 | 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_x13_u5_b0 | 12 | 13 | 5 | 0 | ![]() |
sgn(add(D,add(D,D))) | 30804 | 97973430 | o1(o2(x,o2(x,x))) | true | 76279 | 76279 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b1 | 12 | 13 | 5 | 1 | ![]() |
sgn(add(D,sub(D,D))) | 30805 | 97973431 | o1(o2(x,o2(x,x))) | true | 76287 | 76287 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b2 | 12 | 13 | 5 | 2 | ![]() |
sgn(add(D,mlt(D,D))) | 30806 | 97973432 | o1(o2(x,o2(x,x))) | true | 76295 | 76295 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b3 | 12 | 13 | 5 | 3 | ![]() |
sgn(add(D,div(D,D))) | 30807 | 97973433 | o1(o2(x,o2(x,x))) | true | 76303 | 76303 | 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_x13_u5_b4 | 12 | 13 | 5 | 4 | ![]() |
sgn(add(D,pow(D,D))) | 30808 | 97973434 | o1(o2(x,o2(x,x))) | true | 76311 | 76311 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b5 | 12 | 13 | 5 | 5 | ![]() |
sgn(add(D,mod(D,D))) | 30809 | 97973435 | o1(o2(x,o2(x,x))) | true | 76319 | 76319 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b6 | 12 | 13 | 5 | 6 | ![]() |
sgn(add(D,lrg(D,D))) | 30810 | 97973436 | o1(o2(x,o2(x,x))) | true | 76327 | 76327 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b7 | 12 | 13 | 5 | 7 | ![]() |
sgn(add(D,eql(D,D))) | 30811 | 97973437 | o1(o2(x,o2(x,x))) | true | 76335 | 76335 | 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_x13_u5_b8 | 12 | 13 | 5 | 8 | ![]() |
sgn(add(D,min(D,D))) | 30812 | 97973438 | o1(o2(x,o2(x,x))) | true | 76343 | 76343 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b9 | 12 | 13 | 5 | 9 | ![]() |
sgn(add(D,dot(D,D))) | 30813 | 97973439 | o1(o2(x,o2(x,x))) | true | 76351 | 76351 | 0.2829 | 0.6484 | 0.6672 | 0.4665 | 0.683 | -0.9988 | 1 | 1.999 | 1 | 4.212 | 0.1858 | 0.09642 | 0.2604 | 0.3167 | 1 | 0.0006008 | 0.8131 | 0.3501 | 0.2144 | 0.4631 | 1.778 | 2.743 | 0.6049 | 1.743 | 1 | 1 | 0.3086 | 0.9718 | 0 | 0.6615 | 2.083 | 0 | json |
| t12_x13_u5_b10 | 12 | 13 | 5 | 10 | ![]() |
sgn(add(D,dst(D,D))) | 30814 | 97973440 | o1(o2(x,o2(x,x))) | true | 76359 | 76359 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b11 | 12 | 13 | 5 | 11 | ![]() |
sgn(sub(D,add(D,D))) | 30815 | 97973441 | o1(o2(x,o2(x,x))) | true | 76367 | 76367 | 1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b12 | 12 | 13 | 5 | 12 | ![]() |
sgn(sub(D,sub(D,D))) | 30816 | 97973442 | o1(o2(x,o2(x,x))) | true | 76375 | 76375 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b13 | 12 | 13 | 5 | 13 | ![]() |
sgn(sub(D,mlt(D,D))) | 30817 | 97973443 | o1(o2(x,o2(x,x))) | true | 76383 | 76383 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b14 | 12 | 13 | 5 | 14 | ![]() |
sgn(sub(D,div(D,D))) | 30818 | 97973444 | o1(o2(x,o2(x,x))) | true | 76391 | 76391 | -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_x13_u5_b15 | 12 | 13 | 5 | 15 | ![]() |
sgn(sub(D,pow(D,D))) | 30819 | 97973445 | o1(o2(x,o2(x,x))) | true | 76399 | 76399 | -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_x13_u5_b16 | 12 | 13 | 5 | 16 | ![]() |
sgn(sub(D,mod(D,D))) | 30820 | 97973446 | o1(o2(x,o2(x,x))) | true | 76407 | 76407 | 9.095e-13 | 0.5 | 0.5077 | 0.3767 | 0.6138 | -0.9994 | 0.9994 | 1.999 | 1 | 3.75 | 0.8324 | 0 | 0.7891 | 1 | 1 | 0 | 2.816 | 1.505 | 0.21 | 0.4583 | 0.5808 | 1.999 | 2.209 | 7.474 | 1 | 1 | 0.2566 | 0.3852 | 0 | 0.681 | 1.022 | 0 | json |
| t12_x13_u5_b17 | 12 | 13 | 5 | 17 | ![]() |
sgn(sub(D,lrg(D,D))) | 30821 | 97973447 | o1(o2(x,o2(x,x))) | true | 76415 | 76415 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b18 | 12 | 13 | 5 | 18 | ![]() |
sgn(sub(D,eql(D,D))) | 30822 | 97973448 | o1(o2(x,o2(x,x))) | true | 76423 | 76423 | -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_x13_u5_b19 | 12 | 13 | 5 | 19 | ![]() |
sgn(sub(D,min(D,D))) | 30823 | 97973449 | o1(o2(x,o2(x,x))) | true | 76431 | 76431 | 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_x13_u5_b20 | 12 | 13 | 5 | 20 | ![]() |
sgn(sub(D,dot(D,D))) | 30824 | 97973450 | o1(o2(x,o2(x,x))) | true | 76439 | 76439 | -0.2829 | 0.3516 | 0.6672 | 0.4665 | 0.683 | -1 | 0.9988 | 1.999 | 1 | 4.212 | 0.1847 | 0.09642 | 0.2614 | 0.3139 | 1 | -0.0006008 | 0.8131 | 0.3501 | 0.2127 | 0.4612 | 1.765 | 2.674 | 0.6025 | 1.743 | 1 | 1 | 0.3038 | 0.9718 | 0 | 0.6511 | 2.083 | 0 | json |
| t12_x13_u5_b21 | 12 | 13 | 5 | 21 | ![]() |
sgn(sub(D,dst(D,D))) | 30825 | 97973451 | o1(o2(x,o2(x,x))) | true | 76447 | 76447 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b22 | 12 | 13 | 5 | 22 | ![]() |
sgn(mlt(D,add(D,D))) | 30826 | 97973452 | o1(o2(x,o2(x,x))) | true | 76455 | 76455 | 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_x13_u5_b23 | 12 | 13 | 5 | 23 | ![]() |
sgn(mlt(D,sub(D,D))) | 30827 | 97973453 | o1(o2(x,o2(x,x))) | true | 76463 | 76463 | 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_x13_u5_b24 | 12 | 13 | 5 | 24 | ![]() |
sgn(mlt(D,mlt(D,D))) | 30828 | 97973454 | o1(o2(x,o2(x,x))) | true | 76471 | 76471 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b25 | 12 | 13 | 5 | 25 | ![]() |
sgn(mlt(D,div(D,D))) | 30829 | 97973455 | o1(o2(x,o2(x,x))) | true | 76479 | 76479 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b26 | 12 | 13 | 5 | 26 | ![]() |
sgn(mlt(D,pow(D,D))) | 30830 | 97973456 | o1(o2(x,o2(x,x))) | true | 76487 | 76487 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b27 | 12 | 13 | 5 | 27 | ![]() |
sgn(mlt(D,mod(D,D))) | 30831 | 97973457 | o1(o2(x,o2(x,x))) | true | 76495 | 76495 | 0.3937 | 0.5 | 0.3937 | 0.171 | 0.4135 | 0 | 0.9929 | 0.9929 | 1 | 2 | 0.5158 | 0 | 0.5752 | 1 | 1 | 0.00788 | 1.738 | 1.15 | 0.1847 | 0.4297 | 0.7471 | 0.9929 | 3.017 | 10.16 | 1 | 1 | 0.1632 | 0.1592 | 0 | 0.9543 | 0.9315 | 0 | json |
| t12_x13_u5_b28 | 12 | 13 | 5 | 28 | ![]() |
sgn(mlt(D,lrg(D,D))) | 30832 | 97973458 | o1(o2(x,o2(x,x))) | true | 76503 | 76503 | 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_x13_u5_b29 | 12 | 13 | 5 | 29 | ![]() |
sgn(mlt(D,eql(D,D))) | 30833 | 97973459 | o1(o2(x,o2(x,x))) | true | 76511 | 76511 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b30 | 12 | 13 | 5 | 30 | ![]() |
sgn(mlt(D,min(D,D))) | 30834 | 97973460 | o1(o2(x,o2(x,x))) | true | 76519 | 76519 | 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_x13_u5_b31 | 12 | 13 | 5 | 31 | ![]() |
sgn(mlt(D,dot(D,D))) | 30835 | 97973461 | o1(o2(x,o2(x,x))) | true | 76527 | 76527 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b32 | 12 | 13 | 5 | 32 | ![]() |
sgn(mlt(D,dst(D,D))) | 30836 | 97973462 | o1(o2(x,o2(x,x))) | true | 76535 | 76535 | 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_x13_u5_b33 | 12 | 13 | 5 | 33 | ![]() |
sgn(div(D,add(D,D))) | 30837 | 97973463 | o1(o2(x,o2(x,x))) | true | 76543 | 76543 | 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_x13_u5_b34 | 12 | 13 | 5 | 34 | ![]() |
sgn(div(D,sub(D,D))) | 30838 | 97973464 | o1(o2(x,o2(x,x))) | true | 76551 | 76551 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b35 | 12 | 13 | 5 | 35 | ![]() |
sgn(div(D,mlt(D,D))) | 30839 | 97973465 | o1(o2(x,o2(x,x))) | true | 76559 | 76559 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b36 | 12 | 13 | 5 | 36 | ![]() |
sgn(div(D,div(D,D))) | 30840 | 97973466 | o1(o2(x,o2(x,x))) | true | 76567 | 76567 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b37 | 12 | 13 | 5 | 37 | ![]() |
sgn(div(D,pow(D,D))) | 30841 | 97973467 | o1(o2(x,o2(x,x))) | true | 76575 | 76575 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b38 | 12 | 13 | 5 | 38 | ![]() |
sgn(div(D,mod(D,D))) | 30842 | 97973468 | o1(o2(x,o2(x,x))) | true | 76583 | 76583 | 0.3938 | 0.75 | 0.7952 | 0.5475 | 0.7399 | -0.9994 | 1 | 1.999 | 1 | 2.647 | 1.355 | 0 | 0.815 | 1 | 1 | 0.00788 | 4.553 | 1.517 | 0.6914 | 0.8315 | 1.02 | 1.999 | 2.476 | 8.315 | 1 | 1 | 0.4146 | 0.5444 | 0 | 0.7572 | 0.9944 | 0 | json |
| t12_x13_u5_b39 | 12 | 13 | 5 | 39 | ![]() |
sgn(div(D,lrg(D,D))) | 30843 | 97973469 | o1(o2(x,o2(x,x))) | true | 76591 | 76591 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b40 | 12 | 13 | 5 | 40 | ![]() |
sgn(div(D,eql(D,D))) | 30844 | 97973470 | o1(o2(x,o2(x,x))) | true | 76599 | 76599 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b41 | 12 | 13 | 5 | 41 | ![]() |
sgn(div(D,min(D,D))) | 30845 | 97973471 | o1(o2(x,o2(x,x))) | true | 76607 | 76607 | 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_x13_u5_b42 | 12 | 13 | 5 | 42 | ![]() |
sgn(div(D,dot(D,D))) | 30846 | 97973472 | o1(o2(x,o2(x,x))) | true | 76615 | 76615 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b43 | 12 | 13 | 5 | 43 | ![]() |
sgn(div(D,dst(D,D))) | 30847 | 97973473 | o1(o2(x,o2(x,x))) | true | 76623 | 76623 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b44 | 12 | 13 | 5 | 44 | ![]() |
sgn(pow(D,add(D,D))) | 30848 | 97973474 | o1(o2(x,o2(x,x))) | true | 76631 | 76631 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b45 | 12 | 13 | 5 | 45 | ![]() |
sgn(pow(D,sub(D,D))) | 30849 | 97973475 | o1(o2(x,o2(x,x))) | true | 76639 | 76639 | 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_x13_u5_b46 | 12 | 13 | 5 | 46 | ![]() |
sgn(pow(D,mlt(D,D))) | 30850 | 97973476 | o1(o2(x,o2(x,x))) | true | 76647 | 76647 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b47 | 12 | 13 | 5 | 47 | ![]() |
sgn(pow(D,div(D,D))) | 30851 | 97973477 | o1(o2(x,o2(x,x))) | true | 76655 | 76655 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b48 | 12 | 13 | 5 | 48 | ![]() |
sgn(pow(D,pow(D,D))) | 30852 | 97973478 | o1(o2(x,o2(x,x))) | true | 76663 | 76663 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b49 | 12 | 13 | 5 | 49 | ![]() |
sgn(pow(D,mod(D,D))) | 30853 | 97973479 | o1(o2(x,o2(x,x))) | true | 76671 | 76671 | 0.6063 | 0.75 | 0.8937 | 0.4967 | 0.7048 | -0.9858 | 1 | 1.986 | 1 | 1.311 | 1.118 | 0 | 0.6502 | 1 | 1 | -0.00788 | 3.6 | 1.264 | 0.6953 | 0.8339 | 1.282 | 1.986 | 2.251 | 7.249 | 1 | 1 | 0.4263 | 0.6554 | 0 | 0.8583 | 1.319 | 0 | json |
| t12_x13_u5_b50 | 12 | 13 | 5 | 50 | ![]() |
sgn(pow(D,lrg(D,D))) | 30854 | 97973480 | o1(o2(x,o2(x,x))) | true | 76679 | 76679 | 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_x13_u5_b51 | 12 | 13 | 5 | 51 | ![]() |
sgn(pow(D,eql(D,D))) | 30855 | 97973481 | o1(o2(x,o2(x,x))) | true | 76687 | 76687 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b52 | 12 | 13 | 5 | 52 | ![]() |
sgn(pow(D,min(D,D))) | 30856 | 97973482 | o1(o2(x,o2(x,x))) | true | 76695 | 76695 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b53 | 12 | 13 | 5 | 53 | ![]() |
sgn(pow(D,dot(D,D))) | 30857 | 97973483 | o1(o2(x,o2(x,x))) | true | 76703 | 76703 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b54 | 12 | 13 | 5 | 54 | ![]() |
sgn(pow(D,dst(D,D))) | 30858 | 97973484 | o1(o2(x,o2(x,x))) | true | 76711 | 76711 | 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_x13_u5_b55 | 12 | 13 | 5 | 55 | ![]() |
sgn(mod(D,add(D,D))) | 30859 | 97973485 | o1(o2(x,o2(x,x))) | true | 76719 | 76719 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b56 | 12 | 13 | 5 | 56 | ![]() |
sgn(mod(D,sub(D,D))) | 30860 | 97973486 | o1(o2(x,o2(x,x))) | true | 76727 | 76727 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b57 | 12 | 13 | 5 | 57 | ![]() |
sgn(mod(D,mlt(D,D))) | 30861 | 97973487 | o1(o2(x,o2(x,x))) | true | 76735 | 76735 | -2.728e-12 | 0.5 | 0.5639 | 0.4423 | 0.6651 | -0.9858 | 0.9858 | 1.972 | 1 | 3.75 | 0.1383 | 0 | 0.2424 | 1 | 1 | 0 | 0.2434 | 0.2642 | 0.07955 | 0.2821 | 1.164 | 0.986 | 0.3127 | 0.5502 | 1 | 1 | 0.1565 | 0.8182 | 0 | 0.3539 | 1.85 | 0 | json |
| t12_x13_u5_b58 | 12 | 13 | 5 | 58 | ![]() |
sgn(mod(D,div(D,D))) | 30862 | 97973488 | o1(o2(x,o2(x,x))) | true | 76743 | 76743 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b59 | 12 | 13 | 5 | 59 | ![]() |
sgn(mod(D,pow(D,D))) | 30863 | 97973489 | o1(o2(x,o2(x,x))) | true | 76751 | 76751 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b60 | 12 | 13 | 5 | 60 | ![]() |
sgn(mod(D,mod(D,D))) | 30864 | 97973490 | o1(o2(x,o2(x,x))) | true | 76759 | 76759 | -0.6063 | 0.25 | 0.8937 | 0.4967 | 0.7048 | -1 | 0.9858 | 1.986 | 1 | 1.311 | 1.103 | 0 | 0.6423 | 1 | 1 | 0.00788 | 3.6 | 1.264 | 0.6901 | 0.8307 | 1.293 | 1.986 | 2.22 | 7.249 | 1 | 1 | 0.416 | 0.6554 | 0 | 0.8374 | 1.319 | 0 | json |
| t12_x13_u5_b61 | 12 | 13 | 5 | 61 | ![]() |
sgn(mod(D,lrg(D,D))) | 30865 | 97973491 | o1(o2(x,o2(x,x))) | true | 76767 | 76767 | -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_x13_u5_b62 | 12 | 13 | 5 | 62 | ![]() |
sgn(mod(D,eql(D,D))) | 30866 | 97973492 | o1(o2(x,o2(x,x))) | true | 76775 | 76775 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b63 | 12 | 13 | 5 | 63 | ![]() |
sgn(mod(D,min(D,D))) | 30867 | 97973493 | o1(o2(x,o2(x,x))) | true | 76783 | 76783 | 1.819e-12 | 0.25 | 0.3937 | 0.326 | 0.5709 | -0.9929 | 0.9929 | 1.986 | 1 | 2.5 | 0.595 | 0 | 0.6461 | 1 | 1 | 0 | 1.864 | 1.263 | 0.1771 | 0.4209 | 0.6514 | 1.117 | 1.825 | 5.718 | 1 | 1 | 0.2579 | 0.4963 | 0 | 0.7913 | 1.523 | 0 | json |
| t12_x13_u5_b64 | 12 | 13 | 5 | 64 | ![]() |
sgn(mod(D,dot(D,D))) | 30868 | 97973494 | o1(o2(x,o2(x,x))) | true | 76791 | 76791 | 3.112e-12 | 0.4922 | 0.6733 | 0.5515 | 0.7426 | -0.9994 | 0.9994 | 1.999 | 1 | 3.499 | 0.2459 | 0.01416 | 0.2545 | 0.8911 | 1 | 0 | 0.5679 | 0.2953 | 0.1952 | 0.4418 | 1.736 | 2.235 | 0.4715 | 1.03 | 1 | 1 | 0.2823 | 0.9643 | 0 | 0.5119 | 1.749 | 0 | json |
| t12_x13_u5_b65 | 12 | 13 | 5 | 65 | ![]() |
sgn(mod(D,dst(D,D))) | 30869 | 97973495 | o1(o2(x,o2(x,x))) | true | 76799 | 76799 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b66 | 12 | 13 | 5 | 66 | ![]() |
sgn(lrg(D,add(D,D))) | 30870 | 97973496 | o1(o2(x,o2(x,x))) | true | 76807 | 76807 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b67 | 12 | 13 | 5 | 67 | ![]() |
sgn(lrg(D,sub(D,D))) | 30871 | 97973497 | o1(o2(x,o2(x,x))) | true | 76815 | 76815 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b68 | 12 | 13 | 5 | 68 | ![]() |
sgn(lrg(D,mlt(D,D))) | 30872 | 97973498 | o1(o2(x,o2(x,x))) | true | 76823 | 76823 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b69 | 12 | 13 | 5 | 69 | ![]() |
sgn(lrg(D,div(D,D))) | 30873 | 97973499 | o1(o2(x,o2(x,x))) | true | 76831 | 76831 | 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_x13_u5_b70 | 12 | 13 | 5 | 70 | ![]() |
sgn(lrg(D,pow(D,D))) | 30874 | 97973500 | o1(o2(x,o2(x,x))) | true | 76839 | 76839 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b71 | 12 | 13 | 5 | 71 | ![]() |
sgn(lrg(D,mod(D,D))) | 30875 | 97973501 | o1(o2(x,o2(x,x))) | true | 76847 | 76847 | 0.3031 | 0.75 | 0.3031 | 0.1369 | 0.37 | 0 | 0.9997 | 0.9997 | 1 | 2.647 | 0.3351 | 0 | 0.4037 | 1 | 1 | -0.00394 | 1.138 | 0.7586 | 0.1722 | 0.4149 | 1.028 | 0.9997 | 2.448 | 8.315 | 1 | 1 | 0.1062 | 0.1361 | 0 | 0.7762 | 0.9944 | 0 | json |
| t12_x13_u5_b72 | 12 | 13 | 5 | 72 | ![]() |
sgn(lrg(D,lrg(D,D))) | 30876 | 97973502 | o1(o2(x,o2(x,x))) | true | 76855 | 76855 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b73 | 12 | 13 | 5 | 73 | ![]() |
sgn(lrg(D,eql(D,D))) | 30877 | 97973503 | o1(o2(x,o2(x,x))) | true | 76863 | 76863 | 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_x13_u5_b74 | 12 | 13 | 5 | 74 | ![]() |
sgn(lrg(D,min(D,D))) | 30878 | 97973504 | o1(o2(x,o2(x,x))) | true | 76871 | 76871 | 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_x13_u5_b75 | 12 | 13 | 5 | 75 | ![]() |
sgn(lrg(D,dot(D,D))) | 30879 | 97973505 | o1(o2(x,o2(x,x))) | true | 76879 | 76879 | 0.3585 | 0.8125 | 0.3585 | 0.1166 | 0.3415 | 0 | 0.9994 | 0.9994 | 1 | 3.543 | 0.04617 | 0.02411 | 0.1307 | 0.3139 | 1 | -0.0003004 | 0.2033 | 0.1751 | 0.05319 | 0.2306 | 1.765 | 1.337 | 0.6025 | 1.743 | 1 | 1 | 0.07594 | 0.243 | 0 | 0.6511 | 2.083 | 0 | json |
| t12_x13_u5_b76 | 12 | 13 | 5 | 76 | ![]() |
sgn(lrg(D,dst(D,D))) | 30880 | 97973506 | o1(o2(x,o2(x,x))) | true | 76887 | 76887 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b77 | 12 | 13 | 5 | 77 | ![]() |
sgn(eql(D,add(D,D))) | 30881 | 97973507 | o1(o2(x,o2(x,x))) | true | 76895 | 76895 | 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_x13_u5_b78 | 12 | 13 | 5 | 78 | ![]() |
sgn(eql(D,sub(D,D))) | 30882 | 97973508 | o1(o2(x,o2(x,x))) | true | 76903 | 76903 | 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_x13_u5_b79 | 12 | 13 | 5 | 79 | ![]() |
sgn(eql(D,mlt(D,D))) | 30883 | 97973509 | o1(o2(x,o2(x,x))) | true | 76911 | 76911 | 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_x13_u5_b80 | 12 | 13 | 5 | 80 | ![]() |
sgn(eql(D,div(D,D))) | 30884 | 97973510 | o1(o2(x,o2(x,x))) | true | 76919 | 76919 | 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_x13_u5_b81 | 12 | 13 | 5 | 81 | ![]() |
sgn(eql(D,pow(D,D))) | 30885 | 97973511 | o1(o2(x,o2(x,x))) | true | 76927 | 76927 | 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_x13_u5_b82 | 12 | 13 | 5 | 82 | ![]() |
sgn(eql(D,mod(D,D))) | 30886 | 97973512 | o1(o2(x,o2(x,x))) | true | 76935 | 76935 | 0.3937 | 0.5 | 0.3937 | 0.171 | 0.4135 | 0 | 0.9929 | 0.9929 | 1 | 2 | 0.5158 | 0 | 0.5752 | 1 | 1 | 0.00788 | 1.738 | 1.15 | 0.1847 | 0.4297 | 0.7471 | 0.9929 | 3.017 | 10.16 | 1 | 1 | 0.1632 | 0.1592 | 0 | 0.9543 | 0.9315 | 0 | json |
| t12_x13_u5_b83 | 12 | 13 | 5 | 83 | ![]() |
sgn(eql(D,lrg(D,D))) | 30887 | 97973513 | o1(o2(x,o2(x,x))) | true | 76943 | 76943 | 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_x13_u5_b84 | 12 | 13 | 5 | 84 | ![]() |
sgn(eql(D,eql(D,D))) | 30888 | 97973514 | o1(o2(x,o2(x,x))) | true | 76951 | 76951 | 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_x13_u5_b85 | 12 | 13 | 5 | 85 | ![]() |
sgn(eql(D,min(D,D))) | 30889 | 97973515 | o1(o2(x,o2(x,x))) | true | 76959 | 76959 | 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_x13_u5_b86 | 12 | 13 | 5 | 86 | ![]() |
sgn(eql(D,dot(D,D))) | 30890 | 97973516 | o1(o2(x,o2(x,x))) | true | 76967 | 76967 | 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_x13_u5_b87 | 12 | 13 | 5 | 87 | ![]() |
sgn(eql(D,dst(D,D))) | 30891 | 97973517 | o1(o2(x,o2(x,x))) | true | 76975 | 76975 | 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_x13_u5_b88 | 12 | 13 | 5 | 88 | ![]() |
sgn(min(D,add(D,D))) | 30892 | 97973518 | o1(o2(x,o2(x,x))) | true | 76983 | 76983 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b89 | 12 | 13 | 5 | 89 | ![]() |
sgn(min(D,sub(D,D))) | 30893 | 97973519 | o1(o2(x,o2(x,x))) | true | 76991 | 76991 | -0.5 | 0 | 0.5 | 0.1418 | 0.3765 | -0.9997 | -0.000291 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b90 | 12 | 13 | 5 | 90 | ![]() |
sgn(min(D,mlt(D,D))) | 30894 | 97973520 | o1(o2(x,o2(x,x))) | true | 76999 | 76999 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b91 | 12 | 13 | 5 | 91 | ![]() |
sgn(min(D,div(D,D))) | 30895 | 97973521 | o1(o2(x,o2(x,x))) | true | 77007 | 77007 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b92 | 12 | 13 | 5 | 92 | ![]() |
sgn(min(D,pow(D,D))) | 30896 | 97973522 | o1(o2(x,o2(x,x))) | true | 77015 | 77015 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b93 | 12 | 13 | 5 | 93 | ![]() |
sgn(min(D,mod(D,D))) | 30897 | 97973523 | o1(o2(x,o2(x,x))) | true | 77023 | 77023 | -0.3031 | 0.25 | 0.5906 | 0.3951 | 0.6286 | -0.9997 | 0.9858 | 1.985 | 1 | 3.578 | 0.3464 | 0 | 0.4246 | 1 | 1 | 0.00394 | 0.9035 | 0.64 | 0.1661 | 0.4076 | 0.96 | 1.016 | 0.8768 | 2.287 | 1 | 1 | 0.2432 | 0.6754 | 0 | 0.6155 | 1.709 | 0 | json |
| t12_x13_u5_b94 | 12 | 13 | 5 | 94 | ![]() |
sgn(min(D,lrg(D,D))) | 30898 | 97973524 | o1(o2(x,o2(x,x))) | true | 77031 | 77031 | -0.5 | 0 | 0.5 | 0.1418 | 0.3765 | -0.9997 | -0.000291 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x13_u5_b95 | 12 | 13 | 5 | 95 | ![]() |
sgn(min(D,eql(D,D))) | 30899 | 97973525 | o1(o2(x,o2(x,x))) | true | 77039 | 77039 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |



































































































