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
t11_x2_u25_b10 11 2 25 10 flr(dst(P,cil(R))) 15700 89412448 o1(o2(x,o1(x))) true 125607 125607 0.9968 1 0.9968 0.002041 0.04518 0.000582 1 0.9994 1 0.08778 0.0000513 0.00003106 0.0007805 0.2458 0 -9.198e-11 0.00001277 0.0002545 0.0000817 0.009039 11.58 0.2265 0.04035 0.006257 1 1 0 0 0.0002805 0 0 0.1374 json
t11_x2_u26_b0 11 2 26 0 flr(add(P,sgn(R))) 15701 89412639 o1(o2(x,o1(x))) true 125615 125615 0.006117 0.4994 0.9421 0.9262 0.9624 -1 1 2 1 1.861 0.001892 0.001043 0.0157 0.2894 1 -0.00003255 0.0006342 0.005652 0.002688 0.05184 3.302 0.3507 0.003169 0.0006847 1 1 0 0 0.007625 0 0 0.008232 json
t11_x2_u26_b1 11 2 26 1 flr(sub(P,sgn(R))) 15702 89412640 o1(o2(x,o1(x))) true 125623 125623 -0.00008297 0.5047 0.9353 0.918 0.9581 -1 1 2 1 1.934 0.001844 0.001053 0.01631 0.2732 1 0.00002874 0.0006075 0.005737 0.002629 0.05127 3.143 0.3507 0.003155 0.0006617 1 1 0 0 0.007534 0 0 0.008207 json
t11_x2_u26_b2 11 2 26 2 flr(mlt(P,sgn(R))) 15703 89412641 o1(o2(x,o1(x))) true 125631 125631 -0.056 0.4736 0.8588 0.8173 0.904 -1 1 2 1 2.72 0.03337 0.04339 0.1064 -0.1305 1 -0.000008313 0.07809 0.09296 0.06541 0.2558 2.403 1.863 0.09393 0.09555 1 1 0 0 0.09871 0 0 0.1208 json
t11_x2_u26_b3 11 2 26 3 flr(div(P,sgn(R))) 15704 89412642 o1(o2(x,o1(x))) true 125639 125639 -0.056 0.4736 0.8588 0.8173 0.904 -1 1 2 1 2.72 0.03337 0.04339 0.1064 -0.1305 1 -0.000008312 0.07809 0.09296 0.06541 0.2558 2.403 1.863 0.09392 0.09555 1 1 0 0 0.09871 0 0 0.1208 json
t11_x2_u26_b4 11 2 26 4 flr(pow(P,sgn(R))) 15705 89412643 o1(o2(x,o1(x))) true 125647 125647 -0.2422 0.4186 0.8515 0.7727 0.879 -1 1 2 1 2.048 0.0152 0.006379 0.03289 0.4088 1 -0.0001735 0.03645 0.03274 0.02051 0.1432 4.354 2.828 0.02793 0.04717 1 1 0 0 0.03073 0 0 0.03977 json
t11_x2_u26_b5 11 2 26 5 flr(mod(P,sgn(R))) 15706 89412644 o1(o2(x,o1(x))) true 125655 125655 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
t11_x2_u26_b6 11 2 26 6 flr(lrg(P,sgn(R))) 15707 89412645 o1(o2(x,o1(x))) true 125663 125663 0.4648 0.541 0.4648 0.2315 0.4811 0 1 1 1 1.711 0.0005491 0.0002856 0.009689 0.3156 1 0.00001711 0.00004555 0.002325 0.0007411 0.02722 2.81 0.1169 0.003606 0.0001968 1 1 0 0 0.002192 0 0 0.009467 json
t11_x2_u26_b7 11 2 26 7 flr(eql(P,sgn(R))) 15708 89412646 o1(o2(x,o1(x))) true 125671 125671 0.06641 0.1954 0.06641 0.04165 0.2041 0 0.9997 0.9997 1 1.048 0.0006635 0.0003158 0.01147 0.355 1 -4.364e-10 0.00005347 0.002748 0.0008472 0.02911 2.538 0.1169 0.02351 0.001284 1 1 0 0 0.002493 0 0 0.05987 json
t11_x2_u26_b8 11 2 26 8 flr(min(P,sgn(R))) 15709 89412647 o1(o2(x,o1(x))) true 125679 125679 -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 0 0.01813 0 0 0.03827 json
t11_x2_u26_b9 11 2 26 9 flr(dot(P,sgn(R))) 15710 89412648 o1(o2(x,o1(x))) true 125687 125687 -0.08787 0.4576 0.9178 0.8848 0.9407 -1 1 2 1 2.187 0.04287 0.05536 0.1113 -0.1272 1 0.000105 0.1226 0.1178 0.08582 0.2929 2.632 2.355 0.111 0.1385 1 1 0 0 0.1236 0 0 0.1397 json
t11_x2_u26_b10 11 2 26 10 flr(dst(P,sgn(R))) 15711 89412649 o1(o2(x,o1(x))) true 125695 125695 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
t11_x2_u27_b0 11 2 27 0 flr(add(P,nrm(R))) 15712 89412840 o1(o2(x,o1(x))) true 125703 125703 -0.05877 0.4723 0.9451 0.9283 0.9635 -1 1 2 1 1.786 0.001009 0.0002866 0.01014 0.5576 1 -0.00001667 0.000135 0.00275 0.001193 0.03453 3.406 0.2338 0.001396 0.0001454 1 1 0 0 0.003407 0 0 0.00367 json
t11_x2_u27_b1 11 2 27 1 flr(sub(P,nrm(R))) 15713 89412841 o1(o2(x,o1(x))) true 125711 125711 -0.06541 0.4608 0.9287 0.9116 0.9548 -1 1 2 1 1.855 0.0009844 0.0002879 0.01003 0.5475 1 0.00001926 0.0001808 0.003033 0.001171 0.03422 3.413 0.2338 0.001396 0.0001983 1 1 0 0 0.00338 0 0 0.003707 json
t11_x2_u27_b2 11 2 27 2 flr(mlt(P,nrm(R))) 15714 89412842 o1(o2(x,o1(x))) true 125719 125719 -0.2694 0.3029 0.7398 0.6111 0.7818 -1 1 2 1 3.367 0.01655 0.01886 0.08764 -0.06541 1 -0.00003255 0.01935 0.04804 0.02774 0.1665 1.9 1.33 0.05794 0.03167 1 1 0 0 0.04734 0 0 0.07746 json
t11_x2_u27_b3 11 2 27 3 flr(div(P,nrm(R))) 15715 89412843 o1(o2(x,o1(x))) true 125727 125727 -0.08287 0.4625 0.9195 0.8928 0.9449 -1 1 2 1 2.035 0.06047 0.07736 0.1121 -0.1225 1 0.0002092 0.2633 0.1556 0.1253 0.354 3.157 2.828 0.1544 0.2949 1 1 0 0 0.1576 0 0 0.1765 json
t11_x2_u27_b4 11 2 27 4 flr(pow(P,nrm(R))) 15716 89412844 o1(o2(x,o1(x))) true 125735 125735 -0.2953 0.4163 0.7984 0.6771 0.8228 -1 1 2 1 2.391 0.01449 0.005156 0.03305 0.475 1 -0.0001112 0.03482 0.02739 0.01856 0.1362 4.122 2.828 0.02901 0.05142 1 1 0 0 0.02749 0 0 0.0406 json
t11_x2_u27_b5 11 2 27 5 flr(mod(P,nrm(R))) 15717 89412845 o1(o2(x,o1(x))) true 125743 125743 -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 0 0.0009255 0 0 0.00382 json
t11_x2_u27_b6 11 2 27 6 flr(lrg(P,nrm(R))) 15718 89412846 o1(o2(x,o1(x))) true 125751 125751 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
t11_x2_u27_b7 11 2 27 7 flr(eql(P,nrm(R))) 15719 89412847 o1(o2(x,o1(x))) true 125759 125759 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
t11_x2_u27_b8 11 2 27 8 flr(min(P,nrm(R))) 15720 89412848 o1(o2(x,o1(x))) true 125767 125767 -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 0 0.005145 0 0 0.04012 json
t11_x2_u27_b9 11 2 27 9 flr(dot(P,nrm(R))) 15721 89412849 o1(o2(x,o1(x))) true 125775 125775 -0.2181 0.3813 0.8586 0.7717 0.8785 -1 1 2 1 2.689 0.02561 0.03303 0.1012 -0.1264 1 0.0001017 0.0461 0.07442 0.04842 0.22 2.175 1.87 0.07599 0.05974 1 1 0 0 0.0733 0 0 0.09498 json
t11_x2_u27_b10 11 2 27 10 flr(dst(P,nrm(R))) 15722 89412850 o1(o2(x,o1(x))) true 125783 125783 0.9942 1 0.9942 0.003694 0.06078 0.000582 1 0.9994 1 0.1419 0.00007977 0.0001 0.001481 -0.1126 1 -7.696e-11 0.00003876 0.0005727 0.0001775 0.01332 8.993 0.2359 0.04867 0.01049 1 1 0 0 0.0006054 0 0 0.1639 json
t11_x2_u28_b0 11 2 28 0 cil(add(P,sqt(R))) 15723 89413041 o1(o2(x,o1(x))) true 125791 125791 -0.9746 0.01172 0.9941 0.04301 0.2074 -1 1 2 1 0.189 0.002839 0.005182 0.005361 -0.2922 1 -1.802e-10 0.01655 0.009482 0.007993 0.0894 16.68 2.828 0.1865 0.3849 1 1 0 0 0.002799 0 0 0.06509 json
t11_x2_u28_b1 11 2 28 1 cil(sub(P,sqt(R))) 15724 89413042 o1(o2(x,o1(x))) true 125799 125799 -0.9844 0.007813 0.9961 0.02625 0.162 -1 1 2 1 0.1256 0.00206 0.003166 0.003355 -0.2116 1 3.754e-12 0.01089 0.005899 0.005215 0.07221 21.53 2.828 0.1991 0.4147 1 1 0 0 0.0006169 0 0 0.0235 json
t11_x2_u28_b2 11 2 28 2 cil(mlt(P,sqt(R))) 15725 89413043 o1(o2(x,o1(x))) true 125807 125807 -0.9785 0.007813 0.9902 0.03148 0.1774 -1 1 2 1 0.1945 0.002838 0.00367 0.004857 -0.1279 1 -5.632e-11 0.01354 0.008477 0.006487 0.08054 16.58 2.828 0.2067 0.4301 1 1 0 0 0.002135 0 0 0.06781 json
t11_x2_u28_b3 11 2 28 3 cil(div(P,sqt(R))) 15726 89413044 o1(o2(x,o1(x))) true 125815 125815 -0.9838 0.007813 0.9967 0.02824 0.168 -1 1 2 1 0.1184 0.002079 0.003425 0.003434 -0.2445 1 0 0.01141 0.006104 0.005493 0.07411 21.59 2.828 0.1949 0.4041 1 1 0 0 0.0007308 0 0 0.02588 json
t11_x2_u28_b4 11 2 28 4 cil(pow(P,sqt(R))) 15727 89413045 o1(o2(x,o1(x))) true 125823 125823 -0.9609 0.02344 0.9922 0.06706 0.259 -1 1 2 1 0.226 0.0079 0.006387 0.008969 0.1059 1 -1.201e-10 0.03013 0.01633 0.01421 0.1192 13.29 2.828 0.213 0.4493 1 1 0 0 0.01203 0 0 0.1794 json
t11_x2_u28_b5 11 2 28 5 cil(mod(P,sqt(R))) 15728 89413046 o1(o2(x,o1(x))) true 125831 125831 -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 0 0.006666 0 0 0.1154 json
t11_x2_u28_b6 11 2 28 6 cil(lrg(P,sqt(R))) 15729 89413047 o1(o2(x,o1(x))) true 125839 125839 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 0 0.004654 0 0 0.03158 json
t11_x2_u28_b7 11 2 28 7 cil(eql(P,sqt(R))) 15730 89413048 o1(o2(x,o1(x))) true 125847 125847 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
t11_x2_u28_b8 11 2 28 8 cil(min(P,sqt(R))) 15731 89413049 o1(o2(x,o1(x))) true 125855 125855 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 0 0.001851 0 0 0.002003 json
t11_x2_u28_b9 11 2 28 9 cil(dot(P,sqt(R))) 15732 89413050 o1(o2(x,o1(x))) true 125863 125863 -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
t11_x2_u28_b10 11 2 28 10 cil(dst(P,sqt(R))) 15733 89413051 o1(o2(x,o1(x))) true 125871 125871 -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.004024 0.06344 31.76 2.828 0.259 0.5504 1 1 0 0 0.007091 0 0 0.4556 json
t11_x2_u29_b0 11 2 29 0 cil(add(P,log(R))) 15734 89413242 o1(o2(x,o1(x))) true 125879 125879 -0.9863 0.006439 0.9973 0.02361 0.1537 -1 1 2 1 0.1154 0.002078 0.002877 0.003238 -0.1614 1 -3.004e-11 0.01029 0.005422 0.004944 0.07032 21.71 2.828 0.2099 0.4357 1 1 0 0 0.0006167 0 0 0.02612 json
t11_x2_u29_b1 11 2 29 1 cil(sub(P,log(R))) 15735 89413243 o1(o2(x,o1(x))) true 125887 125887 -0.9743 0.01172 0.9945 0.04417 0.2102 -1 1 2 1 0.1853 0.00285 0.005313 0.005407 -0.3018 1 1.201e-10 0.01682 0.009586 0.008132 0.09018 16.68 2.828 0.1848 0.3808 1 1 0 0 0.0028 0 0 0.06338 json
t11_x2_u29_b2 11 2 29 2 cil(mlt(P,log(R))) 15736 89413244 o1(o2(x,o1(x))) true 125895 125895 -0.9275 0.03516 0.9939 0.1332 0.365 -1 1 2 1 0.2865 0.01516 0.01231 0.01447 0.104 1 0.00001781 0.05746 0.02863 0.02727 0.1651 11.41 2.828 0.2062 0.4313 1 1 0 0 0.02441 0 0 0.1832 json
t11_x2_u29_b3 11 2 29 3 cil(div(P,log(R))) 15737 89413245 o1(o2(x,o1(x))) true 125903 125903 -0.9296 0.03516 0.998 0.1335 0.3654 -1 1 2 1 0.2511 0.01499 0.01233 0.01414 0.09769 1 -3.379e-11 0.057 0.02783 0.02714 0.1647 11.65 2.828 0.2046 0.4269 1 1 0 0 0.02446 0 0 0.1832 json
t11_x2_u29_b4 11 2 29 4 cil(pow(P,log(R))) 15738 89413246 o1(o2(x,o1(x))) true 125911 125911 -0.9844 0.007813 1 0.03101 0.1761 -1 1 2 1 0.06591 0.002771 0.002771 0.002771 0 1 0 0.01159 0.005543 0.005537 0.07441 26.85 2 0.1788 0.3738 1 1 0 0 0 0 0 0 json
t11_x2_u29_b5 11 2 29 5 cil(mod(P,log(R))) 15739 89413247 o1(o2(x,o1(x))) true 125919 125919 -0.9531 0.007813 0.9648 0.05555 0.2357 -1 1 2 1 0.3207 0.005524 0.005812 0.009418 -0.02536 1 -1.765e-10 0.02368 0.01812 0.01125 0.106 11.26 2.828 0.2041 0.4262 1 1 0 0 0.006256 0 0 0.1126 json
t11_x2_u29_b6 11 2 29 6 cil(lrg(P,log(R))) 15740 89413248 o1(o2(x,o1(x))) true 125927 125927 0.7695 0.9621 0.7695 0.1347 0.367 0 1 1 1 2.133 0.0008969 0.001099 0.02334 -0.1011 1 -0.000006429 0.0001133 0.005643 0.001451 0.03809 1.632 0.1169 0.01482 0.0008412 1 1 0 0 0.00381 0 0 0.02829 json
t11_x2_u29_b7 11 2 29 7 cil(eql(P,log(R))) 15741 89413249 o1(o2(x,o1(x))) true 125935 125935 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
t11_x2_u29_b8 11 2 29 8 cil(min(P,log(R))) 15742 89413250 o1(o2(x,o1(x))) true 125943 125943 -0.1841 0.4171 0.8344 0.7701 0.8775 -1 1 2 1 2.577 0.004882 0.007328 0.03909 -0.2003 1 -0.0001149 0.006073 0.02168 0.01068 0.1033 2.644 1.02 0.01586 0.007887 1 1 0 0 0.01701 0 0 0.02209 json
t11_x2_u29_b9 11 2 29 9 cil(dot(P,log(R))) 15743 89413251 o1(o2(x,o1(x))) true 125951 125951 -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.004024 0.06344 31.76 2.828 0.259 0.5504 1 1 0 0 0.007091 0 0 0.4556 json
t11_x2_u29_b10 11 2 29 10 cil(dst(P,log(R))) 15744 89413252 o1(o2(x,o1(x))) true 125959 125959 -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
t11_x2_u30_b0 11 2 30 0 cil(add(P,frc(R))) 15745 89413443 o1(o2(x,o1(x))) true 125967 125967 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 0 0.001851 0 0 0.002038 json
t11_x2_u30_b1 11 2 30 1 cil(sub(P,frc(R))) 15746 89413444 o1(o2(x,o1(x))) true 125975 125975 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 0 0.001851 0 0 0.002003 json
t11_x2_u30_b2 11 2 30 2 cil(mlt(P,frc(R))) 15747 89413445 o1(o2(x,o1(x))) true 125983 125983 0.1367 0.5 0.8008 0.7593 0.8714 -1 1 2 1 2.504 0.001633 0.0008338 0.01763 0.3239 1 0.00001115 0.0007415 0.00708 0.002156 0.04643 2.634 0.3977 0.003248 0.0009766 1 1 0 0 0.004752 0 0 0.006258 json
t11_x2_u30_b3 11 2 30 3 cil(div(P,frc(R))) 15748 89413446 o1(o2(x,o1(x))) true 125991 125991 0.004531 0.5 0.9586 0.951 0.9752 -1 1 2 1 1.532 0.001847 0.0001649 0.008249 0.8361 1 1.149e-7 0.001902 0.005125 0.001945 0.0441 5.346 0.9874 0.002116 0.002 1 1 0 0 0.004245 0 0 0.004464 json
t11_x2_u30_b4 11 2 30 4 cil(pow(P,frc(R))) 15749 89413447 o1(o2(x,o1(x))) true 125999 125999 -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
t11_x2_u30_b5 11 2 30 5 cil(mod(P,frc(R))) 15750 89413448 o1(o2(x,o1(x))) true 126007 126007 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
t11_x2_u30_b6 11 2 30 6 cil(lrg(P,frc(R))) 15751 89413449 o1(o2(x,o1(x))) true 126015 126015 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
t11_x2_u30_b7 11 2 30 7 cil(eql(P,frc(R))) 15752 89413450 o1(o2(x,o1(x))) true 126023 126023 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
t11_x2_u30_b8 11 2 30 8 cil(min(P,frc(R))) 15753 89413451 o1(o2(x,o1(x))) true 126031 126031 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 0 0.001851 0 0 0.002003 json
t11_x2_u30_b9 11 2 30 9 cil(dot(P,frc(R))) 15754 89413452 o1(o2(x,o1(x))) true 126039 126039 0.07855 0.536 0.8916 0.8566 0.9255 -1 1 2 1 2.382 0.005962 0.006993 0.03913 -0.0796 1 -0.00004007 0.006054 0.0195 0.01142 0.1069 2.731 1.348 0.01512 0.007068 1 1 0 0 0.01739 0 0 0.0203 json
t11_x2_u30_b10 11 2 30 10 cil(dst(P,frc(R))) 15755 89413453 o1(o2(x,o1(x))) true 126047 126047 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
t11_x2_u31_b0 11 2 31 0 cil(add(P,flr(R))) 15756 89413644 o1(o2(x,o1(x))) true 126055 126055 -0.05877 0.4723 0.9451 0.9283 0.9635 -1 1 2 1 1.786 0.001009 0.0002866 0.01014 0.5576 1 -0.00001667 0.000135 0.00275 0.001193 0.03453 3.406 0.2338 0.001396 0.0001454 1 1 0 0 0.003407 0 0 0.00367 json
t11_x2_u31_b1 11 2 31 1 cil(sub(P,flr(R))) 15757 89413645 o1(o2(x,o1(x))) true 126063 126063 0.06404 0.5292 0.9418 0.9239 0.9612 -1 1 2 1 1.81 0.0009419 0.000259 0.009869 0.5687 1 0.00001453 0.0001299 0.002631 0.001104 0.03323 3.367 0.2338 0.0013 0.0001406 1 1 0 0 0.003125 0 0 0.003382 json
t11_x2_u31_b2 11 2 31 2 cil(mlt(P,flr(R))) 15758 89413646 o1(o2(x,o1(x))) true 126071 126071 -0.03133 0.4445 0.6628 0.6203 0.7876 -1 1 2 1 3.223 0.004632 0.005873 0.04815 -0.1181 1 -0.00003416 0.005311 0.02944 0.008187 0.09048 1.879 0.4702 0.01694 0.008563 1 1 0 0 0.01641 0 0 0.02645 json
t11_x2_u31_b3 11 2 31 3 cil(div(P,flr(R))) 15759 89413647 o1(o2(x,o1(x))) true 126079 126079 -0.8613 0.07031 0.998 0.2557 0.5057 -1 1 2 1 0.3963 0.02849 0.02539 0.02718 0.05754 1 1.201e-10 0.1136 0.05447 0.05314 0.2305 8.481 2.828 0.2107 0.4441 1 1 0 0 0.05086 0 0 0.1989 json
t11_x2_u31_b4 11 2 31 4 cil(pow(P,flr(R))) 15760 89413648 o1(o2(x,o1(x))) true 126087 126087 -0.01563 0.4922 1 0.9995 0.9998 -1 1 2 1 0.9998 0.02973 0.02066 0.02499 0.18 1 0 0.1053 0.05039 0.04981 0.2232 8.93 2.828 0.05041 0.1054 1 1 0 0 0.05801 0 0 0.05803 json
t11_x2_u31_b5 11 2 31 5 cil(mod(P,flr(R))) 15761 89413649 o1(o2(x,o1(x))) true 126095 126095 -0.9297 0 0.9297 0.06532 0.2556 -1 0 1 1 0.3671 0.00548 0.006677 0.01207 -0.09845 1 0 0.02545 0.02431 0.01201 0.1096 9.077 1.414 0.1861 0.3896 1 1 0 0 0.01256 0 0 0.1923 json
t11_x2_u31_b6 11 2 31 6 cil(lrg(P,flr(R))) 15762 89413650 o1(o2(x,o1(x))) true 126103 126103 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
t11_x2_u31_b7 11 2 31 7 cil(eql(P,flr(R))) 15763 89413651 o1(o2(x,o1(x))) true 126111 126111 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 0 0.001703 0 0 0.04509 json
t11_x2_u31_b8 11 2 31 8 cil(min(P,flr(R))) 15764 89413652 o1(o2(x,o1(x))) true 126119 126119 -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 0 0.005145 0 0 0.04012 json
t11_x2_u31_b9 11 2 31 9 cil(dot(P,flr(R))) 15765 89413653 o1(o2(x,o1(x))) true 126127 126127 -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 0 0.0373 0 0 0.04855 json
t11_x2_u31_b10 11 2 31 10 cil(dst(P,flr(R))) 15766 89413654 o1(o2(x,o1(x))) true 126135 126135 0.9977 1 0.9977 0.001566 0.03958 0.0005822 1 0.9994 1 0.06003 0.00004519 0.0000578 0.0006786 -0.1224 1 -1.877e-12 0.00003666 0.0003375 0.0001025 0.01013 14.92 0.3083 0.06576 0.0234 1 1 0 0 0.0003368 0 0 0.215 json
t11_x2_u32_b0 11 2 32 0 cil(add(P,cil(R))) 15767 89413845 o1(o2(x,o1(x))) true 126143 126143 0.06347 0.5253 0.9326 0.9159 0.9571 -1 1 2 1 1.84 0.0009772 0.0002573 0.009837 0.5831 1 -0.00001925 0.0001771 0.002995 0.001138 0.03373 3.429 0.2338 0.001348 0.0001934 1 1 0 0 0.003184 0 0 0.003476 json
t11_x2_u32_b1 11 2 32 1 cil(sub(P,cil(R))) 15768 89413846 o1(o2(x,o1(x))) true 126151 126151 -0.06541 0.4608 0.9287 0.9116 0.9548 -1 1 2 1 1.855 0.0009844 0.0002879 0.01003 0.5475 1 0.00001926 0.0001808 0.003033 0.001171 0.03422 3.413 0.2338 0.001396 0.0001983 1 1 0 0 0.00338 0 0 0.003707 json
t11_x2_u32_b2 11 2 32 2 cil(mlt(P,cil(R))) 15769 89413847 o1(o2(x,o1(x))) true 126159 126159 -0.01528 0.4588 0.6308 0.5848 0.7647 -1 1 2 1 3.364 0.004633 0.00582 0.04992 -0.1136 1 -0.0001012 0.005193 0.02934 0.007964 0.08924 1.788 0.4702 0.01788 0.00888 1 1 0 0 0.01726 0 0 0.02952 json
t11_x2_u32_b3 11 2 32 3 cil(div(P,cil(R))) 15770 89413848 o1(o2(x,o1(x))) true 126167 126167 -0.9375 0.03125 0.9961 0.1163 0.3411 -1 1 2 1 0.2674 0.01315 0.01501 0.01469 -0.06614 1 3.754e-12 0.05977 0.02883 0.02795 0.1672 11.38 2.828 0.242 0.5137 1 1 0 0 0.02189 0 0 0.1882 json
t11_x2_u32_b4 11 2 32 4 cil(pow(P,cil(R))) 15771 89413849 o1(o2(x,o1(x))) true 126175 126175 0.07812 0.5469 0.9844 0.9743 0.9871 -1 1 2 1 1.277 0.0192 0.01438 0.02018 0.1437 1 0.000002852 0.06878 0.03587 0.03317 0.1821 9.025 2.828 0.03446 0.07059 1 1 0 0 0.03597 0 0 0.03692 json
t11_x2_u32_b5 11 2 32 5 cil(mod(P,cil(R))) 15772 89413850 o1(o2(x,o1(x))) true 126183 126183 -0.957 0 0.957 0.04112 0.2028 -1 0 1 1 0.2557 0.00422 0.004094 0.008259 0.01515 1 0 0.01738 0.01663 0.008241 0.09078 10.99 1.414 0.2022 0.4228 1 1 0 0 0.006357 0 0 0.1546 json
t11_x2_u32_b6 11 2 32 6 cil(lrg(P,cil(R))) 15773 89413851 o1(o2(x,o1(x))) true 126191 126191 0.4297 0.4783 0.4297 0.2349 0.4847 0 1 1 1 1.451 0.0003045 0.0001755 0.005652 0.2688 1 0.00001141 0.00002677 0.001359 0.0004481 0.02117 3.745 0.1169 0.002043 0.0001139 1 1 0 0 0.001279 0 0 0.005444 json
t11_x2_u32_b7 11 2 32 7 cil(eql(P,cil(R))) 15774 89413852 o1(o2(x,o1(x))) true 126199 126199 0.07422 0.1637 0.07422 0.05254 0.2292 0 1 1 1 0.9712 0.000489 0.000276 0.008922 0.2785 1 -0.000005705 0.00004318 0.002158 0.0006856 0.02618 2.935 0.1169 0.01456 0.0008219 1 1 0 0 0.001958 0 0 0.03726 json
t11_x2_u32_b8 11 2 32 8 cil(min(P,cil(R))) 15775 89413853 o1(o2(x,o1(x))) true 126207 126207 -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 0 0.005382 0 0 0.00958 json
t11_x2_u32_b9 11 2 32 9 cil(dot(P,cil(R))) 15776 89413854 o1(o2(x,o1(x))) true 126215 126215 -0.02507 0.4854 0.8341 0.7991 0.8939 -1 1 2 1 2.713 0.01024 0.01346 0.06185 -0.136 1 -0.00007087 0.01474 0.04208 0.01988 0.141 2.28 1.472 0.02966 0.01844 1 1 0 0 0.03431 0 0 0.04293 json
t11_x2_u32_b10 11 2 32 10 cil(dst(P,cil(R))) 15777 89413855 o1(o2(x,o1(x))) true 126223 126223 0.9975 1 0.9975 0.001618 0.04022 0.000582 1 0.9994 1 0.06516 0.00005518 0.0000431 0.0006888 0.1229 0 -1.126e-11 0.00003306 0.0003156 0.0000978 0.009889 14.36 0.3083 0.06074 0.02043 1 1 0 0 0.0003217 0 0 0.1989 json
t11_x2_u33_b0 11 2 33 0 cil(add(P,sgn(R))) 15778 89414046 o1(o2(x,o1(x))) true 126231 126231 0.006117 0.4994 0.9421 0.9262 0.9624 -1 1 2 1 1.861 0.001892 0.001043 0.0157 0.2894 1 -0.00003255 0.0006342 0.005652 0.002688 0.05184 3.302 0.3507 0.003169 0.0006847 1 1 0 0 0.007625 0 0 0.008232 json
t11_x2_u33_b1 11 2 33 1 cil(sub(P,sgn(R))) 15779 89414047 o1(o2(x,o1(x))) true 126239 126239 -0.00008297 0.5047 0.9353 0.918 0.9581 -1 1 2 1 1.934 0.001844 0.001053 0.01631 0.2732 1 0.00002874 0.0006075 0.005737 0.002629 0.05127 3.143 0.3507 0.003155 0.0006617 1 1 0 0 0.007534 0 0 0.008207 json
t11_x2_u33_b2 11 2 33 2 cil(mlt(P,sgn(R))) 15780 89414048 o1(o2(x,o1(x))) true 126247 126247 -0.056 0.4736 0.8588 0.8173 0.904 -1 1 2 1 2.72 0.03337 0.04339 0.1064 -0.1305 1 -0.000008313 0.07809 0.09296 0.06541 0.2558 2.403 1.863 0.09393 0.09555 1 1 0 0 0.09871 0 0 0.1208 json
t11_x2_u33_b3 11 2 33 3 cil(div(P,sgn(R))) 15781 89414049 o1(o2(x,o1(x))) true 126255 126255 -0.056 0.4736 0.8588 0.8173 0.904 -1 1 2 1 2.72 0.03337 0.04339 0.1064 -0.1305 1 -0.000008312 0.07809 0.09296 0.06541 0.2558 2.403 1.863 0.09392 0.09555 1 1 0 0 0.09871 0 0 0.1208 json
t11_x2_u33_b4 11 2 33 4 cil(pow(P,sgn(R))) 15782 89414050 o1(o2(x,o1(x))) true 126263 126263 -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
t11_x2_u33_b5 11 2 33 5 cil(mod(P,sgn(R))) 15783 89414051 o1(o2(x,o1(x))) true 126271 126271 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
t11_x2_u33_b6 11 2 33 6 cil(lrg(P,sgn(R))) 15784 89414052 o1(o2(x,o1(x))) true 126279 126279 0.4648 0.541 0.4648 0.2315 0.4811 0 1 1 1 1.711 0.0005491 0.0002856 0.009689 0.3156 1 0.00001711 0.00004555 0.002325 0.0007411 0.02722 2.81 0.1169 0.003606 0.0001968 1 1 0 0 0.002192 0 0 0.009467 json
t11_x2_u33_b7 11 2 33 7 cil(eql(P,sgn(R))) 15785 89414053 o1(o2(x,o1(x))) true 126287 126287 0.06641 0.1954 0.06641 0.04165 0.2041 0 0.9997 0.9997 1 1.048 0.0006635 0.0003158 0.01147 0.355 1 -4.364e-10 0.00005347 0.002748 0.0008472 0.02911 2.538 0.1169 0.02351 0.001284 1 1 0 0 0.002493 0 0 0.05987 json
t11_x2_u33_b8 11 2 33 8 cil(min(P,sgn(R))) 15786 89414054 o1(o2(x,o1(x))) true 126295 126295 -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 0 0.01813 0 0 0.03827 json
t11_x2_u33_b9 11 2 33 9 cil(dot(P,sgn(R))) 15787 89414055 o1(o2(x,o1(x))) true 126303 126303 -0.08787 0.4576 0.9178 0.8848 0.9407 -1 1 2 1 2.187 0.04287 0.05536 0.1113 -0.1272 1 0.000105 0.1226 0.1178 0.08582 0.2929 2.632 2.355 0.111 0.1385 1 1 0 0 0.1236 0 0 0.1397 json
t11_x2_u33_b10 11 2 33 10 cil(dst(P,sgn(R))) 15788 89414056 o1(o2(x,o1(x))) true 126311 126311 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
t11_x2_u34_b0 11 2 34 0 cil(add(P,nrm(R))) 15789 89414247 o1(o2(x,o1(x))) true 126319 126319 0.06347 0.5253 0.9326 0.9159 0.9571 -1 1 2 1 1.84 0.0009772 0.0002573 0.009837 0.5831 1 -0.00001925 0.0001771 0.002995 0.001138 0.03373 3.429 0.2338 0.001348 0.0001934 1 1 0 0 0.003184 0 0 0.003476 json
t11_x2_u34_b1 11 2 34 1 cil(sub(P,nrm(R))) 15790 89414248 o1(o2(x,o1(x))) true 126327 126327 0.06404 0.5292 0.9418 0.9239 0.9612 -1 1 2 1 1.81 0.0009419 0.000259 0.009869 0.5687 1 0.00001453 0.0001299 0.002631 0.001104 0.03323 3.367 0.2338 0.0013 0.0001406 1 1 0 0 0.003125 0 0 0.003382 json
t11_x2_u34_b2 11 2 34 2 cil(mlt(P,nrm(R))) 15791 89414249 o1(o2(x,o1(x))) true 126335 126335 0.1312 0.5867 0.7346 0.6563 0.8101 -1 1 2 1 3.497 0.01656 0.02009 0.09323 -0.09613 1 -0.00007408 0.01932 0.04857 0.02795 0.1672 1.793 1.371 0.05584 0.02943 1 1 0 0 0.04967 0 0 0.07568 json
t11_x2_u34_b3 11 2 34 3 cil(div(P,nrm(R))) 15792 89414250 o1(o2(x,o1(x))) true 126343 126343 -0.003315 0.4974 0.9219 0.9033 0.9504 -1 1 2 1 2.013 0.06113 0.07933 0.1127 -0.1295 1 0.0002157 0.2705 0.1579 0.1278 0.3574 3.173 2.828 0.1555 0.2994 1 1 0 0 0.16 0 0 0.1772 json
t11_x2_u34_b4 11 2 34 4 cil(pow(P,nrm(R))) 15793 89414251 o1(o2(x,o1(x))) true 126351 126351 -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
t11_x2_u34_b5 11 2 34 5 cil(mod(P,nrm(R))) 15794 89414252 o1(o2(x,o1(x))) true 126359 126359 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
t11_x2_u34_b6 11 2 34 6 cil(lrg(P,nrm(R))) 15795 89414253 o1(o2(x,o1(x))) true 126367 126367 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
t11_x2_u34_b7 11 2 34 7 cil(eql(P,nrm(R))) 15796 89414254 o1(o2(x,o1(x))) true 126375 126375 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
t11_x2_u34_b8 11 2 34 8 cil(min(P,nrm(R))) 15797 89414255 o1(o2(x,o1(x))) true 126383 126383 -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 0 0.005382 0 0 0.00958 json
t11_x2_u34_b9 11 2 34 9 cil(dot(P,nrm(R))) 15798 89414256 o1(o2(x,o1(x))) true 126391 126391 0.04638 0.5303 0.8692 0.8268 0.9093 -1 1 2 1 2.708 0.02544 0.03368 0.1031 -0.1393 1 -0.000025 0.0457 0.07558 0.0485 0.2202 2.136 1.825 0.0715 0.05528 1 1 0 0 0.07466 0 0 0.0903 json
t11_x2_u34_b10 11 2 34 10 cil(dst(P,nrm(R))) 15799 89414257 o1(o2(x,o1(x))) true 126399 126399 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