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_x50_u0_b184 | 18 | 50 | 0 | 184 | ![]() |
sub(D,mod(R,min(D,R))) | 130600 | 148191052 | o2(x,o2(x,o2(x,x))) | true | 73207 | 73207 | 0.0192 | 0.5216 | 0.1498 | 0.04205 | 0.2051 | -0.5037 | 1 | 1.504 | 1 | 3.595 | 0.005453 | 0.0004473 | 0.06122 | 0.8484 | 1 | 0.000156 | 0.009015 | 0.05867 | 0.002153 | 0.0464 | 0.7579 | 0.4042 | 0.1403 | 0.2144 | 1 | 1 | 0.007825 | 0.05304 | 0.0688 | 0.1861 | 1.261 | 1.636 | json |
| t18_x50_u0_b185 | 18 | 50 | 0 | 185 | ![]() |
sub(D,mod(R,dot(D,R))) | 130601 | 148191053 | o2(x,o2(x,o2(x,x))) | true | 73215 | 73215 | -0.001782 | 0.494 | 0.119 | 0.02112 | 0.1453 | -0.5782 | 0.5692 | 1.147 | 1 | 3.264 | 0.006218 | 0.004275 | 0.08309 | 0.1851 | 1 | 0.00001868 | 0.04088 | 0.1374 | 0.00359 | 0.05991 | 0.7211 | 0.5305 | 0.4969 | 1.936 | 1 | 1 | 0.009115 | 0.03459 | 0.01993 | 0.4316 | 1.638 | 0.9439 | json |
| t18_x50_u0_b186 | 18 | 50 | 0 | 186 | ![]() |
sub(D,mod(R,dst(D,R))) | 130602 | 148191054 | o2(x,o2(x,o2(x,x))) | true | 73223 | 73223 | -0.006614 | 0.5047 | 0.379 | 0.2118 | 0.4602 | -1 | 1 | 2 | 1 | 4.86 | 0.009815 | 0.005888 | 0.08671 | 0.25 | 1 | -0.0001421 | 0.02822 | 0.05302 | 0.008185 | 0.09047 | 1.043 | 1.322 | 0.07414 | 0.1332 | 1 | 1 | 0.0216 | 0.1833 | 0.3574 | 0.102 | 0.8654 | 1.687 | json |
| t18_x50_u0_b187 | 18 | 50 | 0 | 187 | ![]() |
sub(D,lrg(R,add(D,R))) | 130603 | 148191055 | o2(x,o2(x,o2(x,x))) | true | 73231 | 73231 | -0.4823 | 0.3125 | 0.5176 | 0.2029 | 0.4504 | -1 | 0.09672 | 1.097 | 1 | 2.852 | 0.07311 | 0 | 0.1349 | 1 | 1 | -0.00006836 | 0.122 | 0.1445 | 0.05491 | 0.2343 | 1.737 | 1.031 | 0.3604 | 0.6012 | 1 | 1 | 0.08612 | 0.3709 | 0 | 0.4245 | 1.828 | 0 | json |
| t18_x50_u0_b188 | 18 | 50 | 0 | 188 | ![]() |
sub(D,lrg(R,sub(D,R))) | 130604 | 148191056 | o2(x,o2(x,o2(x,x))) | true | 73239 | 73239 | -0.4798 | 0.1552 | 0.5011 | 0.1573 | 0.3966 | -1 | 0.1454 | 1.145 | 1 | 3.981 | 0.01149 | 0.002237 | 0.07571 | 0.6742 | 1 | -0.0001023 | 0.01643 | 0.04402 | 0.008 | 0.08944 | 1.181 | 1.048 | 0.08728 | 0.1044 | 1 | 1 | 0.0184 | 0.1456 | 0.277 | 0.1169 | 0.9253 | 1.761 | json |
| t18_x50_u0_b189 | 18 | 50 | 0 | 189 | ![]() |
sub(D,lrg(R,mlt(D,R))) | 130605 | 148191057 | o2(x,o2(x,o2(x,x))) | true | 73247 | 73247 | -0.4726 | 0.1515 | 0.4954 | 0.1528 | 0.3909 | -1 | 0.1454 | 1.145 | 1 | 4.044 | 0.003321 | 0.002384 | 0.06297 | 0.1641 | 1 | -0.00001363 | 0.0006541 | 0.01751 | 0.00174 | 0.04171 | 0.6624 | 0.1713 | 0.03734 | 0.004282 | 1 | 1 | 0.01109 | 0.1243 | 0.2688 | 0.07262 | 0.8134 | 1.76 | json |
| t18_x50_u0_b190 | 18 | 50 | 0 | 190 | ![]() |
sub(D,lrg(R,div(D,R))) | 130606 | 148191058 | o2(x,o2(x,o2(x,x))) | true | 73255 | 73255 | -0.4974 | 0.1361 | 0.5177 | 0.1493 | 0.3864 | -1 | 0.1454 | 1.145 | 1 | 4.036 | 0.03058 | 0.002183 | 0.09559 | 0.8668 | 1 | 0.0001983 | 0.0579 | 0.09347 | 0.02363 | 0.1537 | 1.608 | 1.055 | 0.2194 | 0.3877 | 1 | 1 | 0.03608 | 0.1804 | 0.2721 | 0.2416 | 1.208 | 1.822 | json |
| t18_x50_u0_b191 | 18 | 50 | 0 | 191 | ![]() |
sub(D,lrg(R,pow(D,R))) | 130607 | 148191059 | o2(x,o2(x,o2(x,x))) | true | 73263 | 73263 | -0.6103 | 0.1827 | 0.6303 | 0.1728 | 0.4157 | -1 | 0.09672 | 1.097 | 1 | 3.25 | 0.05169 | 0.0008655 | 0.1147 | 0.9671 | 1 | -0.0003581 | 0.08593 | 0.1163 | 0.03942 | 0.1985 | 1.731 | 1.049 | 0.3041 | 0.4972 | 1 | 1 | 0.06222 | 0.288 | 0.1218 | 0.36 | 1.667 | 0.7045 | json |
| t18_x50_u0_b192 | 18 | 50 | 0 | 192 | ![]() |
sub(D,lrg(R,mod(D,R))) | 130608 | 148191060 | o2(x,o2(x,o2(x,x))) | true | 73271 | 73271 | -0.4726 | 0.1515 | 0.4954 | 0.1528 | 0.3909 | -1 | 0.1454 | 1.145 | 1 | 4.044 | 0.003321 | 0.002384 | 0.06297 | 0.1641 | 1 | -0.00001363 | 0.0006541 | 0.01751 | 0.00174 | 0.04171 | 0.6624 | 0.1713 | 0.03734 | 0.004282 | 1 | 1 | 0.01109 | 0.1243 | 0.2688 | 0.07262 | 0.8134 | 1.76 | json |
| t18_x50_u0_b193 | 18 | 50 | 0 | 193 | ![]() |
sub(D,lrg(R,lrg(D,R))) | 130609 | 148191061 | o2(x,o2(x,o2(x,x))) | true | 73279 | 73279 | -0.4163 | 0.1906 | 0.4457 | 0.1575 | 0.3968 | -1 | 0.1454 | 1.145 | 1 | 4.034 | 0.01207 | 0.002231 | 0.07638 | 0.6881 | 1 | -0.00004643 | 0.01757 | 0.04448 | 0.008471 | 0.09204 | 1.205 | 1.055 | 0.09084 | 0.1116 | 1 | 1 | 0.01825 | 0.1418 | 0.2717 | 0.1159 | 0.9007 | 1.726 | json |
| t18_x50_u0_b194 | 18 | 50 | 0 | 194 | ![]() |
sub(D,lrg(R,eql(D,R))) | 130610 | 148191062 | o2(x,o2(x,o2(x,x))) | true | 73287 | 73287 | -0.4726 | 0.1515 | 0.4954 | 0.1528 | 0.3909 | -1 | 0.1454 | 1.145 | 1 | 4.044 | 0.003321 | 0.002384 | 0.06297 | 0.1641 | 1 | -0.00001363 | 0.0006541 | 0.01751 | 0.00174 | 0.04171 | 0.6624 | 0.1713 | 0.03734 | 0.004282 | 1 | 1 | 0.01109 | 0.1243 | 0.2688 | 0.07262 | 0.8134 | 1.76 | json |
| t18_x50_u0_b195 | 18 | 50 | 0 | 195 | ![]() |
sub(D,lrg(R,min(D,R))) | 130611 | 148191063 | o2(x,o2(x,o2(x,x))) | true | 73295 | 73295 | -0.49 | 0.1521 | 0.5086 | 0.1563 | 0.3954 | -1 | 0.1454 | 1.145 | 1 | 3.939 | 0.02197 | 0.002084 | 0.09428 | 0.8268 | 1 | -0.00002828 | 0.03678 | 0.07581 | 0.01517 | 0.1232 | 1.307 | 1.048 | 0.1539 | 0.2353 | 1 | 1 | 0.02801 | 0.1648 | 0.2571 | 0.1792 | 1.054 | 1.645 | json |
| t18_x50_u0_b196 | 18 | 50 | 0 | 196 | ![]() |
sub(D,lrg(R,dot(D,R))) | 130612 | 148191064 | o2(x,o2(x,o2(x,x))) | true | 73303 | 73303 | -0.4763 | 0.153 | 0.4996 | 0.1545 | 0.3931 | -1 | 0.1454 | 1.145 | 1 | 4.034 | 0.005917 | 0.01104 | 0.07816 | -0.3019 | 1 | -0.00009001 | 0.03481 | 0.05873 | 0.01084 | 0.1041 | 1.332 | 1.339 | 0.1097 | 0.2253 | 1 | 1 | 0.02089 | 0.1466 | 0.27 | 0.1352 | 0.9485 | 1.748 | json |
| t18_x50_u0_b197 | 18 | 50 | 0 | 197 | ![]() |
sub(D,lrg(R,dst(D,R))) | 130613 | 148191065 | o2(x,o2(x,o2(x,x))) | true | 73311 | 73311 | -0.03494 | 0.4516 | 0.1192 | 0.02444 | 0.1563 | -0.9616 | 0.1454 | 1.107 | 1 | 3.012 | 0.005872 | 0.003409 | 0.04933 | 0.2654 | 1 | 0.0001942 | 0.02608 | 0.03775 | 0.006847 | 0.08275 | 1.677 | 1.365 | 0.3798 | 1.067 | 1 | 1 | 0.009129 | 0.04039 | 0.02849 | 0.3736 | 1.653 | 1.166 | json |
| t18_x50_u0_b198 | 18 | 50 | 0 | 198 | ![]() |
sub(D,eql(R,add(D,R))) | 130614 | 148191066 | o2(x,o2(x,o2(x,x))) | true | 73319 | 73319 | 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_x50_u0_b199 | 18 | 50 | 0 | 199 | ![]() |
sub(D,eql(R,sub(D,R))) | 130615 | 148191067 | o2(x,o2(x,o2(x,x))) | true | 73327 | 73327 | 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_x50_u0_b200 | 18 | 50 | 0 | 200 | ![]() |
sub(D,eql(R,mlt(D,R))) | 130616 | 148191068 | o2(x,o2(x,o2(x,x))) | true | 73335 | 73335 | -2.132e-7 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 7.118e-13 | 0.0361 | 1 | 1 | 1.039e-10 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06221 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 1.177e-10 | 0.2912 | 2.017 | 1.087e-8 | json |
| t18_x51_u0_b0 | 18 | 51 | 0 | 0 | ![]() |
add(D,add(R,add(R,P))) | 130617 | 148231269 | o2(x,o2(x,o2(x,x))) | true | 73343 | 73343 | 0.01259 | 0.5069 | 0.946 | 0.9267 | 0.9626 | -1 | 1 | 2 | 1 | 1.899 | 0.002237 | 0.001447 | 0.01791 | 0.2146 | 1 | -0.00004005 | 0.0008783 | 0.006876 | 0.003363 | 0.05799 | 3.238 | 0.4527 | 0.003975 | 0.0009478 | 1 | 1 | 0.008681 | 0.09525 | 0.3716 | 0.009368 | 0.1028 | 0.4011 | json |
| t18_x51_u0_b1 | 18 | 51 | 0 | 1 | ![]() |
add(D,add(R,sub(R,P))) | 130618 | 148231270 | o2(x,o2(x,o2(x,x))) | true | 73351 | 73351 | 0.009223 | 0.5072 | 0.939 | 0.9172 | 0.9577 | -1 | 1 | 2 | 1 | 2 | 0.003142 | 0.001605 | 0.02127 | 0.3239 | 1 | -0.0000321 | 0.001297 | 0.00911 | 0.004297 | 0.06555 | 3.081 | 0.6039 | 0.005176 | 0.001414 | 1 | 1 | 0.0111 | 0.1074 | 0.3615 | 0.0121 | 0.1171 | 0.3941 | json |
| t18_x51_u0_b2 | 18 | 51 | 0 | 2 | ![]() |
add(D,add(R,mlt(R,P))) | 130619 | 148231271 | o2(x,o2(x,o2(x,x))) | true | 73359 | 73359 | -0.06416 | 0.4695 | 0.7295 | 0.6464 | 0.804 | -1 | 1 | 2 | 1 | 3.782 | 0.01795 | 0.01982 | 0.09817 | -0.04967 | 1 | -0.0000457 | 0.02091 | 0.05202 | 0.02813 | 0.1677 | 1.709 | 1.662 | 0.05842 | 0.03235 | 1 | 1 | 0.05468 | 0.4774 | 1.033 | 0.08459 | 0.7385 | 1.598 | json |
| t18_x51_u0_b3 | 18 | 51 | 0 | 3 | ![]() |
add(D,add(R,div(R,P))) | 130620 | 148231272 | o2(x,o2(x,o2(x,x))) | true | 73367 | 73367 | -0.1251 | 0.4174 | 0.4665 | 0.3135 | 0.5599 | -1 | 1 | 2 | 1 | 4.689 | 0.01735 | 0.002949 | 0.07315 | 0.7095 | 1 | 0.00003441 | 0.02759 | 0.03606 | 0.01495 | 0.1223 | 1.672 | 2 | 0.06476 | 0.08801 | 1 | 1 | 0.02984 | 0.2155 | 0.5155 | 0.09519 | 0.6873 | 1.645 | json |
| t18_x51_u0_b4 | 18 | 51 | 0 | 4 | ![]() |
add(D,add(R,pow(R,P))) | 130621 | 148231273 | o2(x,o2(x,o2(x,x))) | true | 73375 | 73375 | -0.8581 | 0.0741 | 0.9935 | 0.2539 | 0.5038 | -1 | 1 | 2 | 1 | 0.4985 | 0.02271 | 0.02281 | 0.02475 | -0.002179 | 1 | 0.000006122 | 0.09465 | 0.0477 | 0.04493 | 0.212 | 8.564 | 2.828 | 0.1793 | 0.3728 | 1 | 1 | 0.04352 | 0.1846 | 0.5889 | 0.1714 | 0.727 | 2.32 | json |
| t18_x51_u0_b5 | 18 | 51 | 0 | 5 | ![]() |
add(D,add(R,mod(R,P))) | 130622 | 148231274 | o2(x,o2(x,o2(x,x))) | true | 73383 | 73383 | -0.1182 | 0.4324 | 0.6955 | 0.5817 | 0.7627 | -1 | 1 | 2 | 1 | 4.146 | 0.0254 | 0.008503 | 0.09456 | 0.4984 | 1 | 0.00003719 | 0.03794 | 0.04697 | 0.02495 | 0.158 | 1.671 | 2.021 | 0.05828 | 0.06523 | 1 | 1 | 0.05175 | 0.413 | 0.9737 | 0.08896 | 0.7101 | 1.674 | json |
| t18_x51_u0_b6 | 18 | 51 | 0 | 6 | ![]() |
add(D,add(R,lrg(R,P))) | 130623 | 148231275 | o2(x,o2(x,o2(x,x))) | true | 73391 | 73391 | 0.3907 | 0.7216 | 0.6073 | 0.3316 | 0.5758 | -1 | 1 | 2 | 1 | 4.287 | 0.003986 | 0.002517 | 0.05857 | 0.2259 | 1 | 0.00008278 | 0.0009531 | 0.01809 | 0.003073 | 0.05544 | 0.9465 | 0.3876 | 0.01961 | 0.002874 | 1 | 1 | 0.01342 | 0.1454 | 0.3458 | 0.04048 | 0.4385 | 1.043 | json |
| t18_x51_u0_b7 | 18 | 51 | 0 | 7 | ![]() |
add(D,add(R,eql(R,P))) | 130624 | 148231276 | o2(x,o2(x,o2(x,x))) | true | 73399 | 73399 | 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_x51_u0_b8 | 18 | 51 | 0 | 8 | ![]() |
add(D,add(R,min(R,P))) | 130625 | 148231277 | o2(x,o2(x,o2(x,x))) | true | 73407 | 73407 | -0.4864 | 0.2432 | 0.7948 | 0.4906 | 0.7004 | -1 | 1 | 2 | 1 | 3.161 | 0.00551 | 0.004806 | 0.05596 | 0.06823 | 1 | 0.00009308 | 0.001768 | 0.01733 | 0.007188 | 0.08479 | 1.515 | 0.4477 | 0.02103 | 0.003605 | 1 | 1 | 0.02053 | 0.2322 | 0.5923 | 0.04184 | 0.4734 | 1.207 | json |
| t18_x51_u0_b9 | 18 | 51 | 0 | 9 | ![]() |
add(D,add(R,dot(R,P))) | 130626 | 148231278 | o2(x,o2(x,o2(x,x))) | true | 73415 | 73415 | -0.09371 | 0.4537 | 0.8444 | 0.7878 | 0.8876 | -1 | 1 | 2 | 1 | 2.904 | 0.02546 | 0.03255 | 0.1028 | -0.1222 | 1 | 0.00004019 | 0.04649 | 0.07516 | 0.04744 | 0.2178 | 2.119 | 1.856 | 0.07363 | 0.05901 | 1 | 1 | 0.07509 | 0.576 | 1.384 | 0.09532 | 0.7311 | 1.757 | json |
| t18_x51_u0_b10 | 18 | 51 | 0 | 10 | ![]() |
add(D,add(R,dst(R,P))) | 130627 | 148231279 | o2(x,o2(x,o2(x,x))) | true | 73423 | 73423 | 0.9981 | 1 | 0.9981 | 0.0008337 | 0.02887 | 0.2567 | 1 | 0.7433 | 1 | 0.06768 | 0.00004764 | 0.00004656 | 0.0007187 | 0.01151 | 0 | -5.632e-12 | 0.00004758 | 0.000474 | 0.00009367 | 0.009678 | 13.47 | 0.2629 | 0.113 | 0.05708 | 1 | 1 | 0.000298 | 0.002162 | 0.00304 | 0.3575 | 2.593 | 3.646 | json |
| t18_x51_u0_b11 | 18 | 51 | 0 | 11 | ![]() |
add(D,sub(R,add(R,P))) | 130628 | 148231280 | o2(x,o2(x,o2(x,x))) | true | 73431 | 73431 | 0 | 0.5 | 0.9375 | 0.9252 | 0.9619 | -1 | 1 | 2 | 1 | 1.774 | 0.001323 | 0 | 0.01101 | 1 | 1 | 0 | 0.0002527 | 0.005079 | 0.001202 | 0.03468 | 3.15 | 0.1713 | 0.00143 | 0.0002731 | 1 | 1 | 0.003342 | 0.0331 | 0.2361 | 0.003612 | 0.03578 | 0.2552 | json |
| t18_x51_u0_b12 | 18 | 51 | 0 | 12 | ![]() |
add(D,sub(R,sub(R,P))) | 130629 | 148231281 | o2(x,o2(x,o2(x,x))) | true | 73439 | 73439 | 0 | 0.5 | 0.9375 | 0.9165 | 0.9574 | -1 | 1 | 2 | 1 | 1.979 | 0.0004883 | 1.427e-18 | 0.007937 | 1 | 1 | 1.539e-10 | 0.0000155 | 0.000496 | 0.0004253 | 0.02062 | 2.598 | 0.0625 | 0.0005327 | 0.00001691 | 1 | 1 | 0.001285 | 0.01928 | 0.2245 | 0.001402 | 0.02104 | 0.245 | json |
| t18_x51_u0_b13 | 18 | 51 | 0 | 13 | ![]() |
add(D,sub(R,mlt(R,P))) | 130630 | 148231282 | o2(x,o2(x,o2(x,x))) | true | 73447 | 73447 | 0.0608 | 0.5379 | 0.7298 | 0.6482 | 0.8051 | -1 | 1 | 2 | 1 | 3.75 | 0.01725 | 0.01994 | 0.09434 | -0.07226 | 1 | 0.00004755 | 0.0215 | 0.05126 | 0.02829 | 0.1682 | 1.783 | 1.482 | 0.05737 | 0.03316 | 1 | 1 | 0.05263 | 0.4449 | 1.06 | 0.0812 | 0.6864 | 1.635 | json |
| t18_x51_u0_b14 | 18 | 51 | 0 | 14 | ![]() |
add(D,sub(R,div(R,P))) | 130631 | 148231283 | o2(x,o2(x,o2(x,x))) | true | 73455 | 73455 | -0.1191 | 0.44 | 0.4708 | 0.3232 | 0.5685 | -1 | 1 | 2 | 1 | 4.662 | 0.01571 | 0.003148 | 0.07072 | 0.6662 | 1 | 0.00007841 | 0.02474 | 0.03444 | 0.01386 | 0.1177 | 1.665 | 2.021 | 0.05836 | 0.07653 | 1 | 1 | 0.02799 | 0.2042 | 0.531 | 0.0866 | 0.6318 | 1.643 | json |
| t18_x51_u0_b15 | 18 | 51 | 0 | 15 | ![]() |
add(D,sub(R,pow(R,P))) | 130632 | 148231284 | o2(x,o2(x,o2(x,x))) | true | 73463 | 73463 | -0.9826 | 0.003906 | 0.986 | 0.01576 | 0.1256 | -1 | 0.6189 | 1.619 | 1 | 0.2746 | 0.001976 | 0.001707 | 0.005607 | 0.07325 | 1 | 0.0000109 | 0.007504 | 0.008029 | 0.003651 | 0.06042 | 10.78 | 1.565 | 0.2336 | 0.476 | 1 | 1 | 0.002403 | 0.01011 | 0.02185 | 0.1525 | 0.6413 | 1.386 | json |
| t18_x51_u0_b16 | 18 | 51 | 0 | 16 | ![]() |
add(D,sub(R,mod(R,P))) | 130633 | 148231285 | o2(x,o2(x,o2(x,x))) | true | 73471 | 73471 | -0.125 | 0.4375 | 0.2076 | 0.1189 | 0.3448 | -1 | 0.1454 | 1.145 | 1 | 2.785 | 0.009352 | 0 | 0.03917 | 1 | 1 | 9.386e-13 | 0.01611 | 0.02856 | 0.007817 | 0.08842 | 2.257 | 1.031 | 0.07868 | 0.1355 | 1 | 1 | 0.01311 | 0.05985 | 0.1702 | 0.1103 | 0.5035 | 1.432 | json |
| t18_x51_u0_b17 | 18 | 51 | 0 | 17 | ![]() |
add(D,sub(R,lrg(R,P))) | 130634 | 148231286 | o2(x,o2(x,o2(x,x))) | true | 73479 | 73479 | -0.4036 | 0.2226 | 0.5766 | 0.2784 | 0.5276 | -1 | 1 | 2 | 1 | 4.391 | 0.003329 | 0.002294 | 0.05815 | 0.1842 | 1 | 0.00009526 | 0.0007368 | 0.01698 | 0.002242 | 0.04735 | 0.8143 | 0.2738 | 0.0202 | 0.002647 | 1 | 1 | 0.01076 | 0.119 | 0.2916 | 0.03866 | 0.4274 | 1.048 | json |
| t18_x51_u0_b18 | 18 | 51 | 0 | 18 | ![]() |
add(D,sub(R,eql(R,P))) | 130635 | 148231287 | o2(x,o2(x,o2(x,x))) | true | 73487 | 73487 | 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_x51_u0_b19 | 18 | 51 | 0 | 19 | ![]() |
add(D,sub(R,min(R,P))) | 130636 | 148231288 | o2(x,o2(x,o2(x,x))) | true | 73495 | 73495 | 0.4757 | 0.7454 | 0.5228 | 0.2433 | 0.4933 | -0.1454 | 1 | 1.145 | 1 | 2.734 | 0.001456 | 0.0001292 | 0.02432 | 0.8371 | 1 | 0.0001404 | 0.0003182 | 0.009944 | 0.0009944 | 0.03153 | 1.297 | 0.2657 | 0.006516 | 0.001308 | 1 | 1 | 0.003393 | 0.02709 | 0.07592 | 0.01394 | 0.1113 | 0.312 | json |
| t18_x51_u0_b20 | 18 | 51 | 0 | 20 | ![]() |
add(D,sub(R,dot(R,P))) | 130637 | 148231289 | o2(x,o2(x,o2(x,x))) | true | 73503 | 73503 | 0.09522 | 0.5471 | 0.8481 | 0.7892 | 0.8883 | -1 | 1 | 2 | 1 | 2.946 | 0.02492 | 0.03381 | 0.105 | -0.1513 | 1 | 0.00001096 | 0.0471 | 0.07577 | 0.04768 | 0.2184 | 2.079 | 2.001 | 0.07442 | 0.05969 | 1 | 1 | 0.0755 | 0.586 | 1.371 | 0.09567 | 0.7426 | 1.737 | json |
| t18_x51_u0_b21 | 18 | 51 | 0 | 21 | ![]() |
add(D,sub(R,dst(R,P))) | 130638 | 148231290 | o2(x,o2(x,o2(x,x))) | true | 73511 | 73511 | -0.9941 | 0 | 0.9941 | 0.002965 | 0.05446 | -1 | -0.04519 | 0.9548 | 1 | 0.1644 | 0.0001286 | 0.0000824 | 0.001677 | 0.2188 | 1 | -5.256e-11 | 0.00008756 | 0.0009152 | 0.0002082 | 0.01443 | 8.606 | 0.2973 | 0.07114 | 0.02953 | 1 | 1 | 0.0006775 | 0.005465 | 0.009485 | 0.2285 | 1.843 | 3.198 | json |
| t18_x51_u0_b22 | 18 | 51 | 0 | 22 | ![]() |
add(D,mlt(R,add(R,P))) | 130639 | 148231291 | o2(x,o2(x,o2(x,x))) | true | 73519 | 73519 | 0.06062 | 0.5441 | 0.7439 | 0.6611 | 0.8131 | -1 | 1 | 2 | 1 | 3.764 | 0.01706 | 0.01919 | 0.09545 | -0.05875 | 1 | -0.00008166 | 0.02002 | 0.05077 | 0.02714 | 0.1648 | 1.726 | 1.49 | 0.05483 | 0.03029 | 1 | 1 | 0.0513 | 0.4465 | 1.005 | 0.07761 | 0.6755 | 1.52 | json |
| t18_x51_u0_b23 | 18 | 51 | 0 | 23 | ![]() |
add(D,mlt(R,sub(R,P))) | 130640 | 148231292 | o2(x,o2(x,o2(x,x))) | true | 73527 | 73527 | 0.1854 | 0.6137 | 0.7358 | 0.6231 | 0.7893 | -1 | 1 | 2 | 1 | 3.723 | 0.017 | 0.01924 | 0.09499 | -0.06183 | 1 | 0.00001289 | 0.01991 | 0.051 | 0.02723 | 0.165 | 1.737 | 1.408 | 0.05818 | 0.03196 | 1 | 1 | 0.05135 | 0.4419 | 1.004 | 0.08242 | 0.7092 | 1.612 | json |
| t18_x51_u0_b24 | 18 | 51 | 0 | 24 | ![]() |
add(D,mlt(R,mlt(R,P))) | 130641 | 148231293 | o2(x,o2(x,o2(x,x))) | true | 73535 | 73535 | 0.0004601 | 0.5051 | 0.6754 | 0.5836 | 0.764 | -1 | 1 | 2 | 1 | 4.035 | 0.002652 | 0.00243 | 0.0425 | 0.04361 | 1 | 0.00006986 | 0.001821 | 0.01835 | 0.003275 | 0.05723 | 1.347 | 0.4418 | 0.008707 | 0.003121 | 1 | 1 | 0.008241 | 0.07852 | 0.2332 | 0.01412 | 0.1345 | 0.3995 | json |
| t18_x51_u0_b25 | 18 | 51 | 0 | 25 | ![]() |
add(D,mlt(R,div(R,P))) | 130642 | 148231294 | o2(x,o2(x,o2(x,x))) | true | 73543 | 73543 | -0.1269 | 0.4346 | 0.2515 | 0.1433 | 0.3786 | -1 | 0.9923 | 1.992 | 1 | 3.704 | 0.01174 | 0.00009719 | 0.04279 | 0.9836 | 1 | 0.000005641 | 0.02007 | 0.02949 | 0.01001 | 0.1 | 2.337 | 1.921 | 0.08261 | 0.14 | 1 | 1 | 0.01623 | 0.07677 | 0.1952 | 0.1133 | 0.5357 | 1.362 | json |
| t18_x51_u0_b26 | 18 | 51 | 0 | 26 | ![]() |
add(D,mlt(R,pow(R,P))) | 130643 | 148231295 | o2(x,o2(x,o2(x,x))) | true | 73551 | 73551 | -0.8853 | 0.05917 | 0.9769 | 0.1863 | 0.4317 | -1 | 1 | 2 | 1 | 0.634 | 0.01886 | 0.01724 | 0.02304 | 0.04488 | 1 | 0.0000117 | 0.07482 | 0.04062 | 0.03555 | 0.1886 | 8.182 | 2.828 | 0.1938 | 0.4016 | 1 | 1 | 0.03447 | 0.1485 | 0.4107 | 0.185 | 0.7972 | 2.204 | json |
| t18_x51_u0_b27 | 18 | 51 | 0 | 27 | ![]() |
add(D,mlt(R,mod(R,P))) | 130644 | 148231296 | o2(x,o2(x,o2(x,x))) | true | 73559 | 73559 | 0.1768 | 0.7984 | 0.4349 | 0.2586 | 0.5085 | -1 | 1 | 2 | 1 | 4.064 | 0.01748 | 0.0007107 | 0.05382 | 0.9219 | 1 | -0.000001725 | 0.03115 | 0.03502 | 0.01529 | 0.1237 | 2.298 | 1.949 | 0.07035 | 0.1205 | 1 | 1 | 0.02295 | 0.1197 | 0.3844 | 0.08874 | 0.4629 | 1.486 | json |
| t18_x51_u0_b28 | 18 | 51 | 0 | 28 | ![]() |
add(D,mlt(R,lrg(R,P))) | 130645 | 148231297 | o2(x,o2(x,o2(x,x))) | true | 73567 | 73567 | 0.03489 | 0.524 | 0.2509 | 0.1224 | 0.3499 | -1 | 1 | 2 | 1 | 4.287 | 0.002916 | 0.001638 | 0.05535 | 0.2808 | 1 | 0.00003102 | 0.0004356 | 0.01694 | 0.001491 | 0.03862 | 0.6977 | 0.2845 | 0.0372 | 0.003559 | 1 | 1 | 0.008851 | 0.09399 | 0.1892 | 0.07231 | 0.7678 | 1.546 | json |
| t18_x51_u0_b29 | 18 | 51 | 0 | 29 | ![]() |
add(D,mlt(R,eql(R,P))) | 130646 | 148231298 | o2(x,o2(x,o2(x,x))) | true | 73575 | 73575 | 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_x51_u0_b30 | 18 | 51 | 0 | 30 | ![]() |
add(D,mlt(R,min(R,P))) | 130647 | 148231299 | o2(x,o2(x,o2(x,x))) | true | 73583 | 73583 | 0.1394 | 0.6968 | 0.5417 | 0.3993 | 0.6319 | -1 | 1 | 2 | 1 | 4.363 | 0.00932 | 0.0106 | 0.07182 | -0.06443 | 1 | 0.0001161 | 0.01038 | 0.03268 | 0.01477 | 0.1215 | 1.692 | 1.303 | 0.0499 | 0.026 | 1 | 1 | 0.02995 | 0.2555 | 0.5492 | 0.07502 | 0.6398 | 1.376 | json |
| t18_x51_u0_b31 | 18 | 51 | 0 | 31 | ![]() |
add(D,mlt(R,dot(R,P))) | 130648 | 148231300 | o2(x,o2(x,o2(x,x))) | true | 73591 | 73591 | 0.04221 | 0.513 | 0.7406 | 0.6661 | 0.8161 | -1 | 1 | 2 | 1 | 3.642 | 0.007848 | 0.006633 | 0.06193 | 0.08388 | 1 | -0.000009658 | 0.006157 | 0.03043 | 0.01065 | 0.1032 | 1.666 | 1.166 | 0.02174 | 0.009244 | 1 | 1 | 0.02066 | 0.1996 | 0.5062 | 0.03102 | 0.2996 | 0.76 | json |
| t18_x51_u0_b32 | 18 | 51 | 0 | 32 | ![]() |
add(D,mlt(R,dst(R,P))) | 130649 | 148231301 | o2(x,o2(x,o2(x,x))) | true | 73599 | 73599 | -0.0103 | 0.4958 | 0.8637 | 0.8191 | 0.905 | -1 | 1 | 2 | 1 | 2.798 | 0.0267 | 0.03048 | 0.1033 | -0.06607 | 1 | 0.00007223 | 0.04306 | 0.07329 | 0.04649 | 0.2156 | 2.087 | 1.931 | 0.0698 | 0.05256 | 1 | 1 | 0.0791 | 0.6154 | 1.393 | 0.09657 | 0.7514 | 1.701 | json |
| t18_x51_u0_b33 | 18 | 51 | 0 | 33 | ![]() |
add(D,div(R,add(R,P))) | 130650 | 148231302 | o2(x,o2(x,o2(x,x))) | true | 73607 | 73607 | -0.01486 | 0.4687 | 0.2301 | 0.1214 | 0.3484 | -1 | 1 | 2 | 1 | 4.073 | 0.004305 | 0.001461 | 0.05185 | 0.4931 | 1 | 0.00004334 | 0.001542 | 0.01936 | 0.003078 | 0.05548 | 1.07 | 0.7985 | 0.0475 | 0.0127 | 1 | 1 | 0.01119 | 0.1079 | 0.2344 | 0.09214 | 0.8892 | 1.931 | json |
| t18_x51_u0_b34 | 18 | 51 | 0 | 34 | ![]() |
add(D,div(R,sub(R,P))) | 130651 | 148231303 | o2(x,o2(x,o2(x,x))) | true | 73615 | 73615 | -0.02706 | 0.4851 | 0.2414 | 0.1338 | 0.3658 | -1 | 1 | 2 | 1 | 4.076 | 0.005267 | 0.002063 | 0.05283 | 0.4371 | 1 | 0.0000563 | 0.003828 | 0.021 | 0.004539 | 0.06737 | 1.275 | 1.889 | 0.05478 | 0.02861 | 1 | 1 | 0.0132 | 0.1237 | 0.2368 | 0.09867 | 0.9247 | 1.77 | json |
| t18_x51_u0_b35 | 18 | 51 | 0 | 35 | ![]() |
add(D,div(R,mlt(R,P))) | 130652 | 148231304 | o2(x,o2(x,o2(x,x))) | true | 73623 | 73623 | -0.125 | 0.4375 | 0.3917 | 0.2433 | 0.4932 | -1 | 1 | 2 | 1 | 4.346 | 0.01777 | 1.929e-17 | 0.04264 | 1 | 1 | 2.614e-9 | 0.03206 | 0.02974 | 0.01595 | 0.1263 | 2.963 | 2 | 0.07305 | 0.1318 | 1 | 1 | 0.02482 | 0.1101 | 0.2567 | 0.102 | 0.4525 | 1.055 | json |
| t18_x51_u0_b36 | 18 | 51 | 0 | 36 | ![]() |
add(D,div(R,div(R,P))) | 130653 | 148231305 | o2(x,o2(x,o2(x,x))) | true | 73631 | 73631 | 0 | 0.5 | 0.9375 | 0.9165 | 0.9574 | -1 | 1 | 2 | 1 | 1.979 | 0.0004883 | 1.105e-17 | 0.007937 | 1 | 1 | -3.51e-10 | 0.0000155 | 0.000496 | 0.0004253 | 0.02062 | 2.598 | 0.0625 | 0.0005327 | 0.00001691 | 1 | 1 | 0.001285 | 0.01928 | 0.2245 | 0.001402 | 0.02104 | 0.2449 | json |
| t18_x51_u0_b37 | 18 | 51 | 0 | 37 | ![]() |
add(D,div(R,pow(R,P))) | 130654 | 148231306 | o2(x,o2(x,o2(x,x))) | true | 73639 | 73639 | -0.9073 | 0.05421 | 0.9561 | 0.1213 | 0.3483 | -1 | 1 | 2 | 1 | 0.7217 | 0.01235 | 0.0116 | 0.02036 | 0.03132 | 1 | -0.00001637 | 0.04956 | 0.03298 | 0.02353 | 0.1534 | 7.537 | 2.784 | 0.1975 | 0.4085 | 1 | 1 | 0.02146 | 0.0941 | 0.2601 | 0.1769 | 0.7756 | 2.144 | json |
| t18_x51_u0_b38 | 18 | 51 | 0 | 38 | ![]() |
add(D,div(R,mod(R,P))) | 130655 | 148231307 | o2(x,o2(x,o2(x,x))) | true | 73647 | 73647 | 0.7088 | 0.875 | 0.9588 | 0.4198 | 0.6479 | -1 | 1 | 2 | 1 | 1.707 | 0.03188 | 2.187e-17 | 0.03145 | 1 | 1 | 0.0001582 | 0.06366 | 0.04304 | 0.03088 | 0.1757 | 5.589 | 2 | 0.07594 | 0.1516 | 1 | 1 | 0.04195 | 0.165 | 0.6428 | 0.09994 | 0.3932 | 1.531 | json |
| t18_x51_u0_b39 | 18 | 51 | 0 | 39 | ![]() |
add(D,div(R,lrg(R,P))) | 130656 | 148231308 | o2(x,o2(x,o2(x,x))) | true | 73655 | 73655 | -0.5244 | 0.2449 | 0.7318 | 0.38 | 0.6164 | -1 | 1 | 2 | 1 | 3.157 | 0.008387 | 0.004185 | 0.03983 | 0.3343 | 1 | -0.0001166 | 0.01998 | 0.02216 | 0.01098 | 0.1048 | 2.631 | 2.543 | 0.03308 | 0.05257 | 1 | 1 | 0.0184 | 0.1168 | 0.3037 | 0.04842 | 0.3073 | 0.7992 | json |
| t18_x51_u0_b40 | 18 | 51 | 0 | 40 | ![]() |
add(D,div(R,eql(R,P))) | 130657 | 148231309 | o2(x,o2(x,o2(x,x))) | true | 73663 | 73663 | -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_x51_u0_b41 | 18 | 51 | 0 | 41 | ![]() |
add(D,div(R,min(R,P))) | 130658 | 148231310 | o2(x,o2(x,o2(x,x))) | true | 73671 | 73671 | 0.3918 | 0.7163 | 0.5982 | 0.3734 | 0.6111 | -1 | 1 | 2 | 1 | 3.655 | 0.01656 | 0.007679 | 0.04118 | 0.3664 | 1 | 0.000003272 | 0.04728 | 0.0378 | 0.02255 | 0.1502 | 3.646 | 2.828 | 0.06491 | 0.1266 | 1 | 1 | 0.03878 | 0.1684 | 0.4387 | 0.1039 | 0.4511 | 1.175 | json |
| t18_x51_u0_b42 | 18 | 51 | 0 | 42 | ![]() |
add(D,div(R,dot(R,P))) | 130659 | 148231311 | o2(x,o2(x,o2(x,x))) | true | 73679 | 73679 | -0.02492 | 0.485 | 0.3187 | 0.1964 | 0.4432 | -1 | 1 | 2 | 1 | 4.423 | 0.008254 | 0.004923 | 0.05903 | 0.2527 | 1 | -0.0000133 | 0.015 | 0.02904 | 0.009692 | 0.09845 | 1.668 | 2.828 | 0.06709 | 0.07639 | 1 | 1 | 0.02745 | 0.1864 | 0.4214 | 0.1398 | 0.9492 | 2.146 | json |
| t18_x51_u0_b43 | 18 | 51 | 0 | 43 | ![]() |
add(D,div(R,dst(R,P))) | 130660 | 148231312 | o2(x,o2(x,o2(x,x))) | true | 73687 | 73687 | 0.01141 | 0.5165 | 0.1226 | 0.02521 | 0.1588 | -0.7624 | 0.9122 | 1.675 | 1 | 3.341 | 0.001879 | 0.0002096 | 0.04028 | 0.7993 | 1 | 0.000001869 | 0.000285 | 0.01483 | 0.0004663 | 0.02159 | 0.5361 | 0.1731 | 0.08285 | 0.01131 | 1 | 1 | 0.004588 | 0.04044 | 0.03802 | 0.182 | 1.604 | 1.508 | json |
| t18_x51_u0_b44 | 18 | 51 | 0 | 44 | ![]() |
add(D,pow(R,add(R,P))) | 130661 | 148231313 | o2(x,o2(x,o2(x,x))) | true | 73695 | 73695 | -0.9192 | 0.04259 | 0.9949 | 0.1482 | 0.3849 | -1 | 1 | 2 | 1 | 0.3267 | 0.01581 | 0.01433 | 0.01595 | 0.049 | 1 | 0.00001172 | 0.06303 | 0.03149 | 0.02988 | 0.1729 | 10.84 | 2.828 | 0.2034 | 0.4254 | 1 | 1 | 0.02501 | 0.1067 | 0.2607 | 0.1688 | 0.7204 | 1.759 | json |
| t18_x51_u0_b45 | 18 | 51 | 0 | 45 | ![]() |
add(D,pow(R,sub(R,P))) | 130662 | 148231314 | o2(x,o2(x,o2(x,x))) | true | 73703 | 73703 | -0.9398 | 0.03627 | 0.9753 | 0.08616 | 0.2935 | -1 | 1 | 2 | 1 | 0.4332 | 0.008208 | 0.009202 | 0.01301 | -0.05708 | 1 | -0.0000163 | 0.03632 | 0.02368 | 0.01725 | 0.1313 | 10.1 | 2.812 | 0.2021 | 0.4215 | 1 | 1 | 0.01189 | 0.05343 | 0.1381 | 0.138 | 0.6201 | 1.603 | json |
| t18_x51_u0_b46 | 18 | 51 | 0 | 46 | ![]() |
add(D,pow(R,mlt(R,P))) | 130663 | 148231315 | o2(x,o2(x,o2(x,x))) | true | 73711 | 73711 | -0.8578 | 0.07422 | 0.9937 | 0.2549 | 0.5049 | -1 | 1 | 2 | 1 | 0.506 | 0.02318 | 0.02237 | 0.02436 | 0.0178 | 1 | 0.00001174 | 0.09529 | 0.04772 | 0.04494 | 0.212 | 8.704 | 2.828 | 0.1787 | 0.3739 | 1 | 1 | 0.04435 | 0.1848 | 0.6084 | 0.174 | 0.7249 | 2.387 | json |
| t18_x51_u0_b47 | 18 | 51 | 0 | 47 | ![]() |
add(D,pow(R,div(R,P))) | 130664 | 148231316 | o2(x,o2(x,o2(x,x))) | true | 73719 | 73719 | -0.919 | 0.04199 | 0.9952 | 0.1487 | 0.3856 | -1 | 1 | 2 | 1 | 0.3345 | 0.01673 | 0.01435 | 0.01664 | 0.07657 | 1 | 0.00001017 | 0.06523 | 0.03229 | 0.03078 | 0.1755 | 10.54 | 2.828 | 0.209 | 0.4387 | 1 | 1 | 0.02447 | 0.1029 | 0.2604 | 0.1646 | 0.6921 | 1.751 | json |
| t18_x51_u0_b48 | 18 | 51 | 0 | 48 | ![]() |
add(D,pow(R,pow(R,P))) | 130665 | 148231317 | o2(x,o2(x,o2(x,x))) | true | 73727 | 73727 | -0.9397 | 0.03638 | 0.9755 | 0.08609 | 0.2934 | -1 | 1 | 2 | 1 | 0.4363 | 0.008536 | 0.009174 | 0.0136 | -0.036 | 1 | -0.000003599 | 0.03691 | 0.02391 | 0.01753 | 0.1324 | 9.737 | 2.62 | 0.2057 | 0.4287 | 1 | 1 | 0.01259 | 0.0562 | 0.1392 | 0.1463 | 0.6528 | 1.617 | json |
| t18_x51_u0_b49 | 18 | 51 | 0 | 49 | ![]() |
add(D,pow(R,mod(R,P))) | 130666 | 148231318 | o2(x,o2(x,o2(x,x))) | true | 73735 | 73735 | -0.9374 | 0.03516 | 0.9923 | 0.108 | 0.3286 | -1 | 1 | 2 | 1 | 0.3195 | 0.01166 | 0.009763 | 0.01305 | 0.08839 | 1 | -0.000003947 | 0.04477 | 0.02451 | 0.02124 | 0.1457 | 11.17 | 2.366 | 0.1984 | 0.4146 | 1 | 1 | 0.01867 | 0.07695 | 0.1964 | 0.1729 | 0.7127 | 1.819 | json |
| t18_x51_u0_b50 | 18 | 51 | 0 | 50 | ![]() |
add(D,pow(R,lrg(R,P))) | 130667 | 148231319 | o2(x,o2(x,o2(x,x))) | true | 73743 | 73743 | 0.05233 | 0.5507 | 0.9508 | 0.9142 | 0.9562 | -1 | 1 | 2 | 1 | 2.112 | 0.01814 | 0.01051 | 0.02874 | 0.2662 | 1 | 0.000145 | 0.0581 | 0.041 | 0.02783 | 0.1668 | 5.805 | 2.807 | 0.03133 | 0.06355 | 1 | 1 | 0.03219 | 0.1394 | 0.4947 | 0.03521 | 0.1524 | 0.5411 | json |
| t18_x51_u0_b51 | 18 | 51 | 0 | 51 | ![]() |
add(D,pow(R,eql(R,P))) | 130668 | 148231320 | o2(x,o2(x,o2(x,x))) | true | 73751 | 73751 | 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_x51_u0_b52 | 18 | 51 | 0 | 52 | ![]() |
add(D,pow(R,min(R,P))) | 130669 | 148231321 | o2(x,o2(x,o2(x,x))) | true | 73759 | 73759 | -0.9155 | 0.04297 | 0.9985 | 0.1593 | 0.3991 | -1 | 1 | 2 | 1 | 0.2992 | 0.01644 | 0.01571 | 0.01647 | 0.02265 | 1 | 0.00001105 | 0.06719 | 0.03279 | 0.03186 | 0.1785 | 10.84 | 2.828 | 0.2018 | 0.4218 | 1 | 1 | 0.02528 | 0.1085 | 0.2709 | 0.1587 | 0.6811 | 1.701 | json |
| t18_x51_u0_b53 | 18 | 51 | 0 | 53 | ![]() |
add(D,pow(R,dot(R,P))) | 130670 | 148231322 | o2(x,o2(x,o2(x,x))) | true | 73767 | 73767 | -0.9188 | 0.04297 | 0.9953 | 0.1495 | 0.3867 | -1 | 1 | 2 | 1 | 0.3185 | 0.01585 | 0.01424 | 0.01618 | 0.05345 | 1 | 0.00000998 | 0.06277 | 0.03163 | 0.02982 | 0.1727 | 10.67 | 2.828 | 0.2012 | 0.4197 | 1 | 1 | 0.02447 | 0.1048 | 0.2608 | 0.1636 | 0.7009 | 1.744 | json |
| t18_x51_u0_b54 | 18 | 51 | 0 | 54 | ![]() |
add(D,pow(R,dst(R,P))) | 130671 | 148231323 | o2(x,o2(x,o2(x,x))) | true | 73775 | 73775 | -0.9497 | 0.03378 | 0.9658 | 0.05804 | 0.2409 | -1 | 0.7396 | 1.74 | 1 | 0.4097 | 0.00605 | 0.005732 | 0.01129 | 0.02697 | 1 | -0.000005236 | 0.02452 | 0.01993 | 0.01165 | 0.1079 | 9.565 | 1.97 | 0.203 | 0.4224 | 1 | 1 | 0.009749 | 0.0424 | 0.1046 | 0.168 | 0.7305 | 1.802 | json |
| t18_x51_u0_b55 | 18 | 51 | 0 | 55 | ![]() |
add(D,mod(R,add(R,P))) | 130672 | 148231324 | o2(x,o2(x,o2(x,x))) | true | 73783 | 73783 | -0.002434 | 0.4869 | 0.3815 | 0.214 | 0.4626 | -1 | 1 | 2 | 1 | 4.864 | 0.004191 | 0.002889 | 0.07259 | 0.1839 | 1 | 0.00004423 | 0.0005916 | 0.01878 | 0.001811 | 0.04255 | 0.5862 | 0.2845 | 0.03308 | 0.002764 | 1 | 1 | 0.0142 | 0.1632 | 0.3488 | 0.06635 | 0.7623 | 1.63 | json |
| t18_x51_u0_b56 | 18 | 51 | 0 | 56 | ![]() |
add(D,mod(R,sub(R,P))) | 130673 | 148231325 | o2(x,o2(x,o2(x,x))) | true | 73791 | 73791 | -0.004922 | 0.484 | 0.3754 | 0.2096 | 0.4578 | -1 | 1 | 2 | 1 | 4.853 | 0.004179 | 0.002845 | 0.07213 | 0.1898 | 1 | 0.00004332 | 0.0005889 | 0.01877 | 0.001822 | 0.04268 | 0.5918 | 0.2845 | 0.03351 | 0.00281 | 1 | 1 | 0.01392 | 0.1596 | 0.3473 | 0.06641 | 0.7616 | 1.657 | json |
| t18_x51_u0_b57 | 18 | 51 | 0 | 57 | ![]() |
add(D,mod(R,mlt(R,P))) | 130674 | 148231326 | o2(x,o2(x,o2(x,x))) | true | 73799 | 73799 | -0.1288 | 0.4242 | 0.4623 | 0.2994 | 0.5472 | -1 | 1 | 2 | 1 | 4.736 | 0.01324 | 0.002616 | 0.07156 | 0.6701 | 1 | 0.00005757 | 0.01991 | 0.03324 | 0.01074 | 0.1036 | 1.448 | 1.867 | 0.05297 | 0.0665 | 1 | 1 | 0.02389 | 0.1806 | 0.4774 | 0.07978 | 0.6032 | 1.595 | json |
| t18_x51_u0_b58 | 18 | 51 | 0 | 58 | ![]() |
add(D,mod(R,div(R,P))) | 130675 | 148231327 | o2(x,o2(x,o2(x,x))) | true | 73807 | 73807 | -0.1241 | 0.4343 | 0.2192 | 0.1252 | 0.3539 | -1 | 0.8668 | 1.867 | 1 | 3.131 | 0.01112 | 0.00008775 | 0.04104 | 0.9843 | 1 | -0.000007554 | 0.01961 | 0.02948 | 0.009527 | 0.09761 | 2.378 | 1.867 | 0.08951 | 0.1566 | 1 | 1 | 0.01513 | 0.07 | 0.1958 | 0.1208 | 0.5589 | 1.564 | json |
| t18_x51_u0_b59 | 18 | 51 | 0 | 59 | ![]() |
add(D,mod(R,pow(R,P))) | 130676 | 148231328 | o2(x,o2(x,o2(x,x))) | true | 73815 | 73815 | -0.9074 | 0.05206 | 0.9584 | 0.1219 | 0.3491 | -1 | 1 | 2 | 1 | 0.7278 | 0.01124 | 0.0117 | 0.01978 | -0.0202 | 1 | -0.000002154 | 0.04731 | 0.03268 | 0.02253 | 0.1501 | 7.59 | 2.019 | 0.1882 | 0.3882 | 1 | 1 | 0.02213 | 0.09673 | 0.2672 | 0.1816 | 0.7936 | 2.192 | json |
| t18_x51_u0_b60 | 18 | 51 | 0 | 60 | ![]() |
add(D,mod(R,mod(R,P))) | 130677 | 148231329 | o2(x,o2(x,o2(x,x))) | true | 73823 | 73823 | -0.1352 | 0.4244 | 0.2535 | 0.144 | 0.3794 | -1 | 1 | 2 | 1 | 3.609 | 0.01141 | 0.0004025 | 0.04591 | 0.9319 | 1 | -0.000002492 | 0.01964 | 0.02985 | 0.009709 | 0.09853 | 2.146 | 1.867 | 0.08206 | 0.1364 | 1 | 1 | 0.01649 | 0.088 | 0.2423 | 0.1146 | 0.6112 | 1.683 | json |
| t18_x51_u0_b61 | 18 | 51 | 0 | 61 | ![]() |
add(D,mod(R,lrg(R,P))) | 130678 | 148231330 | o2(x,o2(x,o2(x,x))) | true | 73831 | 73831 | -0.5244 | 0.2449 | 0.7318 | 0.38 | 0.6164 | -1 | 1 | 2 | 1 | 3.157 | 0.008387 | 0.004185 | 0.03983 | 0.3343 | 1 | -0.0001166 | 0.01998 | 0.02216 | 0.01098 | 0.1048 | 2.631 | 2.543 | 0.03308 | 0.05257 | 1 | 1 | 0.0184 | 0.1168 | 0.3037 | 0.04842 | 0.3073 | 0.7992 | json |
| t18_x51_u0_b62 | 18 | 51 | 0 | 62 | ![]() |
add(D,mod(R,eql(R,P))) | 130679 | 148231331 | o2(x,o2(x,o2(x,x))) | true | 73839 | 73839 | -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_x51_u0_b63 | 18 | 51 | 0 | 63 | ![]() |
add(D,mod(R,min(R,P))) | 130680 | 148231332 | o2(x,o2(x,o2(x,x))) | true | 73847 | 73847 | -0.06277 | 0.4695 | 0.3331 | 0.2028 | 0.4503 | -1 | 1 | 2 | 1 | 4.488 | 0.009446 | 0.002818 | 0.06095 | 0.5404 | 1 | 0.00003144 | 0.01593 | 0.0286 | 0.00855 | 0.09246 | 1.517 | 2.098 | 0.06047 | 0.07854 | 1 | 1 | 0.01949 | 0.1401 | 0.3491 | 0.09608 | 0.6908 | 1.721 | json |
| t18_x51_u0_b64 | 18 | 51 | 0 | 64 | ![]() |
add(D,mod(R,dot(R,P))) | 130681 | 148231333 | o2(x,o2(x,o2(x,x))) | true | 73855 | 73855 | -0.004205 | 0.4937 | 0.3919 | 0.229 | 0.4786 | -1 | 1 | 2 | 1 | 4.876 | 0.006024 | 0.004619 | 0.07464 | 0.132 | 1 | 0.00002919 | 0.008036 | 0.0238 | 0.005073 | 0.07122 | 0.9543 | 2.098 | 0.04647 | 0.03509 | 1 | 1 | 0.01954 | 0.1749 | 0.4068 | 0.08531 | 0.7639 | 1.776 | json |
| t18_x51_u0_b65 | 18 | 51 | 0 | 65 | ![]() |
add(D,mod(R,dst(R,P))) | 130682 | 148231334 | o2(x,o2(x,o2(x,x))) | true | 73863 | 73863 | 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_x51_u0_b66 | 18 | 51 | 0 | 66 | ![]() |
add(D,lrg(R,add(R,P))) | 130683 | 148231335 | o2(x,o2(x,o2(x,x))) | true | 73871 | 73871 | 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_x51_u0_b67 | 18 | 51 | 0 | 67 | ![]() |
add(D,lrg(R,sub(R,P))) | 130684 | 148231336 | o2(x,o2(x,o2(x,x))) | true | 73879 | 73879 | 0.4481 | 0.75 | 0.4953 | 0.224 | 0.4733 | -0.1454 | 1 | 1.145 | 1 | 3.24 | 0.001361 | 0 | 0.02967 | 1 | 1 | -4.731e-10 | 0.0002634 | 0.01318 | 0.000481 | 0.02193 | 0.7392 | 0.0625 | 0.006076 | 0.001176 | 1 | 1 | 0.002728 | 0.02228 | 0.06813 | 0.01218 | 0.09944 | 0.3041 | json |
| t18_x51_u0_b68 | 18 | 51 | 0 | 68 | ![]() |
add(D,lrg(R,mlt(R,P))) | 130685 | 148231337 | o2(x,o2(x,o2(x,x))) | true | 73887 | 73887 | 0.4869 | 0.8489 | 0.5096 | 0.1568 | 0.3959 | -0.1454 | 1 | 1.145 | 1 | 4.004 | 0.003367 | 0.002208 | 0.06159 | 0.2078 | 1 | 0.00006582 | 0.0006492 | 0.01738 | 0.001782 | 0.04222 | 0.6854 | 0.1713 | 0.03557 | 0.004142 | 1 | 1 | 0.01079 | 0.12 | 0.2801 | 0.06883 | 0.7653 | 1.787 | json |
| t18_x51_u0_b69 | 18 | 51 | 0 | 69 | ![]() |
add(D,lrg(R,div(R,P))) | 130686 | 148231338 | o2(x,o2(x,o2(x,x))) | true | 73895 | 73895 | 0.4419 | 0.8262 | 0.4687 | 0.1561 | 0.3951 | -0.1454 | 1 | 1.145 | 1 | 4.047 | 0.003381 | 0.002211 | 0.06216 | 0.2093 | 1 | 0.00005567 | 0.0006405 | 0.01747 | 0.001729 | 0.04158 | 0.669 | 0.1713 | 0.03581 | 0.004102 | 1 | 1 | 0.0107 | 0.1183 | 0.286 | 0.06856 | 0.758 | 1.832 | json |
| t18_x51_u0_b70 | 18 | 51 | 0 | 70 | ![]() |
add(D,lrg(R,pow(R,P))) | 130687 | 148231339 | o2(x,o2(x,o2(x,x))) | true | 73903 | 73903 | 0.6348 | 0.8926 | 0.6517 | 0.1606 | 0.4008 | -0.1454 | 1 | 1.145 | 1 | 3.471 | 0.002207 | 0.001269 | 0.04388 | 0.2697 | 1 | 0.00002167 | 0.0004709 | 0.01521 | 0.001551 | 0.03938 | 0.8976 | 0.1713 | 0.02164 | 0.002932 | 1 | 1 | 0.00695 | 0.07417 | 0.197 | 0.04327 | 0.4618 | 1.227 | json |
| t18_x51_u0_b71 | 18 | 51 | 0 | 71 | ![]() |
add(D,lrg(R,mod(R,P))) | 130688 | 148231340 | o2(x,o2(x,o2(x,x))) | true | 73911 | 73911 | 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_x51_u0_b72 | 18 | 51 | 0 | 72 | ![]() |
add(D,lrg(R,lrg(R,P))) | 130689 | 148231341 | o2(x,o2(x,o2(x,x))) | true | 73919 | 73919 | 0.2114 | 0.6705 | 0.2707 | 0.121 | 0.3478 | -0.1454 | 1 | 1.145 | 1 | 3.772 | 0.002526 | 0.001181 | 0.05046 | 0.3627 | 1 | -0.00002799 | 0.0004429 | 0.01583 | 0.001162 | 0.03409 | 0.6756 | 0.1713 | 0.03063 | 0.00366 | 1 | 1 | 0.007152 | 0.07478 | 0.1394 | 0.05911 | 0.618 | 1.152 | json |
| t18_x51_u0_b73 | 18 | 51 | 0 | 73 | ![]() |
add(D,lrg(R,eql(R,P))) | 130690 | 148231342 | o2(x,o2(x,o2(x,x))) | true | 73927 | 73927 | 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_x51_u0_b74 | 18 | 51 | 0 | 74 | ![]() |
add(D,lrg(R,min(R,P))) | 130691 | 148231343 | o2(x,o2(x,o2(x,x))) | true | 73935 | 73935 | 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_x51_u0_b75 | 18 | 51 | 0 | 75 | ![]() |
add(D,lrg(R,dot(R,P))) | 130692 | 148231344 | o2(x,o2(x,o2(x,x))) | true | 73943 | 73943 | 0.5246 | 0.8706 | 0.5431 | 0.1525 | 0.3905 | -0.1454 | 1 | 1.145 | 1 | 3.956 | 0.003347 | 0.002282 | 0.06158 | 0.1892 | 1 | 0.00008047 | 0.000658 | 0.01742 | 0.001838 | 0.04287 | 0.6962 | 0.1713 | 0.03692 | 0.004316 | 1 | 1 | 0.01102 | 0.1229 | 0.2965 | 0.07228 | 0.8059 | 1.945 | json |
| t18_x51_u0_b76 | 18 | 51 | 0 | 76 | ![]() |
add(D,lrg(R,dst(R,P))) | 130693 | 148231345 | o2(x,o2(x,o2(x,x))) | true | 73951 | 73951 | 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_x51_u0_b77 | 18 | 51 | 0 | 77 | ![]() |
add(D,eql(R,add(R,P))) | 130694 | 148231346 | o2(x,o2(x,o2(x,x))) | true | 73959 | 73959 | 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_x51_u0_b78 | 18 | 51 | 0 | 78 | ![]() |
add(D,eql(R,sub(R,P))) | 130695 | 148231347 | o2(x,o2(x,o2(x,x))) | true | 73967 | 73967 | 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_x51_u0_b79 | 18 | 51 | 0 | 79 | ![]() |
add(D,eql(R,mlt(R,P))) | 130696 | 148231348 | o2(x,o2(x,o2(x,x))) | true | 73975 | 73975 | 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_x51_u0_b80 | 18 | 51 | 0 | 80 | ![]() |
add(D,eql(R,div(R,P))) | 130697 | 148231349 | o2(x,o2(x,o2(x,x))) | true | 73983 | 73983 | 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_x51_u0_b81 | 18 | 51 | 0 | 81 | ![]() |
add(D,eql(R,pow(R,P))) | 130698 | 148231350 | o2(x,o2(x,o2(x,x))) | true | 73991 | 73991 | 0.03861 | 0.5327 | 0.1256 | 0.03568 | 0.1889 | -0.1454 | 1 | 1.145 | 1 | 2.966 | 0.002013 | 0.0001737 | 0.03985 | 0.8411 | 1 | -0.00001141 | 0.0003026 | 0.01485 | 0.0005997 | 0.02449 | 0.6146 | 0.1713 | 0.06128 | 0.00848 | 1 | 1 | 0.00452 | 0.03944 | 0.0414 | 0.1267 | 1.105 | 1.16 | json |
| t18_x51_u0_b82 | 18 | 51 | 0 | 82 | ![]() |
add(D,eql(R,mod(R,P))) | 130699 | 148231351 | o2(x,o2(x,o2(x,x))) | true | 73999 | 73999 | 0.8952 | 0.9805 | 0.8974 | 0.04398 | 0.2097 | -0.09672 | 1 | 1.097 | 1 | 1.984 | 0.001494 | 0 | 0.02452 | 1 | 1 | 0.0001582 | 0.000355 | 0.0134 | 0.0008929 | 0.02988 | 1.219 | 0.1713 | 0.03397 | 0.008072 | 1 | 1 | 0.003329 | 0.03019 | 0.05883 | 0.07569 | 0.6865 | 1.338 | json |



































































































