grad-noise-175k
Gradient noise, 175k (run of 2026-09-23) · A complete batch run over 175,797 lattice-noise expressions, with 32 texture diagnostics and a frame of each.
About this collection
This collection is complete and closed. Every expression in the space below was rendered and measured once, in a single batch run. Each row is one expression, and its coordinate links to it running live on uto.run.
The purpose is exploratory. There is no target texture and no attempt to resemble Perlin noise. A constant field, a strongly directional pattern or an odd value distribution is an observation, not a failure. The measurements describe textures so they can be sorted, filtered and compared. They are a lossy fingerprint, not a judgement of quality and not a substitute for looking.
The space
An ither formula with two layers:
- topo: expression trees of up to 64 nodes, built from unary (
o1), binary (o2) and leaf (x) slots - expr: fills those slots
- leaves:
P,D,R - unary:
sqt log frc flr cil sgn nrm - binary:
add sub mlt div pow mod lrg eql min dot dst
- leaves:
A coordinate t·x·u·b follows the formula's projection: t the topology,
x the leaf choices, u the unary choices, b the binary choices.
Points outside the space were omitted from the run. Two orderings ride along:
ordinal is the point's position in ither's whole enumeration (gaps where
points were omitted), and batch index is its place in the batch run's
sequence, 0 to 175,796 (the run's inputs.expr, and the number in its
frame's file name).
The apparatus
Each expression is evaluated at the corners of a rectangular lattice with
quintic blending (LATT.RECT.QUINTIC), over coordinates mlt(C, 8), in a
256 × 256 field #A. One configuration per expression: the dimension and
coordinate scale were fixed for the whole run.
Measurements are taken from #A's x channel, its stored values (not a
screenshot), at step 7, after which the run moves to the next expression. The
frame in each row is that field, remapped for display.
The measurements
Notation: f is the field value, E averages the whole field, and E_I
averages the interior (C-space [-0.98, 0.98]², which keeps wrapped edges out
of the spatial measures).
Value distribution
| key | meaning |
|---|---|
value_mean, value_abs_mean |
E[f] and E[|f|]: signed offset, typical distance from zero |
value_positive_fraction |
share of values above 0 (field tolerance 0.0001) |
value_variance, value_stddev |
population variance and SD: contrast |
value_min, value_max, value_range |
sampled extrema and their difference |
histogram_entropy_bits |
entropy of a 32-bin histogram over [−1, 1], 0 (one bin) to 5 (uniform) bits |
histogram_probability_sum |
consistency check, ≈ 1 |
Local roughness (one-pixel differences dx, dy, and g = √(dx² + dy²))
| key | meaning |
|---|---|
gradient_energy_x, gradient_energy_y |
E_I[dx²], E_I[dy²] |
gradient_magnitude_mean |
E_I[g]: roughness |
gradient_magnitude_variance, _stddev, _max |
how unevenly that roughness is spread, and its peak |
gradient_magnitude_cv |
SD / mean of g: uneven activity (quiet areas interrupted by edges), independent of amplitude |
gradient_axis_bias |
(Ex − Ey) / (Ex + Ey), −1 to 1: horizontal vs vertical preference. Zero does not mean isotropic (diagonals balance too) |
gradient_nonzero_flag |
1 if there is any gradient energy at all |
Change of slope (four-neighbour Laplacian L)
| key | meaning |
|---|---|
laplacian_mean, laplacian_energy, laplacian_abs_mean |
E_I[L], E_I[L²], E_I[|L|]. Sharp or high-frequency structure responds; a linear ramp does not |
Normalised by contrast (comparable across amplitudes)
| key | meaning |
|---|---|
gradient_energy_over_variance |
(Ex + Ey) / variance |
laplacian_energy_over_variance |
E_I[L²] / variance |
variance_normalization_valid_flag, gradient_cv_valid_flag |
whether the denominators above are meaningful (> 10⁻¹²). Filter on these before trusting a ratio |
Three spatial scales (mean squared difference at a distance, over the
central [-0.74, 0.74]²: 2, 8 and 32 pixels at this resolution)
| key | meaning |
|---|---|
scale_diff2_near, _mid, _far |
raw difference energy at each distance |
scale_diff2_near_over_variance, _mid_…, _far_… |
the same, normalised. Low near and rising far suggests smooth structure; a dip at a longer distance can hint at repetition |
Each record's json also holds value_histogram (the 32 bin probabilities)
and scale_curve (the three scales with their distances).
Reading them, and their limits
- Clipping.
#Akept its default signed domain, so values outside [−1, 1] were clipped before measuring. The diagnostics describe the clipped texture. - Combinations say more than any one key. A large range with modest SD and a high gradient peak suggests a few strong excursions. A broad histogram with low normalised detail suggests smooth variation. Similar roughness with a different CV means the activity is concentrated differently.
- Entropy is about values, not space. A smooth ramp can have high entropy, and shuffling the pixels would not change it.
- Raw spatial measures depend on resolution and amplitude. Prefer the normalised keys for detail independent of contrast, after checking the validity flags.
- Not measured: full orientation, spectra or periodicity, lacunarity, tileability, colour, novelty, aesthetic merit.
- Validation. The suite compiled and ran on every expression. Systematic numerical controls (constants, ramps, stripes, checkerboards, random pixels) and a comparison against longer settling times were not done before this run. Treat the values as exploratory.
Provenance
- Apparatus:
noiseBatch/one.uto, project SHA-256b6fc8f27…be04d0 - Expression corpus: SHA-256
7d3ec029…d72266 - Run files (canonical), in
~/lab/data/grad-noise-175k/: the enumeration (grad-noise-175k.jsonl), the measurements (grad-noise-175k-output.jsonl, joined oninputs.expr), the formula (grad-noise-175k.manifest.json) and the frames (png/)
| coordinate ▲ | t | x | u | b | expression | batch index | ordinal | topo | measured | step | globalStep | value_mean | value_positive_fraction | value_abs_mean | value_variance | value_stddev | value_min | value_max | value_range | histogram_probability_sum | histogram_entropy_bits | gradient_energy_x | gradient_energy_y | gradient_magnitude_mean | gradient_axis_bias | gradient_nonzero_flag | laplacian_mean | laplacian_energy | laplacian_abs_mean | gradient_magnitude_variance | gradient_magnitude_stddev | gradient_magnitude_cv | gradient_magnitude_max | gradient_energy_over_variance | laplacian_energy_over_variance | variance_normalization_valid_flag | gradient_cv_valid_flag | scale_diff2_near | scale_diff2_mid | scale_diff2_far | scale_diff2_near_over_variance | scale_diff2_mid_over_variance | scale_diff2_far_over_variance | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t12_x3_u1_b50 | 12 | 3 | 1 | 50 | ![]() |
log(pow(P,lrg(D,P))) | 21900 | 97568666 | o1(o2(x,o2(x,x))) | true | 5047 | 5047 | -0.5625 | 0 | 0.5625 | 0.2461 | 0.4961 | -1 | 0 | 1 | 1 | 0.9887 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01612 | 0.03225 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02139 | 0.08555 | 0.3422 | json |
| t12_x3_u1_b51 | 12 | 3 | 1 | 51 | ![]() |
log(pow(P,eql(D,P))) | 21901 | 97568667 | o1(o2(x,o2(x,x))) | true | 5055 | 5055 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u1_b52 | 12 | 3 | 1 | 52 | ![]() |
log(pow(P,min(D,P))) | 21902 | 97568668 | o1(o2(x,o2(x,x))) | true | 5063 | 5063 | -0.5811 | 0.1719 | 0.6243 | 0.2366 | 0.4864 | -1 | 0.2753 | 1.275 | 1 | 2.4 | 0.005528 | 0 | 0.02624 | 1 | 1 | 0.0003388 | 0.008211 | 0.01673 | 0.00484 | 0.06957 | 2.651 | 0.9998 | 0.02337 | 0.03471 | 1 | 1 | 0.00742 | 0.03505 | 0.07311 | 0.03137 | 0.1482 | 0.3091 | json |
| t12_x3_u1_b53 | 12 | 3 | 1 | 53 | ![]() |
log(pow(P,dot(D,P))) | 21903 | 97568669 | o1(o2(x,o2(x,x))) | true | 5071 | 5071 | -0.6956 | 0.1251 | 0.839 | 0.3108 | 0.5575 | -1 | 1 | 2 | 1 | 2.307 | 0.02969 | 0.01447 | 0.09191 | 0.3445 | 1 | 0.000973 | 0.03204 | 0.0612 | 0.0357 | 0.189 | 2.056 | 1.194 | 0.1421 | 0.1031 | 1 | 1 | 0.04803 | 0.2942 | 0.07839 | 0.1546 | 0.9467 | 0.2523 | json |
| t12_x3_u1_b54 | 12 | 3 | 1 | 54 | ![]() |
log(pow(P,dst(D,P))) | 21904 | 97568670 | o1(o2(x,o2(x,x))) | true | 5079 | 5079 | -0.1426 | 0.4375 | 0.9824 | 0.9585 | 0.979 | -1 | 1 | 2 | 1 | 1.208 | 0.004833 | 0.000001154 | 0.007943 | 0.9995 | 1 | -9.255e-8 | 0.008092 | 0.01006 | 0.004769 | 0.06906 | 8.694 | 1.002 | 0.005043 | 0.008443 | 1 | 1 | 0.007307 | 0.05464 | 0.3075 | 0.007623 | 0.05701 | 0.3208 | json |
| t12_x3_u1_b55 | 12 | 3 | 1 | 55 | ![]() |
log(mod(P,add(D,P))) | 21905 | 97568671 | o1(o2(x,o2(x,x))) | true | 5087 | 5087 | -0.5569 | 0.2109 | 0.8873 | 0.5448 | 0.7381 | -1 | 1 | 2 | 1 | 2.079 | 0.1098 | 0 | 0.1007 | 1 | 1 | 2.766e-9 | 0.193 | 0.121 | 0.09972 | 0.3158 | 3.135 | 2 | 0.2016 | 0.3543 | 1 | 1 | 0.1174 | 0.4929 | 0.09558 | 0.2154 | 0.9047 | 0.1754 | json |
| t12_x3_u1_b56 | 12 | 3 | 1 | 56 | ![]() |
log(mod(P,sub(D,P))) | 21906 | 97568672 | o1(o2(x,o2(x,x))) | true | 5095 | 5095 | -0.529 | 0.2383 | 0.9122 | 0.6026 | 0.7763 | -1 | 1 | 2 | 1 | 1.977 | 0.1124 | 0 | 0.1063 | 1 | 1 | 2.838e-9 | 0.1994 | 0.127 | 0.1011 | 0.318 | 2.992 | 2 | 0.1866 | 0.3309 | 1 | 1 | 0.1196 | 0.4911 | 0.1335 | 0.1985 | 0.815 | 0.2215 | json |
| t12_x3_u1_b57 | 12 | 3 | 1 | 57 | ![]() |
log(mod(P,mlt(D,P))) | 21907 | 97568673 | o1(o2(x,o2(x,x))) | true | 5103 | 5103 | -0.7835 | 0.09766 | 0.8537 | 0.1981 | 0.4451 | -1 | 0.9077 | 1.908 | 1 | 1.909 | 0.0507 | 0 | 0.1043 | 1 | 1 | -0.00008477 | 0.08015 | 0.1364 | 0.03983 | 0.1996 | 1.914 | 0.7136 | 0.256 | 0.4047 | 1 | 1 | 0.04754 | 0.1308 | 0.03593 | 0.24 | 0.6606 | 0.1814 | json |
| t12_x3_u1_b58 | 12 | 3 | 1 | 58 | ![]() |
log(mod(P,div(D,P))) | 21908 | 97568674 | o1(o2(x,o2(x,x))) | true | 5111 | 5111 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u1_b59 | 12 | 3 | 1 | 59 | ![]() |
log(mod(P,pow(D,P))) | 21909 | 97568675 | o1(o2(x,o2(x,x))) | true | 5119 | 5119 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u1_b60 | 12 | 3 | 1 | 60 | ![]() |
log(mod(P,mod(D,P))) | 21910 | 97568676 | o1(o2(x,o2(x,x))) | true | 5127 | 5127 | -0.9998 | 0 | 0.9998 | 0.000008036 | 0.002835 | -1 | -0.9546 | 0.04545 | 1 | 0 | 0.00001639 | 0 | 0.0003607 | 1 | 0 | -9.461e-10 | 0.00004918 | 0.0007214 | 0.00001626 | 0.004032 | 11.18 | 0.04545 | 2.04 | 6.12 | 1 | 1 | 0.00001087 | 0.00001087 | 0.00001087 | 1.353 | 1.353 | 1.353 | json |
| t12_x3_u1_b61 | 12 | 3 | 1 | 61 | ![]() |
log(mod(P,lrg(D,P))) | 21911 | 97568677 | o1(o2(x,o2(x,x))) | true | 5135 | 5135 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u1_b62 | 12 | 3 | 1 | 62 | ![]() |
log(mod(P,eql(D,P))) | 21912 | 97568678 | o1(o2(x,o2(x,x))) | true | 5143 | 5143 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u1_b63 | 12 | 3 | 1 | 63 | ![]() |
log(mod(P,min(D,P))) | 21913 | 97568679 | o1(o2(x,o2(x,x))) | true | 5151 | 5151 | -0.9998 | 0 | 0.9998 | 0.000008036 | 0.002835 | -1 | -0.9546 | 0.04545 | 1 | 0 | 0.00001639 | 0 | 0.0003607 | 1 | 0 | -9.461e-10 | 0.00004918 | 0.0007214 | 0.00001626 | 0.004032 | 11.18 | 0.04545 | 2.04 | 6.12 | 1 | 1 | 0.00001087 | 0.00001087 | 0.00001087 | 1.353 | 1.353 | 1.353 | json |
| t12_x3_u1_b64 | 12 | 3 | 1 | 64 | ![]() |
log(mod(P,dot(D,P))) | 21914 | 97568680 | o1(o2(x,o2(x,x))) | true | 5159 | 5159 | -0.7666 | 0.1125 | 0.8546 | 0.225 | 0.4744 | -1 | 1 | 2 | 1 | 2.004 | 0.1508 | 0.1485 | 0.2658 | 0.007511 | 1 | -0.0008843 | 1.474 | 0.5592 | 0.2286 | 0.4781 | 1.799 | 2.828 | 1.33 | 6.553 | 1 | 1 | 0.126 | 0.2055 | 0.1707 | 0.56 | 0.9132 | 0.7584 | json |
| t12_x3_u1_b65 | 12 | 3 | 1 | 65 | ![]() |
log(mod(P,dst(D,P))) | 21915 | 97568681 | o1(o2(x,o2(x,x))) | true | 5167 | 5167 | -0.2372 | 0.4044 | 0.9343 | 0.8568 | 0.9256 | -1 | 1 | 2 | 1 | 1.889 | 0.03764 | 0.01015 | 0.04515 | 0.5753 | 1 | 1.155e-9 | 0.1316 | 0.0634 | 0.04572 | 0.2138 | 4.736 | 2.828 | 0.05578 | 0.1535 | 1 | 1 | 0.05539 | 0.1845 | 0.3176 | 0.06465 | 0.2154 | 0.3707 | json |
| t12_x3_u1_b66 | 12 | 3 | 1 | 66 | ![]() |
log(lrg(P,add(D,P))) | 21916 | 97568682 | o1(o2(x,o2(x,x))) | true | 5175 | 5175 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u1_b67 | 12 | 3 | 1 | 67 | ![]() |
log(lrg(P,sub(D,P))) | 21917 | 97568683 | o1(o2(x,o2(x,x))) | true | 5183 | 5183 | -0.5625 | 0 | 0.5625 | 0.2461 | 0.4961 | -1 | 0 | 1 | 1 | 0.9887 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01612 | 0.03225 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02139 | 0.08555 | 0.3422 | json |
| t12_x3_u1_b68 | 12 | 3 | 1 | 68 | ![]() |
log(lrg(P,mlt(D,P))) | 21918 | 97568684 | o1(o2(x,o2(x,x))) | true | 5191 | 5191 | -0.5625 | 0 | 0.5625 | 0.2461 | 0.4961 | -1 | 0 | 1 | 1 | 0.9887 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01612 | 0.03225 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02139 | 0.08555 | 0.3422 | json |
| t12_x3_u1_b69 | 12 | 3 | 1 | 69 | ![]() |
log(lrg(P,div(D,P))) | 21919 | 97568685 | o1(o2(x,o2(x,x))) | true | 5199 | 5199 | -0.5625 | 0 | 0.5625 | 0.2461 | 0.4961 | -1 | 0 | 1 | 1 | 0.9887 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01612 | 0.03225 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02139 | 0.08555 | 0.3422 | json |
| t12_x3_u1_b70 | 12 | 3 | 1 | 70 | ![]() |
log(lrg(P,pow(D,P))) | 21920 | 97568686 | o1(o2(x,o2(x,x))) | true | 5207 | 5207 | -0.5625 | 0 | 0.5625 | 0.2461 | 0.4961 | -1 | 0 | 1 | 1 | 0.9887 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01612 | 0.03225 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02139 | 0.08555 | 0.3422 | json |
| t12_x3_u1_b71 | 12 | 3 | 1 | 71 | ![]() |
log(lrg(P,mod(D,P))) | 21921 | 97568687 | o1(o2(x,o2(x,x))) | true | 5215 | 5215 | -0.5 | 0 | 0.5 | 0.25 | 0.5 | -1 | 0 | 1 | 1 | 1 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01587 | 0.03175 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02105 | 0.08421 | 0.3368 | json |
| t12_x3_u1_b72 | 12 | 3 | 1 | 72 | ![]() |
log(lrg(P,lrg(D,P))) | 21922 | 97568688 | o1(o2(x,o2(x,x))) | true | 5223 | 5223 | -0.5625 | 0 | 0.5625 | 0.2461 | 0.4961 | -1 | 0 | 1 | 1 | 0.9887 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01612 | 0.03225 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02139 | 0.08555 | 0.3422 | json |
| t12_x3_u1_b73 | 12 | 3 | 1 | 73 | ![]() |
log(lrg(P,eql(D,P))) | 21923 | 97568689 | o1(o2(x,o2(x,x))) | true | 5231 | 5231 | -0.5625 | 0 | 0.5625 | 0.2461 | 0.4961 | -1 | 0 | 1 | 1 | 0.9887 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01612 | 0.03225 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02139 | 0.08555 | 0.3422 | json |
| t12_x3_u1_b74 | 12 | 3 | 1 | 74 | ![]() |
log(lrg(P,min(D,P))) | 21924 | 97568690 | o1(o2(x,o2(x,x))) | true | 5239 | 5239 | -0.5625 | 0 | 0.5625 | 0.2461 | 0.4961 | -1 | 0 | 1 | 1 | 0.9887 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01612 | 0.03225 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02139 | 0.08555 | 0.3422 | json |
| t12_x3_u1_b75 | 12 | 3 | 1 | 75 | ![]() |
log(lrg(P,dot(D,P))) | 21925 | 97568691 | o1(o2(x,o2(x,x))) | true | 5247 | 5247 | -0.7563 | 0 | 0.7563 | 0.1844 | 0.4294 | -1 | 0 | 1 | 1 | 0.8012 | 0.03641 | 0.0317 | 0.06394 | 0.06913 | 1 | -0.0005669 | 0.2028 | 0.1357 | 0.06402 | 0.253 | 3.958 | 1.414 | 0.3693 | 1.1 | 1 | 1 | 0.0612 | 0.144 | 0.1184 | 0.3319 | 0.7809 | 0.6422 | json |
| t12_x3_u1_b76 | 12 | 3 | 1 | 76 | ![]() |
log(lrg(P,dst(D,P))) | 21926 | 97568692 | o1(o2(x,o2(x,x))) | true | 5255 | 5255 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u1_b77 | 12 | 3 | 1 | 77 | ![]() |
log(eql(P,add(D,P))) | 21927 | 97568693 | o1(o2(x,o2(x,x))) | true | 5263 | 5263 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u1_b78 | 12 | 3 | 1 | 78 | ![]() |
log(eql(P,sub(D,P))) | 21928 | 97568694 | o1(o2(x,o2(x,x))) | true | 5271 | 5271 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u1_b79 | 12 | 3 | 1 | 79 | ![]() |
log(eql(P,mlt(D,P))) | 21929 | 97568695 | o1(o2(x,o2(x,x))) | true | 5279 | 5279 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u1_b80 | 12 | 3 | 1 | 80 | ![]() |
log(eql(P,div(D,P))) | 21930 | 97568696 | o1(o2(x,o2(x,x))) | true | 5287 | 5287 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u1_b81 | 12 | 3 | 1 | 81 | ![]() |
log(eql(P,pow(D,P))) | 21931 | 97568697 | o1(o2(x,o2(x,x))) | true | 5295 | 5295 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u1_b82 | 12 | 3 | 1 | 82 | ![]() |
log(eql(P,mod(D,P))) | 21932 | 97568698 | o1(o2(x,o2(x,x))) | true | 5303 | 5303 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u1_b83 | 12 | 3 | 1 | 83 | ![]() |
log(eql(P,lrg(D,P))) | 21933 | 97568699 | o1(o2(x,o2(x,x))) | true | 5311 | 5311 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u1_b84 | 12 | 3 | 1 | 84 | ![]() |
log(eql(P,eql(D,P))) | 21934 | 97568700 | o1(o2(x,o2(x,x))) | true | 5319 | 5319 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u1_b85 | 12 | 3 | 1 | 85 | ![]() |
log(eql(P,min(D,P))) | 21935 | 97568701 | o1(o2(x,o2(x,x))) | true | 5327 | 5327 | -0.5625 | 0 | 0.5625 | 0.2461 | 0.4961 | -1 | 0 | 1 | 1 | 0.9887 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01612 | 0.03225 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02139 | 0.08555 | 0.3422 | json |
| t12_x3_u1_b86 | 12 | 3 | 1 | 86 | ![]() |
log(eql(P,dot(D,P))) | 21936 | 97568702 | o1(o2(x,o2(x,x))) | true | 5335 | 5335 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u1_b87 | 12 | 3 | 1 | 87 | ![]() |
log(eql(P,dst(D,P))) | 21937 | 97568703 | o1(o2(x,o2(x,x))) | true | 5343 | 5343 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u1_b88 | 12 | 3 | 1 | 88 | ![]() |
log(min(P,add(D,P))) | 21938 | 97568704 | o1(o2(x,o2(x,x))) | true | 5351 | 5351 | -0.1813 | 0.4336 | 0.9437 | 0.8948 | 0.946 | -1 | 1 | 2 | 1 | 1.702 | 0.004175 | 0 | 0.007937 | 1 | 1 | -2.587e-9 | 0.007946 | 0.008904 | 0.004111 | 0.06412 | 8.079 | 1 | 0.004666 | 0.00888 | 1 | 1 | 0.005805 | 0.03021 | 0.2391 | 0.006488 | 0.03376 | 0.2671 | json |
| t12_x3_u1_b89 | 12 | 3 | 1 | 89 | ![]() |
log(min(P,sub(D,P))) | 21939 | 97568705 | o1(o2(x,o2(x,x))) | true | 5359 | 5359 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u1_b90 | 12 | 3 | 1 | 90 | ![]() |
log(min(P,mlt(D,P))) | 21940 | 97568706 | o1(o2(x,o2(x,x))) | true | 5367 | 5367 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u1_b91 | 12 | 3 | 1 | 91 | ![]() |
log(min(P,div(D,P))) | 21941 | 97568707 | o1(o2(x,o2(x,x))) | true | 5375 | 5375 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u1_b92 | 12 | 3 | 1 | 92 | ![]() |
log(min(P,pow(D,P))) | 21942 | 97568708 | o1(o2(x,o2(x,x))) | true | 5383 | 5383 | -0.6171 | 0.1992 | 0.9382 | 0.5343 | 0.731 | -1 | 1 | 2 | 1 | 1.585 | 0.1199 | 0 | 0.1007 | 1 | 1 | 2.838e-9 | 0.1971 | 0.1307 | 0.1098 | 0.3313 | 3.289 | 2 | 0.2243 | 0.369 | 1 | 1 | 0.1298 | 0.6002 | 0.1267 | 0.2429 | 1.123 | 0.2371 | json |
| t12_x3_u1_b93 | 12 | 3 | 1 | 93 | ![]() |
log(min(P,mod(D,P))) | 21943 | 97568709 | o1(o2(x,o2(x,x))) | true | 5391 | 5391 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u1_b94 | 12 | 3 | 1 | 94 | ![]() |
log(min(P,lrg(D,P))) | 21944 | 97568710 | o1(o2(x,o2(x,x))) | true | 5399 | 5399 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u1_b95 | 12 | 3 | 1 | 95 | ![]() |
log(min(P,eql(D,P))) | 21945 | 97568711 | o1(o2(x,o2(x,x))) | true | 5407 | 5407 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u1_b96 | 12 | 3 | 1 | 96 | ![]() |
log(min(P,min(D,P))) | 21946 | 97568712 | o1(o2(x,o2(x,x))) | true | 5415 | 5415 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u1_b97 | 12 | 3 | 1 | 97 | ![]() |
log(min(P,dot(D,P))) | 21947 | 97568713 | o1(o2(x,o2(x,x))) | true | 5423 | 5423 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u1_b98 | 12 | 3 | 1 | 98 | ![]() |
log(min(P,dst(D,P))) | 21948 | 97568714 | o1(o2(x,o2(x,x))) | true | 5431 | 5431 | -0.175 | 0.4359 | 0.9502 | 0.9029 | 0.9502 | -1 | 1 | 2 | 1 | 1.671 | 0.004192 | 0.000003966 | 0.008058 | 0.9981 | 1 | 7.532e-10 | 0.007931 | 0.009018 | 0.00413 | 0.06426 | 7.975 | 1 | 0.004647 | 0.008784 | 1 | 1 | 0.005876 | 0.03255 | 0.2479 | 0.006508 | 0.03604 | 0.2746 | json |
| t12_x3_u1_b99 | 12 | 3 | 1 | 99 | ![]() |
log(dot(P,add(D,P))) | 21949 | 97568715 | o1(o2(x,o2(x,x))) | true | 5439 | 5439 | 0.9611 | 0.9844 | 0.9923 | 0.06552 | 0.256 | -1 | 1 | 2 | 1 | 0.3056 | 0.001817 | 0.001817 | 0.004288 | 6.406e-8 | 1 | -2.44e-10 | 0.007073 | 0.005514 | 0.003615 | 0.06012 | 14.02 | 2.394 | 0.05547 | 0.1079 | 1 | 1 | 0.006885 | 0.0397 | 0.216 | 0.1051 | 0.6059 | 3.297 | json |
| t12_x3_u1_b100 | 12 | 3 | 1 | 100 | ![]() |
log(dot(P,sub(D,P))) | 21950 | 97568716 | o1(o2(x,o2(x,x))) | true | 5447 | 5447 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u1_b101 | 12 | 3 | 1 | 101 | ![]() |
log(dot(P,mlt(D,P))) | 21951 | 97568717 | o1(o2(x,o2(x,x))) | true | 5455 | 5455 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u1_b102 | 12 | 3 | 1 | 102 | ![]() |
log(dot(P,div(D,P))) | 21952 | 97568718 | o1(o2(x,o2(x,x))) | true | 5463 | 5463 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u1_b103 | 12 | 3 | 1 | 103 | ![]() |
log(dot(P,pow(D,P))) | 21953 | 97568719 | o1(o2(x,o2(x,x))) | true | 5471 | 5471 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u1_b104 | 12 | 3 | 1 | 104 | ![]() |
log(dot(P,mod(D,P))) | 21954 | 97568720 | o1(o2(x,o2(x,x))) | true | 5479 | 5479 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u1_b105 | 12 | 3 | 1 | 105 | ![]() |
log(dot(P,lrg(D,P))) | 21955 | 97568721 | o1(o2(x,o2(x,x))) | true | 5487 | 5487 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u1_b106 | 12 | 3 | 1 | 106 | ![]() |
log(dot(P,eql(D,P))) | 21956 | 97568722 | o1(o2(x,o2(x,x))) | true | 5495 | 5495 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u1_b107 | 12 | 3 | 1 | 107 | ![]() |
log(dot(P,min(D,P))) | 21957 | 97568723 | o1(o2(x,o2(x,x))) | true | 5503 | 5503 | 0.2453 | 0.6238 | 0.9897 | 0.9265 | 0.9626 | -1 | 1 | 2 | 1 | 1.159 | 0.02134 | 0.02134 | 0.02653 | -2.619e-7 | 1 | 0.0004821 | 0.08968 | 0.04745 | 0.04199 | 0.2049 | 7.723 | 2.006 | 0.04606 | 0.09679 | 1 | 1 | 0.05251 | 0.1688 | 0.4366 | 0.05667 | 0.1822 | 0.4712 | json |
| t12_x3_u1_b108 | 12 | 3 | 1 | 108 | ![]() |
log(dot(P,dot(D,P))) | 21958 | 97568724 | o1(o2(x,o2(x,x))) | true | 5511 | 5511 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u1_b109 | 12 | 3 | 1 | 109 | ![]() |
log(dot(P,dst(D,P))) | 21959 | 97568725 | o1(o2(x,o2(x,x))) | true | 5519 | 5519 | -0.1813 | 0.4098 | 0.9984 | 0.9649 | 0.9823 | -1 | 1 | 2 | 1 | 1.016 | 0.01317 | 0.01317 | 0.01366 | 3.536e-8 | 1 | 1.201e-10 | 0.05576 | 0.0271 | 0.02617 | 0.1618 | 11.84 | 2.828 | 0.02729 | 0.05778 | 1 | 1 | 0.03423 | 0.1461 | 0.6344 | 0.03548 | 0.1514 | 0.6574 | json |
| t12_x3_u1_b110 | 12 | 3 | 1 | 110 | ![]() |
log(dst(P,add(D,P))) | 21960 | 97568726 | o1(o2(x,o2(x,x))) | true | 5527 | 5527 | -0.7705 | 0 | 0.7705 | 0.04347 | 0.2085 | -1 | -0.3539 | 0.6461 | 1 | 2.94 | 0.004784 | 0.004784 | 0.07691 | -0.000003456 | 1 | -0.0003411 | 0.005662 | 0.04961 | 0.003653 | 0.06044 | 0.7859 | 0.2093 | 0.2201 | 0.1303 | 1 | 1 | 0.01694 | 0.08275 | 0 | 0.3898 | 1.904 | 0 | json |
| t12_x3_u1_b111 | 12 | 3 | 1 | 111 | ![]() |
log(dst(P,sub(D,P))) | 21961 | 97568727 | o1(o2(x,o2(x,x))) | true | 5535 | 5535 | 0.9906 | 0.9972 | 0.9942 | 0.009735 | 0.09867 | -1 | 1 | 2 | 1 | 0.2013 | 0.0001733 | 0.0001733 | 0.002089 | 5.876e-7 | 1 | -3.004e-11 | 0.00006705 | 0.0007145 | 0.0003421 | 0.0185 | 8.853 | 0.3481 | 0.03561 | 0.006887 | 1 | 1 | 0.001174 | 0.01293 | 0.03494 | 0.1206 | 1.328 | 3.589 | json |
| t12_x3_u1_b112 | 12 | 3 | 1 | 112 | ![]() |
log(dst(P,mlt(D,P))) | 21962 | 97568728 | o1(o2(x,o2(x,x))) | true | 5543 | 5543 | 0.9401 | 0.9821 | 0.9717 | 0.07499 | 0.2738 | -1 | 1 | 2 | 1 | 0.7715 | 0.001535 | 0.001535 | 0.006285 | -9.102e-7 | 1 | 1.089e-10 | 0.005935 | 0.006226 | 0.003033 | 0.05507 | 8.762 | 1.905 | 0.04093 | 0.07914 | 1 | 1 | 0.005787 | 0.02952 | 0.1898 | 0.07717 | 0.3936 | 2.531 | json |
| t12_x3_u1_b113 | 12 | 3 | 1 | 113 | ![]() |
log(dst(P,div(D,P))) | 21963 | 97568729 | o1(o2(x,o2(x,x))) | true | 5551 | 5551 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u1_b114 | 12 | 3 | 1 | 114 | ![]() |
log(dst(P,pow(D,P))) | 21964 | 97568730 | o1(o2(x,o2(x,x))) | true | 5559 | 5559 | -0.9925 | 0.003906 | 0.9997 | 0.01451 | 0.1205 | -1 | 1 | 2 | 1 | 0.04277 | 0.001848 | 0.001848 | 0.001975 | 0 | 1 | -1.126e-11 | 0.007837 | 0.003883 | 0.003691 | 0.06075 | 30.76 | 2.191 | 0.2547 | 0.54 | 1 | 1 | 0.006515 | 0.02661 | 0.05289 | 0.4489 | 1.834 | 3.644 | json |
| t12_x3_u1_b115 | 12 | 3 | 1 | 115 | ![]() |
log(dst(P,mod(D,P))) | 21965 | 97568731 | o1(o2(x,o2(x,x))) | true | 5567 | 5567 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u1_b116 | 12 | 3 | 1 | 116 | ![]() |
log(dst(P,lrg(D,P))) | 21966 | 97568732 | o1(o2(x,o2(x,x))) | true | 5575 | 5575 | 0.9754 | 0.9961 | 0.9832 | 0.02432 | 0.1559 | -1 | 1 | 2 | 1 | 0.4455 | 0.001486 | 0.001486 | 0.003664 | 1.958e-7 | 1 | 4.731e-10 | 0.006099 | 0.004426 | 0.00296 | 0.05441 | 14.85 | 2 | 0.1222 | 0.2508 | 1 | 1 | 0.00538 | 0.02415 | 0.07284 | 0.2213 | 0.9932 | 2.996 | json |
| t12_x3_u1_b117 | 12 | 3 | 1 | 117 | ![]() |
log(dst(P,eql(D,P))) | 21967 | 97568733 | o1(o2(x,o2(x,x))) | true | 5583 | 5583 | 0.974 | 1 | 0.974 | 0.01263 | 0.1124 | 0.0002017 | 1 | 0.9998 | 1 | 0.622 | 0.00003583 | 0.00003583 | 0.002176 | 0.00000198 | 0 | -1.051e-10 | 0.00000706 | 0.0005851 | 0.00006694 | 0.008181 | 3.759 | 0.05358 | 0.005675 | 0.0005592 | 1 | 1 | 0.0002465 | 0.00312 | 0.02891 | 0.01952 | 0.2472 | 2.29 | json |
| t12_x3_u1_b118 | 12 | 3 | 1 | 118 | ![]() |
log(dst(P,min(D,P))) | 21968 | 97568734 | o1(o2(x,o2(x,x))) | true | 5591 | 5591 | 0.3013 | 0.6559 | 0.9395 | 0.8294 | 0.9107 | -1 | 1 | 2 | 1 | 1.772 | 0.002517 | 0.002517 | 0.01112 | -0.000001434 | 1 | -8.447e-10 | 0.009671 | 0.01155 | 0.004909 | 0.07006 | 6.298 | 1.905 | 0.006069 | 0.01166 | 1 | 1 | 0.007365 | 0.0371 | 0.292 | 0.00888 | 0.04474 | 0.3521 | json |
| t12_x3_u1_b119 | 12 | 3 | 1 | 119 | ![]() |
log(dst(P,dot(D,P))) | 21969 | 97568735 | o1(o2(x,o2(x,x))) | true | 5599 | 5599 | 0.948 | 0.9833 | 0.9793 | 0.07089 | 0.2662 | -1 | 1 | 2 | 1 | 0.6203 | 0.001587 | 0.001587 | 0.00609 | -0.00000143 | 1 | -1.427e-10 | 0.00608 | 0.006374 | 0.003134 | 0.05598 | 9.193 | 1.905 | 0.04477 | 0.08577 | 1 | 1 | 0.006032 | 0.03335 | 0.1982 | 0.0851 | 0.4704 | 2.796 | json |
| t12_x3_u1_b120 | 12 | 3 | 1 | 120 | ![]() |
log(dst(P,dst(D,P))) | 21970 | 97568736 | o1(o2(x,o2(x,x))) | true | 5607 | 5607 | 0.9893 | 0.9982 | 0.9914 | 0.008449 | 0.09192 | -1 | 1 | 2 | 1 | 0.2426 | 0.0001778 | 0.0001778 | 0.002493 | 3.274e-7 | 1 | 7.133e-11 | 0.00007176 | 0.000891 | 0.0003491 | 0.01869 | 7.496 | 0.3638 | 0.04208 | 0.008494 | 1 | 1 | 0.001203 | 0.01236 | 0.03004 | 0.1424 | 1.463 | 3.555 | json |
| t12_x3_u2_b0 | 12 | 3 | 2 | 0 | ![]() |
frc(add(P,add(D,P))) | 21971 | 97568817 | o1(o2(x,o2(x,x))) | true | 5615 | 5615 | 0.5 | 1 | 0.5 | 0.08301 | 0.2881 | 0.03125 | 0.9688 | 0.9375 | 1 | 4 | 0.05599 | 0 | 0.1146 | 1 | 1 | 0 | 0.119 | 0.119 | 0.04284 | 0.207 | 1.806 | 0.9375 | 0.6745 | 1.434 | 1 | 1 | 0.05321 | 0.125 | 0 | 0.641 | 1.506 | 0 | json |
| t12_x3_u2_b1 | 12 | 3 | 2 | 1 | ![]() |
frc(add(P,sub(D,P))) | 21972 | 97568818 | o1(o2(x,o2(x,x))) | true | 5623 | 5623 | 0.5 | 1 | 0.5 | 0.08301 | 0.2881 | 0.03125 | 0.9688 | 0.9375 | 1 | 4 | 0.05599 | 0 | 0.1146 | 1 | 1 | 0 | 0.119 | 0.119 | 0.04284 | 0.207 | 1.806 | 0.9375 | 0.6745 | 1.434 | 1 | 1 | 0.05321 | 0.125 | 0 | 0.641 | 1.506 | 0 | json |
| t12_x3_u2_b2 | 12 | 3 | 2 | 2 | ![]() |
frc(add(P,mlt(D,P))) | 21973 | 97568819 | o1(o2(x,o2(x,x))) | true | 5631 | 5631 | 0.4696 | 0.9922 | 0.4696 | 0.06611 | 0.2571 | 0.000009095 | 0.9685 | 0.9685 | 1 | 3.922 | 0.1188 | 0 | 0.2751 | 1 | 1 | -0.004 | 0.3543 | 0.4292 | 0.04315 | 0.2077 | 0.755 | 0.9372 | 1.797 | 5.359 | 1 | 1 | 0.06488 | 0.05327 | 0.06904 | 0.9813 | 0.8057 | 1.044 | json |
| t12_x3_u2_b3 | 12 | 3 | 2 | 3 | ![]() |
frc(add(P,div(D,P))) | 21974 | 97568820 | o1(o2(x,o2(x,x))) | true | 5639 | 5639 | 0.3282 | 0.875 | 0.5782 | 0.3593 | 0.5994 | -1 | 0.9958 | 1.996 | 1 | 3.809 | 0.0587 | 0 | 0.1092 | 1 | 1 | 0.0002166 | 0.112 | 0.12 | 0.04677 | 0.2163 | 1.98 | 1.031 | 0.1634 | 0.3118 | 1 | 1 | 0.06051 | 0.2314 | 0.422 | 0.1684 | 0.6442 | 1.175 | json |
| t12_x3_u2_b4 | 12 | 3 | 2 | 4 | ![]() |
frc(add(P,pow(D,P))) | 21975 | 97568821 | o1(o2(x,o2(x,x))) | true | 5647 | 5647 | -0.922 | 0.05469 | 0.953 | 0.09478 | 0.3079 | -1 | 0.704 | 1.704 | 1 | 0.5111 | 0.01167 | 0 | 0.01861 | 1 | 1 | 7.95e-10 | 0.02073 | 0.0283 | 0.01133 | 0.1064 | 5.72 | 1 | 0.1231 | 0.2187 | 1 | 1 | 0.01721 | 0.07178 | 0.136 | 0.1815 | 0.7573 | 1.435 | json |
| t12_x3_u2_b5 | 12 | 3 | 2 | 5 | ![]() |
frc(add(P,mod(D,P))) | 21976 | 97568822 | o1(o2(x,o2(x,x))) | true | 5655 | 5655 | 0.3125 | 0.875 | 0.5625 | 0.3185 | 0.5644 | -1 | 0.9688 | 1.969 | 1 | 4.044 | 0.06466 | 0 | 0.1079 | 1 | 1 | 0 | 0.1349 | 0.119 | 0.053 | 0.2302 | 2.134 | 1.969 | 0.203 | 0.4236 | 1 | 1 | 0.06568 | 0.1969 | 0.3929 | 0.2062 | 0.6182 | 1.233 | json |
| t12_x3_u2_b6 | 12 | 3 | 2 | 6 | ![]() |
frc(add(P,lrg(D,P))) | 21977 | 97568823 | o1(o2(x,o2(x,x))) | true | 5663 | 5663 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u2_b7 | 12 | 3 | 2 | 7 | ![]() |
frc(add(P,eql(D,P))) | 21978 | 97568824 | o1(o2(x,o2(x,x))) | true | 5671 | 5671 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u2_b8 | 12 | 3 | 2 | 8 | ![]() |
frc(add(P,min(D,P))) | 21979 | 97568825 | o1(o2(x,o2(x,x))) | true | 5679 | 5679 | 0.2634 | 0.5547 | 0.2634 | 0.1068 | 0.3268 | 0 | 0.9688 | 0.9688 | 1 | 2.934 | 0.03042 | 0 | 0.06336 | 1 | 1 | 0.000248 | 0.06361 | 0.06474 | 0.02641 | 0.1625 | 2.565 | 0.9685 | 0.2849 | 0.5958 | 1 | 1 | 0.03133 | 0.07981 | 0.02302 | 0.2934 | 0.7474 | 0.2156 | json |
| t12_x3_u2_b9 | 12 | 3 | 2 | 9 | ![]() |
frc(add(P,dot(D,P))) | 21980 | 97568826 | o1(o2(x,o2(x,x))) | true | 5687 | 5687 | 0.4835 | 0.9991 | 0.4835 | 0.04261 | 0.2064 | 0.00001819 | 0.9682 | 0.9682 | 1 | 3.725 | 0.08242 | 0.08242 | 0.3477 | -0.000004249 | 1 | -0.0005344 | 0.8173 | 0.6957 | 0.04392 | 0.2096 | 0.6027 | 1.326 | 3.869 | 19.18 | 1 | 1 | 0.09122 | 0.06869 | 0.09165 | 2.141 | 1.612 | 2.151 | json |
| t12_x3_u2_b10 | 12 | 3 | 2 | 10 | ![]() |
frc(add(P,dst(D,P))) | 21981 | 97568827 | o1(o2(x,o2(x,x))) | true | 5695 | 5695 | 0.4984 | 1 | 0.4984 | 0.0516 | 0.2272 | 0.006575 | 0.9954 | 0.9889 | 1 | 3.853 | 0.02437 | 0.02437 | 0.1234 | 0.00000623 | 1 | -0.0004041 | 0.1631 | 0.1603 | 0.0335 | 0.183 | 1.483 | 1.354 | 0.9445 | 3.162 | 1 | 1 | 0.0468 | 0.1157 | 0.08139 | 0.907 | 2.243 | 1.577 | json |
| t12_x3_u2_b11 | 12 | 3 | 2 | 11 | ![]() |
frc(sub(P,add(D,P))) | 21982 | 97568828 | o1(o2(x,o2(x,x))) | true | 5703 | 5703 | 0.5 | 1 | 0.5 | 0.08301 | 0.2881 | 0.03125 | 0.9688 | 0.9375 | 1 | 4 | 0.05599 | 0 | 0.1146 | 1 | 1 | 0 | 0.119 | 0.119 | 0.04284 | 0.207 | 1.806 | 0.9375 | 0.6745 | 1.434 | 1 | 1 | 0.05321 | 0.125 | 0 | 0.641 | 1.506 | 0 | json |
| t12_x3_u2_b12 | 12 | 3 | 2 | 12 | ![]() |
frc(sub(P,sub(D,P))) | 21983 | 97568829 | o1(o2(x,o2(x,x))) | true | 5711 | 5711 | 0.5 | 1 | 0.5 | 0.08301 | 0.2881 | 0.03125 | 0.9688 | 0.9375 | 1 | 4 | 0.05599 | 0 | 0.1146 | 1 | 1 | 0 | 0.119 | 0.119 | 0.04284 | 0.207 | 1.806 | 0.9375 | 0.6745 | 1.434 | 1 | 1 | 0.05321 | 0.125 | 0 | 0.641 | 1.506 | 0 | json |
| t12_x3_u2_b13 | 12 | 3 | 2 | 13 | ![]() |
frc(sub(P,mlt(D,P))) | 21984 | 97568830 | o1(o2(x,o2(x,x))) | true | 5719 | 5719 | 0.4679 | 1 | 0.4679 | 0.06599 | 0.2569 | 0.000282 | 0.9687 | 0.9685 | 1 | 3.892 | 0.1183 | 0 | 0.2715 | 1 | 1 | 0.004 | 0.3542 | 0.4292 | 0.04463 | 0.2113 | 0.7781 | 0.9375 | 1.793 | 5.368 | 1 | 1 | 0.06364 | 0.04512 | 0.06904 | 0.9644 | 0.6837 | 1.046 | json |
| t12_x3_u2_b14 | 12 | 3 | 2 | 14 | ![]() |
frc(sub(P,div(D,P))) | 21985 | 97568831 | o1(o2(x,o2(x,x))) | true | 5727 | 5727 | 0.2969 | 0.875 | 0.5468 | 0.3475 | 0.5895 | -1 | 0.9953 | 1.995 | 1 | 3.809 | 0.08101 | 0 | 0.1167 | 1 | 1 | -0.0002166 | 0.1598 | 0.1359 | 0.06741 | 0.2596 | 2.225 | 1.969 | 0.2331 | 0.4597 | 1 | 1 | 0.08804 | 0.2825 | 0.3739 | 0.2533 | 0.8129 | 1.076 | json |
| t12_x3_u2_b15 | 12 | 3 | 2 | 15 | ![]() |
frc(sub(P,pow(D,P))) | 21986 | 97568832 | o1(o2(x,o2(x,x))) | true | 5735 | 5735 | -0.9256 | 0.05859 | 0.9494 | 0.08523 | 0.2919 | -1 | 0.5821 | 1.582 | 1 | 0.4798 | 0.01031 | 0 | 0.01628 | 1 | 1 | -9.461e-10 | 0.0186 | 0.02606 | 0.01004 | 0.1002 | 6.155 | 1 | 0.1209 | 0.2183 | 1 | 1 | 0.015 | 0.06339 | 0.1223 | 0.176 | 0.7437 | 1.435 | json |
| t12_x3_u2_b16 | 12 | 3 | 2 | 16 | ![]() |
frc(sub(P,mod(D,P))) | 21987 | 97568833 | o1(o2(x,o2(x,x))) | true | 5743 | 5743 | 0.3125 | 0.875 | 0.5625 | 0.3185 | 0.5644 | -1 | 0.9688 | 1.969 | 1 | 4.044 | 0.06466 | 0 | 0.1079 | 1 | 1 | 0 | 0.1349 | 0.119 | 0.053 | 0.2302 | 2.134 | 1.969 | 0.203 | 0.4236 | 1 | 1 | 0.06568 | 0.1969 | 0.3929 | 0.2062 | 0.6182 | 1.233 | json |
| t12_x3_u2_b17 | 12 | 3 | 2 | 17 | ![]() |
frc(sub(P,lrg(D,P))) | 21988 | 97568834 | o1(o2(x,o2(x,x))) | true | 5751 | 5751 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u2_b18 | 12 | 3 | 2 | 18 | ![]() |
frc(sub(P,eql(D,P))) | 21989 | 97568835 | o1(o2(x,o2(x,x))) | true | 5759 | 5759 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x3_u2_b19 | 12 | 3 | 2 | 19 | ![]() |
frc(sub(P,min(D,P))) | 21990 | 97568836 | o1(o2(x,o2(x,x))) | true | 5767 | 5767 | 0.2366 | 0.5625 | 0.2366 | 0.09342 | 0.3057 | 0 | 0.9688 | 0.9688 | 1 | 2.908 | 0.02621 | 0 | 0.05604 | 1 | 1 | -0.000248 | 0.05558 | 0.05705 | 0.02306 | 0.1519 | 2.71 | 0.9375 | 0.2805 | 0.5949 | 1 | 1 | 0.02549 | 0.06133 | 0.02302 | 0.2728 | 0.6565 | 0.2464 | json |
| t12_x3_u2_b20 | 12 | 3 | 2 | 20 | ![]() |
frc(sub(P,dot(D,P))) | 21991 | 97568837 | o1(o2(x,o2(x,x))) | true | 5775 | 5775 | 0.4833 | 1 | 0.4833 | 0.0426 | 0.2064 | 0.0005638 | 0.9687 | 0.9682 | 1 | 3.726 | 0.08242 | 0.08242 | 0.3474 | -0.000004701 | 1 | 0.0004762 | 0.8176 | 0.6962 | 0.04413 | 0.2101 | 0.6046 | 1.325 | 3.869 | 19.19 | 1 | 1 | 0.09109 | 0.06793 | 0.09156 | 2.138 | 1.594 | 2.149 | json |
| t12_x3_u2_b21 | 12 | 3 | 2 | 21 | ![]() |
frc(sub(P,dst(D,P))) | 21992 | 97568838 | o1(o2(x,o2(x,x))) | true | 5783 | 5783 | 0.5016 | 1 | 0.5016 | 0.0516 | 0.2272 | 0.004559 | 0.9934 | 0.9889 | 1 | 3.853 | 0.02437 | 0.02437 | 0.1234 | 0.000006268 | 1 | 0.0004041 | 0.1631 | 0.1603 | 0.0335 | 0.183 | 1.483 | 1.354 | 0.9445 | 3.162 | 1 | 1 | 0.0468 | 0.1157 | 0.08139 | 0.907 | 2.243 | 1.577 | json |
| t12_x3_u2_b22 | 12 | 3 | 2 | 22 | ![]() |
frc(mlt(P,add(D,P))) | 21993 | 97568839 | o1(o2(x,o2(x,x))) | true | 5791 | 5791 | 0.4696 | 0.9922 | 0.4696 | 0.06611 | 0.2571 | 0.000009095 | 0.9685 | 0.9685 | 1 | 3.922 | 0.1188 | 0 | 0.2751 | 1 | 1 | -0.004 | 0.3543 | 0.4292 | 0.04315 | 0.2077 | 0.755 | 0.9372 | 1.797 | 5.359 | 1 | 1 | 0.06488 | 0.05327 | 0.06904 | 0.9813 | 0.8057 | 1.044 | json |
| t12_x3_u2_b23 | 12 | 3 | 2 | 23 | ![]() |
frc(mlt(P,sub(D,P))) | 21994 | 97568840 | o1(o2(x,o2(x,x))) | true | 5799 | 5799 | 0.4696 | 0.9922 | 0.4696 | 0.06611 | 0.2571 | 0.000009095 | 0.9685 | 0.9685 | 1 | 3.922 | 0.1188 | 0 | 0.2751 | 1 | 1 | -0.004 | 0.3543 | 0.4292 | 0.04315 | 0.2077 | 0.755 | 0.9372 | 1.797 | 5.359 | 1 | 1 | 0.06488 | 0.05327 | 0.06904 | 0.9813 | 0.8057 | 1.044 | json |
| t12_x3_u2_b24 | 12 | 3 | 2 | 24 | ![]() |
frc(mlt(P,mlt(D,P))) | 21995 | 97568841 | o1(o2(x,o2(x,x))) | true | 5807 | 5807 | 0.4375 | 0.9961 | 0.4375 | 0.07051 | 0.2655 | 0.000009095 | 0.9687 | 0.9687 | 1 | 3.883 | 0.1029 | 0 | 0.2366 | 1 | 1 | -0.00008984 | 0.3099 | 0.3731 | 0.04697 | 0.2167 | 0.9161 | 0.9375 | 1.46 | 4.395 | 1 | 1 | 0.04991 | 0.05345 | 0.0704 | 0.7078 | 0.758 | 0.9985 | json |
| t12_x3_u2_b25 | 12 | 3 | 2 | 25 | ![]() |
frc(mlt(P,div(D,P))) | 21996 | 97568842 | o1(o2(x,o2(x,x))) | true | 5815 | 5815 | 0.3125 | 0.875 | 0.5625 | 0.3186 | 0.5644 | -1 | 0.9688 | 1.969 | 1 | 4.044 | 0.06466 | 0 | 0.1079 | 1 | 1 | 3.783e-9 | 0.1349 | 0.119 | 0.053 | 0.2302 | 2.134 | 1.969 | 0.203 | 0.4235 | 1 | 1 | 0.06568 | 0.1969 | 0.3929 | 0.2061 | 0.6181 | 1.233 | json |
| t12_x3_u2_b26 | 12 | 3 | 2 | 26 | ![]() |
frc(mlt(P,pow(D,P))) | 21997 | 97568843 | o1(o2(x,o2(x,x))) | true | 5823 | 5823 | -0.9256 | 0.05859 | 0.9494 | 0.08523 | 0.2919 | -1 | 0.5821 | 1.582 | 1 | 0.4798 | 0.01031 | 0 | 0.01628 | 1 | 1 | -9.461e-10 | 0.0186 | 0.02606 | 0.01004 | 0.1002 | 6.155 | 1 | 0.1209 | 0.2183 | 1 | 1 | 0.015 | 0.06339 | 0.1223 | 0.176 | 0.7437 | 1.435 | json |
| t12_x3_u2_b27 | 12 | 3 | 2 | 27 | ![]() |
frc(mlt(P,mod(D,P))) | 21998 | 97568844 | o1(o2(x,o2(x,x))) | true | 5831 | 5831 | 0.3001 | 0.875 | 0.55 | 0.2912 | 0.5397 | -1 | 0.9375 | 1.938 | 1 | 3.894 | 0.1196 | 0 | 0.2682 | 1 | 1 | -0.004 | 0.3542 | 0.428 | 0.04772 | 0.2184 | 0.8146 | 1.031 | 0.4108 | 1.216 | 1 | 1 | 0.06706 | 0.1059 | 0.4042 | 0.2303 | 0.3635 | 1.388 | json |
| t12_x3_u2_b28 | 12 | 3 | 2 | 28 | ![]() |
frc(mlt(P,lrg(D,P))) | 21999 | 97568845 | o1(o2(x,o2(x,x))) | true | 5839 | 5839 | 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 |



































































































