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_x17_u4_b29 | 12 | 17 | 4 | 29 | ![]() |
cil(mlt(D,eql(R,R))) | 34100 | 98134862 | o1(o2(x,o2(x,x))) | true | 102647 | 102647 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u4_b30 | 12 | 17 | 4 | 30 | ![]() |
cil(mlt(D,min(R,R))) | 34101 | 98134863 | o1(o2(x,o2(x,x))) | true | 102655 | 102655 | 0.5039 | 0.9395 | 0.5039 | 0.147 | 0.3834 | 0 | 1 | 1 | 1 | 3.516 | 0.04778 | 0.002278 | 0.1019 | 0.909 | 1 | 0.00001497 | 0.09324 | 0.1121 | 0.03968 | 0.1992 | 1.955 | 1 | 0.3406 | 0.6344 | 1 | 1 | 0.05494 | 0.2454 | 0.2817 | 0.3738 | 1.67 | 1.917 | json |
| t12_x17_u4_b31 | 12 | 17 | 4 | 31 | ![]() |
cil(mlt(D,dot(R,R))) | 34102 | 98134864 | o1(o2(x,o2(x,x))) | true | 102663 | 102663 | 0.4998 | 0.9995 | 0.4999 | 0.1338 | 0.3658 | -0.1167 | 1 | 1.117 | 1 | 3.581 | 0.0672 | 0.00005201 | 0.1314 | 0.9985 | 1 | -0.00000756 | 0.1275 | 0.1561 | 0.04997 | 0.2235 | 1.701 | 0.9994 | 0.5026 | 0.9525 | 1 | 1 | 0.07196 | 0.2191 | 0.00718 | 0.5377 | 1.637 | 0.05365 | json |
| t12_x17_u4_b32 | 12 | 17 | 4 | 32 | ![]() |
cil(mlt(D,dst(R,R))) | 34103 | 98134865 | o1(o2(x,o2(x,x))) | true | 102671 | 102671 | 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_x17_u4_b33 | 12 | 17 | 4 | 33 | ![]() |
cil(div(D,add(R,R))) | 34104 | 98134866 | o1(o2(x,o2(x,x))) | true | 102679 | 102679 | 0.4335 | 0.8349 | 0.5664 | 0.2867 | 0.5354 | -1 | 1 | 2 | 1 | 3.905 | 0.06688 | 0.006368 | 0.1345 | 0.8261 | 1 | 0.00002992 | 0.1327 | 0.1688 | 0.05515 | 0.2348 | 1.746 | 2.032 | 0.2555 | 0.4628 | 1 | 1 | 0.07904 | 0.3805 | 0.5448 | 0.2757 | 1.327 | 1.9 | json |
| t12_x17_u4_b34 | 12 | 17 | 4 | 34 | ![]() |
cil(div(D,sub(R,R))) | 34105 | 98134867 | o1(o2(x,o2(x,x))) | true | 102687 | 102687 | -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_x17_u4_b35 | 12 | 17 | 4 | 35 | ![]() |
cil(div(D,mlt(R,R))) | 34106 | 98134868 | o1(o2(x,o2(x,x))) | true | 102695 | 102695 | 0.2369 | 0.6856 | 0.7679 | 0.6578 | 0.8111 | -1 | 1 | 2 | 1 | 3.198 | 0.1582 | 0.02394 | 0.2066 | 0.7371 | 1 | 0.0002282 | 0.3421 | 0.2934 | 0.1394 | 0.3734 | 1.807 | 2.828 | 0.2769 | 0.52 | 1 | 1 | 0.1825 | 0.766 | 1.069 | 0.2774 | 1.164 | 1.625 | json |
| t12_x17_u4_b36 | 12 | 17 | 4 | 36 | ![]() |
cil(div(D,div(R,R))) | 34107 | 98134869 | o1(o2(x,o2(x,x))) | true | 102703 | 102703 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u4_b37 | 12 | 17 | 4 | 37 | ![]() |
cil(div(D,pow(R,R))) | 34108 | 98134870 | o1(o2(x,o2(x,x))) | true | 102711 | 102711 | -0.9355 | 0.04297 | 0.9785 | 0.09822 | 0.3134 | -1 | 0.9994 | 1.999 | 1 | 0.4057 | 0.01069 | 0.009586 | 0.01524 | 0.05446 | 1 | 0.00001137 | 0.04211 | 0.02637 | 0.02005 | 0.1416 | 9.294 | 1.999 | 0.2065 | 0.4287 | 1 | 1 | 0.01497 | 0.06576 | 0.1625 | 0.1524 | 0.6696 | 1.654 | json |
| t12_x17_u4_b38 | 12 | 17 | 4 | 38 | ![]() |
cil(div(D,mod(R,R))) | 34109 | 98134871 | o1(o2(x,o2(x,x))) | true | 102719 | 102719 | -0.9832 | 0.009277 | 0.9963 | 0.02847 | 0.1687 | -1 | 1 | 2 | 1 | 0.1259 | 0.004418 | 0.002702 | 0.005204 | 0.2411 | 1 | 2.253e-11 | 0.01532 | 0.009038 | 0.007096 | 0.08424 | 16.19 | 2.828 | 0.2501 | 0.5381 | 1 | 1 | 0.0124 | 0.04898 | 0.09328 | 0.4357 | 1.72 | 3.276 | json |
| t12_x17_u4_b39 | 12 | 17 | 4 | 39 | ![]() |
cil(div(D,lrg(R,R))) | 34110 | 98134872 | o1(o2(x,o2(x,x))) | true | 102727 | 102727 | -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_x17_u4_b40 | 12 | 17 | 4 | 40 | ![]() |
cil(div(D,eql(R,R))) | 34111 | 98134873 | o1(o2(x,o2(x,x))) | true | 102735 | 102735 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u4_b41 | 12 | 17 | 4 | 41 | ![]() |
cil(div(D,min(R,R))) | 34112 | 98134874 | o1(o2(x,o2(x,x))) | true | 102743 | 102743 | 0.3706 | 0.7488 | 0.6233 | 0.4021 | 0.6341 | -1 | 1 | 2 | 1 | 3.939 | 0.0835 | 0.01062 | 0.163 | 0.7744 | 1 | 0.0005368 | 0.1684 | 0.2155 | 0.06756 | 0.2599 | 1.595 | 2.09 | 0.2341 | 0.4188 | 1 | 1 | 0.101 | 0.5094 | 0.7577 | 0.2511 | 1.267 | 1.884 | json |
| t12_x17_u4_b42 | 12 | 17 | 4 | 42 | ![]() |
cil(div(D,dot(R,R))) | 34113 | 98134875 | o1(o2(x,o2(x,x))) | true | 102751 | 102751 | 0.478 | 0.9552 | 0.5222 | 0.1874 | 0.4329 | -1 | 1 | 2 | 1 | 3.805 | 0.07727 | 0.0011 | 0.1502 | 0.9719 | 1 | 0.00004277 | 0.1467 | 0.1852 | 0.05581 | 0.2362 | 1.573 | 2.008 | 0.4182 | 0.7827 | 1 | 1 | 0.08056 | 0.2687 | 0.0882 | 0.4299 | 1.434 | 0.4706 | json |
| t12_x17_u4_b43 | 12 | 17 | 4 | 43 | ![]() |
cil(div(D,dst(R,R))) | 34114 | 98134876 | o1(o2(x,o2(x,x))) | true | 102759 | 102759 | -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_x17_u4_b44 | 12 | 17 | 4 | 44 | ![]() |
cil(pow(D,add(R,R))) | 34115 | 98134877 | o1(o2(x,o2(x,x))) | true | 102767 | 102767 | -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_x17_u4_b45 | 12 | 17 | 4 | 45 | ![]() |
cil(pow(D,sub(R,R))) | 34116 | 98134878 | o1(o2(x,o2(x,x))) | true | 102775 | 102775 | 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_x17_u4_b46 | 12 | 17 | 4 | 46 | ![]() |
cil(pow(D,mlt(R,R))) | 34117 | 98134879 | o1(o2(x,o2(x,x))) | true | 102783 | 102783 | -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_x17_u4_b47 | 12 | 17 | 4 | 47 | ![]() |
cil(pow(D,div(R,R))) | 34118 | 98134880 | o1(o2(x,o2(x,x))) | true | 102791 | 102791 | -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_x17_u4_b48 | 12 | 17 | 4 | 48 | ![]() |
cil(pow(D,pow(R,R))) | 34119 | 98134881 | o1(o2(x,o2(x,x))) | true | 102799 | 102799 | -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_x17_u4_b49 | 12 | 17 | 4 | 49 | ![]() |
cil(pow(D,mod(R,R))) | 34120 | 98134882 | o1(o2(x,o2(x,x))) | true | 102807 | 102807 | 0.2344 | 0.6172 | 1 | 0.9448 | 0.972 | -1 | 1 | 2 | 1 | 0.96 | 0.09171 | 0.05467 | 0.07264 | 0.253 | 1 | 0 | 0.3049 | 0.1464 | 0.1411 | 0.3757 | 5.172 | 2.828 | 0.1549 | 0.3227 | 1 | 1 | 0.1338 | 0.551 | 1.753 | 0.1416 | 0.5831 | 1.855 | json |
| t12_x17_u4_b50 | 12 | 17 | 4 | 50 | ![]() |
cil(pow(D,lrg(R,R))) | 34121 | 98134883 | o1(o2(x,o2(x,x))) | true | 102815 | 102815 | 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_x17_u4_b51 | 12 | 17 | 4 | 51 | ![]() |
cil(pow(D,eql(R,R))) | 34122 | 98134884 | o1(o2(x,o2(x,x))) | true | 102823 | 102823 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u4_b52 | 12 | 17 | 4 | 52 | ![]() |
cil(pow(D,min(R,R))) | 34123 | 98134885 | o1(o2(x,o2(x,x))) | true | 102831 | 102831 | -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_x17_u4_b53 | 12 | 17 | 4 | 53 | ![]() |
cil(pow(D,dot(R,R))) | 34124 | 98134886 | o1(o2(x,o2(x,x))) | true | 102839 | 102839 | -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_x17_u4_b54 | 12 | 17 | 4 | 54 | ![]() |
cil(pow(D,dst(R,R))) | 34125 | 98134887 | o1(o2(x,o2(x,x))) | true | 102847 | 102847 | 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_x17_u4_b55 | 12 | 17 | 4 | 55 | ![]() |
cil(mod(D,add(R,R))) | 34126 | 98134888 | o1(o2(x,o2(x,x))) | true | 102855 | 102855 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u4_b56 | 12 | 17 | 4 | 56 | ![]() |
cil(mod(D,sub(R,R))) | 34127 | 98134889 | o1(o2(x,o2(x,x))) | true | 102863 | 102863 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u4_b57 | 12 | 17 | 4 | 57 | ![]() |
cil(mod(D,mlt(R,R))) | 34128 | 98134890 | o1(o2(x,o2(x,x))) | true | 102871 | 102871 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u4_b58 | 12 | 17 | 4 | 58 | ![]() |
cil(mod(D,div(R,R))) | 34129 | 98134891 | o1(o2(x,o2(x,x))) | true | 102879 | 102879 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u4_b59 | 12 | 17 | 4 | 59 | ![]() |
cil(mod(D,pow(R,R))) | 34130 | 98134892 | o1(o2(x,o2(x,x))) | true | 102887 | 102887 | -0.9355 | 0.04297 | 0.9785 | 0.09869 | 0.3141 | -1 | 0.9997 | 2 | 1 | 0.4021 | 0.01067 | 0.009679 | 0.0151 | 0.04854 | 1 | 0.000005704 | 0.04215 | 0.0256 | 0.02012 | 0.1419 | 9.393 | 2 | 0.2062 | 0.4271 | 1 | 1 | 0.01507 | 0.0665 | 0.1631 | 0.1527 | 0.6738 | 1.652 | json |
| t12_x17_u4_b60 | 12 | 17 | 4 | 60 | ![]() |
cil(mod(D,mod(R,R))) | 34131 | 98134893 | o1(o2(x,o2(x,x))) | true | 102895 | 102895 | -0.9824 | 0.01172 | 0.9941 | 0.02776 | 0.1666 | -1 | 0.9997 | 2 | 1 | 0.1319 | 0.003846 | 0.00241 | 0.004474 | 0.2295 | 1 | 3.004e-11 | 0.01316 | 0.007711 | 0.006244 | 0.07902 | 17.66 | 2.236 | 0.2254 | 0.474 | 1 | 1 | 0.01111 | 0.04497 | 0.09276 | 0.4003 | 1.62 | 3.341 | json |
| t12_x17_u4_b61 | 12 | 17 | 4 | 61 | ![]() |
cil(mod(D,lrg(R,R))) | 34132 | 98134894 | o1(o2(x,o2(x,x))) | true | 102903 | 102903 | -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_x17_u4_b62 | 12 | 17 | 4 | 62 | ![]() |
cil(mod(D,eql(R,R))) | 34133 | 98134895 | o1(o2(x,o2(x,x))) | true | 102911 | 102911 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u4_b63 | 12 | 17 | 4 | 63 | ![]() |
cil(mod(D,min(R,R))) | 34134 | 98134896 | o1(o2(x,o2(x,x))) | true | 102919 | 102919 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u4_b64 | 12 | 17 | 4 | 64 | ![]() |
cil(mod(D,dot(R,R))) | 34135 | 98134897 | o1(o2(x,o2(x,x))) | true | 102927 | 102927 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u4_b65 | 12 | 17 | 4 | 65 | ![]() |
cil(mod(D,dst(R,R))) | 34136 | 98134898 | o1(o2(x,o2(x,x))) | true | 102935 | 102935 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u4_b66 | 12 | 17 | 4 | 66 | ![]() |
cil(lrg(D,add(R,R))) | 34137 | 98134899 | o1(o2(x,o2(x,x))) | true | 102943 | 102943 | 0.5102 | 0.9251 | 0.5102 | 0.1541 | 0.3926 | 0 | 1 | 1 | 1 | 3.432 | 0.01004 | 0.002285 | 0.06307 | 0.6294 | 1 | -0.00008437 | 0.01703 | 0.03881 | 0.008353 | 0.0914 | 1.449 | 0.9997 | 0.08 | 0.1105 | 1 | 1 | 0.01554 | 0.1282 | 0.294 | 0.1009 | 0.8321 | 1.907 | json |
| t12_x17_u4_b67 | 12 | 17 | 4 | 67 | ![]() |
cil(lrg(D,sub(R,R))) | 34138 | 98134900 | o1(o2(x,o2(x,x))) | true | 102951 | 102951 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u4_b68 | 12 | 17 | 4 | 68 | ![]() |
cil(lrg(D,mlt(R,R))) | 34139 | 98134901 | o1(o2(x,o2(x,x))) | true | 102959 | 102959 | 0.2412 | 0.8196 | 0.2412 | 0.09118 | 0.302 | 0 | 0.9997 | 0.9997 | 1 | 3.009 | 0.03076 | 0.0009703 | 0.08698 | 0.9388 | 1 | -0.0002936 | 0.05904 | 0.09136 | 0.02417 | 0.1555 | 1.787 | 0.9994 | 0.3479 | 0.6475 | 1 | 1 | 0.0336 | 0.1326 | 0.1315 | 0.3684 | 1.454 | 1.442 | json |
| t12_x17_u4_b69 | 12 | 17 | 4 | 69 | ![]() |
cil(lrg(D,div(R,R))) | 34140 | 98134902 | o1(o2(x,o2(x,x))) | true | 102967 | 102967 | 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_x17_u4_b70 | 12 | 17 | 4 | 70 | ![]() |
cil(lrg(D,pow(R,R))) | 34141 | 98134903 | o1(o2(x,o2(x,x))) | true | 102975 | 102975 | 0.5211 | 0.9599 | 0.5211 | 0.1536 | 0.3919 | 0 | 1 | 1 | 1 | 3.43 | 0.0023 | 0.002439 | 0.05325 | -0.02944 | 1 | -0.00002079 | 0.0009214 | 0.01703 | 0.001904 | 0.04363 | 0.8194 | 0.2255 | 0.03085 | 0.006 | 1 | 1 | 0.009045 | 0.1136 | 0.286 | 0.05889 | 0.7394 | 1.862 | json |
| t12_x17_u4_b71 | 12 | 17 | 4 | 71 | ![]() |
cil(lrg(D,mod(R,R))) | 34142 | 98134904 | o1(o2(x,o2(x,x))) | true | 102983 | 102983 | 0.51 | 0.9971 | 0.51 | 0.1395 | 0.3734 | 0 | 1 | 1 | 1 | 3.521 | 0.05297 | 0.0006217 | 0.1145 | 0.9768 | 1 | 0.0000171 | 0.09905 | 0.1211 | 0.04049 | 0.2012 | 1.758 | 0.9997 | 0.3843 | 0.7102 | 1 | 1 | 0.05576 | 0.2078 | 0.1104 | 0.3999 | 1.49 | 0.7914 | json |
| t12_x17_u4_b72 | 12 | 17 | 4 | 72 | ![]() |
cil(lrg(D,lrg(R,R))) | 34143 | 98134905 | o1(o2(x,o2(x,x))) | true | 102991 | 102991 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u4_b73 | 12 | 17 | 4 | 73 | ![]() |
cil(lrg(D,eql(R,R))) | 34144 | 98134906 | o1(o2(x,o2(x,x))) | true | 102999 | 102999 | 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_x17_u4_b74 | 12 | 17 | 4 | 74 | ![]() |
cil(lrg(D,min(R,R))) | 34145 | 98134907 | o1(o2(x,o2(x,x))) | true | 103007 | 103007 | 0.5008 | 0.9274 | 0.5008 | 0.1466 | 0.3828 | 0 | 1 | 1 | 1 | 3.529 | 0.0202 | 0.00212 | 0.08084 | 0.81 | 1 | -0.00001414 | 0.03816 | 0.07051 | 0.01579 | 0.1257 | 1.554 | 0.9997 | 0.1523 | 0.2603 | 1 | 1 | 0.02456 | 0.14 | 0.2709 | 0.1675 | 0.9553 | 1.848 | json |
| t12_x17_u4_b75 | 12 | 17 | 4 | 75 | ![]() |
cil(lrg(D,dot(R,R))) | 34146 | 98134908 | o1(o2(x,o2(x,x))) | true | 103015 | 103015 | 0.0466 | 0.3258 | 0.0466 | 0.01836 | 0.1355 | 0 | 0.9994 | 0.9994 | 1 | 1.099 | 0.006764 | 0.0002639 | 0.02476 | 0.9249 | 1 | -0.0002807 | 0.01407 | 0.0275 | 0.006414 | 0.08009 | 3.235 | 0.9994 | 0.3829 | 0.7666 | 1 | 1 | 0.006341 | 0.02133 | 0.02968 | 0.3454 | 1.162 | 1.617 | json |
| t12_x17_u4_b76 | 12 | 17 | 4 | 76 | ![]() |
cil(lrg(D,dst(R,R))) | 34147 | 98134909 | o1(o2(x,o2(x,x))) | true | 103023 | 103023 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u4_b77 | 12 | 17 | 4 | 77 | ![]() |
cil(eql(D,add(R,R))) | 34148 | 98134910 | o1(o2(x,o2(x,x))) | true | 103031 | 103031 | 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_x17_u4_b78 | 12 | 17 | 4 | 78 | ![]() |
cil(eql(D,sub(R,R))) | 34149 | 98134911 | o1(o2(x,o2(x,x))) | true | 103039 | 103039 | 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_x17_u4_b79 | 12 | 17 | 4 | 79 | ![]() |
cil(eql(D,mlt(R,R))) | 34150 | 98134912 | o1(o2(x,o2(x,x))) | true | 103047 | 103047 | 0.0002441 | 0.0004883 | 0.0002441 | 0.0001911 | 0.01382 | 0 | 0.9994 | 0.9994 | 1 | 0.006378 | 0.0003946 | 0.000002791 | 0.0005079 | 0.986 | 1 | -3.564e-7 | 0.001195 | 0.001008 | 0.0003969 | 0.01992 | 39.23 | 0.9994 | 2.08 | 6.255 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t12_x17_u4_b80 | 12 | 17 | 4 | 80 | ![]() |
cil(eql(D,div(R,R))) | 34151 | 98134913 | o1(o2(x,o2(x,x))) | true | 103055 | 103055 | 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_x17_u4_b81 | 12 | 17 | 4 | 81 | ![]() |
cil(eql(D,pow(R,R))) | 34152 | 98134914 | o1(o2(x,o2(x,x))) | true | 103063 | 103063 | 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_x17_u4_b82 | 12 | 17 | 4 | 82 | ![]() |
cil(eql(D,mod(R,R))) | 34153 | 98134915 | o1(o2(x,o2(x,x))) | true | 103071 | 103071 | 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_x17_u4_b83 | 12 | 17 | 4 | 83 | ![]() |
cil(eql(D,lrg(R,R))) | 34154 | 98134916 | o1(o2(x,o2(x,x))) | true | 103079 | 103079 | 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_x17_u4_b84 | 12 | 17 | 4 | 84 | ![]() |
cil(eql(D,eql(R,R))) | 34155 | 98134917 | o1(o2(x,o2(x,x))) | true | 103087 | 103087 | 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_x17_u4_b85 | 12 | 17 | 4 | 85 | ![]() |
cil(eql(D,min(R,R))) | 34156 | 98134918 | o1(o2(x,o2(x,x))) | true | 103095 | 103095 | 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_x17_u4_b86 | 12 | 17 | 4 | 86 | ![]() |
cil(eql(D,dot(R,R))) | 34157 | 98134919 | o1(o2(x,o2(x,x))) | true | 103103 | 103103 | 7.106e-8 | 0.0002747 | 7.106e-8 | 1.62e-11 | 0.000004025 | 0 | 0.000291 | 0.000291 | 1 | 0 | 3.345e-11 | 2.373e-13 | 1.48e-7 | 0.9859 | 0 | 6.74e-16 | 1.013e-10 | 2.935e-7 | 3.365e-11 | 0.000005801 | 39.18 | 0.000291 | 2.08 | 6.254 | 1 | 1 | 3.024e-11 | 4.016e-11 | 4.413e-11 | 1.867 | 2.479 | 2.724 | json |
| t12_x17_u4_b87 | 12 | 17 | 4 | 87 | ![]() |
cil(eql(D,dst(R,R))) | 34158 | 98134920 | o1(o2(x,o2(x,x))) | true | 103111 | 103111 | 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_x17_u4_b88 | 12 | 17 | 4 | 88 | ![]() |
cil(min(D,add(R,R))) | 34159 | 98134921 | o1(o2(x,o2(x,x))) | true | 103119 | 103119 | 0.004883 | 0.5002 | 0.4041 | 0.2923 | 0.5406 | -1 | 0.9997 | 2 | 1 | 4.568 | 0.02979 | 0.004028 | 0.1024 | 0.7617 | 1 | 0.00003494 | 0.05133 | 0.07342 | 0.02333 | 0.1527 | 1.491 | 1 | 0.1157 | 0.1756 | 1 | 1 | 0.04054 | 0.267 | 0.453 | 0.1387 | 0.9135 | 1.55 | json |
| t12_x17_u4_b89 | 12 | 17 | 4 | 89 | ![]() |
cil(min(D,sub(R,R))) | 34160 | 98134922 | o1(o2(x,o2(x,x))) | true | 103127 | 103127 | 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_x17_u4_b90 | 12 | 17 | 4 | 90 | ![]() |
cil(min(D,mlt(R,R))) | 34161 | 98134923 | o1(o2(x,o2(x,x))) | true | 103135 | 103135 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u4_b91 | 12 | 17 | 4 | 91 | ![]() |
cil(min(D,div(R,R))) | 34162 | 98134924 | o1(o2(x,o2(x,x))) | true | 103143 | 103143 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u4_b92 | 12 | 17 | 4 | 92 | ![]() |
cil(min(D,pow(R,R))) | 34163 | 98134925 | o1(o2(x,o2(x,x))) | true | 103151 | 103151 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u4_b93 | 12 | 17 | 4 | 93 | ![]() |
cil(min(D,mod(R,R))) | 34164 | 98134926 | o1(o2(x,o2(x,x))) | true | 103159 | 103159 | 0.04785 | 0.1705 | 0.04785 | 0.0281 | 0.1676 | 0 | 0.9997 | 0.9997 | 1 | 0.8802 | 0.005407 | 0.0003773 | 0.01577 | 0.8696 | 1 | -0.00002281 | 0.01018 | 0.01451 | 0.005534 | 0.07439 | 4.716 | 0.9997 | 0.2059 | 0.3623 | 1 | 1 | 0.00737 | 0.03838 | 0.06164 | 0.2623 | 1.366 | 2.194 | json |
| t12_x17_u4_b94 | 12 | 17 | 4 | 94 | ![]() |
cil(min(D,lrg(R,R))) | 34165 | 98134927 | o1(o2(x,o2(x,x))) | true | 103167 | 103167 | 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_x17_u4_b95 | 12 | 17 | 4 | 95 | ![]() |
cil(min(D,eql(R,R))) | 34166 | 98134928 | o1(o2(x,o2(x,x))) | true | 103175 | 103175 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u4_b96 | 12 | 17 | 4 | 96 | ![]() |
cil(min(D,min(R,R))) | 34167 | 98134929 | o1(o2(x,o2(x,x))) | true | 103183 | 103183 | 0.2432 | 0.7246 | 0.2432 | 0.1087 | 0.3297 | 0 | 0.9997 | 0.9997 | 1 | 2.8 | 0.02738 | 0.00118 | 0.07029 | 0.9174 | 1 | -0.00000142 | 0.05102 | 0.06666 | 0.02362 | 0.1537 | 2.186 | 0.9997 | 0.2627 | 0.4693 | 1 | 1 | 0.03085 | 0.1411 | 0.1423 | 0.2838 | 1.298 | 1.309 | json |
| t12_x17_u4_b97 | 12 | 17 | 4 | 97 | ![]() |
cil(min(D,dot(R,R))) | 34168 | 98134930 | o1(o2(x,o2(x,x))) | true | 103191 | 103191 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u4_b98 | 12 | 17 | 4 | 98 | ![]() |
cil(min(D,dst(R,R))) | 34169 | 98134931 | o1(o2(x,o2(x,x))) | true | 103199 | 103199 | 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_x17_u4_b99 | 12 | 17 | 4 | 99 | ![]() |
cil(dot(D,add(R,R))) | 34170 | 98134932 | o1(o2(x,o2(x,x))) | true | 103207 | 103207 | 0.4935 | 0.8634 | 0.5224 | 0.176 | 0.4195 | -0.996 | 1 | 1.996 | 1 | 3.9 | 0.04046 | 0.03959 | 0.1535 | 0.01096 | 1 | -0.0003004 | 0.2598 | 0.2392 | 0.05649 | 0.2377 | 1.548 | 1.42 | 0.4548 | 1.476 | 1 | 1 | 0.0829 | 0.2976 | 0.3469 | 0.471 | 1.691 | 1.971 | json |
| t12_x17_u4_b100 | 12 | 17 | 4 | 100 | ![]() |
cil(dot(D,sub(R,R))) | 34171 | 98134933 | o1(o2(x,o2(x,x))) | true | 103215 | 103215 | 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_x17_u4_b101 | 12 | 17 | 4 | 101 | ![]() |
cil(dot(D,mlt(R,R))) | 34172 | 98134934 | o1(o2(x,o2(x,x))) | true | 103223 | 103223 | 0.5023 | 0.9996 | 0.5023 | 0.1168 | 0.3418 | 0.000002074 | 1 | 1 | 1 | 3.808 | 0.03259 | 0.03148 | 0.1321 | 0.01726 | 1 | -0.0001631 | 0.1813 | 0.1691 | 0.04662 | 0.2159 | 1.635 | 1.409 | 0.5486 | 1.553 | 1 | 1 | 0.06881 | 0.2317 | 0.1272 | 0.5891 | 1.984 | 1.089 | json |
| t12_x17_u4_b102 | 12 | 17 | 4 | 102 | ![]() |
cil(dot(D,div(R,R))) | 34173 | 98134935 | o1(o2(x,o2(x,x))) | true | 103231 | 103231 | 0.4807 | 0.9691 | 0.4807 | 0.1021 | 0.3195 | 0 | 0.9997 | 0.9997 | 1 | 3.931 | 0.05371 | 0.05367 | 0.1711 | 0.0003724 | 1 | 0.00003606 | 0.4193 | 0.2499 | 0.07808 | 0.2794 | 1.633 | 1.409 | 1.052 | 4.107 | 1 | 1 | 0.1089 | 0.2852 | 0.01233 | 1.067 | 2.794 | 0.1208 | json |
| t12_x17_u4_b103 | 12 | 17 | 4 | 103 | ![]() |
cil(dot(D,pow(R,R))) | 34174 | 98134936 | o1(o2(x,o2(x,x))) | true | 103239 | 103239 | -0.9941 | 0.003906 | 0.9981 | 0.009129 | 0.09555 | -1 | 0.9997 | 2 | 1 | 0.05246 | 0.001355 | 0.001337 | 0.002016 | 0.006696 | 1 | 1.201e-10 | 0.006307 | 0.003705 | 0.002686 | 0.05182 | 25.7 | 2 | 0.2949 | 0.6909 | 1 | 1 | 0.004705 | 0.01746 | 0.0321 | 0.5154 | 1.912 | 3.517 | json |
| t12_x17_u4_b104 | 12 | 17 | 4 | 104 | ![]() |
cil(dot(D,mod(R,R))) | 34175 | 98134937 | o1(o2(x,o2(x,x))) | true | 103247 | 103247 | 0.2069 | 0.558 | 0.2069 | 0.1045 | 0.3232 | -0.02408 | 1 | 1.024 | 1 | 2.43 | 0.01128 | 0.01124 | 0.05525 | 0.001823 | 1 | -0.00003212 | 0.04314 | 0.0562 | 0.01947 | 0.1395 | 2.526 | 1.372 | 0.2156 | 0.4129 | 1 | 1 | 0.02748 | 0.1374 | 0.2067 | 0.263 | 1.315 | 1.979 | json |
| t12_x17_u4_b105 | 12 | 17 | 4 | 105 | ![]() |
cil(dot(D,lrg(R,R))) | 34176 | 98134938 | o1(o2(x,o2(x,x))) | true | 103255 | 103255 | 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_x17_u4_b106 | 12 | 17 | 4 | 106 | ![]() |
cil(dot(D,eql(R,R))) | 34177 | 98134939 | o1(o2(x,o2(x,x))) | true | 103263 | 103263 | 0.4688 | 0.9375 | 0.4688 | 0.1046 | 0.3235 | 0 | 0.9994 | 0.9994 | 1 | 3.91 | 0.06018 | 0.06018 | 0.1758 | 0.000004488 | 1 | 0.00003149 | 0.5007 | 0.2681 | 0.08942 | 0.299 | 1.701 | 1.409 | 1.15 | 4.785 | 1 | 1 | 0.1154 | 0.2917 | 0 | 1.103 | 2.788 | 0 | json |
| t12_x17_u4_b107 | 12 | 17 | 4 | 107 | ![]() |
cil(dot(D,min(R,R))) | 34178 | 98134940 | o1(o2(x,o2(x,x))) | true | 103271 | 103271 | 0.5067 | 0.9337 | 0.5068 | 0.1514 | 0.3891 | -0.05087 | 1 | 1.051 | 1 | 3.505 | 0.0353 | 0.03441 | 0.1241 | 0.01279 | 1 | -0.0002923 | 0.221 | 0.182 | 0.05432 | 0.2331 | 1.879 | 1.414 | 0.4605 | 1.46 | 1 | 1 | 0.07406 | 0.2843 | 0.3006 | 0.4893 | 1.878 | 1.986 | json |
| t12_x17_u4_b108 | 12 | 17 | 4 | 108 | ![]() |
cil(dot(D,dot(R,R))) | 34179 | 98134941 | o1(o2(x,o2(x,x))) | true | 103279 | 103279 | 0.4721 | 0.9715 | 0.477 | 0.09646 | 0.3106 | -0.712 | 1 | 1.712 | 1 | 4.065 | 0.04674 | 0.04675 | 0.1799 | -0.0001457 | 1 | 0.00004183 | 0.383 | 0.2889 | 0.06112 | 0.2472 | 1.374 | 1.409 | 0.9692 | 3.971 | 1 | 1 | 0.09084 | 0.2255 | 0.03324 | 0.9417 | 2.338 | 0.3446 | json |
| t12_x17_u4_b109 | 12 | 17 | 4 | 109 | ![]() |
cil(dot(D,dst(R,R))) | 34180 | 98134942 | o1(o2(x,o2(x,x))) | true | 103287 | 103287 | 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_x17_u4_b110 | 12 | 17 | 4 | 110 | ![]() |
cil(dst(D,add(R,R))) | 34181 | 98134943 | o1(o2(x,o2(x,x))) | true | 103295 | 103295 | 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_x17_u4_b111 | 12 | 17 | 4 | 111 | ![]() |
cil(dst(D,sub(R,R))) | 34182 | 98134944 | o1(o2(x,o2(x,x))) | true | 103303 | 103303 | 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_x17_u4_b112 | 12 | 17 | 4 | 112 | ![]() |
cil(dst(D,mlt(R,R))) | 34183 | 98134945 | o1(o2(x,o2(x,x))) | true | 103311 | 103311 | 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_x17_u4_b113 | 12 | 17 | 4 | 113 | ![]() |
cil(dst(D,div(R,R))) | 34184 | 98134946 | o1(o2(x,o2(x,x))) | true | 103319 | 103319 | 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_x17_u4_b114 | 12 | 17 | 4 | 114 | ![]() |
cil(dst(D,pow(R,R))) | 34185 | 98134947 | o1(o2(x,o2(x,x))) | true | 103327 | 103327 | -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_x17_u4_b115 | 12 | 17 | 4 | 115 | ![]() |
cil(dst(D,mod(R,R))) | 34186 | 98134948 | o1(o2(x,o2(x,x))) | true | 103335 | 103335 | 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_x17_u4_b116 | 12 | 17 | 4 | 116 | ![]() |
cil(dst(D,lrg(R,R))) | 34187 | 98134949 | o1(o2(x,o2(x,x))) | true | 103343 | 103343 | 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_x17_u4_b117 | 12 | 17 | 4 | 117 | ![]() |
cil(dst(D,eql(R,R))) | 34188 | 98134950 | o1(o2(x,o2(x,x))) | true | 103351 | 103351 | 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_x17_u4_b118 | 12 | 17 | 4 | 118 | ![]() |
cil(dst(D,min(R,R))) | 34189 | 98134951 | o1(o2(x,o2(x,x))) | true | 103359 | 103359 | 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_x17_u4_b119 | 12 | 17 | 4 | 119 | ![]() |
cil(dst(D,dot(R,R))) | 34190 | 98134952 | o1(o2(x,o2(x,x))) | true | 103367 | 103367 | 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_x17_u4_b120 | 12 | 17 | 4 | 120 | ![]() |
cil(dst(D,dst(R,R))) | 34191 | 98134953 | o1(o2(x,o2(x,x))) | true | 103375 | 103375 | 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_x17_u5_b0 | 12 | 17 | 5 | 0 | ![]() |
sgn(add(D,add(R,R))) | 34192 | 98135034 | o1(o2(x,o2(x,x))) | true | 103383 | 103383 | -0.01971 | 0.4889 | 0.7081 | 0.5993 | 0.7741 | -1 | 1 | 2 | 1 | 4.06 | 0.04088 | 0.009031 | 0.1301 | 0.6381 | 1 | 0.0001587 | 0.0691 | 0.07916 | 0.03299 | 0.1816 | 1.396 | 1.999 | 0.08328 | 0.1153 | 1 | 1 | 0.05905 | 0.4959 | 1.1 | 0.09854 | 0.8275 | 1.835 | json |
| t12_x17_u5_b1 | 12 | 17 | 5 | 1 | ![]() |
sgn(add(D,sub(R,R))) | 34193 | 98135035 | o1(o2(x,o2(x,x))) | true | 103391 | 103391 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u5_b2 | 12 | 17 | 5 | 2 | ![]() |
sgn(add(D,mlt(R,R))) | 34194 | 98135036 | o1(o2(x,o2(x,x))) | true | 103399 | 103399 | 0.5209 | 0.7878 | 0.7371 | 0.3636 | 0.603 | -0.9994 | 1 | 1.999 | 1 | 3.407 | 0.1224 | 0.003883 | 0.1715 | 0.9385 | 1 | 0.0005914 | 0.2333 | 0.1812 | 0.0969 | 0.3113 | 1.815 | 1.999 | 0.3473 | 0.6416 | 1 | 1 | 0.1382 | 0.526 | 0.5333 | 0.3801 | 1.446 | 1.467 | json |
| t12_x17_u5_b3 | 12 | 17 | 5 | 3 | ![]() |
sgn(add(D,div(R,R))) | 34195 | 98135037 | o1(o2(x,o2(x,x))) | true | 103407 | 103407 | 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_x17_u5_b4 | 12 | 17 | 5 | 4 | ![]() |
sgn(add(D,pow(R,R))) | 34196 | 98135038 | o1(o2(x,o2(x,x))) | true | 103415 | 103415 | -0.04211 | 0.4813 | 0.7202 | 0.6136 | 0.7834 | -1 | 1 | 2 | 1 | 4.008 | 0.009144 | 0.009753 | 0.1065 | -0.03222 | 1 | 0.00005309 | 0.00362 | 0.03383 | 0.007549 | 0.08688 | 0.8155 | 0.4528 | 0.0308 | 0.0059 | 1 | 1 | 0.03609 | 0.4536 | 1.143 | 0.05882 | 0.7392 | 1.863 | json |
| t12_x17_u5_b5 | 12 | 17 | 5 | 5 | ![]() |
sgn(add(D,mod(R,R))) | 34197 | 98135039 | o1(o2(x,o2(x,x))) | true | 103423 | 103423 | -0.01731 | 0.4908 | 0.6826 | 0.5602 | 0.7485 | -1 | 1 | 2 | 1 | 3.757 | 0.211 | 0.002574 | 0.228 | 0.9759 | 1 | -0.00002279 | 0.3944 | 0.2415 | 0.1616 | 0.402 | 1.763 | 1.999 | 0.3813 | 0.7041 | 1 | 1 | 0.2208 | 0.8453 | 0.467 | 0.3941 | 1.509 | 0.8335 | json |
| t12_x17_u5_b6 | 12 | 17 | 5 | 6 | ![]() |
sgn(add(D,lrg(R,R))) | 34198 | 98135040 | o1(o2(x,o2(x,x))) | true | 103431 | 103431 | -1.819e-12 | 0.5 | 0.6889 | 0.5671 | 0.753 | -0.9994 | 0.9994 | 1.999 | 1 | 3.406 | 0.2604 | 0 | 0.2456 | 1 | 1 | 0 | 0.4833 | 0.2673 | 0.2 | 0.4473 | 1.821 | 1.999 | 0.4593 | 0.8522 | 1 | 1 | 0.2829 | 0.9676 | 0 | 0.4989 | 1.706 | 0 | json |
| t12_x17_u5_b7 | 12 | 17 | 5 | 7 | ![]() |
sgn(add(D,eql(R,R))) | 34199 | 98135041 | o1(o2(x,o2(x,x))) | true | 103439 | 103439 | 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 |



































































































