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
t14_x0_u4_b8 14 0 4 8 cil(add(min(P,P),P)) 47400 113689226 o1(o2(o2(x,x),x)) true 38167 38167 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json
t14_x0_u4_b9 14 0 4 9 cil(add(dot(P,P),P)) 47401 113689227 o1(o2(o2(x,x),x)) true 38175 38175 0.9937 1 0.9937 0.004639 0.06811 0.000291 1 0.9997 1 0.1265 0.00007372 0.0000757 0.001194 -0.01323 1 -3.379e-11 0.00003768 0.0004689 0.0001478 0.01216 10.18 0.2359 0.03221 0.008122 1 1 0.0005008 0.005438 0.017 0.108 1.172 3.665 json
t14_x0_u4_b10 14 0 4 10 cil(add(dst(P,P),P)) 47402 113689228 o1(o2(o2(x,x),x)) true 38183 38183 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
t14_x0_u4_b11 14 0 4 11 cil(sub(add(P,P),P)) 47403 113689229 o1(o2(o2(x,x),x)) true 38191 38191 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
t14_x0_u4_b12 14 0 4 12 cil(sub(sub(P,P),P)) 47404 113689230 o1(o2(o2(x,x),x)) true 38199 38199 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
t14_x0_u4_b13 14 0 4 13 cil(sub(mlt(P,P),P)) 47405 113689231 o1(o2(o2(x,x),x)) true 38207 38207 0.8944 0.9375 0.8944 0.08685 0.2947 0 1 1 1 0.7463 0.001303 0 0.007937 1 1 -1.892e-9 0.0002682 0.003596 0.001241 0.03522 4.438 0.2265 0.01501 0.003088 1 1 0.003279 0.03186 0.132 0.03776 0.3669 1.52 json
t14_x0_u4_b14 14 0 4 14 cil(sub(div(P,P),P)) 47406 113689232 o1(o2(o2(x,x),x)) true 38215 38215 -0.09375 0.4375 0.9688 0.9525 0.976 -1 1 2 1 1.404 0.02019 0 0.01587 1 1 0 0.03975 0.02473 0.01993 0.1412 8.896 2 0.0212 0.04173 1 1 0.0272 0.1109 0.3698 0.02856 0.1164 0.3883 json
t14_x0_u4_b15 14 0 4 15 cil(sub(pow(P,P),P)) 47407 113689233 o1(o2(o2(x,x),x)) true 38223 38223 -0.05277 0.5 0.9472 0.9342 0.9665 -1 1 2 1 1.59 0.01687 0 0.01587 1 1 -1.419e-9 0.032 0.0186 0.01662 0.1289 8.123 2 0.01806 0.03425 1 1 0.02354 0.09877 0.2515 0.0252 0.1057 0.2692 json
t14_x0_u4_b16 14 0 4 16 cil(sub(mod(P,P),P)) 47408 113689234 o1(o2(o2(x,x),x)) true 38231 38231 -0.125 0.375 0.7463 0.7093 0.8422 -1 1 2 1 2.465 0.02375 0 0.03967 1 1 1.877e-12 0.03553 0.03674 0.02218 0.1489 3.754 2 0.03348 0.05009 1 1 0.03363 0.1714 0.4313 0.04742 0.2416 0.608 json
t14_x0_u4_b17 14 0 4 17 cil(sub(lrg(P,P),P)) 47409 113689235 o1(o2(o2(x,x),x)) true 38239 38239 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
t14_x0_u4_b18 14 0 4 18 cil(sub(eql(P,P),P)) 47410 113689236 o1(o2(o2(x,x),x)) true 38247 38247 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
t14_x0_u4_b19 14 0 4 19 cil(sub(min(P,P),P)) 47411 113689237 o1(o2(o2(x,x),x)) true 38255 38255 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
t14_x0_u4_b20 14 0 4 20 cil(sub(dot(P,P),P)) 47412 113689238 o1(o2(o2(x,x),x)) true 38263 38263 0.9937 1 0.9937 0.004639 0.06811 0.000291 1 0.9997 1 0.1265 0.00007372 0.0000757 0.001194 -0.01323 1 -3.379e-11 0.00003768 0.0004689 0.0001478 0.01216 10.18 0.2359 0.03221 0.008122 1 1 0.0005008 0.005438 0.017 0.108 1.172 3.665 json
t14_x0_u4_b21 14 0 4 21 cil(sub(dst(P,P),P)) 47413 113689239 o1(o2(o2(x,x),x)) true 38271 38271 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
t14_x0_u4_b22 14 0 4 22 cil(mlt(add(P,P),P)) 47414 113689240 o1(o2(o2(x,x),x)) true 38279 38279 0.9569 1 0.9569 0.03358 0.1833 0.0005821 1 0.9994 1 0.4876 0.001303 0 0.007932 1 1 -1.892e-9 0.0002683 0.003596 0.001239 0.0352 4.438 0.2265 0.03881 0.007989 1 1 0.003279 0.03105 0.04776 0.09765 0.9245 1.422 json
t14_x0_u4_b23 14 0 4 23 cil(mlt(sub(P,P),P)) 47415 113689241 o1(o2(o2(x,x),x)) true 38287 38287 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
t14_x0_u4_b24 14 0 4 24 cil(mlt(mlt(P,P),P)) 47416 113689242 o1(o2(o2(x,x),x)) true 38295 38295 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
t14_x0_u4_b25 14 0 4 25 cil(mlt(div(P,P),P)) 47417 113689243 o1(o2(o2(x,x),x)) true 38303 38303 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t14_x0_u4_b26 14 0 4 26 cil(mlt(pow(P,P),P)) 47418 113689244 o1(o2(o2(x,x),x)) true 38311 38311 -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
t14_x0_u4_b27 14 0 4 27 cil(mlt(mod(P,P),P)) 47419 113689245 o1(o2(o2(x,x),x)) true 38319 38319 0.4267 0.625 0.6767 0.4834 0.6953 -1 1 2 1 1.744 0.01948 0 0.03433 1 1 -0.005166 0.02885 0.04529 0.0183 0.1353 3.941 1 0.0403 0.05967 1 1 0.03032 0.1561 0.5687 0.06271 0.323 1.176 json
t14_x0_u4_b28 14 0 4 28 cil(mlt(lrg(P,P),P)) 47420 113689246 o1(o2(o2(x,x),x)) true 38327 38327 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
t14_x0_u4_b29 14 0 4 29 cil(mlt(eql(P,P),P)) 47421 113689247 o1(o2(o2(x,x),x)) true 38335 38335 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
t14_x0_u4_b30 14 0 4 30 cil(mlt(min(P,P),P)) 47422 113689248 o1(o2(o2(x,x),x)) true 38343 38343 0.9375 1 0.9375 0.04507 0.2123 0.000291 1 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
t14_x0_u4_b31 14 0 4 31 cil(mlt(dot(P,P),P)) 47423 113689249 o1(o2(o2(x,x),x)) true 38351 38351 -2.328e-10 0.5 0.9764 0.9724 0.9861 -1 1 2 1 1.315 0.003016 0.00001526 0.00799 0.9899 1 8.26e-11 0.002794 0.00757 0.002966 0.05446 6.816 0.7569 0.003117 0.002873 1 1 0.005591 0.04758 0.2975 0.00575 0.04893 0.306 json
t14_x0_u4_b32 14 0 4 32 cil(mlt(dst(P,P),P)) 47424 113689250 o1(o2(o2(x,x),x)) true 38359 38359 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
t14_x0_u4_b33 14 0 4 33 cil(div(add(P,P),P)) 47425 113689251 o1(o2(o2(x,x),x)) true 38367 38367 0.75 0.875 1 0.4375 0.6614 -1 1 2 1 0.5436 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.07256 0.1451 1 1 0.04211 0.1684 0.6737 0.09624 0.385 1.54 json
t14_x0_u4_b34 14 0 4 34 cil(div(sub(P,P),P)) 47426 113689252 o1(o2(o2(x,x),x)) true 38375 38375 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
t14_x0_u4_b35 14 0 4 35 cil(div(mlt(P,P),P)) 47427 113689253 o1(o2(o2(x,x),x)) true 38383 38383 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t14_x0_u4_b36 14 0 4 36 cil(div(div(P,P),P)) 47428 113689254 o1(o2(o2(x,x),x)) true 38391 38391 0.2813 0.4375 0.5938 0.5074 0.7123 -1 1 2 1 1.833 0.01623 0 0.0119 1 1 0 0.03176 0.0168 0.01608 0.1268 10.65 2 0.03198 0.06259 1 1 0.02198 0.09635 0.4119 0.04331 0.1899 0.8118 json
t14_x0_u4_b37 14 0 4 37 cil(div(pow(P,P),P)) 47429 113689255 o1(o2(o2(x,x),x)) true 38399 38399 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t14_x0_u4_b38 14 0 4 38 cil(div(mod(P,P),P)) 47430 113689256 o1(o2(o2(x,x),x)) true 38407 38407 0.25 0.625 0.5 0.3834 0.6192 -1 1 2 1 2.947 0.01076 0 0.03953 1 1 -0.0001797 0.016 0.02311 0.009194 0.09589 2.425 1 0.02806 0.04173 1 1 0.01608 0.1127 0.4601 0.04193 0.2941 1.2 json
t14_x0_u4_b39 14 0 4 39 cil(div(lrg(P,P),P)) 47431 113689257 o1(o2(o2(x,x),x)) true 38415 38415 -0.125 0 0.125 0.1094 0.3307 -1 0 1 1 0.5436 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.07256 0.1451 1 1 0.01053 0.04211 0.1684 0.09624 0.385 1.54 json
t14_x0_u4_b40 14 0 4 40 cil(div(eql(P,P),P)) 47432 113689258 o1(o2(o2(x,x),x)) true 38423 38423 0.4063 0.5 0.5938 0.4216 0.6493 -1 1 2 1 1.697 0.04797 0 0.02778 1 1 0 0.09535 0.04854 0.04718 0.2172 7.82 2 0.1138 0.2262 1 1 0.06401 0.2517 0.2435 0.1518 0.597 0.5776 json
t14_x0_u4_b41 14 0 4 41 cil(div(min(P,P),P)) 47433 113689259 o1(o2(o2(x,x),x)) true 38431 38431 0.75 0.875 1 0.4375 0.6614 -1 1 2 1 0.5436 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.07256 0.1451 1 1 0.04211 0.1684 0.6737 0.09624 0.385 1.54 json
t14_x0_u4_b42 14 0 4 42 cil(div(dot(P,P),P)) 47434 113689260 o1(o2(o2(x,x),x)) true 38439 38439 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t14_x0_u4_b43 14 0 4 43 cil(div(dst(P,P),P)) 47435 113689261 o1(o2(o2(x,x),x)) true 38447 38447 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
t14_x0_u4_b44 14 0 4 44 cil(pow(add(P,P),P)) 47436 113689262 o1(o2(o2(x,x),x)) true 38455 38455 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t14_x0_u4_b45 14 0 4 45 cil(pow(sub(P,P),P)) 47437 113689263 o1(o2(o2(x,x),x)) true 38463 38463 -0.4688 0.0625 0.5313 0.3046 0.5519 -1 0.9997 2 1 1.406 0.01622 0 0.0119 1 1 -4.731e-10 0.03186 0.0168 0.01607 0.1268 10.65 2 0.05326 0.1046 1 1 0.0219 0.08325 0.1593 0.0719 0.2733 0.523 json
t14_x0_u4_b46 14 0 4 46 cil(pow(mlt(P,P),P)) 47438 113689264 o1(o2(o2(x,x),x)) true 38471 38471 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
t14_x0_u4_b47 14 0 4 47 cil(pow(div(P,P),P)) 47439 113689265 o1(o2(o2(x,x),x)) true 38479 38479 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
t14_x0_u4_b48 14 0 4 48 cil(pow(pow(P,P),P)) 47440 113689266 o1(o2(o2(x,x),x)) true 38487 38487 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.03225 0.0645 1 1 0.02105 0.08421 0.4947 0.02139 0.08555 0.5026 json
t14_x0_u4_b49 14 0 4 49 cil(pow(mod(P,P),P)) 47441 113689267 o1(o2(o2(x,x),x)) true 38495 38495 -0.1716 0.375 0.8284 0.7899 0.8888 -1 1 2 1 1.825 0.02389 0 0.02381 1 1 -4.731e-10 0.04357 0.0348 0.02333 0.1527 6.416 2 0.03024 0.05516 1 1 0.03448 0.1432 0.2823 0.04365 0.1813 0.3574 json
t14_x0_u4_b50 14 0 4 50 cil(pow(lrg(P,P),P)) 47442 113689268 o1(o2(o2(x,x),x)) true 38503 38503 -0.4688 0.0625 0.5313 0.3046 0.5519 -1 0.9997 2 1 1.406 0.01622 0 0.0119 1 1 -4.731e-10 0.03186 0.0168 0.01607 0.1268 10.65 2 0.05326 0.1046 1 1 0.0219 0.08325 0.1593 0.0719 0.2733 0.523 json
t14_x0_u4_b51 14 0 4 51 cil(pow(eql(P,P),P)) 47443 113689269 o1(o2(o2(x,x),x)) true 38511 38511 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
t14_x0_u4_b52 14 0 4 52 cil(pow(min(P,P),P)) 47444 113689270 o1(o2(o2(x,x),x)) true 38519 38519 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t14_x0_u4_b53 14 0 4 53 cil(pow(dot(P,P),P)) 47445 113689271 o1(o2(o2(x,x),x)) true 38527 38527 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
t14_x0_u4_b54 14 0 4 54 cil(pow(dst(P,P),P)) 47446 113689272 o1(o2(o2(x,x),x)) true 38535 38535 -0.4688 0.0625 0.5313 0.3046 0.5519 -1 0.9997 2 1 1.406 0.01622 0 0.0119 1 1 -4.731e-10 0.03186 0.0168 0.01607 0.1268 10.65 2 0.05326 0.1046 1 1 0.0219 0.08325 0.1593 0.0719 0.2733 0.523 json
t14_x0_u4_b55 14 0 4 55 cil(mod(add(P,P),P)) 47447 113689273 o1(o2(o2(x,x),x)) true 38543 38543 -0.125 0.3125 0.6255 0.5899 0.768 -1 1 2 1 2.418 0.01617 0 0.03866 1 1 0 0.02037 0.03799 0.01467 0.1211 3.133 1 0.02741 0.03454 1 1 0.02392 0.1466 0.4242 0.04055 0.2485 0.7191 json
t14_x0_u4_b56 14 0 4 56 cil(mod(sub(P,P),P)) 47448 113689274 o1(o2(o2(x,x),x)) true 38551 38551 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
t14_x0_u4_b57 14 0 4 57 cil(mod(mlt(P,P),P)) 47449 113689275 o1(o2(o2(x,x),x)) true 38559 38559 0.3755 0.625 0.6255 0.4645 0.6816 -1 1 2 1 2.041 0.01617 0 0.03866 1 1 -0.001258 0.02037 0.03799 0.01467 0.1211 3.133 1 0.03481 0.04386 1 1 0.02392 0.1466 0.5443 0.05148 0.3155 1.172 json
t14_x0_u4_b58 14 0 4 58 cil(mod(div(P,P),P)) 47450 113689276 o1(o2(o2(x,x),x)) true 38567 38567 0.6875 0.875 0.9375 0.4513 0.6718 -1 1 2 1 1.335 0.008647 0 0.01587 1 1 -4.721e-10 0.01581 0.01762 0.008393 0.09161 5.772 1 0.01916 0.03502 1 1 0.01246 0.0795 0.5713 0.0276 0.1761 1.266 json
t14_x0_u4_b59 14 0 4 59 cil(mod(pow(P,P),P)) 47451 113689277 o1(o2(o2(x,x),x)) true 38575 38575 -0.2959 0.375 0.8291 0.7191 0.848 -1 1 2 1 2.096 0.006068 0 0.01981 1 1 -0.00008984 0.008475 0.01324 0.005677 0.07535 3.804 1 0.008439 0.01179 1 1 0.00955 0.06202 0.2036 0.01328 0.08626 0.2832 json
t14_x0_u4_b60 14 0 4 60 cil(mod(mod(P,P),P)) 47452 113689278 o1(o2(o2(x,x),x)) true 38583 38583 -0.125 0.3125 0.6255 0.5899 0.768 -1 1 2 1 2.418 0.01617 0 0.03866 1 1 0 0.02037 0.03799 0.01467 0.1211 3.133 1 0.02741 0.03454 1 1 0.02392 0.1466 0.4242 0.04055 0.2485 0.7191 json
t14_x0_u4_b61 14 0 4 61 cil(mod(lrg(P,P),P)) 47453 113689279 o1(o2(o2(x,x),x)) true 38591 38591 -0.125 0 0.125 0.1094 0.3307 -1 0 1 1 0.5436 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.07256 0.1451 1 1 0.01053 0.04211 0.1684 0.09624 0.385 1.54 json
t14_x0_u4_b62 14 0 4 62 cil(mod(eql(P,P),P)) 47454 113689280 o1(o2(o2(x,x),x)) true 38599 38599 0.6875 0.875 0.9375 0.4513 0.6718 -1 1 2 1 1.335 0.008647 0 0.01587 1 1 -4.721e-10 0.01581 0.01762 0.008393 0.09161 5.772 1 0.01916 0.03502 1 1 0.01246 0.0795 0.5713 0.0276 0.1761 1.266 json
t14_x0_u4_b63 14 0 4 63 cil(mod(min(P,P),P)) 47455 113689281 o1(o2(o2(x,x),x)) true 38607 38607 -0.125 0.3125 0.6255 0.5899 0.768 -1 1 2 1 2.418 0.01617 0 0.03866 1 1 0 0.02037 0.03799 0.01467 0.1211 3.133 1 0.02741 0.03454 1 1 0.02392 0.1466 0.4242 0.04055 0.2485 0.7191 json
t14_x0_u4_b64 14 0 4 64 cil(mod(dot(P,P),P)) 47456 113689282 o1(o2(o2(x,x),x)) true 38615 38615 0.5551 0.8682 0.8051 0.451 0.6716 -1 1 2 1 2.559 0.01015 0.001398 0.0377 0.7578 1 -0.0002861 0.0169 0.02738 0.01013 0.1006 2.669 1 0.0256 0.03747 1 1 0.01887 0.1401 0.524 0.04185 0.3106 1.162 json
t14_x0_u4_b65 14 0 4 65 cil(mod(dst(P,P),P)) 47457 113689283 o1(o2(o2(x,x),x)) true 38623 38623 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
t14_x0_u4_b66 14 0 4 66 cil(lrg(add(P,P),P)) 47458 113689284 o1(o2(o2(x,x),x)) true 38631 38631 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
t14_x0_u4_b67 14 0 4 67 cil(lrg(sub(P,P),P)) 47459 113689285 o1(o2(o2(x,x),x)) true 38639 38639 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
t14_x0_u4_b68 14 0 4 68 cil(lrg(mlt(P,P),P)) 47460 113689286 o1(o2(o2(x,x),x)) true 38647 38647 0.875 0.9375 0.875 0.09585 0.3096 0 1 1 1 1.067 0.0007059 0 0.007937 1 1 -9.461e-10 0.00003238 0.001855 0.0006432 0.02536 3.195 0.1169 0.007364 0.0003379 1 1 0.001851 0.02429 0.1411 0.01931 0.2534 1.472 json
t14_x0_u4_b69 14 0 4 69 cil(lrg(div(P,P),P)) 47461 113689287 o1(o2(o2(x,x),x)) true 38655 38655 0.5313 0.5625 0.5313 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
t14_x0_u4_b70 14 0 4 70 cil(lrg(pow(P,P),P)) 47462 113689288 o1(o2(o2(x,x),x)) true 38663 38663 0.9375 1 0.9375 0.04507 0.2123 0.000291 1 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
t14_x0_u4_b71 14 0 4 71 cil(lrg(mod(P,P),P)) 47463 113689289 o1(o2(o2(x,x),x)) true 38671 38671 0.3438 0.5 0.3438 0.1918 0.4379 0 1 1 1 2.076 0.001762 0 0.01972 1 1 0.00008984 0.00007983 0.004549 0.001374 0.03706 1.879 0.1169 0.00919 0.0004163 1 1 0.003699 0.04655 0.1458 0.01929 0.2427 0.7605 json
t14_x0_u4_b72 14 0 4 72 cil(lrg(lrg(P,P),P)) 47464 113689290 o1(o2(o2(x,x),x)) true 38679 38679 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
t14_x0_u4_b73 14 0 4 73 cil(lrg(eql(P,P),P)) 47465 113689291 o1(o2(o2(x,x),x)) true 38687 38687 0.5313 0.5625 0.5313 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
t14_x0_u4_b74 14 0 4 74 cil(lrg(min(P,P),P)) 47466 113689292 o1(o2(o2(x,x),x)) true 38695 38695 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
t14_x0_u4_b75 14 0 4 75 cil(lrg(dot(P,P),P)) 47467 113689293 o1(o2(o2(x,x),x)) true 38703 38703 0.9922 1 0.9922 0.005398 0.07347 0.000291 1 0.9997 1 0.1706 0.00003512 0.00007993 0.001346 -0.3895 1 -2.102e-10 0.000006278 0.0003238 0.0001133 0.01064 7.91 0.1169 0.02131 0.001163 1 1 0.0004001 0.00522 0.01922 0.07412 0.9669 3.56 json
t14_x0_u4_b76 14 0 4 76 cil(lrg(dst(P,P),P)) 47468 113689294 o1(o2(o2(x,x),x)) true 38711 38711 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
t14_x0_u4_b77 14 0 4 77 cil(eql(add(P,P),P)) 47469 113689295 o1(o2(o2(x,x),x)) true 38719 38719 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
t14_x0_u4_b78 14 0 4 78 cil(eql(sub(P,P),P)) 47470 113689296 o1(o2(o2(x,x),x)) true 38727 38727 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
t14_x0_u4_b79 14 0 4 79 cil(eql(mlt(P,P),P)) 47471 113689297 o1(o2(o2(x,x),x)) true 38735 38735 0.125 0.1875 0.125 0.09585 0.3096 0 1 1 1 1.067 0.0007059 0 0.007937 1 1 -9.461e-10 0.00003238 0.001855 0.0006432 0.02536 3.195 0.1169 0.007364 0.0003379 1 1 0.001851 0.02429 0.1411 0.01931 0.2534 1.472 json
t14_x0_u4_b80 14 0 4 80 cil(eql(div(P,P),P)) 47472 113689298 o1(o2(o2(x,x),x)) true 38743 38743 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
t14_x0_u4_b81 14 0 4 81 cil(eql(pow(P,P),P)) 47473 113689299 o1(o2(o2(x,x),x)) true 38751 38751 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
t14_x0_u4_b82 14 0 4 82 cil(eql(mod(P,P),P)) 47474 113689300 o1(o2(o2(x,x),x)) true 38759 38759 0.375 0.625 0.375 0.1803 0.4246 0 1 1 1 2.555 0.002821 0 0.0316 1 1 -0.0001797 0.0001273 0.007243 0.001823 0.0427 1.351 0.1169 0.01565 0.000706 1 1 0.00555 0.07063 0.2075 0.03079 0.3918 1.151 json
t14_x0_u4_b83 14 0 4 83 cil(eql(lrg(P,P),P)) 47475 113689301 o1(o2(o2(x,x),x)) true 38767 38767 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
t14_x0_u4_b84 14 0 4 84 cil(eql(eql(P,P),P)) 47476 113689302 o1(o2(o2(x,x),x)) true 38775 38775 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
t14_x0_u4_b85 14 0 4 85 cil(eql(min(P,P),P)) 47477 113689303 o1(o2(o2(x,x),x)) true 38783 38783 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
t14_x0_u4_b86 14 0 4 86 cil(eql(dot(P,P),P)) 47478 113689304 o1(o2(o2(x,x),x)) true 38791 38791 0.007812 0.02258 0.007812 0.005398 0.07347 0 0.9997 0.9997 1 0.1706 0.00003512 0.00007993 0.001346 -0.3895 1 2.58e-11 0.000006278 0.0003238 0.0001133 0.01064 7.91 0.1169 0.02131 0.001163 1 1 0.0004001 0.00522 0.01922 0.07412 0.9669 3.56 json
t14_x0_u4_b87 14 0 4 87 cil(eql(dst(P,P),P)) 47479 113689305 o1(o2(o2(x,x),x)) true 38799 38799 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
t14_x0_u4_b88 14 0 4 88 cil(min(add(P,P),P)) 47480 113689306 o1(o2(o2(x,x),x)) true 38807 38807 -0.009727 0.5 0.9472 0.9365 0.9677 -1 1 2 1 1.65 0.001005 0 0.007937 1 1 4.731e-10 0.0001502 0.002719 0.0009424 0.0307 3.868 0.2265 0.001073 0.0001604 1 1 0.002565 0.02848 0.2515 0.002739 0.03041 0.2686 json
t14_x0_u4_b89 14 0 4 89 cil(min(sub(P,P),P)) 47481 113689307 o1(o2(o2(x,x),x)) true 38815 38815 -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
t14_x0_u4_b90 14 0 4 90 cil(min(mlt(P,P),P)) 47482 113689308 o1(o2(o2(x,x),x)) true 38823 38823 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
t14_x0_u4_b91 14 0 4 91 cil(min(div(P,P),P)) 47483 113689309 o1(o2(o2(x,x),x)) true 38831 38831 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
t14_x0_u4_b92 14 0 4 92 cil(min(pow(P,P),P)) 47484 113689310 o1(o2(o2(x,x),x)) true 38839 38839 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
t14_x0_u4_b93 14 0 4 93 cil(min(mod(P,P),P)) 47485 113689311 o1(o2(o2(x,x),x)) true 38847 38847 -0.2185 0.3125 0.719 0.6542 0.8089 -1 1 2 1 2.238 0.00452 0 0.01964 1 1 -0.0006289 0.002266 0.01198 0.004133 0.06429 3.273 0.4609 0.006908 0.003463 1 1 0.00762 0.06437 0.2315 0.01165 0.09839 0.3539 json
t14_x0_u4_b94 14 0 4 94 cil(min(lrg(P,P),P)) 47486 113689312 o1(o2(o2(x,x),x)) true 38855 38855 -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
t14_x0_u4_b95 14 0 4 95 cil(min(eql(P,P),P)) 47487 113689313 o1(o2(o2(x,x),x)) true 38863 38863 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
t14_x0_u4_b96 14 0 4 96 cil(min(min(P,P),P)) 47488 113689314 o1(o2(o2(x,x),x)) true 38871 38871 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
t14_x0_u4_b97 14 0 4 97 cil(min(dot(P,P),P)) 47489 113689315 o1(o2(o2(x,x),x)) true 38879 38879 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
t14_x0_u4_b98 14 0 4 98 cil(min(dst(P,P),P)) 47490 113689316 o1(o2(o2(x,x),x)) true 38887 38887 -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
t14_x0_u4_b99 14 0 4 99 cil(dot(add(P,P),P)) 47491 113689317 o1(o2(o2(x,x),x)) true 38895 38895 0.9983 1 0.9983 0.001181 0.03437 0.001164 1 0.9988 1 0.04112 0.0000519 0.0000519 0.0005686 -4.907e-7 1 2.253e-11 0.00003964 0.0003493 0.0001035 0.01018 17.9 0.2685 0.08787 0.03356 1 1 0.0003401 0.002995 0.004304 0.2879 2.536 3.644 json
t14_x0_u4_b100 14 0 4 100 cil(dot(sub(P,P),P)) 47492 113689318 o1(o2(o2(x,x),x)) true 38903 38903 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
t14_x0_u4_b101 14 0 4 101 cil(dot(mlt(P,P),P)) 47493 113689319 o1(o2(o2(x,x),x)) true 38911 38911 3.725e-9 0.498 0.9867 0.9838 0.9919 -1 1 2 1 1.223 0.005879 0.005879 0.01178 -7.921e-8 1 -2.628e-10 0.02109 0.0135 0.01162 0.1078 9.153 1.414 0.01195 0.02144 1 1 0.02158 0.1241 0.5639 0.02194 0.1261 0.5731 json
t14_x0_u4_b102 14 0 4 102 cil(dot(div(P,P),P)) 47494 113689320 o1(o2(o2(x,x),x)) true 38919 38919 -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
t14_x0_u4_b103 14 0 4 103 cil(dot(pow(P,P),P)) 47495 113689321 o1(o2(o2(x,x),x)) true 38927 38927 -0.5008 0.25 0.9992 0.7483 0.865 -1 1 2 1 0.8325 0.007543 0.007543 0.007877 6.174e-8 1 3.341e-10 0.03016 0.01543 0.01502 0.1226 15.56 2 0.02016 0.04031 1 1 0.01971 0.08047 0.3328 0.02634 0.1075 0.4447 json
t14_x0_u4_b104 14 0 4 104 cil(dot(mod(P,P),P)) 47496 113689322 o1(o2(o2(x,x),x)) true 38935 38935 -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
t14_x0_u4_b105 14 0 4 105 cil(dot(lrg(P,P),P)) 47497 113689323 o1(o2(o2(x,x),x)) true 38943 38943 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
t14_x0_u4_b106 14 0 4 106 cil(dot(eql(P,P),P)) 47498 113689324 o1(o2(o2(x,x),x)) true 38951 38951 -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
t14_x0_u4_b107 14 0 4 107 cil(dot(min(P,P),P)) 47499 113689325 o1(o2(o2(x,x),x)) true 38959 38959 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