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
t17_x8_u3_b64 17 8 3 64 mod(P,dot(R,flr(R))) 104700 138374092 o2(x,o2(x,o1(x))) true 154407 154407 -0.3264 0.3376 0.602 0.3936 0.6274 -1 1 2 1 3.984 0.01864 0.01673 0.04851 0.05398 1 0.000002121 0.07021 0.06002 0.03301 0.1817 3.745 2.828 0.08984 0.1784 1 1 0.03718 0.1767 0.5904 0.09445 0.4489 1.5 json
t17_x8_u3_b65 17 8 3 65 mod(P,dst(R,flr(R))) 104701 138374093 o2(x,o2(x,o1(x))) true 154415 154415 -0.00405 0.4992 0.4845 0.3061 0.5533 -1 1 2 1 4.928 0.001241 0.000824 0.03572 0.2021 1 0.000006363 0.0001257 0.008246 0.0007893 0.02809 0.7864 0.1196 0.006746 0.0004105 1 1 0.004373 0.05627 0.2317 0.01428 0.1838 0.7569 json
t17_x8_u3_b66 17 8 3 66 lrg(P,add(R,flr(R))) 104702 138374094 o2(x,o2(x,o1(x))) true 154423 154423 0.5312 0.5988 0.5312 0.2351 0.4849 0 1 1 1 1.602 0.0004195 0.0002457 0.007798 0.2613 1 0.00001711 0.0000372 0.001876 0.0006046 0.02459 3.153 0.1169 0.00283 0.0001582 1 1 0.001801 0.02353 0.1025 0.007662 0.1001 0.4361 json
t17_x8_u3_b67 17 8 3 67 lrg(P,sub(R,flr(R))) 104703 138374095 o2(x,o2(x,o1(x))) true 154431 154431 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
t17_x8_u3_b68 17 8 3 68 lrg(P,mlt(R,flr(R))) 104704 138374096 o2(x,o2(x,o1(x))) true 154439 154439 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
t17_x8_u3_b69 17 8 3 69 lrg(P,div(R,flr(R))) 104705 138374097 o2(x,o2(x,o1(x))) true 154447 154447 0.2539 0.4689 0.2539 0.1405 0.3748 0 1 1 1 2.308 0.0009995 0.001206 0.02597 -0.09372 1 0.00002424 0.0001342 0.006355 0.001531 0.03913 1.507 0.1169 0.0157 0.0009553 1 1 0.00431 0.05599 0.1536 0.03069 0.3987 1.094 json
t17_x8_u3_b70 17 8 3 70 lrg(P,pow(R,flr(R))) 104706 138374098 o2(x,o2(x,o1(x))) true 154455 154455 0.6934 0.9524 0.6934 0.1555 0.3944 0 1 1 1 2.592 0.001277 0.001411 0.03137 -0.04994 1 0.00000498 0.0001518 0.007572 0.001705 0.04129 1.316 0.1169 0.01729 0.000976 1 1 0.005699 0.07303 0.1973 0.03664 0.4695 1.269 json
t17_x8_u3_b71 17 8 3 71 lrg(P,mod(R,flr(R))) 104707 138374099 o2(x,o2(x,o1(x))) true 154463 154463 0.7715 0.9593 0.7715 0.1331 0.3648 0 1 1 1 2.142 0.0008962 0.001126 0.02361 -0.1136 1 0.00001213 0.0001138 0.005698 0.001464 0.03826 1.621 0.1169 0.0152 0.0008552 1 1 0.003921 0.05008 0.16 0.02947 0.3764 1.202 json
t17_x8_u3_b72 17 8 3 72 lrg(P,lrg(R,flr(R))) 104708 138374100 o2(x,o2(x,o1(x))) true 154471 154471 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
t17_x8_u3_b73 17 8 3 73 lrg(P,eql(R,flr(R))) 104709 138374101 o2(x,o2(x,o1(x))) true 154479 154479 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
t17_x8_u3_b74 17 8 3 74 lrg(P,min(R,flr(R))) 104710 138374102 o2(x,o2(x,o1(x))) true 154487 154487 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
t17_x8_u3_b75 17 8 3 75 lrg(P,dot(R,flr(R))) 104711 138374103 o2(x,o2(x,o1(x))) true 154495 154495 0.4551 0.495 0.4551 0.2395 0.4894 0 1 1 1 1.396 0.0003287 0.00008768 0.004808 0.5788 1 -0.000005705 0.00002148 0.001143 0.0003931 0.01983 4.123 0.1169 0.001738 0.00008968 1 1 0.001058 0.01377 0.08292 0.004417 0.05749 0.3462 json
t17_x8_u3_b76 17 8 3 76 lrg(P,dst(R,flr(R))) 104712 138374104 o2(x,o2(x,o1(x))) true 154503 154503 0.4219 0.4601 0.4219 0.2357 0.4855 0 1 1 1 1.37 0.0003335 0.00007022 0.004643 0.6522 1 0.000005704 0.0000204 0.001099 0.0003821 0.01955 4.21 0.1169 0.001713 0.00008654 1 1 0.001014 0.01331 0.08412 0.004302 0.05646 0.3569 json
t17_x8_u3_b77 17 8 3 77 eql(P,add(R,flr(R))) 104713 138374105 o2(x,o2(x,o1(x))) true 154511 154511 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
t17_x8_u3_b78 17 8 3 78 eql(P,sub(R,flr(R))) 104714 138374106 o2(x,o2(x,o1(x))) true 154519 154519 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
t17_x8_u3_b79 17 8 3 79 eql(P,mlt(R,flr(R))) 104715 138374107 o2(x,o2(x,o1(x))) true 154527 154527 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
t17_x8_u3_b80 17 8 3 80 eql(P,div(R,flr(R))) 104716 138374108 o2(x,o2(x,o1(x))) true 154535 154535 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
t17_x8_u3_b81 17 8 3 81 eql(P,pow(R,flr(R))) 104717 138374109 o2(x,o2(x,o1(x))) true 154543 154543 0.03906 0.1129 0.03906 0.02579 0.1606 0 0.9997 0.9997 1 0.6726 0.0003997 0.0001755 0.006718 0.3898 1 -0.00001141 0.00003128 0.001608 0.0005302 0.02303 3.427 0.1169 0.0223 0.001213 1 1 0.001425 0.01841 0.04273 0.05526 0.7139 1.657 json
t17_x8_u3_b82 17 8 3 82 eql(P,mod(R,flr(R))) 104718 138374110 o2(x,o2(x,o1(x))) true 154551 154551 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
t17_x8_u3_b83 17 8 3 83 eql(P,lrg(R,flr(R))) 104719 138374111 o2(x,o2(x,o1(x))) true 154559 154559 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
t17_x8_u3_b84 17 8 3 84 eql(P,eql(R,flr(R))) 104720 138374112 o2(x,o2(x,o1(x))) true 154567 154567 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
t17_x8_u3_b85 17 8 3 85 eql(P,min(R,flr(R))) 104721 138374113 o2(x,o2(x,o1(x))) true 154575 154575 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
t17_x8_u3_b86 17 8 3 86 eql(P,dot(R,flr(R))) 104722 138374114 o2(x,o2(x,o1(x))) true 154583 154583 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
t17_x8_u3_b87 17 8 3 87 eql(P,dst(R,flr(R))) 104723 138374115 o2(x,o2(x,o1(x))) true 154591 154591 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
t17_x8_u3_b88 17 8 3 88 min(P,add(R,flr(R))) 104724 138374116 o2(x,o2(x,o1(x))) true 154599 154599 -0.6951 0.1516 0.8245 0.2864 0.5351 -1 0.9804 1.98 1 2.426 0.003918 0.003986 0.04489 -0.008672 1 0.00006254 0.001229 0.01409 0.005888 0.07673 1.709 0.3359 0.0276 0.004292 1 1 0.01551 0.1786 0.4402 0.05416 0.6238 1.537 json
t17_x8_u3_b89 17 8 3 89 min(P,sub(R,flr(R))) 104725 138374117 o2(x,o2(x,o1(x))) true 154607 154607 -0.2182 0.4996 0.7193 0.5696 0.7547 -1 0.997 1.997 1 3.336 0.0007906 0.0003237 0.01988 0.419 1 0.00002617 0.0000591 0.004553 0.0007192 0.02682 1.349 0.1169 0.001957 0.0001038 1 1 0.00233 0.03055 0.1925 0.004091 0.05364 0.3381 json
t17_x8_u3_b90 17 8 3 90 min(P,mlt(R,flr(R))) 104726 138374118 o2(x,o2(x,o1(x))) true 154615 154615 -0.3475 0.4603 0.59 0.4013 0.6335 -1 0.9987 1.999 1 3.059 0.000702 0.0004525 0.01925 0.2161 1 0.000002015 0.00006478 0.004541 0.0007839 0.028 1.455 0.1169 0.002877 0.0001614 1 1 0.002326 0.03036 0.1413 0.005796 0.07566 0.3521 json
t17_x8_u3_b91 17 8 3 91 min(P,div(R,flr(R))) 104727 138374119 o2(x,o2(x,o1(x))) true 154623 154623 -0.07669 0.4997 0.8608 0.8098 0.8999 -1 1 2 1 2.734 0.001565 0.001181 0.02184 0.1398 1 -0.0001649 0.001198 0.01081 0.00227 0.04765 2.182 0.4624 0.003392 0.001479 1 1 0.005124 0.05091 0.2429 0.006328 0.06287 0.3 json
t17_x8_u3_b92 17 8 3 92 min(P,pow(R,flr(R))) 104728 138374120 o2(x,o2(x,o1(x))) true 154631 154631 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
t17_x8_u3_b93 17 8 3 93 min(P,mod(R,flr(R))) 104729 138374121 o2(x,o2(x,o1(x))) true 154639 154639 -0.2777 0.3284 0.8216 0.6906 0.831 -1 1 2 1 3.031 0.005127 0.006144 0.04479 -0.09019 1 -0.0002196 0.004279 0.02121 0.009268 0.09627 2.149 0.7315 0.01632 0.006197 1 1 0.01905 0.1855 0.4643 0.02759 0.2686 0.6724 json
t17_x8_u3_b94 17 8 3 94 min(P,lrg(R,flr(R))) 104730 138374122 o2(x,o2(x,o1(x))) true 154647 154647 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
t17_x8_u3_b95 17 8 3 95 min(P,eql(R,flr(R))) 104731 138374123 o2(x,o2(x,o1(x))) true 154655 154655 -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
t17_x8_u3_b96 17 8 3 96 min(P,min(R,flr(R))) 104732 138374124 o2(x,o2(x,o1(x))) true 154663 154663 -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
t17_x8_u3_b97 17 8 3 97 min(P,dot(R,flr(R))) 104733 138374125 o2(x,o2(x,o1(x))) true 154671 154671 -0.1436 0.4979 0.7939 0.7074 0.841 -1 1 2 1 3.183 0.0009782 0.0007787 0.0222 0.1136 1 -0.00001113 0.000227 0.006323 0.001264 0.03556 1.602 0.2343 0.002484 0.0003209 1 1 0.003712 0.04522 0.2273 0.005247 0.06393 0.3213 json
t17_x8_u3_b98 17 8 3 98 min(P,dst(R,flr(R))) 104734 138374126 o2(x,o2(x,o1(x))) true 154679 154679 -0.04862 0.4999 0.8889 0.841 0.9171 -1 1 2 1 2.712 0.0008544 0.000187 0.01553 0.6409 1 -0.000009009 0.00008478 0.004245 0.0008 0.02828 1.822 0.1169 0.001238 0.0001008 1 1 0.002465 0.03162 0.2343 0.002931 0.03759 0.2786 json
t17_x8_u3_b99 17 8 3 99 dot(P,add(R,flr(R))) 104735 138374127 o2(x,o2(x,o1(x))) true 154687 154687 -0.07515 0.4641 0.9202 0.8884 0.9425 -1 1 2 1 2.179 0.03886 0.0509 0.1043 -0.1342 1 -0.00002047 0.1123 0.1085 0.07891 0.2809 2.694 2.455 0.101 0.1264 1 1 0.1131 0.7216 1.633 0.1273 0.8123 1.838 json
t17_x8_u3_b100 17 8 3 100 dot(P,sub(R,flr(R))) 104736 138374128 o2(x,o2(x,o1(x))) true 154695 154695 -0.03763 0.4839 0.8891 0.8516 0.9228 -1 1 2 1 2.527 0.005566 0.006929 0.03921 -0.1091 1 -0.00002621 0.005526 0.01929 0.01095 0.1047 2.669 1.216 0.01467 0.006489 1 1 0.01695 0.1715 0.5017 0.0199 0.2014 0.5892 json
t17_x8_u3_b101 17 8 3 101 dot(P,mlt(R,flr(R))) 104737 138374129 o2(x,o2(x,o1(x))) true 154703 154703 0.04086 0.5052 0.6805 0.6118 0.7822 -1 1 2 1 3.73 0.007199 0.01036 0.06382 -0.18 1 0.00003714 0.008427 0.03355 0.01349 0.1161 1.82 1.137 0.0287 0.01377 1 1 0.02431 0.2195 0.5739 0.03973 0.3589 0.9381 json
t17_x8_u3_b102 17 8 3 102 dot(P,div(R,flr(R))) 104738 138374130 o2(x,o2(x,o1(x))) true 154711 154711 -0.9696 0.01563 0.9991 0.05866 0.2422 -1 1 2 1 0.128 0.006677 0.005153 0.006262 0.1289 1 -6.007e-11 0.02467 0.0123 0.01179 0.1086 17.34 2.828 0.2017 0.4206 1 1 0.009361 0.04226 0.1242 0.1596 0.7205 2.117 json
t17_x8_u3_b103 17 8 3 103 dot(P,pow(R,flr(R))) 104739 138374131 o2(x,o2(x,o1(x))) true 154719 154719 -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
t17_x8_u3_b104 17 8 3 104 dot(P,mod(R,flr(R))) 104740 138374132 o2(x,o2(x,o1(x))) true 154727 154727 -0.9991 0 0.9991 0.0006508 0.02551 -1 -0.05746 0.9425 1 0.02074 0.00008442 0.0002349 0.0005451 -0.4712 1 0 0.0006356 0.0008044 0.0003189 0.01786 32.76 0.9425 0.4906 0.9766 1 1 0.0006162 0.001779 0.002366 0.9468 2.733 3.636 json
t17_x8_u3_b105 17 8 3 105 dot(P,lrg(R,flr(R))) 104741 138374133 o2(x,o2(x,o1(x))) true 154735 154735 -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-8 1 -4.43e-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
t17_x8_u3_b106 17 8 3 106 dot(P,eql(R,flr(R))) 104742 138374134 o2(x,o2(x,o1(x))) true 154743 154743 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
t17_x8_u3_b107 17 8 3 107 dot(P,min(R,flr(R))) 104743 138374135 o2(x,o2(x,o1(x))) true 154751 154751 -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
t17_x8_u3_b108 17 8 3 108 dot(P,dot(R,flr(R))) 104744 138374136 o2(x,o2(x,o1(x))) true 154759 154759 0.007136 0.4962 0.8655 0.8328 0.9126 -1 1 2 1 2.528 0.001749 0.002235 0.02322 -0.1221 1 0.00002015 0.001989 0.01253 0.003443 0.05868 2.527 0.578 0.004784 0.002389 1 1 0.008375 0.07381 0.3363 0.01006 0.08864 0.4038 json
t17_x8_u3_b109 17 8 3 109 dot(P,dst(R,flr(R))) 104745 138374137 o2(x,o2(x,o1(x))) true 154767 154767 -0.002603 0.4994 0.9299 0.9091 0.9535 -1 1 2 1 2.023 0.0007267 0.0007083 0.0126 0.01278 1 0.000003306 0.000251 0.003944 0.001277 0.03573 2.836 0.2349 0.001578 0.0002761 1 1 0.003579 0.0425 0.3817 0.003936 0.04675 0.4199 json
t17_x8_u3_b110 17 8 3 110 dst(P,add(R,flr(R))) 104746 138374138 o2(x,o2(x,o1(x))) true 154775 154775 0.9987 1 0.9987 0.0003995 0.01999 0.4917 1 0.5083 1 0.05666 0.00001954 0.00003629 0.0005215 -0.2999 0 0 0.00003576 0.0004355 0.00005554 0.007452 14.29 0.2096 0.1397 0.08951 1 1 0.0001701 0.001085 0.001384 0.4258 2.715 3.463 json
t17_x8_u3_b111 17 8 3 111 dst(P,sub(R,flr(R))) 104747 138374139 o2(x,o2(x,o1(x))) true 154783 154783 0.9991 1 0.9991 0.0002317 0.01522 0.5927 1 0.4073 1 0.04326 0.00000751 0.000009797 0.0002646 -0.1321 0 -8.635e-11 0.00000692 0.0001492 0.00001726 0.004154 15.7 0.1355 0.0747 0.02987 1 1 0.00005585 0.000499 0.0008438 0.2411 2.154 3.642 json
t17_x8_u3_b112 17 8 3 112 dst(P,mlt(R,flr(R))) 104748 138374140 o2(x,o2(x,o1(x))) true 154791 154791 0.9992 1 0.9992 0.0001464 0.0121 0.7292 1 0.2708 1 0.05141 0.000003344 0.000006445 0.0002226 -0.3168 0 7.509e-11 0.000004022 0.0001297 0.000009744 0.003122 14.03 0.06927 0.06688 0.02748 1 1 0.00003151 0.0002752 0.0005332 0.2153 1.881 3.643 json
t17_x8_u3_b113 17 8 3 113 dst(P,div(R,flr(R))) 104749 138374141 o2(x,o2(x,o1(x))) true 154799 154799 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.002016 0.002016 0.001997 0 1 0 0.008566 0.004031 0.004027 0.06346 31.77 2.828 0.259 0.5504 1 1 0.005983 0.02659 0.05407 0.3844 1.709 3.474 json
t17_x8_u3_b114 17 8 3 114 dst(P,pow(R,flr(R))) 104750 138374142 o2(x,o2(x,o1(x))) true 154807 154807 -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
t17_x8_u3_b115 17 8 3 115 dst(P,mod(R,flr(R))) 104751 138374143 o2(x,o2(x,o1(x))) true 154815 154815 -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
t17_x8_u3_b116 17 8 3 116 dst(P,lrg(R,flr(R))) 104752 138374144 o2(x,o2(x,o1(x))) true 154823 154823 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
t17_x8_u3_b117 17 8 3 117 dst(P,eql(R,flr(R))) 104753 138374145 o2(x,o2(x,o1(x))) true 154831 154831 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
t17_x8_u3_b118 17 8 3 118 dst(P,min(R,flr(R))) 104754 138374146 o2(x,o2(x,o1(x))) true 154839 154839 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
t17_x8_u3_b119 17 8 3 119 dst(P,dot(R,flr(R))) 104755 138374147 o2(x,o2(x,o1(x))) true 154847 154847 0.9998 1 0.9998 0.00002179 0.004668 0.8278 1 0.1722 1 0.01561 0.000001805 0.000001514 0.00007716 0.0878 0 -4.13e-11 0.000002088 0.00006181 0.000003311 0.00182 23.58 0.07749 0.1524 0.09586 1 1 0.00001024 0.00006989 0.00007927 0.4702 3.208 3.639 json
t17_x8_u3_b120 17 8 3 120 dst(P,dst(R,flr(R))) 104756 138374148 o2(x,o2(x,o1(x))) true 154855 154855 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
t17_x8_u4_b0 17 8 4 0 add(P,add(R,cil(R))) 104757 138374229 o2(x,o2(x,o1(x))) true 154863 154863 0.06641 0.5306 0.9431 0.9188 0.9585 -1 1 2 1 1.911 0.001967 0.001222 0.01594 0.2337 1 -0.00003689 0.0007106 0.006124 0.002936 0.05418 3.398 0.4156 0.003471 0.0007734 1 1 0.007671 0.08204 0.3495 0.008349 0.08929 0.3804 json
t17_x8_u4_b1 17 8 4 1 add(P,sub(R,cil(R))) 104758 138374230 o2(x,o2(x,o1(x))) true 154871 154871 -0.05913 0.4688 0.9462 0.921 0.9597 -1 1 2 1 1.957 0.0007926 0.00006667 0.008755 0.8448 1 -0.000004072 0.00009892 0.002616 0.0007824 0.02797 3.195 0.2212 0.000933 0.0001074 1 1 0.002177 0.02654 0.2382 0.002364 0.02882 0.2586 json
t17_x8_u4_b2 17 8 4 2 add(P,mlt(R,cil(R))) 104759 138374231 o2(x,o2(x,o1(x))) true 154879 154879 0.03591 0.5157 0.934 0.915 0.9565 -1 1 2 1 1.928 0.0008448 0.0001097 0.009061 0.7702 1 -0.00001059 0.0001461 0.002762 0.000873 0.02955 3.261 0.2201 0.001043 0.0001597 1 1 0.002389 0.02876 0.2421 0.002611 0.03144 0.2646 json
t17_x8_u4_b3 17 8 4 3 add(P,div(R,cil(R))) 104760 138374232 o2(x,o2(x,o1(x))) true 154887 154887 -0.8614 0.06873 0.9945 0.2507 0.5007 -1 1 2 1 0.4692 0.03004 0.03218 0.03216 -0.03435 1 -2.102e-10 0.1319 0.06375 0.06115 0.2473 7.69 2.828 0.2482 0.526 1 1 0.0591 0.2461 0.4998 0.2357 0.9816 1.993 json
t17_x8_u4_b4 17 8 4 4 add(P,pow(R,cil(R))) 104761 138374233 o2(x,o2(x,o1(x))) true 154895 154895 0.09834 0.5459 0.9373 0.9093 0.9536 -1 1 2 1 1.922 0.0007587 0.00008866 0.008855 0.7907 1 0.000005046 0.00008534 0.002367 0.0007693 0.02774 3.132 0.2334 0.0009319 0.00009386 1 1 0.002224 0.0283 0.2394 0.002446 0.03112 0.2633 json
t17_x8_u4_b5 17 8 4 5 add(P,mod(R,cil(R))) 104762 138374234 o2(x,o2(x,o1(x))) true 154903 154903 -0.9786 0.01013 0.9945 0.03496 0.187 -1 1 2 1 0.1782 0.00247 0.00421 0.004667 -0.2604 1 -2.102e-10 0.01381 0.008228 0.006658 0.08159 17.49 2.828 0.1911 0.395 1 1 0.001785 0.01055 0.03441 0.05107 0.3019 0.9843 json
t17_x8_u4_b6 17 8 4 6 add(P,lrg(R,cil(R))) 104763 138374235 o2(x,o2(x,o1(x))) true 154911 154911 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
t17_x8_u4_b7 17 8 4 7 add(P,eql(R,cil(R))) 104764 138374236 o2(x,o2(x,o1(x))) true 154919 154919 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
t17_x8_u4_b8 17 8 4 8 add(P,min(R,cil(R))) 104765 138374237 o2(x,o2(x,o1(x))) true 154927 154927 0.003757 0.4974 0.9428 0.9208 0.9596 -1 1 2 1 1.952 0.001169 0.000358 0.0111 0.5311 1 -0.00002042 0.0002765 0.003741 0.001403 0.03746 3.374 0.312 0.001658 0.0003002 1 1 0.003726 0.04331 0.2691 0.004046 0.04703 0.2923 json
t17_x8_u4_b9 17 8 4 9 add(P,dot(R,cil(R))) 104766 138374238 o2(x,o2(x,o1(x))) true 154935 154935 0.1004 0.5528 0.9397 0.9079 0.9528 -1 1 2 1 1.992 0.001047 0.0003876 0.01122 0.4597 1 -0.00001305 0.0002336 0.003727 0.001308 0.03617 3.224 0.2826 0.00158 0.0002573 1 1 0.003462 0.04011 0.253 0.003814 0.04417 0.2786 json
t17_x8_u4_b10 17 8 4 10 add(P,dst(R,cil(R))) 104767 138374239 o2(x,o2(x,o1(x))) true 154943 154943 0.1171 0.557 0.9445 0.9117 0.9548 -1 1 2 1 1.914 0.0007908 0.0001327 0.009128 0.7126 1 0.00001067 0.00008237 0.002445 0.0008406 0.02899 3.176 0.2107 0.001013 0.00009035 1 1 0.002287 0.02866 0.2471 0.002509 0.03144 0.271 json
t17_x8_u4_b11 17 8 4 11 sub(P,add(R,cil(R))) 104768 138374240 o2(x,o2(x,o1(x))) true 154951 154951 -0.06853 0.4675 0.9387 0.9118 0.9549 -1 1 2 1 1.998 0.002148 0.001335 0.01804 0.2336 1 0.00003495 0.000729 0.006682 0.003156 0.05618 3.115 0.4362 0.00382 0.0007995 1 1 0.008651 0.09337 0.3196 0.009487 0.1024 0.3505 json
t17_x8_u4_b12 17 8 4 12 sub(P,sub(R,cil(R))) 104769 138374241 o2(x,o2(x,o1(x))) true 154959 154959 0.06113 0.5318 0.944 0.9183 0.9583 -1 1 2 1 1.974 0.0007819 0.00007526 0.008857 0.8244 1 0.000004385 0.00009775 0.002593 0.0007792 0.02791 3.152 0.2164 0.0009334 0.0001064 1 1 0.002182 0.02655 0.2369 0.002376 0.02891 0.258 json
t17_x8_u4_b13 17 8 4 13 sub(P,mlt(R,cil(R))) 104770 138374242 o2(x,o2(x,o1(x))) true 154967 154967 -0.03855 0.4838 0.9296 0.9098 0.9538 -1 1 2 1 1.954 0.0008378 0.0001186 0.009138 0.7519 1 0.0000112 0.000146 0.002785 0.0008733 0.02955 3.234 0.2161 0.001051 0.0001605 1 1 0.002447 0.02935 0.2345 0.00269 0.03226 0.2578 json
t17_x8_u4_b14 17 8 4 14 sub(P,div(R,cil(R))) 104771 138374243 o2(x,o2(x,o1(x))) true 154975 154975 -0.9881 0.005371 0.9964 0.01909 0.1382 -1 1 2 1 0.11 0.001412 0.002239 0.002542 -0.2263 1 -5.256e-11 0.007608 0.004546 0.003643 0.06036 23.74 2 0.1913 0.3985 1 1 0.0001863 0.001323 0.01658 0.00976 0.06929 0.8683 json
t17_x8_u4_b15 17 8 4 15 sub(P,pow(R,cil(R))) 104772 138374244 o2(x,o2(x,o1(x))) true 154983 154983 -0.0981 0.4553 0.9376 0.9093 0.9536 -1 1 2 1 1.912 0.000768 0.0001004 0.008951 0.7688 1 -0.000007156 0.00009666 0.002441 0.0007882 0.02808 3.136 0.1988 0.0009549 0.0001063 1 1 0.002258 0.02825 0.2363 0.002483 0.03106 0.2598 json
t17_x8_u4_b16 17 8 4 16 sub(P,mod(R,cil(R))) 104773 138374245 o2(x,o2(x,o1(x))) true 154991 154991 -0.9881 0.005371 0.9964 0.01909 0.1382 -1 1 2 1 0.11 0.001412 0.002239 0.002542 -0.2263 1 -5.256e-11 0.007608 0.004546 0.003643 0.06036 23.74 2 0.1913 0.3985 1 1 0.0001863 0.001323 0.01658 0.00976 0.06929 0.8683 json
t17_x8_u4_b17 17 8 4 17 sub(P,lrg(R,cil(R))) 104774 138374246 o2(x,o2(x,o1(x))) true 154999 154999 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
t17_x8_u4_b18 17 8 4 18 sub(P,eql(R,cil(R))) 104775 138374247 o2(x,o2(x,o1(x))) true 155007 155007 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
t17_x8_u4_b19 17 8 4 19 sub(P,min(R,cil(R))) 104776 138374248 o2(x,o2(x,o1(x))) true 155015 155015 -0.004612 0.5032 0.9368 0.913 0.9555 -1 1 2 1 2.013 0.001147 0.000385 0.01159 0.4976 1 0.00002051 0.0002745 0.003871 0.001399 0.0374 3.228 0.3332 0.001679 0.0003007 1 1 0.003782 0.0437 0.2627 0.004142 0.04787 0.2877 json
t17_x8_u4_b20 17 8 4 20 sub(P,dot(R,cil(R))) 104777 138374249 o2(x,o2(x,o1(x))) true 155023 155023 -0.1056 0.4414 0.9338 0.9007 0.9491 -1 1 2 1 2.013 0.001018 0.0002718 0.0109 0.5785 1 0.00001339 0.0002099 0.003539 0.001171 0.03422 3.138 0.3024 0.001432 0.000233 1 1 0.003306 0.03856 0.2475 0.003671 0.04281 0.2748 json
t17_x8_u4_b21 17 8 4 21 sub(P,dst(R,cil(R))) 104778 138374250 o2(x,o2(x,o1(x))) true 155031 155031 -0.1129 0.4492 0.9436 0.9104 0.9541 -1 1 2 1 1.943 0.0008067 0.00008459 0.00883 0.8102 1 -0.000004973 0.00008479 0.002449 0.0008129 0.02851 3.229 0.2386 0.000979 0.00009314 1 1 0.002311 0.02912 0.2435 0.002539 0.03199 0.2675 json
t17_x8_u4_b22 17 8 4 22 mlt(P,add(R,cil(R))) 104779 138374251 o2(x,o2(x,o1(x))) true 155039 155039 -0.03939 0.4854 0.8278 0.7803 0.8834 -1 1 2 1 2.977 0.02571 0.03187 0.09683 -0.107 1 -0.00003876 0.05021 0.07499 0.04818 0.2195 2.267 1.847 0.07378 0.06434 1 1 0.07804 0.5629 1.175 0.1 0.7213 1.505 json
t17_x8_u4_b23 17 8 4 23 mlt(P,sub(R,cil(R))) 104780 138374252 o2(x,o2(x,o1(x))) true 155047 155047 -0.005475 0.4982 0.8098 0.7547 0.8687 -1 1 2 1 3.213 0.001172 0.000966 0.02091 0.09641 1 0.00005642 0.0008053 0.00952 0.001701 0.04124 1.972 0.4146 0.002833 0.001067 1 1 0.004054 0.04039 0.1625 0.005372 0.05352 0.2154 json
t17_x8_u4_b24 17 8 4 24 mlt(P,mlt(R,cil(R))) 104781 138374253 o2(x,o2(x,o1(x))) true 155055 155055 -0.02916 0.4518 0.5018 0.4305 0.6561 -1 1 2 1 3.931 0.003301 0.003909 0.0465 -0.08424 1 -0.00004036 0.00269 0.02141 0.005048 0.07105 1.528 0.4662 0.01675 0.006249 1 1 0.01244 0.1217 0.3088 0.0289 0.2827 0.7172 json
t17_x8_u4_b25 17 8 4 25 mlt(P,div(R,cil(R))) 104782 138374254 o2(x,o2(x,o1(x))) true 155063 155063 -0.9202 0.03906 0.9936 0.1445 0.3802 -1 1 2 1 0.3922 0.0171 0.01719 0.01857 -0.002484 1 -3.004e-10 0.07251 0.03623 0.03394 0.1842 9.921 2.828 0.2372 0.5017 1 1 0.03089 0.1302 0.2913 0.2137 0.9009 2.015 json
t17_x8_u4_b26 17 8 4 26 mlt(P,pow(R,cil(R))) 104783 138374255 o2(x,o2(x,o1(x))) true 155071 155071 0.00207 0.4997 0.9039 0.8767 0.9363 -1 1 2 1 2.364 0.0008994 0.0003834 0.01288 0.4023 1 0.00002448 0.000472 0.005839 0.001117 0.03341 2.595 0.3971 0.001463 0.0005384 1 1 0.002628 0.02843 0.2089 0.002997 0.03243 0.2383 json
t17_x8_u4_b27 17 8 4 27 mlt(P,mod(R,cil(R))) 104784 138374256 o2(x,o2(x,o1(x))) true 155079 155079 -0.9827 0.007813 0.9936 0.02546 0.1596 -1 1 2 1 0.2102 0.001985 0.003078 0.004087 -0.2159 1 0 0.01053 0.007007 0.005047 0.07104 17.38 2.64 0.1988 0.4134 1 1 0.0008043 0.004724 0.02358 0.03159 0.1855 0.9259 json
t17_x8_u4_b28 17 8 4 28 mlt(P,lrg(R,cil(R))) 104785 138374257 o2(x,o2(x,o1(x))) true 155087 155087 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
t17_x8_u4_b29 17 8 4 29 mlt(P,eql(R,cil(R))) 104786 138374258 o2(x,o2(x,o1(x))) true 155095 155095 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
t17_x8_u4_b30 17 8 4 30 mlt(P,min(R,cil(R))) 104787 138374259 o2(x,o2(x,o1(x))) true 155103 155103 -0.0623 0.4686 0.7239 0.644 0.8025 -1 1 2 1 3.79 0.01645 0.01963 0.09244 -0.08822 1 -0.00004552 0.0199 0.04926 0.02753 0.1659 1.795 1.466 0.05602 0.0309 1 1 0.05074 0.4449 1.04 0.07878 0.6908 1.616 json
t17_x8_u4_b31 17 8 4 31 mlt(P,dot(R,cil(R))) 104788 138374260 o2(x,o2(x,o1(x))) true 155111 155111 -0.01453 0.4979 0.8336 0.7951 0.8917 -1 1 2 1 2.803 0.00301 0.002034 0.02814 0.1934 1 -0.00006802 0.002575 0.01601 0.004253 0.06521 2.317 0.5632 0.006344 0.003239 1 1 0.007776 0.06763 0.2582 0.00978 0.08506 0.3248 json
t17_x8_u4_b32 17 8 4 32 mlt(P,dst(R,cil(R))) 104789 138374261 o2(x,o2(x,o1(x))) true 155119 155119 -0.003293 0.4998 0.918 0.8969 0.9471 -1 1 2 1 2.106 0.0006816 0.0001055 0.008997 0.732 1 -8.444e-7 0.0001329 0.002969 0.0007057 0.02657 2.953 0.184 0.0008776 0.0001482 1 1 0.001884 0.02197 0.2085 0.0021 0.02449 0.2324 json
t17_x8_u4_b33 17 8 4 33 div(P,add(R,cil(R))) 104790 138374262 o2(x,o2(x,o1(x))) true 155127 155127 -0.07162 0.4646 0.8776 0.841 0.9171 -1 1 2 1 2.463 0.04009 0.04979 0.1001 -0.108 1 -0.0001293 0.1244 0.1076 0.07989 0.2827 2.823 2.828 0.1069 0.1479 1 1 0.1095 0.6468 1.367 0.1302 0.7691 1.625 json
t17_x8_u4_b34 17 8 4 34 div(P,sub(R,cil(R))) 104791 138374263 o2(x,o2(x,o1(x))) true 155135 155135 -0.0006388 0.5 0.9647 0.9586 0.9791 -1 1 2 1 1.449 0.001861 0.00007878 0.008152 0.9188 1 -9.61e-7 0.001031 0.005283 0.001874 0.04329 5.311 0.5829 0.002024 0.001076 1 1 0.004454 0.03818 0.2834 0.004647 0.03983 0.2957 json
t17_x8_u4_b35 17 8 4 35 div(P,mlt(R,cil(R))) 104792 138374264 o2(x,o2(x,o1(x))) true 155143 155143 -0.9219 0.03906 0.9967 0.1462 0.3823 -1 1 2 1 0.2928 0.01719 0.01738 0.01784 -0.005302 1 -4.505e-11 0.07308 0.03516 0.03426 0.1851 10.37 2.828 0.2365 0.4999 1 1 0.03077 0.1302 0.2916 0.2105 0.891 1.995 json
t17_x8_u4_b36 17 8 4 36 div(P,div(R,cil(R))) 104793 138374265 o2(x,o2(x,o1(x))) true 155151 155151 -0.003385 0.4608 0.7055 0.6744 0.8212 -1 1 2 1 2.891 0.00736 0.009032 0.0503 -0.102 1 -0.000408 0.01575 0.04304 0.01386 0.1177 2.34 0.9915 0.02431 0.02335 1 1 0.02563 0.1688 0.4237 0.038 0.2503 0.6284 json
t17_x8_u4_b37 17 8 4 37 div(P,pow(R,cil(R))) 104794 138374266 o2(x,o2(x,o1(x))) true 155159 155159 0.0001727 0.5 0.9503 0.9405 0.9698 -1 1 2 1 1.65 0.001487 0.0001514 0.008243 0.8152 1 2.073e-10 0.001482 0.004073 0.001571 0.03963 4.808 0.9877 0.001742 0.001576 1 1 0.00383 0.03472 0.2686 0.004072 0.03691 0.2855 json
t17_x8_u4_b38 17 8 4 38 div(P,mod(R,cil(R))) 104795 138374267 o2(x,o2(x,o1(x))) true 155167 155167 -0.9844 0.007813 0.9967 0.02706 0.1645 -1 1 2 1 0.1147 0.002077 0.003268 0.00336 -0.2228 1 -4.505e-11 0.0111 0.005937 0.005334 0.07303 21.74 2.828 0.1976 0.4101 1 1 0.0006855 0.004763 0.02389 0.02534 0.176 0.8831 json
t17_x8_u4_b39 17 8 4 39 div(P,lrg(R,cil(R))) 104796 138374268 o2(x,o2(x,o1(x))) true 155175 155175 -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
t17_x8_u4_b40 17 8 4 40 div(P,eql(R,cil(R))) 104797 138374269 o2(x,o2(x,o1(x))) true 155183 155183 -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
t17_x8_u4_b41 17 8 4 41 div(P,min(R,cil(R))) 104798 138374270 o2(x,o2(x,o1(x))) true 155191 155191 -0.04277 0.4804 0.9246 0.9053 0.9514 -1 1 2 1 1.97 0.06363 0.07955 0.1129 -0.1112 1 -0.000001092 0.2829 0.1607 0.1304 0.3611 3.2 2.828 0.1582 0.3125 1 1 0.162 0.8287 1.855 0.1789 0.9154 2.049 json
t17_x8_u4_b42 17 8 4 42 div(P,dot(R,cil(R))) 104799 138374271 o2(x,o2(x,o1(x))) true 155199 155199 -0.3467 0.3281 0.9492 0.8172 0.904 -1 1 2 1 1.605 0.03863 0.03729 0.04559 0.01754 1 7.497e-7 0.1571 0.08001 0.07388 0.2718 5.962 2.828 0.0929 0.1923 1 1 0.07155 0.3245 0.9521 0.08755 0.3971 1.165 json