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_x26_u6_b64 | 12 | 26 | 6 | 64 | ![]() |
nrm(mod(R,dot(R,R))) | 42000 | 98498908 | o1(o2(x,o2(x,x))) | true | 16007 | 16007 | -0.01761 | 0.4885 | 0.4202 | 0.2328 | 0.4825 | -0.992 | 0.9649 | 1.957 | 1 | 4.834 | 0.002844 | 0.003186 | 0.06376 | -0.05679 | 1 | -0.000007779 | 0.0003494 | 0.01466 | 0.001965 | 0.04432 | 0.6951 | 0.2228 | 0.02591 | 0.001501 | 1 | 1 | 0.01226 | 0.1582 | 0.4509 | 0.05268 | 0.6796 | 1.937 | json |
| t12_x26_u6_b65 | 12 | 26 | 6 | 65 | ![]() |
nrm(mod(R,dst(R,R))) | 42001 | 98498909 | o1(o2(x,o2(x,x))) | true | 16015 | 16015 | -0.004333 | 0.4894 | 0.3952 | 0.209 | 0.4572 | -0.9488 | 0.9534 | 1.902 | 1 | 4.783 | 0.002736 | 0.002944 | 0.06188 | -0.03652 | 1 | -0.000006012 | 0.0003349 | 0.01431 | 0.001851 | 0.04303 | 0.6953 | 0.2114 | 0.02718 | 0.001602 | 1 | 1 | 0.01108 | 0.1426 | 0.3701 | 0.05303 | 0.6821 | 1.771 | json |
| t12_x26_u6_b66 | 12 | 26 | 6 | 66 | ![]() |
nrm(lrg(R,add(R,R))) | 42002 | 98498910 | o1(o2(x,o2(x,x))) | true | 16023 | 16023 | -0.07548 | 0.6232 | 0.6276 | 0.5254 | 0.7248 | -1 | 1 | 2 | 1 | 3.365 | 0.03397 | 0.03031 | 0.06733 | 0.05696 | 1 | 0.00001654 | 0.129 | 0.08806 | 0.05976 | 0.2444 | 3.631 | 2.828 | 0.1223 | 0.2456 | 1 | 1 | 0.07595 | 0.3329 | 0.9694 | 0.1446 | 0.6336 | 1.845 | json |
| t12_x26_u6_b67 | 12 | 26 | 6 | 67 | ![]() |
nrm(lrg(R,sub(R,R))) | 42003 | 98498911 | o1(o2(x,o2(x,x))) | true | 16031 | 16031 | -0.1387 | 0.5857 | 0.6426 | 0.5317 | 0.7292 | -1 | 0.9999 | 2 | 1 | 3.239 | 0.02739 | 0.0331 | 0.06437 | -0.09431 | 1 | -0.00001399 | 0.1213 | 0.08405 | 0.05635 | 0.2374 | 3.688 | 2.828 | 0.1138 | 0.2281 | 1 | 1 | 0.05291 | 0.2479 | 0.8352 | 0.0995 | 0.4663 | 1.571 | json |
| t12_x26_u6_b68 | 12 | 26 | 6 | 68 | ![]() |
nrm(lrg(R,mlt(R,R))) | 42004 | 98498912 | o1(o2(x,o2(x,x))) | true | 16039 | 16039 | -0.1387 | 0.5857 | 0.6426 | 0.5317 | 0.7292 | -1 | 0.9999 | 2 | 1 | 3.239 | 0.02739 | 0.0331 | 0.06437 | -0.09431 | 1 | -0.00001399 | 0.1213 | 0.08405 | 0.05635 | 0.2374 | 3.688 | 2.828 | 0.1138 | 0.2281 | 1 | 1 | 0.05291 | 0.2479 | 0.8352 | 0.0995 | 0.4663 | 1.571 | json |
| t12_x26_u6_b69 | 12 | 26 | 6 | 69 | ![]() |
nrm(lrg(R,div(R,R))) | 42005 | 98498913 | o1(o2(x,o2(x,x))) | true | 16047 | 16047 | -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_x26_u6_b70 | 12 | 26 | 6 | 70 | ![]() |
nrm(lrg(R,pow(R,R))) | 42006 | 98498914 | o1(o2(x,o2(x,x))) | true | 16055 | 16055 | -0.07548 | 0.6232 | 0.6276 | 0.5254 | 0.7248 | -1 | 1 | 2 | 1 | 3.365 | 0.03397 | 0.03031 | 0.06733 | 0.05696 | 1 | 0.00001654 | 0.129 | 0.08806 | 0.05976 | 0.2444 | 3.631 | 2.828 | 0.1223 | 0.2456 | 1 | 1 | 0.07595 | 0.3329 | 0.9694 | 0.1446 | 0.6336 | 1.845 | json |
| t12_x26_u6_b71 | 12 | 26 | 6 | 71 | ![]() |
nrm(lrg(R,mod(R,R))) | 42007 | 98498915 | o1(o2(x,o2(x,x))) | true | 16063 | 16063 | -0.5488 | 0.3055 | 0.7949 | 0.4505 | 0.6712 | -1 | 1 | 2 | 1 | 2.106 | 0.03251 | 0.03708 | 0.0575 | -0.06569 | 1 | -0.000006046 | 0.1428 | 0.09144 | 0.06631 | 0.2575 | 4.478 | 2.828 | 0.1545 | 0.317 | 1 | 1 | 0.07411 | 0.3146 | 0.9065 | 0.1645 | 0.6985 | 2.012 | json |
| t12_x26_u6_b72 | 12 | 26 | 6 | 72 | ![]() |
nrm(lrg(R,lrg(R,R))) | 42008 | 98498916 | o1(o2(x,o2(x,x))) | true | 16071 | 16071 | -0.1387 | 0.5857 | 0.6426 | 0.5317 | 0.7292 | -1 | 0.9999 | 2 | 1 | 3.239 | 0.02739 | 0.0331 | 0.06437 | -0.09431 | 1 | -0.00001399 | 0.1213 | 0.08405 | 0.05635 | 0.2374 | 3.688 | 2.828 | 0.1138 | 0.2281 | 1 | 1 | 0.05291 | 0.2479 | 0.8352 | 0.0995 | 0.4663 | 1.571 | json |
| t12_x26_u6_b73 | 12 | 26 | 6 | 73 | ![]() |
nrm(lrg(R,eql(R,R))) | 42009 | 98498917 | o1(o2(x,o2(x,x))) | true | 16079 | 16079 | -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_x26_u6_b74 | 12 | 26 | 6 | 74 | ![]() |
nrm(lrg(R,min(R,R))) | 42010 | 98498918 | o1(o2(x,o2(x,x))) | true | 16087 | 16087 | -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_x26_u6_b75 | 12 | 26 | 6 | 75 | ![]() |
nrm(lrg(R,dot(R,R))) | 42011 | 98498919 | o1(o2(x,o2(x,x))) | true | 16095 | 16095 | -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_x26_u6_b76 | 12 | 26 | 6 | 76 | ![]() |
nrm(lrg(R,dst(R,R))) | 42012 | 98498920 | o1(o2(x,o2(x,x))) | true | 16103 | 16103 | -0.1387 | 0.5857 | 0.6426 | 0.5317 | 0.7292 | -1 | 0.9999 | 2 | 1 | 3.239 | 0.02739 | 0.0331 | 0.06437 | -0.09431 | 1 | -0.00001399 | 0.1213 | 0.08405 | 0.05635 | 0.2374 | 3.688 | 2.828 | 0.1138 | 0.2281 | 1 | 1 | 0.05291 | 0.2479 | 0.8352 | 0.0995 | 0.4663 | 1.571 | json |
| t12_x26_u6_b77 | 12 | 26 | 6 | 77 | ![]() |
nrm(eql(R,add(R,R))) | 42013 | 98498921 | o1(o2(x,o2(x,x))) | true | 16111 | 16111 | -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_x26_u6_b78 | 12 | 26 | 6 | 78 | ![]() |
nrm(eql(R,sub(R,R))) | 42014 | 98498922 | o1(o2(x,o2(x,x))) | true | 16119 | 16119 | -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_x26_u6_b79 | 12 | 26 | 6 | 79 | ![]() |
nrm(eql(R,mlt(R,R))) | 42015 | 98498923 | o1(o2(x,o2(x,x))) | true | 16127 | 16127 | -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_x26_u6_b80 | 12 | 26 | 6 | 80 | ![]() |
nrm(eql(R,div(R,R))) | 42016 | 98498924 | o1(o2(x,o2(x,x))) | true | 16135 | 16135 | -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_x26_u6_b81 | 12 | 26 | 6 | 81 | ![]() |
nrm(eql(R,pow(R,R))) | 42017 | 98498925 | o1(o2(x,o2(x,x))) | true | 16143 | 16143 | -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_x26_u6_b82 | 12 | 26 | 6 | 82 | ![]() |
nrm(eql(R,mod(R,R))) | 42018 | 98498926 | o1(o2(x,o2(x,x))) | true | 16151 | 16151 | -0.9088 | 0.0575 | 0.9662 | 0.1326 | 0.3642 | -1 | 1 | 2 | 1 | 0.5663 | 0.01225 | 0.008582 | 0.01582 | 0.1762 | 1 | 0.000006886 | 0.04304 | 0.02751 | 0.02058 | 0.1435 | 9.066 | 2.828 | 0.1571 | 0.3246 | 1 | 1 | 0.02202 | 0.08989 | 0.2542 | 0.166 | 0.6779 | 1.917 | json |
| t12_x26_u6_b83 | 12 | 26 | 6 | 83 | ![]() |
nrm(eql(R,lrg(R,R))) | 42019 | 98498927 | o1(o2(x,o2(x,x))) | true | 16159 | 16159 | -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_x26_u6_b84 | 12 | 26 | 6 | 84 | ![]() |
nrm(eql(R,eql(R,R))) | 42020 | 98498928 | o1(o2(x,o2(x,x))) | true | 16167 | 16167 | -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_x26_u6_b85 | 12 | 26 | 6 | 85 | ![]() |
nrm(eql(R,min(R,R))) | 42021 | 98498929 | o1(o2(x,o2(x,x))) | true | 16175 | 16175 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x26_u6_b86 | 12 | 26 | 6 | 86 | ![]() |
nrm(eql(R,dot(R,R))) | 42022 | 98498930 | o1(o2(x,o2(x,x))) | true | 16183 | 16183 | -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_x26_u6_b87 | 12 | 26 | 6 | 87 | ![]() |
nrm(eql(R,dst(R,R))) | 42023 | 98498931 | o1(o2(x,o2(x,x))) | true | 16191 | 16191 | -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_x26_u6_b88 | 12 | 26 | 6 | 88 | ![]() |
nrm(min(R,add(R,R))) | 42024 | 98498932 | o1(o2(x,o2(x,x))) | true | 16199 | 16199 | -0.1052 | 0.4417 | 0.394 | 0.204 | 0.4517 | -0.9856 | 0.9417 | 1.927 | 1 | 4.762 | 0.002743 | 0.002949 | 0.0616 | -0.03616 | 1 | -0.00001515 | 0.0003352 | 0.01425 | 0.001897 | 0.04356 | 0.7071 | 0.2224 | 0.0279 | 0.001643 | 1 | 1 | 0.01152 | 0.148 | 0.3731 | 0.05645 | 0.7254 | 1.829 | json |
| t12_x26_u6_b89 | 12 | 26 | 6 | 89 | ![]() |
nrm(min(R,sub(R,R))) | 42025 | 98498933 | o1(o2(x,o2(x,x))) | true | 16207 | 16207 | -0.6028 | 0 | 0.6028 | 0.1561 | 0.3951 | -1 | 0 | 1 | 1 | 3.222 | 0.008359 | 0.007644 | 0.04435 | 0.04471 | 1 | -0.000006892 | 0.0293 | 0.0404 | 0.01403 | 0.1185 | 2.671 | 1.414 | 0.1025 | 0.1876 | 1 | 1 | 0.01784 | 0.1028 | 0.2788 | 0.1142 | 0.6584 | 1.786 | json |
| t12_x26_u6_b90 | 12 | 26 | 6 | 90 | ![]() |
nrm(min(R,mlt(R,R))) | 42026 | 98498934 | o1(o2(x,o2(x,x))) | true | 16215 | 16215 | -0.08373 | 0.4365 | 0.3903 | 0.2087 | 0.4568 | -0.997 | 0.9919 | 1.989 | 1 | 4.827 | 0.002795 | 0.003031 | 0.06266 | -0.04055 | 1 | -0.000003335 | 0.000343 | 0.01437 | 0.0019 | 0.04359 | 0.6956 | 0.232 | 0.02792 | 0.001644 | 1 | 1 | 0.01158 | 0.1489 | 0.3896 | 0.05548 | 0.7137 | 1.867 | json |
| t12_x26_u6_b91 | 12 | 26 | 6 | 91 | ![]() |
nrm(min(R,div(R,R))) | 42027 | 98498935 | o1(o2(x,o2(x,x))) | true | 16223 | 16223 | -0.004333 | 0.4894 | 0.3952 | 0.209 | 0.4572 | -0.9488 | 0.9534 | 1.902 | 1 | 4.783 | 0.002736 | 0.002944 | 0.06188 | -0.03652 | 1 | -0.000006012 | 0.0003349 | 0.01431 | 0.001851 | 0.04303 | 0.6953 | 0.2114 | 0.02718 | 0.001602 | 1 | 1 | 0.01108 | 0.1426 | 0.3701 | 0.05303 | 0.6821 | 1.771 | json |
| t12_x26_u6_b92 | 12 | 26 | 6 | 92 | ![]() |
nrm(min(R,pow(R,R))) | 42028 | 98498936 | o1(o2(x,o2(x,x))) | true | 16231 | 16231 | -0.004333 | 0.4894 | 0.3952 | 0.209 | 0.4572 | -0.9488 | 0.9534 | 1.902 | 1 | 4.783 | 0.002736 | 0.002944 | 0.06188 | -0.03652 | 1 | -0.000006012 | 0.0003349 | 0.01431 | 0.001851 | 0.04303 | 0.6953 | 0.2114 | 0.02718 | 0.001602 | 1 | 1 | 0.01108 | 0.1426 | 0.3701 | 0.05303 | 0.6821 | 1.771 | json |
| t12_x26_u6_b93 | 12 | 26 | 6 | 93 | ![]() |
nrm(min(R,mod(R,R))) | 42029 | 98498937 | o1(o2(x,o2(x,x))) | true | 16239 | 16239 | -0.3969 | 0.1287 | 0.482 | 0.2114 | 0.4598 | -1 | 0.9996 | 2 | 1 | 4.163 | 0.008118 | 0.007727 | 0.053 | 0.02465 | 1 | -0.00004496 | 0.026 | 0.03392 | 0.01304 | 0.1142 | 2.155 | 2.517 | 0.07497 | 0.123 | 1 | 1 | 0.02628 | 0.169 | 0.4748 | 0.1243 | 0.7996 | 2.247 | json |
| t12_x26_u6_b94 | 12 | 26 | 6 | 94 | ![]() |
nrm(min(R,lrg(R,R))) | 42030 | 98498938 | o1(o2(x,o2(x,x))) | true | 16247 | 16247 | -0.6028 | 0 | 0.6028 | 0.1561 | 0.3951 | -1 | 0 | 1 | 1 | 3.222 | 0.008359 | 0.007644 | 0.04435 | 0.04471 | 1 | -0.000006892 | 0.0293 | 0.0404 | 0.01403 | 0.1185 | 2.671 | 1.414 | 0.1025 | 0.1876 | 1 | 1 | 0.01784 | 0.1028 | 0.2788 | 0.1142 | 0.6584 | 1.786 | json |
| t12_x26_u6_b95 | 12 | 26 | 6 | 95 | ![]() |
nrm(min(R,eql(R,R))) | 42031 | 98498939 | o1(o2(x,o2(x,x))) | true | 16255 | 16255 | -0.004333 | 0.4894 | 0.3952 | 0.209 | 0.4572 | -0.9488 | 0.9534 | 1.902 | 1 | 4.783 | 0.002736 | 0.002944 | 0.06188 | -0.03652 | 1 | -0.000006012 | 0.0003349 | 0.01431 | 0.001851 | 0.04303 | 0.6953 | 0.2114 | 0.02718 | 0.001602 | 1 | 1 | 0.01108 | 0.1426 | 0.3701 | 0.05303 | 0.6821 | 1.771 | json |
| t12_x26_u6_b96 | 12 | 26 | 6 | 96 | ![]() |
nrm(min(R,min(R,R))) | 42032 | 98498940 | o1(o2(x,o2(x,x))) | true | 16263 | 16263 | -0.004333 | 0.4894 | 0.3952 | 0.209 | 0.4572 | -0.9488 | 0.9534 | 1.902 | 1 | 4.783 | 0.002736 | 0.002944 | 0.06188 | -0.03652 | 1 | -0.000006012 | 0.0003349 | 0.01431 | 0.001851 | 0.04303 | 0.6953 | 0.2114 | 0.02718 | 0.001602 | 1 | 1 | 0.01108 | 0.1426 | 0.3701 | 0.05303 | 0.6821 | 1.771 | json |
| t12_x26_u6_b97 | 12 | 26 | 6 | 97 | ![]() |
nrm(min(R,dot(R,R))) | 42033 | 98498941 | o1(o2(x,o2(x,x))) | true | 16271 | 16271 | -0.01045 | 0.4876 | 0.3977 | 0.2106 | 0.4589 | -0.9488 | 0.9534 | 1.902 | 1 | 4.78 | 0.00276 | 0.002966 | 0.06207 | -0.03605 | 1 | -0.000005013 | 0.0003371 | 0.01437 | 0.001873 | 0.04328 | 0.6972 | 0.21 | 0.02719 | 0.0016 | 1 | 1 | 0.01141 | 0.1469 | 0.3861 | 0.05419 | 0.6973 | 1.833 | json |
| t12_x26_u6_b98 | 12 | 26 | 6 | 98 | ![]() |
nrm(min(R,dst(R,R))) | 42034 | 98498942 | o1(o2(x,o2(x,x))) | true | 16279 | 16279 | -0.6028 | 0 | 0.6028 | 0.1561 | 0.3951 | -1 | 0 | 1 | 1 | 3.222 | 0.008359 | 0.007644 | 0.04435 | 0.04471 | 1 | -0.000006892 | 0.0293 | 0.0404 | 0.01403 | 0.1185 | 2.671 | 1.414 | 0.1025 | 0.1876 | 1 | 1 | 0.01784 | 0.1028 | 0.2788 | 0.1142 | 0.6584 | 1.786 | json |
| t12_x26_u6_b99 | 12 | 26 | 6 | 99 | ![]() |
nrm(dot(R,add(R,R))) | 42035 | 98498943 | o1(o2(x,o2(x,x))) | true | 16287 | 16287 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 5.371e-17 | 3.978e-17 | 1.515e-9 | 0.00001393 | 0 | -1.213e-9 | 3.912e-16 | 1.641e-9 | 9.116e-17 | 9.548e-9 | 6.304 | 8.429e-8 | 6.579e-10 | 2.753e-9 | 1 | 1 | 1.029e-16 | 3.911e-16 | 6.584e-16 | 7.245e-10 | 2.753e-9 | 4.634e-9 | json |
| t12_x26_u6_b100 | 12 | 26 | 6 | 100 | ![]() |
nrm(dot(R,sub(R,R))) | 42036 | 98498944 | o1(o2(x,o2(x,x))) | true | 16295 | 16295 | 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_x26_u6_b101 | 12 | 26 | 6 | 101 | ![]() |
nrm(dot(R,mlt(R,R))) | 42037 | 98498945 | o1(o2(x,o2(x,x))) | true | 16303 | 16303 | -1.283e-8 | 0.5007 | 0.4297 | 0.2159 | 0.4647 | -0.5774 | 0.5774 | 1.155 | 1 | 3.808 | 0.00257 | 0.002875 | 0.05519 | -0.05617 | 1 | 0.00001648 | 0.0003158 | 0.01337 | 0.002399 | 0.04898 | 0.8875 | 0.135 | 0.02521 | 0.001462 | 1 | 1 | 0.01044 | 0.1344 | 0.3828 | 0.04836 | 0.6225 | 1.773 | json |
| t12_x26_u6_b102 | 12 | 26 | 6 | 102 | ![]() |
nrm(dot(R,div(R,R))) | 42038 | 98498946 | o1(o2(x,o2(x,x))) | true | 16311 | 16311 | 0.009021 | 0.5076 | 0.4135 | 0.2033 | 0.4509 | -0.5774 | 0.5774 | 1.155 | 1 | 3.948 | 0.003042 | 0.002952 | 0.06076 | 0.015 | 1 | 0.00001565 | 0.0003513 | 0.01475 | 0.002301 | 0.04797 | 0.7895 | 0.135 | 0.02949 | 0.001728 | 1 | 1 | 0.01151 | 0.1483 | 0.3976 | 0.0566 | 0.7295 | 1.956 | json |
| t12_x26_u6_b103 | 12 | 26 | 6 | 103 | ![]() |
nrm(dot(R,pow(R,R))) | 42039 | 98498947 | o1(o2(x,o2(x,x))) | true | 16319 | 16319 | -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_x26_u6_b104 | 12 | 26 | 6 | 104 | ![]() |
nrm(dot(R,mod(R,R))) | 42040 | 98498948 | o1(o2(x,o2(x,x))) | true | 16327 | 16327 | -0.9014 | 0.0625 | 0.9736 | 0.1458 | 0.3819 | -1 | 0.5774 | 1.577 | 1 | 0.3373 | 0.01332 | 0.01034 | 0.0149 | 0.1258 | 1 | -1.04e-9 | 0.04921 | 0.03001 | 0.02346 | 0.1532 | 10.28 | 2.231 | 0.1623 | 0.3375 | 1 | 1 | 0.02302 | 0.09208 | 0.252 | 0.1579 | 0.6314 | 1.728 | json |
| t12_x26_u6_b105 | 12 | 26 | 6 | 105 | ![]() |
nrm(dot(R,lrg(R,R))) | 42041 | 98498949 | o1(o2(x,o2(x,x))) | true | 16335 | 16335 | -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_x26_u6_b106 | 12 | 26 | 6 | 106 | ![]() |
nrm(dot(R,eql(R,R))) | 42042 | 98498950 | o1(o2(x,o2(x,x))) | true | 16343 | 16343 | 0.009021 | 0.5076 | 0.4135 | 0.2033 | 0.4509 | -0.5774 | 0.5774 | 1.155 | 1 | 3.948 | 0.003042 | 0.002952 | 0.06076 | 0.015 | 1 | 0.00001565 | 0.0003513 | 0.01475 | 0.002301 | 0.04797 | 0.7895 | 0.135 | 0.02949 | 0.001728 | 1 | 1 | 0.01151 | 0.1483 | 0.3976 | 0.0566 | 0.7295 | 1.956 | json |
| t12_x26_u6_b107 | 12 | 26 | 6 | 107 | ![]() |
nrm(dot(R,min(R,R))) | 42043 | 98498951 | o1(o2(x,o2(x,x))) | true | 16351 | 16351 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 5.371e-17 | 3.978e-17 | 1.515e-9 | 0.00001393 | 0 | -1.213e-9 | 3.912e-16 | 1.641e-9 | 9.116e-17 | 9.548e-9 | 6.304 | 8.429e-8 | 6.579e-10 | 2.753e-9 | 1 | 1 | 1.029e-16 | 3.911e-16 | 6.584e-16 | 7.245e-10 | 2.753e-9 | 4.634e-9 | json |
| t12_x26_u6_b108 | 12 | 26 | 6 | 108 | ![]() |
nrm(dot(R,dot(R,R))) | 42044 | 98498952 | o1(o2(x,o2(x,x))) | true | 16359 | 16359 | 0.009021 | 0.5076 | 0.4135 | 0.2033 | 0.4509 | -0.5774 | 0.5774 | 1.155 | 1 | 3.948 | 0.003042 | 0.002952 | 0.06076 | 0.015 | 1 | 0.00001565 | 0.0003513 | 0.01475 | 0.002301 | 0.04797 | 0.7895 | 0.135 | 0.02949 | 0.001728 | 1 | 1 | 0.01151 | 0.1483 | 0.3976 | 0.0566 | 0.7295 | 1.956 | json |
| t12_x26_u6_b109 | 12 | 26 | 6 | 109 | ![]() |
nrm(dot(R,dst(R,R))) | 42045 | 98498953 | o1(o2(x,o2(x,x))) | true | 16367 | 16367 | 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_x26_u6_b110 | 12 | 26 | 6 | 110 | ![]() |
nrm(dst(R,add(R,R))) | 42046 | 98498954 | o1(o2(x,o2(x,x))) | true | 16375 | 16375 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 5.477e-17 | 4.011e-17 | 1.52e-9 | 0.00001466 | 0 | -2.628e-10 | 4.189e-16 | 1.757e-9 | 9.254e-17 | 9.62e-9 | 6.327 | 8.429e-8 | 6.677e-10 | 2.948e-9 | 1 | 1 | 9.989e-17 | 3.782e-16 | 6.564e-16 | 7.03e-10 | 2.661e-9 | 4.619e-9 | json |
| t12_x26_u6_b111 | 12 | 26 | 6 | 111 | ![]() |
nrm(dst(R,sub(R,R))) | 42047 | 98498955 | o1(o2(x,o2(x,x))) | true | 16383 | 16383 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 5.477e-17 | 4.011e-17 | 1.52e-9 | 0.00001466 | 0 | -2.628e-10 | 4.189e-16 | 1.757e-9 | 9.254e-17 | 9.62e-9 | 6.327 | 8.429e-8 | 6.677e-10 | 2.948e-9 | 1 | 1 | 9.989e-17 | 3.782e-16 | 6.564e-16 | 7.03e-10 | 2.661e-9 | 4.619e-9 | json |
| t12_x26_u6_b112 | 12 | 26 | 6 | 112 | ![]() |
nrm(dst(R,mlt(R,R))) | 42048 | 98498956 | o1(o2(x,o2(x,x))) | true | 16391 | 16391 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 5.248e-17 | 3.81e-17 | 1.46e-9 | 0.00001438 | 0 | -7.809e-10 | 3.67e-16 | 1.539e-9 | 8.847e-17 | 9.406e-9 | 6.444 | 8.429e-8 | 6.374e-10 | 2.583e-9 | 1 | 1 | 1.004e-16 | 3.84e-16 | 6.289e-16 | 7.068e-10 | 2.702e-9 | 4.426e-9 | json |
| t12_x26_u6_b113 | 12 | 26 | 6 | 113 | ![]() |
nrm(dst(R,div(R,R))) | 42049 | 98498957 | o1(o2(x,o2(x,x))) | true | 16399 | 16399 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 2.73e-17 | 1.958e-17 | 7.536e-10 | 0.00000772 | 0 | -6.307e-10 | 1.987e-16 | 8.335e-10 | 4.635e-17 | 6.808e-9 | 9.035 | 8.429e-8 | 3.299e-10 | 1.398e-9 | 1 | 1 | 4.468e-17 | 1.667e-16 | 2.605e-16 | 3.144e-10 | 1.173e-9 | 1.833e-9 | json |
| t12_x26_u6_b114 | 12 | 26 | 6 | 114 | ![]() |
nrm(dst(R,pow(R,R))) | 42050 | 98498958 | o1(o2(x,o2(x,x))) | true | 16407 | 16407 | -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_x26_u6_b115 | 12 | 26 | 6 | 115 | ![]() |
nrm(dst(R,mod(R,R))) | 42051 | 98498959 | o1(o2(x,o2(x,x))) | true | 16415 | 16415 | 0.5284 | 0.9688 | 0.591 | 0.07536 | 0.2745 | -1 | 0.5774 | 1.577 | 1 | 0.2006 | 0.005015 | 0.005015 | 0.00633 | 0 | 1 | -5.256e-10 | 0.02069 | 0.01272 | 0.01 | 0.1 | 15.8 | 2.231 | 0.1331 | 0.2745 | 1 | 1 | 0.01296 | 0.05183 | 0.1869 | 0.1719 | 0.6878 | 2.481 | json |
| t12_x26_u6_b116 | 12 | 26 | 6 | 116 | ![]() |
nrm(dst(R,lrg(R,R))) | 42052 | 98498960 | o1(o2(x,o2(x,x))) | true | 16423 | 16423 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 5.477e-17 | 4.011e-17 | 1.52e-9 | 0.00001466 | 0 | -2.628e-10 | 4.189e-16 | 1.757e-9 | 9.254e-17 | 9.62e-9 | 6.327 | 8.429e-8 | 6.677e-10 | 2.948e-9 | 1 | 1 | 9.989e-17 | 3.782e-16 | 6.564e-16 | 7.03e-10 | 2.661e-9 | 4.619e-9 | json |
| t12_x26_u6_b117 | 12 | 26 | 6 | 117 | ![]() |
nrm(dst(R,eql(R,R))) | 42053 | 98498961 | o1(o2(x,o2(x,x))) | true | 16431 | 16431 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 3.111e-17 | 2.327e-17 | 8.766e-10 | 0.000007832 | 0 | -5.444e-10 | 2.318e-16 | 9.724e-10 | 5.366e-17 | 7.325e-9 | 8.356 | 8.429e-8 | 3.827e-10 | 1.632e-9 | 1 | 1 | 4.478e-17 | 1.698e-16 | 2.72e-16 | 3.151e-10 | 1.195e-9 | 1.914e-9 | json |
| t12_x26_u6_b118 | 12 | 26 | 6 | 118 | ![]() |
nrm(dst(R,min(R,R))) | 42054 | 98498962 | o1(o2(x,o2(x,x))) | true | 16439 | 16439 | -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_x26_u6_b119 | 12 | 26 | 6 | 119 | ![]() |
nrm(dst(R,dot(R,R))) | 42055 | 98498963 | o1(o2(x,o2(x,x))) | true | 16447 | 16447 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 4.923e-17 | 3.972e-17 | 1.426e-9 | 0.000009511 | 0 | -6.382e-10 | 4.028e-16 | 1.689e-9 | 8.695e-17 | 9.325e-9 | 6.537 | 8.429e-8 | 6.26e-10 | 2.835e-9 | 1 | 1 | 1.144e-16 | 4.404e-16 | 7.646e-16 | 8.048e-10 | 3.099e-9 | 5.381e-9 | json |
| t12_x26_u6_b120 | 12 | 26 | 6 | 120 | ![]() |
nrm(dst(R,dst(R,R))) | 42056 | 98498964 | o1(o2(x,o2(x,x))) | true | 16455 | 16455 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 5.477e-17 | 4.011e-17 | 1.52e-9 | 0.00001466 | 0 | -2.628e-10 | 4.189e-16 | 1.757e-9 | 9.254e-17 | 9.62e-9 | 6.327 | 8.429e-8 | 6.677e-10 | 2.948e-9 | 1 | 1 | 9.989e-17 | 3.782e-16 | 6.564e-16 | 7.03e-10 | 2.661e-9 | 4.619e-9 | json |
| t13_x0_u0_b0 | 13 | 0 | 0 | 0 | ![]() |
sqt(add(sqt(P),P)) | 42057 | 105567813 | o1(o2(o1(x),x)) | true | 16463 | 16463 | -0.02539 | 0.5 | 0.9746 | 0.9688 | 0.9843 | -1 | 1 | 2 | 1 | 1.276 | 0.00449 | 0 | 0.007936 | 1 | 1 | 4.735e-10 | 0.007941 | 0.009175 | 0.004426 | 0.06653 | 8.383 | 1 | 0.004635 | 0.008197 | 1 | 1 | 0.006645 | 0.04498 | 0.2962 | 0.00686 | 0.04643 | 0.3058 | json |
| t13_x0_u0_b1 | 13 | 0 | 0 | 1 | ![]() |
sqt(sub(sqt(P),P)) | 42058 | 105567814 | o1(o2(o1(x),x)) | true | 16471 | 16471 | -0.9375 | 0 | 0.9375 | 0.05859 | 0.2421 | -1 | 0 | 1 | 1 | 0.3373 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.1354 | 0.2709 | 1 | 1 | 0.01053 | 0.04211 | 0.08421 | 0.1796 | 0.7186 | 1.437 | json |
| t13_x0_u0_b2 | 13 | 0 | 0 | 2 | ![]() |
sqt(mlt(sqt(P),P)) | 42059 | 105567815 | o1(o2(o1(x),x)) | true | 16479 | 16479 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0.006228 | 0.03975 | 0.2856 | 0.006485 | 0.04139 | 0.2974 | json |
| t13_x0_u0_b3 | 13 | 0 | 0 | 3 | ![]() |
sqt(div(sqt(P),P)) | 42060 | 105567816 | o1(o2(o1(x),x)) | true | 16487 | 16487 | -0.2483 | 0.4375 | 0.8767 | 0.7316 | 0.8554 | -1 | 1 | 2 | 1 | 2.111 | 0.01588 | 0 | 0.009544 | 1 | 1 | -0.0000018 | 0.03176 | 0.01624 | 0.01579 | 0.1256 | 13.16 | 2 | 0.02171 | 0.04341 | 1 | 1 | 0.02107 | 0.08258 | 0.2946 | 0.0288 | 0.1129 | 0.4026 | json |
| t13_x0_u0_b4 | 13 | 0 | 0 | 4 | ![]() |
sqt(pow(sqt(P),P)) | 42061 | 105567817 | o1(o2(o1(x),x)) | true | 16495 | 16495 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |
| t13_x0_u0_b5 | 13 | 0 | 0 | 5 | ![]() |
sqt(mod(sqt(P),P)) | 42062 | 105567818 | o1(o2(o1(x),x)) | true | 16503 | 16503 | -0.1529 | 0.4375 | 0.9721 | 0.9434 | 0.9713 | -1 | 1 | 2 | 1 | 1.321 | 0.004415 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007922 | 0.008978 | 0.004351 | 0.06596 | 8.311 | 1 | 0.00468 | 0.008397 | 1 | 1 | 0.006458 | 0.04255 | 0.2919 | 0.006845 | 0.0451 | 0.3094 | json |
| t13_x0_u0_b6 | 13 | 0 | 0 | 6 | ![]() |
sqt(lrg(sqt(P),P)) | 42063 | 105567819 | o1(o2(o1(x),x)) | true | 16511 | 16511 | 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 |
| t13_x0_u0_b7 | 13 | 0 | 0 | 7 | ![]() |
sqt(eql(sqt(P),P)) | 42064 | 105567820 | o1(o2(o1(x),x)) | true | 16519 | 16519 | 0.125 | 0.1875 | 0.125 | 0.09585 | 0.3096 | 0 | 1 | 1 | 1 | 1.067 | 0.0007059 | 0 | 0.007937 | 1 | 1 | -9.461e-10 | 0.00003238 | 0.001855 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.007364 | 0.0003379 | 1 | 1 | 0.001851 | 0.02429 | 0.1411 | 0.01931 | 0.2534 | 1.472 | json |
| t13_x0_u0_b8 | 13 | 0 | 0 | 8 | ![]() |
sqt(min(sqt(P),P)) | 42065 | 105567821 | o1(o2(o1(x),x)) | true | 16527 | 16527 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0.006228 | 0.03975 | 0.2856 | 0.006485 | 0.04139 | 0.2974 | json |
| t13_x0_u0_b9 | 13 | 0 | 0 | 9 | ![]() |
sqt(dot(sqt(P),P)) | 42066 | 105567822 | o1(o2(o1(x),x)) | true | 16535 | 16535 | -0.5009 | 0.25 | 0.9991 | 0.7481 | 0.8649 | -1 | 1 | 2 | 1 | 0.834 | 0.007541 | 0.007541 | 0.007881 | -9.262e-8 | 1 | 1.577e-10 | 0.03016 | 0.01542 | 0.01502 | 0.1226 | 15.55 | 2 | 0.02016 | 0.04031 | 1 | 1 | 0.0197 | 0.08025 | 0.3325 | 0.02634 | 0.1073 | 0.4444 | json |
| t13_x0_u0_b10 | 13 | 0 | 0 | 10 | ![]() |
sqt(dst(sqt(P),P)) | 42067 | 105567823 | o1(o2(o1(x),x)) | true | 16543 | 16543 | -0.5114 | 0.2461 | 0.9886 | 0.7242 | 0.851 | -1 | 1 | 2 | 1 | 0.9939 | 0.00661 | 0.00661 | 0.007864 | 0.000001585 | 1 | 8.147e-10 | 0.02639 | 0.01436 | 0.01316 | 0.1147 | 14.59 | 2 | 0.01826 | 0.03644 | 1 | 1 | 0.01646 | 0.06722 | 0.2875 | 0.02273 | 0.09282 | 0.3969 | json |
| t13_x0_u1_b0 | 13 | 0 | 1 | 0 | ![]() |
sqt(add(log(P),P)) | 42068 | 105568014 | o1(o2(o1(x),x)) | true | 16551 | 16551 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01612 | 0.03225 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02139 | 0.08555 | 0.3422 | json |
| t13_x0_u1_b1 | 13 | 0 | 1 | 1 | ![]() |
sqt(sub(log(P),P)) | 42069 | 105568015 | o1(o2(o1(x),x)) | true | 16559 | 16559 | -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 |
| t13_x0_u1_b2 | 13 | 0 | 1 | 2 | ![]() |
sqt(mlt(log(P),P)) | 42070 | 105568016 | o1(o2(o1(x),x)) | true | 16567 | 16567 | -0.153 | 0.4375 | 0.972 | 0.9432 | 0.9712 | -1 | 1 | 2 | 1 | 1.321 | 0.004413 | 0 | 0.007937 | 1 | 1 | -9.461e-10 | 0.007925 | 0.008968 | 0.004348 | 0.06594 | 8.309 | 1 | 0.004679 | 0.008403 | 1 | 1 | 0.00645 | 0.04242 | 0.2917 | 0.006838 | 0.04498 | 0.3092 | json |
| t13_x0_u1_b3 | 13 | 0 | 1 | 3 | ![]() |
sqt(div(log(P),P)) | 42071 | 105568017 | o1(o2(o1(x),x)) | true | 16575 | 16575 | -0.3326 | 0.4375 | 0.7924 | 0.58 | 0.7615 | -1 | 0.6051 | 1.605 | 1 | 1.699 | 0.004092 | 0 | 0.006747 | 1 | 1 | -0.000001562 | 0.007913 | 0.008553 | 0.004047 | 0.06362 | 9.429 | 1 | 0.007056 | 0.01364 | 1 | 1 | 0.005608 | 0.02914 | 0.1863 | 0.00967 | 0.05024 | 0.3212 | json |
| t13_x0_u1_b4 | 13 | 0 | 1 | 4 | ![]() |
sqt(pow(log(P),P)) | 42072 | 105568018 | o1(o2(o1(x),x)) | true | 16583 | 16583 | -0.07965 | 0.5 | 0.9203 | 0.8917 | 0.9443 | -1 | 1 | 2 | 1 | 1.957 | 0.01644 | 0 | 0.01587 | 1 | 1 | -2.837e-9 | 0.03188 | 0.01786 | 0.01619 | 0.1272 | 8.017 | 2 | 0.01844 | 0.03575 | 1 | 1 | 0.02248 | 0.09042 | 0.2186 | 0.02521 | 0.1014 | 0.2451 | json |
| t13_x0_u1_b5 | 13 | 0 | 1 | 5 | ![]() |
sqt(mod(log(P),P)) | 42073 | 105568019 | o1(o2(o1(x),x)) | true | 16591 | 16591 | -0.1659 | 0.4375 | 0.9591 | 0.9184 | 0.9584 | -1 | 1 | 2 | 1 | 1.612 | 0.004229 | 0 | 0.007936 | 1 | 1 | -4.693e-13 | 0.007909 | 0.008863 | 0.004165 | 0.06453 | 8.131 | 1 | 0.004604 | 0.008611 | 1 | 1 | 0.005972 | 0.03536 | 0.2643 | 0.006502 | 0.0385 | 0.2878 | json |
| t13_x0_u1_b6 | 13 | 0 | 1 | 6 | ![]() |
sqt(lrg(log(P),P)) | 42074 | 105568020 | o1(o2(o1(x),x)) | true | 16599 | 16599 | 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 |
| t13_x0_u1_b7 | 13 | 0 | 1 | 7 | ![]() |
sqt(eql(log(P),P)) | 42075 | 105568021 | o1(o2(o1(x),x)) | true | 16607 | 16607 | 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 |
| t13_x0_u1_b8 | 13 | 0 | 1 | 8 | ![]() |
sqt(min(log(P),P)) | 42076 | 105568022 | o1(o2(o1(x),x)) | true | 16615 | 16615 | -0.1659 | 0.4375 | 0.9591 | 0.9184 | 0.9584 | -1 | 1 | 2 | 1 | 1.612 | 0.004229 | 0 | 0.007936 | 1 | 1 | -4.693e-13 | 0.007909 | 0.008863 | 0.004165 | 0.06453 | 8.131 | 1 | 0.004604 | 0.008611 | 1 | 1 | 0.005972 | 0.03536 | 0.2643 | 0.006502 | 0.0385 | 0.2878 | json |
| t13_x0_u1_b9 | 13 | 0 | 1 | 9 | ![]() |
sqt(dot(log(P),P)) | 42077 | 105568023 | o1(o2(o1(x),x)) | true | 16623 | 16623 | -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 |
| t13_x0_u1_b10 | 13 | 0 | 1 | 10 | ![]() |
sqt(dst(log(P),P)) | 42078 | 105568024 | o1(o2(o1(x),x)) | true | 16631 | 16631 | -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 |
| t13_x0_u2_b0 | 13 | 0 | 2 | 0 | ![]() |
sqt(add(frc(P),P)) | 42079 | 105568215 | o1(o2(o1(x),x)) | true | 16639 | 16639 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0.006228 | 0.03975 | 0.2856 | 0.006485 | 0.04139 | 0.2974 | json |
| t13_x0_u2_b1 | 13 | 0 | 2 | 1 | ![]() |
sqt(sub(frc(P),P)) | 42080 | 105568216 | o1(o2(o1(x),x)) | true | 16647 | 16647 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | 0 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0.006228 | 0.03975 | 0.2856 | 0.006485 | 0.04139 | 0.2974 | json |
| t13_x0_u2_b2 | 13 | 0 | 2 | 2 | ![]() |
sqt(mlt(frc(P),P)) | 42081 | 105568217 | o1(o2(o1(x),x)) | true | 16655 | 16655 | 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 |
| t13_x0_u2_b3 | 13 | 0 | 2 | 3 | ![]() |
sqt(div(frc(P),P)) | 42082 | 105568218 | o1(o2(o1(x),x)) | true | 16663 | 16663 | 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 |
| t13_x0_u2_b4 | 13 | 0 | 2 | 4 | ![]() |
sqt(pow(frc(P),P)) | 42083 | 105568219 | o1(o2(o1(x),x)) | true | 16671 | 16671 | -0.4688 | 0.0625 | 0.5313 | 0.3046 | 0.5519 | -1 | 0.9997 | 2 | 1 | 1.406 | 0.01622 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.03186 | 0.0168 | 0.01607 | 0.1268 | 10.65 | 2 | 0.05326 | 0.1046 | 1 | 1 | 0.0219 | 0.08325 | 0.1593 | 0.0719 | 0.2733 | 0.523 | json |
| t13_x0_u2_b5 | 13 | 0 | 2 | 5 | ![]() |
sqt(mod(frc(P),P)) | 42084 | 105568220 | o1(o2(o1(x),x)) | true | 16679 | 16679 | 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 |
| t13_x0_u2_b6 | 13 | 0 | 2 | 6 | ![]() |
sqt(lrg(frc(P),P)) | 42085 | 105568221 | o1(o2(o1(x),x)) | true | 16687 | 16687 | 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 |
| t13_x0_u2_b7 | 13 | 0 | 2 | 7 | ![]() |
sqt(eql(frc(P),P)) | 42086 | 105568222 | o1(o2(o1(x),x)) | true | 16695 | 16695 | 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 |
| t13_x0_u2_b8 | 13 | 0 | 2 | 8 | ![]() |
sqt(min(frc(P),P)) | 42087 | 105568223 | o1(o2(o1(x),x)) | true | 16703 | 16703 | -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 |
| t13_x0_u2_b9 | 13 | 0 | 2 | 9 | ![]() |
sqt(dot(frc(P),P)) | 42088 | 105568224 | o1(o2(o1(x),x)) | true | 16711 | 16711 | 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 |
| t13_x0_u2_b10 | 13 | 0 | 2 | 10 | ![]() |
sqt(dst(frc(P),P)) | 42089 | 105568225 | o1(o2(o1(x),x)) | true | 16719 | 16719 | 0.9963 | 1 | 0.9963 | 0.002333 | 0.0483 | 0.000582 | 1 | 0.9994 | 1 | 0.0975 | 0.00003754 | 0.00003754 | 0.0008214 | -9.69e-8 | 0 | -1.427e-10 | 0.000006666 | 0.0002158 | 0.00007432 | 0.008621 | 10.5 | 0.1194 | 0.03219 | 0.002858 | 1 | 1 | 0.00026 | 0.003287 | 0.008516 | 0.1114 | 1.409 | 3.651 | json |
| t13_x0_u3_b0 | 13 | 0 | 3 | 0 | ![]() |
sqt(add(flr(P),P)) | 42090 | 105568416 | o1(o2(o1(x),x)) | true | 16727 | 16727 | -0.02539 | 0.5 | 0.9746 | 0.9688 | 0.9843 | -1 | 1 | 2 | 1 | 1.276 | 0.00449 | 0 | 0.007936 | 1 | 1 | 4.735e-10 | 0.007941 | 0.009175 | 0.004426 | 0.06653 | 8.383 | 1 | 0.004635 | 0.008197 | 1 | 1 | 0.006645 | 0.04498 | 0.2962 | 0.00686 | 0.04643 | 0.3058 | json |
| t13_x0_u3_b1 | 13 | 0 | 3 | 1 | ![]() |
sqt(sub(flr(P),P)) | 42091 | 105568417 | o1(o2(o1(x),x)) | true | 16735 | 16735 | 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 |
| t13_x0_u3_b2 | 13 | 0 | 3 | 2 | ![]() |
sqt(mlt(flr(P),P)) | 42092 | 105568418 | o1(o2(o1(x),x)) | true | 16743 | 16743 | 0.9375 | 1 | 0.9375 | 0.04507 | 0.2123 | 0.000291 | 1 | 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 |
| t13_x0_u3_b3 | 13 | 0 | 3 | 3 | ![]() |
sqt(div(flr(P),P)) | 42093 | 105568419 | o1(o2(o1(x),x)) | true | 16751 | 16751 | 0.75 | 0.875 | 1 | 0.4375 | 0.6614 | -1 | 1 | 2 | 1 | 0.5436 | 0.03175 | 0 | 0.01587 | 1 | 1 | 7.569e-9 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.07256 | 0.1451 | 1 | 1 | 0.04211 | 0.1684 | 0.6737 | 0.09624 | 0.385 | 1.54 | json |
| t13_x0_u3_b4 | 13 | 0 | 3 | 4 | ![]() |
sqt(pow(flr(P),P)) | 42094 | 105568420 | o1(o2(o1(x),x)) | true | 16759 | 16759 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |
| t13_x0_u3_b5 | 13 | 0 | 3 | 5 | ![]() |
sqt(mod(flr(P),P)) | 42095 | 105568421 | o1(o2(o1(x),x)) | true | 16767 | 16767 | -0.2096 | 0.3125 | 0.6654 | 0.6066 | 0.7788 | -1 | 1 | 2 | 1 | 2.027 | 0.02257 | 0 | 0.03564 | 1 | 1 | -0.0002377 | 0.04037 | 0.04681 | 0.0213 | 0.1459 | 4.095 | 1 | 0.03721 | 0.06655 | 1 | 1 | 0.03122 | 0.1528 | 0.4202 | 0.05147 | 0.2519 | 0.6927 | json |
| t13_x0_u3_b6 | 13 | 0 | 3 | 6 | ![]() |
sqt(lrg(flr(P),P)) | 42096 | 105568422 | o1(o2(o1(x),x)) | true | 16775 | 16775 | 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 |
| t13_x0_u3_b7 | 13 | 0 | 3 | 7 | ![]() |
sqt(eql(flr(P),P)) | 42097 | 105568423 | o1(o2(o1(x),x)) | true | 16783 | 16783 | 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 |
| t13_x0_u3_b8 | 13 | 0 | 3 | 8 | ![]() |
sqt(min(flr(P),P)) | 42098 | 105568424 | o1(o2(o1(x),x)) | true | 16791 | 16791 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0.006228 | 0.03975 | 0.2856 | 0.006485 | 0.04139 | 0.2974 | json |
| t13_x0_u3_b9 | 13 | 0 | 3 | 9 | ![]() |
sqt(dot(flr(P),P)) | 42099 | 105568425 | o1(o2(o1(x),x)) | true | 16799 | 16799 | 0.9964 | 1 | 0.9964 | 0.002289 | 0.04784 | 0.000582 | 1 | 0.9994 | 1 | 0.09109 | 0.00003966 | 0.00003966 | 0.0008105 | 5.503e-7 | 0 | -4.881e-11 | 0.00001004 | 0.0002297 | 0.00007859 | 0.008865 | 10.94 | 0.1294 | 0.03466 | 0.004388 | 1 | 1 | 0.0002733 | 0.00336 | 0.008351 | 0.1194 | 1.468 | 3.649 | json |



































































































