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_x18_u3_b103 | 12 | 18 | 3 | 103 | ![]() |
flr(dot(R,pow(P,P))) | 34900 | 98175136 | o1(o2(x,o2(x,x))) | true | 109047 | 109047 | -0.7351 | 0.1332 | 0.9915 | 0.4489 | 0.67 | -1 | 1 | 2 | 1 | 0.7157 | 0.02935 | 0.03265 | 0.03342 | -0.05313 | 1 | -4.806e-10 | 0.1572 | 0.06361 | 0.0609 | 0.2468 | 7.384 | 2.828 | 0.1381 | 0.3503 | 1 | 1 | 0.05981 | 0.2721 | 0.6223 | 0.1333 | 0.6063 | 1.386 | json |
| t12_x18_u3_b104 | 12 | 18 | 3 | 104 | ![]() |
flr(dot(R,mod(P,P))) | 34901 | 98175137 | o1(o2(x,o2(x,x))) | true | 109055 | 109055 | -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_x18_u3_b105 | 12 | 18 | 3 | 105 | ![]() |
flr(dot(R,lrg(P,P))) | 34902 | 98175138 | o1(o2(x,o2(x,x))) | true | 109063 | 109063 | 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_x18_u3_b106 | 12 | 18 | 3 | 106 | ![]() |
flr(dot(R,eql(P,P))) | 34903 | 98175139 | o1(o2(x,o2(x,x))) | true | 109071 | 109071 | -0.3684 | 0.2237 | 0.5996 | 0.37 | 0.6083 | -1 | 1 | 2 | 1 | 4.114 | 0.00631 | 0.006599 | 0.0789 | -0.02241 | 1 | 0.00005719 | 0.002036 | 0.02323 | 0.006686 | 0.08176 | 1.036 | 0.4676 | 0.03489 | 0.005503 | 1 | 1 | 0.02732 | 0.3102 | 0.7092 | 0.07384 | 0.8385 | 1.917 | json |
| t12_x18_u3_b107 | 12 | 18 | 3 | 107 | ![]() |
flr(dot(R,min(P,P))) | 34904 | 98175140 | o1(o2(x,o2(x,x))) | true | 109079 | 109079 | -0.2276 | 0.372 | 0.8476 | 0.755 | 0.8689 | -1 | 1 | 2 | 1 | 2.766 | 0.025 | 0.03234 | 0.1003 | -0.1281 | 1 | 0.00009661 | 0.04594 | 0.07343 | 0.04726 | 0.2174 | 2.168 | 1.87 | 0.07594 | 0.06084 | 1 | 1 | 0.07293 | 0.5698 | 1.388 | 0.0966 | 0.7548 | 1.838 | json |
| t12_x18_u3_b108 | 12 | 18 | 3 | 108 | ![]() |
flr(dot(R,dot(P,P))) | 34905 | 98175141 | o1(o2(x,o2(x,x))) | true | 109087 | 109087 | -0.01667 | 0.4918 | 0.9652 | 0.9555 | 0.9775 | -1 | 1 | 2 | 1 | 1.568 | 0.09456 | 0.09234 | 0.1173 | 0.01188 | 1 | 0.0001084 | 0.4309 | 0.2 | 0.1731 | 0.416 | 3.547 | 2.828 | 0.1956 | 0.451 | 1 | 1 | 0.1854 | 0.8791 | 1.738 | 0.1941 | 0.9201 | 1.819 | json |
| t12_x18_u3_b109 | 12 | 18 | 3 | 109 | ![]() |
flr(dot(R,dst(P,P))) | 34906 | 98175142 | o1(o2(x,o2(x,x))) | true | 109095 | 109095 | 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_x18_u3_b110 | 12 | 18 | 3 | 110 | ![]() |
flr(dst(R,add(P,P))) | 34907 | 98175143 | o1(o2(x,o2(x,x))) | true | 109103 | 109103 | 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_x18_u3_b111 | 12 | 18 | 3 | 111 | ![]() |
flr(dst(R,sub(P,P))) | 34908 | 98175144 | o1(o2(x,o2(x,x))) | true | 109111 | 109111 | 0.5234 | 0.9064 | 0.5234 | 0.1603 | 0.4004 | 0 | 1 | 1 | 1 | 3.324 | 0.001857 | 0.002199 | 0.04748 | -0.08437 | 1 | -0.000005706 | 0.0002413 | 0.0116 | 0.001802 | 0.04245 | 0.894 | 0.1169 | 0.0253 | 0.001505 | 1 | 1 | 0.007899 | 0.1024 | 0.3171 | 0.04927 | 0.639 | 1.978 | json |
| t12_x18_u3_b112 | 12 | 18 | 3 | 112 | ![]() |
flr(dst(R,mlt(P,P))) | 34909 | 98175145 | o1(o2(x,o2(x,x))) | true | 109119 | 109119 | 0.9925 | 1 | 0.9925 | 0.005314 | 0.0729 | 0.000291 | 1 | 0.9997 | 1 | 0.1555 | 0.0001059 | 0.0001847 | 0.0018 | -0.2709 | 1 | -1.051e-10 | 0.0001198 | 0.0009067 | 0.0002876 | 0.01696 | 9.42 | 0.3604 | 0.05468 | 0.02254 | 1 | 1 | 0.000931 | 0.008526 | 0.01915 | 0.1752 | 1.604 | 3.603 | json |
| t12_x18_u3_b113 | 12 | 18 | 3 | 113 | ![]() |
flr(dst(R,div(P,P))) | 34910 | 98175146 | o1(o2(x,o2(x,x))) | true | 109127 | 109127 | -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_x18_u3_b114 | 12 | 18 | 3 | 114 | ![]() |
flr(dst(R,pow(P,P))) | 34911 | 98175147 | o1(o2(x,o2(x,x))) | true | 109135 | 109135 | -0.5017 | 0.25 | 0.9983 | 0.7462 | 0.8638 | -1 | 1 | 2 | 1 | 0.8494 | 0.008001 | 0.00798 | 0.008509 | 0.001317 | 1 | -5.632e-11 | 0.03193 | 0.01623 | 0.0159 | 0.1261 | 14.82 | 2 | 0.02142 | 0.04278 | 1 | 1 | 0.0214 | 0.08647 | 0.3287 | 0.02867 | 0.1159 | 0.4405 | json |
| t12_x18_u3_b115 | 12 | 18 | 3 | 115 | ![]() |
flr(dst(R,mod(P,P))) | 34912 | 98175148 | o1(o2(x,o2(x,x))) | true | 109143 | 109143 | -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_x18_u3_b116 | 12 | 18 | 3 | 116 | ![]() |
flr(dst(R,lrg(P,P))) | 34913 | 98175149 | o1(o2(x,o2(x,x))) | true | 109151 | 109151 | 0.5234 | 0.9064 | 0.5234 | 0.1603 | 0.4004 | 0 | 1 | 1 | 1 | 3.324 | 0.001857 | 0.002199 | 0.04748 | -0.08437 | 1 | -0.000005706 | 0.0002413 | 0.0116 | 0.001802 | 0.04245 | 0.894 | 0.1169 | 0.0253 | 0.001505 | 1 | 1 | 0.007899 | 0.1024 | 0.3171 | 0.04927 | 0.639 | 1.978 | json |
| t12_x18_u3_b117 | 12 | 18 | 3 | 117 | ![]() |
flr(dst(R,eql(P,P))) | 34914 | 98175150 | o1(o2(x,o2(x,x))) | true | 109159 | 109159 | 0.9474 | 1 | 0.9474 | 0.03317 | 0.1821 | 0.000291 | 1 | 0.9997 | 1 | 0.8671 | 0.0007426 | 0.0009144 | 0.01281 | -0.1037 | 1 | -1.029e-9 | 0.000388 | 0.00516 | 0.001494 | 0.03866 | 3.018 | 0.2278 | 0.04995 | 0.0117 | 1 | 1 | 0.004282 | 0.0448 | 0.07552 | 0.1291 | 1.35 | 2.277 | json |
| t12_x18_u3_b118 | 12 | 18 | 3 | 118 | ![]() |
flr(dst(R,min(P,P))) | 34915 | 98175151 | o1(o2(x,o2(x,x))) | true | 109167 | 109167 | 0.9883 | 1 | 0.9883 | 0.008047 | 0.08971 | 0.000291 | 1 | 0.9997 | 1 | 0.2363 | 0.000133 | 0.00019 | 0.002537 | -0.1766 | 1 | -1.389e-10 | 0.00008177 | 0.001006 | 0.0003163 | 0.01778 | 7.009 | 0.3082 | 0.04014 | 0.01016 | 1 | 1 | 0.001079 | 0.0114 | 0.02592 | 0.1341 | 1.417 | 3.221 | json |
| t12_x18_u3_b119 | 12 | 18 | 3 | 119 | ![]() |
flr(dst(R,dot(P,P))) | 34916 | 98175152 | o1(o2(x,o2(x,x))) | true | 109175 | 109175 | 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_x18_u3_b120 | 12 | 18 | 3 | 120 | ![]() |
flr(dst(R,dst(P,P))) | 34917 | 98175153 | o1(o2(x,o2(x,x))) | true | 109183 | 109183 | 0.5234 | 0.9064 | 0.5234 | 0.1603 | 0.4004 | 0 | 1 | 1 | 1 | 3.324 | 0.001857 | 0.002199 | 0.04748 | -0.08437 | 1 | -0.000005706 | 0.0002413 | 0.0116 | 0.001802 | 0.04245 | 0.894 | 0.1169 | 0.0253 | 0.001505 | 1 | 1 | 0.007899 | 0.1024 | 0.3171 | 0.04927 | 0.639 | 1.978 | json |
| t12_x18_u4_b0 | 12 | 18 | 4 | 0 | ![]() |
cil(add(R,add(P,P))) | 34918 | 98175234 | o1(o2(x,o2(x,x))) | true | 109191 | 109191 | 0.02917 | 0.5147 | 0.9669 | 0.9574 | 0.9784 | -1 | 1 | 2 | 1 | 1.513 | 0.001477 | 0.0001102 | 0.008546 | 0.8611 | 1 | -0.000006592 | 0.0003494 | 0.003141 | 0.001515 | 0.03892 | 4.555 | 0.3506 | 0.001658 | 0.000365 | 1 | 1 | 0.004081 | 0.04468 | 0.2971 | 0.004263 | 0.04667 | 0.3103 | json |
| t12_x18_u4_b1 | 12 | 18 | 4 | 1 | ![]() |
cil(add(R,sub(P,P))) | 34919 | 98175235 | o1(o2(x,o2(x,x))) | true | 109199 | 109199 | 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_x18_u4_b2 | 12 | 18 | 4 | 2 | ![]() |
cil(add(R,mlt(P,P))) | 34920 | 98175236 | o1(o2(x,o2(x,x))) | true | 109207 | 109207 | 0.9725 | 1 | 0.9725 | 0.02 | 0.1414 | 0.000291 | 1 | 0.9997 | 1 | 0.4441 | 0.0005811 | 0.0001118 | 0.00525 | 0.6772 | 1 | -0.00001427 | 0.0001408 | 0.001965 | 0.0006649 | 0.02579 | 4.911 | 0.2265 | 0.03465 | 0.007042 | 1 | 1 | 0.001717 | 0.0181 | 0.041 | 0.08585 | 0.9051 | 2.05 | json |
| t12_x18_u4_b3 | 12 | 18 | 4 | 3 | ![]() |
cil(add(R,div(P,P))) | 34921 | 98175237 | o1(o2(x,o2(x,x))) | true | 109215 | 109215 | 0.75 | 0.875 | 1 | 0.4375 | 0.6614 | -1 | 1 | 2 | 1 | 0.5436 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.07256 | 0.1451 | 1 | 1 | 0.04211 | 0.1684 | 0.6737 | 0.09624 | 0.385 | 1.54 | json |
| t12_x18_u4_b4 | 12 | 18 | 4 | 4 | ![]() |
cil(add(R,pow(P,P))) | 34922 | 98175238 | o1(o2(x,o2(x,x))) | true | 109223 | 109223 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |
| t12_x18_u4_b5 | 12 | 18 | 4 | 5 | ![]() |
cil(add(R,mod(P,P))) | 34923 | 98175239 | o1(o2(x,o2(x,x))) | true | 109231 | 109231 | 0.074 | 0.595 | 0.7816 | 0.7293 | 0.854 | -1 | 1 | 2 | 1 | 3.021 | 0.03206 | 0.001089 | 0.05943 | 0.9343 | 1 | 0.0002084 | 0.0479 | 0.04838 | 0.02962 | 0.1721 | 2.896 | 2 | 0.04545 | 0.06568 | 1 | 1 | 0.04735 | 0.291 | 0.6869 | 0.06492 | 0.399 | 0.9419 | json |
| t12_x18_u4_b6 | 12 | 18 | 4 | 6 | ![]() |
cil(add(R,lrg(P,P))) | 34924 | 98175240 | o1(o2(x,o2(x,x))) | true | 109239 | 109239 | 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_x18_u4_b7 | 12 | 18 | 4 | 7 | ![]() |
cil(add(R,eql(P,P))) | 34925 | 98175241 | o1(o2(x,o2(x,x))) | true | 109247 | 109247 | 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_x18_u4_b8 | 12 | 18 | 4 | 8 | ![]() |
cil(add(R,min(P,P))) | 34926 | 98175242 | o1(o2(x,o2(x,x))) | true | 109255 | 109255 | 0.06347 | 0.5253 | 0.9326 | 0.9159 | 0.9571 | -1 | 1 | 2 | 1 | 1.84 | 0.0009772 | 0.0002573 | 0.009837 | 0.5831 | 1 | -0.00001925 | 0.0001771 | 0.002995 | 0.001138 | 0.03373 | 3.429 | 0.2338 | 0.001348 | 0.0001934 | 1 | 1 | 0.003184 | 0.03819 | 0.2638 | 0.003476 | 0.0417 | 0.288 | json |
| t12_x18_u4_b9 | 12 | 18 | 4 | 9 | ![]() |
cil(add(R,dot(P,P))) | 34927 | 98175243 | o1(o2(x,o2(x,x))) | true | 109263 | 109263 | 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_x18_u4_b10 | 12 | 18 | 4 | 10 | ![]() |
cil(add(R,dst(P,P))) | 34928 | 98175244 | o1(o2(x,o2(x,x))) | true | 109271 | 109271 | 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_x18_u4_b11 | 12 | 18 | 4 | 11 | ![]() |
cil(sub(R,add(P,P))) | 34929 | 98175245 | o1(o2(x,o2(x,x))) | true | 109279 | 109279 | 0.0294 | 0.5146 | 0.9661 | 0.9563 | 0.9779 | -1 | 1 | 2 | 1 | 1.526 | 0.001447 | 0.000117 | 0.008557 | 0.8504 | 1 | -0.000006592 | 0.0003249 | 0.003031 | 0.001491 | 0.03862 | 4.513 | 0.3506 | 0.001635 | 0.0003397 | 1 | 1 | 0.004086 | 0.04497 | 0.2958 | 0.004273 | 0.04703 | 0.3093 | json |
| t12_x18_u4_b12 | 12 | 18 | 4 | 12 | ![]() |
cil(sub(R,sub(P,P))) | 34930 | 98175246 | o1(o2(x,o2(x,x))) | true | 109287 | 109287 | 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_x18_u4_b13 | 12 | 18 | 4 | 13 | ![]() |
cil(sub(R,mlt(P,P))) | 34931 | 98175247 | o1(o2(x,o2(x,x))) | true | 109295 | 109295 | -0.8539 | 0.04752 | 0.8992 | 0.1535 | 0.3918 | -1 | 0.9997 | 2 | 1 | 1.265 | 0.001812 | 0.0003758 | 0.01407 | 0.6565 | 1 | -0.00001928 | 0.000558 | 0.005351 | 0.001991 | 0.04462 | 3.172 | 0.3455 | 0.01425 | 0.003635 | 1 | 1 | 0.005561 | 0.06108 | 0.2529 | 0.03623 | 0.3979 | 1.648 | json |
| t12_x18_u4_b14 | 12 | 18 | 4 | 14 | ![]() |
cil(sub(R,div(P,P))) | 34932 | 98175248 | o1(o2(x,o2(x,x))) | true | 109303 | 109303 | -0.582 | 0 | 0.582 | 0.1596 | 0.3995 | -1 | 0 | 1 | 1 | 3.341 | 0.005954 | 0.002174 | 0.04959 | 0.465 | 1 | -6.958e-7 | 0.008895 | 0.02044 | 0.005671 | 0.07531 | 1.519 | 1 | 0.05094 | 0.05574 | 1 | 1 | 0.01239 | 0.1095 | 0.2784 | 0.07763 | 0.6861 | 1.745 | json |
| t12_x18_u4_b15 | 12 | 18 | 4 | 15 | ![]() |
cil(sub(R,pow(P,P))) | 34933 | 98175249 | o1(o2(x,o2(x,x))) | true | 109311 | 109311 | -0.9568 | 0 | 0.9568 | 0.03242 | 0.1801 | -1 | 0 | 1 | 1 | 0.6103 | 0.002302 | 0.000204 | 0.00822 | 0.8372 | 1 | -0.000009642 | 0.003504 | 0.006215 | 0.002438 | 0.04938 | 6.007 | 1 | 0.07729 | 0.1081 | 1 | 1 | 0.00433 | 0.02912 | 0.05885 | 0.1335 | 0.8982 | 1.815 | json |
| t12_x18_u4_b16 | 12 | 18 | 4 | 16 | ![]() |
cil(sub(R,mod(P,P))) | 34934 | 98175250 | o1(o2(x,o2(x,x))) | true | 109319 | 109319 | 0.07144 | 0.5943 | 0.782 | 0.7306 | 0.8548 | -1 | 1 | 2 | 1 | 3.017 | 0.03162 | 0.001083 | 0.05883 | 0.9338 | 1 | 0.0002844 | 0.0476 | 0.04776 | 0.02923 | 0.171 | 2.906 | 2 | 0.04476 | 0.06515 | 1 | 1 | 0.04683 | 0.2865 | 0.7815 | 0.0641 | 0.3922 | 1.07 | json |
| t12_x18_u4_b17 | 12 | 18 | 4 | 17 | ![]() |
cil(sub(R,lrg(P,P))) | 34935 | 98175251 | o1(o2(x,o2(x,x))) | true | 109327 | 109327 | 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_x18_u4_b18 | 12 | 18 | 4 | 18 | ![]() |
cil(sub(R,eql(P,P))) | 34936 | 98175252 | o1(o2(x,o2(x,x))) | true | 109335 | 109335 | -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_x18_u4_b19 | 12 | 18 | 4 | 19 | ![]() |
cil(sub(R,min(P,P))) | 34937 | 98175253 | o1(o2(x,o2(x,x))) | true | 109343 | 109343 | 0.06541 | 0.5222 | 0.9287 | 0.9116 | 0.9548 | -1 | 1 | 2 | 1 | 1.859 | 0.0009844 | 0.0002879 | 0.01003 | 0.5475 | 1 | -0.00001926 | 0.0001808 | 0.003033 | 0.001171 | 0.03422 | 3.413 | 0.2338 | 0.001396 | 0.0001983 | 1 | 1 | 0.00338 | 0.04008 | 0.2523 | 0.003707 | 0.04397 | 0.2768 | json |
| t12_x18_u4_b20 | 12 | 18 | 4 | 20 | ![]() |
cil(sub(R,dot(P,P))) | 34938 | 98175254 | o1(o2(x,o2(x,x))) | true | 109351 | 109351 | -0.9893 | 0.004395 | 0.9936 | 0.01263 | 0.1124 | -1 | 0.9991 | 1.999 | 1 | 0.1616 | 0.0001887 | 0.0001396 | 0.00202 | 0.1498 | 1 | 2.102e-10 | 0.00004673 | 0.0006052 | 0.0003241 | 0.018 | 8.913 | 0.3482 | 0.026 | 0.003701 | 1 | 1 | 0.00112 | 0.01371 | 0.04614 | 0.08872 | 1.086 | 3.655 | json |
| t12_x18_u4_b21 | 12 | 18 | 4 | 21 | ![]() |
cil(sub(R,dst(P,P))) | 34939 | 98175255 | o1(o2(x,o2(x,x))) | true | 109359 | 109359 | 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_x18_u4_b22 | 12 | 18 | 4 | 22 | ![]() |
cil(mlt(R,add(P,P))) | 34940 | 98175256 | o1(o2(x,o2(x,x))) | true | 109367 | 109367 | 0.05422 | 0.534 | 0.833 | 0.7901 | 0.8889 | -1 | 1 | 2 | 1 | 2.848 | 0.02979 | 0.03691 | 0.1016 | -0.1067 | 1 | -0.00007134 | 0.06934 | 0.08321 | 0.05637 | 0.2374 | 2.337 | 2.196 | 0.08442 | 0.08777 | 1 | 1 | 0.08856 | 0.6182 | 1.328 | 0.1121 | 0.7825 | 1.681 | json |
| t12_x18_u4_b23 | 12 | 18 | 4 | 23 | ![]() |
cil(mlt(R,sub(P,P))) | 34941 | 98175257 | o1(o2(x,o2(x,x))) | true | 109375 | 109375 | 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_x18_u4_b24 | 12 | 18 | 4 | 24 | ![]() |
cil(mlt(R,mlt(P,P))) | 34942 | 98175258 | o1(o2(x,o2(x,x))) | true | 109383 | 109383 | 0.08325 | 0.5661 | 0.8399 | 0.8003 | 0.8946 | -1 | 1 | 2 | 1 | 2.617 | 0.04738 | 0.05737 | 0.1004 | -0.09532 | 1 | 0.00009844 | 0.1951 | 0.1197 | 0.09471 | 0.3077 | 3.066 | 2.828 | 0.1309 | 0.2438 | 1 | 1 | 0.1096 | 0.6385 | 1.283 | 0.1369 | 0.7979 | 1.603 | json |
| t12_x18_u4_b25 | 12 | 18 | 4 | 25 | ![]() |
cil(mlt(R,div(P,P))) | 34943 | 98175259 | o1(o2(x,o2(x,x))) | true | 109391 | 109391 | 0.293 | 0.7953 | 0.543 | 0.3734 | 0.6111 | -1 | 1 | 2 | 1 | 3.539 | 0.02346 | 0.002174 | 0.05751 | 0.8304 | 1 | -6.988e-7 | 0.04394 | 0.0363 | 0.02233 | 0.1494 | 2.598 | 2 | 0.06865 | 0.1177 | 1 | 1 | 0.0347 | 0.1958 | 0.5929 | 0.09291 | 0.5244 | 1.588 | json |
| t12_x18_u4_b26 | 12 | 18 | 4 | 26 | ![]() |
cil(mlt(R,pow(P,P))) | 34944 | 98175260 | o1(o2(x,o2(x,x))) | true | 109399 | 109399 | -0.4898 | 0.2713 | 0.9466 | 0.6931 | 0.8326 | -1 | 1 | 2 | 1 | 1.53 | 0.04778 | 0.04591 | 0.0612 | 0.01996 | 1 | 0.00007733 | 0.2187 | 0.09938 | 0.08996 | 0.2999 | 4.901 | 2.828 | 0.1352 | 0.3155 | 1 | 1 | 0.08584 | 0.4209 | 0.9046 | 0.1238 | 0.6073 | 1.305 | json |
| t12_x18_u4_b27 | 12 | 18 | 4 | 27 | ![]() |
cil(mlt(R,mod(P,P))) | 34945 | 98175261 | o1(o2(x,o2(x,x))) | true | 109407 | 109407 | -0.1171 | 0.3073 | 0.4967 | 0.4414 | 0.6644 | -1 | 1 | 2 | 1 | 3.219 | 0.01608 | 0.01036 | 0.0643 | 0.2163 | 1 | -0.00007025 | 0.02619 | 0.046 | 0.02231 | 0.1494 | 2.323 | 1.436 | 0.0599 | 0.05934 | 1 | 1 | 0.02552 | 0.19 | 0.6196 | 0.05781 | 0.4304 | 1.404 | json |
| t12_x18_u4_b28 | 12 | 18 | 4 | 28 | ![]() |
cil(mlt(R,lrg(P,P))) | 34946 | 98175262 | o1(o2(x,o2(x,x))) | true | 109415 | 109415 | 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_x18_u4_b29 | 12 | 18 | 4 | 29 | ![]() |
cil(mlt(R,eql(P,P))) | 34947 | 98175263 | o1(o2(x,o2(x,x))) | true | 109423 | 109423 | 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_x18_u4_b30 | 12 | 18 | 4 | 30 | ![]() |
cil(mlt(R,min(P,P))) | 34948 | 98175264 | o1(o2(x,o2(x,x))) | true | 109431 | 109431 | 0.1481 | 0.5997 | 0.7222 | 0.6371 | 0.7982 | -1 | 1 | 2 | 1 | 3.558 | 0.01642 | 0.01939 | 0.09317 | -0.08289 | 1 | -0.00008127 | 0.01959 | 0.04883 | 0.02713 | 0.1647 | 1.768 | 1.436 | 0.05621 | 0.03075 | 1 | 1 | 0.04994 | 0.4435 | 0.9858 | 0.07838 | 0.696 | 1.547 | json |
| t12_x18_u4_b31 | 12 | 18 | 4 | 31 | ![]() |
cil(mlt(R,dot(P,P))) | 34949 | 98175265 | o1(o2(x,o2(x,x))) | true | 109439 | 109439 | 0.02365 | 0.517 | 0.9572 | 0.9444 | 0.9718 | -1 | 1 | 2 | 1 | 1.663 | 0.07184 | 0.08542 | 0.1083 | -0.08637 | 1 | 0.00002813 | 0.3406 | 0.1705 | 0.1455 | 0.3815 | 3.523 | 2.828 | 0.1665 | 0.3606 | 1 | 1 | 0.1602 | 0.8124 | 1.621 | 0.1697 | 0.8602 | 1.716 | json |
| t12_x18_u4_b32 | 12 | 18 | 4 | 32 | ![]() |
cil(mlt(R,dst(P,P))) | 34950 | 98175266 | o1(o2(x,o2(x,x))) | true | 109447 | 109447 | 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_x18_u4_b33 | 12 | 18 | 4 | 33 | ![]() |
cil(div(R,add(P,P))) | 34951 | 98175267 | o1(o2(x,o2(x,x))) | true | 109455 | 109455 | 0.2852 | 0.798 | 0.5352 | 0.3702 | 0.6084 | -1 | 1 | 2 | 1 | 3.538 | 0.02176 | 0.002174 | 0.05694 | 0.8184 | 1 | -0.00003637 | 0.0405 | 0.03516 | 0.0207 | 0.1439 | 2.527 | 2 | 0.06467 | 0.1094 | 1 | 1 | 0.03339 | 0.1946 | 0.6235 | 0.0902 | 0.5256 | 1.684 | json |
| t12_x18_u4_b34 | 12 | 18 | 4 | 34 | ![]() |
cil(div(R,sub(P,P))) | 34952 | 98175268 | o1(o2(x,o2(x,x))) | true | 109463 | 109463 | -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_x18_u4_b35 | 12 | 18 | 4 | 35 | ![]() |
cil(div(R,mlt(P,P))) | 34953 | 98175269 | o1(o2(x,o2(x,x))) | true | 109471 | 109471 | 0.293 | 0.7953 | 0.543 | 0.3734 | 0.6111 | -1 | 1 | 2 | 1 | 3.539 | 0.02346 | 0.002174 | 0.05751 | 0.8304 | 1 | -6.988e-7 | 0.04394 | 0.0363 | 0.02233 | 0.1494 | 2.598 | 2 | 0.06865 | 0.1177 | 1 | 1 | 0.0347 | 0.1958 | 0.5929 | 0.09291 | 0.5244 | 1.588 | json |
| t12_x18_u4_b36 | 12 | 18 | 4 | 36 | ![]() |
cil(div(R,div(P,P))) | 34954 | 98175270 | o1(o2(x,o2(x,x))) | true | 109479 | 109479 | 0.293 | 0.7953 | 0.543 | 0.3734 | 0.6111 | -1 | 1 | 2 | 1 | 3.539 | 0.02346 | 0.002174 | 0.05751 | 0.8304 | 1 | -6.988e-7 | 0.04394 | 0.0363 | 0.02233 | 0.1494 | 2.598 | 2 | 0.06865 | 0.1177 | 1 | 1 | 0.0347 | 0.1958 | 0.5929 | 0.09291 | 0.5244 | 1.588 | json |
| t12_x18_u4_b37 | 12 | 18 | 4 | 37 | ![]() |
cil(div(R,pow(P,P))) | 34955 | 98175271 | o1(o2(x,o2(x,x))) | true | 109487 | 109487 | -0.2715 | 0.4604 | 0.7285 | 0.6036 | 0.7769 | -1 | 1 | 2 | 1 | 2.751 | 0.01016 | 0.001264 | 0.03301 | 0.7787 | 1 | -0.00002709 | 0.01835 | 0.0181 | 0.01033 | 0.1017 | 3.08 | 2 | 0.01892 | 0.0304 | 1 | 1 | 0.01686 | 0.1083 | 0.3302 | 0.02794 | 0.1795 | 0.5471 | json |
| t12_x18_u4_b38 | 12 | 18 | 4 | 38 | ![]() |
cil(div(R,mod(P,P))) | 34956 | 98175272 | o1(o2(x,o2(x,x))) | true | 109495 | 109495 | -0.8223 | 0.1144 | 0.9277 | 0.2388 | 0.4886 | -1 | 1 | 2 | 1 | 0.9784 | 0.03526 | 0.0002935 | 0.02908 | 0.9835 | 1 | 0.000002852 | 0.07012 | 0.0466 | 0.03471 | 0.1863 | 6.407 | 2 | 0.1489 | 0.2937 | 1 | 1 | 0.005462 | 0.03865 | 0.09592 | 0.02287 | 0.1619 | 0.4017 | json |
| t12_x18_u4_b39 | 12 | 18 | 4 | 39 | ![]() |
cil(div(R,lrg(P,P))) | 34957 | 98175273 | o1(o2(x,o2(x,x))) | true | 109503 | 109503 | -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_x18_u4_b40 | 12 | 18 | 4 | 40 | ![]() |
cil(div(R,eql(P,P))) | 34958 | 98175274 | o1(o2(x,o2(x,x))) | true | 109511 | 109511 | 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_x18_u4_b41 | 12 | 18 | 4 | 41 | ![]() |
cil(div(R,min(P,P))) | 34959 | 98175275 | o1(o2(x,o2(x,x))) | true | 109519 | 109519 | 0.2852 | 0.798 | 0.5352 | 0.3702 | 0.6084 | -1 | 1 | 2 | 1 | 3.538 | 0.02176 | 0.002174 | 0.05694 | 0.8184 | 1 | -0.00003637 | 0.0405 | 0.03516 | 0.0207 | 0.1439 | 2.527 | 2 | 0.06467 | 0.1094 | 1 | 1 | 0.03339 | 0.1946 | 0.6235 | 0.0902 | 0.5256 | 1.684 | json |
| t12_x18_u4_b42 | 12 | 18 | 4 | 42 | ![]() |
cil(div(R,dot(P,P))) | 34960 | 98175276 | o1(o2(x,o2(x,x))) | true | 109527 | 109527 | 0.4648 | 0.903 | 0.4883 | 0.1783 | 0.4223 | -1 | 1 | 2 | 1 | 3.468 | 0.004843 | 0.005619 | 0.05412 | -0.07421 | 1 | -0.00001781 | 0.01331 | 0.01933 | 0.007534 | 0.0868 | 1.604 | 2.828 | 0.05868 | 0.07462 | 1 | 1 | 0.01921 | 0.1498 | 0.3829 | 0.1077 | 0.8403 | 2.148 | json |
| t12_x18_u4_b43 | 12 | 18 | 4 | 43 | ![]() |
cil(div(R,dst(P,P))) | 34961 | 98175277 | o1(o2(x,o2(x,x))) | true | 109535 | 109535 | -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_x18_u4_b44 | 12 | 18 | 4 | 44 | ![]() |
cil(pow(R,add(P,P))) | 34962 | 98175278 | o1(o2(x,o2(x,x))) | true | 109543 | 109543 | -0.8516 | 0.07422 | 1 | 0.2749 | 0.5243 | -1 | 1 | 2 | 1 | 0.3815 | 0.02494 | 0.02444 | 0.02454 | 0.0102 | 1 | 0 | 0.103 | 0.04938 | 0.04875 | 0.2208 | 8.996 | 2.828 | 0.1796 | 0.3748 | 1 | 1 | 0.0467 | 0.1946 | 0.6445 | 0.1699 | 0.7079 | 2.344 | json |
| t12_x18_u4_b45 | 12 | 18 | 4 | 45 | ![]() |
cil(pow(R,sub(P,P))) | 34963 | 98175279 | o1(o2(x,o2(x,x))) | true | 109551 | 109551 | 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_x18_u4_b46 | 12 | 18 | 4 | 46 | ![]() |
cil(pow(R,mlt(P,P))) | 34964 | 98175280 | o1(o2(x,o2(x,x))) | true | 109559 | 109559 | -0.8525 | 0.07422 | 0.999 | 0.2717 | 0.5213 | -1 | 1 | 2 | 1 | 0.4042 | 0.02495 | 0.02413 | 0.02462 | 0.01665 | 1 | -0.000002852 | 0.1024 | 0.04923 | 0.04844 | 0.2201 | 8.939 | 2.828 | 0.1806 | 0.3769 | 1 | 1 | 0.0467 | 0.1946 | 0.6445 | 0.1719 | 0.7162 | 2.372 | json |
| t12_x18_u4_b47 | 12 | 18 | 4 | 47 | ![]() |
cil(pow(R,div(P,P))) | 34965 | 98175281 | o1(o2(x,o2(x,x))) | true | 109567 | 109567 | -0.9297 | 0.03516 | 1 | 0.1356 | 0.3683 | -1 | 1 | 2 | 1 | 0.2196 | 0.01487 | 0.01235 | 0.01351 | 0.09259 | 1 | 0 | 0.05694 | 0.02721 | 0.027 | 0.1643 | 12.16 | 2.828 | 0.2006 | 0.4198 | 1 | 1 | 0.02366 | 0.09712 | 0.2474 | 0.1744 | 0.716 | 1.824 | json |
| t12_x18_u4_b48 | 12 | 18 | 4 | 48 | ![]() |
cil(pow(R,pow(P,P))) | 34966 | 98175282 | o1(o2(x,o2(x,x))) | true | 109575 | 109575 | -0.9883 | 0.003906 | 0.9961 | 0.01939 | 0.1392 | -1 | 1 | 2 | 1 | 0.07373 | 0.002268 | 0.002457 | 0.00269 | -0.04 | 1 | 0 | 0.01002 | 0.005417 | 0.004716 | 0.06867 | 25.53 | 2.828 | 0.2436 | 0.5165 | 1 | 1 | 0.0008864 | 0.006205 | 0.01751 | 0.04572 | 0.32 | 0.9029 | json |
| t12_x18_u4_b49 | 12 | 18 | 4 | 49 | ![]() |
cil(pow(R,mod(P,P))) | 34967 | 98175283 | o1(o2(x,o2(x,x))) | true | 109583 | 109583 | -0.2969 | 0.3516 | 1 | 0.9125 | 0.9553 | -1 | 1 | 2 | 1 | 0.9355 | 0.124 | 0.02822 | 0.07589 | 0.6291 | 1 | 0 | 0.3091 | 0.1522 | 0.1465 | 0.3827 | 5.044 | 2.828 | 0.1668 | 0.3388 | 1 | 1 | 0.1748 | 0.7043 | 1.707 | 0.1916 | 0.7718 | 1.87 | json |
| t12_x18_u4_b50 | 12 | 18 | 4 | 50 | ![]() |
cil(pow(R,lrg(P,P))) | 34968 | 98175284 | o1(o2(x,o2(x,x))) | true | 109591 | 109591 | 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_x18_u4_b51 | 12 | 18 | 4 | 51 | ![]() |
cil(pow(R,eql(P,P))) | 34969 | 98175285 | o1(o2(x,o2(x,x))) | true | 109599 | 109599 | 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_x18_u4_b52 | 12 | 18 | 4 | 52 | ![]() |
cil(pow(R,min(P,P))) | 34970 | 98175286 | o1(o2(x,o2(x,x))) | true | 109607 | 109607 | -0.8516 | 0.07422 | 1 | 0.2749 | 0.5243 | -1 | 1 | 2 | 1 | 0.3815 | 0.02494 | 0.02444 | 0.02454 | 0.0102 | 1 | 0 | 0.103 | 0.04938 | 0.04875 | 0.2208 | 8.996 | 2.828 | 0.1796 | 0.3748 | 1 | 1 | 0.0467 | 0.1946 | 0.6445 | 0.1699 | 0.7079 | 2.344 | json |
| t12_x18_u4_b53 | 12 | 18 | 4 | 53 | ![]() |
cil(pow(R,dot(P,P))) | 34971 | 98175287 | o1(o2(x,o2(x,x))) | true | 109615 | 109615 | -0.917 | 0.04297 | 0.9971 | 0.155 | 0.3937 | -1 | 1 | 2 | 1 | 0.3075 | 0.0161 | 0.01609 | 0.01674 | 0.0002355 | 1 | -1.633e-10 | 0.06732 | 0.03269 | 0.03189 | 0.1786 | 10.67 | 2.828 | 0.2076 | 0.4342 | 1 | 1 | 0.02543 | 0.1092 | 0.2697 | 0.164 | 0.7043 | 1.74 | json |
| t12_x18_u4_b54 | 12 | 18 | 4 | 54 | ![]() |
cil(pow(R,dst(P,P))) | 34972 | 98175288 | o1(o2(x,o2(x,x))) | true | 109623 | 109623 | 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_x18_u4_b55 | 12 | 18 | 4 | 55 | ![]() |
cil(mod(R,add(P,P))) | 34973 | 98175289 | o1(o2(x,o2(x,x))) | true | 109631 | 109631 | 0.293 | 0.7953 | 0.543 | 0.3734 | 0.6111 | -1 | 1 | 2 | 1 | 3.539 | 0.02346 | 0.002174 | 0.05751 | 0.8304 | 1 | -6.988e-7 | 0.04394 | 0.0363 | 0.02233 | 0.1494 | 2.598 | 2 | 0.06865 | 0.1177 | 1 | 1 | 0.0347 | 0.1958 | 0.5929 | 0.09291 | 0.5244 | 1.588 | json |
| t12_x18_u4_b56 | 12 | 18 | 4 | 56 | ![]() |
cil(mod(R,sub(P,P))) | 34974 | 98175290 | o1(o2(x,o2(x,x))) | true | 109639 | 109639 | 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_x18_u4_b57 | 12 | 18 | 4 | 57 | ![]() |
cil(mod(R,mlt(P,P))) | 34975 | 98175291 | o1(o2(x,o2(x,x))) | true | 109647 | 109647 | 0.293 | 0.7953 | 0.543 | 0.3734 | 0.6111 | -1 | 1 | 2 | 1 | 3.539 | 0.02346 | 0.002174 | 0.05751 | 0.8304 | 1 | -6.988e-7 | 0.04394 | 0.0363 | 0.02233 | 0.1494 | 2.598 | 2 | 0.06865 | 0.1177 | 1 | 1 | 0.0347 | 0.1958 | 0.5929 | 0.09291 | 0.5244 | 1.588 | json |
| t12_x18_u4_b58 | 12 | 18 | 4 | 58 | ![]() |
cil(mod(R,div(P,P))) | 34976 | 98175292 | o1(o2(x,o2(x,x))) | true | 109655 | 109655 | 0.293 | 0.7953 | 0.543 | 0.3734 | 0.6111 | -1 | 1 | 2 | 1 | 3.539 | 0.02346 | 0.002174 | 0.05751 | 0.8304 | 1 | -6.988e-7 | 0.04394 | 0.0363 | 0.02233 | 0.1494 | 2.598 | 2 | 0.06865 | 0.1177 | 1 | 1 | 0.0347 | 0.1958 | 0.5929 | 0.09291 | 0.5244 | 1.588 | json |
| t12_x18_u4_b59 | 12 | 18 | 4 | 59 | ![]() |
cil(mod(R,pow(P,P))) | 34977 | 98175293 | o1(o2(x,o2(x,x))) | true | 109663 | 109663 | -0.2715 | 0.4604 | 0.7285 | 0.6036 | 0.7769 | -1 | 1 | 2 | 1 | 2.751 | 0.01016 | 0.001264 | 0.03301 | 0.7787 | 1 | -0.00002709 | 0.01835 | 0.0181 | 0.01033 | 0.1017 | 3.08 | 2 | 0.01892 | 0.0304 | 1 | 1 | 0.01686 | 0.1083 | 0.3302 | 0.02794 | 0.1795 | 0.5471 | json |
| t12_x18_u4_b60 | 12 | 18 | 4 | 60 | ![]() |
cil(mod(R,mod(P,P))) | 34978 | 98175294 | o1(o2(x,o2(x,x))) | true | 109671 | 109671 | -0.8105 | 0.1157 | 0.9395 | 0.2698 | 0.5195 | -1 | 1 | 2 | 1 | 0.9823 | 0.03979 | 0.0002935 | 0.03059 | 0.9854 | 1 | 0.000002852 | 0.07919 | 0.04962 | 0.03917 | 0.1979 | 6.47 | 2 | 0.1486 | 0.2935 | 1 | 1 | 0.005462 | 0.03865 | 0.09592 | 0.02024 | 0.1432 | 0.3555 | json |
| t12_x18_u4_b61 | 12 | 18 | 4 | 61 | ![]() |
cil(mod(R,lrg(P,P))) | 34979 | 98175295 | o1(o2(x,o2(x,x))) | true | 109679 | 109679 | -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_x18_u4_b62 | 12 | 18 | 4 | 62 | ![]() |
cil(mod(R,eql(P,P))) | 34980 | 98175296 | o1(o2(x,o2(x,x))) | true | 109687 | 109687 | 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_x18_u4_b63 | 12 | 18 | 4 | 63 | ![]() |
cil(mod(R,min(P,P))) | 34981 | 98175297 | o1(o2(x,o2(x,x))) | true | 109695 | 109695 | 0.293 | 0.7953 | 0.543 | 0.3734 | 0.6111 | -1 | 1 | 2 | 1 | 3.539 | 0.02346 | 0.002174 | 0.05751 | 0.8304 | 1 | -6.988e-7 | 0.04394 | 0.0363 | 0.02233 | 0.1494 | 2.598 | 2 | 0.06865 | 0.1177 | 1 | 1 | 0.0347 | 0.1958 | 0.5929 | 0.09291 | 0.5244 | 1.588 | json |
| t12_x18_u4_b64 | 12 | 18 | 4 | 64 | ![]() |
cil(mod(R,dot(P,P))) | 34982 | 98175298 | o1(o2(x,o2(x,x))) | true | 109703 | 109703 | 0.457 | 0.8991 | 0.4883 | 0.1855 | 0.4307 | -1 | 1 | 2 | 1 | 3.483 | 0.004339 | 0.005619 | 0.05389 | -0.1285 | 1 | -0.00001781 | 0.01205 | 0.01883 | 0.007056 | 0.084 | 1.559 | 2.828 | 0.05368 | 0.06494 | 1 | 1 | 0.01832 | 0.1457 | 0.4148 | 0.09876 | 0.7856 | 2.236 | json |
| t12_x18_u4_b65 | 12 | 18 | 4 | 65 | ![]() |
cil(mod(R,dst(P,P))) | 34983 | 98175299 | o1(o2(x,o2(x,x))) | true | 109711 | 109711 | 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_x18_u4_b66 | 12 | 18 | 4 | 66 | ![]() |
cil(lrg(R,add(P,P))) | 34984 | 98175300 | o1(o2(x,o2(x,x))) | true | 109719 | 109719 | 0.4961 | 0.5378 | 0.4961 | 0.2412 | 0.4911 | 0 | 1 | 1 | 1 | 1.415 | 0.0003238 | 0.0001053 | 0.004981 | 0.5091 | 1 | -0.000005705 | 0.00002256 | 0.001187 | 0.0004044 | 0.02011 | 4.037 | 0.1169 | 0.001779 | 0.00009352 | 1 | 1 | 0.001146 | 0.01504 | 0.08976 | 0.004753 | 0.06234 | 0.3721 | json |
| t12_x18_u4_b67 | 12 | 18 | 4 | 67 | ![]() |
cil(lrg(R,sub(P,P))) | 34985 | 98175301 | o1(o2(x,o2(x,x))) | true | 109727 | 109727 | 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_x18_u4_b68 | 12 | 18 | 4 | 68 | ![]() |
cil(lrg(R,mlt(P,P))) | 34986 | 98175302 | o1(o2(x,o2(x,x))) | true | 109735 | 109735 | 0.02734 | 0.07556 | 0.02734 | 0.01868 | 0.1367 | 0 | 0.9997 | 0.9997 | 1 | 0.4881 | 0.0002846 | 0.0001053 | 0.004539 | 0.4597 | 1 | -0.000005705 | 0.00002084 | 0.001084 | 0.0003695 | 0.01922 | 4.235 | 0.1169 | 0.02087 | 0.001115 | 1 | 1 | 0.001069 | 0.01392 | 0.04488 | 0.0572 | 0.7453 | 2.402 | json |
| t12_x18_u4_b69 | 12 | 18 | 4 | 69 | ![]() |
cil(lrg(R,div(P,P))) | 34987 | 98175303 | o1(o2(x,o2(x,x))) | true | 109743 | 109743 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t12_x18_u4_b70 | 12 | 18 | 4 | 70 | ![]() |
cil(lrg(R,pow(P,P))) | 34988 | 98175304 | o1(o2(x,o2(x,x))) | true | 109751 | 109751 | 0.4688 | 0.5 | 0.4688 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t12_x18_u4_b71 | 12 | 18 | 4 | 71 | ![]() |
cil(lrg(R,mod(P,P))) | 34989 | 98175305 | o1(o2(x,o2(x,x))) | true | 109759 | 109759 | 0.5234 | 0.8511 | 0.5234 | 0.1781 | 0.4221 | 0 | 1 | 1 | 1 | 3.044 | 0.001949 | 0.001384 | 0.0391 | 0.1697 | 1 | -0.00001425 | 0.0001875 | 0.009402 | 0.001804 | 0.04247 | 1.086 | 0.1169 | 0.01871 | 0.001052 | 1 | 1 | 0.007625 | 0.09784 | 0.2727 | 0.0428 | 0.5492 | 1.531 | json |
| t12_x18_u4_b72 | 12 | 18 | 4 | 72 | ![]() |
cil(lrg(R,lrg(P,P))) | 34990 | 98175306 | o1(o2(x,o2(x,x))) | true | 109767 | 109767 | 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_x18_u4_b73 | 12 | 18 | 4 | 73 | ![]() |
cil(lrg(R,eql(P,P))) | 34991 | 98175307 | o1(o2(x,o2(x,x))) | true | 109775 | 109775 | 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_x18_u4_b74 | 12 | 18 | 4 | 74 | ![]() |
cil(lrg(R,min(P,P))) | 34992 | 98175308 | o1(o2(x,o2(x,x))) | true | 109783 | 109783 | 0.4961 | 0.5378 | 0.4961 | 0.2412 | 0.4911 | 0 | 1 | 1 | 1 | 1.415 | 0.0003238 | 0.0001053 | 0.004981 | 0.5091 | 1 | -0.000005705 | 0.00002256 | 0.001187 | 0.0004044 | 0.02011 | 4.037 | 0.1169 | 0.001779 | 0.00009352 | 1 | 1 | 0.001146 | 0.01504 | 0.08976 | 0.004753 | 0.06234 | 0.3721 | json |
| t12_x18_u4_b75 | 12 | 18 | 4 | 75 | ![]() |
cil(lrg(R,dot(P,P))) | 34993 | 98175309 | o1(o2(x,o2(x,x))) | true | 109791 | 109791 | 0.003906 | 0.01477 | 0.003906 | 0.002383 | 0.04882 | 0 | 0.9994 | 0.9994 | 1 | 0.1068 | 0.00003512 | 0.00003512 | 0.0008419 | 7.252e-7 | 0 | -5.638e-14 | 0.000004222 | 0.000206 | 0.00006942 | 0.008332 | 9.897 | 0.1169 | 0.02947 | 0.001772 | 1 | 1 | 0.0002443 | 0.003178 | 0.008708 | 0.1025 | 1.334 | 3.654 | json |
| t12_x18_u4_b76 | 12 | 18 | 4 | 76 | ![]() |
cil(lrg(R,dst(P,P))) | 34994 | 98175310 | o1(o2(x,o2(x,x))) | true | 109799 | 109799 | 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_x18_u4_b77 | 12 | 18 | 4 | 77 | ![]() |
cil(eql(R,add(P,P))) | 34995 | 98175311 | o1(o2(x,o2(x,x))) | true | 109807 | 109807 | 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_x18_u4_b78 | 12 | 18 | 4 | 78 | ![]() |
cil(eql(R,sub(P,P))) | 34996 | 98175312 | o1(o2(x,o2(x,x))) | true | 109815 | 109815 | 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_x18_u4_b79 | 12 | 18 | 4 | 79 | ![]() |
cil(eql(R,mlt(P,P))) | 34997 | 98175313 | o1(o2(x,o2(x,x))) | true | 109823 | 109823 | 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_x18_u4_b80 | 12 | 18 | 4 | 80 | ![]() |
cil(eql(R,div(P,P))) | 34998 | 98175314 | o1(o2(x,o2(x,x))) | true | 109831 | 109831 | 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_x18_u4_b81 | 12 | 18 | 4 | 81 | ![]() |
cil(eql(R,pow(P,P))) | 34999 | 98175315 | o1(o2(x,o2(x,x))) | true | 109839 | 109839 | 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 |



































































































