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_x25_u4_b33 | 14 | 25 | 4 | 33 | ![]() |
cil(div(add(R,R),D)) | 68600 | 114699276 | o1(o2(o2(x,x),x)) | true | 36807 | 36807 | 0.1138 | 0.5625 | 0.8998 | 0.8542 | 0.9242 | -1 | 1 | 2 | 1 | 2.414 | 0.2847 | 0.04968 | 0.2432 | 0.7028 | 1 | -0.0001608 | 0.6676 | 0.3803 | 0.2753 | 0.5247 | 2.157 | 2.828 | 0.3915 | 0.7816 | 1 | 1 | 0.375 | 1.579 | 1.572 | 0.439 | 1.848 | 1.84 | json |
| t14_x25_u4_b34 | 14 | 25 | 4 | 34 | ![]() |
cil(div(sub(R,R),D)) | 68601 | 114699277 | o1(o2(o2(x,x),x)) | true | 36815 | 36815 | 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_x25_u4_b35 | 14 | 25 | 4 | 35 | ![]() |
cil(div(mlt(R,R),D)) | 68602 | 114699278 | o1(o2(o2(x,x),x)) | true | 36823 | 36823 | 0.2562 | 0.6873 | 0.7432 | 0.601 | 0.7752 | -1 | 1 | 2 | 1 | 3.625 | 0.2781 | 0.002437 | 0.2408 | 0.9826 | 1 | -0.0003498 | 0.5397 | 0.3444 | 0.2225 | 0.4717 | 1.959 | 2.083 | 0.4668 | 0.8981 | 1 | 1 | 0.2993 | 1.018 | 0.1955 | 0.498 | 1.694 | 0.3252 | json |
| t14_x25_u4_b36 | 14 | 25 | 4 | 36 | ![]() |
cil(div(div(R,R),D)) | 68603 | 114699279 | o1(o2(o2(x,x),x)) | true | 36831 | 36831 | 0.06746 | 0.5 | 0.9326 | 0.9038 | 0.9507 | -1 | 1 | 2 | 1 | 1.531 | 0.354 | 0 | 0.246 | 1 | 1 | 0 | 0.619 | 0.3948 | 0.2935 | 0.5417 | 2.202 | 2 | 0.3917 | 0.6849 | 1 | 1 | 0.4017 | 1.777 | 0 | 0.4444 | 1.966 | 0 | json |
| t14_x25_u4_b37 | 14 | 25 | 4 | 37 | ![]() |
cil(div(pow(R,R),D)) | 68604 | 114699280 | o1(o2(o2(x,x),x)) | true | 36839 | 36839 | -0.9523 | 0.02406 | 0.9953 | 0.08695 | 0.2949 | -1 | 1 | 2 | 1 | 0.2232 | 0.01247 | 0.008423 | 0.01429 | 0.1936 | 1 | -2.397e-7 | 0.04054 | 0.02314 | 0.02068 | 0.1438 | 10.07 | 2.026 | 0.2402 | 0.4662 | 1 | 1 | 0.01542 | 0.0752 | 0.1408 | 0.1773 | 0.8648 | 1.619 | json |
| t14_x25_u4_b38 | 14 | 25 | 4 | 38 | ![]() |
cil(div(mod(R,R),D)) | 68605 | 114699281 | o1(o2(o2(x,x),x)) | true | 36847 | 36847 | 0.04534 | 0.2988 | 0.2408 | 0.2018 | 0.4492 | -1 | 1 | 2 | 1 | 2.562 | 0.08839 | 0.004728 | 0.08773 | 0.8985 | 1 | -0.0001865 | 0.1934 | 0.1277 | 0.08547 | 0.2924 | 3.332 | 2.828 | 0.4615 | 0.9583 | 1 | 1 | 0.1137 | 0.3897 | 0.461 | 0.5633 | 1.931 | 2.285 | json |
| t14_x25_u4_b39 | 14 | 25 | 4 | 39 | ![]() |
cil(div(lrg(R,R),D)) | 68606 | 114699282 | o1(o2(o2(x,x),x)) | true | 36855 | 36855 | 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_x25_u4_b40 | 14 | 25 | 4 | 40 | ![]() |
cil(div(eql(R,R),D)) | 68607 | 114699283 | o1(o2(o2(x,x),x)) | true | 36863 | 36863 | 0.06746 | 0.5 | 0.9326 | 0.9038 | 0.9507 | -1 | 1 | 2 | 1 | 1.531 | 0.354 | 0 | 0.246 | 1 | 1 | 0 | 0.619 | 0.3948 | 0.2935 | 0.5417 | 2.202 | 2 | 0.3917 | 0.6849 | 1 | 1 | 0.4017 | 1.777 | 0 | 0.4444 | 1.966 | 0 | json |
| t14_x25_u4_b41 | 14 | 25 | 4 | 41 | ![]() |
cil(div(min(R,R),D)) | 68608 | 114699284 | o1(o2(o2(x,x),x)) | true | 36871 | 36871 | 0.1936 | 0.6122 | 0.8187 | 0.723 | 0.8503 | -1 | 1 | 2 | 1 | 3.184 | 0.2784 | 0.0317 | 0.2497 | 0.7955 | 1 | -0.0005854 | 0.639 | 0.3865 | 0.2478 | 0.4978 | 1.994 | 2.828 | 0.4289 | 0.8838 | 1 | 1 | 0.3353 | 1.301 | 1.311 | 0.4638 | 1.799 | 1.814 | json |
| t14_x25_u4_b42 | 14 | 25 | 4 | 42 | ![]() |
cil(div(dot(R,R),D)) | 68609 | 114699285 | o1(o2(o2(x,x),x)) | true | 36879 | 36879 | 0.09858 | 0.5537 | 0.8982 | 0.8549 | 0.9246 | -1 | 1 | 2 | 1 | 2.412 | 0.3249 | 0.001882 | 0.2486 | 0.9885 | 1 | -0.0001029 | 0.5563 | 0.3622 | 0.2649 | 0.5147 | 2.07 | 2.134 | 0.3822 | 0.6507 | 1 | 1 | 0.3817 | 1.607 | 0.1309 | 0.4465 | 1.88 | 0.1531 | json |
| t14_x25_u4_b43 | 14 | 25 | 4 | 43 | ![]() |
cil(div(dst(R,R),D)) | 68610 | 114699286 | o1(o2(o2(x,x),x)) | true | 36887 | 36887 | 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_x25_u4_b44 | 14 | 25 | 4 | 44 | ![]() |
cil(pow(add(R,R),D)) | 68611 | 114699287 | o1(o2(o2(x,x),x)) | true | 36895 | 36895 | -0.9141 | 0.04297 | 1 | 0.1645 | 0.4056 | -1 | 1 | 2 | 1 | 0.2557 | 0.01688 | 0.01638 | 0.01652 | 0.01515 | 1 | 0 | 0.06954 | 0.03326 | 0.03297 | 0.1816 | 10.99 | 2.828 | 0.2022 | 0.4228 | 1 | 1 | 0.02543 | 0.1095 | 0.2757 | 0.1546 | 0.6659 | 1.676 | json |
| t14_x25_u4_b45 | 14 | 25 | 4 | 45 | ![]() |
cil(pow(sub(R,R),D)) | 68612 | 114699288 | o1(o2(o2(x,x),x)) | true | 36903 | 36903 | 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 |
| t14_x25_u4_b46 | 14 | 25 | 4 | 46 | ![]() |
cil(pow(mlt(R,R),D)) | 68613 | 114699289 | o1(o2(o2(x,x),x)) | true | 36911 | 36911 | 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 |
| t14_x25_u4_b47 | 14 | 25 | 4 | 47 | ![]() |
cil(pow(div(R,R),D)) | 68614 | 114699290 | o1(o2(o2(x,x),x)) | true | 36919 | 36919 | 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 |
| t14_x25_u4_b48 | 14 | 25 | 4 | 48 | ![]() |
cil(pow(pow(R,R),D)) | 68615 | 114699291 | o1(o2(o2(x,x),x)) | true | 36927 | 36927 | -0.9141 | 0.04297 | 1 | 0.1645 | 0.4056 | -1 | 1 | 2 | 1 | 0.2557 | 0.01688 | 0.01638 | 0.01652 | 0.01515 | 1 | 0 | 0.06954 | 0.03326 | 0.03297 | 0.1816 | 10.99 | 2.828 | 0.2022 | 0.4228 | 1 | 1 | 0.02543 | 0.1095 | 0.2757 | 0.1546 | 0.6659 | 1.676 | json |
| t14_x25_u4_b49 | 14 | 25 | 4 | 49 | ![]() |
cil(pow(mod(R,R),D)) | 68616 | 114699292 | o1(o2(o2(x,x),x)) | true | 36935 | 36935 | -0.8762 | 0.0625 | 0.9988 | 0.2307 | 0.4804 | -1 | 1 | 2 | 1 | 0.3612 | 0.02417 | 0.02542 | 0.02515 | -0.02521 | 1 | 0 | 0.1043 | 0.05016 | 0.04898 | 0.2213 | 8.799 | 2.828 | 0.2149 | 0.4521 | 1 | 1 | 0.03767 | 0.1526 | 0.4213 | 0.1633 | 0.6613 | 1.826 | json |
| t14_x25_u4_b50 | 14 | 25 | 4 | 50 | ![]() |
cil(pow(lrg(R,R),D)) | 68617 | 114699293 | o1(o2(o2(x,x),x)) | true | 36943 | 36943 | -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_x25_u4_b51 | 14 | 25 | 4 | 51 | ![]() |
cil(pow(eql(R,R),D)) | 68618 | 114699294 | o1(o2(o2(x,x),x)) | true | 36951 | 36951 | 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 |
| t14_x25_u4_b52 | 14 | 25 | 4 | 52 | ![]() |
cil(pow(min(R,R),D)) | 68619 | 114699295 | o1(o2(o2(x,x),x)) | true | 36959 | 36959 | -0.9141 | 0.04297 | 1 | 0.1645 | 0.4056 | -1 | 1 | 2 | 1 | 0.2557 | 0.01688 | 0.01638 | 0.01652 | 0.01515 | 1 | 0 | 0.06954 | 0.03326 | 0.03297 | 0.1816 | 10.99 | 2.828 | 0.2022 | 0.4228 | 1 | 1 | 0.02543 | 0.1095 | 0.2757 | 0.1546 | 0.6659 | 1.676 | json |
| t14_x25_u4_b53 | 14 | 25 | 4 | 53 | ![]() |
cil(pow(dot(R,R),D)) | 68620 | 114699296 | o1(o2(o2(x,x),x)) | true | 36967 | 36967 | 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 |
| t14_x25_u4_b54 | 14 | 25 | 4 | 54 | ![]() |
cil(pow(dst(R,R),D)) | 68621 | 114699297 | o1(o2(o2(x,x),x)) | true | 36975 | 36975 | 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 |
| t14_x25_u4_b55 | 14 | 25 | 4 | 55 | ![]() |
cil(mod(add(R,R),D)) | 68622 | 114699298 | o1(o2(o2(x,x),x)) | true | 36983 | 36983 | 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 |
| t14_x25_u4_b56 | 14 | 25 | 4 | 56 | ![]() |
cil(mod(sub(R,R),D)) | 68623 | 114699299 | o1(o2(o2(x,x),x)) | true | 36991 | 36991 | 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_x25_u4_b57 | 14 | 25 | 4 | 57 | ![]() |
cil(mod(mlt(R,R),D)) | 68624 | 114699300 | o1(o2(o2(x,x),x)) | true | 36999 | 36999 | 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 |
| t14_x25_u4_b58 | 14 | 25 | 4 | 58 | ![]() |
cil(mod(div(R,R),D)) | 68625 | 114699301 | o1(o2(o2(x,x),x)) | true | 37007 | 37007 | 0.9048 | 1 | 0.9048 | 0.08159 | 0.2856 | 0.000291 | 1 | 0.9997 | 1 | 0.6686 | 0.08581 | 0.0002295 | 0.09178 | 0.9947 | 1 | -0.00000141 | 0.1721 | 0.1807 | 0.07763 | 0.2786 | 3.036 | 0.9997 | 1.055 | 2.109 | 1 | 1 | 0.083 | 0.08887 | 0.03416 | 1.017 | 1.089 | 0.4186 | json |
| t14_x25_u4_b59 | 14 | 25 | 4 | 59 | ![]() |
cil(mod(pow(R,R),D)) | 68626 | 114699302 | o1(o2(o2(x,x),x)) | true | 37015 | 37015 | -0.9141 | 0.04297 | 1 | 0.1645 | 0.4056 | -1 | 1 | 2 | 1 | 0.2557 | 0.01688 | 0.01638 | 0.01652 | 0.01515 | 1 | 0 | 0.06954 | 0.03326 | 0.03297 | 0.1816 | 10.99 | 2.828 | 0.2022 | 0.4228 | 1 | 1 | 0.02543 | 0.1095 | 0.2757 | 0.1546 | 0.6659 | 1.676 | json |
| t14_x25_u4_b60 | 14 | 25 | 4 | 60 | ![]() |
cil(mod(mod(R,R),D)) | 68627 | 114699303 | o1(o2(o2(x,x),x)) | true | 37023 | 37023 | 0.09766 | 0.3093 | 0.09766 | 0.05569 | 0.236 | 0 | 1 | 1 | 1 | 1.481 | 0.0007269 | 0.0007714 | 0.01782 | -0.02968 | 1 | -0.00003992 | 0.0000893 | 0.00432 | 0.001181 | 0.03436 | 1.929 | 0.1169 | 0.02691 | 0.001604 | 1 | 1 | 0.003155 | 0.04072 | 0.1218 | 0.05666 | 0.7313 | 2.187 | json |
| t14_x25_u4_b61 | 14 | 25 | 4 | 61 | ![]() |
cil(mod(lrg(R,R),D)) | 68628 | 114699304 | o1(o2(o2(x,x),x)) | true | 37031 | 37031 | 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_x25_u4_b62 | 14 | 25 | 4 | 62 | ![]() |
cil(mod(eql(R,R),D)) | 68629 | 114699305 | o1(o2(o2(x,x),x)) | true | 37039 | 37039 | 0.875 | 1 | 0.875 | 0.1093 | 0.3306 | 0.000291 | 1 | 0.9997 | 1 | 0.5436 | 0.119 | 0 | 0.119 | 1 | 1 | 2.838e-8 | 0.2379 | 0.238 | 0.1048 | 0.3238 | 2.721 | 0.9997 | 1.088 | 2.177 | 1 | 1 | 0.121 | 0.121 | 0 | 1.107 | 1.107 | 0 | json |
| t14_x25_u4_b63 | 14 | 25 | 4 | 63 | ![]() |
cil(mod(min(R,R),D)) | 68630 | 114699306 | o1(o2(o2(x,x),x)) | true | 37047 | 37047 | 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 |
| t14_x25_u4_b64 | 14 | 25 | 4 | 64 | ![]() |
cil(mod(dot(R,R),D)) | 68631 | 114699307 | o1(o2(o2(x,x),x)) | true | 37055 | 37055 | 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 |
| t14_x25_u4_b65 | 14 | 25 | 4 | 65 | ![]() |
cil(mod(dst(R,R),D)) | 68632 | 114699308 | o1(o2(o2(x,x),x)) | true | 37063 | 37063 | 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_x25_u4_b66 | 14 | 25 | 4 | 66 | ![]() |
cil(lrg(add(R,R),D)) | 68633 | 114699309 | o1(o2(o2(x,x),x)) | true | 37071 | 37071 | 0.4898 | 0.9172 | 0.4898 | 0.1541 | 0.3926 | 0 | 1 | 1 | 1 | 3.432 | 0.01004 | 0.002285 | 0.06307 | 0.6294 | 1 | 0.00008436 | 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 |
| t14_x25_u4_b67 | 14 | 25 | 4 | 67 | ![]() |
cil(lrg(sub(R,R),D)) | 68634 | 114699310 | o1(o2(o2(x,x),x)) | true | 37079 | 37079 | 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 |
| t14_x25_u4_b68 | 14 | 25 | 4 | 68 | ![]() |
cil(lrg(mlt(R,R),D)) | 68635 | 114699311 | o1(o2(o2(x,x),x)) | true | 37087 | 37087 | 0.7585 | 1 | 0.7585 | 0.09126 | 0.3021 | 0.000291 | 1 | 0.9997 | 1 | 3.011 | 0.03071 | 0.0009731 | 0.087 | 0.9386 | 1 | 0.000294 | 0.05888 | 0.09129 | 0.02411 | 0.1553 | 1.785 | 0.9994 | 0.3471 | 0.6452 | 1 | 1 | 0.0336 | 0.1326 | 0.1315 | 0.3681 | 1.453 | 1.44 | json |
| t14_x25_u4_b69 | 14 | 25 | 4 | 69 | ![]() |
cil(lrg(div(R,R),D)) | 68636 | 114699312 | o1(o2(o2(x,x),x)) | true | 37095 | 37095 | 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 |
| t14_x25_u4_b70 | 14 | 25 | 4 | 70 | ![]() |
cil(lrg(pow(R,R),D)) | 68637 | 114699313 | o1(o2(o2(x,x),x)) | true | 37103 | 37103 | 0.9964 | 1 | 0.9964 | 0.0002432 | 0.0156 | 0.8608 | 1 | 0.1392 | 1 | 0.1734 | 0.0002694 | 0.000003136 | 0.00431 | 0.977 | 1 | 0.0000386 | 0.0006525 | 0.006403 | 0.0002538 | 0.01593 | 3.696 | 0.1392 | 1.12 | 2.682 | 1 | 1 | 0.0002199 | 0.000344 | 0.000369 | 0.9038 | 1.414 | 1.517 | json |
| t14_x25_u4_b71 | 14 | 25 | 4 | 71 | ![]() |
cil(lrg(mod(R,R),D)) | 68638 | 114699314 | o1(o2(o2(x,x),x)) | true | 37111 | 37111 | 0.49 | 0.9884 | 0.49 | 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 |
| t14_x25_u4_b72 | 14 | 25 | 4 | 72 | ![]() |
cil(lrg(lrg(R,R),D)) | 68639 | 114699315 | o1(o2(o2(x,x),x)) | true | 37119 | 37119 | 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 |
| t14_x25_u4_b73 | 14 | 25 | 4 | 73 | ![]() |
cil(lrg(eql(R,R),D)) | 68640 | 114699316 | o1(o2(o2(x,x),x)) | true | 37127 | 37127 | 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 |
| t14_x25_u4_b74 | 14 | 25 | 4 | 74 | ![]() |
cil(lrg(min(R,R),D)) | 68641 | 114699317 | o1(o2(o2(x,x),x)) | true | 37135 | 37135 | 0.4991 | 0.9305 | 0.4991 | 0.1466 | 0.3829 | 0 | 1 | 1 | 1 | 3.529 | 0.0202 | 0.00212 | 0.08082 | 0.81 | 1 | 0.00001402 | 0.03815 | 0.07049 | 0.01579 | 0.1257 | 1.555 | 0.9997 | 0.1522 | 0.2602 | 1 | 1 | 0.02456 | 0.14 | 0.2709 | 0.1675 | 0.9551 | 1.848 | json |
| t14_x25_u4_b75 | 14 | 25 | 4 | 75 | ![]() |
cil(lrg(dot(R,R),D)) | 68642 | 114699318 | o1(o2(o2(x,x),x)) | true | 37143 | 37143 | 0.9534 | 1 | 0.9534 | 0.01835 | 0.1355 | 0.000582 | 1 | 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.7667 | 1 | 1 | 0.006341 | 0.02133 | 0.02968 | 0.3455 | 1.162 | 1.617 | json |
| t14_x25_u4_b76 | 14 | 25 | 4 | 76 | ![]() |
cil(lrg(dst(R,R),D)) | 68643 | 114699319 | o1(o2(o2(x,x),x)) | true | 37151 | 37151 | 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 |
| t14_x25_u4_b77 | 14 | 25 | 4 | 77 | ![]() |
cil(eql(add(R,R),D)) | 68644 | 114699320 | o1(o2(o2(x,x),x)) | true | 37159 | 37159 | 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_x25_u4_b78 | 14 | 25 | 4 | 78 | ![]() |
cil(eql(sub(R,R),D)) | 68645 | 114699321 | o1(o2(o2(x,x),x)) | true | 37167 | 37167 | 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_x25_u4_b79 | 14 | 25 | 4 | 79 | ![]() |
cil(eql(mlt(R,R),D)) | 68646 | 114699322 | o1(o2(o2(x,x),x)) | true | 37175 | 37175 | 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 |
| t14_x25_u4_b80 | 14 | 25 | 4 | 80 | ![]() |
cil(eql(div(R,R),D)) | 68647 | 114699323 | o1(o2(o2(x,x),x)) | true | 37183 | 37183 | 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_x25_u4_b81 | 14 | 25 | 4 | 81 | ![]() |
cil(eql(pow(R,R),D)) | 68648 | 114699324 | o1(o2(o2(x,x),x)) | true | 37191 | 37191 | 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_x25_u4_b82 | 14 | 25 | 4 | 82 | ![]() |
cil(eql(mod(R,R),D)) | 68649 | 114699325 | o1(o2(o2(x,x),x)) | true | 37199 | 37199 | 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_x25_u4_b83 | 14 | 25 | 4 | 83 | ![]() |
cil(eql(lrg(R,R),D)) | 68650 | 114699326 | o1(o2(o2(x,x),x)) | true | 37207 | 37207 | 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_x25_u4_b84 | 14 | 25 | 4 | 84 | ![]() |
cil(eql(eql(R,R),D)) | 68651 | 114699327 | o1(o2(o2(x,x),x)) | true | 37215 | 37215 | 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_x25_u4_b85 | 14 | 25 | 4 | 85 | ![]() |
cil(eql(min(R,R),D)) | 68652 | 114699328 | o1(o2(o2(x,x),x)) | true | 37223 | 37223 | 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_x25_u4_b86 | 14 | 25 | 4 | 86 | ![]() |
cil(eql(dot(R,R),D)) | 68653 | 114699329 | o1(o2(o2(x,x),x)) | true | 37231 | 37231 | 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 |
| t14_x25_u4_b87 | 14 | 25 | 4 | 87 | ![]() |
cil(eql(dst(R,R),D)) | 68654 | 114699330 | o1(o2(o2(x,x),x)) | true | 37239 | 37239 | 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_x25_u4_b88 | 14 | 25 | 4 | 88 | ![]() |
cil(min(add(R,R),D)) | 68655 | 114699331 | o1(o2(o2(x,x),x)) | true | 37247 | 37247 | 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 |
| t14_x25_u4_b89 | 14 | 25 | 4 | 89 | ![]() |
cil(min(sub(R,R),D)) | 68656 | 114699332 | o1(o2(o2(x,x),x)) | true | 37255 | 37255 | 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_x25_u4_b90 | 14 | 25 | 4 | 90 | ![]() |
cil(min(mlt(R,R),D)) | 68657 | 114699333 | o1(o2(o2(x,x),x)) | true | 37263 | 37263 | 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 |
| t14_x25_u4_b91 | 14 | 25 | 4 | 91 | ![]() |
cil(min(div(R,R),D)) | 68658 | 114699334 | o1(o2(o2(x,x),x)) | true | 37271 | 37271 | 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 |
| t14_x25_u4_b92 | 14 | 25 | 4 | 92 | ![]() |
cil(min(pow(R,R),D)) | 68659 | 114699335 | o1(o2(o2(x,x),x)) | true | 37279 | 37279 | 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 |
| t14_x25_u4_b93 | 14 | 25 | 4 | 93 | ![]() |
cil(min(mod(R,R),D)) | 68660 | 114699336 | o1(o2(o2(x,x),x)) | true | 37287 | 37287 | 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 |
| t14_x25_u4_b94 | 14 | 25 | 4 | 94 | ![]() |
cil(min(lrg(R,R),D)) | 68661 | 114699337 | o1(o2(o2(x,x),x)) | true | 37295 | 37295 | 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_x25_u4_b95 | 14 | 25 | 4 | 95 | ![]() |
cil(min(eql(R,R),D)) | 68662 | 114699338 | o1(o2(o2(x,x),x)) | true | 37303 | 37303 | 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 |
| t14_x25_u4_b96 | 14 | 25 | 4 | 96 | ![]() |
cil(min(min(R,R),D)) | 68663 | 114699339 | o1(o2(o2(x,x),x)) | true | 37311 | 37311 | 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 |
| t14_x25_u4_b97 | 14 | 25 | 4 | 97 | ![]() |
cil(min(dot(R,R),D)) | 68664 | 114699340 | o1(o2(o2(x,x),x)) | true | 37319 | 37319 | 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 |
| t14_x25_u4_b98 | 14 | 25 | 4 | 98 | ![]() |
cil(min(dst(R,R),D)) | 68665 | 114699341 | o1(o2(o2(x,x),x)) | true | 37327 | 37327 | 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_x25_u4_b99 | 14 | 25 | 4 | 99 | ![]() |
cil(dot(add(R,R),D)) | 68666 | 114699342 | o1(o2(o2(x,x),x)) | true | 37335 | 37335 | 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 |
| t14_x25_u4_b100 | 14 | 25 | 4 | 100 | ![]() |
cil(dot(sub(R,R),D)) | 68667 | 114699343 | o1(o2(o2(x,x),x)) | true | 37343 | 37343 | 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_x25_u4_b101 | 14 | 25 | 4 | 101 | ![]() |
cil(dot(mlt(R,R),D)) | 68668 | 114699344 | o1(o2(o2(x,x),x)) | true | 37351 | 37351 | 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 |
| t14_x25_u4_b102 | 14 | 25 | 4 | 102 | ![]() |
cil(dot(div(R,R),D)) | 68669 | 114699345 | o1(o2(o2(x,x),x)) | true | 37359 | 37359 | 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 |
| t14_x25_u4_b103 | 14 | 25 | 4 | 103 | ![]() |
cil(dot(pow(R,R),D)) | 68670 | 114699346 | o1(o2(o2(x,x),x)) | true | 37367 | 37367 | -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 |
| t14_x25_u4_b104 | 14 | 25 | 4 | 104 | ![]() |
cil(dot(mod(R,R),D)) | 68671 | 114699347 | o1(o2(o2(x,x),x)) | true | 37375 | 37375 | 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 |
| t14_x25_u4_b105 | 14 | 25 | 4 | 105 | ![]() |
cil(dot(lrg(R,R),D)) | 68672 | 114699348 | o1(o2(o2(x,x),x)) | true | 37383 | 37383 | 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_x25_u4_b106 | 14 | 25 | 4 | 106 | ![]() |
cil(dot(eql(R,R),D)) | 68673 | 114699349 | o1(o2(o2(x,x),x)) | true | 37391 | 37391 | 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 |
| t14_x25_u4_b107 | 14 | 25 | 4 | 107 | ![]() |
cil(dot(min(R,R),D)) | 68674 | 114699350 | o1(o2(o2(x,x),x)) | true | 37399 | 37399 | 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 |
| t14_x25_u4_b108 | 14 | 25 | 4 | 108 | ![]() |
cil(dot(dot(R,R),D)) | 68675 | 114699351 | o1(o2(o2(x,x),x)) | true | 37407 | 37407 | 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 |
| t14_x25_u4_b109 | 14 | 25 | 4 | 109 | ![]() |
cil(dot(dst(R,R),D)) | 68676 | 114699352 | o1(o2(o2(x,x),x)) | true | 37415 | 37415 | 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_x25_u4_b110 | 14 | 25 | 4 | 110 | ![]() |
cil(dst(add(R,R),D)) | 68677 | 114699353 | o1(o2(o2(x,x),x)) | true | 37423 | 37423 | 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 |
| t14_x25_u4_b111 | 14 | 25 | 4 | 111 | ![]() |
cil(dst(sub(R,R),D)) | 68678 | 114699354 | o1(o2(o2(x,x),x)) | true | 37431 | 37431 | 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 |
| t14_x25_u4_b112 | 14 | 25 | 4 | 112 | ![]() |
cil(dst(mlt(R,R),D)) | 68679 | 114699355 | o1(o2(o2(x,x),x)) | true | 37439 | 37439 | 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 |
| t14_x25_u4_b113 | 14 | 25 | 4 | 113 | ![]() |
cil(dst(div(R,R),D)) | 68680 | 114699356 | o1(o2(o2(x,x),x)) | true | 37447 | 37447 | 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 |
| t14_x25_u4_b114 | 14 | 25 | 4 | 114 | ![]() |
cil(dst(pow(R,R),D)) | 68681 | 114699357 | o1(o2(o2(x,x),x)) | true | 37455 | 37455 | -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_x25_u4_b115 | 14 | 25 | 4 | 115 | ![]() |
cil(dst(mod(R,R),D)) | 68682 | 114699358 | o1(o2(o2(x,x),x)) | true | 37463 | 37463 | 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 |
| t14_x25_u4_b116 | 14 | 25 | 4 | 116 | ![]() |
cil(dst(lrg(R,R),D)) | 68683 | 114699359 | o1(o2(o2(x,x),x)) | true | 37471 | 37471 | 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 |
| t14_x25_u4_b117 | 14 | 25 | 4 | 117 | ![]() |
cil(dst(eql(R,R),D)) | 68684 | 114699360 | o1(o2(o2(x,x),x)) | true | 37479 | 37479 | 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 |
| t14_x25_u4_b118 | 14 | 25 | 4 | 118 | ![]() |
cil(dst(min(R,R),D)) | 68685 | 114699361 | o1(o2(o2(x,x),x)) | true | 37487 | 37487 | 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 |
| t14_x25_u4_b119 | 14 | 25 | 4 | 119 | ![]() |
cil(dst(dot(R,R),D)) | 68686 | 114699362 | o1(o2(o2(x,x),x)) | true | 37495 | 37495 | 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 |
| t14_x25_u4_b120 | 14 | 25 | 4 | 120 | ![]() |
cil(dst(dst(R,R),D)) | 68687 | 114699363 | o1(o2(o2(x,x),x)) | true | 37503 | 37503 | 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 |
| t14_x25_u5_b0 | 14 | 25 | 5 | 0 | ![]() |
sgn(add(add(R,R),D)) | 68688 | 114699444 | o1(o2(o2(x,x),x)) | true | 37511 | 37511 | -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 |
| t14_x25_u5_b1 | 14 | 25 | 5 | 1 | ![]() |
sgn(add(sub(R,R),D)) | 68689 | 114699445 | o1(o2(o2(x,x),x)) | true | 37519 | 37519 | -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 |
| t14_x25_u5_b2 | 14 | 25 | 5 | 2 | ![]() |
sgn(add(mlt(R,R),D)) | 68690 | 114699446 | o1(o2(o2(x,x),x)) | true | 37527 | 37527 | 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 |
| t14_x25_u5_b3 | 14 | 25 | 5 | 3 | ![]() |
sgn(add(div(R,R),D)) | 68691 | 114699447 | o1(o2(o2(x,x),x)) | true | 37535 | 37535 | 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 |
| t14_x25_u5_b4 | 14 | 25 | 5 | 4 | ![]() |
sgn(add(pow(R,R),D)) | 68692 | 114699448 | o1(o2(o2(x,x),x)) | true | 37543 | 37543 | -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 |
| t14_x25_u5_b5 | 14 | 25 | 5 | 5 | ![]() |
sgn(add(mod(R,R),D)) | 68693 | 114699449 | o1(o2(o2(x,x),x)) | true | 37551 | 37551 | -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 |
| t14_x25_u5_b6 | 14 | 25 | 5 | 6 | ![]() |
sgn(add(lrg(R,R),D)) | 68694 | 114699450 | o1(o2(o2(x,x),x)) | true | 37559 | 37559 | -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 |
| t14_x25_u5_b7 | 14 | 25 | 5 | 7 | ![]() |
sgn(add(eql(R,R),D)) | 68695 | 114699451 | o1(o2(o2(x,x),x)) | true | 37567 | 37567 | 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 |
| t14_x25_u5_b8 | 14 | 25 | 5 | 8 | ![]() |
sgn(add(min(R,R),D)) | 68696 | 114699452 | o1(o2(o2(x,x),x)) | true | 37575 | 37575 | -0.0009184 | 0.5006 | 0.6896 | 0.5751 | 0.7584 | -1 | 1 | 2 | 1 | 4.103 | 0.07927 | 0.00835 | 0.1632 | 0.8094 | 1 | 0.00002957 | 0.1488 | 0.1401 | 0.06097 | 0.2469 | 1.513 | 1.999 | 0.1524 | 0.2588 | 1 | 1 | 0.09616 | 0.5801 | 1.041 | 0.1672 | 1.009 | 1.81 | json |
| t14_x25_u5_b9 | 14 | 25 | 5 | 9 | ![]() |
sgn(add(dot(R,R),D)) | 68697 | 114699453 | o1(o2(o2(x,x),x)) | true | 37583 | 37583 | 0.9059 | 0.9711 | 0.9268 | 0.07465 | 0.2732 | -0.9988 | 1 | 1.999 | 1 | 1.374 | 0.02804 | 0.001076 | 0.04904 | 0.9261 | 1 | 0.0005507 | 0.05672 | 0.05491 | 0.02671 | 0.1634 | 3.333 | 1.998 | 0.39 | 0.7598 | 1 | 1 | 0.02449 | 0.08201 | 0.1171 | 0.3281 | 1.099 | 1.568 | json |
| t14_x25_u5_b10 | 14 | 25 | 5 | 10 | ![]() |
sgn(add(dst(R,R),D)) | 68698 | 114699454 | o1(o2(o2(x,x),x)) | true | 37591 | 37591 | -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 |
| t14_x25_u5_b11 | 14 | 25 | 5 | 11 | ![]() |
sgn(sub(add(R,R),D)) | 68699 | 114699455 | o1(o2(o2(x,x),x)) | true | 37599 | 37599 | -0.02032 | 0.4877 | 0.721 | 0.6165 | 0.7852 | -1 | 1 | 2 | 1 | 4.006 | 0.04018 | 0.009139 | 0.1261 | 0.6294 | 1 | 0.0001687 | 0.06812 | 0.07761 | 0.03341 | 0.1828 | 1.449 | 1.999 | 0.08 | 0.1105 | 1 | 1 | 0.06218 | 0.513 | 1.176 | 0.1009 | 0.8321 | 1.907 | json |



































































































