Laboratory of Babel / Archive / grad-noise-175k

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

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. #A kept 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-256 b6fc8f27…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 on inputs.expr), the formula (grad-noise-175k.manifest.json) and the frames (png/)
175,797 records
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_b4 20 80 0 4 add(R,add(pow(R,R),R)) 175600 165644104 o2(x,o2(o2(x,x),x)) true 113207 113207 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t20_x80_u0_b5 20 80 0 5 add(R,add(mod(R,R),R)) 175601 165644105 o2(x,o2(o2(x,x),x)) true 113215 113215 0.007248 0.4962 0.6879 0.5846 0.7646 -1 1 2 1 4.215 0.01003 0.01103 0.09523 -0.04734 1 0.0000278 0.004279 0.03148 0.01199 0.1095 1.15 0.649 0.03602 0.007319 1 1 0.0422 0.4523 1.066 0.07218 0.7736 1.824 json
t20_x80_u0_b6 20 80 0 6 add(R,add(lrg(R,R),R)) 175602 165644106 o2(x,o2(o2(x,x),x)) true 113223 113223 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_b7 20 80 0 7 add(R,add(eql(R,R),R)) 175603 165644107 o2(x,o2(o2(x,x),x)) true 113231 113231 0.6143 0.8457 0.7403 0.2767 0.526 -0.9977 1 1.998 1 3.302 0.00496 0.005854 0.06068 -0.08261 1 -0.0001222 0.002674 0.02409 0.007134 0.08446 1.392 0.4459 0.03909 0.009665 1 1 0.01988 0.2027 0.452 0.07186 0.7327 1.634 json
t20_x80_u0_b8 20 80 0 8 add(R,add(min(R,R),R)) 175604 165644108 o2(x,o2(o2(x,x),x)) true 113239 113239 0.006445 0.4984 0.7716 0.6948 0.8335 -1 1 2 1 3.655 0.01402 0.01574 0.1002 -0.05767 1 0.000001041 0.008798 0.04095 0.01971 0.1404 1.401 0.6903 0.04284 0.01266 1 1 0.0571 0.5509 1.247 0.08218 0.7929 1.795 json
t20_x80_u0_b9 20 80 0 9 add(R,add(dot(R,R),R)) 175605 165644109 o2(x,o2(o2(x,x),x)) true 113247 113247 0.591 0.841 0.6841 0.2443 0.4943 -0.8926 1 1.893 1 3.441 0.00515 0.005527 0.06182 -0.03531 1 -0.0001484 0.003066 0.0262 0.006852 0.08278 1.339 0.4677 0.0437 0.01255 1 1 0.02 0.1961 0.4474 0.08185 0.8026 1.832 json
t20_x80_u0_b10 20 80 0 10 add(R,add(dst(R,R),R)) 175606 165644110 o2(x,o2(o2(x,x),x)) true 113255 113255 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_b11 20 80 0 11 add(R,sub(add(R,R),R)) 175607 165644111 o2(x,o2(o2(x,x),x)) true 113263 113263 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_b12 20 80 0 12 add(R,sub(sub(R,R),R)) 175608 165644112 o2(x,o2(o2(x,x),x)) true 113271 113271 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_b13 20 80 0 13 add(R,sub(mlt(R,R),R)) 175609 165644113 o2(x,o2(o2(x,x),x)) true 113279 113279 0.3495 0.9999 0.3495 0.05762 0.24 0.00007718 0.9979 0.9979 1 3.768 0.0007428 0.0008028 0.03156 -0.03877 1 1.602e-7 0.00009378 0.007378 0.0005496 0.02344 0.7428 0.1117 0.02682 0.001628 1 1 0.002725 0.03526 0.107 0.0473 0.6119 1.856 json
t20_x80_u0_b14 20 80 0 14 add(R,sub(div(R,R),R)) 175610 165644114 o2(x,o2(o2(x,x),x)) true 113287 113287 1 1 1 6.881e-16 2.623e-8 1 1 5.96e-8 1 0 7.815e-17 6.691e-17 2.325e-9 0.00001124 0 6.889e-9 1.65e-15 6.919e-9 1.396e-16 1.181e-8 5.081 8.429e-8 0.0001451 0.00165 0 1 1.618e-16 6.145e-16 1.172e-15 0.0001618 0.0006145 0.001172 json
t20_x80_u0_b15 20 80 0 15 add(R,sub(pow(R,R),R)) 175611 165644115 o2(x,o2(o2(x,x),x)) true 113295 113295 -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
t20_x80_u0_b16 20 80 0 16 add(R,sub(mod(R,R),R)) 175612 165644116 o2(x,o2(o2(x,x),x)) true 113303 113303 -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
t20_x80_u0_b17 20 80 0 17 add(R,sub(lrg(R,R),R)) 175613 165644117 o2(x,o2(o2(x,x),x)) true 113311 113311 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_b18 20 80 0 18 add(R,sub(eql(R,R),R)) 175614 165644118 o2(x,o2(o2(x,x),x)) true 113319 113319 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_b19 20 80 0 19 add(R,sub(min(R,R),R)) 175615 165644119 o2(x,o2(o2(x,x),x)) true 113327 113327 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_b20 20 80 0 20 add(R,sub(dot(R,R),R)) 175616 165644120 o2(x,o2(o2(x,x),x)) true 113335 113335 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
t20_x80_u0_b21 20 80 0 21 add(R,sub(dst(R,R),R)) 175617 165644121 o2(x,o2(o2(x,x),x)) true 113343 113343 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_b22 20 80 0 22 add(R,mlt(add(R,R),R)) 175618 165644122 o2(x,o2(o2(x,x),x)) true 113351 113351 0.5297 0.8737 0.5465 0.1583 0.3979 -0.125 1 1.125 1 3.721 0.002922 0.003098 0.05095 -0.02918 1 -0.0001011 0.001478 0.01897 0.003425 0.05852 1.149 0.3056 0.03802 0.009332 1 1 0.0118 0.1244 0.3184 0.07454 0.7859 2.011 json
t20_x80_u0_b23 20 80 0 23 add(R,mlt(sub(R,R),R)) 175619 165644123 o2(x,o2(o2(x,x),x)) true 113359 113359 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_b24 20 80 0 24 add(R,mlt(mlt(R,R),R)) 175620 165644124 o2(x,o2(o2(x,x),x)) true 113367 113367 0.028 0.5036 0.5393 0.4061 0.6372 -1 1 2 1 4.713 0.006053 0.006754 0.08159 -0.05477 1 0.00002712 0.001922 0.02304 0.006149 0.07842 0.9611 0.4532 0.03154 0.004733 1 1 0.02456 0.2858 0.725 0.0605 0.7039 1.785 json
t20_x80_u0_b25 20 80 0 25 add(R,mlt(div(R,R),R)) 175621 165644125 o2(x,o2(o2(x,x),x)) true 113375 113375 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_b26 20 80 0 26 add(R,mlt(pow(R,R),R)) 175622 165644126 o2(x,o2(o2(x,x),x)) true 113383 113383 -0.9206 0.04297 0.9935 0.1425 0.3775 -1 1 2 1 0.3603 0.01405 0.01399 0.01613 0.001973 1 -1.863e-7 0.05836 0.03068 0.02777 0.1666 10.33 2.828 0.1968 0.4096 1 1 0.0224 0.09932 0.2427 0.1572 0.6971 1.703 json
t20_x80_u0_b27 20 80 0 27 add(R,mlt(mod(R,R),R)) 175623 165644127 o2(x,o2(o2(x,x),x)) true 113391 113391 0.07073 0.5339 0.3885 0.2158 0.4646 -0.9989 1 1.999 1 4.842 0.002878 0.002918 0.06138 -0.00682 1 0.000002111 0.0004082 0.01435 0.002029 0.04504 0.7338 0.2929 0.02685 0.001891 1 1 0.01112 0.1403 0.3837 0.05152 0.6499 1.778 json
t20_x80_u0_b28 20 80 0 28 add(R,mlt(lrg(R,R),R)) 175624 165644128 o2(x,o2(o2(x,x),x)) true 113399 113399 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_b29 20 80 0 29 add(R,mlt(eql(R,R),R)) 175625 165644129 o2(x,o2(o2(x,x),x)) true 113407 113407 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_b30 20 80 0 30 add(R,mlt(min(R,R),R)) 175626 165644130 o2(x,o2(o2(x,x),x)) true 113415 113415 0.3075 0.6379 0.405 0.1922 0.4384 -0.2496 1 1.25 1 3.98 0.003053 0.003246 0.05579 -0.03067 1 -0.00005463 0.0009672 0.01624 0.003186 0.05645 1.012 0.2518 0.03277 0.005033 1 1 0.01264 0.1473 0.381 0.06577 0.7663 1.982 json
t20_x80_u0_b31 20 80 0 31 add(R,mlt(dot(R,R),R)) 175627 165644131 o2(x,o2(o2(x,x),x)) true 113423 113423 0.0289 0.5054 0.6579 0.5497 0.7414 -1 1 2 1 4.301 0.009601 0.011 0.09206 -0.06812 1 0.00002871 0.004888 0.03229 0.01213 0.1101 1.196 0.6263 0.03748 0.008892 1 1 0.03937 0.412 0.9945 0.07161 0.7495 1.809 json
t20_x80_u0_b32 20 80 0 32 add(R,mlt(dst(R,R),R)) 175628 165644132 o2(x,o2(o2(x,x),x)) true 113431 113431 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_b33 20 80 0 33 add(R,div(add(R,R),R)) 175629 165644133 o2(x,o2(o2(x,x),x)) true 113439 113439 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_b34 20 80 0 34 add(R,div(sub(R,R),R)) 175630 165644134 o2(x,o2(o2(x,x),x)) true 113447 113447 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_b35 20 80 0 35 add(R,div(mlt(R,R),R)) 175631 165644135 o2(x,o2(o2(x,x),x)) true 113455 113455 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_b36 20 80 0 36 add(R,div(div(R,R),R)) 175632 165644136 o2(x,o2(o2(x,x),x)) true 113463 113463 -0.05217 0.4738 0.9223 0.8933 0.9451 -1 1 2 1 2.166 0.03664 0.04494 0.1118 -0.1017 1 0.00003579 0.08412 0.09604 0.06907 0.2628 2.351 2.828 0.09133 0.09417 1 1 0.1261 0.8289 1.766 0.1412 0.9279 1.977 json
t20_x80_u0_b37 20 80 0 37 add(R,div(pow(R,R),R)) 175633 165644137 o2(x,o2(o2(x,x),x)) true 113471 113471 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t20_x80_u0_b38 20 80 0 38 add(R,div(mod(R,R),R)) 175634 165644138 o2(x,o2(o2(x,x),x)) true 113479 113479 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
t20_x80_u0_b39 20 80 0 39 add(R,div(lrg(R,R),R)) 175635 165644139 o2(x,o2(o2(x,x),x)) true 113487 113487 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_b40 20 80 0 40 add(R,div(eql(R,R),R)) 175636 165644140 o2(x,o2(o2(x,x),x)) true 113495 113495 -0.05217 0.4738 0.9223 0.8933 0.9451 -1 1 2 1 2.166 0.03664 0.04494 0.1118 -0.1017 1 0.00003579 0.08412 0.09604 0.06907 0.2628 2.351 2.828 0.09133 0.09417 1 1 0.1261 0.8289 1.766 0.1412 0.9279 1.977 json
t20_x80_u0_b41 20 80 0 41 add(R,div(min(R,R),R)) 175637 165644141 o2(x,o2(o2(x,x),x)) true 113503 113503 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
t20_x80_u0_b42 20 80 0 42 add(R,div(dot(R,R),R)) 175638 165644142 o2(x,o2(o2(x,x),x)) true 113511 113511 -0.02389 0.487 0.9069 0.8747 0.9353 -1 1 2 1 2.369 0.03067 0.04178 0.1112 -0.1533 1 0.0003348 0.06618 0.08583 0.0601 0.2451 2.204 2.667 0.08283 0.07566 1 1 0.1175 0.8038 1.709 0.1344 0.919 1.953 json
t20_x80_u0_b43 20 80 0 43 add(R,div(dst(R,R),R)) 175639 165644143 o2(x,o2(o2(x,x),x)) true 113519 113519 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_b44 20 80 0 44 add(R,pow(add(R,R),R)) 175640 165644144 o2(x,o2(o2(x,x),x)) true 113527 113527 -0.9141 0.04297 1 0.1644 0.4054 -1 1 2 1 0.2557 0.01683 0.01636 0.01652 0.01408 1 -3.808e-8 0.0694 0.03324 0.0329 0.1814 10.98 2.828 0.202 0.4222 1 1 0.02541 0.1095 0.2755 0.1546 0.666 1.676 json
t20_x80_u0_b45 20 80 0 45 add(R,pow(sub(R,R),R)) 175641 165644145 o2(x,o2(o2(x,x),x)) true 113535 113535 -0.8155 0.1016 0.9813 0.3072 0.5543 -1 1 2 1 0.7279 0.03404 0.03871 0.03986 -0.06413 1 0.000008536 0.1539 0.07812 0.07119 0.2668 6.693 2.828 0.2368 0.5008 1 1 0.06938 0.2888 0.6387 0.2258 0.9399 2.079 json
t20_x80_u0_b46 20 80 0 46 add(R,pow(mlt(R,R),R)) 175642 165644146 o2(x,o2(o2(x,x),x)) true 113543 113543 0.9203 1 0.9203 0.0309 0.1758 0.003252 1 0.9967 1 1.634 0.0006076 0.0006339 0.01546 -0.02117 1 -0.00002905 0.0003404 0.007168 0.001003 0.03166 2.048 0.2162 0.04018 0.01102 1 1 0.001949 0.01938 0.04835 0.06307 0.6272 1.565 json
t20_x80_u0_b47 20 80 0 47 add(R,pow(div(R,R),R)) 175643 165644147 o2(x,o2(o2(x,x),x)) true 113551 113551 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
t20_x80_u0_b48 20 80 0 48 add(R,pow(pow(R,R),R)) 175644 165644148 o2(x,o2(o2(x,x),x)) true 113559 113559 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t20_x80_u0_b49 20 80 0 49 add(R,pow(mod(R,R),R)) 175645 165644149 o2(x,o2(o2(x,x),x)) true 113567 113567 -0.8316 0.08984 0.9887 0.2911 0.5395 -1 1 2 1 0.6335 0.03366 0.03449 0.03647 -0.01225 1 0.000004286 0.1438 0.0718 0.06678 0.2584 7.086 2.828 0.2341 0.4939 1 1 0.05711 0.2409 0.5333 0.1962 0.8277 1.832 json
t20_x80_u0_b50 20 80 0 50 add(R,pow(lrg(R,R),R)) 175646 165644150 o2(x,o2(o2(x,x),x)) true 113575 113575 -0.8155 0.1016 0.9813 0.3072 0.5543 -1 1 2 1 0.7279 0.03404 0.03871 0.03986 -0.06413 1 0.000008536 0.1539 0.07812 0.07119 0.2668 6.693 2.828 0.2368 0.5008 1 1 0.06938 0.2888 0.6387 0.2258 0.9399 2.079 json
t20_x80_u0_b51 20 80 0 51 add(R,pow(eql(R,R),R)) 175647 165644151 o2(x,o2(o2(x,x),x)) true 113583 113583 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
t20_x80_u0_b52 20 80 0 52 add(R,pow(min(R,R),R)) 175648 165644152 o2(x,o2(o2(x,x),x)) true 113591 113591 -0.9143 0.04297 0.9998 0.1637 0.4046 -1 1 2 1 0.2663 0.01674 0.01628 0.01651 0.01389 1 -1.457e-7 0.06903 0.03317 0.03273 0.1809 10.95 2.828 0.2017 0.4216 1 1 0.02534 0.1092 0.2745 0.1548 0.6668 1.676 json
t20_x80_u0_b53 20 80 0 53 add(R,pow(dot(R,R),R)) 175649 165644153 o2(x,o2(o2(x,x),x)) true 113599 113599 0.8028 0.9504 0.8185 0.1077 0.3281 -0.4728 1 1.473 1 2.584 0.001796 0.002198 0.03382 -0.1007 1 -0.00005956 0.0009221 0.01309 0.002851 0.0534 1.579 0.3395 0.0371 0.008565 1 1 0.007301 0.07679 0.178 0.06782 0.7133 1.653 json
t20_x80_u0_b54 20 80 0 54 add(R,pow(dst(R,R),R)) 175650 165644154 o2(x,o2(o2(x,x),x)) true 113607 113607 -0.8155 0.1016 0.9813 0.3072 0.5543 -1 1 2 1 0.7279 0.03404 0.03871 0.03986 -0.06413 1 0.000008536 0.1539 0.07812 0.07119 0.2668 6.693 2.828 0.2368 0.5008 1 1 0.06938 0.2888 0.6387 0.2258 0.9399 2.079 json
t20_x80_u0_b55 20 80 0 55 add(R,mod(add(R,R),R)) 175651 165644155 o2(x,o2(o2(x,x),x)) true 113615 113615 -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
t20_x80_u0_b56 20 80 0 56 add(R,mod(sub(R,R),R)) 175652 165644156 o2(x,o2(o2(x,x),x)) true 113623 113623 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_b57 20 80 0 57 add(R,mod(mlt(R,R),R)) 175653 165644157 o2(x,o2(o2(x,x),x)) true 113631 113631 0.3075 0.6379 0.405 0.1922 0.4384 -0.2496 1 1.25 1 3.98 0.003053 0.003246 0.05579 -0.03067 1 -0.00005463 0.0009672 0.01624 0.003186 0.05645 1.012 0.2518 0.03277 0.005033 1 1 0.01264 0.1473 0.381 0.06577 0.7663 1.982 json
t20_x80_u0_b58 20 80 0 58 add(R,mod(div(R,R),R)) 175654 165644158 o2(x,o2(o2(x,x),x)) true 113639 113639 0.1821 0.5981 0.4149 0.2318 0.4815 -0.9977 1 1.998 1 4.769 0.002745 0.003209 0.06214 -0.07799 1 0.00002682 0.0003444 0.01427 0.002093 0.04575 0.7363 0.2335 0.02568 0.001485 1 1 0.012 0.1544 0.4226 0.05177 0.6658 1.823 json
t20_x80_u0_b59 20 80 0 59 add(R,mod(pow(R,R),R)) 175655 165644159 o2(x,o2(o2(x,x),x)) true 113647 113647 -0.928 0.04297 0.9861 0.1172 0.3423 -1 0.9461 1.946 1 0.3945 0.01198 0.01173 0.01478 0.01048 1 0.000006395 0.04951 0.02804 0.0235 0.1533 10.37 2.664 0.2024 0.4226 1 1 0.01938 0.08337 0.2034 0.1654 0.7117 1.736 json
t20_x80_u0_b60 20 80 0 60 add(R,mod(mod(R,R),R)) 175656 165644160 o2(x,o2(o2(x,x),x)) true 113655 113655 -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
t20_x80_u0_b61 20 80 0 61 add(R,mod(lrg(R,R),R)) 175657 165644161 o2(x,o2(o2(x,x),x)) true 113663 113663 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_b62 20 80 0 62 add(R,mod(eql(R,R),R)) 175658 165644162 o2(x,o2(o2(x,x),x)) true 113671 113671 0.1821 0.5981 0.4149 0.2318 0.4815 -0.9977 1 1.998 1 4.769 0.002745 0.003209 0.06214 -0.07799 1 0.00002682 0.0003444 0.01427 0.002093 0.04575 0.7363 0.2335 0.02568 0.001485 1 1 0.012 0.1544 0.4226 0.05177 0.6658 1.823 json
t20_x80_u0_b63 20 80 0 63 add(R,mod(min(R,R),R)) 175659 165644163 o2(x,o2(o2(x,x),x)) true 113679 113679 -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
t20_x80_u0_b64 20 80 0 64 add(R,mod(dot(R,R),R)) 175660 165644164 o2(x,o2(o2(x,x),x)) true 113687 113687 0.2366 0.6224 0.4077 0.2119 0.4603 -0.9049 1 1.905 1 4.605 0.002903 0.003282 0.06057 -0.06124 1 -0.00003674 0.0005857 0.01513 0.002517 0.05017 0.8284 0.261 0.02919 0.002764 1 1 0.01212 0.1493 0.3859 0.05717 0.7045 1.821 json
t20_x80_u0_b65 20 80 0 65 add(R,mod(dst(R,R),R)) 175661 165644165 o2(x,o2(o2(x,x),x)) true 113695 113695 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_b66 20 80 0 66 add(R,lrg(add(R,R),R)) 175662 165644166 o2(x,o2(o2(x,x),x)) true 113703 113703 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
t20_x80_u0_b67 20 80 0 67 add(R,lrg(sub(R,R),R)) 175663 165644167 o2(x,o2(o2(x,x),x)) true 113711 113711 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
t20_x80_u0_b68 20 80 0 68 add(R,lrg(mlt(R,R),R)) 175664 165644168 o2(x,o2(o2(x,x),x)) true 113719 113719 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
t20_x80_u0_b69 20 80 0 69 add(R,lrg(div(R,R),R)) 175665 165644169 o2(x,o2(o2(x,x),x)) true 113727 113727 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
t20_x80_u0_b70 20 80 0 70 add(R,lrg(pow(R,R),R)) 175666 165644170 o2(x,o2(o2(x,x),x)) true 113735 113735 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
t20_x80_u0_b71 20 80 0 71 add(R,lrg(mod(R,R),R)) 175667 165644171 o2(x,o2(o2(x,x),x)) true 113743 113743 0.4016 0.889 0.4718 0.1202 0.3467 -0.9673 0.997 1.964 1 4.351 0.001805 0.001599 0.04522 0.06036 1 0.00002008 0.0002034 0.01039 0.00136 0.03688 0.8156 0.2263 0.02832 0.001692 1 1 0.007623 0.09805 0.2372 0.06341 0.8157 1.973 json
t20_x80_u0_b72 20 80 0 72 add(R,lrg(lrg(R,R),R)) 175668 165644172 o2(x,o2(o2(x,x),x)) true 113751 113751 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
t20_x80_u0_b73 20 80 0 73 add(R,lrg(eql(R,R),R)) 175669 165644173 o2(x,o2(o2(x,x),x)) true 113759 113759 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
t20_x80_u0_b74 20 80 0 74 add(R,lrg(min(R,R),R)) 175670 165644174 o2(x,o2(o2(x,x),x)) true 113767 113767 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_b75 20 80 0 75 add(R,lrg(dot(R,R),R)) 175671 165644175 o2(x,o2(o2(x,x),x)) true 113775 113775 0.7846 1 0.7846 0.07214 0.2686 0.001146 1 0.9989 1 2.912 0.00139 0.001466 0.03259 -0.02687 1 -0.00003852 0.0006997 0.01268 0.001793 0.04235 1.299 0.223 0.03959 0.0097 1 1 0.005008 0.05129 0.1176 0.06943 0.7109 1.63 json
t20_x80_u0_b76 20 80 0 76 add(R,lrg(dst(R,R),R)) 175672 165644176 o2(x,o2(o2(x,x),x)) true 113783 113783 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
t20_x80_u0_b77 20 80 0 77 add(R,eql(add(R,R),R)) 175673 165644177 o2(x,o2(o2(x,x),x)) true 113791 113791 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_b78 20 80 0 78 add(R,eql(sub(R,R),R)) 175674 165644178 o2(x,o2(o2(x,x),x)) true 113799 113799 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_b79 20 80 0 79 add(R,eql(mlt(R,R),R)) 175675 165644179 o2(x,o2(o2(x,x),x)) true 113807 113807 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_b80 20 80 0 80 add(R,eql(div(R,R),R)) 175676 165644180 o2(x,o2(o2(x,x),x)) true 113815 113815 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_b81 20 80 0 81 add(R,eql(pow(R,R),R)) 175677 165644181 o2(x,o2(o2(x,x),x)) true 113823 113823 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_b82 20 80 0 82 add(R,eql(mod(R,R),R)) 175678 165644182 o2(x,o2(o2(x,x),x)) true 113831 113831 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
t20_x80_u0_b83 20 80 0 83 add(R,eql(lrg(R,R),R)) 175679 165644183 o2(x,o2(o2(x,x),x)) true 113839 113839 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_b84 20 80 0 84 add(R,eql(eql(R,R),R)) 175680 165644184 o2(x,o2(o2(x,x),x)) true 113847 113847 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_b85 20 80 0 85 add(R,eql(min(R,R),R)) 175681 165644185 o2(x,o2(o2(x,x),x)) true 113855 113855 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
t20_x80_u0_b86 20 80 0 86 add(R,eql(dot(R,R),R)) 175682 165644186 o2(x,o2(o2(x,x),x)) true 113863 113863 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_b87 20 80 0 87 add(R,eql(dst(R,R),R)) 175683 165644187 o2(x,o2(o2(x,x),x)) true 113871 113871 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_b88 20 80 0 88 add(R,min(add(R,R),R)) 175684 165644188 o2(x,o2(o2(x,x),x)) true 113879 113879 -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
t20_x80_u0_b89 20 80 0 89 add(R,min(sub(R,R),R)) 175685 165644189 o2(x,o2(o2(x,x),x)) true 113887 113887 -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
t20_x80_u0_b90 20 80 0 90 add(R,min(mlt(R,R),R)) 175686 165644190 o2(x,o2(o2(x,x),x)) true 113895 113895 -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
t20_x80_u0_b91 20 80 0 91 add(R,min(div(R,R),R)) 175687 165644191 o2(x,o2(o2(x,x),x)) true 113903 113903 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_b92 20 80 0 92 add(R,min(pow(R,R),R)) 175688 165644192 o2(x,o2(o2(x,x),x)) true 113911 113911 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_b93 20 80 0 93 add(R,min(mod(R,R),R)) 175689 165644193 o2(x,o2(o2(x,x),x)) true 113919 113919 -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
t20_x80_u0_b94 20 80 0 94 add(R,min(lrg(R,R),R)) 175690 165644194 o2(x,o2(o2(x,x),x)) true 113927 113927 -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
t20_x80_u0_b95 20 80 0 95 add(R,min(eql(R,R),R)) 175691 165644195 o2(x,o2(o2(x,x),x)) true 113935 113935 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_b96 20 80 0 96 add(R,min(min(R,R),R)) 175692 165644196 o2(x,o2(o2(x,x),x)) true 113943 113943 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_b97 20 80 0 97 add(R,min(dot(R,R),R)) 175693 165644197 o2(x,o2(o2(x,x),x)) true 113951 113951 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
t20_x80_u0_b98 20 80 0 98 add(R,min(dst(R,R),R)) 175694 165644198 o2(x,o2(o2(x,x),x)) true 113959 113959 -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
t20_x80_u0_b99 20 80 0 99 add(R,dot(add(R,R),R)) 175695 165644199 o2(x,o2(o2(x,x),x)) true 113967 113967 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
t20_x80_u0_b100 20 80 0 100 add(R,dot(sub(R,R),R)) 175696 165644200 o2(x,o2(o2(x,x),x)) true 113975 113975 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_b101 20 80 0 101 add(R,dot(mlt(R,R),R)) 175697 165644201 o2(x,o2(o2(x,x),x)) true 113983 113983 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
t20_x80_u0_b102 20 80 0 102 add(R,dot(div(R,R),R)) 175698 165644202 o2(x,o2(o2(x,x),x)) true 113991 113991 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_b103 20 80 0 103 add(R,dot(pow(R,R),R)) 175699 165644203 o2(x,o2(o2(x,x),x)) true 113999 113999 -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