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_x63_u0_b171 | 18 | 63 | 0 | 171 | ![]() |
sub(R,pow(D,lrg(P,P))) | 133200 | 148716252 | o2(x,o2(x,o2(x,x))) | true | 94007 | 94007 | -0.7982 | 0 | 0.7982 | 0.07256 | 0.2694 | -1 | -0.01936 | 0.9806 | 1 | 2.717 | 0.001471 | 0.00159 | 0.03308 | -0.03903 | 1 | 0.0000876 | 0.0006964 | 0.01237 | 0.001966 | 0.04434 | 1.34 | 0.223 | 0.04219 | 0.009598 | 1 | 1 | 0.005951 | 0.06127 | 0.1403 | 0.08201 | 0.8444 | 1.934 | json |
| t18_x63_u0_b172 | 18 | 63 | 0 | 172 | ![]() |
sub(R,pow(D,eql(P,P))) | 133201 | 148716253 | o2(x,o2(x,o2(x,x))) | true | 94015 | 94015 | 0.009165 | 0.4978 | 0.4005 | 0.2287 | 0.4782 | -1 | 1 | 2 | 1 | 4.894 | 0.004393 | 0.003164 | 0.07461 | 0.1626 | 1 | 0.00003074 | 0.0006179 | 0.01902 | 0.001989 | 0.0446 | 0.5978 | 0.2561 | 0.03305 | 0.002702 | 1 | 1 | 0.01479 | 0.1717 | 0.3901 | 0.06468 | 0.751 | 1.706 | json |
| t18_x63_u0_b173 | 18 | 63 | 0 | 173 | ![]() |
sub(R,pow(D,min(P,P))) | 133202 | 148716254 | o2(x,o2(x,o2(x,x))) | true | 94023 | 94023 | -0.9955 | 0 | 0.9955 | 0.0021 | 0.04582 | -1 | -0.171 | 0.829 | 1 | 0.1283 | 0.0005283 | 0.00002694 | 0.001806 | 0.9029 | 1 | 5.256e-11 | 0.0009325 | 0.002262 | 0.0005522 | 0.0235 | 13.01 | 0.829 | 0.2644 | 0.4441 | 1 | 1 | 0.0009472 | 0.003735 | 0.00588 | 0.4511 | 1.779 | 2.8 | json |
| t18_x63_u0_b174 | 18 | 63 | 0 | 174 | ![]() |
sub(R,pow(D,dot(P,P))) | 133203 | 148716255 | o2(x,o2(x,o2(x,x))) | true | 94031 | 94031 | -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_x63_u0_b175 | 18 | 63 | 0 | 175 | ![]() |
sub(R,pow(D,dst(P,P))) | 133204 | 148716256 | o2(x,o2(x,o2(x,x))) | true | 94039 | 94039 | -0.7982 | 0 | 0.7982 | 0.07256 | 0.2694 | -1 | -0.01936 | 0.9806 | 1 | 2.717 | 0.001471 | 0.00159 | 0.03308 | -0.03903 | 1 | 0.0000876 | 0.0006964 | 0.01237 | 0.001966 | 0.04434 | 1.34 | 0.223 | 0.04219 | 0.009598 | 1 | 1 | 0.005951 | 0.06127 | 0.1403 | 0.08201 | 0.8444 | 1.934 | json |
| t18_x63_u0_b176 | 18 | 63 | 0 | 176 | ![]() |
sub(R,mod(D,add(P,P))) | 133205 | 148716257 | o2(x,o2(x,o2(x,x))) | true | 94047 | 94047 | -0.1199 | 0.4315 | 0.4721 | 0.3089 | 0.5558 | -1 | 1 | 2 | 1 | 4.753 | 0.01717 | 0.002786 | 0.07389 | 0.7208 | 1 | 0.00004949 | 0.02774 | 0.03559 | 0.0145 | 0.1204 | 1.629 | 1.929 | 0.06461 | 0.0898 | 1 | 1 | 0.02817 | 0.1983 | 0.5037 | 0.09119 | 0.6421 | 1.631 | json |
| t18_x63_u0_b177 | 18 | 63 | 0 | 177 | ![]() |
sub(R,mod(D,sub(P,P))) | 133206 | 148716258 | o2(x,o2(x,o2(x,x))) | true | 94055 | 94055 | 0.009165 | 0.4978 | 0.4005 | 0.2287 | 0.4782 | -1 | 1 | 2 | 1 | 4.894 | 0.004393 | 0.003164 | 0.07461 | 0.1626 | 1 | 0.00003074 | 0.0006179 | 0.01902 | 0.001989 | 0.0446 | 0.5978 | 0.2561 | 0.03305 | 0.002702 | 1 | 1 | 0.01479 | 0.1717 | 0.3901 | 0.06468 | 0.751 | 1.706 | json |
| t18_x63_u0_b178 | 18 | 63 | 0 | 178 | ![]() |
sub(R,mod(D,mlt(P,P))) | 133207 | 148716259 | o2(x,o2(x,o2(x,x))) | true | 94063 | 94063 | -0.1199 | 0.4315 | 0.4721 | 0.3089 | 0.5558 | -1 | 1 | 2 | 1 | 4.753 | 0.01717 | 0.002786 | 0.07389 | 0.7208 | 1 | 0.00004949 | 0.02774 | 0.03559 | 0.0145 | 0.1204 | 1.629 | 1.929 | 0.06461 | 0.0898 | 1 | 1 | 0.02817 | 0.1983 | 0.5037 | 0.09119 | 0.6421 | 1.631 | json |
| t18_x63_u0_b179 | 18 | 63 | 0 | 179 | ![]() |
sub(R,mod(D,div(P,P))) | 133208 | 148716260 | o2(x,o2(x,o2(x,x))) | true | 94071 | 94071 | -0.1199 | 0.4315 | 0.4721 | 0.3089 | 0.5558 | -1 | 1 | 2 | 1 | 4.753 | 0.01717 | 0.002786 | 0.07389 | 0.7208 | 1 | 0.00004949 | 0.02774 | 0.03559 | 0.0145 | 0.1204 | 1.629 | 1.929 | 0.06461 | 0.0898 | 1 | 1 | 0.02817 | 0.1983 | 0.5037 | 0.09119 | 0.6421 | 1.631 | json |
| t18_x63_u0_b180 | 18 | 63 | 0 | 180 | ![]() |
sub(R,mod(D,pow(P,P))) | 133209 | 148716261 | o2(x,o2(x,o2(x,x))) | true | 94079 | 94079 | -0.5074 | 0.2358 | 0.6975 | 0.3544 | 0.5953 | -1 | 1 | 2 | 1 | 3.378 | 0.006382 | 0.001485 | 0.04109 | 0.6225 | 1 | -0.0001564 | 0.008804 | 0.01651 | 0.006178 | 0.0786 | 1.913 | 1.798 | 0.0222 | 0.02484 | 1 | 1 | 0.01281 | 0.1066 | 0.2948 | 0.03615 | 0.3009 | 0.8317 | json |
| t18_x63_u0_b181 | 18 | 63 | 0 | 181 | ![]() |
sub(R,mod(D,mod(P,P))) | 133210 | 148716262 | o2(x,o2(x,o2(x,x))) | true | 94087 | 94087 | -0.8708 | 0.06955 | 0.9263 | 0.1478 | 0.3845 | -1 | 1 | 2 | 1 | 1.115 | 0.02205 | 0.0004099 | 0.02558 | 0.9635 | 1 | 0.000007697 | 0.04311 | 0.03507 | 0.0218 | 0.1476 | 5.772 | 1.994 | 0.1519 | 0.2917 | 1 | 1 | 0.002751 | 0.01666 | 0.04984 | 0.01861 | 0.1127 | 0.3372 | json |
| t18_x63_u0_b182 | 18 | 63 | 0 | 182 | ![]() |
sub(R,mod(D,lrg(P,P))) | 133211 | 148716263 | o2(x,o2(x,o2(x,x))) | true | 94095 | 94095 | -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_x63_u0_b183 | 18 | 63 | 0 | 183 | ![]() |
sub(R,mod(D,eql(P,P))) | 133212 | 148716264 | o2(x,o2(x,o2(x,x))) | true | 94103 | 94103 | 0.009165 | 0.4978 | 0.4005 | 0.2287 | 0.4782 | -1 | 1 | 2 | 1 | 4.894 | 0.004393 | 0.003164 | 0.07461 | 0.1626 | 1 | 0.00003074 | 0.0006179 | 0.01902 | 0.001989 | 0.0446 | 0.5978 | 0.2561 | 0.03305 | 0.002702 | 1 | 1 | 0.01479 | 0.1717 | 0.3901 | 0.06468 | 0.751 | 1.706 | json |
| t18_x63_u0_b184 | 18 | 63 | 0 | 184 | ![]() |
sub(R,mod(D,min(P,P))) | 133213 | 148716265 | o2(x,o2(x,o2(x,x))) | true | 94111 | 94111 | -0.1199 | 0.4315 | 0.4721 | 0.3089 | 0.5558 | -1 | 1 | 2 | 1 | 4.753 | 0.01717 | 0.002786 | 0.07389 | 0.7208 | 1 | 0.00004949 | 0.02774 | 0.03559 | 0.0145 | 0.1204 | 1.629 | 1.929 | 0.06461 | 0.0898 | 1 | 1 | 0.02817 | 0.1983 | 0.5037 | 0.09119 | 0.6421 | 1.631 | json |
| t18_x63_u0_b185 | 18 | 63 | 0 | 185 | ![]() |
sub(R,mod(D,dot(P,P))) | 133214 | 148716266 | o2(x,o2(x,o2(x,x))) | true | 94119 | 94119 | -0.0107 | 0.4856 | 0.41 | 0.241 | 0.4909 | -1 | 1 | 2 | 1 | 4.902 | 0.005859 | 0.004916 | 0.07565 | 0.08757 | 1 | 0.00003074 | 0.007708 | 0.02356 | 0.005052 | 0.07108 | 0.9396 | 2.098 | 0.04471 | 0.03198 | 1 | 1 | 0.0202 | 0.1874 | 0.4531 | 0.0838 | 0.7776 | 1.88 | json |
| t18_x63_u0_b186 | 18 | 63 | 0 | 186 | ![]() |
sub(R,mod(D,dst(P,P))) | 133215 | 148716267 | o2(x,o2(x,o2(x,x))) | true | 94127 | 94127 | 0.009165 | 0.4978 | 0.4005 | 0.2287 | 0.4782 | -1 | 1 | 2 | 1 | 4.894 | 0.004393 | 0.003164 | 0.07461 | 0.1626 | 1 | 0.00003074 | 0.0006179 | 0.01902 | 0.001989 | 0.0446 | 0.5978 | 0.2561 | 0.03305 | 0.002702 | 1 | 1 | 0.01479 | 0.1717 | 0.3901 | 0.06468 | 0.751 | 1.706 | json |
| t18_x63_u0_b187 | 18 | 63 | 0 | 187 | ![]() |
sub(R,lrg(D,add(P,P))) | 133216 | 148716268 | o2(x,o2(x,o2(x,x))) | true | 94135 | 94135 | -0.4025 | 0.227 | 0.5803 | 0.2833 | 0.5322 | -1 | 0.9806 | 1.981 | 1 | 4.373 | 0.005027 | 0.002397 | 0.05416 | 0.3542 | 1 | 0.00004721 | 0.005164 | 0.01959 | 0.004491 | 0.06701 | 1.237 | 1.014 | 0.02621 | 0.01823 | 1 | 1 | 0.01356 | 0.1305 | 0.3162 | 0.04786 | 0.4605 | 1.116 | json |
| t18_x63_u0_b188 | 18 | 63 | 0 | 188 | ![]() |
sub(R,lrg(D,sub(P,P))) | 133217 | 148716269 | o2(x,o2(x,o2(x,x))) | true | 94143 | 94143 | -0.4226 | 0.1991 | 0.5655 | 0.2483 | 0.4983 | -1 | 0.9802 | 1.98 | 1 | 4.396 | 0.04752 | 0.002554 | 0.1144 | 0.898 | 1 | 0.00008838 | 0.08409 | 0.1105 | 0.03699 | 0.1923 | 1.682 | 1.023 | 0.2016 | 0.3386 | 1 | 1 | 0.05828 | 0.2809 | 0.2873 | 0.2347 | 1.131 | 1.157 | json |
| t18_x63_u0_b189 | 18 | 63 | 0 | 189 | ![]() |
sub(R,lrg(D,mlt(P,P))) | 133218 | 148716270 | o2(x,o2(x,o2(x,x))) | true | 94151 | 94151 | -0.01621 | 0.4794 | 0.4038 | 0.2315 | 0.4811 | -1 | 0.9806 | 1.981 | 1 | 4.883 | 0.00547 | 0.003128 | 0.06644 | 0.2724 | 1 | 0.00003084 | 0.004948 | 0.02023 | 0.004184 | 0.06468 | 0.9735 | 1.014 | 0.03714 | 0.02138 | 1 | 1 | 0.01567 | 0.169 | 0.3981 | 0.06769 | 0.7299 | 1.72 | json |
| t18_x63_u0_b190 | 18 | 63 | 0 | 190 | ![]() |
sub(R,lrg(D,div(P,P))) | 133219 | 148716271 | o2(x,o2(x,o2(x,x))) | true | 94159 | 94159 | -0.04116 | 0.4621 | 0.4134 | 0.2429 | 0.4929 | -1 | 0.9806 | 1.981 | 1 | 4.887 | 0.003595 | 0.003089 | 0.0647 | 0.07576 | 1 | 0.00003624 | 0.0005259 | 0.01542 | 0.002498 | 0.04998 | 0.7724 | 0.3332 | 0.02751 | 0.002165 | 1 | 1 | 0.0133 | 0.1656 | 0.4074 | 0.05476 | 0.6817 | 1.677 | json |
| t18_x63_u0_b191 | 18 | 63 | 0 | 191 | ![]() |
sub(R,lrg(D,pow(P,P))) | 133220 | 148716272 | o2(x,o2(x,o2(x,x))) | true | 94167 | 94167 | -0.3773 | 0.2459 | 0.5711 | 0.2908 | 0.5393 | -1 | 0.9806 | 1.981 | 1 | 4.437 | 0.002372 | 0.002439 | 0.05092 | -0.01401 | 1 | 0.00004288 | 0.0005327 | 0.01383 | 0.002219 | 0.0471 | 0.9252 | 0.2534 | 0.01654 | 0.001832 | 1 | 1 | 0.009737 | 0.118 | 0.3367 | 0.03348 | 0.4056 | 1.158 | json |
| t18_x63_u0_b192 | 18 | 63 | 0 | 192 | ![]() |
sub(R,lrg(D,mod(P,P))) | 133221 | 148716273 | o2(x,o2(x,o2(x,x))) | true | 94175 | 94175 | -0.4417 | 0.196 | 0.5901 | 0.2598 | 0.5097 | -1 | 0.9806 | 1.981 | 1 | 4.33 | 0.02635 | 0.002464 | 0.0827 | 0.829 | 1 | 0.00005831 | 0.04514 | 0.06524 | 0.02198 | 0.1482 | 1.793 | 1.023 | 0.1109 | 0.1738 | 1 | 1 | 0.04323 | 0.2391 | 0.3613 | 0.1664 | 0.9203 | 1.391 | json |
| t18_x63_u0_b193 | 18 | 63 | 0 | 193 | ![]() |
sub(R,lrg(D,lrg(P,P))) | 133222 | 148716274 | o2(x,o2(x,o2(x,x))) | true | 94183 | 94183 | -0.4226 | 0.1991 | 0.5655 | 0.2483 | 0.4983 | -1 | 0.9802 | 1.98 | 1 | 4.396 | 0.04752 | 0.002554 | 0.1144 | 0.898 | 1 | 0.00008838 | 0.08409 | 0.1105 | 0.03699 | 0.1923 | 1.682 | 1.023 | 0.2016 | 0.3386 | 1 | 1 | 0.05828 | 0.2809 | 0.2873 | 0.2347 | 1.131 | 1.157 | json |
| t18_x63_u0_b194 | 18 | 63 | 0 | 194 | ![]() |
sub(R,lrg(D,eql(P,P))) | 133223 | 148716275 | o2(x,o2(x,o2(x,x))) | true | 94191 | 94191 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t18_x63_u0_b195 | 18 | 63 | 0 | 195 | ![]() |
sub(R,lrg(D,min(P,P))) | 133224 | 148716276 | o2(x,o2(x,o2(x,x))) | true | 94199 | 94199 | -0.4025 | 0.227 | 0.5803 | 0.2833 | 0.5322 | -1 | 0.9806 | 1.981 | 1 | 4.373 | 0.005027 | 0.002397 | 0.05416 | 0.3542 | 1 | 0.00004721 | 0.005164 | 0.01959 | 0.004491 | 0.06701 | 1.237 | 1.014 | 0.02621 | 0.01823 | 1 | 1 | 0.01356 | 0.1305 | 0.3162 | 0.04786 | 0.4605 | 1.116 | json |
| t18_x63_u0_b196 | 18 | 63 | 0 | 196 | ![]() |
sub(R,lrg(D,dot(P,P))) | 133225 | 148716277 | o2(x,o2(x,o2(x,x))) | true | 94207 | 94207 | 0.007026 | 0.4957 | 0.3938 | 0.2189 | 0.4679 | -0.9989 | 0.9806 | 1.979 | 1 | 4.86 | 0.003 | 0.003162 | 0.06329 | -0.02624 | 1 | 0.00002651 | 0.000752 | 0.01493 | 0.002156 | 0.04644 | 0.7337 | 0.9994 | 0.02815 | 0.003435 | 1 | 1 | 0.0121 | 0.1519 | 0.3877 | 0.05529 | 0.6941 | 1.771 | json |
| t18_x63_u0_b197 | 18 | 63 | 0 | 197 | ![]() |
sub(R,lrg(D,dst(P,P))) | 133226 | 148716278 | o2(x,o2(x,o2(x,x))) | true | 94215 | 94215 | -0.4226 | 0.1991 | 0.5655 | 0.2483 | 0.4983 | -1 | 0.9802 | 1.98 | 1 | 4.396 | 0.04752 | 0.002554 | 0.1144 | 0.898 | 1 | 0.00008838 | 0.08409 | 0.1105 | 0.03699 | 0.1923 | 1.682 | 1.023 | 0.2016 | 0.3386 | 1 | 1 | 0.05828 | 0.2809 | 0.2873 | 0.2347 | 1.131 | 1.157 | json |
| t18_x63_u0_b198 | 18 | 63 | 0 | 198 | ![]() |
sub(R,eql(D,add(P,P))) | 133227 | 148716279 | o2(x,o2(x,o2(x,x))) | true | 94223 | 94223 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t18_x63_u0_b199 | 18 | 63 | 0 | 199 | ![]() |
sub(R,eql(D,sub(P,P))) | 133228 | 148716280 | o2(x,o2(x,o2(x,x))) | true | 94231 | 94231 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t18_x63_u0_b200 | 18 | 63 | 0 | 200 | ![]() |
sub(R,eql(D,mlt(P,P))) | 133229 | 148716281 | o2(x,o2(x,o2(x,x))) | true | 94239 | 94239 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t18_x64_u0_b0 | 18 | 64 | 0 | 0 | ![]() |
add(R,add(D,add(P,D))) | 133230 | 148756482 | o2(x,o2(x,o2(x,x))) | true | 94247 | 94247 | 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_x64_u0_b1 | 18 | 64 | 0 | 1 | ![]() |
add(R,add(D,sub(P,D))) | 133231 | 148756483 | o2(x,o2(x,o2(x,x))) | true | 94255 | 94255 | 0.003757 | 0.4974 | 0.9428 | 0.9208 | 0.9596 | -1 | 1 | 2 | 1 | 1.952 | 0.001169 | 0.000358 | 0.0111 | 0.5311 | 1 | -0.00002042 | 0.0002765 | 0.003741 | 0.001403 | 0.03746 | 3.374 | 0.312 | 0.001658 | 0.0003002 | 1 | 1 | 0.003726 | 0.04331 | 0.2691 | 0.004046 | 0.04703 | 0.2923 | json |
| t18_x64_u0_b2 | 18 | 64 | 0 | 2 | ![]() |
add(R,add(D,mlt(P,D))) | 133232 | 148756484 | o2(x,o2(x,o2(x,x))) | true | 94263 | 94263 | -0.1155 | 0.416 | 0.5149 | 0.3546 | 0.5955 | -1 | 1 | 2 | 1 | 4.841 | 0.03149 | 0.002785 | 0.1433 | 0.8375 | 1 | 0.001784 | 0.008215 | 0.0597 | 0.01374 | 0.1172 | 0.818 | 0.5999 | 0.09665 | 0.02317 | 1 | 1 | 0.0463 | 0.3797 | 0.3498 | 0.1306 | 1.071 | 0.9865 | json |
| t18_x64_u0_b3 | 18 | 64 | 0 | 3 | ![]() |
add(R,add(D,div(P,D))) | 133233 | 148756485 | o2(x,o2(x,o2(x,x))) | true | 94271 | 94271 | -0.1167 | 0.4407 | 0.9476 | 0.9159 | 0.957 | -1 | 1 | 2 | 1 | 1.838 | 0.3865 | 0.0002648 | 0.231 | 0.9986 | 1 | -0.000005562 | 0.713 | 0.4018 | 0.3334 | 0.5774 | 2.5 | 2.001 | 0.4223 | 0.7785 | 1 | 1 | 0.3968 | 1.664 | 0.2881 | 0.4333 | 1.817 | 0.3146 | json |
| t18_x64_u0_b4 | 18 | 64 | 0 | 4 | ![]() |
add(R,add(D,pow(P,D))) | 133234 | 148756486 | o2(x,o2(x,o2(x,x))) | true | 94279 | 94279 | -0.1154 | 0.4789 | 0.8955 | 0.8395 | 0.9162 | -1 | 1 | 2 | 1 | 2.455 | 0.007592 | 0.0007106 | 0.03166 | 0.8288 | 1 | 0.00006019 | 0.009693 | 0.01996 | 0.007303 | 0.08546 | 2.7 | 1.86 | 0.00989 | 0.01155 | 1 | 1 | 0.01357 | 0.09541 | 0.3158 | 0.01617 | 0.1137 | 0.3762 | json |
| t18_x64_u0_b5 | 18 | 64 | 0 | 5 | ![]() |
add(R,add(D,mod(P,D))) | 133235 | 148756487 | o2(x,o2(x,o2(x,x))) | true | 94287 | 94287 | 0.009797 | 0.5059 | 0.4148 | 0.2473 | 0.4973 | -1 | 1 | 2 | 1 | 4.924 | 0.01167 | 0.003142 | 0.1011 | 0.5759 | 1 | 0.00002686 | 0.01822 | 0.1024 | 0.0046 | 0.06782 | 0.671 | 0.4531 | 0.0599 | 0.07368 | 1 | 1 | 0.02021 | 0.1879 | 0.3946 | 0.08169 | 0.7596 | 1.595 | json |
| t18_x64_u0_b6 | 18 | 64 | 0 | 6 | ![]() |
add(R,add(D,lrg(P,D))) | 133236 | 148756488 | o2(x,o2(x,o2(x,x))) | true | 94295 | 94295 | 0.4206 | 0.7659 | 0.5965 | 0.2888 | 0.5374 | -1 | 1 | 2 | 1 | 4.369 | 0.005993 | 0.00245 | 0.06147 | 0.4197 | 1 | -0.00008948 | 0.00645 | 0.0238 | 0.004665 | 0.0683 | 1.111 | 0.9523 | 0.02923 | 0.02233 | 1 | 1 | 0.01452 | 0.1322 | 0.3008 | 0.05028 | 0.4579 | 1.041 | json |
| t18_x64_u0_b7 | 18 | 64 | 0 | 7 | ![]() |
add(R,add(D,eql(P,D))) | 133237 | 148756489 | o2(x,o2(x,o2(x,x))) | true | 94303 | 94303 | 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_x64_u0_b8 | 18 | 64 | 0 | 8 | ![]() |
add(R,add(D,min(P,D))) | 133238 | 148756490 | o2(x,o2(x,o2(x,x))) | true | 94311 | 94311 | -0.4848 | 0.2398 | 0.6777 | 0.3503 | 0.5918 | -1 | 1 | 2 | 1 | 3.628 | 0.005043 | 0.001648 | 0.05383 | 0.5073 | 1 | 0.0002876 | 0.0008357 | 0.01678 | 0.003794 | 0.0616 | 1.144 | 0.3054 | 0.01911 | 0.002386 | 1 | 1 | 0.01365 | 0.1394 | 0.2931 | 0.03896 | 0.398 | 0.8367 | json |
| t18_x64_u0_b9 | 18 | 64 | 0 | 9 | ![]() |
add(R,add(D,dot(P,D))) | 133239 | 148756491 | o2(x,o2(x,o2(x,x))) | true | 94319 | 94319 | -0.207 | 0.3711 | 0.5889 | 0.4203 | 0.6483 | -1 | 1 | 2 | 1 | 4.561 | 0.02736 | 0.02649 | 0.181 | 0.01609 | 1 | 0.002734 | 0.01776 | 0.08272 | 0.0211 | 0.1453 | 0.8027 | 0.7333 | 0.1281 | 0.04226 | 1 | 1 | 0.07029 | 0.5225 | 0.3145 | 0.1673 | 1.243 | 0.7484 | json |
| t18_x64_u0_b10 | 18 | 64 | 0 | 10 | ![]() |
add(R,add(D,dst(P,D))) | 133240 | 148756492 | o2(x,o2(x,o2(x,x))) | true | 94327 | 94327 | 0.9987 | 1 | 0.9987 | 0.0005637 | 0.02374 | 0.1997 | 1 | 0.8003 | 1 | 0.05139 | 0.00005319 | 0.00003571 | 0.0006482 | 0.1966 | 0 | -2.816e-11 | 0.00005399 | 0.0005061 | 0.00008851 | 0.009408 | 14.51 | 0.2585 | 0.1577 | 0.09577 | 1 | 1 | 0.0002783 | 0.001773 | 0.002011 | 0.4938 | 3.145 | 3.568 | json |
| t18_x64_u0_b11 | 18 | 64 | 0 | 11 | ![]() |
add(R,sub(D,add(P,D))) | 133241 | 148756493 | o2(x,o2(x,o2(x,x))) | true | 94335 | 94335 | 0.004612 | 0.4968 | 0.9368 | 0.913 | 0.9555 | -1 | 1 | 2 | 1 | 2.013 | 0.001147 | 0.000385 | 0.01159 | 0.4976 | 1 | -0.00002051 | 0.0002745 | 0.003871 | 0.001399 | 0.0374 | 3.228 | 0.3332 | 0.001679 | 0.0003007 | 1 | 1 | 0.003782 | 0.0437 | 0.2627 | 0.004142 | 0.04787 | 0.2877 | json |
| t18_x64_u0_b12 | 18 | 64 | 0 | 12 | ![]() |
add(R,sub(D,sub(P,D))) | 133242 | 148756494 | o2(x,o2(x,o2(x,x))) | true | 94343 | 94343 | 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_x64_u0_b13 | 18 | 64 | 0 | 13 | ![]() |
add(R,sub(D,mlt(P,D))) | 133243 | 148756495 | o2(x,o2(x,o2(x,x))) | true | 94351 | 94351 | 0.1275 | 0.5835 | 0.5184 | 0.3581 | 0.5984 | -1 | 1 | 2 | 1 | 4.816 | 0.03165 | 0.002738 | 0.1424 | 0.8408 | 1 | -0.001289 | 0.008471 | 0.05967 | 0.01411 | 0.1188 | 0.8344 | 0.5898 | 0.09604 | 0.02366 | 1 | 1 | 0.04533 | 0.3665 | 0.3555 | 0.1266 | 1.024 | 0.9929 | json |
| t18_x64_u0_b14 | 18 | 64 | 0 | 14 | ![]() |
add(R,sub(D,div(P,D))) | 133244 | 148756496 | o2(x,o2(x,o2(x,x))) | true | 94359 | 94359 | 0.1075 | 0.5527 | 0.9466 | 0.9172 | 0.9577 | -1 | 1 | 2 | 1 | 1.84 | 0.3883 | 0.0002696 | 0.2327 | 0.9986 | 1 | -0.00000876 | 0.7173 | 0.4029 | 0.3344 | 0.5783 | 2.485 | 2.001 | 0.4237 | 0.782 | 1 | 1 | 0.3976 | 1.67 | 0.2848 | 0.4335 | 1.82 | 0.3105 | json |
| t18_x64_u0_b15 | 18 | 64 | 0 | 15 | ![]() |
add(R,sub(D,pow(P,D))) | 133245 | 148756497 | o2(x,o2(x,o2(x,x))) | true | 94367 | 94367 | -0.8957 | 0.01331 | 0.9059 | 0.06478 | 0.2545 | -1 | 0.9017 | 1.902 | 1 | 1.567 | 0.006032 | 0.000674 | 0.02297 | 0.799 | 1 | 0.0001121 | 0.009158 | 0.01503 | 0.006177 | 0.0786 | 3.422 | 1.86 | 0.1035 | 0.1414 | 1 | 1 | 0.01106 | 0.0676 | 0.1207 | 0.1707 | 1.043 | 1.864 | json |
| t18_x64_u0_b16 | 18 | 64 | 0 | 16 | ![]() |
add(R,sub(D,mod(P,D))) | 133246 | 148756498 | o2(x,o2(x,o2(x,x))) | true | 94375 | 94375 | 0.009163 | 0.4998 | 0.4296 | 0.2615 | 0.5113 | -1 | 1 | 2 | 1 | 4.943 | 0.01168 | 0.003135 | 0.1008 | 0.5767 | 1 | 0.00002444 | 0.01786 | 0.1017 | 0.004657 | 0.06824 | 0.6771 | 0.4681 | 0.05666 | 0.06833 | 1 | 1 | 0.02073 | 0.1892 | 0.392 | 0.07927 | 0.7235 | 1.499 | json |
| t18_x64_u0_b17 | 18 | 64 | 0 | 17 | ![]() |
add(R,sub(D,lrg(P,D))) | 133247 | 148756499 | o2(x,o2(x,o2(x,x))) | true | 94383 | 94383 | -0.3889 | 0.2604 | 0.6072 | 0.329 | 0.5736 | -1 | 1 | 2 | 1 | 4.316 | 0.006662 | 0.002389 | 0.06165 | 0.472 | 1 | -0.000006269 | 0.005557 | 0.0238 | 0.00525 | 0.07246 | 1.175 | 1.074 | 0.02751 | 0.01689 | 1 | 1 | 0.01712 | 0.1526 | 0.3113 | 0.05203 | 0.4638 | 0.9462 | json |
| t18_x64_u0_b18 | 18 | 64 | 0 | 18 | ![]() |
add(R,sub(D,eql(P,D))) | 133248 | 148756500 | o2(x,o2(x,o2(x,x))) | true | 94391 | 94391 | 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_x64_u0_b19 | 18 | 64 | 0 | 19 | ![]() |
add(R,sub(D,min(P,D))) | 133249 | 148756501 | o2(x,o2(x,o2(x,x))) | true | 94399 | 94399 | 0.4667 | 0.7268 | 0.6712 | 0.3567 | 0.5972 | -0.9986 | 1 | 1.999 | 1 | 3.663 | 0.002378 | 0.001655 | 0.03893 | 0.1794 | 1 | -0.00001834 | 0.0003927 | 0.01012 | 0.002517 | 0.05017 | 1.289 | 0.3626 | 0.01131 | 0.001101 | 1 | 1 | 0.008386 | 0.1011 | 0.2857 | 0.02351 | 0.2834 | 0.8011 | json |
| t18_x64_u0_b20 | 18 | 64 | 0 | 20 | ![]() |
add(R,sub(D,dot(P,D))) | 133250 | 148756502 | o2(x,o2(x,o2(x,x))) | true | 94407 | 94407 | 0.2282 | 0.6419 | 0.6019 | 0.4247 | 0.6517 | -1 | 1 | 2 | 1 | 4.537 | 0.02725 | 0.02664 | 0.1803 | 0.01138 | 1 | -0.002606 | 0.018 | 0.08276 | 0.02139 | 0.1463 | 0.8113 | 0.7259 | 0.1269 | 0.04238 | 1 | 1 | 0.07095 | 0.526 | 0.3186 | 0.1671 | 1.239 | 0.7502 | json |
| t18_x64_u0_b21 | 18 | 64 | 0 | 21 | ![]() |
add(R,sub(D,dst(P,D))) | 133251 | 148756503 | o2(x,o2(x,o2(x,x))) | true | 94415 | 94415 | -0.9951 | 0.001511 | 0.9962 | 0.004216 | 0.06493 | -1 | 0.8147 | 1.815 | 1 | 0.1245 | 0.0001706 | 0.0001381 | 0.001764 | 0.1052 | 1 | 9.011e-11 | 0.00009872 | 0.0009752 | 0.0003059 | 0.01749 | 9.918 | 0.3152 | 0.07323 | 0.02342 | 1 | 1 | 0.001018 | 0.009147 | 0.01519 | 0.2416 | 2.17 | 3.602 | json |
| t18_x64_u0_b22 | 18 | 64 | 0 | 22 | ![]() |
add(R,mlt(D,add(P,D))) | 133252 | 148756504 | o2(x,o2(x,o2(x,x))) | true | 94423 | 94423 | -0.01288 | 0.4887 | 0.4982 | 0.3495 | 0.5911 | -1 | 1 | 2 | 1 | 4.877 | 0.03001 | 0.002814 | 0.1412 | 0.8285 | 1 | 0.001693 | 0.00773 | 0.05857 | 0.01288 | 0.1135 | 0.8036 | 0.5456 | 0.09392 | 0.02212 | 1 | 1 | 0.04258 | 0.3533 | 0.3574 | 0.1219 | 1.011 | 1.023 | json |
| t18_x64_u0_b23 | 18 | 64 | 0 | 23 | ![]() |
add(R,mlt(D,sub(P,D))) | 133253 | 148756505 | o2(x,o2(x,o2(x,x))) | true | 94431 | 94431 | -0.2188 | 0.3455 | 0.5453 | 0.3557 | 0.5964 | -1 | 1 | 2 | 1 | 4.74 | 0.03266 | 0.002711 | 0.1475 | 0.8467 | 1 | 0.001921 | 0.008461 | 0.06225 | 0.01361 | 0.1167 | 0.7907 | 0.5491 | 0.09945 | 0.02379 | 1 | 1 | 0.04824 | 0.388 | 0.3436 | 0.1356 | 1.091 | 0.966 | json |
| t18_x64_u0_b24 | 18 | 64 | 0 | 24 | ![]() |
add(R,mlt(D,mlt(P,D))) | 133254 | 148756506 | o2(x,o2(x,o2(x,x))) | true | 94439 | 94439 | 0.005572 | 0.5058 | 0.5611 | 0.4227 | 0.6501 | -1 | 1 | 2 | 1 | 4.779 | 0.02017 | 0.002693 | 0.1124 | 0.7644 | 1 | 0.0001035 | 0.00572 | 0.04944 | 0.01024 | 0.1012 | 0.9005 | 0.4834 | 0.05408 | 0.01353 | 1 | 1 | 0.0327 | 0.2724 | 0.3591 | 0.07736 | 0.6446 | 0.8495 | json |
| t18_x64_u0_b25 | 18 | 64 | 0 | 25 | ![]() |
add(R,mlt(D,div(P,D))) | 133255 | 148756507 | o2(x,o2(x,o2(x,x))) | true | 94447 | 94447 | 0.003757 | 0.4974 | 0.9428 | 0.9208 | 0.9596 | -1 | 1 | 2 | 1 | 1.952 | 0.001169 | 0.000358 | 0.0111 | 0.5311 | 1 | -0.00002042 | 0.0002765 | 0.003741 | 0.001403 | 0.03746 | 3.374 | 0.312 | 0.001658 | 0.0003002 | 1 | 1 | 0.003726 | 0.04331 | 0.2691 | 0.004046 | 0.04703 | 0.2923 | json |
| t18_x64_u0_b26 | 18 | 64 | 0 | 26 | ![]() |
add(R,mlt(D,pow(P,D))) | 133256 | 148756508 | o2(x,o2(x,o2(x,x))) | true | 94455 | 94455 | -0.441 | 0.2878 | 0.7105 | 0.4328 | 0.6579 | -1 | 1 | 2 | 1 | 3.416 | 0.007683 | 0.001476 | 0.04686 | 0.6776 | 1 | -0.0002361 | 0.009057 | 0.0195 | 0.006964 | 0.08345 | 1.781 | 1.829 | 0.02116 | 0.02093 | 1 | 1 | 0.0147 | 0.1187 | 0.2896 | 0.03397 | 0.2743 | 0.669 | json |
| t18_x64_u0_b27 | 18 | 64 | 0 | 27 | ![]() |
add(R,mlt(D,mod(P,D))) | 133257 | 148756509 | o2(x,o2(x,o2(x,x))) | true | 94463 | 94463 | 0.006726 | 0.4967 | 0.3952 | 0.2206 | 0.4697 | -1 | 0.9886 | 1.989 | 1 | 4.868 | 0.004979 | 0.00317 | 0.07253 | 0.222 | 1 | 0.00002501 | 0.006998 | 0.05642 | 0.002887 | 0.05373 | 0.7408 | 0.3339 | 0.03693 | 0.03172 | 1 | 1 | 0.01284 | 0.1529 | 0.3918 | 0.05819 | 0.6931 | 1.776 | json |
| t18_x64_u0_b28 | 18 | 64 | 0 | 28 | ![]() |
add(R,mlt(D,lrg(P,D))) | 133258 | 148756510 | o2(x,o2(x,o2(x,x))) | true | 94471 | 94471 | -0.008726 | 0.4885 | 0.3995 | 0.2269 | 0.4764 | -1 | 1 | 2 | 1 | 4.891 | 0.003741 | 0.003167 | 0.06978 | 0.08312 | 1 | 0.000186 | 0.0004991 | 0.01713 | 0.002039 | 0.04515 | 0.6471 | 0.2511 | 0.03044 | 0.002199 | 1 | 1 | 0.01378 | 0.1668 | 0.3947 | 0.0607 | 0.7349 | 1.739 | json |
| t18_x64_u0_b29 | 18 | 64 | 0 | 29 | ![]() |
add(R,mlt(D,eql(P,D))) | 133259 | 148756511 | o2(x,o2(x,o2(x,x))) | true | 94479 | 94479 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t18_x64_u0_b30 | 18 | 64 | 0 | 30 | ![]() |
add(R,mlt(D,min(P,D))) | 133260 | 148756512 | o2(x,o2(x,o2(x,x))) | true | 94487 | 94487 | 0.002251 | 0.4949 | 0.4557 | 0.2961 | 0.5442 | -1 | 1 | 2 | 1 | 4.946 | 0.01699 | 0.002978 | 0.1062 | 0.7018 | 1 | 0.0008797 | 0.004107 | 0.03887 | 0.0087 | 0.09328 | 0.8786 | 0.5403 | 0.06744 | 0.01387 | 1 | 1 | 0.02747 | 0.2467 | 0.3783 | 0.09276 | 0.8331 | 1.278 | json |
| t18_x64_u0_b31 | 18 | 64 | 0 | 31 | ![]() |
add(R,mlt(D,dot(P,D))) | 133261 | 148756513 | o2(x,o2(x,o2(x,x))) | true | 94495 | 94495 | 0.005577 | 0.5048 | 0.5618 | 0.4237 | 0.651 | -1 | 1 | 2 | 1 | 4.776 | 0.02048 | 0.002997 | 0.1151 | 0.7447 | 1 | 0.0001179 | 0.006021 | 0.05128 | 0.01024 | 0.1012 | 0.8794 | 0.4988 | 0.05539 | 0.01421 | 1 | 1 | 0.03342 | 0.2762 | 0.3585 | 0.07887 | 0.6519 | 0.8461 | json |
| t18_x64_u0_b32 | 18 | 64 | 0 | 32 | ![]() |
add(R,mlt(D,dst(P,D))) | 133262 | 148756514 | o2(x,o2(x,o2(x,x))) | true | 94503 | 94503 | 0.01023 | 0.5102 | 0.5974 | 0.4745 | 0.6888 | -1 | 1 | 2 | 1 | 4.602 | 0.05494 | 0.002401 | 0.1815 | 0.9162 | 1 | 0.0002755 | 0.01721 | 0.08792 | 0.02439 | 0.1562 | 0.8603 | 0.7009 | 0.1208 | 0.03627 | 1 | 1 | 0.07367 | 0.5339 | 0.3127 | 0.1553 | 1.125 | 0.6591 | json |
| t18_x64_u0_b33 | 18 | 64 | 0 | 33 | ![]() |
add(R,div(D,add(P,D))) | 133263 | 148756515 | o2(x,o2(x,o2(x,x))) | true | 94511 | 94511 | 0.03431 | 0.5164 | 0.3983 | 0.2278 | 0.4773 | -1 | 1 | 2 | 1 | 4.888 | 0.00363 | 0.003138 | 0.06777 | 0.07262 | 1 | 0.00007248 | 0.0005371 | 0.01671 | 0.002176 | 0.04664 | 0.6883 | 0.272 | 0.0297 | 0.002357 | 1 | 1 | 0.01398 | 0.167 | 0.4059 | 0.06138 | 0.733 | 1.781 | json |
| t18_x64_u0_b34 | 18 | 64 | 0 | 34 | ![]() |
add(R,div(D,sub(P,D))) | 133264 | 148756516 | o2(x,o2(x,o2(x,x))) | true | 94519 | 94519 | -0.01142 | 0.4858 | 0.4245 | 0.26 | 0.5099 | -1 | 1 | 2 | 1 | 4.92 | 0.003982 | 0.003072 | 0.06811 | 0.1291 | 1 | 0.00007319 | 0.0005666 | 0.01632 | 0.002415 | 0.04914 | 0.7215 | 0.3082 | 0.02714 | 0.00218 | 1 | 1 | 0.01428 | 0.1766 | 0.4479 | 0.05492 | 0.6793 | 1.723 | json |
| t18_x64_u0_b35 | 18 | 64 | 0 | 35 | ![]() |
add(R,div(D,mlt(P,D))) | 133265 | 148756517 | o2(x,o2(x,o2(x,x))) | true | 94527 | 94527 | -0.1219 | 0.4479 | 0.5204 | 0.375 | 0.6124 | -1 | 1 | 2 | 1 | 4.653 | 0.01742 | 0.002593 | 0.05965 | 0.7409 | 1 | 0.00004525 | 0.03067 | 0.02989 | 0.01645 | 0.1283 | 2.15 | 2 | 0.05336 | 0.08179 | 1 | 1 | 0.02899 | 0.1927 | 0.5264 | 0.07731 | 0.5137 | 1.404 | json |
| t18_x64_u0_b36 | 18 | 64 | 0 | 36 | ![]() |
add(R,div(D,div(P,D))) | 133266 | 148756518 | o2(x,o2(x,o2(x,x))) | true | 94535 | 94535 | -0.12 | 0.4329 | 0.4688 | 0.3036 | 0.551 | -1 | 0.9808 | 1.981 | 1 | 4.761 | 0.016 | 0.002791 | 0.06496 | 0.7029 | 1 | 0.0000486 | 0.02752 | 0.03227 | 0.01457 | 0.1207 | 1.858 | 1.944 | 0.0619 | 0.09064 | 1 | 1 | 0.0262 | 0.1858 | 0.5051 | 0.0863 | 0.6121 | 1.664 | json |
| t18_x64_u0_b37 | 18 | 64 | 0 | 37 | ![]() |
add(R,div(D,pow(P,D))) | 133267 | 148756519 | o2(x,o2(x,o2(x,x))) | true | 94543 | 94543 | -0.6551 | 0.1401 | 0.7588 | 0.2563 | 0.5063 | -1 | 1 | 2 | 1 | 2.934 | 0.0108 | 0.00126 | 0.0434 | 0.7911 | 1 | 0.0003539 | 0.01525 | 0.02228 | 0.01018 | 0.1009 | 2.325 | 1.974 | 0.04706 | 0.0595 | 1 | 1 | 0.01684 | 0.1122 | 0.2374 | 0.06572 | 0.4378 | 0.9262 | json |
| t18_x64_u0_b38 | 18 | 64 | 0 | 38 | ![]() |
add(R,div(D,mod(P,D))) | 133268 | 148756520 | o2(x,o2(x,o2(x,x))) | true | 94551 | 94551 | -0.2842 | 0.3568 | 0.8668 | 0.7404 | 0.8605 | -1 | 1 | 2 | 1 | 2.728 | 0.8007 | 0.000772 | 0.5286 | 0.9981 | 1 | 0.00001045 | 2.201 | 0.961 | 0.5221 | 0.7226 | 1.367 | 2.006 | 1.082 | 2.972 | 1 | 1 | 0.4835 | 0.9146 | 0.4579 | 0.653 | 1.235 | 0.6185 | json |
| t18_x64_u0_b39 | 18 | 64 | 0 | 39 | ![]() |
add(R,div(D,lrg(P,D))) | 133269 | 148756521 | o2(x,o2(x,o2(x,x))) | true | 94559 | 94559 | -0.5735 | 0.2018 | 0.7335 | 0.3303 | 0.5747 | -1 | 1 | 2 | 1 | 3.06 | 0.009536 | 0.001295 | 0.0379 | 0.7609 | 1 | 0.0001656 | 0.01493 | 0.01851 | 0.009395 | 0.09693 | 2.557 | 1.974 | 0.03279 | 0.0452 | 1 | 1 | 0.01543 | 0.1069 | 0.2557 | 0.04673 | 0.3237 | 0.7743 | json |
| t18_x64_u0_b40 | 18 | 64 | 0 | 40 | ![]() |
add(R,div(D,eql(P,D))) | 133270 | 148756522 | o2(x,o2(x,o2(x,x))) | true | 94567 | 94567 | -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_x64_u0_b41 | 18 | 64 | 0 | 41 | ![]() |
add(R,div(D,min(P,D))) | 133271 | 148756523 | o2(x,o2(x,o2(x,x))) | true | 94575 | 94575 | 0.3293 | 0.7223 | 0.6169 | 0.3832 | 0.619 | -1 | 1 | 2 | 1 | 4.431 | 0.02808 | 0.002308 | 0.06099 | 0.8481 | 1 | 0.00001522 | 0.0524 | 0.04166 | 0.02667 | 0.1633 | 2.677 | 2.007 | 0.07931 | 0.1367 | 1 | 1 | 0.04338 | 0.2334 | 0.4429 | 0.1132 | 0.6091 | 1.156 | json |
| t18_x64_u0_b42 | 18 | 64 | 0 | 42 | ![]() |
add(R,div(D,dot(P,D))) | 133272 | 148756524 | o2(x,o2(x,o2(x,x))) | true | 94583 | 94583 | -0.02284 | 0.4828 | 0.4916 | 0.3445 | 0.5869 | -1 | 1 | 2 | 1 | 4.854 | 0.1713 | 0.2137 | 0.3091 | -0.1103 | 1 | 0.0001541 | 1.762 | 0.5601 | 0.2895 | 0.538 | 1.741 | 2.828 | 1.118 | 5.115 | 1 | 1 | 0.3071 | 0.5169 | 0.6789 | 0.8914 | 1.501 | 1.971 | json |
| t18_x64_u0_b43 | 18 | 64 | 0 | 43 | ![]() |
add(R,div(D,dst(P,D))) | 133273 | 148756525 | o2(x,o2(x,o2(x,x))) | true | 94591 | 94591 | 0.008704 | 0.4967 | 0.396 | 0.2214 | 0.4705 | -1 | 1 | 2 | 1 | 4.87 | 0.003031 | 0.003206 | 0.06479 | -0.02802 | 1 | 0.00002651 | 0.0004695 | 0.01506 | 0.002039 | 0.04515 | 0.6969 | 0.9576 | 0.02817 | 0.002121 | 1 | 1 | 0.01259 | 0.1572 | 0.3947 | 0.05687 | 0.7102 | 1.783 | json |
| t18_x64_u0_b44 | 18 | 64 | 0 | 44 | ![]() |
add(R,pow(D,add(P,D))) | 133274 | 148756526 | o2(x,o2(x,o2(x,x))) | true | 94599 | 94599 | -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_x64_u0_b45 | 18 | 64 | 0 | 45 | ![]() |
add(R,pow(D,sub(P,D))) | 133275 | 148756527 | o2(x,o2(x,o2(x,x))) | true | 94607 | 94607 | -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_x64_u0_b46 | 18 | 64 | 0 | 46 | ![]() |
add(R,pow(D,mlt(P,D))) | 133276 | 148756528 | o2(x,o2(x,o2(x,x))) | true | 94615 | 94615 | -0.8841 | 0.0625 | 0.9909 | 0.2049 | 0.4526 | -1 | 1 | 2 | 1 | 0.4753 | 0.0263 | 0.00006383 | 0.01614 | 0.9952 | 1 | -0.00001099 | 0.05189 | 0.02915 | 0.0261 | 0.1616 | 10.01 | 2.006 | 0.1287 | 0.2533 | 1 | 1 | 0.03605 | 0.1536 | 0.3039 | 0.1759 | 0.7499 | 1.483 | json |
| t18_x64_u0_b47 | 18 | 64 | 0 | 47 | ![]() |
add(R,pow(D,div(P,D))) | 133277 | 148756529 | o2(x,o2(x,o2(x,x))) | true | 94623 | 94623 | -0.8892 | 0.05859 | 0.9936 | 0.2004 | 0.4476 | -1 | 1 | 2 | 1 | 0.4172 | 0.02767 | 0.00003566 | 0.01608 | 0.9974 | 1 | -0.000002478 | 0.05501 | 0.03025 | 0.02743 | 0.1656 | 10.3 | 2.006 | 0.1383 | 0.2745 | 1 | 1 | 0.03735 | 0.1584 | 0.292 | 0.1864 | 0.7903 | 1.457 | json |
| t18_x64_u0_b48 | 18 | 64 | 0 | 48 | ![]() |
add(R,pow(D,pow(P,D))) | 133278 | 148756530 | o2(x,o2(x,o2(x,x))) | true | 94631 | 94631 | -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_x64_u0_b49 | 18 | 64 | 0 | 49 | ![]() |
add(R,pow(D,mod(P,D))) | 133279 | 148756531 | o2(x,o2(x,o2(x,x))) | true | 94639 | 94639 | -0.7678 | 0.1289 | 0.9744 | 0.3741 | 0.6116 | -1 | 1 | 2 | 1 | 0.901 | 0.4082 | 0.0001923 | 0.227 | 0.9991 | 1 | -0.00001353 | 1.247 | 0.4515 | 0.3567 | 0.5973 | 2.631 | 2.006 | 1.092 | 3.333 | 1 | 1 | 0.1962 | 0.3432 | 0.3132 | 0.5245 | 0.9176 | 0.8374 | json |
| t18_x64_u0_b50 | 18 | 64 | 0 | 50 | ![]() |
add(R,pow(D,lrg(P,D))) | 133280 | 148756532 | o2(x,o2(x,o2(x,x))) | true | 94647 | 94647 | -0.2046 | 0.4375 | 0.9204 | 0.8438 | 0.9186 | -1 | 1 | 2 | 1 | 2.125 | 0.01447 | 0.0006337 | 0.01971 | 0.9161 | 1 | -0.000007488 | 0.02825 | 0.01974 | 0.01471 | 0.1213 | 6.155 | 2.006 | 0.0179 | 0.03348 | 1 | 1 | 0.02066 | 0.09413 | 0.3247 | 0.02448 | 0.1116 | 0.3848 | json |
| t18_x64_u0_b51 | 18 | 64 | 0 | 51 | ![]() |
add(R,pow(D,eql(P,D))) | 133281 | 148756533 | o2(x,o2(x,o2(x,x))) | true | 94655 | 94655 | 0.8072 | 1 | 0.8072 | 0.06917 | 0.263 | 0.001146 | 1 | 0.9989 | 1 | 2.721 | 0.00124 | 0.001463 | 0.03034 | -0.08261 | 1 | -0.00006109 | 0.0006685 | 0.01204 | 0.001783 | 0.04223 | 1.392 | 0.223 | 0.03908 | 0.009664 | 1 | 1 | 0.004971 | 0.05068 | 0.113 | 0.07186 | 0.7327 | 1.634 | json |
| t18_x64_u0_b52 | 18 | 64 | 0 | 52 | ![]() |
add(R,pow(D,min(P,D))) | 133282 | 148756534 | o2(x,o2(x,o2(x,x))) | true | 94663 | 94663 | -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_x64_u0_b53 | 18 | 64 | 0 | 53 | ![]() |
add(R,pow(D,dot(P,D))) | 133283 | 148756535 | o2(x,o2(x,o2(x,x))) | true | 94671 | 94671 | -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_x64_u0_b54 | 18 | 64 | 0 | 54 | ![]() |
add(R,pow(D,dst(P,D))) | 133284 | 148756536 | o2(x,o2(x,o2(x,x))) | true | 94679 | 94679 | -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_x64_u0_b55 | 18 | 64 | 0 | 55 | ![]() |
add(R,mod(D,add(P,D))) | 133285 | 148756537 | o2(x,o2(x,o2(x,x))) | true | 94687 | 94687 | 0.009079 | 0.498 | 0.4033 | 0.2324 | 0.4821 | -1 | 1 | 2 | 1 | 4.903 | 0.007774 | 0.003164 | 0.0831 | 0.4214 | 1 | 0.00003034 | 0.008556 | 0.03971 | 0.004034 | 0.06351 | 0.7643 | 0.7123 | 0.04707 | 0.03681 | 1 | 1 | 0.0186 | 0.1783 | 0.3923 | 0.08005 | 0.7672 | 1.688 | json |
| t18_x64_u0_b56 | 18 | 64 | 0 | 56 | ![]() |
add(R,mod(D,sub(P,D))) | 133286 | 148756538 | o2(x,o2(x,o2(x,x))) | true | 94695 | 94695 | 0.009083 | 0.4974 | 0.4031 | 0.2326 | 0.4823 | -1 | 1 | 2 | 1 | 4.904 | 0.006874 | 0.003164 | 0.0827 | 0.3695 | 1 | 0.00003043 | 0.006566 | 0.03988 | 0.003198 | 0.05655 | 0.6837 | 0.5053 | 0.04316 | 0.02823 | 1 | 1 | 0.01753 | 0.1795 | 0.3933 | 0.07539 | 0.7717 | 1.691 | json |
| t18_x64_u0_b57 | 18 | 64 | 0 | 57 | ![]() |
add(R,mod(D,mlt(P,D))) | 133287 | 148756539 | o2(x,o2(x,o2(x,x))) | true | 94703 | 94703 | -0.1199 | 0.432 | 0.4743 | 0.3123 | 0.5589 | -1 | 1 | 2 | 1 | 4.758 | 0.01919 | 0.002787 | 0.08068 | 0.7464 | 1 | 0.0000476 | 0.0326 | 0.05182 | 0.01547 | 0.1244 | 1.542 | 1.943 | 0.07038 | 0.1044 | 1 | 1 | 0.03032 | 0.2044 | 0.507 | 0.09707 | 0.6546 | 1.623 | json |
| t18_x64_u0_b58 | 18 | 64 | 0 | 58 | ![]() |
add(R,mod(D,div(P,D))) | 133288 | 148756540 | o2(x,o2(x,o2(x,x))) | true | 94711 | 94711 | -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_x64_u0_b59 | 18 | 64 | 0 | 59 | ![]() |
add(R,mod(D,pow(P,D))) | 133289 | 148756541 | o2(x,o2(x,o2(x,x))) | true | 94719 | 94719 | -0.5571 | 0.2169 | 0.7366 | 0.3523 | 0.5935 | -1 | 1 | 2 | 1 | 3.068 | 0.01131 | 0.001294 | 0.04311 | 0.7947 | 1 | 0.0001648 | 0.01831 | 0.03293 | 0.01074 | 0.1036 | 2.404 | 1.974 | 0.03578 | 0.05198 | 1 | 1 | 0.01714 | 0.1157 | 0.2601 | 0.04866 | 0.3283 | 0.7382 | json |
| t18_x64_u0_b60 | 18 | 64 | 0 | 60 | ![]() |
add(R,mod(D,mod(P,D))) | 133290 | 148756542 | o2(x,o2(x,o2(x,x))) | true | 94727 | 94727 | -0.2434 | 0.3728 | 0.5384 | 0.3496 | 0.5913 | -1 | 1 | 2 | 1 | 4.407 | 0.1658 | 0.002326 | 0.1883 | 0.9723 | 1 | 0.00004392 | 0.3951 | 0.3119 | 0.1326 | 0.3642 | 1.934 | 2 | 0.4807 | 1.13 | 1 | 1 | 0.1325 | 0.2814 | 0.4455 | 0.3791 | 0.8049 | 1.274 | json |
| t18_x64_u0_b61 | 18 | 64 | 0 | 61 | ![]() |
add(R,mod(D,lrg(P,D))) | 133291 | 148756543 | o2(x,o2(x,o2(x,x))) | true | 94735 | 94735 | -0.5735 | 0.2018 | 0.7335 | 0.3303 | 0.5747 | -1 | 1 | 2 | 1 | 3.06 | 0.009536 | 0.001295 | 0.0379 | 0.7609 | 1 | 0.0001656 | 0.01493 | 0.01851 | 0.009395 | 0.09693 | 2.557 | 1.974 | 0.03279 | 0.0452 | 1 | 1 | 0.01543 | 0.1069 | 0.2557 | 0.04673 | 0.3237 | 0.7743 | json |
| t18_x64_u0_b62 | 18 | 64 | 0 | 62 | ![]() |
add(R,mod(D,eql(P,D))) | 133292 | 148756544 | o2(x,o2(x,o2(x,x))) | true | 94743 | 94743 | -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_x64_u0_b63 | 18 | 64 | 0 | 63 | ![]() |
add(R,mod(D,min(P,D))) | 133293 | 148756545 | o2(x,o2(x,o2(x,x))) | true | 94751 | 94751 | -0.05105 | 0.4688 | 0.4447 | 0.2824 | 0.5314 | -1 | 1 | 2 | 1 | 4.885 | 0.03283 | 0.002972 | 0.1225 | 0.834 | 1 | -0.0004876 | 0.06672 | 0.1568 | 0.0208 | 0.1442 | 1.177 | 1.943 | 0.1268 | 0.2362 | 1 | 1 | 0.04056 | 0.2209 | 0.4453 | 0.1436 | 0.782 | 1.577 | json |
| t18_x64_u0_b64 | 18 | 64 | 0 | 64 | ![]() |
add(R,mod(D,dot(P,D))) | 133294 | 148756546 | o2(x,o2(x,o2(x,x))) | true | 94759 | 94759 | -0.02987 | 0.4785 | 0.4233 | 0.258 | 0.5079 | -1 | 1 | 2 | 1 | 4.905 | 0.05404 | 0.05389 | 0.1457 | 0.001365 | 1 | 0.00002772 | 0.5526 | 0.2136 | 0.0867 | 0.2945 | 2.021 | 2.828 | 0.4184 | 2.142 | 1 | 1 | 0.07884 | 0.2406 | 0.477 | 0.3056 | 0.9326 | 1.849 | json |
| t18_x64_u0_b65 | 18 | 64 | 0 | 65 | ![]() |
add(R,mod(D,dst(P,D))) | 133295 | 148756547 | o2(x,o2(x,o2(x,x))) | true | 94767 | 94767 | 0.009078 | 0.4992 | 0.4012 | 0.2304 | 0.48 | -1 | 1 | 2 | 1 | 4.899 | 0.004499 | 0.003168 | 0.07558 | 0.1737 | 1 | 0.00002869 | 0.0007122 | 0.01972 | 0.001954 | 0.0442 | 0.5848 | 0.3376 | 0.03328 | 0.003091 | 1 | 1 | 0.01514 | 0.1747 | 0.3901 | 0.0657 | 0.7583 | 1.693 | json |
| t18_x64_u0_b66 | 18 | 64 | 0 | 66 | ![]() |
add(R,lrg(D,add(P,D))) | 133296 | 148756548 | o2(x,o2(x,o2(x,x))) | true | 94775 | 94775 | 0.3766 | 0.7191 | 0.5901 | 0.3173 | 0.5633 | -0.9986 | 1 | 1.999 | 1 | 4.383 | 0.002603 | 0.002259 | 0.04938 | 0.07094 | 1 | -0.00001858 | 0.0005711 | 0.01381 | 0.002424 | 0.04923 | 0.997 | 0.3332 | 0.01532 | 0.0018 | 1 | 1 | 0.009709 | 0.1179 | 0.315 | 0.0306 | 0.3714 | 0.9927 | json |
| t18_x64_u0_b67 | 18 | 64 | 0 | 67 | ![]() |
add(R,lrg(D,sub(P,D))) | 133297 | 148756549 | o2(x,o2(x,o2(x,x))) | true | 94783 | 94783 | 0.4055 | 0.7409 | 0.5981 | 0.3048 | 0.5521 | -0.9986 | 1 | 1.999 | 1 | 4.328 | 0.006855 | 0.002246 | 0.05508 | 0.5065 | 1 | -0.00001882 | 0.009547 | 0.02671 | 0.006067 | 0.07789 | 1.414 | 1.012 | 0.02986 | 0.03132 | 1 | 1 | 0.0151 | 0.1262 | 0.3034 | 0.04952 | 0.4141 | 0.9954 | json |
| t18_x64_u0_b68 | 18 | 64 | 0 | 68 | ![]() |
add(R,lrg(D,mlt(P,D))) | 133298 | 148756550 | o2(x,o2(x,o2(x,x))) | true | 94791 | 94791 | 0.4381 | 0.7963 | 0.5767 | 0.2457 | 0.4957 | -0.9983 | 1 | 1.998 | 1 | 4.395 | 0.04552 | 0.002531 | 0.1117 | 0.8947 | 1 | 0.00003841 | 0.08051 | 0.1057 | 0.03558 | 0.1886 | 1.689 | 1.025 | 0.1956 | 0.3277 | 1 | 1 | 0.05536 | 0.2697 | 0.3032 | 0.2253 | 1.098 | 1.234 | json |
| t18_x64_u0_b69 | 18 | 64 | 0 | 69 | ![]() |
add(R,lrg(D,div(P,D))) | 133299 | 148756551 | o2(x,o2(x,o2(x,x))) | true | 94799 | 94799 | 0.4584 | 0.805 | 0.5923 | 0.2473 | 0.4973 | -0.9983 | 1 | 1.998 | 1 | 4.321 | 0.04742 | 0.002456 | 0.1124 | 0.9015 | 1 | 0.00003841 | 0.0846 | 0.1104 | 0.03724 | 0.193 | 1.717 | 1.025 | 0.2016 | 0.3421 | 1 | 1 | 0.05774 | 0.2735 | 0.3016 | 0.2335 | 1.106 | 1.219 | json |



































































































