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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t17_x20_u2_b21 | 17 | 20 | 2 | 21 | ![]() |
sub(R,dst(P,frc(R))) | 114700 | 138858660 | o2(x,o2(x,o1(x))) | true | 77607 | 77607 | -0.9961 | 0 | 0.9961 | 0.00225 | 0.04743 | -1 | -0.1097 | 0.8903 | 1 | 0.11 | 0.00008777 | 0.00005946 | 0.001175 | 0.1923 | 1 | 1.877e-11 | 0.00004169 | 0.0005828 | 0.0001457 | 0.01207 | 10.27 | 0.2345 | 0.06545 | 0.01853 | 1 | 1 | 0.0004889 | 0.004764 | 0.008083 | 0.2173 | 2.118 | 3.593 | json |
| t17_x20_u2_b22 | 17 | 20 | 2 | 22 | ![]() |
mlt(R,add(P,frc(R))) | 114701 | 138858661 | o2(x,o2(x,o1(x))) | true | 77615 | 77615 | -0.04204 | 0.4778 | 0.7253 | 0.6474 | 0.8046 | -1 | 1 | 2 | 1 | 3.751 | 0.01691 | 0.01952 | 0.0928 | -0.07161 | 1 | -0.00006069 | 0.02019 | 0.04955 | 0.02783 | 0.1668 | 1.798 | 1.466 | 0.05628 | 0.03118 | 1 | 1 | 0.05161 | 0.4537 | 1.028 | 0.07972 | 0.7007 | 1.587 | json |
| t17_x20_u2_b23 | 17 | 20 | 2 | 23 | ![]() |
mlt(R,sub(P,frc(R))) | 114702 | 138858662 | o2(x,o2(x,o1(x))) | true | 77623 | 77623 | -0.08217 | 0.4595 | 0.722 | 0.6394 | 0.7996 | -1 | 1 | 2 | 1 | 3.731 | 0.0163 | 0.01995 | 0.09097 | -0.1007 | 1 | -0.00003178 | 0.02049 | 0.04946 | 0.02798 | 0.1673 | 1.839 | 1.386 | 0.05668 | 0.03205 | 1 | 1 | 0.05081 | 0.4388 | 1.044 | 0.07947 | 0.6862 | 1.633 | json |
| t17_x20_u2_b24 | 17 | 20 | 2 | 24 | ![]() |
mlt(R,mlt(P,frc(R))) | 114703 | 138858663 | o2(x,o2(x,o1(x))) | true | 77631 | 77631 | -0.05493 | 0.4644 | 0.5352 | 0.4142 | 0.6436 | -1 | 1 | 2 | 1 | 4.579 | 0.008014 | 0.008639 | 0.07655 | -0.03757 | 1 | -0.000006835 | 0.005008 | 0.02897 | 0.01079 | 0.1039 | 1.357 | 0.8236 | 0.0402 | 0.01209 | 1 | 1 | 0.02386 | 0.255 | 0.6383 | 0.05761 | 0.6156 | 1.541 | json |
| t17_x20_u2_b25 | 17 | 20 | 2 | 25 | ![]() |
mlt(R,div(P,frc(R))) | 114704 | 138858664 | o2(x,o2(x,o1(x))) | true | 77639 | 77639 | -0.05372 | 0.4782 | 0.8468 | 0.8041 | 0.8967 | -1 | 1 | 2 | 1 | 2.781 | 0.0362 | 0.0447 | 0.1023 | -0.1051 | 1 | -0.00006565 | 0.1097 | 0.09829 | 0.07043 | 0.2654 | 2.594 | 2.828 | 0.1006 | 0.1364 | 1 | 1 | 0.08959 | 0.5894 | 1.303 | 0.1114 | 0.733 | 1.621 | json |
| t17_x20_u2_b26 | 17 | 20 | 2 | 26 | ![]() |
mlt(R,pow(P,frc(R))) | 114705 | 138858665 | o2(x,o2(x,o1(x))) | true | 77647 | 77647 | -0.496 | 0.2432 | 0.7961 | 0.4903 | 0.7002 | -1 | 1 | 2 | 1 | 3.02 | 0.008399 | 0.004272 | 0.04665 | 0.3258 | 1 | -0.000044 | 0.01004 | 0.02257 | 0.0105 | 0.1024 | 2.196 | 1 | 0.02584 | 0.02048 | 1 | 1 | 0.01883 | 0.1755 | 0.5132 | 0.03841 | 0.3578 | 1.047 | json |
| t17_x20_u2_b27 | 17 | 20 | 2 | 27 | ![]() |
mlt(R,mod(P,frc(R))) | 114706 | 138858666 | o2(x,o2(x,o1(x))) | true | 77655 | 77655 | -0.004604 | 0.4566 | 0.08688 | 0.01676 | 0.1295 | -0.6392 | 0.6587 | 1.298 | 1 | 2.944 | 0.0002233 | 0.0002303 | 0.01536 | -0.01545 | 1 | -0.000007529 | 0.00002695 | 0.003516 | 0.0002178 | 0.01476 | 0.9608 | 0.1032 | 0.02706 | 0.001608 | 1 | 1 | 0.0008904 | 0.01154 | 0.0324 | 0.05312 | 0.6882 | 1.933 | json |
| t17_x20_u2_b28 | 17 | 20 | 2 | 28 | ![]() |
mlt(R,lrg(P,frc(R))) | 114707 | 138858667 | o2(x,o2(x,o1(x))) | true | 77663 | 77663 | -0.003372 | 0.2383 | 0.1824 | 0.09906 | 0.3147 | -0.9986 | 0.9806 | 1.979 | 1 | 3.227 | 0.001335 | 0.001403 | 0.03048 | -0.0248 | 1 | 0.000001931 | 0.0001658 | 0.00707 | 0.001809 | 0.04254 | 1.396 | 0.219 | 0.02764 | 0.001674 | 1 | 1 | 0.005186 | 0.06731 | 0.1846 | 0.05235 | 0.6795 | 1.864 | json |
| t17_x20_u2_b29 | 17 | 20 | 2 | 29 | ![]() |
mlt(R,eql(P,frc(R))) | 114708 | 138858668 | o2(x,o2(x,o1(x))) | true | 77671 | 77671 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 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 |
| t17_x20_u2_b30 | 17 | 20 | 2 | 30 | ![]() |
mlt(R,min(P,frc(R))) | 114709 | 138858669 | o2(x,o2(x,o1(x))) | true | 77679 | 77679 | 0.004577 | 0.4821 | 0.4642 | 0.3645 | 0.6037 | -1 | 1 | 2 | 1 | 4.282 | 0.008336 | 0.01066 | 0.06221 | -0.1225 | 1 | -0.00002929 | 0.01011 | 0.0283 | 0.01513 | 0.123 | 1.977 | 1.294 | 0.05212 | 0.02774 | 1 | 1 | 0.02819 | 0.2453 | 0.5593 | 0.07733 | 0.673 | 1.534 | json |
| t17_x20_u2_b31 | 17 | 20 | 2 | 31 | ![]() |
mlt(R,dot(P,frc(R))) | 114710 | 138858670 | o2(x,o2(x,o1(x))) | true | 77687 | 77687 | -0.008258 | 0.4879 | 0.7001 | 0.6167 | 0.7853 | -1 | 1 | 2 | 1 | 3.942 | 0.01246 | 0.01355 | 0.08582 | -0.04184 | 1 | 0.0000529 | 0.01104 | 0.03997 | 0.01865 | 0.1366 | 1.591 | 1.217 | 0.04219 | 0.0179 | 1 | 1 | 0.03446 | 0.3314 | 0.9024 | 0.05589 | 0.5375 | 1.463 | json |
| t17_x20_u2_b32 | 17 | 20 | 2 | 32 | ![]() |
mlt(R,dst(P,frc(R))) | 114711 | 138858671 | o2(x,o2(x,o1(x))) | true | 77695 | 77695 | -0.007647 | 0.4966 | 0.8643 | 0.8189 | 0.9049 | -1 | 1 | 2 | 1 | 2.82 | 0.02622 | 0.03082 | 0.1024 | -0.08071 | 1 | 0.00007447 | 0.04352 | 0.07266 | 0.04655 | 0.2158 | 2.107 | 2 | 0.06965 | 0.05314 | 1 | 1 | 0.07824 | 0.6116 | 1.387 | 0.09555 | 0.7468 | 1.694 | json |
| t17_x20_u2_b33 | 17 | 20 | 2 | 33 | ![]() |
div(R,add(P,frc(R))) | 114712 | 138858672 | o2(x,o2(x,o1(x))) | true | 77703 | 77703 | -0.03945 | 0.4506 | 0.2071 | 0.1176 | 0.343 | -1 | 1 | 2 | 1 | 3.755 | 0.002198 | 0.002496 | 0.03078 | -0.06344 | 1 | 0.00002696 | 0.00161 | 0.01073 | 0.003746 | 0.06121 | 1.988 | 0.9298 | 0.0399 | 0.01368 | 1 | 1 | 0.01077 | 0.1068 | 0.3394 | 0.09155 | 0.908 | 2.885 | json |
| t17_x20_u2_b34 | 17 | 20 | 2 | 34 | ![]() |
div(R,sub(P,frc(R))) | 114713 | 138858673 | o2(x,o2(x,o1(x))) | true | 77711 | 77711 | 0.04854 | 0.4878 | 0.2107 | 0.1222 | 0.3496 | -1 | 1 | 2 | 1 | 3.716 | 0.002366 | 0.002677 | 0.03062 | -0.0618 | 1 | -0.00004325 | 0.002017 | 0.01135 | 0.004106 | 0.06408 | 2.093 | 0.9298 | 0.04127 | 0.0165 | 1 | 1 | 0.01224 | 0.1153 | 0.3247 | 0.1001 | 0.9436 | 2.657 | json |
| t17_x20_u2_b35 | 17 | 20 | 2 | 35 | ![]() |
div(R,mlt(P,frc(R))) | 114714 | 138858674 | o2(x,o2(x,o1(x))) | true | 77719 | 77719 | -0.1318 | 0.41 | 0.4191 | 0.3039 | 0.5513 | -1 | 1 | 2 | 1 | 4.17 | 0.01836 | 0.004675 | 0.05011 | 0.5941 | 1 | -0.00003388 | 0.03925 | 0.03545 | 0.02053 | 0.1433 | 2.859 | 2.008 | 0.0758 | 0.1292 | 1 | 1 | 0.02806 | 0.1682 | 0.4941 | 0.09235 | 0.5535 | 1.626 | json |
| t17_x20_u2_b36 | 17 | 20 | 2 | 36 | ![]() |
div(R,div(P,frc(R))) | 114715 | 138858675 | o2(x,o2(x,o1(x))) | true | 77727 | 77727 | -0.1273 | 0.402 | 0.1856 | 0.1212 | 0.3482 | -1 | 0.8898 | 1.89 | 1 | 2.806 | 0.009878 | 0.0001753 | 0.01865 | 0.9651 | 1 | -8.779e-7 | 0.01949 | 0.01877 | 0.009706 | 0.09852 | 5.284 | 1.89 | 0.08292 | 0.1608 | 1 | 1 | 0.01317 | 0.05785 | 0.1954 | 0.1086 | 0.4772 | 1.611 | json |
| t17_x20_u2_b37 | 17 | 20 | 2 | 37 | ![]() |
div(R,pow(P,frc(R))) | 114716 | 138858676 | o2(x,o2(x,o1(x))) | true | 77735 | 77735 | -0.5902 | 0.1938 | 0.6607 | 0.2539 | 0.5039 | -1 | 0.9432 | 1.943 | 1 | 2.813 | 0.00772 | 0.000556 | 0.02144 | 0.8656 | 1 | -4.381e-7 | 0.01464 | 0.01379 | 0.007816 | 0.08841 | 4.124 | 1.943 | 0.0326 | 0.05765 | 1 | 1 | 0.01056 | 0.05689 | 0.1502 | 0.04158 | 0.2241 | 0.5915 | json |
| t17_x20_u2_b38 | 17 | 20 | 2 | 38 | ![]() |
div(R,mod(P,frc(R))) | 114717 | 138858677 | o2(x,o2(x,o1(x))) | true | 77743 | 77743 | -0.1551 | 0.4224 | 0.8997 | 0.8418 | 0.9175 | -1 | 1 | 2 | 1 | 2.42 | 0.04465 | 0.03751 | 0.0992 | 0.0869 | 1 | -0.0001769 | 0.119 | 0.09896 | 0.0723 | 0.2689 | 2.711 | 2.828 | 0.0976 | 0.1414 | 1 | 1 | 0.1075 | 0.6146 | 1.438 | 0.1276 | 0.7301 | 1.708 | json |
| t17_x20_u2_b39 | 17 | 20 | 2 | 39 | ![]() |
div(R,lrg(P,frc(R))) | 114718 | 138858678 | o2(x,o2(x,o1(x))) | true | 77751 | 77751 | -0.5736 | 0.1995 | 0.7298 | 0.325 | 0.57 | -1 | 0.9806 | 1.981 | 1 | 3.079 | 0.008479 | 0.001297 | 0.03255 | 0.7347 | 1 | 0.00001063 | 0.01473 | 0.01637 | 0.008716 | 0.09336 | 2.868 | 1.943 | 0.03008 | 0.04532 | 1 | 1 | 0.01323 | 0.09166 | 0.2549 | 0.04071 | 0.2821 | 0.7843 | json |
| t17_x20_u2_b40 | 17 | 20 | 2 | 40 | ![]() |
div(R,eql(P,frc(R))) | 114719 | 138858679 | o2(x,o2(x,o1(x))) | true | 77759 | 77759 | -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 |
| t17_x20_u2_b41 | 17 | 20 | 2 | 41 | ![]() |
div(R,min(P,frc(R))) | 114720 | 138858680 | o2(x,o2(x,o1(x))) | true | 77767 | 77767 | -0.1744 | 0.3972 | 0.4784 | 0.3633 | 0.6028 | -1 | 1 | 2 | 1 | 4.064 | 0.01901 | 0.007394 | 0.06175 | 0.4399 | 1 | 0.0001616 | 0.03668 | 0.03926 | 0.02259 | 0.1503 | 2.434 | 2 | 0.07267 | 0.101 | 1 | 1 | 0.03521 | 0.2461 | 0.6181 | 0.09692 | 0.6773 | 1.701 | json |
| t17_x20_u2_b42 | 17 | 20 | 2 | 42 | ![]() |
div(R,dot(P,frc(R))) | 114721 | 138858681 | o2(x,o2(x,o1(x))) | true | 77775 | 77775 | -0.04094 | 0.4651 | 0.2686 | 0.1563 | 0.3954 | -1 | 1 | 2 | 1 | 4.238 | 0.005401 | 0.004304 | 0.04162 | 0.1131 | 1 | -0.000006563 | 0.0122 | 0.0181 | 0.007973 | 0.08929 | 2.145 | 2.828 | 0.06208 | 0.07802 | 1 | 1 | 0.0203 | 0.1542 | 0.3611 | 0.1299 | 0.9866 | 2.31 | json |
| t17_x20_u2_b43 | 17 | 20 | 2 | 43 | ![]() |
div(R,dst(P,frc(R))) | 114722 | 138858682 | o2(x,o2(x,o1(x))) | true | 77783 | 77783 | 0.01019 | 0.499 | 0.08002 | 0.01308 | 0.1143 | -0.6638 | 0.8456 | 1.509 | 1 | 2.751 | 0.0002389 | 0.0001948 | 0.01354 | 0.1017 | 1 | 0.000001745 | 0.00002758 | 0.00314 | 0.0002503 | 0.01582 | 1.168 | 0.1765 | 0.03317 | 0.002109 | 1 | 1 | 0.001355 | 0.01756 | 0.03479 | 0.1036 | 1.343 | 2.661 | json |
| t17_x20_u2_b44 | 17 | 20 | 2 | 44 | ![]() |
pow(R,add(P,frc(R))) | 114723 | 138858683 | o2(x,o2(x,o1(x))) | true | 77791 | 77791 | -0.9191 | 0.04297 | 0.995 | 0.1487 | 0.3856 | -1 | 1 | 2 | 1 | 0.3232 | 0.01581 | 0.01439 | 0.01578 | 0.04699 | 1 | 0.00000168 | 0.06313 | 0.03142 | 0.02994 | 0.173 | 10.97 | 2.828 | 0.2031 | 0.4247 | 1 | 1 | 0.02505 | 0.1069 | 0.2612 | 0.1685 | 0.7192 | 1.757 | json |
| t17_x20_u2_b45 | 17 | 20 | 2 | 45 | ![]() |
pow(R,sub(P,frc(R))) | 114724 | 138858684 | o2(x,o2(x,o1(x))) | true | 77799 | 77799 | -0.9173 | 0.04297 | 0.9967 | 0.1547 | 0.3933 | -1 | 1 | 2 | 1 | 0.2892 | 0.01606 | 0.01518 | 0.01599 | 0.02822 | 1 | 0.000002016 | 0.0653 | 0.03199 | 0.03098 | 0.176 | 11.01 | 2.828 | 0.202 | 0.422 | 1 | 1 | 0.0254 | 0.1094 | 0.2668 | 0.1642 | 0.7069 | 1.725 | json |
| t17_x20_u2_b46 | 17 | 20 | 2 | 46 | ![]() |
pow(R,mlt(P,frc(R))) | 114725 | 138858685 | o2(x,o2(x,o1(x))) | true | 77807 | 77807 | -0.8565 | 0.07422 | 0.9951 | 0.2594 | 0.5094 | -1 | 1 | 2 | 1 | 0.4766 | 0.02333 | 0.02276 | 0.02394 | 0.0124 | 1 | 0.000001699 | 0.09611 | 0.04751 | 0.0455 | 0.2133 | 8.911 | 2.828 | 0.1776 | 0.3704 | 1 | 1 | 0.04513 | 0.1886 | 0.6211 | 0.174 | 0.727 | 2.394 | json |
| t17_x20_u2_b47 | 17 | 20 | 2 | 47 | ![]() |
pow(R,div(P,frc(R))) | 114726 | 138858686 | o2(x,o2(x,o1(x))) | true | 77815 | 77815 | -0.8903 | 0.05846 | 0.9925 | 0.1971 | 0.444 | -1 | 1 | 2 | 1 | 0.433 | 0.0176 | 0.01944 | 0.02009 | -0.04952 | 1 | 0.000001621 | 0.07733 | 0.03905 | 0.03662 | 0.1914 | 9.526 | 2.828 | 0.1879 | 0.3923 | 1 | 1 | 0.03827 | 0.1616 | 0.4924 | 0.1941 | 0.8195 | 2.498 | json |
| t17_x20_u2_b48 | 17 | 20 | 2 | 48 | ![]() |
pow(R,pow(P,frc(R))) | 114727 | 138858687 | o2(x,o2(x,o1(x))) | true | 77823 | 77823 | -0.9589 | 0.02344 | 0.9942 | 0.07196 | 0.2683 | -1 | 1 | 2 | 1 | 0.2361 | 0.009041 | 0.005961 | 0.008806 | 0.2053 | 1 | 0.000001688 | 0.03136 | 0.01672 | 0.01492 | 0.1221 | 13.87 | 2.698 | 0.2085 | 0.4358 | 1 | 1 | 0.01259 | 0.053 | 0.1367 | 0.1749 | 0.7364 | 1.899 | json |
| t17_x20_u2_b49 | 17 | 20 | 2 | 49 | ![]() |
pow(R,mod(P,frc(R))) | 114728 | 138858688 | o2(x,o2(x,o1(x))) | true | 77831 | 77831 | -0.8527 | 0.07422 | 0.9989 | 0.2707 | 0.5203 | -1 | 1 | 2 | 1 | 0.4242 | 0.02448 | 0.02409 | 0.02449 | 0.00806 | 1 | -1.169e-8 | 0.1013 | 0.049 | 0.04794 | 0.2189 | 8.941 | 2.828 | 0.1794 | 0.3744 | 1 | 1 | 0.04608 | 0.1921 | 0.6368 | 0.1702 | 0.7097 | 2.352 | json |
| t17_x20_u2_b50 | 17 | 20 | 2 | 50 | ![]() |
pow(R,lrg(P,frc(R))) | 114729 | 138858689 | o2(x,o2(x,o1(x))) | true | 77839 | 77839 | 0.04236 | 0.5234 | 0.9955 | 0.991 | 0.9955 | -1 | 1 | 2 | 1 | 1.148 | 0.01499 | 0.006354 | 0.01193 | 0.4046 | 1 | 0.000002697 | 0.04406 | 0.02292 | 0.02119 | 0.1456 | 12.2 | 2.698 | 0.02154 | 0.04446 | 1 | 1 | 0.02301 | 0.09586 | 0.3992 | 0.02322 | 0.09674 | 0.4028 | json |
| t17_x20_u2_b51 | 17 | 20 | 2 | 51 | ![]() |
pow(R,eql(P,frc(R))) | 114730 | 138858690 | o2(x,o2(x,o1(x))) | true | 77847 | 77847 | 1 | 1 | 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 |
| t17_x20_u2_b52 | 17 | 20 | 2 | 52 | ![]() |
pow(R,min(P,frc(R))) | 114731 | 138858691 | o2(x,o2(x,o1(x))) | true | 77855 | 77855 | -0.8543 | 0.07422 | 0.9973 | 0.2654 | 0.5151 | -1 | 1 | 2 | 1 | 0.4624 | 0.02376 | 0.02349 | 0.0243 | 0.005695 | 1 | 0.000001004 | 0.09854 | 0.04831 | 0.04663 | 0.2159 | 8.886 | 2.828 | 0.178 | 0.3713 | 1 | 1 | 0.04513 | 0.1886 | 0.6266 | 0.1701 | 0.7108 | 2.361 | json |
| t17_x20_u2_b53 | 17 | 20 | 2 | 53 | ![]() |
pow(R,dot(P,frc(R))) | 114732 | 138858692 | o2(x,o2(x,o1(x))) | true | 77863 | 77863 | -0.9253 | 0.04297 | 0.9887 | 0.13 | 0.3606 | -1 | 1 | 2 | 1 | 0.3538 | 0.01427 | 0.01324 | 0.01559 | 0.03744 | 1 | 0.000001726 | 0.05756 | 0.02984 | 0.02727 | 0.1651 | 10.59 | 2.828 | 0.2115 | 0.4427 | 1 | 1 | 0.02455 | 0.1032 | 0.244 | 0.1888 | 0.7935 | 1.876 | json |
| t17_x20_u2_b54 | 17 | 20 | 2 | 54 | ![]() |
pow(R,dst(P,frc(R))) | 114733 | 138858693 | o2(x,o2(x,o1(x))) | true | 77871 | 77871 | -0.9498 | 0.04259 | 0.9643 | 0.05739 | 0.2396 | -1 | 0.7136 | 1.714 | 1 | 0.3774 | 0.00597 | 0.005698 | 0.01057 | 0.02338 | 1 | 0.000004764 | 0.02433 | 0.01961 | 0.01156 | 0.1075 | 10.17 | 2.011 | 0.2033 | 0.424 | 1 | 1 | 0.009615 | 0.04197 | 0.1029 | 0.1676 | 0.7313 | 1.793 | json |
| t17_x20_u2_b55 | 17 | 20 | 2 | 55 | ![]() |
mod(R,add(P,frc(R))) | 114734 | 138858694 | o2(x,o2(x,o1(x))) | true | 77879 | 77879 | 0.008383 | 0.4955 | 0.3623 | 0.1964 | 0.4432 | -0.9987 | 0.9806 | 1.979 | 1 | 4.807 | 0.002487 | 0.002846 | 0.05899 | -0.06737 | 1 | 0.00004539 | 0.0003116 | 0.01349 | 0.001853 | 0.04304 | 0.7297 | 0.2301 | 0.02715 | 0.001586 | 1 | 1 | 0.01051 | 0.1348 | 0.3318 | 0.05351 | 0.6862 | 1.689 | json |
| t17_x20_u2_b56 | 17 | 20 | 2 | 56 | ![]() |
mod(R,sub(P,frc(R))) | 114735 | 138858695 | o2(x,o2(x,o1(x))) | true | 77887 | 77887 | -0.0007432 | 0.4953 | 0.3637 | 0.1973 | 0.4442 | -0.9989 | 0.9806 | 1.979 | 1 | 4.809 | 0.002411 | 0.002871 | 0.05855 | -0.08713 | 1 | 0.00003981 | 0.0003102 | 0.01345 | 0.001854 | 0.04306 | 0.7354 | 0.2301 | 0.02677 | 0.001572 | 1 | 1 | 0.01013 | 0.1301 | 0.3441 | 0.05134 | 0.6592 | 1.744 | json |
| t17_x20_u2_b57 | 17 | 20 | 2 | 57 | ![]() |
mod(R,mlt(P,frc(R))) | 114736 | 138858696 | o2(x,o2(x,o1(x))) | true | 77895 | 77895 | -0.0637 | 0.4492 | 0.4025 | 0.2557 | 0.5057 | -1 | 0.9806 | 1.981 | 1 | 4.57 | 0.01096 | 0.002029 | 0.05464 | 0.6875 | 1 | 0.00003533 | 0.01861 | 0.027 | 0.01 | 0.1 | 1.83 | 1.898 | 0.05078 | 0.07277 | 1 | 1 | 0.01882 | 0.1399 | 0.4145 | 0.0736 | 0.5471 | 1.621 | json |
| t17_x20_u2_b58 | 17 | 20 | 2 | 58 | ![]() |
mod(R,div(P,frc(R))) | 114737 | 138858697 | o2(x,o2(x,o1(x))) | true | 77903 | 77903 | -0.12 | 0.4324 | 0.4674 | 0.3015 | 0.5491 | -1 | 0.9806 | 1.981 | 1 | 4.761 | 0.01585 | 0.002792 | 0.06406 | 0.7005 | 1 | 0.00004824 | 0.0275 | 0.03166 | 0.01454 | 0.1206 | 1.882 | 1.943 | 0.06184 | 0.09123 | 1 | 1 | 0.02584 | 0.1831 | 0.5035 | 0.0857 | 0.6074 | 1.67 | json |
| t17_x20_u2_b59 | 17 | 20 | 2 | 59 | ![]() |
mod(R,pow(P,frc(R))) | 114738 | 138858698 | o2(x,o2(x,o1(x))) | true | 77911 | 77911 | -0.5736 | 0.1995 | 0.7298 | 0.325 | 0.57 | -1 | 0.9806 | 1.981 | 1 | 3.079 | 0.008479 | 0.001297 | 0.03255 | 0.7347 | 1 | 0.00001063 | 0.01473 | 0.01637 | 0.008716 | 0.09336 | 2.868 | 1.943 | 0.03008 | 0.04532 | 1 | 1 | 0.01323 | 0.09166 | 0.2549 | 0.04071 | 0.2821 | 0.7843 | json |
| t17_x20_u2_b60 | 17 | 20 | 2 | 60 | ![]() |
mod(R,mod(P,frc(R))) | 114739 | 138858699 | o2(x,o2(x,o1(x))) | true | 77919 | 77919 | -0.1349 | 0.4051 | 0.1948 | 0.1182 | 0.3439 | -1 | 0.4169 | 1.417 | 1 | 3.011 | 0.008685 | 0.0001823 | 0.02117 | 0.9589 | 1 | -0.000003223 | 0.01707 | 0.0193 | 0.00842 | 0.09176 | 4.335 | 1.327 | 0.075 | 0.1444 | 1 | 1 | 0.01183 | 0.05146 | 0.1826 | 0.1001 | 0.4352 | 1.544 | json |
| t17_x20_u2_b61 | 17 | 20 | 2 | 61 | ![]() |
mod(R,lrg(P,frc(R))) | 114740 | 138858700 | o2(x,o2(x,o1(x))) | true | 77927 | 77927 | -0.5736 | 0.1995 | 0.7298 | 0.325 | 0.57 | -1 | 0.9806 | 1.981 | 1 | 3.079 | 0.008479 | 0.001297 | 0.03255 | 0.7347 | 1 | 0.00001063 | 0.01473 | 0.01637 | 0.008716 | 0.09336 | 2.868 | 1.943 | 0.03008 | 0.04532 | 1 | 1 | 0.01323 | 0.09166 | 0.2549 | 0.04071 | 0.2821 | 0.7843 | json |
| t17_x20_u2_b62 | 17 | 20 | 2 | 62 | ![]() |
mod(R,eql(P,frc(R))) | 114741 | 138858701 | o2(x,o2(x,o1(x))) | true | 77935 | 77935 | -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 |
| t17_x20_u2_b63 | 17 | 20 | 2 | 63 | ![]() |
mod(R,min(P,frc(R))) | 114742 | 138858702 | o2(x,o2(x,o1(x))) | true | 77943 | 77943 | -0.1345 | 0.296 | 0.3561 | 0.2216 | 0.4707 | -1 | 0.9693 | 1.969 | 1 | 4.295 | 0.01186 | 0.001746 | 0.04516 | 0.7433 | 1 | 0.00002822 | 0.02137 | 0.02549 | 0.01157 | 0.1075 | 2.381 | 1.898 | 0.06141 | 0.09646 | 1 | 1 | 0.01877 | 0.1256 | 0.3591 | 0.08471 | 0.567 | 1.621 | json |
| t17_x20_u2_b64 | 17 | 20 | 2 | 64 | ![]() |
mod(R,dot(P,frc(R))) | 114743 | 138858703 | o2(x,o2(x,o1(x))) | true | 77951 | 77951 | 0.0004555 | 0.4839 | 0.3794 | 0.2107 | 0.459 | -1 | 0.9806 | 1.981 | 1 | 4.839 | 0.003535 | 0.004262 | 0.06134 | -0.09331 | 1 | 0.00003615 | 0.005491 | 0.01786 | 0.004034 | 0.06352 | 1.035 | 2.097 | 0.037 | 0.02606 | 1 | 1 | 0.01439 | 0.1456 | 0.4142 | 0.06831 | 0.6909 | 1.966 | json |
| t17_x20_u2_b65 | 17 | 20 | 2 | 65 | ![]() |
mod(R,dst(P,frc(R))) | 114744 | 138858704 | o2(x,o2(x,o1(x))) | true | 77959 | 77959 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x20_u2_b66 | 17 | 20 | 2 | 66 | ![]() |
lrg(R,add(P,frc(R))) | 114745 | 138858705 | o2(x,o2(x,o1(x))) | true | 77967 | 77967 | 0.4414 | 0.4866 | 0.4414 | 0.2373 | 0.4872 | 0 | 1 | 1 | 1 | 1.431 | 0.0003142 | 0.0001403 | 0.005314 | 0.3824 | 1 | -0.00001141 | 0.0000246 | 0.001271 | 0.0004265 | 0.02065 | 3.886 | 0.1169 | 0.001915 | 0.0001037 | 1 | 1 | 0.001146 | 0.01504 | 0.09102 | 0.00483 | 0.06336 | 0.3835 | json |
| t17_x20_u2_b67 | 17 | 20 | 2 | 67 | ![]() |
lrg(R,sub(P,frc(R))) | 114746 | 138858706 | o2(x,o2(x,o1(x))) | true | 77975 | 77975 | 0.5371 | 0.6066 | 0.5371 | 0.2336 | 0.4834 | 0 | 1 | 1 | 1 | 1.628 | 0.0004001 | 0.0002935 | 0.008142 | 0.1537 | 1 | -0.00001141 | 0.00004064 | 0.001984 | 0.0006273 | 0.02505 | 3.076 | 0.1169 | 0.002969 | 0.0001739 | 1 | 1 | 0.001778 | 0.02301 | 0.08751 | 0.007612 | 0.09848 | 0.3746 | json |
| t17_x20_u2_b68 | 17 | 20 | 2 | 68 | ![]() |
lrg(R,mlt(P,frc(R))) | 114747 | 138858707 | o2(x,o2(x,o1(x))) | true | 77983 | 77983 | 0.4414 | 0.5363 | 0.4414 | 0.2244 | 0.4737 | 0 | 1 | 1 | 1 | 1.865 | 0.0005054 | 0.0005557 | 0.01242 | -0.04741 | 1 | 0.000005703 | 0.00006005 | 0.002988 | 0.0009065 | 0.03011 | 2.424 | 0.1169 | 0.004729 | 0.0002676 | 1 | 1 | 0.002246 | 0.02897 | 0.1273 | 0.01001 | 0.1291 | 0.5674 | json |
| t17_x20_u2_b69 | 17 | 20 | 2 | 69 | ![]() |
lrg(R,div(P,frc(R))) | 114748 | 138858708 | o2(x,o2(x,o1(x))) | true | 77991 | 77991 | 0.4961 | 0.5378 | 0.4961 | 0.2412 | 0.4911 | 0 | 1 | 1 | 1 | 1.415 | 0.0003238 | 0.0001053 | 0.004981 | 0.5091 | 1 | -0.000005705 | 0.00002256 | 0.001187 | 0.0004044 | 0.02011 | 4.037 | 0.1169 | 0.001779 | 0.00009352 | 1 | 1 | 0.001146 | 0.01504 | 0.08976 | 0.004753 | 0.06234 | 0.3721 | json |
| t17_x20_u2_b70 | 17 | 20 | 2 | 70 | ![]() |
lrg(R,pow(P,frc(R))) | 114749 | 138858709 | o2(x,o2(x,o1(x))) | true | 77999 | 77999 | 0.4961 | 0.5378 | 0.4961 | 0.2412 | 0.4911 | 0 | 1 | 1 | 1 | 1.415 | 0.0003238 | 0.0001053 | 0.004981 | 0.5091 | 1 | -0.000005705 | 0.00002256 | 0.001187 | 0.0004044 | 0.02011 | 4.037 | 0.1169 | 0.001779 | 0.00009352 | 1 | 1 | 0.001146 | 0.01504 | 0.08976 | 0.004753 | 0.06234 | 0.3721 | json |
| t17_x20_u2_b71 | 17 | 20 | 2 | 71 | ![]() |
lrg(R,mod(P,frc(R))) | 114750 | 138858710 | o2(x,o2(x,o1(x))) | true | 78007 | 78007 | 0.5508 | 0.9405 | 0.5508 | 0.1573 | 0.3966 | 0 | 1 | 1 | 1 | 3.334 | 0.00189 | 0.002259 | 0.04866 | -0.089 | 1 | -0.0000164 | 0.0002448 | 0.01182 | 0.001782 | 0.04221 | 0.8676 | 0.1169 | 0.02637 | 0.001556 | 1 | 1 | 0.008096 | 0.1043 | 0.2589 | 0.05146 | 0.6631 | 1.646 | json |
| t17_x20_u2_b72 | 17 | 20 | 2 | 72 | ![]() |
lrg(R,lrg(P,frc(R))) | 114751 | 138858711 | o2(x,o2(x,o1(x))) | true | 78015 | 78015 | 0.2676 | 0.4921 | 0.2676 | 0.1474 | 0.3839 | 0 | 1 | 1 | 1 | 2.341 | 0.001052 | 0.001231 | 0.02666 | -0.0785 | 1 | 0.000006427 | 0.0001288 | 0.006434 | 0.001572 | 0.03965 | 1.487 | 0.1169 | 0.01549 | 0.000874 | 1 | 1 | 0.004654 | 0.05961 | 0.1835 | 0.03158 | 0.4044 | 1.245 | json |
| t17_x20_u2_b73 | 17 | 20 | 2 | 73 | ![]() |
lrg(R,eql(P,frc(R))) | 114752 | 138858712 | o2(x,o2(x,o1(x))) | true | 78023 | 78023 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t17_x20_u2_b74 | 17 | 20 | 2 | 74 | ![]() |
lrg(R,min(P,frc(R))) | 114753 | 138858713 | o2(x,o2(x,o1(x))) | true | 78031 | 78031 | 0.4961 | 0.5378 | 0.4961 | 0.2412 | 0.4911 | 0 | 1 | 1 | 1 | 1.415 | 0.0003238 | 0.0001053 | 0.004981 | 0.5091 | 1 | -0.000005705 | 0.00002256 | 0.001187 | 0.0004044 | 0.02011 | 4.037 | 0.1169 | 0.001779 | 0.00009352 | 1 | 1 | 0.001146 | 0.01504 | 0.08976 | 0.004753 | 0.06234 | 0.3721 | json |
| t17_x20_u2_b75 | 17 | 20 | 2 | 75 | ![]() |
lrg(R,dot(P,frc(R))) | 114754 | 138858714 | o2(x,o2(x,o1(x))) | true | 78039 | 78039 | 0.5293 | 0.6969 | 0.5293 | 0.211 | 0.4593 | 0 | 1 | 1 | 1 | 2.305 | 0.0007773 | 0.0009397 | 0.02019 | -0.09459 | 1 | 0.000005704 | 0.0001061 | 0.004959 | 0.001309 | 0.03618 | 1.792 | 0.1169 | 0.008138 | 0.0005029 | 1 | 1 | 0.003531 | 0.04584 | 0.1274 | 0.01674 | 0.2173 | 0.6037 | json |
| t17_x20_u2_b76 | 17 | 20 | 2 | 76 | ![]() |
lrg(R,dst(P,frc(R))) | 114755 | 138858715 | o2(x,o2(x,o1(x))) | true | 78047 | 78047 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 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 |
| t17_x20_u2_b77 | 17 | 20 | 2 | 77 | ![]() |
eql(R,add(P,frc(R))) | 114756 | 138858716 | o2(x,o2(x,o1(x))) | true | 78055 | 78055 | 0.05469 | 0.1327 | 0.05469 | 0.03777 | 0.1944 | 0 | 1 | 1 | 1 | 0.8133 | 0.000414 | 0.0002457 | 0.007741 | 0.2551 | 1 | 0.000005704 | 0.00003679 | 0.001864 | 0.0005996 | 0.02449 | 3.163 | 0.1169 | 0.01746 | 0.000974 | 1 | 1 | 0.001703 | 0.02225 | 0.09418 | 0.04509 | 0.5891 | 2.493 | json |
| t17_x20_u2_b78 | 17 | 20 | 2 | 78 | ![]() |
eql(R,sub(P,frc(R))) | 114757 | 138858717 | o2(x,o2(x,o1(x))) | true | 78063 | 78063 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 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 |
| t17_x20_u2_b79 | 17 | 20 | 2 | 79 | ![]() |
eql(R,mlt(P,frc(R))) | 114758 | 138858718 | o2(x,o2(x,o1(x))) | true | 78071 | 78071 | 0.03906 | 0.1129 | 0.03906 | 0.02579 | 0.1606 | 0 | 0.9997 | 0.9997 | 1 | 0.6726 | 0.0003997 | 0.0001755 | 0.006718 | 0.3898 | 1 | -0.00001141 | 0.00003128 | 0.001608 | 0.0005302 | 0.02303 | 3.427 | 0.1169 | 0.0223 | 0.001213 | 1 | 1 | 0.001425 | 0.01841 | 0.04273 | 0.05526 | 0.7139 | 1.657 | json |
| t17_x20_u2_b80 | 17 | 20 | 2 | 80 | ![]() |
eql(R,div(P,frc(R))) | 114759 | 138858719 | o2(x,o2(x,o1(x))) | true | 78079 | 78079 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 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 |
| t17_x20_u2_b81 | 17 | 20 | 2 | 81 | ![]() |
eql(R,pow(P,frc(R))) | 114760 | 138858720 | o2(x,o2(x,o1(x))) | true | 78087 | 78087 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 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 |
| t17_x20_u2_b82 | 17 | 20 | 2 | 82 | ![]() |
eql(R,mod(P,frc(R))) | 114761 | 138858721 | o2(x,o2(x,o1(x))) | true | 78095 | 78095 | 0.01562 | 0.05212 | 0.01562 | 0.01001 | 0.1001 | 0 | 0.9997 | 0.9997 | 1 | 0.3336 | 0.0001502 | 0.0001053 | 0.003029 | 0.1754 | 1 | -6.764e-11 | 0.00001472 | 0.0007359 | 0.0002465 | 0.0157 | 5.182 | 0.1169 | 0.02552 | 0.00147 | 1 | 1 | 0.0008885 | 0.01146 | 0.03259 | 0.08875 | 1.144 | 3.256 | json |
| t17_x20_u2_b83 | 17 | 20 | 2 | 83 | ![]() |
eql(R,lrg(P,frc(R))) | 114762 | 138858722 | o2(x,o2(x,o1(x))) | true | 78103 | 78103 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 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 |
| t17_x20_u2_b84 | 17 | 20 | 2 | 84 | ![]() |
eql(R,eql(P,frc(R))) | 114763 | 138858723 | o2(x,o2(x,o1(x))) | true | 78111 | 78111 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 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 |
| t17_x20_u2_b85 | 17 | 20 | 2 | 85 | ![]() |
eql(R,min(P,frc(R))) | 114764 | 138858724 | o2(x,o2(x,o1(x))) | true | 78119 | 78119 | 0.2148 | 0.455 | 0.2148 | 0.1181 | 0.3436 | 0 | 1 | 1 | 1 | 2.248 | 0.001095 | 0.001206 | 0.02703 | -0.04847 | 1 | -0.00002424 | 0.0001387 | 0.006603 | 0.001571 | 0.03963 | 1.466 | 0.1169 | 0.01949 | 0.001175 | 1 | 1 | 0.004457 | 0.05786 | 0.1462 | 0.03774 | 0.49 | 1.238 | json |
| t17_x20_u2_b86 | 17 | 20 | 2 | 86 | ![]() |
eql(R,dot(P,frc(R))) | 114765 | 138858725 | o2(x,o2(x,o1(x))) | true | 78127 | 78127 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 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 |
| t17_x20_u2_b87 | 17 | 20 | 2 | 87 | ![]() |
eql(R,dst(P,frc(R))) | 114766 | 138858726 | o2(x,o2(x,o1(x))) | true | 78135 | 78135 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 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 |
| t17_x20_u2_b88 | 17 | 20 | 2 | 88 | ![]() |
min(R,add(P,frc(R))) | 114767 | 138858727 | o2(x,o2(x,o1(x))) | true | 78143 | 78143 | -0.4486 | 0.2483 | 0.6438 | 0.3375 | 0.5809 | -1 | 0.9806 | 1.981 | 1 | 3.813 | 0.001888 | 0.001617 | 0.03807 | 0.07742 | 1 | -0.000006992 | 0.000253 | 0.009186 | 0.002056 | 0.04535 | 1.191 | 0.219 | 0.01039 | 0.0007498 | 1 | 1 | 0.007242 | 0.09261 | 0.301 | 0.02146 | 0.2744 | 0.892 | json |
| t17_x20_u2_b89 | 17 | 20 | 2 | 89 | ![]() |
min(R,sub(P,frc(R))) | 114768 | 138858728 | o2(x,o2(x,o1(x))) | true | 78151 | 78151 | -0.5315 | 0.2074 | 0.6778 | 0.3045 | 0.5518 | -1 | 0.9806 | 1.981 | 1 | 3.501 | 0.001438 | 0.001295 | 0.03148 | 0.05234 | 1 | 0.0000061 | 0.0001969 | 0.007663 | 0.001742 | 0.04174 | 1.326 | 0.219 | 0.008973 | 0.0006466 | 1 | 1 | 0.005265 | 0.06761 | 0.225 | 0.01729 | 0.222 | 0.7388 | json |
| t17_x20_u2_b90 | 17 | 20 | 2 | 90 | ![]() |
min(R,mlt(P,frc(R))) | 114769 | 138858729 | o2(x,o2(x,o1(x))) | true | 78159 | 78159 | -0.4632 | 0.2244 | 0.6376 | 0.3134 | 0.5598 | -1 | 0.9806 | 1.981 | 1 | 4.007 | 0.001819 | 0.001615 | 0.03841 | 0.05939 | 1 | 0.00001138 | 0.0003506 | 0.01034 | 0.001958 | 0.04425 | 1.152 | 0.2613 | 0.01096 | 0.001118 | 1 | 1 | 0.006789 | 0.08486 | 0.2531 | 0.02166 | 0.2707 | 0.8075 | json |
| t17_x20_u2_b91 | 17 | 20 | 2 | 91 | ![]() |
min(R,div(P,frc(R))) | 114770 | 138858730 | o2(x,o2(x,o1(x))) | true | 78167 | 78167 | -0.5021 | 0.2244 | 0.6765 | 0.3349 | 0.5787 | -1 | 0.9806 | 1.981 | 1 | 3.508 | 0.00196 | 0.001501 | 0.03452 | 0.1327 | 1 | 3.357e-7 | 0.0006636 | 0.009106 | 0.002269 | 0.04764 | 1.38 | 0.8783 | 0.01033 | 0.001981 | 1 | 1 | 0.006699 | 0.08331 | 0.2719 | 0.02 | 0.2487 | 0.8119 | json |
| t17_x20_u2_b92 | 17 | 20 | 2 | 92 | ![]() |
min(R,pow(P,frc(R))) | 114771 | 138858731 | o2(x,o2(x,o1(x))) | true | 78175 | 78175 | -0.005276 | 0.4805 | 0.3857 | 0.2142 | 0.4628 | -0.9989 | 0.9806 | 1.979 | 1 | 4.852 | 0.0028 | 0.003069 | 0.06243 | -0.04583 | 1 | 0.00002809 | 0.000342 | 0.01428 | 0.001973 | 0.04442 | 0.7115 | 0.2301 | 0.0274 | 0.001597 | 1 | 1 | 0.01137 | 0.1459 | 0.366 | 0.05307 | 0.6813 | 1.709 | json |
| t17_x20_u2_b93 | 17 | 20 | 2 | 93 | ![]() |
min(R,mod(P,frc(R))) | 114772 | 138858732 | o2(x,o2(x,o1(x))) | true | 78183 | 78183 | -0.2707 | 0.1673 | 0.3324 | 0.09324 | 0.3054 | -0.9989 | 0.7987 | 1.798 | 1 | 4.301 | 0.001138 | 0.001118 | 0.03732 | 0.009022 | 1 | 0.00001044 | 0.0001346 | 0.008605 | 0.0008635 | 0.02938 | 0.7873 | 0.1856 | 0.0242 | 0.001443 | 1 | 1 | 0.004267 | 0.05528 | 0.154 | 0.04576 | 0.5929 | 1.651 | json |
| t17_x20_u2_b94 | 17 | 20 | 2 | 94 | ![]() |
min(R,lrg(P,frc(R))) | 114773 | 138858733 | o2(x,o2(x,o1(x))) | true | 78191 | 78191 | -0.1361 | 0.2244 | 0.3105 | 0.1484 | 0.3852 | -0.9989 | 0.9806 | 1.979 | 1 | 4.449 | 0.001872 | 0.001879 | 0.04664 | -0.001932 | 1 | 0.00001726 | 0.0002226 | 0.01081 | 0.001576 | 0.0397 | 0.8513 | 0.219 | 0.02529 | 0.001501 | 1 | 1 | 0.007167 | 0.09264 | 0.2444 | 0.04831 | 0.6245 | 1.648 | json |
| t17_x20_u2_b95 | 17 | 20 | 2 | 95 | ![]() |
min(R,eql(P,frc(R))) | 114774 | 138858734 | o2(x,o2(x,o1(x))) | true | 78199 | 78199 | -0.2541 | 0 | 0.2541 | 0.06549 | 0.2559 | -0.9989 | 0 | 0.9989 | 1 | 3.542 | 0.000768 | 0.0009295 | 0.0314 | -0.09514 | 1 | 0.00001332 | 0.00009988 | 0.007359 | 0.0007117 | 0.02668 | 0.8497 | 0.1168 | 0.02592 | 0.001525 | 1 | 1 | 0.003123 | 0.04017 | 0.1061 | 0.04769 | 0.6134 | 1.62 | json |
| t17_x20_u2_b96 | 17 | 20 | 2 | 96 | ![]() |
min(R,min(P,frc(R))) | 114775 | 138858735 | o2(x,o2(x,o1(x))) | true | 78207 | 78207 | -0.4947 | 0.2244 | 0.669 | 0.3314 | 0.5756 | -1 | 0.9806 | 1.981 | 1 | 3.609 | 0.001675 | 0.001465 | 0.03457 | 0.06692 | 1 | -5.686e-7 | 0.0001859 | 0.007986 | 0.001945 | 0.0441 | 1.276 | 0.219 | 0.009476 | 0.0005609 | 1 | 1 | 0.006236 | 0.08108 | 0.2653 | 0.01882 | 0.2447 | 0.8006 | json |
| t17_x20_u2_b97 | 17 | 20 | 2 | 97 | ![]() |
min(R,dot(P,frc(R))) | 114776 | 138858736 | o2(x,o2(x,o1(x))) | true | 78215 | 78215 | -0.5268 | 0.2032 | 0.6892 | 0.3166 | 0.5627 | -1 | 0.9795 | 1.979 | 1 | 3.596 | 0.002526 | 0.002311 | 0.03957 | 0.0444 | 1 | 0.00008286 | 0.001014 | 0.01274 | 0.003272 | 0.0572 | 1.446 | 0.65 | 0.01528 | 0.003202 | 1 | 1 | 0.008165 | 0.0971 | 0.3076 | 0.02579 | 0.3067 | 0.9716 | json |
| t17_x20_u2_b98 | 17 | 20 | 2 | 98 | ![]() |
min(R,dst(P,frc(R))) | 114777 | 138858737 | o2(x,o2(x,o1(x))) | true | 78223 | 78223 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x20_u2_b99 | 17 | 20 | 2 | 99 | ![]() |
dot(R,add(P,frc(R))) | 114778 | 138858738 | o2(x,o2(x,o1(x))) | true | 78231 | 78231 | -0.03129 | 0.4946 | 0.8522 | 0.8035 | 0.8964 | -1 | 1 | 2 | 1 | 2.875 | 0.025 | 0.03255 | 0.09982 | -0.1311 | 1 | 0.00004657 | 0.04659 | 0.07403 | 0.0476 | 0.2182 | 2.186 | 1.917 | 0.07162 | 0.05798 | 1 | 1 | 0.07342 | 0.5598 | 1.393 | 0.09138 | 0.6967 | 1.734 | json |
| t17_x20_u2_b100 | 17 | 20 | 2 | 100 | ![]() |
dot(R,sub(P,frc(R))) | 114779 | 138858739 | o2(x,o2(x,o1(x))) | true | 78239 | 78239 | -0.1622 | 0.4161 | 0.8445 | 0.7676 | 0.8761 | -1 | 1 | 2 | 1 | 2.938 | 0.02427 | 0.03341 | 0.1033 | -0.1585 | 1 | 0.00006106 | 0.04482 | 0.07449 | 0.047 | 0.2168 | 2.098 | 1.824 | 0.07515 | 0.05839 | 1 | 1 | 0.07392 | 0.5747 | 1.359 | 0.0963 | 0.7488 | 1.771 | json |
| t17_x20_u2_b101 | 17 | 20 | 2 | 101 | ![]() |
dot(R,mlt(P,frc(R))) | 114780 | 138858740 | o2(x,o2(x,o1(x))) | true | 78247 | 78247 | -0.09501 | 0.4537 | 0.7123 | 0.6194 | 0.787 | -1 | 1 | 2 | 1 | 3.898 | 0.0139 | 0.01631 | 0.09535 | -0.07964 | 1 | 0.00004626 | 0.01269 | 0.04474 | 0.02112 | 0.1453 | 1.524 | 1.171 | 0.04878 | 0.02049 | 1 | 1 | 0.041 | 0.4014 | 0.9896 | 0.0662 | 0.6481 | 1.598 | json |
| t17_x20_u2_b102 | 17 | 20 | 2 | 102 | ![]() |
dot(R,div(P,frc(R))) | 114781 | 138858741 | o2(x,o2(x,o1(x))) | true | 78255 | 78255 | -0.01765 | 0.4947 | 0.9283 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 2.051 | 0.05672 | 0.07042 | 0.1097 | -0.1077 | 1 | 0.00003277 | 0.2317 | 0.1455 | 0.1152 | 0.3394 | 3.093 | 2.828 | 0.1404 | 0.256 | 1 | 1 | 0.1298 | 0.7166 | 1.577 | 0.1433 | 0.7916 | 1.742 | json |
| t17_x20_u2_b103 | 17 | 20 | 2 | 103 | ![]() |
dot(R,pow(P,frc(R))) | 114782 | 138858742 | o2(x,o2(x,o1(x))) | true | 78263 | 78263 | -0.7182 | 0.1427 | 0.9339 | 0.397 | 0.6301 | -1 | 1 | 2 | 1 | 1.507 | 0.006719 | 0.007548 | 0.02813 | -0.05812 | 1 | -0.00005353 | 0.01723 | 0.01976 | 0.01348 | 0.1161 | 4.127 | 2 | 0.03593 | 0.04339 | 1 | 1 | 0.01889 | 0.1375 | 0.4485 | 0.04757 | 0.3462 | 1.13 | json |
| t17_x20_u2_b104 | 17 | 20 | 2 | 104 | ![]() |
dot(R,mod(P,frc(R))) | 114783 | 138858743 | o2(x,o2(x,o1(x))) | true | 78271 | 78271 | -0.02127 | 0.4538 | 0.1414 | 0.03657 | 0.1912 | -0.8127 | 0.7873 | 1.6 | 1 | 3.605 | 0.0004723 | 0.000548 | 0.02483 | -0.07418 | 1 | -0.00002455 | 0.00006019 | 0.005671 | 0.0004038 | 0.02009 | 0.8092 | 0.1288 | 0.0279 | 0.001646 | 1 | 1 | 0.001946 | 0.02511 | 0.06952 | 0.05321 | 0.6865 | 1.901 | json |
| t17_x20_u2_b105 | 17 | 20 | 2 | 105 | ![]() |
dot(R,lrg(P,frc(R))) | 114784 | 138858744 | o2(x,o2(x,o1(x))) | true | 78279 | 78279 | -0.0008626 | 0.3611 | 0.3163 | 0.1971 | 0.444 | -1 | 1 | 2 | 1 | 4.334 | 0.002846 | 0.002732 | 0.0511 | 0.02036 | 1 | -0.00001089 | 0.0004534 | 0.01239 | 0.002966 | 0.05447 | 1.066 | 0.3047 | 0.0283 | 0.0023 | 1 | 1 | 0.01003 | 0.1267 | 0.3746 | 0.05091 | 0.6431 | 1.9 | json |
| t17_x20_u2_b106 | 17 | 20 | 2 | 106 | ![]() |
dot(R,eql(P,frc(R))) | 114785 | 138858745 | o2(x,o2(x,o1(x))) | true | 78287 | 78287 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 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 |
| t17_x20_u2_b107 | 17 | 20 | 2 | 107 | ![]() |
dot(R,min(P,frc(R))) | 114786 | 138858746 | o2(x,o2(x,o1(x))) | true | 78295 | 78295 | -0.02193 | 0.494 | 0.658 | 0.5697 | 0.7548 | -1 | 1 | 2 | 1 | 3.989 | 0.01617 | 0.02034 | 0.08801 | -0.1141 | 1 | -0.00004652 | 0.02322 | 0.04995 | 0.02875 | 0.1696 | 1.927 | 1.834 | 0.06409 | 0.04077 | 1 | 1 | 0.04947 | 0.407 | 0.9587 | 0.08684 | 0.7145 | 1.683 | json |
| t17_x20_u2_b108 | 17 | 20 | 2 | 108 | ![]() |
dot(R,dot(P,frc(R))) | 114787 | 138858747 | o2(x,o2(x,o1(x))) | true | 78303 | 78303 | -0.02833 | 0.4757 | 0.7372 | 0.6641 | 0.8149 | -1 | 1 | 2 | 1 | 3.638 | 0.02098 | 0.02331 | 0.09789 | -0.05255 | 1 | -0.00004903 | 0.03466 | 0.06117 | 0.03471 | 0.1863 | 1.903 | 2.033 | 0.06668 | 0.05218 | 1 | 1 | 0.05867 | 0.4602 | 1.135 | 0.08834 | 0.6929 | 1.709 | json |
| t17_x20_u2_b109 | 17 | 20 | 2 | 109 | ![]() |
dot(R,dst(P,frc(R))) | 114788 | 138858748 | o2(x,o2(x,o1(x))) | true | 78311 | 78311 | 0.01813 | 0.5121 | 0.8939 | 0.8584 | 0.9265 | -1 | 1 | 2 | 1 | 2.49 | 0.03913 | 0.04132 | 0.1093 | -0.0272 | 1 | 0.00002837 | 0.08678 | 0.1001 | 0.06851 | 0.2617 | 2.395 | 2.279 | 0.09371 | 0.1011 | 1 | 1 | 0.1053 | 0.6926 | 1.527 | 0.1227 | 0.8069 | 1.778 | json |
| t17_x20_u2_b110 | 17 | 20 | 2 | 110 | ![]() |
dst(R,add(P,frc(R))) | 114789 | 138858749 | o2(x,o2(x,o1(x))) | true | 78319 | 78319 | 0.9973 | 1 | 0.9973 | 0.001754 | 0.04188 | 0.0005821 | 1 | 0.9994 | 1 | 0.06748 | 0.00003988 | 0.00005448 | 0.0007153 | -0.1547 | 0 | -2.816e-11 | 0.00002356 | 0.0002995 | 0.00009383 | 0.009686 | 13.54 | 0.2517 | 0.0538 | 0.01343 | 1 | 1 | 0.0003158 | 0.003275 | 0.006392 | 0.1801 | 1.867 | 3.645 | json |
| t17_x20_u2_b111 | 17 | 20 | 2 | 111 | ![]() |
dst(R,sub(P,frc(R))) | 114790 | 138858750 | o2(x,o2(x,o1(x))) | true | 78327 | 78327 | 0.9992 | 1 | 0.9992 | 0.000285 | 0.01688 | 0.4924 | 1 | 0.5076 | 1 | 0.0336 | 0.0000135 | 0.00001477 | 0.0002846 | -0.04475 | 0 | 1.314e-11 | 0.00001348 | 0.0001792 | 0.0000282 | 0.005311 | 18.66 | 0.1725 | 0.0992 | 0.0473 | 1 | 1 | 0.00009018 | 0.0007393 | 0.001038 | 0.3165 | 2.594 | 3.643 | json |
| t17_x20_u2_b112 | 17 | 20 | 2 | 112 | ![]() |
dst(R,mlt(P,frc(R))) | 114791 | 138858751 | o2(x,o2(x,o1(x))) | true | 78335 | 78335 | 0.989 | 1 | 0.989 | 0.004263 | 0.06529 | 0.2489 | 1 | 0.7511 | 1 | 0.3379 | 0.0001673 | 0.0001514 | 0.002968 | 0.04978 | 1 | -0.00003082 | 0.0001954 | 0.002061 | 0.00031 | 0.01761 | 5.932 | 0.3803 | 0.07477 | 0.04583 | 1 | 1 | 0.0007045 | 0.005802 | 0.01382 | 0.1653 | 1.361 | 3.241 | json |
| t17_x20_u2_b113 | 17 | 20 | 2 | 113 | ![]() |
dst(R,div(P,frc(R))) | 114792 | 138858752 | o2(x,o2(x,o1(x))) | true | 78343 | 78343 | 1 | 1 | 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 |
| t17_x20_u2_b114 | 17 | 20 | 2 | 114 | ![]() |
dst(R,pow(P,frc(R))) | 114793 | 138858753 | o2(x,o2(x,o1(x))) | true | 78351 | 78351 | -0.501 | 0.25 | 0.999 | 0.7476 | 0.8646 | -1 | 1 | 2 | 1 | 0.8504 | 0.007931 | 0.007944 | 0.008203 | -0.0008104 | 1 | 7.509e-12 | 0.03185 | 0.016 | 0.01581 | 0.1257 | 15.33 | 2 | 0.02124 | 0.04261 | 1 | 1 | 0.02108 | 0.08432 | 0.3308 | 0.0282 | 0.1128 | 0.4425 | json |
| t17_x20_u2_b115 | 17 | 20 | 2 | 115 | ![]() |
dst(R,mod(P,frc(R))) | 114794 | 138858754 | o2(x,o2(x,o1(x))) | true | 78359 | 78359 | 0.9124 | 1 | 0.9124 | 0.02351 | 0.1533 | 0.1107 | 1 | 0.8893 | 1 | 1.905 | 0.0003664 | 0.0005582 | 0.01605 | -0.2074 | 1 | -0.00001729 | 0.0001883 | 0.00592 | 0.0006673 | 0.02583 | 1.61 | 0.1582 | 0.03932 | 0.008008 | 1 | 1 | 0.001605 | 0.01739 | 0.03847 | 0.06827 | 0.7397 | 1.636 | json |
| t17_x20_u2_b116 | 17 | 20 | 2 | 116 | ![]() |
dst(R,lrg(P,frc(R))) | 114795 | 138858755 | o2(x,o2(x,o1(x))) | true | 78367 | 78367 | 0.9473 | 1 | 0.9473 | 0.01483 | 0.1218 | 0.2579 | 1 | 0.7421 | 1 | 1.328 | 0.0002397 | 0.0003377 | 0.009903 | -0.1697 | 1 | -0.00003113 | 0.0001656 | 0.004384 | 0.000479 | 0.02189 | 2.21 | 0.1751 | 0.03892 | 0.01116 | 1 | 1 | 0.00101 | 0.01018 | 0.02265 | 0.06805 | 0.6864 | 1.527 | json |
| t17_x20_u2_b117 | 17 | 20 | 2 | 117 | ![]() |
dst(R,eql(P,frc(R))) | 114796 | 138858756 | o2(x,o2(x,o1(x))) | true | 78375 | 78375 | 0.897 | 1 | 0.897 | 0.02252 | 0.1501 | 0.09951 | 1 | 0.9005 | 1 | 2.181 | 0.0003411 | 0.0004606 | 0.01666 | -0.149 | 1 | -0.00001961 | 0.000143 | 0.005703 | 0.0005243 | 0.0229 | 1.374 | 0.1266 | 0.0356 | 0.006351 | 1 | 1 | 0.001342 | 0.015 | 0.03485 | 0.05959 | 0.666 | 1.547 | json |
| t17_x20_u2_b118 | 17 | 20 | 2 | 118 | ![]() |
dst(R,min(P,frc(R))) | 114797 | 138858757 | o2(x,o2(x,o1(x))) | true | 78383 | 78383 | 0.9654 | 1 | 0.9654 | 0.01492 | 0.1221 | 0.03461 | 1 | 0.9654 | 1 | 0.8135 | 0.0003095 | 0.0002607 | 0.00697 | 0.08558 | 1 | -0.00002414 | 0.0001397 | 0.002922 | 0.0005215 | 0.02284 | 3.277 | 0.1829 | 0.03823 | 0.009368 | 1 | 1 | 0.0009985 | 0.01038 | 0.03263 | 0.06694 | 0.6959 | 2.187 | json |
| t17_x20_u2_b119 | 17 | 20 | 2 | 119 | ![]() |
dst(R,dot(P,frc(R))) | 114798 | 138858758 | o2(x,o2(x,o1(x))) | true | 78391 | 78391 | 0.9982 | 1 | 0.9982 | 0.0006849 | 0.02617 | 0.2916 | 1 | 0.7084 | 1 | 0.07876 | 0.00007247 | 0.00007673 | 0.0009739 | -0.02852 | 1 | -0.00001891 | 0.0001238 | 0.0009488 | 0.0001483 | 0.01218 | 12.5 | 0.4 | 0.2178 | 0.1808 | 1 | 1 | 0.0001549 | 0.0009672 | 0.001088 | 0.2261 | 1.412 | 1.589 | json |
| t17_x20_u2_b120 | 17 | 20 | 2 | 120 | ![]() |
dst(R,dst(P,frc(R))) | 114799 | 138858759 | o2(x,o2(x,o1(x))) | true | 78399 | 78399 | 0.9995 | 1 | 0.9995 | 0.0001803 | 0.01343 | 0.4855 | 1 | 0.5145 | 1 | 0.02079 | 0.00001593 | 0.00001348 | 0.0002216 | 0.08341 | 0 | -4.505e-11 | 0.00001853 | 0.0001793 | 0.00002934 | 0.005416 | 24.44 | 0.2295 | 0.1631 | 0.1028 | 1 | 1 | 0.00009074 | 0.0005946 | 0.0006559 | 0.5032 | 3.298 | 3.638 | json |



































































































