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_x41_u0_b193 | 18 | 41 | 0 | 193 | ![]() |
sub(D,lrg(D,lrg(D,R))) | 128800 | 147827452 | o2(x,o2(x,o2(x,x))) | true | 58807 | 58807 | -0.1839 | 0.252 | 0.2283 | 0.08182 | 0.286 | -0.9688 | 0.1454 | 1.114 | 1 | 3.698 | 0.03098 | 0.001031 | 0.0834 | 0.9356 | 1 | -0.00004788 | 0.06599 | 0.09194 | 0.02507 | 0.1583 | 1.898 | 1.055 | 0.3913 | 0.8066 | 1 | 1 | 0.02925 | 0.09942 | 0.1383 | 0.3575 | 1.215 | 1.69 | json |
| t18_x41_u0_b194 | 18 | 41 | 0 | 194 | ![]() |
sub(D,lrg(D,eql(D,R))) | 128801 | 147827453 | o2(x,o2(x,o2(x,x))) | true | 58815 | 58815 | -0.5 | 0 | 0.5 | 0.08301 | 0.2881 | -0.9688 | -0.03125 | 0.9375 | 1 | 4 | 0.05599 | 0 | 0.1146 | 1 | 1 | 0 | 0.119 | 0.119 | 0.04284 | 0.207 | 1.806 | 0.9375 | 0.6745 | 1.434 | 1 | 1 | 0.05321 | 0.125 | 0 | 0.641 | 1.506 | 0 | json |
| t18_x41_u0_b195 | 18 | 41 | 0 | 195 | ![]() |
sub(D,lrg(D,min(D,R))) | 128802 | 147827454 | o2(x,o2(x,o2(x,x))) | true | 58823 | 58823 | -0.4903 | 0.1274 | 0.512 | 0.1368 | 0.3699 | -1 | 0.1454 | 1.145 | 1 | 4.113 | 0.01875 | 0.002057 | 0.0832 | 0.8023 | 1 | -0.00002613 | 0.03523 | 0.06717 | 0.01389 | 0.1178 | 1.416 | 1.04 | 0.1521 | 0.2575 | 1 | 1 | 0.02361 | 0.1362 | 0.2514 | 0.1726 | 0.9951 | 1.837 | json |
| t18_x41_u0_b196 | 18 | 41 | 0 | 196 | ![]() |
sub(D,lrg(D,dot(D,R))) | 128803 | 147827455 | o2(x,o2(x,o2(x,x))) | true | 58831 | 58831 | -0.493 | 0.05037 | 0.5002 | 0.0914 | 0.3023 | -1 | 0.1454 | 1.145 | 1 | 4.142 | 0.03524 | 0.02431 | 0.1266 | 0.1835 | 1 | -0.0001378 | 0.1879 | 0.1618 | 0.04355 | 0.2087 | 1.649 | 1.37 | 0.6516 | 2.056 | 1 | 1 | 0.05957 | 0.1824 | 0.1528 | 0.6517 | 1.996 | 1.671 | json |
| t18_x41_u0_b197 | 18 | 41 | 0 | 197 | ![]() |
sub(D,lrg(D,dst(D,R))) | 128804 | 147827456 | o2(x,o2(x,o2(x,x))) | true | 58839 | 58839 | -0.01319 | 0.4879 | 0.1056 | 0.0157 | 0.1253 | -0.906 | 0.1454 | 1.051 | 1 | 2.841 | 0.003618 | 0.001167 | 0.04376 | 0.5123 | 1 | 0.0000432 | 0.01027 | 0.0273 | 0.002872 | 0.05359 | 1.225 | 1.36 | 0.3047 | 0.6542 | 1 | 1 | 0.005596 | 0.02905 | 0.006418 | 0.3564 | 1.85 | 0.4087 | json |
| t18_x41_u0_b198 | 18 | 41 | 0 | 198 | ![]() |
sub(D,eql(D,add(D,R))) | 128805 | 147827457 | o2(x,o2(x,o2(x,x))) | true | 58847 | 58847 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t18_x41_u0_b199 | 18 | 41 | 0 | 199 | ![]() |
sub(D,eql(D,sub(D,R))) | 128806 | 147827458 | o2(x,o2(x,o2(x,x))) | true | 58855 | 58855 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t18_x41_u0_b200 | 18 | 41 | 0 | 200 | ![]() |
sub(D,eql(D,mlt(D,R))) | 128807 | 147827459 | o2(x,o2(x,o2(x,x))) | true | 58863 | 58863 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t18_x42_u0_b0 | 18 | 42 | 0 | 0 | ![]() |
add(D,add(D,add(R,P))) | 128808 | 147867660 | o2(x,o2(x,o2(x,x))) | true | 58871 | 58871 | 0.004181 | 0.4995 | 0.9414 | 0.9221 | 0.9603 | -1 | 1 | 2 | 1 | 1.945 | 0.001154 | 0.0003623 | 0.01258 | 0.5221 | 1 | -0.00002046 | 0.0002298 | 0.003713 | 0.001359 | 0.03687 | 2.93 | 0.2253 | 0.001644 | 0.0002492 | 1 | 1 | 0.003753 | 0.04492 | 0.2697 | 0.00407 | 0.04871 | 0.2925 | json |
| t18_x42_u0_b1 | 18 | 42 | 0 | 1 | ![]() |
add(D,add(D,sub(R,P))) | 128809 | 147867661 | o2(x,o2(x,o2(x,x))) | true | 58879 | 58879 | 0.004561 | 0.4974 | 0.9367 | 0.9132 | 0.9556 | -1 | 1 | 2 | 1 | 2.016 | 0.002785 | 0.0003881 | 0.01784 | 0.7554 | 1 | -0.00001977 | 0.0008152 | 0.00829 | 0.002856 | 0.05344 | 2.996 | 0.442 | 0.003474 | 0.0008926 | 1 | 1 | 0.007775 | 0.06407 | 0.2632 | 0.008514 | 0.07016 | 0.2882 | json |
| t18_x42_u0_b2 | 18 | 42 | 0 | 2 | ![]() |
add(D,add(D,mlt(R,P))) | 128810 | 147867662 | o2(x,o2(x,o2(x,x))) | true | 58887 | 58887 | -0.06162 | 0.4693 | 0.7361 | 0.6509 | 0.8068 | -1 | 1 | 2 | 1 | 3.769 | 0.01928 | 0.01958 | 0.1041 | -0.00773 | 1 | -0.00004276 | 0.02109 | 0.05559 | 0.02803 | 0.1674 | 1.609 | 1.505 | 0.05969 | 0.0324 | 1 | 1 | 0.0568 | 0.4804 | 1.025 | 0.08726 | 0.7381 | 1.575 | json |
| t18_x42_u0_b3 | 18 | 42 | 0 | 3 | ![]() |
add(D,add(D,div(R,P))) | 128811 | 147867663 | o2(x,o2(x,o2(x,x))) | true | 58895 | 58895 | -0.1263 | 0.4359 | 0.3214 | 0.1773 | 0.4211 | -1 | 1 | 2 | 1 | 4.155 | 0.01734 | 0.0004343 | 0.07529 | 0.9511 | 1 | -0.000007081 | 0.02319 | 0.04245 | 0.01211 | 0.11 | 1.461 | 2 | 0.1002 | 0.1308 | 1 | 1 | 0.02627 | 0.1487 | 0.2375 | 0.1482 | 0.8386 | 1.339 | json |
| t18_x42_u0_b4 | 18 | 42 | 0 | 4 | ![]() |
add(D,add(D,pow(R,P))) | 128812 | 147867664 | o2(x,o2(x,o2(x,x))) | true | 58903 | 58903 | -0.8603 | 0.07358 | 0.9914 | 0.2478 | 0.4977 | -1 | 1 | 2 | 1 | 0.5169 | 0.02263 | 0.02182 | 0.02471 | 0.01828 | 1 | 0.00002192 | 0.09311 | 0.04747 | 0.04387 | 0.2094 | 8.477 | 2.828 | 0.1794 | 0.3758 | 1 | 1 | 0.04304 | 0.1794 | 0.5914 | 0.1737 | 0.7241 | 2.387 | json |
| t18_x42_u0_b5 | 18 | 42 | 0 | 5 | ![]() |
add(D,add(D,mod(R,P))) | 128813 | 147867665 | o2(x,o2(x,o2(x,x))) | true | 58911 | 58911 | -0.1195 | 0.4396 | 0.4911 | 0.3349 | 0.5787 | -1 | 1 | 2 | 1 | 4.739 | 0.02149 | 0.002754 | 0.09316 | 0.7728 | 1 | 0.00005113 | 0.02869 | 0.04592 | 0.01556 | 0.1247 | 1.339 | 2 | 0.07238 | 0.08566 | 1 | 1 | 0.03611 | 0.252 | 0.5026 | 0.1078 | 0.7524 | 1.501 | json |
| t18_x42_u0_b6 | 18 | 42 | 0 | 6 | ![]() |
add(D,add(D,lrg(R,P))) | 128814 | 147867666 | o2(x,o2(x,o2(x,x))) | true | 58919 | 58919 | 0.4494 | 0.7425 | 0.5443 | 0.2334 | 0.4831 | -0.2908 | 1 | 1.291 | 1 | 3.317 | 0.005441 | 0.00009946 | 0.05782 | 0.9641 | 1 | 0.0003108 | 0.00126 | 0.02867 | 0.002198 | 0.04688 | 0.8109 | 0.2256 | 0.02374 | 0.0054 | 1 | 1 | 0.01108 | 0.07667 | 0.07693 | 0.04749 | 0.3285 | 0.3296 | json |
| t18_x42_u0_b7 | 18 | 42 | 0 | 7 | ![]() |
add(D,add(D,eql(R,P))) | 128815 | 147867667 | o2(x,o2(x,o2(x,x))) | true | 58927 | 58927 | 0 | 0.5 | 0.1887 | 0.04329 | 0.2081 | -0.2908 | 0.2908 | 0.5817 | 1 | 2.906 | 0.00653 | 0 | 0.07219 | 1 | 1 | 0 | 0.001025 | 0.02918 | 0.001321 | 0.03635 | 0.5036 | 0.1238 | 0.1508 | 0.02368 | 1 | 1 | 0.0126 | 0.08733 | 0 | 0.2912 | 2.017 | 0 | json |
| t18_x42_u0_b8 | 18 | 42 | 0 | 8 | ![]() |
add(D,add(D,min(R,P))) | 128816 | 147867668 | o2(x,o2(x,o2(x,x))) | true | 58935 | 58935 | -0.4938 | 0.2364 | 0.679 | 0.343 | 0.5857 | -1 | 1 | 2 | 1 | 3.609 | 0.004808 | 0.001445 | 0.05152 | 0.5379 | 1 | 0.0002877 | 0.0007823 | 0.01649 | 0.0036 | 0.06 | 1.165 | 0.3054 | 0.01823 | 0.002281 | 1 | 1 | 0.01248 | 0.1231 | 0.2564 | 0.03637 | 0.3588 | 0.7476 | json |
| t18_x42_u0_b9 | 18 | 42 | 0 | 9 | ![]() |
add(D,add(D,dot(R,P))) | 128817 | 147867669 | o2(x,o2(x,o2(x,x))) | true | 58943 | 58943 | -0.09302 | 0.454 | 0.8435 | 0.7869 | 0.8871 | -1 | 1 | 2 | 1 | 2.924 | 0.02627 | 0.03297 | 0.1066 | -0.1131 | 1 | 0.00001974 | 0.04725 | 0.07717 | 0.04791 | 0.2189 | 2.054 | 1.877 | 0.07529 | 0.06004 | 1 | 1 | 0.07704 | 0.5853 | 1.358 | 0.0979 | 0.7438 | 1.725 | json |
| t18_x42_u0_b10 | 18 | 42 | 0 | 10 | ![]() |
add(D,add(D,dst(R,P))) | 128818 | 147867670 | o2(x,o2(x,o2(x,x))) | true | 58951 | 58951 | 0.9983 | 1 | 0.9983 | 0.0005446 | 0.02334 | 0.3295 | 1 | 0.6705 | 1 | 0.07964 | 0.0000657 | 0.00002214 | 0.0008354 | 0.4959 | 0 | 1.877e-12 | 0.00005621 | 0.0006771 | 0.00008705 | 0.00933 | 11.17 | 0.1945 | 0.1613 | 0.1032 | 1 | 1 | 0.0002696 | 0.001541 | 0.001866 | 0.4951 | 2.829 | 3.426 | json |
| t18_x42_u0_b11 | 18 | 42 | 0 | 11 | ![]() |
add(D,sub(D,add(R,P))) | 128819 | 147867671 | o2(x,o2(x,o2(x,x))) | true | 58959 | 58959 | -0.003802 | 0.5026 | 0.9424 | 0.9208 | 0.9596 | -1 | 1 | 2 | 1 | 1.952 | 0.002751 | 0.0003618 | 0.01694 | 0.7675 | 1 | 0.00002072 | 0.0008352 | 0.007975 | 0.002827 | 0.05317 | 3.139 | 0.4208 | 0.00338 | 0.0009071 | 1 | 1 | 0.007622 | 0.06297 | 0.2692 | 0.008278 | 0.06839 | 0.2923 | json |
| t18_x42_u0_b12 | 18 | 42 | 0 | 12 | ![]() |
add(D,sub(D,sub(R,P))) | 128820 | 147867672 | o2(x,o2(x,o2(x,x))) | true | 58967 | 58967 | -0.004478 | 0.4996 | 0.9357 | 0.9149 | 0.9565 | -1 | 1 | 2 | 1 | 2.004 | 0.001197 | 0.0003847 | 0.01346 | 0.5135 | 1 | 0.00001952 | 0.0002346 | 0.003879 | 0.001401 | 0.03743 | 2.781 | 0.2304 | 0.001729 | 0.0002564 | 1 | 1 | 0.003905 | 0.04598 | 0.2631 | 0.004268 | 0.05025 | 0.2876 | json |
| t18_x42_u0_b13 | 18 | 42 | 0 | 13 | ![]() |
add(D,sub(D,mlt(R,P))) | 128821 | 147867673 | o2(x,o2(x,o2(x,x))) | true | 58975 | 58975 | 0.06181 | 0.5315 | 0.7331 | 0.6502 | 0.8063 | -1 | 1 | 2 | 1 | 3.755 | 0.01954 | 0.01947 | 0.1037 | 0.001718 | 1 | 0.00003705 | 0.02148 | 0.05553 | 0.02825 | 0.1681 | 1.62 | 1.5 | 0.06 | 0.03303 | 1 | 1 | 0.05686 | 0.4762 | 1.029 | 0.08746 | 0.7325 | 1.583 | json |
| t18_x42_u0_b14 | 18 | 42 | 0 | 14 | ![]() |
add(D,sub(D,div(R,P))) | 128822 | 147867674 | o2(x,o2(x,o2(x,x))) | true | 58983 | 58983 | -0.1237 | 0.4385 | 0.3191 | 0.1722 | 0.415 | -1 | 1 | 2 | 1 | 4.141 | 0.01504 | 0.0004355 | 0.07343 | 0.9437 | 1 | 0.000008213 | 0.01979 | 0.0402 | 0.01008 | 0.1004 | 1.367 | 1.906 | 0.08986 | 0.1149 | 1 | 1 | 0.02361 | 0.135 | 0.2365 | 0.1371 | 0.7839 | 1.373 | json |
| t18_x42_u0_b15 | 18 | 42 | 0 | 15 | ![]() |
add(D,sub(D,pow(R,P))) | 128823 | 147867675 | o2(x,o2(x,o2(x,x))) | true | 58991 | 58991 | -0.9933 | 0.001678 | 0.9939 | 0.004044 | 0.06359 | -1 | 0.2825 | 1.282 | 1 | 0.1896 | 0.0005046 | 0.0004615 | 0.002596 | 0.04466 | 1 | 0.00001825 | 0.001861 | 0.003281 | 0.0009596 | 0.03098 | 11.93 | 1.282 | 0.2389 | 0.4602 | 1 | 1 | 0.00035 | 0.001195 | 0.004949 | 0.08654 | 0.2954 | 1.224 | json |
| t18_x42_u0_b16 | 18 | 42 | 0 | 16 | ![]() |
add(D,sub(D,mod(R,P))) | 128824 | 147867676 | o2(x,o2(x,o2(x,x))) | true | 58999 | 58999 | -0.1305 | 0.4385 | 0.4876 | 0.3273 | 0.5721 | -1 | 1 | 2 | 1 | 4.734 | 0.01444 | 0.002753 | 0.0888 | 0.6798 | 1 | -0.00006841 | 0.01502 | 0.03868 | 0.009307 | 0.09647 | 1.086 | 1.906 | 0.05253 | 0.04591 | 1 | 1 | 0.02886 | 0.2255 | 0.4961 | 0.08817 | 0.689 | 1.516 | json |
| t18_x42_u0_b17 | 18 | 42 | 0 | 17 | ![]() |
add(D,sub(D,lrg(R,P))) | 128825 | 147867677 | o2(x,o2(x,o2(x,x))) | true | 59007 | 59007 | -0.4527 | 0.2344 | 0.5409 | 0.2204 | 0.4694 | -1 | 0.2908 | 1.291 | 1 | 3.455 | 0.004693 | 0.00009629 | 0.05499 | 0.9598 | 1 | 0.000005705 | 0.001085 | 0.02721 | 0.001766 | 0.04202 | 0.7642 | 0.1705 | 0.02174 | 0.004926 | 1 | 1 | 0.009239 | 0.06429 | 0.07447 | 0.04193 | 0.2918 | 0.3379 | json |
| t18_x42_u0_b18 | 18 | 42 | 0 | 18 | ![]() |
add(D,sub(D,eql(R,P))) | 128826 | 147867678 | o2(x,o2(x,o2(x,x))) | true | 59015 | 59015 | 0 | 0.5 | 0.1887 | 0.04329 | 0.2081 | -0.2908 | 0.2908 | 0.5817 | 1 | 2.906 | 0.00653 | 0 | 0.07219 | 1 | 1 | 0 | 0.001025 | 0.02918 | 0.001321 | 0.03635 | 0.5036 | 0.1238 | 0.1508 | 0.02368 | 1 | 1 | 0.0126 | 0.08733 | 0 | 0.2912 | 2.017 | 0 | json |
| t18_x42_u0_b19 | 18 | 42 | 0 | 19 | ![]() |
add(D,sub(D,min(R,P))) | 128827 | 147867679 | o2(x,o2(x,o2(x,x))) | true | 59023 | 59023 | 0.487 | 0.7609 | 0.6819 | 0.3544 | 0.5953 | -1 | 1 | 2 | 1 | 3.606 | 0.005677 | 0.001446 | 0.05509 | 0.5939 | 1 | 0.0002945 | 0.001061 | 0.01933 | 0.004089 | 0.06395 | 1.161 | 0.3039 | 0.0201 | 0.002995 | 1 | 1 | 0.01423 | 0.1327 | 0.2599 | 0.04014 | 0.3745 | 0.7334 | json |
| t18_x42_u0_b20 | 18 | 42 | 0 | 20 | ![]() |
add(D,sub(D,dot(R,P))) | 128828 | 147867680 | o2(x,o2(x,o2(x,x))) | true | 59031 | 59031 | 0.09492 | 0.5445 | 0.8455 | 0.7886 | 0.888 | -1 | 1 | 2 | 1 | 2.896 | 0.02604 | 0.0329 | 0.1063 | -0.1163 | 1 | -0.00001527 | 0.04672 | 0.07646 | 0.04762 | 0.2182 | 2.054 | 1.884 | 0.07473 | 0.05924 | 1 | 1 | 0.07652 | 0.5827 | 1.36 | 0.09704 | 0.739 | 1.724 | json |
| t18_x42_u0_b21 | 18 | 42 | 0 | 21 | ![]() |
add(D,sub(D,dst(R,P))) | 128829 | 147867681 | o2(x,o2(x,o2(x,x))) | true | 59039 | 59039 | -0.9983 | 0 | 0.9983 | 0.0005133 | 0.02266 | -1 | -0.4033 | 0.5967 | 1 | 0.07999 | 0.00006413 | 0.00002307 | 0.0008332 | 0.4709 | 0 | -6.195e-11 | 0.00005226 | 0.0006469 | 0.00008641 | 0.009296 | 11.16 | 0.2431 | 0.1699 | 0.1018 | 1 | 1 | 0.0002703 | 0.001427 | 0.001754 | 0.5265 | 2.78 | 3.417 | json |
| t18_x42_u0_b22 | 18 | 42 | 0 | 22 | ![]() |
add(D,mlt(D,add(R,P))) | 128830 | 147867682 | o2(x,o2(x,o2(x,x))) | true | 59047 | 59047 | -0.1332 | 0.3866 | 0.4094 | 0.2371 | 0.4869 | -1 | 1 | 2 | 1 | 4.823 | 0.03355 | 0.0002025 | 0.1429 | 0.988 | 1 | 0.001957 | 0.006538 | 0.05902 | 0.01334 | 0.1155 | 0.8084 | 0.5533 | 0.1424 | 0.02758 | 1 | 1 | 0.04312 | 0.3223 | 0.04816 | 0.1819 | 1.359 | 0.2031 | json |
| t18_x42_u0_b23 | 18 | 42 | 0 | 23 | ![]() |
add(D,mlt(D,sub(R,P))) | 128831 | 147867683 | o2(x,o2(x,o2(x,x))) | true | 59055 | 59055 | 0.1351 | 0.6104 | 0.414 | 0.2429 | 0.4928 | -1 | 1 | 2 | 1 | 4.822 | 0.03462 | 0.0002079 | 0.1442 | 0.9881 | 1 | -0.001923 | 0.00685 | 0.05971 | 0.01402 | 0.1184 | 0.821 | 0.5468 | 0.1434 | 0.0282 | 1 | 1 | 0.04197 | 0.3065 | 0.04943 | 0.1728 | 1.262 | 0.2035 | json |
| t18_x42_u0_b24 | 18 | 42 | 0 | 24 | ![]() |
add(D,mlt(D,mlt(R,P))) | 128832 | 147867684 | o2(x,o2(x,o2(x,x))) | true | 59063 | 59063 | -0.01683 | 0.4932 | 0.3308 | 0.2072 | 0.4552 | -1 | 1 | 2 | 1 | 4.544 | 0.0129 | 0.003518 | 0.09604 | 0.5714 | 1 | 0.0004215 | 0.003619 | 0.03478 | 0.007194 | 0.08482 | 0.8832 | 0.5997 | 0.07924 | 0.01747 | 1 | 1 | 0.02232 | 0.224 | 0.2829 | 0.1077 | 1.081 | 1.365 | json |
| t18_x42_u0_b25 | 18 | 42 | 0 | 25 | ![]() |
add(D,mlt(D,div(R,P))) | 128833 | 147867685 | o2(x,o2(x,o2(x,x))) | true | 59071 | 59071 | -0.1218 | 0.4445 | 0.2116 | 0.1216 | 0.3486 | -1 | 0.3741 | 1.374 | 1 | 3.021 | 0.009554 | 0.00002951 | 0.04037 | 0.9938 | 1 | 0.000002565 | 0.01612 | 0.02872 | 0.007953 | 0.08918 | 2.209 | 1.06 | 0.07884 | 0.1327 | 1 | 1 | 0.01359 | 0.06552 | 0.1776 | 0.1118 | 0.539 | 1.461 | json |
| t18_x42_u0_b26 | 18 | 42 | 0 | 26 | ![]() |
add(D,mlt(D,pow(R,P))) | 128834 | 147867686 | o2(x,o2(x,o2(x,x))) | true | 59079 | 59079 | -0.9215 | 0.0399 | 0.9623 | 0.1059 | 0.3255 | -1 | 1 | 2 | 1 | 0.581 | 0.009327 | 0.009917 | 0.01788 | -0.03067 | 1 | 0.0002516 | 0.03968 | 0.02872 | 0.01893 | 0.1376 | 7.696 | 2.828 | 0.1817 | 0.3746 | 1 | 1 | 0.02253 | 0.1015 | 0.2736 | 0.2126 | 0.9582 | 2.582 | json |
| t18_x42_u0_b27 | 18 | 42 | 0 | 27 | ![]() |
add(D,mlt(D,mod(R,P))) | 128835 | 147867687 | o2(x,o2(x,o2(x,x))) | true | 59087 | 59087 | -0.1226 | 0.4405 | 0.2335 | 0.1321 | 0.3635 | -1 | 0.5372 | 1.537 | 1 | 3.503 | 0.01003 | 0.0001887 | 0.04575 | 0.9631 | 1 | -0.00003732 | 0.01621 | 0.02976 | 0.00813 | 0.09017 | 1.971 | 1.06 | 0.07736 | 0.1227 | 1 | 1 | 0.01469 | 0.07675 | 0.1962 | 0.1111 | 0.5809 | 1.485 | json |
| t18_x42_u0_b28 | 18 | 42 | 0 | 28 | ![]() |
add(D,mlt(D,lrg(R,P))) | 128836 | 147867688 | o2(x,o2(x,o2(x,x))) | true | 59095 | 59095 | 0.008939 | 0.5117 | 0.1437 | 0.02822 | 0.168 | -0.2908 | 0.3844 | 0.6753 | 1 | 3.266 | 0.00409 | 0.000007984 | 0.0544 | 0.9961 | 1 | -0.0001582 | 0.0006386 | 0.02191 | 0.00114 | 0.03377 | 0.6207 | 0.1241 | 0.1452 | 0.02263 | 1 | 1 | 0.007868 | 0.05475 | 0.004067 | 0.2788 | 1.94 | 0.1441 | json |
| t18_x42_u0_b29 | 18 | 42 | 0 | 29 | ![]() |
add(D,mlt(D,eql(R,P))) | 128837 | 147867689 | o2(x,o2(x,o2(x,x))) | true | 59103 | 59103 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t18_x42_u0_b30 | 18 | 42 | 0 | 30 | ![]() |
add(D,mlt(D,min(R,P))) | 128838 | 147867690 | o2(x,o2(x,o2(x,x))) | true | 59111 | 59111 | -0.07144 | 0.3959 | 0.2255 | 0.09622 | 0.3102 | -1 | 0.8152 | 1.815 | 1 | 4.186 | 0.01216 | 0.0001187 | 0.07779 | 0.9807 | 1 | 0.001352 | 0.002097 | 0.03057 | 0.006227 | 0.07891 | 1.014 | 0.3715 | 0.1276 | 0.02179 | 1 | 1 | 0.01298 | 0.09346 | 0.02518 | 0.1349 | 0.9713 | 0.2616 | json |
| t18_x42_u0_b31 | 18 | 42 | 0 | 31 | ![]() |
add(D,mlt(D,dot(R,P))) | 128839 | 147867691 | o2(x,o2(x,o2(x,x))) | true | 59119 | 59119 | 0.00005724 | 0.5024 | 0.4519 | 0.3288 | 0.5734 | -1 | 1 | 2 | 1 | 4.662 | 0.02195 | 0.006976 | 0.1276 | 0.5176 | 1 | 0.000128 | 0.008078 | 0.05039 | 0.01264 | 0.1124 | 0.8812 | 0.7924 | 0.08795 | 0.02457 | 1 | 1 | 0.03988 | 0.3845 | 0.5391 | 0.1213 | 1.169 | 1.639 | json |
| t18_x42_u0_b32 | 18 | 42 | 0 | 32 | ![]() |
add(D,mlt(D,dst(R,P))) | 128840 | 147867692 | o2(x,o2(x,o2(x,x))) | true | 59127 | 59127 | 0.0009151 | 0.5009 | 0.6281 | 0.498 | 0.7057 | -1 | 1 | 2 | 1 | 4.613 | 0.07741 | 0.000201 | 0.216 | 0.9948 | 1 | 0.00005969 | 0.02099 | 0.1023 | 0.03094 | 0.1759 | 0.8142 | 0.7643 | 0.1559 | 0.04214 | 1 | 1 | 0.1052 | 0.732 | 0.04373 | 0.2111 | 1.47 | 0.08781 | json |
| t18_x42_u0_b33 | 18 | 42 | 0 | 33 | ![]() |
add(D,div(D,add(R,P))) | 128841 | 147867693 | o2(x,o2(x,o2(x,x))) | true | 59135 | 59135 | 0.0001138 | 0.5178 | 0.1484 | 0.05482 | 0.2341 | -1 | 1 | 2 | 1 | 3.42 | 0.004137 | 0.0004425 | 0.04846 | 0.8067 | 1 | 0.00004378 | 0.0009234 | 0.01842 | 0.002231 | 0.04723 | 0.9746 | 0.6213 | 0.08352 | 0.01684 | 1 | 1 | 0.009038 | 0.08075 | 0.09279 | 0.1649 | 1.473 | 1.693 | json |
| t18_x42_u0_b34 | 18 | 42 | 0 | 34 | ![]() |
add(D,div(D,sub(R,P))) | 128842 | 147867694 | o2(x,o2(x,o2(x,x))) | true | 59143 | 59143 | 0.0002034 | 0.4888 | 0.1562 | 0.06253 | 0.2501 | -1 | 1 | 2 | 1 | 3.468 | 0.005499 | 0.0008717 | 0.05019 | 0.7263 | 1 | -0.00004242 | 0.003837 | 0.02119 | 0.003852 | 0.06206 | 1.237 | 2 | 0.1019 | 0.06136 | 1 | 1 | 0.0106 | 0.08908 | 0.1037 | 0.1695 | 1.425 | 1.658 | json |
| t18_x42_u0_b35 | 18 | 42 | 0 | 35 | ![]() |
add(D,div(D,mlt(R,P))) | 128843 | 147867695 | o2(x,o2(x,o2(x,x))) | true | 59151 | 59151 | -0.1197 | 0.4362 | 0.3403 | 0.2294 | 0.479 | -1 | 1 | 2 | 1 | 4.082 | 0.01938 | 0.002583 | 0.06997 | 0.7648 | 1 | -0.00001611 | 0.0293 | 0.04528 | 0.01707 | 0.1306 | 1.867 | 2.039 | 0.09574 | 0.1277 | 1 | 1 | 0.03324 | 0.2114 | 0.4051 | 0.1449 | 0.9212 | 1.766 | json |
| t18_x42_u0_b36 | 18 | 42 | 0 | 36 | ![]() |
add(D,div(D,div(R,P))) | 128844 | 147867696 | o2(x,o2(x,o2(x,x))) | true | 59159 | 59159 | 0.002537 | 0.4956 | 0.7215 | 0.6492 | 0.8057 | -1 | 1 | 2 | 1 | 3.656 | 0.09298 | 0.02902 | 0.1713 | 0.5243 | 1 | 0.00006203 | 0.1617 | 0.1578 | 0.09265 | 0.3044 | 1.777 | 2.828 | 0.1879 | 0.2491 | 1 | 1 | 0.1361 | 0.8545 | 1.215 | 0.2096 | 1.316 | 1.871 | json |
| t18_x42_u0_b37 | 18 | 42 | 0 | 37 | ![]() |
add(D,div(D,pow(R,P))) | 128845 | 147867697 | o2(x,o2(x,o2(x,x))) | true | 59167 | 59167 | -0.9252 | 0.03607 | 0.9413 | 0.07629 | 0.2762 | -1 | 1 | 2 | 1 | 0.6553 | 0.007234 | 0.007304 | 0.01681 | -0.004835 | 1 | -0.00002694 | 0.02997 | 0.02732 | 0.01426 | 0.1194 | 7.105 | 2 | 0.1906 | 0.3928 | 1 | 1 | 0.01191 | 0.04881 | 0.1588 | 0.1561 | 0.6399 | 2.081 | json |
| t18_x42_u0_b38 | 18 | 42 | 0 | 38 | ![]() |
add(D,div(D,mod(R,P))) | 128846 | 147867698 | o2(x,o2(x,o2(x,x))) | true | 59175 | 59175 | -0.1209 | 0.4393 | 0.5558 | 0.4438 | 0.6662 | -1 | 1 | 2 | 1 | 4.271 | 0.03623 | 0.00852 | 0.1179 | 0.6192 | 1 | -0.0001386 | 0.04636 | 0.07489 | 0.03084 | 0.1756 | 1.489 | 2.033 | 0.1008 | 0.1045 | 1 | 1 | 0.05826 | 0.422 | 0.7806 | 0.1313 | 0.951 | 1.759 | json |
| t18_x42_u0_b39 | 18 | 42 | 0 | 39 | ![]() |
add(D,div(D,lrg(R,P))) | 128847 | 147867699 | o2(x,o2(x,o2(x,x))) | true | 59183 | 59183 | -0.5469 | 0.2266 | 0.6325 | 0.2673 | 0.517 | -1 | 0.2908 | 1.291 | 1 | 2.31 | 0.006401 | 0.001577 | 0.0374 | 0.6046 | 1 | -0.0003163 | 0.01188 | 0.02403 | 0.006582 | 0.08113 | 2.169 | 1.327 | 0.02984 | 0.04443 | 1 | 1 | 0.01166 | 0.05781 | 0.1133 | 0.04361 | 0.2162 | 0.4238 | json |
| t18_x42_u0_b40 | 18 | 42 | 0 | 40 | ![]() |
add(D,div(D,eql(R,P))) | 128848 | 147867700 | o2(x,o2(x,o2(x,x))) | true | 59191 | 59191 | -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_x42_u0_b41 | 18 | 42 | 0 | 41 | ![]() |
add(D,div(D,min(R,P))) | 128849 | 147867701 | o2(x,o2(x,o2(x,x))) | true | 59199 | 59199 | -0.07177 | 0.5 | 0.3392 | 0.251 | 0.501 | -1 | 1 | 2 | 1 | 3.879 | 0.02166 | 0.006235 | 0.07736 | 0.5529 | 1 | -0.0001226 | 0.03305 | 0.04997 | 0.02191 | 0.148 | 1.913 | 2.033 | 0.1111 | 0.1317 | 1 | 1 | 0.03543 | 0.2627 | 0.4789 | 0.1411 | 1.047 | 1.908 | json |
| t18_x42_u0_b42 | 18 | 42 | 0 | 42 | ![]() |
add(D,div(D,dot(R,P))) | 128850 | 147867702 | o2(x,o2(x,o2(x,x))) | true | 59207 | 59207 | -0.01667 | 0.4877 | 0.2495 | 0.1473 | 0.3838 | -1 | 1 | 2 | 1 | 4.073 | 0.01198 | 0.003278 | 0.07129 | 0.5702 | 1 | -0.0001953 | 0.01195 | 0.03433 | 0.01017 | 0.1009 | 1.415 | 2.019 | 0.1036 | 0.08116 | 1 | 1 | 0.03231 | 0.2472 | 0.3509 | 0.2194 | 1.678 | 2.382 | json |
| t18_x42_u0_b43 | 18 | 42 | 0 | 43 | ![]() |
add(D,div(D,dst(R,P))) | 128851 | 147867703 | o2(x,o2(x,o2(x,x))) | true | 59215 | 59215 | -0.00002013 | 0.4999 | 0.1146 | 0.01652 | 0.1285 | -0.4474 | 0.514 | 0.9615 | 1 | 2.764 | 0.002467 | 0.000006389 | 0.04397 | 0.9948 | 1 | 4.029e-7 | 0.0003853 | 0.01771 | 0.0005397 | 0.02323 | 0.5283 | 0.167 | 0.1497 | 0.02333 | 1 | 1 | 0.00535 | 0.03738 | 0.001678 | 0.3239 | 2.263 | 0.1016 | json |
| t18_x42_u0_b44 | 18 | 42 | 0 | 44 | ![]() |
add(D,pow(D,add(R,P))) | 128852 | 147867704 | o2(x,o2(x,o2(x,x))) | true | 59223 | 59223 | -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_x42_u0_b45 | 18 | 42 | 0 | 45 | ![]() |
add(D,pow(D,sub(R,P))) | 128853 | 147867705 | o2(x,o2(x,o2(x,x))) | true | 59231 | 59231 | -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_x42_u0_b46 | 18 | 42 | 0 | 46 | ![]() |
add(D,pow(D,mlt(R,P))) | 128854 | 147867706 | o2(x,o2(x,o2(x,x))) | true | 59239 | 59239 | -0.8803 | 0.0625 | 0.9947 | 0.216 | 0.4648 | -1 | 1 | 2 | 1 | 0.4597 | 0.02924 | 0.00005511 | 0.01686 | 0.9962 | 1 | -0.00002483 | 0.05894 | 0.03129 | 0.029 | 0.1703 | 10.1 | 2 | 0.1356 | 0.2728 | 1 | 1 | 0.03823 | 0.1559 | 0.3113 | 0.177 | 0.7217 | 1.441 | json |
| t18_x42_u0_b47 | 18 | 42 | 0 | 47 | ![]() |
add(D,pow(D,div(R,P))) | 128855 | 147867707 | o2(x,o2(x,o2(x,x))) | true | 59247 | 59247 | -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_x42_u0_b48 | 18 | 42 | 0 | 48 | ![]() |
add(D,pow(D,pow(R,P))) | 128856 | 147867708 | o2(x,o2(x,o2(x,x))) | true | 59255 | 59255 | -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_x42_u0_b49 | 18 | 42 | 0 | 49 | ![]() |
add(D,pow(D,mod(R,P))) | 128857 | 147867709 | o2(x,o2(x,o2(x,x))) | true | 59263 | 59263 | -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_x42_u0_b50 | 18 | 42 | 0 | 50 | ![]() |
add(D,pow(D,lrg(R,P))) | 128858 | 147867710 | o2(x,o2(x,o2(x,x))) | true | 59271 | 59271 | 0.006755 | 0.5234 | 0.9599 | 0.9313 | 0.9651 | -1 | 1 | 2 | 1 | 1.954 | 0.007051 | 0.002122 | 0.01772 | 0.5374 | 1 | 0.0001583 | 0.01687 | 0.01869 | 0.008858 | 0.09412 | 5.312 | 2.807 | 0.009849 | 0.01811 | 1 | 1 | 0.01459 | 0.0752 | 0.3456 | 0.01566 | 0.08074 | 0.3711 | json |
| t18_x42_u0_b51 | 18 | 42 | 0 | 51 | ![]() |
add(D,pow(D,eql(R,P))) | 128859 | 147867711 | o2(x,o2(x,o2(x,x))) | true | 59279 | 59279 | 0.9529 | 1 | 0.9529 | 0.003185 | 0.05644 | 0.8546 | 1 | 0.1454 | 1 | 1.329 | 0.0007155 | 0 | 0.01812 | 1 | 1 | 0.0001582 | 0.0003006 | 0.01323 | 0.0003869 | 0.01967 | 1.085 | 0.05567 | 0.2246 | 0.09439 | 1 | 1 | 0.0013 | 0.005463 | 0 | 0.4081 | 1.715 | 0 | json |
| t18_x42_u0_b52 | 18 | 42 | 0 | 52 | ![]() |
add(D,pow(D,min(R,P))) | 128860 | 147867712 | o2(x,o2(x,o2(x,x))) | true | 59287 | 59287 | -0.9692 | 0.01563 | 0.9996 | 0.05986 | 0.2447 | -1 | 1 | 2 | 1 | 0.1288 | 0.007952 | 0.005881 | 0.007137 | 0.1497 | 1 | 1.689e-10 | 0.02936 | 0.01422 | 0.01379 | 0.1174 | 16.45 | 2.785 | 0.2311 | 0.4906 | 1 | 1 | 0.01876 | 0.07503 | 0.1759 | 0.3134 | 1.254 | 2.938 | json |
| t18_x42_u0_b53 | 18 | 42 | 0 | 53 | ![]() |
add(D,pow(D,dot(R,P))) | 128861 | 147867713 | o2(x,o2(x,o2(x,x))) | true | 59295 | 59295 | -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_x42_u0_b54 | 18 | 42 | 0 | 54 | ![]() |
add(D,pow(D,dst(R,P))) | 128862 | 147867714 | o2(x,o2(x,o2(x,x))) | true | 59303 | 59303 | -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_x42_u0_b55 | 18 | 42 | 0 | 55 | ![]() |
add(D,mod(D,add(R,P))) | 128863 | 147867715 | o2(x,o2(x,o2(x,x))) | true | 59311 | 59311 | 9.095e-11 | 0.4994 | 0.1917 | 0.04501 | 0.2122 | -0.3834 | 0.3834 | 0.7668 | 1 | 3.121 | 0.00704 | 0.00001403 | 0.07359 | 0.996 | 1 | 2.558e-11 | 0.001969 | 0.03319 | 0.001641 | 0.04051 | 0.5505 | 0.3476 | 0.1567 | 0.04375 | 1 | 1 | 0.01356 | 0.09217 | 0.002404 | 0.3012 | 2.048 | 0.05342 | json |
| t18_x42_u0_b56 | 18 | 42 | 0 | 56 | ![]() |
add(D,mod(D,sub(R,P))) | 128864 | 147867716 | o2(x,o2(x,o2(x,x))) | true | 59319 | 59319 | -1.637e-11 | 0.4999 | 0.1916 | 0.045 | 0.2121 | -0.3833 | 0.3842 | 0.7675 | 1 | 3.141 | 0.007075 | 0.00001608 | 0.07369 | 0.9955 | 1 | -3.754e-12 | 0.002047 | 0.03331 | 0.001664 | 0.04079 | 0.5535 | 0.3858 | 0.1576 | 0.0455 | 1 | 1 | 0.01354 | 0.09175 | 0.002451 | 0.301 | 2.039 | 0.05448 | json |
| t18_x42_u0_b57 | 18 | 42 | 0 | 57 | ![]() |
add(D,mod(D,mlt(R,P))) | 128865 | 147867717 | o2(x,o2(x,o2(x,x))) | true | 59327 | 59327 | -0.1245 | 0.4387 | 0.2963 | 0.151 | 0.3886 | -1 | 0.384 | 1.384 | 1 | 3.451 | 0.01452 | 0.00003507 | 0.07301 | 0.9952 | 1 | 0.00000269 | 0.01841 | 0.04814 | 0.009224 | 0.09604 | 1.315 | 1.062 | 0.09636 | 0.1219 | 1 | 1 | 0.02198 | 0.1193 | 0.1821 | 0.1455 | 0.7901 | 1.206 | json |
| t18_x42_u0_b58 | 18 | 42 | 0 | 58 | ![]() |
add(D,mod(D,div(R,P))) | 128866 | 147867718 | o2(x,o2(x,o2(x,x))) | true | 59335 | 59335 | -0.1245 | 0.4383 | 0.249 | 0.1328 | 0.3644 | -1 | 0.384 | 1.384 | 1 | 3.415 | 0.01311 | 0.00002847 | 0.06185 | 0.9957 | 1 | -0.00002808 | 0.02184 | 0.06822 | 0.009311 | 0.09649 | 1.56 | 1.062 | 0.09894 | 0.1645 | 1 | 1 | 0.01875 | 0.08948 | 0.1804 | 0.1412 | 0.674 | 1.359 | json |
| t18_x42_u0_b59 | 18 | 42 | 0 | 59 | ![]() |
add(D,mod(D,pow(R,P))) | 128867 | 147867719 | o2(x,o2(x,o2(x,x))) | true | 59343 | 59343 | -0.9257 | 0.03743 | 0.9399 | 0.0722 | 0.2687 | -1 | 0.3813 | 1.381 | 1 | 0.6157 | 0.006681 | 0.006335 | 0.01706 | 0.02654 | 1 | -0.00002728 | 0.02645 | 0.02679 | 0.01273 | 0.1128 | 6.613 | 1.384 | 0.1803 | 0.3664 | 1 | 1 | 0.01286 | 0.05556 | 0.1699 | 0.1781 | 0.7695 | 2.353 | json |
| t18_x42_u0_b60 | 18 | 42 | 0 | 60 | ![]() |
add(D,mod(D,mod(R,P))) | 128868 | 147867720 | o2(x,o2(x,o2(x,x))) | true | 59351 | 59351 | -0.1248 | 0.4362 | 0.2979 | 0.1532 | 0.3915 | -1 | 0.3844 | 1.384 | 1 | 3.672 | 0.01617 | 0.00009783 | 0.07706 | 0.988 | 1 | 0.000004157 | 0.02258 | 0.06563 | 0.01033 | 0.1016 | 1.319 | 1.062 | 0.1061 | 0.1473 | 1 | 1 | 0.02367 | 0.1252 | 0.1882 | 0.1545 | 0.8172 | 1.228 | json |
| t18_x42_u0_b61 | 18 | 42 | 0 | 61 | ![]() |
add(D,mod(D,lrg(R,P))) | 128869 | 147867721 | o2(x,o2(x,o2(x,x))) | true | 59359 | 59359 | -0.5469 | 0.2266 | 0.6325 | 0.2673 | 0.517 | -1 | 0.2908 | 1.291 | 1 | 2.31 | 0.006401 | 0.001577 | 0.0374 | 0.6046 | 1 | -0.0003163 | 0.01188 | 0.02403 | 0.006582 | 0.08113 | 2.169 | 1.327 | 0.02984 | 0.04443 | 1 | 1 | 0.01166 | 0.05781 | 0.1133 | 0.04361 | 0.2162 | 0.4238 | json |
| t18_x42_u0_b62 | 18 | 42 | 0 | 62 | ![]() |
add(D,mod(D,eql(R,P))) | 128870 | 147867722 | o2(x,o2(x,o2(x,x))) | true | 59367 | 59367 | -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_x42_u0_b63 | 18 | 42 | 0 | 63 | ![]() |
add(D,mod(D,min(R,P))) | 128871 | 147867723 | o2(x,o2(x,o2(x,x))) | true | 59375 | 59375 | -0.07746 | 0.4613 | 0.2578 | 0.1159 | 0.3405 | -1 | 0.3842 | 1.384 | 1 | 3.538 | 0.01244 | 0.00169 | 0.07658 | 0.7608 | 1 | 0.00001765 | 0.01748 | 0.05231 | 0.008268 | 0.09093 | 1.187 | 1.417 | 0.1219 | 0.1508 | 1 | 1 | 0.02286 | 0.1234 | 0.1617 | 0.1972 | 1.065 | 1.395 | json |
| t18_x42_u0_b64 | 18 | 42 | 0 | 64 | ![]() |
add(D,mod(D,dot(R,P))) | 128872 | 147867724 | o2(x,o2(x,o2(x,x))) | true | 59383 | 59383 | -0.0157 | 0.4915 | 0.2044 | 0.06012 | 0.2452 | -1 | 0.383 | 1.383 | 1 | 3.342 | 0.008135 | 0.0011 | 0.07469 | 0.7617 | 1 | -0.000006181 | 0.006944 | 0.03994 | 0.003658 | 0.06048 | 0.8097 | 1.417 | 0.1536 | 0.1155 | 1 | 1 | 0.01666 | 0.1009 | 0.06486 | 0.2772 | 1.679 | 1.079 | json |
| t18_x42_u0_b65 | 18 | 42 | 0 | 65 | ![]() |
add(D,mod(D,dst(R,P))) | 128873 | 147867725 | o2(x,o2(x,o2(x,x))) | true | 59391 | 59391 | -2.001e-11 | 0.5 | 0.189 | 0.04342 | 0.2084 | -0.37 | 0.37 | 0.74 | 1 | 2.921 | 0.006564 | 3.657e-7 | 0.07227 | 0.9999 | 1 | 3.05e-12 | 0.00107 | 0.02936 | 0.001345 | 0.03668 | 0.5075 | 0.296 | 0.1512 | 0.02463 | 1 | 1 | 0.01269 | 0.08779 | 0.00009063 | 0.2922 | 2.022 | 0.002087 | json |
| t18_x42_u0_b66 | 18 | 42 | 0 | 66 | ![]() |
add(D,lrg(D,add(R,P))) | 128874 | 147867726 | o2(x,o2(x,o2(x,x))) | true | 59399 | 59399 | 0.4779 | 0.7557 | 0.5215 | 0.2254 | 0.4748 | -0.1454 | 1 | 1.145 | 1 | 3.194 | 0.003677 | 0.000156 | 0.03645 | 0.9186 | 1 | 0.0001641 | 0.004209 | 0.02176 | 0.002505 | 0.05005 | 1.373 | 1.01 | 0.017 | 0.01867 | 1 | 1 | 0.005929 | 0.03841 | 0.08307 | 0.0263 | 0.1704 | 0.3685 | json |
| t18_x42_u0_b67 | 18 | 42 | 0 | 67 | ![]() |
add(D,lrg(D,sub(R,P))) | 128875 | 147867727 | o2(x,o2(x,o2(x,x))) | true | 59407 | 59407 | 0.4769 | 0.769 | 0.52 | 0.2233 | 0.4725 | -0.1454 | 1 | 1.145 | 1 | 3.204 | 0.003634 | 0.000165 | 0.03387 | 0.9131 | 1 | 0.000005748 | 0.004975 | 0.02164 | 0.002652 | 0.0515 | 1.521 | 1.048 | 0.01701 | 0.02228 | 1 | 1 | 0.005354 | 0.03216 | 0.08541 | 0.02398 | 0.144 | 0.3825 | json |
| t18_x42_u0_b68 | 18 | 42 | 0 | 68 | ![]() |
add(D,lrg(D,mlt(R,P))) | 128876 | 147867728 | o2(x,o2(x,o2(x,x))) | true | 59415 | 59415 | 0.5127 | 0.8522 | 0.5327 | 0.1579 | 0.3974 | -0.1454 | 1 | 1.145 | 1 | 3.933 | 0.01285 | 0.002182 | 0.07515 | 0.7097 | 1 | 0.00007278 | 0.01838 | 0.04292 | 0.009382 | 0.09686 | 1.289 | 1.048 | 0.09516 | 0.1164 | 1 | 1 | 0.02397 | 0.1613 | 0.2633 | 0.1518 | 1.021 | 1.667 | json |
| t18_x42_u0_b69 | 18 | 42 | 0 | 69 | ![]() |
add(D,lrg(D,div(R,P))) | 128877 | 147867729 | o2(x,o2(x,o2(x,x))) | true | 59423 | 59423 | 0.4934 | 0.7882 | 0.5174 | 0.1745 | 0.4177 | -0.1454 | 1 | 1.145 | 1 | 3.588 | 0.04575 | 0.001101 | 0.1242 | 0.953 | 1 | 0.0005698 | 0.07203 | 0.1147 | 0.03143 | 0.1773 | 1.428 | 1.055 | 0.2685 | 0.4127 | 1 | 1 | 0.0544 | 0.2614 | 0.1837 | 0.3117 | 1.498 | 1.053 | json |
| t18_x42_u0_b70 | 18 | 42 | 0 | 70 | ![]() |
add(D,lrg(D,pow(R,P))) | 128878 | 147867730 | o2(x,o2(x,o2(x,x))) | true | 59431 | 59431 | 0.5238 | 0.8539 | 0.545 | 0.1653 | 0.4065 | -0.1454 | 1 | 1.145 | 1 | 3.865 | 0.009996 | 0.001992 | 0.06722 | 0.6677 | 1 | -0.00002455 | 0.01308 | 0.03503 | 0.007469 | 0.08643 | 1.286 | 1.031 | 0.07253 | 0.07912 | 1 | 1 | 0.01641 | 0.1343 | 0.2654 | 0.0993 | 0.8128 | 1.606 | json |
| t18_x42_u0_b71 | 18 | 42 | 0 | 71 | ![]() |
add(D,lrg(D,mod(R,P))) | 128879 | 147867731 | o2(x,o2(x,o2(x,x))) | true | 59439 | 59439 | 0.5169 | 0.8589 | 0.5339 | 0.1565 | 0.3956 | -0.1454 | 1 | 1.145 | 1 | 3.893 | 0.02161 | 0.001993 | 0.09243 | 0.8311 | 1 | -9.533e-7 | 0.03573 | 0.07359 | 0.01506 | 0.1227 | 1.328 | 1.055 | 0.1508 | 0.2282 | 1 | 1 | 0.02778 | 0.1627 | 0.2409 | 0.1774 | 1.039 | 1.539 | json |
| t18_x42_u0_b72 | 18 | 42 | 0 | 72 | ![]() |
add(D,lrg(D,lrg(R,P))) | 128880 | 147867732 | o2(x,o2(x,o2(x,x))) | true | 59447 | 59447 | 0.2281 | 0.5893 | 0.2945 | 0.1589 | 0.3986 | -0.1454 | 1 | 1.145 | 1 | 3.324 | 0.03723 | 0.00005159 | 0.08489 | 0.9972 | 1 | -0.00008837 | 0.06118 | 0.07966 | 0.03008 | 0.1734 | 2.043 | 1.031 | 0.2347 | 0.3851 | 1 | 1 | 0.04591 | 0.2047 | 0.03718 | 0.289 | 1.289 | 0.234 | json |
| t18_x42_u0_b73 | 18 | 42 | 0 | 73 | ![]() |
add(D,lrg(D,eql(R,P))) | 128881 | 147867733 | o2(x,o2(x,o2(x,x))) | true | 59455 | 59455 | 0.4823 | 0.6875 | 0.5176 | 0.2029 | 0.4504 | -0.09672 | 1 | 1.097 | 1 | 2.852 | 0.07312 | 0 | 0.135 | 1 | 1 | 0.00006836 | 0.122 | 0.1445 | 0.0549 | 0.2343 | 1.736 | 1.031 | 0.3604 | 0.6012 | 1 | 1 | 0.0864 | 0.3709 | 0 | 0.4259 | 1.828 | 0 | json |
| t18_x42_u0_b74 | 18 | 42 | 0 | 74 | ![]() |
add(D,lrg(D,min(R,P))) | 128882 | 147867734 | o2(x,o2(x,o2(x,x))) | true | 59463 | 59463 | 0.7255 | 0.9253 | 0.7341 | 0.1291 | 0.3593 | -0.1454 | 1 | 1.145 | 1 | 3.107 | 0.01354 | 0.001071 | 0.06111 | 0.8535 | 1 | 0.0001178 | 0.02206 | 0.04947 | 0.01088 | 0.1043 | 1.707 | 1.055 | 0.1132 | 0.1709 | 1 | 1 | 0.01804 | 0.1041 | 0.154 | 0.1398 | 0.8063 | 1.193 | json |
| t18_x42_u0_b75 | 18 | 42 | 0 | 75 | ![]() |
add(D,lrg(D,dot(R,P))) | 128883 | 147867735 | o2(x,o2(x,o2(x,x))) | true | 59471 | 59471 | 0.5297 | 0.8696 | 0.5472 | 0.1547 | 0.3933 | -0.1454 | 1 | 1.145 | 1 | 3.915 | 0.008781 | 0.002363 | 0.07059 | 0.5759 | 1 | 0.0001179 | 0.01112 | 0.03429 | 0.006162 | 0.0785 | 1.112 | 1.055 | 0.07205 | 0.07188 | 1 | 1 | 0.01969 | 0.1514 | 0.2801 | 0.1273 | 0.9786 | 1.811 | json |
| t18_x42_u0_b76 | 18 | 42 | 0 | 76 | ![]() |
add(D,lrg(D,dst(R,P))) | 128884 | 147867736 | o2(x,o2(x,o2(x,x))) | true | 59479 | 59479 | 0.0002053 | 0.5005 | 0.0943 | 0.01081 | 0.104 | -0.1454 | 0.2502 | 0.3957 | 1 | 2.563 | 0.001652 | 5.189e-7 | 0.0362 | 0.9994 | 1 | 3.05e-12 | 0.0003154 | 0.01481 | 0.0003434 | 0.01853 | 0.5119 | 0.2774 | 0.1529 | 0.02917 | 1 | 1 | 0.003171 | 0.02175 | 0.0001286 | 0.2933 | 2.012 | 0.0119 | json |
| t18_x42_u0_b77 | 18 | 42 | 0 | 77 | ![]() |
add(D,eql(D,add(R,P))) | 128885 | 147867737 | o2(x,o2(x,o2(x,x))) | true | 59487 | 59487 | 0.000082 | 0.5 | 0.09444 | 0.01088 | 0.1043 | -0.1454 | 0.7495 | 0.8949 | 1 | 2.564 | 0.001695 | 6.316e-7 | 0.03621 | 0.9993 | 1 | 2.395e-7 | 0.0004409 | 0.01484 | 0.000385 | 0.01962 | 0.5419 | 0.7026 | 0.1558 | 0.04053 | 1 | 1 | 0.003151 | 0.02183 | 0.00003293 | 0.2897 | 2.007 | 0.003027 | json |
| t18_x42_u0_b78 | 18 | 42 | 0 | 78 | ![]() |
add(D,eql(D,sub(R,P))) | 128886 | 147867738 | o2(x,o2(x,o2(x,x))) | true | 59495 | 59495 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t18_x42_u0_b79 | 18 | 42 | 0 | 79 | ![]() |
add(D,eql(D,mlt(R,P))) | 128887 | 147867739 | o2(x,o2(x,o2(x,x))) | true | 59503 | 59503 | 0.00004008 | 0.5 | 0.0944 | 0.01084 | 0.1041 | -0.1454 | 0.4062 | 0.5516 | 1 | 2.563 | 0.001648 | 1.509e-7 | 0.03614 | 0.9998 | 1 | 1.17e-7 | 0.0003004 | 0.01471 | 0.0003422 | 0.0185 | 0.5118 | 0.3694 | 0.152 | 0.02771 | 1 | 1 | 0.003151 | 0.02183 | 0.000007865 | 0.2907 | 2.014 | 0.0007256 | json |
| t18_x42_u0_b80 | 18 | 42 | 0 | 80 | ![]() |
add(D,eql(D,div(R,P))) | 128888 | 147867740 | o2(x,o2(x,o2(x,x))) | true | 59511 | 59511 | 0.0002761 | 0.5 | 0.09464 | 0.01106 | 0.1051 | -0.1454 | 1 | 1.145 | 1 | 2.568 | 0.00202 | 0.00000281 | 0.0366 | 0.9972 | 1 | 1.17e-7 | 0.001406 | 0.01566 | 0.0006836 | 0.02615 | 0.7143 | 0.969 | 0.1829 | 0.1272 | 1 | 1 | 0.003151 | 0.02183 | 0.000007865 | 0.285 | 1.975 | 0.0007114 | json |
| t18_x42_u0_b81 | 18 | 42 | 0 | 81 | ![]() |
add(D,eql(D,pow(R,P))) | 128889 | 147867741 | o2(x,o2(x,o2(x,x))) | true | 59519 | 59519 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t18_x42_u0_b82 | 18 | 42 | 0 | 82 | ![]() |
add(D,eql(D,mod(R,P))) | 128890 | 147867742 | o2(x,o2(x,o2(x,x))) | true | 59527 | 59527 | 0.00004008 | 0.5 | 0.0944 | 0.01084 | 0.1041 | -0.1454 | 0.4062 | 0.5516 | 1 | 2.563 | 0.001648 | 1.509e-7 | 0.03614 | 0.9998 | 1 | 1.17e-7 | 0.0003004 | 0.01471 | 0.0003422 | 0.0185 | 0.5118 | 0.3694 | 0.152 | 0.02771 | 1 | 1 | 0.003151 | 0.02183 | 0.000007865 | 0.2907 | 2.014 | 0.0007256 | json |
| t18_x42_u0_b83 | 18 | 42 | 0 | 83 | ![]() |
add(D,eql(D,lrg(R,P))) | 128891 | 147867743 | o2(x,o2(x,o2(x,x))) | true | 59535 | 59535 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t18_x42_u0_b84 | 18 | 42 | 0 | 84 | ![]() |
add(D,eql(D,eql(R,P))) | 128892 | 147867744 | o2(x,o2(x,o2(x,x))) | true | 59543 | 59543 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t18_x42_u0_b85 | 18 | 42 | 0 | 85 | ![]() |
add(D,eql(D,min(R,P))) | 128893 | 147867745 | o2(x,o2(x,o2(x,x))) | true | 59551 | 59551 | 0.00004008 | 0.5 | 0.0944 | 0.01084 | 0.1041 | -0.1454 | 0.4062 | 0.5516 | 1 | 2.563 | 0.001648 | 1.509e-7 | 0.03614 | 0.9998 | 1 | 1.17e-7 | 0.0003004 | 0.01471 | 0.0003422 | 0.0185 | 0.5118 | 0.3694 | 0.152 | 0.02771 | 1 | 1 | 0.003151 | 0.02183 | 0.000007865 | 0.2907 | 2.014 | 0.0007256 | json |
| t18_x42_u0_b86 | 18 | 42 | 0 | 86 | ![]() |
add(D,eql(D,dot(R,P))) | 128894 | 147867746 | o2(x,o2(x,o2(x,x))) | true | 59559 | 59559 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t18_x42_u0_b87 | 18 | 42 | 0 | 87 | ![]() |
add(D,eql(D,dst(R,P))) | 128895 | 147867747 | o2(x,o2(x,o2(x,x))) | true | 59567 | 59567 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t18_x42_u0_b88 | 18 | 42 | 0 | 88 | ![]() |
add(D,min(D,add(R,P))) | 128896 | 147867748 | o2(x,o2(x,o2(x,x))) | true | 59575 | 59575 | -0.49 | 0.2302 | 0.5765 | 0.2499 | 0.4999 | -1 | 0.2908 | 1.291 | 1 | 2.996 | 0.003554 | 0.0001776 | 0.0409 | 0.9048 | 1 | 0.0003132 | 0.0005852 | 0.01582 | 0.002059 | 0.04537 | 1.109 | 0.2207 | 0.01494 | 0.002342 | 1 | 1 | 0.007465 | 0.06051 | 0.08066 | 0.02987 | 0.2422 | 0.3228 | json |
| t18_x42_u0_b89 | 18 | 42 | 0 | 89 | ![]() |
add(D,min(D,sub(R,P))) | 128897 | 147867749 | o2(x,o2(x,o2(x,x))) | true | 59583 | 59583 | -0.4657 | 0.2586 | 0.5627 | 0.2593 | 0.5092 | -1 | 0.2908 | 1.291 | 1 | 2.972 | 0.004078 | 0.0001835 | 0.0432 | 0.9139 | 1 | -0.0003198 | 0.0007565 | 0.01774 | 0.002396 | 0.04894 | 1.133 | 0.2937 | 0.01644 | 0.002918 | 1 | 1 | 0.008668 | 0.06419 | 0.07983 | 0.03343 | 0.2475 | 0.3079 | json |
| t18_x42_u0_b90 | 18 | 42 | 0 | 90 | ![]() |
add(D,min(D,mlt(R,P))) | 128898 | 147867750 | o2(x,o2(x,o2(x,x))) | true | 59591 | 59591 | -0.548 | 0.1581 | 0.5943 | 0.193 | 0.4393 | -1 | 0.2908 | 1.291 | 1 | 3.574 | 0.006399 | 0.004308 | 0.06904 | 0.1953 | 1 | 0.0001965 | 0.003451 | 0.03033 | 0.00594 | 0.07707 | 1.116 | 0.5072 | 0.05549 | 0.01789 | 1 | 1 | 0.0185 | 0.1639 | 0.2796 | 0.09589 | 0.8494 | 1.449 | json |
| t18_x42_u0_b91 | 18 | 42 | 0 | 91 | ![]() |
add(D,min(D,div(R,P))) | 128899 | 147867751 | o2(x,o2(x,o2(x,x))) | true | 59599 | 59599 | -0.2434 | 0.2162 | 0.2915 | 0.09728 | 0.3119 | -1 | 0.2908 | 1.291 | 1 | 3.726 | 0.008239 | 0.002707 | 0.06312 | 0.5054 | 1 | 0.0002891 | 0.01401 | 0.03624 | 0.006962 | 0.08344 | 1.322 | 1.417 | 0.1125 | 0.144 | 1 | 1 | 0.01772 | 0.09705 | 0.1498 | 0.1822 | 0.9976 | 1.539 | json |



































































































