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_x12_u3_b85 | 12 | 12 | 3 | 85 | ![]() |
flr(eql(D,min(D,P))) | 29800 | 97932712 | o1(o2(x,o2(x,x))) | true | 68247 | 68247 | 0.5 | 0.5625 | 0.5 | 0.2365 | 0.4863 | 0 | 1 | 1 | 1 | 1.577 | 0.00467 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.008068 | 0.009787 | 0.004528 | 0.06729 | 5.654 | 0.9994 | 0.01975 | 0.03412 | 1 | 1 | 0.007036 | 0.03244 | 0.06598 | 0.02976 | 0.1372 | 0.279 | json |
| t12_x12_u3_b86 | 12 | 12 | 3 | 86 | ![]() |
flr(eql(D,dot(D,P))) | 29801 | 97932713 | o1(o2(x,o2(x,x))) | true | 68255 | 68255 | 0.01216 | 0.03226 | 0.01216 | 0.008676 | 0.09314 | 0 | 0.9994 | 0.9994 | 1 | 0.2336 | 0.01281 | 0.01279 | 0.02743 | 0.0009992 | 1 | -0.000005323 | 0.1439 | 0.06608 | 0.02484 | 0.1576 | 5.745 | 1.413 | 2.951 | 16.59 | 1 | 1 | 0.01535 | 0.01846 | 0.02309 | 1.769 | 2.128 | 2.661 | json |
| t12_x12_u3_b87 | 12 | 12 | 3 | 87 | ![]() |
flr(eql(D,dst(D,P))) | 29802 | 97932714 | o1(o2(x,o2(x,x))) | true | 68263 | 68263 | 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_x12_u3_b88 | 12 | 12 | 3 | 88 | ![]() |
flr(min(D,add(D,P))) | 29803 | 97932715 | o1(o2(x,o2(x,x))) | true | 68271 | 68271 | -0.75 | 0 | 0.75 | 0.1334 | 0.3652 | -1 | -0.000291 | 0.9997 | 1 | 2.329 | 0.03453 | 0 | 0.06344 | 1 | 1 | -0.00008984 | 0.06436 | 0.07079 | 0.03051 | 0.1747 | 2.753 | 0.9997 | 0.2589 | 0.4825 | 1 | 1 | 0.03929 | 0.1364 | 0.03299 | 0.2946 | 1.023 | 0.2473 | json |
| t12_x12_u3_b89 | 12 | 12 | 3 | 89 | ![]() |
flr(min(D,sub(D,P))) | 29804 | 97932716 | o1(o2(x,o2(x,x))) | true | 68279 | 68279 | -0.7285 | 0 | 0.7285 | 0.1399 | 0.374 | -1 | -0.000291 | 0.9997 | 1 | 2.457 | 0.03518 | 0 | 0.06731 | 1 | 1 | 0.00008984 | 0.06459 | 0.07258 | 0.03064 | 0.175 | 2.601 | 0.9994 | 0.2515 | 0.4618 | 1 | 1 | 0.03826 | 0.1295 | 0.03043 | 0.2736 | 0.9261 | 0.2176 | json |
| t12_x12_u3_b90 | 12 | 12 | 3 | 90 | ![]() |
flr(min(D,mlt(D,P))) | 29805 | 97932717 | o1(o2(x,o2(x,x))) | true | 68287 | 68287 | -0.8448 | 0 | 0.8448 | 0.09773 | 0.3126 | -1 | -0.000291 | 0.9997 | 1 | 1.682 | 0.03868 | 0 | 0.06821 | 1 | 1 | 0.00002828 | 0.07039 | 0.09011 | 0.03402 | 0.1844 | 2.704 | 0.9997 | 0.3958 | 0.7202 | 1 | 1 | 0.04374 | 0.115 | 0.03492 | 0.4475 | 1.177 | 0.3573 | json |
| t12_x12_u3_b91 | 12 | 12 | 3 | 91 | ![]() |
flr(min(D,div(D,P))) | 29806 | 97932718 | o1(o2(x,o2(x,x))) | true | 68295 | 68295 | -0.75 | 0 | 0.75 | 0.1334 | 0.3652 | -1 | -0.000291 | 0.9997 | 1 | 2.329 | 0.03453 | 0 | 0.06344 | 1 | 1 | -0.00008984 | 0.06436 | 0.07079 | 0.03051 | 0.1747 | 2.753 | 0.9997 | 0.2589 | 0.4825 | 1 | 1 | 0.03929 | 0.1364 | 0.03299 | 0.2946 | 1.023 | 0.2473 | json |
| t12_x12_u3_b92 | 12 | 12 | 3 | 92 | ![]() |
flr(min(D,pow(D,P))) | 29807 | 97932719 | o1(o2(x,o2(x,x))) | true | 68303 | 68303 | -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_x12_u3_b93 | 12 | 12 | 3 | 93 | ![]() |
flr(min(D,mod(D,P))) | 29808 | 97932720 | o1(o2(x,o2(x,x))) | true | 68311 | 68311 | -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_x12_u3_b94 | 12 | 12 | 3 | 94 | ![]() |
flr(min(D,lrg(D,P))) | 29809 | 97932721 | o1(o2(x,o2(x,x))) | true | 68319 | 68319 | -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_x12_u3_b95 | 12 | 12 | 3 | 95 | ![]() |
flr(min(D,eql(D,P))) | 29810 | 97932722 | o1(o2(x,o2(x,x))) | true | 68327 | 68327 | -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_x12_u3_b96 | 12 | 12 | 3 | 96 | ![]() |
flr(min(D,min(D,P))) | 29811 | 97932723 | o1(o2(x,o2(x,x))) | true | 68335 | 68335 | -0.75 | 0 | 0.75 | 0.1334 | 0.3652 | -1 | -0.000291 | 0.9997 | 1 | 2.329 | 0.03453 | 0 | 0.06344 | 1 | 1 | -0.00008984 | 0.06436 | 0.07079 | 0.03051 | 0.1747 | 2.753 | 0.9997 | 0.2589 | 0.4825 | 1 | 1 | 0.03929 | 0.1364 | 0.03299 | 0.2946 | 1.023 | 0.2473 | json |
| t12_x12_u3_b97 | 12 | 12 | 3 | 97 | ![]() |
flr(min(D,dot(D,P))) | 29812 | 97932724 | o1(o2(x,o2(x,x))) | true | 68343 | 68343 | -0.919 | 0 | 0.919 | 0.04756 | 0.2181 | -1 | -0.0005821 | 0.9994 | 1 | 1.257 | 0.02488 | 0.01436 | 0.07021 | 0.268 | 1 | 0.0002988 | 0.1144 | 0.1145 | 0.0343 | 0.1852 | 2.638 | 1.413 | 0.825 | 2.405 | 1 | 1 | 0.04161 | 0.09782 | 0.02506 | 0.8748 | 2.057 | 0.5269 | json |
| t12_x12_u3_b98 | 12 | 12 | 3 | 98 | ![]() |
flr(min(D,dst(D,P))) | 29813 | 97932725 | o1(o2(x,o2(x,x))) | true | 68351 | 68351 | -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_x12_u3_b99 | 12 | 12 | 3 | 99 | ![]() |
flr(dot(D,add(D,P))) | 29814 | 97932726 | o1(o2(x,o2(x,x))) | true | 68359 | 68359 | -0.4396 | 0.1996 | 0.6049 | 0.2982 | 0.5461 | -1 | 1 | 2 | 1 | 4.195 | 0.07766 | 0.07767 | 0.2849 | -0.000003741 | 1 | 0.001257 | 0.5406 | 0.5089 | 0.07417 | 0.2724 | 0.9561 | 1.413 | 0.5209 | 1.813 | 1 | 1 | 0.1236 | 0.4412 | 0.09626 | 0.4145 | 1.479 | 0.3228 | json |
| t12_x12_u3_b100 | 12 | 12 | 3 | 100 | ![]() |
flr(dot(D,sub(D,P))) | 29815 | 97932727 | o1(o2(x,o2(x,x))) | true | 68367 | 68367 | 0.02291 | 0.5096 | 0.535 | 0.4091 | 0.6396 | -1 | 1 | 2 | 1 | 4.737 | 0.1029 | 0.1029 | 0.35 | -0.000006117 | 1 | -0.005146 | 0.7208 | 0.623 | 0.08338 | 0.2887 | 0.8251 | 1.413 | 0.5032 | 1.762 | 1 | 1 | 0.1772 | 0.6424 | 0.1288 | 0.4332 | 1.57 | 0.3148 | json |
| t12_x12_u3_b101 | 12 | 12 | 3 | 101 | ![]() |
flr(dot(D,mlt(D,P))) | 29816 | 97932728 | o1(o2(x,o2(x,x))) | true | 68375 | 68375 | -0.3333 | 0.404 | 0.6572 | 0.482 | 0.6943 | -1 | 1 | 2 | 1 | 3.334 | 0.04279 | 0.04279 | 0.1401 | 0.000002133 | 1 | -0.0003323 | 0.2612 | 0.2354 | 0.06595 | 0.2568 | 1.833 | 1.545 | 0.1775 | 0.5419 | 1 | 1 | 0.08234 | 0.2592 | 0.117 | 0.1708 | 0.5378 | 0.2427 | json |
| t12_x12_u3_b102 | 12 | 12 | 3 | 102 | ![]() |
flr(dot(D,div(D,P))) | 29817 | 97932729 | o1(o2(x,o2(x,x))) | true | 68383 | 68383 | -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_x12_u3_b103 | 12 | 12 | 3 | 103 | ![]() |
flr(dot(D,pow(D,P))) | 29818 | 97932730 | o1(o2(x,o2(x,x))) | true | 68391 | 68391 | -0.9956 | 0.002182 | 0.9982 | 0.006502 | 0.08063 | -1 | 1 | 2 | 1 | 0.05226 | 0.0008716 | 0.0008716 | 0.00151 | -6.678e-8 | 1 | -9.011e-11 | 0.003573 | 0.002365 | 0.00174 | 0.04171 | 27.62 | 2 | 0.2681 | 0.5496 | 1 | 1 | 0.003186 | 0.01429 | 0.02366 | 0.49 | 2.198 | 3.638 | json |
| t12_x12_u3_b104 | 12 | 12 | 3 | 104 | ![]() |
flr(dot(D,mod(D,P))) | 29819 | 97932731 | o1(o2(x,o2(x,x))) | true | 68399 | 68399 | -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_x12_u3_b105 | 12 | 12 | 3 | 105 | ![]() |
flr(dot(D,lrg(D,P))) | 29820 | 97932732 | o1(o2(x,o2(x,x))) | true | 68407 | 68407 | -0.3181 | 0.007446 | 0.3188 | 0.1348 | 0.3671 | -0.9997 | 0.2466 | 1.246 | 1 | 3.409 | 0.02893 | 0.02893 | 0.09852 | 4.829e-7 | 1 | -0.00004264 | 0.1732 | 0.1287 | 0.04817 | 0.2195 | 2.228 | 1.414 | 0.4293 | 1.285 | 1 | 1 | 0.05621 | 0.1694 | 0.04632 | 0.4171 | 1.257 | 0.3437 | json |
| t12_x12_u3_b106 | 12 | 12 | 3 | 106 | ![]() |
flr(dot(D,eql(D,P))) | 29821 | 97932733 | o1(o2(x,o2(x,x))) | true | 68415 | 68415 | 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_x12_u3_b107 | 12 | 12 | 3 | 107 | ![]() |
flr(dot(D,min(D,P))) | 29822 | 97932734 | o1(o2(x,o2(x,x))) | true | 68423 | 68423 | -0.3729 | 0.224 | 0.44 | 0.2216 | 0.4707 | -1 | 1 | 2 | 1 | 3.688 | 0.04557 | 0.04557 | 0.1728 | 0.000001185 | 1 | 0.0003458 | 0.268 | 0.29 | 0.06128 | 0.2475 | 1.433 | 1.409 | 0.4113 | 1.209 | 1 | 1 | 0.07183 | 0.2266 | 0.06286 | 0.3242 | 1.023 | 0.2837 | json |
| t12_x12_u3_b108 | 12 | 12 | 3 | 108 | ![]() |
flr(dot(D,dot(D,P))) | 29823 | 97932735 | o1(o2(x,o2(x,x))) | true | 68431 | 68431 | -0.3091 | 0.3804 | 0.6497 | 0.4826 | 0.6947 | -1 | 1 | 2 | 1 | 3.664 | 0.06843 | 0.06842 | 0.1932 | 0.000001633 | 1 | -0.000191 | 0.4999 | 0.372 | 0.09953 | 0.3155 | 1.633 | 1.517 | 0.2836 | 1.036 | 1 | 1 | 0.1258 | 0.337 | 0.1167 | 0.2607 | 0.6984 | 0.2419 | json |
| t12_x12_u3_b109 | 12 | 12 | 3 | 109 | ![]() |
flr(dot(D,dst(D,P))) | 29824 | 97932736 | o1(o2(x,o2(x,x))) | true | 68439 | 68439 | -0.3096 | 0.2863 | 0.6473 | 0.4491 | 0.6701 | -1 | 1 | 2 | 1 | 4.192 | 0.1137 | 0.1137 | 0.3403 | -0.000001245 | 1 | -0.0005721 | 0.9746 | 0.6904 | 0.1117 | 0.3341 | 0.9818 | 1.439 | 0.5066 | 2.17 | 1 | 1 | 0.1816 | 0.6512 | 0.07661 | 0.4043 | 1.45 | 0.1706 | json |
| t12_x12_u3_b110 | 12 | 12 | 3 | 110 | ![]() |
flr(dst(D,add(D,P))) | 29825 | 97932737 | o1(o2(x,o2(x,x))) | true | 68447 | 68447 | 0.9961 | 1 | 0.9961 | 0.002383 | 0.04882 | 0.000582 | 1 | 0.9994 | 1 | 0.1068 | 0.00003512 | 0.00003512 | 0.0008419 | 6.216e-7 | 0 | -1.577e-10 | 0.000004222 | 0.000206 | 0.00006942 | 0.008332 | 9.897 | 0.1169 | 0.02947 | 0.001772 | 1 | 1 | 0.0002443 | 0.003178 | 0.008708 | 0.1025 | 1.334 | 3.654 | json |
| t12_x12_u3_b111 | 12 | 12 | 3 | 111 | ![]() |
flr(dst(D,sub(D,P))) | 29826 | 97932738 | o1(o2(x,o2(x,x))) | true | 68455 | 68455 | 0.9961 | 1 | 0.9961 | 0.002383 | 0.04882 | 0.000582 | 1 | 0.9994 | 1 | 0.1068 | 0.00003512 | 0.00003512 | 0.0008419 | 6.216e-7 | 0 | -1.577e-10 | 0.000004222 | 0.000206 | 0.00006942 | 0.008332 | 9.897 | 0.1169 | 0.02947 | 0.001772 | 1 | 1 | 0.0002443 | 0.003178 | 0.008708 | 0.1025 | 1.334 | 3.654 | json |
| t12_x12_u3_b112 | 12 | 12 | 3 | 112 | ![]() |
flr(dst(D,mlt(D,P))) | 29827 | 97932739 | o1(o2(x,o2(x,x))) | true | 68463 | 68463 | 0.7172 | 0.9769 | 0.7172 | 0.174 | 0.4172 | 0 | 1 | 1 | 1 | 1.716 | 0.03667 | 0.03667 | 0.1025 | 0.00001128 | 1 | -0.006455 | 0.1775 | 0.1844 | 0.06284 | 0.2507 | 2.447 | 1.351 | 0.4215 | 1.02 | 1 | 1 | 0.0798 | 0.2632 | 0.1066 | 0.4586 | 1.513 | 0.6128 | json |
| t12_x12_u3_b113 | 12 | 12 | 3 | 113 | ![]() |
flr(dst(D,div(D,P))) | 29828 | 97932740 | o1(o2(x,o2(x,x))) | true | 68471 | 68471 | -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_x12_u3_b114 | 12 | 12 | 3 | 114 | ![]() |
flr(dst(D,pow(D,P))) | 29829 | 97932741 | o1(o2(x,o2(x,x))) | true | 68479 | 68479 | -0.9922 | 0.003906 | 1 | 0.01556 | 0.1248 | -1 | 1 | 2 | 1 | 0.03687 | 0.002016 | 0.002016 | 0.001997 | 0 | 1 | 0 | 0.008566 | 0.004031 | 0.004025 | 0.06344 | 31.77 | 2.828 | 0.259 | 0.5504 | 1 | 1 | 0.007091 | 0.02837 | 0.05673 | 0.4556 | 1.823 | 3.645 | json |
| t12_x12_u3_b115 | 12 | 12 | 3 | 115 | ![]() |
flr(dst(D,mod(D,P))) | 29830 | 97932742 | o1(o2(x,o2(x,x))) | true | 68487 | 68487 | -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_x12_u3_b116 | 12 | 12 | 3 | 116 | ![]() |
flr(dst(D,lrg(D,P))) | 29831 | 97932743 | o1(o2(x,o2(x,x))) | true | 68495 | 68495 | 0.4756 | 0.8325 | 0.4756 | 0.1815 | 0.426 | 0 | 1 | 1 | 1 | 2.928 | 0.02346 | 0.02346 | 0.0882 | -0.0000052 | 1 | 0.00062 | 0.1382 | 0.1295 | 0.03915 | 0.1979 | 2.243 | 1.414 | 0.2585 | 0.7615 | 1 | 1 | 0.0499 | 0.155 | 0.0641 | 0.2749 | 0.8538 | 0.3531 | json |
| t12_x12_u3_b117 | 12 | 12 | 3 | 117 | ![]() |
flr(dst(D,eql(D,P))) | 29832 | 97932744 | o1(o2(x,o2(x,x))) | true | 68503 | 68503 | 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_x12_u3_b118 | 12 | 12 | 3 | 118 | ![]() |
flr(dst(D,min(D,P))) | 29833 | 97932745 | o1(o2(x,o2(x,x))) | true | 68511 | 68511 | 0.6954 | 0.7506 | 0.6954 | 0.2004 | 0.4477 | 0 | 1 | 1 | 1 | 1.373 | 0.002589 | 0.002589 | 0.01277 | -0.000002518 | 1 | 4.121e-9 | 0.008761 | 0.01167 | 0.005013 | 0.0708 | 5.543 | 1.319 | 0.02583 | 0.04372 | 1 | 1 | 0.008196 | 0.03227 | 0.07788 | 0.0409 | 0.161 | 0.3886 | json |
| t12_x12_u3_b119 | 12 | 12 | 3 | 119 | ![]() |
flr(dst(D,dot(D,P))) | 29834 | 97932746 | o1(o2(x,o2(x,x))) | true | 68519 | 68519 | 0.8501 | 0.9995 | 0.8501 | 0.1018 | 0.319 | 8.471e-8 | 1 | 1 | 1 | 1.431 | 0.03455 | 0.03455 | 0.09683 | 0.000002103 | 1 | -0.001611 | 0.2019 | 0.1772 | 0.05969 | 0.2443 | 2.523 | 1.409 | 0.679 | 1.984 | 1 | 1 | 0.07852 | 0.2011 | 0.07929 | 0.7716 | 1.976 | 0.7792 | json |
| t12_x12_u3_b120 | 12 | 12 | 3 | 120 | ![]() |
flr(dst(D,dst(D,P))) | 29835 | 97932747 | o1(o2(x,o2(x,x))) | true | 68527 | 68527 | 0.9986 | 1 | 0.9986 | 0.0009895 | 0.03146 | 0.001164 | 1 | 0.9988 | 1 | 0.03123 | 0.0000782 | 0.0000782 | 0.000553 | 0 | 1 | 3.004e-11 | 0.0002422 | 0.0005928 | 0.000156 | 0.01249 | 22.58 | 0.8276 | 0.1581 | 0.2447 | 1 | 1 | 0.0004137 | 0.002853 | 0.003603 | 0.4181 | 2.883 | 3.641 | json |
| t12_x12_u4_b0 | 12 | 12 | 4 | 0 | ![]() |
cil(add(D,add(D,P))) | 29836 | 97932828 | o1(o2(x,o2(x,x))) | true | 68535 | 68535 | 0.0625 | 0.5313 | 0.9375 | 0.9201 | 0.9592 | -1 | 1 | 2 | 1 | 1.809 | 0.01317 | 0 | 0.02194 | 1 | 1 | 0 | 0.02797 | 0.03347 | 0.01269 | 0.1127 | 5.133 | 0.9994 | 0.01431 | 0.0304 | 1 | 1 | 0.01638 | 0.02449 | 0.2344 | 0.0178 | 0.02662 | 0.2548 | json |
| t12_x12_u4_b1 | 12 | 12 | 4 | 1 | ![]() |
cil(add(D,sub(D,P))) | 29837 | 97932829 | o1(o2(x,o2(x,x))) | true | 68543 | 68543 | 0.0625 | 0.5313 | 0.9375 | 0.9184 | 0.9583 | -1 | 1 | 2 | 1 | 1.778 | 0.01572 | 0 | 0.03409 | 1 | 1 | 0 | 0.0303 | 0.04159 | 0.01455 | 0.1206 | 3.539 | 0.9983 | 0.01711 | 0.03299 | 1 | 1 | 0.0216 | 0.04579 | 0.2322 | 0.02352 | 0.04986 | 0.2528 | json |
| t12_x12_u4_b2 | 12 | 12 | 4 | 2 | ![]() |
cil(add(D,mlt(D,P))) | 29838 | 97932830 | o1(o2(x,o2(x,x))) | true | 68551 | 68551 | 0.2965 | 0.6914 | 0.4525 | 0.2674 | 0.5171 | -0.9701 | 1 | 1.97 | 1 | 3.772 | 0.1265 | 0 | 0.2327 | 1 | 1 | 0.006561 | 0.2784 | 0.3611 | 0.07241 | 0.2691 | 1.157 | 0.9994 | 0.4732 | 1.041 | 1 | 1 | 0.1029 | 0.3389 | 0.07848 | 0.385 | 1.267 | 0.2935 | json |
| t12_x12_u4_b3 | 12 | 12 | 4 | 3 | ![]() |
cil(add(D,div(D,P))) | 29839 | 97932831 | o1(o2(x,o2(x,x))) | true | 68559 | 68559 | 0.3173 | 0.875 | 0.5673 | 0.3688 | 0.6073 | -1 | 0.9997 | 2 | 1 | 3.574 | 0.07327 | 0 | 0.1183 | 1 | 1 | 0.00002827 | 0.1398 | 0.1415 | 0.05925 | 0.2434 | 2.057 | 1.999 | 0.1987 | 0.3791 | 1 | 1 | 0.07994 | 0.2773 | 0.4115 | 0.2168 | 0.7519 | 1.116 | json |
| t12_x12_u4_b4 | 12 | 12 | 4 | 4 | ![]() |
cil(add(D,pow(D,P))) | 29840 | 97932832 | o1(o2(x,o2(x,x))) | true | 68567 | 68567 | -0.875 | 0.0625 | 1 | 0.2344 | 0.4841 | -1 | 1 | 2 | 1 | 0.3373 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.1354 | 0.2709 | 1 | 1 | 0.04211 | 0.1684 | 0.3368 | 0.1796 | 0.7186 | 1.437 | json |
| t12_x12_u4_b5 | 12 | 12 | 4 | 5 | ![]() |
cil(add(D,mod(D,P))) | 29841 | 97932833 | o1(o2(x,o2(x,x))) | true | 68575 | 68575 | 0.3125 | 0.875 | 0.5625 | 0.3585 | 0.5988 | -1 | 0.9994 | 1.999 | 1 | 3.523 | 0.1167 | 0 | 0.1998 | 1 | 1 | 0 | 0.2478 | 0.254 | 0.07677 | 0.2771 | 1.387 | 1.999 | 0.3254 | 0.6911 | 1 | 1 | 0.1108 | 0.1693 | 0.4006 | 0.3092 | 0.4722 | 1.117 | json |
| t12_x12_u4_b6 | 12 | 12 | 4 | 6 | ![]() |
cil(add(D,lrg(D,P))) | 29842 | 97932834 | o1(o2(x,o2(x,x))) | true | 68583 | 68583 | 0.7382 | 1 | 0.7382 | 0.1383 | 0.3718 | 0.000291 | 1 | 0.9997 | 1 | 2.383 | 0.03548 | 0 | 0.0674 | 1 | 1 | -0.00008984 | 0.06471 | 0.07345 | 0.03093 | 0.1759 | 2.609 | 0.9994 | 0.2566 | 0.468 | 1 | 1 | 0.04157 | 0.1433 | 0.02787 | 0.3007 | 1.036 | 0.2016 | json |
| t12_x12_u4_b7 | 12 | 12 | 4 | 7 | ![]() |
cil(add(D,eql(D,P))) | 29843 | 97932835 | o1(o2(x,o2(x,x))) | true | 68591 | 68591 | 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_x12_u4_b8 | 12 | 12 | 4 | 8 | ![]() |
cil(add(D,min(D,P))) | 29844 | 97932836 | o1(o2(x,o2(x,x))) | true | 68599 | 68599 | -0.1972 | 0.5 | 0.6875 | 0.5849 | 0.7648 | -1 | 0.9994 | 1.999 | 1 | 3.026 | 0.0624 | 0 | 0.116 | 1 | 1 | -0.0001797 | 0.1321 | 0.1486 | 0.04894 | 0.2212 | 1.907 | 0.9997 | 0.1067 | 0.2259 | 1 | 1 | 0.06202 | 0.0784 | 0.1476 | 0.106 | 0.134 | 0.2524 | json |
| t12_x12_u4_b9 | 12 | 12 | 4 | 9 | ![]() |
cil(add(D,dot(D,P))) | 29845 | 97932837 | o1(o2(x,o2(x,x))) | true | 68607 | 68607 | 0.1631 | 0.6089 | 0.5291 | 0.3775 | 0.6144 | -1 | 1 | 2 | 1 | 4.665 | 0.08713 | 0.08615 | 0.3163 | 0.005658 | 1 | 0.004824 | 0.5879 | 0.5547 | 0.07323 | 0.2706 | 0.8556 | 1.413 | 0.459 | 1.557 | 1 | 1 | 0.1478 | 0.5495 | 0.1103 | 0.3914 | 1.455 | 0.2922 | json |
| t12_x12_u4_b10 | 12 | 12 | 4 | 10 | ![]() |
cil(add(D,dst(D,P))) | 29846 | 97932838 | o1(o2(x,o2(x,x))) | true | 68615 | 68615 | 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_x12_u4_b11 | 12 | 12 | 4 | 11 | ![]() |
cil(sub(D,add(D,P))) | 29847 | 97932839 | o1(o2(x,o2(x,x))) | true | 68623 | 68623 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t12_x12_u4_b12 | 12 | 12 | 4 | 12 | ![]() |
cil(sub(D,sub(D,P))) | 29848 | 97932840 | o1(o2(x,o2(x,x))) | true | 68631 | 68631 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t12_x12_u4_b13 | 12 | 12 | 4 | 13 | ![]() |
cil(sub(D,mlt(D,P))) | 29849 | 97932841 | o1(o2(x,o2(x,x))) | true | 68639 | 68639 | 0.5332 | 0.9023 | 0.5928 | 0.2149 | 0.4636 | -0.7619 | 1 | 1.762 | 1 | 3.607 | 0.1119 | 0 | 0.2079 | 1 | 1 | -0.0003958 | 0.2492 | 0.3192 | 0.06867 | 0.262 | 1.261 | 0.9991 | 0.5205 | 1.159 | 1 | 1 | 0.08868 | 0.2784 | 0.06874 | 0.4126 | 1.295 | 0.3198 | json |
| t12_x12_u4_b14 | 12 | 12 | 4 | 14 | ![]() |
cil(sub(D,div(D,P))) | 29850 | 97932842 | o1(o2(x,o2(x,x))) | true | 68647 | 68647 | 0.4014 | 0.875 | 0.5264 | 0.2742 | 0.5236 | -1 | 1 | 2 | 1 | 3.436 | 0.07689 | 0 | 0.1184 | 1 | 1 | -0.00002827 | 0.1476 | 0.1486 | 0.06286 | 0.2507 | 2.118 | 2 | 0.2805 | 0.5384 | 1 | 1 | 0.08438 | 0.294 | 0.2687 | 0.3078 | 1.072 | 0.9802 | json |
| t12_x12_u4_b15 | 12 | 12 | 4 | 15 | ![]() |
cil(sub(D,pow(D,P))) | 29851 | 97932843 | o1(o2(x,o2(x,x))) | true | 68655 | 68655 | -0.9981 | 0 | 0.9981 | 0.0002958 | 0.0172 | -1 | -0.7745 | 0.2255 | 1 | 0.1106 | 0.0002584 | 0 | 0.00179 | 1 | 1 | 0 | 0.0005945 | 0.002476 | 0.0002551 | 0.01597 | 8.922 | 0.2255 | 0.8737 | 2.01 | 1 | 1 | 0.0002913 | 0.0004029 | 0.0004029 | 0.9848 | 1.362 | 1.362 | json |
| t12_x12_u4_b16 | 12 | 12 | 4 | 16 | ![]() |
cil(sub(D,mod(D,P))) | 29852 | 97932844 | o1(o2(x,o2(x,x))) | true | 68663 | 68663 | -0.125 | 0 | 0.125 | 0.1094 | 0.3307 | -1 | 0 | 1 | 1 | 0.5436 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.07256 | 0.1451 | 1 | 1 | 0.01053 | 0.04211 | 0.1684 | 0.09624 | 0.385 | 1.54 | json |
| t12_x12_u4_b17 | 12 | 12 | 4 | 17 | ![]() |
cil(sub(D,lrg(D,P))) | 29853 | 97932845 | o1(o2(x,o2(x,x))) | true | 68671 | 68671 | 1.455e-11 | 0.4375 | 0.4375 | 0.3428 | 0.5855 | -0.9997 | 0.9997 | 1.999 | 1 | 4.198 | 0.06044 | 0 | 0.1109 | 1 | 1 | 0 | 0.1126 | 0.1239 | 0.04813 | 0.2194 | 1.978 | 0.9997 | 0.1763 | 0.3286 | 1 | 1 | 0.06377 | 0.2221 | 0.06598 | 0.186 | 0.648 | 0.1925 | json |
| t12_x12_u4_b18 | 12 | 12 | 4 | 18 | ![]() |
cil(sub(D,eql(D,P))) | 29854 | 97932846 | o1(o2(x,o2(x,x))) | true | 68679 | 68679 | 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_x12_u4_b19 | 12 | 12 | 4 | 19 | ![]() |
cil(sub(D,min(D,P))) | 29855 | 97932847 | o1(o2(x,o2(x,x))) | true | 68687 | 68687 | 0.5097 | 0.5625 | 0.5097 | 0.2393 | 0.4892 | 0 | 1 | 1 | 1 | 1.461 | 0.004966 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.008236 | 0.01066 | 0.004825 | 0.06946 | 5.838 | 0.9991 | 0.02075 | 0.03442 | 1 | 1 | 0.007711 | 0.02988 | 0.06998 | 0.03223 | 0.1249 | 0.2924 | json |
| t12_x12_u4_b20 | 12 | 12 | 4 | 20 | ![]() |
cil(sub(D,dot(D,P))) | 29856 | 97932848 | o1(o2(x,o2(x,x))) | true | 68695 | 68695 | 0.5845 | 0.8716 | 0.6848 | 0.2489 | 0.4989 | -1 | 1 | 2 | 1 | 3.642 | 0.07058 | 0.06982 | 0.2516 | 0.005433 | 1 | -0.0008029 | 0.4949 | 0.4508 | 0.07709 | 0.2776 | 1.103 | 1.413 | 0.5641 | 1.989 | 1 | 1 | 0.1091 | 0.3531 | 0.08523 | 0.4385 | 1.419 | 0.3425 | json |
| t12_x12_u4_b21 | 12 | 12 | 4 | 21 | ![]() |
cil(sub(D,dst(D,P))) | 29857 | 97932849 | o1(o2(x,o2(x,x))) | true | 68703 | 68703 | -0.9941 | 0 | 0.9941 | 0.003856 | 0.06209 | -1 | -0.000873 | 0.9991 | 1 | 0.1373 | 0.0008328 | 0.0004395 | 0.003097 | 0.3091 | 1 | 1.614e-10 | 0.003735 | 0.004118 | 0.001262 | 0.03553 | 11.47 | 1.403 | 0.33 | 0.9686 | 1 | 1 | 0.002462 | 0.00873 | 0.01339 | 0.6385 | 2.264 | 3.474 | json |
| t12_x12_u4_b22 | 12 | 12 | 4 | 22 | ![]() |
cil(mlt(D,add(D,P))) | 29858 | 97932850 | o1(o2(x,o2(x,x))) | true | 68711 | 68711 | 0.4448 | 0.8594 | 0.5506 | 0.2475 | 0.4975 | -0.8866 | 1 | 1.887 | 1 | 3.924 | 0.1269 | 0 | 0.2298 | 1 | 1 | 0.006499 | 0.2863 | 0.3633 | 0.07406 | 0.2721 | 1.184 | 0.9994 | 0.5126 | 1.157 | 1 | 1 | 0.09666 | 0.3047 | 0.07662 | 0.3905 | 1.231 | 0.3096 | json |
| t12_x12_u4_b23 | 12 | 12 | 4 | 23 | ![]() |
cil(mlt(D,sub(D,P))) | 29859 | 97932851 | o1(o2(x,o2(x,x))) | true | 68719 | 68719 | 0.657 | 0.9375 | 0.6975 | 0.1956 | 0.4423 | -0.7321 | 1 | 1.732 | 1 | 2.926 | 0.1086 | 0 | 0.1879 | 1 | 1 | -0.0003392 | 0.2409 | 0.3 | 0.07326 | 0.2707 | 1.44 | 0.9991 | 0.555 | 1.232 | 1 | 1 | 0.08682 | 0.2492 | 0.06569 | 0.4438 | 1.274 | 0.3358 | json |
| t12_x12_u4_b24 | 12 | 12 | 4 | 24 | ![]() |
cil(mlt(D,mlt(D,P))) | 29860 | 97932852 | o1(o2(x,o2(x,x))) | true | 68727 | 68727 | 0.3649 | 0.5 | 0.5725 | 0.3924 | 0.6264 | -1 | 1 | 2 | 1 | 2.894 | 0.01318 | 0 | 0.04908 | 1 | 1 | 0.0003311 | 0.02598 | 0.06115 | 0.01076 | 0.1037 | 2.114 | 0.6717 | 0.03358 | 0.06621 | 1 | 1 | 0.01016 | 0.033 | 0.08646 | 0.0259 | 0.0841 | 0.2203 | json |
| t12_x12_u4_b25 | 12 | 12 | 4 | 25 | ![]() |
cil(mlt(D,div(D,P))) | 29861 | 97932853 | o1(o2(x,o2(x,x))) | true | 68735 | 68735 | 0.4375 | 0.5 | 0.5625 | 0.3711 | 0.6092 | -1 | 1 | 2 | 1 | 1.272 | 0.03571 | 0 | 0.01984 | 1 | 1 | 0 | 0.07143 | 0.03968 | 0.03531 | 0.1879 | 9.471 | 2 | 0.09624 | 0.1925 | 1 | 1 | 0.04737 | 0.1895 | 0.2526 | 0.1276 | 0.5106 | 0.6808 | json |
| t12_x12_u4_b26 | 12 | 12 | 4 | 26 | ![]() |
cil(mlt(D,pow(D,P))) | 29862 | 97932854 | o1(o2(x,o2(x,x))) | true | 68743 | 68743 | -0.9062 | 0.0625 | 0.9688 | 0.1408 | 0.3752 | -1 | 1 | 2 | 1 | 0.5501 | 0.02019 | 0 | 0.01587 | 1 | 1 | 0 | 0.03964 | 0.02468 | 0.01994 | 0.1412 | 8.895 | 2 | 0.1434 | 0.2815 | 1 | 1 | 0.02728 | 0.111 | 0.2016 | 0.1938 | 0.788 | 1.432 | json |
| t12_x12_u4_b27 | 12 | 12 | 4 | 27 | ![]() |
cil(mlt(D,mod(D,P))) | 29863 | 97932855 | o1(o2(x,o2(x,x))) | true | 68751 | 68751 | 0.75 | 0.875 | 1 | 0.4375 | 0.6614 | -1 | 1 | 2 | 1 | 0.5436 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 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 |
| t12_x12_u4_b28 | 12 | 12 | 4 | 28 | ![]() |
cil(mlt(D,lrg(D,P))) | 29864 | 97932856 | o1(o2(x,o2(x,x))) | true | 68759 | 68759 | 0.2813 | 0.5625 | 0.2813 | 0.1413 | 0.3759 | 0 | 0.9997 | 0.9997 | 1 | 2.519 | 0.03488 | 0 | 0.06731 | 1 | 1 | 0.00008984 | 0.06442 | 0.07172 | 0.03035 | 0.1742 | 2.588 | 0.9994 | 0.2469 | 0.456 | 1 | 1 | 0.03759 | 0.1321 | 0.03299 | 0.266 | 0.935 | 0.2335 | json |
| t12_x12_u4_b29 | 12 | 12 | 4 | 29 | ![]() |
cil(mlt(D,eql(D,P))) | 29865 | 97932857 | o1(o2(x,o2(x,x))) | true | 68767 | 68767 | 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_x12_u4_b30 | 12 | 12 | 4 | 30 | ![]() |
cil(mlt(D,min(D,P))) | 29866 | 97932858 | o1(o2(x,o2(x,x))) | true | 68775 | 68775 | 0.6488 | 0.9102 | 0.7249 | 0.241 | 0.4909 | -0.8866 | 1 | 1.887 | 1 | 2.776 | 0.06582 | 0 | 0.126 | 1 | 1 | 0.003339 | 0.1472 | 0.1905 | 0.04995 | 0.2235 | 1.774 | 0.9994 | 0.2732 | 0.611 | 1 | 1 | 0.05706 | 0.1777 | 0.04769 | 0.2368 | 0.7374 | 0.1979 | json |
| t12_x12_u4_b31 | 12 | 12 | 4 | 31 | ![]() |
cil(mlt(D,dot(D,P))) | 29867 | 97932859 | o1(o2(x,o2(x,x))) | true | 68783 | 68783 | 0.3946 | 0.7371 | 0.5953 | 0.3418 | 0.5846 | -1 | 1 | 2 | 1 | 4.094 | 0.07188 | 0.03445 | 0.183 | 0.352 | 1 | 0.0002162 | 0.3306 | 0.3083 | 0.07284 | 0.2699 | 1.475 | 1.464 | 0.3111 | 0.9674 | 1 | 1 | 0.09649 | 0.2414 | 0.091 | 0.2823 | 0.7063 | 0.2662 | json |
| t12_x12_u4_b32 | 12 | 12 | 4 | 32 | ![]() |
cil(mlt(D,dst(D,P))) | 29868 | 97932860 | o1(o2(x,o2(x,x))) | true | 68791 | 68791 | 0.3922 | 0.7735 | 0.6079 | 0.3623 | 0.6019 | -1 | 1 | 2 | 1 | 3.865 | 0.1491 | 0.003433 | 0.26 | 0.955 | 1 | 0.002671 | 0.3412 | 0.4231 | 0.08498 | 0.2915 | 1.121 | 1.311 | 0.4212 | 0.9418 | 1 | 1 | 0.1215 | 0.4622 | 0.06008 | 0.3355 | 1.276 | 0.1658 | json |
| t12_x12_u4_b33 | 12 | 12 | 4 | 33 | ![]() |
cil(div(D,add(D,P))) | 29869 | 97932861 | o1(o2(x,o2(x,x))) | true | 68799 | 68799 | 0.4866 | 1 | 0.4866 | 0.1386 | 0.3723 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.496 | 0.06267 | 0 | 0.1239 | 1 | 1 | -0.0001797 | 0.1171 | 0.1359 | 0.04731 | 0.2175 | 1.755 | 0.9994 | 0.4522 | 0.8445 | 1 | 1 | 0.06677 | 0.2282 | 0.04372 | 0.4817 | 1.647 | 0.3154 | json |
| t12_x12_u4_b34 | 12 | 12 | 4 | 34 | ![]() |
cil(div(D,sub(D,P))) | 29870 | 97932862 | o1(o2(x,o2(x,x))) | true | 68807 | 68807 | 0.5491 | 1 | 0.5491 | 0.1499 | 0.3872 | 0.000291 | 1 | 0.9997 | 1 | 3.338 | 0.06183 | 0 | 0.1159 | 1 | 1 | 0.0001797 | 0.1175 | 0.1339 | 0.04839 | 0.22 | 1.898 | 0.9997 | 0.4125 | 0.7838 | 1 | 1 | 0.06424 | 0.2026 | 0.07566 | 0.4285 | 1.351 | 0.5047 | json |
| t12_x12_u4_b35 | 12 | 12 | 4 | 35 | ![]() |
cil(div(D,mlt(D,P))) | 29871 | 97932863 | o1(o2(x,o2(x,x))) | true | 68815 | 68815 | 0.4186 | 0.5 | 0.5814 | 0.4016 | 0.6337 | -1 | 1 | 2 | 1 | 1.593 | 0.06533 | 0 | 0.04581 | 1 | 1 | 0 | 0.1685 | 0.08833 | 0.06326 | 0.2515 | 5.49 | 2 | 0.1627 | 0.4197 | 1 | 1 | 0.06152 | 0.2238 | 0.2464 | 0.1532 | 0.5573 | 0.6135 | json |
| t12_x12_u4_b36 | 12 | 12 | 4 | 36 | ![]() |
cil(div(D,div(D,P))) | 29872 | 97932864 | o1(o2(x,o2(x,x))) | true | 68823 | 68823 | 0.02129 | 0.5 | 0.9162 | 0.9022 | 0.9499 | -1 | 1 | 2 | 1 | 1.895 | 0.03228 | 0 | 0.0433 | 1 | 1 | 2.365e-9 | 0.1065 | 0.07535 | 0.03039 | 0.1743 | 4.026 | 0.9997 | 0.03578 | 0.118 | 1 | 1 | 0.01503 | 0.03178 | 0.2074 | 0.01666 | 0.03523 | 0.2298 | json |
| t12_x12_u4_b37 | 12 | 12 | 4 | 37 | ![]() |
cil(div(D,pow(D,P))) | 29873 | 97932865 | o1(o2(x,o2(x,x))) | true | 68831 | 68831 | -0.9063 | 0.0625 | 0.9688 | 0.1407 | 0.3751 | -1 | 0.9997 | 2 | 1 | 0.5501 | 0.02019 | 0 | 0.01587 | 1 | 1 | 0 | 0.03975 | 0.02468 | 0.01993 | 0.1412 | 8.896 | 2 | 0.1435 | 0.2825 | 1 | 1 | 0.0272 | 0.1109 | 0.2014 | 0.1933 | 0.7879 | 1.432 | json |
| t12_x12_u4_b38 | 12 | 12 | 4 | 38 | ![]() |
cil(div(D,mod(D,P))) | 29874 | 97932866 | o1(o2(x,o2(x,x))) | true | 68839 | 68839 | 0.75 | 0.875 | 1 | 0.4375 | 0.6614 | -1 | 1 | 2 | 1 | 0.5436 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 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 |
| t12_x12_u4_b39 | 12 | 12 | 4 | 39 | ![]() |
cil(div(D,lrg(D,P))) | 29875 | 97932867 | o1(o2(x,o2(x,x))) | true | 68847 | 68847 | -0.3438 | 0.4375 | 0.7813 | 0.6154 | 0.7845 | -1 | 0.9997 | 2 | 1 | 2.479 | 0.03022 | 0 | 0.05542 | 1 | 1 | 0.00008984 | 0.05621 | 0.06188 | 0.02714 | 0.1648 | 2.973 | 1 | 0.0491 | 0.09134 | 1 | 1 | 0.03067 | 0.1191 | 0.2014 | 0.04983 | 0.1935 | 0.3273 | json |
| t12_x12_u4_b40 | 12 | 12 | 4 | 40 | ![]() |
cil(div(D,eql(D,P))) | 29876 | 97932868 | o1(o2(x,o2(x,x))) | true | 68855 | 68855 | -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_x12_u4_b41 | 12 | 12 | 4 | 41 | ![]() |
cil(div(D,min(D,P))) | 29877 | 97932869 | o1(o2(x,o2(x,x))) | true | 68863 | 68863 | 0.625 | 0.9375 | 0.75 | 0.3053 | 0.5525 | -1 | 1 | 2 | 1 | 2.617 | 0.06231 | 0 | 0.07525 | 1 | 1 | -0.00008984 | 0.12 | 0.09461 | 0.05663 | 0.238 | 3.162 | 2 | 0.2041 | 0.3931 | 1 | 1 | 0.0735 | 0.2671 | 0.2856 | 0.2408 | 0.8751 | 0.9357 | json |
| t12_x12_u4_b42 | 12 | 12 | 4 | 42 | ![]() |
cil(div(D,dot(D,P))) | 29878 | 97932870 | o1(o2(x,o2(x,x))) | true | 68871 | 68871 | 0.4147 | 0.7943 | 0.5561 | 0.3005 | 0.5482 | -1 | 1 | 2 | 1 | 3.67 | 0.2258 | 0.251 | 0.3294 | -0.05301 | 1 | 0.0000821 | 2.197 | 0.6671 | 0.3683 | 0.6069 | 1.842 | 2.828 | 1.586 | 7.311 | 1 | 1 | 0.3637 | 0.5452 | 0.4199 | 1.21 | 1.814 | 1.397 | json |
| t12_x12_u4_b43 | 12 | 12 | 4 | 43 | ![]() |
cil(div(D,dst(D,P))) | 29879 | 97932871 | o1(o2(x,o2(x,x))) | true | 68879 | 68879 | 0.5 | 1 | 0.5 | 0.1416 | 0.3762 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.416 | 0.06517 | 0.00002028 | 0.1231 | 0.9994 | 1 | 6.195e-11 | 0.1211 | 0.1345 | 0.05003 | 0.2237 | 1.817 | 0.9994 | 0.4605 | 0.8558 | 1 | 1 | 0.07079 | 0.2407 | 0.0004928 | 0.5001 | 1.7 | 0.003481 | json |
| t12_x12_u4_b44 | 12 | 12 | 4 | 44 | ![]() |
cil(pow(D,add(D,P))) | 29880 | 97932872 | o1(o2(x,o2(x,x))) | true | 68887 | 68887 | -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_x12_u4_b45 | 12 | 12 | 4 | 45 | ![]() |
cil(pow(D,sub(D,P))) | 29881 | 97932873 | o1(o2(x,o2(x,x))) | true | 68895 | 68895 | -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_x12_u4_b46 | 12 | 12 | 4 | 46 | ![]() |
cil(pow(D,mlt(D,P))) | 29882 | 97932874 | o1(o2(x,o2(x,x))) | true | 68903 | 68903 | -0.875 | 0.0625 | 1 | 0.2344 | 0.4841 | -1 | 1 | 2 | 1 | 0.3373 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.1354 | 0.2709 | 1 | 1 | 0.04211 | 0.1684 | 0.3368 | 0.1796 | 0.7186 | 1.437 | json |
| t12_x12_u4_b47 | 12 | 12 | 4 | 47 | ![]() |
cil(pow(D,div(D,P))) | 29883 | 97932875 | o1(o2(x,o2(x,x))) | true | 68911 | 68911 | -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_x12_u4_b48 | 12 | 12 | 4 | 48 | ![]() |
cil(pow(D,pow(D,P))) | 29884 | 97932876 | o1(o2(x,o2(x,x))) | true | 68919 | 68919 | -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_x12_u4_b49 | 12 | 12 | 4 | 49 | ![]() |
cil(pow(D,mod(D,P))) | 29885 | 97932877 | o1(o2(x,o2(x,x))) | true | 68927 | 68927 | -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_x12_u4_b50 | 12 | 12 | 4 | 50 | ![]() |
cil(pow(D,lrg(D,P))) | 29886 | 97932878 | o1(o2(x,o2(x,x))) | true | 68935 | 68935 | 0.125 | 0.5625 | 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 |
| t12_x12_u4_b51 | 12 | 12 | 4 | 51 | ![]() |
cil(pow(D,eql(D,P))) | 29887 | 97932879 | o1(o2(x,o2(x,x))) | true | 68943 | 68943 | 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_x12_u4_b52 | 12 | 12 | 4 | 52 | ![]() |
cil(pow(D,min(D,P))) | 29888 | 97932880 | o1(o2(x,o2(x,x))) | true | 68951 | 68951 | -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_x12_u4_b53 | 12 | 12 | 4 | 53 | ![]() |
cil(pow(D,dot(D,P))) | 29889 | 97932881 | o1(o2(x,o2(x,x))) | true | 68959 | 68959 | -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_x12_u4_b54 | 12 | 12 | 4 | 54 | ![]() |
cil(pow(D,dst(D,P))) | 29890 | 97932882 | o1(o2(x,o2(x,x))) | true | 68967 | 68967 | -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_x12_u4_b55 | 12 | 12 | 4 | 55 | ![]() |
cil(mod(D,add(D,P))) | 29891 | 97932883 | o1(o2(x,o2(x,x))) | true | 68975 | 68975 | 0.4811 | 0.9492 | 0.4811 | 0.1461 | 0.3822 | 0 | 0.9997 | 0.9997 | 1 | 3.356 | 0.07851 | 0 | 0.1354 | 1 | 1 | -1.877e-12 | 0.1702 | 0.165 | 0.06016 | 0.2453 | 1.811 | 0.9997 | 0.5376 | 1.165 | 1 | 1 | 0.07354 | 0.2393 | 0.01927 | 0.5035 | 1.638 | 0.1319 | json |
| t12_x12_u4_b56 | 12 | 12 | 4 | 56 | ![]() |
cil(mod(D,sub(D,P))) | 29892 | 97932884 | o1(o2(x,o2(x,x))) | true | 68983 | 68983 | 0.4811 | 0.9492 | 0.4811 | 0.1461 | 0.3822 | 0 | 0.9997 | 0.9997 | 1 | 3.356 | 0.07851 | 0 | 0.1354 | 1 | 1 | -9.461e-10 | 0.1702 | 0.165 | 0.06017 | 0.2453 | 1.811 | 0.9997 | 0.5376 | 1.165 | 1 | 1 | 0.07354 | 0.2393 | 0.01927 | 0.5035 | 1.638 | 0.1319 | json |
| t12_x12_u4_b57 | 12 | 12 | 4 | 57 | ![]() |
cil(mod(D,mlt(D,P))) | 29893 | 97932885 | o1(o2(x,o2(x,x))) | true | 68991 | 68991 | 0.2936 | 0.8281 | 0.5436 | 0.3673 | 0.606 | -1 | 0.9997 | 2 | 1 | 3.473 | 0.07782 | 0 | 0.1275 | 1 | 1 | 1.877e-12 | 0.162 | 0.1553 | 0.06157 | 0.2481 | 1.946 | 1 | 0.2119 | 0.4411 | 1 | 1 | 0.07711 | 0.2663 | 0.3773 | 0.21 | 0.7252 | 1.027 | json |
| t12_x12_u4_b58 | 12 | 12 | 4 | 58 | ![]() |
cil(mod(D,div(D,P))) | 29894 | 97932886 | o1(o2(x,o2(x,x))) | true | 68999 | 68999 | 0.1907 | 0.5586 | 0.4407 | 0.3399 | 0.583 | -1 | 1 | 2 | 1 | 2.984 | 0.1738 | 0 | 0.2234 | 1 | 1 | 0.00385 | 0.4831 | 0.3882 | 0.1239 | 0.352 | 1.575 | 1 | 0.5114 | 1.421 | 1 | 1 | 0.1186 | 0.218 | 0.3719 | 0.349 | 0.6414 | 1.094 | json |
| t12_x12_u4_b59 | 12 | 12 | 4 | 59 | ![]() |
cil(mod(D,pow(D,P))) | 29895 | 97932887 | o1(o2(x,o2(x,x))) | true | 69007 | 69007 | -0.9063 | 0.0625 | 0.9688 | 0.1407 | 0.3751 | -1 | 0.9997 | 2 | 1 | 0.5501 | 0.02019 | 0 | 0.01587 | 1 | 1 | 0 | 0.03975 | 0.02468 | 0.01993 | 0.1412 | 8.896 | 2 | 0.1435 | 0.2825 | 1 | 1 | 0.0272 | 0.1109 | 0.2014 | 0.1933 | 0.7879 | 1.432 | json |
| t12_x12_u4_b60 | 12 | 12 | 4 | 60 | ![]() |
cil(mod(D,mod(D,P))) | 29896 | 97932888 | o1(o2(x,o2(x,x))) | true | 69015 | 69015 | 0.04725 | 0.2188 | 0.2973 | 0.2653 | 0.5151 | -1 | 0.9929 | 1.993 | 1 | 1.691 | 0.2481 | 0 | 0.288 | 1 | 1 | 0.00394 | 0.7932 | 0.5594 | 0.1653 | 0.4066 | 1.412 | 1 | 0.9352 | 2.989 | 1 | 1 | 0.102 | 0.1951 | 0.2622 | 0.3844 | 0.7353 | 0.9882 | json |
| t12_x12_u4_b61 | 12 | 12 | 4 | 61 | ![]() |
cil(mod(D,lrg(D,P))) | 29897 | 97932889 | o1(o2(x,o2(x,x))) | true | 69023 | 69023 | -0.3438 | 0.4375 | 0.7813 | 0.6154 | 0.7845 | -1 | 0.9997 | 2 | 1 | 2.479 | 0.03022 | 0 | 0.05542 | 1 | 1 | 0.00008984 | 0.05621 | 0.06188 | 0.02714 | 0.1648 | 2.973 | 1 | 0.0491 | 0.09134 | 1 | 1 | 0.03067 | 0.1191 | 0.2014 | 0.04983 | 0.1935 | 0.3273 | json |
| t12_x12_u4_b62 | 12 | 12 | 4 | 62 | ![]() |
cil(mod(D,eql(D,P))) | 29898 | 97932890 | o1(o2(x,o2(x,x))) | true | 69031 | 69031 | -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_x12_u4_b63 | 12 | 12 | 4 | 63 | ![]() |
cil(mod(D,min(D,P))) | 29899 | 97932891 | o1(o2(x,o2(x,x))) | true | 69039 | 69039 | 0.2736 | 0.6094 | 0.3986 | 0.2549 | 0.5049 | -1 | 0.9997 | 2 | 1 | 2.957 | 0.1625 | 0 | 0.2113 | 1 | 1 | 0.00008984 | 0.4666 | 0.3524 | 0.1179 | 0.3433 | 1.625 | 1 | 0.6377 | 1.831 | 1 | 1 | 0.09168 | 0.2517 | 0.1759 | 0.3597 | 0.9875 | 0.6901 | json |



































































































