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_x6_u3_b67 | 12 | 6 | 3 | 67 | ![]() |
flr(lrg(P,sub(R,P))) | 24700 | 97690288 | o1(o2(x,o2(x,x))) | true | 27447 | 27447 | 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_x6_u3_b68 | 12 | 6 | 3 | 68 | ![]() |
flr(lrg(P,mlt(R,P))) | 24701 | 97690289 | o1(o2(x,o2(x,x))) | true | 27455 | 27455 | 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 |
| t12_x6_u3_b69 | 12 | 6 | 3 | 69 | ![]() |
flr(lrg(P,div(R,P))) | 24702 | 97690290 | o1(o2(x,o2(x,x))) | true | 27463 | 27463 | 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_x6_u3_b70 | 12 | 6 | 3 | 70 | ![]() |
flr(lrg(P,pow(R,P))) | 24703 | 97690291 | o1(o2(x,o2(x,x))) | true | 27471 | 27471 | 0.6973 | 0.9407 | 0.6973 | 0.1611 | 0.4014 | 0 | 1 | 1 | 1 | 2.432 | 0.001249 | 0.001126 | 0.02758 | 0.05192 | 1 | -0.00001213 | 0.00013 | 0.006626 | 0.001615 | 0.04018 | 1.457 | 0.1169 | 0.01474 | 0.0008068 | 1 | 1 | 0.004847 | 0.06213 | 0.1947 | 0.03008 | 0.3856 | 1.208 | json |
| t12_x6_u3_b71 | 12 | 6 | 3 | 71 | ![]() |
flr(lrg(P,mod(R,P))) | 24704 | 97690292 | o1(o2(x,o2(x,x))) | true | 27479 | 27479 | 0.5313 | 0.5625 | 0.5313 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t12_x6_u3_b72 | 12 | 6 | 3 | 72 | ![]() |
flr(lrg(P,lrg(R,P))) | 24705 | 97690293 | o1(o2(x,o2(x,x))) | true | 27487 | 27487 | 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 |
| t12_x6_u3_b73 | 12 | 6 | 3 | 73 | ![]() |
flr(lrg(P,eql(R,P))) | 24706 | 97690294 | o1(o2(x,o2(x,x))) | true | 27495 | 27495 | 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 |
| t12_x6_u3_b74 | 12 | 6 | 3 | 74 | ![]() |
flr(lrg(P,min(R,P))) | 24707 | 97690295 | o1(o2(x,o2(x,x))) | true | 27503 | 27503 | 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_x6_u3_b75 | 12 | 6 | 3 | 75 | ![]() |
flr(lrg(P,dot(R,P))) | 24708 | 97690296 | o1(o2(x,o2(x,x))) | true | 27511 | 27511 | 0.5117 | 0.7632 | 0.5117 | 0.1946 | 0.4411 | 0 | 1 | 1 | 1 | 2.719 | 0.001185 | 0.001347 | 0.02986 | -0.06396 | 1 | 0.00001711 | 0.0001497 | 0.007269 | 0.001641 | 0.0405 | 1.356 | 0.1169 | 0.01301 | 0.0007692 | 1 | 1 | 0.005161 | 0.0666 | 0.2014 | 0.02652 | 0.3423 | 1.035 | json |
| t12_x6_u3_b76 | 12 | 6 | 3 | 76 | ![]() |
flr(lrg(P,dst(R,P))) | 24709 | 97690297 | o1(o2(x,o2(x,x))) | true | 27519 | 27519 | 0.05859 | 0.1298 | 0.05859 | 0.04026 | 0.2006 | 0 | 1 | 1 | 1 | 0.8457 | 0.0002966 | 0.0003752 | 0.007902 | -0.117 | 1 | 0.00001141 | 0.00004128 | 0.00194 | 0.0006089 | 0.02467 | 3.123 | 0.1169 | 0.01669 | 0.001025 | 1 | 1 | 0.001622 | 0.0212 | 0.07572 | 0.04029 | 0.5265 | 1.881 | json |
| t12_x6_u3_b77 | 12 | 6 | 3 | 77 | ![]() |
flr(eql(P,add(R,P))) | 24710 | 97690298 | o1(o2(x,o2(x,x))) | true | 27527 | 27527 | 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_x6_u3_b78 | 12 | 6 | 3 | 78 | ![]() |
flr(eql(P,sub(R,P))) | 24711 | 97690299 | o1(o2(x,o2(x,x))) | true | 27535 | 27535 | 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_x6_u3_b79 | 12 | 6 | 3 | 79 | ![]() |
flr(eql(P,mlt(R,P))) | 24712 | 97690300 | o1(o2(x,o2(x,x))) | true | 27543 | 27543 | 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_x6_u3_b80 | 12 | 6 | 3 | 80 | ![]() |
flr(eql(P,div(R,P))) | 24713 | 97690301 | o1(o2(x,o2(x,x))) | true | 27551 | 27551 | 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_x6_u3_b81 | 12 | 6 | 3 | 81 | ![]() |
flr(eql(P,pow(R,P))) | 24714 | 97690302 | o1(o2(x,o2(x,x))) | true | 27559 | 27559 | 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_x6_u3_b82 | 12 | 6 | 3 | 82 | ![]() |
flr(eql(P,mod(R,P))) | 24715 | 97690303 | o1(o2(x,o2(x,x))) | true | 27567 | 27567 | 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_x6_u3_b83 | 12 | 6 | 3 | 83 | ![]() |
flr(eql(P,lrg(R,P))) | 24716 | 97690304 | o1(o2(x,o2(x,x))) | true | 27575 | 27575 | 0.03516 | 0.09119 | 0.03516 | 0.02431 | 0.1559 | 0 | 0.9997 | 0.9997 | 1 | 0.5835 | 0.0003631 | 0.0001053 | 0.005422 | 0.5502 | 1 | 0.000005704 | 0.00002431 | 0.001291 | 0.0004388 | 0.02095 | 3.863 | 0.1169 | 0.01927 | 0.001 | 1 | 1 | 0.001224 | 0.01595 | 0.05043 | 0.05036 | 0.656 | 2.074 | json |
| t12_x6_u3_b84 | 12 | 6 | 3 | 84 | ![]() |
flr(eql(P,eql(R,P))) | 24717 | 97690305 | o1(o2(x,o2(x,x))) | true | 27583 | 27583 | 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_x6_u3_b85 | 12 | 6 | 3 | 85 | ![]() |
flr(eql(P,min(R,P))) | 24718 | 97690306 | o1(o2(x,o2(x,x))) | true | 27591 | 27591 | 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_x6_u3_b86 | 12 | 6 | 3 | 86 | ![]() |
flr(eql(P,dot(R,P))) | 24719 | 97690307 | o1(o2(x,o2(x,x))) | true | 27599 | 27599 | 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_x6_u3_b87 | 12 | 6 | 3 | 87 | ![]() |
flr(eql(P,dst(R,P))) | 24720 | 97690308 | o1(o2(x,o2(x,x))) | true | 27607 | 27607 | 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_x6_u3_b88 | 12 | 6 | 3 | 88 | ![]() |
flr(min(P,add(R,P))) | 24721 | 97690309 | o1(o2(x,o2(x,x))) | true | 27615 | 27615 | -0.05877 | 0.4723 | 0.9451 | 0.9283 | 0.9635 | -1 | 1 | 2 | 1 | 1.786 | 0.001009 | 0.0002866 | 0.01014 | 0.5576 | 1 | -0.00001667 | 0.000135 | 0.00275 | 0.001193 | 0.03453 | 3.406 | 0.2338 | 0.001396 | 0.0001454 | 1 | 1 | 0.003407 | 0.04218 | 0.2644 | 0.00367 | 0.04544 | 0.2848 | json |
| t12_x6_u3_b89 | 12 | 6 | 3 | 89 | ![]() |
flr(min(P,sub(R,P))) | 24722 | 97690310 | o1(o2(x,o2(x,x))) | true | 27623 | 27623 | -0.9751 | 0 | 0.9751 | 0.01744 | 0.1321 | -1 | -0.000291 | 0.9997 | 1 | 0.4373 | 0.0003484 | 0.0001106 | 0.004435 | 0.5181 | 1 | -0.000003565 | 0.00006659 | 0.001297 | 0.0004391 | 0.02095 | 4.725 | 0.2265 | 0.02632 | 0.003818 | 1 | 1 | 0.001267 | 0.01486 | 0.04134 | 0.07267 | 0.8519 | 2.37 | json |
| t12_x6_u3_b90 | 12 | 6 | 3 | 90 | ![]() |
flr(min(P,mlt(R,P))) | 24723 | 97690311 | o1(o2(x,o2(x,x))) | true | 27631 | 27631 | -0.6121 | 0.1353 | 0.8372 | 0.4283 | 0.6544 | -1 | 1 | 2 | 1 | 2.33 | 0.009166 | 0.008613 | 0.04691 | 0.03111 | 1 | -0.000001385 | 0.009981 | 0.02503 | 0.01558 | 0.1248 | 2.661 | 1.34 | 0.04151 | 0.02331 | 1 | 1 | 0.0247 | 0.227 | 0.6093 | 0.05768 | 0.53 | 1.423 | json |
| t12_x6_u3_b91 | 12 | 6 | 3 | 91 | ![]() |
flr(min(P,div(R,P))) | 24724 | 97690312 | o1(o2(x,o2(x,x))) | true | 27639 | 27639 | -0.7842 | 0 | 0.7842 | 0.1216 | 0.3487 | -1 | 0 | 1 | 1 | 2.221 | 0.002709 | 0.002789 | 0.02901 | -0.01453 | 1 | -0.00001853 | 0.006969 | 0.01369 | 0.004657 | 0.06824 | 2.352 | 1.414 | 0.04522 | 0.05732 | 1 | 1 | 0.008589 | 0.06965 | 0.174 | 0.07064 | 0.5728 | 1.431 | json |
| t12_x6_u3_b92 | 12 | 6 | 3 | 92 | ![]() |
flr(min(P,pow(R,P))) | 24725 | 97690313 | o1(o2(x,o2(x,x))) | true | 27647 | 27647 | -0.1217 | 0.4718 | 0.8158 | 0.7727 | 0.879 | -1 | 1 | 2 | 1 | 2.516 | 0.002661 | 0.002845 | 0.02798 | -0.03339 | 1 | -0.0001374 | 0.002633 | 0.01553 | 0.004725 | 0.06874 | 2.457 | 0.4702 | 0.007126 | 0.003408 | 1 | 1 | 0.009223 | 0.08456 | 0.2694 | 0.01194 | 0.1094 | 0.3487 | json |
| t12_x6_u3_b93 | 12 | 6 | 3 | 93 | ![]() |
flr(min(P,mod(R,P))) | 24726 | 97690314 | o1(o2(x,o2(x,x))) | true | 27655 | 27655 | -0.7226 | 0 | 0.7226 | 0.1447 | 0.3805 | -1 | 0 | 1 | 1 | 2.582 | 0.001352 | 0.001206 | 0.02993 | 0.05714 | 1 | -0.00002424 | 0.0001504 | 0.007283 | 0.001662 | 0.04077 | 1.362 | 0.1169 | 0.01768 | 0.001039 | 1 | 1 | 0.005236 | 0.06805 | 0.1911 | 0.03617 | 0.4701 | 1.32 | json |
| t12_x6_u3_b94 | 12 | 6 | 3 | 94 | ![]() |
flr(min(P,lrg(R,P))) | 24727 | 97690315 | o1(o2(x,o2(x,x))) | true | 27663 | 27663 | -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 |
| t12_x6_u3_b95 | 12 | 6 | 3 | 95 | ![]() |
flr(min(P,eql(R,P))) | 24728 | 97690316 | o1(o2(x,o2(x,x))) | true | 27671 | 27671 | -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 |
| t12_x6_u3_b96 | 12 | 6 | 3 | 96 | ![]() |
flr(min(P,min(R,P))) | 24729 | 97690317 | o1(o2(x,o2(x,x))) | true | 27679 | 27679 | -0.7578 | 0 | 0.7578 | 0.1282 | 0.3581 | -1 | 0 | 1 | 1 | 2.446 | 0.001205 | 0.001316 | 0.02956 | -0.04423 | 1 | -0.00002994 | 0.0001512 | 0.007216 | 0.001648 | 0.0406 | 1.373 | 0.1169 | 0.01966 | 0.001179 | 1 | 1 | 0.005145 | 0.06684 | 0.1791 | 0.04012 | 0.5213 | 1.397 | json |
| t12_x6_u3_b97 | 12 | 6 | 3 | 97 | ![]() |
flr(min(P,dot(R,P))) | 24730 | 97690318 | o1(o2(x,o2(x,x))) | true | 27687 | 27687 | -0.5904 | 0.2017 | 0.8989 | 0.5235 | 0.7235 | -1 | 1 | 2 | 1 | 1.983 | 0.01137 | 0.01311 | 0.0517 | -0.07129 | 1 | 0.00005325 | 0.0167 | 0.0328 | 0.02182 | 0.1477 | 2.857 | 1.693 | 0.04677 | 0.0319 | 1 | 1 | 0.03313 | 0.2813 | 0.8022 | 0.06329 | 0.5373 | 1.532 | json |
| t12_x6_u3_b98 | 12 | 6 | 3 | 98 | ![]() |
flr(min(P,dst(R,P))) | 24731 | 97690319 | o1(o2(x,o2(x,x))) | true | 27695 | 27695 | -0.003246 | 0.4996 | 0.9343 | 0.9203 | 0.9593 | -1 | 1 | 2 | 1 | 1.842 | 0.0007123 | 0.00003106 | 0.008208 | 0.9164 | 1 | 4.177e-11 | 0.00004306 | 0.001988 | 0.0006762 | 0.026 | 3.168 | 0.2265 | 0.0008077 | 0.00004679 | 1 | 1 | 0.001976 | 0.02569 | 0.2318 | 0.002147 | 0.02791 | 0.2519 | json |
| t12_x6_u3_b99 | 12 | 6 | 3 | 99 | ![]() |
flr(dot(P,add(R,P))) | 24732 | 97690320 | o1(o2(x,o2(x,x))) | true | 27703 | 27703 | 0.9923 | 1 | 0.9923 | 0.005497 | 0.07414 | 0.0002911 | 1 | 0.9997 | 1 | 0.1544 | 0.0001017 | 0.0001648 | 0.001699 | -0.2369 | 1 | 6.758e-11 | 0.0001031 | 0.0008022 | 0.000264 | 0.01625 | 9.566 | 0.3575 | 0.04848 | 0.01876 | 1 | 1 | 0.0008643 | 0.008108 | 0.02007 | 0.1572 | 1.475 | 3.65 | json |
| t12_x6_u3_b100 | 12 | 6 | 3 | 100 | ![]() |
flr(dot(P,sub(R,P))) | 24733 | 97690321 | o1(o2(x,o2(x,x))) | true | 27711 | 27711 | -0.9972 | 0 | 0.9972 | 0.001884 | 0.04341 | -1 | -0.0005822 | 0.9994 | 1 | 0.07127 | 0.00005929 | 0.00003905 | 0.0007438 | 0.2058 | 0 | -3.191e-11 | 0.00002882 | 0.0003263 | 0.00009775 | 0.009887 | 13.29 | 0.2407 | 0.0522 | 0.0153 | 1 | 1 | 0.0003289 | 0.003426 | 0.006871 | 0.1746 | 1.818 | 3.647 | json |
| t12_x6_u3_b101 | 12 | 6 | 3 | 101 | ![]() |
flr(dot(P,mlt(R,P))) | 24734 | 97690322 | o1(o2(x,o2(x,x))) | true | 27719 | 27719 | 0.01283 | 0.5014 | 0.9469 | 0.9307 | 0.9647 | -1 | 1 | 2 | 1 | 1.817 | 0.07358 | 0.08465 | 0.1154 | -0.06994 | 1 | -0.00004851 | 0.3284 | 0.1737 | 0.1449 | 0.3807 | 3.298 | 2.828 | 0.17 | 0.3529 | 1 | 1 | 0.1558 | 0.8226 | 1.807 | 0.1674 | 0.8838 | 1.941 | json |
| t12_x6_u3_b102 | 12 | 6 | 3 | 102 | ![]() |
flr(dot(P,div(R,P))) | 24735 | 97690323 | o1(o2(x,o2(x,x))) | true | 27727 | 27727 | -0.5556 | 0.17 | 0.7229 | 0.3397 | 0.5828 | -1 | 1 | 2 | 1 | 3.38 | 0.01077 | 0.01376 | 0.07005 | -0.1218 | 1 | 0.00009995 | 0.03307 | 0.03842 | 0.01962 | 0.1401 | 1.999 | 2.828 | 0.07221 | 0.09736 | 1 | 1 | 0.03537 | 0.2555 | 0.6822 | 0.1041 | 0.7521 | 2.008 | json |
| t12_x6_u3_b103 | 12 | 6 | 3 | 103 | ![]() |
flr(dot(P,pow(R,P))) | 24736 | 97690324 | o1(o2(x,o2(x,x))) | true | 27735 | 27735 | -0.9912 | 0.003693 | 0.9932 | 0.01028 | 0.1014 | -1 | 0.9994 | 1.999 | 1 | 0.08097 | 0.001367 | 0.0008632 | 0.00195 | 0.226 | 1 | -6.007e-11 | 0.004657 | 0.00357 | 0.002225 | 0.04717 | 24.19 | 1.999 | 0.2169 | 0.4529 | 1 | 1 | 0.00395 | 0.01566 | 0.03763 | 0.3841 | 1.523 | 3.66 | json |
| t12_x6_u3_b104 | 12 | 6 | 3 | 104 | ![]() |
flr(dot(P,mod(R,P))) | 24737 | 97690325 | o1(o2(x,o2(x,x))) | true | 27743 | 27743 | -0.4122 | 0.2913 | 0.9112 | 0.7146 | 0.8453 | -1 | 1 | 2 | 1 | 2.098 | 0.0336 | 0.03699 | 0.09005 | -0.04805 | 1 | 0.00006893 | 0.08607 | 0.08565 | 0.06244 | 0.2499 | 2.775 | 2.103 | 0.09877 | 0.1204 | 1 | 1 | 0.08518 | 0.5252 | 1.174 | 0.1192 | 0.735 | 1.643 | json |
| t12_x6_u3_b105 | 12 | 6 | 3 | 105 | ![]() |
flr(dot(P,lrg(R,P))) | 24738 | 97690326 | o1(o2(x,o2(x,x))) | true | 27751 | 27751 | -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 |
| t12_x6_u3_b106 | 12 | 6 | 3 | 106 | ![]() |
flr(dot(P,eql(R,P))) | 24739 | 97690327 | o1(o2(x,o2(x,x))) | true | 27759 | 27759 | 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_x6_u3_b107 | 12 | 6 | 3 | 107 | ![]() |
flr(dot(P,min(R,P))) | 24740 | 97690328 | o1(o2(x,o2(x,x))) | true | 27767 | 27767 | 0.6529 | 0.8327 | 0.9289 | 0.4838 | 0.6955 | -1 | 1 | 2 | 1 | 1.603 | 0.009517 | 0.01018 | 0.03914 | -0.03358 | 1 | -0.000003578 | 0.01434 | 0.02586 | 0.01816 | 0.1348 | 3.444 | 1.693 | 0.04071 | 0.02963 | 1 | 1 | 0.0257 | 0.2217 | 0.6267 | 0.05313 | 0.4584 | 1.295 | json |
| t12_x6_u3_b108 | 12 | 6 | 3 | 108 | ![]() |
flr(dot(P,dot(R,P))) | 24741 | 97690329 | o1(o2(x,o2(x,x))) | true | 27775 | 27775 | 0.03319 | 0.5118 | 0.9135 | 0.8893 | 0.9431 | -1 | 1 | 2 | 1 | 2.153 | 0.05813 | 0.07528 | 0.1079 | -0.1286 | 1 | -0.00009021 | 0.2747 | 0.1496 | 0.1218 | 0.349 | 3.233 | 2.828 | 0.15 | 0.3088 | 1 | 1 | 0.1332 | 0.7321 | 1.692 | 0.1498 | 0.8232 | 1.902 | json |
| t12_x6_u3_b109 | 12 | 6 | 3 | 109 | ![]() |
flr(dot(P,dst(R,P))) | 24742 | 97690330 | o1(o2(x,o2(x,x))) | true | 27783 | 27783 | -0.004881 | 0.4964 | 0.9745 | 0.9692 | 0.9845 | -1 | 1 | 2 | 1 | 1.401 | 0.003068 | 0.003104 | 0.01223 | -0.005945 | 1 | 6.396e-7 | 0.006266 | 0.009181 | 0.006025 | 0.07762 | 6.348 | 1.709 | 0.006368 | 0.006465 | 1 | 1 | 0.01174 | 0.09353 | 0.5196 | 0.01212 | 0.09651 | 0.5361 | json |
| t12_x6_u3_b110 | 12 | 6 | 3 | 110 | ![]() |
flr(dst(P,add(R,P))) | 24743 | 97690331 | o1(o2(x,o2(x,x))) | true | 27791 | 27791 | 0.5234 | 0.9064 | 0.5234 | 0.1603 | 0.4004 | 0 | 1 | 1 | 1 | 3.324 | 0.001857 | 0.002199 | 0.04748 | -0.08437 | 1 | -0.000005706 | 0.0002413 | 0.0116 | 0.001802 | 0.04245 | 0.894 | 0.1169 | 0.0253 | 0.001505 | 1 | 1 | 0.007899 | 0.1024 | 0.3171 | 0.04927 | 0.639 | 1.978 | json |
| t12_x6_u3_b111 | 12 | 6 | 3 | 111 | ![]() |
flr(dst(P,sub(R,P))) | 24744 | 97690332 | o1(o2(x,o2(x,x))) | true | 27799 | 27799 | 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_x6_u3_b112 | 12 | 6 | 3 | 112 | ![]() |
flr(dst(P,mlt(R,P))) | 24745 | 97690333 | o1(o2(x,o2(x,x))) | true | 27807 | 27807 | 0.9678 | 0.9997 | 0.9678 | 0.02255 | 0.1502 | 8.471e-8 | 1 | 1 | 1 | 0.5209 | 0.0008483 | 0.0008396 | 0.008441 | 0.005159 | 1 | -0.00005933 | 0.0009557 | 0.005198 | 0.001615 | 0.04019 | 4.761 | 0.5555 | 0.07484 | 0.04237 | 1 | 1 | 0.003857 | 0.03259 | 0.06248 | 0.171 | 1.445 | 2.77 | json |
| t12_x6_u3_b113 | 12 | 6 | 3 | 113 | ![]() |
flr(dst(P,div(R,P))) | 24746 | 97690334 | o1(o2(x,o2(x,x))) | true | 27815 | 27815 | -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_x6_u3_b114 | 12 | 6 | 3 | 114 | ![]() |
flr(dst(P,pow(R,P))) | 24747 | 97690335 | o1(o2(x,o2(x,x))) | true | 27823 | 27823 | -0.9766 | 0.01172 | 1 | 0.0463 | 0.2152 | -1 | 1 | 2 | 1 | 0.09198 | 0.006047 | 0.004031 | 0.005002 | 0.2 | 1 | 0 | 0.02116 | 0.01008 | 0.01005 | 0.1002 | 20.04 | 2.828 | 0.2177 | 0.4571 | 1 | 1 | 0.01773 | 0.07091 | 0.1684 | 0.3829 | 1.532 | 3.638 | json |
| t12_x6_u3_b115 | 12 | 6 | 3 | 115 | ![]() |
flr(dst(P,mod(R,P))) | 24748 | 97690336 | o1(o2(x,o2(x,x))) | true | 27831 | 27831 | 0.5307 | 0.7656 | 0.9994 | 0.7172 | 0.8469 | -1 | 1 | 2 | 1 | 0.8021 | 0.02733 | 0.02745 | 0.02765 | -0.002164 | 1 | -1.652e-10 | 0.1099 | 0.05508 | 0.054 | 0.2324 | 8.404 | 2.828 | 0.07637 | 0.1532 | 1 | 1 | 0.06893 | 0.2774 | 1.118 | 0.0961 | 0.3868 | 1.558 | json |
| t12_x6_u3_b116 | 12 | 6 | 3 | 116 | ![]() |
flr(dst(P,lrg(R,P))) | 24749 | 97690337 | o1(o2(x,o2(x,x))) | true | 27839 | 27839 | 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_x6_u3_b117 | 12 | 6 | 3 | 117 | ![]() |
flr(dst(P,eql(R,P))) | 24750 | 97690338 | o1(o2(x,o2(x,x))) | true | 27847 | 27847 | 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_x6_u3_b118 | 12 | 6 | 3 | 118 | ![]() |
flr(dst(P,min(R,P))) | 24751 | 97690339 | o1(o2(x,o2(x,x))) | true | 27855 | 27855 | 0.6996 | 0.7594 | 0.6996 | 0.1977 | 0.4446 | 0 | 1 | 1 | 1 | 1.417 | 0.0004203 | 0.0003061 | 0.007433 | 0.1573 | 1 | -0.00001222 | 0.00009111 | 0.002115 | 0.0006704 | 0.02589 | 3.483 | 0.2265 | 0.003675 | 0.0004609 | 1 | 1 | 0.001673 | 0.0205 | 0.09496 | 0.008462 | 0.1037 | 0.4804 | json |
| t12_x6_u3_b119 | 12 | 6 | 3 | 119 | ![]() |
flr(dst(P,dot(R,P))) | 24752 | 97690340 | o1(o2(x,o2(x,x))) | true | 27863 | 27863 | 0.9931 | 1 | 0.9931 | 0.004928 | 0.0702 | 0.000291 | 1 | 0.9997 | 1 | 0.1468 | 0.0001037 | 0.00003841 | 0.001306 | 0.4593 | 1 | -2.253e-11 | 0.00002726 | 0.0004129 | 0.0001405 | 0.01185 | 9.075 | 0.2479 | 0.02883 | 0.005532 | 1 | 1 | 0.0004824 | 0.005597 | 0.01765 | 0.09789 | 1.136 | 3.581 | json |
| t12_x6_u3_b120 | 12 | 6 | 3 | 120 | ![]() |
flr(dst(P,dst(R,P))) | 24753 | 97690341 | o1(o2(x,o2(x,x))) | true | 27871 | 27871 | 0.998 | 1 | 0.998 | 0.001344 | 0.03665 | 0.0008731 | 1 | 0.9991 | 1 | 0.04915 | 0.00004709 | 0.00005643 | 0.0006129 | -0.09024 | 1 | 3.754e-12 | 0.00003906 | 0.0003368 | 0.0001032 | 0.01016 | 16.57 | 0.3088 | 0.07705 | 0.02907 | 1 | 1 | 0.0003368 | 0.003067 | 0.004886 | 0.2507 | 2.283 | 3.637 | json |
| t12_x6_u4_b0 | 12 | 6 | 4 | 0 | ![]() |
cil(add(P,add(R,P))) | 24754 | 97690422 | o1(o2(x,o2(x,x))) | true | 27879 | 27879 | 0.02917 | 0.5147 | 0.9669 | 0.9574 | 0.9784 | -1 | 1 | 2 | 1 | 1.513 | 0.001477 | 0.0001102 | 0.008546 | 0.8611 | 1 | -0.000006592 | 0.0003494 | 0.003141 | 0.001515 | 0.03892 | 4.555 | 0.3506 | 0.001658 | 0.000365 | 1 | 1 | 0.004081 | 0.04468 | 0.2971 | 0.004263 | 0.04667 | 0.3103 | json |
| t12_x6_u4_b1 | 12 | 6 | 4 | 1 | ![]() |
cil(add(P,sub(R,P))) | 24755 | 97690423 | o1(o2(x,o2(x,x))) | true | 27887 | 27887 | 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_x6_u4_b2 | 12 | 6 | 4 | 2 | ![]() |
cil(add(P,mlt(R,P))) | 24756 | 97690424 | o1(o2(x,o2(x,x))) | true | 27895 | 27895 | 0.06653 | 0.5 | 0.8842 | 0.8611 | 0.928 | -1 | 1 | 2 | 1 | 2.147 | 0.001409 | 0.001061 | 0.01535 | 0.1409 | 1 | 0.00000322 | 0.0009566 | 0.007052 | 0.002234 | 0.04727 | 3.08 | 0.5251 | 0.002868 | 0.001111 | 1 | 1 | 0.00489 | 0.04774 | 0.2568 | 0.005679 | 0.05544 | 0.2983 | json |
| t12_x6_u4_b3 | 12 | 6 | 4 | 3 | ![]() |
cil(add(P,div(R,P))) | 24757 | 97690425 | o1(o2(x,o2(x,x))) | true | 27903 | 27903 | -0.1122 | 0.4375 | 0.9872 | 0.9715 | 0.9856 | -1 | 1 | 2 | 1 | 1.223 | 0.0175 | 0.00007824 | 0.01184 | 0.9911 | 1 | 0.000005261 | 0.03479 | 0.01991 | 0.01743 | 0.132 | 11.15 | 2 | 0.0181 | 0.03581 | 1 | 1 | 0.02378 | 0.09728 | 0.3596 | 0.02448 | 0.1001 | 0.3702 | json |
| t12_x6_u4_b4 | 12 | 6 | 4 | 4 | ![]() |
cil(add(P,pow(R,P))) | 24758 | 97690426 | o1(o2(x,o2(x,x))) | true | 27911 | 27911 | -0.8541 | 0.07326 | 0.999 | 0.2693 | 0.5189 | -1 | 1 | 2 | 1 | 0.3997 | 0.02413 | 0.02324 | 0.02423 | 0.01897 | 1 | -0.0001384 | 0.09898 | 0.04802 | 0.04676 | 0.2162 | 8.923 | 2.828 | 0.1759 | 0.3676 | 1 | 1 | 0.04345 | 0.1876 | 0.6256 | 0.1614 | 0.6965 | 2.323 | json |
| t12_x6_u4_b5 | 12 | 6 | 4 | 5 | ![]() |
cil(add(P,mod(R,P))) | 24759 | 97690427 | o1(o2(x,o2(x,x))) | true | 27919 | 27919 | -0.1106 | 0.4375 | 0.9856 | 0.9694 | 0.9846 | -1 | 1 | 2 | 1 | 1.231 | 0.01819 | 0.00007646 | 0.01291 | 0.9916 | 1 | -0.000003562 | 0.03598 | 0.02139 | 0.0181 | 0.1345 | 10.42 | 2 | 0.01884 | 0.03711 | 1 | 1 | 0.02443 | 0.09885 | 0.3599 | 0.0252 | 0.102 | 0.3712 | json |
| t12_x6_u4_b6 | 12 | 6 | 4 | 6 | ![]() |
cil(add(P,lrg(R,P))) | 24760 | 97690428 | o1(o2(x,o2(x,x))) | true | 27927 | 27927 | 0.08984 | 0.5378 | 0.9023 | 0.8786 | 0.9373 | -1 | 1 | 2 | 1 | 2.016 | 0.0006768 | 0.0001053 | 0.00895 | 0.7306 | 1 | -0.000005704 | 0.00003874 | 0.002113 | 0.000702 | 0.0265 | 2.96 | 0.1169 | 0.0008902 | 0.00004409 | 1 | 1 | 0.002072 | 0.02727 | 0.2084 | 0.002358 | 0.03104 | 0.2372 | json |
| t12_x6_u4_b7 | 12 | 6 | 4 | 7 | ![]() |
cil(add(P,eql(R,P))) | 24761 | 97690429 | o1(o2(x,o2(x,x))) | true | 27935 | 27935 | 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 |
| t12_x6_u4_b8 | 12 | 6 | 4 | 8 | ![]() |
cil(add(P,min(R,P))) | 24762 | 97690430 | o1(o2(x,o2(x,x))) | true | 27943 | 27943 | -0.003127 | 0.5 | 0.9538 | 0.9453 | 0.9723 | -1 | 1 | 2 | 1 | 1.558 | 0.001209 | 0.00001482 | 0.008018 | 0.9758 | 1 | -0.000004284 | 0.0002464 | 0.003305 | 0.001159 | 0.03405 | 4.247 | 0.2265 | 0.001295 | 0.0002606 | 1 | 1 | 0.003054 | 0.03164 | 0.263 | 0.003231 | 0.03347 | 0.2783 | json |
| t12_x6_u4_b9 | 12 | 6 | 4 | 9 | ![]() |
cil(add(P,dot(R,P))) | 24763 | 97690431 | o1(o2(x,o2(x,x))) | true | 27951 | 27951 | 0.05172 | 0.5253 | 0.9263 | 0.9011 | 0.9493 | -1 | 1 | 2 | 1 | 2.072 | 0.01287 | 0.01623 | 0.05326 | -0.1155 | 1 | -0.0001489 | 0.02321 | 0.03949 | 0.02624 | 0.162 | 3.041 | 1.901 | 0.03229 | 0.02575 | 1 | 1 | 0.04328 | 0.3403 | 0.7399 | 0.04803 | 0.3777 | 0.8211 | json |
| t12_x6_u4_b10 | 12 | 6 | 4 | 10 | ![]() |
cil(add(P,dst(R,P))) | 24764 | 97690432 | o1(o2(x,o2(x,x))) | true | 27959 | 27959 | 0.961 | 0.9957 | 0.961 | 0.02859 | 0.1691 | 0 | 1 | 1 | 1 | 0.5734 | 0.0002104 | 0.0004488 | 0.005685 | -0.3617 | 1 | -0.000006959 | 0.0001123 | 0.001921 | 0.0006264 | 0.02503 | 4.402 | 0.3082 | 0.02306 | 0.00393 | 1 | 1 | 0.001438 | 0.01547 | 0.04956 | 0.0503 | 0.5411 | 1.734 | json |
| t12_x6_u4_b11 | 12 | 6 | 4 | 11 | ![]() |
cil(sub(P,add(R,P))) | 24765 | 97690433 | o1(o2(x,o2(x,x))) | true | 27967 | 27967 | 0.5176 | 0.9429 | 0.5176 | 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_x6_u4_b12 | 12 | 6 | 4 | 12 | ![]() |
cil(sub(P,sub(R,P))) | 24766 | 97690434 | o1(o2(x,o2(x,x))) | true | 27975 | 27975 | 0.03343 | 0.5181 | 0.9711 | 0.9618 | 0.9807 | -1 | 1 | 2 | 1 | 1.471 | 0.001586 | 0.0001095 | 0.008535 | 0.8708 | 1 | 0.000007959 | 0.0003402 | 0.003048 | 0.001624 | 0.0403 | 4.722 | 0.3506 | 0.001763 | 0.0003537 | 1 | 1 | 0.004272 | 0.04699 | 0.3018 | 0.004441 | 0.04885 | 0.3138 | json |
| t12_x6_u4_b13 | 12 | 6 | 4 | 13 | ![]() |
cil(sub(P,mlt(R,P))) | 24767 | 97690435 | o1(o2(x,o2(x,x))) | true | 27983 | 27983 | 0.06157 | 0.5 | 0.8843 | 0.8617 | 0.9283 | -1 | 1 | 2 | 1 | 2.152 | 0.001484 | 0.00111 | 0.01567 | 0.1442 | 1 | 0.00005032 | 0.001072 | 0.007505 | 0.002348 | 0.04846 | 3.093 | 0.4946 | 0.003011 | 0.001244 | 1 | 1 | 0.005623 | 0.05084 | 0.2427 | 0.006526 | 0.059 | 0.2816 | json |
| t12_x6_u4_b14 | 12 | 6 | 4 | 14 | ![]() |
cil(sub(P,div(R,P))) | 24768 | 97690436 | o1(o2(x,o2(x,x))) | true | 27991 | 27991 | -0.1106 | 0.4375 | 0.9856 | 0.9694 | 0.9846 | -1 | 1 | 2 | 1 | 1.231 | 0.01819 | 0.00007646 | 0.01291 | 0.9916 | 1 | -0.000003562 | 0.03598 | 0.02139 | 0.0181 | 0.1345 | 10.42 | 2 | 0.01884 | 0.03711 | 1 | 1 | 0.02443 | 0.09885 | 0.3599 | 0.0252 | 0.102 | 0.3712 | json |
| t12_x6_u4_b15 | 12 | 6 | 4 | 15 | ![]() |
cil(sub(P,pow(R,P))) | 24769 | 97690437 | o1(o2(x,o2(x,x))) | true | 27999 | 27999 | -0.9727 | 0.01367 | 0.9939 | 0.04547 | 0.2132 | -1 | 1 | 2 | 1 | 0.1997 | 0.006492 | 0.004133 | 0.007802 | 0.2221 | 1 | -3.754e-11 | 0.02152 | 0.01138 | 0.01056 | 0.1028 | 13.17 | 2.828 | 0.2337 | 0.4732 | 1 | 1 | 0.007951 | 0.03491 | 0.07442 | 0.1749 | 0.7677 | 1.637 | json |
| t12_x6_u4_b16 | 12 | 6 | 4 | 16 | ![]() |
cil(sub(P,mod(R,P))) | 24770 | 97690438 | o1(o2(x,o2(x,x))) | true | 28007 | 28007 | -0.1122 | 0.4375 | 0.9872 | 0.9715 | 0.9856 | -1 | 1 | 2 | 1 | 1.223 | 0.0175 | 0.00007824 | 0.01184 | 0.9911 | 1 | 0.000005261 | 0.03479 | 0.01991 | 0.01743 | 0.132 | 11.15 | 2 | 0.0181 | 0.03581 | 1 | 1 | 0.02378 | 0.09728 | 0.3596 | 0.02448 | 0.1001 | 0.3702 | json |
| t12_x6_u4_b17 | 12 | 6 | 4 | 17 | ![]() |
cil(sub(P,lrg(R,P))) | 24771 | 97690439 | o1(o2(x,o2(x,x))) | true | 28015 | 28015 | -0.03313 | 0.4839 | 0.9615 | 0.9497 | 0.9745 | -1 | 1 | 2 | 1 | 1.593 | 0.001152 | 0.00009554 | 0.008539 | 0.8468 | 1 | 0.000005261 | 0.0001293 | 0.002497 | 0.001175 | 0.03428 | 4.014 | 0.2338 | 0.001314 | 0.0001361 | 1 | 1 | 0.003262 | 0.04004 | 0.2874 | 0.003434 | 0.04216 | 0.3026 | json |
| t12_x6_u4_b18 | 12 | 6 | 4 | 18 | ![]() |
cil(sub(P,eql(R,P))) | 24772 | 97690440 | o1(o2(x,o2(x,x))) | true | 28023 | 28023 | 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 |
| t12_x6_u4_b19 | 12 | 6 | 4 | 19 | ![]() |
cil(sub(P,min(R,P))) | 24773 | 97690441 | o1(o2(x,o2(x,x))) | true | 28031 | 28031 | 0.5064 | 0.5456 | 0.5064 | 0.2425 | 0.4924 | 0 | 1 | 1 | 1 | 1.371 | 0.0003876 | 0.0001106 | 0.004878 | 0.5561 | 1 | 0.000003565 | 0.0000683 | 0.001401 | 0.000474 | 0.02177 | 4.464 | 0.2265 | 0.002055 | 0.0002817 | 1 | 1 | 0.001345 | 0.01604 | 0.09042 | 0.005549 | 0.06616 | 0.3729 | json |
| t12_x6_u4_b20 | 12 | 6 | 4 | 20 | ![]() |
cil(sub(P,dot(R,P))) | 24774 | 97690442 | o1(o2(x,o2(x,x))) | true | 28039 | 28039 | 0.1086 | 0.5536 | 0.9056 | 0.8693 | 0.9323 | -1 | 1 | 2 | 1 | 2.218 | 0.01224 | 0.01632 | 0.05444 | -0.1431 | 1 | 0.00008813 | 0.0216 | 0.03893 | 0.02561 | 0.16 | 2.94 | 1.693 | 0.03286 | 0.02485 | 1 | 1 | 0.03925 | 0.3098 | 0.7175 | 0.04516 | 0.3564 | 0.8255 | json |
| t12_x6_u4_b21 | 12 | 6 | 4 | 21 | ![]() |
cil(sub(P,dst(R,P))) | 24775 | 97690443 | o1(o2(x,o2(x,x))) | true | 28047 | 28047 | -0.7799 | 0.1049 | 0.8871 | 0.2527 | 0.5027 | -1 | 1 | 2 | 1 | 1.678 | 0.0009793 | 0.001093 | 0.01746 | -0.05499 | 1 | 2.666e-10 | 0.0002952 | 0.004974 | 0.001768 | 0.04205 | 2.409 | 0.3084 | 0.008202 | 0.001168 | 1 | 1 | 0.005543 | 0.06657 | 0.2599 | 0.02194 | 0.2634 | 1.029 | json |
| t12_x6_u4_b22 | 12 | 6 | 4 | 22 | ![]() |
cil(mlt(P,add(R,P))) | 24776 | 97690444 | o1(o2(x,o2(x,x))) | true | 28055 | 28055 | 0.9488 | 1 | 0.9488 | 0.03868 | 0.1967 | 0.000291 | 1 | 0.9997 | 1 | 0.6599 | 0.00105 | 0.0000267 | 0.008058 | 0.9504 | 1 | -0.000003397 | 0.0001962 | 0.002843 | 0.001012 | 0.03181 | 3.947 | 0.2265 | 0.02784 | 0.005072 | 1 | 1 | 0.002715 | 0.02895 | 0.05763 | 0.07018 | 0.7485 | 1.49 | json |
| t12_x6_u4_b23 | 12 | 6 | 4 | 23 | ![]() |
cil(mlt(P,sub(R,P))) | 24777 | 97690445 | o1(o2(x,o2(x,x))) | true | 28063 | 28063 | -0.8865 | 0 | 0.8865 | 0.08698 | 0.2949 | -1 | 0 | 1 | 1 | 1.1 | 0.001138 | 0.0002745 | 0.01012 | 0.6114 | 1 | 0.000002806 | 0.0004484 | 0.004213 | 0.00131 | 0.03619 | 3.576 | 0.3822 | 0.01624 | 0.005155 | 1 | 1 | 0.003424 | 0.03464 | 0.1485 | 0.03936 | 0.3983 | 1.707 | json |
| t12_x6_u4_b24 | 12 | 6 | 4 | 24 | ![]() |
cil(mlt(P,mlt(R,P))) | 24778 | 97690446 | o1(o2(x,o2(x,x))) | true | 28071 | 28071 | 0.08325 | 0.5661 | 0.8399 | 0.8003 | 0.8946 | -1 | 1 | 2 | 1 | 2.617 | 0.04738 | 0.05737 | 0.1004 | -0.09532 | 1 | 0.00009844 | 0.1951 | 0.1197 | 0.09471 | 0.3077 | 3.066 | 2.828 | 0.1309 | 0.2438 | 1 | 1 | 0.1096 | 0.6385 | 1.283 | 0.1369 | 0.7979 | 1.603 | json |
| t12_x6_u4_b25 | 12 | 6 | 4 | 25 | ![]() |
cil(mlt(P,div(R,P))) | 24779 | 97690447 | o1(o2(x,o2(x,x))) | true | 28079 | 28079 | 0.293 | 0.7953 | 0.543 | 0.3734 | 0.6111 | -1 | 1 | 2 | 1 | 3.539 | 0.02346 | 0.002174 | 0.05751 | 0.8304 | 1 | -6.988e-7 | 0.04394 | 0.0363 | 0.02233 | 0.1494 | 2.598 | 2 | 0.06865 | 0.1177 | 1 | 1 | 0.0347 | 0.1958 | 0.5929 | 0.09291 | 0.5244 | 1.588 | json |
| t12_x6_u4_b26 | 12 | 6 | 4 | 26 | ![]() |
cil(mlt(P,pow(R,P))) | 24780 | 97690448 | o1(o2(x,o2(x,x))) | true | 28087 | 28087 | -0.9559 | 0.02344 | 0.9833 | 0.06603 | 0.257 | -1 | 1 | 2 | 1 | 0.3556 | 0.007463 | 0.005853 | 0.01017 | 0.1209 | 1 | -2.365e-10 | 0.02741 | 0.01653 | 0.01322 | 0.115 | 11.3 | 2.828 | 0.2017 | 0.4151 | 1 | 1 | 0.01082 | 0.046 | 0.1228 | 0.1638 | 0.6967 | 1.86 | json |
| t12_x6_u4_b27 | 12 | 6 | 4 | 27 | ![]() |
cil(mlt(P,mod(R,P))) | 24781 | 97690449 | o1(o2(x,o2(x,x))) | true | 28095 | 28095 | -0.01005 | 0.502 | 0.814 | 0.7608 | 0.8723 | -1 | 1 | 2 | 1 | 3.163 | 0.03619 | 0.01923 | 0.09946 | 0.306 | 1 | -0.00008127 | 0.05986 | 0.07168 | 0.04555 | 0.2134 | 2.146 | 2 | 0.07285 | 0.07867 | 1 | 1 | 0.07493 | 0.5264 | 1.241 | 0.09849 | 0.6918 | 1.631 | json |
| t12_x6_u4_b28 | 12 | 6 | 4 | 28 | ![]() |
cil(mlt(P,lrg(R,P))) | 24782 | 97690450 | o1(o2(x,o2(x,x))) | true | 28103 | 28103 | -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 |
| t12_x6_u4_b29 | 12 | 6 | 4 | 29 | ![]() |
cil(mlt(P,eql(R,P))) | 24783 | 97690451 | o1(o2(x,o2(x,x))) | true | 28111 | 28111 | 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_x6_u4_b30 | 12 | 6 | 4 | 30 | ![]() |
cil(mlt(P,min(R,P))) | 24784 | 97690452 | o1(o2(x,o2(x,x))) | true | 28119 | 28119 | 0.5405 | 0.8044 | 0.8228 | 0.4878 | 0.6984 | -1 | 1 | 2 | 1 | 2.622 | 0.009004 | 0.009279 | 0.05332 | -0.01507 | 1 | -0.00004281 | 0.009595 | 0.02613 | 0.01545 | 0.1243 | 2.331 | 1.436 | 0.03748 | 0.01967 | 1 | 1 | 0.02504 | 0.2341 | 0.5442 | 0.05134 | 0.48 | 1.116 | json |
| t12_x6_u4_b31 | 12 | 6 | 4 | 31 | ![]() |
cil(mlt(P,dot(R,P))) | 24785 | 97690453 | o1(o2(x,o2(x,x))) | true | 28127 | 28127 | 0.1514 | 0.5969 | 0.9013 | 0.8563 | 0.9254 | -1 | 1 | 2 | 1 | 2.132 | 0.0536 | 0.07066 | 0.1047 | -0.1373 | 1 | -0.000003183 | 0.2372 | 0.1402 | 0.1132 | 0.3365 | 3.214 | 2.828 | 0.1451 | 0.277 | 1 | 1 | 0.124 | 0.6868 | 1.376 | 0.1447 | 0.802 | 1.607 | json |
| t12_x6_u4_b32 | 12 | 6 | 4 | 32 | ![]() |
cil(mlt(P,dst(R,P))) | 24786 | 97690454 | o1(o2(x,o2(x,x))) | true | 28135 | 28135 | 0.00233 | 0.5 | 0.9635 | 0.9575 | 0.9785 | -1 | 1 | 2 | 1 | 1.449 | 0.001883 | 0.0000693 | 0.008279 | 0.929 | 1 | 2.962e-7 | 0.0009308 | 0.005287 | 0.001884 | 0.0434 | 5.242 | 0.4706 | 0.002039 | 0.0009722 | 1 | 1 | 0.004251 | 0.03809 | 0.2786 | 0.00444 | 0.03978 | 0.291 | json |
| t12_x6_u4_b33 | 12 | 6 | 4 | 33 | ![]() |
cil(div(P,add(R,P))) | 24787 | 97690455 | o1(o2(x,o2(x,x))) | true | 28143 | 28143 | 0.952 | 1 | 0.952 | 0.03636 | 0.1907 | 0.000291 | 1 | 0.9997 | 1 | 0.6293 | 0.001255 | 0.00007478 | 0.008177 | 0.8876 | 1 | -0.00001451 | 0.0004854 | 0.003616 | 0.001264 | 0.03555 | 4.348 | 0.4708 | 0.03658 | 0.01335 | 1 | 1 | 0.003047 | 0.0298 | 0.05744 | 0.08379 | 0.8195 | 1.58 | json |
| t12_x6_u4_b34 | 12 | 6 | 4 | 34 | ![]() |
cil(div(P,sub(R,P))) | 24788 | 97690456 | o1(o2(x,o2(x,x))) | true | 28151 | 28151 | -0.4691 | 0 | 0.4691 | 0.1612 | 0.4016 | -1 | 0 | 1 | 1 | 3.561 | 0.002739 | 0.002992 | 0.05202 | -0.04415 | 1 | 0.0000916 | 0.001685 | 0.01603 | 0.003026 | 0.05501 | 1.058 | 0.9474 | 0.03555 | 0.01045 | 1 | 1 | 0.01043 | 0.1202 | 0.3045 | 0.06469 | 0.7455 | 1.889 | json |
| t12_x6_u4_b35 | 12 | 6 | 4 | 35 | ![]() |
cil(div(P,mlt(R,P))) | 24789 | 97690457 | o1(o2(x,o2(x,x))) | true | 28159 | 28159 | -0.09497 | 0.4487 | 0.913 | 0.874 | 0.9349 | -1 | 1 | 2 | 1 | 2.301 | 0.04714 | 0.0333 | 0.1055 | 0.1721 | 1 | -0.00004975 | 0.1001 | 0.09451 | 0.06933 | 0.2633 | 2.495 | 2.828 | 0.09202 | 0.1146 | 1 | 1 | 0.1133 | 0.722 | 1.652 | 0.1296 | 0.826 | 1.89 | json |
| t12_x6_u4_b36 | 12 | 6 | 4 | 36 | ![]() |
cil(div(P,div(R,P))) | 24790 | 97690458 | o1(o2(x,o2(x,x))) | true | 28167 | 28167 | -0.03437 | 0.4854 | 0.9427 | 0.9301 | 0.9644 | -1 | 1 | 2 | 1 | 1.723 | 0.086 | 0.1049 | 0.1163 | -0.09902 | 1 | -0.0001121 | 0.4683 | 0.2016 | 0.1775 | 0.4213 | 3.624 | 2.828 | 0.2052 | 0.5035 | 1 | 1 | 0.1944 | 0.8772 | 1.803 | 0.209 | 0.9431 | 1.938 | json |
| t12_x6_u4_b37 | 12 | 6 | 4 | 37 | ![]() |
cil(div(P,pow(R,P))) | 24791 | 97690459 | o1(o2(x,o2(x,x))) | true | 28175 | 28175 | -0.9203 | 0.02344 | 0.9544 | 0.1042 | 0.3228 | -1 | 1 | 2 | 1 | 0.5664 | 0.00993 | 0.009397 | 0.01601 | 0.02756 | 1 | -0.000002635 | 0.03957 | 0.02769 | 0.01906 | 0.1381 | 8.626 | 2.828 | 0.1855 | 0.3798 | 1 | 1 | 0.01627 | 0.07282 | 0.2268 | 0.1561 | 0.6989 | 2.177 | json |
| t12_x6_u4_b38 | 12 | 6 | 4 | 38 | ![]() |
cil(div(P,mod(R,P))) | 24792 | 97690460 | o1(o2(x,o2(x,x))) | true | 28183 | 28183 | -0.1447 | 0.4276 | 0.9733 | 0.9431 | 0.9711 | -1 | 1 | 2 | 1 | 1.458 | 0.07958 | 0.07725 | 0.1095 | 0.01488 | 1 | -0.00002603 | 0.3163 | 0.1719 | 0.1449 | 0.3806 | 3.475 | 2.828 | 0.1663 | 0.3354 | 1 | 1 | 0.1735 | 0.828 | 1.805 | 0.1839 | 0.8779 | 1.914 | json |
| t12_x6_u4_b39 | 12 | 6 | 4 | 39 | ![]() |
cil(div(P,lrg(R,P))) | 24793 | 97690461 | o1(o2(x,o2(x,x))) | true | 28191 | 28191 | -0.9922 | 0 | 0.9922 | 0.00606 | 0.07785 | -1 | -0.000291 | 0.9997 | 1 | 0.1405 | 0.001097 | 0.0005923 | 0.002705 | 0.2987 | 1 | -1.877e-11 | 0.003423 | 0.003743 | 0.001682 | 0.04101 | 15.16 | 1.414 | 0.2787 | 0.5647 | 1 | 1 | 0.002389 | 0.01006 | 0.01771 | 0.3943 | 1.66 | 2.922 | json |
| t12_x6_u4_b40 | 12 | 6 | 4 | 40 | ![]() |
cil(div(P,eql(R,P))) | 24794 | 97690462 | o1(o2(x,o2(x,x))) | true | 28199 | 28199 | -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_x6_u4_b41 | 12 | 6 | 4 | 41 | ![]() |
cil(div(P,min(R,P))) | 24795 | 97690463 | o1(o2(x,o2(x,x))) | true | 28207 | 28207 | 0.3415 | 0.6789 | 0.9638 | 0.8382 | 0.9156 | -1 | 1 | 2 | 1 | 1.453 | 0.0482 | 0.04387 | 0.06683 | 0.04705 | 1 | -0.00004594 | 0.1818 | 0.1011 | 0.08757 | 0.2959 | 4.428 | 2.828 | 0.1098 | 0.2169 | 1 | 1 | 0.1075 | 0.5221 | 1.217 | 0.1283 | 0.6229 | 1.452 | json |
| t12_x6_u4_b42 | 12 | 6 | 4 | 42 | ![]() |
cil(div(P,dot(R,P))) | 24796 | 97690464 | o1(o2(x,o2(x,x))) | true | 28215 | 28215 | 0.213 | 0.6347 | 0.7849 | 0.686 | 0.8282 | -1 | 1 | 2 | 1 | 3.225 | 0.02448 | 0.02533 | 0.09435 | -0.01693 | 1 | -0.000129 | 0.05361 | 0.06748 | 0.04089 | 0.2022 | 2.143 | 2.828 | 0.07261 | 0.07815 | 1 | 1 | 0.08214 | 0.5451 | 1.324 | 0.1197 | 0.7946 | 1.931 | json |
| t12_x6_u4_b43 | 12 | 6 | 4 | 43 | ![]() |
cil(div(P,dst(R,P))) | 24797 | 97690465 | o1(o2(x,o2(x,x))) | true | 28223 | 28223 | 0.4245 | 0.5 | 0.5144 | 0.3166 | 0.5626 | -1 | 1 | 2 | 1 | 2.065 | 0.000558 | 0.0003321 | 0.009946 | 0.2537 | 1 | -0.000005705 | 0.00005753 | 0.002441 | 0.0007913 | 0.02813 | 2.828 | 0.2265 | 0.002812 | 0.0001817 | 1 | 1 | 0.002084 | 0.02676 | 0.1388 | 0.006582 | 0.08453 | 0.4386 | json |
| t12_x6_u4_b44 | 12 | 6 | 4 | 44 | ![]() |
cil(pow(P,add(R,P))) | 24798 | 97690466 | o1(o2(x,o2(x,x))) | true | 28231 | 28231 | -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 |
| t12_x6_u4_b45 | 12 | 6 | 4 | 45 | ![]() |
cil(pow(P,sub(R,P))) | 24799 | 97690467 | o1(o2(x,o2(x,x))) | true | 28239 | 28239 | -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 |



































































































