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_x46_u0_b188 | 18 | 46 | 0 | 188 | ![]() |
sub(D,lrg(R,sub(P,D))) | 129800 | 148029452 | o2(x,o2(x,o2(x,x))) | true | 66807 | 66807 | -0.4805 | 0.2211 | 0.522 | 0.2148 | 0.4635 | -1 | 0.1454 | 1.145 | 1 | 3.403 | 0.003301 | 0.0001705 | 0.0349 | 0.9017 | 1 | 0.000009609 | 0.004539 | 0.01996 | 0.002255 | 0.04748 | 1.361 | 0.9369 | 0.01616 | 0.02113 | 1 | 1 | 0.005115 | 0.03217 | 0.08007 | 0.02381 | 0.1497 | 0.3727 | json |
| t18_x46_u0_b189 | 18 | 46 | 0 | 189 | ![]() |
sub(D,lrg(R,mlt(P,D))) | 129801 | 148029453 | o2(x,o2(x,o2(x,x))) | true | 66815 | 66815 | -0.5234 | 0.1262 | 0.5377 | 0.1346 | 0.3669 | -1 | 0.1454 | 1.145 | 1 | 3.992 | 0.03996 | 0.001089 | 0.112 | 0.9469 | 1 | 0.0002235 | 0.07064 | 0.1052 | 0.0285 | 0.1688 | 1.507 | 1.049 | 0.3049 | 0.5247 | 1 | 1 | 0.045 | 0.1994 | 0.1674 | 0.3342 | 1.481 | 1.243 | json |
| t18_x46_u0_b190 | 18 | 46 | 0 | 190 | ![]() |
sub(D,lrg(R,div(P,D))) | 129802 | 148029454 | o2(x,o2(x,o2(x,x))) | true | 66823 | 66823 | -0.5168 | 0.1455 | 0.5332 | 0.1448 | 0.3806 | -1 | 0.09672 | 1.097 | 1 | 3.897 | 0.06034 | 0.0001013 | 0.119 | 0.9966 | 1 | -0.0002424 | 0.1125 | 0.124 | 0.04629 | 0.2151 | 1.808 | 1.031 | 0.4173 | 0.7766 | 1 | 1 | 0.06448 | 0.2415 | 0.06484 | 0.4452 | 1.667 | 0.4476 | json |
| t18_x46_u0_b191 | 18 | 46 | 0 | 191 | ![]() |
sub(D,lrg(R,pow(P,D))) | 129803 | 148029455 | o2(x,o2(x,o2(x,x))) | true | 66831 | 66831 | -0.4952 | 0.2089 | 0.5311 | 0.2095 | 0.4577 | -1 | 0.1454 | 1.145 | 1 | 3.432 | 0.007179 | 0.0002412 | 0.04301 | 0.935 | 1 | 0.0001994 | 0.01083 | 0.02815 | 0.005571 | 0.07464 | 1.736 | 1.032 | 0.03542 | 0.05172 | 1 | 1 | 0.009934 | 0.05213 | 0.1026 | 0.04742 | 0.2489 | 0.4896 | json |
| t18_x46_u0_b192 | 18 | 46 | 0 | 192 | ![]() |
sub(D,lrg(R,mod(P,D))) | 129804 | 148029456 | o2(x,o2(x,o2(x,x))) | true | 66839 | 66839 | -0.4775 | 0.1544 | 0.5011 | 0.1565 | 0.3956 | -1 | 0.1454 | 1.145 | 1 | 4.018 | 0.02383 | 0.0021 | 0.09297 | 0.8381 | 1 | -0.00001081 | 0.05906 | 0.09268 | 0.01729 | 0.1315 | 1.415 | 1.055 | 0.1657 | 0.3773 | 1 | 1 | 0.02005 | 0.13 | 0.2588 | 0.1281 | 0.8308 | 1.653 | json |
| t18_x46_u0_b193 | 18 | 46 | 0 | 193 | ![]() |
sub(D,lrg(R,lrg(P,D))) | 129805 | 148029457 | o2(x,o2(x,o2(x,x))) | true | 66847 | 66847 | -0.2488 | 0.3074 | 0.3042 | 0.1394 | 0.3734 | -1 | 0.1454 | 1.145 | 1 | 3.805 | 0.003747 | 0.001152 | 0.0505 | 0.5298 | 1 | 9.834e-8 | 0.00362 | 0.01862 | 0.00235 | 0.04847 | 0.9599 | 0.9378 | 0.03513 | 0.02596 | 1 | 1 | 0.008382 | 0.07281 | 0.1567 | 0.06012 | 0.5222 | 1.124 | json |
| t18_x46_u0_b194 | 18 | 46 | 0 | 194 | ![]() |
sub(D,lrg(R,eql(P,D))) | 129806 | 148029458 | o2(x,o2(x,o2(x,x))) | true | 66855 | 66855 | -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_x46_u0_b195 | 18 | 46 | 0 | 195 | ![]() |
sub(D,lrg(R,min(P,D))) | 129807 | 148029459 | o2(x,o2(x,o2(x,x))) | true | 66863 | 66863 | -0.7032 | 0.07973 | 0.7129 | 0.1368 | 0.3698 | -1 | 0.1454 | 1.145 | 1 | 3.206 | 0.01132 | 0.001122 | 0.05804 | 0.8196 | 1 | -0.00005184 | 0.0181 | 0.04483 | 0.009072 | 0.09525 | 1.641 | 1.048 | 0.09096 | 0.1323 | 1 | 1 | 0.0146 | 0.09542 | 0.1627 | 0.1067 | 0.6976 | 1.19 | json |
| t18_x46_u0_b196 | 18 | 46 | 0 | 196 | ![]() |
sub(D,lrg(R,dot(P,D))) | 129808 | 148029460 | o2(x,o2(x,o2(x,x))) | true | 66871 | 66871 | -0.5437 | 0.07623 | 0.5517 | 0.1111 | 0.3333 | -1 | 0.1454 | 1.145 | 1 | 4.051 | 0.03068 | 0.02902 | 0.1374 | 0.02783 | 1 | 0.001573 | 0.1828 | 0.1657 | 0.04082 | 0.202 | 1.47 | 1.448 | 0.5375 | 1.645 | 1 | 1 | 0.0615 | 0.221 | 0.1234 | 0.5536 | 1.989 | 1.111 | json |
| t18_x46_u0_b197 | 18 | 46 | 0 | 197 | ![]() |
sub(D,lrg(R,dst(P,D))) | 129809 | 148029461 | o2(x,o2(x,o2(x,x))) | true | 66879 | 66879 | -0.004053 | 0.4958 | 0.0975 | 0.0132 | 0.1149 | -1 | 0.1454 | 1.145 | 1 | 2.633 | 0.001697 | 0.00007002 | 0.03686 | 0.9207 | 1 | 2.863e-11 | 0.0004927 | 0.01524 | 0.0004092 | 0.02023 | 0.5487 | 0.4259 | 0.1339 | 0.03732 | 1 | 1 | 0.003502 | 0.02522 | 0.008641 | 0.2653 | 1.911 | 0.6545 | json |
| t18_x46_u0_b198 | 18 | 46 | 0 | 198 | ![]() |
sub(D,eql(R,add(P,D))) | 129810 | 148029462 | o2(x,o2(x,o2(x,x))) | true | 66887 | 66887 | 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_b199 | 18 | 46 | 0 | 199 | ![]() |
sub(D,eql(R,sub(P,D))) | 129811 | 148029463 | o2(x,o2(x,o2(x,x))) | true | 66895 | 66895 | 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_b200 | 18 | 46 | 0 | 200 | ![]() |
sub(D,eql(R,mlt(P,D))) | 129812 | 148029464 | o2(x,o2(x,o2(x,x))) | true | 66903 | 66903 | -0.00004008 | 0.4998 | 0.09437 | 0.01083 | 0.1041 | -0.2502 | 0.1454 | 0.3957 | 1 | 2.562 | 0.001646 | 1.509e-7 | 0.03614 | 0.9998 | 1 | -1.17e-7 | 0.0003003 | 0.01471 | 0.000341 | 0.01847 | 0.511 | 0.3588 | 0.1521 | 0.02773 | 1 | 1 | 0.003151 | 0.02183 | 0.000007865 | 0.291 | 2.016 | 0.0007264 | json |
| t18_x47_u0_b0 | 18 | 47 | 0 | 0 | ![]() |
add(D,add(R,add(P,R))) | 129813 | 148069665 | o2(x,o2(x,o2(x,x))) | true | 66911 | 66911 | 0.01259 | 0.5069 | 0.946 | 0.9267 | 0.9626 | -1 | 1 | 2 | 1 | 1.899 | 0.002237 | 0.001447 | 0.01791 | 0.2146 | 1 | -0.00004005 | 0.0008783 | 0.006876 | 0.003363 | 0.05799 | 3.238 | 0.4527 | 0.003975 | 0.0009478 | 1 | 1 | 0.008681 | 0.09525 | 0.3716 | 0.009368 | 0.1028 | 0.4011 | json |
| t18_x47_u0_b1 | 18 | 47 | 0 | 1 | ![]() |
add(D,add(R,sub(P,R))) | 129814 | 148069666 | o2(x,o2(x,o2(x,x))) | true | 66919 | 66919 | 0 | 0.5 | 0.9375 | 0.9165 | 0.9574 | -1 | 1 | 2 | 1 | 1.979 | 0.0004883 | 0 | 0.007937 | 1 | 1 | 0 | 0.0000155 | 0.000496 | 0.0004253 | 0.02062 | 2.598 | 0.0625 | 0.0005327 | 0.00001691 | 1 | 1 | 0.001285 | 0.01928 | 0.2245 | 0.001402 | 0.02104 | 0.245 | json |
| t18_x47_u0_b2 | 18 | 47 | 0 | 2 | ![]() |
add(D,add(R,mlt(P,R))) | 129815 | 148069667 | o2(x,o2(x,o2(x,x))) | true | 66927 | 66927 | -0.06416 | 0.4695 | 0.7295 | 0.6464 | 0.804 | -1 | 1 | 2 | 1 | 3.782 | 0.01795 | 0.01982 | 0.09817 | -0.04967 | 1 | -0.0000457 | 0.02091 | 0.05202 | 0.02813 | 0.1677 | 1.709 | 1.662 | 0.05842 | 0.03235 | 1 | 1 | 0.05468 | 0.4774 | 1.033 | 0.08459 | 0.7385 | 1.598 | json |
| t18_x47_u0_b3 | 18 | 47 | 0 | 3 | ![]() |
add(D,add(R,div(P,R))) | 129816 | 148069668 | o2(x,o2(x,o2(x,x))) | true | 66935 | 66935 | -0.03774 | 0.4783 | 0.933 | 0.9095 | 0.9537 | -1 | 1 | 2 | 1 | 2.021 | 0.06433 | 0.07967 | 0.1142 | -0.1065 | 1 | -0.000002833 | 0.285 | 0.1612 | 0.131 | 0.3619 | 3.168 | 2.828 | 0.1583 | 0.3133 | 1 | 1 | 0.1631 | 0.8386 | 1.857 | 0.1793 | 0.922 | 2.041 | json |
| t18_x47_u0_b4 | 18 | 47 | 0 | 4 | ![]() |
add(D,add(R,pow(P,R))) | 129817 | 148069669 | o2(x,o2(x,o2(x,x))) | true | 66943 | 66943 | -0.254 | 0.3953 | 0.8831 | 0.7788 | 0.8825 | -1 | 1 | 2 | 1 | 2.461 | 0.01568 | 0.007149 | 0.03758 | 0.3736 | 1 | -0.00001659 | 0.03809 | 0.0321 | 0.02142 | 0.1464 | 3.894 | 2.828 | 0.02931 | 0.0489 | 1 | 1 | 0.03259 | 0.1771 | 0.4949 | 0.04185 | 0.2273 | 0.6355 | json |
| t18_x47_u0_b5 | 18 | 47 | 0 | 5 | ![]() |
add(D,add(R,mod(P,R))) | 129818 | 148069670 | o2(x,o2(x,o2(x,x))) | true | 66951 | 66951 | 0.02338 | 0.5206 | 0.398 | 0.2466 | 0.4966 | -1 | 1 | 2 | 1 | 4.84 | 0.004479 | 0.002968 | 0.07135 | 0.2029 | 1 | -0.00001506 | 0.0007974 | 0.01934 | 0.002357 | 0.04855 | 0.6804 | 0.2954 | 0.0302 | 0.003233 | 1 | 1 | 0.01443 | 0.1646 | 0.3943 | 0.05853 | 0.6673 | 1.599 | json |
| t18_x47_u0_b6 | 18 | 47 | 0 | 6 | ![]() |
add(D,add(R,lrg(P,R))) | 129819 | 148069671 | o2(x,o2(x,o2(x,x))) | true | 66959 | 66959 | 0.4265 | 0.7779 | 0.5934 | 0.2783 | 0.5275 | -1 | 1 | 2 | 1 | 4.377 | 0.003066 | 0.002321 | 0.05627 | 0.1383 | 1 | -0.00008377 | 0.0007419 | 0.01708 | 0.002222 | 0.04714 | 0.8377 | 0.2845 | 0.01936 | 0.002666 | 1 | 1 | 0.01018 | 0.1113 | 0.2725 | 0.03658 | 0.4002 | 0.9795 | json |
| t18_x47_u0_b7 | 18 | 47 | 0 | 7 | ![]() |
add(D,add(R,eql(P,R))) | 129820 | 148069672 | o2(x,o2(x,o2(x,x))) | true | 66967 | 66967 | 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_x47_u0_b8 | 18 | 47 | 0 | 8 | ![]() |
add(D,add(R,min(P,R))) | 129821 | 148069673 | o2(x,o2(x,o2(x,x))) | true | 66975 | 66975 | -0.4864 | 0.2432 | 0.7948 | 0.4906 | 0.7004 | -1 | 1 | 2 | 1 | 3.161 | 0.00551 | 0.004806 | 0.05596 | 0.06823 | 1 | 0.00009308 | 0.001768 | 0.01733 | 0.007188 | 0.08479 | 1.515 | 0.4477 | 0.02103 | 0.003605 | 1 | 1 | 0.02053 | 0.2322 | 0.5923 | 0.04184 | 0.4734 | 1.207 | json |
| t18_x47_u0_b9 | 18 | 47 | 0 | 9 | ![]() |
add(D,add(R,dot(P,R))) | 129822 | 148069674 | o2(x,o2(x,o2(x,x))) | true | 66983 | 66983 | -0.09371 | 0.4537 | 0.8444 | 0.7878 | 0.8876 | -1 | 1 | 2 | 1 | 2.904 | 0.02546 | 0.03255 | 0.1028 | -0.1222 | 1 | 0.00004019 | 0.04649 | 0.07516 | 0.04744 | 0.2178 | 2.119 | 1.856 | 0.07363 | 0.05901 | 1 | 1 | 0.07509 | 0.576 | 1.384 | 0.09532 | 0.7311 | 1.757 | json |
| t18_x47_u0_b10 | 18 | 47 | 0 | 10 | ![]() |
add(D,add(R,dst(P,R))) | 129823 | 148069675 | o2(x,o2(x,o2(x,x))) | true | 66991 | 66991 | 0.9981 | 1 | 0.9981 | 0.0008337 | 0.02887 | 0.2567 | 1 | 0.7433 | 1 | 0.06768 | 0.00004764 | 0.00004656 | 0.0007187 | 0.01151 | 0 | -5.632e-12 | 0.00004758 | 0.000474 | 0.00009367 | 0.009678 | 13.47 | 0.2629 | 0.113 | 0.05708 | 1 | 1 | 0.000298 | 0.002162 | 0.00304 | 0.3575 | 2.593 | 3.646 | json |
| t18_x47_u0_b11 | 18 | 47 | 0 | 11 | ![]() |
add(D,sub(R,add(P,R))) | 129824 | 148069676 | o2(x,o2(x,o2(x,x))) | true | 66999 | 66999 | 0 | 0.5 | 0.9375 | 0.9252 | 0.9619 | -1 | 1 | 2 | 1 | 1.774 | 0.001323 | 0 | 0.01101 | 1 | 1 | 0 | 0.0002527 | 0.005079 | 0.001202 | 0.03468 | 3.15 | 0.1713 | 0.00143 | 0.0002731 | 1 | 1 | 0.003342 | 0.0331 | 0.2361 | 0.003612 | 0.03578 | 0.2552 | json |
| t18_x47_u0_b12 | 18 | 47 | 0 | 12 | ![]() |
add(D,sub(R,sub(P,R))) | 129825 | 148069677 | o2(x,o2(x,o2(x,x))) | true | 67007 | 67007 | 0.009223 | 0.5072 | 0.939 | 0.9172 | 0.9577 | -1 | 1 | 2 | 1 | 2 | 0.003142 | 0.001605 | 0.02127 | 0.3239 | 1 | -0.0000321 | 0.001297 | 0.00911 | 0.004297 | 0.06555 | 3.081 | 0.6039 | 0.005176 | 0.001414 | 1 | 1 | 0.0111 | 0.1074 | 0.3615 | 0.0121 | 0.1171 | 0.3941 | json |
| t18_x47_u0_b13 | 18 | 47 | 0 | 13 | ![]() |
add(D,sub(R,mlt(P,R))) | 129826 | 148069678 | o2(x,o2(x,o2(x,x))) | true | 67015 | 67015 | 0.0608 | 0.5379 | 0.7298 | 0.6482 | 0.8051 | -1 | 1 | 2 | 1 | 3.75 | 0.01725 | 0.01994 | 0.09434 | -0.07226 | 1 | 0.00004755 | 0.0215 | 0.05126 | 0.02829 | 0.1682 | 1.783 | 1.482 | 0.05737 | 0.03316 | 1 | 1 | 0.05263 | 0.4449 | 1.06 | 0.0812 | 0.6864 | 1.635 | json |
| t18_x47_u0_b14 | 18 | 47 | 0 | 14 | ![]() |
add(D,sub(R,div(P,R))) | 129827 | 148069679 | o2(x,o2(x,o2(x,x))) | true | 67023 | 67023 | 0.04832 | 0.5219 | 0.9337 | 0.9085 | 0.9532 | -1 | 1 | 2 | 1 | 2.017 | 0.06443 | 0.07949 | 0.1136 | -0.1046 | 1 | 0.000007357 | 0.2845 | 0.161 | 0.1309 | 0.3618 | 3.184 | 2.828 | 0.1584 | 0.3131 | 1 | 1 | 0.163 | 0.8362 | 1.872 | 0.1794 | 0.9204 | 2.06 | json |
| t18_x47_u0_b15 | 18 | 47 | 0 | 15 | ![]() |
add(D,sub(R,pow(P,R))) | 129828 | 148069680 | o2(x,o2(x,o2(x,x))) | true | 67031 | 67031 | -0.9662 | 0.008041 | 0.9732 | 0.02668 | 0.1633 | -1 | 0.9017 | 1.902 | 1 | 0.7136 | 0.003914 | 0.00181 | 0.01148 | 0.3675 | 1 | 0.00003966 | 0.01055 | 0.01236 | 0.005592 | 0.07478 | 6.513 | 1.902 | 0.2145 | 0.3956 | 1 | 1 | 0.008425 | 0.03843 | 0.06554 | 0.3157 | 1.44 | 2.456 | json |
| t18_x47_u0_b16 | 18 | 47 | 0 | 16 | ![]() |
add(D,sub(R,mod(P,R))) | 129829 | 148069681 | o2(x,o2(x,o2(x,x))) | true | 67039 | 67039 | -0.0001861 | 0.4956 | 0.4251 | 0.2729 | 0.5224 | -1 | 1 | 2 | 1 | 4.877 | 0.004379 | 0.003533 | 0.07397 | 0.107 | 1 | 0.00002092 | 0.0008516 | 0.0201 | 0.002441 | 0.0494 | 0.6679 | 0.2948 | 0.029 | 0.003121 | 1 | 1 | 0.01586 | 0.1793 | 0.3732 | 0.05813 | 0.657 | 1.368 | json |
| t18_x47_u0_b17 | 18 | 47 | 0 | 17 | ![]() |
add(D,sub(R,lrg(P,R))) | 129830 | 148069682 | o2(x,o2(x,o2(x,x))) | true | 67047 | 67047 | -0.3866 | 0.2727 | 0.6154 | 0.3428 | 0.5855 | -1 | 1 | 2 | 1 | 4.274 | 0.003945 | 0.002645 | 0.0587 | 0.1972 | 1 | -0.000004124 | 0.0009853 | 0.0183 | 0.003144 | 0.05607 | 0.9552 | 0.3876 | 0.01922 | 0.002874 | 1 | 1 | 0.01365 | 0.1469 | 0.3627 | 0.03982 | 0.4286 | 1.058 | json |
| t18_x47_u0_b18 | 18 | 47 | 0 | 18 | ![]() |
add(D,sub(R,eql(P,R))) | 129831 | 148069683 | o2(x,o2(x,o2(x,x))) | true | 67055 | 67055 | 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_x47_u0_b19 | 18 | 47 | 0 | 19 | ![]() |
add(D,sub(R,min(P,R))) | 129832 | 148069684 | o2(x,o2(x,o2(x,x))) | true | 67063 | 67063 | 0.4757 | 0.7454 | 0.5228 | 0.2433 | 0.4933 | -0.1454 | 1 | 1.145 | 1 | 2.734 | 0.001456 | 0.0001292 | 0.02432 | 0.8371 | 1 | 0.0001404 | 0.0003182 | 0.009944 | 0.0009944 | 0.03153 | 1.297 | 0.2657 | 0.006516 | 0.001308 | 1 | 1 | 0.003393 | 0.02709 | 0.07592 | 0.01394 | 0.1113 | 0.312 | json |
| t18_x47_u0_b20 | 18 | 47 | 0 | 20 | ![]() |
add(D,sub(R,dot(P,R))) | 129833 | 148069685 | o2(x,o2(x,o2(x,x))) | true | 67071 | 67071 | 0.09522 | 0.5471 | 0.8481 | 0.7892 | 0.8883 | -1 | 1 | 2 | 1 | 2.946 | 0.02492 | 0.03381 | 0.105 | -0.1513 | 1 | 0.00001096 | 0.0471 | 0.07577 | 0.04768 | 0.2184 | 2.079 | 2.001 | 0.07442 | 0.05969 | 1 | 1 | 0.0755 | 0.586 | 1.371 | 0.09567 | 0.7426 | 1.737 | json |
| t18_x47_u0_b21 | 18 | 47 | 0 | 21 | ![]() |
add(D,sub(R,dst(P,R))) | 129834 | 148069686 | o2(x,o2(x,o2(x,x))) | true | 67079 | 67079 | -0.9941 | 0 | 0.9941 | 0.002965 | 0.05446 | -1 | -0.04519 | 0.9548 | 1 | 0.1644 | 0.0001286 | 0.0000824 | 0.001677 | 0.2188 | 1 | -5.256e-11 | 0.00008756 | 0.0009152 | 0.0002082 | 0.01443 | 8.606 | 0.2973 | 0.07114 | 0.02953 | 1 | 1 | 0.0006775 | 0.005465 | 0.009485 | 0.2285 | 1.843 | 3.198 | json |
| t18_x47_u0_b22 | 18 | 47 | 0 | 22 | ![]() |
add(D,mlt(R,add(P,R))) | 129835 | 148069687 | o2(x,o2(x,o2(x,x))) | true | 67087 | 67087 | 0.06062 | 0.5441 | 0.7439 | 0.6611 | 0.8131 | -1 | 1 | 2 | 1 | 3.764 | 0.01706 | 0.01919 | 0.09545 | -0.05875 | 1 | -0.00008166 | 0.02002 | 0.05077 | 0.02714 | 0.1648 | 1.726 | 1.49 | 0.05483 | 0.03029 | 1 | 1 | 0.0513 | 0.4465 | 1.005 | 0.07761 | 0.6755 | 1.52 | json |
| t18_x47_u0_b23 | 18 | 47 | 0 | 23 | ![]() |
add(D,mlt(R,sub(P,R))) | 129836 | 148069688 | o2(x,o2(x,o2(x,x))) | true | 67095 | 67095 | -0.1854 | 0.3905 | 0.7366 | 0.6239 | 0.7899 | -1 | 1 | 2 | 1 | 3.716 | 0.01691 | 0.01931 | 0.09488 | -0.06627 | 1 | -0.000008498 | 0.01992 | 0.05114 | 0.02722 | 0.165 | 1.739 | 1.435 | 0.05805 | 0.03194 | 1 | 1 | 0.05137 | 0.4439 | 1.005 | 0.08233 | 0.7115 | 1.611 | json |
| t18_x47_u0_b24 | 18 | 47 | 0 | 24 | ![]() |
add(D,mlt(R,mlt(P,R))) | 129837 | 148069689 | o2(x,o2(x,o2(x,x))) | true | 67103 | 67103 | 0.0004601 | 0.5051 | 0.6754 | 0.5836 | 0.764 | -1 | 1 | 2 | 1 | 4.035 | 0.002652 | 0.00243 | 0.0425 | 0.04361 | 1 | 0.00006986 | 0.001821 | 0.01835 | 0.003275 | 0.05723 | 1.347 | 0.4418 | 0.008707 | 0.003121 | 1 | 1 | 0.008241 | 0.07852 | 0.2332 | 0.01412 | 0.1345 | 0.3995 | json |
| t18_x47_u0_b25 | 18 | 47 | 0 | 25 | ![]() |
add(D,mlt(R,div(P,R))) | 129838 | 148069690 | o2(x,o2(x,o2(x,x))) | true | 67111 | 67111 | 0 | 0.5 | 0.9375 | 0.9165 | 0.9574 | -1 | 1 | 2 | 1 | 1.979 | 0.0004883 | 1.105e-17 | 0.007937 | 1 | 1 | -3.51e-10 | 0.0000155 | 0.000496 | 0.0004253 | 0.02062 | 2.598 | 0.0625 | 0.0005327 | 0.00001691 | 1 | 1 | 0.001285 | 0.01928 | 0.2245 | 0.001402 | 0.02104 | 0.2449 | json |
| t18_x47_u0_b26 | 18 | 47 | 0 | 26 | ![]() |
add(D,mlt(R,pow(P,R))) | 129839 | 148069691 | o2(x,o2(x,o2(x,x))) | true | 67119 | 67119 | -0.4126 | 0.2772 | 0.7489 | 0.5258 | 0.7251 | -1 | 1 | 2 | 1 | 2.86 | 0.009272 | 0.003716 | 0.03745 | 0.4278 | 1 | 0.0000346 | 0.01846 | 0.02443 | 0.01159 | 0.1076 | 2.874 | 2.541 | 0.0247 | 0.0351 | 1 | 1 | 0.01894 | 0.1258 | 0.3421 | 0.03603 | 0.2393 | 0.6507 | json |
| t18_x47_u0_b27 | 18 | 47 | 0 | 27 | ![]() |
add(D,mlt(R,mod(P,R))) | 129840 | 148069692 | o2(x,o2(x,o2(x,x))) | true | 67127 | 67127 | -0.009018 | 0.4837 | 0.1517 | 0.04053 | 0.2013 | -0.8219 | 0.8408 | 1.663 | 1 | 3.677 | 0.001981 | 0.0003527 | 0.04254 | 0.6977 | 1 | -0.00001264 | 0.0002952 | 0.01475 | 0.0005244 | 0.0229 | 0.5384 | 0.1793 | 0.05758 | 0.007284 | 1 | 1 | 0.00462 | 0.0405 | 0.05603 | 0.114 | 0.9994 | 1.383 | json |
| t18_x47_u0_b28 | 18 | 47 | 0 | 28 | ![]() |
add(D,mlt(R,lrg(P,R))) | 129841 | 148069693 | o2(x,o2(x,o2(x,x))) | true | 67135 | 67135 | -0.02581 | 0.4745 | 0.248 | 0.1186 | 0.3444 | -1 | 1 | 2 | 1 | 4.286 | 0.003188 | 0.001463 | 0.05668 | 0.3708 | 1 | -0.000002631 | 0.0004415 | 0.01698 | 0.00144 | 0.03795 | 0.6695 | 0.2511 | 0.03921 | 0.003723 | 1 | 1 | 0.009136 | 0.09924 | 0.1991 | 0.07704 | 0.8368 | 1.679 | json |
| t18_x47_u0_b29 | 18 | 47 | 0 | 29 | ![]() |
add(D,mlt(R,eql(P,R))) | 129842 | 148069694 | o2(x,o2(x,o2(x,x))) | true | 67143 | 67143 | 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_b30 | 18 | 47 | 0 | 30 | ![]() |
add(D,mlt(R,min(P,R))) | 129843 | 148069695 | o2(x,o2(x,o2(x,x))) | true | 67151 | 67151 | 0.1394 | 0.6968 | 0.5417 | 0.3993 | 0.6319 | -1 | 1 | 2 | 1 | 4.363 | 0.00932 | 0.0106 | 0.07182 | -0.06443 | 1 | 0.0001161 | 0.01038 | 0.03268 | 0.01477 | 0.1215 | 1.692 | 1.303 | 0.0499 | 0.026 | 1 | 1 | 0.02995 | 0.2555 | 0.5492 | 0.07502 | 0.6398 | 1.376 | json |
| t18_x47_u0_b31 | 18 | 47 | 0 | 31 | ![]() |
add(D,mlt(R,dot(P,R))) | 129844 | 148069696 | o2(x,o2(x,o2(x,x))) | true | 67159 | 67159 | 0.04221 | 0.513 | 0.7406 | 0.6661 | 0.8161 | -1 | 1 | 2 | 1 | 3.642 | 0.007848 | 0.006633 | 0.06193 | 0.08388 | 1 | -0.000009658 | 0.006157 | 0.03043 | 0.01065 | 0.1032 | 1.666 | 1.166 | 0.02174 | 0.009244 | 1 | 1 | 0.02066 | 0.1996 | 0.5062 | 0.03102 | 0.2996 | 0.76 | json |
| t18_x47_u0_b32 | 18 | 47 | 0 | 32 | ![]() |
add(D,mlt(R,dst(P,R))) | 129845 | 148069697 | o2(x,o2(x,o2(x,x))) | true | 67167 | 67167 | -0.0103 | 0.4958 | 0.8637 | 0.8191 | 0.905 | -1 | 1 | 2 | 1 | 2.798 | 0.0267 | 0.03048 | 0.1033 | -0.06607 | 1 | 0.00007223 | 0.04306 | 0.07329 | 0.04649 | 0.2156 | 2.087 | 1.931 | 0.0698 | 0.05256 | 1 | 1 | 0.0791 | 0.6154 | 1.393 | 0.09657 | 0.7514 | 1.701 | json |
| t18_x47_u0_b33 | 18 | 47 | 0 | 33 | ![]() |
add(D,div(R,add(P,R))) | 129846 | 148069698 | o2(x,o2(x,o2(x,x))) | true | 67175 | 67175 | -0.01486 | 0.4687 | 0.2301 | 0.1214 | 0.3484 | -1 | 1 | 2 | 1 | 4.073 | 0.004305 | 0.001461 | 0.05185 | 0.4931 | 1 | 0.00004334 | 0.001542 | 0.01936 | 0.003078 | 0.05548 | 1.07 | 0.7985 | 0.0475 | 0.0127 | 1 | 1 | 0.01119 | 0.1079 | 0.2344 | 0.09214 | 0.8892 | 1.931 | json |
| t18_x47_u0_b34 | 18 | 47 | 0 | 34 | ![]() |
add(D,div(R,sub(P,R))) | 129847 | 148069699 | o2(x,o2(x,o2(x,x))) | true | 67183 | 67183 | 0.02761 | 0.519 | 0.2388 | 0.1327 | 0.3643 | -1 | 1 | 2 | 1 | 4.052 | 0.005223 | 0.002072 | 0.05299 | 0.4319 | 1 | -0.00005693 | 0.003759 | 0.02144 | 0.004488 | 0.06699 | 1.264 | 1.938 | 0.05497 | 0.02832 | 1 | 1 | 0.01322 | 0.1246 | 0.2376 | 0.09961 | 0.939 | 1.79 | json |
| t18_x47_u0_b35 | 18 | 47 | 0 | 35 | ![]() |
add(D,div(R,mlt(P,R))) | 129848 | 148069700 | o2(x,o2(x,o2(x,x))) | true | 67191 | 67191 | -0.125 | 0.4375 | 0.3917 | 0.2433 | 0.4932 | -1 | 1 | 2 | 1 | 4.346 | 0.01777 | 1.929e-17 | 0.04264 | 1 | 1 | 2.614e-9 | 0.03206 | 0.02974 | 0.01595 | 0.1263 | 2.963 | 2 | 0.07305 | 0.1318 | 1 | 1 | 0.02482 | 0.1101 | 0.2567 | 0.102 | 0.4525 | 1.055 | json |
| t18_x47_u0_b36 | 18 | 47 | 0 | 36 | ![]() |
add(D,div(R,div(P,R))) | 129849 | 148069701 | o2(x,o2(x,o2(x,x))) | true | 67199 | 67199 | -0.1269 | 0.4346 | 0.2515 | 0.1433 | 0.3786 | -1 | 0.9923 | 1.992 | 1 | 3.704 | 0.01174 | 0.00009719 | 0.04279 | 0.9836 | 1 | 0.000005641 | 0.02007 | 0.02949 | 0.01001 | 0.1 | 2.337 | 1.921 | 0.08261 | 0.14 | 1 | 1 | 0.01623 | 0.07677 | 0.1952 | 0.1133 | 0.5357 | 1.362 | json |
| t18_x47_u0_b37 | 18 | 47 | 0 | 37 | ![]() |
add(D,div(R,pow(P,R))) | 129850 | 148069702 | o2(x,o2(x,o2(x,x))) | true | 67207 | 67207 | -0.6837 | 0.1538 | 0.7583 | 0.2335 | 0.4832 | -1 | 1 | 2 | 1 | 2.589 | 0.007846 | 0.003085 | 0.03818 | 0.4356 | 1 | 0.0001981 | 0.01378 | 0.02204 | 0.009477 | 0.09735 | 2.55 | 2.098 | 0.04682 | 0.05901 | 1 | 1 | 0.01605 | 0.1107 | 0.2729 | 0.06873 | 0.4742 | 1.169 | json |
| t18_x47_u0_b38 | 18 | 47 | 0 | 38 | ![]() |
add(D,div(R,mod(P,R))) | 129851 | 148069703 | o2(x,o2(x,o2(x,x))) | true | 67215 | 67215 | -0.1397 | 0.4297 | 0.9156 | 0.8674 | 0.9313 | -1 | 1 | 2 | 1 | 2.254 | 0.04116 | 0.03601 | 0.1013 | 0.06678 | 1 | -0.00008807 | 0.09548 | 0.09056 | 0.06689 | 0.2586 | 2.552 | 2.083 | 0.08896 | 0.1101 | 1 | 1 | 0.1086 | 0.6675 | 1.556 | 0.1252 | 0.7696 | 1.794 | json |
| t18_x47_u0_b39 | 18 | 47 | 0 | 39 | ![]() |
add(D,div(R,lrg(P,R))) | 129852 | 148069704 | o2(x,o2(x,o2(x,x))) | true | 67223 | 67223 | -0.552 | 0.2116 | 0.7193 | 0.3361 | 0.5797 | -1 | 1 | 2 | 1 | 3.179 | 0.006249 | 0.001926 | 0.03882 | 0.5288 | 1 | 0.0001616 | 0.009547 | 0.01665 | 0.006667 | 0.08165 | 2.103 | 2.098 | 0.02432 | 0.02841 | 1 | 1 | 0.01282 | 0.1031 | 0.2831 | 0.03814 | 0.3068 | 0.8423 | json |
| t18_x47_u0_b40 | 18 | 47 | 0 | 40 | ![]() |
add(D,div(R,eql(P,R))) | 129853 | 148069705 | o2(x,o2(x,o2(x,x))) | true | 67231 | 67231 | -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_x47_u0_b41 | 18 | 47 | 0 | 41 | ![]() |
add(D,div(R,min(P,R))) | 129854 | 148069706 | o2(x,o2(x,o2(x,x))) | true | 67239 | 67239 | 0.3918 | 0.7163 | 0.5982 | 0.3734 | 0.6111 | -1 | 1 | 2 | 1 | 3.655 | 0.01656 | 0.007679 | 0.04118 | 0.3664 | 1 | 0.000003272 | 0.04728 | 0.0378 | 0.02255 | 0.1502 | 3.646 | 2.828 | 0.06491 | 0.1266 | 1 | 1 | 0.03878 | 0.1684 | 0.4387 | 0.1039 | 0.4511 | 1.175 | json |
| t18_x47_u0_b42 | 18 | 47 | 0 | 42 | ![]() |
add(D,div(R,dot(P,R))) | 129855 | 148069707 | o2(x,o2(x,o2(x,x))) | true | 67247 | 67247 | -0.02492 | 0.485 | 0.3187 | 0.1964 | 0.4432 | -1 | 1 | 2 | 1 | 4.423 | 0.008254 | 0.004923 | 0.05903 | 0.2527 | 1 | -0.0000133 | 0.015 | 0.02904 | 0.009692 | 0.09845 | 1.668 | 2.828 | 0.06709 | 0.07639 | 1 | 1 | 0.02745 | 0.1864 | 0.4214 | 0.1398 | 0.9492 | 2.146 | json |
| t18_x47_u0_b43 | 18 | 47 | 0 | 43 | ![]() |
add(D,div(R,dst(P,R))) | 129856 | 148069708 | o2(x,o2(x,o2(x,x))) | true | 67255 | 67255 | 0.01141 | 0.5165 | 0.1226 | 0.02521 | 0.1588 | -0.7624 | 0.9122 | 1.675 | 1 | 3.341 | 0.001879 | 0.0002096 | 0.04028 | 0.7993 | 1 | 0.000001869 | 0.000285 | 0.01483 | 0.0004663 | 0.02159 | 0.5361 | 0.1731 | 0.08285 | 0.01131 | 1 | 1 | 0.004588 | 0.04044 | 0.03802 | 0.182 | 1.604 | 1.508 | json |
| t18_x47_u0_b44 | 18 | 47 | 0 | 44 | ![]() |
add(D,pow(R,add(P,R))) | 129857 | 148069709 | o2(x,o2(x,o2(x,x))) | true | 67263 | 67263 | -0.9192 | 0.04259 | 0.9949 | 0.1482 | 0.3849 | -1 | 1 | 2 | 1 | 0.3267 | 0.01581 | 0.01433 | 0.01595 | 0.049 | 1 | 0.00001172 | 0.06303 | 0.03149 | 0.02988 | 0.1729 | 10.84 | 2.828 | 0.2034 | 0.4254 | 1 | 1 | 0.02501 | 0.1067 | 0.2607 | 0.1688 | 0.7204 | 1.759 | json |
| t18_x47_u0_b45 | 18 | 47 | 0 | 45 | ![]() |
add(D,pow(R,sub(P,R))) | 129858 | 148069710 | o2(x,o2(x,o2(x,x))) | true | 67271 | 67271 | -0.9175 | 0.04277 | 0.9966 | 0.1541 | 0.3926 | -1 | 1 | 2 | 1 | 0.2965 | 0.01605 | 0.01511 | 0.01603 | 0.03019 | 1 | 0.00001206 | 0.06515 | 0.032 | 0.0309 | 0.1758 | 10.97 | 2.828 | 0.2022 | 0.4227 | 1 | 1 | 0.02537 | 0.1091 | 0.2663 | 0.1646 | 0.7079 | 1.728 | json |
| t18_x47_u0_b46 | 18 | 47 | 0 | 46 | ![]() |
add(D,pow(R,mlt(P,R))) | 129859 | 148069711 | o2(x,o2(x,o2(x,x))) | true | 67279 | 67279 | -0.8578 | 0.07422 | 0.9937 | 0.2549 | 0.5049 | -1 | 1 | 2 | 1 | 0.506 | 0.02318 | 0.02237 | 0.02436 | 0.0178 | 1 | 0.00001174 | 0.09529 | 0.04772 | 0.04494 | 0.212 | 8.704 | 2.828 | 0.1787 | 0.3739 | 1 | 1 | 0.04435 | 0.1848 | 0.6084 | 0.174 | 0.7249 | 2.387 | json |
| t18_x47_u0_b47 | 18 | 47 | 0 | 47 | ![]() |
add(D,pow(R,div(P,R))) | 129860 | 148069712 | o2(x,o2(x,o2(x,x))) | true | 67287 | 67287 | -0.8912 | 0.05801 | 0.9917 | 0.1947 | 0.4413 | -1 | 1 | 2 | 1 | 0.4397 | 0.01749 | 0.01921 | 0.02035 | -0.047 | 1 | 0.00001166 | 0.07678 | 0.03921 | 0.03627 | 0.1904 | 9.357 | 2.828 | 0.1885 | 0.3943 | 1 | 1 | 0.03784 | 0.1603 | 0.4873 | 0.1943 | 0.8232 | 2.503 | json |
| t18_x47_u0_b48 | 18 | 47 | 0 | 48 | ![]() |
add(D,pow(R,pow(P,R))) | 129861 | 148069713 | o2(x,o2(x,o2(x,x))) | true | 67295 | 67295 | -0.9878 | 0.007813 | 0.9966 | 0.01975 | 0.1405 | -1 | 1 | 2 | 1 | 0.09291 | 0.002125 | 0.002452 | 0.002919 | -0.07146 | 1 | 0.00001173 | 0.009676 | 0.00553 | 0.004568 | 0.06759 | 23.15 | 2.597 | 0.2317 | 0.4899 | 1 | 1 | 0.0007338 | 0.005188 | 0.01763 | 0.03715 | 0.2627 | 0.8927 | json |
| t18_x47_u0_b49 | 18 | 47 | 0 | 49 | ![]() |
add(D,pow(R,mod(P,R))) | 129862 | 148069714 | o2(x,o2(x,o2(x,x))) | true | 67303 | 67303 | -0.8548 | 0.07422 | 0.9968 | 0.2637 | 0.5135 | -1 | 1 | 2 | 1 | 0.4798 | 0.02434 | 0.02345 | 0.02512 | 0.01855 | 1 | 0.000009883 | 0.1001 | 0.04926 | 0.04718 | 0.2172 | 8.646 | 2.828 | 0.1813 | 0.3796 | 1 | 1 | 0.04495 | 0.1862 | 0.6162 | 0.1705 | 0.706 | 2.337 | json |
| t18_x47_u0_b50 | 18 | 47 | 0 | 50 | ![]() |
add(D,pow(R,lrg(P,R))) | 129863 | 148069715 | o2(x,o2(x,o2(x,x))) | true | 67311 | 67311 | -0.1016 | 0.4609 | 0.9765 | 0.9463 | 0.9728 | -1 | 1 | 2 | 1 | 1.657 | 0.01601 | 0.008611 | 0.02108 | 0.3004 | 1 | 0.00001274 | 0.05133 | 0.03155 | 0.02418 | 0.1555 | 7.375 | 2.785 | 0.02601 | 0.05424 | 1 | 1 | 0.02958 | 0.1177 | 0.4351 | 0.03125 | 0.1243 | 0.4598 | json |
| t18_x47_u0_b51 | 18 | 47 | 0 | 51 | ![]() |
add(D,pow(R,eql(P,R))) | 129864 | 148069716 | o2(x,o2(x,o2(x,x))) | true | 67319 | 67319 | 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_x47_u0_b52 | 18 | 47 | 0 | 52 | ![]() |
add(D,pow(R,min(P,R))) | 129865 | 148069717 | o2(x,o2(x,o2(x,x))) | true | 67327 | 67327 | -0.9155 | 0.04297 | 0.9985 | 0.1593 | 0.3991 | -1 | 1 | 2 | 1 | 0.2992 | 0.01644 | 0.01571 | 0.01647 | 0.02265 | 1 | 0.00001105 | 0.06719 | 0.03279 | 0.03186 | 0.1785 | 10.84 | 2.828 | 0.2018 | 0.4218 | 1 | 1 | 0.02528 | 0.1085 | 0.2709 | 0.1587 | 0.6811 | 1.701 | json |
| t18_x47_u0_b53 | 18 | 47 | 0 | 53 | ![]() |
add(D,pow(R,dot(P,R))) | 129866 | 148069718 | o2(x,o2(x,o2(x,x))) | true | 67335 | 67335 | -0.9188 | 0.04297 | 0.9953 | 0.1495 | 0.3867 | -1 | 1 | 2 | 1 | 0.3185 | 0.01585 | 0.01424 | 0.01618 | 0.05345 | 1 | 0.00000998 | 0.06277 | 0.03163 | 0.02982 | 0.1727 | 10.67 | 2.828 | 0.2012 | 0.4197 | 1 | 1 | 0.02447 | 0.1048 | 0.2608 | 0.1636 | 0.7009 | 1.744 | json |
| t18_x47_u0_b54 | 18 | 47 | 0 | 54 | ![]() |
add(D,pow(R,dst(P,R))) | 129867 | 148069719 | o2(x,o2(x,o2(x,x))) | true | 67343 | 67343 | -0.9497 | 0.03378 | 0.9658 | 0.05804 | 0.2409 | -1 | 0.7396 | 1.74 | 1 | 0.4097 | 0.00605 | 0.005732 | 0.01129 | 0.02697 | 1 | -0.000005236 | 0.02452 | 0.01993 | 0.01165 | 0.1079 | 9.565 | 1.97 | 0.203 | 0.4224 | 1 | 1 | 0.009749 | 0.0424 | 0.1046 | 0.168 | 0.7305 | 1.802 | json |
| t18_x47_u0_b55 | 18 | 47 | 0 | 55 | ![]() |
add(D,mod(R,add(P,R))) | 129868 | 148069720 | o2(x,o2(x,o2(x,x))) | true | 67351 | 67351 | -0.002434 | 0.4869 | 0.3815 | 0.214 | 0.4626 | -1 | 1 | 2 | 1 | 4.864 | 0.004191 | 0.002889 | 0.07259 | 0.1839 | 1 | 0.00004423 | 0.0005916 | 0.01878 | 0.001811 | 0.04255 | 0.5862 | 0.2845 | 0.03308 | 0.002764 | 1 | 1 | 0.0142 | 0.1632 | 0.3488 | 0.06635 | 0.7623 | 1.63 | json |
| t18_x47_u0_b56 | 18 | 47 | 0 | 56 | ![]() |
add(D,mod(R,sub(P,R))) | 129869 | 148069721 | o2(x,o2(x,o2(x,x))) | true | 67359 | 67359 | -0.004922 | 0.484 | 0.3754 | 0.2096 | 0.4578 | -1 | 1 | 2 | 1 | 4.853 | 0.004179 | 0.002845 | 0.07213 | 0.1898 | 1 | 0.00004332 | 0.0005889 | 0.01877 | 0.001822 | 0.04268 | 0.5918 | 0.2845 | 0.03351 | 0.00281 | 1 | 1 | 0.01392 | 0.1596 | 0.3473 | 0.06641 | 0.7616 | 1.657 | json |
| t18_x47_u0_b57 | 18 | 47 | 0 | 57 | ![]() |
add(D,mod(R,mlt(P,R))) | 129870 | 148069722 | o2(x,o2(x,o2(x,x))) | true | 67367 | 67367 | -0.1288 | 0.4242 | 0.4623 | 0.2994 | 0.5472 | -1 | 1 | 2 | 1 | 4.736 | 0.01324 | 0.002616 | 0.07156 | 0.6701 | 1 | 0.00005757 | 0.01991 | 0.03324 | 0.01074 | 0.1036 | 1.448 | 1.867 | 0.05297 | 0.0665 | 1 | 1 | 0.02389 | 0.1806 | 0.4774 | 0.07978 | 0.6032 | 1.595 | json |
| t18_x47_u0_b58 | 18 | 47 | 0 | 58 | ![]() |
add(D,mod(R,div(P,R))) | 129871 | 148069723 | o2(x,o2(x,o2(x,x))) | true | 67375 | 67375 | -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_x47_u0_b59 | 18 | 47 | 0 | 59 | ![]() |
add(D,mod(R,pow(P,R))) | 129872 | 148069724 | o2(x,o2(x,o2(x,x))) | true | 67383 | 67383 | -0.5177 | 0.2387 | 0.6941 | 0.3577 | 0.5981 | -1 | 1 | 2 | 1 | 2.962 | 0.009111 | 0.0007906 | 0.03272 | 0.8403 | 1 | 0.0001575 | 0.01486 | 0.01758 | 0.008831 | 0.09397 | 2.872 | 1.974 | 0.02768 | 0.04155 | 1 | 1 | 0.01382 | 0.08677 | 0.2049 | 0.03864 | 0.2426 | 0.5728 | json |
| t18_x47_u0_b60 | 18 | 47 | 0 | 60 | ![]() |
add(D,mod(R,mod(P,R))) | 129873 | 148069725 | o2(x,o2(x,o2(x,x))) | true | 67391 | 67391 | -0.1218 | 0.4426 | 0.2277 | 0.1284 | 0.3583 | -1 | 0.5294 | 1.529 | 1 | 3.382 | 0.009841 | 0.0001146 | 0.04187 | 0.977 | 1 | 0.000001425 | 0.01684 | 0.02888 | 0.008201 | 0.09056 | 2.163 | 1.358 | 0.07755 | 0.1312 | 1 | 1 | 0.01409 | 0.06727 | 0.1845 | 0.1097 | 0.524 | 1.438 | json |
| t18_x47_u0_b61 | 18 | 47 | 0 | 61 | ![]() |
add(D,mod(R,lrg(P,R))) | 129874 | 148069726 | o2(x,o2(x,o2(x,x))) | true | 67399 | 67399 | -0.552 | 0.2116 | 0.7193 | 0.3361 | 0.5797 | -1 | 1 | 2 | 1 | 3.179 | 0.006249 | 0.001926 | 0.03882 | 0.5288 | 1 | 0.0001616 | 0.009547 | 0.01665 | 0.006667 | 0.08165 | 2.103 | 2.098 | 0.02432 | 0.02841 | 1 | 1 | 0.01282 | 0.1031 | 0.2831 | 0.03814 | 0.3068 | 0.8423 | json |
| t18_x47_u0_b62 | 18 | 47 | 0 | 62 | ![]() |
add(D,mod(R,eql(P,R))) | 129875 | 148069727 | o2(x,o2(x,o2(x,x))) | true | 67407 | 67407 | -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_x47_u0_b63 | 18 | 47 | 0 | 63 | ![]() |
add(D,mod(R,min(P,R))) | 129876 | 148069728 | o2(x,o2(x,o2(x,x))) | true | 67415 | 67415 | -0.06277 | 0.4695 | 0.3331 | 0.2028 | 0.4503 | -1 | 1 | 2 | 1 | 4.488 | 0.009446 | 0.002818 | 0.06095 | 0.5404 | 1 | 0.00003144 | 0.01593 | 0.0286 | 0.00855 | 0.09246 | 1.517 | 2.098 | 0.06047 | 0.07854 | 1 | 1 | 0.01949 | 0.1401 | 0.3491 | 0.09608 | 0.6908 | 1.721 | json |
| t18_x47_u0_b64 | 18 | 47 | 0 | 64 | ![]() |
add(D,mod(R,dot(P,R))) | 129877 | 148069729 | o2(x,o2(x,o2(x,x))) | true | 67423 | 67423 | -0.004205 | 0.4937 | 0.3919 | 0.229 | 0.4786 | -1 | 1 | 2 | 1 | 4.876 | 0.006024 | 0.004619 | 0.07464 | 0.132 | 1 | 0.00002919 | 0.008036 | 0.0238 | 0.005073 | 0.07122 | 0.9543 | 2.098 | 0.04647 | 0.03509 | 1 | 1 | 0.01954 | 0.1749 | 0.4068 | 0.08531 | 0.7639 | 1.776 | json |
| t18_x47_u0_b65 | 18 | 47 | 0 | 65 | ![]() |
add(D,mod(R,dst(P,R))) | 129878 | 148069730 | o2(x,o2(x,o2(x,x))) | true | 67431 | 67431 | 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_x47_u0_b66 | 18 | 47 | 0 | 66 | ![]() |
add(D,lrg(R,add(P,R))) | 129879 | 148069731 | o2(x,o2(x,o2(x,x))) | true | 67439 | 67439 | 0.447 | 0.7305 | 0.4964 | 0.2313 | 0.481 | -0.1454 | 1 | 1.145 | 1 | 3.074 | 0.001765 | 0 | 0.03094 | 1 | 1 | 0.0001582 | 0.0003479 | 0.01481 | 0.0008082 | 0.02843 | 0.9188 | 0.1713 | 0.00763 | 0.001504 | 1 | 1 | 0.003752 | 0.02995 | 0.06962 | 0.01622 | 0.1295 | 0.3009 | json |
| t18_x47_u0_b67 | 18 | 47 | 0 | 67 | ![]() |
add(D,lrg(R,sub(P,R))) | 129880 | 148069732 | o2(x,o2(x,o2(x,x))) | true | 67447 | 67447 | 0.4893 | 0.7663 | 0.5316 | 0.2217 | 0.4709 | -0.1454 | 1 | 1.145 | 1 | 3.274 | 0.00187 | 0.000384 | 0.03456 | 0.6592 | 1 | 0.0001298 | 0.0003909 | 0.01516 | 0.00106 | 0.03256 | 0.9421 | 0.1713 | 0.01016 | 0.001763 | 1 | 1 | 0.0049 | 0.04462 | 0.0918 | 0.0221 | 0.2012 | 0.414 | json |
| t18_x47_u0_b68 | 18 | 47 | 0 | 68 | ![]() |
add(D,lrg(R,mlt(P,R))) | 129881 | 148069733 | o2(x,o2(x,o2(x,x))) | true | 67455 | 67455 | 0.4869 | 0.8489 | 0.5096 | 0.1568 | 0.3959 | -0.1454 | 1 | 1.145 | 1 | 4.004 | 0.003367 | 0.002208 | 0.06159 | 0.2078 | 1 | 0.00006582 | 0.0006492 | 0.01738 | 0.001782 | 0.04222 | 0.6854 | 0.1713 | 0.03557 | 0.004142 | 1 | 1 | 0.01079 | 0.12 | 0.2801 | 0.06883 | 0.7653 | 1.787 | json |
| t18_x47_u0_b69 | 18 | 47 | 0 | 69 | ![]() |
add(D,lrg(R,div(P,R))) | 129882 | 148069734 | o2(x,o2(x,o2(x,x))) | true | 67463 | 67463 | 0.5097 | 0.8635 | 0.53 | 0.1534 | 0.3916 | -0.1454 | 1 | 1.145 | 1 | 3.989 | 0.003274 | 0.002373 | 0.06206 | 0.1595 | 1 | 0.00007303 | 0.0006641 | 0.0176 | 0.001796 | 0.04238 | 0.6829 | 0.1713 | 0.03682 | 0.00433 | 1 | 1 | 0.0109 | 0.1213 | 0.2866 | 0.07104 | 0.7909 | 1.868 | json |
| t18_x47_u0_b70 | 18 | 47 | 0 | 70 | ![]() |
add(D,lrg(R,pow(P,R))) | 129883 | 148069735 | o2(x,o2(x,o2(x,x))) | true | 67471 | 67471 | 0.4732 | 0.747 | 0.5197 | 0.2303 | 0.4799 | -0.1454 | 1 | 1.145 | 1 | 3.108 | 0.001715 | 0.0001036 | 0.03121 | 0.8861 | 1 | 0.0001526 | 0.0003549 | 0.01484 | 0.0008444 | 0.02906 | 0.931 | 0.1713 | 0.007896 | 0.001541 | 1 | 1 | 0.003911 | 0.03228 | 0.08375 | 0.01699 | 0.1402 | 0.3637 | json |
| t18_x47_u0_b71 | 18 | 47 | 0 | 71 | ![]() |
add(D,lrg(R,mod(P,R))) | 129884 | 148069736 | o2(x,o2(x,o2(x,x))) | true | 67479 | 67479 | 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_x47_u0_b72 | 18 | 47 | 0 | 72 | ![]() |
add(D,lrg(R,lrg(P,R))) | 129885 | 148069737 | o2(x,o2(x,o2(x,x))) | true | 67487 | 67487 | 0.2613 | 0.6795 | 0.3183 | 0.151 | 0.3886 | -0.1454 | 1 | 1.145 | 1 | 3.774 | 0.002658 | 0.001201 | 0.05014 | 0.3775 | 1 | 0.00006223 | 0.0004869 | 0.01642 | 0.001346 | 0.03669 | 0.7317 | 0.1713 | 0.02555 | 0.003224 | 1 | 1 | 0.007751 | 0.07878 | 0.1722 | 0.05133 | 0.5217 | 1.141 | json |
| t18_x47_u0_b73 | 18 | 47 | 0 | 73 | ![]() |
add(D,lrg(R,eql(P,R))) | 129886 | 148069738 | o2(x,o2(x,o2(x,x))) | true | 67495 | 67495 | 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_x47_u0_b74 | 18 | 47 | 0 | 74 | ![]() |
add(D,lrg(R,min(P,R))) | 129887 | 148069739 | o2(x,o2(x,o2(x,x))) | true | 67503 | 67503 | 0.4732 | 0.747 | 0.5197 | 0.2303 | 0.4799 | -0.1454 | 1 | 1.145 | 1 | 3.108 | 0.001715 | 0.0001036 | 0.03121 | 0.8861 | 1 | 0.0001526 | 0.0003549 | 0.01484 | 0.0008444 | 0.02906 | 0.931 | 0.1713 | 0.007896 | 0.001541 | 1 | 1 | 0.003911 | 0.03228 | 0.08375 | 0.01699 | 0.1402 | 0.3637 | json |
| t18_x47_u0_b75 | 18 | 47 | 0 | 75 | ![]() |
add(D,lrg(R,dot(P,R))) | 129888 | 148069740 | o2(x,o2(x,o2(x,x))) | true | 67511 | 67511 | 0.5246 | 0.8706 | 0.5431 | 0.1525 | 0.3905 | -0.1454 | 1 | 1.145 | 1 | 3.956 | 0.003347 | 0.002282 | 0.06158 | 0.1892 | 1 | 0.00008047 | 0.000658 | 0.01742 | 0.001838 | 0.04287 | 0.6962 | 0.1713 | 0.03692 | 0.004316 | 1 | 1 | 0.01102 | 0.1229 | 0.2965 | 0.07228 | 0.8059 | 1.945 | json |
| t18_x47_u0_b76 | 18 | 47 | 0 | 76 | ![]() |
add(D,lrg(R,dst(P,R))) | 129889 | 148069741 | o2(x,o2(x,o2(x,x))) | true | 67519 | 67519 | 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_b77 | 18 | 47 | 0 | 77 | ![]() |
add(D,eql(R,add(P,R))) | 129890 | 148069742 | o2(x,o2(x,o2(x,x))) | true | 67527 | 67527 | 0.0614 | 0.543 | 0.1462 | 0.05374 | 0.2318 | -0.1454 | 1 | 1.145 | 1 | 3.075 | 0.002292 | 0 | 0.04018 | 1 | 1 | 9.461e-10 | 0.0003168 | 0.0146 | 0.0006788 | 0.02605 | 0.6483 | 0.1713 | 0.04265 | 0.005895 | 1 | 1 | 0.004861 | 0.04401 | 0.06323 | 0.09045 | 0.819 | 1.176 | json |
| t18_x47_u0_b78 | 18 | 47 | 0 | 78 | ![]() |
add(D,eql(R,sub(P,R))) | 129891 | 148069743 | o2(x,o2(x,o2(x,x))) | true | 67535 | 67535 | 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_b79 | 18 | 47 | 0 | 79 | ![]() |
add(D,eql(R,mlt(P,R))) | 129892 | 148069744 | o2(x,o2(x,o2(x,x))) | true | 67543 | 67543 | 0.0614 | 0.543 | 0.1462 | 0.05374 | 0.2318 | -0.1454 | 1 | 1.145 | 1 | 3.075 | 0.002292 | 0 | 0.04018 | 1 | 1 | 9.461e-10 | 0.0003168 | 0.0146 | 0.0006788 | 0.02605 | 0.6483 | 0.1713 | 0.04265 | 0.005895 | 1 | 1 | 0.004861 | 0.04401 | 0.06323 | 0.09045 | 0.819 | 1.176 | json |
| t18_x47_u0_b80 | 18 | 47 | 0 | 80 | ![]() |
add(D,eql(R,div(P,R))) | 129893 | 148069745 | o2(x,o2(x,o2(x,x))) | true | 67551 | 67551 | 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_b81 | 18 | 47 | 0 | 81 | ![]() |
add(D,eql(R,pow(P,R))) | 129894 | 148069746 | o2(x,o2(x,o2(x,x))) | true | 67559 | 67559 | 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_b82 | 18 | 47 | 0 | 82 | ![]() |
add(D,eql(R,mod(P,R))) | 129895 | 148069747 | o2(x,o2(x,o2(x,x))) | true | 67567 | 67567 | 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_b83 | 18 | 47 | 0 | 83 | ![]() |
add(D,eql(R,lrg(P,R))) | 129896 | 148069748 | o2(x,o2(x,o2(x,x))) | true | 67575 | 67575 | 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_b84 | 18 | 47 | 0 | 84 | ![]() |
add(D,eql(R,eql(P,R))) | 129897 | 148069749 | o2(x,o2(x,o2(x,x))) | true | 67583 | 67583 | 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_b85 | 18 | 47 | 0 | 85 | ![]() |
add(D,eql(R,min(P,R))) | 129898 | 148069750 | o2(x,o2(x,o2(x,x))) | true | 67591 | 67591 | 0.4819 | 0.7704 | 0.5251 | 0.2229 | 0.4721 | -0.1454 | 1 | 1.145 | 1 | 3.227 | 0.001306 | 0.000102 | 0.02966 | 0.8552 | 1 | 0.000003296 | 0.0002741 | 0.0134 | 0.0005285 | 0.02299 | 0.7751 | 0.1324 | 0.006316 | 0.00123 | 1 | 1 | 0.002872 | 0.02442 | 0.08185 | 0.01288 | 0.1096 | 0.3672 | json |
| t18_x47_u0_b86 | 18 | 47 | 0 | 86 | ![]() |
add(D,eql(R,dot(P,R))) | 129899 | 148069751 | o2(x,o2(x,o2(x,x))) | true | 67599 | 67599 | 0.003884 | 0.5038 | 0.09738 | 0.01316 | 0.1147 | -0.1454 | 1 | 1.145 | 1 | 2.629 | 0.001667 | 0.00003476 | 0.03659 | 0.9591 | 1 | -5.127e-11 | 0.0002617 | 0.01464 | 0.0003636 | 0.01907 | 0.5212 | 0.1713 | 0.1293 | 0.01989 | 1 | 1 | 0.00339 | 0.02492 | 0.008558 | 0.2576 | 1.894 | 0.6504 | json |



































































































