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_x16_u0_b60 | 12 | 16 | 0 | 60 | ![]() |
sqt(mod(D,mod(R,D))) | 32800 | 98093688 | o1(o2(x,o2(x,x))) | true | 92247 | 92247 | -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_x16_u0_b61 | 12 | 16 | 0 | 61 | ![]() |
sqt(mod(D,lrg(R,D))) | 32801 | 98093689 | o1(o2(x,o2(x,x))) | true | 92255 | 92255 | -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_x16_u0_b62 | 12 | 16 | 0 | 62 | ![]() |
sqt(mod(D,eql(R,D))) | 32802 | 98093690 | o1(o2(x,o2(x,x))) | true | 92263 | 92263 | -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_x16_u0_b63 | 12 | 16 | 0 | 63 | ![]() |
sqt(mod(D,min(R,D))) | 32803 | 98093691 | o1(o2(x,o2(x,x))) | true | 92271 | 92271 | -0.4334 | 0.4249 | 0.6203 | 0.3695 | 0.6078 | -1 | 0.4565 | 1.457 | 1 | 2.257 | 0.284 | 0.01273 | 0.2994 | 0.9142 | 1 | 0.0001852 | 0.7385 | 0.5724 | 0.2071 | 0.4551 | 1.52 | 2.027 | 0.803 | 1.999 | 1 | 1 | 0.237 | 0.5787 | 0.3319 | 0.6415 | 1.566 | 0.8983 | json |
| t12_x16_u0_b64 | 12 | 16 | 0 | 64 | ![]() |
sqt(mod(D,dot(R,D))) | 32804 | 98093692 | o1(o2(x,o2(x,x))) | true | 92279 | 92279 | -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_x16_u0_b65 | 12 | 16 | 0 | 65 | ![]() |
sqt(mod(D,dst(R,D))) | 32805 | 98093693 | o1(o2(x,o2(x,x))) | true | 92287 | 92287 | -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_x16_u0_b66 | 12 | 16 | 0 | 66 | ![]() |
sqt(lrg(D,add(R,D))) | 32806 | 98093694 | o1(o2(x,o2(x,x))) | true | 92295 | 92295 | 0.5176 | 0.9429 | 0.5176 | 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_x16_u0_b67 | 12 | 16 | 0 | 67 | ![]() |
sqt(lrg(D,sub(R,D))) | 32807 | 98093695 | o1(o2(x,o2(x,x))) | true | 92303 | 92303 | 0.4977 | 0.9553 | 0.4977 | 0.1257 | 0.3546 | 0 | 1 | 1 | 1 | 3.657 | 0.03726 | 0.00162 | 0.111 | 0.9167 | 1 | 0.0007312 | 0.07287 | 0.1148 | 0.02657 | 0.163 | 1.469 | 0.9997 | 0.3093 | 0.5797 | 1 | 1 | 0.04081 | 0.1633 | 0.2124 | 0.3247 | 1.299 | 1.69 | json |
| t12_x16_u0_b68 | 12 | 16 | 0 | 68 | ![]() |
sqt(lrg(D,mlt(R,D))) | 32808 | 98093696 | o1(o2(x,o2(x,x))) | true | 92311 | 92311 | 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_x16_u0_b69 | 12 | 16 | 0 | 69 | ![]() |
sqt(lrg(D,div(R,D))) | 32809 | 98093697 | o1(o2(x,o2(x,x))) | true | 92319 | 92319 | 0.4963 | 0.9268 | 0.4963 | 0.1479 | 0.3846 | 0 | 1 | 1 | 1 | 3.51 | 0.05445 | 0.002214 | 0.1134 | 0.9218 | 1 | -0.00000919 | 0.1084 | 0.1387 | 0.04381 | 0.2093 | 1.846 | 1 | 0.3831 | 0.7326 | 1 | 1 | 0.05886 | 0.2477 | 0.2858 | 0.3979 | 1.675 | 1.932 | json |
| t12_x16_u0_b70 | 12 | 16 | 0 | 70 | ![]() |
sqt(lrg(D,pow(R,D))) | 32810 | 98093698 | o1(o2(x,o2(x,x))) | true | 92327 | 92327 | 0.538 | 0.9663 | 0.538 | 0.1539 | 0.3924 | 0 | 1 | 1 | 1 | 3.403 | 0.005094 | 0.002393 | 0.05716 | 0.3608 | 1 | -0.00002211 | 0.006756 | 0.02771 | 0.004221 | 0.06497 | 1.137 | 0.9264 | 0.04864 | 0.04389 | 1 | 1 | 0.01138 | 0.1181 | 0.2885 | 0.0739 | 0.7669 | 1.874 | json |
| t12_x16_u0_b71 | 12 | 16 | 0 | 71 | ![]() |
sqt(lrg(D,mod(R,D))) | 32811 | 98093699 | o1(o2(x,o2(x,x))) | true | 92335 | 92335 | 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_x16_u0_b72 | 12 | 16 | 0 | 72 | ![]() |
sqt(lrg(D,lrg(R,D))) | 32812 | 98093700 | o1(o2(x,o2(x,x))) | true | 92343 | 92343 | 0.316 | 0.905 | 0.316 | 0.1174 | 0.3427 | 0 | 0.9997 | 0.9997 | 1 | 3.271 | 0.03888 | 0.001031 | 0.09674 | 0.9483 | 1 | -0.00004789 | 0.07352 | 0.1006 | 0.03055 | 0.1748 | 1.807 | 0.9997 | 0.3398 | 0.626 | 1 | 1 | 0.04371 | 0.1708 | 0.1383 | 0.3722 | 1.454 | 1.177 | json |
| t12_x16_u0_b73 | 12 | 16 | 0 | 73 | ![]() |
sqt(lrg(D,eql(R,D))) | 32813 | 98093701 | o1(o2(x,o2(x,x))) | true | 92351 | 92351 | 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_x16_u0_b74 | 12 | 16 | 0 | 74 | ![]() |
sqt(lrg(D,min(R,D))) | 32814 | 98093702 | o1(o2(x,o2(x,x))) | true | 92359 | 92359 | 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_x16_u0_b75 | 12 | 16 | 0 | 75 | ![]() |
sqt(lrg(D,dot(R,D))) | 32815 | 98093703 | o1(o2(x,o2(x,x))) | true | 92367 | 92367 | 0.4965 | 0.9629 | 0.4965 | 0.1256 | 0.3544 | 0 | 1 | 1 | 1 | 3.718 | 0.04116 | 0.02596 | 0.1343 | 0.2265 | 1 | 0.0001299 | 0.1995 | 0.1735 | 0.04909 | 0.2216 | 1.65 | 1.413 | 0.5343 | 1.588 | 1 | 1 | 0.07113 | 0.2507 | 0.1625 | 0.5663 | 1.996 | 1.294 | json |
| t12_x16_u0_b76 | 12 | 16 | 0 | 76 | ![]() |
sqt(lrg(D,dst(R,D))) | 32816 | 98093704 | o1(o2(x,o2(x,x))) | true | 92375 | 92375 | 0.01319 | 0.1343 | 0.01319 | 0.004252 | 0.06521 | 0 | 0.9926 | 0.9926 | 1 | 0.4432 | 0.001892 | 0.001167 | 0.01042 | 0.2371 | 1 | -0.0000432 | 0.01 | 0.01531 | 0.00295 | 0.05431 | 5.211 | 1.388 | 0.7195 | 2.353 | 1 | 1 | 0.002267 | 0.005917 | 0.006418 | 0.5331 | 1.391 | 1.509 | json |
| t12_x16_u0_b77 | 12 | 16 | 0 | 77 | ![]() |
sqt(eql(D,add(R,D))) | 32817 | 98093705 | o1(o2(x,o2(x,x))) | true | 92383 | 92383 | 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_x16_u0_b78 | 12 | 16 | 0 | 78 | ![]() |
sqt(eql(D,sub(R,D))) | 32818 | 98093706 | o1(o2(x,o2(x,x))) | true | 92391 | 92391 | 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_x16_u0_b79 | 12 | 16 | 0 | 79 | ![]() |
sqt(eql(D,mlt(R,D))) | 32819 | 98093707 | o1(o2(x,o2(x,x))) | true | 92399 | 92399 | 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_x16_u0_b80 | 12 | 16 | 0 | 80 | ![]() |
sqt(eql(D,div(R,D))) | 32820 | 98093708 | o1(o2(x,o2(x,x))) | true | 92407 | 92407 | 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_x16_u0_b81 | 12 | 16 | 0 | 81 | ![]() |
sqt(eql(D,pow(R,D))) | 32821 | 98093709 | o1(o2(x,o2(x,x))) | true | 92415 | 92415 | 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_x16_u0_b82 | 12 | 16 | 0 | 82 | ![]() |
sqt(eql(D,mod(R,D))) | 32822 | 98093710 | o1(o2(x,o2(x,x))) | true | 92423 | 92423 | 0.0001621 | 0.000473 | 0.0001621 | 0.0001059 | 0.01029 | 0 | 0.9994 | 0.9994 | 1 | 0.005945 | 0.0001494 | 0.00000155 | 0.000255 | 0.9795 | 1 | 4.735e-7 | 0.0004528 | 0.0005024 | 0.0001508 | 0.01228 | 48.16 | 0.9702 | 1.425 | 4.276 | 1 | 1 | 0 | 0 | 0.0000808 | 0 | 0 | 0.7632 | json |
| t12_x16_u0_b83 | 12 | 16 | 0 | 83 | ![]() |
sqt(eql(D,lrg(R,D))) | 32823 | 98093711 | o1(o2(x,o2(x,x))) | true | 92431 | 92431 | 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_x16_u0_b84 | 12 | 16 | 0 | 84 | ![]() |
sqt(eql(D,eql(R,D))) | 32824 | 98093712 | o1(o2(x,o2(x,x))) | true | 92439 | 92439 | 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_x16_u0_b85 | 12 | 16 | 0 | 85 | ![]() |
sqt(eql(D,min(R,D))) | 32825 | 98093713 | o1(o2(x,o2(x,x))) | true | 92447 | 92447 | 0.4992 | 0.9305 | 0.4992 | 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_x16_u0_b86 | 12 | 16 | 0 | 86 | ![]() |
sqt(eql(D,dot(R,D))) | 32826 | 98093714 | o1(o2(x,o2(x,x))) | true | 92455 | 92455 | 0.0002289 | 0.0005951 | 0.0002289 | 0.0001639 | 0.0128 | 0 | 0.9994 | 0.9994 | 1 | 0.007102 | 0.0002676 | 0.0002676 | 0.0006704 | -5.439e-8 | 1 | -6.57e-12 | 0.002676 | 0.001571 | 0.0005344 | 0.02312 | 34.48 | 1.271 | 3.265 | 16.32 | 1 | 1 | 0.0000865 | 0.00009909 | 0.0001285 | 0.5278 | 0.6046 | 0.7839 | json |
| t12_x16_u0_b87 | 12 | 16 | 0 | 87 | ![]() |
sqt(eql(D,dst(R,D))) | 32827 | 98093715 | o1(o2(x,o2(x,x))) | true | 92463 | 92463 | 0.00001564 | 0.00009155 | 0.00001564 | 0.00000586 | 0.002421 | 0 | 0.5782 | 0.5782 | 1 | 0.001258 | 0.0000121 | 0.0000121 | 0.00005511 | 0 | 0 | 0 | 0.000121 | 0.0001291 | 0.00002419 | 0.004918 | 89.24 | 0.8177 | 4.128 | 20.64 | 1 | 1 | 0.000001655 | 0.000001655 | 0.000001677 | 0.2824 | 0.2824 | 0.2862 | json |
| t12_x16_u0_b88 | 12 | 16 | 0 | 88 | ![]() |
sqt(min(D,add(R,D))) | 32828 | 98093716 | o1(o2(x,o2(x,x))) | true | 92471 | 92471 | -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_x16_u0_b89 | 12 | 16 | 0 | 89 | ![]() |
sqt(min(D,sub(R,D))) | 32829 | 98093717 | o1(o2(x,o2(x,x))) | true | 92479 | 92479 | -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_x16_u0_b90 | 12 | 16 | 0 | 90 | ![]() |
sqt(min(D,mlt(R,D))) | 32830 | 98093718 | o1(o2(x,o2(x,x))) | true | 92487 | 92487 | -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_x16_u0_b91 | 12 | 16 | 0 | 91 | ![]() |
sqt(min(D,div(R,D))) | 32831 | 98093719 | o1(o2(x,o2(x,x))) | true | 92495 | 92495 | -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_x16_u0_b92 | 12 | 16 | 0 | 92 | ![]() |
sqt(min(D,pow(R,D))) | 32832 | 98093720 | o1(o2(x,o2(x,x))) | true | 92503 | 92503 | -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_x16_u0_b93 | 12 | 16 | 0 | 93 | ![]() |
sqt(min(D,mod(R,D))) | 32833 | 98093721 | o1(o2(x,o2(x,x))) | true | 92511 | 92511 | -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_x16_u0_b94 | 12 | 16 | 0 | 94 | ![]() |
sqt(min(D,lrg(R,D))) | 32834 | 98093722 | o1(o2(x,o2(x,x))) | true | 92519 | 92519 | -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_x16_u0_b95 | 12 | 16 | 0 | 95 | ![]() |
sqt(min(D,eql(R,D))) | 32835 | 98093723 | o1(o2(x,o2(x,x))) | true | 92527 | 92527 | -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_x16_u0_b96 | 12 | 16 | 0 | 96 | ![]() |
sqt(min(D,min(R,D))) | 32836 | 98093724 | o1(o2(x,o2(x,x))) | true | 92535 | 92535 | -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_x16_u0_b97 | 12 | 16 | 0 | 97 | ![]() |
sqt(min(D,dot(R,D))) | 32837 | 98093725 | o1(o2(x,o2(x,x))) | true | 92543 | 92543 | -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_x16_u0_b98 | 12 | 16 | 0 | 98 | ![]() |
sqt(min(D,dst(R,D))) | 32838 | 98093726 | o1(o2(x,o2(x,x))) | true | 92551 | 92551 | -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_x16_u0_b99 | 12 | 16 | 0 | 99 | ![]() |
sqt(dot(D,add(R,D))) | 32839 | 98093727 | o1(o2(x,o2(x,x))) | true | 92559 | 92559 | -0.1603 | 0.5498 | 0.7401 | 0.5963 | 0.7722 | -1 | 1 | 2 | 1 | 2.973 | 0.1172 | 0.1187 | 0.1936 | -0.00642 | 1 | -0.0009394 | 0.7131 | 0.3441 | 0.1983 | 0.4453 | 2.3 | 2.614 | 0.3955 | 1.196 | 1 | 1 | 0.2437 | 0.9421 | 1.172 | 0.4087 | 1.58 | 1.965 | json |
| t12_x16_u0_b100 | 12 | 16 | 0 | 100 | ![]() |
sqt(dot(D,sub(R,D))) | 32840 | 98093728 | o1(o2(x,o2(x,x))) | true | 92567 | 92567 | -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_x16_u0_b101 | 12 | 16 | 0 | 101 | ![]() |
sqt(dot(D,mlt(R,D))) | 32841 | 98093729 | o1(o2(x,o2(x,x))) | true | 92575 | 92575 | -0.9244 | 0.05894 | 0.9577 | 0.09205 | 0.3034 | -1 | 0.5261 | 1.526 | 1 | 0.4903 | 0.02567 | 0.02459 | 0.03902 | 0.0213 | 1 | 0.00003783 | 0.1614 | 0.08164 | 0.04871 | 0.2207 | 5.656 | 2.06 | 0.546 | 1.753 | 1 | 1 | 0.06692 | 0.1993 | 0.2583 | 0.727 | 2.165 | 2.807 | json |
| t12_x16_u0_b102 | 12 | 16 | 0 | 102 | ![]() |
sqt(dot(D,div(R,D))) | 32842 | 98093730 | o1(o2(x,o2(x,x))) | true | 92583 | 92583 | -0.8966 | 0.05859 | 0.9862 | 0.1745 | 0.4177 | -1 | 1 | 2 | 1 | 0.511 | 0.01499 | 0.02047 | 0.02133 | -0.1547 | 1 | -0.000002212 | 0.07379 | 0.04001 | 0.03502 | 0.1871 | 8.775 | 2.828 | 0.2032 | 0.4229 | 1 | 1 | 0.05184 | 0.2132 | 0.4954 | 0.2971 | 1.222 | 2.839 | json |
| t12_x16_u0_b103 | 12 | 16 | 0 | 103 | ![]() |
sqt(dot(D,pow(R,D))) | 32843 | 98093731 | o1(o2(x,o2(x,x))) | true | 92591 | 92591 | -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_x16_u0_b104 | 12 | 16 | 0 | 104 | ![]() |
sqt(dot(D,mod(R,D))) | 32844 | 98093732 | o1(o2(x,o2(x,x))) | true | 92599 | 92599 | -0.9224 | 0.06145 | 0.9547 | 0.09266 | 0.3044 | -1 | 0.5325 | 1.532 | 1 | 0.5044 | 0.04571 | 0.04138 | 0.06756 | 0.04967 | 1 | -0.00007696 | 0.2897 | 0.1417 | 0.08252 | 0.2873 | 4.252 | 2.059 | 0.9399 | 3.127 | 1 | 1 | 0.07543 | 0.168 | 0.2077 | 0.814 | 1.813 | 2.241 | json |
| t12_x16_u0_b105 | 12 | 16 | 0 | 105 | ![]() |
sqt(dot(D,lrg(R,D))) | 32845 | 98093733 | o1(o2(x,o2(x,x))) | true | 92607 | 92607 | -0.9917 | 0.003113 | 0.9927 | 0.008802 | 0.09382 | -1 | 0.4619 | 1.462 | 1 | 0.07736 | 0.003054 | 0.00319 | 0.005653 | -0.02183 | 1 | 6.007e-11 | 0.01666 | 0.01166 | 0.006211 | 0.07881 | 13.94 | 2.058 | 0.7094 | 1.892 | 1 | 1 | 0.007348 | 0.01812 | 0.02098 | 0.8348 | 2.059 | 2.384 | json |
| t12_x16_u0_b106 | 12 | 16 | 0 | 106 | ![]() |
sqt(dot(D,eql(R,D))) | 32846 | 98093734 | o1(o2(x,o2(x,x))) | true | 92615 | 92615 | -0.0001327 | 0.0004883 | 0.0003556 | 0.000284 | 0.01685 | -1 | 0.4564 | 1.456 | 1 | 0.008975 | 0.0004415 | 0.00009804 | 0.0006889 | 0.6366 | 1 | 2.253e-11 | 0.001666 | 0.001374 | 0.000539 | 0.02322 | 33.7 | 1 | 1.9 | 5.868 | 1 | 1 | 0.00007441 | 0.00009879 | 0.0003525 | 0.262 | 0.3479 | 1.241 | json |
| t12_x16_u0_b107 | 12 | 16 | 0 | 107 | ![]() |
sqt(dot(D,min(R,D))) | 32847 | 98093735 | o1(o2(x,o2(x,x))) | true | 92623 | 92623 | -0.5746 | 0.302 | 0.8214 | 0.4244 | 0.6514 | -1 | 0.7708 | 1.771 | 1 | 1.845 | 0.09233 | 0.09115 | 0.1422 | 0.00645 | 1 | -0.0002668 | 0.545 | 0.2767 | 0.1633 | 0.4041 | 2.842 | 2.324 | 0.4324 | 1.284 | 1 | 1 | 0.1818 | 0.6216 | 0.8583 | 0.4283 | 1.465 | 2.023 | json |
| t12_x16_u0_b108 | 12 | 16 | 0 | 108 | ![]() |
sqt(dot(D,dot(R,D))) | 32848 | 98093736 | o1(o2(x,o2(x,x))) | true | 92631 | 92631 | -0.8988 | 0.08092 | 0.9393 | 0.1176 | 0.343 | -1 | 0.5732 | 1.573 | 1 | 0.6483 | 0.04841 | 0.04792 | 0.07069 | 0.005047 | 1 | -0.00001162 | 0.3993 | 0.1642 | 0.09128 | 0.3021 | 4.274 | 2.066 | 0.8189 | 3.394 | 1 | 1 | 0.09069 | 0.2314 | 0.2795 | 0.7709 | 1.967 | 2.376 | json |
| t12_x16_u0_b109 | 12 | 16 | 0 | 109 | ![]() |
sqt(dot(D,dst(R,D))) | 32849 | 98093737 | o1(o2(x,o2(x,x))) | true | 92639 | 92639 | -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_x16_u0_b110 | 12 | 16 | 0 | 110 | ![]() |
sqt(dst(D,add(R,D))) | 32850 | 98093738 | o1(o2(x,o2(x,x))) | true | 92647 | 92647 | 0.9395 | 1 | 0.9395 | 0.008316 | 0.09119 | 0.3152 | 1 | 0.6848 | 1 | 1.631 | 0.0001166 | 0.0001623 | 0.009779 | -0.1639 | 1 | -0.000009877 | 0.00004232 | 0.003157 | 0.0001832 | 0.01353 | 1.384 | 0.08961 | 0.03353 | 0.00509 | 1 | 1 | 0.0004445 | 0.005101 | 0.01241 | 0.05345 | 0.6135 | 1.493 | json |
| t12_x16_u0_b111 | 12 | 16 | 0 | 111 | ![]() |
sqt(dst(D,sub(R,D))) | 32851 | 98093739 | o1(o2(x,o2(x,x))) | true | 92655 | 92655 | 0.9715 | 1 | 0.9715 | 0.005159 | 0.07183 | 0.256 | 1 | 0.744 | 1 | 0.952 | 0.0004965 | 0.0004884 | 0.01423 | 0.008214 | 1 | -0.00005343 | 0.0005192 | 0.009308 | 0.0007821 | 0.02797 | 1.965 | 0.2541 | 0.1909 | 0.1006 | 1 | 1 | 0.001705 | 0.009443 | 0.008906 | 0.3305 | 1.83 | 1.726 | json |
| t12_x16_u0_b112 | 12 | 16 | 0 | 112 | ![]() |
sqt(dst(D,mlt(R,D))) | 32852 | 98093740 | o1(o2(x,o2(x,x))) | true | 92663 | 92663 | 0.6329 | 1 | 0.6329 | 0.0354 | 0.1882 | 0.06492 | 1 | 0.9351 | 1 | 3.576 | 0.0024 | 0.002241 | 0.06045 | 0.03416 | 1 | -0.0007544 | 0.001428 | 0.02159 | 0.0009866 | 0.03141 | 0.5196 | 0.2089 | 0.1311 | 0.04034 | 1 | 1 | 0.008364 | 0.05291 | 0.02952 | 0.2363 | 1.495 | 0.8339 | json |
| t12_x16_u0_b113 | 12 | 16 | 0 | 113 | ![]() |
sqt(dst(D,div(R,D))) | 32853 | 98093741 | o1(o2(x,o2(x,x))) | true | 92671 | 92671 | -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_x16_u0_b114 | 12 | 16 | 0 | 114 | ![]() |
sqt(dst(D,pow(R,D))) | 32854 | 98093742 | o1(o2(x,o2(x,x))) | true | 92679 | 92679 | -0.9922 | 0.003906 | 1 | 0.01556 | 0.1248 | -1 | 1 | 2 | 1 | 0.03687 | 0.002016 | 0.002016 | 0.001997 | 0 | 1 | 0 | 0.008566 | 0.004031 | 0.004024 | 0.06344 | 31.76 | 2.828 | 0.259 | 0.5504 | 1 | 1 | 0.007091 | 0.02837 | 0.05496 | 0.4556 | 1.823 | 3.531 | json |
| t12_x16_u0_b115 | 12 | 16 | 0 | 115 | ![]() |
sqt(dst(D,mod(R,D))) | 32855 | 98093743 | o1(o2(x,o2(x,x))) | true | 92687 | 92687 | 0.8335 | 1 | 0.8335 | 0.02121 | 0.1456 | 0.1528 | 1 | 0.8472 | 1 | 2.854 | 0.001592 | 0.001638 | 0.04157 | -0.01412 | 1 | -0.0003423 | 0.005221 | 0.04771 | 0.001502 | 0.03875 | 0.9322 | 0.2951 | 0.1523 | 0.2462 | 1 | 1 | 0.003721 | 0.02621 | 0.03569 | 0.1754 | 1.236 | 1.683 | json |
| t12_x16_u0_b116 | 12 | 16 | 0 | 116 | ![]() |
sqt(dst(D,lrg(R,D))) | 32856 | 98093744 | o1(o2(x,o2(x,x))) | true | 92695 | 92695 | 0.9667 | 1 | 0.9667 | 0.012 | 0.1096 | 0.2107 | 1 | 0.7893 | 1 | 0.8454 | 0.001436 | 0.001349 | 0.01558 | 0.03123 | 1 | 0.00000875 | 0.004243 | 0.01402 | 0.002544 | 0.05044 | 3.237 | 0.7893 | 0.2321 | 0.3535 | 1 | 1 | 0.0032 | 0.01662 | 0.01856 | 0.2666 | 1.385 | 1.547 | json |
| t12_x16_u0_b117 | 12 | 16 | 0 | 117 | ![]() |
sqt(dst(D,eql(R,D))) | 32857 | 98093745 | o1(o2(x,o2(x,x))) | true | 92703 | 92703 | 0.6463 | 1 | 0.6463 | 0.01892 | 0.1375 | 0.2107 | 0.9106 | 0.6999 | 1 | 2.949 | 0.001651 | 0.001669 | 0.05105 | -0.005548 | 1 | -0.0006688 | 0.0009754 | 0.01614 | 0.0007139 | 0.02672 | 0.5234 | 0.3482 | 0.1755 | 0.05155 | 1 | 1 | 0.006251 | 0.03943 | 0.00003867 | 0.3304 | 2.084 | 0.002044 | json |
| t12_x16_u0_b118 | 12 | 16 | 0 | 118 | ![]() |
sqt(dst(D,min(R,D))) | 32858 | 98093746 | o1(o2(x,o2(x,x))) | true | 92711 | 92711 | 0.7211 | 0.9997 | 0.7211 | 0.06411 | 0.2532 | 7.866e-8 | 1 | 1 | 1 | 3.533 | 0.001196 | 0.001345 | 0.03872 | -0.05873 | 1 | -0.00003096 | 0.0005286 | 0.01254 | 0.001042 | 0.03229 | 0.8339 | 0.3262 | 0.03964 | 0.008246 | 1 | 1 | 0.0054 | 0.0597 | 0.1206 | 0.08423 | 0.9312 | 1.881 | json |
| t12_x16_u0_b119 | 12 | 16 | 0 | 119 | ![]() |
sqt(dst(D,dot(R,D))) | 32859 | 98093747 | o1(o2(x,o2(x,x))) | true | 92719 | 92719 | 0.7301 | 1 | 0.7301 | 0.03154 | 0.1776 | 0.1602 | 1 | 0.8398 | 1 | 3.373 | 0.002765 | 0.002627 | 0.06361 | 0.02556 | 1 | -0.0006862 | 0.002098 | 0.02273 | 0.001345 | 0.03668 | 0.5765 | 0.2664 | 0.171 | 0.06654 | 1 | 1 | 0.009821 | 0.06144 | 0.01424 | 0.3114 | 1.948 | 0.4516 | json |
| t12_x16_u0_b120 | 12 | 16 | 0 | 120 | ![]() |
sqt(dst(D,dst(R,D))) | 32860 | 98093748 | o1(o2(x,o2(x,x))) | true | 92727 | 92727 | 0.9959 | 1 | 0.9959 | 0.0007582 | 0.02754 | 0.2934 | 1 | 0.7066 | 1 | 0.2061 | 0.00007049 | 0.00007995 | 0.002322 | -0.06291 | 1 | -0.00001887 | 0.00009495 | 0.001887 | 0.000145 | 0.01204 | 5.185 | 0.1528 | 0.1984 | 0.1252 | 1 | 1 | 0.0002002 | 0.0009507 | 0.001031 | 0.264 | 1.254 | 1.359 | json |
| t12_x16_u1_b0 | 12 | 16 | 1 | 0 | ![]() |
log(add(D,add(R,D))) | 32861 | 98093829 | o1(o2(x,o2(x,x))) | true | 92735 | 92735 | -0.9911 | 0 | 0.9911 | 0.004787 | 0.06919 | -1 | -0.1039 | 0.8961 | 1 | 0.2187 | 0.003598 | 0.0004959 | 0.009042 | 0.7578 | 1 | 0.000102 | 0.009613 | 0.01396 | 0.00401 | 0.06333 | 7.003 | 1.228 | 0.8552 | 2.008 | 1 | 1 | 0.003378 | 0.006168 | 0.008301 | 0.7056 | 1.288 | 1.734 | json |
| t12_x16_u1_b1 | 12 | 16 | 1 | 1 | ![]() |
log(add(D,sub(R,D))) | 32862 | 98093830 | o1(o2(x,o2(x,x))) | true | 92743 | 92743 | -0.9838 | 0 | 0.9838 | 0.009626 | 0.09811 | -1 | -0.05896 | 0.941 | 1 | 0.3254 | 0.001056 | 0.001224 | 0.005061 | -0.07381 | 1 | 0.00001706 | 0.004529 | 0.00698 | 0.002254 | 0.04747 | 9.381 | 1.212 | 0.2369 | 0.4706 | 1 | 1 | 0.001967 | 0.008849 | 0.01618 | 0.2044 | 0.9193 | 1.681 | json |
| t12_x16_u1_b2 | 12 | 16 | 1 | 2 | ![]() |
log(add(D,mlt(R,D))) | 32863 | 98093831 | o1(o2(x,o2(x,x))) | true | 92751 | 92751 | -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_x16_u1_b3 | 12 | 16 | 1 | 3 | ![]() |
log(add(D,div(R,D))) | 32864 | 98093832 | o1(o2(x,o2(x,x))) | true | 92759 | 92759 | -0.8911 | 0.05568 | 0.9772 | 0.1758 | 0.4192 | -1 | 1 | 2 | 1 | 0.6426 | 0.0847 | 0.01517 | 0.06424 | 0.6962 | 1 | 0.0003449 | 0.2251 | 0.1066 | 0.09571 | 0.3094 | 4.815 | 2.828 | 0.5682 | 1.281 | 1 | 1 | 0.1019 | 0.273 | 0.3374 | 0.5798 | 1.553 | 1.92 | json |
| t12_x16_u1_b4 | 12 | 16 | 1 | 4 | ![]() |
log(add(D,pow(R,D))) | 32865 | 98093833 | o1(o2(x,o2(x,x))) | true | 92767 | 92767 | -0.9564 | 0.02261 | 0.9615 | 0.04313 | 0.2077 | -1 | 0.5458 | 1.546 | 1 | 0.3909 | 0.004259 | 0.004216 | 0.009541 | 0.005088 | 1 | -0.000005365 | 0.0176 | 0.01705 | 0.008384 | 0.09156 | 9.597 | 1.418 | 0.1965 | 0.408 | 1 | 1 | 0.006437 | 0.02745 | 0.06836 | 0.1492 | 0.6364 | 1.585 | json |
| t12_x16_u1_b5 | 12 | 16 | 1 | 5 | ![]() |
log(add(D,mod(R,D))) | 32866 | 98093834 | o1(o2(x,o2(x,x))) | true | 92775 | 92775 | -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_x16_u1_b6 | 12 | 16 | 1 | 6 | ![]() |
log(add(D,lrg(R,D))) | 32867 | 98093835 | o1(o2(x,o2(x,x))) | true | 92783 | 92783 | -0.7209 | 0.07074 | 0.7286 | 0.1501 | 0.3875 | -1 | 0.08561 | 1.086 | 1 | 2.552 | 0.03574 | 0.008256 | 0.08428 | 0.6247 | 1 | 0.00009893 | 0.09124 | 0.1136 | 0.03688 | 0.192 | 2.279 | 1.413 | 0.293 | 0.6077 | 1 | 1 | 0.04545 | 0.1711 | 0.2797 | 0.3027 | 1.139 | 1.863 | json |
| t12_x16_u1_b7 | 12 | 16 | 1 | 7 | ![]() |
log(add(D,eql(R,D))) | 32868 | 98093836 | o1(o2(x,o2(x,x))) | true | 92791 | 92791 | -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_x16_u1_b8 | 12 | 16 | 1 | 8 | ![]() |
log(add(D,min(R,D))) | 32869 | 98093837 | o1(o2(x,o2(x,x))) | true | 92799 | 92799 | -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_x16_u1_b9 | 12 | 16 | 1 | 9 | ![]() |
log(add(D,dot(R,D))) | 32870 | 98093838 | o1(o2(x,o2(x,x))) | true | 92807 | 92807 | -1 | 0 | 1 | 2.789e-7 | 0.0005281 | -1 | -0.9408 | 0.05923 | 1 | 0 | 2.785e-7 | 2.853e-7 | 0.00001394 | -0.01204 | 0 | 0 | 0.000001965 | 0.00002615 | 5.634e-7 | 0.0007506 | 53.85 | 0.07147 | 2.021 | 7.047 | 1 | 1 | 8.902e-7 | 8.919e-7 | 8.197e-7 | 3.192 | 3.198 | 2.94 | json |
| t12_x16_u1_b10 | 12 | 16 | 1 | 10 | ![]() |
log(add(D,dst(R,D))) | 32871 | 98093839 | o1(o2(x,o2(x,x))) | true | 92815 | 92815 | -0.2094 | 0.4223 | 0.3722 | 0.2082 | 0.4563 | -1 | 0.6305 | 1.631 | 1 | 4.143 | 0.03839 | 0.01828 | 0.1028 | 0.3549 | 1 | 0.00004643 | 0.1449 | 0.1174 | 0.04611 | 0.2147 | 2.089 | 2.111 | 0.2722 | 0.6962 | 1 | 1 | 0.05567 | 0.2403 | 0.4584 | 0.2674 | 1.154 | 2.202 | json |
| t12_x16_u1_b11 | 12 | 16 | 1 | 11 | ![]() |
log(sub(D,add(R,D))) | 32872 | 98093840 | o1(o2(x,o2(x,x))) | true | 92823 | 92823 | -0.9765 | 0 | 0.9765 | 0.01618 | 0.1272 | -1 | -0.001196 | 0.9988 | 1 | 0.3894 | 0.001388 | 0.002314 | 0.007057 | -0.2501 | 1 | 0.00000196 | 0.007417 | 0.01019 | 0.003653 | 0.06044 | 8.565 | 1.247 | 0.2289 | 0.4584 | 1 | 1 | 0.003623 | 0.0155 | 0.03315 | 0.2239 | 0.9583 | 2.049 | json |
| t12_x16_u1_b12 | 12 | 16 | 1 | 12 | ![]() |
log(sub(D,sub(R,D))) | 32873 | 98093841 | o1(o2(x,o2(x,x))) | true | 92831 | 92831 | -0.9915 | 0 | 0.9915 | 0.00461 | 0.0679 | -1 | -0.0656 | 0.9344 | 1 | 0.2086 | 0.003478 | 0.0004787 | 0.008661 | 0.758 | 1 | 0.00005053 | 0.009407 | 0.01337 | 0.003882 | 0.06231 | 7.194 | 1.321 | 0.8582 | 2.04 | 1 | 1 | 0.003716 | 0.00689 | 0.007456 | 0.806 | 1.495 | 1.617 | json |
| t12_x16_u1_b13 | 12 | 16 | 1 | 13 | ![]() |
log(sub(D,mlt(R,D))) | 32874 | 98093842 | o1(o2(x,o2(x,x))) | true | 92839 | 92839 | -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_x16_u1_b14 | 12 | 16 | 1 | 14 | ![]() |
log(sub(D,div(R,D))) | 32875 | 98093843 | o1(o2(x,o2(x,x))) | true | 92847 | 92847 | -0.8996 | 0.05292 | 0.9811 | 0.166 | 0.4074 | -1 | 1 | 2 | 1 | 0.5579 | 0.07898 | 0.01585 | 0.05796 | 0.6657 | 1 | 0.0006091 | 0.2142 | 0.1008 | 0.09151 | 0.3025 | 5.219 | 2.828 | 0.5713 | 1.291 | 1 | 1 | 0.08482 | 0.2142 | 0.3155 | 0.5111 | 1.29 | 1.901 | json |
| t12_x16_u1_b15 | 12 | 16 | 1 | 15 | ![]() |
log(sub(D,pow(R,D))) | 32876 | 98093844 | o1(o2(x,o2(x,x))) | true | 92855 | 92855 | -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_x16_u1_b16 | 12 | 16 | 1 | 16 | ![]() |
log(sub(D,mod(R,D))) | 32877 | 98093845 | o1(o2(x,o2(x,x))) | true | 92863 | 92863 | -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_x16_u1_b17 | 12 | 16 | 1 | 17 | ![]() |
log(sub(D,lrg(R,D))) | 32878 | 98093846 | o1(o2(x,o2(x,x))) | true | 92871 | 92871 | -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_x16_u1_b18 | 12 | 16 | 1 | 18 | ![]() |
log(sub(D,eql(R,D))) | 32879 | 98093847 | o1(o2(x,o2(x,x))) | true | 92879 | 92879 | -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_x16_u1_b19 | 12 | 16 | 1 | 19 | ![]() |
log(sub(D,min(R,D))) | 32880 | 98093848 | o1(o2(x,o2(x,x))) | true | 92887 | 92887 | -0.9823 | 0 | 0.9823 | 0.01069 | 0.1034 | -1 | -0.002409 | 0.9976 | 1 | 0.3411 | 0.004495 | 0.001385 | 0.01122 | 0.5288 | 1 | 0.0000289 | 0.01341 | 0.01861 | 0.005752 | 0.07584 | 6.761 | 1.367 | 0.5499 | 1.254 | 1 | 1 | 0.005776 | 0.01324 | 0.01916 | 0.5401 | 1.238 | 1.792 | json |
| t12_x16_u1_b20 | 12 | 16 | 1 | 20 | ![]() |
log(sub(D,dot(R,D))) | 32881 | 98093849 | o1(o2(x,o2(x,x))) | true | 92895 | 92895 | -1 | 0 | 1 | 0.000005717 | 0.002391 | -1 | -0.7957 | 0.2043 | 1 | 0.004999 | 0.000007666 | 0.000002956 | 0.00009078 | 0.4434 | 0 | 1.502e-11 | 0.0000323 | 0.0001663 | 0.00001061 | 0.003257 | 35.88 | 0.2158 | 1.858 | 5.65 | 1 | 1 | 0.000005754 | 0.000008359 | 0.000009803 | 1.007 | 1.462 | 1.715 | json |
| t12_x16_u1_b21 | 12 | 16 | 1 | 21 | ![]() |
log(sub(D,dst(R,D))) | 32882 | 98093850 | o1(o2(x,o2(x,x))) | true | 92903 | 92903 | -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_x16_u1_b22 | 12 | 16 | 1 | 22 | ![]() |
log(mlt(D,add(R,D))) | 32883 | 98093851 | o1(o2(x,o2(x,x))) | true | 92911 | 92911 | -0.9931 | 0 | 0.9931 | 0.002262 | 0.04756 | -1 | -0.309 | 0.691 | 1 | 0.2535 | 0.0006866 | 0.0002504 | 0.005049 | 0.4656 | 1 | 0.000003568 | 0.001419 | 0.006405 | 0.0009118 | 0.0302 | 5.981 | 0.6513 | 0.4142 | 0.6275 | 1 | 1 | 0.001451 | 0.004186 | 0.005105 | 0.6416 | 1.85 | 2.257 | json |
| t12_x16_u1_b23 | 12 | 16 | 1 | 23 | ![]() |
log(mlt(D,sub(R,D))) | 32884 | 98093852 | o1(o2(x,o2(x,x))) | true | 92919 | 92919 | -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_x16_u1_b24 | 12 | 16 | 1 | 24 | ![]() |
log(mlt(D,mlt(R,D))) | 32885 | 98093853 | o1(o2(x,o2(x,x))) | true | 92927 | 92927 | -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_x16_u1_b25 | 12 | 16 | 1 | 25 | ![]() |
log(mlt(D,div(R,D))) | 32886 | 98093854 | o1(o2(x,o2(x,x))) | true | 92935 | 92935 | -0.9838 | 0 | 0.9838 | 0.009626 | 0.09811 | -1 | -0.05896 | 0.941 | 1 | 0.3254 | 0.001056 | 0.001224 | 0.005061 | -0.07381 | 1 | 0.00001706 | 0.004529 | 0.00698 | 0.002254 | 0.04747 | 9.381 | 1.212 | 0.2369 | 0.4706 | 1 | 1 | 0.001967 | 0.008849 | 0.01618 | 0.2044 | 0.9193 | 1.681 | json |
| t12_x16_u1_b26 | 12 | 16 | 1 | 26 | ![]() |
log(mlt(D,pow(R,D))) | 32887 | 98093855 | o1(o2(x,o2(x,x))) | true | 92943 | 92943 | -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_x16_u1_b27 | 12 | 16 | 1 | 27 | ![]() |
log(mlt(D,mod(R,D))) | 32888 | 98093856 | o1(o2(x,o2(x,x))) | true | 92951 | 92951 | -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_x16_u1_b28 | 12 | 16 | 1 | 28 | ![]() |
log(mlt(D,lrg(R,D))) | 32889 | 98093857 | o1(o2(x,o2(x,x))) | true | 92959 | 92959 | -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_x16_u1_b29 | 12 | 16 | 1 | 29 | ![]() |
log(mlt(D,eql(R,D))) | 32890 | 98093858 | o1(o2(x,o2(x,x))) | true | 92967 | 92967 | -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_x16_u1_b30 | 12 | 16 | 1 | 30 | ![]() |
log(mlt(D,min(R,D))) | 32891 | 98093859 | o1(o2(x,o2(x,x))) | true | 92975 | 92975 | -1 | 0 | 1 | 1.878e-7 | 0.0004333 | -1 | -0.9481 | 0.05185 | 1 | 0 | 3.215e-7 | 9.874e-8 | 0.00001361 | 0.5301 | 0 | 7.509e-12 | 0.000001379 | 0.00002527 | 4.201e-7 | 0.0006481 | 47.62 | 0.05202 | 2.238 | 7.343 | 1 | 1 | 2.668e-7 | 4.015e-7 | 3.429e-7 | 1.421 | 2.138 | 1.826 | json |
| t12_x16_u1_b31 | 12 | 16 | 1 | 31 | ![]() |
log(mlt(D,dot(R,D))) | 32892 | 98093860 | o1(o2(x,o2(x,x))) | true | 92983 | 92983 | -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_x16_u1_b32 | 12 | 16 | 1 | 32 | ![]() |
log(mlt(D,dst(R,D))) | 32893 | 98093861 | o1(o2(x,o2(x,x))) | true | 92991 | 92991 | -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_x16_u1_b33 | 12 | 16 | 1 | 33 | ![]() |
log(div(D,add(R,D))) | 32894 | 98093862 | o1(o2(x,o2(x,x))) | true | 92999 | 92999 | -0.8582 | 0.05763 | 0.9181 | 0.1541 | 0.3926 | -1 | 1 | 2 | 1 | 1.447 | 0.08998 | 0.01105 | 0.0883 | 0.7812 | 1 | -0.0006929 | 0.2386 | 0.1354 | 0.09325 | 0.3054 | 3.458 | 2.828 | 0.6555 | 1.548 | 1 | 1 | 0.08717 | 0.2011 | 0.2768 | 0.5656 | 1.305 | 1.796 | json |
| t12_x16_u1_b34 | 12 | 16 | 1 | 34 | ![]() |
log(div(D,sub(R,D))) | 32895 | 98093863 | o1(o2(x,o2(x,x))) | true | 93007 | 93007 | -0.9955 | 0.002502 | 0.9974 | 0.005609 | 0.07489 | -1 | 0.6945 | 1.695 | 1 | 0.0558 | 0.0008886 | 0.0007279 | 0.002002 | 0.09942 | 1 | -7.509e-12 | 0.002788 | 0.002604 | 0.001615 | 0.04018 | 20.08 | 1.821 | 0.2882 | 0.497 | 1 | 1 | 0.003432 | 0.01403 | 0.0186 | 0.6119 | 2.502 | 3.316 | json |
| t12_x16_u1_b35 | 12 | 16 | 1 | 35 | ![]() |
log(div(D,mlt(R,D))) | 32896 | 98093864 | o1(o2(x,o2(x,x))) | true | 93015 | 93015 | -0.9303 | 0.04297 | 0.9838 | 0.1121 | 0.3349 | -1 | 1 | 2 | 1 | 0.4122 | 0.01178 | 0.01091 | 0.01516 | 0.03841 | 1 | -0.00001706 | 0.04711 | 0.02734 | 0.02246 | 0.1499 | 9.888 | 2.828 | 0.2023 | 0.4201 | 1 | 1 | 0.0163 | 0.07072 | 0.1827 | 0.1454 | 0.6305 | 1.629 | json |
| t12_x16_u1_b36 | 12 | 16 | 1 | 36 | ![]() |
log(div(D,div(R,D))) | 32897 | 98093865 | o1(o2(x,o2(x,x))) | true | 93023 | 93023 | -0.9958 | 0.001343 | 0.996 | 0.00312 | 0.05586 | -1 | 0.2496 | 1.25 | 1 | 0.1108 | 0.0005427 | 0.0003268 | 0.002576 | 0.2483 | 1 | 1.201e-10 | 0.001082 | 0.002899 | 0.0008632 | 0.02938 | 11.4 | 1.203 | 0.2786 | 0.3469 | 1 | 1 | 0.001018 | 0.002836 | 0.005087 | 0.3262 | 0.909 | 1.63 | json |
| t12_x16_u1_b37 | 12 | 16 | 1 | 37 | ![]() |
log(div(D,pow(R,D))) | 32898 | 98093866 | o1(o2(x,o2(x,x))) | true | 93031 | 93031 | -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_x16_u1_b38 | 12 | 16 | 1 | 38 | ![]() |
log(div(D,mod(R,D))) | 32899 | 98093867 | o1(o2(x,o2(x,x))) | true | 93039 | 93039 | -0.9304 | 0.03906 | 0.9914 | 0.1221 | 0.3494 | -1 | 1 | 2 | 1 | 0.3489 | 0.02061 | 0.01261 | 0.02464 | 0.241 | 1 | -7.139e-7 | 0.07506 | 0.04562 | 0.03261 | 0.1806 | 7.329 | 2.828 | 0.2721 | 0.6148 | 1 | 1 | 0.03357 | 0.1282 | 0.2763 | 0.2749 | 1.05 | 2.263 | json |



































































































