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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t13_x0_u31_b2 | 13 | 0 | 31 | 2 | ![]() |
cil(mlt(flr(P),P)) | 42400 | 105574046 | o1(o2(o1(x),x)) | true | 19207 | 19207 | 0.9375 | 1 | 0.9375 | 0.04507 | 0.2123 | 0.000291 | 1 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t13_x0_u31_b3 | 13 | 0 | 31 | 3 | ![]() |
cil(div(flr(P),P)) | 42401 | 105574047 | o1(o2(o1(x),x)) | true | 19215 | 19215 | 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 |
| t13_x0_u31_b4 | 13 | 0 | 31 | 4 | ![]() |
cil(pow(flr(P),P)) | 42402 | 105574048 | o1(o2(o1(x),x)) | true | 19223 | 19223 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |
| t13_x0_u31_b5 | 13 | 0 | 31 | 5 | ![]() |
cil(mod(flr(P),P)) | 42403 | 105574049 | o1(o2(o1(x),x)) | true | 19231 | 19231 | -0.125 | 0.3125 | 0.6255 | 0.5899 | 0.768 | -1 | 1 | 2 | 1 | 2.418 | 0.01617 | 0 | 0.03866 | 1 | 1 | 0 | 0.02037 | 0.03799 | 0.01467 | 0.1211 | 3.133 | 1 | 0.02741 | 0.03454 | 1 | 1 | 0.02392 | 0.1466 | 0.4242 | 0.04055 | 0.2485 | 0.7191 | json |
| t13_x0_u31_b6 | 13 | 0 | 31 | 6 | ![]() |
cil(lrg(flr(P),P)) | 42404 | 105574050 | o1(o2(o1(x),x)) | true | 19239 | 19239 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t13_x0_u31_b7 | 13 | 0 | 31 | 7 | ![]() |
cil(eql(flr(P),P)) | 42405 | 105574051 | o1(o2(o1(x),x)) | true | 19247 | 19247 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t13_x0_u31_b8 | 13 | 0 | 31 | 8 | ![]() |
cil(min(flr(P),P)) | 42406 | 105574052 | o1(o2(o1(x),x)) | true | 19255 | 19255 | 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 |
| t13_x0_u31_b9 | 13 | 0 | 31 | 9 | ![]() |
cil(dot(flr(P),P)) | 42407 | 105574053 | o1(o2(o1(x),x)) | true | 19263 | 19263 | 0.9967 | 1 | 0.9967 | 0.002206 | 0.04697 | 0.0005821 | 1 | 0.9994 | 1 | 0.08493 | 0.00004482 | 0.00004482 | 0.0007972 | -5.682e-7 | 0 | -1.502e-11 | 0.00002627 | 0.0002729 | 0.00008892 | 0.00943 | 11.83 | 0.1653 | 0.04063 | 0.01191 | 1 | 1 | 0.0003021 | 0.00348 | 0.008043 | 0.1369 | 1.578 | 3.646 | json |
| t13_x0_u31_b10 | 13 | 0 | 31 | 10 | ![]() |
cil(dst(flr(P),P)) | 42408 | 105574054 | o1(o2(o1(x),x)) | true | 19271 | 19271 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t13_x0_u32_b0 | 13 | 0 | 32 | 0 | ![]() |
cil(add(cil(P),P)) | 42409 | 105574245 | o1(o2(o1(x),x)) | true | 19279 | 19279 | 0 | 0.5 | 0.9569 | 0.9494 | 0.9744 | -1 | 1 | 2 | 1 | 1.488 | 0.001303 | 0 | 0.007937 | 1 | 1 | 0 | 0.0002681 | 0.003586 | 0.001241 | 0.03522 | 4.438 | 0.2265 | 0.001373 | 0.0002824 | 1 | 1 | 0.003279 | 0.03268 | 0.2686 | 0.003454 | 0.03442 | 0.2829 | json |
| t13_x0_u32_b1 | 13 | 0 | 32 | 1 | ![]() |
cil(sub(cil(P),P)) | 42410 | 105574246 | o1(o2(o1(x),x)) | true | 19287 | 19287 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t13_x0_u32_b2 | 13 | 0 | 32 | 2 | ![]() |
cil(mlt(cil(P),P)) | 42411 | 105574247 | o1(o2(o1(x),x)) | true | 19295 | 19295 | 0.9375 | 1 | 0.9375 | 0.04507 | 0.2123 | 0.000291 | 1 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t13_x0_u32_b3 | 13 | 0 | 32 | 3 | ![]() |
cil(div(cil(P),P)) | 42412 | 105574248 | o1(o2(o1(x),x)) | true | 19303 | 19303 | 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 |
| t13_x0_u32_b4 | 13 | 0 | 32 | 4 | ![]() |
cil(pow(cil(P),P)) | 42413 | 105574249 | o1(o2(o1(x),x)) | true | 19311 | 19311 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |
| t13_x0_u32_b5 | 13 | 0 | 32 | 5 | ![]() |
cil(mod(cil(P),P)) | 42414 | 105574250 | o1(o2(o1(x),x)) | true | 19319 | 19319 | -0.125 | 0.3125 | 0.6255 | 0.5899 | 0.768 | -1 | 1 | 2 | 1 | 2.418 | 0.01617 | 0 | 0.03866 | 1 | 1 | 0 | 0.02037 | 0.03799 | 0.01467 | 0.1211 | 3.133 | 1 | 0.02741 | 0.03454 | 1 | 1 | 0.02392 | 0.1466 | 0.4242 | 0.04055 | 0.2485 | 0.7191 | json |
| t13_x0_u32_b6 | 13 | 0 | 32 | 6 | ![]() |
cil(lrg(cil(P),P)) | 42415 | 105574251 | o1(o2(o1(x),x)) | true | 19327 | 19327 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t13_x0_u32_b7 | 13 | 0 | 32 | 7 | ![]() |
cil(eql(cil(P),P)) | 42416 | 105574252 | o1(o2(o1(x),x)) | true | 19335 | 19335 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t13_x0_u32_b8 | 13 | 0 | 32 | 8 | ![]() |
cil(min(cil(P),P)) | 42417 | 105574253 | o1(o2(o1(x),x)) | true | 19343 | 19343 | 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 |
| t13_x0_u32_b9 | 13 | 0 | 32 | 9 | ![]() |
cil(dot(cil(P),P)) | 42418 | 105574254 | o1(o2(o1(x),x)) | true | 19351 | 19351 | 0.9967 | 1 | 0.9967 | 0.002206 | 0.04697 | 0.0005821 | 1 | 0.9994 | 1 | 0.08493 | 0.00004482 | 0.00004482 | 0.0007972 | -5.682e-7 | 0 | -1.502e-11 | 0.00002627 | 0.0002729 | 0.00008892 | 0.00943 | 11.83 | 0.1653 | 0.04063 | 0.01191 | 1 | 1 | 0.0003021 | 0.00348 | 0.008043 | 0.1369 | 1.578 | 3.646 | json |
| t13_x0_u32_b10 | 13 | 0 | 32 | 10 | ![]() |
cil(dst(cil(P),P)) | 42419 | 105574255 | o1(o2(o1(x),x)) | true | 19359 | 19359 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t13_x0_u33_b0 | 13 | 0 | 33 | 0 | ![]() |
cil(add(sgn(P),P)) | 42420 | 105574446 | o1(o2(o1(x),x)) | true | 19367 | 19367 | 0 | 0.5 | 0.9569 | 0.9494 | 0.9744 | -1 | 1 | 2 | 1 | 1.488 | 0.001303 | 0 | 0.007937 | 1 | 1 | 0 | 0.0002681 | 0.003586 | 0.001241 | 0.03522 | 4.438 | 0.2265 | 0.001373 | 0.0002824 | 1 | 1 | 0.003279 | 0.03268 | 0.2686 | 0.003454 | 0.03442 | 0.2829 | json |
| t13_x0_u33_b1 | 13 | 0 | 33 | 1 | ![]() |
cil(sub(sgn(P),P)) | 42421 | 105574447 | o1(o2(o1(x),x)) | true | 19375 | 19375 | 0 | 0.4375 | 0.8125 | 0.799 | 0.8939 | -1 | 1 | 2 | 1 | 2.153 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003238 | 0.001855 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0008834 | 0.00004053 | 1 | 1 | 0.001851 | 0.02429 | 0.1502 | 0.002317 | 0.0304 | 0.188 | json |
| t13_x0_u33_b2 | 13 | 0 | 33 | 2 | ![]() |
cil(mlt(sgn(P),P)) | 42422 | 105574448 | o1(o2(o1(x),x)) | true | 19383 | 19383 | 0.9375 | 1 | 0.9375 | 0.04507 | 0.2123 | 0.000291 | 1 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t13_x0_u33_b3 | 13 | 0 | 33 | 3 | ![]() |
cil(div(sgn(P),P)) | 42423 | 105574449 | o1(o2(o1(x),x)) | true | 19391 | 19391 | 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 |
| t13_x0_u33_b4 | 13 | 0 | 33 | 4 | ![]() |
cil(pow(sgn(P),P)) | 42424 | 105574450 | o1(o2(o1(x),x)) | true | 19399 | 19399 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |
| t13_x0_u33_b5 | 13 | 0 | 33 | 5 | ![]() |
cil(mod(sgn(P),P)) | 42425 | 105574451 | o1(o2(o1(x),x)) | true | 19407 | 19407 | -0.125 | 0.4375 | 0.9375 | 0.9084 | 0.9531 | -1 | 1 | 2 | 1 | 1.8 | 0.008642 | 0 | 0.01587 | 1 | 1 | -9.386e-13 | 0.01591 | 0.01767 | 0.008389 | 0.09159 | 5.771 | 1 | 0.009514 | 0.01751 | 1 | 1 | 0.01238 | 0.06639 | 0.3186 | 0.01363 | 0.07309 | 0.3508 | json |
| t13_x0_u33_b6 | 13 | 0 | 33 | 6 | ![]() |
cil(lrg(sgn(P),P)) | 42426 | 105574452 | o1(o2(o1(x),x)) | true | 19415 | 19415 | 0.4063 | 0.4375 | 0.4063 | 0.2344 | 0.4842 | 0 | 1 | 1 | 1 | 1.302 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001505 | 0.00006906 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.003947 | 0.0518 | 0.3203 | json |
| t13_x0_u33_b7 | 13 | 0 | 33 | 7 | ![]() |
cil(eql(sgn(P),P)) | 42427 | 105574453 | o1(o2(o1(x),x)) | true | 19423 | 19423 | 0.1875 | 0.25 | 0.1875 | 0.1388 | 0.3726 | 0 | 1 | 1 | 1 | 1.242 | 0.0007059 | 0 | 0.007937 | 1 | 1 | -9.461e-10 | 0.00003238 | 0.001855 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.005085 | 0.0002333 | 1 | 1 | 0.001851 | 0.02429 | 0.1502 | 0.01333 | 0.1749 | 1.082 | json |
| t13_x0_u33_b8 | 13 | 0 | 33 | 8 | ![]() |
cil(min(sgn(P),P)) | 42428 | 105574454 | o1(o2(o1(x),x)) | true | 19431 | 19431 | 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 |
| t13_x0_u33_b9 | 13 | 0 | 33 | 9 | ![]() |
cil(dot(sgn(P),P)) | 42429 | 105574455 | o1(o2(o1(x),x)) | true | 19439 | 19439 | 0.9967 | 1 | 0.9967 | 0.002206 | 0.04697 | 0.0005821 | 1 | 0.9994 | 1 | 0.08493 | 0.00004482 | 0.00004482 | 0.0007972 | -5.682e-7 | 0 | -1.502e-11 | 0.00002627 | 0.0002729 | 0.00008892 | 0.00943 | 11.83 | 0.1653 | 0.04063 | 0.01191 | 1 | 1 | 0.0003021 | 0.00348 | 0.008043 | 0.1369 | 1.578 | 3.646 | json |
| t13_x0_u33_b10 | 13 | 0 | 33 | 10 | ![]() |
cil(dst(sgn(P),P)) | 42430 | 105574456 | o1(o2(o1(x),x)) | true | 19447 | 19447 | 0.9654 | 0.9844 | 0.9654 | 0.0289 | 0.17 | 0 | 1 | 1 | 1 | 0.4157 | 0.0001344 | 0.0001344 | 0.002813 | 9.2e-7 | 1 | -3.867e-10 | 0.00003449 | 0.000744 | 0.0002609 | 0.01615 | 5.742 | 0.1653 | 0.009305 | 0.001193 | 1 | 1 | 0.0009256 | 0.01171 | 0.07077 | 0.03203 | 0.4053 | 2.449 | json |
| t13_x0_u34_b0 | 13 | 0 | 34 | 0 | ![]() |
cil(add(nrm(P),P)) | 42431 | 105574647 | o1(o2(o1(x),x)) | true | 19455 | 19455 | -0.007114 | 0.4922 | 0.9538 | 0.9445 | 0.9718 | -1 | 1 | 2 | 1 | 1.584 | 0.002893 | 0.001662 | 0.008977 | 0.2702 | 1 | -3.248e-10 | 0.007754 | 0.006541 | 0.004478 | 0.06692 | 7.454 | 2.828 | 0.004822 | 0.008209 | 1 | 1 | 0.008602 | 0.04956 | 0.3126 | 0.009108 | 0.05247 | 0.331 | json |
| t13_x0_u34_b1 | 13 | 0 | 34 | 1 | ![]() |
cil(sub(nrm(P),P)) | 42432 | 105574648 | o1(o2(o1(x),x)) | true | 19463 | 19463 | 0.0413 | 0.4922 | 0.885 | 0.8701 | 0.9328 | -1 | 1 | 2 | 1 | 1.998 | 0.002393 | 0.001732 | 0.0103 | 0.1603 | 1 | 9.386e-13 | 0.007204 | 0.006895 | 0.004019 | 0.06339 | 6.154 | 2 | 0.00474 | 0.008279 | 1 | 1 | 0.007862 | 0.04802 | 0.2408 | 0.009036 | 0.05519 | 0.2768 | json |
| t13_x0_u34_b2 | 13 | 0 | 34 | 2 | ![]() |
cil(mlt(nrm(P),P)) | 42433 | 105574649 | o1(o2(o1(x),x)) | true | 19471 | 19471 | 0.9141 | 0.9844 | 0.9453 | 0.09793 | 0.3129 | -1 | 1 | 2 | 1 | 0.843 | 0.004647 | 0.00241 | 0.01041 | 0.3169 | 1 | -1.171e-9 | 0.01343 | 0.008659 | 0.006955 | 0.0834 | 8.015 | 2.828 | 0.07207 | 0.1371 | 1 | 1 | 0.01287 | 0.06535 | 0.2362 | 0.1314 | 0.6674 | 2.412 | json |
| t13_x0_u34_b3 | 13 | 0 | 34 | 3 | ![]() |
cil(div(nrm(P),P)) | 42434 | 105574650 | o1(o2(o1(x),x)) | true | 19479 | 19479 | 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 |
| t13_x0_u34_b4 | 13 | 0 | 34 | 4 | ![]() |
cil(pow(nrm(P),P)) | 42435 | 105574651 | o1(o2(o1(x),x)) | true | 19487 | 19487 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |
| t13_x0_u34_b5 | 13 | 0 | 34 | 5 | ![]() |
cil(mod(nrm(P),P)) | 42436 | 105574652 | o1(o2(o1(x),x)) | true | 19495 | 19495 | 0.2969 | 0.4375 | 0.5742 | 0.4805 | 0.6932 | -1 | 1 | 2 | 1 | 1.816 | 0.01914 | 0.0001446 | 0.01461 | 0.985 | 1 | -0.000005705 | 0.03808 | 0.02401 | 0.01906 | 0.1381 | 9.452 | 2 | 0.04012 | 0.07924 | 1 | 1 | 0.02566 | 0.1095 | 0.4302 | 0.05339 | 0.2279 | 0.8951 | json |
| t13_x0_u34_b6 | 13 | 0 | 34 | 6 | ![]() |
cil(lrg(nrm(P),P)) | 42437 | 105574653 | o1(o2(o1(x),x)) | true | 19503 | 19503 | 0.4688 | 0.5074 | 0.4688 | 0.2403 | 0.4902 | 0 | 1 | 1 | 1 | 1.406 | 0.0003686 | 0.00006053 | 0.004904 | 0.7179 | 1 | -4.57e-10 | 0.00002268 | 0.001178 | 0.0004054 | 0.02013 | 4.106 | 0.1169 | 0.001786 | 0.00009441 | 1 | 1 | 0.001191 | 0.01558 | 0.0796 | 0.004955 | 0.06484 | 0.3313 | json |
| t13_x0_u34_b7 | 13 | 0 | 34 | 7 | ![]() |
cil(eql(nrm(P),P)) | 42438 | 105574654 | o1(o2(o1(x),x)) | true | 19511 | 19511 | 0.06641 | 0.1398 | 0.06641 | 0.04599 | 0.2145 | 0 | 0.9997 | 0.9997 | 1 | 0.9036 | 0.0007022 | 0.00008595 | 0.008964 | 0.7819 | 1 | -7.45e-10 | 0.00004117 | 0.00215 | 0.0007076 | 0.0266 | 2.968 | 0.1169 | 0.01714 | 0.0008953 | 1 | 1 | 0.002137 | 0.0278 | 0.07457 | 0.04646 | 0.6044 | 1.621 | json |
| t13_x0_u34_b8 | 13 | 0 | 34 | 8 | ![]() |
cil(min(nrm(P),P)) | 42439 | 105574655 | o1(o2(o1(x),x)) | true | 19519 | 19519 | 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 |
| t13_x0_u34_b9 | 13 | 0 | 34 | 9 | ![]() |
cil(dot(nrm(P),P)) | 42440 | 105574656 | o1(o2(o1(x),x)) | true | 19527 | 19527 | 0.9688 | 0.9844 | 1 | 0.06152 | 0.248 | -1 | 1 | 2 | 1 | 0.1161 | 0.004031 | 0.004031 | 0.004013 | 0 | 1 | 0 | 0.01663 | 0.008062 | 0.008054 | 0.08974 | 22.36 | 2.828 | 0.131 | 0.2703 | 1 | 1 | 0.01418 | 0.05673 | 0.2269 | 0.2305 | 0.9221 | 3.688 | json |
| t13_x0_u34_b10 | 13 | 0 | 34 | 10 | ![]() |
cil(dst(nrm(P),P)) | 42441 | 105574657 | o1(o2(o1(x),x)) | true | 19535 | 19535 | 0.9621 | 0.9844 | 0.9933 | 0.0655 | 0.2559 | -1 | 1 | 2 | 1 | 0.2719 | 0.002501 | 0.002501 | 0.004539 | 1.396e-7 | 1 | 3.004e-11 | 0.01019 | 0.00655 | 0.004985 | 0.07061 | 15.56 | 2.828 | 0.07636 | 0.1555 | 1 | 1 | 0.009121 | 0.04525 | 0.2187 | 0.1392 | 0.6908 | 3.339 | json |
| t13_x0_u35_b0 | 13 | 0 | 35 | 0 | ![]() |
sgn(add(sqt(P),P)) | 42442 | 105574848 | o1(o2(o1(x),x)) | true | 19543 | 19543 | 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 |
| t13_x0_u35_b1 | 13 | 0 | 35 | 1 | ![]() |
sgn(sub(sqt(P),P)) | 42443 | 105574849 | o1(o2(o1(x),x)) | true | 19551 | 19551 | -0.875 | 0 | 0.875 | 0.09585 | 0.3096 | -1 | 0 | 1 | 1 | 1.14 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 9.461e-10 | 0.00003238 | 0.001855 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.007364 | 0.0003379 | 1 | 1 | 0.001851 | 0.02429 | 0.1411 | 0.01931 | 0.2534 | 1.472 | json |
| t13_x0_u35_b2 | 13 | 0 | 35 | 2 | ![]() |
sgn(mlt(sqt(P),P)) | 42444 | 105574850 | o1(o2(o1(x),x)) | true | 19559 | 19559 | 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 |
| t13_x0_u35_b3 | 13 | 0 | 35 | 3 | ![]() |
sgn(div(sqt(P),P)) | 42445 | 105574851 | o1(o2(o1(x),x)) | true | 19567 | 19567 | -0.0625 | 0.4688 | 0.9806 | 0.969 | 0.9844 | -1 | 1 | 2 | 1 | 1.326 | 0.001412 | 0 | 0.007937 | 1 | 1 | 0 | 0.00006477 | 0.001855 | 0.001349 | 0.03673 | 4.628 | 0.2338 | 0.001457 | 0.00006684 | 1 | 1 | 0.003702 | 0.04857 | 0.3004 | 0.00382 | 0.05012 | 0.31 | json |
| t13_x0_u35_b4 | 13 | 0 | 35 | 4 | ![]() |
sgn(pow(sqt(P),P)) | 42446 | 105574852 | o1(o2(o1(x),x)) | true | 19575 | 19575 | 0.0625 | 0.5313 | 0.9806 | 0.969 | 0.9844 | -1 | 1 | 2 | 1 | 1.326 | 0.001412 | 0 | 0.007937 | 1 | 1 | 0 | 0.00006477 | 0.001855 | 0.001349 | 0.03673 | 4.628 | 0.2338 | 0.001457 | 0.00006684 | 1 | 1 | 0.003702 | 0.04857 | 0.3004 | 0.00382 | 0.05012 | 0.31 | json |
| t13_x0_u35_b5 | 13 | 0 | 35 | 5 | ![]() |
sgn(mod(sqt(P),P)) | 42447 | 105574853 | o1(o2(o1(x),x)) | true | 19583 | 19583 | -0.125 | 0.4375 | 0.9375 | 0.9084 | 0.9531 | -1 | 1 | 2 | 1 | 1.8 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007771 | 0.00003562 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002038 | 0.02696 | 0.2581 | json |
| t13_x0_u35_b6 | 13 | 0 | 35 | 6 | ![]() |
sgn(lrg(sqt(P),P)) | 42448 | 105574854 | o1(o2(o1(x),x)) | true | 19591 | 19591 | 0.4688 | 0.5 | 0.4688 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t13_x0_u35_b7 | 13 | 0 | 35 | 7 | ![]() |
sgn(eql(sqt(P),P)) | 42449 | 105574855 | o1(o2(o1(x),x)) | true | 19599 | 19599 | 0.125 | 0.1875 | 0.125 | 0.09585 | 0.3096 | 0 | 1 | 1 | 1 | 1.067 | 0.0007059 | 0 | 0.007937 | 1 | 1 | -9.461e-10 | 0.00003238 | 0.001855 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.007364 | 0.0003379 | 1 | 1 | 0.001851 | 0.02429 | 0.1411 | 0.01931 | 0.2534 | 1.472 | json |
| t13_x0_u35_b8 | 13 | 0 | 35 | 8 | ![]() |
sgn(min(sqt(P),P)) | 42450 | 105574856 | o1(o2(o1(x),x)) | true | 19607 | 19607 | 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 |
| t13_x0_u35_b9 | 13 | 0 | 35 | 9 | ![]() |
sgn(dot(sqt(P),P)) | 42451 | 105574857 | o1(o2(o1(x),x)) | true | 19615 | 19615 | -0.4395 | 0.28 | 0.9777 | 0.7759 | 0.8808 | -1 | 1 | 2 | 1 | 1.25 | 0.0006962 | 0.0006962 | 0.008224 | 0.000001881 | 1 | 2.234e-10 | 0.00006487 | 0.001907 | 0.001325 | 0.0364 | 4.426 | 0.2338 | 0.001795 | 0.00008361 | 1 | 1 | 0.003634 | 0.04772 | 0.3091 | 0.004684 | 0.06151 | 0.3984 | json |
| t13_x0_u35_b10 | 13 | 0 | 35 | 10 | ![]() |
sgn(dst(sqt(P),P)) | 42452 | 105574858 | o1(o2(o1(x),x)) | true | 19623 | 19623 | -0.4512 | 0.2722 | 0.9684 | 0.7554 | 0.8692 | -1 | 1 | 2 | 1 | 1.342 | 0.0006513 | 0.0006513 | 0.008224 | 0.000002011 | 1 | 3.229e-10 | 0.00006076 | 0.001907 | 0.001236 | 0.03515 | 4.274 | 0.2338 | 0.001724 | 0.00008043 | 1 | 1 | 0.003323 | 0.0436 | 0.2727 | 0.004398 | 0.05771 | 0.361 | json |
| t13_x0_u36_b0 | 13 | 0 | 36 | 0 | ![]() |
sgn(add(log(P),P)) | 42453 | 105575049 | o1(o2(o1(x),x)) | true | 19631 | 19631 | -0.0625 | 0.4688 | 0.9806 | 0.969 | 0.9844 | -1 | 1 | 2 | 1 | 1.326 | 0.001412 | 0 | 0.007937 | 1 | 1 | 0 | 0.00006477 | 0.001855 | 0.001349 | 0.03673 | 4.628 | 0.2338 | 0.001457 | 0.00006684 | 1 | 1 | 0.003702 | 0.04857 | 0.3004 | 0.00382 | 0.05012 | 0.31 | json |
| t13_x0_u36_b1 | 13 | 0 | 36 | 1 | ![]() |
sgn(sub(log(P),P)) | 42454 | 105575050 | o1(o2(o1(x),x)) | true | 19639 | 19639 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t13_x0_u36_b2 | 13 | 0 | 36 | 2 | ![]() |
sgn(mlt(log(P),P)) | 42455 | 105575051 | o1(o2(o1(x),x)) | true | 19647 | 19647 | -0.125 | 0.4375 | 0.9375 | 0.9084 | 0.9531 | -1 | 1 | 2 | 1 | 1.8 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007771 | 0.00003562 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002038 | 0.02696 | 0.2581 | json |
| t13_x0_u36_b3 | 13 | 0 | 36 | 3 | ![]() |
sgn(div(log(P),P)) | 42456 | 105575052 | o1(o2(o1(x),x)) | true | 19655 | 19655 | -0.125 | 0.4375 | 0.9375 | 0.9084 | 0.9531 | -1 | 1 | 2 | 1 | 1.8 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007771 | 0.00003562 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002038 | 0.02696 | 0.2581 | json |
| t13_x0_u36_b4 | 13 | 0 | 36 | 4 | ![]() |
sgn(pow(log(P),P)) | 42457 | 105575053 | o1(o2(o1(x),x)) | true | 19663 | 19663 | 0 | 0.5313 | 0.9181 | 0.8969 | 0.9471 | -1 | 1 | 2 | 1 | 1.989 | 0.002118 | 0 | 0.01587 | 1 | 1 | 0 | 0.00009724 | 0.003711 | 0.001866 | 0.04319 | 2.722 | 0.2338 | 0.002361 | 0.0001084 | 1 | 1 | 0.005553 | 0.07225 | 0.2162 | 0.006191 | 0.08055 | 0.241 | json |
| t13_x0_u36_b5 | 13 | 0 | 36 | 5 | ![]() |
sgn(mod(log(P),P)) | 42458 | 105575054 | o1(o2(o1(x),x)) | true | 19671 | 19671 | -0.125 | 0.4375 | 0.9375 | 0.9084 | 0.9531 | -1 | 1 | 2 | 1 | 1.8 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007771 | 0.00003562 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002038 | 0.02696 | 0.2581 | json |
| t13_x0_u36_b6 | 13 | 0 | 36 | 6 | ![]() |
sgn(lrg(log(P),P)) | 42459 | 105575055 | o1(o2(o1(x),x)) | true | 19679 | 19679 | 0.4688 | 0.5 | 0.4688 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t13_x0_u36_b7 | 13 | 0 | 36 | 7 | ![]() |
sgn(eql(log(P),P)) | 42460 | 105575056 | o1(o2(o1(x),x)) | true | 19687 | 19687 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t13_x0_u36_b8 | 13 | 0 | 36 | 8 | ![]() |
sgn(min(log(P),P)) | 42461 | 105575057 | o1(o2(o1(x),x)) | true | 19695 | 19695 | -0.125 | 0.4375 | 0.9375 | 0.9084 | 0.9531 | -1 | 1 | 2 | 1 | 1.8 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007771 | 0.00003562 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002038 | 0.02696 | 0.2581 | json |
| t13_x0_u36_b9 | 13 | 0 | 36 | 9 | ![]() |
sgn(dot(log(P),P)) | 42462 | 105575058 | o1(o2(o1(x),x)) | true | 19703 | 19703 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t13_x0_u36_b10 | 13 | 0 | 36 | 10 | ![]() |
sgn(dst(log(P),P)) | 42463 | 105575059 | o1(o2(o1(x),x)) | true | 19711 | 19711 | -0.4355 | 0.2821 | 0.9795 | 0.7821 | 0.8843 | -1 | 1 | 2 | 1 | 1.205 | 0.000741 | 0.000741 | 0.008368 | 0.000001453 | 1 | 9.386e-11 | 0.00006899 | 0.001958 | 0.001411 | 0.03757 | 4.489 | 0.2338 | 0.001895 | 0.00008821 | 1 | 1 | 0.003946 | 0.05178 | 0.3202 | 0.005046 | 0.06621 | 0.4094 | json |
| t13_x0_u37_b0 | 13 | 0 | 37 | 0 | ![]() |
sgn(add(frc(P),P)) | 42464 | 105575250 | o1(o2(o1(x),x)) | true | 19719 | 19719 | 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 |
| t13_x0_u37_b1 | 13 | 0 | 37 | 1 | ![]() |
sgn(sub(frc(P),P)) | 42465 | 105575251 | o1(o2(o1(x),x)) | true | 19727 | 19727 | 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 |
| t13_x0_u37_b2 | 13 | 0 | 37 | 2 | ![]() |
sgn(mlt(frc(P),P)) | 42466 | 105575252 | o1(o2(o1(x),x)) | true | 19735 | 19735 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t13_x0_u37_b3 | 13 | 0 | 37 | 3 | ![]() |
sgn(div(frc(P),P)) | 42467 | 105575253 | o1(o2(o1(x),x)) | true | 19743 | 19743 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t13_x0_u37_b4 | 13 | 0 | 37 | 4 | ![]() |
sgn(pow(frc(P),P)) | 42468 | 105575254 | o1(o2(o1(x),x)) | true | 19751 | 19751 | 0.5313 | 0.5625 | 0.5313 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t13_x0_u37_b5 | 13 | 0 | 37 | 5 | ![]() |
sgn(mod(frc(P),P)) | 42469 | 105575255 | o1(o2(o1(x),x)) | true | 19759 | 19759 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t13_x0_u37_b6 | 13 | 0 | 37 | 6 | ![]() |
sgn(lrg(frc(P),P)) | 42470 | 105575256 | o1(o2(o1(x),x)) | true | 19767 | 19767 | 0.4688 | 0.5 | 0.4688 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t13_x0_u37_b7 | 13 | 0 | 37 | 7 | ![]() |
sgn(eql(frc(P),P)) | 42471 | 105575257 | o1(o2(o1(x),x)) | true | 19775 | 19775 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t13_x0_u37_b8 | 13 | 0 | 37 | 8 | ![]() |
sgn(min(frc(P),P)) | 42472 | 105575258 | o1(o2(o1(x),x)) | true | 19783 | 19783 | -0.4688 | 0 | 0.4688 | 0.2423 | 0.4922 | -1 | 0 | 1 | 1 | 1.406 | 0.0003529 | 0 | 0.003968 | 1 | 1 | 4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t13_x0_u37_b9 | 13 | 0 | 37 | 9 | ![]() |
sgn(dot(frc(P),P)) | 42473 | 105575259 | o1(o2(o1(x),x)) | true | 19791 | 19791 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t13_x0_u37_b10 | 13 | 0 | 37 | 10 | ![]() |
sgn(dst(frc(P),P)) | 42474 | 105575260 | o1(o2(o1(x),x)) | true | 19799 | 19799 | 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 |
| t13_x0_u38_b0 | 13 | 0 | 38 | 0 | ![]() |
sgn(add(flr(P),P)) | 42475 | 105575451 | o1(o2(o1(x),x)) | true | 19807 | 19807 | 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 |
| t13_x0_u38_b1 | 13 | 0 | 38 | 1 | ![]() |
sgn(sub(flr(P),P)) | 42476 | 105575452 | o1(o2(o1(x),x)) | true | 19815 | 19815 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t13_x0_u38_b2 | 13 | 0 | 38 | 2 | ![]() |
sgn(mlt(flr(P),P)) | 42477 | 105575453 | o1(o2(o1(x),x)) | true | 19823 | 19823 | 0.9375 | 1 | 0.9375 | 0.04507 | 0.2123 | 0.000291 | 1 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t13_x0_u38_b3 | 13 | 0 | 38 | 3 | ![]() |
sgn(div(flr(P),P)) | 42478 | 105575454 | o1(o2(o1(x),x)) | true | 19831 | 19831 | 0.875 | 0.9375 | 0.9611 | 0.1803 | 0.4246 | -0.9994 | 1 | 1.999 | 1 | 0.8126 | 0.002823 | 0 | 0.01587 | 1 | 1 | 0 | 0.0001297 | 0.003711 | 0.002573 | 0.05073 | 3.197 | 0.2338 | 0.01566 | 0.0007193 | 1 | 1 | 0.007404 | 0.09633 | 0.2639 | 0.04107 | 0.5344 | 1.464 | json |
| t13_x0_u38_b4 | 13 | 0 | 38 | 4 | ![]() |
sgn(pow(flr(P),P)) | 42479 | 105575455 | o1(o2(o1(x),x)) | true | 19839 | 19839 | 0.0625 | 0.5313 | 0.9806 | 0.969 | 0.9844 | -1 | 1 | 2 | 1 | 1.326 | 0.001412 | 0 | 0.007937 | 1 | 1 | 0 | 0.00006477 | 0.001855 | 0.001349 | 0.03673 | 4.628 | 0.2338 | 0.001457 | 0.00006684 | 1 | 1 | 0.003702 | 0.04857 | 0.3004 | 0.00382 | 0.05012 | 0.31 | json |
| t13_x0_u38_b5 | 13 | 0 | 38 | 5 | ![]() |
sgn(mod(flr(P),P)) | 42480 | 105575456 | o1(o2(o1(x),x)) | true | 19847 | 19847 | -0.0625 | 0.3125 | 0.4375 | 0.3659 | 0.6049 | -1 | 1 | 2 | 1 | 3.732 | 0.003527 | 0 | 0.03953 | 1 | 1 | 9.461e-10 | 0.0001597 | 0.009098 | 0.001965 | 0.04433 | 1.121 | 0.1169 | 0.009638 | 0.0004364 | 1 | 1 | 0.007401 | 0.09472 | 0.2735 | 0.02023 | 0.2588 | 0.7473 | json |
| t13_x0_u38_b6 | 13 | 0 | 38 | 6 | ![]() |
sgn(lrg(flr(P),P)) | 42481 | 105575457 | o1(o2(o1(x),x)) | true | 19855 | 19855 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t13_x0_u38_b7 | 13 | 0 | 38 | 7 | ![]() |
sgn(eql(flr(P),P)) | 42482 | 105575458 | o1(o2(o1(x),x)) | true | 19863 | 19863 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t13_x0_u38_b8 | 13 | 0 | 38 | 8 | ![]() |
sgn(min(flr(P),P)) | 42483 | 105575459 | o1(o2(o1(x),x)) | true | 19871 | 19871 | 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 |
| t13_x0_u38_b9 | 13 | 0 | 38 | 9 | ![]() |
sgn(dot(flr(P),P)) | 42484 | 105575460 | o1(o2(o1(x),x)) | true | 19879 | 19879 | 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 |
| t13_x0_u38_b10 | 13 | 0 | 38 | 10 | ![]() |
sgn(dst(flr(P),P)) | 42485 | 105575461 | o1(o2(o1(x),x)) | true | 19887 | 19887 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t13_x0_u39_b0 | 13 | 0 | 39 | 0 | ![]() |
sgn(add(cil(P),P)) | 42486 | 105575652 | o1(o2(o1(x),x)) | true | 19895 | 19895 | 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 |
| t13_x0_u39_b1 | 13 | 0 | 39 | 1 | ![]() |
sgn(sub(cil(P),P)) | 42487 | 105575653 | o1(o2(o1(x),x)) | true | 19903 | 19903 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t13_x0_u39_b2 | 13 | 0 | 39 | 2 | ![]() |
sgn(mlt(cil(P),P)) | 42488 | 105575654 | o1(o2(o1(x),x)) | true | 19911 | 19911 | 0.9375 | 1 | 0.9375 | 0.04507 | 0.2123 | 0.000291 | 1 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t13_x0_u39_b3 | 13 | 0 | 39 | 3 | ![]() |
sgn(div(cil(P),P)) | 42489 | 105575655 | o1(o2(o1(x),x)) | true | 19919 | 19919 | 0.875 | 0.9375 | 0.9611 | 0.1803 | 0.4246 | -0.9994 | 1 | 1.999 | 1 | 0.8126 | 0.002823 | 0 | 0.01587 | 1 | 1 | 0 | 0.0001297 | 0.003711 | 0.002573 | 0.05073 | 3.197 | 0.2338 | 0.01566 | 0.0007193 | 1 | 1 | 0.007404 | 0.09633 | 0.2639 | 0.04107 | 0.5344 | 1.464 | json |
| t13_x0_u39_b4 | 13 | 0 | 39 | 4 | ![]() |
sgn(pow(cil(P),P)) | 42490 | 105575656 | o1(o2(o1(x),x)) | true | 19927 | 19927 | 0.0625 | 0.5313 | 0.9806 | 0.969 | 0.9844 | -1 | 1 | 2 | 1 | 1.326 | 0.001412 | 0 | 0.007937 | 1 | 1 | 0 | 0.00006477 | 0.001855 | 0.001349 | 0.03673 | 4.628 | 0.2338 | 0.001457 | 0.00006684 | 1 | 1 | 0.003702 | 0.04857 | 0.3004 | 0.00382 | 0.05012 | 0.31 | json |
| t13_x0_u39_b5 | 13 | 0 | 39 | 5 | ![]() |
sgn(mod(cil(P),P)) | 42491 | 105575657 | o1(o2(o1(x),x)) | true | 19935 | 19935 | -0.0625 | 0.3125 | 0.4375 | 0.3659 | 0.6049 | -1 | 1 | 2 | 1 | 3.732 | 0.003527 | 0 | 0.03953 | 1 | 1 | 9.461e-10 | 0.0001597 | 0.009098 | 0.001965 | 0.04433 | 1.121 | 0.1169 | 0.009638 | 0.0004364 | 1 | 1 | 0.007401 | 0.09472 | 0.2735 | 0.02023 | 0.2588 | 0.7473 | json |
| t13_x0_u39_b6 | 13 | 0 | 39 | 6 | ![]() |
sgn(lrg(cil(P),P)) | 42492 | 105575658 | o1(o2(o1(x),x)) | true | 19943 | 19943 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t13_x0_u39_b7 | 13 | 0 | 39 | 7 | ![]() |
sgn(eql(cil(P),P)) | 42493 | 105575659 | o1(o2(o1(x),x)) | true | 19951 | 19951 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t13_x0_u39_b8 | 13 | 0 | 39 | 8 | ![]() |
sgn(min(cil(P),P)) | 42494 | 105575660 | o1(o2(o1(x),x)) | true | 19959 | 19959 | 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 |
| t13_x0_u39_b9 | 13 | 0 | 39 | 9 | ![]() |
sgn(dot(cil(P),P)) | 42495 | 105575661 | o1(o2(o1(x),x)) | true | 19967 | 19967 | 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 |
| t13_x0_u39_b10 | 13 | 0 | 39 | 10 | ![]() |
sgn(dst(cil(P),P)) | 42496 | 105575662 | o1(o2(o1(x),x)) | true | 19975 | 19975 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t13_x0_u40_b0 | 13 | 0 | 40 | 0 | ![]() |
sgn(add(sgn(P),P)) | 42497 | 105575853 | o1(o2(o1(x),x)) | true | 19983 | 19983 | 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 |
| t13_x0_u40_b1 | 13 | 0 | 40 | 1 | ![]() |
sgn(sub(sgn(P),P)) | 42498 | 105575854 | o1(o2(o1(x),x)) | true | 19991 | 19991 | 0 | 0.4375 | 0.8125 | 0.799 | 0.8939 | -1 | 1 | 2 | 1 | 2.153 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003238 | 0.001855 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0008834 | 0.00004053 | 1 | 1 | 0.001851 | 0.02429 | 0.1502 | 0.002317 | 0.0304 | 0.188 | json |
| t13_x0_u40_b2 | 13 | 0 | 40 | 2 | ![]() |
sgn(mlt(sgn(P),P)) | 42499 | 105575855 | o1(o2(o1(x),x)) | true | 19999 | 19999 | 0.9375 | 1 | 0.9375 | 0.04507 | 0.2123 | 0.000291 | 1 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |



































































































