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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t20_x80_u0_b104 | 20 | 80 | 0 | 104 | ![]() |
add(R,dot(mod(R,R),R)) | 175700 | 165644204 | o2(x,o2(o2(x,x),x)) | true | 114007 | 114007 | 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 |
| t20_x80_u0_b105 | 20 | 80 | 0 | 105 | ![]() |
add(R,dot(lrg(R,R),R)) | 175701 | 165644205 | o2(x,o2(o2(x,x),x)) | true | 114015 | 114015 | 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 |
| t20_x80_u0_b106 | 20 | 80 | 0 | 106 | ![]() |
add(R,dot(eql(R,R),R)) | 175702 | 165644206 | o2(x,o2(o2(x,x),x)) | true | 114023 | 114023 | 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 |
| t20_x80_u0_b107 | 20 | 80 | 0 | 107 | ![]() |
add(R,dot(min(R,R),R)) | 175703 | 165644207 | o2(x,o2(o2(x,x),x)) | true | 114031 | 114031 | 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 |
| t20_x80_u0_b108 | 20 | 80 | 0 | 108 | ![]() |
add(R,dot(dot(R,R),R)) | 175704 | 165644208 | o2(x,o2(o2(x,x),x)) | true | 114039 | 114039 | 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 |
| t20_x80_u0_b109 | 20 | 80 | 0 | 109 | ![]() |
add(R,dot(dst(R,R),R)) | 175705 | 165644209 | o2(x,o2(o2(x,x),x)) | true | 114047 | 114047 | 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 |
| t20_x80_u0_b110 | 20 | 80 | 0 | 110 | ![]() |
add(R,dst(add(R,R),R)) | 175706 | 165644210 | o2(x,o2(o2(x,x),x)) | true | 114055 | 114055 | 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 |
| t20_x80_u0_b111 | 20 | 80 | 0 | 111 | ![]() |
add(R,dst(sub(R,R),R)) | 175707 | 165644211 | o2(x,o2(o2(x,x),x)) | true | 114063 | 114063 | 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 |
| t20_x80_u0_b112 | 20 | 80 | 0 | 112 | ![]() |
add(R,dst(mlt(R,R),R)) | 175708 | 165644212 | o2(x,o2(o2(x,x),x)) | true | 114071 | 114071 | 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 |
| t20_x80_u0_b113 | 20 | 80 | 0 | 113 | ![]() |
add(R,dst(div(R,R),R)) | 175709 | 165644213 | o2(x,o2(o2(x,x),x)) | true | 114079 | 114079 | 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 |
| t20_x80_u0_b114 | 20 | 80 | 0 | 114 | ![]() |
add(R,dst(pow(R,R),R)) | 175710 | 165644214 | o2(x,o2(o2(x,x),x)) | true | 114087 | 114087 | -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 |
| t20_x80_u0_b115 | 20 | 80 | 0 | 115 | ![]() |
add(R,dst(mod(R,R),R)) | 175711 | 165644215 | o2(x,o2(o2(x,x),x)) | true | 114095 | 114095 | 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 |
| t20_x80_u0_b116 | 20 | 80 | 0 | 116 | ![]() |
add(R,dst(lrg(R,R),R)) | 175712 | 165644216 | o2(x,o2(o2(x,x),x)) | true | 114103 | 114103 | 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 |
| t20_x80_u0_b117 | 20 | 80 | 0 | 117 | ![]() |
add(R,dst(eql(R,R),R)) | 175713 | 165644217 | o2(x,o2(o2(x,x),x)) | true | 114111 | 114111 | 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 |
| t20_x80_u0_b118 | 20 | 80 | 0 | 118 | ![]() |
add(R,dst(min(R,R),R)) | 175714 | 165644218 | o2(x,o2(o2(x,x),x)) | true | 114119 | 114119 | 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 |
| t20_x80_u0_b119 | 20 | 80 | 0 | 119 | ![]() |
add(R,dst(dot(R,R),R)) | 175715 | 165644219 | o2(x,o2(o2(x,x),x)) | true | 114127 | 114127 | 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 |
| t20_x80_u0_b120 | 20 | 80 | 0 | 120 | ![]() |
add(R,dst(dst(R,R),R)) | 175716 | 165644220 | o2(x,o2(o2(x,x),x)) | true | 114135 | 114135 | 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 |
| t20_x80_u0_b121 | 20 | 80 | 0 | 121 | ![]() |
sub(R,add(add(R,R),R)) | 175717 | 165644221 | o2(x,o2(o2(x,x),x)) | true | 114143 | 114143 | -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 |
| t20_x80_u0_b122 | 20 | 80 | 0 | 122 | ![]() |
sub(R,add(sub(R,R),R)) | 175718 | 165644222 | o2(x,o2(o2(x,x),x)) | true | 114151 | 114151 | 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 |
| t20_x80_u0_b123 | 20 | 80 | 0 | 123 | ![]() |
sub(R,add(mlt(R,R),R)) | 175719 | 165644223 | o2(x,o2(o2(x,x),x)) | true | 114159 | 114159 | -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 |
| t20_x80_u0_b124 | 20 | 80 | 0 | 124 | ![]() |
sub(R,add(div(R,R),R)) | 175720 | 165644224 | o2(x,o2(o2(x,x),x)) | true | 114167 | 114167 | -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 |
| t20_x80_u0_b125 | 20 | 80 | 0 | 125 | ![]() |
sub(R,add(pow(R,R),R)) | 175721 | 165644225 | o2(x,o2(o2(x,x),x)) | true | 114175 | 114175 | -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 |
| t20_x80_u0_b126 | 20 | 80 | 0 | 126 | ![]() |
sub(R,add(mod(R,R),R)) | 175722 | 165644226 | o2(x,o2(o2(x,x),x)) | true | 114183 | 114183 | 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 |
| t20_x80_u0_b127 | 20 | 80 | 0 | 127 | ![]() |
sub(R,add(lrg(R,R),R)) | 175723 | 165644227 | o2(x,o2(o2(x,x),x)) | true | 114191 | 114191 | 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 |
| t20_x80_u0_b128 | 20 | 80 | 0 | 128 | ![]() |
sub(R,add(eql(R,R),R)) | 175724 | 165644228 | o2(x,o2(o2(x,x),x)) | true | 114199 | 114199 | -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 |
| t20_x80_u0_b129 | 20 | 80 | 0 | 129 | ![]() |
sub(R,add(min(R,R),R)) | 175725 | 165644229 | o2(x,o2(o2(x,x),x)) | true | 114207 | 114207 | -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 |
| t20_x80_u0_b130 | 20 | 80 | 0 | 130 | ![]() |
sub(R,add(dot(R,R),R)) | 175726 | 165644230 | o2(x,o2(o2(x,x),x)) | true | 114215 | 114215 | -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 |
| t20_x80_u0_b131 | 20 | 80 | 0 | 131 | ![]() |
sub(R,add(dst(R,R),R)) | 175727 | 165644231 | o2(x,o2(o2(x,x),x)) | true | 114223 | 114223 | 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 |
| t20_x80_u0_b132 | 20 | 80 | 0 | 132 | ![]() |
sub(R,sub(add(R,R),R)) | 175728 | 165644232 | o2(x,o2(o2(x,x),x)) | true | 114231 | 114231 | 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 |
| t20_x80_u0_b133 | 20 | 80 | 0 | 133 | ![]() |
sub(R,sub(sub(R,R),R)) | 175729 | 165644233 | o2(x,o2(o2(x,x),x)) | true | 114239 | 114239 | 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 |
| t20_x80_u0_b134 | 20 | 80 | 0 | 134 | ![]() |
sub(R,sub(mlt(R,R),R)) | 175730 | 165644234 | o2(x,o2(o2(x,x),x)) | true | 114247 | 114247 | -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 |
| t20_x80_u0_b135 | 20 | 80 | 0 | 135 | ![]() |
sub(R,sub(div(R,R),R)) | 175731 | 165644235 | o2(x,o2(o2(x,x),x)) | true | 114255 | 114255 | -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 |
| t20_x80_u0_b136 | 20 | 80 | 0 | 136 | ![]() |
sub(R,sub(pow(R,R),R)) | 175732 | 165644236 | o2(x,o2(o2(x,x),x)) | true | 114263 | 114263 | -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 |
| t20_x80_u0_b137 | 20 | 80 | 0 | 137 | ![]() |
sub(R,sub(mod(R,R),R)) | 175733 | 165644237 | o2(x,o2(o2(x,x),x)) | true | 114271 | 114271 | 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 |
| t20_x80_u0_b138 | 20 | 80 | 0 | 138 | ![]() |
sub(R,sub(lrg(R,R),R)) | 175734 | 165644238 | o2(x,o2(o2(x,x),x)) | true | 114279 | 114279 | 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 |
| t20_x80_u0_b139 | 20 | 80 | 0 | 139 | ![]() |
sub(R,sub(eql(R,R),R)) | 175735 | 165644239 | o2(x,o2(o2(x,x),x)) | true | 114287 | 114287 | -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 |
| t20_x80_u0_b140 | 20 | 80 | 0 | 140 | ![]() |
sub(R,sub(min(R,R),R)) | 175736 | 165644240 | o2(x,o2(o2(x,x),x)) | true | 114295 | 114295 | 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 |
| t20_x80_u0_b141 | 20 | 80 | 0 | 141 | ![]() |
sub(R,sub(dot(R,R),R)) | 175737 | 165644241 | o2(x,o2(o2(x,x),x)) | true | 114303 | 114303 | -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 |
| t20_x80_u0_b142 | 20 | 80 | 0 | 142 | ![]() |
sub(R,sub(dst(R,R),R)) | 175738 | 165644242 | o2(x,o2(o2(x,x),x)) | true | 114311 | 114311 | 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 |
| t20_x80_u0_b143 | 20 | 80 | 0 | 143 | ![]() |
sub(R,mlt(add(R,R),R)) | 175739 | 165644243 | o2(x,o2(o2(x,x),x)) | true | 114319 | 114319 | -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 |
| t20_x80_u0_b144 | 20 | 80 | 0 | 144 | ![]() |
sub(R,mlt(sub(R,R),R)) | 175740 | 165644244 | o2(x,o2(o2(x,x),x)) | true | 114327 | 114327 | 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 |
| t20_x80_u0_b145 | 20 | 80 | 0 | 145 | ![]() |
sub(R,mlt(mlt(R,R),R)) | 175741 | 165644245 | o2(x,o2(o2(x,x),x)) | true | 114335 | 114335 | -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 |
| t20_x80_u0_b146 | 20 | 80 | 0 | 146 | ![]() |
sub(R,mlt(div(R,R),R)) | 175742 | 165644246 | o2(x,o2(o2(x,x),x)) | true | 114343 | 114343 | -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 |
| t20_x80_u0_b147 | 20 | 80 | 0 | 147 | ![]() |
sub(R,mlt(pow(R,R),R)) | 175743 | 165644247 | o2(x,o2(o2(x,x),x)) | true | 114351 | 114351 | -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 |
| t20_x80_u0_b148 | 20 | 80 | 0 | 148 | ![]() |
sub(R,mlt(mod(R,R),R)) | 175744 | 165644248 | o2(x,o2(o2(x,x),x)) | true | 114359 | 114359 | -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 |
| t20_x80_u0_b149 | 20 | 80 | 0 | 149 | ![]() |
sub(R,mlt(lrg(R,R),R)) | 175745 | 165644249 | o2(x,o2(o2(x,x),x)) | true | 114367 | 114367 | 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 |
| t20_x80_u0_b150 | 20 | 80 | 0 | 150 | ![]() |
sub(R,mlt(eql(R,R),R)) | 175746 | 165644250 | o2(x,o2(o2(x,x),x)) | true | 114375 | 114375 | 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 |
| t20_x80_u0_b151 | 20 | 80 | 0 | 151 | ![]() |
sub(R,mlt(min(R,R),R)) | 175747 | 165644251 | o2(x,o2(o2(x,x),x)) | true | 114383 | 114383 | -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 |
| t20_x80_u0_b152 | 20 | 80 | 0 | 152 | ![]() |
sub(R,mlt(dot(R,R),R)) | 175748 | 165644252 | o2(x,o2(o2(x,x),x)) | true | 114391 | 114391 | -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 |
| t20_x80_u0_b153 | 20 | 80 | 0 | 153 | ![]() |
sub(R,mlt(dst(R,R),R)) | 175749 | 165644253 | o2(x,o2(o2(x,x),x)) | true | 114399 | 114399 | 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 |
| t20_x80_u0_b154 | 20 | 80 | 0 | 154 | ![]() |
sub(R,div(add(R,R),R)) | 175750 | 165644254 | o2(x,o2(o2(x,x),x)) | true | 114407 | 114407 | -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 |
| t20_x80_u0_b155 | 20 | 80 | 0 | 155 | ![]() |
sub(R,div(sub(R,R),R)) | 175751 | 165644255 | o2(x,o2(o2(x,x),x)) | true | 114415 | 114415 | 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 |
| t20_x80_u0_b156 | 20 | 80 | 0 | 156 | ![]() |
sub(R,div(mlt(R,R),R)) | 175752 | 165644256 | o2(x,o2(o2(x,x),x)) | true | 114423 | 114423 | 1.88e-9 | 0 | 1.162e-8 | 2.664e-16 | 1.632e-8 | -5.782e-8 | 9.189e-8 | 1.497e-7 | 1 | 0.186 | 4.241e-18 | 3.439e-18 | 2.074e-9 | 8.02e-7 | 0 | -1.871e-12 | 4.571e-19 | 4.746e-10 | 3.377e-18 | 1.838e-9 | 0.886 | 1.303e-8 | 0.000007679 | 4.571e-7 | 0 | 1 | 1.683e-17 | 2.173e-16 | 6.356e-16 | 0.00001683 | 0.0002173 | 0.0006356 | json |
| t20_x80_u0_b157 | 20 | 80 | 0 | 157 | ![]() |
sub(R,div(div(R,R),R)) | 175753 | 165644257 | o2(x,o2(o2(x,x),x)) | true | 114431 | 114431 | 0.073 | 0.5387 | 0.7763 | 0.702 | 0.8379 | -1 | 1 | 2 | 1 | 3.468 | 0.0251 | 0.02923 | 0.1047 | -0.07594 | 1 | 0.0001103 | 0.05549 | 0.07536 | 0.04338 | 0.2083 | 1.989 | 2.828 | 0.07739 | 0.07904 | 1 | 1 | 0.08249 | 0.6002 | 1.401 | 0.1175 | 0.855 | 1.996 | json |
| t20_x80_u0_b158 | 20 | 80 | 0 | 158 | ![]() |
sub(R,div(pow(R,R),R)) | 175754 | 165644258 | o2(x,o2(o2(x,x),x)) | true | 114439 | 114439 | -0.9889 | 0 | 0.9889 | 0.006619 | 0.08136 | -1 | -0.06075 | 0.9393 | 1 | 0.2361 | 0.0008624 | 0.001079 | 0.004407 | -0.1118 | 1 | 0.00003703 | 0.003738 | 0.005784 | 0.001923 | 0.04385 | 9.95 | 1.198 | 0.2934 | 0.5647 | 1 | 1 | 0.001707 | 0.007368 | 0.01082 | 0.2579 | 1.113 | 1.634 | json |
| t20_x80_u0_b159 | 20 | 80 | 0 | 159 | ![]() |
sub(R,div(mod(R,R),R)) | 175755 | 165644259 | o2(x,o2(o2(x,x),x)) | true | 114447 | 114447 | -0.1847 | 0.3639 | 0.4831 | 0.2883 | 0.537 | -1 | 0.9804 | 1.98 | 1 | 4.833 | 0.003955 | 0.004444 | 0.0699 | -0.0582 | 1 | 0.00007785 | 0.0008714 | 0.01793 | 0.003513 | 0.05927 | 0.8479 | 0.3432 | 0.02913 | 0.003022 | 1 | 1 | 0.01693 | 0.2034 | 0.5322 | 0.05871 | 0.7055 | 1.846 | json |
| t20_x80_u0_b160 | 20 | 80 | 0 | 160 | ![]() |
sub(R,div(lrg(R,R),R)) | 175756 | 165644260 | o2(x,o2(o2(x,x),x)) | true | 114455 | 114455 | 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 |
| t20_x80_u0_b161 | 20 | 80 | 0 | 161 | ![]() |
sub(R,div(eql(R,R),R)) | 175757 | 165644261 | o2(x,o2(o2(x,x),x)) | true | 114463 | 114463 | 0.073 | 0.5387 | 0.7763 | 0.702 | 0.8379 | -1 | 1 | 2 | 1 | 3.468 | 0.0251 | 0.02923 | 0.1047 | -0.07594 | 1 | 0.0001103 | 0.05549 | 0.07536 | 0.04338 | 0.2083 | 1.989 | 2.828 | 0.07739 | 0.07904 | 1 | 1 | 0.08249 | 0.6002 | 1.401 | 0.1175 | 0.855 | 1.996 | json |
| t20_x80_u0_b162 | 20 | 80 | 0 | 162 | ![]() |
sub(R,div(min(R,R),R)) | 175758 | 165644262 | o2(x,o2(o2(x,x),x)) | true | 114471 | 114471 | -0.7982 | 0 | 0.7982 | 0.07256 | 0.2694 | -1 | -0.01936 | 0.9806 | 1 | 2.717 | 0.001471 | 0.00159 | 0.03308 | -0.03903 | 1 | 0.0000876 | 0.0006964 | 0.01237 | 0.001966 | 0.04434 | 1.34 | 0.223 | 0.04219 | 0.009598 | 1 | 1 | 0.005951 | 0.06127 | 0.1403 | 0.08201 | 0.8444 | 1.934 | json |
| t20_x80_u0_b163 | 20 | 80 | 0 | 163 | ![]() |
sub(R,div(dot(R,R),R)) | 175759 | 165644263 | o2(x,o2(o2(x,x),x)) | true | 114479 | 114479 | 0.03623 | 0.5197 | 0.7743 | 0.6984 | 0.8357 | -1 | 1 | 2 | 1 | 3.594 | 0.01809 | 0.02743 | 0.1044 | -0.2052 | 1 | -0.0002576 | 0.03852 | 0.06356 | 0.03462 | 0.1861 | 1.782 | 2.243 | 0.06518 | 0.05516 | 1 | 1 | 0.0739 | 0.5739 | 1.388 | 0.1058 | 0.8218 | 1.988 | json |
| t20_x80_u0_b164 | 20 | 80 | 0 | 164 | ![]() |
sub(R,div(dst(R,R),R)) | 175760 | 165644264 | o2(x,o2(o2(x,x),x)) | true | 114487 | 114487 | 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 |
| t20_x80_u0_b165 | 20 | 80 | 0 | 165 | ![]() |
sub(R,pow(add(R,R),R)) | 175761 | 165644265 | o2(x,o2(o2(x,x),x)) | true | 114495 | 114495 | -0.984 | 0 | 0.984 | 0.006009 | 0.07752 | -1 | -0.5005 | 0.4995 | 1 | 0.3565 | 0.0006565 | 0.0006377 | 0.003689 | 0.01448 | 1 | -0.000003346 | 0.002692 | 0.006415 | 0.001282 | 0.0358 | 9.703 | 0.7063 | 0.2154 | 0.4481 | 1 | 1 | 0.001037 | 0.004375 | 0.01026 | 0.1726 | 0.7281 | 1.707 | json |
| t20_x80_u0_b166 | 20 | 80 | 0 | 166 | ![]() |
sub(R,pow(sub(R,R),R)) | 175762 | 165644266 | o2(x,o2(o2(x,x),x)) | true | 114503 | 114503 | -0.9327 | 0.04297 | 0.9813 | 0.1025 | 0.3202 | -1 | 0.9428 | 1.943 | 1 | 0.413 | 0.01033 | 0.01038 | 0.01414 | -0.00231 | 1 | 0.000008535 | 0.04322 | 0.0262 | 0.02051 | 0.1432 | 10.13 | 2.64 | 0.2021 | 0.4217 | 1 | 1 | 0.01648 | 0.07156 | 0.1733 | 0.1608 | 0.6982 | 1.691 | json |
| t20_x80_u0_b167 | 20 | 80 | 0 | 167 | ![]() |
sub(R,pow(mlt(R,R),R)) | 175763 | 165644267 | o2(x,o2(o2(x,x),x)) | true | 114511 | 114511 | -0.698 | 0.0867 | 0.7071 | 0.1593 | 0.3992 | -1 | 0.1013 | 1.101 | 1 | 2.695 | 0.003666 | 0.004275 | 0.04883 | -0.07675 | 1 | 0.0001282 | 0.00251 | 0.02304 | 0.005555 | 0.07453 | 1.526 | 0.2846 | 0.04983 | 0.01575 | 1 | 1 | 0.01543 | 0.1416 | 0.296 | 0.09683 | 0.8888 | 1.858 | json |
| t20_x80_u0_b168 | 20 | 80 | 0 | 168 | ![]() |
sub(R,pow(div(R,R),R)) | 175764 | 165644268 | o2(x,o2(o2(x,x),x)) | true | 114519 | 114519 | -0.7982 | 0 | 0.7982 | 0.07256 | 0.2694 | -1 | -0.01936 | 0.9806 | 1 | 2.717 | 0.001471 | 0.00159 | 0.03308 | -0.03903 | 1 | 0.0000876 | 0.0006964 | 0.01237 | 0.001966 | 0.04434 | 1.34 | 0.223 | 0.04219 | 0.009598 | 1 | 1 | 0.005951 | 0.06127 | 0.1403 | 0.08201 | 0.8444 | 1.934 | json |
| t20_x80_u0_b169 | 20 | 80 | 0 | 169 | ![]() |
sub(R,pow(pow(R,R),R)) | 175765 | 165644269 | o2(x,o2(o2(x,x),x)) | true | 114527 | 114527 | -0.9708 | 0 | 0.9708 | 0.02087 | 0.1445 | -1 | -0.006287 | 0.9937 | 1 | 0.4098 | 0.002105 | 0.002206 | 0.00686 | -0.0235 | 1 | 0.000008242 | 0.008922 | 0.0115 | 0.004264 | 0.0653 | 9.518 | 1.37 | 0.2066 | 0.4276 | 1 | 1 | 0.003618 | 0.01587 | 0.03572 | 0.1734 | 0.7608 | 1.712 | json |
| t20_x80_u0_b170 | 20 | 80 | 0 | 170 | ![]() |
sub(R,pow(mod(R,R),R)) | 175766 | 165644270 | o2(x,o2(o2(x,x),x)) | true | 114535 | 114535 | -0.9423 | 0.03275 | 0.9759 | 0.08023 | 0.2832 | -1 | 0.9428 | 1.943 | 1 | 0.4468 | 0.007902 | 0.009016 | 0.01348 | -0.06586 | 1 | 0.00001278 | 0.03514 | 0.02301 | 0.01673 | 0.1294 | 9.593 | 2.64 | 0.2109 | 0.438 | 1 | 1 | 0.01301 | 0.05663 | 0.1199 | 0.1622 | 0.7058 | 1.494 | json |
| t20_x80_u0_b171 | 20 | 80 | 0 | 171 | ![]() |
sub(R,pow(lrg(R,R),R)) | 175767 | 165644271 | o2(x,o2(o2(x,x),x)) | true | 114543 | 114543 | -0.9327 | 0.04297 | 0.9813 | 0.1025 | 0.3202 | -1 | 0.9428 | 1.943 | 1 | 0.413 | 0.01033 | 0.01038 | 0.01414 | -0.00231 | 1 | 0.000008535 | 0.04322 | 0.0262 | 0.02051 | 0.1432 | 10.13 | 2.64 | 0.2021 | 0.4217 | 1 | 1 | 0.01648 | 0.07156 | 0.1733 | 0.1608 | 0.6982 | 1.691 | json |
| t20_x80_u0_b172 | 20 | 80 | 0 | 172 | ![]() |
sub(R,pow(eql(R,R),R)) | 175768 | 165644272 | o2(x,o2(o2(x,x),x)) | true | 114551 | 114551 | -0.7982 | 0 | 0.7982 | 0.07256 | 0.2694 | -1 | -0.01936 | 0.9806 | 1 | 2.717 | 0.001471 | 0.00159 | 0.03308 | -0.03903 | 1 | 0.0000876 | 0.0006964 | 0.01237 | 0.001966 | 0.04434 | 1.34 | 0.223 | 0.04219 | 0.009598 | 1 | 1 | 0.005951 | 0.06127 | 0.1403 | 0.08201 | 0.8444 | 1.934 | json |
| t20_x80_u0_b173 | 20 | 80 | 0 | 173 | ![]() |
sub(R,pow(min(R,R),R)) | 175769 | 165644273 | o2(x,o2(o2(x,x),x)) | true | 114559 | 114559 | -0.9663 | 0 | 0.9663 | 0.0264 | 0.1625 | -1 | -0.003246 | 0.9968 | 1 | 0.3888 | 0.002668 | 0.00273 | 0.007389 | -0.0114 | 1 | 0.000005503 | 0.01124 | 0.01322 | 0.005347 | 0.07312 | 9.896 | 1.391 | 0.2044 | 0.4257 | 1 | 1 | 0.004429 | 0.0192 | 0.04517 | 0.1678 | 0.7273 | 1.711 | json |
| t20_x80_u0_b174 | 20 | 80 | 0 | 174 | ![]() |
sub(R,pow(dot(R,R),R)) | 175770 | 165644274 | o2(x,o2(o2(x,x),x)) | true | 114567 | 114567 | -0.843 | 0.0005951 | 0.843 | 0.05341 | 0.2311 | -1 | 0.03339 | 1.033 | 1 | 2.468 | 0.001161 | 0.001111 | 0.02709 | 0.02185 | 1 | 0.00005674 | 0.0005645 | 0.01089 | 0.001537 | 0.0392 | 1.447 | 0.2591 | 0.04253 | 0.01057 | 1 | 1 | 0.004265 | 0.04269 | 0.09167 | 0.07985 | 0.7994 | 1.716 | json |
| t20_x80_u0_b175 | 20 | 80 | 0 | 175 | ![]() |
sub(R,pow(dst(R,R),R)) | 175771 | 165644275 | o2(x,o2(o2(x,x),x)) | true | 114575 | 114575 | -0.9327 | 0.04297 | 0.9813 | 0.1025 | 0.3202 | -1 | 0.9428 | 1.943 | 1 | 0.413 | 0.01033 | 0.01038 | 0.01414 | -0.00231 | 1 | 0.000008535 | 0.04322 | 0.0262 | 0.02051 | 0.1432 | 10.13 | 2.64 | 0.2021 | 0.4217 | 1 | 1 | 0.01648 | 0.07156 | 0.1733 | 0.1608 | 0.6982 | 1.691 | json |
| t20_x80_u0_b176 | 20 | 80 | 0 | 176 | ![]() |
sub(R,mod(add(R,R),R)) | 175772 | 165644276 | o2(x,o2(o2(x,x),x)) | true | 114583 | 114583 | 0.02519 | 0.4971 | 0.3349 | 0.1816 | 0.4261 | -0.9989 | 0.9809 | 1.98 | 1 | 4.722 | 0.002252 | 0.002463 | 0.05486 | -0.04485 | 1 | 0.00003711 | 0.0002706 | 0.01245 | 0.001706 | 0.0413 | 0.7529 | 0.2301 | 0.02596 | 0.00149 | 1 | 1 | 0.008707 | 0.1116 | 0.3161 | 0.04795 | 0.6147 | 1.741 | json |
| t20_x80_u0_b177 | 20 | 80 | 0 | 177 | ![]() |
sub(R,mod(sub(R,R),R)) | 175773 | 165644277 | o2(x,o2(o2(x,x),x)) | true | 114591 | 114591 | 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 |
| t20_x80_u0_b178 | 20 | 80 | 0 | 178 | ![]() |
sub(R,mod(mlt(R,R),R)) | 175774 | 165644278 | o2(x,o2(o2(x,x),x)) | true | 114599 | 114599 | -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 |
| t20_x80_u0_b179 | 20 | 80 | 0 | 179 | ![]() |
sub(R,mod(div(R,R),R)) | 175775 | 165644279 | o2(x,o2(o2(x,x),x)) | true | 114607 | 114607 | -0.1642 | 0.4072 | 0.4111 | 0.2261 | 0.4755 | -1 | 0.9621 | 1.962 | 1 | 4.779 | 0.003165 | 0.003425 | 0.06621 | -0.03943 | 1 | 0.0000262 | 0.0003923 | 0.01523 | 0.002207 | 0.04698 | 0.7095 | 0.2294 | 0.02915 | 0.001735 | 1 | 1 | 0.01276 | 0.1638 | 0.3979 | 0.05645 | 0.7246 | 1.76 | json |
| t20_x80_u0_b180 | 20 | 80 | 0 | 180 | ![]() |
sub(R,mod(pow(R,R),R)) | 175776 | 165644280 | o2(x,o2(o2(x,x),x)) | true | 114615 | 114615 | -0.9375 | 0.04297 | 0.9766 | 0.0895 | 0.2992 | -1 | 0.9396 | 1.94 | 1 | 0.42 | 0.008913 | 0.009202 | 0.01358 | -0.01595 | 1 | 0.00001068 | 0.03774 | 0.02439 | 0.01793 | 0.1339 | 9.864 | 2.617 | 0.2024 | 0.4216 | 1 | 1 | 0.01402 | 0.06163 | 0.1468 | 0.1566 | 0.6886 | 1.64 | json |
| t20_x80_u0_b181 | 20 | 80 | 0 | 181 | ![]() |
sub(R,mod(mod(R,R),R)) | 175777 | 165644281 | o2(x,o2(o2(x,x),x)) | true | 114623 | 114623 | 0.02519 | 0.4971 | 0.3349 | 0.1816 | 0.4261 | -0.9989 | 0.9809 | 1.98 | 1 | 4.722 | 0.002252 | 0.002463 | 0.05486 | -0.04485 | 1 | 0.00003711 | 0.0002706 | 0.01245 | 0.001706 | 0.0413 | 0.7529 | 0.2301 | 0.02596 | 0.00149 | 1 | 1 | 0.008707 | 0.1116 | 0.3161 | 0.04795 | 0.6147 | 1.741 | json |
| t20_x80_u0_b182 | 20 | 80 | 0 | 182 | ![]() |
sub(R,mod(lrg(R,R),R)) | 175778 | 165644282 | o2(x,o2(o2(x,x),x)) | true | 114631 | 114631 | 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 |
| t20_x80_u0_b183 | 20 | 80 | 0 | 183 | ![]() |
sub(R,mod(eql(R,R),R)) | 175779 | 165644283 | o2(x,o2(o2(x,x),x)) | true | 114639 | 114639 | -0.1642 | 0.4072 | 0.4111 | 0.2261 | 0.4755 | -1 | 0.9621 | 1.962 | 1 | 4.779 | 0.003165 | 0.003425 | 0.06621 | -0.03943 | 1 | 0.0000262 | 0.0003923 | 0.01523 | 0.002207 | 0.04698 | 0.7095 | 0.2294 | 0.02915 | 0.001735 | 1 | 1 | 0.01276 | 0.1638 | 0.3979 | 0.05645 | 0.7246 | 1.76 | json |
| t20_x80_u0_b184 | 20 | 80 | 0 | 184 | ![]() |
sub(R,mod(min(R,R),R)) | 175780 | 165644284 | o2(x,o2(o2(x,x),x)) | true | 114647 | 114647 | 0.02519 | 0.4971 | 0.3349 | 0.1816 | 0.4261 | -0.9989 | 0.9809 | 1.98 | 1 | 4.722 | 0.002252 | 0.002463 | 0.05486 | -0.04485 | 1 | 0.00003711 | 0.0002706 | 0.01245 | 0.001706 | 0.0413 | 0.7529 | 0.2301 | 0.02596 | 0.00149 | 1 | 1 | 0.008707 | 0.1116 | 0.3161 | 0.04795 | 0.6147 | 1.741 | json |
| t20_x80_u0_b185 | 20 | 80 | 0 | 185 | ![]() |
sub(R,mod(dot(R,R),R)) | 175781 | 165644285 | o2(x,o2(o2(x,x),x)) | true | 114655 | 114655 | -0.2133 | 0.3707 | 0.4064 | 0.2124 | 0.4609 | -1 | 0.9668 | 1.967 | 1 | 4.665 | 0.002923 | 0.003195 | 0.06042 | -0.04442 | 1 | 0.00005314 | 0.0005752 | 0.01498 | 0.002467 | 0.04967 | 0.822 | 0.2876 | 0.0288 | 0.002708 | 1 | 1 | 0.01218 | 0.151 | 0.3855 | 0.05734 | 0.7107 | 1.815 | json |
| t20_x80_u0_b186 | 20 | 80 | 0 | 186 | ![]() |
sub(R,mod(dst(R,R),R)) | 175782 | 165644286 | o2(x,o2(o2(x,x),x)) | true | 114663 | 114663 | 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 |
| t20_x80_u0_b187 | 20 | 80 | 0 | 187 | ![]() |
sub(R,lrg(add(R,R),R)) | 175783 | 165644287 | o2(x,o2(o2(x,x),x)) | true | 114671 | 114671 | -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 |
| t20_x80_u0_b188 | 20 | 80 | 0 | 188 | ![]() |
sub(R,lrg(sub(R,R),R)) | 175784 | 165644288 | o2(x,o2(o2(x,x),x)) | true | 114679 | 114679 | -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 |
| t20_x80_u0_b189 | 20 | 80 | 0 | 189 | ![]() |
sub(R,lrg(mlt(R,R),R)) | 175785 | 165644289 | o2(x,o2(o2(x,x),x)) | true | 114687 | 114687 | -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 |
| t20_x80_u0_b190 | 20 | 80 | 0 | 190 | ![]() |
sub(R,lrg(div(R,R),R)) | 175786 | 165644290 | o2(x,o2(o2(x,x),x)) | true | 114695 | 114695 | -0.7982 | 0 | 0.7982 | 0.07256 | 0.2694 | -1 | -0.01936 | 0.9806 | 1 | 2.717 | 0.001471 | 0.00159 | 0.03308 | -0.03903 | 1 | 0.0000876 | 0.0006964 | 0.01237 | 0.001966 | 0.04434 | 1.34 | 0.223 | 0.04219 | 0.009598 | 1 | 1 | 0.005951 | 0.06127 | 0.1403 | 0.08201 | 0.8444 | 1.934 | json |
| t20_x80_u0_b191 | 20 | 80 | 0 | 191 | ![]() |
sub(R,lrg(pow(R,R),R)) | 175787 | 165644291 | o2(x,o2(o2(x,x),x)) | true | 114703 | 114703 | -0.7982 | 0 | 0.7982 | 0.07256 | 0.2694 | -1 | -0.01936 | 0.9806 | 1 | 2.717 | 0.001471 | 0.00159 | 0.03308 | -0.03903 | 1 | 0.0000876 | 0.0006964 | 0.01237 | 0.001966 | 0.04434 | 1.34 | 0.223 | 0.04219 | 0.009598 | 1 | 1 | 0.005951 | 0.06127 | 0.1403 | 0.08201 | 0.8444 | 1.934 | json |
| t20_x80_u0_b192 | 20 | 80 | 0 | 192 | ![]() |
sub(R,lrg(mod(R,R),R)) | 175788 | 165644292 | o2(x,o2(o2(x,x),x)) | true | 114711 | 114711 | -0.2718 | 0.3873 | 0.6069 | 0.406 | 0.6372 | -1 | 0.9806 | 1.981 | 1 | 4.307 | 0.006018 | 0.007448 | 0.08298 | -0.1062 | 1 | 0.0001419 | 0.001883 | 0.02403 | 0.006581 | 0.08112 | 0.9776 | 0.347 | 0.03316 | 0.004638 | 1 | 1 | 0.02553 | 0.2981 | 0.7395 | 0.06286 | 0.7341 | 1.821 | json |
| t20_x80_u0_b193 | 20 | 80 | 0 | 193 | ![]() |
sub(R,lrg(lrg(R,R),R)) | 175789 | 165644293 | o2(x,o2(o2(x,x),x)) | true | 114719 | 114719 | -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 |
| t20_x80_u0_b194 | 20 | 80 | 0 | 194 | ![]() |
sub(R,lrg(eql(R,R),R)) | 175790 | 165644294 | o2(x,o2(o2(x,x),x)) | true | 114727 | 114727 | -0.7982 | 0 | 0.7982 | 0.07256 | 0.2694 | -1 | -0.01936 | 0.9806 | 1 | 2.717 | 0.001471 | 0.00159 | 0.03308 | -0.03903 | 1 | 0.0000876 | 0.0006964 | 0.01237 | 0.001966 | 0.04434 | 1.34 | 0.223 | 0.04219 | 0.009598 | 1 | 1 | 0.005951 | 0.06127 | 0.1403 | 0.08201 | 0.8444 | 1.934 | json |
| t20_x80_u0_b195 | 20 | 80 | 0 | 195 | ![]() |
sub(R,lrg(min(R,R),R)) | 175791 | 165644295 | o2(x,o2(o2(x,x),x)) | true | 114735 | 114735 | 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 |
| t20_x80_u0_b196 | 20 | 80 | 0 | 196 | ![]() |
sub(R,lrg(dot(R,R),R)) | 175792 | 165644296 | o2(x,o2(o2(x,x),x)) | true | 114743 | 114743 | -0.7568 | 0.02943 | 0.7718 | 0.1108 | 0.3329 | -1 | 0.7984 | 1.798 | 1 | 2.954 | 0.001984 | 0.002354 | 0.03966 | -0.08533 | 1 | 0.0000859 | 0.0008522 | 0.01398 | 0.002764 | 0.05258 | 1.326 | 0.3135 | 0.03915 | 0.007692 | 1 | 1 | 0.007326 | 0.07714 | 0.1834 | 0.06612 | 0.6963 | 1.655 | json |
| t20_x80_u0_b197 | 20 | 80 | 0 | 197 | ![]() |
sub(R,lrg(dst(R,R),R)) | 175793 | 165644297 | o2(x,o2(o2(x,x),x)) | true | 114751 | 114751 | -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 |
| t20_x80_u0_b198 | 20 | 80 | 0 | 198 | ![]() |
sub(R,eql(add(R,R),R)) | 175794 | 165644298 | o2(x,o2(o2(x,x),x)) | true | 114759 | 114759 | 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 |
| t20_x80_u0_b199 | 20 | 80 | 0 | 199 | ![]() |
sub(R,eql(sub(R,R),R)) | 175795 | 165644299 | o2(x,o2(o2(x,x),x)) | true | 114767 | 114767 | 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 |
| t20_x80_u0_b200 | 20 | 80 | 0 | 200 | ![]() |
sub(R,eql(mlt(R,R),R)) | 175796 | 165644300 | o2(x,o2(o2(x,x),x)) | true | 114775 | 114775 | 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 |
































































































