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_x25_u2_b86 | 17 | 25 | 2 | 86 | ![]() |
eql(R,dot(R,frc(D))) | 119000 | 139060730 | o2(x,o2(x,o1(x))) | true | 112007 | 112007 | 0.0001168 | 0.000473 | 0.0001168 | 0.00008621 | 0.009285 | 0 | 0.9633 | 0.9633 | 1 | 0.003756 | 0.000178 | 0.000178 | 0.0004114 | 0 | 1 | -6.192e-12 | 0.00178 | 0.000964 | 0.0003557 | 0.01886 | 45.84 | 1.362 | 4.129 | 20.65 | 1 | 1 | 0.0001414 | 0.0001311 | 0.0001504 | 1.64 | 1.521 | 1.745 | json |
| t17_x25_u2_b87 | 17 | 25 | 2 | 87 | ![]() |
eql(R,dst(R,frc(D))) | 119001 | 139060731 | o2(x,o2(x,o1(x))) | true | 112015 | 112015 | 0.00007741 | 0.0003357 | 0.00007741 | 0.00004339 | 0.006587 | 0 | 0.9414 | 0.9414 | 1 | 0.003072 | 0.00008957 | 0.00008957 | 0.0002728 | 0 | 1 | 0 | 0.0008957 | 0.0006391 | 0.000179 | 0.01338 | 49.05 | 1.331 | 4.129 | 20.65 | 1 | 1 | 0.0001039 | 0.0001036 | 0.00009195 | 2.394 | 2.388 | 2.119 | json |
| t17_x25_u2_b88 | 17 | 25 | 2 | 88 | ![]() |
min(R,add(R,frc(D))) | 119002 | 139060732 | o2(x,o2(x,o1(x))) | true | 112023 | 112023 | 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_x25_u2_b89 | 17 | 25 | 2 | 89 | ![]() |
min(R,sub(R,frc(D))) | 119003 | 139060733 | o2(x,o2(x,o1(x))) | true | 112031 | 112031 | -0.4361 | 0.1885 | 0.5495 | 0.2203 | 0.4693 | -1 | 0.9494 | 1.949 | 1 | 4.376 | 0.04162 | 0.002648 | 0.1128 | 0.8804 | 1 | 0.0001825 | 0.08302 | 0.1071 | 0.03153 | 0.1776 | 1.574 | 0.963 | 0.201 | 0.3769 | 1 | 1 | 0.04758 | 0.2109 | 0.3018 | 0.216 | 0.9572 | 1.37 | json |
| t17_x25_u2_b90 | 17 | 25 | 2 | 90 | ![]() |
min(R,mlt(R,frc(D))) | 119004 | 139060734 | o2(x,o2(x,o1(x))) | true | 112039 | 112039 | -0.123 | 0.407 | 0.3048 | 0.1372 | 0.3705 | -0.9989 | 0.9499 | 1.949 | 1 | 4.559 | 0.01022 | 0.001895 | 0.06514 | 0.6871 | 1 | 0.000002409 | 0.01878 | 0.04129 | 0.007873 | 0.08873 | 1.362 | 0.9092 | 0.08827 | 0.1369 | 1 | 1 | 0.01474 | 0.1022 | 0.2272 | 0.1074 | 0.7445 | 1.656 | json |
| t17_x25_u2_b91 | 17 | 25 | 2 | 91 | ![]() |
min(R,div(R,frc(D))) | 119005 | 139060735 | o2(x,o2(x,o1(x))) | true | 112047 | 112047 | -0.2103 | 0.4071 | 0.5523 | 0.3689 | 0.6074 | -1 | 0.9805 | 1.98 | 1 | 4.545 | 0.03715 | 0.00778 | 0.1139 | 0.6536 | 1 | 0.00002139 | 0.08014 | 0.09954 | 0.03195 | 0.1787 | 1.569 | 1.848 | 0.1218 | 0.2172 | 1 | 1 | 0.05535 | 0.3141 | 0.6193 | 0.15 | 0.8514 | 1.679 | json |
| t17_x25_u2_b92 | 17 | 25 | 2 | 92 | ![]() |
min(R,pow(R,frc(D))) | 119006 | 139060736 | o2(x,o2(x,o1(x))) | true | 112055 | 112055 | 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_x25_u2_b93 | 17 | 25 | 2 | 93 | ![]() |
min(R,mod(R,frc(D))) | 119007 | 139060737 | o2(x,o2(x,o1(x))) | true | 112063 | 112063 | -0.1432 | 0.3848 | 0.2936 | 0.1265 | 0.3556 | -0.9989 | 0.9633 | 1.962 | 1 | 4.479 | 0.01769 | 0.001733 | 0.07804 | 0.8216 | 1 | -0.000004025 | 0.03957 | 0.08705 | 0.01333 | 0.1155 | 1.48 | 0.9374 | 0.1536 | 0.3128 | 1 | 1 | 0.01909 | 0.09489 | 0.2081 | 0.151 | 0.7502 | 1.645 | json |
| t17_x25_u2_b94 | 17 | 25 | 2 | 94 | ![]() |
min(R,lrg(R,frc(D))) | 119008 | 139060738 | o2(x,o2(x,o1(x))) | true | 112071 | 112071 | -0.07007 | 0.3578 | 0.3512 | 0.1875 | 0.433 | -0.9989 | 0.9806 | 1.979 | 1 | 4.717 | 0.01815 | 0.002652 | 0.08369 | 0.745 | 1 | -0.00003985 | 0.03657 | 0.07111 | 0.0138 | 0.1175 | 1.404 | 0.9634 | 0.111 | 0.1951 | 1 | 1 | 0.02324 | 0.143 | 0.3234 | 0.124 | 0.7628 | 1.725 | json |
| t17_x25_u2_b95 | 17 | 25 | 2 | 95 | ![]() |
min(R,eql(R,frc(D))) | 119009 | 139060739 | o2(x,o2(x,o1(x))) | true | 112079 | 112079 | -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_x25_u2_b96 | 17 | 25 | 2 | 96 | ![]() |
min(R,min(R,frc(D))) | 119010 | 139060740 | o2(x,o2(x,o1(x))) | true | 112087 | 112087 | -0.08272 | 0.4515 | 0.3267 | 0.1589 | 0.3987 | -0.9989 | 0.9683 | 1.967 | 1 | 4.673 | 0.01096 | 0.002198 | 0.0703 | 0.666 | 1 | -0.00009949 | 0.01913 | 0.04418 | 0.008222 | 0.09067 | 1.29 | 0.9375 | 0.08281 | 0.1204 | 1 | 1 | 0.01675 | 0.119 | 0.2654 | 0.1054 | 0.7486 | 1.67 | json |
| t17_x25_u2_b97 | 17 | 25 | 2 | 97 | ![]() |
min(R,dot(R,frc(D))) | 119011 | 139060741 | o2(x,o2(x,o1(x))) | true | 112095 | 112095 | -0.1778 | 0.3336 | 0.3626 | 0.1629 | 0.4036 | -1 | 0.9678 | 1.968 | 1 | 4.686 | 0.008271 | 0.008838 | 0.08081 | -0.03314 | 1 | -0.0001221 | 0.02846 | 0.06419 | 0.01058 | 0.1029 | 1.273 | 1.257 | 0.105 | 0.1747 | 1 | 1 | 0.01932 | 0.1227 | 0.2795 | 0.1186 | 0.7534 | 1.716 | json |
| t17_x25_u2_b98 | 17 | 25 | 2 | 98 | ![]() |
min(R,dst(R,frc(D))) | 119012 | 139060742 | o2(x,o2(x,o1(x))) | true | 112103 | 112103 | -0.007937 | 0.4897 | 0.3821 | 0.2073 | 0.4553 | -0.9989 | 0.9806 | 1.979 | 1 | 4.834 | 0.003098 | 0.003391 | 0.06413 | -0.04528 | 1 | 0.00005595 | 0.002083 | 0.01969 | 0.002376 | 0.04874 | 0.7601 | 0.7973 | 0.03131 | 0.01005 | 1 | 1 | 0.01185 | 0.1453 | 0.3701 | 0.0572 | 0.7009 | 1.786 | json |
| t17_x25_u2_b99 | 17 | 25 | 2 | 99 | ![]() |
dot(R,add(R,frc(D))) | 119013 | 139060743 | o2(x,o2(x,o1(x))) | true | 112111 | 112111 | 0.7908 | 0.9871 | 0.7934 | 0.08073 | 0.2841 | -0.3933 | 1 | 1.393 | 1 | 2.828 | 0.005775 | 0.006402 | 0.05533 | -0.0515 | 1 | -0.0002261 | 0.02068 | 0.05503 | 0.009113 | 0.09546 | 1.725 | 1.059 | 0.1508 | 0.2561 | 1 | 1 | 0.01299 | 0.06677 | 0.1306 | 0.1609 | 0.8271 | 1.617 | json |
| t17_x25_u2_b100 | 17 | 25 | 2 | 100 | ![]() |
dot(R,sub(R,frc(D))) | 119014 | 139060744 | o2(x,o2(x,o1(x))) | true | 112119 | 112119 | 0.7856 | 0.9874 | 0.7884 | 0.0791 | 0.2812 | -0.4505 | 1 | 1.451 | 1 | 2.893 | 0.006573 | 0.007371 | 0.05847 | -0.05726 | 1 | -0.00009399 | 0.02518 | 0.0601 | 0.01052 | 0.1026 | 1.754 | 1.237 | 0.1763 | 0.3183 | 1 | 1 | 0.0168 | 0.07243 | 0.1291 | 0.2124 | 0.9157 | 1.632 | json |
| t17_x25_u2_b101 | 17 | 25 | 2 | 101 | ![]() |
dot(R,mlt(R,frc(D))) | 119015 | 139060745 | o2(x,o2(x,o1(x))) | true | 112127 | 112127 | 0.3462 | 1 | 0.3462 | 0.05846 | 0.2418 | 0.0002018 | 1 | 0.9998 | 1 | 3.739 | 0.01045 | 0.01046 | 0.07575 | -0.00009911 | 1 | 0.00001457 | 0.04262 | 0.08334 | 0.01517 | 0.1232 | 1.626 | 0.9357 | 0.3576 | 0.7291 | 1 | 1 | 0.02005 | 0.06147 | 0.06501 | 0.343 | 1.052 | 1.112 | json |
| t17_x25_u2_b102 | 17 | 25 | 2 | 102 | ![]() |
dot(R,div(R,frc(D))) | 119016 | 139060746 | o2(x,o2(x,o1(x))) | true | 112135 | 112135 | -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_x25_u2_b103 | 17 | 25 | 2 | 103 | ![]() |
dot(R,pow(R,frc(D))) | 119017 | 139060747 | o2(x,o2(x,o1(x))) | true | 112143 | 112143 | -0.9939 | 0.003143 | 0.9987 | 0.01059 | 0.1029 | -1 | 1 | 2 | 1 | 0.04923 | 0.001384 | 0.001233 | 0.001786 | 0.05755 | 1 | 1.877e-11 | 0.005435 | 0.003096 | 0.002611 | 0.0511 | 28.61 | 2.019 | 0.2471 | 0.5133 | 1 | 1 | 0.004701 | 0.02086 | 0.03698 | 0.444 | 1.97 | 3.493 | json |
| t17_x25_u2_b104 | 17 | 25 | 2 | 104 | ![]() |
dot(R,mod(R,frc(D))) | 119018 | 139060748 | o2(x,o2(x,o1(x))) | true | 112151 | 112151 | 0.5696 | 1 | 0.5696 | 0.07002 | 0.2646 | 0.004457 | 1 | 0.9955 | 1 | 3.855 | 0.01369 | 0.01232 | 0.0993 | 0.05277 | 1 | 0.0004221 | 0.06046 | 0.1486 | 0.01616 | 0.1271 | 1.28 | 1.173 | 0.3715 | 0.8635 | 1 | 1 | 0.02152 | 0.0624 | 0.1284 | 0.3073 | 0.8911 | 1.834 | json |
| t17_x25_u2_b105 | 17 | 25 | 2 | 105 | ![]() |
dot(R,lrg(R,frc(D))) | 119019 | 139060749 | o2(x,o2(x,o1(x))) | true | 112159 | 112159 | 0.5511 | 0.987 | 0.5511 | 0.1218 | 0.349 | 0 | 1 | 1 | 1 | 3.756 | 0.01195 | 0.01156 | 0.08299 | 0.01695 | 1 | -0.00005703 | 0.04478 | 0.09624 | 0.01663 | 0.1289 | 1.554 | 1.126 | 0.193 | 0.3677 | 1 | 1 | 0.02676 | 0.1173 | 0.2212 | 0.2197 | 0.9634 | 1.816 | json |
| t17_x25_u2_b106 | 17 | 25 | 2 | 106 | ![]() |
dot(R,eql(R,frc(D))) | 119020 | 139060750 | o2(x,o2(x,o1(x))) | true | 112167 | 112167 | 0.00006868 | 0.0009155 | 0.00006868 | 0.0000115 | 0.003392 | 0 | 0.2421 | 0.2421 | 1 | 0.004422 | 1.685e-7 | 0.00002376 | 0.0001431 | -0.9859 | 0 | 1.325e-11 | 0.00007195 | 0.0002836 | 0.00002389 | 0.004888 | 34.16 | 0.2421 | 2.08 | 6.255 | 1 | 1 | 0.00002148 | 0.00002852 | 0.00004179 | 1.867 | 2.48 | 3.633 | json |
| t17_x25_u2_b107 | 17 | 25 | 2 | 107 | ![]() |
dot(R,min(R,frc(D))) | 119021 | 139060751 | o2(x,o2(x,o1(x))) | true | 112175 | 112175 | 0.6713 | 1 | 0.6713 | 0.07914 | 0.2813 | 0.003778 | 1 | 0.9962 | 1 | 3.583 | 0.004414 | 0.004891 | 0.05266 | -0.05132 | 1 | -0.0001721 | 0.01521 | 0.04212 | 0.006533 | 0.08083 | 1.535 | 0.932 | 0.1176 | 0.1922 | 1 | 1 | 0.01185 | 0.06168 | 0.1242 | 0.1498 | 0.7794 | 1.57 | json |
| t17_x25_u2_b108 | 17 | 25 | 2 | 108 | ![]() |
dot(R,dot(R,frc(D))) | 119022 | 139060752 | o2(x,o2(x,o1(x))) | true | 112183 | 112183 | 0.2877 | 0.8653 | 0.3079 | 0.1027 | 0.3204 | -0.7612 | 1 | 1.761 | 1 | 3.946 | 0.01082 | 0.01108 | 0.08129 | -0.01196 | 1 | -0.00007505 | 0.04128 | 0.08211 | 0.01529 | 0.1237 | 1.521 | 1.261 | 0.2133 | 0.4021 | 1 | 1 | 0.02646 | 0.1142 | 0.1721 | 0.2577 | 1.113 | 1.677 | json |
| t17_x25_u2_b109 | 17 | 25 | 2 | 109 | ![]() |
dot(R,dst(R,frc(D))) | 119023 | 139060753 | o2(x,o2(x,o1(x))) | true | 112191 | 112191 | -0.08863 | 0.4719 | 0.5673 | 0.436 | 0.6603 | -1 | 1 | 2 | 1 | 4.558 | 0.01031 | 0.01052 | 0.09879 | -0.009726 | 1 | 0.0001714 | 0.01445 | 0.05604 | 0.01107 | 0.1052 | 1.065 | 1.178 | 0.04778 | 0.03314 | 1 | 1 | 0.0373 | 0.3577 | 0.869 | 0.08555 | 0.8205 | 1.993 | json |
| t17_x25_u2_b110 | 17 | 25 | 2 | 110 | ![]() |
dst(R,add(R,frc(D))) | 119024 | 139060754 | o2(x,o2(x,o1(x))) | true | 112199 | 112199 | 0.7381 | 1 | 0.7381 | 0.06233 | 0.2497 | 0.04419 | 1 | 0.9558 | 1 | 3.416 | 0.0205 | 0.0205 | 0.106 | 0.000001863 | 1 | 0.00005702 | 0.089 | 0.1284 | 0.02975 | 0.1725 | 1.627 | 0.9251 | 0.6578 | 1.428 | 1 | 1 | 0.04131 | 0.1096 | 0 | 0.6628 | 1.758 | 0 | json |
| t17_x25_u2_b111 | 17 | 25 | 2 | 111 | ![]() |
dst(R,sub(R,frc(D))) | 119025 | 139060755 | o2(x,o2(x,o1(x))) | true | 112207 | 112207 | 0.7381 | 1 | 0.7381 | 0.06233 | 0.2497 | 0.04419 | 1 | 0.9558 | 1 | 3.416 | 0.0205 | 0.0205 | 0.106 | 0.000001817 | 1 | 0.00005702 | 0.089 | 0.1284 | 0.02975 | 0.1725 | 1.627 | 0.9251 | 0.6578 | 1.428 | 1 | 1 | 0.04131 | 0.1096 | 6.565e-16 | 0.6628 | 1.758 | 1.053e-14 | json |
| t17_x25_u2_b112 | 17 | 25 | 2 | 112 | ![]() |
dst(R,mlt(R,frc(D))) | 119026 | 139060756 | o2(x,o2(x,o1(x))) | true | 112215 | 112215 | 0.6901 | 1 | 0.6901 | 0.04476 | 0.2116 | 0.02398 | 1 | 0.976 | 1 | 3.58 | 0.00462 | 0.00507 | 0.05366 | -0.04647 | 1 | 0.00007367 | 0.01837 | 0.05476 | 0.00681 | 0.08252 | 1.538 | 1.025 | 0.2165 | 0.4104 | 1 | 1 | 0.009657 | 0.04036 | 0.07144 | 0.2158 | 0.9017 | 1.596 | json |
| t17_x25_u2_b113 | 17 | 25 | 2 | 113 | ![]() |
dst(R,div(R,frc(D))) | 119027 | 139060757 | o2(x,o2(x,o1(x))) | true | 112223 | 112223 | -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_x25_u2_b114 | 17 | 25 | 2 | 114 | ![]() |
dst(R,pow(R,frc(D))) | 119028 | 139060758 | o2(x,o2(x,o1(x))) | true | 112231 | 112231 | -0.9928 | 0.003906 | 0.9993 | 0.01321 | 0.1149 | -1 | 1 | 2 | 1 | 0.04558 | 0.001717 | 0.001613 | 0.001917 | 0.03121 | 1 | 0 | 0.007056 | 0.003691 | 0.003323 | 0.05765 | 30.07 | 2.828 | 0.2521 | 0.5342 | 1 | 1 | 0.005865 | 0.02431 | 0.04683 | 0.444 | 1.841 | 3.545 | json |
| t17_x25_u2_b115 | 17 | 25 | 2 | 115 | ![]() |
dst(R,mod(R,frc(D))) | 119029 | 139060759 | o2(x,o2(x,o1(x))) | true | 112239 | 112239 | 0.4905 | 0.9567 | 0.4905 | 0.08245 | 0.2871 | 0 | 1 | 1 | 1 | 3.94 | 0.02002 | 0.01874 | 0.1246 | 0.03293 | 1 | -0.0004248 | 0.09105 | 0.1922 | 0.02325 | 0.1525 | 1.224 | 1.325 | 0.4702 | 1.104 | 1 | 1 | 0.03507 | 0.08227 | 0.114 | 0.4254 | 0.9977 | 1.383 | json |
| t17_x25_u2_b116 | 17 | 25 | 2 | 116 | ![]() |
dst(R,lrg(R,frc(D))) | 119030 | 139060760 | o2(x,o2(x,o1(x))) | true | 112247 | 112247 | 0.8355 | 1 | 0.8355 | 0.02854 | 0.1689 | 0.21 | 1 | 0.79 | 1 | 2.794 | 0.003489 | 0.002885 | 0.03869 | 0.09482 | 1 | 0.00004344 | 0.01282 | 0.04468 | 0.004876 | 0.06983 | 1.805 | 0.8037 | 0.2233 | 0.4491 | 1 | 1 | 0.006481 | 0.02258 | 0.05041 | 0.2271 | 0.7914 | 1.766 | json |
| t17_x25_u2_b117 | 17 | 25 | 2 | 117 | ![]() |
dst(R,eql(R,frc(D))) | 119031 | 139060761 | o2(x,o2(x,o1(x))) | true | 112255 | 112255 | 0.897 | 1 | 0.897 | 0.02252 | 0.1501 | 0.09951 | 1 | 0.9005 | 1 | 2.18 | 0.0003406 | 0.0004855 | 0.01675 | -0.1753 | 1 | -0.00001961 | 0.0002211 | 0.005929 | 0.0005455 | 0.02336 | 1.394 | 0.2869 | 0.03669 | 0.009818 | 1 | 1 | 0.00136 | 0.01498 | 0.03483 | 0.06041 | 0.6652 | 1.547 | json |
| t17_x25_u2_b118 | 17 | 25 | 2 | 118 | ![]() |
dst(R,min(R,frc(D))) | 119032 | 139060762 | o2(x,o2(x,o1(x))) | true | 112263 | 112263 | 0.3639 | 0.9838 | 0.3639 | 0.07473 | 0.2734 | 0 | 1 | 1 | 1 | 3.808 | 0.006227 | 0.006544 | 0.06352 | -0.02481 | 1 | 0.0002128 | 0.02279 | 0.05353 | 0.008737 | 0.09347 | 1.472 | 1.239 | 0.1709 | 0.3049 | 1 | 1 | 0.01502 | 0.07582 | 0.1425 | 0.201 | 1.015 | 1.907 | json |
| t17_x25_u2_b119 | 17 | 25 | 2 | 119 | ![]() |
dst(R,dot(R,frc(D))) | 119033 | 139060763 | o2(x,o2(x,o1(x))) | true | 112271 | 112271 | 0.8334 | 1 | 0.8334 | 0.03873 | 0.1968 | 0.02529 | 1 | 0.9747 | 1 | 2.746 | 0.003234 | 0.003277 | 0.04246 | -0.006738 | 1 | 0.0001066 | 0.01187 | 0.03956 | 0.004708 | 0.06861 | 1.616 | 1.374 | 0.1681 | 0.3065 | 1 | 1 | 0.008498 | 0.03827 | 0.06997 | 0.2194 | 0.9884 | 1.807 | json |
| t17_x25_u2_b120 | 17 | 25 | 2 | 120 | ![]() |
dst(R,dst(R,frc(D))) | 119034 | 139060764 | o2(x,o2(x,o1(x))) | true | 112279 | 112279 | 0.981 | 1 | 0.981 | 0.00686 | 0.08282 | 0.03393 | 1 | 0.9661 | 1 | 0.5495 | 0.0009052 | 0.001061 | 0.01023 | -0.07925 | 1 | -3.653e-7 | 0.003213 | 0.01238 | 0.001863 | 0.04316 | 4.221 | 0.9661 | 0.2866 | 0.4683 | 1 | 1 | 0.003049 | 0.01286 | 0.01625 | 0.4445 | 1.874 | 2.369 | json |
| t17_x25_u3_b0 | 17 | 25 | 3 | 0 | ![]() |
add(R,add(R,flr(D))) | 119035 | 139060845 | o2(x,o2(x,o1(x))) | true | 112287 | 112287 | -0.3033 | 0.3331 | 0.6848 | 0.4892 | 0.6995 | -1 | 1 | 2 | 1 | 4.109 | 0.03788 | 0.008364 | 0.1208 | 0.6382 | 1 | 0.0001326 | 0.05937 | 0.0937 | 0.03166 | 0.1779 | 1.473 | 1.092 | 0.09451 | 0.1213 | 1 | 1 | 0.06411 | 0.4472 | 0.8162 | 0.131 | 0.914 | 1.668 | json |
| t17_x25_u3_b1 | 17 | 25 | 3 | 1 | ![]() |
add(R,sub(R,flr(D))) | 119036 | 139060846 | o2(x,o2(x,o1(x))) | true | 112295 | 112295 | 0.3269 | 0.6804 | 0.6827 | 0.4742 | 0.6886 | -1 | 1 | 2 | 1 | 4.061 | 0.03863 | 0.008069 | 0.1169 | 0.6544 | 1 | -0.0000716 | 0.06254 | 0.09487 | 0.03304 | 0.1818 | 1.555 | 1.091 | 0.09847 | 0.1319 | 1 | 1 | 0.06361 | 0.4186 | 0.7401 | 0.1341 | 0.8827 | 1.561 | json |
| t17_x25_u3_b2 | 17 | 25 | 3 | 2 | ![]() |
add(R,mlt(R,flr(D))) | 119037 | 139060847 | o2(x,o2(x,o1(x))) | true | 112303 | 112303 | 0.007128 | 0.4824 | 0.2233 | 0.1068 | 0.3268 | -0.9987 | 0.9806 | 1.979 | 1 | 4.183 | 0.01778 | 0.001534 | 0.06915 | 0.8411 | 1 | 0.00002202 | 0.03338 | 0.06293 | 0.01453 | 0.1205 | 1.743 | 0.9989 | 0.1809 | 0.3126 | 1 | 1 | 0.02212 | 0.1235 | 0.1954 | 0.2072 | 1.157 | 1.83 | json |
| t17_x25_u3_b3 | 17 | 25 | 3 | 3 | ![]() |
add(R,div(R,flr(D))) | 119038 | 139060848 | o2(x,o2(x,o1(x))) | true | 112311 | 112311 | -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_x25_u3_b4 | 17 | 25 | 3 | 4 | ![]() |
add(R,pow(R,flr(D))) | 119039 | 139060849 | o2(x,o2(x,o1(x))) | true | 112319 | 112319 | -0.5888 | 0.2109 | 0.9894 | 0.6369 | 0.7981 | -1 | 1 | 2 | 1 | 0.9621 | 0.07296 | 0.06347 | 0.07314 | 0.06953 | 1 | -0.00001585 | 0.2872 | 0.143 | 0.1311 | 0.3621 | 4.95 | 2.828 | 0.2142 | 0.4509 | 1 | 1 | 0.1365 | 0.5863 | 1.362 | 0.2143 | 0.9206 | 2.139 | json |
| t17_x25_u3_b5 | 17 | 25 | 3 | 5 | ![]() |
add(R,mod(R,flr(D))) | 119040 | 139060850 | o2(x,o2(x,o1(x))) | true | 112327 | 112327 | -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_x25_u3_b6 | 17 | 25 | 3 | 6 | ![]() |
add(R,lrg(R,flr(D))) | 119041 | 139060851 | o2(x,o2(x,o1(x))) | true | 112335 | 112335 | 0.5748 | 0.8258 | 0.6979 | 0.2704 | 0.52 | -0.9986 | 1 | 1.999 | 1 | 3.619 | 0.03221 | 0.004654 | 0.09347 | 0.7475 | 1 | -0.00008915 | 0.05641 | 0.07872 | 0.02814 | 0.1677 | 1.795 | 1.004 | 0.1363 | 0.2086 | 1 | 1 | 0.04749 | 0.2789 | 0.4115 | 0.1756 | 1.031 | 1.521 | json |
| t17_x25_u3_b7 | 17 | 25 | 3 | 7 | ![]() |
add(R,eql(R,flr(D))) | 119042 | 139060852 | o2(x,o2(x,o1(x))) | true | 112343 | 112343 | 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_x25_u3_b8 | 17 | 25 | 3 | 8 | ![]() |
add(R,min(R,flr(D))) | 119043 | 139060853 | o2(x,o2(x,o1(x))) | true | 112351 | 112351 | -0.4993 | 0.1865 | 0.6372 | 0.2688 | 0.5185 | -1 | 0.9801 | 1.98 | 1 | 4.065 | 0.03828 | 0.003706 | 0.1049 | 0.8235 | 1 | 0.000143 | 0.06665 | 0.09199 | 0.03099 | 0.176 | 1.678 | 1.004 | 0.1562 | 0.2479 | 1 | 1 | 0.05051 | 0.2811 | 0.3794 | 0.1879 | 1.046 | 1.411 | json |
| t17_x25_u3_b9 | 17 | 25 | 3 | 9 | ![]() |
add(R,dot(R,flr(D))) | 119044 | 139060854 | o2(x,o2(x,o1(x))) | true | 112359 | 112359 | -0.006358 | 0.4868 | 0.3474 | 0.1994 | 0.4466 | -1 | 1 | 2 | 1 | 4.762 | 0.01708 | 0.01734 | 0.1053 | -0.007686 | 1 | -0.000001481 | 0.05907 | 0.1074 | 0.02333 | 0.1527 | 1.45 | 1.319 | 0.1726 | 0.2962 | 1 | 1 | 0.04053 | 0.2318 | 0.3866 | 0.2033 | 1.162 | 1.938 | json |
| t17_x25_u3_b10 | 17 | 25 | 3 | 10 | ![]() |
add(R,dst(R,flr(D))) | 119045 | 139060855 | o2(x,o2(x,o1(x))) | true | 112367 | 112367 | 0.8597 | 0.9888 | 0.8632 | 0.06315 | 0.2513 | -0.5242 | 1 | 1.524 | 1 | 2.188 | 0.003265 | 0.007583 | 0.04346 | -0.398 | 1 | -0.00009565 | 0.01703 | 0.04509 | 0.008961 | 0.09466 | 2.178 | 1.007 | 0.1718 | 0.2696 | 1 | 1 | 0.0131 | 0.06604 | 0.1032 | 0.2075 | 1.046 | 1.635 | json |
| t17_x25_u3_b11 | 17 | 25 | 3 | 11 | ![]() |
sub(R,add(R,flr(D))) | 119046 | 139060856 | o2(x,o2(x,o1(x))) | true | 112375 | 112375 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 1.74e-17 | 0.1228 | 1 | 1 | -1.387e-9 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 2.695e-16 | 0.4989 | 1.706 | 1.901e-15 | json |
| t17_x25_u3_b12 | 17 | 25 | 3 | 12 | ![]() |
sub(R,sub(R,flr(D))) | 119047 | 139060857 | o2(x,o2(x,o1(x))) | true | 112383 | 112383 | -0.5 | 0 | 0.5 | 0.1418 | 0.3765 | -0.9997 | -0.000291 | 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_x25_u3_b13 | 17 | 25 | 3 | 13 | ![]() |
sub(R,mlt(R,flr(D))) | 119048 | 139060858 | o2(x,o2(x,o1(x))) | true | 112391 | 112391 | 0.009758 | 0.4973 | 0.5397 | 0.3961 | 0.6294 | -1 | 1 | 2 | 1 | 4.836 | 0.01095 | 0.006621 | 0.09545 | 0.2462 | 1 | 0.00001971 | 0.01266 | 0.05227 | 0.008457 | 0.09196 | 0.9635 | 0.6168 | 0.04434 | 0.03197 | 1 | 1 | 0.02986 | 0.3047 | 0.7111 | 0.07538 | 0.7693 | 1.795 | json |
| t17_x25_u3_b14 | 17 | 25 | 3 | 14 | ![]() |
sub(R,div(R,flr(D))) | 119049 | 139060859 | o2(x,o2(x,o1(x))) | true | 112399 | 112399 | -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_x25_u3_b15 | 17 | 25 | 3 | 15 | ![]() |
sub(R,pow(R,flr(D))) | 119050 | 139060860 | o2(x,o2(x,o1(x))) | true | 112407 | 112407 | -0.9631 | 0 | 0.9631 | 0.01916 | 0.1384 | -1 | -0.02315 | 0.9769 | 1 | 0.7201 | 0.003141 | 0.002628 | 0.0152 | 0.08886 | 1 | 0.0000682 | 0.01137 | 0.02044 | 0.00554 | 0.07443 | 4.898 | 1.234 | 0.3012 | 0.5935 | 1 | 1 | 0.005381 | 0.02197 | 0.03496 | 0.2809 | 1.147 | 1.825 | json |
| t17_x25_u3_b16 | 17 | 25 | 3 | 16 | ![]() |
sub(R,mod(R,flr(D))) | 119051 | 139060861 | o2(x,o2(x,o1(x))) | true | 112415 | 112415 | -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_x25_u3_b17 | 17 | 25 | 3 | 17 | ![]() |
sub(R,lrg(R,flr(D))) | 119052 | 139060862 | o2(x,o2(x,o1(x))) | true | 112423 | 112423 | -0.6541 | 0 | 0.6541 | 0.0832 | 0.2884 | -1 | -0.002976 | 0.997 | 1 | 3.584 | 0.01221 | 0.001236 | 0.05696 | 0.8161 | 1 | 0.00009169 | 0.02146 | 0.04765 | 0.0102 | 0.101 | 1.773 | 0.997 | 0.1616 | 0.2579 | 1 | 1 | 0.01706 | 0.09423 | 0.1295 | 0.2051 | 1.133 | 1.556 | json |
| t17_x25_u3_b18 | 17 | 25 | 3 | 18 | ![]() |
sub(R,eql(R,flr(D))) | 119053 | 139060863 | o2(x,o2(x,o1(x))) | true | 112431 | 112431 | 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_x25_u3_b19 | 17 | 25 | 3 | 19 | ![]() |
sub(R,min(R,flr(D))) | 119054 | 139060864 | o2(x,o2(x,o1(x))) | true | 112439 | 112439 | 0.5592 | 0.9973 | 0.5592 | 0.1211 | 0.348 | 8.528e-7 | 1 | 1 | 1 | 3.722 | 0.02303 | 0.001411 | 0.07879 | 0.8845 | 1 | -0.00006362 | 0.04092 | 0.07583 | 0.01824 | 0.135 | 1.714 | 0.9967 | 0.2018 | 0.3379 | 1 | 1 | 0.02818 | 0.1355 | 0.1472 | 0.2327 | 1.118 | 1.216 | json |
| t17_x25_u3_b20 | 17 | 25 | 3 | 20 | ![]() |
sub(R,dot(R,flr(D))) | 119055 | 139060865 | o2(x,o2(x,o1(x))) | true | 112447 | 112447 | 0.009855 | 0.492 | 0.5624 | 0.4279 | 0.6541 | -1 | 1 | 2 | 1 | 4.748 | 0.01278 | 0.0171 | 0.1144 | -0.1448 | 1 | 0.0000223 | 0.03648 | 0.08805 | 0.0168 | 0.1296 | 1.134 | 1.026 | 0.06984 | 0.08526 | 1 | 1 | 0.04282 | 0.3518 | 0.7696 | 0.1001 | 0.8221 | 1.799 | json |
| t17_x25_u3_b21 | 17 | 25 | 3 | 21 | ![]() |
sub(R,dst(R,flr(D))) | 119056 | 139060866 | o2(x,o2(x,o1(x))) | true | 112455 | 112455 | -0.9297 | 0 | 0.9297 | 0.02948 | 0.1717 | -1 | -0.01861 | 0.9814 | 1 | 1.386 | 0.007432 | 0.002853 | 0.03265 | 0.4451 | 1 | 0.00006585 | 0.01906 | 0.04025 | 0.009217 | 0.09601 | 2.94 | 0.9811 | 0.3488 | 0.6465 | 1 | 1 | 0.01037 | 0.04084 | 0.03663 | 0.3517 | 1.385 | 1.242 | json |
| t17_x25_u3_b22 | 17 | 25 | 3 | 22 | ![]() |
mlt(R,add(R,flr(D))) | 119057 | 139060867 | o2(x,o2(x,o1(x))) | true | 112463 | 112463 | 0.3231 | 0.829 | 0.3601 | 0.1168 | 0.3418 | -0.2496 | 1 | 1.25 | 1 | 4.181 | 0.01358 | 0.001827 | 0.06596 | 0.7629 | 1 | -0.00002803 | 0.02486 | 0.0563 | 0.01106 | 0.1052 | 1.594 | 0.9696 | 0.1319 | 0.2128 | 1 | 1 | 0.01855 | 0.1124 | 0.1954 | 0.1588 | 0.9619 | 1.672 | json |
| t17_x25_u3_b23 | 17 | 25 | 3 | 23 | ![]() |
mlt(R,sub(R,flr(D))) | 119058 | 139060868 | o2(x,o2(x,o1(x))) | true | 112471 | 112471 | 0.3271 | 0.8088 | 0.3705 | 0.125 | 0.3535 | -0.2497 | 1 | 1.25 | 1 | 4.212 | 0.01349 | 0.002021 | 0.06853 | 0.7394 | 1 | -0.00003916 | 0.02409 | 0.05649 | 0.01082 | 0.104 | 1.518 | 0.9986 | 0.1241 | 0.1927 | 1 | 1 | 0.01961 | 0.1292 | 0.2491 | 0.1569 | 1.034 | 1.993 | json |
| t17_x25_u3_b24 | 17 | 25 | 3 | 24 | ![]() |
mlt(R,mlt(R,flr(D))) | 119059 | 139060869 | o2(x,o2(x,o1(x))) | true | 112479 | 112479 | -0.1756 | 0 | 0.1756 | 0.04594 | 0.2143 | -0.9977 | -1.147e-8 | 0.9977 | 1 | 2.839 | 0.01268 | 0.0004054 | 0.04839 | 0.9381 | 1 | -0.000003624 | 0.02362 | 0.04794 | 0.01075 | 0.1037 | 2.142 | 0.9976 | 0.2849 | 0.5142 | 1 | 1 | 0.01371 | 0.05875 | 0.05376 | 0.2984 | 1.279 | 1.17 | json |
| t17_x25_u3_b25 | 17 | 25 | 3 | 25 | ![]() |
mlt(R,div(R,flr(D))) | 119060 | 139060870 | o2(x,o2(x,o1(x))) | true | 112487 | 112487 | -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_x25_u3_b26 | 17 | 25 | 3 | 26 | ![]() |
mlt(R,pow(R,flr(D))) | 119061 | 139060871 | o2(x,o2(x,o1(x))) | true | 112495 | 112495 | -0.6791 | 0.1744 | 0.9232 | 0.4336 | 0.6585 | -1 | 1 | 2 | 1 | 1.631 | 0.05332 | 0.04403 | 0.07045 | 0.0955 | 1 | 0.000009995 | 0.2035 | 0.1155 | 0.09236 | 0.3039 | 4.314 | 2.828 | 0.2245 | 0.4693 | 1 | 1 | 0.09818 | 0.4143 | 0.9063 | 0.2264 | 0.9555 | 2.09 | json |
| t17_x25_u3_b27 | 17 | 25 | 3 | 27 | ![]() |
mlt(R,mod(R,flr(D))) | 119062 | 139060872 | o2(x,o2(x,o1(x))) | true | 112503 | 112503 | -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_x25_u3_b28 | 17 | 25 | 3 | 28 | ![]() |
mlt(R,lrg(R,flr(D))) | 119063 | 139060873 | o2(x,o2(x,o1(x))) | true | 112511 | 112511 | 0.1344 | 0.642 | 0.325 | 0.1541 | 0.3925 | -0.9985 | 0.9809 | 1.979 | 1 | 4.614 | 0.01115 | 0.002092 | 0.06771 | 0.6842 | 1 | 0.00001429 | 0.01822 | 0.04228 | 0.008661 | 0.09307 | 1.374 | 0.9985 | 0.08596 | 0.1183 | 1 | 1 | 0.01764 | 0.1333 | 0.265 | 0.1145 | 0.8652 | 1.72 | json |
| t17_x25_u3_b29 | 17 | 25 | 3 | 29 | ![]() |
mlt(R,eql(R,flr(D))) | 119064 | 139060874 | o2(x,o2(x,o1(x))) | true | 112519 | 112519 | 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_x25_u3_b30 | 17 | 25 | 3 | 30 | ![]() |
mlt(R,min(R,flr(D))) | 119065 | 139060875 | o2(x,o2(x,o1(x))) | true | 112527 | 112527 | 0.08007 | 0.6317 | 0.2831 | 0.1373 | 0.3705 | -0.9806 | 0.9987 | 1.979 | 1 | 4.492 | 0.01132 | 0.001905 | 0.0652 | 0.7118 | 1 | -0.00001919 | 0.01955 | 0.04709 | 0.008974 | 0.09473 | 1.453 | 0.9695 | 0.09634 | 0.1424 | 1 | 1 | 0.01659 | 0.1168 | 0.2316 | 0.1208 | 0.851 | 1.687 | json |
| t17_x25_u3_b31 | 17 | 25 | 3 | 31 | ![]() |
mlt(R,dot(R,flr(D))) | 119066 | 139060876 | o2(x,o2(x,o1(x))) | true | 112535 | 112535 | -0.162 | 0.2132 | 0.2196 | 0.07504 | 0.2739 | -1 | 0.8996 | 1.9 | 1 | 3.925 | 0.01266 | 0.006417 | 0.06846 | 0.3272 | 1 | 0.00001603 | 0.03411 | 0.07315 | 0.01439 | 0.12 | 1.752 | 1.282 | 0.2542 | 0.4546 | 1 | 1 | 0.02018 | 0.09408 | 0.1154 | 0.2689 | 1.254 | 1.538 | json |
| t17_x25_u3_b32 | 17 | 25 | 3 | 32 | ![]() |
mlt(R,dst(R,flr(D))) | 119067 | 139060877 | o2(x,o2(x,o1(x))) | true | 112543 | 112543 | 0.09362 | 0.5285 | 0.5137 | 0.3665 | 0.6054 | -1 | 1 | 2 | 1 | 4.759 | 0.007663 | 0.008296 | 0.09065 | -0.03969 | 1 | -0.0000157 | 0.01096 | 0.0509 | 0.007741 | 0.08799 | 0.9706 | 0.757 | 0.04354 | 0.0299 | 1 | 1 | 0.02778 | 0.2856 | 0.6695 | 0.0758 | 0.7791 | 1.827 | json |
| t17_x25_u3_b33 | 17 | 25 | 3 | 33 | ![]() |
div(R,add(R,flr(D))) | 119068 | 139060878 | o2(x,o2(x,o1(x))) | true | 112551 | 112551 | 0.2548 | 0.7109 | 0.6673 | 0.4819 | 0.6942 | -1 | 0.9999 | 2 | 1 | 4.272 | 0.1363 | 0.006002 | 0.1719 | 0.9157 | 1 | 0.000148 | 0.2489 | 0.1901 | 0.1128 | 0.3359 | 1.954 | 2.275 | 0.2953 | 0.5165 | 1 | 1 | 0.1629 | 0.6575 | 0.5052 | 0.338 | 1.364 | 1.048 | json |
| t17_x25_u3_b34 | 17 | 25 | 3 | 34 | ![]() |
div(R,sub(R,flr(D))) | 119069 | 139060879 | o2(x,o2(x,o1(x))) | true | 112559 | 112559 | 0.2642 | 0.7086 | 0.6591 | 0.4673 | 0.6836 | -1 | 0.9999 | 2 | 1 | 4.314 | 0.1364 | 0.006452 | 0.1703 | 0.9096 | 1 | 0.0004179 | 0.2564 | 0.1908 | 0.1138 | 0.3374 | 1.982 | 2.198 | 0.3056 | 0.5486 | 1 | 1 | 0.1588 | 0.6174 | 0.418 | 0.3398 | 1.321 | 0.8944 | json |
| t17_x25_u3_b35 | 17 | 25 | 3 | 35 | ![]() |
div(R,mlt(R,flr(D))) | 119070 | 139060880 | o2(x,o2(x,o1(x))) | true | 112567 | 112567 | -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_x25_u3_b36 | 17 | 25 | 3 | 36 | ![]() |
div(R,div(R,flr(D))) | 119071 | 139060881 | o2(x,o2(x,o1(x))) | true | 112575 | 112575 | -0.5 | 0 | 0.5 | 0.1418 | 0.3765 | -0.9997 | -0.000291 | 0.9994 | 1 | 3.406 | 0.06511 | 4.579e-17 | 0.1228 | 1 | 1 | 3.734e-9 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 7.405e-16 | 0.4989 | 1.706 | 5.223e-15 | json |
| t17_x25_u3_b37 | 17 | 25 | 3 | 37 | ![]() |
div(R,pow(R,flr(D))) | 119072 | 139060882 | o2(x,o2(x,o1(x))) | true | 112583 | 112583 | -0.7433 | 0.1589 | 0.8658 | 0.2763 | 0.5256 | -1 | 0.9806 | 1.981 | 1 | 1.704 | 0.03192 | 0.02882 | 0.05531 | 0.05112 | 1 | 0.00001912 | 0.1274 | 0.09138 | 0.05771 | 0.2402 | 4.343 | 2.661 | 0.2198 | 0.4611 | 1 | 1 | 0.06048 | 0.2589 | 0.5868 | 0.2189 | 0.9369 | 2.124 | json |
| t17_x25_u3_b38 | 17 | 25 | 3 | 38 | ![]() |
div(R,mod(R,flr(D))) | 119073 | 139060883 | o2(x,o2(x,o1(x))) | true | 112591 | 112591 | -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_x25_u3_b39 | 17 | 25 | 3 | 39 | ![]() |
div(R,lrg(R,flr(D))) | 119074 | 139060884 | o2(x,o2(x,o1(x))) | true | 112599 | 112599 | -0.7151 | 0.1729 | 0.8775 | 0.3255 | 0.5705 | -1 | 0.9632 | 1.963 | 1 | 1.757 | 0.03653 | 0.03195 | 0.05875 | 0.06691 | 1 | 0.00002261 | 0.1433 | 0.09607 | 0.06501 | 0.255 | 4.34 | 2.742 | 0.2104 | 0.4403 | 1 | 1 | 0.07048 | 0.3018 | 0.6953 | 0.2165 | 0.9272 | 2.136 | json |
| t17_x25_u3_b40 | 17 | 25 | 3 | 40 | ![]() |
div(R,eql(R,flr(D))) | 119075 | 139060885 | o2(x,o2(x,o1(x))) | true | 112607 | 112607 | -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_x25_u3_b41 | 17 | 25 | 3 | 41 | ![]() |
div(R,min(R,flr(D))) | 119076 | 139060886 | o2(x,o2(x,o1(x))) | true | 112615 | 112615 | -0.6271 | 0.2032 | 0.9141 | 0.4881 | 0.6986 | -1 | 1 | 2 | 1 | 1.839 | 0.05811 | 0.04326 | 0.07544 | 0.1465 | 1 | 0.000006817 | 0.2095 | 0.1204 | 0.09568 | 0.3093 | 4.1 | 2.792 | 0.2077 | 0.4292 | 1 | 1 | 0.1071 | 0.4516 | 0.9021 | 0.2193 | 0.9252 | 1.848 | json |
| t17_x25_u3_b42 | 17 | 25 | 3 | 42 | ![]() |
div(R,dot(R,flr(D))) | 119077 | 139060887 | o2(x,o2(x,o1(x))) | true | 112623 | 112623 | -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_x25_u3_b43 | 17 | 25 | 3 | 43 | ![]() |
div(R,dst(R,flr(D))) | 119078 | 139060888 | o2(x,o2(x,o1(x))) | true | 112631 | 112631 | -0.05649 | 0.467 | 0.3276 | 0.1573 | 0.3966 | -1 | 0.9745 | 1.974 | 1 | 4.643 | 0.004336 | 0.004543 | 0.06744 | -0.02323 | 1 | 0.00003 | 0.00973 | 0.04438 | 0.004331 | 0.06581 | 0.9759 | 0.9826 | 0.05646 | 0.06187 | 1 | 1 | 0.01223 | 0.1131 | 0.2649 | 0.07775 | 0.719 | 1.684 | json |
| t17_x25_u3_b44 | 17 | 25 | 3 | 44 | ![]() |
pow(R,add(R,flr(D))) | 119079 | 139060889 | o2(x,o2(x,o1(x))) | true | 112639 | 112639 | -0.917 | 0.04297 | 0.997 | 0.1536 | 0.392 | -1 | 1 | 2 | 1 | 0.3271 | 0.01522 | 0.01536 | 0.01647 | -0.00469 | 1 | -0.00001482 | 0.06382 | 0.03224 | 0.03029 | 0.174 | 10.57 | 2.828 | 0.1991 | 0.4154 | 1 | 1 | 0.02364 | 0.1034 | 0.2564 | 0.1539 | 0.6729 | 1.669 | json |
| t17_x25_u3_b45 | 17 | 25 | 3 | 45 | ![]() |
pow(R,sub(R,flr(D))) | 119080 | 139060890 | o2(x,o2(x,o1(x))) | true | 112647 | 112647 | -0.9302 | 0.04297 | 0.9839 | 0.11 | 0.3316 | -1 | 0.946 | 1.946 | 1 | 0.3994 | 0.01111 | 0.01093 | 0.01458 | 0.008194 | 1 | 0.000008684 | 0.04598 | 0.02719 | 0.02182 | 0.1477 | 10.13 | 2.498 | 0.2005 | 0.4181 | 1 | 1 | 0.01691 | 0.07414 | 0.1862 | 0.1538 | 0.6742 | 1.693 | json |
| t17_x25_u3_b46 | 17 | 25 | 3 | 46 | ![]() |
pow(R,mlt(R,flr(D))) | 119081 | 139060891 | o2(x,o2(x,o1(x))) | true | 112655 | 112655 | -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_x25_u3_b47 | 17 | 25 | 3 | 47 | ![]() |
pow(R,div(R,flr(D))) | 119082 | 139060892 | o2(x,o2(x,o1(x))) | true | 112663 | 112663 | -0.9325 | 0.04297 | 0.9816 | 0.1085 | 0.3294 | -1 | 1 | 2 | 1 | 0.3907 | 0.01151 | 0.01097 | 0.01569 | 0.02407 | 1 | -0.00001659 | 0.04643 | 0.02706 | 0.02224 | 0.1491 | 9.502 | 2.828 | 0.2073 | 0.428 | 1 | 1 | 0.01763 | 0.07896 | 0.1829 | 0.1626 | 0.7278 | 1.686 | json |
| t17_x25_u3_b48 | 17 | 25 | 3 | 48 | ![]() |
pow(R,pow(R,flr(D))) | 119083 | 139060893 | o2(x,o2(x,o1(x))) | true | 112671 | 112671 | -0.936 | 0.04297 | 0.9781 | 0.09381 | 0.3063 | -1 | 0.9428 | 1.943 | 1 | 0.4216 | 0.009385 | 0.009335 | 0.0137 | 0.002656 | 1 | 0.00001183 | 0.03898 | 0.02484 | 0.01853 | 0.1361 | 9.934 | 2.614 | 0.1996 | 0.4155 | 1 | 1 | 0.01478 | 0.06495 | 0.1585 | 0.1575 | 0.6923 | 1.69 | json |
| t17_x25_u3_b49 | 17 | 25 | 3 | 49 | ![]() |
pow(R,mod(R,flr(D))) | 119084 | 139060894 | o2(x,o2(x,o1(x))) | true | 112679 | 112679 | -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_x25_u3_b50 | 17 | 25 | 3 | 50 | ![]() |
pow(R,lrg(R,flr(D))) | 119085 | 139060895 | o2(x,o2(x,o1(x))) | true | 112687 | 112687 | -0.6464 | 0.2109 | 0.9317 | 0.4791 | 0.6922 | -1 | 1 | 2 | 1 | 1.519 | 0.06124 | 0.04767 | 0.06903 | 0.1246 | 1 | 0.00000895 | 0.2293 | 0.1268 | 0.1042 | 0.3228 | 4.676 | 2.742 | 0.2273 | 0.4785 | 1 | 1 | 0.108 | 0.4499 | 1.024 | 0.2254 | 0.939 | 2.138 | json |
| t17_x25_u3_b51 | 17 | 25 | 3 | 51 | ![]() |
pow(R,eql(R,flr(D))) | 119086 | 139060896 | o2(x,o2(x,o1(x))) | true | 112695 | 112695 | 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_x25_u3_b52 | 17 | 25 | 3 | 52 | ![]() |
pow(R,min(R,flr(D))) | 119087 | 139060897 | o2(x,o2(x,o1(x))) | true | 112703 | 112703 | -0.9141 | 0.04297 | 1 | 0.1645 | 0.4056 | -1 | 1 | 2 | 1 | 0.2557 | 0.01688 | 0.01638 | 0.01652 | 0.01515 | 1 | 0 | 0.06954 | 0.03326 | 0.03297 | 0.1816 | 10.99 | 2.828 | 0.2022 | 0.4228 | 1 | 1 | 0.02543 | 0.1095 | 0.2757 | 0.1546 | 0.6659 | 1.676 | json |
| t17_x25_u3_b53 | 17 | 25 | 3 | 53 | ![]() |
pow(R,dot(R,flr(D))) | 119088 | 139060898 | o2(x,o2(x,o1(x))) | true | 112711 | 112711 | -0.8009 | 0.1016 | 0.996 | 0.3519 | 0.5932 | -1 | 1 | 2 | 1 | 0.5805 | 0.03605 | 0.04261 | 0.04082 | -0.08344 | 1 | -0.000004141 | 0.1662 | 0.08083 | 0.07699 | 0.2775 | 6.797 | 2.828 | 0.2235 | 0.4724 | 1 | 1 | 0.08452 | 0.3478 | 0.7622 | 0.2402 | 0.9884 | 2.166 | json |
| t17_x25_u3_b54 | 17 | 25 | 3 | 54 | ![]() |
pow(R,dst(R,flr(D))) | 119089 | 139060899 | o2(x,o2(x,o1(x))) | true | 112719 | 112719 | -0.9356 | 0.04297 | 0.9784 | 0.09393 | 0.3065 | -1 | 0.937 | 1.937 | 1 | 0.4127 | 0.009376 | 0.00951 | 0.01364 | -0.007085 | 1 | 0.000009456 | 0.03939 | 0.0251 | 0.0187 | 0.1368 | 10.02 | 2.37 | 0.2011 | 0.4194 | 1 | 1 | 0.01441 | 0.06298 | 0.1547 | 0.1534 | 0.6705 | 1.647 | json |
| t17_x25_u3_b55 | 17 | 25 | 3 | 55 | ![]() |
mod(R,add(R,flr(D))) | 119090 | 139060900 | o2(x,o2(x,o1(x))) | true | 112727 | 112727 | -0.09489 | 0.3815 | 0.1921 | 0.07306 | 0.2703 | -0.9987 | 0.9558 | 1.954 | 1 | 3.926 | 0.009045 | 0.0009903 | 0.0494 | 0.8026 | 1 | -0.00002267 | 0.01607 | 0.03802 | 0.007595 | 0.08715 | 1.764 | 0.9987 | 0.1373 | 0.22 | 1 | 1 | 0.01204 | 0.07787 | 0.1337 | 0.1647 | 1.066 | 1.831 | json |
| t17_x25_u3_b56 | 17 | 25 | 3 | 56 | ![]() |
mod(R,sub(R,flr(D))) | 119091 | 139060901 | o2(x,o2(x,o1(x))) | true | 112735 | 112735 | 0.07026 | 0.5282 | 0.1982 | 0.08064 | 0.284 | -0.9676 | 0.9807 | 1.948 | 1 | 4.002 | 0.01112 | 0.001106 | 0.05331 | 0.819 | 1 | -0.00001318 | 0.02012 | 0.04331 | 0.009381 | 0.09686 | 1.817 | 0.9767 | 0.1516 | 0.2495 | 1 | 1 | 0.01488 | 0.09325 | 0.1685 | 0.1845 | 1.156 | 2.09 | json |
| t17_x25_u3_b57 | 17 | 25 | 3 | 57 | ![]() |
mod(R,mlt(R,flr(D))) | 119092 | 139060902 | o2(x,o2(x,o1(x))) | true | 112743 | 112743 | -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_x25_u3_b58 | 17 | 25 | 3 | 58 | ![]() |
mod(R,div(R,flr(D))) | 119093 | 139060903 | o2(x,o2(x,o1(x))) | true | 112751 | 112751 | -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_x25_u3_b59 | 17 | 25 | 3 | 59 | ![]() |
mod(R,pow(R,flr(D))) | 119094 | 139060904 | o2(x,o2(x,o1(x))) | true | 112759 | 112759 | -0.7255 | 0.1662 | 0.8807 | 0.3152 | 0.5615 | -1 | 0.9806 | 1.981 | 1 | 1.708 | 0.03692 | 0.03285 | 0.0588 | 0.05827 | 1 | 0.00001714 | 0.1463 | 0.0971 | 0.06629 | 0.2575 | 4.379 | 2.742 | 0.2213 | 0.4642 | 1 | 1 | 0.0702 | 0.2988 | 0.6739 | 0.2227 | 0.9478 | 2.138 | json |
| t17_x25_u3_b60 | 17 | 25 | 3 | 60 | ![]() |
mod(R,mod(R,flr(D))) | 119095 | 139060905 | o2(x,o2(x,o1(x))) | true | 112767 | 112767 | -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_x25_u3_b61 | 17 | 25 | 3 | 61 | ![]() |
mod(R,lrg(R,flr(D))) | 119096 | 139060906 | o2(x,o2(x,o1(x))) | true | 112775 | 112775 | -0.7151 | 0.1729 | 0.8775 | 0.3255 | 0.5705 | -1 | 0.9632 | 1.963 | 1 | 1.757 | 0.03653 | 0.03195 | 0.05875 | 0.06691 | 1 | 0.00002261 | 0.1433 | 0.09607 | 0.06501 | 0.255 | 4.34 | 2.742 | 0.2104 | 0.4403 | 1 | 1 | 0.07048 | 0.3018 | 0.6953 | 0.2165 | 0.9272 | 2.136 | json |
| t17_x25_u3_b62 | 17 | 25 | 3 | 62 | ![]() |
mod(R,eql(R,flr(D))) | 119097 | 139060907 | o2(x,o2(x,o1(x))) | true | 112783 | 112783 | -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_x25_u3_b63 | 17 | 25 | 3 | 63 | ![]() |
mod(R,min(R,flr(D))) | 119098 | 139060908 | o2(x,o2(x,o1(x))) | true | 112791 | 112791 | -0.7708 | 0.08853 | 0.8206 | 0.1932 | 0.4396 | -1 | 0.9805 | 1.981 | 1 | 1.884 | 0.02855 | 0.01566 | 0.05005 | 0.2916 | 1 | -0.000007441 | 0.09064 | 0.07968 | 0.04171 | 0.2042 | 4.08 | 2.783 | 0.2288 | 0.469 | 1 | 1 | 0.0429 | 0.1872 | 0.3383 | 0.222 | 0.969 | 1.751 | json |
| t17_x25_u3_b64 | 17 | 25 | 3 | 64 | ![]() |
mod(R,dot(R,flr(D))) | 119099 | 139060909 | o2(x,o2(x,o1(x))) | true | 112799 | 112799 | -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 |



































































































