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_u6_b104 | 12 | 6 | 6 | 104 | ![]() |
nrm(dot(P,mod(R,P))) | 25100 | 97690928 | o1(o2(x,o2(x,x))) | true | 30647 | 30647 | -0.2851 | 0.3365 | 0.5595 | 0.3153 | 0.5615 | -1 | 0.5774 | 1.577 | 1 | 3.714 | 0.01265 | 0.01118 | 0.05869 | 0.06188 | 1 | -0.00006916 | 0.03949 | 0.04014 | 0.02038 | 0.1428 | 2.433 | 1.577 | 0.0756 | 0.1253 | 1 | 1 | 0.033 | 0.1948 | 0.559 | 0.1047 | 0.6178 | 1.773 | json |
| t12_x6_u6_b105 | 12 | 6 | 6 | 105 | ![]() |
nrm(dot(P,lrg(R,P))) | 25101 | 97690929 | o1(o2(x,o2(x,x))) | true | 30655 | 30655 | -0.7112 | 0 | 0.7112 | 0.03864 | 0.1966 | -1 | -0.5774 | 0.4226 | 1 | 0.9004 | 0.0003994 | 0.0003994 | 0.00189 | 0 | 1 | 2.253e-11 | 0.001603 | 0.00378 | 0.0007954 | 0.0282 | 14.92 | 0.4226 | 0.02068 | 0.0415 | 1 | 1 | 0.001099 | 0.004394 | 0.01758 | 0.02843 | 0.1137 | 0.4549 | json |
| t12_x6_u6_b106 | 12 | 6 | 6 | 106 | ![]() |
nrm(dot(P,eql(R,P))) | 25102 | 97690930 | o1(o2(x,o2(x,x))) | true | 30663 | 30663 | -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_u6_b107 | 12 | 6 | 6 | 107 | ![]() |
nrm(dot(P,min(R,P))) | 25103 | 97690931 | o1(o2(x,o2(x,x))) | true | 30671 | 30671 | 0.3747 | 0.8318 | 0.5322 | 0.1621 | 0.4026 | -1 | 0.5774 | 1.577 | 1 | 2.011 | 0.002837 | 0.003454 | 0.02251 | -0.09811 | 1 | -0.00002798 | 0.009154 | 0.0105 | 0.005786 | 0.07606 | 3.379 | 2.23 | 0.03881 | 0.05648 | 1 | 1 | 0.01143 | 0.07957 | 0.2876 | 0.0705 | 0.491 | 1.774 | json |
| t12_x6_u6_b108 | 12 | 6 | 6 | 108 | ![]() |
nrm(dot(P,dot(R,P))) | 25104 | 97690932 | o1(o2(x,o2(x,x))) | true | 30679 | 30679 | -0.1684 | 0.4202 | 0.5283 | 0.3253 | 0.5704 | -1 | 0.5774 | 1.577 | 1 | 3.83 | 0.01114 | 0.01198 | 0.06095 | -0.0364 | 1 | -0.00002221 | 0.03977 | 0.04009 | 0.01941 | 0.1393 | 2.286 | 2.231 | 0.07107 | 0.1222 | 1 | 1 | 0.02976 | 0.1914 | 0.5938 | 0.09149 | 0.5883 | 1.825 | json |
| t12_x6_u6_b109 | 12 | 6 | 6 | 109 | ![]() |
nrm(dot(P,dst(R,P))) | 25105 | 97690933 | o1(o2(x,o2(x,x))) | true | 30687 | 30687 | -0.1797 | 0.4102 | 0.6536 | 0.4207 | 0.6486 | -1 | 0.5774 | 1.577 | 1 | 1.5 | 0.009322 | 0.009322 | 0.01374 | -4.995e-8 | 1 | -2.393e-9 | 0.03956 | 0.02797 | 0.01846 | 0.1359 | 9.888 | 2.231 | 0.04431 | 0.09402 | 1 | 1 | 0.02459 | 0.1017 | 0.4231 | 0.05845 | 0.2417 | 1.006 | json |
| t12_x6_u6_b110 | 12 | 6 | 6 | 110 | ![]() |
nrm(dst(P,add(R,P))) | 25106 | 97690934 | o1(o2(x,o2(x,x))) | true | 30695 | 30695 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.0003769 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 5.332e-17 | 3.899e-17 | 1.484e-9 | 0.00001432 | 0 | -6.983e-10 | 3.867e-16 | 1.622e-9 | 9.008e-17 | 9.491e-9 | 6.396 | 8.429e-8 | 6.497e-10 | 2.721e-9 | 1 | 1 | 1.025e-16 | 3.881e-16 | 6.615e-16 | 7.217e-10 | 2.732e-9 | 4.655e-9 | json |
| t12_x6_u6_b111 | 12 | 6 | 6 | 111 | ![]() |
nrm(dst(P,sub(R,P))) | 25107 | 97690935 | o1(o2(x,o2(x,x))) | true | 30703 | 30703 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 4.308e-17 | 3.396e-17 | 1.243e-9 | 0.000009119 | 0 | -1.089e-10 | 3.231e-16 | 1.355e-9 | 7.551e-17 | 8.69e-9 | 6.991 | 8.429e-8 | 5.421e-10 | 2.274e-9 | 1 | 1 | 6.643e-17 | 2.552e-16 | 4.774e-16 | 4.675e-10 | 1.796e-9 | 3.359e-9 | json |
| t12_x6_u6_b112 | 12 | 6 | 6 | 112 | ![]() |
nrm(dst(P,mlt(R,P))) | 25108 | 97690936 | o1(o2(x,o2(x,x))) | true | 30711 | 30711 | 0.5531 | 0.9844 | 0.5843 | 0.03822 | 0.1955 | -1 | 0.5774 | 1.577 | 1 | 0.1161 | 0.002507 | 0.002507 | 0.003165 | 0 | 1 | -5.106e-10 | 0.01034 | 0.006359 | 0.005001 | 0.07072 | 22.34 | 2.231 | 0.1312 | 0.2706 | 1 | 1 | 0.008822 | 0.03529 | 0.1411 | 0.2308 | 0.9232 | 3.693 | json |
| t12_x6_u6_b113 | 12 | 6 | 6 | 113 | ![]() |
nrm(dst(P,div(R,P))) | 25109 | 97690937 | o1(o2(x,o2(x,x))) | true | 30719 | 30719 | -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_u6_b114 | 12 | 6 | 6 | 114 | ![]() |
nrm(dst(P,pow(R,P))) | 25110 | 97690938 | o1(o2(x,o2(x,x))) | true | 30727 | 30727 | -0.9815 | 0.01172 | 0.9951 | 0.02883 | 0.1698 | -1 | 0.5774 | 1.577 | 1 | 0.09198 | 0.003761 | 0.002507 | 0.003945 | 0.2 | 1 | -2.253e-10 | 0.01316 | 0.007948 | 0.006259 | 0.07911 | 20.05 | 2.231 | 0.2174 | 0.4566 | 1 | 1 | 0.01103 | 0.04411 | 0.1048 | 0.3825 | 1.53 | 3.633 | json |
| t12_x6_u6_b115 | 12 | 6 | 6 | 115 | ![]() |
nrm(dst(P,mod(R,P))) | 25111 | 97690939 | o1(o2(x,o2(x,x))) | true | 30735 | 30735 | 0.2075 | 0.7656 | 0.6767 | 0.4465 | 0.6682 | -1 | 0.5774 | 1.577 | 1 | 0.7856 | 0.01724 | 0.01724 | 0.02184 | 0 | 1 | -1.222e-9 | 0.06927 | 0.04372 | 0.03401 | 0.1844 | 8.443 | 2.231 | 0.07722 | 0.1551 | 1 | 1 | 0.04356 | 0.1742 | 0.697 | 0.09755 | 0.3902 | 1.561 | json |
| t12_x6_u6_b116 | 12 | 6 | 6 | 116 | ![]() |
nrm(dst(P,lrg(R,P))) | 25112 | 97690940 | o1(o2(x,o2(x,x))) | true | 30743 | 30743 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.0003769 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 4.464e-17 | 4.548e-17 | 1.46e-9 | -8.392e-7 | 0 | -8.973e-10 | 4.162e-16 | 1.746e-9 | 8.803e-17 | 9.382e-9 | 6.427 | 8.429e-8 | 6.344e-10 | 2.93e-9 | 1 | 1 | 5.236e-17 | 2.004e-16 | 4.519e-16 | 3.685e-10 | 1.411e-9 | 3.181e-9 | json |
| t12_x6_u6_b117 | 12 | 6 | 6 | 117 | ![]() |
nrm(dst(P,eql(R,P))) | 25113 | 97690941 | o1(o2(x,o2(x,x))) | true | 30751 | 30751 | 0.5531 | 0.9844 | 0.5843 | 0.03822 | 0.1955 | -1 | 0.5774 | 1.577 | 1 | 0.1161 | 0.002507 | 0.002507 | 0.003165 | 0 | 1 | -8.222e-10 | 0.01034 | 0.006359 | 0.005001 | 0.07072 | 22.34 | 2.231 | 0.1312 | 0.2706 | 1 | 1 | 0.008822 | 0.03529 | 0.1411 | 0.2308 | 0.9232 | 3.693 | json |
| t12_x6_u6_b118 | 12 | 6 | 6 | 118 | ![]() |
nrm(dst(P,min(R,P))) | 25114 | 97690942 | o1(o2(x,o2(x,x))) | true | 30759 | 30759 | 0.1706 | 0.7422 | 0.6867 | 0.4765 | 0.6903 | -1 | 0.5774 | 1.577 | 1 | 0.8234 | 0.007993 | 0.0105 | 0.01164 | -0.1356 | 1 | -8.973e-10 | 0.0384 | 0.02345 | 0.01835 | 0.1354 | 11.64 | 2.231 | 0.03881 | 0.08059 | 1 | 1 | 0.02302 | 0.09208 | 0.3137 | 0.04831 | 0.1933 | 0.6585 | json |
| t12_x6_u6_b119 | 12 | 6 | 6 | 119 | ![]() |
nrm(dst(P,dot(R,P))) | 25115 | 97690943 | o1(o2(x,o2(x,x))) | true | 30767 | 30767 | 0.5531 | 0.9844 | 0.5843 | 0.03822 | 0.1955 | -1 | 0.5774 | 1.577 | 1 | 0.1161 | 0.002507 | 0.002507 | 0.003165 | 0 | 1 | -8.485e-10 | 0.01034 | 0.006359 | 0.005001 | 0.07072 | 22.34 | 2.231 | 0.1312 | 0.2706 | 1 | 1 | 0.008822 | 0.03529 | 0.1411 | 0.2308 | 0.9232 | 3.693 | json |
| t12_x6_u6_b120 | 12 | 6 | 6 | 120 | ![]() |
nrm(dst(P,dst(R,P))) | 25116 | 97690944 | o1(o2(x,o2(x,x))) | true | 30775 | 30775 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 4.739e-17 | 3.883e-17 | 1.394e-9 | 0.00000856 | 0 | -5.594e-10 | 3.804e-16 | 1.596e-9 | 8.423e-17 | 9.178e-9 | 6.586 | 8.429e-8 | 6.067e-10 | 2.677e-9 | 1 | 1 | 8.611e-17 | 3.314e-16 | 5.599e-16 | 6.06e-10 | 2.332e-9 | 3.94e-9 | json |
| t12_x7_u0_b0 | 12 | 7 | 0 | 0 | ![]() |
sqt(add(P,add(R,D))) | 25117 | 97730019 | o1(o2(x,o2(x,x))) | true | 30783 | 30783 | -0.07662 | 0.4639 | 0.9956 | 0.9869 | 0.9934 | -1 | 1 | 2 | 1 | 1.153 | 0.01309 | 0.003666 | 0.01004 | 0.5625 | 1 | -0.000006077 | 0.03509 | 0.01846 | 0.01666 | 0.1291 | 12.86 | 2.828 | 0.01698 | 0.03556 | 1 | 1 | 0.02288 | 0.09709 | 0.3908 | 0.02319 | 0.09839 | 0.396 | json |
| t12_x7_u0_b1 | 12 | 7 | 0 | 1 | ![]() |
sqt(add(P,sub(R,D))) | 25118 | 97730020 | o1(o2(x,o2(x,x))) | true | 30791 | 30791 | -0.1523 | 0.426 | 0.9956 | 0.9698 | 0.9848 | -1 | 1 | 2 | 1 | 1.12 | 0.04114 | 0.004704 | 0.02458 | 0.7948 | 1 | -0.000002653 | 0.09551 | 0.04862 | 0.04521 | 0.2126 | 8.651 | 2.828 | 0.04727 | 0.09849 | 1 | 1 | 0.06114 | 0.1879 | 0.3824 | 0.06305 | 0.1937 | 0.3943 | json |
| t12_x7_u0_b2 | 12 | 7 | 0 | 2 | ![]() |
sqt(add(P,mlt(R,D))) | 25119 | 97730021 | o1(o2(x,o2(x,x))) | true | 30799 | 30799 | -0.09919 | 0.4531 | 0.9946 | 0.9824 | 0.9912 | -1 | 1 | 2 | 1 | 1.117 | 0.01317 | 0.004295 | 0.0104 | 0.5081 | 1 | -6.117e-7 | 0.03562 | 0.01919 | 0.01736 | 0.1318 | 12.67 | 2.827 | 0.01777 | 0.03626 | 1 | 1 | 0.0242 | 0.1012 | 0.3966 | 0.02464 | 0.103 | 0.4037 | json |
| t12_x7_u0_b3 | 12 | 7 | 0 | 3 | ![]() |
sqt(add(P,div(R,D))) | 25120 | 97730022 | o1(o2(x,o2(x,x))) | true | 30807 | 30807 | -0.3216 | 0.3406 | 0.9972 | 0.8922 | 0.9446 | -1 | 1 | 2 | 1 | 1.019 | 0.2098 | 0.01658 | 0.1162 | 0.8535 | 1 | -0.002511 | 0.4941 | 0.2272 | 0.2129 | 0.4615 | 3.972 | 2.828 | 0.2537 | 0.5538 | 1 | 1 | 0.2252 | 0.536 | 0.6206 | 0.2524 | 0.6007 | 0.6956 | json |
| t12_x7_u0_b4 | 12 | 7 | 0 | 4 | ![]() |
sqt(add(P,pow(R,D))) | 25121 | 97730023 | o1(o2(x,o2(x,x))) | true | 30815 | 30815 | -0.9844 | 0.007813 | 1 | 0.03082 | 0.1756 | -1 | 1 | 2 | 1 | 0.06756 | 0.003011 | 0.003754 | 0.003394 | -0.1098 | 1 | 6.007e-11 | 0.0143 | 0.006805 | 0.006753 | 0.08217 | 24.21 | 2.828 | 0.2195 | 0.464 | 1 | 1 | 0.0008845 | 0.006182 | 0.02731 | 0.02869 | 0.2005 | 0.8861 | json |
| t12_x7_u0_b5 | 12 | 7 | 0 | 5 | ![]() |
sqt(add(P,mod(R,D))) | 25122 | 97730024 | o1(o2(x,o2(x,x))) | true | 30823 | 30823 | -0.0991 | 0.4531 | 0.9947 | 0.983 | 0.9914 | -1 | 1 | 2 | 1 | 1.111 | 0.01328 | 0.004327 | 0.01072 | 0.5085 | 1 | -2.381e-7 | 0.03617 | 0.02062 | 0.0175 | 0.1323 | 12.34 | 2.828 | 0.01791 | 0.03679 | 1 | 1 | 0.02399 | 0.1002 | 0.3962 | 0.02441 | 0.1019 | 0.4031 | json |
| t12_x7_u0_b6 | 12 | 7 | 0 | 6 | ![]() |
sqt(add(P,lrg(R,D))) | 25123 | 97730025 | o1(o2(x,o2(x,x))) | true | 30831 | 30831 | -0.007624 | 0.5071 | 0.9777 | 0.9726 | 0.9862 | -1 | 1 | 2 | 1 | 1.308 | 0.01252 | 0.001145 | 0.01292 | 0.8325 | 1 | -0.000003222 | 0.02762 | 0.0205 | 0.0135 | 0.1162 | 8.996 | 2.509 | 0.01405 | 0.0284 | 1 | 1 | 0.01749 | 0.07758 | 0.3245 | 0.01799 | 0.07976 | 0.3336 | json |
| t12_x7_u0_b7 | 12 | 7 | 0 | 7 | ![]() |
sqt(add(P,eql(R,D))) | 25124 | 97730026 | o1(o2(x,o2(x,x))) | true | 30839 | 30839 | -0.03123 | 0.5 | 0.9688 | 0.9606 | 0.9801 | -1 | 1 | 2 | 1 | 1.407 | 0.004326 | 2.588e-8 | 0.007938 | 1 | 1 | 4.845e-8 | 0.007911 | 0.00886 | 0.004262 | 0.06528 | 8.224 | 1 | 0.004503 | 0.008235 | 1 | 1 | 0.006228 | 0.03975 | 0.2856 | 0.006483 | 0.04138 | 0.2973 | json |
| t12_x7_u0_b8 | 12 | 7 | 0 | 8 | ![]() |
sqt(add(P,min(R,D))) | 25125 | 97730027 | o1(o2(x,o2(x,x))) | true | 30847 | 30847 | -0.1013 | 0.4531 | 0.9925 | 0.978 | 0.9889 | -1 | 1 | 2 | 1 | 1.202 | 0.01222 | 0.004167 | 0.01047 | 0.4915 | 1 | -0.000003407 | 0.03327 | 0.01881 | 0.01629 | 0.1276 | 12.19 | 2.817 | 0.01676 | 0.03402 | 1 | 1 | 0.02284 | 0.09685 | 0.3893 | 0.02335 | 0.09903 | 0.3981 | json |
| t12_x7_u0_b9 | 12 | 7 | 0 | 9 | ![]() |
sqt(add(P,dot(R,D))) | 25126 | 97730028 | o1(o2(x,o2(x,x))) | true | 30855 | 30855 | -0.1023 | 0.4512 | 0.9954 | 0.9821 | 0.991 | -1 | 1 | 2 | 1 | 1.129 | 0.0169 | 0.007297 | 0.01348 | 0.3968 | 1 | -0.00004494 | 0.06486 | 0.02681 | 0.02399 | 0.1549 | 11.49 | 2.828 | 0.02463 | 0.06605 | 1 | 1 | 0.03293 | 0.119 | 0.3795 | 0.03353 | 0.1212 | 0.3864 | json |
| t12_x7_u0_b10 | 12 | 7 | 0 | 10 | ![]() |
sqt(add(P,dst(R,D))) | 25127 | 97730029 | o1(o2(x,o2(x,x))) | true | 30863 | 30863 | 0.05006 | 0.5289 | 0.9922 | 0.9846 | 0.9923 | -1 | 1 | 2 | 1 | 1.24 | 0.01415 | 0.008942 | 0.01415 | 0.2256 | 1 | -0.000004666 | 0.05859 | 0.02706 | 0.02291 | 0.1513 | 10.7 | 2.828 | 0.02346 | 0.05951 | 1 | 1 | 0.03048 | 0.1215 | 0.369 | 0.03095 | 0.1234 | 0.3748 | json |
| t12_x7_u0_b11 | 12 | 7 | 0 | 11 | ![]() |
sqt(sub(P,add(R,D))) | 25128 | 97730030 | o1(o2(x,o2(x,x))) | true | 30871 | 30871 | -0.1873 | 0.4099 | 0.9929 | 0.9536 | 0.9765 | -1 | 1 | 2 | 1 | 1.158 | 0.04182 | 0.004053 | 0.02616 | 0.8233 | 1 | 4.224e-7 | 0.09888 | 0.05146 | 0.04521 | 0.2126 | 8.127 | 2.828 | 0.0481 | 0.1037 | 1 | 1 | 0.05599 | 0.186 | 0.399 | 0.05871 | 0.1951 | 0.4184 | json |
| t12_x7_u0_b12 | 12 | 7 | 0 | 12 | ![]() |
sqt(sub(P,sub(R,D))) | 25129 | 97730031 | o1(o2(x,o2(x,x))) | true | 30879 | 30879 | -0.1021 | 0.4526 | 0.9927 | 0.9777 | 0.9888 | -1 | 1 | 2 | 1 | 1.198 | 0.012 | 0.00151 | 0.009878 | 0.7765 | 1 | -2.365e-7 | 0.02757 | 0.0163 | 0.01343 | 0.1159 | 11.73 | 2.828 | 0.01382 | 0.0282 | 1 | 1 | 0.01985 | 0.08319 | 0.3498 | 0.02031 | 0.08509 | 0.3578 | json |
| t12_x7_u0_b13 | 12 | 7 | 0 | 13 | ![]() |
sqt(sub(P,mlt(R,D))) | 25130 | 97730032 | o1(o2(x,o2(x,x))) | true | 30887 | 30887 | -0.08515 | 0.4609 | 0.993 | 0.9821 | 0.991 | -1 | 1 | 2 | 1 | 1.145 | 0.01194 | 0.002243 | 0.00938 | 0.6837 | 1 | -5.287e-7 | 0.02838 | 0.01609 | 0.01409 | 0.1187 | 12.65 | 2.823 | 0.01445 | 0.0289 | 1 | 1 | 0.02063 | 0.08899 | 0.3772 | 0.021 | 0.09061 | 0.3841 | json |
| t12_x7_u0_b14 | 12 | 7 | 0 | 14 | ![]() |
sqt(sub(P,div(R,D))) | 25131 | 97730033 | o1(o2(x,o2(x,x))) | true | 30895 | 30895 | -0.3375 | 0.3323 | 0.998 | 0.8826 | 0.9395 | -1 | 1 | 2 | 1 | 0.9855 | 0.1947 | 0.01516 | 0.1072 | 0.8555 | 1 | -0.001514 | 0.4607 | 0.211 | 0.1985 | 0.4456 | 4.157 | 2.828 | 0.2378 | 0.522 | 1 | 1 | 0.2077 | 0.497 | 0.6236 | 0.2353 | 0.5631 | 0.7066 | json |
| t12_x7_u0_b15 | 12 | 7 | 0 | 15 | ![]() |
sqt(sub(P,pow(R,D))) | 25132 | 97730034 | o1(o2(x,o2(x,x))) | true | 30903 | 30903 | -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_x7_u0_b16 | 12 | 7 | 0 | 16 | ![]() |
sqt(sub(P,mod(R,D))) | 25133 | 97730035 | o1(o2(x,o2(x,x))) | true | 30911 | 30911 | -0.08662 | 0.4609 | 0.9915 | 0.9808 | 0.9904 | -1 | 1 | 2 | 1 | 1.169 | 0.01204 | 0.002164 | 0.009702 | 0.6953 | 1 | 3.722e-7 | 0.02864 | 0.01825 | 0.01412 | 0.1188 | 12.25 | 2.818 | 0.01448 | 0.0292 | 1 | 1 | 0.02051 | 0.08696 | 0.371 | 0.02091 | 0.08866 | 0.3783 | json |
| t12_x7_u0_b17 | 12 | 7 | 0 | 17 | ![]() |
sqt(sub(P,lrg(R,D))) | 25134 | 97730036 | o1(o2(x,o2(x,x))) | true | 30919 | 30919 | -0.09275 | 0.4545 | 0.9517 | 0.9373 | 0.9682 | -1 | 1 | 2 | 1 | 1.464 | 0.006239 | 0.0009766 | 0.009933 | 0.7293 | 1 | 0.00001059 | 0.01407 | 0.01367 | 0.007112 | 0.08433 | 8.491 | 1.97 | 0.007698 | 0.01501 | 1 | 1 | 0.01117 | 0.05764 | 0.2994 | 0.01192 | 0.06149 | 0.3194 | json |
| t12_x7_u0_b18 | 12 | 7 | 0 | 18 | ![]() |
sqt(sub(P,eql(R,D))) | 25135 | 97730037 | o1(o2(x,o2(x,x))) | true | 30927 | 30927 | -0.03129 | 0.5 | 0.9687 | 0.9605 | 0.9801 | -1 | 1 | 2 | 1 | 1.407 | 0.004339 | 1.509e-7 | 0.007968 | 0.9999 | 1 | -1.171e-7 | 0.007947 | 0.008929 | 0.004274 | 0.06537 | 8.204 | 1 | 0.004517 | 0.008274 | 1 | 1 | 0.006228 | 0.03975 | 0.2856 | 0.006483 | 0.04138 | 0.2974 | json |
| t12_x7_u0_b19 | 12 | 7 | 0 | 19 | ![]() |
sqt(sub(P,min(R,D))) | 25136 | 97730038 | o1(o2(x,o2(x,x))) | true | 30935 | 30935 | -0.08017 | 0.4609 | 0.998 | 0.9904 | 0.9952 | -1 | 1 | 2 | 1 | 1.077 | 0.01465 | 0.002815 | 0.009598 | 0.6775 | 1 | 1.455e-7 | 0.03563 | 0.01848 | 0.01738 | 0.1318 | 13.74 | 2.817 | 0.01763 | 0.03597 | 1 | 1 | 0.02427 | 0.09924 | 0.395 | 0.0245 | 0.1002 | 0.3988 | json |
| t12_x7_u0_b20 | 12 | 7 | 0 | 20 | ![]() |
sqt(sub(P,dot(R,D))) | 25137 | 97730039 | o1(o2(x,o2(x,x))) | true | 30943 | 30943 | -0.1035 | 0.4509 | 0.9946 | 0.9815 | 0.9907 | -1 | 1 | 2 | 1 | 1.151 | 0.02147 | 0.01104 | 0.01861 | 0.3209 | 1 | -0.00005742 | 0.09071 | 0.03661 | 0.03218 | 0.1794 | 9.641 | 2.828 | 0.03313 | 0.09242 | 1 | 1 | 0.03454 | 0.1235 | 0.3866 | 0.03519 | 0.1258 | 0.3939 | json |
| t12_x7_u0_b21 | 12 | 7 | 0 | 21 | ![]() |
sqt(sub(P,dst(R,D))) | 25138 | 97730040 | o1(o2(x,o2(x,x))) | true | 30951 | 30951 | -0.2443 | 0.3796 | 0.9966 | 0.9342 | 0.9665 | -1 | 1 | 2 | 1 | 1.08 | 0.02411 | 0.01467 | 0.02062 | 0.2435 | 1 | 0.000001367 | 0.1011 | 0.04132 | 0.03835 | 0.1958 | 9.497 | 2.828 | 0.04152 | 0.1082 | 1 | 1 | 0.05332 | 0.1568 | 0.3833 | 0.05708 | 0.1679 | 0.4103 | json |
| t12_x7_u0_b22 | 12 | 7 | 0 | 22 | ![]() |
sqt(mlt(P,add(R,D))) | 25139 | 97730041 | o1(o2(x,o2(x,x))) | true | 30959 | 30959 | -0.8859 | 0.06177 | 0.9906 | 0.201 | 0.4483 | -1 | 1 | 2 | 1 | 0.4845 | 0.07724 | 0.01757 | 0.05265 | 0.6293 | 1 | 0.0004811 | 0.2075 | 0.1019 | 0.09207 | 0.3034 | 5.764 | 2.828 | 0.4717 | 1.033 | 1 | 1 | 0.09083 | 0.259 | 0.4122 | 0.4519 | 1.288 | 2.05 | json |
| t12_x7_u0_b23 | 12 | 7 | 0 | 23 | ![]() |
sqt(mlt(P,sub(R,D))) | 25140 | 97730042 | o1(o2(x,o2(x,x))) | true | 30967 | 30967 | -0.8058 | 0.1254 | 0.9428 | 0.2814 | 0.5305 | -1 | 1 | 2 | 1 | 0.9756 | 0.075 | 0.02234 | 0.0582 | 0.541 | 1 | -0.000002744 | 0.2167 | 0.1093 | 0.09397 | 0.3065 | 5.267 | 2.828 | 0.3459 | 0.77 | 1 | 1 | 0.09365 | 0.3073 | 0.5871 | 0.3328 | 1.092 | 2.086 | json |
| t12_x7_u0_b24 | 12 | 7 | 0 | 24 | ![]() |
sqt(mlt(P,mlt(R,D))) | 25141 | 97730043 | o1(o2(x,o2(x,x))) | true | 30975 | 30975 | -0.927 | 0.05061 | 0.9714 | 0.1041 | 0.3226 | -1 | 1 | 2 | 1 | 0.4867 | 0.008329 | 0.01086 | 0.01676 | -0.1321 | 1 | -3.072e-7 | 0.03779 | 0.02816 | 0.01892 | 0.1375 | 8.208 | 2.007 | 0.1844 | 0.3631 | 1 | 1 | 0.02184 | 0.102 | 0.2107 | 0.2098 | 0.9796 | 2.024 | json |
| t12_x7_u0_b25 | 12 | 7 | 0 | 25 | ![]() |
sqt(mlt(P,div(R,D))) | 25142 | 97730044 | o1(o2(x,o2(x,x))) | true | 30983 | 30983 | -0.9068 | 0.05064 | 0.9916 | 0.1679 | 0.4098 | -1 | 1 | 2 | 1 | 0.3688 | 0.0218 | 0.01769 | 0.02125 | 0.104 | 1 | 1.201e-10 | 0.08318 | 0.04115 | 0.03904 | 0.1976 | 9.298 | 2.828 | 0.2351 | 0.4953 | 1 | 1 | 0.0427 | 0.1722 | 0.3436 | 0.2542 | 1.025 | 2.046 | json |
| t12_x7_u0_b26 | 12 | 7 | 0 | 26 | ![]() |
sqt(mlt(P,pow(R,D))) | 25143 | 97730045 | o1(o2(x,o2(x,x))) | true | 30991 | 30991 | -0.9863 | 0.007813 | 0.9981 | 0.02502 | 0.1582 | -1 | 1 | 2 | 1 | 0.08319 | 0.002291 | 0.003 | 0.003125 | -0.1339 | 1 | -1.126e-11 | 0.0111 | 0.005864 | 0.005281 | 0.07267 | 23.25 | 2.828 | 0.2114 | 0.4438 | 1 | 1 | 0.0005497 | 0.003838 | 0.02199 | 0.02197 | 0.1534 | 0.8789 | json |
| t12_x7_u0_b27 | 12 | 7 | 0 | 27 | ![]() |
sqt(mlt(P,mod(R,D))) | 25144 | 97730046 | o1(o2(x,o2(x,x))) | true | 30999 | 30999 | -0.903 | 0.07016 | 0.9564 | 0.1304 | 0.3611 | -1 | 1 | 2 | 1 | 0.6357 | 0.01008 | 0.01179 | 0.0229 | -0.07804 | 1 | -0.00003984 | 0.04571 | 0.04101 | 0.02134 | 0.1461 | 6.379 | 2.082 | 0.1677 | 0.3505 | 1 | 1 | 0.01997 | 0.0907 | 0.2651 | 0.1532 | 0.6955 | 2.033 | json |
| t12_x7_u0_b28 | 12 | 7 | 0 | 28 | ![]() |
sqt(mlt(P,lrg(R,D))) | 25145 | 97730047 | o1(o2(x,o2(x,x))) | true | 31007 | 31007 | -0.1464 | 0.4659 | 0.7462 | 0.6916 | 0.8316 | -1 | 1 | 2 | 1 | 2.542 | 0.02771 | 0.005631 | 0.06061 | 0.6623 | 1 | -0.00002985 | 0.06582 | 0.0778 | 0.02967 | 0.1722 | 2.842 | 1.414 | 0.04822 | 0.09517 | 1 | 1 | 0.03423 | 0.1489 | 0.3479 | 0.04949 | 0.2153 | 0.503 | json |
| t12_x7_u0_b29 | 12 | 7 | 0 | 29 | ![]() |
sqt(mlt(P,eql(R,D))) | 25146 | 97730048 | o1(o2(x,o2(x,x))) | true | 31015 | 31015 | 0.00004008 | 0.0002289 | 0.00004008 | 0.00001031 | 0.00321 | 0 | 0.3282 | 0.3282 | 1 | 0.002722 | 0.00001454 | 1.509e-7 | 0.00006305 | 0.9795 | 0 | 1.17e-7 | 0.00004407 | 0.0001242 | 0.00001469 | 0.003832 | 60.78 | 0.3186 | 1.425 | 4.276 | 1 | 1 | 0 | 0 | 0.000007865 | 0 | 0 | 0.7631 | json |
| t12_x7_u0_b30 | 12 | 7 | 0 | 30 | ![]() |
sqt(mlt(P,min(R,D))) | 25147 | 97730049 | o1(o2(x,o2(x,x))) | true | 31023 | 31023 | -0.793 | 0.1131 | 0.9804 | 0.3438 | 0.5863 | -1 | 1 | 2 | 1 | 0.7878 | 0.02902 | 0.02758 | 0.03342 | 0.02541 | 1 | -1.384e-7 | 0.1164 | 0.06186 | 0.05551 | 0.2356 | 7.051 | 2.828 | 0.1646 | 0.3385 | 1 | 1 | 0.05498 | 0.2339 | 0.5482 | 0.1599 | 0.6805 | 1.594 | json |
| t12_x7_u0_b31 | 12 | 7 | 0 | 31 | ![]() |
sqt(mlt(P,dot(R,D))) | 25148 | 97730050 | o1(o2(x,o2(x,x))) | true | 31031 | 31031 | -0.8657 | 0.08559 | 0.963 | 0.2017 | 0.4491 | -1 | 1 | 2 | 1 | 0.7425 | 0.04734 | 0.04393 | 0.05761 | 0.03736 | 1 | -0.00009757 | 0.267 | 0.115 | 0.08799 | 0.2966 | 5.149 | 2.828 | 0.4525 | 1.324 | 1 | 1 | 0.08476 | 0.289 | 0.4181 | 0.4203 | 1.433 | 2.073 | json |
| t12_x7_u0_b32 | 12 | 7 | 0 | 32 | ![]() |
sqt(mlt(P,dst(R,D))) | 25149 | 97730051 | o1(o2(x,o2(x,x))) | true | 31039 | 31039 | -0.03133 | 0.5 | 0.9687 | 0.9595 | 0.9796 | -1 | 1 | 2 | 1 | 1.454 | 0.004361 | 0.0000203 | 0.008423 | 0.9907 | 1 | -0.000002704 | 0.007931 | 0.00924 | 0.004312 | 0.06566 | 7.796 | 1 | 0.004566 | 0.008266 | 1 | 1 | 0.006322 | 0.04081 | 0.2836 | 0.006588 | 0.04253 | 0.2955 | json |
| t12_x7_u0_b33 | 12 | 7 | 0 | 33 | ![]() |
sqt(div(P,add(R,D))) | 25150 | 97730052 | o1(o2(x,o2(x,x))) | true | 31047 | 31047 | -0.8767 | 0.06177 | 0.9997 | 0.231 | 0.4806 | -1 | 1 | 2 | 1 | 0.3454 | 0.09181 | 0.02056 | 0.0559 | 0.6341 | 1 | 0.0005039 | 0.2497 | 0.1122 | 0.1092 | 0.3305 | 5.912 | 2.828 | 0.4865 | 1.081 | 1 | 1 | 0.1073 | 0.3006 | 0.4717 | 0.4646 | 1.302 | 2.042 | json |
| t12_x7_u0_b34 | 12 | 7 | 0 | 34 | ![]() |
sqt(div(P,sub(R,D))) | 25151 | 97730053 | o1(o2(x,o2(x,x))) | true | 31055 | 31055 | -0.7904 | 0.1257 | 0.9581 | 0.3269 | 0.5717 | -1 | 1 | 2 | 1 | 0.8484 | 0.09237 | 0.02529 | 0.06499 | 0.5701 | 1 | 1.711e-8 | 0.2647 | 0.123 | 0.1135 | 0.3369 | 5.183 | 2.828 | 0.3599 | 0.8097 | 1 | 1 | 0.1174 | 0.372 | 0.7035 | 0.3591 | 1.138 | 2.152 | json |
| t12_x7_u0_b35 | 12 | 7 | 0 | 35 | ![]() |
sqt(div(P,mlt(R,D))) | 25152 | 97730054 | o1(o2(x,o2(x,x))) | true | 31063 | 31063 | -0.9035 | 0.05078 | 0.9949 | 0.1778 | 0.4216 | -1 | 1 | 2 | 1 | 0.3412 | 0.02187 | 0.01851 | 0.02147 | 0.08319 | 1 | -2.403e-10 | 0.08487 | 0.04181 | 0.03995 | 0.1999 | 9.308 | 2.828 | 0.2272 | 0.4775 | 1 | 1 | 0.04425 | 0.1848 | 0.3733 | 0.2489 | 1.039 | 2.1 | json |
| t12_x7_u0_b36 | 12 | 7 | 0 | 36 | ![]() |
sqt(div(P,div(R,D))) | 25153 | 97730055 | o1(o2(x,o2(x,x))) | true | 31071 | 31071 | -0.9109 | 0.05078 | 0.9875 | 0.1535 | 0.3918 | -1 | 1 | 2 | 1 | 0.4305 | 0.01256 | 0.01558 | 0.02017 | -0.1073 | 1 | -0.000001152 | 0.05354 | 0.03403 | 0.02773 | 0.1665 | 8.257 | 2.601 | 0.1833 | 0.3488 | 1 | 1 | 0.0324 | 0.153 | 0.3114 | 0.2111 | 0.997 | 2.029 | json |
| t12_x7_u0_b37 | 12 | 7 | 0 | 37 | ![]() |
sqt(div(P,pow(R,D))) | 25154 | 97730056 | o1(o2(x,o2(x,x))) | true | 31079 | 31079 | -0.9864 | 0.007813 | 0.998 | 0.02456 | 0.1567 | -1 | 1 | 2 | 1 | 0.08466 | 0.002285 | 0.00294 | 0.003104 | -0.1253 | 1 | -1.427e-10 | 0.01099 | 0.005822 | 0.005215 | 0.07222 | 23.26 | 2.825 | 0.2127 | 0.4474 | 1 | 1 | 0.0005114 | 0.003589 | 0.02157 | 0.02082 | 0.1461 | 0.8782 | json |
| t12_x7_u0_b38 | 12 | 7 | 0 | 38 | ![]() |
sqt(div(P,mod(R,D))) | 25155 | 97730057 | o1(o2(x,o2(x,x))) | true | 31087 | 31087 | -0.8697 | 0.07031 | 0.9897 | 0.2318 | 0.4814 | -1 | 1 | 2 | 1 | 0.4616 | 0.01957 | 0.02034 | 0.02295 | -0.01941 | 1 | 0 | 0.08263 | 0.04396 | 0.03938 | 0.1984 | 8.648 | 2.828 | 0.1722 | 0.3565 | 1 | 1 | 0.03798 | 0.1674 | 0.4969 | 0.1639 | 0.7225 | 2.144 | json |
| t12_x7_u0_b39 | 12 | 7 | 0 | 39 | ![]() |
sqt(div(P,lrg(R,D))) | 25156 | 97730058 | o1(o2(x,o2(x,x))) | true | 31095 | 31095 | -0.9366 | 0.03442 | 0.9945 | 0.1168 | 0.3417 | -1 | 1 | 2 | 1 | 0.2524 | 0.03643 | 0.01073 | 0.02486 | 0.5449 | 1 | 6.007e-11 | 0.1029 | 0.04985 | 0.04657 | 0.2158 | 8.682 | 2.828 | 0.4039 | 0.8814 | 1 | 1 | 0.04793 | 0.1592 | 0.2692 | 0.4105 | 1.364 | 2.305 | json |
| t12_x7_u0_b40 | 12 | 7 | 0 | 40 | ![]() |
sqt(div(P,eql(R,D))) | 25157 | 97730059 | o1(o2(x,o2(x,x))) | true | 31103 | 31103 | -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_x7_u0_b41 | 12 | 7 | 0 | 41 | ![]() |
sqt(div(P,min(R,D))) | 25158 | 97730060 | o1(o2(x,o2(x,x))) | true | 31111 | 31111 | -0.7775 | 0.1133 | 0.9959 | 0.3907 | 0.6251 | -1 | 1 | 2 | 1 | 0.5621 | 0.0354 | 0.03054 | 0.034 | 0.07383 | 1 | 0 | 0.1378 | 0.06732 | 0.06479 | 0.2545 | 7.487 | 2.828 | 0.1688 | 0.3527 | 1 | 1 | 0.06416 | 0.2649 | 0.6594 | 0.1642 | 0.678 | 1.687 | json |
| t12_x7_u0_b42 | 12 | 7 | 0 | 42 | ![]() |
sqt(div(P,dot(R,D))) | 25159 | 97730061 | o1(o2(x,o2(x,x))) | true | 31119 | 31119 | -0.8375 | 0.08566 | 0.9911 | 0.2881 | 0.5367 | -1 | 1 | 2 | 1 | 0.5164 | 0.07543 | 0.06988 | 0.06987 | 0.0382 | 1 | -0.00009134 | 0.4504 | 0.1484 | 0.1404 | 0.3747 | 5.363 | 2.828 | 0.5044 | 1.563 | 1 | 1 | 0.1373 | 0.4255 | 0.5955 | 0.4767 | 1.477 | 2.067 | json |
| t12_x7_u0_b43 | 12 | 7 | 0 | 43 | ![]() |
sqt(div(P,dst(R,D))) | 25160 | 97730062 | o1(o2(x,o2(x,x))) | true | 31127 | 31127 | -0.03404 | 0.5 | 0.966 | 0.957 | 0.9782 | -1 | 1 | 2 | 1 | 1.487 | 0.004314 | 0.00001072 | 0.008146 | 0.995 | 1 | 0.000001822 | 0.007926 | 0.009005 | 0.004256 | 0.06524 | 8.009 | 1 | 0.004519 | 0.008282 | 1 | 1 | 0.006252 | 0.03905 | 0.2816 | 0.006534 | 0.04081 | 0.2943 | json |
| t12_x7_u0_b44 | 12 | 7 | 0 | 44 | ![]() |
sqt(pow(P,add(R,D))) | 25161 | 97730063 | o1(o2(x,o2(x,x))) | true | 31135 | 31135 | -0.121 | 0.4678 | 0.9435 | 0.8945 | 0.9458 | -1 | 1 | 2 | 1 | 2.094 | 0.01108 | 0.002778 | 0.01838 | 0.5992 | 1 | -0.00001431 | 0.02759 | 0.02031 | 0.01353 | 0.1163 | 6.329 | 2.823 | 0.0155 | 0.03085 | 1 | 1 | 0.02001 | 0.09229 | 0.3645 | 0.02237 | 0.1032 | 0.4075 | json |
| t12_x7_u0_b45 | 12 | 7 | 0 | 45 | ![]() |
sqt(pow(P,sub(R,D))) | 25162 | 97730064 | o1(o2(x,o2(x,x))) | true | 31143 | 31143 | -0.1579 | 0.4436 | 0.9549 | 0.903 | 0.9503 | -1 | 1 | 2 | 1 | 1.907 | 0.01882 | 0.001044 | 0.01912 | 0.8949 | 1 | -0.00007415 | 0.03974 | 0.02602 | 0.01949 | 0.1396 | 7.304 | 2.039 | 0.02199 | 0.04401 | 1 | 1 | 0.02646 | 0.1064 | 0.3404 | 0.0293 | 0.1178 | 0.377 | json |
| t12_x7_u0_b46 | 12 | 7 | 0 | 46 | ![]() |
sqt(pow(P,mlt(R,D))) | 25163 | 97730065 | o1(o2(x,o2(x,x))) | true | 31151 | 31151 | -0.1132 | 0.4531 | 0.9805 | 0.9554 | 0.9775 | -1 | 1 | 2 | 1 | 1.486 | 0.01301 | 0.003641 | 0.01375 | 0.5625 | 1 | 0.00004624 | 0.03391 | 0.0204 | 0.01645 | 0.1283 | 9.331 | 2.828 | 0.01742 | 0.03549 | 1 | 1 | 0.0228 | 0.09529 | 0.3804 | 0.02386 | 0.09973 | 0.3982 | json |
| t12_x7_u0_b47 | 12 | 7 | 0 | 47 | ![]() |
sqt(pow(P,div(R,D))) | 25164 | 97730066 | o1(o2(x,o2(x,x))) | true | 31159 | 31159 | -0.1794 | 0.4531 | 0.9143 | 0.8567 | 0.9256 | -1 | 1 | 2 | 1 | 2.006 | 0.02739 | 0.006154 | 0.04346 | 0.6331 | 1 | -0.00005276 | 0.07032 | 0.06017 | 0.03163 | 0.1779 | 4.092 | 2.828 | 0.03915 | 0.08208 | 1 | 1 | 0.041 | 0.1523 | 0.421 | 0.04786 | 0.1778 | 0.4914 | json |
| t12_x7_u0_b48 | 12 | 7 | 0 | 48 | ![]() |
sqt(pow(P,pow(R,D))) | 25165 | 97730067 | o1(o2(x,o2(x,x))) | true | 31167 | 31167 | -0.9609 | 0.02344 | 0.9922 | 0.06706 | 0.259 | -1 | 1 | 2 | 1 | 0.226 | 0.0079 | 0.006387 | 0.008969 | 0.1059 | 1 | -1.201e-10 | 0.03013 | 0.01633 | 0.01421 | 0.1192 | 13.29 | 2.828 | 0.213 | 0.4493 | 1 | 1 | 0.01203 | 0.04862 | 0.1347 | 0.1794 | 0.725 | 2.009 | json |
| t12_x7_u0_b49 | 12 | 7 | 0 | 49 | ![]() |
sqt(pow(P,mod(R,D))) | 25166 | 97730068 | o1(o2(x,o2(x,x))) | true | 31175 | 31175 | -0.1155 | 0.4531 | 0.9783 | 0.9509 | 0.9751 | -1 | 1 | 2 | 1 | 1.529 | 0.0136 | 0.003638 | 0.01967 | 0.5778 | 1 | 0.00004137 | 0.03573 | 0.03399 | 0.01684 | 0.1298 | 6.599 | 2.828 | 0.01813 | 0.03757 | 1 | 1 | 0.02303 | 0.09498 | 0.3783 | 0.02422 | 0.09989 | 0.3979 | json |
| t12_x7_u0_b50 | 12 | 7 | 0 | 50 | ![]() |
sqt(pow(P,lrg(R,D))) | 25167 | 97730069 | o1(o2(x,o2(x,x))) | true | 31183 | 31183 | 0.08741 | 0.5537 | 0.98 | 0.9674 | 0.9836 | -1 | 1 | 2 | 1 | 1.3 | 0.05371 | 0.01387 | 0.0378 | 0.5894 | 1 | 0.000002773 | 0.1545 | 0.07187 | 0.06618 | 0.2572 | 6.805 | 2.828 | 0.06986 | 0.1597 | 1 | 1 | 0.06436 | 0.2013 | 0.5047 | 0.06653 | 0.2081 | 0.5217 | json |
| t12_x7_u0_b51 | 12 | 7 | 0 | 51 | ![]() |
sqt(pow(P,eql(R,D))) | 25168 | 97730070 | o1(o2(x,o2(x,x))) | true | 31191 | 31191 | 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_x7_u0_b52 | 12 | 7 | 0 | 52 | ![]() |
sqt(pow(P,min(R,D))) | 25169 | 97730071 | o1(o2(x,o2(x,x))) | true | 31199 | 31199 | -0.1768 | 0.4531 | 0.9169 | 0.8312 | 0.9117 | -1 | 1 | 2 | 1 | 2.345 | 0.01317 | 0.003753 | 0.01972 | 0.5563 | 1 | 0.00007197 | 0.03397 | 0.02202 | 0.01652 | 0.1285 | 6.518 | 2.828 | 0.02036 | 0.04087 | 1 | 1 | 0.02317 | 0.09774 | 0.3658 | 0.02788 | 0.1176 | 0.4401 | json |
| t12_x7_u0_b53 | 12 | 7 | 0 | 53 | ![]() |
sqt(pow(P,dot(R,D))) | 25170 | 97730072 | o1(o2(x,o2(x,x))) | true | 31207 | 31207 | -0.118 | 0.453 | 0.9761 | 0.946 | 0.9726 | -1 | 1 | 2 | 1 | 1.619 | 0.01501 | 0.00542 | 0.01705 | 0.4694 | 1 | -0.00002393 | 0.05142 | 0.0256 | 0.02014 | 0.1419 | 8.323 | 2.828 | 0.0216 | 0.05436 | 1 | 1 | 0.02891 | 0.1103 | 0.3714 | 0.03057 | 0.1165 | 0.3926 | json |
| t12_x7_u0_b54 | 12 | 7 | 0 | 54 | ![]() |
sqt(pow(P,dst(R,D))) | 25171 | 97730073 | o1(o2(x,o2(x,x))) | true | 31215 | 31215 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0.006228 | 0.03975 | 0.2856 | 0.006485 | 0.04139 | 0.2974 | json |
| t12_x7_u0_b55 | 12 | 7 | 0 | 55 | ![]() |
sqt(mod(P,add(R,D))) | 25172 | 97730074 | o1(o2(x,o2(x,x))) | true | 31223 | 31223 | -0.2797 | 0.4989 | 0.7203 | 0.5413 | 0.7358 | -1 | 1 | 2 | 1 | 2.873 | 0.02282 | 0.0002587 | 0.07868 | 0.9776 | 1 | -0.0002814 | 0.06238 | 0.1267 | 0.01688 | 0.1299 | 1.651 | 1 | 0.04263 | 0.1152 | 1 | 1 | 0.01647 | 0.04855 | 0.1982 | 0.03043 | 0.08968 | 0.3661 | json |
| t12_x7_u0_b56 | 12 | 7 | 0 | 56 | ![]() |
sqt(mod(P,sub(R,D))) | 25173 | 97730075 | o1(o2(x,o2(x,x))) | true | 31231 | 31231 | -0.2787 | 0.4995 | 0.7213 | 0.5418 | 0.7361 | -1 | 1 | 2 | 1 | 2.868 | 0.02265 | 0.0002691 | 0.07901 | 0.9765 | 1 | -0.00003752 | 0.06201 | 0.1261 | 0.01668 | 0.1291 | 1.634 | 1 | 0.04231 | 0.1144 | 1 | 1 | 0.0163 | 0.04887 | 0.193 | 0.03008 | 0.09019 | 0.3563 | json |
| t12_x7_u0_b57 | 12 | 7 | 0 | 57 | ![]() |
sqt(mod(P,mlt(R,D))) | 25174 | 97730076 | o1(o2(x,o2(x,x))) | true | 31239 | 31239 | -0.3953 | 0.4988 | 0.6047 | 0.3726 | 0.6104 | -1 | 0.6103 | 1.61 | 1 | 2.444 | 0.007915 | 0.00004645 | 0.03793 | 0.9883 | 1 | -0.0001057 | 0.01812 | 0.06081 | 0.006521 | 0.08075 | 2.129 | 1 | 0.02137 | 0.04863 | 1 | 1 | 0.00823 | 0.03261 | 0.1227 | 0.02209 | 0.08753 | 0.3293 | json |
| t12_x7_u0_b58 | 12 | 7 | 0 | 58 | ![]() |
sqt(mod(P,div(R,D))) | 25175 | 97730077 | o1(o2(x,o2(x,x))) | true | 31247 | 31247 | -0.1292 | 0.4982 | 0.8708 | 0.7991 | 0.8939 | -1 | 1 | 2 | 1 | 2.592 | 0.02966 | 0.0004378 | 0.07951 | 0.9709 | 1 | 0.0001796 | 0.08162 | 0.1359 | 0.02378 | 0.1542 | 1.94 | 1 | 0.03766 | 0.1021 | 1 | 1 | 0.01993 | 0.06721 | 0.2802 | 0.02494 | 0.0841 | 0.3506 | json |
| t12_x7_u0_b59 | 12 | 7 | 0 | 59 | ![]() |
sqt(mod(P,pow(R,D))) | 25176 | 97730078 | o1(o2(x,o2(x,x))) | true | 31255 | 31255 | -0.9875 | 0.007813 | 0.9969 | 0.02061 | 0.1436 | -1 | 0.9997 | 2 | 1 | 0.095 | 0.002 | 0.00244 | 0.003433 | -0.09906 | 1 | 0.00001441 | 0.009306 | 0.006045 | 0.004429 | 0.06655 | 19.38 | 2.828 | 0.2155 | 0.4515 | 1 | 1 | 0.00053 | 0.00371 | 0.01798 | 0.02572 | 0.18 | 0.8723 | json |
| t12_x7_u0_b60 | 12 | 7 | 0 | 60 | ![]() |
sqt(mod(P,mod(R,D))) | 25177 | 97730079 | o1(o2(x,o2(x,x))) | true | 31263 | 31263 | -0.3963 | 0.4985 | 0.6037 | 0.3715 | 0.6095 | -1 | 0.6171 | 1.617 | 1 | 2.443 | 0.009605 | 0.00004914 | 0.04236 | 0.9898 | 1 | -0.0002712 | 0.02294 | 0.07063 | 0.007863 | 0.08867 | 2.093 | 1 | 0.02599 | 0.06176 | 1 | 1 | 0.009092 | 0.03341 | 0.1222 | 0.02447 | 0.08993 | 0.329 | json |
| t12_x7_u0_b61 | 12 | 7 | 0 | 61 | ![]() |
sqt(mod(P,lrg(R,D))) | 25178 | 97730080 | o1(o2(x,o2(x,x))) | true | 31271 | 31271 | -0.9312 | 0 | 0.9312 | 0.06407 | 0.2531 | -1 | 0 | 1 | 1 | 0.3616 | 0.02485 | 0.005574 | 0.03011 | 0.6335 | 1 | 0 | 0.068 | 0.06085 | 0.0295 | 0.1717 | 5.704 | 1.414 | 0.4748 | 1.061 | 1 | 1 | 0.02749 | 0.08127 | 0.122 | 0.4291 | 1.268 | 1.904 | json |
| t12_x7_u0_b62 | 12 | 7 | 0 | 62 | ![]() |
sqt(mod(P,eql(R,D))) | 25179 | 97730081 | o1(o2(x,o2(x,x))) | true | 31279 | 31279 | -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_x7_u0_b63 | 12 | 7 | 0 | 63 | ![]() |
sqt(mod(P,min(R,D))) | 25180 | 97730082 | o1(o2(x,o2(x,x))) | true | 31287 | 31287 | -0.3126 | 0.4912 | 0.6855 | 0.4878 | 0.6984 | -1 | 0.8903 | 1.89 | 1 | 2.729 | 0.01069 | 0.0002459 | 0.04032 | 0.955 | 1 | -0.000004599 | 0.02549 | 0.0623 | 0.009313 | 0.0965 | 2.394 | 1.414 | 0.02242 | 0.05225 | 1 | 1 | 0.01091 | 0.04304 | 0.1652 | 0.02236 | 0.08823 | 0.3387 | json |
| t12_x7_u0_b64 | 12 | 7 | 0 | 64 | ![]() |
sqt(mod(P,dot(R,D))) | 25181 | 97730083 | o1(o2(x,o2(x,x))) | true | 31295 | 31295 | -0.3668 | 0.4988 | 0.6333 | 0.4097 | 0.6401 | -1 | 0.7375 | 1.738 | 1 | 2.544 | 0.01029 | 0.00618 | 0.0704 | 0.2497 | 1 | -0.00009486 | 0.06713 | 0.139 | 0.01151 | 0.1073 | 1.524 | 1.951 | 0.04021 | 0.1639 | 1 | 1 | 0.01252 | 0.03893 | 0.1389 | 0.03057 | 0.09502 | 0.339 | json |
| t12_x7_u0_b65 | 12 | 7 | 0 | 65 | ![]() |
sqt(mod(P,dst(R,D))) | 25182 | 97730084 | o1(o2(x,o2(x,x))) | true | 31303 | 31303 | -0.1783 | 0.4998 | 0.8217 | 0.7057 | 0.84 | -1 | 1 | 2 | 1 | 2.885 | 0.02327 | 0.01897 | 0.1005 | 0.1017 | 1 | 0.00003387 | 0.1672 | 0.1801 | 0.03215 | 0.1793 | 1.784 | 1.354 | 0.05985 | 0.237 | 1 | 1 | 0.03076 | 0.07171 | 0.2555 | 0.0436 | 0.1016 | 0.3621 | json |
| t12_x7_u0_b66 | 12 | 7 | 0 | 66 | ![]() |
sqt(lrg(P,add(R,D))) | 25183 | 97730085 | o1(o2(x,o2(x,x))) | true | 31311 | 31311 | 0.4983 | 0.5748 | 0.4983 | 0.2332 | 0.4829 | 0 | 1 | 1 | 1 | 1.707 | 0.002579 | 0.0001747 | 0.01255 | 0.8731 | 1 | 0.000009607 | 0.004619 | 0.009851 | 0.002597 | 0.05096 | 4.059 | 0.9926 | 0.01181 | 0.01981 | 1 | 1 | 0.003607 | 0.02284 | 0.08805 | 0.01547 | 0.09794 | 0.3776 | json |
| t12_x7_u0_b67 | 12 | 7 | 0 | 67 | ![]() |
sqt(lrg(P,sub(R,D))) | 25184 | 97730086 | o1(o2(x,o2(x,x))) | true | 31319 | 31319 | 0.4983 | 0.5367 | 0.4983 | 0.2404 | 0.4904 | 0 | 1 | 1 | 1 | 1.441 | 0.002564 | 0.000168 | 0.008601 | 0.877 | 1 | 0.000009608 | 0.004735 | 0.008797 | 0.002659 | 0.05157 | 5.995 | 0.9997 | 0.01136 | 0.01969 | 1 | 1 | 0.003586 | 0.02271 | 0.09229 | 0.01492 | 0.09446 | 0.3838 | json |
| t12_x7_u0_b68 | 12 | 7 | 0 | 68 | ![]() |
sqt(lrg(P,mlt(R,D))) | 25185 | 97730087 | o1(o2(x,o2(x,x))) | true | 31327 | 31327 | 0.5 | 0.5378 | 0.5 | 0.2421 | 0.492 | 0 | 1 | 1 | 1 | 1.382 | 0.003597 | 0.0001053 | 0.007956 | 0.9431 | 1 | -3.229e-10 | 0.006751 | 0.008078 | 0.003638 | 0.06032 | 7.581 | 1 | 0.01529 | 0.02789 | 1 | 1 | 0.005344 | 0.0265 | 0.09053 | 0.02207 | 0.1095 | 0.3739 | json |
| t12_x7_u0_b69 | 12 | 7 | 0 | 69 | ![]() |
sqt(lrg(P,div(R,D))) | 25186 | 97730088 | o1(o2(x,o2(x,x))) | true | 31335 | 31335 | 0.4994 | 0.6639 | 0.4994 | 0.2145 | 0.4631 | 0 | 1 | 1 | 1 | 2.252 | 0.07443 | 0.001095 | 0.1036 | 0.971 | 1 | -0.000505 | 0.1656 | 0.1758 | 0.06478 | 0.2545 | 2.456 | 1 | 0.3522 | 0.7721 | 1 | 1 | 0.0765 | 0.1704 | 0.1893 | 0.3567 | 0.7948 | 0.8828 | json |
| t12_x7_u0_b70 | 12 | 7 | 0 | 70 | ![]() |
sqt(lrg(P,pow(R,D))) | 25187 | 97730089 | o1(o2(x,o2(x,x))) | true | 31343 | 31343 | 0.7115 | 0.9524 | 0.7115 | 0.1529 | 0.3911 | 0 | 1 | 1 | 1 | 2.46 | 0.003508 | 0.001328 | 0.03155 | 0.4508 | 1 | 3.482e-8 | 0.005093 | 0.01323 | 0.003839 | 0.06196 | 1.964 | 1 | 0.03162 | 0.0333 | 1 | 1 | 0.007741 | 0.07269 | 0.1921 | 0.05061 | 0.4753 | 1.256 | json |
| t12_x7_u0_b71 | 12 | 7 | 0 | 71 | ![]() |
sqt(lrg(P,mod(R,D))) | 25188 | 97730090 | o1(o2(x,o2(x,x))) | true | 31351 | 31351 | 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_x7_u0_b72 | 12 | 7 | 0 | 72 | ![]() |
sqt(lrg(P,lrg(R,D))) | 25189 | 97730091 | o1(o2(x,o2(x,x))) | true | 31359 | 31359 | 0.4288 | 0.4552 | 0.4288 | 0.2382 | 0.4881 | 0 | 1 | 1 | 1 | 1.313 | 0.001212 | 0.0001361 | 0.005247 | 0.798 | 1 | 0.00001114 | 0.001947 | 0.004038 | 0.001321 | 0.03634 | 6.927 | 0.9997 | 0.005658 | 0.008172 | 1 | 1 | 0.002631 | 0.01873 | 0.08448 | 0.01104 | 0.07864 | 0.3546 | json |
| t12_x7_u0_b73 | 12 | 7 | 0 | 73 | ![]() |
sqt(lrg(P,eql(R,D))) | 25190 | 97730092 | o1(o2(x,o2(x,x))) | true | 31367 | 31367 | 0.4687 | 0.5 | 0.4687 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003681 | 1.509e-7 | 0.004 | 0.9992 | 1 | -1.175e-7 | 0.00006033 | 0.001044 | 0.0003522 | 0.01877 | 4.692 | 0.4319 | 0.00152 | 0.000249 | 1 | 1 | 0.0009255 | 0.01214 | 0.07511 | 0.00382 | 0.05012 | 0.31 | json |
| t12_x7_u0_b74 | 12 | 7 | 0 | 74 | ![]() |
sqt(lrg(P,min(R,D))) | 25191 | 97730093 | o1(o2(x,o2(x,x))) | true | 31375 | 31375 | 0.5176 | 0.5625 | 0.5176 | 0.2389 | 0.4888 | 0 | 1 | 1 | 1 | 1.486 | 0.002093 | 0.00005267 | 0.007983 | 0.9509 | 1 | 0.000002852 | 0.003286 | 0.004977 | 0.002081 | 0.04562 | 5.715 | 0.9994 | 0.008984 | 0.01375 | 1 | 1 | 0.003596 | 0.02222 | 0.07826 | 0.01505 | 0.09301 | 0.3276 | json |
| t12_x7_u0_b75 | 12 | 7 | 0 | 75 | ![]() |
sqt(lrg(P,dot(R,D))) | 25192 | 97730094 | o1(o2(x,o2(x,x))) | true | 31383 | 31383 | 0.499 | 0.5445 | 0.499 | 0.2411 | 0.491 | 0 | 1 | 1 | 1 | 1.421 | 0.002838 | 0.001955 | 0.01021 | 0.1843 | 1 | 0.00001934 | 0.01541 | 0.01267 | 0.004689 | 0.06847 | 6.708 | 1.409 | 0.01988 | 0.06391 | 1 | 1 | 0.006801 | 0.0302 | 0.08809 | 0.02821 | 0.1253 | 0.3654 | json |
| t12_x7_u0_b76 | 12 | 7 | 0 | 76 | ![]() |
sqt(lrg(P,dst(R,D))) | 25193 | 97730095 | o1(o2(x,o2(x,x))) | true | 31391 | 31391 | 0.4297 | 0.4641 | 0.4297 | 0.2373 | 0.4872 | 0 | 1 | 1 | 1 | 1.36 | 0.001877 | 0.001644 | 0.008279 | 0.06628 | 1 | -0.000001305 | 0.01025 | 0.01037 | 0.003449 | 0.05873 | 7.094 | 1.404 | 0.01484 | 0.04321 | 1 | 1 | 0.005235 | 0.02504 | 0.08667 | 0.02206 | 0.1055 | 0.3652 | json |
| t12_x7_u0_b77 | 12 | 7 | 0 | 77 | ![]() |
sqt(eql(P,add(R,D))) | 25194 | 97730096 | o1(o2(x,o2(x,x))) | true | 31399 | 31399 | 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_x7_u0_b78 | 12 | 7 | 0 | 78 | ![]() |
sqt(eql(P,sub(R,D))) | 25195 | 97730097 | o1(o2(x,o2(x,x))) | true | 31407 | 31407 | 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_x7_u0_b79 | 12 | 7 | 0 | 79 | ![]() |
sqt(eql(P,mlt(R,D))) | 25196 | 97730098 | o1(o2(x,o2(x,x))) | true | 31415 | 31415 | 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_x7_u0_b80 | 12 | 7 | 0 | 80 | ![]() |
sqt(eql(P,div(R,D))) | 25197 | 97730099 | o1(o2(x,o2(x,x))) | true | 31423 | 31423 | 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_x7_u0_b81 | 12 | 7 | 0 | 81 | ![]() |
sqt(eql(P,pow(R,D))) | 25198 | 97730100 | o1(o2(x,o2(x,x))) | true | 31431 | 31431 | 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_x7_u0_b82 | 12 | 7 | 0 | 82 | ![]() |
sqt(eql(P,mod(R,D))) | 25199 | 97730101 | o1(o2(x,o2(x,x))) | true | 31439 | 31439 | 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 |



































































































