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_x10_u6_b107 | 17 | 10 | 6 | 107 | ![]() |
dot(D,min(P,nrm(D))) | 106800 | 138455540 | o2(x,o2(x,o1(x))) | true | 14407 | 14407 | 0.08829 | 0.6271 | 0.4441 | 0.2683 | 0.5179 | -1 | 1 | 2 | 1 | 4.8 | 0.01626 | 0.01626 | 0.1401 | -0.000002922 | 1 | 0.001712 | 0.007717 | 0.05614 | 0.01288 | 0.1135 | 0.8098 | 0.613 | 0.1212 | 0.02877 | 1 | 1 | 0.03951 | 0.264 | 0.03251 | 0.1473 | 0.984 | 0.1212 | json |
| t17_x10_u6_b108 | 17 | 10 | 6 | 108 | ![]() |
dot(D,dot(P,nrm(D))) | 106801 | 138455541 | o2(x,o2(x,o1(x))) | true | 14415 | 14415 | 1.511e-9 | 0.498 | 0.7611 | 0.6904 | 0.8309 | -1 | 1 | 2 | 1 | 3.584 | 0.03626 | 0.03626 | 0.1591 | -3.596e-7 | 1 | -2.429e-9 | 0.06116 | 0.1266 | 0.04723 | 0.2173 | 1.366 | 1.187 | 0.1051 | 0.0886 | 1 | 1 | 0.09879 | 0.4676 | 0.1152 | 0.1431 | 0.6774 | 0.1668 | json |
| t17_x10_u6_b109 | 17 | 10 | 6 | 109 | ![]() |
dot(D,dst(P,nrm(D))) | 106802 | 138455542 | o2(x,o2(x,o1(x))) | true | 14423 | 14423 | 2.085e-9 | 0.4978 | 0.6075 | 0.4981 | 0.7058 | -1 | 1 | 2 | 1 | 4.417 | 0.04334 | 0.04334 | 0.2268 | 1.289e-7 | 1 | -5.087e-10 | 0.04216 | 0.1168 | 0.03524 | 0.1877 | 0.8278 | 0.955 | 0.174 | 0.08464 | 1 | 1 | 0.1164 | 0.6945 | 0.04356 | 0.2337 | 1.394 | 0.08745 | json |
| t17_x10_u6_b110 | 17 | 10 | 6 | 110 | ![]() |
dst(D,add(P,nrm(D))) | 106803 | 138455543 | o2(x,o2(x,o1(x))) | true | 14431 | 14431 | 0.996 | 1 | 0.996 | 0.001563 | 0.03954 | 0.2387 | 1 | 0.7613 | 1 | 0.1411 | 0.000126 | 0.000126 | 0.001382 | 5.774e-8 | 1 | 8.26e-11 | 0.0004174 | 0.001009 | 0.0002501 | 0.01581 | 11.44 | 0.7655 | 0.1612 | 0.267 | 1 | 1 | 0.0006447 | 0.002991 | 0.005735 | 0.4124 | 1.913 | 3.669 | json |
| t17_x10_u6_b111 | 17 | 10 | 6 | 111 | ![]() |
dst(D,sub(P,nrm(D))) | 106804 | 138455544 | o2(x,o2(x,o1(x))) | true | 14439 | 14439 | 0.9993 | 1 | 0.9993 | 0.0002986 | 0.01728 | 0.3342 | 1 | 0.6658 | 1 | 0.02741 | 0.0001547 | 0.0001547 | 0.0008909 | -1.881e-7 | 1 | 3.004e-11 | 0.0006949 | 0.00121 | 0.0003083 | 0.01756 | 19.71 | 0.8879 | 1.036 | 2.327 | 1 | 1 | 0.0006987 | 0.001087 | 0.001087 | 2.34 | 3.639 | 3.639 | json |
| t17_x10_u6_b112 | 17 | 10 | 6 | 112 | ![]() |
dst(D,mlt(P,nrm(D))) | 106805 | 138455545 | o2(x,o2(x,o1(x))) | true | 14447 | 14447 | 0.9883 | 1 | 0.9883 | 0.004761 | 0.069 | 0.04419 | 1 | 0.9558 | 1 | 0.3456 | 0.0008414 | 0.0008414 | 0.007142 | -5.88e-7 | 1 | 0 | 0.002923 | 0.009204 | 0.001633 | 0.04041 | 5.658 | 0.5903 | 0.3535 | 0.6139 | 1 | 1 | 0.003425 | 0.008277 | 0.01178 | 0.7193 | 1.739 | 2.473 | json |
| t17_x10_u6_b113 | 17 | 10 | 6 | 113 | ![]() |
dst(D,div(P,nrm(D))) | 106806 | 138455546 | o2(x,o2(x,o1(x))) | true | 14455 | 14455 | 0.9979 | 1 | 0.9979 | 0.001145 | 0.03383 | 0.04419 | 1 | 0.9558 | 1 | 0.06364 | 0.00004234 | 0.00004234 | 0.0006939 | -3.007e-7 | 0 | -2.44e-11 | 0.00004763 | 0.0004441 | 0.0000842 | 0.009176 | 13.22 | 0.1894 | 0.07398 | 0.04161 | 1 | 1 | 0.0002704 | 0.002331 | 0.004166 | 0.2363 | 2.036 | 3.64 | json |
| t17_x10_u6_b114 | 17 | 10 | 6 | 114 | ![]() |
dst(D,pow(P,nrm(D))) | 106807 | 138455547 | o2(x,o2(x,o1(x))) | true | 14463 | 14463 | -0.5 | 0.25 | 1 | 0.75 | 0.866 | -1 | 1 | 2 | 1 | 0.8113 | 0.007937 | 0.007937 | 0.007937 | 0 | 1 | 0 | 0.03187 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.02116 | 0.0425 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02807 | 0.1123 | 0.4491 | json |
| t17_x10_u6_b115 | 17 | 10 | 6 | 115 | ![]() |
dst(D,mod(P,nrm(D))) | 106808 | 138455548 | o2(x,o2(x,o1(x))) | true | 14471 | 14471 | 0.5783 | 1 | 0.5783 | 0.04487 | 0.2118 | 0.02138 | 1 | 0.9786 | 1 | 3.726 | 0.03011 | 0.03011 | 0.1945 | 1.546e-7 | 1 | -0.001163 | 0.2615 | 0.3497 | 0.02238 | 0.1496 | 0.769 | 1.122 | 1.342 | 5.828 | 1 | 1 | 0.04301 | 0.09041 | 0.01219 | 0.9585 | 2.015 | 0.2716 | json |
| t17_x10_u6_b116 | 17 | 10 | 6 | 116 | ![]() |
dst(D,lrg(P,nrm(D))) | 106809 | 138455549 | o2(x,o2(x,o1(x))) | true | 14479 | 14479 | 0.8607 | 1 | 0.8607 | 0.05928 | 0.2435 | 0.04473 | 1 | 0.9553 | 1 | 2.005 | 0.001859 | 0.001859 | 0.02543 | -0.00001687 | 1 | -0.0001997 | 0.00476 | 0.01631 | 0.00307 | 0.0554 | 2.178 | 0.955 | 0.06272 | 0.08029 | 1 | 1 | 0.006009 | 0.02826 | 0.02303 | 0.1014 | 0.4767 | 0.3885 | json |
| t17_x10_u6_b117 | 17 | 10 | 6 | 117 | ![]() |
dst(D,eql(P,nrm(D))) | 106810 | 138455550 | o2(x,o2(x,o1(x))) | true | 14487 | 14487 | 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_x10_u6_b118 | 17 | 10 | 6 | 118 | ![]() |
dst(D,min(P,nrm(D))) | 106811 | 138455551 | o2(x,o2(x,o1(x))) | true | 14495 | 14495 | 0.8804 | 1 | 0.8804 | 0.04422 | 0.2103 | 0.04419 | 1 | 0.9558 | 1 | 1.762 | 0.0006747 | 0.0006747 | 0.01732 | -7.333e-7 | 1 | 0.0001576 | 0.0006626 | 0.006923 | 0.00105 | 0.0324 | 1.871 | 0.7368 | 0.03052 | 0.01499 | 1 | 1 | 0.002647 | 0.0169 | 0.0192 | 0.05987 | 0.3822 | 0.4343 | json |
| t17_x10_u6_b119 | 17 | 10 | 6 | 119 | ![]() |
dst(D,dot(P,nrm(D))) | 106812 | 138455552 | o2(x,o2(x,o1(x))) | true | 14503 | 14503 | 0.9909 | 1 | 0.9909 | 0.004756 | 0.06897 | 0.045 | 1 | 0.955 | 1 | 0.2471 | 0.006325 | 0.006325 | 0.01975 | 2.945e-7 | 1 | -0.00002939 | 0.06157 | 0.04176 | 0.01225 | 0.1107 | 5.606 | 1.35 | 2.66 | 12.95 | 1 | 1 | 0.01009 | 0.01274 | 0.012 | 2.121 | 2.678 | 2.523 | json |
| t17_x10_u6_b120 | 17 | 10 | 6 | 120 | ![]() |
dst(D,dst(P,nrm(D))) | 106813 | 138455553 | o2(x,o2(x,o1(x))) | true | 14511 | 14511 | 0.9998 | 1 | 0.9998 | 0.00007144 | 0.008452 | 0.4241 | 1 | 0.5759 | 1 | 0.00854 | 0.00006638 | 0.00006638 | 0.0003609 | 0 | 1 | -1.689e-11 | 0.0004254 | 0.0007347 | 0.0001326 | 0.01151 | 31.91 | 0.5611 | 1.858 | 5.955 | 1 | 1 | 0.0002264 | 0.0002596 | 0.0002596 | 3.169 | 3.633 | 3.633 | json |
| t17_x11_u0_b0 | 17 | 11 | 0 | 0 | ![]() |
add(D,add(P,sqt(R))) | 106814 | 138494628 | o2(x,o2(x,o1(x))) | true | 14519 | 14519 | -0.9771 | 0.01125 | 0.9946 | 0.03785 | 0.1946 | -1 | 1 | 2 | 1 | 0.1932 | 0.002575 | 0.004587 | 0.004911 | -0.2809 | 1 | 9.011e-11 | 0.01485 | 0.008671 | 0.00714 | 0.0845 | 17.21 | 2.828 | 0.1892 | 0.3923 | 1 | 1 | 0.002001 | 0.01157 | 0.03762 | 0.05285 | 0.3056 | 0.9939 | json |
| t17_x11_u0_b1 | 17 | 11 | 0 | 1 | ![]() |
add(D,sub(P,sqt(R))) | 106815 | 138494629 | o2(x,o2(x,o1(x))) | true | 14527 | 14527 | -0.9891 | 0.004395 | 0.997 | 0.01781 | 0.1334 | -1 | 1 | 2 | 1 | 0.1004 | 0.001323 | 0.002064 | 0.002316 | -0.2188 | 1 | 3.004e-11 | 0.007108 | 0.004165 | 0.003381 | 0.05815 | 25.11 | 2 | 0.1902 | 0.3992 | 1 | 1 | 0.0001202 | 0.0008526 | 0.01538 | 0.006749 | 0.04788 | 0.8639 | json |
| t17_x11_u0_b2 | 17 | 11 | 0 | 2 | ![]() |
add(D,mlt(P,sqt(R))) | 106816 | 138494630 | o2(x,o2(x,o1(x))) | true | 14535 | 14535 | -0.9842 | 0.007813 | 0.9954 | 0.02519 | 0.1587 | -1 | 1 | 2 | 1 | 0.1532 | 0.001923 | 0.003033 | 0.003475 | -0.2241 | 1 | 1.126e-11 | 0.0104 | 0.006086 | 0.004944 | 0.07032 | 20.23 | 2.687 | 0.1967 | 0.413 | 1 | 1 | 0.0005872 | 0.003888 | 0.02231 | 0.02331 | 0.1543 | 0.8857 | json |
| t17_x11_u0_b3 | 17 | 11 | 0 | 3 | ![]() |
add(D,div(P,sqt(R))) | 106817 | 138494631 | o2(x,o2(x,o1(x))) | true | 14543 | 14543 | -0.9844 | 0.007813 | 0.9966 | 0.02648 | 0.1627 | -1 | 1 | 2 | 1 | 0.1288 | 0.002052 | 0.003194 | 0.003357 | -0.2177 | 1 | 7.509e-11 | 0.01094 | 0.005842 | 0.005234 | 0.07235 | 21.55 | 2.828 | 0.1981 | 0.4131 | 1 | 1 | 0.0006504 | 0.004521 | 0.02337 | 0.02456 | 0.1708 | 0.8826 | json |
| t17_x11_u0_b4 | 17 | 11 | 0 | 4 | ![]() |
add(D,pow(P,sqt(R))) | 106818 | 138494632 | o2(x,o2(x,o1(x))) | true | 14551 | 14551 | -0.9609 | 0.02344 | 0.9922 | 0.06615 | 0.2572 | -1 | 1 | 2 | 1 | 0.2399 | 0.007809 | 0.006298 | 0.00891 | 0.1071 | 1 | 0 | 0.02992 | 0.01612 | 0.01403 | 0.1184 | 13.29 | 2.784 | 0.2133 | 0.4523 | 1 | 1 | 0.01167 | 0.04628 | 0.1321 | 0.1765 | 0.6997 | 1.997 | json |
| t17_x11_u0_b5 | 17 | 11 | 0 | 5 | ![]() |
add(D,mod(P,sqt(R))) | 106819 | 138494633 | o2(x,o2(x,o1(x))) | true | 14559 | 14559 | -0.9644 | 0.009384 | 0.9676 | 0.0308 | 0.1755 | -1 | 0.6936 | 1.694 | 1 | 0.4258 | 0.003089 | 0.003136 | 0.008212 | -0.007596 | 1 | -0.00001221 | 0.01289 | 0.0142 | 0.006155 | 0.07846 | 9.553 | 1.694 | 0.2021 | 0.4186 | 1 | 1 | 0.003848 | 0.01754 | 0.04863 | 0.1249 | 0.5694 | 1.579 | json |
| t17_x11_u0_b6 | 17 | 11 | 0 | 6 | ![]() |
add(D,lrg(P,sqt(R))) | 106820 | 138494634 | o2(x,o2(x,o1(x))) | true | 14567 | 14567 | 0.705 | 0.9241 | 0.7166 | 0.1369 | 0.3701 | -0.1454 | 1 | 1.145 | 1 | 3.229 | 0.001981 | 0.0012 | 0.04083 | 0.2456 | 1 | 0.00001592 | 0.0004585 | 0.01495 | 0.001514 | 0.03891 | 0.9528 | 0.1713 | 0.02322 | 0.003348 | 1 | 1 | 0.006213 | 0.06566 | 0.1691 | 0.04537 | 0.4795 | 1.235 | json |
| t17_x11_u0_b7 | 17 | 11 | 0 | 7 | ![]() |
add(D,eql(P,sqt(R))) | 106821 | 138494635 | o2(x,o2(x,o1(x))) | true | 14575 | 14575 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t17_x11_u0_b8 | 17 | 11 | 0 | 8 | ![]() |
add(D,min(P,sqt(R))) | 106822 | 138494636 | o2(x,o2(x,o1(x))) | true | 14583 | 14583 | -0.0275 | 0.4993 | 0.9101 | 0.874 | 0.9349 | -1 | 1 | 2 | 1 | 2.43 | 0.0009243 | 0.0006469 | 0.01607 | 0.1766 | 1 | -0.00002563 | 0.0007395 | 0.006845 | 0.001314 | 0.03624 | 2.256 | 0.3778 | 0.001798 | 0.0008462 | 1 | 1 | 0.00263 | 0.02785 | 0.2198 | 0.00301 | 0.03187 | 0.2515 | json |
| t17_x11_u0_b9 | 17 | 11 | 0 | 9 | ![]() |
add(D,dot(P,sqt(R))) | 106823 | 138494637 | o2(x,o2(x,o1(x))) | true | 14591 | 14591 | -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_x11_u0_b10 | 17 | 11 | 0 | 10 | ![]() |
add(D,dst(P,sqt(R))) | 106824 | 138494638 | o2(x,o2(x,o1(x))) | true | 14599 | 14599 | -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_x11_u0_b11 | 17 | 11 | 0 | 11 | ![]() |
sub(D,add(P,sqt(R))) | 106825 | 138494639 | o2(x,o2(x,o1(x))) | true | 14607 | 14607 | -0.9372 | 0.03246 | 0.9942 | 0.1142 | 0.338 | -1 | 1 | 2 | 1 | 0.3028 | 0.01298 | 0.01039 | 0.01316 | 0.1107 | 1 | -7.884e-11 | 0.04878 | 0.02508 | 0.02317 | 0.1522 | 11.56 | 2.828 | 0.2046 | 0.4271 | 1 | 1 | 0.02063 | 0.08716 | 0.2016 | 0.1806 | 0.763 | 1.765 | json |
| t17_x11_u0_b12 | 17 | 11 | 0 | 12 | ![]() |
sub(D,sub(P,sqt(R))) | 106826 | 138494640 | o2(x,o2(x,o1(x))) | true | 14615 | 14615 | -0.9252 | 0.0376 | 0.9971 | 0.1401 | 0.3743 | -1 | 1 | 2 | 1 | 0.2826 | 0.01509 | 0.01326 | 0.01484 | 0.06449 | 1 | -1.952e-10 | 0.05922 | 0.02922 | 0.02815 | 0.1678 | 11.31 | 2.828 | 0.2024 | 0.4228 | 1 | 1 | 0.02492 | 0.1058 | 0.2529 | 0.1779 | 0.7553 | 1.806 | json |
| t17_x11_u0_b13 | 17 | 11 | 0 | 13 | ![]() |
sub(D,mlt(P,sqt(R))) | 106827 | 138494641 | o2(x,o2(x,o1(x))) | true | 14623 | 14623 | -0.9304 | 0.03516 | 0.9952 | 0.1282 | 0.358 | -1 | 1 | 2 | 1 | 0.3063 | 0.01444 | 0.01172 | 0.01424 | 0.1041 | 1 | 2.628e-11 | 0.05465 | 0.02744 | 0.02598 | 0.1612 | 11.31 | 2.828 | 0.2041 | 0.4263 | 1 | 1 | 0.02307 | 0.09762 | 0.2338 | 0.18 | 0.7615 | 1.824 | json |
| t17_x11_u0_b14 | 17 | 11 | 0 | 14 | ![]() |
sub(D,div(P,sqt(R))) | 106828 | 138494642 | o2(x,o2(x,o1(x))) | true | 14631 | 14631 | -0.9297 | 0.03516 | 0.9964 | 0.1315 | 0.3626 | -1 | 1 | 2 | 1 | 0.2718 | 0.01495 | 0.01206 | 0.01421 | 0.1071 | 1 | -1.276e-10 | 0.05641 | 0.02766 | 0.02683 | 0.1638 | 11.53 | 2.828 | 0.2055 | 0.4291 | 1 | 1 | 0.02429 | 0.1016 | 0.2445 | 0.1848 | 0.7729 | 1.859 | json |
| t17_x11_u0_b15 | 17 | 11 | 0 | 15 | ![]() |
sub(D,pow(P,sqt(R))) | 106829 | 138494643 | o2(x,o2(x,o1(x))) | true | 14639 | 14639 | -0.9918 | 0.004883 | 0.9924 | 0.007294 | 0.08541 | -1 | 0.09672 | 1.097 | 1 | 0.1241 | 0.00123 | 0.0007124 | 0.003001 | 0.2663 | 1 | -4.416e-8 | 0.003721 | 0.004038 | 0.001932 | 0.04396 | 14.65 | 1.097 | 0.2662 | 0.51 | 1 | 1 | 0.002882 | 0.01292 | 0.02129 | 0.3951 | 1.771 | 2.919 | json |
| t17_x11_u0_b16 | 17 | 11 | 0 | 16 | ![]() |
sub(D,mod(P,sqt(R))) | 106830 | 138494644 | o2(x,o2(x,o1(x))) | true | 14647 | 14647 | -0.9496 | 0.03333 | 0.9681 | 0.05931 | 0.2435 | -1 | 0.8032 | 1.803 | 1 | 0.4293 | 0.006138 | 0.005929 | 0.01122 | 0.01726 | 1 | -0.000007872 | 0.02517 | 0.02011 | 0.01194 | 0.1093 | 9.742 | 2.169 | 0.2035 | 0.4244 | 1 | 1 | 0.01013 | 0.04242 | 0.1003 | 0.1708 | 0.7152 | 1.691 | json |
| t17_x11_u0_b17 | 17 | 11 | 0 | 17 | ![]() |
sub(D,lrg(P,sqt(R))) | 106831 | 138494645 | o2(x,o2(x,o1(x))) | true | 14655 | 14655 | -0.7039 | 0.08517 | 0.7166 | 0.1417 | 0.3765 | -1 | 0.1454 | 1.145 | 1 | 3.187 | 0.00222 | 0.001203 | 0.04158 | 0.2972 | 1 | -0.0001431 | 0.0005079 | 0.01575 | 0.001695 | 0.04117 | 0.99 | 0.1713 | 0.02416 | 0.003584 | 1 | 1 | 0.00681 | 0.0706 | 0.1712 | 0.04805 | 0.4982 | 1.208 | json |
| t17_x11_u0_b18 | 17 | 11 | 0 | 18 | ![]() |
sub(D,eql(P,sqt(R))) | 106832 | 138494646 | o2(x,o2(x,o1(x))) | true | 14663 | 14663 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t17_x11_u0_b19 | 17 | 11 | 0 | 19 | ![]() |
sub(D,min(P,sqt(R))) | 106833 | 138494647 | o2(x,o2(x,o1(x))) | true | 14671 | 14671 | 0.02698 | 0.5006 | 0.9109 | 0.8825 | 0.9394 | -1 | 1 | 2 | 1 | 2.298 | 0.001717 | 0.0006205 | 0.01914 | 0.469 | 1 | 0.00009303 | 0.0009554 | 0.01096 | 0.001971 | 0.04439 | 2.319 | 0.4254 | 0.002649 | 0.001083 | 1 | 1 | 0.004527 | 0.0396 | 0.2265 | 0.00513 | 0.04488 | 0.2567 | json |
| t17_x11_u0_b20 | 17 | 11 | 0 | 20 | ![]() |
sub(D,dot(P,sqt(R))) | 106834 | 138494648 | o2(x,o2(x,o1(x))) | true | 14679 | 14679 | -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_x11_u0_b21 | 17 | 11 | 0 | 21 | ![]() |
sub(D,dst(P,sqt(R))) | 106835 | 138494649 | o2(x,o2(x,o1(x))) | true | 14687 | 14687 | -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_x11_u0_b22 | 17 | 11 | 0 | 22 | ![]() |
mlt(D,add(P,sqt(R))) | 106836 | 138494650 | o2(x,o2(x,o1(x))) | true | 14695 | 14695 | -0.9629 | 0.01402 | 0.9738 | 0.04043 | 0.2011 | -1 | 1 | 2 | 1 | 0.4288 | 0.005611 | 0.004207 | 0.01263 | 0.1431 | 1 | 0.0002081 | 0.01837 | 0.0178 | 0.009657 | 0.09827 | 7.783 | 2.001 | 0.2428 | 0.4545 | 1 | 1 | 0.006531 | 0.02663 | 0.0586 | 0.1615 | 0.6586 | 1.449 | json |
| t17_x11_u0_b23 | 17 | 11 | 0 | 23 | ![]() |
mlt(D,sub(P,sqt(R))) | 106837 | 138494651 | o2(x,o2(x,o1(x))) | true | 14703 | 14703 | -0.9625 | 0.01646 | 0.9766 | 0.04413 | 0.2101 | -1 | 1 | 2 | 1 | 0.4163 | 0.006071 | 0.004534 | 0.01366 | 0.1449 | 1 | 0.0001918 | 0.01925 | 0.01835 | 0.01042 | 0.1021 | 7.474 | 2.001 | 0.2403 | 0.4362 | 1 | 1 | 0.00754 | 0.03243 | 0.06562 | 0.1709 | 0.7349 | 1.487 | json |
| t17_x11_u0_b24 | 17 | 11 | 0 | 24 | ![]() |
mlt(D,mlt(P,sqt(R))) | 106838 | 138494652 | o2(x,o2(x,o1(x))) | true | 14711 | 14711 | -0.9633 | 0.01448 | 0.9711 | 0.03711 | 0.1926 | -1 | 0.747 | 1.747 | 1 | 0.418 | 0.005058 | 0.003889 | 0.01159 | 0.1306 | 1 | 0.000222 | 0.01744 | 0.0173 | 0.008807 | 0.09384 | 8.097 | 1.747 | 0.2411 | 0.47 | 1 | 1 | 0.006868 | 0.0292 | 0.0643 | 0.1851 | 0.7869 | 1.733 | json |
| t17_x11_u0_b25 | 17 | 11 | 0 | 25 | ![]() |
mlt(D,div(P,sqt(R))) | 106839 | 138494653 | o2(x,o2(x,o1(x))) | true | 14719 | 14719 | -0.9609 | 0.01569 | 0.98 | 0.0516 | 0.2272 | -1 | 1 | 2 | 1 | 0.3904 | 0.007062 | 0.005066 | 0.01378 | 0.1645 | 1 | 0.0001288 | 0.02124 | 0.01934 | 0.01193 | 0.1092 | 7.927 | 2.096 | 0.235 | 0.4117 | 1 | 1 | 0.007435 | 0.02832 | 0.06458 | 0.1441 | 0.5489 | 1.252 | json |
| t17_x11_u0_b26 | 17 | 11 | 0 | 26 | ![]() |
mlt(D,pow(P,sqt(R))) | 106840 | 138494654 | o2(x,o2(x,o1(x))) | true | 14727 | 14727 | -0.9809 | 0.002609 | 0.9816 | 0.01681 | 0.1297 | -1 | 0.3576 | 1.358 | 1 | 0.2221 | 0.002841 | 0.001623 | 0.005586 | 0.2728 | 1 | 0.00008078 | 0.009344 | 0.009456 | 0.004433 | 0.06658 | 11.92 | 1.37 | 0.2656 | 0.5558 | 1 | 1 | 0.004139 | 0.01453 | 0.03835 | 0.2462 | 0.8642 | 2.281 | json |
| t17_x11_u0_b27 | 17 | 11 | 0 | 27 | ![]() |
mlt(D,mod(P,sqt(R))) | 106841 | 138494655 | o2(x,o2(x,o1(x))) | true | 14735 | 14735 | -0.9572 | 0.01707 | 0.9584 | 0.04079 | 0.202 | -1 | 0.1081 | 1.108 | 1 | 0.3232 | 0.004239 | 0.00409 | 0.008629 | 0.01789 | 1 | 0.00001274 | 0.01738 | 0.01675 | 0.008248 | 0.09082 | 10.52 | 1.439 | 0.2042 | 0.4262 | 1 | 1 | 0.006412 | 0.02759 | 0.0691 | 0.1572 | 0.6765 | 1.694 | json |
| t17_x11_u0_b28 | 17 | 11 | 0 | 28 | ![]() |
mlt(D,lrg(P,sqt(R))) | 106842 | 138494656 | o2(x,o2(x,o1(x))) | true | 14743 | 14743 | -0.005587 | 0.454 | 0.08857 | 0.01214 | 0.1102 | -0.2729 | 0.2729 | 0.5458 | 1 | 2.897 | 0.001281 | 0.00007161 | 0.03137 | 0.8941 | 1 | 0.0001007 | 0.0001916 | 0.01162 | 0.0003687 | 0.0192 | 0.6121 | 0.06407 | 0.1114 | 0.01578 | 1 | 1 | 0.002681 | 0.0217 | 0.01216 | 0.2209 | 1.788 | 1.002 | json |
| t17_x11_u0_b29 | 17 | 11 | 0 | 29 | ![]() |
mlt(D,eql(P,sqt(R))) | 106843 | 138494657 | o2(x,o2(x,o1(x))) | true | 14751 | 14751 | 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_x11_u0_b30 | 17 | 11 | 0 | 30 | ![]() |
mlt(D,min(P,sqt(R))) | 106844 | 138494658 | o2(x,o2(x,o1(x))) | true | 14759 | 14759 | -0.104 | 0.3801 | 0.3658 | 0.2151 | 0.4638 | -1 | 1 | 2 | 1 | 4.691 | 0.02547 | 0.001341 | 0.1235 | 0.9 | 1 | 0.00181 | 0.005274 | 0.04986 | 0.01157 | 0.1076 | 0.8712 | 0.4608 | 0.1247 | 0.02452 | 1 | 1 | 0.03194 | 0.2509 | 0.1119 | 0.1485 | 1.167 | 0.5201 | json |
| t17_x11_u0_b31 | 17 | 11 | 0 | 31 | ![]() |
mlt(D,dot(P,sqt(R))) | 106845 | 138494659 | o2(x,o2(x,o1(x))) | true | 14767 | 14767 | -0.9963 | 0.001862 | 0.998 | 0.004712 | 0.06865 | -1 | 0.9597 | 1.96 | 1 | 0.05541 | 0.0006683 | 0.0006187 | 0.001632 | 0.03858 | 1 | 7.133e-11 | 0.00246 | 0.002221 | 0.001283 | 0.03581 | 21.94 | 1.96 | 0.2731 | 0.522 | 1 | 1 | 0.002513 | 0.01078 | 0.01671 | 0.5333 | 2.288 | 3.545 | json |
| t17_x11_u0_b32 | 17 | 11 | 0 | 32 | ![]() |
mlt(D,dst(P,sqt(R))) | 106846 | 138494660 | o2(x,o2(x,o1(x))) | true | 14775 | 14775 | -0.9957 | 0.00206 | 0.9983 | 0.006179 | 0.07861 | -1 | 1 | 2 | 1 | 0.05436 | 0.0007419 | 0.0007982 | 0.001805 | -0.03656 | 1 | -4.881e-11 | 0.002854 | 0.002399 | 0.001535 | 0.03917 | 21.71 | 2 | 0.2493 | 0.4619 | 1 | 1 | 0.003072 | 0.01408 | 0.0218 | 0.4971 | 2.278 | 3.528 | json |
| t17_x11_u0_b33 | 17 | 11 | 0 | 33 | ![]() |
div(D,add(P,sqt(R))) | 106847 | 138494661 | o2(x,o2(x,o1(x))) | true | 14783 | 14783 | -0.9543 | 0.02522 | 0.9665 | 0.05397 | 0.2323 | -1 | 1 | 2 | 1 | 0.3456 | 0.004926 | 0.004294 | 0.009818 | 0.06859 | 1 | 0.000003666 | 0.01835 | 0.01747 | 0.009123 | 0.09551 | 9.729 | 1.739 | 0.1708 | 0.34 | 1 | 1 | 0.008978 | 0.04724 | 0.1212 | 0.1664 | 0.8754 | 2.246 | json |
| t17_x11_u0_b34 | 17 | 11 | 0 | 34 | ![]() |
div(D,sub(P,sqt(R))) | 106848 | 138494662 | o2(x,o2(x,o1(x))) | true | 14791 | 14791 | -0.9592 | 0.02255 | 0.9616 | 0.04001 | 0.2 | -1 | 0.4254 | 1.425 | 1 | 0.321 | 0.004265 | 0.003904 | 0.008746 | 0.04423 | 1 | 0.000003464 | 0.01708 | 0.01646 | 0.008099 | 0.08999 | 10.29 | 1.44 | 0.2042 | 0.4271 | 1 | 1 | 0.006367 | 0.02744 | 0.06918 | 0.1592 | 0.6859 | 1.729 | json |
| t17_x11_u0_b35 | 17 | 11 | 0 | 35 | ![]() |
div(D,mlt(P,sqt(R))) | 106849 | 138494663 | o2(x,o2(x,o1(x))) | true | 14799 | 14799 | -0.9639 | 0.02084 | 0.9667 | 0.036 | 0.1897 | -1 | 0.342 | 1.342 | 1 | 0.2939 | 0.003772 | 0.003272 | 0.007416 | 0.07099 | 1 | 0.000003869 | 0.01462 | 0.01398 | 0.006992 | 0.08362 | 11.28 | 1.478 | 0.1956 | 0.406 | 1 | 1 | 0.006335 | 0.02706 | 0.06794 | 0.176 | 0.7515 | 1.887 | json |
| t17_x11_u0_b36 | 17 | 11 | 0 | 36 | ![]() |
div(D,div(P,sqt(R))) | 106850 | 138494664 | o2(x,o2(x,o1(x))) | true | 14807 | 14807 | -0.9643 | 0.01958 | 0.9658 | 0.03499 | 0.187 | -1 | 0.2059 | 1.206 | 1 | 0.2736 | 0.003743 | 0.003139 | 0.007081 | 0.08776 | 1 | 0.000003366 | 0.01434 | 0.01376 | 0.006836 | 0.08268 | 11.68 | 1.445 | 0.1967 | 0.4099 | 1 | 1 | 0.006093 | 0.02588 | 0.06601 | 0.1742 | 0.7399 | 1.887 | json |
| t17_x11_u0_b37 | 17 | 11 | 0 | 37 | ![]() |
div(D,pow(P,sqt(R))) | 106851 | 138494665 | o2(x,o2(x,o1(x))) | true | 14815 | 14815 | -0.9919 | 0.005188 | 0.9926 | 0.008416 | 0.09174 | -1 | 0.1906 | 1.191 | 1 | 0.08212 | 0.0007076 | 0.0007424 | 0.001544 | -0.02402 | 1 | 9.056e-7 | 0.003 | 0.002867 | 0.001448 | 0.03805 | 24.64 | 1.173 | 0.1723 | 0.3564 | 1 | 1 | 0 | 0 | 0.007226 | 0 | 0 | 0.8586 | json |
| t17_x11_u0_b38 | 17 | 11 | 0 | 38 | ![]() |
div(D,mod(P,sqt(R))) | 106852 | 138494666 | o2(x,o2(x,o1(x))) | true | 14823 | 14823 | -0.9614 | 0.01886 | 0.9834 | 0.05461 | 0.2337 | -1 | 1 | 2 | 1 | 0.3527 | 0.00559 | 0.004009 | 0.01148 | 0.1647 | 1 | 0.00006104 | 0.01703 | 0.01587 | 0.009461 | 0.09727 | 8.472 | 2 | 0.1758 | 0.3118 | 1 | 1 | 0.009089 | 0.04209 | 0.09617 | 0.1664 | 0.7706 | 1.761 | json |
| t17_x11_u0_b39 | 17 | 11 | 0 | 39 | ![]() |
div(D,lrg(P,sqt(R))) | 106853 | 138494667 | o2(x,o2(x,o1(x))) | true | 14831 | 14831 | -0.5 | 0.25 | 0.5472 | 0.2554 | 0.5054 | -1 | 0.1454 | 1.145 | 1 | 2.281 | 0.007987 | 0.004075 | 0.02884 | 0.3243 | 1 | 0.0001582 | 0.02296 | 0.02913 | 0.01123 | 0.106 | 3.674 | 1.415 | 0.04723 | 0.0899 | 1 | 1 | 0.01508 | 0.06694 | 0.1727 | 0.05903 | 0.2621 | 0.6761 | json |
| t17_x11_u0_b40 | 17 | 11 | 0 | 40 | ![]() |
div(D,eql(P,sqt(R))) | 106854 | 138494668 | o2(x,o2(x,o1(x))) | true | 14839 | 14839 | -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_x11_u0_b41 | 17 | 11 | 0 | 41 | ![]() |
div(D,min(P,sqt(R))) | 106855 | 138494669 | o2(x,o2(x,o1(x))) | true | 14847 | 14847 | -0.1107 | 0.4894 | 0.2025 | 0.1367 | 0.3698 | -1 | 1 | 2 | 1 | 2.992 | 0.0105 | 0.0003415 | 0.03412 | 0.937 | 1 | 0.0001321 | 0.0167 | 0.02549 | 0.009675 | 0.09836 | 2.883 | 1.554 | 0.07928 | 0.1222 | 1 | 1 | 0.01601 | 0.08659 | 0.2265 | 0.1171 | 0.6333 | 1.657 | json |
| t17_x11_u0_b42 | 17 | 11 | 0 | 42 | ![]() |
div(D,dot(P,sqt(R))) | 106856 | 138494670 | o2(x,o2(x,o1(x))) | true | 14855 | 14855 | -0.9961 | 0.002075 | 0.9962 | 0.003933 | 0.06271 | -1 | 0.04712 | 1.047 | 1 | 0.04077 | 0.0005046 | 0.0005079 | 0.001027 | -0.003302 | 1 | -7.509e-12 | 0.00215 | 0.00203 | 0.001011 | 0.03179 | 30.96 | 1.427 | 0.2575 | 0.5467 | 1 | 1 | 0.001782 | 0.007152 | 0.01386 | 0.4533 | 1.819 | 3.523 | json |
| t17_x11_u0_b43 | 17 | 11 | 0 | 43 | ![]() |
div(D,dst(P,sqt(R))) | 106857 | 138494671 | o2(x,o2(x,o1(x))) | true | 14863 | 14863 | -0.9961 | 0.001831 | 0.9962 | 0.003872 | 0.06223 | -1 | 0.02319 | 1.023 | 1 | 0.04077 | 0.0005038 | 0.0005014 | 0.001018 | 0.002343 | 1 | -5.632e-11 | 0.002137 | 0.002021 | 0.001003 | 0.03168 | 31.12 | 1.406 | 0.2596 | 0.5518 | 1 | 1 | 0.001768 | 0.007059 | 0.01367 | 0.4566 | 1.823 | 3.53 | json |
| t17_x11_u0_b44 | 17 | 11 | 0 | 44 | ![]() |
pow(D,add(P,sqt(R))) | 106858 | 138494672 | o2(x,o2(x,o1(x))) | true | 14871 | 14871 | -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_x11_u0_b45 | 17 | 11 | 0 | 45 | ![]() |
pow(D,sub(P,sqt(R))) | 106859 | 138494673 | o2(x,o2(x,o1(x))) | true | 14879 | 14879 | -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_x11_u0_b46 | 17 | 11 | 0 | 46 | ![]() |
pow(D,mlt(P,sqt(R))) | 106860 | 138494674 | o2(x,o2(x,o1(x))) | true | 14887 | 14887 | -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.004027 | 0.06346 | 31.77 | 2.828 | 0.259 | 0.5504 | 1 | 1 | 0.0008864 | 0.006205 | 0.01418 | 0.05695 | 0.3987 | 0.9113 | json |
| t17_x11_u0_b47 | 17 | 11 | 0 | 47 | ![]() |
pow(D,div(P,sqt(R))) | 106861 | 138494675 | o2(x,o2(x,o1(x))) | true | 14895 | 14895 | -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.004027 | 0.06346 | 31.77 | 2.828 | 0.259 | 0.5504 | 1 | 1 | 0.0008864 | 0.006205 | 0.01418 | 0.05695 | 0.3987 | 0.9113 | json |
| t17_x11_u0_b48 | 17 | 11 | 0 | 48 | ![]() |
pow(D,pow(P,sqt(R))) | 106862 | 138494676 | o2(x,o2(x,o1(x))) | true | 14903 | 14903 | -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_x11_u0_b49 | 17 | 11 | 0 | 49 | ![]() |
pow(D,mod(P,sqt(R))) | 106863 | 138494677 | o2(x,o2(x,o1(x))) | true | 14911 | 14911 | -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.004027 | 0.06346 | 31.77 | 2.828 | 0.259 | 0.5504 | 1 | 1 | 0.0008864 | 0.006205 | 0.01418 | 0.05695 | 0.3987 | 0.9113 | json |
| t17_x11_u0_b50 | 17 | 11 | 0 | 50 | ![]() |
pow(D,lrg(P,sqt(R))) | 106864 | 138494678 | o2(x,o2(x,o1(x))) | true | 14919 | 14919 | -0.7695 | 0.125 | 0.9805 | 0.3801 | 0.6165 | -1 | 1 | 2 | 1 | 0.8327 | 0.03626 | 0.03464 | 0.04156 | 0.02284 | 1 | -0.00002045 | 0.1495 | 0.07627 | 0.06919 | 0.263 | 6.33 | 2.828 | 0.1866 | 0.3933 | 1 | 1 | 0.07197 | 0.3011 | 0.7315 | 0.1894 | 0.7922 | 1.925 | json |
| t17_x11_u0_b51 | 17 | 11 | 0 | 51 | ![]() |
pow(D,eql(P,sqt(R))) | 106865 | 138494679 | o2(x,o2(x,o1(x))) | true | 14927 | 14927 | 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_x11_u0_b52 | 17 | 11 | 0 | 52 | ![]() |
pow(D,min(P,sqt(R))) | 106866 | 138494680 | o2(x,o2(x,o1(x))) | true | 14935 | 14935 | -0.875 | 0.0625 | 1 | 0.2344 | 0.4841 | -1 | 1 | 2 | 1 | 0.3373 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.1354 | 0.2709 | 1 | 1 | 0.04211 | 0.1684 | 0.3368 | 0.1796 | 0.7186 | 1.437 | json |
| t17_x11_u0_b53 | 17 | 11 | 0 | 53 | ![]() |
pow(D,dot(P,sqt(R))) | 106867 | 138494681 | o2(x,o2(x,o1(x))) | true | 14943 | 14943 | -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_x11_u0_b54 | 17 | 11 | 0 | 54 | ![]() |
pow(D,dst(P,sqt(R))) | 106868 | 138494682 | o2(x,o2(x,o1(x))) | true | 14951 | 14951 | -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_x11_u0_b55 | 17 | 11 | 0 | 55 | ![]() |
mod(D,add(P,sqt(R))) | 106869 | 138494683 | o2(x,o2(x,o1(x))) | true | 14959 | 14959 | -0.9567 | 0.02242 | 0.9616 | 0.04234 | 0.2058 | -1 | 0.2668 | 1.267 | 1 | 0.3828 | 0.004305 | 0.004101 | 0.009661 | 0.02432 | 1 | -0.00001004 | 0.0175 | 0.01741 | 0.008312 | 0.09117 | 9.437 | 1.37 | 0.1985 | 0.4133 | 1 | 1 | 0.006545 | 0.02936 | 0.07473 | 0.1546 | 0.6936 | 1.765 | json |
| t17_x11_u0_b56 | 17 | 11 | 0 | 56 | ![]() |
mod(D,sub(P,sqt(R))) | 106870 | 138494684 | o2(x,o2(x,o1(x))) | true | 14967 | 14967 | -0.9566 | 0.02243 | 0.9612 | 0.04247 | 0.2061 | -1 | 0.2594 | 1.259 | 1 | 0.3735 | 0.004289 | 0.004255 | 0.009686 | 0.004002 | 1 | -0.00001004 | 0.01776 | 0.01745 | 0.00845 | 0.09192 | 9.49 | 1.37 | 0.2012 | 0.4183 | 1 | 1 | 0.00646 | 0.02797 | 0.07048 | 0.1521 | 0.6585 | 1.659 | json |
| t17_x11_u0_b57 | 17 | 11 | 0 | 57 | ![]() |
mod(D,mlt(P,sqt(R))) | 106871 | 138494685 | o2(x,o2(x,o1(x))) | true | 14975 | 14975 | -0.9648 | 0.01758 | 0.9682 | 0.03442 | 0.1855 | -1 | 0.2592 | 1.259 | 1 | 0.3125 | 0.003758 | 0.003131 | 0.007857 | 0.09098 | 1 | -0.00001004 | 0.01435 | 0.01409 | 0.006827 | 0.08262 | 10.52 | 1.37 | 0.2002 | 0.417 | 1 | 1 | 0.006012 | 0.02476 | 0.06295 | 0.1747 | 0.7193 | 1.829 | json |
| t17_x11_u0_b58 | 17 | 11 | 0 | 58 | ![]() |
mod(D,div(P,sqt(R))) | 106872 | 138494686 | o2(x,o2(x,o1(x))) | true | 14983 | 14983 | -0.9648 | 0.01758 | 0.9682 | 0.03429 | 0.1852 | -1 | 0.1454 | 1.145 | 1 | 0.3097 | 0.003752 | 0.003114 | 0.007802 | 0.09293 | 1 | -0.00001004 | 0.01431 | 0.01403 | 0.006805 | 0.08249 | 10.57 | 1.37 | 0.2002 | 0.4173 | 1 | 1 | 0.005966 | 0.0245 | 0.06246 | 0.174 | 0.7144 | 1.822 | json |
| t17_x11_u0_b59 | 17 | 11 | 0 | 59 | ![]() |
mod(D,pow(P,sqt(R))) | 106873 | 138494687 | o2(x,o2(x,o1(x))) | true | 14991 | 14991 | -0.9922 | 0.003906 | 0.9929 | 0.007836 | 0.08852 | -1 | 0.1454 | 1.145 | 1 | 0.08592 | 0.000719 | 0.0007082 | 0.001622 | 0.007597 | 1 | 0.00001004 | 0.002938 | 0.002871 | 0.001425 | 0.03775 | 23.28 | 1.145 | 0.1821 | 0.3749 | 1 | 1 | 0 | 0 | 0.006736 | 0 | 0 | 0.8596 | json |
| t17_x11_u0_b60 | 17 | 11 | 0 | 60 | ![]() |
mod(D,mod(P,sqt(R))) | 106874 | 138494688 | o2(x,o2(x,o1(x))) | true | 14999 | 14999 | -0.9646 | 0.01759 | 0.9681 | 0.03486 | 0.1867 | -1 | 0.2711 | 1.271 | 1 | 0.3211 | 0.003874 | 0.003141 | 0.008464 | 0.1045 | 1 | -0.00001406 | 0.01474 | 0.01574 | 0.006939 | 0.0833 | 9.842 | 1.37 | 0.2012 | 0.4229 | 1 | 1 | 0.005992 | 0.02445 | 0.06244 | 0.1719 | 0.7014 | 1.791 | json |
| t17_x11_u0_b61 | 17 | 11 | 0 | 61 | ![]() |
mod(D,lrg(P,sqt(R))) | 106875 | 138494689 | o2(x,o2(x,o1(x))) | true | 15007 | 15007 | -0.5 | 0.25 | 0.5472 | 0.2554 | 0.5054 | -1 | 0.1454 | 1.145 | 1 | 2.281 | 0.007987 | 0.004075 | 0.02884 | 0.3243 | 1 | 0.0001582 | 0.02296 | 0.02913 | 0.01123 | 0.106 | 3.674 | 1.415 | 0.04723 | 0.0899 | 1 | 1 | 0.01508 | 0.06694 | 0.1727 | 0.05903 | 0.2621 | 0.6761 | json |
| t17_x11_u0_b62 | 17 | 11 | 0 | 62 | ![]() |
mod(D,eql(P,sqt(R))) | 106876 | 138494690 | o2(x,o2(x,o1(x))) | true | 15015 | 15015 | -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_x11_u0_b63 | 17 | 11 | 0 | 63 | ![]() |
mod(D,min(P,sqt(R))) | 106877 | 138494691 | o2(x,o2(x,o1(x))) | true | 15023 | 15023 | -0.1251 | 0.4377 | 0.2119 | 0.1202 | 0.3467 | -1 | 0.2699 | 1.27 | 1 | 2.949 | 0.009819 | 0.00001182 | 0.04178 | 0.9976 | 1 | 0.0000165 | 0.01698 | 0.03273 | 0.008085 | 0.08992 | 2.152 | 1.031 | 0.0818 | 0.1413 | 1 | 1 | 0.0135 | 0.0617 | 0.1711 | 0.1123 | 0.5134 | 1.424 | json |
| t17_x11_u0_b64 | 17 | 11 | 0 | 64 | ![]() |
mod(D,dot(P,sqt(R))) | 106878 | 138494692 | o2(x,o2(x,o1(x))) | true | 15031 | 15031 | -0.9961 | 0.001953 | 0.9965 | 0.003923 | 0.06263 | -1 | 0.1454 | 1.145 | 1 | 0.04688 | 0.0005101 | 0.0005094 | 0.001122 | 0.0007113 | 1 | -2.628e-11 | 0.002156 | 0.002064 | 0.001017 | 0.0319 | 28.43 | 1.37 | 0.2599 | 0.5496 | 1 | 1 | 0.001803 | 0.007245 | 0.01388 | 0.4595 | 1.847 | 3.538 | json |
| t17_x11_u0_b65 | 17 | 11 | 0 | 65 | ![]() |
mod(D,dst(P,sqt(R))) | 106879 | 138494693 | o2(x,o2(x,o1(x))) | true | 15039 | 15039 | -0.9961 | 0.001953 | 0.9965 | 0.003923 | 0.06263 | -1 | 0.1454 | 1.145 | 1 | 0.04688 | 0.0005101 | 0.0005094 | 0.001122 | 0.0007113 | 1 | -2.628e-11 | 0.002156 | 0.002064 | 0.001017 | 0.0319 | 28.43 | 1.37 | 0.2599 | 0.5496 | 1 | 1 | 0.001803 | 0.007245 | 0.01388 | 0.4595 | 1.847 | 3.538 | json |
| t17_x11_u0_b66 | 17 | 11 | 0 | 66 | ![]() |
lrg(D,add(P,sqt(R))) | 106880 | 138494694 | o2(x,o2(x,o1(x))) | true | 15047 | 15047 | 0.7488 | 0.9879 | 0.7488 | 0.1284 | 0.3584 | 0 | 1 | 1 | 1 | 2.516 | 0.002622 | 0.001367 | 0.03371 | 0.3146 | 1 | 0.00003379 | 0.002955 | 0.01189 | 0.002852 | 0.05341 | 1.584 | 0.9926 | 0.03106 | 0.023 | 1 | 1 | 0.006767 | 0.0732 | 0.1838 | 0.05268 | 0.5698 | 1.431 | json |
| t17_x11_u0_b67 | 17 | 11 | 0 | 67 | ![]() |
lrg(D,sub(P,sqt(R))) | 106881 | 138494695 | o2(x,o2(x,o1(x))) | true | 15055 | 15055 | 0.7964 | 0.9914 | 0.7964 | 0.1123 | 0.3351 | 0 | 1 | 1 | 1 | 2.208 | 0.002713 | 0.001194 | 0.02895 | 0.3888 | 1 | 0.00002039 | 0.003511 | 0.01139 | 0.00307 | 0.0554 | 1.914 | 0.9994 | 0.03478 | 0.03126 | 1 | 1 | 0.006079 | 0.06145 | 0.1417 | 0.05412 | 0.5471 | 1.262 | json |
| t17_x11_u0_b68 | 17 | 11 | 0 | 68 | ![]() |
lrg(D,mlt(P,sqt(R))) | 106882 | 138494696 | o2(x,o2(x,o1(x))) | true | 15063 | 15063 | 0.7711 | 0.9906 | 0.7711 | 0.1209 | 0.3476 | 0 | 1 | 1 | 1 | 2.39 | 0.003354 | 0.001253 | 0.03232 | 0.4561 | 1 | 0.00002645 | 0.00441 | 0.01256 | 0.003562 | 0.05968 | 1.847 | 0.9997 | 0.03812 | 0.03649 | 1 | 1 | 0.008018 | 0.07242 | 0.1631 | 0.06635 | 0.5993 | 1.349 | json |
| t17_x11_u0_b69 | 17 | 11 | 0 | 69 | ![]() |
lrg(D,div(P,sqt(R))) | 106883 | 138494697 | o2(x,o2(x,o1(x))) | true | 15071 | 15071 | 0.7715 | 0.9905 | 0.7715 | 0.1217 | 0.3488 | 0 | 1 | 1 | 1 | 2.365 | 0.002836 | 0.001259 | 0.031 | 0.3851 | 1 | 0.00002709 | 0.003398 | 0.01065 | 0.003133 | 0.05598 | 1.806 | 0.9997 | 0.03365 | 0.02793 | 1 | 1 | 0.007137 | 0.06954 | 0.1615 | 0.05865 | 0.5714 | 1.327 | json |
| t17_x11_u0_b70 | 17 | 11 | 0 | 70 | ![]() |
lrg(D,pow(P,sqt(R))) | 106884 | 138494698 | o2(x,o2(x,o1(x))) | true | 15079 | 15079 | 0.748 | 0.9854 | 0.748 | 0.1342 | 0.3663 | 0 | 1 | 1 | 1 | 2.412 | 0.003035 | 0.001083 | 0.03113 | 0.4738 | 1 | 0.00001568 | 0.003404 | 0.01064 | 0.00315 | 0.05612 | 1.803 | 0.9994 | 0.03069 | 0.02537 | 1 | 1 | 0.007275 | 0.06996 | 0.1737 | 0.05421 | 0.5213 | 1.295 | json |
| t17_x11_u0_b71 | 17 | 11 | 0 | 71 | ![]() |
lrg(D,mod(P,sqt(R))) | 106885 | 138494699 | o2(x,o2(x,o1(x))) | true | 15087 | 15087 | 0.7624 | 0.9978 | 0.7624 | 0.1062 | 0.3258 | 0 | 1 | 1 | 1 | 2.77 | 0.01799 | 0.001344 | 0.06126 | 0.861 | 1 | 0.00002649 | 0.0336 | 0.05451 | 0.01558 | 0.1248 | 2.038 | 0.9997 | 0.1822 | 0.3165 | 1 | 1 | 0.02054 | 0.1109 | 0.1822 | 0.1935 | 1.045 | 1.717 | json |
| t17_x11_u0_b72 | 17 | 11 | 0 | 72 | ![]() |
lrg(D,lrg(P,sqt(R))) | 106886 | 138494700 | o2(x,o2(x,o1(x))) | true | 15095 | 15095 | 0.1436 | 0.4106 | 0.1436 | 0.08008 | 0.283 | 0 | 0.9997 | 0.9997 | 1 | 1.889 | 0.0155 | 0.0006008 | 0.03949 | 0.9253 | 1 | 0.00005776 | 0.0287 | 0.03706 | 0.01454 | 0.1206 | 3.054 | 0.9997 | 0.201 | 0.3583 | 1 | 1 | 0.0171 | 0.07838 | 0.09376 | 0.2135 | 0.9787 | 1.171 | json |
| t17_x11_u0_b73 | 17 | 11 | 0 | 73 | ![]() |
lrg(D,eql(P,sqt(R))) | 106887 | 138494701 | o2(x,o2(x,o1(x))) | true | 15103 | 15103 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t17_x11_u0_b74 | 17 | 11 | 0 | 74 | ![]() |
lrg(D,min(P,sqt(R))) | 106888 | 138494702 | o2(x,o2(x,o1(x))) | true | 15111 | 15111 | 0.5102 | 0.6627 | 0.5102 | 0.2304 | 0.48 | 0 | 1 | 1 | 1 | 1.788 | 0.006148 | 0.00006025 | 0.01796 | 0.9806 | 1 | -0.00002816 | 0.01112 | 0.01669 | 0.005888 | 0.07674 | 4.271 | 0.9994 | 0.02694 | 0.04827 | 1 | 1 | 0.007934 | 0.03591 | 0.07018 | 0.03443 | 0.1558 | 0.3046 | json |
| t17_x11_u0_b75 | 17 | 11 | 0 | 75 | ![]() |
lrg(D,dot(P,sqt(R))) | 106889 | 138494703 | o2(x,o2(x,o1(x))) | true | 15119 | 15119 | 0.887 | 0.9991 | 0.887 | 0.06656 | 0.258 | 8.471e-8 | 1 | 1 | 1 | 1.559 | 0.00117 | 0.0008191 | 0.01876 | 0.1763 | 1 | 0.000004243 | 0.001019 | 0.00578 | 0.001637 | 0.04046 | 2.157 | 0.9994 | 0.02988 | 0.01531 | 1 | 1 | 0.003937 | 0.04383 | 0.129 | 0.05915 | 0.6584 | 1.937 | json |
| t17_x11_u0_b76 | 17 | 11 | 0 | 76 | ![]() |
lrg(D,dst(P,sqt(R))) | 106890 | 138494704 | o2(x,o2(x,o1(x))) | true | 15127 | 15127 | 0.7501 | 0.9942 | 0.7501 | 0.1153 | 0.3395 | 0 | 1 | 1 | 1 | 2.753 | 0.001533 | 0.00182 | 0.03918 | -0.08573 | 1 | 0.000004276 | 0.0002245 | 0.009599 | 0.001818 | 0.04264 | 1.088 | 0.3282 | 0.02909 | 0.001947 | 1 | 1 | 0.006831 | 0.08763 | 0.2315 | 0.05926 | 0.7603 | 2.009 | json |
| t17_x11_u0_b77 | 17 | 11 | 0 | 77 | ![]() |
eql(D,add(P,sqt(R))) | 106891 | 138494705 | o2(x,o2(x,o1(x))) | true | 15135 | 15135 | 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_x11_u0_b78 | 17 | 11 | 0 | 78 | ![]() |
eql(D,sub(P,sqt(R))) | 106892 | 138494706 | o2(x,o2(x,o1(x))) | true | 15143 | 15143 | 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_x11_u0_b79 | 17 | 11 | 0 | 79 | ![]() |
eql(D,mlt(P,sqt(R))) | 106893 | 138494707 | o2(x,o2(x,o1(x))) | true | 15151 | 15151 | 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_x11_u0_b80 | 17 | 11 | 0 | 80 | ![]() |
eql(D,div(P,sqt(R))) | 106894 | 138494708 | o2(x,o2(x,o1(x))) | true | 15159 | 15159 | 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_x11_u0_b81 | 17 | 11 | 0 | 81 | ![]() |
eql(D,pow(P,sqt(R))) | 106895 | 138494709 | o2(x,o2(x,o1(x))) | true | 15167 | 15167 | 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_x11_u0_b82 | 17 | 11 | 0 | 82 | ![]() |
eql(D,mod(P,sqt(R))) | 106896 | 138494710 | o2(x,o2(x,o1(x))) | true | 15175 | 15175 | 0.0001363 | 0.0004883 | 0.0001363 | 0.00005963 | 0.007722 | 0 | 0.5583 | 0.5583 | 1 | 0.005655 | 0.0001231 | 8.735e-7 | 0.000284 | 0.9859 | 1 | 1.382e-12 | 0.0003729 | 0.0005631 | 0.0001239 | 0.01113 | 39.19 | 0.5583 | 2.079 | 6.254 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x11_u0_b83 | 17 | 11 | 0 | 83 | ![]() |
eql(D,lrg(P,sqt(R))) | 106897 | 138494711 | o2(x,o2(x,o1(x))) | true | 15183 | 15183 | 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_x11_u0_b84 | 17 | 11 | 0 | 84 | ![]() |
eql(D,eql(P,sqt(R))) | 106898 | 138494712 | o2(x,o2(x,o1(x))) | true | 15191 | 15191 | 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_x11_u0_b85 | 17 | 11 | 0 | 85 | ![]() |
eql(D,min(P,sqt(R))) | 106899 | 138494713 | o2(x,o2(x,o1(x))) | true | 15199 | 15199 | 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 |



































































































