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_x23_u5_b17 | 17 | 23 | 5 | 17 | ![]() |
sub(R,lrg(D,sgn(R))) | 117600 | 138980462 | o2(x,o2(x,o1(x))) | true | 100807 | 100807 | -0.3539 | 0.3544 | 0.6666 | 0.4315 | 0.6569 | -1 | 0.9804 | 1.98 | 1 | 3.927 | 0.006974 | 0.008247 | 0.08425 | -0.08369 | 1 | 0.0001444 | 0.002323 | 0.02589 | 0.008124 | 0.09014 | 1.07 | 0.347 | 0.03528 | 0.005383 | 1 | 1 | 0.02989 | 0.3406 | 0.8128 | 0.06928 | 0.7893 | 1.884 | json |
| t17_x23_u5_b18 | 17 | 23 | 5 | 18 | ![]() |
sub(R,eql(D,sgn(R))) | 117601 | 138980463 | o2(x,o2(x,o1(x))) | true | 100815 | 100815 | 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_x23_u5_b19 | 17 | 23 | 5 | 19 | ![]() |
sub(R,min(D,sgn(R))) | 117602 | 138980464 | o2(x,o2(x,o1(x))) | true | 100823 | 100823 | 0.5244 | 0.9886 | 0.5257 | 0.06346 | 0.2519 | -0.1783 | 1 | 1.178 | 1 | 3.969 | 0.001622 | 0.0008484 | 0.04222 | 0.3131 | 1 | 0.00007254 | 0.000232 | 0.01156 | 0.0006875 | 0.02622 | 0.621 | 0.1657 | 0.03893 | 0.003656 | 1 | 1 | 0.004531 | 0.05148 | 0.1058 | 0.07141 | 0.8112 | 1.668 | json |
| t17_x23_u5_b20 | 17 | 23 | 5 | 20 | ![]() |
sub(R,dot(D,sgn(R))) | 117603 | 138980465 | o2(x,o2(x,o1(x))) | true | 100831 | 100831 | 0.001595 | 0.4937 | 0.4612 | 0.293 | 0.5413 | -1 | 1 | 2 | 1 | 4.961 | 0.005418 | 0.00605 | 0.09393 | -0.05512 | 1 | 0.0002011 | 0.001086 | 0.02485 | 0.002646 | 0.05144 | 0.5476 | 0.3098 | 0.03915 | 0.003709 | 1 | 1 | 0.02247 | 0.2657 | 0.555 | 0.0767 | 0.9068 | 1.894 | json |
| t17_x23_u5_b21 | 17 | 23 | 5 | 21 | ![]() |
sub(R,dst(D,sgn(R))) | 117604 | 138980466 | o2(x,o2(x,o1(x))) | true | 100839 | 100839 | -0.992 | 0 | 0.992 | 0.001436 | 0.03789 | -1 | -0.5415 | 0.4585 | 1 | 0.3547 | 0.0001362 | 0.0001099 | 0.003858 | 0.1067 | 1 | 0.00002493 | 0.0001651 | 0.003128 | 0.0002313 | 0.01521 | 3.942 | 0.1738 | 0.1714 | 0.115 | 1 | 1 | 0.0004113 | 0.002296 | 0.002575 | 0.2864 | 1.599 | 1.793 | json |
| t17_x23_u5_b22 | 17 | 23 | 5 | 22 | ![]() |
mlt(R,add(D,sgn(R))) | 117605 | 138980467 | o2(x,o2(x,o1(x))) | true | 100847 | 100847 | 0.5148 | 1 | 0.5148 | 0.06141 | 0.2478 | 0.002817 | 1 | 0.9972 | 1 | 3.887 | 0.0014 | 0.0009047 | 0.04099 | 0.2148 | 1 | -0.00003928 | 0.0002208 | 0.0108 | 0.0006245 | 0.02499 | 0.6097 | 0.1576 | 0.03753 | 0.003596 | 1 | 1 | 0.004143 | 0.04954 | 0.114 | 0.06747 | 0.8067 | 1.856 | json |
| t17_x23_u5_b23 | 17 | 23 | 5 | 23 | ![]() |
mlt(R,sub(D,sgn(R))) | 117606 | 138980468 | o2(x,o2(x,o1(x))) | true | 100855 | 100855 | -0.5128 | 0 | 0.5128 | 0.06391 | 0.2528 | -1 | -0.003127 | 0.9969 | 1 | 3.895 | 0.001379 | 0.0009233 | 0.0409 | 0.198 | 1 | -0.00004051 | 0.000216 | 0.01059 | 0.0006302 | 0.0251 | 0.6139 | 0.1459 | 0.03603 | 0.00338 | 1 | 1 | 0.004184 | 0.05063 | 0.1244 | 0.06547 | 0.7923 | 1.947 | json |
| t17_x23_u5_b24 | 17 | 23 | 5 | 24 | ![]() |
mlt(R,mlt(D,sgn(R))) | 117607 | 138980469 | o2(x,o2(x,o1(x))) | true | 100863 | 100863 | -0.0003735 | 0.4986 | 0.06368 | 0.006487 | 0.08054 | -0.2603 | 0.2539 | 0.5141 | 1 | 2.451 | 0.0006234 | 0.00005676 | 0.02252 | 0.8331 | 1 | 0.000008766 | 0.00009329 | 0.00821 | 0.0001732 | 0.01316 | 0.5844 | 0.06216 | 0.1049 | 0.01438 | 1 | 1 | 0.001279 | 0.01073 | 0.007503 | 0.1972 | 1.654 | 1.157 | json |
| t17_x23_u5_b25 | 17 | 23 | 5 | 25 | ![]() |
mlt(R,div(D,sgn(R))) | 117608 | 138980470 | o2(x,o2(x,o1(x))) | true | 100871 | 100871 | -0.0003735 | 0.4986 | 0.06368 | 0.006487 | 0.08054 | -0.2603 | 0.2539 | 0.5141 | 1 | 2.451 | 0.0006234 | 0.00005676 | 0.02252 | 0.8331 | 1 | 0.000008766 | 0.00009329 | 0.00821 | 0.0001732 | 0.01316 | 0.5844 | 0.06216 | 0.1049 | 0.01438 | 1 | 1 | 0.001279 | 0.01073 | 0.007503 | 0.1972 | 1.654 | 1.157 | json |
| t17_x23_u5_b26 | 17 | 23 | 5 | 26 | ![]() |
mlt(R,pow(D,sgn(R))) | 117609 | 138980471 | o2(x,o2(x,o1(x))) | true | 100879 | 100879 | -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_x23_u5_b27 | 17 | 23 | 5 | 27 | ![]() |
mlt(R,mod(D,sgn(R))) | 117610 | 138980472 | o2(x,o2(x,o1(x))) | true | 100887 | 100887 | 0.001509 | 0.5091 | 0.09077 | 0.0151 | 0.1229 | -0.4311 | 0.4889 | 0.92 | 1 | 3.004 | 0.0007895 | 0.0002198 | 0.02769 | 0.5645 | 1 | -0.00003739 | 0.000103 | 0.008005 | 0.0002428 | 0.01558 | 0.5628 | 0.08276 | 0.06684 | 0.006818 | 1 | 1 | 0.001985 | 0.02214 | 0.02942 | 0.1314 | 1.466 | 1.949 | json |
| t17_x23_u5_b28 | 17 | 23 | 5 | 28 | ![]() |
mlt(R,lrg(D,sgn(R))) | 117611 | 138980473 | o2(x,o2(x,o1(x))) | true | 100895 | 100895 | -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_x23_u5_b29 | 17 | 23 | 5 | 29 | ![]() |
mlt(R,eql(D,sgn(R))) | 117612 | 138980474 | o2(x,o2(x,o1(x))) | true | 100903 | 100903 | 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_x23_u5_b30 | 17 | 23 | 5 | 30 | ![]() |
mlt(R,min(D,sgn(R))) | 117613 | 138980475 | o2(x,o2(x,o1(x))) | true | 100911 | 100911 | 0.2546 | 0.8382 | 0.2755 | 0.07092 | 0.2663 | -0.2601 | 0.9989 | 1.259 | 1 | 3.967 | 0.001142 | 0.001005 | 0.03857 | 0.0641 | 1 | -0.00002763 | 0.0001519 | 0.009682 | 0.0006597 | 0.02568 | 0.666 | 0.13 | 0.03028 | 0.002142 | 1 | 1 | 0.00397 | 0.04846 | 0.1147 | 0.05598 | 0.6833 | 1.617 | json |
| t17_x23_u5_b31 | 17 | 23 | 5 | 31 | ![]() |
mlt(R,dot(D,sgn(R))) | 117614 | 138980476 | o2(x,o2(x,o1(x))) | true | 100919 | 100919 | 0.0001309 | 0.4891 | 0.1149 | 0.02325 | 0.1525 | -0.6203 | 0.6012 | 1.221 | 1 | 3.316 | 0.0008746 | 0.0009024 | 0.03715 | -0.01561 | 1 | -0.000003117 | 0.0001993 | 0.01082 | 0.0003971 | 0.01993 | 0.5365 | 0.1574 | 0.07642 | 0.008569 | 1 | 1 | 0.003486 | 0.03587 | 0.04264 | 0.1499 | 1.543 | 1.834 | json |
| t17_x23_u5_b32 | 17 | 23 | 5 | 32 | ![]() |
mlt(R,dst(D,sgn(R))) | 117615 | 138980477 | o2(x,o2(x,o1(x))) | true | 100927 | 100927 | 0.01554 | 0.4989 | 0.6148 | 0.4894 | 0.6996 | -1 | 1 | 2 | 1 | 4.604 | 0.007391 | 0.008261 | 0.09032 | -0.05563 | 1 | 0.00002485 | 0.002232 | 0.02567 | 0.007494 | 0.08657 | 0.9584 | 0.3966 | 0.03198 | 0.004561 | 1 | 1 | 0.03076 | 0.3588 | 0.8718 | 0.06285 | 0.7332 | 1.781 | json |
| t17_x23_u5_b33 | 17 | 23 | 5 | 33 | ![]() |
div(R,add(D,sgn(R))) | 117616 | 138980478 | o2(x,o2(x,o1(x))) | true | 100935 | 100935 | 0.5895 | 1 | 0.5895 | 0.07274 | 0.2697 | 0.003225 | 1 | 0.9968 | 1 | 3.829 | 0.001743 | 0.001099 | 0.04304 | 0.2266 | 1 | -0.0001783 | 0.0004634 | 0.01305 | 0.0009893 | 0.03145 | 0.7308 | 0.1827 | 0.03906 | 0.00637 | 1 | 1 | 0.005168 | 0.0577 | 0.1399 | 0.07105 | 0.7933 | 1.923 | json |
| t17_x23_u5_b34 | 17 | 23 | 5 | 34 | ![]() |
div(R,sub(D,sgn(R))) | 117617 | 138980479 | o2(x,o2(x,o1(x))) | true | 100943 | 100943 | -0.5944 | 0 | 0.5944 | 0.07004 | 0.2647 | -1 | -0.002886 | 0.9971 | 1 | 3.826 | 0.001777 | 0.001065 | 0.0435 | 0.2506 | 1 | 0.0002585 | 0.0004411 | 0.01309 | 0.0009496 | 0.03081 | 0.7084 | 0.2036 | 0.04057 | 0.006298 | 1 | 1 | 0.0051 | 0.05607 | 0.1244 | 0.07281 | 0.8005 | 1.776 | json |
| t17_x23_u5_b35 | 17 | 23 | 5 | 35 | ![]() |
div(R,mlt(D,sgn(R))) | 117618 | 138980480 | o2(x,o2(x,o1(x))) | true | 100951 | 100951 | -0.0008597 | 0.4996 | 0.7981 | 0.7371 | 0.8585 | -1 | 1 | 2 | 1 | 3.295 | 0.2814 | 0.001687 | 0.2478 | 0.9881 | 1 | 0.00003852 | 0.4959 | 0.2987 | 0.2217 | 0.4708 | 1.9 | 2.061 | 0.384 | 0.6728 | 1 | 1 | 0.3224 | 1.356 | 0.133 | 0.4374 | 1.84 | 0.1804 | json |
| t17_x23_u5_b36 | 17 | 23 | 5 | 36 | ![]() |
div(R,div(D,sgn(R))) | 117619 | 138980481 | o2(x,o2(x,o1(x))) | true | 100959 | 100959 | -0.0008597 | 0.4996 | 0.7981 | 0.7371 | 0.8585 | -1 | 1 | 2 | 1 | 3.295 | 0.2814 | 0.001687 | 0.2478 | 0.9881 | 1 | 0.00003852 | 0.4959 | 0.2987 | 0.2217 | 0.4708 | 1.9 | 2.061 | 0.384 | 0.6728 | 1 | 1 | 0.3224 | 1.356 | 0.133 | 0.4374 | 1.84 | 0.1804 | json |
| t17_x23_u5_b37 | 17 | 23 | 5 | 37 | ![]() |
div(R,pow(D,sgn(R))) | 117620 | 138980482 | o2(x,o2(x,o1(x))) | true | 100967 | 100967 | -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_x23_u5_b38 | 17 | 23 | 5 | 38 | ![]() |
div(R,mod(D,sgn(R))) | 117621 | 138980483 | o2(x,o2(x,o1(x))) | true | 100975 | 100975 | 0.0102 | 0.5064 | 0.8024 | 0.7396 | 0.86 | -1 | 1 | 2 | 1 | 3.328 | 0.2573 | 0.03211 | 0.239 | 0.7781 | 1 | -0.00006844 | 0.5792 | 0.3129 | 0.2324 | 0.482 | 2.017 | 2.828 | 0.3913 | 0.7831 | 1 | 1 | 0.3234 | 1.359 | 1.366 | 0.4372 | 1.837 | 1.847 | json |
| t17_x23_u5_b39 | 17 | 23 | 5 | 39 | ![]() |
div(R,lrg(D,sgn(R))) | 117622 | 138980484 | o2(x,o2(x,o1(x))) | true | 100983 | 100983 | -0.834 | 0.06641 | 0.9668 | 0.2582 | 0.5081 | -1 | 1 | 2 | 1 | 0.9667 | 0.03283 | 0.03069 | 0.03712 | 0.03363 | 1 | -0.000001442 | 0.1348 | 0.07139 | 0.06217 | 0.2493 | 6.718 | 2.828 | 0.246 | 0.5219 | 1 | 1 | 0.06941 | 0.2884 | 0.5044 | 0.2688 | 1.117 | 1.954 | json |
| t17_x23_u5_b40 | 17 | 23 | 5 | 40 | ![]() |
div(R,eql(D,sgn(R))) | 117623 | 138980485 | o2(x,o2(x,o1(x))) | true | 100991 | 100991 | -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_x23_u5_b41 | 17 | 23 | 5 | 41 | ![]() |
div(R,min(D,sgn(R))) | 117624 | 138980486 | o2(x,o2(x,o1(x))) | true | 100999 | 100999 | 0.2272 | 0.7109 | 0.6544 | 0.4881 | 0.6986 | -1 | 1 | 2 | 1 | 4.171 | 0.1716 | 0.007275 | 0.1771 | 0.9187 | 1 | -0.00007879 | 0.3419 | 0.2078 | 0.1475 | 0.3841 | 2.169 | 2.237 | 0.3665 | 0.7004 | 1 | 1 | 0.1905 | 0.7783 | 0.5047 | 0.3902 | 1.594 | 1.034 | json |
| t17_x23_u5_b42 | 17 | 23 | 5 | 42 | ![]() |
div(R,dot(D,sgn(R))) | 117625 | 138980487 | o2(x,o2(x,o1(x))) | true | 101007 | 101007 | -0.08158 | 0.4581 | 0.7606 | 0.683 | 0.8264 | -1 | 1 | 2 | 1 | 3.557 | 0.3674 | 0.3358 | 0.4373 | 0.04497 | 1 | 0.00003851 | 2.928 | 0.7884 | 0.512 | 0.7155 | 1.636 | 2.828 | 1.03 | 4.287 | 1 | 1 | 0.6581 | 1.752 | 0.7912 | 0.9635 | 2.565 | 1.158 | json |
| t17_x23_u5_b43 | 17 | 23 | 5 | 43 | ![]() |
div(R,dst(D,sgn(R))) | 117626 | 138980488 | o2(x,o2(x,o1(x))) | true | 101015 | 101015 | 0.00518 | 0.4972 | 0.2289 | 0.07417 | 0.2723 | -0.6358 | 0.6292 | 1.265 | 1 | 4.104 | 0.0009745 | 0.001096 | 0.03764 | -0.05885 | 1 | 0.00001542 | 0.0001265 | 0.008664 | 0.0006539 | 0.02557 | 0.6793 | 0.1483 | 0.02792 | 0.001705 | 1 | 1 | 0.004099 | 0.05218 | 0.1327 | 0.05527 | 0.7036 | 1.789 | json |
| t17_x23_u5_b44 | 17 | 23 | 5 | 44 | ![]() |
pow(R,add(D,sgn(R))) | 117627 | 138980489 | o2(x,o2(x,o1(x))) | true | 101023 | 101023 | -0.9322 | 0.04297 | 0.9819 | 0.104 | 0.3225 | -1 | 0.9493 | 1.949 | 1 | 0.4116 | 0.01034 | 0.01063 | 0.01429 | -0.01362 | 1 | 0.000007304 | 0.04372 | 0.02639 | 0.02077 | 0.1441 | 10.08 | 2.646 | 0.2017 | 0.4203 | 1 | 1 | 0.01675 | 0.07303 | 0.1753 | 0.1611 | 0.7021 | 1.685 | json |
| t17_x23_u5_b45 | 17 | 23 | 5 | 45 | ![]() |
pow(R,sub(D,sgn(R))) | 117628 | 138980490 | o2(x,o2(x,o1(x))) | true | 101031 | 101031 | -0.9141 | 0.04297 | 1 | 0.1645 | 0.4056 | -1 | 1 | 2 | 1 | 0.2557 | 0.01688 | 0.01638 | 0.01652 | 0.01515 | 1 | 0 | 0.06954 | 0.03326 | 0.03297 | 0.1816 | 10.99 | 2.828 | 0.2022 | 0.4228 | 1 | 1 | 0.02543 | 0.1095 | 0.2757 | 0.1546 | 0.6659 | 1.676 | json |
| t17_x23_u5_b46 | 17 | 23 | 5 | 46 | ![]() |
pow(R,mlt(D,sgn(R))) | 117629 | 138980491 | o2(x,o2(x,o1(x))) | true | 101039 | 101039 | -0.9156 | 0.04297 | 0.9984 | 0.1589 | 0.3986 | -1 | 1 | 2 | 1 | 0.3032 | 0.01672 | 0.01576 | 0.01679 | 0.02932 | 1 | 0.000002463 | 0.06819 | 0.03316 | 0.03218 | 0.1794 | 10.68 | 2.828 | 0.2045 | 0.4293 | 1 | 1 | 0.02487 | 0.1066 | 0.2644 | 0.1566 | 0.6709 | 1.665 | json |
| t17_x23_u5_b47 | 17 | 23 | 5 | 47 | ![]() |
pow(R,div(D,sgn(R))) | 117630 | 138980492 | o2(x,o2(x,o1(x))) | true | 101047 | 101047 | -0.9156 | 0.04297 | 0.9984 | 0.1589 | 0.3986 | -1 | 1 | 2 | 1 | 0.3032 | 0.01672 | 0.01576 | 0.01679 | 0.02932 | 1 | 0.000002463 | 0.06819 | 0.03316 | 0.03218 | 0.1794 | 10.68 | 2.828 | 0.2045 | 0.4293 | 1 | 1 | 0.02487 | 0.1066 | 0.2644 | 0.1566 | 0.6709 | 1.665 | json |
| t17_x23_u5_b48 | 17 | 23 | 5 | 48 | ![]() |
pow(R,pow(D,sgn(R))) | 117631 | 138980493 | o2(x,o2(x,o1(x))) | true | 101055 | 101055 | -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_x23_u5_b49 | 17 | 23 | 5 | 49 | ![]() |
pow(R,mod(D,sgn(R))) | 117632 | 138980494 | o2(x,o2(x,o1(x))) | true | 101063 | 101063 | -0.9156 | 0.04297 | 0.9984 | 0.1589 | 0.3986 | -1 | 1 | 2 | 1 | 0.3032 | 0.01672 | 0.01576 | 0.01679 | 0.02932 | 1 | 0.000002463 | 0.06819 | 0.03316 | 0.03218 | 0.1794 | 10.68 | 2.828 | 0.2045 | 0.4293 | 1 | 1 | 0.02487 | 0.1066 | 0.2644 | 0.1566 | 0.6709 | 1.665 | json |
| t17_x23_u5_b50 | 17 | 23 | 5 | 50 | ![]() |
pow(R,lrg(D,sgn(R))) | 117633 | 138980495 | o2(x,o2(x,o1(x))) | true | 101071 | 101071 | -0.9141 | 0.04297 | 1 | 0.1645 | 0.4056 | -1 | 1 | 2 | 1 | 0.2557 | 0.01688 | 0.01638 | 0.01652 | 0.01515 | 1 | 0 | 0.06954 | 0.03326 | 0.03297 | 0.1816 | 10.99 | 2.828 | 0.2022 | 0.4228 | 1 | 1 | 0.02543 | 0.1095 | 0.2757 | 0.1546 | 0.6659 | 1.676 | json |
| t17_x23_u5_b51 | 17 | 23 | 5 | 51 | ![]() |
pow(R,eql(D,sgn(R))) | 117634 | 138980496 | o2(x,o2(x,o1(x))) | true | 101079 | 101079 | 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_x23_u5_b52 | 17 | 23 | 5 | 52 | ![]() |
pow(R,min(D,sgn(R))) | 117635 | 138980497 | o2(x,o2(x,o1(x))) | true | 101087 | 101087 | -0.9156 | 0.04297 | 0.9984 | 0.1589 | 0.3986 | -1 | 1 | 2 | 1 | 0.3032 | 0.01672 | 0.01576 | 0.01679 | 0.02932 | 1 | 0.000002463 | 0.06819 | 0.03316 | 0.03218 | 0.1794 | 10.68 | 2.828 | 0.2045 | 0.4293 | 1 | 1 | 0.02487 | 0.1066 | 0.2644 | 0.1566 | 0.6709 | 1.665 | json |
| t17_x23_u5_b53 | 17 | 23 | 5 | 53 | ![]() |
pow(R,dot(D,sgn(R))) | 117636 | 138980498 | o2(x,o2(x,o1(x))) | true | 101095 | 101095 | -0.8987 | 0.052 | 0.9973 | 0.1876 | 0.4331 | -1 | 1 | 2 | 1 | 0.3704 | 0.08533 | 0.08589 | 0.07206 | -0.003228 | 1 | -0.00006098 | 0.8968 | 0.1743 | 0.166 | 0.4074 | 5.654 | 2.828 | 0.9129 | 4.782 | 1 | 1 | 0.09549 | 0.1742 | 0.3226 | 0.5091 | 0.929 | 1.72 | json |
| t17_x23_u5_b54 | 17 | 23 | 5 | 54 | ![]() |
pow(R,dst(D,sgn(R))) | 117637 | 138980499 | o2(x,o2(x,o1(x))) | true | 101103 | 101103 | -0.9387 | 0.04297 | 0.9754 | 0.08577 | 0.2929 | -1 | 0.9073 | 1.907 | 1 | 0.4176 | 0.008619 | 0.008639 | 0.01313 | -0.001181 | 1 | 0.000009453 | 0.03596 | 0.02384 | 0.01709 | 0.1307 | 9.959 | 2.513 | 0.2012 | 0.4193 | 1 | 1 | 0.01369 | 0.0599 | 0.1443 | 0.1597 | 0.6984 | 1.683 | json |
| t17_x23_u5_b55 | 17 | 23 | 5 | 55 | ![]() |
mod(R,add(D,sgn(R))) | 117638 | 138980500 | o2(x,o2(x,o1(x))) | true | 101111 | 101111 | 0.0006451 | 0.4899 | 0.3311 | 0.1636 | 0.4045 | -0.9985 | 0.9806 | 1.979 | 1 | 4.708 | 0.01448 | 0.002321 | 0.07618 | 0.7237 | 1 | 0.00005643 | 0.02679 | 0.06292 | 0.011 | 0.1049 | 1.377 | 0.9681 | 0.1027 | 0.1638 | 1 | 1 | 0.01991 | 0.1406 | 0.2917 | 0.1217 | 0.8594 | 1.783 | json |
| t17_x23_u5_b56 | 17 | 23 | 5 | 56 | ![]() |
mod(R,sub(D,sgn(R))) | 117639 | 138980501 | o2(x,o2(x,o1(x))) | true | 101119 | 101119 | 0.002264 | 0.492 | 0.3275 | 0.1612 | 0.4015 | -0.9987 | 0.9805 | 1.979 | 1 | 4.699 | 0.01483 | 0.002301 | 0.07658 | 0.7314 | 1 | -0.0001275 | 0.02761 | 0.06419 | 0.01127 | 0.1061 | 1.386 | 0.9682 | 0.1063 | 0.1712 | 1 | 1 | 0.01984 | 0.1382 | 0.2864 | 0.1231 | 0.8572 | 1.776 | json |
| t17_x23_u5_b57 | 17 | 23 | 5 | 57 | ![]() |
mod(R,mlt(D,sgn(R))) | 117640 | 138980502 | o2(x,o2(x,o1(x))) | true | 101127 | 101127 | -0.006161 | 0.4759 | 0.09044 | 0.01497 | 0.1224 | -0.456 | 0.4355 | 0.8915 | 1 | 2.997 | 0.006824 | 0.0002258 | 0.06342 | 0.9359 | 1 | -0.00001868 | 0.01816 | 0.09708 | 0.003027 | 0.05502 | 0.8674 | 0.39 | 0.4708 | 1.213 | 1 | 1 | 0.005404 | 0.01627 | 0.02848 | 0.3609 | 1.087 | 1.902 | json |
| t17_x23_u5_b58 | 17 | 23 | 5 | 58 | ![]() |
mod(R,div(D,sgn(R))) | 117641 | 138980503 | o2(x,o2(x,o1(x))) | true | 101135 | 101135 | -0.006161 | 0.4759 | 0.09044 | 0.01497 | 0.1224 | -0.456 | 0.4355 | 0.8915 | 1 | 2.997 | 0.006824 | 0.0002258 | 0.06342 | 0.9359 | 1 | -0.00001868 | 0.01816 | 0.09708 | 0.003027 | 0.05502 | 0.8674 | 0.39 | 0.4708 | 1.213 | 1 | 1 | 0.005404 | 0.01627 | 0.02848 | 0.3609 | 1.087 | 1.902 | json |
| t17_x23_u5_b59 | 17 | 23 | 5 | 59 | ![]() |
mod(R,pow(D,sgn(R))) | 117642 | 138980504 | o2(x,o2(x,o1(x))) | true | 101143 | 101143 | -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_x23_u5_b60 | 17 | 23 | 5 | 60 | ![]() |
mod(R,mod(D,sgn(R))) | 117643 | 138980505 | o2(x,o2(x,o1(x))) | true | 101151 | 101151 | -0.006161 | 0.4759 | 0.09044 | 0.01497 | 0.1224 | -0.456 | 0.4355 | 0.8915 | 1 | 2.997 | 0.006824 | 0.0002258 | 0.06342 | 0.9359 | 1 | -0.00001868 | 0.01816 | 0.09708 | 0.003027 | 0.05502 | 0.8674 | 0.39 | 0.4708 | 1.213 | 1 | 1 | 0.005404 | 0.01627 | 0.02848 | 0.3609 | 1.087 | 1.902 | json |
| t17_x23_u5_b61 | 17 | 23 | 5 | 61 | ![]() |
mod(R,lrg(D,sgn(R))) | 117644 | 138980506 | o2(x,o2(x,o1(x))) | true | 101159 | 101159 | -0.9668 | 0 | 0.9668 | 0.01915 | 0.1384 | -1 | -0.007164 | 0.9928 | 1 | 0.6215 | 0.00171 | 0.001917 | 0.007503 | -0.05728 | 1 | -0.000001442 | 0.007437 | 0.01163 | 0.00357 | 0.05975 | 7.963 | 1.289 | 0.1894 | 0.3884 | 1 | 1 | 0.003992 | 0.01731 | 0.04085 | 0.2085 | 0.9041 | 2.133 | json |
| t17_x23_u5_b62 | 17 | 23 | 5 | 62 | ![]() |
mod(R,eql(D,sgn(R))) | 117645 | 138980507 | o2(x,o2(x,o1(x))) | true | 101167 | 101167 | -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_x23_u5_b63 | 17 | 23 | 5 | 63 | ![]() |
mod(R,min(D,sgn(R))) | 117646 | 138980508 | o2(x,o2(x,o1(x))) | true | 101175 | 101175 | -0.1898 | 0.3489 | 0.257 | 0.08865 | 0.2977 | -0.9989 | 0.4355 | 1.434 | 1 | 4.111 | 0.004263 | 0.001243 | 0.05843 | 0.5485 | 1 | -0.0001725 | 0.008585 | 0.05483 | 0.002091 | 0.04573 | 0.7826 | 0.2808 | 0.06211 | 0.09684 | 1 | 1 | 0.006628 | 0.05745 | 0.1437 | 0.07477 | 0.648 | 1.62 | json |
| t17_x23_u5_b64 | 17 | 23 | 5 | 64 | ![]() |
mod(R,dot(D,sgn(R))) | 117647 | 138980509 | o2(x,o2(x,o1(x))) | true | 101183 | 101183 | -0.09759 | 0.44 | 0.2125 | 0.1097 | 0.3312 | -1 | 0.6453 | 1.645 | 1 | 3.602 | 0.1825 | 0.1826 | 0.354 | -0.0002758 | 1 | 0.0001237 | 2.104 | 0.8446 | 0.2397 | 0.4896 | 1.383 | 2.248 | 3.328 | 19.19 | 1 | 1 | 0.1998 | 0.2176 | 0.09882 | 1.822 | 1.984 | 0.9011 | json |
| t17_x23_u5_b65 | 17 | 23 | 5 | 65 | ![]() |
mod(R,dst(D,sgn(R))) | 117648 | 138980510 | o2(x,o2(x,o1(x))) | true | 101191 | 101191 | 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_x23_u5_b66 | 17 | 23 | 5 | 66 | ![]() |
lrg(R,add(D,sgn(R))) | 117649 | 138980511 | o2(x,o2(x,o1(x))) | true | 101199 | 101199 | 0.5292 | 0.9565 | 0.5292 | 0.1423 | 0.3773 | 0 | 1 | 1 | 1 | 3.571 | 0.02143 | 0.002151 | 0.08399 | 0.8175 | 1 | -0.00005998 | 0.04066 | 0.07422 | 0.01653 | 0.1286 | 1.531 | 0.9997 | 0.1657 | 0.2856 | 1 | 1 | 0.02644 | 0.148 | 0.2607 | 0.1857 | 1.04 | 1.832 | json |
| t17_x23_u5_b67 | 17 | 23 | 5 | 67 | ![]() |
lrg(R,sub(D,sgn(R))) | 117650 | 138980512 | o2(x,o2(x,o1(x))) | true | 101207 | 101207 | 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_x23_u5_b68 | 17 | 23 | 5 | 68 | ![]() |
lrg(R,mlt(D,sgn(R))) | 117651 | 138980513 | o2(x,o2(x,o1(x))) | true | 101215 | 101215 | 0.4988 | 0.9236 | 0.4988 | 0.1535 | 0.3918 | 0 | 1 | 1 | 1 | 3.432 | 0.02027 | 0.002237 | 0.07754 | 0.8012 | 1 | -0.0002359 | 0.03825 | 0.07056 | 0.0165 | 0.1284 | 1.656 | 0.9997 | 0.1466 | 0.2492 | 1 | 1 | 0.02501 | 0.1506 | 0.2844 | 0.1629 | 0.9809 | 1.853 | json |
| t17_x23_u5_b69 | 17 | 23 | 5 | 69 | ![]() |
lrg(R,div(D,sgn(R))) | 117652 | 138980514 | o2(x,o2(x,o1(x))) | true | 101223 | 101223 | 0.4988 | 0.9236 | 0.4988 | 0.1535 | 0.3918 | 0 | 1 | 1 | 1 | 3.432 | 0.02027 | 0.002237 | 0.07754 | 0.8012 | 1 | -0.0002359 | 0.03825 | 0.07056 | 0.0165 | 0.1284 | 1.656 | 0.9997 | 0.1466 | 0.2492 | 1 | 1 | 0.02501 | 0.1506 | 0.2844 | 0.1629 | 0.9809 | 1.853 | json |
| t17_x23_u5_b70 | 17 | 23 | 5 | 70 | ![]() |
lrg(R,pow(D,sgn(R))) | 117653 | 138980515 | o2(x,o2(x,o1(x))) | true | 101231 | 101231 | 0.6839 | 1 | 0.6839 | 0.1174 | 0.3427 | 0.000291 | 1 | 0.9997 | 1 | 3.271 | 0.03888 | 0.001031 | 0.09674 | 0.9483 | 1 | 0.00004788 | 0.07352 | 0.1006 | 0.03055 | 0.1748 | 1.807 | 0.9997 | 0.3398 | 0.6261 | 1 | 1 | 0.04371 | 0.1708 | 0.1383 | 0.3722 | 1.455 | 1.177 | json |
| t17_x23_u5_b71 | 17 | 23 | 5 | 71 | ![]() |
lrg(R,mod(D,sgn(R))) | 117654 | 138980516 | o2(x,o2(x,o1(x))) | true | 101239 | 101239 | 0.4991 | 0.9305 | 0.4991 | 0.1466 | 0.3829 | 0 | 1 | 1 | 1 | 3.529 | 0.0202 | 0.00212 | 0.08082 | 0.81 | 1 | 0.00001402 | 0.03815 | 0.07049 | 0.01579 | 0.1257 | 1.555 | 0.9997 | 0.1522 | 0.2602 | 1 | 1 | 0.02456 | 0.14 | 0.2709 | 0.1675 | 0.9551 | 1.848 | json |
| t17_x23_u5_b72 | 17 | 23 | 5 | 72 | ![]() |
lrg(R,lrg(D,sgn(R))) | 117655 | 138980517 | o2(x,o2(x,o1(x))) | true | 101247 | 101247 | 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_x23_u5_b73 | 17 | 23 | 5 | 73 | ![]() |
lrg(R,eql(D,sgn(R))) | 117656 | 138980518 | o2(x,o2(x,o1(x))) | true | 101255 | 101255 | 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_x23_u5_b74 | 17 | 23 | 5 | 74 | ![]() |
lrg(R,min(D,sgn(R))) | 117657 | 138980519 | o2(x,o2(x,o1(x))) | true | 101263 | 101263 | 0.9407 | 1 | 0.9407 | 0.02567 | 0.1602 | 0.000582 | 1 | 0.9994 | 1 | 1.251 | 0.008427 | 0.0003582 | 0.02849 | 0.9185 | 1 | 0.0000493 | 0.01697 | 0.0305 | 0.007977 | 0.08931 | 3.135 | 0.9994 | 0.3422 | 0.6609 | 1 | 1 | 0.007699 | 0.02811 | 0.04308 | 0.2999 | 1.095 | 1.678 | json |
| t17_x23_u5_b75 | 17 | 23 | 5 | 75 | ![]() |
lrg(R,dot(D,sgn(R))) | 117658 | 138980520 | o2(x,o2(x,o1(x))) | true | 101271 | 101271 | 0.4975 | 0.9293 | 0.4975 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.43 | 0.02006 | 0.02032 | 0.09567 | -0.006314 | 1 | 0.00009929 | 0.1467 | 0.1266 | 0.03123 | 0.1767 | 1.847 | 1.413 | 0.2626 | 0.954 | 1 | 1 | 0.04312 | 0.1978 | 0.2931 | 0.2805 | 1.287 | 1.907 | json |
| t17_x23_u5_b76 | 17 | 23 | 5 | 76 | ![]() |
lrg(R,dst(D,sgn(R))) | 117659 | 138980521 | o2(x,o2(x,o1(x))) | true | 101279 | 101279 | 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_x23_u5_b77 | 17 | 23 | 5 | 77 | ![]() |
eql(R,add(D,sgn(R))) | 117660 | 138980522 | o2(x,o2(x,o1(x))) | true | 101287 | 101287 | 0.000082 | 0.0002441 | 0.000082 | 0.00004315 | 0.006569 | 0 | 0.6715 | 0.6715 | 1 | 0.003091 | 0.00006086 | 6.316e-7 | 0.000129 | 0.9795 | 0 | 2.395e-7 | 0.0001845 | 0.0002541 | 0.00006148 | 0.007841 | 60.78 | 0.6519 | 1.425 | 4.276 | 1 | 1 | 0 | 0 | 0.00003293 | 0 | 0 | 0.7631 | json |
| t17_x23_u5_b78 | 17 | 23 | 5 | 78 | ![]() |
eql(R,sub(D,sgn(R))) | 117661 | 138980523 | o2(x,o2(x,o1(x))) | true | 101295 | 101295 | 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_x23_u5_b79 | 17 | 23 | 5 | 79 | ![]() |
eql(R,mlt(D,sgn(R))) | 117662 | 138980524 | o2(x,o2(x,o1(x))) | true | 101303 | 101303 | 0.00004008 | 0.0002289 | 0.00004008 | 0.00001031 | 0.00321 | 0 | 0.3282 | 0.3282 | 1 | 0.002722 | 0.00001454 | 1.509e-7 | 0.00006305 | 0.9795 | 0 | 1.17e-7 | 0.00004407 | 0.0001242 | 0.00001469 | 0.003832 | 60.78 | 0.3186 | 1.425 | 4.276 | 1 | 1 | 0 | 0 | 0.000007865 | 0 | 0 | 0.7631 | json |
| t17_x23_u5_b80 | 17 | 23 | 5 | 80 | ![]() |
eql(R,div(D,sgn(R))) | 117663 | 138980525 | o2(x,o2(x,o1(x))) | true | 101311 | 101311 | 0.00004008 | 0.0002289 | 0.00004008 | 0.00001031 | 0.00321 | 0 | 0.3282 | 0.3282 | 1 | 0.002722 | 0.00001454 | 1.509e-7 | 0.00006305 | 0.9795 | 0 | 1.17e-7 | 0.00004407 | 0.0001242 | 0.00001469 | 0.003832 | 60.78 | 0.3186 | 1.425 | 4.276 | 1 | 1 | 0 | 0 | 0.000007865 | 0 | 0 | 0.7631 | json |
| t17_x23_u5_b81 | 17 | 23 | 5 | 81 | ![]() |
eql(R,pow(D,sgn(R))) | 117664 | 138980526 | o2(x,o2(x,o1(x))) | true | 101319 | 101319 | 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_x23_u5_b82 | 17 | 23 | 5 | 82 | ![]() |
eql(R,mod(D,sgn(R))) | 117665 | 138980527 | o2(x,o2(x,o1(x))) | true | 101327 | 101327 | 0.00004008 | 0.0002289 | 0.00004008 | 0.00001031 | 0.00321 | 0 | 0.3282 | 0.3282 | 1 | 0.002722 | 0.00001454 | 1.509e-7 | 0.00006305 | 0.9795 | 0 | 1.17e-7 | 0.00004407 | 0.0001242 | 0.00001469 | 0.003832 | 60.78 | 0.3186 | 1.425 | 4.276 | 1 | 1 | 0 | 0 | 0.000007865 | 0 | 0 | 0.7631 | json |
| t17_x23_u5_b83 | 17 | 23 | 5 | 83 | ![]() |
eql(R,lrg(D,sgn(R))) | 117666 | 138980528 | o2(x,o2(x,o1(x))) | true | 101335 | 101335 | 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_x23_u5_b84 | 17 | 23 | 5 | 84 | ![]() |
eql(R,eql(D,sgn(R))) | 117667 | 138980529 | o2(x,o2(x,o1(x))) | true | 101343 | 101343 | 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_x23_u5_b85 | 17 | 23 | 5 | 85 | ![]() |
eql(R,min(D,sgn(R))) | 117668 | 138980530 | o2(x,o2(x,o1(x))) | true | 101351 | 101351 | 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_x23_u5_b86 | 17 | 23 | 5 | 86 | ![]() |
eql(R,dot(D,sgn(R))) | 117669 | 138980531 | o2(x,o2(x,o1(x))) | true | 101359 | 101359 | 0.00006719 | 0.0003052 | 0.00006719 | 0.00002582 | 0.005081 | 0 | 0.5202 | 0.5202 | 1 | 0.003513 | 0.00005331 | 0.00005331 | 0.0002367 | 0 | 1 | 3.016e-13 | 0.0006374 | 0.0005547 | 0.0001065 | 0.01032 | 43.59 | 0.7357 | 4.129 | 24.68 | 1 | 1 | 3.808e-7 | 0.0000155 | 0.00002347 | 0.01475 | 0.6001 | 0.909 | json |
| t17_x23_u5_b87 | 17 | 23 | 5 | 87 | ![]() |
eql(R,dst(D,sgn(R))) | 117670 | 138980532 | o2(x,o2(x,o1(x))) | true | 101367 | 101367 | 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_x23_u5_b88 | 17 | 23 | 5 | 88 | ![]() |
min(R,add(D,sgn(R))) | 117671 | 138980533 | o2(x,o2(x,o1(x))) | true | 101375 | 101375 | -0.271 | 0.3842 | 0.5886 | 0.3762 | 0.6134 | -1 | 0.9806 | 1.981 | 1 | 4.543 | 0.005742 | 0.005973 | 0.08585 | -0.01974 | 1 | 0.00007557 | 0.001035 | 0.02261 | 0.004344 | 0.06591 | 0.7678 | 0.2628 | 0.03114 | 0.002752 | 1 | 1 | 0.02355 | 0.2898 | 0.7182 | 0.06259 | 0.7704 | 1.909 | json |
| t17_x23_u5_b89 | 17 | 23 | 5 | 89 | ![]() |
min(R,sub(D,sgn(R))) | 117672 | 138980534 | o2(x,o2(x,o1(x))) | true | 101383 | 101383 | -0.7171 | 0 | 0.7171 | 0.06689 | 0.2586 | -1 | -0.003063 | 0.9969 | 1 | 3.507 | 0.001382 | 0.00111 | 0.03855 | 0.1093 | 1 | -0.0000553 | 0.000357 | 0.01232 | 0.001005 | 0.03171 | 0.8226 | 0.1526 | 0.03725 | 0.005338 | 1 | 1 | 0.004818 | 0.05482 | 0.1337 | 0.07204 | 0.8197 | 1.999 | json |
| t17_x23_u5_b90 | 17 | 23 | 5 | 90 | ![]() |
min(R,mlt(D,sgn(R))) | 117673 | 138980535 | o2(x,o2(x,o1(x))) | true | 101391 | 101391 | -0.2802 | 0.1782 | 0.3132 | 0.07799 | 0.2793 | -0.9989 | 0.257 | 1.256 | 1 | 4.104 | 0.001924 | 0.001065 | 0.04722 | 0.2872 | 1 | 0.00002777 | 0.000303 | 0.01377 | 0.0007598 | 0.02756 | 0.5838 | 0.1528 | 0.03833 | 0.003885 | 1 | 1 | 0.005608 | 0.06337 | 0.1289 | 0.07191 | 0.8124 | 1.653 | json |
| t17_x23_u5_b91 | 17 | 23 | 5 | 91 | ![]() |
min(R,div(D,sgn(R))) | 117674 | 138980536 | o2(x,o2(x,o1(x))) | true | 101399 | 101399 | -0.2802 | 0.1782 | 0.3132 | 0.07799 | 0.2793 | -0.9989 | 0.257 | 1.256 | 1 | 4.104 | 0.001924 | 0.001065 | 0.04722 | 0.2872 | 1 | 0.00002777 | 0.000303 | 0.01377 | 0.0007598 | 0.02756 | 0.5838 | 0.1528 | 0.03833 | 0.003885 | 1 | 1 | 0.005608 | 0.06337 | 0.1289 | 0.07191 | 0.8124 | 1.653 | json |
| t17_x23_u5_b92 | 17 | 23 | 5 | 92 | ![]() |
min(R,pow(D,sgn(R))) | 117675 | 138980537 | o2(x,o2(x,o1(x))) | true | 101407 | 101407 | -0.06583 | 0.4636 | 0.3355 | 0.1697 | 0.4119 | -0.9989 | 0.9805 | 1.979 | 1 | 4.715 | 0.01097 | 0.002358 | 0.07139 | 0.6461 | 1 | -0.0001464 | 0.01898 | 0.04429 | 0.00823 | 0.09072 | 1.271 | 0.9385 | 0.07855 | 0.1119 | 1 | 1 | 0.01711 | 0.1264 | 0.2837 | 0.1009 | 0.7452 | 1.672 | json |
| t17_x23_u5_b93 | 17 | 23 | 5 | 93 | ![]() |
min(R,mod(D,sgn(R))) | 117676 | 138980538 | o2(x,o2(x,o1(x))) | true | 101415 | 101415 | -0.2802 | 0.1663 | 0.3076 | 0.07392 | 0.2719 | -0.9989 | 0.1454 | 1.144 | 1 | 4.044 | 0.001754 | 0.001001 | 0.04511 | 0.2733 | 1 | 0.00002083 | 0.0002816 | 0.01333 | 0.00072 | 0.02683 | 0.5948 | 0.1528 | 0.03727 | 0.003809 | 1 | 1 | 0.005139 | 0.05796 | 0.1186 | 0.06952 | 0.784 | 1.604 | json |
| t17_x23_u5_b94 | 17 | 23 | 5 | 94 | ![]() |
min(R,lrg(D,sgn(R))) | 117677 | 138980539 | o2(x,o2(x,o1(x))) | true | 101423 | 101423 | -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_x23_u5_b95 | 17 | 23 | 5 | 95 | ![]() |
min(R,eql(D,sgn(R))) | 117678 | 138980540 | o2(x,o2(x,o1(x))) | true | 101431 | 101431 | -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_x23_u5_b96 | 17 | 23 | 5 | 96 | ![]() |
min(R,min(D,sgn(R))) | 117679 | 138980541 | o2(x,o2(x,o1(x))) | true | 101439 | 101439 | -0.5283 | 0.1343 | 0.5501 | 0.1623 | 0.4029 | -1 | 0.1454 | 1.145 | 1 | 3.844 | 0.002944 | 0.002497 | 0.06042 | 0.08205 | 1 | -0.00002184 | 0.0004129 | 0.01551 | 0.001791 | 0.04232 | 0.7005 | 0.1719 | 0.03352 | 0.002544 | 1 | 1 | 0.01075 | 0.131 | 0.2998 | 0.06623 | 0.8073 | 1.847 | json |
| t17_x23_u5_b97 | 17 | 23 | 5 | 97 | ![]() |
min(R,dot(D,sgn(R))) | 117680 | 138980542 | o2(x,o2(x,o1(x))) | true | 101447 | 101447 | -0.3064 | 0.1756 | 0.3584 | 0.09622 | 0.3102 | -1 | 0.6418 | 1.642 | 1 | 4.32 | 0.002153 | 0.002281 | 0.05795 | -0.02876 | 1 | 0.00004594 | 0.000585 | 0.01767 | 0.001076 | 0.0328 | 0.5659 | 0.2102 | 0.04608 | 0.00608 | 1 | 1 | 0.008376 | 0.09394 | 0.1687 | 0.08705 | 0.9763 | 1.753 | json |
| t17_x23_u5_b98 | 17 | 23 | 5 | 98 | ![]() |
min(R,dst(D,sgn(R))) | 117681 | 138980543 | o2(x,o2(x,o1(x))) | true | 101455 | 101455 | 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_x23_u5_b99 | 17 | 23 | 5 | 99 | ![]() |
dot(R,add(D,sgn(R))) | 117682 | 138980544 | o2(x,o2(x,o1(x))) | true | 101463 | 101463 | 0.9789 | 1 | 0.9789 | 0.006001 | 0.07746 | 0.1661 | 1 | 0.8339 | 1 | 0.6693 | 0.0001717 | 0.0002771 | 0.006234 | -0.2348 | 1 | -0.00003038 | 0.0001989 | 0.003815 | 0.0004097 | 0.02024 | 3.247 | 0.2296 | 0.0748 | 0.03315 | 1 | 1 | 0.000603 | 0.004852 | 0.008137 | 0.1005 | 0.8086 | 1.356 | json |
| t17_x23_u5_b100 | 17 | 23 | 5 | 100 | ![]() |
dot(R,sub(D,sgn(R))) | 117683 | 138980545 | o2(x,o2(x,o1(x))) | true | 101471 | 101471 | -0.9787 | 0 | 0.9787 | 0.006078 | 0.07796 | -1 | -0.1634 | 0.8366 | 1 | 0.6848 | 0.0001737 | 0.0002785 | 0.006456 | -0.2317 | 1 | 0.00001802 | 0.0001935 | 0.00393 | 0.0004107 | 0.02027 | 3.139 | 0.2186 | 0.0744 | 0.03183 | 1 | 1 | 0.0006249 | 0.005009 | 0.008501 | 0.1028 | 0.8242 | 1.399 | json |
| t17_x23_u5_b101 | 17 | 23 | 5 | 101 | ![]() |
dot(R,mlt(D,sgn(R))) | 117684 | 138980546 | o2(x,o2(x,o1(x))) | true | 101479 | 101479 | -0.001482 | 0.4895 | 0.09317 | 0.01358 | 0.1165 | -0.4034 | 0.3695 | 0.7729 | 1 | 2.961 | 0.0006852 | 0.0006995 | 0.03381 | -0.01033 | 1 | 0.0000419 | 0.0001867 | 0.01104 | 0.0002413 | 0.01553 | 0.4594 | 0.09739 | 0.102 | 0.01375 | 1 | 1 | 0.002611 | 0.02228 | 0.01597 | 0.1923 | 1.641 | 1.176 | json |
| t17_x23_u5_b102 | 17 | 23 | 5 | 102 | ![]() |
dot(R,div(D,sgn(R))) | 117685 | 138980547 | o2(x,o2(x,o1(x))) | true | 101487 | 101487 | -0.001482 | 0.4895 | 0.09317 | 0.01358 | 0.1165 | -0.4034 | 0.3695 | 0.7729 | 1 | 2.961 | 0.0006852 | 0.0006995 | 0.03381 | -0.01033 | 1 | 0.0000419 | 0.0001867 | 0.01104 | 0.0002413 | 0.01553 | 0.4594 | 0.09739 | 0.102 | 0.01375 | 1 | 1 | 0.002611 | 0.02228 | 0.01597 | 0.1923 | 1.641 | 1.176 | json |
| t17_x23_u5_b103 | 17 | 23 | 5 | 103 | ![]() |
dot(R,pow(D,sgn(R))) | 117686 | 138980548 | o2(x,o2(x,o1(x))) | true | 101495 | 101495 | -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_x23_u5_b104 | 17 | 23 | 5 | 104 | ![]() |
dot(R,mod(D,sgn(R))) | 117687 | 138980549 | o2(x,o2(x,o1(x))) | true | 101503 | 101503 | 0.004186 | 0.519 | 0.1403 | 0.03119 | 0.1766 | -0.5259 | 0.5965 | 1.122 | 1 | 3.548 | 0.001025 | 0.001036 | 0.04104 | -0.005293 | 1 | -0.0001214 | 0.0002066 | 0.0116 | 0.0003766 | 0.01941 | 0.4729 | 0.1246 | 0.06608 | 0.006623 | 1 | 1 | 0.003983 | 0.04517 | 0.06353 | 0.1277 | 1.448 | 2.037 | json |
| t17_x23_u5_b105 | 17 | 23 | 5 | 105 | ![]() |
dot(R,lrg(D,sgn(R))) | 117688 | 138980550 | o2(x,o2(x,o1(x))) | true | 101511 | 101511 | -0.676 | 0 | 0.676 | 0.08991 | 0.2998 | -1 | -0.00009027 | 0.9999 | 1 | 3.55 | 0.00128 | 0.001551 | 0.0372 | -0.09599 | 1 | 0.00005012 | 0.000448 | 0.01108 | 0.001447 | 0.03804 | 1.023 | 0.2343 | 0.03149 | 0.004983 | 1 | 1 | 0.005761 | 0.06581 | 0.1542 | 0.06408 | 0.732 | 1.715 | json |
| t17_x23_u5_b106 | 17 | 23 | 5 | 106 | ![]() |
dot(R,eql(D,sgn(R))) | 117689 | 138980551 | o2(x,o2(x,o1(x))) | true | 101519 | 101519 | 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_x23_u5_b107 | 17 | 23 | 5 | 107 | ![]() |
dot(R,min(D,sgn(R))) | 117690 | 138980552 | o2(x,o2(x,o1(x))) | true | 101527 | 101527 | 0.6741 | 0.9737 | 0.6783 | 0.09689 | 0.3113 | -0.2569 | 1 | 1.257 | 1 | 3.618 | 0.001638 | 0.001954 | 0.04394 | -0.08819 | 1 | -0.00006826 | 0.0005852 | 0.01368 | 0.001661 | 0.04075 | 0.9275 | 0.2283 | 0.03707 | 0.00604 | 1 | 1 | 0.007224 | 0.07863 | 0.1667 | 0.07456 | 0.8116 | 1.72 | json |
| t17_x23_u5_b108 | 17 | 23 | 5 | 108 | ![]() |
dot(R,dot(D,sgn(R))) | 117691 | 138980553 | o2(x,o2(x,o1(x))) | true | 101535 | 101535 | -0.006324 | 0.4835 | 0.1975 | 0.0726 | 0.2694 | -1 | 1 | 2 | 1 | 4.095 | 0.00256 | 0.002643 | 0.06099 | -0.01587 | 1 | 0.0001572 | 0.0005667 | 0.01765 | 0.001483 | 0.03851 | 0.6314 | 0.2662 | 0.07166 | 0.007806 | 1 | 1 | 0.01123 | 0.1198 | 0.1453 | 0.1547 | 1.65 | 2.002 | json |
| t17_x23_u5_b109 | 17 | 23 | 5 | 109 | ![]() |
dot(R,dst(D,sgn(R))) | 117692 | 138980554 | o2(x,o2(x,o1(x))) | true | 101543 | 101543 | 0.02738 | 0.5145 | 0.7048 | 0.6114 | 0.7819 | -1 | 1 | 2 | 1 | 4.052 | 0.01247 | 0.01327 | 0.09767 | -0.03132 | 1 | 0.000003577 | 0.007626 | 0.03872 | 0.0162 | 0.1273 | 1.303 | 0.832 | 0.0421 | 0.01247 | 1 | 1 | 0.05079 | 0.4877 | 1.154 | 0.08307 | 0.7976 | 1.887 | json |
| t17_x23_u5_b110 | 17 | 23 | 5 | 110 | ![]() |
dst(R,add(D,sgn(R))) | 117693 | 138980555 | o2(x,o2(x,o1(x))) | true | 101551 | 101551 | 0.9154 | 1 | 0.9154 | 0.02051 | 0.1432 | 0.1403 | 1 | 0.8597 | 1 | 1.897 | 0.0007551 | 0.0007114 | 0.02265 | 0.0298 | 1 | -0.0001427 | 0.000433 | 0.01049 | 0.000953 | 0.03087 | 1.363 | 0.2033 | 0.07151 | 0.02112 | 1 | 1 | 0.003025 | 0.02831 | 0.04583 | 0.1475 | 1.381 | 2.235 | json |
| t17_x23_u5_b111 | 17 | 23 | 5 | 111 | ![]() |
dst(R,sub(D,sgn(R))) | 117694 | 138980556 | o2(x,o2(x,o1(x))) | true | 101559 | 101559 | 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_x23_u5_b112 | 17 | 23 | 5 | 112 | ![]() |
dst(R,mlt(D,sgn(R))) | 117695 | 138980557 | o2(x,o2(x,o1(x))) | true | 101567 | 101567 | 0.9325 | 1 | 0.9325 | 0.01606 | 0.1267 | 0.07226 | 1 | 0.9277 | 1 | 1.653 | 0.0006127 | 0.0007105 | 0.01997 | -0.07392 | 1 | -0.00007472 | 0.0004164 | 0.009793 | 0.0009249 | 0.03041 | 1.523 | 0.191 | 0.0824 | 0.02593 | 1 | 1 | 0.002233 | 0.01779 | 0.02237 | 0.1391 | 1.108 | 1.393 | json |
| t17_x23_u5_b113 | 17 | 23 | 5 | 113 | ![]() |
dst(R,div(D,sgn(R))) | 117696 | 138980558 | o2(x,o2(x,o1(x))) | true | 101575 | 101575 | 0.9325 | 1 | 0.9325 | 0.01606 | 0.1267 | 0.07226 | 1 | 0.9277 | 1 | 1.653 | 0.0006127 | 0.0007105 | 0.01997 | -0.07392 | 1 | -0.00007472 | 0.0004164 | 0.009793 | 0.0009249 | 0.03041 | 1.523 | 0.191 | 0.0824 | 0.02593 | 1 | 1 | 0.002233 | 0.01779 | 0.02237 | 0.1391 | 1.108 | 1.393 | json |
| t17_x23_u5_b114 | 17 | 23 | 5 | 114 | ![]() |
dst(R,pow(D,sgn(R))) | 117697 | 138980559 | o2(x,o2(x,o1(x))) | true | 101583 | 101583 | -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_x23_u5_b115 | 17 | 23 | 5 | 115 | ![]() |
dst(R,mod(D,sgn(R))) | 117698 | 138980560 | o2(x,o2(x,o1(x))) | true | 101591 | 101591 | 0.9181 | 1 | 0.9181 | 0.01978 | 0.1406 | 0.07175 | 1 | 0.9282 | 1 | 1.861 | 0.0006824 | 0.0007622 | 0.02203 | -0.05522 | 1 | -0.00004027 | 0.0004199 | 0.009976 | 0.000959 | 0.03097 | 1.406 | 0.1814 | 0.07303 | 0.02123 | 1 | 1 | 0.002532 | 0.02334 | 0.03425 | 0.128 | 1.18 | 1.731 | json |
| t17_x23_u5_b116 | 17 | 23 | 5 | 116 | ![]() |
dst(R,lrg(D,sgn(R))) | 117699 | 138980561 | o2(x,o2(x,o1(x))) | true | 101599 | 101599 | 0.9969 | 1 | 0.9969 | 0.001408 | 0.03752 | 0.1003 | 1 | 0.8997 | 1 | 0.1101 | 0.00007439 | 0.00007375 | 0.001187 | 0.004369 | 1 | -0.000003123 | 0.00006942 | 0.0008356 | 0.0001466 | 0.01211 | 10.2 | 0.2818 | 0.1053 | 0.04932 | 1 | 1 | 0.000128 | 0.0009899 | 0.001697 | 0.09092 | 0.7033 | 1.206 | json |



































































































