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_u6_b102 | 17 | 25 | 6 | 102 | ![]() |
dot(R,div(R,nrm(D))) | 119500 | 139061550 | o2(x,o2(x,o1(x))) | true | 116007 | 116007 | -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_u6_b103 | 17 | 25 | 6 | 103 | ![]() |
dot(R,pow(R,nrm(D))) | 119501 | 139061551 | o2(x,o2(x,o1(x))) | true | 116015 | 116015 | -0.9927 | 0.003906 | 0.9995 | 0.01384 | 0.1176 | -1 | 1 | 2 | 1 | 0.04491 | 0.001928 | 0.001527 | 0.001992 | 0.1162 | 1 | -3.754e-11 | 0.007284 | 0.003722 | 0.003448 | 0.05872 | 29.48 | 2.48 | 0.2497 | 0.5263 | 1 | 1 | 0.006129 | 0.02551 | 0.04868 | 0.4429 | 1.843 | 3.518 | json |
| t17_x25_u6_b104 | 17 | 25 | 6 | 104 | ![]() |
dot(R,mod(R,nrm(D))) | 119502 | 139061552 | o2(x,o2(x,o1(x))) | true | 116023 | 116023 | 0.655 | 1 | 0.655 | 0.06798 | 0.2607 | 0.009976 | 1 | 0.99 | 1 | 3.655 | 0.01633 | 0.01637 | 0.1119 | -0.001055 | 1 | 0.00005448 | 0.1278 | 0.2033 | 0.02018 | 0.1421 | 1.27 | 1.221 | 0.481 | 1.88 | 1 | 1 | 0.02509 | 0.06435 | 0.1349 | 0.369 | 0.9467 | 1.984 | json |
| t17_x25_u6_b105 | 17 | 25 | 6 | 105 | ![]() |
dot(R,lrg(R,nrm(D))) | 119503 | 139061553 | o2(x,o2(x,o1(x))) | true | 116031 | 116031 | 0.4666 | 0.8618 | 0.5263 | 0.1733 | 0.4163 | -1 | 1 | 2 | 1 | 4.29 | 0.01785 | 0.01784 | 0.1059 | 0.0002787 | 1 | 0.00001578 | 0.1128 | 0.1416 | 0.02448 | 0.1564 | 1.477 | 1.336 | 0.2059 | 0.6508 | 1 | 1 | 0.03779 | 0.1766 | 0.3372 | 0.218 | 1.019 | 1.945 | json |
| t17_x25_u6_b106 | 17 | 25 | 6 | 106 | ![]() |
dot(R,eql(R,nrm(D))) | 119504 | 139061554 | o2(x,o2(x,o1(x))) | true | 116039 | 116039 | 0.0001096 | 0.0005188 | 0.0002251 | 0.0001263 | 0.01124 | -0.3139 | 0.9417 | 1.256 | 1 | 0.01181 | 0.0002048 | 0.0002595 | 0.0007451 | -0.1177 | 1 | 1.549e-11 | 0.00215 | 0.001722 | 0.0004637 | 0.02153 | 28.9 | 1.332 | 3.677 | 17.03 | 1 | 1 | 0.0004438 | 0.0004445 | 0.0004415 | 3.514 | 3.52 | 3.496 | json |
| t17_x25_u6_b107 | 17 | 25 | 6 | 107 | ![]() |
dot(R,min(R,nrm(D))) | 119505 | 139061555 | o2(x,o2(x,o1(x))) | true | 116047 | 116047 | 0.4664 | 0.8692 | 0.5381 | 0.1724 | 0.4152 | -1 | 1 | 2 | 1 | 4.339 | 0.007757 | 0.008269 | 0.08553 | -0.03192 | 1 | -0.00009098 | 0.01371 | 0.03779 | 0.00871 | 0.09333 | 1.091 | 1.566 | 0.09297 | 0.07955 | 1 | 1 | 0.02892 | 0.2108 | 0.2887 | 0.1678 | 1.223 | 1.675 | json |
| t17_x25_u6_b108 | 17 | 25 | 6 | 108 | ![]() |
dot(R,dot(R,nrm(D))) | 119506 | 139061556 | o2(x,o2(x,o1(x))) | true | 116055 | 116055 | -0.005933 | 0.4873 | 0.2939 | 0.1667 | 0.4083 | -1 | 1 | 2 | 1 | 4.489 | 0.012 | 0.01354 | 0.1002 | -0.06044 | 1 | 0.0001419 | 0.02336 | 0.04393 | 0.0155 | 0.1245 | 1.243 | 2.088 | 0.1532 | 0.1401 | 1 | 1 | 0.04672 | 0.3334 | 0.2886 | 0.2803 | 2 | 1.731 | json |
| t17_x25_u6_b109 | 17 | 25 | 6 | 109 | ![]() |
dot(R,dst(R,nrm(D))) | 119507 | 139061557 | o2(x,o2(x,o1(x))) | true | 116063 | 116063 | 0.02681 | 0.5178 | 0.6119 | 0.4978 | 0.7056 | -1 | 1 | 2 | 1 | 4.465 | 0.0106 | 0.01155 | 0.1003 | -0.04281 | 1 | 0.00003461 | 0.009843 | 0.04184 | 0.01209 | 0.11 | 1.097 | 1.245 | 0.04449 | 0.01977 | 1 | 1 | 0.04381 | 0.4135 | 0.9511 | 0.088 | 0.8307 | 1.91 | json |
| t17_x25_u6_b110 | 17 | 25 | 6 | 110 | ![]() |
dst(R,add(R,nrm(D))) | 119508 | 139061558 | o2(x,o2(x,o1(x))) | true | 116071 | 116071 | 1 | 1 | 1 | 2.604e-15 | 5.103e-8 | 1 | 1 | 1.192e-7 | 1 | 0 | 2.663e-15 | 2.739e-15 | 6.309e-8 | -0.00007687 | 0 | 9.222e-8 | 4.24e-14 | 1.487e-7 | 1.421e-15 | 3.77e-8 | 0.5976 | 1.686e-7 | 0.005402 | 0.0424 | 0 | 1 | 2.822e-15 | 2.734e-15 | 9.552e-16 | 0.002822 | 0.002734 | 0.0009552 | json |
| t17_x25_u6_b111 | 17 | 25 | 6 | 111 | ![]() |
dst(R,sub(R,nrm(D))) | 119509 | 139061559 | o2(x,o2(x,o1(x))) | true | 116079 | 116079 | 1 | 1 | 1 | 2.606e-15 | 5.105e-8 | 1 | 1 | 1.192e-7 | 1 | 0 | 2.663e-15 | 2.745e-15 | 6.321e-8 | -0.00008162 | 0 | 9.325e-8 | 4.294e-14 | 1.496e-7 | 1.412e-15 | 3.758e-8 | 0.5946 | 1.686e-7 | 0.005408 | 0.04294 | 0 | 1 | 2.812e-15 | 2.741e-15 | 9.474e-16 | 0.002812 | 0.002741 | 0.0009474 | json |
| t17_x25_u6_b112 | 17 | 25 | 6 | 112 | ![]() |
dst(R,mlt(R,nrm(D))) | 119510 | 139061560 | o2(x,o2(x,o1(x))) | true | 116087 | 116087 | 0.8854 | 1 | 0.8854 | 0.03094 | 0.1759 | 0.04362 | 1 | 0.9564 | 1 | 2.205 | 0.002365 | 0.002628 | 0.03759 | -0.05269 | 1 | -0.000006287 | 0.006486 | 0.02544 | 0.00358 | 0.05983 | 1.592 | 0.8158 | 0.1614 | 0.2097 | 1 | 1 | 0.007174 | 0.03875 | 0.04137 | 0.2319 | 1.253 | 1.337 | json |
| t17_x25_u6_b113 | 17 | 25 | 6 | 113 | ![]() |
dst(R,div(R,nrm(D))) | 119511 | 139061561 | o2(x,o2(x,o1(x))) | true | 116095 | 116095 | -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_u6_b114 | 17 | 25 | 6 | 114 | ![]() |
dst(R,pow(R,nrm(D))) | 119512 | 139061562 | o2(x,o2(x,o1(x))) | true | 116103 | 116103 | -0.9926 | 0.003906 | 0.9995 | 0.01395 | 0.1181 | -1 | 1 | 2 | 1 | 0.04382 | 0.001788 | 0.001618 | 0.001942 | 0.05004 | 1 | 0 | 0.007185 | 0.003762 | 0.003399 | 0.0583 | 30.02 | 2.828 | 0.2442 | 0.5152 | 1 | 1 | 0.006004 | 0.02559 | 0.04951 | 0.4306 | 1.835 | 3.55 | json |
| t17_x25_u6_b115 | 17 | 25 | 6 | 115 | ![]() |
dst(R,mod(R,nrm(D))) | 119513 | 139061563 | o2(x,o2(x,o1(x))) | true | 116111 | 116111 | 0.4106 | 0.9847 | 0.4106 | 0.07392 | 0.2719 | 0 | 1 | 1 | 1 | 3.865 | 0.02509 | 0.02536 | 0.1563 | -0.005411 | 1 | 0.0001404 | 0.207 | 0.2945 | 0.02602 | 0.1613 | 1.032 | 1.262 | 0.6825 | 2.8 | 1 | 1 | 0.04283 | 0.08529 | 0.1304 | 0.5794 | 1.154 | 1.764 | json |
| t17_x25_u6_b116 | 17 | 25 | 6 | 116 | ![]() |
dst(R,lrg(R,nrm(D))) | 119514 | 139061564 | o2(x,o2(x,o1(x))) | true | 116119 | 116119 | 0.9356 | 1 | 0.9356 | 0.01637 | 0.1279 | 0.2411 | 1 | 0.7589 | 1 | 1.565 | 0.002587 | 0.002877 | 0.02711 | -0.05313 | 1 | 0.00001646 | 0.01534 | 0.03794 | 0.004729 | 0.06877 | 2.537 | 0.9665 | 0.3339 | 0.937 | 1 | 1 | 0.006089 | 0.02426 | 0.03059 | 0.372 | 1.482 | 1.869 | json |
| t17_x25_u6_b117 | 17 | 25 | 6 | 117 | ![]() |
dst(R,eql(R,nrm(D))) | 119515 | 139061565 | o2(x,o2(x,o1(x))) | true | 116127 | 116127 | 0.897 | 1 | 0.897 | 0.02252 | 0.1501 | 0.09951 | 1 | 0.9005 | 1 | 2.181 | 0.0003629 | 0.0004829 | 0.01682 | -0.142 | 1 | -0.00001961 | 0.0003601 | 0.006113 | 0.0005629 | 0.02373 | 1.411 | 0.7419 | 0.03756 | 0.01599 | 1 | 1 | 0.001358 | 0.01501 | 0.03484 | 0.06032 | 0.6667 | 1.547 | json |
| t17_x25_u6_b118 | 17 | 25 | 6 | 118 | ![]() |
dst(R,min(R,nrm(D))) | 119516 | 139061566 | o2(x,o2(x,o1(x))) | true | 116135 | 116135 | 0.7169 | 1 | 0.7169 | 0.08933 | 0.2989 | 0.0001407 | 1 | 0.9999 | 1 | 3.334 | 0.006532 | 0.006999 | 0.07216 | -0.03449 | 1 | 0.00001638 | 0.01612 | 0.04402 | 0.008325 | 0.09124 | 1.264 | 1.069 | 0.1515 | 0.1805 | 1 | 1 | 0.02154 | 0.1253 | 0.1373 | 0.2411 | 1.403 | 1.538 | json |
| t17_x25_u6_b119 | 17 | 25 | 6 | 119 | ![]() |
dst(R,dot(R,nrm(D))) | 119517 | 139061567 | o2(x,o2(x,o1(x))) | true | 116143 | 116143 | 0.9337 | 1 | 0.9337 | 0.01943 | 0.1394 | 0.02659 | 1 | 0.9734 | 1 | 1.537 | 0.002148 | 0.002355 | 0.02935 | -0.04615 | 1 | -0.00005667 | 0.007444 | 0.02684 | 0.00364 | 0.06033 | 2.056 | 0.8431 | 0.2317 | 0.383 | 1 | 1 | 0.006427 | 0.02702 | 0.03192 | 0.3307 | 1.391 | 1.643 | json |
| t17_x25_u6_b120 | 17 | 25 | 6 | 120 | ![]() |
dst(R,dst(R,nrm(D))) | 119518 | 139061568 | o2(x,o2(x,o1(x))) | true | 116151 | 116151 | 0.9955 | 1 | 0.9955 | 0.00182 | 0.04266 | 0.02111 | 1 | 0.9789 | 1 | 0.1608 | 0.0005849 | 0.0005771 | 0.004266 | 0.006671 | 1 | 0.000001605 | 0.002557 | 0.005571 | 0.001143 | 0.03382 | 7.927 | 0.979 | 0.6386 | 1.405 | 1 | 1 | 0.002077 | 0.005352 | 0.004485 | 1.142 | 2.941 | 2.465 | json |
| t17_x26_u0_b0 | 17 | 26 | 0 | 0 | ![]() |
add(R,add(R,sqt(R))) | 119519 | 139100643 | o2(x,o2(x,o1(x))) | true | 116159 | 116159 | -0.9149 | 0.04297 | 0.9991 | 0.1615 | 0.4018 | -1 | 1 | 2 | 1 | 0.2796 | 0.01631 | 0.01608 | 0.0165 | 0.007064 | 1 | -6.894e-7 | 0.06766 | 0.0329 | 0.0321 | 0.1792 | 10.86 | 2.828 | 0.2006 | 0.4191 | 1 | 1 | 0.0251 | 0.1083 | 0.2706 | 0.1555 | 0.6705 | 1.676 | json |
| t17_x26_u0_b1 | 17 | 26 | 0 | 1 | ![]() |
add(R,sub(R,sqt(R))) | 119520 | 139100644 | o2(x,o2(x,o1(x))) | true | 116167 | 116167 | -0.9397 | 0.04034 | 0.9748 | 0.08389 | 0.2896 | -1 | 0.9147 | 1.915 | 1 | 0.426 | 0.008416 | 0.008562 | 0.01316 | -0.008608 | 1 | 0.00001138 | 0.03535 | 0.02355 | 0.01681 | 0.1297 | 9.855 | 2.549 | 0.2024 | 0.4214 | 1 | 1 | 0.01365 | 0.05967 | 0.1418 | 0.1627 | 0.7114 | 1.69 | json |
| t17_x26_u0_b2 | 17 | 26 | 0 | 2 | ![]() |
add(R,mlt(R,sqt(R))) | 119521 | 139100645 | o2(x,o2(x,o1(x))) | true | 116175 | 116175 | -0.921 | 0.04297 | 0.993 | 0.1412 | 0.3758 | -1 | 1 | 2 | 1 | 0.3626 | 0.01389 | 0.01385 | 0.0161 | 0.001176 | 1 | -2.007e-7 | 0.05772 | 0.03051 | 0.02747 | 0.1657 | 10.29 | 2.828 | 0.1964 | 0.4086 | 1 | 1 | 0.02225 | 0.09889 | 0.2409 | 0.1575 | 0.7002 | 1.705 | json |
| t17_x26_u0_b3 | 17 | 26 | 0 | 3 | ![]() |
add(R,div(R,sqt(R))) | 119522 | 139100646 | o2(x,o2(x,o1(x))) | true | 116183 | 116183 | -0.9161 | 0.04297 | 0.998 | 0.1575 | 0.3968 | -1 | 1 | 2 | 1 | 0.3035 | 0.016 | 0.01565 | 0.01648 | 0.01096 | 1 | -5.265e-7 | 0.0661 | 0.03253 | 0.03136 | 0.1771 | 10.74 | 2.828 | 0.201 | 0.4197 | 1 | 1 | 0.02479 | 0.107 | 0.2656 | 0.1574 | 0.6792 | 1.687 | json |
| t17_x26_u0_b4 | 17 | 26 | 0 | 4 | ![]() |
add(R,pow(R,sqt(R))) | 119523 | 139100647 | o2(x,o2(x,o1(x))) | true | 116191 | 116191 | -0.9158 | 0.04297 | 0.9982 | 0.1582 | 0.3978 | -1 | 1 | 2 | 1 | 0.3052 | 0.01603 | 0.01564 | 0.01646 | 0.01229 | 1 | -2.958e-7 | 0.06613 | 0.03258 | 0.03137 | 0.1771 | 10.76 | 2.828 | 0.2001 | 0.4179 | 1 | 1 | 0.02473 | 0.107 | 0.2667 | 0.1563 | 0.6763 | 1.685 | json |
| t17_x26_u0_b5 | 17 | 26 | 0 | 5 | ![]() |
add(R,mod(R,sqt(R))) | 119524 | 139100648 | o2(x,o2(x,o1(x))) | true | 116199 | 116199 | -0.9188 | 0.04297 | 0.9952 | 0.1482 | 0.385 | -1 | 1 | 2 | 1 | 0.341 | 0.0148 | 0.01462 | 0.0163 | 0.006122 | 1 | -3.547e-7 | 0.06132 | 0.03141 | 0.02914 | 0.1707 | 10.48 | 2.828 | 0.1985 | 0.4136 | 1 | 1 | 0.02346 | 0.1029 | 0.2523 | 0.1583 | 0.6939 | 1.702 | json |
| t17_x26_u0_b6 | 17 | 26 | 0 | 6 | ![]() |
add(R,lrg(R,sqt(R))) | 119525 | 139100649 | o2(x,o2(x,o1(x))) | true | 116207 | 116207 | 0.5266 | 1 | 0.5266 | 0.05091 | 0.2256 | 0.001084 | 0.997 | 0.9959 | 1 | 3.815 | 0.0007236 | 0.0006853 | 0.03089 | 0.02719 | 1 | 0.00004432 | 0.00008334 | 0.007111 | 0.0004549 | 0.02133 | 0.6905 | 0.1132 | 0.02767 | 0.001637 | 1 | 1 | 0.002542 | 0.03267 | 0.08567 | 0.04993 | 0.6416 | 1.683 | json |
| t17_x26_u0_b7 | 17 | 26 | 0 | 7 | ![]() |
add(R,eql(R,sqt(R))) | 119526 | 139100650 | o2(x,o2(x,o1(x))) | true | 116215 | 116215 | 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_x26_u0_b8 | 17 | 26 | 0 | 8 | ![]() |
add(R,min(R,sqt(R))) | 119527 | 139100651 | o2(x,o2(x,o1(x))) | true | 116223 | 116223 | 0.01372 | 0.4984 | 0.659 | 0.5457 | 0.7387 | -1 | 1 | 2 | 1 | 4.408 | 0.008726 | 0.009756 | 0.09338 | -0.05568 | 1 | 0.00002908 | 0.003164 | 0.02873 | 0.009763 | 0.09881 | 1.058 | 0.4602 | 0.03387 | 0.005798 | 1 | 1 | 0.03624 | 0.4079 | 0.9797 | 0.06641 | 0.7475 | 1.795 | json |
| t17_x26_u0_b9 | 17 | 26 | 0 | 9 | ![]() |
add(R,dot(R,sqt(R))) | 119528 | 139100652 | o2(x,o2(x,o1(x))) | true | 116231 | 116231 | -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_x26_u0_b10 | 17 | 26 | 0 | 10 | ![]() |
add(R,dst(R,sqt(R))) | 119529 | 139100653 | o2(x,o2(x,o1(x))) | true | 116239 | 116239 | -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_x26_u0_b11 | 17 | 26 | 0 | 11 | ![]() |
sub(R,add(R,sqt(R))) | 119530 | 139100654 | o2(x,o2(x,o1(x))) | true | 116247 | 116247 | -0.9882 | 0 | 0.9882 | 0.004031 | 0.06349 | -1 | -0.3239 | 0.6761 | 1 | 0.3763 | 0.0004792 | 0.0004089 | 0.00317 | 0.07921 | 1 | -0.000005689 | 0.001806 | 0.004769 | 0.0008786 | 0.02964 | 9.35 | 0.6761 | 0.2203 | 0.448 | 1 | 1 | 0.0005505 | 0.00247 | 0.006263 | 0.1366 | 0.6127 | 1.554 | json |
| t17_x26_u0_b12 | 17 | 26 | 0 | 12 | ![]() |
sub(R,sub(R,sqt(R))) | 119531 | 139100655 | o2(x,o2(x,o1(x))) | true | 116255 | 116255 | -0.9258 | 0.04297 | 0.9882 | 0.1235 | 0.3514 | -1 | 0.971 | 1.971 | 1 | 0.3916 | 0.01252 | 0.01245 | 0.01513 | 0.002807 | 1 | 0.000005689 | 0.05219 | 0.02886 | 0.02476 | 0.1573 | 10.4 | 2.731 | 0.2023 | 0.4226 | 1 | 1 | 0.0197 | 0.08508 | 0.2088 | 0.1595 | 0.689 | 1.691 | json |
| t17_x26_u0_b13 | 17 | 26 | 0 | 13 | ![]() |
sub(R,mlt(R,sqt(R))) | 119532 | 139100656 | o2(x,o2(x,o1(x))) | true | 116263 | 116263 | -0.9526 | 0.04297 | 0.9615 | 0.05011 | 0.2238 | -1 | 0.148 | 1.148 | 1 | 0.3107 | 0.005172 | 0.005015 | 0.009336 | 0.01542 | 1 | -0.000001314 | 0.0213 | 0.01844 | 0.0101 | 0.1005 | 10.77 | 1.624 | 0.2033 | 0.4252 | 1 | 1 | 0.007821 | 0.03355 | 0.08428 | 0.1561 | 0.6695 | 1.682 | json |
| t17_x26_u0_b14 | 17 | 26 | 0 | 14 | ![]() |
sub(R,div(R,sqt(R))) | 119533 | 139100657 | o2(x,o2(x,o1(x))) | true | 116271 | 116271 | -0.9639 | 0 | 0.9639 | 0.0291 | 0.1706 | -1 | -0.02815 | 0.9718 | 1 | 0.3315 | 0.00295 | 0.0029 | 0.007281 | 0.008391 | 1 | 0.000002847 | 0.01222 | 0.01398 | 0.005794 | 0.07612 | 10.45 | 1.323 | 0.201 | 0.42 | 1 | 1 | 0.004533 | 0.01967 | 0.0488 | 0.1558 | 0.6761 | 1.677 | json |
| t17_x26_u0_b15 | 17 | 26 | 0 | 15 | ![]() |
sub(R,pow(R,sqt(R))) | 119534 | 139100658 | o2(x,o2(x,o1(x))) | true | 116279 | 116279 | -0.9621 | 0 | 0.9621 | 0.03237 | 0.1799 | -1 | -0.001649 | 0.9984 | 1 | 0.3523 | 0.00328 | 0.003276 | 0.007787 | 0.0006529 | 1 | 0.000003028 | 0.0137 | 0.01477 | 0.006496 | 0.0806 | 10.35 | 1.402 | 0.2025 | 0.4231 | 1 | 1 | 0.005213 | 0.02248 | 0.05485 | 0.161 | 0.6946 | 1.695 | json |
| t17_x26_u0_b16 | 17 | 26 | 0 | 16 | ![]() |
sub(R,mod(R,sqt(R))) | 119535 | 139100659 | o2(x,o2(x,o1(x))) | true | 116287 | 116287 | -0.957 | 0 | 0.957 | 0.04112 | 0.2028 | -1 | 0 | 1 | 1 | 0.2557 | 0.00422 | 0.004094 | 0.008259 | 0.01515 | 1 | 0 | 0.01738 | 0.01663 | 0.008241 | 0.09078 | 10.99 | 1.414 | 0.2022 | 0.4228 | 1 | 1 | 0.006357 | 0.02738 | 0.06893 | 0.1546 | 0.6659 | 1.676 | json |
| t17_x26_u0_b17 | 17 | 26 | 0 | 17 | ![]() |
sub(R,lrg(R,sqt(R))) | 119536 | 139100660 | o2(x,o2(x,o1(x))) | true | 116295 | 116295 | -0.3539 | 0.3544 | 0.6666 | 0.4315 | 0.6569 | -1 | 0.9804 | 1.98 | 1 | 3.927 | 0.006974 | 0.008247 | 0.08425 | -0.08369 | 1 | 0.0001444 | 0.002323 | 0.02589 | 0.008124 | 0.09014 | 1.07 | 0.347 | 0.03528 | 0.005383 | 1 | 1 | 0.02989 | 0.3406 | 0.8128 | 0.06928 | 0.7893 | 1.884 | json |
| t17_x26_u0_b18 | 17 | 26 | 0 | 18 | ![]() |
sub(R,eql(R,sqt(R))) | 119537 | 139100661 | o2(x,o2(x,o1(x))) | true | 116303 | 116303 | 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_x26_u0_b19 | 17 | 26 | 0 | 19 | ![]() |
sub(R,min(R,sqt(R))) | 119538 | 139100662 | o2(x,o2(x,o1(x))) | true | 116311 | 116311 | 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_x26_u0_b20 | 17 | 26 | 0 | 20 | ![]() |
sub(R,dot(R,sqt(R))) | 119539 | 139100663 | o2(x,o2(x,o1(x))) | true | 116319 | 116319 | -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_x26_u0_b21 | 17 | 26 | 0 | 21 | ![]() |
sub(R,dst(R,sqt(R))) | 119540 | 139100664 | o2(x,o2(x,o1(x))) | true | 116327 | 116327 | -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_x26_u0_b22 | 17 | 26 | 0 | 22 | ![]() |
mlt(R,add(R,sqt(R))) | 119541 | 139100665 | o2(x,o2(x,o1(x))) | true | 116335 | 116335 | -0.9255 | 0.04297 | 0.9886 | 0.1273 | 0.3568 | -1 | 1 | 2 | 1 | 0.3891 | 0.01231 | 0.01248 | 0.01568 | -0.006752 | 1 | 7.773e-7 | 0.05143 | 0.02871 | 0.02454 | 0.1567 | 9.988 | 2.828 | 0.1947 | 0.404 | 1 | 1 | 0.01996 | 0.09043 | 0.2171 | 0.1568 | 0.7104 | 1.706 | json |
| t17_x26_u0_b23 | 17 | 26 | 0 | 23 | ![]() |
mlt(R,sub(R,sqt(R))) | 119542 | 139100666 | o2(x,o2(x,o1(x))) | true | 116343 | 116343 | -0.9601 | 0 | 0.9601 | 0.03546 | 0.1883 | -1 | -0.02298 | 0.977 | 1 | 0.293 | 0.003632 | 0.003511 | 0.007775 | 0.01699 | 1 | 4.518e-7 | 0.01493 | 0.01543 | 0.007084 | 0.08416 | 10.83 | 1.336 | 0.2015 | 0.4212 | 1 | 1 | 0.005407 | 0.02338 | 0.05916 | 0.1525 | 0.6594 | 1.669 | json |
| t17_x26_u0_b24 | 17 | 26 | 0 | 24 | ![]() |
mlt(R,mlt(R,sqt(R))) | 119543 | 139100667 | o2(x,o2(x,o1(x))) | true | 116351 | 116351 | -0.9425 | 0.04297 | 0.9715 | 0.07566 | 0.2751 | -1 | 0.8633 | 1.863 | 1 | 0.4121 | 0.007585 | 0.007643 | 0.01237 | -0.00382 | 1 | 0.00001027 | 0.03172 | 0.02236 | 0.01509 | 0.1228 | 9.933 | 2.404 | 0.2013 | 0.4192 | 1 | 1 | 0.01201 | 0.05267 | 0.1268 | 0.1587 | 0.6961 | 1.676 | json |
| t17_x26_u0_b25 | 17 | 26 | 0 | 25 | ![]() |
mlt(R,div(R,sqt(R))) | 119544 | 139100668 | o2(x,o2(x,o1(x))) | true | 116359 | 116359 | -0.9372 | 0.04297 | 0.9769 | 0.08987 | 0.2998 | -1 | 0.9155 | 1.916 | 1 | 0.4173 | 0.009033 | 0.00911 | 0.0134 | -0.004231 | 1 | 0.00000985 | 0.03783 | 0.02446 | 0.01796 | 0.134 | 10 | 2.556 | 0.2019 | 0.4209 | 1 | 1 | 0.01444 | 0.06297 | 0.1516 | 0.1607 | 0.7007 | 1.687 | json |
| t17_x26_u0_b26 | 17 | 26 | 0 | 26 | ![]() |
mlt(R,pow(R,sqt(R))) | 119545 | 139100669 | o2(x,o2(x,o1(x))) | true | 116367 | 116367 | -0.9387 | 0.04297 | 0.9754 | 0.08557 | 0.2925 | -1 | 0.8905 | 1.891 | 1 | 0.4145 | 0.008605 | 0.008653 | 0.01304 | -0.002766 | 1 | 0.000009378 | 0.03598 | 0.02387 | 0.01709 | 0.1307 | 10.03 | 2.488 | 0.2017 | 0.4205 | 1 | 1 | 0.01365 | 0.05957 | 0.1441 | 0.1595 | 0.6962 | 1.684 | json |
| t17_x26_u0_b27 | 17 | 26 | 0 | 27 | ![]() |
mlt(R,mod(R,sqt(R))) | 119546 | 139100670 | o2(x,o2(x,o1(x))) | true | 116375 | 116375 | -0.9403 | 0.04297 | 0.9738 | 0.08156 | 0.2856 | -1 | 0.889 | 1.889 | 1 | 0.4167 | 0.008183 | 0.008256 | 0.01283 | -0.004464 | 1 | 0.0000103 | 0.03425 | 0.02325 | 0.01628 | 0.1276 | 9.948 | 2.477 | 0.2016 | 0.4199 | 1 | 1 | 0.01303 | 0.05702 | 0.1371 | 0.1598 | 0.6992 | 1.681 | json |
| t17_x26_u0_b28 | 17 | 26 | 0 | 28 | ![]() |
mlt(R,lrg(R,sqt(R))) | 119547 | 139100671 | o2(x,o2(x,o1(x))) | true | 116383 | 116383 | -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_x26_u0_b29 | 17 | 26 | 0 | 29 | ![]() |
mlt(R,eql(R,sqt(R))) | 119548 | 139100672 | o2(x,o2(x,o1(x))) | true | 116391 | 116391 | 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_x26_u0_b30 | 17 | 26 | 0 | 30 | ![]() |
mlt(R,min(R,sqt(R))) | 119549 | 139100673 | o2(x,o2(x,o1(x))) | true | 116399 | 116399 | 0.3495 | 0.9999 | 0.3495 | 0.05762 | 0.24 | 0.00007718 | 0.9979 | 0.9979 | 1 | 3.768 | 0.0007428 | 0.0008028 | 0.03156 | -0.03877 | 1 | 1.602e-7 | 0.00009378 | 0.007378 | 0.0005496 | 0.02344 | 0.7428 | 0.1117 | 0.02682 | 0.001628 | 1 | 1 | 0.002725 | 0.03526 | 0.107 | 0.0473 | 0.6119 | 1.856 | json |
| t17_x26_u0_b31 | 17 | 26 | 0 | 31 | ![]() |
mlt(R,dot(R,sqt(R))) | 119550 | 139100674 | o2(x,o2(x,o1(x))) | true | 116407 | 116407 | -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_x26_u0_b32 | 17 | 26 | 0 | 32 | ![]() |
mlt(R,dst(R,sqt(R))) | 119551 | 139100675 | o2(x,o2(x,o1(x))) | true | 116415 | 116415 | -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_x26_u0_b33 | 17 | 26 | 0 | 33 | ![]() |
div(R,add(R,sqt(R))) | 119552 | 139100676 | o2(x,o2(x,o1(x))) | true | 116423 | 116423 | -0.9393 | 0.04297 | 0.9748 | 0.08221 | 0.2867 | -1 | 0.4926 | 1.493 | 1 | 0.3311 | 0.008389 | 0.008236 | 0.01198 | 0.009198 | 1 | 0.000001887 | 0.03476 | 0.02355 | 0.01647 | 0.1283 | 10.71 | 2.096 | 0.2022 | 0.4228 | 1 | 1 | 0.01291 | 0.05562 | 0.1384 | 0.157 | 0.6766 | 1.684 | json |
| t17_x26_u0_b34 | 17 | 26 | 0 | 34 | ![]() |
div(R,sub(R,sqt(R))) | 119553 | 139100677 | o2(x,o2(x,o1(x))) | true | 116431 | 116431 | -0.9993 | 0 | 0.9993 | 0.0002588 | 0.01609 | -1 | -0.4797 | 0.5203 | 1 | 0.02657 | 0.0000897 | 0.00005049 | 0.0004615 | 0.2797 | 1 | 4.651e-7 | 0.0002737 | 0.0006821 | 0.0001399 | 0.01183 | 25.63 | 0.5223 | 0.5416 | 1.057 | 1 | 1 | 0.00007901 | 0.0002702 | 0.0004384 | 0.3053 | 1.044 | 1.694 | json |
| t17_x26_u0_b35 | 17 | 26 | 0 | 35 | ![]() |
div(R,mlt(R,sqt(R))) | 119554 | 139100678 | o2(x,o2(x,o1(x))) | true | 116439 | 116439 | -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_x26_u0_b36 | 17 | 26 | 0 | 36 | ![]() |
div(R,div(R,sqt(R))) | 119555 | 139100679 | o2(x,o2(x,o1(x))) | true | 116447 | 116447 | -0.9258 | 0.04297 | 0.9882 | 0.1235 | 0.3514 | -1 | 0.971 | 1.971 | 1 | 0.3916 | 0.01252 | 0.01245 | 0.01513 | 0.002807 | 1 | 0.000005689 | 0.05219 | 0.02886 | 0.02476 | 0.1573 | 10.4 | 2.731 | 0.2023 | 0.4226 | 1 | 1 | 0.0197 | 0.08508 | 0.2088 | 0.1595 | 0.689 | 1.691 | json |
| t17_x26_u0_b37 | 17 | 26 | 0 | 37 | ![]() |
div(R,pow(R,sqt(R))) | 119556 | 139100680 | o2(x,o2(x,o1(x))) | true | 116455 | 116455 | -0.9235 | 0.04297 | 0.9906 | 0.1319 | 0.3632 | -1 | 0.9982 | 1.998 | 1 | 0.3926 | 0.0134 | 0.01337 | 0.01573 | 0.0009543 | 1 | 0.000005725 | 0.05593 | 0.02984 | 0.02652 | 0.1628 | 10.36 | 2.814 | 0.203 | 0.4241 | 1 | 1 | 0.02134 | 0.09196 | 0.224 | 0.1618 | 0.6973 | 1.698 | json |
| t17_x26_u0_b38 | 17 | 26 | 0 | 38 | ![]() |
div(R,mod(R,sqt(R))) | 119557 | 139100681 | o2(x,o2(x,o1(x))) | true | 116463 | 116463 | -0.9141 | 0.04297 | 1 | 0.1645 | 0.4056 | -1 | 1 | 2 | 1 | 0.2557 | 0.01688 | 0.01638 | 0.01652 | 0.01515 | 1 | 4.055e-10 | 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_x26_u0_b39 | 17 | 26 | 0 | 39 | ![]() |
div(R,lrg(R,sqt(R))) | 119558 | 139100682 | o2(x,o2(x,o1(x))) | true | 116471 | 116471 | -0.834 | 0.06641 | 0.9668 | 0.2582 | 0.5081 | -1 | 1 | 2 | 1 | 0.9667 | 0.03283 | 0.03069 | 0.03712 | 0.03363 | 1 | -0.000001442 | 0.1348 | 0.07139 | 0.06217 | 0.2493 | 6.718 | 2.828 | 0.246 | 0.5219 | 1 | 1 | 0.06941 | 0.2884 | 0.5044 | 0.2688 | 1.117 | 1.954 | json |
| t17_x26_u0_b40 | 17 | 26 | 0 | 40 | ![]() |
div(R,eql(R,sqt(R))) | 119559 | 139100683 | o2(x,o2(x,o1(x))) | true | 116479 | 116479 | -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_x26_u0_b41 | 17 | 26 | 0 | 41 | ![]() |
div(R,min(R,sqt(R))) | 119560 | 139100684 | o2(x,o2(x,o1(x))) | true | 116487 | 116487 | 1 | 1 | 1 | 6.881e-16 | 2.623e-8 | 1 | 1 | 5.96e-8 | 1 | 0 | 7.815e-17 | 6.691e-17 | 2.325e-9 | 0.00001124 | 0 | 6.889e-9 | 1.65e-15 | 6.919e-9 | 1.396e-16 | 1.181e-8 | 5.081 | 8.429e-8 | 0.0001451 | 0.00165 | 0 | 1 | 1.618e-16 | 6.145e-16 | 1.172e-15 | 0.0001618 | 0.0006145 | 0.001172 | json |
| t17_x26_u0_b42 | 17 | 26 | 0 | 42 | ![]() |
div(R,dot(R,sqt(R))) | 119561 | 139100685 | o2(x,o2(x,o1(x))) | true | 116495 | 116495 | -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_x26_u0_b43 | 17 | 26 | 0 | 43 | ![]() |
div(R,dst(R,sqt(R))) | 119562 | 139100686 | o2(x,o2(x,o1(x))) | true | 116503 | 116503 | -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_x26_u0_b44 | 17 | 26 | 0 | 44 | ![]() |
pow(R,add(R,sqt(R))) | 119563 | 139100687 | o2(x,o2(x,o1(x))) | true | 116511 | 116511 | -0.9336 | 0.04297 | 0.9805 | 0.099 | 0.3146 | -1 | 0.8936 | 1.894 | 1 | 0.3852 | 0.01002 | 0.009889 | 0.01358 | 0.006396 | 1 | 0.000006514 | 0.04156 | 0.02576 | 0.01972 | 0.1404 | 10.34 | 2.508 | 0.2011 | 0.4198 | 1 | 1 | 0.01543 | 0.06715 | 0.1659 | 0.1559 | 0.6783 | 1.676 | json |
| t17_x26_u0_b45 | 17 | 26 | 0 | 45 | ![]() |
pow(R,sub(R,sqt(R))) | 119564 | 139100688 | o2(x,o2(x,o1(x))) | true | 116519 | 116519 | -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_x26_u0_b46 | 17 | 26 | 0 | 46 | ![]() |
pow(R,mlt(R,sqt(R))) | 119565 | 139100689 | o2(x,o2(x,o1(x))) | true | 116527 | 116527 | -0.9207 | 0.04297 | 0.9934 | 0.1402 | 0.3744 | -1 | 0.9476 | 1.948 | 1 | 0.3265 | 0.01435 | 0.01389 | 0.01547 | 0.01629 | 1 | 0.000001359 | 0.05902 | 0.03069 | 0.028 | 0.1673 | 10.81 | 2.675 | 0.2014 | 0.4211 | 1 | 1 | 0.02142 | 0.09265 | 0.234 | 0.1529 | 0.6611 | 1.67 | json |
| t17_x26_u0_b47 | 17 | 26 | 0 | 47 | ![]() |
pow(R,div(R,sqt(R))) | 119566 | 139100690 | o2(x,o2(x,o1(x))) | true | 116535 | 116535 | -0.9277 | 0.04297 | 0.9864 | 0.1171 | 0.3422 | -1 | 0.9445 | 1.944 | 1 | 0.3811 | 0.01187 | 0.01171 | 0.01462 | 0.006736 | 1 | 0.000005508 | 0.04928 | 0.02806 | 0.02339 | 0.1529 | 10.46 | 2.652 | 0.2014 | 0.4207 | 1 | 1 | 0.01836 | 0.07954 | 0.1968 | 0.1567 | 0.6791 | 1.681 | json |
| t17_x26_u0_b48 | 17 | 26 | 0 | 48 | ![]() |
pow(R,pow(R,sqt(R))) | 119567 | 139100691 | o2(x,o2(x,o1(x))) | true | 116543 | 116543 | -0.9274 | 0.04297 | 0.9867 | 0.1182 | 0.3439 | -1 | 0.9459 | 1.946 | 1 | 0.3883 | 0.01198 | 0.01189 | 0.01475 | 0.00395 | 1 | 0.000005291 | 0.04988 | 0.02822 | 0.02367 | 0.1538 | 10.43 | 2.662 | 0.2019 | 0.4218 | 1 | 1 | 0.01872 | 0.0809 | 0.1993 | 0.1583 | 0.6842 | 1.686 | json |
| t17_x26_u0_b49 | 17 | 26 | 0 | 49 | ![]() |
pow(R,mod(R,sqt(R))) | 119568 | 139100692 | o2(x,o2(x,o1(x))) | true | 116551 | 116551 | -0.9235 | 0.04297 | 0.9906 | 0.1306 | 0.3614 | -1 | 0.9461 | 1.946 | 1 | 0.3372 | 0.01332 | 0.01296 | 0.0151 | 0.0136 | 1 | 0.000003032 | 0.05494 | 0.02962 | 0.02607 | 0.1615 | 10.7 | 2.664 | 0.2013 | 0.4207 | 1 | 1 | 0.0201 | 0.08704 | 0.2185 | 0.1539 | 0.6665 | 1.673 | json |
| t17_x26_u0_b50 | 17 | 26 | 0 | 50 | ![]() |
pow(R,lrg(R,sqt(R))) | 119569 | 139100693 | o2(x,o2(x,o1(x))) | true | 116559 | 116559 | -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_x26_u0_b51 | 17 | 26 | 0 | 51 | ![]() |
pow(R,eql(R,sqt(R))) | 119570 | 139100694 | o2(x,o2(x,o1(x))) | true | 116567 | 116567 | 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_x26_u0_b52 | 17 | 26 | 0 | 52 | ![]() |
pow(R,min(R,sqt(R))) | 119571 | 139100695 | o2(x,o2(x,o1(x))) | true | 116575 | 116575 | -0.9235 | 0.04297 | 0.9906 | 0.1306 | 0.3614 | -1 | 0.9461 | 1.946 | 1 | 0.3372 | 0.01332 | 0.01296 | 0.0151 | 0.0136 | 1 | 0.000003032 | 0.05494 | 0.02962 | 0.02607 | 0.1615 | 10.7 | 2.664 | 0.2013 | 0.4207 | 1 | 1 | 0.0201 | 0.08704 | 0.2185 | 0.1539 | 0.6665 | 1.673 | json |
| t17_x26_u0_b53 | 17 | 26 | 0 | 53 | ![]() |
pow(R,dot(R,sqt(R))) | 119572 | 139100696 | o2(x,o2(x,o1(x))) | true | 116583 | 116583 | -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_x26_u0_b54 | 17 | 26 | 0 | 54 | ![]() |
pow(R,dst(R,sqt(R))) | 119573 | 139100697 | o2(x,o2(x,o1(x))) | true | 116591 | 116591 | -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_x26_u0_b55 | 17 | 26 | 0 | 55 | ![]() |
mod(R,add(R,sqt(R))) | 119574 | 139100698 | o2(x,o2(x,o1(x))) | true | 116599 | 116599 | -0.9327 | 0.04297 | 0.9813 | 0.1025 | 0.3202 | -1 | 0.9428 | 1.943 | 1 | 0.413 | 0.01033 | 0.01038 | 0.01414 | -0.00231 | 1 | 0.000008535 | 0.04322 | 0.0262 | 0.02051 | 0.1432 | 10.13 | 2.64 | 0.2021 | 0.4217 | 1 | 1 | 0.01648 | 0.07156 | 0.1733 | 0.1608 | 0.6982 | 1.691 | json |
| t17_x26_u0_b56 | 17 | 26 | 0 | 56 | ![]() |
mod(R,sub(R,sqt(R))) | 119575 | 139100699 | o2(x,o2(x,o1(x))) | true | 116607 | 116607 | -0.9539 | 0.04297 | 0.9602 | 0.04749 | 0.2179 | -1 | 0.1692 | 1.169 | 1 | 0.3169 | 0.004936 | 0.004665 | 0.009099 | 0.02822 | 1 | -9.285e-7 | 0.02007 | 0.0179 | 0.00952 | 0.09757 | 10.72 | 1.606 | 0.2022 | 0.4225 | 1 | 1 | 0.007404 | 0.03179 | 0.0803 | 0.1559 | 0.6694 | 1.691 | json |
| t17_x26_u0_b57 | 17 | 26 | 0 | 57 | ![]() |
mod(R,mlt(R,sqt(R))) | 119576 | 139100700 | o2(x,o2(x,o1(x))) | true | 116615 | 116615 | -0.9529 | 0.04297 | 0.9612 | 0.04949 | 0.2225 | -1 | 0.148 | 1.148 | 1 | 0.3186 | 0.005107 | 0.004972 | 0.009317 | 0.01343 | 1 | -0.000001302 | 0.02108 | 0.01834 | 0.009993 | 0.09996 | 10.73 | 1.624 | 0.2036 | 0.4259 | 1 | 1 | 0.007776 | 0.03332 | 0.08346 | 0.1571 | 0.6733 | 1.686 | json |
| t17_x26_u0_b58 | 17 | 26 | 0 | 58 | ![]() |
mod(R,div(R,sqt(R))) | 119577 | 139100701 | o2(x,o2(x,o1(x))) | true | 116623 | 116623 | -0.9327 | 0.04297 | 0.9813 | 0.1025 | 0.3202 | -1 | 0.9428 | 1.943 | 1 | 0.413 | 0.01033 | 0.01038 | 0.01414 | -0.00231 | 1 | 0.000008535 | 0.04322 | 0.0262 | 0.02051 | 0.1432 | 10.13 | 2.64 | 0.2021 | 0.4217 | 1 | 1 | 0.01648 | 0.07156 | 0.1733 | 0.1608 | 0.6982 | 1.691 | json |
| t17_x26_u0_b59 | 17 | 26 | 0 | 59 | ![]() |
mod(R,pow(R,sqt(R))) | 119578 | 139100702 | o2(x,o2(x,o1(x))) | true | 116631 | 116631 | -0.9327 | 0.04297 | 0.9813 | 0.1025 | 0.3202 | -1 | 0.9428 | 1.943 | 1 | 0.413 | 0.01033 | 0.01038 | 0.01414 | -0.00231 | 1 | 0.000008535 | 0.04322 | 0.0262 | 0.02051 | 0.1432 | 10.13 | 2.64 | 0.2021 | 0.4217 | 1 | 1 | 0.01648 | 0.07156 | 0.1733 | 0.1608 | 0.6982 | 1.691 | json |
| t17_x26_u0_b60 | 17 | 26 | 0 | 60 | ![]() |
mod(R,mod(R,sqt(R))) | 119579 | 139100703 | o2(x,o2(x,o1(x))) | true | 116639 | 116639 | -0.9517 | 0.02866 | 0.9624 | 0.05393 | 0.2322 | -1 | 0.8978 | 1.898 | 1 | 0.3487 | 0.005826 | 0.004928 | 0.009904 | 0.08344 | 1 | -0.000001658 | 0.02238 | 0.01869 | 0.01065 | 0.1032 | 10.42 | 2.098 | 0.1994 | 0.415 | 1 | 1 | 0.008929 | 0.03885 | 0.1039 | 0.1656 | 0.7204 | 1.926 | json |
| t17_x26_u0_b61 | 17 | 26 | 0 | 61 | ![]() |
mod(R,lrg(R,sqt(R))) | 119580 | 139100704 | o2(x,o2(x,o1(x))) | true | 116647 | 116647 | -0.9668 | 0 | 0.9668 | 0.01915 | 0.1384 | -1 | -0.007164 | 0.9928 | 1 | 0.6215 | 0.00171 | 0.001917 | 0.007503 | -0.05728 | 1 | -0.000001442 | 0.007437 | 0.01163 | 0.00357 | 0.05975 | 7.963 | 1.289 | 0.1894 | 0.3884 | 1 | 1 | 0.003992 | 0.01731 | 0.04085 | 0.2085 | 0.9041 | 2.133 | json |
| t17_x26_u0_b62 | 17 | 26 | 0 | 62 | ![]() |
mod(R,eql(R,sqt(R))) | 119581 | 139100705 | o2(x,o2(x,o1(x))) | true | 116655 | 116655 | -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_x26_u0_b63 | 17 | 26 | 0 | 63 | ![]() |
mod(R,min(R,sqt(R))) | 119582 | 139100706 | o2(x,o2(x,o1(x))) | true | 116663 | 116663 | -0.01621 | 0.2374 | 0.09644 | 0.04024 | 0.2006 | -0.9675 | 0.9558 | 1.923 | 1 | 2.738 | 0.0006146 | 0.0005535 | 0.01871 | 0.05227 | 1 | -0.0000106 | 0.00006938 | 0.004372 | 0.0008183 | 0.02861 | 1.529 | 0.2163 | 0.02903 | 0.001724 | 1 | 1 | 0.002918 | 0.03769 | 0.09805 | 0.0725 | 0.9366 | 2.436 | json |
| t17_x26_u0_b64 | 17 | 26 | 0 | 64 | ![]() |
mod(R,dot(R,sqt(R))) | 119583 | 139100707 | o2(x,o2(x,o1(x))) | true | 116671 | 116671 | -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_x26_u0_b65 | 17 | 26 | 0 | 65 | ![]() |
mod(R,dst(R,sqt(R))) | 119584 | 139100708 | o2(x,o2(x,o1(x))) | true | 116679 | 116679 | -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_x26_u0_b66 | 17 | 26 | 0 | 66 | ![]() |
lrg(R,add(R,sqt(R))) | 119585 | 139100709 | o2(x,o2(x,o1(x))) | true | 116687 | 116687 | 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_x26_u0_b67 | 17 | 26 | 0 | 67 | ![]() |
lrg(R,sub(R,sqt(R))) | 119586 | 139100710 | o2(x,o2(x,o1(x))) | true | 116695 | 116695 | 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_x26_u0_b68 | 17 | 26 | 0 | 68 | ![]() |
lrg(R,mlt(R,sqt(R))) | 119587 | 139100711 | o2(x,o2(x,o1(x))) | true | 116703 | 116703 | 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_x26_u0_b69 | 17 | 26 | 0 | 69 | ![]() |
lrg(R,div(R,sqt(R))) | 119588 | 139100712 | o2(x,o2(x,o1(x))) | true | 116711 | 116711 | 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_x26_u0_b70 | 17 | 26 | 0 | 70 | ![]() |
lrg(R,pow(R,sqt(R))) | 119589 | 139100713 | o2(x,o2(x,o1(x))) | true | 116719 | 116719 | 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_x26_u0_b71 | 17 | 26 | 0 | 71 | ![]() |
lrg(R,mod(R,sqt(R))) | 119590 | 139100714 | o2(x,o2(x,o1(x))) | true | 116727 | 116727 | 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_x26_u0_b72 | 17 | 26 | 0 | 72 | ![]() |
lrg(R,lrg(R,sqt(R))) | 119591 | 139100715 | o2(x,o2(x,o1(x))) | true | 116735 | 116735 | 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_x26_u0_b73 | 17 | 26 | 0 | 73 | ![]() |
lrg(R,eql(R,sqt(R))) | 119592 | 139100716 | o2(x,o2(x,o1(x))) | true | 116743 | 116743 | 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_x26_u0_b74 | 17 | 26 | 0 | 74 | ![]() |
lrg(R,min(R,sqt(R))) | 119593 | 139100717 | o2(x,o2(x,o1(x))) | true | 116751 | 116751 | 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_x26_u0_b75 | 17 | 26 | 0 | 75 | ![]() |
lrg(R,dot(R,sqt(R))) | 119594 | 139100718 | o2(x,o2(x,o1(x))) | true | 116759 | 116759 | 0.9004 | 1 | 0.9004 | 0.0556 | 0.2358 | 0.000291 | 1 | 0.9997 | 1 | 1.524 | 0.0007493 | 0.0008444 | 0.01886 | -0.05965 | 1 | 0.00002282 | 0.00009416 | 0.004589 | 0.001238 | 0.03519 | 1.866 | 0.1169 | 0.02866 | 0.001693 | 1 | 1 | 0.003746 | 0.04825 | 0.1189 | 0.06736 | 0.8678 | 2.138 | json |
| t17_x26_u0_b76 | 17 | 26 | 0 | 76 | ![]() |
lrg(R,dst(R,sqt(R))) | 119595 | 139100719 | o2(x,o2(x,o1(x))) | true | 116767 | 116767 | 0.9863 | 1 | 0.9863 | 0.008204 | 0.09058 | 0.000582 | 1 | 0.9994 | 1 | 0.3168 | 0.0001173 | 0.0001228 | 0.002875 | -0.02273 | 1 | -5.444e-10 | 0.00001428 | 0.0006966 | 0.0002319 | 0.01523 | 5.298 | 0.1169 | 0.02927 | 0.00174 | 1 | 1 | 0.0003565 | 0.004541 | 0.01228 | 0.04345 | 0.5535 | 1.497 | json |
| t17_x26_u0_b77 | 17 | 26 | 0 | 77 | ![]() |
eql(R,add(R,sqt(R))) | 119596 | 139100720 | o2(x,o2(x,o1(x))) | true | 116775 | 116775 | 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_x26_u0_b78 | 17 | 26 | 0 | 78 | ![]() |
eql(R,sub(R,sqt(R))) | 119597 | 139100721 | o2(x,o2(x,o1(x))) | true | 116783 | 116783 | 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_x26_u0_b79 | 17 | 26 | 0 | 79 | ![]() |
eql(R,mlt(R,sqt(R))) | 119598 | 139100722 | o2(x,o2(x,o1(x))) | true | 116791 | 116791 | 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_x26_u0_b80 | 17 | 26 | 0 | 80 | ![]() |
eql(R,div(R,sqt(R))) | 119599 | 139100723 | o2(x,o2(x,o1(x))) | true | 116799 | 116799 | 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 |



































































































