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_x47_u0_b187 | 18 | 47 | 0 | 187 | ![]() |
sub(D,lrg(R,add(P,R))) | 130000 | 148069852 | o2(x,o2(x,o2(x,x))) | true | 68407 | 68407 | -0.4481 | 0.25 | 0.4953 | 0.224 | 0.4733 | -1 | 0.1454 | 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.002745 | 0.02296 | 0.06813 | 0.01225 | 0.1025 | 0.3041 | json |
| t18_x47_u0_b188 | 18 | 47 | 0 | 188 | ![]() |
sub(D,lrg(R,sub(P,R))) | 130001 | 148069853 | o2(x,o2(x,o2(x,x))) | true | 68415 | 68415 | -0.4906 | 0.2141 | 0.5302 | 0.2146 | 0.4632 | -1 | 0.1454 | 1.145 | 1 | 3.368 | 0.001469 | 0.000381 | 0.03302 | 0.5881 | 1 | 0.00002852 | 0.0003125 | 0.0139 | 0.0007604 | 0.02758 | 0.8351 | 0.1713 | 0.008623 | 0.001457 | 1 | 1 | 0.003889 | 0.03751 | 0.09023 | 0.01813 | 0.1748 | 0.4205 | json |
| t18_x47_u0_b189 | 18 | 47 | 0 | 189 | ![]() |
sub(D,lrg(R,mlt(P,R))) | 130002 | 148069854 | o2(x,o2(x,o2(x,x))) | true | 68423 | 68423 | -0.487 | 0.1487 | 0.5094 | 0.1558 | 0.3947 | -1 | 0.1454 | 1.145 | 1 | 4.009 | 0.00332 | 0.002208 | 0.06138 | 0.2011 | 1 | -0.00004743 | 0.0006407 | 0.01723 | 0.001761 | 0.04196 | 0.6836 | 0.1713 | 0.03548 | 0.004112 | 1 | 1 | 0.01077 | 0.1199 | 0.28 | 0.06909 | 0.7696 | 1.797 | json |
| t18_x47_u0_b190 | 18 | 47 | 0 | 190 | ![]() |
sub(D,lrg(R,div(P,R))) | 130003 | 148069855 | o2(x,o2(x,o2(x,x))) | true | 68431 | 68431 | -0.5099 | 0.134 | 0.5298 | 0.1525 | 0.3905 | -1 | 0.1454 | 1.145 | 1 | 3.994 | 0.003227 | 0.002373 | 0.06182 | 0.1526 | 1 | -0.00005468 | 0.0006557 | 0.01745 | 0.001779 | 0.04218 | 0.6822 | 0.1713 | 0.03673 | 0.004301 | 1 | 1 | 0.01087 | 0.1213 | 0.2868 | 0.0713 | 0.7953 | 1.881 | json |
| t18_x47_u0_b191 | 18 | 47 | 0 | 191 | ![]() |
sub(D,lrg(R,pow(P,R))) | 130004 | 148069856 | o2(x,o2(x,o2(x,x))) | true | 68439 | 68439 | -0.4745 | 0.2335 | 0.5184 | 0.223 | 0.4723 | -1 | 0.1454 | 1.145 | 1 | 3.237 | 0.001313 | 0.000102 | 0.02979 | 0.8559 | 1 | 0.000005705 | 0.0002737 | 0.01341 | 0.0005275 | 0.02297 | 0.7709 | 0.1324 | 0.006343 | 0.001227 | 1 | 1 | 0.002902 | 0.02521 | 0.08169 | 0.01301 | 0.1131 | 0.3663 | json |
| t18_x47_u0_b192 | 18 | 47 | 0 | 192 | ![]() |
sub(D,lrg(R,mod(P,R))) | 130005 | 148069857 | o2(x,o2(x,o2(x,x))) | true | 68447 | 68447 | -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_x47_u0_b193 | 18 | 47 | 0 | 193 | ![]() |
sub(D,lrg(R,lrg(P,R))) | 130006 | 148069858 | o2(x,o2(x,o2(x,x))) | true | 68455 | 68455 | -0.2618 | 0.3054 | 0.3167 | 0.1464 | 0.3826 | -1 | 0.1454 | 1.145 | 1 | 3.809 | 0.002405 | 0.001202 | 0.0492 | 0.3337 | 1 | 0.00000295 | 0.0004377 | 0.01553 | 0.001187 | 0.03446 | 0.7003 | 0.1713 | 0.02464 | 0.00299 | 1 | 1 | 0.007111 | 0.0743 | 0.1725 | 0.04857 | 0.5075 | 1.178 | json |
| t18_x47_u0_b194 | 18 | 47 | 0 | 194 | ![]() |
sub(D,lrg(R,eql(P,R))) | 130007 | 148069859 | o2(x,o2(x,o2(x,x))) | true | 68463 | 68463 | -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_x47_u0_b195 | 18 | 47 | 0 | 195 | ![]() |
sub(D,lrg(R,min(P,R))) | 130008 | 148069860 | o2(x,o2(x,o2(x,x))) | true | 68471 | 68471 | -0.4745 | 0.2335 | 0.5184 | 0.223 | 0.4723 | -1 | 0.1454 | 1.145 | 1 | 3.237 | 0.001313 | 0.000102 | 0.02979 | 0.8559 | 1 | 0.000005705 | 0.0002737 | 0.01341 | 0.0005275 | 0.02297 | 0.7709 | 0.1324 | 0.006343 | 0.001227 | 1 | 1 | 0.002902 | 0.02521 | 0.08169 | 0.01301 | 0.1131 | 0.3663 | json |
| t18_x47_u0_b196 | 18 | 47 | 0 | 196 | ![]() |
sub(D,lrg(R,dot(P,R))) | 130009 | 148069861 | o2(x,o2(x,o2(x,x))) | true | 68479 | 68479 | -0.5243 | 0.1286 | 0.543 | 0.1522 | 0.3902 | -1 | 0.1454 | 1.145 | 1 | 3.96 | 0.003348 | 0.002285 | 0.06173 | 0.1888 | 1 | -0.00007449 | 0.0006551 | 0.01716 | 0.001823 | 0.04269 | 0.6916 | 0.1713 | 0.03701 | 0.004304 | 1 | 1 | 0.01099 | 0.1229 | 0.2969 | 0.07218 | 0.8073 | 1.951 | json |
| t18_x47_u0_b197 | 18 | 47 | 0 | 197 | ![]() |
sub(D,lrg(R,dst(P,R))) | 130010 | 148069862 | o2(x,o2(x,o2(x,x))) | true | 68487 | 68487 | 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_x47_u0_b198 | 18 | 47 | 0 | 198 | ![]() |
sub(D,eql(R,add(P,R))) | 130011 | 148069863 | o2(x,o2(x,o2(x,x))) | true | 68495 | 68495 | -0.0614 | 0.457 | 0.1462 | 0.05374 | 0.2318 | -1 | 0.1454 | 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_x47_u0_b199 | 18 | 47 | 0 | 199 | ![]() |
sub(D,eql(R,sub(P,R))) | 130012 | 148069864 | o2(x,o2(x,o2(x,x))) | true | 68503 | 68503 | 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_x47_u0_b200 | 18 | 47 | 0 | 200 | ![]() |
sub(D,eql(R,mlt(P,R))) | 130013 | 148069865 | o2(x,o2(x,o2(x,x))) | true | 68511 | 68511 | -0.0614 | 0.457 | 0.1462 | 0.05374 | 0.2318 | -1 | 0.1454 | 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_x48_u0_b0 | 18 | 48 | 0 | 0 | ![]() |
add(D,add(R,add(D,P))) | 130014 | 148110066 | o2(x,o2(x,o2(x,x))) | true | 68519 | 68519 | 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_x48_u0_b1 | 18 | 48 | 0 | 1 | ![]() |
add(D,add(R,sub(D,P))) | 130015 | 148110067 | o2(x,o2(x,o2(x,x))) | true | 68527 | 68527 | 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_x48_u0_b2 | 18 | 48 | 0 | 2 | ![]() |
add(D,add(R,mlt(D,P))) | 130016 | 148110068 | o2(x,o2(x,o2(x,x))) | true | 68535 | 68535 | -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_x48_u0_b3 | 18 | 48 | 0 | 3 | ![]() |
add(D,add(R,div(D,P))) | 130017 | 148110069 | o2(x,o2(x,o2(x,x))) | true | 68543 | 68543 | -0.1045 | 0.4449 | 0.4764 | 0.3184 | 0.5643 | -1 | 1 | 2 | 1 | 4.767 | 0.01822 | 0.002784 | 0.07561 | 0.7349 | 1 | 0.00007783 | 0.02799 | 0.03654 | 0.01529 | 0.1237 | 1.635 | 2 | 0.06597 | 0.08791 | 1 | 1 | 0.03071 | 0.2204 | 0.5224 | 0.09642 | 0.6922 | 1.641 | json |
| t18_x48_u0_b4 | 18 | 48 | 0 | 4 | ![]() |
add(D,add(R,pow(D,P))) | 130018 | 148110070 | o2(x,o2(x,o2(x,x))) | true | 68551 | 68551 | -0.8836 | 0.06221 | 0.9914 | 0.2076 | 0.4556 | -1 | 1 | 2 | 1 | 0.4502 | 0.02753 | 0.00004704 | 0.01645 | 0.9966 | 1 | -0.000003431 | 0.05499 | 0.03049 | 0.02729 | 0.1652 | 10.04 | 2.001 | 0.1329 | 0.2649 | 1 | 1 | 0.03703 | 0.1554 | 0.3055 | 0.1784 | 0.7486 | 1.472 | json |
| t18_x48_u0_b5 | 18 | 48 | 0 | 5 | ![]() |
add(D,add(R,mod(D,P))) | 130019 | 148110071 | o2(x,o2(x,o2(x,x))) | true | 68559 | 68559 | -0.1195 | 0.4396 | 0.4911 | 0.3349 | 0.5787 | -1 | 1 | 2 | 1 | 4.739 | 0.02149 | 0.002754 | 0.09316 | 0.7728 | 1 | 0.00005113 | 0.02869 | 0.04592 | 0.01556 | 0.1247 | 1.339 | 2 | 0.07238 | 0.08566 | 1 | 1 | 0.03611 | 0.252 | 0.5026 | 0.1078 | 0.7524 | 1.501 | json |
| t18_x48_u0_b6 | 18 | 48 | 0 | 6 | ![]() |
add(D,add(R,lrg(D,P))) | 130020 | 148110072 | o2(x,o2(x,o2(x,x))) | true | 68567 | 68567 | 0.3998 | 0.736 | 0.6041 | 0.3177 | 0.5637 | -1 | 1 | 2 | 1 | 4.315 | 0.00726 | 0.002222 | 0.0613 | 0.5314 | 1 | 0.00008737 | 0.006729 | 0.02473 | 0.005724 | 0.07566 | 1.234 | 1.073 | 0.02984 | 0.02118 | 1 | 1 | 0.01733 | 0.1484 | 0.2981 | 0.05453 | 0.4672 | 0.9381 | json |
| t18_x48_u0_b7 | 18 | 48 | 0 | 7 | ![]() |
add(D,add(R,eql(D,P))) | 130021 | 148110073 | o2(x,o2(x,o2(x,x))) | true | 68575 | 68575 | 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_x48_u0_b8 | 18 | 48 | 0 | 8 | ![]() |
add(D,add(R,min(D,P))) | 130022 | 148110074 | o2(x,o2(x,o2(x,x))) | true | 68583 | 68583 | -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_x48_u0_b9 | 18 | 48 | 0 | 9 | ![]() |
add(D,add(R,dot(D,P))) | 130023 | 148110075 | o2(x,o2(x,o2(x,x))) | true | 68591 | 68591 | -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_x48_u0_b10 | 18 | 48 | 0 | 10 | ![]() |
add(D,add(R,dst(D,P))) | 130024 | 148110076 | o2(x,o2(x,o2(x,x))) | true | 68599 | 68599 | 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 | -3.379e-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_x48_u0_b11 | 18 | 48 | 0 | 11 | ![]() |
add(D,sub(R,add(D,P))) | 130025 | 148110077 | o2(x,o2(x,o2(x,x))) | true | 68607 | 68607 | 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_x48_u0_b12 | 18 | 48 | 0 | 12 | ![]() |
add(D,sub(R,sub(D,P))) | 130026 | 148110078 | o2(x,o2(x,o2(x,x))) | true | 68615 | 68615 | 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_x48_u0_b13 | 18 | 48 | 0 | 13 | ![]() |
add(D,sub(R,mlt(D,P))) | 130027 | 148110079 | o2(x,o2(x,o2(x,x))) | true | 68623 | 68623 | 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_x48_u0_b14 | 18 | 48 | 0 | 14 | ![]() |
add(D,sub(R,div(D,P))) | 130028 | 148110080 | o2(x,o2(x,o2(x,x))) | true | 68631 | 68631 | -0.1355 | 0.4198 | 0.4741 | 0.3075 | 0.5545 | -1 | 1 | 2 | 1 | 4.748 | 0.01689 | 0.002784 | 0.07498 | 0.7169 | 1 | 0.00001549 | 0.02774 | 0.03637 | 0.01405 | 0.1185 | 1.581 | 1.943 | 0.06397 | 0.09021 | 1 | 1 | 0.02751 | 0.1903 | 0.4897 | 0.08946 | 0.619 | 1.592 | json |
| t18_x48_u0_b15 | 18 | 48 | 0 | 15 | ![]() |
add(D,sub(R,pow(D,P))) | 130029 | 148110081 | o2(x,o2(x,o2(x,x))) | true | 68639 | 68639 | -0.9967 | 0 | 0.9967 | 0.001334 | 0.03653 | -1 | -0.2019 | 0.7981 | 1 | 0.1162 | 0.0004455 | 0.00001962 | 0.001602 | 0.9156 | 1 | 5.444e-11 | 0.0008979 | 0.002021 | 0.0004622 | 0.0215 | 13.42 | 0.7981 | 0.3486 | 0.673 | 1 | 1 | 0.0007147 | 0.002429 | 0.003822 | 0.5357 | 1.821 | 2.865 | json |
| t18_x48_u0_b16 | 18 | 48 | 0 | 16 | ![]() |
add(D,sub(R,mod(D,P))) | 130030 | 148110082 | o2(x,o2(x,o2(x,x))) | true | 68647 | 68647 | -0.12 | 0.4324 | 0.4674 | 0.3015 | 0.5491 | -1 | 0.9806 | 1.981 | 1 | 4.761 | 0.01585 | 0.002792 | 0.06406 | 0.7005 | 1 | 0.00004824 | 0.0275 | 0.03166 | 0.01454 | 0.1206 | 1.882 | 1.943 | 0.06184 | 0.09123 | 1 | 1 | 0.02584 | 0.1831 | 0.5035 | 0.0857 | 0.6074 | 1.67 | json |
| t18_x48_u0_b17 | 18 | 48 | 0 | 17 | ![]() |
add(D,sub(R,lrg(D,P))) | 130031 | 148110083 | o2(x,o2(x,o2(x,x))) | true | 68655 | 68655 | -0.403 | 0.2301 | 0.5799 | 0.2855 | 0.5344 | -1 | 1 | 2 | 1 | 4.365 | 0.005698 | 0.002405 | 0.06231 | 0.4065 | 1 | 0.000094 | 0.005295 | 0.02273 | 0.00422 | 0.06496 | 1.043 | 0.9532 | 0.02838 | 0.01855 | 1 | 1 | 0.01457 | 0.1386 | 0.3191 | 0.05104 | 0.4856 | 1.118 | json |
| t18_x48_u0_b18 | 18 | 48 | 0 | 18 | ![]() |
add(D,sub(R,eql(D,P))) | 130032 | 148110084 | o2(x,o2(x,o2(x,x))) | true | 68663 | 68663 | 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_x48_u0_b19 | 18 | 48 | 0 | 19 | ![]() |
add(D,sub(R,min(D,P))) | 130033 | 148110085 | o2(x,o2(x,o2(x,x))) | true | 68671 | 68671 | 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_x48_u0_b20 | 18 | 48 | 0 | 20 | ![]() |
add(D,sub(R,dot(D,P))) | 130034 | 148110086 | o2(x,o2(x,o2(x,x))) | true | 68679 | 68679 | 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_x48_u0_b21 | 18 | 48 | 0 | 21 | ![]() |
add(D,sub(R,dst(D,P))) | 130035 | 148110087 | o2(x,o2(x,o2(x,x))) | true | 68687 | 68687 | -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 | 4.13e-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_x48_u0_b22 | 18 | 48 | 0 | 22 | ![]() |
add(D,mlt(R,add(D,P))) | 130036 | 148110088 | o2(x,o2(x,o2(x,x))) | true | 68695 | 68695 | -0.06181 | 0.4708 | 0.724 | 0.6443 | 0.8027 | -1 | 1 | 2 | 1 | 3.77 | 0.01755 | 0.01957 | 0.09669 | -0.05448 | 1 | -0.00004824 | 0.0206 | 0.05145 | 0.02778 | 0.1667 | 1.724 | 1.467 | 0.0576 | 0.03197 | 1 | 1 | 0.05276 | 0.4568 | 1.03 | 0.08188 | 0.7089 | 1.599 | json |
| t18_x48_u0_b23 | 18 | 48 | 0 | 23 | ![]() |
add(D,mlt(R,sub(D,P))) | 130037 | 148110089 | o2(x,o2(x,o2(x,x))) | true | 68703 | 68703 | 0.06274 | 0.5319 | 0.7352 | 0.655 | 0.8093 | -1 | 1 | 2 | 1 | 3.751 | 0.01761 | 0.01981 | 0.09814 | -0.05871 | 1 | 0.0000392 | 0.02059 | 0.05192 | 0.02779 | 0.1667 | 1.699 | 1.457 | 0.05713 | 0.03143 | 1 | 1 | 0.05334 | 0.464 | 1.06 | 0.08143 | 0.7084 | 1.619 | json |
| t18_x48_u0_b24 | 18 | 48 | 0 | 24 | ![]() |
add(D,mlt(R,mlt(D,P))) | 130038 | 148110090 | o2(x,o2(x,o2(x,x))) | true | 68711 | 68711 | -0.01683 | 0.4932 | 0.3308 | 0.2072 | 0.4552 | -1 | 1 | 2 | 1 | 4.544 | 0.0129 | 0.003518 | 0.09604 | 0.5714 | 1 | 0.0004215 | 0.003619 | 0.03478 | 0.007194 | 0.08482 | 0.8832 | 0.5997 | 0.07924 | 0.01747 | 1 | 1 | 0.02232 | 0.224 | 0.2829 | 0.1077 | 1.081 | 1.365 | json |
| t18_x48_u0_b25 | 18 | 48 | 0 | 25 | ![]() |
add(D,mlt(R,div(D,P))) | 130039 | 148110091 | o2(x,o2(x,o2(x,x))) | true | 68719 | 68719 | -0.1218 | 0.4445 | 0.2116 | 0.1216 | 0.3486 | -1 | 0.3741 | 1.374 | 1 | 3.021 | 0.009554 | 0.00002951 | 0.04037 | 0.9938 | 1 | 0.000002565 | 0.01612 | 0.02872 | 0.007953 | 0.08918 | 2.209 | 1.06 | 0.07884 | 0.1327 | 1 | 1 | 0.01359 | 0.06552 | 0.1776 | 0.1118 | 0.539 | 1.461 | json |
| t18_x48_u0_b26 | 18 | 48 | 0 | 26 | ![]() |
add(D,mlt(R,pow(D,P))) | 130040 | 148110092 | o2(x,o2(x,o2(x,x))) | true | 68727 | 68727 | -0.9371 | 0.03169 | 0.9773 | 0.09137 | 0.3023 | -1 | 1 | 2 | 1 | 0.5463 | 0.01394 | 0.001173 | 0.01433 | 0.8448 | 1 | -0.000003097 | 0.02924 | 0.01954 | 0.0149 | 0.1221 | 8.521 | 2.012 | 0.1654 | 0.32 | 1 | 1 | 0.02031 | 0.09225 | 0.1786 | 0.2223 | 1.01 | 1.955 | json |
| t18_x48_u0_b27 | 18 | 48 | 0 | 27 | ![]() |
add(D,mlt(R,mod(D,P))) | 130041 | 148110093 | o2(x,o2(x,o2(x,x))) | true | 68735 | 68735 | -0.1226 | 0.4405 | 0.2335 | 0.1321 | 0.3635 | -1 | 0.5372 | 1.537 | 1 | 3.503 | 0.01003 | 0.0001887 | 0.04575 | 0.9631 | 1 | -0.00003732 | 0.01621 | 0.02976 | 0.00813 | 0.09017 | 1.971 | 1.06 | 0.07736 | 0.1227 | 1 | 1 | 0.01469 | 0.07675 | 0.1962 | 0.1111 | 0.5809 | 1.485 | json |
| t18_x48_u0_b28 | 18 | 48 | 0 | 28 | ![]() |
add(D,mlt(R,lrg(D,P))) | 130042 | 148110094 | o2(x,o2(x,o2(x,x))) | true | 68743 | 68743 | 0.01649 | 0.4925 | 0.2532 | 0.1244 | 0.3527 | -1 | 1 | 2 | 1 | 4.317 | 0.004156 | 0.001689 | 0.05759 | 0.422 | 1 | 0.00003056 | 0.003012 | 0.02097 | 0.002531 | 0.0503 | 0.8735 | 0.8912 | 0.04699 | 0.02421 | 1 | 1 | 0.01051 | 0.1009 | 0.1969 | 0.08451 | 0.8111 | 1.582 | json |
| t18_x48_u0_b29 | 18 | 48 | 0 | 29 | ![]() |
add(D,mlt(R,eql(D,P))) | 130043 | 148110095 | o2(x,o2(x,o2(x,x))) | true | 68751 | 68751 | 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_x48_u0_b30 | 18 | 48 | 0 | 30 | ![]() |
add(D,mlt(R,min(D,P))) | 130044 | 148110096 | o2(x,o2(x,o2(x,x))) | true | 68759 | 68759 | -0.03598 | 0.4761 | 0.4291 | 0.3404 | 0.5835 | -1 | 1 | 2 | 1 | 4.14 | 0.00929 | 0.01032 | 0.06878 | -0.05232 | 1 | 0.0001202 | 0.01039 | 0.03323 | 0.01487 | 0.122 | 1.773 | 1.303 | 0.05759 | 0.03051 | 1 | 1 | 0.02941 | 0.2454 | 0.4936 | 0.08638 | 0.721 | 1.45 | json |
| t18_x48_u0_b31 | 18 | 48 | 0 | 31 | ![]() |
add(D,mlt(R,dot(D,P))) | 130045 | 148110097 | o2(x,o2(x,o2(x,x))) | true | 68767 | 68767 | -0.007725 | 0.4953 | 0.4945 | 0.3687 | 0.6072 | -1 | 1 | 2 | 1 | 4.678 | 0.01439 | 0.0143 | 0.1268 | 0.003348 | 1 | 0.00001237 | 0.00815 | 0.0495 | 0.01261 | 0.1123 | 0.8852 | 0.8205 | 0.07781 | 0.0221 | 1 | 1 | 0.03925 | 0.3946 | 0.5367 | 0.1064 | 1.07 | 1.456 | json |
| t18_x48_u0_b32 | 18 | 48 | 0 | 32 | ![]() |
add(D,mlt(R,dst(D,P))) | 130046 | 148110098 | o2(x,o2(x,o2(x,x))) | true | 68775 | 68775 | -0.009759 | 0.4949 | 0.8626 | 0.8174 | 0.9041 | -1 | 1 | 2 | 1 | 2.816 | 0.02682 | 0.03033 | 0.1036 | -0.0614 | 1 | 0.00006819 | 0.04302 | 0.0731 | 0.04642 | 0.2155 | 2.079 | 1.879 | 0.06993 | 0.05263 | 1 | 1 | 0.07889 | 0.6183 | 1.381 | 0.09652 | 0.7564 | 1.689 | json |
| t18_x48_u0_b33 | 18 | 48 | 0 | 33 | ![]() |
add(D,div(R,add(D,P))) | 130047 | 148110099 | o2(x,o2(x,o2(x,x))) | true | 68783 | 68783 | 0.002245 | 0.494 | 0.2153 | 0.1076 | 0.328 | -1 | 1 | 2 | 1 | 4.015 | 0.0195 | 0.002527 | 0.05852 | 0.7705 | 1 | -0.00001243 | 0.03779 | 0.0356 | 0.0186 | 0.1364 | 2.331 | 2.828 | 0.2047 | 0.3513 | 1 | 1 | 0.03466 | 0.1805 | 0.267 | 0.3222 | 1.678 | 2.482 | json |
| t18_x48_u0_b34 | 18 | 48 | 0 | 34 | ![]() |
add(D,div(R,sub(D,P))) | 130048 | 148110100 | o2(x,o2(x,o2(x,x))) | true | 68791 | 68791 | -0.002874 | 0.5072 | 0.2305 | 0.1185 | 0.3442 | -1 | 1 | 2 | 1 | 4.132 | 0.01914 | 0.002606 | 0.05936 | 0.7602 | 1 | 0.000008053 | 0.03756 | 0.03532 | 0.01822 | 0.135 | 2.274 | 2.828 | 0.1835 | 0.3171 | 1 | 1 | 0.03349 | 0.1795 | 0.3064 | 0.2827 | 1.516 | 2.587 | json |
| t18_x48_u0_b35 | 18 | 48 | 0 | 35 | ![]() |
add(D,div(R,mlt(D,P))) | 130049 | 148110101 | o2(x,o2(x,o2(x,x))) | true | 68799 | 68799 | -0.1141 | 0.4367 | 0.5391 | 0.4288 | 0.6548 | -1 | 1 | 2 | 1 | 4.245 | 0.2092 | 0.01015 | 0.2032 | 0.9074 | 1 | -0.0005245 | 0.4814 | 0.2684 | 0.178 | 0.4219 | 2.076 | 2.828 | 0.5114 | 1.123 | 1 | 1 | 0.2207 | 0.6296 | 0.8111 | 0.5146 | 1.468 | 1.892 | json |
| t18_x48_u0_b36 | 18 | 48 | 0 | 36 | ![]() |
add(D,div(R,div(D,P))) | 130050 | 148110102 | o2(x,o2(x,o2(x,x))) | true | 68807 | 68807 | -0.01383 | 0.4911 | 0.881 | 0.8517 | 0.9229 | -1 | 1 | 2 | 1 | 2.391 | 0.2761 | 0.06402 | 0.2291 | 0.6236 | 1 | 8.307e-7 | 0.6799 | 0.3599 | 0.2878 | 0.5364 | 2.342 | 2.828 | 0.3994 | 0.7982 | 1 | 1 | 0.364 | 1.535 | 1.531 | 0.4273 | 1.802 | 1.798 | json |
| t18_x48_u0_b37 | 18 | 48 | 0 | 37 | ![]() |
add(D,div(R,pow(D,P))) | 130051 | 148110103 | o2(x,o2(x,o2(x,x))) | true | 68815 | 68815 | -0.9403 | 0.03833 | 0.9568 | 0.06297 | 0.2509 | -1 | 0.7981 | 1.798 | 1 | 0.6018 | 0.008565 | 0.0000869 | 0.01125 | 0.9799 | 1 | -0.000004377 | 0.01653 | 0.01604 | 0.008522 | 0.09232 | 8.205 | 1.798 | 0.1374 | 0.2625 | 1 | 1 | 0.01224 | 0.05396 | 0.1058 | 0.1944 | 0.8569 | 1.681 | json |
| t18_x48_u0_b38 | 18 | 48 | 0 | 38 | ![]() |
add(D,div(R,mod(D,P))) | 130052 | 148110104 | o2(x,o2(x,o2(x,x))) | true | 68823 | 68823 | -0.111 | 0.4455 | 0.8199 | 0.7508 | 0.8665 | -1 | 1 | 2 | 1 | 3.151 | 0.2255 | 0.02802 | 0.2116 | 0.779 | 1 | -0.00006893 | 0.5047 | 0.2762 | 0.2088 | 0.4569 | 2.159 | 2.828 | 0.3377 | 0.6723 | 1 | 1 | 0.2723 | 1.151 | 1.305 | 0.3626 | 1.533 | 1.738 | json |
| t18_x48_u0_b39 | 18 | 48 | 0 | 39 | ![]() |
add(D,div(R,lrg(D,P))) | 130053 | 148110105 | o2(x,o2(x,o2(x,x))) | true | 68831 | 68831 | -0.5465 | 0.2305 | 0.7405 | 0.3679 | 0.6066 | -1 | 1 | 2 | 1 | 3.077 | 0.007802 | 0.001493 | 0.03672 | 0.6788 | 1 | -0.0001166 | 0.01285 | 0.01751 | 0.007944 | 0.08913 | 2.427 | 1.867 | 0.02526 | 0.03491 | 1 | 1 | 0.01317 | 0.09533 | 0.2492 | 0.03579 | 0.2591 | 0.6772 | json |
| t18_x48_u0_b40 | 18 | 48 | 0 | 40 | ![]() |
add(D,div(R,eql(D,P))) | 130054 | 148110106 | o2(x,o2(x,o2(x,x))) | true | 68839 | 68839 | -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_x48_u0_b41 | 18 | 48 | 0 | 41 | ![]() |
add(D,div(R,min(D,P))) | 130055 | 148110107 | o2(x,o2(x,o2(x,x))) | true | 68847 | 68847 | -0.05362 | 0.4807 | 0.5182 | 0.4318 | 0.6571 | -1 | 1 | 2 | 1 | 4.068 | 0.1238 | 0.01574 | 0.1359 | 0.7744 | 1 | -0.0001352 | 0.276 | 0.1584 | 0.1211 | 0.348 | 2.562 | 2.828 | 0.3232 | 0.6393 | 1 | 1 | 0.1601 | 0.7038 | 0.7979 | 0.3707 | 1.63 | 1.848 | json |
| t18_x48_u0_b42 | 18 | 48 | 0 | 42 | ![]() |
add(D,div(R,dot(D,P))) | 130056 | 148110108 | o2(x,o2(x,o2(x,x))) | true | 68855 | 68855 | -0.02714 | 0.4869 | 0.4578 | 0.3396 | 0.5828 | -1 | 1 | 2 | 1 | 4.538 | 0.2334 | 0.2352 | 0.3498 | -0.003776 | 1 | 0.0004165 | 1.869 | 0.6141 | 0.3462 | 0.5884 | 1.682 | 2.828 | 1.38 | 5.504 | 1 | 1 | 0.4296 | 0.8211 | 0.7731 | 1.265 | 2.417 | 2.276 | json |
| t18_x48_u0_b43 | 18 | 48 | 0 | 43 | ![]() |
add(D,div(R,dst(D,P))) | 130057 | 148110109 | o2(x,o2(x,o2(x,x))) | true | 68863 | 68863 | 0.01152 | 0.5121 | 0.1242 | 0.02711 | 0.1647 | -0.8755 | 1 | 1.876 | 1 | 3.355 | 0.001934 | 0.0002861 | 0.04061 | 0.7422 | 1 | 0.000001628 | 0.0003493 | 0.01509 | 0.000571 | 0.0239 | 0.5884 | 0.3821 | 0.08189 | 0.01288 | 1 | 1 | 0.005016 | 0.04431 | 0.04936 | 0.185 | 1.634 | 1.82 | json |
| t18_x48_u0_b44 | 18 | 48 | 0 | 44 | ![]() |
add(D,pow(R,add(D,P))) | 130058 | 148110110 | o2(x,o2(x,o2(x,x))) | true | 68871 | 68871 | -0.9181 | 0.04271 | 0.996 | 0.1522 | 0.3902 | -1 | 1 | 2 | 1 | 0.3074 | 0.01592 | 0.01484 | 0.01597 | 0.03487 | 1 | 0.00001136 | 0.06429 | 0.03177 | 0.0305 | 0.1746 | 10.93 | 2.828 | 0.2021 | 0.4223 | 1 | 1 | 0.02527 | 0.1084 | 0.2644 | 0.166 | 0.7123 | 1.737 | json |
| t18_x48_u0_b45 | 18 | 48 | 0 | 45 | ![]() |
add(D,pow(R,sub(D,P))) | 130059 | 148110111 | o2(x,o2(x,o2(x,x))) | true | 68879 | 68879 | -0.9371 | 0.03648 | 0.978 | 0.09476 | 0.3078 | -1 | 1 | 2 | 1 | 0.4208 | 0.008711 | 0.0102 | 0.01334 | -0.0787 | 1 | -0.00001509 | 0.03938 | 0.02455 | 0.01873 | 0.1369 | 10.26 | 2.828 | 0.1996 | 0.4156 | 1 | 1 | 0.01331 | 0.0602 | 0.1545 | 0.1404 | 0.6353 | 1.631 | json |
| t18_x48_u0_b46 | 18 | 48 | 0 | 46 | ![]() |
add(D,pow(R,mlt(D,P))) | 130060 | 148110112 | o2(x,o2(x,o2(x,x))) | true | 68887 | 68887 | -0.854 | 0.07422 | 0.9976 | 0.2666 | 0.5164 | -1 | 1 | 2 | 1 | 0.4578 | 0.02418 | 0.0233 | 0.02509 | 0.01849 | 1 | 8.605e-7 | 0.09949 | 0.0493 | 0.04688 | 0.2165 | 8.629 | 2.828 | 0.1781 | 0.3731 | 1 | 1 | 0.04553 | 0.1906 | 0.6288 | 0.1707 | 0.7147 | 2.358 | json |
| t18_x48_u0_b47 | 18 | 48 | 0 | 47 | ![]() |
add(D,pow(R,div(D,P))) | 130061 | 148110113 | o2(x,o2(x,o2(x,x))) | true | 68895 | 68895 | -0.9258 | 0.03906 | 0.9961 | 0.1365 | 0.3695 | -1 | 1 | 2 | 1 | 0.3188 | 0.01587 | 0.01281 | 0.01567 | 0.1065 | 1 | 0.00001053 | 0.06061 | 0.03024 | 0.02843 | 0.1686 | 10.76 | 2.791 | 0.21 | 0.4439 | 1 | 1 | 0.02295 | 0.09468 | 0.2407 | 0.1681 | 0.6934 | 1.763 | json |
| t18_x48_u0_b48 | 18 | 48 | 0 | 48 | ![]() |
add(D,pow(R,pow(D,P))) | 130062 | 148110114 | o2(x,o2(x,o2(x,x))) | true | 68903 | 68903 | -0.9944 | 0.003906 | 0.9977 | 0.008023 | 0.08957 | -1 | 0.7728 | 1.773 | 1 | 0.0507 | 0.0008259 | 0.001047 | 0.001581 | -0.118 | 1 | 1.126e-11 | 0.003861 | 0.002739 | 0.00187 | 0.04324 | 27.35 | 1.773 | 0.2334 | 0.4812 | 1 | 1 | 0.0005602 | 0.003745 | 0.007308 | 0.06983 | 0.4668 | 0.911 | json |
| t18_x48_u0_b49 | 18 | 48 | 0 | 49 | ![]() |
add(D,pow(R,mod(D,P))) | 130063 | 148110115 | o2(x,o2(x,o2(x,x))) | true | 68911 | 68911 | -0.9308 | 0.03516 | 0.9989 | 0.1315 | 0.3626 | -1 | 1 | 2 | 1 | 0.2569 | 0.01476 | 0.01192 | 0.0137 | 0.1067 | 1 | 0.000008996 | 0.05602 | 0.02713 | 0.02652 | 0.1628 | 11.89 | 2.828 | 0.2029 | 0.426 | 1 | 1 | 0.02311 | 0.09411 | 0.2377 | 0.1757 | 0.7157 | 1.808 | json |
| t18_x48_u0_b50 | 18 | 48 | 0 | 50 | ![]() |
add(D,pow(R,lrg(D,P))) | 130064 | 148110116 | o2(x,o2(x,o2(x,x))) | true | 68919 | 68919 | -0.03488 | 0.5038 | 0.9574 | 0.9261 | 0.9624 | -1 | 1 | 2 | 1 | 1.99 | 0.02682 | 0.01605 | 0.0344 | 0.2513 | 1 | 0.0001447 | 0.08869 | 0.05485 | 0.04169 | 0.2042 | 5.936 | 2.807 | 0.04628 | 0.09576 | 1 | 1 | 0.0544 | 0.2237 | 0.631 | 0.05874 | 0.2416 | 0.6813 | json |
| t18_x48_u0_b51 | 18 | 48 | 0 | 51 | ![]() |
add(D,pow(R,eql(D,P))) | 130065 | 148110117 | o2(x,o2(x,o2(x,x))) | true | 68927 | 68927 | 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_x48_u0_b52 | 18 | 48 | 0 | 52 | ![]() |
add(D,pow(R,min(D,P))) | 130066 | 148110118 | o2(x,o2(x,o2(x,x))) | true | 68935 | 68935 | -0.8835 | 0.05859 | 0.9993 | 0.2181 | 0.467 | -1 | 1 | 2 | 1 | 0.353 | 0.02486 | 0.02011 | 0.02266 | 0.1056 | 1 | 0.00001048 | 0.09409 | 0.04533 | 0.04444 | 0.2108 | 9.303 | 2.828 | 0.2062 | 0.4315 | 1 | 1 | 0.03943 | 0.1655 | 0.4141 | 0.1808 | 0.7588 | 1.899 | json |
| t18_x48_u0_b53 | 18 | 48 | 0 | 53 | ![]() |
add(D,pow(R,dot(D,P))) | 130067 | 148110119 | o2(x,o2(x,o2(x,x))) | true | 68943 | 68943 | -0.9133 | 0.04393 | 0.9989 | 0.1639 | 0.4049 | -1 | 1 | 2 | 1 | 0.2942 | 0.02398 | 0.02347 | 0.02341 | 0.01077 | 1 | -7.177e-7 | 0.1485 | 0.04854 | 0.04687 | 0.2165 | 9.248 | 2.828 | 0.2894 | 0.9056 | 1 | 1 | 0.03153 | 0.1137 | 0.2744 | 0.1923 | 0.6934 | 1.674 | json |
| t18_x48_u0_b54 | 18 | 48 | 0 | 54 | ![]() |
add(D,pow(R,dst(D,P))) | 130068 | 148110120 | o2(x,o2(x,o2(x,x))) | true | 68951 | 68951 | -0.9491 | 0.03386 | 0.9663 | 0.05969 | 0.2443 | -1 | 0.7709 | 1.771 | 1 | 0.413 | 0.006272 | 0.005903 | 0.01142 | 0.03032 | 1 | -0.000003915 | 0.02535 | 0.02021 | 0.01204 | 0.1097 | 9.611 | 1.893 | 0.204 | 0.4247 | 1 | 1 | 0.01047 | 0.04521 | 0.1106 | 0.1754 | 0.7575 | 1.852 | json |
| t18_x48_u0_b55 | 18 | 48 | 0 | 55 | ![]() |
add(D,mod(R,add(D,P))) | 130069 | 148110121 | o2(x,o2(x,o2(x,x))) | true | 68959 | 68959 | 0.00858 | 0.4969 | 0.3742 | 0.2104 | 0.4587 | -1 | 1 | 2 | 1 | 4.852 | 0.006275 | 0.002915 | 0.077 | 0.3656 | 1 | 0.00003793 | 0.005544 | 0.03134 | 0.003262 | 0.05712 | 0.7418 | 1.002 | 0.04367 | 0.02634 | 1 | 1 | 0.01551 | 0.1586 | 0.3435 | 0.07369 | 0.7537 | 1.632 | json |
| t18_x48_u0_b56 | 18 | 48 | 0 | 56 | ![]() |
add(D,mod(R,sub(D,P))) | 130070 | 148110122 | o2(x,o2(x,o2(x,x))) | true | 68967 | 68967 | 0.008587 | 0.4996 | 0.3756 | 0.2101 | 0.4584 | -1 | 1 | 2 | 1 | 4.854 | 0.006217 | 0.002909 | 0.07667 | 0.3625 | 1 | 0.00003544 | 0.00543 | 0.03186 | 0.003246 | 0.05698 | 0.7431 | 0.8796 | 0.04344 | 0.02585 | 1 | 1 | 0.01539 | 0.1573 | 0.3429 | 0.07324 | 0.7487 | 1.632 | json |
| t18_x48_u0_b57 | 18 | 48 | 0 | 57 | ![]() |
add(D,mod(R,mlt(D,P))) | 130071 | 148110123 | o2(x,o2(x,o2(x,x))) | true | 68975 | 68975 | -0.132 | 0.4231 | 0.3656 | 0.2224 | 0.4715 | -1 | 1 | 2 | 1 | 4.456 | 0.02889 | 0.001508 | 0.1034 | 0.9008 | 1 | -0.0006576 | 0.05924 | 0.1199 | 0.01971 | 0.1404 | 1.358 | 1.058 | 0.1367 | 0.2664 | 1 | 1 | 0.03249 | 0.1388 | 0.3264 | 0.1461 | 0.6243 | 1.468 | json |
| t18_x48_u0_b58 | 18 | 48 | 0 | 58 | ![]() |
add(D,mod(R,div(D,P))) | 130072 | 148110124 | o2(x,o2(x,o2(x,x))) | true | 68983 | 68983 | -0.1271 | 0.4338 | 0.212 | 0.1203 | 0.3469 | -1 | 0.378 | 1.378 | 1 | 3.021 | 0.01038 | 0.0000304 | 0.0459 | 0.9942 | 1 | -0.00001441 | 0.01913 | 0.05002 | 0.008307 | 0.09114 | 1.986 | 1.058 | 0.08656 | 0.159 | 1 | 1 | 0.01381 | 0.06222 | 0.1722 | 0.1148 | 0.5172 | 1.431 | json |
| t18_x48_u0_b59 | 18 | 48 | 0 | 59 | ![]() |
add(D,mod(R,pow(D,P))) | 130073 | 148110125 | o2(x,o2(x,o2(x,x))) | true | 68991 | 68991 | -0.937 | 0.03278 | 0.9647 | 0.0755 | 0.2748 | -1 | 0.9937 | 1.994 | 1 | 0.634 | 0.01098 | 0.0001874 | 0.01287 | 0.9664 | 1 | -0.00001062 | 0.02123 | 0.01747 | 0.011 | 0.1049 | 8.147 | 1.928 | 0.1479 | 0.2812 | 1 | 1 | 0.01502 | 0.06616 | 0.1285 | 0.1989 | 0.8763 | 1.702 | json |
| t18_x48_u0_b60 | 18 | 48 | 0 | 60 | ![]() |
add(D,mod(R,mod(D,P))) | 130074 | 148110126 | o2(x,o2(x,o2(x,x))) | true | 68999 | 68999 | -0.1311 | 0.4254 | 0.2362 | 0.1306 | 0.3614 | -1 | 0.4693 | 1.469 | 1 | 3.52 | 0.01529 | 0.0001976 | 0.07352 | 0.9745 | 1 | -0.00001362 | 0.03203 | 0.1015 | 0.01008 | 0.1004 | 1.366 | 1.058 | 0.1186 | 0.2453 | 1 | 1 | 0.01742 | 0.07254 | 0.1871 | 0.1334 | 0.5555 | 1.433 | json |
| t18_x48_u0_b61 | 18 | 48 | 0 | 61 | ![]() |
add(D,mod(R,lrg(D,P))) | 130075 | 148110127 | o2(x,o2(x,o2(x,x))) | true | 69007 | 69007 | -0.5465 | 0.2305 | 0.7405 | 0.3679 | 0.6066 | -1 | 1 | 2 | 1 | 3.077 | 0.007802 | 0.001493 | 0.03672 | 0.6788 | 1 | -0.0001166 | 0.01285 | 0.01751 | 0.007944 | 0.08913 | 2.427 | 1.867 | 0.02526 | 0.03491 | 1 | 1 | 0.01317 | 0.09533 | 0.2492 | 0.03579 | 0.2591 | 0.6772 | json |
| t18_x48_u0_b62 | 18 | 48 | 0 | 62 | ![]() |
add(D,mod(R,eql(D,P))) | 130076 | 148110128 | o2(x,o2(x,o2(x,x))) | true | 69015 | 69015 | -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_x48_u0_b63 | 18 | 48 | 0 | 63 | ![]() |
add(D,mod(R,min(D,P))) | 130077 | 148110129 | o2(x,o2(x,o2(x,x))) | true | 69023 | 69023 | -0.04881 | 0.4638 | 0.313 | 0.1839 | 0.4288 | -1 | 1 | 2 | 1 | 4.495 | 0.01393 | 0.001709 | 0.07847 | 0.7814 | 1 | -0.00001015 | 0.02494 | 0.07128 | 0.009479 | 0.09736 | 1.241 | 1.058 | 0.08503 | 0.1356 | 1 | 1 | 0.02117 | 0.1374 | 0.2708 | 0.1151 | 0.7471 | 1.473 | json |
| t18_x48_u0_b64 | 18 | 48 | 0 | 64 | ![]() |
add(D,mod(R,dot(D,P))) | 130078 | 148110130 | o2(x,o2(x,o2(x,x))) | true | 69031 | 69031 | -0.04073 | 0.4724 | 0.341 | 0.1867 | 0.4321 | -1 | 1 | 2 | 1 | 4.712 | 0.05988 | 0.05835 | 0.1839 | 0.0129 | 1 | 0.0002726 | 0.5735 | 0.3105 | 0.0844 | 0.2905 | 1.579 | 2.794 | 0.6334 | 3.072 | 1 | 1 | 0.08858 | 0.2033 | 0.3236 | 0.4745 | 1.089 | 1.734 | json |
| t18_x48_u0_b65 | 18 | 48 | 0 | 65 | ![]() |
add(D,mod(R,dst(D,P))) | 130079 | 148110131 | o2(x,o2(x,o2(x,x))) | true | 69039 | 69039 | 0.00668 | 0.4963 | 0.3995 | 0.229 | 0.4786 | -1 | 1 | 2 | 1 | 4.897 | 0.004502 | 0.003237 | 0.07567 | 0.1635 | 1 | 0.00002869 | 0.001207 | 0.02074 | 0.002013 | 0.04487 | 0.593 | 0.4561 | 0.03379 | 0.005269 | 1 | 1 | 0.01513 | 0.1727 | 0.3838 | 0.06605 | 0.7539 | 1.676 | json |
| t18_x48_u0_b66 | 18 | 48 | 0 | 66 | ![]() |
add(D,lrg(R,add(D,P))) | 130080 | 148110132 | o2(x,o2(x,o2(x,x))) | true | 69047 | 69047 | 0.4783 | 0.753 | 0.5243 | 0.2284 | 0.478 | -0.1454 | 1 | 1.145 | 1 | 3.165 | 0.003722 | 0.0001648 | 0.03372 | 0.9152 | 1 | 0.0001486 | 0.004846 | 0.02139 | 0.002751 | 0.05245 | 1.555 | 1.024 | 0.01701 | 0.02121 | 1 | 1 | 0.006095 | 0.03824 | 0.08527 | 0.02668 | 0.1674 | 0.3732 | json |
| t18_x48_u0_b67 | 18 | 48 | 0 | 67 | ![]() |
add(D,lrg(R,sub(D,P))) | 130081 | 148110133 | o2(x,o2(x,o2(x,x))) | true | 69055 | 69055 | 0.479 | 0.7763 | 0.5209 | 0.2161 | 0.4648 | -0.1454 | 1 | 1.145 | 1 | 3.385 | 0.003003 | 0.0001552 | 0.03422 | 0.9017 | 1 | -0.000009138 | 0.003878 | 0.01913 | 0.001988 | 0.04459 | 1.303 | 0.9301 | 0.01462 | 0.01795 | 1 | 1 | 0.004782 | 0.0305 | 0.08 | 0.02213 | 0.1411 | 0.3703 | json |
| t18_x48_u0_b68 | 18 | 48 | 0 | 68 | ![]() |
add(D,lrg(R,mlt(D,P))) | 130082 | 148110134 | o2(x,o2(x,o2(x,x))) | true | 69063 | 69063 | 0.5229 | 0.8787 | 0.5364 | 0.1338 | 0.3658 | -0.1454 | 1 | 1.145 | 1 | 3.991 | 0.04014 | 0.001094 | 0.1122 | 0.9469 | 1 | -0.0002788 | 0.07143 | 0.1059 | 0.02863 | 0.1692 | 1.507 | 1.049 | 0.3082 | 0.5339 | 1 | 1 | 0.04435 | 0.1908 | 0.1671 | 0.3315 | 1.426 | 1.249 | json |
| t18_x48_u0_b69 | 18 | 48 | 0 | 69 | ![]() |
add(D,lrg(R,div(D,P))) | 130083 | 148110135 | o2(x,o2(x,o2(x,x))) | true | 69071 | 69071 | 0.4846 | 0.857 | 0.5066 | 0.1534 | 0.3917 | -0.1454 | 1 | 1.145 | 1 | 4.03 | 0.01126 | 0.002178 | 0.07128 | 0.6759 | 1 | 0.00004469 | 0.01792 | 0.04017 | 0.00836 | 0.09143 | 1.283 | 1.031 | 0.0876 | 0.1168 | 1 | 1 | 0.02024 | 0.1396 | 0.2673 | 0.1319 | 0.9098 | 1.743 | json |
| t18_x48_u0_b70 | 18 | 48 | 0 | 70 | ![]() |
add(D,lrg(R,pow(D,P))) | 130084 | 148110136 | o2(x,o2(x,o2(x,x))) | true | 69079 | 69079 | 0.5578 | 0.9688 | 0.5637 | 0.107 | 0.3271 | -0.1454 | 1 | 1.145 | 1 | 4.038 | 0.03942 | 0.0005249 | 0.09478 | 0.9737 | 1 | -0.00005686 | 0.0837 | 0.09314 | 0.03098 | 0.176 | 1.857 | 0.9378 | 0.3732 | 0.7821 | 1 | 1 | 0.03792 | 0.1108 | 0.09325 | 0.3543 | 1.036 | 0.8713 | json |
| t18_x48_u0_b71 | 18 | 48 | 0 | 71 | ![]() |
add(D,lrg(R,mod(D,P))) | 130085 | 148110137 | o2(x,o2(x,o2(x,x))) | true | 69087 | 69087 | 0.5221 | 0.8866 | 0.5405 | 0.1381 | 0.3717 | -0.1454 | 1 | 1.145 | 1 | 4.055 | 0.01821 | 0.001965 | 0.08037 | 0.8052 | 1 | 0.00007861 | 0.03423 | 0.06474 | 0.01372 | 0.1171 | 1.457 | 0.9808 | 0.1461 | 0.2478 | 1 | 1 | 0.02289 | 0.1301 | 0.2475 | 0.1657 | 0.9422 | 1.792 | json |
| t18_x48_u0_b72 | 18 | 48 | 0 | 72 | ![]() |
add(D,lrg(R,lrg(D,P))) | 130086 | 148110138 | o2(x,o2(x,o2(x,x))) | true | 69095 | 69095 | 0.2251 | 0.687 | 0.2811 | 0.1228 | 0.3504 | -0.1454 | 1 | 1.145 | 1 | 3.827 | 0.003955 | 0.001234 | 0.05291 | 0.5244 | 1 | -0.00003085 | 0.003644 | 0.01904 | 0.002391 | 0.0489 | 0.9242 | 0.9378 | 0.04225 | 0.02968 | 1 | 1 | 0.009021 | 0.08115 | 0.1547 | 0.07346 | 0.6608 | 1.26 | json |
| t18_x48_u0_b73 | 18 | 48 | 0 | 73 | ![]() |
add(D,lrg(R,eql(D,P))) | 130087 | 148110139 | o2(x,o2(x,o2(x,x))) | true | 69103 | 69103 | 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_x48_u0_b74 | 18 | 48 | 0 | 74 | ![]() |
add(D,lrg(R,min(D,P))) | 130088 | 148110140 | o2(x,o2(x,o2(x,x))) | true | 69111 | 69111 | 0.7011 | 0.9289 | 0.7123 | 0.1308 | 0.3617 | -0.1454 | 1 | 1.145 | 1 | 3.328 | 0.01033 | 0.001115 | 0.05339 | 0.8052 | 1 | 0.0001822 | 0.01829 | 0.04127 | 0.008599 | 0.09273 | 1.737 | 0.9808 | 0.08751 | 0.1398 | 1 | 1 | 0.01382 | 0.08572 | 0.1608 | 0.1056 | 0.6551 | 1.229 | json |
| t18_x48_u0_b75 | 18 | 48 | 0 | 75 | ![]() |
add(D,lrg(R,dot(D,P))) | 130089 | 148110141 | o2(x,o2(x,o2(x,x))) | true | 69119 | 69119 | 0.5436 | 0.9209 | 0.5518 | 0.112 | 0.3347 | -0.1454 | 1 | 1.145 | 1 | 4.048 | 0.03082 | 0.02912 | 0.1378 | 0.02832 | 1 | -0.001549 | 0.1833 | 0.1658 | 0.04096 | 0.2024 | 1.469 | 1.443 | 0.535 | 1.636 | 1 | 1 | 0.06148 | 0.2168 | 0.1229 | 0.5487 | 1.935 | 1.097 | json |
| t18_x48_u0_b76 | 18 | 48 | 0 | 76 | ![]() |
add(D,lrg(R,dst(D,P))) | 130090 | 148110142 | o2(x,o2(x,o2(x,x))) | true | 69127 | 69127 | 0.004053 | 0.5042 | 0.0975 | 0.0132 | 0.1149 | -0.1454 | 1 | 1.145 | 1 | 2.633 | 0.001697 | 0.00007002 | 0.03685 | 0.9207 | 1 | -3.402e-11 | 0.0004927 | 0.01524 | 0.0004099 | 0.02025 | 0.5494 | 0.4305 | 0.1339 | 0.03732 | 1 | 1 | 0.003502 | 0.02522 | 0.008641 | 0.2653 | 1.911 | 0.6545 | json |
| t18_x48_u0_b77 | 18 | 48 | 0 | 77 | ![]() |
add(D,eql(R,add(D,P))) | 130091 | 148110143 | o2(x,o2(x,o2(x,x))) | true | 69135 | 69135 | 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_x48_u0_b78 | 18 | 48 | 0 | 78 | ![]() |
add(D,eql(R,sub(D,P))) | 130092 | 148110144 | o2(x,o2(x,o2(x,x))) | true | 69143 | 69143 | 0.000082 | 0.5 | 0.09444 | 0.01088 | 0.1043 | -0.1454 | 0.7495 | 0.8949 | 1 | 2.564 | 0.001695 | 6.316e-7 | 0.03621 | 0.9993 | 1 | 2.395e-7 | 0.0004409 | 0.01484 | 0.000385 | 0.01962 | 0.5419 | 0.7026 | 0.1558 | 0.04053 | 1 | 1 | 0.003151 | 0.02183 | 0.00003293 | 0.2897 | 2.007 | 0.003027 | json |
| t18_x48_u0_b79 | 18 | 48 | 0 | 79 | ![]() |
add(D,eql(R,mlt(D,P))) | 130093 | 148110145 | o2(x,o2(x,o2(x,x))) | true | 69151 | 69151 | 0.00004008 | 0.5 | 0.0944 | 0.01084 | 0.1041 | -0.1454 | 0.4062 | 0.5516 | 1 | 2.563 | 0.001648 | 1.509e-7 | 0.03614 | 0.9998 | 1 | 1.17e-7 | 0.0003004 | 0.01471 | 0.0003422 | 0.0185 | 0.5118 | 0.3694 | 0.152 | 0.02771 | 1 | 1 | 0.003151 | 0.02183 | 0.000007865 | 0.2907 | 2.014 | 0.0007256 | json |
| t18_x48_u0_b80 | 18 | 48 | 0 | 80 | ![]() |
add(D,eql(R,div(D,P))) | 130094 | 148110146 | o2(x,o2(x,o2(x,x))) | true | 69159 | 69159 | 0.0001764 | 0.5 | 0.09454 | 0.01091 | 0.1044 | -0.1454 | 0.5855 | 0.7309 | 1 | 2.567 | 0.001772 | 0.000001024 | 0.03638 | 0.9988 | 1 | 1.17e-7 | 0.0006734 | 0.01526 | 0.0004498 | 0.02121 | 0.5829 | 0.6127 | 0.1625 | 0.06174 | 1 | 1 | 0.0032 | 0.02191 | 0.0001303 | 0.2934 | 2.009 | 0.01195 | json |
| t18_x48_u0_b81 | 18 | 48 | 0 | 81 | ![]() |
add(D,eql(R,pow(D,P))) | 130095 | 148110147 | o2(x,o2(x,o2(x,x))) | true | 69167 | 69167 | 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_x48_u0_b82 | 18 | 48 | 0 | 82 | ![]() |
add(D,eql(R,mod(D,P))) | 130096 | 148110148 | o2(x,o2(x,o2(x,x))) | true | 69175 | 69175 | 0.00004008 | 0.5 | 0.0944 | 0.01084 | 0.1041 | -0.1454 | 0.4062 | 0.5516 | 1 | 2.563 | 0.001648 | 1.509e-7 | 0.03614 | 0.9998 | 1 | 1.17e-7 | 0.0003004 | 0.01471 | 0.0003422 | 0.0185 | 0.5118 | 0.3694 | 0.152 | 0.02771 | 1 | 1 | 0.003151 | 0.02183 | 0.000007865 | 0.2907 | 2.014 | 0.0007256 | json |
| t18_x48_u0_b83 | 18 | 48 | 0 | 83 | ![]() |
add(D,eql(R,lrg(D,P))) | 130097 | 148110149 | o2(x,o2(x,o2(x,x))) | true | 69183 | 69183 | 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_x48_u0_b84 | 18 | 48 | 0 | 84 | ![]() |
add(D,eql(R,eql(D,P))) | 130098 | 148110150 | o2(x,o2(x,o2(x,x))) | true | 69191 | 69191 | 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_x48_u0_b85 | 18 | 48 | 0 | 85 | ![]() |
add(D,eql(R,min(D,P))) | 130099 | 148110151 | o2(x,o2(x,o2(x,x))) | true | 69199 | 69199 | 0.00004008 | 0.5 | 0.0944 | 0.01084 | 0.1041 | -0.1454 | 0.4062 | 0.5516 | 1 | 2.563 | 0.001648 | 1.509e-7 | 0.03614 | 0.9998 | 1 | 1.17e-7 | 0.0003004 | 0.01471 | 0.0003422 | 0.0185 | 0.5118 | 0.3694 | 0.152 | 0.02771 | 1 | 1 | 0.003151 | 0.02183 | 0.000007865 | 0.2907 | 2.014 | 0.0007256 | json |



































































































