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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t19_x0_u1_b32 | 19 | 0 | 1 | 32 | ![]() |
mlt(P,dst(log(P),P)) | 136800 | 154291652 | o2(x,o2(o1(x),x)) | true | 122807 | 122807 | -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 |
| t19_x0_u1_b33 | 19 | 0 | 1 | 33 | ![]() |
div(P,add(log(P),P)) | 136801 | 154291653 | o2(x,o2(o1(x),x)) | true | 122815 | 122815 | -0.1298 | 0.5 | 0.8702 | 0.7718 | 0.8785 | -1 | 0.9999 | 2 | 1 | 2.035 | 0.004347 | 0 | 0.009244 | 1 | 1 | 0.000001009 | 0.007904 | 0.009117 | 0.004263 | 0.06529 | 7.063 | 1 | 0.005632 | 0.01024 | 1 | 1 | 0.006289 | 0.04051 | 0.2583 | 0.008149 | 0.05248 | 0.3347 | json |
| t19_x0_u1_b34 | 19 | 0 | 1 | 34 | ![]() |
div(P,sub(log(P),P)) | 136802 | 154291654 | o2(x,o2(o1(x),x)) | true | 122823 | 122823 | -0.9688 | 0 | 0.9688 | 0.02351 | 0.1533 | -1 | -0.000291 | 0.9997 | 1 | 0.459 | 0.004319 | 0 | 0.007934 | 1 | 1 | 0 | 0.008002 | 0.008862 | 0.004255 | 0.06523 | 8.221 | 0.9997 | 0.1837 | 0.3404 | 1 | 1 | 0.00615 | 0.02664 | 0.03299 | 0.2616 | 1.133 | 1.403 | json |
| t19_x0_u1_b35 | 19 | 0 | 1 | 35 | ![]() |
div(P,mlt(log(P),P)) | 136803 | 154291655 | o2(x,o2(o1(x),x)) | true | 122831 | 122831 | -0.3693 | 0.375 | 0.8807 | 0.6743 | 0.8212 | -1 | 1 | 2 | 1 | 2.038 | 0.0159 | 0 | 0.009995 | 1 | 1 | -0.000002955 | 0.03175 | 0.01654 | 0.01581 | 0.1257 | 12.58 | 2 | 0.02358 | 0.04708 | 1 | 1 | 0.02112 | 0.08499 | 0.3116 | 0.03132 | 0.126 | 0.4621 | json |
| t19_x0_u1_b36 | 19 | 0 | 1 | 36 | ![]() |
div(P,div(log(P),P)) | 136804 | 154291656 | o2(x,o2(o1(x),x)) | true | 122839 | 122839 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.04762 | 0 | 0.02381 | 1 | 1 | 0 | 0.09524 | 0.04762 | 0.04704 | 0.2169 | 9.109 | 2 | 0.04837 | 0.09675 | 1 | 1 | 0.06316 | 0.2526 | 0.3368 | 0.06416 | 0.2566 | 0.3422 | json |
| t19_x0_u1_b37 | 19 | 0 | 1 | 37 | ![]() |
div(P,pow(log(P),P)) | 136805 | 154291657 | o2(x,o2(o1(x),x)) | true | 122847 | 122847 | -0.2971 | 0.4375 | 0.8279 | 0.7085 | 0.8417 | -1 | 1 | 2 | 1 | 2.148 | 0.04778 | 0 | 0.02769 | 1 | 1 | -0.000003898 | 0.09525 | 0.0486 | 0.047 | 0.2168 | 7.83 | 2 | 0.06743 | 0.1344 | 1 | 1 | 0.06355 | 0.2575 | 0.3827 | 0.0897 | 0.3635 | 0.5401 | json |
| t19_x0_u1_b38 | 19 | 0 | 1 | 38 | ![]() |
div(P,mod(log(P),P)) | 136806 | 154291658 | o2(x,o2(o1(x),x)) | true | 122855 | 122855 | -0.25 | 0.375 | 1 | 0.9375 | 0.9682 | -1 | 1 | 2 | 1 | 0.9544 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01693 | 0.03386 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02246 | 0.08982 | 0.3593 | json |
| t19_x0_u1_b39 | 19 | 0 | 1 | 39 | ![]() |
div(P,lrg(log(P),P)) | 136807 | 154291659 | o2(x,o2(o1(x),x)) | true | 122863 | 122863 | -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 |
| t19_x0_u1_b40 | 19 | 0 | 1 | 40 | ![]() |
div(P,eql(log(P),P)) | 136808 | 154291660 | o2(x,o2(o1(x),x)) | true | 122871 | 122871 | -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 |
| t19_x0_u1_b41 | 19 | 0 | 1 | 41 | ![]() |
div(P,min(log(P),P)) | 136809 | 154291661 | o2(x,o2(o1(x),x)) | true | 122879 | 122879 | 0.8438 | 0.9375 | 0.9688 | 0.2501 | 0.5001 | -1 | 1 | 2 | 1 | 0.7915 | 0.03606 | 0 | 0.02381 | 1 | 1 | 3.784e-9 | 0.07149 | 0.04061 | 0.03551 | 0.1884 | 7.915 | 2 | 0.1442 | 0.2859 | 1 | 1 | 0.04825 | 0.1951 | 0.2856 | 0.193 | 0.78 | 1.142 | json |
| t19_x0_u1_b42 | 19 | 0 | 1 | 42 | ![]() |
div(P,dot(log(P),P)) | 136810 | 154291662 | o2(x,o2(o1(x),x)) | true | 122887 | 122887 | -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 |
| t19_x0_u1_b43 | 19 | 0 | 1 | 43 | ![]() |
div(P,dst(log(P),P)) | 136811 | 154291663 | o2(x,o2(o1(x),x)) | true | 122895 | 122895 | -0.75 | 0 | 0.75 | 0.1875 | 0.433 | -1 | 0 | 1 | 1 | 0.8113 | 0.001984 | 0.001984 | 0.003968 | 0 | 1 | 0 | 0.007968 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.02116 | 0.0425 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02807 | 0.1123 | 0.4491 | json |
| t19_x0_u1_b44 | 19 | 0 | 1 | 44 | ![]() |
pow(P,add(log(P),P)) | 136812 | 154291664 | o2(x,o2(o1(x),x)) | true | 122903 | 122903 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01612 | 0.03225 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02139 | 0.08555 | 0.3422 | json |
| t19_x0_u1_b45 | 19 | 0 | 1 | 45 | ![]() |
pow(P,sub(log(P),P)) | 136813 | 154291665 | o2(x,o2(o1(x),x)) | true | 122911 | 122911 | -0.4963 | 0.3594 | 0.6287 | 0.3557 | 0.5964 | -1 | 0.9998 | 2 | 1 | 1.947 | 0.01603 | 0 | 0.0119 | 1 | 1 | -5.676e-9 | 0.03181 | 0.0168 | 0.01588 | 0.126 | 10.59 | 2 | 0.04505 | 0.08943 | 1 | 1 | 0.02142 | 0.08183 | 0.2132 | 0.06021 | 0.23 | 0.5992 | json |
| t19_x0_u1_b46 | 19 | 0 | 1 | 46 | ![]() |
pow(P,mlt(log(P),P)) | 136814 | 154291666 | o2(x,o2(o1(x),x)) | true | 122919 | 122919 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01612 | 0.03225 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02139 | 0.08555 | 0.3422 | json |
| t19_x0_u1_b47 | 19 | 0 | 1 | 47 | ![]() |
pow(P,div(log(P),P)) | 136815 | 154291667 | o2(x,o2(o1(x),x)) | true | 122927 | 122927 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01612 | 0.03225 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02139 | 0.08555 | 0.3422 | json |
| t19_x0_u1_b48 | 19 | 0 | 1 | 48 | ![]() |
pow(P,pow(log(P),P)) | 136816 | 154291668 | o2(x,o2(o1(x),x)) | true | 122935 | 122935 | -0.1563 | 0.4375 | 0.9688 | 0.9369 | 0.9679 | -1 | 1 | 2 | 1 | 1.385 | 0.0202 | 0 | 0.01587 | 1 | 1 | 0 | 0.03965 | 0.02468 | 0.01994 | 0.1412 | 8.896 | 2 | 0.02156 | 0.04232 | 1 | 1 | 0.006228 | 0.03975 | 0.4435 | 0.006647 | 0.04243 | 0.4734 | json |
| t19_x0_u1_b49 | 19 | 0 | 1 | 49 | ![]() |
pow(P,mod(log(P),P)) | 136817 | 154291669 | o2(x,o2(o1(x),x)) | true | 122943 | 122943 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01612 | 0.03225 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02139 | 0.08555 | 0.3422 | json |
| t19_x0_u1_b50 | 19 | 0 | 1 | 50 | ![]() |
pow(P,lrg(log(P),P)) | 136818 | 154291670 | o2(x,o2(o1(x),x)) | true | 122951 | 122951 | 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 |
| t19_x0_u1_b51 | 19 | 0 | 1 | 51 | ![]() |
pow(P,eql(log(P),P)) | 136819 | 154291671 | o2(x,o2(o1(x),x)) | true | 122959 | 122959 | 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 |
| t19_x0_u1_b52 | 19 | 0 | 1 | 52 | ![]() |
pow(P,min(log(P),P)) | 136820 | 154291672 | o2(x,o2(o1(x),x)) | true | 122967 | 122967 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01612 | 0.03225 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02139 | 0.08555 | 0.3422 | json |
| t19_x0_u1_b53 | 19 | 0 | 1 | 53 | ![]() |
pow(P,dot(log(P),P)) | 136821 | 154291673 | o2(x,o2(o1(x),x)) | true | 122975 | 122975 | -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 |
| t19_x0_u1_b54 | 19 | 0 | 1 | 54 | ![]() |
pow(P,dst(log(P),P)) | 136822 | 154291674 | o2(x,o2(o1(x),x)) | true | 122983 | 122983 | -0.9531 | 0.03125 | 0.9844 | 0.07253 | 0.2693 | -1 | 0.9997 | 2 | 1 | 0.307 | 0.0101 | 0.0006026 | 0.008313 | 0.8873 | 1 | -4.13e-11 | 0.02124 | 0.01309 | 0.01063 | 0.1031 | 12.4 | 2 | 0.1475 | 0.2928 | 1 | 1 | 0.01466 | 0.05967 | 0.1177 | 0.2021 | 0.8226 | 1.622 | json |
| t19_x0_u1_b55 | 19 | 0 | 1 | 55 | ![]() |
mod(P,add(log(P),P)) | 136823 | 154291675 | o2(x,o2(o1(x),x)) | true | 122991 | 122991 | -0.1465 | 0.4375 | 0.9785 | 0.9531 | 0.9763 | -1 | 1 | 2 | 1 | 1.226 | 0.004625 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.007971 | 0.009631 | 0.00456 | 0.06753 | 8.509 | 1.001 | 0.004852 | 0.008364 | 1 | 1 | 0.006981 | 0.05009 | 0.3027 | 0.007324 | 0.05256 | 0.3176 | json |
| t19_x0_u1_b56 | 19 | 0 | 1 | 56 | ![]() |
mod(P,sub(log(P),P)) | 136824 | 154291676 | o2(x,o2(o1(x),x)) | true | 122999 | 122999 | -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.005854 | 0.03284 | 0.2495 | 0.006466 | 0.03627 | 0.2755 | json |
| t19_x0_u1_b57 | 19 | 0 | 1 | 57 | ![]() |
mod(P,mlt(log(P),P)) | 136825 | 154291677 | o2(x,o2(o1(x),x)) | true | 123007 | 123007 | -0.2552 | 0.375 | 0.9948 | 0.9259 | 0.9623 | -1 | 1 | 2 | 1 | 1.072 | 0.01051 | 0 | 0.007936 | 1 | 1 | 9.461e-10 | 0.02056 | 0.01393 | 0.01044 | 0.1022 | 12.88 | 1.614 | 0.01135 | 0.0222 | 1 | 1 | 0.01424 | 0.07243 | 0.3251 | 0.01538 | 0.07822 | 0.3511 | json |
| t19_x0_u1_b58 | 19 | 0 | 1 | 58 | ![]() |
mod(P,div(log(P),P)) | 136826 | 154291678 | o2(x,o2(o1(x),x)) | true | 123015 | 123015 | -0.5786 | 0.375 | 0.6714 | 0.2977 | 0.5456 | -1 | 0.2671 | 1.267 | 1 | 1.726 | 0.006405 | 0 | 0.007598 | 1 | 1 | 0.00001364 | 0.01276 | 0.01064 | 0.006349 | 0.07968 | 10.49 | 1.267 | 0.02152 | 0.04285 | 1 | 1 | 0.008509 | 0.03306 | 0.1135 | 0.02858 | 0.111 | 0.3812 | json |
| t19_x0_u1_b59 | 19 | 0 | 1 | 59 | ![]() |
mod(P,pow(log(P),P)) | 136827 | 154291679 | o2(x,o2(o1(x),x)) | true | 123023 | 123023 | -0.3502 | 0.375 | 0.8998 | 0.7498 | 0.8659 | -1 | 1 | 2 | 1 | 1.617 | 0.00524 | 0 | 0.008265 | 1 | 1 | 3.311e-9 | 0.009613 | 0.01128 | 0.005168 | 0.07189 | 8.698 | 1.078 | 0.006989 | 0.01282 | 1 | 1 | 0.007525 | 0.03607 | 0.1782 | 0.01004 | 0.04811 | 0.2377 | json |
| t19_x0_u1_b60 | 19 | 0 | 1 | 60 | ![]() |
mod(P,mod(log(P),P)) | 136828 | 154291680 | o2(x,o2(o1(x),x)) | true | 123031 | 123031 | -0.3416 | 0.375 | 0.9084 | 0.7488 | 0.8653 | -1 | 1 | 2 | 1 | 2.085 | 0.01085 | 0 | 0.01451 | 1 | 1 | 9.461e-10 | 0.02072 | 0.01525 | 0.01064 | 0.1031 | 7.108 | 1.614 | 0.01449 | 0.02768 | 1 | 1 | 0.01485 | 0.0702 | 0.3281 | 0.01984 | 0.09376 | 0.4382 | json |
| t19_x0_u1_b61 | 19 | 0 | 1 | 61 | ![]() |
mod(P,lrg(log(P),P)) | 136829 | 154291681 | o2(x,o2(o1(x),x)) | true | 123039 | 123039 | -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 |
| t19_x0_u1_b62 | 19 | 0 | 1 | 62 | ![]() |
mod(P,eql(log(P),P)) | 136830 | 154291682 | o2(x,o2(o1(x),x)) | true | 123047 | 123047 | -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 |
| t19_x0_u1_b63 | 19 | 0 | 1 | 63 | ![]() |
mod(P,min(log(P),P)) | 136831 | 154291683 | o2(x,o2(o1(x),x)) | true | 123055 | 123055 | -0.1544 | 0.375 | 0.7212 | 0.6441 | 0.8026 | -1 | 1 | 2 | 1 | 3.082 | 0.01889 | 0 | 0.03352 | 1 | 1 | 0.0006289 | 0.03091 | 0.03424 | 0.01776 | 0.1332 | 3.975 | 1.614 | 0.02932 | 0.04799 | 1 | 1 | 0.02681 | 0.1435 | 0.4516 | 0.04163 | 0.2228 | 0.7011 | json |
| t19_x0_u1_b64 | 19 | 0 | 1 | 64 | ![]() |
mod(P,dot(log(P),P)) | 136832 | 154291684 | o2(x,o2(o1(x),x)) | true | 123063 | 123063 | -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 |
| t19_x0_u1_b65 | 19 | 0 | 1 | 65 | ![]() |
mod(P,dst(log(P),P)) | 136833 | 154291685 | o2(x,o2(o1(x),x)) | true | 123071 | 123071 | -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 |
| t19_x0_u1_b66 | 19 | 0 | 1 | 66 | ![]() |
lrg(P,add(log(P),P)) | 136834 | 154291686 | o2(x,o2(o1(x),x)) | true | 123079 | 123079 | 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 |
| t19_x0_u1_b67 | 19 | 0 | 1 | 67 | ![]() |
lrg(P,sub(log(P),P)) | 136835 | 154291687 | o2(x,o2(o1(x),x)) | true | 123087 | 123087 | 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 |
| t19_x0_u1_b68 | 19 | 0 | 1 | 68 | ![]() |
lrg(P,mlt(log(P),P)) | 136836 | 154291688 | o2(x,o2(o1(x),x)) | true | 123095 | 123095 | 0.6563 | 0.6875 | 0.6563 | 0.2188 | 0.4678 | 0 | 1 | 1 | 1 | 1.254 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001613 | 0.00007399 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.004229 | 0.05549 | 0.3432 | json |
| t19_x0_u1_b69 | 19 | 0 | 1 | 69 | ![]() |
lrg(P,div(log(P),P)) | 136837 | 154291689 | o2(x,o2(o1(x),x)) | true | 123103 | 123103 | 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 |
| t19_x0_u1_b70 | 19 | 0 | 1 | 70 | ![]() |
lrg(P,pow(log(P),P)) | 136838 | 154291690 | o2(x,o2(o1(x),x)) | true | 123111 | 123111 | 0.7188 | 0.8125 | 0.7188 | 0.1819 | 0.4265 | 0 | 1 | 1 | 1 | 1.63 | 0.001059 | 0 | 0.0119 | 1 | 1 | -1.419e-9 | 0.00004861 | 0.002783 | 0.0009168 | 0.03028 | 2.544 | 0.1169 | 0.005822 | 0.0002673 | 1 | 1 | 0.002776 | 0.03622 | 0.1411 | 0.01527 | 0.1992 | 0.7758 | json |
| t19_x0_u1_b71 | 19 | 0 | 1 | 71 | ![]() |
lrg(P,mod(log(P),P)) | 136839 | 154291691 | o2(x,o2(o1(x),x)) | true | 123119 | 123119 | 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 |
| t19_x0_u1_b72 | 19 | 0 | 1 | 72 | ![]() |
lrg(P,lrg(log(P),P)) | 136840 | 154291692 | o2(x,o2(o1(x),x)) | true | 123127 | 123127 | 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 |
| t19_x0_u1_b73 | 19 | 0 | 1 | 73 | ![]() |
lrg(P,eql(log(P),P)) | 136841 | 154291693 | o2(x,o2(o1(x),x)) | true | 123135 | 123135 | 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 |
| t19_x0_u1_b74 | 19 | 0 | 1 | 74 | ![]() |
lrg(P,min(log(P),P)) | 136842 | 154291694 | o2(x,o2(o1(x),x)) | true | 123143 | 123143 | 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 |
| t19_x0_u1_b75 | 19 | 0 | 1 | 75 | ![]() |
lrg(P,dot(log(P),P)) | 136843 | 154291695 | o2(x,o2(o1(x),x)) | true | 123151 | 123151 | 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 |
| t19_x0_u1_b76 | 19 | 0 | 1 | 76 | ![]() |
lrg(P,dst(log(P),P)) | 136844 | 154291696 | o2(x,o2(o1(x),x)) | true | 123159 | 123159 | 0.7178 | 0.75 | 0.7178 | 0.1955 | 0.4422 | 0 | 1 | 1 | 1 | 1.198 | 0.0001852 | 0.0001852 | 0.004184 | 0.000001493 | 1 | -5.533e-10 | 0.00001725 | 0.0009791 | 0.0003528 | 0.01878 | 4.489 | 0.1169 | 0.001895 | 0.00008821 | 1 | 1 | 0.0009865 | 0.01294 | 0.08005 | 0.005046 | 0.06621 | 0.4094 | json |
| t19_x0_u1_b77 | 19 | 0 | 1 | 77 | ![]() |
eql(P,add(log(P),P)) | 136845 | 154291697 | o2(x,o2(o1(x),x)) | true | 123167 | 123167 | 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 |
| t19_x0_u1_b78 | 19 | 0 | 1 | 78 | ![]() |
eql(P,sub(log(P),P)) | 136846 | 154291698 | o2(x,o2(o1(x),x)) | true | 123175 | 123175 | 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 |
| t19_x0_u1_b79 | 19 | 0 | 1 | 79 | ![]() |
eql(P,mlt(log(P),P)) | 136847 | 154291699 | o2(x,o2(o1(x),x)) | true | 123183 | 123183 | 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 |
| t19_x0_u1_b80 | 19 | 0 | 1 | 80 | ![]() |
eql(P,div(log(P),P)) | 136848 | 154291700 | o2(x,o2(o1(x),x)) | true | 123191 | 123191 | 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 |
| t19_x0_u1_b81 | 19 | 0 | 1 | 81 | ![]() |
eql(P,pow(log(P),P)) | 136849 | 154291701 | o2(x,o2(o1(x),x)) | true | 123199 | 123199 | 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 |
| t19_x0_u1_b82 | 19 | 0 | 1 | 82 | ![]() |
eql(P,mod(log(P),P)) | 136850 | 154291702 | o2(x,o2(o1(x),x)) | true | 123207 | 123207 | 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 |
| t19_x0_u1_b83 | 19 | 0 | 1 | 83 | ![]() |
eql(P,lrg(log(P),P)) | 136851 | 154291703 | o2(x,o2(o1(x),x)) | true | 123215 | 123215 | 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 |
| t19_x0_u1_b84 | 19 | 0 | 1 | 84 | ![]() |
eql(P,eql(log(P),P)) | 136852 | 154291704 | o2(x,o2(o1(x),x)) | true | 123223 | 123223 | 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 |
| t19_x0_u1_b85 | 19 | 0 | 1 | 85 | ![]() |
eql(P,min(log(P),P)) | 136853 | 154291705 | o2(x,o2(o1(x),x)) | true | 123231 | 123231 | 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 |
| t19_x0_u1_b86 | 19 | 0 | 1 | 86 | ![]() |
eql(P,dot(log(P),P)) | 136854 | 154291706 | o2(x,o2(o1(x),x)) | true | 123239 | 123239 | 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 |
| t19_x0_u1_b87 | 19 | 0 | 1 | 87 | ![]() |
eql(P,dst(log(P),P)) | 136855 | 154291707 | o2(x,o2(o1(x),x)) | true | 123247 | 123247 | 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 |
| t19_x0_u1_b88 | 19 | 0 | 1 | 88 | ![]() |
min(P,add(log(P),P)) | 136856 | 154291708 | o2(x,o2(o1(x),x)) | true | 123255 | 123255 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01612 | 0.03225 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02139 | 0.08555 | 0.3422 | json |
| t19_x0_u1_b89 | 19 | 0 | 1 | 89 | ![]() |
min(P,sub(log(P),P)) | 136857 | 154291709 | o2(x,o2(o1(x),x)) | true | 123263 | 123263 | -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 |
| t19_x0_u1_b90 | 19 | 0 | 1 | 90 | ![]() |
min(P,mlt(log(P),P)) | 136858 | 154291710 | o2(x,o2(o1(x),x)) | true | 123271 | 123271 | -0.05691 | 0.4375 | 0.8806 | 0.866 | 0.9306 | -1 | 1 | 2 | 1 | 1.932 | 0.0008608 | 0 | 0.007937 | 1 | 1 | 0 | 0.00008151 | 0.002214 | 0.0007984 | 0.02826 | 3.56 | 0.162 | 0.000994 | 0.00009413 | 1 | 1 | 0.002229 | 0.02669 | 0.165 | 0.002574 | 0.03083 | 0.1906 | json |
| t19_x0_u1_b91 | 19 | 0 | 1 | 91 | ![]() |
min(P,div(log(P),P)) | 136859 | 154291711 | o2(x,o2(o1(x),x)) | true | 123279 | 123279 | -0.432 | 0.4375 | 0.693 | 0.4173 | 0.646 | -1 | 0.3662 | 1.366 | 1 | 1.639 | 0.004012 | 0 | 0.005842 | 1 | 1 | -0.000001624 | 0.007921 | 0.008354 | 0.003977 | 0.06306 | 10.79 | 1 | 0.009614 | 0.01898 | 1 | 1 | 0.005389 | 0.02481 | 0.1386 | 0.01292 | 0.05945 | 0.3322 | json |
| t19_x0_u1_b92 | 19 | 0 | 1 | 92 | ![]() |
min(P,pow(log(P),P)) | 136860 | 154291712 | o2(x,o2(o1(x),x)) | true | 123287 | 123287 | -0.09104 | 0.4375 | 0.8465 | 0.8153 | 0.9029 | -1 | 1 | 2 | 1 | 2.264 | 0.0005888 | 0 | 0.007937 | 1 | 1 | -1.922e-9 | 0.00004512 | 0.002155 | 0.0005259 | 0.02293 | 2.889 | 0.1169 | 0.0007222 | 0.00005534 | 1 | 1 | 0.001532 | 0.01914 | 0.1415 | 0.001879 | 0.02348 | 0.1736 | json |
| t19_x0_u1_b93 | 19 | 0 | 1 | 93 | ![]() |
min(P,mod(log(P),P)) | 136861 | 154291713 | o2(x,o2(o1(x),x)) | true | 123295 | 123295 | -0.08016 | 0.4375 | 0.8573 | 0.8285 | 0.9102 | -1 | 1 | 2 | 1 | 2.287 | 0.0005691 | 0 | 0.007937 | 1 | 1 | -7.096e-10 | 0.00003054 | 0.001944 | 0.000506 | 0.0225 | 2.834 | 0.1169 | 0.0006869 | 0.00003687 | 1 | 1 | 0.001489 | 0.01938 | 0.1441 | 0.001798 | 0.0234 | 0.174 | json |
| t19_x0_u1_b94 | 19 | 0 | 1 | 94 | ![]() |
min(P,lrg(log(P),P)) | 136862 | 154291714 | o2(x,o2(o1(x),x)) | true | 123303 | 123303 | -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 |
| t19_x0_u1_b95 | 19 | 0 | 1 | 95 | ![]() |
min(P,eql(log(P),P)) | 136863 | 154291715 | o2(x,o2(o1(x),x)) | true | 123311 | 123311 | -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 |
| t19_x0_u1_b96 | 19 | 0 | 1 | 96 | ![]() |
min(P,min(log(P),P)) | 136864 | 154291716 | o2(x,o2(o1(x),x)) | true | 123319 | 123319 | -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.005854 | 0.03284 | 0.2495 | 0.006466 | 0.03627 | 0.2755 | json |
| t19_x0_u1_b97 | 19 | 0 | 1 | 97 | ![]() |
min(P,dot(log(P),P)) | 136865 | 154291717 | o2(x,o2(o1(x),x)) | true | 123327 | 123327 | 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 |
| t19_x0_u1_b98 | 19 | 0 | 1 | 98 | ![]() |
min(P,dst(log(P),P)) | 136866 | 154291718 | o2(x,o2(o1(x),x)) | true | 123335 | 123335 | 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 |
| t19_x0_u1_b99 | 19 | 0 | 1 | 99 | ![]() |
dot(P,add(log(P),P)) | 136867 | 154291719 | o2(x,o2(o1(x),x)) | true | 123343 | 123343 | -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 |
| t19_x0_u1_b100 | 19 | 0 | 1 | 100 | ![]() |
dot(P,sub(log(P),P)) | 136868 | 154291720 | o2(x,o2(o1(x),x)) | true | 123351 | 123351 | -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 |
| t19_x0_u1_b101 | 19 | 0 | 1 | 101 | ![]() |
dot(P,mlt(log(P),P)) | 136869 | 154291721 | o2(x,o2(o1(x),x)) | true | 123359 | 123359 | -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 |
| t19_x0_u1_b102 | 19 | 0 | 1 | 102 | ![]() |
dot(P,div(log(P),P)) | 136870 | 154291722 | o2(x,o2(o1(x),x)) | true | 123367 | 123367 | -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 |
| t19_x0_u1_b103 | 19 | 0 | 1 | 103 | ![]() |
dot(P,pow(log(P),P)) | 136871 | 154291723 | o2(x,o2(o1(x),x)) | true | 123375 | 123375 | -0.5089 | 0.2461 | 0.9911 | 0.731 | 0.855 | -1 | 1 | 2 | 1 | 0.9197 | 0.006786 | 0.006786 | 0.007874 | 0.000001681 | 1 | 3.829e-10 | 0.02706 | 0.01453 | 0.01351 | 0.1162 | 14.76 | 2 | 0.01857 | 0.03702 | 1 | 1 | 0.01711 | 0.07036 | 0.3001 | 0.02341 | 0.09626 | 0.4105 | json |
| t19_x0_u1_b104 | 19 | 0 | 1 | 104 | ![]() |
dot(P,mod(log(P),P)) | 136872 | 154291724 | o2(x,o2(o1(x),x)) | true | 123383 | 123383 | -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 |
| t19_x0_u1_b105 | 19 | 0 | 1 | 105 | ![]() |
dot(P,lrg(log(P),P)) | 136873 | 154291725 | o2(x,o2(o1(x),x)) | true | 123391 | 123391 | -0.7179 | 0 | 0.7179 | 0.1955 | 0.4421 | -1 | 0 | 1 | 1 | 1.263 | 0.0001877 | 0.0001877 | 0.00417 | 0.000001628 | 1 | 5.134e-10 | 0.00002276 | 0.0009958 | 0.0003579 | 0.01892 | 4.537 | 0.1628 | 0.00192 | 0.0001164 | 1 | 1 | 0.001001 | 0.01303 | 0.08014 | 0.005121 | 0.06664 | 0.41 | json |
| t19_x0_u1_b106 | 19 | 0 | 1 | 106 | ![]() |
dot(P,eql(log(P),P)) | 136874 | 154291726 | o2(x,o2(o1(x),x)) | true | 123399 | 123399 | 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 |
| t19_x0_u1_b107 | 19 | 0 | 1 | 107 | ![]() |
dot(P,min(log(P),P)) | 136875 | 154291727 | o2(x,o2(o1(x),x)) | true | 123407 | 123407 | -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 |
| t19_x0_u1_b108 | 19 | 0 | 1 | 108 | ![]() |
dot(P,dot(log(P),P)) | 136876 | 154291728 | o2(x,o2(o1(x),x)) | true | 123415 | 123415 | -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 |
| t19_x0_u1_b109 | 19 | 0 | 1 | 109 | ![]() |
dot(P,dst(log(P),P)) | 136877 | 154291729 | o2(x,o2(o1(x),x)) | true | 123423 | 123423 | -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 |
| t19_x0_u1_b110 | 19 | 0 | 1 | 110 | ![]() |
dst(P,add(log(P),P)) | 136878 | 154291730 | o2(x,o2(o1(x),x)) | true | 123431 | 123431 | -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 |
| t19_x0_u1_b111 | 19 | 0 | 1 | 111 | ![]() |
dst(P,sub(log(P),P)) | 136879 | 154291731 | o2(x,o2(o1(x),x)) | true | 123439 | 123439 | -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 |
| t19_x0_u1_b112 | 19 | 0 | 1 | 112 | ![]() |
dst(P,mlt(log(P),P)) | 136880 | 154291732 | o2(x,o2(o1(x),x)) | true | 123447 | 123447 | -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 |
| t19_x0_u1_b113 | 19 | 0 | 1 | 113 | ![]() |
dst(P,div(log(P),P)) | 136881 | 154291733 | o2(x,o2(o1(x),x)) | true | 123455 | 123455 | -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 |
| t19_x0_u1_b114 | 19 | 0 | 1 | 114 | ![]() |
dst(P,pow(log(P),P)) | 136882 | 154291734 | o2(x,o2(o1(x),x)) | true | 123463 | 123463 | -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.02105 | 0.08421 | 0.3368 | 0.02807 | 0.1123 | 0.4491 | json |
| t19_x0_u1_b115 | 19 | 0 | 1 | 115 | ![]() |
dst(P,mod(log(P),P)) | 136883 | 154291735 | o2(x,o2(o1(x),x)) | true | 123471 | 123471 | -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 |
| t19_x0_u1_b116 | 19 | 0 | 1 | 116 | ![]() |
dst(P,lrg(log(P),P)) | 136884 | 154291736 | o2(x,o2(o1(x),x)) | true | 123479 | 123479 | 0.9975 | 1 | 0.9975 | 0.001697 | 0.04119 | 0.000582 | 1 | 0.9994 | 1 | 0.06507 | 0.00004784 | 0.00004784 | 0.0006986 | -4.563e-7 | 0 | 1.877e-11 | 0.0000269 | 0.0003063 | 0.00009518 | 0.009756 | 13.96 | 0.2265 | 0.05638 | 0.01585 | 1 | 1 | 0.0003188 | 0.003253 | 0.006183 | 0.1879 | 1.917 | 3.643 | json |
| t19_x0_u1_b117 | 19 | 0 | 1 | 117 | ![]() |
dst(P,eql(log(P),P)) | 136885 | 154291737 | o2(x,o2(o1(x),x)) | true | 123487 | 123487 | 0.9964 | 1 | 0.9964 | 0.002289 | 0.04784 | 0.000582 | 1 | 0.9994 | 1 | 0.09109 | 0.00003966 | 0.00003966 | 0.0008105 | 5.503e-7 | 0 | -4.881e-11 | 0.00001004 | 0.0002297 | 0.00007859 | 0.008865 | 10.94 | 0.1294 | 0.03466 | 0.004388 | 1 | 1 | 0.0002733 | 0.00336 | 0.008351 | 0.1194 | 1.468 | 3.649 | json |
| t19_x0_u1_b118 | 19 | 0 | 1 | 118 | ![]() |
dst(P,min(log(P),P)) | 136886 | 154291738 | o2(x,o2(o1(x),x)) | true | 123495 | 123495 | -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 |
| t19_x0_u1_b119 | 19 | 0 | 1 | 119 | ![]() |
dst(P,dot(log(P),P)) | 136887 | 154291739 | o2(x,o2(o1(x),x)) | true | 123503 | 123503 | -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 |
| t19_x0_u1_b120 | 19 | 0 | 1 | 120 | ![]() |
dst(P,dst(log(P),P)) | 136888 | 154291740 | o2(x,o2(o1(x),x)) | true | 123511 | 123511 | -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 |
| t19_x0_u2_b0 | 19 | 0 | 2 | 0 | ![]() |
add(P,add(frc(P),P)) | 136889 | 154291821 | o2(x,o2(o1(x),x)) | true | 123519 | 123519 | 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 |
| t19_x0_u2_b1 | 19 | 0 | 2 | 1 | ![]() |
add(P,sub(frc(P),P)) | 136890 | 154291822 | o2(x,o2(o1(x),x)) | true | 123527 | 123527 | 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 |
| t19_x0_u2_b2 | 19 | 0 | 2 | 2 | ![]() |
add(P,mlt(frc(P),P)) | 136891 | 154291823 | o2(x,o2(o1(x),x)) | true | 123535 | 123535 | 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 |
| t19_x0_u2_b3 | 19 | 0 | 2 | 3 | ![]() |
add(P,div(frc(P),P)) | 136892 | 154291824 | o2(x,o2(o1(x),x)) | true | 123543 | 123543 | 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 |
| t19_x0_u2_b4 | 19 | 0 | 2 | 4 | ![]() |
add(P,pow(frc(P),P)) | 136893 | 154291825 | o2(x,o2(o1(x),x)) | true | 123551 | 123551 | 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 |
| t19_x0_u2_b5 | 19 | 0 | 2 | 5 | ![]() |
add(P,mod(frc(P),P)) | 136894 | 154291826 | o2(x,o2(o1(x),x)) | true | 123559 | 123559 | 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 |
| t19_x0_u2_b6 | 19 | 0 | 2 | 6 | ![]() |
add(P,lrg(frc(P),P)) | 136895 | 154291827 | o2(x,o2(o1(x),x)) | true | 123567 | 123567 | 0.0625 | 0.5 | 0.875 | 0.8576 | 0.926 | -1 | 1 | 2 | 1 | 2.027 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003238 | 0.001855 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0008231 | 0.00003776 | 1 | 1 | 0.001851 | 0.02429 | 0.1593 | 0.002158 | 0.02832 | 0.1858 | json |
| t19_x0_u2_b7 | 19 | 0 | 2 | 7 | ![]() |
add(P,eql(frc(P),P)) | 136896 | 154291828 | o2(x,o2(o1(x),x)) | true | 123575 | 123575 | 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 |
| t19_x0_u2_b8 | 19 | 0 | 2 | 8 | ![]() |
add(P,min(frc(P),P)) | 136897 | 154291829 | o2(x,o2(o1(x),x)) | true | 123583 | 123583 | -0.009727 | 0.5 | 0.9472 | 0.9365 | 0.9677 | -1 | 1 | 2 | 1 | 1.65 | 0.001005 | 0 | 0.007937 | 1 | 1 | 4.731e-10 | 0.0001502 | 0.002719 | 0.0009424 | 0.0307 | 3.868 | 0.2265 | 0.001073 | 0.0001604 | 1 | 1 | 0.002565 | 0.02848 | 0.2515 | 0.002739 | 0.03041 | 0.2686 | json |
| t19_x0_u2_b9 | 19 | 0 | 2 | 9 | ![]() |
add(P,dot(frc(P),P)) | 136898 | 154291830 | o2(x,o2(o1(x),x)) | true | 123591 | 123591 | 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 |
| t19_x0_u2_b10 | 19 | 0 | 2 | 10 | ![]() |
add(P,dst(frc(P),P)) | 136899 | 154291831 | o2(x,o2(o1(x),x)) | true | 123599 | 123599 | 0.885 | 0.9968 | 0.885 | 0.07625 | 0.2761 | 0.00001812 | 1 | 1 | 1 | 1.305 | 0.00005943 | 0.0001798 | 0.004703 | -0.5033 | 1 | -0.000002319 | 0.00003737 | 0.001341 | 0.0002171 | 0.01473 | 3.133 | 0.2282 | 0.003138 | 0.0004901 | 1 | 1 | 0.0007094 | 0.0084 | 0.06467 | 0.009305 | 0.1102 | 0.8481 | json |



































































































