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
t15_x0_u2_b1 15 0 2 1 sub(P,sqt(frc(P))) 69800 121809418 o2(x,o1(o1(x))) true 46407 46407 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
t15_x0_u2_b2 15 0 2 2 mlt(P,sqt(frc(P))) 69801 121809419 o2(x,o1(o1(x))) true 46415 46415 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
t15_x0_u2_b3 15 0 2 3 div(P,sqt(frc(P))) 69802 121809420 o2(x,o1(o1(x))) true 46423 46423 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
t15_x0_u2_b4 15 0 2 4 pow(P,sqt(frc(P))) 69803 121809421 o2(x,o1(o1(x))) true 46431 46431 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
t15_x0_u2_b5 15 0 2 5 mod(P,sqt(frc(P))) 69804 121809422 o2(x,o1(o1(x))) true 46439 46439 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
t15_x0_u2_b6 15 0 2 6 lrg(P,sqt(frc(P))) 69805 121809423 o2(x,o1(o1(x))) true 46447 46447 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
t15_x0_u2_b7 15 0 2 7 eql(P,sqt(frc(P))) 69806 121809424 o2(x,o1(o1(x))) true 46455 46455 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
t15_x0_u2_b8 15 0 2 8 min(P,sqt(frc(P))) 69807 121809425 o2(x,o1(o1(x))) true 46463 46463 -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
t15_x0_u2_b9 15 0 2 9 dot(P,sqt(frc(P))) 69808 121809426 o2(x,o1(o1(x))) true 46471 46471 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
t15_x0_u2_b10 15 0 2 10 dst(P,sqt(frc(P))) 69809 121809427 o2(x,o1(o1(x))) true 46479 46479 0.9964 1 0.9964 0.002289 0.04784 0.000582 1 0.9994 1 0.09109 0.00003966 0.00003966 0.0008105 5.503e-7 0 -4.881e-11 0.00001004 0.0002297 0.00007859 0.008865 10.94 0.1294 0.03466 0.004388 1 1 0.0002733 0.00336 0.008351 0.1194 1.468 3.649 json
t15_x0_u3_b0 15 0 3 0 add(P,sqt(flr(P))) 69810 121809618 o2(x,o1(o1(x))) true 46487 46487 -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
t15_x0_u3_b1 15 0 3 1 sub(P,sqt(flr(P))) 69811 121809619 o2(x,o1(o1(x))) true 46495 46495 -0.1164 0.4375 0.8835 0.8537 0.9239 -1 1 2 1 1.866 0.004188 0 0.007937 1 1 9.466e-10 0.007959 0.00911 0.004124 0.06422 8.092 1 0.004906 0.009323 1 1 0.005833 0.02792 0.1711 0.006832 0.03271 0.2004 json
t15_x0_u3_b2 15 0 3 2 mlt(P,sqt(flr(P))) 69812 121809620 o2(x,o1(o1(x))) true 46503 46503 -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
t15_x0_u3_b3 15 0 3 3 div(P,sqt(flr(P))) 69813 121809621 o2(x,o1(o1(x))) true 46511 46511 -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
t15_x0_u3_b4 15 0 3 4 pow(P,sqt(flr(P))) 69814 121809622 o2(x,o1(o1(x))) true 46519 46519 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
t15_x0_u3_b5 15 0 3 5 mod(P,sqt(flr(P))) 69815 121809623 o2(x,o1(o1(x))) true 46527 46527 -0.2648 0.4375 0.8601 0.7507 0.8664 -1 1 2 1 2.273 0.004866 0 0.01587 1 1 1.892e-9 0.008009 0.01127 0.004616 0.06794 4.281 1 0.006483 0.01067 1 1 0.007598 0.05227 0.2951 0.01012 0.06963 0.3931 json
t15_x0_u3_b6 15 0 3 6 lrg(P,sqt(flr(P))) 69816 121809624 o2(x,o1(o1(x))) true 46535 46535 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
t15_x0_u3_b7 15 0 3 7 eql(P,sqt(flr(P))) 69817 121809625 o2(x,o1(o1(x))) true 46543 46543 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
t15_x0_u3_b8 15 0 3 8 min(P,sqt(flr(P))) 69818 121809626 o2(x,o1(o1(x))) true 46551 46551 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
t15_x0_u3_b9 15 0 3 9 dot(P,sqt(flr(P))) 69819 121809627 o2(x,o1(o1(x))) true 46559 46559 -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
t15_x0_u3_b10 15 0 3 10 dst(P,sqt(flr(P))) 69820 121809628 o2(x,o1(o1(x))) true 46567 46567 -0.5134 0.2461 0.9866 0.7195 0.8482 -1 1 2 1 1.002 0.006485 0.006485 0.007849 -0.000001795 1 -9.011e-11 0.02589 0.01425 0.01291 0.1136 14.48 2 0.01803 0.03598 1 1 0.01602 0.06534 0.2798 0.02227 0.09081 0.3889 json
t15_x0_u4_b0 15 0 4 0 add(P,sqt(cil(P))) 69821 121809819 o2(x,o1(o1(x))) true 46575 46575 -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
t15_x0_u4_b1 15 0 4 1 sub(P,sqt(cil(P))) 69822 121809820 o2(x,o1(o1(x))) true 46583 46583 -0.1164 0.4375 0.8835 0.8537 0.9239 -1 1 2 1 1.866 0.004188 0 0.007937 1 1 9.466e-10 0.007959 0.00911 0.004124 0.06422 8.092 1 0.004906 0.009323 1 1 0.005833 0.02792 0.1711 0.006832 0.03271 0.2004 json
t15_x0_u4_b2 15 0 4 2 mlt(P,sqt(cil(P))) 69823 121809821 o2(x,o1(o1(x))) true 46591 46591 -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
t15_x0_u4_b3 15 0 4 3 div(P,sqt(cil(P))) 69824 121809822 o2(x,o1(o1(x))) true 46599 46599 -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
t15_x0_u4_b4 15 0 4 4 pow(P,sqt(cil(P))) 69825 121809823 o2(x,o1(o1(x))) true 46607 46607 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
t15_x0_u4_b5 15 0 4 5 mod(P,sqt(cil(P))) 69826 121809824 o2(x,o1(o1(x))) true 46615 46615 -0.2648 0.4375 0.8601 0.7507 0.8664 -1 1 2 1 2.273 0.004866 0 0.01587 1 1 1.892e-9 0.008009 0.01127 0.004616 0.06794 4.281 1 0.006483 0.01067 1 1 0.007598 0.05227 0.2951 0.01012 0.06963 0.3931 json
t15_x0_u4_b6 15 0 4 6 lrg(P,sqt(cil(P))) 69827 121809825 o2(x,o1(o1(x))) true 46623 46623 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
t15_x0_u4_b7 15 0 4 7 eql(P,sqt(cil(P))) 69828 121809826 o2(x,o1(o1(x))) true 46631 46631 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
t15_x0_u4_b8 15 0 4 8 min(P,sqt(cil(P))) 69829 121809827 o2(x,o1(o1(x))) true 46639 46639 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
t15_x0_u4_b9 15 0 4 9 dot(P,sqt(cil(P))) 69830 121809828 o2(x,o1(o1(x))) true 46647 46647 -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
t15_x0_u4_b10 15 0 4 10 dst(P,sqt(cil(P))) 69831 121809829 o2(x,o1(o1(x))) true 46655 46655 -0.5134 0.2461 0.9866 0.7195 0.8482 -1 1 2 1 1.002 0.006485 0.006485 0.007849 -0.000001795 1 -9.011e-11 0.02589 0.01425 0.01291 0.1136 14.48 2 0.01803 0.03598 1 1 0.01602 0.06534 0.2798 0.02227 0.09081 0.3889 json
t15_x0_u5_b0 15 0 5 0 add(P,sqt(sgn(P))) 69832 121810020 o2(x,o1(o1(x))) true 46663 46663 -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
t15_x0_u5_b1 15 0 5 1 sub(P,sqt(sgn(P))) 69833 121810021 o2(x,o1(o1(x))) true 46671 46671 -0.09375 0.4375 0.9063 0.89 0.9434 -1 1 2 1 1.621 0.004321 0 0.007937 1 1 -4.731e-10 0.007953 0.008864 0.004257 0.06525 8.221 1 0.004855 0.008935 1 1 0.006189 0.0332 0.2014 0.006953 0.0373 0.2263 json
t15_x0_u5_b2 15 0 5 2 mlt(P,sqt(sgn(P))) 69834 121810022 o2(x,o1(o1(x))) true 46679 46679 -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
t15_x0_u5_b3 15 0 5 3 div(P,sqt(sgn(P))) 69835 121810023 o2(x,o1(o1(x))) true 46687 46687 -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
t15_x0_u5_b4 15 0 5 4 pow(P,sqt(sgn(P))) 69836 121810024 o2(x,o1(o1(x))) true 46695 46695 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
t15_x0_u5_b5 15 0 5 5 mod(P,sqt(sgn(P))) 69837 121810025 o2(x,o1(o1(x))) true 46703 46703 -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
t15_x0_u5_b6 15 0 5 6 lrg(P,sqt(sgn(P))) 69838 121810026 o2(x,o1(o1(x))) true 46711 46711 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
t15_x0_u5_b7 15 0 5 7 eql(P,sqt(sgn(P))) 69839 121810027 o2(x,o1(o1(x))) true 46719 46719 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
t15_x0_u5_b8 15 0 5 8 min(P,sqt(sgn(P))) 69840 121810028 o2(x,o1(o1(x))) true 46727 46727 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
t15_x0_u5_b9 15 0 5 9 dot(P,sqt(sgn(P))) 69841 121810029 o2(x,o1(o1(x))) true 46735 46735 -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
t15_x0_u5_b10 15 0 5 10 dst(P,sqt(sgn(P))) 69842 121810030 o2(x,o1(o1(x))) true 46743 46743 -0.5087 0.2461 0.9913 0.7315 0.8553 -1 1 2 1 0.9166 0.006808 0.006808 0.007881 6.84e-8 1 -6.758e-11 0.02714 0.01453 0.01355 0.1164 14.77 2 0.01861 0.03711 1 1 0.01719 0.07076 0.301 0.0235 0.09674 0.4115 json
t15_x0_u6_b0 15 0 6 0 add(P,sqt(nrm(P))) 69843 121810221 o2(x,o1(o1(x))) true 46751 46751 -0.03721 0.4922 0.9784 0.9726 0.9862 -1 1 2 1 1.27 0.005963 0.001445 0.008732 0.6099 1 -4.221e-8 0.01419 0.01174 0.007324 0.08558 9.801 2.828 0.007616 0.01459 1 1 0.0117 0.06288 0.3447 0.01203 0.06466 0.3544 json
t15_x0_u6_b1 15 0 6 1 sub(P,sqt(nrm(P))) 69844 121810222 o2(x,o1(o1(x))) true 46759 46759 -0.07104 0.4916 0.9446 0.9252 0.9619 -1 1 2 1 1.669 0.004306 0.0005919 0.008535 0.7583 1 2.598e-7 0.009436 0.01025 0.004825 0.06946 8.138 1.639 0.005294 0.0102 1 1 0.007137 0.03746 0.2608 0.007714 0.04049 0.2819 json
t15_x0_u6_b2 15 0 6 2 mlt(P,sqt(nrm(P))) 69845 121810223 o2(x,o1(o1(x))) true 46767 46767 -0.06749 0.4922 0.9481 0.9298 0.9643 -1 1 2 1 1.641 0.00553 0.00107 0.008683 0.6759 1 -7.241e-7 0.01306 0.01134 0.006519 0.08074 9.299 2.603 0.007098 0.01405 1 1 0.01008 0.04785 0.285 0.01084 0.05146 0.3065 json
t15_x0_u6_b3 15 0 6 3 div(P,sqt(nrm(P))) 69846 121810224 o2(x,o1(o1(x))) true 46775 46775 -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
t15_x0_u6_b4 15 0 6 4 pow(P,sqt(nrm(P))) 69847 121810225 o2(x,o1(o1(x))) true 46783 46783 -0.01563 0.4922 1 0.9995 0.9998 -1 1 2 1 0.9998 0.01587 0.002016 0.008926 0.7746 1 0 0.03628 0.01789 0.01781 0.1334 14.95 2.828 0.0179 0.0363 1 1 0.0246 0.09839 0.3936 0.02461 0.09844 0.3938 json
t15_x0_u6_b5 15 0 6 5 mod(P,sqt(nrm(P))) 69848 121810226 o2(x,o1(o1(x))) true 46791 46791 -0.4275 0.4341 0.6975 0.4394 0.6629 -1 0.8443 1.844 1 2.53 0.005876 0.0001625 0.01193 0.9462 1 0.000007633 0.01162 0.01115 0.005898 0.0768 6.439 1.438 0.01374 0.02645 1 1 0.008018 0.03689 0.1658 0.01825 0.08396 0.3772 json
t15_x0_u6_b6 15 0 6 6 lrg(P,sqt(nrm(P))) 69849 121810227 o2(x,o1(o1(x))) true 46799 46799 0.9375 1 0.9375 0.04392 0.2096 0.000291 1 0.9997 1 0.8521 0.0006768 0.00006053 0.008366 0.8358 1 -9.551e-10 0.00003685 0.001988 0.0006671 0.02583 3.087 0.1169 0.01679 0.0008389 1 1 0.00196 0.02551 0.07125 0.04463 0.5807 1.622 json
t15_x0_u6_b7 15 0 6 7 eql(P,sqt(nrm(P))) 69850 121810228 o2(x,o1(o1(x))) true 46807 46807 0.0625 0.132 0.0625 0.04392 0.2096 0 0.9997 0.9997 1 0.8521 0.0006768 0.00006053 0.008366 0.8358 1 -7.82e-10 0.00003685 0.001988 0.0006671 0.02583 3.087 0.1169 0.01679 0.0008389 1 1 0.00196 0.02551 0.07125 0.04463 0.5807 1.622 json
t15_x0_u6_b8 15 0 6 8 min(P,sqt(nrm(P))) 69851 121810229 o2(x,o1(o1(x))) true 46815 46815 -0.08937 0.5 0.8481 0.7719 0.8786 -1 1 2 1 3.062 0.0004899 0.000007345 0.00839 0.9705 1 -0.000001416 0.00002284 0.001878 0.0004269 0.02066 2.463 0.1169 0.0006441 0.00002959 1 1 0.001366 0.01807 0.1753 0.001769 0.02341 0.227 json
t15_x0_u6_b9 15 0 6 9 dot(P,sqt(nrm(P))) 69852 121810230 o2(x,o1(o1(x))) true 46823 46823 -0.5078 0.2461 1 0.7421 0.8614 -1 1 2 1 0.805 0.007937 0.007937 0.007918 0 1 0 0.03212 0.01587 0.01581 0.1257 15.88 2.828 0.02139 0.04329 1 1 0.02105 0.08421 0.3368 0.02837 0.1135 0.4539 json
t15_x0_u6_b10 15 0 6 10 dst(P,sqt(nrm(P))) 69853 121810231 o2(x,o1(o1(x))) true 46831 46831 -0.5117 0.2461 0.9961 0.7329 0.8561 -1 1 2 1 0.8795 0.006864 0.006864 0.007827 6.445e-7 1 -1.089e-10 0.02746 0.01462 0.01367 0.1169 14.94 2 0.01873 0.03747 1 1 0.01738 0.07239 0.3181 0.02371 0.09878 0.4341 json
t15_x0_u7_b0 15 0 7 0 add(P,log(sqt(P))) 69854 121810422 o2(x,o1(o1(x))) true 46839 46839 -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
t15_x0_u7_b1 15 0 7 1 sub(P,log(sqt(P))) 69855 121810423 o2(x,o1(o1(x))) true 46847 46847 -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
t15_x0_u7_b2 15 0 7 2 mlt(P,log(sqt(P))) 69856 121810424 o2(x,o1(o1(x))) true 46855 46855 -0.1713 0.4375 0.9537 0.9106 0.9542 -1 1 2 1 1.6 0.004224 0 0.007937 1 1 2.366e-9 0.007949 0.009266 0.00416 0.0645 8.127 1 0.004639 0.00873 1 1 0.005934 0.03318 0.2558 0.006516 0.03644 0.2809 json
t15_x0_u7_b3 15 0 7 3 div(P,log(sqt(P))) 69857 121810425 o2(x,o1(o1(x))) true 46863 46863 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.04762 0 0.02381 1 1 0 0.09524 0.04762 0.04704 0.2169 9.109 2 0.04837 0.09675 1 1 0.06316 0.2526 0.3368 0.06416 0.2566 0.3422 json
t15_x0_u7_b4 15 0 7 4 pow(P,log(sqt(P))) 69858 121810426 o2(x,o1(o1(x))) true 46871 46871 -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
t15_x0_u7_b5 15 0 7 5 mod(P,log(sqt(P))) 69859 121810427 o2(x,o1(o1(x))) true 46879 46879 -0.4832 0.375 0.7668 0.4544 0.6741 -1 0.7218 1.722 1 2.085 0.006685 0 0.01326 1 1 0.00004785 0.01276 0.01194 0.006512 0.0807 6.088 1.267 0.01471 0.02808 1 1 0.008835 0.03873 0.1507 0.01944 0.08524 0.3317 json
t15_x0_u7_b6 15 0 7 6 lrg(P,log(sqt(P))) 69860 121810428 o2(x,o1(o1(x))) true 46887 46887 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
t15_x0_u7_b7 15 0 7 7 eql(P,log(sqt(P))) 69861 121810429 o2(x,o1(o1(x))) true 46895 46895 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
t15_x0_u7_b8 15 0 7 8 min(P,log(sqt(P))) 69862 121810430 o2(x,o1(o1(x))) true 46903 46903 -0.2645 0.4375 0.8605 0.7289 0.8537 -1 1 2 1 2.539 0.004043 0 0.007936 1 1 -1.93e-9 0.007922 0.008872 0.003979 0.06308 7.949 1 0.005547 0.01087 1 1 0.005464 0.02582 0.1643 0.007497 0.03542 0.2254 json
t15_x0_u7_b9 15 0 7 9 dot(P,log(sqt(P))) 69863 121810431 o2(x,o1(o1(x))) true 46911 46911 -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
t15_x0_u7_b10 15 0 7 10 dst(P,log(sqt(P))) 69864 121810432 o2(x,o1(o1(x))) true 46919 46919 -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
t15_x0_u8_b0 15 0 8 0 add(P,log(log(P))) 69865 121810623 o2(x,o1(o1(x))) true 46927 46927 -0.25 0.375 1 0.9375 0.9682 -1 1 2 1 0.9544 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01693 0.03386 1 1 0.02105 0.08421 0.3368 0.02246 0.08982 0.3593 json
t15_x0_u8_b1 15 0 8 1 sub(P,log(log(P))) 69866 121810624 o2(x,o1(o1(x))) true 46935 46935 -0.25 0.375 1 0.9375 0.9682 -1 1 2 1 0.9544 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01693 0.03386 1 1 0.02105 0.08421 0.3368 0.02246 0.08982 0.3593 json
t15_x0_u8_b2 15 0 8 2 mlt(P,log(log(P))) 69867 121810625 o2(x,o1(o1(x))) true 46943 46943 -0.3447 0.3359 0.9429 0.8055 0.8975 -1 1 2 1 1.646 0.0009177 0 0.007936 1 1 -1.064e-9 0.0006105 0.003953 0.0008554 0.02925 3.685 0.2673 0.001139 0.0007579 1 1 0.00203 0.02358 0.2346 0.00252 0.02928 0.2913 json
t15_x0_u8_b3 15 0 8 3 div(P,log(log(P))) 69868 121810626 o2(x,o1(o1(x))) true 46951 46951 -0.272 0.3555 0.9829 0.9059 0.9518 -1 1 2 1 1.137 0.01345 0 0.01586 1 1 -9.461e-10 0.01816 0.02076 0.01319 0.1149 7.242 1.258 0.01485 0.02004 1 1 0.02364 0.0953 0.3096 0.0261 0.1052 0.3418 json
t15_x0_u8_b4 15 0 8 4 pow(P,log(log(P))) 69869 121810627 o2(x,o1(o1(x))) true 46959 46959 -0.1376 0.4375 0.9875 0.9578 0.9786 -1 1 2 1 1.372 0.01592 0 0.009716 1 1 9.461e-10 0.03177 0.01639 0.01583 0.1258 12.95 2 0.01662 0.03318 1 1 0.02115 0.08262 0.306 0.02209 0.08626 0.3195 json
t15_x0_u8_b5 15 0 8 5 mod(P,log(log(P))) 69870 121810628 o2(x,o1(o1(x))) true 46967 46967 -0.5413 0.375 0.7088 0.3597 0.5997 -1 0.6789 1.679 1 1.929 0.005472 0 0.007924 1 1 0.00003021 0.01082 0.01001 0.005408 0.07354 9.281 1.167 0.01521 0.03009 1 1 0.007205 0.02853 0.1085 0.02003 0.07932 0.3015 json
t15_x0_u8_b6 15 0 8 6 lrg(P,log(log(P))) 69871 121810629 o2(x,o1(o1(x))) true 46975 46975 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
t15_x0_u8_b7 15 0 8 7 eql(P,log(log(P))) 69872 121810630 o2(x,o1(o1(x))) true 46983 46983 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
t15_x0_u8_b8 15 0 8 8 min(P,log(log(P))) 69873 121810631 o2(x,o1(o1(x))) true 46991 46991 -0.4482 0.332 0.7591 0.4753 0.6895 -1 0.7321 1.732 1 2.724 0.006022 0 0.01481 1 1 0.000005963 0.01118 0.01487 0.005801 0.07616 5.144 0.9997 0.01267 0.02351 1 1 0.008551 0.04068 0.1481 0.01799 0.08559 0.3115 json
t15_x0_u8_b9 15 0 8 9 dot(P,log(log(P))) 69874 121810632 o2(x,o1(o1(x))) true 46999 46999 -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
t15_x0_u8_b10 15 0 8 10 dst(P,log(log(P))) 69875 121810633 o2(x,o1(o1(x))) true 47007 47007 -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
t15_x0_u9_b0 15 0 9 0 add(P,log(frc(P))) 69876 121810824 o2(x,o1(o1(x))) true 47015 47015 -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
t15_x0_u9_b1 15 0 9 1 sub(P,log(frc(P))) 69877 121810825 o2(x,o1(o1(x))) true 47023 47023 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
t15_x0_u9_b2 15 0 9 2 mlt(P,log(frc(P))) 69878 121810826 o2(x,o1(o1(x))) true 47031 47031 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
t15_x0_u9_b3 15 0 9 3 div(P,log(frc(P))) 69879 121810827 o2(x,o1(o1(x))) true 47039 47039 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
t15_x0_u9_b4 15 0 9 4 pow(P,log(frc(P))) 69880 121810828 o2(x,o1(o1(x))) true 47047 47047 -0.5313 0.0625 0.5938 0.3046 0.5519 -1 0.9997 2 1 1.385 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
t15_x0_u9_b5 15 0 9 5 mod(P,log(frc(P))) 69881 121810829 o2(x,o1(o1(x))) true 47055 47055 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
t15_x0_u9_b6 15 0 9 6 lrg(P,log(frc(P))) 69882 121810830 o2(x,o1(o1(x))) true 47063 47063 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
t15_x0_u9_b7 15 0 9 7 eql(P,log(frc(P))) 69883 121810831 o2(x,o1(o1(x))) true 47071 47071 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
t15_x0_u9_b8 15 0 9 8 min(P,log(frc(P))) 69884 121810832 o2(x,o1(o1(x))) true 47079 47079 -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
t15_x0_u9_b9 15 0 9 9 dot(P,log(frc(P))) 69885 121810833 o2(x,o1(o1(x))) true 47087 47087 -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
t15_x0_u9_b10 15 0 9 10 dst(P,log(frc(P))) 69886 121810834 o2(x,o1(o1(x))) true 47095 47095 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
t15_x0_u10_b0 15 0 10 0 add(P,log(flr(P))) 69887 121811025 o2(x,o1(o1(x))) true 47103 47103 -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
t15_x0_u10_b1 15 0 10 1 sub(P,log(flr(P))) 69888 121811026 o2(x,o1(o1(x))) true 47111 47111 -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
t15_x0_u10_b2 15 0 10 2 mlt(P,log(flr(P))) 69889 121811027 o2(x,o1(o1(x))) true 47119 47119 -0.1507 0.4375 0.9743 0.9471 0.9732 -1 1 2 1 1.29 0.004479 0 0.007936 1 1 -9.461e-10 0.007933 0.00915 0.004415 0.06645 8.372 1 0.004729 0.008376 1 1 0.006621 0.04469 0.2958 0.006991 0.04718 0.3123 json
t15_x0_u10_b3 15 0 10 3 div(P,log(flr(P))) 69890 121811028 o2(x,o1(o1(x))) true 47127 47127 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.04762 0 0.02381 1 1 0 0.09524 0.04762 0.04704 0.2169 9.109 2 0.04837 0.09675 1 1 0.06316 0.2526 0.3368 0.06416 0.2566 0.3422 json
t15_x0_u10_b4 15 0 10 4 pow(P,log(flr(P))) 69891 121811029 o2(x,o1(o1(x))) true 47135 47135 -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
t15_x0_u10_b5 15 0 10 5 mod(P,log(flr(P))) 69892 121811030 o2(x,o1(o1(x))) true 47143 47143 -0.3416 0.375 0.9084 0.7488 0.8653 -1 1 2 1 2.085 0.01085 0 0.01451 1 1 9.461e-10 0.02072 0.01525 0.01064 0.1031 7.108 1.614 0.01449 0.02768 1 1 0.01485 0.0702 0.3281 0.01984 0.09376 0.4382 json
t15_x0_u10_b6 15 0 10 6 lrg(P,log(flr(P))) 69893 121811031 o2(x,o1(o1(x))) true 47151 47151 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
t15_x0_u10_b7 15 0 10 7 eql(P,log(flr(P))) 69894 121811032 o2(x,o1(o1(x))) true 47159 47159 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
t15_x0_u10_b8 15 0 10 8 min(P,log(flr(P))) 69895 121811033 o2(x,o1(o1(x))) true 47167 47167 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 -1.419e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0.005854 0.03284 0.2495 0.006466 0.03627 0.2755 json
t15_x0_u10_b9 15 0 10 9 dot(P,log(flr(P))) 69896 121811034 o2(x,o1(o1(x))) true 47175 47175 -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
t15_x0_u10_b10 15 0 10 10 dst(P,log(flr(P))) 69897 121811035 o2(x,o1(o1(x))) true 47183 47183 -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
t15_x0_u11_b0 15 0 11 0 add(P,log(cil(P))) 69898 121811226 o2(x,o1(o1(x))) true 47191 47191 -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
t15_x0_u11_b1 15 0 11 1 sub(P,log(cil(P))) 69899 121811227 o2(x,o1(o1(x))) true 47199 47199 -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