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_x26_u4_b6 | 12 | 26 | 4 | 6 | ![]() |
cil(add(R,lrg(R,R))) | 41700 | 98498448 | o1(o2(x,o2(x,x))) | true | 13607 | 13607 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x26_u4_b7 | 12 | 26 | 4 | 7 | ![]() |
cil(add(R,eql(R,R))) | 41701 | 98498449 | o1(o2(x,o2(x,x))) | true | 13615 | 13615 | 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_x26_u4_b8 | 12 | 26 | 4 | 8 | ![]() |
cil(add(R,min(R,R))) | 41702 | 98498450 | o1(o2(x,o2(x,x))) | true | 13623 | 13623 | 0.3342 | 0.6933 | 0.6461 | 0.4435 | 0.666 | -1 | 1 | 2 | 1 | 4.019 | 0.007178 | 0.008521 | 0.08564 | -0.08557 | 1 | -0.00008807 | 0.002626 | 0.02649 | 0.008363 | 0.09145 | 1.068 | 0.3507 | 0.0354 | 0.005921 | 1 | 1 | 0.02955 | 0.3359 | 0.7685 | 0.06662 | 0.7575 | 1.733 | json |
| t12_x26_u4_b9 | 12 | 26 | 4 | 9 | ![]() |
cil(add(R,dot(R,R))) | 41703 | 98498451 | o1(o2(x,o2(x,x))) | true | 13631 | 13631 | 0.9571 | 1 | 0.9571 | 0.0276 | 0.1661 | 0.0002911 | 1 | 0.9997 | 1 | 0.7312 | 0.0007238 | 0.0008065 | 0.01074 | -0.05406 | 1 | -0.00002421 | 0.0004485 | 0.004774 | 0.001414 | 0.03761 | 3.501 | 0.3084 | 0.05545 | 0.01625 | 1 | 1 | 0.003068 | 0.02959 | 0.05901 | 0.1112 | 1.072 | 2.138 | json |
| t12_x26_u4_b10 | 12 | 26 | 4 | 10 | ![]() |
cil(add(R,dst(R,R))) | 41704 | 98498452 | o1(o2(x,o2(x,x))) | true | 13639 | 13639 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x26_u4_b11 | 12 | 26 | 4 | 11 | ![]() |
cil(sub(R,add(R,R))) | 41705 | 98498453 | o1(o2(x,o2(x,x))) | true | 13647 | 13647 | 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_x26_u4_b12 | 12 | 26 | 4 | 12 | ![]() |
cil(sub(R,sub(R,R))) | 41706 | 98498454 | o1(o2(x,o2(x,x))) | true | 13655 | 13655 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x26_u4_b13 | 12 | 26 | 4 | 13 | ![]() |
cil(sub(R,mlt(R,R))) | 41707 | 98498455 | o1(o2(x,o2(x,x))) | true | 13663 | 13663 | 0.293 | 0.7199 | 0.5725 | 0.3742 | 0.6117 | -1 | 1 | 2 | 1 | 4.409 | 0.004473 | 0.005363 | 0.07759 | -0.09051 | 1 | 0.00001855 | 0.000574 | 0.01833 | 0.003816 | 0.06177 | 0.7961 | 0.2338 | 0.02628 | 0.001534 | 1 | 1 | 0.01966 | 0.2524 | 0.6611 | 0.05254 | 0.6745 | 1.767 | json |
| t12_x26_u4_b14 | 12 | 26 | 4 | 14 | ![]() |
cil(sub(R,div(R,R))) | 41708 | 98498456 | o1(o2(x,o2(x,x))) | true | 13671 | 13671 | -0.5176 | 0 | 0.5176 | 0.1537 | 0.3921 | -1 | 0 | 1 | 1 | 3.585 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x26_u4_b15 | 12 | 26 | 4 | 15 | ![]() |
cil(sub(R,pow(R,R))) | 41709 | 98498457 | o1(o2(x,o2(x,x))) | true | 13679 | 13679 | -0.957 | 0 | 0.957 | 0.04112 | 0.2028 | -1 | 0 | 1 | 1 | 0.2557 | 0.00422 | 0.004094 | 0.008259 | 0.01515 | 1 | 0 | 0.01738 | 0.01663 | 0.008241 | 0.09078 | 10.99 | 1.414 | 0.2022 | 0.4228 | 1 | 1 | 0.006357 | 0.02738 | 0.06893 | 0.1546 | 0.6659 | 1.676 | json |
| t12_x26_u4_b16 | 12 | 26 | 4 | 16 | ![]() |
cil(sub(R,mod(R,R))) | 41710 | 98498458 | o1(o2(x,o2(x,x))) | true | 13687 | 13687 | 0.3848 | 0.8206 | 0.3848 | 0.1489 | 0.3858 | 0 | 1 | 1 | 1 | 3.25 | 0.001789 | 0.002259 | 0.04751 | -0.1163 | 1 | 0.00002211 | 0.0002367 | 0.01155 | 0.001791 | 0.04232 | 0.8907 | 0.1169 | 0.02719 | 0.00159 | 1 | 1 | 0.007789 | 0.1006 | 0.2719 | 0.05232 | 0.6755 | 1.826 | json |
| t12_x26_u4_b17 | 12 | 26 | 4 | 17 | ![]() |
cil(sub(R,lrg(R,R))) | 41711 | 98498459 | o1(o2(x,o2(x,x))) | true | 13695 | 13695 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x26_u4_b18 | 12 | 26 | 4 | 18 | ![]() |
cil(sub(R,eql(R,R))) | 41712 | 98498460 | o1(o2(x,o2(x,x))) | true | 13703 | 13703 | -0.5176 | 0 | 0.5176 | 0.1537 | 0.3921 | -1 | 0 | 1 | 1 | 3.585 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x26_u4_b19 | 12 | 26 | 4 | 19 | ![]() |
cil(sub(R,min(R,R))) | 41713 | 98498461 | o1(o2(x,o2(x,x))) | true | 13711 | 13711 | 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_x26_u4_b20 | 12 | 26 | 4 | 20 | ![]() |
cil(sub(R,dot(R,R))) | 41714 | 98498462 | o1(o2(x,o2(x,x))) | true | 13719 | 13719 | -0.4114 | 0.09198 | 0.4753 | 0.2172 | 0.466 | -1 | 0.9994 | 1.999 | 1 | 3.884 | 0.003118 | 0.003858 | 0.0582 | -0.1061 | 1 | 0.00001928 | 0.0009801 | 0.01717 | 0.003589 | 0.05991 | 1.029 | 0.3506 | 0.03213 | 0.004513 | 1 | 1 | 0.01188 | 0.138 | 0.3595 | 0.05469 | 0.6355 | 1.655 | json |
| t12_x26_u4_b21 | 12 | 26 | 4 | 21 | ![]() |
cil(sub(R,dst(R,R))) | 41715 | 98498463 | o1(o2(x,o2(x,x))) | true | 13727 | 13727 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x26_u4_b22 | 12 | 26 | 4 | 22 | ![]() |
cil(mlt(R,add(R,R))) | 41716 | 98498464 | o1(o2(x,o2(x,x))) | true | 13735 | 13735 | 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_x26_u4_b23 | 12 | 26 | 4 | 23 | ![]() |
cil(mlt(R,sub(R,R))) | 41717 | 98498465 | o1(o2(x,o2(x,x))) | true | 13743 | 13743 | 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_x26_u4_b24 | 12 | 26 | 4 | 24 | ![]() |
cil(mlt(R,mlt(R,R))) | 41718 | 98498466 | o1(o2(x,o2(x,x))) | true | 13751 | 13751 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x26_u4_b25 | 12 | 26 | 4 | 25 | ![]() |
cil(mlt(R,div(R,R))) | 41719 | 98498467 | o1(o2(x,o2(x,x))) | true | 13759 | 13759 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x26_u4_b26 | 12 | 26 | 4 | 26 | ![]() |
cil(mlt(R,pow(R,R))) | 41720 | 98498468 | o1(o2(x,o2(x,x))) | true | 13767 | 13767 | -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 |
| t12_x26_u4_b27 | 12 | 26 | 4 | 27 | ![]() |
cil(mlt(R,mod(R,R))) | 41721 | 98498469 | o1(o2(x,o2(x,x))) | true | 13775 | 13775 | 0.2227 | 0.56 | 0.2227 | 0.1126 | 0.3356 | 0 | 1 | 1 | 1 | 2.476 | 0.001358 | 0.001414 | 0.03256 | -0.02029 | 1 | -0.00001568 | 0.0001641 | 0.007924 | 0.001712 | 0.04138 | 1.271 | 0.1169 | 0.02461 | 0.001457 | 1 | 1 | 0.005968 | 0.07693 | 0.2257 | 0.05299 | 0.6831 | 2.004 | json |
| t12_x26_u4_b28 | 12 | 26 | 4 | 28 | ![]() |
cil(mlt(R,lrg(R,R))) | 41722 | 98498470 | o1(o2(x,o2(x,x))) | true | 13783 | 13783 | 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_x26_u4_b29 | 12 | 26 | 4 | 29 | ![]() |
cil(mlt(R,eql(R,R))) | 41723 | 98498471 | o1(o2(x,o2(x,x))) | true | 13791 | 13791 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x26_u4_b30 | 12 | 26 | 4 | 30 | ![]() |
cil(mlt(R,min(R,R))) | 41724 | 98498472 | o1(o2(x,o2(x,x))) | true | 13799 | 13799 | 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_x26_u4_b31 | 12 | 26 | 4 | 31 | ![]() |
cil(mlt(R,dot(R,R))) | 41725 | 98498473 | o1(o2(x,o2(x,x))) | true | 13807 | 13807 | 0.4163 | 0.7976 | 0.5737 | 0.3066 | 0.5538 | -1 | 1 | 2 | 1 | 3.986 | 0.00451 | 0.005142 | 0.06876 | -0.06551 | 1 | -0.00005365 | 0.001366 | 0.01987 | 0.004925 | 0.07018 | 1.021 | 0.453 | 0.03148 | 0.004456 | 1 | 1 | 0.0182 | 0.2148 | 0.5266 | 0.05934 | 0.7006 | 1.717 | json |
| t12_x26_u4_b32 | 12 | 26 | 4 | 32 | ![]() |
cil(mlt(R,dst(R,R))) | 41726 | 98498474 | o1(o2(x,o2(x,x))) | true | 13815 | 13815 | 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_x26_u4_b33 | 12 | 26 | 4 | 33 | ![]() |
cil(div(R,add(R,R))) | 41727 | 98498475 | o1(o2(x,o2(x,x))) | true | 13823 | 13823 | 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_x26_u4_b34 | 12 | 26 | 4 | 34 | ![]() |
cil(div(R,sub(R,R))) | 41728 | 98498476 | o1(o2(x,o2(x,x))) | true | 13831 | 13831 | -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_x26_u4_b35 | 12 | 26 | 4 | 35 | ![]() |
cil(div(R,mlt(R,R))) | 41729 | 98498477 | o1(o2(x,o2(x,x))) | true | 13839 | 13839 | 0.05278 | 0.5213 | 0.8968 | 0.8585 | 0.9265 | -1 | 1 | 2 | 1 | 2.49 | 0.03151 | 0.0374 | 0.1103 | -0.08551 | 1 | -0.00007222 | 0.06667 | 0.08401 | 0.05676 | 0.2382 | 2.159 | 2.828 | 0.08028 | 0.07767 | 1 | 1 | 0.1094 | 0.7804 | 1.726 | 0.1274 | 0.9091 | 2.011 | json |
| t12_x26_u4_b36 | 12 | 26 | 4 | 36 | ![]() |
cil(div(R,div(R,R))) | 41730 | 98498478 | o1(o2(x,o2(x,x))) | true | 13847 | 13847 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x26_u4_b37 | 12 | 26 | 4 | 37 | ![]() |
cil(div(R,pow(R,R))) | 41731 | 98498479 | o1(o2(x,o2(x,x))) | true | 13855 | 13855 | -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 |
| t12_x26_u4_b38 | 12 | 26 | 4 | 38 | ![]() |
cil(div(R,mod(R,R))) | 41732 | 98498480 | o1(o2(x,o2(x,x))) | true | 13863 | 13863 | -0.9453 | 0.02734 | 1 | 0.1063 | 0.3261 | -1 | 1 | 2 | 1 | 0.1809 | 0.01209 | 0.008062 | 0.009986 | 0.2 | 1 | 0 | 0.04233 | 0.02016 | 0.02007 | 0.1417 | 14.19 | 2.828 | 0.1895 | 0.398 | 1 | 1 | 0.03546 | 0.1418 | 0.3244 | 0.3334 | 1.334 | 3.051 | json |
| t12_x26_u4_b39 | 12 | 26 | 4 | 39 | ![]() |
cil(div(R,lrg(R,R))) | 41733 | 98498481 | o1(o2(x,o2(x,x))) | true | 13871 | 13871 | -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_x26_u4_b40 | 12 | 26 | 4 | 40 | ![]() |
cil(div(R,eql(R,R))) | 41734 | 98498482 | o1(o2(x,o2(x,x))) | true | 13879 | 13879 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x26_u4_b41 | 12 | 26 | 4 | 41 | ![]() |
cil(div(R,min(R,R))) | 41735 | 98498483 | o1(o2(x,o2(x,x))) | true | 13887 | 13887 | 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_x26_u4_b42 | 12 | 26 | 4 | 42 | ![]() |
cil(div(R,dot(R,R))) | 41736 | 98498484 | o1(o2(x,o2(x,x))) | true | 13895 | 13895 | 0.4323 | 0.8355 | 0.5195 | 0.2361 | 0.4859 | -1 | 1 | 2 | 1 | 3.9 | 0.003612 | 0.003888 | 0.06306 | -0.03683 | 1 | -0.000113 | 0.0008164 | 0.01665 | 0.003524 | 0.05937 | 0.9415 | 0.6907 | 0.03177 | 0.003458 | 1 | 1 | 0.01408 | 0.1795 | 0.4538 | 0.05965 | 0.7605 | 1.922 | json |
| t12_x26_u4_b43 | 12 | 26 | 4 | 43 | ![]() |
cil(div(R,dst(R,R))) | 41737 | 98498485 | o1(o2(x,o2(x,x))) | true | 13903 | 13903 | -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_x26_u4_b44 | 12 | 26 | 4 | 44 | ![]() |
cil(pow(R,add(R,R))) | 41738 | 98498486 | o1(o2(x,o2(x,x))) | true | 13911 | 13911 | -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 |
| t12_x26_u4_b45 | 12 | 26 | 4 | 45 | ![]() |
cil(pow(R,sub(R,R))) | 41739 | 98498487 | o1(o2(x,o2(x,x))) | true | 13919 | 13919 | 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_x26_u4_b46 | 12 | 26 | 4 | 46 | ![]() |
cil(pow(R,mlt(R,R))) | 41740 | 98498488 | o1(o2(x,o2(x,x))) | true | 13927 | 13927 | -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 |
| t12_x26_u4_b47 | 12 | 26 | 4 | 47 | ![]() |
cil(pow(R,div(R,R))) | 41741 | 98498489 | o1(o2(x,o2(x,x))) | true | 13935 | 13935 | -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 |
| t12_x26_u4_b48 | 12 | 26 | 4 | 48 | ![]() |
cil(pow(R,pow(R,R))) | 41742 | 98498490 | o1(o2(x,o2(x,x))) | true | 13943 | 13943 | -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 |
| t12_x26_u4_b49 | 12 | 26 | 4 | 49 | ![]() |
cil(pow(R,mod(R,R))) | 41743 | 98498491 | o1(o2(x,o2(x,x))) | true | 13951 | 13951 | 0.2266 | 0.6133 | 1 | 0.9483 | 0.9738 | -1 | 1 | 2 | 1 | 0.9626 | 0.06437 | 0.06614 | 0.06491 | -0.01351 | 1 | 0 | 0.2702 | 0.1305 | 0.1264 | 0.3555 | 5.477 | 2.828 | 0.1376 | 0.285 | 1 | 1 | 0.1221 | 0.4964 | 1.876 | 0.1288 | 0.5235 | 1.978 | json |
| t12_x26_u4_b50 | 12 | 26 | 4 | 50 | ![]() |
cil(pow(R,lrg(R,R))) | 41744 | 98498492 | o1(o2(x,o2(x,x))) | true | 13959 | 13959 | 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_x26_u4_b51 | 12 | 26 | 4 | 51 | ![]() |
cil(pow(R,eql(R,R))) | 41745 | 98498493 | o1(o2(x,o2(x,x))) | true | 13967 | 13967 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x26_u4_b52 | 12 | 26 | 4 | 52 | ![]() |
cil(pow(R,min(R,R))) | 41746 | 98498494 | o1(o2(x,o2(x,x))) | true | 13975 | 13975 | -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 |
| t12_x26_u4_b53 | 12 | 26 | 4 | 53 | ![]() |
cil(pow(R,dot(R,R))) | 41747 | 98498495 | o1(o2(x,o2(x,x))) | true | 13983 | 13983 | -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 |
| t12_x26_u4_b54 | 12 | 26 | 4 | 54 | ![]() |
cil(pow(R,dst(R,R))) | 41748 | 98498496 | o1(o2(x,o2(x,x))) | true | 13991 | 13991 | 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_x26_u4_b55 | 12 | 26 | 4 | 55 | ![]() |
cil(mod(R,add(R,R))) | 41749 | 98498497 | o1(o2(x,o2(x,x))) | true | 13999 | 13999 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x26_u4_b56 | 12 | 26 | 4 | 56 | ![]() |
cil(mod(R,sub(R,R))) | 41750 | 98498498 | o1(o2(x,o2(x,x))) | true | 14007 | 14007 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x26_u4_b57 | 12 | 26 | 4 | 57 | ![]() |
cil(mod(R,mlt(R,R))) | 41751 | 98498499 | o1(o2(x,o2(x,x))) | true | 14015 | 14015 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x26_u4_b58 | 12 | 26 | 4 | 58 | ![]() |
cil(mod(R,div(R,R))) | 41752 | 98498500 | o1(o2(x,o2(x,x))) | true | 14023 | 14023 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x26_u4_b59 | 12 | 26 | 4 | 59 | ![]() |
cil(mod(R,pow(R,R))) | 41753 | 98498501 | o1(o2(x,o2(x,x))) | true | 14031 | 14031 | -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 |
| t12_x26_u4_b60 | 12 | 26 | 4 | 60 | ![]() |
cil(mod(R,mod(R,R))) | 41754 | 98498502 | o1(o2(x,o2(x,x))) | true | 14039 | 14039 | -0.9814 | 0.01151 | 0.9951 | 0.03077 | 0.1754 | -1 | 1 | 2 | 1 | 0.1322 | 0.004102 | 0.002086 | 0.004328 | 0.3257 | 1 | -1.314e-10 | 0.01308 | 0.007684 | 0.006177 | 0.07859 | 18.16 | 2.828 | 0.2011 | 0.4251 | 1 | 1 | 0.01097 | 0.04538 | 0.1065 | 0.3567 | 1.475 | 3.462 | json |
| t12_x26_u4_b61 | 12 | 26 | 4 | 61 | ![]() |
cil(mod(R,lrg(R,R))) | 41755 | 98498503 | o1(o2(x,o2(x,x))) | true | 14047 | 14047 | -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_x26_u4_b62 | 12 | 26 | 4 | 62 | ![]() |
cil(mod(R,eql(R,R))) | 41756 | 98498504 | o1(o2(x,o2(x,x))) | true | 14055 | 14055 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x26_u4_b63 | 12 | 26 | 4 | 63 | ![]() |
cil(mod(R,min(R,R))) | 41757 | 98498505 | o1(o2(x,o2(x,x))) | true | 14063 | 14063 | 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 |
| t12_x26_u4_b64 | 12 | 26 | 4 | 64 | ![]() |
cil(mod(R,dot(R,R))) | 41758 | 98498506 | o1(o2(x,o2(x,x))) | true | 14071 | 14071 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x26_u4_b65 | 12 | 26 | 4 | 65 | ![]() |
cil(mod(R,dst(R,R))) | 41759 | 98498507 | o1(o2(x,o2(x,x))) | true | 14079 | 14079 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x26_u4_b66 | 12 | 26 | 4 | 66 | ![]() |
cil(lrg(R,add(R,R))) | 41760 | 98498508 | o1(o2(x,o2(x,x))) | true | 14087 | 14087 | 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_x26_u4_b67 | 12 | 26 | 4 | 67 | ![]() |
cil(lrg(R,sub(R,R))) | 41761 | 98498509 | o1(o2(x,o2(x,x))) | true | 14095 | 14095 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x26_u4_b68 | 12 | 26 | 4 | 68 | ![]() |
cil(lrg(R,mlt(R,R))) | 41762 | 98498510 | o1(o2(x,o2(x,x))) | true | 14103 | 14103 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x26_u4_b69 | 12 | 26 | 4 | 69 | ![]() |
cil(lrg(R,div(R,R))) | 41763 | 98498511 | o1(o2(x,o2(x,x))) | true | 14111 | 14111 | 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_x26_u4_b70 | 12 | 26 | 4 | 70 | ![]() |
cil(lrg(R,pow(R,R))) | 41764 | 98498512 | o1(o2(x,o2(x,x))) | true | 14119 | 14119 | 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_x26_u4_b71 | 12 | 26 | 4 | 71 | ![]() |
cil(lrg(R,mod(R,R))) | 41765 | 98498513 | o1(o2(x,o2(x,x))) | true | 14127 | 14127 | 0.3848 | 0.8206 | 0.3848 | 0.1489 | 0.3858 | 0 | 1 | 1 | 1 | 3.25 | 0.001789 | 0.002259 | 0.04751 | -0.1163 | 1 | 0.00002211 | 0.0002367 | 0.01155 | 0.001791 | 0.04232 | 0.8907 | 0.1169 | 0.02719 | 0.00159 | 1 | 1 | 0.007789 | 0.1006 | 0.2719 | 0.05232 | 0.6755 | 1.826 | json |
| t12_x26_u4_b72 | 12 | 26 | 4 | 72 | ![]() |
cil(lrg(R,lrg(R,R))) | 41766 | 98498514 | o1(o2(x,o2(x,x))) | true | 14135 | 14135 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x26_u4_b73 | 12 | 26 | 4 | 73 | ![]() |
cil(lrg(R,eql(R,R))) | 41767 | 98498515 | o1(o2(x,o2(x,x))) | true | 14143 | 14143 | 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_x26_u4_b74 | 12 | 26 | 4 | 74 | ![]() |
cil(lrg(R,min(R,R))) | 41768 | 98498516 | o1(o2(x,o2(x,x))) | true | 14151 | 14151 | 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_x26_u4_b75 | 12 | 26 | 4 | 75 | ![]() |
cil(lrg(R,dot(R,R))) | 41769 | 98498517 | o1(o2(x,o2(x,x))) | true | 14159 | 14159 | 0.04492 | 0.1664 | 0.04492 | 0.02567 | 0.1602 | 0 | 0.9994 | 0.9994 | 1 | 0.855 | 0.0003876 | 0.0003931 | 0.00933 | -0.006982 | 1 | -0.00002851 | 0.00004682 | 0.002245 | 0.0006941 | 0.02635 | 2.824 | 0.1169 | 0.03041 | 0.001824 | 1 | 1 | 0.0007129 | 0.009093 | 0.02817 | 0.02777 | 0.3542 | 1.097 | json |
| t12_x26_u4_b76 | 12 | 26 | 4 | 76 | ![]() |
cil(lrg(R,dst(R,R))) | 41770 | 98498518 | o1(o2(x,o2(x,x))) | true | 14167 | 14167 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x26_u4_b77 | 12 | 26 | 4 | 77 | ![]() |
cil(eql(R,add(R,R))) | 41771 | 98498519 | o1(o2(x,o2(x,x))) | true | 14175 | 14175 | 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_x26_u4_b78 | 12 | 26 | 4 | 78 | ![]() |
cil(eql(R,sub(R,R))) | 41772 | 98498520 | o1(o2(x,o2(x,x))) | true | 14183 | 14183 | 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_x26_u4_b79 | 12 | 26 | 4 | 79 | ![]() |
cil(eql(R,mlt(R,R))) | 41773 | 98498521 | o1(o2(x,o2(x,x))) | true | 14191 | 14191 | 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_x26_u4_b80 | 12 | 26 | 4 | 80 | ![]() |
cil(eql(R,div(R,R))) | 41774 | 98498522 | o1(o2(x,o2(x,x))) | true | 14199 | 14199 | 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_x26_u4_b81 | 12 | 26 | 4 | 81 | ![]() |
cil(eql(R,pow(R,R))) | 41775 | 98498523 | o1(o2(x,o2(x,x))) | true | 14207 | 14207 | 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_x26_u4_b82 | 12 | 26 | 4 | 82 | ![]() |
cil(eql(R,mod(R,R))) | 41776 | 98498524 | o1(o2(x,o2(x,x))) | true | 14215 | 14215 | 0.2227 | 0.56 | 0.2227 | 0.1126 | 0.3356 | 0 | 1 | 1 | 1 | 2.476 | 0.001358 | 0.001414 | 0.03256 | -0.02029 | 1 | -0.00001568 | 0.0001641 | 0.007924 | 0.001712 | 0.04138 | 1.271 | 0.1169 | 0.02461 | 0.001457 | 1 | 1 | 0.005968 | 0.07693 | 0.2257 | 0.05299 | 0.6831 | 2.004 | json |
| t12_x26_u4_b83 | 12 | 26 | 4 | 83 | ![]() |
cil(eql(R,lrg(R,R))) | 41777 | 98498525 | o1(o2(x,o2(x,x))) | true | 14223 | 14223 | 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_x26_u4_b84 | 12 | 26 | 4 | 84 | ![]() |
cil(eql(R,eql(R,R))) | 41778 | 98498526 | o1(o2(x,o2(x,x))) | true | 14231 | 14231 | 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_x26_u4_b85 | 12 | 26 | 4 | 85 | ![]() |
cil(eql(R,min(R,R))) | 41779 | 98498527 | o1(o2(x,o2(x,x))) | true | 14239 | 14239 | 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_x26_u4_b86 | 12 | 26 | 4 | 86 | ![]() |
cil(eql(R,dot(R,R))) | 41780 | 98498528 | o1(o2(x,o2(x,x))) | true | 14247 | 14247 | 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_x26_u4_b87 | 12 | 26 | 4 | 87 | ![]() |
cil(eql(R,dst(R,R))) | 41781 | 98498529 | o1(o2(x,o2(x,x))) | true | 14255 | 14255 | 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_x26_u4_b88 | 12 | 26 | 4 | 88 | ![]() |
cil(min(R,add(R,R))) | 41782 | 98498530 | o1(o2(x,o2(x,x))) | true | 14263 | 14263 | 0.2441 | 0.6681 | 0.5801 | 0.4055 | 0.6368 | -1 | 1 | 2 | 1 | 4.479 | 0.005342 | 0.006405 | 0.08551 | -0.09045 | 1 | 0.00001855 | 0.000697 | 0.02019 | 0.004436 | 0.0666 | 0.7789 | 0.2338 | 0.02897 | 0.001719 | 1 | 1 | 0.02207 | 0.2838 | 0.6932 | 0.05443 | 0.7 | 1.71 | json |
| t12_x26_u4_b89 | 12 | 26 | 4 | 89 | ![]() |
cil(min(R,sub(R,R))) | 41783 | 98498531 | o1(o2(x,o2(x,x))) | true | 14271 | 14271 | 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_x26_u4_b90 | 12 | 26 | 4 | 90 | ![]() |
cil(min(R,mlt(R,R))) | 41784 | 98498532 | o1(o2(x,o2(x,x))) | true | 14279 | 14279 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x26_u4_b91 | 12 | 26 | 4 | 91 | ![]() |
cil(min(R,div(R,R))) | 41785 | 98498533 | o1(o2(x,o2(x,x))) | true | 14287 | 14287 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x26_u4_b92 | 12 | 26 | 4 | 92 | ![]() |
cil(min(R,pow(R,R))) | 41786 | 98498534 | o1(o2(x,o2(x,x))) | true | 14295 | 14295 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x26_u4_b93 | 12 | 26 | 4 | 93 | ![]() |
cil(min(R,mod(R,R))) | 41787 | 98498535 | o1(o2(x,o2(x,x))) | true | 14303 | 14303 | 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 |
| t12_x26_u4_b94 | 12 | 26 | 4 | 94 | ![]() |
cil(min(R,lrg(R,R))) | 41788 | 98498536 | o1(o2(x,o2(x,x))) | true | 14311 | 14311 | 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_x26_u4_b95 | 12 | 26 | 4 | 95 | ![]() |
cil(min(R,eql(R,R))) | 41789 | 98498537 | o1(o2(x,o2(x,x))) | true | 14319 | 14319 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x26_u4_b96 | 12 | 26 | 4 | 96 | ![]() |
cil(min(R,min(R,R))) | 41790 | 98498538 | o1(o2(x,o2(x,x))) | true | 14327 | 14327 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x26_u4_b97 | 12 | 26 | 4 | 97 | ![]() |
cil(min(R,dot(R,R))) | 41791 | 98498539 | o1(o2(x,o2(x,x))) | true | 14335 | 14335 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x26_u4_b98 | 12 | 26 | 4 | 98 | ![]() |
cil(min(R,dst(R,R))) | 41792 | 98498540 | o1(o2(x,o2(x,x))) | true | 14343 | 14343 | 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_x26_u4_b99 | 12 | 26 | 4 | 99 | ![]() |
cil(dot(R,add(R,R))) | 41793 | 98498541 | o1(o2(x,o2(x,x))) | true | 14351 | 14351 | 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_x26_u4_b100 | 12 | 26 | 4 | 100 | ![]() |
cil(dot(R,sub(R,R))) | 41794 | 98498542 | o1(o2(x,o2(x,x))) | true | 14359 | 14359 | 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_x26_u4_b101 | 12 | 26 | 4 | 101 | ![]() |
cil(dot(R,mlt(R,R))) | 41795 | 98498543 | o1(o2(x,o2(x,x))) | true | 14367 | 14367 | 0.457 | 0.8313 | 0.5479 | 0.2471 | 0.4971 | -1 | 1 | 2 | 1 | 3.861 | 0.003107 | 0.003447 | 0.05852 | -0.05189 | 1 | 0.00002184 | 0.0006565 | 0.01524 | 0.00313 | 0.05595 | 0.9561 | 0.3506 | 0.02652 | 0.002657 | 1 | 1 | 0.01202 | 0.1471 | 0.4555 | 0.04863 | 0.5951 | 1.843 | json |
| t12_x26_u4_b102 | 12 | 26 | 4 | 102 | ![]() |
cil(dot(R,div(R,R))) | 41796 | 98498544 | o1(o2(x,o2(x,x))) | true | 14375 | 14375 | 0.4063 | 0.7843 | 0.6258 | 0.3683 | 0.6069 | -1 | 1 | 2 | 1 | 4 | 0.006078 | 0.005824 | 0.0757 | 0.02136 | 1 | -0.000009495 | 0.001925 | 0.02289 | 0.006172 | 0.07856 | 1.038 | 0.4675 | 0.03232 | 0.005226 | 1 | 1 | 0.02267 | 0.2585 | 0.6743 | 0.06156 | 0.7019 | 1.831 | json |
| t12_x26_u4_b103 | 12 | 26 | 4 | 103 | ![]() |
cil(dot(R,pow(R,R))) | 41797 | 98498545 | o1(o2(x,o2(x,x))) | true | 14383 | 14383 | -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_x26_u4_b104 | 12 | 26 | 4 | 104 | ![]() |
cil(dot(R,mod(R,R))) | 41798 | 98498546 | o1(o2(x,o2(x,x))) | true | 14391 | 14391 | 0.5178 | 0.936 | 0.5178 | 0.1562 | 0.3953 | 0 | 1 | 1 | 1 | 3.39 | 0.002307 | 0.002448 | 0.05205 | -0.02983 | 1 | -0.00005345 | 0.0004166 | 0.0135 | 0.002046 | 0.04523 | 0.869 | 0.2265 | 0.03043 | 0.002666 | 1 | 1 | 0.009419 | 0.116 | 0.2962 | 0.06028 | 0.7426 | 1.896 | json |
| t12_x26_u4_b105 | 12 | 26 | 4 | 105 | ![]() |
cil(dot(R,lrg(R,R))) | 41799 | 98498547 | o1(o2(x,o2(x,x))) | true | 14399 | 14399 | 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 |



































































































