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_x2_u4_b25 | 17 | 2 | 4 | 25 | ![]() |
mlt(P,div(P,cil(R))) | 99700 | 138131848 | o2(x,o2(x,o1(x))) | true | 114407 | 114407 | -0.918 | 0.04297 | 0.9961 | 0.1527 | 0.3907 | -1 | 1 | 2 | 1 | 0.3029 | 0.01693 | 0.01476 | 0.01649 | 0.06846 | 1 | -1.164e-10 | 0.06632 | 0.03235 | 0.03139 | 0.1772 | 10.75 | 2.828 | 0.2075 | 0.4345 | 1 | 1 | 0.02472 | 0.1045 | 0.2643 | 0.1619 | 0.6848 | 1.732 | json |
| t17_x2_u4_b26 | 17 | 2 | 4 | 26 | ![]() |
mlt(P,pow(P,cil(R))) | 99701 | 138131849 | o2(x,o2(x,o1(x))) | true | 114415 | 114415 | -0.02539 | 0.5 | 0.9629 | 0.9538 | 0.9766 | -1 | 1 | 2 | 1 | 1.506 | 0.003634 | 0.0003948 | 0.008396 | 0.804 | 1 | 5.538e-11 | 0.007331 | 0.008481 | 0.00396 | 0.06293 | 7.495 | 1.414 | 0.004224 | 0.007686 | 1 | 1 | 0.005666 | 0.03806 | 0.2784 | 0.00594 | 0.0399 | 0.2919 | json |
| t17_x2_u4_b27 | 17 | 2 | 4 | 27 | ![]() |
mlt(P,mod(P,cil(R))) | 99702 | 138131850 | o2(x,o2(x,o1(x))) | true | 114423 | 114423 | -0.957 | 0 | 0.957 | 0.04112 | 0.2028 | -1 | 0 | 1 | 1 | 0.2557 | 0.00422 | 0.004094 | 0.008259 | 0.01515 | 1 | 0 | 0.01738 | 0.01663 | 0.008241 | 0.09078 | 10.99 | 1.414 | 0.2022 | 0.4228 | 1 | 1 | 0.006357 | 0.02738 | 0.06893 | 0.1546 | 0.6659 | 1.676 | json |
| t17_x2_u4_b28 | 17 | 2 | 4 | 28 | ![]() |
mlt(P,lrg(P,cil(R))) | 99703 | 138131851 | o2(x,o2(x,o1(x))) | true | 114431 | 114431 | 0.4363 | 0.4783 | 0.4363 | 0.2385 | 0.4884 | 0 | 1 | 1 | 1 | 1.341 | 0.0004868 | 0.0001592 | 0.005292 | 0.5072 | 1 | 0.000007123 | 0.0001194 | 0.001926 | 0.0006179 | 0.02486 | 4.698 | 0.2265 | 0.002709 | 0.0005005 | 1 | 1 | 0.001621 | 0.01792 | 0.08202 | 0.006796 | 0.07513 | 0.3439 | json |
| t17_x2_u4_b29 | 17 | 2 | 4 | 29 | ![]() |
mlt(P,eql(P,cil(R))) | 99704 | 138131852 | o2(x,o2(x,o1(x))) | true | 114439 | 114439 | 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_x2_u4_b30 | 17 | 2 | 4 | 30 | ![]() |
mlt(P,min(P,cil(R))) | 99705 | 138131853 | o2(x,o2(x,o1(x))) | true | 114447 | 114447 | 0.7765 | 0.9588 | 0.7765 | 0.1416 | 0.3762 | 0 | 1 | 1 | 1 | 1.833 | 0.002864 | 0.003009 | 0.03089 | -0.02476 | 1 | -0.00019 | 0.002701 | 0.01641 | 0.004921 | 0.07015 | 2.271 | 0.4702 | 0.04149 | 0.01908 | 1 | 1 | 0.01013 | 0.09478 | 0.2036 | 0.07153 | 0.6696 | 1.438 | json |
| t17_x2_u4_b31 | 17 | 2 | 4 | 31 | ![]() |
mlt(P,dot(P,cil(R))) | 99706 | 138131854 | o2(x,o2(x,o1(x))) | true | 114455 | 114455 | 0.4616 | 0.752 | 0.8646 | 0.629 | 0.7931 | -1 | 1 | 2 | 1 | 2.115 | 0.0219 | 0.02854 | 0.06224 | -0.1316 | 1 | -0.0000673 | 0.08441 | 0.0714 | 0.04658 | 0.2158 | 3.468 | 2.828 | 0.0802 | 0.1342 | 1 | 1 | 0.05459 | 0.3092 | 0.7697 | 0.0868 | 0.4916 | 1.224 | json |
| t17_x2_u4_b32 | 17 | 2 | 4 | 32 | ![]() |
mlt(P,dst(P,cil(R))) | 99707 | 138131855 | o2(x,o2(x,o1(x))) | true | 114463 | 114463 | -0.002703 | 0.5 | 0.9654 | 0.9594 | 0.9795 | -1 | 1 | 2 | 1 | 1.439 | 0.001868 | 0.000007013 | 0.007963 | 0.9925 | 1 | 2.029e-7 | 0.0009042 | 0.005071 | 0.001811 | 0.04256 | 5.344 | 0.4729 | 0.001955 | 0.0009425 | 1 | 1 | 0.004016 | 0.036 | 0.2788 | 0.004185 | 0.03752 | 0.2906 | json |
| t17_x2_u4_b33 | 17 | 2 | 4 | 33 | ![]() |
div(P,add(P,cil(R))) | 99708 | 138131856 | o2(x,o2(x,o1(x))) | true | 114471 | 114471 | 0.6257 | 0.8398 | 0.946 | 0.518 | 0.7197 | -1 | 1 | 2 | 1 | 2.001 | 0.02548 | 0.007123 | 0.0242 | 0.563 | 1 | 0.000006852 | 0.06662 | 0.03748 | 0.03203 | 0.179 | 7.394 | 2.828 | 0.06293 | 0.1286 | 1 | 1 | 0.04433 | 0.1839 | 0.7228 | 0.08558 | 0.3549 | 1.395 | json |
| t17_x2_u4_b34 | 17 | 2 | 4 | 34 | ![]() |
div(P,sub(P,cil(R))) | 99709 | 138131857 | o2(x,o2(x,o1(x))) | true | 114479 | 114479 | 0.6229 | 0.8398 | 0.9433 | 0.5166 | 0.7187 | -1 | 1 | 2 | 1 | 2.06 | 0.02793 | 0.009129 | 0.02554 | 0.5074 | 1 | -7.687e-7 | 0.07598 | 0.04148 | 0.0364 | 0.1908 | 7.469 | 2.828 | 0.07174 | 0.1471 | 1 | 1 | 0.05249 | 0.2168 | 0.6871 | 0.1016 | 0.4197 | 1.33 | json |
| t17_x2_u4_b35 | 17 | 2 | 4 | 35 | ![]() |
div(P,mlt(P,cil(R))) | 99710 | 138131858 | o2(x,o2(x,o1(x))) | true | 114487 | 114487 | -0.9297 | 0.03516 | 1 | 0.1356 | 0.3683 | -1 | 1 | 2 | 1 | 0.2196 | 0.01487 | 0.01235 | 0.01351 | 0.09259 | 1 | 4.092e-10 | 0.05694 | 0.02721 | 0.027 | 0.1643 | 12.16 | 2.828 | 0.2006 | 0.4198 | 1 | 1 | 0.02366 | 0.09712 | 0.2474 | 0.1744 | 0.716 | 1.824 | json |
| t17_x2_u4_b36 | 17 | 2 | 4 | 36 | ![]() |
div(P,div(P,cil(R))) | 99711 | 138131859 | o2(x,o2(x,o1(x))) | true | 114495 | 114495 | 0.293 | 0.7953 | 0.543 | 0.3734 | 0.6111 | -1 | 1 | 2 | 1 | 3.539 | 0.02346 | 0.002174 | 0.05751 | 0.8304 | 1 | -6.992e-7 | 0.04394 | 0.0363 | 0.02233 | 0.1494 | 2.598 | 2 | 0.06865 | 0.1177 | 1 | 1 | 0.0347 | 0.1958 | 0.5929 | 0.09291 | 0.5244 | 1.588 | json |
| t17_x2_u4_b37 | 17 | 2 | 4 | 37 | ![]() |
div(P,pow(P,cil(R))) | 99712 | 138131860 | o2(x,o2(x,o1(x))) | true | 114503 | 114503 | -0.08789 | 0.4609 | 0.9863 | 0.9757 | 0.9878 | -1 | 1 | 2 | 1 | 1.212 | 0.01134 | 0.002005 | 0.009251 | 0.6994 | 1 | -5.632e-11 | 0.02685 | 0.01555 | 0.01325 | 0.1151 | 12.44 | 2.828 | 0.01367 | 0.02752 | 1 | 1 | 0.01915 | 0.08168 | 0.359 | 0.01962 | 0.08371 | 0.3679 | json |
| t17_x2_u4_b38 | 17 | 2 | 4 | 38 | ![]() |
div(P,mod(P,cil(R))) | 99713 | 138131861 | o2(x,o2(x,o1(x))) | true | 114511 | 114511 | -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_x2_u4_b39 | 17 | 2 | 4 | 39 | ![]() |
div(P,lrg(P,cil(R))) | 99714 | 138131862 | o2(x,o2(x,o1(x))) | true | 114519 | 114519 | -0.2422 | 0.3789 | 1 | 0.9413 | 0.9702 | -1 | 1 | 2 | 1 | 0.9573 | 0.01587 | 0.002016 | 0.008926 | 0.7746 | 1 | 0 | 0.03628 | 0.01789 | 0.01781 | 0.1334 | 14.95 | 2.828 | 0.019 | 0.03854 | 1 | 1 | 0.0246 | 0.09839 | 0.351 | 0.02613 | 0.1045 | 0.3729 | json |
| t17_x2_u4_b40 | 17 | 2 | 4 | 40 | ![]() |
div(P,eql(P,cil(R))) | 99715 | 138131863 | o2(x,o2(x,o1(x))) | true | 114527 | 114527 | -0.9688 | 0.01953 | 0.9922 | 0.05202 | 0.2281 | -1 | 1 | 2 | 1 | 0.1994 | 0.007144 | 0.002914 | 0.006736 | 0.4205 | 1 | -5.632e-11 | 0.02072 | 0.01177 | 0.01001 | 0.1001 | 14.85 | 2.828 | 0.1934 | 0.3983 | 1 | 1 | 0.01409 | 0.05687 | 0.1247 | 0.2708 | 1.093 | 2.397 | json |
| t17_x2_u4_b41 | 17 | 2 | 4 | 41 | ![]() |
div(P,min(P,cil(R))) | 99716 | 138131864 | o2(x,o2(x,o1(x))) | true | 114535 | 114535 | -0.1172 | 0.4414 | 1 | 0.9872 | 0.9936 | -1 | 1 | 2 | 1 | 0.9901 | 0.01688 | 0.001764 | 0.009322 | 0.8108 | 1 | 3.739e-9 | 0.03754 | 0.01864 | 0.01856 | 0.1362 | 14.61 | 2 | 0.01889 | 0.03803 | 1 | 1 | 0.02105 | 0.08421 | 0.3501 | 0.02133 | 0.08531 | 0.3547 | json |
| t17_x2_u4_b42 | 17 | 2 | 4 | 42 | ![]() |
div(P,dot(P,cil(R))) | 99717 | 138131865 | o2(x,o2(x,o1(x))) | true | 114543 | 114543 | -0.6547 | 0.1949 | 0.9288 | 0.4784 | 0.6917 | -1 | 1 | 2 | 1 | 1.532 | 0.04027 | 0.04454 | 0.0581 | -0.05042 | 1 | 0.000003034 | 0.1728 | 0.09673 | 0.08146 | 0.2854 | 4.912 | 2.828 | 0.1773 | 0.3611 | 1 | 1 | 0.0955 | 0.4092 | 1.096 | 0.1996 | 0.8553 | 2.29 | json |
| t17_x2_u4_b43 | 17 | 2 | 4 | 43 | ![]() |
div(P,dst(P,cil(R))) | 99718 | 138131866 | o2(x,o2(x,o1(x))) | true | 114551 | 114551 | 0.02198 | 0.4898 | 0.635 | 0.4827 | 0.6947 | -1 | 1 | 2 | 1 | 4.75 | 0.002168 | 0.001447 | 0.01211 | 0.1997 | 1 | -0.000002372 | 0.007068 | 0.006956 | 0.003468 | 0.05889 | 4.862 | 2.828 | 0.007489 | 0.01464 | 1 | 1 | 0.006606 | 0.03163 | 0.1609 | 0.01369 | 0.06554 | 0.3334 | json |
| t17_x2_u4_b44 | 17 | 2 | 4 | 44 | ![]() |
pow(P,add(P,cil(R))) | 99719 | 138131867 | o2(x,o2(x,o1(x))) | true | 114559 | 114559 | 0.02148 | 0.5195 | 0.9824 | 0.9765 | 0.9882 | -1 | 1 | 2 | 1 | 1.304 | 0.01217 | 0.004496 | 0.01206 | 0.4603 | 1 | 0.000002852 | 0.03398 | 0.01905 | 0.01651 | 0.1285 | 10.65 | 2.828 | 0.01707 | 0.0348 | 1 | 1 | 0.02187 | 0.09719 | 0.4257 | 0.0224 | 0.09953 | 0.436 | json |
| t17_x2_u4_b45 | 17 | 2 | 4 | 45 | ![]() |
pow(P,sub(P,cil(R))) | 99720 | 138131868 | o2(x,o2(x,o1(x))) | true | 114567 | 114567 | -0.07813 | 0.4609 | 1 | 0.9946 | 0.9973 | -1 | 1 | 2 | 1 | 0.9956 | 0.01587 | 0.003023 | 0.00943 | 0.68 | 1 | 0 | 0.03855 | 0.0189 | 0.0188 | 0.1371 | 14.54 | 2.828 | 0.019 | 0.03876 | 1 | 1 | 0.02637 | 0.1055 | 0.4069 | 0.02651 | 0.1061 | 0.4091 | json |
| t17_x2_u4_b46 | 17 | 2 | 4 | 46 | ![]() |
pow(P,mlt(P,cil(R))) | 99721 | 138131869 | o2(x,o2(x,o1(x))) | true | 114575 | 114575 | 0.09375 | 0.5469 | 1 | 0.9905 | 0.9952 | -1 | 1 | 2 | 1 | 0.9937 | 0.02368 | 0.01512 | 0.01929 | 0.2208 | 1 | 0 | 0.07987 | 0.0388 | 0.03844 | 0.1961 | 10.16 | 2.828 | 0.03917 | 0.08064 | 1 | 1 | 0.04277 | 0.1737 | 0.5709 | 0.04318 | 0.1754 | 0.5763 | json |
| t17_x2_u4_b47 | 17 | 2 | 4 | 47 | ![]() |
pow(P,div(P,cil(R))) | 99722 | 138131870 | o2(x,o2(x,o1(x))) | true | 114583 | 114583 | -0.164 | 0.4211 | 0.9297 | 0.8961 | 0.9466 | -1 | 1 | 2 | 1 | 1.559 | 0.02121 | 0.01293 | 0.0306 | 0.2427 | 1 | -0.00007688 | 0.06949 | 0.05002 | 0.03322 | 0.1823 | 5.956 | 2.828 | 0.0381 | 0.07755 | 1 | 1 | 0.04463 | 0.1719 | 0.4671 | 0.04981 | 0.1919 | 0.5212 | json |
| t17_x2_u4_b48 | 17 | 2 | 4 | 48 | ![]() |
pow(P,pow(P,cil(R))) | 99723 | 138131871 | o2(x,o2(x,o1(x))) | true | 114591 | 114591 | -0.01758 | 0.5 | 0.9824 | 0.9771 | 0.9885 | -1 | 1 | 2 | 1 | 1.292 | 0.009278 | 0.00005267 | 0.008427 | 0.9887 | 1 | -0.000002852 | 0.01819 | 0.01206 | 0.009256 | 0.09621 | 11.42 | 2 | 0.00955 | 0.01862 | 1 | 1 | 0.01289 | 0.06089 | 0.3164 | 0.01319 | 0.06232 | 0.3238 | json |
| t17_x2_u4_b49 | 17 | 2 | 4 | 49 | ![]() |
pow(P,mod(P,cil(R))) | 99724 | 138131872 | o2(x,o2(x,o1(x))) | true | 114599 | 114599 | -0.8828 | 0.05859 | 1 | 0.2206 | 0.4697 | -1 | 1 | 2 | 1 | 0.3218 | 0.02469 | 0.02142 | 0.02289 | 0.07104 | 1 | 0 | 0.097 | 0.04611 | 0.04556 | 0.2135 | 9.326 | 2.828 | 0.209 | 0.4397 | 1 | 1 | 0.04382 | 0.1804 | 0.4557 | 0.1987 | 0.818 | 2.066 | json |
| t17_x2_u4_b50 | 17 | 2 | 4 | 50 | ![]() |
pow(P,lrg(P,cil(R))) | 99725 | 138131873 | o2(x,o2(x,o1(x))) | true | 114607 | 114607 | 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_x2_u4_b51 | 17 | 2 | 4 | 51 | ![]() |
pow(P,eql(P,cil(R))) | 99726 | 138131874 | o2(x,o2(x,o1(x))) | true | 114615 | 114615 | 0.9648 | 1 | 0.9648 | 0.02431 | 0.1559 | 0.000291 | 1 | 0.9997 | 1 | 0.5835 | 0.0003631 | 0.0001053 | 0.005422 | 0.5502 | 1 | -0.000005705 | 0.00002431 | 0.001291 | 0.0004388 | 0.02095 | 3.863 | 0.1169 | 0.01927 | 0.001 | 1 | 1 | 0.001224 | 0.01595 | 0.05043 | 0.05036 | 0.656 | 2.074 | json |
| t17_x2_u4_b52 | 17 | 2 | 4 | 52 | ![]() |
pow(P,min(P,cil(R))) | 99727 | 138131875 | o2(x,o2(x,o1(x))) | true | 114623 | 114623 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |
| t17_x2_u4_b53 | 17 | 2 | 4 | 53 | ![]() |
pow(P,dot(P,cil(R))) | 99728 | 138131876 | o2(x,o2(x,o1(x))) | true | 114631 | 114631 | -0.09055 | 0.4766 | 0.9563 | 0.9351 | 0.967 | -1 | 1 | 2 | 1 | 1.61 | 0.01501 | 0.004159 | 0.018 | 0.5661 | 1 | -0.000003063 | 0.0376 | 0.02441 | 0.01884 | 0.1373 | 7.624 | 2.828 | 0.0205 | 0.04021 | 1 | 1 | 0.02605 | 0.1201 | 0.4167 | 0.02786 | 0.1285 | 0.4456 | json |
| t17_x2_u4_b54 | 17 | 2 | 4 | 54 | ![]() |
pow(P,dst(P,cil(R))) | 99729 | 138131877 | o2(x,o2(x,o1(x))) | true | 114639 | 114639 | -0.0293 | 0.5 | 0.9707 | 0.9626 | 0.9811 | -1 | 1 | 2 | 1 | 1.4 | 0.004997 | 0.00001756 | 0.0081 | 0.993 | 1 | -6.852e-11 | 0.009314 | 0.009298 | 0.004948 | 0.07034 | 8.684 | 2 | 0.00521 | 0.009676 | 1 | 1 | 0.007425 | 0.0438 | 0.2915 | 0.007714 | 0.0455 | 0.3028 | json |
| t17_x2_u4_b55 | 17 | 2 | 4 | 55 | ![]() |
mod(P,add(P,cil(R))) | 99730 | 138131878 | o2(x,o2(x,o1(x))) | true | 114647 | 114647 | -0.07716 | 0.4511 | 0.826 | 0.7862 | 0.8867 | -1 | 1 | 2 | 1 | 2.741 | 0.01744 | 0.00517 | 0.04314 | 0.5427 | 1 | -0.0001111 | 0.03749 | 0.04165 | 0.02074 | 0.144 | 3.338 | 2.828 | 0.02876 | 0.04769 | 1 | 1 | 0.03397 | 0.1838 | 0.4744 | 0.04321 | 0.2338 | 0.6034 | json |
| t17_x2_u4_b56 | 17 | 2 | 4 | 56 | ![]() |
mod(P,sub(P,cil(R))) | 99731 | 138131879 | o2(x,o2(x,o1(x))) | true | 114655 | 114655 | -0.2486 | 0.3737 | 0.8257 | 0.7325 | 0.8559 | -1 | 1 | 2 | 1 | 2.61 | 0.01025 | 0.003017 | 0.03731 | 0.545 | 1 | -0.00007394 | 0.01831 | 0.03176 | 0.01188 | 0.109 | 2.921 | 1.415 | 0.01811 | 0.02499 | 1 | 1 | 0.02208 | 0.1508 | 0.4794 | 0.03014 | 0.2059 | 0.6545 | json |
| t17_x2_u4_b57 | 17 | 2 | 4 | 57 | ![]() |
mod(P,mlt(P,cil(R))) | 99732 | 138131880 | o2(x,o2(x,o1(x))) | true | 114663 | 114663 | -0.9799 | 0.003906 | 0.9861 | 0.02495 | 0.158 | -1 | 1 | 2 | 1 | 0.1841 | 0.00348 | 0.002444 | 0.005767 | 0.1748 | 1 | 0.00003993 | 0.01186 | 0.009712 | 0.005889 | 0.07674 | 13.31 | 2.027 | 0.2374 | 0.4752 | 1 | 1 | 0.00432 | 0.01542 | 0.04639 | 0.1731 | 0.6179 | 1.859 | json |
| t17_x2_u4_b58 | 17 | 2 | 4 | 58 | ![]() |
mod(P,div(P,cil(R))) | 99733 | 138131881 | o2(x,o2(x,o1(x))) | true | 114671 | 114671 | -0.9799 | 0.003906 | 0.9861 | 0.02495 | 0.158 | -1 | 1 | 2 | 1 | 0.1841 | 0.00348 | 0.002444 | 0.005767 | 0.1748 | 1 | 0.00003993 | 0.01186 | 0.009712 | 0.005889 | 0.07674 | 13.31 | 2.027 | 0.2374 | 0.4752 | 1 | 1 | 0.00432 | 0.01542 | 0.04639 | 0.1731 | 0.6179 | 1.859 | json |
| t17_x2_u4_b59 | 17 | 2 | 4 | 59 | ![]() |
mod(P,pow(P,cil(R))) | 99734 | 138131882 | o2(x,o2(x,o1(x))) | true | 114679 | 114679 | -0.5 | 0 | 0.5 | 0.25 | 0.5 | -1 | 4.768e-7 | 1 | 1 | 1 | 0.006929 | 0.004031 | 0.01089 | 0.2644 | 1 | 1.24e-12 | 0.02268 | 0.02192 | 0.01084 | 0.1041 | 9.566 | 1.414 | 0.04384 | 0.0907 | 1 | 1 | 0.01291 | 0.0523 | 0.1709 | 0.05163 | 0.2092 | 0.6834 | json |
| t17_x2_u4_b60 | 17 | 2 | 4 | 60 | ![]() |
mod(P,mod(P,cil(R))) | 99735 | 138131883 | o2(x,o2(x,o1(x))) | true | 114687 | 114687 | -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_x2_u4_b61 | 17 | 2 | 4 | 61 | ![]() |
mod(P,lrg(P,cil(R))) | 99736 | 138131884 | o2(x,o2(x,o1(x))) | true | 114695 | 114695 | -0.6211 | 0 | 0.6211 | 0.2353 | 0.4851 | -1 | 0 | 1 | 1 | 0.9573 | 0.003968 | 0.0005039 | 0.004463 | 0.7746 | 1 | 0 | 0.00907 | 0.008944 | 0.004451 | 0.06672 | 14.95 | 1.414 | 0.019 | 0.03854 | 1 | 1 | 0.00615 | 0.0246 | 0.08776 | 0.02613 | 0.1045 | 0.3729 | json |
| t17_x2_u4_b62 | 17 | 2 | 4 | 62 | ![]() |
mod(P,eql(P,cil(R))) | 99737 | 138131885 | o2(x,o2(x,o1(x))) | true | 114703 | 114703 | -0.9844 | 0 | 0.9844 | 0.01538 | 0.124 | -1 | 0 | 1 | 1 | 0.1161 | 0.002016 | 0.001008 | 0.003005 | 0.3333 | 1 | 0 | 0.006299 | 0.006047 | 0.003016 | 0.05492 | 18.27 | 1.414 | 0.1966 | 0.4095 | 1 | 1 | 0.003546 | 0.01418 | 0.03546 | 0.2305 | 0.9221 | 2.305 | json |
| t17_x2_u4_b63 | 17 | 2 | 4 | 63 | ![]() |
mod(P,min(P,cil(R))) | 99738 | 138131886 | o2(x,o2(x,o1(x))) | true | 114711 | 114711 | -0.8088 | 0 | 0.8088 | 0.1446 | 0.3802 | -1 | 0 | 1 | 1 | 1.171 | 0.008287 | 0.0004409 | 0.01971 | 0.899 | 1 | 0.0006289 | 0.01163 | 0.02038 | 0.008341 | 0.09133 | 4.634 | 1 | 0.06037 | 0.08047 | 1 | 1 | 0.01196 | 0.07328 | 0.1268 | 0.08271 | 0.5068 | 0.8771 | json |
| t17_x2_u4_b64 | 17 | 2 | 4 | 64 | ![]() |
mod(P,dot(P,cil(R))) | 99739 | 138131887 | o2(x,o2(x,o1(x))) | true | 114719 | 114719 | -0.8113 | 0.08551 | 0.9256 | 0.2556 | 0.5055 | -1 | 1 | 2 | 1 | 1.155 | 0.02101 | 0.01748 | 0.03231 | 0.09172 | 1 | 0.0001334 | 0.07785 | 0.0511 | 0.03743 | 0.1935 | 5.988 | 2.828 | 0.1506 | 0.3046 | 1 | 1 | 0.05225 | 0.2315 | 0.6116 | 0.2045 | 0.9057 | 2.393 | json |
| t17_x2_u4_b65 | 17 | 2 | 4 | 65 | ![]() |
mod(P,dst(P,cil(R))) | 99740 | 138131888 | o2(x,o2(x,o1(x))) | true | 114727 | 114727 | -0.03881 | 0.4918 | 0.9215 | 0.9 | 0.9487 | -1 | 1 | 2 | 1 | 2.068 | 0.001753 | 0.001515 | 0.01325 | 0.07287 | 1 | 0.00001861 | 0.004414 | 0.007903 | 0.003095 | 0.05563 | 4.199 | 2 | 0.003631 | 0.004905 | 1 | 1 | 0.006424 | 0.04642 | 0.2908 | 0.007138 | 0.05158 | 0.3231 | json |
| t17_x2_u4_b66 | 17 | 2 | 4 | 66 | ![]() |
lrg(P,add(P,cil(R))) | 99741 | 138131889 | o2(x,o2(x,o1(x))) | true | 114735 | 114735 | 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_x2_u4_b67 | 17 | 2 | 4 | 67 | ![]() |
lrg(P,sub(P,cil(R))) | 99742 | 138131890 | o2(x,o2(x,o1(x))) | true | 114743 | 114743 | 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_x2_u4_b68 | 17 | 2 | 4 | 68 | ![]() |
lrg(P,mlt(P,cil(R))) | 99743 | 138131891 | o2(x,o2(x,o1(x))) | true | 114751 | 114751 | 0.2539 | 0.4689 | 0.2539 | 0.1405 | 0.3748 | 0 | 1 | 1 | 1 | 2.308 | 0.0009995 | 0.001206 | 0.02597 | -0.09372 | 1 | 0.00002424 | 0.0001342 | 0.006355 | 0.001531 | 0.03913 | 1.507 | 0.1169 | 0.0157 | 0.0009553 | 1 | 1 | 0.00431 | 0.05599 | 0.1536 | 0.03069 | 0.3987 | 1.094 | json |
| t17_x2_u4_b69 | 17 | 2 | 4 | 69 | ![]() |
lrg(P,div(P,cil(R))) | 99744 | 138131892 | o2(x,o2(x,o1(x))) | true | 114759 | 114759 | 0.2891 | 0.5316 | 0.2891 | 0.1494 | 0.3865 | 0 | 1 | 1 | 1 | 2.525 | 0.001244 | 0.001316 | 0.03 | -0.02823 | 1 | 0.00002994 | 0.000153 | 0.00732 | 0.00166 | 0.04075 | 1.358 | 0.1169 | 0.01714 | 0.001024 | 1 | 1 | 0.005223 | 0.06784 | 0.1774 | 0.03496 | 0.4541 | 1.188 | json |
| t17_x2_u4_b70 | 17 | 2 | 4 | 70 | ![]() |
lrg(P,pow(P,cil(R))) | 99745 | 138131893 | o2(x,o2(x,o1(x))) | true | 114767 | 114767 | 0.4707 | 0.8687 | 0.4707 | 0.1615 | 0.4019 | 0 | 1 | 1 | 1 | 3.306 | 0.001888 | 0.002157 | 0.04738 | -0.06639 | 1 | 0.00002496 | 0.000235 | 0.01149 | 0.0018 | 0.04243 | 0.8956 | 0.1169 | 0.02504 | 0.001454 | 1 | 1 | 0.007678 | 0.09894 | 0.288 | 0.04753 | 0.6125 | 1.783 | json |
| t17_x2_u4_b71 | 17 | 2 | 4 | 71 | ![]() |
lrg(P,mod(P,cil(R))) | 99746 | 138131894 | o2(x,o2(x,o1(x))) | true | 114775 | 114775 | 0.7324 | 0.9569 | 0.7324 | 0.1474 | 0.3839 | 0 | 1 | 1 | 1 | 2.341 | 0.001052 | 0.001231 | 0.02666 | -0.0785 | 1 | -0.000006429 | 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_x2_u4_b72 | 17 | 2 | 4 | 72 | ![]() |
lrg(P,lrg(P,cil(R))) | 99747 | 138131895 | o2(x,o2(x,o1(x))) | true | 114783 | 114783 | 0.4453 | 0.494 | 0.4453 | 0.2369 | 0.4867 | 0 | 1 | 1 | 1 | 1.457 | 0.0003045 | 0.0001755 | 0.005653 | 0.2688 | 1 | -0.00001141 | 0.00002677 | 0.001359 | 0.0004483 | 0.02117 | 3.746 | 0.1169 | 0.002026 | 0.000113 | 1 | 1 | 0.001279 | 0.01661 | 0.07962 | 0.005399 | 0.07012 | 0.3361 | json |
| t17_x2_u4_b73 | 17 | 2 | 4 | 73 | ![]() |
lrg(P,eql(P,cil(R))) | 99748 | 138131896 | o2(x,o2(x,o1(x))) | true | 114791 | 114791 | 0.4297 | 0.4783 | 0.4297 | 0.2349 | 0.4847 | 0 | 1 | 1 | 1 | 1.451 | 0.0003045 | 0.0001755 | 0.005652 | 0.2688 | 1 | 0.00001141 | 0.00002677 | 0.001359 | 0.0004481 | 0.02117 | 3.745 | 0.1169 | 0.002043 | 0.0001139 | 1 | 1 | 0.001279 | 0.01661 | 0.07962 | 0.005444 | 0.0707 | 0.3389 | json |
| t17_x2_u4_b74 | 17 | 2 | 4 | 74 | ![]() |
lrg(P,min(P,cil(R))) | 99749 | 138131897 | o2(x,o2(x,o1(x))) | true | 114799 | 114799 | 0.4297 | 0.4783 | 0.4297 | 0.2349 | 0.4847 | 0 | 1 | 1 | 1 | 1.451 | 0.0003045 | 0.0001755 | 0.005652 | 0.2688 | 1 | 0.00001141 | 0.00002677 | 0.001359 | 0.0004481 | 0.02117 | 3.745 | 0.1169 | 0.002043 | 0.0001139 | 1 | 1 | 0.001279 | 0.01661 | 0.07962 | 0.005444 | 0.0707 | 0.3389 | json |
| t17_x2_u4_b75 | 17 | 2 | 4 | 75 | ![]() |
lrg(P,dot(P,cil(R))) | 99750 | 138131898 | o2(x,o2(x,o1(x))) | true | 114807 | 114807 | 0.3945 | 0.6772 | 0.3945 | 0.176 | 0.4195 | 0 | 1 | 1 | 1 | 2.823 | 0.001287 | 0.0016 | 0.03386 | -0.1086 | 1 | 0.00002922 | 0.0001703 | 0.008242 | 0.001739 | 0.04171 | 1.232 | 0.1169 | 0.01641 | 0.0009676 | 1 | 1 | 0.005736 | 0.07407 | 0.204 | 0.0326 | 0.421 | 1.159 | json |
| t17_x2_u4_b76 | 17 | 2 | 4 | 76 | ![]() |
lrg(P,dst(P,cil(R))) | 99751 | 138131899 | o2(x,o2(x,o1(x))) | true | 114815 | 114815 | 0.08203 | 0.1576 | 0.08203 | 0.05857 | 0.242 | 0 | 1 | 1 | 1 | 1.006 | 0.0003063 | 0.0004745 | 0.009154 | -0.2154 | 1 | -0.000005705 | 0.00004541 | 0.002224 | 0.0006971 | 0.0264 | 2.884 | 0.1169 | 0.01333 | 0.0007753 | 1 | 1 | 0.001836 | 0.02404 | 0.08513 | 0.03134 | 0.4105 | 1.454 | json |
| t17_x2_u4_b77 | 17 | 2 | 4 | 77 | ![]() |
eql(P,add(P,cil(R))) | 99752 | 138131900 | o2(x,o2(x,o1(x))) | true | 114823 | 114823 | 0.5176 | 0.9429 | 0.5176 | 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_x2_u4_b78 | 17 | 2 | 4 | 78 | ![]() |
eql(P,sub(P,cil(R))) | 99753 | 138131901 | o2(x,o2(x,o1(x))) | true | 114831 | 114831 | 0.5176 | 0.9429 | 0.5176 | 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_x2_u4_b79 | 17 | 2 | 4 | 79 | ![]() |
eql(P,mlt(P,cil(R))) | 99754 | 138131902 | o2(x,o2(x,o1(x))) | true | 114839 | 114839 | 0.5176 | 0.9203 | 0.5176 | 0.1575 | 0.3968 | 0 | 1 | 1 | 1 | 3.378 | 0.001896 | 0.002332 | 0.04958 | -0.1032 | 1 | -0.00001211 | 0.000248 | 0.01205 | 0.00177 | 0.04207 | 0.8485 | 0.1169 | 0.02685 | 0.001575 | 1 | 1 | 0.008232 | 0.106 | 0.2882 | 0.05227 | 0.6732 | 1.83 | json |
| t17_x2_u4_b80 | 17 | 2 | 4 | 80 | ![]() |
eql(P,div(P,cil(R))) | 99755 | 138131903 | o2(x,o2(x,o1(x))) | true | 114847 | 114847 | 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_x2_u4_b81 | 17 | 2 | 4 | 81 | ![]() |
eql(P,pow(P,cil(R))) | 99756 | 138131904 | o2(x,o2(x,o1(x))) | true | 114855 | 114855 | 0.2656 | 0.4997 | 0.2656 | 0.1427 | 0.3778 | 0 | 1 | 1 | 1 | 2.406 | 0.001265 | 0.001136 | 0.02818 | 0.05382 | 1 | -0.00001854 | 0.0001413 | 0.006852 | 0.001607 | 0.04009 | 1.423 | 0.1169 | 0.01683 | 0.0009901 | 1 | 1 | 0.004825 | 0.06285 | 0.1968 | 0.03381 | 0.4404 | 1.379 | json |
| t17_x2_u4_b82 | 17 | 2 | 4 | 82 | ![]() |
eql(P,mod(P,cil(R))) | 99757 | 138131905 | o2(x,o2(x,o1(x))) | true | 114863 | 114863 | 0.02734 | 0.07556 | 0.02734 | 0.01868 | 0.1367 | 0 | 0.9997 | 0.9997 | 1 | 0.4881 | 0.0002846 | 0.0001053 | 0.004539 | 0.4597 | 1 | -0.000005705 | 0.00002084 | 0.001084 | 0.0003695 | 0.01922 | 4.235 | 0.1169 | 0.02087 | 0.001115 | 1 | 1 | 0.001069 | 0.01392 | 0.04488 | 0.0572 | 0.7453 | 2.402 | json |
| t17_x2_u4_b83 | 17 | 2 | 4 | 83 | ![]() |
eql(P,lrg(P,cil(R))) | 99758 | 138131906 | o2(x,o2(x,o1(x))) | true | 114871 | 114871 | 0.08594 | 0.1658 | 0.08594 | 0.0617 | 0.2484 | 0 | 1 | 1 | 1 | 1.029 | 0.0006574 | 0.0001755 | 0.00962 | 0.5787 | 1 | 0.00001141 | 0.00004298 | 0.002287 | 0.0007403 | 0.02721 | 2.828 | 0.1169 | 0.0135 | 0.0006967 | 1 | 1 | 0.002204 | 0.02863 | 0.1021 | 0.03573 | 0.4641 | 1.655 | json |
| t17_x2_u4_b84 | 17 | 2 | 4 | 84 | ![]() |
eql(P,eql(P,cil(R))) | 99759 | 138131907 | o2(x,o2(x,o1(x))) | true | 114879 | 114879 | 0.06641 | 0.1561 | 0.06641 | 0.0456 | 0.2135 | 0 | 1 | 1 | 1 | 0.9365 | 0.0005099 | 0.0002856 | 0.009247 | 0.2818 | 1 | -0.00001711 | 0.00004381 | 0.002221 | 0.0007098 | 0.02664 | 2.881 | 0.1169 | 0.01744 | 0.0009607 | 1 | 1 | 0.002114 | 0.02743 | 0.08862 | 0.04635 | 0.6014 | 1.943 | json |
| t17_x2_u4_b85 | 17 | 2 | 4 | 85 | ![]() |
eql(P,min(P,cil(R))) | 99760 | 138131908 | o2(x,o2(x,o1(x))) | true | 114887 | 114887 | 0.5703 | 0.619 | 0.5703 | 0.2349 | 0.4847 | 0 | 1 | 1 | 1 | 1.451 | 0.0003045 | 0.0001755 | 0.005652 | 0.2688 | 1 | -0.00001141 | 0.00002677 | 0.001359 | 0.0004481 | 0.02117 | 3.745 | 0.1169 | 0.002043 | 0.000114 | 1 | 1 | 0.001279 | 0.01661 | 0.07962 | 0.005444 | 0.0707 | 0.3389 | json |
| t17_x2_u4_b86 | 17 | 2 | 4 | 86 | ![]() |
eql(P,dot(P,cil(R))) | 99761 | 138131909 | o2(x,o2(x,o1(x))) | true | 114895 | 114895 | 0.2539 | 0.6618 | 0.2539 | 0.1159 | 0.3404 | 0 | 1 | 1 | 1 | 2.779 | 0.001658 | 0.001697 | 0.03941 | -0.0118 | 1 | -0.000007828 | 0.0001993 | 0.009587 | 0.001802 | 0.04245 | 1.077 | 0.1169 | 0.02895 | 0.00172 | 1 | 1 | 0.005921 | 0.07649 | 0.2308 | 0.0511 | 0.6601 | 1.992 | json |
| t17_x2_u4_b87 | 17 | 2 | 4 | 87 | ![]() |
eql(P,dst(P,cil(R))) | 99762 | 138131910 | o2(x,o2(x,o1(x))) | true | 114903 | 114903 | 0.01953 | 0.05255 | 0.01953 | 0.01377 | 0.1174 | 0 | 1 | 1 | 1 | 0.3589 | 0.0001053 | 0.0001502 | 0.003029 | -0.1754 | 1 | -3.76e-11 | 0.00001472 | 0.0007359 | 0.0002465 | 0.0157 | 5.183 | 0.1169 | 0.01855 | 0.001069 | 1 | 1 | 0.0008886 | 0.01159 | 0.04433 | 0.06452 | 0.8418 | 3.218 | json |
| t17_x2_u4_b88 | 17 | 2 | 4 | 88 | ![]() |
min(P,add(P,cil(R))) | 99763 | 138131911 | o2(x,o2(x,o1(x))) | true | 114911 | 114911 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t17_x2_u4_b89 | 17 | 2 | 4 | 89 | ![]() |
min(P,sub(P,cil(R))) | 99764 | 138131912 | o2(x,o2(x,o1(x))) | true | 114919 | 114919 | -0.06541 | 0.4608 | 0.9287 | 0.9116 | 0.9548 | -1 | 1 | 2 | 1 | 1.855 | 0.0009844 | 0.0002879 | 0.01003 | 0.5475 | 1 | 0.00001926 | 0.0001808 | 0.003033 | 0.001171 | 0.03422 | 3.413 | 0.2338 | 0.001396 | 0.0001983 | 1 | 1 | 0.00338 | 0.04008 | 0.2523 | 0.003707 | 0.04397 | 0.2768 | json |
| t17_x2_u4_b90 | 17 | 2 | 4 | 90 | ![]() |
min(P,mlt(P,cil(R))) | 99765 | 138131913 | o2(x,o2(x,o1(x))) | true | 114927 | 114927 | -0.161 | 0.4588 | 0.7765 | 0.7184 | 0.8476 | -1 | 1 | 2 | 1 | 2.665 | 0.002864 | 0.003009 | 0.03089 | -0.02476 | 1 | -0.00019 | 0.002701 | 0.01641 | 0.00492 | 0.07015 | 2.271 | 0.4702 | 0.008175 | 0.00376 | 1 | 1 | 0.01013 | 0.09502 | 0.3004 | 0.01409 | 0.1323 | 0.4181 | json |
| t17_x2_u4_b91 | 17 | 2 | 4 | 91 | ![]() |
min(P,div(P,cil(R))) | 99766 | 138131914 | o2(x,o2(x,o1(x))) | true | 114935 | 114935 | -0.9316 | 0.02344 | 0.959 | 0.0822 | 0.2867 | -1 | 1 | 2 | 1 | 0.6918 | 0.009217 | 0.005379 | 0.01401 | 0.2629 | 1 | -2.365e-10 | 0.02957 | 0.01896 | 0.0144 | 0.12 | 8.566 | 2.828 | 0.1776 | 0.3597 | 1 | 1 | 0.01301 | 0.05625 | 0.1396 | 0.1583 | 0.6844 | 1.698 | json |
| t17_x2_u4_b92 | 17 | 2 | 4 | 92 | ![]() |
min(P,pow(P,cil(R))) | 99767 | 138131915 | o2(x,o2(x,o1(x))) | true | 114943 | 114943 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t17_x2_u4_b93 | 17 | 2 | 4 | 93 | ![]() |
min(P,mod(P,cil(R))) | 99768 | 138131916 | o2(x,o2(x,o1(x))) | true | 114951 | 114951 | -0.1217 | 0.4718 | 0.8158 | 0.7727 | 0.879 | -1 | 1 | 2 | 1 | 2.516 | 0.002661 | 0.002845 | 0.02798 | -0.03339 | 1 | -0.0001374 | 0.002633 | 0.01553 | 0.004725 | 0.06874 | 2.457 | 0.4702 | 0.007126 | 0.003408 | 1 | 1 | 0.009223 | 0.08456 | 0.2694 | 0.01194 | 0.1094 | 0.3487 | json |
| t17_x2_u4_b94 | 17 | 2 | 4 | 94 | ![]() |
min(P,lrg(P,cil(R))) | 99769 | 138131917 | o2(x,o2(x,o1(x))) | true | 114959 | 114959 | -0.03906 | 0.4783 | 0.8984 | 0.8796 | 0.9379 | -1 | 1 | 2 | 1 | 2.071 | 0.0006574 | 0.0001755 | 0.00962 | 0.5787 | 1 | 0.00001141 | 0.00004295 | 0.002284 | 0.0007403 | 0.02721 | 2.828 | 0.1169 | 0.0009468 | 0.00004883 | 1 | 1 | 0.002204 | 0.02884 | 0.1955 | 0.002506 | 0.03279 | 0.2222 | json |
| t17_x2_u4_b95 | 17 | 2 | 4 | 95 | ![]() |
min(P,eql(P,cil(R))) | 99770 | 138131918 | o2(x,o2(x,o1(x))) | true | 114967 | 114967 | -0.4297 | 0.1129 | 0.5078 | 0.3047 | 0.552 | -1 | 0.9997 | 2 | 1 | 1.998 | 0.0007526 | 0.0001755 | 0.01069 | 0.6219 | 1 | -0.00001141 | 0.00004746 | 0.002532 | 0.000814 | 0.02853 | 2.67 | 0.1169 | 0.003045 | 0.0001557 | 1 | 1 | 0.00235 | 0.03067 | 0.1613 | 0.007713 | 0.1006 | 0.5293 | json |
| t17_x2_u4_b96 | 17 | 2 | 4 | 96 | ![]() |
min(P,min(P,cil(R))) | 99771 | 138131919 | o2(x,o2(x,o1(x))) | true | 114975 | 114975 | -0.2539 | 0.455 | 0.6836 | 0.5618 | 0.7495 | -1 | 1 | 2 | 1 | 3.143 | 0.001448 | 0.001206 | 0.031 | 0.09096 | 1 | -0.00002424 | 0.0001549 | 0.007528 | 0.001693 | 0.04114 | 1.327 | 0.1169 | 0.004724 | 0.0002756 | 1 | 1 | 0.005382 | 0.07012 | 0.2678 | 0.00958 | 0.1248 | 0.4768 | json |
| t17_x2_u4_b97 | 17 | 2 | 4 | 97 | ![]() |
min(P,dot(P,cil(R))) | 99772 | 138131920 | o2(x,o2(x,o1(x))) | true | 114983 | 114983 | -0.2971 | 0.3617 | 0.8759 | 0.761 | 0.8723 | -1 | 1 | 2 | 1 | 2.309 | 0.005357 | 0.006415 | 0.03607 | -0.08991 | 1 | -0.00003799 | 0.006756 | 0.02143 | 0.01046 | 0.1023 | 2.836 | 1.472 | 0.01547 | 0.008878 | 1 | 1 | 0.01814 | 0.1541 | 0.4938 | 0.02384 | 0.2025 | 0.6489 | json |
| t17_x2_u4_b98 | 17 | 2 | 4 | 98 | ![]() |
min(P,dst(P,cil(R))) | 99773 | 138131921 | o2(x,o2(x,o1(x))) | true | 114991 | 114991 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t17_x2_u4_b99 | 17 | 2 | 4 | 99 | ![]() |
dot(P,add(P,cil(R))) | 99774 | 138131922 | o2(x,o2(x,o1(x))) | true | 114999 | 114999 | 0.9946 | 1 | 0.9946 | 0.003565 | 0.05971 | 0.0005819 | 1 | 0.9994 | 1 | 0.1219 | 0.0000736 | 0.0001118 | 0.00131 | -0.206 | 1 | 1.126e-11 | 0.00006466 | 0.0006164 | 0.0001838 | 0.01356 | 10.35 | 0.3484 | 0.05201 | 0.01814 | 1 | 1 | 0.0006094 | 0.006029 | 0.01304 | 0.171 | 1.691 | 3.659 | json |
| t17_x2_u4_b100 | 17 | 2 | 4 | 100 | ![]() |
dot(P,sub(P,cil(R))) | 99775 | 138131923 | o2(x,o2(x,o1(x))) | true | 115007 | 115007 | 0.9914 | 0.9998 | 0.9914 | 0.006662 | 0.08162 | 8.471e-8 | 1 | 1 | 1 | 0.1523 | 0.0001315 | 0.0001016 | 0.001543 | 0.1284 | 1 | -4.505e-11 | 0.00008082 | 0.0007193 | 0.0002305 | 0.01518 | 9.842 | 0.3563 | 0.03499 | 0.01213 | 1 | 1 | 0.0007638 | 0.007495 | 0.02434 | 0.1146 | 1.125 | 3.653 | json |
| t17_x2_u4_b101 | 17 | 2 | 4 | 101 | ![]() |
dot(P,mlt(P,cil(R))) | 99776 | 138131924 | o2(x,o2(x,o1(x))) | true | 115015 | 115015 | 0.9269 | 0.9909 | 0.9269 | 0.05616 | 0.237 | 0 | 1 | 1 | 1 | 0.7994 | 0.004779 | 0.005686 | 0.02553 | -0.08668 | 1 | -0.0004955 | 0.01177 | 0.02757 | 0.009811 | 0.09905 | 3.88 | 0.9658 | 0.1864 | 0.2096 | 1 | 1 | 0.01339 | 0.06438 | 0.1221 | 0.2385 | 1.146 | 2.175 | json |
| t17_x2_u4_b102 | 17 | 2 | 4 | 102 | ![]() |
dot(P,div(P,cil(R))) | 99777 | 138131925 | o2(x,o2(x,o1(x))) | true | 115023 | 115023 | -0.9922 | 0.003906 | 1 | 0.01556 | 0.1248 | -1 | 1 | 2 | 1 | 0.03687 | 0.002016 | 0.002016 | 0.001997 | 0 | 1 | 0 | 0.008566 | 0.004031 | 0.004024 | 0.06344 | 31.76 | 2.828 | 0.259 | 0.5504 | 1 | 1 | 0.007091 | 0.02837 | 0.05496 | 0.4556 | 1.823 | 3.531 | json |
| t17_x2_u4_b103 | 17 | 2 | 4 | 103 | ![]() |
dot(P,pow(P,cil(R))) | 99778 | 138131926 | o2(x,o2(x,o1(x))) | true | 115031 | 115031 | -0.414 | 0.2933 | 0.9964 | 0.8243 | 0.9079 | -1 | 1 | 2 | 1 | 0.9505 | 0.01548 | 0.01636 | 0.01707 | -0.02763 | 1 | -1.201e-10 | 0.06516 | 0.03263 | 0.03154 | 0.1776 | 10.4 | 2.828 | 0.03863 | 0.07905 | 1 | 1 | 0.03854 | 0.1618 | 0.5408 | 0.04676 | 0.1963 | 0.656 | json |
| t17_x2_u4_b104 | 17 | 2 | 4 | 104 | ![]() |
dot(P,mod(P,cil(R))) | 99779 | 138131927 | o2(x,o2(x,o1(x))) | true | 115039 | 115039 | -0.9961 | 0 | 0.9961 | 0.003891 | 0.06238 | -1 | 0 | 1 | 1 | 0.03687 | 0.0005039 | 0.0005039 | 0.0009986 | 0 | 1 | 0 | 0.002142 | 0.002016 | 0.001006 | 0.03172 | 31.76 | 1.414 | 0.259 | 0.5504 | 1 | 1 | 0.001773 | 0.007091 | 0.01374 | 0.4556 | 1.823 | 3.531 | json |
| t17_x2_u4_b105 | 17 | 2 | 4 | 105 | ![]() |
dot(P,lrg(P,cil(R))) | 99780 | 138131928 | o2(x,o2(x,o1(x))) | true | 115047 | 115047 | 0.691 | 0.7433 | 0.691 | 0.2042 | 0.4519 | 0 | 1 | 1 | 1 | 1.317 | 0.0003536 | 0.0003633 | 0.006325 | -0.01353 | 1 | -0.000001699 | 0.0001277 | 0.002175 | 0.0006761 | 0.026 | 4.111 | 0.2685 | 0.00351 | 0.0006251 | 1 | 1 | 0.001872 | 0.02121 | 0.09364 | 0.009165 | 0.1038 | 0.4585 | json |
| t17_x2_u4_b106 | 17 | 2 | 4 | 106 | ![]() |
dot(P,eql(P,cil(R))) | 99781 | 138131929 | o2(x,o2(x,o1(x))) | true | 115055 | 115055 | 0.07326 | 0.1963 | 0.07326 | 0.04789 | 0.2188 | 0 | 1 | 1 | 1 | 1.074 | 0.0004855 | 0.0005437 | 0.0116 | -0.05656 | 1 | -0.000005704 | 0.00007662 | 0.002876 | 0.0008941 | 0.0299 | 2.577 | 0.2265 | 0.02149 | 0.0016 | 1 | 1 | 0.002625 | 0.03323 | 0.08737 | 0.05482 | 0.6938 | 1.824 | json |
| t17_x2_u4_b107 | 17 | 2 | 4 | 107 | ![]() |
dot(P,min(P,cil(R))) | 99782 | 138131930 | o2(x,o2(x,o1(x))) | true | 115063 | 115063 | 0.9625 | 0.9957 | 0.9625 | 0.02901 | 0.1703 | 0 | 1 | 1 | 1 | 0.5016 | 0.001385 | 0.001258 | 0.01015 | 0.04786 | 1 | -0.0001632 | 0.00173 | 0.007684 | 0.00254 | 0.0504 | 4.967 | 0.5921 | 0.0911 | 0.05963 | 1 | 1 | 0.00401 | 0.03026 | 0.05798 | 0.1382 | 1.043 | 1.998 | json |
| t17_x2_u4_b108 | 17 | 2 | 4 | 108 | ![]() |
dot(P,dot(P,cil(R))) | 99783 | 138131931 | o2(x,o2(x,o1(x))) | true | 115071 | 115071 | 0.6527 | 0.8433 | 0.8671 | 0.419 | 0.6473 | -1 | 1 | 2 | 1 | 1.887 | 0.01543 | 0.02298 | 0.05537 | -0.1964 | 1 | -0.0001999 | 0.05522 | 0.05929 | 0.03534 | 0.188 | 3.395 | 2.768 | 0.09168 | 0.1318 | 1 | 1 | 0.03834 | 0.2354 | 0.6487 | 0.09151 | 0.5618 | 1.548 | json |
| t17_x2_u4_b109 | 17 | 2 | 4 | 109 | ![]() |
dot(P,dst(P,cil(R))) | 99784 | 138131932 | o2(x,o2(x,o1(x))) | true | 115079 | 115079 | -0.003824 | 0.4969 | 0.9766 | 0.9711 | 0.9855 | -1 | 1 | 2 | 1 | 1.363 | 0.003157 | 0.003157 | 0.01223 | 0.0000618 | 1 | 1.19e-7 | 0.006478 | 0.009155 | 0.006167 | 0.07853 | 6.42 | 1.572 | 0.006502 | 0.006671 | 1 | 1 | 0.012 | 0.09595 | 0.5286 | 0.01236 | 0.0988 | 0.5443 | json |
| t17_x2_u4_b110 | 17 | 2 | 4 | 110 | ![]() |
dst(P,add(P,cil(R))) | 99785 | 138131933 | o2(x,o2(x,o1(x))) | true | 115087 | 115087 | 0.9031 | 0.9994 | 0.9031 | 0.06028 | 0.2455 | 8.471e-8 | 1 | 1 | 1 | 1.31 | 0.001207 | 0.001113 | 0.01963 | 0.04028 | 1 | -0.00001343 | 0.0004106 | 0.006761 | 0.001937 | 0.04401 | 2.242 | 0.2024 | 0.0385 | 0.006813 | 1 | 1 | 0.003475 | 0.03872 | 0.08457 | 0.05766 | 0.6424 | 1.403 | json |
| t17_x2_u4_b111 | 17 | 2 | 4 | 111 | ![]() |
dst(P,sub(P,cil(R))) | 99786 | 138131934 | o2(x,o2(x,o1(x))) | true | 115095 | 115095 | 0.9031 | 0.9994 | 0.9031 | 0.06028 | 0.2455 | 8.471e-8 | 1 | 1 | 1 | 1.31 | 0.001207 | 0.001113 | 0.01963 | 0.04028 | 1 | -0.00001343 | 0.0004106 | 0.006761 | 0.001937 | 0.04401 | 2.242 | 0.2024 | 0.0385 | 0.006813 | 1 | 1 | 0.003475 | 0.03872 | 0.08457 | 0.05766 | 0.6424 | 1.403 | json |
| t17_x2_u4_b112 | 17 | 2 | 4 | 112 | ![]() |
dst(P,mlt(P,cil(R))) | 99787 | 138131935 | o2(x,o2(x,o1(x))) | true | 115103 | 115103 | 0.8514 | 0.9859 | 0.8514 | 0.1001 | 0.3163 | 0 | 1 | 1 | 1 | 1.477 | 0.003663 | 0.00402 | 0.033 | -0.04643 | 1 | -0.000277 | 0.004313 | 0.02228 | 0.006597 | 0.08122 | 2.461 | 0.5359 | 0.07679 | 0.0431 | 1 | 1 | 0.01377 | 0.1109 | 0.2217 | 0.1376 | 1.109 | 2.216 | json |
| t17_x2_u4_b113 | 17 | 2 | 4 | 113 | ![]() |
dst(P,div(P,cil(R))) | 99788 | 138131936 | o2(x,o2(x,o1(x))) | true | 115111 | 115111 | -0.9883 | 0.003906 | 0.9961 | 0.01939 | 0.1392 | -1 | 1 | 2 | 1 | 0.07373 | 0.00252 | 0.00252 | 0.002996 | 0 | 1 | 0 | 0.01071 | 0.006047 | 0.005028 | 0.07091 | 23.67 | 2.828 | 0.2599 | 0.5523 | 1 | 1 | 0.008864 | 0.03546 | 0.07047 | 0.4572 | 1.829 | 3.635 | json |
| t17_x2_u4_b114 | 17 | 2 | 4 | 114 | ![]() |
dst(P,pow(P,cil(R))) | 99789 | 138131937 | o2(x,o2(x,o1(x))) | true | 115119 | 115119 | -0.4022 | 0.3047 | 0.9885 | 0.8227 | 0.907 | -1 | 1 | 2 | 1 | 1.086 | 0.02037 | 0.0215 | 0.02397 | -0.02708 | 1 | -0.00001228 | 0.08575 | 0.04347 | 0.04129 | 0.2032 | 8.476 | 2.828 | 0.05089 | 0.1042 | 1 | 1 | 0.05103 | 0.2125 | 0.6464 | 0.06203 | 0.2583 | 0.7857 | json |
| t17_x2_u4_b115 | 17 | 2 | 4 | 115 | ![]() |
dst(P,mod(P,cil(R))) | 99790 | 138131938 | o2(x,o2(x,o1(x))) | true | 115127 | 115127 | -0.9922 | 0.003906 | 1 | 0.01556 | 0.1248 | -1 | 1 | 2 | 1 | 0.03687 | 0.002016 | 0.002016 | 0.001997 | 0 | 1 | 0 | 0.008566 | 0.004031 | 0.004024 | 0.06344 | 31.76 | 2.828 | 0.259 | 0.5504 | 1 | 1 | 0.007091 | 0.02837 | 0.05496 | 0.4556 | 1.823 | 3.531 | json |
| t17_x2_u4_b116 | 17 | 2 | 4 | 116 | ![]() |
dst(P,lrg(P,cil(R))) | 99791 | 138131939 | o2(x,o2(x,o1(x))) | true | 115135 | 115135 | 0.9931 | 1 | 0.9931 | 0.004919 | 0.07014 | 0.0002911 | 1 | 0.9997 | 1 | 0.1422 | 0.00003574 | 0.0001024 | 0.001297 | -0.4827 | 1 | 6.382e-11 | 0.00001809 | 0.0003824 | 0.0001366 | 0.01169 | 9.011 | 0.1653 | 0.02809 | 0.003676 | 1 | 1 | 0.0004732 | 0.005616 | 0.01756 | 0.09619 | 1.142 | 3.569 | json |
| t17_x2_u4_b117 | 17 | 2 | 4 | 117 | ![]() |
dst(P,eql(P,cil(R))) | 99792 | 138131940 | o2(x,o2(x,o1(x))) | true | 115143 | 115143 | 0.998 | 1 | 0.998 | 0.001366 | 0.03696 | 0.0008231 | 1 | 0.9992 | 1 | 0.04803 | 0.00005039 | 0.00005037 | 0.0006151 | 0.0001258 | 1 | -3.379e-11 | 0.00003563 | 0.0003212 | 0.0001004 | 0.01002 | 16.29 | 0.2617 | 0.07374 | 0.02607 | 1 | 1 | 0.0003295 | 0.003103 | 0.00497 | 0.2412 | 2.271 | 3.637 | json |
| t17_x2_u4_b118 | 17 | 2 | 4 | 118 | ![]() |
dst(P,min(P,cil(R))) | 99793 | 138131941 | o2(x,o2(x,o1(x))) | true | 115151 | 115151 | 0.6874 | 0.7433 | 0.6874 | 0.204 | 0.4517 | 0 | 1 | 1 | 1 | 1.382 | 0.0003444 | 0.000307 | 0.00665 | 0.05743 | 1 | -0.000004278 | 0.00009284 | 0.001913 | 0.0006078 | 0.02465 | 3.707 | 0.2266 | 0.003193 | 0.000455 | 1 | 1 | 0.001712 | 0.02088 | 0.0943 | 0.008393 | 0.1023 | 0.4622 | json |
| t17_x2_u4_b119 | 17 | 2 | 4 | 119 | ![]() |
dst(P,dot(P,cil(R))) | 99794 | 138131942 | o2(x,o2(x,o1(x))) | true | 115159 | 115159 | 0.997 | 1 | 0.997 | 0.002026 | 0.04501 | 0.0005821 | 1 | 0.9994 | 1 | 0.07475 | 0.00004072 | 0.00005246 | 0.0007593 | -0.1259 | 0 | 0 | 0.00002287 | 0.0003001 | 0.00009255 | 0.00962 | 12.67 | 0.198 | 0.046 | 0.01129 | 1 | 1 | 0.0003149 | 0.003466 | 0.007378 | 0.1554 | 1.711 | 3.642 | json |
| t17_x2_u4_b120 | 17 | 2 | 4 | 120 | ![]() |
dst(P,dst(P,cil(R))) | 99795 | 138131943 | o2(x,o2(x,o1(x))) | true | 115167 | 115167 | 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_x2_u5_b0 | 17 | 2 | 5 | 0 | ![]() |
add(P,add(P,sgn(R))) | 99796 | 138132024 | o2(x,o2(x,o1(x))) | true | 115175 | 115175 | -0.003914 | 0.4976 | 0.9817 | 0.9748 | 0.9873 | -1 | 1 | 2 | 1 | 1.375 | 0.002016 | 0.0004475 | 0.009628 | 0.6367 | 1 | -0.00001569 | 0.0004963 | 0.003501 | 0.00237 | 0.04868 | 5.057 | 0.4531 | 0.002527 | 0.0005091 | 1 | 1 | 0.006391 | 0.06916 | 0.3622 | 0.006557 | 0.07094 | 0.3716 | json |
| t17_x2_u5_b1 | 17 | 2 | 5 | 1 | ![]() |
add(P,sub(P,sgn(R))) | 99797 | 138132025 | o2(x,o2(x,o1(x))) | true | 115183 | 115183 | 0.00584 | 0.503 | 0.9815 | 0.9745 | 0.9871 | -1 | 1 | 2 | 1 | 1.378 | 0.001943 | 0.0004469 | 0.009562 | 0.626 | 1 | 0.00001569 | 0.0004819 | 0.003399 | 0.002299 | 0.04795 | 5.014 | 0.4531 | 0.002453 | 0.0004946 | 1 | 1 | 0.00625 | 0.06821 | 0.363 | 0.006414 | 0.06999 | 0.3725 | json |
| t17_x2_u5_b2 | 17 | 2 | 5 | 2 | ![]() |
add(P,mlt(P,sgn(R))) | 99798 | 138132026 | o2(x,o2(x,o1(x))) | true | 115191 | 115191 | -0.008567 | 0.4607 | 0.6972 | 0.6653 | 0.8156 | -1 | 1 | 2 | 1 | 2.92 | 0.006277 | 0.007745 | 0.05027 | -0.1047 | 1 | -0.0001845 | 0.009462 | 0.03836 | 0.01149 | 0.1072 | 2.132 | 0.604 | 0.02108 | 0.01422 | 1 | 1 | 0.02307 | 0.1651 | 0.4019 | 0.03468 | 0.2482 | 0.6041 | json |
| t17_x2_u5_b3 | 17 | 2 | 5 | 3 | ![]() |
add(P,div(P,sgn(R))) | 99799 | 138132027 | o2(x,o2(x,o1(x))) | true | 115199 | 115199 | -0.008567 | 0.4607 | 0.6972 | 0.6653 | 0.8156 | -1 | 1 | 2 | 1 | 2.92 | 0.006277 | 0.007745 | 0.05027 | -0.1047 | 1 | -0.0001845 | 0.009462 | 0.03836 | 0.01149 | 0.1072 | 2.132 | 0.604 | 0.02108 | 0.01422 | 1 | 1 | 0.02307 | 0.1651 | 0.4019 | 0.03468 | 0.2482 | 0.6041 | json |



































































































