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_x44_u0_b190 | 18 | 44 | 0 | 190 | ![]() |
sub(D,lrg(D,div(R,R))) | 129400 | 147948652 | o2(x,o2(x,o2(x,x))) | true | 63607 | 63607 | 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_x44_u0_b191 | 18 | 44 | 0 | 191 | ![]() |
sub(D,lrg(D,pow(R,R))) | 129401 | 147948653 | o2(x,o2(x,o2(x,x))) | true | 63615 | 63615 | -0.5082 | 0.1368 | 0.5283 | 0.152 | 0.3899 | -1 | 0.1454 | 1.145 | 1 | 3.998 | 0.003606 | 0.002375 | 0.06418 | 0.2059 | 1 | -0.00001253 | 0.001089 | 0.02004 | 0.001862 | 0.04315 | 0.6723 | 0.2395 | 0.03935 | 0.007165 | 1 | 1 | 0.01151 | 0.1261 | 0.2656 | 0.07572 | 0.8296 | 1.747 | json |
| t18_x44_u0_b192 | 18 | 44 | 0 | 192 | ![]() |
sub(D,lrg(D,mod(R,R))) | 129402 | 147948654 | o2(x,o2(x,o2(x,x))) | true | 63623 | 63623 | -0.5077 | 0.02095 | 0.5109 | 0.0918 | 0.303 | -1 | 0.1454 | 1.145 | 1 | 4.086 | 0.04569 | 0.0006016 | 0.1075 | 0.974 | 1 | -0.00002083 | 0.09714 | 0.1092 | 0.03475 | 0.1864 | 1.734 | 0.9727 | 0.5043 | 1.058 | 1 | 1 | 0.04312 | 0.1235 | 0.1026 | 0.4697 | 1.345 | 1.117 | json |
| t18_x44_u0_b193 | 18 | 44 | 0 | 193 | ![]() |
sub(D,lrg(D,lrg(R,R))) | 129403 | 147948655 | o2(x,o2(x,o2(x,x))) | true | 63631 | 63631 | -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_x44_u0_b194 | 18 | 44 | 0 | 194 | ![]() |
sub(D,lrg(D,eql(R,R))) | 129404 | 147948656 | o2(x,o2(x,o2(x,x))) | true | 63639 | 63639 | 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_x44_u0_b195 | 18 | 44 | 0 | 195 | ![]() |
sub(D,lrg(D,min(R,R))) | 129405 | 147948657 | o2(x,o2(x,o2(x,x))) | true | 63647 | 63647 | -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_x44_u0_b196 | 18 | 44 | 0 | 196 | ![]() |
sub(D,lrg(D,dot(R,R))) | 129406 | 147948658 | o2(x,o2(x,o2(x,x))) | true | 63655 | 63655 | -0.0466 | 0.4474 | 0.1311 | 0.0277 | 0.1664 | -0.9685 | 0.1454 | 1.114 | 1 | 3.181 | 0.008197 | 0.0002639 | 0.05232 | 0.9376 | 1 | 0.0002807 | 0.01429 | 0.03607 | 0.005724 | 0.07566 | 1.446 | 0.9375 | 0.3054 | 0.5159 | 1 | 1 | 0.009236 | 0.04152 | 0.02968 | 0.3334 | 1.499 | 1.072 | json |
| t18_x44_u0_b197 | 18 | 44 | 0 | 197 | ![]() |
sub(D,lrg(D,dst(R,R))) | 129407 | 147948659 | o2(x,o2(x,o2(x,x))) | true | 63663 | 63663 | -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_x44_u0_b198 | 18 | 44 | 0 | 198 | ![]() |
sub(D,eql(D,add(R,R))) | 129408 | 147948660 | o2(x,o2(x,o2(x,x))) | true | 63671 | 63671 | 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_x44_u0_b199 | 18 | 44 | 0 | 199 | ![]() |
sub(D,eql(D,sub(R,R))) | 129409 | 147948661 | o2(x,o2(x,o2(x,x))) | true | 63679 | 63679 | 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_x44_u0_b200 | 18 | 44 | 0 | 200 | ![]() |
sub(D,eql(D,mlt(R,R))) | 129410 | 147948662 | o2(x,o2(x,o2(x,x))) | true | 63687 | 63687 | -0.0002441 | 0.4996 | 0.09458 | 0.011 | 0.1049 | -0.9685 | 0.1454 | 1.114 | 1 | 2.566 | 0.002024 | 0.000002791 | 0.03655 | 0.9972 | 1 | 3.564e-7 | 0.001449 | 0.01559 | 0.0006917 | 0.0263 | 0.7196 | 1.055 | 0.1843 | 0.1317 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2865 | 1.985 | 0 | json |
| t18_x45_u0_b0 | 18 | 45 | 0 | 0 | ![]() |
add(D,add(R,add(P,P))) | 129411 | 147988863 | o2(x,o2(x,o2(x,x))) | true | 63695 | 63695 | -0.004446 | 0.4969 | 0.9722 | 0.9621 | 0.9809 | -1 | 1 | 2 | 1 | 1.524 | 0.001329 | 0.0001666 | 0.008652 | 0.7773 | 1 | -0.000008482 | 0.0002625 | 0.002629 | 0.001422 | 0.03771 | 4.358 | 0.3648 | 0.001555 | 0.0002728 | 1 | 1 | 0.00388 | 0.04653 | 0.3107 | 0.004033 | 0.04836 | 0.3229 | json |
| t18_x45_u0_b1 | 18 | 45 | 0 | 1 | ![]() |
add(D,add(R,sub(P,P))) | 129412 | 147988864 | o2(x,o2(x,o2(x,x))) | true | 63703 | 63703 | 0.009078 | 0.4986 | 0.4013 | 0.2304 | 0.48 | -1 | 1 | 2 | 1 | 4.899 | 0.004471 | 0.003165 | 0.07546 | 0.1709 | 1 | 0.00002869 | 0.0006263 | 0.01935 | 0.001942 | 0.04407 | 0.584 | 0.2845 | 0.03314 | 0.002718 | 1 | 1 | 0.01508 | 0.1746 | 0.3904 | 0.06546 | 0.7577 | 1.694 | json |
| t18_x45_u0_b2 | 18 | 45 | 0 | 2 | ![]() |
add(D,add(R,mlt(P,P))) | 129413 | 147988865 | o2(x,o2(x,o2(x,x))) | true | 63711 | 63711 | 0.9253 | 0.9706 | 0.9504 | 0.07522 | 0.2743 | -1 | 1 | 2 | 1 | 0.9493 | 0.001574 | 0.0003207 | 0.01221 | 0.6614 | 1 | -0.0000324 | 0.000391 | 0.004352 | 0.001747 | 0.0418 | 3.424 | 0.3876 | 0.02518 | 0.005197 | 1 | 1 | 0.004488 | 0.048 | 0.1315 | 0.05966 | 0.6381 | 1.748 | json |
| t18_x45_u0_b3 | 18 | 45 | 0 | 3 | ![]() |
add(D,add(R,div(P,P))) | 129414 | 147988866 | o2(x,o2(x,o2(x,x))) | true | 63719 | 63719 | 0.5778 | 0.8688 | 0.8283 | 0.4203 | 0.6483 | -1 | 1 | 2 | 1 | 2.95 | 0.03002 | 0.001285 | 0.04706 | 0.9179 | 1 | -0.000007663 | 0.05748 | 0.04311 | 0.02908 | 0.1705 | 3.624 | 2.002 | 0.07448 | 0.1368 | 1 | 1 | 0.04278 | 0.1987 | 0.6526 | 0.1018 | 0.4728 | 1.553 | json |
| t18_x45_u0_b4 | 18 | 45 | 0 | 4 | ![]() |
add(D,add(R,pow(P,P))) | 129415 | 147988867 | o2(x,o2(x,o2(x,x))) | true | 63727 | 63727 | -0.01185 | 0.4999 | 0.9882 | 0.9822 | 0.991 | -1 | 1 | 2 | 1 | 1.273 | 0.01194 | 0.0001041 | 0.009469 | 0.9827 | 1 | -0.00001579 | 0.02325 | 0.01446 | 0.01195 | 0.1093 | 11.54 | 2 | 0.01226 | 0.02367 | 1 | 1 | 0.01688 | 0.07612 | 0.3181 | 0.01719 | 0.0775 | 0.3239 | json |
| t18_x45_u0_b5 | 18 | 45 | 0 | 5 | ![]() |
add(D,add(R,mod(P,P))) | 129416 | 147988868 | o2(x,o2(x,o2(x,x))) | true | 63735 | 63735 | -0.1241 | 0.433 | 0.7608 | 0.6733 | 0.8205 | -1 | 1 | 2 | 1 | 3.526 | 0.02447 | 0.001487 | 0.06445 | 0.8855 | 1 | 0.00001928 | 0.03167 | 0.04469 | 0.0218 | 0.1477 | 2.291 | 1.974 | 0.03856 | 0.04703 | 1 | 1 | 0.03807 | 0.2713 | 0.6415 | 0.05654 | 0.403 | 0.9528 | json |
| t18_x45_u0_b6 | 18 | 45 | 0 | 6 | ![]() |
add(D,add(R,lrg(P,P))) | 129417 | 147988869 | o2(x,o2(x,o2(x,x))) | true | 63743 | 63743 | 0.009078 | 0.4986 | 0.4013 | 0.2304 | 0.48 | -1 | 1 | 2 | 1 | 4.899 | 0.004471 | 0.003165 | 0.07546 | 0.1709 | 1 | 0.00002869 | 0.0006263 | 0.01935 | 0.001942 | 0.04407 | 0.584 | 0.2845 | 0.03314 | 0.002718 | 1 | 1 | 0.01508 | 0.1746 | 0.3904 | 0.06546 | 0.7577 | 1.694 | json |
| t18_x45_u0_b7 | 18 | 45 | 0 | 7 | ![]() |
add(D,add(R,eql(P,P))) | 129418 | 147988870 | o2(x,o2(x,o2(x,x))) | true | 63751 | 63751 | 0.8037 | 0.9934 | 0.8041 | 0.07377 | 0.2716 | -0.1152 | 1 | 1.115 | 1 | 2.737 | 0.002067 | 0.001466 | 0.03716 | 0.17 | 1 | -0.00002939 | 0.000931 | 0.01535 | 0.002152 | 0.04639 | 1.249 | 0.2737 | 0.0479 | 0.01262 | 1 | 1 | 0.006608 | 0.06117 | 0.1158 | 0.08958 | 0.8292 | 1.57 | json |
| t18_x45_u0_b8 | 18 | 45 | 0 | 8 | ![]() |
add(D,add(R,min(P,P))) | 129419 | 147988871 | o2(x,o2(x,o2(x,x))) | true | 63759 | 63759 | 0.003852 | 0.4978 | 0.9422 | 0.9215 | 0.96 | -1 | 1 | 2 | 1 | 1.954 | 0.0009658 | 0.0003588 | 0.01129 | 0.4583 | 1 | -0.00002006 | 0.0001888 | 0.003032 | 0.001197 | 0.03459 | 3.063 | 0.2576 | 0.001437 | 0.0002049 | 1 | 1 | 0.003245 | 0.04153 | 0.2697 | 0.003522 | 0.04507 | 0.2927 | json |
| t18_x45_u0_b9 | 18 | 45 | 0 | 9 | ![]() |
add(D,add(R,dot(P,P))) | 129420 | 147988872 | o2(x,o2(x,o2(x,x))) | true | 63767 | 63767 | 0.9979 | 1 | 0.9979 | 0.0007522 | 0.02743 | 0.2853 | 1 | 0.7147 | 1 | 0.08511 | 0.00005263 | 0.00003254 | 0.0007551 | 0.2359 | 0 | -3.379e-11 | 0.00005128 | 0.0005142 | 0.00008455 | 0.009195 | 12.18 | 0.2754 | 0.1132 | 0.06817 | 1 | 1 | 0.000264 | 0.001743 | 0.002679 | 0.351 | 2.318 | 3.561 | json |
| t18_x45_u0_b10 | 18 | 45 | 0 | 10 | ![]() |
add(D,add(R,dst(P,P))) | 129421 | 147988873 | o2(x,o2(x,o2(x,x))) | true | 63775 | 63775 | 0.009078 | 0.4986 | 0.4013 | 0.2304 | 0.48 | -1 | 1 | 2 | 1 | 4.899 | 0.004471 | 0.003165 | 0.07546 | 0.1709 | 1 | 0.00002869 | 0.0006263 | 0.01935 | 0.001942 | 0.04407 | 0.584 | 0.2845 | 0.03314 | 0.002718 | 1 | 1 | 0.01508 | 0.1746 | 0.3904 | 0.06546 | 0.7577 | 1.694 | json |
| t18_x45_u0_b11 | 18 | 45 | 0 | 11 | ![]() |
add(D,sub(R,add(P,P))) | 129422 | 147988874 | o2(x,o2(x,o2(x,x))) | true | 63783 | 63783 | -0.005016 | 0.4968 | 0.9696 | 0.9579 | 0.9787 | -1 | 1 | 2 | 1 | 1.557 | 0.002072 | 0.0001647 | 0.009995 | 0.8527 | 1 | -0.000008806 | 0.0006035 | 0.004717 | 0.002137 | 0.04622 | 4.625 | 0.4869 | 0.002335 | 0.0006301 | 1 | 1 | 0.005642 | 0.0507 | 0.3055 | 0.00589 | 0.05292 | 0.3189 | json |
| t18_x45_u0_b12 | 18 | 45 | 0 | 12 | ![]() |
add(D,sub(R,sub(P,P))) | 129423 | 147988875 | o2(x,o2(x,o2(x,x))) | true | 63791 | 63791 | 0.009078 | 0.4986 | 0.4013 | 0.2304 | 0.48 | -1 | 1 | 2 | 1 | 4.899 | 0.004471 | 0.003165 | 0.07546 | 0.1709 | 1 | 0.00002869 | 0.0006263 | 0.01935 | 0.001942 | 0.04407 | 0.584 | 0.2845 | 0.03314 | 0.002718 | 1 | 1 | 0.01508 | 0.1746 | 0.3904 | 0.06546 | 0.7577 | 1.694 | json |
| t18_x45_u0_b13 | 18 | 45 | 0 | 13 | ![]() |
add(D,sub(R,mlt(P,P))) | 129424 | 147988876 | o2(x,o2(x,o2(x,x))) | true | 63799 | 63799 | -0.9186 | 0.02373 | 0.9346 | 0.06781 | 0.2604 | -1 | 0.9017 | 1.902 | 1 | 1.083 | 0.001331 | 0.0003777 | 0.01239 | 0.5578 | 1 | -0.000004149 | 0.0004749 | 0.004957 | 0.001554 | 0.03942 | 3.183 | 0.3684 | 0.02519 | 0.007003 | 1 | 1 | 0.004242 | 0.04344 | 0.1348 | 0.06256 | 0.6406 | 1.987 | json |
| t18_x45_u0_b14 | 18 | 45 | 0 | 14 | ![]() |
add(D,sub(R,div(P,P))) | 129425 | 147988877 | o2(x,o2(x,o2(x,x))) | true | 63807 | 63807 | -0.8228 | 0.003952 | 0.8231 | 0.07165 | 0.2677 | -1 | 0.08818 | 1.088 | 1 | 2.486 | 0.003724 | 0.001407 | 0.03616 | 0.4515 | 1 | 0.0000559 | 0.004479 | 0.01858 | 0.003824 | 0.06184 | 1.71 | 0.9742 | 0.07161 | 0.06251 | 1 | 1 | 0.008008 | 0.06346 | 0.1263 | 0.1118 | 0.8856 | 1.763 | json |
| t18_x45_u0_b15 | 18 | 45 | 0 | 15 | ![]() |
add(D,sub(R,pow(P,P))) | 129426 | 147988878 | o2(x,o2(x,o2(x,x))) | true | 63815 | 63815 | -0.9793 | 0.00006104 | 0.9793 | 0.01165 | 0.108 | -1 | 0.00472 | 1.005 | 1 | 0.4175 | 0.001006 | 0.000138 | 0.005553 | 0.7589 | 1 | -6.382e-11 | 0.001179 | 0.00422 | 0.001113 | 0.03337 | 6.008 | 0.8601 | 0.0982 | 0.1012 | 1 | 1 | 0.002186 | 0.0134 | 0.02364 | 0.1876 | 1.15 | 2.029 | json |
| t18_x45_u0_b16 | 18 | 45 | 0 | 16 | ![]() |
add(D,sub(R,mod(P,P))) | 129427 | 147988879 | o2(x,o2(x,o2(x,x))) | true | 63823 | 63823 | -0.1274 | 0.4291 | 0.7637 | 0.6756 | 0.8219 | -1 | 1 | 2 | 1 | 3.525 | 0.02389 | 0.001462 | 0.0629 | 0.8846 | 1 | 0.00004639 | 0.0315 | 0.04486 | 0.02139 | 0.1463 | 2.325 | 1.974 | 0.03753 | 0.04662 | 1 | 1 | 0.04016 | 0.2708 | 0.644 | 0.05945 | 0.4008 | 0.9532 | json |
| t18_x45_u0_b17 | 18 | 45 | 0 | 17 | ![]() |
add(D,sub(R,lrg(P,P))) | 129428 | 147988880 | o2(x,o2(x,o2(x,x))) | true | 63831 | 63831 | 0.009078 | 0.4986 | 0.4013 | 0.2304 | 0.48 | -1 | 1 | 2 | 1 | 4.899 | 0.004471 | 0.003165 | 0.07546 | 0.1709 | 1 | 0.00002869 | 0.0006263 | 0.01935 | 0.001942 | 0.04407 | 0.584 | 0.2845 | 0.03314 | 0.002718 | 1 | 1 | 0.01508 | 0.1746 | 0.3904 | 0.06546 | 0.7577 | 1.694 | json |
| t18_x45_u0_b18 | 18 | 45 | 0 | 18 | ![]() |
add(D,sub(R,eql(P,P))) | 129429 | 147988881 | o2(x,o2(x,o2(x,x))) | true | 63839 | 63839 | -0.7947 | 0.003952 | 0.7949 | 0.07675 | 0.277 | -1 | 0.08818 | 1.088 | 1 | 2.748 | 0.002267 | 0.001589 | 0.039 | 0.1758 | 1 | 0.0000559 | 0.0009536 | 0.0154 | 0.002335 | 0.04832 | 1.239 | 0.2738 | 0.05023 | 0.01242 | 1 | 1 | 0.007444 | 0.07061 | 0.1422 | 0.09699 | 0.92 | 1.853 | json |
| t18_x45_u0_b19 | 18 | 45 | 0 | 19 | ![]() |
add(D,sub(R,min(P,P))) | 129430 | 147988882 | o2(x,o2(x,o2(x,x))) | true | 63847 | 63847 | 0.004613 | 0.4966 | 0.9369 | 0.9128 | 0.9554 | -1 | 1 | 2 | 1 | 2.013 | 0.001754 | 0.0003857 | 0.01398 | 0.6395 | 1 | -0.00002058 | 0.0004675 | 0.005718 | 0.001946 | 0.04411 | 3.155 | 0.3876 | 0.002345 | 0.0005122 | 1 | 1 | 0.005271 | 0.05112 | 0.2627 | 0.005775 | 0.05601 | 0.2878 | json |
| t18_x45_u0_b20 | 18 | 45 | 0 | 20 | ![]() |
add(D,sub(R,dot(P,P))) | 129431 | 147988883 | o2(x,o2(x,o2(x,x))) | true | 63855 | 63855 | -0.9934 | 0.002808 | 0.9959 | 0.007539 | 0.08683 | -1 | 0.9014 | 1.901 | 1 | 0.1103 | 0.0001647 | 0.0001271 | 0.001542 | 0.129 | 1 | 1.877e-11 | 0.00004932 | 0.0005296 | 0.0002891 | 0.017 | 11.03 | 0.2958 | 0.0387 | 0.006542 | 1 | 1 | 0.0009908 | 0.01124 | 0.02756 | 0.1314 | 1.49 | 3.655 | json |
| t18_x45_u0_b21 | 18 | 45 | 0 | 21 | ![]() |
add(D,sub(R,dst(P,P))) | 129432 | 147988884 | o2(x,o2(x,o2(x,x))) | true | 63863 | 63863 | 0.009078 | 0.4986 | 0.4013 | 0.2304 | 0.48 | -1 | 1 | 2 | 1 | 4.899 | 0.004471 | 0.003165 | 0.07546 | 0.1709 | 1 | 0.00002869 | 0.0006263 | 0.01935 | 0.001942 | 0.04407 | 0.584 | 0.2845 | 0.03314 | 0.002718 | 1 | 1 | 0.01508 | 0.1746 | 0.3904 | 0.06546 | 0.7577 | 1.694 | json |
| t18_x45_u0_b22 | 18 | 45 | 0 | 22 | ![]() |
add(D,mlt(R,add(P,P))) | 129433 | 147988885 | o2(x,o2(x,o2(x,x))) | true | 63871 | 63871 | -0.06216 | 0.4699 | 0.842 | 0.7934 | 0.8907 | -1 | 1 | 2 | 1 | 2.872 | 0.03135 | 0.03662 | 0.1027 | -0.07754 | 1 | -0.0000358 | 0.07286 | 0.0844 | 0.05742 | 0.2396 | 2.334 | 2.128 | 0.08567 | 0.09183 | 1 | 1 | 0.0901 | 0.6255 | 1.348 | 0.1136 | 0.7883 | 1.699 | json |
| t18_x45_u0_b23 | 18 | 45 | 0 | 23 | ![]() |
add(D,mlt(R,sub(P,P))) | 129434 | 147988886 | o2(x,o2(x,o2(x,x))) | true | 63879 | 63879 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.03609 | 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 | 5.236e-15 | 0.2912 | 2.017 | 4.838e-13 | json |
| t18_x45_u0_b24 | 18 | 45 | 0 | 24 | ![]() |
add(D,mlt(R,mlt(P,P))) | 129435 | 147988887 | o2(x,o2(x,o2(x,x))) | true | 63887 | 63887 | -0.004325 | 0.5015 | 0.8358 | 0.7945 | 0.8913 | -1 | 1 | 2 | 1 | 2.785 | 0.04741 | 0.05812 | 0.1018 | -0.1015 | 1 | 0.00007396 | 0.1981 | 0.1209 | 0.09513 | 0.3084 | 3.031 | 2.828 | 0.1328 | 0.2494 | 1 | 1 | 0.111 | 0.6382 | 1.327 | 0.1397 | 0.8032 | 1.67 | json |
| t18_x45_u0_b25 | 18 | 45 | 0 | 25 | ![]() |
add(D,mlt(R,div(P,P))) | 129436 | 147988888 | o2(x,o2(x,o2(x,x))) | true | 63895 | 63895 | -0.1199 | 0.4323 | 0.474 | 0.3114 | 0.5581 | -1 | 1 | 2 | 1 | 4.757 | 0.01734 | 0.002787 | 0.07463 | 0.723 | 1 | 0.00004893 | 0.02777 | 0.03602 | 0.01456 | 0.1206 | 1.617 | 1.974 | 0.06462 | 0.08917 | 1 | 1 | 0.0286 | 0.2022 | 0.5049 | 0.09184 | 0.6493 | 1.621 | json |
| t18_x45_u0_b26 | 18 | 45 | 0 | 26 | ![]() |
add(D,mlt(R,pow(P,P))) | 129437 | 147988889 | o2(x,o2(x,o2(x,x))) | true | 63903 | 63903 | -0.5379 | 0.2325 | 0.9373 | 0.6284 | 0.7927 | -1 | 1 | 2 | 1 | 1.65 | 0.04322 | 0.04569 | 0.06054 | -0.0278 | 1 | 0.00002183 | 0.2086 | 0.09486 | 0.08529 | 0.2921 | 4.824 | 2.828 | 0.1415 | 0.332 | 1 | 1 | 0.0801 | 0.4002 | 0.8329 | 0.1275 | 0.6368 | 1.325 | json |
| t18_x45_u0_b27 | 18 | 45 | 0 | 27 | ![]() |
add(D,mlt(R,mod(P,P))) | 129438 | 147988890 | o2(x,o2(x,o2(x,x))) | true | 63911 | 63911 | -0.1875 | 0.4007 | 0.5371 | 0.4301 | 0.6558 | -1 | 1 | 2 | 1 | 3.787 | 0.01689 | 0.01026 | 0.07611 | 0.2441 | 1 | 0.00003107 | 0.02644 | 0.05006 | 0.02136 | 0.1462 | 1.92 | 1.483 | 0.06314 | 0.06147 | 1 | 1 | 0.02736 | 0.2039 | 0.5904 | 0.06362 | 0.4742 | 1.373 | json |
| t18_x45_u0_b28 | 18 | 45 | 0 | 28 | ![]() |
add(D,mlt(R,lrg(P,P))) | 129439 | 147988891 | o2(x,o2(x,o2(x,x))) | true | 63919 | 63919 | 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_x45_u0_b29 | 18 | 45 | 0 | 29 | ![]() |
add(D,mlt(R,eql(P,P))) | 129440 | 147988892 | o2(x,o2(x,o2(x,x))) | true | 63927 | 63927 | 0.009078 | 0.4986 | 0.4013 | 0.2304 | 0.48 | -1 | 1 | 2 | 1 | 4.899 | 0.004471 | 0.003165 | 0.07546 | 0.1709 | 1 | 0.00002869 | 0.0006263 | 0.01935 | 0.001942 | 0.04407 | 0.584 | 0.2845 | 0.03314 | 0.002718 | 1 | 1 | 0.01508 | 0.1746 | 0.3904 | 0.06546 | 0.7577 | 1.694 | json |
| t18_x45_u0_b30 | 18 | 45 | 0 | 30 | ![]() |
add(D,mlt(R,min(P,P))) | 129441 | 147988893 | o2(x,o2(x,o2(x,x))) | true | 63935 | 63935 | -0.06213 | 0.4697 | 0.7294 | 0.6462 | 0.8039 | -1 | 1 | 2 | 1 | 3.789 | 0.01715 | 0.01965 | 0.09662 | -0.06814 | 1 | -0.00004685 | 0.02024 | 0.05112 | 0.02745 | 0.1657 | 1.715 | 1.483 | 0.05695 | 0.03133 | 1 | 1 | 0.05226 | 0.4546 | 1.037 | 0.08087 | 0.7035 | 1.604 | json |
| t18_x45_u0_b31 | 18 | 45 | 0 | 31 | ![]() |
add(D,mlt(R,dot(P,P))) | 129442 | 147988894 | o2(x,o2(x,o2(x,x))) | true | 63943 | 63943 | -0.01197 | 0.4941 | 0.9558 | 0.9421 | 0.9706 | -1 | 1 | 2 | 1 | 1.697 | 0.07231 | 0.08575 | 0.1096 | -0.08502 | 1 | 0.00007357 | 0.3401 | 0.1715 | 0.1461 | 0.3822 | 3.486 | 2.828 | 0.1678 | 0.361 | 1 | 1 | 0.1623 | 0.8265 | 1.654 | 0.1723 | 0.8773 | 1.755 | json |
| t18_x45_u0_b32 | 18 | 45 | 0 | 32 | ![]() |
add(D,mlt(R,dst(P,P))) | 129443 | 147988895 | o2(x,o2(x,o2(x,x))) | true | 63951 | 63951 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.03609 | 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 | 5.236e-15 | 0.2912 | 2.017 | 4.838e-13 | json |
| t18_x45_u0_b33 | 18 | 45 | 0 | 33 | ![]() |
add(D,div(R,add(P,P))) | 129444 | 147988896 | o2(x,o2(x,o2(x,x))) | true | 63959 | 63959 | -0.1256 | 0.4358 | 0.2233 | 0.1264 | 0.3556 | -1 | 0.5897 | 1.59 | 1 | 3.327 | 0.01049 | 0.0001092 | 0.04172 | 0.9794 | 1 | -0.00000354 | 0.01807 | 0.02917 | 0.008858 | 0.09412 | 2.256 | 1.503 | 0.08383 | 0.1429 | 1 | 1 | 0.01465 | 0.06949 | 0.1858 | 0.1159 | 0.5496 | 1.47 | json |
| t18_x45_u0_b34 | 18 | 45 | 0 | 34 | ![]() |
add(D,div(R,sub(P,P))) | 129445 | 147988897 | o2(x,o2(x,o2(x,x))) | true | 63967 | 63967 | -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_x45_u0_b35 | 18 | 45 | 0 | 35 | ![]() |
add(D,div(R,mlt(P,P))) | 129446 | 147988898 | o2(x,o2(x,o2(x,x))) | true | 63975 | 63975 | -0.1161 | 0.4402 | 0.2336 | 0.1377 | 0.3711 | -1 | 1 | 2 | 1 | 3.36 | 0.01522 | 0.000257 | 0.04454 | 0.9668 | 1 | -0.00001292 | 0.02747 | 0.03226 | 0.01349 | 0.1162 | 2.608 | 1.974 | 0.1124 | 0.1995 | 1 | 1 | 0.01977 | 0.09018 | 0.2158 | 0.1436 | 0.6549 | 1.567 | json |
| t18_x45_u0_b36 | 18 | 45 | 0 | 36 | ![]() |
add(D,div(R,div(P,P))) | 129447 | 147988899 | o2(x,o2(x,o2(x,x))) | true | 63983 | 63983 | -0.1199 | 0.4323 | 0.474 | 0.3114 | 0.5581 | -1 | 1 | 2 | 1 | 4.757 | 0.01734 | 0.002787 | 0.07463 | 0.723 | 1 | 0.00004893 | 0.02777 | 0.03602 | 0.01456 | 0.1206 | 1.617 | 1.974 | 0.06462 | 0.08917 | 1 | 1 | 0.0286 | 0.2022 | 0.5049 | 0.09184 | 0.6493 | 1.621 | json |
| t18_x45_u0_b37 | 18 | 45 | 0 | 37 | ![]() |
add(D,div(R,pow(P,P))) | 129448 | 147988900 | o2(x,o2(x,o2(x,x))) | true | 63991 | 63991 | -0.49 | 0.2465 | 0.5793 | 0.2874 | 0.5361 | -1 | 1 | 2 | 1 | 2.775 | 0.005651 | 0.0003121 | 0.0264 | 0.8953 | 1 | 0.0001394 | 0.008737 | 0.01469 | 0.005267 | 0.07257 | 2.749 | 1.86 | 0.02075 | 0.03041 | 1 | 1 | 0.009739 | 0.05915 | 0.1449 | 0.03389 | 0.2058 | 0.5042 | json |
| t18_x45_u0_b38 | 18 | 45 | 0 | 38 | ![]() |
add(D,div(R,mod(P,P))) | 129449 | 147988901 | o2(x,o2(x,o2(x,x))) | true | 63999 | 63999 | -0.8767 | 0.05737 | 0.8883 | 0.1084 | 0.3293 | -1 | 0.2917 | 1.292 | 1 | 0.9265 | 0.01575 | 0.000009622 | 0.01999 | 0.9988 | 1 | 6.639e-7 | 0.03115 | 0.03305 | 0.01537 | 0.124 | 6.201 | 1.188 | 0.1453 | 0.2873 | 1 | 1 | 0.002711 | 0.02191 | 0.04212 | 0.025 | 0.2021 | 0.3884 | json |
| t18_x45_u0_b39 | 18 | 45 | 0 | 39 | ![]() |
add(D,div(R,lrg(P,P))) | 129450 | 147988902 | o2(x,o2(x,o2(x,x))) | true | 64007 | 64007 | -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_x45_u0_b40 | 18 | 45 | 0 | 40 | ![]() |
add(D,div(R,eql(P,P))) | 129451 | 147988903 | o2(x,o2(x,o2(x,x))) | true | 64015 | 64015 | 0.009078 | 0.4986 | 0.4013 | 0.2304 | 0.48 | -1 | 1 | 2 | 1 | 4.899 | 0.004471 | 0.003165 | 0.07546 | 0.1709 | 1 | 0.00002869 | 0.0006263 | 0.01935 | 0.001942 | 0.04407 | 0.584 | 0.2845 | 0.03314 | 0.002718 | 1 | 1 | 0.01508 | 0.1746 | 0.3904 | 0.06546 | 0.7577 | 1.694 | json |
| t18_x45_u0_b41 | 18 | 45 | 0 | 41 | ![]() |
add(D,div(R,min(P,P))) | 129452 | 147988904 | o2(x,o2(x,o2(x,x))) | true | 64023 | 64023 | -0.1262 | 0.4271 | 0.2586 | 0.1479 | 0.3846 | -1 | 1 | 2 | 1 | 3.773 | 0.01293 | 0.0004368 | 0.04638 | 0.9346 | 1 | -0.000007081 | 0.02235 | 0.02999 | 0.01121 | 0.1059 | 2.283 | 1.974 | 0.09035 | 0.1511 | 1 | 1 | 0.01825 | 0.09367 | 0.2323 | 0.1233 | 0.6331 | 1.57 | json |
| t18_x45_u0_b42 | 18 | 45 | 0 | 42 | ![]() |
add(D,div(R,dot(P,P))) | 129453 | 147988905 | o2(x,o2(x,o2(x,x))) | true | 64031 | 64031 | -0.004382 | 0.508 | 0.1132 | 0.02859 | 0.1691 | -1 | 1 | 2 | 1 | 2.863 | 0.003863 | 0.00209 | 0.03927 | 0.2979 | 1 | 3.529e-8 | 0.009311 | 0.02041 | 0.004411 | 0.06642 | 1.691 | 2.828 | 0.2082 | 0.3257 | 1 | 1 | 0.0109 | 0.05489 | 0.06542 | 0.3813 | 1.92 | 2.288 | json |
| t18_x45_u0_b43 | 18 | 45 | 0 | 43 | ![]() |
add(D,div(R,dst(P,P))) | 129454 | 147988906 | o2(x,o2(x,o2(x,x))) | true | 64039 | 64039 | -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_x45_u0_b44 | 18 | 45 | 0 | 44 | ![]() |
add(D,pow(R,add(P,P))) | 129455 | 147988907 | o2(x,o2(x,o2(x,x))) | true | 64047 | 64047 | -0.8606 | 0.07343 | 0.9911 | 0.2478 | 0.4978 | -1 | 1 | 2 | 1 | 0.5084 | 0.02208 | 0.02176 | 0.02401 | 0.00744 | 1 | 0.00001093 | 0.09154 | 0.04654 | 0.04325 | 0.208 | 8.662 | 2.828 | 0.1769 | 0.3694 | 1 | 1 | 0.04277 | 0.1802 | 0.5947 | 0.1726 | 0.727 | 2.4 | json |
| t18_x45_u0_b45 | 18 | 45 | 0 | 45 | ![]() |
add(D,pow(R,sub(P,P))) | 129456 | 147988908 | o2(x,o2(x,o2(x,x))) | true | 64055 | 64055 | 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 | 2.693e-15 | 0.4081 | 1.715 | 8.454e-13 | json |
| t18_x45_u0_b46 | 18 | 45 | 0 | 46 | ![]() |
add(D,pow(R,mlt(P,P))) | 129457 | 147988909 | o2(x,o2(x,o2(x,x))) | true | 64063 | 64063 | -0.8904 | 0.06267 | 0.9632 | 0.1614 | 0.4017 | -1 | 1 | 2 | 1 | 0.6801 | 0.01313 | 0.01371 | 0.01996 | -0.02155 | 1 | -0.000009905 | 0.05593 | 0.03587 | 0.02645 | 0.1626 | 8.149 | 2.784 | 0.1663 | 0.3465 | 1 | 1 | 0.02712 | 0.1171 | 0.4137 | 0.168 | 0.7257 | 2.563 | json |
| t18_x45_u0_b47 | 18 | 45 | 0 | 47 | ![]() |
add(D,pow(R,div(P,P))) | 129458 | 147988910 | o2(x,o2(x,o2(x,x))) | true | 64071 | 64071 | -0.9454 | 0.03503 | 0.9842 | 0.08345 | 0.2889 | -1 | 1 | 2 | 1 | 0.3536 | 0.008753 | 0.007683 | 0.0118 | 0.0651 | 1 | -7.245e-7 | 0.03426 | 0.02128 | 0.01629 | 0.1276 | 10.82 | 2.054 | 0.197 | 0.4106 | 1 | 1 | 0.01515 | 0.06231 | 0.1545 | 0.1815 | 0.7467 | 1.852 | json |
| t18_x45_u0_b48 | 18 | 45 | 0 | 48 | ![]() |
add(D,pow(R,pow(P,P))) | 129459 | 147988911 | o2(x,o2(x,o2(x,x))) | true | 64079 | 64079 | -0.9897 | 0.005859 | 0.995 | 0.01419 | 0.1191 | -1 | 0.8359 | 1.836 | 1 | 0.09442 | 0.001621 | 0.001793 | 0.002561 | -0.0504 | 1 | 0.00001004 | 0.007192 | 0.004748 | 0.003406 | 0.05836 | 22.78 | 2.596 | 0.2406 | 0.5069 | 1 | 1 | 0.0006248 | 0.004307 | 0.01277 | 0.04404 | 0.3036 | 0.8998 | json |
| t18_x45_u0_b49 | 18 | 45 | 0 | 49 | ![]() |
add(D,pow(R,mod(P,P))) | 129460 | 147988912 | o2(x,o2(x,o2(x,x))) | true | 64087 | 64087 | -0.321 | 0.3513 | 0.976 | 0.8572 | 0.9258 | -1 | 1 | 2 | 1 | 1.529 | 0.1193 | 0.02507 | 0.07964 | 0.6528 | 1 | 0.00004567 | 0.2957 | 0.1513 | 0.1381 | 0.3716 | 4.666 | 2.828 | 0.1685 | 0.345 | 1 | 1 | 0.1664 | 0.6616 | 1.587 | 0.1942 | 0.7719 | 1.851 | json |
| t18_x45_u0_b50 | 18 | 45 | 0 | 50 | ![]() |
add(D,pow(R,lrg(P,P))) | 129461 | 147988913 | o2(x,o2(x,o2(x,x))) | true | 64095 | 64095 | 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_x45_u0_b51 | 18 | 45 | 0 | 51 | ![]() |
add(D,pow(R,eql(P,P))) | 129462 | 147988914 | o2(x,o2(x,o2(x,x))) | true | 64103 | 64103 | 0.009078 | 0.4986 | 0.4013 | 0.2304 | 0.48 | -1 | 1 | 2 | 1 | 4.899 | 0.004471 | 0.003165 | 0.07546 | 0.1709 | 1 | 0.00002869 | 0.0006263 | 0.01935 | 0.001942 | 0.04407 | 0.584 | 0.2845 | 0.03314 | 0.002718 | 1 | 1 | 0.01508 | 0.1746 | 0.3904 | 0.06546 | 0.7577 | 1.694 | json |
| t18_x45_u0_b52 | 18 | 45 | 0 | 52 | ![]() |
add(D,pow(R,min(P,P))) | 129463 | 147988915 | o2(x,o2(x,o2(x,x))) | true | 64111 | 64111 | -0.8588 | 0.07391 | 0.9928 | 0.252 | 0.502 | -1 | 1 | 2 | 1 | 0.5077 | 0.0227 | 0.02219 | 0.02421 | 0.01132 | 1 | 0.00001188 | 0.09385 | 0.04725 | 0.04428 | 0.2104 | 8.691 | 2.828 | 0.1781 | 0.3723 | 1 | 1 | 0.04364 | 0.1828 | 0.6029 | 0.1732 | 0.7251 | 2.392 | json |
| t18_x45_u0_b53 | 18 | 45 | 0 | 53 | ![]() |
add(D,pow(R,dot(P,P))) | 129464 | 147988916 | o2(x,o2(x,o2(x,x))) | true | 64119 | 64119 | -0.9552 | 0.02481 | 0.9622 | 0.04562 | 0.2136 | -1 | 0.5531 | 1.553 | 1 | 0.3865 | 0.004835 | 0.004352 | 0.009931 | 0.05256 | 1 | -0.00001002 | 0.01912 | 0.01779 | 0.009086 | 0.09532 | 9.598 | 1.701 | 0.2014 | 0.4191 | 1 | 1 | 0.00776 | 0.03316 | 0.08471 | 0.1701 | 0.7268 | 1.857 | json |
| t18_x45_u0_b54 | 18 | 45 | 0 | 54 | ![]() |
add(D,pow(R,dst(P,P))) | 129465 | 147988917 | o2(x,o2(x,o2(x,x))) | true | 64127 | 64127 | 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 | 2.693e-15 | 0.4081 | 1.715 | 8.454e-13 | json |
| t18_x45_u0_b55 | 18 | 45 | 0 | 55 | ![]() |
add(D,mod(R,add(P,P))) | 129466 | 147988918 | o2(x,o2(x,o2(x,x))) | true | 64135 | 64135 | -0.1199 | 0.4323 | 0.474 | 0.3114 | 0.5581 | -1 | 1 | 2 | 1 | 4.757 | 0.01734 | 0.002787 | 0.07463 | 0.723 | 1 | 0.00004893 | 0.02777 | 0.03602 | 0.01456 | 0.1206 | 1.617 | 1.974 | 0.06462 | 0.08917 | 1 | 1 | 0.0286 | 0.2022 | 0.5049 | 0.09184 | 0.6493 | 1.621 | json |
| t18_x45_u0_b56 | 18 | 45 | 0 | 56 | ![]() |
add(D,mod(R,sub(P,P))) | 129467 | 147988919 | o2(x,o2(x,o2(x,x))) | true | 64143 | 64143 | 0.009078 | 0.4986 | 0.4013 | 0.2304 | 0.48 | -1 | 1 | 2 | 1 | 4.899 | 0.004471 | 0.003165 | 0.07546 | 0.1709 | 1 | 0.00002869 | 0.0006263 | 0.01935 | 0.001942 | 0.04407 | 0.584 | 0.2845 | 0.03314 | 0.002718 | 1 | 1 | 0.01508 | 0.1746 | 0.3904 | 0.06546 | 0.7577 | 1.694 | json |
| t18_x45_u0_b57 | 18 | 45 | 0 | 57 | ![]() |
add(D,mod(R,mlt(P,P))) | 129468 | 147988920 | o2(x,o2(x,o2(x,x))) | true | 64151 | 64151 | -0.1199 | 0.4323 | 0.474 | 0.3114 | 0.5581 | -1 | 1 | 2 | 1 | 4.757 | 0.01734 | 0.002787 | 0.07463 | 0.723 | 1 | 0.00004893 | 0.02777 | 0.03602 | 0.01456 | 0.1206 | 1.617 | 1.974 | 0.06462 | 0.08917 | 1 | 1 | 0.0286 | 0.2022 | 0.5049 | 0.09184 | 0.6493 | 1.621 | json |
| t18_x45_u0_b58 | 18 | 45 | 0 | 58 | ![]() |
add(D,mod(R,div(P,P))) | 129469 | 147988921 | o2(x,o2(x,o2(x,x))) | true | 64159 | 64159 | -0.1199 | 0.4323 | 0.474 | 0.3114 | 0.5581 | -1 | 1 | 2 | 1 | 4.757 | 0.01734 | 0.002787 | 0.07463 | 0.723 | 1 | 0.00004893 | 0.02777 | 0.03602 | 0.01456 | 0.1206 | 1.617 | 1.974 | 0.06462 | 0.08917 | 1 | 1 | 0.0286 | 0.2022 | 0.5049 | 0.09184 | 0.6493 | 1.621 | json |
| t18_x45_u0_b59 | 18 | 45 | 0 | 59 | ![]() |
add(D,mod(R,pow(P,P))) | 129470 | 147988922 | o2(x,o2(x,o2(x,x))) | true | 64167 | 64167 | -0.5074 | 0.2353 | 0.6961 | 0.3527 | 0.5939 | -1 | 1 | 2 | 1 | 3.375 | 0.006734 | 0.001485 | 0.0414 | 0.6386 | 1 | 0.0001559 | 0.00888 | 0.01649 | 0.006504 | 0.08065 | 1.948 | 1.86 | 0.0233 | 0.02518 | 1 | 1 | 0.01398 | 0.1142 | 0.295 | 0.03964 | 0.3237 | 0.8362 | json |
| t18_x45_u0_b60 | 18 | 45 | 0 | 60 | ![]() |
add(D,mod(R,mod(P,P))) | 129471 | 147988923 | o2(x,o2(x,o2(x,x))) | true | 64175 | 64175 | -0.8708 | 0.0701 | 0.9249 | 0.1457 | 0.3817 | -1 | 1 | 2 | 1 | 1.124 | 0.02182 | 0.0004105 | 0.02506 | 0.9631 | 1 | 0.000009216 | 0.04302 | 0.03473 | 0.02159 | 0.1469 | 5.863 | 1.974 | 0.1526 | 0.2953 | 1 | 1 | 0.003037 | 0.02351 | 0.04886 | 0.02085 | 0.1614 | 0.3353 | json |
| t18_x45_u0_b61 | 18 | 45 | 0 | 61 | ![]() |
add(D,mod(R,lrg(P,P))) | 129472 | 147988924 | o2(x,o2(x,o2(x,x))) | true | 64183 | 64183 | -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_x45_u0_b62 | 18 | 45 | 0 | 62 | ![]() |
add(D,mod(R,eql(P,P))) | 129473 | 147988925 | o2(x,o2(x,o2(x,x))) | true | 64191 | 64191 | 0.009078 | 0.4986 | 0.4013 | 0.2304 | 0.48 | -1 | 1 | 2 | 1 | 4.899 | 0.004471 | 0.003165 | 0.07546 | 0.1709 | 1 | 0.00002869 | 0.0006263 | 0.01935 | 0.001942 | 0.04407 | 0.584 | 0.2845 | 0.03314 | 0.002718 | 1 | 1 | 0.01508 | 0.1746 | 0.3904 | 0.06546 | 0.7577 | 1.694 | json |
| t18_x45_u0_b63 | 18 | 45 | 0 | 63 | ![]() |
add(D,mod(R,min(P,P))) | 129474 | 147988926 | o2(x,o2(x,o2(x,x))) | true | 64199 | 64199 | -0.1199 | 0.4323 | 0.474 | 0.3114 | 0.5581 | -1 | 1 | 2 | 1 | 4.757 | 0.01734 | 0.002787 | 0.07463 | 0.723 | 1 | 0.00004893 | 0.02777 | 0.03602 | 0.01456 | 0.1206 | 1.617 | 1.974 | 0.06462 | 0.08917 | 1 | 1 | 0.0286 | 0.2022 | 0.5049 | 0.09184 | 0.6493 | 1.621 | json |
| t18_x45_u0_b64 | 18 | 45 | 0 | 64 | ![]() |
add(D,mod(R,dot(P,P))) | 129475 | 147988927 | o2(x,o2(x,o2(x,x))) | true | 64207 | 64207 | -0.01079 | 0.4866 | 0.411 | 0.2428 | 0.4928 | -1 | 1 | 2 | 1 | 4.907 | 0.005946 | 0.004917 | 0.07653 | 0.09472 | 1 | 0.00002869 | 0.007718 | 0.02391 | 0.005006 | 0.07076 | 0.9245 | 2.098 | 0.04474 | 0.03178 | 1 | 1 | 0.02052 | 0.1905 | 0.4532 | 0.0845 | 0.7845 | 1.866 | json |
| t18_x45_u0_b65 | 18 | 45 | 0 | 65 | ![]() |
add(D,mod(R,dst(P,P))) | 129476 | 147988928 | o2(x,o2(x,o2(x,x))) | true | 64215 | 64215 | 0.009078 | 0.4986 | 0.4013 | 0.2304 | 0.48 | -1 | 1 | 2 | 1 | 4.899 | 0.004471 | 0.003165 | 0.07546 | 0.1709 | 1 | 0.00002869 | 0.0006263 | 0.01935 | 0.001942 | 0.04407 | 0.584 | 0.2845 | 0.03314 | 0.002718 | 1 | 1 | 0.01508 | 0.1746 | 0.3904 | 0.06546 | 0.7577 | 1.694 | json |
| t18_x45_u0_b66 | 18 | 45 | 0 | 66 | ![]() |
add(D,lrg(R,add(P,P))) | 129477 | 147988929 | o2(x,o2(x,o2(x,x))) | true | 64223 | 64223 | 0.4732 | 0.747 | 0.5197 | 0.2303 | 0.4799 | -0.1454 | 1 | 1.145 | 1 | 3.108 | 0.001715 | 0.0001036 | 0.03121 | 0.8861 | 1 | 0.0001526 | 0.0003549 | 0.01484 | 0.0008444 | 0.02906 | 0.931 | 0.1713 | 0.007896 | 0.001541 | 1 | 1 | 0.003911 | 0.03228 | 0.08375 | 0.01699 | 0.1402 | 0.3637 | json |
| t18_x45_u0_b67 | 18 | 45 | 0 | 67 | ![]() |
add(D,lrg(R,sub(P,P))) | 129478 | 147988930 | o2(x,o2(x,o2(x,x))) | true | 64231 | 64231 | 0.4724 | 0.846 | 0.4956 | 0.1536 | 0.3919 | -0.1454 | 1 | 1.145 | 1 | 4.04 | 0.003373 | 0.002386 | 0.06328 | 0.1715 | 1 | 0.00003424 | 0.0006621 | 0.01757 | 0.001756 | 0.0419 | 0.6622 | 0.1713 | 0.0375 | 0.004311 | 1 | 1 | 0.01136 | 0.1266 | 0.2692 | 0.07399 | 0.8245 | 1.753 | json |
| t18_x45_u0_b68 | 18 | 45 | 0 | 68 | ![]() |
add(D,lrg(R,mlt(P,P))) | 129479 | 147988931 | o2(x,o2(x,o2(x,x))) | true | 64239 | 64239 | 0.027 | 0.5223 | 0.1164 | 0.02882 | 0.1698 | -0.1454 | 1 | 1.145 | 1 | 2.864 | 0.001902 | 0.0001043 | 0.03861 | 0.8961 | 1 | -0.000005704 | 0.0002879 | 0.01475 | 0.0005172 | 0.02274 | 0.5891 | 0.1713 | 0.06963 | 0.00999 | 1 | 1 | 0.004171 | 0.03506 | 0.04334 | 0.1447 | 1.216 | 1.504 | json |
| t18_x45_u0_b69 | 18 | 45 | 0 | 69 | ![]() |
add(D,lrg(R,div(P,P))) | 129480 | 147988932 | o2(x,o2(x,o2(x,x))) | true | 64247 | 64247 | 0.0614 | 0.543 | 0.1462 | 0.05374 | 0.2318 | -0.1454 | 1 | 1.145 | 1 | 3.075 | 0.002292 | 0 | 0.04018 | 1 | 1 | 9.461e-10 | 0.0003168 | 0.0146 | 0.0006788 | 0.02605 | 0.6483 | 0.1713 | 0.04265 | 0.005895 | 1 | 1 | 0.004861 | 0.04401 | 0.06323 | 0.09045 | 0.819 | 1.176 | json |
| t18_x45_u0_b70 | 18 | 45 | 0 | 70 | ![]() |
add(D,lrg(R,pow(P,P))) | 129481 | 147988933 | o2(x,o2(x,o2(x,x))) | true | 64255 | 64255 | 0.447 | 0.7305 | 0.4964 | 0.2313 | 0.481 | -0.1454 | 1 | 1.145 | 1 | 3.074 | 0.001765 | 0 | 0.03094 | 1 | 1 | 0.0001582 | 0.0003479 | 0.01481 | 0.0008082 | 0.02843 | 0.9188 | 0.1713 | 0.00763 | 0.001504 | 1 | 1 | 0.003752 | 0.02995 | 0.06962 | 0.01622 | 0.1295 | 0.3009 | json |
| t18_x45_u0_b71 | 18 | 45 | 0 | 71 | ![]() |
add(D,lrg(R,mod(P,P))) | 129482 | 147988934 | o2(x,o2(x,o2(x,x))) | true | 64263 | 64263 | 0.5084 | 0.836 | 0.5344 | 0.1734 | 0.4164 | -0.1454 | 1 | 1.145 | 1 | 3.854 | 0.003242 | 0.001349 | 0.0533 | 0.4123 | 1 | 0.00005778 | 0.0005718 | 0.0163 | 0.001752 | 0.04185 | 0.7853 | 0.1713 | 0.02648 | 0.003298 | 1 | 1 | 0.01051 | 0.1139 | 0.2551 | 0.06062 | 0.6573 | 1.472 | json |
| t18_x45_u0_b72 | 18 | 45 | 0 | 72 | ![]() |
add(D,lrg(R,lrg(P,P))) | 129483 | 147988935 | o2(x,o2(x,o2(x,x))) | true | 64271 | 64271 | 0.4724 | 0.846 | 0.4956 | 0.1536 | 0.3919 | -0.1454 | 1 | 1.145 | 1 | 4.04 | 0.003373 | 0.002386 | 0.06328 | 0.1715 | 1 | 0.00003424 | 0.0006621 | 0.01757 | 0.001756 | 0.0419 | 0.6622 | 0.1713 | 0.0375 | 0.004311 | 1 | 1 | 0.01136 | 0.1266 | 0.2692 | 0.07399 | 0.8245 | 1.753 | json |
| t18_x45_u0_b73 | 18 | 45 | 0 | 73 | ![]() |
add(D,lrg(R,eql(P,P))) | 129484 | 147988936 | o2(x,o2(x,o2(x,x))) | true | 64279 | 64279 | 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_x45_u0_b74 | 18 | 45 | 0 | 74 | ![]() |
add(D,lrg(R,min(P,P))) | 129485 | 147988937 | o2(x,o2(x,o2(x,x))) | true | 64287 | 64287 | 0.4732 | 0.747 | 0.5197 | 0.2303 | 0.4799 | -0.1454 | 1 | 1.145 | 1 | 3.108 | 0.001715 | 0.0001036 | 0.03121 | 0.8861 | 1 | 0.0001526 | 0.0003549 | 0.01484 | 0.0008444 | 0.02906 | 0.931 | 0.1713 | 0.007896 | 0.001541 | 1 | 1 | 0.003911 | 0.03228 | 0.08375 | 0.01699 | 0.1402 | 0.3637 | json |
| t18_x45_u0_b75 | 18 | 45 | 0 | 75 | ![]() |
add(D,lrg(R,dot(P,P))) | 129486 | 147988938 | o2(x,o2(x,o2(x,x))) | true | 64295 | 64295 | 0.003884 | 0.5038 | 0.09738 | 0.01316 | 0.1147 | -0.1454 | 1 | 1.145 | 1 | 2.629 | 0.001667 | 0.00003476 | 0.03659 | 0.9591 | 1 | -5.127e-11 | 0.0002617 | 0.01464 | 0.0003636 | 0.01907 | 0.5212 | 0.1713 | 0.1293 | 0.01989 | 1 | 1 | 0.00339 | 0.02492 | 0.008558 | 0.2576 | 1.894 | 0.6504 | json |
| t18_x45_u0_b76 | 18 | 45 | 0 | 76 | ![]() |
add(D,lrg(R,dst(P,P))) | 129487 | 147988939 | o2(x,o2(x,o2(x,x))) | true | 64303 | 64303 | 0.4724 | 0.846 | 0.4956 | 0.1536 | 0.3919 | -0.1454 | 1 | 1.145 | 1 | 4.04 | 0.003373 | 0.002386 | 0.06328 | 0.1715 | 1 | 0.00003424 | 0.0006621 | 0.01757 | 0.001756 | 0.0419 | 0.6622 | 0.1713 | 0.0375 | 0.004311 | 1 | 1 | 0.01136 | 0.1266 | 0.2692 | 0.07399 | 0.8245 | 1.753 | json |
| t18_x45_u0_b77 | 18 | 45 | 0 | 77 | ![]() |
add(D,eql(R,add(P,P))) | 129488 | 147988940 | o2(x,o2(x,o2(x,x))) | true | 64311 | 64311 | 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_x45_u0_b78 | 18 | 45 | 0 | 78 | ![]() |
add(D,eql(R,sub(P,P))) | 129489 | 147988941 | o2(x,o2(x,o2(x,x))) | true | 64319 | 64319 | 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_x45_u0_b79 | 18 | 45 | 0 | 79 | ![]() |
add(D,eql(R,mlt(P,P))) | 129490 | 147988942 | o2(x,o2(x,o2(x,x))) | true | 64327 | 64327 | 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_x45_u0_b80 | 18 | 45 | 0 | 80 | ![]() |
add(D,eql(R,div(P,P))) | 129491 | 147988943 | o2(x,o2(x,o2(x,x))) | true | 64335 | 64335 | 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_x45_u0_b81 | 18 | 45 | 0 | 81 | ![]() |
add(D,eql(R,pow(P,P))) | 129492 | 147988944 | o2(x,o2(x,o2(x,x))) | true | 64343 | 64343 | 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_x45_u0_b82 | 18 | 45 | 0 | 82 | ![]() |
add(D,eql(R,mod(P,P))) | 129493 | 147988945 | o2(x,o2(x,o2(x,x))) | true | 64351 | 64351 | 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_x45_u0_b83 | 18 | 45 | 0 | 83 | ![]() |
add(D,eql(R,lrg(P,P))) | 129494 | 147988946 | o2(x,o2(x,o2(x,x))) | true | 64359 | 64359 | 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_x45_u0_b84 | 18 | 45 | 0 | 84 | ![]() |
add(D,eql(R,eql(P,P))) | 129495 | 147988947 | o2(x,o2(x,o2(x,x))) | true | 64367 | 64367 | 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_x45_u0_b85 | 18 | 45 | 0 | 85 | ![]() |
add(D,eql(R,min(P,P))) | 129496 | 147988948 | o2(x,o2(x,o2(x,x))) | true | 64375 | 64375 | 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_x45_u0_b86 | 18 | 45 | 0 | 86 | ![]() |
add(D,eql(R,dot(P,P))) | 129497 | 147988949 | o2(x,o2(x,o2(x,x))) | true | 64383 | 64383 | 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_x45_u0_b87 | 18 | 45 | 0 | 87 | ![]() |
add(D,eql(R,dst(P,P))) | 129498 | 147988950 | o2(x,o2(x,o2(x,x))) | true | 64391 | 64391 | 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_x45_u0_b88 | 18 | 45 | 0 | 88 | ![]() |
add(D,min(R,add(P,P))) | 129499 | 147988951 | o2(x,o2(x,o2(x,x))) | true | 64399 | 64399 | -0.5043 | 0.2307 | 0.6809 | 0.3383 | 0.5816 | -1 | 1 | 2 | 1 | 3.48 | 0.002506 | 0.001457 | 0.04006 | 0.2649 | 1 | 0.0001561 | 0.0003476 | 0.01018 | 0.002357 | 0.04855 | 1.212 | 0.2511 | 0.01171 | 0.001028 | 1 | 1 | 0.007948 | 0.09382 | 0.2705 | 0.0235 | 0.2773 | 0.7996 | json |



































































































