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
t10_x2_u3_b3 10 2 3 3 sqt(flr(div(P,R))) 10600 81287418 o1(o1(o2(x,x))) true 84807 84807 -0.8728 0.07031 0.9866 0.2222 0.4714 -1 1 2 1 0.5005 0.01915 0.01926 0.02257 -0.002786 1 3.754e-12 0.07956 0.04213 0.03788 0.1946 8.623 2.828 0.1729 0.3581 1 1 0 0 0.03678 0 0 0.1655 json
t10_x2_u3_b4 10 2 3 4 sqt(flr(pow(P,R))) 10601 81287419 o1(o1(o2(x,x))) true 84815 84815 -0.3088 0.4158 0.785 0.6521 0.8075 -1 1 2 1 2.454 0.01423 0.00492 0.03342 0.4862 1 -0.00004721 0.03435 0.0259 0.01803 0.1343 4.018 2.828 0.02937 0.05268 1 1 0 0 0.02715 0 0 0.04163 json
t10_x2_u3_b5 10 2 3 5 sqt(flr(mod(P,R))) 10602 81287420 o1(o1(o2(x,x))) true 84823 84823 -0.5 0 0.5 0.25 0.5 -1 0 1 1 1 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01587 0.03175 1 1 0 0 0.005263 0 0 0.02105 json
t10_x2_u3_b6 10 2 3 6 sqt(flr(lrg(P,R))) 10603 81287421 o1(o1(o2(x,x))) true 84831 84831 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 0 0.001146 0 0 0.004753 json
t10_x2_u3_b7 10 2 3 7 sqt(flr(eql(P,R))) 10604 81287422 o1(o1(o2(x,x))) true 84839 84839 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
t10_x2_u3_b8 10 2 3 8 sqt(flr(min(P,R))) 10605 81287423 o1(o1(o2(x,x))) true 84847 84847 -0.9922 0 0.9922 0.007751 0.08804 -1 0 1 1 0.06591 0.0007559 0.0009448 0.001691 -0.1111 1 0 0.00359 0.003401 0.001698 0.0412 24.36 1.414 0.2194 0.4632 1 1 0 0 0.0002216 0 0 0.02859 json
t10_x2_u3_b9 10 2 3 9 sqt(flr(dot(P,R))) 10606 81287424 o1(o1(o2(x,x))) true 84855 84855 -0.9271 0.0426 0.987 0.1253 0.3539 -1 1 2 1 0.3609 0.01379 0.01222 0.01605 0.06034 1 2.403e-10 0.05426 0.02919 0.02575 0.1605 9.999 2.828 0.2077 0.4331 1 1 0 0 0.02992 0 0 0.2388 json
t10_x2_u3_b10 10 2 3 10 sqt(flr(dst(P,R))) 10607 81287425 o1(o1(o2(x,x))) true 84863 84863 0.9868 1 0.9868 0.008949 0.0946 0.000291 1 0.9997 1 0.2625 0.0001169 0.0001677 0.002636 -0.1784 1 2.253e-11 0.00004417 0.0008424 0.0002779 0.01667 6.324 0.2024 0.0318 0.004936 1 1 0 0 0.0009713 0 0 0.1085 json
t10_x2_u4_b0 10 2 4 0 sqt(cil(add(P,R))) 10608 81287616 o1(o1(o2(x,x))) true 84871 84871 0.008356 0.5113 0.9693 0.9642 0.9819 -1 1 2 1 1.355 0.007927 0.002986 0.01049 0.4528 1 -0.000004755 0.0219 0.01539 0.01081 0.104 9.911 2.828 0.01132 0.02271 1 1 0 0 0.01545 0 0 0.01603 json
t10_x2_u4_b1 10 2 4 1 sqt(cil(sub(P,R))) 10609 81287617 o1(o1(o2(x,x))) true 84879 84879 0.003417 0.5113 0.98 0.9758 0.9878 -1 1 2 1 1.289 0.009179 0.001781 0.009748 0.6751 1 9.778e-7 0.0218 0.0146 0.01087 0.1043 10.7 2.828 0.01123 0.02234 1 1 0 0 0.01391 0 0 0.01426 json
t10_x2_u4_b2 10 2 4 2 sqt(cil(mlt(P,R))) 10610 81287618 o1(o1(o2(x,x))) true 84887 84887 -0.5931 0.2379 0.8757 0.5057 0.7111 -1 1 2 1 1.627 0.03318 0.02909 0.04391 0.06559 1 -0.00001667 0.1275 0.06942 0.06036 0.2457 5.595 2.828 0.1231 0.2522 1 1 0 0 0.07423 0 0 0.1468 json
t10_x2_u4_b3 10 2 4 3 sqt(cil(div(P,R))) 10611 81287619 o1(o1(o2(x,x))) true 84895 84895 -0.871 0.07031 0.9884 0.2277 0.4771 -1 1 2 1 0.4749 0.01921 0.01986 0.02274 -0.01667 1 3.004e-11 0.08079 0.04262 0.03853 0.1963 8.633 2.828 0.1716 0.3549 1 1 0 0 0.03733 0 0 0.164 json
t10_x2_u4_b4 10 2 4 4 sqt(cil(pow(P,R))) 10612 81287620 o1(o1(o2(x,x))) true 84903 84903 -0.1016 0.4531 0.9922 0.9808 0.9903 -1 1 2 1 1.12 0.01294 0.003616 0.0101 0.5632 1 -1.765e-10 0.03388 0.01859 0.01646 0.1283 12.7 2.828 0.01688 0.03455 1 1 0 0 0.02269 0 0 0.02313 json
t10_x2_u4_b5 10 2 4 5 sqt(cil(mod(P,R))) 10613 81287621 o1(o1(o2(x,x))) true 84911 84911 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 0 0.0009255 0 0 0.00382 json
t10_x2_u4_b6 10 2 4 6 sqt(cil(lrg(P,R))) 10614 81287622 o1(o1(o2(x,x))) true 84919 84919 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 0 0.001146 0 0 0.004753 json
t10_x2_u4_b7 10 2 4 7 sqt(cil(eql(P,R))) 10615 81287623 o1(o1(o2(x,x))) true 84927 84927 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
t10_x2_u4_b8 10 2 4 8 sqt(cil(min(P,R))) 10616 81287624 o1(o1(o2(x,x))) true 84935 84935 -0.2852 0.455 0.7149 0.5831 0.7636 -1 1 2 1 2.737 0.005064 0.001206 0.031 0.6153 1 -0.00002424 0.008043 0.01451 0.005307 0.07285 2.35 1 0.01075 0.0138 1 1 0 0 0.009742 0 0 0.01671 json
t10_x2_u4_b9 10 2 4 9 sqt(cil(dot(P,R))) 10617 81287625 o1(o1(o2(x,x))) true 84943 84943 -0.7423 0.1444 0.9686 0.4093 0.6398 -1 1 2 1 0.9345 0.03487 0.02981 0.03955 0.07815 1 -1.141e-9 0.1338 0.06969 0.06309 0.2512 6.351 2.828 0.158 0.327 1 1 0 0 0.08449 0 0 0.2064 json
t10_x2_u4_b10 10 2 4 10 sqt(cil(dst(P,R))) 10618 81287626 o1(o1(o2(x,x))) true 84951 84951 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
t10_x2_u5_b0 10 2 5 0 sqt(sgn(add(P,R))) 10619 81287817 o1(o1(o2(x,x))) true 84959 84959 -0.09375 0.4531 1 0.9905 0.9952 -1 1 2 1 0.9937 0.01587 0.006047 0.0109 0.4483 1 0 0.04535 0.02192 0.0218 0.1477 13.54 2.828 0.02213 0.04579 1 1 0 0 0.02992 0 0 0.0302 json
t10_x2_u5_b1 10 2 5 1 sqt(sgn(sub(P,R))) 10620 81287818 o1(o1(o2(x,x))) true 84967 84967 -0.07813 0.4609 1 0.9946 0.9973 -1 1 2 1 0.9956 0.01587 0.003023 0.00943 0.68 1 0 0.03855 0.0189 0.0188 0.1371 14.54 2.828 0.019 0.03876 1 1 0 0 0.02637 0 0 0.02651 json
t10_x2_u5_b2 10 2 5 2 sqt(sgn(mlt(P,R))) 10621 81287819 o1(o1(o2(x,x))) true 84975 84975 -0.875 0.07031 0.9844 0.2154 0.4641 -1 1 2 1 0.5181 0.01908 0.01888 0.02243 0.00526 1 -4.768e-10 0.0788 0.04173 0.03744 0.1935 8.625 2.828 0.1762 0.3659 1 1 0 0 0.03585 0 0 0.1665 json
t10_x2_u5_b3 10 2 5 3 sqt(sgn(div(P,R))) 10622 81287820 o1(o1(o2(x,x))) true 84983 84983 -0.875 0.07031 0.9844 0.2154 0.4641 -1 1 2 1 0.5181 0.01908 0.01888 0.02243 0.00526 1 -4.768e-10 0.0788 0.04173 0.03744 0.1935 8.625 2.828 0.1762 0.3659 1 1 0 0 0.03585 0 0 0.1665 json
t10_x2_u5_b4 10 2 5 4 sqt(sgn(pow(P,R))) 10623 81287821 o1(o1(o2(x,x))) true 84991 84991 -0.01367 0.5 0.9863 0.982 0.991 -1 1 2 1 1.244 0.01056 0.00005267 0.008426 0.9901 1 0.000002852 0.02084 0.01284 0.01054 0.1027 12.18 2 0.01081 0.02122 1 1 0 0 0.01414 0 0 0.0144 json
t10_x2_u5_b5 10 2 5 5 sqt(sgn(mod(P,R))) 10624 81287822 o1(o1(o2(x,x))) true 84999 84999 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0 0 0.006228 0 0 0.006485 json
t10_x2_u5_b6 10 2 5 6 sqt(sgn(lrg(P,R))) 10625 81287823 o1(o1(o2(x,x))) true 85007 85007 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 0 0.001146 0 0 0.004753 json
t10_x2_u5_b7 10 2 5 7 sqt(sgn(eql(P,R))) 10626 81287824 o1(o1(o2(x,x))) true 85015 85015 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
t10_x2_u5_b8 10 2 5 8 sqt(sgn(min(P,R))) 10627 81287825 o1(o1(o2(x,x))) true 85023 85023 -0.9863 0.007813 0.998 0.02479 0.1574 -1 1 2 1 0.08411 0.00229 0.002969 0.003116 -0.1291 1 -5.632e-11 0.01105 0.005843 0.005249 0.07245 23.25 2.828 0.2122 0.4458 1 1 0 0 0.00053 0 0 0.02138 json
t10_x2_u5_b9 10 2 5 9 sqt(sgn(dot(P,R))) 10628 81287826 o1(o1(o2(x,x))) true 85031 85031 -0.9141 0.04297 1 0.1646 0.4057 -1 1 2 1 0.2557 0.0189 0.01487 0.01679 0.1194 1 0 0.07105 0.03376 0.03347 0.1829 10.9 2.828 0.2052 0.4317 1 1 0 0 0.03939 0 0 0.2394 json
t10_x2_u5_b10 10 2 5 10 sqt(sgn(dst(P,R))) 10629 81287827 o1(o1(o2(x,x))) true 85039 85039 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
t10_x2_u6_b0 10 2 6 0 sqt(nrm(add(P,R))) 10630 81288018 o1(o1(o2(x,x))) true 85047 85047 -0.1814 0.4531 0.9123 0.8223 0.9068 -1 0.9997 2 1 2.368 0.009231 0.003546 0.01106 0.445 1 -0.000001423 0.02635 0.01717 0.01265 0.1125 10.17 2.67 0.01554 0.03204 1 1 0 0 0.01852 0 0 0.02252 json
t10_x2_u6_b1 10 2 6 1 sqt(nrm(sub(P,R))) 10631 81288019 o1(o1(o2(x,x))) true 85055 85055 -0.1726 0.4609 0.9055 0.8168 0.9038 -1 0.9994 1.999 1 2.441 0.008998 0.001893 0.01057 0.6523 1 -4.035e-7 0.0221 0.0149 0.01078 0.1038 9.825 2.735 0.01333 0.02705 1 1 0 0 0.01643 0 0 0.02012 json
t10_x2_u6_b2 10 2 6 2 sqt(nrm(mlt(P,R))) 10632 81288020 o1(o1(o2(x,x))) true 85063 85063 -0.8938 0.06992 0.9655 0.1559 0.3948 -1 0.9993 1.999 1 0.6405 0.0142 0.01455 0.01988 -0.01222 1 4.904e-7 0.05983 0.03645 0.02835 0.1684 8.471 2.765 0.1845 0.3839 1 1 0 0 0.02797 0 0 0.1795 json
t10_x2_u6_b3 10 2 6 3 sqt(nrm(div(P,R))) 10633 81288021 o1(o1(o2(x,x))) true 85071 85071 -0.8954 0.06958 0.964 0.1519 0.3897 -1 0.9858 1.986 1 0.6422 0.0139 0.01318 0.01911 0.02659 1 -9.905e-7 0.05646 0.03526 0.02672 0.1635 8.552 2.664 0.1783 0.3717 1 1 0 0 0.02584 0 0 0.1701 json
t10_x2_u6_b4 10 2 6 4 sqt(nrm(pow(P,R))) 10634 81288022 o1(o1(o2(x,x))) true 85079 85079 -0.6947 0.2064 0.8521 0.3418 0.5846 -1 0.9994 1.999 1 1.579 0.003673 0.003283 0.01503 0.05609 1 -0.000007852 0.01269 0.0123 0.006729 0.08203 5.457 1.999 0.02035 0.03714 1 1 0 0 0.009963 0 0 0.02915 json
t10_x2_u6_b5 10 2 6 5 sqt(nrm(mod(P,R))) 10635 81288023 o1(o1(o2(x,x))) true 85087 85087 -0.1462 0.492 0.8694 0.7807 0.8836 -1 1 2 1 2.705 0.005706 0.001253 0.01813 0.64 1 -0.00001026 0.01299 0.01321 0.006632 0.08144 4.493 2.477 0.008913 0.01664 1 1 0 0 0.01061 0 0 0.01359 json
t10_x2_u6_b6 10 2 6 6 sqt(nrm(lrg(P,R))) 10636 81288024 o1(o1(o2(x,x))) true 85095 85095 0.16 0.5186 0.6757 0.5874 0.7664 -1 1 2 1 2.651 0.006538 0.007122 0.01531 -0.04274 1 0.000003477 0.02784 0.02045 0.01343 0.1159 7.571 2.603 0.02325 0.04739 1 1 0 0 0.01894 0 0 0.03225 json
t10_x2_u6_b7 10 2 6 7 sqt(nrm(eql(P,R))) 10637 81288025 o1(o1(o2(x,x))) true 85103 85103 -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
t10_x2_u6_b8 10 2 6 8 sqt(nrm(min(P,R))) 10638 81288026 o1(o1(o2(x,x))) true 85111 85111 -0.9874 0.007813 0.997 0.02091 0.1446 -1 0.9677 1.968 1 0.09043 0.001944 0.00251 0.002903 -0.127 1 3.507e-7 0.009362 0.005414 0.004447 0.06669 22.97 2.547 0.2131 0.4478 1 1 0 0 0.0005175 0 0 0.02475 json
t10_x2_u6_b9 10 2 6 9 sqt(nrm(dot(P,R))) 10639 81288027 o1(o1(o2(x,x))) true 85119 85119 -0.9243 0.04297 0.9897 0.1274 0.3569 -1 0.7598 1.76 1 0.2557 0.01463 0.01151 0.01477 0.1194 1 1.877e-10 0.05501 0.02971 0.02593 0.161 10.9 2.489 0.2052 0.4318 1 1 0 0 0.0305 0 0 0.2394 json
t10_x2_u6_b10 10 2 6 10 sqt(nrm(dst(P,R))) 10640 81288028 o1(o1(o2(x,x))) true 85127 85127 0.7604 1 0.7604 3.618e-7 0.0006015 0.7598 0.7598 5.96e-8 1 0 2.82e-17 2.596e-17 9.014e-10 0.000002238 0 2.756e-9 6.57e-16 2.756e-9 5.336e-17 7.305e-9 8.104 8.429e-8 1.497e-10 1.816e-9 1 1 0 0 5.944e-17 0 0 1.643e-10 json
t10_x2_u7_b0 10 2 7 0 log(sqt(add(P,R))) 10641 81288219 o1(o1(o2(x,x))) true 85135 85135 -0.2559 0.4309 0.8478 0.7161 0.8462 -1 1 2 1 2.76 0.003956 0.00116 0.01103 0.5464 1 -0.000003888 0.01012 0.01124 0.004996 0.07068 6.409 1.828 0.007146 0.01414 1 1 0 0 0.00708 0 0 0.009887 json
t10_x2_u7_b1 10 2 7 1 log(sqt(sub(P,R))) 10642 81288220 o1(o1(o2(x,x))) true 85143 85143 -0.2618 0.4168 0.8552 0.7202 0.8487 -1 1 2 1 2.818 0.003057 0.0006323 0.01192 0.6572 1 0.000008239 0.006562 0.009182 0.003546 0.05955 4.997 1.249 0.005122 0.009111 1 1 0 0 0.005894 0 0 0.008183 json
t10_x2_u7_b2 10 2 7 2 log(sqt(mlt(P,R))) 10643 81288221 o1(o1(o2(x,x))) true 85151 85151 -0.9593 0.0193 0.9752 0.04952 0.2225 -1 1 2 1 0.4059 0.00453 0.005364 0.008993 -0.0842 1 0.00000272 0.02051 0.01521 0.009814 0.09907 11.02 2.435 0.1998 0.4143 1 1 0 0 0.008061 0 0 0.1628 json
t10_x2_u7_b3 10 2 7 3 log(sqt(div(P,R))) 10644 81288222 o1(o1(o2(x,x))) true 85159 85159 -0.928 0.03906 0.9938 0.1292 0.3594 -1 1 2 1 0.3373 0.01286 0.01035 0.01316 0.1081 1 7.884e-11 0.04844 0.02532 0.02304 0.1518 11.54 2.828 0.1797 0.375 1 1 0 0 0.02176 0 0 0.1685 json
t10_x2_u7_b4 10 2 7 4 log(sqt(pow(P,R))) 10645 81288223 o1(o1(o2(x,x))) true 85167 85167 -0.5751 0.1887 0.6785 0.2844 0.5333 -1 0.9644 1.964 1 2.931 0.004612 0.0006993 0.0226 0.7367 1 0.00001916 0.00802 0.01227 0.004799 0.06928 3.065 1 0.01868 0.0282 1 1 0 0 0.007039 0 0 0.02475 json
t10_x2_u7_b5 10 2 7 5 log(sqt(mod(P,R))) 10646 81288224 o1(o1(o2(x,x))) true 85175 85175 -0.9099 0 0.9099 0.03587 0.1894 -1 -0.1124 0.8876 1 1.667 0.0006748 0.0004667 0.01304 0.1823 1 0.00002546 0.0006695 0.005998 0.0009721 0.03118 2.392 0.5329 0.03182 0.01866 1 1 0 0 0.001872 0 0 0.05219 json
t10_x2_u7_b6 10 2 7 6 log(sqt(lrg(P,R))) 10647 81288225 o1(o1(o2(x,x))) true 85183 85183 -0.5391 0 0.5391 0.2487 0.4987 -1 0 1 1 0.9956 0.003968 0.0007559 0.004715 0.68 1 0 0.009637 0.009448 0.004701 0.06856 14.54 1.414 0.019 0.03876 1 1 0 0 0.006593 0 0 0.02651 json
t10_x2_u7_b7 10 2 7 7 log(sqt(eql(P,R))) 10648 81288226 o1(o1(o2(x,x))) true 85191 85191 -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
t10_x2_u7_b8 10 2 7 8 log(sqt(min(P,R))) 10649 81288227 o1(o1(o2(x,x))) true 85199 85199 -0.9973 0 0.9973 0.00201 0.04484 -1 -0.03765 0.9623 1 0.04892 0.00006577 0.0002089 0.0005195 -0.5212 1 0.00000236 0.0005569 0.0008599 0.0002744 0.01656 31.89 0.9477 0.1367 0.277 1 1 0 0 0 0 0 0 json
t10_x2_u7_b9 10 2 7 9 log(sqt(dot(P,R))) 10650 81288228 o1(o1(o2(x,x))) true 85207 85207 -0.9507 0.02599 0.9795 0.06915 0.263 -1 1 2 1 0.437 0.008088 0.007895 0.01276 0.0121 1 0.000004599 0.0333 0.02114 0.01582 0.1258 9.855 2.697 0.2311 0.4816 1 1 0 0 0.01748 0 0 0.2528 json
t10_x2_u7_b10 10 2 7 10 log(sqt(dst(P,R))) 10651 81288229 o1(o1(o2(x,x))) true 85215 85215 0.8385 0.9917 0.84 0.04932 0.2221 -0.2615 1 1.262 1 2.742 0.0000702 0.0000811 0.007308 -0.07205 1 -1.476e-7 0.000009642 0.001743 0.00009788 0.009894 1.354 0.08931 0.003068 0.0001955 1 1 0 0 0.0004938 0 0 0.01001 json
t10_x2_u8_b0 10 2 8 0 log(log(add(P,R))) 10652 81288420 o1(o1(o2(x,x))) true 85223 85223 -0.4859 0.3155 0.7899 0.4762 0.6901 -1 0.7835 1.783 1 2.56 0.001489 0.000532 0.01001 0.4736 1 0.000007548 0.003263 0.006692 0.001921 0.04383 4.377 1.263 0.004245 0.006853 1 1 0 0 0.002575 0 0 0.005407 json
t10_x2_u8_b1 10 2 8 1 log(log(sub(P,R))) 10653 81288421 o1(o1(o2(x,x))) true 85231 85231 -0.4828 0.328 0.7948 0.4866 0.6976 -1 0.7821 1.782 1 2.45 0.001922 0.0002306 0.008945 0.7858 1 0.000005199 0.003655 0.006315 0.002072 0.04552 5.089 1.094 0.004425 0.007511 1 1 0 0 0.003497 0 0 0.007187 json
t10_x2_u8_b2 10 2 8 2 log(log(mlt(P,R))) 10654 81288422 o1(o1(o2(x,x))) true 85239 85239 -0.9894 0.006958 0.9951 0.0146 0.1208 -1 0.6951 1.695 1 0.09219 0.001262 0.00173 0.002409 -0.1564 1 0.000004034 0.006271 0.004474 0.002984 0.05462 22.68 1.933 0.2049 0.4295 1 1 0 0 0.002503 0 0 0.1714 json
t10_x2_u8_b3 10 2 8 3 log(log(div(P,R))) 10655 81288423 o1(o1(o2(x,x))) true 85247 85247 -0.9403 0.03362 0.9848 0.09457 0.3075 -1 1 2 1 0.4032 0.009659 0.007418 0.01166 0.1312 1 -0.000001283 0.03549 0.02089 0.01693 0.1301 11.16 2.667 0.1806 0.3753 1 1 0 0 0.01467 0 0 0.1551 json
t10_x2_u8_b4 10 2 8 4 log(log(pow(P,R))) 10656 81288424 o1(o1(o2(x,x))) true 85255 85255 -0.9957 0.002197 0.9973 0.005183 0.07199 -1 0.6568 1.657 1 0.05262 0.0001271 0.0005206 0.0008354 -0.6075 1 0.000005098 0.001287 0.001285 0.0006467 0.02543 30.44 1.626 0.125 0.2483 1 1 0 0 0 0 0 0 json
t10_x2_u8_b5 10 2 8 5 log(log(mod(P,R))) 10657 81288425 o1(o1(o2(x,x))) true 85263 85263 -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
t10_x2_u8_b6 10 2 8 6 log(log(lrg(P,R))) 10658 81288426 o1(o1(o2(x,x))) true 85271 85271 -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
t10_x2_u8_b7 10 2 8 7 log(log(eql(P,R))) 10659 81288427 o1(o1(o2(x,x))) true 85279 85279 -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
t10_x2_u8_b8 10 2 8 8 log(log(min(P,R))) 10660 81288428 o1(o1(o2(x,x))) true 85287 85287 -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
t10_x2_u8_b9 10 2 8 9 log(log(dot(P,R))) 10661 81288429 o1(o1(o2(x,x))) true 85295 85295 -0.9889 0.007141 0.9957 0.01611 0.1269 -1 0.6422 1.642 1 0.08922 0.002111 0.00211 0.002997 0.0002809 1 -1.126e-11 0.008958 0.005764 0.00421 0.06488 21.65 2.256 0.2621 0.5562 1 1 0 0 0.006117 0 0 0.3798 json
t10_x2_u8_b10 10 2 8 10 log(log(dst(P,R))) 10662 81288430 o1(o1(o2(x,x))) true 85303 85303 0.4807 0.9053 0.5994 0.1777 0.4215 -1 0.9026 1.903 1 3.809 0.001315 0.001443 0.01316 -0.04624 1 0.00001989 0.005155 0.007897 0.002585 0.05084 3.864 1.585 0.01552 0.02901 1 1 0 0 0.005299 0 0 0.02982 json
t10_x2_u9_b0 10 2 9 0 log(frc(add(P,R))) 10663 81288621 o1(o1(o2(x,x))) true 85311 85311 -0.6684 0 0.6684 0.09558 0.3092 -1 -0.003047 0.997 1 3.402 0.00207 0.001856 0.04022 0.05445 1 0.0001738 0.001154 0.01548 0.002309 0.04805 1.195 0.4569 0.04108 0.01208 1 1 0 0 0.006951 0 0 0.07273 json
t10_x2_u9_b1 10 2 9 1 log(frc(sub(P,R))) 10664 81288622 o1(o1(o2(x,x))) true 85319 85319 -0.7491 0 0.7491 0.0903 0.3005 -1 -0.001108 0.9989 1 2.977 0.002018 0.00191 0.03743 0.02747 1 0.00005134 0.001213 0.01623 0.002527 0.05027 1.343 0.3272 0.04349 0.01343 1 1 0 0 0.006684 0 0 0.07402 json
t10_x2_u9_b2 10 2 9 2 log(frc(mlt(P,R))) 10665 81288623 o1(o1(o2(x,x))) true 85327 85327 -0.7444 0 0.7444 0.0936 0.3059 -1 -0.002157 0.9978 1 2.909 0.003831 0.002038 0.03846 0.3055 1 0.00009012 0.005075 0.02098 0.00439 0.06626 1.723 0.9962 0.0627 0.05422 1 1 0 0 0.01002 0 0 0.1071 json
t10_x2_u9_b3 10 2 9 3 log(frc(div(P,R))) 10666 81288624 o1(o1(o2(x,x))) true 85335 85335 -0.7617 0 0.7617 0.08847 0.2974 -1 -0.0009224 0.9991 1 2.826 0.003624 0.001647 0.03499 0.3751 1 0.00007948 0.004851 0.0188 0.004045 0.0636 1.818 0.952 0.05958 0.05484 1 1 0 0 0.008616 0 0 0.09739 json
t10_x2_u9_b4 10 2 9 4 log(frc(pow(P,R))) 10667 81288625 o1(o1(o2(x,x))) true 85343 85343 -0.8792 0 0.8792 0.05796 0.2407 -1 -0.005353 0.9946 1 1.706 0.001855 0.0005708 0.01536 0.5295 1 0.00006317 0.00285 0.008684 0.00219 0.0468 3.046 0.9437 0.04186 0.04917 1 1 0 0 0.003808 0 0 0.0657 json
t10_x2_u9_b5 10 2 9 5 log(frc(mod(P,R))) 10668 81288626 o1(o1(o2(x,x))) true 85351 85351 -0.6616 0 0.6616 0.1486 0.3855 -1 -0.0004178 0.9996 1 2.661 0.003257 0.0006432 0.01957 0.6702 1 0.00002852 0.005752 0.01233 0.003517 0.0593 3.031 0.9996 0.02625 0.0387 1 1 0 0 0.006029 0 0 0.04057 json
t10_x2_u9_b6 10 2 9 6 log(frc(lrg(P,R))) 10669 81288627 o1(o1(o2(x,x))) true 85359 85359 -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
t10_x2_u9_b7 10 2 9 7 log(frc(eql(P,R))) 10670 81288628 o1(o1(o2(x,x))) true 85367 85367 -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
t10_x2_u9_b8 10 2 9 8 log(frc(min(P,R))) 10671 81288629 o1(o1(o2(x,x))) true 85375 85375 -0.8452 0 0.8452 0.07108 0.2666 -1 -0.003047 0.997 1 2.057 0.001841 0.0009009 0.02003 0.3429 1 0.00009249 0.002571 0.0101 0.002342 0.04839 2.416 0.8616 0.03858 0.03617 1 1 0 0 0.00431 0 0 0.06063 json
t10_x2_u9_b9 10 2 9 9 log(frc(dot(P,R))) 10672 81288630 o1(o1(o2(x,x))) true 85383 85383 -0.713 0 0.713 0.09623 0.3102 -1 -0.001336 0.9987 1 3.155 0.002232 0.00226 0.0394 -0.006273 1 0.0001244 0.002008 0.01703 0.00294 0.05422 1.376 0.9649 0.04668 0.02087 1 1 0 0 0.00901 0 0 0.09363 json
t10_x2_u9_b10 10 2 9 10 log(frc(dst(P,R))) 10673 81288631 o1(o1(o2(x,x))) true 85391 85391 -0.7355 0 0.7355 0.08942 0.299 -1 -0.00342 0.9966 1 3.126 0.002144 0.001974 0.03964 0.04121 1 0.00014 0.001194 0.01644 0.002547 0.05046 1.273 0.3702 0.04605 0.01336 1 1 0 0 0.007971 0 0 0.08914 json
t10_x2_u10_b0 10 2 10 0 log(flr(add(P,R))) 10674 81288822 o1(o1(o2(x,x))) true 85399 85399 -0.2593 0.3896 0.9516 0.8691 0.9323 -1 1 2 1 1.607 0.006137 0.002036 0.01064 0.5017 1 -0.000002231 0.01629 0.01399 0.008062 0.08979 8.435 2.394 0.009404 0.01874 1 1 0 0 0.009496 0 0 0.01093 json
t10_x2_u10_b1 10 2 10 1 log(flr(sub(P,R))) 10675 81288823 o1(o1(o2(x,x))) true 85407 85407 -0.2685 0.3787 0.9737 0.8903 0.9436 -1 1 2 1 1.428 0.008169 0.0007938 0.009413 0.8229 1 0.00000186 0.01767 0.0131 0.008873 0.0942 10.01 1.693 0.01007 0.01984 1 1 0 0 0.01302 0 0 0.01462 json
t10_x2_u10_b2 10 2 10 2 log(flr(mlt(P,R))) 10676 81288824 o1(o1(o2(x,x))) true 85415 85415 -0.9847 0.007813 0.9997 0.02981 0.1726 -1 1 2 1 0.07335 0.002744 0.003623 0.003336 -0.1381 1 -6.007e-11 0.0134 0.006604 0.006352 0.0797 23.89 2.828 0.2136 0.4497 1 1 0 0 0.005097 0 0 0.171 json
t10_x2_u10_b3 10 2 10 3 log(flr(div(P,R))) 10677 81288825 o1(o1(o2(x,x))) true 85423 85423 -0.9238 0.03906 0.9981 0.1439 0.3793 -1 1 2 1 0.2774 0.01405 0.01175 0.01361 0.08919 1 7.884e-11 0.05377 0.02671 0.02563 0.1601 11.77 2.828 0.1793 0.3736 1 1 0 0 0.02489 0 0 0.173 json
t10_x2_u10_b4 10 2 10 4 log(flr(pow(P,R))) 10678 81288826 o1(o1(o2(x,x))) true 85431 85431 -0.9892 0.003906 0.9952 0.01639 0.128 -1 1 2 1 0.08386 0.0009357 0.001637 0.001976 -0.2725 1 0 0.00529 0.003655 0.002569 0.05069 25.65 2 0.157 0.3228 1 1 0 0 0 0 0 0 json
t10_x2_u10_b5 10 2 10 5 log(flr(mod(P,R))) 10679 81288827 o1(o1(o2(x,x))) true 85439 85439 -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
t10_x2_u10_b6 10 2 10 6 log(flr(lrg(P,R))) 10680 81288828 o1(o1(o2(x,x))) true 85447 85447 -0.5391 0 0.5391 0.2487 0.4987 -1 0 1 1 0.9956 0.003968 0.0007559 0.004715 0.68 1 0 0.009637 0.009448 0.004701 0.06856 14.54 1.414 0.019 0.03876 1 1 0 0 0.006593 0 0 0.02651 json
t10_x2_u10_b7 10 2 10 7 log(flr(eql(P,R))) 10681 81288829 o1(o1(o2(x,x))) true 85455 85455 -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
t10_x2_u10_b8 10 2 10 8 log(flr(min(P,R))) 10682 81288830 o1(o1(o2(x,x))) true 85463 85463 -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
t10_x2_u10_b9 10 2 10 9 log(flr(dot(P,R))) 10683 81288831 o1(o1(o2(x,x))) true 85471 85471 -0.9845 0.007813 0.9999 0.03061 0.1749 -1 1 2 1 0.06987 0.003939 0.003949 0.003982 -0.001303 1 1.502e-11 0.01674 0.007988 0.007877 0.08875 22.29 2.828 0.2577 0.547 1 1 0 0 0.01189 0 0 0.3884 json
t10_x2_u10_b10 10 2 10 10 log(flr(dst(P,R))) 10684 81288832 o1(o1(o2(x,x))) true 85479 85479 0.8808 0.9529 0.9745 0.188 0.4336 -1 1 2 1 0.8314 0.004699 0.004993 0.00936 -0.03028 1 3.379e-10 0.01979 0.01302 0.009596 0.09796 10.47 2.828 0.05156 0.1053 1 1 0 0 0.01744 0 0 0.09278 json
t10_x2_u11_b0 10 2 11 0 log(cil(add(P,R))) 10685 81289023 o1(o1(o2(x,x))) true 85487 85487 -0.1323 0.4524 0.9615 0.929 0.9639 -1 1 2 1 1.612 0.007552 0.002258 0.01079 0.5397 1 -0.000006171 0.01973 0.01513 0.009697 0.09848 9.13 2.394 0.01056 0.02124 1 1 0 0 0.01327 0 0 0.01429 json
t10_x2_u11_b1 10 2 11 1 log(cil(sub(P,R))) 10686 81289024 o1(o1(o2(x,x))) true 85495 85495 -0.1282 0.4448 0.9499 0.9225 0.9605 -1 1 2 1 1.608 0.006379 0.001053 0.009739 0.7166 1 0.000006279 0.01453 0.01241 0.007335 0.08564 8.794 1.693 0.008056 0.01575 1 1 0 0 0.0113 0 0 0.01225 json
t10_x2_u11_b2 10 2 11 2 log(cil(mlt(P,R))) 10687 81289025 o1(o1(o2(x,x))) true 85503 85503 -0.9418 0.03833 0.9801 0.08903 0.2984 -1 1 2 1 0.3703 0.008289 0.008588 0.01166 -0.01771 1 -0.000001977 0.03512 0.02107 0.01674 0.1294 11.1 2.828 0.1896 0.3945 1 1 0 0 0.014 0 0 0.1573 json
t10_x2_u11_b3 10 2 11 3 log(cil(div(P,R))) 10688 81289026 o1(o1(o2(x,x))) true 85511 85511 -0.9221 0.03906 0.9998 0.1493 0.3864 -1 1 2 1 0.2471 0.0147 0.01266 0.01372 0.07478 1 0 0.05716 0.02757 0.02718 0.1649 12.02 2.828 0.1832 0.3828 1 1 0 0 0.02645 0 0 0.1771 json
t10_x2_u11_b4 10 2 11 4 log(cil(pow(P,R))) 10689 81289027 o1(o1(o2(x,x))) true 85519 85519 -0.3983 0.381 0.7267 0.5244 0.7241 -1 1 2 1 2.447 0.004877 0.0008676 0.02355 0.698 1 -0.0000328 0.008171 0.01355 0.005188 0.07203 3.058 1 0.01096 0.01558 1 1 0 0 0.008109 0 0 0.01546 json
t10_x2_u11_b5 10 2 11 5 log(cil(mod(P,R))) 10690 81289028 o1(o1(o2(x,x))) true 85527 85527 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 0.9887 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0 0 0.005263 0 0 0.02139 json
t10_x2_u11_b6 10 2 11 6 log(cil(lrg(P,R))) 10691 81289029 o1(o1(o2(x,x))) true 85535 85535 -0.5391 0 0.5391 0.2487 0.4987 -1 0 1 1 0.9956 0.003968 0.0007559 0.004715 0.68 1 0 0.009637 0.009448 0.004701 0.06856 14.54 1.414 0.019 0.03876 1 1 0 0 0.006593 0 0 0.02651 json
t10_x2_u11_b7 10 2 11 7 log(cil(eql(P,R))) 10692 81289030 o1(o1(o2(x,x))) true 85543 85543 -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
t10_x2_u11_b8 10 2 11 8 log(cil(min(P,R))) 10693 81289031 o1(o1(o2(x,x))) true 85551 85551 -0.9961 0 0.9961 0.003891 0.06238 -1 0 1 1 0.03687 0.000252 0.0004409 0.0006929 -0.2727 1 0 0.001449 0.001386 0.0006922 0.02631 37.97 1 0.1781 0.3723 1 1 0 0 0 0 0 0 json
t10_x2_u11_b9 10 2 11 9 log(cil(dot(P,R))) 10694 81289032 o1(o1(o2(x,x))) true 85559 85559 -0.9293 0.0426 0.9848 0.1182 0.3439 -1 1 2 1 0.3767 0.0131 0.01188 0.01568 0.04876 1 -0.000002162 0.05225 0.02853 0.02474 0.1573 10.03 2.828 0.2113 0.4419 1 1 0 0 0.02844 0 0 0.2406 json
t10_x2_u11_b10 10 2 11 10 log(cil(dst(P,R))) 10695 81289033 o1(o1(o2(x,x))) true 85567 85567 0.9776 1 0.9776 0.01297 0.1139 0.0002017 1 0.9998 1 0.4718 0.0001035 0.0001279 0.003067 -0.1056 1 1.877e-11 0.00002966 0.0009294 0.000222 0.0149 4.859 0.162 0.01784 0.002287 1 1 0 0 0.0007934 0 0 0.06118 json
t10_x2_u12_b0 10 2 12 0 log(sgn(add(P,R))) 10696 81289224 o1(o1(o2(x,x))) true 85575 85575 -0.5469 0 0.5469 0.2476 0.4976 -1 0 1 1 0.9937 0.003968 0.001512 0.005452 0.4483 1 0 0.01134 0.01096 0.005451 0.07383 13.54 1.414 0.02213 0.04579 1 1 0 0 0.007479 0 0 0.0302 json
t10_x2_u12_b1 10 2 12 1 log(sgn(sub(P,R))) 10697 81289225 o1(o1(o2(x,x))) true 85583 85583 -0.5391 0 0.5391 0.2487 0.4987 -1 0 1 1 0.9956 0.003968 0.0007559 0.004715 0.68 1 0 0.009637 0.009448 0.004701 0.06856 14.54 1.414 0.019 0.03876 1 1 0 0 0.006593 0 0 0.02651 json
t10_x2_u12_b2 10 2 12 2 log(sgn(mlt(P,R))) 10698 81289226 o1(o1(o2(x,x))) true 85591 85591 -0.9609 0 0.9609 0.03752 0.1937 -1 0 1 1 0.238 0.003716 0.003212 0.006873 0.07273 1 0 0.01449 0.01386 0.006884 0.08297 12.07 1.414 0.1847 0.3862 1 1 0 0 0.006704 0 0 0.1787 json
t10_x2_u12_b3 10 2 12 3 log(sgn(div(P,R))) 10699 81289227 o1(o1(o2(x,x))) true 85599 85599 -0.9609 0 0.9609 0.03752 0.1937 -1 0 1 1 0.238 0.003716 0.003212 0.006873 0.07273 1 0 0.01449 0.01386 0.006884 0.08297 12.07 1.414 0.1847 0.3862 1 1 0 0 0.006704 0 0 0.1787 json