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_x17_u3_b41 | 17 | 17 | 3 | 41 | ![]() |
div(D,min(R,flr(R))) | 112300 | 138737678 | o2(x,o2(x,o1(x))) | true | 58407 | 58407 | -0.9297 | 0.03516 | 0.9363 | 0.06609 | 0.2571 | -1 | 0.1454 | 1.145 | 1 | 0.5472 | 0.00556 | 0.006735 | 0.01434 | -0.09557 | 1 | -0.00002009 | 0.0256 | 0.0252 | 0.01209 | 0.1099 | 7.667 | 1.458 | 0.186 | 0.3874 | 1 | 1 | 0.0128 | 0.05416 | 0.1451 | 0.1937 | 0.8196 | 2.196 | json |
| t17_x17_u3_b42 | 17 | 17 | 3 | 42 | ![]() |
div(D,dot(R,flr(R))) | 112301 | 138737679 | o2(x,o2(x,o1(x))) | true | 58415 | 58415 | -0.3379 | 0.3331 | 0.5227 | 0.3367 | 0.5803 | -1 | 1 | 2 | 1 | 3.523 | 0.02567 | 0.0152 | 0.07804 | 0.2562 | 1 | -0.0001024 | 0.07022 | 0.08144 | 0.03479 | 0.1865 | 2.39 | 2.005 | 0.1214 | 0.2085 | 1 | 1 | 0.05119 | 0.2751 | 0.6054 | 0.152 | 0.8169 | 1.798 | json |
| t17_x17_u3_b43 | 17 | 17 | 3 | 43 | ![]() |
div(D,dst(R,flr(R))) | 112302 | 138737680 | o2(x,o2(x,o1(x))) | true | 58423 | 58423 | -0.001325 | 0.4979 | 0.129 | 0.03202 | 0.1789 | -1 | 1 | 2 | 1 | 3.355 | 0.003206 | 0.0002673 | 0.04691 | 0.8461 | 1 | 0.00001056 | 0.0006282 | 0.01797 | 0.001273 | 0.03568 | 0.7607 | 0.6296 | 0.1085 | 0.01962 | 1 | 1 | 0.006176 | 0.05118 | 0.03456 | 0.1929 | 1.598 | 1.08 | json |
| t17_x17_u3_b44 | 17 | 17 | 3 | 44 | ![]() |
pow(D,add(R,flr(R))) | 112303 | 138737681 | o2(x,o2(x,o1(x))) | true | 58431 | 58431 | -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_x17_u3_b45 | 17 | 17 | 3 | 45 | ![]() |
pow(D,sub(R,flr(R))) | 112304 | 138737682 | o2(x,o2(x,o1(x))) | true | 58439 | 58439 | -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_x17_u3_b46 | 17 | 17 | 3 | 46 | ![]() |
pow(D,mlt(R,flr(R))) | 112305 | 138737683 | o2(x,o2(x,o1(x))) | true | 58447 | 58447 | -0.6022 | 0.2109 | 0.9759 | 0.6005 | 0.7749 | -1 | 1 | 2 | 1 | 1.178 | 0.06625 | 0.06098 | 0.07268 | 0.04138 | 1 | -0.00002195 | 0.2665 | 0.1356 | 0.122 | 0.3493 | 4.806 | 2.828 | 0.2119 | 0.4438 | 1 | 1 | 0.1278 | 0.5515 | 1.281 | 0.2128 | 0.9184 | 2.133 | json |
| t17_x17_u3_b47 | 17 | 17 | 3 | 47 | ![]() |
pow(D,div(R,flr(R))) | 112306 | 138737684 | o2(x,o2(x,o1(x))) | true | 58455 | 58455 | -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_x17_u3_b48 | 17 | 17 | 3 | 48 | ![]() |
pow(D,pow(R,flr(R))) | 112307 | 138737685 | o2(x,o2(x,o1(x))) | true | 58463 | 58463 | -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_x17_u3_b49 | 17 | 17 | 3 | 49 | ![]() |
pow(D,mod(R,flr(R))) | 112308 | 138737686 | o2(x,o2(x,o1(x))) | true | 58471 | 58471 | -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_x17_u3_b50 | 17 | 17 | 3 | 50 | ![]() |
pow(D,lrg(R,flr(R))) | 112309 | 138737687 | o2(x,o2(x,o1(x))) | true | 58479 | 58479 | -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_x17_u3_b51 | 17 | 17 | 3 | 51 | ![]() |
pow(D,eql(R,flr(R))) | 112310 | 138737688 | o2(x,o2(x,o1(x))) | true | 58487 | 58487 | 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_x17_u3_b52 | 17 | 17 | 3 | 52 | ![]() |
pow(D,min(R,flr(R))) | 112311 | 138737689 | o2(x,o2(x,o1(x))) | true | 58495 | 58495 | -0.5781 | 0.2109 | 1 | 0.6661 | 0.8161 | -1 | 1 | 2 | 1 | 0.7433 | 0.08151 | 0.06689 | 0.07361 | 0.09847 | 1 | 0 | 0.3136 | 0.1484 | 0.143 | 0.3782 | 5.137 | 2.828 | 0.2228 | 0.4707 | 1 | 1 | 0.1477 | 0.6117 | 1.421 | 0.2217 | 0.9184 | 2.134 | json |
| t17_x17_u3_b53 | 17 | 17 | 3 | 53 | ![]() |
pow(D,dot(R,flr(R))) | 112312 | 138737690 | o2(x,o2(x,o1(x))) | true | 58503 | 58503 | -0.9868 | 0.007813 | 0.9976 | 0.02291 | 0.1514 | -1 | 1 | 2 | 1 | 0.09237 | 0.002646 | 0.001485 | 0.002834 | 0.281 | 1 | -1.464e-10 | 0.008407 | 0.004814 | 0.004121 | 0.0642 | 22.66 | 2.828 | 0.1803 | 0.367 | 1 | 1 | 0.007431 | 0.03252 | 0.08336 | 0.3244 | 1.419 | 3.639 | json |
| t17_x17_u3_b54 | 17 | 17 | 3 | 54 | ![]() |
pow(D,dst(R,flr(R))) | 112313 | 138737691 | o2(x,o2(x,o1(x))) | true | 58511 | 58511 | -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_x17_u3_b55 | 17 | 17 | 3 | 55 | ![]() |
mod(D,add(R,flr(R))) | 112314 | 138737692 | o2(x,o2(x,o1(x))) | true | 58519 | 58519 | -0.000325 | 0.4973 | 0.1089 | 0.01551 | 0.1245 | -0.2728 | 0.2728 | 0.5455 | 1 | 2.956 | 0.003102 | 0.00006673 | 0.04287 | 0.9579 | 1 | -0.00003112 | 0.003361 | 0.02978 | 0.001332 | 0.03649 | 0.8512 | 0.3098 | 0.2043 | 0.2168 | 1 | 1 | 0.004738 | 0.02896 | 0.008398 | 0.3055 | 1.867 | 0.5415 | json |
| t17_x17_u3_b56 | 17 | 17 | 3 | 56 | ![]() |
mod(D,sub(R,flr(R))) | 112315 | 138737693 | o2(x,o2(x,o1(x))) | true | 58527 | 58527 | 0.0005047 | 0.501 | 0.1156 | 0.01848 | 0.136 | -0.2728 | 0.2728 | 0.5456 | 1 | 3.093 | 0.004612 | 0.00009701 | 0.05005 | 0.9588 | 1 | -0.00008206 | 0.006735 | 0.04539 | 0.002205 | 0.04696 | 0.9383 | 0.4919 | 0.2548 | 0.3644 | 1 | 1 | 0.006475 | 0.03509 | 0.01432 | 0.3503 | 1.899 | 0.7747 | json |
| t17_x17_u3_b57 | 17 | 17 | 3 | 57 | ![]() |
mod(D,mlt(R,flr(R))) | 112316 | 138737694 | o2(x,o2(x,o1(x))) | true | 58535 | 58535 | -0.9291 | 0.03633 | 0.9369 | 0.06752 | 0.2599 | -1 | 0.2645 | 1.265 | 1 | 0.5792 | 0.005799 | 0.006773 | 0.01527 | -0.07748 | 1 | 0.0000267 | 0.02607 | 0.02715 | 0.01234 | 0.1111 | 7.276 | 1.415 | 0.1862 | 0.386 | 1 | 1 | 0.01302 | 0.05596 | 0.1488 | 0.1928 | 0.8288 | 2.203 | json |
| t17_x17_u3_b58 | 17 | 17 | 3 | 58 | ![]() |
mod(D,div(R,flr(R))) | 112317 | 138737695 | o2(x,o2(x,o1(x))) | true | 58543 | 58543 | -0.9291 | 0.03633 | 0.9369 | 0.06752 | 0.2599 | -1 | 0.2645 | 1.265 | 1 | 0.5792 | 0.005799 | 0.006773 | 0.01527 | -0.07748 | 1 | 0.0000267 | 0.02607 | 0.02715 | 0.01234 | 0.1111 | 7.276 | 1.415 | 0.1862 | 0.386 | 1 | 1 | 0.01302 | 0.05596 | 0.1488 | 0.1928 | 0.8288 | 2.203 | json |
| t17_x17_u3_b59 | 17 | 17 | 3 | 59 | ![]() |
mod(D,pow(R,flr(R))) | 112318 | 138737696 | o2(x,o2(x,o1(x))) | true | 58551 | 58551 | -0.957 | 0.02148 | 0.9611 | 0.04159 | 0.2039 | -1 | 0.1454 | 1.145 | 1 | 0.3658 | 0.004268 | 0.004132 | 0.009566 | 0.01619 | 1 | -0.00001004 | 0.01749 | 0.01716 | 0.008309 | 0.09115 | 9.529 | 1.37 | 0.202 | 0.4205 | 1 | 1 | 0.006414 | 0.02763 | 0.06963 | 0.1542 | 0.6645 | 1.674 | json |
| t17_x17_u3_b60 | 17 | 17 | 3 | 60 | ![]() |
mod(D,mod(R,flr(R))) | 112319 | 138737697 | o2(x,o2(x,o1(x))) | true | 58559 | 58559 | -0.9291 | 0.03633 | 0.9369 | 0.06752 | 0.2599 | -1 | 0.2645 | 1.265 | 1 | 0.5792 | 0.005799 | 0.006773 | 0.01527 | -0.07748 | 1 | 0.0000267 | 0.02607 | 0.02715 | 0.01234 | 0.1111 | 7.276 | 1.415 | 0.1862 | 0.386 | 1 | 1 | 0.01302 | 0.05596 | 0.1488 | 0.1928 | 0.8288 | 2.203 | json |
| t17_x17_u3_b61 | 17 | 17 | 3 | 61 | ![]() |
mod(D,lrg(R,flr(R))) | 112320 | 138737698 | o2(x,o2(x,o1(x))) | true | 58567 | 58567 | 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_x17_u3_b62 | 17 | 17 | 3 | 62 | ![]() |
mod(D,eql(R,flr(R))) | 112321 | 138737699 | o2(x,o2(x,o1(x))) | true | 58575 | 58575 | -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_x17_u3_b63 | 17 | 17 | 3 | 63 | ![]() |
mod(D,min(R,flr(R))) | 112322 | 138737700 | o2(x,o2(x,o1(x))) | true | 58583 | 58583 | -0.9297 | 0.03516 | 0.9363 | 0.06609 | 0.2571 | -1 | 0.1454 | 1.145 | 1 | 0.5472 | 0.005622 | 0.006765 | 0.01439 | -0.09221 | 1 | 0.00002009 | 0.02568 | 0.02524 | 0.01218 | 0.1104 | 7.669 | 1.415 | 0.1874 | 0.3886 | 1 | 1 | 0.01289 | 0.05485 | 0.1453 | 0.1951 | 0.83 | 2.198 | json |
| t17_x17_u3_b64 | 17 | 17 | 3 | 64 | ![]() |
mod(D,dot(R,flr(R))) | 112323 | 138737701 | o2(x,o2(x,o1(x))) | true | 58591 | 58591 | -0.3537 | 0.3172 | 0.4246 | 0.2374 | 0.4873 | -1 | 0.2729 | 1.273 | 1 | 2.9 | 0.01777 | 0.01323 | 0.05733 | 0.1463 | 1 | -0.00002965 | 0.06192 | 0.07902 | 0.02772 | 0.1665 | 2.904 | 1.415 | 0.1306 | 0.2608 | 1 | 1 | 0.03479 | 0.1472 | 0.4117 | 0.1465 | 0.6199 | 1.734 | json |
| t17_x17_u3_b65 | 17 | 17 | 3 | 65 | ![]() |
mod(D,dst(R,flr(R))) | 112324 | 138737702 | o2(x,o2(x,o1(x))) | true | 58599 | 58599 | 0.0001365 | 0.5007 | 0.1041 | 0.01367 | 0.1169 | -0.2704 | 0.2704 | 0.5408 | 1 | 2.817 | 0.002571 | 0.00002057 | 0.04078 | 0.9841 | 1 | 1.137e-7 | 0.001926 | 0.02223 | 0.0009301 | 0.0305 | 0.7479 | 0.312 | 0.1896 | 0.1409 | 1 | 1 | 0.004208 | 0.02635 | 0.00298 | 0.3078 | 1.927 | 0.218 | json |
| t17_x17_u3_b66 | 17 | 17 | 3 | 66 | ![]() |
lrg(D,add(R,flr(R))) | 112325 | 138737703 | o2(x,o2(x,o1(x))) | true | 58607 | 58607 | 0.5768 | 0.9752 | 0.5768 | 0.1518 | 0.3896 | 0 | 1 | 1 | 1 | 3.35 | 0.01015 | 0.002268 | 0.0614 | 0.6347 | 1 | -0.0000315 | 0.01717 | 0.03834 | 0.00865 | 0.093 | 1.515 | 0.9994 | 0.0818 | 0.1131 | 1 | 1 | 0.01515 | 0.1243 | 0.2844 | 0.09979 | 0.819 | 1.874 | json |
| t17_x17_u3_b67 | 17 | 17 | 3 | 67 | ![]() |
lrg(D,sub(R,flr(R))) | 112326 | 138737704 | o2(x,o2(x,o1(x))) | true | 58615 | 58615 | 0.1281 | 0.6233 | 0.1281 | 0.05107 | 0.226 | 0 | 0.9994 | 0.9994 | 1 | 2.174 | 0.01817 | 0.0005895 | 0.058 | 0.9371 | 1 | -0.00008931 | 0.03611 | 0.06388 | 0.01539 | 0.1241 | 2.139 | 0.9994 | 0.3672 | 0.7069 | 1 | 1 | 0.01752 | 0.06396 | 0.08099 | 0.343 | 1.252 | 1.586 | json |
| t17_x17_u3_b68 | 17 | 17 | 3 | 68 | ![]() |
lrg(D,mlt(R,flr(R))) | 112327 | 138737705 | o2(x,o2(x,o1(x))) | true | 58623 | 58623 | 0.3187 | 0.9084 | 0.3187 | 0.1151 | 0.3393 | 0 | 0.9997 | 0.9997 | 1 | 3.31 | 0.03816 | 0.001041 | 0.09835 | 0.9469 | 1 | -0.0002688 | 0.07222 | 0.1018 | 0.02953 | 0.1718 | 1.747 | 0.9994 | 0.3406 | 0.6274 | 1 | 1 | 0.04161 | 0.1641 | 0.1276 | 0.3615 | 1.426 | 1.108 | json |
| t17_x17_u3_b69 | 17 | 17 | 3 | 69 | ![]() |
lrg(D,div(R,flr(R))) | 112328 | 138737706 | o2(x,o2(x,o1(x))) | true | 58631 | 58631 | 0.07557 | 0.4151 | 0.07557 | 0.03194 | 0.1787 | 0 | 0.9994 | 0.9994 | 1 | 1.507 | 0.01046 | 0.0004543 | 0.03525 | 0.9167 | 1 | -0.0002673 | 0.02107 | 0.03761 | 0.009666 | 0.09832 | 2.789 | 0.9994 | 0.3415 | 0.6597 | 1 | 1 | 0.01147 | 0.04318 | 0.05826 | 0.3591 | 1.352 | 1.824 | json |
| t17_x17_u3_b70 | 17 | 17 | 3 | 70 | ![]() |
lrg(D,pow(R,flr(R))) | 112329 | 138737707 | o2(x,o2(x,o1(x))) | true | 58639 | 58639 | 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_x17_u3_b71 | 17 | 17 | 3 | 71 | ![]() |
lrg(D,mod(R,flr(R))) | 112330 | 138737708 | o2(x,o2(x,o1(x))) | true | 58647 | 58647 | 0.924 | 1 | 0.924 | 0.03218 | 0.1794 | 0.000582 | 1 | 0.9994 | 1 | 1.51 | 0.01071 | 0.0004527 | 0.03491 | 0.9189 | 1 | 0.00001735 | 0.0214 | 0.038 | 0.009947 | 0.09974 | 2.857 | 0.9994 | 0.3469 | 0.6649 | 1 | 1 | 0.01183 | 0.04431 | 0.06024 | 0.3675 | 1.377 | 1.872 | json |
| t17_x17_u3_b72 | 17 | 17 | 3 | 72 | ![]() |
lrg(D,lrg(R,flr(R))) | 112331 | 138737709 | o2(x,o2(x,o1(x))) | true | 58655 | 58655 | 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_x17_u3_b73 | 17 | 17 | 3 | 73 | ![]() |
lrg(D,eql(R,flr(R))) | 112332 | 138737710 | o2(x,o2(x,o1(x))) | true | 58663 | 58663 | 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_x17_u3_b74 | 17 | 17 | 3 | 74 | ![]() |
lrg(D,min(R,flr(R))) | 112333 | 138737711 | o2(x,o2(x,o1(x))) | true | 58671 | 58671 | 0.7607 | 1 | 0.7607 | 0.1075 | 0.3279 | 0.000291 | 1 | 0.9997 | 1 | 2.776 | 0.02734 | 0.00118 | 0.06882 | 0.9172 | 1 | 0.00001639 | 0.05101 | 0.06655 | 0.02378 | 0.1542 | 2.241 | 0.9997 | 0.2652 | 0.4745 | 1 | 1 | 0.03061 | 0.1388 | 0.1417 | 0.2847 | 1.291 | 1.318 | json |
| t17_x17_u3_b75 | 17 | 17 | 3 | 75 | ![]() |
lrg(D,dot(R,flr(R))) | 112334 | 138737712 | o2(x,o2(x,o1(x))) | true | 58679 | 58679 | 0.1129 | 0.5328 | 0.1129 | 0.04952 | 0.2225 | 0 | 0.9997 | 0.9997 | 1 | 1.936 | 0.0147 | 0.0006553 | 0.04747 | 0.9146 | 1 | -0.00004637 | 0.02885 | 0.0501 | 0.0131 | 0.1145 | 2.411 | 0.9994 | 0.31 | 0.5827 | 1 | 1 | 0.01768 | 0.07217 | 0.08763 | 0.3571 | 1.457 | 1.77 | json |
| t17_x17_u3_b76 | 17 | 17 | 3 | 76 | ![]() |
lrg(D,dst(R,flr(R))) | 112335 | 138737713 | o2(x,o2(x,o1(x))) | true | 58687 | 58687 | 0.01473 | 0.1775 | 0.01473 | 0.004735 | 0.06881 | 0 | 0.97 | 0.97 | 1 | 0.4778 | 0.002173 | 0.00006872 | 0.009842 | 0.9387 | 1 | -0.00002969 | 0.004616 | 0.0118 | 0.002145 | 0.04631 | 4.705 | 0.97 | 0.4734 | 0.9749 | 1 | 1 | 0.002408 | 0.006964 | 0.009807 | 0.5085 | 1.471 | 2.071 | json |
| t17_x17_u3_b77 | 17 | 17 | 3 | 77 | ![]() |
eql(D,add(R,flr(R))) | 112336 | 138737714 | o2(x,o2(x,o1(x))) | true | 58695 | 58695 | 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_x17_u3_b78 | 17 | 17 | 3 | 78 | ![]() |
eql(D,sub(R,flr(R))) | 112337 | 138737715 | o2(x,o2(x,o1(x))) | true | 58703 | 58703 | 0.000082 | 0.0002441 | 0.000082 | 0.00004315 | 0.006569 | 0 | 0.6715 | 0.6715 | 1 | 0.003091 | 0.00006086 | 6.316e-7 | 0.000129 | 0.9795 | 0 | 2.395e-7 | 0.0001845 | 0.0002541 | 0.00006148 | 0.007841 | 60.78 | 0.6519 | 1.425 | 4.276 | 1 | 1 | 0 | 0 | 0.00003293 | 0 | 0 | 0.7631 | json |
| t17_x17_u3_b79 | 17 | 17 | 3 | 79 | ![]() |
eql(D,mlt(R,flr(R))) | 112338 | 138737716 | o2(x,o2(x,o1(x))) | true | 58711 | 58711 | 0.00004008 | 0.0002289 | 0.00004008 | 0.00001031 | 0.00321 | 0 | 0.3282 | 0.3282 | 1 | 0.002722 | 0.00001454 | 1.509e-7 | 0.00006305 | 0.9795 | 0 | 1.17e-7 | 0.00004407 | 0.0001242 | 0.00001469 | 0.003832 | 60.78 | 0.3186 | 1.425 | 4.276 | 1 | 1 | 0 | 0 | 0.000007865 | 0 | 0 | 0.7631 | json |
| t17_x17_u3_b80 | 17 | 17 | 3 | 80 | ![]() |
eql(D,div(R,flr(R))) | 112339 | 138737717 | o2(x,o2(x,o1(x))) | true | 58719 | 58719 | 0.00004008 | 0.0002289 | 0.00004008 | 0.00001031 | 0.00321 | 0 | 0.3282 | 0.3282 | 1 | 0.002722 | 0.00001454 | 1.509e-7 | 0.00006305 | 0.9795 | 0 | 1.17e-7 | 0.00004407 | 0.0001242 | 0.00001469 | 0.003832 | 60.78 | 0.3186 | 1.425 | 4.276 | 1 | 1 | 0 | 0 | 0.000007865 | 0 | 0 | 0.7631 | json |
| t17_x17_u3_b81 | 17 | 17 | 3 | 81 | ![]() |
eql(D,pow(R,flr(R))) | 112340 | 138737718 | o2(x,o2(x,o1(x))) | true | 58727 | 58727 | 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_x17_u3_b82 | 17 | 17 | 3 | 82 | ![]() |
eql(D,mod(R,flr(R))) | 112341 | 138737719 | o2(x,o2(x,o1(x))) | true | 58735 | 58735 | 0.00004008 | 0.0002289 | 0.00004008 | 0.00001031 | 0.00321 | 0 | 0.3282 | 0.3282 | 1 | 0.002722 | 0.00001454 | 1.509e-7 | 0.00006305 | 0.9795 | 0 | 1.17e-7 | 0.00004407 | 0.0001242 | 0.00001469 | 0.003832 | 60.78 | 0.3186 | 1.425 | 4.276 | 1 | 1 | 0 | 0 | 0.000007865 | 0 | 0 | 0.7631 | json |
| t17_x17_u3_b83 | 17 | 17 | 3 | 83 | ![]() |
eql(D,lrg(R,flr(R))) | 112342 | 138737720 | o2(x,o2(x,o1(x))) | true | 58743 | 58743 | 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_x17_u3_b84 | 17 | 17 | 3 | 84 | ![]() |
eql(D,eql(R,flr(R))) | 112343 | 138737721 | o2(x,o2(x,o1(x))) | true | 58751 | 58751 | 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_x17_u3_b85 | 17 | 17 | 3 | 85 | ![]() |
eql(D,min(R,flr(R))) | 112344 | 138737722 | o2(x,o2(x,o1(x))) | true | 58759 | 58759 | 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_x17_u3_b86 | 17 | 17 | 3 | 86 | ![]() |
eql(D,dot(R,flr(R))) | 112345 | 138737723 | o2(x,o2(x,o1(x))) | true | 58767 | 58767 | 0.00004008 | 0.0002289 | 0.00004008 | 0.00001031 | 0.00321 | 0 | 0.3282 | 0.3282 | 1 | 0.002722 | 0.00001454 | 1.509e-7 | 0.00006305 | 0.9795 | 0 | 1.17e-7 | 0.00004407 | 0.0001242 | 0.00001469 | 0.003832 | 60.78 | 0.3186 | 1.425 | 4.276 | 1 | 1 | 0 | 0 | 0.000007865 | 0 | 0 | 0.7631 | json |
| t17_x17_u3_b87 | 17 | 17 | 3 | 87 | ![]() |
eql(D,dst(R,flr(R))) | 112346 | 138737724 | o2(x,o2(x,o1(x))) | true | 58775 | 58775 | 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_x17_u3_b88 | 17 | 17 | 3 | 88 | ![]() |
min(D,add(R,flr(R))) | 112347 | 138737725 | o2(x,o2(x,o1(x))) | true | 58783 | 58783 | -0.6101 | 0.1178 | 0.6284 | 0.1775 | 0.4213 | -1 | 0.1454 | 1.145 | 1 | 3.24 | 0.003979 | 0.00372 | 0.05949 | 0.03366 | 1 | 0.00009198 | 0.001499 | 0.02064 | 0.00416 | 0.0645 | 1.084 | 0.2614 | 0.04338 | 0.008447 | 1 | 1 | 0.01468 | 0.1536 | 0.316 | 0.08273 | 0.8652 | 1.781 | json |
| t17_x17_u3_b89 | 17 | 17 | 3 | 89 | ![]() |
min(D,sub(R,flr(R))) | 112348 | 138737726 | o2(x,o2(x,o1(x))) | true | 58791 | 58791 | -0.02639 | 0.4386 | 0.1044 | 0.01333 | 0.1155 | -0.2726 | 0.1454 | 0.418 | 1 | 2.768 | 0.001862 | 0.00002573 | 0.03894 | 0.9727 | 1 | 0.00003906 | 0.0003285 | 0.01564 | 0.0003719 | 0.01929 | 0.4953 | 0.0851 | 0.1416 | 0.02465 | 1 | 1 | 0.003636 | 0.02528 | 0.003642 | 0.2728 | 1.896 | 0.2732 | json |
| t17_x17_u3_b90 | 17 | 17 | 3 | 90 | ![]() |
min(D,mlt(R,flr(R))) | 112349 | 138737727 | o2(x,o2(x,o1(x))) | true | 58799 | 58799 | -0.08493 | 0.2451 | 0.12 | 0.01359 | 0.1166 | -0.2729 | 0.1454 | 0.4183 | 1 | 2.879 | 0.001635 | 0.00007065 | 0.03718 | 0.9171 | 1 | 0.0002041 | 0.0002966 | 0.01469 | 0.0003232 | 0.01798 | 0.4836 | 0.08498 | 0.1255 | 0.02182 | 1 | 1 | 0.003323 | 0.02391 | 0.00839 | 0.2445 | 1.759 | 0.6174 | json |
| t17_x17_u3_b91 | 17 | 17 | 3 | 91 | ![]() |
min(D,div(R,flr(R))) | 112350 | 138737728 | o2(x,o2(x,o1(x))) | true | 58807 | 58807 | -0.01538 | 0.4642 | 0.09999 | 0.01235 | 0.1112 | -0.2719 | 0.1454 | 0.4173 | 1 | 2.703 | 0.00177 | 0.00001956 | 0.03789 | 0.9781 | 1 | 0.00001848 | 0.0002988 | 0.0152 | 0.0003545 | 0.01883 | 0.4969 | 0.08496 | 0.1448 | 0.02419 | 1 | 1 | 0.003479 | 0.02409 | 0.002327 | 0.2816 | 1.95 | 0.1883 | json |
| t17_x17_u3_b92 | 17 | 17 | 3 | 92 | ![]() |
min(D,pow(R,flr(R))) | 112351 | 138737729 | o2(x,o2(x,o1(x))) | true | 58815 | 58815 | 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_x17_u3_b93 | 17 | 17 | 3 | 93 | ![]() |
min(D,mod(R,flr(R))) | 112352 | 138737730 | o2(x,o2(x,o1(x))) | true | 58823 | 58823 | -0.2683 | 0.1865 | 0.3 | 0.07656 | 0.2767 | -0.9989 | 0.1454 | 1.144 | 1 | 4.044 | 0.001696 | 0.001067 | 0.04513 | 0.2278 | 1 | -0.000001697 | 0.0002563 | 0.01308 | 0.0007257 | 0.02694 | 0.5969 | 0.1528 | 0.03609 | 0.003348 | 1 | 1 | 0.005137 | 0.05915 | 0.1236 | 0.0671 | 0.7726 | 1.614 | json |
| t17_x17_u3_b94 | 17 | 17 | 3 | 94 | ![]() |
min(D,lrg(R,flr(R))) | 112353 | 138737731 | o2(x,o2(x,o1(x))) | true | 58831 | 58831 | 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_x17_u3_b95 | 17 | 17 | 3 | 95 | ![]() |
min(D,eql(R,flr(R))) | 112354 | 138737732 | o2(x,o2(x,o1(x))) | true | 58839 | 58839 | -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_x17_u3_b96 | 17 | 17 | 3 | 96 | ![]() |
min(D,min(R,flr(R))) | 112355 | 138737733 | o2(x,o2(x,o1(x))) | true | 58847 | 58847 | -0.586 | 0 | 0.586 | 0.1259 | 0.3548 | -1 | -0.000282 | 0.9997 | 1 | 3.621 | 0.002296 | 0.001949 | 0.05367 | 0.08161 | 1 | 0.0001413 | 0.0003076 | 0.01335 | 0.001365 | 0.03695 | 0.6884 | 0.1169 | 0.03373 | 0.002444 | 1 | 1 | 0.008325 | 0.102 | 0.231 | 0.06614 | 0.8103 | 1.835 | json |
| t17_x17_u3_b97 | 17 | 17 | 3 | 97 | ![]() |
min(D,dot(R,flr(R))) | 112356 | 138737734 | o2(x,o2(x,o1(x))) | true | 58855 | 58855 | -0.02633 | 0.4316 | 0.1026 | 0.01306 | 0.1143 | -0.2729 | 0.1454 | 0.4183 | 1 | 2.791 | 0.001731 | 0.00003914 | 0.03771 | 0.9558 | 1 | 0.00002488 | 0.0002961 | 0.01514 | 0.000348 | 0.01865 | 0.4946 | 0.08493 | 0.1355 | 0.02267 | 1 | 1 | 0.003407 | 0.02446 | 0.005258 | 0.2608 | 1.872 | 0.4026 | json |
| t17_x17_u3_b98 | 17 | 17 | 3 | 98 | ![]() |
min(D,dst(R,flr(R))) | 112357 | 138737735 | o2(x,o2(x,o1(x))) | true | 58863 | 58863 | -0.002228 | 0.496 | 0.09573 | 0.01118 | 0.1057 | -0.2438 | 0.1454 | 0.3892 | 1 | 2.582 | 0.001681 | 0.000001867 | 0.03663 | 0.9978 | 1 | 0.000006817 | 0.0002686 | 0.01482 | 0.0003419 | 0.01849 | 0.5047 | 0.08481 | 0.1505 | 0.02401 | 1 | 1 | 0.003259 | 0.02256 | 0.0002309 | 0.2915 | 2.017 | 0.02065 | json |
| t17_x17_u3_b99 | 17 | 17 | 3 | 99 | ![]() |
dot(D,add(R,flr(R))) | 112358 | 138737736 | o2(x,o2(x,o1(x))) | true | 58871 | 58871 | 0.007535 | 0.5125 | 0.2575 | 0.1028 | 0.3206 | -0.926 | 1 | 1.926 | 1 | 4.398 | 0.003665 | 0.00359 | 0.07759 | 0.01034 | 1 | -0.0002114 | 0.0007733 | 0.02261 | 0.001235 | 0.03515 | 0.453 | 0.2243 | 0.07061 | 0.007525 | 1 | 1 | 0.01365 | 0.1506 | 0.2037 | 0.1328 | 1.466 | 1.983 | json |
| t17_x17_u3_b100 | 17 | 17 | 3 | 100 | ![]() |
dot(D,sub(R,flr(R))) | 112359 | 138737737 | o2(x,o2(x,o1(x))) | true | 58879 | 58879 | 0.0008341 | 0.5024 | 0.09495 | 0.01385 | 0.1177 | -0.4062 | 0.384 | 0.7903 | 1 | 2.975 | 0.000702 | 0.0006957 | 0.03422 | 0.004542 | 1 | -0.00003144 | 0.0001882 | 0.01118 | 0.000227 | 0.01507 | 0.4403 | 0.08831 | 0.1009 | 0.01359 | 1 | 1 | 0.002683 | 0.02264 | 0.01425 | 0.1937 | 1.635 | 1.029 | json |
| t17_x17_u3_b101 | 17 | 17 | 3 | 101 | ![]() |
dot(D,mlt(R,flr(R))) | 112360 | 138737738 | o2(x,o2(x,o1(x))) | true | 58887 | 58887 | -0.002834 | 0.4775 | 0.07567 | 0.01015 | 0.1007 | -0.4052 | 0.3678 | 0.773 | 1 | 2.75 | 0.0003984 | 0.0003946 | 0.02368 | 0.004813 | 1 | 0.00008167 | 0.00009147 | 0.007334 | 0.0002323 | 0.01524 | 0.6436 | 0.08078 | 0.07815 | 0.009013 | 1 | 1 | 0.001395 | 0.0144 | 0.01678 | 0.1375 | 1.419 | 1.654 | json |
| t17_x17_u3_b102 | 17 | 17 | 3 | 102 | ![]() |
dot(D,div(R,flr(R))) | 112361 | 138737739 | o2(x,o2(x,o1(x))) | true | 58895 | 58895 | -0.9925 | 0.001999 | 0.9927 | 0.007121 | 0.08439 | -1 | 0.0957 | 1.096 | 1 | 0.08179 | 0.0006771 | 0.0009587 | 0.001813 | -0.1722 | 1 | 0.000003019 | 0.003466 | 0.003379 | 0.001632 | 0.0404 | 22.29 | 1.386 | 0.2297 | 0.4867 | 1 | 1 | 0.001426 | 0.006189 | 0.01535 | 0.2002 | 0.8691 | 2.155 | json |
| t17_x17_u3_b103 | 17 | 17 | 3 | 103 | ![]() |
dot(D,pow(R,flr(R))) | 112362 | 138737740 | o2(x,o2(x,o1(x))) | true | 58903 | 58903 | -0.9961 | 0.001831 | 0.9966 | 0.003965 | 0.06297 | -1 | 0.2908 | 1.291 | 1 | 0.04924 | 0.0005155 | 0.0005155 | 0.001185 | -2.258e-7 | 1 | -1.877e-11 | 0.00217 | 0.002074 | 0.001029 | 0.03207 | 27.06 | 1.327 | 0.26 | 0.5473 | 1 | 1 | 0.001832 | 0.007398 | 0.01401 | 0.4621 | 1.866 | 3.534 | json |
| t17_x17_u3_b104 | 17 | 17 | 3 | 104 | ![]() |
dot(D,mod(R,flr(R))) | 112363 | 138737741 | o2(x,o2(x,o1(x))) | true | 58911 | 58911 | -0.9918 | 0.005814 | 0.9927 | 0.008468 | 0.09202 | -1 | 0.1568 | 1.157 | 1 | 0.08179 | 0.0008474 | 0.0009409 | 0.001889 | -0.0523 | 1 | -0.000003019 | 0.00375 | 0.003521 | 0.001784 | 0.04224 | 22.37 | 1.442 | 0.2112 | 0.4428 | 1 | 1 | 0.001596 | 0.007238 | 0.01811 | 0.1885 | 0.8548 | 2.138 | json |
| t17_x17_u3_b105 | 17 | 17 | 3 | 105 | ![]() |
dot(D,lrg(R,flr(R))) | 112364 | 138737742 | o2(x,o2(x,o1(x))) | true | 58919 | 58919 | -3.658e-9 | 0.4688 | 0.1187 | 0.02164 | 0.1471 | -0.2908 | 0.2908 | 0.5817 | 1 | 3.165 | 0.001632 | 0.001632 | 0.05456 | 1.783e-7 | 1 | -9.255e-10 | 0.0005126 | 0.01826 | 0.0002881 | 0.01697 | 0.3111 | 0.08757 | 0.1508 | 0.02368 | 1 | 1 | 0.006301 | 0.04366 | 0 | 0.2911 | 2.017 | 0 | json |
| t17_x17_u3_b106 | 17 | 17 | 3 | 106 | ![]() |
dot(D,eql(R,flr(R))) | 112365 | 138737743 | o2(x,o2(x,o1(x))) | true | 58927 | 58927 | 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_x17_u3_b107 | 17 | 17 | 3 | 107 | ![]() |
dot(D,min(R,flr(R))) | 112366 | 138737744 | o2(x,o2(x,o1(x))) | true | 58935 | 58935 | 0.003352 | 0.4986 | 0.1306 | 0.02712 | 0.1647 | -0.4991 | 0.4776 | 0.9766 | 1 | 3.438 | 0.001159 | 0.001107 | 0.04238 | 0.02275 | 1 | -0.00008999 | 0.000274 | 0.01325 | 0.0004701 | 0.02168 | 0.5116 | 0.1179 | 0.08356 | 0.01011 | 1 | 1 | 0.004181 | 0.04146 | 0.04545 | 0.1542 | 1.529 | 1.676 | json |
| t17_x17_u3_b108 | 17 | 17 | 3 | 108 | ![]() |
dot(D,dot(R,flr(R))) | 112367 | 138737745 | o2(x,o2(x,o1(x))) | true | 58943 | 58943 | -0.003283 | 0.4974 | 0.1401 | 0.03582 | 0.1893 | -0.854 | 0.7771 | 1.631 | 1 | 3.609 | 0.001656 | 0.00171 | 0.04994 | -0.01605 | 1 | 0.00009602 | 0.0004438 | 0.01601 | 0.0008706 | 0.02951 | 0.5908 | 0.1891 | 0.09393 | 0.01239 | 1 | 1 | 0.006237 | 0.0549 | 0.04227 | 0.1741 | 1.532 | 1.18 | json |
| t17_x17_u3_b109 | 17 | 17 | 3 | 109 | ![]() |
dot(D,dst(R,flr(R))) | 112368 | 138737746 | o2(x,o2(x,o1(x))) | true | 58951 | 58951 | 0.0003601 | 0.497 | 0.1304 | 0.02727 | 0.1651 | -0.5241 | 0.5411 | 1.065 | 1 | 3.444 | 0.001761 | 0.001774 | 0.05545 | -0.003647 | 1 | -0.0000178 | 0.0005312 | 0.01846 | 0.0004602 | 0.02145 | 0.3869 | 0.1328 | 0.1296 | 0.01948 | 1 | 1 | 0.006836 | 0.05086 | 0.01372 | 0.2507 | 1.865 | 0.5033 | json |
| t17_x17_u3_b110 | 17 | 17 | 3 | 110 | ![]() |
dst(D,add(R,flr(R))) | 112369 | 138737747 | o2(x,o2(x,o1(x))) | true | 58959 | 58959 | 0.9971 | 1 | 0.9971 | 0.001112 | 0.03334 | 0.07236 | 1 | 0.9276 | 1 | 0.1149 | 0.00007584 | 0.00007644 | 0.001332 | -0.003948 | 1 | 0.000005805 | 0.00008298 | 0.001047 | 0.0001506 | 0.01227 | 9.215 | 0.2542 | 0.137 | 0.07465 | 1 | 1 | 0.0001457 | 0.0008944 | 0.001384 | 0.131 | 0.8047 | 1.245 | json |
| t17_x17_u3_b111 | 17 | 17 | 3 | 111 | ![]() |
dst(D,sub(R,flr(R))) | 112370 | 138737748 | o2(x,o2(x,o1(x))) | true | 58967 | 58967 | 0.9376 | 1 | 0.9376 | 0.01549 | 0.1245 | 0.07224 | 1 | 0.9278 | 1 | 1.561 | 0.0006526 | 0.0006373 | 0.01922 | 0.01189 | 1 | -0.0001045 | 0.0004111 | 0.009614 | 0.0009207 | 0.03034 | 1.579 | 0.1852 | 0.08326 | 0.02654 | 1 | 1 | 0.002444 | 0.01996 | 0.02798 | 0.1578 | 1.288 | 1.806 | json |
| t17_x17_u3_b112 | 17 | 17 | 3 | 112 | ![]() |
dst(D,mlt(R,flr(R))) | 112371 | 138737749 | o2(x,o2(x,o1(x))) | true | 58975 | 58975 | 0.7547 | 1 | 0.7547 | 0.05109 | 0.226 | 0.03679 | 1 | 0.9632 | 1 | 3.323 | 0.00156 | 0.001705 | 0.04528 | -0.04418 | 1 | -0.0003135 | 0.0005735 | 0.0156 | 0.001215 | 0.03485 | 0.7696 | 0.1978 | 0.0639 | 0.01122 | 1 | 1 | 0.006442 | 0.05913 | 0.07591 | 0.1261 | 1.157 | 1.486 | json |
| t17_x17_u3_b113 | 17 | 17 | 3 | 113 | ![]() |
dst(D,div(R,flr(R))) | 112372 | 138737750 | o2(x,o2(x,o1(x))) | true | 58983 | 58983 | -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.004027 | 0.06346 | 31.77 | 2.828 | 0.259 | 0.5504 | 1 | 1 | 0.005983 | 0.02659 | 0.05407 | 0.3844 | 1.709 | 3.474 | json |
| t17_x17_u3_b114 | 17 | 17 | 3 | 114 | ![]() |
dst(D,pow(R,flr(R))) | 112373 | 138737751 | o2(x,o2(x,o1(x))) | true | 58991 | 58991 | -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_x17_u3_b115 | 17 | 17 | 3 | 115 | ![]() |
dst(D,mod(R,flr(R))) | 112374 | 138737752 | o2(x,o2(x,o1(x))) | true | 58999 | 58999 | -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_x17_u3_b116 | 17 | 17 | 3 | 116 | ![]() |
dst(D,lrg(R,flr(R))) | 112375 | 138737753 | o2(x,o2(x,o1(x))) | true | 59007 | 59007 | 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_x17_u3_b117 | 17 | 17 | 3 | 117 | ![]() |
dst(D,eql(R,flr(R))) | 112376 | 138737754 | o2(x,o2(x,o1(x))) | true | 59015 | 59015 | 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 |
| t17_x17_u3_b118 | 17 | 17 | 3 | 118 | ![]() |
dst(D,min(R,flr(R))) | 112377 | 138737755 | o2(x,o2(x,o1(x))) | true | 59023 | 59023 | 0.9505 | 1 | 0.9505 | 0.02227 | 0.1492 | 0.04446 | 1 | 0.9555 | 1 | 1.11 | 0.0007928 | 0.0008616 | 0.01611 | -0.04156 | 1 | -0.00002423 | 0.0004578 | 0.007699 | 0.001395 | 0.03735 | 2.319 | 0.2172 | 0.07428 | 0.02056 | 1 | 1 | 0.003556 | 0.03258 | 0.04559 | 0.1597 | 1.463 | 2.047 | json |
| t17_x17_u3_b119 | 17 | 17 | 3 | 119 | ![]() |
dst(D,dot(R,flr(R))) | 112378 | 138737756 | o2(x,o2(x,o1(x))) | true | 59031 | 59031 | 0.9059 | 1 | 0.9059 | 0.03695 | 0.1922 | 0.04136 | 1 | 0.9586 | 1 | 1.727 | 0.00141 | 0.001541 | 0.02614 | -0.04455 | 1 | -0.0001377 | 0.001017 | 0.0128 | 0.002268 | 0.04763 | 1.822 | 0.3079 | 0.07986 | 0.02753 | 1 | 1 | 0.005995 | 0.04832 | 0.06006 | 0.1622 | 1.308 | 1.625 | json |
| t17_x17_u3_b120 | 17 | 17 | 3 | 120 | ![]() |
dst(D,dst(R,flr(R))) | 112379 | 138737757 | o2(x,o2(x,o1(x))) | true | 59039 | 59039 | 0.9925 | 1 | 0.9925 | 0.002418 | 0.04917 | 0.1301 | 1 | 0.8699 | 1 | 0.2762 | 0.0001744 | 0.0001617 | 0.003385 | 0.03794 | 1 | -0.000005766 | 0.0001807 | 0.002469 | 0.0003246 | 0.01802 | 5.322 | 0.2325 | 0.139 | 0.07472 | 1 | 1 | 0.000621 | 0.004194 | 0.004855 | 0.2569 | 1.735 | 2.008 | json |
| t17_x17_u4_b0 | 17 | 17 | 4 | 0 | ![]() |
add(D,add(R,cil(R))) | 112380 | 138737838 | o2(x,o2(x,o1(x))) | true | 59047 | 59047 | 0.3333 | 0.6315 | 0.647 | 0.4261 | 0.6528 | -1 | 1 | 2 | 1 | 4.035 | 0.007655 | 0.007995 | 0.08769 | -0.02173 | 1 | -0.00009737 | 0.002691 | 0.02797 | 0.007962 | 0.08923 | 1.018 | 0.4014 | 0.03673 | 0.006315 | 1 | 1 | 0.03032 | 0.3318 | 0.7422 | 0.07114 | 0.7786 | 1.742 | json |
| t17_x17_u4_b1 | 17 | 17 | 4 | 1 | ![]() |
add(D,sub(R,cil(R))) | 112381 | 138737839 | o2(x,o2(x,o1(x))) | true | 59055 | 59055 | -0.4728 | 0.01532 | 0.474 | 0.06123 | 0.2474 | -1 | 0.1249 | 1.125 | 1 | 3.954 | 0.002346 | 0.0006815 | 0.04808 | 0.5498 | 1 | 0.00004445 | 0.000356 | 0.01517 | 0.0007153 | 0.02674 | 0.5562 | 0.1676 | 0.04944 | 0.005814 | 1 | 1 | 0.005652 | 0.05405 | 0.08471 | 0.09231 | 0.8826 | 1.383 | json |
| t17_x17_u4_b2 | 17 | 17 | 4 | 2 | ![]() |
add(D,mlt(R,cil(R))) | 112382 | 138737840 | o2(x,o2(x,o1(x))) | true | 59063 | 59063 | 0.2629 | 0.7982 | 0.2944 | 0.08081 | 0.2843 | -0.1454 | 1 | 1.145 | 1 | 4.039 | 0.002612 | 0.001016 | 0.05269 | 0.4401 | 1 | 0.00001342 | 0.0003809 | 0.01574 | 0.0008525 | 0.0292 | 0.5542 | 0.1677 | 0.0449 | 0.004714 | 1 | 1 | 0.007185 | 0.07348 | 0.1375 | 0.08891 | 0.9093 | 1.702 | json |
| t17_x17_u4_b3 | 17 | 17 | 4 | 3 | ![]() |
add(D,div(R,cil(R))) | 112383 | 138737841 | o2(x,o2(x,o1(x))) | true | 59071 | 59071 | -0.8156 | 0.1014 | 0.9813 | 0.3076 | 0.5546 | -1 | 1 | 2 | 1 | 0.7255 | 0.03417 | 0.03871 | 0.04041 | -0.06231 | 1 | -7.242e-7 | 0.1539 | 0.07838 | 0.07125 | 0.2669 | 6.605 | 2.828 | 0.237 | 0.5005 | 1 | 1 | 0.06957 | 0.2899 | 0.6389 | 0.2262 | 0.9425 | 2.077 | json |
| t17_x17_u4_b4 | 17 | 17 | 4 | 4 | ![]() |
add(D,pow(R,cil(R))) | 112384 | 138737842 | o2(x,o2(x,o1(x))) | true | 59079 | 59079 | 0.7641 | 0.9965 | 0.7644 | 0.05595 | 0.2365 | -0.1112 | 1 | 1.111 | 1 | 3.331 | 0.002026 | 0.0008356 | 0.04249 | 0.4159 | 1 | 0.0000689 | 0.0004613 | 0.01518 | 0.001056 | 0.0325 | 0.7649 | 0.168 | 0.05113 | 0.008245 | 1 | 1 | 0.005029 | 0.04819 | 0.08124 | 0.08988 | 0.8613 | 1.452 | json |
| t17_x17_u4_b5 | 17 | 17 | 4 | 5 | ![]() |
add(D,mod(R,cil(R))) | 112385 | 138737843 | o2(x,o2(x,o1(x))) | true | 59087 | 59087 | -0.9327 | 0.04285 | 0.9813 | 0.1028 | 0.3207 | -1 | 1 | 2 | 1 | 0.4183 | 0.01037 | 0.01039 | 0.01465 | -0.001197 | 1 | -7.243e-7 | 0.04327 | 0.02645 | 0.02056 | 0.1434 | 9.788 | 2.596 | 0.2019 | 0.4208 | 1 | 1 | 0.01647 | 0.07133 | 0.1735 | 0.1602 | 0.6937 | 1.687 | json |
| t17_x17_u4_b6 | 17 | 17 | 4 | 6 | ![]() |
add(D,lrg(R,cil(R))) | 112386 | 138737844 | o2(x,o2(x,o1(x))) | true | 59095 | 59095 | 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_x17_u4_b7 | 17 | 17 | 4 | 7 | ![]() |
add(D,eql(R,cil(R))) | 112387 | 138737845 | o2(x,o2(x,o1(x))) | true | 59103 | 59103 | 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_x17_u4_b8 | 17 | 17 | 4 | 8 | ![]() |
add(D,min(R,cil(R))) | 112388 | 138737846 | o2(x,o2(x,o1(x))) | true | 59111 | 59111 | 0.009078 | 0.4986 | 0.4013 | 0.2304 | 0.48 | -1 | 1 | 2 | 1 | 4.899 | 0.004471 | 0.003165 | 0.07546 | 0.1709 | 1 | 0.00002869 | 0.0006263 | 0.01935 | 0.001942 | 0.04407 | 0.584 | 0.2845 | 0.03314 | 0.002718 | 1 | 1 | 0.01508 | 0.1746 | 0.3904 | 0.06546 | 0.7577 | 1.694 | json |
| t17_x17_u4_b9 | 17 | 17 | 4 | 9 | ![]() |
add(D,dot(R,cil(R))) | 112389 | 138737847 | o2(x,o2(x,o1(x))) | true | 59119 | 59119 | 0.6718 | 0.9631 | 0.6763 | 0.1067 | 0.3267 | -0.1454 | 1 | 1.145 | 1 | 3.577 | 0.002994 | 0.001715 | 0.05044 | 0.2717 | 1 | 0.00001216 | 0.0009767 | 0.01796 | 0.002165 | 0.04653 | 0.9224 | 0.2704 | 0.04412 | 0.009151 | 1 | 1 | 0.008608 | 0.08435 | 0.1839 | 0.08065 | 0.7903 | 1.724 | json |
| t17_x17_u4_b10 | 17 | 17 | 4 | 10 | ![]() |
add(D,dst(R,cil(R))) | 112390 | 138737848 | o2(x,o2(x,o1(x))) | true | 59127 | 59127 | 0.8784 | 1 | 0.8784 | 0.025 | 0.1581 | 0.202 | 1 | 0.798 | 1 | 2.403 | 0.001252 | 0.0003894 | 0.0276 | 0.5255 | 1 | -0.00001763 | 0.0004256 | 0.01235 | 0.0008801 | 0.02967 | 1.075 | 0.1687 | 0.06568 | 0.01703 | 1 | 1 | 0.003286 | 0.0278 | 0.04534 | 0.1315 | 1.112 | 1.814 | json |
| t17_x17_u4_b11 | 17 | 17 | 4 | 11 | ![]() |
sub(D,add(R,cil(R))) | 112391 | 138737849 | o2(x,o2(x,o1(x))) | true | 59135 | 59135 | -0.3337 | 0.3685 | 0.6456 | 0.4243 | 0.6514 | -1 | 1 | 2 | 1 | 4.033 | 0.007555 | 0.007986 | 0.08708 | -0.02774 | 1 | 0.000136 | 0.002677 | 0.02774 | 0.007955 | 0.08919 | 1.024 | 0.3729 | 0.03663 | 0.006309 | 1 | 1 | 0.0299 | 0.328 | 0.7426 | 0.07046 | 0.773 | 1.75 | json |
| t17_x17_u4_b12 | 17 | 17 | 4 | 12 | ![]() |
sub(D,sub(R,cil(R))) | 112392 | 138737850 | o2(x,o2(x,o1(x))) | true | 59143 | 59143 | 0.4727 | 0.9841 | 0.4739 | 0.06074 | 0.2464 | -0.1262 | 1 | 1.126 | 1 | 3.954 | 0.002324 | 0.0006812 | 0.04806 | 0.5467 | 1 | -0.00004673 | 0.0003526 | 0.0151 | 0.0006957 | 0.02638 | 0.5488 | 0.1657 | 0.04948 | 0.005806 | 1 | 1 | 0.005639 | 0.05375 | 0.08461 | 0.09285 | 0.885 | 1.393 | json |
| t17_x17_u4_b13 | 17 | 17 | 4 | 13 | ![]() |
sub(D,mlt(R,cil(R))) | 112393 | 138737851 | o2(x,o2(x,o1(x))) | true | 59151 | 59151 | -0.2628 | 0.199 | 0.2938 | 0.08022 | 0.2832 | -1 | 0.1454 | 1.145 | 1 | 4.032 | 0.002583 | 0.001015 | 0.05239 | 0.4357 | 1 | -0.00001518 | 0.0003775 | 0.01562 | 0.0008537 | 0.02922 | 0.5577 | 0.1676 | 0.04486 | 0.004706 | 1 | 1 | 0.007054 | 0.0723 | 0.1376 | 0.08793 | 0.9013 | 1.715 | json |
| t17_x17_u4_b14 | 17 | 17 | 4 | 14 | ![]() |
sub(D,div(R,cil(R))) | 112394 | 138737852 | o2(x,o2(x,o1(x))) | true | 59159 | 59159 | -0.9813 | 0.0003815 | 0.9813 | 0.01001 | 0.1001 | -1 | 0.006778 | 1.007 | 1 | 0.3963 | 0.001166 | 0.001018 | 0.00546 | 0.06783 | 1 | -0.00002039 | 0.004368 | 0.00789 | 0.002154 | 0.04641 | 8.5 | 1.007 | 0.2181 | 0.4362 | 1 | 1 | 0.001471 | 0.006664 | 0.01616 | 0.1469 | 0.6655 | 1.614 | json |
| t17_x17_u4_b15 | 17 | 17 | 4 | 15 | ![]() |
sub(D,pow(R,cil(R))) | 112395 | 138737853 | o2(x,o2(x,o1(x))) | true | 59167 | 59167 | -0.764 | 0.003479 | 0.7642 | 0.05639 | 0.2375 | -1 | 0.09466 | 1.095 | 1 | 3.33 | 0.002045 | 0.0008362 | 0.0422 | 0.4195 | 1 | -0.00009554 | 0.0004672 | 0.01519 | 0.0011 | 0.03317 | 0.7859 | 0.1709 | 0.05109 | 0.008285 | 1 | 1 | 0.005137 | 0.04938 | 0.08132 | 0.0911 | 0.8757 | 1.442 | json |
| t17_x17_u4_b16 | 17 | 17 | 4 | 16 | ![]() |
sub(D,mod(R,cil(R))) | 112396 | 138737854 | o2(x,o2(x,o1(x))) | true | 59175 | 59175 | -0.9813 | 0.0003815 | 0.9813 | 0.01001 | 0.1001 | -1 | 0.006778 | 1.007 | 1 | 0.3963 | 0.001166 | 0.001018 | 0.00546 | 0.06783 | 1 | -0.00002039 | 0.004368 | 0.00789 | 0.002154 | 0.04641 | 8.5 | 1.007 | 0.2181 | 0.4362 | 1 | 1 | 0.001471 | 0.006664 | 0.01616 | 0.1469 | 0.6655 | 1.614 | json |
| t17_x17_u4_b17 | 17 | 17 | 4 | 17 | ![]() |
sub(D,lrg(R,cil(R))) | 112397 | 138737855 | o2(x,o2(x,o1(x))) | true | 59183 | 59183 | 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_x17_u4_b18 | 17 | 17 | 4 | 18 | ![]() |
sub(D,eql(R,cil(R))) | 112398 | 138737856 | o2(x,o2(x,o1(x))) | true | 59191 | 59191 | 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_x17_u4_b19 | 17 | 17 | 4 | 19 | ![]() |
sub(D,min(R,cil(R))) | 112399 | 138737857 | o2(x,o2(x,o1(x))) | true | 59199 | 59199 | -0.009165 | 0.5021 | 0.4005 | 0.2287 | 0.4782 | -1 | 1 | 2 | 1 | 4.894 | 0.004393 | 0.003164 | 0.07461 | 0.1626 | 1 | -0.00003074 | 0.0006179 | 0.01902 | 0.001989 | 0.0446 | 0.5978 | 0.2561 | 0.03305 | 0.002702 | 1 | 1 | 0.01479 | 0.1717 | 0.3901 | 0.06468 | 0.751 | 1.706 | json |



































































































