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_u0_b3 | 17 | 0 | 0 | 3 | ![]() |
add(P,div(P,sqt(P))) | 97500 | 138050220 | o2(x,o2(x,o1(x))) | true | 96807 | 96807 | -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_x0_u0_b4 | 17 | 0 | 0 | 4 | ![]() |
add(P,pow(P,sqt(P))) | 97501 | 138050221 | o2(x,o2(x,o1(x))) | true | 96815 | 96815 | 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_x0_u0_b5 | 17 | 0 | 0 | 5 | ![]() |
add(P,mod(P,sqt(P))) | 97502 | 138050222 | o2(x,o2(x,o1(x))) | true | 96823 | 96823 | -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_x0_u0_b6 | 17 | 0 | 0 | 6 | ![]() |
add(P,lrg(P,sqt(P))) | 97503 | 138050223 | o2(x,o2(x,o1(x))) | true | 96831 | 96831 | 0.0625 | 0.5 | 0.875 | 0.8576 | 0.926 | -1 | 1 | 2 | 1 | 2.027 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003238 | 0.001855 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0008231 | 0.00003776 | 1 | 1 | 0.001851 | 0.02429 | 0.1593 | 0.002158 | 0.02832 | 0.1858 | json |
| t17_x0_u0_b7 | 17 | 0 | 0 | 7 | ![]() |
add(P,eql(P,sqt(P))) | 97504 | 138050224 | o2(x,o2(x,o1(x))) | true | 96839 | 96839 | 0.0625 | 0.5313 | 0.9806 | 0.969 | 0.9844 | -1 | 1 | 2 | 1 | 1.326 | 0.001412 | 0 | 0.007937 | 1 | 1 | 0 | 0.00006477 | 0.001855 | 0.001349 | 0.03673 | 4.628 | 0.2338 | 0.001457 | 0.00006684 | 1 | 1 | 0.003702 | 0.04857 | 0.3004 | 0.00382 | 0.05012 | 0.31 | json |
| t17_x0_u0_b8 | 17 | 0 | 0 | 8 | ![]() |
add(P,min(P,sqt(P))) | 97505 | 138050225 | o2(x,o2(x,o1(x))) | true | 96847 | 96847 | 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_x0_u0_b9 | 17 | 0 | 0 | 9 | ![]() |
add(P,dot(P,sqt(P))) | 97506 | 138050226 | o2(x,o2(x,o1(x))) | true | 96855 | 96855 | -0.5006 | 0.25 | 0.9994 | 0.7486 | 0.8652 | -1 | 1 | 2 | 1 | 0.826 | 0.00755 | 0.007669 | 0.00789 | -0.00779 | 1 | 7.509e-11 | 0.03042 | 0.01552 | 0.01516 | 0.1231 | 15.6 | 2 | 0.02033 | 0.04064 | 1 | 1 | 0.01995 | 0.08149 | 0.334 | 0.02665 | 0.1089 | 0.4462 | json |
| t17_x0_u0_b10 | 17 | 0 | 0 | 10 | ![]() |
add(P,dst(P,sqt(P))) | 97507 | 138050227 | o2(x,o2(x,o1(x))) | true | 96863 | 96863 | -0.5033 | 0.25 | 0.9967 | 0.7424 | 0.8616 | -1 | 1 | 2 | 1 | 0.8763 | 0.006504 | 0.007538 | 0.007863 | -0.07365 | 1 | -1.126e-11 | 0.02802 | 0.01482 | 0.01398 | 0.1182 | 15.04 | 2 | 0.01891 | 0.03774 | 1 | 1 | 0.01792 | 0.07464 | 0.3216 | 0.02414 | 0.1005 | 0.4333 | json |
| t17_x0_u0_b11 | 17 | 0 | 0 | 11 | ![]() |
sub(P,add(P,sqt(P))) | 97508 | 138050228 | o2(x,o2(x,o1(x))) | true | 96871 | 96871 | -0.9688 | 0 | 0.9688 | 0.02351 | 0.1533 | -1 | -0.000291 | 0.9997 | 1 | 0.459 | 0.004319 | 0 | 0.007934 | 1 | 1 | 0 | 0.008002 | 0.008862 | 0.004255 | 0.06523 | 8.221 | 0.9997 | 0.1837 | 0.3404 | 1 | 1 | 0.00615 | 0.02664 | 0.03299 | 0.2616 | 1.133 | 1.403 | json |
| t17_x0_u0_b12 | 17 | 0 | 0 | 12 | ![]() |
sub(P,sub(P,sqt(P))) | 97509 | 138050229 | o2(x,o2(x,o1(x))) | true | 96879 | 96879 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0.006228 | 0.03975 | 0.2856 | 0.006485 | 0.04139 | 0.2974 | json |
| t17_x0_u0_b13 | 17 | 0 | 0 | 13 | ![]() |
sub(P,mlt(P,sqt(P))) | 97510 | 138050230 | o2(x,o2(x,o1(x))) | true | 96887 | 96887 | -0.8988 | 0 | 0.8988 | 0.08011 | 0.283 | -1 | 0 | 1 | 1 | 0.9785 | 0.004249 | 0 | 0.007937 | 1 | 1 | -2.129e-9 | 0.007974 | 0.009266 | 0.004185 | 0.06469 | 8.151 | 1 | 0.05304 | 0.09954 | 1 | 1 | 0.005983 | 0.03013 | 0.1189 | 0.07469 | 0.3761 | 1.484 | json |
| t17_x0_u0_b14 | 17 | 0 | 0 | 14 | ![]() |
sub(P,div(P,sqt(P))) | 97511 | 138050231 | o2(x,o2(x,o1(x))) | true | 96895 | 96895 | -0.1789 | 0.4375 | 0.946 | 0.8982 | 0.9477 | -1 | 1 | 2 | 1 | 1.639 | 0.00419 | 0 | 0.007937 | 1 | 1 | 4.735e-10 | 0.00793 | 0.009079 | 0.004126 | 0.06423 | 8.093 | 1 | 0.004665 | 0.008829 | 1 | 1 | 0.005856 | 0.03176 | 0.2421 | 0.006519 | 0.03536 | 0.2696 | json |
| t17_x0_u0_b15 | 17 | 0 | 0 | 15 | ![]() |
sub(P,pow(P,sqt(P))) | 97512 | 138050232 | o2(x,o2(x,o1(x))) | true | 96903 | 96903 | -0.9231 | 0 | 0.9231 | 0.05141 | 0.2267 | -1 | -0.0001936 | 0.9998 | 1 | 0.997 | 0.0006489 | 0 | 0.007935 | 1 | 1 | -1.183e-10 | 0.0001015 | 0.002587 | 0.0005862 | 0.02421 | 3.051 | 0.1324 | 0.01262 | 0.001974 | 1 | 1 | 0.001654 | 0.01979 | 0.07718 | 0.03217 | 0.385 | 1.501 | json |
| t17_x0_u0_b16 | 17 | 0 | 0 | 16 | ![]() |
sub(P,mod(P,sqt(P))) | 97513 | 138050233 | o2(x,o2(x,o1(x))) | true | 96911 | 96911 | -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_x0_u0_b17 | 17 | 0 | 0 | 17 | ![]() |
sub(P,lrg(P,sqt(P))) | 97514 | 138050234 | o2(x,o2(x,o1(x))) | true | 96919 | 96919 | -0.009727 | 0.5 | 0.9472 | 0.9365 | 0.9677 | -1 | 1 | 2 | 1 | 1.65 | 0.001005 | 0 | 0.007937 | 1 | 1 | 4.731e-10 | 0.0001502 | 0.002719 | 0.0009424 | 0.0307 | 3.868 | 0.2265 | 0.001073 | 0.0001604 | 1 | 1 | 0.002565 | 0.02848 | 0.2515 | 0.002739 | 0.03041 | 0.2686 | json |
| t17_x0_u0_b18 | 17 | 0 | 0 | 18 | ![]() |
sub(P,eql(P,sqt(P))) | 97515 | 138050235 | o2(x,o2(x,o1(x))) | true | 96927 | 96927 | -0.1153 | 0.4375 | 0.9472 | 0.9229 | 0.9607 | -1 | 1 | 2 | 1 | 1.642 | 0.001005 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.0001502 | 0.002719 | 0.0009424 | 0.0307 | 3.868 | 0.2265 | 0.001089 | 0.0001628 | 1 | 1 | 0.002565 | 0.02848 | 0.2515 | 0.00278 | 0.03086 | 0.2725 | json |
| t17_x0_u0_b19 | 17 | 0 | 0 | 19 | ![]() |
sub(P,min(P,sqt(P))) | 97516 | 138050236 | o2(x,o2(x,o1(x))) | true | 96935 | 96935 | 0.3835 | 0.4375 | 0.3835 | 0.2201 | 0.4692 | 0 | 1 | 1 | 1 | 1.535 | 0.0002202 | 0 | 0.003968 | 1 | 1 | 1.064e-9 | 0.00002227 | 0.001173 | 0.0002046 | 0.01431 | 3.605 | 0.07973 | 0.001 | 0.0001012 | 1 | 1 | 0.0005694 | 0.006871 | 0.06218 | 0.002587 | 0.03121 | 0.2825 | json |
| t17_x0_u0_b20 | 17 | 0 | 0 | 20 | ![]() |
sub(P,dot(P,sqt(P))) | 97517 | 138050237 | o2(x,o2(x,o1(x))) | true | 96943 | 96943 | -0.9971 | 0 | 0.9971 | 0.002144 | 0.0463 | -1 | -0.000291 | 0.9997 | 1 | 0.06815 | 0.0001075 | 0.0003994 | 0.001002 | -0.5757 | 1 | 2.628e-11 | 0.000973 | 0.001202 | 0.0005055 | 0.02248 | 22.45 | 0.9997 | 0.2364 | 0.4539 | 1 | 1 | 0.000961 | 0.004276 | 0.007757 | 0.4483 | 1.994 | 3.618 | json |
| t17_x0_u0_b21 | 17 | 0 | 0 | 21 | ![]() |
sub(P,dst(P,sqt(P))) | 97518 | 138050238 | o2(x,o2(x,o1(x))) | true | 96951 | 96951 | -0.6608 | 0.1719 | 0.9608 | 0.5112 | 0.715 | -1 | 1 | 2 | 1 | 1.274 | 0.0006336 | 0.007715 | 0.009594 | -0.8482 | 1 | -0.00001061 | 0.01594 | 0.009902 | 0.008263 | 0.0909 | 9.475 | 2 | 0.01633 | 0.03118 | 1 | 1 | 0.01156 | 0.05633 | 0.3334 | 0.02261 | 0.1102 | 0.6521 | json |
| t17_x0_u0_b22 | 17 | 0 | 0 | 22 | ![]() |
mlt(P,add(P,sqt(P))) | 97519 | 138050239 | o2(x,o2(x,o1(x))) | true | 96959 | 96959 | -0.02152 | 0.5 | 0.9785 | 0.9739 | 0.9869 | -1 | 1 | 2 | 1 | 1.244 | 0.004625 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.007971 | 0.009631 | 0.00456 | 0.06753 | 8.509 | 1.001 | 0.004749 | 0.008185 | 1 | 1 | 0.006981 | 0.05009 | 0.3027 | 0.007168 | 0.05143 | 0.3108 | json |
| t17_x0_u0_b23 | 17 | 0 | 0 | 23 | ![]() |
mlt(P,sub(P,sqt(P))) | 97520 | 138050240 | o2(x,o2(x,o1(x))) | true | 96967 | 96967 | -0.0906 | 0.4375 | 0.9094 | 0.8955 | 0.9463 | -1 | 1 | 2 | 1 | 1.558 | 0.004409 | 0 | 0.007937 | 1 | 1 | 9.386e-13 | 0.007985 | 0.009023 | 0.004345 | 0.06592 | 8.305 | 1 | 0.004924 | 0.008918 | 1 | 1 | 0.0064 | 0.03468 | 0.2073 | 0.007147 | 0.03873 | 0.2315 | json |
| t17_x0_u0_b24 | 17 | 0 | 0 | 24 | ![]() |
mlt(P,mlt(P,sqt(P))) | 97521 | 138050241 | o2(x,o2(x,o1(x))) | true | 96975 | 96975 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0.006228 | 0.03975 | 0.2856 | 0.006485 | 0.04139 | 0.2974 | json |
| t17_x0_u0_b25 | 17 | 0 | 0 | 25 | ![]() |
mlt(P,div(P,sqt(P))) | 97522 | 138050242 | o2(x,o2(x,o1(x))) | true | 96983 | 96983 | -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_x0_u0_b26 | 17 | 0 | 0 | 26 | ![]() |
mlt(P,pow(P,sqt(P))) | 97523 | 138050243 | o2(x,o2(x,o1(x))) | true | 96991 | 96991 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0.006228 | 0.03975 | 0.2856 | 0.006485 | 0.04139 | 0.2974 | json |
| t17_x0_u0_b27 | 17 | 0 | 0 | 27 | ![]() |
mlt(P,mod(P,sqt(P))) | 97524 | 138050244 | o2(x,o2(x,o1(x))) | true | 96999 | 96999 | -0.1885 | 0.4375 | 0.9365 | 0.8899 | 0.9434 | -1 | 1 | 2 | 1 | 1.628 | 0.006067 | 0 | 0.01587 | 1 | 1 | 3.311e-9 | 0.008439 | 0.01372 | 0.005811 | 0.07623 | 4.804 | 1 | 0.006817 | 0.009483 | 1 | 1 | 0.0105 | 0.07435 | 0.3311 | 0.01179 | 0.08355 | 0.3721 | json |
| t17_x0_u0_b28 | 17 | 0 | 0 | 28 | ![]() |
mlt(P,lrg(P,sqt(P))) | 97525 | 138050245 | o2(x,o2(x,o1(x))) | true | 97007 | 97007 | -0.05277 | 0.4375 | 0.8847 | 0.8716 | 0.9336 | -1 | 1 | 2 | 1 | 1.869 | 0.001005 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.0001503 | 0.002725 | 0.0009424 | 0.0307 | 3.868 | 0.2265 | 0.001153 | 0.0001724 | 1 | 1 | 0.002565 | 0.02807 | 0.1699 | 0.002943 | 0.03221 | 0.1949 | json |
| t17_x0_u0_b29 | 17 | 0 | 0 | 29 | ![]() |
mlt(P,eql(P,sqt(P))) | 97526 | 138050246 | o2(x,o2(x,o1(x))) | true | 97015 | 97015 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t17_x0_u0_b30 | 17 | 0 | 0 | 30 | ![]() |
mlt(P,min(P,sqt(P))) | 97527 | 138050247 | o2(x,o2(x,o1(x))) | true | 97023 | 97023 | 0.9375 | 1 | 0.9375 | 0.04507 | 0.2123 | 0.000291 | 1 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t17_x0_u0_b31 | 17 | 0 | 0 | 31 | ![]() |
mlt(P,dot(P,sqt(P))) | 97528 | 138050248 | o2(x,o2(x,o1(x))) | true | 97031 | 97031 | -0.5069 | 0.25 | 0.9931 | 0.735 | 0.8573 | -1 | 1 | 2 | 1 | 0.9022 | 0.002601 | 0.007534 | 0.007821 | -0.4867 | 1 | 5.425e-8 | 0.01922 | 0.01299 | 0.01007 | 0.1004 | 12.83 | 2 | 0.01379 | 0.02615 | 1 | 1 | 0.01382 | 0.06971 | 0.3173 | 0.0188 | 0.09484 | 0.4316 | json |
| t17_x0_u0_b32 | 17 | 0 | 0 | 32 | ![]() |
mlt(P,dst(P,sqt(P))) | 97529 | 138050249 | o2(x,o2(x,o1(x))) | true | 97039 | 97039 | -0.5182 | 0.2458 | 0.9818 | 0.7104 | 0.8428 | -1 | 1 | 2 | 1 | 1.005 | 0.002314 | 0.006832 | 0.007704 | -0.4939 | 1 | 7.3e-8 | 0.0177 | 0.01208 | 0.009087 | 0.09533 | 12.37 | 2 | 0.01288 | 0.02492 | 1 | 1 | 0.01194 | 0.05646 | 0.2792 | 0.01681 | 0.07948 | 0.3931 | json |
| t17_x0_u0_b33 | 17 | 0 | 0 | 33 | ![]() |
div(P,add(P,sqt(P))) | 97530 | 138050250 | o2(x,o2(x,o1(x))) | true | 97047 | 97047 | -0.273 | 0.4375 | 0.8521 | 0.6814 | 0.8254 | -1 | 0.7388 | 1.739 | 1 | 1.755 | 0.008932 | 0 | 0.0069 | 1 | 1 | 0.000001172 | 0.01785 | 0.01212 | 0.008889 | 0.09428 | 13.67 | 1.5 | 0.01311 | 0.0262 | 1 | 1 | 0.01186 | 0.04835 | 0.2103 | 0.0174 | 0.07097 | 0.3087 | json |
| t17_x0_u0_b34 | 17 | 0 | 0 | 34 | ![]() |
div(P,sub(P,sqt(P))) | 97531 | 138050251 | o2(x,o2(x,o1(x))) | true | 97055 | 97055 | -0.25 | 0.375 | 1 | 0.9375 | 0.9682 | -1 | 1 | 2 | 1 | 0.9544 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01693 | 0.03386 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02246 | 0.08982 | 0.3593 | json |
| t17_x0_u0_b35 | 17 | 0 | 0 | 35 | ![]() |
div(P,mlt(P,sqt(P))) | 97532 | 138050252 | o2(x,o2(x,o1(x))) | true | 97063 | 97063 | -0.3316 | 0.4375 | 0.7934 | 0.5865 | 0.7659 | -1 | 0.9999 | 2 | 1 | 2.294 | 0.01591 | 0 | 0.0105 | 1 | 1 | -0.000002193 | 0.03178 | 0.01647 | 0.01581 | 0.1257 | 11.97 | 2 | 0.02713 | 0.05418 | 1 | 1 | 0.02113 | 0.08175 | 0.2655 | 0.03603 | 0.1394 | 0.4526 | json |
| t17_x0_u0_b36 | 17 | 0 | 0 | 36 | ![]() |
div(P,div(P,sqt(P))) | 97533 | 138050253 | o2(x,o2(x,o1(x))) | true | 97071 | 97071 | -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_x0_u0_b37 | 17 | 0 | 0 | 37 | ![]() |
div(P,pow(P,sqt(P))) | 97534 | 138050254 | o2(x,o2(x,o1(x))) | true | 97079 | 97079 | -0.3306 | 0.5 | 0.6694 | 0.4981 | 0.7057 | -1 | 0.9999 | 2 | 1 | 2.786 | 0.004398 | 0 | 0.01181 | 1 | 1 | -0.000001647 | 0.007906 | 0.009714 | 0.004258 | 0.06525 | 5.523 | 1 | 0.00883 | 0.01587 | 1 | 1 | 0.006422 | 0.04228 | 0.2822 | 0.01289 | 0.08488 | 0.5665 | json |
| t17_x0_u0_b38 | 17 | 0 | 0 | 38 | ![]() |
div(P,mod(P,sqt(P))) | 97535 | 138050255 | o2(x,o2(x,o1(x))) | true | 97087 | 97087 | -0.375 | 0.3125 | 1 | 0.8594 | 0.927 | -1 | 1 | 2 | 1 | 0.896 | 0.04762 | 0 | 0.02381 | 1 | 1 | 0 | 0.09524 | 0.04762 | 0.04704 | 0.2169 | 9.109 | 2 | 0.05541 | 0.1108 | 1 | 1 | 0.06316 | 0.2526 | 0.6737 | 0.07349 | 0.294 | 0.7839 | json |
| t17_x0_u0_b39 | 17 | 0 | 0 | 39 | ![]() |
div(P,lrg(P,sqt(P))) | 97536 | 138050256 | o2(x,o2(x,o1(x))) | true | 97095 | 97095 | -0.25 | 0.375 | 1 | 0.9375 | 0.9682 | -1 | 1 | 2 | 1 | 0.9544 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01693 | 0.03386 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02246 | 0.08982 | 0.3593 | json |
| t17_x0_u0_b40 | 17 | 0 | 0 | 40 | ![]() |
div(P,eql(P,sqt(P))) | 97537 | 138050257 | o2(x,o2(x,o1(x))) | true | 97103 | 97103 | -0.7813 | 0.125 | 0.9688 | 0.3514 | 0.5928 | -1 | 1 | 2 | 1 | 0.8347 | 0.0202 | 0 | 0.01587 | 1 | 1 | 0 | 0.03965 | 0.02468 | 0.01994 | 0.1412 | 8.896 | 2 | 0.05748 | 0.1128 | 1 | 1 | 0.02728 | 0.124 | 0.5383 | 0.07764 | 0.3528 | 1.532 | json |
| t17_x0_u0_b41 | 17 | 0 | 0 | 41 | ![]() |
div(P,min(P,sqt(P))) | 97538 | 138050258 | o2(x,o2(x,o1(x))) | true | 97111 | 97111 | 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_x0_u0_b42 | 17 | 0 | 0 | 42 | ![]() |
div(P,dot(P,sqt(P))) | 97539 | 138050259 | o2(x,o2(x,o1(x))) | true | 97119 | 97119 | -0.6936 | 0.2445 | 0.8142 | 0.2923 | 0.5406 | -1 | 0.9998 | 2 | 1 | 1.561 | 0.00252 | 0.004517 | 0.00629 | -0.2838 | 1 | -9.837e-7 | 0.01428 | 0.01052 | 0.006996 | 0.08364 | 13.3 | 2.121 | 0.02408 | 0.04885 | 1 | 1 | 0.009903 | 0.03973 | 0.1545 | 0.03388 | 0.1359 | 0.5286 | json |
| t17_x0_u0_b43 | 17 | 0 | 0 | 43 | ![]() |
div(P,dst(P,sqt(P))) | 97540 | 138050260 | o2(x,o2(x,o1(x))) | true | 97127 | 97127 | -0.5659 | 0.2337 | 0.9654 | 0.6333 | 0.7958 | -1 | 1 | 2 | 1 | 1.25 | 0.003562 | 0.007651 | 0.008109 | -0.3647 | 1 | -0.000003116 | 0.02256 | 0.01315 | 0.01115 | 0.1056 | 13.02 | 2.828 | 0.01771 | 0.03562 | 1 | 1 | 0.01553 | 0.06525 | 0.2898 | 0.02452 | 0.103 | 0.4575 | json |
| t17_x0_u0_b44 | 17 | 0 | 0 | 44 | ![]() |
pow(P,add(P,sqt(P))) | 97541 | 138050261 | o2(x,o2(x,o1(x))) | true | 97135 | 97135 | 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_x0_u0_b45 | 17 | 0 | 0 | 45 | ![]() |
pow(P,sub(P,sqt(P))) | 97542 | 138050262 | o2(x,o2(x,o1(x))) | true | 97143 | 97143 | 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_x0_u0_b46 | 17 | 0 | 0 | 46 | ![]() |
pow(P,mlt(P,sqt(P))) | 97543 | 138050263 | o2(x,o2(x,o1(x))) | true | 97151 | 97151 | 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_x0_u0_b47 | 17 | 0 | 0 | 47 | ![]() |
pow(P,div(P,sqt(P))) | 97544 | 138050264 | o2(x,o2(x,o1(x))) | true | 97159 | 97159 | -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_x0_u0_b48 | 17 | 0 | 0 | 48 | ![]() |
pow(P,pow(P,sqt(P))) | 97545 | 138050265 | o2(x,o2(x,o1(x))) | true | 97167 | 97167 | -0.2813 | 0.375 | 0.9688 | 0.8822 | 0.9393 | -1 | 1 | 2 | 1 | 1.338 | 0.0202 | 0 | 0.01587 | 1 | 1 | 0 | 0.03965 | 0.02468 | 0.01994 | 0.1412 | 8.896 | 2 | 0.02289 | 0.04494 | 1 | 1 | 0.01675 | 0.1134 | 0.6119 | 0.01899 | 0.1286 | 0.6936 | json |
| t17_x0_u0_b49 | 17 | 0 | 0 | 49 | ![]() |
pow(P,mod(P,sqt(P))) | 97546 | 138050266 | o2(x,o2(x,o1(x))) | true | 97175 | 97175 | -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_x0_u0_b50 | 17 | 0 | 0 | 50 | ![]() |
pow(P,lrg(P,sqt(P))) | 97547 | 138050267 | o2(x,o2(x,o1(x))) | true | 97183 | 97183 | 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_x0_u0_b51 | 17 | 0 | 0 | 51 | ![]() |
pow(P,eql(P,sqt(P))) | 97548 | 138050268 | o2(x,o2(x,o1(x))) | true | 97191 | 97191 | 0.9375 | 1 | 0.9375 | 0.04507 | 0.2123 | 0.000291 | 1 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t17_x0_u0_b52 | 17 | 0 | 0 | 52 | ![]() |
pow(P,min(P,sqt(P))) | 97549 | 138050269 | o2(x,o2(x,o1(x))) | true | 97199 | 97199 | 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_x0_u0_b53 | 17 | 0 | 0 | 53 | ![]() |
pow(P,dot(P,sqt(P))) | 97550 | 138050270 | o2(x,o2(x,o1(x))) | true | 97207 | 97207 | -0.5146 | 0.25 | 0.9854 | 0.717 | 0.8468 | -1 | 1 | 2 | 1 | 1.011 | 0.002499 | 0.007945 | 0.008021 | -0.5215 | 1 | 3.67e-10 | 0.02066 | 0.01259 | 0.01038 | 0.1019 | 12.7 | 2 | 0.01457 | 0.02881 | 1 | 1 | 0.01424 | 0.06346 | 0.3049 | 0.01985 | 0.0885 | 0.4253 | json |
| t17_x0_u0_b54 | 17 | 0 | 0 | 54 | ![]() |
pow(P,dst(P,sqt(P))) | 97551 | 138050271 | o2(x,o2(x,o1(x))) | true | 97215 | 97215 | -0.5127 | 0.25 | 0.9873 | 0.7218 | 0.8496 | -1 | 1 | 2 | 1 | 0.9899 | 0.003232 | 0.007945 | 0.008021 | -0.4217 | 1 | -4.224e-11 | 0.02217 | 0.01303 | 0.01111 | 0.1054 | 13.14 | 2 | 0.01549 | 0.03071 | 1 | 1 | 0.01549 | 0.06775 | 0.3163 | 0.02146 | 0.09387 | 0.4383 | json |
| t17_x0_u0_b55 | 17 | 0 | 0 | 55 | ![]() |
mod(P,add(P,sqt(P))) | 97552 | 138050272 | o2(x,o2(x,o1(x))) | true | 97223 | 97223 | -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_x0_u0_b56 | 17 | 0 | 0 | 56 | ![]() |
mod(P,sub(P,sqt(P))) | 97553 | 138050273 | o2(x,o2(x,o1(x))) | true | 97231 | 97231 | -0.3588 | 0.375 | 0.8912 | 0.736 | 0.8579 | -1 | 1 | 2 | 1 | 1.793 | 0.006969 | 0 | 0.01162 | 1 | 1 | -4.731e-10 | 0.01252 | 0.0125 | 0.00683 | 0.08265 | 7.114 | 1.243 | 0.009469 | 0.01701 | 1 | 1 | 0.01019 | 0.05367 | 0.1891 | 0.01384 | 0.07292 | 0.2569 | json |
| t17_x0_u0_b57 | 17 | 0 | 0 | 57 | ![]() |
mod(P,mlt(P,sqt(P))) | 97554 | 138050274 | o2(x,o2(x,o1(x))) | true | 97239 | 97239 | -0.1465 | 0.4375 | 0.9785 | 0.9531 | 0.9763 | -1 | 1 | 2 | 1 | 1.226 | 0.004625 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.007971 | 0.009631 | 0.00456 | 0.06753 | 8.509 | 1.001 | 0.004852 | 0.008364 | 1 | 1 | 0.006981 | 0.05009 | 0.3027 | 0.007324 | 0.05256 | 0.3176 | json |
| t17_x0_u0_b58 | 17 | 0 | 0 | 58 | ![]() |
mod(P,div(P,sqt(P))) | 97555 | 138050275 | o2(x,o2(x,o1(x))) | true | 97247 | 97247 | -0.2648 | 0.4375 | 0.8601 | 0.7507 | 0.8664 | -1 | 1 | 2 | 1 | 2.273 | 0.004866 | 0 | 0.01587 | 1 | 1 | 9.463e-10 | 0.008009 | 0.01127 | 0.004616 | 0.06794 | 4.281 | 1 | 0.006483 | 0.01067 | 1 | 1 | 0.007598 | 0.05227 | 0.2951 | 0.01012 | 0.06963 | 0.3931 | json |
| t17_x0_u0_b59 | 17 | 0 | 0 | 59 | ![]() |
mod(P,pow(P,sqt(P))) | 97556 | 138050276 | o2(x,o2(x,o1(x))) | true | 97255 | 97255 | -0.08402 | 0.4375 | 0.916 | 0.9056 | 0.9516 | -1 | 1 | 2 | 1 | 1.463 | 0.00462 | 0 | 0.007937 | 1 | 1 | -9.461e-10 | 0.008071 | 0.009734 | 0.004556 | 0.0675 | 8.504 | 1 | 0.005101 | 0.008912 | 1 | 1 | 0.006903 | 0.03698 | 0.2185 | 0.007622 | 0.04084 | 0.2413 | json |
| t17_x0_u0_b60 | 17 | 0 | 0 | 60 | ![]() |
mod(P,mod(P,sqt(P))) | 97557 | 138050277 | o2(x,o2(x,o1(x))) | true | 97263 | 97263 | -0.6485 | 0.25 | 0.8515 | 0.3806 | 0.6169 | -1 | 0.9703 | 1.97 | 1 | 1.588 | 0.02113 | 0 | 0.02202 | 1 | 1 | 0.00007229 | 0.04165 | 0.03278 | 0.02065 | 0.1437 | 6.524 | 1.464 | 0.05553 | 0.1094 | 1 | 1 | 0.02773 | 0.1135 | 0.3125 | 0.07287 | 0.2984 | 0.8212 | json |
| t17_x0_u0_b61 | 17 | 0 | 0 | 61 | ![]() |
mod(P,lrg(P,sqt(P))) | 97558 | 138050278 | o2(x,o2(x,o1(x))) | true | 97271 | 97271 | -0.1875 | 0 | 0.1875 | 0.1523 | 0.3903 | -1 | 0 | 1 | 1 | 0.6962 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.0521 | 0.1042 | 1 | 1 | 0.01053 | 0.04211 | 0.1684 | 0.0691 | 0.2764 | 1.106 | json |
| t17_x0_u0_b62 | 17 | 0 | 0 | 62 | ![]() |
mod(P,eql(P,sqt(P))) | 97559 | 138050279 | o2(x,o2(x,o1(x))) | true | 97279 | 97279 | -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_x0_u0_b63 | 17 | 0 | 0 | 63 | ![]() |
mod(P,min(P,sqt(P))) | 97560 | 138050280 | o2(x,o2(x,o1(x))) | true | 97287 | 97287 | -0.0776 | 0.4375 | 0.6729 | 0.6178 | 0.786 | -1 | 1 | 2 | 1 | 3.095 | 0.0129 | 0 | 0.03489 | 1 | 1 | 0.0006289 | 0.01819 | 0.03027 | 0.01169 | 0.1081 | 3.099 | 1 | 0.02088 | 0.02945 | 1 | 1 | 0.01956 | 0.1256 | 0.4186 | 0.03165 | 0.2032 | 0.6775 | json |
| t17_x0_u0_b64 | 17 | 0 | 0 | 64 | ![]() |
mod(P,dot(P,sqt(P))) | 97561 | 138050281 | o2(x,o2(x,o1(x))) | true | 97295 | 97295 | -0.5221 | 0.2461 | 0.9857 | 0.7098 | 0.8425 | -1 | 1 | 2 | 1 | 0.9962 | 0.002508 | 0.007263 | 0.007748 | -0.4867 | 1 | -4.224e-11 | 0.01936 | 0.01218 | 0.009711 | 0.09854 | 12.72 | 2.828 | 0.01377 | 0.02728 | 1 | 1 | 0.01307 | 0.06003 | 0.3011 | 0.01841 | 0.08457 | 0.4243 | json |
| t17_x0_u0_b65 | 17 | 0 | 0 | 65 | ![]() |
mod(P,dst(P,sqt(P))) | 97562 | 138050282 | o2(x,o2(x,o1(x))) | true | 97303 | 97303 | -0.564 | 0.2344 | 0.9672 | 0.6382 | 0.7989 | -1 | 1 | 2 | 1 | 1.221 | 0.002578 | 0.005478 | 0.009486 | -0.3599 | 1 | -0.000002433 | 0.01553 | 0.01226 | 0.007966 | 0.08925 | 9.409 | 2 | 0.01262 | 0.02434 | 1 | 1 | 0.0101 | 0.04933 | 0.2455 | 0.01582 | 0.07729 | 0.3847 | json |
| t17_x0_u0_b66 | 17 | 0 | 0 | 66 | ![]() |
lrg(P,add(P,sqt(P))) | 97563 | 138050283 | o2(x,o2(x,o1(x))) | true | 97311 | 97311 | 0.4688 | 0.5 | 0.4688 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t17_x0_u0_b67 | 17 | 0 | 0 | 67 | ![]() |
lrg(P,sub(P,sqt(P))) | 97564 | 138050284 | o2(x,o2(x,o1(x))) | true | 97319 | 97319 | 0.9375 | 1 | 0.9375 | 0.04507 | 0.2123 | 0.000291 | 1 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t17_x0_u0_b68 | 17 | 0 | 0 | 68 | ![]() |
lrg(P,mlt(P,sqt(P))) | 97565 | 138050285 | o2(x,o2(x,o1(x))) | true | 97327 | 97327 | 0.4688 | 0.5 | 0.4688 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t17_x0_u0_b69 | 17 | 0 | 0 | 69 | ![]() |
lrg(P,div(P,sqt(P))) | 97566 | 138050286 | o2(x,o2(x,o1(x))) | true | 97335 | 97335 | 0.9375 | 1 | 0.9375 | 0.04507 | 0.2123 | 0.000291 | 1 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t17_x0_u0_b70 | 17 | 0 | 0 | 70 | ![]() |
lrg(P,pow(P,sqt(P))) | 97567 | 138050287 | o2(x,o2(x,o1(x))) | true | 97343 | 97343 | 0.4688 | 0.5 | 0.4688 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t17_x0_u0_b71 | 17 | 0 | 0 | 71 | ![]() |
lrg(P,mod(P,sqt(P))) | 97568 | 138050288 | o2(x,o2(x,o1(x))) | true | 97351 | 97351 | 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_u0_b72 | 17 | 0 | 0 | 72 | ![]() |
lrg(P,lrg(P,sqt(P))) | 97569 | 138050289 | o2(x,o2(x,o1(x))) | true | 97359 | 97359 | 0.4688 | 0.5 | 0.4688 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t17_x0_u0_b73 | 17 | 0 | 0 | 73 | ![]() |
lrg(P,eql(P,sqt(P))) | 97570 | 138050290 | o2(x,o2(x,o1(x))) | true | 97367 | 97367 | 0.4063 | 0.4375 | 0.4063 | 0.2344 | 0.4842 | 0 | 1 | 1 | 1 | 1.302 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001505 | 0.00006906 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.003947 | 0.0518 | 0.3203 | json |
| t17_x0_u0_b74 | 17 | 0 | 0 | 74 | ![]() |
lrg(P,min(P,sqt(P))) | 97571 | 138050291 | o2(x,o2(x,o1(x))) | true | 97375 | 97375 | 0.4063 | 0.4375 | 0.4063 | 0.2344 | 0.4842 | 0 | 1 | 1 | 1 | 1.302 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001505 | 0.00006906 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.003947 | 0.0518 | 0.3203 | json |
| t17_x0_u0_b75 | 17 | 0 | 0 | 75 | ![]() |
lrg(P,dot(P,sqt(P))) | 97572 | 138050292 | o2(x,o2(x,o1(x))) | true | 97383 | 97383 | 0.7178 | 0.75 | 0.7178 | 0.1955 | 0.4422 | 0 | 1 | 1 | 1 | 1.198 | 0.0001852 | 0.0001852 | 0.004184 | 0.000001493 | 1 | -5.533e-10 | 0.00001725 | 0.0009791 | 0.0003528 | 0.01878 | 4.489 | 0.1169 | 0.001895 | 0.00008821 | 1 | 1 | 0.0009865 | 0.01294 | 0.08005 | 0.005046 | 0.06621 | 0.4094 | json |
| t17_x0_u0_b76 | 17 | 0 | 0 | 76 | ![]() |
lrg(P,dst(P,sqt(P))) | 97573 | 138050293 | o2(x,o2(x,o1(x))) | true | 97391 | 97391 | 0.8965 | 0.9401 | 0.8965 | 0.0833 | 0.2886 | 0 | 1 | 1 | 1 | 0.8839 | 0.0003414 | 0.0001229 | 0.00541 | 0.4706 | 1 | -0.000005705 | 0.00002467 | 0.00129 | 0.0004349 | 0.02086 | 3.855 | 0.1169 | 0.005574 | 0.0002962 | 1 | 1 | 0.001224 | 0.01606 | 0.08863 | 0.0147 | 0.1928 | 1.064 | json |
| t17_x0_u0_b77 | 17 | 0 | 0 | 77 | ![]() |
eql(P,add(P,sqt(P))) | 97574 | 138050294 | o2(x,o2(x,o1(x))) | true | 97399 | 97399 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t17_x0_u0_b78 | 17 | 0 | 0 | 78 | ![]() |
eql(P,sub(P,sqt(P))) | 97575 | 138050295 | o2(x,o2(x,o1(x))) | true | 97407 | 97407 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t17_x0_u0_b79 | 17 | 0 | 0 | 79 | ![]() |
eql(P,mlt(P,sqt(P))) | 97576 | 138050296 | o2(x,o2(x,o1(x))) | true | 97415 | 97415 | 0.125 | 0.1875 | 0.125 | 0.09585 | 0.3096 | 0 | 1 | 1 | 1 | 1.067 | 0.0007059 | 0 | 0.007937 | 1 | 1 | -9.461e-10 | 0.00003238 | 0.001855 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.007364 | 0.0003379 | 1 | 1 | 0.001851 | 0.02429 | 0.1411 | 0.01931 | 0.2534 | 1.472 | json |
| t17_x0_u0_b80 | 17 | 0 | 0 | 80 | ![]() |
eql(P,div(P,sqt(P))) | 97577 | 138050297 | o2(x,o2(x,o1(x))) | true | 97423 | 97423 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t17_x0_u0_b81 | 17 | 0 | 0 | 81 | ![]() |
eql(P,pow(P,sqt(P))) | 97578 | 138050298 | o2(x,o2(x,o1(x))) | true | 97431 | 97431 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t17_x0_u0_b82 | 17 | 0 | 0 | 82 | ![]() |
eql(P,mod(P,sqt(P))) | 97579 | 138050299 | o2(x,o2(x,o1(x))) | true | 97439 | 97439 | 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_u0_b83 | 17 | 0 | 0 | 83 | ![]() |
eql(P,lrg(P,sqt(P))) | 97580 | 138050300 | o2(x,o2(x,o1(x))) | true | 97447 | 97447 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t17_x0_u0_b84 | 17 | 0 | 0 | 84 | ![]() |
eql(P,eql(P,sqt(P))) | 97581 | 138050301 | o2(x,o2(x,o1(x))) | true | 97455 | 97455 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t17_x0_u0_b85 | 17 | 0 | 0 | 85 | ![]() |
eql(P,min(P,sqt(P))) | 97582 | 138050302 | o2(x,o2(x,o1(x))) | true | 97463 | 97463 | 0.5938 | 0.625 | 0.5938 | 0.2344 | 0.4842 | 0 | 1 | 1 | 1 | 1.302 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001505 | 0.00006906 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.003947 | 0.0518 | 0.3203 | json |
| t17_x0_u0_b86 | 17 | 0 | 0 | 86 | ![]() |
eql(P,dot(P,sqt(P))) | 97583 | 138050303 | o2(x,o2(x,o1(x))) | true | 97471 | 97471 | 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_u0_b87 | 17 | 0 | 0 | 87 | ![]() |
eql(P,dst(P,sqt(P))) | 97584 | 138050304 | o2(x,o2(x,o1(x))) | true | 97479 | 97479 | 0.007812 | 0.02258 | 0.007812 | 0.005398 | 0.07347 | 0 | 0.9997 | 0.9997 | 1 | 0.1706 | 0.00007993 | 0.00003512 | 0.001346 | 0.3895 | 1 | -6.764e-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_u0_b88 | 17 | 0 | 0 | 88 | ![]() |
min(P,add(P,sqt(P))) | 97585 | 138050305 | o2(x,o2(x,o1(x))) | true | 97487 | 97487 | 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_u0_b89 | 17 | 0 | 0 | 89 | ![]() |
min(P,sub(P,sqt(P))) | 97586 | 138050306 | o2(x,o2(x,o1(x))) | true | 97495 | 97495 | -0.0852 | 0.4375 | 0.8523 | 0.8214 | 0.9063 | -1 | 1 | 2 | 1 | 2.272 | 0.0005732 | 0 | 0.007937 | 1 | 1 | 1.537e-9 | 0.00003846 | 0.002101 | 0.0005102 | 0.02259 | 2.846 | 0.1169 | 0.0006978 | 0.00004682 | 1 | 1 | 0.001495 | 0.01901 | 0.1426 | 0.00182 | 0.02315 | 0.1736 | json |
| t17_x0_u0_b90 | 17 | 0 | 0 | 90 | ![]() |
min(P,mlt(P,sqt(P))) | 97587 | 138050307 | o2(x,o2(x,o1(x))) | true | 97503 | 97503 | 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_u0_b91 | 17 | 0 | 0 | 91 | ![]() |
min(P,div(P,sqt(P))) | 97588 | 138050308 | o2(x,o2(x,o1(x))) | true | 97511 | 97511 | 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_u0_b92 | 17 | 0 | 0 | 92 | ![]() |
min(P,pow(P,sqt(P))) | 97589 | 138050309 | o2(x,o2(x,o1(x))) | true | 97519 | 97519 | 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_u0_b93 | 17 | 0 | 0 | 93 | ![]() |
min(P,mod(P,sqt(P))) | 97590 | 138050310 | o2(x,o2(x,o1(x))) | true | 97527 | 97527 | -0.1711 | 0.4375 | 0.7664 | 0.6912 | 0.8314 | -1 | 1 | 2 | 1 | 2.86 | 0.00125 | 0 | 0.01587 | 1 | 1 | 2.897e-9 | 0.0001178 | 0.004296 | 0.0009978 | 0.03159 | 1.99 | 0.1482 | 0.001808 | 0.0001704 | 1 | 1 | 0.003237 | 0.03952 | 0.1956 | 0.004683 | 0.05718 | 0.283 | json |
| t17_x0_u0_b94 | 17 | 0 | 0 | 94 | ![]() |
min(P,lrg(P,sqt(P))) | 97591 | 138050311 | o2(x,o2(x,o1(x))) | true | 97535 | 97535 | -0.0625 | 0.4375 | 0.875 | 0.8576 | 0.926 | -1 | 1 | 2 | 1 | 2.027 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003238 | 0.001855 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0008231 | 0.00003776 | 1 | 1 | 0.001851 | 0.02429 | 0.1593 | 0.002158 | 0.02832 | 0.1858 | json |
| t17_x0_u0_b95 | 17 | 0 | 0 | 95 | ![]() |
min(P,eql(P,sqt(P))) | 97592 | 138050312 | o2(x,o2(x,o1(x))) | true | 97543 | 97543 | -0.4063 | 0.125 | 0.5313 | 0.3457 | 0.588 | -1 | 0.9997 | 2 | 1 | 2.109 | 0.001059 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.00004858 | 0.002778 | 0.0009168 | 0.03028 | 2.544 | 0.1169 | 0.003063 | 0.0001405 | 1 | 1 | 0.002776 | 0.03643 | 0.2162 | 0.008031 | 0.1054 | 0.6253 | json |
| t17_x0_u0_b96 | 17 | 0 | 0 | 96 | ![]() |
min(P,min(P,sqt(P))) | 97593 | 138050313 | o2(x,o2(x,o1(x))) | true | 97551 | 97551 | 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_u0_b97 | 17 | 0 | 0 | 97 | ![]() |
min(P,dot(P,sqt(P))) | 97594 | 138050314 | o2(x,o2(x,o1(x))) | true | 97559 | 97559 | 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_u0_b98 | 17 | 0 | 0 | 98 | ![]() |
min(P,dst(P,sqt(P))) | 97595 | 138050315 | o2(x,o2(x,o1(x))) | true | 97567 | 97567 | -0.01221 | 0.4956 | 0.9253 | 0.9092 | 0.9535 | -1 | 1 | 2 | 1 | 1.945 | 0.0006735 | 0.00004216 | 0.008371 | 0.8822 | 1 | 2.302e-10 | 0.00004246 | 0.002046 | 0.0006454 | 0.0254 | 3.035 | 0.1644 | 0.0007871 | 0.0000467 | 1 | 1 | 0.001879 | 0.02449 | 0.2248 | 0.002067 | 0.02694 | 0.2473 | json |
| t17_x0_u0_b99 | 17 | 0 | 0 | 99 | ![]() |
dot(P,add(P,sqt(P))) | 97596 | 138050316 | o2(x,o2(x,o1(x))) | true | 97575 | 97575 | -0.5004 | 0.25 | 0.9996 | 0.749 | 0.8655 | -1 | 1 | 2 | 1 | 0.8216 | 0.007674 | 0.007674 | 0.007899 | 0 | 1 | 1.652e-10 | 0.03069 | 0.01559 | 0.01529 | 0.1236 | 15.65 | 2 | 0.02049 | 0.04097 | 1 | 1 | 0.02018 | 0.08223 | 0.3349 | 0.02694 | 0.1098 | 0.4471 | json |
| t17_x0_u0_b100 | 17 | 0 | 0 | 100 | ![]() |
dot(P,sub(P,sqt(P))) | 97597 | 138050317 | o2(x,o2(x,o1(x))) | true | 97583 | 97583 | -0.5081 | 0.2461 | 0.9919 | 0.7329 | 0.8561 | -1 | 1 | 2 | 1 | 0.9021 | 0.006858 | 0.006858 | 0.007885 | 3.734e-7 | 1 | 1.427e-10 | 0.02732 | 0.01462 | 0.01365 | 0.1168 | 14.82 | 2 | 0.01872 | 0.03728 | 1 | 1 | 0.01739 | 0.07165 | 0.3041 | 0.02373 | 0.09776 | 0.4149 | json |
| t17_x0_u0_b101 | 17 | 0 | 0 | 101 | ![]() |
dot(P,mlt(P,sqt(P))) | 97598 | 138050318 | o2(x,o2(x,o1(x))) | true | 97591 | 97591 | -0.5008 | 0.25 | 0.9992 | 0.7483 | 0.865 | -1 | 1 | 2 | 1 | 0.8325 | 0.007543 | 0.007543 | 0.007877 | 6.174e-8 | 1 | 3.341e-10 | 0.03016 | 0.01543 | 0.01502 | 0.1226 | 15.56 | 2 | 0.02016 | 0.04031 | 1 | 1 | 0.01971 | 0.08047 | 0.3328 | 0.02634 | 0.1075 | 0.4447 | json |
| t17_x0_u0_b102 | 17 | 0 | 0 | 102 | ![]() |
dot(P,div(P,sqt(P))) | 97599 | 138050319 | o2(x,o2(x,o1(x))) | true | 97599 | 97599 | -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 |



































































































