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_x21_u6_b90 | 17 | 21 | 6 | 90 | ![]() |
min(R,mlt(D,nrm(P))) | 116100 | 138899934 | o2(x,o2(x,o1(x))) | true | 88807 | 88807 | -0.2739 | 0.1269 | 0.2921 | 0.06962 | 0.2639 | -0.9989 | 0.8288 | 1.828 | 1 | 3.976 | 0.001296 | 0.0009921 | 0.04032 | 0.1329 | 1 | 0.0001931 | 0.0001929 | 0.0108 | 0.0006625 | 0.02574 | 0.6383 | 0.1725 | 0.03287 | 0.00277 | 1 | 1 | 0.004349 | 0.05129 | 0.1193 | 0.06247 | 0.7368 | 1.713 | json |
| t17_x21_u6_b91 | 17 | 21 | 6 | 91 | ![]() |
min(R,div(D,nrm(P))) | 116101 | 138899935 | o2(x,o2(x,o1(x))) | true | 88815 | 88815 | -0.3718 | 0.1518 | 0.4163 | 0.1265 | 0.3556 | -1 | 0.8289 | 1.829 | 1 | 4.313 | 0.01233 | 0.001097 | 0.06378 | 0.8366 | 1 | 0.0002887 | 0.01587 | 0.03364 | 0.009364 | 0.09677 | 1.517 | 1.829 | 0.1062 | 0.1255 | 1 | 1 | 0.01982 | 0.1152 | 0.1884 | 0.1567 | 0.9111 | 1.49 | json |
| t17_x21_u6_b92 | 17 | 21 | 6 | 92 | ![]() |
min(R,pow(D,nrm(P))) | 116102 | 138899936 | o2(x,o2(x,o1(x))) | true | 88823 | 88823 | -0.01233 | 0.4893 | 0.3772 | 0.2051 | 0.4529 | -0.9989 | 0.9805 | 1.979 | 1 | 4.835 | 0.005509 | 0.002927 | 0.06639 | 0.306 | 1 | 0.00002374 | 0.006738 | 0.0255 | 0.004029 | 0.06348 | 0.9562 | 0.8944 | 0.04114 | 0.03286 | 1 | 1 | 0.0141 | 0.1441 | 0.3538 | 0.06874 | 0.7028 | 1.725 | json |
| t17_x21_u6_b93 | 17 | 21 | 6 | 93 | ![]() |
min(R,mod(D,nrm(P))) | 116103 | 138899937 | o2(x,o2(x,o1(x))) | true | 88831 | 88831 | -0.2581 | 0.1876 | 0.3085 | 0.08421 | 0.2902 | -0.9989 | 0.8291 | 1.828 | 1 | 4.208 | 0.002618 | 0.001098 | 0.05004 | 0.4091 | 1 | 0.000002732 | 0.00221 | 0.02425 | 0.001212 | 0.03481 | 0.6956 | 0.4825 | 0.04413 | 0.02624 | 1 | 1 | 0.006315 | 0.06637 | 0.1519 | 0.075 | 0.7882 | 1.803 | json |
| t17_x21_u6_b94 | 17 | 21 | 6 | 94 | ![]() |
min(R,lrg(D,nrm(P))) | 116104 | 138899938 | o2(x,o2(x,o1(x))) | true | 88839 | 88839 | -0.1131 | 0.293 | 0.3323 | 0.1651 | 0.4063 | -0.9989 | 0.9693 | 1.968 | 1 | 4.601 | 0.0036 | 0.002172 | 0.05296 | 0.2473 | 1 | 0.00002863 | 0.003888 | 0.01986 | 0.002967 | 0.05447 | 1.029 | 0.856 | 0.03496 | 0.02355 | 1 | 1 | 0.009207 | 0.1031 | 0.2551 | 0.05576 | 0.6243 | 1.545 | json |
| t17_x21_u6_b95 | 17 | 21 | 6 | 95 | ![]() |
min(R,eql(D,nrm(P))) | 116105 | 138899939 | o2(x,o2(x,o1(x))) | true | 88847 | 88847 | -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_x21_u6_b96 | 17 | 21 | 6 | 96 | ![]() |
min(R,min(D,nrm(P))) | 116106 | 138899940 | o2(x,o2(x,o1(x))) | true | 88855 | 88855 | -0.5115 | 0.06358 | 0.5217 | 0.1009 | 0.3177 | -1 | 0.1454 | 1.145 | 1 | 4.152 | 0.000998 | 0.0006045 | 0.02979 | 0.2456 | 1 | 0.00009303 | 0.0001624 | 0.008533 | 0.0007149 | 0.02674 | 0.8975 | 0.1392 | 0.01588 | 0.001609 | 1 | 1 | 0.003042 | 0.03523 | 0.08829 | 0.03015 | 0.3492 | 0.875 | json |
| t17_x21_u6_b97 | 17 | 21 | 6 | 97 | ![]() |
min(R,dot(D,nrm(P))) | 116107 | 138899941 | o2(x,o2(x,o1(x))) | true | 88863 | 88863 | -0.2938 | 0.134 | 0.3173 | 0.07258 | 0.2694 | -0.9989 | 0.8285 | 1.827 | 1 | 4.061 | 0.001335 | 0.001456 | 0.04549 | -0.04336 | 1 | 0.0003613 | 0.0002918 | 0.01319 | 0.0007223 | 0.02688 | 0.5908 | 0.1728 | 0.03846 | 0.004021 | 1 | 1 | 0.005275 | 0.05878 | 0.1204 | 0.07269 | 0.8099 | 1.659 | json |
| t17_x21_u6_b98 | 17 | 21 | 6 | 98 | ![]() |
min(R,dst(D,nrm(P))) | 116108 | 138899942 | o2(x,o2(x,o1(x))) | true | 88871 | 88871 | -0.001158 | 0.4924 | 0.3888 | 0.2134 | 0.462 | -0.9989 | 0.9806 | 1.979 | 1 | 4.845 | 0.002799 | 0.003152 | 0.06311 | -0.05942 | 1 | 0.0000497 | 0.0003803 | 0.01472 | 0.001968 | 0.04436 | 0.7029 | 0.2301 | 0.02789 | 0.001782 | 1 | 1 | 0.01176 | 0.1504 | 0.3799 | 0.05511 | 0.7047 | 1.78 | json |
| t17_x21_u6_b99 | 17 | 21 | 6 | 99 | ![]() |
dot(R,add(D,nrm(P))) | 116109 | 138899943 | o2(x,o2(x,o1(x))) | true | 88879 | 88879 | -0.05565 | 0.4502 | 0.4199 | 0.2584 | 0.5083 | -1 | 1 | 2 | 1 | 4.892 | 0.005068 | 0.006035 | 0.07696 | -0.0871 | 1 | -0.0001677 | 0.006663 | 0.02281 | 0.005181 | 0.07198 | 0.9354 | 2.828 | 0.04297 | 0.02578 | 1 | 1 | 0.02068 | 0.2097 | 0.5242 | 0.08004 | 0.8116 | 2.029 | json |
| t17_x21_u6_b100 | 17 | 21 | 6 | 100 | ![]() |
dot(R,sub(D,nrm(P))) | 116110 | 138899944 | o2(x,o2(x,o1(x))) | true | 88887 | 88887 | 0.03319 | 0.5384 | 0.4406 | 0.2832 | 0.5322 | -1 | 1 | 2 | 1 | 4.915 | 0.005177 | 0.005857 | 0.07781 | -0.06158 | 1 | -0.0000775 | 0.005925 | 0.02271 | 0.00498 | 0.07057 | 0.907 | 2 | 0.03896 | 0.02092 | 1 | 1 | 0.02081 | 0.2235 | 0.5993 | 0.07348 | 0.7893 | 2.116 | json |
| t17_x21_u6_b101 | 17 | 21 | 6 | 101 | ![]() |
dot(R,mlt(D,nrm(P))) | 116111 | 138899945 | o2(x,o2(x,o1(x))) | true | 88895 | 88895 | -0.01586 | 0.4923 | 0.1103 | 0.03065 | 0.1751 | -1 | 0.4707 | 1.471 | 1 | 3.115 | 0.001426 | 0.001419 | 0.02989 | 0.002355 | 1 | 0.00001149 | 0.003863 | 0.01179 | 0.001952 | 0.04418 | 1.478 | 1.414 | 0.09281 | 0.126 | 1 | 1 | 0.005133 | 0.03478 | 0.08381 | 0.1674 | 1.135 | 2.734 | json |
| t17_x21_u6_b102 | 17 | 21 | 6 | 102 | ![]() |
dot(R,div(D,nrm(P))) | 116112 | 138899946 | o2(x,o2(x,o1(x))) | true | 88903 | 88903 | -0.2166 | 0.3936 | 0.4362 | 0.2829 | 0.5319 | -1 | 1 | 2 | 1 | 4.112 | 0.01097 | 0.01091 | 0.07157 | 0.002507 | 1 | -4.055e-7 | 0.03063 | 0.04542 | 0.01676 | 0.1294 | 1.809 | 1.585 | 0.07733 | 0.1083 | 1 | 1 | 0.03 | 0.1948 | 0.4831 | 0.106 | 0.6887 | 1.708 | json |
| t17_x21_u6_b103 | 17 | 21 | 6 | 103 | ![]() |
dot(R,pow(D,nrm(P))) | 116113 | 138899947 | o2(x,o2(x,o1(x))) | true | 88911 | 88911 | -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_x21_u6_b104 | 17 | 21 | 6 | 104 | ![]() |
dot(R,mod(D,nrm(P))) | 116114 | 138899948 | o2(x,o2(x,o1(x))) | true | 88919 | 88919 | -0.2298 | 0.3986 | 0.3317 | 0.2015 | 0.4489 | -1 | 0.5965 | 1.596 | 1 | 3.405 | 0.008326 | 0.008297 | 0.04951 | 0.001702 | 1 | -0.0001507 | 0.03124 | 0.05557 | 0.01417 | 0.119 | 2.405 | 1.398 | 0.0825 | 0.155 | 1 | 1 | 0.02115 | 0.09827 | 0.317 | 0.1049 | 0.4877 | 1.573 | json |
| t17_x21_u6_b105 | 17 | 21 | 6 | 105 | ![]() |
dot(R,lrg(D,nrm(P))) | 116115 | 138899949 | o2(x,o2(x,o1(x))) | true | 88927 | 88927 | 0.0489 | 0.4941 | 0.3425 | 0.2054 | 0.4532 | -1 | 1 | 2 | 1 | 4.676 | 0.006254 | 0.007359 | 0.07275 | -0.08116 | 1 | 0.00006136 | 0.01587 | 0.04809 | 0.008321 | 0.09122 | 1.254 | 0.9528 | 0.06627 | 0.07724 | 1 | 1 | 0.01935 | 0.1716 | 0.3942 | 0.09419 | 0.8355 | 1.919 | json |
| t17_x21_u6_b106 | 17 | 21 | 6 | 106 | ![]() |
dot(R,eql(D,nrm(P))) | 116116 | 138899950 | o2(x,o2(x,o1(x))) | true | 88935 | 88935 | -0.02962 | 0.4693 | 0.3744 | 0.1997 | 0.4469 | -0.9967 | 0.9893 | 1.986 | 1 | 4.818 | 0.003 | 0.00287 | 0.06261 | 0.02222 | 1 | -0.00003178 | 0.0003527 | 0.01452 | 0.001951 | 0.04417 | 0.7055 | 0.2258 | 0.02939 | 0.001766 | 1 | 1 | 0.01331 | 0.1712 | 0.4269 | 0.06664 | 0.857 | 2.137 | json |
| t17_x21_u6_b107 | 17 | 21 | 6 | 107 | ![]() |
dot(R,min(D,nrm(P))) | 116117 | 138899951 | o2(x,o2(x,o1(x))) | true | 88943 | 88943 | -0.03874 | 0.4635 | 0.2702 | 0.1238 | 0.3519 | -1 | 1 | 2 | 1 | 4.495 | 0.001876 | 0.002373 | 0.05371 | -0.1171 | 1 | -0.00009475 | 0.0003175 | 0.0137 | 0.001364 | 0.03694 | 0.6878 | 0.2437 | 0.0343 | 0.002564 | 1 | 1 | 0.008195 | 0.1012 | 0.223 | 0.06617 | 0.8168 | 1.8 | json |
| t17_x21_u6_b108 | 17 | 21 | 6 | 108 | ![]() |
dot(R,dot(D,nrm(P))) | 116118 | 138899952 | o2(x,o2(x,o1(x))) | true | 88951 | 88951 | -0.01033 | 0.4916 | 0.1664 | 0.05754 | 0.2399 | -1 | 0.8321 | 1.832 | 1 | 3.791 | 0.002082 | 0.002221 | 0.04608 | -0.03219 | 1 | -0.00004238 | 0.003304 | 0.01602 | 0.00218 | 0.04669 | 1.013 | 1.414 | 0.07479 | 0.05742 | 1 | 1 | 0.008604 | 0.0772 | 0.1397 | 0.1495 | 1.342 | 2.429 | json |
| t17_x21_u6_b109 | 17 | 21 | 6 | 109 | ![]() |
dot(R,dst(D,nrm(P))) | 116119 | 138899953 | o2(x,o2(x,o1(x))) | true | 88959 | 88959 | -0.01345 | 0.495 | 0.5647 | 0.4372 | 0.6612 | -1 | 1 | 2 | 1 | 4.662 | 0.01027 | 0.0105 | 0.08882 | -0.01129 | 1 | 0.000007976 | 0.0156 | 0.03318 | 0.01288 | 0.1135 | 1.278 | 2.828 | 0.0475 | 0.03569 | 1 | 1 | 0.04067 | 0.3711 | 0.9268 | 0.09302 | 0.8487 | 2.12 | json |
| t17_x21_u6_b110 | 17 | 21 | 6 | 110 | ![]() |
dst(R,add(D,nrm(P))) | 116120 | 138899954 | o2(x,o2(x,o1(x))) | true | 88967 | 88967 | 0.9369 | 0.9844 | 0.9682 | 0.06962 | 0.2639 | -1 | 1 | 2 | 1 | 1.01 | 0.004244 | 0.004256 | 0.01469 | -0.001475 | 1 | -0.000009178 | 0.01589 | 0.01408 | 0.008291 | 0.09106 | 6.2 | 2.036 | 0.1221 | 0.2282 | 1 | 1 | 0.01485 | 0.06612 | 0.2361 | 0.2132 | 0.9497 | 3.392 | json |
| t17_x21_u6_b111 | 17 | 21 | 6 | 111 | ![]() |
dst(R,sub(D,nrm(P))) | 116121 | 138899955 | o2(x,o2(x,o1(x))) | true | 88975 | 88975 | 0.9303 | 0.9844 | 0.9615 | 0.07135 | 0.2671 | -1 | 1 | 2 | 1 | 1.148 | 0.004365 | 0.00453 | 0.01698 | -0.01857 | 1 | -0.000128 | 0.01636 | 0.0152 | 0.008612 | 0.0928 | 5.465 | 2.828 | 0.1247 | 0.2293 | 1 | 1 | 0.01577 | 0.07243 | 0.2446 | 0.2211 | 1.015 | 3.428 | json |
| t17_x21_u6_b112 | 17 | 21 | 6 | 112 | ![]() |
dst(R,mlt(D,nrm(P))) | 116122 | 138899956 | o2(x,o2(x,o1(x))) | true | 88983 | 88983 | 0.8799 | 0.9844 | 0.9112 | 0.07702 | 0.2775 | -1 | 1 | 2 | 1 | 2.064 | 0.004143 | 0.004242 | 0.02356 | -0.01174 | 1 | -0.00006131 | 0.01525 | 0.01575 | 0.007829 | 0.08848 | 3.756 | 2.828 | 0.1089 | 0.198 | 1 | 1 | 0.01472 | 0.07183 | 0.2385 | 0.1911 | 0.9327 | 3.097 | json |
| t17_x21_u6_b113 | 17 | 21 | 6 | 113 | ![]() |
dst(R,div(D,nrm(P))) | 116123 | 138899957 | o2(x,o2(x,o1(x))) | true | 88991 | 88991 | 0.4934 | 0.7656 | 0.9622 | 0.6939 | 0.833 | -1 | 1 | 2 | 1 | 1.76 | 0.02625 | 0.0263 | 0.04287 | -0.001049 | 1 | -0.0000587 | 0.1041 | 0.06516 | 0.05075 | 0.2253 | 5.255 | 2.828 | 0.07573 | 0.15 | 1 | 1 | 0.06504 | 0.2747 | 1.09 | 0.09373 | 0.3959 | 1.571 | json |
| t17_x21_u6_b114 | 17 | 21 | 6 | 114 | ![]() |
dst(R,pow(D,nrm(P))) | 116124 | 138899958 | o2(x,o2(x,o1(x))) | true | 88999 | 88999 | -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_x21_u6_b115 | 17 | 21 | 6 | 115 | ![]() |
dst(R,mod(D,nrm(P))) | 116125 | 138899959 | o2(x,o2(x,o1(x))) | true | 89007 | 89007 | 0.4659 | 0.7656 | 0.9347 | 0.6726 | 0.8201 | -1 | 1 | 2 | 1 | 2.263 | 0.02618 | 0.02633 | 0.04556 | -0.002809 | 1 | -0.000007567 | 0.1042 | 0.06792 | 0.05047 | 0.2246 | 4.93 | 2.828 | 0.07807 | 0.1549 | 1 | 1 | 0.06493 | 0.2695 | 1.067 | 0.09653 | 0.4006 | 1.586 | json |
| t17_x21_u6_b116 | 17 | 21 | 6 | 116 | ![]() |
dst(R,lrg(D,nrm(P))) | 116126 | 138899960 | o2(x,o2(x,o1(x))) | true | 89015 | 89015 | 0.9487 | 1 | 0.9487 | 0.01321 | 0.1149 | 0.2101 | 1 | 0.7899 | 1 | 1.344 | 0.000788 | 0.0007668 | 0.01408 | 0.01359 | 1 | -0.00005031 | 0.002204 | 0.01283 | 0.001357 | 0.03683 | 2.616 | 0.5941 | 0.1177 | 0.1669 | 1 | 1 | 0.001933 | 0.01125 | 0.02193 | 0.1463 | 0.8516 | 1.66 | json |
| t17_x21_u6_b117 | 17 | 21 | 6 | 117 | ![]() |
dst(R,eql(D,nrm(P))) | 116127 | 138899961 | o2(x,o2(x,o1(x))) | true | 89023 | 89023 | 0.9684 | 1 | 0.9684 | 0.009182 | 0.09582 | 0.2103 | 1 | 0.7897 | 1 | 0.9061 | 0.0002907 | 0.0002713 | 0.007968 | 0.03453 | 1 | -0.00004516 | 0.0002037 | 0.004353 | 0.0004984 | 0.02232 | 2.802 | 0.1992 | 0.0612 | 0.02219 | 1 | 1 | 0.0009074 | 0.007818 | 0.01255 | 0.09882 | 0.8515 | 1.367 | json |
| t17_x21_u6_b118 | 17 | 21 | 6 | 118 | ![]() |
dst(R,min(D,nrm(P))) | 116128 | 138899962 | o2(x,o2(x,o1(x))) | true | 89031 | 89031 | 0.9433 | 1 | 0.9433 | 0.01513 | 0.123 | 0.1778 | 1 | 0.8222 | 1 | 1.427 | 0.0004743 | 0.0005494 | 0.015 | -0.07338 | 1 | -0.00002591 | 0.0003351 | 0.007373 | 0.000799 | 0.02827 | 1.885 | 0.2121 | 0.06767 | 0.02215 | 1 | 1 | 0.001609 | 0.01518 | 0.02714 | 0.1064 | 1.003 | 1.794 | json |
| t17_x21_u6_b119 | 17 | 21 | 6 | 119 | ![]() |
dst(R,dot(D,nrm(P))) | 116129 | 138899963 | o2(x,o2(x,o1(x))) | true | 89039 | 89039 | 0.8984 | 0.9844 | 0.9296 | 0.07481 | 0.2735 | -1 | 1 | 2 | 1 | 1.781 | 0.004508 | 0.004615 | 0.02612 | -0.01175 | 1 | -0.0001503 | 0.01594 | 0.01998 | 0.008437 | 0.09185 | 3.516 | 2.828 | 0.1219 | 0.213 | 1 | 1 | 0.01588 | 0.0758 | 0.2384 | 0.2123 | 1.013 | 3.187 | json |
| t17_x21_u6_b120 | 17 | 21 | 6 | 120 | ![]() |
dst(R,dst(D,nrm(P))) | 116130 | 138899964 | o2(x,o2(x,o1(x))) | true | 89047 | 89047 | 0.9633 | 0.9844 | 0.9946 | 0.06314 | 0.2513 | -1 | 1 | 2 | 1 | 0.3117 | 0.004203 | 0.004221 | 0.007008 | -0.002128 | 1 | 3.754e-11 | 0.01685 | 0.01054 | 0.008381 | 0.09155 | 13.06 | 2.666 | 0.1334 | 0.2668 | 1 | 1 | 0.01507 | 0.06164 | 0.2312 | 0.2387 | 0.9762 | 3.661 | json |
| t17_x22_u0_b0 | 17 | 22 | 0 | 0 | ![]() |
add(R,add(D,sqt(D))) | 116131 | 138939039 | o2(x,o2(x,o1(x))) | true | 89055 | 89055 | -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_x22_u0_b1 | 17 | 22 | 0 | 1 | ![]() |
add(R,sub(D,sqt(D))) | 116132 | 138939040 | o2(x,o2(x,o1(x))) | true | 89063 | 89063 | -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_x22_u0_b2 | 17 | 22 | 0 | 2 | ![]() |
add(R,mlt(D,sqt(D))) | 116133 | 138939041 | o2(x,o2(x,o1(x))) | true | 89071 | 89071 | -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_x22_u0_b3 | 17 | 22 | 0 | 3 | ![]() |
add(R,div(D,sqt(D))) | 116134 | 138939042 | o2(x,o2(x,o1(x))) | true | 89079 | 89079 | -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_x22_u0_b4 | 17 | 22 | 0 | 4 | ![]() |
add(R,pow(D,sqt(D))) | 116135 | 138939043 | o2(x,o2(x,o1(x))) | true | 89087 | 89087 | -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_x22_u0_b5 | 17 | 22 | 0 | 5 | ![]() |
add(R,mod(D,sqt(D))) | 116136 | 138939044 | o2(x,o2(x,o1(x))) | true | 89095 | 89095 | -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_x22_u0_b6 | 17 | 22 | 0 | 6 | ![]() |
add(R,lrg(D,sqt(D))) | 116137 | 138939045 | o2(x,o2(x,o1(x))) | true | 89103 | 89103 | 0.4375 | 0.7988 | 0.5744 | 0.2449 | 0.4949 | -0.9986 | 1 | 1.999 | 1 | 4.395 | 0.04755 | 0.0025 | 0.114 | 0.9001 | 1 | -0.000063 | 0.08465 | 0.1105 | 0.03705 | 0.1925 | 1.688 | 1.023 | 0.2044 | 0.3456 | 1 | 1 | 0.05856 | 0.2751 | 0.2764 | 0.2391 | 1.123 | 1.129 | json |
| t17_x22_u0_b7 | 17 | 22 | 0 | 7 | ![]() |
add(R,eql(D,sqt(D))) | 116138 | 138939046 | o2(x,o2(x,o1(x))) | true | 89111 | 89111 | 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_x22_u0_b8 | 17 | 22 | 0 | 8 | ![]() |
add(R,min(D,sqt(D))) | 116139 | 138939047 | o2(x,o2(x,o1(x))) | true | 89119 | 89119 | 0.009078 | 0.4986 | 0.4013 | 0.2304 | 0.48 | -1 | 1 | 2 | 1 | 4.899 | 0.004471 | 0.003165 | 0.07546 | 0.1709 | 1 | 0.00002869 | 0.0006263 | 0.01935 | 0.001942 | 0.04407 | 0.584 | 0.2845 | 0.03314 | 0.002718 | 1 | 1 | 0.01508 | 0.1746 | 0.3904 | 0.06546 | 0.7577 | 1.694 | json |
| t17_x22_u0_b9 | 17 | 22 | 0 | 9 | ![]() |
add(R,dot(D,sqt(D))) | 116140 | 138939048 | o2(x,o2(x,o1(x))) | true | 89127 | 89127 | -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_x22_u0_b10 | 17 | 22 | 0 | 10 | ![]() |
add(R,dst(D,sqt(D))) | 116141 | 138939049 | o2(x,o2(x,o1(x))) | true | 89135 | 89135 | -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_x22_u0_b11 | 17 | 22 | 0 | 11 | ![]() |
sub(R,add(D,sqt(D))) | 116142 | 138939050 | o2(x,o2(x,o1(x))) | true | 89143 | 89143 | -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_x22_u0_b12 | 17 | 22 | 0 | 12 | ![]() |
sub(R,sub(D,sqt(D))) | 116143 | 138939051 | o2(x,o2(x,o1(x))) | true | 89151 | 89151 | -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_x22_u0_b13 | 17 | 22 | 0 | 13 | ![]() |
sub(R,mlt(D,sqt(D))) | 116144 | 138939052 | o2(x,o2(x,o1(x))) | true | 89159 | 89159 | -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_x22_u0_b14 | 17 | 22 | 0 | 14 | ![]() |
sub(R,div(D,sqt(D))) | 116145 | 138939053 | o2(x,o2(x,o1(x))) | true | 89167 | 89167 | -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_x22_u0_b15 | 17 | 22 | 0 | 15 | ![]() |
sub(R,pow(D,sqt(D))) | 116146 | 138939054 | o2(x,o2(x,o1(x))) | true | 89175 | 89175 | -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_x22_u0_b16 | 17 | 22 | 0 | 16 | ![]() |
sub(R,mod(D,sqt(D))) | 116147 | 138939055 | o2(x,o2(x,o1(x))) | true | 89183 | 89183 | -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_x22_u0_b17 | 17 | 22 | 0 | 17 | ![]() |
sub(R,lrg(D,sqt(D))) | 116148 | 138939056 | o2(x,o2(x,o1(x))) | true | 89191 | 89191 | -0.4204 | 0.201 | 0.5662 | 0.2506 | 0.5006 | -1 | 0.9804 | 1.98 | 1 | 4.386 | 0.0477 | 0.002539 | 0.1158 | 0.8989 | 1 | 0.0001124 | 0.08414 | 0.1109 | 0.03684 | 0.1919 | 1.658 | 1.023 | 0.2005 | 0.3357 | 1 | 1 | 0.05898 | 0.2859 | 0.2878 | 0.2353 | 1.141 | 1.149 | json |
| t17_x22_u0_b18 | 17 | 22 | 0 | 18 | ![]() |
sub(R,eql(D,sqt(D))) | 116149 | 138939057 | o2(x,o2(x,o1(x))) | true | 89199 | 89199 | 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_x22_u0_b19 | 17 | 22 | 0 | 19 | ![]() |
sub(R,min(D,sqt(D))) | 116150 | 138939058 | o2(x,o2(x,o1(x))) | true | 89207 | 89207 | 0.009165 | 0.4978 | 0.4005 | 0.2287 | 0.4782 | -1 | 1 | 2 | 1 | 4.894 | 0.004393 | 0.003164 | 0.07461 | 0.1626 | 1 | 0.00003074 | 0.0006179 | 0.01902 | 0.001989 | 0.0446 | 0.5978 | 0.2561 | 0.03305 | 0.002702 | 1 | 1 | 0.01479 | 0.1717 | 0.3901 | 0.06468 | 0.751 | 1.706 | json |
| t17_x22_u0_b20 | 17 | 22 | 0 | 20 | ![]() |
sub(R,dot(D,sqt(D))) | 116151 | 138939059 | o2(x,o2(x,o1(x))) | true | 89215 | 89215 | -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_x22_u0_b21 | 17 | 22 | 0 | 21 | ![]() |
sub(R,dst(D,sqt(D))) | 116152 | 138939060 | o2(x,o2(x,o1(x))) | true | 89223 | 89223 | -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_x22_u0_b22 | 17 | 22 | 0 | 22 | ![]() |
mlt(R,add(D,sqt(D))) | 116153 | 138939061 | o2(x,o2(x,o1(x))) | true | 89231 | 89231 | -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_x22_u0_b23 | 17 | 22 | 0 | 23 | ![]() |
mlt(R,sub(D,sqt(D))) | 116154 | 138939062 | o2(x,o2(x,o1(x))) | true | 89239 | 89239 | -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_x22_u0_b24 | 17 | 22 | 0 | 24 | ![]() |
mlt(R,mlt(D,sqt(D))) | 116155 | 138939063 | o2(x,o2(x,o1(x))) | true | 89247 | 89247 | -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_x22_u0_b25 | 17 | 22 | 0 | 25 | ![]() |
mlt(R,div(D,sqt(D))) | 116156 | 138939064 | o2(x,o2(x,o1(x))) | true | 89255 | 89255 | -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_x22_u0_b26 | 17 | 22 | 0 | 26 | ![]() |
mlt(R,pow(D,sqt(D))) | 116157 | 138939065 | o2(x,o2(x,o1(x))) | true | 89263 | 89263 | -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_x22_u0_b27 | 17 | 22 | 0 | 27 | ![]() |
mlt(R,mod(D,sqt(D))) | 116158 | 138939066 | o2(x,o2(x,o1(x))) | true | 89271 | 89271 | -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_x22_u0_b28 | 17 | 22 | 0 | 28 | ![]() |
mlt(R,lrg(D,sqt(D))) | 116159 | 138939067 | o2(x,o2(x,o1(x))) | true | 89279 | 89279 | 0.001852 | 0.4745 | 0.2242 | 0.1077 | 0.3281 | -0.9987 | 0.9806 | 1.979 | 1 | 4.189 | 0.01779 | 0.001554 | 0.06824 | 0.8393 | 1 | 0.000004494 | 0.03338 | 0.06297 | 0.01469 | 0.1212 | 1.776 | 0.9987 | 0.1797 | 0.31 | 1 | 1 | 0.02213 | 0.123 | 0.1936 | 0.2055 | 1.143 | 1.798 | json |
| t17_x22_u0_b29 | 17 | 22 | 0 | 29 | ![]() |
mlt(R,eql(D,sqt(D))) | 116160 | 138939068 | o2(x,o2(x,o1(x))) | true | 89287 | 89287 | 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_x22_u0_b30 | 17 | 22 | 0 | 30 | ![]() |
mlt(R,min(D,sqt(D))) | 116161 | 138939069 | o2(x,o2(x,o1(x))) | true | 89295 | 89295 | 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_x22_u0_b31 | 17 | 22 | 0 | 31 | ![]() |
mlt(R,dot(D,sqt(D))) | 116162 | 138939070 | o2(x,o2(x,o1(x))) | true | 89303 | 89303 | -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_x22_u0_b32 | 17 | 22 | 0 | 32 | ![]() |
mlt(R,dst(D,sqt(D))) | 116163 | 138939071 | o2(x,o2(x,o1(x))) | true | 89311 | 89311 | -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_x22_u0_b33 | 17 | 22 | 0 | 33 | ![]() |
div(R,add(D,sqt(D))) | 116164 | 138939072 | o2(x,o2(x,o1(x))) | true | 89319 | 89319 | -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_x22_u0_b34 | 17 | 22 | 0 | 34 | ![]() |
div(R,sub(D,sqt(D))) | 116165 | 138939073 | o2(x,o2(x,o1(x))) | true | 89327 | 89327 | -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_x22_u0_b35 | 17 | 22 | 0 | 35 | ![]() |
div(R,mlt(D,sqt(D))) | 116166 | 138939074 | o2(x,o2(x,o1(x))) | true | 89335 | 89335 | -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_x22_u0_b36 | 17 | 22 | 0 | 36 | ![]() |
div(R,div(D,sqt(D))) | 116167 | 138939075 | o2(x,o2(x,o1(x))) | true | 89343 | 89343 | -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_x22_u0_b37 | 17 | 22 | 0 | 37 | ![]() |
div(R,pow(D,sqt(D))) | 116168 | 138939076 | o2(x,o2(x,o1(x))) | true | 89351 | 89351 | -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_x22_u0_b38 | 17 | 22 | 0 | 38 | ![]() |
div(R,mod(D,sqt(D))) | 116169 | 138939077 | o2(x,o2(x,o1(x))) | true | 89359 | 89359 | -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_x22_u0_b39 | 17 | 22 | 0 | 39 | ![]() |
div(R,lrg(D,sqt(D))) | 116170 | 138939078 | o2(x,o2(x,o1(x))) | true | 89367 | 89367 | -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_x22_u0_b40 | 17 | 22 | 0 | 40 | ![]() |
div(R,eql(D,sqt(D))) | 116171 | 138939079 | o2(x,o2(x,o1(x))) | true | 89375 | 89375 | -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_x22_u0_b41 | 17 | 22 | 0 | 41 | ![]() |
div(R,min(D,sqt(D))) | 116172 | 138939080 | o2(x,o2(x,o1(x))) | true | 89383 | 89383 | 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_x22_u0_b42 | 17 | 22 | 0 | 42 | ![]() |
div(R,dot(D,sqt(D))) | 116173 | 138939081 | o2(x,o2(x,o1(x))) | true | 89391 | 89391 | -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_x22_u0_b43 | 17 | 22 | 0 | 43 | ![]() |
div(R,dst(D,sqt(D))) | 116174 | 138939082 | o2(x,o2(x,o1(x))) | true | 89399 | 89399 | -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_x22_u0_b44 | 17 | 22 | 0 | 44 | ![]() |
pow(R,add(D,sqt(D))) | 116175 | 138939083 | o2(x,o2(x,o1(x))) | true | 89407 | 89407 | -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_x22_u0_b45 | 17 | 22 | 0 | 45 | ![]() |
pow(R,sub(D,sqt(D))) | 116176 | 138939084 | o2(x,o2(x,o1(x))) | true | 89415 | 89415 | -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_x22_u0_b46 | 17 | 22 | 0 | 46 | ![]() |
pow(R,mlt(D,sqt(D))) | 116177 | 138939085 | o2(x,o2(x,o1(x))) | true | 89423 | 89423 | -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_x22_u0_b47 | 17 | 22 | 0 | 47 | ![]() |
pow(R,div(D,sqt(D))) | 116178 | 138939086 | o2(x,o2(x,o1(x))) | true | 89431 | 89431 | -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_x22_u0_b48 | 17 | 22 | 0 | 48 | ![]() |
pow(R,pow(D,sqt(D))) | 116179 | 138939087 | o2(x,o2(x,o1(x))) | true | 89439 | 89439 | -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_x22_u0_b49 | 17 | 22 | 0 | 49 | ![]() |
pow(R,mod(D,sqt(D))) | 116180 | 138939088 | o2(x,o2(x,o1(x))) | true | 89447 | 89447 | -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_x22_u0_b50 | 17 | 22 | 0 | 50 | ![]() |
pow(R,lrg(D,sqt(D))) | 116181 | 138939089 | o2(x,o2(x,o1(x))) | true | 89455 | 89455 | -0.6245 | 0.2109 | 0.9537 | 0.5382 | 0.7336 | -1 | 1 | 2 | 1 | 1.416 | 0.06728 | 0.05438 | 0.07334 | 0.106 | 1 | 0.000007142 | 0.2565 | 0.1358 | 0.1163 | 0.341 | 4.649 | 2.742 | 0.2261 | 0.4765 | 1 | 1 | 0.1206 | 0.5025 | 1.159 | 0.2241 | 0.9338 | 2.153 | json |
| t17_x22_u0_b51 | 17 | 22 | 0 | 51 | ![]() |
pow(R,eql(D,sqt(D))) | 116182 | 138939090 | o2(x,o2(x,o1(x))) | true | 89463 | 89463 | 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_x22_u0_b52 | 17 | 22 | 0 | 52 | ![]() |
pow(R,min(D,sqt(D))) | 116183 | 138939091 | o2(x,o2(x,o1(x))) | true | 89471 | 89471 | -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_x22_u0_b53 | 17 | 22 | 0 | 53 | ![]() |
pow(R,dot(D,sqt(D))) | 116184 | 138939092 | o2(x,o2(x,o1(x))) | true | 89479 | 89479 | -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_x22_u0_b54 | 17 | 22 | 0 | 54 | ![]() |
pow(R,dst(D,sqt(D))) | 116185 | 138939093 | o2(x,o2(x,o1(x))) | true | 89487 | 89487 | -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_x22_u0_b55 | 17 | 22 | 0 | 55 | ![]() |
mod(R,add(D,sqt(D))) | 116186 | 138939094 | o2(x,o2(x,o1(x))) | true | 89495 | 89495 | -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_x22_u0_b56 | 17 | 22 | 0 | 56 | ![]() |
mod(R,sub(D,sqt(D))) | 116187 | 138939095 | o2(x,o2(x,o1(x))) | true | 89503 | 89503 | -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_x22_u0_b57 | 17 | 22 | 0 | 57 | ![]() |
mod(R,mlt(D,sqt(D))) | 116188 | 138939096 | o2(x,o2(x,o1(x))) | true | 89511 | 89511 | -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_x22_u0_b58 | 17 | 22 | 0 | 58 | ![]() |
mod(R,div(D,sqt(D))) | 116189 | 138939097 | o2(x,o2(x,o1(x))) | true | 89519 | 89519 | -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_x22_u0_b59 | 17 | 22 | 0 | 59 | ![]() |
mod(R,pow(D,sqt(D))) | 116190 | 138939098 | o2(x,o2(x,o1(x))) | true | 89527 | 89527 | -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_x22_u0_b60 | 17 | 22 | 0 | 60 | ![]() |
mod(R,mod(D,sqt(D))) | 116191 | 138939099 | o2(x,o2(x,o1(x))) | true | 89535 | 89535 | -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_x22_u0_b61 | 17 | 22 | 0 | 61 | ![]() |
mod(R,lrg(D,sqt(D))) | 116192 | 138939100 | o2(x,o2(x,o1(x))) | true | 89543 | 89543 | -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_x22_u0_b62 | 17 | 22 | 0 | 62 | ![]() |
mod(R,eql(D,sqt(D))) | 116193 | 138939101 | o2(x,o2(x,o1(x))) | true | 89551 | 89551 | -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_x22_u0_b63 | 17 | 22 | 0 | 63 | ![]() |
mod(R,min(D,sqt(D))) | 116194 | 138939102 | o2(x,o2(x,o1(x))) | true | 89559 | 89559 | -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_x22_u0_b64 | 17 | 22 | 0 | 64 | ![]() |
mod(R,dot(D,sqt(D))) | 116195 | 138939103 | o2(x,o2(x,o1(x))) | true | 89567 | 89567 | -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_x22_u0_b65 | 17 | 22 | 0 | 65 | ![]() |
mod(R,dst(D,sqt(D))) | 116196 | 138939104 | o2(x,o2(x,o1(x))) | true | 89575 | 89575 | -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_x22_u0_b66 | 17 | 22 | 0 | 66 | ![]() |
lrg(R,add(D,sqt(D))) | 116197 | 138939105 | o2(x,o2(x,o1(x))) | true | 89583 | 89583 | 0.5781 | 1 | 0.5781 | 0.1266 | 0.3558 | 0.000291 | 1 | 0.9997 | 1 | 3.488 | 0.05332 | 0.0005999 | 0.1212 | 0.9777 | 1 | 0.0005328 | 0.09905 | 0.1282 | 0.03921 | 0.198 | 1.633 | 0.9994 | 0.4259 | 0.7824 | 1 | 1 | 0.05898 | 0.2166 | 0.08248 | 0.4659 | 1.711 | 0.6515 | json |
| t17_x22_u0_b67 | 17 | 22 | 0 | 67 | ![]() |
lrg(R,sub(D,sqt(D))) | 116198 | 138939106 | o2(x,o2(x,o1(x))) | true | 89591 | 89591 | 0.7962 | 1 | 0.7962 | 0.09641 | 0.3105 | 0.000291 | 1 | 0.9997 | 1 | 2.538 | 0.02748 | 0.001076 | 0.06651 | 0.9247 | 1 | -0.0002374 | 0.05481 | 0.07016 | 0.02413 | 0.1553 | 2.336 | 0.9997 | 0.2962 | 0.5685 | 1 | 1 | 0.03261 | 0.1309 | 0.1322 | 0.3383 | 1.357 | 1.371 | json |
| t17_x22_u0_b68 | 17 | 22 | 0 | 68 | ![]() |
lrg(R,mlt(D,sqt(D))) | 116199 | 138939107 | o2(x,o2(x,o1(x))) | true | 89599 | 89599 | 0.7079 | 1 | 0.7079 | 0.1138 | 0.3374 | 0.000291 | 1 | 0.9997 | 1 | 3.165 | 0.03534 | 0.001089 | 0.08993 | 0.9402 | 1 | 0.00003086 | 0.06694 | 0.09283 | 0.02835 | 0.1684 | 1.872 | 0.9997 | 0.3201 | 0.5882 | 1 | 1 | 0.0409 | 0.163 | 0.143 | 0.3594 | 1.433 | 1.257 | json |



































































































