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_x19_u5_b14 | 12 | 19 | 5 | 14 | ![]() |
sgn(sub(R,div(P,D))) | 35900 | 98215850 | o1(o2(x,o2(x,x))) | true | 117047 | 117047 | 0.05469 | 0.5288 | 0.7002 | 0.5799 | 0.7615 | -0.9994 | 1 | 1.999 | 1 | 3.47 | 0.2432 | 0.0004214 | 0.2326 | 0.9965 | 1 | 0.000348 | 0.4509 | 0.2503 | 0.1895 | 0.4353 | 1.871 | 1.999 | 0.4201 | 0.7775 | 1 | 1 | 0.2598 | 0.9248 | 0.2831 | 0.448 | 1.595 | 0.4881 | json |
| t12_x19_u5_b15 | 12 | 19 | 5 | 15 | ![]() |
sgn(sub(R,pow(P,D))) | 35901 | 98215851 | o1(o2(x,o2(x,x))) | true | 117055 | 117055 | -0.9051 | 0.04095 | 0.9463 | 0.1057 | 0.3251 | -1 | 0.9994 | 1.999 | 1 | 1.071 | 0.02344 | 0.0009791 | 0.03405 | 0.9198 | 1 | -0.0004509 | 0.04395 | 0.0336 | 0.02324 | 0.1524 | 4.477 | 1.999 | 0.231 | 0.4159 | 1 | 1 | 0.02917 | 0.1273 | 0.2218 | 0.276 | 1.205 | 2.099 | json |
| t12_x19_u5_b16 | 12 | 19 | 5 | 16 | ![]() |
sgn(sub(R,mod(P,D))) | 35902 | 98215852 | o1(o2(x,o2(x,x))) | true | 117063 | 117063 | -0.02295 | 0.4868 | 0.7351 | 0.6359 | 0.7974 | -1 | 1 | 2 | 1 | 3.927 | 0.09542 | 0.008598 | 0.168 | 0.8347 | 1 | -0.00003881 | 0.2494 | 0.1835 | 0.07581 | 0.2753 | 1.639 | 2 | 0.1636 | 0.3922 | 1 | 1 | 0.07442 | 0.4784 | 1.106 | 0.117 | 0.7524 | 1.739 | json |
| t12_x19_u5_b17 | 12 | 19 | 5 | 17 | ![]() |
sgn(sub(R,lrg(P,D))) | 35903 | 98215853 | o1(o2(x,o2(x,x))) | true | 117071 | 117071 | -0.4922 | 0.2529 | 0.8613 | 0.5656 | 0.7521 | -1 | 1 | 2 | 1 | 2.609 | 0.01075 | 0.004714 | 0.05638 | 0.3903 | 1 | 0.00001856 | 0.0135 | 0.01976 | 0.01228 | 0.1108 | 1.966 | 1.999 | 0.02734 | 0.02388 | 1 | 1 | 0.02672 | 0.2507 | 0.6633 | 0.04724 | 0.4433 | 1.173 | json |
| t12_x19_u5_b18 | 12 | 19 | 5 | 18 | ![]() |
sgn(sub(R,eql(P,D))) | 35904 | 98215854 | o1(o2(x,o2(x,x))) | true | 117079 | 117079 | -0.03516 | 0.4819 | 0.7206 | 0.6148 | 0.7841 | -1 | 1 | 2 | 1 | 4.005 | 0.007889 | 0.009769 | 0.1034 | -0.1065 | 1 | -0.00003562 | 0.001037 | 0.02513 | 0.006974 | 0.08351 | 0.8079 | 0.2338 | 0.02872 | 0.001686 | 1 | 1 | 0.03492 | 0.4498 | 1.145 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x19_u5_b19 | 12 | 19 | 5 | 19 | ![]() |
sgn(sub(R,min(P,D))) | 35905 | 98215855 | o1(o2(x,o2(x,x))) | true | 117087 | 117087 | 0.4588 | 0.7274 | 0.837 | 0.5661 | 0.7524 | -1 | 1 | 2 | 1 | 2.78 | 0.0411 | 0.00458 | 0.08588 | 0.7995 | 1 | 0.00005996 | 0.07539 | 0.07219 | 0.03829 | 0.1957 | 2.278 | 1.999 | 0.08069 | 0.1332 | 1 | 1 | 0.05123 | 0.3314 | 0.6997 | 0.09049 | 0.5854 | 1.236 | json |
| t12_x19_u5_b20 | 12 | 19 | 5 | 20 | ![]() |
sgn(sub(R,dot(P,D))) | 35906 | 98215856 | o1(o2(x,o2(x,x))) | true | 117095 | 117095 | 0.1019 | 0.5623 | 0.5886 | 0.4318 | 0.6572 | -1 | 1 | 2 | 1 | 4.316 | 0.1242 | 0.1232 | 0.2709 | 0.00377 | 1 | -0.00332 | 0.7775 | 0.3371 | 0.174 | 0.4172 | 1.54 | 2.827 | 0.5729 | 1.8 | 1 | 1 | 0.2491 | 0.8429 | 0.5319 | 0.5768 | 1.952 | 1.232 | json |
| t12_x19_u5_b21 | 12 | 19 | 5 | 21 | ![]() |
sgn(sub(R,dst(P,D))) | 35907 | 98215857 | o1(o2(x,o2(x,x))) | true | 117103 | 117103 | -0.9918 | 0.003418 | 0.9953 | 0.009705 | 0.09852 | -1 | 0.9988 | 1.999 | 1 | 0.1318 | 0.0002623 | 0.0002832 | 0.002316 | -0.0384 | 1 | 3.398e-10 | 0.0009394 | 0.001664 | 0.0005396 | 0.02323 | 10.03 | 0.7665 | 0.05621 | 0.09679 | 1 | 1 | 0.001428 | 0.01392 | 0.03515 | 0.1471 | 1.434 | 3.621 | json |
| t12_x19_u5_b22 | 12 | 19 | 5 | 22 | ![]() |
sgn(mlt(R,add(P,D))) | 35908 | 98215858 | o1(o2(x,o2(x,x))) | true | 117111 | 117111 | -0.05078 | 0.4727 | 0.7206 | 0.6136 | 0.7833 | -1 | 1 | 2 | 1 | 4.003 | 0.02114 | 0.009769 | 0.1102 | 0.3678 | 1 | -0.00007274 | 0.028 | 0.03912 | 0.01876 | 0.137 | 1.243 | 2 | 0.05037 | 0.04563 | 1 | 1 | 0.05198 | 0.4927 | 1.206 | 0.08472 | 0.803 | 1.965 | json |
| t12_x19_u5_b23 | 12 | 19 | 5 | 23 | ![]() |
sgn(mlt(R,sub(P,D))) | 35909 | 98215859 | o1(o2(x,o2(x,x))) | true | 117119 | 117119 | -0.05078 | 0.4724 | 0.7234 | 0.6177 | 0.7859 | -1 | 1 | 2 | 1 | 3.991 | 0.02088 | 0.00973 | 0.1086 | 0.3642 | 1 | -0.00007274 | 0.02795 | 0.03876 | 0.01883 | 0.1372 | 1.264 | 2 | 0.04955 | 0.04525 | 1 | 1 | 0.05072 | 0.4857 | 1.245 | 0.08211 | 0.7864 | 2.016 | json |
| t12_x19_u5_b24 | 12 | 19 | 5 | 24 | ![]() |
sgn(mlt(R,mlt(P,D))) | 35910 | 98215860 | o1(o2(x,o2(x,x))) | true | 117127 | 117127 | -0.007812 | 0.4894 | 0.6572 | 0.5448 | 0.7381 | -1 | 1 | 2 | 1 | 4.314 | 0.1774 | 0.008708 | 0.195 | 0.9064 | 1 | -0.00004707 | 0.346 | 0.2097 | 0.1481 | 0.3848 | 1.974 | 2 | 0.3416 | 0.635 | 1 | 1 | 0.2005 | 0.8966 | 1.056 | 0.3681 | 1.646 | 1.938 | json |
| t12_x19_u5_b25 | 12 | 19 | 5 | 25 | ![]() |
sgn(mlt(R,div(P,D))) | 35911 | 98215861 | o1(o2(x,o2(x,x))) | true | 117135 | 117135 | -0.007812 | 0.4894 | 0.6572 | 0.5448 | 0.7381 | -1 | 1 | 2 | 1 | 4.314 | 0.1774 | 0.008708 | 0.195 | 0.9064 | 1 | -0.00004707 | 0.346 | 0.2097 | 0.1481 | 0.3848 | 1.974 | 2 | 0.3416 | 0.635 | 1 | 1 | 0.2005 | 0.8966 | 1.056 | 0.3681 | 1.646 | 1.938 | json |
| t12_x19_u5_b26 | 12 | 19 | 5 | 26 | ![]() |
sgn(mlt(R,pow(P,D))) | 35912 | 98215862 | o1(o2(x,o2(x,x))) | true | 117143 | 117143 | -0.5117 | 0.2458 | 0.8202 | 0.4985 | 0.7061 | -1 | 1 | 2 | 1 | 2.865 | 0.007718 | 0.005036 | 0.06034 | 0.2103 | 1 | -0.00005418 | 0.007293 | 0.02086 | 0.009113 | 0.09546 | 1.582 | 1 | 0.02558 | 0.01463 | 1 | 1 | 0.02303 | 0.2576 | 0.6696 | 0.0462 | 0.5168 | 1.343 | json |
| t12_x19_u5_b27 | 12 | 19 | 5 | 27 | ![]() |
sgn(mlt(R,mod(P,D))) | 35913 | 98215863 | o1(o2(x,o2(x,x))) | true | 117151 | 117151 | -0.04159 | 0.4633 | 0.5731 | 0.4744 | 0.6888 | -1 | 1 | 2 | 1 | 4.304 | 0.1132 | 0.007782 | 0.2034 | 0.8714 | 1 | -0.00006284 | 0.268 | 0.256 | 0.07963 | 0.2822 | 1.387 | 1.016 | 0.2551 | 0.5648 | 1 | 1 | 0.108 | 0.3805 | 0.9142 | 0.2277 | 0.8021 | 1.927 | json |
| t12_x19_u5_b28 | 12 | 19 | 5 | 28 | ![]() |
sgn(mlt(R,lrg(P,D))) | 35914 | 98215864 | o1(o2(x,o2(x,x))) | true | 117159 | 117159 | -0.04297 | 0.26 | 0.3592 | 0.2949 | 0.5431 | -1 | 1 | 2 | 1 | 3.329 | 0.007443 | 0.005036 | 0.06042 | 0.1929 | 1 | -0.00005418 | 0.007286 | 0.02087 | 0.008831 | 0.09397 | 1.555 | 1 | 0.04231 | 0.0247 | 1 | 1 | 0.02226 | 0.2469 | 0.5876 | 0.07546 | 0.8372 | 1.992 | json |
| t12_x19_u5_b29 | 12 | 19 | 5 | 29 | ![]() |
sgn(mlt(R,eql(P,D))) | 35915 | 98215865 | o1(o2(x,o2(x,x))) | true | 117167 | 117167 | 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_x19_u5_b30 | 12 | 19 | 5 | 30 | ![]() |
sgn(mlt(R,min(P,D))) | 35916 | 98215866 | o1(o2(x,o2(x,x))) | true | 117175 | 117175 | -0.007813 | 0.4914 | 0.7 | 0.5942 | 0.7708 | -1 | 1 | 2 | 1 | 4.112 | 0.09327 | 0.009539 | 0.1491 | 0.8144 | 1 | -0.00002713 | 0.1763 | 0.1222 | 0.08059 | 0.2839 | 1.904 | 2 | 0.173 | 0.2968 | 1 | 1 | 0.1235 | 0.6966 | 1.122 | 0.2078 | 1.172 | 1.889 | json |
| t12_x19_u5_b31 | 12 | 19 | 5 | 31 | ![]() |
sgn(mlt(R,dot(P,D))) | 35917 | 98215867 | o1(o2(x,o2(x,x))) | true | 117183 | 117183 | 0.00736 | 0.5037 | 0.7027 | 0.5963 | 0.7722 | -1 | 1 | 2 | 1 | 4.101 | 0.1205 | 0.1209 | 0.2368 | -0.001543 | 1 | -0.00004588 | 0.6907 | 0.3118 | 0.1853 | 0.4304 | 1.818 | 2.827 | 0.4048 | 1.158 | 1 | 1 | 0.2664 | 1.098 | 1.141 | 0.4467 | 1.841 | 1.913 | json |
| t12_x19_u5_b32 | 12 | 19 | 5 | 32 | ![]() |
sgn(mlt(R,dst(P,D))) | 35918 | 98215868 | o1(o2(x,o2(x,x))) | true | 117191 | 117191 | -0.03516 | 0.4819 | 0.7206 | 0.6148 | 0.7841 | -1 | 1 | 2 | 1 | 4.005 | 0.007889 | 0.009769 | 0.1034 | -0.1065 | 1 | -0.00003562 | 0.001037 | 0.02513 | 0.006974 | 0.08351 | 0.8079 | 0.2338 | 0.02872 | 0.001686 | 1 | 1 | 0.03492 | 0.4498 | 1.145 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x19_u5_b33 | 12 | 19 | 5 | 33 | ![]() |
sgn(div(R,add(P,D))) | 35919 | 98215869 | o1(o2(x,o2(x,x))) | true | 117199 | 117199 | -0.05078 | 0.4727 | 0.7206 | 0.6136 | 0.7833 | -1 | 1 | 2 | 1 | 4.003 | 0.02114 | 0.009769 | 0.1102 | 0.3678 | 1 | -0.00007274 | 0.028 | 0.03912 | 0.01876 | 0.137 | 1.243 | 2 | 0.05037 | 0.04563 | 1 | 1 | 0.05198 | 0.4927 | 1.206 | 0.08472 | 0.803 | 1.965 | json |
| t12_x19_u5_b34 | 12 | 19 | 5 | 34 | ![]() |
sgn(div(R,sub(P,D))) | 35920 | 98215870 | o1(o2(x,o2(x,x))) | true | 117207 | 117207 | -0.05078 | 0.4724 | 0.7234 | 0.6177 | 0.7859 | -1 | 1 | 2 | 1 | 3.991 | 0.02088 | 0.00973 | 0.1086 | 0.3642 | 1 | -0.00007274 | 0.02795 | 0.03876 | 0.01883 | 0.1372 | 1.264 | 2 | 0.04955 | 0.04525 | 1 | 1 | 0.05072 | 0.4857 | 1.245 | 0.08211 | 0.7864 | 2.016 | json |
| t12_x19_u5_b35 | 12 | 19 | 5 | 35 | ![]() |
sgn(div(R,mlt(P,D))) | 35921 | 98215871 | o1(o2(x,o2(x,x))) | true | 117215 | 117215 | -0.007812 | 0.4961 | 0.6979 | 0.5879 | 0.7667 | -1 | 1 | 2 | 1 | 4.14 | 0.1911 | 0.00911 | 0.2039 | 0.909 | 1 | -0.00004707 | 0.373 | 0.2243 | 0.1587 | 0.3983 | 1.954 | 2 | 0.3406 | 0.6344 | 1 | 1 | 0.2201 | 0.9793 | 1.186 | 0.3744 | 1.666 | 2.018 | json |
| t12_x19_u5_b36 | 12 | 19 | 5 | 36 | ![]() |
sgn(div(R,div(P,D))) | 35922 | 98215872 | o1(o2(x,o2(x,x))) | true | 117223 | 117223 | -0.007812 | 0.4961 | 0.6979 | 0.5879 | 0.7667 | -1 | 1 | 2 | 1 | 4.14 | 0.1911 | 0.00911 | 0.2039 | 0.909 | 1 | -0.00004707 | 0.373 | 0.2243 | 0.1587 | 0.3983 | 1.954 | 2 | 0.3406 | 0.6344 | 1 | 1 | 0.2201 | 0.9793 | 1.186 | 0.3744 | 1.666 | 2.018 | json |
| t12_x19_u5_b37 | 12 | 19 | 5 | 37 | ![]() |
sgn(div(R,pow(P,D))) | 35923 | 98215873 | o1(o2(x,o2(x,x))) | true | 117231 | 117231 | -0.5117 | 0.2273 | 0.8186 | 0.4948 | 0.7034 | -1 | 1 | 2 | 1 | 2.917 | 0.007915 | 0.005055 | 0.06202 | 0.2205 | 1 | -0.00005418 | 0.007329 | 0.02125 | 0.009124 | 0.09552 | 1.54 | 1 | 0.02621 | 0.01481 | 1 | 1 | 0.02363 | 0.2614 | 0.6554 | 0.04776 | 0.5283 | 1.325 | json |
| t12_x19_u5_b38 | 12 | 19 | 5 | 38 | ![]() |
sgn(div(R,mod(P,D))) | 35924 | 98215874 | o1(o2(x,o2(x,x))) | true | 117239 | 117239 | -0.05567 | 0.4702 | 0.7206 | 0.6129 | 0.7829 | -1 | 1 | 2 | 1 | 4.003 | 0.2255 | 0.009768 | 0.2177 | 0.917 | 1 | -0.00007853 | 0.5413 | 0.2626 | 0.1879 | 0.4334 | 1.991 | 1.999 | 0.3839 | 0.8832 | 1 | 1 | 0.1929 | 0.5618 | 1.213 | 0.3148 | 0.9166 | 1.978 | json |
| t12_x19_u5_b39 | 12 | 19 | 5 | 39 | ![]() |
sgn(div(R,lrg(P,D))) | 35925 | 98215875 | o1(o2(x,o2(x,x))) | true | 117247 | 117247 | -0.03516 | 0.4819 | 0.7206 | 0.6148 | 0.7841 | -1 | 1 | 2 | 1 | 4.005 | 0.007889 | 0.009769 | 0.1034 | -0.1065 | 1 | -0.00003562 | 0.001037 | 0.02513 | 0.006974 | 0.08351 | 0.8079 | 0.2338 | 0.02872 | 0.001686 | 1 | 1 | 0.03492 | 0.4498 | 1.145 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x19_u5_b40 | 12 | 19 | 5 | 40 | ![]() |
sgn(div(R,eql(P,D))) | 35926 | 98215876 | o1(o2(x,o2(x,x))) | true | 117255 | 117255 | -0.03516 | 0.4819 | 0.7206 | 0.6148 | 0.7841 | -1 | 1 | 2 | 1 | 4.005 | 0.007889 | 0.009769 | 0.1034 | -0.1065 | 1 | -0.00003562 | 0.001037 | 0.02513 | 0.006974 | 0.08351 | 0.8079 | 0.2338 | 0.02872 | 0.001686 | 1 | 1 | 0.03492 | 0.4498 | 1.145 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x19_u5_b41 | 12 | 19 | 5 | 41 | ![]() |
sgn(div(R,min(P,D))) | 35927 | 98215877 | o1(o2(x,o2(x,x))) | true | 117263 | 117263 | -0.01172 | 0.4939 | 0.721 | 0.6167 | 0.7853 | -1 | 1 | 2 | 1 | 4.006 | 0.1034 | 0.00973 | 0.1532 | 0.8279 | 1 | -0.00003283 | 0.1966 | 0.1294 | 0.08965 | 0.2994 | 1.955 | 2 | 0.1834 | 0.3187 | 1 | 1 | 0.1372 | 0.7481 | 1.195 | 0.2225 | 1.213 | 1.938 | json |
| t12_x19_u5_b42 | 12 | 19 | 5 | 42 | ![]() |
sgn(div(R,dot(P,D))) | 35928 | 98215878 | o1(o2(x,o2(x,x))) | true | 117271 | 117271 | 0.009722 | 0.5046 | 0.712 | 0.6063 | 0.7787 | -1 | 1 | 2 | 1 | 4.054 | 0.1341 | 0.1344 | 0.2411 | -0.001224 | 1 | -0.00004588 | 0.8411 | 0.346 | 0.2104 | 0.4587 | 1.903 | 2.828 | 0.4428 | 1.387 | 1 | 1 | 0.2834 | 1.12 | 1.165 | 0.4674 | 1.847 | 1.922 | json |
| t12_x19_u5_b43 | 12 | 19 | 5 | 43 | ![]() |
sgn(div(R,dst(P,D))) | 35929 | 98215879 | o1(o2(x,o2(x,x))) | true | 117279 | 117279 | -0.03516 | 0.4819 | 0.7206 | 0.6148 | 0.7841 | -1 | 1 | 2 | 1 | 4.005 | 0.007889 | 0.009769 | 0.1034 | -0.1065 | 1 | -0.00003562 | 0.001037 | 0.02513 | 0.006974 | 0.08351 | 0.8079 | 0.2338 | 0.02872 | 0.001686 | 1 | 1 | 0.03492 | 0.4498 | 1.145 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x19_u5_b44 | 12 | 19 | 5 | 44 | ![]() |
sgn(pow(R,add(P,D))) | 35930 | 98215880 | o1(o2(x,o2(x,x))) | true | 117287 | 117287 | -0.03516 | 0.4819 | 0.7206 | 0.6148 | 0.7841 | -1 | 1 | 2 | 1 | 4.005 | 0.007889 | 0.009769 | 0.1034 | -0.1065 | 1 | -0.00003562 | 0.001037 | 0.02513 | 0.006974 | 0.08351 | 0.8079 | 0.2338 | 0.02872 | 0.001686 | 1 | 1 | 0.03492 | 0.4498 | 1.145 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x19_u5_b45 | 12 | 19 | 5 | 45 | ![]() |
sgn(pow(R,sub(P,D))) | 35931 | 98215881 | o1(o2(x,o2(x,x))) | true | 117295 | 117295 | -0.03516 | 0.4819 | 0.7206 | 0.6148 | 0.7841 | -1 | 1 | 2 | 1 | 4.005 | 0.007889 | 0.009769 | 0.1034 | -0.1065 | 1 | -0.00003562 | 0.001037 | 0.02513 | 0.006974 | 0.08351 | 0.8079 | 0.2338 | 0.02872 | 0.001686 | 1 | 1 | 0.03492 | 0.4498 | 1.145 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x19_u5_b46 | 12 | 19 | 5 | 46 | ![]() |
sgn(pow(R,mlt(P,D))) | 35932 | 98215882 | o1(o2(x,o2(x,x))) | true | 117303 | 117303 | 0.03516 | 0.5193 | 0.7319 | 0.6299 | 0.7937 | -1 | 1 | 2 | 1 | 3.948 | 0.007583 | 0.009328 | 0.09916 | -0.1032 | 1 | -0.00002421 | 0.0009919 | 0.0241 | 0.007079 | 0.08414 | 0.8485 | 0.2338 | 0.02685 | 0.001575 | 1 | 1 | 0.03293 | 0.4241 | 1.153 | 0.05227 | 0.6732 | 1.83 | json |
| t12_x19_u5_b47 | 12 | 19 | 5 | 47 | ![]() |
sgn(pow(R,div(P,D))) | 35933 | 98215883 | o1(o2(x,o2(x,x))) | true | 117311 | 117311 | 0.02021 | 0.5089 | 0.723 | 0.6215 | 0.7883 | -1 | 1 | 2 | 1 | 4.006 | 0.02415 | 0.009033 | 0.1167 | 0.4555 | 1 | -0.00002208 | 0.04578 | 0.0638 | 0.01957 | 0.1399 | 1.199 | 1 | 0.05339 | 0.07367 | 1 | 1 | 0.0392 | 0.4214 | 1.139 | 0.06308 | 0.678 | 1.832 | json |
| t12_x19_u5_b48 | 12 | 19 | 5 | 48 | ![]() |
sgn(pow(R,pow(P,D))) | 35934 | 98215884 | o1(o2(x,o2(x,x))) | true | 117319 | 117319 | -0.4941 | 0.2461 | 0.8432 | 0.5424 | 0.7364 | -1 | 1 | 2 | 1 | 2.781 | 0.01456 | 0.004878 | 0.0603 | 0.4981 | 1 | -0.00005133 | 0.02143 | 0.02555 | 0.01581 | 0.1257 | 2.085 | 2 | 0.03584 | 0.03951 | 1 | 1 | 0.03133 | 0.2808 | 0.706 | 0.05777 | 0.5177 | 1.302 | json |
| t12_x19_u5_b49 | 12 | 19 | 5 | 49 | ![]() |
sgn(pow(R,mod(P,D))) | 35935 | 98215885 | o1(o2(x,o2(x,x))) | true | 117327 | 117327 | 0.1737 | 0.5889 | 0.7542 | 0.6319 | 0.7949 | -1 | 1 | 2 | 1 | 3.776 | 0.2741 | 0.007782 | 0.2373 | 0.9448 | 1 | -0.00001994 | 0.673 | 0.3228 | 0.2256 | 0.4749 | 2.002 | 1.999 | 0.446 | 1.065 | 1 | 1 | 0.2363 | 0.542 | 0.972 | 0.374 | 0.8578 | 1.538 | json |
| t12_x19_u5_b50 | 12 | 19 | 5 | 50 | ![]() |
sgn(pow(R,lrg(P,D))) | 35936 | 98215886 | o1(o2(x,o2(x,x))) | true | 117335 | 117335 | 0.457 | 0.7292 | 0.8431 | 0.5759 | 0.7589 | -1 | 1 | 2 | 1 | 2.809 | 0.01288 | 0.005036 | 0.06164 | 0.4379 | 1 | -0.00005418 | 0.01711 | 0.02278 | 0.01411 | 0.1188 | 1.927 | 1.999 | 0.03111 | 0.02972 | 1 | 1 | 0.03004 | 0.2806 | 0.6611 | 0.05216 | 0.4872 | 1.148 | json |
| t12_x19_u5_b51 | 12 | 19 | 5 | 51 | ![]() |
sgn(pow(R,eql(P,D))) | 35937 | 98215887 | o1(o2(x,o2(x,x))) | true | 117343 | 117343 | 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_x19_u5_b52 | 12 | 19 | 5 | 52 | ![]() |
sgn(pow(R,min(P,D))) | 35938 | 98215888 | o1(o2(x,o2(x,x))) | true | 117351 | 117351 | 5.2e-7 | 0.5007 | 0.7277 | 0.6255 | 0.7909 | -1 | 1 | 2 | 1 | 3.978 | 0.0158 | 0.009539 | 0.105 | 0.247 | 1 | -0.00002992 | 0.01749 | 0.03327 | 0.01431 | 0.1196 | 1.139 | 2 | 0.04051 | 0.02797 | 1 | 1 | 0.04411 | 0.4645 | 1.153 | 0.07051 | 0.7425 | 1.844 | json |
| t12_x19_u5_b53 | 12 | 19 | 5 | 53 | ![]() |
sgn(pow(R,dot(P,D))) | 35939 | 98215889 | o1(o2(x,o2(x,x))) | true | 117359 | 117359 | -0.02737 | 0.4867 | 0.7205 | 0.6152 | 0.7844 | -1 | 1 | 2 | 1 | 4.005 | 0.03274 | 0.03461 | 0.1278 | -0.02774 | 1 | -0.00003573 | 0.2805 | 0.08877 | 0.05102 | 0.2259 | 1.767 | 2.827 | 0.1095 | 0.456 | 1 | 1 | 0.05992 | 0.466 | 1.153 | 0.0974 | 0.7574 | 1.874 | json |
| t12_x19_u5_b54 | 12 | 19 | 5 | 54 | ![]() |
sgn(pow(R,dst(P,D))) | 35940 | 98215890 | o1(o2(x,o2(x,x))) | true | 117367 | 117367 | -0.03516 | 0.4819 | 0.7206 | 0.6148 | 0.7841 | -1 | 1 | 2 | 1 | 4.005 | 0.007889 | 0.009769 | 0.1034 | -0.1065 | 1 | -0.00003562 | 0.001037 | 0.02513 | 0.006974 | 0.08351 | 0.8079 | 0.2338 | 0.02872 | 0.001686 | 1 | 1 | 0.03492 | 0.4498 | 1.145 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x19_u5_b55 | 12 | 19 | 5 | 55 | ![]() |
sgn(mod(R,add(P,D))) | 35941 | 98215891 | o1(o2(x,o2(x,x))) | true | 117375 | 117375 | -0.03516 | 0.4819 | 0.7206 | 0.6148 | 0.7841 | -1 | 1 | 2 | 1 | 4.005 | 0.007889 | 0.009769 | 0.1034 | -0.1065 | 1 | -0.00003562 | 0.001037 | 0.02513 | 0.006974 | 0.08351 | 0.8079 | 0.2338 | 0.02872 | 0.001686 | 1 | 1 | 0.03492 | 0.4498 | 1.145 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x19_u5_b56 | 12 | 19 | 5 | 56 | ![]() |
sgn(mod(R,sub(P,D))) | 35942 | 98215892 | o1(o2(x,o2(x,x))) | true | 117383 | 117383 | -0.03516 | 0.4819 | 0.7206 | 0.6148 | 0.7841 | -1 | 1 | 2 | 1 | 4.005 | 0.007889 | 0.009769 | 0.1034 | -0.1065 | 1 | -0.00003562 | 0.001037 | 0.02513 | 0.006974 | 0.08351 | 0.8079 | 0.2338 | 0.02872 | 0.001686 | 1 | 1 | 0.03492 | 0.4498 | 1.145 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x19_u5_b57 | 12 | 19 | 5 | 57 | ![]() |
sgn(mod(R,mlt(P,D))) | 35943 | 98215893 | o1(o2(x,o2(x,x))) | true | 117391 | 117391 | -0.08984 | 0.4524 | 0.7246 | 0.6129 | 0.7829 | -1 | 1 | 2 | 1 | 3.976 | 0.008165 | 0.009328 | 0.1024 | -0.06649 | 1 | -0.00002421 | 0.00102 | 0.02486 | 0.007005 | 0.0837 | 0.8172 | 0.2338 | 0.02854 | 0.001664 | 1 | 1 | 0.03382 | 0.4354 | 1.062 | 0.05519 | 0.7103 | 1.733 | json |
| t12_x19_u5_b58 | 12 | 19 | 5 | 58 | ![]() |
sgn(mod(R,div(P,D))) | 35944 | 98215894 | o1(o2(x,o2(x,x))) | true | 117399 | 117399 | -0.08984 | 0.4524 | 0.7246 | 0.6129 | 0.7829 | -1 | 1 | 2 | 1 | 3.976 | 0.008165 | 0.009328 | 0.1024 | -0.06649 | 1 | -0.00002421 | 0.00102 | 0.02486 | 0.007005 | 0.0837 | 0.8172 | 0.2338 | 0.02854 | 0.001664 | 1 | 1 | 0.03382 | 0.4354 | 1.062 | 0.05519 | 0.7103 | 1.733 | json |
| t12_x19_u5_b59 | 12 | 19 | 5 | 59 | ![]() |
sgn(mod(R,pow(P,D))) | 35945 | 98215895 | o1(o2(x,o2(x,x))) | true | 117407 | 117407 | -0.5703 | 0.2124 | 0.852 | 0.4723 | 0.6872 | -1 | 1 | 2 | 1 | 2.586 | 0.004379 | 0.004825 | 0.05407 | -0.04847 | 1 | -0.00004847 | 0.0005547 | 0.01321 | 0.006283 | 0.07926 | 1.466 | 0.2338 | 0.01949 | 0.001175 | 1 | 1 | 0.01783 | 0.2314 | 0.5848 | 0.03774 | 0.49 | 1.238 | json |
| t12_x19_u5_b60 | 12 | 19 | 5 | 60 | ![]() |
sgn(mod(R,mod(P,D))) | 35946 | 98215896 | o1(o2(x,o2(x,x))) | true | 117415 | 117415 | -0.2159 | 0.3892 | 0.7469 | 0.6051 | 0.7779 | -1 | 1 | 2 | 1 | 3.795 | 0.2354 | 0.007782 | 0.2207 | 0.936 | 1 | -0.00001993 | 0.5483 | 0.2836 | 0.1945 | 0.441 | 1.998 | 1.999 | 0.4019 | 0.906 | 1 | 1 | 0.2024 | 0.5063 | 0.8966 | 0.3344 | 0.8366 | 1.482 | json |
| t12_x19_u5_b61 | 12 | 19 | 5 | 61 | ![]() |
sgn(mod(R,lrg(P,D))) | 35947 | 98215897 | o1(o2(x,o2(x,x))) | true | 117423 | 117423 | -0.543 | 0.2253 | 0.8407 | 0.4868 | 0.6977 | -1 | 1 | 2 | 1 | 2.725 | 0.01134 | 0.005036 | 0.062 | 0.3851 | 1 | -0.00005418 | 0.01359 | 0.02131 | 0.01253 | 0.112 | 1.806 | 1.999 | 0.03365 | 0.02793 | 1 | 1 | 0.02855 | 0.2782 | 0.646 | 0.05865 | 0.5714 | 1.327 | json |
| t12_x19_u5_b62 | 12 | 19 | 5 | 62 | ![]() |
sgn(mod(R,eql(P,D))) | 35948 | 98215898 | o1(o2(x,o2(x,x))) | true | 117431 | 117431 | -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_x19_u5_b63 | 12 | 19 | 5 | 63 | ![]() |
sgn(mod(R,min(P,D))) | 35949 | 98215899 | o1(o2(x,o2(x,x))) | true | 117439 | 117439 | -0.0625 | 0.467 | 0.7228 | 0.6148 | 0.7841 | -1 | 1 | 2 | 1 | 3.997 | 0.01441 | 0.009539 | 0.1062 | 0.2035 | 1 | -0.00002992 | 0.01397 | 0.032 | 0.01267 | 0.1125 | 1.059 | 1.999 | 0.03896 | 0.02273 | 1 | 1 | 0.04293 | 0.466 | 1.104 | 0.06982 | 0.758 | 1.796 | json |
| t12_x19_u5_b64 | 12 | 19 | 5 | 64 | ![]() |
sgn(mod(R,dot(P,D))) | 35950 | 98215900 | o1(o2(x,o2(x,x))) | true | 117447 | 117447 | -0.05157 | 0.4721 | 0.7225 | 0.6156 | 0.7846 | -1 | 1 | 2 | 1 | 3.992 | 0.03522 | 0.0372 | 0.1292 | -0.02736 | 1 | -0.00003552 | 0.3159 | 0.09536 | 0.05573 | 0.2361 | 1.827 | 2.828 | 0.1176 | 0.5132 | 1 | 1 | 0.06889 | 0.4679 | 1.143 | 0.1119 | 0.7602 | 1.857 | json |
| t12_x19_u5_b65 | 12 | 19 | 5 | 65 | ![]() |
sgn(mod(R,dst(P,D))) | 35951 | 98215901 | o1(o2(x,o2(x,x))) | true | 117455 | 117455 | -0.03516 | 0.4819 | 0.7206 | 0.6148 | 0.7841 | -1 | 1 | 2 | 1 | 4.005 | 0.007889 | 0.009769 | 0.1034 | -0.1065 | 1 | -0.00003562 | 0.001037 | 0.02513 | 0.006974 | 0.08351 | 0.8079 | 0.2338 | 0.02872 | 0.001686 | 1 | 1 | 0.03492 | 0.4498 | 1.145 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x19_u5_b66 | 12 | 19 | 5 | 66 | ![]() |
sgn(lrg(R,add(P,D))) | 35952 | 98215902 | o1(o2(x,o2(x,x))) | true | 117463 | 117463 | 0.5017 | 0.5461 | 0.5017 | 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_x19_u5_b67 | 12 | 19 | 5 | 67 | ![]() |
sgn(lrg(R,sub(P,D))) | 35953 | 98215903 | o1(o2(x,o2(x,x))) | true | 117471 | 117471 | 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 |
| t12_x19_u5_b68 | 12 | 19 | 5 | 68 | ![]() |
sgn(lrg(R,mlt(P,D))) | 35954 | 98215904 | o1(o2(x,o2(x,x))) | true | 117479 | 117479 | 0.5331 | 0.9794 | 0.5331 | 0.1337 | 0.3656 | 0 | 1 | 1 | 1 | 3.556 | 0.04113 | 0.001117 | 0.1095 | 0.9471 | 1 | -0.0003395 | 0.07533 | 0.1077 | 0.03025 | 0.1739 | 1.589 | 0.9997 | 0.3161 | 0.5636 | 1 | 1 | 0.04479 | 0.1871 | 0.1803 | 0.3351 | 1.4 | 1.349 | json |
| t12_x19_u5_b69 | 12 | 19 | 5 | 69 | ![]() |
sgn(lrg(R,div(P,D))) | 35955 | 98215905 | o1(o2(x,o2(x,x))) | true | 117487 | 117487 | 0.5273 | 1 | 0.5273 | 0.145 | 0.3808 | 0.000291 | 1 | 0.9997 | 1 | 3.396 | 0.0608 | 0.0001053 | 0.1163 | 0.9965 | 1 | 0.000174 | 0.1127 | 0.1252 | 0.04737 | 0.2176 | 1.871 | 0.9997 | 0.4201 | 0.7775 | 1 | 1 | 0.06495 | 0.2312 | 0.07077 | 0.448 | 1.595 | 0.4881 | json |
| t12_x19_u5_b70 | 12 | 19 | 5 | 70 | ![]() |
sgn(lrg(R,pow(P,D))) | 35956 | 98215906 | o1(o2(x,o2(x,x))) | true | 117495 | 117495 | 0.5162 | 0.6857 | 0.5162 | 0.2243 | 0.4736 | 0 | 1 | 1 | 1 | 1.966 | 0.006211 | 0.0002448 | 0.02099 | 0.9242 | 1 | -0.0002254 | 0.01103 | 0.01773 | 0.006012 | 0.07754 | 3.694 | 0.9994 | 0.02878 | 0.04916 | 1 | 1 | 0.0082 | 0.04106 | 0.1103 | 0.03656 | 0.1831 | 0.4919 | json |
| t12_x19_u5_b71 | 12 | 19 | 5 | 71 | ![]() |
sgn(lrg(R,mod(P,D))) | 35957 | 98215907 | o1(o2(x,o2(x,x))) | true | 117503 | 117503 | 0.4885 | 0.8956 | 0.4885 | 0.159 | 0.3987 | 0 | 1 | 1 | 1 | 3.363 | 0.02385 | 0.002149 | 0.084 | 0.8347 | 1 | -0.00001941 | 0.06234 | 0.09173 | 0.01895 | 0.1377 | 1.639 | 0.9998 | 0.1636 | 0.3922 | 1 | 1 | 0.0186 | 0.1196 | 0.2765 | 0.117 | 0.7524 | 1.739 | json |
| t12_x19_u5_b72 | 12 | 19 | 5 | 72 | ![]() |
sgn(lrg(R,lrg(P,D))) | 35958 | 98215908 | o1(o2(x,o2(x,x))) | true | 117511 | 117511 | 0.2539 | 0.4836 | 0.2539 | 0.1414 | 0.376 | 0 | 1 | 1 | 1 | 2.303 | 0.002687 | 0.001179 | 0.02819 | 0.3903 | 1 | 0.000009279 | 0.003376 | 0.009879 | 0.003071 | 0.05542 | 1.966 | 0.9997 | 0.02734 | 0.02388 | 1 | 1 | 0.006679 | 0.06268 | 0.1658 | 0.04724 | 0.4433 | 1.173 | json |
| t12_x19_u5_b73 | 12 | 19 | 5 | 73 | ![]() |
sgn(lrg(R,eql(P,D))) | 35959 | 98215909 | o1(o2(x,o2(x,x))) | true | 117519 | 117519 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x19_u5_b74 | 12 | 19 | 5 | 74 | ![]() |
sgn(lrg(R,min(P,D))) | 35960 | 98215910 | o1(o2(x,o2(x,x))) | true | 117527 | 117527 | 0.7294 | 0.9666 | 0.7294 | 0.1415 | 0.3762 | 0 | 1 | 1 | 1 | 2.476 | 0.01027 | 0.001146 | 0.04293 | 0.7993 | 1 | 0.00002986 | 0.01884 | 0.03607 | 0.00957 | 0.09782 | 2.279 | 0.9997 | 0.08065 | 0.1331 | 1 | 1 | 0.01281 | 0.08284 | 0.175 | 0.09048 | 0.5853 | 1.236 | json |
| t12_x19_u5_b75 | 12 | 19 | 5 | 75 | ![]() |
sgn(lrg(R,dot(P,D))) | 35961 | 98215911 | o1(o2(x,o2(x,x))) | true | 117535 | 117535 | 0.5509 | 0.9949 | 0.5509 | 0.108 | 0.3286 | 0 | 1 | 1 | 1 | 3.798 | 0.03104 | 0.03082 | 0.1355 | 0.003556 | 1 | -0.001672 | 0.1944 | 0.1686 | 0.04352 | 0.2086 | 1.54 | 1.413 | 0.573 | 1.801 | 1 | 1 | 0.06228 | 0.2107 | 0.133 | 0.5769 | 1.952 | 1.232 | json |
| t12_x19_u5_b76 | 12 | 19 | 5 | 76 | ![]() |
sgn(lrg(R,dst(P,D))) | 35962 | 98215912 | o1(o2(x,o2(x,x))) | true | 117543 | 117543 | 0.004075 | 0.01385 | 0.004075 | 0.002426 | 0.04925 | 0 | 0.9994 | 0.9994 | 1 | 0.1167 | 0.00006564 | 0.00007038 | 0.001154 | -0.03485 | 1 | -3.81e-12 | 0.0002352 | 0.0008291 | 0.0001346 | 0.0116 | 10.05 | 0.3832 | 0.05607 | 0.09694 | 1 | 1 | 0.0003564 | 0.003479 | 0.00879 | 0.1469 | 1.434 | 3.623 | json |
| t12_x19_u5_b77 | 12 | 19 | 5 | 77 | ![]() |
sgn(eql(R,add(P,D))) | 35963 | 98215913 | o1(o2(x,o2(x,x))) | true | 117551 | 117551 | 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_x19_u5_b78 | 12 | 19 | 5 | 78 | ![]() |
sgn(eql(R,sub(P,D))) | 35964 | 98215914 | o1(o2(x,o2(x,x))) | true | 117559 | 117559 | 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_x19_u5_b79 | 12 | 19 | 5 | 79 | ![]() |
sgn(eql(R,mlt(P,D))) | 35965 | 98215915 | o1(o2(x,o2(x,x))) | true | 117567 | 117567 | 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_x19_u5_b80 | 12 | 19 | 5 | 80 | ![]() |
sgn(eql(R,div(P,D))) | 35966 | 98215916 | o1(o2(x,o2(x,x))) | true | 117575 | 117575 | 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_x19_u5_b81 | 12 | 19 | 5 | 81 | ![]() |
sgn(eql(R,pow(P,D))) | 35967 | 98215917 | o1(o2(x,o2(x,x))) | true | 117583 | 117583 | 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_x19_u5_b82 | 12 | 19 | 5 | 82 | ![]() |
sgn(eql(R,mod(P,D))) | 35968 | 98215918 | o1(o2(x,o2(x,x))) | true | 117591 | 117591 | 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_x19_u5_b83 | 12 | 19 | 5 | 83 | ![]() |
sgn(eql(R,lrg(P,D))) | 35969 | 98215919 | o1(o2(x,o2(x,x))) | true | 117599 | 117599 | 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_x19_u5_b84 | 12 | 19 | 5 | 84 | ![]() |
sgn(eql(R,eql(P,D))) | 35970 | 98215920 | o1(o2(x,o2(x,x))) | true | 117607 | 117607 | 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_x19_u5_b85 | 12 | 19 | 5 | 85 | ![]() |
sgn(eql(R,min(P,D))) | 35971 | 98215921 | o1(o2(x,o2(x,x))) | true | 117615 | 117615 | 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_x19_u5_b86 | 12 | 19 | 5 | 86 | ![]() |
sgn(eql(R,dot(P,D))) | 35972 | 98215922 | o1(o2(x,o2(x,x))) | true | 117623 | 117623 | 0.00002985 | 0.00004578 | 0.00002985 | 0.00002404 | 0.004903 | 0 | 0.9633 | 0.9633 | 1 | 0.0007985 | 0.000001508 | 0.00001612 | 0.00002693 | -0.8289 | 0 | 0.00001172 | 0.00002894 | 0.00003929 | 0.00001763 | 0.004199 | 155.9 | 0.9633 | 0.7334 | 1.204 | 1 | 1 | 0 | 0 | 0.00001352 | 0 | 0 | 0.5623 | json |
| t12_x19_u5_b87 | 12 | 19 | 5 | 87 | ![]() |
sgn(eql(R,dst(P,D))) | 35973 | 98215923 | o1(o2(x,o2(x,x))) | true | 117631 | 117631 | 0.000003656 | 0.00003052 | 0.000003656 | 4.38e-7 | 0.0006618 | 0 | 0.1198 | 0.1198 | 1 | 0.0005018 | 9.041e-7 | 9.041e-7 | 0.00001288 | 0 | 0 | -2.346e-13 | 0.000009041 | 0.00003019 | 0.000001808 | 0.001345 | 104.4 | 0.1694 | 4.128 | 20.64 | 1 | 1 | 0.00000159 | 0.00000159 | 0.00000159 | 3.631 | 3.631 | 3.631 | json |
| t12_x19_u5_b88 | 12 | 19 | 5 | 88 | ![]() |
sgn(min(R,add(P,D))) | 35974 | 98215924 | o1(o2(x,o2(x,x))) | true | 117639 | 117639 | -0.543 | 0.2273 | 0.8498 | 0.4999 | 0.7071 | -1 | 1 | 2 | 1 | 2.626 | 0.01065 | 0.005055 | 0.05808 | 0.3562 | 1 | -0.00005418 | 0.01346 | 0.02036 | 0.01233 | 0.111 | 1.912 | 2 | 0.03141 | 0.02693 | 1 | 1 | 0.02709 | 0.2688 | 0.6552 | 0.05419 | 0.5377 | 1.311 | json |
| t12_x19_u5_b89 | 12 | 19 | 5 | 89 | ![]() |
sgn(min(R,sub(P,D))) | 35975 | 98215925 | o1(o2(x,o2(x,x))) | true | 117647 | 117647 | -0.543 | 0.2253 | 0.8407 | 0.4868 | 0.6977 | -1 | 1 | 2 | 1 | 2.725 | 0.01134 | 0.005036 | 0.062 | 0.3851 | 1 | -0.00005418 | 0.01359 | 0.02131 | 0.01253 | 0.112 | 1.806 | 1.999 | 0.03365 | 0.02793 | 1 | 1 | 0.02855 | 0.2782 | 0.646 | 0.05865 | 0.5714 | 1.327 | json |
| t12_x19_u5_b90 | 12 | 19 | 5 | 90 | ![]() |
sgn(min(R,mlt(P,D))) | 35976 | 98215926 | o1(o2(x,o2(x,x))) | true | 117655 | 117655 | -0.5528 | 0.1949 | 0.7838 | 0.3959 | 0.6292 | -1 | 0.9994 | 1.999 | 1 | 3.252 | 0.1021 | 0.004423 | 0.1305 | 0.9169 | 1 | -0.000221 | 0.1909 | 0.1249 | 0.08948 | 0.2991 | 2.293 | 1.999 | 0.269 | 0.4823 | 1 | 1 | 0.1111 | 0.5059 | 0.5528 | 0.2807 | 1.278 | 1.396 | json |
| t12_x19_u5_b91 | 12 | 19 | 5 | 91 | ![]() |
sgn(min(R,div(P,D))) | 35977 | 98215927 | o1(o2(x,o2(x,x))) | true | 117663 | 117663 | -0.5528 | 0.1949 | 0.7838 | 0.3959 | 0.6292 | -1 | 0.9994 | 1.999 | 1 | 3.252 | 0.1021 | 0.004423 | 0.1305 | 0.9169 | 1 | -0.000221 | 0.1909 | 0.1249 | 0.08948 | 0.2991 | 2.293 | 1.999 | 0.269 | 0.4823 | 1 | 1 | 0.1111 | 0.5059 | 0.5528 | 0.2807 | 1.278 | 1.396 | json |
| t12_x19_u5_b92 | 12 | 19 | 5 | 92 | ![]() |
sgn(min(R,pow(P,D))) | 35978 | 98215928 | o1(o2(x,o2(x,x))) | true | 117671 | 117671 | -0.04883 | 0.4738 | 0.713 | 0.6053 | 0.778 | -1 | 1 | 2 | 1 | 4.051 | 0.00941 | 0.009601 | 0.1044 | -0.01006 | 1 | -0.00003277 | 0.004258 | 0.02841 | 0.008117 | 0.09009 | 0.8631 | 0.9997 | 0.03141 | 0.007035 | 1 | 1 | 0.03624 | 0.4449 | 1.102 | 0.05986 | 0.735 | 1.821 | json |
| t12_x19_u5_b93 | 12 | 19 | 5 | 93 | ![]() |
sgn(min(R,mod(P,D))) | 35979 | 98215929 | o1(o2(x,o2(x,x))) | true | 117679 | 117679 | -0.5384 | 0.1932 | 0.7773 | 0.4243 | 0.6514 | -1 | 1 | 2 | 1 | 3.071 | 0.06112 | 0.004503 | 0.1176 | 0.8628 | 1 | -0.00004923 | 0.1374 | 0.1431 | 0.05182 | 0.2276 | 1.936 | 1.016 | 0.1546 | 0.3238 | 1 | 1 | 0.0601 | 0.2495 | 0.5562 | 0.1416 | 0.588 | 1.311 | json |
| t12_x19_u5_b94 | 12 | 19 | 5 | 94 | ![]() |
sgn(min(R,lrg(P,D))) | 35980 | 98215930 | o1(o2(x,o2(x,x))) | true | 117687 | 117687 | -0.2891 | 0.2384 | 0.5946 | 0.4094 | 0.6399 | -1 | 1 | 2 | 1 | 4.243 | 0.006928 | 0.006224 | 0.08196 | 0.05356 | 1 | -0.0000449 | 0.003939 | 0.02295 | 0.006435 | 0.08022 | 0.9787 | 0.9997 | 0.03212 | 0.009621 | 1 | 1 | 0.02506 | 0.3013 | 0.7296 | 0.0612 | 0.7359 | 1.782 | json |
| t12_x19_u5_b95 | 12 | 19 | 5 | 95 | ![]() |
sgn(min(R,eql(P,D))) | 35981 | 98215931 | o1(o2(x,o2(x,x))) | true | 117695 | 117695 | -0.5176 | 0 | 0.5176 | 0.1537 | 0.3921 | -1 | 0 | 1 | 1 | 3.585 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x19_u5_b96 | 12 | 19 | 5 | 96 | ![]() |
sgn(min(R,min(P,D))) | 35982 | 98215932 | o1(o2(x,o2(x,x))) | true | 117703 | 117703 | -0.7871 | 0.09155 | 0.8931 | 0.2328 | 0.4825 | -1 | 0.9994 | 1.999 | 1 | 1.916 | 0.04929 | 0.002369 | 0.06562 | 0.9083 | 1 | -0.0001212 | 0.09252 | 0.06326 | 0.04737 | 0.2176 | 3.317 | 1.999 | 0.2219 | 0.3974 | 1 | 1 | 0.05771 | 0.2666 | 0.2828 | 0.2479 | 1.145 | 1.215 | json |
| t12_x19_u5_b97 | 12 | 19 | 5 | 97 | ![]() |
sgn(min(R,dot(P,D))) | 35983 | 98215933 | o1(o2(x,o2(x,x))) | true | 117711 | 117711 | -0.5598 | 0.1987 | 0.77 | 0.3707 | 0.6088 | -1 | 0.9994 | 1.999 | 1 | 3.263 | 0.0611 | 0.05738 | 0.1467 | 0.03135 | 1 | 0.0009126 | 0.323 | 0.1564 | 0.09696 | 0.3114 | 2.123 | 2.827 | 0.3196 | 0.8713 | 1 | 1 | 0.1276 | 0.5482 | 0.5605 | 0.3441 | 1.479 | 1.512 | json |
| t12_x19_u5_b98 | 12 | 19 | 5 | 98 | ![]() |
sgn(min(R,dst(P,D))) | 35984 | 98215934 | o1(o2(x,o2(x,x))) | true | 117719 | 117719 | -0.03516 | 0.4819 | 0.7206 | 0.6148 | 0.7841 | -1 | 1 | 2 | 1 | 4.005 | 0.007889 | 0.009769 | 0.1034 | -0.1065 | 1 | -0.00003562 | 0.001037 | 0.02513 | 0.006974 | 0.08351 | 0.8079 | 0.2338 | 0.02872 | 0.001686 | 1 | 1 | 0.03492 | 0.4498 | 1.145 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x19_u5_b99 | 12 | 19 | 5 | 99 | ![]() |
sgn(dot(R,add(P,D))) | 35985 | 98215935 | o1(o2(x,o2(x,x))) | true | 117727 | 117727 | -0.07468 | 0.4618 | 0.728 | 0.6202 | 0.7875 | -1 | 1 | 2 | 1 | 3.925 | 0.01641 | 0.0172 | 0.1124 | -0.02341 | 1 | -0.0000608 | 0.05334 | 0.05072 | 0.02097 | 0.1448 | 1.288 | 2.826 | 0.0542 | 0.08601 | 1 | 1 | 0.059 | 0.5126 | 1.228 | 0.09514 | 0.8265 | 1.979 | json |
| t12_x19_u5_b100 | 12 | 19 | 5 | 100 | ![]() |
sgn(dot(R,sub(P,D))) | 35986 | 98215936 | o1(o2(x,o2(x,x))) | true | 117735 | 117735 | -0.07315 | 0.4622 | 0.726 | 0.6183 | 0.7863 | -1 | 1 | 2 | 1 | 3.932 | 0.01687 | 0.01764 | 0.1131 | -0.02231 | 1 | -0.0001315 | 0.05576 | 0.05133 | 0.02172 | 0.1474 | 1.304 | 2.818 | 0.0558 | 0.09017 | 1 | 1 | 0.05966 | 0.5184 | 1.229 | 0.09648 | 0.8384 | 1.987 | json |
| t12_x19_u5_b101 | 12 | 19 | 5 | 101 | ![]() |
sgn(dot(R,mlt(P,D))) | 35987 | 98215937 | o1(o2(x,o2(x,x))) | true | 117743 | 117743 | -0.006085 | 0.4965 | 0.7049 | 0.5971 | 0.7727 | -1 | 1 | 2 | 1 | 4.085 | 0.1292 | 0.1254 | 0.2357 | 0.01474 | 1 | 0.0004278 | 0.7402 | 0.3265 | 0.1991 | 0.4462 | 1.893 | 2.827 | 0.4265 | 1.24 | 1 | 1 | 0.2718 | 1.094 | 1.212 | 0.4552 | 1.833 | 2.029 | json |
| t12_x19_u5_b102 | 12 | 19 | 5 | 102 | ![]() |
sgn(dot(R,div(P,D))) | 35988 | 98215938 | o1(o2(x,o2(x,x))) | true | 117751 | 117751 | 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_x19_u5_b103 | 12 | 19 | 5 | 103 | ![]() |
sgn(dot(R,pow(P,D))) | 35989 | 98215939 | o1(o2(x,o2(x,x))) | true | 117759 | 117759 | -0.7125 | 0.1431 | 0.9206 | 0.3824 | 0.6184 | -1 | 1 | 2 | 1 | 1.712 | 0.01325 | 0.01432 | 0.04361 | -0.03875 | 1 | -0.00009326 | 0.05823 | 0.03677 | 0.02568 | 0.1602 | 3.674 | 2.807 | 0.0721 | 0.1522 | 1 | 1 | 0.03393 | 0.2043 | 0.5383 | 0.08872 | 0.5343 | 1.408 | json |
| t12_x19_u5_b104 | 12 | 19 | 5 | 104 | ![]() |
sgn(dot(R,mod(P,D))) | 35990 | 98215940 | o1(o2(x,o2(x,x))) | true | 117767 | 117767 | 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_x19_u5_b105 | 12 | 19 | 5 | 105 | ![]() |
sgn(dot(R,lrg(P,D))) | 35991 | 98215941 | o1(o2(x,o2(x,x))) | true | 117775 | 117775 | -0.02539 | 0.3882 | 0.5506 | 0.4658 | 0.6825 | -1 | 1 | 2 | 1 | 4.004 | 0.01263 | 0.01098 | 0.08628 | 0.07001 | 1 | -0.00005988 | 0.02244 | 0.03412 | 0.01617 | 0.1272 | 1.474 | 2 | 0.05069 | 0.04818 | 1 | 1 | 0.04013 | 0.3612 | 0.8643 | 0.08615 | 0.7754 | 1.856 | json |
| t12_x19_u5_b106 | 12 | 19 | 5 | 106 | ![]() |
sgn(dot(R,eql(P,D))) | 35992 | 98215942 | o1(o2(x,o2(x,x))) | true | 117783 | 117783 | -0.03516 | 0.48 | 0.7103 | 0.6029 | 0.7764 | -1 | 1 | 2 | 1 | 4.051 | 0.008726 | 0.009263 | 0.1053 | -0.02985 | 1 | -0.00004135 | 0.001085 | 0.02574 | 0.006909 | 0.08312 | 0.7896 | 0.2338 | 0.02984 | 0.001799 | 1 | 1 | 0.03682 | 0.4736 | 1.233 | 0.06107 | 0.7855 | 2.046 | json |
| t12_x19_u5_b107 | 12 | 19 | 5 | 107 | ![]() |
sgn(dot(R,min(P,D))) | 35993 | 98215943 | o1(o2(x,o2(x,x))) | true | 117791 | 117791 | -0.02837 | 0.483 | 0.7184 | 0.6128 | 0.7828 | -1 | 1 | 2 | 1 | 3.999 | 0.04748 | 0.04607 | 0.1462 | 0.01511 | 1 | -0.0001511 | 0.2382 | 0.1234 | 0.07218 | 0.2687 | 1.837 | 2.827 | 0.1527 | 0.3887 | 1 | 1 | 0.1142 | 0.6735 | 1.245 | 0.1863 | 1.099 | 2.032 | json |
| t12_x19_u5_b108 | 12 | 19 | 5 | 108 | ![]() |
sgn(dot(R,dot(P,D))) | 35994 | 98215944 | o1(o2(x,o2(x,x))) | true | 117799 | 117799 | 0.003085 | 0.5019 | 0.7128 | 0.609 | 0.7804 | -1 | 1 | 2 | 1 | 4.046 | 0.1205 | 0.1205 | 0.2341 | -0.0002567 | 1 | 0.0003162 | 0.6911 | 0.3113 | 0.1862 | 0.4316 | 1.843 | 2.827 | 0.3958 | 1.135 | 1 | 1 | 0.2653 | 1.1 | 1.183 | 0.4356 | 1.806 | 1.943 | json |
| t12_x19_u5_b109 | 12 | 19 | 5 | 109 | ![]() |
sgn(dot(R,dst(P,D))) | 35995 | 98215945 | o1(o2(x,o2(x,x))) | true | 117807 | 117807 | 0.01562 | 0.5076 | 0.7163 | 0.6098 | 0.7809 | -1 | 1 | 2 | 1 | 4.038 | 0.009126 | 0.008856 | 0.1053 | 0.01499 | 1 | 0.00002711 | 0.001054 | 0.02554 | 0.006904 | 0.08309 | 0.7894 | 0.2338 | 0.02949 | 0.001728 | 1 | 1 | 0.03452 | 0.4449 | 1.193 | 0.0566 | 0.7296 | 1.956 | json |
| t12_x19_u5_b110 | 12 | 19 | 5 | 110 | ![]() |
sgn(dst(R,add(P,D))) | 35996 | 98215946 | o1(o2(x,o2(x,x))) | true | 117815 | 117815 | 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_x19_u5_b111 | 12 | 19 | 5 | 111 | ![]() |
sgn(dst(R,sub(P,D))) | 35997 | 98215947 | o1(o2(x,o2(x,x))) | true | 117823 | 117823 | 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_x19_u5_b112 | 12 | 19 | 5 | 112 | ![]() |
sgn(dst(R,mlt(P,D))) | 35998 | 98215948 | o1(o2(x,o2(x,x))) | true | 117831 | 117831 | 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_x19_u5_b113 | 12 | 19 | 5 | 113 | ![]() |
sgn(dst(R,div(P,D))) | 35999 | 98215949 | o1(o2(x,o2(x,x))) | true | 117839 | 117839 | 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 |



































































































