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_x23_u0_b22 | 17 | 23 | 0 | 22 | ![]() |
mlt(R,add(D,sqt(R))) | 117000 | 138979462 | o2(x,o2(x,o1(x))) | true | 96007 | 96007 | -0.9373 | 0.04297 | 0.9767 | 0.08972 | 0.2995 | -1 | 1 | 2 | 1 | 0.4212 | 0.00904 | 0.009166 | 0.01361 | -0.006915 | 1 | 0.000004599 | 0.03795 | 0.02456 | 0.01802 | 0.1342 | 9.862 | 2.517 | 0.2029 | 0.423 | 1 | 1 | 0.01448 | 0.06262 | 0.1492 | 0.1614 | 0.698 | 1.663 | json |
| t17_x23_u0_b23 | 17 | 23 | 0 | 23 | ![]() |
mlt(R,sub(D,sqt(R))) | 117001 | 138979463 | o2(x,o2(x,o1(x))) | true | 96015 | 96015 | -0.977 | 0 | 0.977 | 0.0141 | 0.1187 | -1 | -0.03097 | 0.969 | 1 | 0.4101 | 0.001624 | 0.001459 | 0.006163 | 0.05366 | 1 | -0.00001523 | 0.006286 | 0.009519 | 0.003042 | 0.05515 | 8.949 | 1.116 | 0.2187 | 0.4459 | 1 | 1 | 0.002108 | 0.009127 | 0.02199 | 0.1496 | 0.6474 | 1.56 | json |
| t17_x23_u0_b24 | 17 | 23 | 0 | 24 | ![]() |
mlt(R,mlt(D,sqt(R))) | 117002 | 138979464 | o2(x,o2(x,o1(x))) | true | 96023 | 96023 | -0.9572 | 0.0209 | 0.9596 | 0.04109 | 0.2027 | -1 | 0.2038 | 1.204 | 1 | 0.3589 | 0.00423 | 0.004158 | 0.009046 | 0.008606 | 1 | -0.000004599 | 0.01752 | 0.01694 | 0.008309 | 0.09116 | 10.08 | 1.406 | 0.2041 | 0.4263 | 1 | 1 | 0.006426 | 0.02737 | 0.06733 | 0.1564 | 0.666 | 1.639 | json |
| t17_x23_u0_b25 | 17 | 23 | 0 | 25 | ![]() |
mlt(R,div(D,sqt(R))) | 117003 | 138979465 | o2(x,o2(x,o1(x))) | true | 96031 | 96031 | -0.9571 | 0.02122 | 0.9602 | 0.04125 | 0.2031 | -1 | 0.1732 | 1.173 | 1 | 0.361 | 0.004244 | 0.004108 | 0.009255 | 0.01627 | 1 | -0.000006666 | 0.01743 | 0.017 | 0.008269 | 0.09093 | 9.826 | 1.389 | 0.2025 | 0.4224 | 1 | 1 | 0.00637 | 0.02723 | 0.06807 | 0.1544 | 0.6602 | 1.65 | json |
| t17_x23_u0_b26 | 17 | 23 | 0 | 26 | ![]() |
mlt(R,pow(D,sqt(R))) | 117004 | 138979466 | o2(x,o2(x,o1(x))) | true | 96039 | 96039 | -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_x23_u0_b27 | 17 | 23 | 0 | 27 | ![]() |
mlt(R,mod(D,sqt(R))) | 117005 | 138979467 | o2(x,o2(x,o1(x))) | true | 96047 | 96047 | -0.9572 | 0.02113 | 0.9602 | 0.0412 | 0.203 | -1 | 0.249 | 1.249 | 1 | 0.3677 | 0.004249 | 0.004146 | 0.009302 | 0.01224 | 1 | -0.000006961 | 0.01752 | 0.01715 | 0.008311 | 0.09116 | 9.8 | 1.399 | 0.2038 | 0.4253 | 1 | 1 | 0.00642 | 0.02733 | 0.06752 | 0.1558 | 0.6635 | 1.639 | json |
| t17_x23_u0_b28 | 17 | 23 | 0 | 28 | ![]() |
mlt(R,lrg(D,sqt(R))) | 117006 | 138979468 | o2(x,o2(x,o1(x))) | true | 96055 | 96055 | -0.2505 | 0.04886 | 0.2528 | 0.06622 | 0.2573 | -0.9989 | 0.1221 | 1.121 | 1 | 3.632 | 0.0008707 | 0.0009396 | 0.03293 | -0.03803 | 1 | 0.000007598 | 0.0003578 | 0.01045 | 0.0007263 | 0.02695 | 0.8185 | 0.1349 | 0.02734 | 0.005404 | 1 | 1 | 0.003202 | 0.04032 | 0.1072 | 0.04835 | 0.6089 | 1.619 | json |
| t17_x23_u0_b29 | 17 | 23 | 0 | 29 | ![]() |
mlt(R,eql(D,sqt(R))) | 117007 | 138979469 | o2(x,o2(x,o1(x))) | true | 96063 | 96063 | 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_x23_u0_b30 | 17 | 23 | 0 | 30 | ![]() |
mlt(R,min(D,sqt(R))) | 117008 | 138979470 | o2(x,o2(x,o1(x))) | true | 96071 | 96071 | 0.001099 | 0.5077 | 0.09075 | 0.01509 | 0.1229 | -0.4311 | 0.4889 | 0.92 | 1 | 3.004 | 0.0007909 | 0.0002195 | 0.02771 | 0.5655 | 1 | -0.00003557 | 0.0001035 | 0.008012 | 0.0002425 | 0.01557 | 0.5619 | 0.08276 | 0.06694 | 0.006858 | 1 | 1 | 0.001986 | 0.02213 | 0.02939 | 0.1316 | 1.466 | 1.947 | json |
| t17_x23_u0_b31 | 17 | 23 | 0 | 31 | ![]() |
mlt(R,dot(D,sqt(R))) | 117009 | 138979471 | o2(x,o2(x,o1(x))) | true | 96079 | 96079 | -0.9958 | 0.003174 | 0.9964 | 0.004457 | 0.06676 | -1 | 0.2058 | 1.206 | 1 | 0.04554 | 0.0005745 | 0.0005173 | 0.001133 | 0.05233 | 1 | 6.007e-11 | 0.002291 | 0.002111 | 0.00109 | 0.03301 | 29.14 | 1.396 | 0.2449 | 0.514 | 1 | 1 | 0.001939 | 0.008142 | 0.01574 | 0.4351 | 1.827 | 3.531 | json |
| t17_x23_u0_b32 | 17 | 23 | 0 | 32 | ![]() |
mlt(R,dst(D,sqt(R))) | 117010 | 138979472 | o2(x,o2(x,o1(x))) | true | 96087 | 96087 | -0.993 | 0.003906 | 0.9992 | 0.01263 | 0.1124 | -1 | 1 | 2 | 1 | 0.04787 | 0.001628 | 0.001572 | 0.001891 | 0.01734 | 1 | 4.13e-11 | 0.006771 | 0.003587 | 0.003194 | 0.05651 | 29.89 | 2.039 | 0.2534 | 0.5363 | 1 | 1 | 0.005648 | 0.02323 | 0.04438 | 0.4473 | 1.84 | 3.515 | json |
| t17_x23_u0_b33 | 17 | 23 | 0 | 33 | ![]() |
div(R,add(D,sqt(R))) | 117011 | 138979473 | o2(x,o2(x,o1(x))) | true | 96095 | 96095 | -0.9256 | 0.0399 | 0.9927 | 0.1325 | 0.364 | -1 | 1 | 2 | 1 | 0.3668 | 0.02237 | 0.01363 | 0.02255 | 0.2428 | 1 | 0.00005401 | 0.08144 | 0.04164 | 0.03548 | 0.1884 | 8.352 | 2.776 | 0.2717 | 0.6147 | 1 | 1 | 0.025 | 0.0979 | 0.228 | 0.1887 | 0.7389 | 1.721 | json |
| t17_x23_u0_b34 | 17 | 23 | 0 | 34 | ![]() |
div(R,sub(D,sqt(R))) | 117012 | 138979474 | o2(x,o2(x,o1(x))) | true | 96103 | 96103 | -0.9878 | 0.003296 | 0.9923 | 0.01301 | 0.1141 | -1 | 1 | 2 | 1 | 0.2355 | 0.01086 | 0.001442 | 0.0112 | 0.7656 | 1 | 1.96e-8 | 0.03213 | 0.0184 | 0.01217 | 0.1103 | 9.854 | 2.621 | 0.9453 | 2.47 | 1 | 1 | 0.005988 | 0.01095 | 0.02073 | 0.4603 | 0.8413 | 1.593 | json |
| t17_x23_u0_b35 | 17 | 23 | 0 | 35 | ![]() |
div(R,mlt(D,sqt(R))) | 117013 | 138979475 | o2(x,o2(x,o1(x))) | true | 96111 | 96111 | -0.9573 | 0.02118 | 0.9947 | 0.07661 | 0.2768 | -1 | 1 | 2 | 1 | 0.2447 | 0.0116 | 0.007305 | 0.01377 | 0.2272 | 1 | -3.083e-7 | 0.0358 | 0.01986 | 0.01872 | 0.1368 | 9.932 | 2.062 | 0.2468 | 0.4673 | 1 | 1 | 0.01408 | 0.0679 | 0.1214 | 0.1838 | 0.8863 | 1.585 | json |
| t17_x23_u0_b36 | 17 | 23 | 0 | 36 | ![]() |
div(R,div(D,sqt(R))) | 117014 | 138979476 | o2(x,o2(x,o1(x))) | true | 96119 | 96119 | -0.9578 | 0.02112 | 0.9902 | 0.06987 | 0.2643 | -1 | 1 | 2 | 1 | 0.3018 | 0.01076 | 0.006704 | 0.01384 | 0.2323 | 1 | 0.00001936 | 0.03456 | 0.01953 | 0.01727 | 0.1314 | 9.497 | 2.072 | 0.25 | 0.4946 | 1 | 1 | 0.01245 | 0.05928 | 0.1068 | 0.1782 | 0.8484 | 1.528 | json |
| t17_x23_u0_b37 | 17 | 23 | 0 | 37 | ![]() |
div(R,pow(D,sqt(R))) | 117015 | 138979477 | o2(x,o2(x,o1(x))) | true | 96127 | 96127 | -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_x23_u0_b38 | 17 | 23 | 0 | 38 | ![]() |
div(R,mod(D,sqt(R))) | 117016 | 138979478 | o2(x,o2(x,o1(x))) | true | 96135 | 96135 | -0.9575 | 0.02112 | 0.9922 | 0.07291 | 0.27 | -1 | 1 | 2 | 1 | 0.2811 | 0.02462 | 0.007317 | 0.02252 | 0.5418 | 1 | 8.374e-7 | 0.0798 | 0.03754 | 0.03142 | 0.1773 | 7.872 | 2.828 | 0.4381 | 1.094 | 1 | 1 | 0.01853 | 0.06227 | 0.1148 | 0.2541 | 0.854 | 1.575 | json |
| t17_x23_u0_b39 | 17 | 23 | 0 | 39 | ![]() |
div(R,lrg(D,sqt(R))) | 117017 | 138979479 | o2(x,o2(x,o1(x))) | true | 96143 | 96143 | -0.6867 | 0.1238 | 0.9337 | 0.4382 | 0.662 | -1 | 1 | 2 | 1 | 1.542 | 0.1227 | 0.05465 | 0.1023 | 0.3838 | 1 | 0.0006926 | 0.4057 | 0.1995 | 0.1669 | 0.4085 | 3.993 | 2.828 | 0.4048 | 0.9258 | 1 | 1 | 0.167 | 0.5529 | 0.8146 | 0.3811 | 1.262 | 1.859 | json |
| t17_x23_u0_b40 | 17 | 23 | 0 | 40 | ![]() |
div(R,eql(D,sqt(R))) | 117018 | 138979480 | o2(x,o2(x,o1(x))) | true | 96151 | 96151 | -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_x23_u0_b41 | 17 | 23 | 0 | 41 | ![]() |
div(R,min(D,sqt(R))) | 117019 | 138979481 | o2(x,o2(x,o1(x))) | true | 96159 | 96159 | 0.01148 | 0.5075 | 0.8025 | 0.7397 | 0.86 | -1 | 1 | 2 | 1 | 3.327 | 0.2573 | 0.03212 | 0.239 | 0.778 | 1 | -0.00006993 | 0.5792 | 0.313 | 0.2321 | 0.4818 | 2.016 | 2.828 | 0.3912 | 0.7831 | 1 | 1 | 0.3234 | 1.359 | 1.367 | 0.4372 | 1.837 | 1.847 | json |
| t17_x23_u0_b42 | 17 | 23 | 0 | 42 | ![]() |
div(R,dot(D,sqt(R))) | 117020 | 138979482 | o2(x,o2(x,o1(x))) | true | 96167 | 96167 | -0.9956 | 0.002213 | 0.9995 | 0.008122 | 0.09012 | -1 | 1 | 2 | 1 | 0.03397 | 0.002594 | 0.002445 | 0.002732 | 0.0296 | 1 | 3.754e-12 | 0.01677 | 0.005297 | 0.005027 | 0.0709 | 25.95 | 2.828 | 0.6205 | 2.065 | 1 | 1 | 0.008342 | 0.02399 | 0.02867 | 1.027 | 2.954 | 3.53 | json |
| t17_x23_u0_b43 | 17 | 23 | 0 | 43 | ![]() |
div(R,dst(D,sqt(R))) | 117021 | 138979483 | o2(x,o2(x,o1(x))) | true | 96175 | 96175 | -0.9942 | 0.003906 | 0.998 | 0.008678 | 0.09315 | -1 | 0.6535 | 1.653 | 1 | 0.04747 | 0.001109 | 0.00112 | 0.001562 | -0.005051 | 1 | 3.754e-11 | 0.004726 | 0.003009 | 0.002225 | 0.04717 | 30.21 | 1.855 | 0.2569 | 0.5446 | 1 | 1 | 0.003931 | 0.01585 | 0.0305 | 0.453 | 1.826 | 3.514 | json |
| t17_x23_u0_b44 | 17 | 23 | 0 | 44 | ![]() |
pow(R,add(D,sqt(R))) | 117022 | 138979484 | o2(x,o2(x,o1(x))) | true | 96183 | 96183 | -0.9265 | 0.04297 | 0.9875 | 0.121 | 0.3478 | -1 | 0.9512 | 1.951 | 1 | 0.3896 | 0.01191 | 0.01199 | 0.01501 | -0.003184 | 1 | 0.000005059 | 0.0498 | 0.02835 | 0.02368 | 0.1539 | 10.25 | 2.658 | 0.1975 | 0.4117 | 1 | 1 | 0.01862 | 0.0811 | 0.2 | 0.1539 | 0.6705 | 1.654 | json |
| t17_x23_u0_b45 | 17 | 23 | 0 | 45 | ![]() |
pow(R,sub(D,sqt(R))) | 117023 | 138979485 | o2(x,o2(x,o1(x))) | true | 96191 | 96191 | -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_x23_u0_b46 | 17 | 23 | 0 | 46 | ![]() |
pow(R,mlt(D,sqt(R))) | 117024 | 138979486 | o2(x,o2(x,o1(x))) | true | 96199 | 96199 | -0.915 | 0.04297 | 0.9991 | 0.1611 | 0.4014 | -1 | 1 | 2 | 1 | 0.282 | 0.01678 | 0.01606 | 0.0167 | 0.02207 | 1 | 0.000002018 | 0.06885 | 0.03325 | 0.03255 | 0.1804 | 10.8 | 2.828 | 0.2039 | 0.4274 | 1 | 1 | 0.02514 | 0.1078 | 0.2693 | 0.1561 | 0.6695 | 1.672 | json |
| t17_x23_u0_b47 | 17 | 23 | 0 | 47 | ![]() |
pow(R,div(D,sqt(R))) | 117025 | 138979487 | o2(x,o2(x,o1(x))) | true | 96207 | 96207 | -0.9165 | 0.04297 | 0.9976 | 0.156 | 0.3949 | -1 | 1 | 2 | 1 | 0.315 | 0.01664 | 0.01544 | 0.0169 | 0.0375 | 1 | 0.000002906 | 0.06744 | 0.03306 | 0.03177 | 0.1782 | 10.54 | 2.828 | 0.2057 | 0.4325 | 1 | 1 | 0.02462 | 0.1055 | 0.259 | 0.1579 | 0.6767 | 1.661 | json |
| t17_x23_u0_b48 | 17 | 23 | 0 | 48 | ![]() |
pow(R,pow(D,sqt(R))) | 117026 | 138979488 | o2(x,o2(x,o1(x))) | true | 96215 | 96215 | -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_x23_u0_b49 | 17 | 23 | 0 | 49 | ![]() |
pow(R,mod(D,sqt(R))) | 117027 | 138979489 | o2(x,o2(x,o1(x))) | true | 96223 | 96223 | -0.9159 | 0.04297 | 0.9982 | 0.1577 | 0.3972 | -1 | 1 | 2 | 1 | 0.309 | 0.01677 | 0.01576 | 0.01703 | 0.03115 | 1 | 0.00001281 | 0.06838 | 0.03364 | 0.03222 | 0.1795 | 10.54 | 2.828 | 0.2063 | 0.4335 | 1 | 1 | 0.02492 | 0.1063 | 0.2637 | 0.158 | 0.6742 | 1.672 | json |
| t17_x23_u0_b50 | 17 | 23 | 0 | 50 | ![]() |
pow(R,lrg(D,sqt(R))) | 117028 | 138979490 | o2(x,o2(x,o1(x))) | true | 96231 | 96231 | -0.9153 | 0.04297 | 0.9988 | 0.1602 | 0.4002 | -1 | 1 | 2 | 1 | 0.2912 | 0.01704 | 0.01586 | 0.01714 | 0.03567 | 1 | 0.000003721 | 0.06889 | 0.0338 | 0.03259 | 0.1805 | 10.53 | 2.828 | 0.2054 | 0.4301 | 1 | 1 | 0.02509 | 0.1064 | 0.2675 | 0.1567 | 0.6642 | 1.67 | json |
| t17_x23_u0_b51 | 17 | 23 | 0 | 51 | ![]() |
pow(R,eql(D,sqt(R))) | 117029 | 138979491 | o2(x,o2(x,o1(x))) | true | 96239 | 96239 | 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_x23_u0_b52 | 17 | 23 | 0 | 52 | ![]() |
pow(R,min(D,sqt(R))) | 117030 | 138979492 | o2(x,o2(x,o1(x))) | true | 96247 | 96247 | -0.9156 | 0.04297 | 0.9985 | 0.1591 | 0.3988 | -1 | 1 | 2 | 1 | 0.302 | 0.01672 | 0.01579 | 0.0168 | 0.02843 | 1 | 0.0000022 | 0.06825 | 0.03319 | 0.03221 | 0.1795 | 10.69 | 2.828 | 0.2044 | 0.4291 | 1 | 1 | 0.02492 | 0.1068 | 0.265 | 0.1566 | 0.6715 | 1.666 | json |
| t17_x23_u0_b53 | 17 | 23 | 0 | 53 | ![]() |
pow(R,dot(D,sqt(R))) | 117031 | 138979493 | o2(x,o2(x,o1(x))) | true | 96255 | 96255 | -0.9922 | 0.003906 | 1 | 0.01549 | 0.1244 | -1 | 1 | 2 | 1 | 0.03687 | 0.002011 | 0.001993 | 0.002001 | 0.00463 | 1 | -3.004e-11 | 0.008514 | 0.004027 | 0.003997 | 0.06322 | 31.6 | 2.828 | 0.2586 | 0.5498 | 1 | 1 | 0.00704 | 0.02822 | 0.05469 | 0.4546 | 1.823 | 3.532 | json |
| t17_x23_u0_b54 | 17 | 23 | 0 | 54 | ![]() |
pow(R,dst(D,sqt(R))) | 117032 | 138979494 | o2(x,o2(x,o1(x))) | true | 96263 | 96263 | -0.9939 | 0.003906 | 0.9983 | 0.009551 | 0.09773 | -1 | 0.7866 | 1.787 | 1 | 0.04895 | 0.001235 | 0.001268 | 0.001668 | -0.01294 | 1 | 2.253e-11 | 0.005318 | 0.003179 | 0.002498 | 0.04998 | 29.97 | 1.848 | 0.2621 | 0.5568 | 1 | 1 | 0.004409 | 0.01754 | 0.03351 | 0.4616 | 1.836 | 3.508 | json |
| t17_x23_u0_b55 | 17 | 23 | 0 | 55 | ![]() |
mod(R,add(D,sqt(R))) | 117033 | 138979495 | o2(x,o2(x,o1(x))) | true | 96271 | 96271 | -0.9402 | 0.04297 | 0.9739 | 0.08172 | 0.2859 | -1 | 0.9425 | 1.943 | 1 | 0.4144 | 0.01068 | 0.008282 | 0.01497 | 0.1265 | 1 | 0.00008708 | 0.0416 | 0.02748 | 0.01875 | 0.1369 | 9.145 | 2.64 | 0.232 | 0.509 | 1 | 1 | 0.01441 | 0.05689 | 0.135 | 0.1763 | 0.6961 | 1.651 | json |
| t17_x23_u0_b56 | 17 | 23 | 0 | 56 | ![]() |
mod(R,sub(D,sqt(R))) | 117034 | 138979496 | o2(x,o2(x,o1(x))) | true | 96279 | 96279 | -0.9397 | 0.04297 | 0.9743 | 0.08294 | 0.288 | -1 | 0.94 | 1.94 | 1 | 0.4142 | 0.01049 | 0.008166 | 0.01473 | 0.1246 | 1 | 0.00006907 | 0.03999 | 0.027 | 0.01845 | 0.1358 | 9.225 | 2.64 | 0.225 | 0.4822 | 1 | 1 | 0.0148 | 0.0584 | 0.1431 | 0.1785 | 0.7042 | 1.726 | json |
| t17_x23_u0_b57 | 17 | 23 | 0 | 57 | ![]() |
mod(R,mlt(D,sqt(R))) | 117035 | 138979497 | o2(x,o2(x,o1(x))) | true | 96287 | 96287 | -0.9526 | 0.04297 | 0.9614 | 0.05022 | 0.2241 | -1 | 0.3785 | 1.379 | 1 | 0.3457 | 0.004532 | 0.005058 | 0.01096 | -0.05488 | 1 | -0.00001947 | 0.01992 | 0.02082 | 0.009472 | 0.09732 | 8.877 | 1.447 | 0.191 | 0.3967 | 1 | 1 | 0.007314 | 0.03361 | 0.08401 | 0.1457 | 0.6694 | 1.673 | json |
| t17_x23_u0_b58 | 17 | 23 | 0 | 58 | ![]() |
mod(R,div(D,sqt(R))) | 117036 | 138979498 | o2(x,o2(x,o1(x))) | true | 96295 | 96295 | -0.9493 | 0.04297 | 0.9648 | 0.05802 | 0.2409 | -1 | 0.5351 | 1.535 | 1 | 0.3758 | 0.004847 | 0.005854 | 0.01198 | -0.09412 | 1 | -0.000008227 | 0.02212 | 0.02238 | 0.01056 | 0.1028 | 8.578 | 1.535 | 0.1844 | 0.3813 | 1 | 1 | 0.008113 | 0.03882 | 0.09748 | 0.1398 | 0.669 | 1.68 | json |
| t17_x23_u0_b59 | 17 | 23 | 0 | 59 | ![]() |
mod(R,pow(D,sqt(R))) | 117037 | 138979499 | o2(x,o2(x,o1(x))) | true | 96303 | 96303 | -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_x23_u0_b60 | 17 | 23 | 0 | 60 | ![]() |
mod(R,mod(D,sqt(R))) | 117038 | 138979500 | o2(x,o2(x,o1(x))) | true | 96311 | 96311 | -0.9516 | 0.04297 | 0.9625 | 0.05273 | 0.2296 | -1 | 0.4312 | 1.431 | 1 | 0.3595 | 0.004726 | 0.005294 | 0.01144 | -0.05674 | 1 | -0.00002353 | 0.0209 | 0.02162 | 0.009885 | 0.09942 | 8.692 | 1.456 | 0.19 | 0.3963 | 1 | 1 | 0.007659 | 0.03555 | 0.08915 | 0.1452 | 0.6741 | 1.691 | json |
| t17_x23_u0_b61 | 17 | 23 | 0 | 61 | ![]() |
mod(R,lrg(D,sqt(R))) | 117039 | 138979501 | o2(x,o2(x,o1(x))) | true | 96319 | 96319 | -0.9337 | 0.0002594 | 0.9337 | 0.03794 | 0.1948 | -1 | 0.02876 | 1.029 | 1 | 1.029 | 0.007939 | 0.003406 | 0.02048 | 0.3996 | 1 | 0.0001887 | 0.02411 | 0.0347 | 0.01093 | 0.1045 | 5.105 | 1.41 | 0.299 | 0.6354 | 1 | 1 | 0.01152 | 0.04016 | 0.06847 | 0.3037 | 1.059 | 1.805 | json |
| t17_x23_u0_b62 | 17 | 23 | 0 | 62 | ![]() |
mod(R,eql(D,sqt(R))) | 117040 | 138979502 | o2(x,o2(x,o1(x))) | true | 96327 | 96327 | -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_x23_u0_b63 | 17 | 23 | 0 | 63 | ![]() |
mod(R,min(D,sqt(R))) | 117041 | 138979503 | o2(x,o2(x,o1(x))) | true | 96335 | 96335 | -0.006161 | 0.4759 | 0.09044 | 0.01497 | 0.1224 | -0.456 | 0.4355 | 0.8915 | 1 | 2.997 | 0.006824 | 0.0002258 | 0.06342 | 0.9359 | 1 | -0.00001868 | 0.01816 | 0.09708 | 0.003027 | 0.05502 | 0.8674 | 0.39 | 0.4708 | 1.213 | 1 | 1 | 0.005404 | 0.01627 | 0.02848 | 0.3609 | 1.087 | 1.902 | json |
| t17_x23_u0_b64 | 17 | 23 | 0 | 64 | ![]() |
mod(R,dot(D,sqt(R))) | 117042 | 138979504 | o2(x,o2(x,o1(x))) | true | 96343 | 96343 | -0.9955 | 0.003906 | 0.9967 | 0.005143 | 0.07171 | -1 | 0.382 | 1.382 | 1 | 0.04633 | 0.0006379 | 0.0006648 | 0.001433 | -0.02068 | 1 | -1.502e-11 | 0.002906 | 0.002851 | 0.001299 | 0.03605 | 25.16 | 1.433 | 0.2533 | 0.5651 | 1 | 1 | 0.002263 | 0.009418 | 0.01816 | 0.44 | 1.831 | 3.532 | json |
| t17_x23_u0_b65 | 17 | 23 | 0 | 65 | ![]() |
mod(R,dst(D,sqt(R))) | 117043 | 138979505 | o2(x,o2(x,o1(x))) | true | 96351 | 96351 | -0.9936 | 0.003906 | 0.9985 | 0.01041 | 0.102 | -1 | 0.8541 | 1.854 | 1 | 0.04859 | 0.001346 | 0.001359 | 0.001724 | -0.004524 | 1 | 8.635e-11 | 0.005743 | 0.003299 | 0.0027 | 0.05196 | 30.14 | 1.939 | 0.2599 | 0.5518 | 1 | 1 | 0.004764 | 0.01909 | 0.03654 | 0.4578 | 1.834 | 3.511 | json |
| t17_x23_u0_b66 | 17 | 23 | 0 | 66 | ![]() |
lrg(R,add(D,sqt(R))) | 117044 | 138979506 | o2(x,o2(x,o1(x))) | true | 96359 | 96359 | 0.6827 | 0.9921 | 0.6827 | 0.1304 | 0.3611 | 0 | 1 | 1 | 1 | 3.134 | 0.02362 | 0.001745 | 0.07412 | 0.8624 | 1 | -0.0002654 | 0.04361 | 0.0657 | 0.01988 | 0.141 | 1.902 | 0.9997 | 0.1945 | 0.3344 | 1 | 1 | 0.02812 | 0.1489 | 0.2091 | 0.2156 | 1.142 | 1.603 | json |
| t17_x23_u0_b67 | 17 | 23 | 0 | 67 | ![]() |
lrg(R,sub(D,sqt(R))) | 117045 | 138979507 | o2(x,o2(x,o1(x))) | true | 96367 | 96367 | 0.9878 | 1 | 0.9878 | 0.005097 | 0.07139 | 0.007413 | 1 | 0.9926 | 1 | 0.37 | 0.001738 | 0.0000753 | 0.006645 | 0.917 | 1 | 0.00001056 | 0.003561 | 0.007266 | 0.00177 | 0.04208 | 6.332 | 0.9926 | 0.3558 | 0.6987 | 1 | 1 | 0.001696 | 0.006813 | 0.01165 | 0.3328 | 1.337 | 2.287 | json |
| t17_x23_u0_b68 | 17 | 23 | 0 | 68 | ![]() |
lrg(R,mlt(D,sqt(R))) | 117046 | 138979508 | o2(x,o2(x,o1(x))) | true | 96375 | 96375 | 0.9764 | 1 | 0.9764 | 0.008587 | 0.09266 | 0.007413 | 1 | 0.9926 | 1 | 0.6761 | 0.003381 | 0.0001242 | 0.01432 | 0.9291 | 1 | 0.00002584 | 0.007036 | 0.01663 | 0.003299 | 0.05743 | 4.011 | 0.9926 | 0.4082 | 0.8195 | 1 | 1 | 0.002943 | 0.009819 | 0.01635 | 0.3427 | 1.143 | 1.905 | json |
| t17_x23_u0_b69 | 17 | 23 | 0 | 69 | ![]() |
lrg(R,div(D,sqt(R))) | 117047 | 138979509 | o2(x,o2(x,o1(x))) | true | 96383 | 96383 | 0.9138 | 1 | 0.9138 | 0.0389 | 0.1972 | 0.000582 | 1 | 0.9994 | 1 | 1.595 | 0.01166 | 0.00054 | 0.03713 | 0.9115 | 1 | 0.00004844 | 0.02302 | 0.03841 | 0.01082 | 0.104 | 2.802 | 0.9994 | 0.3136 | 0.5919 | 1 | 1 | 0.01099 | 0.04509 | 0.06297 | 0.2825 | 1.159 | 1.619 | json |
| t17_x23_u0_b70 | 17 | 23 | 0 | 70 | ![]() |
lrg(R,pow(D,sqt(R))) | 117048 | 138979510 | o2(x,o2(x,o1(x))) | true | 96391 | 96391 | 0.9099 | 1 | 0.9099 | 0.04285 | 0.207 | 0.000291 | 1 | 0.9997 | 1 | 1.599 | 0.01138 | 0.0005874 | 0.036 | 0.9018 | 1 | 0.0002941 | 0.02237 | 0.03642 | 0.01066 | 0.1033 | 2.869 | 0.9997 | 0.2792 | 0.5219 | 1 | 1 | 0.01087 | 0.04749 | 0.06905 | 0.2536 | 1.108 | 1.611 | json |
| t17_x23_u0_b71 | 17 | 23 | 0 | 71 | ![]() |
lrg(R,mod(D,sqt(R))) | 117049 | 138979511 | o2(x,o2(x,o1(x))) | true | 96399 | 96399 | 0.9535 | 1 | 0.9535 | 0.02247 | 0.1499 | 0.000582 | 1 | 0.9994 | 1 | 0.9712 | 0.01307 | 0.0003166 | 0.03333 | 0.9527 | 1 | 0.00003415 | 0.02822 | 0.05011 | 0.01227 | 0.1108 | 3.323 | 0.9994 | 0.5958 | 1.256 | 1 | 1 | 0.01028 | 0.02573 | 0.03953 | 0.4577 | 1.145 | 1.759 | json |
| t17_x23_u0_b72 | 17 | 23 | 0 | 72 | ![]() |
lrg(R,lrg(D,sqt(R))) | 117050 | 138979512 | o2(x,o2(x,o1(x))) | true | 96407 | 96407 | 0.4588 | 0.8622 | 0.4588 | 0.1542 | 0.3926 | 0 | 1 | 1 | 1 | 3.395 | 0.00536 | 0.002367 | 0.05659 | 0.3873 | 1 | 0.000008034 | 0.007287 | 0.02633 | 0.004526 | 0.06728 | 1.189 | 0.9994 | 0.05012 | 0.04727 | 1 | 1 | 0.0114 | 0.1182 | 0.2916 | 0.07393 | 0.7667 | 1.892 | json |
| t17_x23_u0_b73 | 17 | 23 | 0 | 73 | ![]() |
lrg(R,eql(D,sqt(R))) | 117051 | 138979513 | o2(x,o2(x,o1(x))) | true | 96415 | 96415 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t17_x23_u0_b74 | 17 | 23 | 0 | 74 | ![]() |
lrg(R,min(D,sqt(R))) | 117052 | 138979514 | o2(x,o2(x,o1(x))) | true | 96423 | 96423 | 0.4991 | 0.9305 | 0.4991 | 0.1466 | 0.3829 | 0 | 1 | 1 | 1 | 3.529 | 0.0202 | 0.00212 | 0.08082 | 0.81 | 1 | 0.00001402 | 0.03815 | 0.07049 | 0.01579 | 0.1257 | 1.555 | 0.9997 | 0.1522 | 0.2602 | 1 | 1 | 0.02456 | 0.14 | 0.2709 | 0.1675 | 0.9551 | 1.848 | json |
| t17_x23_u0_b75 | 17 | 23 | 0 | 75 | ![]() |
lrg(R,dot(D,sqt(R))) | 117053 | 138979515 | o2(x,o2(x,o1(x))) | true | 96431 | 96431 | 0.9769 | 1 | 0.9769 | 0.008682 | 0.09317 | 0.0142 | 1 | 0.9858 | 1 | 0.6537 | 0.002086 | 0.002596 | 0.01353 | -0.1088 | 1 | 0.00006875 | 0.01704 | 0.01961 | 0.004499 | 0.06708 | 4.959 | 1.383 | 0.5393 | 1.963 | 1 | 1 | 0.00453 | 0.01292 | 0.01353 | 0.5218 | 1.489 | 1.559 | json |
| t17_x23_u0_b76 | 17 | 23 | 0 | 76 | ![]() |
lrg(R,dst(D,sqt(R))) | 117054 | 138979516 | o2(x,o2(x,o1(x))) | true | 96439 | 96439 | 0.7545 | 0.9942 | 0.7545 | 0.1146 | 0.3385 | 0 | 1 | 1 | 1 | 2.718 | 0.002159 | 0.002161 | 0.03989 | -0.0004756 | 1 | 0.000002849 | 0.003515 | 0.01356 | 0.002729 | 0.05224 | 1.31 | 1.229 | 0.03771 | 0.03068 | 1 | 1 | 0.007667 | 0.08935 | 0.2293 | 0.06693 | 0.78 | 2.002 | json |
| t17_x23_u0_b77 | 17 | 23 | 0 | 77 | ![]() |
eql(R,add(D,sqt(R))) | 117055 | 138979517 | o2(x,o2(x,o1(x))) | true | 96447 | 96447 | 0.0002262 | 0.0004883 | 0.0002262 | 0.0001642 | 0.01281 | 0 | 0.9264 | 0.9264 | 1 | 0.006378 | 0.0003391 | 0.000002405 | 0.0004713 | 0.9859 | 1 | 7.984e-13 | 0.001027 | 0.0009344 | 0.000341 | 0.01847 | 39.18 | 0.9264 | 2.08 | 6.255 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x23_u0_b78 | 17 | 23 | 0 | 78 | ![]() |
eql(R,sub(D,sqt(R))) | 117056 | 138979518 | o2(x,o2(x,o1(x))) | true | 96455 | 96455 | 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_x23_u0_b79 | 17 | 23 | 0 | 79 | ![]() |
eql(R,mlt(D,sqt(R))) | 117057 | 138979519 | o2(x,o2(x,o1(x))) | true | 96463 | 96463 | 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_x23_u0_b80 | 17 | 23 | 0 | 80 | ![]() |
eql(R,div(D,sqt(R))) | 117058 | 138979520 | o2(x,o2(x,o1(x))) | true | 96471 | 96471 | 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_x23_u0_b81 | 17 | 23 | 0 | 81 | ![]() |
eql(R,pow(D,sqt(R))) | 117059 | 138979521 | o2(x,o2(x,o1(x))) | true | 96479 | 96479 | 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_x23_u0_b82 | 17 | 23 | 0 | 82 | ![]() |
eql(R,mod(D,sqt(R))) | 117060 | 138979522 | o2(x,o2(x,o1(x))) | true | 96487 | 96487 | 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_x23_u0_b83 | 17 | 23 | 0 | 83 | ![]() |
eql(R,lrg(D,sqt(R))) | 117061 | 138979523 | o2(x,o2(x,o1(x))) | true | 96495 | 96495 | 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_x23_u0_b84 | 17 | 23 | 0 | 84 | ![]() |
eql(R,eql(D,sqt(R))) | 117062 | 138979524 | o2(x,o2(x,o1(x))) | true | 96503 | 96503 | 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_x23_u0_b85 | 17 | 23 | 0 | 85 | ![]() |
eql(R,min(D,sqt(R))) | 117063 | 138979525 | o2(x,o2(x,o1(x))) | true | 96511 | 96511 | 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_x23_u0_b86 | 17 | 23 | 0 | 86 | ![]() |
eql(R,dot(D,sqt(R))) | 117064 | 138979526 | o2(x,o2(x,o1(x))) | true | 96519 | 96519 | 0.000001186 | 0.00001526 | 0.000001186 | 9.217e-8 | 0.0003036 | 0 | 0.07772 | 0.07772 | 1 | 0.0002662 | 1.902e-7 | 1.902e-7 | 0.000004179 | 0 | 0 | 0 | 0.000001902 | 0.000009791 | 3.805e-7 | 0.0006168 | 147.6 | 0.1099 | 4.128 | 20.64 | 1 | 1 | 3.347e-7 | 3.347e-7 | 1.673e-7 | 3.631 | 3.631 | 1.815 | json |
| t17_x23_u0_b87 | 17 | 23 | 0 | 87 | ![]() |
eql(R,dst(D,sqt(R))) | 117065 | 138979527 | o2(x,o2(x,o1(x))) | true | 96527 | 96527 | 4.947e-7 | 0.00004578 | 4.947e-7 | 5.845e-9 | 0.00007645 | 0 | 0.01314 | 0.01314 | 1 | 0 | 1.207e-8 | 1.207e-8 | 0.000001743 | 0 | 0 | 0 | 1.207e-7 | 0.000004084 | 2.413e-8 | 0.0001553 | 89.11 | 0.01859 | 4.128 | 20.64 | 1 | 1 | 2.122e-8 | 2.122e-8 | 2.122e-8 | 3.631 | 3.631 | 3.631 | json |
| t17_x23_u0_b88 | 17 | 23 | 0 | 88 | ![]() |
min(R,add(D,sqt(R))) | 117066 | 138979528 | o2(x,o2(x,o1(x))) | true | 96535 | 96535 | -0.02912 | 0.4682 | 0.377 | 0.2014 | 0.4488 | -0.9989 | 0.9804 | 1.979 | 1 | 4.819 | 0.003029 | 0.002863 | 0.06307 | 0.02805 | 1 | 0.0001036 | 0.0004126 | 0.01529 | 0.001914 | 0.04375 | 0.6937 | 0.2301 | 0.02925 | 0.002049 | 1 | 1 | 0.01162 | 0.146 | 0.3574 | 0.05767 | 0.725 | 1.774 | json |
| t17_x23_u0_b89 | 17 | 23 | 0 | 89 | ![]() |
min(R,sub(D,sqt(R))) | 117067 | 138979529 | o2(x,o2(x,o1(x))) | true | 96543 | 96543 | -0.5917 | 0.0006714 | 0.5917 | 0.06002 | 0.245 | -1 | 0.05512 | 1.055 | 1 | 3.86 | 0.001491 | 0.0008477 | 0.04096 | 0.275 | 1 | -0.00002265 | 0.0002453 | 0.01162 | 0.0006608 | 0.02571 | 0.6276 | 0.1507 | 0.03896 | 0.004088 | 1 | 1 | 0.004365 | 0.04983 | 0.1188 | 0.07273 | 0.8302 | 1.979 | json |
| t17_x23_u0_b90 | 17 | 23 | 0 | 90 | ![]() |
min(R,mlt(D,sqt(R))) | 117068 | 138979530 | o2(x,o2(x,o1(x))) | true | 96551 | 96551 | -0.2543 | 0.1827 | 0.2815 | 0.07379 | 0.2716 | -0.9989 | 0.2492 | 1.248 | 1 | 4.014 | 0.001305 | 0.001023 | 0.04065 | 0.1208 | 1 | -0.000001583 | 0.0001761 | 0.01054 | 0.0006757 | 0.02599 | 0.6395 | 0.1522 | 0.03155 | 0.002387 | 1 | 1 | 0.004383 | 0.05301 | 0.1222 | 0.0594 | 0.7183 | 1.656 | json |
| t17_x23_u0_b91 | 17 | 23 | 0 | 91 | ![]() |
min(R,div(D,sqt(R))) | 117069 | 138979531 | o2(x,o2(x,o1(x))) | true | 96559 | 96559 | -0.3051 | 0.1714 | 0.344 | 0.0909 | 0.3015 | -1 | 0.3566 | 1.357 | 1 | 4.226 | 0.00361 | 0.001145 | 0.05511 | 0.5183 | 1 | 0.00007969 | 0.001068 | 0.01746 | 0.001718 | 0.04145 | 0.7521 | 0.66 | 0.05232 | 0.01175 | 1 | 1 | 0.008815 | 0.08439 | 0.1502 | 0.09697 | 0.9284 | 1.652 | json |
| t17_x23_u0_b92 | 17 | 23 | 0 | 92 | ![]() |
min(R,pow(D,sqt(R))) | 117070 | 138979532 | o2(x,o2(x,o1(x))) | true | 96567 | 96567 | -0.05492 | 0.4723 | 0.3432 | 0.1741 | 0.4173 | -0.9989 | 0.9805 | 1.979 | 1 | 4.737 | 0.01026 | 0.002444 | 0.07102 | 0.6154 | 1 | -0.0001419 | 0.01778 | 0.04239 | 0.007663 | 0.08754 | 1.233 | 0.9368 | 0.07298 | 0.1021 | 1 | 1 | 0.01647 | 0.1273 | 0.2941 | 0.09462 | 0.731 | 1.689 | json |
| t17_x23_u0_b93 | 17 | 23 | 0 | 93 | ![]() |
min(R,mod(D,sqt(R))) | 117071 | 138979533 | o2(x,o2(x,o1(x))) | true | 96575 | 96575 | -0.2573 | 0.1914 | 0.2973 | 0.0782 | 0.2796 | -0.9989 | 0.2699 | 1.269 | 1 | 4.11 | 0.002353 | 0.001055 | 0.04823 | 0.3807 | 1 | -0.00000869 | 0.001555 | 0.0201 | 0.001082 | 0.03289 | 0.682 | 0.2881 | 0.04358 | 0.01988 | 1 | 1 | 0.005724 | 0.06156 | 0.127 | 0.0732 | 0.7872 | 1.624 | json |
| t17_x23_u0_b94 | 17 | 23 | 0 | 94 | ![]() |
min(R,lrg(D,sqt(R))) | 117072 | 138979534 | o2(x,o2(x,o1(x))) | true | 96583 | 96583 | -0.2505 | 0.04886 | 0.2528 | 0.06622 | 0.2573 | -0.9989 | 0.1221 | 1.121 | 1 | 3.632 | 0.0008707 | 0.0009396 | 0.03293 | -0.03803 | 1 | 0.000007598 | 0.0003578 | 0.01045 | 0.0007263 | 0.02695 | 0.8185 | 0.1349 | 0.02734 | 0.005404 | 1 | 1 | 0.003202 | 0.04032 | 0.1072 | 0.04835 | 0.6089 | 1.619 | json |
| t17_x23_u0_b95 | 17 | 23 | 0 | 95 | ![]() |
min(R,eql(D,sqt(R))) | 117073 | 138979535 | o2(x,o2(x,o1(x))) | true | 96591 | 96591 | -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_x23_u0_b96 | 17 | 23 | 0 | 96 | ![]() |
min(R,min(D,sqt(R))) | 117074 | 138979536 | o2(x,o2(x,o1(x))) | true | 96599 | 96599 | -0.2802 | 0.1663 | 0.3076 | 0.07392 | 0.2719 | -0.9989 | 0.1454 | 1.144 | 1 | 4.044 | 0.001754 | 0.001001 | 0.04511 | 0.2733 | 1 | 0.00002083 | 0.0002816 | 0.01333 | 0.00072 | 0.02683 | 0.5948 | 0.1528 | 0.03727 | 0.003809 | 1 | 1 | 0.005139 | 0.05796 | 0.1186 | 0.06952 | 0.784 | 1.604 | json |
| t17_x23_u0_b97 | 17 | 23 | 0 | 97 | ![]() |
min(R,dot(D,sqt(R))) | 117075 | 138979537 | o2(x,o2(x,o1(x))) | true | 96607 | 96607 | -0.1412 | 0.3434 | 0.3355 | 0.1524 | 0.3904 | -0.9989 | 0.9693 | 1.968 | 1 | 4.645 | 0.002339 | 0.002395 | 0.05692 | -0.01175 | 1 | 0.00002872 | 0.0003285 | 0.01395 | 0.001494 | 0.03866 | 0.6791 | 0.2301 | 0.03106 | 0.002155 | 1 | 1 | 0.008789 | 0.1096 | 0.2688 | 0.05766 | 0.7188 | 1.763 | json |
| t17_x23_u0_b98 | 17 | 23 | 0 | 98 | ![]() |
min(R,dst(D,sqt(R))) | 117076 | 138979538 | o2(x,o2(x,o1(x))) | true | 96615 | 96615 | 0.008548 | 0.4981 | 0.3944 | 0.2194 | 0.4684 | -0.9989 | 0.9806 | 1.979 | 1 | 4.861 | 0.002818 | 0.003166 | 0.0632 | -0.05818 | 1 | 0.00002737 | 0.0003526 | 0.01452 | 0.00199 | 0.04461 | 0.7059 | 0.2301 | 0.02728 | 0.001607 | 1 | 1 | 0.01182 | 0.1518 | 0.3908 | 0.05387 | 0.6918 | 1.782 | json |
| t17_x23_u0_b99 | 17 | 23 | 0 | 99 | ![]() |
dot(R,add(D,sqt(R))) | 117077 | 138979539 | o2(x,o2(x,o1(x))) | true | 96623 | 96623 | -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_x23_u0_b100 | 17 | 23 | 0 | 100 | ![]() |
dot(R,sub(D,sqt(R))) | 117078 | 138979540 | o2(x,o2(x,o1(x))) | true | 96631 | 96631 | -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_x23_u0_b101 | 17 | 23 | 0 | 101 | ![]() |
dot(R,mlt(D,sqt(R))) | 117079 | 138979541 | o2(x,o2(x,o1(x))) | true | 96639 | 96639 | -0.9958 | 0.003281 | 0.9964 | 0.004423 | 0.0665 | -1 | 0.1743 | 1.174 | 1 | 0.04465 | 0.0005703 | 0.0005165 | 0.001121 | 0.04955 | 1 | 0 | 0.002283 | 0.002103 | 0.001085 | 0.03293 | 29.38 | 1.398 | 0.2457 | 0.5163 | 1 | 1 | 0.001928 | 0.008069 | 0.01562 | 0.436 | 1.825 | 3.532 | json |
| t17_x23_u0_b102 | 17 | 23 | 0 | 102 | ![]() |
dot(R,div(D,sqt(R))) | 117080 | 138979542 | o2(x,o2(x,o1(x))) | true | 96647 | 96647 | -0.9959 | 0.002655 | 0.9964 | 0.004299 | 0.06556 | -1 | 0.244 | 1.244 | 1 | 0.04716 | 0.0005527 | 0.0005187 | 0.001157 | 0.03172 | 1 | 0 | 0.002251 | 0.002102 | 0.001069 | 0.0327 | 28.25 | 1.364 | 0.2493 | 0.5237 | 1 | 1 | 0.001903 | 0.007886 | 0.01516 | 0.4427 | 1.834 | 3.526 | json |
| t17_x23_u0_b103 | 17 | 23 | 0 | 103 | ![]() |
dot(R,pow(D,sqt(R))) | 117081 | 138979543 | o2(x,o2(x,o1(x))) | true | 96655 | 96655 | -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_x23_u0_b104 | 17 | 23 | 0 | 104 | ![]() |
dot(R,mod(D,sqt(R))) | 117082 | 138979544 | o2(x,o2(x,o1(x))) | true | 96663 | 96663 | -0.9958 | 0.00293 | 0.9964 | 0.004477 | 0.06691 | -1 | 0.2431 | 1.243 | 1 | 0.04655 | 0.000576 | 0.0005213 | 0.001173 | 0.04982 | 1 | 1.502e-11 | 0.002304 | 0.002157 | 0.001095 | 0.03309 | 28.21 | 1.385 | 0.2451 | 0.5146 | 1 | 1 | 0.001948 | 0.008197 | 0.01581 | 0.4352 | 1.831 | 3.531 | json |
| t17_x23_u0_b105 | 17 | 23 | 0 | 105 | ![]() |
dot(R,lrg(D,sqt(R))) | 117083 | 138979545 | o2(x,o2(x,o1(x))) | true | 96671 | 96671 | -0.6696 | 0.002258 | 0.6697 | 0.09173 | 0.3029 | -1 | 0.08279 | 1.083 | 1 | 3.584 | 0.001386 | 0.001659 | 0.03862 | -0.08989 | 1 | 0.00004231 | 0.0009147 | 0.01571 | 0.001554 | 0.03942 | 1.021 | 0.2343 | 0.0332 | 0.009971 | 1 | 1 | 0.005945 | 0.06652 | 0.1576 | 0.06481 | 0.7252 | 1.718 | json |
| t17_x23_u0_b106 | 17 | 23 | 0 | 106 | ![]() |
dot(R,eql(D,sqt(R))) | 117084 | 138979546 | o2(x,o2(x,o1(x))) | true | 96679 | 96679 | 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_x23_u0_b107 | 17 | 23 | 0 | 107 | ![]() |
dot(R,min(D,sqt(R))) | 117085 | 138979547 | o2(x,o2(x,o1(x))) | true | 96687 | 96687 | 0.003244 | 0.5172 | 0.1403 | 0.03118 | 0.1766 | -0.5259 | 0.5898 | 1.116 | 1 | 3.547 | 0.001026 | 0.001036 | 0.04107 | -0.00492 | 1 | -0.0001187 | 0.0002077 | 0.01163 | 0.0003757 | 0.01938 | 0.472 | 0.1246 | 0.06615 | 0.006662 | 1 | 1 | 0.003987 | 0.04516 | 0.06348 | 0.1279 | 1.448 | 2.036 | json |
| t17_x23_u0_b108 | 17 | 23 | 0 | 108 | ![]() |
dot(R,dot(D,sqt(R))) | 117086 | 138979548 | o2(x,o2(x,o1(x))) | true | 96695 | 96695 | -0.9952 | 0.003662 | 0.997 | 0.005946 | 0.07711 | -1 | 0.5517 | 1.552 | 1 | 0.05 | 0.0007946 | 0.0005399 | 0.001371 | 0.1909 | 1 | -3.754e-11 | 0.002722 | 0.002307 | 0.001331 | 0.03649 | 26.62 | 1.552 | 0.2244 | 0.4577 | 1 | 1 | 0.002424 | 0.01108 | 0.02111 | 0.4076 | 1.863 | 3.549 | json |
| t17_x23_u0_b109 | 17 | 23 | 0 | 109 | ![]() |
dot(R,dst(D,sqt(R))) | 117087 | 138979549 | o2(x,o2(x,o1(x))) | true | 96703 | 96703 | -0.9932 | 0.003784 | 0.999 | 0.01233 | 0.1111 | -1 | 1 | 2 | 1 | 0.04624 | 0.0016 | 0.001365 | 0.001868 | 0.07956 | 1 | 4.881e-11 | 0.006194 | 0.003432 | 0.002959 | 0.0544 | 29.13 | 2.001 | 0.2404 | 0.5021 | 1 | 1 | 0.005287 | 0.02316 | 0.0433 | 0.4286 | 1.878 | 3.51 | json |
| t17_x23_u0_b110 | 17 | 23 | 0 | 110 | ![]() |
dst(R,add(D,sqt(R))) | 117088 | 138979550 | o2(x,o2(x,o1(x))) | true | 96711 | 96711 | -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_x23_u0_b111 | 17 | 23 | 0 | 111 | ![]() |
dst(R,sub(D,sqt(R))) | 117089 | 138979551 | o2(x,o2(x,o1(x))) | true | 96719 | 96719 | -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_x23_u0_b112 | 17 | 23 | 0 | 112 | ![]() |
dst(R,mlt(D,sqt(R))) | 117090 | 138979552 | o2(x,o2(x,o1(x))) | true | 96727 | 96727 | -0.9925 | 0.003906 | 0.9997 | 0.01447 | 0.1203 | -1 | 1 | 2 | 1 | 0.04406 | 0.001876 | 0.001808 | 0.001973 | 0.0183 | 1 | -1.877e-11 | 0.007814 | 0.00387 | 0.003678 | 0.06064 | 30.74 | 2.613 | 0.2547 | 0.5402 | 1 | 1 | 0.006487 | 0.02642 | 0.05103 | 0.4485 | 1.827 | 3.528 | json |
| t17_x23_u0_b113 | 17 | 23 | 0 | 113 | ![]() |
dst(R,div(D,sqt(R))) | 117091 | 138979553 | o2(x,o2(x,o1(x))) | true | 96735 | 96735 | -0.9923 | 0.003906 | 0.9999 | 0.01531 | 0.1237 | -1 | 1 | 2 | 1 | 0.03936 | 0.001965 | 0.001898 | 0.001987 | 0.0174 | 1 | -8.26e-11 | 0.008145 | 0.003951 | 0.003856 | 0.0621 | 31.26 | 2.657 | 0.2524 | 0.5322 | 1 | 1 | 0.006828 | 0.02792 | 0.05405 | 0.4461 | 1.824 | 3.531 | json |
| t17_x23_u0_b114 | 17 | 23 | 0 | 114 | ![]() |
dst(R,pow(D,sqt(R))) | 117092 | 138979554 | o2(x,o2(x,o1(x))) | true | 96743 | 96743 | -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_x23_u0_b115 | 17 | 23 | 0 | 115 | ![]() |
dst(R,mod(D,sqt(R))) | 117093 | 138979555 | o2(x,o2(x,o1(x))) | true | 96751 | 96751 | -0.9924 | 0.003906 | 0.9998 | 0.0147 | 0.1212 | -1 | 1 | 2 | 1 | 0.04296 | 0.001907 | 0.001833 | 0.00201 | 0.0198 | 1 | 5.256e-11 | 0.007922 | 0.00394 | 0.003733 | 0.0611 | 30.4 | 2.628 | 0.2544 | 0.5389 | 1 | 1 | 0.00659 | 0.02684 | 0.05188 | 0.4483 | 1.826 | 3.529 | json |
| t17_x23_u0_b116 | 17 | 23 | 0 | 116 | ![]() |
dst(R,lrg(D,sqt(R))) | 117094 | 138979556 | o2(x,o2(x,o1(x))) | true | 96759 | 96759 | 0.9974 | 1 | 0.9974 | 0.001194 | 0.03456 | 0.1003 | 1 | 0.8997 | 1 | 0.09372 | 0.0001184 | 0.0001472 | 0.001105 | -0.1083 | 1 | -0.000003123 | 0.0003833 | 0.001143 | 0.0002645 | 0.01626 | 14.72 | 0.9924 | 0.2224 | 0.321 | 1 | 1 | 0.000149 | 0.0009942 | 0.001486 | 0.1248 | 0.8324 | 1.244 | json |
| t17_x23_u0_b117 | 17 | 23 | 0 | 117 | ![]() |
dst(R,eql(D,sqt(R))) | 117095 | 138979557 | o2(x,o2(x,o1(x))) | true | 96767 | 96767 | 0.897 | 1 | 0.897 | 0.02252 | 0.1501 | 0.09951 | 1 | 0.9005 | 1 | 2.181 | 0.0003411 | 0.0004606 | 0.01666 | -0.149 | 1 | -0.00001961 | 0.000143 | 0.005703 | 0.0005243 | 0.0229 | 1.374 | 0.1266 | 0.0356 | 0.006351 | 1 | 1 | 0.001342 | 0.015 | 0.03485 | 0.05959 | 0.666 | 1.547 | json |
| t17_x23_u0_b118 | 17 | 23 | 0 | 118 | ![]() |
dst(R,min(D,sqt(R))) | 117096 | 138979558 | o2(x,o2(x,o1(x))) | true | 96775 | 96775 | 0.9164 | 1 | 0.9164 | 0.02028 | 0.1424 | 0.07175 | 1 | 0.9282 | 1 | 1.883 | 0.0006799 | 0.0007643 | 0.02218 | -0.05843 | 1 | -0.00003609 | 0.0004163 | 0.009972 | 0.0009526 | 0.03086 | 1.392 | 0.1812 | 0.07122 | 0.02053 | 1 | 1 | 0.002518 | 0.02342 | 0.03512 | 0.1242 | 1.155 | 1.732 | json |
| t17_x23_u0_b119 | 17 | 23 | 0 | 119 | ![]() |
dst(R,dot(D,sqt(R))) | 117097 | 138979559 | o2(x,o2(x,o1(x))) | true | 96783 | 96783 | -0.9927 | 0.003906 | 0.9995 | 0.01354 | 0.1164 | -1 | 1 | 2 | 1 | 0.04662 | 0.001696 | 0.001838 | 0.001999 | -0.04027 | 1 | -7.884e-11 | 0.007542 | 0.003838 | 0.003527 | 0.05939 | 29.71 | 2.594 | 0.2609 | 0.5568 | 1 | 1 | 0.006198 | 0.02478 | 0.04777 | 0.4576 | 1.829 | 3.527 | json |
| t17_x23_u0_b120 | 17 | 23 | 0 | 120 | ![]() |
dst(R,dst(D,sqt(R))) | 117098 | 138979560 | o2(x,o2(x,o1(x))) | true | 96791 | 96791 | -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_x23_u1_b0 | 17 | 23 | 1 | 0 | ![]() |
add(R,add(D,log(R))) | 117099 | 138979641 | o2(x,o2(x,o1(x))) | true | 96799 | 96799 | -0.9612 | 0.02057 | 0.9774 | 0.04679 | 0.2163 | -1 | 1 | 2 | 1 | 0.4103 | 0.00492 | 0.005462 | 0.01114 | -0.05219 | 1 | 0.00001885 | 0.02093 | 0.01609 | 0.01026 | 0.1013 | 9.089 | 2.394 | 0.2219 | 0.4474 | 1 | 1 | 0.008841 | 0.03933 | 0.079 | 0.1889 | 0.8405 | 1.688 | json |



































































































