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_x19_u0_b10 | 17 | 19 | 0 | 10 | ![]() |
add(R,dst(P,sqt(D))) | 113600 | 138817846 | o2(x,o2(x,o1(x))) | true | 68807 | 68807 | -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_x19_u0_b11 | 17 | 19 | 0 | 11 | ![]() |
sub(R,add(P,sqt(D))) | 113601 | 138817847 | o2(x,o2(x,o1(x))) | true | 68815 | 68815 | -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_x19_u0_b12 | 17 | 19 | 0 | 12 | ![]() |
sub(R,sub(P,sqt(D))) | 113602 | 138817848 | o2(x,o2(x,o1(x))) | true | 68823 | 68823 | -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_x19_u0_b13 | 17 | 19 | 0 | 13 | ![]() |
sub(R,mlt(P,sqt(D))) | 113603 | 138817849 | o2(x,o2(x,o1(x))) | true | 68831 | 68831 | -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_x19_u0_b14 | 17 | 19 | 0 | 14 | ![]() |
sub(R,div(P,sqt(D))) | 113604 | 138817850 | o2(x,o2(x,o1(x))) | true | 68839 | 68839 | -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_x19_u0_b15 | 17 | 19 | 0 | 15 | ![]() |
sub(R,pow(P,sqt(D))) | 113605 | 138817851 | o2(x,o2(x,o1(x))) | true | 68847 | 68847 | -0.9628 | 0.0119 | 0.9707 | 0.03349 | 0.183 | -1 | 0.8288 | 1.829 | 1 | 0.5299 | 0.005569 | 0.000157 | 0.00888 | 0.9452 | 1 | -0.000002615 | 0.01066 | 0.01089 | 0.005648 | 0.07515 | 8.464 | 1.829 | 0.171 | 0.3184 | 1 | 1 | 0.00831 | 0.0382 | 0.06309 | 0.2481 | 1.141 | 1.884 | json |
| t17_x19_u0_b16 | 17 | 19 | 0 | 16 | ![]() |
sub(R,mod(P,sqt(D))) | 113606 | 138817852 | o2(x,o2(x,o1(x))) | true | 68855 | 68855 | -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_x19_u0_b17 | 17 | 19 | 0 | 17 | ![]() |
sub(R,lrg(P,sqt(D))) | 113607 | 138817853 | o2(x,o2(x,o1(x))) | true | 68863 | 68863 | -0.5826 | 0.1237 | 0.6712 | 0.2172 | 0.466 | -1 | 0.9685 | 1.969 | 1 | 3.798 | 0.02642 | 0.002117 | 0.07801 | 0.8516 | 1 | 0.0001673 | 0.04555 | 0.06495 | 0.02245 | 0.1498 | 1.921 | 1.023 | 0.1314 | 0.2097 | 1 | 1 | 0.0342 | 0.184 | 0.2492 | 0.1575 | 0.847 | 1.147 | json |
| t17_x19_u0_b18 | 17 | 19 | 0 | 18 | ![]() |
sub(R,eql(P,sqt(D))) | 113608 | 138817854 | o2(x,o2(x,o1(x))) | true | 68871 | 68871 | 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_x19_u0_b19 | 17 | 19 | 0 | 19 | ![]() |
sub(R,min(P,sqt(D))) | 113609 | 138817855 | o2(x,o2(x,o1(x))) | true | 68879 | 68879 | 0.06751 | 0.5221 | 0.8891 | 0.8454 | 0.9195 | -1 | 1 | 2 | 1 | 2.548 | 0.0288 | 0.0007415 | 0.0546 | 0.9498 | 1 | -0.00001616 | 0.05437 | 0.06037 | 0.02654 | 0.1629 | 2.984 | 1.778 | 0.03494 | 0.06431 | 1 | 1 | 0.03348 | 0.1144 | 0.2781 | 0.0396 | 0.1354 | 0.3289 | json |
| t17_x19_u0_b20 | 17 | 19 | 0 | 20 | ![]() |
sub(R,dot(P,sqt(D))) | 113610 | 138817856 | o2(x,o2(x,o1(x))) | true | 68887 | 68887 | -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_x19_u0_b21 | 17 | 19 | 0 | 21 | ![]() |
sub(R,dst(P,sqt(D))) | 113611 | 138817857 | o2(x,o2(x,o1(x))) | true | 68895 | 68895 | -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_x19_u0_b22 | 17 | 19 | 0 | 22 | ![]() |
mlt(R,add(P,sqt(D))) | 113612 | 138817858 | o2(x,o2(x,o1(x))) | true | 68903 | 68903 | -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_x19_u0_b23 | 17 | 19 | 0 | 23 | ![]() |
mlt(R,sub(P,sqt(D))) | 113613 | 138817859 | o2(x,o2(x,o1(x))) | true | 68911 | 68911 | -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_x19_u0_b24 | 17 | 19 | 0 | 24 | ![]() |
mlt(R,mlt(P,sqt(D))) | 113614 | 138817860 | o2(x,o2(x,o1(x))) | true | 68919 | 68919 | -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_x19_u0_b25 | 17 | 19 | 0 | 25 | ![]() |
mlt(R,div(P,sqt(D))) | 113615 | 138817861 | o2(x,o2(x,o1(x))) | true | 68927 | 68927 | -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_x19_u0_b26 | 17 | 19 | 0 | 26 | ![]() |
mlt(R,pow(P,sqt(D))) | 113616 | 138817862 | o2(x,o2(x,o1(x))) | true | 68935 | 68935 | -0.9298 | 0.03876 | 0.9526 | 0.08048 | 0.2837 | -1 | 0.9431 | 1.943 | 1 | 0.5964 | 0.01133 | 0.0001062 | 0.01173 | 0.9814 | 1 | -0.0000087 | 0.02251 | 0.01856 | 0.0113 | 0.1063 | 9.06 | 1.943 | 0.1421 | 0.2797 | 1 | 1 | 0.01423 | 0.05929 | 0.1131 | 0.1768 | 0.7368 | 1.406 | json |
| t17_x19_u0_b27 | 17 | 19 | 0 | 27 | ![]() |
mlt(R,mod(P,sqt(D))) | 113617 | 138817863 | o2(x,o2(x,o1(x))) | true | 68943 | 68943 | -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_x19_u0_b28 | 17 | 19 | 0 | 28 | ![]() |
mlt(R,lrg(P,sqt(D))) | 113618 | 138817864 | o2(x,o2(x,o1(x))) | true | 68951 | 68951 | -0.0008791 | 0.4875 | 0.2965 | 0.1542 | 0.3927 | -0.9987 | 0.9806 | 1.979 | 1 | 4.581 | 0.01106 | 0.002212 | 0.06602 | 0.6667 | 1 | 9.112e-7 | 0.01851 | 0.04098 | 0.008914 | 0.09441 | 1.43 | 0.9985 | 0.08604 | 0.12 | 1 | 1 | 0.01684 | 0.1306 | 0.2787 | 0.1092 | 0.8465 | 1.807 | json |
| t17_x19_u0_b29 | 17 | 19 | 0 | 29 | ![]() |
mlt(R,eql(P,sqt(D))) | 113619 | 138817865 | o2(x,o2(x,o1(x))) | true | 68959 | 68959 | 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_x19_u0_b30 | 17 | 19 | 0 | 30 | ![]() |
mlt(R,min(P,sqt(D))) | 113620 | 138817866 | o2(x,o2(x,o1(x))) | true | 68967 | 68967 | -0.05293 | 0.4686 | 0.6335 | 0.5445 | 0.7379 | -1 | 1 | 2 | 1 | 4.099 | 0.02811 | 0.0163 | 0.1068 | 0.2659 | 1 | -0.00004096 | 0.05041 | 0.08424 | 0.03299 | 0.1816 | 1.701 | 1.665 | 0.08156 | 0.09259 | 1 | 1 | 0.05584 | 0.4082 | 0.8587 | 0.1026 | 0.7497 | 1.577 | json |
| t17_x19_u0_b31 | 17 | 19 | 0 | 31 | ![]() |
mlt(R,dot(P,sqt(D))) | 113621 | 138817867 | o2(x,o2(x,o1(x))) | true | 68975 | 68975 | -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_x19_u0_b32 | 17 | 19 | 0 | 32 | ![]() |
mlt(R,dst(P,sqt(D))) | 113622 | 138817868 | o2(x,o2(x,o1(x))) | true | 68983 | 68983 | -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_x19_u0_b33 | 17 | 19 | 0 | 33 | ![]() |
div(R,add(P,sqt(D))) | 113623 | 138817869 | o2(x,o2(x,o1(x))) | true | 68991 | 68991 | -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_x19_u0_b34 | 17 | 19 | 0 | 34 | ![]() |
div(R,sub(P,sqt(D))) | 113624 | 138817870 | o2(x,o2(x,o1(x))) | true | 68999 | 68999 | -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_x19_u0_b35 | 17 | 19 | 0 | 35 | ![]() |
div(R,mlt(P,sqt(D))) | 113625 | 138817871 | o2(x,o2(x,o1(x))) | true | 69007 | 69007 | -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_x19_u0_b36 | 17 | 19 | 0 | 36 | ![]() |
div(R,div(P,sqt(D))) | 113626 | 138817872 | o2(x,o2(x,o1(x))) | true | 69015 | 69015 | -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_x19_u0_b37 | 17 | 19 | 0 | 37 | ![]() |
div(R,pow(P,sqt(D))) | 113627 | 138817873 | o2(x,o2(x,o1(x))) | true | 69023 | 69023 | -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_x19_u0_b38 | 17 | 19 | 0 | 38 | ![]() |
div(R,mod(P,sqt(D))) | 113628 | 138817874 | o2(x,o2(x,o1(x))) | true | 69031 | 69031 | -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_x19_u0_b39 | 17 | 19 | 0 | 39 | ![]() |
div(R,lrg(P,sqt(D))) | 113629 | 138817875 | o2(x,o2(x,o1(x))) | true | 69039 | 69039 | -0.5736 | 0.1995 | 0.7298 | 0.325 | 0.57 | -1 | 0.9806 | 1.981 | 1 | 3.079 | 0.008479 | 0.001297 | 0.03255 | 0.7347 | 1 | 0.00001063 | 0.01473 | 0.01637 | 0.008716 | 0.09336 | 2.868 | 1.943 | 0.03008 | 0.04532 | 1 | 1 | 0.01323 | 0.09166 | 0.2549 | 0.04071 | 0.2821 | 0.7843 | json |
| t17_x19_u0_b40 | 17 | 19 | 0 | 40 | ![]() |
div(R,eql(P,sqt(D))) | 113630 | 138817876 | o2(x,o2(x,o1(x))) | true | 69047 | 69047 | -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_x19_u0_b41 | 17 | 19 | 0 | 41 | ![]() |
div(R,min(P,sqt(D))) | 113631 | 138817877 | o2(x,o2(x,o1(x))) | true | 69055 | 69055 | -0.1401 | 0.4025 | 0.3518 | 0.2443 | 0.4942 | -1 | 1 | 2 | 1 | 4.003 | 0.0324 | 0.003218 | 0.06921 | 0.8193 | 1 | 5.915e-8 | 0.06599 | 0.06889 | 0.03083 | 0.1756 | 2.537 | 2 | 0.1458 | 0.2701 | 1 | 1 | 0.04259 | 0.2109 | 0.4289 | 0.1743 | 0.8634 | 1.756 | json |
| t17_x19_u0_b42 | 17 | 19 | 0 | 42 | ![]() |
div(R,dot(P,sqt(D))) | 113632 | 138817878 | o2(x,o2(x,o1(x))) | true | 69063 | 69063 | -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_x19_u0_b43 | 17 | 19 | 0 | 43 | ![]() |
div(R,dst(P,sqt(D))) | 113633 | 138817879 | o2(x,o2(x,o1(x))) | true | 69071 | 69071 | -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_x19_u0_b44 | 17 | 19 | 0 | 44 | ![]() |
pow(R,add(P,sqt(D))) | 113634 | 138817880 | o2(x,o2(x,o1(x))) | true | 69079 | 69079 | -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_x19_u0_b45 | 17 | 19 | 0 | 45 | ![]() |
pow(R,sub(P,sqt(D))) | 113635 | 138817881 | o2(x,o2(x,o1(x))) | true | 69087 | 69087 | -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_x19_u0_b46 | 17 | 19 | 0 | 46 | ![]() |
pow(R,mlt(P,sqt(D))) | 113636 | 138817882 | o2(x,o2(x,o1(x))) | true | 69095 | 69095 | -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_x19_u0_b47 | 17 | 19 | 0 | 47 | ![]() |
pow(R,div(P,sqt(D))) | 113637 | 138817883 | o2(x,o2(x,o1(x))) | true | 69103 | 69103 | -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_x19_u0_b48 | 17 | 19 | 0 | 48 | ![]() |
pow(R,pow(P,sqt(D))) | 113638 | 138817884 | o2(x,o2(x,o1(x))) | true | 69111 | 69111 | -0.9639 | 0.01953 | 0.997 | 0.0659 | 0.2567 | -1 | 1 | 2 | 1 | 0.1913 | 0.008718 | 0.005257 | 0.007886 | 0.2476 | 1 | 3.754e-12 | 0.02923 | 0.01503 | 0.01391 | 0.1179 | 14.96 | 2.698 | 0.2121 | 0.4436 | 1 | 1 | 0.01259 | 0.053 | 0.1313 | 0.191 | 0.8042 | 1.992 | json |
| t17_x19_u0_b49 | 17 | 19 | 0 | 49 | ![]() |
pow(R,mod(P,sqt(D))) | 113639 | 138817885 | o2(x,o2(x,o1(x))) | true | 69119 | 69119 | -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_x19_u0_b50 | 17 | 19 | 0 | 50 | ![]() |
pow(R,lrg(P,sqt(D))) | 113640 | 138817886 | o2(x,o2(x,o1(x))) | true | 69127 | 69127 | -0.7386 | 0.1484 | 0.9645 | 0.4003 | 0.6327 | -1 | 1 | 2 | 1 | 1.093 | 0.04345 | 0.03651 | 0.04967 | 0.08683 | 1 | 0.00001791 | 0.1683 | 0.09115 | 0.07748 | 0.2783 | 5.604 | 2.742 | 0.1997 | 0.4205 | 1 | 1 | 0.07801 | 0.321 | 0.746 | 0.1949 | 0.8019 | 1.863 | json |
| t17_x19_u0_b51 | 17 | 19 | 0 | 51 | ![]() |
pow(R,eql(P,sqt(D))) | 113641 | 138817887 | o2(x,o2(x,o1(x))) | true | 69135 | 69135 | 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_x19_u0_b52 | 17 | 19 | 0 | 52 | ![]() |
pow(R,min(P,sqt(D))) | 113642 | 138817888 | o2(x,o2(x,o1(x))) | true | 69143 | 69143 | -0.8566 | 0.07422 | 0.995 | 0.2583 | 0.5083 | -1 | 1 | 2 | 1 | 0.489 | 0.02343 | 0.02288 | 0.02431 | 0.01186 | 1 | -4.384e-7 | 0.09673 | 0.04781 | 0.0457 | 0.2138 | 8.794 | 2.828 | 0.1793 | 0.3744 | 1 | 1 | 0.04423 | 0.1854 | 0.6138 | 0.1712 | 0.7175 | 2.376 | json |
| t17_x19_u0_b53 | 17 | 19 | 0 | 53 | ![]() |
pow(R,dot(P,sqt(D))) | 113643 | 138817889 | o2(x,o2(x,o1(x))) | true | 69151 | 69151 | -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_x19_u0_b54 | 17 | 19 | 0 | 54 | ![]() |
pow(R,dst(P,sqt(D))) | 113644 | 138817890 | o2(x,o2(x,o1(x))) | true | 69159 | 69159 | -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_x19_u0_b55 | 17 | 19 | 0 | 55 | ![]() |
mod(R,add(P,sqt(D))) | 113645 | 138817891 | o2(x,o2(x,o1(x))) | true | 69167 | 69167 | -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_x19_u0_b56 | 17 | 19 | 0 | 56 | ![]() |
mod(R,sub(P,sqt(D))) | 113646 | 138817892 | o2(x,o2(x,o1(x))) | true | 69175 | 69175 | -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_x19_u0_b57 | 17 | 19 | 0 | 57 | ![]() |
mod(R,mlt(P,sqt(D))) | 113647 | 138817893 | o2(x,o2(x,o1(x))) | true | 69183 | 69183 | -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_x19_u0_b58 | 17 | 19 | 0 | 58 | ![]() |
mod(R,div(P,sqt(D))) | 113648 | 138817894 | o2(x,o2(x,o1(x))) | true | 69191 | 69191 | -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_x19_u0_b59 | 17 | 19 | 0 | 59 | ![]() |
mod(R,pow(P,sqt(D))) | 113649 | 138817895 | o2(x,o2(x,o1(x))) | true | 69199 | 69199 | -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_x19_u0_b60 | 17 | 19 | 0 | 60 | ![]() |
mod(R,mod(P,sqt(D))) | 113650 | 138817896 | o2(x,o2(x,o1(x))) | true | 69207 | 69207 | -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_x19_u0_b61 | 17 | 19 | 0 | 61 | ![]() |
mod(R,lrg(P,sqt(D))) | 113651 | 138817897 | o2(x,o2(x,o1(x))) | true | 69215 | 69215 | -0.5736 | 0.1995 | 0.7298 | 0.325 | 0.57 | -1 | 0.9806 | 1.981 | 1 | 3.079 | 0.008479 | 0.001297 | 0.03255 | 0.7347 | 1 | 0.00001063 | 0.01473 | 0.01637 | 0.008716 | 0.09336 | 2.868 | 1.943 | 0.03008 | 0.04532 | 1 | 1 | 0.01323 | 0.09166 | 0.2549 | 0.04071 | 0.2821 | 0.7843 | json |
| t17_x19_u0_b62 | 17 | 19 | 0 | 62 | ![]() |
mod(R,eql(P,sqt(D))) | 113652 | 138817898 | o2(x,o2(x,o1(x))) | true | 69223 | 69223 | -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_x19_u0_b63 | 17 | 19 | 0 | 63 | ![]() |
mod(R,min(P,sqt(D))) | 113653 | 138817899 | o2(x,o2(x,o1(x))) | true | 69231 | 69231 | -0.1218 | 0.4286 | 0.4179 | 0.2624 | 0.5122 | -1 | 0.9805 | 1.981 | 1 | 4.661 | 0.01981 | 0.002248 | 0.07596 | 0.7962 | 1 | 0.0000419 | 0.03913 | 0.06782 | 0.01629 | 0.1276 | 1.68 | 1.898 | 0.08405 | 0.1491 | 1 | 1 | 0.02735 | 0.1595 | 0.4293 | 0.1042 | 0.608 | 1.636 | json |
| t17_x19_u0_b64 | 17 | 19 | 0 | 64 | ![]() |
mod(R,dot(P,sqt(D))) | 113654 | 138817900 | o2(x,o2(x,o1(x))) | true | 69239 | 69239 | -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_x19_u0_b65 | 17 | 19 | 0 | 65 | ![]() |
mod(R,dst(P,sqt(D))) | 113655 | 138817901 | o2(x,o2(x,o1(x))) | true | 69247 | 69247 | -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_x19_u0_b66 | 17 | 19 | 0 | 66 | ![]() |
lrg(R,add(P,sqt(D))) | 113656 | 138817902 | o2(x,o2(x,o1(x))) | true | 69255 | 69255 | 0.7518 | 1 | 0.7518 | 0.1297 | 0.3601 | 0.000291 | 1 | 0.9997 | 1 | 2.404 | 0.03409 | 0.00008514 | 0.06507 | 0.995 | 1 | 0.00008484 | 0.06374 | 0.07215 | 0.02996 | 0.1731 | 2.66 | 0.9997 | 0.2636 | 0.4916 | 1 | 1 | 0.03842 | 0.1323 | 0.04057 | 0.2964 | 1.02 | 0.3129 | json |
| t17_x19_u0_b67 | 17 | 19 | 0 | 67 | ![]() |
lrg(R,sub(P,sqt(D))) | 113657 | 138817903 | o2(x,o2(x,o1(x))) | true | 69263 | 69263 | 0.7828 | 1 | 0.7828 | 0.1223 | 0.3497 | 0.000291 | 1 | 0.9997 | 1 | 2.162 | 0.03309 | 0.0001287 | 0.05949 | 0.9923 | 1 | 0.00008386 | 0.06326 | 0.06997 | 0.02968 | 0.1723 | 2.896 | 0.9997 | 0.2716 | 0.5173 | 1 | 1 | 0.03732 | 0.1248 | 0.04127 | 0.3052 | 1.021 | 0.3375 | json |
| t17_x19_u0_b68 | 17 | 19 | 0 | 68 | ![]() |
lrg(R,mlt(P,sqt(D))) | 113658 | 138817904 | o2(x,o2(x,o1(x))) | true | 69271 | 69271 | 0.7707 | 1 | 0.7707 | 0.1222 | 0.3495 | 0.000291 | 1 | 0.9997 | 1 | 2.33 | 0.03556 | 0.0002639 | 0.06711 | 0.9853 | 1 | 0.00007934 | 0.06941 | 0.07899 | 0.03133 | 0.177 | 2.638 | 0.9997 | 0.2933 | 0.5682 | 1 | 1 | 0.03949 | 0.1322 | 0.05804 | 0.3232 | 1.082 | 0.4751 | json |
| t17_x19_u0_b69 | 17 | 19 | 0 | 69 | ![]() |
lrg(R,div(P,sqt(D))) | 113659 | 138817905 | o2(x,o2(x,o1(x))) | true | 69279 | 69279 | 0.7637 | 1 | 0.7637 | 0.1283 | 0.3582 | 0.000291 | 1 | 0.9997 | 1 | 2.277 | 0.03244 | 0.00005267 | 0.0604 | 0.9968 | 1 | 0.00008699 | 0.06047 | 0.06697 | 0.02885 | 0.1699 | 2.812 | 0.9997 | 0.2533 | 0.4714 | 1 | 1 | 0.03637 | 0.1279 | 0.04032 | 0.2835 | 0.9974 | 0.3144 | json |
| t17_x19_u0_b70 | 17 | 19 | 0 | 70 | ![]() |
lrg(R,pow(P,sqt(D))) | 113660 | 138817906 | o2(x,o2(x,o1(x))) | true | 69287 | 69287 | 0.7324 | 0.9753 | 0.7324 | 0.1447 | 0.3804 | 0 | 1 | 1 | 1 | 2.336 | 0.02843 | 0.00005267 | 0.05599 | 0.9963 | 1 | 0.00008699 | 0.05243 | 0.05892 | 0.02536 | 0.1592 | 2.844 | 1 | 0.1969 | 0.3623 | 1 | 1 | 0.03111 | 0.1193 | 0.07408 | 0.215 | 0.8245 | 0.512 | json |
| t17_x19_u0_b71 | 17 | 19 | 0 | 71 | ![]() |
lrg(R,mod(P,sqt(D))) | 113661 | 138817907 | o2(x,o2(x,o1(x))) | true | 69295 | 69295 | 0.7535 | 1 | 0.7535 | 0.1151 | 0.3392 | 0.000291 | 1 | 0.9997 | 1 | 2.723 | 0.05071 | 0.0009704 | 0.1012 | 0.9624 | 1 | 0.00003944 | 0.1198 | 0.1407 | 0.04144 | 0.2036 | 2.011 | 0.9997 | 0.4492 | 1.041 | 1 | 1 | 0.04407 | 0.1548 | 0.1359 | 0.383 | 1.345 | 1.181 | json |
| t17_x19_u0_b72 | 17 | 19 | 0 | 72 | ![]() |
lrg(R,lrg(P,sqt(D))) | 113662 | 138817908 | o2(x,o2(x,o1(x))) | true | 69303 | 69303 | 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_x19_u0_b73 | 17 | 19 | 0 | 73 | ![]() |
lrg(R,eql(P,sqt(D))) | 113663 | 138817909 | o2(x,o2(x,o1(x))) | true | 69311 | 69311 | 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_x19_u0_b74 | 17 | 19 | 0 | 74 | ![]() |
lrg(R,min(P,sqt(D))) | 113664 | 138817910 | o2(x,o2(x,o1(x))) | true | 69319 | 69319 | 0.5515 | 0.664 | 0.5515 | 0.2239 | 0.4732 | 0 | 1 | 1 | 1 | 1.902 | 0.01456 | 0.0004634 | 0.0299 | 0.9383 | 1 | -0.000006156 | 0.02983 | 0.0374 | 0.01414 | 0.1189 | 3.977 | 0.9997 | 0.06711 | 0.1332 | 1 | 1 | 0.01677 | 0.06413 | 0.1349 | 0.07491 | 0.2864 | 0.6023 | json |
| t17_x19_u0_b75 | 17 | 19 | 0 | 75 | ![]() |
lrg(R,dot(P,sqt(D))) | 113665 | 138817911 | o2(x,o2(x,o1(x))) | true | 69327 | 69327 | 0.8867 | 1 | 0.8867 | 0.05693 | 0.2386 | 0.000582 | 1 | 0.9994 | 1 | 1.786 | 0.01654 | 0.01644 | 0.06281 | 0.003149 | 1 | -0.0001311 | 0.08237 | 0.08589 | 0.02904 | 0.1704 | 2.713 | 1.383 | 0.5794 | 1.447 | 1 | 1 | 0.03332 | 0.1009 | 0.02466 | 0.5853 | 1.773 | 0.4333 | json |
| t17_x19_u0_b76 | 17 | 19 | 0 | 76 | ![]() |
lrg(R,dst(P,sqt(D))) | 113666 | 138817912 | o2(x,o2(x,o1(x))) | true | 69335 | 69335 | 0.7508 | 1 | 0.7508 | 0.09085 | 0.3014 | 0.000582 | 1 | 0.9994 | 1 | 3.111 | 0.02533 | 0.02533 | 0.1106 | -7.354e-8 | 1 | -7.993e-9 | 0.1026 | 0.1303 | 0.03843 | 0.196 | 1.773 | 0.9991 | 0.5576 | 1.129 | 1 | 1 | 0.055 | 0.1881 | 0.001979 | 0.6054 | 2.071 | 0.02178 | json |
| t17_x19_u0_b77 | 17 | 19 | 0 | 77 | ![]() |
eql(R,add(P,sqt(D))) | 113667 | 138817913 | o2(x,o2(x,o1(x))) | true | 69343 | 69343 | 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_x19_u0_b78 | 17 | 19 | 0 | 78 | ![]() |
eql(R,sub(P,sqt(D))) | 113668 | 138817914 | o2(x,o2(x,o1(x))) | true | 69351 | 69351 | 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_x19_u0_b79 | 17 | 19 | 0 | 79 | ![]() |
eql(R,mlt(P,sqt(D))) | 113669 | 138817915 | o2(x,o2(x,o1(x))) | true | 69359 | 69359 | 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_x19_u0_b80 | 17 | 19 | 0 | 80 | ![]() |
eql(R,div(P,sqt(D))) | 113670 | 138817916 | o2(x,o2(x,o1(x))) | true | 69367 | 69367 | 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_x19_u0_b81 | 17 | 19 | 0 | 81 | ![]() |
eql(R,pow(P,sqt(D))) | 113671 | 138817917 | o2(x,o2(x,o1(x))) | true | 69375 | 69375 | 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_x19_u0_b82 | 17 | 19 | 0 | 82 | ![]() |
eql(R,mod(P,sqt(D))) | 113672 | 138817918 | o2(x,o2(x,o1(x))) | true | 69383 | 69383 | 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_x19_u0_b83 | 17 | 19 | 0 | 83 | ![]() |
eql(R,lrg(P,sqt(D))) | 113673 | 138817919 | o2(x,o2(x,o1(x))) | true | 69391 | 69391 | 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_x19_u0_b84 | 17 | 19 | 0 | 84 | ![]() |
eql(R,eql(P,sqt(D))) | 113674 | 138817920 | o2(x,o2(x,o1(x))) | true | 69399 | 69399 | 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_x19_u0_b85 | 17 | 19 | 0 | 85 | ![]() |
eql(R,min(P,sqt(D))) | 113675 | 138817921 | o2(x,o2(x,o1(x))) | true | 69407 | 69407 | 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_x19_u0_b86 | 17 | 19 | 0 | 86 | ![]() |
eql(R,dot(P,sqt(D))) | 113676 | 138817922 | o2(x,o2(x,o1(x))) | true | 69415 | 69415 | 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_x19_u0_b87 | 17 | 19 | 0 | 87 | ![]() |
eql(R,dst(P,sqt(D))) | 113677 | 138817923 | o2(x,o2(x,o1(x))) | true | 69423 | 69423 | 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_x19_u0_b88 | 17 | 19 | 0 | 88 | ![]() |
min(R,add(P,sqt(D))) | 113678 | 138817924 | o2(x,o2(x,o1(x))) | true | 69431 | 69431 | -0.3369 | 0.3035 | 0.5724 | 0.3309 | 0.5752 | -1 | 0.9806 | 1.981 | 1 | 4.331 | 0.04565 | 0.002133 | 0.09553 | 0.9107 | 1 | 2.109e-7 | 0.07843 | 0.08424 | 0.03866 | 0.1966 | 2.058 | 1.968 | 0.1444 | 0.237 | 1 | 1 | 0.0507 | 0.2258 | 0.3163 | 0.1532 | 0.6825 | 0.9559 | json |
| t17_x19_u0_b89 | 17 | 19 | 0 | 89 | ![]() |
min(R,sub(P,sqt(D))) | 113679 | 138817925 | o2(x,o2(x,o1(x))) | true | 69439 | 69439 | -0.3972 | 0.271 | 0.6042 | 0.3303 | 0.5747 | -1 | 0.9806 | 1.981 | 1 | 4.095 | 0.0493 | 0.001972 | 0.09592 | 0.9231 | 1 | 0.000007391 | 0.08316 | 0.08921 | 0.04208 | 0.2051 | 2.139 | 1.968 | 0.1553 | 0.2518 | 1 | 1 | 0.05643 | 0.2276 | 0.2923 | 0.1709 | 0.6892 | 0.8852 | json |
| t17_x19_u0_b90 | 17 | 19 | 0 | 90 | ![]() |
min(R,mlt(P,sqt(D))) | 113680 | 138817926 | o2(x,o2(x,o1(x))) | true | 69447 | 69447 | -0.3404 | 0.2887 | 0.554 | 0.3056 | 0.5528 | -1 | 0.9806 | 1.981 | 1 | 4.438 | 0.03493 | 0.002047 | 0.09333 | 0.8893 | 1 | 0.000004037 | 0.05141 | 0.07285 | 0.02826 | 0.1681 | 1.801 | 1.961 | 0.121 | 0.1682 | 1 | 1 | 0.03987 | 0.2103 | 0.2851 | 0.1305 | 0.6883 | 0.933 | json |
| t17_x19_u0_b91 | 17 | 19 | 0 | 91 | ![]() |
min(R,div(P,sqt(D))) | 113681 | 138817927 | o2(x,o2(x,o1(x))) | true | 69455 | 69455 | -0.3812 | 0.2835 | 0.6005 | 0.3405 | 0.5835 | -1 | 0.9806 | 1.981 | 1 | 4.116 | 0.04943 | 0.002032 | 0.09527 | 0.921 | 1 | 0.00000402 | 0.08325 | 0.08994 | 0.04238 | 0.2059 | 2.161 | 1.968 | 0.1511 | 0.2445 | 1 | 1 | 0.05652 | 0.2295 | 0.3093 | 0.166 | 0.674 | 0.9084 | json |
| t17_x19_u0_b92 | 17 | 19 | 0 | 92 | ![]() |
min(R,pow(P,sqt(D))) | 113682 | 138817928 | o2(x,o2(x,o1(x))) | true | 69463 | 69463 | 0.001852 | 0.4885 | 0.3902 | 0.217 | 0.4658 | -0.9989 | 0.9806 | 1.979 | 1 | 4.858 | 0.003281 | 0.003118 | 0.0636 | 0.02552 | 1 | 0.0000273 | 0.001308 | 0.01618 | 0.002354 | 0.04852 | 0.7629 | 0.8291 | 0.02949 | 0.006031 | 1 | 1 | 0.01228 | 0.1507 | 0.3789 | 0.0566 | 0.6947 | 1.746 | json |
| t17_x19_u0_b93 | 17 | 19 | 0 | 93 | ![]() |
min(R,mod(P,sqt(D))) | 113683 | 138817929 | o2(x,o2(x,o1(x))) | true | 69471 | 69471 | -0.1409 | 0.3282 | 0.3435 | 0.1584 | 0.398 | -0.9989 | 0.9805 | 1.979 | 1 | 4.662 | 0.01851 | 0.002053 | 0.09335 | 0.8002 | 1 | 0.0001227 | 0.03932 | 0.1081 | 0.01185 | 0.1088 | 1.166 | 1.141 | 0.1298 | 0.2482 | 1 | 1 | 0.02056 | 0.1337 | 0.2516 | 0.1298 | 0.8445 | 1.589 | json |
| t17_x19_u0_b94 | 17 | 19 | 0 | 94 | ![]() |
min(R,lrg(P,sqt(D))) | 113684 | 138817930 | o2(x,o2(x,o1(x))) | true | 69479 | 69479 | -0.06923 | 0.4079 | 0.3459 | 0.1815 | 0.426 | -0.9989 | 0.9806 | 1.979 | 1 | 4.743 | 0.007587 | 0.002488 | 0.06505 | 0.5061 | 1 | -0.000006926 | 0.01058 | 0.02983 | 0.005844 | 0.07645 | 1.175 | 0.9695 | 0.05552 | 0.05829 | 1 | 1 | 0.01436 | 0.1352 | 0.3112 | 0.07916 | 0.7452 | 1.715 | json |
| t17_x19_u0_b95 | 17 | 19 | 0 | 95 | ![]() |
min(R,eql(P,sqt(D))) | 113685 | 138817931 | o2(x,o2(x,o1(x))) | true | 69487 | 69487 | -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_x19_u0_b96 | 17 | 19 | 0 | 96 | ![]() |
min(R,min(P,sqt(D))) | 113686 | 138817932 | o2(x,o2(x,o1(x))) | true | 69495 | 69495 | -0.5113 | 0.2197 | 0.6548 | 0.3011 | 0.5487 | -1 | 0.9805 | 1.981 | 1 | 3.568 | 0.004052 | 0.001255 | 0.03807 | 0.5269 | 1 | -0.000002213 | 0.006201 | 0.01945 | 0.003858 | 0.06211 | 1.631 | 0.7845 | 0.01762 | 0.02059 | 1 | 1 | 0.007837 | 0.07234 | 0.228 | 0.02603 | 0.2403 | 0.7574 | json |
| t17_x19_u0_b97 | 17 | 19 | 0 | 97 | ![]() |
min(R,dot(P,sqt(D))) | 113687 | 138817933 | o2(x,o2(x,o1(x))) | true | 69503 | 69503 | -0.2308 | 0.3534 | 0.5118 | 0.3112 | 0.5578 | -1 | 0.9805 | 1.981 | 1 | 4.683 | 0.02861 | 0.03184 | 0.1241 | -0.05354 | 1 | 0.0004564 | 0.1038 | 0.1142 | 0.04505 | 0.2123 | 1.711 | 1.968 | 0.1943 | 0.3335 | 1 | 1 | 0.06548 | 0.2924 | 0.348 | 0.2104 | 0.9398 | 1.118 | json |
| t17_x19_u0_b98 | 17 | 19 | 0 | 98 | ![]() |
min(R,dst(P,sqt(D))) | 113688 | 138817934 | o2(x,o2(x,o1(x))) | true | 69511 | 69511 | 0.008842 | 0.4983 | 0.3945 | 0.2194 | 0.4684 | -0.9989 | 0.9806 | 1.979 | 1 | 4.861 | 0.002826 | 0.00318 | 0.06323 | -0.05901 | 1 | 0.00002651 | 0.0004322 | 0.01465 | 0.002008 | 0.04481 | 0.7087 | 0.5795 | 0.02737 | 0.001969 | 1 | 1 | 0.01185 | 0.1516 | 0.3906 | 0.05398 | 0.6909 | 1.78 | json |
| t17_x19_u0_b99 | 17 | 19 | 0 | 99 | ![]() |
dot(R,add(P,sqt(D))) | 113689 | 138817935 | o2(x,o2(x,o1(x))) | true | 69519 | 69519 | -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_x19_u0_b100 | 17 | 19 | 0 | 100 | ![]() |
dot(R,sub(P,sqt(D))) | 113690 | 138817936 | o2(x,o2(x,o1(x))) | true | 69527 | 69527 | -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_x19_u0_b101 | 17 | 19 | 0 | 101 | ![]() |
dot(R,mlt(P,sqt(D))) | 113691 | 138817937 | o2(x,o2(x,o1(x))) | true | 69535 | 69535 | -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_x19_u0_b102 | 17 | 19 | 0 | 102 | ![]() |
dot(R,div(P,sqt(D))) | 113692 | 138817938 | o2(x,o2(x,o1(x))) | true | 69543 | 69543 | -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_x19_u0_b103 | 17 | 19 | 0 | 103 | ![]() |
dot(R,pow(P,sqt(D))) | 113693 | 138817939 | o2(x,o2(x,o1(x))) | true | 69551 | 69551 | -0.9958 | 0.001938 | 0.998 | 0.005918 | 0.07693 | -1 | 1 | 2 | 1 | 0.05427 | 0.0007571 | 0.0008113 | 0.001403 | -0.03456 | 1 | 3.004e-11 | 0.003202 | 0.002184 | 0.001566 | 0.03957 | 28.2 | 2.828 | 0.265 | 0.5411 | 1 | 1 | 0.002867 | 0.01297 | 0.02153 | 0.4845 | 2.191 | 3.638 | json |
| t17_x19_u0_b104 | 17 | 19 | 0 | 104 | ![]() |
dot(R,mod(P,sqt(D))) | 113694 | 138817940 | o2(x,o2(x,o1(x))) | true | 69559 | 69559 | -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_x19_u0_b105 | 17 | 19 | 0 | 105 | ![]() |
dot(R,lrg(P,sqt(D))) | 113695 | 138817941 | o2(x,o2(x,o1(x))) | true | 69567 | 69567 | 0.0147 | 0.4987 | 0.4198 | 0.2672 | 0.5169 | -1 | 1 | 2 | 1 | 4.875 | 0.01157 | 0.01188 | 0.09288 | -0.0131 | 1 | 0.000002454 | 0.03288 | 0.06832 | 0.01482 | 0.1217 | 1.311 | 1.281 | 0.08777 | 0.1231 | 1 | 1 | 0.03002 | 0.222 | 0.4983 | 0.1124 | 0.8308 | 1.865 | json |
| t17_x19_u0_b106 | 17 | 19 | 0 | 106 | ![]() |
dot(R,eql(P,sqt(D))) | 113696 | 138817942 | o2(x,o2(x,o1(x))) | true | 69575 | 69575 | -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_x19_u0_b107 | 17 | 19 | 0 | 107 | ![]() |
dot(R,min(P,sqt(D))) | 113697 | 138817943 | o2(x,o2(x,o1(x))) | true | 69583 | 69583 | -0.09062 | 0.4619 | 0.7932 | 0.7249 | 0.8514 | -1 | 1 | 2 | 1 | 3.286 | 0.0354 | 0.04027 | 0.1258 | -0.06443 | 1 | -0.000004963 | 0.09353 | 0.1153 | 0.05986 | 0.2447 | 1.945 | 2.24 | 0.1044 | 0.129 | 1 | 1 | 0.08659 | 0.588 | 1.241 | 0.1194 | 0.8111 | 1.712 | json |
| t17_x19_u0_b108 | 17 | 19 | 0 | 108 | ![]() |
dot(R,dot(P,sqt(D))) | 113698 | 138817944 | o2(x,o2(x,o1(x))) | true | 69591 | 69591 | -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_x19_u0_b109 | 17 | 19 | 0 | 109 | ![]() |
dot(R,dst(P,sqt(D))) | 113699 | 138817945 | o2(x,o2(x,o1(x))) | true | 69599 | 69599 | -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 |



































































































