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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t18_x79_u0_b155 | 18 | 79 | 0 | 155 | ![]() |
sub(R,div(R,sub(R,D))) | 136400 | 149362652 | o2(x,o2(x,o2(x,x))) | true | 119607 | 119607 | -0.5165 | 0.1723 | 0.7376 | 0.3851 | 0.6205 | -1 | 1 | 2 | 1 | 3.502 | 0.3108 | 0.01016 | 0.257 | 0.9367 | 1 | 0.0002533 | 0.7829 | 0.3915 | 0.2549 | 0.5049 | 1.964 | 2.828 | 0.8334 | 2.033 | 1 | 1 | 0.2661 | 0.531 | 0.7124 | 0.6911 | 1.379 | 1.85 | json |
| t18_x79_u0_b156 | 18 | 79 | 0 | 156 | ![]() |
sub(R,div(R,mlt(R,D))) | 136401 | 149362653 | o2(x,o2(x,o2(x,x))) | true | 119615 | 119615 | 0.001765 | 0.5017 | 0.9134 | 0.8842 | 0.9403 | -1 | 1 | 2 | 1 | 2.265 | 0.3192 | 0.0003831 | 0.2465 | 0.9976 | 1 | 0.000001922 | 0.5223 | 0.3324 | 0.2587 | 0.5086 | 2.063 | 2 | 0.3615 | 0.5907 | 1 | 1 | 0.3812 | 1.708 | 0.03916 | 0.4311 | 1.932 | 0.04429 | json |
| t18_x79_u0_b157 | 18 | 79 | 0 | 157 | ![]() |
sub(R,div(R,div(R,D))) | 136402 | 149362654 | o2(x,o2(x,o2(x,x))) | true | 119623 | 119623 | 0.009165 | 0.4978 | 0.4005 | 0.2287 | 0.4782 | -1 | 1 | 2 | 1 | 4.894 | 0.004393 | 0.003164 | 0.07461 | 0.1626 | 1 | 0.00003074 | 0.0006179 | 0.01902 | 0.001989 | 0.0446 | 0.5978 | 0.2561 | 0.03305 | 0.002702 | 1 | 1 | 0.01479 | 0.1717 | 0.3901 | 0.06468 | 0.751 | 1.706 | json |
| t18_x79_u0_b158 | 18 | 79 | 0 | 158 | ![]() |
sub(R,div(R,pow(R,D))) | 136403 | 149362655 | o2(x,o2(x,o2(x,x))) | true | 119631 | 119631 | -0.9577 | 0.0164 | 0.9584 | 0.03998 | 0.1999 | -1 | 0.06948 | 1.069 | 1 | 0.3183 | 0.004228 | 0.004043 | 0.008659 | 0.02235 | 1 | 0.000004679 | 0.0173 | 0.01673 | 0.008189 | 0.09049 | 10.45 | 1.43 | 0.2069 | 0.4327 | 1 | 1 | 0.006358 | 0.02699 | 0.06657 | 0.159 | 0.6751 | 1.665 | json |
| t18_x79_u0_b159 | 18 | 79 | 0 | 159 | ![]() |
sub(R,div(R,mod(R,D))) | 136404 | 149362656 | o2(x,o2(x,o2(x,x))) | true | 119639 | 119639 | -0.9966 | 0 | 0.9966 | 0.0006051 | 0.0246 | -1 | -0.5647 | 0.4353 | 1 | 0.1753 | 0.000504 | 0.00006494 | 0.003544 | 0.7717 | 1 | 0.000006992 | 0.001435 | 0.006097 | 0.0005567 | 0.02359 | 6.657 | 0.4706 | 0.9403 | 2.372 | 1 | 1 | 0.0005521 | 0.000958 | 0.001166 | 0.9124 | 1.583 | 1.927 | json |
| t18_x79_u0_b160 | 18 | 79 | 0 | 160 | ![]() |
sub(R,div(R,lrg(R,D))) | 136405 | 149362657 | o2(x,o2(x,o2(x,x))) | true | 119647 | 119647 | -0.9243 | 0.003418 | 0.9312 | 0.07677 | 0.2771 | -1 | 1 | 2 | 1 | 0.3942 | 0.02989 | 0.007338 | 0.03342 | 0.6058 | 1 | 0 | 0.08324 | 0.06648 | 0.03611 | 0.19 | 5.686 | 2.828 | 0.4849 | 1.084 | 1 | 1 | 0.03132 | 0.09496 | 0.1448 | 0.4079 | 1.237 | 1.886 | json |
| t18_x79_u0_b161 | 18 | 79 | 0 | 161 | ![]() |
sub(R,div(R,eql(R,D))) | 136406 | 149362658 | o2(x,o2(x,o2(x,x))) | true | 119655 | 119655 | -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 |
| t18_x79_u0_b162 | 18 | 79 | 0 | 162 | ![]() |
sub(R,div(R,min(R,D))) | 136407 | 149362659 | o2(x,o2(x,o2(x,x))) | true | 119663 | 119663 | -0.4399 | 0.2627 | 0.8653 | 0.6234 | 0.7896 | -1 | 1 | 2 | 1 | 2.728 | 0.173 | 0.01286 | 0.1718 | 0.8616 | 1 | 0.0002337 | 0.3455 | 0.209 | 0.1563 | 0.3953 | 2.301 | 2.376 | 0.2981 | 0.5542 | 1 | 1 | 0.2059 | 0.8952 | 0.7569 | 0.3302 | 1.436 | 1.214 | json |
| t18_x79_u0_b163 | 18 | 79 | 0 | 163 | ![]() |
sub(R,div(R,dot(R,D))) | 136408 | 149362660 | o2(x,o2(x,o2(x,x))) | true | 119671 | 119671 | 0.0002081 | 0.5 | 0.867 | 0.8237 | 0.9076 | -1 | 1 | 2 | 1 | 2.749 | 0.3809 | 0.3208 | 0.4282 | 0.08565 | 1 | 0.00009636 | 2.416 | 0.7509 | 0.5184 | 0.72 | 1.681 | 2.828 | 0.8518 | 2.933 | 1 | 1 | 0.6903 | 1.874 | 1.217 | 0.838 | 2.275 | 1.478 | json |
| t18_x79_u0_b164 | 18 | 79 | 0 | 164 | ![]() |
sub(R,div(R,dst(R,D))) | 136409 | 149362661 | o2(x,o2(x,o2(x,x))) | true | 119679 | 119679 | 0.007766 | 0.5208 | 0.1188 | 0.03021 | 0.1738 | -1 | 1 | 2 | 1 | 3.366 | 0.001302 | 0.001109 | 0.03405 | 0.07981 | 1 | 0.00008757 | 0.001084 | 0.01085 | 0.001252 | 0.03538 | 1.039 | 1.285 | 0.0798 | 0.03586 | 1 | 1 | 0.004154 | 0.03551 | 0.05646 | 0.1375 | 1.175 | 1.869 | json |
| t18_x79_u0_b165 | 18 | 79 | 0 | 165 | ![]() |
sub(R,pow(R,add(R,D))) | 136410 | 149362662 | o2(x,o2(x,o2(x,x))) | true | 119687 | 119687 | -0.9678 | 0.0001068 | 0.9678 | 0.02507 | 0.1583 | -1 | 0.004466 | 1.004 | 1 | 0.3872 | 0.002706 | 0.002647 | 0.007845 | 0.01087 | 1 | 0.000005292 | 0.01107 | 0.01333 | 0.005291 | 0.07274 | 9.272 | 1.385 | 0.2135 | 0.4415 | 1 | 1 | 0.004345 | 0.0186 | 0.04441 | 0.1733 | 0.7419 | 1.772 | json |
| t18_x79_u0_b166 | 18 | 79 | 0 | 166 | ![]() |
sub(R,pow(R,sub(R,D))) | 136411 | 149362663 | o2(x,o2(x,o2(x,x))) | true | 119695 | 119695 | -0.9682 | 0.0001526 | 0.9682 | 0.0249 | 0.1578 | -1 | 0.004861 | 1.005 | 1 | 0.3822 | 0.002728 | 0.002604 | 0.007627 | 0.02335 | 1 | 0.0000203 | 0.01104 | 0.01302 | 0.005275 | 0.07263 | 9.523 | 1.395 | 0.2141 | 0.4432 | 1 | 1 | 0.004431 | 0.01841 | 0.04138 | 0.1779 | 0.7392 | 1.662 | json |
| t18_x79_u0_b167 | 18 | 79 | 0 | 167 | ![]() |
sub(R,pow(R,mlt(R,D))) | 136412 | 149362664 | o2(x,o2(x,o2(x,x))) | true | 119703 | 119703 | -0.9758 | 0 | 0.9758 | 0.01481 | 0.1217 | -1 | -0.04958 | 0.9504 | 1 | 0.4138 | 0.001502 | 0.001542 | 0.005911 | -0.01335 | 1 | 0.000007737 | 0.006273 | 0.009502 | 0.00301 | 0.05486 | 9.281 | 1.221 | 0.2055 | 0.4235 | 1 | 1 | 0.002517 | 0.01119 | 0.02528 | 0.1699 | 0.7551 | 1.707 | json |
| t18_x79_u0_b168 | 18 | 79 | 0 | 168 | ![]() |
sub(R,pow(R,div(R,D))) | 136413 | 149362665 | o2(x,o2(x,o2(x,x))) | true | 119711 | 119711 | -0.9751 | 0.01215 | 0.983 | 0.0276 | 0.1661 | -1 | 0.8517 | 1.852 | 1 | 0.3056 | 0.005976 | 0.002565 | 0.009681 | 0.3993 | 1 | 0.00007333 | 0.01765 | 0.01289 | 0.008447 | 0.09191 | 9.494 | 1.845 | 0.3095 | 0.6396 | 1 | 1 | 0.0062 | 0.02431 | 0.04402 | 0.2246 | 0.8811 | 1.595 | json |
| t18_x79_u0_b169 | 18 | 79 | 0 | 169 | ![]() |
sub(R,pow(R,pow(R,D))) | 136414 | 149362666 | o2(x,o2(x,o2(x,x))) | true | 119719 | 119719 | -0.9574 | 0.01988 | 0.9585 | 0.04056 | 0.2014 | -1 | 0.1005 | 1.1 | 1 | 0.3313 | 0.004229 | 0.00408 | 0.008695 | 0.01797 | 1 | 0.000003782 | 0.01737 | 0.01675 | 0.008227 | 0.0907 | 10.43 | 1.432 | 0.2049 | 0.4282 | 1 | 1 | 0.006363 | 0.02722 | 0.0673 | 0.1569 | 0.6711 | 1.659 | json |
| t18_x79_u0_b170 | 18 | 79 | 0 | 170 | ![]() |
sub(R,pow(R,mod(R,D))) | 136415 | 149362667 | o2(x,o2(x,o2(x,x))) | true | 119727 | 119727 | -0.9719 | 0 | 0.9719 | 0.01884 | 0.1373 | -1 | -0.04231 | 0.9577 | 1 | 0.4009 | 0.001658 | 0.001961 | 0.00675 | -0.08371 | 1 | 0.00001118 | 0.007494 | 0.01201 | 0.003574 | 0.05978 | 8.856 | 1.231 | 0.1921 | 0.3978 | 1 | 1 | 0.002942 | 0.01376 | 0.03198 | 0.1562 | 0.7304 | 1.697 | json |
| t18_x79_u0_b171 | 18 | 79 | 0 | 171 | ![]() |
sub(R,pow(R,lrg(R,D))) | 136416 | 149362668 | o2(x,o2(x,o2(x,x))) | true | 119735 | 119735 | -0.776 | 0 | 0.776 | 0.1356 | 0.3682 | -1 | 2.979e-8 | 1 | 1 | 2.028 | 0.02947 | 0.0084 | 0.06761 | 0.5564 | 1 | -0.00004399 | 0.07733 | 0.09176 | 0.03329 | 0.1825 | 2.699 | 1.414 | 0.2794 | 0.5704 | 1 | 1 | 0.03949 | 0.1488 | 0.242 | 0.2913 | 1.098 | 1.785 | json |
| t18_x79_u0_b172 | 18 | 79 | 0 | 172 | ![]() |
sub(R,pow(R,eql(R,D))) | 136417 | 149362669 | o2(x,o2(x,o2(x,x))) | true | 119743 | 119743 | -0.7982 | 0 | 0.7982 | 0.07256 | 0.2694 | -1 | -0.01936 | 0.9806 | 1 | 2.716 | 0.001505 | 0.001593 | 0.03316 | -0.02861 | 1 | 0.0000876 | 0.0008194 | 0.01256 | 0.001998 | 0.0447 | 1.348 | 0.5371 | 0.04269 | 0.01129 | 1 | 1 | 0.005951 | 0.06127 | 0.1403 | 0.08201 | 0.8445 | 1.934 | json |
| t18_x79_u0_b173 | 18 | 79 | 0 | 173 | ![]() |
sub(R,pow(R,min(R,D))) | 136418 | 149362670 | o2(x,o2(x,o2(x,x))) | true | 119751 | 119751 | -0.978 | 0 | 0.978 | 0.01356 | 0.1164 | -1 | -0.0492 | 0.9508 | 1 | 0.3897 | 0.001553 | 0.001467 | 0.006279 | 0.02855 | 1 | 0.00001028 | 0.006125 | 0.009492 | 0.00298 | 0.05459 | 8.694 | 1.22 | 0.2227 | 0.4517 | 1 | 1 | 0.002453 | 0.01061 | 0.0238 | 0.1809 | 0.7825 | 1.756 | json |
| t18_x79_u0_b174 | 18 | 79 | 0 | 174 | ![]() |
sub(R,pow(R,dot(R,D))) | 136419 | 149362671 | o2(x,o2(x,o2(x,x))) | true | 119759 | 119759 | -0.976 | 0 | 0.976 | 0.01509 | 0.1228 | -1 | -0.04954 | 0.9505 | 1 | 0.3995 | 0.001555 | 0.00157 | 0.00614 | -0.004958 | 1 | 0.00001031 | 0.006376 | 0.009578 | 0.003087 | 0.05556 | 9.048 | 1.214 | 0.2072 | 0.4227 | 1 | 1 | 0.002595 | 0.01174 | 0.02547 | 0.172 | 0.7783 | 1.688 | json |
| t18_x79_u0_b175 | 18 | 79 | 0 | 175 | ![]() |
sub(R,pow(R,dst(R,D))) | 136420 | 149362672 | o2(x,o2(x,o2(x,x))) | true | 119767 | 119767 | -0.9579 | 0.0209 | 0.9595 | 0.03974 | 0.1993 | -1 | 0.1204 | 1.12 | 1 | 0.3522 | 0.004001 | 0.003849 | 0.008613 | 0.0194 | 1 | 0.000001569 | 0.01634 | 0.01621 | 0.00777 | 0.08815 | 10.23 | 1.494 | 0.1976 | 0.4112 | 1 | 1 | 0.006238 | 0.0276 | 0.0682 | 0.157 | 0.6947 | 1.716 | json |
| t18_x79_u0_b176 | 18 | 79 | 0 | 176 | ![]() |
sub(R,mod(R,add(R,D))) | 136421 | 149362673 | o2(x,o2(x,o2(x,x))) | true | 119775 | 119775 | 0.00484 | 0.4186 | 0.1701 | 0.06781 | 0.2604 | -0.9674 | 0.9496 | 1.917 | 1 | 3.815 | 0.02138 | 0.0006353 | 0.0753 | 0.9423 | 1 | 0.0001491 | 0.04464 | 0.0964 | 0.01634 | 0.1278 | 1.698 | 0.9674 | 0.3246 | 0.6584 | 1 | 1 | 0.02178 | 0.07605 | 0.07858 | 0.3211 | 1.121 | 1.159 | json |
| t18_x79_u0_b177 | 18 | 79 | 0 | 177 | ![]() |
sub(R,mod(R,sub(R,D))) | 136422 | 149362674 | o2(x,o2(x,o2(x,x))) | true | 119783 | 119783 | 0.003847 | 0.4244 | 0.1763 | 0.07032 | 0.2652 | -0.9673 | 0.9496 | 1.917 | 1 | 3.881 | 0.02141 | 0.0006468 | 0.07626 | 0.9414 | 1 | 0.000101 | 0.04465 | 0.09689 | 0.01624 | 0.1274 | 1.671 | 0.9673 | 0.3137 | 0.635 | 1 | 1 | 0.02199 | 0.07789 | 0.08305 | 0.3127 | 1.108 | 1.181 | json |
| t18_x79_u0_b178 | 18 | 79 | 0 | 178 | ![]() |
sub(R,mod(R,mlt(R,D))) | 136423 | 149362675 | o2(x,o2(x,o2(x,x))) | true | 119791 | 119791 | 0.007634 | 0.4968 | 0.3422 | 0.1687 | 0.4107 | -0.9988 | 0.9806 | 1.979 | 1 | 4.718 | 0.004922 | 0.002424 | 0.06404 | 0.3401 | 1 | 0.00002487 | 0.006835 | 0.05208 | 0.003245 | 0.05697 | 0.8896 | 0.5688 | 0.04355 | 0.04053 | 1 | 1 | 0.01135 | 0.1263 | 0.3008 | 0.06729 | 0.7487 | 1.783 | json |
| t18_x79_u0_b179 | 18 | 79 | 0 | 179 | ![]() |
sub(R,mod(R,div(R,D))) | 136424 | 149362676 | o2(x,o2(x,o2(x,x))) | true | 119799 | 119799 | 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 |
| t18_x79_u0_b180 | 18 | 79 | 0 | 180 | ![]() |
sub(R,mod(R,pow(R,D))) | 136425 | 149362677 | o2(x,o2(x,o2(x,x))) | true | 119807 | 119807 | -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 |
| t18_x79_u0_b181 | 18 | 79 | 0 | 181 | ![]() |
sub(R,mod(R,mod(R,D))) | 136426 | 149362678 | o2(x,o2(x,o2(x,x))) | true | 119815 | 119815 | 0.009307 | 0.4972 | 0.3675 | 0.1945 | 0.4411 | -0.9825 | 0.9767 | 1.959 | 1 | 4.801 | 0.004716 | 0.002821 | 0.0696 | 0.2513 | 1 | 0.00002006 | 0.00611 | 0.05459 | 0.002694 | 0.0519 | 0.7458 | 0.5269 | 0.03874 | 0.03141 | 1 | 1 | 0.01234 | 0.1402 | 0.3454 | 0.06343 | 0.7204 | 1.775 | json |
| t18_x79_u0_b182 | 18 | 79 | 0 | 182 | ![]() |
sub(R,mod(R,lrg(R,D))) | 136427 | 149362679 | o2(x,o2(x,o2(x,x))) | true | 119823 | 119823 | -0.9312 | 0 | 0.9312 | 0.06407 | 0.2531 | -1 | 0 | 1 | 1 | 0.3616 | 0.02485 | 0.005574 | 0.03011 | 0.6335 | 1 | 0 | 0.068 | 0.06085 | 0.0295 | 0.1717 | 5.704 | 1.414 | 0.4748 | 1.061 | 1 | 1 | 0.02749 | 0.08127 | 0.122 | 0.4291 | 1.268 | 1.904 | json |
| t18_x79_u0_b183 | 18 | 79 | 0 | 183 | ![]() |
sub(R,mod(R,eql(R,D))) | 136428 | 149362680 | o2(x,o2(x,o2(x,x))) | true | 119831 | 119831 | -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 |
| t18_x79_u0_b184 | 18 | 79 | 0 | 184 | ![]() |
sub(R,mod(R,min(R,D))) | 136429 | 149362681 | o2(x,o2(x,o2(x,x))) | true | 119839 | 119839 | 0.02822 | 0.5444 | 0.3239 | 0.1668 | 0.4084 | -0.9987 | 0.9683 | 1.967 | 1 | 4.681 | 0.00567 | 0.002192 | 0.06685 | 0.4424 | 1 | 0.0001827 | 0.008942 | 0.05745 | 0.003394 | 0.05826 | 0.8715 | 0.5183 | 0.04714 | 0.05361 | 1 | 1 | 0.01085 | 0.1108 | 0.2854 | 0.06503 | 0.6643 | 1.711 | json |
| t18_x79_u0_b185 | 18 | 79 | 0 | 185 | ![]() |
sub(R,mod(R,dot(R,D))) | 136430 | 149362682 | o2(x,o2(x,o2(x,x))) | true | 119847 | 119847 | 0.007198 | 0.4931 | 0.3354 | 0.1655 | 0.4068 | -0.9897 | 0.9668 | 1.957 | 1 | 4.711 | 0.006769 | 0.00664 | 0.08864 | 0.009601 | 1 | 0.00004519 | 0.04088 | 0.1376 | 0.005552 | 0.07451 | 0.8406 | 0.6261 | 0.08105 | 0.2471 | 1 | 1 | 0.015 | 0.129 | 0.2949 | 0.09064 | 0.7799 | 1.783 | json |
| t18_x79_u0_b186 | 18 | 79 | 0 | 186 | ![]() |
sub(R,mod(R,dst(R,D))) | 136431 | 149362683 | o2(x,o2(x,o2(x,x))) | true | 119855 | 119855 | 0.002518 | 0.1434 | 0.03869 | 0.0144 | 0.12 | -0.903 | 0.9511 | 1.854 | 1 | 1.465 | 0.005133 | 0.003193 | 0.02493 | 0.233 | 1 | -0.0001118 | 0.02758 | 0.03653 | 0.007703 | 0.08777 | 3.521 | 1.277 | 0.5781 | 1.915 | 1 | 1 | 0.007221 | 0.0213 | 0.02565 | 0.5014 | 1.479 | 1.781 | json |
| t18_x79_u0_b187 | 18 | 79 | 0 | 187 | ![]() |
sub(R,lrg(R,add(R,D))) | 136432 | 149362684 | o2(x,o2(x,o2(x,x))) | true | 119863 | 119863 | -0.4204 | 0.201 | 0.5662 | 0.2506 | 0.5006 | -1 | 0.9804 | 1.98 | 1 | 4.386 | 0.0477 | 0.002539 | 0.1158 | 0.8989 | 1 | 0.0001124 | 0.08414 | 0.1109 | 0.03684 | 0.1919 | 1.658 | 1.023 | 0.2005 | 0.3357 | 1 | 1 | 0.05898 | 0.2859 | 0.2878 | 0.2353 | 1.141 | 1.149 | json |
| t18_x79_u0_b188 | 18 | 79 | 0 | 188 | ![]() |
sub(R,lrg(R,sub(R,D))) | 136433 | 149362685 | o2(x,o2(x,o2(x,x))) | true | 119871 | 119871 | -0.4226 | 0.1991 | 0.5655 | 0.2483 | 0.4983 | -1 | 0.9802 | 1.98 | 1 | 4.396 | 0.04752 | 0.002554 | 0.1144 | 0.898 | 1 | 0.00008838 | 0.08409 | 0.1105 | 0.03699 | 0.1923 | 1.682 | 1.023 | 0.2016 | 0.3386 | 1 | 1 | 0.05828 | 0.2809 | 0.2873 | 0.2347 | 1.131 | 1.157 | json |
| t18_x79_u0_b189 | 18 | 79 | 0 | 189 | ![]() |
sub(R,lrg(R,mlt(R,D))) | 136434 | 149362686 | o2(x,o2(x,o2(x,x))) | true | 119879 | 119879 | -0.4734 | 0 | 0.4734 | 0.05091 | 0.2256 | -0.9989 | -0.002975 | 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 |
| t18_x79_u0_b190 | 18 | 79 | 0 | 190 | ![]() |
sub(R,lrg(R,div(R,D))) | 136435 | 149362687 | o2(x,o2(x,o2(x,x))) | true | 119887 | 119887 | -0.4178 | 0.2038 | 0.5663 | 0.2533 | 0.5033 | -1 | 0.9801 | 1.98 | 1 | 4.398 | 0.03392 | 0.004483 | 0.1044 | 0.7665 | 1 | 0.0001054 | 0.06254 | 0.09385 | 0.02749 | 0.1658 | 1.587 | 1.004 | 0.1516 | 0.2469 | 1 | 1 | 0.0459 | 0.2842 | 0.475 | 0.1812 | 1.122 | 1.875 | json |
| t18_x79_u0_b191 | 18 | 79 | 0 | 191 | ![]() |
sub(R,lrg(R,pow(R,D))) | 136436 | 149362688 | o2(x,o2(x,o2(x,x))) | true | 119895 | 119895 | -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 |
| t18_x79_u0_b192 | 18 | 79 | 0 | 192 | ![]() |
sub(R,lrg(R,mod(R,D))) | 136437 | 149362689 | o2(x,o2(x,o2(x,x))) | true | 119903 | 119903 | -0.3557 | 0.07283 | 0.3703 | 0.06671 | 0.2583 | -0.9989 | 0.4354 | 1.434 | 1 | 4.056 | 0.01593 | 0.0008971 | 0.059 | 0.8934 | 1 | -0.0003048 | 0.03101 | 0.05717 | 0.01334 | 0.1155 | 1.958 | 1.007 | 0.2522 | 0.4649 | 1 | 1 | 0.01495 | 0.06004 | 0.1045 | 0.2241 | 0.9001 | 1.566 | json |
| t18_x79_u0_b193 | 18 | 79 | 0 | 193 | ![]() |
sub(R,lrg(R,lrg(R,D))) | 136438 | 149362690 | o2(x,o2(x,o2(x,x))) | true | 119911 | 119911 | -0.05025 | 0.4455 | 0.417 | 0.2358 | 0.4856 | -0.9989 | 0.9806 | 1.979 | 1 | 4.886 | 0.01129 | 0.003249 | 0.0776 | 0.553 | 1 | 0.00007582 | 0.01731 | 0.04122 | 0.008515 | 0.09228 | 1.189 | 0.9995 | 0.06164 | 0.0734 | 1 | 1 | 0.01917 | 0.175 | 0.422 | 0.08129 | 0.742 | 1.79 | json |
| t18_x79_u0_b194 | 18 | 79 | 0 | 194 | ![]() |
sub(R,lrg(R,eql(R,D))) | 136439 | 149362691 | o2(x,o2(x,o2(x,x))) | true | 119919 | 119919 | -0.4734 | 0 | 0.4734 | 0.05091 | 0.2256 | -0.9989 | -0.002975 | 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 |
| t18_x79_u0_b195 | 18 | 79 | 0 | 195 | ![]() |
sub(R,lrg(R,min(R,D))) | 136440 | 149362692 | o2(x,o2(x,o2(x,x))) | true | 119927 | 119927 | -0.4889 | 0.01665 | 0.4913 | 0.06471 | 0.2544 | -1 | 0.251 | 1.251 | 1 | 3.991 | 0.01789 | 0.0009234 | 0.0687 | 0.9018 | 1 | 0.00001675 | 0.03559 | 0.06634 | 0.01409 | 0.1187 | 1.728 | 0.9993 | 0.2907 | 0.55 | 1 | 1 | 0.01847 | 0.07152 | 0.1137 | 0.2854 | 1.105 | 1.756 | json |
| t18_x79_u0_b196 | 18 | 79 | 0 | 196 | ![]() |
sub(R,lrg(R,dot(R,D))) | 136441 | 149362693 | o2(x,o2(x,o2(x,x))) | true | 119935 | 119935 | -0.477 | 0.009186 | 0.4783 | 0.05966 | 0.2443 | -1 | 0.3613 | 1.361 | 1 | 3.941 | 0.003406 | 0.009564 | 0.05428 | -0.4748 | 1 | -0.00003779 | 0.03417 | 0.05198 | 0.01002 | 0.1001 | 1.845 | 1.345 | 0.2174 | 0.5728 | 1 | 1 | 0.01307 | 0.0622 | 0.1042 | 0.2191 | 1.043 | 1.747 | json |
| t18_x79_u0_b197 | 18 | 79 | 0 | 197 | ![]() |
sub(R,lrg(R,dst(R,D))) | 136442 | 149362694 | o2(x,o2(x,o2(x,x))) | true | 119943 | 119943 | -0.02596 | 0.4634 | 0.3832 | 0.2091 | 0.4573 | -0.9989 | 0.9806 | 1.979 | 1 | 4.84 | 0.00732 | 0.006213 | 0.07113 | 0.08181 | 1 | 0.0002207 | 0.0262 | 0.03794 | 0.008472 | 0.09204 | 1.294 | 1.412 | 0.0647 | 0.1253 | 1 | 1 | 0.01739 | 0.1619 | 0.3733 | 0.08317 | 0.7739 | 1.785 | json |
| t18_x79_u0_b198 | 18 | 79 | 0 | 198 | ![]() |
sub(R,eql(R,add(R,D))) | 136443 | 149362695 | o2(x,o2(x,o2(x,x))) | true | 119951 | 119951 | 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 |
| t18_x79_u0_b199 | 18 | 79 | 0 | 199 | ![]() |
sub(R,eql(R,sub(R,D))) | 136444 | 149362696 | o2(x,o2(x,o2(x,x))) | true | 119959 | 119959 | 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 |
| t18_x79_u0_b200 | 18 | 79 | 0 | 200 | ![]() |
sub(R,eql(R,mlt(R,D))) | 136445 | 149362697 | o2(x,o2(x,o2(x,x))) | true | 119967 | 119967 | 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 |
| t18_x80_u0_b0 | 18 | 80 | 0 | 0 | ![]() |
add(R,add(R,add(R,R))) | 136446 | 149402898 | o2(x,o2(x,o2(x,x))) | true | 119975 | 119975 | 0.001391 | 0.4984 | 0.8292 | 0.7715 | 0.8784 | -1 | 1 | 2 | 1 | 3.169 | 0.01877 | 0.0212 | 0.1028 | -0.06085 | 1 | 0.00002711 | 0.01638 | 0.05267 | 0.02941 | 0.1715 | 1.668 | 0.9204 | 0.05181 | 0.02122 | 1 | 1 | 0.07477 | 0.6333 | 1.383 | 0.09691 | 0.8208 | 1.793 | json |
| t18_x80_u0_b1 | 18 | 80 | 0 | 1 | ![]() |
add(R,add(R,sub(R,R))) | 136447 | 149402899 | o2(x,o2(x,o2(x,x))) | true | 119983 | 119983 | 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 |
| t18_x80_u0_b2 | 18 | 80 | 0 | 2 | ![]() |
add(R,add(R,mlt(R,R))) | 136448 | 149402900 | o2(x,o2(x,o2(x,x))) | true | 119991 | 119991 | 0.1777 | 0.557 | 0.6358 | 0.4814 | 0.6938 | -0.9999 | 1 | 2 | 1 | 4.37 | 0.007958 | 0.008838 | 0.08798 | -0.05242 | 1 | -0.0001249 | 0.003267 | 0.02886 | 0.009056 | 0.09516 | 1.082 | 0.4425 | 0.03489 | 0.006786 | 1 | 1 | 0.03338 | 0.3692 | 0.8727 | 0.06934 | 0.767 | 1.813 | json |
| t18_x80_u0_b3 | 18 | 80 | 0 | 3 | ![]() |
add(R,add(R,div(R,R))) | 136449 | 149402901 | o2(x,o2(x,o2(x,x))) | true | 119999 | 119999 | 0.6143 | 0.8457 | 0.7403 | 0.2767 | 0.526 | -0.9977 | 1 | 1.998 | 1 | 3.302 | 0.00496 | 0.005854 | 0.06068 | -0.08261 | 1 | -0.0001222 | 0.002674 | 0.02409 | 0.007134 | 0.08446 | 1.392 | 0.4459 | 0.03909 | 0.009665 | 1 | 1 | 0.01988 | 0.2027 | 0.452 | 0.07186 | 0.7327 | 1.634 | json |
| t18_x80_u0_b4 | 18 | 80 | 0 | 4 | ![]() |
add(R,add(R,pow(R,R))) | 136450 | 149402902 | o2(x,o2(x,o2(x,x))) | true | 120007 | 120007 | -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 |
| t18_x80_u0_b5 | 18 | 80 | 0 | 5 | ![]() |
add(R,add(R,mod(R,R))) | 136451 | 149402903 | o2(x,o2(x,o2(x,x))) | true | 120015 | 120015 | 0.007248 | 0.4962 | 0.6879 | 0.5846 | 0.7646 | -1 | 1 | 2 | 1 | 4.215 | 0.01003 | 0.01103 | 0.09523 | -0.04734 | 1 | 0.0000278 | 0.004279 | 0.03148 | 0.01199 | 0.1095 | 1.15 | 0.649 | 0.03602 | 0.007319 | 1 | 1 | 0.0422 | 0.4523 | 1.066 | 0.07218 | 0.7736 | 1.824 | json |
| t18_x80_u0_b6 | 18 | 80 | 0 | 6 | ![]() |
add(R,add(R,lrg(R,R))) | 136452 | 149402904 | o2(x,o2(x,o2(x,x))) | true | 120023 | 120023 | 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 |
| t18_x80_u0_b7 | 18 | 80 | 0 | 7 | ![]() |
add(R,add(R,eql(R,R))) | 136453 | 149402905 | o2(x,o2(x,o2(x,x))) | true | 120031 | 120031 | 0.6143 | 0.8457 | 0.7403 | 0.2767 | 0.526 | -0.9977 | 1 | 1.998 | 1 | 3.302 | 0.00496 | 0.005854 | 0.06068 | -0.08261 | 1 | -0.0001222 | 0.002674 | 0.02409 | 0.007134 | 0.08446 | 1.392 | 0.4459 | 0.03909 | 0.009665 | 1 | 1 | 0.01988 | 0.2027 | 0.452 | 0.07186 | 0.7327 | 1.634 | json |
| t18_x80_u0_b8 | 18 | 80 | 0 | 8 | ![]() |
add(R,add(R,min(R,R))) | 136454 | 149402906 | o2(x,o2(x,o2(x,x))) | true | 120039 | 120039 | 0.006445 | 0.4984 | 0.7716 | 0.6948 | 0.8335 | -1 | 1 | 2 | 1 | 3.655 | 0.01402 | 0.01574 | 0.1002 | -0.05767 | 1 | 0.000001041 | 0.008798 | 0.04095 | 0.01971 | 0.1404 | 1.401 | 0.6903 | 0.04284 | 0.01266 | 1 | 1 | 0.0571 | 0.5509 | 1.247 | 0.08218 | 0.7929 | 1.795 | json |
| t18_x80_u0_b9 | 18 | 80 | 0 | 9 | ![]() |
add(R,add(R,dot(R,R))) | 136455 | 149402907 | o2(x,o2(x,o2(x,x))) | true | 120047 | 120047 | 0.591 | 0.841 | 0.6841 | 0.2443 | 0.4943 | -0.8926 | 1 | 1.893 | 1 | 3.441 | 0.00515 | 0.005527 | 0.06182 | -0.03531 | 1 | -0.0001484 | 0.003066 | 0.0262 | 0.006852 | 0.08278 | 1.339 | 0.4677 | 0.0437 | 0.01255 | 1 | 1 | 0.02 | 0.1961 | 0.4474 | 0.08185 | 0.8026 | 1.832 | json |
| t18_x80_u0_b10 | 18 | 80 | 0 | 10 | ![]() |
add(R,add(R,dst(R,R))) | 136456 | 149402908 | o2(x,o2(x,o2(x,x))) | true | 120055 | 120055 | 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 |
| t18_x80_u0_b11 | 18 | 80 | 0 | 11 | ![]() |
add(R,sub(R,add(R,R))) | 136457 | 149402909 | o2(x,o2(x,o2(x,x))) | true | 120063 | 120063 | 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 |
| t18_x80_u0_b12 | 18 | 80 | 0 | 12 | ![]() |
add(R,sub(R,sub(R,R))) | 136458 | 149402910 | o2(x,o2(x,o2(x,x))) | true | 120071 | 120071 | 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 |
| t18_x80_u0_b13 | 18 | 80 | 0 | 13 | ![]() |
add(R,sub(R,mlt(R,R))) | 136459 | 149402911 | o2(x,o2(x,o2(x,x))) | true | 120079 | 120079 | -0.1602 | 0.4331 | 0.6254 | 0.4714 | 0.6866 | -1 | 0.9986 | 1.999 | 1 | 4.501 | 0.007517 | 0.008441 | 0.08865 | -0.05791 | 1 | 0.0001616 | 0.002709 | 0.02734 | 0.008099 | 0.09 | 1.015 | 0.4525 | 0.03385 | 0.005748 | 1 | 1 | 0.03081 | 0.3483 | 0.8253 | 0.06536 | 0.739 | 1.751 | json |
| t18_x80_u0_b14 | 18 | 80 | 0 | 14 | ![]() |
add(R,sub(R,div(R,R))) | 136460 | 149402912 | o2(x,o2(x,o2(x,x))) | true | 120087 | 120087 | -0.5964 | 0.1796 | 0.7309 | 0.2902 | 0.5387 | -1 | 0.9613 | 1.961 | 1 | 3.293 | 0.005883 | 0.006361 | 0.06617 | -0.03903 | 1 | 0.0001752 | 0.002786 | 0.02475 | 0.007863 | 0.08868 | 1.34 | 0.446 | 0.04219 | 0.009598 | 1 | 1 | 0.0238 | 0.2451 | 0.5613 | 0.08201 | 0.8444 | 1.934 | json |
| t18_x80_u0_b15 | 18 | 80 | 0 | 15 | ![]() |
add(R,sub(R,pow(R,R))) | 136461 | 149402913 | o2(x,o2(x,o2(x,x))) | true | 120095 | 120095 | -0.942 | 0.03593 | 0.9756 | 0.08046 | 0.2837 | -1 | 0.9396 | 1.94 | 1 | 0.445 | 0.008093 | 0.008402 | 0.01327 | -0.01876 | 1 | 0.00001404 | 0.03423 | 0.02279 | 0.01632 | 0.1278 | 9.628 | 2.616 | 0.205 | 0.4254 | 1 | 1 | 0.01364 | 0.05969 | 0.1372 | 0.1695 | 0.7418 | 1.705 | json |
| t18_x80_u0_b16 | 18 | 80 | 0 | 16 | ![]() |
add(R,sub(R,mod(R,R))) | 136462 | 149402914 | o2(x,o2(x,o2(x,x))) | true | 120103 | 120103 | 0.02432 | 0.5005 | 0.6088 | 0.4842 | 0.6959 | -1 | 1 | 2 | 1 | 4.561 | 0.007366 | 0.008377 | 0.08803 | -0.06417 | 1 | 0.00003211 | 0.002564 | 0.02621 | 0.007995 | 0.08942 | 1.016 | 0.4602 | 0.03251 | 0.005295 | 1 | 1 | 0.02962 | 0.3378 | 0.8479 | 0.06117 | 0.6977 | 1.751 | json |
| t18_x80_u0_b17 | 18 | 80 | 0 | 17 | ![]() |
add(R,sub(R,lrg(R,R))) | 136463 | 149402915 | o2(x,o2(x,o2(x,x))) | true | 120111 | 120111 | 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 |
| t18_x80_u0_b18 | 18 | 80 | 0 | 18 | ![]() |
add(R,sub(R,eql(R,R))) | 136464 | 149402916 | o2(x,o2(x,o2(x,x))) | true | 120119 | 120119 | -0.5964 | 0.1796 | 0.7309 | 0.2902 | 0.5387 | -1 | 0.9613 | 1.961 | 1 | 3.293 | 0.005883 | 0.006361 | 0.06617 | -0.03903 | 1 | 0.0001752 | 0.002786 | 0.02475 | 0.007863 | 0.08868 | 1.34 | 0.446 | 0.04219 | 0.009598 | 1 | 1 | 0.0238 | 0.2451 | 0.5613 | 0.08201 | 0.8444 | 1.934 | json |
| t18_x80_u0_b19 | 18 | 80 | 0 | 19 | ![]() |
add(R,sub(R,min(R,R))) | 136465 | 149402917 | o2(x,o2(x,o2(x,x))) | true | 120127 | 120127 | 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 |
| t18_x80_u0_b20 | 18 | 80 | 0 | 20 | ![]() |
add(R,sub(R,dot(R,R))) | 136466 | 149402918 | o2(x,o2(x,o2(x,x))) | true | 120135 | 120135 | -0.5918 | 0.1572 | 0.6835 | 0.2419 | 0.4919 | -1 | 0.9057 | 1.906 | 1 | 3.464 | 0.004737 | 0.005049 | 0.05989 | -0.03185 | 1 | 0.0001564 | 0.002545 | 0.02351 | 0.006201 | 0.07875 | 1.315 | 0.4798 | 0.04045 | 0.01052 | 1 | 1 | 0.01839 | 0.1838 | 0.4128 | 0.07602 | 0.7596 | 1.706 | json |
| t18_x80_u0_b21 | 18 | 80 | 0 | 21 | ![]() |
add(R,sub(R,dst(R,R))) | 136467 | 149402919 | o2(x,o2(x,o2(x,x))) | true | 120143 | 120143 | 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 |
| t18_x80_u0_b22 | 18 | 80 | 0 | 22 | ![]() |
add(R,mlt(R,add(R,R))) | 136468 | 149402920 | o2(x,o2(x,o2(x,x))) | true | 120151 | 120151 | 0.5297 | 0.8737 | 0.5465 | 0.1583 | 0.3979 | -0.125 | 1 | 1.125 | 1 | 3.721 | 0.002922 | 0.003098 | 0.05095 | -0.02918 | 1 | -0.0001011 | 0.001478 | 0.01897 | 0.003425 | 0.05852 | 1.149 | 0.3056 | 0.03802 | 0.009332 | 1 | 1 | 0.0118 | 0.1244 | 0.3184 | 0.07454 | 0.7859 | 2.011 | json |
| t18_x80_u0_b23 | 18 | 80 | 0 | 23 | ![]() |
add(R,mlt(R,sub(R,R))) | 136469 | 149402921 | o2(x,o2(x,o2(x,x))) | true | 120159 | 120159 | 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 |
| t18_x80_u0_b24 | 18 | 80 | 0 | 24 | ![]() |
add(R,mlt(R,mlt(R,R))) | 136470 | 149402922 | o2(x,o2(x,o2(x,x))) | true | 120167 | 120167 | 0.028 | 0.5036 | 0.5393 | 0.4061 | 0.6372 | -1 | 1 | 2 | 1 | 4.713 | 0.006053 | 0.006754 | 0.08159 | -0.05477 | 1 | 0.00002712 | 0.001922 | 0.02304 | 0.006149 | 0.07842 | 0.9611 | 0.4532 | 0.03154 | 0.004733 | 1 | 1 | 0.02456 | 0.2858 | 0.725 | 0.0605 | 0.7039 | 1.785 | json |
| t18_x80_u0_b25 | 18 | 80 | 0 | 25 | ![]() |
add(R,mlt(R,div(R,R))) | 136471 | 149402923 | o2(x,o2(x,o2(x,x))) | true | 120175 | 120175 | 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 |
| t18_x80_u0_b26 | 18 | 80 | 0 | 26 | ![]() |
add(R,mlt(R,pow(R,R))) | 136472 | 149402924 | o2(x,o2(x,o2(x,x))) | true | 120183 | 120183 | -0.9206 | 0.04297 | 0.9935 | 0.1425 | 0.3775 | -1 | 1 | 2 | 1 | 0.3603 | 0.01405 | 0.01399 | 0.01613 | 0.001973 | 1 | -1.863e-7 | 0.05836 | 0.03068 | 0.02777 | 0.1666 | 10.33 | 2.828 | 0.1968 | 0.4096 | 1 | 1 | 0.0224 | 0.09932 | 0.2427 | 0.1572 | 0.6971 | 1.703 | json |
| t18_x80_u0_b27 | 18 | 80 | 0 | 27 | ![]() |
add(R,mlt(R,mod(R,R))) | 136473 | 149402925 | o2(x,o2(x,o2(x,x))) | true | 120191 | 120191 | 0.07073 | 0.5339 | 0.3885 | 0.2158 | 0.4646 | -0.9989 | 1 | 1.999 | 1 | 4.842 | 0.002878 | 0.002918 | 0.06138 | -0.00682 | 1 | 0.000002111 | 0.0004082 | 0.01435 | 0.002029 | 0.04504 | 0.7338 | 0.2929 | 0.02685 | 0.001891 | 1 | 1 | 0.01112 | 0.1403 | 0.3837 | 0.05152 | 0.6499 | 1.778 | json |
| t18_x80_u0_b28 | 18 | 80 | 0 | 28 | ![]() |
add(R,mlt(R,lrg(R,R))) | 136474 | 149402926 | o2(x,o2(x,o2(x,x))) | true | 120199 | 120199 | 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 |
| t18_x80_u0_b29 | 18 | 80 | 0 | 29 | ![]() |
add(R,mlt(R,eql(R,R))) | 136475 | 149402927 | o2(x,o2(x,o2(x,x))) | true | 120207 | 120207 | 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 |
| t18_x80_u0_b30 | 18 | 80 | 0 | 30 | ![]() |
add(R,mlt(R,min(R,R))) | 136476 | 149402928 | o2(x,o2(x,o2(x,x))) | true | 120215 | 120215 | 0.3075 | 0.6379 | 0.405 | 0.1922 | 0.4384 | -0.2496 | 1 | 1.25 | 1 | 3.98 | 0.003053 | 0.003246 | 0.05579 | -0.03067 | 1 | -0.00005463 | 0.0009672 | 0.01624 | 0.003186 | 0.05645 | 1.012 | 0.2518 | 0.03277 | 0.005033 | 1 | 1 | 0.01264 | 0.1473 | 0.381 | 0.06577 | 0.7663 | 1.982 | json |
| t18_x80_u0_b31 | 18 | 80 | 0 | 31 | ![]() |
add(R,mlt(R,dot(R,R))) | 136477 | 149402929 | o2(x,o2(x,o2(x,x))) | true | 120223 | 120223 | 0.0289 | 0.5054 | 0.6579 | 0.5497 | 0.7414 | -1 | 1 | 2 | 1 | 4.301 | 0.009601 | 0.011 | 0.09206 | -0.06812 | 1 | 0.00002871 | 0.004888 | 0.03229 | 0.01213 | 0.1101 | 1.196 | 0.6263 | 0.03748 | 0.008892 | 1 | 1 | 0.03937 | 0.412 | 0.9945 | 0.07161 | 0.7495 | 1.809 | json |
| t18_x80_u0_b32 | 18 | 80 | 0 | 32 | ![]() |
add(R,mlt(R,dst(R,R))) | 136478 | 149402930 | o2(x,o2(x,o2(x,x))) | true | 120231 | 120231 | 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 |
| t18_x80_u0_b33 | 18 | 80 | 0 | 33 | ![]() |
add(R,div(R,add(R,R))) | 136479 | 149402931 | o2(x,o2(x,o2(x,x))) | true | 120239 | 120239 | 0.4754 | 0.8456 | 0.5384 | 0.1767 | 0.4203 | -0.4989 | 1 | 1.499 | 1 | 4.212 | 0.002436 | 0.002788 | 0.05401 | -0.0674 | 1 | -0.00003028 | 0.0005955 | 0.01441 | 0.002308 | 0.04804 | 0.8895 | 0.2301 | 0.02957 | 0.003371 | 1 | 1 | 0.01022 | 0.1234 | 0.3088 | 0.05788 | 0.6986 | 1.748 | json |
| t18_x80_u0_b34 | 18 | 80 | 0 | 34 | ![]() |
add(R,div(R,sub(R,R))) | 136480 | 149402932 | o2(x,o2(x,o2(x,x))) | true | 120247 | 120247 | -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 |
| t18_x80_u0_b35 | 18 | 80 | 0 | 35 | ![]() |
add(R,div(R,mlt(R,R))) | 136481 | 149402933 | o2(x,o2(x,o2(x,x))) | true | 120255 | 120255 | -0.05217 | 0.4738 | 0.9223 | 0.8933 | 0.9451 | -1 | 1 | 2 | 1 | 2.166 | 0.03664 | 0.04494 | 0.1118 | -0.1017 | 1 | 0.00003579 | 0.08412 | 0.09604 | 0.06907 | 0.2628 | 2.351 | 2.828 | 0.09133 | 0.09417 | 1 | 1 | 0.1261 | 0.8289 | 1.766 | 0.1412 | 0.9279 | 1.977 | json |
| t18_x80_u0_b36 | 18 | 80 | 0 | 36 | ![]() |
add(R,div(R,div(R,R))) | 136482 | 149402934 | o2(x,o2(x,o2(x,x))) | true | 120263 | 120263 | 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 |
| t18_x80_u0_b37 | 18 | 80 | 0 | 37 | ![]() |
add(R,div(R,pow(R,R))) | 136483 | 149402935 | o2(x,o2(x,o2(x,x))) | true | 120271 | 120271 | -0.9172 | 0.04297 | 0.9968 | 0.1538 | 0.3922 | -1 | 1 | 2 | 1 | 0.3186 | 0.01556 | 0.01524 | 0.01644 | 0.01023 | 1 | -6.969e-7 | 0.06426 | 0.03209 | 0.03051 | 0.1747 | 10.63 | 2.828 | 0.2002 | 0.4177 | 1 | 1 | 0.02442 | 0.1058 | 0.2608 | 0.1587 | 0.6876 | 1.695 | json |
| t18_x80_u0_b38 | 18 | 80 | 0 | 38 | ![]() |
add(R,div(R,mod(R,R))) | 136484 | 149402936 | o2(x,o2(x,o2(x,x))) | true | 120279 | 120279 | -0.947 | 0.02734 | 0.9983 | 0.1007 | 0.3173 | -1 | 1 | 2 | 1 | 0.2112 | 0.01118 | 0.007679 | 0.009972 | 0.1858 | 1 | 0 | 0.03959 | 0.01965 | 0.01878 | 0.137 | 13.74 | 2.828 | 0.1874 | 0.3933 | 1 | 1 | 0.03324 | 0.135 | 0.3067 | 0.3302 | 1.341 | 3.047 | json |
| t18_x80_u0_b39 | 18 | 80 | 0 | 39 | ![]() |
add(R,div(R,lrg(R,R))) | 136485 | 149402937 | o2(x,o2(x,o2(x,x))) | true | 120287 | 120287 | -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 |
| t18_x80_u0_b40 | 18 | 80 | 0 | 40 | ![]() |
add(R,div(R,eql(R,R))) | 136486 | 149402938 | o2(x,o2(x,o2(x,x))) | true | 120295 | 120295 | 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 |
| t18_x80_u0_b41 | 18 | 80 | 0 | 41 | ![]() |
add(R,div(R,min(R,R))) | 136487 | 149402939 | o2(x,o2(x,o2(x,x))) | true | 120303 | 120303 | 0.8072 | 1 | 0.8072 | 0.06917 | 0.263 | 0.001146 | 1 | 0.9989 | 1 | 2.721 | 0.00124 | 0.001463 | 0.03034 | -0.08261 | 1 | -0.00006109 | 0.0006685 | 0.01204 | 0.001783 | 0.04223 | 1.392 | 0.223 | 0.03908 | 0.009664 | 1 | 1 | 0.004971 | 0.05068 | 0.113 | 0.07186 | 0.7327 | 1.634 | json |
| t18_x80_u0_b42 | 18 | 80 | 0 | 42 | ![]() |
add(R,div(R,dot(R,R))) | 136488 | 149402940 | o2(x,o2(x,o2(x,x))) | true | 120311 | 120311 | -0.008341 | 0.4898 | 0.7017 | 0.5987 | 0.7738 | -1 | 1 | 2 | 1 | 4.21 | 0.009728 | 0.01068 | 0.09619 | -0.04657 | 1 | -0.00002309 | 0.003694 | 0.0305 | 0.01115 | 0.1056 | 1.098 | 0.8008 | 0.03408 | 0.00617 | 1 | 1 | 0.03851 | 0.4368 | 1.078 | 0.06432 | 0.7296 | 1.801 | json |
| t18_x80_u0_b43 | 18 | 80 | 0 | 43 | ![]() |
add(R,div(R,dst(R,R))) | 136489 | 149402941 | o2(x,o2(x,o2(x,x))) | true | 120319 | 120319 | -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 |
| t18_x80_u0_b44 | 18 | 80 | 0 | 44 | ![]() |
add(R,pow(R,add(R,R))) | 136490 | 149402942 | o2(x,o2(x,o2(x,x))) | true | 120327 | 120327 | -0.9159 | 0.04297 | 0.9981 | 0.1576 | 0.397 | -1 | 1 | 2 | 1 | 0.3098 | 0.0159 | 0.01552 | 0.01642 | 0.01198 | 1 | -4.758e-8 | 0.06561 | 0.0325 | 0.03114 | 0.1765 | 10.75 | 2.828 | 0.1994 | 0.4164 | 1 | 1 | 0.02447 | 0.1065 | 0.2659 | 0.1553 | 0.6757 | 1.688 | json |
| t18_x80_u0_b45 | 18 | 80 | 0 | 45 | ![]() |
add(R,pow(R,sub(R,R))) | 136491 | 149402943 | o2(x,o2(x,o2(x,x))) | true | 120335 | 120335 | 0.8072 | 1 | 0.8072 | 0.06917 | 0.263 | 0.001146 | 1 | 0.9989 | 1 | 2.721 | 0.00124 | 0.001463 | 0.03034 | -0.08261 | 1 | -0.00006109 | 0.0006685 | 0.01204 | 0.001783 | 0.04223 | 1.392 | 0.223 | 0.03908 | 0.009664 | 1 | 1 | 0.004971 | 0.05068 | 0.113 | 0.07186 | 0.7327 | 1.634 | json |
| t18_x80_u0_b46 | 18 | 80 | 0 | 46 | ![]() |
add(R,pow(R,mlt(R,R))) | 136492 | 149402944 | o2(x,o2(x,o2(x,x))) | true | 120343 | 120343 | -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 |
| t18_x80_u0_b47 | 18 | 80 | 0 | 47 | ![]() |
add(R,pow(R,div(R,R))) | 136493 | 149402945 | o2(x,o2(x,o2(x,x))) | true | 120351 | 120351 | -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 |
| t18_x80_u0_b48 | 18 | 80 | 0 | 48 | ![]() |
add(R,pow(R,pow(R,R))) | 136494 | 149402946 | o2(x,o2(x,o2(x,x))) | true | 120359 | 120359 | -0.9174 | 0.04297 | 0.9967 | 0.1533 | 0.3915 | -1 | 1 | 2 | 1 | 0.3235 | 0.01547 | 0.01518 | 0.01641 | 0.009416 | 1 | -5.831e-7 | 0.06397 | 0.03203 | 0.03037 | 0.1743 | 10.62 | 2.828 | 0.2 | 0.4173 | 1 | 1 | 0.02425 | 0.1053 | 0.2597 | 0.1582 | 0.6867 | 1.694 | json |
| t18_x80_u0_b49 | 18 | 80 | 0 | 49 | ![]() |
add(R,pow(R,mod(R,R))) | 136495 | 149402947 | o2(x,o2(x,o2(x,x))) | true | 120367 | 120367 | 0.1192 | 0.6133 | 0.8927 | 0.8299 | 0.911 | -1 | 1 | 2 | 1 | 2.548 | 0.05611 | 0.05526 | 0.07596 | 0.007635 | 1 | -0.00003587 | 0.2277 | 0.125 | 0.1056 | 0.325 | 4.279 | 2.828 | 0.1342 | 0.2743 | 1 | 1 | 0.1053 | 0.4509 | 1.656 | 0.1268 | 0.5433 | 1.996 | json |
| t18_x80_u0_b50 | 18 | 80 | 0 | 50 | ![]() |
add(R,pow(R,lrg(R,R))) | 136496 | 149402948 | o2(x,o2(x,o2(x,x))) | true | 120375 | 120375 | 0.8072 | 1 | 0.8072 | 0.06917 | 0.263 | 0.001146 | 1 | 0.9989 | 1 | 2.721 | 0.00124 | 0.001463 | 0.03034 | -0.08261 | 1 | -0.00006109 | 0.0006685 | 0.01204 | 0.001783 | 0.04223 | 1.392 | 0.223 | 0.03908 | 0.009664 | 1 | 1 | 0.004971 | 0.05068 | 0.113 | 0.07186 | 0.7327 | 1.634 | json |
| t18_x80_u0_b51 | 18 | 80 | 0 | 51 | ![]() |
add(R,pow(R,eql(R,R))) | 136497 | 149402949 | o2(x,o2(x,o2(x,x))) | true | 120383 | 120383 | 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 |
| t18_x80_u0_b52 | 18 | 80 | 0 | 52 | ![]() |
add(R,pow(R,min(R,R))) | 136498 | 149402950 | o2(x,o2(x,o2(x,x))) | true | 120391 | 120391 | -0.9143 | 0.04297 | 0.9998 | 0.1637 | 0.4046 | -1 | 1 | 2 | 1 | 0.2663 | 0.01674 | 0.01628 | 0.01651 | 0.01389 | 1 | -1.457e-7 | 0.06903 | 0.03317 | 0.03273 | 0.1809 | 10.95 | 2.828 | 0.2017 | 0.4216 | 1 | 1 | 0.02534 | 0.1092 | 0.2745 | 0.1548 | 0.6668 | 1.676 | json |
| t18_x80_u0_b53 | 18 | 80 | 0 | 53 | ![]() |
add(R,pow(R,dot(R,R))) | 136499 | 149402951 | o2(x,o2(x,o2(x,x))) | true | 120399 | 120399 | -0.9162 | 0.04297 | 0.9978 | 0.1568 | 0.3959 | -1 | 1 | 2 | 1 | 0.3108 | 0.01561 | 0.0158 | 0.0165 | -0.0063 | 1 | 3.754e-11 | 0.06557 | 0.03246 | 0.03112 | 0.1764 | 10.69 | 2.828 | 0.2004 | 0.4183 | 1 | 1 | 0.02432 | 0.1062 | 0.2634 | 0.1552 | 0.6776 | 1.681 | json |



































































































