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_x25_u0_b28 | 17 | 25 | 0 | 28 | ![]() |
mlt(R,lrg(R,sqt(D))) | 118700 | 139060270 | o2(x,o2(x,o1(x))) | true | 109607 | 109607 | 0.1013 | 0.587 | 0.308 | 0.1521 | 0.39 | -0.9987 | 0.9809 | 1.98 | 1 | 4.577 | 0.01303 | 0.002095 | 0.07217 | 0.723 | 1 | 0.00003714 | 0.02222 | 0.05562 | 0.00992 | 0.0996 | 1.38 | 0.9987 | 0.09946 | 0.1461 | 1 | 1 | 0.01951 | 0.1389 | 0.2661 | 0.1282 | 0.913 | 1.749 | json |
| t17_x25_u0_b29 | 17 | 25 | 0 | 29 | ![]() |
mlt(R,eql(R,sqt(D))) | 118701 | 139060271 | o2(x,o2(x,o1(x))) | true | 109615 | 109615 | 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_x25_u0_b30 | 17 | 25 | 0 | 30 | ![]() |
mlt(R,min(R,sqt(D))) | 118702 | 139060272 | o2(x,o2(x,o1(x))) | true | 109623 | 109623 | 0.317 | 0.9999 | 0.317 | 0.05052 | 0.2248 | 0.00007475 | 0.9979 | 0.9979 | 1 | 3.661 | 0.004322 | 0.0006718 | 0.03954 | 0.731 | 1 | -0.0001281 | 0.008528 | 0.02568 | 0.003431 | 0.05857 | 1.482 | 0.7685 | 0.09884 | 0.1688 | 1 | 1 | 0.005327 | 0.03325 | 0.08724 | 0.1054 | 0.6581 | 1.727 | json |
| t17_x25_u0_b31 | 17 | 25 | 0 | 31 | ![]() |
mlt(R,dot(R,sqt(D))) | 118703 | 139060273 | o2(x,o2(x,o1(x))) | true | 109631 | 109631 | -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_x25_u0_b32 | 17 | 25 | 0 | 32 | ![]() |
mlt(R,dst(R,sqt(D))) | 118704 | 139060274 | o2(x,o2(x,o1(x))) | true | 109639 | 109639 | -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_x25_u0_b33 | 17 | 25 | 0 | 33 | ![]() |
div(R,add(R,sqt(D))) | 118705 | 139060275 | o2(x,o2(x,o1(x))) | true | 109647 | 109647 | -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_x25_u0_b34 | 17 | 25 | 0 | 34 | ![]() |
div(R,sub(R,sqt(D))) | 118706 | 139060276 | o2(x,o2(x,o1(x))) | true | 109655 | 109655 | -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_x25_u0_b35 | 17 | 25 | 0 | 35 | ![]() |
div(R,mlt(R,sqt(D))) | 118707 | 139060277 | o2(x,o2(x,o1(x))) | true | 109663 | 109663 | -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_x25_u0_b36 | 17 | 25 | 0 | 36 | ![]() |
div(R,div(R,sqt(D))) | 118708 | 139060278 | o2(x,o2(x,o1(x))) | true | 109671 | 109671 | -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_x25_u0_b37 | 17 | 25 | 0 | 37 | ![]() |
div(R,pow(R,sqt(D))) | 118709 | 139060279 | o2(x,o2(x,o1(x))) | true | 109679 | 109679 | -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_x25_u0_b38 | 17 | 25 | 0 | 38 | ![]() |
div(R,mod(R,sqt(D))) | 118710 | 139060280 | o2(x,o2(x,o1(x))) | true | 109687 | 109687 | -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_x25_u0_b39 | 17 | 25 | 0 | 39 | ![]() |
div(R,lrg(R,sqt(D))) | 118711 | 139060281 | o2(x,o2(x,o1(x))) | true | 109695 | 109695 | -0.9271 | 0.04422 | 0.9826 | 0.1141 | 0.3377 | -1 | 0.9632 | 1.963 | 1 | 0.4397 | 0.05182 | 0.01026 | 0.04 | 0.6695 | 1 | 0.00001314 | 0.1376 | 0.07727 | 0.06052 | 0.246 | 6.15 | 2.744 | 0.5442 | 1.206 | 1 | 1 | 0.05815 | 0.1502 | 0.232 | 0.5098 | 1.316 | 2.034 | json |
| t17_x25_u0_b40 | 17 | 25 | 0 | 40 | ![]() |
div(R,eql(R,sqt(D))) | 118712 | 139060282 | o2(x,o2(x,o1(x))) | true | 109703 | 109703 | -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_x25_u0_b41 | 17 | 25 | 0 | 41 | ![]() |
div(R,min(R,sqt(D))) | 118713 | 139060283 | o2(x,o2(x,o1(x))) | true | 109711 | 109711 | 1 | 1 | 1 | 4.724e-16 | 2.174e-8 | 1 | 1 | 5.96e-8 | 1 | 0 | 1.116e-16 | 5.527e-17 | 2.703e-9 | 0.00005634 | 0 | 8.568e-9 | 2.053e-15 | 8.613e-9 | 1.595e-16 | 1.263e-8 | 4.673 | 8.429e-8 | 0.0001669 | 0.002053 | 0 | 1 | 1.923e-16 | 5.756e-16 | 8.894e-16 | 0.0001923 | 0.0005756 | 0.0008894 | json |
| t17_x25_u0_b42 | 17 | 25 | 0 | 42 | ![]() |
div(R,dot(R,sqt(D))) | 118714 | 139060284 | o2(x,o2(x,o1(x))) | true | 109719 | 109719 | -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_x25_u0_b43 | 17 | 25 | 0 | 43 | ![]() |
div(R,dst(R,sqt(D))) | 118715 | 139060285 | o2(x,o2(x,o1(x))) | true | 109727 | 109727 | -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_x25_u0_b44 | 17 | 25 | 0 | 44 | ![]() |
pow(R,add(R,sqt(D))) | 118716 | 139060286 | o2(x,o2(x,o1(x))) | true | 109735 | 109735 | -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_x25_u0_b45 | 17 | 25 | 0 | 45 | ![]() |
pow(R,sub(R,sqt(D))) | 118717 | 139060287 | o2(x,o2(x,o1(x))) | true | 109743 | 109743 | -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_x25_u0_b46 | 17 | 25 | 0 | 46 | ![]() |
pow(R,mlt(R,sqt(D))) | 118718 | 139060288 | o2(x,o2(x,o1(x))) | true | 109751 | 109751 | -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_x25_u0_b47 | 17 | 25 | 0 | 47 | ![]() |
pow(R,div(R,sqt(D))) | 118719 | 139060289 | o2(x,o2(x,o1(x))) | true | 109759 | 109759 | -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_x25_u0_b48 | 17 | 25 | 0 | 48 | ![]() |
pow(R,pow(R,sqt(D))) | 118720 | 139060290 | o2(x,o2(x,o1(x))) | true | 109767 | 109767 | -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_x25_u0_b49 | 17 | 25 | 0 | 49 | ![]() |
pow(R,mod(R,sqt(D))) | 118721 | 139060291 | o2(x,o2(x,o1(x))) | true | 109775 | 109775 | -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_x25_u0_b50 | 17 | 25 | 0 | 50 | ![]() |
pow(R,lrg(R,sqt(D))) | 118722 | 139060292 | o2(x,o2(x,o1(x))) | true | 109783 | 109783 | -0.6327 | 0.2109 | 0.9454 | 0.5147 | 0.7174 | -1 | 1 | 2 | 1 | 1.47 | 0.06292 | 0.05191 | 0.07206 | 0.09591 | 1 | 0.000005633 | 0.2411 | 0.1329 | 0.1097 | 0.3312 | 4.596 | 2.742 | 0.2231 | 0.4684 | 1 | 1 | 0.1123 | 0.4794 | 1.102 | 0.2181 | 0.9315 | 2.141 | json |
| t17_x25_u0_b51 | 17 | 25 | 0 | 51 | ![]() |
pow(R,eql(R,sqt(D))) | 118723 | 139060293 | o2(x,o2(x,o1(x))) | true | 109791 | 109791 | 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_x25_u0_b52 | 17 | 25 | 0 | 52 | ![]() |
pow(R,min(R,sqt(D))) | 118724 | 139060294 | o2(x,o2(x,o1(x))) | true | 109799 | 109799 | -0.9227 | 0.04297 | 0.9914 | 0.1332 | 0.365 | -1 | 0.9896 | 1.99 | 1 | 0.3463 | 0.0142 | 0.01322 | 0.01566 | 0.03596 | 1 | 0.00001001 | 0.05774 | 0.03051 | 0.02718 | 0.1649 | 10.53 | 2.664 | 0.2058 | 0.4334 | 1 | 1 | 0.02089 | 0.08898 | 0.2228 | 0.1568 | 0.6679 | 1.673 | json |
| t17_x25_u0_b53 | 17 | 25 | 0 | 53 | ![]() |
pow(R,dot(R,sqt(D))) | 118725 | 139060295 | o2(x,o2(x,o1(x))) | true | 109807 | 109807 | -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_x25_u0_b54 | 17 | 25 | 0 | 54 | ![]() |
pow(R,dst(R,sqt(D))) | 118726 | 139060296 | o2(x,o2(x,o1(x))) | true | 109815 | 109815 | -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_x25_u0_b55 | 17 | 25 | 0 | 55 | ![]() |
mod(R,add(R,sqt(D))) | 118727 | 139060297 | o2(x,o2(x,o1(x))) | true | 109823 | 109823 | -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_x25_u0_b56 | 17 | 25 | 0 | 56 | ![]() |
mod(R,sub(R,sqt(D))) | 118728 | 139060298 | o2(x,o2(x,o1(x))) | true | 109831 | 109831 | -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_x25_u0_b57 | 17 | 25 | 0 | 57 | ![]() |
mod(R,mlt(R,sqt(D))) | 118729 | 139060299 | o2(x,o2(x,o1(x))) | true | 109839 | 109839 | -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_x25_u0_b58 | 17 | 25 | 0 | 58 | ![]() |
mod(R,div(R,sqt(D))) | 118730 | 139060300 | o2(x,o2(x,o1(x))) | true | 109847 | 109847 | -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_x25_u0_b59 | 17 | 25 | 0 | 59 | ![]() |
mod(R,pow(R,sqt(D))) | 118731 | 139060301 | o2(x,o2(x,o1(x))) | true | 109855 | 109855 | -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_x25_u0_b60 | 17 | 25 | 0 | 60 | ![]() |
mod(R,mod(R,sqt(D))) | 118732 | 139060302 | o2(x,o2(x,o1(x))) | true | 109863 | 109863 | -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_x25_u0_b61 | 17 | 25 | 0 | 61 | ![]() |
mod(R,lrg(R,sqt(D))) | 118733 | 139060303 | o2(x,o2(x,o1(x))) | true | 109871 | 109871 | -0.9271 | 0.04422 | 0.9826 | 0.1141 | 0.3377 | -1 | 0.9632 | 1.963 | 1 | 0.4397 | 0.05182 | 0.01026 | 0.04 | 0.6695 | 1 | 0.00001314 | 0.1376 | 0.07727 | 0.06052 | 0.246 | 6.15 | 2.744 | 0.5442 | 1.206 | 1 | 1 | 0.05815 | 0.1502 | 0.232 | 0.5098 | 1.316 | 2.034 | json |
| t17_x25_u0_b62 | 17 | 25 | 0 | 62 | ![]() |
mod(R,eql(R,sqt(D))) | 118734 | 139060304 | o2(x,o2(x,o1(x))) | true | 109879 | 109879 | -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_x25_u0_b63 | 17 | 25 | 0 | 63 | ![]() |
mod(R,min(R,sqt(D))) | 118735 | 139060305 | o2(x,o2(x,o1(x))) | true | 109887 | 109887 | -0.006441 | 0.3999 | 0.1035 | 0.03833 | 0.1958 | -0.9675 | 0.9557 | 1.923 | 1 | 2.92 | 0.003584 | 0.0005392 | 0.0339 | 0.7384 | 1 | 0.00008621 | 0.00781 | 0.03017 | 0.002974 | 0.05453 | 1.609 | 0.8839 | 0.1076 | 0.2038 | 1 | 1 | 0.005355 | 0.03892 | 0.09132 | 0.1397 | 1.016 | 2.382 | json |
| t17_x25_u0_b64 | 17 | 25 | 0 | 64 | ![]() |
mod(R,dot(R,sqt(D))) | 118736 | 139060306 | o2(x,o2(x,o1(x))) | true | 109895 | 109895 | -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_x25_u0_b65 | 17 | 25 | 0 | 65 | ![]() |
mod(R,dst(R,sqt(D))) | 118737 | 139060307 | o2(x,o2(x,o1(x))) | true | 109903 | 109903 | -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_x25_u0_b66 | 17 | 25 | 0 | 66 | ![]() |
lrg(R,add(R,sqt(D))) | 118738 | 139060308 | o2(x,o2(x,o1(x))) | true | 109911 | 109911 | 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_x25_u0_b67 | 17 | 25 | 0 | 67 | ![]() |
lrg(R,sub(R,sqt(D))) | 118739 | 139060309 | o2(x,o2(x,o1(x))) | true | 109919 | 109919 | 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_x25_u0_b68 | 17 | 25 | 0 | 68 | ![]() |
lrg(R,mlt(R,sqt(D))) | 118740 | 139060310 | o2(x,o2(x,o1(x))) | true | 109927 | 109927 | 0.7432 | 1 | 0.7432 | 0.1126 | 0.3355 | 0.000291 | 1 | 0.9997 | 1 | 2.88 | 0.03004 | 0.00118 | 0.07441 | 0.9244 | 1 | -0.000001422 | 0.05612 | 0.0721 | 0.02568 | 0.1603 | 2.154 | 0.9997 | 0.2773 | 0.4985 | 1 | 1 | 0.03636 | 0.1591 | 0.1423 | 0.323 | 1.413 | 1.264 | json |
| t17_x25_u0_b69 | 17 | 25 | 0 | 69 | ![]() |
lrg(R,div(R,sqt(D))) | 118741 | 139060311 | o2(x,o2(x,o1(x))) | true | 109935 | 109935 | 0.7568 | 1 | 0.7568 | 0.1087 | 0.3297 | 0.000291 | 1 | 0.9997 | 1 | 2.8 | 0.02738 | 0.00118 | 0.07029 | 0.9174 | 1 | 0.000001419 | 0.05102 | 0.06666 | 0.02362 | 0.1537 | 2.186 | 0.9997 | 0.2627 | 0.4693 | 1 | 1 | 0.03085 | 0.1411 | 0.1423 | 0.2838 | 1.298 | 1.309 | json |
| t17_x25_u0_b70 | 17 | 25 | 0 | 70 | ![]() |
lrg(R,pow(R,sqt(D))) | 118742 | 139060312 | o2(x,o2(x,o1(x))) | true | 109943 | 109943 | 0.7568 | 1 | 0.7568 | 0.1087 | 0.3297 | 0.000291 | 1 | 0.9997 | 1 | 2.8 | 0.02738 | 0.00118 | 0.07029 | 0.9174 | 1 | 0.000001419 | 0.05102 | 0.06666 | 0.02362 | 0.1537 | 2.186 | 0.9997 | 0.2627 | 0.4693 | 1 | 1 | 0.03085 | 0.1411 | 0.1423 | 0.2838 | 1.298 | 1.309 | json |
| t17_x25_u0_b71 | 17 | 25 | 0 | 71 | ![]() |
lrg(R,mod(R,sqt(D))) | 118743 | 139060313 | o2(x,o2(x,o1(x))) | true | 109951 | 109951 | 0.635 | 1 | 0.635 | 0.1257 | 0.3545 | 0.000291 | 1 | 0.9997 | 1 | 3.424 | 0.04517 | 0.000886 | 0.1068 | 0.9615 | 1 | 0.00004312 | 0.08437 | 0.1117 | 0.03463 | 0.1861 | 1.742 | 0.9994 | 0.3664 | 0.6713 | 1 | 1 | 0.04966 | 0.1932 | 0.1235 | 0.3951 | 1.537 | 0.983 | json |
| t17_x25_u0_b72 | 17 | 25 | 0 | 72 | ![]() |
lrg(R,lrg(R,sqt(D))) | 118744 | 139060314 | o2(x,o2(x,o1(x))) | true | 109959 | 109959 | 0.1081 | 0.4865 | 0.1081 | 0.04995 | 0.2235 | 0 | 0.9997 | 0.9997 | 1 | 1.834 | 0.01375 | 0.0006858 | 0.0429 | 0.9049 | 1 | -0.00004455 | 0.02672 | 0.04334 | 0.01259 | 0.1122 | 2.615 | 0.9997 | 0.2889 | 0.5349 | 1 | 1 | 0.01383 | 0.06028 | 0.0809 | 0.2768 | 1.207 | 1.62 | json |
| t17_x25_u0_b73 | 17 | 25 | 0 | 73 | ![]() |
lrg(R,eql(R,sqt(D))) | 118745 | 139060315 | o2(x,o2(x,o1(x))) | true | 109967 | 109967 | 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_x25_u0_b74 | 17 | 25 | 0 | 74 | ![]() |
lrg(R,min(R,sqt(D))) | 118746 | 139060316 | o2(x,o2(x,o1(x))) | true | 109975 | 109975 | 0.135 | 0.3148 | 0.135 | 0.08036 | 0.2835 | 0 | 0.9997 | 0.9997 | 1 | 1.711 | 0.03269 | 0.000886 | 0.05833 | 0.9472 | 1 | 0.00004313 | 0.06839 | 0.08303 | 0.03018 | 0.1737 | 2.978 | 0.9997 | 0.4178 | 0.851 | 1 | 1 | 0.0343 | 0.1091 | 0.1235 | 0.4268 | 1.358 | 1.537 | json |
| t17_x25_u0_b75 | 17 | 25 | 0 | 75 | ![]() |
lrg(R,dot(R,sqt(D))) | 118747 | 139060317 | o2(x,o2(x,o1(x))) | true | 109983 | 109983 | 0.8702 | 1 | 0.8702 | 0.06122 | 0.2474 | 0.000582 | 1 | 0.9994 | 1 | 2.016 | 0.01556 | 0.01624 | 0.06476 | -0.02133 | 1 | -0.00003323 | 0.07717 | 0.08648 | 0.0276 | 0.1661 | 2.565 | 1.413 | 0.5195 | 1.261 | 1 | 1 | 0.03626 | 0.1239 | 0.0796 | 0.5923 | 2.025 | 1.3 | json |
| t17_x25_u0_b76 | 17 | 25 | 0 | 76 | ![]() |
lrg(R,dst(R,sqt(D))) | 118748 | 139060318 | o2(x,o2(x,o1(x))) | true | 109991 | 109991 | 0.7759 | 1 | 0.7759 | 0.08781 | 0.2963 | 0.000582 | 1 | 0.9994 | 1 | 2.905 | 0.02568 | 0.02509 | 0.1056 | 0.01144 | 1 | 0.00001131 | 0.1104 | 0.1315 | 0.03963 | 0.1991 | 1.886 | 1.413 | 0.5782 | 1.257 | 1 | 1 | 0.05408 | 0.1756 | 0.03052 | 0.6159 | 2 | 0.3476 | json |
| t17_x25_u0_b77 | 17 | 25 | 0 | 77 | ![]() |
eql(R,add(R,sqt(D))) | 118749 | 139060319 | o2(x,o2(x,o1(x))) | true | 109999 | 109999 | 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_x25_u0_b78 | 17 | 25 | 0 | 78 | ![]() |
eql(R,sub(R,sqt(D))) | 118750 | 139060320 | o2(x,o2(x,o1(x))) | true | 110007 | 110007 | 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_x25_u0_b79 | 17 | 25 | 0 | 79 | ![]() |
eql(R,mlt(R,sqt(D))) | 118751 | 139060321 | o2(x,o2(x,o1(x))) | true | 110015 | 110015 | 2.132e-7 | 0.000824 | 2.132e-7 | 4.854e-11 | 0.000006967 | 0 | 0.000291 | 0.000291 | 1 | 0 | 1.003e-10 | 7.118e-13 | 4.44e-7 | 0.9859 | 0 | -1.038e-10 | 3.039e-10 | 8.803e-7 | 1.008e-10 | 0.00001004 | 22.61 | 0.000291 | 2.082 | 6.261 | 1 | 1 | 6.049e-11 | 8.031e-11 | 1.177e-10 | 1.246 | 1.655 | 2.424 | json |
| t17_x25_u0_b80 | 17 | 25 | 0 | 80 | ![]() |
eql(R,div(R,sqt(D))) | 118752 | 139060322 | o2(x,o2(x,o1(x))) | true | 110023 | 110023 | 2.132e-7 | 0.000824 | 2.132e-7 | 4.854e-11 | 0.000006967 | 0 | 0.000291 | 0.000291 | 1 | 0 | 1.003e-10 | 7.118e-13 | 4.44e-7 | 0.9859 | 0 | -1.038e-10 | 3.039e-10 | 8.803e-7 | 1.008e-10 | 0.00001004 | 22.61 | 0.000291 | 2.082 | 6.261 | 1 | 1 | 6.049e-11 | 8.031e-11 | 1.177e-10 | 1.246 | 1.655 | 2.424 | json |
| t17_x25_u0_b81 | 17 | 25 | 0 | 81 | ![]() |
eql(R,pow(R,sqt(D))) | 118753 | 139060323 | o2(x,o2(x,o1(x))) | true | 110031 | 110031 | 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_x25_u0_b82 | 17 | 25 | 0 | 82 | ![]() |
eql(R,mod(R,sqt(D))) | 118754 | 139060324 | o2(x,o2(x,o1(x))) | true | 110039 | 110039 | 0.2414 | 0.8201 | 0.2414 | 0.09126 | 0.3021 | 0 | 0.9997 | 0.9997 | 1 | 3.011 | 0.03071 | 0.0009731 | 0.087 | 0.9386 | 1 | -0.000294 | 0.05888 | 0.09129 | 0.02411 | 0.1553 | 1.785 | 0.9994 | 0.3471 | 0.6452 | 1 | 1 | 0.0336 | 0.1326 | 0.1315 | 0.3681 | 1.453 | 1.44 | json |
| t17_x25_u0_b83 | 17 | 25 | 0 | 83 | ![]() |
eql(R,lrg(R,sqt(D))) | 118755 | 139060325 | o2(x,o2(x,o1(x))) | true | 110047 | 110047 | 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_x25_u0_b84 | 17 | 25 | 0 | 84 | ![]() |
eql(R,eql(R,sqt(D))) | 118756 | 139060326 | o2(x,o2(x,o1(x))) | true | 110055 | 110055 | 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_x25_u0_b85 | 17 | 25 | 0 | 85 | ![]() |
eql(R,min(R,sqt(D))) | 118757 | 139060327 | o2(x,o2(x,o1(x))) | true | 110063 | 110063 | 0.865 | 1 | 0.865 | 0.08036 | 0.2835 | 0.000291 | 1 | 0.9997 | 1 | 1.711 | 0.03269 | 0.000886 | 0.05833 | 0.9472 | 1 | -0.00004313 | 0.06839 | 0.08303 | 0.03018 | 0.1737 | 2.978 | 0.9997 | 0.4178 | 0.851 | 1 | 1 | 0.0343 | 0.1091 | 0.1235 | 0.4268 | 1.358 | 1.537 | json |
| t17_x25_u0_b86 | 17 | 25 | 0 | 86 | ![]() |
eql(R,dot(R,sqt(D))) | 118758 | 139060328 | o2(x,o2(x,o1(x))) | true | 110071 | 110071 | 0.00002256 | 0.0001068 | 0.00002256 | 0.000007027 | 0.002651 | 0 | 0.4384 | 0.4384 | 1 | 0.001566 | 0.00001451 | 0.00001451 | 0.0000795 | 0 | 0 | 0 | 0.0001451 | 0.0001863 | 0.000029 | 0.005385 | 67.74 | 0.62 | 4.129 | 20.64 | 1 | 1 | 0.00002004 | 0.00002004 | 0.00001926 | 2.851 | 2.851 | 2.741 | json |
| t17_x25_u0_b87 | 17 | 25 | 0 | 87 | ![]() |
eql(R,dst(R,sqt(D))) | 118759 | 139060329 | o2(x,o2(x,o1(x))) | true | 110079 | 110079 | 2.452e-8 | 0.00001526 | 2.452e-8 | 3.94e-11 | 0.000006277 | 0 | 0.001607 | 0.001607 | 1 | 0 | 8.132e-11 | 8.132e-11 | 8.639e-8 | 0 | 0 | 0 | 8.132e-10 | 2.024e-7 | 1.626e-10 | 0.00001275 | 147.6 | 0.002272 | 4.128 | 20.64 | 1 | 1 | 1.431e-10 | 1.431e-10 | 1.431e-10 | 3.631 | 3.631 | 3.631 | json |
| t17_x25_u0_b88 | 17 | 25 | 0 | 88 | ![]() |
min(R,add(R,sqt(D))) | 118760 | 139060330 | o2(x,o2(x,o1(x))) | true | 110087 | 110087 | 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_x25_u0_b89 | 17 | 25 | 0 | 89 | ![]() |
min(R,sub(R,sqt(D))) | 118761 | 139060331 | o2(x,o2(x,o1(x))) | true | 110095 | 110095 | -0.2319 | 0.3293 | 0.4469 | 0.2298 | 0.4794 | -1 | 0.9802 | 1.98 | 1 | 4.789 | 0.007421 | 0.00307 | 0.08517 | 0.4148 | 1 | 0.0004398 | 0.002991 | 0.03327 | 0.003237 | 0.0569 | 0.6681 | 0.2869 | 0.04564 | 0.01301 | 1 | 1 | 0.01951 | 0.1922 | 0.3695 | 0.08488 | 0.8363 | 1.608 | json |
| t17_x25_u0_b90 | 17 | 25 | 0 | 90 | ![]() |
min(R,mlt(R,sqt(D))) | 118762 | 139060332 | o2(x,o2(x,o1(x))) | true | 110103 | 110103 | -0.05739 | 0.466 | 0.343 | 0.1738 | 0.4168 | -0.9989 | 0.9805 | 1.979 | 1 | 4.738 | 0.008797 | 0.002449 | 0.06953 | 0.5644 | 1 | -0.0001178 | 0.01506 | 0.04103 | 0.006412 | 0.08008 | 1.152 | 0.7984 | 0.06473 | 0.08668 | 1 | 1 | 0.01493 | 0.125 | 0.2965 | 0.08595 | 0.7192 | 1.707 | json |
| t17_x25_u0_b91 | 17 | 25 | 0 | 91 | ![]() |
min(R,div(R,sqt(D))) | 118763 | 139060333 | o2(x,o2(x,o1(x))) | true | 110111 | 110111 | -0.08453 | 0.4659 | 0.4689 | 0.3029 | 0.5504 | -1 | 0.9805 | 1.981 | 1 | 4.833 | 0.01979 | 0.004962 | 0.09769 | 0.5991 | 1 | -0.0001645 | 0.03802 | 0.0681 | 0.01521 | 0.1233 | 1.262 | 1.347 | 0.08171 | 0.1255 | 1 | 1 | 0.03261 | 0.242 | 0.522 | 0.1077 | 0.7988 | 1.723 | json |
| t17_x25_u0_b92 | 17 | 25 | 0 | 92 | ![]() |
min(R,pow(R,sqt(D))) | 118764 | 139060334 | o2(x,o2(x,o1(x))) | true | 110119 | 110119 | 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_x25_u0_b93 | 17 | 25 | 0 | 93 | ![]() |
min(R,mod(R,sqt(D))) | 118765 | 139060335 | o2(x,o2(x,o1(x))) | true | 110127 | 110127 | -0.06855 | 0.4547 | 0.3372 | 0.1696 | 0.4118 | -0.9989 | 0.9805 | 1.979 | 1 | 4.72 | 0.01219 | 0.002379 | 0.07857 | 0.6733 | 1 | 0.0000868 | 0.02348 | 0.06365 | 0.00839 | 0.0916 | 1.166 | 0.8839 | 0.08587 | 0.1384 | 1 | 1 | 0.0176 | 0.1279 | 0.2875 | 0.1038 | 0.7544 | 1.695 | json |
| t17_x25_u0_b94 | 17 | 25 | 0 | 94 | ![]() |
min(R,lrg(R,sqt(D))) | 118766 | 139060336 | o2(x,o2(x,o1(x))) | true | 110135 | 110135 | -0.02412 | 0.4503 | 0.3826 | 0.2115 | 0.4599 | -0.9989 | 0.9806 | 1.979 | 1 | 4.839 | 0.004764 | 0.003059 | 0.06721 | 0.2179 | 1 | 0.00004937 | 0.004404 | 0.02798 | 0.003306 | 0.0575 | 0.8555 | 0.5721 | 0.03699 | 0.02082 | 1 | 1 | 0.01351 | 0.1531 | 0.3796 | 0.06387 | 0.7239 | 1.795 | json |
| t17_x25_u0_b95 | 17 | 25 | 0 | 95 | ![]() |
min(R,eql(R,sqt(D))) | 118767 | 139060337 | o2(x,o2(x,o1(x))) | true | 110143 | 110143 | -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_x25_u0_b96 | 17 | 25 | 0 | 96 | ![]() |
min(R,min(R,sqt(D))) | 118768 | 139060338 | o2(x,o2(x,o1(x))) | true | 110151 | 110151 | -0.03155 | 0.4861 | 0.3605 | 0.1861 | 0.4314 | -0.9989 | 0.9805 | 1.979 | 1 | 4.769 | 0.0081 | 0.002649 | 0.07125 | 0.5071 | 1 | -0.0001533 | 0.01363 | 0.04002 | 0.005674 | 0.07533 | 1.057 | 0.7931 | 0.05777 | 0.07325 | 1 | 1 | 0.01466 | 0.1302 | 0.3212 | 0.0788 | 0.6998 | 1.726 | json |
| t17_x25_u0_b97 | 17 | 25 | 0 | 97 | ![]() |
min(R,dot(R,sqt(D))) | 118769 | 139060339 | o2(x,o2(x,o1(x))) | true | 110159 | 110159 | -0.03398 | 0.4631 | 0.3787 | 0.2036 | 0.4512 | -0.9989 | 0.9805 | 1.979 | 1 | 4.827 | 0.006218 | 0.004566 | 0.07207 | 0.1532 | 1 | -0.00001107 | 0.01232 | 0.03659 | 0.005591 | 0.07477 | 1.038 | 1.142 | 0.05297 | 0.06049 | 1 | 1 | 0.01556 | 0.1492 | 0.357 | 0.07645 | 0.733 | 1.753 | json |
| t17_x25_u0_b98 | 17 | 25 | 0 | 98 | ![]() |
min(R,dst(R,sqt(D))) | 118770 | 139060340 | o2(x,o2(x,o1(x))) | true | 110167 | 110167 | 0.004124 | 0.4965 | 0.3908 | 0.2158 | 0.4645 | -0.9989 | 0.9806 | 1.979 | 1 | 4.854 | 0.002817 | 0.003263 | 0.0636 | -0.0733 | 1 | 0.00003219 | 0.0006441 | 0.01584 | 0.002036 | 0.04512 | 0.7094 | 0.4369 | 0.02818 | 0.002985 | 1 | 1 | 0.01187 | 0.1503 | 0.3832 | 0.05498 | 0.6967 | 1.776 | json |
| t17_x25_u0_b99 | 17 | 25 | 0 | 99 | ![]() |
dot(R,add(R,sqt(D))) | 118771 | 139060341 | o2(x,o2(x,o1(x))) | true | 110175 | 110175 | -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_x25_u0_b100 | 17 | 25 | 0 | 100 | ![]() |
dot(R,sub(R,sqt(D))) | 118772 | 139060342 | o2(x,o2(x,o1(x))) | true | 110183 | 110183 | -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_x25_u0_b101 | 17 | 25 | 0 | 101 | ![]() |
dot(R,mlt(R,sqt(D))) | 118773 | 139060343 | o2(x,o2(x,o1(x))) | true | 110191 | 110191 | -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_x25_u0_b102 | 17 | 25 | 0 | 102 | ![]() |
dot(R,div(R,sqt(D))) | 118774 | 139060344 | o2(x,o2(x,o1(x))) | true | 110199 | 110199 | -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_x25_u0_b103 | 17 | 25 | 0 | 103 | ![]() |
dot(R,pow(R,sqt(D))) | 118775 | 139060345 | o2(x,o2(x,o1(x))) | true | 110207 | 110207 | -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_x25_u0_b104 | 17 | 25 | 0 | 104 | ![]() |
dot(R,mod(R,sqt(D))) | 118776 | 139060346 | o2(x,o2(x,o1(x))) | true | 110215 | 110215 | -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_x25_u0_b105 | 17 | 25 | 0 | 105 | ![]() |
dot(R,lrg(R,sqt(D))) | 118777 | 139060347 | o2(x,o2(x,o1(x))) | true | 110223 | 110223 | 0.3906 | 0.7838 | 0.5355 | 0.246 | 0.496 | -1 | 1 | 2 | 1 | 4.481 | 0.01302 | 0.0122 | 0.09611 | 0.03267 | 1 | 0.00000567 | 0.03707 | 0.08777 | 0.01598 | 0.1264 | 1.315 | 1.048 | 0.1025 | 0.1507 | 1 | 1 | 0.03075 | 0.2151 | 0.4464 | 0.125 | 0.8742 | 1.814 | json |
| t17_x25_u0_b106 | 17 | 25 | 0 | 106 | ![]() |
dot(R,eql(R,sqt(D))) | 118778 | 139060348 | o2(x,o2(x,o1(x))) | true | 110231 | 110231 | 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_x25_u0_b107 | 17 | 25 | 0 | 107 | ![]() |
dot(R,min(R,sqt(D))) | 118779 | 139060349 | o2(x,o2(x,o1(x))) | true | 110239 | 110239 | 0.7261 | 1 | 0.7261 | 0.07288 | 0.27 | 0.00634 | 1 | 0.9937 | 1 | 3.344 | 0.003073 | 0.003442 | 0.04668 | -0.05655 | 1 | -0.0001828 | 0.01017 | 0.03508 | 0.004337 | 0.06585 | 1.411 | 0.7521 | 0.0894 | 0.1396 | 1 | 1 | 0.008298 | 0.05195 | 0.1145 | 0.1139 | 0.7128 | 1.571 | json |
| t17_x25_u0_b108 | 17 | 25 | 0 | 108 | ![]() |
dot(R,dot(R,sqt(D))) | 118780 | 139060350 | o2(x,o2(x,o1(x))) | true | 110247 | 110247 | -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_x25_u0_b109 | 17 | 25 | 0 | 109 | ![]() |
dot(R,dst(R,sqt(D))) | 118781 | 139060351 | o2(x,o2(x,o1(x))) | true | 110255 | 110255 | -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_x25_u0_b110 | 17 | 25 | 0 | 110 | ![]() |
dst(R,add(R,sqt(D))) | 118782 | 139060352 | o2(x,o2(x,o1(x))) | true | 110263 | 110263 | -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_x25_u0_b111 | 17 | 25 | 0 | 111 | ![]() |
dst(R,sub(R,sqt(D))) | 118783 | 139060353 | o2(x,o2(x,o1(x))) | true | 110271 | 110271 | -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_x25_u0_b112 | 17 | 25 | 0 | 112 | ![]() |
dst(R,mlt(R,sqt(D))) | 118784 | 139060354 | o2(x,o2(x,o1(x))) | true | 110279 | 110279 | -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_x25_u0_b113 | 17 | 25 | 0 | 113 | ![]() |
dst(R,div(R,sqt(D))) | 118785 | 139060355 | o2(x,o2(x,o1(x))) | true | 110287 | 110287 | -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_x25_u0_b114 | 17 | 25 | 0 | 114 | ![]() |
dst(R,pow(R,sqt(D))) | 118786 | 139060356 | o2(x,o2(x,o1(x))) | true | 110295 | 110295 | -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_x25_u0_b115 | 17 | 25 | 0 | 115 | ![]() |
dst(R,mod(R,sqt(D))) | 118787 | 139060357 | o2(x,o2(x,o1(x))) | true | 110303 | 110303 | -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_x25_u0_b116 | 17 | 25 | 0 | 116 | ![]() |
dst(R,lrg(R,sqt(D))) | 118788 | 139060358 | o2(x,o2(x,o1(x))) | true | 110311 | 110311 | 0.9387 | 1 | 0.9387 | 0.0167 | 0.1292 | 0.241 | 1 | 0.759 | 1 | 1.467 | 0.001738 | 0.002102 | 0.0228 | -0.09476 | 1 | -0.00006147 | 0.006484 | 0.02548 | 0.003319 | 0.05761 | 2.527 | 0.7093 | 0.2299 | 0.3883 | 1 | 1 | 0.00476 | 0.02298 | 0.03046 | 0.285 | 1.376 | 1.824 | json |
| t17_x25_u0_b117 | 17 | 25 | 0 | 117 | ![]() |
dst(R,eql(R,sqt(D))) | 118789 | 139060359 | o2(x,o2(x,o1(x))) | true | 110319 | 110319 | 0.897 | 1 | 0.897 | 0.02252 | 0.1501 | 0.09951 | 1 | 0.9005 | 1 | 2.181 | 0.0003411 | 0.0004606 | 0.01666 | -0.149 | 1 | -0.00001961 | 0.000143 | 0.005703 | 0.0005243 | 0.0229 | 1.374 | 0.1266 | 0.0356 | 0.006351 | 1 | 1 | 0.001342 | 0.015 | 0.03485 | 0.05959 | 0.666 | 1.547 | json |
| t17_x25_u0_b118 | 17 | 25 | 0 | 118 | ![]() |
dst(R,min(R,sqt(D))) | 118790 | 139060360 | o2(x,o2(x,o1(x))) | true | 110327 | 110327 | 0.2912 | 0.9603 | 0.2912 | 0.06567 | 0.2563 | 0 | 1 | 1 | 1 | 3.542 | 0.004503 | 0.004698 | 0.05607 | -0.0212 | 1 | 0.0002024 | 0.01705 | 0.04622 | 0.006058 | 0.07783 | 1.388 | 1.07 | 0.1401 | 0.2597 | 1 | 1 | 0.01046 | 0.06234 | 0.1343 | 0.1592 | 0.9493 | 2.046 | json |
| t17_x25_u0_b119 | 17 | 25 | 0 | 119 | ![]() |
dst(R,dot(R,sqt(D))) | 118791 | 139060361 | o2(x,o2(x,o1(x))) | true | 110335 | 110335 | -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_x25_u0_b120 | 17 | 25 | 0 | 120 | ![]() |
dst(R,dst(R,sqt(D))) | 118792 | 139060362 | o2(x,o2(x,o1(x))) | true | 110343 | 110343 | -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_x25_u1_b0 | 17 | 25 | 1 | 0 | ![]() |
add(R,add(R,log(D))) | 118793 | 139060443 | o2(x,o2(x,o1(x))) | true | 110351 | 110351 | -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_x25_u1_b1 | 17 | 25 | 1 | 1 | ![]() |
add(R,sub(R,log(D))) | 118794 | 139060444 | o2(x,o2(x,o1(x))) | true | 110359 | 110359 | -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_x25_u1_b2 | 17 | 25 | 1 | 2 | ![]() |
add(R,mlt(R,log(D))) | 118795 | 139060445 | o2(x,o2(x,o1(x))) | true | 110367 | 110367 | -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_x25_u1_b3 | 17 | 25 | 1 | 3 | ![]() |
add(R,div(R,log(D))) | 118796 | 139060446 | o2(x,o2(x,o1(x))) | true | 110375 | 110375 | -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_x25_u1_b4 | 17 | 25 | 1 | 4 | ![]() |
add(R,pow(R,log(D))) | 118797 | 139060447 | o2(x,o2(x,o1(x))) | true | 110383 | 110383 | -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_x25_u1_b5 | 17 | 25 | 1 | 5 | ![]() |
add(R,mod(R,log(D))) | 118798 | 139060448 | o2(x,o2(x,o1(x))) | true | 110391 | 110391 | -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_x25_u1_b6 | 17 | 25 | 1 | 6 | ![]() |
add(R,lrg(R,log(D))) | 118799 | 139060449 | o2(x,o2(x,o1(x))) | true | 110399 | 110399 | 0.7879 | 0.9844 | 0.7944 | 0.08557 | 0.2925 | -0.6446 | 1 | 1.645 | 1 | 2.867 | 0.004434 | 0.00172 | 0.04142 | 0.441 | 1 | -0.00004605 | 0.008205 | 0.02863 | 0.004438 | 0.06662 | 1.608 | 0.6781 | 0.07193 | 0.09589 | 1 | 1 | 0.007876 | 0.05901 | 0.1398 | 0.09204 | 0.6896 | 1.634 | json |



































































































