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_x24_u4_b100 | 12 | 24 | 4 | 100 | ![]() |
cil(dot(R,sub(R,P))) | 40100 | 98417740 | o1(o2(x,o2(x,x))) | true | 807 | 807 | 0.4632 | 0.7418 | 0.8824 | 0.6335 | 0.7959 | -1 | 1 | 2 | 1 | 2.346 | 0.02159 | 0.02891 | 0.08771 | -0.145 | 1 | -0.0001096 | 0.04005 | 0.06583 | 0.04282 | 0.2069 | 2.359 | 1.746 | 0.07971 | 0.06322 | 1 | 1 | 0.05965 | 0.4631 | 1.035 | 0.09416 | 0.731 | 1.634 | json |
| t12_x24_u4_b101 | 12 | 24 | 4 | 101 | ![]() |
cil(dot(R,mlt(R,P))) | 40101 | 98417741 | o1(o2(x,o2(x,x))) | true | 815 | 815 | 0.1207 | 0.5335 | 0.8317 | 0.7777 | 0.8819 | -1 | 1 | 2 | 1 | 2.825 | 0.005622 | 0.006536 | 0.04519 | -0.07512 | 1 | 0.0001088 | 0.004943 | 0.02201 | 0.01011 | 0.1006 | 2.225 | 1.132 | 0.01563 | 0.006356 | 1 | 1 | 0.01796 | 0.1765 | 0.4981 | 0.0231 | 0.227 | 0.6405 | json |
| t12_x24_u4_b102 | 12 | 24 | 4 | 102 | ![]() |
cil(dot(R,div(R,P))) | 40102 | 98417742 | o1(o2(x,o2(x,x))) | true | 823 | 823 | -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_x24_u4_b103 | 12 | 24 | 4 | 103 | ![]() |
cil(dot(R,pow(R,P))) | 40103 | 98417743 | o1(o2(x,o2(x,x))) | true | 831 | 831 | -0.9791 | 0.01172 | 0.9974 | 0.03806 | 0.1951 | -1 | 1 | 2 | 1 | 0.1205 | 0.004928 | 0.003766 | 0.005004 | 0.1337 | 1 | 2.628e-11 | 0.01821 | 0.009273 | 0.008663 | 0.09308 | 18.6 | 2.828 | 0.2285 | 0.4786 | 1 | 1 | 0.01538 | 0.0625 | 0.1379 | 0.4041 | 1.642 | 3.624 | json |
| t12_x24_u4_b104 | 12 | 24 | 4 | 104 | ![]() |
cil(dot(R,mod(R,P))) | 40104 | 98417744 | o1(o2(x,o2(x,x))) | true | 839 | 839 | 0.5313 | 0.7656 | 1 | 0.7172 | 0.8469 | -1 | 1 | 2 | 1 | 0.7856 | 0.02771 | 0.02771 | 0.0277 | 0 | 1 | 0 | 0.1114 | 0.05543 | 0.05465 | 0.2338 | 8.44 | 2.828 | 0.07728 | 0.1553 | 1 | 1 | 0.07003 | 0.2801 | 1.12 | 0.09763 | 0.3905 | 1.562 | json |
| t12_x24_u4_b105 | 12 | 24 | 4 | 105 | ![]() |
cil(dot(R,lrg(R,P))) | 40105 | 98417745 | o1(o2(x,o2(x,x))) | true | 847 | 847 | 0.6434 | 0.9622 | 0.6526 | 0.1624 | 0.403 | -0.9991 | 1 | 1.999 | 1 | 3.086 | 0.00259 | 0.002699 | 0.04791 | -0.02061 | 1 | -0.00001369 | 0.0007675 | 0.01415 | 0.002994 | 0.05472 | 1.142 | 0.3566 | 0.03257 | 0.004726 | 1 | 1 | 0.009159 | 0.1072 | 0.2659 | 0.0564 | 0.6601 | 1.637 | json |
| t12_x24_u4_b106 | 12 | 24 | 4 | 106 | ![]() |
cil(dot(R,eql(R,P))) | 40106 | 98417746 | o1(o2(x,o2(x,x))) | true | 855 | 855 | 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_x24_u4_b107 | 12 | 24 | 4 | 107 | ![]() |
cil(dot(R,min(R,P))) | 40107 | 98417747 | o1(o2(x,o2(x,x))) | true | 863 | 863 | 0.4495 | 0.7416 | 0.8834 | 0.6482 | 0.8051 | -1 | 1 | 2 | 1 | 2.337 | 0.01539 | 0.0191 | 0.07005 | -0.1074 | 1 | -0.0001092 | 0.02296 | 0.04563 | 0.02956 | 0.1719 | 2.455 | 1.656 | 0.0532 | 0.03542 | 1 | 1 | 0.04566 | 0.3639 | 0.7911 | 0.07044 | 0.5614 | 1.22 | json |
| t12_x24_u4_b108 | 12 | 24 | 4 | 108 | ![]() |
cil(dot(R,dot(R,P))) | 40108 | 98417748 | o1(o2(x,o2(x,x))) | true | 871 | 871 | 0.2291 | 0.6368 | 0.81 | 0.703 | 0.8385 | -1 | 1 | 2 | 1 | 3.155 | 0.01579 | 0.01409 | 0.08339 | 0.05698 | 1 | 0.0001228 | 0.01467 | 0.04501 | 0.02293 | 0.1514 | 1.816 | 1.705 | 0.0425 | 0.02087 | 1 | 1 | 0.0535 | 0.451 | 0.9015 | 0.0761 | 0.6415 | 1.282 | json |
| t12_x24_u4_b109 | 12 | 24 | 4 | 109 | ![]() |
cil(dot(R,dst(R,P))) | 40109 | 98417749 | o1(o2(x,o2(x,x))) | true | 879 | 879 | 0.122 | 0.5671 | 0.9005 | 0.8544 | 0.9243 | -1 | 1 | 2 | 1 | 2.373 | 0.03863 | 0.04 | 0.1069 | -0.01743 | 1 | -0.0001159 | 0.08376 | 0.09811 | 0.06722 | 0.2593 | 2.425 | 2.151 | 0.09202 | 0.09803 | 1 | 1 | 0.103 | 0.6756 | 1.51 | 0.1205 | 0.7908 | 1.768 | json |
| t12_x24_u4_b110 | 12 | 24 | 4 | 110 | ![]() |
cil(dst(R,add(R,P))) | 40110 | 98417750 | o1(o2(x,o2(x,x))) | true | 887 | 887 | 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 |
| t12_x24_u4_b111 | 12 | 24 | 4 | 111 | ![]() |
cil(dst(R,sub(R,P))) | 40111 | 98417751 | o1(o2(x,o2(x,x))) | true | 895 | 895 | 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 |
| t12_x24_u4_b112 | 12 | 24 | 4 | 112 | ![]() |
cil(dst(R,mlt(R,P))) | 40112 | 98417752 | o1(o2(x,o2(x,x))) | true | 903 | 903 | 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_x24_u4_b113 | 12 | 24 | 4 | 113 | ![]() |
cil(dst(R,div(R,P))) | 40113 | 98417753 | o1(o2(x,o2(x,x))) | true | 911 | 911 | -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_x24_u4_b114 | 12 | 24 | 4 | 114 | ![]() |
cil(dst(R,pow(R,P))) | 40114 | 98417754 | o1(o2(x,o2(x,x))) | true | 919 | 919 | -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_x24_u4_b115 | 12 | 24 | 4 | 115 | ![]() |
cil(dst(R,mod(R,P))) | 40115 | 98417755 | o1(o2(x,o2(x,x))) | true | 927 | 927 | -0.2344 | 0 | 0.2344 | 0.1793 | 0.4235 | -1 | 0 | 1 | 1 | 0.7856 | 0.006929 | 0.006929 | 0.01385 | 0 | 1 | 0 | 0.02784 | 0.02771 | 0.01366 | 0.1169 | 8.44 | 1.414 | 0.07728 | 0.1553 | 1 | 1 | 0.01751 | 0.07003 | 0.2801 | 0.09763 | 0.3905 | 1.562 | json |
| t12_x24_u4_b116 | 12 | 24 | 4 | 116 | ![]() |
cil(dst(R,lrg(R,P))) | 40116 | 98417756 | o1(o2(x,o2(x,x))) | true | 935 | 935 | 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_x24_u4_b117 | 12 | 24 | 4 | 117 | ![]() |
cil(dst(R,eql(R,P))) | 40117 | 98417757 | o1(o2(x,o2(x,x))) | true | 943 | 943 | 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_x24_u4_b118 | 12 | 24 | 4 | 118 | ![]() |
cil(dst(R,min(R,P))) | 40118 | 98417758 | o1(o2(x,o2(x,x))) | true | 951 | 951 | 0.8676 | 0.9883 | 0.8676 | 0.08785 | 0.2964 | 0 | 1 | 1 | 1 | 1.46 | 0.0007197 | 0.0005798 | 0.01472 | 0.1077 | 1 | -0.00001355 | 0.00009592 | 0.003709 | 0.001083 | 0.03291 | 2.235 | 0.2265 | 0.01479 | 0.001092 | 1 | 1 | 0.002725 | 0.0345 | 0.1016 | 0.03102 | 0.3927 | 1.156 | json |
| t12_x24_u4_b119 | 12 | 24 | 4 | 119 | ![]() |
cil(dst(R,dot(R,P))) | 40119 | 98417759 | o1(o2(x,o2(x,x))) | true | 959 | 959 | 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_x24_u4_b120 | 12 | 24 | 4 | 120 | ![]() |
cil(dst(R,dst(R,P))) | 40120 | 98417760 | o1(o2(x,o2(x,x))) | true | 967 | 967 | 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_x24_u5_b0 | 12 | 24 | 5 | 0 | ![]() |
sgn(add(R,add(R,P))) | 40121 | 98417841 | o1(o2(x,o2(x,x))) | true | 975 | 975 | 0.01562 | 0.5071 | 0.9557 | 0.9385 | 0.9688 | -1 | 1 | 2 | 1 | 1.767 | 0.0016 | 0.001263 | 0.01677 | 0.1178 | 1 | -0.00005704 | 0.0001656 | 0.004054 | 0.002582 | 0.05081 | 3.029 | 0.2338 | 0.003051 | 0.0001764 | 1 | 1 | 0.0068 | 0.0884 | 0.4035 | 0.007245 | 0.09419 | 0.43 | json |
| t12_x24_u5_b1 | 12 | 24 | 5 | 1 | ![]() |
sgn(add(R,sub(R,P))) | 40122 | 98417842 | o1(o2(x,o2(x,x))) | true | 983 | 983 | 0.02344 | 0.5107 | 0.947 | 0.9257 | 0.9621 | -1 | 1 | 2 | 1 | 1.905 | 0.001901 | 0.001564 | 0.02038 | 0.09737 | 1 | -0.00005704 | 0.0001992 | 0.004922 | 0.003047 | 0.0552 | 2.708 | 0.2338 | 0.003742 | 0.0002151 | 1 | 1 | 0.008537 | 0.1104 | 0.3931 | 0.009223 | 0.1193 | 0.4247 | json |
| t12_x24_u5_b2 | 12 | 24 | 5 | 2 | ![]() |
sgn(add(R,mlt(R,P))) | 40123 | 98417843 | o1(o2(x,o2(x,x))) | true | 991 | 991 | -0.05078 | 0.4751 | 0.6806 | 0.5707 | 0.7555 | -1 | 1 | 2 | 1 | 4.204 | 0.007563 | 0.00913 | 0.1012 | -0.09387 | 1 | -0.000107 | 0.0009852 | 0.02457 | 0.00646 | 0.08038 | 0.7946 | 0.2338 | 0.02925 | 0.001726 | 1 | 1 | 0.03268 | 0.4206 | 1.072 | 0.05726 | 0.737 | 1.878 | json |
| t12_x24_u5_b3 | 12 | 24 | 5 | 3 | ![]() |
sgn(add(R,div(R,P))) | 40124 | 98417844 | o1(o2(x,o2(x,x))) | true | 999 | 999 | -0.04297 | 0.471 | 0.6806 | 0.5714 | 0.7559 | -1 | 1 | 2 | 1 | 4.205 | 0.007563 | 0.00913 | 0.1012 | -0.09387 | 1 | -0.0000128 | 0.0009852 | 0.02457 | 0.00646 | 0.08038 | 0.7946 | 0.2338 | 0.02922 | 0.001724 | 1 | 1 | 0.03268 | 0.4206 | 1.06 | 0.05719 | 0.7361 | 1.855 | json |
| t12_x24_u5_b4 | 12 | 24 | 5 | 4 | ![]() |
sgn(add(R,pow(R,P))) | 40125 | 98417845 | o1(o2(x,o2(x,x))) | true | 1007 | 1007 | 0.03516 | 0.5193 | 0.7319 | 0.6299 | 0.7937 | -1 | 1 | 2 | 1 | 3.948 | 0.007583 | 0.009328 | 0.09916 | -0.1032 | 1 | -0.00002421 | 0.0009919 | 0.0241 | 0.007079 | 0.08414 | 0.8485 | 0.2338 | 0.02685 | 0.001575 | 1 | 1 | 0.03293 | 0.4241 | 1.153 | 0.05227 | 0.6732 | 1.83 | json |
| t12_x24_u5_b5 | 12 | 24 | 5 | 5 | ![]() |
sgn(add(R,mod(R,P))) | 40126 | 98417846 | o1(o2(x,o2(x,x))) | true | 1015 | 1015 | -0.08984 | 0.4524 | 0.7246 | 0.6129 | 0.7829 | -1 | 1 | 2 | 1 | 3.976 | 0.008165 | 0.009328 | 0.1024 | -0.06649 | 1 | -0.00002421 | 0.00102 | 0.02486 | 0.007005 | 0.0837 | 0.8172 | 0.2338 | 0.02854 | 0.001664 | 1 | 1 | 0.03382 | 0.4354 | 1.062 | 0.05519 | 0.7103 | 1.733 | json |
| t12_x24_u5_b6 | 12 | 24 | 5 | 6 | ![]() |
sgn(add(R,lrg(R,P))) | 40127 | 98417847 | o1(o2(x,o2(x,x))) | true | 1023 | 1023 | 0.4219 | 0.7104 | 0.836 | 0.5976 | 0.773 | -1 | 1 | 2 | 1 | 2.883 | 0.004977 | 0.005266 | 0.06001 | -0.02823 | 1 | -0.00005988 | 0.0006118 | 0.01464 | 0.006641 | 0.08149 | 1.358 | 0.2338 | 0.01714 | 0.001024 | 1 | 1 | 0.02089 | 0.2714 | 0.7098 | 0.03496 | 0.4541 | 1.188 | json |
| t12_x24_u5_b7 | 12 | 24 | 5 | 7 | ![]() |
sgn(add(R,eql(R,P))) | 40128 | 98417848 | o1(o2(x,o2(x,x))) | true | 1031 | 1031 | -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_x24_u5_b8 | 12 | 24 | 5 | 8 | ![]() |
sgn(add(R,min(R,P))) | 40129 | 98417849 | o1(o2(x,o2(x,x))) | true | 1039 | 1039 | -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_x24_u5_b9 | 12 | 24 | 5 | 9 | ![]() |
sgn(add(R,dot(R,P))) | 40130 | 98417850 | o1(o2(x,o2(x,x))) | true | 1047 | 1047 | -0.1094 | 0.4438 | 0.7284 | 0.615 | 0.7842 | -1 | 1 | 2 | 1 | 3.931 | 0.007555 | 0.009591 | 0.1005 | -0.1188 | 1 | -0.0001055 | 0.0009944 | 0.02432 | 0.007057 | 0.08401 | 0.8363 | 0.2338 | 0.02788 | 0.001617 | 1 | 1 | 0.03409 | 0.4406 | 1.212 | 0.05544 | 0.7165 | 1.971 | json |
| t12_x24_u5_b10 | 12 | 24 | 5 | 10 | ![]() |
sgn(add(R,dst(R,P))) | 40131 | 98417851 | o1(o2(x,o2(x,x))) | true | 1055 | 1055 | 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_x24_u5_b11 | 12 | 24 | 5 | 11 | ![]() |
sgn(sub(R,add(R,P))) | 40132 | 98417852 | o1(o2(x,o2(x,x))) | true | 1063 | 1063 | 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_x24_u5_b12 | 12 | 24 | 5 | 12 | ![]() |
sgn(sub(R,sub(R,P))) | 40133 | 98417853 | o1(o2(x,o2(x,x))) | true | 1071 | 1071 | 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_x24_u5_b13 | 12 | 24 | 5 | 13 | ![]() |
sgn(sub(R,mlt(R,P))) | 40134 | 98417854 | o1(o2(x,o2(x,x))) | true | 1079 | 1079 | 0.05859 | 0.5318 | 0.6876 | 0.5799 | 0.7615 | -1 | 1 | 2 | 1 | 4.157 | 0.007212 | 0.009048 | 0.09841 | -0.1129 | 1 | 0.00003851 | 0.0009552 | 0.02387 | 0.006575 | 0.08108 | 0.8239 | 0.2338 | 0.02804 | 0.001647 | 1 | 1 | 0.03103 | 0.3998 | 1.126 | 0.05351 | 0.6895 | 1.942 | json |
| t12_x24_u5_b14 | 12 | 24 | 5 | 14 | ![]() |
sgn(sub(R,div(R,P))) | 40135 | 98417855 | o1(o2(x,o2(x,x))) | true | 1087 | 1087 | -0.03516 | 0.4803 | 0.6876 | 0.5821 | 0.7629 | -1 | 1 | 2 | 1 | 4.16 | 0.00719 | 0.009048 | 0.0983 | -0.1144 | 1 | 0.00001001 | 0.0009536 | 0.02384 | 0.006576 | 0.08109 | 0.8249 | 0.2338 | 0.0279 | 0.001638 | 1 | 1 | 0.03064 | 0.3948 | 1.147 | 0.05264 | 0.6783 | 1.971 | json |
| t12_x24_u5_b15 | 12 | 24 | 5 | 15 | ![]() |
sgn(sub(R,pow(R,P))) | 40136 | 98417856 | o1(o2(x,o2(x,x))) | true | 1095 | 1095 | -0.6016 | 0.1876 | 0.8431 | 0.4264 | 0.653 | -1 | 1 | 2 | 1 | 2.627 | 0.003688 | 0.004449 | 0.0502 | -0.09343 | 1 | -0.00003707 | 0.0004943 | 0.01222 | 0.005619 | 0.07496 | 1.493 | 0.2338 | 0.01908 | 0.001159 | 1 | 1 | 0.01529 | 0.1988 | 0.5324 | 0.03585 | 0.4661 | 1.248 | json |
| t12_x24_u5_b16 | 12 | 24 | 5 | 16 | ![]() |
sgn(sub(R,mod(R,P))) | 40137 | 98417857 | o1(o2(x,o2(x,x))) | true | 1103 | 1103 | -0.0625 | 0 | 0.0625 | 0.04507 | 0.2123 | -0.9997 | 0 | 0.9997 | 1 | 0.9693 | 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_x24_u5_b17 | 12 | 24 | 5 | 17 | ![]() |
sgn(sub(R,lrg(R,P))) | 40138 | 98417858 | o1(o2(x,o2(x,x))) | true | 1111 | 1111 | -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_x24_u5_b18 | 12 | 24 | 5 | 18 | ![]() |
sgn(sub(R,eql(R,P))) | 40139 | 98417859 | o1(o2(x,o2(x,x))) | true | 1119 | 1119 | -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_x24_u5_b19 | 12 | 24 | 5 | 19 | ![]() |
sgn(sub(R,min(R,P))) | 40140 | 98417860 | o1(o2(x,o2(x,x))) | true | 1127 | 1127 | 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_x24_u5_b20 | 12 | 24 | 5 | 20 | ![]() |
sgn(sub(R,dot(R,P))) | 40141 | 98417861 | o1(o2(x,o2(x,x))) | true | 1135 | 1135 | 0.07812 | 0.539 | 0.7238 | 0.6146 | 0.784 | -1 | 1 | 2 | 1 | 3.951 | 0.008042 | 0.009383 | 0.1019 | -0.07695 | 1 | 0.00007986 | 0.001008 | 0.02467 | 0.007041 | 0.08391 | 0.8235 | 0.2338 | 0.02835 | 0.00164 | 1 | 1 | 0.0342 | 0.441 | 1.275 | 0.05564 | 0.7175 | 2.074 | json |
| t12_x24_u5_b21 | 12 | 24 | 5 | 21 | ![]() |
sgn(sub(R,dst(R,P))) | 40142 | 98417862 | o1(o2(x,o2(x,x))) | true | 1143 | 1143 | -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_x24_u5_b22 | 12 | 24 | 5 | 22 | ![]() |
sgn(mlt(R,add(R,P))) | 40143 | 98417863 | o1(o2(x,o2(x,x))) | true | 1151 | 1151 | 0.01172 | 0.5061 | 0.7295 | 0.6277 | 0.7922 | -1 | 1 | 2 | 1 | 3.962 | 0.007784 | 0.009328 | 0.1003 | -0.09022 | 1 | -0.00007274 | 0.001002 | 0.02437 | 0.007057 | 0.08401 | 0.8377 | 0.2338 | 0.02726 | 0.001596 | 1 | 1 | 0.03324 | 0.4281 | 1.169 | 0.05296 | 0.6821 | 1.863 | json |
| t12_x24_u5_b23 | 12 | 24 | 5 | 23 | ![]() |
sgn(mlt(R,sub(R,P))) | 40144 | 98417864 | o1(o2(x,o2(x,x))) | true | 1159 | 1159 | 0.1133 | 0.5608 | 0.7271 | 0.6116 | 0.782 | -1 | 1 | 2 | 1 | 3.958 | 0.007964 | 0.009328 | 0.1013 | -0.07892 | 1 | 0.00007274 | 0.00101 | 0.0246 | 0.007032 | 0.08386 | 0.8278 | 0.2338 | 0.02828 | 0.001651 | 1 | 1 | 0.03351 | 0.4316 | 1.165 | 0.0548 | 0.7058 | 1.905 | json |
| t12_x24_u5_b24 | 12 | 24 | 5 | 24 | ![]() |
sgn(mlt(R,mlt(R,P))) | 40145 | 98417865 | o1(o2(x,o2(x,x))) | true | 1167 | 1167 | 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_x24_u5_b25 | 12 | 24 | 5 | 25 | ![]() |
sgn(mlt(R,div(R,P))) | 40146 | 98417866 | o1(o2(x,o2(x,x))) | true | 1175 | 1175 | 0.0625 | 0.5313 | 0.9806 | 0.969 | 0.9844 | -1 | 1 | 2 | 1 | 1.326 | 0.001412 | 0 | 0.007937 | 1 | 1 | 0 | 0.00006477 | 0.001855 | 0.001349 | 0.03673 | 4.628 | 0.2338 | 0.001457 | 0.00006684 | 1 | 1 | 0.003702 | 0.04857 | 0.3004 | 0.00382 | 0.05012 | 0.31 | json |
| t12_x24_u5_b26 | 12 | 24 | 5 | 26 | ![]() |
sgn(mlt(R,pow(R,P))) | 40147 | 98417867 | o1(o2(x,o2(x,x))) | true | 1183 | 1183 | -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_x24_u5_b27 | 12 | 24 | 5 | 27 | ![]() |
sgn(mlt(R,mod(R,P))) | 40148 | 98417868 | o1(o2(x,o2(x,x))) | true | 1191 | 1191 | 0.875 | 0.9375 | 0.9611 | 0.1803 | 0.4246 | -0.9994 | 1 | 1.999 | 1 | 0.8126 | 0.002823 | 0 | 0.01587 | 1 | 1 | 0 | 0.0001297 | 0.003711 | 0.002573 | 0.05073 | 3.197 | 0.2338 | 0.01566 | 0.0007193 | 1 | 1 | 0.007404 | 0.09633 | 0.2639 | 0.04107 | 0.5344 | 1.464 | json |
| t12_x24_u5_b28 | 12 | 24 | 5 | 28 | ![]() |
sgn(mlt(R,lrg(R,P))) | 40149 | 98417869 | o1(o2(x,o2(x,x))) | true | 1199 | 1199 | 0.03906 | 0.3038 | 0.3751 | 0.3198 | 0.5655 | -1 | 1 | 2 | 1 | 3.076 | 0.003573 | 0.004609 | 0.04998 | -0.1267 | 1 | 0.00001856 | 0.0004627 | 0.01203 | 0.005685 | 0.0754 | 1.509 | 0.2338 | 0.02558 | 0.001447 | 1 | 1 | 0.016 | 0.2043 | 0.5973 | 0.05005 | 0.639 | 1.868 | json |
| t12_x24_u5_b29 | 12 | 24 | 5 | 29 | ![]() |
sgn(mlt(R,eql(R,P))) | 40150 | 98417870 | o1(o2(x,o2(x,x))) | true | 1207 | 1207 | 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_x24_u5_b30 | 12 | 24 | 5 | 30 | ![]() |
sgn(mlt(R,min(R,P))) | 40151 | 98417871 | o1(o2(x,o2(x,x))) | true | 1215 | 1215 | 0.4922 | 0.7529 | 0.8493 | 0.5529 | 0.7436 | -1 | 1 | 2 | 1 | 2.718 | 0.003712 | 0.004609 | 0.05053 | -0.1077 | 1 | -0.00001856 | 0.0004693 | 0.01215 | 0.005769 | 0.07595 | 1.503 | 0.2338 | 0.01505 | 0.0008487 | 1 | 1 | 0.01624 | 0.2074 | 0.624 | 0.02937 | 0.3751 | 1.129 | json |
| t12_x24_u5_b31 | 12 | 24 | 5 | 31 | ![]() |
sgn(mlt(R,dot(R,P))) | 40152 | 98417872 | o1(o2(x,o2(x,x))) | true | 1223 | 1223 | -0.01563 | 0.4929 | 0.8373 | 0.7753 | 0.8805 | -1 | 1 | 2 | 1 | 3.144 | 0.005078 | 0.005074 | 0.06013 | 0.0003226 | 1 | -0.000004289 | 0.000594 | 0.0146 | 0.006535 | 0.08084 | 1.345 | 0.2338 | 0.01309 | 0.0007661 | 1 | 1 | 0.02107 | 0.2722 | 0.8241 | 0.02717 | 0.3511 | 1.063 | json |
| t12_x24_u5_b32 | 12 | 24 | 5 | 32 | ![]() |
sgn(mlt(R,dst(R,P))) | 40153 | 98417873 | o1(o2(x,o2(x,x))) | true | 1231 | 1231 | -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_x24_u5_b33 | 12 | 24 | 5 | 33 | ![]() |
sgn(div(R,add(R,P))) | 40154 | 98417874 | o1(o2(x,o2(x,x))) | true | 1239 | 1239 | 0.01172 | 0.5061 | 0.7295 | 0.6277 | 0.7922 | -1 | 1 | 2 | 1 | 3.962 | 0.007784 | 0.009328 | 0.1003 | -0.09022 | 1 | -0.00007274 | 0.001002 | 0.02437 | 0.007057 | 0.08401 | 0.8377 | 0.2338 | 0.02726 | 0.001596 | 1 | 1 | 0.03324 | 0.4281 | 1.169 | 0.05296 | 0.6821 | 1.863 | json |
| t12_x24_u5_b34 | 12 | 24 | 5 | 34 | ![]() |
sgn(div(R,sub(R,P))) | 40155 | 98417875 | o1(o2(x,o2(x,x))) | true | 1247 | 1247 | 0.1133 | 0.5608 | 0.7271 | 0.6116 | 0.782 | -1 | 1 | 2 | 1 | 3.958 | 0.007964 | 0.009328 | 0.1013 | -0.07892 | 1 | 0.00007274 | 0.00101 | 0.0246 | 0.007032 | 0.08386 | 0.8278 | 0.2338 | 0.02828 | 0.001651 | 1 | 1 | 0.03351 | 0.4316 | 1.165 | 0.0548 | 0.7058 | 1.905 | json |
| t12_x24_u5_b35 | 12 | 24 | 5 | 35 | ![]() |
sgn(div(R,mlt(R,P))) | 40156 | 98417876 | o1(o2(x,o2(x,x))) | true | 1255 | 1255 | 0.0625 | 0.5313 | 0.9806 | 0.969 | 0.9844 | -1 | 1 | 2 | 1 | 1.326 | 0.001412 | 0 | 0.007937 | 1 | 1 | 0 | 0.00006477 | 0.001855 | 0.001349 | 0.03673 | 4.628 | 0.2338 | 0.001457 | 0.00006684 | 1 | 1 | 0.003702 | 0.04857 | 0.3004 | 0.00382 | 0.05012 | 0.31 | json |
| t12_x24_u5_b36 | 12 | 24 | 5 | 36 | ![]() |
sgn(div(R,div(R,P))) | 40157 | 98417877 | o1(o2(x,o2(x,x))) | true | 1263 | 1263 | 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_x24_u5_b37 | 12 | 24 | 5 | 37 | ![]() |
sgn(div(R,pow(R,P))) | 40158 | 98417878 | o1(o2(x,o2(x,x))) | true | 1271 | 1271 | -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_x24_u5_b38 | 12 | 24 | 5 | 38 | ![]() |
sgn(div(R,mod(R,P))) | 40159 | 98417879 | o1(o2(x,o2(x,x))) | true | 1279 | 1279 | 0.875 | 0.9375 | 0.9611 | 0.1803 | 0.4246 | -0.9994 | 1 | 1.999 | 1 | 0.8126 | 0.002823 | 0 | 0.01587 | 1 | 1 | 0 | 0.0001297 | 0.003711 | 0.002573 | 0.05073 | 3.197 | 0.2338 | 0.01566 | 0.0007193 | 1 | 1 | 0.007404 | 0.09633 | 0.2639 | 0.04107 | 0.5344 | 1.464 | json |
| t12_x24_u5_b39 | 12 | 24 | 5 | 39 | ![]() |
sgn(div(R,lrg(R,P))) | 40160 | 98417880 | o1(o2(x,o2(x,x))) | true | 1287 | 1287 | -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_x24_u5_b40 | 12 | 24 | 5 | 40 | ![]() |
sgn(div(R,eql(R,P))) | 40161 | 98417881 | o1(o2(x,o2(x,x))) | true | 1295 | 1295 | -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_x24_u5_b41 | 12 | 24 | 5 | 41 | ![]() |
sgn(div(R,min(R,P))) | 40162 | 98417882 | o1(o2(x,o2(x,x))) | true | 1303 | 1303 | 0.5195 | 0.76 | 0.8726 | 0.5536 | 0.7441 | -1 | 1 | 2 | 1 | 2.467 | 0.003786 | 0.004503 | 0.04835 | -0.08649 | 1 | -0.00002426 | 0.0004649 | 0.01166 | 0.005954 | 0.07716 | 1.596 | 0.2338 | 0.01497 | 0.0008398 | 1 | 1 | 0.016 | 0.2042 | 0.6036 | 0.0289 | 0.3689 | 1.09 | json |
| t12_x24_u5_b42 | 12 | 24 | 5 | 42 | ![]() |
sgn(div(R,dot(R,P))) | 40163 | 98417883 | o1(o2(x,o2(x,x))) | true | 1311 | 1311 | -0.01172 | 0.4949 | 0.8393 | 0.7778 | 0.8819 | -1 | 1 | 2 | 1 | 3.122 | 0.005113 | 0.005109 | 0.06019 | 0.0003205 | 1 | -0.000004289 | 0.0005982 | 0.01464 | 0.006598 | 0.08123 | 1.35 | 0.2338 | 0.01314 | 0.0007691 | 1 | 1 | 0.02131 | 0.2754 | 0.8341 | 0.0274 | 0.3541 | 1.072 | json |
| t12_x24_u5_b43 | 12 | 24 | 5 | 43 | ![]() |
sgn(div(R,dst(R,P))) | 40164 | 98417884 | o1(o2(x,o2(x,x))) | true | 1319 | 1319 | -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_x24_u5_b44 | 12 | 24 | 5 | 44 | ![]() |
sgn(pow(R,add(R,P))) | 40165 | 98417885 | o1(o2(x,o2(x,x))) | true | 1327 | 1327 | -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_x24_u5_b45 | 12 | 24 | 5 | 45 | ![]() |
sgn(pow(R,sub(R,P))) | 40166 | 98417886 | o1(o2(x,o2(x,x))) | true | 1335 | 1335 | -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_x24_u5_b46 | 12 | 24 | 5 | 46 | ![]() |
sgn(pow(R,mlt(R,P))) | 40167 | 98417887 | o1(o2(x,o2(x,x))) | true | 1343 | 1343 | 0.03516 | 0.5193 | 0.7319 | 0.6299 | 0.7937 | -1 | 1 | 2 | 1 | 3.948 | 0.007583 | 0.009328 | 0.09916 | -0.1032 | 1 | -0.00002421 | 0.0009919 | 0.0241 | 0.007079 | 0.08414 | 0.8485 | 0.2338 | 0.02685 | 0.001575 | 1 | 1 | 0.03293 | 0.4241 | 1.153 | 0.05227 | 0.6732 | 1.83 | json |
| t12_x24_u5_b47 | 12 | 24 | 5 | 47 | ![]() |
sgn(pow(R,div(R,P))) | 40168 | 98417888 | o1(o2(x,o2(x,x))) | true | 1351 | 1351 | -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_x24_u5_b48 | 12 | 24 | 5 | 48 | ![]() |
sgn(pow(R,pow(R,P))) | 40169 | 98417889 | o1(o2(x,o2(x,x))) | true | 1359 | 1359 | -0.1182 | 0.4318 | 0.677 | 0.5541 | 0.7444 | -1 | 1 | 2 | 1 | 4.236 | 0.00696 | 0.009137 | 0.09948 | -0.1353 | 1 | -0.0000228 | 0.000941 | 0.02381 | 0.0062 | 0.07874 | 0.7915 | 0.2338 | 0.02905 | 0.001698 | 1 | 1 | 0.03266 | 0.4212 | 1.069 | 0.05893 | 0.76 | 1.93 | json |
| t12_x24_u5_b49 | 12 | 24 | 5 | 49 | ![]() |
sgn(pow(R,mod(R,P))) | 40170 | 98417890 | o1(o2(x,o2(x,x))) | true | 1367 | 1367 | -0.08984 | 0.4524 | 0.7246 | 0.6129 | 0.7829 | -1 | 1 | 2 | 1 | 3.976 | 0.008165 | 0.009328 | 0.1024 | -0.06649 | 1 | -0.00002421 | 0.00102 | 0.02486 | 0.007005 | 0.0837 | 0.8172 | 0.2338 | 0.02854 | 0.001664 | 1 | 1 | 0.03382 | 0.4354 | 1.062 | 0.05519 | 0.7103 | 1.733 | json |
| t12_x24_u5_b50 | 12 | 24 | 5 | 50 | ![]() |
sgn(pow(R,lrg(R,P))) | 40171 | 98417891 | o1(o2(x,o2(x,x))) | true | 1375 | 1375 | 0.543 | 0.7732 | 0.875 | 0.5322 | 0.7296 | -1 | 1 | 2 | 1 | 2.427 | 0.003585 | 0.004503 | 0.04723 | -0.1136 | 1 | 0.00002426 | 0.0004552 | 0.0114 | 0.005857 | 0.07653 | 1.621 | 0.2338 | 0.0152 | 0.0008552 | 1 | 1 | 0.01569 | 0.2003 | 0.64 | 0.02947 | 0.3764 | 1.202 | json |
| t12_x24_u5_b51 | 12 | 24 | 5 | 51 | ![]() |
sgn(pow(R,eql(R,P))) | 40172 | 98417892 | o1(o2(x,o2(x,x))) | true | 1383 | 1383 | 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_x24_u5_b52 | 12 | 24 | 5 | 52 | ![]() |
sgn(pow(R,min(R,P))) | 40173 | 98417893 | o1(o2(x,o2(x,x))) | true | 1391 | 1391 | -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_x24_u5_b53 | 12 | 24 | 5 | 53 | ![]() |
sgn(pow(R,dot(R,P))) | 40174 | 98417894 | o1(o2(x,o2(x,x))) | true | 1399 | 1399 | -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_x24_u5_b54 | 12 | 24 | 5 | 54 | ![]() |
sgn(pow(R,dst(R,P))) | 40175 | 98417895 | o1(o2(x,o2(x,x))) | true | 1407 | 1407 | -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_x24_u5_b55 | 12 | 24 | 5 | 55 | ![]() |
sgn(mod(R,add(R,P))) | 40176 | 98417896 | o1(o2(x,o2(x,x))) | true | 1415 | 1415 | -0.03906 | 0.4791 | 0.7041 | 0.5963 | 0.7722 | -1 | 1 | 2 | 1 | 4.1 | 0.007622 | 0.009603 | 0.1024 | -0.115 | 1 | -0.00002992 | 0.001011 | 0.02485 | 0.006734 | 0.08206 | 0.8011 | 0.2338 | 0.02889 | 0.001695 | 1 | 1 | 0.03399 | 0.4375 | 1.084 | 0.05701 | 0.7337 | 1.819 | json |
| t12_x24_u5_b56 | 12 | 24 | 5 | 56 | ![]() |
sgn(mod(R,sub(R,P))) | 40177 | 98417897 | o1(o2(x,o2(x,x))) | true | 1423 | 1423 | -0.03906 | 0.4791 | 0.7041 | 0.5963 | 0.7722 | -1 | 1 | 2 | 1 | 4.1 | 0.007622 | 0.009603 | 0.1024 | -0.115 | 1 | -0.00002992 | 0.001011 | 0.02485 | 0.006734 | 0.08206 | 0.8011 | 0.2338 | 0.02889 | 0.001695 | 1 | 1 | 0.03399 | 0.4375 | 1.084 | 0.05701 | 0.7337 | 1.819 | json |
| t12_x24_u5_b57 | 12 | 24 | 5 | 57 | ![]() |
sgn(mod(R,mlt(R,P))) | 40178 | 98417898 | o1(o2(x,o2(x,x))) | true | 1431 | 1431 | -0.1035 | 0.4256 | 0.6836 | 0.5662 | 0.7525 | -1 | 1 | 2 | 1 | 4.203 | 0.007406 | 0.008385 | 0.09764 | -0.06199 | 1 | 0.00000431 | 0.0009223 | 0.02354 | 0.006258 | 0.07911 | 0.8102 | 0.2338 | 0.02789 | 0.001629 | 1 | 1 | 0.02961 | 0.3811 | 0.9706 | 0.0523 | 0.673 | 1.714 | json |
| t12_x24_u5_b58 | 12 | 24 | 5 | 58 | ![]() |
sgn(mod(R,div(R,P))) | 40179 | 98417899 | o1(o2(x,o2(x,x))) | true | 1439 | 1439 | -0.1152 | 0.3915 | 0.5151 | 0.3918 | 0.626 | -1 | 1 | 2 | 1 | 4.562 | 0.005776 | 0.005411 | 0.08265 | 0.03262 | 1 | -0.000007118 | 0.0006559 | 0.01953 | 0.004356 | 0.066 | 0.7986 | 0.2338 | 0.02855 | 0.001674 | 1 | 1 | 0.02014 | 0.2588 | 0.6821 | 0.05139 | 0.6606 | 1.741 | json |
| t12_x24_u5_b59 | 12 | 24 | 5 | 59 | ![]() |
sgn(mod(R,pow(R,P))) | 40180 | 98417900 | o1(o2(x,o2(x,x))) | true | 1447 | 1447 | -0.06055 | 0.4667 | 0.709 | 0.5993 | 0.7742 | -1 | 1 | 2 | 1 | 4.085 | 0.007603 | 0.009528 | 0.102 | -0.1124 | 1 | -0.00003849 | 0.001008 | 0.02471 | 0.006723 | 0.08199 | 0.8037 | 0.2338 | 0.02858 | 0.001682 | 1 | 1 | 0.03334 | 0.4296 | 1.122 | 0.05563 | 0.7168 | 1.872 | json |
| t12_x24_u5_b60 | 12 | 24 | 5 | 60 | ![]() |
sgn(mod(R,mod(R,P))) | 40181 | 98417901 | o1(o2(x,o2(x,x))) | true | 1455 | 1455 | -0.07813 | 0.2175 | 0.2279 | 0.1573 | 0.3966 | -1 | 1 | 2 | 1 | 3.338 | 0.002456 | 0.001598 | 0.03925 | 0.2116 | 1 | -0.00005846 | 0.0002296 | 0.009199 | 0.002514 | 0.05014 | 1.277 | 0.2338 | 0.02577 | 0.001459 | 1 | 1 | 0.009074 | 0.1172 | 0.3198 | 0.05768 | 0.7448 | 2.033 | json |
| t12_x24_u5_b61 | 12 | 24 | 5 | 61 | ![]() |
sgn(mod(R,lrg(R,P))) | 40182 | 98417902 | o1(o2(x,o2(x,x))) | true | 1463 | 1463 | -0.4648 | 0.2676 | 0.8595 | 0.5896 | 0.7679 | -1 | 1 | 2 | 1 | 2.656 | 0.004208 | 0.004925 | 0.05332 | -0.0785 | 1 | 0.00001286 | 0.0005153 | 0.01287 | 0.006288 | 0.0793 | 1.487 | 0.2338 | 0.01549 | 0.000874 | 1 | 1 | 0.01862 | 0.2384 | 0.7341 | 0.03158 | 0.4044 | 1.245 | json |
| t12_x24_u5_b62 | 12 | 24 | 5 | 62 | ![]() |
sgn(mod(R,eql(R,P))) | 40183 | 98417903 | o1(o2(x,o2(x,x))) | true | 1471 | 1471 | -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_x24_u5_b63 | 12 | 24 | 5 | 63 | ![]() |
sgn(mod(R,min(R,P))) | 40184 | 98417904 | o1(o2(x,o2(x,x))) | true | 1479 | 1479 | -0.03125 | 0.362 | 0.4645 | 0.3846 | 0.6202 | -1 | 1 | 2 | 1 | 3.954 | 0.004816 | 0.005286 | 0.06633 | -0.04648 | 1 | -0.000004257 | 0.0005716 | 0.01586 | 0.005703 | 0.07552 | 1.139 | 0.2338 | 0.02627 | 0.001486 | 1 | 1 | 0.02046 | 0.2617 | 0.6847 | 0.05321 | 0.6804 | 1.78 | json |
| t12_x24_u5_b64 | 12 | 24 | 5 | 64 | ![]() |
sgn(mod(R,dot(R,P))) | 40185 | 98417905 | o1(o2(x,o2(x,x))) | true | 1487 | 1487 | -0.03516 | 0.4828 | 0.7191 | 0.6131 | 0.783 | -1 | 1 | 2 | 1 | 4.021 | 0.007836 | 0.009626 | 0.1027 | -0.1025 | 1 | -0.00003562 | 0.001015 | 0.02486 | 0.006908 | 0.08312 | 0.809 | 0.2338 | 0.02848 | 0.001655 | 1 | 1 | 0.03424 | 0.4409 | 1.111 | 0.05585 | 0.7191 | 1.812 | json |
| t12_x24_u5_b65 | 12 | 24 | 5 | 65 | ![]() |
sgn(mod(R,dst(R,P))) | 40186 | 98417906 | o1(o2(x,o2(x,x))) | true | 1495 | 1495 | -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_x24_u5_b66 | 12 | 24 | 5 | 66 | ![]() |
sgn(lrg(R,add(R,P))) | 40187 | 98417907 | o1(o2(x,o2(x,x))) | true | 1503 | 1503 | 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_x24_u5_b67 | 12 | 24 | 5 | 67 | ![]() |
sgn(lrg(R,sub(R,P))) | 40188 | 98417908 | o1(o2(x,o2(x,x))) | true | 1511 | 1511 | 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_x24_u5_b68 | 12 | 24 | 5 | 68 | ![]() |
sgn(lrg(R,mlt(R,P))) | 40189 | 98417909 | o1(o2(x,o2(x,x))) | true | 1519 | 1519 | 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_x24_u5_b69 | 12 | 24 | 5 | 69 | ![]() |
sgn(lrg(R,div(R,P))) | 40190 | 98417910 | o1(o2(x,o2(x,x))) | true | 1527 | 1527 | 0.4512 | 0.8853 | 0.4512 | 0.1559 | 0.3948 | 0 | 1 | 1 | 1 | 3.361 | 0.00196 | 0.002262 | 0.04949 | -0.07155 | 1 | 0.000005006 | 0.0002459 | 0.01201 | 0.001773 | 0.0421 | 0.8507 | 0.1169 | 0.02708 | 0.001577 | 1 | 1 | 0.008011 | 0.1033 | 0.3036 | 0.05139 | 0.6626 | 1.948 | json |
| t12_x24_u5_b70 | 12 | 24 | 5 | 70 | ![]() |
sgn(lrg(R,pow(R,P))) | 40191 | 98417911 | o1(o2(x,o2(x,x))) | true | 1535 | 1535 | 0.6582 | 0.919 | 0.6582 | 0.1717 | 0.4144 | 0 | 1 | 1 | 1 | 2.57 | 0.001201 | 0.001301 | 0.02926 | -0.04021 | 1 | -7.24e-7 | 0.0001406 | 0.007057 | 0.001645 | 0.04056 | 1.386 | 0.1169 | 0.01457 | 0.0008187 | 1 | 1 | 0.0052 | 0.06663 | 0.2127 | 0.03029 | 0.388 | 1.239 | json |
| t12_x24_u5_b71 | 12 | 24 | 5 | 71 | ![]() |
sgn(lrg(R,mod(R,P))) | 40192 | 98417912 | o1(o2(x,o2(x,x))) | true | 1543 | 1543 | 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_x24_u5_b72 | 12 | 24 | 5 | 72 | ![]() |
sgn(lrg(R,lrg(R,P))) | 40193 | 98417913 | o1(o2(x,o2(x,x))) | true | 1551 | 1551 | 0.2148 | 0.455 | 0.2148 | 0.1181 | 0.3436 | 0 | 1 | 1 | 1 | 2.248 | 0.001095 | 0.001206 | 0.02703 | -0.04847 | 1 | -0.00002424 | 0.0001387 | 0.006603 | 0.001571 | 0.03963 | 1.466 | 0.1169 | 0.01949 | 0.001175 | 1 | 1 | 0.004457 | 0.05786 | 0.1462 | 0.03774 | 0.49 | 1.238 | json |
| t12_x24_u5_b73 | 12 | 24 | 5 | 73 | ![]() |
sgn(lrg(R,eql(R,P))) | 40194 | 98417914 | o1(o2(x,o2(x,x))) | true | 1559 | 1559 | 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_x24_u5_b74 | 12 | 24 | 5 | 74 | ![]() |
sgn(lrg(R,min(R,P))) | 40195 | 98417915 | o1(o2(x,o2(x,x))) | true | 1567 | 1567 | 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_x24_u5_b75 | 12 | 24 | 5 | 75 | ![]() |
sgn(lrg(R,dot(R,P))) | 40196 | 98417916 | o1(o2(x,o2(x,x))) | true | 1575 | 1575 | 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_x24_u5_b76 | 12 | 24 | 5 | 76 | ![]() |
sgn(lrg(R,dst(R,P))) | 40197 | 98417917 | o1(o2(x,o2(x,x))) | true | 1583 | 1583 | 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_x24_u5_b77 | 12 | 24 | 5 | 77 | ![]() |
sgn(eql(R,add(R,P))) | 40198 | 98417918 | o1(o2(x,o2(x,x))) | true | 1591 | 1591 | 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_x24_u5_b78 | 12 | 24 | 5 | 78 | ![]() |
sgn(eql(R,sub(R,P))) | 40199 | 98417919 | o1(o2(x,o2(x,x))) | true | 1599 | 1599 | 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 |



































































































