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_x45_u0_b189 | 18 | 45 | 0 | 189 | ![]() |
sub(D,lrg(R,mlt(P,P))) | 129600 | 147989052 | o2(x,o2(x,o2(x,x))) | true | 65207 | 65207 | -0.027 | 0.4777 | 0.1164 | 0.02882 | 0.1698 | -1 | 0.1454 | 1.145 | 1 | 2.864 | 0.001902 | 0.0001043 | 0.03863 | 0.8961 | 1 | 0.000005704 | 0.0002879 | 0.01475 | 0.0005155 | 0.0227 | 0.5878 | 0.1713 | 0.06963 | 0.00999 | 1 | 1 | 0.004171 | 0.03506 | 0.04334 | 0.1447 | 1.216 | 1.504 | json |
| t18_x45_u0_b190 | 18 | 45 | 0 | 190 | ![]() |
sub(D,lrg(R,div(P,P))) | 129601 | 147989053 | o2(x,o2(x,o2(x,x))) | true | 65215 | 65215 | -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_x45_u0_b191 | 18 | 45 | 0 | 191 | ![]() |
sub(D,lrg(R,pow(P,P))) | 129602 | 147989054 | o2(x,o2(x,o2(x,x))) | true | 65223 | 65223 | -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_x45_u0_b192 | 18 | 45 | 0 | 192 | ![]() |
sub(D,lrg(R,mod(P,P))) | 129603 | 147989055 | o2(x,o2(x,o2(x,x))) | true | 65231 | 65231 | -0.5086 | 0.1616 | 0.5342 | 0.1725 | 0.4153 | -1 | 0.1454 | 1.145 | 1 | 3.861 | 0.003199 | 0.001349 | 0.05313 | 0.4068 | 1 | -0.000004895 | 0.0005596 | 0.01609 | 0.001726 | 0.04154 | 0.7818 | 0.1713 | 0.02637 | 0.003245 | 1 | 1 | 0.009487 | 0.1064 | 0.2546 | 0.05501 | 0.6169 | 1.476 | json |
| t18_x45_u0_b193 | 18 | 45 | 0 | 193 | ![]() |
sub(D,lrg(R,lrg(P,P))) | 129604 | 147989056 | o2(x,o2(x,o2(x,x))) | true | 65239 | 65239 | -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_x45_u0_b194 | 18 | 45 | 0 | 194 | ![]() |
sub(D,lrg(R,eql(P,P))) | 129605 | 147989057 | o2(x,o2(x,o2(x,x))) | true | 65247 | 65247 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t18_x45_u0_b195 | 18 | 45 | 0 | 195 | ![]() |
sub(D,lrg(R,min(P,P))) | 129606 | 147989058 | o2(x,o2(x,o2(x,x))) | true | 65255 | 65255 | -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_x45_u0_b196 | 18 | 45 | 0 | 196 | ![]() |
sub(D,lrg(R,dot(P,P))) | 129607 | 147989059 | o2(x,o2(x,o2(x,x))) | true | 65263 | 65263 | -0.003884 | 0.4962 | 0.09738 | 0.01316 | 0.1147 | -1 | 0.1454 | 1.145 | 1 | 2.629 | 0.001667 | 0.00003476 | 0.03659 | 0.9591 | 1 | 1.678e-11 | 0.0002617 | 0.01464 | 0.0003632 | 0.01906 | 0.5208 | 0.1713 | 0.1293 | 0.01989 | 1 | 1 | 0.00339 | 0.02492 | 0.008558 | 0.2576 | 1.894 | 0.6504 | json |
| t18_x45_u0_b197 | 18 | 45 | 0 | 197 | ![]() |
sub(D,lrg(R,dst(P,P))) | 129608 | 147989060 | o2(x,o2(x,o2(x,x))) | true | 65271 | 65271 | -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_x45_u0_b198 | 18 | 45 | 0 | 198 | ![]() |
sub(D,eql(R,add(P,P))) | 129609 | 147989061 | o2(x,o2(x,o2(x,x))) | true | 65279 | 65279 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t18_x45_u0_b199 | 18 | 45 | 0 | 199 | ![]() |
sub(D,eql(R,sub(P,P))) | 129610 | 147989062 | o2(x,o2(x,o2(x,x))) | true | 65287 | 65287 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t18_x45_u0_b200 | 18 | 45 | 0 | 200 | ![]() |
sub(D,eql(R,mlt(P,P))) | 129611 | 147989063 | o2(x,o2(x,o2(x,x))) | true | 65295 | 65295 | 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_x46_u0_b0 | 18 | 46 | 0 | 0 | ![]() |
add(D,add(R,add(P,D))) | 129612 | 148029264 | o2(x,o2(x,o2(x,x))) | true | 65303 | 65303 | 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_x46_u0_b1 | 18 | 46 | 0 | 1 | ![]() |
add(D,add(R,sub(P,D))) | 129613 | 148029265 | o2(x,o2(x,o2(x,x))) | true | 65311 | 65311 | 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_x46_u0_b2 | 18 | 46 | 0 | 2 | ![]() |
add(D,add(R,mlt(P,D))) | 129614 | 148029266 | o2(x,o2(x,o2(x,x))) | true | 65319 | 65319 | -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_x46_u0_b3 | 18 | 46 | 0 | 3 | ![]() |
add(D,add(R,div(P,D))) | 129615 | 148029267 | o2(x,o2(x,o2(x,x))) | true | 65327 | 65327 | -0.1167 | 0.4407 | 0.9476 | 0.9159 | 0.957 | -1 | 1 | 2 | 1 | 1.838 | 0.3865 | 0.0002648 | 0.231 | 0.9986 | 1 | -0.000005562 | 0.713 | 0.4018 | 0.3334 | 0.5774 | 2.5 | 2.001 | 0.4223 | 0.7785 | 1 | 1 | 0.3968 | 1.664 | 0.2881 | 0.4333 | 1.817 | 0.3146 | json |
| t18_x46_u0_b4 | 18 | 46 | 0 | 4 | ![]() |
add(D,add(R,pow(P,D))) | 129616 | 148029268 | o2(x,o2(x,o2(x,x))) | true | 65335 | 65335 | -0.1154 | 0.4789 | 0.8955 | 0.8395 | 0.9162 | -1 | 1 | 2 | 1 | 2.455 | 0.007592 | 0.0007106 | 0.03166 | 0.8288 | 1 | 0.0000602 | 0.009693 | 0.01996 | 0.007303 | 0.08546 | 2.7 | 1.86 | 0.00989 | 0.01155 | 1 | 1 | 0.01357 | 0.09541 | 0.3158 | 0.01617 | 0.1137 | 0.3762 | json |
| t18_x46_u0_b5 | 18 | 46 | 0 | 5 | ![]() |
add(D,add(R,mod(P,D))) | 129617 | 148029269 | o2(x,o2(x,o2(x,x))) | true | 65343 | 65343 | 0.009797 | 0.5059 | 0.4148 | 0.2473 | 0.4973 | -1 | 1 | 2 | 1 | 4.924 | 0.01167 | 0.003142 | 0.1011 | 0.5759 | 1 | 0.00002686 | 0.01822 | 0.1024 | 0.0046 | 0.06782 | 0.671 | 0.4531 | 0.0599 | 0.07368 | 1 | 1 | 0.02021 | 0.1879 | 0.3946 | 0.08169 | 0.7596 | 1.595 | json |
| t18_x46_u0_b6 | 18 | 46 | 0 | 6 | ![]() |
add(D,add(R,lrg(P,D))) | 129618 | 148029270 | o2(x,o2(x,o2(x,x))) | true | 65351 | 65351 | 0.4206 | 0.7659 | 0.5965 | 0.2888 | 0.5374 | -1 | 1 | 2 | 1 | 4.369 | 0.005993 | 0.00245 | 0.06147 | 0.4197 | 1 | -0.00008948 | 0.00645 | 0.0238 | 0.004665 | 0.0683 | 1.111 | 0.9523 | 0.02923 | 0.02233 | 1 | 1 | 0.01452 | 0.1322 | 0.3008 | 0.05028 | 0.4579 | 1.041 | json |
| t18_x46_u0_b7 | 18 | 46 | 0 | 7 | ![]() |
add(D,add(R,eql(P,D))) | 129619 | 148029271 | o2(x,o2(x,o2(x,x))) | true | 65359 | 65359 | 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_x46_u0_b8 | 18 | 46 | 0 | 8 | ![]() |
add(D,add(R,min(P,D))) | 129620 | 148029272 | o2(x,o2(x,o2(x,x))) | true | 65367 | 65367 | -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_x46_u0_b9 | 18 | 46 | 0 | 9 | ![]() |
add(D,add(R,dot(P,D))) | 129621 | 148029273 | o2(x,o2(x,o2(x,x))) | true | 65375 | 65375 | -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_x46_u0_b10 | 18 | 46 | 0 | 10 | ![]() |
add(D,add(R,dst(P,D))) | 129622 | 148029274 | o2(x,o2(x,o2(x,x))) | true | 65383 | 65383 | 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_x46_u0_b11 | 18 | 46 | 0 | 11 | ![]() |
add(D,sub(R,add(P,D))) | 129623 | 148029275 | o2(x,o2(x,o2(x,x))) | true | 65391 | 65391 | 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_x46_u0_b12 | 18 | 46 | 0 | 12 | ![]() |
add(D,sub(R,sub(P,D))) | 129624 | 148029276 | o2(x,o2(x,o2(x,x))) | true | 65399 | 65399 | 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_x46_u0_b13 | 18 | 46 | 0 | 13 | ![]() |
add(D,sub(R,mlt(P,D))) | 129625 | 148029277 | o2(x,o2(x,o2(x,x))) | true | 65407 | 65407 | 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_x46_u0_b14 | 18 | 46 | 0 | 14 | ![]() |
add(D,sub(R,div(P,D))) | 129626 | 148029278 | o2(x,o2(x,o2(x,x))) | true | 65415 | 65415 | 0.1075 | 0.5527 | 0.9466 | 0.9172 | 0.9577 | -1 | 1 | 2 | 1 | 1.84 | 0.3883 | 0.0002696 | 0.2327 | 0.9986 | 1 | -0.00000876 | 0.7173 | 0.4029 | 0.3344 | 0.5783 | 2.485 | 2.001 | 0.4237 | 0.782 | 1 | 1 | 0.3976 | 1.67 | 0.2848 | 0.4335 | 1.82 | 0.3105 | json |
| t18_x46_u0_b15 | 18 | 46 | 0 | 15 | ![]() |
add(D,sub(R,pow(P,D))) | 129627 | 148029279 | o2(x,o2(x,o2(x,x))) | true | 65423 | 65423 | -0.8957 | 0.01331 | 0.9059 | 0.06478 | 0.2545 | -1 | 0.9017 | 1.902 | 1 | 1.567 | 0.006032 | 0.000674 | 0.02297 | 0.799 | 1 | 0.0001121 | 0.009158 | 0.01503 | 0.006177 | 0.0786 | 3.422 | 1.86 | 0.1035 | 0.1414 | 1 | 1 | 0.01106 | 0.0676 | 0.1207 | 0.1707 | 1.043 | 1.864 | json |
| t18_x46_u0_b16 | 18 | 46 | 0 | 16 | ![]() |
add(D,sub(R,mod(P,D))) | 129628 | 148029280 | o2(x,o2(x,o2(x,x))) | true | 65431 | 65431 | 0.009163 | 0.4998 | 0.4296 | 0.2615 | 0.5113 | -1 | 1 | 2 | 1 | 4.943 | 0.01168 | 0.003135 | 0.1008 | 0.5767 | 1 | 0.00002444 | 0.01786 | 0.1017 | 0.004657 | 0.06824 | 0.6771 | 0.4681 | 0.05666 | 0.06833 | 1 | 1 | 0.02073 | 0.1892 | 0.392 | 0.07927 | 0.7235 | 1.499 | json |
| t18_x46_u0_b17 | 18 | 46 | 0 | 17 | ![]() |
add(D,sub(R,lrg(P,D))) | 129629 | 148029281 | o2(x,o2(x,o2(x,x))) | true | 65439 | 65439 | -0.3889 | 0.2604 | 0.6072 | 0.329 | 0.5736 | -1 | 1 | 2 | 1 | 4.316 | 0.006662 | 0.002389 | 0.06165 | 0.472 | 1 | -0.000006269 | 0.005557 | 0.0238 | 0.00525 | 0.07246 | 1.175 | 1.074 | 0.02751 | 0.01689 | 1 | 1 | 0.01712 | 0.1526 | 0.3113 | 0.05203 | 0.4638 | 0.9462 | json |
| t18_x46_u0_b18 | 18 | 46 | 0 | 18 | ![]() |
add(D,sub(R,eql(P,D))) | 129630 | 148029282 | o2(x,o2(x,o2(x,x))) | true | 65447 | 65447 | 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_x46_u0_b19 | 18 | 46 | 0 | 19 | ![]() |
add(D,sub(R,min(P,D))) | 129631 | 148029283 | o2(x,o2(x,o2(x,x))) | true | 65455 | 65455 | 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_x46_u0_b20 | 18 | 46 | 0 | 20 | ![]() |
add(D,sub(R,dot(P,D))) | 129632 | 148029284 | o2(x,o2(x,o2(x,x))) | true | 65463 | 65463 | 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_x46_u0_b21 | 18 | 46 | 0 | 21 | ![]() |
add(D,sub(R,dst(P,D))) | 129633 | 148029285 | o2(x,o2(x,o2(x,x))) | true | 65471 | 65471 | -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_x46_u0_b22 | 18 | 46 | 0 | 22 | ![]() |
add(D,mlt(R,add(P,D))) | 129634 | 148029286 | o2(x,o2(x,o2(x,x))) | true | 65479 | 65479 | -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_x46_u0_b23 | 18 | 46 | 0 | 23 | ![]() |
add(D,mlt(R,sub(P,D))) | 129635 | 148029287 | o2(x,o2(x,o2(x,x))) | true | 65487 | 65487 | -0.06249 | 0.4679 | 0.7382 | 0.6542 | 0.8088 | -1 | 1 | 2 | 1 | 3.792 | 0.01756 | 0.01988 | 0.0983 | -0.06194 | 1 | -0.0000434 | 0.02074 | 0.0522 | 0.02777 | 0.1667 | 1.695 | 1.511 | 0.05724 | 0.0317 | 1 | 1 | 0.05362 | 0.4668 | 1.059 | 0.08197 | 0.7135 | 1.618 | json |
| t18_x46_u0_b24 | 18 | 46 | 0 | 24 | ![]() |
add(D,mlt(R,mlt(P,D))) | 129636 | 148029288 | o2(x,o2(x,o2(x,x))) | true | 65495 | 65495 | -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_x46_u0_b25 | 18 | 46 | 0 | 25 | ![]() |
add(D,mlt(R,div(P,D))) | 129637 | 148029289 | o2(x,o2(x,o2(x,x))) | true | 65503 | 65503 | -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_x46_u0_b26 | 18 | 46 | 0 | 26 | ![]() |
add(D,mlt(R,pow(P,D))) | 129638 | 148029290 | o2(x,o2(x,o2(x,x))) | true | 65511 | 65511 | -0.5079 | 0.2404 | 0.7033 | 0.3653 | 0.6044 | -1 | 1 | 2 | 1 | 3.327 | 0.006894 | 0.001759 | 0.0429 | 0.5934 | 1 | 0.0001676 | 0.008474 | 0.0188 | 0.006812 | 0.08254 | 1.924 | 1.031 | 0.02369 | 0.0232 | 1 | 1 | 0.01374 | 0.1166 | 0.3078 | 0.0376 | 0.3191 | 0.8426 | json |
| t18_x46_u0_b27 | 18 | 46 | 0 | 27 | ![]() |
add(D,mlt(R,mod(P,D))) | 129639 | 148029291 | o2(x,o2(x,o2(x,x))) | true | 65519 | 65519 | -0.003003 | 0.4957 | 0.1064 | 0.01618 | 0.1272 | -0.3905 | 0.4161 | 0.8066 | 1 | 3.06 | 0.004041 | 0.0000844 | 0.05064 | 0.9591 | 1 | -0.000002129 | 0.006562 | 0.05625 | 0.001562 | 0.03952 | 0.7804 | 0.3079 | 0.255 | 0.4056 | 1 | 1 | 0.004971 | 0.02715 | 0.009857 | 0.3072 | 1.678 | 0.6092 | json |
| t18_x46_u0_b28 | 18 | 46 | 0 | 28 | ![]() |
add(D,mlt(R,lrg(P,D))) | 129640 | 148029292 | o2(x,o2(x,o2(x,x))) | true | 65527 | 65527 | -0.007419 | 0.506 | 0.2475 | 0.1177 | 0.3431 | -1 | 1 | 2 | 1 | 4.303 | 0.004422 | 0.001484 | 0.05778 | 0.4975 | 1 | -0.000003287 | 0.003042 | 0.02101 | 0.002568 | 0.05068 | 0.8771 | 1.014 | 0.05017 | 0.02584 | 1 | 1 | 0.01066 | 0.1026 | 0.2071 | 0.09059 | 0.872 | 1.759 | json |
| t18_x46_u0_b29 | 18 | 46 | 0 | 29 | ![]() |
add(D,mlt(R,eql(P,D))) | 129641 | 148029293 | o2(x,o2(x,o2(x,x))) | true | 65535 | 65535 | 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_x46_u0_b30 | 18 | 46 | 0 | 30 | ![]() |
add(D,mlt(R,min(P,D))) | 129642 | 148029294 | o2(x,o2(x,o2(x,x))) | true | 65543 | 65543 | -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_x46_u0_b31 | 18 | 46 | 0 | 31 | ![]() |
add(D,mlt(R,dot(P,D))) | 129643 | 148029295 | o2(x,o2(x,o2(x,x))) | true | 65551 | 65551 | -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_x46_u0_b32 | 18 | 46 | 0 | 32 | ![]() |
add(D,mlt(R,dst(P,D))) | 129644 | 148029296 | o2(x,o2(x,o2(x,x))) | true | 65559 | 65559 | -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_x46_u0_b33 | 18 | 46 | 0 | 33 | ![]() |
add(D,div(R,add(P,D))) | 129645 | 148029297 | o2(x,o2(x,o2(x,x))) | true | 65567 | 65567 | 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_x46_u0_b34 | 18 | 46 | 0 | 34 | ![]() |
add(D,div(R,sub(P,D))) | 129646 | 148029298 | o2(x,o2(x,o2(x,x))) | true | 65575 | 65575 | 0.002698 | 0.491 | 0.2252 | 0.1158 | 0.3403 | -1 | 1 | 2 | 1 | 4.068 | 0.0193 | 0.002599 | 0.0599 | 0.7626 | 1 | -0.00001132 | 0.03767 | 0.03584 | 0.01831 | 0.1353 | 2.259 | 2.828 | 0.1891 | 0.3253 | 1 | 1 | 0.03376 | 0.18 | 0.2982 | 0.2915 | 1.554 | 2.575 | json |
| t18_x46_u0_b35 | 18 | 46 | 0 | 35 | ![]() |
add(D,div(R,mlt(P,D))) | 129647 | 148029299 | o2(x,o2(x,o2(x,x))) | true | 65583 | 65583 | -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_x46_u0_b36 | 18 | 46 | 0 | 36 | ![]() |
add(D,div(R,div(P,D))) | 129648 | 148029300 | o2(x,o2(x,o2(x,x))) | true | 65591 | 65591 | -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_x46_u0_b37 | 18 | 46 | 0 | 37 | ![]() |
add(D,div(R,pow(P,D))) | 129649 | 148029301 | o2(x,o2(x,o2(x,x))) | true | 65599 | 65599 | -0.5706 | 0.2062 | 0.7634 | 0.3679 | 0.6066 | -1 | 1 | 2 | 1 | 2.992 | 0.01046 | 0.001884 | 0.04322 | 0.6948 | 1 | 0.00008145 | 0.01525 | 0.02142 | 0.01048 | 0.1024 | 2.369 | 1.974 | 0.03357 | 0.04145 | 1 | 1 | 0.01748 | 0.1307 | 0.3133 | 0.0475 | 0.3552 | 0.8517 | json |
| t18_x46_u0_b38 | 18 | 46 | 0 | 38 | ![]() |
add(D,div(R,mod(P,D))) | 129650 | 148029302 | o2(x,o2(x,o2(x,x))) | true | 65607 | 65607 | -0.3047 | 0.3458 | 0.9234 | 0.8047 | 0.897 | -1 | 1 | 2 | 1 | 2.086 | 0.3914 | 0.03462 | 0.284 | 0.8375 | 1 | -0.00003583 | 1.1 | 0.5087 | 0.3453 | 0.5876 | 2.069 | 2.828 | 0.5294 | 1.367 | 1 | 1 | 0.3209 | 0.7602 | 1.282 | 0.3988 | 0.9447 | 1.593 | json |
| t18_x46_u0_b39 | 18 | 46 | 0 | 39 | ![]() |
add(D,div(R,lrg(P,D))) | 129651 | 148029303 | o2(x,o2(x,o2(x,x))) | true | 65615 | 65615 | -0.5735 | 0.2018 | 0.7335 | 0.3303 | 0.5747 | -1 | 1 | 2 | 1 | 3.06 | 0.009536 | 0.001295 | 0.0379 | 0.7609 | 1 | 0.0001656 | 0.01493 | 0.01851 | 0.009395 | 0.09693 | 2.557 | 1.974 | 0.03279 | 0.0452 | 1 | 1 | 0.01543 | 0.1069 | 0.2557 | 0.04673 | 0.3237 | 0.7743 | json |
| t18_x46_u0_b40 | 18 | 46 | 0 | 40 | ![]() |
add(D,div(R,eql(P,D))) | 129652 | 148029304 | o2(x,o2(x,o2(x,x))) | true | 65623 | 65623 | -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_x46_u0_b41 | 18 | 46 | 0 | 41 | ![]() |
add(D,div(R,min(P,D))) | 129653 | 148029305 | o2(x,o2(x,o2(x,x))) | true | 65631 | 65631 | -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_x46_u0_b42 | 18 | 46 | 0 | 42 | ![]() |
add(D,div(R,dot(P,D))) | 129654 | 148029306 | o2(x,o2(x,o2(x,x))) | true | 65639 | 65639 | -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_x46_u0_b43 | 18 | 46 | 0 | 43 | ![]() |
add(D,div(R,dst(P,D))) | 129655 | 148029307 | o2(x,o2(x,o2(x,x))) | true | 65647 | 65647 | 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_x46_u0_b44 | 18 | 46 | 0 | 44 | ![]() |
add(D,pow(R,add(P,D))) | 129656 | 148029308 | o2(x,o2(x,o2(x,x))) | true | 65655 | 65655 | -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_x46_u0_b45 | 18 | 46 | 0 | 45 | ![]() |
add(D,pow(R,sub(P,D))) | 129657 | 148029309 | o2(x,o2(x,o2(x,x))) | true | 65663 | 65663 | -0.9181 | 0.04263 | 0.996 | 0.1521 | 0.3901 | -1 | 1 | 2 | 1 | 0.3097 | 0.01592 | 0.01483 | 0.01607 | 0.03526 | 1 | 0.00001238 | 0.06427 | 0.03187 | 0.03048 | 0.1746 | 10.86 | 2.828 | 0.2021 | 0.4224 | 1 | 1 | 0.02523 | 0.1082 | 0.2644 | 0.1658 | 0.7112 | 1.738 | json |
| t18_x46_u0_b46 | 18 | 46 | 0 | 46 | ![]() |
add(D,pow(R,mlt(P,D))) | 129658 | 148029310 | o2(x,o2(x,o2(x,x))) | true | 65671 | 65671 | -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_x46_u0_b47 | 18 | 46 | 0 | 47 | ![]() |
add(D,pow(R,div(P,D))) | 129659 | 148029311 | o2(x,o2(x,o2(x,x))) | true | 65679 | 65679 | -0.8613 | 0.07018 | 0.9953 | 0.2526 | 0.5026 | -1 | 1 | 2 | 1 | 0.4385 | 0.02359 | 0.02204 | 0.02542 | 0.03387 | 1 | -0.000007897 | 0.0942 | 0.04854 | 0.045 | 0.2121 | 8.347 | 2.828 | 0.1806 | 0.3728 | 1 | 1 | 0.04542 | 0.1885 | 0.601 | 0.1798 | 0.7459 | 2.379 | json |
| t18_x46_u0_b48 | 18 | 46 | 0 | 48 | ![]() |
add(D,pow(R,pow(P,D))) | 129660 | 148029312 | o2(x,o2(x,o2(x,x))) | true | 65687 | 65687 | -0.9585 | 0.02344 | 0.9946 | 0.07292 | 0.27 | -1 | 1 | 2 | 1 | 0.2319 | 0.0091 | 0.006108 | 0.009129 | 0.1968 | 1 | 0.00001121 | 0.03195 | 0.01712 | 0.01511 | 0.1229 | 13.47 | 2.654 | 0.2085 | 0.4381 | 1 | 1 | 0.01233 | 0.0521 | 0.1354 | 0.1691 | 0.7144 | 1.857 | json |
| t18_x46_u0_b49 | 18 | 46 | 0 | 49 | ![]() |
add(D,pow(R,mod(P,D))) | 129661 | 148029313 | o2(x,o2(x,o2(x,x))) | true | 65695 | 65695 | -0.8023 | 0.1006 | 0.9966 | 0.3499 | 0.5915 | -1 | 1 | 2 | 1 | 0.5736 | 0.2006 | 0.02878 | 0.1164 | 0.7491 | 1 | 0.00001021 | 0.6628 | 0.2338 | 0.2159 | 0.4647 | 3.991 | 2.828 | 0.6556 | 1.894 | 1 | 1 | 0.1419 | 0.3179 | 0.7528 | 0.4056 | 0.9086 | 2.151 | json |
| t18_x46_u0_b50 | 18 | 46 | 0 | 50 | ![]() |
add(D,pow(R,lrg(P,D))) | 129662 | 148029314 | o2(x,o2(x,o2(x,x))) | true | 65703 | 65703 | -0.07669 | 0.4766 | 0.9702 | 0.9408 | 0.97 | -1 | 1 | 2 | 1 | 1.784 | 0.02183 | 0.0108 | 0.02701 | 0.338 | 1 | 0.00001274 | 0.06794 | 0.0418 | 0.0319 | 0.1786 | 6.613 | 2.654 | 0.03468 | 0.07221 | 1 | 1 | 0.03776 | 0.1529 | 0.4525 | 0.04014 | 0.1625 | 0.4809 | json |
| t18_x46_u0_b51 | 18 | 46 | 0 | 51 | ![]() |
add(D,pow(R,eql(P,D))) | 129663 | 148029315 | o2(x,o2(x,o2(x,x))) | true | 65711 | 65711 | 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_x46_u0_b52 | 18 | 46 | 0 | 52 | ![]() |
add(D,pow(R,min(P,D))) | 129664 | 148029316 | o2(x,o2(x,o2(x,x))) | true | 65719 | 65719 | -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_x46_u0_b53 | 18 | 46 | 0 | 53 | ![]() |
add(D,pow(R,dot(P,D))) | 129665 | 148029317 | o2(x,o2(x,o2(x,x))) | true | 65727 | 65727 | -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_x46_u0_b54 | 18 | 46 | 0 | 54 | ![]() |
add(D,pow(R,dst(P,D))) | 129666 | 148029318 | o2(x,o2(x,o2(x,x))) | true | 65735 | 65735 | -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_x46_u0_b55 | 18 | 46 | 0 | 55 | ![]() |
add(D,mod(R,add(P,D))) | 129667 | 148029319 | o2(x,o2(x,o2(x,x))) | true | 65743 | 65743 | 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_x46_u0_b56 | 18 | 46 | 0 | 56 | ![]() |
add(D,mod(R,sub(P,D))) | 129668 | 148029320 | o2(x,o2(x,o2(x,x))) | true | 65751 | 65751 | 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_x46_u0_b57 | 18 | 46 | 0 | 57 | ![]() |
add(D,mod(R,mlt(P,D))) | 129669 | 148029321 | o2(x,o2(x,o2(x,x))) | true | 65759 | 65759 | -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_x46_u0_b58 | 18 | 46 | 0 | 58 | ![]() |
add(D,mod(R,div(P,D))) | 129670 | 148029322 | o2(x,o2(x,o2(x,x))) | true | 65767 | 65767 | -0.1199 | 0.4323 | 0.474 | 0.3114 | 0.5581 | -1 | 1 | 2 | 1 | 4.757 | 0.01734 | 0.002787 | 0.07463 | 0.723 | 1 | 0.00004893 | 0.02777 | 0.03602 | 0.01456 | 0.1206 | 1.617 | 1.974 | 0.06462 | 0.08917 | 1 | 1 | 0.0286 | 0.2022 | 0.5049 | 0.09184 | 0.6493 | 1.621 | json |
| t18_x46_u0_b59 | 18 | 46 | 0 | 59 | ![]() |
add(D,mod(R,pow(P,D))) | 129671 | 148029323 | o2(x,o2(x,o2(x,x))) | true | 65775 | 65775 | -0.573 | 0.1874 | 0.7067 | 0.3067 | 0.5538 | -1 | 1 | 2 | 1 | 3.032 | 0.01399 | 0.0009932 | 0.04277 | 0.8674 | 1 | 0.0003218 | 0.02519 | 0.03756 | 0.01315 | 0.1147 | 2.681 | 1.974 | 0.04884 | 0.08214 | 1 | 1 | 0.01898 | 0.1035 | 0.2074 | 0.06188 | 0.3375 | 0.6763 | json |
| t18_x46_u0_b60 | 18 | 46 | 0 | 60 | ![]() |
add(D,mod(R,mod(P,D))) | 129672 | 148029324 | o2(x,o2(x,o2(x,x))) | true | 65783 | 65783 | -0.253 | 0.3681 | 0.3376 | 0.1996 | 0.4468 | -1 | 0.3724 | 1.372 | 1 | 3.125 | 0.1393 | 0.00007163 | 0.1757 | 0.999 | 1 | -0.000001557 | 0.3433 | 0.3269 | 0.1085 | 0.3294 | 1.875 | 1.323 | 0.6982 | 1.72 | 1 | 1 | 0.1027 | 0.1721 | 0.1701 | 0.5143 | 0.8624 | 0.852 | json |
| t18_x46_u0_b61 | 18 | 46 | 0 | 61 | ![]() |
add(D,mod(R,lrg(P,D))) | 129673 | 148029325 | o2(x,o2(x,o2(x,x))) | true | 65791 | 65791 | -0.5735 | 0.2018 | 0.7335 | 0.3303 | 0.5747 | -1 | 1 | 2 | 1 | 3.06 | 0.009536 | 0.001295 | 0.0379 | 0.7609 | 1 | 0.0001656 | 0.01493 | 0.01851 | 0.009395 | 0.09693 | 2.557 | 1.974 | 0.03279 | 0.0452 | 1 | 1 | 0.01543 | 0.1069 | 0.2557 | 0.04673 | 0.3237 | 0.7743 | json |
| t18_x46_u0_b62 | 18 | 46 | 0 | 62 | ![]() |
add(D,mod(R,eql(P,D))) | 129674 | 148029326 | o2(x,o2(x,o2(x,x))) | true | 65799 | 65799 | -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_x46_u0_b63 | 18 | 46 | 0 | 63 | ![]() |
add(D,mod(R,min(P,D))) | 129675 | 148029327 | o2(x,o2(x,o2(x,x))) | true | 65807 | 65807 | -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_x46_u0_b64 | 18 | 46 | 0 | 64 | ![]() |
add(D,mod(R,dot(P,D))) | 129676 | 148029328 | o2(x,o2(x,o2(x,x))) | true | 65815 | 65815 | -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_x46_u0_b65 | 18 | 46 | 0 | 65 | ![]() |
add(D,mod(R,dst(P,D))) | 129677 | 148029329 | o2(x,o2(x,o2(x,x))) | true | 65823 | 65823 | 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_x46_u0_b66 | 18 | 46 | 0 | 66 | ![]() |
add(D,lrg(R,add(P,D))) | 129678 | 148029330 | o2(x,o2(x,o2(x,x))) | true | 65831 | 65831 | 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_x46_u0_b67 | 18 | 46 | 0 | 67 | ![]() |
add(D,lrg(R,sub(P,D))) | 129679 | 148029331 | o2(x,o2(x,o2(x,x))) | true | 65839 | 65839 | 0.48 | 0.7566 | 0.5231 | 0.2246 | 0.4739 | -0.1454 | 1 | 1.145 | 1 | 3.21 | 0.004015 | 0.0001715 | 0.03739 | 0.9181 | 1 | 0.0001487 | 0.004826 | 0.02273 | 0.00279 | 0.05282 | 1.413 | 1.001 | 0.01864 | 0.02149 | 1 | 1 | 0.006396 | 0.04073 | 0.08307 | 0.02848 | 0.1814 | 0.3699 | json |
| t18_x46_u0_b68 | 18 | 46 | 0 | 68 | ![]() |
add(D,lrg(R,mlt(P,D))) | 129680 | 148029332 | o2(x,o2(x,o2(x,x))) | true | 65847 | 65847 | 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_x46_u0_b69 | 18 | 46 | 0 | 69 | ![]() |
add(D,lrg(R,div(P,D))) | 129681 | 148029333 | o2(x,o2(x,o2(x,x))) | true | 65855 | 65855 | 0.5168 | 0.8545 | 0.5332 | 0.1448 | 0.3806 | -0.09672 | 1 | 1.097 | 1 | 3.897 | 0.06036 | 0.0001013 | 0.1192 | 0.9966 | 1 | 0.0002424 | 0.1125 | 0.124 | 0.04623 | 0.215 | 1.803 | 1.031 | 0.4174 | 0.7766 | 1 | 1 | 0.06374 | 0.2312 | 0.06484 | 0.4401 | 1.596 | 0.4476 | json |
| t18_x46_u0_b70 | 18 | 46 | 0 | 70 | ![]() |
add(D,lrg(R,pow(P,D))) | 129682 | 148029334 | o2(x,o2(x,o2(x,x))) | true | 65863 | 65863 | 0.4941 | 0.7796 | 0.5326 | 0.2131 | 0.4617 | -0.1454 | 1 | 1.145 | 1 | 3.401 | 0.007337 | 0.0002437 | 0.04225 | 0.9357 | 1 | -0.00006728 | 0.01133 | 0.02857 | 0.005796 | 0.07613 | 1.802 | 1.031 | 0.03557 | 0.05315 | 1 | 1 | 0.01065 | 0.057 | 0.1053 | 0.04995 | 0.2674 | 0.4942 | json |
| t18_x46_u0_b71 | 18 | 46 | 0 | 71 | ![]() |
add(D,lrg(R,mod(P,D))) | 129683 | 148029335 | o2(x,o2(x,o2(x,x))) | true | 65871 | 65871 | 0.4773 | 0.8427 | 0.5014 | 0.1578 | 0.3973 | -0.1454 | 1 | 1.145 | 1 | 4.011 | 0.02392 | 0.002101 | 0.09318 | 0.8385 | 1 | 0.00003277 | 0.05913 | 0.09252 | 0.01734 | 0.1317 | 1.413 | 1.055 | 0.1649 | 0.3747 | 1 | 1 | 0.0207 | 0.1334 | 0.26 | 0.1312 | 0.845 | 1.647 | json |
| t18_x46_u0_b72 | 18 | 46 | 0 | 72 | ![]() |
add(D,lrg(R,lrg(P,D))) | 129684 | 148029336 | o2(x,o2(x,o2(x,x))) | true | 65879 | 65879 | 0.2479 | 0.6667 | 0.307 | 0.1473 | 0.3837 | -0.1454 | 1 | 1.145 | 1 | 3.747 | 0.004535 | 0.00115 | 0.05224 | 0.5954 | 1 | 0.00006509 | 0.003778 | 0.02014 | 0.002958 | 0.05439 | 1.041 | 1.031 | 0.03861 | 0.02566 | 1 | 1 | 0.01042 | 0.08693 | 0.1553 | 0.07076 | 0.5903 | 1.054 | json |
| t18_x46_u0_b73 | 18 | 46 | 0 | 73 | ![]() |
add(D,lrg(R,eql(P,D))) | 129685 | 148029337 | o2(x,o2(x,o2(x,x))) | true | 65887 | 65887 | 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_x46_u0_b74 | 18 | 46 | 0 | 74 | ![]() |
add(D,lrg(R,min(P,D))) | 129686 | 148029338 | o2(x,o2(x,o2(x,x))) | true | 65895 | 65895 | 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_x46_u0_b75 | 18 | 46 | 0 | 75 | ![]() |
add(D,lrg(R,dot(P,D))) | 129687 | 148029339 | o2(x,o2(x,o2(x,x))) | true | 65903 | 65903 | 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_x46_u0_b76 | 18 | 46 | 0 | 76 | ![]() |
add(D,lrg(R,dst(P,D))) | 129688 | 148029340 | o2(x,o2(x,o2(x,x))) | true | 65911 | 65911 | 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_x46_u0_b77 | 18 | 46 | 0 | 77 | ![]() |
add(D,eql(R,add(P,D))) | 129689 | 148029341 | o2(x,o2(x,o2(x,x))) | true | 65919 | 65919 | 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_x46_u0_b78 | 18 | 46 | 0 | 78 | ![]() |
add(D,eql(R,sub(P,D))) | 129690 | 148029342 | o2(x,o2(x,o2(x,x))) | true | 65927 | 65927 | 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_x46_u0_b79 | 18 | 46 | 0 | 79 | ![]() |
add(D,eql(R,mlt(P,D))) | 129691 | 148029343 | o2(x,o2(x,o2(x,x))) | true | 65935 | 65935 | 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_x46_u0_b80 | 18 | 46 | 0 | 80 | ![]() |
add(D,eql(R,div(P,D))) | 129692 | 148029344 | o2(x,o2(x,o2(x,x))) | true | 65943 | 65943 | 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_x46_u0_b81 | 18 | 46 | 0 | 81 | ![]() |
add(D,eql(R,pow(P,D))) | 129693 | 148029345 | o2(x,o2(x,o2(x,x))) | true | 65951 | 65951 | 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_x46_u0_b82 | 18 | 46 | 0 | 82 | ![]() |
add(D,eql(R,mod(P,D))) | 129694 | 148029346 | o2(x,o2(x,o2(x,x))) | true | 65959 | 65959 | 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_x46_u0_b83 | 18 | 46 | 0 | 83 | ![]() |
add(D,eql(R,lrg(P,D))) | 129695 | 148029347 | o2(x,o2(x,o2(x,x))) | true | 65967 | 65967 | 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_x46_u0_b84 | 18 | 46 | 0 | 84 | ![]() |
add(D,eql(R,eql(P,D))) | 129696 | 148029348 | o2(x,o2(x,o2(x,x))) | true | 65975 | 65975 | 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_x46_u0_b85 | 18 | 46 | 0 | 85 | ![]() |
add(D,eql(R,min(P,D))) | 129697 | 148029349 | o2(x,o2(x,o2(x,x))) | true | 65983 | 65983 | 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_x46_u0_b86 | 18 | 46 | 0 | 86 | ![]() |
add(D,eql(R,dot(P,D))) | 129698 | 148029350 | o2(x,o2(x,o2(x,x))) | true | 65991 | 65991 | 0.00002848 | 0.5 | 0.09438 | 0.01084 | 0.1041 | -0.1454 | 1 | 1.145 | 1 | 2.562 | 0.001634 | 0.00001352 | 0.03612 | 0.9836 | 1 | 0.00001031 | 0.0002819 | 0.01463 | 0.0003437 | 0.01854 | 0.5132 | 0.8737 | 0.1519 | 0.026 | 1 | 1 | 0.003151 | 0.02183 | 0.00001123 | 0.2906 | 2.013 | 0.001036 | json |
| t18_x46_u0_b87 | 18 | 46 | 0 | 87 | ![]() |
add(D,eql(R,dst(P,D))) | 129699 | 148029351 | o2(x,o2(x,o2(x,x))) | true | 65999 | 65999 | 0.000003656 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.2619 | 0.4073 | 1 | 2.562 | 0.001633 | 9.041e-7 | 0.03611 | 0.9989 | 1 | 0 | 0.0002653 | 0.01462 | 0.0003314 | 0.01821 | 0.5042 | 0.1871 | 0.151 | 0.02452 | 1 | 1 | 0.003153 | 0.02183 | 0.00000159 | 0.2913 | 2.017 | 0.000147 | json |



































































































