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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t19_x2_u6_b33 | 19 | 2 | 6 | 33 | ![]() |
div(P,add(nrm(P),R)) | 139100 | 154373460 | o2(x,o2(o1(x),x)) | true | 141207 | 141207 | 0.5093 | 0.763 | 0.9405 | 0.6674 | 0.8169 | -1 | 1 | 2 | 1 | 1.585 | 0.04269 | 0.04866 | 0.07061 | -0.06538 | 1 | -0.00002405 | 0.1828 | 0.1018 | 0.08629 | 0.2938 | 4.16 | 2.828 | 0.1369 | 0.2739 | 1 | 1 | 0.1045 | 0.513 | 1.348 | 0.1565 | 0.7687 | 2.02 | json |
| t19_x2_u6_b34 | 19 | 2 | 6 | 34 | ![]() |
div(P,sub(nrm(P),R)) | 139101 | 154373461 | o2(x,o2(o1(x),x)) | true | 141215 | 141215 | 0.6018 | 0.8063 | 0.9424 | 0.5673 | 0.7532 | -1 | 1 | 2 | 1 | 1.466 | 0.0324 | 0.03148 | 0.05324 | 0.01447 | 1 | 0.00005591 | 0.126 | 0.07214 | 0.06105 | 0.2471 | 4.641 | 2.828 | 0.1126 | 0.2221 | 1 | 1 | 0.07741 | 0.3698 | 1.097 | 0.1365 | 0.6519 | 1.934 | json |
| t19_x2_u6_b35 | 19 | 2 | 6 | 35 | ![]() |
div(P,mlt(nrm(P),R)) | 139102 | 154373462 | o2(x,o2(o1(x),x)) | true | 141223 | 141223 | -0.1918 | 0.4038 | 0.9837 | 0.9414 | 0.9702 | -1 | 1 | 2 | 1 | 1.291 | 0.0924 | 0.08928 | 0.1113 | 0.01718 | 1 | -0.00002331 | 0.4019 | 0.1938 | 0.1693 | 0.4115 | 3.698 | 2.828 | 0.193 | 0.4269 | 1 | 1 | 0.1893 | 0.8479 | 1.756 | 0.2011 | 0.9008 | 1.865 | json |
| t19_x2_u6_b36 | 19 | 2 | 6 | 36 | ![]() |
div(P,div(nrm(P),R)) | 139103 | 154373463 | o2(x,o2(o1(x),x)) | true | 141231 | 141231 | -0.1375 | 0.4316 | 0.8886 | 0.832 | 0.9122 | -1 | 1 | 2 | 1 | 2.537 | 0.04082 | 0.02752 | 0.09949 | 0.1945 | 1 | 0.00007801 | 0.07391 | 0.08432 | 0.05847 | 0.2418 | 2.43 | 2.228 | 0.08213 | 0.08883 | 1 | 1 | 0.08834 | 0.5964 | 1.33 | 0.1062 | 0.7167 | 1.598 | json |
| t19_x2_u6_b37 | 19 | 2 | 6 | 37 | ![]() |
div(P,pow(nrm(P),R)) | 139104 | 154373464 | o2(x,o2(o1(x),x)) | true | 141239 | 141239 | -0.08898 | 0.4609 | 0.9891 | 0.9783 | 0.9891 | -1 | 1 | 2 | 1 | 1.182 | 0.01073 | 0.00186 | 0.009583 | 0.7046 | 1 | -0.00003894 | 0.02489 | 0.01588 | 0.01251 | 0.1118 | 11.67 | 2.828 | 0.01287 | 0.02544 | 1 | 1 | 0.01805 | 0.0837 | 0.3698 | 0.01845 | 0.08556 | 0.378 | json |
| t19_x2_u6_b38 | 19 | 2 | 6 | 38 | ![]() |
div(P,mod(nrm(P),R)) | 139105 | 154373465 | o2(x,o2(o1(x),x)) | true | 141247 | 141247 | 0.75 | 0.875 | 1 | 0.4375 | 0.6614 | -1 | 1 | 2 | 1 | 0.5436 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.07256 | 0.1451 | 1 | 1 | 0.04211 | 0.1684 | 0.6737 | 0.09624 | 0.385 | 1.54 | json |
| t19_x2_u6_b39 | 19 | 2 | 6 | 39 | ![]() |
div(P,lrg(nrm(P),R)) | 139106 | 154373466 | o2(x,o2(o1(x),x)) | true | 141255 | 141255 | -0.3457 | 0.3281 | 0.998 | 0.8787 | 0.9374 | -1 | 1 | 2 | 1 | 0.9494 | 0.03542 | 0.02073 | 0.02838 | 0.2616 | 1 | 0 | 0.1166 | 0.05671 | 0.05534 | 0.2352 | 8.289 | 2.828 | 0.06391 | 0.1327 | 1 | 1 | 0.06248 | 0.2538 | 0.7946 | 0.0711 | 0.2889 | 0.9043 | json |
| t19_x2_u6_b40 | 19 | 2 | 6 | 40 | ![]() |
div(P,eql(nrm(P),R)) | 139107 | 154373467 | o2(x,o2(o1(x),x)) | true | 141263 | 141263 | -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 |
| t19_x2_u6_b41 | 19 | 2 | 6 | 41 | ![]() |
div(P,min(nrm(P),R)) | 139108 | 154373468 | o2(x,o2(o1(x),x)) | true | 141271 | 141271 | 0.3513 | 0.6829 | 0.9688 | 0.8377 | 0.9153 | -1 | 1 | 2 | 1 | 1.376 | 0.04815 | 0.04425 | 0.06678 | 0.04221 | 1 | -0.00005313 | 0.1822 | 0.1021 | 0.08792 | 0.2965 | 4.44 | 2.828 | 0.1103 | 0.2175 | 1 | 1 | 0.1071 | 0.522 | 1.202 | 0.1279 | 0.6231 | 1.435 | json |
| t19_x2_u6_b42 | 19 | 2 | 6 | 42 | ![]() |
div(P,dot(nrm(P),R)) | 139109 | 154373469 | o2(x,o2(o1(x),x)) | true | 141279 | 141279 | 0.03685 | 0.5282 | 0.9321 | 0.9139 | 0.956 | -1 | 1 | 2 | 1 | 1.894 | 0.06316 | 0.07634 | 0.1073 | -0.09449 | 1 | -0.00008956 | 0.2755 | 0.1564 | 0.1281 | 0.3579 | 3.334 | 2.828 | 0.1526 | 0.3014 | 1 | 1 | 0.1664 | 0.8053 | 1.785 | 0.182 | 0.8812 | 1.953 | json |
| t19_x2_u6_b43 | 19 | 2 | 6 | 43 | ![]() |
div(P,dst(nrm(P),R)) | 139110 | 154373470 | o2(x,o2(o1(x),x)) | true | 141287 | 141287 | -0.005284 | 0.4922 | 0.9314 | 0.9129 | 0.9554 | -1 | 1 | 2 | 1 | 1.979 | 0.002513 | 0.001789 | 0.01024 | 0.1683 | 1 | -0.000007461 | 0.007519 | 0.007387 | 0.004196 | 0.06477 | 6.326 | 2.828 | 0.004713 | 0.008237 | 1 | 1 | 0.008115 | 0.04579 | 0.2757 | 0.00889 | 0.05016 | 0.302 | json |
| t19_x2_u6_b44 | 19 | 2 | 6 | 44 | ![]() |
pow(P,add(nrm(P),R)) | 139111 | 154373471 | o2(x,o2(o1(x),x)) | true | 141295 | 141295 | -0.1109 | 0.4492 | 0.9906 | 0.9741 | 0.987 | -1 | 1 | 2 | 1 | 1.226 | 0.01371 | 0.002476 | 0.01069 | 0.694 | 1 | -0.00001068 | 0.03275 | 0.01865 | 0.01608 | 0.1268 | 11.86 | 2.828 | 0.01662 | 0.03363 | 1 | 1 | 0.0219 | 0.0901 | 0.3678 | 0.02248 | 0.0925 | 0.3776 | json |
| t19_x2_u6_b45 | 19 | 2 | 6 | 45 | ![]() |
pow(P,sub(nrm(P),R)) | 139112 | 154373472 | o2(x,o2(o1(x),x)) | true | 141303 | 141303 | -0.0914 | 0.4609 | 0.9867 | 0.9744 | 0.9871 | -1 | 1 | 2 | 1 | 1.237 | 0.01159 | 0.001826 | 0.009579 | 0.7277 | 1 | -0.00003647 | 0.02699 | 0.016 | 0.01333 | 0.1155 | 12.06 | 2.828 | 0.01377 | 0.0277 | 1 | 1 | 0.01936 | 0.08228 | 0.3609 | 0.01987 | 0.08444 | 0.3704 | json |
| t19_x2_u6_b46 | 19 | 2 | 6 | 46 | ![]() |
pow(P,mlt(nrm(P),R)) | 139113 | 154373473 | o2(x,o2(o1(x),x)) | true | 141311 | 141311 | -0.07255 | 0.4922 | 0.9431 | 0.9055 | 0.9516 | -1 | 1 | 2 | 1 | 2.063 | 0.0162 | 0.002446 | 0.018 | 0.7376 | 1 | -0.00003941 | 0.03661 | 0.02244 | 0.01832 | 0.1354 | 7.518 | 2.828 | 0.02059 | 0.04043 | 1 | 1 | 0.02566 | 0.108 | 0.4117 | 0.02834 | 0.1193 | 0.4547 | json |
| t19_x2_u6_b47 | 19 | 2 | 6 | 47 | ![]() |
pow(P,div(nrm(P),R)) | 139114 | 154373474 | o2(x,o2(o1(x),x)) | true | 141319 | 141319 | -0.09803 | 0.492 | 0.9176 | 0.8882 | 0.9424 | -1 | 1 | 2 | 1 | 1.89 | 0.01885 | 0.00604 | 0.02716 | 0.5146 | 1 | -0.0002244 | 0.0467 | 0.03692 | 0.02414 | 0.1554 | 5.722 | 2.828 | 0.02802 | 0.05259 | 1 | 1 | 0.03313 | 0.1452 | 0.462 | 0.0373 | 0.1635 | 0.5202 | json |
| t19_x2_u6_b48 | 19 | 2 | 6 | 48 | ![]() |
pow(P,pow(nrm(P),R)) | 139115 | 154373475 | o2(x,o2(o1(x),x)) | true | 141327 | 141327 | -0.03223 | 0.4922 | 0.9834 | 0.9786 | 0.9892 | -1 | 1 | 2 | 1 | 1.273 | 0.009675 | 0.001654 | 0.009205 | 0.708 | 1 | -0.000002852 | 0.02264 | 0.01403 | 0.01124 | 0.106 | 11.52 | 2.828 | 0.01158 | 0.02313 | 1 | 1 | 0.01637 | 0.07338 | 0.3549 | 0.01673 | 0.07499 | 0.3627 | json |
| t19_x2_u6_b49 | 19 | 2 | 6 | 49 | ![]() |
pow(P,mod(nrm(P),R)) | 139116 | 154373476 | o2(x,o2(o1(x),x)) | true | 141335 | 141335 | -0.01563 | 0.4922 | 1 | 0.9995 | 0.9998 | -1 | 1 | 2 | 1 | 0.9998 | 0.01587 | 0.002016 | 0.008926 | 0.7746 | 1 | 0 | 0.03628 | 0.01789 | 0.01781 | 0.1334 | 14.95 | 2.828 | 0.0179 | 0.0363 | 1 | 1 | 0.0246 | 0.09839 | 0.3936 | 0.02461 | 0.09844 | 0.3938 | json |
| t19_x2_u6_b50 | 19 | 2 | 6 | 50 | ![]() |
pow(P,lrg(nrm(P),R)) | 139117 | 154373477 | o2(x,o2(o1(x),x)) | true | 141343 | 141343 | 0.6035 | 0.8164 | 0.9707 | 0.5982 | 0.7734 | -1 | 1 | 2 | 1 | 1.173 | 0.02223 | 0.02611 | 0.02917 | -0.08016 | 1 | -0.000002852 | 0.09913 | 0.05056 | 0.04748 | 0.2179 | 7.469 | 2.828 | 0.08082 | 0.1657 | 1 | 1 | 0.04161 | 0.1886 | 0.6338 | 0.06956 | 0.3153 | 1.06 | json |
| t19_x2_u6_b51 | 19 | 2 | 6 | 51 | ![]() |
pow(P,eql(nrm(P),R)) | 139118 | 154373478 | o2(x,o2(o1(x),x)) | true | 141351 | 141351 | 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 |
| t19_x2_u6_b52 | 19 | 2 | 6 | 52 | ![]() |
pow(P,min(nrm(P),R)) | 139119 | 154373479 | o2(x,o2(o1(x),x)) | true | 141359 | 141359 | -0.1659 | 0.4531 | 0.9279 | 0.8634 | 0.9292 | -1 | 1 | 2 | 1 | 2.114 | 0.01597 | 0.006241 | 0.02226 | 0.438 | 1 | -0.00005172 | 0.0441 | 0.02714 | 0.02171 | 0.1473 | 6.619 | 2.828 | 0.02572 | 0.05108 | 1 | 1 | 0.03009 | 0.1274 | 0.4297 | 0.03485 | 0.1476 | 0.4976 | json |
| t19_x2_u6_b53 | 19 | 2 | 6 | 53 | ![]() |
pow(P,dot(nrm(P),R)) | 139120 | 154373480 | o2(x,o2(o1(x),x)) | true | 141367 | 141367 | -0.1816 | 0.4492 | 0.92 | 0.8502 | 0.9221 | -1 | 1 | 2 | 1 | 2.125 | 0.01413 | 0.001871 | 0.01963 | 0.7662 | 1 | -0.0001012 | 0.03045 | 0.02181 | 0.01561 | 0.125 | 6.366 | 2.828 | 0.01883 | 0.03582 | 1 | 1 | 0.02102 | 0.09529 | 0.3761 | 0.02473 | 0.1121 | 0.4423 | json |
| t19_x2_u6_b54 | 19 | 2 | 6 | 54 | ![]() |
pow(P,dst(nrm(P),R)) | 139121 | 154373481 | o2(x,o2(o1(x),x)) | true | 141375 | 141375 | -0.04297 | 0.4922 | 0.9727 | 0.9641 | 0.9819 | -1 | 1 | 2 | 1 | 1.363 | 0.00579 | 0.001205 | 0.008659 | 0.6554 | 1 | -4.224e-11 | 0.01366 | 0.01121 | 0.006915 | 0.08316 | 9.604 | 2.828 | 0.007256 | 0.01417 | 1 | 1 | 0.01084 | 0.05572 | 0.3282 | 0.01125 | 0.05779 | 0.3404 | json |
| t19_x2_u6_b55 | 19 | 2 | 6 | 55 | ![]() |
mod(P,add(nrm(P),R)) | 139122 | 154373482 | o2(x,o2(o1(x),x)) | true | 141383 | 141383 | -0.01271 | 0.49 | 0.3605 | 0.2127 | 0.4612 | -1 | 1 | 2 | 1 | 4.76 | 0.002594 | 0.0026 | 0.03489 | -0.001216 | 1 | 0.000006416 | 0.006888 | 0.01266 | 0.003976 | 0.06306 | 1.807 | 2.828 | 0.02441 | 0.03238 | 1 | 1 | 0.009377 | 0.06758 | 0.2221 | 0.04408 | 0.3177 | 1.044 | json |
| t19_x2_u6_b56 | 19 | 2 | 6 | 56 | ![]() |
mod(P,sub(nrm(P),R)) | 139123 | 154373483 | o2(x,o2(o1(x),x)) | true | 141391 | 141391 | -0.02946 | 0.4892 | 0.3707 | 0.2212 | 0.4703 | -1 | 1 | 2 | 1 | 4.798 | 0.002307 | 0.001716 | 0.03495 | 0.1468 | 1 | 0.00001911 | 0.004365 | 0.01144 | 0.002802 | 0.05293 | 1.514 | 2 | 0.01819 | 0.01974 | 1 | 1 | 0.007353 | 0.0614 | 0.1993 | 0.03325 | 0.2776 | 0.901 | json |
| t19_x2_u6_b57 | 19 | 2 | 6 | 57 | ![]() |
mod(P,mlt(nrm(P),R)) | 139124 | 154373484 | o2(x,o2(o1(x),x)) | true | 141399 | 141399 | -0.12 | 0.4375 | 0.2876 | 0.1584 | 0.398 | -1 | 0.7475 | 1.747 | 1 | 3.99 | 0.008359 | 0.0002394 | 0.02316 | 0.9443 | 1 | 0.00000751 | 0.01633 | 0.01942 | 0.008063 | 0.08979 | 3.878 | 1.436 | 0.05428 | 0.1031 | 1 | 1 | 0.01158 | 0.05247 | 0.1952 | 0.07307 | 0.3312 | 1.232 | json |
| t19_x2_u6_b58 | 19 | 2 | 6 | 58 | ![]() |
mod(P,div(nrm(P),R)) | 139125 | 154373485 | o2(x,o2(o1(x),x)) | true | 141407 | 141407 | -0.1248 | 0.4375 | 0.748 | 0.6383 | 0.7989 | -1 | 1 | 2 | 1 | 3.874 | 0.0121 | 0.001597 | 0.03912 | 0.7668 | 1 | 0.00002127 | 0.02202 | 0.02977 | 0.01217 | 0.1103 | 2.819 | 2 | 0.02146 | 0.0345 | 1 | 1 | 0.02036 | 0.1135 | 0.378 | 0.03191 | 0.1778 | 0.5922 | json |
| t19_x2_u6_b59 | 19 | 2 | 6 | 59 | ![]() |
mod(P,pow(nrm(P),R)) | 139126 | 154373486 | o2(x,o2(o1(x),x)) | true | 141415 | 141415 | -0.3497 | 0.4352 | 0.7753 | 0.58 | 0.7616 | -1 | 1 | 2 | 1 | 2.727 | 0.008619 | 0.0005627 | 0.02107 | 0.8774 | 1 | 0.00001986 | 0.01656 | 0.01495 | 0.008742 | 0.0935 | 4.438 | 2 | 0.01583 | 0.02855 | 1 | 1 | 0.01319 | 0.06855 | 0.2599 | 0.02274 | 0.1182 | 0.4482 | json |
| t19_x2_u6_b60 | 19 | 2 | 6 | 60 | ![]() |
mod(P,mod(nrm(P),R)) | 139127 | 154373487 | o2(x,o2(o1(x),x)) | true | 141423 | 141423 | -0.1331 | 0.4372 | 0.2286 | 0.1317 | 0.363 | -1 | 0.6358 | 1.636 | 1 | 3.471 | 0.008152 | 0.0001834 | 0.02036 | 0.956 | 1 | 1.056e-7 | 0.01596 | 0.01876 | 0.007921 | 0.089 | 4.37 | 1.293 | 0.06327 | 0.1211 | 1 | 1 | 0.01121 | 0.05049 | 0.1919 | 0.08512 | 0.3833 | 1.457 | json |
| t19_x2_u6_b61 | 19 | 2 | 6 | 61 | ![]() |
mod(P,lrg(nrm(P),R)) | 139128 | 154373488 | o2(x,o2(o1(x),x)) | true | 141431 | 141431 | -0.7031 | 0 | 0.7031 | 0.2086 | 0.4567 | -1 | 0 | 1 | 1 | 0.8774 | 0.006488 | 0.005732 | 0.01216 | 0.06186 | 1 | 0 | 0.0252 | 0.02444 | 0.01207 | 0.1098 | 9.037 | 1.414 | 0.05859 | 0.1208 | 1 | 1 | 0.01429 | 0.05784 | 0.1951 | 0.06853 | 0.2773 | 0.9352 | json |
| t19_x2_u6_b62 | 19 | 2 | 6 | 62 | ![]() |
mod(P,eql(nrm(P),R)) | 139129 | 154373489 | o2(x,o2(o1(x),x)) | true | 141439 | 141439 | -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 |
| t19_x2_u6_b63 | 19 | 2 | 6 | 63 | ![]() |
mod(P,min(nrm(P),R)) | 139130 | 154373490 | o2(x,o2(o1(x),x)) | true | 141447 | 141447 | -0.08485 | 0.4628 | 0.2861 | 0.1401 | 0.3743 | -1 | 0.7928 | 1.793 | 1 | 4.297 | 0.005006 | 0.001948 | 0.02405 | 0.4397 | 1 | 0.000002115 | 0.01304 | 0.01632 | 0.006376 | 0.07985 | 3.321 | 1.551 | 0.04965 | 0.09307 | 1 | 1 | 0.01033 | 0.04937 | 0.1792 | 0.07378 | 0.3525 | 1.279 | json |
| t19_x2_u6_b64 | 19 | 2 | 6 | 64 | ![]() |
mod(P,dot(nrm(P),R)) | 139131 | 154373491 | o2(x,o2(o1(x),x)) | true | 141455 | 141455 | -0.01275 | 0.4901 | 0.25 | 0.1098 | 0.3313 | -1 | 1 | 2 | 1 | 4.356 | 0.001723 | 0.001775 | 0.02631 | -0.01488 | 1 | 0.000002375 | 0.005052 | 0.009527 | 0.002807 | 0.05298 | 2.014 | 2.828 | 0.03187 | 0.04602 | 1 | 1 | 0.006071 | 0.04053 | 0.1441 | 0.05531 | 0.3693 | 1.313 | json |
| t19_x2_u6_b65 | 19 | 2 | 6 | 65 | ![]() |
mod(P,dst(nrm(P),R)) | 139132 | 154373492 | o2(x,o2(o1(x),x)) | true | 141463 | 141463 | -0.04404 | 0.4907 | 0.5921 | 0.4468 | 0.6684 | -1 | 1 | 2 | 1 | 4.731 | 0.002784 | 0.00219 | 0.04043 | 0.1193 | 1 | 0.00003675 | 0.004761 | 0.01456 | 0.003339 | 0.05778 | 1.429 | 2 | 0.01113 | 0.01066 | 1 | 1 | 0.009322 | 0.08071 | 0.2781 | 0.02086 | 0.1806 | 0.6225 | json |
| t19_x2_u6_b66 | 19 | 2 | 6 | 66 | ![]() |
lrg(P,add(nrm(P),R)) | 139133 | 154373493 | o2(x,o2(o1(x),x)) | true | 141471 | 141471 | 0.4941 | 0.5608 | 0.4941 | 0.2346 | 0.4843 | 0 | 1 | 1 | 1 | 1.657 | 0.0004292 | 0.0003227 | 0.008763 | 0.1416 | 1 | 0.00001711 | 0.00004023 | 0.002089 | 0.000675 | 0.02598 | 2.965 | 0.1169 | 0.003206 | 0.0001715 | 1 | 1 | 0.001937 | 0.02518 | 0.09702 | 0.008257 | 0.1073 | 0.4136 | json |
| t19_x2_u6_b67 | 19 | 2 | 6 | 67 | ![]() |
lrg(P,sub(nrm(P),R)) | 139134 | 154373494 | o2(x,o2(o1(x),x)) | true | 141479 | 141479 | 0.5098 | 0.5827 | 0.5098 | 0.2343 | 0.4841 | 0 | 1 | 1 | 1 | 1.655 | 0.0004352 | 0.0002837 | 0.008476 | 0.2108 | 1 | -0.00001711 | 0.00004268 | 0.002068 | 0.0006474 | 0.02544 | 3.002 | 0.1169 | 0.003068 | 0.0001821 | 1 | 1 | 0.001822 | 0.02381 | 0.09963 | 0.007776 | 0.1016 | 0.4252 | json |
| t19_x2_u6_b68 | 19 | 2 | 6 | 68 | ![]() |
lrg(P,mlt(nrm(P),R)) | 139135 | 154373495 | o2(x,o2(o1(x),x)) | true | 141487 | 141487 | 0.4727 | 0.5074 | 0.4727 | 0.242 | 0.4919 | 0 | 1 | 1 | 1 | 1.358 | 0.0003432 | 0.00003512 | 0.004306 | 0.8144 | 1 | -4.788e-10 | 0.00001836 | 0.001016 | 0.0003599 | 0.01897 | 4.405 | 0.1169 | 0.001564 | 0.00007585 | 1 | 1 | 0.001014 | 0.01329 | 0.07825 | 0.00419 | 0.05493 | 0.3234 | json |
| t19_x2_u6_b69 | 19 | 2 | 6 | 69 | ![]() |
lrg(P,div(nrm(P),R)) | 139136 | 154373496 | o2(x,o2(o1(x),x)) | true | 141495 | 141495 | 0.4824 | 0.6377 | 0.4824 | 0.218 | 0.4669 | 0 | 1 | 1 | 1 | 2.151 | 0.0008988 | 0.000596 | 0.01758 | 0.2026 | 1 | 0.00001711 | 0.00008436 | 0.004237 | 0.001186 | 0.03444 | 1.959 | 0.1169 | 0.006857 | 0.000387 | 1 | 1 | 0.003349 | 0.04334 | 0.1425 | 0.01536 | 0.1989 | 0.6537 | json |
| t19_x2_u6_b70 | 19 | 2 | 6 | 70 | ![]() |
lrg(P,pow(nrm(P),R)) | 139137 | 154373497 | o2(x,o2(o1(x),x)) | true | 141503 | 141503 | 0.9121 | 0.9944 | 0.9121 | 0.06104 | 0.2471 | 0 | 1 | 1 | 1 | 1.099 | 0.0006683 | 0.0002534 | 0.01068 | 0.4501 | 1 | -0.00001711 | 0.00005048 | 0.002568 | 0.000808 | 0.02842 | 2.662 | 0.1169 | 0.0151 | 0.000827 | 1 | 1 | 0.002304 | 0.02994 | 0.1009 | 0.03774 | 0.4905 | 1.653 | json |
| t19_x2_u6_b71 | 19 | 2 | 6 | 71 | ![]() |
lrg(P,mod(nrm(P),R)) | 139138 | 154373498 | o2(x,o2(o1(x),x)) | true | 141511 | 141511 | 0.4727 | 0.5074 | 0.4727 | 0.242 | 0.4919 | 0 | 1 | 1 | 1 | 1.358 | 0.0003432 | 0.00003512 | 0.004306 | 0.8144 | 1 | -4.788e-10 | 0.00001836 | 0.001016 | 0.0003599 | 0.01897 | 4.405 | 0.1169 | 0.001564 | 0.00007585 | 1 | 1 | 0.001014 | 0.01329 | 0.07825 | 0.00419 | 0.05493 | 0.3234 | json |
| t19_x2_u6_b72 | 19 | 2 | 6 | 72 | ![]() |
lrg(P,lrg(nrm(P),R)) | 139139 | 154373499 | o2(x,o2(o1(x),x)) | true | 141519 | 141519 | 0.4375 | 0.4827 | 0.4375 | 0.2367 | 0.4865 | 0 | 1 | 1 | 1 | 1.429 | 0.0003142 | 0.0001403 | 0.005315 | 0.3824 | 1 | -0.00001141 | 0.0000246 | 0.001271 | 0.0004265 | 0.02065 | 3.886 | 0.1169 | 0.00192 | 0.000104 | 1 | 1 | 0.00119 | 0.01549 | 0.08578 | 0.00503 | 0.06543 | 0.3624 | json |
| t19_x2_u6_b73 | 19 | 2 | 6 | 73 | ![]() |
lrg(P,eql(nrm(P),R)) | 139140 | 154373500 | o2(x,o2(o1(x),x)) | true | 141527 | 141527 | 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 |
| t19_x2_u6_b74 | 19 | 2 | 6 | 74 | ![]() |
lrg(P,min(nrm(P),R)) | 139141 | 154373501 | o2(x,o2(o1(x),x)) | true | 141535 | 141535 | 0.5039 | 0.5456 | 0.5039 | 0.2412 | 0.4911 | 0 | 1 | 1 | 1 | 1.415 | 0.0003238 | 0.0001053 | 0.004981 | 0.5091 | 1 | 0.000005704 | 0.00002256 | 0.001187 | 0.0004044 | 0.02011 | 4.037 | 0.1169 | 0.001779 | 0.00009352 | 1 | 1 | 0.001146 | 0.01504 | 0.08976 | 0.004753 | 0.06234 | 0.3721 | json |
| t19_x2_u6_b75 | 19 | 2 | 6 | 75 | ![]() |
lrg(P,dot(nrm(P),R)) | 139142 | 154373502 | o2(x,o2(o1(x),x)) | true | 141543 | 141543 | 0.5039 | 0.5717 | 0.5039 | 0.2341 | 0.4839 | 0 | 1 | 1 | 1 | 1.666 | 0.0003856 | 0.0003461 | 0.008645 | 0.05398 | 1 | -7.574e-10 | 0.00004371 | 0.002106 | 0.0006569 | 0.02563 | 2.965 | 0.1169 | 0.003125 | 0.0001867 | 1 | 1 | 0.001534 | 0.02012 | 0.09036 | 0.006551 | 0.08592 | 0.3859 | json |
| t19_x2_u6_b76 | 19 | 2 | 6 | 76 | ![]() |
lrg(P,dst(nrm(P),R)) | 139143 | 154373503 | o2(x,o2(o1(x),x)) | true | 141551 | 141551 | 0.4414 | 0.5013 | 0.4414 | 0.2338 | 0.4836 | 0 | 1 | 1 | 1 | 1.556 | 0.0003202 | 0.0002808 | 0.007092 | 0.06552 | 1 | -0.00001141 | 0.00003532 | 0.001727 | 0.0005504 | 0.02346 | 3.308 | 0.1169 | 0.00257 | 0.0001511 | 1 | 1 | 0.001656 | 0.02151 | 0.08138 | 0.00708 | 0.09197 | 0.348 | json |
| t19_x2_u6_b77 | 19 | 2 | 6 | 77 | ![]() |
eql(P,add(nrm(P),R)) | 139144 | 154373504 | o2(x,o2(o1(x),x)) | true | 141559 | 141559 | 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 |
| t19_x2_u6_b78 | 19 | 2 | 6 | 78 | ![]() |
eql(P,sub(nrm(P),R)) | 139145 | 154373505 | o2(x,o2(o1(x),x)) | true | 141567 | 141567 | 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 |
| t19_x2_u6_b79 | 19 | 2 | 6 | 79 | ![]() |
eql(P,mlt(nrm(P),R)) | 139146 | 154373506 | o2(x,o2(o1(x),x)) | true | 141575 | 141575 | 0.05859 | 0.1241 | 0.05859 | 0.0418 | 0.2045 | 0 | 0.9997 | 0.9997 | 1 | 0.7992 | 0.0006513 | 0.00003512 | 0.007769 | 0.8977 | 1 | -8.342e-10 | 0.00003252 | 0.001826 | 0.0006264 | 0.02503 | 3.222 | 0.1169 | 0.01642 | 0.0007779 | 1 | 1 | 0.001783 | 0.0232 | 0.06358 | 0.04266 | 0.5551 | 1.521 | json |
| t19_x2_u6_b80 | 19 | 2 | 6 | 80 | ![]() |
eql(P,div(nrm(P),R)) | 139147 | 154373507 | o2(x,o2(o1(x),x)) | true | 141583 | 141583 | 0.05859 | 0.1241 | 0.05859 | 0.0418 | 0.2045 | 0 | 0.9997 | 0.9997 | 1 | 0.7992 | 0.0006513 | 0.00003512 | 0.007769 | 0.8977 | 1 | -8.342e-10 | 0.00003252 | 0.001826 | 0.0006264 | 0.02503 | 3.222 | 0.1169 | 0.01642 | 0.0007779 | 1 | 1 | 0.001783 | 0.0232 | 0.06358 | 0.04266 | 0.5551 | 1.521 | json |
| t19_x2_u6_b81 | 19 | 2 | 6 | 81 | ![]() |
eql(P,pow(nrm(P),R)) | 139148 | 154373508 | o2(x,o2(o1(x),x)) | true | 141591 | 141591 | 0.02734 | 0.07904 | 0.02734 | 0.01811 | 0.1346 | 0 | 0.9997 | 0.9997 | 1 | 0.5041 | 0.0002701 | 0.0001356 | 0.004755 | 0.3314 | 1 | -0.000005705 | 0.00002305 | 0.00115 | 0.0003832 | 0.01958 | 4.117 | 0.1169 | 0.0224 | 0.001273 | 1 | 1 | 0.001123 | 0.01462 | 0.04376 | 0.06202 | 0.8075 | 2.416 | json |
| t19_x2_u6_b82 | 19 | 2 | 6 | 82 | ![]() |
eql(P,mod(nrm(P),R)) | 139149 | 154373509 | o2(x,o2(o1(x),x)) | true | 141599 | 141599 | 0.05859 | 0.1241 | 0.05859 | 0.0418 | 0.2045 | 0 | 0.9997 | 0.9997 | 1 | 0.7992 | 0.0006513 | 0.00003512 | 0.007769 | 0.8977 | 1 | -8.342e-10 | 0.00003252 | 0.001826 | 0.0006264 | 0.02503 | 3.222 | 0.1169 | 0.01642 | 0.0007779 | 1 | 1 | 0.001783 | 0.0232 | 0.06358 | 0.04266 | 0.5551 | 1.521 | json |
| t19_x2_u6_b83 | 19 | 2 | 6 | 83 | ![]() |
eql(P,lrg(nrm(P),R)) | 139150 | 154373510 | o2(x,o2(o1(x),x)) | true | 141607 | 141607 | 0.05469 | 0.1292 | 0.05469 | 0.03796 | 0.1948 | 0 | 1 | 1 | 1 | 0.8056 | 0.0004043 | 0.000236 | 0.007496 | 0.2628 | 1 | 0.000005704 | 0.0000369 | 0.00182 | 0.0005838 | 0.02416 | 3.223 | 0.1169 | 0.01687 | 0.000972 | 1 | 1 | 0.001767 | 0.02295 | 0.08726 | 0.04656 | 0.6047 | 2.299 | json |
| t19_x2_u6_b84 | 19 | 2 | 6 | 84 | ![]() |
eql(P,eql(nrm(P),R)) | 139151 | 154373511 | o2(x,o2(o1(x),x)) | true | 141615 | 141615 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t19_x2_u6_b85 | 19 | 2 | 6 | 85 | ![]() |
eql(P,min(nrm(P),R)) | 139152 | 154373512 | o2(x,o2(o1(x),x)) | true | 141623 | 141623 | 0.02734 | 0.07904 | 0.02734 | 0.01811 | 0.1346 | 0 | 0.9997 | 0.9997 | 1 | 0.5041 | 0.0002701 | 0.0001356 | 0.004754 | 0.3314 | 1 | -0.000005705 | 0.00002305 | 0.00115 | 0.0003832 | 0.01958 | 4.117 | 0.1169 | 0.0224 | 0.001273 | 1 | 1 | 0.001123 | 0.01462 | 0.04376 | 0.06202 | 0.8075 | 2.416 | json |
| t19_x2_u6_b86 | 19 | 2 | 6 | 86 | ![]() |
eql(P,dot(nrm(P),R)) | 139153 | 154373513 | o2(x,o2(o1(x),x)) | true | 141631 | 141631 | 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 |
| t19_x2_u6_b87 | 19 | 2 | 6 | 87 | ![]() |
eql(P,dst(nrm(P),R)) | 139154 | 154373514 | o2(x,o2(o1(x),x)) | true | 141639 | 141639 | 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 |
| t19_x2_u6_b88 | 19 | 2 | 6 | 88 | ![]() |
min(P,add(nrm(P),R)) | 139155 | 154373515 | o2(x,o2(o1(x),x)) | true | 141647 | 141647 | -0.2231 | 0.4362 | 0.7701 | 0.6528 | 0.808 | -1 | 1 | 2 | 1 | 3.338 | 0.001372 | 0.001084 | 0.02675 | 0.1172 | 1 | -0.00004125 | 0.0002969 | 0.007535 | 0.001741 | 0.04172 | 1.56 | 0.2256 | 0.003761 | 0.0004548 | 1 | 1 | 0.004916 | 0.05956 | 0.2525 | 0.00753 | 0.09124 | 0.3867 | json |
| t19_x2_u6_b89 | 19 | 2 | 6 | 89 | ![]() |
min(P,sub(nrm(P),R)) | 139156 | 154373516 | o2(x,o2(o1(x),x)) | true | 141655 | 141655 | -0.1957 | 0.4325 | 0.7897 | 0.6813 | 0.8254 | -1 | 1 | 2 | 1 | 3.318 | 0.001453 | 0.001062 | 0.02768 | 0.1554 | 1 | -0.0000225 | 0.0003188 | 0.007737 | 0.001749 | 0.04182 | 1.511 | 0.2216 | 0.003692 | 0.000468 | 1 | 1 | 0.005092 | 0.06124 | 0.2492 | 0.007474 | 0.0899 | 0.3657 | json |
| t19_x2_u6_b90 | 19 | 2 | 6 | 90 | ![]() |
min(P,mlt(nrm(P),R)) | 139157 | 154373517 | o2(x,o2(o1(x),x)) | true | 141663 | 141663 | -0.4689 | 0.2358 | 0.5942 | 0.2975 | 0.5454 | -1 | 0.9256 | 1.926 | 1 | 3.428 | 0.001041 | 0.0007516 | 0.02445 | 0.1616 | 1 | 0.00001155 | 0.0001047 | 0.005706 | 0.001195 | 0.03457 | 1.414 | 0.178 | 0.006027 | 0.000352 | 1 | 1 | 0.00375 | 0.04905 | 0.1927 | 0.01261 | 0.1649 | 0.6479 | json |
| t19_x2_u6_b91 | 19 | 2 | 6 | 91 | ![]() |
min(P,div(nrm(P),R)) | 139158 | 154373518 | o2(x,o2(o1(x),x)) | true | 141671 | 141671 | -0.5465 | 0.216 | 0.8383 | 0.4973 | 0.7052 | -1 | 1 | 2 | 1 | 2.558 | 0.00964 | 0.01145 | 0.05585 | -0.08567 | 1 | -0.00003019 | 0.01399 | 0.02912 | 0.01797 | 0.134 | 2.4 | 2.616 | 0.0424 | 0.02812 | 1 | 1 | 0.03358 | 0.3063 | 0.7247 | 0.06753 | 0.616 | 1.457 | json |
| t19_x2_u6_b92 | 19 | 2 | 6 | 92 | ![]() |
min(P,pow(nrm(P),R)) | 139159 | 154373519 | o2(x,o2(o1(x),x)) | true | 141679 | 141679 | -0.03152 | 0.4992 | 0.906 | 0.8755 | 0.9357 | -1 | 1 | 2 | 1 | 2.353 | 0.0006733 | 0.0001156 | 0.01114 | 0.707 | 1 | -0.000005593 | 0.00008115 | 0.003313 | 0.000665 | 0.02579 | 2.315 | 0.1865 | 0.000901 | 0.00009268 | 1 | 1 | 0.001919 | 0.02452 | 0.2149 | 0.002191 | 0.028 | 0.2454 | json |
| t19_x2_u6_b93 | 19 | 2 | 6 | 93 | ![]() |
min(P,mod(nrm(P),R)) | 139160 | 154373520 | o2(x,o2(o1(x),x)) | true | 141687 | 141687 | -0.3552 | 0.4965 | 0.5823 | 0.377 | 0.614 | -1 | 0.9189 | 1.919 | 1 | 3.004 | 0.0005384 | 0.000203 | 0.01432 | 0.4524 | 1 | -6.479e-7 | 0.00003899 | 0.003321 | 0.0005366 | 0.02316 | 1.618 | 0.1169 | 0.001967 | 0.0001034 | 1 | 1 | 0.001681 | 0.02203 | 0.1333 | 0.00446 | 0.05845 | 0.3537 | json |
| t19_x2_u6_b94 | 19 | 2 | 6 | 94 | ![]() |
min(P,lrg(nrm(P),R)) | 139161 | 154373521 | o2(x,o2(o1(x),x)) | true | 141695 | 141695 | -0.06348 | 0.482 | 0.874 | 0.8448 | 0.9191 | -1 | 1 | 2 | 1 | 2.374 | 0.0008664 | 0.0003616 | 0.01432 | 0.411 | 1 | -0.00000214 | 0.00006498 | 0.003403 | 0.001023 | 0.03199 | 2.234 | 0.1169 | 0.001454 | 0.00007691 | 1 | 1 | 0.002812 | 0.03679 | 0.24 | 0.003328 | 0.04355 | 0.2841 | json |
| t19_x2_u6_b95 | 19 | 2 | 6 | 95 | ![]() |
min(P,eql(nrm(P),R)) | 139162 | 154373522 | o2(x,o2(o1(x),x)) | true | 141703 | 141703 | -0.4688 | 0 | 0.4688 | 0.2423 | 0.4922 | -1 | 0 | 1 | 1 | 1.406 | 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 |
| t19_x2_u6_b96 | 19 | 2 | 6 | 96 | ![]() |
min(P,min(nrm(P),R)) | 139163 | 154373523 | o2(x,o2(o1(x),x)) | true | 141711 | 141711 | -0.5154 | 0.2122 | 0.6552 | 0.2984 | 0.5462 | -1 | 0.9276 | 1.928 | 1 | 3.567 | 0.001375 | 0.001241 | 0.03144 | 0.05153 | 1 | -1.369e-7 | 0.0001568 | 0.007316 | 0.001628 | 0.04035 | 1.283 | 0.1921 | 0.008768 | 0.0005256 | 1 | 1 | 0.005364 | 0.06991 | 0.2307 | 0.01798 | 0.2343 | 0.7732 | json |
| t19_x2_u6_b97 | 19 | 2 | 6 | 97 | ![]() |
min(P,dot(nrm(P),R)) | 139164 | 154373524 | o2(x,o2(o1(x),x)) | true | 141719 | 141719 | -0.4805 | 0.2494 | 0.6793 | 0.3598 | 0.5999 | -1 | 1 | 2 | 1 | 3.597 | 0.001801 | 0.001677 | 0.03554 | 0.03578 | 1 | -0.0000226 | 0.0002313 | 0.008277 | 0.002216 | 0.04707 | 1.325 | 0.2735 | 0.009665 | 0.0006429 | 1 | 1 | 0.007163 | 0.0928 | 0.3439 | 0.01991 | 0.2579 | 0.9558 | json |
| t19_x2_u6_b98 | 19 | 2 | 6 | 98 | ![]() |
min(P,dst(nrm(P),R)) | 139165 | 154373525 | o2(x,o2(o1(x),x)) | true | 141727 | 141727 | -0.02282 | 0.5 | 0.9147 | 0.8864 | 0.9415 | -1 | 1 | 2 | 1 | 2.307 | 0.0007897 | 0.0001774 | 0.01231 | 0.6332 | 1 | -0.00001189 | 0.0001405 | 0.004211 | 0.0008155 | 0.02856 | 2.319 | 0.179 | 0.001091 | 0.0001585 | 1 | 1 | 0.002115 | 0.02642 | 0.2242 | 0.002387 | 0.0298 | 0.253 | json |
| t19_x2_u6_b99 | 19 | 2 | 6 | 99 | ![]() |
dot(P,add(nrm(P),R)) | 139166 | 154373526 | o2(x,o2(o1(x),x)) | true | 141735 | 141735 | 0.9277 | 0.9715 | 0.9718 | 0.1007 | 0.3173 | -1 | 1 | 2 | 1 | 0.6965 | 0.005969 | 0.00682 | 0.01875 | -0.06647 | 1 | -0.00008342 | 0.01852 | 0.01946 | 0.01245 | 0.1116 | 5.949 | 2.828 | 0.1271 | 0.184 | 1 | 1 | 0.02017 | 0.1051 | 0.2791 | 0.2004 | 1.044 | 2.773 | json |
| t19_x2_u6_b100 | 19 | 2 | 6 | 100 | ![]() |
dot(P,sub(nrm(P),R)) | 139167 | 154373527 | o2(x,o2(o1(x),x)) | true | 141743 | 141743 | 0.9293 | 0.9702 | 0.9731 | 0.09984 | 0.316 | -1 | 1 | 2 | 1 | 0.6699 | 0.005855 | 0.005644 | 0.01684 | 0.01835 | 1 | -0.00008808 | 0.01687 | 0.01812 | 0.01122 | 0.1059 | 6.292 | 2 | 0.1152 | 0.1689 | 1 | 1 | 0.01795 | 0.09516 | 0.2924 | 0.1798 | 0.9531 | 2.929 | json |
| t19_x2_u6_b101 | 19 | 2 | 6 | 101 | ![]() |
dot(P,mlt(nrm(P),R)) | 139168 | 154373528 | o2(x,o2(o1(x),x)) | true | 141751 | 141751 | 0.04851 | 0.5257 | 0.8284 | 0.7712 | 0.8782 | -1 | 1 | 2 | 1 | 3.095 | 0.02498 | 0.02816 | 0.1061 | -0.05978 | 1 | -0.000002897 | 0.03848 | 0.0692 | 0.04187 | 0.2046 | 1.928 | 2.828 | 0.06891 | 0.0499 | 1 | 1 | 0.06724 | 0.5559 | 1.424 | 0.08719 | 0.7209 | 1.847 | json |
| t19_x2_u6_b102 | 19 | 2 | 6 | 102 | ![]() |
dot(P,div(nrm(P),R)) | 139169 | 154373529 | o2(x,o2(o1(x),x)) | true | 141759 | 141759 | 0.05149 | 0.5266 | 0.9747 | 0.963 | 0.9813 | -1 | 1 | 2 | 1 | 1.468 | 0.08028 | 0.09237 | 0.1124 | -0.07002 | 1 | 0.00000429 | 0.3817 | 0.1871 | 0.1601 | 0.4001 | 3.56 | 2.828 | 0.1793 | 0.3963 | 1 | 1 | 0.1735 | 0.8221 | 1.956 | 0.1801 | 0.8537 | 2.031 | json |
| t19_x2_u6_b103 | 19 | 2 | 6 | 103 | ![]() |
dot(P,pow(nrm(P),R)) | 139170 | 154373530 | o2(x,o2(o1(x),x)) | true | 141767 | 141767 | -0.5859 | 0.207 | 1 | 0.6568 | 0.8105 | -1 | 1 | 2 | 1 | 0.7358 | 0.01096 | 0.008944 | 0.009915 | 0.1013 | 1 | 0 | 0.04119 | 0.0199 | 0.01982 | 0.1408 | 14.2 | 2.828 | 0.0303 | 0.06272 | 1 | 1 | 0.02637 | 0.1055 | 0.3785 | 0.04015 | 0.1606 | 0.5763 | json |
| t19_x2_u6_b104 | 19 | 2 | 6 | 104 | ![]() |
dot(P,mod(nrm(P),R)) | 139171 | 154373531 | o2(x,o2(o1(x),x)) | true | 141775 | 141775 | 0.8571 | 0.9844 | 0.8884 | 0.1007 | 0.3174 | -1 | 1 | 2 | 1 | 1.942 | 0.00323 | 0.003377 | 0.02172 | -0.02223 | 1 | -0.00009265 | 0.0107 | 0.01549 | 0.006131 | 0.0783 | 3.606 | 2.73 | 0.0656 | 0.1062 | 1 | 1 | 0.01223 | 0.07102 | 0.2357 | 0.1214 | 0.7051 | 2.341 | json |
| t19_x2_u6_b105 | 19 | 2 | 6 | 105 | ![]() |
dot(P,lrg(nrm(P),R)) | 139172 | 154373532 | o2(x,o2(o1(x),x)) | true | 141783 | 141783 | 0.557 | 0.716 | 0.7374 | 0.4014 | 0.6336 | -1 | 1 | 2 | 1 | 2.318 | 0.004105 | 0.004446 | 0.02843 | -0.03988 | 1 | 0.000002418 | 0.005125 | 0.01562 | 0.007739 | 0.08797 | 3.094 | 1.246 | 0.0213 | 0.01277 | 1 | 1 | 0.01043 | 0.0961 | 0.2828 | 0.02599 | 0.2394 | 0.7044 | json |
| t19_x2_u6_b106 | 19 | 2 | 6 | 106 | ![]() |
dot(P,eql(nrm(P),R)) | 139173 | 154373533 | o2(x,o2(o1(x),x)) | true | 141791 | 141791 | 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 |
| t19_x2_u6_b107 | 19 | 2 | 6 | 107 | ![]() |
dot(P,min(nrm(P),R)) | 139174 | 154373534 | o2(x,o2(o1(x),x)) | true | 141799 | 141799 | 0.5742 | 0.7931 | 0.9109 | 0.5539 | 0.7443 | -1 | 1 | 2 | 1 | 1.949 | 0.01175 | 0.0145 | 0.05148 | -0.1046 | 1 | -0.00002095 | 0.01847 | 0.03522 | 0.0236 | 0.1536 | 2.984 | 1.685 | 0.04739 | 0.03334 | 1 | 1 | 0.03181 | 0.2704 | 0.7558 | 0.05742 | 0.4882 | 1.364 | json |
| t19_x2_u6_b108 | 19 | 2 | 6 | 108 | ![]() |
dot(P,dot(nrm(P),R)) | 139175 | 154373535 | o2(x,o2(o1(x),x)) | true | 141807 | 141807 | 0.05446 | 0.5332 | 0.7548 | 0.6887 | 0.8299 | -1 | 1 | 2 | 1 | 3.458 | 0.02198 | 0.02899 | 0.09514 | -0.1374 | 1 | -0.0000301 | 0.047 | 0.06722 | 0.04191 | 0.2047 | 2.152 | 2.828 | 0.07401 | 0.06824 | 1 | 1 | 0.06407 | 0.4809 | 1.276 | 0.09303 | 0.6983 | 1.854 | json |
| t19_x2_u6_b109 | 19 | 2 | 6 | 109 | ![]() |
dot(P,dst(nrm(P),R)) | 139176 | 154373536 | o2(x,o2(o1(x),x)) | true | 141815 | 141815 | -0.01734 | 0.4916 | 0.9564 | 0.9436 | 0.9714 | -1 | 1 | 2 | 1 | 1.68 | 0.002717 | 0.002588 | 0.01353 | 0.02439 | 1 | -0.000001941 | 0.007444 | 0.008425 | 0.005122 | 0.07157 | 5.291 | 2.654 | 0.005622 | 0.007889 | 1 | 1 | 0.01048 | 0.07459 | 0.4905 | 0.01111 | 0.07904 | 0.5198 | json |
| t19_x2_u6_b110 | 19 | 2 | 6 | 110 | ![]() |
dst(P,add(nrm(P),R)) | 139177 | 154373537 | o2(x,o2(o1(x),x)) | true | 141823 | 141823 | 0.9662 | 0.9844 | 0.9975 | 0.06197 | 0.2489 | -1 | 1 | 2 | 1 | 0.2502 | 0.003475 | 0.003379 | 0.004309 | 0.0139 | 1 | -3.754e-11 | 0.0141 | 0.007755 | 0.006841 | 0.08271 | 19.19 | 2.465 | 0.1106 | 0.2275 | 1 | 1 | 0.01213 | 0.05141 | 0.2202 | 0.1957 | 0.8295 | 3.553 | json |
| t19_x2_u6_b111 | 19 | 2 | 6 | 111 | ![]() |
dst(P,sub(nrm(P),R)) | 139178 | 154373538 | o2(x,o2(o1(x),x)) | true | 141831 | 141831 | 0.965 | 0.9844 | 0.9963 | 0.06238 | 0.2498 | -1 | 1 | 2 | 1 | 0.2742 | 0.003437 | 0.003377 | 0.004553 | 0.008801 | 1 | 7.321e-11 | 0.01398 | 0.007826 | 0.006797 | 0.08245 | 18.11 | 2.828 | 0.1092 | 0.2241 | 1 | 1 | 0.01209 | 0.05144 | 0.2196 | 0.1939 | 0.8246 | 3.52 | json |
| t19_x2_u6_b112 | 19 | 2 | 6 | 112 | ![]() |
dst(P,mlt(nrm(P),R)) | 139179 | 154373539 | o2(x,o2(o1(x),x)) | true | 141839 | 141839 | 0.9679 | 0.9844 | 0.9992 | 0.06164 | 0.2483 | -1 | 1 | 2 | 1 | 0.1612 | 0.003863 | 0.003525 | 0.004104 | 0.04575 | 1 | -1.352e-10 | 0.01517 | 0.007882 | 0.007377 | 0.08589 | 20.93 | 2.454 | 0.1198 | 0.246 | 1 | 1 | 0.01304 | 0.05464 | 0.225 | 0.2116 | 0.8865 | 3.651 | json |
| t19_x2_u6_b113 | 19 | 2 | 6 | 113 | ![]() |
dst(P,div(nrm(P),R)) | 139180 | 154373540 | o2(x,o2(o1(x),x)) | true | 141847 | 141847 | 0.967 | 0.9844 | 0.9982 | 0.0622 | 0.2494 | -1 | 1 | 2 | 1 | 0.1777 | 0.003966 | 0.003956 | 0.004919 | 0.001165 | 1 | -6.758e-11 | 0.01599 | 0.008856 | 0.007901 | 0.08889 | 18.07 | 2.166 | 0.1274 | 0.257 | 1 | 1 | 0.0142 | 0.05871 | 0.2275 | 0.2283 | 0.9438 | 3.657 | json |
| t19_x2_u6_b114 | 19 | 2 | 6 | 114 | ![]() |
dst(P,pow(nrm(P),R)) | 139181 | 154373541 | o2(x,o2(o1(x),x)) | true | 141855 | 141855 | -0.9688 | 0.01563 | 1 | 0.06152 | 0.248 | -1 | 1 | 2 | 1 | 0.1161 | 0.006047 | 0.008062 | 0.006999 | -0.1429 | 1 | 0 | 0.02973 | 0.01411 | 0.01406 | 0.1186 | 16.94 | 2.828 | 0.2293 | 0.4832 | 1 | 1 | 0.009695 | 0.04659 | 0.07003 | 0.1576 | 0.7573 | 1.138 | json |
| t19_x2_u6_b115 | 19 | 2 | 6 | 115 | ![]() |
dst(P,mod(nrm(P),R)) | 139182 | 154373542 | o2(x,o2(o1(x),x)) | true | 141863 | 141863 | 0.9677 | 0.9844 | 0.999 | 0.06161 | 0.2482 | -1 | 1 | 2 | 1 | 0.1817 | 0.003489 | 0.003537 | 0.004068 | -0.006853 | 1 | 1.689e-10 | 0.01444 | 0.007744 | 0.007015 | 0.08376 | 20.59 | 2.588 | 0.114 | 0.2344 | 1 | 1 | 0.01242 | 0.05368 | 0.2241 | 0.2017 | 0.8714 | 3.638 | json |
| t19_x2_u6_b116 | 19 | 2 | 6 | 116 | ![]() |
dst(P,lrg(nrm(P),R)) | 139183 | 154373543 | o2(x,o2(o1(x),x)) | true | 141871 | 141871 | 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 |
| t19_x2_u6_b117 | 19 | 2 | 6 | 117 | ![]() |
dst(P,eql(nrm(P),R)) | 139184 | 154373544 | o2(x,o2(o1(x),x)) | true | 141879 | 141879 | 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 |
| t19_x2_u6_b118 | 19 | 2 | 6 | 118 | ![]() |
dst(P,min(nrm(P),R)) | 139185 | 154373545 | o2(x,o2(o1(x),x)) | true | 141887 | 141887 | 0.9898 | 1 | 0.9898 | 0.00624 | 0.07899 | 0.0004672 | 1 | 0.9995 | 1 | 0.2276 | 0.00007195 | 0.0001192 | 0.00194 | -0.247 | 1 | -2.628e-11 | 0.00004139 | 0.0007457 | 0.0001874 | 0.01369 | 7.057 | 0.1781 | 0.03063 | 0.006633 | 1 | 1 | 0.0006425 | 0.006939 | 0.02104 | 0.103 | 1.112 | 3.372 | json |
| t19_x2_u6_b119 | 19 | 2 | 6 | 119 | ![]() |
dst(P,dot(nrm(P),R)) | 139186 | 154373546 | o2(x,o2(o1(x),x)) | true | 141895 | 141895 | 0.9686 | 0.9844 | 0.9999 | 0.06153 | 0.248 | -1 | 1 | 2 | 1 | 0.1253 | 0.004032 | 0.00391 | 0.004024 | 0.01531 | 1 | -3.754e-12 | 0.01638 | 0.008028 | 0.007933 | 0.08907 | 22.13 | 2.828 | 0.1291 | 0.2662 | 1 | 1 | 0.01398 | 0.05639 | 0.2266 | 0.2272 | 0.9165 | 3.683 | json |
| t19_x2_u6_b120 | 19 | 2 | 6 | 120 | ![]() |
dst(P,dst(nrm(P),R)) | 139187 | 154373547 | o2(x,o2(o1(x),x)) | true | 141903 | 141903 | 0.9687 | 0.9844 | 1 | 0.06152 | 0.248 | -1 | 1 | 2 | 1 | 0.1205 | 0.004017 | 0.00401 | 0.004028 | 0.0008457 | 1 | -3.004e-11 | 0.01654 | 0.008064 | 0.008018 | 0.08954 | 22.23 | 2.698 | 0.1305 | 0.2689 | 1 | 1 | 0.01412 | 0.05664 | 0.2268 | 0.2296 | 0.9206 | 3.687 | json |
| t19_x3_u0_b0 | 19 | 3 | 0 | 0 | ![]() |
add(P,add(sqt(D),P)) | 139188 | 154412622 | o2(x,o2(o1(x),x)) | true | 141911 | 141911 | -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 |
| t19_x3_u0_b1 | 19 | 3 | 0 | 1 | ![]() |
add(P,sub(sqt(D),P)) | 139189 | 154412623 | o2(x,o2(o1(x),x)) | true | 141919 | 141919 | -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 |
| t19_x3_u0_b2 | 19 | 3 | 0 | 2 | ![]() |
add(P,mlt(sqt(D),P)) | 139190 | 154412624 | o2(x,o2(o1(x),x)) | true | 141927 | 141927 | -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 |
| t19_x3_u0_b3 | 19 | 3 | 0 | 3 | ![]() |
add(P,div(sqt(D),P)) | 139191 | 154412625 | o2(x,o2(o1(x),x)) | true | 141935 | 141935 | -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 |
| t19_x3_u0_b4 | 19 | 3 | 0 | 4 | ![]() |
add(P,pow(sqt(D),P)) | 139192 | 154412626 | o2(x,o2(o1(x),x)) | true | 141943 | 141943 | -0.8821 | 0.0625 | 0.9929 | 0.2093 | 0.4575 | -1 | 1 | 2 | 1 | 0.4656 | 0.03192 | 0 | 0.01826 | 1 | 1 | -1.892e-9 | 0.06367 | 0.03324 | 0.03159 | 0.1777 | 9.733 | 2 | 0.1525 | 0.3042 | 1 | 1 | 0.04244 | 0.1515 | 0.3009 | 0.2028 | 0.7238 | 1.438 | json |
| t19_x3_u0_b5 | 19 | 3 | 0 | 5 | ![]() |
add(P,mod(sqt(D),P)) | 139193 | 154412627 | o2(x,o2(o1(x),x)) | true | 141951 | 141951 | -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 |
| t19_x3_u0_b6 | 19 | 3 | 0 | 6 | ![]() |
add(P,lrg(sqt(D),P)) | 139194 | 154412628 | o2(x,o2(o1(x),x)) | true | 141959 | 141959 | 0.125 | 0.5625 | 0.9375 | 0.9084 | 0.9531 | -1 | 1 | 2 | 1 | 1.8 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007771 | 0.00003562 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002038 | 0.02696 | 0.2581 | json |
| t19_x3_u0_b7 | 19 | 3 | 0 | 7 | ![]() |
add(P,eql(sqt(D),P)) | 139195 | 154412629 | o2(x,o2(o1(x),x)) | true | 141967 | 141967 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t19_x3_u0_b8 | 19 | 3 | 0 | 8 | ![]() |
add(P,min(sqt(D),P)) | 139196 | 154412630 | o2(x,o2(o1(x),x)) | true | 141975 | 141975 | 0 | 0.5 | 0.9569 | 0.9494 | 0.9744 | -1 | 1 | 2 | 1 | 1.488 | 0.001303 | 0 | 0.007937 | 1 | 1 | 0 | 0.0002681 | 0.003586 | 0.001241 | 0.03522 | 4.438 | 0.2265 | 0.001373 | 0.0002824 | 1 | 1 | 0.003279 | 0.03268 | 0.2686 | 0.003454 | 0.03442 | 0.2829 | json |
| t19_x3_u0_b9 | 19 | 3 | 0 | 9 | ![]() |
add(P,dot(sqt(D),P)) | 139197 | 154412631 | o2(x,o2(o1(x),x)) | true | 141983 | 141983 | -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 |
| t19_x3_u0_b10 | 19 | 3 | 0 | 10 | ![]() |
add(P,dst(sqt(D),P)) | 139198 | 154412632 | o2(x,o2(o1(x),x)) | true | 141991 | 141991 | -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 |
| t19_x3_u0_b11 | 19 | 3 | 0 | 11 | ![]() |
sub(P,add(sqt(D),P)) | 139199 | 154412633 | o2(x,o2(o1(x),x)) | true | 141999 | 141999 | -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 |



































































































