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_u4_b82 | 12 | 18 | 4 | 82 | ![]() |
cil(eql(R,mod(P,P))) | 35000 | 98175316 | o1(o2(x,o2(x,x))) | true | 109847 | 109847 | 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_b83 | 12 | 18 | 4 | 83 | ![]() |
cil(eql(R,lrg(P,P))) | 35001 | 98175317 | o1(o2(x,o2(x,x))) | true | 109855 | 109855 | 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_b84 | 12 | 18 | 4 | 84 | ![]() |
cil(eql(R,eql(P,P))) | 35002 | 98175318 | o1(o2(x,o2(x,x))) | true | 109863 | 109863 | 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_b85 | 12 | 18 | 4 | 85 | ![]() |
cil(eql(R,min(P,P))) | 35003 | 98175319 | o1(o2(x,o2(x,x))) | true | 109871 | 109871 | 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_b86 | 12 | 18 | 4 | 86 | ![]() |
cil(eql(R,dot(P,P))) | 35004 | 98175320 | o1(o2(x,o2(x,x))) | true | 109879 | 109879 | 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_b87 | 12 | 18 | 4 | 87 | ![]() |
cil(eql(R,dst(P,P))) | 35005 | 98175321 | o1(o2(x,o2(x,x))) | true | 109887 | 109887 | 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_b88 | 12 | 18 | 4 | 88 | ![]() |
cil(min(R,add(P,P))) | 35006 | 98175322 | o1(o2(x,o2(x,x))) | true | 109895 | 109895 | -0.2636 | 0.455 | 0.6933 | 0.5695 | 0.7547 | -1 | 1 | 2 | 1 | 2.981 | 0.001746 | 0.001206 | 0.031 | 0.1829 | 1 | -0.00002424 | 0.0002727 | 0.008396 | 0.001992 | 0.04463 | 1.439 | 0.2265 | 0.005184 | 0.0004789 | 1 | 1 | 0.006096 | 0.07403 | 0.2778 | 0.0107 | 0.13 | 0.4878 | json |
| t12_x18_u4_b89 | 12 | 18 | 4 | 89 | ![]() |
cil(min(R,sub(P,P))) | 35007 | 98175323 | o1(o2(x,o2(x,x))) | true | 109903 | 109903 | 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_b90 | 12 | 18 | 4 | 90 | ![]() |
cil(min(R,mlt(P,P))) | 35008 | 98175324 | o1(o2(x,o2(x,x))) | true | 109911 | 109911 | 0.4551 | 0.9009 | 0.4551 | 0.1532 | 0.3914 | 0 | 1 | 1 | 1 | 3.405 | 0.002041 | 0.002332 | 0.05121 | -0.06649 | 1 | -0.00001211 | 0.0002549 | 0.01243 | 0.001751 | 0.04185 | 0.8172 | 0.1169 | 0.02854 | 0.001664 | 1 | 1 | 0.008456 | 0.1088 | 0.2655 | 0.05518 | 0.7103 | 1.733 | json |
| t12_x18_u4_b91 | 12 | 18 | 4 | 91 | ![]() |
cil(min(R,div(P,P))) | 35009 | 98175325 | o1(o2(x,o2(x,x))) | true | 109919 | 109919 | 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_b92 | 12 | 18 | 4 | 92 | ![]() |
cil(min(R,pow(P,P))) | 35010 | 98175326 | o1(o2(x,o2(x,x))) | true | 109927 | 109927 | 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_b93 | 12 | 18 | 4 | 93 | ![]() |
cil(min(R,mod(P,P))) | 35011 | 98175327 | o1(o2(x,o2(x,x))) | true | 109935 | 109935 | -0.1448 | 0.2901 | 0.3557 | 0.2939 | 0.5421 | -1 | 1 | 2 | 1 | 2.729 | 0.004971 | 0.0005569 | 0.0322 | 0.7985 | 1 | 0.0005811 | 0.002332 | 0.01516 | 0.004492 | 0.06702 | 2.081 | 0.4609 | 0.01881 | 0.007935 | 1 | 1 | 0.009352 | 0.08704 | 0.2243 | 0.03182 | 0.2961 | 0.7631 | json |
| t12_x18_u4_b94 | 12 | 18 | 4 | 94 | ![]() |
cil(min(R,lrg(P,P))) | 35012 | 98175328 | o1(o2(x,o2(x,x))) | true | 109943 | 109943 | 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_b95 | 12 | 18 | 4 | 95 | ![]() |
cil(min(R,eql(P,P))) | 35013 | 98175329 | o1(o2(x,o2(x,x))) | true | 109951 | 109951 | 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_b96 | 12 | 18 | 4 | 96 | ![]() |
cil(min(R,min(P,P))) | 35014 | 98175330 | o1(o2(x,o2(x,x))) | true | 109959 | 109959 | -0.2539 | 0.455 | 0.6836 | 0.5618 | 0.7495 | -1 | 1 | 2 | 1 | 3.143 | 0.001448 | 0.001206 | 0.031 | 0.09096 | 1 | -0.00002424 | 0.0001549 | 0.007528 | 0.001693 | 0.04114 | 1.327 | 0.1169 | 0.004724 | 0.0002756 | 1 | 1 | 0.005382 | 0.07012 | 0.2678 | 0.00958 | 0.1248 | 0.4768 | json |
| t12_x18_u4_b97 | 12 | 18 | 4 | 97 | ![]() |
cil(min(R,dot(P,P))) | 35015 | 98175331 | o1(o2(x,o2(x,x))) | true | 109967 | 109967 | 0.4785 | 0.9143 | 0.4785 | 0.154 | 0.3925 | 0 | 1 | 1 | 1 | 3.422 | 0.001947 | 0.002462 | 0.05159 | -0.1168 | 1 | -0.00001781 | 0.0002569 | 0.01252 | 0.001748 | 0.0418 | 0.8103 | 0.1169 | 0.02862 | 0.001668 | 1 | 1 | 0.00871 | 0.1122 | 0.2837 | 0.05655 | 0.7283 | 1.842 | json |
| t12_x18_u4_b98 | 12 | 18 | 4 | 98 | ![]() |
cil(min(R,dst(P,P))) | 35016 | 98175332 | o1(o2(x,o2(x,x))) | true | 109975 | 109975 | 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_b99 | 12 | 18 | 4 | 99 | ![]() |
cil(dot(R,add(P,P))) | 35017 | 98175333 | o1(o2(x,o2(x,x))) | true | 109983 | 109983 | -0.009768 | 0.4988 | 0.9201 | 0.8957 | 0.9464 | -1 | 1 | 2 | 1 | 2.149 | 0.04102 | 0.0557 | 0.1064 | -0.1519 | 1 | 0.00005241 | 0.1317 | 0.1155 | 0.08536 | 0.2922 | 2.746 | 2.647 | 0.108 | 0.147 | 1 | 1 | 0.1151 | 0.7138 | 1.562 | 0.1285 | 0.7969 | 1.744 | json |
| t12_x18_u4_b100 | 12 | 18 | 4 | 100 | ![]() |
cil(dot(R,sub(P,P))) | 35018 | 98175334 | o1(o2(x,o2(x,x))) | true | 109991 | 109991 | 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_b101 | 12 | 18 | 4 | 101 | ![]() |
cil(dot(R,mlt(P,P))) | 35019 | 98175335 | o1(o2(x,o2(x,x))) | true | 109999 | 109999 | 0.1105 | 0.5611 | 0.9478 | 0.9211 | 0.9597 | -1 | 1 | 2 | 1 | 1.777 | 0.07418 | 0.08361 | 0.1143 | -0.05978 | 1 | -0.0000192 | 0.3302 | 0.1726 | 0.1448 | 0.3805 | 3.328 | 2.828 | 0.1713 | 0.3585 | 1 | 1 | 0.1522 | 0.8073 | 1.68 | 0.1652 | 0.8765 | 1.823 | json |
| t12_x18_u4_b102 | 12 | 18 | 4 | 102 | ![]() |
cil(dot(R,div(P,P))) | 35020 | 98175336 | o1(o2(x,o2(x,x))) | true | 110007 | 110007 | -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_b103 | 12 | 18 | 4 | 103 | ![]() |
cil(dot(R,pow(P,P))) | 35021 | 98175337 | o1(o2(x,o2(x,x))) | true | 110015 | 110015 | -0.7232 | 0.1392 | 0.9966 | 0.4723 | 0.6872 | -1 | 1 | 2 | 1 | 0.6565 | 0.03038 | 0.03362 | 0.03332 | -0.05058 | 1 | 0 | 0.1611 | 0.06505 | 0.06291 | 0.2508 | 7.527 | 2.828 | 0.1355 | 0.3412 | 1 | 1 | 0.06311 | 0.2831 | 0.6571 | 0.1336 | 0.5994 | 1.391 | json |
| t12_x18_u4_b104 | 12 | 18 | 4 | 104 | ![]() |
cil(dot(R,mod(P,P))) | 35022 | 98175338 | o1(o2(x,o2(x,x))) | true | 110023 | 110023 | -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_b105 | 12 | 18 | 4 | 105 | ![]() |
cil(dot(R,lrg(P,P))) | 35023 | 98175339 | o1(o2(x,o2(x,x))) | true | 110031 | 110031 | 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_b106 | 12 | 18 | 4 | 106 | ![]() |
cil(dot(R,eql(P,P))) | 35024 | 98175340 | o1(o2(x,o2(x,x))) | true | 110039 | 110039 | 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_x18_u4_b107 | 12 | 18 | 4 | 107 | ![]() |
cil(dot(R,min(P,P))) | 35025 | 98175341 | o1(o2(x,o2(x,x))) | true | 110047 | 110047 | 0.05788 | 0.5406 | 0.8592 | 0.8135 | 0.902 | -1 | 1 | 2 | 1 | 2.779 | 0.02449 | 0.03325 | 0.102 | -0.1518 | 1 | 0.000002434 | 0.04556 | 0.07425 | 0.04734 | 0.2176 | 2.133 | 1.819 | 0.07098 | 0.056 | 1 | 1 | 0.07312 | 0.5689 | 1.353 | 0.08988 | 0.6993 | 1.664 | json |
| t12_x18_u4_b108 | 12 | 18 | 4 | 108 | ![]() |
cil(dot(R,dot(P,P))) | 35026 | 98175342 | o1(o2(x,o2(x,x))) | true | 110055 | 110055 | 0.04117 | 0.5247 | 0.9701 | 0.9597 | 0.9796 | -1 | 1 | 2 | 1 | 1.503 | 0.09395 | 0.09346 | 0.1155 | 0.002594 | 1 | 0.00007287 | 0.436 | 0.2005 | 0.1741 | 0.4172 | 3.612 | 2.828 | 0.1953 | 0.4543 | 1 | 1 | 0.1841 | 0.8536 | 1.729 | 0.1919 | 0.8895 | 1.802 | json |
| t12_x18_u4_b109 | 12 | 18 | 4 | 109 | ![]() |
cil(dot(R,dst(P,P))) | 35027 | 98175343 | o1(o2(x,o2(x,x))) | true | 110063 | 110063 | 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_b110 | 12 | 18 | 4 | 110 | ![]() |
cil(dst(R,add(P,P))) | 35028 | 98175344 | o1(o2(x,o2(x,x))) | true | 110071 | 110071 | 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_b111 | 12 | 18 | 4 | 111 | ![]() |
cil(dst(R,sub(P,P))) | 35029 | 98175345 | o1(o2(x,o2(x,x))) | true | 110079 | 110079 | 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_b112 | 12 | 18 | 4 | 112 | ![]() |
cil(dst(R,mlt(P,P))) | 35030 | 98175346 | o1(o2(x,o2(x,x))) | true | 110087 | 110087 | 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_b113 | 12 | 18 | 4 | 113 | ![]() |
cil(dst(R,div(P,P))) | 35031 | 98175347 | o1(o2(x,o2(x,x))) | true | 110095 | 110095 | -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_b114 | 12 | 18 | 4 | 114 | ![]() |
cil(dst(R,pow(P,P))) | 35032 | 98175348 | o1(o2(x,o2(x,x))) | true | 110103 | 110103 | -0.5 | 0.25 | 1 | 0.75 | 0.866 | -1 | 1 | 2 | 1 | 0.8113 | 0.007937 | 0.007937 | 0.007937 | 0 | 1 | 0 | 0.03187 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.02116 | 0.0425 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02807 | 0.1123 | 0.4491 | json |
| t12_x18_u4_b115 | 12 | 18 | 4 | 115 | ![]() |
cil(dst(R,mod(P,P))) | 35033 | 98175349 | o1(o2(x,o2(x,x))) | true | 110111 | 110111 | -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_b116 | 12 | 18 | 4 | 116 | ![]() |
cil(dst(R,lrg(P,P))) | 35034 | 98175350 | o1(o2(x,o2(x,x))) | true | 110119 | 110119 | 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_b117 | 12 | 18 | 4 | 117 | ![]() |
cil(dst(R,eql(P,P))) | 35035 | 98175351 | o1(o2(x,o2(x,x))) | true | 110127 | 110127 | 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_b118 | 12 | 18 | 4 | 118 | ![]() |
cil(dst(R,min(P,P))) | 35036 | 98175352 | o1(o2(x,o2(x,x))) | true | 110135 | 110135 | 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_b119 | 12 | 18 | 4 | 119 | ![]() |
cil(dst(R,dot(P,P))) | 35037 | 98175353 | o1(o2(x,o2(x,x))) | true | 110143 | 110143 | 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_b120 | 12 | 18 | 4 | 120 | ![]() |
cil(dst(R,dst(P,P))) | 35038 | 98175354 | o1(o2(x,o2(x,x))) | true | 110151 | 110151 | 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_u5_b0 | 12 | 18 | 5 | 0 | ![]() |
sgn(add(R,add(P,P))) | 35039 | 98175435 | o1(o2(x,o2(x,x))) | true | 110159 | 110159 | -0.007813 | 0.4961 | 0.9749 | 0.9649 | 0.9823 | -1 | 1 | 2 | 1 | 1.475 | 0.001295 | 0.0004214 | 0.009963 | 0.5091 | 1 | -0.00001141 | 0.00009024 | 0.002375 | 0.001617 | 0.04022 | 4.037 | 0.2338 | 0.001779 | 0.00009352 | 1 | 1 | 0.004586 | 0.06015 | 0.359 | 0.004753 | 0.06234 | 0.3721 | json |
| t12_x18_u5_b1 | 12 | 18 | 5 | 1 | ![]() |
sgn(add(R,sub(P,P))) | 35040 | 98175436 | o1(o2(x,o2(x,x))) | true | 110167 | 110167 | -0.03516 | 0.4819 | 0.7206 | 0.6148 | 0.7841 | -1 | 1 | 2 | 1 | 4.005 | 0.007889 | 0.009769 | 0.1034 | -0.1065 | 1 | -0.00003562 | 0.001037 | 0.02513 | 0.006974 | 0.08351 | 0.8079 | 0.2338 | 0.02872 | 0.001686 | 1 | 1 | 0.03492 | 0.4498 | 1.145 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x18_u5_b2 | 12 | 18 | 5 | 2 | ![]() |
sgn(add(R,mlt(P,P))) | 35041 | 98175437 | o1(o2(x,o2(x,x))) | true | 110175 | 110175 | 0.9297 | 0.9663 | 0.9724 | 0.09724 | 0.3118 | -0.9994 | 1 | 1.999 | 1 | 0.6418 | 0.001452 | 0.0004214 | 0.01084 | 0.5502 | 1 | -0.00001141 | 0.00009725 | 0.002583 | 0.001755 | 0.04189 | 3.863 | 0.2338 | 0.01927 | 0.001 | 1 | 1 | 0.004897 | 0.0638 | 0.2017 | 0.05036 | 0.6561 | 2.074 | json |
| t12_x18_u5_b3 | 12 | 18 | 5 | 3 | ![]() |
sgn(add(R,div(P,P))) | 35042 | 98175438 | o1(o2(x,o2(x,x))) | true | 110183 | 110183 | 0.875 | 0.9375 | 0.9611 | 0.1803 | 0.4246 | -0.9994 | 1 | 1.999 | 1 | 0.8126 | 0.002823 | 0 | 0.01587 | 1 | 1 | 0 | 0.0001297 | 0.003711 | 0.002573 | 0.05073 | 3.197 | 0.2338 | 0.01566 | 0.0007193 | 1 | 1 | 0.007404 | 0.09633 | 0.2639 | 0.04107 | 0.5344 | 1.464 | json |
| t12_x18_u5_b4 | 12 | 18 | 5 | 4 | ![]() |
sgn(add(R,pow(P,P))) | 35043 | 98175439 | o1(o2(x,o2(x,x))) | true | 110191 | 110191 | 0.0625 | 0.5313 | 0.9806 | 0.969 | 0.9844 | -1 | 1 | 2 | 1 | 1.326 | 0.001412 | 0 | 0.007937 | 1 | 1 | 0 | 0.00006477 | 0.001855 | 0.001349 | 0.03673 | 4.628 | 0.2338 | 0.001457 | 0.00006684 | 1 | 1 | 0.003702 | 0.04857 | 0.3004 | 0.00382 | 0.05012 | 0.31 | json |
| t12_x18_u5_b5 | 12 | 18 | 5 | 5 | ![]() |
sgn(add(R,mod(P,P))) | 35044 | 98175440 | o1(o2(x,o2(x,x))) | true | 110199 | 110199 | -0.07812 | 0.459 | 0.7821 | 0.6917 | 0.8317 | -1 | 1 | 2 | 1 | 3.589 | 0.008691 | 0.005535 | 0.08318 | 0.2219 | 1 | -0.0000285 | 0.0007897 | 0.01994 | 0.007309 | 0.08549 | 1.028 | 0.2338 | 0.02057 | 0.001142 | 1 | 1 | 0.03194 | 0.4111 | 1.053 | 0.04618 | 0.5943 | 1.522 | json |
| t12_x18_u5_b6 | 12 | 18 | 5 | 6 | ![]() |
sgn(add(R,lrg(P,P))) | 35045 | 98175441 | o1(o2(x,o2(x,x))) | true | 110207 | 110207 | -0.03516 | 0.4819 | 0.7206 | 0.6148 | 0.7841 | -1 | 1 | 2 | 1 | 4.005 | 0.007889 | 0.009769 | 0.1034 | -0.1065 | 1 | -0.00003562 | 0.001037 | 0.02513 | 0.006974 | 0.08351 | 0.8079 | 0.2338 | 0.02872 | 0.001686 | 1 | 1 | 0.03492 | 0.4498 | 1.145 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x18_u5_b7 | 12 | 18 | 5 | 7 | ![]() |
sgn(add(R,eql(P,P))) | 35046 | 98175442 | o1(o2(x,o2(x,x))) | true | 110215 | 110215 | 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_u5_b8 | 12 | 18 | 5 | 8 | ![]() |
sgn(add(R,min(P,P))) | 35047 | 98175443 | o1(o2(x,o2(x,x))) | true | 110223 | 110223 | -0.007813 | 0.4961 | 0.9749 | 0.9649 | 0.9823 | -1 | 1 | 2 | 1 | 1.475 | 0.001295 | 0.0004214 | 0.009963 | 0.5091 | 1 | -0.00001141 | 0.00009024 | 0.002375 | 0.001617 | 0.04022 | 4.037 | 0.2338 | 0.001779 | 0.00009352 | 1 | 1 | 0.004586 | 0.06015 | 0.359 | 0.004753 | 0.06234 | 0.3721 | json |
| t12_x18_u5_b9 | 12 | 18 | 5 | 9 | ![]() |
sgn(add(R,dot(P,P))) | 35048 | 98175444 | o1(o2(x,o2(x,x))) | true | 110231 | 110231 | 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_u5_b10 | 12 | 18 | 5 | 10 | ![]() |
sgn(add(R,dst(P,P))) | 35049 | 98175445 | o1(o2(x,o2(x,x))) | true | 110239 | 110239 | -0.03516 | 0.4819 | 0.7206 | 0.6148 | 0.7841 | -1 | 1 | 2 | 1 | 4.005 | 0.007889 | 0.009769 | 0.1034 | -0.1065 | 1 | -0.00003562 | 0.001037 | 0.02513 | 0.006974 | 0.08351 | 0.8079 | 0.2338 | 0.02872 | 0.001686 | 1 | 1 | 0.03492 | 0.4498 | 1.145 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x18_u5_b11 | 12 | 18 | 5 | 11 | ![]() |
sgn(sub(R,add(P,P))) | 35050 | 98175446 | o1(o2(x,o2(x,x))) | true | 110247 | 110247 | -0.007813 | 0.4961 | 0.9749 | 0.9649 | 0.9823 | -1 | 1 | 2 | 1 | 1.475 | 0.001295 | 0.0004214 | 0.009962 | 0.5091 | 1 | -0.00001141 | 0.00009024 | 0.002375 | 0.001617 | 0.04022 | 4.037 | 0.2338 | 0.001779 | 0.00009352 | 1 | 1 | 0.004586 | 0.06015 | 0.359 | 0.004753 | 0.06234 | 0.3721 | json |
| t12_x18_u5_b12 | 12 | 18 | 5 | 12 | ![]() |
sgn(sub(R,sub(P,P))) | 35051 | 98175447 | o1(o2(x,o2(x,x))) | true | 110255 | 110255 | -0.03516 | 0.4819 | 0.7206 | 0.6148 | 0.7841 | -1 | 1 | 2 | 1 | 4.005 | 0.007889 | 0.009769 | 0.1034 | -0.1065 | 1 | -0.00003562 | 0.001037 | 0.02513 | 0.006974 | 0.08351 | 0.8079 | 0.2338 | 0.02872 | 0.001686 | 1 | 1 | 0.03492 | 0.4498 | 1.145 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x18_u5_b13 | 12 | 18 | 5 | 13 | ![]() |
sgn(sub(R,mlt(P,P))) | 35052 | 98175448 | o1(o2(x,o2(x,x))) | true | 110263 | 110263 | -0.9453 | 0.02588 | 0.9773 | 0.07472 | 0.2734 | -1 | 0.9994 | 1.999 | 1 | 0.5444 | 0.001138 | 0.0004214 | 0.009077 | 0.4597 | 1 | -0.00001141 | 0.00008335 | 0.002167 | 0.001478 | 0.03845 | 4.235 | 0.2338 | 0.02087 | 0.001115 | 1 | 1 | 0.004274 | 0.05569 | 0.1795 | 0.0572 | 0.7453 | 2.402 | json |
| t12_x18_u5_b14 | 12 | 18 | 5 | 14 | ![]() |
sgn(sub(R,div(P,P))) | 35053 | 98175449 | o1(o2(x,o2(x,x))) | true | 110271 | 110271 | -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_u5_b15 | 12 | 18 | 5 | 15 | ![]() |
sgn(sub(R,pow(P,P))) | 35054 | 98175450 | o1(o2(x,o2(x,x))) | true | 110279 | 110279 | -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_u5_b16 | 12 | 18 | 5 | 16 | ![]() |
sgn(sub(R,mod(P,P))) | 35055 | 98175451 | o1(o2(x,o2(x,x))) | true | 110287 | 110287 | -0.07812 | 0.4575 | 0.7869 | 0.6985 | 0.8358 | -1 | 1 | 2 | 1 | 3.558 | 0.008379 | 0.005535 | 0.08147 | 0.2044 | 1 | -0.0000285 | 0.0007778 | 0.01956 | 0.007277 | 0.0853 | 1.047 | 0.2338 | 0.01992 | 0.001114 | 1 | 1 | 0.0314 | 0.4026 | 1 | 0.04495 | 0.5765 | 1.432 | json |
| t12_x18_u5_b17 | 12 | 18 | 5 | 17 | ![]() |
sgn(sub(R,lrg(P,P))) | 35056 | 98175452 | o1(o2(x,o2(x,x))) | true | 110295 | 110295 | -0.03516 | 0.4819 | 0.7206 | 0.6148 | 0.7841 | -1 | 1 | 2 | 1 | 4.005 | 0.007889 | 0.009769 | 0.1034 | -0.1065 | 1 | -0.00003562 | 0.001037 | 0.02513 | 0.006974 | 0.08351 | 0.8079 | 0.2338 | 0.02872 | 0.001686 | 1 | 1 | 0.03492 | 0.4498 | 1.145 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x18_u5_b18 | 12 | 18 | 5 | 18 | ![]() |
sgn(sub(R,eql(P,P))) | 35057 | 98175453 | o1(o2(x,o2(x,x))) | true | 110303 | 110303 | -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_u5_b19 | 12 | 18 | 5 | 19 | ![]() |
sgn(sub(R,min(P,P))) | 35058 | 98175454 | o1(o2(x,o2(x,x))) | true | 110311 | 110311 | -0.007813 | 0.4961 | 0.9749 | 0.9649 | 0.9823 | -1 | 1 | 2 | 1 | 1.475 | 0.001295 | 0.0004214 | 0.009962 | 0.5091 | 1 | -0.00001141 | 0.00009024 | 0.002375 | 0.001617 | 0.04022 | 4.037 | 0.2338 | 0.001779 | 0.00009352 | 1 | 1 | 0.004586 | 0.06015 | 0.359 | 0.004753 | 0.06234 | 0.3721 | json |
| t12_x18_u5_b20 | 12 | 18 | 5 | 20 | ![]() |
sgn(sub(R,dot(P,P))) | 35059 | 98175455 | o1(o2(x,o2(x,x))) | true | 110319 | 110319 | -0.9922 | 0.003418 | 0.9957 | 0.009532 | 0.09763 | -1 | 0.9988 | 1.999 | 1 | 0.1247 | 0.0001405 | 0.0001405 | 0.001684 | 6.734e-7 | 1 | 3.604e-10 | 0.00001689 | 0.0004121 | 0.0002777 | 0.01666 | 9.897 | 0.2338 | 0.02947 | 0.001772 | 1 | 1 | 0.000977 | 0.01271 | 0.03483 | 0.1025 | 1.334 | 3.654 | json |
| t12_x18_u5_b21 | 12 | 18 | 5 | 21 | ![]() |
sgn(sub(R,dst(P,P))) | 35060 | 98175456 | o1(o2(x,o2(x,x))) | true | 110327 | 110327 | -0.03516 | 0.4819 | 0.7206 | 0.6148 | 0.7841 | -1 | 1 | 2 | 1 | 4.005 | 0.007889 | 0.009769 | 0.1034 | -0.1065 | 1 | -0.00003562 | 0.001037 | 0.02513 | 0.006974 | 0.08351 | 0.8079 | 0.2338 | 0.02872 | 0.001686 | 1 | 1 | 0.03492 | 0.4498 | 1.145 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x18_u5_b22 | 12 | 18 | 5 | 22 | ![]() |
sgn(mlt(R,add(P,P))) | 35061 | 98175457 | o1(o2(x,o2(x,x))) | true | 110335 | 110335 | -0.05078 | 0.4741 | 0.6828 | 0.5746 | 0.758 | -1 | 1 | 2 | 1 | 4.18 | 0.007168 | 0.009328 | 0.09975 | -0.1309 | 1 | -0.00007274 | 0.0009734 | 0.02421 | 0.006547 | 0.08091 | 0.8112 | 0.2338 | 0.02871 | 0.001694 | 1 | 1 | 0.03152 | 0.4058 | 1.101 | 0.05486 | 0.7063 | 1.916 | json |
| t12_x18_u5_b23 | 12 | 18 | 5 | 23 | ![]() |
sgn(mlt(R,sub(P,P))) | 35062 | 98175458 | o1(o2(x,o2(x,x))) | true | 110343 | 110343 | 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_u5_b24 | 12 | 18 | 5 | 24 | ![]() |
sgn(mlt(R,mlt(P,P))) | 35063 | 98175459 | o1(o2(x,o2(x,x))) | true | 110351 | 110351 | -0.02734 | 0.4911 | 0.6828 | 0.5764 | 0.7592 | -1 | 1 | 2 | 1 | 4.181 | 0.007168 | 0.009328 | 0.09975 | -0.1309 | 1 | -0.00002421 | 0.0009734 | 0.02421 | 0.006547 | 0.08092 | 0.8112 | 0.2338 | 0.02862 | 0.001689 | 1 | 1 | 0.03152 | 0.4056 | 1.041 | 0.0547 | 0.7038 | 1.807 | json |
| t12_x18_u5_b25 | 12 | 18 | 5 | 25 | ![]() |
sgn(mlt(R,div(P,P))) | 35064 | 98175460 | o1(o2(x,o2(x,x))) | true | 110359 | 110359 | -0.08984 | 0.4524 | 0.7246 | 0.6129 | 0.7829 | -1 | 1 | 2 | 1 | 3.976 | 0.008165 | 0.009328 | 0.1024 | -0.06649 | 1 | -0.00002421 | 0.00102 | 0.02486 | 0.007005 | 0.0837 | 0.8172 | 0.2338 | 0.02854 | 0.001664 | 1 | 1 | 0.03382 | 0.4354 | 1.062 | 0.05519 | 0.7103 | 1.733 | json |
| t12_x18_u5_b26 | 12 | 18 | 5 | 26 | ![]() |
sgn(mlt(R,pow(P,P))) | 35065 | 98175461 | o1(o2(x,o2(x,x))) | true | 110367 | 110367 | -0.5156 | 0.2402 | 0.8385 | 0.5129 | 0.7162 | -1 | 1 | 2 | 1 | 2.764 | 0.00482 | 0.005266 | 0.05913 | -0.04423 | 1 | -0.00005988 | 0.0006049 | 0.01443 | 0.006592 | 0.08119 | 1.373 | 0.2338 | 0.01966 | 0.001179 | 1 | 1 | 0.02058 | 0.2674 | 0.7164 | 0.04012 | 0.5213 | 1.397 | json |
| t12_x18_u5_b27 | 12 | 18 | 5 | 27 | ![]() |
sgn(mlt(R,mod(P,P))) | 35066 | 98175462 | o1(o2(x,o2(x,x))) | true | 110375 | 110375 | -0.1133 | 0.2687 | 0.359 | 0.2611 | 0.5109 | -1 | 1 | 2 | 1 | 4.034 | 0.003998 | 0.003561 | 0.06067 | 0.05785 | 1 | 0.000007122 | 0.0004459 | 0.01442 | 0.003878 | 0.06228 | 1.026 | 0.2338 | 0.02896 | 0.001708 | 1 | 1 | 0.01057 | 0.1364 | 0.3852 | 0.04047 | 0.5224 | 1.476 | json |
| t12_x18_u5_b28 | 12 | 18 | 5 | 28 | ![]() |
sgn(mlt(R,lrg(P,P))) | 35067 | 98175463 | o1(o2(x,o2(x,x))) | true | 110383 | 110383 | 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_u5_b29 | 12 | 18 | 5 | 29 | ![]() |
sgn(mlt(R,eql(P,P))) | 35068 | 98175464 | o1(o2(x,o2(x,x))) | true | 110391 | 110391 | -0.03516 | 0.4819 | 0.7206 | 0.6148 | 0.7841 | -1 | 1 | 2 | 1 | 4.005 | 0.007889 | 0.009769 | 0.1034 | -0.1065 | 1 | -0.00003562 | 0.001037 | 0.02513 | 0.006974 | 0.08351 | 0.8079 | 0.2338 | 0.02872 | 0.001686 | 1 | 1 | 0.03492 | 0.4498 | 1.145 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x18_u5_b30 | 12 | 18 | 5 | 30 | ![]() |
sgn(mlt(R,min(P,P))) | 35069 | 98175465 | o1(o2(x,o2(x,x))) | true | 110399 | 110399 | -0.05078 | 0.4741 | 0.6828 | 0.5746 | 0.758 | -1 | 1 | 2 | 1 | 4.18 | 0.007168 | 0.009328 | 0.09975 | -0.1309 | 1 | -0.00007274 | 0.0009734 | 0.02421 | 0.006547 | 0.08091 | 0.8112 | 0.2338 | 0.02871 | 0.001694 | 1 | 1 | 0.03152 | 0.4058 | 1.101 | 0.05486 | 0.7063 | 1.916 | json |
| t12_x18_u5_b31 | 12 | 18 | 5 | 31 | ![]() |
sgn(mlt(R,dot(P,P))) | 35070 | 98175466 | o1(o2(x,o2(x,x))) | true | 110407 | 110407 | -0.03906 | 0.4788 | 0.7194 | 0.6131 | 0.783 | -1 | 1 | 2 | 1 | 4.013 | 0.007803 | 0.009773 | 0.1031 | -0.1121 | 1 | -0.00003562 | 0.001028 | 0.02503 | 0.006942 | 0.08332 | 0.8079 | 0.2338 | 0.02867 | 0.001677 | 1 | 1 | 0.03464 | 0.4461 | 1.131 | 0.0565 | 0.7275 | 1.845 | json |
| t12_x18_u5_b32 | 12 | 18 | 5 | 32 | ![]() |
sgn(mlt(R,dst(P,P))) | 35071 | 98175467 | o1(o2(x,o2(x,x))) | true | 110415 | 110415 | 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_u5_b33 | 12 | 18 | 5 | 33 | ![]() |
sgn(div(R,add(P,P))) | 35072 | 98175468 | o1(o2(x,o2(x,x))) | true | 110423 | 110423 | -0.05859 | 0.4688 | 0.7206 | 0.6127 | 0.7828 | -1 | 1 | 2 | 1 | 4.002 | 0.007867 | 0.009769 | 0.1033 | -0.1079 | 1 | -0.00008415 | 0.001035 | 0.02511 | 0.006975 | 0.08351 | 0.8088 | 0.2338 | 0.02878 | 0.001689 | 1 | 1 | 0.03453 | 0.445 | 1.225 | 0.05636 | 0.7262 | 1.999 | json |
| t12_x18_u5_b34 | 12 | 18 | 5 | 34 | ![]() |
sgn(div(R,sub(P,P))) | 35073 | 98175469 | o1(o2(x,o2(x,x))) | true | 110431 | 110431 | -0.03516 | 0.4819 | 0.7206 | 0.6148 | 0.7841 | -1 | 1 | 2 | 1 | 4.005 | 0.007889 | 0.009769 | 0.1034 | -0.1065 | 1 | -0.00003562 | 0.001037 | 0.02513 | 0.006974 | 0.08351 | 0.8079 | 0.2338 | 0.02872 | 0.001686 | 1 | 1 | 0.03492 | 0.4498 | 1.145 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x18_u5_b35 | 12 | 18 | 5 | 35 | ![]() |
sgn(div(R,mlt(P,P))) | 35074 | 98175470 | o1(o2(x,o2(x,x))) | true | 110439 | 110439 | -0.03516 | 0.4819 | 0.7206 | 0.6148 | 0.7841 | -1 | 1 | 2 | 1 | 4.005 | 0.007889 | 0.009769 | 0.1034 | -0.1065 | 1 | -0.00003562 | 0.001037 | 0.02513 | 0.006974 | 0.08351 | 0.8079 | 0.2338 | 0.02872 | 0.001686 | 1 | 1 | 0.03492 | 0.4498 | 1.145 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x18_u5_b36 | 12 | 18 | 5 | 36 | ![]() |
sgn(div(R,div(P,P))) | 35075 | 98175471 | o1(o2(x,o2(x,x))) | true | 110447 | 110447 | -0.08984 | 0.4524 | 0.7246 | 0.6129 | 0.7829 | -1 | 1 | 2 | 1 | 3.976 | 0.008165 | 0.009328 | 0.1024 | -0.06649 | 1 | -0.00002421 | 0.00102 | 0.02486 | 0.007005 | 0.0837 | 0.8172 | 0.2338 | 0.02854 | 0.001664 | 1 | 1 | 0.03382 | 0.4354 | 1.062 | 0.05519 | 0.7103 | 1.733 | json |
| t12_x18_u5_b37 | 12 | 18 | 5 | 37 | ![]() |
sgn(div(R,pow(P,P))) | 35076 | 98175472 | o1(o2(x,o2(x,x))) | true | 110455 | 110455 | -0.5156 | 0.2402 | 0.8385 | 0.5129 | 0.7162 | -1 | 1 | 2 | 1 | 2.764 | 0.00482 | 0.005266 | 0.05913 | -0.04423 | 1 | -0.00005988 | 0.0006049 | 0.01443 | 0.006592 | 0.08119 | 1.373 | 0.2338 | 0.01966 | 0.001179 | 1 | 1 | 0.02058 | 0.2674 | 0.7164 | 0.04012 | 0.5213 | 1.397 | json |
| t12_x18_u5_b38 | 12 | 18 | 5 | 38 | ![]() |
sgn(div(R,mod(P,P))) | 35077 | 98175473 | o1(o2(x,o2(x,x))) | true | 110463 | 110463 | -0.1289 | 0.4309 | 0.7048 | 0.5794 | 0.7612 | -1 | 1 | 2 | 1 | 4.078 | 0.00949 | 0.008864 | 0.1075 | 0.03412 | 1 | -0.00002138 | 0.001104 | 0.02628 | 0.006793 | 0.08242 | 0.7665 | 0.2338 | 0.03168 | 0.001905 | 1 | 1 | 0.03466 | 0.446 | 1.097 | 0.05982 | 0.7698 | 1.894 | json |
| t12_x18_u5_b39 | 12 | 18 | 5 | 39 | ![]() |
sgn(div(R,lrg(P,P))) | 35078 | 98175474 | o1(o2(x,o2(x,x))) | true | 110471 | 110471 | -0.03516 | 0.4819 | 0.7206 | 0.6148 | 0.7841 | -1 | 1 | 2 | 1 | 4.005 | 0.007889 | 0.009769 | 0.1034 | -0.1065 | 1 | -0.00003562 | 0.001037 | 0.02513 | 0.006974 | 0.08351 | 0.8079 | 0.2338 | 0.02872 | 0.001686 | 1 | 1 | 0.03492 | 0.4498 | 1.145 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x18_u5_b40 | 12 | 18 | 5 | 40 | ![]() |
sgn(div(R,eql(P,P))) | 35079 | 98175475 | o1(o2(x,o2(x,x))) | true | 110479 | 110479 | -0.03516 | 0.4819 | 0.7206 | 0.6148 | 0.7841 | -1 | 1 | 2 | 1 | 4.005 | 0.007889 | 0.009769 | 0.1034 | -0.1065 | 1 | -0.00003562 | 0.001037 | 0.02513 | 0.006974 | 0.08351 | 0.8079 | 0.2338 | 0.02872 | 0.001686 | 1 | 1 | 0.03492 | 0.4498 | 1.145 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x18_u5_b41 | 12 | 18 | 5 | 41 | ![]() |
sgn(div(R,min(P,P))) | 35080 | 98175476 | o1(o2(x,o2(x,x))) | true | 110487 | 110487 | -0.05859 | 0.4688 | 0.7206 | 0.6127 | 0.7828 | -1 | 1 | 2 | 1 | 4.002 | 0.007867 | 0.009769 | 0.1033 | -0.1079 | 1 | -0.00008415 | 0.001035 | 0.02511 | 0.006975 | 0.08351 | 0.8088 | 0.2338 | 0.02878 | 0.001689 | 1 | 1 | 0.03453 | 0.445 | 1.225 | 0.05636 | 0.7262 | 1.999 | json |
| t12_x18_u5_b42 | 12 | 18 | 5 | 42 | ![]() |
sgn(div(R,dot(P,P))) | 35081 | 98175477 | o1(o2(x,o2(x,x))) | true | 110495 | 110495 | -0.03516 | 0.4819 | 0.7206 | 0.6148 | 0.7841 | -1 | 1 | 2 | 1 | 4.005 | 0.007889 | 0.009769 | 0.1034 | -0.1065 | 1 | -0.00003562 | 0.001037 | 0.02513 | 0.006974 | 0.08351 | 0.8079 | 0.2338 | 0.02872 | 0.001686 | 1 | 1 | 0.03492 | 0.4498 | 1.145 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x18_u5_b43 | 12 | 18 | 5 | 43 | ![]() |
sgn(div(R,dst(P,P))) | 35082 | 98175478 | o1(o2(x,o2(x,x))) | true | 110503 | 110503 | -0.03516 | 0.4819 | 0.7206 | 0.6148 | 0.7841 | -1 | 1 | 2 | 1 | 4.005 | 0.007889 | 0.009769 | 0.1034 | -0.1065 | 1 | -0.00003562 | 0.001037 | 0.02513 | 0.006974 | 0.08351 | 0.8079 | 0.2338 | 0.02872 | 0.001686 | 1 | 1 | 0.03492 | 0.4498 | 1.145 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x18_u5_b44 | 12 | 18 | 5 | 44 | ![]() |
sgn(pow(R,add(P,P))) | 35083 | 98175479 | o1(o2(x,o2(x,x))) | true | 110511 | 110511 | 0.03516 | 0.5193 | 0.7319 | 0.6299 | 0.7937 | -1 | 1 | 2 | 1 | 3.948 | 0.007583 | 0.009328 | 0.09916 | -0.1032 | 1 | -0.00002421 | 0.0009919 | 0.0241 | 0.007079 | 0.08414 | 0.8485 | 0.2338 | 0.02685 | 0.001575 | 1 | 1 | 0.03293 | 0.4241 | 1.153 | 0.05227 | 0.6732 | 1.83 | json |
| t12_x18_u5_b45 | 12 | 18 | 5 | 45 | ![]() |
sgn(pow(R,sub(P,P))) | 35084 | 98175480 | o1(o2(x,o2(x,x))) | true | 110519 | 110519 | 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_u5_b46 | 12 | 18 | 5 | 46 | ![]() |
sgn(pow(R,mlt(P,P))) | 35085 | 98175481 | o1(o2(x,o2(x,x))) | true | 110527 | 110527 | 0.009766 | 0.5029 | 0.7213 | 0.6189 | 0.7867 | -1 | 1 | 2 | 1 | 4.029 | 0.007495 | 0.008792 | 0.09729 | -0.07966 | 1 | -0.00002708 | 0.0009566 | 0.02358 | 0.006822 | 0.08259 | 0.8489 | 0.2338 | 0.02632 | 0.001546 | 1 | 1 | 0.0325 | 0.4184 | 1.127 | 0.05251 | 0.676 | 1.821 | json |
| t12_x18_u5_b47 | 12 | 18 | 5 | 47 | ![]() |
sgn(pow(R,div(P,P))) | 35086 | 98175482 | o1(o2(x,o2(x,x))) | true | 110535 | 110535 | -0.08984 | 0.4524 | 0.7246 | 0.6129 | 0.7829 | -1 | 1 | 2 | 1 | 3.976 | 0.008165 | 0.009328 | 0.1024 | -0.06649 | 1 | -0.00002421 | 0.00102 | 0.02486 | 0.007005 | 0.0837 | 0.8172 | 0.2338 | 0.02854 | 0.001664 | 1 | 1 | 0.03382 | 0.4354 | 1.062 | 0.05519 | 0.7103 | 1.733 | json |
| t12_x18_u5_b48 | 12 | 18 | 5 | 48 | ![]() |
sgn(pow(R,pow(P,P))) | 35087 | 98175483 | o1(o2(x,o2(x,x))) | true | 110543 | 110543 | -0.6309 | 0.1311 | 0.8006 | 0.3442 | 0.5867 | -1 | 1 | 2 | 1 | 2.816 | 0.003246 | 0.003374 | 0.0459 | -0.01925 | 1 | -0.00005276 | 0.0003918 | 0.01111 | 0.004512 | 0.06717 | 1.463 | 0.2338 | 0.01923 | 0.001138 | 1 | 1 | 0.01651 | 0.2142 | 0.5733 | 0.04796 | 0.6222 | 1.666 | json |
| t12_x18_u5_b49 | 12 | 18 | 5 | 49 | ![]() |
sgn(pow(R,mod(P,P))) | 35088 | 98175484 | o1(o2(x,o2(x,x))) | true | 110551 | 110551 | 0.4883 | 0.7532 | 0.8092 | 0.4965 | 0.7046 | -1 | 1 | 2 | 1 | 3.031 | 0.009274 | 0.003561 | 0.0744 | 0.4451 | 1 | 0.000184 | 0.0006867 | 0.01771 | 0.007298 | 0.08543 | 1.148 | 0.2338 | 0.02585 | 0.001383 | 1 | 1 | 0.02167 | 0.2801 | 0.7668 | 0.04364 | 0.5641 | 1.544 | json |
| t12_x18_u5_b50 | 12 | 18 | 5 | 50 | ![]() |
sgn(pow(R,lrg(P,P))) | 35089 | 98175485 | o1(o2(x,o2(x,x))) | true | 110559 | 110559 | 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_u5_b51 | 12 | 18 | 5 | 51 | ![]() |
sgn(pow(R,eql(P,P))) | 35090 | 98175486 | o1(o2(x,o2(x,x))) | true | 110567 | 110567 | -0.03516 | 0.4819 | 0.7206 | 0.6148 | 0.7841 | -1 | 1 | 2 | 1 | 4.005 | 0.007889 | 0.009769 | 0.1034 | -0.1065 | 1 | -0.00003562 | 0.001037 | 0.02513 | 0.006974 | 0.08351 | 0.8079 | 0.2338 | 0.02872 | 0.001686 | 1 | 1 | 0.03492 | 0.4498 | 1.145 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x18_u5_b52 | 12 | 18 | 5 | 52 | ![]() |
sgn(pow(R,min(P,P))) | 35091 | 98175487 | o1(o2(x,o2(x,x))) | true | 110575 | 110575 | 0.03516 | 0.5193 | 0.7319 | 0.6299 | 0.7937 | -1 | 1 | 2 | 1 | 3.948 | 0.007583 | 0.009328 | 0.09916 | -0.1032 | 1 | -0.00002421 | 0.0009919 | 0.0241 | 0.007079 | 0.08414 | 0.8485 | 0.2338 | 0.02685 | 0.001575 | 1 | 1 | 0.03293 | 0.4241 | 1.153 | 0.05227 | 0.6732 | 1.83 | json |
| t12_x18_u5_b53 | 12 | 18 | 5 | 53 | ![]() |
sgn(pow(R,dot(P,P))) | 35092 | 98175488 | o1(o2(x,o2(x,x))) | true | 110583 | 110583 | -0.07617 | 0.454 | 0.7051 | 0.5925 | 0.7697 | -1 | 1 | 2 | 1 | 4.124 | 0.007636 | 0.008924 | 0.1 | -0.07777 | 1 | -0.00003278 | 0.0009757 | 0.02423 | 0.006551 | 0.08094 | 0.809 | 0.2338 | 0.02795 | 0.001647 | 1 | 1 | 0.0345 | 0.4441 | 1.109 | 0.05822 | 0.7496 | 1.872 | json |
| t12_x18_u5_b54 | 12 | 18 | 5 | 54 | ![]() |
sgn(pow(R,dst(P,P))) | 35093 | 98175489 | o1(o2(x,o2(x,x))) | true | 110591 | 110591 | 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_u5_b55 | 12 | 18 | 5 | 55 | ![]() |
sgn(mod(R,add(P,P))) | 35094 | 98175490 | o1(o2(x,o2(x,x))) | true | 110599 | 110599 | -0.08984 | 0.4524 | 0.7246 | 0.6129 | 0.7829 | -1 | 1 | 2 | 1 | 3.976 | 0.008165 | 0.009328 | 0.1024 | -0.06649 | 1 | -0.00002421 | 0.00102 | 0.02486 | 0.007005 | 0.0837 | 0.8172 | 0.2338 | 0.02854 | 0.001664 | 1 | 1 | 0.03382 | 0.4354 | 1.062 | 0.05519 | 0.7103 | 1.733 | json |
| t12_x18_u5_b56 | 12 | 18 | 5 | 56 | ![]() |
sgn(mod(R,sub(P,P))) | 35095 | 98175491 | o1(o2(x,o2(x,x))) | true | 110607 | 110607 | -0.03516 | 0.4819 | 0.7206 | 0.6148 | 0.7841 | -1 | 1 | 2 | 1 | 4.005 | 0.007889 | 0.009769 | 0.1034 | -0.1065 | 1 | -0.00003562 | 0.001037 | 0.02513 | 0.006974 | 0.08351 | 0.8079 | 0.2338 | 0.02872 | 0.001686 | 1 | 1 | 0.03492 | 0.4498 | 1.145 | 0.0568 | 0.7316 | 1.862 | json |
| t12_x18_u5_b57 | 12 | 18 | 5 | 57 | ![]() |
sgn(mod(R,mlt(P,P))) | 35096 | 98175492 | o1(o2(x,o2(x,x))) | true | 110615 | 110615 | -0.08984 | 0.4524 | 0.7246 | 0.6129 | 0.7829 | -1 | 1 | 2 | 1 | 3.976 | 0.008165 | 0.009328 | 0.1024 | -0.06649 | 1 | -0.00002421 | 0.00102 | 0.02486 | 0.007005 | 0.0837 | 0.8172 | 0.2338 | 0.02854 | 0.001664 | 1 | 1 | 0.03382 | 0.4354 | 1.062 | 0.05519 | 0.7103 | 1.733 | json |
| t12_x18_u5_b58 | 12 | 18 | 5 | 58 | ![]() |
sgn(mod(R,div(P,P))) | 35097 | 98175493 | o1(o2(x,o2(x,x))) | true | 110623 | 110623 | -0.08984 | 0.4524 | 0.7246 | 0.6129 | 0.7829 | -1 | 1 | 2 | 1 | 3.976 | 0.008165 | 0.009328 | 0.1024 | -0.06649 | 1 | -0.00002421 | 0.00102 | 0.02486 | 0.007005 | 0.0837 | 0.8172 | 0.2338 | 0.02854 | 0.001664 | 1 | 1 | 0.03382 | 0.4354 | 1.062 | 0.05519 | 0.7103 | 1.733 | json |
| t12_x18_u5_b59 | 12 | 18 | 5 | 59 | ![]() |
sgn(mod(R,pow(P,P))) | 35098 | 98175494 | o1(o2(x,o2(x,x))) | true | 110631 | 110631 | -0.5156 | 0.2402 | 0.8385 | 0.5129 | 0.7162 | -1 | 1 | 2 | 1 | 2.764 | 0.00482 | 0.005266 | 0.05913 | -0.04423 | 1 | -0.00005988 | 0.0006049 | 0.01443 | 0.006592 | 0.08119 | 1.373 | 0.2338 | 0.01966 | 0.001179 | 1 | 1 | 0.02058 | 0.2674 | 0.7164 | 0.04012 | 0.5213 | 1.397 | json |
| t12_x18_u5_b60 | 12 | 18 | 5 | 60 | ![]() |
sgn(mod(R,mod(P,P))) | 35099 | 98175495 | o1(o2(x,o2(x,x))) | true | 110639 | 110639 | -0.6367 | 0.1741 | 0.8578 | 0.3974 | 0.6304 | -1 | 1 | 2 | 1 | 2.493 | 0.005777 | 0.003561 | 0.05475 | 0.2373 | 1 | -0.0001754 | 0.0005244 | 0.01309 | 0.006339 | 0.07962 | 1.454 | 0.2338 | 0.0235 | 0.00132 | 1 | 1 | 0.01426 | 0.1821 | 0.5171 | 0.0359 | 0.4582 | 1.301 | json |



































































































