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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t14_x25_u0_b17 | 14 | 25 | 0 | 17 | ![]() |
sqt(sub(lrg(R,R),D)) | 68100 | 114698456 | o1(o2(o2(x,x),x)) | true | 32807 | 32807 | -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 |
| t14_x25_u0_b18 | 14 | 25 | 0 | 18 | ![]() |
sqt(sub(eql(R,R),D)) | 68101 | 114698457 | o1(o2(o2(x,x),x)) | true | 32815 | 32815 | 0.9677 | 1 | 0.9677 | 0.001175 | 0.03428 | 0.9123 | 1 | 0.08774 | 1 | 0.896 | 0.0002271 | 0 | 0.01087 | 1 | 1 | 0.00009283 | 0.00008405 | 0.006846 | 0.0001089 | 0.01044 | 0.9601 | 0.02935 | 0.1932 | 0.07151 | 1 | 1 | 0.0004094 | 0.002198 | 0 | 0.3483 | 1.87 | 0 | json |
| t14_x25_u0_b19 | 14 | 25 | 0 | 19 | ![]() |
sqt(sub(min(R,R),D)) | 68102 | 114698458 | o1(o2(o2(x,x),x)) | true | 32823 | 32823 | -0.8869 | 0.06885 | 0.9754 | 0.1749 | 0.4182 | -1 | 0.9655 | 1.965 | 1 | 0.5978 | 0.06531 | 0.01549 | 0.05093 | 0.6165 | 1 | 0.00009051 | 0.1806 | 0.09841 | 0.07822 | 0.2797 | 5.492 | 2.742 | 0.4621 | 1.033 | 1 | 1 | 0.07459 | 0.2231 | 0.3345 | 0.4266 | 1.276 | 1.913 | json |
| t14_x25_u0_b20 | 14 | 25 | 0 | 20 | ![]() |
sqt(sub(dot(R,R),D)) | 68103 | 114698459 | o1(o2(o2(x,x),x)) | true | 32831 | 32831 | 0.229 | 0.6479 | 0.9331 | 0.836 | 0.9144 | -1 | 1 | 2 | 1 | 2.342 | 0.2976 | 0.04035 | 0.1913 | 0.7612 | 1 | 0.0008373 | 0.7248 | 0.3676 | 0.3013 | 0.5489 | 2.87 | 2.828 | 0.4042 | 0.8669 | 1 | 1 | 0.3185 | 0.9431 | 1.251 | 0.381 | 1.128 | 1.496 | json |
| t14_x25_u0_b21 | 14 | 25 | 0 | 21 | ![]() |
sqt(sub(dst(R,R),D)) | 68104 | 114698460 | o1(o2(o2(x,x),x)) | true | 32839 | 32839 | -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 |
| t14_x25_u0_b22 | 14 | 25 | 0 | 22 | ![]() |
sqt(mlt(add(R,R),D)) | 68105 | 114698461 | o1(o2(o2(x,x),x)) | true | 32847 | 32847 | -0.942 | 0.03906 | 0.9799 | 0.08454 | 0.2907 | -1 | 0.9537 | 1.954 | 1 | 0.3824 | 0.007 | 0.009142 | 0.01422 | -0.1327 | 1 | 6.691e-7 | 0.03183 | 0.02355 | 0.01594 | 0.1262 | 8.875 | 1.954 | 0.191 | 0.3765 | 1 | 1 | 0.01896 | 0.09126 | 0.1938 | 0.2243 | 1.08 | 2.292 | json |
| t14_x25_u0_b23 | 14 | 25 | 0 | 23 | ![]() |
sqt(mlt(sub(R,R),D)) | 68106 | 114698462 | o1(o2(o2(x,x),x)) | true | 32855 | 32855 | 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 |
| t14_x25_u0_b24 | 14 | 25 | 0 | 24 | ![]() |
sqt(mlt(mlt(R,R),D)) | 68107 | 114698463 | o1(o2(o2(x,x),x)) | true | 32863 | 32863 | -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 |
| t14_x25_u0_b25 | 14 | 25 | 0 | 25 | ![]() |
sqt(mlt(div(R,R),D)) | 68108 | 114698464 | o1(o2(o2(x,x),x)) | true | 32871 | 32871 | -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 |
| t14_x25_u0_b26 | 14 | 25 | 0 | 26 | ![]() |
sqt(mlt(pow(R,R),D)) | 68109 | 114698465 | o1(o2(o2(x,x),x)) | true | 32879 | 32879 | -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 |
| t14_x25_u0_b27 | 14 | 25 | 0 | 27 | ![]() |
sqt(mlt(mod(R,R),D)) | 68110 | 114698466 | o1(o2(o2(x,x),x)) | true | 32887 | 32887 | -0.3282 | 0.2098 | 0.3749 | 0.2491 | 0.4991 | -1 | 0.6781 | 1.678 | 1 | 1.634 | 0.02757 | 0.01526 | 0.04545 | 0.2875 | 1 | -0.00002519 | 0.0869 | 0.08185 | 0.04075 | 0.2019 | 4.441 | 1.678 | 0.1719 | 0.3488 | 1 | 1 | 0.04477 | 0.195 | 0.4809 | 0.1797 | 0.7825 | 1.93 | json |
| t14_x25_u0_b28 | 14 | 25 | 0 | 28 | ![]() |
sqt(mlt(lrg(R,R),D)) | 68111 | 114698467 | o1(o2(o2(x,x),x)) | true | 32895 | 32895 | 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 |
| t14_x25_u0_b29 | 14 | 25 | 0 | 29 | ![]() |
sqt(mlt(eql(R,R),D)) | 68112 | 114698468 | o1(o2(o2(x,x),x)) | true | 32903 | 32903 | -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 |
| t14_x25_u0_b30 | 14 | 25 | 0 | 30 | ![]() |
sqt(mlt(min(R,R),D)) | 68113 | 114698469 | o1(o2(o2(x,x),x)) | true | 32911 | 32911 | -0.9475 | 0.03906 | 0.9743 | 0.06855 | 0.2618 | -1 | 0.6744 | 1.674 | 1 | 0.3636 | 0.006307 | 0.007404 | 0.01266 | -0.08001 | 1 | 4.735e-7 | 0.0275 | 0.02189 | 0.01355 | 0.1164 | 9.197 | 1.674 | 0.2 | 0.4012 | 1 | 1 | 0.01571 | 0.07306 | 0.1564 | 0.2291 | 1.066 | 2.281 | json |
| t14_x25_u0_b31 | 14 | 25 | 0 | 31 | ![]() |
sqt(mlt(dot(R,R),D)) | 68114 | 114698470 | o1(o2(o2(x,x),x)) | true | 32919 | 32919 | -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 |
| t14_x25_u0_b32 | 14 | 25 | 0 | 32 | ![]() |
sqt(mlt(dst(R,R),D)) | 68115 | 114698471 | o1(o2(o2(x,x),x)) | true | 32927 | 32927 | 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 |
| t14_x25_u0_b33 | 14 | 25 | 0 | 33 | ![]() |
sqt(div(add(R,R),D)) | 68116 | 114698472 | o1(o2(o2(x,x),x)) | true | 32935 | 32935 | -0.9224 | 0.03906 | 0.9994 | 0.1482 | 0.385 | -1 | 1 | 2 | 1 | 0.2531 | 0.01958 | 0.01576 | 0.01784 | 0.1081 | 1 | -0.000001185 | 0.0747 | 0.03569 | 0.03503 | 0.1872 | 10.49 | 2.828 | 0.2384 | 0.504 | 1 | 1 | 0.03724 | 0.1519 | 0.3304 | 0.2513 | 1.025 | 2.229 | json |
| t14_x25_u0_b34 | 14 | 25 | 0 | 34 | ![]() |
sqt(div(sub(R,R),D)) | 68117 | 114698473 | o1(o2(o2(x,x),x)) | true | 32943 | 32943 | 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 |
| t14_x25_u0_b35 | 14 | 25 | 0 | 35 | ![]() |
sqt(div(mlt(R,R),D)) | 68118 | 114698474 | o1(o2(o2(x,x),x)) | true | 32951 | 32951 | -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 |
| t14_x25_u0_b36 | 14 | 25 | 0 | 36 | ![]() |
sqt(div(div(R,R),D)) | 68119 | 114698475 | o1(o2(o2(x,x),x)) | true | 32959 | 32959 | -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 |
| t14_x25_u0_b37 | 14 | 25 | 0 | 37 | ![]() |
sqt(div(pow(R,R),D)) | 68120 | 114698476 | o1(o2(o2(x,x),x)) | true | 32967 | 32967 | -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 |
| t14_x25_u0_b38 | 14 | 25 | 0 | 38 | ![]() |
sqt(div(mod(R,R),D)) | 68121 | 114698477 | o1(o2(o2(x,x),x)) | true | 32975 | 32975 | -0.2726 | 0.2149 | 0.4305 | 0.3381 | 0.5815 | -1 | 1 | 2 | 1 | 1.899 | 0.06183 | 0.02033 | 0.06621 | 0.5051 | 1 | 0.00002444 | 0.1702 | 0.112 | 0.07778 | 0.2789 | 4.212 | 2.828 | 0.243 | 0.5034 | 1 | 1 | 0.08771 | 0.3433 | 0.6821 | 0.2594 | 1.015 | 2.017 | json |
| t14_x25_u0_b39 | 14 | 25 | 0 | 39 | ![]() |
sqt(div(lrg(R,R),D)) | 68122 | 114698478 | o1(o2(o2(x,x),x)) | true | 32983 | 32983 | 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 |
| t14_x25_u0_b40 | 14 | 25 | 0 | 40 | ![]() |
sqt(div(eql(R,R),D)) | 68123 | 114698479 | o1(o2(o2(x,x),x)) | true | 32991 | 32991 | -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 |
| t14_x25_u0_b41 | 14 | 25 | 0 | 41 | ![]() |
sqt(div(min(R,R),D)) | 68124 | 114698480 | o1(o2(o2(x,x),x)) | true | 32999 | 32999 | -0.9238 | 0.03906 | 0.9981 | 0.1436 | 0.3789 | -1 | 1 | 2 | 1 | 0.2865 | 0.01957 | 0.01522 | 0.01819 | 0.1252 | 1 | -0.000001358 | 0.0736 | 0.03578 | 0.03446 | 0.1856 | 10.2 | 2.828 | 0.2423 | 0.5127 | 1 | 1 | 0.03676 | 0.1486 | 0.322 | 0.2561 | 1.035 | 2.243 | json |
| t14_x25_u0_b42 | 14 | 25 | 0 | 42 | ![]() |
sqt(div(dot(R,R),D)) | 68125 | 114698481 | o1(o2(o2(x,x),x)) | true | 33007 | 33007 | -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 |
| t14_x25_u0_b43 | 14 | 25 | 0 | 43 | ![]() |
sqt(div(dst(R,R),D)) | 68126 | 114698482 | o1(o2(o2(x,x),x)) | true | 33015 | 33015 | 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 |
| t14_x25_u0_b44 | 14 | 25 | 0 | 44 | ![]() |
sqt(pow(add(R,R),D)) | 68127 | 114698483 | o1(o2(o2(x,x),x)) | true | 33023 | 33023 | -0.9151 | 0.04297 | 0.999 | 0.1608 | 0.401 | -1 | 1 | 2 | 1 | 0.2885 | 0.01683 | 0.01595 | 0.01664 | 0.02695 | 1 | 0.000006051 | 0.06866 | 0.03312 | 0.03249 | 0.1802 | 10.83 | 2.828 | 0.2038 | 0.4269 | 1 | 1 | 0.02505 | 0.1072 | 0.2682 | 0.1558 | 0.6666 | 1.668 | json |
| t14_x25_u0_b45 | 14 | 25 | 0 | 45 | ![]() |
sqt(pow(sub(R,R),D)) | 68128 | 114698484 | o1(o2(o2(x,x),x)) | true | 33031 | 33031 | 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 |
| t14_x25_u0_b46 | 14 | 25 | 0 | 46 | ![]() |
sqt(pow(mlt(R,R),D)) | 68129 | 114698485 | o1(o2(o2(x,x),x)) | true | 33039 | 33039 | 0.9618 | 1 | 0.9618 | 0.006011 | 0.07753 | 0.3146 | 1 | 0.6854 | 1 | 1.16 | 0.0007112 | 0.0001192 | 0.0148 | 0.7128 | 1 | 0.0000272 | 0.0004102 | 0.01034 | 0.0006113 | 0.02473 | 1.67 | 0.2558 | 0.1382 | 0.06825 | 1 | 1 | 0.001322 | 0.008582 | 0.01034 | 0.2199 | 1.428 | 1.721 | json |
| t14_x25_u0_b47 | 14 | 25 | 0 | 47 | ![]() |
sqt(pow(div(R,R),D)) | 68130 | 114698486 | o1(o2(o2(x,x),x)) | true | 33047 | 33047 | 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 |
| t14_x25_u0_b48 | 14 | 25 | 0 | 48 | ![]() |
sqt(pow(pow(R,R),D)) | 68131 | 114698487 | o1(o2(o2(x,x),x)) | true | 33055 | 33055 | -0.9144 | 0.04297 | 0.9997 | 0.1634 | 0.4042 | -1 | 1 | 2 | 1 | 0.2557 | 0.01685 | 0.01628 | 0.01658 | 0.01702 | 1 | 9.438e-7 | 0.06934 | 0.03326 | 0.03285 | 0.1812 | 10.93 | 2.828 | 0.2028 | 0.4245 | 1 | 1 | 0.02534 | 0.109 | 0.2736 | 0.1551 | 0.667 | 1.675 | json |
| t14_x25_u0_b49 | 14 | 25 | 0 | 49 | ![]() |
sqt(pow(mod(R,R),D)) | 68132 | 114698488 | o1(o2(o2(x,x),x)) | true | 33063 | 33063 | -0.8769 | 0.0625 | 0.9981 | 0.2285 | 0.478 | -1 | 1 | 2 | 1 | 0.3804 | 0.02415 | 0.02525 | 0.02516 | -0.0223 | 1 | 4.806e-10 | 0.104 | 0.05 | 0.04879 | 0.2209 | 8.778 | 2.828 | 0.2162 | 0.4551 | 1 | 1 | 0.03731 | 0.15 | 0.4123 | 0.1633 | 0.6565 | 1.804 | json |
| t14_x25_u0_b50 | 14 | 25 | 0 | 50 | ![]() |
sqt(pow(lrg(R,R),D)) | 68133 | 114698489 | o1(o2(o2(x,x),x)) | true | 33071 | 33071 | -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 |
| t14_x25_u0_b51 | 14 | 25 | 0 | 51 | ![]() |
sqt(pow(eql(R,R),D)) | 68134 | 114698490 | o1(o2(o2(x,x),x)) | true | 33079 | 33079 | 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 |
| t14_x25_u0_b52 | 14 | 25 | 0 | 52 | ![]() |
sqt(pow(min(R,R),D)) | 68135 | 114698491 | o1(o2(o2(x,x),x)) | true | 33087 | 33087 | -0.915 | 0.04297 | 0.999 | 0.1609 | 0.4011 | -1 | 1 | 2 | 1 | 0.2881 | 0.01679 | 0.01598 | 0.01668 | 0.02475 | 1 | 0.000003221 | 0.0687 | 0.03319 | 0.03248 | 0.1802 | 10.8 | 2.828 | 0.2037 | 0.4271 | 1 | 1 | 0.02506 | 0.1075 | 0.2685 | 0.1558 | 0.6681 | 1.669 | json |
| t14_x25_u0_b53 | 14 | 25 | 0 | 53 | ![]() |
sqt(pow(dot(R,R),D)) | 68136 | 114698492 | o1(o2(o2(x,x),x)) | true | 33095 | 33095 | 0.98 | 1 | 0.98 | 0.001358 | 0.03686 | 0.6352 | 1 | 0.3648 | 1 | 0.6029 | 0.00009658 | 0.0000298 | 0.006393 | 0.5284 | 1 | 0.00004606 | 0.00003635 | 0.003202 | 0.0000855 | 0.009246 | 1.446 | 0.1148 | 0.09303 | 0.02676 | 1 | 1 | 0.0001928 | 0.001636 | 0.002314 | 0.1419 | 1.205 | 1.704 | json |
| t14_x25_u0_b54 | 14 | 25 | 0 | 54 | ![]() |
sqt(pow(dst(R,R),D)) | 68137 | 114698493 | o1(o2(o2(x,x),x)) | true | 33103 | 33103 | 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 |
| t14_x25_u0_b55 | 14 | 25 | 0 | 55 | ![]() |
sqt(mod(add(R,R),D)) | 68138 | 114698494 | o1(o2(o2(x,x),x)) | true | 33111 | 33111 | -0.9427 | 0.04297 | 0.9714 | 0.07404 | 0.2721 | -1 | 0.6519 | 1.652 | 1 | 0.3917 | 0.005957 | 0.007475 | 0.01389 | -0.113 | 1 | -0.00003601 | 0.0276 | 0.02538 | 0.01323 | 0.115 | 8.281 | 1.657 | 0.1814 | 0.3728 | 1 | 1 | 0.0104 | 0.04989 | 0.1247 | 0.1405 | 0.6738 | 1.684 | json |
| t14_x25_u0_b56 | 14 | 25 | 0 | 56 | ![]() |
sqt(mod(sub(R,R),D)) | 68139 | 114698495 | o1(o2(o2(x,x),x)) | true | 33119 | 33119 | 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 |
| t14_x25_u0_b57 | 14 | 25 | 0 | 57 | ![]() |
sqt(mod(mlt(R,R),D)) | 68140 | 114698496 | o1(o2(o2(x,x),x)) | true | 33127 | 33127 | 0.2806 | 1 | 0.2806 | 0.0172 | 0.1311 | 0.002928 | 0.6833 | 0.6804 | 1 | 3.074 | 0.01116 | 0.0001467 | 0.0747 | 0.9741 | 1 | -0.0005049 | 0.02813 | 0.1128 | 0.00573 | 0.07569 | 1.013 | 0.4194 | 0.6577 | 1.636 | 1 | 1 | 0.009 | 0.02567 | 0.01903 | 0.5234 | 1.493 | 1.107 | json |
| t14_x25_u0_b58 | 14 | 25 | 0 | 58 | ![]() |
sqt(mod(div(R,R),D)) | 68141 | 114698497 | o1(o2(o2(x,x),x)) | true | 33135 | 33135 | 0.3533 | 0.9248 | 0.3533 | 0.02517 | 0.1586 | 0.00005145 | 0.5652 | 0.5651 | 1 | 2.874 | 0.01147 | 0.000006733 | 0.08085 | 0.9988 | 1 | -0.0000315 | 0.02075 | 0.1181 | 0.004935 | 0.07025 | 0.8688 | 0.2503 | 0.4558 | 0.8243 | 1 | 1 | 0.01232 | 0.04001 | 0.001017 | 0.4895 | 1.59 | 0.0404 | json |
| t14_x25_u0_b59 | 14 | 25 | 0 | 59 | ![]() |
sqt(mod(pow(R,R),D)) | 68142 | 114698498 | o1(o2(o2(x,x),x)) | true | 33143 | 33143 | -0.9435 | 0.04297 | 0.9705 | 0.0719 | 0.2681 | -1 | 0.5995 | 1.6 | 1 | 0.3875 | 0.005946 | 0.007245 | 0.01439 | -0.09843 | 1 | -0.00007537 | 0.02734 | 0.02658 | 0.01298 | 0.1139 | 7.919 | 1.6 | 0.1835 | 0.3802 | 1 | 1 | 0.01028 | 0.0484 | 0.1209 | 0.143 | 0.6732 | 1.682 | json |
| t14_x25_u0_b60 | 14 | 25 | 0 | 60 | ![]() |
sqt(mod(mod(R,R),D)) | 68143 | 114698499 | o1(o2(o2(x,x),x)) | true | 33151 | 33151 | -0.368 | 0.1751 | 0.4054 | 0.2557 | 0.5057 | -1 | 0.6426 | 1.643 | 1 | 1.548 | 0.01755 | 0.01778 | 0.04127 | -0.006465 | 1 | -0.00002247 | 0.0731 | 0.07557 | 0.03364 | 0.1834 | 4.444 | 1.608 | 0.1382 | 0.2859 | 1 | 1 | 0.03341 | 0.1402 | 0.5262 | 0.1307 | 0.5481 | 2.058 | json |
| t14_x25_u0_b61 | 14 | 25 | 0 | 61 | ![]() |
sqt(mod(lrg(R,R),D)) | 68144 | 114698500 | o1(o2(o2(x,x),x)) | true | 33159 | 33159 | 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 |
| t14_x25_u0_b62 | 14 | 25 | 0 | 62 | ![]() |
sqt(mod(eql(R,R),D)) | 68145 | 114698501 | o1(o2(o2(x,x),x)) | true | 33167 | 33167 | 0.3484 | 0.875 | 0.3484 | 0.02789 | 0.167 | 0.00005145 | 0.5652 | 0.5651 | 1 | 2.75 | 0.01314 | 0 | 0.0854 | 1 | 1 | -0.00003111 | 0.02405 | 0.1276 | 0.005851 | 0.07649 | 0.8956 | 0.2503 | 0.4714 | 0.8625 | 1 | 1 | 0.01435 | 0.04406 | 0 | 0.5147 | 1.58 | 0 | json |
| t14_x25_u0_b63 | 14 | 25 | 0 | 63 | ![]() |
sqt(mod(min(R,R),D)) | 68146 | 114698502 | o1(o2(o2(x,x),x)) | true | 33175 | 33175 | -0.943 | 0.04297 | 0.9711 | 0.07339 | 0.2709 | -1 | 0.6564 | 1.656 | 1 | 0.3944 | 0.006021 | 0.007392 | 0.01387 | -0.1022 | 1 | -0.00004528 | 0.0278 | 0.02558 | 0.01321 | 0.115 | 8.287 | 1.676 | 0.1828 | 0.3788 | 1 | 1 | 0.01033 | 0.04941 | 0.1244 | 0.1407 | 0.6733 | 1.694 | json |
| t14_x25_u0_b64 | 14 | 25 | 0 | 64 | ![]() |
sqt(mod(dot(R,R),D)) | 68147 | 114698503 | o1(o2(o2(x,x),x)) | true | 33183 | 33183 | 0.33 | 1 | 0.33 | 0.02168 | 0.1472 | 0.008142 | 0.6993 | 0.6911 | 1 | 3.22 | 0.01836 | 0.0001111 | 0.1054 | 0.988 | 1 | -0.0007119 | 0.04894 | 0.173 | 0.007368 | 0.08584 | 0.8147 | 0.4668 | 0.8521 | 2.258 | 1 | 1 | 0.01284 | 0.03769 | 0.01505 | 0.5925 | 1.739 | 0.6945 | json |
| t14_x25_u0_b65 | 14 | 25 | 0 | 65 | ![]() |
sqt(mod(dst(R,R),D)) | 68148 | 114698504 | o1(o2(o2(x,x),x)) | true | 33191 | 33191 | 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 |
| t14_x25_u0_b66 | 14 | 25 | 0 | 66 | ![]() |
sqt(lrg(add(R,R),D)) | 68149 | 114698505 | o1(o2(o2(x,x),x)) | true | 33199 | 33199 | 0.4898 | 0.9172 | 0.4898 | 0.1541 | 0.3926 | 0 | 1 | 1 | 1 | 3.432 | 0.01004 | 0.002285 | 0.06307 | 0.6294 | 1 | 0.00008436 | 0.01703 | 0.03881 | 0.008353 | 0.0914 | 1.449 | 0.9997 | 0.08 | 0.1105 | 1 | 1 | 0.01554 | 0.1282 | 0.294 | 0.1009 | 0.8321 | 1.907 | json |
| t14_x25_u0_b67 | 14 | 25 | 0 | 67 | ![]() |
sqt(lrg(sub(R,R),D)) | 68150 | 114698506 | o1(o2(o2(x,x),x)) | true | 33207 | 33207 | 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 |
| t14_x25_u0_b68 | 14 | 25 | 0 | 68 | ![]() |
sqt(lrg(mlt(R,R),D)) | 68151 | 114698507 | o1(o2(o2(x,x),x)) | true | 33215 | 33215 | 0.7585 | 1 | 0.7585 | 0.09126 | 0.3021 | 0.000291 | 1 | 0.9997 | 1 | 3.011 | 0.03071 | 0.0009731 | 0.087 | 0.9386 | 1 | 0.000294 | 0.05888 | 0.09129 | 0.02411 | 0.1553 | 1.785 | 0.9994 | 0.3471 | 0.6452 | 1 | 1 | 0.0336 | 0.1326 | 0.1315 | 0.3681 | 1.453 | 1.44 | json |
| t14_x25_u0_b69 | 14 | 25 | 0 | 69 | ![]() |
sqt(lrg(div(R,R),D)) | 68152 | 114698508 | o1(o2(o2(x,x),x)) | true | 33223 | 33223 | 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 |
| t14_x25_u0_b70 | 14 | 25 | 0 | 70 | ![]() |
sqt(lrg(pow(R,R),D)) | 68153 | 114698509 | o1(o2(o2(x,x),x)) | true | 33231 | 33231 | 0.9964 | 1 | 0.9964 | 0.0002432 | 0.0156 | 0.8608 | 1 | 0.1392 | 1 | 0.1734 | 0.0002694 | 0.000003136 | 0.00431 | 0.977 | 1 | 0.0000386 | 0.0006525 | 0.006403 | 0.0002538 | 0.01593 | 3.696 | 0.1392 | 1.12 | 2.682 | 1 | 1 | 0.0002199 | 0.000344 | 0.000369 | 0.9038 | 1.414 | 1.517 | json |
| t14_x25_u0_b71 | 14 | 25 | 0 | 71 | ![]() |
sqt(lrg(mod(R,R),D)) | 68154 | 114698510 | o1(o2(o2(x,x),x)) | true | 33239 | 33239 | 0.49 | 0.9884 | 0.49 | 0.1395 | 0.3734 | 0 | 1 | 1 | 1 | 3.521 | 0.05297 | 0.0006217 | 0.1145 | 0.9768 | 1 | -0.0000171 | 0.09905 | 0.1211 | 0.04049 | 0.2012 | 1.758 | 0.9997 | 0.3843 | 0.7102 | 1 | 1 | 0.05576 | 0.2078 | 0.1104 | 0.3999 | 1.49 | 0.7914 | json |
| t14_x25_u0_b72 | 14 | 25 | 0 | 72 | ![]() |
sqt(lrg(lrg(R,R),D)) | 68155 | 114698511 | o1(o2(o2(x,x),x)) | true | 33247 | 33247 | 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 |
| t14_x25_u0_b73 | 14 | 25 | 0 | 73 | ![]() |
sqt(lrg(eql(R,R),D)) | 68156 | 114698512 | o1(o2(o2(x,x),x)) | true | 33255 | 33255 | 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 |
| t14_x25_u0_b74 | 14 | 25 | 0 | 74 | ![]() |
sqt(lrg(min(R,R),D)) | 68157 | 114698513 | o1(o2(o2(x,x),x)) | true | 33263 | 33263 | 0.4991 | 0.9305 | 0.4991 | 0.1466 | 0.3829 | 0 | 1 | 1 | 1 | 3.529 | 0.0202 | 0.00212 | 0.08082 | 0.81 | 1 | 0.00001402 | 0.03815 | 0.07049 | 0.01579 | 0.1257 | 1.555 | 0.9997 | 0.1522 | 0.2602 | 1 | 1 | 0.02456 | 0.14 | 0.2709 | 0.1675 | 0.9551 | 1.848 | json |
| t14_x25_u0_b75 | 14 | 25 | 0 | 75 | ![]() |
sqt(lrg(dot(R,R),D)) | 68158 | 114698514 | o1(o2(o2(x,x),x)) | true | 33271 | 33271 | 0.9534 | 1 | 0.9534 | 0.01835 | 0.1355 | 0.000582 | 1 | 0.9994 | 1 | 1.099 | 0.006764 | 0.0002639 | 0.02476 | 0.9249 | 1 | 0.0002807 | 0.01407 | 0.0275 | 0.006414 | 0.08009 | 3.235 | 0.9994 | 0.3829 | 0.7667 | 1 | 1 | 0.006341 | 0.02133 | 0.02968 | 0.3455 | 1.162 | 1.617 | json |
| t14_x25_u0_b76 | 14 | 25 | 0 | 76 | ![]() |
sqt(lrg(dst(R,R),D)) | 68159 | 114698515 | o1(o2(o2(x,x),x)) | true | 33279 | 33279 | 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 |
| t14_x25_u0_b77 | 14 | 25 | 0 | 77 | ![]() |
sqt(eql(add(R,R),D)) | 68160 | 114698516 | o1(o2(o2(x,x),x)) | true | 33287 | 33287 | 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 |
| t14_x25_u0_b78 | 14 | 25 | 0 | 78 | ![]() |
sqt(eql(sub(R,R),D)) | 68161 | 114698517 | o1(o2(o2(x,x),x)) | true | 33295 | 33295 | 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 |
| t14_x25_u0_b79 | 14 | 25 | 0 | 79 | ![]() |
sqt(eql(mlt(R,R),D)) | 68162 | 114698518 | o1(o2(o2(x,x),x)) | true | 33303 | 33303 | 0.0002441 | 0.0004883 | 0.0002441 | 0.0001911 | 0.01382 | 0 | 0.9994 | 0.9994 | 1 | 0.006378 | 0.0003946 | 0.000002791 | 0.0005079 | 0.986 | 1 | -3.564e-7 | 0.001195 | 0.001008 | 0.0003969 | 0.01992 | 39.23 | 0.9994 | 2.08 | 6.255 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t14_x25_u0_b80 | 14 | 25 | 0 | 80 | ![]() |
sqt(eql(div(R,R),D)) | 68163 | 114698519 | o1(o2(o2(x,x),x)) | true | 33311 | 33311 | 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 |
| t14_x25_u0_b81 | 14 | 25 | 0 | 81 | ![]() |
sqt(eql(pow(R,R),D)) | 68164 | 114698520 | o1(o2(o2(x,x),x)) | true | 33319 | 33319 | 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 |
| t14_x25_u0_b82 | 14 | 25 | 0 | 82 | ![]() |
sqt(eql(mod(R,R),D)) | 68165 | 114698521 | o1(o2(o2(x,x),x)) | true | 33327 | 33327 | 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 |
| t14_x25_u0_b83 | 14 | 25 | 0 | 83 | ![]() |
sqt(eql(lrg(R,R),D)) | 68166 | 114698522 | o1(o2(o2(x,x),x)) | true | 33335 | 33335 | 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 |
| t14_x25_u0_b84 | 14 | 25 | 0 | 84 | ![]() |
sqt(eql(eql(R,R),D)) | 68167 | 114698523 | o1(o2(o2(x,x),x)) | true | 33343 | 33343 | 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 |
| t14_x25_u0_b85 | 14 | 25 | 0 | 85 | ![]() |
sqt(eql(min(R,R),D)) | 68168 | 114698524 | o1(o2(o2(x,x),x)) | true | 33351 | 33351 | 0.00004008 | 0.0002289 | 0.00004008 | 0.00001031 | 0.00321 | 0 | 0.3282 | 0.3282 | 1 | 0.002722 | 0.00001454 | 1.509e-7 | 0.00006305 | 0.9795 | 0 | 1.17e-7 | 0.00004407 | 0.0001242 | 0.00001469 | 0.003832 | 60.78 | 0.3186 | 1.425 | 4.276 | 1 | 1 | 0 | 0 | 0.000007865 | 0 | 0 | 0.7631 | json |
| t14_x25_u0_b86 | 14 | 25 | 0 | 86 | ![]() |
sqt(eql(dot(R,R),D)) | 68169 | 114698525 | o1(o2(o2(x,x),x)) | true | 33359 | 33359 | 7.106e-8 | 0.0002747 | 7.106e-8 | 1.62e-11 | 0.000004025 | 0 | 0.000291 | 0.000291 | 1 | 0 | 3.345e-11 | 2.373e-13 | 1.48e-7 | 0.9859 | 0 | 6.74e-16 | 1.013e-10 | 2.935e-7 | 3.365e-11 | 0.000005801 | 39.18 | 0.000291 | 2.08 | 6.254 | 1 | 1 | 3.024e-11 | 4.016e-11 | 4.413e-11 | 1.867 | 2.479 | 2.724 | json |
| t14_x25_u0_b87 | 14 | 25 | 0 | 87 | ![]() |
sqt(eql(dst(R,R),D)) | 68170 | 114698526 | o1(o2(o2(x,x),x)) | true | 33367 | 33367 | 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 |
| t14_x25_u0_b88 | 14 | 25 | 0 | 88 | ![]() |
sqt(min(add(R,R),D)) | 68171 | 114698527 | o1(o2(o2(x,x),x)) | true | 33375 | 33375 | -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 |
| t14_x25_u0_b89 | 14 | 25 | 0 | 89 | ![]() |
sqt(min(sub(R,R),D)) | 68172 | 114698528 | o1(o2(o2(x,x),x)) | true | 33383 | 33383 | -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 |
| t14_x25_u0_b90 | 14 | 25 | 0 | 90 | ![]() |
sqt(min(mlt(R,R),D)) | 68173 | 114698529 | o1(o2(o2(x,x),x)) | true | 33391 | 33391 | -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 |
| t14_x25_u0_b91 | 14 | 25 | 0 | 91 | ![]() |
sqt(min(div(R,R),D)) | 68174 | 114698530 | o1(o2(o2(x,x),x)) | true | 33399 | 33399 | -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 |
| t14_x25_u0_b92 | 14 | 25 | 0 | 92 | ![]() |
sqt(min(pow(R,R),D)) | 68175 | 114698531 | o1(o2(o2(x,x),x)) | true | 33407 | 33407 | -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 |
| t14_x25_u0_b93 | 14 | 25 | 0 | 93 | ![]() |
sqt(min(mod(R,R),D)) | 68176 | 114698532 | o1(o2(o2(x,x),x)) | true | 33415 | 33415 | -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 |
| t14_x25_u0_b94 | 14 | 25 | 0 | 94 | ![]() |
sqt(min(lrg(R,R),D)) | 68177 | 114698533 | o1(o2(o2(x,x),x)) | true | 33423 | 33423 | -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 |
| t14_x25_u0_b95 | 14 | 25 | 0 | 95 | ![]() |
sqt(min(eql(R,R),D)) | 68178 | 114698534 | o1(o2(o2(x,x),x)) | true | 33431 | 33431 | -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 |
| t14_x25_u0_b96 | 14 | 25 | 0 | 96 | ![]() |
sqt(min(min(R,R),D)) | 68179 | 114698535 | o1(o2(o2(x,x),x)) | true | 33439 | 33439 | -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 |
| t14_x25_u0_b97 | 14 | 25 | 0 | 97 | ![]() |
sqt(min(dot(R,R),D)) | 68180 | 114698536 | o1(o2(o2(x,x),x)) | true | 33447 | 33447 | -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 |
| t14_x25_u0_b98 | 14 | 25 | 0 | 98 | ![]() |
sqt(min(dst(R,R),D)) | 68181 | 114698537 | o1(o2(o2(x,x),x)) | true | 33455 | 33455 | -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 |
| t14_x25_u0_b99 | 14 | 25 | 0 | 99 | ![]() |
sqt(dot(add(R,R),D)) | 68182 | 114698538 | o1(o2(o2(x,x),x)) | true | 33463 | 33463 | -0.891 | 0.06805 | 0.9729 | 0.1653 | 0.4065 | -1 | 1 | 2 | 1 | 0.6089 | 0.04285 | 0.0384 | 0.05378 | 0.05488 | 1 | -0.0002901 | 0.2458 | 0.1077 | 0.07838 | 0.28 | 5.206 | 2.817 | 0.4916 | 1.488 | 1 | 1 | 0.0882 | 0.2864 | 0.3712 | 0.5337 | 1.733 | 2.246 | json |
| t14_x25_u0_b100 | 14 | 25 | 0 | 100 | ![]() |
sqt(dot(sub(R,R),D)) | 68183 | 114698539 | o1(o2(o2(x,x),x)) | true | 33471 | 33471 | 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 |
| t14_x25_u0_b101 | 14 | 25 | 0 | 101 | ![]() |
sqt(dot(mlt(R,R),D)) | 68184 | 114698540 | o1(o2(o2(x,x),x)) | true | 33479 | 33479 | -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 |
| t14_x25_u0_b102 | 14 | 25 | 0 | 102 | ![]() |
sqt(dot(div(R,R),D)) | 68185 | 114698541 | o1(o2(o2(x,x),x)) | true | 33487 | 33487 | -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 |
| t14_x25_u0_b103 | 14 | 25 | 0 | 103 | ![]() |
sqt(dot(pow(R,R),D)) | 68186 | 114698542 | o1(o2(o2(x,x),x)) | true | 33495 | 33495 | -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 |
| t14_x25_u0_b104 | 14 | 25 | 0 | 104 | ![]() |
sqt(dot(mod(R,R),D)) | 68187 | 114698543 | o1(o2(o2(x,x),x)) | true | 33503 | 33503 | -0.5259 | 0.28 | 0.6043 | 0.2992 | 0.547 | -1 | 0.6781 | 1.678 | 1 | 1.853 | 0.02806 | 0.02992 | 0.06086 | -0.032 | 1 | -0.00007206 | 0.1223 | 0.108 | 0.05426 | 0.2329 | 3.827 | 1.678 | 0.1938 | 0.4089 | 1 | 1 | 0.0634 | 0.275 | 0.581 | 0.2119 | 0.9191 | 1.942 | json |
| t14_x25_u0_b105 | 14 | 25 | 0 | 105 | ![]() |
sqt(dot(lrg(R,R),D)) | 68188 | 114698544 | o1(o2(o2(x,x),x)) | true | 33511 | 33511 | 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 |
| t14_x25_u0_b106 | 14 | 25 | 0 | 106 | ![]() |
sqt(dot(eql(R,R),D)) | 68189 | 114698545 | o1(o2(o2(x,x),x)) | true | 33519 | 33519 | -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 |
| t14_x25_u0_b107 | 14 | 25 | 0 | 107 | ![]() |
sqt(dot(min(R,R),D)) | 68190 | 114698546 | o1(o2(o2(x,x),x)) | true | 33527 | 33527 | -0.903 | 0.06805 | 0.9609 | 0.1302 | 0.3608 | -1 | 0.7437 | 1.744 | 1 | 0.577 | 0.03491 | 0.03117 | 0.04793 | 0.05668 | 1 | -0.0002605 | 0.2021 | 0.09763 | 0.06375 | 0.2525 | 5.268 | 2.407 | 0.5076 | 1.552 | 1 | 1 | 0.07098 | 0.2246 | 0.291 | 0.5452 | 1.725 | 2.235 | json |
| t14_x25_u0_b108 | 14 | 25 | 0 | 108 | ![]() |
sqt(dot(dot(R,R),D)) | 68191 | 114698547 | o1(o2(o2(x,x),x)) | true | 33535 | 33535 | -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 |
| t14_x25_u0_b109 | 14 | 25 | 0 | 109 | ![]() |
sqt(dot(dst(R,R),D)) | 68192 | 114698548 | o1(o2(o2(x,x),x)) | true | 33543 | 33543 | 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 |
| t14_x25_u0_b110 | 14 | 25 | 0 | 110 | ![]() |
sqt(dst(add(R,R),D)) | 68193 | 114698549 | o1(o2(o2(x,x),x)) | true | 33551 | 33551 | 0.9969 | 1 | 0.9969 | 0.0006626 | 0.02574 | 0.3703 | 1 | 0.6297 | 1 | 0.1555 | 0.000024 | 0.00004242 | 0.001222 | -0.2773 | 0 | -0.000005757 | 0.00002988 | 0.000827 | 0.00006489 | 0.008055 | 6.592 | 0.1288 | 0.1002 | 0.0451 | 1 | 1 | 0.00006746 | 0.0004651 | 0.0008032 | 0.1018 | 0.702 | 1.212 | json |
| t14_x25_u0_b111 | 14 | 25 | 0 | 111 | ![]() |
sqt(dst(sub(R,R),D)) | 68194 | 114698550 | o1(o2(o2(x,x),x)) | true | 33559 | 33559 | 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 |
| t14_x25_u0_b112 | 14 | 25 | 0 | 112 | ![]() |
sqt(dst(mlt(R,R),D)) | 68195 | 114698551 | o1(o2(o2(x,x),x)) | true | 33567 | 33567 | 0.8838 | 1 | 0.8838 | 0.01743 | 0.132 | 0.1391 | 1 | 0.8609 | 1 | 2.4 | 0.0006078 | 0.0006593 | 0.02597 | -0.04057 | 1 | -0.0001335 | 0.000265 | 0.009051 | 0.0005926 | 0.02434 | 0.9373 | 0.2562 | 0.07268 | 0.0152 | 1 | 1 | 0.002287 | 0.02057 | 0.02571 | 0.1312 | 1.18 | 1.475 | json |
| t14_x25_u0_b113 | 14 | 25 | 0 | 113 | ![]() |
sqt(dst(div(R,R),D)) | 68196 | 114698552 | o1(o2(o2(x,x),x)) | true | 33575 | 33575 | 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 |
| t14_x25_u0_b114 | 14 | 25 | 0 | 114 | ![]() |
sqt(dst(pow(R,R),D)) | 68197 | 114698553 | o1(o2(o2(x,x),x)) | true | 33583 | 33583 | -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 |
| t14_x25_u0_b115 | 14 | 25 | 0 | 115 | ![]() |
sqt(dst(mod(R,R),D)) | 68198 | 114698554 | o1(o2(o2(x,x),x)) | true | 33591 | 33591 | 0.7364 | 1 | 0.7364 | 0.02885 | 0.1698 | 0.1797 | 1 | 0.8203 | 1 | 3.28 | 0.001376 | 0.001353 | 0.04434 | 0.008412 | 1 | -0.000427 | 0.0006396 | 0.01321 | 0.0007637 | 0.02763 | 0.6232 | 0.1846 | 0.09464 | 0.02217 | 1 | 1 | 0.005072 | 0.0409 | 0.04044 | 0.1758 | 1.418 | 1.402 | json |
| t14_x25_u0_b116 | 14 | 25 | 0 | 116 | ![]() |
sqt(dst(lrg(R,R),D)) | 68199 | 114698555 | o1(o2(o2(x,x),x)) | true | 33599 | 33599 | 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 |



































































































