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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t17_x12_u1_b18 | 17 | 12 | 1 | 18 | ![]() |
sub(D,eql(D,log(P))) | 107800 | 138535248 | o2(x,o2(x,o1(x))) | true | 22407 | 22407 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t17_x12_u1_b19 | 17 | 12 | 1 | 19 | ![]() |
sub(D,min(D,log(P))) | 107801 | 138535249 | o2(x,o2(x,o1(x))) | true | 22415 | 22415 | 0.009002 | 0.1406 | 0.134 | 0.1267 | 0.356 | -1 | 1 | 2 | 1 | 0.999 | 0.02415 | 0 | 0.01809 | 1 | 1 | 1.017e-13 | 0.04764 | 0.03243 | 0.02383 | 0.1544 | 8.533 | 2 | 0.1906 | 0.3759 | 1 | 1 | 0.03247 | 0.1363 | 0.159 | 0.2562 | 1.076 | 1.254 | json |
| t17_x12_u1_b20 | 17 | 12 | 1 | 20 | ![]() |
sub(D,dot(D,log(P))) | 107802 | 138535250 | o2(x,o2(x,o1(x))) | true | 22423 | 22423 | -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 |
| t17_x12_u1_b21 | 17 | 12 | 1 | 21 | ![]() |
sub(D,dst(D,log(P))) | 107803 | 138535251 | o2(x,o2(x,o1(x))) | true | 22431 | 22431 | -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 |
| t17_x12_u1_b22 | 17 | 12 | 1 | 22 | ![]() |
mlt(D,add(D,log(P))) | 107804 | 138535252 | o2(x,o2(x,o1(x))) | true | 22439 | 22439 | -0.529 | 0.2773 | 0.6292 | 0.2978 | 0.5457 | -1 | 0.4031 | 1.403 | 1 | 2.451 | 0.005814 | 0 | 0.028 | 1 | 1 | 0.0002186 | 0.008178 | 0.01744 | 0.00503 | 0.07092 | 2.533 | 1.001 | 0.01952 | 0.02746 | 1 | 1 | 0.007867 | 0.04245 | 0.0928 | 0.02642 | 0.1426 | 0.3116 | json |
| t17_x12_u1_b23 | 17 | 12 | 1 | 23 | ![]() |
mlt(D,sub(D,log(P))) | 107805 | 138535253 | o2(x,o2(x,o1(x))) | true | 22447 | 22447 | -0.4918 | 0.3242 | 0.654 | 0.3482 | 0.5901 | -1 | 0.4542 | 1.454 | 1 | 2.475 | 0.006362 | 0 | 0.03283 | 1 | 1 | -0.000459 | 0.008179 | 0.01871 | 0.005283 | 0.07269 | 2.214 | 1.001 | 0.01827 | 0.02349 | 1 | 1 | 0.009188 | 0.05744 | 0.1237 | 0.02639 | 0.165 | 0.3554 | json |
| t17_x12_u1_b24 | 17 | 12 | 1 | 24 | ![]() |
mlt(D,mlt(D,log(P))) | 107806 | 138535254 | o2(x,o2(x,o1(x))) | true | 22455 | 22455 | -0.4913 | 0.4375 | 0.6337 | 0.342 | 0.5848 | -1 | 0.4979 | 1.498 | 1 | 2.177 | 0.005154 | 0 | 0.02256 | 1 | 1 | -0.0002419 | 0.008087 | 0.01539 | 0.004645 | 0.06815 | 3.021 | 1 | 0.01507 | 0.02365 | 1 | 1 | 0.006805 | 0.03383 | 0.09903 | 0.01989 | 0.0989 | 0.2895 | json |
| t17_x12_u1_b25 | 17 | 12 | 1 | 25 | ![]() |
mlt(D,div(D,log(P))) | 107807 | 138535255 | o2(x,o2(x,o1(x))) | true | 22463 | 22463 | -0.4681 | 0.4375 | 0.6569 | 0.4107 | 0.6409 | -1 | 1 | 2 | 1 | 1.945 | 0.03599 | 0 | 0.0282 | 1 | 1 | -0.00005983 | 0.07136 | 0.04297 | 0.03521 | 0.1876 | 6.653 | 2 | 0.08763 | 0.1738 | 1 | 1 | 0.04804 | 0.1995 | 0.2512 | 0.117 | 0.4857 | 0.6117 | json |
| t17_x12_u1_b26 | 17 | 12 | 1 | 26 | ![]() |
mlt(D,pow(D,log(P))) | 107808 | 138535256 | o2(x,o2(x,o1(x))) | true | 22471 | 22471 | -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 |
| t17_x12_u1_b27 | 17 | 12 | 1 | 27 | ![]() |
mlt(D,mod(D,log(P))) | 107809 | 138535257 | o2(x,o2(x,o1(x))) | true | 22479 | 22479 | -0.5808 | 0.375 | 0.6691 | 0.2959 | 0.544 | -1 | 0.2473 | 1.247 | 1 | 1.627 | 0.004476 | 0 | 0.01564 | 1 | 1 | -0.0001202 | 0.007982 | 0.0131 | 0.004232 | 0.06505 | 4.159 | 1.001 | 0.01513 | 0.02698 | 1 | 1 | 0.006182 | 0.03185 | 0.1054 | 0.02089 | 0.1076 | 0.3562 | json |
| t17_x12_u1_b28 | 17 | 12 | 1 | 28 | ![]() |
mlt(D,lrg(D,log(P))) | 107810 | 138535258 | o2(x,o2(x,o1(x))) | true | 22487 | 22487 | 0.01862 | 0.3945 | 0.0658 | 0.00883 | 0.09397 | -0.1454 | 0.2729 | 0.4183 | 1 | 2.39 | 0.001054 | 0 | 0.02309 | 1 | 1 | -0.0001582 | 0.000276 | 0.009931 | 0.0005204 | 0.02281 | 0.988 | 0.1 | 0.1193 | 0.03125 | 1 | 1 | 0.002085 | 0.0147 | 0.005001 | 0.2361 | 1.664 | 0.5663 | json |
| t17_x12_u1_b29 | 17 | 12 | 1 | 29 | ![]() |
mlt(D,eql(D,log(P))) | 107811 | 138535259 | o2(x,o2(x,o1(x))) | true | 22495 | 22495 | 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 |
| t17_x12_u1_b30 | 17 | 12 | 1 | 30 | ![]() |
mlt(D,min(D,log(P))) | 107812 | 138535260 | o2(x,o2(x,o1(x))) | true | 22503 | 22503 | 0.1004 | 0.9375 | 0.2254 | 0.1333 | 0.3651 | -1 | 1 | 2 | 1 | 2.273 | 0.02484 | 0 | 0.04201 | 1 | 1 | -0.0002405 | 0.04782 | 0.04238 | 0.02307 | 0.1519 | 3.615 | 2 | 0.1863 | 0.3587 | 1 | 1 | 0.03337 | 0.1362 | 0.1766 | 0.2503 | 1.022 | 1.325 | json |
| t17_x12_u1_b31 | 17 | 12 | 1 | 31 | ![]() |
mlt(D,dot(D,log(P))) | 107813 | 138535261 | o2(x,o2(x,o1(x))) | true | 22511 | 22511 | -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 |
| t17_x12_u1_b32 | 17 | 12 | 1 | 32 | ![]() |
mlt(D,dst(D,log(P))) | 107814 | 138535262 | o2(x,o2(x,o1(x))) | true | 22519 | 22519 | -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 |
| t17_x12_u1_b33 | 17 | 12 | 1 | 33 | ![]() |
div(D,add(D,log(P))) | 107815 | 138535263 | o2(x,o2(x,o1(x))) | true | 22527 | 22527 | -0.4908 | 0.207 | 0.603 | 0.3236 | 0.5689 | -1 | 1 | 2 | 1 | 2.609 | 0.02098 | 0 | 0.0297 | 1 | 1 | 0.0001 | 0.03979 | 0.02981 | 0.02009 | 0.1417 | 4.773 | 2 | 0.06483 | 0.123 | 1 | 1 | 0.02913 | 0.1162 | 0.207 | 0.09 | 0.359 | 0.6397 | json |
| t17_x12_u1_b34 | 17 | 12 | 1 | 34 | ![]() |
div(D,sub(D,log(P))) | 107816 | 138535264 | o2(x,o2(x,o1(x))) | true | 22535 | 22535 | -0.4708 | 0.2266 | 0.6346 | 0.3677 | 0.6064 | -1 | 1 | 2 | 1 | 2.768 | 0.02273 | 0 | 0.03621 | 1 | 1 | -0.00003334 | 0.04397 | 0.0331 | 0.02142 | 0.1463 | 4.042 | 2 | 0.06182 | 0.1196 | 1 | 1 | 0.03097 | 0.1034 | 0.3067 | 0.08424 | 0.2812 | 0.8343 | json |
| t17_x12_u1_b35 | 17 | 12 | 1 | 35 | ![]() |
div(D,mlt(D,log(P))) | 107817 | 138535265 | o2(x,o2(x,o1(x))) | true | 22543 | 22543 | -0.2443 | 0.4375 | 0.8807 | 0.7505 | 0.8663 | -1 | 1 | 2 | 1 | 2.218 | 0.04764 | 0 | 0.02587 | 1 | 1 | -0.000002969 | 0.09524 | 0.04829 | 0.04698 | 0.2167 | 8.378 | 2 | 0.06348 | 0.1269 | 1 | 1 | 0.06322 | 0.2534 | 0.315 | 0.08424 | 0.3376 | 0.4196 | json |
| t17_x12_u1_b36 | 17 | 12 | 1 | 36 | ![]() |
div(D,div(D,log(P))) | 107818 | 138535266 | o2(x,o2(x,o1(x))) | true | 22551 | 22551 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | -9.452e-10 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0.005854 | 0.03284 | 0.2495 | 0.006466 | 0.03627 | 0.2755 | json |
| t17_x12_u1_b37 | 17 | 12 | 1 | 37 | ![]() |
div(D,pow(D,log(P))) | 107819 | 138535267 | o2(x,o2(x,o1(x))) | true | 22559 | 22559 | -0.9464 | 0 | 0.9464 | 0.04361 | 0.2088 | -1 | -0.000282 | 0.9997 | 1 | 0.4765 | 0.007778 | 0 | 0.009852 | 1 | 1 | 2.365e-10 | 0.01593 | 0.01649 | 0.007678 | 0.08762 | 8.894 | 0.9997 | 0.1784 | 0.3653 | 1 | 1 | 0.01007 | 0.03209 | 0.06262 | 0.2309 | 0.7358 | 1.436 | json |
| t17_x12_u1_b38 | 17 | 12 | 1 | 38 | ![]() |
div(D,mod(D,log(P))) | 107820 | 138535268 | o2(x,o2(x,o1(x))) | true | 22567 | 22567 | -0.25 | 0.375 | 1 | 0.9375 | 0.9682 | -1 | 1 | 2 | 1 | 0.9544 | 0.01587 | 0 | 0.007937 | 1 | 1 | 3.122e-8 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01693 | 0.03386 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02246 | 0.08982 | 0.3593 | json |
| t17_x12_u1_b39 | 17 | 12 | 1 | 39 | ![]() |
div(D,lrg(D,log(P))) | 107821 | 138535269 | o2(x,o2(x,o1(x))) | true | 22575 | 22575 | -0.5 | 0.25 | 0.5472 | 0.2554 | 0.5054 | -1 | 0.1454 | 1.145 | 1 | 2.281 | 0.004532 | 0 | 0.02169 | 1 | 1 | -0.0001582 | 0.008021 | 0.01518 | 0.004062 | 0.06374 | 2.939 | 0.969 | 0.01774 | 0.0314 | 1 | 1 | 0.006175 | 0.02731 | 0.08512 | 0.02418 | 0.1069 | 0.3333 | json |
| t17_x12_u1_b40 | 17 | 12 | 1 | 40 | ![]() |
div(D,eql(D,log(P))) | 107822 | 138535270 | o2(x,o2(x,o1(x))) | true | 22583 | 22583 | -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 |
| t17_x12_u1_b41 | 17 | 12 | 1 | 41 | ![]() |
div(D,min(D,log(P))) | 107823 | 138535271 | o2(x,o2(x,o1(x))) | true | 22591 | 22591 | 0.8125 | 0.9375 | 0.9375 | 0.2638 | 0.5136 | -1 | 1 | 2 | 1 | 1.14 | 0.03245 | 0 | 0.02381 | 1 | 1 | 6.528e-8 | 0.06362 | 0.0336 | 0.0319 | 0.1786 | 7.502 | 2 | 0.123 | 0.2412 | 1 | 1 | 0.04388 | 0.1794 | 0.3186 | 0.1663 | 0.68 | 1.208 | json |
| t17_x12_u1_b42 | 17 | 12 | 1 | 42 | ![]() |
div(D,dot(D,log(P))) | 107824 | 138535272 | o2(x,o2(x,o1(x))) | true | 22599 | 22599 | -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 |
| t17_x12_u1_b43 | 17 | 12 | 1 | 43 | ![]() |
div(D,dst(D,log(P))) | 107825 | 138535273 | o2(x,o2(x,o1(x))) | true | 22607 | 22607 | -0.75 | 0 | 0.75 | 0.1875 | 0.433 | -1 | 0 | 1 | 1 | 0.8113 | 0.001984 | 0.001984 | 0.003968 | 0 | 1 | 0 | 0.007968 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.02116 | 0.0425 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02807 | 0.1123 | 0.4491 | json |
| t17_x12_u1_b44 | 17 | 12 | 1 | 44 | ![]() |
pow(D,add(D,log(P))) | 107826 | 138535274 | o2(x,o2(x,o1(x))) | true | 22615 | 22615 | -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 |
| t17_x12_u1_b45 | 17 | 12 | 1 | 45 | ![]() |
pow(D,sub(D,log(P))) | 107827 | 138535275 | o2(x,o2(x,o1(x))) | true | 22623 | 22623 | -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 |
| t17_x12_u1_b46 | 17 | 12 | 1 | 46 | ![]() |
pow(D,mlt(D,log(P))) | 107828 | 138535276 | o2(x,o2(x,o1(x))) | true | 22631 | 22631 | -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 |
| t17_x12_u1_b47 | 17 | 12 | 1 | 47 | ![]() |
pow(D,div(D,log(P))) | 107829 | 138535277 | o2(x,o2(x,o1(x))) | true | 22639 | 22639 | -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 |
| t17_x12_u1_b48 | 17 | 12 | 1 | 48 | ![]() |
pow(D,pow(D,log(P))) | 107830 | 138535278 | o2(x,o2(x,o1(x))) | true | 22647 | 22647 | -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 |
| t17_x12_u1_b49 | 17 | 12 | 1 | 49 | ![]() |
pow(D,mod(D,log(P))) | 107831 | 138535279 | o2(x,o2(x,o1(x))) | true | 22655 | 22655 | -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 |
| t17_x12_u1_b50 | 17 | 12 | 1 | 50 | ![]() |
pow(D,lrg(D,log(P))) | 107832 | 138535280 | o2(x,o2(x,o1(x))) | true | 22663 | 22663 | -0.04486 | 0.5 | 0.9552 | 0.9388 | 0.9689 | -1 | 1 | 2 | 1 | 1.628 | 0.008625 | 0 | 0.01593 | 1 | 1 | 4.731e-10 | 0.01593 | 0.01758 | 0.008368 | 0.09148 | 5.741 | 1.032 | 0.009188 | 0.01697 | 1 | 1 | 0.01231 | 0.06346 | 0.2576 | 0.01312 | 0.0676 | 0.2744 | json |
| t17_x12_u1_b51 | 17 | 12 | 1 | 51 | ![]() |
pow(D,eql(D,log(P))) | 107833 | 138535281 | o2(x,o2(x,o1(x))) | true | 22671 | 22671 | 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 |
| t17_x12_u1_b52 | 17 | 12 | 1 | 52 | ![]() |
pow(D,min(D,log(P))) | 107834 | 138535282 | o2(x,o2(x,o1(x))) | true | 22679 | 22679 | -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 |
| t17_x12_u1_b53 | 17 | 12 | 1 | 53 | ![]() |
pow(D,dot(D,log(P))) | 107835 | 138535283 | o2(x,o2(x,o1(x))) | true | 22687 | 22687 | -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 |
| t17_x12_u1_b54 | 17 | 12 | 1 | 54 | ![]() |
pow(D,dst(D,log(P))) | 107836 | 138535284 | o2(x,o2(x,o1(x))) | true | 22695 | 22695 | -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 |
| t17_x12_u1_b55 | 17 | 12 | 1 | 55 | ![]() |
mod(D,add(D,log(P))) | 107837 | 138535285 | o2(x,o2(x,o1(x))) | true | 22703 | 22703 | -0.5614 | 0.2031 | 0.6074 | 0.2536 | 0.5036 | -1 | 0.2437 | 1.244 | 1 | 2.254 | 0.005939 | 0 | 0.0254 | 1 | 1 | 0.0001582 | 0.01017 | 0.02453 | 0.005292 | 0.07275 | 2.864 | 1 | 0.02342 | 0.04012 | 1 | 1 | 0.008523 | 0.03749 | 0.08707 | 0.03361 | 0.1478 | 0.3434 | json |
| t17_x12_u1_b56 | 17 | 12 | 1 | 56 | ![]() |
mod(D,sub(D,log(P))) | 107838 | 138535286 | o2(x,o2(x,o1(x))) | true | 22711 | 22711 | -0.575 | 0.1953 | 0.6121 | 0.2395 | 0.4894 | -1 | 0.1454 | 1.145 | 1 | 2.261 | 0.006132 | 0 | 0.02591 | 1 | 1 | 0.0001582 | 0.01056 | 0.02556 | 0.005461 | 0.0739 | 2.852 | 0.9997 | 0.02561 | 0.04409 | 1 | 1 | 0.008778 | 0.0356 | 0.07403 | 0.03666 | 0.1487 | 0.3091 | json |
| t17_x12_u1_b57 | 17 | 12 | 1 | 57 | ![]() |
mod(D,mlt(D,log(P))) | 107839 | 138535287 | o2(x,o2(x,o1(x))) | true | 22719 | 22719 | -0.6312 | 0.1719 | 0.6611 | 0.231 | 0.4807 | -1 | 0.1454 | 1.145 | 1 | 1.972 | 0.004625 | 0 | 0.01709 | 1 | 1 | 0.0001582 | 0.008071 | 0.01314 | 0.004332 | 0.06582 | 3.851 | 1.009 | 0.02002 | 0.03493 | 1 | 1 | 0.006432 | 0.02725 | 0.07766 | 0.02784 | 0.118 | 0.3361 | json |
| t17_x12_u1_b58 | 17 | 12 | 1 | 58 | ![]() |
mod(D,div(D,log(P))) | 107840 | 138535288 | o2(x,o2(x,o1(x))) | true | 22727 | 22727 | -0.6164 | 0.2109 | 0.6463 | 0.2475 | 0.4975 | -1 | 0.2554 | 1.255 | 1 | 1.757 | 0.004381 | 0 | 0.01036 | 1 | 1 | -0.00002712 | 0.007972 | 0.01015 | 0.004274 | 0.06538 | 6.311 | 1.031 | 0.0177 | 0.0322 | 1 | 1 | 0.006222 | 0.03123 | 0.09557 | 0.02513 | 0.1262 | 0.3861 | json |
| t17_x12_u1_b59 | 17 | 12 | 1 | 59 | ![]() |
mod(D,pow(D,log(P))) | 107841 | 138535289 | o2(x,o2(x,o1(x))) | true | 22735 | 22735 | -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 |
| t17_x12_u1_b60 | 17 | 12 | 1 | 60 | ![]() |
mod(D,mod(D,log(P))) | 107842 | 138535290 | o2(x,o2(x,o1(x))) | true | 22743 | 22743 | -0.625 | 0.1016 | 0.664 | 0.2434 | 0.4934 | -1 | 0.2729 | 1.273 | 1 | 1.798 | 0.01874 | 0 | 0.05773 | 1 | 1 | -0.0003694 | 0.04289 | 0.1133 | 0.01541 | 0.1241 | 2.15 | 1 | 0.07698 | 0.1762 | 1 | 1 | 0.01607 | 0.03599 | 0.08628 | 0.06603 | 0.1479 | 0.3544 | json |
| t17_x12_u1_b61 | 17 | 12 | 1 | 61 | ![]() |
mod(D,lrg(D,log(P))) | 107843 | 138535291 | o2(x,o2(x,o1(x))) | true | 22751 | 22751 | -0.5 | 0.25 | 0.5472 | 0.2554 | 0.5054 | -1 | 0.1454 | 1.145 | 1 | 2.281 | 0.004532 | 0 | 0.02169 | 1 | 1 | -0.0001582 | 0.008021 | 0.01518 | 0.004062 | 0.06374 | 2.939 | 0.969 | 0.01774 | 0.0314 | 1 | 1 | 0.006175 | 0.02731 | 0.08512 | 0.02418 | 0.1069 | 0.3333 | json |
| t17_x12_u1_b62 | 17 | 12 | 1 | 62 | ![]() |
mod(D,eql(D,log(P))) | 107844 | 138535292 | o2(x,o2(x,o1(x))) | true | 22759 | 22759 | -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 |
| t17_x12_u1_b63 | 17 | 12 | 1 | 63 | ![]() |
mod(D,min(D,log(P))) | 107845 | 138535293 | o2(x,o2(x,o1(x))) | true | 22767 | 22767 | -0.1874 | 0.2109 | 0.2718 | 0.1719 | 0.4146 | -1 | 0.2729 | 1.273 | 1 | 2.524 | 0.03993 | 0 | 0.1242 | 1 | 1 | 0 | 0.0933 | 0.2453 | 0.02451 | 0.1566 | 1.261 | 1 | 0.2322 | 0.5427 | 1 | 1 | 0.03374 | 0.06452 | 0.1726 | 0.1962 | 0.3753 | 1.004 | json |
| t17_x12_u1_b64 | 17 | 12 | 1 | 64 | ![]() |
mod(D,dot(D,log(P))) | 107846 | 138535294 | o2(x,o2(x,o1(x))) | true | 22775 | 22775 | -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 |
| t17_x12_u1_b65 | 17 | 12 | 1 | 65 | ![]() |
mod(D,dst(D,log(P))) | 107847 | 138535295 | o2(x,o2(x,o1(x))) | true | 22783 | 22783 | -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 |
| t17_x12_u1_b66 | 17 | 12 | 1 | 66 | ![]() |
lrg(D,add(D,log(P))) | 107848 | 138535296 | o2(x,o2(x,o1(x))) | true | 22791 | 22791 | 0.5313 | 0.5625 | 0.5313 | 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 |
| t17_x12_u1_b67 | 17 | 12 | 1 | 67 | ![]() |
lrg(D,sub(D,log(P))) | 107849 | 138535297 | o2(x,o2(x,o1(x))) | true | 22799 | 22799 | 0.875 | 0.9375 | 0.875 | 0.09585 | 0.3096 | 0 | 1 | 1 | 1 | 1.067 | 0.0007059 | 0 | 0.007937 | 1 | 1 | -9.461e-10 | 0.00003238 | 0.001855 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.007364 | 0.0003379 | 1 | 1 | 0.001851 | 0.02429 | 0.1411 | 0.01931 | 0.2534 | 1.472 | json |
| t17_x12_u1_b68 | 17 | 12 | 1 | 68 | ![]() |
lrg(D,mlt(D,log(P))) | 107850 | 138535298 | o2(x,o2(x,o1(x))) | true | 22807 | 22807 | 0.75 | 1 | 0.75 | 0.1334 | 0.3652 | 0.000291 | 1 | 0.9997 | 1 | 2.329 | 0.03454 | 0 | 0.06344 | 1 | 1 | 0.00008984 | 0.06431 | 0.07079 | 0.03051 | 0.1747 | 2.753 | 0.9997 | 0.2589 | 0.4822 | 1 | 1 | 0.03933 | 0.1428 | 0.08986 | 0.2949 | 1.071 | 0.6737 | json |
| t17_x12_u1_b69 | 17 | 12 | 1 | 69 | ![]() |
lrg(D,div(D,log(P))) | 107851 | 138535299 | o2(x,o2(x,o1(x))) | true | 22815 | 22815 | 0.7188 | 0.9375 | 0.7188 | 0.1548 | 0.3935 | 0 | 1 | 1 | 1 | 2.278 | 0.03419 | 0 | 0.05947 | 1 | 1 | -0.00008984 | 0.0642 | 0.06987 | 0.03065 | 0.1751 | 2.944 | 0.9997 | 0.2208 | 0.4147 | 1 | 1 | 0.03849 | 0.1433 | 0.1229 | 0.2486 | 0.926 | 0.7936 | json |
| t17_x12_u1_b70 | 17 | 12 | 1 | 70 | ![]() |
lrg(D,pow(D,log(P))) | 107852 | 138535300 | o2(x,o2(x,o1(x))) | true | 22823 | 22823 | 0.875 | 0.9375 | 0.875 | 0.09585 | 0.3096 | 0 | 1 | 1 | 1 | 1.067 | 0.008638 | 0 | 0.01587 | 1 | 1 | -4.731e-10 | 0.016 | 0.01772 | 0.008384 | 0.09157 | 5.77 | 1 | 0.09012 | 0.167 | 1 | 1 | 0.0123 | 0.05349 | 0.1081 | 0.1283 | 0.5581 | 1.128 | json |
| t17_x12_u1_b71 | 17 | 12 | 1 | 71 | ![]() |
lrg(D,mod(D,log(P))) | 107853 | 138535301 | o2(x,o2(x,o1(x))) | true | 22831 | 22831 | 0.5947 | 0.6445 | 0.5947 | 0.2333 | 0.483 | 0 | 1 | 1 | 1 | 1.349 | 0.0004567 | 0 | 0.005073 | 1 | 1 | -4.731e-10 | 0.0002647 | 0.002555 | 0.0004307 | 0.02075 | 4.091 | 0.1392 | 0.001958 | 0.001135 | 1 | 1 | 0.001036 | 0.01228 | 0.07392 | 0.004441 | 0.05263 | 0.3169 | json |
| t17_x12_u1_b72 | 17 | 12 | 1 | 72 | ![]() |
lrg(D,lrg(D,log(P))) | 107854 | 138535302 | o2(x,o2(x,o1(x))) | true | 22839 | 22839 | 0.1865 | 0.3555 | 0.1865 | 0.112 | 0.3347 | 0 | 0.9997 | 0.9997 | 1 | 1.864 | 0.02605 | 0 | 0.04757 | 1 | 1 | -0.00008984 | 0.04846 | 0.05405 | 0.0238 | 0.1543 | 3.243 | 0.9997 | 0.2326 | 0.4327 | 1 | 1 | 0.02733 | 0.09804 | 0.03299 | 0.244 | 0.8753 | 0.2946 | json |
| t17_x12_u1_b73 | 17 | 12 | 1 | 73 | ![]() |
lrg(D,eql(D,log(P))) | 107855 | 138535303 | o2(x,o2(x,o1(x))) | true | 22847 | 22847 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t17_x12_u1_b74 | 17 | 12 | 1 | 74 | ![]() |
lrg(D,min(D,log(P))) | 107856 | 138535304 | o2(x,o2(x,o1(x))) | true | 22855 | 22855 | 0.09473 | 0.207 | 0.09473 | 0.06462 | 0.2542 | 0 | 0.9997 | 0.9997 | 1 | 1.17 | 0.005126 | 0 | 0.01697 | 1 | 1 | -9.461e-10 | 0.008333 | 0.01234 | 0.004837 | 0.06955 | 4.098 | 0.9994 | 0.07933 | 0.129 | 1 | 1 | 0.008072 | 0.04451 | 0.08986 | 0.1249 | 0.6888 | 1.391 | json |
| t17_x12_u1_b75 | 17 | 12 | 1 | 75 | ![]() |
lrg(D,dot(D,log(P))) | 107857 | 138535305 | o2(x,o2(x,o1(x))) | true | 22863 | 22863 | 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 |
| t17_x12_u1_b76 | 17 | 12 | 1 | 76 | ![]() |
lrg(D,dst(D,log(P))) | 107858 | 138535306 | o2(x,o2(x,o1(x))) | true | 22871 | 22871 | 0.7178 | 0.75 | 0.7178 | 0.1955 | 0.4422 | 0 | 1 | 1 | 1 | 1.198 | 0.0001852 | 0.0001852 | 0.004184 | 0.000001493 | 1 | -5.533e-10 | 0.00001725 | 0.0009791 | 0.0003528 | 0.01878 | 4.489 | 0.1169 | 0.001895 | 0.00008821 | 1 | 1 | 0.0009865 | 0.01294 | 0.08005 | 0.005046 | 0.06621 | 0.4094 | json |
| t17_x12_u1_b77 | 17 | 12 | 1 | 77 | ![]() |
eql(D,add(D,log(P))) | 107859 | 138535307 | o2(x,o2(x,o1(x))) | true | 22879 | 22879 | 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 |
| t17_x12_u1_b78 | 17 | 12 | 1 | 78 | ![]() |
eql(D,sub(D,log(P))) | 107860 | 138535308 | o2(x,o2(x,o1(x))) | true | 22887 | 22887 | 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 |
| t17_x12_u1_b79 | 17 | 12 | 1 | 79 | ![]() |
eql(D,mlt(D,log(P))) | 107861 | 138535309 | o2(x,o2(x,o1(x))) | true | 22895 | 22895 | 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 |
| t17_x12_u1_b80 | 17 | 12 | 1 | 80 | ![]() |
eql(D,div(D,log(P))) | 107862 | 138535310 | o2(x,o2(x,o1(x))) | true | 22903 | 22903 | 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 |
| t17_x12_u1_b81 | 17 | 12 | 1 | 81 | ![]() |
eql(D,pow(D,log(P))) | 107863 | 138535311 | o2(x,o2(x,o1(x))) | true | 22911 | 22911 | 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 |
| t17_x12_u1_b82 | 17 | 12 | 1 | 82 | ![]() |
eql(D,mod(D,log(P))) | 107864 | 138535312 | o2(x,o2(x,o1(x))) | true | 22919 | 22919 | 0.4043 | 0.418 | 0.4043 | 0.234 | 0.4837 | 0 | 1 | 1 | 1 | 1.282 | 0.0006021 | 0 | 0.005073 | 1 | 1 | -1.419e-9 | 0.0005188 | 0.003529 | 0.0005761 | 0.024 | 4.731 | 0.2255 | 0.002573 | 0.002218 | 1 | 1 | 0.001253 | 0.0133 | 0.0751 | 0.005356 | 0.05685 | 0.321 | json |
| t17_x12_u1_b83 | 17 | 12 | 1 | 83 | ![]() |
eql(D,lrg(D,log(P))) | 107865 | 138535313 | o2(x,o2(x,o1(x))) | true | 22927 | 22927 | 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 |
| t17_x12_u1_b84 | 17 | 12 | 1 | 84 | ![]() |
eql(D,eql(D,log(P))) | 107866 | 138535314 | o2(x,o2(x,o1(x))) | true | 22935 | 22935 | 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 |
| t17_x12_u1_b85 | 17 | 12 | 1 | 85 | ![]() |
eql(D,min(D,log(P))) | 107867 | 138535315 | o2(x,o2(x,o1(x))) | true | 22943 | 22943 | 0.9053 | 1 | 0.9053 | 0.06462 | 0.2542 | 0.000291 | 1 | 0.9997 | 1 | 1.17 | 0.005126 | 0 | 0.01697 | 1 | 1 | -1.892e-9 | 0.008333 | 0.01234 | 0.004837 | 0.06955 | 4.098 | 0.9994 | 0.07934 | 0.129 | 1 | 1 | 0.008072 | 0.04451 | 0.08986 | 0.1249 | 0.6888 | 1.391 | json |
| t17_x12_u1_b86 | 17 | 12 | 1 | 86 | ![]() |
eql(D,dot(D,log(P))) | 107868 | 138535316 | o2(x,o2(x,o1(x))) | true | 22951 | 22951 | 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 |
| t17_x12_u1_b87 | 17 | 12 | 1 | 87 | ![]() |
eql(D,dst(D,log(P))) | 107869 | 138535317 | o2(x,o2(x,o1(x))) | true | 22959 | 22959 | 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 |
| t17_x12_u1_b88 | 17 | 12 | 1 | 88 | ![]() |
min(D,add(D,log(P))) | 107870 | 138535318 | o2(x,o2(x,o1(x))) | true | 22967 | 22967 | -0.125 | 0.4375 | 0.2076 | 0.1189 | 0.3448 | -1 | 0.1454 | 1.145 | 1 | 2.785 | 0.009352 | 0 | 0.03917 | 1 | 1 | 9.386e-13 | 0.01611 | 0.02856 | 0.007817 | 0.08842 | 2.257 | 1.031 | 0.07868 | 0.1355 | 1 | 1 | 0.01311 | 0.05985 | 0.1702 | 0.1103 | 0.5035 | 1.432 | json |
| t17_x12_u1_b89 | 17 | 12 | 1 | 89 | ![]() |
min(D,sub(D,log(P))) | 107871 | 138535319 | o2(x,o2(x,o1(x))) | true | 22975 | 22975 | -0.3857 | 0.3008 | 0.4416 | 0.2297 | 0.4792 | -1 | 0.1454 | 1.145 | 1 | 2.936 | 0.001497 | 0 | 0.02704 | 1 | 1 | -0.0001582 | 0.0002341 | 0.01116 | 0.0007662 | 0.02768 | 1.024 | 0.1354 | 0.00652 | 0.001019 | 1 | 1 | 0.00329 | 0.02519 | 0.06272 | 0.01433 | 0.1097 | 0.2731 | json |
| t17_x12_u1_b90 | 17 | 12 | 1 | 90 | ![]() |
min(D,mlt(D,log(P))) | 107872 | 138535320 | o2(x,o2(x,o1(x))) | true | 22983 | 22983 | -0.1091 | 0.3867 | 0.1746 | 0.07058 | 0.2657 | -1 | 0.1454 | 1.145 | 1 | 3.202 | 0.009821 | 0 | 0.04655 | 1 | 1 | 0.0002507 | 0.01621 | 0.03164 | 0.007654 | 0.08749 | 1.879 | 0.9997 | 0.1391 | 0.2297 | 1 | 1 | 0.01343 | 0.05887 | 0.08281 | 0.1902 | 0.8341 | 1.173 | json |
| t17_x12_u1_b91 | 17 | 12 | 1 | 91 | ![]() |
min(D,div(D,log(P))) | 107873 | 138535321 | o2(x,o2(x,o1(x))) | true | 22991 | 22991 | -0.08143 | 0.4297 | 0.1514 | 0.06677 | 0.2584 | -1 | 0.1454 | 1.145 | 1 | 2.84 | 0.009404 | 0 | 0.04067 | 1 | 1 | 0.00003599 | 0.01614 | 0.02936 | 0.007749 | 0.08803 | 2.165 | 1.031 | 0.1408 | 0.2417 | 1 | 1 | 0.01338 | 0.05967 | 0.08579 | 0.2003 | 0.8936 | 1.285 | json |
| t17_x12_u1_b92 | 17 | 12 | 1 | 92 | ![]() |
min(D,pow(D,log(P))) | 107874 | 138535322 | o2(x,o2(x,o1(x))) | true | 22999 | 22999 | -0.01705 | 0.4453 | 0.08896 | 0.00996 | 0.0998 | -0.1689 | 0.1454 | 0.3143 | 1 | 2.563 | 0.001383 | 0 | 0.03252 | 1 | 1 | 0.00001252 | 0.0002316 | 0.01363 | 0.0003257 | 0.01805 | 0.5549 | 0.06192 | 0.1389 | 0.02325 | 1 | 1 | 0.002811 | 0.01883 | 0.0003831 | 0.2823 | 1.89 | 0.03846 | json |
| t17_x12_u1_b93 | 17 | 12 | 1 | 93 | ![]() |
min(D,mod(D,log(P))) | 107875 | 138535323 | o2(x,o2(x,o1(x))) | true | 23007 | 23007 | -0.0006761 | 0.5 | 0.09504 | 0.01106 | 0.1052 | -0.2385 | 0.1454 | 0.384 | 1 | 2.608 | 0.001711 | 0 | 0.03683 | 1 | 1 | 3.547e-10 | 0.0003796 | 0.01523 | 0.0003551 | 0.01884 | 0.5116 | 0.1203 | 0.1547 | 0.03432 | 1 | 1 | 0.003278 | 0.02241 | 0.00006495 | 0.2964 | 2.026 | 0.005872 | json |
| t17_x12_u1_b94 | 17 | 12 | 1 | 94 | ![]() |
min(D,lrg(D,log(P))) | 107876 | 138535324 | o2(x,o2(x,o1(x))) | true | 23015 | 23015 | -0.05289 | 0.3125 | 0.1119 | 0.01484 | 0.1218 | -0.2729 | 0.1454 | 0.4183 | 1 | 2.911 | 0.001586 | 0 | 0.03523 | 1 | 1 | 0.00007403 | 0.0003818 | 0.01527 | 0.0003454 | 0.01858 | 0.5276 | 0.1241 | 0.1068 | 0.02572 | 1 | 1 | 0.003004 | 0.01975 | 0.0025 | 0.2024 | 1.331 | 0.1685 | json |
| t17_x12_u1_b95 | 17 | 12 | 1 | 95 | ![]() |
min(D,eql(D,log(P))) | 107877 | 138535325 | o2(x,o2(x,o1(x))) | true | 23023 | 23023 | -0.143 | 0 | 0.143 | 0.009237 | 0.09611 | -0.2729 | -0.000282 | 0.2726 | 1 | 2.227 | 0.001451 | 0 | 0.03416 | 1 | 1 | 0.0003063 | 0.0002653 | 0.01361 | 0.0002853 | 0.01689 | 0.4945 | 0.06184 | 0.1571 | 0.02873 | 1 | 1 | 0.002788 | 0.01827 | 0 | 0.3018 | 1.978 | 0 | json |
| t17_x12_u1_b96 | 17 | 12 | 1 | 96 | ![]() |
min(D,min(D,log(P))) | 107878 | 138535326 | o2(x,o2(x,o1(x))) | true | 23031 | 23031 | -0.134 | 0.4063 | 0.2107 | 0.1177 | 0.3431 | -1 | 0.1454 | 1.145 | 1 | 2.921 | 0.009101 | 0 | 0.03908 | 1 | 1 | 9.469e-10 | 0.01609 | 0.02826 | 0.007575 | 0.08703 | 2.227 | 0.9997 | 0.07732 | 0.1367 | 1 | 1 | 0.01246 | 0.0529 | 0.1602 | 0.1059 | 0.4494 | 1.361 | json |
| t17_x12_u1_b97 | 17 | 12 | 1 | 97 | ![]() |
min(D,dot(D,log(P))) | 107879 | 138535327 | o2(x,o2(x,o1(x))) | true | 23039 | 23039 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.03609 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 5.236e-15 | 0.2912 | 2.017 | 4.838e-13 | json |
| t17_x12_u1_b98 | 17 | 12 | 1 | 98 | ![]() |
min(D,dst(D,log(P))) | 107880 | 138535328 | o2(x,o2(x,o1(x))) | true | 23047 | 23047 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t17_x12_u1_b99 | 17 | 12 | 1 | 99 | ![]() |
dot(D,add(D,log(P))) | 107881 | 138535329 | o2(x,o2(x,o1(x))) | true | 23055 | 23055 | -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 |
| t17_x12_u1_b100 | 17 | 12 | 1 | 100 | ![]() |
dot(D,sub(D,log(P))) | 107882 | 138535330 | o2(x,o2(x,o1(x))) | true | 23063 | 23063 | -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 |
| t17_x12_u1_b101 | 17 | 12 | 1 | 101 | ![]() |
dot(D,mlt(D,log(P))) | 107883 | 138535331 | o2(x,o2(x,o1(x))) | true | 23071 | 23071 | -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 |
| t17_x12_u1_b102 | 17 | 12 | 1 | 102 | ![]() |
dot(D,div(D,log(P))) | 107884 | 138535332 | o2(x,o2(x,o1(x))) | true | 23079 | 23079 | -0.8355 | 0.1406 | 0.8833 | 0.167 | 0.4086 | -1 | 0.583 | 1.583 | 1 | 0.9596 | 0.00186 | 0.00186 | 0.008047 | 1.877e-7 | 1 | -0.00004464 | 0.007008 | 0.008025 | 0.003655 | 0.06046 | 7.513 | 1.293 | 0.02228 | 0.04198 | 1 | 1 | 0.004686 | 0.02394 | 0.08375 | 0.02806 | 0.1434 | 0.5016 | json |
| t17_x12_u1_b103 | 17 | 12 | 1 | 103 | ![]() |
dot(D,pow(D,log(P))) | 107885 | 138535333 | o2(x,o2(x,o1(x))) | true | 23087 | 23087 | -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 |
| t17_x12_u1_b104 | 17 | 12 | 1 | 104 | ![]() |
dot(D,mod(D,log(P))) | 107886 | 138535334 | o2(x,o2(x,o1(x))) | true | 23095 | 23095 | -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 |
| t17_x12_u1_b105 | 17 | 12 | 1 | 105 | ![]() |
dot(D,lrg(D,log(P))) | 107887 | 138535335 | o2(x,o2(x,o1(x))) | true | 23103 | 23103 | 0.03723 | 0.5333 | 0.1048 | 0.01766 | 0.1329 | -0.2908 | 0.5458 | 0.8366 | 1 | 3.068 | 0.001054 | 0.001054 | 0.03897 | -0.0000184 | 1 | -0.0003164 | 0.000552 | 0.01554 | 0.0005895 | 0.02428 | 0.6231 | 0.1415 | 0.1193 | 0.03126 | 1 | 1 | 0.00417 | 0.02939 | 0.01 | 0.2361 | 1.664 | 0.5664 | json |
| t17_x12_u1_b106 | 17 | 12 | 1 | 106 | ![]() |
dot(D,eql(D,log(P))) | 107888 | 138535336 | o2(x,o2(x,o1(x))) | true | 23111 | 23111 | 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 |
| t17_x12_u1_b107 | 17 | 12 | 1 | 107 | ![]() |
dot(D,min(D,log(P))) | 107889 | 138535337 | o2(x,o2(x,o1(x))) | true | 23119 | 23119 | -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 |
| t17_x12_u1_b108 | 17 | 12 | 1 | 108 | ![]() |
dot(D,dot(D,log(P))) | 107890 | 138535338 | o2(x,o2(x,o1(x))) | true | 23127 | 23127 | -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 |
| t17_x12_u1_b109 | 17 | 12 | 1 | 109 | ![]() |
dot(D,dst(D,log(P))) | 107891 | 138535339 | o2(x,o2(x,o1(x))) | true | 23135 | 23135 | -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 |
| t17_x12_u1_b110 | 17 | 12 | 1 | 110 | ![]() |
dst(D,add(D,log(P))) | 107892 | 138535340 | o2(x,o2(x,o1(x))) | true | 23143 | 23143 | -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 |
| t17_x12_u1_b111 | 17 | 12 | 1 | 111 | ![]() |
dst(D,sub(D,log(P))) | 107893 | 138535341 | o2(x,o2(x,o1(x))) | true | 23151 | 23151 | -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 |
| t17_x12_u1_b112 | 17 | 12 | 1 | 112 | ![]() |
dst(D,mlt(D,log(P))) | 107894 | 138535342 | o2(x,o2(x,o1(x))) | true | 23159 | 23159 | -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 |
| t17_x12_u1_b113 | 17 | 12 | 1 | 113 | ![]() |
dst(D,div(D,log(P))) | 107895 | 138535343 | o2(x,o2(x,o1(x))) | true | 23167 | 23167 | -0.8363 | 0.1406 | 0.8824 | 0.1644 | 0.4055 | -1 | 0.3535 | 1.354 | 1 | 0.904 | 0.001864 | 0.001864 | 0.006536 | 5.308e-7 | 1 | -0.00007804 | 0.007256 | 0.00755 | 0.003686 | 0.06071 | 9.29 | 1.25 | 0.02268 | 0.04414 | 1 | 1 | 0.004291 | 0.01886 | 0.07068 | 0.0261 | 0.1147 | 0.4299 | json |
| t17_x12_u1_b114 | 17 | 12 | 1 | 114 | ![]() |
dst(D,pow(D,log(P))) | 107896 | 138535344 | o2(x,o2(x,o1(x))) | true | 23175 | 23175 | -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 |
| t17_x12_u1_b115 | 17 | 12 | 1 | 115 | ![]() |
dst(D,mod(D,log(P))) | 107897 | 138535345 | o2(x,o2(x,o1(x))) | true | 23183 | 23183 | -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 |
| t17_x12_u1_b116 | 17 | 12 | 1 | 116 | ![]() |
dst(D,lrg(D,log(P))) | 107898 | 138535346 | o2(x,o2(x,o1(x))) | true | 23191 | 23191 | 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 |
| t17_x12_u1_b117 | 17 | 12 | 1 | 117 | ![]() |
dst(D,eql(D,log(P))) | 107899 | 138535347 | o2(x,o2(x,o1(x))) | true | 23199 | 23199 | 0.4439 | 1 | 0.4439 | 0.02504 | 0.1582 | 0.04473 | 0.7026 | 0.6579 | 1 | 3.252 | 0.001981 | 0.001981 | 0.05914 | 2.938e-7 | 1 | -0.0006857 | 0.0006739 | 0.01958 | 0.000465 | 0.02156 | 0.3646 | 0.09377 | 0.1583 | 0.02692 | 1 | 1 | 0.007608 | 0.05068 | 0 | 0.3039 | 2.024 | 0 | json |



































































































