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_x0_u6_b77 | 17 | 0 | 6 | 77 | ![]() |
eql(P,add(P,nrm(P))) | 98300 | 138051500 | o2(x,o2(x,o1(x))) | true | 103207 | 103207 | 0.05859 | 0.1241 | 0.05859 | 0.0418 | 0.2045 | 0 | 0.9997 | 0.9997 | 1 | 0.7992 | 0.0006513 | 0.00003512 | 0.007769 | 0.8977 | 1 | -8.342e-10 | 0.00003252 | 0.001826 | 0.0006264 | 0.02503 | 3.222 | 0.1169 | 0.01642 | 0.0007779 | 1 | 1 | 0.001783 | 0.0232 | 0.06358 | 0.04266 | 0.5551 | 1.521 | json |
| t17_x0_u6_b78 | 17 | 0 | 6 | 78 | ![]() |
eql(P,sub(P,nrm(P))) | 98301 | 138051501 | o2(x,o2(x,o1(x))) | true | 103215 | 103215 | 0.05859 | 0.1241 | 0.05859 | 0.0418 | 0.2045 | 0 | 0.9997 | 0.9997 | 1 | 0.7992 | 0.0006513 | 0.00003512 | 0.007769 | 0.8977 | 1 | -8.342e-10 | 0.00003252 | 0.001826 | 0.0006264 | 0.02503 | 3.222 | 0.1169 | 0.01642 | 0.0007779 | 1 | 1 | 0.001783 | 0.0232 | 0.06358 | 0.04266 | 0.5551 | 1.521 | json |
| t17_x0_u6_b79 | 17 | 0 | 6 | 79 | ![]() |
eql(P,mlt(P,nrm(P))) | 98302 | 138051502 | o2(x,o2(x,o1(x))) | true | 103223 | 103223 | 0.08789 | 0.1793 | 0.08789 | 0.06037 | 0.2457 | 0 | 0.9997 | 0.9997 | 1 | 1.095 | 0.0006592 | 0.0003511 | 0.01141 | 0.305 | 1 | -8.434e-10 | 0.00004888 | 0.002695 | 0.0008798 | 0.02966 | 2.599 | 0.1169 | 0.01674 | 0.0008098 | 1 | 1 | 0.002608 | 0.03393 | 0.09574 | 0.0432 | 0.5621 | 1.586 | json |
| t17_x0_u6_b80 | 17 | 0 | 6 | 80 | ![]() |
eql(P,div(P,nrm(P))) | 98303 | 138051503 | o2(x,o2(x,o1(x))) | true | 103231 | 103231 | 0.0293 | 0.06207 | 0.0293 | 0.02176 | 0.1475 | 0 | 0.9997 | 0.9997 | 1 | 0.4503 | 0.00001756 | 0.0003257 | 0.00389 | -0.8977 | 1 | -1.126e-11 | 0.00001626 | 0.0009129 | 0.0003282 | 0.01812 | 4.657 | 0.1169 | 0.01577 | 0.000747 | 1 | 1 | 0.0008917 | 0.01161 | 0.03457 | 0.04097 | 0.5334 | 1.588 | json |
| t17_x0_u6_b81 | 17 | 0 | 6 | 81 | ![]() |
eql(P,pow(P,nrm(P))) | 98304 | 138051504 | o2(x,o2(x,o1(x))) | true | 103239 | 103239 | 0.08789 | 0.1719 | 0.08789 | 0.06169 | 0.2484 | 0 | 1 | 1 | 1 | 1.059 | 0.0006786 | 0.0002809 | 0.01082 | 0.4146 | 1 | -1.043e-9 | 0.00004456 | 0.002533 | 0.0008429 | 0.02903 | 2.684 | 0.1169 | 0.01555 | 0.0007222 | 1 | 1 | 0.002431 | 0.03163 | 0.08944 | 0.0394 | 0.5128 | 1.45 | json |
| t17_x0_u6_b82 | 17 | 0 | 6 | 82 | ![]() |
eql(P,mod(P,nrm(P))) | 98305 | 138051505 | o2(x,o2(x,o1(x))) | true | 103247 | 103247 | 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_x0_u6_b83 | 17 | 0 | 6 | 83 | ![]() |
eql(P,lrg(P,nrm(P))) | 98306 | 138051506 | o2(x,o2(x,o1(x))) | true | 103255 | 103255 | 0.1172 | 0.1866 | 0.1172 | 0.08924 | 0.2987 | 0 | 1 | 1 | 1 | 1.07 | 0.0006513 | 0.00007993 | 0.008274 | 0.7814 | 1 | -8.755e-10 | 0.00003455 | 0.001944 | 0.000663 | 0.02575 | 3.112 | 0.1169 | 0.008195 | 0.0003872 | 1 | 1 | 0.001939 | 0.02542 | 0.1365 | 0.02173 | 0.2848 | 1.53 | json |
| t17_x0_u6_b84 | 17 | 0 | 6 | 84 | ![]() |
eql(P,eql(P,nrm(P))) | 98307 | 138051507 | o2(x,o2(x,o1(x))) | true | 103263 | 103263 | 0.007812 | 0.02258 | 0.007812 | 0.005398 | 0.07347 | 0 | 0.9997 | 0.9997 | 1 | 0.1706 | 0.00003512 | 0.00007993 | 0.001346 | -0.3895 | 1 | 2.58e-11 | 0.000006278 | 0.0003238 | 0.0001133 | 0.01064 | 7.91 | 0.1169 | 0.02131 | 0.001163 | 1 | 1 | 0.0004001 | 0.00522 | 0.01922 | 0.07412 | 0.9669 | 3.56 | json |
| t17_x0_u6_b85 | 17 | 0 | 6 | 85 | ![]() |
eql(P,min(P,nrm(P))) | 98308 | 138051508 | o2(x,o2(x,o1(x))) | true | 103271 | 103271 | 0.5352 | 0.5699 | 0.5352 | 0.2413 | 0.4912 | 0 | 1 | 1 | 1 | 1.357 | 0.0003432 | 0.00003512 | 0.004306 | 0.8144 | 1 | -4.775e-10 | 0.00001836 | 0.001016 | 0.0003599 | 0.01897 | 4.405 | 0.1169 | 0.001568 | 0.00007608 | 1 | 1 | 0.001014 | 0.01329 | 0.07825 | 0.004202 | 0.05509 | 0.3243 | json |
| t17_x0_u6_b86 | 17 | 0 | 6 | 86 | ![]() |
eql(P,dot(P,nrm(P))) | 98309 | 138051509 | o2(x,o2(x,o1(x))) | true | 103279 | 103279 | 0.0293 | 0.06207 | 0.0293 | 0.02176 | 0.1475 | 0 | 0.9997 | 0.9997 | 1 | 0.4503 | 0.00001756 | 0.0003257 | 0.00389 | -0.8977 | 1 | -1.126e-11 | 0.00001626 | 0.0009129 | 0.0003282 | 0.01812 | 4.657 | 0.1169 | 0.01577 | 0.000747 | 1 | 1 | 0.0008917 | 0.01161 | 0.03457 | 0.04097 | 0.5334 | 1.588 | json |
| t17_x0_u6_b87 | 17 | 0 | 6 | 87 | ![]() |
eql(P,dst(P,nrm(P))) | 98310 | 138051510 | o2(x,o2(x,o1(x))) | true | 103287 | 103287 | 0.01562 | 0.05908 | 0.01562 | 0.009349 | 0.09669 | 0 | 0.9994 | 0.9994 | 1 | 0.3551 | 0.0001405 | 0.0001405 | 0.003367 | -1.036e-7 | 1 | -5.638e-14 | 0.00001689 | 0.0008241 | 0.0002697 | 0.01642 | 4.877 | 0.1169 | 0.03005 | 0.001806 | 1 | 1 | 0.000977 | 0.0127 | 0.03048 | 0.1045 | 1.358 | 3.26 | json |
| t17_x0_u6_b88 | 17 | 0 | 6 | 88 | ![]() |
min(P,add(P,nrm(P))) | 98311 | 138051511 | o2(x,o2(x,o1(x))) | true | 103295 | 103295 | -0.004833 | 0.5 | 0.9423 | 0.9305 | 0.9646 | -1 | 1 | 2 | 1 | 1.737 | 0.0008475 | 3.436e-7 | 0.007938 | 0.9992 | 1 | 5.047e-8 | 0.00008827 | 0.002172 | 0.0007855 | 0.02803 | 3.531 | 0.2265 | 0.0009113 | 0.00009487 | 1 | 1 | 0.002242 | 0.02697 | 0.2446 | 0.00241 | 0.02899 | 0.2629 | json |
| t17_x0_u6_b89 | 17 | 0 | 6 | 89 | ![]() |
min(P,sub(P,nrm(P))) | 98312 | 138051512 | o2(x,o2(x,o1(x))) | true | 103303 | 103303 | -0.01892 | 0.4988 | 0.9186 | 0.8987 | 0.948 | -1 | 1 | 2 | 1 | 2.067 | 0.0006153 | 0.000007308 | 0.008091 | 0.9765 | 1 | 1.643e-7 | 0.00004318 | 0.002143 | 0.0005569 | 0.0236 | 2.917 | 0.1169 | 0.0006928 | 0.00004805 | 1 | 1 | 0.001612 | 0.02078 | 0.1989 | 0.001794 | 0.02312 | 0.2213 | json |
| t17_x0_u6_b90 | 17 | 0 | 6 | 90 | ![]() |
min(P,mlt(P,nrm(P))) | 98313 | 138051513 | o2(x,o2(x,o1(x))) | true | 103311 | 103311 | -0.04899 | 0.4974 | 0.8885 | 0.8611 | 0.928 | -1 | 1 | 2 | 1 | 2.269 | 0.000567 | 0.000009715 | 0.008138 | 0.9663 | 1 | -0.000001303 | 0.00004513 | 0.002138 | 0.0005106 | 0.0226 | 2.777 | 0.1187 | 0.0006697 | 0.00005241 | 1 | 1 | 0.001543 | 0.01973 | 0.1817 | 0.001792 | 0.02291 | 0.211 | json |
| t17_x0_u6_b91 | 17 | 0 | 6 | 91 | ![]() |
min(P,div(P,nrm(P))) | 98314 | 138051514 | o2(x,o2(x,o1(x))) | true | 103319 | 103319 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t17_x0_u6_b92 | 17 | 0 | 6 | 92 | ![]() |
min(P,pow(P,nrm(P))) | 98315 | 138051515 | o2(x,o2(x,o1(x))) | true | 103327 | 103327 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t17_x0_u6_b93 | 17 | 0 | 6 | 93 | ![]() |
min(P,mod(P,nrm(P))) | 98316 | 138051516 | o2(x,o2(x,o1(x))) | true | 103335 | 103335 | -0.3567 | 0.491 | 0.5808 | 0.3757 | 0.613 | -1 | 0.8443 | 1.844 | 1 | 3.009 | 0.0004766 | 0.0001594 | 0.01311 | 0.4989 | 1 | -9.879e-7 | 0.00003238 | 0.003 | 0.0004641 | 0.02154 | 1.644 | 0.1169 | 0.001693 | 0.00008619 | 1 | 1 | 0.001455 | 0.01905 | 0.112 | 0.003872 | 0.0507 | 0.2981 | json |
| t17_x0_u6_b94 | 17 | 0 | 6 | 94 | ![]() |
min(P,lrg(P,nrm(P))) | 98317 | 138051517 | o2(x,o2(x,o1(x))) | true | 103343 | 103343 | -0.003906 | 0.4996 | 0.9336 | 0.9194 | 0.9588 | -1 | 1 | 2 | 1 | 1.855 | 0.0006962 | 0.00003512 | 0.008275 | 0.904 | 1 | -1.596e-11 | 0.00003452 | 0.001939 | 0.000663 | 0.02575 | 3.112 | 0.1169 | 0.0007954 | 0.00003755 | 1 | 1 | 0.001939 | 0.02562 | 0.2312 | 0.002109 | 0.02787 | 0.2515 | json |
| t17_x0_u6_b95 | 17 | 0 | 6 | 95 | ![]() |
min(P,eql(P,nrm(P))) | 98318 | 138051518 | o2(x,o2(x,o1(x))) | true | 103351 | 103351 | -0.4648 | 0.01477 | 0.4727 | 0.2482 | 0.4982 | -1 | 0.9994 | 1.999 | 1 | 1.504 | 0.000388 | 0.00003512 | 0.00481 | 0.834 | 1 | 4.787e-10 | 0.00002041 | 0.001133 | 0.0003999 | 0.02 | 4.157 | 0.1169 | 0.001705 | 0.00008223 | 1 | 1 | 0.00117 | 0.01534 | 0.09013 | 0.004712 | 0.06179 | 0.3631 | json |
| t17_x0_u6_b96 | 17 | 0 | 6 | 96 | ![]() |
min(P,min(P,nrm(P))) | 98319 | 138051519 | o2(x,o2(x,o1(x))) | true | 103359 | 103359 | -0.148 | 0.4974 | 0.7895 | 0.6872 | 0.829 | -1 | 1 | 2 | 1 | 3.301 | 0.0004406 | 0.00001886 | 0.008649 | 0.9179 | 1 | -0.000001322 | 0.00002118 | 0.001893 | 0.0003846 | 0.01961 | 2.268 | 0.1169 | 0.0006686 | 0.00003082 | 1 | 1 | 0.001262 | 0.01667 | 0.1533 | 0.001836 | 0.02425 | 0.2231 | json |
| t17_x0_u6_b97 | 17 | 0 | 6 | 97 | ![]() |
min(P,dot(P,nrm(P))) | 98320 | 138051520 | o2(x,o2(x,o1(x))) | true | 103367 | 103367 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t17_x0_u6_b98 | 17 | 0 | 6 | 98 | ![]() |
min(P,dst(P,nrm(P))) | 98321 | 138051521 | o2(x,o2(x,o1(x))) | true | 103375 | 103375 | -0.007915 | 0.4993 | 0.9296 | 0.9145 | 0.9563 | -1 | 1 | 2 | 1 | 1.891 | 0.0006879 | 0.0000195 | 0.008188 | 0.9449 | 1 | 2.051e-10 | 0.00003809 | 0.001949 | 0.0006405 | 0.02531 | 3.091 | 0.1176 | 0.0007736 | 0.00004166 | 1 | 1 | 0.001853 | 0.02429 | 0.225 | 0.002026 | 0.02656 | 0.246 | json |
| t17_x0_u6_b99 | 17 | 0 | 6 | 99 | ![]() |
dot(P,add(P,nrm(P))) | 98322 | 138051522 | o2(x,o2(x,o1(x))) | true | 103383 | 103383 | 0.9688 | 0.9844 | 1 | 0.06152 | 0.248 | -1 | 1 | 2 | 1 | 0.1161 | 0.004031 | 0.004031 | 0.004013 | 0 | 1 | 0 | 0.01663 | 0.008062 | 0.008054 | 0.08974 | 22.36 | 2.828 | 0.131 | 0.2703 | 1 | 1 | 0.01418 | 0.05673 | 0.2269 | 0.2305 | 0.9221 | 3.688 | json |
| t17_x0_u6_b100 | 17 | 0 | 6 | 100 | ![]() |
dot(P,sub(P,nrm(P))) | 98323 | 138051523 | o2(x,o2(x,o1(x))) | true | 103391 | 103391 | 0.9618 | 0.9844 | 0.993 | 0.06557 | 0.2561 | -1 | 1 | 2 | 1 | 0.2725 | 0.001864 | 0.001864 | 0.004329 | 6.245e-8 | 1 | 4.505e-10 | 0.00728 | 0.006112 | 0.003708 | 0.06089 | 14.07 | 2.243 | 0.05686 | 0.111 | 1 | 1 | 0.007009 | 0.04219 | 0.2188 | 0.1069 | 0.6434 | 3.336 | json |
| t17_x0_u6_b101 | 17 | 0 | 6 | 101 | ![]() |
dot(P,mlt(P,nrm(P))) | 98324 | 138051524 | o2(x,o2(x,o1(x))) | true | 103399 | 103399 | -0.01562 | 0.4905 | 0.9864 | 0.9828 | 0.9914 | -1 | 1 | 2 | 1 | 1.23 | 0.005565 | 0.005565 | 0.01285 | 0 | 1 | -9.574e-11 | 0.01757 | 0.01407 | 0.01097 | 0.1047 | 8.147 | 2.828 | 0.01133 | 0.01788 | 1 | 1 | 0.02001 | 0.1213 | 0.5722 | 0.02036 | 0.1234 | 0.5822 | json |
| t17_x0_u6_b102 | 17 | 0 | 6 | 102 | ![]() |
dot(P,div(P,nrm(P))) | 98325 | 138051525 | o2(x,o2(x,o1(x))) | true | 103407 | 103407 | -0.2344 | 0.3811 | 0.985 | 0.9263 | 0.9624 | -1 | 1 | 2 | 1 | 1.211 | 0.01657 | 0.01657 | 0.02409 | -6.182e-7 | 1 | 1.201e-10 | 0.06098 | 0.03565 | 0.03258 | 0.1805 | 7.491 | 2 | 0.03578 | 0.06584 | 1 | 1 | 0.04478 | 0.2184 | 0.8975 | 0.04834 | 0.2358 | 0.969 | json |
| t17_x0_u6_b103 | 17 | 0 | 6 | 103 | ![]() |
dot(P,pow(P,nrm(P))) | 98326 | 138051526 | o2(x,o2(x,o1(x))) | true | 103415 | 103415 | -0.5078 | 0.2461 | 1 | 0.7421 | 0.8614 | -1 | 1 | 2 | 1 | 0.805 | 0.007937 | 0.007937 | 0.007918 | 0 | 1 | 0 | 0.03212 | 0.01587 | 0.01581 | 0.1257 | 15.88 | 2.828 | 0.02139 | 0.04329 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02837 | 0.1135 | 0.4539 | json |
| t17_x0_u6_b104 | 17 | 0 | 6 | 104 | ![]() |
dot(P,mod(P,nrm(P))) | 98327 | 138051527 | o2(x,o2(x,o1(x))) | true | 103423 | 103423 | 0.4804 | 0.7656 | 0.9491 | 0.6929 | 0.8324 | -1 | 1 | 2 | 1 | 1.678 | 0.01703 | 0.01703 | 0.03545 | 0.000003609 | 1 | -0.00006238 | 0.06475 | 0.05147 | 0.03279 | 0.1811 | 5.108 | 2.243 | 0.04916 | 0.09344 | 1 | 1 | 0.04532 | 0.2406 | 1.039 | 0.06541 | 0.3472 | 1.5 | json |
| t17_x0_u6_b105 | 17 | 0 | 6 | 105 | ![]() |
dot(P,lrg(P,nrm(P))) | 98328 | 138051528 | o2(x,o2(x,o1(x))) | true | 103431 | 103431 | 0.7123 | 0.7494 | 0.7123 | 0.1974 | 0.4443 | 0 | 1 | 1 | 1 | 1.227 | 0.0002427 | 0.0002427 | 0.00479 | 0.000001259 | 1 | 9.386e-10 | 0.00005865 | 0.001346 | 0.0004624 | 0.0215 | 4.489 | 0.245 | 0.002458 | 0.000297 | 1 | 1 | 0.001363 | 0.01638 | 0.0872 | 0.006905 | 0.08297 | 0.4416 | json |
| t17_x0_u6_b106 | 17 | 0 | 6 | 106 | ![]() |
dot(P,eql(P,nrm(P))) | 98329 | 138051529 | o2(x,o2(x,o1(x))) | true | 103439 | 103439 | 6.633e-11 | 0.02234 | 0.01506 | 0.009593 | 0.09794 | -0.9994 | 0.9994 | 1.999 | 1 | 0.4189 | 0.0001405 | 0.0001405 | 0.003069 | -9.324e-7 | 1 | 1.496e-11 | 0.00001688 | 0.0007212 | 0.0002716 | 0.01648 | 5.369 | 0.1653 | 0.02928 | 0.00176 | 1 | 1 | 0.000977 | 0.01274 | 0.04354 | 0.1018 | 1.328 | 4.538 | json |
| t17_x0_u6_b107 | 17 | 0 | 6 | 107 | ![]() |
dot(P,min(P,nrm(P))) | 98330 | 138051530 | o2(x,o2(x,o1(x))) | true | 103447 | 103447 | 0.9966 | 1 | 0.9966 | 0.002245 | 0.04739 | 0.000582 | 1 | 0.9994 | 1 | 0.08801 | 0.00004199 | 0.00004199 | 0.0008016 | 8.663e-8 | 0 | -1.877e-11 | 0.00001556 | 0.0002504 | 0.00008327 | 0.009125 | 11.38 | 0.1628 | 0.0374 | 0.006929 | 1 | 1 | 0.0002871 | 0.003422 | 0.00819 | 0.1279 | 1.524 | 3.647 | json |
| t17_x0_u6_b108 | 17 | 0 | 6 | 108 | ![]() |
dot(P,dot(P,nrm(P))) | 98331 | 138051531 | o2(x,o2(x,o1(x))) | true | 103455 | 103455 | -0.01563 | 0.4905 | 0.9828 | 0.978 | 0.989 | -1 | 1 | 2 | 1 | 1.29 | 0.004672 | 0.004672 | 0.0129 | 9.967e-8 | 1 | -2.346e-11 | 0.01317 | 0.01234 | 0.009175 | 0.09579 | 7.423 | 2.828 | 0.009554 | 0.01347 | 1 | 1 | 0.01684 | 0.1106 | 0.5594 | 0.01721 | 0.1131 | 0.5719 | json |
| t17_x0_u6_b109 | 17 | 0 | 6 | 109 | ![]() |
dot(P,dst(P,nrm(P))) | 98332 | 138051532 | o2(x,o2(x,o1(x))) | true | 103463 | 103463 | -0.01563 | 0.4905 | 0.9729 | 0.9658 | 0.9827 | -1 | 1 | 2 | 1 | 1.427 | 0.003788 | 0.003788 | 0.01397 | 3.995e-7 | 1 | -6.101e-11 | 0.009522 | 0.01201 | 0.007377 | 0.08589 | 6.148 | 2.587 | 0.007845 | 0.009859 | 1 | 1 | 0.01365 | 0.09913 | 0.529 | 0.01413 | 0.1026 | 0.5478 | json |
| t17_x0_u6_b110 | 17 | 0 | 6 | 110 | ![]() |
dst(P,add(P,nrm(P))) | 98333 | 138051533 | o2(x,o2(x,o1(x))) | true | 103471 | 103471 | 0.9688 | 0.9844 | 1 | 0.06152 | 0.248 | -1 | 1 | 2 | 1 | 0.1161 | 0.004031 | 0.004031 | 0.004013 | 0 | 1 | 5.444e-9 | 0.01663 | 0.008062 | 0.008054 | 0.08974 | 22.36 | 2.828 | 0.131 | 0.2703 | 1 | 1 | 0.01418 | 0.05673 | 0.2269 | 0.2305 | 0.9221 | 3.688 | json |
| t17_x0_u6_b111 | 17 | 0 | 6 | 111 | ![]() |
dst(P,sub(P,nrm(P))) | 98334 | 138051534 | o2(x,o2(x,o1(x))) | true | 103479 | 103479 | 0.9688 | 0.9844 | 1 | 0.06152 | 0.248 | -1 | 1 | 2 | 1 | 0.1161 | 0.004031 | 0.004031 | 0.004013 | 0 | 1 | 6.942e-9 | 0.01663 | 0.008062 | 0.008054 | 0.08974 | 22.36 | 2.828 | 0.131 | 0.2703 | 1 | 1 | 0.01418 | 0.05673 | 0.2269 | 0.2305 | 0.9221 | 3.688 | json |
| t17_x0_u6_b112 | 17 | 0 | 6 | 112 | ![]() |
dst(P,mlt(P,nrm(P))) | 98335 | 138051535 | o2(x,o2(x,o1(x))) | true | 103487 | 103487 | 0.9052 | 0.9844 | 0.9364 | 0.1002 | 0.3165 | -1 | 1 | 2 | 1 | 1.054 | 0.003411 | 0.003411 | 0.01026 | 0.000001058 | 1 | 1.098e-7 | 0.01293 | 0.00882 | 0.006711 | 0.08192 | 7.986 | 2 | 0.0681 | 0.1291 | 1 | 1 | 0.01242 | 0.06136 | 0.2343 | 0.124 | 0.6126 | 2.339 | json |
| t17_x0_u6_b113 | 17 | 0 | 6 | 113 | ![]() |
dst(P,div(P,nrm(P))) | 98336 | 138051536 | o2(x,o2(x,o1(x))) | true | 103495 | 103495 | 0.531 | 0.7656 | 0.9998 | 0.7171 | 0.8468 | -1 | 1 | 2 | 1 | 0.7977 | 0.02757 | 0.02757 | 0.02768 | 6.756e-8 | 1 | 7.884e-11 | 0.1107 | 0.0553 | 0.05436 | 0.2332 | 8.423 | 2.828 | 0.0769 | 0.1544 | 1 | 1 | 0.06953 | 0.2787 | 1.119 | 0.09697 | 0.3887 | 1.561 | json |
| t17_x0_u6_b114 | 17 | 0 | 6 | 114 | ![]() |
dst(P,pow(P,nrm(P))) | 98337 | 138051537 | o2(x,o2(x,o1(x))) | true | 103503 | 103503 | -0.5078 | 0.2461 | 1 | 0.7421 | 0.8614 | -1 | 1 | 2 | 1 | 0.805 | 0.007937 | 0.007937 | 0.007918 | 0 | 1 | 0 | 0.03212 | 0.01587 | 0.01581 | 0.1257 | 15.88 | 2.828 | 0.02139 | 0.04329 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02837 | 0.1135 | 0.4539 | json |
| t17_x0_u6_b115 | 17 | 0 | 6 | 115 | ![]() |
dst(P,mod(P,nrm(P))) | 98338 | 138051538 | o2(x,o2(x,o1(x))) | true | 103511 | 103511 | 0.5313 | 0.7656 | 1 | 0.7172 | 0.8469 | -1 | 1 | 2 | 1 | 0.7856 | 0.02771 | 0.02771 | 0.0277 | 0 | 1 | 0 | 0.1114 | 0.05543 | 0.05465 | 0.2338 | 8.44 | 2.828 | 0.07728 | 0.1553 | 1 | 1 | 0.07003 | 0.2801 | 1.12 | 0.09763 | 0.3905 | 1.562 | json |
| t17_x0_u6_b116 | 17 | 0 | 6 | 116 | ![]() |
dst(P,lrg(P,nrm(P))) | 98339 | 138051539 | o2(x,o2(x,o1(x))) | true | 103519 | 103519 | 0.9963 | 1 | 0.9963 | 0.002336 | 0.04833 | 0.000582 | 1 | 0.9994 | 1 | 0.09906 | 0.00003739 | 0.00003739 | 0.0008243 | 5.351e-7 | 0 | -4.881e-11 | 0.000007132 | 0.0002179 | 0.00007402 | 0.008603 | 10.44 | 0.1294 | 0.03201 | 0.003053 | 1 | 1 | 0.0002588 | 0.00327 | 0.008529 | 0.1108 | 1.4 | 3.652 | json |
| t17_x0_u6_b117 | 17 | 0 | 6 | 117 | ![]() |
dst(P,eql(P,nrm(P))) | 98340 | 138051540 | o2(x,o2(x,o1(x))) | true | 103527 | 103527 | 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_x0_u6_b118 | 17 | 0 | 6 | 118 | ![]() |
dst(P,min(P,nrm(P))) | 98341 | 138051541 | o2(x,o2(x,o1(x))) | true | 103535 | 103535 | 0.6931 | 0.7484 | 0.6931 | 0.1983 | 0.4453 | 0 | 1 | 1 | 1 | 1.488 | 0.0001596 | 0.0001596 | 0.004745 | -0.000003876 | 1 | 1.639e-7 | 0.00003297 | 0.001396 | 0.0002967 | 0.01723 | 3.631 | 0.1176 | 0.00161 | 0.0001663 | 1 | 1 | 0.0008565 | 0.01058 | 0.08301 | 0.00432 | 0.05337 | 0.4187 | json |
| t17_x0_u6_b119 | 17 | 0 | 6 | 119 | ![]() |
dst(P,dot(P,nrm(P))) | 98342 | 138051542 | o2(x,o2(x,o1(x))) | true | 103543 | 103543 | 0.9688 | 0.9844 | 1 | 0.06152 | 0.248 | -1 | 1 | 2 | 1 | 0.1161 | 0.004031 | 0.004031 | 0.004013 | 0 | 1 | 0 | 0.01663 | 0.008062 | 0.008054 | 0.08974 | 22.36 | 2.828 | 0.131 | 0.2703 | 1 | 1 | 0.01418 | 0.05673 | 0.2269 | 0.2305 | 0.9221 | 3.688 | json |
| t17_x0_u6_b120 | 17 | 0 | 6 | 120 | ![]() |
dst(P,dst(P,nrm(P))) | 98343 | 138051543 | o2(x,o2(x,o1(x))) | true | 103551 | 103551 | 0.9687 | 0.9844 | 0.9999 | 0.06152 | 0.248 | -1 | 1 | 2 | 1 | 0.1205 | 0.003995 | 0.003995 | 0.004022 | 5.828e-8 | 1 | 1.84e-10 | 0.01647 | 0.008047 | 0.007981 | 0.08934 | 22.21 | 2.724 | 0.1299 | 0.2677 | 1 | 1 | 0.01406 | 0.05656 | 0.2268 | 0.2286 | 0.9193 | 3.686 | json |
| t17_x1_u0_b0 | 17 | 1 | 0 | 0 | ![]() |
add(P,add(P,sqt(D))) | 98344 | 138090618 | o2(x,o2(x,o1(x))) | true | 103559 | 103559 | -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_x1_u0_b1 | 17 | 1 | 0 | 1 | ![]() |
add(P,sub(P,sqt(D))) | 98345 | 138090619 | o2(x,o2(x,o1(x))) | true | 103567 | 103567 | -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_x1_u0_b2 | 17 | 1 | 0 | 2 | ![]() |
add(P,mlt(P,sqt(D))) | 98346 | 138090620 | o2(x,o2(x,o1(x))) | true | 103575 | 103575 | -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_x1_u0_b3 | 17 | 1 | 0 | 3 | ![]() |
add(P,div(P,sqt(D))) | 98347 | 138090621 | o2(x,o2(x,o1(x))) | true | 103583 | 103583 | -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_x1_u0_b4 | 17 | 1 | 0 | 4 | ![]() |
add(P,pow(P,sqt(D))) | 98348 | 138090622 | o2(x,o2(x,o1(x))) | true | 103591 | 103591 | -0.8965 | 0.0625 | 0.9785 | 0.1709 | 0.4135 | -1 | 1 | 2 | 1 | 0.475 | 0.0205 | 0 | 0.01587 | 1 | 1 | 0 | 0.03972 | 0.0255 | 0.02024 | 0.1423 | 8.963 | 2 | 0.1199 | 0.2323 | 1 | 1 | 0.02803 | 0.1343 | 0.2447 | 0.164 | 0.7856 | 1.432 | json |
| t17_x1_u0_b5 | 17 | 1 | 0 | 5 | ![]() |
add(P,mod(P,sqt(D))) | 98349 | 138090623 | o2(x,o2(x,o1(x))) | true | 103599 | 103599 | -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_x1_u0_b6 | 17 | 1 | 0 | 6 | ![]() |
add(P,lrg(P,sqt(D))) | 98350 | 138090624 | o2(x,o2(x,o1(x))) | true | 103607 | 103607 | 0.0625 | 0.5313 | 0.9375 | 0.9184 | 0.9583 | -1 | 1 | 2 | 1 | 1.809 | 0.01063 | 0 | 0.02379 | 1 | 1 | 0 | 0.0166 | 0.02131 | 0.01007 | 0.1003 | 4.218 | 0.9988 | 0.01158 | 0.01808 | 1 | 1 | 0.0172 | 0.07175 | 0.2321 | 0.01872 | 0.07812 | 0.2528 | json |
| t17_x1_u0_b7 | 17 | 1 | 0 | 7 | ![]() |
add(P,eql(P,sqt(D))) | 98351 | 138090625 | o2(x,o2(x,o1(x))) | true | 103615 | 103615 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t17_x1_u0_b8 | 17 | 1 | 0 | 8 | ![]() |
add(P,min(P,sqt(D))) | 98352 | 138090626 | o2(x,o2(x,o1(x))) | true | 103623 | 103623 | 0 | 0.5 | 0.9569 | 0.9494 | 0.9744 | -1 | 1 | 2 | 1 | 1.488 | 0.001303 | 0 | 0.007937 | 1 | 1 | 0 | 0.0002681 | 0.003586 | 0.001241 | 0.03522 | 4.438 | 0.2265 | 0.001373 | 0.0002824 | 1 | 1 | 0.003279 | 0.03268 | 0.2686 | 0.003454 | 0.03442 | 0.2829 | json |
| t17_x1_u0_b9 | 17 | 1 | 0 | 9 | ![]() |
add(P,dot(P,sqt(D))) | 98353 | 138090627 | o2(x,o2(x,o1(x))) | true | 103631 | 103631 | -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_x1_u0_b10 | 17 | 1 | 0 | 10 | ![]() |
add(P,dst(P,sqt(D))) | 98354 | 138090628 | o2(x,o2(x,o1(x))) | true | 103639 | 103639 | -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_x1_u0_b11 | 17 | 1 | 0 | 11 | ![]() |
sub(P,add(P,sqt(D))) | 98355 | 138090629 | o2(x,o2(x,o1(x))) | true | 103647 | 103647 | -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_x1_u0_b12 | 17 | 1 | 0 | 12 | ![]() |
sub(P,sub(P,sqt(D))) | 98356 | 138090630 | o2(x,o2(x,o1(x))) | true | 103655 | 103655 | -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_x1_u0_b13 | 17 | 1 | 0 | 13 | ![]() |
sub(P,mlt(P,sqt(D))) | 98357 | 138090631 | o2(x,o2(x,o1(x))) | true | 103663 | 103663 | -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_x1_u0_b14 | 17 | 1 | 0 | 14 | ![]() |
sub(P,div(P,sqt(D))) | 98358 | 138090632 | o2(x,o2(x,o1(x))) | true | 103671 | 103671 | -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_x1_u0_b15 | 17 | 1 | 0 | 15 | ![]() |
sub(P,pow(P,sqt(D))) | 98359 | 138090633 | o2(x,o2(x,o1(x))) | true | 103679 | 103679 | -0.9375 | 0 | 0.9375 | 0.05859 | 0.2421 | -1 | 0 | 1 | 1 | 0.3373 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.1354 | 0.2709 | 1 | 1 | 0.01053 | 0.04211 | 0.08421 | 0.1796 | 0.7186 | 1.437 | json |
| t17_x1_u0_b16 | 17 | 1 | 0 | 16 | ![]() |
sub(P,mod(P,sqt(D))) | 98360 | 138090634 | o2(x,o2(x,o1(x))) | true | 103687 | 103687 | -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_x1_u0_b17 | 17 | 1 | 0 | 17 | ![]() |
sub(P,lrg(P,sqt(D))) | 98361 | 138090635 | o2(x,o2(x,o1(x))) | true | 103695 | 103695 | -0.09375 | 0.4375 | 0.9063 | 0.89 | 0.9434 | -1 | 1 | 2 | 1 | 1.621 | 0.004321 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.007953 | 0.008864 | 0.004257 | 0.06525 | 8.221 | 1 | 0.004855 | 0.008935 | 1 | 1 | 0.006189 | 0.0332 | 0.2014 | 0.006953 | 0.0373 | 0.2263 | json |
| t17_x1_u0_b18 | 17 | 1 | 0 | 18 | ![]() |
sub(P,eql(P,sqt(D))) | 98362 | 138090636 | o2(x,o2(x,o1(x))) | true | 103703 | 103703 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t17_x1_u0_b19 | 17 | 1 | 0 | 19 | ![]() |
sub(P,min(P,sqt(D))) | 98363 | 138090637 | o2(x,o2(x,o1(x))) | true | 103711 | 103711 | 0.2821 | 0.4336 | 0.2821 | 0.1771 | 0.4209 | 0 | 1 | 1 | 1 | 1.731 | 0.03211 | 0 | 0.05394 | 1 | 1 | -0.0005473 | 0.05699 | 0.06929 | 0.02921 | 0.1709 | 3.168 | 1 | 0.1813 | 0.3217 | 1 | 1 | 0.03465 | 0.1138 | 0.04161 | 0.1956 | 0.6425 | 0.2349 | json |
| t17_x1_u0_b20 | 17 | 1 | 0 | 20 | ![]() |
sub(P,dot(P,sqt(D))) | 98364 | 138090638 | o2(x,o2(x,o1(x))) | true | 103719 | 103719 | -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_x1_u0_b21 | 17 | 1 | 0 | 21 | ![]() |
sub(P,dst(P,sqt(D))) | 98365 | 138090639 | o2(x,o2(x,o1(x))) | true | 103727 | 103727 | -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_x1_u0_b22 | 17 | 1 | 0 | 22 | ![]() |
mlt(P,add(P,sqt(D))) | 98366 | 138090640 | o2(x,o2(x,o1(x))) | true | 103735 | 103735 | -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_x1_u0_b23 | 17 | 1 | 0 | 23 | ![]() |
mlt(P,sub(P,sqt(D))) | 98367 | 138090641 | o2(x,o2(x,o1(x))) | true | 103743 | 103743 | -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_x1_u0_b24 | 17 | 1 | 0 | 24 | ![]() |
mlt(P,mlt(P,sqt(D))) | 98368 | 138090642 | o2(x,o2(x,o1(x))) | true | 103751 | 103751 | -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_x1_u0_b25 | 17 | 1 | 0 | 25 | ![]() |
mlt(P,div(P,sqt(D))) | 98369 | 138090643 | o2(x,o2(x,o1(x))) | true | 103759 | 103759 | -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_x1_u0_b26 | 17 | 1 | 0 | 26 | ![]() |
mlt(P,pow(P,sqt(D))) | 98370 | 138090644 | o2(x,o2(x,o1(x))) | true | 103767 | 103767 | -0.9063 | 0.0625 | 0.9688 | 0.1407 | 0.3751 | -1 | 0.9997 | 2 | 1 | 0.5501 | 0.02019 | 0 | 0.01587 | 1 | 1 | 0 | 0.03975 | 0.02468 | 0.01993 | 0.1412 | 8.896 | 2 | 0.1435 | 0.2825 | 1 | 1 | 0.0272 | 0.1109 | 0.2014 | 0.1933 | 0.7879 | 1.432 | json |
| t17_x1_u0_b27 | 17 | 1 | 0 | 27 | ![]() |
mlt(P,mod(P,sqt(D))) | 98371 | 138090645 | o2(x,o2(x,o1(x))) | true | 103775 | 103775 | -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_x1_u0_b28 | 17 | 1 | 0 | 28 | ![]() |
mlt(P,lrg(P,sqt(D))) | 98372 | 138090646 | o2(x,o2(x,o1(x))) | true | 103783 | 103783 | 0.159 | 0.5 | 0.7785 | 0.7238 | 0.8508 | -1 | 1 | 2 | 1 | 2.664 | 0.03425 | 0 | 0.05865 | 1 | 1 | 0.0006289 | 0.05953 | 0.07312 | 0.0308 | 0.1755 | 2.992 | 0.9997 | 0.04732 | 0.08225 | 1 | 1 | 0.03608 | 0.121 | 0.1551 | 0.04985 | 0.1672 | 0.2143 | json |
| t17_x1_u0_b29 | 17 | 1 | 0 | 29 | ![]() |
mlt(P,eql(P,sqt(D))) | 98373 | 138090647 | o2(x,o2(x,o1(x))) | true | 103791 | 103791 | 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_x1_u0_b30 | 17 | 1 | 0 | 30 | ![]() |
mlt(P,min(P,sqt(D))) | 98374 | 138090648 | o2(x,o2(x,o1(x))) | true | 103799 | 103799 | 0.9215 | 1 | 0.9215 | 0.05167 | 0.2273 | 0.000291 | 1 | 0.9997 | 1 | 1.051 | 0.009014 | 0 | 0.02637 | 1 | 1 | -1.419e-9 | 0.01995 | 0.03186 | 0.008322 | 0.09123 | 3.46 | 0.8218 | 0.1745 | 0.3861 | 1 | 1 | 0.01068 | 0.0322 | 0.06941 | 0.2067 | 0.6232 | 1.343 | json |
| t17_x1_u0_b31 | 17 | 1 | 0 | 31 | ![]() |
mlt(P,dot(P,sqt(D))) | 98375 | 138090649 | o2(x,o2(x,o1(x))) | true | 103807 | 103807 | -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_x1_u0_b32 | 17 | 1 | 0 | 32 | ![]() |
mlt(P,dst(P,sqt(D))) | 98376 | 138090650 | o2(x,o2(x,o1(x))) | true | 103815 | 103815 | -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_x1_u0_b33 | 17 | 1 | 0 | 33 | ![]() |
div(P,add(P,sqt(D))) | 98377 | 138090651 | o2(x,o2(x,o1(x))) | true | 103823 | 103823 | -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_x1_u0_b34 | 17 | 1 | 0 | 34 | ![]() |
div(P,sub(P,sqt(D))) | 98378 | 138090652 | o2(x,o2(x,o1(x))) | true | 103831 | 103831 | -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_x1_u0_b35 | 17 | 1 | 0 | 35 | ![]() |
div(P,mlt(P,sqt(D))) | 98379 | 138090653 | o2(x,o2(x,o1(x))) | true | 103839 | 103839 | -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_x1_u0_b36 | 17 | 1 | 0 | 36 | ![]() |
div(P,div(P,sqt(D))) | 98380 | 138090654 | o2(x,o2(x,o1(x))) | true | 103847 | 103847 | -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_x1_u0_b37 | 17 | 1 | 0 | 37 | ![]() |
div(P,pow(P,sqt(D))) | 98381 | 138090655 | o2(x,o2(x,o1(x))) | true | 103855 | 103855 | -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_x1_u0_b38 | 17 | 1 | 0 | 38 | ![]() |
div(P,mod(P,sqt(D))) | 98382 | 138090656 | o2(x,o2(x,o1(x))) | true | 103863 | 103863 | -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_x1_u0_b39 | 17 | 1 | 0 | 39 | ![]() |
div(P,lrg(P,sqt(D))) | 98383 | 138090657 | o2(x,o2(x,o1(x))) | true | 103871 | 103871 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01612 | 0.03225 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02139 | 0.08555 | 0.3422 | json |
| t17_x1_u0_b40 | 17 | 1 | 0 | 40 | ![]() |
div(P,eql(P,sqt(D))) | 98384 | 138090658 | o2(x,o2(x,o1(x))) | true | 103879 | 103879 | -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_x1_u0_b41 | 17 | 1 | 0 | 41 | ![]() |
div(P,min(P,sqt(D))) | 98385 | 138090659 | o2(x,o2(x,o1(x))) | true | 103887 | 103887 | 0.75 | 0.875 | 1 | 0.4375 | 0.6614 | -1 | 1 | 2 | 1 | 0.5436 | 0.03175 | 0 | 0.01587 | 1 | 1 | 3.784e-9 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.07256 | 0.1451 | 1 | 1 | 0.04211 | 0.1684 | 0.6737 | 0.09624 | 0.385 | 1.54 | json |
| t17_x1_u0_b42 | 17 | 1 | 0 | 42 | ![]() |
div(P,dot(P,sqt(D))) | 98386 | 138090660 | o2(x,o2(x,o1(x))) | true | 103895 | 103895 | -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_x1_u0_b43 | 17 | 1 | 0 | 43 | ![]() |
div(P,dst(P,sqt(D))) | 98387 | 138090661 | o2(x,o2(x,o1(x))) | true | 103903 | 103903 | -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_x1_u0_b44 | 17 | 1 | 0 | 44 | ![]() |
pow(P,add(P,sqt(D))) | 98388 | 138090662 | o2(x,o2(x,o1(x))) | true | 103911 | 103911 | -0.9063 | 0.0625 | 0.9688 | 0.1407 | 0.3751 | -1 | 0.9997 | 2 | 1 | 0.5501 | 0.02019 | 0 | 0.01587 | 1 | 1 | 0 | 0.03975 | 0.02468 | 0.01993 | 0.1412 | 8.896 | 2 | 0.1435 | 0.2825 | 1 | 1 | 0.0272 | 0.1109 | 0.2014 | 0.1933 | 0.7879 | 1.432 | json |
| t17_x1_u0_b45 | 17 | 1 | 0 | 45 | ![]() |
pow(P,sub(P,sqt(D))) | 98389 | 138090663 | o2(x,o2(x,o1(x))) | true | 103919 | 103919 | -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_x1_u0_b46 | 17 | 1 | 0 | 46 | ![]() |
pow(P,mlt(P,sqt(D))) | 98390 | 138090664 | o2(x,o2(x,o1(x))) | true | 103927 | 103927 | -0.875 | 0.0625 | 1 | 0.2344 | 0.4841 | -1 | 1 | 2 | 1 | 0.3373 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.1354 | 0.2709 | 1 | 1 | 0.04211 | 0.1684 | 0.3368 | 0.1796 | 0.7186 | 1.437 | json |
| t17_x1_u0_b47 | 17 | 1 | 0 | 47 | ![]() |
pow(P,div(P,sqt(D))) | 98391 | 138090665 | o2(x,o2(x,o1(x))) | true | 103935 | 103935 | -0.875 | 0.0625 | 1 | 0.2344 | 0.4841 | -1 | 1 | 2 | 1 | 0.3373 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.1354 | 0.2709 | 1 | 1 | 0.04211 | 0.1684 | 0.3368 | 0.1796 | 0.7186 | 1.437 | json |
| t17_x1_u0_b48 | 17 | 1 | 0 | 48 | ![]() |
pow(P,pow(P,sqt(D))) | 98392 | 138090666 | o2(x,o2(x,o1(x))) | true | 103943 | 103943 | -0.875 | 0.0625 | 1 | 0.2344 | 0.4841 | -1 | 1 | 2 | 1 | 0.3373 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.1354 | 0.2709 | 1 | 1 | 0.04211 | 0.1684 | 0.3368 | 0.1796 | 0.7186 | 1.437 | json |
| t17_x1_u0_b49 | 17 | 1 | 0 | 49 | ![]() |
pow(P,mod(P,sqt(D))) | 98393 | 138090667 | o2(x,o2(x,o1(x))) | true | 103951 | 103951 | -0.875 | 0.0625 | 1 | 0.2344 | 0.4841 | -1 | 1 | 2 | 1 | 0.3373 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.1354 | 0.2709 | 1 | 1 | 0.04211 | 0.1684 | 0.3368 | 0.1796 | 0.7186 | 1.437 | json |
| t17_x1_u0_b50 | 17 | 1 | 0 | 50 | ![]() |
pow(P,lrg(P,sqt(D))) | 98394 | 138090668 | o2(x,o2(x,o1(x))) | true | 103959 | 103959 | 0.09375 | 0.5625 | 0.9688 | 0.9525 | 0.976 | -1 | 1 | 2 | 1 | 1.404 | 0.02019 | 0 | 0.01587 | 1 | 1 | 0 | 0.03985 | 0.02473 | 0.01993 | 0.1412 | 8.897 | 2 | 0.02119 | 0.04183 | 1 | 1 | 0.02712 | 0.09775 | 0.2856 | 0.02848 | 0.1026 | 0.2999 | json |
| t17_x1_u0_b51 | 17 | 1 | 0 | 51 | ![]() |
pow(P,eql(P,sqt(D))) | 98395 | 138090669 | o2(x,o2(x,o1(x))) | true | 103967 | 103967 | 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_x1_u0_b52 | 17 | 1 | 0 | 52 | ![]() |
pow(P,min(P,sqt(D))) | 98396 | 138090670 | o2(x,o2(x,o1(x))) | true | 103975 | 103975 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |
| t17_x1_u0_b53 | 17 | 1 | 0 | 53 | ![]() |
pow(P,dot(P,sqt(D))) | 98397 | 138090671 | o2(x,o2(x,o1(x))) | true | 103983 | 103983 | -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_x1_u0_b54 | 17 | 1 | 0 | 54 | ![]() |
pow(P,dst(P,sqt(D))) | 98398 | 138090672 | o2(x,o2(x,o1(x))) | true | 103991 | 103991 | -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_x1_u0_b55 | 17 | 1 | 0 | 55 | ![]() |
mod(P,add(P,sqt(D))) | 98399 | 138090673 | o2(x,o2(x,o1(x))) | true | 103999 | 103999 | -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 |



































































































