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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t14_x14_u6_b108 | 14 | 14 | 6 | 108 | ![]() |
nrm(dot(dot(D,D),R)) | 59600 | 114255342 | o1(o2(o2(x,x),x)) | true | 135767 | 135767 | 0.009021 | 0.5076 | 0.4135 | 0.2033 | 0.4509 | -0.5774 | 0.5774 | 1.155 | 1 | 3.948 | 0.003042 | 0.002952 | 0.06076 | 0.015 | 1 | 0.00001565 | 0.0003513 | 0.01475 | 0.002301 | 0.04797 | 0.7895 | 0.135 | 0.02949 | 0.001728 | 1 | 1 | 0.01151 | 0.1483 | 0.3976 | 0.0566 | 0.7295 | 1.956 | json |
| t14_x14_u6_b109 | 14 | 14 | 6 | 109 | ![]() |
nrm(dot(dst(D,D),R)) | 59601 | 114255343 | o1(o2(o2(x,x),x)) | true | 135775 | 135775 | 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 |
| t14_x14_u6_b110 | 14 | 14 | 6 | 110 | ![]() |
nrm(dst(add(D,D),R)) | 59602 | 114255344 | o1(o2(o2(x,x),x)) | true | 135783 | 135783 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 4.831e-16 | 4.888e-16 | 1.327e-8 | -0.000005762 | 0 | -6.904e-9 | 4.203e-15 | 1.751e-8 | 7.962e-16 | 2.822e-8 | 2.126 | 1.686e-7 | 6.84e-9 | 2.958e-8 | 1 | 1 | 4.871e-16 | 4.873e-16 | 4.871e-16 | 3.428e-9 | 3.429e-9 | 3.428e-9 | json |
| t14_x14_u6_b111 | 14 | 14 | 6 | 111 | ![]() |
nrm(dst(sub(D,D),R)) | 59603 | 114255345 | o1(o2(o2(x,x),x)) | true | 135791 | 135791 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 5.477e-17 | 4.011e-17 | 1.52e-9 | 0.00001466 | 0 | -2.628e-10 | 4.189e-16 | 1.757e-9 | 9.254e-17 | 9.62e-9 | 6.327 | 8.429e-8 | 6.677e-10 | 2.948e-9 | 1 | 1 | 9.989e-17 | 3.782e-16 | 6.564e-16 | 7.03e-10 | 2.661e-9 | 4.619e-9 | json |
| t14_x14_u6_b112 | 14 | 14 | 6 | 112 | ![]() |
nrm(dst(mlt(D,D),R)) | 59604 | 114255346 | o1(o2(o2(x,x),x)) | true | 135799 | 135799 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 4.83e-16 | 4.734e-16 | 1.309e-8 | 0.000009623 | 0 | -6.84e-9 | 4.313e-15 | 1.805e-8 | 7.847e-16 | 2.801e-8 | 2.139 | 1.686e-7 | 6.731e-9 | 3.035e-8 | 1 | 1 | 5.348e-16 | 5.406e-16 | 5.344e-16 | 3.764e-9 | 3.805e-9 | 3.761e-9 | json |
| t14_x14_u6_b113 | 14 | 14 | 6 | 113 | ![]() |
nrm(dst(div(D,D),R)) | 59605 | 114255347 | o1(o2(o2(x,x),x)) | true | 135807 | 135807 | -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 |
| t14_x14_u6_b114 | 14 | 14 | 6 | 114 | ![]() |
nrm(dst(pow(D,D),R)) | 59606 | 114255348 | o1(o2(o2(x,x),x)) | true | 135815 | 135815 | -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 |
| t14_x14_u6_b115 | 14 | 14 | 6 | 115 | ![]() |
nrm(dst(mod(D,D),R)) | 59607 | 114255349 | o1(o2(o2(x,x),x)) | true | 135823 | 135823 | -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 |
| t14_x14_u6_b116 | 14 | 14 | 6 | 116 | ![]() |
nrm(dst(lrg(D,D),R)) | 59608 | 114255350 | o1(o2(o2(x,x),x)) | true | 135831 | 135831 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 5.477e-17 | 4.011e-17 | 1.52e-9 | 0.00001466 | 0 | -2.628e-10 | 4.189e-16 | 1.757e-9 | 9.254e-17 | 9.62e-9 | 6.327 | 8.429e-8 | 6.677e-10 | 2.948e-9 | 1 | 1 | 9.989e-17 | 3.782e-16 | 6.564e-16 | 7.03e-10 | 2.661e-9 | 4.619e-9 | json |
| t14_x14_u6_b117 | 14 | 14 | 6 | 117 | ![]() |
nrm(dst(eql(D,D),R)) | 59609 | 114255351 | o1(o2(o2(x,x),x)) | true | 135839 | 135839 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 3.111e-17 | 2.327e-17 | 8.766e-10 | 0.000007832 | 0 | -5.444e-10 | 2.318e-16 | 9.724e-10 | 5.366e-17 | 7.325e-9 | 8.356 | 8.429e-8 | 3.827e-10 | 1.632e-9 | 1 | 1 | 4.478e-17 | 1.698e-16 | 2.72e-16 | 3.151e-10 | 1.195e-9 | 1.914e-9 | json |
| t14_x14_u6_b118 | 14 | 14 | 6 | 118 | ![]() |
nrm(dst(min(D,D),R)) | 59610 | 114255352 | o1(o2(o2(x,x),x)) | true | 135847 | 135847 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 4.947e-16 | 4.966e-16 | 1.343e-8 | -0.000001958 | 0 | -7.276e-9 | 4.25e-15 | 1.776e-8 | 8.111e-16 | 2.848e-8 | 2.121 | 1.686e-7 | 6.976e-9 | 2.991e-8 | 1 | 1 | 4.971e-16 | 5.001e-16 | 5.011e-16 | 3.499e-9 | 3.519e-9 | 3.527e-9 | json |
| t14_x14_u6_b119 | 14 | 14 | 6 | 119 | ![]() |
nrm(dst(dot(D,D),R)) | 59611 | 114255353 | o1(o2(o2(x,x),x)) | true | 135855 | 135855 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 4.939e-16 | 4.901e-16 | 1.331e-8 | 0.000003804 | 0 | -7.092e-9 | 4.412e-15 | 1.842e-8 | 8.067e-16 | 2.84e-8 | 2.134 | 1.686e-7 | 6.925e-9 | 3.105e-8 | 1 | 1 | 5.675e-16 | 5.536e-16 | 5.467e-16 | 3.993e-9 | 3.896e-9 | 3.847e-9 | json |
| t14_x14_u6_b120 | 14 | 14 | 6 | 120 | ![]() |
nrm(dst(dst(D,D),R)) | 59612 | 114255354 | o1(o2(o2(x,x),x)) | true | 135863 | 135863 | 0.5777 | 1 | 0.5777 | 1.421e-7 | 0.000377 | 0.5774 | 0.5774 | 1.192e-7 | 1 | 0 | 5.477e-17 | 4.011e-17 | 1.52e-9 | 0.00001466 | 0 | -2.628e-10 | 4.189e-16 | 1.757e-9 | 9.254e-17 | 9.62e-9 | 6.327 | 8.429e-8 | 6.677e-10 | 2.948e-9 | 1 | 1 | 9.989e-17 | 3.782e-16 | 6.564e-16 | 7.03e-10 | 2.661e-9 | 4.619e-9 | json |
| t14_x15_u0_b0 | 14 | 15 | 0 | 0 | ![]() |
sqt(add(add(D,R),P)) | 59613 | 114294429 | o1(o2(o2(x,x),x)) | true | 135871 | 135871 | -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 |
| t14_x15_u0_b1 | 14 | 15 | 0 | 1 | ![]() |
sqt(add(sub(D,R),P)) | 59614 | 114294430 | o1(o2(o2(x,x),x)) | true | 135879 | 135879 | -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 |
| t14_x15_u0_b2 | 14 | 15 | 0 | 2 | ![]() |
sqt(add(mlt(D,R),P)) | 59615 | 114294431 | o1(o2(o2(x,x),x)) | true | 135887 | 135887 | -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 |
| t14_x15_u0_b3 | 14 | 15 | 0 | 3 | ![]() |
sqt(add(div(D,R),P)) | 59616 | 114294432 | o1(o2(o2(x,x),x)) | true | 135895 | 135895 | -0.3396 | 0.3315 | 0.9974 | 0.8806 | 0.9384 | -1 | 1 | 2 | 1 | 1.008 | 0.1241 | 0.02527 | 0.07621 | 0.6617 | 1 | -2.571e-7 | 0.3455 | 0.1518 | 0.1436 | 0.379 | 4.973 | 2.828 | 0.1696 | 0.3924 | 1 | 1 | 0.1375 | 0.4501 | 0.8462 | 0.1561 | 0.5112 | 0.961 | json |
| t14_x15_u0_b4 | 14 | 15 | 0 | 4 | ![]() |
sqt(add(pow(D,R),P)) | 59617 | 114294433 | o1(o2(o2(x,x),x)) | true | 135903 | 135903 | -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 |
| t14_x15_u0_b5 | 14 | 15 | 0 | 5 | ![]() |
sqt(add(mod(D,R),P)) | 59618 | 114294434 | o1(o2(o2(x,x),x)) | true | 135911 | 135911 | -0.02111 | 0.5 | 0.9789 | 0.9678 | 0.9838 | -1 | 1 | 2 | 1 | 1.432 | 0.005928 | 0.000003881 | 0.009115 | 0.9987 | 1 | 1.169e-7 | 0.01036 | 0.01179 | 0.005849 | 0.07648 | 8.39 | 1.177 | 0.006129 | 0.01071 | 1 | 1 | 0.008872 | 0.05139 | 0.2955 | 0.009167 | 0.0531 | 0.3054 | json |
| t14_x15_u0_b6 | 14 | 15 | 0 | 6 | ![]() |
sqt(add(lrg(D,R),P)) | 59619 | 114294435 | o1(o2(o2(x,x),x)) | true | 135919 | 135919 | 0.02706 | 0.5167 | 0.9704 | 0.9652 | 0.9824 | -1 | 1 | 2 | 1 | 1.337 | 0.008022 | 0.001592 | 0.009898 | 0.6688 | 1 | 0.000002773 | 0.01916 | 0.01552 | 0.009517 | 0.09755 | 9.856 | 2.802 | 0.00996 | 0.01985 | 1 | 1 | 0.01187 | 0.05823 | 0.3287 | 0.0123 | 0.06033 | 0.3405 | json |
| t14_x15_u0_b7 | 14 | 15 | 0 | 7 | ![]() |
sqt(add(eql(D,R),P)) | 59620 | 114294436 | o1(o2(o2(x,x),x)) | true | 135927 | 135927 | -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 |
| t14_x15_u0_b8 | 14 | 15 | 0 | 8 | ![]() |
sqt(add(min(D,R),P)) | 59621 | 114294437 | o1(o2(o2(x,x),x)) | true | 135935 | 135935 | -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 |
| t14_x15_u0_b9 | 14 | 15 | 0 | 9 | ![]() |
sqt(add(dot(D,R),P)) | 59622 | 114294438 | o1(o2(o2(x,x),x)) | true | 135943 | 135943 | -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 |
| t14_x15_u0_b10 | 14 | 15 | 0 | 10 | ![]() |
sqt(add(dst(D,R),P)) | 59623 | 114294439 | o1(o2(o2(x,x),x)) | true | 135951 | 135951 | 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 |
| t14_x15_u0_b11 | 14 | 15 | 0 | 11 | ![]() |
sqt(sub(add(D,R),P)) | 59624 | 114294440 | o1(o2(o2(x,x),x)) | true | 135959 | 135959 | -0.1581 | 0.4233 | 0.9952 | 0.9665 | 0.9831 | -1 | 1 | 2 | 1 | 1.131 | 0.03899 | 0.005321 | 0.02391 | 0.7599 | 1 | -0.000001855 | 0.09468 | 0.04725 | 0.04374 | 0.2091 | 8.746 | 2.828 | 0.04585 | 0.09797 | 1 | 1 | 0.05764 | 0.1884 | 0.412 | 0.05964 | 0.1949 | 0.4263 | json |
| t14_x15_u0_b12 | 14 | 15 | 0 | 12 | ![]() |
sqt(sub(sub(D,R),P)) | 59625 | 114294441 | o1(o2(o2(x,x),x)) | true | 135967 | 135967 | -0.174 | 0.4163 | 0.9935 | 0.9598 | 0.9797 | -1 | 1 | 2 | 1 | 1.161 | 0.04179 | 0.005333 | 0.02643 | 0.7736 | 1 | 4.409e-7 | 0.09751 | 0.05186 | 0.04644 | 0.2155 | 8.154 | 2.828 | 0.0491 | 0.1016 | 1 | 1 | 0.0586 | 0.1898 | 0.4283 | 0.06105 | 0.1977 | 0.4463 | json |
| t14_x15_u0_b13 | 14 | 15 | 0 | 13 | ![]() |
sqt(sub(mlt(D,R),P)) | 59626 | 114294442 | o1(o2(o2(x,x),x)) | true | 135975 | 135975 | -0.08554 | 0.4609 | 0.9926 | 0.982 | 0.991 | -1 | 1 | 2 | 1 | 1.159 | 0.01192 | 0.002237 | 0.009314 | 0.684 | 1 | -4.309e-7 | 0.02837 | 0.01603 | 0.01406 | 0.1186 | 12.73 | 2 | 0.01442 | 0.02889 | 1 | 1 | 0.02054 | 0.08816 | 0.3748 | 0.02092 | 0.08977 | 0.3817 | json |
| t14_x15_u0_b14 | 14 | 15 | 0 | 14 | ![]() |
sqt(sub(div(D,R),P)) | 59627 | 114294443 | o1(o2(o2(x,x),x)) | true | 135983 | 135983 | -0.3084 | 0.3472 | 0.9973 | 0.8999 | 0.9486 | -1 | 1 | 2 | 1 | 1.028 | 0.0923 | 0.01931 | 0.0574 | 0.654 | 1 | -0.001009 | 0.2507 | 0.1151 | 0.1084 | 0.3292 | 5.735 | 2.828 | 0.124 | 0.2786 | 1 | 1 | 0.1089 | 0.3567 | 0.7219 | 0.121 | 0.3964 | 0.8022 | json |
| t14_x15_u0_b15 | 14 | 15 | 0 | 15 | ![]() |
sqt(sub(pow(D,R),P)) | 59628 | 114294444 | o1(o2(o2(x,x),x)) | true | 135991 | 135991 | -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 |
| t14_x15_u0_b16 | 14 | 15 | 0 | 16 | ![]() |
sqt(sub(mod(D,R),P)) | 59629 | 114294445 | o1(o2(o2(x,x),x)) | true | 135999 | 135999 | -0.1259 | 0.4375 | 0.9991 | 0.9824 | 0.9912 | -1 | 1 | 2 | 1 | 1.033 | 0.01565 | 1.363e-7 | 0.008298 | 1 | 1 | -1.826e-8 | 0.03167 | 0.01628 | 0.01558 | 0.1248 | 15.04 | 1.999 | 0.01593 | 0.03224 | 1 | 1 | 0.02054 | 0.08219 | 0.3348 | 0.02091 | 0.08366 | 0.3408 | json |
| t14_x15_u0_b17 | 14 | 15 | 0 | 17 | ![]() |
sqt(sub(lrg(D,R),P)) | 59630 | 114294446 | o1(o2(o2(x,x),x)) | true | 136007 | 136007 | -0.0109 | 0.5017 | 0.9857 | 0.9815 | 0.9907 | -1 | 1 | 2 | 1 | 1.244 | 0.01148 | 0.0003239 | 0.009992 | 0.9451 | 1 | 0.0000013 | 0.02345 | 0.01598 | 0.01171 | 0.1082 | 10.83 | 2 | 0.01203 | 0.0239 | 1 | 1 | 0.01609 | 0.07199 | 0.321 | 0.01639 | 0.07335 | 0.3271 | json |
| t14_x15_u0_b18 | 14 | 15 | 0 | 18 | ![]() |
sqt(sub(eql(D,R),P)) | 59631 | 114294447 | o1(o2(o2(x,x),x)) | true | 136015 | 136015 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | 0 | 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 |
| t14_x15_u0_b19 | 14 | 15 | 0 | 19 | ![]() |
sqt(sub(min(D,R),P)) | 59632 | 114294448 | o1(o2(o2(x,x),x)) | true | 136023 | 136023 | -0.1291 | 0.4375 | 0.9959 | 0.9757 | 0.9878 | -1 | 1 | 2 | 1 | 1.157 | 0.01413 | 0.00001014 | 0.008376 | 0.9986 | 1 | -0.000002512 | 0.02845 | 0.01543 | 0.01406 | 0.1186 | 14.16 | 1.984 | 0.01449 | 0.02916 | 1 | 1 | 0.01902 | 0.07695 | 0.3297 | 0.0195 | 0.07886 | 0.3379 | json |
| t14_x15_u0_b20 | 14 | 15 | 0 | 20 | ![]() |
sqt(sub(dot(D,R),P)) | 59633 | 114294449 | o1(o2(o2(x,x),x)) | true | 136031 | 136031 | -0.1013 | 0.4529 | 0.9928 | 0.9793 | 0.9896 | -1 | 1 | 2 | 1 | 1.19 | 0.02403 | 0.01287 | 0.0211 | 0.3023 | 1 | -0.0000896 | 0.1062 | 0.04142 | 0.03648 | 0.191 | 9.052 | 2.828 | 0.03768 | 0.1085 | 1 | 1 | 0.04571 | 0.1526 | 0.4018 | 0.04668 | 0.1558 | 0.4103 | json |
| t14_x15_u0_b21 | 14 | 15 | 0 | 21 | ![]() |
sqt(sub(dst(D,R),P)) | 59634 | 114294450 | o1(o2(o2(x,x),x)) | true | 136039 | 136039 | 0.06044 | 0.535 | 0.9905 | 0.9814 | 0.9906 | -1 | 1 | 2 | 1 | 1.276 | 0.01418 | 0.008655 | 0.01454 | 0.2419 | 1 | 0.000003136 | 0.06061 | 0.02745 | 0.02262 | 0.1504 | 10.34 | 2.828 | 0.02327 | 0.06176 | 1 | 1 | 0.03025 | 0.1209 | 0.3872 | 0.03083 | 0.1232 | 0.3945 | json |
| t14_x15_u0_b22 | 14 | 15 | 0 | 22 | ![]() |
sqt(mlt(add(D,R),P)) | 59635 | 114294451 | o1(o2(o2(x,x),x)) | true | 136047 | 136047 | -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 |
| t14_x15_u0_b23 | 14 | 15 | 0 | 23 | ![]() |
sqt(mlt(sub(D,R),P)) | 59636 | 114294452 | o1(o2(o2(x,x),x)) | true | 136055 | 136055 | -0.8649 | 0.07178 | 0.9915 | 0.2392 | 0.4891 | -1 | 1 | 2 | 1 | 0.5196 | 0.09596 | 0.0198 | 0.06315 | 0.6579 | 1 | 0.0001551 | 0.2559 | 0.1231 | 0.1117 | 0.3342 | 5.293 | 2.828 | 0.4839 | 1.07 | 1 | 1 | 0.1081 | 0.2867 | 0.3763 | 0.4521 | 1.199 | 1.573 | json |
| t14_x15_u0_b24 | 14 | 15 | 0 | 24 | ![]() |
sqt(mlt(mlt(D,R),P)) | 59637 | 114294453 | o1(o2(o2(x,x),x)) | true | 136063 | 136063 | -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 |
| t14_x15_u0_b25 | 14 | 15 | 0 | 25 | ![]() |
sqt(mlt(div(D,R),P)) | 59638 | 114294454 | o1(o2(o2(x,x),x)) | true | 136071 | 136071 | -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 |
| t14_x15_u0_b26 | 14 | 15 | 0 | 26 | ![]() |
sqt(mlt(pow(D,R),P)) | 59639 | 114294455 | o1(o2(o2(x,x),x)) | true | 136079 | 136079 | -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 |
| t14_x15_u0_b27 | 14 | 15 | 0 | 27 | ![]() |
sqt(mlt(mod(D,R),P)) | 59640 | 114294456 | o1(o2(o2(x,x),x)) | true | 136087 | 136087 | -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 |
| t14_x15_u0_b28 | 14 | 15 | 0 | 28 | ![]() |
sqt(mlt(lrg(D,R),P)) | 59641 | 114294457 | o1(o2(o2(x,x),x)) | true | 136095 | 136095 | -0.161 | 0.4271 | 0.7618 | 0.7078 | 0.8413 | -1 | 1 | 2 | 1 | 2.393 | 0.02999 | 0.004641 | 0.058 | 0.732 | 1 | -0.0001221 | 0.06825 | 0.08021 | 0.03129 | 0.1769 | 3.05 | 1.414 | 0.04894 | 0.09642 | 1 | 1 | 0.03418 | 0.143 | 0.3555 | 0.04829 | 0.2021 | 0.5022 | json |
| t14_x15_u0_b29 | 14 | 15 | 0 | 29 | ![]() |
sqt(mlt(eql(D,R),P)) | 59642 | 114294458 | o1(o2(o2(x,x),x)) | true | 136103 | 136103 | 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 |
| t14_x15_u0_b30 | 14 | 15 | 0 | 30 | ![]() |
sqt(mlt(min(D,R),P)) | 59643 | 114294459 | o1(o2(o2(x,x),x)) | true | 136111 | 136111 | -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 |
| t14_x15_u0_b31 | 14 | 15 | 0 | 31 | ![]() |
sqt(mlt(dot(D,R),P)) | 59644 | 114294460 | o1(o2(o2(x,x),x)) | true | 136119 | 136119 | -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 |
| t14_x15_u0_b32 | 14 | 15 | 0 | 32 | ![]() |
sqt(mlt(dst(D,R),P)) | 59645 | 114294461 | o1(o2(o2(x,x),x)) | true | 136127 | 136127 | -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 |
| t14_x15_u0_b33 | 14 | 15 | 0 | 33 | ![]() |
sqt(div(add(D,R),P)) | 59646 | 114294462 | o1(o2(o2(x,x),x)) | true | 136135 | 136135 | -0.9336 | 0.04956 | 0.9673 | 0.08541 | 0.2923 | -1 | 0.8376 | 1.838 | 1 | 0.4343 | 0.03369 | 0.007351 | 0.03109 | 0.6417 | 1 | 0.0003055 | 0.09083 | 0.06098 | 0.04008 | 0.2002 | 6.439 | 2.176 | 0.4805 | 1.063 | 1 | 1 | 0.0402 | 0.1145 | 0.1841 | 0.4706 | 1.341 | 2.156 | json |
| t14_x15_u0_b34 | 14 | 15 | 0 | 34 | ![]() |
sqt(div(sub(D,R),P)) | 59647 | 114294463 | o1(o2(o2(x,x),x)) | true | 136143 | 136143 | -0.9189 | 0.06274 | 0.9556 | 0.09893 | 0.3145 | -1 | 0.6955 | 1.696 | 1 | 0.5157 | 0.0416 | 0.008084 | 0.03889 | 0.6746 | 1 | 0.00005244 | 0.1107 | 0.07682 | 0.04814 | 0.2194 | 5.642 | 2.398 | 0.5022 | 1.119 | 1 | 1 | 0.04806 | 0.1213 | 0.1629 | 0.4858 | 1.226 | 1.647 | json |
| t14_x15_u0_b35 | 14 | 15 | 0 | 35 | ![]() |
sqt(div(mlt(D,R),P)) | 59648 | 114294464 | o1(o2(o2(x,x),x)) | true | 136151 | 136151 | -0.9571 | 0.03516 | 0.9726 | 0.05093 | 0.2257 | -1 | 0.5271 | 1.527 | 1 | 0.3184 | 0.005038 | 0.005406 | 0.009921 | -0.03519 | 1 | 3.118e-7 | 0.0213 | 0.01795 | 0.01034 | 0.1017 | 10.25 | 1.623 | 0.205 | 0.4182 | 1 | 1 | 0.01041 | 0.04706 | 0.09292 | 0.2045 | 0.9239 | 1.824 | json |
| t14_x15_u0_b36 | 14 | 15 | 0 | 36 | ![]() |
sqt(div(div(D,R),P)) | 59649 | 114294465 | o1(o2(o2(x,x),x)) | true | 136159 | 136159 | -0.9473 | 0.03516 | 0.9824 | 0.07822 | 0.2797 | -1 | 1 | 2 | 1 | 0.3546 | 0.006212 | 0.008264 | 0.01256 | -0.1418 | 1 | -5.697e-8 | 0.02847 | 0.02075 | 0.01432 | 0.1197 | 9.528 | 2 | 0.1851 | 0.3639 | 1 | 1 | 0.0148 | 0.07171 | 0.1382 | 0.1891 | 0.9167 | 1.767 | json |
| t14_x15_u0_b37 | 14 | 15 | 0 | 37 | ![]() |
sqt(div(pow(D,R),P)) | 59650 | 114294466 | o1(o2(o2(x,x),x)) | true | 136167 | 136167 | -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 |
| t14_x15_u0_b38 | 14 | 15 | 0 | 38 | ![]() |
sqt(div(mod(D,R),P)) | 59651 | 114294467 | o1(o2(o2(x,x),x)) | true | 136175 | 136175 | -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 |
| t14_x15_u0_b39 | 14 | 15 | 0 | 39 | ![]() |
sqt(div(lrg(D,R),P)) | 59652 | 114294468 | o1(o2(o2(x,x),x)) | true | 136183 | 136183 | -0.4098 | 0.408 | 0.6527 | 0.4184 | 0.6468 | -1 | 0.9997 | 2 | 1 | 2.542 | 0.02359 | 0.002383 | 0.03922 | 0.8165 | 1 | -0.0000117 | 0.05433 | 0.05623 | 0.02444 | 0.1563 | 3.986 | 2 | 0.06207 | 0.1299 | 1 | 1 | 0.02722 | 0.09749 | 0.2501 | 0.06507 | 0.233 | 0.5978 | json |
| t14_x15_u0_b40 | 14 | 15 | 0 | 40 | ![]() |
sqt(div(eql(D,R),P)) | 59653 | 114294469 | o1(o2(o2(x,x),x)) | true | 136191 | 136191 | 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 |
| t14_x15_u0_b41 | 14 | 15 | 0 | 41 | ![]() |
sqt(div(min(D,R),P)) | 59654 | 114294470 | o1(o2(o2(x,x),x)) | true | 136199 | 136199 | -0.8584 | 0.1016 | 0.9385 | 0.1798 | 0.4241 | -1 | 0.9984 | 1.998 | 1 | 0.8068 | 0.01681 | 0.01316 | 0.02369 | 0.1216 | 1 | -0.000001331 | 0.06199 | 0.04413 | 0.02942 | 0.1715 | 7.239 | 1.974 | 0.1667 | 0.3447 | 1 | 1 | 0.03151 | 0.1334 | 0.3069 | 0.1752 | 0.7417 | 1.707 | json |
| t14_x15_u0_b42 | 14 | 15 | 0 | 42 | ![]() |
sqt(div(dot(D,R),P)) | 59655 | 114294471 | o1(o2(o2(x,x),x)) | true | 136207 | 136207 | -0.9311 | 0.05554 | 0.9578 | 0.08141 | 0.2853 | -1 | 0.598 | 1.598 | 1 | 0.4679 | 0.02146 | 0.02094 | 0.03401 | 0.01238 | 1 | -0.00007213 | 0.1297 | 0.07063 | 0.04123 | 0.203 | 5.971 | 2.09 | 0.5208 | 1.593 | 1 | 1 | 0.03902 | 0.1235 | 0.1753 | 0.4793 | 1.518 | 2.153 | json |
| t14_x15_u0_b43 | 14 | 15 | 0 | 43 | ![]() |
sqt(div(dst(D,R),P)) | 59656 | 114294472 | o1(o2(o2(x,x),x)) | true | 136215 | 136215 | -0.3295 | 0.4375 | 0.7955 | 0.5914 | 0.769 | -1 | 1 | 2 | 1 | 2.425 | 0.0153 | 0.00005583 | 0.0142 | 0.9927 | 1 | -0.00001479 | 0.0305 | 0.01726 | 0.01515 | 0.1231 | 8.67 | 2 | 0.02596 | 0.05157 | 1 | 1 | 0.02022 | 0.08044 | 0.2691 | 0.03419 | 0.136 | 0.455 | json |
| t14_x15_u0_b44 | 14 | 15 | 0 | 44 | ![]() |
sqt(pow(add(D,R),P)) | 59657 | 114294473 | o1(o2(o2(x,x),x)) | true | 136223 | 136223 | -0.8146 | 0.1021 | 0.9813 | 0.3119 | 0.5585 | -1 | 1 | 2 | 1 | 0.6985 | 0.09627 | 0.01879 | 0.06284 | 0.6734 | 1 | 0.0002785 | 0.2473 | 0.1244 | 0.1111 | 0.3333 | 5.304 | 2.828 | 0.3689 | 0.7929 | 1 | 1 | 0.1098 | 0.359 | 0.6018 | 0.3522 | 1.151 | 1.93 | json |
| t14_x15_u0_b45 | 14 | 15 | 0 | 45 | ![]() |
sqt(pow(sub(D,R),P)) | 59658 | 114294474 | o1(o2(o2(x,x),x)) | true | 136231 | 136231 | -0.8464 | 0.08688 | 0.9798 | 0.2584 | 0.5083 | -1 | 1 | 2 | 1 | 0.617 | 0.09703 | 0.02104 | 0.06639 | 0.6436 | 1 | -0.000007453 | 0.2634 | 0.1318 | 0.1136 | 0.3371 | 5.078 | 2.828 | 0.4569 | 1.019 | 1 | 1 | 0.1245 | 0.3461 | 0.5065 | 0.4819 | 1.339 | 1.96 | json |
| t14_x15_u0_b46 | 14 | 15 | 0 | 46 | ![]() |
sqt(pow(mlt(D,R),P)) | 59659 | 114294475 | o1(o2(o2(x,x),x)) | true | 136239 | 136239 | -0.9058 | 0.05449 | 0.9848 | 0.1624 | 0.403 | -1 | 1 | 2 | 1 | 0.4066 | 0.02147 | 0.01747 | 0.02173 | 0.1029 | 1 | 6.557e-7 | 0.08194 | 0.04279 | 0.03848 | 0.1962 | 9.025 | 2.828 | 0.2397 | 0.5044 | 1 | 1 | 0.04463 | 0.1864 | 0.3999 | 0.2747 | 1.148 | 2.462 | json |
| t14_x15_u0_b47 | 14 | 15 | 0 | 47 | ![]() |
sqt(pow(div(D,R),P)) | 59660 | 114294476 | o1(o2(o2(x,x),x)) | true | 136247 | 136247 | -0.8999 | 0.05469 | 0.9907 | 0.1781 | 0.422 | -1 | 1 | 2 | 1 | 0.4189 | 0.02213 | 0.01839 | 0.02404 | 0.09227 | 1 | -0.000002967 | 0.08396 | 0.04457 | 0.03994 | 0.1999 | 8.314 | 2.828 | 0.2275 | 0.4713 | 1 | 1 | 0.04618 | 0.1969 | 0.4289 | 0.2592 | 1.106 | 2.408 | json |
| t14_x15_u0_b48 | 14 | 15 | 0 | 48 | ![]() |
sqt(pow(pow(D,R),P)) | 59661 | 114294477 | o1(o2(o2(x,x),x)) | true | 136255 | 136255 | -0.8775 | 0.0625 | 0.9975 | 0.2256 | 0.475 | -1 | 1 | 2 | 1 | 0.4061 | 0.02994 | 0.00002679 | 0.0161 | 0.9982 | 1 | -0.000008075 | 0.05957 | 0.03082 | 0.02969 | 0.1723 | 10.7 | 2 | 0.1328 | 0.2641 | 1 | 1 | 0.03979 | 0.163 | 0.3255 | 0.1764 | 0.7225 | 1.443 | json |
| t14_x15_u0_b49 | 14 | 15 | 0 | 49 | ![]() |
sqt(pow(mod(D,R),P)) | 59662 | 114294478 | o1(o2(o2(x,x),x)) | true | 136263 | 136263 | -0.875 | 0.0625 | 1 | 0.2344 | 0.4841 | -1 | 1 | 2 | 1 | 0.3373 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.1354 | 0.2709 | 1 | 1 | 0.04211 | 0.1684 | 0.3368 | 0.1796 | 0.7186 | 1.437 | json |
| t14_x15_u0_b50 | 14 | 15 | 0 | 50 | ![]() |
sqt(pow(lrg(D,R),P)) | 59663 | 114294479 | o1(o2(o2(x,x),x)) | true | 136271 | 136271 | -0.02829 | 0.5732 | 0.7686 | 0.714 | 0.845 | -1 | 1 | 2 | 1 | 2.927 | 0.1216 | 0.03102 | 0.1112 | 0.5936 | 1 | -0.0004752 | 0.3409 | 0.1767 | 0.1403 | 0.3745 | 3.369 | 2.828 | 0.2138 | 0.4774 | 1 | 1 | 0.1403 | 0.473 | 0.7347 | 0.1964 | 0.6624 | 1.029 | json |
| t14_x15_u0_b51 | 14 | 15 | 0 | 51 | ![]() |
sqt(pow(eql(D,R),P)) | 59664 | 114294480 | o1(o2(o2(x,x),x)) | true | 136279 | 136279 | -0.4687 | 0.0625 | 0.5313 | 0.3049 | 0.5521 | -1 | 0.9999 | 2 | 1 | 1.407 | 0.01624 | 1.509e-7 | 0.01193 | 1 | 1 | 1.166e-7 | 0.03191 | 0.01691 | 0.01609 | 0.1268 | 10.63 | 2 | 0.05326 | 0.1047 | 1 | 1 | 0.0219 | 0.08325 | 0.1593 | 0.07183 | 0.2731 | 0.5226 | json |
| t14_x15_u0_b52 | 14 | 15 | 0 | 52 | ![]() |
sqt(pow(min(D,R),P)) | 59665 | 114294481 | o1(o2(o2(x,x),x)) | true | 136287 | 136287 | -0.9609 | 0.01953 | 1 | 0.07656 | 0.2767 | -1 | 1 | 2 | 1 | 0.1388 | 0.01008 | 0.006047 | 0.008007 | 0.25 | 1 | 0 | 0.03376 | 0.01612 | 0.01606 | 0.1267 | 15.83 | 2.828 | 0.2106 | 0.441 | 1 | 1 | 0.02216 | 0.0913 | 0.2411 | 0.2895 | 1.193 | 3.149 | json |
| t14_x15_u0_b53 | 14 | 15 | 0 | 53 | ![]() |
sqt(pow(dot(D,R),P)) | 59666 | 114294482 | o1(o2(o2(x,x),x)) | true | 136295 | 136295 | -0.864 | 0.0853 | 0.9651 | 0.2133 | 0.4618 | -1 | 1 | 2 | 1 | 0.6462 | 0.05626 | 0.04786 | 0.05816 | 0.08068 | 1 | -0.0002097 | 0.3199 | 0.1229 | 0.1008 | 0.3174 | 5.458 | 2.828 | 0.4882 | 1.5 | 1 | 1 | 0.1154 | 0.3455 | 0.4565 | 0.5412 | 1.62 | 2.141 | json |
| t14_x15_u0_b54 | 14 | 15 | 0 | 54 | ![]() |
sqt(pow(dst(D,R),P)) | 59667 | 114294483 | o1(o2(o2(x,x),x)) | true | 136303 | 136303 | 0.8932 | 1 | 0.8932 | 0.0357 | 0.1889 | 0.0003085 | 1 | 0.9997 | 1 | 2.03 | 0.00158 | 0.001687 | 0.02789 | -0.03267 | 1 | -0.0001363 | 0.002081 | 0.01724 | 0.002489 | 0.04989 | 1.789 | 0.6501 | 0.09151 | 0.05829 | 1 | 1 | 0.003478 | 0.02817 | 0.0499 | 0.09742 | 0.7889 | 1.398 | json |
| t14_x15_u0_b55 | 14 | 15 | 0 | 55 | ![]() |
sqt(mod(add(D,R),P)) | 59668 | 114294484 | o1(o2(o2(x,x),x)) | true | 136311 | 136311 | -0.918 | 0.04956 | 0.9828 | 0.1305 | 0.3612 | -1 | 0.9655 | 1.966 | 1 | 0.4572 | 0.05426 | 0.0115 | 0.04136 | 0.6502 | 1 | 0.0003737 | 0.1425 | 0.07961 | 0.06404 | 0.2531 | 6.118 | 2.762 | 0.504 | 1.092 | 1 | 1 | 0.05562 | 0.1667 | 0.2555 | 0.4263 | 1.278 | 1.958 | json |
| t14_x15_u0_b56 | 14 | 15 | 0 | 56 | ![]() |
sqt(mod(sub(D,R),P)) | 59669 | 114294485 | o1(o2(o2(x,x),x)) | true | 136319 | 136319 | -0.9062 | 0.05688 | 0.98 | 0.1483 | 0.3851 | -1 | 1 | 2 | 1 | 0.5211 | 0.06326 | 0.01503 | 0.04935 | 0.616 | 1 | 0.00006099 | 0.1783 | 0.09597 | 0.07586 | 0.2754 | 5.581 | 2.805 | 0.528 | 1.202 | 1 | 1 | 0.07869 | 0.1971 | 0.2587 | 0.5307 | 1.329 | 1.745 | json |
| t14_x15_u0_b57 | 14 | 15 | 0 | 57 | ![]() |
sqt(mod(mlt(D,R),P)) | 59670 | 114294486 | o1(o2(o2(x,x),x)) | true | 136327 | 136327 | -0.9577 | 0.03125 | 0.9798 | 0.05603 | 0.2367 | -1 | 0.6744 | 1.674 | 1 | 0.3005 | 0.005046 | 0.006537 | 0.01055 | -0.1287 | 1 | 4.734e-7 | 0.02331 | 0.01834 | 0.01148 | 0.1071 | 10.16 | 1.674 | 0.2067 | 0.416 | 1 | 1 | 0.01177 | 0.05449 | 0.1203 | 0.2101 | 0.9724 | 2.147 | json |
| t14_x15_u0_b58 | 14 | 15 | 0 | 58 | ![]() |
sqt(mod(div(D,R),P)) | 59671 | 114294487 | o1(o2(o2(x,x),x)) | true | 136335 | 136335 | -0.9469 | 0.03125 | 0.9906 | 0.08924 | 0.2987 | -1 | 1 | 2 | 1 | 0.3101 | 0.007072 | 0.01024 | 0.01376 | -0.183 | 1 | -0.000001485 | 0.0337 | 0.02281 | 0.01712 | 0.1308 | 9.51 | 2.07 | 0.194 | 0.3776 | 1 | 1 | 0.01636 | 0.07837 | 0.1765 | 0.1833 | 0.8782 | 1.978 | json |
| t14_x15_u0_b59 | 14 | 15 | 0 | 59 | ![]() |
sqt(mod(pow(D,R),P)) | 59672 | 114294488 | o1(o2(o2(x,x),x)) | true | 136343 | 136343 | -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 |
| t14_x15_u0_b60 | 14 | 15 | 0 | 60 | ![]() |
sqt(mod(mod(D,R),P)) | 59673 | 114294489 | o1(o2(o2(x,x),x)) | true | 136351 | 136351 | -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 |
| t14_x15_u0_b61 | 14 | 15 | 0 | 61 | ![]() |
sqt(mod(lrg(D,R),P)) | 59674 | 114294490 | o1(o2(o2(x,x),x)) | true | 136359 | 136359 | 0.2914 | 0.7887 | 0.5414 | 0.3682 | 0.6068 | -1 | 1 | 2 | 1 | 3.598 | 0.0253 | 0.00174 | 0.07683 | 0.8713 | 1 | -0.00003901 | 0.04829 | 0.0753 | 0.02114 | 0.1454 | 1.892 | 1 | 0.07344 | 0.1312 | 1 | 1 | 0.02955 | 0.1619 | 0.5603 | 0.08025 | 0.4397 | 1.522 | json |
| t14_x15_u0_b62 | 14 | 15 | 0 | 62 | ![]() |
sqt(mod(eql(D,R),P)) | 59675 | 114294491 | o1(o2(o2(x,x),x)) | true | 136367 | 136367 | -0.125 | 0 | 0.125 | 0.1094 | 0.3307 | -1 | 0 | 1 | 1 | 0.5436 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.07256 | 0.1451 | 1 | 1 | 0.01053 | 0.04211 | 0.1684 | 0.09624 | 0.385 | 1.54 | json |
| t14_x15_u0_b63 | 14 | 15 | 0 | 63 | ![]() |
sqt(mod(min(D,R),P)) | 59676 | 114294492 | o1(o2(o2(x,x),x)) | true | 136375 | 136375 | -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 |
| t14_x15_u0_b64 | 14 | 15 | 0 | 64 | ![]() |
sqt(mod(dot(D,R),P)) | 59677 | 114294493 | o1(o2(o2(x,x),x)) | true | 136383 | 136383 | -0.9157 | 0.05928 | 0.9657 | 0.114 | 0.3376 | -1 | 0.7437 | 1.744 | 1 | 0.5154 | 0.03009 | 0.02624 | 0.04093 | 0.06831 | 1 | -0.0002198 | 0.1711 | 0.08362 | 0.05468 | 0.2338 | 5.712 | 2.407 | 0.4943 | 1.501 | 1 | 1 | 0.05734 | 0.1783 | 0.2384 | 0.5031 | 1.564 | 2.092 | json |
| t14_x15_u0_b65 | 14 | 15 | 0 | 65 | ![]() |
sqt(mod(dst(D,R),P)) | 59678 | 114294494 | o1(o2(o2(x,x),x)) | true | 136391 | 136391 | 0.6888 | 0.875 | 0.9388 | 0.4199 | 0.648 | -1 | 1 | 2 | 1 | 2.077 | 0.02198 | 0.001327 | 0.03003 | 0.8861 | 1 | -0.00004071 | 0.04902 | 0.03745 | 0.0224 | 0.1497 | 4.984 | 2.144 | 0.05551 | 0.1167 | 1 | 1 | 0.03153 | 0.1377 | 0.6208 | 0.07509 | 0.3278 | 1.478 | json |
| t14_x15_u0_b66 | 14 | 15 | 0 | 66 | ![]() |
sqt(lrg(add(D,R),P)) | 59679 | 114294495 | o1(o2(o2(x,x),x)) | true | 136399 | 136399 | 0.5017 | 0.5879 | 0.5017 | 0.2332 | 0.4829 | 0 | 1 | 1 | 1 | 1.707 | 0.002579 | 0.0001747 | 0.01255 | 0.8731 | 1 | -0.000009609 | 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 |
| t14_x15_u0_b67 | 14 | 15 | 0 | 67 | ![]() |
sqt(lrg(sub(D,R),P)) | 59680 | 114294496 | o1(o2(o2(x,x),x)) | true | 136407 | 136407 | 0.4996 | 0.572 | 0.4996 | 0.2344 | 0.4841 | 0 | 1 | 1 | 1 | 1.67 | 0.002223 | 0.0001586 | 0.01146 | 0.8668 | 1 | 0.000008897 | 0.003908 | 0.0088 | 0.00225 | 0.04743 | 4.138 | 0.97 | 0.01016 | 0.01668 | 1 | 1 | 0.003183 | 0.02133 | 0.08782 | 0.01358 | 0.09101 | 0.3747 | json |
| t14_x15_u0_b68 | 14 | 15 | 0 | 68 | ![]() |
sqt(lrg(mlt(D,R),P)) | 59681 | 114294497 | o1(o2(o2(x,x),x)) | true | 136415 | 136415 | 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.219e-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 |
| t14_x15_u0_b69 | 14 | 15 | 0 | 69 | ![]() |
sqt(lrg(div(D,R),P)) | 59682 | 114294498 | o1(o2(o2(x,x),x)) | true | 136423 | 136423 | 0.4999 | 0.6382 | 0.4999 | 0.2273 | 0.4767 | 0 | 1 | 1 | 1 | 1.893 | 0.00855 | 0.0003323 | 0.02338 | 0.9252 | 1 | -0.000007968 | 0.01689 | 0.027 | 0.008337 | 0.09131 | 3.906 | 1 | 0.03908 | 0.07432 | 1 | 1 | 0.01218 | 0.05236 | 0.1138 | 0.05359 | 0.2304 | 0.5009 | json |
| t14_x15_u0_b70 | 14 | 15 | 0 | 70 | ![]() |
sqt(lrg(pow(D,R),P)) | 59683 | 114294499 | o1(o2(o2(x,x),x)) | true | 136431 | 136431 | 0.8123 | 1 | 0.8123 | 0.1032 | 0.3212 | 0.000291 | 1 | 0.9997 | 1 | 2.093 | 0.02438 | 0.0002632 | 0.05304 | 0.9786 | 1 | 0.00009479 | 0.04507 | 0.05657 | 0.02183 | 0.1477 | 2.785 | 0.9997 | 0.2388 | 0.4368 | 1 | 1 | 0.0256 | 0.1005 | 0.04777 | 0.2481 | 0.9743 | 0.4629 | json |
| t14_x15_u0_b71 | 14 | 15 | 0 | 71 | ![]() |
sqt(lrg(mod(D,R),P)) | 59684 | 114294500 | o1(o2(o2(x,x),x)) | true | 136439 | 136439 | 0.5 | 0.5625 | 0.5 | 0.2365 | 0.4863 | 0 | 1 | 1 | 1 | 1.577 | 0.00467 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.008068 | 0.009787 | 0.004528 | 0.06729 | 5.654 | 0.9994 | 0.01975 | 0.03412 | 1 | 1 | 0.007036 | 0.03244 | 0.06598 | 0.02976 | 0.1372 | 0.279 | json |
| t14_x15_u0_b72 | 14 | 15 | 0 | 72 | ![]() |
sqt(lrg(lrg(D,R),P)) | 59685 | 114294501 | o1(o2(o2(x,x),x)) | true | 136447 | 136447 | 0.5046 | 0.5562 | 0.5046 | 0.2388 | 0.4886 | 0 | 1 | 1 | 1 | 1.512 | 0.0009964 | 0.000103 | 0.007439 | 0.8127 | 1 | 0.000002812 | 0.00144 | 0.004408 | 0.001045 | 0.03232 | 4.345 | 0.8606 | 0.004604 | 0.006033 | 1 | 1 | 0.001885 | 0.01652 | 0.08589 | 0.007897 | 0.0692 | 0.3597 | json |
| t14_x15_u0_b73 | 14 | 15 | 0 | 73 | ![]() |
sqt(lrg(eql(D,R),P)) | 59686 | 114294502 | o1(o2(o2(x,x),x)) | true | 136455 | 136455 | 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 |
| t14_x15_u0_b74 | 14 | 15 | 0 | 74 | ![]() |
sqt(lrg(min(D,R),P)) | 59687 | 114294503 | o1(o2(o2(x,x),x)) | true | 136463 | 136463 | 0.4824 | 0.5378 | 0.4824 | 0.2389 | 0.4888 | 0 | 1 | 1 | 1 | 1.486 | 0.002093 | 0.00005267 | 0.007983 | 0.9509 | 1 | -0.000002853 | 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 |
| t14_x15_u0_b75 | 14 | 15 | 0 | 75 | ![]() |
sqt(lrg(dot(D,R),P)) | 59688 | 114294504 | o1(o2(o2(x,x),x)) | true | 136471 | 136471 | 0.501 | 0.5466 | 0.501 | 0.2411 | 0.491 | 0 | 1 | 1 | 1 | 1.421 | 0.002838 | 0.001955 | 0.01021 | 0.1842 | 1 | -0.00001934 | 0.01541 | 0.01267 | 0.004689 | 0.06847 | 6.706 | 1.409 | 0.01988 | 0.06392 | 1 | 1 | 0.006801 | 0.0302 | 0.08809 | 0.02821 | 0.1253 | 0.3654 | json |
| t14_x15_u0_b76 | 14 | 15 | 0 | 76 | ![]() |
sqt(lrg(dst(D,R),P)) | 59689 | 114294505 | o1(o2(o2(x,x),x)) | true | 136479 | 136479 | 0.5703 | 0.6169 | 0.5703 | 0.2373 | 0.4872 | 0 | 1 | 1 | 1 | 1.36 | 0.001875 | 0.001644 | 0.008277 | 0.06575 | 1 | 0.000001304 | 0.01025 | 0.01038 | 0.003447 | 0.05871 | 7.093 | 1.404 | 0.01483 | 0.0432 | 1 | 1 | 0.005233 | 0.02504 | 0.08669 | 0.02205 | 0.1055 | 0.3653 | json |
| t14_x15_u0_b77 | 14 | 15 | 0 | 77 | ![]() |
sqt(eql(add(D,R),P)) | 59690 | 114294506 | o1(o2(o2(x,x),x)) | true | 136487 | 136487 | 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 |
| t14_x15_u0_b78 | 14 | 15 | 0 | 78 | ![]() |
sqt(eql(sub(D,R),P)) | 59691 | 114294507 | o1(o2(o2(x,x),x)) | true | 136495 | 136495 | 0.000082 | 0.0002441 | 0.000082 | 0.00004315 | 0.006569 | 0 | 0.6715 | 0.6715 | 1 | 0.003091 | 0.00006086 | 6.316e-7 | 0.000129 | 0.9795 | 0 | 2.395e-7 | 0.0001845 | 0.0002541 | 0.00006148 | 0.007841 | 60.78 | 0.6519 | 1.425 | 4.276 | 1 | 1 | 0 | 0 | 0.00003293 | 0 | 0 | 0.7631 | json |
| t14_x15_u0_b79 | 14 | 15 | 0 | 79 | ![]() |
sqt(eql(mlt(D,R),P)) | 59692 | 114294508 | o1(o2(o2(x,x),x)) | true | 136503 | 136503 | 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 |
| t14_x15_u0_b80 | 14 | 15 | 0 | 80 | ![]() |
sqt(eql(div(D,R),P)) | 59693 | 114294509 | o1(o2(o2(x,x),x)) | true | 136511 | 136511 | 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 |
| t14_x15_u0_b81 | 14 | 15 | 0 | 81 | ![]() |
sqt(eql(pow(D,R),P)) | 59694 | 114294510 | o1(o2(o2(x,x),x)) | true | 136519 | 136519 | 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 |
| t14_x15_u0_b82 | 14 | 15 | 0 | 82 | ![]() |
sqt(eql(mod(D,R),P)) | 59695 | 114294511 | o1(o2(o2(x,x),x)) | true | 136527 | 136527 | 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 |
| t14_x15_u0_b83 | 14 | 15 | 0 | 83 | ![]() |
sqt(eql(lrg(D,R),P)) | 59696 | 114294512 | o1(o2(o2(x,x),x)) | true | 136535 | 136535 | 0.04915 | 0.1394 | 0.04915 | 0.03205 | 0.179 | 0 | 0.9997 | 0.9997 | 1 | 0.8158 | 0.001966 | 0.000237 | 0.01068 | 0.7849 | 1 | 0.000008215 | 0.003176 | 0.007693 | 0.002089 | 0.04571 | 4.278 | 0.9994 | 0.06875 | 0.09911 | 1 | 1 | 0.004129 | 0.02915 | 0.07178 | 0.1288 | 0.9096 | 2.24 | json |
| t14_x15_u0_b84 | 14 | 15 | 0 | 84 | ![]() |
sqt(eql(eql(D,R),P)) | 59697 | 114294513 | o1(o2(o2(x,x),x)) | true | 136543 | 136543 | 0.06254 | 0.125 | 0.06254 | 0.04512 | 0.2124 | 0 | 0.9999 | 0.9999 | 1 | 0.8129 | 0.0007211 | 1.509e-7 | 0.007966 | 0.9996 | 1 | 1.161e-7 | 0.00007655 | 0.001972 | 0.0006579 | 0.02565 | 3.22 | 0.4319 | 0.01598 | 0.001697 | 1 | 1 | 0.001851 | 0.02408 | 0.06599 | 0.04102 | 0.5337 | 1.463 | json |
| t14_x15_u0_b85 | 14 | 15 | 0 | 85 | ![]() |
sqt(eql(min(D,R),P)) | 59698 | 114294514 | o1(o2(o2(x,x),x)) | true | 136551 | 136551 | 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 |
| t14_x15_u0_b86 | 14 | 15 | 0 | 86 | ![]() |
sqt(eql(dot(D,R),P)) | 59699 | 114294515 | o1(o2(o2(x,x),x)) | true | 136559 | 136559 | 0.00002339 | 0.00006104 | 0.00002339 | 0.00001388 | 0.003725 | 0 | 0.6669 | 0.6669 | 1 | 0.001004 | 0.00002864 | 0.00002864 | 0.00008242 | 0 | 0 | 0 | 0.0002864 | 0.0001931 | 0.00005727 | 0.007568 | 91.82 | 0.9432 | 4.128 | 20.64 | 1 | 1 | 0 | 0 | 0.00001246 | 0 | 0 | 0.8978 | json |



































































































