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_x80_u0_b54 | 18 | 80 | 0 | 54 | ![]() |
add(R,pow(R,dst(R,R))) | 136500 | 149402952 | o2(x,o2(x,o2(x,x))) | true | 120407 | 120407 | 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_b55 | 18 | 80 | 0 | 55 | ![]() |
add(R,mod(R,add(R,R))) | 136501 | 149402953 | o2(x,o2(x,o2(x,x))) | true | 120415 | 120415 | 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_b56 | 18 | 80 | 0 | 56 | ![]() |
add(R,mod(R,sub(R,R))) | 136502 | 149402954 | o2(x,o2(x,o2(x,x))) | true | 120423 | 120423 | 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_b57 | 18 | 80 | 0 | 57 | ![]() |
add(R,mod(R,mlt(R,R))) | 136503 | 149402955 | o2(x,o2(x,o2(x,x))) | true | 120431 | 120431 | 0.008005 | 0.4948 | 0.4679 | 0.3052 | 0.5524 | -0.9999 | 0.9988 | 1.999 | 1 | 4.969 | 0.004012 | 0.004473 | 0.07534 | -0.05432 | 1 | 0.00003172 | 0.0004984 | 0.01733 | 0.002809 | 0.053 | 0.7035 | 0.2337 | 0.0278 | 0.001633 | 1 | 1 | 0.01694 | 0.2178 | 0.5496 | 0.05552 | 0.7137 | 1.801 | json |
| t18_x80_u0_b58 | 18 | 80 | 0 | 58 | ![]() |
add(R,mod(R,div(R,R))) | 136504 | 149402956 | o2(x,o2(x,o2(x,x))) | true | 120439 | 120439 | 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_b59 | 18 | 80 | 0 | 59 | ![]() |
add(R,mod(R,pow(R,R))) | 136505 | 149402957 | o2(x,o2(x,o2(x,x))) | true | 120447 | 120447 | -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_b60 | 18 | 80 | 0 | 60 | ![]() |
add(R,mod(R,mod(R,R))) | 136506 | 149402958 | o2(x,o2(x,o2(x,x))) | true | 120455 | 120455 | -0.9861 | 0.00737 | 0.9966 | 0.02289 | 0.1513 | -1 | 1 | 2 | 1 | 0.1251 | 0.00325 | 0.001574 | 0.003748 | 0.3474 | 1 | 3.754e-12 | 0.009944 | 0.005683 | 0.004802 | 0.06929 | 18.49 | 2.828 | 0.2107 | 0.4343 | 1 | 1 | 0.008869 | 0.03938 | 0.08059 | 0.3874 | 1.72 | 3.52 | json |
| t18_x80_u0_b61 | 18 | 80 | 0 | 61 | ![]() |
add(R,mod(R,lrg(R,R))) | 136507 | 149402959 | o2(x,o2(x,o2(x,x))) | true | 120463 | 120463 | -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_b62 | 18 | 80 | 0 | 62 | ![]() |
add(R,mod(R,eql(R,R))) | 136508 | 149402960 | o2(x,o2(x,o2(x,x))) | true | 120471 | 120471 | 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_b63 | 18 | 80 | 0 | 63 | ![]() |
add(R,mod(R,min(R,R))) | 136509 | 149402961 | o2(x,o2(x,o2(x,x))) | true | 120479 | 120479 | -0.001754 | 0.4942 | 0.4586 | 0.2945 | 0.5427 | -1 | 1 | 2 | 1 | 4.959 | 0.004169 | 0.00446 | 0.07152 | -0.03364 | 1 | 0.00002087 | 0.0008645 | 0.0178 | 0.003513 | 0.05927 | 0.8287 | 0.4327 | 0.0293 | 0.002935 | 1 | 1 | 0.01825 | 0.2227 | 0.5625 | 0.06197 | 0.7563 | 1.91 | json |
| t18_x80_u0_b64 | 18 | 80 | 0 | 64 | ![]() |
add(R,mod(R,dot(R,R))) | 136510 | 149402962 | o2(x,o2(x,o2(x,x))) | true | 120487 | 120487 | 0.01724 | 0.5012 | 0.6418 | 0.5247 | 0.7243 | -1 | 1 | 2 | 1 | 4.461 | 0.008249 | 0.009267 | 0.09125 | -0.05813 | 1 | 0.00004881 | 0.003013 | 0.02799 | 0.009188 | 0.09585 | 1.05 | 0.4602 | 0.03338 | 0.005743 | 1 | 1 | 0.03429 | 0.3865 | 0.9516 | 0.06536 | 0.7367 | 1.814 | json |
| t18_x80_u0_b65 | 18 | 80 | 0 | 65 | ![]() |
add(R,mod(R,dst(R,R))) | 136511 | 149402963 | o2(x,o2(x,o2(x,x))) | true | 120495 | 120495 | 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_b66 | 18 | 80 | 0 | 66 | ![]() |
add(R,lrg(R,add(R,R))) | 136512 | 149402964 | o2(x,o2(x,o2(x,x))) | true | 120503 | 120503 | 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 |
| t18_x80_u0_b67 | 18 | 80 | 0 | 67 | ![]() |
add(R,lrg(R,sub(R,R))) | 136513 | 149402965 | o2(x,o2(x,o2(x,x))) | true | 120511 | 120511 | 0.3351 | 0.6255 | 0.6444 | 0.4213 | 0.6491 | -0.9989 | 1 | 1.999 | 1 | 4.004 | 0.006632 | 0.00803 | 0.08203 | -0.0953 | 1 | -0.000127 | 0.0024 | 0.02604 | 0.007932 | 0.08906 | 1.086 | 0.347 | 0.0348 | 0.005696 | 1 | 1 | 0.02829 | 0.3191 | 0.7425 | 0.06714 | 0.7573 | 1.762 | json |
| t18_x80_u0_b68 | 18 | 80 | 0 | 68 | ![]() |
add(R,lrg(R,mlt(R,R))) | 136514 | 149402966 | o2(x,o2(x,o2(x,x))) | true | 120519 | 120519 | 0.3351 | 0.6255 | 0.6444 | 0.4213 | 0.6491 | -0.9989 | 1 | 1.999 | 1 | 4.004 | 0.006632 | 0.00803 | 0.08203 | -0.0953 | 1 | -0.000127 | 0.0024 | 0.02604 | 0.007932 | 0.08906 | 1.086 | 0.347 | 0.0348 | 0.005696 | 1 | 1 | 0.02829 | 0.3191 | 0.7425 | 0.06714 | 0.7573 | 1.762 | json |
| t18_x80_u0_b69 | 18 | 80 | 0 | 69 | ![]() |
add(R,lrg(R,div(R,R))) | 136515 | 149402967 | o2(x,o2(x,o2(x,x))) | true | 120527 | 120527 | 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_b70 | 18 | 80 | 0 | 70 | ![]() |
add(R,lrg(R,pow(R,R))) | 136516 | 149402968 | o2(x,o2(x,o2(x,x))) | true | 120535 | 120535 | 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 |
| t18_x80_u0_b71 | 18 | 80 | 0 | 71 | ![]() |
add(R,lrg(R,mod(R,R))) | 136517 | 149402969 | o2(x,o2(x,o2(x,x))) | true | 120543 | 120543 | 0.2704 | 0.6006 | 0.5954 | 0.3986 | 0.6313 | -0.9989 | 1 | 1.999 | 1 | 4.293 | 0.005915 | 0.007391 | 0.08041 | -0.1109 | 1 | -0.00008 | 0.002121 | 0.02469 | 0.006841 | 0.08271 | 1.029 | 0.347 | 0.03339 | 0.005323 | 1 | 1 | 0.02529 | 0.2888 | 0.701 | 0.06346 | 0.7247 | 1.759 | json |
| t18_x80_u0_b72 | 18 | 80 | 0 | 72 | ![]() |
add(R,lrg(R,lrg(R,R))) | 136518 | 149402970 | o2(x,o2(x,o2(x,x))) | true | 120551 | 120551 | 0.3351 | 0.6255 | 0.6444 | 0.4213 | 0.6491 | -0.9989 | 1 | 1.999 | 1 | 4.004 | 0.006632 | 0.00803 | 0.08203 | -0.0953 | 1 | -0.000127 | 0.0024 | 0.02604 | 0.007932 | 0.08906 | 1.086 | 0.347 | 0.0348 | 0.005696 | 1 | 1 | 0.02829 | 0.3191 | 0.7425 | 0.06714 | 0.7573 | 1.762 | json |
| t18_x80_u0_b73 | 18 | 80 | 0 | 73 | ![]() |
add(R,lrg(R,eql(R,R))) | 136519 | 149402971 | o2(x,o2(x,o2(x,x))) | true | 120559 | 120559 | 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_b74 | 18 | 80 | 0 | 74 | ![]() |
add(R,lrg(R,min(R,R))) | 136520 | 149402972 | o2(x,o2(x,o2(x,x))) | true | 120567 | 120567 | 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_b75 | 18 | 80 | 0 | 75 | ![]() |
add(R,lrg(R,dot(R,R))) | 136521 | 149402973 | o2(x,o2(x,o2(x,x))) | true | 120575 | 120575 | 0.04643 | 0.5117 | 0.425 | 0.2547 | 0.5047 | -0.9989 | 1 | 1.999 | 1 | 4.912 | 0.003205 | 0.003821 | 0.06696 | -0.08756 | 1 | -0.00002351 | 0.0005465 | 0.01594 | 0.002542 | 0.05042 | 0.7529 | 0.3135 | 0.02758 | 0.002146 | 1 | 1 | 0.01284 | 0.1626 | 0.4244 | 0.05042 | 0.6383 | 1.666 | json |
| t18_x80_u0_b76 | 18 | 80 | 0 | 76 | ![]() |
add(R,lrg(R,dst(R,R))) | 136522 | 149402974 | o2(x,o2(x,o2(x,x))) | true | 120583 | 120583 | 0.3351 | 0.6255 | 0.6444 | 0.4213 | 0.6491 | -0.9989 | 1 | 1.999 | 1 | 4.004 | 0.006632 | 0.00803 | 0.08203 | -0.0953 | 1 | -0.000127 | 0.0024 | 0.02604 | 0.007932 | 0.08906 | 1.086 | 0.347 | 0.0348 | 0.005696 | 1 | 1 | 0.02829 | 0.3191 | 0.7425 | 0.06714 | 0.7573 | 1.762 | json |
| t18_x80_u0_b77 | 18 | 80 | 0 | 77 | ![]() |
add(R,eql(R,add(R,R))) | 136523 | 149402975 | o2(x,o2(x,o2(x,x))) | true | 120591 | 120591 | 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_b78 | 18 | 80 | 0 | 78 | ![]() |
add(R,eql(R,sub(R,R))) | 136524 | 149402976 | o2(x,o2(x,o2(x,x))) | true | 120599 | 120599 | 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_b79 | 18 | 80 | 0 | 79 | ![]() |
add(R,eql(R,mlt(R,R))) | 136525 | 149402977 | o2(x,o2(x,o2(x,x))) | true | 120607 | 120607 | 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_b80 | 18 | 80 | 0 | 80 | ![]() |
add(R,eql(R,div(R,R))) | 136526 | 149402978 | o2(x,o2(x,o2(x,x))) | true | 120615 | 120615 | 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_b81 | 18 | 80 | 0 | 81 | ![]() |
add(R,eql(R,pow(R,R))) | 136527 | 149402979 | o2(x,o2(x,o2(x,x))) | true | 120623 | 120623 | 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_b82 | 18 | 80 | 0 | 82 | ![]() |
add(R,eql(R,mod(R,R))) | 136528 | 149402980 | o2(x,o2(x,o2(x,x))) | true | 120631 | 120631 | 0.2097 | 0.6453 | 0.4767 | 0.2711 | 0.5207 | -0.9989 | 1 | 1.999 | 1 | 4.841 | 0.003415 | 0.003759 | 0.06556 | -0.04796 | 1 | -0.000009774 | 0.0006584 | 0.01623 | 0.002877 | 0.05363 | 0.8182 | 0.3151 | 0.02646 | 0.002429 | 1 | 1 | 0.01354 | 0.1657 | 0.4699 | 0.04994 | 0.6112 | 1.733 | json |
| t18_x80_u0_b83 | 18 | 80 | 0 | 83 | ![]() |
add(R,eql(R,lrg(R,R))) | 136529 | 149402981 | o2(x,o2(x,o2(x,x))) | true | 120639 | 120639 | 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_b84 | 18 | 80 | 0 | 84 | ![]() |
add(R,eql(R,eql(R,R))) | 136530 | 149402982 | o2(x,o2(x,o2(x,x))) | true | 120647 | 120647 | 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_b85 | 18 | 80 | 0 | 85 | ![]() |
add(R,eql(R,min(R,R))) | 136531 | 149402983 | o2(x,o2(x,o2(x,x))) | true | 120655 | 120655 | 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_b86 | 18 | 80 | 0 | 86 | ![]() |
add(R,eql(R,dot(R,R))) | 136532 | 149402984 | o2(x,o2(x,o2(x,x))) | true | 120663 | 120663 | 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_b87 | 18 | 80 | 0 | 87 | ![]() |
add(R,eql(R,dst(R,R))) | 136533 | 149402985 | o2(x,o2(x,o2(x,x))) | true | 120671 | 120671 | 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_b88 | 18 | 80 | 0 | 88 | ![]() |
add(R,min(R,add(R,R))) | 136534 | 149402986 | o2(x,o2(x,o2(x,x))) | true | 120679 | 120679 | -0.09594 | 0.4552 | 0.7215 | 0.6186 | 0.7865 | -1 | 1 | 2 | 1 | 4.026 | 0.01111 | 0.01247 | 0.09732 | -0.05774 | 1 | 0.00007847 | 0.005365 | 0.03442 | 0.01411 | 0.1188 | 1.22 | 0.5769 | 0.03811 | 0.008672 | 1 | 1 | 0.04558 | 0.4771 | 1.118 | 0.07368 | 0.7712 | 1.808 | json |
| t18_x80_u0_b89 | 18 | 80 | 0 | 89 | ![]() |
add(R,min(R,sub(R,R))) | 136535 | 149402987 | o2(x,o2(x,o2(x,x))) | true | 120687 | 120687 | -0.1786 | 0.4229 | 0.5355 | 0.3565 | 0.597 | -1 | 0.9804 | 1.98 | 1 | 4.683 | 0.005248 | 0.005892 | 0.07878 | -0.05786 | 1 | 0.0001125 | 0.001381 | 0.0214 | 0.004933 | 0.07024 | 0.8915 | 0.3468 | 0.03125 | 0.003875 | 1 | 1 | 0.02169 | 0.2587 | 0.6278 | 0.06083 | 0.7256 | 1.761 | json |
| t18_x80_u0_b90 | 18 | 80 | 0 | 90 | ![]() |
add(R,min(R,mlt(R,R))) | 136536 | 149402988 | o2(x,o2(x,o2(x,x))) | true | 120695 | 120695 | -0.04331 | 0.4727 | 0.6243 | 0.5021 | 0.7086 | -1 | 1 | 2 | 1 | 4.531 | 0.007935 | 0.008818 | 0.09068 | -0.05273 | 1 | 0.00004453 | 0.002736 | 0.02706 | 0.008529 | 0.09235 | 1.018 | 0.4568 | 0.03336 | 0.005448 | 1 | 1 | 0.03269 | 0.3723 | 0.9101 | 0.0651 | 0.7414 | 1.812 | json |
| t18_x80_u0_b91 | 18 | 80 | 0 | 91 | ![]() |
add(R,min(R,div(R,R))) | 136537 | 149402989 | o2(x,o2(x,o2(x,x))) | true | 120703 | 120703 | 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_b92 | 18 | 80 | 0 | 92 | ![]() |
add(R,min(R,pow(R,R))) | 136538 | 149402990 | o2(x,o2(x,o2(x,x))) | true | 120711 | 120711 | 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_b93 | 18 | 80 | 0 | 93 | ![]() |
add(R,min(R,mod(R,R))) | 136539 | 149402991 | o2(x,o2(x,o2(x,x))) | true | 120719 | 120719 | -0.1399 | 0.4394 | 0.5593 | 0.3968 | 0.6299 | -1 | 1 | 2 | 1 | 4.727 | 0.005968 | 0.006537 | 0.0824 | -0.04555 | 1 | 0.00009316 | 0.001628 | 0.02271 | 0.005715 | 0.0756 | 0.9174 | 0.4327 | 0.03152 | 0.004102 | 1 | 1 | 0.02473 | 0.2928 | 0.7136 | 0.06232 | 0.738 | 1.798 | json |
| t18_x80_u0_b94 | 18 | 80 | 0 | 94 | ![]() |
add(R,min(R,lrg(R,R))) | 136540 | 149402992 | o2(x,o2(x,o2(x,x))) | true | 120727 | 120727 | -0.1786 | 0.4229 | 0.5355 | 0.3565 | 0.597 | -1 | 0.9804 | 1.98 | 1 | 4.683 | 0.005248 | 0.005892 | 0.07878 | -0.05786 | 1 | 0.0001125 | 0.001381 | 0.0214 | 0.004933 | 0.07024 | 0.8915 | 0.3468 | 0.03125 | 0.003875 | 1 | 1 | 0.02169 | 0.2587 | 0.6278 | 0.06083 | 0.7256 | 1.761 | json |
| t18_x80_u0_b95 | 18 | 80 | 0 | 95 | ![]() |
add(R,min(R,eql(R,R))) | 136541 | 149402993 | o2(x,o2(x,o2(x,x))) | true | 120735 | 120735 | 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_b96 | 18 | 80 | 0 | 96 | ![]() |
add(R,min(R,min(R,R))) | 136542 | 149402994 | o2(x,o2(x,o2(x,x))) | true | 120743 | 120743 | 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_b97 | 18 | 80 | 0 | 97 | ![]() |
add(R,min(R,dot(R,R))) | 136543 | 149402995 | o2(x,o2(x,o2(x,x))) | true | 120751 | 120751 | 0.01029 | 0.4973 | 0.6567 | 0.5429 | 0.7368 | -1 | 1 | 2 | 1 | 4.419 | 0.0087 | 0.009694 | 0.09326 | -0.05403 | 1 | 0.00003099 | 0.003147 | 0.02867 | 0.009698 | 0.09848 | 1.056 | 0.4602 | 0.03388 | 0.005796 | 1 | 1 | 0.03613 | 0.407 | 0.9769 | 0.06655 | 0.7496 | 1.799 | json |
| t18_x80_u0_b98 | 18 | 80 | 0 | 98 | ![]() |
add(R,min(R,dst(R,R))) | 136544 | 149402996 | o2(x,o2(x,o2(x,x))) | true | 120759 | 120759 | -0.1786 | 0.4229 | 0.5355 | 0.3565 | 0.597 | -1 | 0.9804 | 1.98 | 1 | 4.683 | 0.005248 | 0.005892 | 0.07878 | -0.05786 | 1 | 0.0001125 | 0.001381 | 0.0214 | 0.004933 | 0.07024 | 0.8915 | 0.3468 | 0.03125 | 0.003875 | 1 | 1 | 0.02169 | 0.2587 | 0.6278 | 0.06083 | 0.7256 | 1.761 | json |
| t18_x80_u0_b99 | 18 | 80 | 0 | 99 | ![]() |
add(R,dot(R,add(R,R))) | 136545 | 149402997 | o2(x,o2(x,o2(x,x))) | true | 120767 | 120767 | 0.9513 | 0.9999 | 0.9513 | 0.02415 | 0.1554 | -0.008589 | 1 | 1.009 | 1 | 0.9755 | 0.0008011 | 0.0009815 | 0.01307 | -0.1012 | 1 | -0.00005657 | 0.0008217 | 0.008228 | 0.001611 | 0.04014 | 3.072 | 0.3608 | 0.07383 | 0.03403 | 1 | 1 | 0.003003 | 0.02346 | 0.04186 | 0.1244 | 0.9714 | 1.734 | json |
| t18_x80_u0_b100 | 18 | 80 | 0 | 100 | ![]() |
add(R,dot(R,sub(R,R))) | 136546 | 149402998 | o2(x,o2(x,o2(x,x))) | true | 120775 | 120775 | 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_b101 | 18 | 80 | 0 | 101 | ![]() |
add(R,dot(R,mlt(R,R))) | 136547 | 149402999 | o2(x,o2(x,o2(x,x))) | true | 120783 | 120783 | 0.01641 | 0.5033 | 0.5967 | 0.4717 | 0.6868 | -1 | 1 | 2 | 1 | 4.609 | 0.00659 | 0.008078 | 0.08419 | -0.1014 | 1 | 0.00006151 | 0.002473 | 0.0251 | 0.007579 | 0.08706 | 1.034 | 0.5597 | 0.03109 | 0.005243 | 1 | 1 | 0.02874 | 0.3247 | 0.861 | 0.06092 | 0.6883 | 1.825 | json |
| t18_x80_u0_b102 | 18 | 80 | 0 | 102 | ![]() |
add(R,dot(R,div(R,R))) | 136548 | 149403000 | o2(x,o2(x,o2(x,x))) | true | 120791 | 120791 | 0.00573 | 0.4995 | 0.6818 | 0.5786 | 0.7607 | -1 | 1 | 2 | 1 | 4.25 | 0.009738 | 0.01113 | 0.09326 | -0.06693 | 1 | 0.00005499 | 0.004712 | 0.03212 | 0.01217 | 0.1103 | 1.183 | 0.6182 | 0.03607 | 0.008144 | 1 | 1 | 0.0405 | 0.4178 | 1.043 | 0.07 | 0.722 | 1.803 | json |
| t18_x80_u0_b103 | 18 | 80 | 0 | 103 | ![]() |
add(R,dot(R,pow(R,R))) | 136549 | 149403001 | o2(x,o2(x,o2(x,x))) | true | 120799 | 120799 | -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_b104 | 18 | 80 | 0 | 104 | ![]() |
add(R,dot(R,mod(R,R))) | 136550 | 149403002 | o2(x,o2(x,o2(x,x))) | true | 120807 | 120807 | 0.2118 | 0.6541 | 0.447 | 0.2393 | 0.4891 | -0.9989 | 1 | 1.999 | 1 | 4.818 | 0.003311 | 0.003127 | 0.06277 | 0.02858 | 1 | -0.00002389 | 0.0005696 | 0.01528 | 0.002497 | 0.04997 | 0.7961 | 0.3027 | 0.02691 | 0.002381 | 1 | 1 | 0.0124 | 0.1558 | 0.433 | 0.05183 | 0.651 | 1.81 | json |
| t18_x80_u0_b105 | 18 | 80 | 0 | 105 | ![]() |
add(R,dot(R,lrg(R,R))) | 136551 | 149403003 | o2(x,o2(x,o2(x,x))) | true | 120815 | 120815 | 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_b106 | 18 | 80 | 0 | 106 | ![]() |
add(R,dot(R,eql(R,R))) | 136552 | 149403004 | o2(x,o2(x,o2(x,x))) | true | 120823 | 120823 | 0.00573 | 0.4995 | 0.6818 | 0.5786 | 0.7607 | -1 | 1 | 2 | 1 | 4.25 | 0.009738 | 0.01113 | 0.09326 | -0.06693 | 1 | 0.00005499 | 0.004712 | 0.03212 | 0.01217 | 0.1103 | 1.183 | 0.6182 | 0.03607 | 0.008144 | 1 | 1 | 0.0405 | 0.4178 | 1.043 | 0.07 | 0.722 | 1.803 | json |
| t18_x80_u0_b107 | 18 | 80 | 0 | 107 | ![]() |
add(R,dot(R,min(R,R))) | 136553 | 149403005 | o2(x,o2(x,o2(x,x))) | true | 120831 | 120831 | 0.7621 | 0.9802 | 0.7651 | 0.09206 | 0.3034 | -0.209 | 1 | 1.209 | 1 | 2.992 | 0.001913 | 0.002032 | 0.0372 | -0.03009 | 1 | -0.00009498 | 0.001081 | 0.01545 | 0.002561 | 0.05061 | 1.361 | 0.3151 | 0.04284 | 0.01174 | 1 | 1 | 0.007525 | 0.07596 | 0.1771 | 0.08174 | 0.825 | 1.924 | json |
| t18_x80_u0_b108 | 18 | 80 | 0 | 108 | ![]() |
add(R,dot(R,dot(R,R))) | 136554 | 149403006 | o2(x,o2(x,o2(x,x))) | true | 120839 | 120839 | 0.03664 | 0.5178 | 0.6712 | 0.5667 | 0.7528 | -1 | 1 | 2 | 1 | 4.227 | 0.0103 | 0.01219 | 0.09125 | -0.08432 | 1 | 0.00005293 | 0.006912 | 0.03596 | 0.01416 | 0.119 | 1.304 | 0.953 | 0.03969 | 0.0122 | 1 | 1 | 0.04444 | 0.426 | 1.06 | 0.07841 | 0.7517 | 1.871 | json |
| t18_x80_u0_b109 | 18 | 80 | 0 | 109 | ![]() |
add(R,dot(R,dst(R,R))) | 136555 | 149403007 | o2(x,o2(x,o2(x,x))) | true | 120847 | 120847 | 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_b110 | 18 | 80 | 0 | 110 | ![]() |
add(R,dst(R,add(R,R))) | 136556 | 149403008 | o2(x,o2(x,o2(x,x))) | true | 120855 | 120855 | 0.7698 | 1 | 0.7698 | 0.07179 | 0.2679 | 0.03077 | 1 | 0.9692 | 1 | 2.953 | 0.001474 | 0.001584 | 0.03376 | -0.03597 | 1 | -0.00007251 | 0.000832 | 0.01385 | 0.001919 | 0.0438 | 1.298 | 0.2336 | 0.0426 | 0.01159 | 1 | 1 | 0.00568 | 0.0565 | 0.13 | 0.07911 | 0.7869 | 1.81 | json |
| t18_x80_u0_b111 | 18 | 80 | 0 | 111 | ![]() |
add(R,dst(R,sub(R,R))) | 136557 | 149403009 | o2(x,o2(x,o2(x,x))) | true | 120863 | 120863 | 0.7698 | 1 | 0.7698 | 0.07179 | 0.2679 | 0.03077 | 1 | 0.9692 | 1 | 2.953 | 0.001474 | 0.001584 | 0.03376 | -0.03597 | 1 | -0.00007251 | 0.000832 | 0.01385 | 0.001919 | 0.0438 | 1.298 | 0.2336 | 0.0426 | 0.01159 | 1 | 1 | 0.00568 | 0.0565 | 0.13 | 0.07911 | 0.7869 | 1.81 | json |
| t18_x80_u0_b112 | 18 | 80 | 0 | 112 | ![]() |
add(R,dst(R,mlt(R,R))) | 136558 | 149403010 | o2(x,o2(x,o2(x,x))) | true | 120871 | 120871 | 0.8499 | 1 | 0.8499 | 0.05201 | 0.2281 | 0.09956 | 1 | 0.9004 | 1 | 2.382 | 0.001075 | 0.001145 | 0.02634 | -0.03156 | 1 | -0.00007542 | 0.0006008 | 0.01106 | 0.001527 | 0.03908 | 1.484 | 0.2527 | 0.0427 | 0.01155 | 1 | 1 | 0.004574 | 0.04697 | 0.1047 | 0.08795 | 0.9032 | 2.013 | json |
| t18_x80_u0_b113 | 18 | 80 | 0 | 113 | ![]() |
add(R,dst(R,div(R,R))) | 136559 | 149403011 | o2(x,o2(x,o2(x,x))) | true | 120879 | 120879 | 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 |
| t18_x80_u0_b114 | 18 | 80 | 0 | 114 | ![]() |
add(R,dst(R,pow(R,R))) | 136560 | 149403012 | o2(x,o2(x,o2(x,x))) | true | 120887 | 120887 | -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_b115 | 18 | 80 | 0 | 115 | ![]() |
add(R,dst(R,mod(R,R))) | 136561 | 149403013 | o2(x,o2(x,o2(x,x))) | true | 120895 | 120895 | 0.6702 | 0.9616 | 0.6881 | 0.1274 | 0.3569 | -0.7072 | 1 | 1.707 | 1 | 3.471 | 0.002267 | 0.002787 | 0.04543 | -0.1029 | 1 | -0.00006289 | 0.001091 | 0.01642 | 0.00299 | 0.05468 | 1.204 | 0.3344 | 0.03968 | 0.008568 | 1 | 1 | 0.01046 | 0.1121 | 0.2462 | 0.08214 | 0.8801 | 1.933 | json |
| t18_x80_u0_b116 | 18 | 80 | 0 | 116 | ![]() |
add(R,dst(R,lrg(R,R))) | 136562 | 149403014 | o2(x,o2(x,o2(x,x))) | true | 120903 | 120903 | 0.7698 | 1 | 0.7698 | 0.07179 | 0.2679 | 0.03077 | 1 | 0.9692 | 1 | 2.953 | 0.001474 | 0.001584 | 0.03376 | -0.03597 | 1 | -0.00007251 | 0.000832 | 0.01385 | 0.001919 | 0.0438 | 1.298 | 0.2336 | 0.0426 | 0.01159 | 1 | 1 | 0.00568 | 0.0565 | 0.13 | 0.07911 | 0.7869 | 1.81 | json |
| t18_x80_u0_b117 | 18 | 80 | 0 | 117 | ![]() |
add(R,dst(R,eql(R,R))) | 136563 | 149403015 | o2(x,o2(x,o2(x,x))) | true | 120911 | 120911 | 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 |
| t18_x80_u0_b118 | 18 | 80 | 0 | 118 | ![]() |
add(R,dst(R,min(R,R))) | 136564 | 149403016 | o2(x,o2(x,o2(x,x))) | true | 120919 | 120919 | 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_b119 | 18 | 80 | 0 | 119 | ![]() |
add(R,dst(R,dot(R,R))) | 136565 | 149403017 | o2(x,o2(x,o2(x,x))) | true | 120927 | 120927 | 0.9661 | 1 | 0.9661 | 0.01414 | 0.1189 | 0.1149 | 1 | 0.8851 | 1 | 0.8031 | 0.0004311 | 0.0005764 | 0.00896 | -0.1442 | 1 | -0.00004567 | 0.0004652 | 0.005675 | 0.000927 | 0.03045 | 3.398 | 0.3039 | 0.07127 | 0.03291 | 1 | 1 | 0.001755 | 0.01397 | 0.02475 | 0.1241 | 0.9883 | 1.751 | json |
| t18_x80_u0_b120 | 18 | 80 | 0 | 120 | ![]() |
add(R,dst(R,dst(R,R))) | 136566 | 149403018 | o2(x,o2(x,o2(x,x))) | true | 120935 | 120935 | 0.7698 | 1 | 0.7698 | 0.07179 | 0.2679 | 0.03077 | 1 | 0.9692 | 1 | 2.953 | 0.001474 | 0.001584 | 0.03376 | -0.03597 | 1 | -0.00007251 | 0.000832 | 0.01385 | 0.001919 | 0.0438 | 1.298 | 0.2336 | 0.0426 | 0.01159 | 1 | 1 | 0.00568 | 0.0565 | 0.13 | 0.07911 | 0.7869 | 1.81 | json |
| t18_x80_u0_b121 | 18 | 80 | 0 | 121 | ![]() |
sub(R,add(R,add(R,R))) | 136567 | 149403019 | o2(x,o2(x,o2(x,x))) | true | 120943 | 120943 | -0.01372 | 0.5016 | 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_b122 | 18 | 80 | 0 | 122 | ![]() |
sub(R,add(R,sub(R,R))) | 136568 | 149403020 | o2(x,o2(x,o2(x,x))) | true | 120951 | 120951 | 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_b123 | 18 | 80 | 0 | 123 | ![]() |
sub(R,add(R,mlt(R,R))) | 136569 | 149403021 | o2(x,o2(x,o2(x,x))) | true | 120959 | 120959 | -0.3495 | 0 | 0.3495 | 0.05762 | 0.24 | -0.9979 | -0.00007718 | 0.9979 | 1 | 3.768 | 0.0007428 | 0.0008028 | 0.03156 | -0.03877 | 1 | -1.604e-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 |
| t18_x80_u0_b124 | 18 | 80 | 0 | 124 | ![]() |
sub(R,add(R,div(R,R))) | 136570 | 149403022 | o2(x,o2(x,o2(x,x))) | true | 120967 | 120967 | -1 | 0 | 1 | 5.742e-16 | 2.396e-8 | -1 | -1 | 1.192e-7 | 1 | 0 | 5.533e-17 | 4.901e-17 | 1.733e-9 | 0.000006322 | 0 | -4.524e-9 | 1.152e-15 | 4.832e-9 | 1.014e-16 | 1.007e-8 | 5.81 | 8.429e-8 | 0.0001043 | 0.001152 | 0 | 1 | 1.336e-16 | 5.893e-16 | 1.317e-15 | 0.0001336 | 0.0005893 | 0.001317 | json |
| t18_x80_u0_b125 | 18 | 80 | 0 | 125 | ![]() |
sub(R,add(R,pow(R,R))) | 136571 | 149403023 | o2(x,o2(x,o2(x,x))) | true | 120975 | 120975 | -0.9906 | 0 | 0.9906 | 0.00214 | 0.04626 | -1 | -0.6923 | 0.3077 | 1 | 0.3286 | 0.0002397 | 0.0002274 | 0.002268 | 0.0264 | 1 | -0.000003032 | 0.0009679 | 0.003807 | 0.0004621 | 0.0215 | 9.48 | 0.4352 | 0.2182 | 0.4523 | 1 | 1 | 0.0003564 | 0.00151 | 0.003582 | 0.1666 | 0.7055 | 1.674 | json |
| t18_x80_u0_b126 | 18 | 80 | 0 | 126 | ![]() |
sub(R,add(R,mod(R,R))) | 136572 | 149403024 | o2(x,o2(x,o2(x,x))) | true | 120983 | 120983 | 0.01621 | 0.3021 | 0.09644 | 0.04024 | 0.2006 | -0.9558 | 0.9675 | 1.923 | 1 | 2.684 | 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 |
| t18_x80_u0_b127 | 18 | 80 | 0 | 127 | ![]() |
sub(R,add(R,lrg(R,R))) | 136573 | 149403025 | o2(x,o2(x,o2(x,x))) | true | 120991 | 120991 | 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_b128 | 18 | 80 | 0 | 128 | ![]() |
sub(R,add(R,eql(R,R))) | 136574 | 149403026 | o2(x,o2(x,o2(x,x))) | true | 120999 | 120999 | -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_b129 | 18 | 80 | 0 | 129 | ![]() |
sub(R,add(R,min(R,R))) | 136575 | 149403027 | o2(x,o2(x,o2(x,x))) | true | 121007 | 121007 | -0.008979 | 0.5015 | 0.3946 | 0.2196 | 0.4686 | -0.9806 | 0.9989 | 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_b130 | 18 | 80 | 0 | 130 | ![]() |
sub(R,add(R,dot(R,R))) | 136576 | 149403028 | o2(x,o2(x,o2(x,x))) | true | 121015 | 121015 | -0.8438 | 0 | 0.8438 | 0.04935 | 0.2222 | -1 | -0.0102 | 0.9898 | 1 | 2.51 | 0.0008588 | 0.001103 | 0.02548 | -0.1246 | 1 | 0.00003928 | 0.0004481 | 0.009809 | 0.001312 | 0.03623 | 1.422 | 0.2044 | 0.03976 | 0.009079 | 1 | 1 | 0.003389 | 0.03587 | 0.07892 | 0.06866 | 0.7269 | 1.599 | json |
| t18_x80_u0_b131 | 18 | 80 | 0 | 131 | ![]() |
sub(R,add(R,dst(R,R))) | 136577 | 149403029 | o2(x,o2(x,o2(x,x))) | true | 121023 | 121023 | 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_b132 | 18 | 80 | 0 | 132 | ![]() |
sub(R,sub(R,add(R,R))) | 136578 | 149403030 | o2(x,o2(x,o2(x,x))) | true | 121031 | 121031 | 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_b133 | 18 | 80 | 0 | 133 | ![]() |
sub(R,sub(R,sub(R,R))) | 136579 | 149403031 | o2(x,o2(x,o2(x,x))) | true | 121039 | 121039 | 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_b134 | 18 | 80 | 0 | 134 | ![]() |
sub(R,sub(R,mlt(R,R))) | 136580 | 149403032 | o2(x,o2(x,o2(x,x))) | true | 121047 | 121047 | 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.606e-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 |
| t18_x80_u0_b135 | 18 | 80 | 0 | 135 | ![]() |
sub(R,sub(R,div(R,R))) | 136581 | 149403033 | o2(x,o2(x,o2(x,x))) | true | 121055 | 121055 | 1 | 1 | 1 | 7.72e-16 | 2.778e-8 | 1 | 1 | 1.192e-7 | 1 | 0 | 7.497e-17 | 7.429e-17 | 2.479e-9 | 6.713e-7 | 0 | 6.987e-9 | 1.709e-15 | 7.167e-9 | 1.431e-16 | 1.196e-8 | 4.824 | 8.429e-8 | 0.0001493 | 0.001709 | 0 | 1 | 1.496e-16 | 6.106e-16 | 1.235e-15 | 0.0001496 | 0.0006106 | 0.001235 | json |
| t18_x80_u0_b136 | 18 | 80 | 0 | 136 | ![]() |
sub(R,sub(R,pow(R,R))) | 136582 | 149403034 | o2(x,o2(x,o2(x,x))) | true | 121063 | 121063 | -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 |
| t18_x80_u0_b137 | 18 | 80 | 0 | 137 | ![]() |
sub(R,sub(R,mod(R,R))) | 136583 | 149403035 | o2(x,o2(x,o2(x,x))) | true | 121071 | 121071 | -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 |
| t18_x80_u0_b138 | 18 | 80 | 0 | 138 | ![]() |
sub(R,sub(R,lrg(R,R))) | 136584 | 149403036 | o2(x,o2(x,o2(x,x))) | true | 121079 | 121079 | 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_b139 | 18 | 80 | 0 | 139 | ![]() |
sub(R,sub(R,eql(R,R))) | 136585 | 149403037 | o2(x,o2(x,o2(x,x))) | true | 121087 | 121087 | 1 | 1 | 1 | 2.776e-16 | 1.666e-8 | 1 | 1 | 5.96e-8 | 1 | 0 | 3.312e-17 | 3.178e-17 | 1.078e-9 | 0.000001343 | 0 | 3.214e-9 | 7.662e-16 | 3.214e-9 | 6.373e-17 | 7.983e-9 | 7.404 | 8.429e-8 | 0.0000649 | 0.0007662 | 0 | 1 | 5.295e-17 | 2.094e-16 | 4.716e-16 | 0.00005295 | 0.0002094 | 0.0004716 | json |
| t18_x80_u0_b140 | 18 | 80 | 0 | 140 | ![]() |
sub(R,sub(R,min(R,R))) | 136586 | 149403038 | o2(x,o2(x,o2(x,x))) | true | 121095 | 121095 | 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_b141 | 18 | 80 | 0 | 141 | ![]() |
sub(R,sub(R,dot(R,R))) | 136587 | 149403039 | o2(x,o2(x,o2(x,x))) | true | 121103 | 121103 | 0.8438 | 1 | 0.8438 | 0.04935 | 0.2222 | 0.0102 | 1 | 0.9898 | 1 | 2.51 | 0.0008588 | 0.001103 | 0.02548 | -0.1246 | 1 | -0.00003928 | 0.0004481 | 0.009809 | 0.001312 | 0.03623 | 1.422 | 0.2044 | 0.03976 | 0.009079 | 1 | 1 | 0.003389 | 0.03587 | 0.07892 | 0.06866 | 0.7269 | 1.599 | json |
| t18_x80_u0_b142 | 18 | 80 | 0 | 142 | ![]() |
sub(R,sub(R,dst(R,R))) | 136588 | 149403040 | o2(x,o2(x,o2(x,x))) | true | 121111 | 121111 | 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_b143 | 18 | 80 | 0 | 143 | ![]() |
sub(R,mlt(R,add(R,R))) | 136589 | 149403041 | o2(x,o2(x,o2(x,x))) | true | 121119 | 121119 | -0.5288 | 0.08778 | 0.5388 | 0.1355 | 0.3681 | -1 | 0.1246 | 1.125 | 1 | 3.834 | 0.002332 | 0.002568 | 0.04751 | -0.04821 | 1 | 0.00009556 | 0.001116 | 0.01638 | 0.002643 | 0.05141 | 1.082 | 0.3203 | 0.03615 | 0.008232 | 1 | 1 | 0.008452 | 0.09139 | 0.2205 | 0.06236 | 0.6743 | 1.627 | json |
| t18_x80_u0_b144 | 18 | 80 | 0 | 144 | ![]() |
sub(R,mlt(R,sub(R,R))) | 136590 | 149403042 | o2(x,o2(x,o2(x,x))) | true | 121127 | 121127 | 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_b145 | 18 | 80 | 0 | 145 | ![]() |
sub(R,mlt(R,mlt(R,R))) | 136591 | 149403043 | o2(x,o2(x,o2(x,x))) | true | 121135 | 121135 | -0.006489 | 0.4831 | 0.1884 | 0.0466 | 0.2159 | -0.3847 | 0.3848 | 0.7694 | 1 | 3.629 | 0.0006548 | 0.0006887 | 0.02991 | -0.02526 | 1 | -0.0000161 | 0.00007966 | 0.006957 | 0.0004488 | 0.02118 | 0.7082 | 0.08923 | 0.02883 | 0.001709 | 1 | 1 | 0.002847 | 0.03669 | 0.08869 | 0.06109 | 0.7873 | 1.903 | json |
| t18_x80_u0_b146 | 18 | 80 | 0 | 146 | ![]() |
sub(R,mlt(R,div(R,R))) | 136592 | 149403044 | o2(x,o2(x,o2(x,x))) | true | 121143 | 121143 | -3.529e-11 | 0 | 7.143e-9 | 2.43e-16 | 1.559e-8 | -8.904e-8 | 1.19e-7 | 2.081e-7 | 1 | 0.2162 | 3.544e-18 | 3.108e-18 | 1.381e-9 | 4.358e-7 | 0 | -3.767e-13 | 3.932e-19 | 3.239e-10 | 4.745e-18 | 2.178e-9 | 1.578 | 1.392e-8 | 0.000006652 | 3.932e-7 | 0 | 1 | 1.355e-17 | 1.742e-16 | 4.886e-16 | 0.00001355 | 0.0001742 | 0.0004886 | json |
| t18_x80_u0_b147 | 18 | 80 | 0 | 147 | ![]() |
sub(R,mlt(R,pow(R,R))) | 136593 | 149403045 | o2(x,o2(x,o2(x,x))) | true | 121151 | 121151 | -0.9525 | 0.04297 | 0.9616 | 0.05037 | 0.2244 | -1 | 0.1585 | 1.159 | 1 | 0.3151 | 0.005171 | 0.005052 | 0.009317 | 0.01168 | 1 | -9.346e-8 | 0.02138 | 0.01846 | 0.01014 | 0.1007 | 10.81 | 1.617 | 0.2029 | 0.4244 | 1 | 1 | 0.007941 | 0.03407 | 0.08496 | 0.1576 | 0.6764 | 1.687 | json |
| t18_x80_u0_b148 | 18 | 80 | 0 | 148 | ![]() |
sub(R,mlt(R,mod(R,R))) | 136594 | 149403046 | o2(x,o2(x,o2(x,x))) | true | 121159 | 121159 | -0.04808 | 0.4672 | 0.4018 | 0.2336 | 0.4834 | -1 | 0.9804 | 1.98 | 1 | 4.877 | 0.003018 | 0.003572 | 0.06405 | -0.08411 | 1 | 0.00005125 | 0.0005529 | 0.01529 | 0.002487 | 0.04987 | 0.7785 | 0.3358 | 0.0282 | 0.002367 | 1 | 1 | 0.01333 | 0.166 | 0.421 | 0.05706 | 0.7105 | 1.802 | json |
| t18_x80_u0_b149 | 18 | 80 | 0 | 149 | ![]() |
sub(R,mlt(R,lrg(R,R))) | 136595 | 149403047 | o2(x,o2(x,o2(x,x))) | true | 121167 | 121167 | 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_b150 | 18 | 80 | 0 | 150 | ![]() |
sub(R,mlt(R,eql(R,R))) | 136596 | 149403048 | o2(x,o2(x,o2(x,x))) | true | 121175 | 121175 | 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_b151 | 18 | 80 | 0 | 151 | ![]() |
sub(R,mlt(R,min(R,R))) | 136597 | 149403049 | o2(x,o2(x,o2(x,x))) | true | 121183 | 121183 | -0.2898 | 0.3419 | 0.3805 | 0.1717 | 0.4143 | -1 | 0.2497 | 1.25 | 1 | 4.066 | 0.002426 | 0.00281 | 0.05186 | -0.0734 | 1 | 0.00006054 | 0.0007567 | 0.01453 | 0.002547 | 0.05046 | 0.973 | 0.2539 | 0.0305 | 0.004408 | 1 | 1 | 0.009752 | 0.1148 | 0.2804 | 0.0568 | 0.6687 | 1.633 | json |
| t18_x80_u0_b152 | 18 | 80 | 0 | 152 | ![]() |
sub(R,mlt(R,dot(R,R))) | 136598 | 149403050 | o2(x,o2(x,o2(x,x))) | true | 121191 | 121191 | -0.02081 | 0.4393 | 0.1823 | 0.06551 | 0.2559 | -1 | 1 | 2 | 1 | 3.958 | 0.0009607 | 0.0009173 | 0.032 | 0.02309 | 1 | -0.00005286 | 0.0001214 | 0.007264 | 0.0008542 | 0.02923 | 0.9134 | 0.2244 | 0.02867 | 0.001853 | 1 | 1 | 0.003744 | 0.04744 | 0.1357 | 0.05715 | 0.7242 | 2.071 | json |
| t18_x80_u0_b153 | 18 | 80 | 0 | 153 | ![]() |
sub(R,mlt(R,dst(R,R))) | 136599 | 149403051 | o2(x,o2(x,o2(x,x))) | true | 121199 | 121199 | 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 |



































































































