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
t16_x8_u3_b33 16 8 3 33 div(P,flr(add(R,R))) 81800 130253460 o2(x,o1(o2(x,x))) true 142407 142407 -0.5281 0.2381 0.9551 0.664 0.8149 -1 1 2 1 1.446 0.0601 0.06489 0.08279 -0.03836 1 0.000007256 0.2425 0.1322 0.1181 0.3437 4.151 2.828 0.1882 0.3651 1 1 0.1334 0.6365 1.365 0.2009 0.9586 2.056 json
t16_x8_u3_b34 16 8 3 34 div(P,flr(sub(R,R))) 81801 130253461 o2(x,o1(o2(x,x))) true 142415 142415 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t16_x8_u3_b35 16 8 3 35 div(P,flr(mlt(R,R))) 81802 130253462 o2(x,o1(o2(x,x))) true 142423 142423 -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
t16_x8_u3_b36 16 8 3 36 div(P,flr(div(R,R))) 81803 130253463 o2(x,o1(o2(x,x))) true 142431 142431 -0.4609 0.2695 0.9922 0.7778 0.8819 -1 1 2 1 0.9791 0.03281 0.02922 0.03247 0.05792 1 0 0.1299 0.06389 0.06095 0.2469 7.603 2.828 0.07975 0.167 1 1 0.06178 0.258 0.7582 0.07944 0.3318 0.9748 json
t16_x8_u3_b37 16 8 3 37 div(P,flr(pow(R,R))) 81804 130253464 o2(x,o1(o2(x,x))) true 142439 142439 -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
t16_x8_u3_b38 16 8 3 38 div(P,flr(mod(R,R))) 81805 130253465 o2(x,o1(o2(x,x))) true 142447 142447 -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
t16_x8_u3_b39 16 8 3 39 div(P,flr(lrg(R,R))) 81806 130253466 o2(x,o1(o2(x,x))) true 142455 142455 -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
t16_x8_u3_b40 16 8 3 40 div(P,flr(eql(R,R))) 81807 130253467 o2(x,o1(o2(x,x))) true 142463 142463 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t16_x8_u3_b41 16 8 3 41 div(P,flr(min(R,R))) 81808 130253468 o2(x,o1(o2(x,x))) true 142471 142471 -0.8613 0.07031 0.998 0.2557 0.5057 -1 1 2 1 0.3963 0.02849 0.02539 0.02718 0.05754 1 1.201e-10 0.1136 0.05447 0.05314 0.2305 8.481 2.828 0.2107 0.4441 1 1 0.05086 0.2126 0.5044 0.1989 0.8312 1.972 json
t16_x8_u3_b42 16 8 3 42 div(P,flr(dot(R,R))) 81809 130253469 o2(x,o1(o2(x,x))) true 142479 142479 -0.8379 0.08203 0.9902 0.2858 0.5346 -1 1 2 1 0.5594 0.02719 0.02136 0.02549 0.1201 1 0 0.1014 0.04927 0.04795 0.219 8.592 2.828 0.1699 0.3548 1 1 0.04703 0.1988 0.4814 0.1646 0.6955 1.684 json
t16_x8_u3_b43 16 8 3 43 div(P,flr(dst(R,R))) 81810 130253470 o2(x,o1(o2(x,x))) true 142487 142487 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t16_x8_u3_b44 16 8 3 44 pow(P,flr(add(R,R))) 81811 130253471 o2(x,o1(o2(x,x))) true 142495 142495 -0.2451 0.4531 0.8487 0.7447 0.863 -1 1 2 1 2.433 0.01564 0.006638 0.03 0.4042 1 -0.00006382 0.04163 0.02994 0.02138 0.1462 4.873 2.828 0.02992 0.0559 1 1 0.03075 0.1427 0.426 0.04129 0.1917 0.5721 json
t16_x8_u3_b45 16 8 3 45 pow(P,flr(sub(R,R))) 81812 130253472 o2(x,o1(o2(x,x))) true 142503 142503 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
t16_x8_u3_b46 16 8 3 46 pow(P,flr(mlt(R,R))) 81813 130253473 o2(x,o1(o2(x,x))) true 142511 142511 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
t16_x8_u3_b47 16 8 3 47 pow(P,flr(div(R,R))) 81814 130253474 o2(x,o1(o2(x,x))) true 142519 142519 0.008789 0.5117 0.9854 0.9818 0.9909 -1 1 2 1 1.262 0.01116 0.001672 0.009617 0.7394 1 -0.000002852 0.02566 0.01502 0.01275 0.1129 11.74 2.828 0.01307 0.02614 1 1 0.01972 0.08471 0.3782 0.02008 0.08629 0.3852 json
t16_x8_u3_b48 16 8 3 48 pow(P,flr(pow(R,R))) 81815 130253475 o2(x,o1(o2(x,x))) true 142527 142527 -0.8828 0.05859 1 0.2206 0.4697 -1 1 2 1 0.3218 0.02469 0.02142 0.02289 0.07104 1 0 0.097 0.04611 0.04556 0.2135 9.326 2.828 0.209 0.4397 1 1 0.04382 0.1804 0.4557 0.1987 0.818 2.066 json
t16_x8_u3_b49 16 8 3 49 pow(P,flr(mod(R,R))) 81816 130253476 o2(x,o1(o2(x,x))) true 142535 142535 0.4793 0.75 0.9793 0.7385 0.8594 -1 1 2 1 1.294 0.04901 0.04372 0.04994 0.05707 1 -0.000009524 0.1918 0.09345 0.0902 0.3003 6.013 2.828 0.1256 0.2596 1 1 0.105 0.4309 1.399 0.1421 0.5834 1.894 json
t16_x8_u3_b50 16 8 3 50 pow(P,flr(lrg(R,R))) 81817 130253477 o2(x,o1(o2(x,x))) true 142543 142543 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
t16_x8_u3_b51 16 8 3 51 pow(P,flr(eql(R,R))) 81818 130253478 o2(x,o1(o2(x,x))) true 142551 142551 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t16_x8_u3_b52 16 8 3 52 pow(P,flr(min(R,R))) 81819 130253479 o2(x,o1(o2(x,x))) true 142559 142559 -0.1866 0.4922 0.829 0.7296 0.8542 -1 1 2 1 2.667 0.03022 0.02123 0.04194 0.1748 1 -0.000008933 0.1054 0.05451 0.04968 0.2229 5.315 2.828 0.07052 0.1444 1 1 0.05969 0.2561 0.7072 0.0818 0.351 0.9693 json
t16_x8_u3_b53 16 8 3 53 pow(P,flr(dot(R,R))) 81820 130253480 o2(x,o1(o2(x,x))) true 142567 142567 0.07813 0.5469 0.9844 0.9739 0.9869 -1 1 2 1 1.288 0.02044 0.01278 0.02024 0.2304 1 -1.164e-10 0.06865 0.03571 0.0328 0.1811 8.947 2.828 0.03411 0.07049 1 1 0.03055 0.1304 0.5331 0.03137 0.1339 0.5473 json
t16_x8_u3_b54 16 8 3 54 pow(P,flr(dst(R,R))) 81821 130253481 o2(x,o1(o2(x,x))) true 142575 142575 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
t16_x8_u3_b55 16 8 3 55 mod(P,flr(add(R,R))) 81822 130253482 o2(x,o1(o2(x,x))) true 142583 142583 -0.6904 0.08167 0.7373 0.2428 0.4927 -1 0.9997 2 1 1.794 0.01677 0.01957 0.04085 -0.07719 1 -0.00001426 0.07347 0.06489 0.03469 0.1862 4.56 2.828 0.1497 0.3026 1 1 0.03877 0.1734 0.5295 0.1597 0.7143 2.181 json
t16_x8_u3_b56 16 8 3 56 mod(P,flr(sub(R,R))) 81823 130253483 o2(x,o1(o2(x,x))) true 142591 142591 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t16_x8_u3_b57 16 8 3 57 mod(P,flr(mlt(R,R))) 81824 130253484 o2(x,o1(o2(x,x))) true 142599 142599 -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
t16_x8_u3_b58 16 8 3 58 mod(P,flr(div(R,R))) 81825 130253485 o2(x,o1(o2(x,x))) true 142607 142607 -0.5781 0 0.5781 0.2437 0.4937 -1 0 1 1 0.9823 0.01688 0.01537 0.03204 0.04687 1 0 0.06708 0.0645 0.03121 0.1767 5.514 1.414 0.1323 0.2752 1 1 0.02957 0.1216 0.4087 0.1213 0.4988 1.677 json
t16_x8_u3_b59 16 8 3 59 mod(P,flr(pow(R,R))) 81826 130253486 o2(x,o1(o2(x,x))) true 142615 142615 -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
t16_x8_u3_b60 16 8 3 60 mod(P,flr(mod(R,R))) 81827 130253487 o2(x,o1(o2(x,x))) true 142623 142623 -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
t16_x8_u3_b61 16 8 3 61 mod(P,flr(lrg(R,R))) 81828 130253488 o2(x,o1(o2(x,x))) true 142631 142631 -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
t16_x8_u3_b62 16 8 3 62 mod(P,flr(eql(R,R))) 81829 130253489 o2(x,o1(o2(x,x))) true 142639 142639 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
t16_x8_u3_b63 16 8 3 63 mod(P,flr(min(R,R))) 81830 130253490 o2(x,o1(o2(x,x))) true 142647 142647 -0.9297 0 0.9297 0.06532 0.2556 -1 0 1 1 0.3671 0.00548 0.006677 0.01207 -0.09845 1 0 0.02545 0.02431 0.01201 0.1096 9.077 1.414 0.1861 0.3896 1 1 0.01256 0.05287 0.1436 0.1923 0.8093 2.199 json
t16_x8_u3_b64 16 8 3 64 mod(P,flr(dot(R,R))) 81831 130253491 o2(x,o1(o2(x,x))) true 142655 142655 -0.8965 0.003693 0.8984 0.09327 0.3054 -1 0.9994 1.999 1 0.594 0.008862 0.007728 0.01685 0.06834 1 -6.007e-11 0.03451 0.03244 0.01631 0.1277 7.579 1.999 0.1779 0.3701 1 1 0.0188 0.07826 0.1991 0.2015 0.8391 2.134 json
t16_x8_u3_b65 16 8 3 65 mod(P,flr(dst(R,R))) 81832 130253492 o2(x,o1(o2(x,x))) true 142663 142663 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t16_x8_u3_b66 16 8 3 66 lrg(P,flr(add(R,R))) 81833 130253493 o2(x,o1(o2(x,x))) true 142671 142671 0.4883 0.5675 0.4883 0.2314 0.4811 0 1 1 1 1.753 0.0004752 0.0003909 0.01019 0.09737 1 0.00002852 0.00004979 0.002461 0.0007618 0.0276 2.708 0.1169 0.003742 0.0002151 1 1 0.002134 0.0276 0.09828 0.009223 0.1193 0.4247 json
t16_x8_u3_b67 16 8 3 67 lrg(P,flr(sub(R,R))) 81834 130253494 o2(x,o1(o2(x,x))) true 142679 142679 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t16_x8_u3_b68 16 8 3 68 lrg(P,flr(mlt(R,R))) 81835 130253495 o2(x,o1(o2(x,x))) true 142687 142687 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t16_x8_u3_b69 16 8 3 69 lrg(P,flr(div(R,R))) 81836 130253496 o2(x,o1(o2(x,x))) true 142695 142695 0.4277 0.4712 0.4277 0.2356 0.4854 0 1 1 1 1.413 0.000319 0.0001229 0.005151 0.4437 1 -5.351e-10 0.00002377 0.001236 0.0004155 0.02038 3.957 0.1169 0.001876 0.0001009 1 1 0.00119 0.01547 0.08111 0.005054 0.06568 0.3443 json
t16_x8_u3_b70 16 8 3 70 lrg(P,flr(pow(R,R))) 81837 130253497 o2(x,o1(o2(x,x))) true 142703 142703 0.7324 0.9569 0.7324 0.1474 0.3839 0 1 1 1 2.341 0.001052 0.001231 0.02666 -0.0785 1 -0.000006429 0.0001288 0.006434 0.001572 0.03965 1.487 0.1169 0.01549 0.000874 1 1 0.004654 0.05961 0.1835 0.03158 0.4044 1.245 json
t16_x8_u3_b71 16 8 3 71 lrg(P,flr(mod(R,R))) 81838 130253498 o2(x,o1(o2(x,x))) true 142711 142711 0.4922 0.5339 0.4922 0.2411 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004982 0.5091 1 -5.013e-10 0.00002268 0.001192 0.0004043 0.02011 4.036 0.1169 0.00178 0.00009406 1 1 0.00119 0.01549 0.08673 0.004937 0.06422 0.3597 json
t16_x8_u3_b72 16 8 3 72 lrg(P,flr(lrg(R,R))) 81839 130253499 o2(x,o1(o2(x,x))) true 142719 142719 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t16_x8_u3_b73 16 8 3 73 lrg(P,flr(eql(R,R))) 81840 130253500 o2(x,o1(o2(x,x))) true 142727 142727 0.4063 0.4375 0.4063 0.2344 0.4842 0 1 1 1 1.302 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001505 0.00006906 1 1 0.0009255 0.01214 0.0751 0.003947 0.0518 0.3203 json
t16_x8_u3_b74 16 8 3 74 lrg(P,flr(min(R,R))) 81841 130253501 o2(x,o1(o2(x,x))) true 142735 142735 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t16_x8_u3_b75 16 8 3 75 lrg(P,flr(dot(R,R))) 81842 130253502 o2(x,o1(o2(x,x))) true 142743 142743 0.4277 0.4749 0.4277 0.2348 0.4846 0 1 1 1 1.442 0.0003141 0.0001629 0.00557 0.3172 1 0.000005704 0.00002576 0.001335 0.0004459 0.02112 3.791 0.1169 0.002031 0.0001097 1 1 0.001269 0.01664 0.08914 0.005402 0.07087 0.3796 json
t16_x8_u3_b76 16 8 3 76 lrg(P,flr(dst(R,R))) 81843 130253503 o2(x,o1(o2(x,x))) true 142751 142751 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t16_x8_u3_b77 16 8 3 77 eql(P,flr(add(R,R))) 81844 130253504 o2(x,o1(o2(x,x))) true 142759 142759 0.07813 0.2217 0.07813 0.04789 0.2188 0 1 1 1 1.19 0.0005619 0.0005617 0.01326 0.000125 1 -0.00002282 0.0000673 0.003238 0.0009475 0.03078 2.321 0.1169 0.02346 0.001405 1 1 0.002834 0.03671 0.09883 0.05917 0.7664 2.064 json
t16_x8_u3_b78 16 8 3 78 eql(P,flr(sub(R,R))) 81845 130253505 o2(x,o1(o2(x,x))) true 142767 142767 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t16_x8_u3_b79 16 8 3 79 eql(P,flr(mlt(R,R))) 81846 130253506 o2(x,o1(o2(x,x))) true 142775 142775 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t16_x8_u3_b80 16 8 3 80 eql(P,flr(div(R,R))) 81847 130253507 o2(x,o1(o2(x,x))) true 142783 142783 0.07617 0.1572 0.07617 0.05402 0.2324 0 1 1 1 0.9764 0.0005715 0.0002185 0.009201 0.4468 1 -0.000005705 0.00004362 0.002218 0.0007051 0.02655 2.886 0.1169 0.01463 0.0008075 1 1 0.002225 0.02888 0.1103 0.04119 0.5346 2.041 json
t16_x8_u3_b81 16 8 3 81 eql(P,flr(pow(R,R))) 81848 130253508 o2(x,o1(o2(x,x))) true 142791 142791 0.02734 0.07556 0.02734 0.01868 0.1367 0 0.9997 0.9997 1 0.4881 0.0002846 0.0001053 0.004539 0.4597 1 -0.000005705 0.00002084 0.001084 0.0003695 0.01922 4.235 0.1169 0.02087 0.001115 1 1 0.001069 0.01392 0.04488 0.0572 0.7453 2.402 json
t16_x8_u3_b82 16 8 3 82 eql(P,flr(mod(R,R))) 81849 130253509 o2(x,o1(o2(x,x))) true 142799 142799 0.04688 0.1142 0.04688 0.03273 0.1809 0 1 1 1 0.7163 0.0003982 0.0001853 0.006769 0.3649 1 -3.493e-10 0.00003077 0.001619 0.0005376 0.02319 3.426 0.1169 0.01783 0.0009403 1 1 0.001425 0.01847 0.063 0.04354 0.5643 1.925 json
t16_x8_u3_b83 16 8 3 83 eql(P,flr(lrg(R,R))) 81850 130253510 o2(x,o1(o2(x,x))) true 142807 142807 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t16_x8_u3_b84 16 8 3 84 eql(P,flr(eql(R,R))) 81851 130253511 o2(x,o1(o2(x,x))) true 142815 142815 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t16_x8_u3_b85 16 8 3 85 eql(P,flr(min(R,R))) 81852 130253512 o2(x,o1(o2(x,x))) true 142823 142823 0.05469 0.1327 0.05469 0.03777 0.1944 0 1 1 1 0.8133 0.000414 0.0002457 0.007741 0.2551 1 0.000005704 0.00003679 0.001864 0.0005996 0.02449 3.163 0.1169 0.01746 0.000974 1 1 0.001703 0.02225 0.09418 0.04509 0.5891 2.493 json
t16_x8_u3_b86 16 8 3 86 eql(P,flr(dot(R,R))) 81853 130253513 o2(x,o1(o2(x,x))) true 142831 142831 0.07422 0.1676 0.07422 0.05152 0.227 0 1 1 1 0.997 0.0004987 0.0003306 0.009672 0.2027 1 -0.000005705 0.00004543 0.002328 0.0007362 0.02713 2.805 0.1169 0.0161 0.0008818 1 1 0.002201 0.02876 0.09922 0.04273 0.5582 1.926 json
t16_x8_u3_b87 16 8 3 87 eql(P,flr(dst(R,R))) 81854 130253514 o2(x,o1(o2(x,x))) true 142839 142839 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t16_x8_u3_b88 16 8 3 88 min(P,flr(add(R,R))) 81855 130253515 o2(x,o1(o2(x,x))) true 142847 142847 -0.6885 0.1311 0.8319 0.3087 0.5556 -1 1 2 1 2.484 0.004268 0.004026 0.04604 0.02911 1 0.00006661 0.00135 0.0141 0.006171 0.07856 1.706 0.3507 0.02687 0.004373 1 1 0.01629 0.1898 0.4989 0.05278 0.6149 1.616 json
t16_x8_u3_b89 16 8 3 89 min(P,flr(sub(R,R))) 81856 130253516 o2(x,o1(o2(x,x))) true 142855 142855 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 0.0003529 0 0.003968 1 1 4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t16_x8_u3_b90 16 8 3 90 min(P,flr(mlt(R,R))) 81857 130253517 o2(x,o1(o2(x,x))) true 142863 142863 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 0.0003529 0 0.003968 1 1 4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t16_x8_u3_b91 16 8 3 91 min(P,flr(div(R,R))) 81858 130253518 o2(x,o1(o2(x,x))) true 142871 142871 -0.08203 0.4903 0.8555 0.8141 0.9023 -1 1 2 1 2.606 0.001036 0.0005983 0.01903 0.2676 1 -1.133e-8 0.0000917 0.00458 0.001271 0.03565 1.874 0.1169 0.002007 0.0001126 1 1 0.003782 0.04893 0.2404 0.004645 0.0601 0.2953 json
t16_x8_u3_b92 16 8 3 92 min(P,flr(pow(R,R))) 81859 130253519 o2(x,o1(o2(x,x))) true 142879 142879 -0.1217 0.4718 0.8158 0.7727 0.879 -1 1 2 1 2.516 0.002661 0.002845 0.02798 -0.03339 1 -0.0001374 0.002633 0.01553 0.004725 0.06874 2.457 0.4702 0.007126 0.003408 1 1 0.009223 0.08456 0.2694 0.01194 0.1094 0.3487 json
t16_x8_u3_b93 16 8 3 93 min(P,flr(mod(R,R))) 81860 130253520 o2(x,o1(o2(x,x))) true 142887 142887 -0.5293 0 0.5293 0.2277 0.4772 -1 0 1 1 2.105 0.0006008 0.0003876 0.01166 0.2157 1 -0.00001712 0.00005626 0.00281 0.000853 0.02921 2.505 0.1169 0.00434 0.000247 1 1 0.00228 0.02939 0.1121 0.01001 0.1291 0.4921 json
t16_x8_u3_b94 16 8 3 94 min(P,flr(lrg(R,R))) 81861 130253521 o2(x,o1(o2(x,x))) true 142895 142895 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 0.0003529 0 0.003968 1 1 4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t16_x8_u3_b95 16 8 3 95 min(P,flr(eql(R,R))) 81862 130253522 o2(x,o1(o2(x,x))) true 142903 142903 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t16_x8_u3_b96 16 8 3 96 min(P,flr(min(R,R))) 81863 130253523 o2(x,o1(o2(x,x))) true 142911 142911 -0.7578 0 0.7578 0.1282 0.3581 -1 0 1 1 2.446 0.001205 0.001316 0.02956 -0.04423 1 -0.00002994 0.0001512 0.007216 0.001648 0.0406 1.373 0.1169 0.01966 0.001179 1 1 0.005145 0.06684 0.1791 0.04012 0.5213 1.397 json
t16_x8_u3_b97 16 8 3 97 min(P,flr(dot(R,R))) 81864 130253524 o2(x,o1(o2(x,x))) true 142919 142919 -0.2184 0.4425 0.7191 0.624 0.7899 -1 1 2 1 3.014 0.001441 0.0009789 0.02698 0.1911 1 0.000003559 0.0001747 0.006698 0.001691 0.04113 1.524 0.2265 0.003879 0.00028 1 1 0.005122 0.06472 0.304 0.008209 0.1037 0.4873 json
t16_x8_u3_b98 16 8 3 98 min(P,flr(dst(R,R))) 81865 130253525 o2(x,o1(o2(x,x))) true 142927 142927 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 0.0003529 0 0.003968 1 1 4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t16_x8_u3_b99 16 8 3 99 dot(P,flr(add(R,R))) 81866 130253526 o2(x,o1(o2(x,x))) true 142935 142935 -0.06285 0.4704 0.9131 0.8846 0.9405 -1 1 2 1 2.184 0.03952 0.04992 0.1027 -0.1162 1 -0.00001276 0.1149 0.1083 0.07889 0.2809 2.734 2.344 0.1011 0.1299 1 1 0.1161 0.7212 1.646 0.1313 0.8153 1.861 json
t16_x8_u3_b100 16 8 3 100 dot(P,flr(sub(R,R))) 81867 130253527 o2(x,o1(o2(x,x))) true 142943 142943 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
t16_x8_u3_b101 16 8 3 101 dot(P,flr(mlt(R,R))) 81868 130253528 o2(x,o1(o2(x,x))) true 142951 142951 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
t16_x8_u3_b102 16 8 3 102 dot(P,flr(div(R,R))) 81869 130253529 o2(x,o1(o2(x,x))) true 142959 142959 -0.00894 0.4933 0.9288 0.9088 0.9533 -1 1 2 1 2.025 0.008019 0.006571 0.03496 0.09924 1 -0.00007708 0.00872 0.02194 0.01337 0.1156 3.308 1.453 0.01605 0.009595 1 1 0.02465 0.2035 0.5636 0.02712 0.2239 0.6202 json
t16_x8_u3_b103 16 8 3 103 dot(P,flr(pow(R,R))) 81870 130253530 o2(x,o1(o2(x,x))) true 142967 142967 -0.9961 0 0.9961 0.003891 0.06238 -1 0 1 1 0.03687 0.0005039 0.0005039 0.0009986 0 1 0 0.002142 0.002016 0.001006 0.03172 31.76 1.414 0.259 0.5504 1 1 0.001773 0.007091 0.01374 0.4556 1.823 3.531 json
t16_x8_u3_b104 16 8 3 104 dot(P,flr(mod(R,R))) 81871 130253531 o2(x,o1(o2(x,x))) true 142975 142975 -0.009547 0.2579 0.3121 0.2786 0.5278 -1 1 2 1 2.796 0.004679 0.005072 0.04201 -0.04022 1 -0.00004161 0.004685 0.02433 0.007988 0.08938 2.127 0.9348 0.035 0.01681 1 1 0.01675 0.1487 0.4682 0.0601 0.5336 1.681 json
t16_x8_u3_b105 16 8 3 105 dot(P,flr(lrg(R,R))) 81872 130253532 o2(x,o1(o2(x,x))) true 142983 142983 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
t16_x8_u3_b106 16 8 3 106 dot(P,flr(eql(R,R))) 81873 130253533 o2(x,o1(o2(x,x))) true 142991 142991 -1.583e-8 0.498 0.9392 0.9217 0.96 -1 1 2 1 1.917 0.0006889 0.0006889 0.01208 4.225e-7 1 -1.164e-10 0.0002289 0.003184 0.001231 0.03509 2.904 0.1653 0.001495 0.0002483 1 1 0.003512 0.04405 0.4161 0.003811 0.04779 0.4514 json
t16_x8_u3_b107 16 8 3 107 dot(P,flr(min(R,R))) 81874 130253534 o2(x,o1(o2(x,x))) true 142999 142999 -0.04238 0.4739 0.8078 0.7682 0.8765 -1 1 2 1 2.874 0.01033 0.01423 0.06449 -0.1588 1 0.00004393 0.01472 0.04265 0.02039 0.1428 2.214 1.344 0.03196 0.01916 1 1 0.0373 0.2996 0.6954 0.04855 0.3899 0.9051 json
t16_x8_u3_b108 16 8 3 108 dot(P,flr(dot(R,R))) 81875 130253535 o2(x,o1(o2(x,x))) true 143007 143007 -0.004427 0.4371 0.649 0.6088 0.7803 -1 1 2 1 3.208 0.005038 0.006202 0.04832 -0.1036 1 -0.00004024 0.006235 0.03099 0.0089 0.09434 1.953 0.5971 0.01846 0.01024 1 1 0.01788 0.1468 0.5018 0.02937 0.2412 0.8241 json
t16_x8_u3_b109 16 8 3 109 dot(P,flr(dst(R,R))) 81876 130253536 o2(x,o1(o2(x,x))) true 143015 143015 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
t16_x8_u3_b110 16 8 3 110 dst(P,flr(add(R,R))) 81877 130253537 o2(x,o1(o2(x,x))) true 143023 143023 0.9982 1 0.9982 0.001218 0.03489 0.0009418 1 0.9991 1 0.04477 0.00003625 0.0000727 0.0005984 -0.3346 1 -3.754e-12 0.00004517 0.0003588 0.0001087 0.01042 17.42 0.3231 0.08948 0.0371 1 1 0.0003501 0.002972 0.004438 0.2875 2.441 3.645 json
t16_x8_u3_b111 16 8 3 111 dst(P,flr(sub(R,R))) 81878 130253538 o2(x,o1(o2(x,x))) true 143031 143031 0.9964 1 0.9964 0.002289 0.04784 0.000582 1 0.9994 1 0.09109 0.00003966 0.00003966 0.0008105 5.503e-7 0 -4.881e-11 0.00001004 0.0002297 0.00007859 0.008865 10.94 0.1294 0.03466 0.004388 1 1 0.0002733 0.00336 0.008351 0.1194 1.468 3.649 json
t16_x8_u3_b112 16 8 3 112 dst(P,flr(mlt(R,R))) 81879 130253539 o2(x,o1(o2(x,x))) true 143039 143039 0.9964 1 0.9964 0.002289 0.04784 0.000582 1 0.9994 1 0.09109 0.00003966 0.00003966 0.0008105 5.503e-7 0 -4.881e-11 0.00001004 0.0002297 0.00007859 0.008865 10.94 0.1294 0.03466 0.004388 1 1 0.0002733 0.00336 0.008351 0.1194 1.468 3.649 json
t16_x8_u3_b113 16 8 3 113 dst(P,flr(div(R,R))) 81880 130253540 o2(x,o1(o2(x,x))) true 143047 143047 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
t16_x8_u3_b114 16 8 3 114 dst(P,flr(pow(R,R))) 81881 130253541 o2(x,o1(o2(x,x))) true 143055 143055 -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
t16_x8_u3_b115 16 8 3 115 dst(P,flr(mod(R,R))) 81882 130253542 o2(x,o1(o2(x,x))) true 143063 143063 0.9967 1 0.9967 0.002124 0.04609 0.000582 1 0.9994 1 0.0834 0.00003594 0.00004731 0.000779 -0.1365 0 6.007e-11 0.00001295 0.0002459 0.00008258 0.009087 11.67 0.1653 0.03919 0.006096 1 1 0.0002845 0.003348 0.007744 0.1339 1.576 3.645 json
t16_x8_u3_b116 16 8 3 116 dst(P,flr(lrg(R,R))) 81883 130253543 o2(x,o1(o2(x,x))) true 143071 143071 0.9964 1 0.9964 0.002289 0.04784 0.000582 1 0.9994 1 0.09109 0.00003966 0.00003966 0.0008105 5.503e-7 0 -4.881e-11 0.00001004 0.0002297 0.00007859 0.008865 10.94 0.1294 0.03466 0.004388 1 1 0.0002733 0.00336 0.008351 0.1194 1.468 3.649 json
t16_x8_u3_b117 16 8 3 117 dst(P,flr(eql(R,R))) 81884 130253544 o2(x,o1(o2(x,x))) true 143079 143079 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
t16_x8_u3_b118 16 8 3 118 dst(P,flr(min(R,R))) 81885 130253545 o2(x,o1(o2(x,x))) true 143087 143087 0.9973 1 0.9973 0.001754 0.04188 0.0005821 1 0.9994 1 0.06748 0.00003988 0.00005448 0.0007153 -0.1547 0 -2.816e-11 0.00002356 0.0002995 0.00009383 0.009686 13.54 0.2517 0.0538 0.01343 1 1 0.0003158 0.003275 0.006392 0.1801 1.867 3.645 json
t16_x8_u3_b119 16 8 3 119 dst(P,flr(dot(R,R))) 81886 130253546 o2(x,o1(o2(x,x))) true 143095 143095 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
t16_x8_u3_b120 16 8 3 120 dst(P,flr(dst(R,R))) 81887 130253547 o2(x,o1(o2(x,x))) true 143103 143103 0.9964 1 0.9964 0.002289 0.04784 0.000582 1 0.9994 1 0.09109 0.00003966 0.00003966 0.0008105 5.503e-7 0 -4.881e-11 0.00001004 0.0002297 0.00007859 0.008865 10.94 0.1294 0.03466 0.004388 1 1 0.0002733 0.00336 0.008351 0.1194 1.468 3.649 json
t16_x8_u4_b0 16 8 4 0 add(P,cil(add(R,R))) 81888 130253628 o2(x,o1(o2(x,x))) true 143111 143111 0.06494 0.5281 0.9412 0.9225 0.9604 -1 1 2 1 1.82 0.002114 0.001376 0.01634 0.2114 1 -0.00004179 0.0007862 0.006069 0.00322 0.05675 3.473 0.4531 0.003783 0.0008523 1 1 0.007995 0.08759 0.3426 0.008667 0.09496 0.3714 json
t16_x8_u4_b1 16 8 4 1 add(P,cil(sub(R,R))) 81889 130253629 o2(x,o1(o2(x,x))) true 143119 143119 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t16_x8_u4_b2 16 8 4 2 add(P,cil(mlt(R,R))) 81890 130253630 o2(x,o1(o2(x,x))) true 143127 143127 0.125 0.5625 0.9375 0.9084 0.9531 -1 1 2 1 1.8 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007771 0.00003562 1 1 0.001851 0.02449 0.2344 0.002038 0.02696 0.2581 json
t16_x8_u4_b3 16 8 4 3 add(P,cil(div(R,R))) 81891 130253631 o2(x,o1(o2(x,x))) true 143135 143135 0.1301 0.5638 0.9355 0.9049 0.9513 -1 1 2 1 1.825 0.0007257 0.0000494 0.008342 0.8725 1 0.000005704 0.00004722 0.002018 0.0007049 0.02655 3.183 0.2305 0.0008565 0.00005218 1 1 0.001912 0.02498 0.2333 0.002113 0.0276 0.2578 json
t16_x8_u4_b4 16 8 4 4 add(P,cil(pow(R,R))) 81892 130253632 o2(x,o1(o2(x,x))) true 143143 143143 -0.9746 0.01172 0.9941 0.04301 0.2074 -1 1 2 1 0.189 0.002839 0.005182 0.005361 -0.2922 1 -1.802e-10 0.01655 0.009482 0.007993 0.0894 16.68 2.828 0.1865 0.3849 1 1 0.002799 0.01579 0.04707 0.06509 0.3672 1.094 json
t16_x8_u4_b5 16 8 4 5 add(P,cil(mod(R,R))) 81893 130253633 o2(x,o1(o2(x,x))) true 143151 143151 0.02734 0.5112 0.9359 0.9211 0.9597 -1 1 2 1 1.837 0.0008443 0.0001555 0.009093 0.689 1 -0.00001141 0.0001118 0.002469 0.0009174 0.03029 3.331 0.2338 0.001085 0.0001214 1 1 0.002463 0.03053 0.2535 0.002674 0.03315 0.2752 json
t16_x8_u4_b6 16 8 4 6 add(P,cil(lrg(R,R))) 81894 130253634 o2(x,o1(o2(x,x))) true 143159 143159 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t16_x8_u4_b7 16 8 4 7 add(P,cil(eql(R,R))) 81895 130253635 o2(x,o1(o2(x,x))) true 143167 143167 0.125 0.5625 0.9375 0.9084 0.9531 -1 1 2 1 1.8 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007771 0.00003562 1 1 0.001851 0.02449 0.2344 0.002038 0.02696 0.2581 json
t16_x8_u4_b8 16 8 4 8 add(P,cil(min(R,R))) 81896 130253636 o2(x,o1(o2(x,x))) true 143175 143175 0.06347 0.5253 0.9326 0.9159 0.9571 -1 1 2 1 1.84 0.0009772 0.0002573 0.009837 0.5831 1 -0.00001925 0.0001771 0.002995 0.001138 0.03373 3.429 0.2338 0.001348 0.0001934 1 1 0.003184 0.03819 0.2638 0.003476 0.0417 0.288 json
t16_x8_u4_b9 16 8 4 9 add(P,cil(dot(R,R))) 81897 130253637 o2(x,o1(o2(x,x))) true 143183 143183 0.2025 0.602 0.9365 0.8811 0.9387 -1 1 2 1 1.824 0.0009228 0.0002899 0.01018 0.5219 1 -0.000003565 0.0001403 0.002822 0.001109 0.0333 3.271 0.2338 0.001376 0.0001592 1 1 0.003042 0.03691 0.2425 0.003453 0.04189 0.2753 json
t16_x8_u4_b10 16 8 4 10 add(P,cil(dst(R,R))) 81898 130253638 o2(x,o1(o2(x,x))) true 143191 143191 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t16_x8_u4_b11 16 8 4 11 sub(P,cil(add(R,R))) 81899 130253639 o2(x,o1(o2(x,x))) true 143199 143199 -0.06905 0.4648 0.9397 0.9177 0.958 -1 1 2 1 1.9 0.002311 0.00153 0.01878 0.2033 1 0.00003353 0.000804 0.0066 0.003487 0.05905 3.144 0.453 0.004185 0.0008761 1 1 0.009054 0.09938 0.3242 0.009866 0.1083 0.3533 json