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
t13_x0_u22_b1 13 0 22 1 flr(sub(log(P),P)) 42300 105572236 o1(o2(o1(x),x)) true 18407 18407 -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
t13_x0_u22_b2 13 0 22 2 flr(mlt(log(P),P)) 42301 105572237 o1(o2(o1(x),x)) true 18415 18415 -0.1563 0.4375 0.9688 0.9369 0.9679 -1 1 2 1 1.385 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004615 0.008435 1 1 0.006228 0.03975 0.2856 0.006647 0.04243 0.3049 json
t13_x0_u22_b3 13 0 22 3 flr(div(log(P),P)) 42302 105572238 o1(o2(o1(x),x)) true 18423 18423 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 0.9887 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0.005263 0.02105 0.08421 0.02139 0.08555 0.3422 json
t13_x0_u22_b4 13 0 22 4 flr(pow(log(P),P)) 42303 105572239 o1(o2(o1(x),x)) true 18431 18431 -0.125 0.4375 0.875 0.8458 0.9197 -1 1 2 1 1.88 0.01657 0 0.01587 1 1 -9.461e-10 0.03188 0.01773 0.01632 0.1277 8.049 2 0.01959 0.03769 1 1 0.02283 0.09539 0.2253 0.02699 0.1128 0.2664 json
t13_x0_u22_b5 13 0 22 5 flr(mod(log(P),P)) 42304 105572240 o1(o2(o1(x),x)) true 18439 18439 -0.2188 0.375 0.9063 0.851 0.9225 -1 1 2 1 1.585 0.004321 0 0.007937 1 1 -4.731e-10 0.007953 0.008864 0.004257 0.06525 8.221 1 0.005078 0.009345 1 1 0.006189 0.0332 0.2014 0.007272 0.03901 0.2367 json
t13_x0_u22_b6 13 0 22 6 flr(lrg(log(P),P)) 42305 105572241 o1(o2(o1(x),x)) true 18447 18447 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
t13_x0_u22_b7 13 0 22 7 flr(eql(log(P),P)) 42306 105572242 o1(o2(o1(x),x)) true 18455 18455 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
t13_x0_u22_b8 13 0 22 8 flr(min(log(P),P)) 42307 105572243 o1(o2(o1(x),x)) true 18463 18463 -0.2188 0.375 0.9063 0.851 0.9225 -1 1 2 1 1.585 0.004321 0 0.007937 1 1 -4.731e-10 0.007953 0.008864 0.004257 0.06525 8.221 1 0.005078 0.009345 1 1 0.006189 0.0332 0.2014 0.007272 0.03901 0.2367 json
t13_x0_u22_b9 13 0 22 9 flr(dot(log(P),P)) 42308 105572244 o1(o2(o1(x),x)) true 18471 18471 -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
t13_x0_u22_b10 13 0 22 10 flr(dst(log(P),P)) 42309 105572245 o1(o2(o1(x),x)) true 18479 18479 -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
t13_x0_u23_b0 13 0 23 0 flr(add(frc(P),P)) 42310 105572436 o1(o2(o1(x),x)) true 18487 18487 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
t13_x0_u23_b1 13 0 23 1 flr(sub(frc(P),P)) 42311 105572437 o1(o2(o1(x),x)) true 18495 18495 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
t13_x0_u23_b2 13 0 23 2 flr(mlt(frc(P),P)) 42312 105572438 o1(o2(o1(x),x)) true 18503 18503 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
t13_x0_u23_b3 13 0 23 3 flr(div(frc(P),P)) 42313 105572439 o1(o2(o1(x),x)) true 18511 18511 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
t13_x0_u23_b4 13 0 23 4 flr(pow(frc(P),P)) 42314 105572440 o1(o2(o1(x),x)) true 18519 18519 -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
t13_x0_u23_b5 13 0 23 5 flr(mod(frc(P),P)) 42315 105572441 o1(o2(o1(x),x)) true 18527 18527 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
t13_x0_u23_b6 13 0 23 6 flr(lrg(frc(P),P)) 42316 105572442 o1(o2(o1(x),x)) true 18535 18535 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
t13_x0_u23_b7 13 0 23 7 flr(eql(frc(P),P)) 42317 105572443 o1(o2(o1(x),x)) true 18543 18543 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
t13_x0_u23_b8 13 0 23 8 flr(min(frc(P),P)) 42318 105572444 o1(o2(o1(x),x)) true 18551 18551 -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
t13_x0_u23_b9 13 0 23 9 flr(dot(frc(P),P)) 42319 105572445 o1(o2(o1(x),x)) true 18559 18559 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
t13_x0_u23_b10 13 0 23 10 flr(dst(frc(P),P)) 42320 105572446 o1(o2(o1(x),x)) true 18567 18567 0.9961 1 0.9961 0.002383 0.04882 0.000582 1 0.9994 1 0.1068 0.00003512 0.00003512 0.0008419 6.216e-7 0 -1.577e-10 0.000004222 0.000206 0.00006942 0.008332 9.897 0.1169 0.02947 0.001772 1 1 0.0002443 0.003178 0.008708 0.1025 1.334 3.654 json
t13_x0_u24_b0 13 0 24 0 flr(add(flr(P),P)) 42321 105572637 o1(o2(o1(x),x)) true 18575 18575 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
t13_x0_u24_b1 13 0 24 1 flr(sub(flr(P),P)) 42322 105572638 o1(o2(o1(x),x)) true 18583 18583 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
t13_x0_u24_b2 13 0 24 2 flr(mlt(flr(P),P)) 42323 105572639 o1(o2(o1(x),x)) true 18591 18591 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
t13_x0_u24_b3 13 0 24 3 flr(div(flr(P),P)) 42324 105572640 o1(o2(o1(x),x)) true 18599 18599 0.375 0.75 0.625 0.4302 0.6559 -1 1 2 1 2.947 0.03457 0 0.04747 1 1 0.0001797 0.06362 0.03898 0.0323 0.1797 3.786 2 0.08034 0.1479 1 1 0.04765 0.2391 0.7127 0.1108 0.5556 1.657 json
t13_x0_u24_b4 13 0 24 4 flr(pow(flr(P),P)) 42325 105572641 o1(o2(o1(x),x)) true 18607 18607 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
t13_x0_u24_b5 13 0 24 5 flr(mod(flr(P),P)) 42326 105572642 o1(o2(o1(x),x)) true 18615 18615 -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
t13_x0_u24_b6 13 0 24 6 flr(lrg(flr(P),P)) 42327 105572643 o1(o2(o1(x),x)) true 18623 18623 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
t13_x0_u24_b7 13 0 24 7 flr(eql(flr(P),P)) 42328 105572644 o1(o2(o1(x),x)) true 18631 18631 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
t13_x0_u24_b8 13 0 24 8 flr(min(flr(P),P)) 42329 105572645 o1(o2(o1(x),x)) true 18639 18639 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
t13_x0_u24_b9 13 0 24 9 flr(dot(flr(P),P)) 42330 105572646 o1(o2(o1(x),x)) true 18647 18647 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
t13_x0_u24_b10 13 0 24 10 flr(dst(flr(P),P)) 42331 105572647 o1(o2(o1(x),x)) true 18655 18655 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
t13_x0_u25_b0 13 0 25 0 flr(add(cil(P),P)) 42332 105572838 o1(o2(o1(x),x)) true 18663 18663 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
t13_x0_u25_b1 13 0 25 1 flr(sub(cil(P),P)) 42333 105572839 o1(o2(o1(x),x)) true 18671 18671 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
t13_x0_u25_b2 13 0 25 2 flr(mlt(cil(P),P)) 42334 105572840 o1(o2(o1(x),x)) true 18679 18679 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
t13_x0_u25_b3 13 0 25 3 flr(div(cil(P),P)) 42335 105572841 o1(o2(o1(x),x)) true 18687 18687 0.375 0.75 0.625 0.4302 0.6559 -1 1 2 1 2.947 0.03457 0 0.04747 1 1 0.0001797 0.06362 0.03898 0.0323 0.1797 3.786 2 0.08034 0.1479 1 1 0.04765 0.2391 0.7127 0.1108 0.5556 1.657 json
t13_x0_u25_b4 13 0 25 4 flr(pow(cil(P),P)) 42336 105572842 o1(o2(o1(x),x)) true 18695 18695 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
t13_x0_u25_b5 13 0 25 5 flr(mod(cil(P),P)) 42337 105572843 o1(o2(o1(x),x)) true 18703 18703 -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
t13_x0_u25_b6 13 0 25 6 flr(lrg(cil(P),P)) 42338 105572844 o1(o2(o1(x),x)) true 18711 18711 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
t13_x0_u25_b7 13 0 25 7 flr(eql(cil(P),P)) 42339 105572845 o1(o2(o1(x),x)) true 18719 18719 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
t13_x0_u25_b8 13 0 25 8 flr(min(cil(P),P)) 42340 105572846 o1(o2(o1(x),x)) true 18727 18727 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
t13_x0_u25_b9 13 0 25 9 flr(dot(cil(P),P)) 42341 105572847 o1(o2(o1(x),x)) true 18735 18735 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
t13_x0_u25_b10 13 0 25 10 flr(dst(cil(P),P)) 42342 105572848 o1(o2(o1(x),x)) true 18743 18743 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
t13_x0_u26_b0 13 0 26 0 flr(add(sgn(P),P)) 42343 105573039 o1(o2(o1(x),x)) true 18751 18751 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
t13_x0_u26_b1 13 0 26 1 flr(sub(sgn(P),P)) 42344 105573040 o1(o2(o1(x),x)) true 18759 18759 0 0.4375 0.8125 0.799 0.8939 -1 1 2 1 2.153 0.0007059 0 0.007937 1 1 0 0.00003238 0.001855 0.0006432 0.02536 3.195 0.1169 0.0008834 0.00004053 1 1 0.001851 0.02429 0.1502 0.002317 0.0304 0.188 json
t13_x0_u26_b2 13 0 26 2 flr(mlt(sgn(P),P)) 42345 105573041 o1(o2(o1(x),x)) true 18767 18767 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
t13_x0_u26_b3 13 0 26 3 flr(div(sgn(P),P)) 42346 105573042 o1(o2(o1(x),x)) true 18775 18775 -0.0625 0.125 0.1875 0.1701 0.4124 -1 0.9997 2 1 1.335 0.03244 0 0.02381 1 1 -9.461e-10 0.06372 0.0336 0.03189 0.1786 7.502 2 0.1908 0.3747 1 1 0.0438 0.1665 0.3186 0.2575 0.979 1.873 json
t13_x0_u26_b4 13 0 26 4 flr(pow(sgn(P),P)) 42347 105573043 o1(o2(o1(x),x)) true 18783 18783 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
t13_x0_u26_b5 13 0 26 5 flr(mod(sgn(P),P)) 42348 105573044 o1(o2(o1(x),x)) true 18791 18791 -0.125 0.4375 0.9375 0.9084 0.9531 -1 1 2 1 1.8 0.008642 0 0.01587 1 1 -9.386e-13 0.01591 0.01767 0.008389 0.09159 5.771 1 0.009514 0.01751 1 1 0.01238 0.06639 0.3186 0.01363 0.07309 0.3508 json
t13_x0_u26_b6 13 0 26 6 flr(lrg(sgn(P),P)) 42349 105573045 o1(o2(o1(x),x)) true 18799 18799 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
t13_x0_u26_b7 13 0 26 7 flr(eql(sgn(P),P)) 42350 105573046 o1(o2(o1(x),x)) true 18807 18807 0.1875 0.25 0.1875 0.1388 0.3726 0 1 1 1 1.242 0.0007059 0 0.007937 1 1 -9.461e-10 0.00003238 0.001855 0.0006432 0.02536 3.195 0.1169 0.005085 0.0002333 1 1 0.001851 0.02429 0.1502 0.01333 0.1749 1.082 json
t13_x0_u26_b8 13 0 26 8 flr(min(sgn(P),P)) 42351 105573047 o1(o2(o1(x),x)) true 18815 18815 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
t13_x0_u26_b9 13 0 26 9 flr(dot(sgn(P),P)) 42352 105573048 o1(o2(o1(x),x)) true 18823 18823 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
t13_x0_u26_b10 13 0 26 10 flr(dst(sgn(P),P)) 42353 105573049 o1(o2(o1(x),x)) true 18831 18831 0.9648 0.9844 0.9648 0.02902 0.1704 0 1 1 1 0.4345 0.0001247 0.0001247 0.002858 5.832e-7 1 -1.952e-10 0.00001244 0.0006772 0.0002415 0.01554 5.439 0.1169 0.008597 0.0004287 1 1 0.0008677 0.01139 0.07041 0.0299 0.3923 2.426 json
t13_x0_u27_b0 13 0 27 0 flr(add(nrm(P),P)) 42354 105573240 o1(o2(o1(x),x)) true 18839 18839 -0.02414 0.4922 0.9538 0.9447 0.9719 -1 1 2 1 1.583 0.002893 0.001348 0.008822 0.3642 1 4.036e-10 0.007126 0.006234 0.004164 0.06453 7.315 2.828 0.004489 0.007544 1 1 0.00805 0.04735 0.3038 0.008522 0.05013 0.3216 json
t13_x0_u27_b1 13 0 27 1 flr(sub(nrm(P),P)) 42355 105573241 o1(o2(o1(x),x)) true 18847 18847 -0.07255 0.4375 0.885 0.866 0.9306 -1 1 2 1 1.991 0.001385 0.0007237 0.009325 0.3136 1 -2.253e-11 0.00292 0.00488 0.002021 0.04495 4.821 1 0.002435 0.003372 1 1 0.004317 0.03443 0.2043 0.004985 0.03976 0.236 json
t13_x0_u27_b2 13 0 27 2 flr(mlt(nrm(P),P)) 42356 105573242 o1(o2(o1(x),x)) true 18855 18855 0.7316 0.8116 0.7628 0.2138 0.4624 -1 1 2 1 1.481 0.003063 0.001133 0.01084 0.4601 1 -6.924e-10 0.007037 0.007154 0.00408 0.06387 5.894 2 0.01962 0.03292 1 1 0.008107 0.0526 0.2819 0.03792 0.246 1.319 json
t13_x0_u27_b3 13 0 27 3 flr(div(nrm(P),P)) 42357 105573243 o1(o2(o1(x),x)) true 18863 18863 -0.1211 0.01477 0.1289 0.1127 0.3357 -1 0.9994 1.999 1 0.6486 0.009374 0.00003512 0.009252 0.9925 1 3.191e-11 0.0187 0.01707 0.009322 0.09655 10.44 1.999 0.08347 0.1659 1 1 0.01323 0.0532 0.1842 0.1173 0.4719 1.634 json
t13_x0_u27_b4 13 0 27 4 flr(pow(nrm(P),P)) 42358 105573244 o1(o2(o1(x),x)) true 18871 18871 -0.4512 0.1077 0.5488 0.3337 0.5777 -1 1 2 1 1.616 0.01626 0.0001719 0.01445 0.9791 1 0.000005704 0.03187 0.01741 0.01622 0.1273 8.811 2 0.04926 0.0955 1 1 0.02255 0.09273 0.2019 0.06758 0.2779 0.605 json
t13_x0_u27_b5 13 0 27 5 flr(mod(nrm(P),P)) 42359 105573245 o1(o2(o1(x),x)) true 18879 18879 -0.5469 0.04474 0.5742 0.2696 0.5193 -1 0.9997 2 1 1.303 0.004271 0.0001446 0.007171 0.9345 1 0.000005705 0.008351 0.009148 0.004363 0.06605 9.211 1 0.01638 0.03097 1 1 0.006378 0.03254 0.1189 0.02365 0.1207 0.4411 json
t13_x0_u27_b6 13 0 27 6 flr(lrg(nrm(P),P)) 42360 105573246 o1(o2(o1(x),x)) true 18887 18887 0.4688 0.5074 0.4688 0.2403 0.4902 0 1 1 1 1.406 0.0003686 0.00006053 0.004904 0.7179 1 -4.57e-10 0.00002268 0.001178 0.0004054 0.02013 4.106 0.1169 0.001786 0.00009441 1 1 0.001191 0.01558 0.0796 0.004955 0.06484 0.3313 json
t13_x0_u27_b7 13 0 27 7 flr(eql(nrm(P),P)) 42361 105573247 o1(o2(o1(x),x)) true 18895 18895 0.06641 0.1398 0.06641 0.04599 0.2145 0 0.9997 0.9997 1 0.9036 0.0007022 0.00008595 0.008964 0.7819 1 -7.45e-10 0.00004117 0.00215 0.0007076 0.0266 2.968 0.1169 0.01714 0.0008953 1 1 0.002137 0.0278 0.07457 0.04646 0.6044 1.621 json
t13_x0_u27_b8 13 0 27 8 flr(min(nrm(P),P)) 42362 105573248 o1(o2(o1(x),x)) true 18903 18903 -0.4512 0.05255 0.4863 0.2704 0.52 -1 0.9997 2 1 1.72 0.0004407 0.0001719 0.007023 0.4389 1 0.000005705 0.00003042 0.001659 0.0005634 0.02374 3.38 0.1169 0.002266 0.0001125 1 1 0.001726 0.02259 0.1154 0.006383 0.08353 0.4268 json
t13_x0_u27_b9 13 0 27 9 flr(dot(nrm(P),P)) 42363 105573249 o1(o2(o1(x),x)) true 18911 18911 0.9688 0.9844 1 0.06152 0.248 -1 1 2 1 0.1161 0.004031 0.004031 0.004013 0 1 0 0.01663 0.008062 0.008054 0.08974 22.36 2.828 0.131 0.2703 1 1 0.01418 0.05673 0.2269 0.2305 0.9221 3.688 json
t13_x0_u27_b10 13 0 27 10 flr(dst(nrm(P),P)) 42364 105573250 o1(o2(o1(x),x)) true 18919 18919 0.9492 0.9844 0.9805 0.07451 0.273 -1 1 2 1 0.4537 0.001133 0.001133 0.004864 4.623e-7 1 4.505e-11 0.004144 0.004682 0.002245 0.04739 9.742 1.415 0.03042 0.05562 1 1 0.00444 0.02998 0.2122 0.05959 0.4024 2.849 json
t13_x0_u28_b0 13 0 28 0 cil(add(sqt(P),P)) 42365 105573441 o1(o2(o1(x),x)) true 18927 18927 -0.02152 0.5 0.9785 0.9739 0.9869 -1 1 2 1 1.244 0.004625 0 0.007937 1 1 -4.731e-10 0.007971 0.009631 0.00456 0.06753 8.509 1.001 0.004749 0.008185 1 1 0.006981 0.05009 0.3027 0.007168 0.05143 0.3108 json
t13_x0_u28_b1 13 0 28 1 cil(sub(sqt(P),P)) 42366 105573442 o1(o2(o1(x),x)) true 18935 18935 -0.8438 0 0.8438 0.1251 0.3537 -1 0 1 1 0.9926 0.004321 0 0.007937 1 1 4.731e-10 0.007953 0.008864 0.004257 0.06525 8.221 1 0.03455 0.06358 1 1 0.006189 0.0332 0.1593 0.04948 0.2654 1.274 json
t13_x0_u28_b2 13 0 28 2 cil(mlt(sqt(P),P)) 42367 105573443 o1(o2(o1(x),x)) true 18943 18943 -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
t13_x0_u28_b3 13 0 28 3 cil(div(sqt(P),P)) 42368 105573444 o1(o2(o1(x),x)) true 18951 18951 -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
t13_x0_u28_b4 13 0 28 4 cil(pow(sqt(P),P)) 42369 105573445 o1(o2(o1(x),x)) true 18959 18959 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
t13_x0_u28_b5 13 0 28 5 cil(mod(sqt(P),P)) 42370 105573446 o1(o2(o1(x),x)) true 18967 18967 -0.1465 0.4375 0.9785 0.9531 0.9763 -1 1 2 1 1.226 0.004625 0 0.007937 1 1 -4.731e-10 0.007971 0.009631 0.00456 0.06753 8.509 1.001 0.004852 0.008364 1 1 0.006981 0.05009 0.3027 0.007324 0.05256 0.3176 json
t13_x0_u28_b6 13 0 28 6 cil(lrg(sqt(P),P)) 42371 105573447 o1(o2(o1(x),x)) true 18975 18975 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
t13_x0_u28_b7 13 0 28 7 cil(eql(sqt(P),P)) 42372 105573448 o1(o2(o1(x),x)) true 18983 18983 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
t13_x0_u28_b8 13 0 28 8 cil(min(sqt(P),P)) 42373 105573449 o1(o2(o1(x),x)) true 18991 18991 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
t13_x0_u28_b9 13 0 28 9 cil(dot(sqt(P),P)) 42374 105573450 o1(o2(o1(x),x)) true 18999 18999 -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
t13_x0_u28_b10 13 0 28 10 cil(dst(sqt(P),P)) 42375 105573451 o1(o2(o1(x),x)) true 19007 19007 -0.5088 0.2461 0.9912 0.7314 0.8552 -1 1 2 1 0.9199 0.006807 0.006807 0.007889 7.183e-7 1 -6.758e-11 0.02714 0.01452 0.01355 0.1164 14.76 2 0.01861 0.03711 1 1 0.01718 0.07072 0.3005 0.02349 0.09668 0.4108 json
t13_x0_u29_b0 13 0 29 0 cil(add(log(P),P)) 42376 105573642 o1(o2(o1(x),x)) true 19015 19015 -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
t13_x0_u29_b1 13 0 29 1 cil(sub(log(P),P)) 42377 105573643 o1(o2(o1(x),x)) true 19023 19023 -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
t13_x0_u29_b2 13 0 29 2 cil(mlt(log(P),P)) 42378 105573644 o1(o2(o1(x),x)) true 19031 19031 -0.1465 0.4375 0.9785 0.9531 0.9763 -1 1 2 1 1.226 0.004625 0 0.007937 1 1 -4.731e-10 0.007971 0.009631 0.00456 0.06753 8.509 1.001 0.004852 0.008364 1 1 0.006981 0.05009 0.3027 0.007324 0.05256 0.3176 json
t13_x0_u29_b3 13 0 29 3 cil(div(log(P),P)) 42379 105573645 o1(o2(o1(x),x)) true 19039 19039 -0.1563 0.4375 0.9688 0.9369 0.9679 -1 1 2 1 1.385 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004615 0.008435 1 1 0.006228 0.03975 0.2856 0.006647 0.04243 0.3049 json
t13_x0_u29_b4 13 0 29 4 cil(pow(log(P),P)) 42380 105573646 o1(o2(o1(x),x)) true 19047 19047 -0.0625 0.5 0.9375 0.92 0.9592 -1 1 2 1 1.703 0.01657 0 0.01587 1 1 -9.461e-10 0.03188 0.01773 0.01632 0.1277 8.05 2 0.01801 0.03465 1 1 0.02283 0.09519 0.2344 0.02481 0.1035 0.2548 json
t13_x0_u29_b5 13 0 29 5 cil(mod(log(P),P)) 42381 105573647 o1(o2(o1(x),x)) true 19055 19055 -0.1563 0.4375 0.9688 0.9369 0.9679 -1 1 2 1 1.385 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004615 0.008435 1 1 0.006228 0.03975 0.2856 0.006647 0.04243 0.3049 json
t13_x0_u29_b6 13 0 29 6 cil(lrg(log(P),P)) 42382 105573648 o1(o2(o1(x),x)) true 19063 19063 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
t13_x0_u29_b7 13 0 29 7 cil(eql(log(P),P)) 42383 105573649 o1(o2(o1(x),x)) true 19071 19071 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
t13_x0_u29_b8 13 0 29 8 cil(min(log(P),P)) 42384 105573650 o1(o2(o1(x),x)) true 19079 19079 -0.1563 0.4375 0.9688 0.9369 0.9679 -1 1 2 1 1.385 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004615 0.008435 1 1 0.006228 0.03975 0.2856 0.006647 0.04243 0.3049 json
t13_x0_u29_b9 13 0 29 9 cil(dot(log(P),P)) 42385 105573651 o1(o2(o1(x),x)) true 19087 19087 -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
t13_x0_u29_b10 13 0 29 10 cil(dst(log(P),P)) 42386 105573652 o1(o2(o1(x),x)) true 19095 19095 -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
t13_x0_u30_b0 13 0 30 0 cil(add(frc(P),P)) 42387 105573843 o1(o2(o1(x),x)) true 19103 19103 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
t13_x0_u30_b1 13 0 30 1 cil(sub(frc(P),P)) 42388 105573844 o1(o2(o1(x),x)) true 19111 19111 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
t13_x0_u30_b2 13 0 30 2 cil(mlt(frc(P),P)) 42389 105573845 o1(o2(o1(x),x)) true 19119 19119 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
t13_x0_u30_b3 13 0 30 3 cil(div(frc(P),P)) 42390 105573846 o1(o2(o1(x),x)) true 19127 19127 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
t13_x0_u30_b4 13 0 30 4 cil(pow(frc(P),P)) 42391 105573847 o1(o2(o1(x),x)) true 19135 19135 -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
t13_x0_u30_b5 13 0 30 5 cil(mod(frc(P),P)) 42392 105573848 o1(o2(o1(x),x)) true 19143 19143 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
t13_x0_u30_b6 13 0 30 6 cil(lrg(frc(P),P)) 42393 105573849 o1(o2(o1(x),x)) true 19151 19151 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
t13_x0_u30_b7 13 0 30 7 cil(eql(frc(P),P)) 42394 105573850 o1(o2(o1(x),x)) true 19159 19159 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
t13_x0_u30_b8 13 0 30 8 cil(min(frc(P),P)) 42395 105573851 o1(o2(o1(x),x)) true 19167 19167 -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
t13_x0_u30_b9 13 0 30 9 cil(dot(frc(P),P)) 42396 105573852 o1(o2(o1(x),x)) true 19175 19175 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
t13_x0_u30_b10 13 0 30 10 cil(dst(frc(P),P)) 42397 105573853 o1(o2(o1(x),x)) true 19183 19183 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
t13_x0_u31_b0 13 0 31 0 cil(add(flr(P),P)) 42398 105574044 o1(o2(o1(x),x)) true 19191 19191 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
t13_x0_u31_b1 13 0 31 1 cil(sub(flr(P),P)) 42399 105574045 o1(o2(o1(x),x)) true 19199 19199 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