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_x8_u6_b101 | 17 | 8 | 6 | 101 | ![]() |
dot(P,mlt(R,nrm(R))) | 105100 | 138374732 | o2(x,o2(x,o1(x))) | true | 807 | 807 | -0.03789 | 0.4805 | 0.8346 | 0.7828 | 0.8848 | -1 | 1 | 2 | 1 | 3.017 | 0.004463 | 0.005521 | 0.04037 | -0.1059 | 1 | 0.00003358 | 0.004296 | 0.02045 | 0.008352 | 0.09139 | 2.264 | 1.07 | 0.01275 | 0.005487 | 1 | 1 | 0.01385 | 0.1381 | 0.4581 | 0.01769 | 0.1764 | 0.5852 | json |
| t17_x8_u6_b102 | 17 | 8 | 6 | 102 | ![]() |
dot(P,div(R,nrm(R))) | 105101 | 138374733 | o2(x,o2(x,o1(x))) | true | 815 | 815 | -0.0008568 | 0.4994 | 0.93 | 0.9093 | 0.9536 | -1 | 1 | 2 | 1 | 2.011 | 0.0006749 | 0.000762 | 0.01244 | -0.06059 | 1 | 0.000003974 | 0.0002474 | 0.003853 | 0.001282 | 0.03581 | 2.88 | 0.2606 | 0.00158 | 0.0002721 | 1 | 1 | 0.003617 | 0.04277 | 0.3874 | 0.003977 | 0.04704 | 0.426 | json |
| t17_x8_u6_b103 | 17 | 8 | 6 | 103 | ![]() |
dot(P,pow(R,nrm(R))) | 105102 | 138374734 | o2(x,o2(x,o1(x))) | true | 823 | 823 | -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_x8_u6_b104 | 17 | 8 | 6 | 104 | ![]() |
dot(P,mod(R,nrm(R))) | 105103 | 138374735 | o2(x,o2(x,o1(x))) | true | 831 | 831 | -0.1029 | 0.4446 | 0.6477 | 0.5446 | 0.738 | -1 | 1 | 2 | 1 | 4.135 | 0.0112 | 0.01469 | 0.08767 | -0.1346 | 1 | 0.00006233 | 0.01193 | 0.04112 | 0.01821 | 0.1349 | 1.539 | 1.368 | 0.04754 | 0.0219 | 1 | 1 | 0.03351 | 0.3146 | 0.8837 | 0.06153 | 0.5777 | 1.623 | json |
| t17_x8_u6_b105 | 17 | 8 | 6 | 105 | ![]() |
dot(P,lrg(R,nrm(R))) | 105104 | 138374736 | o2(x,o2(x,o1(x))) | true | 839 | 839 | 0.05097 | 0.5278 | 0.8442 | 0.8077 | 0.8987 | -1 | 1 | 2 | 1 | 2.682 | 0.01348 | 0.01119 | 0.06268 | 0.09309 | 1 | 0.00004325 | 0.01499 | 0.04168 | 0.02073 | 0.144 | 2.297 | 1.419 | 0.03054 | 0.01856 | 1 | 1 | 0.03972 | 0.3198 | 0.8077 | 0.04917 | 0.3959 | 0.9999 | json |
| t17_x8_u6_b106 | 17 | 8 | 6 | 106 | ![]() |
dot(P,eql(R,nrm(R))) | 105105 | 138374737 | o2(x,o2(x,o1(x))) | true | 847 | 847 | 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_x8_u6_b107 | 17 | 8 | 6 | 107 | ![]() |
dot(P,min(R,nrm(R))) | 105106 | 138374738 | o2(x,o2(x,o1(x))) | true | 855 | 855 | -0.08084 | 0.4646 | 0.846 | 0.7918 | 0.8898 | -1 | 1 | 2 | 1 | 2.896 | 0.02518 | 0.0334 | 0.1034 | -0.1404 | 1 | -0.00001036 | 0.04623 | 0.07508 | 0.04791 | 0.2189 | 2.117 | 1.752 | 0.07398 | 0.05838 | 1 | 1 | 0.0739 | 0.5817 | 1.407 | 0.09333 | 0.7347 | 1.777 | json |
| t17_x8_u6_b108 | 17 | 8 | 6 | 108 | ![]() |
dot(P,dot(R,nrm(R))) | 105107 | 138374739 | o2(x,o2(x,o1(x))) | true | 863 | 863 | -0.0008568 | 0.4994 | 0.93 | 0.9093 | 0.9536 | -1 | 1 | 2 | 1 | 2.011 | 0.0006749 | 0.000762 | 0.01244 | -0.06059 | 1 | 0.000003974 | 0.0002474 | 0.003853 | 0.001282 | 0.03581 | 2.88 | 0.2606 | 0.00158 | 0.0002721 | 1 | 1 | 0.003617 | 0.04277 | 0.3874 | 0.003977 | 0.04704 | 0.426 | json |
| t17_x8_u6_b109 | 17 | 8 | 6 | 109 | ![]() |
dot(P,dst(R,nrm(R))) | 105108 | 138374740 | o2(x,o2(x,o1(x))) | true | 871 | 871 | -0.01214 | 0.5003 | 0.6772 | 0.5815 | 0.7626 | -1 | 1 | 2 | 1 | 4.105 | 0.0009265 | 0.001235 | 0.02664 | -0.1428 | 1 | -0.00001842 | 0.000602 | 0.0098 | 0.001452 | 0.03811 | 1.431 | 0.3302 | 0.003717 | 0.001035 | 1 | 1 | 0.004477 | 0.04842 | 0.1736 | 0.007699 | 0.08327 | 0.2986 | json |
| t17_x8_u6_b110 | 17 | 8 | 6 | 110 | ![]() |
dst(P,add(R,nrm(R))) | 105109 | 138374741 | o2(x,o2(x,o1(x))) | true | 879 | 879 | 1 | 1 | 1 | 3.033e-8 | 0.0001742 | 0.9822 | 1 | 0.01783 | 1 | 0 | 1.968e-8 | 1.277e-8 | 0.000002809 | 0.213 | 0 | 0 | 6.365e-8 | 0.000004475 | 3.244e-8 | 0.0001801 | 64.13 | 0.01876 | 1.07 | 2.098 | 1 | 1 | 7.288e-8 | 1.102e-7 | 1.102e-7 | 2.403 | 3.632 | 3.632 | json |
| t17_x8_u6_b111 | 17 | 8 | 6 | 111 | ![]() |
dst(P,sub(R,nrm(R))) | 105110 | 138374742 | o2(x,o2(x,o1(x))) | true | 887 | 887 | 0.9976 | 1 | 0.9976 | 0.001267 | 0.03559 | 0.1919 | 1 | 0.8081 | 1 | 0.07117 | 0.00002754 | 0.00002955 | 0.0006021 | -0.03519 | 0 | -3.567e-11 | 0.00001076 | 0.0002163 | 0.00005678 | 0.007535 | 12.52 | 0.1341 | 0.04507 | 0.008497 | 1 | 1 | 0.0001938 | 0.002178 | 0.004616 | 0.153 | 1.72 | 3.644 | json |
| t17_x8_u6_b112 | 17 | 8 | 6 | 112 | ![]() |
dst(P,mlt(R,nrm(R))) | 105111 | 138374743 | o2(x,o2(x,o1(x))) | true | 895 | 895 | 0.9991 | 1 | 0.9991 | 0.0001339 | 0.01157 | 0.749 | 1 | 0.251 | 1 | 0.05781 | 0.000005574 | 0.000004754 | 0.0002593 | 0.07936 | 0 | 1.014e-10 | 0.000004599 | 0.0001541 | 0.00001026 | 0.003203 | 12.35 | 0.0866 | 0.0771 | 0.03433 | 1 | 1 | 0.0000332 | 0.0002904 | 0.0004887 | 0.2479 | 2.168 | 3.648 | json |
| t17_x8_u6_b113 | 17 | 8 | 6 | 113 | ![]() |
dst(P,div(R,nrm(R))) | 105112 | 138374744 | o2(x,o2(x,o1(x))) | true | 903 | 903 | 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_x8_u6_b114 | 17 | 8 | 6 | 114 | ![]() |
dst(P,pow(R,nrm(R))) | 105113 | 138374745 | o2(x,o2(x,o1(x))) | true | 911 | 911 | -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_x8_u6_b115 | 17 | 8 | 6 | 115 | ![]() |
dst(P,mod(R,nrm(R))) | 105114 | 138374746 | o2(x,o2(x,o1(x))) | true | 919 | 919 | 0.9969 | 1 | 0.9969 | 0.001543 | 0.03929 | 0.1918 | 1 | 0.8082 | 1 | 0.09654 | 0.00003069 | 0.00002687 | 0.0007045 | 0.06634 | 0 | 1.877e-11 | 0.0000112 | 0.0002568 | 0.00005706 | 0.007554 | 10.72 | 0.1482 | 0.03729 | 0.007258 | 1 | 1 | 0.0001949 | 0.002194 | 0.005641 | 0.1263 | 1.421 | 3.655 | json |
| t17_x8_u6_b116 | 17 | 8 | 6 | 116 | ![]() |
dst(P,lrg(R,nrm(R))) | 105115 | 138374747 | o2(x,o2(x,o1(x))) | true | 927 | 927 | 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_x8_u6_b117 | 17 | 8 | 6 | 117 | ![]() |
dst(P,eql(R,nrm(R))) | 105116 | 138374748 | o2(x,o2(x,o1(x))) | true | 935 | 935 | 0.9964 | 1 | 0.9964 | 0.002289 | 0.04784 | 0.000582 | 1 | 0.9994 | 1 | 0.09109 | 0.00003966 | 0.00003966 | 0.0008105 | 5.503e-7 | 0 | -4.881e-11 | 0.00001004 | 0.0002297 | 0.00007859 | 0.008865 | 10.94 | 0.1294 | 0.03466 | 0.004388 | 1 | 1 | 0.0002733 | 0.00336 | 0.008351 | 0.1194 | 1.468 | 3.649 | json |
| t17_x8_u6_b118 | 17 | 8 | 6 | 118 | ![]() |
dst(P,min(R,nrm(R))) | 105117 | 138374749 | o2(x,o2(x,o1(x))) | true | 943 | 943 | 0.9986 | 1 | 0.9986 | 0.0003602 | 0.01898 | 0.5735 | 1 | 0.4265 | 1 | 0.0719 | 0.00001635 | 0.00002479 | 0.0005375 | -0.2053 | 0 | 2.253e-11 | 0.00002151 | 0.000372 | 0.00004082 | 0.006389 | 11.89 | 0.1585 | 0.1142 | 0.05972 | 1 | 1 | 0.000129 | 0.0009865 | 0.001313 | 0.3582 | 2.739 | 3.645 | json |
| t17_x8_u6_b119 | 17 | 8 | 6 | 119 | ![]() |
dst(P,dot(R,nrm(R))) | 105118 | 138374750 | o2(x,o2(x,o1(x))) | true | 951 | 951 | 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_x8_u6_b120 | 17 | 8 | 6 | 120 | ![]() |
dst(P,dst(R,nrm(R))) | 105119 | 138374751 | o2(x,o2(x,o1(x))) | true | 959 | 959 | 0.9978 | 1 | 0.9978 | 0.0008937 | 0.0299 | 0.3318 | 1 | 0.6682 | 1 | 0.08386 | 0.0000215 | 0.00002094 | 0.0005427 | 0.01309 | 0 | 1.051e-10 | 0.00001097 | 0.0002398 | 0.00004212 | 0.00649 | 11.96 | 0.1518 | 0.04749 | 0.01228 | 1 | 1 | 0.0001413 | 0.00144 | 0.003264 | 0.1581 | 1.611 | 3.652 | json |
| t17_x9_u0_b0 | 17 | 9 | 0 | 0 | ![]() |
add(D,add(P,sqt(P))) | 105120 | 138413826 | o2(x,o2(x,o1(x))) | true | 967 | 967 | -0.01857 | 0.5 | 0.9814 | 0.9769 | 0.9884 | -1 | 1 | 2 | 1 | 1.262 | 0.004731 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007966 | 0.009032 | 0.004667 | 0.06831 | 8.608 | 1.032 | 0.004843 | 0.008154 | 1 | 1 | 0.007268 | 0.05263 | 0.3053 | 0.00744 | 0.05388 | 0.3125 | json |
| t17_x9_u0_b1 | 17 | 9 | 0 | 1 | ![]() |
add(D,sub(P,sqt(P))) | 105121 | 138413827 | o2(x,o2(x,o1(x))) | true | 975 | 975 | -0.1138 | 0.4688 | 0.8921 | 0.857 | 0.9257 | -1 | 1 | 2 | 1 | 2.072 | 0.004489 | 0 | 0.01024 | 1 | 1 | -4.693e-13 | 0.008015 | 0.009525 | 0.004384 | 0.06621 | 6.463 | 1.031 | 0.005238 | 0.009352 | 1 | 1 | 0.006592 | 0.03321 | 0.1718 | 0.007692 | 0.03875 | 0.2004 | json |
| t17_x9_u0_b2 | 17 | 9 | 0 | 2 | ![]() |
add(D,mlt(P,sqt(P))) | 105122 | 138413828 | o2(x,o2(x,o1(x))) | true | 983 | 983 | -0.03125 | 0.5 | 0.9688 | 0.9567 | 0.9781 | -1 | 1 | 2 | 1 | 1.49 | 0.004457 | 0 | 0.007937 | 1 | 1 | 0 | 0.007952 | 0.008185 | 0.004392 | 0.06627 | 8.351 | 1.031 | 0.004658 | 0.008312 | 1 | 1 | 0.006548 | 0.04034 | 0.2807 | 0.006845 | 0.04216 | 0.2934 | json |
| t17_x9_u0_b3 | 17 | 9 | 0 | 3 | ![]() |
add(D,div(P,sqt(P))) | 105123 | 138413829 | o2(x,o2(x,o1(x))) | true | 991 | 991 | -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_x9_u0_b4 | 17 | 9 | 0 | 4 | ![]() |
add(D,pow(P,sqt(P))) | 105124 | 138413830 | o2(x,o2(x,o1(x))) | true | 999 | 999 | -0.002949 | 0.5 | 0.9971 | 0.9944 | 0.9972 | -1 | 1 | 2 | 1 | 1.16 | 0.01592 | 0 | 0.009091 | 1 | 1 | 0 | 0.03177 | 0.01672 | 0.01583 | 0.1258 | 13.84 | 2 | 0.01601 | 0.03194 | 1 | 1 | 0.02116 | 0.08467 | 0.3293 | 0.02128 | 0.08514 | 0.3312 | json |
| t17_x9_u0_b5 | 17 | 9 | 0 | 5 | ![]() |
add(D,mod(P,sqt(P))) | 105125 | 138413831 | o2(x,o2(x,o1(x))) | true | 1007 | 1007 | -0.2635 | 0.4219 | 0.8634 | 0.7527 | 0.8676 | -1 | 1 | 2 | 1 | 2.388 | 0.005273 | 0 | 0.01658 | 1 | 1 | -9.454e-10 | 0.008106 | 0.01138 | 0.004998 | 0.0707 | 4.265 | 1.031 | 0.007005 | 0.01077 | 1 | 1 | 0.008611 | 0.05776 | 0.2973 | 0.01144 | 0.07674 | 0.3949 | json |
| t17_x9_u0_b6 | 17 | 9 | 0 | 6 | ![]() |
add(D,lrg(P,sqt(P))) | 105126 | 138413832 | o2(x,o2(x,o1(x))) | true | 1015 | 1015 | 0.8356 | 0.9492 | 0.8437 | 0.09076 | 0.3013 | -0.1454 | 1 | 1.145 | 1 | 2.308 | 0.001553 | 0 | 0.02568 | 1 | 1 | 0.0001582 | 0.0003519 | 0.01347 | 0.0008942 | 0.0299 | 1.165 | 0.1713 | 0.01711 | 0.003877 | 1 | 1 | 0.003488 | 0.03176 | 0.1287 | 0.03843 | 0.35 | 1.418 | json |
| t17_x9_u0_b7 | 17 | 9 | 0 | 7 | ![]() |
add(D,eql(P,sqt(P))) | 105127 | 138413833 | o2(x,o2(x,o1(x))) | true | 1023 | 1023 | 0.1209 | 0.5742 | 0.1999 | 0.09914 | 0.3149 | -0.1454 | 1 | 1.145 | 1 | 3.235 | 0.002233 | 0 | 0.03903 | 1 | 1 | 9.461e-10 | 0.0003199 | 0.01452 | 0.0007108 | 0.02666 | 0.6831 | 0.1713 | 0.02252 | 0.003227 | 1 | 1 | 0.004702 | 0.04268 | 0.1309 | 0.04743 | 0.4305 | 1.32 | json |
| t17_x9_u0_b8 | 17 | 9 | 0 | 8 | ![]() |
add(D,min(P,sqt(P))) | 105128 | 138413834 | o2(x,o2(x,o1(x))) | true | 1031 | 1031 | 0 | 0.5 | 0.9375 | 0.9165 | 0.9574 | -1 | 1 | 2 | 1 | 1.979 | 0.0004883 | 0 | 0.007937 | 1 | 1 | 0 | 0.0000155 | 0.000496 | 0.0004253 | 0.02062 | 2.598 | 0.0625 | 0.0005327 | 0.00001691 | 1 | 1 | 0.001285 | 0.01928 | 0.2245 | 0.001402 | 0.02104 | 0.245 | json |
| t17_x9_u0_b9 | 17 | 9 | 0 | 9 | ![]() |
add(D,dot(P,sqt(P))) | 105129 | 138413835 | o2(x,o2(x,o1(x))) | true | 1039 | 1039 | -0.5008 | 0.25 | 0.9992 | 0.7483 | 0.8651 | -1 | 1 | 2 | 1 | 0.8331 | 0.007559 | 0.007528 | 0.007873 | 0.002077 | 1 | 1.119e-9 | 0.03014 | 0.01542 | 0.01502 | 0.1226 | 15.57 | 2 | 0.02016 | 0.04027 | 1 | 1 | 0.01973 | 0.08065 | 0.3329 | 0.02637 | 0.1078 | 0.4448 | json |
| t17_x9_u0_b10 | 17 | 9 | 0 | 10 | ![]() |
add(D,dst(P,sqt(P))) | 105130 | 138413836 | o2(x,o2(x,o1(x))) | true | 1047 | 1047 | -0.5131 | 0.2475 | 0.9874 | 0.7203 | 0.8487 | -1 | 1 | 2 | 1 | 1.014 | 0.006552 | 0.006517 | 0.008152 | 0.002677 | 1 | -7.284e-10 | 0.02597 | 0.01434 | 0.013 | 0.114 | 13.99 | 2 | 0.01814 | 0.03606 | 1 | 1 | 0.0163 | 0.06703 | 0.2807 | 0.02263 | 0.09305 | 0.3897 | json |
| t17_x9_u0_b11 | 17 | 9 | 0 | 11 | ![]() |
sub(D,add(P,sqt(P))) | 105131 | 138413837 | o2(x,o2(x,o1(x))) | true | 1055 | 1055 | -0.9755 | 0.01172 | 0.9769 | 0.02182 | 0.1477 | -1 | 0.07238 | 1.072 | 1 | 0.2866 | 0.005091 | 0 | 0.008511 | 1 | 1 | -9.386e-13 | 0.008313 | 0.01038 | 0.005018 | 0.07083 | 8.323 | 1.03 | 0.2333 | 0.381 | 1 | 1 | 0.007993 | 0.03019 | 0.03019 | 0.3663 | 1.384 | 1.384 | json |
| t17_x9_u0_b12 | 17 | 9 | 0 | 12 | ![]() |
sub(D,sub(P,sqt(P))) | 105132 | 138413838 | o2(x,o2(x,o1(x))) | true | 1063 | 1063 | -0.8807 | 0.05078 | 0.8896 | 0.09198 | 0.3033 | -1 | 0.1454 | 1.145 | 1 | 1.196 | 0.004906 | 0 | 0.01282 | 1 | 1 | -4.723e-10 | 0.008137 | 0.01163 | 0.004742 | 0.06886 | 5.372 | 1.031 | 0.05333 | 0.08846 | 1 | 1 | 0.007618 | 0.03874 | 0.1244 | 0.08281 | 0.4211 | 1.353 | json |
| t17_x9_u0_b13 | 17 | 9 | 0 | 13 | ![]() |
sub(D,mlt(P,sqt(P))) | 105133 | 138413839 | o2(x,o2(x,o1(x))) | true | 1071 | 1071 | -0.9669 | 0.01953 | 0.9691 | 0.02838 | 0.1685 | -1 | 0.09672 | 1.097 | 1 | 0.4327 | 0.00486 | 0 | 0.009288 | 1 | 1 | -2.365e-9 | 0.008162 | 0.01036 | 0.004776 | 0.06911 | 7.44 | 1.031 | 0.1712 | 0.2876 | 1 | 1 | 0.007479 | 0.03522 | 0.03971 | 0.2635 | 1.241 | 1.399 | json |
| t17_x9_u0_b14 | 17 | 9 | 0 | 14 | ![]() |
sub(D,div(P,sqt(P))) | 105134 | 138413840 | o2(x,o2(x,o1(x))) | true | 1079 | 1079 | -0.9982 | 0 | 0.9982 | 0.0001608 | 0.01268 | -1 | -0.885 | 0.115 | 1 | 0.1161 | 0.00003882 | 0 | 0.000913 | 1 | 0 | 0 | 0.0000257 | 0.0008927 | 0.00003796 | 0.006161 | 6.748 | 0.05965 | 0.2414 | 0.1598 | 1 | 1 | 0.00008592 | 0.0002208 | 0.0002208 | 0.5343 | 1.373 | 1.373 | json |
| t17_x9_u0_b15 | 17 | 9 | 0 | 15 | ![]() |
sub(D,pow(P,sqt(P))) | 105135 | 138413841 | o2(x,o2(x,o1(x))) | true | 1087 | 1087 | -0.9963 | 0 | 0.9963 | 0.0003747 | 0.01936 | -1 | -0.8546 | 0.1454 | 1 | 0.2304 | 0.00007077 | 0 | 0.001765 | 1 | 0 | 0 | 0.00004887 | 0.001622 | 0.00006766 | 0.008226 | 4.661 | 0.05567 | 0.1889 | 0.1304 | 1 | 1 | 0.0001553 | 0.000524 | 0.000524 | 0.4146 | 1.399 | 1.399 | json |
| t17_x9_u0_b16 | 17 | 9 | 0 | 16 | ![]() |
sub(D,mod(P,sqt(P))) | 105136 | 138413842 | o2(x,o2(x,o1(x))) | true | 1095 | 1095 | -0.8567 | 0.03906 | 0.8628 | 0.0868 | 0.2946 | -1 | 0.1108 | 1.111 | 1 | 1.676 | 0.005694 | 0 | 0.02113 | 1 | 1 | -4.735e-10 | 0.008269 | 0.01394 | 0.005248 | 0.07245 | 3.428 | 1.031 | 0.0656 | 0.09527 | 1 | 1 | 0.009619 | 0.0575 | 0.1104 | 0.1108 | 0.6624 | 1.271 | json |
| t17_x9_u0_b17 | 17 | 9 | 0 | 17 | ![]() |
sub(D,lrg(P,sqt(P))) | 105137 | 138413843 | o2(x,o2(x,o1(x))) | true | 1103 | 1103 | -0.8356 | 0.05078 | 0.8437 | 0.09076 | 0.3013 | -1 | 0.1454 | 1.145 | 1 | 2.308 | 0.001547 | 0 | 0.02552 | 1 | 1 | -0.0001582 | 0.0003519 | 0.01347 | 0.000896 | 0.02993 | 1.173 | 0.1713 | 0.01704 | 0.003877 | 1 | 1 | 0.003446 | 0.03176 | 0.1287 | 0.03797 | 0.35 | 1.418 | json |
| t17_x9_u0_b18 | 17 | 9 | 0 | 18 | ![]() |
sub(D,eql(P,sqt(P))) | 105138 | 138413844 | o2(x,o2(x,o1(x))) | true | 1111 | 1111 | -0.1209 | 0.4258 | 0.1999 | 0.09914 | 0.3149 | -1 | 0.1454 | 1.145 | 1 | 3.235 | 0.002233 | 0 | 0.03903 | 1 | 1 | -9.461e-10 | 0.0003199 | 0.01452 | 0.0007108 | 0.02666 | 0.6831 | 0.1713 | 0.02252 | 0.003227 | 1 | 1 | 0.004702 | 0.04268 | 0.1309 | 0.04743 | 0.4305 | 1.32 | json |
| t17_x9_u0_b19 | 17 | 9 | 0 | 19 | ![]() |
sub(D,min(P,sqt(P))) | 105139 | 138413845 | o2(x,o2(x,o1(x))) | true | 1119 | 1119 | 0.0006681 | 0.5 | 0.9368 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.792 | 0.001326 | 0 | 0.01115 | 1 | 1 | 1.892e-9 | 0.0002371 | 0.005035 | 0.001202 | 0.03467 | 3.108 | 0.1713 | 0.001435 | 0.0002566 | 1 | 1 | 0.00336 | 0.03319 | 0.2344 | 0.003637 | 0.03592 | 0.2537 | json |
| t17_x9_u0_b20 | 17 | 9 | 0 | 20 | ![]() |
sub(D,dot(P,sqt(P))) | 105140 | 138413846 | o2(x,o2(x,o1(x))) | true | 1127 | 1127 | -0.999 | 0.0002289 | 0.999 | 0.0007104 | 0.02665 | -1 | 0.09643 | 1.096 | 1 | 0.02779 | 0.0001272 | 0.00013 | 0.0005095 | -0.01088 | 1 | 1.877e-11 | 0.0004906 | 0.0006409 | 0.0002568 | 0.01602 | 31.45 | 1.096 | 0.362 | 0.6906 | 1 | 1 | 0.0005118 | 0.002223 | 0.002585 | 0.7204 | 3.128 | 3.638 | json |
| t17_x9_u0_b21 | 17 | 9 | 0 | 21 | ![]() |
sub(D,dst(P,sqt(P))) | 105141 | 138413847 | o2(x,o2(x,o1(x))) | true | 1135 | 1135 | -0.9861 | 0.004074 | 0.9868 | 0.01057 | 0.1028 | -1 | 0.1454 | 1.145 | 1 | 0.2541 | 0.0005209 | 0.0004523 | 0.002451 | 0.07051 | 1 | 1.014e-10 | 0.001735 | 0.002501 | 0.0009679 | 0.03111 | 12.69 | 1.145 | 0.09205 | 0.1641 | 1 | 1 | 0.001935 | 0.009644 | 0.0345 | 0.1831 | 0.9122 | 3.263 | json |
| t17_x9_u0_b22 | 17 | 9 | 0 | 22 | ![]() |
mlt(D,add(P,sqt(P))) | 105142 | 138413848 | o2(x,o2(x,o1(x))) | true | 1143 | 1143 | -0.5815 | 0.1875 | 0.7733 | 0.365 | 0.6042 | -1 | 1 | 2 | 1 | 2.953 | 0.03341 | 0 | 0.0954 | 1 | 1 | 0.0002157 | 0.01549 | 0.04922 | 0.02432 | 0.156 | 1.635 | 0.9994 | 0.09154 | 0.04244 | 1 | 1 | 0.04706 | 0.3243 | 0.06801 | 0.1289 | 0.8885 | 0.1863 | json |
| t17_x9_u0_b23 | 17 | 9 | 0 | 23 | ![]() |
mlt(D,sub(P,sqt(P))) | 105143 | 138413849 | o2(x,o2(x,o1(x))) | true | 1151 | 1151 | -0.5462 | 0.1523 | 0.611 | 0.2471 | 0.4971 | -1 | 0.5864 | 1.586 | 1 | 3.021 | 0.009732 | 0 | 0.04341 | 1 | 1 | 0.0008785 | 0.008859 | 0.02354 | 0.007849 | 0.0886 | 2.041 | 1 | 0.03938 | 0.03585 | 1 | 1 | 0.01088 | 0.06525 | 0.08368 | 0.04402 | 0.264 | 0.3386 | json |
| t17_x9_u0_b24 | 17 | 9 | 0 | 24 | ![]() |
mlt(D,mlt(P,sqt(P))) | 105144 | 138413850 | o2(x,o2(x,o1(x))) | true | 1159 | 1159 | -0.6076 | 0.168 | 0.8044 | 0.3837 | 0.6194 | -1 | 1 | 2 | 1 | 2.542 | 0.04985 | 0 | 0.09371 | 1 | 1 | 1.419e-9 | 0.03331 | 0.07007 | 0.04107 | 0.2027 | 2.163 | 1.147 | 0.1299 | 0.08681 | 1 | 1 | 0.0633 | 0.3861 | 0.08425 | 0.165 | 1.006 | 0.2196 | json |
| t17_x9_u0_b25 | 17 | 9 | 0 | 25 | ![]() |
mlt(D,div(P,sqt(P))) | 105145 | 138413851 | o2(x,o2(x,o1(x))) | true | 1167 | 1167 | -0.5788 | 0.1992 | 0.6484 | 0.2496 | 0.4996 | -1 | 0.3743 | 1.374 | 1 | 2.57 | 0.007376 | 0 | 0.03644 | 1 | 1 | 0.0004609 | 0.008511 | 0.021 | 0.00605 | 0.07778 | 2.135 | 1.031 | 0.02955 | 0.03409 | 1 | 1 | 0.01059 | 0.05824 | 0.07812 | 0.04241 | 0.2333 | 0.313 | json |
| t17_x9_u0_b26 | 17 | 9 | 0 | 26 | ![]() |
mlt(D,pow(P,sqt(P))) | 105146 | 138413852 | o2(x,o2(x,o1(x))) | true | 1175 | 1175 | -0.6775 | 0.1602 | 0.8492 | 0.3612 | 0.601 | -1 | 1 | 2 | 1 | 1.872 | 0.1178 | 0 | 0.09355 | 1 | 1 | -2.838e-9 | 0.205 | 0.1329 | 0.1091 | 0.3303 | 3.531 | 2 | 0.3262 | 0.5677 | 1 | 1 | 0.1029 | 0.3489 | 0.1154 | 0.2849 | 0.9661 | 0.3196 | json |
| t17_x9_u0_b27 | 17 | 9 | 0 | 27 | ![]() |
mlt(D,mod(P,sqt(P))) | 105147 | 138413853 | o2(x,o2(x,o1(x))) | true | 1183 | 1183 | -0.5834 | 0.1523 | 0.6199 | 0.2341 | 0.4838 | -1 | 0.346 | 1.346 | 1 | 2.429 | 0.004974 | 0 | 0.0211 | 1 | 1 | 0.0004176 | 0.008106 | 0.01418 | 0.004528 | 0.06729 | 3.189 | 0.9998 | 0.02125 | 0.03463 | 1 | 1 | 0.00635 | 0.02925 | 0.07961 | 0.02713 | 0.125 | 0.3401 | json |
| t17_x9_u0_b28 | 17 | 9 | 0 | 28 | ![]() |
mlt(D,lrg(P,sqt(P))) | 105148 | 138413854 | o2(x,o2(x,o1(x))) | true | 1191 | 1191 | 0 | 0.4688 | 0.09454 | 0.01251 | 0.1118 | -0.2729 | 0.2729 | 0.5458 | 1 | 2.848 | 0.00151 | 0 | 0.0335 | 1 | 1 | 0 | 0.000224 | 0.01308 | 0.000388 | 0.0197 | 0.588 | 0.0622 | 0.1207 | 0.01791 | 1 | 1 | 0.002846 | 0.0216 | 0.007957 | 0.2276 | 1.727 | 0.6363 | json |
| t17_x9_u0_b29 | 17 | 9 | 0 | 29 | ![]() |
mlt(D,eql(P,sqt(P))) | 105149 | 138413855 | o2(x,o2(x,o1(x))) | true | 1199 | 1199 | -2.075e-12 | 0.09375 | 0.02378 | 0.004388 | 0.06624 | -0.2729 | 0.2729 | 0.5458 | 1 | 1.135 | 0.0002968 | 0 | 0.006639 | 1 | 1 | 0 | 0.00003236 | 0.00218 | 0.0002526 | 0.01589 | 2.394 | 0.0622 | 0.06764 | 0.007375 | 1 | 1 | 0.0007658 | 0.00705 | 0.007957 | 0.1745 | 1.607 | 1.813 | json |
| t17_x9_u0_b30 | 17 | 9 | 0 | 30 | ![]() |
mlt(D,min(P,sqt(P))) | 105150 | 138413856 | o2(x,o2(x,o1(x))) | true | 1207 | 1207 | -0.09383 | 0.3789 | 0.2949 | 0.1372 | 0.3704 | -1 | 0.9606 | 1.961 | 1 | 4.445 | 0.01939 | 0 | 0.1045 | 1 | 1 | 0.001654 | 0.003545 | 0.04274 | 0.008477 | 0.09207 | 0.8813 | 0.4334 | 0.1413 | 0.02584 | 1 | 1 | 0.02293 | 0.159 | 0.0125 | 0.1671 | 1.159 | 0.09114 | json |
| t17_x9_u0_b31 | 17 | 9 | 0 | 31 | ![]() |
mlt(D,dot(P,sqt(P))) | 105151 | 138413857 | o2(x,o2(x,o1(x))) | true | 1215 | 1215 | -0.7803 | 0.1091 | 0.9525 | 0.328 | 0.5727 | -1 | 1 | 2 | 1 | 1.198 | 0.05077 | 0.002179 | 0.06118 | 0.9177 | 1 | 3.244e-7 | 0.05892 | 0.06452 | 0.0492 | 0.2218 | 3.626 | 2 | 0.1614 | 0.1796 | 1 | 1 | 0.06307 | 0.3423 | 0.1023 | 0.1923 | 1.044 | 0.312 | json |
| t17_x9_u0_b32 | 17 | 9 | 0 | 32 | ![]() |
mlt(D,dst(P,sqt(P))) | 105152 | 138413858 | o2(x,o2(x,o1(x))) | true | 1223 | 1223 | -0.7663 | 0.1099 | 0.8327 | 0.204 | 0.4516 | -1 | 0.9514 | 1.951 | 1 | 1.963 | 0.007929 | 0.001815 | 0.03455 | 0.6275 | 1 | 0.000484 | 0.008647 | 0.01986 | 0.00855 | 0.09246 | 2.676 | 1.586 | 0.04777 | 0.0424 | 1 | 1 | 0.01067 | 0.0617 | 0.08352 | 0.0523 | 0.3025 | 0.4095 | json |
| t17_x9_u0_b33 | 17 | 9 | 0 | 33 | ![]() |
div(D,add(P,sqt(P))) | 105153 | 138413859 | o2(x,o2(x,o1(x))) | true | 1231 | 1231 | -0.5589 | 0.25 | 0.571 | 0.2504 | 0.5004 | -1 | 0.09175 | 1.092 | 1 | 1.519 | 0.004127 | 0 | 0.007107 | 1 | 1 | 0.00001377 | 0.007958 | 0.009167 | 0.004076 | 0.06384 | 8.983 | 1.016 | 0.01648 | 0.03178 | 1 | 1 | 0.005665 | 0.02444 | 0.0879 | 0.02262 | 0.09758 | 0.351 | json |
| t17_x9_u0_b34 | 17 | 9 | 0 | 34 | ![]() |
div(D,sub(P,sqt(P))) | 105154 | 138413860 | o2(x,o2(x,o1(x))) | true | 1239 | 1239 | -0.6115 | 0.2227 | 0.647 | 0.2544 | 0.5044 | -1 | 0.3377 | 1.338 | 1 | 1.723 | 0.004693 | 0 | 0.01164 | 1 | 1 | 0.0000279 | 0.008042 | 0.01088 | 0.004558 | 0.06751 | 5.8 | 1.053 | 0.01845 | 0.03161 | 1 | 1 | 0.007088 | 0.03649 | 0.1018 | 0.02786 | 0.1434 | 0.4002 | json |
| t17_x9_u0_b35 | 17 | 9 | 0 | 35 | ![]() |
div(D,mlt(P,sqt(P))) | 105155 | 138413861 | o2(x,o2(x,o1(x))) | true | 1247 | 1247 | -0.554 | 0.2695 | 0.5738 | 0.2568 | 0.5068 | -1 | 0.2139 | 1.214 | 1 | 1.647 | 0.004304 | 0 | 0.00765 | 1 | 1 | 0.000006265 | 0.007975 | 0.009305 | 0.004246 | 0.06516 | 8.518 | 1.031 | 0.01676 | 0.03105 | 1 | 1 | 0.006126 | 0.02918 | 0.09522 | 0.02385 | 0.1136 | 0.3708 | json |
| t17_x9_u0_b36 | 17 | 9 | 0 | 36 | ![]() |
div(D,div(P,sqt(P))) | 105156 | 138413862 | o2(x,o2(x,o1(x))) | true | 1255 | 1255 | -0.5567 | 0.2383 | 0.5849 | 0.2541 | 0.5041 | -1 | 0.1714 | 1.171 | 1 | 1.84 | 0.004439 | 0 | 0.01249 | 1 | 1 | 0.00005412 | 0.008014 | 0.01132 | 0.004282 | 0.06544 | 5.239 | 1.031 | 0.01747 | 0.03154 | 1 | 1 | 0.00639 | 0.02954 | 0.09007 | 0.02515 | 0.1162 | 0.3544 | json |
| t17_x9_u0_b37 | 17 | 9 | 0 | 37 | ![]() |
div(D,pow(P,sqt(P))) | 105157 | 138413863 | o2(x,o2(x,o1(x))) | true | 1263 | 1263 | -0.4911 | 0.3398 | 0.516 | 0.2606 | 0.5105 | -1 | 0.2107 | 1.211 | 1 | 1.949 | 0.004405 | 0 | 0.009417 | 1 | 1 | 2.176e-7 | 0.008019 | 0.009991 | 0.004317 | 0.06571 | 6.977 | 1.031 | 0.0169 | 0.03077 | 1 | 1 | 0.006366 | 0.02858 | 0.09371 | 0.02443 | 0.1097 | 0.3596 | json |
| t17_x9_u0_b38 | 17 | 9 | 0 | 38 | ![]() |
div(D,mod(P,sqt(P))) | 105158 | 138413864 | o2(x,o2(x,o1(x))) | true | 1271 | 1271 | -0.7287 | 0.1602 | 0.7794 | 0.2252 | 0.4745 | -1 | 0.3699 | 1.37 | 1 | 1.516 | 0.01316 | 0 | 0.02153 | 1 | 1 | 0.00005577 | 0.02395 | 0.02744 | 0.0127 | 0.1127 | 5.236 | 1.059 | 0.05845 | 0.1064 | 1 | 1 | 0.0188 | 0.09399 | 0.2132 | 0.08349 | 0.4174 | 0.9467 | json |
| t17_x9_u0_b39 | 17 | 9 | 0 | 39 | ![]() |
div(D,lrg(P,sqt(P))) | 105159 | 138413865 | o2(x,o2(x,o1(x))) | true | 1279 | 1279 | -0.1875 | 0.4063 | 0.2642 | 0.1611 | 0.4014 | -1 | 0.1454 | 1.145 | 1 | 2.777 | 0.009247 | 0 | 0.03686 | 1 | 1 | 9.386e-13 | 0.01609 | 0.02764 | 0.007891 | 0.08883 | 2.41 | 1.031 | 0.05739 | 0.09987 | 1 | 1 | 0.01285 | 0.05803 | 0.1702 | 0.07973 | 0.3601 | 1.057 | json |
| t17_x9_u0_b40 | 17 | 9 | 0 | 40 | ![]() |
div(D,eql(P,sqt(P))) | 105160 | 138413866 | o2(x,o2(x,o1(x))) | true | 1287 | 1287 | -0.9375 | 0.03125 | 0.9434 | 0.05927 | 0.2435 | -1 | 0.1454 | 1.145 | 1 | 0.4974 | 0.008034 | 0 | 0.009999 | 1 | 1 | 9.386e-13 | 0.0159 | 0.01675 | 0.007931 | 0.08906 | 8.907 | 1.031 | 0.1355 | 0.2683 | 1 | 1 | 0.01077 | 0.04347 | 0.08512 | 0.1816 | 0.7335 | 1.436 | json |
| t17_x9_u0_b41 | 17 | 9 | 0 | 41 | ![]() |
div(D,min(P,sqt(P))) | 105161 | 138413867 | o2(x,o2(x,o1(x))) | true | 1295 | 1295 | -0.1114 | 0.4961 | 0.1619 | 0.1153 | 0.3396 | -1 | 0.1922 | 1.192 | 1 | 2.136 | 0.008769 | 0 | 0.02165 | 1 | 1 | 0.00007256 | 0.016 | 0.02128 | 0.0083 | 0.0911 | 4.207 | 1.031 | 0.07603 | 0.1387 | 1 | 1 | 0.01257 | 0.05842 | 0.1833 | 0.109 | 0.5065 | 1.589 | json |
| t17_x9_u0_b42 | 17 | 9 | 0 | 42 | ![]() |
div(D,dot(P,sqt(P))) | 105162 | 138413868 | o2(x,o2(x,o1(x))) | true | 1303 | 1303 | -0.7528 | 0.1368 | 0.7562 | 0.1872 | 0.4327 | -1 | 0.2139 | 1.214 | 1 | 1.08 | 0.002027 | 0.002097 | 0.004878 | -0.01711 | 1 | 0.000002413 | 0.008268 | 0.008367 | 0.004102 | 0.06404 | 13.13 | 1.415 | 0.02203 | 0.04416 | 1 | 1 | 0.005597 | 0.02293 | 0.08708 | 0.02989 | 0.1225 | 0.4651 | json |
| t17_x9_u0_b43 | 17 | 9 | 0 | 43 | ![]() |
div(D,dst(P,sqt(P))) | 105163 | 138413869 | o2(x,o2(x,o1(x))) | true | 1311 | 1311 | -0.7629 | 0.1272 | 0.7743 | 0.1844 | 0.4294 | -1 | 0.3377 | 1.338 | 1 | 1.18 | 0.002171 | 0.002159 | 0.007325 | 0.002685 | 1 | 0.00001284 | 0.008422 | 0.00935 | 0.004277 | 0.0654 | 8.929 | 1.415 | 0.02348 | 0.04568 | 1 | 1 | 0.006137 | 0.02654 | 0.0911 | 0.03328 | 0.1439 | 0.4941 | json |
| t17_x9_u0_b44 | 17 | 9 | 0 | 44 | ![]() |
pow(D,add(P,sqt(P))) | 105164 | 138413870 | o2(x,o2(x,o1(x))) | true | 1319 | 1319 | -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_x9_u0_b45 | 17 | 9 | 0 | 45 | ![]() |
pow(D,sub(P,sqt(P))) | 105165 | 138413871 | o2(x,o2(x,o1(x))) | true | 1327 | 1327 | -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_x9_u0_b46 | 17 | 9 | 0 | 46 | ![]() |
pow(D,mlt(P,sqt(P))) | 105166 | 138413872 | o2(x,o2(x,o1(x))) | true | 1335 | 1335 | -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_x9_u0_b47 | 17 | 9 | 0 | 47 | ![]() |
pow(D,div(P,sqt(P))) | 105167 | 138413873 | o2(x,o2(x,o1(x))) | true | 1343 | 1343 | -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_x9_u0_b48 | 17 | 9 | 0 | 48 | ![]() |
pow(D,pow(P,sqt(P))) | 105168 | 138413874 | o2(x,o2(x,o1(x))) | true | 1351 | 1351 | -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_x9_u0_b49 | 17 | 9 | 0 | 49 | ![]() |
pow(D,mod(P,sqt(P))) | 105169 | 138413875 | o2(x,o2(x,o1(x))) | true | 1359 | 1359 | -0.8994 | 0.0625 | 0.9756 | 0.1599 | 0.3999 | -1 | 1 | 2 | 1 | 0.5341 | 0.02029 | 0 | 0.01587 | 1 | 1 | -1.832e-9 | 0.03956 | 0.02449 | 0.02004 | 0.1415 | 8.918 | 2 | 0.1269 | 0.2474 | 1 | 1 | 0.02759 | 0.1236 | 0.2292 | 0.1725 | 0.7731 | 1.433 | json |
| t17_x9_u0_b50 | 17 | 9 | 0 | 50 | ![]() |
pow(D,lrg(P,sqt(P))) | 105170 | 138413876 | o2(x,o2(x,o1(x))) | true | 1367 | 1367 | -0.7723 | 0.125 | 0.9777 | 0.3743 | 0.6118 | -1 | 1 | 2 | 1 | 0.8083 | 0.02043 | 0 | 0.01587 | 1 | 1 | 4.731e-10 | 0.03965 | 0.02439 | 0.02017 | 0.142 | 8.948 | 2 | 0.05458 | 0.1059 | 1 | 1 | 0.0279 | 0.1316 | 0.574 | 0.07453 | 0.3516 | 1.533 | json |
| t17_x9_u0_b51 | 17 | 9 | 0 | 51 | ![]() |
pow(D,eql(P,sqt(P))) | 105171 | 138413877 | o2(x,o2(x,o1(x))) | true | 1375 | 1375 | 0.7277 | 0.875 | 0.9777 | 0.4411 | 0.6642 | -1 | 1 | 2 | 1 | 0.9395 | 0.02043 | 0 | 0.01587 | 1 | 1 | 4.731e-10 | 0.03965 | 0.02439 | 0.02017 | 0.142 | 8.948 | 2 | 0.04632 | 0.0899 | 1 | 1 | 0.0279 | 0.1316 | 0.6341 | 0.06325 | 0.2984 | 1.437 | json |
| t17_x9_u0_b52 | 17 | 9 | 0 | 52 | ![]() |
pow(D,min(P,sqt(P))) | 105172 | 138413878 | o2(x,o2(x,o1(x))) | true | 1383 | 1383 | -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_x9_u0_b53 | 17 | 9 | 0 | 53 | ![]() |
pow(D,dot(P,sqt(P))) | 105173 | 138413879 | o2(x,o2(x,o1(x))) | true | 1391 | 1391 | -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_x9_u0_b54 | 17 | 9 | 0 | 54 | ![]() |
pow(D,dst(P,sqt(P))) | 105174 | 138413880 | o2(x,o2(x,o1(x))) | true | 1399 | 1399 | -0.9922 | 0.003906 | 1 | 0.01556 | 0.1248 | -1 | 1 | 2 | 1 | 0.03687 | 0.002016 | 0.002016 | 0.001997 | 0 | 1 | 0 | 0.008566 | 0.004031 | 0.004026 | 0.06345 | 31.77 | 2.828 | 0.259 | 0.5504 | 1 | 1 | 0.007091 | 0.02837 | 0.05673 | 0.4556 | 1.823 | 3.645 | json |
| t17_x9_u0_b55 | 17 | 9 | 0 | 55 | ![]() |
mod(D,add(P,sqt(P))) | 105175 | 138413881 | o2(x,o2(x,o1(x))) | true | 1407 | 1407 | -0.5625 | 0.2188 | 0.6038 | 0.2508 | 0.5008 | -1 | 0.1454 | 1.145 | 1 | 2.109 | 0.004924 | 0 | 0.01978 | 1 | 1 | 0.0001582 | 0.008104 | 0.01431 | 0.004534 | 0.06734 | 3.404 | 1.031 | 0.01964 | 0.03231 | 1 | 1 | 0.007206 | 0.03435 | 0.08512 | 0.02873 | 0.137 | 0.3394 | json |
| t17_x9_u0_b56 | 17 | 9 | 0 | 56 | ![]() |
mod(D,sub(P,sqt(P))) | 105176 | 138413882 | o2(x,o2(x,o1(x))) | true | 1415 | 1415 | -0.6268 | 0.1875 | 0.6622 | 0.2369 | 0.4867 | -1 | 0.1454 | 1.145 | 1 | 1.986 | 0.005058 | 0 | 0.01846 | 1 | 1 | 0.0001582 | 0.008497 | 0.01488 | 0.004715 | 0.06867 | 3.719 | 1.031 | 0.02135 | 0.03587 | 1 | 1 | 0.007298 | 0.03396 | 0.08325 | 0.03081 | 0.1434 | 0.3515 | json |
| t17_x9_u0_b57 | 17 | 9 | 0 | 57 | ![]() |
mod(D,mlt(P,sqt(P))) | 105177 | 138413883 | o2(x,o2(x,o1(x))) | true | 1423 | 1423 | -0.5625 | 0.2188 | 0.6038 | 0.2508 | 0.5008 | -1 | 0.1454 | 1.145 | 1 | 2.109 | 0.004924 | 0 | 0.01978 | 1 | 1 | 0.0001582 | 0.008104 | 0.01431 | 0.004534 | 0.06734 | 3.404 | 1.031 | 0.01964 | 0.03231 | 1 | 1 | 0.007206 | 0.03435 | 0.08512 | 0.02873 | 0.137 | 0.3394 | json |
| t17_x9_u0_b58 | 17 | 9 | 0 | 58 | ![]() |
mod(D,div(P,sqt(P))) | 105178 | 138413884 | o2(x,o2(x,o1(x))) | true | 1431 | 1431 | -0.5625 | 0.2188 | 0.6038 | 0.2508 | 0.5008 | -1 | 0.1454 | 1.145 | 1 | 2.109 | 0.004924 | 0 | 0.01978 | 1 | 1 | 0.0001582 | 0.008104 | 0.01431 | 0.004534 | 0.06734 | 3.404 | 1.031 | 0.01964 | 0.03231 | 1 | 1 | 0.007206 | 0.03435 | 0.08512 | 0.02873 | 0.137 | 0.3394 | json |
| t17_x9_u0_b59 | 17 | 9 | 0 | 59 | ![]() |
mod(D,pow(P,sqt(P))) | 105179 | 138413885 | o2(x,o2(x,o1(x))) | true | 1439 | 1439 | -0.5 | 0.25 | 0.5472 | 0.2554 | 0.5054 | -1 | 0.1454 | 1.145 | 1 | 2.281 | 0.005029 | 0 | 0.02209 | 1 | 1 | 0.0001582 | 0.00812 | 0.01523 | 0.004542 | 0.06739 | 3.051 | 1.031 | 0.01969 | 0.03179 | 1 | 1 | 0.007473 | 0.03617 | 0.08512 | 0.02926 | 0.1416 | 0.3333 | json |
| t17_x9_u0_b60 | 17 | 9 | 0 | 60 | ![]() |
mod(D,mod(P,sqt(P))) | 105180 | 138413886 | o2(x,o2(x,o1(x))) | true | 1447 | 1447 | -0.7544 | 0.125 | 0.778 | 0.1852 | 0.4303 | -1 | 0.1454 | 1.145 | 1 | 1.537 | 0.01309 | 0 | 0.02245 | 1 | 1 | 0.0001582 | 0.02494 | 0.03074 | 0.01259 | 0.1122 | 4.997 | 1.031 | 0.0707 | 0.1347 | 1 | 1 | 0.0177 | 0.07091 | 0.1635 | 0.0956 | 0.3829 | 0.8832 | json |
| t17_x9_u0_b61 | 17 | 9 | 0 | 61 | ![]() |
mod(D,lrg(P,sqt(P))) | 105181 | 138413887 | o2(x,o2(x,o1(x))) | true | 1455 | 1455 | -0.1875 | 0.4063 | 0.2642 | 0.1611 | 0.4014 | -1 | 0.1454 | 1.145 | 1 | 2.777 | 0.009247 | 0 | 0.03686 | 1 | 1 | 9.386e-13 | 0.01609 | 0.02764 | 0.007891 | 0.08883 | 2.41 | 1.031 | 0.05739 | 0.09987 | 1 | 1 | 0.01285 | 0.05803 | 0.1702 | 0.07973 | 0.3601 | 1.057 | json |
| t17_x9_u0_b62 | 17 | 9 | 0 | 62 | ![]() |
mod(D,eql(P,sqt(P))) | 105182 | 138413888 | o2(x,o2(x,o1(x))) | true | 1463 | 1463 | -0.9375 | 0.03125 | 0.9434 | 0.05927 | 0.2435 | -1 | 0.1454 | 1.145 | 1 | 0.4974 | 0.008034 | 0 | 0.009999 | 1 | 1 | 9.386e-13 | 0.0159 | 0.01675 | 0.007931 | 0.08906 | 8.907 | 1.031 | 0.1355 | 0.2683 | 1 | 1 | 0.01077 | 0.04347 | 0.08512 | 0.1816 | 0.7335 | 1.436 | json |
| t17_x9_u0_b63 | 17 | 9 | 0 | 63 | ![]() |
mod(D,min(P,sqt(P))) | 105183 | 138413889 | o2(x,o2(x,o1(x))) | true | 1471 | 1471 | -0.125 | 0.4375 | 0.2076 | 0.1189 | 0.3448 | -1 | 0.1454 | 1.145 | 1 | 2.785 | 0.009352 | 0 | 0.03917 | 1 | 1 | 9.386e-13 | 0.01611 | 0.02856 | 0.007817 | 0.08842 | 2.257 | 1.031 | 0.07868 | 0.1355 | 1 | 1 | 0.01311 | 0.05985 | 0.1702 | 0.1103 | 0.5035 | 1.432 | json |
| t17_x9_u0_b64 | 17 | 9 | 0 | 64 | ![]() |
mod(D,dot(P,sqt(P))) | 105184 | 138413890 | o2(x,o2(x,o1(x))) | true | 1479 | 1479 | -0.7539 | 0.123 | 0.777 | 0.1882 | 0.4338 | -1 | 0.1454 | 1.145 | 1 | 1.435 | 0.002508 | 0.00201 | 0.01287 | 0.1104 | 1 | 0.00007909 | 0.008179 | 0.0115 | 0.004352 | 0.06597 | 5.124 | 1.415 | 0.02401 | 0.04346 | 1 | 1 | 0.006376 | 0.02858 | 0.08515 | 0.03388 | 0.1519 | 0.4525 | json |
| t17_x9_u0_b65 | 17 | 9 | 0 | 65 | ![]() |
mod(D,dst(P,sqt(P))) | 105185 | 138413891 | o2(x,o2(x,o1(x))) | true | 1487 | 1487 | -0.7659 | 0.1172 | 0.788 | 0.1817 | 0.4263 | -1 | 0.2702 | 1.27 | 1 | 1.404 | 0.002529 | 0.001992 | 0.0126 | 0.1189 | 1 | 0.00007909 | 0.008215 | 0.01156 | 0.004361 | 0.06604 | 5.24 | 1.415 | 0.02488 | 0.04521 | 1 | 1 | 0.006364 | 0.02847 | 0.0846 | 0.03502 | 0.1567 | 0.4656 | json |
| t17_x9_u0_b66 | 17 | 9 | 0 | 66 | ![]() |
lrg(D,add(P,sqt(P))) | 105186 | 138413892 | o2(x,o2(x,o1(x))) | true | 1495 | 1495 | 0.5 | 0.5625 | 0.5 | 0.2365 | 0.4863 | 0 | 1 | 1 | 1 | 1.577 | 0.00467 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.008068 | 0.009787 | 0.004528 | 0.06729 | 5.654 | 0.9994 | 0.01975 | 0.03412 | 1 | 1 | 0.007036 | 0.03244 | 0.06598 | 0.02976 | 0.1372 | 0.279 | json |
| t17_x9_u0_b67 | 17 | 9 | 0 | 67 | ![]() |
lrg(D,sub(P,sqt(P))) | 105187 | 138413893 | o2(x,o2(x,o1(x))) | true | 1503 | 1503 | 0.5344 | 0.6523 | 0.5344 | 0.2261 | 0.4755 | 0 | 1 | 1 | 1 | 1.866 | 0.009512 | 0 | 0.02244 | 1 | 1 | -4.731e-10 | 0.01729 | 0.02207 | 0.009002 | 0.09488 | 4.229 | 0.9994 | 0.04208 | 0.07649 | 1 | 1 | 0.01377 | 0.0537 | 0.06598 | 0.06089 | 0.2375 | 0.2919 | json |
| t17_x9_u0_b68 | 17 | 9 | 0 | 68 | ![]() |
lrg(D,mlt(P,sqt(P))) | 105188 | 138413894 | o2(x,o2(x,o1(x))) | true | 1511 | 1511 | 0.5 | 0.5625 | 0.5 | 0.2365 | 0.4863 | 0 | 1 | 1 | 1 | 1.577 | 0.00467 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.008068 | 0.009787 | 0.004528 | 0.06729 | 5.654 | 0.9994 | 0.01975 | 0.03412 | 1 | 1 | 0.007036 | 0.03244 | 0.06598 | 0.02976 | 0.1372 | 0.279 | json |
| t17_x9_u0_b69 | 17 | 9 | 0 | 69 | ![]() |
lrg(D,div(P,sqt(P))) | 105189 | 138413895 | o2(x,o2(x,o1(x))) | true | 1519 | 1519 | 0.5313 | 0.5625 | 0.5313 | 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_x9_u0_b70 | 17 | 9 | 0 | 70 | ![]() |
lrg(D,pow(P,sqt(P))) | 105190 | 138413896 | o2(x,o2(x,o1(x))) | true | 1527 | 1527 | 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_x9_u0_b71 | 17 | 9 | 0 | 71 | ![]() |
lrg(D,mod(P,sqt(P))) | 105191 | 138413897 | o2(x,o2(x,o1(x))) | true | 1535 | 1535 | 0.6018 | 0.7461 | 0.6018 | 0.2135 | 0.4621 | 0 | 1 | 1 | 1 | 1.92 | 0.01044 | 0 | 0.02594 | 1 | 1 | -9.461e-10 | 0.01925 | 0.02647 | 0.009763 | 0.09881 | 3.808 | 0.9997 | 0.04888 | 0.09013 | 1 | 1 | 0.01492 | 0.06204 | 0.1 | 0.0699 | 0.2906 | 0.4684 | json |
| t17_x9_u0_b72 | 17 | 9 | 0 | 72 | ![]() |
lrg(D,lrg(P,sqt(P))) | 105192 | 138413898 | o2(x,o2(x,o1(x))) | true | 1543 | 1543 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.008635 | 0 | 0.01587 | 1 | 1 | -2.365e-10 | 0.01605 | 0.01772 | 0.008379 | 0.09154 | 5.769 | 0.9997 | 0.1916 | 0.3562 | 1 | 1 | 0.01226 | 0.04693 | 0.06598 | 0.2721 | 1.041 | 1.464 | json |
| t17_x9_u0_b73 | 17 | 9 | 0 | 73 | ![]() |
lrg(D,eql(P,sqt(P))) | 105193 | 138413899 | o2(x,o2(x,o1(x))) | true | 1551 | 1551 | 0.4375 | 0.875 | 0.4375 | 0.1514 | 0.3891 | 0 | 0.9997 | 0.9997 | 1 | 3.238 | 0.05647 | 0 | 0.1069 | 1 | 1 | 0 | 0.1047 | 0.1159 | 0.04503 | 0.2122 | 1.984 | 0.9997 | 0.373 | 0.6913 | 1 | 1 | 0.05855 | 0.2076 | 0.06598 | 0.3867 | 1.372 | 0.4359 | json |
| t17_x9_u0_b74 | 17 | 9 | 0 | 74 | ![]() |
lrg(D,min(P,sqt(P))) | 105194 | 138413900 | o2(x,o2(x,o1(x))) | true | 1559 | 1559 | 0.5 | 0.5625 | 0.5 | 0.2365 | 0.4863 | 0 | 1 | 1 | 1 | 1.577 | 0.00467 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.008068 | 0.009787 | 0.004528 | 0.06729 | 5.654 | 0.9994 | 0.01975 | 0.03412 | 1 | 1 | 0.007036 | 0.03244 | 0.06598 | 0.02976 | 0.1372 | 0.279 | json |
| t17_x9_u0_b75 | 17 | 9 | 0 | 75 | ![]() |
lrg(D,dot(P,sqt(P))) | 105195 | 138413901 | o2(x,o2(x,o1(x))) | true | 1567 | 1567 | 0.7197 | 0.7537 | 0.7197 | 0.1942 | 0.4407 | 0 | 1 | 1 | 1 | 1.211 | 0.0004 | 0.0001804 | 0.004591 | 0.3783 | 1 | -5.829e-10 | 0.000424 | 0.001521 | 0.0005595 | 0.02365 | 5.152 | 0.9991 | 0.002989 | 0.002184 | 1 | 1 | 0.001373 | 0.01401 | 0.07847 | 0.007068 | 0.07213 | 0.4041 | json |
| t17_x9_u0_b76 | 17 | 9 | 0 | 76 | ![]() |
lrg(D,dst(P,sqt(P))) | 105196 | 138413902 | o2(x,o2(x,o1(x))) | true | 1575 | 1575 | 0.7264 | 0.7726 | 0.7264 | 0.1895 | 0.4353 | 0 | 1 | 1 | 1 | 1.269 | 0.001274 | 0.0001738 | 0.006613 | 0.7598 | 1 | -6.747e-10 | 0.002106 | 0.004064 | 0.001404 | 0.03748 | 5.667 | 0.9994 | 0.007637 | 0.01111 | 1 | 1 | 0.002952 | 0.01866 | 0.07462 | 0.01557 | 0.09846 | 0.3937 | json |
| t17_x9_u0_b77 | 17 | 9 | 0 | 77 | ![]() |
eql(D,add(P,sqt(P))) | 105197 | 138413903 | o2(x,o2(x,o1(x))) | true | 1583 | 1583 | 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_x9_u0_b78 | 17 | 9 | 0 | 78 | ![]() |
eql(D,sub(P,sqt(P))) | 105198 | 138413904 | o2(x,o2(x,o1(x))) | true | 1591 | 1591 | 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_x9_u0_b79 | 17 | 9 | 0 | 79 | ![]() |
eql(D,mlt(P,sqt(P))) | 105199 | 138413905 | o2(x,o2(x,o1(x))) | true | 1599 | 1599 | 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 |



































































































