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
t12_x8_u4_b52 12 8 4 52 cil(pow(P,min(R,R))) 26500 97771276 o1(o2(x,o2(x,x))) true 41847 41847 -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.02269 0.09441 0.3825 0.02313 0.09626 0.39 json
t12_x8_u4_b53 12 8 4 53 cil(pow(P,dot(R,R))) 26501 97771277 o1(o2(x,o2(x,x))) true 41855 41855 -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.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t12_x8_u4_b54 12 8 4 54 cil(pow(P,dst(R,R))) 26502 97771278 o1(o2(x,o2(x,x))) true 41863 41863 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
t12_x8_u4_b55 12 8 4 55 cil(mod(P,add(R,R))) 26503 97771279 o1(o2(x,o2(x,x))) true 41871 41871 0.3916 0.5 0.5459 0.3626 0.6022 -1 1 2 1 2.61 0.0009524 0.0004987 0.01685 0.3127 1 -0.000004284 0.00007726 0.004023 0.001167 0.03416 2.028 0.1169 0.004002 0.0002131 1 1 0.002863 0.0368 0.1645 0.007896 0.1015 0.4536 json
t12_x8_u4_b56 12 8 4 56 cil(mod(P,sub(R,R))) 26504 97771280 o1(o2(x,o2(x,x))) true 41879 41879 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
t12_x8_u4_b57 12 8 4 57 cil(mod(P,mlt(R,R))) 26505 97771281 o1(o2(x,o2(x,x))) true 41887 41887 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
t12_x8_u4_b58 12 8 4 58 cil(mod(P,div(R,R))) 26506 97771282 o1(o2(x,o2(x,x))) true 41895 41895 0.08984 0.2667 0.09375 0.0556 0.2358 -0.9994 1 1.999 1 1.461 0.0006752 0.0006861 0.01609 -0.008015 1 -0.000005693 0.0000814 0.003905 0.001103 0.03321 2.064 0.1169 0.02448 0.001464 1 1 0.002667 0.03421 0.09126 0.04796 0.6153 1.641 json
t12_x8_u4_b59 12 8 4 59 cil(mod(P,pow(R,R))) 26507 97771283 o1(o2(x,o2(x,x))) true 41903 41903 -0.9512 0.007813 0.9629 0.05777 0.2404 -1 1 2 1 0.2982 0.005754 0.006118 0.009683 -0.03068 1 -1.765e-10 0.02485 0.01907 0.01178 0.1085 11.21 2.828 0.2055 0.4301 1 1 0.006666 0.02954 0.08384 0.1154 0.5113 1.451 json
t12_x8_u4_b60 12 8 4 60 cil(mod(P,mod(R,R))) 26508 97771284 o1(o2(x,o2(x,x))) true 41911 41911 -0.9863 0.003906 0.9902 0.017 0.1304 -1 0.9997 2 1 0.1124 0.00229 0.001709 0.003223 0.1452 1 -6.007e-11 0.008467 0.006095 0.003992 0.06318 19.6 2.828 0.2352 0.4979 1 1 0.00707 0.02845 0.05359 0.4158 1.673 3.151 json
t12_x8_u4_b61 12 8 4 61 cil(mod(P,lrg(R,R))) 26509 97771285 o1(o2(x,o2(x,x))) true 41919 41919 -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
t12_x8_u4_b62 12 8 4 62 cil(mod(P,eql(R,R))) 26510 97771286 o1(o2(x,o2(x,x))) true 41927 41927 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
t12_x8_u4_b63 12 8 4 63 cil(mod(P,min(R,R))) 26511 97771287 o1(o2(x,o2(x,x))) true 41935 41935 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
t12_x8_u4_b64 12 8 4 64 cil(mod(P,dot(R,R))) 26512 97771288 o1(o2(x,o2(x,x))) true 41943 41943 0.3984 0.5 0.5391 0.3505 0.592 -0.9997 1 2 1 2.594 0.001021 0.000411 0.01671 0.4262 1 -0.000009265 0.00007783 0.004012 0.001153 0.03395 2.032 0.1169 0.004087 0.0002221 1 1 0.003282 0.04232 0.174 0.009363 0.1208 0.4966 json
t12_x8_u4_b65 12 8 4 65 cil(mod(P,dst(R,R))) 26513 97771289 o1(o2(x,o2(x,x))) true 41951 41951 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
t12_x8_u4_b66 12 8 4 66 cil(lrg(P,add(R,R))) 26514 97771290 o1(o2(x,o2(x,x))) true 41959 41959 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
t12_x8_u4_b67 12 8 4 67 cil(lrg(P,sub(R,R))) 26515 97771291 o1(o2(x,o2(x,x))) true 41967 41967 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
t12_x8_u4_b68 12 8 4 68 cil(lrg(P,mlt(R,R))) 26516 97771292 o1(o2(x,o2(x,x))) true 41975 41975 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
t12_x8_u4_b69 12 8 4 69 cil(lrg(P,div(R,R))) 26517 97771293 o1(o2(x,o2(x,x))) true 41983 41983 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
t12_x8_u4_b70 12 8 4 70 cil(lrg(P,pow(R,R))) 26518 97771294 o1(o2(x,o2(x,x))) true 41991 41991 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
t12_x8_u4_b71 12 8 4 71 cil(lrg(P,mod(R,R))) 26519 97771295 o1(o2(x,o2(x,x))) true 41999 41999 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
t12_x8_u4_b72 12 8 4 72 cil(lrg(P,lrg(R,R))) 26520 97771296 o1(o2(x,o2(x,x))) true 42007 42007 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
t12_x8_u4_b73 12 8 4 73 cil(lrg(P,eql(R,R))) 26521 97771297 o1(o2(x,o2(x,x))) true 42015 42015 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
t12_x8_u4_b74 12 8 4 74 cil(lrg(P,min(R,R))) 26522 97771298 o1(o2(x,o2(x,x))) true 42023 42023 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
t12_x8_u4_b75 12 8 4 75 cil(lrg(P,dot(R,R))) 26523 97771299 o1(o2(x,o2(x,x))) true 42031 42031 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
t12_x8_u4_b76 12 8 4 76 cil(lrg(P,dst(R,R))) 26524 97771300 o1(o2(x,o2(x,x))) true 42039 42039 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
t12_x8_u4_b77 12 8 4 77 cil(eql(P,add(R,R))) 26525 97771301 o1(o2(x,o2(x,x))) true 42047 42047 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
t12_x8_u4_b78 12 8 4 78 cil(eql(P,sub(R,R))) 26526 97771302 o1(o2(x,o2(x,x))) true 42055 42055 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
t12_x8_u4_b79 12 8 4 79 cil(eql(P,mlt(R,R))) 26527 97771303 o1(o2(x,o2(x,x))) true 42063 42063 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
t12_x8_u4_b80 12 8 4 80 cil(eql(P,div(R,R))) 26528 97771304 o1(o2(x,o2(x,x))) true 42071 42071 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
t12_x8_u4_b81 12 8 4 81 cil(eql(P,pow(R,R))) 26529 97771305 o1(o2(x,o2(x,x))) true 42079 42079 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
t12_x8_u4_b82 12 8 4 82 cil(eql(P,mod(R,R))) 26530 97771306 o1(o2(x,o2(x,x))) true 42087 42087 0.02734 0.07556 0.02734 0.01868 0.1367 0 0.9997 0.9997 1 0.4881 0.0002735 0.0001053 0.004415 0.4438 1 0.000005704 0.0000202 0.001056 0.0003591 0.01895 4.293 0.1169 0.02028 0.001081 1 1 0.0007806 0.0101 0.03588 0.04179 0.5406 1.921 json
t12_x8_u4_b83 12 8 4 83 cil(eql(P,lrg(R,R))) 26531 97771307 o1(o2(x,o2(x,x))) true 42095 42095 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
t12_x8_u4_b84 12 8 4 84 cil(eql(P,eql(R,R))) 26532 97771308 o1(o2(x,o2(x,x))) true 42103 42103 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
t12_x8_u4_b85 12 8 4 85 cil(eql(P,min(R,R))) 26533 97771309 o1(o2(x,o2(x,x))) true 42111 42111 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
t12_x8_u4_b86 12 8 4 86 cil(eql(P,dot(R,R))) 26534 97771310 o1(o2(x,o2(x,x))) true 42119 42119 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
t12_x8_u4_b87 12 8 4 87 cil(eql(P,dst(R,R))) 26535 97771311 o1(o2(x,o2(x,x))) true 42127 42127 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
t12_x8_u4_b88 12 8 4 88 cil(min(P,add(R,R))) 26536 97771312 o1(o2(x,o2(x,x))) true 42135 42135 -0.3587 0.3271 0.7717 0.585 0.7648 -1 1 2 1 3.223 0.003863 0.003986 0.04831 -0.01571 1 -0.00006468 0.001091 0.01376 0.005512 0.07424 1.537 0.3507 0.01342 0.001865 1 1 0.0148 0.1758 0.4845 0.0253 0.3006 0.8283 json
t12_x8_u4_b89 12 8 4 89 cil(min(P,sub(R,R))) 26537 97771313 o1(o2(x,o2(x,x))) true 42143 42143 -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
t12_x8_u4_b90 12 8 4 90 cil(min(P,mlt(R,R))) 26538 97771314 o1(o2(x,o2(x,x))) true 42151 42151 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
t12_x8_u4_b91 12 8 4 91 cil(min(P,div(R,R))) 26539 97771315 o1(o2(x,o2(x,x))) true 42159 42159 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
t12_x8_u4_b92 12 8 4 92 cil(min(P,pow(R,R))) 26540 97771316 o1(o2(x,o2(x,x))) true 42167 42167 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
t12_x8_u4_b93 12 8 4 93 cil(min(P,mod(R,R))) 26541 97771317 o1(o2(x,o2(x,x))) true 42175 42175 -0.4238 0.1559 0.5137 0.3108 0.5575 -1 0.9997 2 1 2.134 0.0007119 0.000398 0.01299 0.2828 1 -0.00001711 0.00006201 0.003122 0.0009406 0.03067 2.361 0.1169 0.003571 0.0001995 1 1 0.002723 0.03531 0.1435 0.008762 0.1136 0.4618 json
t12_x8_u4_b94 12 8 4 94 cil(min(P,lrg(R,R))) 26542 97771318 o1(o2(x,o2(x,x))) true 42183 42183 -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
t12_x8_u4_b95 12 8 4 95 cil(min(P,eql(R,R))) 26543 97771319 o1(o2(x,o2(x,x))) true 42191 42191 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
t12_x8_u4_b96 12 8 4 96 cil(min(P,min(R,R))) 26544 97771320 o1(o2(x,o2(x,x))) true 42199 42199 -0.2539 0.455 0.6836 0.5618 0.7495 -1 1 2 1 3.143 0.001448 0.001206 0.031 0.09096 1 -0.00002424 0.0001549 0.007528 0.001693 0.04114 1.327 0.1169 0.004724 0.0002756 1 1 0.005382 0.07012 0.2678 0.00958 0.1248 0.4768 json
t12_x8_u4_b97 12 8 4 97 cil(min(P,dot(R,R))) 26545 97771321 o1(o2(x,o2(x,x))) true 42207 42207 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
t12_x8_u4_b98 12 8 4 98 cil(min(P,dst(R,R))) 26546 97771322 o1(o2(x,o2(x,x))) true 42215 42215 -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
t12_x8_u4_b99 12 8 4 99 cil(dot(P,add(R,R))) 26547 97771323 o1(o2(x,o2(x,x))) true 42223 42223 -0.009768 0.4988 0.9201 0.8957 0.9464 -1 1 2 1 2.149 0.04102 0.0557 0.1064 -0.1519 1 0.00005241 0.1317 0.1155 0.08536 0.2922 2.746 2.647 0.108 0.147 1 1 0.1151 0.7138 1.562 0.1285 0.7969 1.744 json
t12_x8_u4_b100 12 8 4 100 cil(dot(P,sub(R,R))) 26548 97771324 o1(o2(x,o2(x,x))) true 42231 42231 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
t12_x8_u4_b101 12 8 4 101 cil(dot(P,mlt(R,R))) 26549 97771325 o1(o2(x,o2(x,x))) true 42239 42239 0.1207 0.5335 0.8317 0.7777 0.8819 -1 1 2 1 2.825 0.005622 0.006536 0.04519 -0.07512 1 0.0001088 0.004943 0.02201 0.01011 0.1006 2.225 1.132 0.01563 0.006356 1 1 0.01796 0.1765 0.4981 0.0231 0.227 0.6405 json
t12_x8_u4_b102 12 8 4 102 cil(dot(P,div(R,R))) 26550 97771326 o1(o2(x,o2(x,x))) true 42247 42247 0.01747 0.5075 0.9443 0.9279 0.9633 -1 1 2 1 1.851 0.000847 0.0008473 0.01242 -0.0001819 1 -0.000007594 0.0002555 0.003495 0.001539 0.03923 3.16 0.2496 0.001826 0.0002754 1 1 0.004267 0.05252 0.4354 0.004598 0.05661 0.4692 json
t12_x8_u4_b103 12 8 4 103 cil(dot(P,pow(R,R))) 26551 97771327 o1(o2(x,o2(x,x))) true 42255 42255 -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
t12_x8_u4_b104 12 8 4 104 cil(dot(P,mod(R,R))) 26552 97771328 o1(o2(x,o2(x,x))) true 42263 42263 0.07268 0.4471 0.3865 0.3237 0.569 -1 1 2 1 3.536 0.006333 0.008309 0.06016 -0.1349 1 -0.000003202 0.006641 0.02838 0.01103 0.105 1.745 1.299 0.04523 0.02052 1 1 0.01896 0.1888 0.5888 0.05857 0.5833 1.819 json
t12_x8_u4_b105 12 8 4 105 cil(dot(P,lrg(R,R))) 26553 97771329 o1(o2(x,o2(x,x))) true 42271 42271 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
t12_x8_u4_b106 12 8 4 106 cil(dot(P,eql(R,R))) 26554 97771330 o1(o2(x,o2(x,x))) true 42279 42279 -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
t12_x8_u4_b107 12 8 4 107 cil(dot(P,min(R,R))) 26555 97771331 o1(o2(x,o2(x,x))) true 42287 42287 0.05788 0.5406 0.8592 0.8135 0.902 -1 1 2 1 2.779 0.02449 0.03325 0.102 -0.1518 1 0.000002434 0.04556 0.07425 0.04734 0.2176 2.133 1.819 0.07098 0.056 1 1 0.07312 0.5689 1.353 0.08988 0.6993 1.664 json
t12_x8_u4_b108 12 8 4 108 cil(dot(P,dot(R,R))) 26556 97771332 o1(o2(x,o2(x,x))) true 42295 42295 0.0386 0.5121 0.9164 0.8984 0.9478 -1 1 2 1 2.001 0.0009548 0.00129 0.01453 -0.1495 1 0.00001759 0.0005998 0.005711 0.002035 0.04511 3.105 0.3986 0.002499 0.0006676 1 1 0.005717 0.05967 0.3705 0.006363 0.06642 0.4124 json
t12_x8_u4_b109 12 8 4 109 cil(dot(P,dst(R,R))) 26557 97771333 o1(o2(x,o2(x,x))) true 42303 42303 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
t12_x8_u4_b110 12 8 4 110 cil(dst(P,add(R,R))) 26558 97771334 o1(o2(x,o2(x,x))) true 42311 42311 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
t12_x8_u4_b111 12 8 4 111 cil(dst(P,sub(R,R))) 26559 97771335 o1(o2(x,o2(x,x))) true 42319 42319 0.9967 1 0.9967 0.002206 0.04697 0.0005821 1 0.9994 1 0.08493 0.00004482 0.00004482 0.0007972 -5.682e-7 0 -1.502e-11 0.00002627 0.0002729 0.00008892 0.00943 11.83 0.1653 0.04063 0.01191 1 1 0.0003021 0.00348 0.008043 0.1369 1.578 3.646 json
t12_x8_u4_b112 12 8 4 112 cil(dst(P,mlt(R,R))) 26560 97771336 o1(o2(x,o2(x,x))) true 42327 42327 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
t12_x8_u4_b113 12 8 4 113 cil(dst(P,div(R,R))) 26561 97771337 o1(o2(x,o2(x,x))) true 42335 42335 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
t12_x8_u4_b114 12 8 4 114 cil(dst(P,pow(R,R))) 26562 97771338 o1(o2(x,o2(x,x))) true 42343 42343 -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
t12_x8_u4_b115 12 8 4 115 cil(dst(P,mod(R,R))) 26563 97771339 o1(o2(x,o2(x,x))) true 42351 42351 0.9967 1 0.9967 0.002206 0.04697 0.0005821 1 0.9994 1 0.08493 0.00004482 0.00004482 0.0007972 -5.682e-7 0 -1.502e-11 0.00002627 0.0002729 0.00008892 0.00943 11.83 0.1653 0.04063 0.01191 1 1 0.0003021 0.00348 0.008043 0.1369 1.578 3.646 json
t12_x8_u4_b116 12 8 4 116 cil(dst(P,lrg(R,R))) 26564 97771340 o1(o2(x,o2(x,x))) true 42359 42359 0.9967 1 0.9967 0.002206 0.04697 0.0005821 1 0.9994 1 0.08493 0.00004482 0.00004482 0.0007972 -5.682e-7 0 -1.502e-11 0.00002627 0.0002729 0.00008892 0.00943 11.83 0.1653 0.04063 0.01191 1 1 0.0003021 0.00348 0.008043 0.1369 1.578 3.646 json
t12_x8_u4_b117 12 8 4 117 cil(dst(P,eql(R,R))) 26565 97771341 o1(o2(x,o2(x,x))) true 42367 42367 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
t12_x8_u4_b118 12 8 4 118 cil(dst(P,min(R,R))) 26566 97771342 o1(o2(x,o2(x,x))) true 42375 42375 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
t12_x8_u4_b119 12 8 4 119 cil(dst(P,dot(R,R))) 26567 97771343 o1(o2(x,o2(x,x))) true 42383 42383 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
t12_x8_u4_b120 12 8 4 120 cil(dst(P,dst(R,R))) 26568 97771344 o1(o2(x,o2(x,x))) true 42391 42391 0.9967 1 0.9967 0.002206 0.04697 0.0005821 1 0.9994 1 0.08493 0.00004482 0.00004482 0.0007972 -5.682e-7 0 -1.502e-11 0.00002627 0.0002729 0.00008892 0.00943 11.83 0.1653 0.04063 0.01191 1 1 0.0003021 0.00348 0.008043 0.1369 1.578 3.646 json
t12_x8_u5_b0 12 8 5 0 sgn(add(P,add(R,R))) 26569 97771425 o1(o2(x,o2(x,x))) true 42399 42399 0.01562 0.5071 0.9557 0.9385 0.9688 -1 1 2 1 1.767 0.0016 0.001263 0.01677 0.1178 1 -0.00005704 0.0001656 0.004054 0.002582 0.05081 3.029 0.2338 0.003051 0.0001764 1 1 0.0068 0.0884 0.4035 0.007245 0.09419 0.43 json
t12_x8_u5_b1 12 8 5 1 sgn(add(P,sub(R,R))) 26570 97771426 o1(o2(x,o2(x,x))) true 42407 42407 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
t12_x8_u5_b2 12 8 5 2 sgn(add(P,mlt(R,R))) 26571 97771427 o1(o2(x,o2(x,x))) true 42415 42415 0.0625 0.5313 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t12_x8_u5_b3 12 8 5 3 sgn(add(P,div(R,R))) 26572 97771428 o1(o2(x,o2(x,x))) true 42423 42423 0.1016 0.5508 0.973 0.9525 0.976 -1 1 2 1 1.508 0.001257 0.0005618 0.01064 0.3821 1 0.00001141 0.00009891 0.002551 0.001706 0.0413 3.883 0.2338 0.001909 0.0001038 1 1 0.004586 0.06012 0.3145 0.004814 0.06312 0.3302 json
t12_x8_u5_b4 12 8 5 4 sgn(add(P,pow(R,R))) 26573 97771429 o1(o2(x,o2(x,x))) true 42431 42431 -0.5156 0.2402 0.8385 0.5129 0.7162 -1 1 2 1 2.764 0.00482 0.005266 0.05913 -0.04423 1 -0.00005988 0.0006049 0.01443 0.006592 0.08119 1.373 0.2338 0.01966 0.001179 1 1 0.02058 0.2674 0.7164 0.04012 0.5213 1.397 json
t12_x8_u5_b5 12 8 5 5 sgn(add(P,mod(R,R))) 26574 97771430 o1(o2(x,o2(x,x))) true 42439 42439 -0.01172 0.4933 0.9592 0.9466 0.973 -1 1 2 1 1.675 0.001041 0.0002458 0.009434 0.6181 1 -0.000005704 0.00006596 0.002186 0.001198 0.03461 3.669 0.2338 0.00136 0.00006968 1 1 0.003628 0.04755 0.3058 0.003833 0.05023 0.323 json
t12_x8_u5_b6 12 8 5 6 sgn(add(P,lrg(R,R))) 26575 97771431 o1(o2(x,o2(x,x))) true 42447 42447 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
t12_x8_u5_b7 12 8 5 7 sgn(add(P,eql(R,R))) 26576 97771432 o1(o2(x,o2(x,x))) true 42455 42455 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
t12_x8_u5_b8 12 8 5 8 sgn(add(P,min(R,R))) 26577 97771433 o1(o2(x,o2(x,x))) true 42463 42463 -0.007813 0.4961 0.9749 0.9649 0.9823 -1 1 2 1 1.475 0.001295 0.0004214 0.009963 0.5091 1 -0.00001141 0.00009024 0.002375 0.001617 0.04022 4.037 0.2338 0.001779 0.00009352 1 1 0.004586 0.06015 0.359 0.004753 0.06234 0.3721 json
t12_x8_u5_b9 12 8 5 9 sgn(add(P,dot(R,R))) 26578 97771434 o1(o2(x,o2(x,x))) true 42471 42471 0.1406 0.5703 0.973 0.9424 0.9708 -1 1 2 1 1.501 0.001257 0.0005619 0.01064 0.382 1 -1.258e-10 0.00009939 0.002561 0.001706 0.0413 3.882 0.2338 0.00193 0.0001055 1 1 0.005115 0.06644 0.3196 0.005428 0.0705 0.3392 json
t12_x8_u5_b10 12 8 5 10 sgn(add(P,dst(R,R))) 26579 97771435 o1(o2(x,o2(x,x))) true 42479 42479 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
t12_x8_u5_b11 12 8 5 11 sgn(sub(P,add(R,R))) 26580 97771436 o1(o2(x,o2(x,x))) true 42487 42487 -0.02344 0.4893 0.947 0.9257 0.9621 -1 1 2 1 1.905 0.001901 0.001564 0.02038 0.09737 1 0.00005704 0.0001992 0.004922 0.003047 0.0552 2.708 0.2338 0.003742 0.0002151 1 1 0.008537 0.1104 0.3931 0.009223 0.1193 0.4247 json
t12_x8_u5_b12 12 8 5 12 sgn(sub(P,sub(R,R))) 26581 97771437 o1(o2(x,o2(x,x))) true 42495 42495 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
t12_x8_u5_b13 12 8 5 13 sgn(sub(P,mlt(R,R))) 26582 97771438 o1(o2(x,o2(x,x))) true 42503 42503 -0.0625 0.4688 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t12_x8_u5_b14 12 8 5 14 sgn(sub(P,div(R,R))) 26583 97771439 o1(o2(x,o2(x,x))) true 42511 42511 -0.1055 0.4473 0.9739 0.9529 0.9762 -1 1 2 1 1.487 0.001276 0.0004916 0.0103 0.4437 1 -1.727e-10 0.00009506 0.002473 0.001662 0.04077 3.957 0.2338 0.001855 0.00009976 1 1 0.004762 0.06189 0.3269 0.004997 0.06495 0.343 json
t12_x8_u5_b15 12 8 5 15 sgn(sub(P,pow(R,R))) 26584 97771440 o1(o2(x,o2(x,x))) true 42519 42519 -0.5703 0.2124 0.852 0.4723 0.6872 -1 1 2 1 2.586 0.004379 0.004825 0.05407 -0.04847 1 -0.00004847 0.0005547 0.01321 0.006283 0.07926 1.466 0.2338 0.01949 0.001175 1 1 0.01783 0.2314 0.5848 0.03774 0.49 1.238 json
t12_x8_u5_b16 12 8 5 16 sgn(sub(P,mod(R,R))) 26585 97771441 o1(o2(x,o2(x,x))) true 42527 42527 0.01172 0.5065 0.9592 0.9466 0.973 -1 1 2 1 1.675 0.001041 0.0002458 0.009444 0.6181 1 0.000005704 0.00006596 0.002186 0.001198 0.03461 3.665 0.2338 0.00136 0.00006968 1 1 0.003628 0.04755 0.3058 0.003833 0.05023 0.3231 json
t12_x8_u5_b17 12 8 5 17 sgn(sub(P,lrg(R,R))) 26586 97771442 o1(o2(x,o2(x,x))) true 42535 42535 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
t12_x8_u5_b18 12 8 5 18 sgn(sub(P,eql(R,R))) 26587 97771443 o1(o2(x,o2(x,x))) true 42543 42543 -0.125 0.4375 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
t12_x8_u5_b19 12 8 5 19 sgn(sub(P,min(R,R))) 26588 97771444 o1(o2(x,o2(x,x))) true 42551 42551 0.007813 0.5039 0.9749 0.9649 0.9823 -1 1 2 1 1.475 0.001295 0.0004214 0.009962 0.5091 1 0.00001141 0.00009024 0.002375 0.001617 0.04022 4.037 0.2338 0.001779 0.00009352 1 1 0.004586 0.06015 0.359 0.004753 0.06234 0.3721 json
t12_x8_u5_b20 12 8 5 20 sgn(sub(P,dot(R,R))) 26589 97771445 o1(o2(x,o2(x,x))) true 42559 42559 -0.1445 0.4277 0.9718 0.9393 0.9692 -1 1 2 1 1.517 0.001257 0.0006515 0.01114 0.3172 1 0.00001141 0.000103 0.002669 0.001784 0.04223 3.791 0.2338 0.002031 0.0001097 1 1 0.005074 0.06657 0.3565 0.005402 0.07087 0.3796 json
t12_x8_u5_b21 12 8 5 21 sgn(sub(P,dst(R,R))) 26590 97771446 o1(o2(x,o2(x,x))) true 42567 42567 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
t12_x8_u5_b22 12 8 5 22 sgn(mlt(P,add(R,R))) 26591 97771447 o1(o2(x,o2(x,x))) true 42575 42575 -0.05078 0.4741 0.6828 0.5746 0.758 -1 1 2 1 4.18 0.007168 0.009328 0.09975 -0.1309 1 -0.00007274 0.0009734 0.02421 0.006547 0.08091 0.8112 0.2338 0.02871 0.001694 1 1 0.03152 0.4058 1.101 0.05486 0.7063 1.916 json
t12_x8_u5_b23 12 8 5 23 sgn(mlt(P,sub(R,R))) 26592 97771448 o1(o2(x,o2(x,x))) true 42583 42583 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
t12_x8_u5_b24 12 8 5 24 sgn(mlt(P,mlt(R,R))) 26593 97771449 o1(o2(x,o2(x,x))) true 42591 42591 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
t12_x8_u5_b25 12 8 5 25 sgn(mlt(P,div(R,R))) 26594 97771450 o1(o2(x,o2(x,x))) true 42599 42599 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
t12_x8_u5_b26 12 8 5 26 sgn(mlt(P,pow(R,R))) 26595 97771451 o1(o2(x,o2(x,x))) true 42607 42607 -0.543 0.2191 0.8285 0.4739 0.6884 -1 1 2 1 2.817 0.004315 0.00494 0.05623 -0.06757 1 -0.00005418 0.000559 0.0137 0.006094 0.07807 1.388 0.2338 0.01953 0.001179 1 1 0.01813 0.2355 0.6057 0.03827 0.4969 1.278 json
t12_x8_u5_b27 12 8 5 27 sgn(mlt(P,mod(R,R))) 26596 97771452 o1(o2(x,o2(x,x))) true 42615 42615 0.03125 0.3016 0.1745 0.1156 0.3399 -1 0.9997 2 1 2.979 0.001633 0.001598 0.03364 0.01067 1 -0.000009993 0.0001916 0.007971 0.002098 0.04581 1.362 0.2338 0.02796 0.001658 1 1 0.007067 0.09107 0.258 0.06116 0.7881 2.232 json
t12_x8_u5_b28 12 8 5 28 sgn(mlt(P,lrg(R,R))) 26597 97771453 o1(o2(x,o2(x,x))) true 42623 42623 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
t12_x8_u5_b29 12 8 5 29 sgn(mlt(P,eql(R,R))) 26598 97771454 o1(o2(x,o2(x,x))) true 42631 42631 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
t12_x8_u5_b30 12 8 5 30 sgn(mlt(P,min(R,R))) 26599 97771455 o1(o2(x,o2(x,x))) true 42639 42639 -0.05078 0.4741 0.6828 0.5746 0.758 -1 1 2 1 4.18 0.007168 0.009328 0.09975 -0.1309 1 -0.00007274 0.0009734 0.02421 0.006547 0.08091 0.8112 0.2338 0.02871 0.001694 1 1 0.03152 0.4058 1.101 0.05486 0.7063 1.916 json