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_x17_u6_b78 | 17 | 17 | 6 | 78 | ![]() |
eql(D,sub(R,nrm(R))) | 112700 | 138738318 | o2(x,o2(x,o1(x))) | true | 61607 | 61607 | 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_x17_u6_b79 | 17 | 17 | 6 | 79 | ![]() |
eql(D,mlt(R,nrm(R))) | 112701 | 138738319 | o2(x,o2(x,o1(x))) | true | 61615 | 61615 | 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_x17_u6_b80 | 17 | 17 | 6 | 80 | ![]() |
eql(D,div(R,nrm(R))) | 112702 | 138738320 | o2(x,o2(x,o1(x))) | true | 61623 | 61623 | 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_x17_u6_b81 | 17 | 17 | 6 | 81 | ![]() |
eql(D,pow(R,nrm(R))) | 112703 | 138738321 | o2(x,o2(x,o1(x))) | true | 61631 | 61631 | 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_x17_u6_b82 | 17 | 17 | 6 | 82 | ![]() |
eql(D,mod(R,nrm(R))) | 112704 | 138738322 | o2(x,o2(x,o1(x))) | true | 61639 | 61639 | 0.00004008 | 0.0002289 | 0.00004008 | 0.00001031 | 0.00321 | 0 | 0.3282 | 0.3282 | 1 | 0.002722 | 0.00001454 | 1.509e-7 | 0.00006305 | 0.9795 | 0 | 1.17e-7 | 0.00004407 | 0.0001242 | 0.00001469 | 0.003832 | 60.78 | 0.3186 | 1.425 | 4.276 | 1 | 1 | 0 | 0 | 0.000007865 | 0 | 0 | 0.7631 | json |
| t17_x17_u6_b83 | 17 | 17 | 6 | 83 | ![]() |
eql(D,lrg(R,nrm(R))) | 112705 | 138738323 | o2(x,o2(x,o1(x))) | true | 61647 | 61647 | 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_x17_u6_b84 | 17 | 17 | 6 | 84 | ![]() |
eql(D,eql(R,nrm(R))) | 112706 | 138738324 | o2(x,o2(x,o1(x))) | true | 61655 | 61655 | 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_x17_u6_b85 | 17 | 17 | 6 | 85 | ![]() |
eql(D,min(R,nrm(R))) | 112707 | 138738325 | o2(x,o2(x,o1(x))) | true | 61663 | 61663 | 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_x17_u6_b86 | 17 | 17 | 6 | 86 | ![]() |
eql(D,dot(R,nrm(R))) | 112708 | 138738326 | o2(x,o2(x,o1(x))) | true | 61671 | 61671 | 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_x17_u6_b87 | 17 | 17 | 6 | 87 | ![]() |
eql(D,dst(R,nrm(R))) | 112709 | 138738327 | o2(x,o2(x,o1(x))) | true | 61679 | 61679 | 0.0002441 | 0.0004883 | 0.0002441 | 0.0001911 | 0.01382 | 0 | 0.9994 | 0.9994 | 1 | 0.006378 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x17_u6_b88 | 17 | 17 | 6 | 88 | ![]() |
min(D,add(R,nrm(R))) | 112710 | 138738328 | o2(x,o2(x,o1(x))) | true | 61687 | 61687 | -0.4621 | 0.1494 | 0.4866 | 0.1574 | 0.3967 | -1 | 0.1454 | 1.145 | 1 | 3.935 | 0.003268 | 0.002647 | 0.05866 | 0.105 | 1 | 0.00005041 | 0.0009158 | 0.01807 | 0.002474 | 0.04974 | 0.8479 | 0.2453 | 0.03758 | 0.005818 | 1 | 1 | 0.01097 | 0.1221 | 0.2653 | 0.06972 | 0.7759 | 1.685 | json |
| t17_x17_u6_b89 | 17 | 17 | 6 | 89 | ![]() |
min(D,sub(R,nrm(R))) | 112711 | 138738329 | o2(x,o2(x,o1(x))) | true | 61695 | 61695 | -0.1491 | 0.131 | 0.163 | 0.01415 | 0.119 | -0.6199 | 0.1454 | 0.7654 | 1 | 2.94 | 0.001459 | 0.0000887 | 0.03481 | 0.8854 | 1 | 0.0002212 | 0.0002986 | 0.01335 | 0.0003359 | 0.01833 | 0.5266 | 0.08562 | 0.1094 | 0.0211 | 1 | 1 | 0.002982 | 0.02167 | 0.01157 | 0.2107 | 1.531 | 0.818 | json |
| t17_x17_u6_b90 | 17 | 17 | 6 | 90 | ![]() |
min(D,mlt(R,nrm(R))) | 112712 | 138738330 | o2(x,o2(x,o1(x))) | true | 61703 | 61703 | -0.05429 | 0.3681 | 0.1121 | 0.01413 | 0.1189 | -0.2729 | 0.1454 | 0.4183 | 1 | 2.863 | 0.001886 | 0.000048 | 0.03964 | 0.9504 | 1 | 0.0001357 | 0.0003481 | 0.01562 | 0.0003629 | 0.01905 | 0.4806 | 0.08559 | 0.1369 | 0.02465 | 1 | 1 | 0.003775 | 0.02629 | 0.006383 | 0.2672 | 1.861 | 0.4518 | json |
| t17_x17_u6_b91 | 17 | 17 | 6 | 91 | ![]() |
min(D,div(R,nrm(R))) | 112713 | 138738331 | o2(x,o2(x,o1(x))) | true | 61711 | 61711 | -0.002049 | 0.4973 | 0.09574 | 0.01118 | 0.1057 | -0.2438 | 0.1454 | 0.3892 | 1 | 2.577 | 0.001681 | 0.000001595 | 0.03666 | 0.9981 | 1 | 0.000007736 | 0.0002677 | 0.01482 | 0.0003401 | 0.01844 | 0.5031 | 0.08437 | 0.1505 | 0.02394 | 1 | 1 | 0.003238 | 0.02242 | 0.000124 | 0.2895 | 2.005 | 0.01108 | json |
| t17_x17_u6_b92 | 17 | 17 | 6 | 92 | ![]() |
min(D,pow(R,nrm(R))) | 112714 | 138738332 | o2(x,o2(x,o1(x))) | true | 61719 | 61719 | -0.0009405 | 0.4989 | 0.09505 | 0.01101 | 0.1049 | -0.2296 | 0.1454 | 0.375 | 1 | 2.569 | 0.001659 | 6.033e-7 | 0.03643 | 0.9993 | 1 | 0.00000834 | 0.0002628 | 0.01469 | 0.0003328 | 0.01824 | 0.5007 | 0.08292 | 0.1508 | 0.02387 | 1 | 1 | 0.003192 | 0.0221 | 0.00002262 | 0.29 | 2.008 | 0.002055 | json |
| t17_x17_u6_b93 | 17 | 17 | 6 | 93 | ![]() |
min(D,mod(R,nrm(R))) | 112715 | 138738333 | o2(x,o2(x,o1(x))) | true | 61727 | 61727 | -0.1909 | 0.1323 | 0.2081 | 0.02847 | 0.1687 | -0.8899 | 0.1454 | 1.035 | 1 | 3.432 | 0.001456 | 0.0003335 | 0.03709 | 0.6273 | 1 | 0.0001026 | 0.0002798 | 0.01299 | 0.0004141 | 0.02035 | 0.5486 | 0.1185 | 0.06288 | 0.009831 | 1 | 1 | 0.003555 | 0.03339 | 0.04907 | 0.1249 | 1.173 | 1.724 | json |
| t17_x17_u6_b94 | 17 | 17 | 6 | 94 | ![]() |
min(D,lrg(R,nrm(R))) | 112716 | 138738334 | o2(x,o2(x,o1(x))) | true | 61735 | 61735 | -0.06397 | 0.2957 | 0.1112 | 0.01373 | 0.1172 | -0.2729 | 0.1454 | 0.4183 | 1 | 2.906 | 0.001475 | 0.00007636 | 0.03555 | 0.9016 | 1 | 0.0001204 | 0.0002551 | 0.01412 | 0.0002882 | 0.01698 | 0.4775 | 0.0622 | 0.113 | 0.01858 | 1 | 1 | 0.003017 | 0.02266 | 0.01272 | 0.2198 | 1.651 | 0.9266 | json |
| t17_x17_u6_b95 | 17 | 17 | 6 | 95 | ![]() |
min(D,eql(R,nrm(R))) | 112717 | 138738335 | o2(x,o2(x,o1(x))) | true | 61743 | 61743 | -0.143 | 0 | 0.143 | 0.009237 | 0.09611 | -0.2729 | -0.000282 | 0.2726 | 1 | 2.227 | 0.001451 | 0 | 0.03416 | 1 | 1 | 0.0003063 | 0.0002653 | 0.01361 | 0.0002853 | 0.01689 | 0.4945 | 0.06184 | 0.1571 | 0.02873 | 1 | 1 | 0.002788 | 0.01827 | 0 | 0.3018 | 1.978 | 0 | json |
| t17_x17_u6_b96 | 17 | 17 | 6 | 96 | ![]() |
min(D,min(R,nrm(R))) | 112718 | 138738336 | o2(x,o2(x,o1(x))) | true | 61751 | 61751 | -0.3136 | 0.1606 | 0.3402 | 0.08416 | 0.2901 | -0.999 | 0.1454 | 1.144 | 1 | 4.125 | 0.00196 | 0.001137 | 0.04773 | 0.2658 | 1 | 0.00001352 | 0.0003013 | 0.01373 | 0.0008193 | 0.02862 | 0.5997 | 0.159 | 0.03681 | 0.00358 | 1 | 1 | 0.005759 | 0.06606 | 0.1386 | 0.06843 | 0.7849 | 1.647 | json |
| t17_x17_u6_b97 | 17 | 17 | 6 | 97 | ![]() |
min(D,dot(R,nrm(R))) | 112719 | 138738337 | o2(x,o2(x,o1(x))) | true | 61759 | 61759 | -0.002049 | 0.4973 | 0.09574 | 0.01118 | 0.1057 | -0.2438 | 0.1454 | 0.3892 | 1 | 2.577 | 0.001681 | 0.000001595 | 0.03666 | 0.9981 | 1 | 0.000007736 | 0.0002677 | 0.01482 | 0.0003401 | 0.01844 | 0.5031 | 0.08437 | 0.1505 | 0.02394 | 1 | 1 | 0.003238 | 0.02242 | 0.000124 | 0.2895 | 2.005 | 0.01108 | json |
| t17_x17_u6_b98 | 17 | 17 | 6 | 98 | ![]() |
min(D,dst(R,nrm(R))) | 112720 | 138738338 | o2(x,o2(x,o1(x))) | true | 61767 | 61767 | -0.06542 | 0.3441 | 0.1173 | 0.01432 | 0.1197 | -0.2721 | 0.1454 | 0.4175 | 1 | 2.821 | 0.002051 | 0.00003303 | 0.04119 | 0.9683 | 1 | 0.0001084 | 0.000397 | 0.01604 | 0.0003879 | 0.01969 | 0.4782 | 0.08564 | 0.1455 | 0.02772 | 1 | 1 | 0.003976 | 0.02714 | 0.00354 | 0.2776 | 1.895 | 0.2472 | json |
| t17_x17_u6_b99 | 17 | 17 | 6 | 99 | ![]() |
dot(D,add(R,nrm(R))) | 112721 | 138738339 | o2(x,o2(x,o1(x))) | true | 61775 | 61775 | 0.008296 | 0.5157 | 0.2793 | 0.1204 | 0.3469 | -1 | 1 | 2 | 1 | 4.512 | 0.003923 | 0.00402 | 0.0815 | -0.01222 | 1 | -0.0002485 | 0.0007969 | 0.02309 | 0.0013 | 0.03606 | 0.4424 | 0.2228 | 0.066 | 0.006622 | 1 | 1 | 0.0153 | 0.1734 | 0.2454 | 0.1271 | 1.44 | 2.039 | json |
| t17_x17_u6_b100 | 17 | 17 | 6 | 100 | ![]() |
dot(D,sub(R,nrm(R))) | 112722 | 138738340 | o2(x,o2(x,o1(x))) | true | 61783 | 61783 | 0.00005711 | 0.5041 | 0.03717 | 0.002567 | 0.05066 | -0.2926 | 0.2189 | 0.5115 | 1 | 1.834 | 0.00008587 | 0.00007858 | 0.01078 | 0.04431 | 1 | 0.000005694 | 0.00001596 | 0.002985 | 0.00004814 | 0.006938 | 0.6434 | 0.04733 | 0.06407 | 0.006219 | 1 | 1 | 0.0002868 | 0.003243 | 0.004547 | 0.1118 | 1.264 | 1.772 | json |
| t17_x17_u6_b101 | 17 | 17 | 6 | 101 | ![]() |
dot(D,mlt(R,nrm(R))) | 112723 | 138738341 | o2(x,o2(x,o1(x))) | true | 61791 | 61791 | -0.001037 | 0.4879 | 0.07409 | 0.008556 | 0.0925 | -0.2905 | 0.2862 | 0.5767 | 1 | 2.637 | 0.0003732 | 0.0003927 | 0.02481 | -0.02551 | 1 | 0.00002958 | 0.00009583 | 0.007941 | 0.0001504 | 0.01226 | 0.4943 | 0.07046 | 0.08951 | 0.0112 | 1 | 1 | 0.001399 | 0.01303 | 0.01273 | 0.1635 | 1.522 | 1.487 | json |
| t17_x17_u6_b102 | 17 | 17 | 6 | 102 | ![]() |
dot(D,div(R,nrm(R))) | 112724 | 138738342 | o2(x,o2(x,o1(x))) | true | 61799 | 61799 | -0.0006414 | 0.4969 | 0.1303 | 0.02765 | 0.1663 | -0.5196 | 0.5113 | 1.031 | 1 | 3.454 | 0.001765 | 0.001795 | 0.05541 | -0.008335 | 1 | 0.00001617 | 0.0005327 | 0.01842 | 0.0004901 | 0.02214 | 0.3995 | 0.1434 | 0.1287 | 0.01926 | 1 | 1 | 0.006939 | 0.05151 | 0.01253 | 0.2509 | 1.863 | 0.4533 | json |
| t17_x17_u6_b103 | 17 | 17 | 6 | 103 | ![]() |
dot(D,pow(R,nrm(R))) | 112725 | 138738343 | o2(x,o2(x,o1(x))) | true | 61807 | 61807 | -0.996 | 0.002243 | 0.9964 | 0.004111 | 0.06412 | -1 | 0.2343 | 1.234 | 1 | 0.04747 | 0.000537 | 0.0005076 | 0.001148 | 0.02819 | 1 | -3.754e-11 | 0.002202 | 0.00208 | 0.001042 | 0.03229 | 28.13 | 1.358 | 0.2541 | 0.5356 | 1 | 1 | 0.001852 | 0.007551 | 0.01447 | 0.4504 | 1.837 | 3.521 | json |
| t17_x17_u6_b104 | 17 | 17 | 6 | 104 | ![]() |
dot(D,mod(R,nrm(R))) | 112726 | 138738344 | o2(x,o2(x,o1(x))) | true | 61815 | 61815 | 0.002187 | 0.5 | 0.07136 | 0.009617 | 0.09807 | -0.4187 | 0.3988 | 0.8175 | 1 | 2.676 | 0.0002916 | 0.0003284 | 0.02073 | -0.05938 | 1 | -0.00005975 | 0.00006077 | 0.005862 | 0.0001905 | 0.0138 | 0.6658 | 0.07952 | 0.06447 | 0.006319 | 1 | 1 | 0.001272 | 0.01436 | 0.02137 | 0.1322 | 1.493 | 2.222 | json |
| t17_x17_u6_b105 | 17 | 17 | 6 | 105 | ![]() |
dot(D,lrg(R,nrm(R))) | 112727 | 138738345 | o2(x,o2(x,o1(x))) | true | 61823 | 61823 | 0.0005587 | 0.4928 | 0.1402 | 0.03051 | 0.1747 | -0.5458 | 0.5458 | 1.092 | 1 | 3.525 | 0.001277 | 0.001179 | 0.04469 | 0.04002 | 1 | -0.00001627 | 0.0002927 | 0.01386 | 0.0004583 | 0.02141 | 0.479 | 0.1179 | 0.08049 | 0.009595 | 1 | 1 | 0.00475 | 0.04555 | 0.04794 | 0.1557 | 1.493 | 1.571 | json |
| t17_x17_u6_b106 | 17 | 17 | 6 | 106 | ![]() |
dot(D,eql(R,nrm(R))) | 112728 | 138738346 | o2(x,o2(x,o1(x))) | true | 61831 | 61831 | 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_x17_u6_b107 | 17 | 17 | 6 | 107 | ![]() |
dot(D,min(R,nrm(R))) | 112729 | 138738347 | o2(x,o2(x,o1(x))) | true | 61839 | 61839 | 0.004226 | 0.515 | 0.1407 | 0.03056 | 0.1748 | -0.4993 | 0.5593 | 1.059 | 1 | 3.53 | 0.001009 | 0.001012 | 0.04107 | -0.001868 | 1 | -0.0001252 | 0.0002028 | 0.01166 | 0.0003342 | 0.01828 | 0.4451 | 0.111 | 0.06612 | 0.006635 | 1 | 1 | 0.003846 | 0.04367 | 0.06155 | 0.1258 | 1.429 | 2.014 | json |
| t17_x17_u6_b108 | 17 | 17 | 6 | 108 | ![]() |
dot(D,dot(R,nrm(R))) | 112730 | 138738348 | o2(x,o2(x,o1(x))) | true | 61847 | 61847 | -0.0006414 | 0.4969 | 0.1303 | 0.02765 | 0.1663 | -0.5196 | 0.5113 | 1.031 | 1 | 3.454 | 0.001765 | 0.001795 | 0.05541 | -0.008335 | 1 | 0.00001617 | 0.0005327 | 0.01842 | 0.0004901 | 0.02214 | 0.3995 | 0.1434 | 0.1287 | 0.01926 | 1 | 1 | 0.006939 | 0.05151 | 0.01253 | 0.2509 | 1.863 | 0.4533 | json |
| t17_x17_u6_b109 | 17 | 17 | 6 | 109 | ![]() |
dot(D,dst(R,nrm(R))) | 112731 | 138738349 | o2(x,o2(x,o1(x))) | true | 61855 | 61855 | -0.0001931 | 0.4979 | 0.04204 | 0.003555 | 0.05962 | -0.3574 | 0.3237 | 0.6811 | 1 | 2.011 | 0.0001578 | 0.000171 | 0.01523 | -0.04014 | 1 | 0.000001553 | 0.00004262 | 0.004874 | 0.00009665 | 0.009831 | 0.6453 | 0.07939 | 0.09248 | 0.01199 | 1 | 1 | 0.0005885 | 0.005279 | 0.004226 | 0.1655 | 1.485 | 1.189 | json |
| t17_x17_u6_b110 | 17 | 17 | 6 | 110 | ![]() |
dst(D,add(R,nrm(R))) | 112732 | 138738350 | o2(x,o2(x,o1(x))) | true | 61863 | 61863 | 1 | 1 | 1 | 6.403e-7 | 0.0008002 | 0.9325 | 1 | 0.06753 | 1 | 0.0009425 | 1.53e-7 | 2.451e-7 | 0.00001363 | -0.2314 | 0 | -3.754e-12 | 5.309e-7 | 0.00001699 | 3.978e-7 | 0.0006307 | 46.27 | 0.04973 | 0.6217 | 0.8292 | 1 | 1 | 0 | 0 | 4.846e-7 | 0 | 0 | 0.7568 | json |
| t17_x17_u6_b111 | 17 | 17 | 6 | 111 | ![]() |
dst(D,sub(R,nrm(R))) | 112733 | 138738351 | o2(x,o2(x,o1(x))) | true | 61871 | 61871 | 0.5134 | 1 | 0.5134 | 0.03088 | 0.1757 | 0.004282 | 1 | 0.9957 | 1 | 3.53 | 0.001753 | 0.001758 | 0.05512 | -0.001233 | 1 | -0.0005168 | 0.0005356 | 0.01803 | 0.0004729 | 0.02175 | 0.3945 | 0.1389 | 0.1137 | 0.01734 | 1 | 1 | 0.006817 | 0.0524 | 0.0253 | 0.2207 | 1.697 | 0.8191 | json |
| t17_x17_u6_b112 | 17 | 17 | 6 | 112 | ![]() |
dst(D,mlt(R,nrm(R))) | 112734 | 138738352 | o2(x,o2(x,o1(x))) | true | 61879 | 61879 | 0.806 | 1 | 0.806 | 0.02724 | 0.165 | 0.04364 | 1 | 0.9564 | 1 | 3.043 | 0.00112 | 0.001188 | 0.04037 | -0.02962 | 1 | -0.0002316 | 0.0004259 | 0.01458 | 0.0006781 | 0.02604 | 0.645 | 0.1585 | 0.08473 | 0.01564 | 1 | 1 | 0.004296 | 0.03703 | 0.03525 | 0.1577 | 1.359 | 1.294 | json |
| t17_x17_u6_b113 | 17 | 17 | 6 | 113 | ![]() |
dst(D,div(R,nrm(R))) | 112735 | 138738353 | o2(x,o2(x,o1(x))) | true | 61887 | 61887 | 0.9931 | 1 | 0.9931 | 0.002079 | 0.04559 | 0.1266 | 1 | 0.8734 | 1 | 0.2725 | 0.0001036 | 0.0001548 | 0.002962 | -0.1984 | 1 | -0.00002793 | 0.000141 | 0.00216 | 0.0002495 | 0.01579 | 5.332 | 0.2429 | 0.1243 | 0.06785 | 1 | 1 | 0.0003142 | 0.001897 | 0.002868 | 0.1512 | 0.9124 | 1.38 | json |
| t17_x17_u6_b114 | 17 | 17 | 6 | 114 | ![]() |
dst(D,pow(R,nrm(R))) | 112736 | 138738354 | o2(x,o2(x,o1(x))) | true | 61895 | 61895 | -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_x17_u6_b115 | 17 | 17 | 6 | 115 | ![]() |
dst(D,mod(R,nrm(R))) | 112737 | 138738355 | o2(x,o2(x,o1(x))) | true | 61903 | 61903 | 0.6511 | 1 | 0.6511 | 0.0513 | 0.2265 | 0.01231 | 1 | 0.9877 | 1 | 3.686 | 0.00176 | 0.001863 | 0.05248 | -0.02853 | 1 | -0.0002908 | 0.000537 | 0.01669 | 0.0008695 | 0.02949 | 0.5619 | 0.1573 | 0.07063 | 0.01047 | 1 | 1 | 0.00704 | 0.06502 | 0.08702 | 0.1372 | 1.267 | 1.696 | json |
| t17_x17_u6_b116 | 17 | 17 | 6 | 116 | ![]() |
dst(D,lrg(R,nrm(R))) | 112738 | 138738356 | o2(x,o2(x,o1(x))) | true | 61911 | 61911 | 0.9586 | 1 | 0.9586 | 0.01866 | 0.1366 | 0.04447 | 1 | 0.9555 | 1 | 0.9764 | 0.0006957 | 0.0007296 | 0.01361 | -0.02382 | 1 | -0.00006143 | 0.0004278 | 0.006948 | 0.00124 | 0.03522 | 2.587 | 0.2176 | 0.07639 | 0.02293 | 1 | 1 | 0.002177 | 0.01869 | 0.02963 | 0.1167 | 1.002 | 1.588 | json |
| t17_x17_u6_b117 | 17 | 17 | 6 | 117 | ![]() |
dst(D,eql(R,nrm(R))) | 112739 | 138738357 | o2(x,o2(x,o1(x))) | true | 61919 | 61919 | 0.4439 | 1 | 0.4439 | 0.02504 | 0.1582 | 0.04473 | 0.7026 | 0.6579 | 1 | 3.252 | 0.001981 | 0.001981 | 0.05914 | 2.938e-7 | 1 | -0.0006857 | 0.0006739 | 0.01958 | 0.000465 | 0.02156 | 0.3646 | 0.09377 | 0.1583 | 0.02692 | 1 | 1 | 0.007608 | 0.05068 | 0 | 0.3039 | 2.024 | 0 | json |
| t17_x17_u6_b118 | 17 | 17 | 6 | 118 | ![]() |
dst(D,min(R,nrm(R))) | 112740 | 138738358 | o2(x,o2(x,o1(x))) | true | 61927 | 61927 | 0.9479 | 1 | 0.9479 | 0.01001 | 0.1 | 0.07176 | 1 | 0.9282 | 1 | 1.45 | 0.0004232 | 0.0004598 | 0.0165 | -0.04141 | 1 | 0.00002179 | 0.0003121 | 0.008731 | 0.0006108 | 0.02471 | 1.498 | 0.1424 | 0.08822 | 0.03118 | 1 | 1 | 0.001668 | 0.01446 | 0.01914 | 0.1666 | 1.445 | 1.912 | json |
| t17_x17_u6_b119 | 17 | 17 | 6 | 119 | ![]() |
dst(D,dot(R,nrm(R))) | 112741 | 138738359 | o2(x,o2(x,o1(x))) | true | 61935 | 61935 | 0.9931 | 1 | 0.9931 | 0.002079 | 0.04559 | 0.1266 | 1 | 0.8734 | 1 | 0.2725 | 0.0001036 | 0.0001548 | 0.002962 | -0.1984 | 1 | -0.00002793 | 0.000141 | 0.00216 | 0.0002495 | 0.01579 | 5.332 | 0.2429 | 0.1243 | 0.06785 | 1 | 1 | 0.0003142 | 0.001897 | 0.002868 | 0.1512 | 0.9124 | 1.38 | json |
| t17_x17_u6_b120 | 17 | 17 | 6 | 120 | ![]() |
dst(D,dst(R,nrm(R))) | 112742 | 138738360 | o2(x,o2(x,o1(x))) | true | 61943 | 61943 | 0.6161 | 1 | 0.6161 | 0.04124 | 0.2031 | 0.02631 | 1 | 0.9737 | 1 | 3.648 | 0.001679 | 0.00178 | 0.05243 | -0.02939 | 1 | -0.0004034 | 0.000528 | 0.01706 | 0.0007097 | 0.02664 | 0.5081 | 0.2015 | 0.08388 | 0.0128 | 1 | 1 | 0.006721 | 0.05476 | 0.04425 | 0.163 | 1.328 | 1.073 | json |
| t17_x18_u0_b0 | 17 | 18 | 0 | 0 | ![]() |
add(R,add(P,sqt(P))) | 112743 | 138777435 | o2(x,o2(x,o1(x))) | true | 61951 | 61951 | -0.02483 | 0.4884 | 0.9852 | 0.9789 | 0.9894 | -1 | 1 | 2 | 1 | 1.298 | 0.005249 | 0.00008794 | 0.008324 | 0.967 | 1 | -0.000006028 | 0.008689 | 0.008888 | 0.005269 | 0.07259 | 8.72 | 1.83 | 0.005452 | 0.008876 | 1 | 1 | 0.008615 | 0.06047 | 0.3221 | 0.0088 | 0.06177 | 0.3291 | json |
| t17_x18_u0_b1 | 17 | 18 | 0 | 1 | ![]() |
add(R,sub(P,sqt(P))) | 112744 | 138777436 | o2(x,o2(x,o1(x))) | true | 61959 | 61959 | -0.1169 | 0.4565 | 0.9127 | 0.8698 | 0.9326 | -1 | 1 | 2 | 1 | 2.224 | 0.004932 | 0.0005121 | 0.01532 | 0.8119 | 1 | -0.00002429 | 0.008657 | 0.01018 | 0.005209 | 0.07217 | 4.71 | 1.829 | 0.006259 | 0.009953 | 1 | 1 | 0.00889 | 0.059 | 0.231 | 0.01022 | 0.06783 | 0.2656 | json |
| t17_x18_u0_b2 | 17 | 18 | 0 | 2 | ![]() |
add(R,mlt(P,sqt(P))) | 112745 | 138777437 | o2(x,o2(x,o1(x))) | true | 61967 | 61967 | -0.03633 | 0.4858 | 0.9758 | 0.9652 | 0.9825 | -1 | 1 | 2 | 1 | 1.467 | 0.004969 | 0.0001582 | 0.008949 | 0.9383 | 1 | -0.00001697 | 0.008644 | 0.008759 | 0.005046 | 0.07104 | 7.938 | 1.829 | 0.005312 | 0.008955 | 1 | 1 | 0.008044 | 0.05251 | 0.3054 | 0.008334 | 0.05441 | 0.3164 | json |
| t17_x18_u0_b3 | 17 | 18 | 0 | 3 | ![]() |
add(R,div(P,sqt(P))) | 112746 | 138777438 | o2(x,o2(x,o1(x))) | true | 61975 | 61975 | -0.1303 | 0.4375 | 0.9947 | 0.9745 | 0.9872 | -1 | 1 | 2 | 1 | 1.165 | 0.01439 | 0.00005376 | 0.00886 | 0.9926 | 1 | -0.00001197 | 0.0287 | 0.01576 | 0.01436 | 0.1198 | 13.53 | 2 | 0.01482 | 0.02945 | 1 | 1 | 0.01907 | 0.07941 | 0.3266 | 0.01957 | 0.08149 | 0.3351 | json |
| t17_x18_u0_b4 | 17 | 18 | 0 | 4 | ![]() |
add(R,pow(P,sqt(P))) | 112747 | 138777439 | o2(x,o2(x,o1(x))) | true | 61983 | 61983 | -0.01313 | 0.5 | 0.9869 | 0.9807 | 0.9903 | -1 | 1 | 2 | 1 | 1.281 | 0.01173 | 0.0001118 | 0.009279 | 0.9811 | 1 | -0.00001714 | 0.0232 | 0.01454 | 0.01175 | 0.1084 | 11.68 | 2 | 0.01208 | 0.02366 | 1 | 1 | 0.01636 | 0.07288 | 0.3171 | 0.01669 | 0.07431 | 0.3234 | json |
| t17_x18_u0_b5 | 17 | 18 | 0 | 5 | ![]() |
add(R,mod(P,sqt(P))) | 112748 | 138777440 | o2(x,o2(x,o1(x))) | true | 61991 | 61991 | -0.2924 | 0.3866 | 0.8569 | 0.7253 | 0.8517 | -1 | 1 | 2 | 1 | 2.589 | 0.008468 | 0.0007672 | 0.02409 | 0.8338 | 1 | -0.0000118 | 0.01482 | 0.01554 | 0.008656 | 0.09304 | 3.861 | 1.943 | 0.01273 | 0.02043 | 1 | 1 | 0.01344 | 0.09349 | 0.3709 | 0.01852 | 0.1289 | 0.5113 | json |
| t17_x18_u0_b6 | 17 | 18 | 0 | 6 | ![]() |
add(R,lrg(P,sqt(P))) | 112749 | 138777441 | o2(x,o2(x,o1(x))) | true | 61999 | 61999 | 0.716 | 0.9492 | 0.7556 | 0.1426 | 0.3776 | -0.9526 | 1 | 1.953 | 1 | 3.286 | 0.00207 | 0.001696 | 0.03755 | 0.09936 | 1 | -0.00006139 | 0.000707 | 0.01303 | 0.002356 | 0.04854 | 1.293 | 0.3332 | 0.02641 | 0.004958 | 1 | 1 | 0.0077 | 0.08628 | 0.2421 | 0.054 | 0.605 | 1.698 | json |
| t17_x18_u0_b7 | 17 | 18 | 0 | 7 | ![]() |
add(R,eql(P,sqt(P))) | 112750 | 138777442 | o2(x,o2(x,o1(x))) | true | 62007 | 62007 | 0.1082 | 0.5613 | 0.4415 | 0.2674 | 0.5171 | -0.9989 | 1 | 1.999 | 1 | 4.876 | 0.003082 | 0.002987 | 0.06095 | 0.01566 | 1 | 0.00002651 | 0.0005013 | 0.0149 | 0.002354 | 0.04851 | 0.796 | 0.3135 | 0.0227 | 0.001875 | 1 | 1 | 0.01215 | 0.1509 | 0.4503 | 0.04543 | 0.5642 | 1.684 | json |
| t17_x18_u0_b8 | 17 | 18 | 0 | 8 | ![]() |
add(R,min(P,sqt(P))) | 112751 | 138777443 | o2(x,o2(x,o1(x))) | true | 62015 | 62015 | 0.0005735 | 0.4974 | 0.9396 | 0.9155 | 0.9568 | -1 | 1 | 2 | 1 | 2.038 | 0.001185 | 0.000386 | 0.01185 | 0.5086 | 1 | -0.00002483 | 0.0002883 | 0.004131 | 0.00143 | 0.03782 | 3.193 | 0.312 | 0.001716 | 0.000315 | 1 | 1 | 0.003801 | 0.04408 | 0.2669 | 0.004152 | 0.04814 | 0.2915 | json |
| t17_x18_u0_b9 | 17 | 18 | 0 | 9 | ![]() |
add(R,dot(P,sqt(P))) | 112752 | 138777444 | o2(x,o2(x,o1(x))) | true | 62023 | 62023 | -0.5008 | 0.25 | 0.9992 | 0.7482 | 0.865 | -1 | 1 | 2 | 1 | 0.8408 | 0.007433 | 0.007749 | 0.007953 | -0.02084 | 1 | -7.621e-10 | 0.03042 | 0.0156 | 0.01512 | 0.123 | 15.46 | 2 | 0.02029 | 0.04066 | 1 | 1 | 0.01989 | 0.08144 | 0.3322 | 0.02658 | 0.1089 | 0.4441 | json |
| t17_x18_u0_b10 | 17 | 18 | 0 | 10 | ![]() |
add(R,dst(P,sqt(P))) | 112753 | 138777445 | o2(x,o2(x,o1(x))) | true | 62031 | 62031 | -0.5116 | 0.2472 | 0.9899 | 0.7252 | 0.8516 | -1 | 1 | 2 | 1 | 0.9806 | 0.006084 | 0.007092 | 0.008662 | -0.07654 | 1 | 1.051e-9 | 0.02611 | 0.01446 | 0.01309 | 0.1144 | 13.21 | 2 | 0.01817 | 0.03601 | 1 | 1 | 0.01663 | 0.072 | 0.2926 | 0.02293 | 0.09928 | 0.4034 | json |
| t17_x18_u0_b11 | 17 | 18 | 0 | 11 | ![]() |
sub(R,add(P,sqt(P))) | 112754 | 138777446 | o2(x,o2(x,o1(x))) | true | 62039 | 62039 | -0.9795 | 0.008621 | 0.9855 | 0.0205 | 0.1432 | -1 | 0.8285 | 1.829 | 1 | 0.3333 | 0.004852 | 0.00008213 | 0.00736 | 0.9667 | 1 | -0.000001585 | 0.008753 | 0.008394 | 0.004884 | 0.06988 | 9.495 | 1.829 | 0.2407 | 0.4269 | 1 | 1 | 0.007799 | 0.03165 | 0.04214 | 0.3804 | 1.543 | 2.055 | json |
| t17_x18_u0_b12 | 17 | 18 | 0 | 12 | ![]() |
sub(R,sub(P,sqt(P))) | 112755 | 138777447 | o2(x,o2(x,o1(x))) | true | 62047 | 62047 | -0.8696 | 0.05867 | 0.9169 | 0.1339 | 0.3659 | -1 | 0.9431 | 1.943 | 1 | 1.332 | 0.005159 | 0.0005162 | 0.01609 | 0.8181 | 1 | -0.00001585 | 0.00867 | 0.01031 | 0.005414 | 0.07358 | 4.572 | 1.829 | 0.04239 | 0.06477 | 1 | 1 | 0.009415 | 0.06617 | 0.2051 | 0.07034 | 0.4943 | 1.532 | json |
| t17_x18_u0_b13 | 17 | 18 | 0 | 13 | ![]() |
sub(R,mlt(P,sqt(P))) | 112756 | 138777448 | o2(x,o2(x,o1(x))) | true | 62055 | 62055 | -0.9569 | 0.0119 | 0.9648 | 0.03653 | 0.1911 | -1 | 0.8288 | 1.829 | 1 | 0.6288 | 0.004794 | 0.0002014 | 0.009227 | 0.9194 | 1 | -0.000002615 | 0.008745 | 0.009105 | 0.004913 | 0.07009 | 7.596 | 1.829 | 0.1368 | 0.2394 | 1 | 1 | 0.00782 | 0.03843 | 0.0687 | 0.2141 | 1.052 | 1.881 | json |
| t17_x18_u0_b14 | 17 | 18 | 0 | 14 | ![]() |
sub(R,div(P,sqt(P))) | 112757 | 138777449 | o2(x,o2(x,o1(x))) | true | 62063 | 62063 | -0.989 | 0 | 0.989 | 0.00554 | 0.07443 | -1 | -0.05689 | 0.9431 | 1 | 0.2905 | 0.001179 | 0.00009725 | 0.004083 | 0.8476 | 1 | 0.000002071 | 0.002149 | 0.004167 | 0.001259 | 0.03549 | 8.692 | 0.9431 | 0.2304 | 0.3879 | 1 | 1 | 0.001595 | 0.007278 | 0.009855 | 0.2879 | 1.314 | 1.779 | json |
| t17_x18_u0_b15 | 17 | 18 | 0 | 15 | ![]() |
sub(R,pow(P,sqt(P))) | 112758 | 138777450 | o2(x,o2(x,o1(x))) | true | 62071 | 62071 | -0.9791 | 0 | 0.9791 | 0.01147 | 0.1071 | -1 | -0.05702 | 0.943 | 1 | 0.4309 | 0.0007995 | 0.0001389 | 0.005015 | 0.7039 | 1 | 7.884e-11 | 0.001039 | 0.003644 | 0.0009138 | 0.03023 | 6.028 | 0.8291 | 0.08184 | 0.09063 | 1 | 1 | 0.001732 | 0.01199 | 0.02216 | 0.151 | 1.046 | 1.933 | json |
| t17_x18_u0_b16 | 17 | 18 | 0 | 16 | ![]() |
sub(R,mod(P,sqt(P))) | 112759 | 138777451 | o2(x,o2(x,o1(x))) | true | 62079 | 62079 | -0.8435 | 0.05618 | 0.8839 | 0.1333 | 0.3651 | -1 | 0.9431 | 1.943 | 1 | 1.774 | 0.009098 | 0.0007284 | 0.02558 | 0.8517 | 1 | 0.000007971 | 0.01496 | 0.01609 | 0.00917 | 0.09576 | 3.743 | 1.943 | 0.07371 | 0.1122 | 1 | 1 | 0.01489 | 0.1033 | 0.2187 | 0.1117 | 0.7747 | 1.641 | json |
| t17_x18_u0_b17 | 17 | 18 | 0 | 17 | ![]() |
sub(R,lrg(P,sqt(P))) | 112760 | 138777452 | o2(x,o2(x,o1(x))) | true | 62087 | 62087 | -0.6994 | 0.06226 | 0.7509 | 0.1624 | 0.403 | -1 | 0.943 | 1.943 | 1 | 3.277 | 0.002349 | 0.001801 | 0.03995 | 0.1321 | 1 | 0.00006892 | 0.0007139 | 0.01321 | 0.002555 | 0.05055 | 1.265 | 0.3135 | 0.02555 | 0.004395 | 1 | 1 | 0.008808 | 0.09914 | 0.2871 | 0.05423 | 0.6104 | 1.768 | json |
| t17_x18_u0_b18 | 17 | 18 | 0 | 18 | ![]() |
sub(R,eql(P,sqt(P))) | 112761 | 138777453 | o2(x,o2(x,o1(x))) | true | 62095 | 62095 | -0.09626 | 0.4226 | 0.4321 | 0.258 | 0.5079 | -1 | 0.9806 | 1.981 | 1 | 4.874 | 0.003114 | 0.003004 | 0.06148 | 0.0179 | 1 | 0.00005021 | 0.0004929 | 0.01492 | 0.002338 | 0.04835 | 0.7864 | 0.3332 | 0.02372 | 0.001911 | 1 | 1 | 0.01212 | 0.1508 | 0.4445 | 0.04697 | 0.5846 | 1.723 | json |
| t17_x18_u0_b19 | 17 | 18 | 0 | 19 | ![]() |
sub(R,min(P,sqt(P))) | 112762 | 138777454 | o2(x,o2(x,o1(x))) | true | 62103 | 62103 | 0.008602 | 0.4968 | 0.9328 | 0.9065 | 0.9521 | -1 | 1 | 2 | 1 | 2.103 | 0.00112 | 0.0004301 | 0.0124 | 0.4452 | 1 | -0.00001844 | 0.0002669 | 0.004116 | 0.001396 | 0.03736 | 3.013 | 0.3332 | 0.00171 | 0.0002944 | 1 | 1 | 0.003868 | 0.04483 | 0.2595 | 0.004267 | 0.04946 | 0.2863 | json |
| t17_x18_u0_b20 | 17 | 18 | 0 | 20 | ![]() |
sub(R,dot(P,sqt(P))) | 112763 | 138777455 | o2(x,o2(x,o1(x))) | true | 62111 | 62111 | -0.9987 | 0.0006256 | 0.9992 | 0.001607 | 0.04009 | -1 | 0.8282 | 1.828 | 1 | 0.02382 | 0.0003147 | 0.0003554 | 0.0007336 | -0.06081 | 1 | 7.509e-12 | 0.001348 | 0.0009241 | 0.0006693 | 0.02587 | 35.27 | 1.828 | 0.417 | 0.8389 | 1 | 1 | 0.001288 | 0.005329 | 0.005844 | 0.8015 | 3.316 | 3.637 | json |
| t17_x18_u0_b21 | 17 | 18 | 0 | 21 | ![]() |
sub(R,dst(P,sqt(P))) | 112764 | 138777456 | o2(x,o2(x,o1(x))) | true | 62119 | 62119 | -0.9797 | 0.00824 | 0.9841 | 0.01944 | 0.1394 | -1 | 0.8288 | 1.829 | 1 | 0.3102 | 0.0005607 | 0.001034 | 0.003687 | -0.297 | 1 | 1.99e-10 | 0.002801 | 0.003085 | 0.001582 | 0.03978 | 10.79 | 1.829 | 0.08207 | 0.1441 | 1 | 1 | 0.00326 | 0.01954 | 0.05946 | 0.1677 | 1.005 | 3.059 | json |
| t17_x18_u0_b22 | 17 | 18 | 0 | 22 | ![]() |
mlt(R,add(P,sqt(P))) | 112765 | 138777457 | o2(x,o2(x,o1(x))) | true | 62127 | 62127 | -0.5256 | 0.2376 | 0.9057 | 0.6042 | 0.7773 | -1 | 1 | 2 | 1 | 1.987 | 0.01658 | 0.01391 | 0.05599 | 0.08772 | 1 | 0.00001126 | 0.02752 | 0.04236 | 0.02736 | 0.1654 | 2.954 | 1.88 | 0.05045 | 0.04554 | 1 | 1 | 0.04261 | 0.3248 | 0.7692 | 0.07051 | 0.5376 | 1.273 | json |
| t17_x18_u0_b23 | 17 | 18 | 0 | 23 | ![]() |
mlt(R,sub(P,sqt(P))) | 112766 | 138777458 | o2(x,o2(x,o1(x))) | true | 62135 | 62135 | -0.5247 | 0.1888 | 0.7577 | 0.4397 | 0.6631 | -1 | 1 | 2 | 1 | 2.713 | 0.008499 | 0.004843 | 0.03925 | 0.2741 | 1 | -0.000009014 | 0.01124 | 0.02226 | 0.01179 | 0.1086 | 2.767 | 1 | 0.03034 | 0.02556 | 1 | 1 | 0.01577 | 0.1344 | 0.4091 | 0.03587 | 0.3058 | 0.9303 | json |
| t17_x18_u0_b24 | 17 | 18 | 0 | 24 | ![]() |
mlt(R,mlt(P,sqt(P))) | 112767 | 138777459 | o2(x,o2(x,o1(x))) | true | 62143 | 62143 | -0.5345 | 0.2362 | 0.8954 | 0.5832 | 0.7636 | -1 | 1 | 2 | 1 | 2.02 | 0.02068 | 0.01814 | 0.05389 | 0.06548 | 1 | 0.00001092 | 0.05084 | 0.05092 | 0.03592 | 0.1895 | 3.517 | 2.41 | 0.06655 | 0.08718 | 1 | 1 | 0.04519 | 0.3075 | 0.7423 | 0.07749 | 0.5272 | 1.273 | json |
| t17_x18_u0_b25 | 17 | 18 | 0 | 25 | ![]() |
mlt(R,div(P,sqt(P))) | 112768 | 138777460 | o2(x,o2(x,o1(x))) | true | 62151 | 62151 | -0.5835 | 0.1984 | 0.837 | 0.4436 | 0.6661 | -1 | 1 | 2 | 1 | 2.636 | 0.01105 | 0.004024 | 0.04503 | 0.4662 | 1 | -0.00003392 | 0.01608 | 0.02265 | 0.01305 | 0.1142 | 2.536 | 1.943 | 0.03399 | 0.03624 | 1 | 1 | 0.0208 | 0.1714 | 0.4576 | 0.04688 | 0.3864 | 1.031 | json |
| t17_x18_u0_b26 | 17 | 18 | 0 | 26 | ![]() |
mlt(R,pow(P,sqt(P))) | 112769 | 138777461 | o2(x,o2(x,o1(x))) | true | 62159 | 62159 | -0.539 | 0.2325 | 0.9193 | 0.6023 | 0.7761 | -1 | 1 | 2 | 1 | 1.891 | 0.03164 | 0.03059 | 0.05641 | 0.01693 | 1 | 0.00001334 | 0.129 | 0.07112 | 0.05904 | 0.243 | 4.307 | 2.828 | 0.1033 | 0.2143 | 1 | 1 | 0.05876 | 0.3402 | 0.7827 | 0.09756 | 0.5648 | 1.3 | json |
| t17_x18_u0_b27 | 17 | 18 | 0 | 27 | ![]() |
mlt(R,mod(P,sqt(P))) | 112770 | 138777462 | o2(x,o2(x,o1(x))) | true | 62167 | 62167 | -0.5797 | 0.1731 | 0.7088 | 0.3179 | 0.5639 | -1 | 1 | 2 | 1 | 2.86 | 0.005249 | 0.001381 | 0.02739 | 0.5834 | 1 | -0.000007791 | 0.008247 | 0.01396 | 0.005882 | 0.0767 | 2.8 | 1 | 0.02086 | 0.02594 | 1 | 1 | 0.007499 | 0.05008 | 0.1889 | 0.02359 | 0.1575 | 0.5942 | json |
| t17_x18_u0_b28 | 17 | 18 | 0 | 28 | ![]() |
mlt(R,lrg(P,sqt(P))) | 112771 | 138777463 | o2(x,o2(x,o1(x))) | true | 62175 | 62175 | 0.001883 | 0.4575 | 0.3451 | 0.1904 | 0.4364 | -0.9989 | 0.9806 | 1.979 | 1 | 4.738 | 0.002272 | 0.002795 | 0.05551 | -0.1033 | 1 | 0.00004799 | 0.0002979 | 0.01276 | 0.001985 | 0.04455 | 0.8026 | 0.2301 | 0.02661 | 0.001565 | 1 | 1 | 0.009497 | 0.1219 | 0.3381 | 0.04987 | 0.6404 | 1.776 | json |
| t17_x18_u0_b29 | 17 | 18 | 0 | 29 | ![]() |
mlt(R,eql(P,sqt(P))) | 112772 | 138777464 | o2(x,o2(x,o1(x))) | true | 62183 | 62183 | 0.007096 | 0.09966 | 0.05774 | 0.02998 | 0.1731 | -0.9526 | 0.9431 | 1.896 | 1 | 1.4 | 0.0004943 | 0.0003799 | 0.01028 | 0.1309 | 1 | -0.00002148 | 0.00005028 | 0.00237 | 0.0007688 | 0.02773 | 2.697 | 0.1951 | 0.02916 | 0.001677 | 1 | 1 | 0.002159 | 0.02783 | 0.07311 | 0.07201 | 0.9283 | 2.439 | json |
| t17_x18_u0_b30 | 17 | 18 | 0 | 30 | ![]() |
mlt(R,min(P,sqt(P))) | 112773 | 138777465 | o2(x,o2(x,o1(x))) | true | 62191 | 62191 | -0.04756 | 0.4687 | 0.6544 | 0.5545 | 0.7446 | -1 | 1 | 2 | 1 | 4.235 | 0.0117 | 0.01432 | 0.08773 | -0.1009 | 1 | -0.0000763 | 0.01156 | 0.0376 | 0.01832 | 0.1354 | 1.543 | 1.294 | 0.04693 | 0.02085 | 1 | 1 | 0.03894 | 0.3668 | 0.8764 | 0.07024 | 0.6616 | 1.581 | json |
| t17_x18_u0_b31 | 17 | 18 | 0 | 31 | ![]() |
mlt(R,dot(P,sqt(P))) | 112774 | 138777466 | o2(x,o2(x,o1(x))) | true | 62199 | 62199 | -0.7394 | 0.13 | 0.9817 | 0.4296 | 0.6554 | -1 | 1 | 2 | 1 | 0.8701 | 0.01844 | 0.01738 | 0.0324 | 0.02951 | 1 | -0.000008641 | 0.05949 | 0.04138 | 0.03477 | 0.1865 | 5.755 | 2.607 | 0.08338 | 0.1385 | 1 | 1 | 0.04163 | 0.2434 | 0.6004 | 0.0969 | 0.5665 | 1.398 | json |
| t17_x18_u0_b32 | 17 | 18 | 0 | 32 | ![]() |
mlt(R,dst(P,sqt(P))) | 112775 | 138777467 | o2(x,o2(x,o1(x))) | true | 62207 | 62207 | -0.7388 | 0.1273 | 0.9259 | 0.3595 | 0.5996 | -1 | 1 | 2 | 1 | 1.486 | 0.007369 | 0.006863 | 0.02783 | 0.03562 | 1 | -0.000007091 | 0.01692 | 0.01927 | 0.01346 | 0.116 | 4.168 | 2 | 0.03959 | 0.04708 | 1 | 1 | 0.01593 | 0.1177 | 0.3888 | 0.0443 | 0.3273 | 1.082 | json |
| t17_x18_u0_b33 | 17 | 18 | 0 | 33 | ![]() |
div(R,add(P,sqt(P))) | 112776 | 138777468 | o2(x,o2(x,o1(x))) | true | 62215 | 62215 | -0.5621 | 0.2001 | 0.5942 | 0.2508 | 0.5008 | -1 | 0.4716 | 1.472 | 1 | 2.136 | 0.005373 | 0.00006618 | 0.009954 | 0.9757 | 1 | -0.000002489 | 0.01064 | 0.01021 | 0.005338 | 0.07306 | 7.34 | 1.472 | 0.02169 | 0.04245 | 1 | 1 | 0.006863 | 0.02888 | 0.09434 | 0.02737 | 0.1151 | 0.3762 | json |
| t17_x18_u0_b34 | 17 | 18 | 0 | 34 | ![]() |
div(R,sub(P,sqt(P))) | 112777 | 138777469 | o2(x,o2(x,o1(x))) | true | 62223 | 62223 | -0.635 | 0.1638 | 0.6964 | 0.249 | 0.499 | -1 | 1 | 2 | 1 | 2.413 | 0.005379 | 0.0004699 | 0.01541 | 0.8393 | 1 | 0.000002507 | 0.01016 | 0.009835 | 0.005614 | 0.07493 | 4.862 | 2 | 0.02349 | 0.0408 | 1 | 1 | 0.007909 | 0.04909 | 0.1523 | 0.03176 | 0.1971 | 0.6116 | json |
| t17_x18_u0_b35 | 17 | 18 | 0 | 35 | ![]() |
div(R,mlt(P,sqt(P))) | 112778 | 138777470 | o2(x,o2(x,o1(x))) | true | 62231 | 62231 | -0.5579 | 0.2004 | 0.5969 | 0.2608 | 0.5107 | -1 | 0.9432 | 1.943 | 1 | 2.145 | 0.007402 | 0.0001464 | 0.0112 | 0.9612 | 1 | -0.00000796 | 0.01459 | 0.01139 | 0.007421 | 0.08615 | 7.689 | 1.943 | 0.02894 | 0.05593 | 1 | 1 | 0.009171 | 0.03943 | 0.107 | 0.03516 | 0.1512 | 0.4102 | json |
| t17_x18_u0_b36 | 17 | 18 | 0 | 36 | ![]() |
div(R,div(P,sqt(P))) | 112779 | 138777471 | o2(x,o2(x,o1(x))) | true | 62239 | 62239 | -0.5646 | 0.2 | 0.6506 | 0.2714 | 0.5209 | -1 | 0.9432 | 1.943 | 1 | 2.744 | 0.007657 | 0.0004163 | 0.0199 | 0.8969 | 1 | -0.000001618 | 0.01462 | 0.01342 | 0.007678 | 0.08762 | 4.403 | 1.943 | 0.02975 | 0.05388 | 1 | 1 | 0.01031 | 0.05383 | 0.1431 | 0.03798 | 0.1984 | 0.5274 | json |
| t17_x18_u0_b37 | 17 | 18 | 0 | 37 | ![]() |
div(R,pow(P,sqt(P))) | 112780 | 138777472 | o2(x,o2(x,o1(x))) | true | 62247 | 62247 | -0.4911 | 0.233 | 0.5541 | 0.2826 | 0.5316 | -1 | 0.9432 | 1.943 | 1 | 2.466 | 0.004667 | 0.0003337 | 0.01323 | 0.8665 | 1 | -0.00001977 | 0.008565 | 0.009116 | 0.004825 | 0.06946 | 5.251 | 1.829 | 0.0177 | 0.03031 | 1 | 1 | 0.007741 | 0.0463 | 0.146 | 0.02739 | 0.1638 | 0.5167 | json |
| t17_x18_u0_b38 | 17 | 18 | 0 | 38 | ![]() |
div(R,mod(P,sqt(P))) | 112781 | 138777473 | o2(x,o2(x,o1(x))) | true | 62255 | 62255 | -0.7709 | 0.1076 | 0.8408 | 0.2086 | 0.4567 | -1 | 1 | 2 | 1 | 1.905 | 0.01329 | 0.0007643 | 0.02406 | 0.8912 | 1 | 0.00001079 | 0.0256 | 0.02335 | 0.01347 | 0.116 | 4.823 | 2 | 0.06739 | 0.1227 | 1 | 1 | 0.02014 | 0.09942 | 0.247 | 0.09658 | 0.4767 | 1.184 | json |
| t17_x18_u0_b39 | 17 | 18 | 0 | 39 | ![]() |
div(R,lrg(P,sqt(P))) | 112782 | 138777474 | o2(x,o2(x,o1(x))) | true | 62263 | 62263 | -0.188 | 0.3971 | 0.5059 | 0.3303 | 0.5747 | -1 | 0.9806 | 1.981 | 1 | 4.609 | 0.01267 | 0.002569 | 0.05815 | 0.663 | 1 | 0.00005812 | 0.02154 | 0.02796 | 0.01186 | 0.1089 | 1.873 | 1.956 | 0.04615 | 0.0652 | 1 | 1 | 0.02147 | 0.1598 | 0.4816 | 0.06499 | 0.4838 | 1.458 | json |
| t17_x18_u0_b40 | 17 | 18 | 0 | 40 | ![]() |
div(R,eql(P,sqt(P))) | 112783 | 138777475 | o2(x,o2(x,o1(x))) | true | 62271 | 62271 | -0.934 | 0.03471 | 0.9637 | 0.07983 | 0.2825 | -1 | 0.943 | 1.943 | 1 | 0.6364 | 0.01177 | 0.0001907 | 0.01284 | 0.9681 | 1 | -0.00001074 | 0.02313 | 0.01789 | 0.0118 | 0.1086 | 8.461 | 1.943 | 0.1499 | 0.2897 | 1 | 1 | 0.01558 | 0.06809 | 0.1275 | 0.1952 | 0.8529 | 1.598 | json |
| t17_x18_u0_b41 | 17 | 18 | 0 | 41 | ![]() |
div(R,min(P,sqt(P))) | 112784 | 138777476 | o2(x,o2(x,o1(x))) | true | 62279 | 62279 | -0.1307 | 0.4043 | 0.2677 | 0.15 | 0.3873 | -1 | 0.9968 | 1.997 | 1 | 3.871 | 0.01153 | 0.0006452 | 0.03164 | 0.894 | 1 | -0.00000246 | 0.0221 | 0.02195 | 0.01117 | 0.1057 | 3.341 | 1.947 | 0.08112 | 0.1473 | 1 | 1 | 0.01616 | 0.08427 | 0.2581 | 0.1077 | 0.5617 | 1.72 | json |
| t17_x18_u0_b42 | 17 | 18 | 0 | 42 | ![]() |
div(R,dot(P,sqt(P))) | 112785 | 138777477 | o2(x,o2(x,o1(x))) | true | 62287 | 62287 | -0.7522 | 0.1281 | 0.7619 | 0.189 | 0.4348 | -1 | 0.2464 | 1.246 | 1 | 1.204 | 0.001797 | 0.002113 | 0.005331 | -0.08071 | 1 | -4.58e-7 | 0.007837 | 0.008051 | 0.003883 | 0.06231 | 11.69 | 1.756 | 0.02069 | 0.04146 | 1 | 1 | 0.005163 | 0.02188 | 0.09055 | 0.02732 | 0.1158 | 0.479 | json |
| t17_x18_u0_b43 | 17 | 18 | 0 | 43 | ![]() |
div(R,dst(P,sqt(P))) | 112786 | 138777478 | o2(x,o2(x,o1(x))) | true | 62295 | 62295 | -0.7587 | 0.1213 | 0.797 | 0.1995 | 0.4466 | -1 | 1 | 2 | 1 | 1.596 | 0.002113 | 0.003906 | 0.009851 | -0.2978 | 1 | -0.00000209 | 0.01164 | 0.009938 | 0.005921 | 0.07695 | 7.811 | 2.085 | 0.03018 | 0.05833 | 1 | 1 | 0.009121 | 0.04446 | 0.1343 | 0.04572 | 0.2229 | 0.6735 | json |
| t17_x18_u0_b44 | 17 | 18 | 0 | 44 | ![]() |
pow(R,add(P,sqt(P))) | 112787 | 138777479 | o2(x,o2(x,o1(x))) | true | 62303 | 62303 | -0.9612 | 0.02344 | 0.992 | 0.06528 | 0.2555 | -1 | 1 | 2 | 1 | 0.2447 | 0.008333 | 0.005349 | 0.00859 | 0.2181 | 1 | 0.000001388 | 0.02856 | 0.01587 | 0.0136 | 0.1166 | 13.58 | 2.58 | 0.2096 | 0.4375 | 1 | 1 | 0.01155 | 0.04891 | 0.1248 | 0.1769 | 0.7492 | 1.911 | json |
| t17_x18_u0_b45 | 17 | 18 | 0 | 45 | ![]() |
pow(R,sub(P,sqt(P))) | 112788 | 138777480 | o2(x,o2(x,o1(x))) | true | 62311 | 62311 | -0.8629 | 0.07031 | 0.9964 | 0.2507 | 0.5007 | -1 | 1 | 2 | 1 | 0.4192 | 0.03176 | 0.001429 | 0.01724 | 0.9139 | 1 | 0.000003833 | 0.06661 | 0.03409 | 0.03287 | 0.1813 | 10.51 | 2 | 0.1324 | 0.2657 | 1 | 1 | 0.04211 | 0.1684 | 0.3533 | 0.1679 | 0.6718 | 1.409 | json |
| t17_x18_u0_b46 | 17 | 18 | 0 | 46 | ![]() |
pow(R,mlt(P,sqt(P))) | 112789 | 138777481 | o2(x,o2(x,o1(x))) | true | 62319 | 62319 | -0.9598 | 0.02312 | 0.9933 | 0.06989 | 0.2644 | -1 | 1 | 2 | 1 | 0.2326 | 0.00897 | 0.005735 | 0.008628 | 0.22 | 1 | 5.271e-7 | 0.03076 | 0.01646 | 0.01463 | 0.1209 | 14.02 | 2.698 | 0.2104 | 0.4401 | 1 | 1 | 0.01259 | 0.053 | 0.1349 | 0.1801 | 0.7583 | 1.93 | json |
| t17_x18_u0_b47 | 17 | 18 | 0 | 47 | ![]() |
pow(R,div(P,sqt(P))) | 112790 | 138777482 | o2(x,o2(x,o1(x))) | true | 62327 | 62327 | -0.9947 | 0.003906 | 0.9974 | 0.007259 | 0.0852 | -1 | 0.8086 | 1.809 | 1 | 0.05038 | 0.0002959 | 0.0007756 | 0.0009842 | -0.4477 | 1 | 0.00000316 | 0.002198 | 0.001717 | 0.00107 | 0.03271 | 33.24 | 1.787 | 0.1476 | 0.3028 | 1 | 1 | 0 | 0 | 0.006024 | 0 | 0 | 0.83 | json |
| t17_x18_u0_b48 | 17 | 18 | 0 | 48 | ![]() |
pow(R,pow(P,sqt(P))) | 112791 | 138777483 | o2(x,o2(x,o1(x))) | true | 62335 | 62335 | -0.9897 | 0.003906 | 0.9946 | 0.01419 | 0.1191 | -1 | 0.8669 | 1.867 | 1 | 0.08544 | 0.001602 | 0.001785 | 0.00241 | -0.05396 | 1 | -5.256e-11 | 0.00717 | 0.00468 | 0.003382 | 0.05815 | 24.13 | 2.64 | 0.2388 | 0.5054 | 1 | 1 | 0.0006226 | 0.004299 | 0.01275 | 0.04389 | 0.303 | 0.8988 | json |
| t17_x18_u0_b49 | 17 | 18 | 0 | 49 | ![]() |
pow(R,mod(P,sqt(P))) | 112792 | 138777484 | o2(x,o2(x,o1(x))) | true | 62343 | 62343 | -0.9652 | 0.01953 | 0.9958 | 0.06198 | 0.249 | -1 | 1 | 2 | 1 | 0.1997 | 0.007244 | 0.005087 | 0.007273 | 0.175 | 1 | 0.000004151 | 0.02577 | 0.01379 | 0.01228 | 0.1108 | 15.24 | 2.828 | 0.199 | 0.4158 | 1 | 1 | 0.01552 | 0.06254 | 0.1689 | 0.2504 | 1.009 | 2.725 | json |
| t17_x18_u0_b50 | 17 | 18 | 0 | 50 | ![]() |
pow(R,lrg(P,sqt(P))) | 112793 | 138777485 | o2(x,o2(x,o1(x))) | true | 62351 | 62351 | -0.7786 | 0.1211 | 0.9792 | 0.3631 | 0.6025 | -1 | 1 | 2 | 1 | 0.8369 | 0.03548 | 0.01322 | 0.0288 | 0.457 | 1 | 0.00001033 | 0.09986 | 0.05453 | 0.04786 | 0.2188 | 7.597 | 2.828 | 0.1341 | 0.2751 | 1 | 1 | 0.05566 | 0.2294 | 0.647 | 0.1533 | 0.6317 | 1.782 | json |
| t17_x18_u0_b51 | 17 | 18 | 0 | 51 | ![]() |
pow(R,eql(P,sqt(P))) | 112794 | 138777486 | o2(x,o2(x,o1(x))) | true | 62359 | 62359 | 0.6951 | 0.8516 | 0.992 | 0.504 | 0.7099 | -1 | 1 | 2 | 1 | 0.8625 | 0.02744 | 0.0113 | 0.02148 | 0.4167 | 1 | 3.792e-10 | 0.07971 | 0.04118 | 0.03829 | 0.1957 | 9.112 | 2.828 | 0.07685 | 0.1582 | 1 | 1 | 0.04976 | 0.2063 | 0.8071 | 0.09873 | 0.4093 | 1.601 | json |
| t17_x18_u0_b52 | 17 | 18 | 0 | 52 | ![]() |
pow(R,min(P,sqt(P))) | 112795 | 138777487 | o2(x,o2(x,o1(x))) | true | 62367 | 62367 | -0.8571 | 0.07422 | 0.9945 | 0.2572 | 0.5072 | -1 | 1 | 2 | 1 | 0.4908 | 0.02287 | 0.02266 | 0.02402 | 0.004604 | 1 | 0.00000316 | 0.09492 | 0.04723 | 0.04494 | 0.212 | 8.825 | 2.828 | 0.177 | 0.369 | 1 | 1 | 0.04423 | 0.1854 | 0.6125 | 0.1719 | 0.7207 | 2.381 | json |
| t17_x18_u0_b53 | 17 | 18 | 0 | 53 | ![]() |
pow(R,dot(P,sqt(P))) | 112796 | 138777488 | o2(x,o2(x,o1(x))) | true | 62375 | 62375 | -0.992 | 0.007401 | 0.9924 | 0.008134 | 0.09019 | -1 | 0.1242 | 1.124 | 1 | 0.06981 | 0.0007733 | 0.0009869 | 0.001752 | -0.1213 | 1 | 3.561e-7 | 0.003713 | 0.003466 | 0.001757 | 0.04192 | 23.93 | 1.502 | 0.2164 | 0.4565 | 1 | 1 | 0.0002228 | 0.00157 | 0.007192 | 0.02739 | 0.193 | 0.8841 | json |
| t17_x18_u0_b54 | 17 | 18 | 0 | 54 | ![]() |
pow(R,dst(P,sqt(P))) | 112797 | 138777489 | o2(x,o2(x,o1(x))) | true | 62383 | 62383 | -0.9825 | 0.01172 | 0.9941 | 0.02765 | 0.1663 | -1 | 1 | 2 | 1 | 0.1275 | 0.003095 | 0.003477 | 0.004238 | -0.05811 | 1 | 0.000002474 | 0.0139 | 0.008177 | 0.006559 | 0.08099 | 19.11 | 2.828 | 0.2377 | 0.5028 | 1 | 1 | 0.007437 | 0.0308 | 0.06743 | 0.269 | 1.114 | 2.439 | json |
| t17_x18_u0_b55 | 17 | 18 | 0 | 55 | ![]() |
mod(R,add(P,sqt(P))) | 112798 | 138777490 | o2(x,o2(x,o1(x))) | true | 62391 | 62391 | -0.5736 | 0.1995 | 0.7298 | 0.325 | 0.57 | -1 | 0.9806 | 1.981 | 1 | 3.079 | 0.008479 | 0.001297 | 0.03255 | 0.7347 | 1 | 0.00001063 | 0.01473 | 0.01637 | 0.008716 | 0.09336 | 2.868 | 1.943 | 0.03008 | 0.04532 | 1 | 1 | 0.01323 | 0.09166 | 0.2549 | 0.04071 | 0.2821 | 0.7843 | json |
| t17_x18_u0_b56 | 17 | 18 | 0 | 56 | ![]() |
mod(R,sub(P,sqt(P))) | 112799 | 138777491 | o2(x,o2(x,o1(x))) | true | 62399 | 62399 | -0.641 | 0.1638 | 0.7631 | 0.2885 | 0.5371 | -1 | 0.9806 | 1.981 | 1 | 2.732 | 0.004878 | 0.001002 | 0.02621 | 0.6591 | 1 | 0.00001884 | 0.007921 | 0.01275 | 0.005195 | 0.07208 | 2.75 | 1.457 | 0.02038 | 0.02745 | 1 | 1 | 0.008106 | 0.06384 | 0.2202 | 0.0281 | 0.2213 | 0.7632 | json |



































































































