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_x0_u0_b112 | 12 | 0 | 0 | 112 | ![]() |
sqt(dst(P,mlt(P,P))) | 19300 | 97447324 | o1(o2(x,o2(x,x))) | true | 154407 | 154407 | 0.9873 | 0.9961 | 0.9873 | 0.01056 | 0.1028 | 0 | 1 | 1 | 1 | 0.1741 | 0.0001126 | 0.0001126 | 0.001684 | -9.049e-7 | 1 | -1.276e-10 | 0.00004104 | 0.0006279 | 0.0002223 | 0.01491 | 8.854 | 0.1688 | 0.02131 | 0.003886 | 1 | 1 | 0 | 0 | 0.0007605 | 0 | 0 | 0.07199 | json |
| t12_x0_u0_b113 | 12 | 0 | 0 | 113 | ![]() |
sqt(dst(P,div(P,P))) | 19301 | 97447325 | o1(o2(x,o2(x,x))) | true | 154415 | 154415 | -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_x0_u0_b114 | 12 | 0 | 0 | 114 | ![]() |
sqt(dst(P,pow(P,P))) | 19302 | 97447326 | o1(o2(x,o2(x,x))) | true | 154423 | 154423 | -0.5 | 0.25 | 1 | 0.75 | 0.866 | -1 | 1 | 2 | 1 | 0.8113 | 0.007937 | 0.007937 | 0.007937 | 0 | 1 | 0 | 0.03187 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.02116 | 0.0425 | 1 | 1 | 0 | 0 | 0.02105 | 0 | 0 | 0.02807 | json |
| t12_x0_u0_b115 | 12 | 0 | 0 | 115 | ![]() |
sqt(dst(P,mod(P,P))) | 19303 | 97447327 | o1(o2(x,o2(x,x))) | true | 154431 | 154431 | -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_x0_u0_b116 | 12 | 0 | 0 | 116 | ![]() |
sqt(dst(P,lrg(P,P))) | 19304 | 97447328 | o1(o2(x,o2(x,x))) | true | 154439 | 154439 | 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 | 0 | 0.00026 | 0 | 0 | 0.1114 | json |
| t12_x0_u0_b117 | 12 | 0 | 0 | 117 | ![]() |
sqt(dst(P,eql(P,P))) | 19305 | 97447329 | o1(o2(x,o2(x,x))) | true | 154447 | 154447 | 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_x0_u0_b118 | 12 | 0 | 0 | 118 | ![]() |
sqt(dst(P,min(P,P))) | 19306 | 97447330 | o1(o2(x,o2(x,x))) | true | 154455 | 154455 | 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_x0_u0_b119 | 12 | 0 | 0 | 119 | ![]() |
sqt(dst(P,dot(P,P))) | 19307 | 97447331 | o1(o2(x,o2(x,x))) | true | 154463 | 154463 | 0.9975 | 1 | 0.9975 | 0.001697 | 0.04119 | 0.0006922 | 1 | 0.9993 | 1 | 0.0621 | 0.00004662 | 0.00004662 | 0.0006893 | 0 | 0 | 5.256e-11 | 0.00002211 | 0.0002947 | 0.00009276 | 0.009631 | 13.97 | 0.183 | 0.05495 | 0.01303 | 1 | 1 | 0 | 0 | 0.0003138 | 0 | 0 | 0.1849 | json |
| t12_x0_u0_b120 | 12 | 0 | 0 | 120 | ![]() |
sqt(dst(P,dst(P,P))) | 19308 | 97447332 | o1(o2(x,o2(x,x))) | true | 154471 | 154471 | 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 | 0 | 0.00026 | 0 | 0 | 0.1114 | json |
| t12_x0_u1_b0 | 12 | 0 | 1 | 0 | ![]() |
log(add(P,add(P,P))) | 19309 | 97447413 | o1(o2(x,o2(x,x))) | true | 154479 | 154479 | -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 | 0 | 0.02105 | 0 | 0 | 0.02139 | json |
| t12_x0_u1_b1 | 12 | 0 | 1 | 1 | ![]() |
log(add(P,sub(P,P))) | 19310 | 97447414 | o1(o2(x,o2(x,x))) | true | 154487 | 154487 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0 | 0 | 0.005854 | 0 | 0 | 0.006466 | json |
| t12_x0_u1_b2 | 12 | 0 | 1 | 2 | ![]() |
log(add(P,mlt(P,P))) | 19311 | 97447415 | o1(o2(x,o2(x,x))) | true | 154495 | 154495 | 0.6147 | 0.8125 | 0.9897 | 0.6041 | 0.7772 | -1 | 1 | 2 | 1 | 0.9758 | 0.02293 | 0 | 0.01587 | 1 | 1 | -1.892e-9 | 0.04537 | 0.02827 | 0.02267 | 0.1506 | 9.485 | 1.693 | 0.03795 | 0.07511 | 1 | 1 | 0 | 0 | 0.03072 | 0 | 0 | 0.05085 | json |
| t12_x0_u1_b3 | 12 | 0 | 1 | 3 | ![]() |
log(add(P,div(P,P))) | 19312 | 97447416 | o1(o2(x,o2(x,x))) | true | 154503 | 154503 | -0.1331 | 0.4375 | 0.9919 | 0.968 | 0.9839 | -1 | 1 | 2 | 1 | 1.223 | 0.01142 | 0 | 0.007937 | 1 | 1 | 1.892e-9 | 0.02272 | 0.01379 | 0.01136 | 0.1066 | 13.43 | 1.693 | 0.0118 | 0.02347 | 1 | 1 | 0 | 0 | 0.01523 | 0 | 0 | 0.01574 | json |
| t12_x0_u1_b4 | 12 | 0 | 1 | 4 | ![]() |
log(add(P,pow(P,P))) | 19313 | 97447417 | o1(o2(x,o2(x,x))) | true | 154511 | 154511 | -0.04599 | 0.5 | 0.954 | 0.9381 | 0.9685 | -1 | 1 | 2 | 1 | 1.598 | 0.004222 | 0 | 0.007936 | 1 | 1 | -1.419e-9 | 0.007937 | 0.009292 | 0.004157 | 0.06448 | 8.124 | 1 | 0.0045 | 0.008461 | 1 | 1 | 0 | 0 | 0.005935 | 0 | 0 | 0.006327 | json |
| t12_x0_u1_b5 | 12 | 0 | 1 | 5 | ![]() |
log(add(P,mod(P,P))) | 19314 | 97447418 | o1(o2(x,o2(x,x))) | true | 154519 | 154519 | -0.171 | 0.4375 | 0.954 | 0.9111 | 0.9545 | -1 | 1 | 2 | 1 | 1.569 | 0.004222 | 0 | 0.007936 | 1 | 1 | -1.419e-9 | 0.007937 | 0.009292 | 0.004157 | 0.06448 | 8.124 | 1 | 0.004633 | 0.008711 | 1 | 1 | 0 | 0 | 0.005935 | 0 | 0 | 0.006514 | json |
| t12_x0_u1_b6 | 12 | 0 | 1 | 6 | ![]() |
log(add(P,lrg(P,P))) | 19315 | 97447419 | o1(o2(x,o2(x,x))) | true | 154527 | 154527 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0 | 0 | 0.005854 | 0 | 0 | 0.006466 | json |
| t12_x0_u1_b7 | 12 | 0 | 1 | 7 | ![]() |
log(add(P,eql(P,P))) | 19316 | 97447420 | o1(o2(x,o2(x,x))) | true | 154535 | 154535 | -0.0489 | 0.5 | 0.9511 | 0.9333 | 0.9661 | -1 | 1 | 2 | 1 | 1.686 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004485 | 0.008482 | 1 | 1 | 0 | 0 | 0.005854 | 0 | 0 | 0.006272 | json |
| t12_x0_u1_b8 | 12 | 0 | 1 | 8 | ![]() |
log(add(P,min(P,P))) | 19317 | 97447421 | o1(o2(x,o2(x,x))) | true | 154543 | 154543 | -0.1312 | 0.4375 | 0.9938 | 0.9718 | 0.9858 | -1 | 1 | 2 | 1 | 1.182 | 0.01145 | 0 | 0.007937 | 1 | 1 | 0 | 0.02272 | 0.01402 | 0.01139 | 0.1067 | 13.44 | 1.693 | 0.01178 | 0.02338 | 1 | 1 | 0 | 0 | 0.01531 | 0 | 0 | 0.01575 | json |
| t12_x0_u1_b9 | 12 | 0 | 1 | 9 | ![]() |
log(add(P,dot(P,P))) | 19318 | 97447422 | o1(o2(x,o2(x,x))) | true | 154551 | 154551 | 0.9467 | 0.9766 | 0.9935 | 0.09552 | 0.3091 | -1 | 1 | 2 | 1 | 0.3023 | 0.00359 | 0.003146 | 0.005278 | 0.06582 | 1 | 5.068e-10 | 0.01365 | 0.008382 | 0.00671 | 0.08191 | 15.52 | 2.828 | 0.07053 | 0.1429 | 1 | 1 | 0 | 0 | 0.01216 | 0 | 0 | 0.1273 | json |
| t12_x0_u1_b10 | 12 | 0 | 1 | 10 | ![]() |
log(add(P,dst(P,P))) | 19319 | 97447423 | o1(o2(x,o2(x,x))) | true | 154559 | 154559 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0 | 0 | 0.005854 | 0 | 0 | 0.006466 | json |
| t12_x0_u1_b11 | 12 | 0 | 1 | 11 | ![]() |
log(sub(P,add(P,P))) | 19320 | 97447424 | o1(o2(x,o2(x,x))) | true | 154567 | 154567 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.419e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0 | 0 | 0.005854 | 0 | 0 | 0.006466 | json |
| t12_x0_u1_b12 | 12 | 0 | 1 | 12 | ![]() |
log(sub(P,sub(P,P))) | 19321 | 97447425 | o1(o2(x,o2(x,x))) | true | 154575 | 154575 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0 | 0 | 0.005854 | 0 | 0 | 0.006466 | json |
| t12_x0_u1_b13 | 12 | 0 | 1 | 13 | ![]() |
log(sub(P,mlt(P,P))) | 19322 | 97447426 | o1(o2(x,o2(x,x))) | true | 154583 | 154583 | -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_x0_u1_b14 | 12 | 0 | 1 | 14 | ![]() |
log(sub(P,div(P,P))) | 19323 | 97447427 | o1(o2(x,o2(x,x))) | true | 154591 | 154591 | -0.2989 | 0.375 | 0.9511 | 0.8461 | 0.9199 | -1 | 1 | 2 | 1 | 1.595 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004947 | 0.009356 | 1 | 1 | 0 | 0 | 0.005854 | 0 | 0 | 0.006919 | json |
| t12_x0_u1_b15 | 12 | 0 | 1 | 15 | ![]() |
log(sub(P,pow(P,P))) | 19324 | 97447428 | o1(o2(x,o2(x,x))) | true | 154599 | 154599 | -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_x0_u1_b16 | 12 | 0 | 1 | 16 | ![]() |
log(sub(P,mod(P,P))) | 19325 | 97447429 | o1(o2(x,o2(x,x))) | true | 154607 | 154607 | -0.7909 | 0.125 | 0.9591 | 0.3238 | 0.569 | -1 | 1 | 2 | 1 | 0.8717 | 0.04726 | 0 | 0.02931 | 1 | 1 | 0 | 0.09421 | 0.05373 | 0.04643 | 0.2155 | 7.352 | 2 | 0.146 | 0.291 | 1 | 1 | 0 | 0 | 0.06288 | 0 | 0 | 0.1942 | json |
| t12_x0_u1_b17 | 12 | 0 | 1 | 17 | ![]() |
log(sub(P,lrg(P,P))) | 19326 | 97447430 | o1(o2(x,o2(x,x))) | true | 154615 | 154615 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0 | 0 | 0.005854 | 0 | 0 | 0.006466 | json |
| t12_x0_u1_b18 | 12 | 0 | 1 | 18 | ![]() |
log(sub(P,eql(P,P))) | 19327 | 97447431 | o1(o2(x,o2(x,x))) | true | 154623 | 154623 | -0.2989 | 0.375 | 0.9511 | 0.8461 | 0.9199 | -1 | 1 | 2 | 1 | 1.595 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004947 | 0.009356 | 1 | 1 | 0 | 0 | 0.005854 | 0 | 0 | 0.006919 | json |
| t12_x0_u1_b19 | 12 | 0 | 1 | 19 | ![]() |
log(sub(P,min(P,P))) | 19328 | 97447432 | o1(o2(x,o2(x,x))) | true | 154631 | 154631 | -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_x0_u1_b20 | 12 | 0 | 1 | 20 | ![]() |
log(sub(P,dot(P,P))) | 19329 | 97447433 | o1(o2(x,o2(x,x))) | true | 154639 | 154639 | -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_x0_u1_b21 | 12 | 0 | 1 | 21 | ![]() |
log(sub(P,dst(P,P))) | 19330 | 97447434 | o1(o2(x,o2(x,x))) | true | 154647 | 154647 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0 | 0 | 0.005854 | 0 | 0 | 0.006466 | json |
| t12_x0_u1_b22 | 12 | 0 | 1 | 22 | ![]() |
log(mlt(P,add(P,P))) | 19331 | 97447435 | o1(o2(x,o2(x,x))) | true | 154655 | 154655 | 0.7407 | 0.875 | 0.9907 | 0.4349 | 0.6595 | -1 | 1 | 2 | 1 | 0.8274 | 0.02297 | 0 | 0.01587 | 1 | 1 | 1.892e-9 | 0.0454 | 0.02854 | 0.02271 | 0.1507 | 9.495 | 1.694 | 0.05282 | 0.1044 | 1 | 1 | 0 | 0 | 0.03082 | 0 | 0 | 0.07088 | json |
| t12_x0_u1_b23 | 12 | 0 | 1 | 23 | ![]() |
log(mlt(P,sub(P,P))) | 19332 | 97447436 | o1(o2(x,o2(x,x))) | true | 154663 | 154663 | -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_x0_u1_b24 | 12 | 0 | 1 | 24 | ![]() |
log(mlt(P,mlt(P,P))) | 19333 | 97447437 | o1(o2(x,o2(x,x))) | true | 154671 | 154671 | -0.1461 | 0.4375 | 0.9789 | 0.954 | 0.9767 | -1 | 1 | 2 | 1 | 1.226 | 0.004645 | 0 | 0.007937 | 1 | 1 | -4.726e-10 | 0.007988 | 0.009698 | 0.004581 | 0.06768 | 8.528 | 1.001 | 0.00487 | 0.008374 | 1 | 1 | 0 | 0 | 0.007025 | 0 | 0 | 0.007364 | json |
| t12_x0_u1_b25 | 12 | 0 | 1 | 25 | ![]() |
log(mlt(P,div(P,P))) | 19334 | 97447438 | o1(o2(x,o2(x,x))) | true | 154679 | 154679 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | -1.419e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0 | 0 | 0.005854 | 0 | 0 | 0.006466 | json |
| t12_x0_u1_b26 | 12 | 0 | 1 | 26 | ![]() |
log(mlt(P,pow(P,P))) | 19335 | 97447439 | o1(o2(x,o2(x,x))) | true | 154687 | 154687 | -0.1461 | 0.4375 | 0.9789 | 0.954 | 0.9767 | -1 | 1 | 2 | 1 | 1.226 | 0.004645 | 0 | 0.007937 | 1 | 1 | -4.726e-10 | 0.007988 | 0.009698 | 0.004581 | 0.06768 | 8.528 | 1.001 | 0.00487 | 0.008374 | 1 | 1 | 0 | 0 | 0.007025 | 0 | 0 | 0.007364 | json |
| t12_x0_u1_b27 | 12 | 0 | 1 | 27 | ![]() |
log(mlt(P,mod(P,P))) | 19336 | 97447440 | o1(o2(x,o2(x,x))) | true | 154695 | 154695 | -0.75 | 0.125 | 1 | 0.4375 | 0.6614 | -1 | 1 | 2 | 1 | 0.5436 | 0.06349 | 0 | 0.03175 | 1 | 1 | 0 | 0.127 | 0.06349 | 0.06247 | 0.2499 | 7.873 | 2 | 0.1451 | 0.2902 | 1 | 1 | 0 | 0 | 0.01053 | 0 | 0 | 0.02406 | json |
| t12_x0_u1_b28 | 12 | 0 | 1 | 28 | ![]() |
log(mlt(P,lrg(P,P))) | 19337 | 97447441 | o1(o2(x,o2(x,x))) | true | 154703 | 154703 | -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_x0_u1_b29 | 12 | 0 | 1 | 29 | ![]() |
log(mlt(P,eql(P,P))) | 19338 | 97447442 | o1(o2(x,o2(x,x))) | true | 154711 | 154711 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0 | 0 | 0.005854 | 0 | 0 | 0.006466 | json |
| t12_x0_u1_b30 | 12 | 0 | 1 | 30 | ![]() |
log(mlt(P,min(P,P))) | 19339 | 97447443 | o1(o2(x,o2(x,x))) | true | 154719 | 154719 | 0.6987 | 0.875 | 0.9487 | 0.4505 | 0.6712 | -1 | 1 | 2 | 1 | 1.146 | 0.008959 | 0 | 0.01587 | 1 | 1 | -1.892e-9 | 0.01587 | 0.0183 | 0.008704 | 0.0933 | 5.878 | 1 | 0.01989 | 0.03522 | 1 | 1 | 0 | 0 | 0.01324 | 0 | 0 | 0.02939 | json |
| t12_x0_u1_b31 | 12 | 0 | 1 | 31 | ![]() |
log(mlt(P,dot(P,P))) | 19340 | 97447444 | o1(o2(x,o2(x,x))) | true | 154727 | 154727 | -0.1267 | 0.4375 | 0.9983 | 0.9812 | 0.9906 | -1 | 1 | 2 | 1 | 1.035 | 0.01469 | 0.000009854 | 0.008008 | 0.9987 | 1 | -5.632e-11 | 0.02928 | 0.01534 | 0.01463 | 0.121 | 15.11 | 2 | 0.01498 | 0.02984 | 1 | 1 | 0 | 0 | 0.0191 | 0 | 0 | 0.01947 | json |
| t12_x0_u1_b32 | 12 | 0 | 1 | 32 | ![]() |
log(mlt(P,dst(P,P))) | 19341 | 97447445 | o1(o2(x,o2(x,x))) | true | 154735 | 154735 | -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_x0_u1_b33 | 12 | 0 | 1 | 33 | ![]() |
log(div(P,add(P,P))) | 19342 | 97447446 | o1(o2(x,o2(x,x))) | true | 154743 | 154743 | -0.7311 | 0 | 0.7311 | 0.0103 | 0.1015 | -1 | -0.6931 | 0.3069 | 1 | 0.5436 | 0.0007473 | 0 | 0.002435 | 1 | 1 | 7.569e-9 | 0.001495 | 0.004871 | 0.0007418 | 0.02724 | 11.18 | 0.3069 | 0.07254 | 0.1451 | 1 | 1 | 0 | 0 | 0.0009911 | 0 | 0 | 0.09622 | json |
| t12_x0_u1_b34 | 12 | 0 | 1 | 34 | ![]() |
log(div(P,sub(P,P))) | 19343 | 97447447 | o1(o2(x,o2(x,x))) | true | 154751 | 154751 | -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_x0_u1_b35 | 12 | 0 | 1 | 35 | ![]() |
log(div(P,mlt(P,P))) | 19344 | 97447448 | o1(o2(x,o2(x,x))) | true | 154759 | 154759 | -0.9511 | 0 | 0.9511 | 0.03057 | 0.1749 | -1 | -0.0002017 | 0.9998 | 1 | 0.7914 | 0.004183 | 0 | 0.007935 | 1 | 1 | -1.42e-9 | 0.007985 | 0.008951 | 0.004119 | 0.06418 | 8.088 | 0.9998 | 0.1368 | 0.2612 | 1 | 1 | 0 | 0 | 0.0058 | 0 | 0 | 0.1897 | json |
| t12_x0_u1_b36 | 12 | 0 | 1 | 36 | ![]() |
log(div(P,div(P,P))) | 19345 | 97447449 | o1(o2(x,o2(x,x))) | true | 154767 | 154767 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | -4.726e-10 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0 | 0 | 0.005854 | 0 | 0 | 0.006466 | json |
| t12_x0_u1_b37 | 12 | 0 | 1 | 37 | ![]() |
log(div(P,pow(P,P))) | 19346 | 97447450 | o1(o2(x,o2(x,x))) | true | 154775 | 154775 | -0.9546 | 0 | 0.9546 | 0.03006 | 0.1734 | -1 | -0.0002017 | 0.9998 | 1 | 0.6852 | 0.004235 | 0 | 0.007935 | 1 | 1 | 2.365e-9 | 0.008028 | 0.009359 | 0.004171 | 0.06458 | 8.139 | 0.9998 | 0.1409 | 0.2671 | 1 | 1 | 0 | 0 | 0.00591 | 0 | 0 | 0.1966 | json |
| t12_x0_u1_b38 | 12 | 0 | 1 | 38 | ![]() |
log(div(P,mod(P,P))) | 19347 | 97447451 | o1(o2(x,o2(x,x))) | true | 154783 | 154783 | -0.625 | 0.125 | 0.875 | 0.4844 | 0.696 | -1 | 1 | 2 | 1 | 1.061 | 0.04762 | 0 | 0.03175 | 1 | 1 | -9.461e-10 | 0.09524 | 0.06349 | 0.0466 | 0.2159 | 6.8 | 2 | 0.09831 | 0.1966 | 1 | 1 | 0 | 0 | 0.04474 | 0 | 0 | 0.09236 | json |
| t12_x0_u1_b39 | 12 | 0 | 1 | 39 | ![]() |
log(div(P,lrg(P,P))) | 19348 | 97447452 | o1(o2(x,o2(x,x))) | true | 154791 | 154791 | -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_x0_u1_b40 | 12 | 0 | 1 | 40 | ![]() |
log(div(P,eql(P,P))) | 19349 | 97447453 | o1(o2(x,o2(x,x))) | true | 154799 | 154799 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0 | 0 | 0.005854 | 0 | 0 | 0.006466 | json |
| t12_x0_u1_b41 | 12 | 0 | 1 | 41 | ![]() |
log(div(P,min(P,P))) | 19350 | 97447454 | o1(o2(x,o2(x,x))) | true | 154807 | 154807 | -0.125 | 0 | 0.125 | 0.1094 | 0.3307 | -1 | 0 | 1 | 1 | 1.406 | 0.007937 | 0 | 0.007937 | 1 | 1 | 2.125e-14 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.07256 | 0.1451 | 1 | 1 | 0 | 0 | 0.01053 | 0 | 0 | 0.09624 | json |
| t12_x0_u1_b42 | 12 | 0 | 1 | 42 | ![]() |
log(div(P,dot(P,P))) | 19351 | 97447455 | o1(o2(x,o2(x,x))) | true | 154815 | 154815 | -0.9957 | 0 | 0.9957 | 0.002083 | 0.04564 | -1 | -0.0004034 | 0.9996 | 1 | 0.1495 | 0.0002755 | 0.00001719 | 0.0009895 | 0.8825 | 1 | 1.126e-11 | 0.0005326 | 0.0009409 | 0.0002922 | 0.01709 | 17.27 | 0.9996 | 0.1405 | 0.2557 | 1 | 1 | 0 | 0 | 0.0005653 | 0 | 0 | 0.2714 | json |
| t12_x0_u1_b43 | 12 | 0 | 1 | 43 | ![]() |
log(div(P,dst(P,P))) | 19352 | 97447456 | o1(o2(x,o2(x,x))) | true | 154823 | 154823 | -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_x0_u1_b44 | 12 | 0 | 1 | 44 | ![]() |
log(pow(P,add(P,P))) | 19353 | 97447457 | o1(o2(x,o2(x,x))) | true | 154831 | 154831 | -0.1436 | 0.4375 | 0.9814 | 0.9579 | 0.9787 | -1 | 1 | 2 | 1 | 1.205 | 0.004763 | 0 | 0.007937 | 1 | 1 | 1.891e-9 | 0.00804 | 0.01005 | 0.004699 | 0.06855 | 8.637 | 1.001 | 0.004973 | 0.008394 | 1 | 1 | 0 | 0 | 0.007304 | 0 | 0 | 0.007625 | json |
| t12_x0_u1_b45 | 12 | 0 | 1 | 45 | ![]() |
log(pow(P,sub(P,P))) | 19354 | 97447458 | o1(o2(x,o2(x,x))) | true | 154839 | 154839 | 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_x0_u1_b46 | 12 | 0 | 1 | 46 | ![]() |
log(pow(P,mlt(P,P))) | 19355 | 97447459 | o1(o2(x,o2(x,x))) | true | 154847 | 154847 | -0.1436 | 0.4375 | 0.9814 | 0.9579 | 0.9787 | -1 | 1 | 2 | 1 | 1.205 | 0.004763 | 0 | 0.007937 | 1 | 1 | 1.891e-9 | 0.00804 | 0.01005 | 0.004699 | 0.06855 | 8.637 | 1.001 | 0.004973 | 0.008394 | 1 | 1 | 0 | 0 | 0.007304 | 0 | 0 | 0.007625 | json |
| t12_x0_u1_b47 | 12 | 0 | 1 | 47 | ![]() |
log(pow(P,div(P,P))) | 19356 | 97447460 | o1(o2(x,o2(x,x))) | true | 154855 | 154855 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | -1.419e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0 | 0 | 0.005854 | 0 | 0 | 0.006466 | json |
| t12_x0_u1_b48 | 12 | 0 | 1 | 48 | ![]() |
log(pow(P,pow(P,P))) | 19357 | 97447461 | o1(o2(x,o2(x,x))) | true | 154863 | 154863 | -0.1436 | 0.4375 | 0.9814 | 0.9579 | 0.9787 | -1 | 1 | 2 | 1 | 1.205 | 0.004763 | 0 | 0.007937 | 1 | 1 | 1.891e-9 | 0.00804 | 0.01005 | 0.004699 | 0.06855 | 8.637 | 1.001 | 0.004973 | 0.008394 | 1 | 1 | 0 | 0 | 0.007304 | 0 | 0 | 0.007625 | json |
| t12_x0_u1_b49 | 12 | 0 | 1 | 49 | ![]() |
log(pow(P,mod(P,P))) | 19358 | 97447462 | o1(o2(x,o2(x,x))) | true | 154871 | 154871 | -0.3054 | 0.3125 | 0.8196 | 0.7177 | 0.8472 | -1 | 1 | 2 | 1 | 1.72 | 0.008799 | 0 | 0.01946 | 1 | 1 | -0.001224 | 0.0111 | 0.01966 | 0.008416 | 0.09174 | 4.715 | 1 | 0.01226 | 0.01546 | 1 | 1 | 0 | 0 | 0.01241 | 0 | 0 | 0.01729 | json |
| t12_x0_u1_b50 | 12 | 0 | 1 | 50 | ![]() |
log(pow(P,lrg(P,P))) | 19359 | 97447463 | o1(o2(x,o2(x,x))) | true | 154879 | 154879 | -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 | 0 | 0.005263 | 0 | 0 | 0.02139 | json |
| t12_x0_u1_b51 | 12 | 0 | 1 | 51 | ![]() |
log(pow(P,eql(P,P))) | 19360 | 97447464 | o1(o2(x,o2(x,x))) | true | 154887 | 154887 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0 | 0 | 0.005854 | 0 | 0 | 0.006466 | json |
| t12_x0_u1_b52 | 12 | 0 | 1 | 52 | ![]() |
log(pow(P,min(P,P))) | 19361 | 97447465 | o1(o2(x,o2(x,x))) | true | 154895 | 154895 | -0.1507 | 0.4375 | 0.9743 | 0.9471 | 0.9732 | -1 | 1 | 2 | 1 | 1.29 | 0.004479 | 0 | 0.007936 | 1 | 1 | -9.461e-10 | 0.007933 | 0.00915 | 0.004415 | 0.06645 | 8.372 | 1 | 0.004729 | 0.008376 | 1 | 1 | 0 | 0 | 0.006621 | 0 | 0 | 0.006991 | json |
| t12_x0_u1_b53 | 12 | 0 | 1 | 53 | ![]() |
log(pow(P,dot(P,P))) | 19362 | 97447466 | o1(o2(x,o2(x,x))) | true | 154903 | 154903 | -0.136 | 0.4375 | 0.989 | 0.9684 | 0.984 | -1 | 1 | 2 | 1 | 1.13 | 0.005533 | 0.000002049 | 0.007946 | 0.9993 | 1 | 5.501e-8 | 0.008464 | 0.01098 | 0.00547 | 0.07396 | 9.308 | 1.014 | 0.005716 | 0.00874 | 1 | 1 | 0 | 0 | 0.008539 | 0 | 0 | 0.008818 | json |
| t12_x0_u1_b54 | 12 | 0 | 1 | 54 | ![]() |
log(pow(P,dst(P,P))) | 19363 | 97447467 | o1(o2(x,o2(x,x))) | true | 154911 | 154911 | 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_x0_u1_b55 | 12 | 0 | 1 | 55 | ![]() |
log(mod(P,add(P,P))) | 19364 | 97447468 | o1(o2(x,o2(x,x))) | true | 154919 | 154919 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0 | 0 | 0.005854 | 0 | 0 | 0.006466 | json |
| t12_x0_u1_b56 | 12 | 0 | 1 | 56 | ![]() |
log(mod(P,sub(P,P))) | 19365 | 97447469 | o1(o2(x,o2(x,x))) | true | 154927 | 154927 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0 | 0 | 0.005854 | 0 | 0 | 0.006466 | json |
| t12_x0_u1_b57 | 12 | 0 | 1 | 57 | ![]() |
log(mod(P,mlt(P,P))) | 19366 | 97447470 | o1(o2(x,o2(x,x))) | true | 154935 | 154935 | -0.2581 | 0.375 | 0.9919 | 0.9193 | 0.9588 | -1 | 1 | 2 | 1 | 1.181 | 0.01142 | 0 | 0.007937 | 1 | 1 | 1.892e-9 | 0.02272 | 0.01379 | 0.01136 | 0.1066 | 13.43 | 1.693 | 0.01243 | 0.02472 | 1 | 1 | 0 | 0 | 0.01523 | 0 | 0 | 0.01657 | json |
| t12_x0_u1_b58 | 12 | 0 | 1 | 58 | ![]() |
log(mod(P,div(P,P))) | 19367 | 97447471 | o1(o2(x,o2(x,x))) | true | 154943 | 154943 | -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_x0_u1_b59 | 12 | 0 | 1 | 59 | ![]() |
log(mod(P,pow(P,P))) | 19368 | 97447472 | o1(o2(x,o2(x,x))) | true | 154951 | 154951 | -0.2581 | 0.375 | 0.9919 | 0.9193 | 0.9588 | -1 | 1 | 2 | 1 | 1.181 | 0.01142 | 0 | 0.007937 | 1 | 1 | 1.892e-9 | 0.02272 | 0.01379 | 0.01136 | 0.1066 | 13.43 | 1.693 | 0.01243 | 0.02472 | 1 | 1 | 0 | 0 | 0.01523 | 0 | 0 | 0.01657 | json |
| t12_x0_u1_b60 | 12 | 0 | 1 | 60 | ![]() |
log(mod(P,mod(P,P))) | 19369 | 97447473 | o1(o2(x,o2(x,x))) | true | 154959 | 154959 | -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 | 0 | 0.01053 | 0 | 0 | 0.04491 | json |
| t12_x0_u1_b61 | 12 | 0 | 1 | 61 | ![]() |
log(mod(P,lrg(P,P))) | 19370 | 97447474 | o1(o2(x,o2(x,x))) | true | 154967 | 154967 | -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_x0_u1_b62 | 12 | 0 | 1 | 62 | ![]() |
log(mod(P,eql(P,P))) | 19371 | 97447475 | o1(o2(x,o2(x,x))) | true | 154975 | 154975 | -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_x0_u1_b63 | 12 | 0 | 1 | 63 | ![]() |
log(mod(P,min(P,P))) | 19372 | 97447476 | o1(o2(x,o2(x,x))) | true | 154983 | 154983 | -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 | 0 | 0.01053 | 0 | 0 | 0.04491 | json |
| t12_x0_u1_b64 | 12 | 0 | 1 | 64 | ![]() |
log(mod(P,dot(P,P))) | 19373 | 97447477 | o1(o2(x,o2(x,x))) | true | 154991 | 154991 | -0.1844 | 0.4297 | 0.9562 | 0.9072 | 0.9525 | -1 | 1 | 2 | 1 | 1.605 | 0.005105 | 0.000948 | 0.008589 | 0.6868 | 1 | 1.504e-9 | 0.01194 | 0.01089 | 0.005975 | 0.0773 | 9 | 2.394 | 0.006672 | 0.01316 | 1 | 1 | 0 | 0 | 0.009102 | 0 | 0 | 0.01003 | json |
| t12_x0_u1_b65 | 12 | 0 | 1 | 65 | ![]() |
log(mod(P,dst(P,P))) | 19374 | 97447478 | o1(o2(x,o2(x,x))) | true | 154999 | 154999 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0 | 0 | 0.005854 | 0 | 0 | 0.006466 | json |
| t12_x0_u1_b66 | 12 | 0 | 1 | 66 | ![]() |
log(lrg(P,add(P,P))) | 19375 | 97447479 | o1(o2(x,o2(x,x))) | true | 155007 | 155007 | -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 | 0 | 0.005263 | 0 | 0 | 0.02139 | json |
| t12_x0_u1_b67 | 12 | 0 | 1 | 67 | ![]() |
log(lrg(P,sub(P,P))) | 19376 | 97447480 | o1(o2(x,o2(x,x))) | true | 155015 | 155015 | -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 | 0 | 0.005263 | 0 | 0 | 0.02139 | json |
| t12_x0_u1_b68 | 12 | 0 | 1 | 68 | ![]() |
log(lrg(P,mlt(P,P))) | 19377 | 97447481 | o1(o2(x,o2(x,x))) | true | 155023 | 155023 | -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_x0_u1_b69 | 12 | 0 | 1 | 69 | ![]() |
log(lrg(P,div(P,P))) | 19378 | 97447482 | o1(o2(x,o2(x,x))) | true | 155031 | 155031 | -0.625 | 0 | 0.625 | 0.2344 | 0.4841 | -1 | 0 | 1 | 1 | 0.9544 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01693 | 0.03386 | 1 | 1 | 0 | 0 | 0.005263 | 0 | 0 | 0.02246 | json |
| t12_x0_u1_b70 | 12 | 0 | 1 | 70 | ![]() |
log(lrg(P,pow(P,P))) | 19379 | 97447483 | o1(o2(x,o2(x,x))) | true | 155039 | 155039 | -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 | 0 | 0.005263 | 0 | 0 | 0.02139 | json |
| t12_x0_u1_b71 | 12 | 0 | 1 | 71 | ![]() |
log(lrg(P,mod(P,P))) | 19380 | 97447484 | o1(o2(x,o2(x,x))) | true | 155047 | 155047 | -0.8125 | 0 | 0.8125 | 0.1523 | 0.3903 | -1 | 0 | 1 | 1 | 0.6962 | 0.01587 | 0 | 0.01587 | 1 | 1 | 0 | 0.03175 | 0.03175 | 0.01562 | 0.125 | 7.873 | 1 | 0.1042 | 0.2084 | 1 | 1 | 0 | 0 | 0.02105 | 0 | 0 | 0.1382 | json |
| t12_x0_u1_b72 | 12 | 0 | 1 | 72 | ![]() |
log(lrg(P,lrg(P,P))) | 19381 | 97447485 | o1(o2(x,o2(x,x))) | true | 155055 | 155055 | -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 | 0 | 0.005263 | 0 | 0 | 0.02139 | json |
| t12_x0_u1_b73 | 12 | 0 | 1 | 73 | ![]() |
log(lrg(P,eql(P,P))) | 19382 | 97447486 | o1(o2(x,o2(x,x))) | true | 155063 | 155063 | -0.625 | 0 | 0.625 | 0.2344 | 0.4841 | -1 | 0 | 1 | 1 | 0.9544 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01693 | 0.03386 | 1 | 1 | 0 | 0 | 0.005263 | 0 | 0 | 0.02246 | json |
| t12_x0_u1_b74 | 12 | 0 | 1 | 74 | ![]() |
log(lrg(P,min(P,P))) | 19383 | 97447487 | o1(o2(x,o2(x,x))) | true | 155071 | 155071 | -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_x0_u1_b75 | 12 | 0 | 1 | 75 | ![]() |
log(lrg(P,dot(P,P))) | 19384 | 97447488 | o1(o2(x,o2(x,x))) | true | 155079 | 155079 | -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_x0_u1_b76 | 12 | 0 | 1 | 76 | ![]() |
log(lrg(P,dst(P,P))) | 19385 | 97447489 | o1(o2(x,o2(x,x))) | true | 155087 | 155087 | -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 | 0 | 0.005263 | 0 | 0 | 0.02139 | json |
| t12_x0_u1_b77 | 12 | 0 | 1 | 77 | ![]() |
log(eql(P,add(P,P))) | 19386 | 97447490 | o1(o2(x,o2(x,x))) | true | 155095 | 155095 | -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_x0_u1_b78 | 12 | 0 | 1 | 78 | ![]() |
log(eql(P,sub(P,P))) | 19387 | 97447491 | o1(o2(x,o2(x,x))) | true | 155103 | 155103 | -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_x0_u1_b79 | 12 | 0 | 1 | 79 | ![]() |
log(eql(P,mlt(P,P))) | 19388 | 97447492 | o1(o2(x,o2(x,x))) | true | 155111 | 155111 | -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 | 0 | 0.01053 | 0 | 0 | 0.1796 | json |
| t12_x0_u1_b80 | 12 | 0 | 1 | 80 | ![]() |
log(eql(P,div(P,P))) | 19389 | 97447493 | o1(o2(x,o2(x,x))) | true | 155119 | 155119 | -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_x0_u1_b81 | 12 | 0 | 1 | 81 | ![]() |
log(eql(P,pow(P,P))) | 19390 | 97447494 | o1(o2(x,o2(x,x))) | true | 155127 | 155127 | -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_x0_u1_b82 | 12 | 0 | 1 | 82 | ![]() |
log(eql(P,mod(P,P))) | 19391 | 97447495 | o1(o2(x,o2(x,x))) | true | 155135 | 155135 | -0.875 | 0 | 0.875 | 0.1094 | 0.3307 | -1 | 0 | 1 | 1 | 0.5436 | 0.01587 | 0 | 0.01587 | 1 | 1 | 0 | 0.03175 | 0.03175 | 0.01562 | 0.125 | 7.873 | 1 | 0.1451 | 0.2902 | 1 | 1 | 0 | 0 | 0.002632 | 0 | 0 | 0.02406 | json |
| t12_x0_u1_b83 | 12 | 0 | 1 | 83 | ![]() |
log(eql(P,lrg(P,P))) | 19392 | 97447496 | o1(o2(x,o2(x,x))) | true | 155143 | 155143 | -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_x0_u1_b84 | 12 | 0 | 1 | 84 | ![]() |
log(eql(P,eql(P,P))) | 19393 | 97447497 | o1(o2(x,o2(x,x))) | true | 155151 | 155151 | -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_x0_u1_b85 | 12 | 0 | 1 | 85 | ![]() |
log(eql(P,min(P,P))) | 19394 | 97447498 | o1(o2(x,o2(x,x))) | true | 155159 | 155159 | 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_x0_u1_b86 | 12 | 0 | 1 | 86 | ![]() |
log(eql(P,dot(P,P))) | 19395 | 97447499 | o1(o2(x,o2(x,x))) | true | 155167 | 155167 | -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_x0_u1_b87 | 12 | 0 | 1 | 87 | ![]() |
log(eql(P,dst(P,P))) | 19396 | 97447500 | o1(o2(x,o2(x,x))) | true | 155175 | 155175 | -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_x0_u1_b88 | 12 | 0 | 1 | 88 | ![]() |
log(min(P,add(P,P))) | 19397 | 97447501 | o1(o2(x,o2(x,x))) | true | 155183 | 155183 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0 | 0 | 0.005854 | 0 | 0 | 0.006466 | json |
| t12_x0_u1_b89 | 12 | 0 | 1 | 89 | ![]() |
log(min(P,sub(P,P))) | 19398 | 97447502 | o1(o2(x,o2(x,x))) | true | 155191 | 155191 | -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_x0_u1_b90 | 12 | 0 | 1 | 90 | ![]() |
log(min(P,mlt(P,P))) | 19399 | 97447503 | o1(o2(x,o2(x,x))) | true | 155199 | 155199 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0 | 0 | 0.005854 | 0 | 0 | 0.006466 | json |



































































































