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_u1_b9 | 12 | 6 | 1 | 9 | ![]() |
log(add(P,dot(R,P))) | 24400 | 97689828 | o1(o2(x,o2(x,x))) | true | 25047 | 25047 | -0.5518 | 0.2325 | 0.9699 | 0.6537 | 0.8085 | -1 | 1 | 2 | 1 | 1.286 | 0.0233 | 0.02161 | 0.03086 | 0.03755 | 1 | -0.000002833 | 0.09142 | 0.05055 | 0.04398 | 0.2097 | 6.797 | 2.828 | 0.0687 | 0.1398 | 1 | 1 | 0.04124 | 0.197 | 0.7397 | 0.06308 | 0.3013 | 1.132 | json |
| t12_x6_u1_b10 | 12 | 6 | 1 | 10 | ![]() |
log(add(P,dst(R,P))) | 24401 | 97689829 | o1(o2(x,o2(x,x))) | true | 25055 | 25055 | 0.5998 | 0.8221 | 0.9176 | 0.527 | 0.726 | -1 | 1 | 2 | 1 | 1.973 | 0.002162 | 0.004405 | 0.01675 | -0.3415 | 1 | 0.00002189 | 0.01041 | 0.01327 | 0.006284 | 0.07927 | 4.732 | 1.734 | 0.01246 | 0.01975 | 1 | 1 | 0.01053 | 0.06844 | 0.3498 | 0.01997 | 0.1299 | 0.6637 | json |
| t12_x6_u1_b11 | 12 | 6 | 1 | 11 | ![]() |
log(sub(P,add(R,P))) | 24402 | 97689830 | o1(o2(x,o2(x,x))) | true | 25063 | 25063 | -0.9765 | 0 | 0.9765 | 0.01618 | 0.1272 | -1 | -0.001196 | 0.9988 | 1 | 0.3894 | 0.001388 | 0.002314 | 0.007057 | -0.2501 | 1 | 0.00000196 | 0.007417 | 0.01019 | 0.003653 | 0.06044 | 8.565 | 1.247 | 0.2289 | 0.4584 | 1 | 1 | 0.003623 | 0.0155 | 0.03315 | 0.2239 | 0.9583 | 2.049 | json |
| t12_x6_u1_b12 | 12 | 6 | 1 | 12 | ![]() |
log(sub(P,sub(R,P))) | 24403 | 97689831 | o1(o2(x,o2(x,x))) | true | 25071 | 25071 | -0.1146 | 0.4481 | 0.9727 | 0.9508 | 0.9751 | -1 | 1 | 2 | 1 | 1.462 | 0.007155 | 0.0009986 | 0.009207 | 0.7551 | 1 | 0.000003758 | 0.01588 | 0.01197 | 0.008074 | 0.08985 | 9.759 | 2.003 | 0.008576 | 0.0167 | 1 | 1 | 0.01257 | 0.06176 | 0.311 | 0.01322 | 0.06496 | 0.3271 | json |
| t12_x6_u1_b13 | 12 | 6 | 1 | 13 | ![]() |
log(sub(P,mlt(R,P))) | 24404 | 97689832 | o1(o2(x,o2(x,x))) | true | 25079 | 25079 | -0.2616 | 0.3829 | 0.9249 | 0.8312 | 0.9117 | -1 | 1 | 2 | 1 | 2.038 | 0.004671 | 0.001708 | 0.02326 | 0.4645 | 1 | -0.00004079 | 0.005633 | 0.01214 | 0.00584 | 0.07642 | 3.285 | 1.583 | 0.007674 | 0.006777 | 1 | 1 | 0.01178 | 0.1059 | 0.3942 | 0.01417 | 0.1274 | 0.4742 | json |
| t12_x6_u1_b14 | 12 | 6 | 1 | 14 | ![]() |
log(sub(P,div(R,P))) | 24405 | 97689833 | o1(o2(x,o2(x,x))) | true | 25087 | 25087 | -0.1909 | 0.4154 | 0.9635 | 0.9114 | 0.9547 | -1 | 1 | 2 | 1 | 1.671 | 0.003156 | 0.0002449 | 0.009187 | 0.856 | 1 | 0.00001265 | 0.004875 | 0.006198 | 0.00332 | 0.05762 | 6.272 | 1.583 | 0.003732 | 0.00535 | 1 | 1 | 0.006043 | 0.0451 | 0.2762 | 0.00663 | 0.04949 | 0.3031 | json |
| t12_x6_u1_b15 | 12 | 6 | 1 | 15 | ![]() |
log(sub(P,pow(R,P))) | 24406 | 97689834 | o1(o2(x,o2(x,x))) | true | 25095 | 25095 | -0.9922 | 0.003906 | 1 | 0.01556 | 0.1248 | -1 | 1 | 2 | 1 | 0.03687 | 0.001008 | 0.001764 | 0.001386 | -0.2727 | 1 | 0 | 0.005795 | 0.002771 | 0.002769 | 0.05262 | 37.97 | 2 | 0.1781 | 0.3723 | 1 | 1 | 0 | 0 | 0.0133 | 0 | 0 | 0.8543 | json |
| t12_x6_u1_b16 | 12 | 6 | 1 | 16 | ![]() |
log(sub(P,mod(R,P))) | 24407 | 97689835 | o1(o2(x,o2(x,x))) | true | 25103 | 25103 | -0.1935 | 0.4153 | 0.961 | 0.9089 | 0.9534 | -1 | 1 | 2 | 1 | 1.679 | 0.003191 | 0.0002977 | 0.009831 | 0.8294 | 1 | 0.00001239 | 0.00489 | 0.006445 | 0.00339 | 0.05823 | 5.923 | 1.583 | 0.003839 | 0.005381 | 1 | 1 | 0.006301 | 0.0482 | 0.2776 | 0.006933 | 0.05303 | 0.3055 | json |
| t12_x6_u1_b17 | 12 | 6 | 1 | 17 | ![]() |
log(sub(P,lrg(R,P))) | 24408 | 97689836 | o1(o2(x,o2(x,x))) | true | 25111 | 25111 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0.005854 | 0.03284 | 0.2495 | 0.006466 | 0.03627 | 0.2755 | json |
| t12_x6_u1_b18 | 12 | 6 | 1 | 18 | ![]() |
log(sub(P,eql(R,P))) | 24409 | 97689837 | o1(o2(x,o2(x,x))) | true | 25119 | 25119 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | 1.42e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0.005854 | 0.03284 | 0.2495 | 0.006466 | 0.03627 | 0.2755 | json |
| t12_x6_u1_b19 | 12 | 6 | 1 | 19 | ![]() |
log(sub(P,min(R,P))) | 24410 | 97689838 | o1(o2(x,o2(x,x))) | true | 25127 | 25127 | -0.1855 | 0.4168 | 0.9538 | 0.9016 | 0.9495 | -1 | 1 | 2 | 1 | 1.814 | 0.003327 | 0.0007236 | 0.01184 | 0.6428 | 1 | 0.00001828 | 0.005858 | 0.008454 | 0.003909 | 0.06252 | 5.28 | 1.497 | 0.004493 | 0.006498 | 1 | 1 | 0.00712 | 0.05123 | 0.2705 | 0.007898 | 0.05682 | 0.3 | json |
| t12_x6_u1_b20 | 12 | 6 | 1 | 20 | ![]() |
log(sub(P,dot(R,P))) | 24411 | 97689839 | o1(o2(x,o2(x,x))) | true | 25135 | 25135 | -0.561 | 0.2241 | 0.9749 | 0.6508 | 0.8067 | -1 | 1 | 2 | 1 | 1.216 | 0.02731 | 0.0214 | 0.03346 | 0.1214 | 1 | -0.00002192 | 0.09769 | 0.05212 | 0.0476 | 0.2182 | 6.521 | 2.828 | 0.07484 | 0.1501 | 1 | 1 | 0.05044 | 0.2559 | 0.764 | 0.0775 | 0.3933 | 1.174 | json |
| t12_x6_u1_b21 | 12 | 6 | 1 | 21 | ![]() |
log(sub(P,dst(R,P))) | 24412 | 97689840 | o1(o2(x,o2(x,x))) | true | 25143 | 25143 | -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_u1_b22 | 12 | 6 | 1 | 22 | ![]() |
log(mlt(P,add(R,P))) | 24413 | 97689841 | o1(o2(x,o2(x,x))) | true | 25151 | 25151 | 0.6849 | 0.8503 | 0.9624 | 0.4798 | 0.6927 | -1 | 1 | 2 | 1 | 1.279 | 0.01028 | 0.0003758 | 0.01738 | 0.9295 | 1 | 0.000004055 | 0.01761 | 0.01714 | 0.01036 | 0.1018 | 5.856 | 1.665 | 0.02221 | 0.03671 | 1 | 1 | 0.01565 | 0.1074 | 0.6242 | 0.03262 | 0.2237 | 1.301 | json |
| t12_x6_u1_b23 | 12 | 6 | 1 | 23 | ![]() |
log(mlt(P,sub(R,P))) | 24414 | 97689842 | o1(o2(x,o2(x,x))) | true | 25159 | 25159 | -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_u1_b24 | 12 | 6 | 1 | 24 | ![]() |
log(mlt(P,mlt(R,P))) | 24415 | 97689843 | o1(o2(x,o2(x,x))) | true | 25167 | 25167 | -0.9362 | 0.03198 | 0.9957 | 0.1179 | 0.3434 | -1 | 1 | 2 | 1 | 0.279 | 0.0127 | 0.01126 | 0.01294 | 0.06003 | 1 | 0 | 0.05003 | 0.02476 | 0.02378 | 0.1542 | 11.92 | 2.828 | 0.2032 | 0.4243 | 1 | 1 | 0.0181 | 0.07605 | 0.1798 | 0.1536 | 0.6451 | 1.525 | json |
| t12_x6_u1_b25 | 12 | 6 | 1 | 25 | ![]() |
log(mlt(P,div(R,P))) | 24416 | 97689844 | o1(o2(x,o2(x,x))) | true | 25175 | 25175 | -0.9875 | 0 | 0.9875 | 0.007441 | 0.08626 | -1 | -0.05896 | 0.941 | 1 | 0.2677 | 0.0007567 | 0.0008874 | 0.003842 | -0.0795 | 1 | 0.00001706 | 0.003232 | 0.005151 | 0.00163 | 0.04037 | 10.51 | 0.941 | 0.221 | 0.4344 | 1 | 1 | 0.001767 | 0.007619 | 0.01411 | 0.2374 | 1.024 | 1.897 | json |
| t12_x6_u1_b26 | 12 | 6 | 1 | 26 | ![]() |
log(mlt(P,pow(R,P))) | 24417 | 97689845 | o1(o2(x,o2(x,x))) | true | 25183 | 25183 | -0.9983 | 0.0007324 | 0.9994 | 0.002454 | 0.04954 | -1 | 1 | 2 | 1 | 0.02195 | 0.0001602 | 0.000192 | 0.0004962 | -0.09022 | 1 | 0.00001974 | 0.00048 | 0.0004759 | 0.0003519 | 0.01876 | 37.81 | 2 | 0.1435 | 0.1956 | 1 | 1 | 0 | 0 | 0.001685 | 0 | 0 | 0.6866 | json |
| t12_x6_u1_b27 | 12 | 6 | 1 | 27 | ![]() |
log(mlt(P,mod(R,P))) | 24418 | 97689846 | o1(o2(x,o2(x,x))) | true | 25191 | 25191 | -0.9588 | 0.0193 | 0.9828 | 0.05929 | 0.2435 | -1 | 1 | 2 | 1 | 0.3625 | 0.005665 | 0.007005 | 0.01009 | -0.1057 | 1 | -4.022e-8 | 0.02598 | 0.01628 | 0.01257 | 0.1121 | 11.11 | 2.828 | 0.2137 | 0.4381 | 1 | 1 | 0.009747 | 0.04111 | 0.1029 | 0.1644 | 0.6934 | 1.736 | json |
| t12_x6_u1_b28 | 12 | 6 | 1 | 28 | ![]() |
log(mlt(P,lrg(R,P))) | 24419 | 97689847 | o1(o2(x,o2(x,x))) | true | 25199 | 25199 | -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_u1_b29 | 12 | 6 | 1 | 29 | ![]() |
log(mlt(P,eql(R,P))) | 24420 | 97689848 | o1(o2(x,o2(x,x))) | true | 25207 | 25207 | -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_u1_b30 | 12 | 6 | 1 | 30 | ![]() |
log(mlt(P,min(R,P))) | 24421 | 97689849 | o1(o2(x,o2(x,x))) | true | 25215 | 25215 | -0.1429 | 0.4414 | 0.9743 | 0.9487 | 0.974 | -1 | 1 | 2 | 1 | 1.294 | 0.005425 | 0.00174 | 0.009317 | 0.5143 | 1 | -9.499e-10 | 0.01353 | 0.01189 | 0.00708 | 0.08414 | 9.031 | 2 | 0.007552 | 0.01427 | 1 | 1 | 0.006621 | 0.04469 | 0.3089 | 0.006979 | 0.04711 | 0.3256 | json |
| t12_x6_u1_b31 | 12 | 6 | 1 | 31 | ![]() |
log(mlt(P,dot(R,P))) | 24422 | 97689850 | o1(o2(x,o2(x,x))) | true | 25223 | 25223 | -0.8766 | 0.06209 | 0.9955 | 0.2255 | 0.4749 | -1 | 1 | 2 | 1 | 0.4306 | 0.01856 | 0.02589 | 0.02466 | -0.1649 | 1 | -0.000002285 | 0.09197 | 0.04581 | 0.04382 | 0.2093 | 8.489 | 2.828 | 0.1971 | 0.4078 | 1 | 1 | 0.03924 | 0.1736 | 0.3738 | 0.174 | 0.77 | 1.658 | json |
| t12_x6_u1_b32 | 12 | 6 | 1 | 32 | ![]() |
log(mlt(P,dst(R,P))) | 24423 | 97689851 | o1(o2(x,o2(x,x))) | true | 25231 | 25231 | -0.1304 | 0.4363 | 0.9952 | 0.9766 | 0.9882 | -1 | 1 | 2 | 1 | 1.104 | 0.01299 | 0.00002146 | 0.008077 | 0.9967 | 1 | 2.628e-11 | 0.02574 | 0.01434 | 0.01295 | 0.1138 | 14.09 | 2 | 0.01333 | 0.02635 | 1 | 1 | 0.0163 | 0.07329 | 0.3286 | 0.01669 | 0.07505 | 0.3365 | json |
| t12_x6_u1_b33 | 12 | 6 | 1 | 33 | ![]() |
log(div(P,add(R,P))) | 24424 | 97689852 | o1(o2(x,o2(x,x))) | true | 25239 | 25239 | -0.09912 | 0.4876 | 0.2372 | 0.1499 | 0.3871 | -1 | 1 | 2 | 1 | 3.504 | 0.01306 | 0.000566 | 0.02714 | 0.9169 | 1 | -3.924e-7 | 0.02537 | 0.02224 | 0.01289 | 0.1135 | 4.182 | 2.003 | 0.09089 | 0.1693 | 1 | 1 | 0.01777 | 0.08702 | 0.2688 | 0.1185 | 0.5806 | 1.793 | json |
| t12_x6_u1_b34 | 12 | 6 | 1 | 34 | ![]() |
log(div(P,sub(R,P))) | 24425 | 97689853 | o1(o2(x,o2(x,x))) | true | 25247 | 25247 | -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_u1_b35 | 12 | 6 | 1 | 35 | ![]() |
log(div(P,mlt(R,P))) | 24426 | 97689854 | o1(o2(x,o2(x,x))) | true | 25255 | 25255 | -0.9422 | 0.03516 | 0.9875 | 0.09485 | 0.308 | -1 | 1 | 2 | 1 | 0.3466 | 0.01096 | 0.008504 | 0.01265 | 0.1262 | 1 | -0.00001706 | 0.04052 | 0.02294 | 0.0193 | 0.1389 | 10.98 | 2.828 | 0.2052 | 0.4272 | 1 | 1 | 0.01551 | 0.06473 | 0.1656 | 0.1635 | 0.6824 | 1.746 | json |
| t12_x6_u1_b36 | 12 | 6 | 1 | 36 | ![]() |
log(div(P,div(R,P))) | 24427 | 97689855 | o1(o2(x,o2(x,x))) | true | 25263 | 25263 | -0.9309 | 0.03516 | 0.9988 | 0.1317 | 0.3628 | -1 | 1 | 2 | 1 | 0.2447 | 0.01401 | 0.01227 | 0.01353 | 0.06641 | 1 | 0 | 0.05496 | 0.02677 | 0.02613 | 0.1616 | 11.94 | 2.828 | 0.1996 | 0.4175 | 1 | 1 | 0.0221 | 0.09314 | 0.2319 | 0.1678 | 0.7075 | 1.761 | json |
| t12_x6_u1_b37 | 12 | 6 | 1 | 37 | ![]() |
log(div(P,pow(R,P))) | 24428 | 97689856 | o1(o2(x,o2(x,x))) | true | 25271 | 25271 | -0.9922 | 0.003906 | 1 | 0.01556 | 0.1248 | -1 | 1 | 2 | 1 | 0.03687 | 0.001008 | 0.001764 | 0.001386 | -0.2727 | 1 | 0 | 0.005795 | 0.002771 | 0.002769 | 0.05262 | 37.97 | 2 | 0.1781 | 0.3723 | 1 | 1 | 0 | 0 | 0.0133 | 0 | 0 | 0.8543 | json |
| t12_x6_u1_b38 | 12 | 6 | 1 | 38 | ![]() |
log(div(P,mod(R,P))) | 24429 | 97689857 | o1(o2(x,o2(x,x))) | true | 25279 | 25279 | -0.9229 | 0.03906 | 0.999 | 0.1467 | 0.383 | -1 | 1 | 2 | 1 | 0.2651 | 0.01437 | 0.01218 | 0.01366 | 0.08266 | 1 | 4.13e-11 | 0.05539 | 0.02717 | 0.02637 | 0.1624 | 11.89 | 2.828 | 0.181 | 0.3777 | 1 | 1 | 0.02565 | 0.1064 | 0.2934 | 0.1749 | 0.7257 | 2.001 | json |
| t12_x6_u1_b39 | 12 | 6 | 1 | 39 | ![]() |
log(div(P,lrg(R,P))) | 24430 | 97689858 | o1(o2(x,o2(x,x))) | true | 25287 | 25287 | -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_u1_b40 | 12 | 6 | 1 | 40 | ![]() |
log(div(P,eql(R,P))) | 24431 | 97689859 | o1(o2(x,o2(x,x))) | true | 25295 | 25295 | -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_u1_b41 | 12 | 6 | 1 | 41 | ![]() |
log(div(P,min(R,P))) | 24432 | 97689860 | o1(o2(x,o2(x,x))) | true | 25303 | 25303 | -0.5547 | 0.003906 | 0.5625 | 0.2548 | 0.5048 | -1 | 1 | 2 | 1 | 1.453 | 0.004976 | 0.001764 | 0.005354 | 0.4766 | 1 | 0 | 0.01373 | 0.01071 | 0.006713 | 0.08193 | 15.3 | 2 | 0.02645 | 0.05389 | 1 | 1 | 0.005263 | 0.02105 | 0.09751 | 0.02066 | 0.08263 | 0.3827 | json |
| t12_x6_u1_b42 | 12 | 6 | 1 | 42 | ![]() |
log(div(P,dot(R,P))) | 24433 | 97689861 | o1(o2(x,o2(x,x))) | true | 25311 | 25311 | -0.8988 | 0.0535 | 0.9749 | 0.16 | 0.4 | -1 | 1 | 2 | 1 | 0.6218 | 0.01274 | 0.01577 | 0.02154 | -0.1064 | 1 | -0.00002576 | 0.05802 | 0.03573 | 0.02806 | 0.1675 | 7.776 | 2.828 | 0.1782 | 0.3626 | 1 | 1 | 0.02373 | 0.1105 | 0.2671 | 0.1483 | 0.6909 | 1.669 | json |
| t12_x6_u1_b43 | 12 | 6 | 1 | 43 | ![]() |
log(div(P,dst(R,P))) | 24434 | 97689862 | o1(o2(x,o2(x,x))) | true | 25319 | 25319 | -0.7307 | 0.05669 | 0.7399 | 0.1452 | 0.381 | -1 | 0.523 | 1.523 | 1 | 2.543 | 0.0009547 | 0.0001053 | 0.007532 | 0.8012 | 1 | -0.000003586 | 0.001743 | 0.003491 | 0.001004 | 0.03168 | 4.206 | 1.523 | 0.007303 | 0.01201 | 1 | 1 | 0.002094 | 0.01328 | 0.06684 | 0.01442 | 0.09149 | 0.4605 | json |
| t12_x6_u1_b44 | 12 | 6 | 1 | 44 | ![]() |
log(pow(P,add(R,P))) | 24435 | 97689863 | o1(o2(x,o2(x,x))) | true | 25327 | 25327 | -0.1525 | 0.4375 | 0.9725 | 0.9437 | 0.9715 | -1 | 1 | 2 | 1 | 1.34 | 0.004452 | 0.00001407 | 0.008045 | 0.9937 | 1 | -0.000002039 | 0.007954 | 0.009206 | 0.004398 | 0.06632 | 8.243 | 1.001 | 0.004732 | 0.008428 | 1 | 1 | 0.006542 | 0.04356 | 0.2926 | 0.006932 | 0.04616 | 0.31 | json |
| t12_x6_u1_b45 | 12 | 6 | 1 | 45 | ![]() |
log(pow(P,sub(R,P))) | 24436 | 97689864 | o1(o2(x,o2(x,x))) | true | 25335 | 25335 | -0.9736 | 0 | 0.9736 | 0.02043 | 0.1429 | -1 | -0.0002106 | 0.9998 | 1 | 0.3833 | 0.004481 | 0.00001716 | 0.008071 | 0.9924 | 1 | 0.000001376 | 0.00811 | 0.009362 | 0.004431 | 0.06657 | 8.248 | 0.9998 | 0.2202 | 0.397 | 1 | 1 | 0.006584 | 0.02623 | 0.02885 | 0.3223 | 1.284 | 1.412 | json |
| t12_x6_u1_b46 | 12 | 6 | 1 | 46 | ![]() |
log(pow(P,mlt(R,P))) | 24437 | 97689865 | o1(o2(x,o2(x,x))) | true | 25343 | 25343 | -0.606 | 0.1896 | 0.9044 | 0.5128 | 0.7161 | -1 | 1 | 2 | 1 | 1.876 | 0.01642 | 0.01353 | 0.04669 | 0.09649 | 1 | 0.00001055 | 0.03502 | 0.04103 | 0.02778 | 0.1667 | 3.57 | 2 | 0.0584 | 0.06829 | 1 | 1 | 0.03349 | 0.2396 | 0.6169 | 0.06532 | 0.4672 | 1.203 | json |
| t12_x6_u1_b47 | 12 | 6 | 1 | 47 | ![]() |
log(pow(P,div(R,P))) | 24438 | 97689866 | o1(o2(x,o2(x,x))) | true | 25351 | 25351 | -0.5687 | 0.1888 | 0.6125 | 0.2476 | 0.4976 | -1 | 0.3389 | 1.339 | 1 | 2.385 | 0.004082 | 0.0001227 | 0.01227 | 0.9417 | 1 | 0.000005438 | 0.007952 | 0.009872 | 0.004055 | 0.06368 | 5.191 | 1 | 0.01698 | 0.03212 | 1 | 1 | 0.005748 | 0.02711 | 0.0993 | 0.02322 | 0.1095 | 0.4011 | json |
| t12_x6_u1_b48 | 12 | 6 | 1 | 48 | ![]() |
log(pow(P,pow(R,P))) | 24439 | 97689867 | o1(o2(x,o2(x,x))) | true | 25359 | 25359 | -0.9948 | 0.003906 | 0.9974 | 0.007309 | 0.0855 | -1 | 1 | 2 | 1 | 0.05077 | 0.0002654 | 0.0007814 | 0.001007 | -0.4929 | 1 | 0.000002175 | 0.002124 | 0.001677 | 0.001046 | 0.03233 | 32.1 | 2 | 0.1432 | 0.2906 | 1 | 1 | 0 | 0 | 0.006038 | 0 | 0 | 0.8261 | json |
| t12_x6_u1_b49 | 12 | 6 | 1 | 49 | ![]() |
log(pow(P,mod(R,P))) | 24440 | 97689868 | o1(o2(x,o2(x,x))) | true | 25367 | 25367 | -0.5817 | 0.1892 | 0.7702 | 0.3736 | 0.6112 | -1 | 1 | 2 | 1 | 2.84 | 0.006185 | 0.002329 | 0.03557 | 0.4528 | 1 | -0.00000425 | 0.008542 | 0.01655 | 0.007245 | 0.08512 | 2.393 | 1 | 0.02279 | 0.02286 | 1 | 1 | 0.01174 | 0.1009 | 0.3217 | 0.03142 | 0.27 | 0.8611 | json |
| t12_x6_u1_b50 | 12 | 6 | 1 | 50 | ![]() |
log(pow(P,lrg(R,P))) | 24441 | 97689869 | o1(o2(x,o2(x,x))) | true | 25375 | 25375 | -0.5625 | 0 | 0.5625 | 0.2461 | 0.4961 | -1 | 0 | 1 | 1 | 0.9887 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01612 | 0.03225 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02139 | 0.08555 | 0.3422 | json |
| t12_x6_u1_b51 | 12 | 6 | 1 | 51 | ![]() |
log(pow(P,eql(R,P))) | 24442 | 97689870 | o1(o2(x,o2(x,x))) | true | 25383 | 25383 | 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_u1_b52 | 12 | 6 | 1 | 52 | ![]() |
log(pow(P,min(R,P))) | 24443 | 97689871 | o1(o2(x,o2(x,x))) | true | 25391 | 25391 | -0.5817 | 0.1892 | 0.7702 | 0.3736 | 0.6112 | -1 | 1 | 2 | 1 | 2.84 | 0.006185 | 0.002329 | 0.03557 | 0.4528 | 1 | -0.00000425 | 0.008542 | 0.01655 | 0.007245 | 0.08512 | 2.393 | 1 | 0.02279 | 0.02286 | 1 | 1 | 0.01174 | 0.1009 | 0.3217 | 0.03142 | 0.27 | 0.8611 | json |
| t12_x6_u1_b53 | 12 | 6 | 1 | 53 | ![]() |
log(pow(P,dot(R,P))) | 24444 | 97689872 | o1(o2(x,o2(x,x))) | true | 25399 | 25399 | -0.5998 | 0.1994 | 0.9273 | 0.5501 | 0.7417 | -1 | 1 | 2 | 1 | 1.616 | 0.01767 | 0.01844 | 0.04669 | -0.02136 | 1 | 0.00001703 | 0.04778 | 0.04743 | 0.03395 | 0.1842 | 3.946 | 2.389 | 0.06565 | 0.08686 | 1 | 1 | 0.03841 | 0.2591 | 0.6901 | 0.06982 | 0.4711 | 1.255 | json |
| t12_x6_u1_b54 | 12 | 6 | 1 | 54 | ![]() |
log(pow(P,dst(R,P))) | 24445 | 97689873 | o1(o2(x,o2(x,x))) | true | 25407 | 25407 | -0.1436 | 0.4375 | 0.9814 | 0.9579 | 0.9787 | -1 | 1 | 2 | 1 | 1.217 | 0.004799 | 0.000004352 | 0.007959 | 0.9982 | 1 | 6.579e-8 | 0.008089 | 0.009982 | 0.004738 | 0.06884 | 8.649 | 1.002 | 0.005015 | 0.008445 | 1 | 1 | 0.007216 | 0.05308 | 0.3058 | 0.007533 | 0.05541 | 0.3192 | json |
| t12_x6_u1_b55 | 12 | 6 | 1 | 55 | ![]() |
log(mod(P,add(R,P))) | 24446 | 97689874 | o1(o2(x,o2(x,x))) | true | 25415 | 25415 | -0.5545 | 0.2089 | 0.8534 | 0.5031 | 0.7093 | -1 | 1 | 2 | 1 | 2.479 | 0.00665 | 0.00529 | 0.0451 | 0.1139 | 1 | -0.00004794 | 0.006613 | 0.01971 | 0.009906 | 0.09953 | 2.207 | 1 | 0.02373 | 0.01314 | 1 | 1 | 0.01791 | 0.1809 | 0.5454 | 0.0356 | 0.3596 | 1.084 | json |
| t12_x6_u1_b56 | 12 | 6 | 1 | 56 | ![]() |
log(mod(P,sub(R,P))) | 24447 | 97689875 | o1(o2(x,o2(x,x))) | true | 25423 | 25423 | -0.4604 | 0.2638 | 0.8638 | 0.6103 | 0.7812 | -1 | 1 | 2 | 1 | 2.484 | 0.005144 | 0.005598 | 0.04312 | -0.04227 | 1 | -0.000008327 | 0.004158 | 0.01685 | 0.008882 | 0.09424 | 2.186 | 1 | 0.0176 | 0.006813 | 1 | 1 | 0.01574 | 0.166 | 0.4529 | 0.0258 | 0.272 | 0.7422 | json |
| t12_x6_u1_b57 | 12 | 6 | 1 | 57 | ![]() |
log(mod(P,mlt(R,P))) | 24448 | 97689876 | o1(o2(x,o2(x,x))) | true | 25431 | 25431 | -0.7628 | 0.1018 | 0.8346 | 0.2057 | 0.4536 | -1 | 1 | 2 | 1 | 2.157 | 0.001683 | 0.002363 | 0.02593 | -0.168 | 1 | 0.00009967 | 0.001015 | 0.00948 | 0.003373 | 0.05808 | 2.24 | 0.554 | 0.01967 | 0.004933 | 1 | 1 | 0.004673 | 0.05118 | 0.1959 | 0.02272 | 0.2488 | 0.9523 | json |
| t12_x6_u1_b58 | 12 | 6 | 1 | 58 | ![]() |
log(mod(P,div(R,P))) | 24449 | 97689877 | o1(o2(x,o2(x,x))) | true | 25439 | 25439 | -1 | 0 | 1 | 8.423e-7 | 0.0009178 | -1 | -0.9012 | 0.09878 | 1 | 0.001563 | 1.046e-7 | 1.453e-7 | 0.00000599 | -0.1628 | 0 | 0.000001558 | 3.702e-7 | 0.000006781 | 2.498e-7 | 0.0004998 | 83.44 | 0.06585 | 0.2966 | 0.4395 | 1 | 1 | 0 | 0 | 4.221e-7 | 0 | 0 | 0.5011 | json |
| t12_x6_u1_b59 | 12 | 6 | 1 | 59 | ![]() |
log(mod(P,pow(R,P))) | 24450 | 97689878 | o1(o2(x,o2(x,x))) | true | 25447 | 25447 | -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_u1_b60 | 12 | 6 | 1 | 60 | ![]() |
log(mod(P,mod(R,P))) | 24451 | 97689879 | o1(o2(x,o2(x,x))) | true | 25455 | 25455 | -0.9788 | 0 | 0.9788 | 0.009947 | 0.09973 | -1 | -0.2248 | 0.7752 | 1 | 0.4985 | 0.0002735 | 0.000262 | 0.004774 | 0.02154 | 1 | 0.00003286 | 0.0002517 | 0.002919 | 0.0005128 | 0.02265 | 4.744 | 0.2802 | 0.05384 | 0.02531 | 1 | 1 | 0.001006 | 0.00887 | 0.02542 | 0.1011 | 0.8917 | 2.556 | json |
| t12_x6_u1_b61 | 12 | 6 | 1 | 61 | ![]() |
log(mod(P,lrg(R,P))) | 24452 | 97689880 | o1(o2(x,o2(x,x))) | true | 25463 | 25463 | -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_u1_b62 | 12 | 6 | 1 | 62 | ![]() |
log(mod(P,eql(R,P))) | 24453 | 97689881 | o1(o2(x,o2(x,x))) | true | 25471 | 25471 | -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_u1_b63 | 12 | 6 | 1 | 63 | ![]() |
log(mod(P,min(R,P))) | 24454 | 97689882 | o1(o2(x,o2(x,x))) | true | 25479 | 25479 | -0.9788 | 0 | 0.9788 | 0.009947 | 0.09973 | -1 | -0.2248 | 0.7752 | 1 | 0.4985 | 0.0002735 | 0.000262 | 0.004774 | 0.02154 | 1 | 0.00003286 | 0.0002517 | 0.002919 | 0.0005128 | 0.02265 | 4.744 | 0.2802 | 0.05384 | 0.02531 | 1 | 1 | 0.001006 | 0.00887 | 0.02542 | 0.1011 | 0.8917 | 2.556 | json |
| t12_x6_u1_b64 | 12 | 6 | 1 | 64 | ![]() |
log(mod(P,dot(R,P))) | 24455 | 97689883 | o1(o2(x,o2(x,x))) | true | 25487 | 25487 | -0.5918 | 0.2094 | 0.8564 | 0.4609 | 0.6789 | -1 | 1 | 2 | 1 | 2.396 | 0.006772 | 0.004069 | 0.04121 | 0.2493 | 1 | 0.0000264 | 0.006643 | 0.01882 | 0.009147 | 0.09564 | 2.321 | 1 | 0.02352 | 0.01441 | 1 | 1 | 0.01826 | 0.1704 | 0.5187 | 0.03962 | 0.3697 | 1.125 | json |
| t12_x6_u1_b65 | 12 | 6 | 1 | 65 | ![]() |
log(mod(P,dst(R,P))) | 24456 | 97689884 | o1(o2(x,o2(x,x))) | true | 25495 | 25495 | -0.2585 | 0.3898 | 0.9212 | 0.8288 | 0.9104 | -1 | 1 | 2 | 1 | 2.035 | 0.005072 | 0.001846 | 0.01972 | 0.4664 | 1 | -0.00003689 | 0.008078 | 0.01287 | 0.006531 | 0.08082 | 4.098 | 1 | 0.008347 | 0.009746 | 1 | 1 | 0.01216 | 0.1036 | 0.4347 | 0.01467 | 0.125 | 0.5245 | json |
| t12_x6_u1_b66 | 12 | 6 | 1 | 66 | ![]() |
log(lrg(P,add(R,P))) | 24457 | 97689885 | o1(o2(x,o2(x,x))) | true | 25503 | 25503 | -0.9297 | 0 | 0.9297 | 0.06532 | 0.2556 | -1 | 0 | 1 | 1 | 0.3671 | 0.00548 | 0.006677 | 0.01207 | -0.09845 | 1 | 0 | 0.02545 | 0.02431 | 0.01201 | 0.1096 | 9.077 | 1.414 | 0.1861 | 0.3896 | 1 | 1 | 0.01256 | 0.05287 | 0.1436 | 0.1923 | 0.8093 | 2.199 | json |
| t12_x6_u1_b67 | 12 | 6 | 1 | 67 | ![]() |
log(lrg(P,sub(R,P))) | 24458 | 97689886 | o1(o2(x,o2(x,x))) | true | 25511 | 25511 | -0.5391 | 0 | 0.5391 | 0.2487 | 0.4987 | -1 | 0 | 1 | 1 | 0.9956 | 0.003968 | 0.0007559 | 0.004715 | 0.68 | 1 | 0 | 0.009637 | 0.009448 | 0.004701 | 0.06856 | 14.54 | 1.414 | 0.019 | 0.03876 | 1 | 1 | 0.006593 | 0.02637 | 0.1017 | 0.02651 | 0.1061 | 0.4091 | json |
| t12_x6_u1_b68 | 12 | 6 | 1 | 68 | ![]() |
log(lrg(P,mlt(R,P))) | 24459 | 97689887 | o1(o2(x,o2(x,x))) | true | 25519 | 25519 | -0.5625 | 0 | 0.5625 | 0.2461 | 0.4961 | -1 | 0 | 1 | 1 | 0.9887 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01612 | 0.03225 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02139 | 0.08555 | 0.3422 | json |
| t12_x6_u1_b69 | 12 | 6 | 1 | 69 | ![]() |
log(lrg(P,div(R,P))) | 24460 | 97689888 | o1(o2(x,o2(x,x))) | true | 25527 | 25527 | -0.5391 | 0 | 0.5391 | 0.2487 | 0.4987 | -1 | 0 | 1 | 1 | 0.9956 | 0.003968 | 0.0007559 | 0.004715 | 0.68 | 1 | 0 | 0.009637 | 0.009448 | 0.004701 | 0.06856 | 14.54 | 1.414 | 0.019 | 0.03876 | 1 | 1 | 0.006593 | 0.02637 | 0.1017 | 0.02651 | 0.1061 | 0.4091 | json |
| t12_x6_u1_b70 | 12 | 6 | 1 | 70 | ![]() |
log(lrg(P,pow(R,P))) | 24461 | 97689889 | o1(o2(x,o2(x,x))) | true | 25535 | 25535 | -0.5273 | 0 | 0.5273 | 0.2494 | 0.4994 | -1 | 0 | 1 | 1 | 0.9978 | 0.007433 | 0.002771 | 0.01015 | 0.4568 | 1 | 0 | 0.02098 | 0.02041 | 0.0101 | 0.1005 | 9.903 | 1.414 | 0.04091 | 0.0841 | 1 | 1 | 0.01197 | 0.04853 | 0.1567 | 0.04798 | 0.1946 | 0.6282 | json |
| t12_x6_u1_b71 | 12 | 6 | 1 | 71 | ![]() |
log(lrg(P,mod(R,P))) | 24462 | 97689890 | o1(o2(x,o2(x,x))) | true | 25543 | 25543 | -0.5 | 0 | 0.5 | 0.25 | 0.5 | -1 | 0 | 1 | 1 | 1 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01587 | 0.03175 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02105 | 0.08421 | 0.3368 | json |
| t12_x6_u1_b72 | 12 | 6 | 1 | 72 | ![]() |
log(lrg(P,lrg(R,P))) | 24463 | 97689891 | o1(o2(x,o2(x,x))) | true | 25551 | 25551 | -0.5625 | 0 | 0.5625 | 0.2461 | 0.4961 | -1 | 0 | 1 | 1 | 0.9887 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01612 | 0.03225 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02139 | 0.08555 | 0.3422 | json |
| t12_x6_u1_b73 | 12 | 6 | 1 | 73 | ![]() |
log(lrg(P,eql(R,P))) | 24464 | 97689892 | o1(o2(x,o2(x,x))) | true | 25559 | 25559 | -0.5625 | 0 | 0.5625 | 0.2461 | 0.4961 | -1 | 0 | 1 | 1 | 0.9887 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01612 | 0.03225 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02139 | 0.08555 | 0.3422 | json |
| t12_x6_u1_b74 | 12 | 6 | 1 | 74 | ![]() |
log(lrg(P,min(R,P))) | 24465 | 97689893 | o1(o2(x,o2(x,x))) | true | 25567 | 25567 | -0.5391 | 0 | 0.5391 | 0.2487 | 0.4987 | -1 | 0 | 1 | 1 | 0.9956 | 0.003968 | 0.0007559 | 0.004715 | 0.68 | 1 | 0 | 0.009637 | 0.009448 | 0.004701 | 0.06856 | 14.54 | 1.414 | 0.019 | 0.03876 | 1 | 1 | 0.006593 | 0.02637 | 0.1017 | 0.02651 | 0.1061 | 0.4091 | json |
| t12_x6_u1_b75 | 12 | 6 | 1 | 75 | ![]() |
log(lrg(P,dot(R,P))) | 24466 | 97689894 | o1(o2(x,o2(x,x))) | true | 25575 | 25575 | -0.7539 | 0 | 0.7539 | 0.1855 | 0.4307 | -1 | 0 | 1 | 1 | 0.805 | 0.007748 | 0.005984 | 0.01363 | 0.1284 | 1 | 0 | 0.02866 | 0.02746 | 0.01354 | 0.1164 | 8.538 | 1.414 | 0.07402 | 0.1545 | 1 | 1 | 0.01424 | 0.06161 | 0.2081 | 0.07675 | 0.3321 | 1.122 | json |
| t12_x6_u1_b76 | 12 | 6 | 1 | 76 | ![]() |
log(lrg(P,dst(R,P))) | 24467 | 97689895 | o1(o2(x,o2(x,x))) | true | 25583 | 25583 | -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_u1_b77 | 12 | 6 | 1 | 77 | ![]() |
log(eql(P,add(R,P))) | 24468 | 97689896 | o1(o2(x,o2(x,x))) | true | 25591 | 25591 | -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_u1_b78 | 12 | 6 | 1 | 78 | ![]() |
log(eql(P,sub(R,P))) | 24469 | 97689897 | o1(o2(x,o2(x,x))) | true | 25599 | 25599 | -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_u1_b79 | 12 | 6 | 1 | 79 | ![]() |
log(eql(P,mlt(R,P))) | 24470 | 97689898 | o1(o2(x,o2(x,x))) | true | 25607 | 25607 | -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_u1_b80 | 12 | 6 | 1 | 80 | ![]() |
log(eql(P,div(R,P))) | 24471 | 97689899 | o1(o2(x,o2(x,x))) | true | 25615 | 25615 | -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_u1_b81 | 12 | 6 | 1 | 81 | ![]() |
log(eql(P,pow(R,P))) | 24472 | 97689900 | o1(o2(x,o2(x,x))) | true | 25623 | 25623 | -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_u1_b82 | 12 | 6 | 1 | 82 | ![]() |
log(eql(P,mod(R,P))) | 24473 | 97689901 | o1(o2(x,o2(x,x))) | true | 25631 | 25631 | -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_u1_b83 | 12 | 6 | 1 | 83 | ![]() |
log(eql(P,lrg(R,P))) | 24474 | 97689902 | o1(o2(x,o2(x,x))) | true | 25639 | 25639 | -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_u1_b84 | 12 | 6 | 1 | 84 | ![]() |
log(eql(P,eql(R,P))) | 24475 | 97689903 | o1(o2(x,o2(x,x))) | true | 25647 | 25647 | -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_u1_b85 | 12 | 6 | 1 | 85 | ![]() |
log(eql(P,min(R,P))) | 24476 | 97689904 | o1(o2(x,o2(x,x))) | true | 25655 | 25655 | -0.5469 | 0 | 0.5469 | 0.2476 | 0.4976 | -1 | 0 | 1 | 1 | 0.9937 | 0.003968 | 0.001512 | 0.005452 | 0.4483 | 1 | 0 | 0.01134 | 0.01096 | 0.005451 | 0.07383 | 13.54 | 1.414 | 0.02213 | 0.04579 | 1 | 1 | 0.007479 | 0.02992 | 0.1086 | 0.0302 | 0.1208 | 0.4385 | json |
| t12_x6_u1_b86 | 12 | 6 | 1 | 86 | ![]() |
log(eql(P,dot(R,P))) | 24477 | 97689905 | o1(o2(x,o2(x,x))) | true | 25663 | 25663 | -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_u1_b87 | 12 | 6 | 1 | 87 | ![]() |
log(eql(P,dst(R,P))) | 24478 | 97689906 | o1(o2(x,o2(x,x))) | true | 25671 | 25671 | -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_u1_b88 | 12 | 6 | 1 | 88 | ![]() |
log(min(P,add(R,P))) | 24479 | 97689907 | o1(o2(x,o2(x,x))) | true | 25679 | 25679 | -0.1947 | 0.4216 | 0.9404 | 0.8833 | 0.9398 | -1 | 1 | 2 | 1 | 1.835 | 0.003196 | 0.00008118 | 0.008757 | 0.9505 | 1 | -0.000005332 | 0.005732 | 0.007604 | 0.0032 | 0.05657 | 6.46 | 1 | 0.00371 | 0.006489 | 1 | 1 | 0.004753 | 0.03065 | 0.234 | 0.005381 | 0.0347 | 0.2649 | json |
| t12_x6_u1_b89 | 12 | 6 | 1 | 89 | ![]() |
log(min(P,sub(R,P))) | 24480 | 97689908 | o1(o2(x,o2(x,x))) | true | 25687 | 25687 | -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_u1_b90 | 12 | 6 | 1 | 90 | ![]() |
log(min(P,mlt(R,P))) | 24481 | 97689909 | o1(o2(x,o2(x,x))) | true | 25695 | 25695 | -0.9922 | 0.003906 | 1 | 0.0154 | 0.1241 | -1 | 1 | 2 | 1 | 0.03867 | 0.0009452 | 0.00174 | 0.00138 | -0.296 | 1 | 0 | 0.0056 | 0.002738 | 0.002683 | 0.05179 | 37.53 | 2 | 0.1744 | 0.3638 | 1 | 1 | 0 | 0 | 0.01314 | 0 | 0 | 0.8537 | json |
| t12_x6_u1_b91 | 12 | 6 | 1 | 91 | ![]() |
log(min(P,div(R,P))) | 24482 | 97689910 | o1(o2(x,o2(x,x))) | true | 25703 | 25703 | -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_u1_b92 | 12 | 6 | 1 | 92 | ![]() |
log(min(P,pow(R,P))) | 24483 | 97689911 | o1(o2(x,o2(x,x))) | true | 25711 | 25711 | -0.5897 | 0.2014 | 0.9052 | 0.5268 | 0.7258 | -1 | 1 | 2 | 1 | 1.992 | 0.0108 | 0.01181 | 0.05092 | -0.04489 | 1 | 0.00007511 | 0.01578 | 0.03248 | 0.02001 | 0.1414 | 2.778 | 1.386 | 0.04293 | 0.02995 | 1 | 1 | 0.02962 | 0.2576 | 0.6296 | 0.05622 | 0.4891 | 1.195 | json |
| t12_x6_u1_b93 | 12 | 6 | 1 | 93 | ![]() |
log(min(P,mod(R,P))) | 24484 | 97689912 | o1(o2(x,o2(x,x))) | true | 25719 | 25719 | -0.9984 | 0 | 0.9984 | 0.00102 | 0.03194 | -1 | -0.07531 | 0.9247 | 1 | 0.04175 | 0.00001566 | 0.0000908 | 0.0003519 | -0.7058 | 1 | 0.00000472 | 0.0001855 | 0.0003575 | 0.0001063 | 0.01031 | 29.3 | 0.8956 | 0.1043 | 0.1817 | 1 | 1 | 0 | 0 | 0.0007799 | 0 | 0 | 0.7644 | json |
| t12_x6_u1_b94 | 12 | 6 | 1 | 94 | ![]() |
log(min(P,lrg(R,P))) | 24485 | 97689913 | o1(o2(x,o2(x,x))) | true | 25727 | 25727 | -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_u1_b95 | 12 | 6 | 1 | 95 | ![]() |
log(min(P,eql(R,P))) | 24486 | 97689914 | o1(o2(x,o2(x,x))) | true | 25735 | 25735 | -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_u1_b96 | 12 | 6 | 1 | 96 | ![]() |
log(min(P,min(R,P))) | 24487 | 97689915 | o1(o2(x,o2(x,x))) | true | 25743 | 25743 | -0.9984 | 0 | 0.9984 | 0.00102 | 0.03194 | -1 | -0.07531 | 0.9247 | 1 | 0.04175 | 0.00001566 | 0.0000908 | 0.0003519 | -0.7058 | 1 | 0.00000472 | 0.0001855 | 0.0003575 | 0.0001063 | 0.01031 | 29.3 | 0.8956 | 0.1043 | 0.1817 | 1 | 1 | 0 | 0 | 0.0007799 | 0 | 0 | 0.7644 | json |
| t12_x6_u1_b97 | 12 | 6 | 1 | 97 | ![]() |
log(min(P,dot(R,P))) | 24488 | 97689916 | o1(o2(x,o2(x,x))) | true | 25751 | 25751 | -0.9704 | 0.01434 | 0.9909 | 0.04692 | 0.2166 | -1 | 1 | 2 | 1 | 0.2425 | 0.005183 | 0.006071 | 0.008639 | -0.07887 | 1 | 0.000006209 | 0.02318 | 0.01406 | 0.01118 | 0.1057 | 12.24 | 2.458 | 0.2399 | 0.494 | 1 | 1 | 0.01198 | 0.0505 | 0.1005 | 0.2553 | 1.076 | 2.141 | json |
| t12_x6_u1_b98 | 12 | 6 | 1 | 98 | ![]() |
log(min(P,dst(R,P))) | 24489 | 97689917 | o1(o2(x,o2(x,x))) | true | 25759 | 25759 | -0.1768 | 0.4349 | 0.9494 | 0.901 | 0.9492 | -1 | 1 | 2 | 1 | 1.708 | 0.00399 | 0.000008011 | 0.008065 | 0.996 | 1 | 1.232e-9 | 0.007501 | 0.008709 | 0.003932 | 0.06271 | 7.776 | 1 | 0.004438 | 0.008325 | 1 | 1 | 0.005561 | 0.03221 | 0.246 | 0.006172 | 0.03575 | 0.2731 | json |
| t12_x6_u1_b99 | 12 | 6 | 1 | 99 | ![]() |
log(dot(P,add(R,P))) | 24490 | 97689918 | o1(o2(x,o2(x,x))) | true | 25767 | 25767 | 0.9577 | 0.9819 | 0.9903 | 0.06999 | 0.2646 | -1 | 1 | 2 | 1 | 0.3256 | 0.001893 | 0.002124 | 0.004809 | -0.05736 | 1 | 5.256e-11 | 0.007734 | 0.00593 | 0.003998 | 0.06323 | 13.15 | 2.828 | 0.0574 | 0.1105 | 1 | 1 | 0.007614 | 0.04285 | 0.2233 | 0.1088 | 0.6122 | 3.19 | json |
| t12_x6_u1_b100 | 12 | 6 | 1 | 100 | ![]() |
log(dot(P,sub(R,P))) | 24491 | 97689919 | o1(o2(x,o2(x,x))) | true | 25775 | 25775 | -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_u1_b101 | 12 | 6 | 1 | 101 | ![]() |
log(dot(P,mlt(R,P))) | 24492 | 97689920 | o1(o2(x,o2(x,x))) | true | 25783 | 25783 | -0.8983 | 0.05247 | 0.9941 | 0.1856 | 0.4309 | -1 | 1 | 2 | 1 | 0.3818 | 0.01915 | 0.01684 | 0.01935 | 0.06417 | 1 | -0.000008966 | 0.07496 | 0.03755 | 0.03564 | 0.1888 | 9.757 | 2.828 | 0.1938 | 0.4038 | 1 | 1 | 0.04158 | 0.1696 | 0.4102 | 0.224 | 0.9135 | 2.209 | json |
| t12_x6_u1_b102 | 12 | 6 | 1 | 102 | ![]() |
log(dot(P,div(R,P))) | 24493 | 97689921 | o1(o2(x,o2(x,x))) | true | 25791 | 25791 | -0.9824 | 0.007828 | 0.9852 | 0.01684 | 0.1298 | -1 | 0.547 | 1.547 | 1 | 0.243 | 0.001353 | 0.002811 | 0.005618 | -0.3502 | 1 | -9.761e-11 | 0.008293 | 0.008226 | 0.004132 | 0.06428 | 11.44 | 1.856 | 0.2472 | 0.4924 | 1 | 1 | 0.007222 | 0.02938 | 0.05269 | 0.4288 | 1.744 | 3.128 | json |
| t12_x6_u1_b103 | 12 | 6 | 1 | 103 | ![]() |
log(dot(P,pow(R,P))) | 24494 | 97689922 | o1(o2(x,o2(x,x))) | true | 25799 | 25799 | -0.997 | 0.0008545 | 0.9973 | 0.002722 | 0.05217 | -1 | 0.3607 | 1.361 | 1 | 0.05412 | 0.0006741 | 0.0002301 | 0.001303 | 0.491 | 1 | -3.754e-12 | 0.001757 | 0.001763 | 0.0009019 | 0.03003 | 23.04 | 1.361 | 0.3322 | 0.6456 | 1 | 1 | 0.001724 | 0.006246 | 0.009908 | 0.6335 | 2.294 | 3.64 | json |
| t12_x6_u1_b104 | 12 | 6 | 1 | 104 | ![]() |
log(dot(P,mod(R,P))) | 24495 | 97689923 | o1(o2(x,o2(x,x))) | true | 25807 | 25807 | -0.9561 | 0.02231 | 0.9944 | 0.07845 | 0.2801 | -1 | 1 | 2 | 1 | 0.2546 | 0.009108 | 0.009984 | 0.01229 | -0.04588 | 1 | -0.000002428 | 0.03945 | 0.02095 | 0.01893 | 0.1376 | 11.2 | 2.828 | 0.2433 | 0.5028 | 1 | 1 | 0.02054 | 0.08677 | 0.1727 | 0.2618 | 1.106 | 2.201 | json |
| t12_x6_u1_b105 | 12 | 6 | 1 | 105 | ![]() |
log(dot(P,lrg(R,P))) | 24496 | 97689924 | o1(o2(x,o2(x,x))) | true | 25815 | 25815 | -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_u1_b106 | 12 | 6 | 1 | 106 | ![]() |
log(dot(P,eql(R,P))) | 24497 | 97689925 | o1(o2(x,o2(x,x))) | true | 25823 | 25823 | -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_u1_b107 | 12 | 6 | 1 | 107 | ![]() |
log(dot(P,min(R,P))) | 24498 | 97689926 | o1(o2(x,o2(x,x))) | true | 25831 | 25831 | 0.2836 | 0.6454 | 0.977 | 0.8886 | 0.9427 | -1 | 1 | 2 | 1 | 1.383 | 0.01455 | 0.01434 | 0.02214 | 0.00702 | 1 | -0.000006571 | 0.05778 | 0.03372 | 0.0284 | 0.1685 | 7.613 | 2.828 | 0.03251 | 0.06502 | 1 | 1 | 0.0398 | 0.1804 | 0.6073 | 0.04478 | 0.203 | 0.6834 | json |
| t12_x6_u1_b108 | 12 | 6 | 1 | 108 | ![]() |
log(dot(P,dot(R,P))) | 24499 | 97689927 | o1(o2(x,o2(x,x))) | true | 25839 | 25839 | -0.8739 | 0.06372 | 0.992 | 0.2258 | 0.4752 | -1 | 1 | 2 | 1 | 0.4861 | 0.02049 | 0.02288 | 0.02457 | -0.05503 | 1 | 9.386e-11 | 0.08963 | 0.04514 | 0.04274 | 0.2067 | 8.415 | 2.828 | 0.1921 | 0.397 | 1 | 1 | 0.0411 | 0.176 | 0.4227 | 0.1821 | 0.7794 | 1.872 | json |



































































































