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_x2_u0_b109 | 17 | 2 | 0 | 109 | ![]() |
dot(P,dst(P,sqt(R))) | 99300 | 138131128 | o2(x,o2(x,o1(x))) | true | 111207 | 111207 | -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_x2_u0_b110 | 17 | 2 | 0 | 110 | ![]() |
dst(P,add(P,sqt(R))) | 99301 | 138131129 | o2(x,o2(x,o1(x))) | true | 111215 | 111215 | -0.9922 | 0.003906 | 1 | 0.01556 | 0.1248 | -1 | 1 | 2 | 1 | 0.03687 | 0.002016 | 0.002016 | 0.001997 | 0 | 1 | 0 | 0.008566 | 0.004031 | 0.004024 | 0.06344 | 31.76 | 2.828 | 0.259 | 0.5504 | 1 | 1 | 0.007091 | 0.02837 | 0.05496 | 0.4556 | 1.823 | 3.531 | json |
| t17_x2_u0_b111 | 17 | 2 | 0 | 111 | ![]() |
dst(P,sub(P,sqt(R))) | 99302 | 138131130 | o2(x,o2(x,o1(x))) | true | 111223 | 111223 | -0.9922 | 0.003906 | 1 | 0.01556 | 0.1248 | -1 | 1 | 2 | 1 | 0.03687 | 0.002016 | 0.002016 | 0.001997 | 0 | 1 | 0 | 0.008566 | 0.004031 | 0.004024 | 0.06344 | 31.76 | 2.828 | 0.259 | 0.5504 | 1 | 1 | 0.007091 | 0.02837 | 0.05496 | 0.4556 | 1.823 | 3.531 | json |
| t17_x2_u0_b112 | 17 | 2 | 0 | 112 | ![]() |
dst(P,mlt(P,sqt(R))) | 99303 | 138131131 | o2(x,o2(x,o1(x))) | true | 111231 | 111231 | -0.9925 | 0.003906 | 0.9997 | 0.0145 | 0.1204 | -1 | 1 | 2 | 1 | 0.04232 | 0.001835 | 0.0018 | 0.001968 | 0.009527 | 1 | 0 | 0.007686 | 0.003839 | 0.003629 | 0.06024 | 30.62 | 2.828 | 0.2507 | 0.53 | 1 | 1 | 0.006417 | 0.02667 | 0.05127 | 0.4425 | 1.839 | 3.535 | json |
| t17_x2_u0_b113 | 17 | 2 | 0 | 113 | ![]() |
dst(P,div(P,sqt(R))) | 99304 | 138131132 | o2(x,o2(x,o1(x))) | true | 111239 | 111239 | -0.9924 | 0.003906 | 0.9998 | 0.01496 | 0.1223 | -1 | 1 | 2 | 1 | 0.04035 | 0.001887 | 0.001852 | 0.001974 | 0.00949 | 1 | 0 | 0.007895 | 0.003896 | 0.003732 | 0.06109 | 30.95 | 2.828 | 0.25 | 0.5279 | 1 | 1 | 0.006599 | 0.0274 | 0.05289 | 0.4412 | 1.832 | 3.536 | json |
| t17_x2_u0_b114 | 17 | 2 | 0 | 114 | ![]() |
dst(P,pow(P,sqt(R))) | 99305 | 138131133 | o2(x,o2(x,o1(x))) | true | 111247 | 111247 | -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_x2_u0_b115 | 17 | 2 | 0 | 115 | ![]() |
dst(P,mod(P,sqt(R))) | 99306 | 138131134 | o2(x,o2(x,o1(x))) | true | 111255 | 111255 | -0.9922 | 0.003906 | 1 | 0.01556 | 0.1248 | -1 | 1 | 2 | 1 | 0.03687 | 0.002016 | 0.002016 | 0.001997 | 0 | 1 | 0 | 0.008566 | 0.004031 | 0.004024 | 0.06344 | 31.76 | 2.828 | 0.259 | 0.5504 | 1 | 1 | 0.007091 | 0.02837 | 0.05496 | 0.4556 | 1.823 | 3.531 | json |
| t17_x2_u0_b116 | 17 | 2 | 0 | 116 | ![]() |
dst(P,lrg(P,sqt(R))) | 99307 | 138131135 | o2(x,o2(x,o1(x))) | true | 111263 | 111263 | 0.9972 | 1 | 0.9972 | 0.00183 | 0.04278 | 0.0007026 | 1 | 0.9993 | 1 | 0.07108 | 0.00004902 | 0.00003801 | 0.0007251 | 0.1266 | 0 | 7.133e-11 | 0.00001603 | 0.0002654 | 0.00008648 | 0.009299 | 12.82 | 0.1654 | 0.04756 | 0.008762 | 1 | 1 | 0.0002949 | 0.003261 | 0.006672 | 0.1612 | 1.782 | 3.647 | json |
| t17_x2_u0_b117 | 17 | 2 | 0 | 117 | ![]() |
dst(P,eql(P,sqt(R))) | 99308 | 138131136 | o2(x,o2(x,o1(x))) | true | 111271 | 111271 | 0.9964 | 1 | 0.9964 | 0.002289 | 0.04784 | 0.000582 | 1 | 0.9994 | 1 | 0.09109 | 0.00003966 | 0.00003966 | 0.0008105 | 5.503e-7 | 0 | -4.881e-11 | 0.00001004 | 0.0002297 | 0.00007859 | 0.008865 | 10.94 | 0.1294 | 0.03466 | 0.004388 | 1 | 1 | 0.0002733 | 0.00336 | 0.008351 | 0.1194 | 1.468 | 3.649 | json |
| t17_x2_u0_b118 | 17 | 2 | 0 | 118 | ![]() |
dst(P,min(P,sqt(R))) | 99309 | 138131137 | o2(x,o2(x,o1(x))) | true | 111279 | 111279 | 0.4899 | 0.694 | 0.4899 | 0.2182 | 0.4671 | 0 | 1 | 1 | 1 | 2.111 | 0.003387 | 0.003821 | 0.03365 | -0.06017 | 1 | -0.0002454 | 0.003648 | 0.02054 | 0.006074 | 0.07794 | 2.316 | 0.4731 | 0.03303 | 0.01672 | 1 | 1 | 0.01074 | 0.09241 | 0.2152 | 0.04922 | 0.4235 | 0.9864 | json |
| t17_x2_u0_b119 | 17 | 2 | 0 | 119 | ![]() |
dst(P,dot(P,sqt(R))) | 99310 | 138131138 | o2(x,o2(x,o1(x))) | true | 111287 | 111287 | -0.9922 | 0.003906 | 1 | 0.01556 | 0.1248 | -1 | 1 | 2 | 1 | 0.03687 | 0.002016 | 0.002016 | 0.001997 | 0 | 1 | 0 | 0.008566 | 0.004031 | 0.004024 | 0.06344 | 31.76 | 2.828 | 0.259 | 0.5504 | 1 | 1 | 0.007091 | 0.02837 | 0.05496 | 0.4556 | 1.823 | 3.531 | json |
| t17_x2_u0_b120 | 17 | 2 | 0 | 120 | ![]() |
dst(P,dst(P,sqt(R))) | 99311 | 138131139 | o2(x,o2(x,o1(x))) | true | 111295 | 111295 | -0.9922 | 0.003906 | 1 | 0.01556 | 0.1248 | -1 | 1 | 2 | 1 | 0.03687 | 0.002016 | 0.002016 | 0.001997 | 0 | 1 | 0 | 0.008566 | 0.004031 | 0.004024 | 0.06344 | 31.76 | 2.828 | 0.259 | 0.5504 | 1 | 1 | 0.007091 | 0.02837 | 0.05496 | 0.4556 | 1.823 | 3.531 | json |
| t17_x2_u1_b0 | 17 | 2 | 1 | 0 | ![]() |
add(P,add(P,log(R))) | 99312 | 138131220 | o2(x,o2(x,o1(x))) | true | 111303 | 111303 | -0.987 | 0.006287 | 0.9987 | 0.02397 | 0.1548 | -1 | 1 | 2 | 1 | 0.08823 | 0.002134 | 0.002892 | 0.003088 | -0.1508 | 1 | -6.007e-11 | 0.01036 | 0.005341 | 0.005016 | 0.07083 | 22.93 | 2.828 | 0.2097 | 0.4321 | 1 | 1 | 0.0005486 | 0.003689 | 0.02102 | 0.02289 | 0.1539 | 0.8772 | json |
| t17_x2_u1_b1 | 17 | 2 | 1 | 1 | ![]() |
add(P,sub(P,log(R))) | 99313 | 138131221 | o2(x,o2(x,o1(x))) | true | 111311 | 111311 | -0.9817 | 0.009323 | 0.9987 | 0.03441 | 0.1855 | -1 | 1 | 2 | 1 | 0.1025 | 0.002134 | 0.004198 | 0.003742 | -0.3259 | 1 | -1.802e-10 | 0.01297 | 0.006641 | 0.006317 | 0.07948 | 21.24 | 2.828 | 0.184 | 0.3768 | 1 | 1 | 0.000894 | 0.006594 | 0.03066 | 0.02598 | 0.1916 | 0.891 | json |
| t17_x2_u1_b2 | 17 | 2 | 1 | 2 | ![]() |
add(P,mlt(P,log(R))) | 99314 | 138131222 | o2(x,o2(x,o1(x))) | true | 111319 | 111319 | -0.9662 | 0.01543 | 0.989 | 0.05201 | 0.2281 | -1 | 1 | 2 | 1 | 0.3076 | 0.004754 | 0.006124 | 0.009306 | -0.1259 | 1 | -2.893e-8 | 0.02086 | 0.01435 | 0.01079 | 0.1039 | 11.16 | 2.626 | 0.2091 | 0.4011 | 1 | 1 | 0.004956 | 0.02407 | 0.06279 | 0.09528 | 0.4628 | 1.207 | json |
| t17_x2_u1_b3 | 17 | 2 | 1 | 3 | ![]() |
add(P,div(P,log(R))) | 99315 | 138131223 | o2(x,o2(x,o1(x))) | true | 111327 | 111327 | -0.9384 | 0.03098 | 0.9953 | 0.1135 | 0.3369 | -1 | 1 | 2 | 1 | 0.2769 | 0.01273 | 0.01067 | 0.01437 | 0.08834 | 1 | -1.295e-7 | 0.04727 | 0.02571 | 0.02319 | 0.1523 | 10.6 | 2.828 | 0.2061 | 0.4164 | 1 | 1 | 0.02118 | 0.09523 | 0.2101 | 0.1865 | 0.8389 | 1.85 | json |
| t17_x2_u1_b4 | 17 | 2 | 1 | 4 | ![]() |
add(P,pow(P,log(R))) | 99316 | 138131224 | o2(x,o2(x,o1(x))) | true | 111335 | 111335 | -0.9844 | 0.007813 | 1 | 0.03101 | 0.1761 | -1 | 1 | 2 | 1 | 0.06591 | 0.002771 | 0.002771 | 0.002771 | 0 | 1 | 0 | 0.01159 | 0.005543 | 0.005537 | 0.07441 | 26.85 | 2 | 0.1788 | 0.3738 | 1 | 1 | 0 | 0 | 0.02659 | 0 | 0 | 0.8577 | json |
| t17_x2_u1_b5 | 17 | 2 | 1 | 5 | ![]() |
add(P,mod(P,log(R))) | 99317 | 138131225 | o2(x,o2(x,o1(x))) | true | 111343 | 111343 | -0.9845 | 0.007813 | 0.9964 | 0.02659 | 0.1631 | -1 | 1 | 2 | 1 | 0.1179 | 0.00207 | 0.003205 | 0.003348 | -0.2151 | 1 | 1.014e-10 | 0.01096 | 0.005898 | 0.005263 | 0.07255 | 21.67 | 2.828 | 0.1984 | 0.4124 | 1 | 1 | 0.00066 | 0.004587 | 0.02347 | 0.02482 | 0.1725 | 0.8826 | json |
| t17_x2_u1_b6 | 17 | 2 | 1 | 6 | ![]() |
add(P,lrg(P,log(R))) | 99318 | 138131226 | o2(x,o2(x,o1(x))) | true | 111351 | 111351 | 0.09617 | 0.5457 | 0.957 | 0.9357 | 0.9673 | -1 | 1 | 2 | 1 | 1.673 | 0.001016 | 0.000149 | 0.008957 | 0.7443 | 1 | 0.00001096 | 0.00008811 | 0.002194 | 0.001085 | 0.03294 | 3.678 | 0.2338 | 0.001245 | 0.00009417 | 1 | 1 | 0.002872 | 0.03707 | 0.273 | 0.003069 | 0.03962 | 0.2918 | json |
| t17_x2_u1_b7 | 17 | 2 | 1 | 7 | ![]() |
add(P,eql(P,log(R))) | 99319 | 138131227 | o2(x,o2(x,o1(x))) | true | 111359 | 111359 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t17_x2_u1_b8 | 17 | 2 | 1 | 8 | ![]() |
add(P,min(P,log(R))) | 99320 | 138131228 | o2(x,o2(x,o1(x))) | true | 111367 | 111367 | -0.04176 | 0.481 | 0.9529 | 0.9386 | 0.9688 | -1 | 1 | 2 | 1 | 1.717 | 0.001487 | 0.0008296 | 0.01039 | 0.2837 | 1 | 0.000007299 | 0.000944 | 0.00483 | 0.002207 | 0.04698 | 4.52 | 0.8305 | 0.002468 | 0.001006 | 1 | 1 | 0.006335 | 0.05569 | 0.3003 | 0.006749 | 0.05933 | 0.3199 | json |
| t17_x2_u1_b9 | 17 | 2 | 1 | 9 | ![]() |
add(P,dot(P,log(R))) | 99321 | 138131229 | o2(x,o2(x,o1(x))) | true | 111375 | 111375 | -0.9945 | 0.002731 | 0.9992 | 0.009978 | 0.09989 | -1 | 1 | 2 | 1 | 0.04138 | 0.001356 | 0.001248 | 0.001749 | 0.04155 | 1 | 0 | 0.005229 | 0.002862 | 0.002598 | 0.05097 | 29.14 | 2.828 | 0.2609 | 0.524 | 1 | 1 | 0.004855 | 0.02216 | 0.03566 | 0.4866 | 2.221 | 3.574 | json |
| t17_x2_u1_b10 | 17 | 2 | 1 | 10 | ![]() |
add(P,dst(P,log(R))) | 99322 | 138131230 | o2(x,o2(x,o1(x))) | true | 111383 | 111383 | -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_x2_u1_b11 | 17 | 2 | 1 | 11 | ![]() |
sub(P,add(P,log(R))) | 99323 | 138131231 | o2(x,o2(x,o1(x))) | true | 111391 | 111391 | -0.9303 | 0.04297 | 0.9838 | 0.1121 | 0.3349 | -1 | 1 | 2 | 1 | 0.4122 | 0.01178 | 0.01091 | 0.01516 | 0.03841 | 1 | -0.00001706 | 0.04711 | 0.02734 | 0.02246 | 0.1499 | 9.888 | 2.828 | 0.2023 | 0.4201 | 1 | 1 | 0.0163 | 0.07072 | 0.1827 | 0.1454 | 0.6305 | 1.629 | json |
| t17_x2_u1_b12 | 17 | 2 | 1 | 12 | ![]() |
sub(P,sub(P,log(R))) | 99324 | 138131232 | o2(x,o2(x,o1(x))) | true | 111399 | 111399 | -0.9838 | 0 | 0.9838 | 0.009626 | 0.09811 | -1 | -0.05896 | 0.941 | 1 | 0.3254 | 0.001056 | 0.001224 | 0.005061 | -0.07381 | 1 | 0.00001706 | 0.004529 | 0.00698 | 0.002254 | 0.04747 | 9.381 | 1.212 | 0.2369 | 0.4706 | 1 | 1 | 0.001967 | 0.008849 | 0.01618 | 0.2044 | 0.9193 | 1.681 | json |
| t17_x2_u1_b13 | 17 | 2 | 1 | 13 | ![]() |
sub(P,mlt(P,log(R))) | 99325 | 138131233 | o2(x,o2(x,o1(x))) | true | 111407 | 111407 | -0.9844 | 0.007813 | 0.9966 | 0.02698 | 0.1642 | -1 | 1 | 2 | 1 | 0.1156 | 0.002075 | 0.003258 | 0.003358 | -0.2217 | 1 | 9.011e-11 | 0.01107 | 0.005931 | 0.005321 | 0.07295 | 21.72 | 2.828 | 0.1977 | 0.4105 | 1 | 1 | 0.0006765 | 0.004709 | 0.02382 | 0.02508 | 0.1746 | 0.8831 | json |
| t17_x2_u1_b14 | 17 | 2 | 1 | 14 | ![]() |
sub(P,div(P,log(R))) | 99326 | 138131234 | o2(x,o2(x,o1(x))) | true | 111415 | 111415 | -0.9844 | 0.007813 | 0.9982 | 0.02896 | 0.1702 | -1 | 1 | 2 | 1 | 0.09127 | 0.002159 | 0.00351 | 0.003363 | -0.2383 | 1 | 3.004e-11 | 0.01167 | 0.006159 | 0.005657 | 0.07521 | 22.37 | 2.828 | 0.1958 | 0.4031 | 1 | 1 | 0.0007358 | 0.005223 | 0.02562 | 0.02541 | 0.1804 | 0.8847 | json |
| t17_x2_u1_b15 | 17 | 2 | 1 | 15 | ![]() |
sub(P,pow(P,log(R))) | 99327 | 138131235 | o2(x,o2(x,o1(x))) | true | 111423 | 111423 | -0.986 | 0.007813 | 0.9983 | 0.02573 | 0.1604 | -1 | 1 | 2 | 1 | 0.08153 | 0.002138 | 0.002464 | 0.002679 | -0.07078 | 1 | -9.35e-7 | 0.009562 | 0.00497 | 0.004592 | 0.06777 | 25.3 | 2 | 0.1788 | 0.3716 | 1 | 1 | 0 | 0 | 0.0221 | 0 | 0 | 0.8589 | json |
| t17_x2_u1_b16 | 17 | 2 | 1 | 16 | ![]() |
sub(P,mod(P,log(R))) | 99328 | 138131236 | o2(x,o2(x,o1(x))) | true | 111431 | 111431 | -0.9841 | 0.007813 | 0.9953 | 0.0257 | 0.1603 | -1 | 1 | 2 | 1 | 0.1467 | 0.001954 | 0.0031 | 0.003447 | -0.2268 | 1 | -3.379e-11 | 0.01053 | 0.00614 | 0.005041 | 0.071 | 20.6 | 2.826 | 0.1967 | 0.41 | 1 | 1 | 0.0005638 | 0.003896 | 0.02274 | 0.02194 | 0.1516 | 0.885 | json |
| t17_x2_u1_b17 | 17 | 2 | 1 | 17 | ![]() |
sub(P,lrg(P,log(R))) | 99329 | 138131237 | o2(x,o2(x,o1(x))) | true | 111439 | 111439 | -0.125 | 0.4375 | 0.9375 | 0.9084 | 0.9531 | -1 | 1 | 2 | 1 | 1.8 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007771 | 0.00003562 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002038 | 0.02696 | 0.2581 | json |
| t17_x2_u1_b18 | 17 | 2 | 1 | 18 | ![]() |
sub(P,eql(P,log(R))) | 99330 | 138131238 | o2(x,o2(x,o1(x))) | true | 111447 | 111447 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t17_x2_u1_b19 | 17 | 2 | 1 | 19 | ![]() |
sub(P,min(P,log(R))) | 99331 | 138131239 | o2(x,o2(x,o1(x))) | true | 111455 | 111455 | 0.3543 | 0.5315 | 0.3543 | 0.2002 | 0.4475 | 0 | 1 | 1 | 1 | 1.968 | 0.003027 | 0.00373 | 0.03064 | -0.1042 | 1 | -0.0002419 | 0.003588 | 0.01878 | 0.005821 | 0.0763 | 2.49 | 0.5359 | 0.03375 | 0.01792 | 1 | 1 | 0.01202 | 0.1005 | 0.2078 | 0.06005 | 0.502 | 1.038 | json |
| t17_x2_u1_b20 | 17 | 2 | 1 | 20 | ![]() |
sub(P,dot(P,log(R))) | 99332 | 138131240 | o2(x,o2(x,o1(x))) | true | 111463 | 111463 | -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_x2_u1_b21 | 17 | 2 | 1 | 21 | ![]() |
sub(P,dst(P,log(R))) | 99333 | 138131241 | o2(x,o2(x,o1(x))) | true | 111471 | 111471 | -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_x2_u1_b22 | 17 | 2 | 1 | 22 | ![]() |
mlt(P,add(P,log(R))) | 99334 | 138131242 | o2(x,o2(x,o1(x))) | true | 111479 | 111479 | -0.9182 | 0.04297 | 0.9958 | 0.1519 | 0.3897 | -1 | 1 | 2 | 1 | 0.3051 | 0.01668 | 0.01465 | 0.01633 | 0.0648 | 1 | 1.089e-10 | 0.06555 | 0.03215 | 0.03104 | 0.1762 | 10.79 | 2.828 | 0.2063 | 0.4316 | 1 | 1 | 0.02461 | 0.1039 | 0.2636 | 0.1621 | 0.6841 | 1.735 | json |
| t17_x2_u1_b23 | 17 | 2 | 1 | 23 | ![]() |
mlt(P,sub(P,log(R))) | 99335 | 138131243 | o2(x,o2(x,o1(x))) | true | 111487 | 111487 | -0.9191 | 0.04297 | 0.995 | 0.1489 | 0.3858 | -1 | 1 | 2 | 1 | 0.3194 | 0.01593 | 0.01431 | 0.01626 | 0.05349 | 1 | -3.004e-11 | 0.06313 | 0.03162 | 0.02996 | 0.1731 | 10.64 | 2.828 | 0.2031 | 0.4241 | 1 | 1 | 0.02287 | 0.1003 | 0.2526 | 0.1536 | 0.6736 | 1.696 | json |
| t17_x2_u1_b24 | 17 | 2 | 1 | 24 | ![]() |
mlt(P,mlt(P,log(R))) | 99336 | 138131244 | o2(x,o2(x,o1(x))) | true | 111495 | 111495 | -0.9919 | 0 | 0.9919 | 0.006615 | 0.08133 | -1 | -0.00004153 | 1 | 1 | 0.1261 | 0.000509 | 0.0008064 | 0.002069 | -0.2261 | 1 | -9.386e-11 | 0.002635 | 0.003451 | 0.001311 | 0.03621 | 17.5 | 1.212 | 0.1988 | 0.3983 | 1 | 1 | 0.0008417 | 0.003875 | 0.00785 | 0.1272 | 0.5857 | 1.187 | json |
| t17_x2_u1_b25 | 17 | 2 | 1 | 25 | ![]() |
mlt(P,div(P,log(R))) | 99337 | 138131245 | o2(x,o2(x,o1(x))) | true | 111503 | 111503 | -0.9981 | 0 | 0.9981 | 0.001608 | 0.0401 | -1 | -0.0007653 | 0.9992 | 1 | 0.03514 | 0.0001298 | 0.0002159 | 0.0007429 | -0.2491 | 1 | 1.502e-11 | 0.0005297 | 0.0008725 | 0.0003451 | 0.01858 | 25 | 0.9992 | 0.215 | 0.3294 | 1 | 1 | 0.00009482 | 0.0006474 | 0.001463 | 0.05898 | 0.4027 | 0.91 | json |
| t17_x2_u1_b26 | 17 | 2 | 1 | 26 | ![]() |
mlt(P,pow(P,log(R))) | 99338 | 138131246 | o2(x,o2(x,o1(x))) | true | 111511 | 111511 | -0.9845 | 0.007813 | 0.9999 | 0.03069 | 0.1752 | -1 | 1 | 2 | 1 | 0.0697 | 0.002694 | 0.002682 | 0.002761 | 0.00228 | 1 | 2.628e-11 | 0.0112 | 0.005475 | 0.005366 | 0.07325 | 26.53 | 2 | 0.1752 | 0.3649 | 1 | 1 | 0 | 0 | 0.0263 | 0 | 0 | 0.857 | json |
| t17_x2_u1_b27 | 17 | 2 | 1 | 27 | ![]() |
mlt(P,mod(P,log(R))) | 99339 | 138131247 | o2(x,o2(x,o1(x))) | true | 111519 | 111519 | -0.9314 | 0.04242 | 0.9827 | 0.1125 | 0.3353 | -1 | 1 | 2 | 1 | 0.3713 | 0.01153 | 0.01057 | 0.01384 | 0.04364 | 1 | -0.00004017 | 0.04594 | 0.02649 | 0.02192 | 0.148 | 10.7 | 2.828 | 0.1965 | 0.4085 | 1 | 1 | 0.01368 | 0.06009 | 0.1559 | 0.1216 | 0.5343 | 1.386 | json |
| t17_x2_u1_b28 | 17 | 2 | 1 | 28 | ![]() |
mlt(P,lrg(P,log(R))) | 99340 | 138131248 | o2(x,o2(x,o1(x))) | true | 111527 | 111527 | 0.1446 | 0.5 | 0.7929 | 0.7443 | 0.8627 | -1 | 1 | 2 | 1 | 2.61 | 0.002688 | 0.002955 | 0.0281 | -0.04739 | 1 | 0.0001523 | 0.002681 | 0.01565 | 0.004855 | 0.06968 | 2.48 | 0.4702 | 0.007582 | 0.003602 | 1 | 1 | 0.00903 | 0.07735 | 0.3067 | 0.01213 | 0.1039 | 0.4121 | json |
| t17_x2_u1_b29 | 17 | 2 | 1 | 29 | ![]() |
mlt(P,eql(P,log(R))) | 99341 | 138131249 | o2(x,o2(x,o1(x))) | true | 111535 | 111535 | 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_x2_u1_b30 | 17 | 2 | 1 | 30 | ![]() |
mlt(P,min(P,log(R))) | 99342 | 138131250 | o2(x,o2(x,o1(x))) | true | 111543 | 111543 | 0.6936 | 0.854 | 0.8926 | 0.3875 | 0.6225 | -1 | 1 | 2 | 1 | 1.798 | 0.02029 | 0.02881 | 0.05395 | -0.1735 | 1 | -0.0002689 | 0.08125 | 0.05831 | 0.04619 | 0.2149 | 3.984 | 2.828 | 0.1267 | 0.2097 | 1 | 1 | 0.05477 | 0.3362 | 0.5874 | 0.1413 | 0.8678 | 1.516 | json |
| t17_x2_u1_b31 | 17 | 2 | 1 | 31 | ![]() |
mlt(P,dot(P,log(R))) | 99343 | 138131251 | o2(x,o2(x,o1(x))) | true | 111551 | 111551 | -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_x2_u1_b32 | 17 | 2 | 1 | 32 | ![]() |
mlt(P,dst(P,log(R))) | 99344 | 138131252 | o2(x,o2(x,o1(x))) | true | 111559 | 111559 | -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_x2_u1_b33 | 17 | 2 | 1 | 33 | ![]() |
div(P,add(P,log(R))) | 99345 | 138131253 | o2(x,o2(x,o1(x))) | true | 111567 | 111567 | -0.9228 | 0.04297 | 0.9912 | 0.1349 | 0.3672 | -1 | 1 | 2 | 1 | 0.3836 | 0.01453 | 0.01328 | 0.01581 | 0.04519 | 1 | 0.000001585 | 0.05818 | 0.03039 | 0.02756 | 0.166 | 10.5 | 2.828 | 0.2062 | 0.4314 | 1 | 1 | 0.02061 | 0.08805 | 0.2215 | 0.1528 | 0.6529 | 1.642 | json |
| t17_x2_u1_b34 | 17 | 2 | 1 | 34 | ![]() |
div(P,sub(P,log(R))) | 99346 | 138131254 | o2(x,o2(x,o1(x))) | true | 111575 | 111575 | -0.9183 | 0.04297 | 0.9957 | 0.1514 | 0.3891 | -1 | 1 | 2 | 1 | 0.3164 | 0.01661 | 0.01458 | 0.01634 | 0.06505 | 1 | 5.926e-7 | 0.06527 | 0.03211 | 0.03092 | 0.1758 | 10.76 | 2.828 | 0.2061 | 0.4312 | 1 | 1 | 0.02465 | 0.1042 | 0.2631 | 0.1629 | 0.6882 | 1.738 | json |
| t17_x2_u1_b35 | 17 | 2 | 1 | 35 | ![]() |
div(P,mlt(P,log(R))) | 99347 | 138131255 | o2(x,o2(x,o1(x))) | true | 111583 | 111583 | -0.9988 | 0 | 0.9988 | 0.0004805 | 0.02192 | -1 | -0.4439 | 0.5561 | 1 | 0.0461 | 0.000108 | 0.00009489 | 0.0006981 | 0.06441 | 1 | 2.638e-7 | 0.0003897 | 0.001016 | 0.0002026 | 0.01423 | 20.39 | 0.5561 | 0.4222 | 0.8112 | 1 | 1 | 0.0001042 | 0.0004936 | 0.0008282 | 0.2168 | 1.027 | 1.724 | json |
| t17_x2_u1_b36 | 17 | 2 | 1 | 36 | ![]() |
div(P,div(P,log(R))) | 99348 | 138131256 | o2(x,o2(x,o1(x))) | true | 111591 | 111591 | -0.9875 | 0 | 0.9875 | 0.007441 | 0.08626 | -1 | -0.05896 | 0.941 | 1 | 0.2677 | 0.0007567 | 0.0008874 | 0.003842 | -0.0795 | 1 | 0.00001706 | 0.003232 | 0.005151 | 0.00163 | 0.04037 | 10.51 | 0.941 | 0.221 | 0.4344 | 1 | 1 | 0.001767 | 0.007619 | 0.01411 | 0.2374 | 1.024 | 1.897 | json |
| t17_x2_u1_b37 | 17 | 2 | 1 | 37 | ![]() |
div(P,pow(P,log(R))) | 99349 | 138131257 | o2(x,o2(x,o1(x))) | true | 111599 | 111599 | -0.9609 | 0.02344 | 0.9922 | 0.06706 | 0.259 | -1 | 1 | 2 | 1 | 0.226 | 0.0079 | 0.006387 | 0.008969 | 0.1059 | 1 | -1.201e-10 | 0.03013 | 0.01633 | 0.01421 | 0.1192 | 13.29 | 2.828 | 0.213 | 0.4493 | 1 | 1 | 0.01203 | 0.04862 | 0.1347 | 0.1794 | 0.725 | 2.009 | json |
| t17_x2_u1_b38 | 17 | 2 | 1 | 38 | ![]() |
div(P,mod(P,log(R))) | 99350 | 138131258 | o2(x,o2(x,o1(x))) | true | 111607 | 111607 | -0.9297 | 0.03516 | 1 | 0.1356 | 0.3683 | -1 | 1 | 2 | 1 | 0.2196 | 0.01487 | 0.01235 | 0.01351 | 0.09259 | 1 | 0 | 0.05694 | 0.02721 | 0.027 | 0.1643 | 12.16 | 2.828 | 0.2006 | 0.4198 | 1 | 1 | 0.02366 | 0.09712 | 0.2474 | 0.1744 | 0.716 | 1.824 | json |
| t17_x2_u1_b39 | 17 | 2 | 1 | 39 | ![]() |
div(P,lrg(P,log(R))) | 99351 | 138131259 | o2(x,o2(x,o1(x))) | true | 111615 | 111615 | -0.02148 | 0.5 | 0.959 | 0.9493 | 0.9743 | -1 | 1 | 2 | 1 | 1.561 | 0.003175 | 0.0003948 | 0.008396 | 0.7788 | 1 | 5.538e-11 | 0.006331 | 0.007598 | 0.003501 | 0.05917 | 7.047 | 1.414 | 0.003761 | 0.006669 | 1 | 1 | 0.004929 | 0.03549 | 0.2726 | 0.005192 | 0.03738 | 0.2871 | json |
| t17_x2_u1_b40 | 17 | 2 | 1 | 40 | ![]() |
div(P,eql(P,log(R))) | 99352 | 138131260 | o2(x,o2(x,o1(x))) | true | 111623 | 111623 | -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_x2_u1_b41 | 17 | 2 | 1 | 41 | ![]() |
div(P,min(P,log(R))) | 99353 | 138131261 | o2(x,o2(x,o1(x))) | true | 111631 | 111631 | 0.2057 | 0.6123 | 0.9277 | 0.8608 | 0.9278 | -1 | 1 | 2 | 1 | 2.126 | 0.02498 | 0.01805 | 0.06053 | 0.1608 | 1 | 0.0003273 | 0.05696 | 0.05458 | 0.03937 | 0.1984 | 3.278 | 2.828 | 0.04999 | 0.06617 | 1 | 1 | 0.06659 | 0.4085 | 0.9863 | 0.07736 | 0.4746 | 1.146 | json |
| t17_x2_u1_b42 | 17 | 2 | 1 | 42 | ![]() |
div(P,dot(P,log(R))) | 99354 | 138131262 | o2(x,o2(x,o1(x))) | true | 111639 | 111639 | -0.9994 | 0 | 0.9994 | 0.000246 | 0.01569 | -1 | -0.4473 | 0.5527 | 1 | 0.02312 | 0.00003527 | 0.0000746 | 0.0003342 | -0.358 | 1 | 1.877e-11 | 0.0002205 | 0.000503 | 0.0001097 | 0.01047 | 31.33 | 0.7817 | 0.4466 | 0.8962 | 1 | 1 | 0.0002099 | 0.000674 | 0.0008793 | 0.8534 | 2.74 | 3.574 | json |
| t17_x2_u1_b43 | 17 | 2 | 1 | 43 | ![]() |
div(P,dst(P,log(R))) | 99355 | 138131263 | o2(x,o2(x,o1(x))) | true | 111647 | 111647 | -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_x2_u1_b44 | 17 | 2 | 1 | 44 | ![]() |
pow(P,add(P,log(R))) | 99356 | 138131264 | o2(x,o2(x,o1(x))) | true | 111655 | 111655 | -0.9844 | 0.007813 | 1 | 0.03101 | 0.1761 | -1 | 1 | 2 | 1 | 0.06591 | 0.002771 | 0.002771 | 0.002771 | 0 | 1 | 0 | 0.01159 | 0.005543 | 0.005537 | 0.07441 | 26.85 | 2 | 0.1788 | 0.3738 | 1 | 1 | 0 | 0 | 0.02659 | 0 | 0 | 0.8577 | json |
| t17_x2_u1_b45 | 17 | 2 | 1 | 45 | ![]() |
pow(P,sub(P,log(R))) | 99357 | 138131265 | o2(x,o2(x,o1(x))) | true | 111663 | 111663 | -0.9609 | 0.02344 | 0.9922 | 0.06706 | 0.259 | -1 | 1 | 2 | 1 | 0.226 | 0.0079 | 0.006387 | 0.008969 | 0.1059 | 1 | -1.201e-10 | 0.03013 | 0.01633 | 0.01421 | 0.1192 | 13.29 | 2.828 | 0.213 | 0.4493 | 1 | 1 | 0.01203 | 0.04862 | 0.1347 | 0.1794 | 0.725 | 2.009 | json |
| t17_x2_u1_b46 | 17 | 2 | 1 | 46 | ![]() |
pow(P,mlt(P,log(R))) | 99358 | 138131266 | o2(x,o2(x,o1(x))) | true | 111671 | 111671 | -0.9577 | 0.02316 | 0.9955 | 0.07765 | 0.2787 | -1 | 1 | 2 | 1 | 0.2013 | 0.009701 | 0.007214 | 0.009094 | 0.147 | 1 | 0.000002865 | 0.0358 | 0.01793 | 0.01683 | 0.1297 | 14.26 | 2.828 | 0.2178 | 0.4611 | 1 | 1 | 0.01928 | 0.07712 | 0.1951 | 0.2483 | 0.9932 | 2.512 | json |
| t17_x2_u1_b47 | 17 | 2 | 1 | 47 | ![]() |
pow(P,div(P,log(R))) | 99359 | 138131267 | o2(x,o2(x,o1(x))) | true | 111679 | 111679 | -0.9587 | 0.01953 | 0.9945 | 0.07487 | 0.2736 | -1 | 1 | 2 | 1 | 0.1984 | 0.009523 | 0.007203 | 0.009004 | 0.1387 | 1 | -9.396e-7 | 0.03544 | 0.01778 | 0.01664 | 0.129 | 14.33 | 2.828 | 0.2234 | 0.4733 | 1 | 1 | 0.01928 | 0.07712 | 0.1929 | 0.2575 | 1.03 | 2.576 | json |
| t17_x2_u1_b48 | 17 | 2 | 1 | 48 | ![]() |
pow(P,pow(P,log(R))) | 99360 | 138131268 | o2(x,o2(x,o1(x))) | true | 111687 | 111687 | -0.9609 | 0.02344 | 0.9922 | 0.06706 | 0.259 | -1 | 1 | 2 | 1 | 0.226 | 0.0079 | 0.006387 | 0.008969 | 0.1059 | 1 | -1.201e-10 | 0.03013 | 0.01633 | 0.01421 | 0.1192 | 13.29 | 2.828 | 0.213 | 0.4493 | 1 | 1 | 0.01203 | 0.04862 | 0.1347 | 0.1794 | 0.725 | 2.009 | json |
| t17_x2_u1_b49 | 17 | 2 | 1 | 49 | ![]() |
pow(P,mod(P,log(R))) | 99361 | 138131269 | o2(x,o2(x,o1(x))) | true | 111695 | 111695 | -0.9531 | 0.02344 | 1 | 0.09152 | 0.3025 | -1 | 1 | 2 | 1 | 0.1603 | 0.01083 | 0.008818 | 0.009771 | 0.1026 | 1 | 0 | 0.04157 | 0.01965 | 0.01957 | 0.1399 | 14.32 | 2.828 | 0.2147 | 0.4542 | 1 | 1 | 0.01928 | 0.07712 | 0.2074 | 0.2107 | 0.8426 | 2.266 | json |
| t17_x2_u1_b50 | 17 | 2 | 1 | 50 | ![]() |
pow(P,lrg(P,log(R))) | 99362 | 138131270 | o2(x,o2(x,o1(x))) | true | 111703 | 111703 | 0.04883 | 0.543 | 0.9629 | 0.953 | 0.9762 | -1 | 1 | 2 | 1 | 1.469 | 0.01648 | 0.01299 | 0.02104 | 0.1184 | 1 | 2.91e-11 | 0.0605 | 0.03393 | 0.02905 | 0.1705 | 8.101 | 2.828 | 0.03093 | 0.06348 | 1 | 1 | 0.02825 | 0.1322 | 0.5109 | 0.02965 | 0.1388 | 0.5361 | json |
| t17_x2_u1_b51 | 17 | 2 | 1 | 51 | ![]() |
pow(P,eql(P,log(R))) | 99363 | 138131271 | o2(x,o2(x,o1(x))) | true | 111711 | 111711 | 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_x2_u1_b52 | 17 | 2 | 1 | 52 | ![]() |
pow(P,min(P,log(R))) | 99364 | 138131272 | o2(x,o2(x,o1(x))) | true | 111719 | 111719 | -0.08746 | 0.4609 | 0.9907 | 0.978 | 0.9889 | -1 | 1 | 2 | 1 | 1.233 | 0.01675 | 0.004334 | 0.01501 | 0.5888 | 1 | 0.000005039 | 0.04322 | 0.02718 | 0.02087 | 0.1444 | 9.622 | 2.828 | 0.02156 | 0.04419 | 1 | 1 | 0.02849 | 0.1103 | 0.4066 | 0.02913 | 0.1128 | 0.4158 | json |
| t17_x2_u1_b53 | 17 | 2 | 1 | 53 | ![]() |
pow(P,dot(P,log(R))) | 99365 | 138131273 | o2(x,o2(x,o1(x))) | true | 111727 | 111727 | -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_x2_u1_b54 | 17 | 2 | 1 | 54 | ![]() |
pow(P,dst(P,log(R))) | 99366 | 138131274 | o2(x,o2(x,o1(x))) | true | 111735 | 111735 | -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_x2_u1_b55 | 17 | 2 | 1 | 55 | ![]() |
mod(P,add(P,log(R))) | 99367 | 138131275 | o2(x,o2(x,o1(x))) | true | 111743 | 111743 | -0.9874 | 0.007645 | 0.9931 | 0.01671 | 0.1293 | -1 | 1 | 2 | 1 | 0.1356 | 0.001434 | 0.002085 | 0.00286 | -0.1851 | 1 | -0.000004719 | 0.007321 | 0.004839 | 0.003513 | 0.05927 | 20.72 | 2.001 | 0.2106 | 0.4382 | 1 | 1 | 0.0004053 | 0.002783 | 0.01499 | 0.02426 | 0.1666 | 0.8975 | json |
| t17_x2_u1_b56 | 17 | 2 | 1 | 56 | ![]() |
mod(P,sub(P,log(R))) | 99368 | 138131276 | o2(x,o2(x,o1(x))) | true | 111751 | 111751 | -0.9706 | 0.007813 | 0.9823 | 0.03547 | 0.1883 | -1 | 1 | 2 | 1 | 0.3591 | 0.003148 | 0.00437 | 0.007357 | -0.1625 | 1 | 0.00001234 | 0.01557 | 0.01212 | 0.007466 | 0.08641 | 11.75 | 2.828 | 0.212 | 0.4389 | 1 | 1 | 0.00325 | 0.01537 | 0.04425 | 0.09165 | 0.4332 | 1.248 | json |
| t17_x2_u1_b57 | 17 | 2 | 1 | 57 | ![]() |
mod(P,mlt(P,log(R))) | 99369 | 138131277 | o2(x,o2(x,o1(x))) | true | 111759 | 111759 | -0.9814 | 0.003906 | 0.9881 | 0.02275 | 0.1508 | -1 | 1 | 2 | 1 | 0.2134 | 0.002294 | 0.002388 | 0.00478 | -0.02002 | 1 | 0.000004134 | 0.009618 | 0.00828 | 0.004661 | 0.06827 | 14.28 | 2.022 | 0.2058 | 0.4228 | 1 | 1 | 0.003361 | 0.01325 | 0.04167 | 0.1477 | 0.5825 | 1.832 | json |
| t17_x2_u1_b58 | 17 | 2 | 1 | 58 | ![]() |
mod(P,div(P,log(R))) | 99370 | 138131278 | o2(x,o2(x,o1(x))) | true | 111767 | 111767 | -0.9914 | 0.003906 | 0.9991 | 0.0158 | 0.1257 | -1 | 1 | 2 | 1 | 0.06838 | 0.001157 | 0.001753 | 0.002106 | -0.205 | 1 | -1.126e-11 | 0.005999 | 0.003856 | 0.002904 | 0.05389 | 25.59 | 2 | 0.1842 | 0.3798 | 1 | 1 | 0.0001044 | 0.0002603 | 0.01352 | 0.006609 | 0.01648 | 0.8559 | json |
| t17_x2_u1_b59 | 17 | 2 | 1 | 59 | ![]() |
mod(P,pow(P,log(R))) | 99371 | 138131279 | o2(x,o2(x,o1(x))) | true | 111775 | 111775 | -0.991 | 0.007568 | 0.9934 | 0.01034 | 0.1017 | -1 | 0.3599 | 1.36 | 1 | 0.08528 | 0.0008371 | 0.0009506 | 0.001692 | -0.0635 | 1 | 0.000001016 | 0.003725 | 0.003153 | 0.001785 | 0.04225 | 24.97 | 1.35 | 0.173 | 0.3604 | 1 | 1 | 0 | 0 | 0.008812 | 0 | 0 | 0.8526 | json |
| t17_x2_u1_b60 | 17 | 2 | 1 | 60 | ![]() |
mod(P,mod(P,log(R))) | 99372 | 138131280 | o2(x,o2(x,o1(x))) | true | 111783 | 111783 | -0.9687 | 0.003906 | 0.9696 | 0.02767 | 0.1664 | -1 | 0.2798 | 1.28 | 1 | 0.3239 | 0.003006 | 0.002574 | 0.006502 | 0.07725 | 1 | 0.000001251 | 0.01166 | 0.01222 | 0.005535 | 0.0744 | 11.44 | 1.381 | 0.2016 | 0.4213 | 1 | 1 | 0.005006 | 0.02062 | 0.05327 | 0.1809 | 0.7451 | 1.925 | json |
| t17_x2_u1_b61 | 17 | 2 | 1 | 61 | ![]() |
mod(P,lrg(P,log(R))) | 99373 | 138131281 | o2(x,o2(x,o1(x))) | true | 111791 | 111791 | -0.4414 | 0 | 0.4414 | 0.2468 | 0.4968 | -1 | 0 | 1 | 1 | 0.9901 | 0.006362 | 0.003527 | 0.009834 | 0.2866 | 1 | 0 | 0.02041 | 0.01978 | 0.009792 | 0.09896 | 10.06 | 1.414 | 0.04007 | 0.08269 | 1 | 1 | 0.01069 | 0.04343 | 0.1465 | 0.04333 | 0.176 | 0.5935 | json |
| t17_x2_u1_b62 | 17 | 2 | 1 | 62 | ![]() |
mod(P,eql(P,log(R))) | 99374 | 138131282 | o2(x,o2(x,o1(x))) | true | 111799 | 111799 | -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_x2_u1_b63 | 17 | 2 | 1 | 63 | ![]() |
mod(P,min(P,log(R))) | 99375 | 138131283 | o2(x,o2(x,o1(x))) | true | 111807 | 111807 | -0.1089 | 0.4455 | 0.587 | 0.5328 | 0.7299 | -1 | 1 | 2 | 1 | 3.094 | 0.01282 | 0.004521 | 0.04473 | 0.4785 | 1 | 0.0002547 | 0.02372 | 0.04017 | 0.01534 | 0.1239 | 2.769 | 1.999 | 0.03254 | 0.04453 | 1 | 1 | 0.02545 | 0.1565 | 0.4209 | 0.04778 | 0.2937 | 0.7901 | json |
| t17_x2_u1_b64 | 17 | 2 | 1 | 64 | ![]() |
mod(P,dot(P,log(R))) | 99376 | 138131284 | o2(x,o2(x,o1(x))) | true | 111815 | 111815 | -0.9995 | 0 | 0.9995 | 0.0003181 | 0.01784 | -1 | -0.001705 | 0.9983 | 1 | 0.01385 | 0.00005902 | 0.0001249 | 0.0003478 | -0.3583 | 1 | 1.126e-11 | 0.0003694 | 0.000486 | 0.0001837 | 0.01356 | 38.98 | 0.9983 | 0.5783 | 1.161 | 1 | 1 | 0.0003601 | 0.001057 | 0.001022 | 1.132 | 3.323 | 3.211 | json |
| t17_x2_u1_b65 | 17 | 2 | 1 | 65 | ![]() |
mod(P,dst(P,log(R))) | 99377 | 138131285 | o2(x,o2(x,o1(x))) | true | 111823 | 111823 | -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_x2_u1_b66 | 17 | 2 | 1 | 66 | ![]() |
lrg(P,add(P,log(R))) | 99378 | 138131286 | o2(x,o2(x,o1(x))) | true | 111831 | 111831 | 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_x2_u1_b67 | 17 | 2 | 1 | 67 | ![]() |
lrg(P,sub(P,log(R))) | 99379 | 138131287 | o2(x,o2(x,o1(x))) | true | 111839 | 111839 | 0.5176 | 0.9429 | 0.5176 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | 0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t17_x2_u1_b68 | 17 | 2 | 1 | 68 | ![]() |
lrg(P,mlt(P,log(R))) | 99380 | 138131288 | o2(x,o2(x,o1(x))) | true | 111847 | 111847 | 0.7324 | 0.9569 | 0.7324 | 0.1474 | 0.3839 | 0 | 1 | 1 | 1 | 2.341 | 0.001052 | 0.001231 | 0.02666 | -0.0785 | 1 | -0.000006429 | 0.0001288 | 0.006434 | 0.001572 | 0.03965 | 1.487 | 0.1169 | 0.01549 | 0.000874 | 1 | 1 | 0.004654 | 0.05961 | 0.1835 | 0.03158 | 0.4044 | 1.245 | json |
| t17_x2_u1_b69 | 17 | 2 | 1 | 69 | ![]() |
lrg(P,div(P,log(R))) | 99381 | 138131289 | o2(x,o2(x,o1(x))) | true | 111855 | 111855 | 0.7324 | 0.9569 | 0.7324 | 0.1474 | 0.3839 | 0 | 1 | 1 | 1 | 2.341 | 0.001052 | 0.001231 | 0.02666 | -0.0785 | 1 | -0.000006429 | 0.0001288 | 0.006434 | 0.001572 | 0.03965 | 1.487 | 0.1169 | 0.01549 | 0.000874 | 1 | 1 | 0.004654 | 0.05961 | 0.1835 | 0.03158 | 0.4044 | 1.245 | json |
| t17_x2_u1_b70 | 17 | 2 | 1 | 70 | ![]() |
lrg(P,pow(P,log(R))) | 99382 | 138131290 | o2(x,o2(x,o1(x))) | true | 111863 | 111863 | 0.9102 | 0.9831 | 0.9102 | 0.06626 | 0.2574 | 0 | 1 | 1 | 1 | 1.008 | 0.0006768 | 0.0001053 | 0.008948 | 0.7306 | 1 | 0.000005703 | 0.00003877 | 0.002115 | 0.0007021 | 0.0265 | 2.961 | 0.1169 | 0.0118 | 0.0005851 | 1 | 1 | 0.002072 | 0.02707 | 0.115 | 0.03127 | 0.4086 | 1.736 | json |
| t17_x2_u1_b71 | 17 | 2 | 1 | 71 | ![]() |
lrg(P,mod(P,log(R))) | 99383 | 138131291 | o2(x,o2(x,o1(x))) | true | 111871 | 111871 | 0.7285 | 0.9567 | 0.7285 | 0.1484 | 0.3852 | 0 | 1 | 1 | 1 | 2.366 | 0.001047 | 0.001271 | 0.02708 | -0.09664 | 1 | -0.000006429 | 0.0001309 | 0.006537 | 0.001585 | 0.03981 | 1.47 | 0.1169 | 0.01562 | 0.0008823 | 1 | 1 | 0.004776 | 0.0612 | 0.1879 | 0.03219 | 0.4124 | 1.266 | json |
| t17_x2_u1_b72 | 17 | 2 | 1 | 72 | ![]() |
lrg(P,lrg(P,log(R))) | 99384 | 138131292 | o2(x,o2(x,o1(x))) | true | 111879 | 111879 | 0.4063 | 0.4375 | 0.4063 | 0.2344 | 0.4842 | 0 | 1 | 1 | 1 | 1.302 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001505 | 0.00006906 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.003947 | 0.0518 | 0.3203 | json |
| t17_x2_u1_b73 | 17 | 2 | 1 | 73 | ![]() |
lrg(P,eql(P,log(R))) | 99385 | 138131293 | o2(x,o2(x,o1(x))) | true | 111887 | 111887 | 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_x2_u1_b74 | 17 | 2 | 1 | 74 | ![]() |
lrg(P,min(P,log(R))) | 99386 | 138131294 | o2(x,o2(x,o1(x))) | true | 111895 | 111895 | 0.252 | 0.5282 | 0.252 | 0.1301 | 0.3607 | 0 | 1 | 1 | 1 | 2.494 | 0.001297 | 0.001369 | 0.03127 | -0.0271 | 1 | -0.00002424 | 0.0001592 | 0.007625 | 0.001688 | 0.04108 | 1.314 | 0.1169 | 0.02049 | 0.001224 | 1 | 1 | 0.005545 | 0.07203 | 0.1859 | 0.04263 | 0.5537 | 1.429 | json |
| t17_x2_u1_b75 | 17 | 2 | 1 | 75 | ![]() |
lrg(P,dot(P,log(R))) | 99387 | 138131295 | o2(x,o2(x,o1(x))) | true | 111903 | 111903 | 0.8731 | 0.9955 | 0.8731 | 0.07325 | 0.2706 | 0 | 1 | 1 | 1 | 1.714 | 0.0007873 | 0.0009611 | 0.02052 | -0.09944 | 1 | 0.000002137 | 0.00009972 | 0.00496 | 0.001327 | 0.03642 | 1.775 | 0.1169 | 0.02387 | 0.001361 | 1 | 1 | 0.003267 | 0.0416 | 0.1011 | 0.04461 | 0.5679 | 1.38 | json |
| t17_x2_u1_b76 | 17 | 2 | 1 | 76 | ![]() |
lrg(P,dst(P,log(R))) | 99388 | 138131296 | o2(x,o2(x,o1(x))) | true | 111911 | 111911 | 0.8965 | 1 | 0.8965 | 0.0572 | 0.2392 | 0.000291 | 1 | 0.9997 | 1 | 1.574 | 0.0007844 | 0.0008795 | 0.0197 | -0.05714 | 1 | 0.00002852 | 0.00009832 | 0.00479 | 0.001276 | 0.03572 | 1.813 | 0.1169 | 0.02909 | 0.001719 | 1 | 1 | 0.003746 | 0.04826 | 0.1198 | 0.06549 | 0.8438 | 2.095 | json |
| t17_x2_u1_b77 | 17 | 2 | 1 | 77 | ![]() |
eql(P,add(P,log(R))) | 99389 | 138131297 | o2(x,o2(x,o1(x))) | true | 111919 | 111919 | 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_x2_u1_b78 | 17 | 2 | 1 | 78 | ![]() |
eql(P,sub(P,log(R))) | 99390 | 138131298 | o2(x,o2(x,o1(x))) | true | 111927 | 111927 | 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_x2_u1_b79 | 17 | 2 | 1 | 79 | ![]() |
eql(P,mlt(P,log(R))) | 99391 | 138131299 | o2(x,o2(x,o1(x))) | true | 111935 | 111935 | 0.02734 | 0.07556 | 0.02734 | 0.01868 | 0.1367 | 0 | 0.9997 | 0.9997 | 1 | 0.4881 | 0.0002846 | 0.0001053 | 0.004539 | 0.4597 | 1 | -0.000005705 | 0.00002084 | 0.001084 | 0.0003695 | 0.01922 | 4.235 | 0.1169 | 0.02087 | 0.001115 | 1 | 1 | 0.001069 | 0.01392 | 0.04488 | 0.0572 | 0.7453 | 2.402 | json |
| t17_x2_u1_b80 | 17 | 2 | 1 | 80 | ![]() |
eql(P,div(P,log(R))) | 99392 | 138131300 | o2(x,o2(x,o1(x))) | true | 111943 | 111943 | 0.02734 | 0.07556 | 0.02734 | 0.01868 | 0.1367 | 0 | 0.9997 | 0.9997 | 1 | 0.4881 | 0.0002846 | 0.0001053 | 0.004539 | 0.4597 | 1 | -0.000005705 | 0.00002084 | 0.001084 | 0.0003695 | 0.01922 | 4.235 | 0.1169 | 0.02087 | 0.001115 | 1 | 1 | 0.001069 | 0.01392 | 0.04488 | 0.0572 | 0.7453 | 2.402 | json |
| t17_x2_u1_b81 | 17 | 2 | 1 | 81 | ![]() |
eql(P,pow(P,log(R))) | 99393 | 138131301 | o2(x,o2(x,o1(x))) | true | 111951 | 111951 | 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_x2_u1_b82 | 17 | 2 | 1 | 82 | ![]() |
eql(P,mod(P,log(R))) | 99394 | 138131302 | o2(x,o2(x,o1(x))) | true | 111959 | 111959 | 0.04102 | 0.1131 | 0.04102 | 0.02758 | 0.1661 | 0 | 1 | 1 | 1 | 0.6832 | 0.0003717 | 0.000198 | 0.006669 | 0.305 | 1 | -2.693e-10 | 0.0000309 | 0.001595 | 0.0005251 | 0.02291 | 3.436 | 0.1169 | 0.02065 | 0.00112 | 1 | 1 | 0.001591 | 0.02074 | 0.07347 | 0.05768 | 0.7521 | 2.664 | json |
| t17_x2_u1_b83 | 17 | 2 | 1 | 83 | ![]() |
eql(P,lrg(P,log(R))) | 99395 | 138131303 | o2(x,o2(x,o1(x))) | true | 111967 | 111967 | 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_x2_u1_b84 | 17 | 2 | 1 | 84 | ![]() |
eql(P,eql(P,log(R))) | 99396 | 138131304 | o2(x,o2(x,o1(x))) | true | 111975 | 111975 | 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_x2_u1_b85 | 17 | 2 | 1 | 85 | ![]() |
eql(P,min(P,log(R))) | 99397 | 138131305 | o2(x,o2(x,o1(x))) | true | 111983 | 111983 | 0.748 | 0.986 | 0.748 | 0.1301 | 0.3607 | 0 | 1 | 1 | 1 | 2.494 | 0.001297 | 0.001369 | 0.03127 | -0.0271 | 1 | 0.00002424 | 0.0001592 | 0.007625 | 0.001688 | 0.04108 | 1.314 | 0.1169 | 0.02049 | 0.001224 | 1 | 1 | 0.005545 | 0.07203 | 0.1859 | 0.04263 | 0.5537 | 1.429 | json |
| t17_x2_u1_b86 | 17 | 2 | 1 | 86 | ![]() |
eql(P,dot(P,log(R))) | 99398 | 138131306 | o2(x,o2(x,o1(x))) | true | 111991 | 111991 | 0.003906 | 0.01477 | 0.003906 | 0.002383 | 0.04882 | 0 | 0.9994 | 0.9994 | 1 | 0.1068 | 0.00003512 | 0.00003512 | 0.0008419 | 7.252e-7 | 0 | -5.638e-14 | 0.000004222 | 0.000206 | 0.00006942 | 0.008332 | 9.897 | 0.1169 | 0.02947 | 0.001772 | 1 | 1 | 0.0002443 | 0.003178 | 0.008708 | 0.1025 | 1.334 | 3.654 | json |
| t17_x2_u1_b87 | 17 | 2 | 1 | 87 | ![]() |
eql(P,dst(P,log(R))) | 99399 | 138131307 | o2(x,o2(x,o1(x))) | true | 111999 | 111999 | 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 |



































































































