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_x18_u1_b36 | 17 | 18 | 1 | 36 | ![]() |
div(R,div(P,log(P))) | 112900 | 138777672 | o2(x,o2(x,o1(x))) | true | 63207 | 63207 | -0.5687 | 0.1888 | 0.6125 | 0.2476 | 0.4976 | -1 | 0.3389 | 1.339 | 1 | 2.385 | 0.004082 | 0.0001227 | 0.01227 | 0.9417 | 1 | 0.000005438 | 0.007952 | 0.009872 | 0.004055 | 0.06368 | 5.191 | 1 | 0.01698 | 0.03212 | 1 | 1 | 0.005748 | 0.02711 | 0.0993 | 0.02322 | 0.1095 | 0.4011 | json |
| t17_x18_u1_b37 | 17 | 18 | 1 | 37 | ![]() |
div(R,pow(P,log(P))) | 112901 | 138777673 | o2(x,o2(x,o1(x))) | true | 63215 | 63215 | -0.489 | 0.2381 | 0.5559 | 0.2814 | 0.5304 | -1 | 0.9432 | 1.943 | 1 | 2.562 | 0.004284 | 0.0003176 | 0.01434 | 0.862 | 1 | -0.00001754 | 0.00796 | 0.01029 | 0.004395 | 0.0663 | 4.622 | 1 | 0.01636 | 0.02829 | 1 | 1 | 0.006716 | 0.04081 | 0.1375 | 0.02387 | 0.1451 | 0.4887 | json |
| t17_x18_u1_b38 | 17 | 18 | 1 | 38 | ![]() |
div(R,mod(P,log(P))) | 112902 | 138777674 | o2(x,o2(x,o1(x))) | true | 63223 | 63223 | -0.6703 | 0.1575 | 0.8154 | 0.3146 | 0.5609 | -1 | 1 | 2 | 1 | 2.436 | 0.007211 | 0.002394 | 0.03111 | 0.5015 | 1 | 0.00002925 | 0.0111 | 0.01634 | 0.00864 | 0.09295 | 2.988 | 2 | 0.03053 | 0.03529 | 1 | 1 | 0.01537 | 0.1188 | 0.3734 | 0.04884 | 0.3777 | 1.187 | json |
| t17_x18_u1_b39 | 17 | 18 | 1 | 39 | ![]() |
div(R,lrg(P,log(P))) | 112903 | 138777675 | o2(x,o2(x,o1(x))) | true | 63231 | 63231 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x18_u1_b40 | 17 | 18 | 1 | 40 | ![]() |
div(R,eql(P,log(P))) | 112904 | 138777676 | o2(x,o2(x,o1(x))) | true | 63239 | 63239 | -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_x18_u1_b41 | 17 | 18 | 1 | 41 | ![]() |
div(R,min(P,log(P))) | 112905 | 138777677 | o2(x,o2(x,o1(x))) | true | 63247 | 63247 | -0.1459 | 0.3943 | 0.2938 | 0.1659 | 0.4073 | -1 | 1 | 2 | 1 | 4.068 | 0.009524 | 0.0009642 | 0.03518 | 0.8161 | 1 | 0.00001717 | 0.01764 | 0.02145 | 0.009252 | 0.09619 | 2.735 | 2 | 0.06321 | 0.1063 | 1 | 1 | 0.0146 | 0.09047 | 0.3049 | 0.08799 | 0.5453 | 1.837 | json |
| t17_x18_u1_b42 | 17 | 18 | 1 | 42 | ![]() |
div(R,dot(P,log(P))) | 112906 | 138777678 | o2(x,o2(x,o1(x))) | true | 63255 | 63255 | -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_x18_u1_b43 | 17 | 18 | 1 | 43 | ![]() |
div(R,dst(P,log(P))) | 112907 | 138777679 | o2(x,o2(x,o1(x))) | true | 63263 | 63263 | -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_x18_u1_b44 | 17 | 18 | 1 | 44 | ![]() |
pow(R,add(P,log(P))) | 112908 | 138777680 | o2(x,o2(x,o1(x))) | true | 63271 | 63271 | -0.9956 | 0.003906 | 0.9966 | 0.005054 | 0.07109 | -1 | 0.4695 | 1.47 | 1 | 0.04629 | 0.0002541 | 0.000556 | 0.0008219 | -0.3726 | 1 | 0.00000149 | 0.001677 | 0.001501 | 0.0008092 | 0.02845 | 34.61 | 1.456 | 0.1603 | 0.3317 | 1 | 1 | 0 | 0 | 0.004244 | 0 | 0 | 0.8397 | json |
| t17_x18_u1_b45 | 17 | 18 | 1 | 45 | ![]() |
pow(R,sub(P,log(P))) | 112909 | 138777681 | o2(x,o2(x,o1(x))) | true | 63279 | 63279 | -0.9899 | 0.007813 | 0.9945 | 0.0136 | 0.1166 | -1 | 0.8668 | 1.867 | 1 | 0.09312 | 0.00132 | 0.001646 | 0.002452 | -0.1098 | 1 | 0.000002302 | 0.006225 | 0.004403 | 0.00296 | 0.05441 | 22.19 | 2.64 | 0.2181 | 0.4578 | 1 | 1 | 0.0004137 | 0.002946 | 0.01199 | 0.03042 | 0.2167 | 0.8817 | json |
| t17_x18_u1_b46 | 17 | 18 | 1 | 46 | ![]() |
pow(R,mlt(P,log(P))) | 112910 | 138777682 | o2(x,o2(x,o1(x))) | true | 63287 | 63287 | -0.9889 | 0.007538 | 0.9955 | 0.01682 | 0.1297 | -1 | 1 | 2 | 1 | 0.09195 | 0.001638 | 0.001167 | 0.002095 | 0.1679 | 1 | 0.000002865 | 0.005822 | 0.003818 | 0.002801 | 0.05293 | 25.27 | 2 | 0.1668 | 0.3461 | 1 | 1 | 0 | 0 | 0.01425 | 0 | 0 | 0.8471 | json |
| t17_x18_u1_b47 | 17 | 18 | 1 | 47 | ![]() |
pow(R,div(P,log(P))) | 112911 | 138777683 | o2(x,o2(x,o1(x))) | true | 63295 | 63295 | -0.9657 | 0.02344 | 0.9874 | 0.05215 | 0.2284 | -1 | 0.9997 | 2 | 1 | 0.2449 | 0.006682 | 0.004321 | 0.008172 | 0.2146 | 1 | 0.000002913 | 0.02282 | 0.01399 | 0.01093 | 0.1046 | 12.79 | 2 | 0.211 | 0.4375 | 1 | 1 | 0.009522 | 0.0402 | 0.09875 | 0.1826 | 0.7707 | 1.894 | json |
| t17_x18_u1_b48 | 17 | 18 | 1 | 48 | ![]() |
pow(R,pow(P,log(P))) | 112912 | 138777684 | o2(x,o2(x,o1(x))) | true | 63303 | 63303 | -0.9907 | 0.006454 | 0.9937 | 0.01169 | 0.1081 | -1 | 0.8668 | 1.867 | 1 | 0.08427 | 0.001313 | 0.001457 | 0.002262 | -0.05204 | 1 | 9.915e-9 | 0.005842 | 0.004221 | 0.002764 | 0.05257 | 23.25 | 2.64 | 0.237 | 0.4999 | 1 | 1 | 0.0004137 | 0.002946 | 0.01047 | 0.0354 | 0.2521 | 0.8955 | json |
| t17_x18_u1_b49 | 17 | 18 | 1 | 49 | ![]() |
pow(R,mod(P,log(P))) | 112913 | 138777685 | o2(x,o2(x,o1(x))) | true | 63311 | 63311 | -0.994 | 0.003906 | 0.9981 | 0.009158 | 0.0957 | -1 | 0.876 | 1.876 | 1 | 0.04941 | 0.0004368 | 0.0009959 | 0.001095 | -0.3902 | 1 | 0.000002439 | 0.002962 | 0.001996 | 0.001431 | 0.03783 | 34.56 | 1.859 | 0.1564 | 0.3235 | 1 | 1 | 0 | 0 | 0.007666 | 0 | 0 | 0.8371 | json |
| t17_x18_u1_b50 | 17 | 18 | 1 | 50 | ![]() |
pow(R,lrg(P,log(P))) | 112914 | 138777686 | o2(x,o2(x,o1(x))) | true | 63319 | 63319 | -0.9327 | 0.04297 | 0.9813 | 0.1025 | 0.3202 | -1 | 0.9428 | 1.943 | 1 | 0.413 | 0.01033 | 0.01038 | 0.01414 | -0.00231 | 1 | 0.000008535 | 0.04322 | 0.0262 | 0.02051 | 0.1432 | 10.13 | 2.64 | 0.2021 | 0.4217 | 1 | 1 | 0.01648 | 0.07156 | 0.1733 | 0.1608 | 0.6982 | 1.691 | json |
| t17_x18_u1_b51 | 17 | 18 | 1 | 51 | ![]() |
pow(R,eql(P,log(P))) | 112915 | 138777687 | o2(x,o2(x,o1(x))) | true | 63327 | 63327 | 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_x18_u1_b52 | 17 | 18 | 1 | 52 | ![]() |
pow(R,min(P,log(P))) | 112916 | 138777688 | o2(x,o2(x,o1(x))) | true | 63335 | 63335 | -0.9248 | 0.03906 | 0.9971 | 0.1409 | 0.3753 | -1 | 1 | 2 | 1 | 0.2846 | 0.01568 | 0.0122 | 0.01451 | 0.1251 | 1 | 0.000004677 | 0.05826 | 0.02875 | 0.02768 | 0.1664 | 11.47 | 2.828 | 0.1979 | 0.4136 | 1 | 1 | 0.02366 | 0.09712 | 0.252 | 0.1679 | 0.6894 | 1.789 | json |
| t17_x18_u1_b53 | 17 | 18 | 1 | 53 | ![]() |
pow(R,dot(P,log(P))) | 112917 | 138777689 | o2(x,o2(x,o1(x))) | true | 63343 | 63343 | -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_x18_u1_b54 | 17 | 18 | 1 | 54 | ![]() |
pow(R,dst(P,log(P))) | 112918 | 138777690 | o2(x,o2(x,o1(x))) | true | 63351 | 63351 | -0.9922 | 0 | 0.9922 | 0.007751 | 0.08804 | -1 | 0 | 1 | 1 | 0.06591 | 0.0007559 | 0.0009448 | 0.001691 | -0.1111 | 1 | 0 | 0.00359 | 0.003401 | 0.001698 | 0.0412 | 24.36 | 1.414 | 0.2194 | 0.4632 | 1 | 1 | 0.0002216 | 0.001551 | 0.00687 | 0.02859 | 0.2001 | 0.8863 | json |
| t17_x18_u1_b55 | 17 | 18 | 1 | 55 | ![]() |
mod(R,add(P,log(P))) | 112919 | 138777691 | o2(x,o2(x,o1(x))) | true | 63359 | 63359 | -0.5736 | 0.1995 | 0.7298 | 0.325 | 0.57 | -1 | 0.9806 | 1.981 | 1 | 3.079 | 0.008479 | 0.001297 | 0.03255 | 0.7347 | 1 | 0.00001063 | 0.01473 | 0.01637 | 0.008716 | 0.09336 | 2.868 | 1.943 | 0.03008 | 0.04532 | 1 | 1 | 0.01323 | 0.09166 | 0.2549 | 0.04071 | 0.2821 | 0.7843 | json |
| t17_x18_u1_b56 | 17 | 18 | 1 | 56 | ![]() |
mod(R,sub(P,log(P))) | 112920 | 138777692 | o2(x,o2(x,o1(x))) | true | 63367 | 63367 | -0.5736 | 0.1995 | 0.7298 | 0.325 | 0.57 | -1 | 0.9806 | 1.981 | 1 | 3.079 | 0.008479 | 0.001297 | 0.03255 | 0.7347 | 1 | 0.00001063 | 0.01473 | 0.01637 | 0.008716 | 0.09336 | 2.868 | 1.943 | 0.03008 | 0.04532 | 1 | 1 | 0.01323 | 0.09166 | 0.2549 | 0.04071 | 0.2821 | 0.7843 | json |
| t17_x18_u1_b57 | 17 | 18 | 1 | 57 | ![]() |
mod(R,mlt(P,log(P))) | 112921 | 138777693 | o2(x,o2(x,o1(x))) | true | 63375 | 63375 | -0.6415 | 0.1642 | 0.7683 | 0.2923 | 0.5406 | -1 | 0.9806 | 1.981 | 1 | 2.742 | 0.005301 | 0.001074 | 0.02663 | 0.6631 | 1 | 0.00002051 | 0.008764 | 0.01266 | 0.005662 | 0.07525 | 2.825 | 1.956 | 0.02181 | 0.02998 | 1 | 1 | 0.008861 | 0.06835 | 0.2329 | 0.03031 | 0.2338 | 0.7969 | json |
| t17_x18_u1_b58 | 17 | 18 | 1 | 58 | ![]() |
mod(R,div(P,log(P))) | 112922 | 138777694 | o2(x,o2(x,o1(x))) | true | 63383 | 63383 | -0.6415 | 0.1642 | 0.7683 | 0.2923 | 0.5406 | -1 | 0.9806 | 1.981 | 1 | 2.742 | 0.005301 | 0.001074 | 0.02663 | 0.6631 | 1 | 0.00002051 | 0.008764 | 0.01266 | 0.005662 | 0.07525 | 2.825 | 1.956 | 0.02181 | 0.02998 | 1 | 1 | 0.008861 | 0.06835 | 0.2329 | 0.03031 | 0.2338 | 0.7969 | json |
| t17_x18_u1_b59 | 17 | 18 | 1 | 59 | ![]() |
mod(R,pow(P,log(P))) | 112923 | 138777695 | o2(x,o2(x,o1(x))) | true | 63391 | 63391 | -0.5736 | 0.1995 | 0.7298 | 0.325 | 0.57 | -1 | 0.9806 | 1.981 | 1 | 3.079 | 0.008479 | 0.001297 | 0.03255 | 0.7347 | 1 | 0.00001063 | 0.01473 | 0.01637 | 0.008716 | 0.09336 | 2.868 | 1.943 | 0.03008 | 0.04532 | 1 | 1 | 0.01323 | 0.09166 | 0.2549 | 0.04071 | 0.2821 | 0.7843 | json |
| t17_x18_u1_b60 | 17 | 18 | 1 | 60 | ![]() |
mod(R,mod(P,log(P))) | 112924 | 138777696 | o2(x,o2(x,o1(x))) | true | 63399 | 63399 | -0.6325 | 0.1665 | 0.7277 | 0.2711 | 0.5206 | -1 | 0.9806 | 1.981 | 1 | 2.623 | 0.004532 | 0.0007379 | 0.02175 | 0.72 | 1 | 0.00001163 | 0.007885 | 0.01173 | 0.004796 | 0.06925 | 3.185 | 1.457 | 0.01944 | 0.02909 | 1 | 1 | 0.00691 | 0.04775 | 0.1587 | 0.02549 | 0.1761 | 0.5854 | json |
| t17_x18_u1_b61 | 17 | 18 | 1 | 61 | ![]() |
mod(R,lrg(P,log(P))) | 112925 | 138777697 | o2(x,o2(x,o1(x))) | true | 63407 | 63407 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x18_u1_b62 | 17 | 18 | 1 | 62 | ![]() |
mod(R,eql(P,log(P))) | 112926 | 138777698 | o2(x,o2(x,o1(x))) | true | 63415 | 63415 | -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_x18_u1_b63 | 17 | 18 | 1 | 63 | ![]() |
mod(R,min(P,log(P))) | 112927 | 138777699 | o2(x,o2(x,o1(x))) | true | 63423 | 63423 | -0.1887 | 0.3968 | 0.5033 | 0.3276 | 0.5724 | -1 | 0.9806 | 1.981 | 1 | 4.605 | 0.01212 | 0.002526 | 0.05759 | 0.6551 | 1 | 0.00005614 | 0.02048 | 0.02773 | 0.01133 | 0.1064 | 1.848 | 1.898 | 0.0447 | 0.06251 | 1 | 1 | 0.02056 | 0.1553 | 0.4748 | 0.06275 | 0.4741 | 1.449 | json |
| t17_x18_u1_b64 | 17 | 18 | 1 | 64 | ![]() |
mod(R,dot(P,log(P))) | 112928 | 138777700 | o2(x,o2(x,o1(x))) | true | 63431 | 63431 | -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_x18_u1_b65 | 17 | 18 | 1 | 65 | ![]() |
mod(R,dst(P,log(P))) | 112929 | 138777701 | o2(x,o2(x,o1(x))) | true | 63439 | 63439 | -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_x18_u1_b66 | 17 | 18 | 1 | 66 | ![]() |
lrg(R,add(P,log(P))) | 112930 | 138777702 | o2(x,o2(x,o1(x))) | true | 63447 | 63447 | 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_x18_u1_b67 | 17 | 18 | 1 | 67 | ![]() |
lrg(R,sub(P,log(P))) | 112931 | 138777703 | o2(x,o2(x,o1(x))) | true | 63455 | 63455 | 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 |
| t17_x18_u1_b68 | 17 | 18 | 1 | 68 | ![]() |
lrg(R,mlt(P,log(P))) | 112932 | 138777704 | o2(x,o2(x,o1(x))) | true | 63463 | 63463 | 0.5703 | 0.619 | 0.5703 | 0.2349 | 0.4847 | 0 | 1 | 1 | 1 | 1.451 | 0.0003045 | 0.0001755 | 0.005652 | 0.2688 | 1 | -0.00001141 | 0.00002677 | 0.001359 | 0.0004481 | 0.02117 | 3.745 | 0.1169 | 0.002043 | 0.000114 | 1 | 1 | 0.001279 | 0.01661 | 0.07962 | 0.005444 | 0.0707 | 0.3389 | json |
| t17_x18_u1_b69 | 17 | 18 | 1 | 69 | ![]() |
lrg(R,div(P,log(P))) | 112933 | 138777705 | o2(x,o2(x,o1(x))) | true | 63471 | 63471 | 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 |
| t17_x18_u1_b70 | 17 | 18 | 1 | 70 | ![]() |
lrg(R,pow(P,log(P))) | 112934 | 138777706 | o2(x,o2(x,o1(x))) | true | 63479 | 63479 | 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 |
| t17_x18_u1_b71 | 17 | 18 | 1 | 71 | ![]() |
lrg(R,mod(P,log(P))) | 112935 | 138777707 | o2(x,o2(x,o1(x))) | true | 63487 | 63487 | 0.6328 | 0.7299 | 0.6328 | 0.2147 | 0.4633 | 0 | 1 | 1 | 1 | 1.67 | 0.0005659 | 0.0002858 | 0.009933 | 0.329 | 1 | 0.00001141 | 0.00004626 | 0.002383 | 0.0007532 | 0.02744 | 2.763 | 0.1169 | 0.003967 | 0.0002155 | 1 | 1 | 0.00211 | 0.02764 | 0.1234 | 0.009831 | 0.1288 | 0.575 | json |
| t17_x18_u1_b72 | 17 | 18 | 1 | 72 | ![]() |
lrg(R,lrg(P,log(P))) | 112936 | 138777708 | o2(x,o2(x,o1(x))) | true | 63495 | 63495 | 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_x18_u1_b73 | 17 | 18 | 1 | 73 | ![]() |
lrg(R,eql(P,log(P))) | 112937 | 138777709 | o2(x,o2(x,o1(x))) | true | 63503 | 63503 | 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 |
| t17_x18_u1_b74 | 17 | 18 | 1 | 74 | ![]() |
lrg(R,min(P,log(P))) | 112938 | 138777710 | o2(x,o2(x,o1(x))) | true | 63511 | 63511 | 0.5762 | 0.6307 | 0.5762 | 0.2327 | 0.4824 | 0 | 1 | 1 | 1 | 1.503 | 0.0003116 | 0.000233 | 0.006399 | 0.1444 | 1 | -0.000005705 | 0.00003051 | 0.00154 | 0.0005033 | 0.02243 | 3.506 | 0.1169 | 0.002341 | 0.0001311 | 1 | 1 | 0.001435 | 0.01863 | 0.08387 | 0.006167 | 0.08008 | 0.3605 | json |
| t17_x18_u1_b75 | 17 | 18 | 1 | 75 | ![]() |
lrg(R,dot(P,log(P))) | 112939 | 138777711 | o2(x,o2(x,o1(x))) | true | 63519 | 63519 | 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_x18_u1_b76 | 17 | 18 | 1 | 76 | ![]() |
lrg(R,dst(P,log(P))) | 112940 | 138777712 | o2(x,o2(x,o1(x))) | true | 63527 | 63527 | 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_x18_u1_b77 | 17 | 18 | 1 | 77 | ![]() |
eql(R,add(P,log(P))) | 112941 | 138777713 | o2(x,o2(x,o1(x))) | true | 63535 | 63535 | 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_x18_u1_b78 | 17 | 18 | 1 | 78 | ![]() |
eql(R,sub(P,log(P))) | 112942 | 138777714 | o2(x,o2(x,o1(x))) | true | 63543 | 63543 | 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_x18_u1_b79 | 17 | 18 | 1 | 79 | ![]() |
eql(R,mlt(P,log(P))) | 112943 | 138777715 | o2(x,o2(x,o1(x))) | true | 63551 | 63551 | 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_x18_u1_b80 | 17 | 18 | 1 | 80 | ![]() |
eql(R,div(P,log(P))) | 112944 | 138777716 | o2(x,o2(x,o1(x))) | true | 63559 | 63559 | 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_x18_u1_b81 | 17 | 18 | 1 | 81 | ![]() |
eql(R,pow(P,log(P))) | 112945 | 138777717 | o2(x,o2(x,o1(x))) | true | 63567 | 63567 | 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_x18_u1_b82 | 17 | 18 | 1 | 82 | ![]() |
eql(R,mod(P,log(P))) | 112946 | 138777718 | o2(x,o2(x,o1(x))) | true | 63575 | 63575 | 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_x18_u1_b83 | 17 | 18 | 1 | 83 | ![]() |
eql(R,lrg(P,log(P))) | 112947 | 138777719 | o2(x,o2(x,o1(x))) | true | 63583 | 63583 | 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_x18_u1_b84 | 17 | 18 | 1 | 84 | ![]() |
eql(R,eql(P,log(P))) | 112948 | 138777720 | o2(x,o2(x,o1(x))) | true | 63591 | 63591 | 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_x18_u1_b85 | 17 | 18 | 1 | 85 | ![]() |
eql(R,min(P,log(P))) | 112949 | 138777721 | o2(x,o2(x,o1(x))) | true | 63599 | 63599 | 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_x18_u1_b86 | 17 | 18 | 1 | 86 | ![]() |
eql(R,dot(P,log(P))) | 112950 | 138777722 | o2(x,o2(x,o1(x))) | true | 63607 | 63607 | 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_x18_u1_b87 | 17 | 18 | 1 | 87 | ![]() |
eql(R,dst(P,log(P))) | 112951 | 138777723 | o2(x,o2(x,o1(x))) | true | 63615 | 63615 | 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_x18_u1_b88 | 17 | 18 | 1 | 88 | ![]() |
min(R,add(P,log(P))) | 112952 | 138777724 | o2(x,o2(x,o1(x))) | true | 63623 | 63623 | -0.12 | 0.4324 | 0.4674 | 0.3015 | 0.5491 | -1 | 0.9806 | 1.981 | 1 | 4.761 | 0.01585 | 0.002792 | 0.06406 | 0.7005 | 1 | 0.00004824 | 0.0275 | 0.03166 | 0.01454 | 0.1206 | 1.882 | 1.943 | 0.06184 | 0.09123 | 1 | 1 | 0.02584 | 0.1831 | 0.5035 | 0.0857 | 0.6074 | 1.67 | json |
| t17_x18_u1_b89 | 17 | 18 | 1 | 89 | ![]() |
min(R,sub(P,log(P))) | 112953 | 138777725 | o2(x,o2(x,o1(x))) | true | 63631 | 63631 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x18_u1_b90 | 17 | 18 | 1 | 90 | ![]() |
min(R,mlt(P,log(P))) | 112954 | 138777726 | o2(x,o2(x,o1(x))) | true | 63639 | 63639 | -0.01617 | 0.4661 | 0.3809 | 0.2097 | 0.4579 | -0.9989 | 0.9806 | 1.979 | 1 | 4.841 | 0.00254 | 0.002998 | 0.06038 | -0.08272 | 1 | 0.00003544 | 0.0003254 | 0.01384 | 0.001893 | 0.0435 | 0.7205 | 0.2301 | 0.02641 | 0.001552 | 1 | 1 | 0.01081 | 0.139 | 0.3777 | 0.05156 | 0.6628 | 1.801 | json |
| t17_x18_u1_b91 | 17 | 18 | 1 | 91 | ![]() |
min(R,div(P,log(P))) | 112955 | 138777727 | o2(x,o2(x,o1(x))) | true | 63647 | 63647 | -0.005276 | 0.4805 | 0.3857 | 0.2142 | 0.4628 | -0.9989 | 0.9806 | 1.979 | 1 | 4.852 | 0.0028 | 0.003069 | 0.06243 | -0.04583 | 1 | 0.00002809 | 0.000342 | 0.01428 | 0.001973 | 0.04442 | 0.7115 | 0.2301 | 0.0274 | 0.001597 | 1 | 1 | 0.01137 | 0.1459 | 0.366 | 0.05307 | 0.6813 | 1.709 | json |
| t17_x18_u1_b92 | 17 | 18 | 1 | 92 | ![]() |
min(R,pow(P,log(P))) | 112956 | 138777728 | o2(x,o2(x,o1(x))) | true | 63655 | 63655 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x18_u1_b93 | 17 | 18 | 1 | 93 | ![]() |
min(R,mod(P,log(P))) | 112957 | 138777729 | o2(x,o2(x,o1(x))) | true | 63663 | 63663 | -0.00182 | 0.4926 | 0.3862 | 0.2119 | 0.4603 | -0.9989 | 0.9806 | 1.979 | 1 | 4.846 | 0.002695 | 0.003047 | 0.06174 | -0.06137 | 1 | 0.00002354 | 0.000336 | 0.01416 | 0.001931 | 0.04394 | 0.7118 | 0.2301 | 0.0271 | 0.001586 | 1 | 1 | 0.01128 | 0.1449 | 0.3705 | 0.05326 | 0.6836 | 1.749 | json |
| t17_x18_u1_b94 | 17 | 18 | 1 | 94 | ![]() |
min(R,lrg(P,log(P))) | 112958 | 138777730 | o2(x,o2(x,o1(x))) | true | 63671 | 63671 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x18_u1_b95 | 17 | 18 | 1 | 95 | ![]() |
min(R,eql(P,log(P))) | 112959 | 138777731 | o2(x,o2(x,o1(x))) | true | 63679 | 63679 | -0.2541 | 0 | 0.2541 | 0.06549 | 0.2559 | -0.9989 | 0 | 0.9989 | 1 | 3.542 | 0.000768 | 0.0009295 | 0.0314 | -0.09514 | 1 | 0.00001332 | 0.00009988 | 0.007359 | 0.0007117 | 0.02668 | 0.8497 | 0.1168 | 0.02592 | 0.001525 | 1 | 1 | 0.003123 | 0.04017 | 0.1061 | 0.04769 | 0.6134 | 1.62 | json |
| t17_x18_u1_b96 | 17 | 18 | 1 | 96 | ![]() |
min(R,min(P,log(P))) | 112960 | 138777732 | o2(x,o2(x,o1(x))) | true | 63687 | 63687 | -0.5876 | 0.1819 | 0.7211 | 0.3022 | 0.5497 | -1 | 0.9806 | 1.981 | 1 | 3.055 | 0.00414 | 0.00118 | 0.02925 | 0.5565 | 1 | 0.00001382 | 0.006245 | 0.01277 | 0.004463 | 0.06681 | 2.284 | 1 | 0.0176 | 0.02067 | 1 | 1 | 0.008115 | 0.06932 | 0.2272 | 0.02685 | 0.2294 | 0.7517 | json |
| t17_x18_u1_b97 | 17 | 18 | 1 | 97 | ![]() |
min(R,dot(P,log(P))) | 112961 | 138777733 | o2(x,o2(x,o1(x))) | true | 63695 | 63695 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x18_u1_b98 | 17 | 18 | 1 | 98 | ![]() |
min(R,dst(P,log(P))) | 112962 | 138777734 | o2(x,o2(x,o1(x))) | true | 63703 | 63703 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x18_u1_b99 | 17 | 18 | 1 | 99 | ![]() |
dot(R,add(P,log(P))) | 112963 | 138777735 | o2(x,o2(x,o1(x))) | true | 63711 | 63711 | -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_x18_u1_b100 | 17 | 18 | 1 | 100 | ![]() |
dot(R,sub(P,log(P))) | 112964 | 138777736 | o2(x,o2(x,o1(x))) | true | 63719 | 63719 | -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_x18_u1_b101 | 17 | 18 | 1 | 101 | ![]() |
dot(R,mlt(P,log(P))) | 112965 | 138777737 | o2(x,o2(x,o1(x))) | true | 63727 | 63727 | -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_x18_u1_b102 | 17 | 18 | 1 | 102 | ![]() |
dot(R,div(P,log(P))) | 112966 | 138777738 | o2(x,o2(x,o1(x))) | true | 63735 | 63735 | -0.8917 | 0.05186 | 0.9776 | 0.1748 | 0.4181 | -1 | 1 | 2 | 1 | 0.6728 | 0.00446 | 0.005306 | 0.01601 | -0.08659 | 1 | 0.000002372 | 0.01111 | 0.01284 | 0.009508 | 0.09751 | 6.091 | 2 | 0.05587 | 0.06357 | 1 | 1 | 0.01046 | 0.06837 | 0.2529 | 0.05982 | 0.3911 | 1.447 | json |
| t17_x18_u1_b103 | 17 | 18 | 1 | 103 | ![]() |
dot(R,pow(P,log(P))) | 112967 | 138777739 | o2(x,o2(x,o1(x))) | true | 63743 | 63743 | -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_x18_u1_b104 | 17 | 18 | 1 | 104 | ![]() |
dot(R,mod(P,log(P))) | 112968 | 138777740 | o2(x,o2(x,o1(x))) | true | 63751 | 63751 | -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_x18_u1_b105 | 17 | 18 | 1 | 105 | ![]() |
dot(R,lrg(P,log(P))) | 112969 | 138777741 | o2(x,o2(x,o1(x))) | true | 63759 | 63759 | 0.01244 | 0.5136 | 0.5338 | 0.3988 | 0.6315 | -1 | 1 | 2 | 1 | 4.753 | 0.006273 | 0.006655 | 0.08199 | -0.02953 | 1 | 0.00005864 | 0.002009 | 0.0233 | 0.006205 | 0.07877 | 0.9608 | 0.4552 | 0.03242 | 0.005038 | 1 | 1 | 0.02671 | 0.3045 | 0.7613 | 0.06698 | 0.7636 | 1.909 | json |
| t17_x18_u1_b106 | 17 | 18 | 1 | 106 | ![]() |
dot(R,eql(P,log(P))) | 112970 | 138777742 | o2(x,o2(x,o1(x))) | true | 63767 | 63767 | 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_x18_u1_b107 | 17 | 18 | 1 | 107 | ![]() |
dot(R,min(P,log(P))) | 112971 | 138777743 | o2(x,o2(x,o1(x))) | true | 63775 | 63775 | -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_x18_u1_b108 | 17 | 18 | 1 | 108 | ![]() |
dot(R,dot(P,log(P))) | 112972 | 138777744 | o2(x,o2(x,o1(x))) | true | 63783 | 63783 | -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_x18_u1_b109 | 17 | 18 | 1 | 109 | ![]() |
dot(R,dst(P,log(P))) | 112973 | 138777745 | o2(x,o2(x,o1(x))) | true | 63791 | 63791 | -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_x18_u1_b110 | 17 | 18 | 1 | 110 | ![]() |
dst(R,add(P,log(P))) | 112974 | 138777746 | o2(x,o2(x,o1(x))) | true | 63799 | 63799 | -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_x18_u1_b111 | 17 | 18 | 1 | 111 | ![]() |
dst(R,sub(P,log(P))) | 112975 | 138777747 | o2(x,o2(x,o1(x))) | true | 63807 | 63807 | -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_x18_u1_b112 | 17 | 18 | 1 | 112 | ![]() |
dst(R,mlt(P,log(P))) | 112976 | 138777748 | o2(x,o2(x,o1(x))) | true | 63815 | 63815 | -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_x18_u1_b113 | 17 | 18 | 1 | 113 | ![]() |
dst(R,div(P,log(P))) | 112977 | 138777749 | o2(x,o2(x,o1(x))) | true | 63823 | 63823 | -0.7188 | 0.1406 | 1 | 0.4832 | 0.6951 | -1 | 1 | 2 | 1 | 0.5859 | 0.005921 | 0.005921 | 0.005921 | 0 | 1 | 0 | 0.02381 | 0.01184 | 0.01181 | 0.1087 | 18.36 | 2 | 0.02451 | 0.04927 | 1 | 1 | 0.01396 | 0.05584 | 0.2234 | 0.02889 | 0.1156 | 0.4623 | json |
| t17_x18_u1_b114 | 17 | 18 | 1 | 114 | ![]() |
dst(R,pow(P,log(P))) | 112978 | 138777750 | o2(x,o2(x,o1(x))) | true | 63831 | 63831 | -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_x18_u1_b115 | 17 | 18 | 1 | 115 | ![]() |
dst(R,mod(P,log(P))) | 112979 | 138777751 | o2(x,o2(x,o1(x))) | true | 63839 | 63839 | -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_x18_u1_b116 | 17 | 18 | 1 | 116 | ![]() |
dst(R,lrg(P,log(P))) | 112980 | 138777752 | o2(x,o2(x,o1(x))) | true | 63847 | 63847 | 0.9927 | 1 | 0.9927 | 0.002207 | 0.04698 | 0.4077 | 1 | 0.5923 | 1 | 0.2664 | 0.0001027 | 0.0001547 | 0.00276 | -0.2019 | 1 | -9.761e-11 | 0.0001368 | 0.002036 | 0.0002498 | 0.01581 | 5.726 | 0.1944 | 0.1166 | 0.06196 | 1 | 1 | 0.0006829 | 0.004926 | 0.006003 | 0.3094 | 2.232 | 2.72 | json |
| t17_x18_u1_b117 | 17 | 18 | 1 | 117 | ![]() |
dst(R,eql(P,log(P))) | 112981 | 138777753 | o2(x,o2(x,o1(x))) | true | 63855 | 63855 | 0.897 | 1 | 0.897 | 0.02252 | 0.1501 | 0.09951 | 1 | 0.9005 | 1 | 2.181 | 0.0003411 | 0.0004606 | 0.01666 | -0.149 | 1 | -0.00001961 | 0.000143 | 0.005703 | 0.0005243 | 0.0229 | 1.374 | 0.1266 | 0.0356 | 0.006351 | 1 | 1 | 0.001342 | 0.015 | 0.03485 | 0.05959 | 0.666 | 1.547 | json |
| t17_x18_u1_b118 | 17 | 18 | 1 | 118 | ![]() |
dst(R,min(P,log(P))) | 112982 | 138777754 | o2(x,o2(x,o1(x))) | true | 63863 | 63863 | -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_x18_u1_b119 | 17 | 18 | 1 | 119 | ![]() |
dst(R,dot(P,log(P))) | 112983 | 138777755 | o2(x,o2(x,o1(x))) | true | 63871 | 63871 | -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_x18_u1_b120 | 17 | 18 | 1 | 120 | ![]() |
dst(R,dst(P,log(P))) | 112984 | 138777756 | o2(x,o2(x,o1(x))) | true | 63879 | 63879 | -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_x18_u2_b0 | 17 | 18 | 2 | 0 | ![]() |
add(R,add(P,frc(P))) | 112985 | 138777837 | o2(x,o2(x,o1(x))) | true | 63887 | 63887 | 0.003757 | 0.4974 | 0.9428 | 0.9208 | 0.9596 | -1 | 1 | 2 | 1 | 1.952 | 0.001169 | 0.000358 | 0.0111 | 0.5311 | 1 | -0.00002042 | 0.0002765 | 0.003741 | 0.001403 | 0.03746 | 3.374 | 0.312 | 0.001658 | 0.0003002 | 1 | 1 | 0.003726 | 0.04331 | 0.2691 | 0.004046 | 0.04703 | 0.2923 | json |
| t17_x18_u2_b1 | 17 | 18 | 2 | 1 | ![]() |
add(R,sub(P,frc(P))) | 112986 | 138777838 | o2(x,o2(x,o1(x))) | true | 63895 | 63895 | 0.003757 | 0.4974 | 0.9428 | 0.9208 | 0.9596 | -1 | 1 | 2 | 1 | 1.952 | 0.001169 | 0.000358 | 0.0111 | 0.5311 | 1 | -0.00002042 | 0.0002765 | 0.003741 | 0.001403 | 0.03746 | 3.374 | 0.312 | 0.001658 | 0.0003002 | 1 | 1 | 0.003726 | 0.04331 | 0.2691 | 0.004046 | 0.04703 | 0.2923 | json |
| t17_x18_u2_b2 | 17 | 18 | 2 | 2 | ![]() |
add(R,mlt(P,frc(P))) | 112987 | 138777839 | o2(x,o2(x,o1(x))) | true | 63903 | 63903 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x18_u2_b3 | 17 | 18 | 2 | 3 | ![]() |
add(R,div(P,frc(P))) | 112988 | 138777840 | o2(x,o2(x,o1(x))) | true | 63911 | 63911 | -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_x18_u2_b4 | 17 | 18 | 2 | 4 | ![]() |
add(R,pow(P,frc(P))) | 112989 | 138777841 | o2(x,o2(x,o1(x))) | true | 63919 | 63919 | 0.8072 | 1 | 0.8072 | 0.06917 | 0.263 | 0.001146 | 1 | 0.9989 | 1 | 2.721 | 0.00124 | 0.001463 | 0.03034 | -0.08261 | 1 | -0.00006109 | 0.0006685 | 0.01204 | 0.001783 | 0.04223 | 1.392 | 0.223 | 0.03908 | 0.009664 | 1 | 1 | 0.004971 | 0.05068 | 0.113 | 0.07186 | 0.7327 | 1.634 | json |
| t17_x18_u2_b5 | 17 | 18 | 2 | 5 | ![]() |
add(R,mod(P,frc(P))) | 112990 | 138777842 | o2(x,o2(x,o1(x))) | true | 63927 | 63927 | 0.003757 | 0.4974 | 0.9428 | 0.9208 | 0.9596 | -1 | 1 | 2 | 1 | 1.952 | 0.001169 | 0.000358 | 0.0111 | 0.5311 | 1 | -0.00002042 | 0.0002765 | 0.003741 | 0.001403 | 0.03746 | 3.374 | 0.312 | 0.001658 | 0.0003002 | 1 | 1 | 0.003726 | 0.04331 | 0.2691 | 0.004046 | 0.04703 | 0.2923 | json |
| t17_x18_u2_b6 | 17 | 18 | 2 | 6 | ![]() |
add(R,lrg(P,frc(P))) | 112991 | 138777843 | o2(x,o2(x,o1(x))) | true | 63935 | 63935 | 0.3927 | 0.7499 | 0.5896 | 0.2984 | 0.5462 | -0.9989 | 1 | 1.999 | 1 | 4.441 | 0.0025 | 0.002467 | 0.04992 | 0.006636 | 1 | -0.00001599 | 0.0005757 | 0.01393 | 0.002476 | 0.04976 | 0.9968 | 0.312 | 0.01665 | 0.00193 | 1 | 1 | 0.009889 | 0.1188 | 0.3167 | 0.03314 | 0.3982 | 1.061 | json |
| t17_x18_u2_b7 | 17 | 18 | 2 | 7 | ![]() |
add(R,eql(P,frc(P))) | 112992 | 138777844 | o2(x,o2(x,o1(x))) | true | 63943 | 63943 | 0.06362 | 0.5381 | 0.4117 | 0.2377 | 0.4875 | -0.9989 | 1 | 1.999 | 1 | 4.893 | 0.002859 | 0.003117 | 0.06218 | -0.04315 | 1 | 0.00002651 | 0.0004132 | 0.01463 | 0.00211 | 0.04593 | 0.7386 | 0.2534 | 0.02514 | 0.001738 | 1 | 1 | 0.012 | 0.1511 | 0.4183 | 0.05051 | 0.6358 | 1.76 | json |
| t17_x18_u2_b8 | 17 | 18 | 2 | 8 | ![]() |
add(R,min(P,frc(P))) | 112993 | 138777845 | o2(x,o2(x,o1(x))) | true | 63951 | 63951 | -0.467 | 0.2459 | 0.6608 | 0.3431 | 0.5858 | -1 | 0.9806 | 1.981 | 1 | 3.695 | 0.001962 | 0.001682 | 0.03766 | 0.07663 | 1 | -0.00000222 | 0.0003024 | 0.009307 | 0.002226 | 0.04718 | 1.253 | 0.2534 | 0.01062 | 0.0008815 | 1 | 1 | 0.007554 | 0.0961 | 0.3088 | 0.02202 | 0.2801 | 0.9001 | json |
| t17_x18_u2_b9 | 17 | 18 | 2 | 9 | ![]() |
add(R,dot(P,frc(P))) | 112994 | 138777846 | o2(x,o2(x,o1(x))) | true | 63959 | 63959 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x18_u2_b10 | 17 | 18 | 2 | 10 | ![]() |
add(R,dst(P,frc(P))) | 112995 | 138777847 | o2(x,o2(x,o1(x))) | true | 63967 | 63967 | 0.9975 | 1 | 0.9975 | 0.000845 | 0.02907 | 0.355 | 1 | 0.645 | 1 | 0.1043 | 0.0000351 | 0.00002594 | 0.0006808 | 0.15 | 0 | 5.632e-12 | 0.00002703 | 0.0004198 | 0.00006059 | 0.007784 | 11.43 | 0.1913 | 0.07225 | 0.03199 | 1 | 1 | 0.0001955 | 0.001629 | 0.003019 | 0.2314 | 1.928 | 3.573 | json |
| t17_x18_u2_b11 | 17 | 18 | 2 | 11 | ![]() |
sub(R,add(P,frc(P))) | 112996 | 138777848 | o2(x,o2(x,o1(x))) | true | 63975 | 63975 | 0.004612 | 0.4968 | 0.9368 | 0.913 | 0.9555 | -1 | 1 | 2 | 1 | 2.013 | 0.001147 | 0.000385 | 0.01159 | 0.4976 | 1 | -0.00002051 | 0.0002745 | 0.003871 | 0.001399 | 0.0374 | 3.228 | 0.3332 | 0.001679 | 0.0003007 | 1 | 1 | 0.003782 | 0.0437 | 0.2627 | 0.004142 | 0.04787 | 0.2877 | json |
| t17_x18_u2_b12 | 17 | 18 | 2 | 12 | ![]() |
sub(R,sub(P,frc(P))) | 112997 | 138777849 | o2(x,o2(x,o1(x))) | true | 63983 | 63983 | 0.004612 | 0.4968 | 0.9368 | 0.913 | 0.9555 | -1 | 1 | 2 | 1 | 2.013 | 0.001147 | 0.000385 | 0.01159 | 0.4976 | 1 | -0.00002051 | 0.0002745 | 0.003871 | 0.001399 | 0.0374 | 3.228 | 0.3332 | 0.001679 | 0.0003007 | 1 | 1 | 0.003782 | 0.0437 | 0.2627 | 0.004142 | 0.04787 | 0.2877 | json |
| t17_x18_u2_b13 | 17 | 18 | 2 | 13 | ![]() |
sub(R,mlt(P,frc(P))) | 112998 | 138777850 | o2(x,o2(x,o1(x))) | true | 63991 | 63991 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x18_u2_b14 | 17 | 18 | 2 | 14 | ![]() |
sub(R,div(P,frc(P))) | 112999 | 138777851 | o2(x,o2(x,o1(x))) | true | 63999 | 63999 | -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 |



































































































