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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t12_x20_u5_b67 | 12 | 20 | 5 | 67 | ![]() |
sgn(lrg(R,sub(P,R))) | 36800 | 98256304 | o1(o2(x,o2(x,x))) | true | 124247 | 124247 | 0.5117 | 0.6049 | 0.5117 | 0.2314 | 0.4811 | 0 | 1 | 1 | 1 | 1.753 | 0.0004752 | 0.0003909 | 0.01019 | 0.09737 | 1 | -0.00002852 | 0.00004979 | 0.002461 | 0.0007618 | 0.0276 | 2.708 | 0.1169 | 0.003742 | 0.0002151 | 1 | 1 | 0.002134 | 0.0276 | 0.09828 | 0.009223 | 0.1193 | 0.4247 | json |
| t12_x20_u5_b68 | 12 | 20 | 5 | 68 | ![]() |
sgn(lrg(R,mlt(P,R))) | 36801 | 98256305 | o1(o2(x,o2(x,x))) | true | 124255 | 124255 | 0.498 | 0.9149 | 0.498 | 0.1579 | 0.3973 | 0 | 1 | 1 | 1 | 3.38 | 0.001993 | 0.002262 | 0.04986 | -0.0631 | 1 | 0.00001926 | 0.0002476 | 0.0121 | 0.00177 | 0.04207 | 0.8438 | 0.1169 | 0.02696 | 0.001568 | 1 | 1 | 0.008333 | 0.1074 | 0.2992 | 0.05279 | 0.6806 | 1.895 | json |
| t12_x20_u5_b69 | 12 | 20 | 5 | 69 | ![]() |
sgn(lrg(R,div(P,R))) | 36802 | 98256306 | o1(o2(x,o2(x,x))) | true | 124263 | 124263 | 0.5215 | 0.9288 | 0.5215 | 0.1546 | 0.3932 | 0 | 1 | 1 | 1 | 3.414 | 0.001912 | 0.002433 | 0.05092 | -0.1198 | 1 | 0.00003066 | 0.0002568 | 0.0124 | 0.001753 | 0.04187 | 0.8222 | 0.1169 | 0.02811 | 0.001662 | 1 | 1 | 0.008497 | 0.1095 | 0.3067 | 0.05497 | 0.7083 | 1.984 | json |
| t12_x20_u5_b70 | 12 | 20 | 5 | 70 | ![]() |
sgn(lrg(R,pow(P,R))) | 36803 | 98256307 | o1(o2(x,o2(x,x))) | true | 124271 | 124271 | 0.4961 | 0.5378 | 0.4961 | 0.2412 | 0.4911 | 0 | 1 | 1 | 1 | 1.415 | 0.0003238 | 0.0001053 | 0.004981 | 0.5091 | 1 | -0.000005705 | 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 |
| t12_x20_u5_b71 | 12 | 20 | 5 | 71 | ![]() |
sgn(lrg(R,mod(P,R))) | 36804 | 98256308 | o1(o2(x,o2(x,x))) | true | 124279 | 124279 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x20_u5_b72 | 12 | 20 | 5 | 72 | ![]() |
sgn(lrg(R,lrg(P,R))) | 36805 | 98256309 | o1(o2(x,o2(x,x))) | true | 124287 | 124287 | 0.2676 | 0.4921 | 0.2676 | 0.1474 | 0.3839 | 0 | 1 | 1 | 1 | 2.341 | 0.001052 | 0.001231 | 0.02666 | -0.0785 | 1 | 0.000006427 | 0.0001288 | 0.006434 | 0.001572 | 0.03965 | 1.487 | 0.1169 | 0.01549 | 0.000874 | 1 | 1 | 0.004654 | 0.05961 | 0.1835 | 0.03158 | 0.4044 | 1.245 | json |
| t12_x20_u5_b73 | 12 | 20 | 5 | 73 | ![]() |
sgn(lrg(R,eql(P,R))) | 36806 | 98256310 | o1(o2(x,o2(x,x))) | true | 124295 | 124295 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x20_u5_b74 | 12 | 20 | 5 | 74 | ![]() |
sgn(lrg(R,min(P,R))) | 36807 | 98256311 | o1(o2(x,o2(x,x))) | true | 124303 | 124303 | 0.4961 | 0.5378 | 0.4961 | 0.2412 | 0.4911 | 0 | 1 | 1 | 1 | 1.415 | 0.0003238 | 0.0001053 | 0.004981 | 0.5091 | 1 | -0.000005705 | 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 |
| t12_x20_u5_b75 | 12 | 20 | 5 | 75 | ![]() |
sgn(lrg(R,dot(P,R))) | 36808 | 98256312 | o1(o2(x,o2(x,x))) | true | 124311 | 124311 | 0.5371 | 0.9522 | 0.5371 | 0.1547 | 0.3933 | 0 | 1 | 1 | 1 | 3.391 | 0.002026 | 0.002339 | 0.05093 | -0.07165 | 1 | 0.00003993 | 0.000252 | 0.01233 | 0.001772 | 0.04209 | 0.8264 | 0.1169 | 0.02823 | 0.001629 | 1 | 1 | 0.008583 | 0.1107 | 0.3172 | 0.05549 | 0.7156 | 2.051 | json |
| t12_x20_u5_b76 | 12 | 20 | 5 | 76 | ![]() |
sgn(lrg(R,dst(P,R))) | 36809 | 98256313 | o1(o2(x,o2(x,x))) | true | 124319 | 124319 | 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 |
| t12_x20_u5_b77 | 12 | 20 | 5 | 77 | ![]() |
sgn(eql(R,add(P,R))) | 36810 | 98256314 | o1(o2(x,o2(x,x))) | true | 124327 | 124327 | 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 |
| t12_x20_u5_b78 | 12 | 20 | 5 | 78 | ![]() |
sgn(eql(R,sub(P,R))) | 36811 | 98256315 | o1(o2(x,o2(x,x))) | true | 124335 | 124335 | 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 |
| t12_x20_u5_b79 | 12 | 20 | 5 | 79 | ![]() |
sgn(eql(R,mlt(P,R))) | 36812 | 98256316 | o1(o2(x,o2(x,x))) | true | 124343 | 124343 | 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 |
| t12_x20_u5_b80 | 12 | 20 | 5 | 80 | ![]() |
sgn(eql(R,div(P,R))) | 36813 | 98256317 | o1(o2(x,o2(x,x))) | true | 124351 | 124351 | 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 |
| t12_x20_u5_b81 | 12 | 20 | 5 | 81 | ![]() |
sgn(eql(R,pow(P,R))) | 36814 | 98256318 | o1(o2(x,o2(x,x))) | true | 124359 | 124359 | 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 |
| t12_x20_u5_b82 | 12 | 20 | 5 | 82 | ![]() |
sgn(eql(R,mod(P,R))) | 36815 | 98256319 | o1(o2(x,o2(x,x))) | true | 124367 | 124367 | 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 |
| t12_x20_u5_b83 | 12 | 20 | 5 | 83 | ![]() |
sgn(eql(R,lrg(P,R))) | 36816 | 98256320 | o1(o2(x,o2(x,x))) | true | 124375 | 124375 | 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 |
| t12_x20_u5_b84 | 12 | 20 | 5 | 84 | ![]() |
sgn(eql(R,eql(P,R))) | 36817 | 98256321 | o1(o2(x,o2(x,x))) | true | 124383 | 124383 | 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 |
| t12_x20_u5_b85 | 12 | 20 | 5 | 85 | ![]() |
sgn(eql(R,min(P,R))) | 36818 | 98256322 | o1(o2(x,o2(x,x))) | true | 124391 | 124391 | 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 |
| t12_x20_u5_b86 | 12 | 20 | 5 | 86 | ![]() |
sgn(eql(R,dot(P,R))) | 36819 | 98256323 | o1(o2(x,o2(x,x))) | true | 124399 | 124399 | 0.003906 | 0.01477 | 0.003906 | 0.002383 | 0.04882 | 0 | 0.9994 | 0.9994 | 1 | 0.1068 | 0.00003512 | 0.00003512 | 0.0008419 | 7.252e-7 | 0 | -5.638e-14 | 0.000004222 | 0.000206 | 0.00006942 | 0.008332 | 9.897 | 0.1169 | 0.02947 | 0.001772 | 1 | 1 | 0.0002443 | 0.003178 | 0.008708 | 0.1025 | 1.334 | 3.654 | json |
| t12_x20_u5_b87 | 12 | 20 | 5 | 87 | ![]() |
sgn(eql(R,dst(P,R))) | 36820 | 98256324 | o1(o2(x,o2(x,x))) | true | 124407 | 124407 | 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 |
| t12_x20_u5_b88 | 12 | 20 | 5 | 88 | ![]() |
sgn(min(R,add(P,R))) | 36821 | 98256325 | o1(o2(x,o2(x,x))) | true | 124415 | 124415 | -0.5156 | 0.2402 | 0.8385 | 0.5129 | 0.7162 | -1 | 1 | 2 | 1 | 2.764 | 0.00482 | 0.005266 | 0.05913 | -0.04423 | 1 | -0.00005988 | 0.0006049 | 0.01443 | 0.006592 | 0.08119 | 1.373 | 0.2338 | 0.01966 | 0.001179 | 1 | 1 | 0.02058 | 0.2674 | 0.7164 | 0.04012 | 0.5213 | 1.397 | json |
| t12_x20_u5_b89 | 12 | 20 | 5 | 89 | ![]() |
sgn(min(R,sub(P,R))) | 36822 | 98256326 | o1(o2(x,o2(x,x))) | true | 124423 | 124423 | -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 |
| t12_x20_u5_b90 | 12 | 20 | 5 | 90 | ![]() |
sgn(min(R,mlt(P,R))) | 36823 | 98256327 | o1(o2(x,o2(x,x))) | true | 124431 | 124431 | -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 |
| t12_x20_u5_b91 | 12 | 20 | 5 | 91 | ![]() |
sgn(min(R,div(P,R))) | 36824 | 98256328 | o1(o2(x,o2(x,x))) | true | 124439 | 124439 | -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 |
| t12_x20_u5_b92 | 12 | 20 | 5 | 92 | ![]() |
sgn(min(R,pow(P,R))) | 36825 | 98256329 | o1(o2(x,o2(x,x))) | true | 124447 | 124447 | -0.0625 | 0.466 | 0.7051 | 0.5952 | 0.7715 | -1 | 1 | 2 | 1 | 4.091 | 0.007742 | 0.009443 | 0.1022 | -0.09897 | 1 | -0.00002992 | 0.001007 | 0.02477 | 0.006736 | 0.08207 | 0.8028 | 0.2338 | 0.02887 | 0.001693 | 1 | 1 | 0.03331 | 0.4286 | 1.059 | 0.05596 | 0.7202 | 1.779 | json |
| t12_x20_u5_b93 | 12 | 20 | 5 | 93 | ![]() |
sgn(min(R,mod(P,R))) | 36826 | 98256330 | o1(o2(x,o2(x,x))) | true | 124455 | 124455 | -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 |
| t12_x20_u5_b94 | 12 | 20 | 5 | 94 | ![]() |
sgn(min(R,lrg(P,R))) | 36827 | 98256331 | o1(o2(x,o2(x,x))) | true | 124463 | 124463 | -0.3027 | 0.2191 | 0.5882 | 0.3961 | 0.6294 | -1 | 1 | 2 | 1 | 4.212 | 0.005082 | 0.006066 | 0.07835 | -0.08825 | 1 | -0.00004205 | 0.000667 | 0.01905 | 0.005009 | 0.07078 | 0.9034 | 0.2338 | 0.02814 | 0.001684 | 1 | 1 | 0.02172 | 0.281 | 0.6813 | 0.05483 | 0.7094 | 1.72 | json |
| t12_x20_u5_b95 | 12 | 20 | 5 | 95 | ![]() |
sgn(min(R,eql(P,R))) | 36828 | 98256332 | o1(o2(x,o2(x,x))) | true | 124471 | 124471 | -0.5176 | 0 | 0.5176 | 0.1537 | 0.3921 | -1 | 0 | 1 | 1 | 3.585 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x20_u5_b96 | 12 | 20 | 5 | 96 | ![]() |
sgn(min(R,min(P,R))) | 36829 | 98256333 | o1(o2(x,o2(x,x))) | true | 124479 | 124479 | -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 |
| t12_x20_u5_b97 | 12 | 20 | 5 | 97 | ![]() |
sgn(min(R,dot(P,R))) | 36830 | 98256334 | o1(o2(x,o2(x,x))) | true | 124487 | 124487 | -0.5625 | 0.2116 | 0.8358 | 0.4575 | 0.6764 | -1 | 1 | 2 | 1 | 2.776 | 0.005122 | 0.005209 | 0.06099 | -0.008469 | 1 | -0.00007129 | 0.0006022 | 0.01477 | 0.006613 | 0.08132 | 1.333 | 0.2338 | 0.02258 | 0.001316 | 1 | 1 | 0.02166 | 0.2819 | 0.8085 | 0.04735 | 0.6161 | 1.767 | json |
| t12_x20_u5_b98 | 12 | 20 | 5 | 98 | ![]() |
sgn(min(R,dst(P,R))) | 36831 | 98256335 | o1(o2(x,o2(x,x))) | true | 124495 | 124495 | -0.03516 | 0.4819 | 0.7206 | 0.6148 | 0.7841 | -1 | 1 | 2 | 1 | 4.005 | 0.007889 | 0.009769 | 0.1034 | -0.1065 | 1 | -0.00003562 | 0.001037 | 0.02513 | 0.006974 | 0.08351 | 0.8079 | 0.2338 | 0.02872 | 0.001686 | 1 | 1 | 0.03492 | 0.4498 | 1.145 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x20_u5_b99 | 12 | 20 | 5 | 99 | ![]() |
sgn(dot(R,add(P,R))) | 36832 | 98256336 | o1(o2(x,o2(x,x))) | true | 124503 | 124503 | 0.07813 | 0.5415 | 0.7314 | 0.6244 | 0.7902 | -1 | 1 | 2 | 1 | 3.934 | 0.007598 | 0.009479 | 0.09991 | -0.1101 | 1 | -0.00009127 | 0.0009949 | 0.02421 | 0.007095 | 0.08423 | 0.843 | 0.2338 | 0.02735 | 0.001593 | 1 | 1 | 0.03136 | 0.4052 | 1.16 | 0.05023 | 0.6489 | 1.858 | json |
| t12_x20_u5_b100 | 12 | 20 | 5 | 100 | ![]() |
sgn(dot(R,sub(P,R))) | 36833 | 98256337 | o1(o2(x,o2(x,x))) | true | 124511 | 124511 | -0.2578 | 0.3652 | 0.7477 | 0.5859 | 0.7655 | -1 | 1 | 2 | 1 | 3.73 | 0.006907 | 0.009324 | 0.09477 | -0.1489 | 1 | -0.0000941 | 0.0009312 | 0.02291 | 0.007252 | 0.08516 | 0.8986 | 0.2338 | 0.0277 | 0.001589 | 1 | 1 | 0.03087 | 0.3999 | 1.154 | 0.05269 | 0.6824 | 1.97 | json |
| t12_x20_u5_b101 | 12 | 20 | 5 | 101 | ![]() |
sgn(dot(R,mlt(P,R))) | 36834 | 98256338 | o1(o2(x,o2(x,x))) | true | 124519 | 124519 | -0.03906 | 0.4799 | 0.8877 | 0.8439 | 0.9186 | -1 | 1 | 2 | 1 | 2.605 | 0.003376 | 0.003557 | 0.04099 | -0.02601 | 1 | -0.0000157 | 0.0004067 | 0.009947 | 0.005252 | 0.07247 | 1.768 | 0.2338 | 0.008215 | 0.0004819 | 1 | 1 | 0.01359 | 0.177 | 0.6411 | 0.0161 | 0.2098 | 0.7597 | json |
| t12_x20_u5_b102 | 12 | 20 | 5 | 102 | ![]() |
sgn(dot(R,div(P,R))) | 36835 | 98256339 | o1(o2(x,o2(x,x))) | true | 124527 | 124527 | 4.331e-8 | 0.5 | 0.9633 | 0.9492 | 0.9743 | -1 | 1 | 2 | 1 | 1.672 | 0.001095 | 0.001163 | 0.01358 | -0.02998 | 1 | 0 | 0.0001234 | 0.003232 | 0.002073 | 0.04554 | 3.353 | 0.2338 | 0.00238 | 0.0001301 | 1 | 1 | 0.005941 | 0.07728 | 0.4817 | 0.006259 | 0.08141 | 0.5074 | json |
| t12_x20_u5_b103 | 12 | 20 | 5 | 103 | ![]() |
sgn(dot(R,pow(P,R))) | 36836 | 98256340 | o1(o2(x,o2(x,x))) | true | 124535 | 124535 | -0.8633 | 0.06421 | 0.9366 | 0.1676 | 0.4094 | -1 | 1 | 2 | 1 | 1.25 | 0.001995 | 0.002017 | 0.02365 | -0.005589 | 1 | -0.00004563 | 0.0002431 | 0.005785 | 0.003453 | 0.05877 | 2.485 | 0.2338 | 0.02394 | 0.00145 | 1 | 1 | 0.008381 | 0.1095 | 0.292 | 0.05 | 0.6531 | 1.742 | json |
| t12_x20_u5_b104 | 12 | 20 | 5 | 104 | ![]() |
sgn(dot(R,mod(P,R))) | 36837 | 98256341 | o1(o2(x,o2(x,x))) | true | 124543 | 124543 | -0.04687 | 0.4776 | 0.7133 | 0.6048 | 0.7777 | -1 | 1 | 2 | 1 | 4.017 | 0.008211 | 0.009778 | 0.1051 | -0.08709 | 1 | -0.0001098 | 0.001049 | 0.02549 | 0.006934 | 0.08327 | 0.7919 | 0.2338 | 0.02974 | 0.001735 | 1 | 1 | 0.03453 | 0.4456 | 1.141 | 0.05709 | 0.7369 | 1.887 | json |
| t12_x20_u5_b105 | 12 | 20 | 5 | 105 | ![]() |
sgn(dot(R,lrg(P,R))) | 36838 | 98256342 | o1(o2(x,o2(x,x))) | true | 124551 | 124551 | -0.3984 | 0.2341 | 0.6987 | 0.4445 | 0.6667 | -1 | 1 | 2 | 1 | 3.867 | 0.006754 | 0.005953 | 0.08195 | 0.06301 | 1 | -0.00005845 | 0.0007411 | 0.01983 | 0.005992 | 0.07741 | 0.9446 | 0.2338 | 0.02859 | 0.001667 | 1 | 1 | 0.02497 | 0.3234 | 0.8486 | 0.05618 | 0.7276 | 1.909 | json |
| t12_x20_u5_b106 | 12 | 20 | 5 | 106 | ![]() |
sgn(dot(R,eql(P,R))) | 36839 | 98256343 | o1(o2(x,o2(x,x))) | true | 124559 | 124559 | 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 |
| t12_x20_u5_b107 | 12 | 20 | 5 | 107 | ![]() |
sgn(dot(R,min(P,R))) | 36840 | 98256344 | o1(o2(x,o2(x,x))) | true | 124567 | 124567 | 0.3047 | 0.6531 | 0.7984 | 0.6301 | 0.7938 | -1 | 1 | 2 | 1 | 3.318 | 0.005515 | 0.007326 | 0.07499 | -0.1411 | 1 | -0.00006132 | 0.0007453 | 0.01822 | 0.007215 | 0.08494 | 1.133 | 0.2338 | 0.02038 | 0.001183 | 1 | 1 | 0.02572 | 0.3295 | 0.8425 | 0.04082 | 0.5229 | 1.337 | json |
| t12_x20_u5_b108 | 12 | 20 | 5 | 108 | ![]() |
sgn(dot(R,dot(P,R))) | 36841 | 98256345 | o1(o2(x,o2(x,x))) | true | 124575 | 124575 | 0.07031 | 0.5341 | 0.7307 | 0.6275 | 0.7921 | -1 | 1 | 2 | 1 | 3.961 | 0.008223 | 0.008024 | 0.09598 | 0.01227 | 1 | 0.00002136 | 0.001009 | 0.02364 | 0.007035 | 0.08387 | 0.8739 | 0.2338 | 0.02589 | 0.001609 | 1 | 1 | 0.03434 | 0.4423 | 1.102 | 0.05473 | 0.7048 | 1.756 | json |
| t12_x20_u5_b109 | 12 | 20 | 5 | 109 | ![]() |
sgn(dot(R,dst(P,R))) | 36842 | 98256346 | o1(o2(x,o2(x,x))) | true | 124583 | 124583 | 0.01562 | 0.5076 | 0.7163 | 0.6098 | 0.7809 | -1 | 1 | 2 | 1 | 4.038 | 0.009126 | 0.008856 | 0.1053 | 0.01499 | 1 | 0.00002711 | 0.001054 | 0.02554 | 0.006904 | 0.08309 | 0.7894 | 0.2338 | 0.02949 | 0.001728 | 1 | 1 | 0.03452 | 0.4449 | 1.193 | 0.0566 | 0.7296 | 1.956 | json |
| t12_x20_u5_b110 | 12 | 20 | 5 | 110 | ![]() |
sgn(dst(R,add(P,R))) | 36843 | 98256347 | o1(o2(x,o2(x,x))) | true | 124591 | 124591 | 0.9961 | 1 | 0.9961 | 0.002383 | 0.04882 | 0.000582 | 1 | 0.9994 | 1 | 0.1068 | 0.00003512 | 0.00003512 | 0.0008419 | 6.216e-7 | 0 | -1.577e-10 | 0.000004222 | 0.000206 | 0.00006942 | 0.008332 | 9.897 | 0.1169 | 0.02947 | 0.001772 | 1 | 1 | 0.0002443 | 0.003178 | 0.008708 | 0.1025 | 1.334 | 3.654 | json |
| t12_x20_u5_b111 | 12 | 20 | 5 | 111 | ![]() |
sgn(dst(R,sub(P,R))) | 36844 | 98256348 | o1(o2(x,o2(x,x))) | true | 124599 | 124599 | 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 |
| t12_x20_u5_b112 | 12 | 20 | 5 | 112 | ![]() |
sgn(dst(R,mlt(P,R))) | 36845 | 98256349 | o1(o2(x,o2(x,x))) | true | 124607 | 124607 | 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 |
| t12_x20_u5_b113 | 12 | 20 | 5 | 113 | ![]() |
sgn(dst(R,div(P,R))) | 36846 | 98256350 | o1(o2(x,o2(x,x))) | true | 124615 | 124615 | 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 |
| t12_x20_u5_b114 | 12 | 20 | 5 | 114 | ![]() |
sgn(dst(R,pow(P,R))) | 36847 | 98256351 | o1(o2(x,o2(x,x))) | true | 124623 | 124623 | -0.4355 | 0.2821 | 0.9795 | 0.7821 | 0.8843 | -1 | 1 | 2 | 1 | 1.205 | 0.000741 | 0.000741 | 0.008368 | 0.000001453 | 1 | 9.386e-11 | 0.00006899 | 0.001958 | 0.001411 | 0.03757 | 4.489 | 0.2338 | 0.001895 | 0.00008821 | 1 | 1 | 0.003946 | 0.05178 | 0.3202 | 0.005046 | 0.06621 | 0.4094 | json |
| t12_x20_u5_b115 | 12 | 20 | 5 | 115 | ![]() |
sgn(dst(R,mod(P,R))) | 36848 | 98256352 | o1(o2(x,o2(x,x))) | true | 124631 | 124631 | 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 |
| t12_x20_u5_b116 | 12 | 20 | 5 | 116 | ![]() |
sgn(dst(R,lrg(P,R))) | 36849 | 98256353 | o1(o2(x,o2(x,x))) | true | 124639 | 124639 | 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 |
| t12_x20_u5_b117 | 12 | 20 | 5 | 117 | ![]() |
sgn(dst(R,eql(P,R))) | 36850 | 98256354 | o1(o2(x,o2(x,x))) | true | 124647 | 124647 | 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 |
| t12_x20_u5_b118 | 12 | 20 | 5 | 118 | ![]() |
sgn(dst(R,min(P,R))) | 36851 | 98256355 | o1(o2(x,o2(x,x))) | true | 124655 | 124655 | 0.8662 | 0.9883 | 0.8662 | 0.08829 | 0.2971 | 0 | 1 | 1 | 1 | 1.481 | 0.0006821 | 0.0005814 | 0.0148 | 0.07969 | 1 | -0.00001355 | 0.00007438 | 0.003588 | 0.001044 | 0.03232 | 2.184 | 0.1169 | 0.01431 | 0.0008424 | 1 | 1 | 0.002614 | 0.03405 | 0.1025 | 0.02961 | 0.3857 | 1.161 | json |
| t12_x20_u5_b119 | 12 | 20 | 5 | 119 | ![]() |
sgn(dst(R,dot(P,R))) | 36852 | 98256356 | o1(o2(x,o2(x,x))) | true | 124663 | 124663 | 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 |
| t12_x20_u5_b120 | 12 | 20 | 5 | 120 | ![]() |
sgn(dst(R,dst(P,R))) | 36853 | 98256357 | o1(o2(x,o2(x,x))) | true | 124671 | 124671 | 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 |
| t12_x20_u6_b0 | 12 | 20 | 6 | 0 | ![]() |
nrm(add(R,add(P,R))) | 36854 | 98256438 | o1(o2(x,o2(x,x))) | true | 124679 | 124679 | -0.0001789 | 0.5054 | 0.6151 | 0.4506 | 0.6712 | -0.9937 | 0.9955 | 1.989 | 1 | 4.867 | 0.0004097 | 0.0003274 | 0.01749 | 0.1117 | 1 | 2.16e-7 | 0.00004285 | 0.003968 | 0.0004313 | 0.02077 | 1.188 | 0.1859 | 0.001636 | 0.0000951 | 1 | 1 | 0.002186 | 0.02847 | 0.1217 | 0.004852 | 0.06318 | 0.2702 | json |
| t12_x20_u6_b1 | 12 | 20 | 6 | 1 | ![]() |
nrm(add(R,sub(P,R))) | 36855 | 98256439 | o1(o2(x,o2(x,x))) | true | 124687 | 124687 | -0.01562 | 0.4896 | 0.6504 | 0.5048 | 0.7105 | -1 | 1 | 2 | 1 | 4.761 | 0.001863 | 0.00124 | 0.0104 | 0.2009 | 1 | 3.065e-10 | 0.00612 | 0.00575 | 0.002995 | 0.05473 | 5.261 | 2.414 | 0.006147 | 0.01212 | 1 | 1 | 0.005637 | 0.02655 | 0.1534 | 0.01117 | 0.05259 | 0.3039 | json |
| t12_x20_u6_b2 | 12 | 20 | 6 | 2 | ![]() |
nrm(add(R,mlt(P,R))) | 36856 | 98256440 | o1(o2(x,o2(x,x))) | true | 124695 | 124695 | -0.05339 | 0.4665 | 0.4434 | 0.2824 | 0.5314 | -0.9988 | 0.9992 | 1.998 | 1 | 4.951 | 0.003645 | 0.004371 | 0.06942 | -0.09054 | 1 | -0.00004747 | 0.0004784 | 0.01632 | 0.003197 | 0.05654 | 0.8144 | 0.2334 | 0.02839 | 0.001694 | 1 | 1 | 0.01566 | 0.2016 | 0.5072 | 0.05544 | 0.7138 | 1.796 | json |
| t12_x20_u6_b3 | 12 | 20 | 6 | 3 | ![]() |
nrm(add(R,div(P,R))) | 36857 | 98256441 | o1(o2(x,o2(x,x))) | true | 124703 | 124703 | -0.02992 | 0.4817 | 0.4584 | 0.3027 | 0.5502 | -1 | 0.9999 | 2 | 1 | 4.96 | 0.003843 | 0.00507 | 0.07326 | -0.1376 | 1 | -0.00003258 | 0.0005319 | 0.01724 | 0.003546 | 0.05955 | 0.8129 | 0.2338 | 0.02945 | 0.001757 | 1 | 1 | 0.01708 | 0.2206 | 0.599 | 0.05644 | 0.7287 | 1.979 | json |
| t12_x20_u6_b4 | 12 | 20 | 6 | 4 | ![]() |
nrm(add(R,pow(P,R))) | 36858 | 98256442 | o1(o2(x,o2(x,x))) | true | 124711 | 124711 | -0.7332 | 0.1699 | 0.8229 | 0.2627 | 0.5126 | -1 | 0.999 | 1.999 | 1 | 1.59 | 0.003264 | 0.003168 | 0.01295 | 0.01493 | 1 | -0.00001121 | 0.01196 | 0.0116 | 0.006262 | 0.07913 | 6.111 | 1.952 | 0.02448 | 0.0455 | 1 | 1 | 0.00925 | 0.04686 | 0.1645 | 0.0352 | 0.1783 | 0.626 | json |
| t12_x20_u6_b5 | 12 | 20 | 6 | 5 | ![]() |
nrm(add(R,mod(P,R))) | 36859 | 98256443 | o1(o2(x,o2(x,x))) | true | 124719 | 124719 | 0.008747 | 0.5113 | 0.3761 | 0.2017 | 0.4491 | -0.9919 | 0.9946 | 1.987 | 1 | 4.81 | 0.002558 | 0.002708 | 0.05914 | -0.02846 | 1 | -0.000005017 | 0.000309 | 0.01361 | 0.001769 | 0.04205 | 0.7111 | 0.228 | 0.02611 | 0.001532 | 1 | 1 | 0.01045 | 0.1342 | 0.3562 | 0.0518 | 0.6656 | 1.766 | json |
| t12_x20_u6_b6 | 12 | 20 | 6 | 6 | ![]() |
nrm(add(R,lrg(P,R))) | 36860 | 98256444 | o1(o2(x,o2(x,x))) | true | 124727 | 124727 | 0.3473 | 0.7805 | 0.4901 | 0.1824 | 0.4271 | -0.9838 | 0.9974 | 1.981 | 1 | 4.581 | 0.001228 | 0.001547 | 0.04031 | -0.115 | 1 | 0.00002855 | 0.0001629 | 0.009243 | 0.001151 | 0.03393 | 0.8417 | 0.2115 | 0.01522 | 0.0008931 | 1 | 1 | 0.005162 | 0.0657 | 0.1962 | 0.0283 | 0.3602 | 1.076 | json |
| t12_x20_u6_b7 | 12 | 20 | 6 | 7 | ![]() |
nrm(add(R,eql(P,R))) | 36861 | 98256445 | o1(o2(x,o2(x,x))) | true | 124735 | 124735 | -0.004333 | 0.4894 | 0.3952 | 0.209 | 0.4572 | -0.9488 | 0.9534 | 1.902 | 1 | 4.783 | 0.002736 | 0.002944 | 0.06188 | -0.03652 | 1 | -0.000006012 | 0.0003349 | 0.01431 | 0.001851 | 0.04303 | 0.6953 | 0.2114 | 0.02718 | 0.001602 | 1 | 1 | 0.01108 | 0.1426 | 0.3701 | 0.05303 | 0.6821 | 1.771 | json |
| t12_x20_u6_b8 | 12 | 20 | 6 | 8 | ![]() |
nrm(add(R,min(P,R))) | 36862 | 98256446 | o1(o2(x,o2(x,x))) | true | 124743 | 124743 | -0.3657 | 0.2388 | 0.5293 | 0.2546 | 0.5046 | -1 | 0.9927 | 1.993 | 1 | 4.554 | 0.001484 | 0.001173 | 0.03343 | 0.1169 | 1 | -0.00002532 | 0.0001596 | 0.007751 | 0.00154 | 0.03924 | 1.174 | 0.2218 | 0.01044 | 0.0006269 | 1 | 1 | 0.005867 | 0.07658 | 0.2371 | 0.02304 | 0.3008 | 0.9313 | json |
| t12_x20_u6_b9 | 12 | 20 | 6 | 9 | ![]() |
nrm(add(R,dot(P,R))) | 36863 | 98256447 | o1(o2(x,o2(x,x))) | true | 124751 | 124751 | -0.05562 | 0.4429 | 0.398 | 0.1953 | 0.4419 | -0.835 | 0.9439 | 1.779 | 1 | 4.524 | 0.002471 | 0.00292 | 0.05798 | -0.08335 | 1 | -0.00006651 | 0.0003134 | 0.01366 | 0.002029 | 0.04504 | 0.7768 | 0.2017 | 0.02761 | 0.001605 | 1 | 1 | 0.01047 | 0.1356 | 0.3849 | 0.0536 | 0.6944 | 1.971 | json |
| t12_x20_u6_b10 | 12 | 20 | 6 | 10 | ![]() |
nrm(add(R,dst(P,R))) | 36864 | 98256448 | o1(o2(x,o2(x,x))) | true | 124759 | 124759 | 0.5744 | 1 | 0.5744 | 0.002455 | 0.04955 | 0.2146 | 0.7747 | 0.5601 | 1 | 1.674 | 0.00004334 | 0.00003587 | 0.006192 | 0.09432 | 0 | 5.868e-7 | 0.000004869 | 0.001438 | 0.00004087 | 0.006393 | 1.032 | 0.06431 | 0.03226 | 0.001983 | 1 | 1 | 0.0002383 | 0.003088 | 0.007167 | 0.09708 | 1.258 | 2.919 | json |
| t12_x20_u6_b11 | 12 | 20 | 6 | 11 | ![]() |
nrm(sub(R,add(P,R))) | 36865 | 98256449 | o1(o2(x,o2(x,x))) | true | 124767 | 124767 | -0.01563 | 0.4896 | 0.6504 | 0.5048 | 0.7105 | -1 | 1 | 2 | 1 | 4.761 | 0.001863 | 0.00124 | 0.01041 | 0.2009 | 1 | -7.626e-12 | 0.00612 | 0.00575 | 0.002995 | 0.05472 | 5.255 | 2 | 0.006147 | 0.01212 | 1 | 1 | 0.005637 | 0.02655 | 0.1534 | 0.01117 | 0.05259 | 0.3039 | json |
| t12_x20_u6_b12 | 12 | 20 | 6 | 12 | ![]() |
nrm(sub(R,sub(P,R))) | 36866 | 98256450 | o1(o2(x,o2(x,x))) | true | 124775 | 124775 | 0.009266 | 0.5075 | 0.6149 | 0.4552 | 0.6747 | -0.9966 | 0.9995 | 1.996 | 1 | 4.858 | 0.0004523 | 0.0003034 | 0.01784 | 0.197 | 1 | 3.274e-7 | 0.00004322 | 0.003991 | 0.0004375 | 0.02092 | 1.172 | 0.1929 | 0.00166 | 0.00009495 | 1 | 1 | 0.002268 | 0.0295 | 0.1238 | 0.004982 | 0.06482 | 0.272 | json |
| t12_x20_u6_b13 | 12 | 20 | 6 | 13 | ![]() |
nrm(sub(R,mlt(P,R))) | 36867 | 98256451 | o1(o2(x,o2(x,x))) | true | 124783 | 124783 | 0.04574 | 0.5425 | 0.4452 | 0.2855 | 0.5343 | -0.9963 | 0.9976 | 1.994 | 1 | 4.952 | 0.00351 | 0.004222 | 0.06721 | -0.09216 | 1 | 0.00003513 | 0.0004575 | 0.01578 | 0.003214 | 0.0567 | 0.8435 | 0.233 | 0.02708 | 0.001603 | 1 | 1 | 0.01495 | 0.1925 | 0.5288 | 0.05237 | 0.6741 | 1.852 | json |
| t12_x20_u6_b14 | 12 | 20 | 6 | 14 | ![]() |
nrm(sub(R,div(P,R))) | 36868 | 98256452 | o1(o2(x,o2(x,x))) | true | 124791 | 124791 | 0.02877 | 0.5152 | 0.46 | 0.3039 | 0.5512 | -0.9999 | 1 | 2 | 1 | 4.956 | 0.003906 | 0.004941 | 0.07278 | -0.117 | 1 | 0.00003609 | 0.0005258 | 0.01708 | 0.00355 | 0.05958 | 0.8187 | 0.2338 | 0.02912 | 0.00173 | 1 | 1 | 0.01681 | 0.2169 | 0.6118 | 0.05532 | 0.7138 | 2.013 | json |
| t12_x20_u6_b15 | 12 | 20 | 6 | 15 | ![]() |
nrm(sub(R,pow(P,R))) | 36869 | 98256453 | o1(o2(x,o2(x,x))) | true | 124799 | 124799 | -0.8384 | 0 | 0.8384 | 0.1059 | 0.3255 | -1 | 0 | 1 | 1 | 1.593 | 0.001722 | 0.002227 | 0.01216 | -0.1278 | 1 | 0.00000668 | 0.007072 | 0.009318 | 0.003802 | 0.06166 | 5.071 | 1.414 | 0.03728 | 0.06677 | 1 | 1 | 0.005078 | 0.02823 | 0.08518 | 0.04794 | 0.2665 | 0.8041 | json |
| t12_x20_u6_b16 | 12 | 20 | 6 | 16 | ![]() |
nrm(sub(R,mod(P,R))) | 36870 | 98256454 | o1(o2(x,o2(x,x))) | true | 124807 | 124807 | -0.007173 | 0.4791 | 0.3839 | 0.2089 | 0.4571 | -0.9882 | 0.9945 | 1.983 | 1 | 4.84 | 0.002389 | 0.002714 | 0.0587 | -0.06381 | 1 | -0.000009782 | 0.0002999 | 0.01349 | 0.001658 | 0.04071 | 0.6936 | 0.2115 | 0.02442 | 0.001435 | 1 | 1 | 0.009965 | 0.1281 | 0.3263 | 0.04769 | 0.6129 | 1.562 | json |
| t12_x20_u6_b17 | 12 | 20 | 6 | 17 | ![]() |
nrm(sub(R,lrg(P,R))) | 36871 | 98256455 | o1(o2(x,o2(x,x))) | true | 124815 | 124815 | -0.261 | 0.2683 | 0.4188 | 0.1649 | 0.4061 | -0.9968 | 0.9715 | 1.968 | 1 | 4.616 | 0.00127 | 0.001401 | 0.04016 | -0.04913 | 1 | 0.00001069 | 0.0001551 | 0.009137 | 0.001059 | 0.03254 | 0.8103 | 0.2114 | 0.0162 | 0.0009405 | 1 | 1 | 0.005619 | 0.07187 | 0.2022 | 0.03407 | 0.4358 | 1.226 | json |
| t12_x20_u6_b18 | 12 | 20 | 6 | 18 | ![]() |
nrm(sub(R,eql(P,R))) | 36872 | 98256456 | o1(o2(x,o2(x,x))) | true | 124823 | 124823 | -0.004333 | 0.4894 | 0.3952 | 0.209 | 0.4572 | -0.9488 | 0.9534 | 1.902 | 1 | 4.783 | 0.002736 | 0.002944 | 0.06188 | -0.03652 | 1 | -0.000006012 | 0.0003349 | 0.01431 | 0.001851 | 0.04303 | 0.6953 | 0.2114 | 0.02718 | 0.001602 | 1 | 1 | 0.01108 | 0.1426 | 0.3701 | 0.05303 | 0.6821 | 1.771 | json |
| t12_x20_u6_b19 | 12 | 20 | 6 | 19 | ![]() |
nrm(sub(R,min(P,R))) | 36873 | 98256457 | o1(o2(x,o2(x,x))) | true | 124831 | 124831 | 0.1306 | 0.4975 | 0.6463 | 0.5871 | 0.7662 | -1 | 1 | 2 | 1 | 2.81 | 0.00894 | 0.005466 | 0.01388 | 0.2412 | 1 | -0.00001002 | 0.02931 | 0.02086 | 0.01421 | 0.1192 | 8.586 | 2 | 0.02454 | 0.04993 | 1 | 1 | 0.01721 | 0.07374 | 0.2927 | 0.02931 | 0.1256 | 0.4986 | json |
| t12_x20_u6_b20 | 12 | 20 | 6 | 20 | ![]() |
nrm(sub(R,dot(P,R))) | 36874 | 98256458 | o1(o2(x,o2(x,x))) | true | 124839 | 124839 | 0.04258 | 0.5376 | 0.4062 | 0.2041 | 0.4518 | -0.9306 | 0.8775 | 1.808 | 1 | 4.576 | 0.002621 | 0.003264 | 0.06118 | -0.1092 | 1 | 0.00004267 | 0.0003401 | 0.01446 | 0.002141 | 0.04627 | 0.7563 | 0.1982 | 0.02883 | 0.001666 | 1 | 1 | 0.01181 | 0.1519 | 0.4066 | 0.05784 | 0.7439 | 1.992 | json |
| t12_x20_u6_b21 | 12 | 20 | 6 | 21 | ![]() |
nrm(sub(R,dst(P,R))) | 36875 | 98256459 | o1(o2(x,o2(x,x))) | true | 124847 | 124847 | -0.5697 | 0 | 0.5697 | 0.0031 | 0.05568 | -0.7676 | -0.1733 | 0.5944 | 1 | 1.784 | 0.00005418 | 0.00004279 | 0.006573 | 0.1174 | 0 | 5.508e-7 | 0.000006112 | 0.001531 | 0.00005376 | 0.007332 | 1.115 | 0.0695 | 0.03128 | 0.001971 | 1 | 1 | 0.0002999 | 0.003888 | 0.008934 | 0.09674 | 1.254 | 2.881 | json |
| t12_x20_u6_b22 | 12 | 20 | 6 | 22 | ![]() |
nrm(mlt(R,add(P,R))) | 36876 | 98256460 | o1(o2(x,o2(x,x))) | true | 124855 | 124855 | 0.009055 | 0.52 | 0.467 | 0.3057 | 0.5529 | -0.9998 | 0.9999 | 2 | 1 | 4.98 | 0.003691 | 0.00456 | 0.07023 | -0.1052 | 1 | -0.00004104 | 0.0004909 | 0.01648 | 0.003319 | 0.05761 | 0.8203 | 0.2331 | 0.02699 | 0.001606 | 1 | 1 | 0.01626 | 0.2093 | 0.5583 | 0.05319 | 0.6848 | 1.826 | json |
| t12_x20_u6_b23 | 12 | 20 | 6 | 23 | ![]() |
nrm(mlt(R,sub(P,R))) | 36877 | 98256461 | o1(o2(x,o2(x,x))) | true | 124863 | 124863 | -0.1033 | 0.4099 | 0.4634 | 0.2938 | 0.5421 | -0.9998 | 0.9987 | 1.998 | 1 | 4.95 | 0.00376 | 0.004479 | 0.07003 | -0.08728 | 1 | -0.0000457 | 0.0004899 | 0.01644 | 0.003335 | 0.05775 | 0.8246 | 0.2331 | 0.02804 | 0.001667 | 1 | 1 | 0.01629 | 0.2099 | 0.5553 | 0.05543 | 0.7144 | 1.89 | json |
| t12_x20_u6_b24 | 12 | 20 | 6 | 24 | ![]() |
nrm(mlt(R,mlt(P,R))) | 36878 | 98256462 | o1(o2(x,o2(x,x))) | true | 124871 | 124871 | -0.01625 | 0.4898 | 0.6094 | 0.4777 | 0.6911 | -1 | 1 | 2 | 1 | 4.765 | 0.002712 | 0.00223 | 0.03576 | 0.09761 | 1 | -0.000006479 | 0.006249 | 0.0119 | 0.003664 | 0.06053 | 1.693 | 2 | 0.01035 | 0.01308 | 1 | 1 | 0.008894 | 0.06846 | 0.2706 | 0.01862 | 0.1433 | 0.5665 | json |
| t12_x20_u6_b25 | 12 | 20 | 6 | 25 | ![]() |
nrm(mlt(R,div(P,R))) | 36879 | 98256463 | o1(o2(x,o2(x,x))) | true | 124879 | 124879 | -0.01562 | 0.4896 | 0.6504 | 0.5048 | 0.7105 | -1 | 1 | 2 | 1 | 4.761 | 0.001863 | 0.00124 | 0.0104 | 0.2009 | 1 | 3.79e-11 | 0.00612 | 0.00575 | 0.002995 | 0.05473 | 5.261 | 2.414 | 0.006147 | 0.01212 | 1 | 1 | 0.005637 | 0.02655 | 0.1534 | 0.01117 | 0.05259 | 0.3039 | json |
| t12_x20_u6_b26 | 12 | 20 | 6 | 26 | ![]() |
nrm(mlt(R,pow(P,R))) | 36880 | 98256464 | o1(o2(x,o2(x,x))) | true | 124887 | 124887 | -0.7653 | 0.09488 | 0.8255 | 0.2162 | 0.465 | -1 | 0.9994 | 1.999 | 1 | 1.692 | 0.003251 | 0.003351 | 0.01484 | -0.01526 | 1 | -0.000017 | 0.01178 | 0.0119 | 0.00638 | 0.07987 | 5.383 | 1.999 | 0.03053 | 0.05448 | 1 | 1 | 0.009569 | 0.05002 | 0.1732 | 0.04425 | 0.2313 | 0.801 | json |
| t12_x20_u6_b27 | 12 | 20 | 6 | 27 | ![]() |
nrm(mlt(R,mod(P,R))) | 36881 | 98256465 | o1(o2(x,o2(x,x))) | true | 124895 | 124895 | -0.05753 | 0.4445 | 0.4564 | 0.303 | 0.5505 | -1 | 1 | 2 | 1 | 4.931 | 0.005561 | 0.005612 | 0.07577 | -0.004515 | 1 | -0.00006876 | 0.006137 | 0.02108 | 0.005432 | 0.0737 | 0.9727 | 2 | 0.03687 | 0.02025 | 1 | 1 | 0.02104 | 0.2282 | 0.6196 | 0.06944 | 0.7531 | 2.045 | json |
| t12_x20_u6_b28 | 12 | 20 | 6 | 28 | ![]() |
nrm(mlt(R,lrg(P,R))) | 36882 | 98256466 | o1(o2(x,o2(x,x))) | true | 124903 | 124903 | -0.2921 | 0.218 | 0.5055 | 0.3367 | 0.5802 | -1 | 1 | 2 | 1 | 3.849 | 0.005398 | 0.005624 | 0.04639 | -0.0205 | 1 | -0.00003382 | 0.01335 | 0.02185 | 0.008869 | 0.09417 | 2.03 | 1.999 | 0.03274 | 0.03966 | 1 | 1 | 0.0167 | 0.1435 | 0.3654 | 0.0496 | 0.4263 | 1.085 | json |
| t12_x20_u6_b29 | 12 | 20 | 6 | 29 | ![]() |
nrm(mlt(R,eql(P,R))) | 36883 | 98256467 | o1(o2(x,o2(x,x))) | true | 124911 | 124911 | -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 |
| t12_x20_u6_b30 | 12 | 20 | 6 | 30 | ![]() |
nrm(mlt(R,min(P,R))) | 36884 | 98256468 | o1(o2(x,o2(x,x))) | true | 124919 | 124919 | 0.1853 | 0.7507 | 0.4752 | 0.2919 | 0.5403 | -0.9999 | 1 | 2 | 1 | 4.727 | 0.002907 | 0.003355 | 0.05583 | -0.07144 | 1 | -0.00001677 | 0.0003655 | 0.01321 | 0.003145 | 0.05608 | 1.004 | 0.2337 | 0.02145 | 0.001252 | 1 | 1 | 0.01232 | 0.1578 | 0.4526 | 0.0422 | 0.5405 | 1.551 | json |
| t12_x20_u6_b31 | 12 | 20 | 6 | 31 | ![]() |
nrm(mlt(R,dot(P,R))) | 36885 | 98256469 | o1(o2(x,o2(x,x))) | true | 124927 | 124927 | -0.01146 | 0.4949 | 0.465 | 0.271 | 0.5206 | -1 | 0.9487 | 1.949 | 1 | 4.832 | 0.002728 | 0.00308 | 0.04594 | -0.06067 | 1 | -0.000005746 | 0.005375 | 0.01387 | 0.003698 | 0.06081 | 1.324 | 2.033 | 0.02143 | 0.01983 | 1 | 1 | 0.01078 | 0.1001 | 0.3076 | 0.03976 | 0.3694 | 1.135 | json |
| t12_x20_u6_b32 | 12 | 20 | 6 | 32 | ![]() |
nrm(mlt(R,dst(P,R))) | 36886 | 98256470 | o1(o2(x,o2(x,x))) | true | 124935 | 124935 | -0.004333 | 0.4894 | 0.3952 | 0.209 | 0.4572 | -0.9488 | 0.9534 | 1.902 | 1 | 4.783 | 0.002736 | 0.002944 | 0.06188 | -0.03652 | 1 | -0.000006012 | 0.0003349 | 0.01431 | 0.001851 | 0.04303 | 0.6953 | 0.2114 | 0.02718 | 0.001602 | 1 | 1 | 0.01108 | 0.1426 | 0.3701 | 0.05303 | 0.6821 | 1.771 | json |
| t12_x20_u6_b33 | 12 | 20 | 6 | 33 | ![]() |
nrm(div(R,add(P,R))) | 36887 | 98256471 | o1(o2(x,o2(x,x))) | true | 124943 | 124943 | 0.003098 | 0.472 | 0.1575 | 0.05759 | 0.24 | -0.993 | 0.707 | 1.7 | 1 | 3.673 | 0.0009396 | 0.0005404 | 0.02429 | 0.2698 | 1 | -0.000007113 | 0.00008107 | 0.005522 | 0.0008901 | 0.02983 | 1.228 | 0.1979 | 0.0257 | 0.001408 | 1 | 1 | 0.003295 | 0.04262 | 0.1212 | 0.05722 | 0.7401 | 2.104 | json |
| t12_x20_u6_b34 | 12 | 20 | 6 | 34 | ![]() |
nrm(div(R,sub(P,R))) | 36888 | 98256472 | o1(o2(x,o2(x,x))) | true | 124951 | 124951 | -0.003167 | 0.4652 | 0.1592 | 0.06088 | 0.2467 | -0.707 | 0.9994 | 1.706 | 1 | 3.677 | 0.001063 | 0.0005668 | 0.02494 | 0.3046 | 1 | -0.000008821 | 0.00008831 | 0.00567 | 0.001008 | 0.03175 | 1.273 | 0.1988 | 0.02678 | 0.001451 | 1 | 1 | 0.003591 | 0.04637 | 0.1167 | 0.05899 | 0.7616 | 1.917 | json |
| t12_x20_u6_b35 | 12 | 20 | 6 | 35 | ![]() |
nrm(div(R,mlt(P,R))) | 36889 | 98256473 | o1(o2(x,o2(x,x))) | true | 124959 | 124959 | -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 |
| t12_x20_u6_b36 | 12 | 20 | 6 | 36 | ![]() |
nrm(div(R,div(P,R))) | 36890 | 98256474 | o1(o2(x,o2(x,x))) | true | 124967 | 124967 | -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 |
| t12_x20_u6_b37 | 12 | 20 | 6 | 37 | ![]() |
nrm(div(R,pow(P,R))) | 36891 | 98256475 | o1(o2(x,o2(x,x))) | true | 124975 | 124975 | -0.7754 | 0.09937 | 0.8366 | 0.208 | 0.4561 | -1 | 0.9994 | 1.999 | 1 | 1.761 | 0.00372 | 0.003041 | 0.01662 | 0.1004 | 1 | -0.00001315 | 0.01161 | 0.01215 | 0.006484 | 0.08052 | 4.844 | 1.999 | 0.0325 | 0.0558 | 1 | 1 | 0.008444 | 0.05795 | 0.1929 | 0.04059 | 0.2785 | 0.9272 | json |
| t12_x20_u6_b38 | 12 | 20 | 6 | 38 | ![]() |
nrm(div(R,mod(P,R))) | 36892 | 98256476 | o1(o2(x,o2(x,x))) | true | 124983 | 124983 | -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 |
| t12_x20_u6_b39 | 12 | 20 | 6 | 39 | ![]() |
nrm(div(R,lrg(P,R))) | 36893 | 98256477 | o1(o2(x,o2(x,x))) | true | 124991 | 124991 | -0.5326 | 0.1055 | 0.5979 | 0.285 | 0.5338 | -1 | 0.9368 | 1.937 | 1 | 2.287 | 0.004867 | 0.000859 | 0.01494 | 0.6999 | 1 | -0.000003476 | 0.01006 | 0.0114 | 0.005503 | 0.07418 | 4.964 | 1.937 | 0.02009 | 0.0353 | 1 | 1 | 0.00718 | 0.04406 | 0.1632 | 0.02519 | 0.1546 | 0.5726 | json |
| t12_x20_u6_b40 | 12 | 20 | 6 | 40 | ![]() |
nrm(div(R,eql(P,R))) | 36894 | 98256478 | o1(o2(x,o2(x,x))) | true | 124999 | 124999 | -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 |
| t12_x20_u6_b41 | 12 | 20 | 6 | 41 | ![]() |
nrm(div(R,min(P,R))) | 36895 | 98256479 | o1(o2(x,o2(x,x))) | true | 125007 | 125007 | 0.07521 | 0.6095 | 0.2599 | 0.1587 | 0.3984 | -1 | 0.7071 | 1.707 | 1 | 3.561 | 0.007407 | 0.002809 | 0.02827 | 0.4501 | 1 | 0.000007154 | 0.01858 | 0.01975 | 0.009416 | 0.09704 | 3.432 | 1.703 | 0.06436 | 0.1171 | 1 | 1 | 0.01553 | 0.07954 | 0.2808 | 0.0978 | 0.5011 | 1.769 | json |
| t12_x20_u6_b42 | 12 | 20 | 6 | 42 | ![]() |
nrm(div(R,dot(P,R))) | 36896 | 98256480 | o1(o2(x,o2(x,x))) | true | 125015 | 125015 | -0.01146 | 0.4949 | 0.465 | 0.271 | 0.5206 | -1 | 0.9487 | 1.949 | 1 | 4.832 | 0.002728 | 0.00308 | 0.04594 | -0.06067 | 1 | -0.000005746 | 0.005375 | 0.01387 | 0.003698 | 0.06081 | 1.324 | 2.033 | 0.02143 | 0.01983 | 1 | 1 | 0.01078 | 0.1001 | 0.3076 | 0.03976 | 0.3694 | 1.135 | json |
| t12_x20_u6_b43 | 12 | 20 | 6 | 43 | ![]() |
nrm(div(R,dst(P,R))) | 36897 | 98256481 | o1(o2(x,o2(x,x))) | true | 125023 | 125023 | -0.004333 | 0.4894 | 0.3952 | 0.209 | 0.4572 | -0.9488 | 0.9534 | 1.902 | 1 | 4.783 | 0.002736 | 0.002944 | 0.06188 | -0.03652 | 1 | -0.000006012 | 0.0003349 | 0.01431 | 0.001851 | 0.04303 | 0.6953 | 0.2114 | 0.02718 | 0.001602 | 1 | 1 | 0.01108 | 0.1426 | 0.3701 | 0.05303 | 0.6821 | 1.771 | json |
| t12_x20_u6_b44 | 12 | 20 | 6 | 44 | ![]() |
nrm(pow(R,add(P,R))) | 36898 | 98256482 | o1(o2(x,o2(x,x))) | true | 125031 | 125031 | -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 |
| t12_x20_u6_b45 | 12 | 20 | 6 | 45 | ![]() |
nrm(pow(R,sub(P,R))) | 36899 | 98256483 | o1(o2(x,o2(x,x))) | true | 125039 | 125039 | -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 |



































































































