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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t16_x6_u5_b85 | 16 | 6 | 5 | 85 | ![]() |
eql(P,sgn(min(R,P))) | 80400 | 130173112 | o2(x,o1(o2(x,x))) | true | 131207 | 131207 | 0.1289 | 0.2433 | 0.1289 | 0.08828 | 0.2971 | 0 | 1 | 1 | 1 | 1.383 | 0.000902 | 0.0002856 | 0.01366 | 0.519 | 1 | -0.00001711 | 0.00006176 | 0.003252 | 0.001002 | 0.03165 | 2.317 | 0.1169 | 0.01345 | 0.0006996 | 1 | 1 | 0.003117 | 0.04046 | 0.1206 | 0.03531 | 0.4583 | 1.366 | json |
| t16_x6_u5_b86 | 16 | 6 | 5 | 86 | ![]() |
eql(P,sgn(dot(R,P))) | 80401 | 130173113 | o2(x,o1(o2(x,x))) | true | 131215 | 131215 | 0.0957 | 0.2436 | 0.0957 | 0.05994 | 0.2448 | 0 | 0.9997 | 0.9997 | 1 | 1.323 | 0.0009809 | 0.000314 | 0.01499 | 0.515 | 1 | -0.00001711 | 0.00007078 | 0.003605 | 0.00107 | 0.03271 | 2.182 | 0.1169 | 0.0216 | 0.001181 | 1 | 1 | 0.003382 | 0.04388 | 0.06941 | 0.05643 | 0.7321 | 1.158 | json |
| t16_x6_u5_b87 | 16 | 6 | 5 | 87 | ![]() |
eql(P,sgn(dst(R,P))) | 80402 | 130173114 | o2(x,o1(o2(x,x))) | true | 131223 | 131223 | 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 |
| t16_x6_u5_b88 | 16 | 6 | 5 | 88 | ![]() |
min(P,sgn(add(R,P))) | 80403 | 130173115 | o2(x,o1(o2(x,x))) | true | 131231 | 131231 | -0.03516 | 0.48 | 0.9611 | 0.9479 | 0.9736 | -1 | 1 | 2 | 1 | 1.637 | 0.001069 | 0.0001053 | 0.008747 | 0.8206 | 1 | -0.000005704 | 0.00005667 | 0.002005 | 0.001098 | 0.03313 | 3.788 | 0.2338 | 0.001239 | 0.00005978 | 1 | 1 | 0.003075 | 0.04044 | 0.2848 | 0.003244 | 0.04266 | 0.3005 | json |
| t16_x6_u5_b89 | 16 | 6 | 5 | 89 | ![]() |
min(P,sgn(sub(R,P))) | 80404 | 130173116 | o2(x,o1(o2(x,x))) | true | 131239 | 131239 | -0.9727 | 0 | 0.9727 | 0.01868 | 0.1367 | -1 | -0.000291 | 0.9997 | 1 | 0.4881 | 0.0002846 | 0.0001053 | 0.004539 | 0.4597 | 1 | -0.000005704 | 0.00002084 | 0.001084 | 0.0003695 | 0.01922 | 4.235 | 0.1169 | 0.02087 | 0.001115 | 1 | 1 | 0.001069 | 0.01392 | 0.04488 | 0.05719 | 0.7451 | 2.402 | json |
| t16_x6_u5_b90 | 16 | 6 | 5 | 90 | ![]() |
min(P,sgn(mlt(R,P))) | 80405 | 130173117 | o2(x,o1(o2(x,x))) | true | 131247 | 131247 | -0.5078 | 0.2328 | 0.8003 | 0.4803 | 0.6931 | -1 | 1 | 2 | 1 | 3.009 | 0.004188 | 0.004825 | 0.05638 | -0.07061 | 1 | -0.00004848 | 0.0005457 | 0.01373 | 0.005834 | 0.07638 | 1.355 | 0.2338 | 0.01877 | 0.001136 | 1 | 1 | 0.01753 | 0.2277 | 0.6085 | 0.0365 | 0.4741 | 1.267 | json |
| t16_x6_u5_b91 | 16 | 6 | 5 | 91 | ![]() |
min(P,sgn(div(R,P))) | 80406 | 130173118 | o2(x,o1(o2(x,x))) | true | 131255 | 131255 | -0.543 | 0.2191 | 0.8285 | 0.4739 | 0.6884 | -1 | 1 | 2 | 1 | 2.817 | 0.004315 | 0.00494 | 0.05623 | -0.06757 | 1 | -0.00005418 | 0.000559 | 0.0137 | 0.006094 | 0.07807 | 1.388 | 0.2338 | 0.01953 | 0.001179 | 1 | 1 | 0.01813 | 0.2355 | 0.6057 | 0.03827 | 0.4969 | 1.278 | json |
| t16_x6_u5_b92 | 16 | 6 | 5 | 92 | ![]() |
min(P,sgn(pow(R,P))) | 80407 | 130173119 | o2(x,o1(o2(x,x))) | true | 131263 | 131263 | -0.5078 | 0.2328 | 0.8003 | 0.4803 | 0.6931 | -1 | 1 | 2 | 1 | 3.009 | 0.004188 | 0.004825 | 0.05638 | -0.07061 | 1 | -0.00004848 | 0.0005457 | 0.01373 | 0.005834 | 0.07638 | 1.355 | 0.2338 | 0.01877 | 0.001136 | 1 | 1 | 0.01753 | 0.2277 | 0.6085 | 0.0365 | 0.4741 | 1.267 | json |
| t16_x6_u5_b93 | 16 | 6 | 5 | 93 | ![]() |
min(P,sgn(mod(R,P))) | 80408 | 130173120 | o2(x,o1(o2(x,x))) | true | 131271 | 131271 | -0.5703 | 0.2124 | 0.852 | 0.4723 | 0.6872 | -1 | 1 | 2 | 1 | 2.586 | 0.004379 | 0.004825 | 0.05407 | -0.04847 | 1 | -0.00004847 | 0.0005547 | 0.01321 | 0.006283 | 0.07926 | 1.466 | 0.2338 | 0.01949 | 0.001175 | 1 | 1 | 0.01783 | 0.2314 | 0.5848 | 0.03774 | 0.49 | 1.238 | json |
| t16_x6_u5_b94 | 16 | 6 | 5 | 94 | ![]() |
min(P,sgn(lrg(R,P))) | 80409 | 130173121 | o2(x,o1(o2(x,x))) | true | 131279 | 131279 | -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 |
| t16_x6_u5_b95 | 16 | 6 | 5 | 95 | ![]() |
min(P,sgn(eql(R,P))) | 80410 | 130173122 | o2(x,o1(o2(x,x))) | true | 131287 | 131287 | -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 |
| t16_x6_u5_b96 | 16 | 6 | 5 | 96 | ![]() |
min(P,sgn(min(R,P))) | 80411 | 130173123 | o2(x,o1(o2(x,x))) | true | 131295 | 131295 | -0.543 | 0.2191 | 0.8285 | 0.4739 | 0.6884 | -1 | 1 | 2 | 1 | 2.817 | 0.004315 | 0.00494 | 0.05623 | -0.06757 | 1 | -0.00005418 | 0.000559 | 0.0137 | 0.006094 | 0.07807 | 1.388 | 0.2338 | 0.01953 | 0.001179 | 1 | 1 | 0.01813 | 0.2355 | 0.6057 | 0.03827 | 0.4969 | 1.278 | json |
| t16_x6_u5_b97 | 16 | 6 | 5 | 97 | ![]() |
min(P,sgn(dot(R,P))) | 80412 | 130173124 | o2(x,o1(o2(x,x))) | true | 131303 | 131303 | -0.5039 | 0.2416 | 0.8389 | 0.529 | 0.7273 | -1 | 1 | 2 | 1 | 2.756 | 0.004452 | 0.004226 | 0.05271 | 0.02605 | 1 | -0.00007129 | 0.0004984 | 0.01269 | 0.0059 | 0.07681 | 1.457 | 0.2338 | 0.01641 | 0.0009423 | 1 | 1 | 0.01702 | 0.2222 | 0.7518 | 0.03217 | 0.4201 | 1.421 | json |
| t16_x6_u5_b98 | 16 | 6 | 5 | 98 | ![]() |
min(P,sgn(dst(R,P))) | 80413 | 130173125 | o2(x,o1(o2(x,x))) | true | 131311 | 131311 | 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 |
| t16_x6_u5_b99 | 16 | 6 | 5 | 99 | ![]() |
dot(P,sgn(add(R,P))) | 80414 | 130173126 | o2(x,o1(o2(x,x))) | true | 131319 | 131319 | 0.9967 | 1 | 0.9967 | 0.002206 | 0.04697 | 0.0005821 | 1 | 0.9994 | 1 | 0.08493 | 0.00004482 | 0.00004482 | 0.0007972 | -5.682e-7 | 0 | -1.502e-11 | 0.00002627 | 0.0002729 | 0.00008892 | 0.00943 | 11.83 | 0.1653 | 0.04063 | 0.01191 | 1 | 1 | 0.0003021 | 0.00348 | 0.008043 | 0.1369 | 1.578 | 3.646 | json |
| t16_x6_u5_b100 | 16 | 6 | 5 | 100 | ![]() |
dot(P,sgn(sub(R,P))) | 80415 | 130173127 | o2(x,o1(o2(x,x))) | true | 131327 | 131327 | -0.9967 | 0 | 0.9967 | 0.002206 | 0.04697 | -1 | -0.0005821 | 0.9994 | 1 | 0.08493 | 0.00004482 | 0.00004482 | 0.0007972 | -5.682e-7 | 0 | 1.502e-11 | 0.00002627 | 0.0002729 | 0.00008892 | 0.00943 | 11.83 | 0.1653 | 0.04063 | 0.01191 | 1 | 1 | 0.0003021 | 0.00348 | 0.008043 | 0.1369 | 1.578 | 3.646 | json |
| t16_x6_u5_b101 | 16 | 6 | 5 | 101 | ![]() |
dot(P,sgn(mlt(R,P))) | 80416 | 130173128 | o2(x,o1(o2(x,x))) | true | 131335 | 131335 | 0.04409 | 0.5176 | 0.9145 | 0.8863 | 0.9414 | -1 | 1 | 2 | 1 | 2.228 | 0.04563 | 0.05334 | 0.1108 | -0.07783 | 1 | -0.00005117 | 0.1279 | 0.1182 | 0.08667 | 0.2944 | 2.658 | 2.355 | 0.1117 | 0.1444 | 1 | 1 | 0.1166 | 0.7342 | 1.678 | 0.1315 | 0.8284 | 1.893 | json |
| t16_x6_u5_b102 | 16 | 6 | 5 | 102 | ![]() |
dot(P,sgn(div(R,P))) | 80417 | 130173129 | o2(x,o1(o2(x,x))) | true | 131343 | 131343 | 0.04409 | 0.5176 | 0.9145 | 0.8863 | 0.9414 | -1 | 1 | 2 | 1 | 2.228 | 0.04563 | 0.05334 | 0.1108 | -0.07783 | 1 | -0.00005117 | 0.1279 | 0.1182 | 0.08667 | 0.2944 | 2.658 | 2.355 | 0.1117 | 0.1444 | 1 | 1 | 0.1166 | 0.7342 | 1.678 | 0.1315 | 0.8284 | 1.893 | json |
| t16_x6_u5_b103 | 16 | 6 | 5 | 103 | ![]() |
dot(P,sgn(pow(R,P))) | 80418 | 130173130 | o2(x,o1(o2(x,x))) | true | 131351 | 131351 | -0.08787 | 0.4576 | 0.9178 | 0.8848 | 0.9407 | -1 | 1 | 2 | 1 | 2.187 | 0.04287 | 0.05536 | 0.1113 | -0.1272 | 1 | 0.000105 | 0.1226 | 0.1178 | 0.08582 | 0.2929 | 2.632 | 2.355 | 0.111 | 0.1385 | 1 | 1 | 0.1236 | 0.7705 | 1.656 | 0.1397 | 0.8708 | 1.871 | json |
| t16_x6_u5_b104 | 16 | 6 | 5 | 104 | ![]() |
dot(P,sgn(mod(R,P))) | 80419 | 130173131 | o2(x,o1(o2(x,x))) | true | 131359 | 131359 | -0.08787 | 0.4576 | 0.9178 | 0.8848 | 0.9407 | -1 | 1 | 2 | 1 | 2.187 | 0.04287 | 0.05536 | 0.1113 | -0.1272 | 1 | 0.000105 | 0.1226 | 0.1178 | 0.08582 | 0.2929 | 2.632 | 2.355 | 0.111 | 0.1385 | 1 | 1 | 0.1236 | 0.7705 | 1.656 | 0.1397 | 0.8708 | 1.871 | json |
| t16_x6_u5_b105 | 16 | 6 | 5 | 105 | ![]() |
dot(P,sgn(lrg(R,P))) | 80420 | 130173132 | o2(x,o1(o2(x,x))) | true | 131367 | 131367 | -0.7179 | 0 | 0.7179 | 0.1955 | 0.4421 | -1 | 0 | 1 | 1 | 1.263 | 0.0001877 | 0.0001877 | 0.00417 | 0.000001628 | 1 | 5.134e-10 | 0.00002276 | 0.0009958 | 0.0003579 | 0.01892 | 4.537 | 0.1628 | 0.00192 | 0.0001164 | 1 | 1 | 0.001001 | 0.01303 | 0.08014 | 0.005121 | 0.06664 | 0.41 | json |
| t16_x6_u5_b106 | 16 | 6 | 5 | 106 | ![]() |
dot(P,sgn(eql(R,P))) | 80421 | 130173133 | o2(x,o1(o2(x,x))) | true | 131375 | 131375 | 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 |
| t16_x6_u5_b107 | 16 | 6 | 5 | 107 | ![]() |
dot(P,sgn(min(R,P))) | 80422 | 130173134 | o2(x,o1(o2(x,x))) | true | 131383 | 131383 | 0.5579 | 0.7812 | 0.9484 | 0.6214 | 0.7883 | -1 | 1 | 2 | 1 | 1.55 | 0.02072 | 0.02433 | 0.05479 | -0.08031 | 1 | -0.00001048 | 0.05343 | 0.05548 | 0.04205 | 0.2051 | 3.742 | 2.355 | 0.07249 | 0.08598 | 1 | 1 | 0.05465 | 0.3543 | 0.9084 | 0.08794 | 0.5701 | 1.462 | json |
| t16_x6_u5_b108 | 16 | 6 | 5 | 108 | ![]() |
dot(P,sgn(dot(R,P))) | 80423 | 130173135 | o2(x,o1(o2(x,x))) | true | 131391 | 131391 | 0.02057 | 0.5094 | 0.8789 | 0.8421 | 0.9177 | -1 | 1 | 2 | 1 | 2.602 | 0.03962 | 0.04942 | 0.1039 | -0.1101 | 1 | -0.000008124 | 0.1189 | 0.1034 | 0.07822 | 0.2797 | 2.692 | 2.303 | 0.1057 | 0.1412 | 1 | 1 | 0.1082 | 0.6742 | 1.617 | 0.1285 | 0.8006 | 1.92 | json |
| t16_x6_u5_b109 | 16 | 6 | 5 | 109 | ![]() |
dot(P,sgn(dst(R,P))) | 80424 | 130173136 | o2(x,o1(o2(x,x))) | true | 131399 | 131399 | -1.583e-8 | 0.498 | 0.9392 | 0.9217 | 0.96 | -1 | 1 | 2 | 1 | 1.917 | 0.0006889 | 0.0006889 | 0.01208 | -4.225e-8 | 1 | -9.987e-10 | 0.0002289 | 0.003184 | 0.001231 | 0.03509 | 2.904 | 0.1653 | 0.001495 | 0.0002483 | 1 | 1 | 0.003512 | 0.04405 | 0.4161 | 0.003811 | 0.04779 | 0.4514 | json |
| t16_x6_u5_b110 | 16 | 6 | 5 | 110 | ![]() |
dst(P,sgn(add(R,P))) | 80425 | 130173137 | o2(x,o1(o2(x,x))) | true | 131407 | 131407 | 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 |
| t16_x6_u5_b111 | 16 | 6 | 5 | 111 | ![]() |
dst(P,sgn(sub(R,P))) | 80426 | 130173138 | o2(x,o1(o2(x,x))) | true | 131415 | 131415 | 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 |
| t16_x6_u5_b112 | 16 | 6 | 5 | 112 | ![]() |
dst(P,sgn(mlt(R,P))) | 80427 | 130173139 | o2(x,o1(o2(x,x))) | true | 131423 | 131423 | 0.99 | 0.9999 | 0.99 | 0.007589 | 0.08711 | 1.694e-7 | 1 | 1 | 1 | 0.1791 | 0.0001799 | 0.0001609 | 0.002172 | 0.05566 | 1 | -1.577e-10 | 0.0001052 | 0.001052 | 0.0003357 | 0.01832 | 8.436 | 0.3083 | 0.04491 | 0.01386 | 1 | 1 | 0.001122 | 0.01079 | 0.02783 | 0.1478 | 1.422 | 3.667 | json |
| t16_x6_u5_b113 | 16 | 6 | 5 | 113 | ![]() |
dst(P,sgn(div(R,P))) | 80428 | 130173140 | o2(x,o1(o2(x,x))) | true | 131431 | 131431 | 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 |
| t16_x6_u5_b114 | 16 | 6 | 5 | 114 | ![]() |
dst(P,sgn(pow(R,P))) | 80429 | 130173141 | o2(x,o1(o2(x,x))) | true | 131439 | 131439 | 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 |
| t16_x6_u5_b115 | 16 | 6 | 5 | 115 | ![]() |
dst(P,sgn(mod(R,P))) | 80430 | 130173142 | o2(x,o1(o2(x,x))) | true | 131447 | 131447 | 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 |
| t16_x6_u5_b116 | 16 | 6 | 5 | 116 | ![]() |
dst(P,sgn(lrg(R,P))) | 80431 | 130173143 | o2(x,o1(o2(x,x))) | true | 131455 | 131455 | 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 |
| t16_x6_u5_b117 | 16 | 6 | 5 | 117 | ![]() |
dst(P,sgn(eql(R,P))) | 80432 | 130173144 | o2(x,o1(o2(x,x))) | true | 131463 | 131463 | 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 |
| t16_x6_u5_b118 | 16 | 6 | 5 | 118 | ![]() |
dst(P,sgn(min(R,P))) | 80433 | 130173145 | o2(x,o1(o2(x,x))) | true | 131471 | 131471 | 0.9897 | 1 | 0.9897 | 0.00769 | 0.08769 | 0.000291 | 1 | 0.9997 | 1 | 0.1843 | 0.0001128 | 0.0002276 | 0.002236 | -0.3374 | 1 | -5.632e-11 | 0.0001031 | 0.0009985 | 0.0003357 | 0.01832 | 8.193 | 0.3082 | 0.04426 | 0.0134 | 1 | 1 | 0.00112 | 0.01098 | 0.02299 | 0.1457 | 1.428 | 2.99 | json |
| t16_x6_u5_b119 | 16 | 6 | 5 | 119 | ![]() |
dst(P,sgn(dot(R,P))) | 80434 | 130173146 | o2(x,o1(o2(x,x))) | true | 131479 | 131479 | 0.9983 | 1 | 0.9983 | 0.001166 | 0.03415 | 0.001124 | 1 | 0.9989 | 1 | 0.0418 | 0.00005786 | 0.0000438 | 0.0005726 | 0.1383 | 1 | -1.877e-12 | 0.00003624 | 0.0003277 | 0.0001014 | 0.01007 | 17.59 | 0.253 | 0.08718 | 0.03107 | 1 | 1 | 0.0003325 | 0.002935 | 0.004249 | 0.2851 | 2.517 | 3.644 | json |
| t16_x6_u5_b120 | 16 | 6 | 5 | 120 | ![]() |
dst(P,sgn(dst(R,P))) | 80435 | 130173147 | o2(x,o1(o2(x,x))) | true | 131487 | 131487 | 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 |
| t16_x6_u6_b0 | 16 | 6 | 6 | 0 | ![]() |
add(P,nrm(add(R,P))) | 80436 | 130173228 | o2(x,o1(o2(x,x))) | true | 131495 | 131495 | -0.001492 | 0.4972 | 0.9516 | 0.9389 | 0.969 | -1 | 1 | 2 | 1 | 1.696 | 0.001028 | 0.00005287 | 0.008324 | 0.9022 | 1 | -0.000001565 | 0.0001485 | 0.002469 | 0.001011 | 0.0318 | 3.82 | 0.3098 | 0.001151 | 0.0001581 | 1 | 1 | 0.00295 | 0.03379 | 0.2659 | 0.003142 | 0.03599 | 0.2832 | json |
| t16_x6_u6_b1 | 16 | 6 | 6 | 1 | ![]() |
add(P,nrm(sub(R,P))) | 80437 | 130173229 | o2(x,o1(o2(x,x))) | true | 131503 | 131503 | 0.002729 | 0.498 | 0.9108 | 0.8822 | 0.9393 | -1 | 1 | 2 | 1 | 2.295 | 0.0005965 | 0.00009662 | 0.009449 | 0.7212 | 1 | -0.000003519 | 0.00006634 | 0.002645 | 0.0006037 | 0.02457 | 2.6 | 0.1592 | 0.0007856 | 0.0000752 | 1 | 1 | 0.001865 | 0.02341 | 0.1967 | 0.002114 | 0.02654 | 0.2229 | json |
| t16_x6_u6_b2 | 16 | 6 | 6 | 2 | ![]() |
add(P,nrm(mlt(R,P))) | 80438 | 130173230 | o2(x,o1(o2(x,x))) | true | 131511 | 131511 | -0.009705 | 0.4922 | 0.9369 | 0.9223 | 0.9604 | -1 | 1 | 2 | 1 | 1.845 | 0.002343 | 0.001696 | 0.01022 | 0.1602 | 1 | -0.000004591 | 0.006731 | 0.006723 | 0.003937 | 0.06274 | 6.139 | 2.828 | 0.00438 | 0.007298 | 1 | 1 | 0.007844 | 0.04887 | 0.2916 | 0.008505 | 0.05299 | 0.3161 | json |
| t16_x6_u6_b3 | 16 | 6 | 6 | 3 | ![]() |
add(P,nrm(div(R,P))) | 80439 | 130173231 | o2(x,o1(o2(x,x))) | true | 131519 | 131519 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01612 | 0.03225 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02139 | 0.08555 | 0.3422 | json |
| t16_x6_u6_b4 | 16 | 6 | 6 | 4 | ![]() |
add(P,nrm(pow(R,P))) | 80440 | 130173232 | o2(x,o1(o2(x,x))) | true | 131527 | 131527 | -0.9851 | 0.007813 | 0.9993 | 0.02838 | 0.1685 | -1 | 1 | 2 | 1 | 0.07942 | 0.003483 | 0.001824 | 0.00295 | 0.3127 | 1 | 4.505e-11 | 0.01102 | 0.005715 | 0.005296 | 0.07277 | 24.67 | 2.828 | 0.187 | 0.3884 | 1 | 1 | 0.009357 | 0.039 | 0.1038 | 0.3297 | 1.374 | 3.658 | json |
| t16_x6_u6_b5 | 16 | 6 | 6 | 5 | ![]() |
add(P,nrm(mod(R,P))) | 80441 | 130173233 | o2(x,o1(o2(x,x))) | true | 131535 | 131535 | -0.2319 | 0.3828 | 0.9933 | 0.9355 | 0.9672 | -1 | 1 | 2 | 1 | 1.149 | 0.01307 | 0.01395 | 0.01618 | -0.03262 | 1 | -0.000007202 | 0.05402 | 0.02991 | 0.02675 | 0.1636 | 10.11 | 2 | 0.02889 | 0.05774 | 1 | 1 | 0.03405 | 0.1395 | 0.5615 | 0.03639 | 0.1491 | 0.6002 | json |
| t16_x6_u6_b6 | 16 | 6 | 6 | 6 | ![]() |
add(P,nrm(lrg(R,P))) | 80442 | 130173234 | o2(x,o1(o2(x,x))) | true | 131543 | 131543 | -0.4221 | 0.279 | 0.9382 | 0.7432 | 0.8621 | -1 | 1 | 2 | 1 | 1.725 | 0.01105 | 0.0148 | 0.02018 | -0.1452 | 1 | -0.000003814 | 0.05259 | 0.02878 | 0.02544 | 0.1595 | 7.903 | 2.828 | 0.03479 | 0.07076 | 1 | 1 | 0.02172 | 0.1055 | 0.3956 | 0.02922 | 0.1419 | 0.5322 | json |
| t16_x6_u6_b7 | 16 | 6 | 6 | 7 | ![]() |
add(P,nrm(eql(R,P))) | 80443 | 130173235 | o2(x,o1(o2(x,x))) | true | 131551 | 131551 | -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 |
| t16_x6_u6_b8 | 16 | 6 | 6 | 8 | ![]() |
add(P,nrm(min(R,P))) | 80444 | 130173236 | o2(x,o1(o2(x,x))) | true | 131559 | 131559 | -0.02101 | 0.4859 | 0.9522 | 0.939 | 0.969 | -1 | 1 | 2 | 1 | 1.723 | 0.001124 | 0.00008598 | 0.008593 | 0.8579 | 1 | -0.00001043 | 0.0002158 | 0.002914 | 0.001136 | 0.03371 | 3.923 | 0.3154 | 0.001289 | 0.0002298 | 1 | 1 | 0.003168 | 0.03567 | 0.2667 | 0.003374 | 0.03798 | 0.2841 | json |
| t16_x6_u6_b9 | 16 | 6 | 6 | 9 | ![]() |
add(P,nrm(dot(R,P))) | 80445 | 130173237 | o2(x,o1(o2(x,x))) | true | 131567 | 131567 | -0.01352 | 0.4903 | 0.9599 | 0.943 | 0.9711 | -1 | 1 | 2 | 1 | 1.719 | 0.002756 | 0.0025 | 0.0115 | 0.04875 | 1 | 0.000005568 | 0.008309 | 0.00778 | 0.005121 | 0.07156 | 6.225 | 2.828 | 0.005574 | 0.008811 | 1 | 1 | 0.01021 | 0.06536 | 0.3279 | 0.01083 | 0.06931 | 0.3477 | json |
| t16_x6_u6_b10 | 16 | 6 | 6 | 10 | ![]() |
add(P,nrm(dst(R,P))) | 80446 | 130173238 | o2(x,o1(o2(x,x))) | true | 131575 | 131575 | 0.07217 | 0.5352 | 0.9375 | 0.9071 | 0.9524 | -1 | 1 | 2 | 1 | 1.901 | 0.0006917 | 2.062e-18 | 0.007937 | 1 | 1 | -9.996e-11 | 0.000107 | 0.002661 | 0.000629 | 0.02508 | 3.16 | 0.1169 | 0.0007626 | 0.0001179 | 1 | 1 | 0.001764 | 0.02067 | 0.2191 | 0.001945 | 0.02279 | 0.2416 | json |
| t16_x6_u6_b11 | 16 | 6 | 6 | 11 | ![]() |
sub(P,nrm(add(R,P))) | 80447 | 130173239 | o2(x,o1(o2(x,x))) | true | 131583 | 131583 | -0.00002677 | 0.5024 | 0.9102 | 0.881 | 0.9386 | -1 | 1 | 2 | 1 | 2.306 | 0.0006005 | 0.00008956 | 0.009332 | 0.7404 | 1 | 0.000003386 | 0.00006808 | 0.002698 | 0.0006032 | 0.02456 | 2.632 | 0.1862 | 0.0007832 | 0.00007728 | 1 | 1 | 0.001868 | 0.02341 | 0.1947 | 0.002121 | 0.02657 | 0.221 | json |
| t16_x6_u6_b12 | 16 | 6 | 6 | 12 | ![]() |
sub(P,nrm(sub(R,P))) | 80448 | 130173240 | o2(x,o1(o2(x,x))) | true | 131591 | 131591 | 0.0002996 | 0.5019 | 0.9513 | 0.9386 | 0.9688 | -1 | 1 | 2 | 1 | 1.7 | 0.001016 | 0.00005466 | 0.008305 | 0.8979 | 1 | 0.00000169 | 0.0001464 | 0.002452 | 0.001001 | 0.03165 | 3.811 | 0.2928 | 0.001141 | 0.000156 | 1 | 1 | 0.002938 | 0.03383 | 0.2663 | 0.00313 | 0.03604 | 0.2837 | json |
| t16_x6_u6_b13 | 16 | 6 | 6 | 13 | ![]() |
sub(P,nrm(mlt(R,P))) | 80449 | 130173241 | o2(x,o1(o2(x,x))) | true | 131599 | 131599 | -0.02179 | 0.4915 | 0.9286 | 0.9125 | 0.9553 | -1 | 1 | 2 | 1 | 1.921 | 0.002447 | 0.001199 | 0.01026 | 0.3421 | 1 | 1.038e-7 | 0.005892 | 0.006856 | 0.003542 | 0.05951 | 5.8 | 2.188 | 0.003996 | 0.006456 | 1 | 1 | 0.007128 | 0.04482 | 0.267 | 0.007811 | 0.04912 | 0.2926 | json |
| t16_x6_u6_b14 | 16 | 6 | 6 | 14 | ![]() |
sub(P,nrm(div(R,P))) | 80450 | 130173242 | o2(x,o1(o2(x,x))) | true | 131607 | 131607 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01612 | 0.03225 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02139 | 0.08555 | 0.3422 | json |
| t16_x6_u6_b15 | 16 | 6 | 6 | 15 | ![]() |
sub(P,nrm(pow(R,P))) | 80451 | 130173243 | o2(x,o1(o2(x,x))) | true | 131615 | 131615 | -0.993 | 0.003494 | 0.9954 | 0.007777 | 0.08819 | -1 | 0.669 | 1.669 | 1 | 0.1002 | 0.001227 | 0.0006161 | 0.001974 | 0.3315 | 1 | 8.635e-11 | 0.003758 | 0.002907 | 0.001841 | 0.0429 | 21.74 | 2.319 | 0.237 | 0.4833 | 1 | 1 | 0.003345 | 0.01368 | 0.0284 | 0.4302 | 1.759 | 3.651 | json |
| t16_x6_u6_b16 | 16 | 6 | 6 | 16 | ![]() |
sub(P,nrm(mod(R,P))) | 80452 | 130173244 | o2(x,o1(o2(x,x))) | true | 131623 | 131623 | -0.237 | 0.3828 | 0.9904 | 0.9299 | 0.9643 | -1 | 1 | 2 | 1 | 1.193 | 0.01009 | 0.01366 | 0.01537 | -0.1505 | 1 | 0.000005749 | 0.04711 | 0.02729 | 0.02352 | 0.1534 | 9.977 | 2 | 0.02554 | 0.05066 | 1 | 1 | 0.03085 | 0.132 | 0.5496 | 0.03318 | 0.142 | 0.591 | json |
| t16_x6_u6_b17 | 16 | 6 | 6 | 17 | ![]() |
sub(P,nrm(lrg(R,P))) | 80453 | 130173245 | o2(x,o1(o2(x,x))) | true | 131631 | 131631 | -0.4878 | 0.2547 | 0.9765 | 0.7315 | 0.8553 | -1 | 1 | 2 | 1 | 1.216 | 0.007625 | 0.01344 | 0.0146 | -0.2762 | 1 | 0.000002649 | 0.04292 | 0.02211 | 0.02085 | 0.1444 | 9.887 | 2.828 | 0.0288 | 0.05867 | 1 | 1 | 0.01615 | 0.08636 | 0.3703 | 0.02207 | 0.1181 | 0.5063 | json |
| t16_x6_u6_b18 | 16 | 6 | 6 | 18 | ![]() |
sub(P,nrm(eql(R,P))) | 80454 | 130173246 | o2(x,o1(o2(x,x))) | true | 131639 | 131639 | -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 |
| t16_x6_u6_b19 | 16 | 6 | 6 | 19 | ![]() |
sub(P,nrm(min(R,P))) | 80455 | 130173247 | o2(x,o1(o2(x,x))) | true | 131647 | 131647 | 0.03729 | 0.5219 | 0.9009 | 0.874 | 0.9349 | -1 | 1 | 2 | 1 | 2.264 | 0.0007667 | 0.0001346 | 0.01022 | 0.7013 | 1 | 0.00000374 | 0.0001389 | 0.003058 | 0.0007967 | 0.02823 | 2.763 | 0.2849 | 0.001031 | 0.0001589 | 1 | 1 | 0.002452 | 0.02906 | 0.201 | 0.002805 | 0.03325 | 0.2299 | json |
| t16_x6_u6_b20 | 16 | 6 | 6 | 20 | ![]() |
sub(P,nrm(dot(R,P))) | 80456 | 130173248 | o2(x,o1(o2(x,x))) | true | 131655 | 131655 | -0.02079 | 0.495 | 0.9291 | 0.8997 | 0.9485 | -1 | 1 | 2 | 1 | 2.046 | 0.002506 | 0.0009468 | 0.01165 | 0.4516 | 1 | -0.000001707 | 0.005048 | 0.007049 | 0.003318 | 0.0576 | 4.942 | 2.012 | 0.003838 | 0.005611 | 1 | 1 | 0.006868 | 0.04824 | 0.2572 | 0.007634 | 0.05362 | 0.2859 | json |
| t16_x6_u6_b21 | 16 | 6 | 6 | 21 | ![]() |
sub(P,nrm(dst(R,P))) | 80457 | 130173249 | o2(x,o1(o2(x,x))) | true | 131663 | 131663 | -0.07217 | 0.4648 | 0.9375 | 0.9071 | 0.9524 | -1 | 1 | 2 | 1 | 1.901 | 0.0006917 | 3.409e-18 | 0.007937 | 1 | 1 | -2.215e-10 | 0.000107 | 0.002661 | 0.000629 | 0.02508 | 3.16 | 0.1169 | 0.0007626 | 0.0001179 | 1 | 1 | 0.001764 | 0.02067 | 0.2191 | 0.001945 | 0.02279 | 0.2416 | json |
| t16_x6_u6_b22 | 16 | 6 | 6 | 22 | ![]() |
mlt(P,nrm(add(R,P))) | 80458 | 130173250 | o2(x,o1(o2(x,x))) | true | 131671 | 131671 | 0.8345 | 0.9947 | 0.8345 | 0.1004 | 0.3169 | 0.000004081 | 1 | 1 | 1 | 1.772 | 0.0004567 | 0.00006897 | 0.009059 | 0.7376 | 1 | -0.000004226 | 0.00007615 | 0.002706 | 0.0004436 | 0.02106 | 2.325 | 0.1889 | 0.005235 | 0.0007583 | 1 | 1 | 0.001443 | 0.01715 | 0.1129 | 0.01437 | 0.1708 | 1.124 | json |
| t16_x6_u6_b23 | 16 | 6 | 6 | 23 | ![]() |
mlt(P,nrm(sub(R,P))) | 80459 | 130173251 | o2(x,o1(o2(x,x))) | true | 131679 | 131679 | -0.8314 | 0 | 0.8314 | 0.104 | 0.3225 | -1 | -1.117e-7 | 1 | 1 | 1.738 | 0.000478 | 0.00006689 | 0.009016 | 0.7545 | 1 | 3.536e-7 | 0.0000802 | 0.002669 | 0.0004637 | 0.02153 | 2.388 | 0.1771 | 0.005238 | 0.0007711 | 1 | 1 | 0.001479 | 0.01748 | 0.1149 | 0.01422 | 0.1681 | 1.105 | json |
| t16_x6_u6_b24 | 16 | 6 | 6 | 24 | ![]() |
mlt(P,nrm(mlt(R,P))) | 80460 | 130173252 | o2(x,o1(o2(x,x))) | true | 131687 | 131687 | -0.05033 | 0.4715 | 0.7674 | 0.7112 | 0.8433 | -1 | 1 | 2 | 1 | 3.274 | 0.02502 | 0.03182 | 0.09461 | -0.1197 | 1 | 0.00001915 | 0.05239 | 0.07228 | 0.04791 | 0.2189 | 2.313 | 2.054 | 0.07992 | 0.07366 | 1 | 1 | 0.07864 | 0.5575 | 1.298 | 0.1106 | 0.7838 | 1.824 | json |
| t16_x6_u6_b25 | 16 | 6 | 6 | 25 | ![]() |
mlt(P,nrm(div(R,P))) | 80461 | 130173253 | o2(x,o1(o2(x,x))) | true | 131695 | 131695 | -0.125 | 0 | 0.125 | 0.1094 | 0.3307 | -1 | 0 | 1 | 1 | 0.5436 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.07256 | 0.1451 | 1 | 1 | 0.01053 | 0.04211 | 0.1684 | 0.09624 | 0.385 | 1.54 | json |
| t16_x6_u6_b26 | 16 | 6 | 6 | 26 | ![]() |
mlt(P,nrm(pow(R,P))) | 80462 | 130173254 | o2(x,o1(o2(x,x))) | true | 131703 | 131703 | -0.9899 | 0.007767 | 0.9939 | 0.01272 | 0.1128 | -1 | 0.6859 | 1.686 | 1 | 0.1047 | 0.001717 | 0.0007265 | 0.002324 | 0.4053 | 1 | 3.379e-11 | 0.005038 | 0.004032 | 0.002436 | 0.04936 | 21.24 | 1.922 | 0.1921 | 0.396 | 1 | 1 | 0.004334 | 0.01767 | 0.04649 | 0.3407 | 1.389 | 3.655 | json |
| t16_x6_u6_b27 | 16 | 6 | 6 | 27 | ![]() |
mlt(P,nrm(mod(R,P))) | 80463 | 130173255 | o2(x,o1(o2(x,x))) | true | 131711 | 131711 | -0.3073 | 0.3444 | 0.8579 | 0.7143 | 0.8452 | -1 | 1 | 2 | 1 | 2.825 | 0.02464 | 0.02858 | 0.08852 | -0.07395 | 1 | -0.00005444 | 0.06078 | 0.06916 | 0.04537 | 0.213 | 2.406 | 2.052 | 0.07451 | 0.08509 | 1 | 1 | 0.06888 | 0.4631 | 1.071 | 0.09642 | 0.6483 | 1.5 | json |
| t16_x6_u6_b28 | 16 | 6 | 6 | 28 | ![]() |
mlt(P,nrm(lrg(R,P))) | 80464 | 130173256 | o2(x,o1(o2(x,x))) | true | 131719 | 131719 | -0.7051 | 0 | 0.7051 | 0.1973 | 0.4442 | -1 | 0 | 1 | 1 | 1.38 | 0.002728 | 0.003747 | 0.009508 | -0.1574 | 1 | 8.503e-7 | 0.0131 | 0.01403 | 0.006385 | 0.07991 | 8.404 | 1.414 | 0.03281 | 0.06638 | 1 | 1 | 0.005304 | 0.02627 | 0.105 | 0.02688 | 0.1331 | 0.5321 | json |
| t16_x6_u6_b29 | 16 | 6 | 6 | 29 | ![]() |
mlt(P,nrm(eql(R,P))) | 80465 | 130173257 | o2(x,o1(o2(x,x))) | true | 131727 | 131727 | -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 |
| t16_x6_u6_b30 | 16 | 6 | 6 | 30 | ![]() |
mlt(P,nrm(min(R,P))) | 80466 | 130173258 | o2(x,o1(o2(x,x))) | true | 131735 | 131735 | 0.4308 | 0.731 | 0.7373 | 0.4928 | 0.702 | -1 | 1 | 2 | 1 | 3.231 | 0.007194 | 0.006569 | 0.04489 | 0.04536 | 1 | 9.445e-7 | 0.007012 | 0.02019 | 0.01175 | 0.1084 | 2.414 | 1.329 | 0.02793 | 0.01423 | 1 | 1 | 0.01867 | 0.1933 | 0.5585 | 0.03788 | 0.3923 | 1.133 | json |
| t16_x6_u6_b31 | 16 | 6 | 6 | 31 | ![]() |
mlt(P,nrm(dot(R,P))) | 80467 | 130173259 | o2(x,o1(o2(x,x))) | true | 131743 | 131743 | 0.02106 | 0.5359 | 0.7922 | 0.7315 | 0.8553 | -1 | 1 | 2 | 1 | 3.239 | 0.02092 | 0.02669 | 0.09884 | -0.1212 | 1 | -0.00003082 | 0.02953 | 0.05979 | 0.03784 | 0.1945 | 1.968 | 2.23 | 0.06508 | 0.04037 | 1 | 1 | 0.06827 | 0.5629 | 1.394 | 0.09333 | 0.7694 | 1.906 | json |
| t16_x6_u6_b32 | 16 | 6 | 6 | 32 | ![]() |
mlt(P,nrm(dst(R,P))) | 80468 | 130173260 | o2(x,o1(o2(x,x))) | true | 131751 | 131751 | 0 | 0.5 | 0.8892 | 0.8551 | 0.9247 | -1 | 1 | 2 | 1 | 2.405 | 0.0004146 | 5.809e-18 | 0.007937 | 1 | 1 | 3.616e-10 | 0.00003324 | 0.002134 | 0.0003516 | 0.01875 | 2.362 | 0.06748 | 0.0004849 | 0.00003887 | 1 | 1 | 0.001078 | 0.01347 | 0.1564 | 0.00126 | 0.01576 | 0.1829 | json |
| t16_x6_u6_b33 | 16 | 6 | 6 | 33 | ![]() |
div(P,nrm(add(R,P))) | 80469 | 130173261 | o2(x,o1(o2(x,x))) | true | 131759 | 131759 | 0.9682 | 1 | 0.9682 | 0.02543 | 0.1595 | 0.000305 | 1 | 0.9997 | 1 | 0.4092 | 0.002168 | 0.00005927 | 0.008055 | 0.9468 | 1 | -0.000004534 | 0.001541 | 0.00595 | 0.002164 | 0.04652 | 5.775 | 0.7582 | 0.08757 | 0.06058 | 1 | 1 | 0.004491 | 0.03108 | 0.04287 | 0.1766 | 1.222 | 1.686 | json |
| t16_x6_u6_b34 | 16 | 6 | 6 | 34 | ![]() |
div(P,nrm(sub(R,P))) | 80470 | 130173262 | o2(x,o1(o2(x,x))) | true | 131767 | 131767 | -0.9692 | 0 | 0.9692 | 0.02458 | 0.1568 | -1 | -0.0003338 | 0.9997 | 1 | 0.4002 | 0.002315 | 0.00007927 | 0.008098 | 0.9338 | 1 | 0.000004498 | 0.001899 | 0.006284 | 0.00233 | 0.04827 | 5.96 | 0.9327 | 0.0974 | 0.07726 | 1 | 1 | 0.004646 | 0.03052 | 0.04258 | 0.189 | 1.241 | 1.732 | json |
| t16_x6_u6_b35 | 16 | 6 | 6 | 35 | ![]() |
div(P,nrm(mlt(R,P))) | 80471 | 130173263 | o2(x,o1(o2(x,x))) | true | 131775 | 131775 | -0.1534 | 0.4232 | 0.9632 | 0.9272 | 0.9629 | -1 | 1 | 2 | 1 | 1.614 | 0.07174 | 0.06656 | 0.1096 | 0.03748 | 1 | 0.0003654 | 0.2432 | 0.1543 | 0.1264 | 0.3555 | 3.243 | 2.828 | 0.1492 | 0.2623 | 1 | 1 | 0.1559 | 0.8017 | 1.704 | 0.1682 | 0.8646 | 1.838 | json |
| t16_x6_u6_b36 | 16 | 6 | 6 | 36 | ![]() |
div(P,nrm(div(R,P))) | 80472 | 130173264 | o2(x,o1(o2(x,x))) | true | 131783 | 131783 | -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 |
| t16_x6_u6_b37 | 16 | 6 | 6 | 37 | ![]() |
div(P,nrm(pow(R,P))) | 80473 | 130173265 | o2(x,o1(o2(x,x))) | true | 131791 | 131791 | -0.987 | 0.007813 | 0.9974 | 0.02265 | 0.1505 | -1 | 1 | 2 | 1 | 0.08627 | 0.002608 | 0.001552 | 0.002852 | 0.2538 | 1 | -6.007e-11 | 0.008483 | 0.004959 | 0.00415 | 0.06442 | 22.59 | 2.828 | 0.1837 | 0.3745 | 1 | 1 | 0.007467 | 0.03352 | 0.08292 | 0.3296 | 1.48 | 3.66 | json |
| t16_x6_u6_b38 | 16 | 6 | 6 | 38 | ![]() |
div(P,nrm(mod(R,P))) | 80474 | 130173266 | o2(x,o1(o2(x,x))) | true | 131799 | 131799 | -0.2739 | 0.3632 | 0.9763 | 0.8932 | 0.9451 | -1 | 1 | 2 | 1 | 1.382 | 0.06529 | 0.07877 | 0.09997 | -0.09359 | 1 | 0.0002048 | 0.2825 | 0.1572 | 0.134 | 0.366 | 3.661 | 2.828 | 0.1613 | 0.3162 | 1 | 1 | 0.1572 | 0.7325 | 1.56 | 0.176 | 0.8201 | 1.746 | json |
| t16_x6_u6_b39 | 16 | 6 | 6 | 39 | ![]() |
div(P,nrm(lrg(R,P))) | 80475 | 130173267 | o2(x,o1(o2(x,x))) | true | 131807 | 131807 | -0.9935 | 0 | 0.9935 | 0.005225 | 0.07228 | -1 | -0.0002911 | 0.9997 | 1 | 0.1101 | 0.001135 | 0.0004859 | 0.002553 | 0.4005 | 1 | 3.754e-11 | 0.003238 | 0.003522 | 0.001615 | 0.04019 | 15.74 | 1.414 | 0.3103 | 0.6198 | 1 | 1 | 0.00233 | 0.009327 | 0.01498 | 0.4459 | 1.785 | 2.867 | json |
| t16_x6_u6_b40 | 16 | 6 | 6 | 40 | ![]() |
div(P,nrm(eql(R,P))) | 80476 | 130173268 | o2(x,o1(o2(x,x))) | true | 131815 | 131815 | -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 |
| t16_x6_u6_b41 | 16 | 6 | 6 | 41 | ![]() |
div(P,nrm(min(R,P))) | 80477 | 130173269 | o2(x,o1(o2(x,x))) | true | 131823 | 131823 | 0.3322 | 0.6727 | 0.9718 | 0.8539 | 0.9241 | -1 | 1 | 2 | 1 | 1.356 | 0.05268 | 0.05083 | 0.06746 | 0.01786 | 1 | 0.0002992 | 0.2276 | 0.1107 | 0.09892 | 0.3145 | 4.662 | 2.828 | 0.1212 | 0.2665 | 1 | 1 | 0.1131 | 0.5242 | 1.213 | 0.1324 | 0.6139 | 1.421 | json |
| t16_x6_u6_b42 | 16 | 6 | 6 | 42 | ![]() |
div(P,nrm(dot(R,P))) | 80478 | 130173270 | o2(x,o1(o2(x,x))) | true | 131831 | 131831 | 0.05066 | 0.5363 | 0.9156 | 0.8919 | 0.9444 | -1 | 1 | 2 | 1 | 2.054 | 0.04579 | 0.07279 | 0.1089 | -0.2276 | 1 | -0.00001442 | 0.1848 | 0.1353 | 0.1067 | 0.3267 | 3 | 2.828 | 0.133 | 0.2072 | 1 | 1 | 0.1425 | 0.7848 | 1.731 | 0.1598 | 0.8799 | 1.941 | json |
| t16_x6_u6_b43 | 16 | 6 | 6 | 43 | ![]() |
div(P,nrm(dst(R,P))) | 80479 | 130173271 | o2(x,o1(o2(x,x))) | true | 131839 | 131839 | 0 | 0.5 | 0.9541 | 0.9459 | 0.9726 | -1 | 1 | 2 | 1 | 1.488 | 0.00123 | 3.924e-18 | 0.007937 | 1 | 1 | -7.696e-11 | 0.0002855 | 0.003205 | 0.001167 | 0.03417 | 4.305 | 0.2024 | 0.0013 | 0.0003019 | 1 | 1 | 0.003073 | 0.03166 | 0.2639 | 0.003249 | 0.03347 | 0.279 | json |
| t16_x6_u6_b44 | 16 | 6 | 6 | 44 | ![]() |
pow(P,nrm(add(R,P))) | 80480 | 130173272 | o2(x,o1(o2(x,x))) | true | 131847 | 131847 | -0.1016 | 0.4531 | 0.9922 | 0.9808 | 0.9903 | -1 | 1 | 2 | 1 | 1.12 | 0.01294 | 0.003616 | 0.0101 | 0.5632 | 1 | -1.765e-10 | 0.03388 | 0.01859 | 0.01646 | 0.1283 | 12.7 | 2.828 | 0.01688 | 0.03455 | 1 | 1 | 0.02269 | 0.09441 | 0.3825 | 0.02313 | 0.09626 | 0.39 | json |
| t16_x6_u6_b45 | 16 | 6 | 6 | 45 | ![]() |
pow(P,nrm(sub(R,P))) | 80481 | 130173273 | o2(x,o1(o2(x,x))) | true | 131855 | 131855 | -0.3568 | 0.4531 | 0.7369 | 0.5275 | 0.7263 | -1 | 1 | 2 | 1 | 2.616 | 0.013 | 0.003621 | 0.01383 | 0.5643 | 1 | 9.663e-7 | 0.03391 | 0.0194 | 0.01643 | 0.1282 | 9.27 | 2.828 | 0.03151 | 0.06428 | 1 | 1 | 0.02285 | 0.09351 | 0.319 | 0.04332 | 0.1773 | 0.6047 | json |
| t16_x6_u6_b46 | 16 | 6 | 6 | 46 | ![]() |
pow(P,nrm(mlt(R,P))) | 80482 | 130173274 | o2(x,o1(o2(x,x))) | true | 131863 | 131863 | -0.1009 | 0.4922 | 0.9147 | 0.8682 | 0.9318 | -1 | 1 | 2 | 1 | 2.152 | 0.01673 | 0.003056 | 0.02262 | 0.6912 | 1 | -0.0001135 | 0.03728 | 0.0257 | 0.01927 | 0.1388 | 6.136 | 2.828 | 0.02279 | 0.04294 | 1 | 1 | 0.02746 | 0.1218 | 0.4321 | 0.03163 | 0.1403 | 0.4977 | json |
| t16_x6_u6_b47 | 16 | 6 | 6 | 47 | ![]() |
pow(P,nrm(div(R,P))) | 80483 | 130173275 | o2(x,o1(o2(x,x))) | true | 131871 | 131871 | 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 |
| t16_x6_u6_b48 | 16 | 6 | 6 | 48 | ![]() |
pow(P,nrm(pow(R,P))) | 80484 | 130173276 | o2(x,o1(o2(x,x))) | true | 131879 | 131879 | -0.9531 | 0.03125 | 0.9844 | 0.07247 | 0.2692 | -1 | 0.9997 | 2 | 1 | 0.307 | 0.0101 | 0.003013 | 0.009724 | 0.5403 | 1 | -1.164e-10 | 0.0267 | 0.0161 | 0.01303 | 0.1141 | 11.74 | 2.828 | 0.1809 | 0.3685 | 1 | 1 | 0.0189 | 0.07663 | 0.1595 | 0.2608 | 1.057 | 2.201 | json |
| t16_x6_u6_b49 | 16 | 6 | 6 | 49 | ![]() |
pow(P,nrm(mod(R,P))) | 80485 | 130173277 | o2(x,o1(o2(x,x))) | true | 131887 | 131887 | -0.3049 | 0.3828 | 0.9295 | 0.801 | 0.895 | -1 | 1 | 2 | 1 | 1.971 | 0.01436 | 0.01325 | 0.0244 | 0.04015 | 1 | -0.00008679 | 0.0538 | 0.03235 | 0.02702 | 0.1644 | 6.737 | 2 | 0.03447 | 0.06717 | 1 | 1 | 0.03469 | 0.146 | 0.5215 | 0.04331 | 0.1822 | 0.6511 | json |
| t16_x6_u6_b50 | 16 | 6 | 6 | 50 | ![]() |
pow(P,nrm(lrg(R,P))) | 80486 | 130173278 | o2(x,o1(o2(x,x))) | true | 131895 | 131895 | -0.4492 | 0.2813 | 0.9883 | 0.7839 | 0.8854 | -1 | 1 | 2 | 1 | 1.046 | 0.01627 | 0.01623 | 0.01886 | 0.001119 | 1 | 0.000002852 | 0.06689 | 0.03466 | 0.03215 | 0.1793 | 9.505 | 2.828 | 0.04146 | 0.08532 | 1 | 1 | 0.02614 | 0.1214 | 0.4993 | 0.03335 | 0.1548 | 0.637 | json |
| t16_x6_u6_b51 | 16 | 6 | 6 | 51 | ![]() |
pow(P,nrm(eql(R,P))) | 80487 | 130173279 | o2(x,o1(o2(x,x))) | true | 131903 | 131903 | -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 |
| t16_x6_u6_b52 | 16 | 6 | 6 | 52 | ![]() |
pow(P,nrm(min(R,P))) | 80488 | 130173280 | o2(x,o1(o2(x,x))) | true | 131911 | 131911 | -0.1445 | 0.4531 | 0.9492 | 0.8973 | 0.9472 | -1 | 1 | 2 | 1 | 1.971 | 0.01625 | 0.006388 | 0.01939 | 0.4357 | 1 | -0.00007563 | 0.04569 | 0.02624 | 0.02226 | 0.1492 | 7.695 | 2.828 | 0.02523 | 0.05092 | 1 | 1 | 0.03081 | 0.1269 | 0.4324 | 0.03434 | 0.1414 | 0.4819 | json |
| t16_x6_u6_b53 | 16 | 6 | 6 | 53 | ![]() |
pow(P,nrm(dot(R,P))) | 80489 | 130173281 | o2(x,o1(o2(x,x))) | true | 131919 | 131919 | -0.1915 | 0.4492 | 0.91 | 0.8317 | 0.912 | -1 | 1 | 2 | 1 | 2.1 | 0.01434 | 0.001967 | 0.02045 | 0.7588 | 1 | -0.0001185 | 0.03056 | 0.02294 | 0.01589 | 0.1261 | 6.165 | 2.828 | 0.01961 | 0.03674 | 1 | 1 | 0.02137 | 0.0978 | 0.3749 | 0.02569 | 0.1176 | 0.4507 | json |
| t16_x6_u6_b54 | 16 | 6 | 6 | 54 | ![]() |
pow(P,nrm(dst(R,P))) | 80490 | 130173282 | o2(x,o1(o2(x,x))) | true | 131927 | 131927 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0.006228 | 0.03975 | 0.2856 | 0.006485 | 0.04139 | 0.2974 | json |
| t16_x6_u6_b55 | 16 | 6 | 6 | 55 | ![]() |
mod(P,nrm(add(R,P))) | 80491 | 130173283 | o2(x,o1(o2(x,x))) | true | 131935 | 131935 | 0.006278 | 0.4964 | 0.2557 | 0.09942 | 0.3153 | -0.8673 | 0.8614 | 1.729 | 1 | 4.356 | 0.000293 | 0.0002986 | 0.01862 | -0.009434 | 1 | -0.000002637 | 0.00003376 | 0.004206 | 0.0002448 | 0.01565 | 0.8403 | 0.09911 | 0.00595 | 0.0003396 | 1 | 1 | 0.001142 | 0.01475 | 0.06171 | 0.01149 | 0.1484 | 0.6207 | json |
| t16_x6_u6_b56 | 16 | 6 | 6 | 56 | ![]() |
mod(P,nrm(sub(R,P))) | 80492 | 130173284 | o2(x,o1(o2(x,x))) | true | 131943 | 131943 | -0.006309 | 0.4956 | 0.2466 | 0.09372 | 0.3061 | -0.8719 | 0.8441 | 1.716 | 1 | 4.32 | 0.0003082 | 0.00028 | 0.01853 | 0.04794 | 1 | -0.000005992 | 0.00003467 | 0.004252 | 0.0002451 | 0.01566 | 0.8451 | 0.09173 | 0.006277 | 0.0003699 | 1 | 1 | 0.001118 | 0.01455 | 0.05903 | 0.01193 | 0.1552 | 0.6299 | json |
| t16_x6_u6_b57 | 16 | 6 | 6 | 57 | ![]() |
mod(P,nrm(mlt(R,P))) | 80493 | 130173285 | o2(x,o1(o2(x,x))) | true | 131951 | 131951 | -0.137 | 0.4343 | 0.3256 | 0.1793 | 0.4234 | -1 | 0.8512 | 1.851 | 1 | 4.252 | 0.008273 | 0.000337 | 0.02627 | 0.9217 | 1 | -0.000002047 | 0.01594 | 0.01999 | 0.00792 | 0.089 | 3.387 | 1.428 | 0.04802 | 0.08891 | 1 | 1 | 0.01159 | 0.05522 | 0.1987 | 0.06464 | 0.308 | 1.108 | json |
| t16_x6_u6_b58 | 16 | 6 | 6 | 58 | ![]() |
mod(P,nrm(div(R,P))) | 80494 | 130173286 | o2(x,o1(o2(x,x))) | true | 131959 | 131959 | -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 |
| t16_x6_u6_b59 | 16 | 6 | 6 | 59 | ![]() |
mod(P,nrm(pow(R,P))) | 80495 | 130173287 | o2(x,o1(o2(x,x))) | true | 131967 | 131967 | -0.9881 | 0.007294 | 0.9899 | 0.01227 | 0.1108 | -1 | 0.3137 | 1.314 | 1 | 0.1289 | 0.001616 | 0.0009289 | 0.002671 | 0.27 | 1 | 1.877e-11 | 0.005312 | 0.005007 | 0.002535 | 0.05035 | 18.85 | 1.812 | 0.2074 | 0.4329 | 1 | 1 | 0.004487 | 0.01811 | 0.0448 | 0.3657 | 1.476 | 3.651 | json |
| t16_x6_u6_b60 | 16 | 6 | 6 | 60 | ![]() |
mod(P,nrm(mod(R,P))) | 80496 | 130173288 | o2(x,o1(o2(x,x))) | true | 131975 | 131975 | -0.2417 | 0.3828 | 0.4306 | 0.2448 | 0.4948 | -1 | 0.7963 | 1.796 | 1 | 4.025 | 0.007756 | 0.008262 | 0.03094 | -0.03155 | 1 | 0.000009943 | 0.03103 | 0.03216 | 0.01506 | 0.1227 | 3.967 | 1.521 | 0.06542 | 0.1267 | 1 | 1 | 0.02032 | 0.08867 | 0.3269 | 0.08301 | 0.3622 | 1.335 | json |
| t16_x6_u6_b61 | 16 | 6 | 6 | 61 | ![]() |
mod(P,nrm(lrg(R,P))) | 80497 | 130173289 | o2(x,o1(o2(x,x))) | true | 131983 | 131983 | -0.6665 | 0 | 0.6665 | 0.1477 | 0.3843 | -1 | 0 | 1 | 1 | 2.521 | 0.002893 | 0.001207 | 0.01434 | 0.411 | 1 | 0.00001948 | 0.007796 | 0.01121 | 0.003892 | 0.06239 | 4.351 | 1.414 | 0.02776 | 0.05278 | 1 | 1 | 0.005731 | 0.02726 | 0.0828 | 0.0388 | 0.1846 | 0.5606 | json |
| t16_x6_u6_b62 | 16 | 6 | 6 | 62 | ![]() |
mod(P,nrm(eql(R,P))) | 80498 | 130173290 | o2(x,o1(o2(x,x))) | true | 131991 | 131991 | -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 |
| t16_x6_u6_b63 | 16 | 6 | 6 | 63 | ![]() |
mod(P,nrm(min(R,P))) | 80499 | 130173291 | o2(x,o1(o2(x,x))) | true | 131999 | 131999 | -0.07386 | 0.4593 | 0.2293 | 0.1206 | 0.3473 | -1 | 0.7699 | 1.77 | 1 | 3.907 | 0.005581 | 0.001767 | 0.02004 | 0.5191 | 1 | 0.00001025 | 0.01411 | 0.01636 | 0.006947 | 0.08335 | 4.159 | 1.547 | 0.06093 | 0.117 | 1 | 1 | 0.01125 | 0.05209 | 0.1872 | 0.09327 | 0.4319 | 1.552 | json |



































































































