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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t18_x0_u0_b34 | 18 | 0 | 0 | 34 | ![]() |
add(P,div(P,sub(P,P))) | 120400 | 146170852 | o2(x,o2(x,o2(x,x))) | true | 123207 | 123207 | -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 |
| t18_x0_u0_b35 | 18 | 0 | 0 | 35 | ![]() |
add(P,div(P,mlt(P,P))) | 120401 | 146170853 | o2(x,o2(x,o2(x,x))) | true | 123215 | 123215 | -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 |
| t18_x0_u0_b36 | 18 | 0 | 0 | 36 | ![]() |
add(P,div(P,div(P,P))) | 120402 | 146170854 | o2(x,o2(x,o2(x,x))) | true | 123223 | 123223 | -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 |
| t18_x0_u0_b37 | 18 | 0 | 0 | 37 | ![]() |
add(P,div(P,pow(P,P))) | 120403 | 146170855 | o2(x,o2(x,o2(x,x))) | true | 123231 | 123231 | -0.02152 | 0.5 | 0.9785 | 0.9739 | 0.9869 | -1 | 1 | 2 | 1 | 1.244 | 0.004625 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.007971 | 0.009631 | 0.00456 | 0.06753 | 8.509 | 1.001 | 0.004749 | 0.008185 | 1 | 1 | 0.006981 | 0.05009 | 0.3027 | 0.007168 | 0.05143 | 0.3108 | json |
| t18_x0_u0_b38 | 18 | 0 | 0 | 38 | ![]() |
add(P,div(P,mod(P,P))) | 120404 | 146170856 | o2(x,o2(x,o2(x,x))) | true | 123239 | 123239 | -0.625 | 0.1875 | 1 | 0.6094 | 0.7806 | -1 | 1 | 2 | 1 | 0.6962 | 0.04762 | 0 | 0.02381 | 1 | 1 | 0 | 0.09524 | 0.04762 | 0.04704 | 0.2169 | 9.109 | 2 | 0.07814 | 0.1563 | 1 | 1 | 0.05263 | 0.2421 | 0.6632 | 0.08637 | 0.3973 | 1.088 | json |
| t18_x0_u0_b39 | 18 | 0 | 0 | 39 | ![]() |
add(P,div(P,lrg(P,P))) | 120405 | 146170857 | o2(x,o2(x,o2(x,x))) | true | 123247 | 123247 | -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 |
| t18_x0_u0_b40 | 18 | 0 | 0 | 40 | ![]() |
add(P,div(P,eql(P,P))) | 120406 | 146170858 | o2(x,o2(x,o2(x,x))) | true | 123255 | 123255 | 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 |
| t18_x0_u0_b41 | 18 | 0 | 0 | 41 | ![]() |
add(P,div(P,min(P,P))) | 120407 | 146170859 | o2(x,o2(x,o2(x,x))) | true | 123263 | 123263 | -0.09375 | 0.4375 | 0.9688 | 0.9525 | 0.976 | -1 | 1 | 2 | 1 | 1.404 | 0.02019 | 0 | 0.01587 | 1 | 1 | 0 | 0.03975 | 0.02473 | 0.01993 | 0.1412 | 8.896 | 2 | 0.0212 | 0.04173 | 1 | 1 | 0.0272 | 0.1109 | 0.3698 | 0.02856 | 0.1164 | 0.3883 | json |
| t18_x0_u0_b42 | 18 | 0 | 0 | 42 | ![]() |
add(P,div(P,dot(P,P))) | 120408 | 146170860 | o2(x,o2(x,o2(x,x))) | true | 123271 | 123271 | -0.01563 | 0.4922 | 0.9484 | 0.9374 | 0.9682 | -1 | 1 | 2 | 1 | 1.671 | 0.002719 | 0.001547 | 0.008905 | 0.2745 | 1 | 1.502e-11 | 0.007453 | 0.0058 | 0.004188 | 0.06472 | 7.268 | 2.828 | 0.004551 | 0.00795 | 1 | 1 | 0.008067 | 0.04725 | 0.301 | 0.008605 | 0.05041 | 0.3211 | json |
| t18_x0_u0_b43 | 18 | 0 | 0 | 43 | ![]() |
add(P,div(P,dst(P,P))) | 120409 | 146170861 | o2(x,o2(x,o2(x,x))) | true | 123279 | 123279 | -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 |
| t18_x0_u0_b44 | 18 | 0 | 0 | 44 | ![]() |
add(P,pow(P,add(P,P))) | 120410 | 146170862 | o2(x,o2(x,o2(x,x))) | true | 123287 | 123287 | 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 |
| t18_x0_u0_b45 | 18 | 0 | 0 | 45 | ![]() |
add(P,pow(P,sub(P,P))) | 120411 | 146170863 | o2(x,o2(x,o2(x,x))) | true | 123295 | 123295 | 0.125 | 0.5625 | 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 |
| t18_x0_u0_b46 | 18 | 0 | 0 | 46 | ![]() |
add(P,pow(P,mlt(P,P))) | 120412 | 146170864 | o2(x,o2(x,o2(x,x))) | true | 123303 | 123303 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.03225 | 0.0645 | 1 | 1 | 0.02105 | 0.08421 | 0.4947 | 0.02139 | 0.08555 | 0.5026 | json |
| t18_x0_u0_b47 | 18 | 0 | 0 | 47 | ![]() |
add(P,pow(P,div(P,P))) | 120413 | 146170865 | o2(x,o2(x,o2(x,x))) | true | 123311 | 123311 | -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 |
| t18_x0_u0_b48 | 18 | 0 | 0 | 48 | ![]() |
add(P,pow(P,pow(P,P))) | 120414 | 146170866 | o2(x,o2(x,o2(x,x))) | true | 123319 | 123319 | -0.5215 | 0.25 | 0.9785 | 0.7029 | 0.8384 | -1 | 1 | 2 | 1 | 1.022 | 0.0205 | 0 | 0.01587 | 1 | 1 | 0 | 0.03972 | 0.0255 | 0.02024 | 0.1423 | 8.963 | 2 | 0.02916 | 0.0565 | 1 | 1 | 0.02803 | 0.1343 | 0.6396 | 0.03988 | 0.1911 | 0.9099 | json |
| t18_x0_u0_b49 | 18 | 0 | 0 | 49 | ![]() |
add(P,pow(P,mod(P,P))) | 120415 | 146170867 | o2(x,o2(x,o2(x,x))) | true | 123327 | 123327 | -0.09375 | 0.4375 | 0.9688 | 0.9525 | 0.976 | -1 | 1 | 2 | 1 | 1.404 | 0.02019 | 0 | 0.01587 | 1 | 1 | 0 | 0.03975 | 0.02473 | 0.01993 | 0.1412 | 8.896 | 2 | 0.0212 | 0.04173 | 1 | 1 | 0.0272 | 0.1109 | 0.3698 | 0.02856 | 0.1164 | 0.3883 | json |
| t18_x0_u0_b50 | 18 | 0 | 0 | 50 | ![]() |
add(P,pow(P,lrg(P,P))) | 120416 | 146170868 | o2(x,o2(x,o2(x,x))) | true | 123335 | 123335 | 0.125 | 0.5625 | 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 |
| t18_x0_u0_b51 | 18 | 0 | 0 | 51 | ![]() |
add(P,pow(P,eql(P,P))) | 120417 | 146170869 | o2(x,o2(x,o2(x,x))) | true | 123343 | 123343 | 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 |
| t18_x0_u0_b52 | 18 | 0 | 0 | 52 | ![]() |
add(P,pow(P,min(P,P))) | 120418 | 146170870 | o2(x,o2(x,o2(x,x))) | true | 123351 | 123351 | 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 |
| t18_x0_u0_b53 | 18 | 0 | 0 | 53 | ![]() |
add(P,pow(P,dot(P,P))) | 120419 | 146170871 | o2(x,o2(x,o2(x,x))) | true | 123359 | 123359 | -0.4029 | 0.3086 | 0.9799 | 0.8138 | 0.9021 | -1 | 1 | 2 | 1 | 1.112 | 0.02115 | 0.006061 | 0.01893 | 0.5545 | 1 | -6.007e-11 | 0.05473 | 0.03199 | 0.02686 | 0.1639 | 8.657 | 2.828 | 0.03344 | 0.06725 | 1 | 1 | 0.02893 | 0.1581 | 0.7451 | 0.03555 | 0.1942 | 0.9155 | json |
| t18_x0_u0_b54 | 18 | 0 | 0 | 54 | ![]() |
add(P,pow(P,dst(P,P))) | 120420 | 146170872 | o2(x,o2(x,o2(x,x))) | true | 123367 | 123367 | 0.125 | 0.5625 | 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 |
| t18_x0_u0_b55 | 18 | 0 | 0 | 55 | ![]() |
add(P,mod(P,add(P,P))) | 120421 | 146170873 | o2(x,o2(x,o2(x,x))) | true | 123375 | 123375 | -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 |
| t18_x0_u0_b56 | 18 | 0 | 0 | 56 | ![]() |
add(P,mod(P,sub(P,P))) | 120422 | 146170874 | o2(x,o2(x,o2(x,x))) | true | 123383 | 123383 | 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 |
| t18_x0_u0_b57 | 18 | 0 | 0 | 57 | ![]() |
add(P,mod(P,mlt(P,P))) | 120423 | 146170875 | o2(x,o2(x,o2(x,x))) | true | 123391 | 123391 | -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 |
| t18_x0_u0_b58 | 18 | 0 | 0 | 58 | ![]() |
add(P,mod(P,div(P,P))) | 120424 | 146170876 | o2(x,o2(x,o2(x,x))) | true | 123399 | 123399 | -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 |
| t18_x0_u0_b59 | 18 | 0 | 0 | 59 | ![]() |
add(P,mod(P,pow(P,P))) | 120425 | 146170877 | o2(x,o2(x,o2(x,x))) | true | 123407 | 123407 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0.006228 | 0.03975 | 0.2856 | 0.006485 | 0.04139 | 0.2974 | json |
| t18_x0_u0_b60 | 18 | 0 | 0 | 60 | ![]() |
add(P,mod(P,mod(P,P))) | 120426 | 146170878 | o2(x,o2(x,o2(x,x))) | true | 123415 | 123415 | -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.01053 | 0.07368 | 0.1684 | 0.04491 | 0.3144 | 0.7186 | json |
| t18_x0_u0_b61 | 18 | 0 | 0 | 61 | ![]() |
add(P,mod(P,lrg(P,P))) | 120427 | 146170879 | o2(x,o2(x,o2(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 |
| t18_x0_u0_b62 | 18 | 0 | 0 | 62 | ![]() |
add(P,mod(P,eql(P,P))) | 120428 | 146170880 | o2(x,o2(x,o2(x,x))) | true | 123431 | 123431 | 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 |
| t18_x0_u0_b63 | 18 | 0 | 0 | 63 | ![]() |
add(P,mod(P,min(P,P))) | 120429 | 146170881 | o2(x,o2(x,o2(x,x))) | true | 123439 | 123439 | -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 |
| t18_x0_u0_b64 | 18 | 0 | 0 | 64 | ![]() |
add(P,mod(P,dot(P,P))) | 120430 | 146170882 | o2(x,o2(x,o2(x,x))) | true | 123447 | 123447 | -0.01563 | 0.4922 | 0.9623 | 0.9552 | 0.9774 | -1 | 1 | 2 | 1 | 1.437 | 0.003153 | 0.001607 | 0.008901 | 0.3248 | 1 | 0 | 0.007752 | 0.007141 | 0.004686 | 0.06846 | 7.691 | 2.828 | 0.004984 | 0.008116 | 1 | 1 | 0.0091 | 0.05267 | 0.3253 | 0.009527 | 0.05514 | 0.3406 | json |
| t18_x0_u0_b65 | 18 | 0 | 0 | 65 | ![]() |
add(P,mod(P,dst(P,P))) | 120431 | 146170883 | o2(x,o2(x,o2(x,x))) | true | 123455 | 123455 | 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 |
| t18_x0_u0_b66 | 18 | 0 | 0 | 66 | ![]() |
add(P,lrg(P,add(P,P))) | 120432 | 146170884 | o2(x,o2(x,o2(x,x))) | true | 123463 | 123463 | 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 |
| t18_x0_u0_b67 | 18 | 0 | 0 | 67 | ![]() |
add(P,lrg(P,sub(P,P))) | 120433 | 146170885 | o2(x,o2(x,o2(x,x))) | true | 123471 | 123471 | 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 |
| t18_x0_u0_b68 | 18 | 0 | 0 | 68 | ![]() |
add(P,lrg(P,mlt(P,P))) | 120434 | 146170886 | o2(x,o2(x,o2(x,x))) | true | 123479 | 123479 | 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 |
| t18_x0_u0_b69 | 18 | 0 | 0 | 69 | ![]() |
add(P,lrg(P,div(P,P))) | 120435 | 146170887 | o2(x,o2(x,o2(x,x))) | true | 123487 | 123487 | 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 |
| t18_x0_u0_b70 | 18 | 0 | 0 | 70 | ![]() |
add(P,lrg(P,pow(P,P))) | 120436 | 146170888 | o2(x,o2(x,o2(x,x))) | true | 123495 | 123495 | 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 |
| t18_x0_u0_b71 | 18 | 0 | 0 | 71 | ![]() |
add(P,lrg(P,mod(P,P))) | 120437 | 146170889 | o2(x,o2(x,o2(x,x))) | true | 123503 | 123503 | 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 |
| t18_x0_u0_b72 | 18 | 0 | 0 | 72 | ![]() |
add(P,lrg(P,lrg(P,P))) | 120438 | 146170890 | o2(x,o2(x,o2(x,x))) | true | 123511 | 123511 | 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 |
| t18_x0_u0_b73 | 18 | 0 | 0 | 73 | ![]() |
add(P,lrg(P,eql(P,P))) | 120439 | 146170891 | o2(x,o2(x,o2(x,x))) | true | 123519 | 123519 | 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 |
| t18_x0_u0_b74 | 18 | 0 | 0 | 74 | ![]() |
add(P,lrg(P,min(P,P))) | 120440 | 146170892 | o2(x,o2(x,o2(x,x))) | true | 123527 | 123527 | 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 |
| t18_x0_u0_b75 | 18 | 0 | 0 | 75 | ![]() |
add(P,lrg(P,dot(P,P))) | 120441 | 146170893 | o2(x,o2(x,o2(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 |
| t18_x0_u0_b76 | 18 | 0 | 0 | 76 | ![]() |
add(P,lrg(P,dst(P,P))) | 120442 | 146170894 | o2(x,o2(x,o2(x,x))) | true | 123543 | 123543 | 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 |
| t18_x0_u0_b77 | 18 | 0 | 0 | 77 | ![]() |
add(P,eql(P,add(P,P))) | 120443 | 146170895 | o2(x,o2(x,o2(x,x))) | true | 123551 | 123551 | 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 |
| t18_x0_u0_b78 | 18 | 0 | 0 | 78 | ![]() |
add(P,eql(P,sub(P,P))) | 120444 | 146170896 | o2(x,o2(x,o2(x,x))) | true | 123559 | 123559 | 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 |
| t18_x0_u0_b79 | 18 | 0 | 0 | 79 | ![]() |
add(P,eql(P,mlt(P,P))) | 120445 | 146170897 | o2(x,o2(x,o2(x,x))) | true | 123567 | 123567 | 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 |
| t18_x0_u0_b80 | 18 | 0 | 0 | 80 | ![]() |
add(P,eql(P,div(P,P))) | 120446 | 146170898 | o2(x,o2(x,o2(x,x))) | true | 123575 | 123575 | 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 |
| t18_x0_u0_b81 | 18 | 0 | 0 | 81 | ![]() |
add(P,eql(P,pow(P,P))) | 120447 | 146170899 | o2(x,o2(x,o2(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 |
| t18_x0_u0_b82 | 18 | 0 | 0 | 82 | ![]() |
add(P,eql(P,mod(P,P))) | 120448 | 146170900 | o2(x,o2(x,o2(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 |
| t18_x0_u0_b83 | 18 | 0 | 0 | 83 | ![]() |
add(P,eql(P,lrg(P,P))) | 120449 | 146170901 | o2(x,o2(x,o2(x,x))) | true | 123599 | 123599 | 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 |
| t18_x0_u0_b84 | 18 | 0 | 0 | 84 | ![]() |
add(P,eql(P,eql(P,P))) | 120450 | 146170902 | o2(x,o2(x,o2(x,x))) | true | 123607 | 123607 | 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 |
| t18_x0_u0_b85 | 18 | 0 | 0 | 85 | ![]() |
add(P,eql(P,min(P,P))) | 120451 | 146170903 | o2(x,o2(x,o2(x,x))) | true | 123615 | 123615 | 0.125 | 0.5625 | 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 |
| t18_x0_u0_b86 | 18 | 0 | 0 | 86 | ![]() |
add(P,eql(P,dot(P,P))) | 120452 | 146170904 | o2(x,o2(x,o2(x,x))) | true | 123623 | 123623 | 0.004188 | 0.5027 | 0.9403 | 0.9268 | 0.9627 | -1 | 1 | 2 | 1 | 1.803 | 0.0007458 | 0.00003997 | 0.008196 | 0.8983 | 1 | 5.561e-11 | 0.00004759 | 0.001936 | 0.0007189 | 0.02681 | 3.271 | 0.2338 | 0.0008478 | 0.00005135 | 1 | 1 | 0.002124 | 0.02786 | 0.2443 | 0.002292 | 0.03006 | 0.2636 | json |
| t18_x0_u0_b87 | 18 | 0 | 0 | 87 | ![]() |
add(P,eql(P,dst(P,P))) | 120453 | 146170905 | o2(x,o2(x,o2(x,x))) | true | 123631 | 123631 | 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 |
| t18_x0_u0_b88 | 18 | 0 | 0 | 88 | ![]() |
add(P,min(P,add(P,P))) | 120454 | 146170906 | o2(x,o2(x,o2(x,x))) | true | 123639 | 123639 | -0.003595 | 0.5 | 0.9605 | 0.9538 | 0.9766 | -1 | 1 | 2 | 1 | 1.433 | 0.001539 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.0005443 | 0.004233 | 0.001476 | 0.03841 | 4.84 | 0.3082 | 0.001613 | 0.0005706 | 1 | 1 | 0.003721 | 0.03425 | 0.2746 | 0.003901 | 0.03591 | 0.2879 | json |
| t18_x0_u0_b89 | 18 | 0 | 0 | 89 | ![]() |
add(P,min(P,sub(P,P))) | 120455 | 146170907 | o2(x,o2(x,o2(x,x))) | true | 123647 | 123647 | -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 |
| t18_x0_u0_b90 | 18 | 0 | 0 | 90 | ![]() |
add(P,min(P,mlt(P,P))) | 120456 | 146170908 | o2(x,o2(x,o2(x,x))) | true | 123655 | 123655 | 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 |
| t18_x0_u0_b91 | 18 | 0 | 0 | 91 | ![]() |
add(P,min(P,div(P,P))) | 120457 | 146170909 | o2(x,o2(x,o2(x,x))) | true | 123663 | 123663 | 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 |
| t18_x0_u0_b92 | 18 | 0 | 0 | 92 | ![]() |
add(P,min(P,pow(P,P))) | 120458 | 146170910 | o2(x,o2(x,o2(x,x))) | true | 123671 | 123671 | 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 |
| t18_x0_u0_b93 | 18 | 0 | 0 | 93 | ![]() |
add(P,min(P,mod(P,P))) | 120459 | 146170911 | o2(x,o2(x,o2(x,x))) | true | 123679 | 123679 | -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 |
| t18_x0_u0_b94 | 18 | 0 | 0 | 94 | ![]() |
add(P,min(P,lrg(P,P))) | 120460 | 146170912 | o2(x,o2(x,o2(x,x))) | true | 123687 | 123687 | -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 |
| t18_x0_u0_b95 | 18 | 0 | 0 | 95 | ![]() |
add(P,min(P,eql(P,P))) | 120461 | 146170913 | o2(x,o2(x,o2(x,x))) | true | 123695 | 123695 | 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 |
| t18_x0_u0_b96 | 18 | 0 | 0 | 96 | ![]() |
add(P,min(P,min(P,P))) | 120462 | 146170914 | o2(x,o2(x,o2(x,x))) | true | 123703 | 123703 | 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 |
| t18_x0_u0_b97 | 18 | 0 | 0 | 97 | ![]() |
add(P,min(P,dot(P,P))) | 120463 | 146170915 | o2(x,o2(x,o2(x,x))) | true | 123711 | 123711 | 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 |
| t18_x0_u0_b98 | 18 | 0 | 0 | 98 | ![]() |
add(P,min(P,dst(P,P))) | 120464 | 146170916 | o2(x,o2(x,o2(x,x))) | true | 123719 | 123719 | -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 |
| t18_x0_u0_b99 | 18 | 0 | 0 | 99 | ![]() |
add(P,dot(P,add(P,P))) | 120465 | 146170917 | o2(x,o2(x,o2(x,x))) | true | 123727 | 123727 | 0.9981 | 1 | 0.9981 | 0.001308 | 0.03617 | 0.0008731 | 1 | 0.9991 | 1 | 0.04674 | 0.0000487 | 0.00005869 | 0.0006048 | -0.09304 | 1 | 7.509e-12 | 0.00004495 | 0.0003565 | 0.0001071 | 0.01035 | 17.11 | 0.3116 | 0.08209 | 0.03436 | 1 | 1 | 0.0003479 | 0.00308 | 0.004769 | 0.266 | 2.355 | 3.646 | json |
| t18_x0_u0_b100 | 18 | 0 | 0 | 100 | ![]() |
add(P,dot(P,sub(P,P))) | 120466 | 146170918 | o2(x,o2(x,o2(x,x))) | true | 123735 | 123735 | 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 |
| t18_x0_u0_b101 | 18 | 0 | 0 | 101 | ![]() |
add(P,dot(P,mlt(P,P))) | 120467 | 146170919 | o2(x,o2(x,o2(x,x))) | true | 123743 | 123743 | -9.313e-10 | 0.5 | 0.9934 | 0.9913 | 0.9957 | -1 | 1 | 2 | 1 | 1.143 | 0.01001 | 0.0103 | 0.01235 | -0.01385 | 1 | 3.754e-12 | 0.05924 | 0.022 | 0.02014 | 0.1419 | 11.49 | 2.828 | 0.02049 | 0.05976 | 1 | 1 | 0.02798 | 0.1392 | 0.5852 | 0.02822 | 0.1404 | 0.5903 | json |
| t18_x0_u0_b102 | 18 | 0 | 0 | 102 | ![]() |
add(P,dot(P,div(P,P))) | 120468 | 146170920 | o2(x,o2(x,o2(x,x))) | true | 123751 | 123751 | -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 |
| t18_x0_u0_b103 | 18 | 0 | 0 | 103 | ![]() |
add(P,dot(P,pow(P,P))) | 120469 | 146170921 | o2(x,o2(x,o2(x,x))) | true | 123759 | 123759 | -0.5006 | 0.25 | 0.9994 | 0.7486 | 0.8652 | -1 | 1 | 2 | 1 | 0.826 | 0.00755 | 0.007669 | 0.00789 | -0.00779 | 1 | 7.509e-11 | 0.03042 | 0.01552 | 0.01516 | 0.1231 | 15.6 | 2 | 0.02033 | 0.04064 | 1 | 1 | 0.01995 | 0.08149 | 0.334 | 0.02665 | 0.1089 | 0.4462 | json |
| t18_x0_u0_b104 | 18 | 0 | 0 | 104 | ![]() |
add(P,dot(P,mod(P,P))) | 120470 | 146170922 | o2(x,o2(x,o2(x,x))) | true | 123767 | 123767 | -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 |
| t18_x0_u0_b105 | 18 | 0 | 0 | 105 | ![]() |
add(P,dot(P,lrg(P,P))) | 120471 | 146170923 | o2(x,o2(x,o2(x,x))) | true | 123775 | 123775 | 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 |
| t18_x0_u0_b106 | 18 | 0 | 0 | 106 | ![]() |
add(P,dot(P,eql(P,P))) | 120472 | 146170924 | o2(x,o2(x,o2(x,x))) | true | 123783 | 123783 | -1.071e-8 | 0.5 | 0.9688 | 0.9594 | 0.9795 | -1 | 1 | 2 | 1 | 1.531 | 0.001366 | 0.0003547 | 0.009634 | 0.5878 | 1 | 0 | 0.0003278 | 0.003308 | 0.001628 | 0.04034 | 4.188 | 0.2614 | 0.001794 | 0.0003416 | 1 | 1 | 0.004392 | 0.0509 | 0.3961 | 0.004578 | 0.05305 | 0.4129 | json |
| t18_x0_u0_b107 | 18 | 0 | 0 | 107 | ![]() |
add(P,dot(P,min(P,P))) | 120473 | 146170925 | o2(x,o2(x,o2(x,x))) | true | 123791 | 123791 | 0.9937 | 1 | 0.9937 | 0.004639 | 0.06811 | 0.000291 | 1 | 0.9997 | 1 | 0.1265 | 0.00007372 | 0.0000757 | 0.001194 | -0.01323 | 1 | -3.379e-11 | 0.00003768 | 0.0004689 | 0.0001478 | 0.01216 | 10.18 | 0.2359 | 0.03221 | 0.008122 | 1 | 1 | 0.0005008 | 0.005438 | 0.017 | 0.108 | 1.172 | 3.665 | json |
| t18_x0_u0_b108 | 18 | 0 | 0 | 108 | ![]() |
add(P,dot(P,dot(P,P))) | 120474 | 146170926 | o2(x,o2(x,o2(x,x))) | true | 123799 | 123799 | 2.095e-9 | 0.5 | 0.9928 | 0.9905 | 0.9952 | -1 | 1 | 2 | 1 | 1.154 | 0.009056 | 0.00935 | 0.0124 | -0.01595 | 1 | -4.505e-11 | 0.04929 | 0.02041 | 0.01827 | 0.1351 | 10.9 | 2.828 | 0.01858 | 0.04976 | 1 | 1 | 0.02623 | 0.1366 | 0.5828 | 0.02648 | 0.1379 | 0.5883 | json |
| t18_x0_u0_b109 | 18 | 0 | 0 | 109 | ![]() |
add(P,dot(P,dst(P,P))) | 120475 | 146170927 | o2(x,o2(x,o2(x,x))) | true | 123807 | 123807 | 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 |
| t18_x0_u0_b110 | 18 | 0 | 0 | 110 | ![]() |
add(P,dst(P,add(P,P))) | 120476 | 146170928 | o2(x,o2(x,o2(x,x))) | true | 123815 | 123815 | 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 |
| t18_x0_u0_b111 | 18 | 0 | 0 | 111 | ![]() |
add(P,dst(P,sub(P,P))) | 120477 | 146170929 | o2(x,o2(x,o2(x,x))) | true | 123823 | 123823 | 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 |
| t18_x0_u0_b112 | 18 | 0 | 0 | 112 | ![]() |
add(P,dst(P,mlt(P,P))) | 120478 | 146170930 | o2(x,o2(x,o2(x,x))) | true | 123831 | 123831 | 0.9937 | 1 | 0.9937 | 0.004665 | 0.0683 | 0.000291 | 1 | 0.9997 | 1 | 0.129 | 0.0000744 | 0.00007168 | 0.0012 | 0.01859 | 1 | -4.13e-11 | 0.00003286 | 0.0004515 | 0.0001448 | 0.01203 | 10.03 | 0.2359 | 0.03131 | 0.007044 | 1 | 1 | 0.0004914 | 0.005406 | 0.0171 | 0.1053 | 1.159 | 3.665 | json |
| t18_x0_u0_b113 | 18 | 0 | 0 | 113 | ![]() |
add(P,dst(P,div(P,P))) | 120479 | 146170931 | o2(x,o2(x,o2(x,x))) | true | 123839 | 123839 | -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 |
| t18_x0_u0_b114 | 18 | 0 | 0 | 114 | ![]() |
add(P,dst(P,pow(P,P))) | 120480 | 146170932 | o2(x,o2(x,o2(x,x))) | true | 123847 | 123847 | -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 |
| t18_x0_u0_b115 | 18 | 0 | 0 | 115 | ![]() |
add(P,dst(P,mod(P,P))) | 120481 | 146170933 | o2(x,o2(x,o2(x,x))) | true | 123855 | 123855 | -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 |
| t18_x0_u0_b116 | 18 | 0 | 0 | 116 | ![]() |
add(P,dst(P,lrg(P,P))) | 120482 | 146170934 | o2(x,o2(x,o2(x,x))) | true | 123863 | 123863 | 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 |
| t18_x0_u0_b117 | 18 | 0 | 0 | 117 | ![]() |
add(P,dst(P,eql(P,P))) | 120483 | 146170935 | o2(x,o2(x,o2(x,x))) | true | 123871 | 123871 | 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 |
| t18_x0_u0_b118 | 18 | 0 | 0 | 118 | ![]() |
add(P,dst(P,min(P,P))) | 120484 | 146170936 | o2(x,o2(x,o2(x,x))) | true | 123879 | 123879 | 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 |
| t18_x0_u0_b119 | 18 | 0 | 0 | 119 | ![]() |
add(P,dst(P,dot(P,P))) | 120485 | 146170937 | o2(x,o2(x,o2(x,x))) | true | 123887 | 123887 | 0.9982 | 1 | 0.9982 | 0.001278 | 0.03575 | 0.0008335 | 1 | 0.9992 | 1 | 0.04392 | 0.00005254 | 0.00005201 | 0.0005939 | 0.005029 | 1 | -2.253e-11 | 0.00004123 | 0.000343 | 0.0001043 | 0.01021 | 17.19 | 0.2718 | 0.08182 | 0.03227 | 1 | 1 | 0.0003416 | 0.003074 | 0.004657 | 0.2673 | 2.406 | 3.645 | json |
| t18_x0_u0_b120 | 18 | 0 | 0 | 120 | ![]() |
add(P,dst(P,dst(P,P))) | 120486 | 146170938 | o2(x,o2(x,o2(x,x))) | true | 123895 | 123895 | 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 |
| t18_x0_u0_b121 | 18 | 0 | 0 | 121 | ![]() |
sub(P,add(P,add(P,P))) | 120487 | 146170939 | o2(x,o2(x,o2(x,x))) | true | 123903 | 123903 | 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 |
| t18_x0_u0_b122 | 18 | 0 | 0 | 122 | ![]() |
sub(P,add(P,sub(P,P))) | 120488 | 146170940 | o2(x,o2(x,o2(x,x))) | true | 123911 | 123911 | 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 |
| t18_x0_u0_b123 | 18 | 0 | 0 | 123 | ![]() |
sub(P,add(P,mlt(P,P))) | 120489 | 146170941 | o2(x,o2(x,o2(x,x))) | true | 123919 | 123919 | -0.9375 | 0 | 0.9375 | 0.04507 | 0.2123 | -1 | -0.000291 | 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 |
| t18_x0_u0_b124 | 18 | 0 | 0 | 124 | ![]() |
sub(P,add(P,div(P,P))) | 120490 | 146170942 | o2(x,o2(x,o2(x,x))) | true | 123927 | 123927 | -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 |
| t18_x0_u0_b125 | 18 | 0 | 0 | 125 | ![]() |
sub(P,add(P,pow(P,P))) | 120491 | 146170943 | o2(x,o2(x,o2(x,x))) | true | 123935 | 123935 | -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 |
| t18_x0_u0_b126 | 18 | 0 | 0 | 126 | ![]() |
sub(P,add(P,mod(P,P))) | 120492 | 146170944 | o2(x,o2(x,o2(x,x))) | true | 123943 | 123943 | -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 |
| t18_x0_u0_b127 | 18 | 0 | 0 | 127 | ![]() |
sub(P,add(P,lrg(P,P))) | 120493 | 146170945 | o2(x,o2(x,o2(x,x))) | true | 123951 | 123951 | 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 |
| t18_x0_u0_b128 | 18 | 0 | 0 | 128 | ![]() |
sub(P,add(P,eql(P,P))) | 120494 | 146170946 | o2(x,o2(x,o2(x,x))) | true | 123959 | 123959 | -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 |
| t18_x0_u0_b129 | 18 | 0 | 0 | 129 | ![]() |
sub(P,add(P,min(P,P))) | 120495 | 146170947 | o2(x,o2(x,o2(x,x))) | true | 123967 | 123967 | 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 |
| t18_x0_u0_b130 | 18 | 0 | 0 | 130 | ![]() |
sub(P,add(P,dot(P,P))) | 120496 | 146170948 | o2(x,o2(x,o2(x,x))) | true | 123975 | 123975 | -0.9967 | 0 | 0.9967 | 0.002206 | 0.04697 | -1 | -0.0005821 | 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 |
| t18_x0_u0_b131 | 18 | 0 | 0 | 131 | ![]() |
sub(P,add(P,dst(P,P))) | 120497 | 146170949 | o2(x,o2(x,o2(x,x))) | true | 123983 | 123983 | 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 |
| t18_x0_u0_b132 | 18 | 0 | 0 | 132 | ![]() |
sub(P,sub(P,add(P,P))) | 120498 | 146170950 | o2(x,o2(x,o2(x,x))) | true | 123991 | 123991 | 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 |
| t18_x0_u0_b133 | 18 | 0 | 0 | 133 | ![]() |
sub(P,sub(P,sub(P,P))) | 120499 | 146170951 | o2(x,o2(x,o2(x,x))) | true | 123999 | 123999 | 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 |



































































































