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_u3_b10 13 0 3 10 sqt(dst(flr(P),P)) 42100 105568426 o1(o2(o1(x),x)) true 16807 16807 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_u4_b0 13 0 4 0 sqt(add(cil(P),P)) 42101 105568617 o1(o2(o1(x),x)) true 16815 16815 -0.02539 0.5 0.9746 0.9688 0.9843 -1 1 2 1 1.276 0.00449 0 0.007936 1 1 4.735e-10 0.007941 0.009175 0.004426 0.06653 8.383 1 0.004635 0.008197 1 1 0.006645 0.04498 0.2962 0.00686 0.04643 0.3058 json
t13_x0_u4_b1 13 0 4 1 sqt(sub(cil(P),P)) 42102 105568618 o1(o2(o1(x),x)) true 16823 16823 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_u4_b2 13 0 4 2 sqt(mlt(cil(P),P)) 42103 105568619 o1(o2(o1(x),x)) true 16831 16831 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_u4_b3 13 0 4 3 sqt(div(cil(P),P)) 42104 105568620 o1(o2(o1(x),x)) true 16839 16839 0.75 0.875 1 0.4375 0.6614 -1 1 2 1 0.5436 0.03175 0 0.01587 1 1 7.569e-9 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
t13_x0_u4_b4 13 0 4 4 sqt(pow(cil(P),P)) 42105 105568621 o1(o2(o1(x),x)) true 16847 16847 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_u4_b5 13 0 4 5 sqt(mod(cil(P),P)) 42106 105568622 o1(o2(o1(x),x)) true 16855 16855 -0.2096 0.3125 0.6654 0.6066 0.7788 -1 1 2 1 2.027 0.02257 0 0.03564 1 1 -0.0002377 0.04037 0.04681 0.0213 0.1459 4.095 1 0.03721 0.06655 1 1 0.03122 0.1528 0.4202 0.05147 0.2519 0.6927 json
t13_x0_u4_b6 13 0 4 6 sqt(lrg(cil(P),P)) 42107 105568623 o1(o2(o1(x),x)) true 16863 16863 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_u4_b7 13 0 4 7 sqt(eql(cil(P),P)) 42108 105568624 o1(o2(o1(x),x)) true 16871 16871 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_u4_b8 13 0 4 8 sqt(min(cil(P),P)) 42109 105568625 o1(o2(o1(x),x)) true 16879 16879 -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_u4_b9 13 0 4 9 sqt(dot(cil(P),P)) 42110 105568626 o1(o2(o1(x),x)) true 16887 16887 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
t13_x0_u4_b10 13 0 4 10 sqt(dst(cil(P),P)) 42111 105568627 o1(o2(o1(x),x)) true 16895 16895 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_u5_b0 13 0 5 0 sqt(add(sgn(P),P)) 42112 105568818 o1(o2(o1(x),x)) true 16903 16903 -0.02539 0.5 0.9746 0.9688 0.9843 -1 1 2 1 1.276 0.00449 0 0.007936 1 1 4.735e-10 0.007941 0.009175 0.004426 0.06653 8.383 1 0.004635 0.008197 1 1 0.006645 0.04498 0.2962 0.00686 0.04643 0.3058 json
t13_x0_u5_b1 13 0 5 1 sqt(sub(sgn(P),P)) 42113 105568819 o1(o2(o1(x),x)) true 16911 16911 -0.03125 0.4375 0.8438 0.8354 0.914 -1 1 2 1 1.757 0.004321 0 0.007937 1 1 -4.731e-10 0.007953 0.008864 0.004257 0.06525 8.221 1 0.005173 0.00952 1 1 0.006189 0.0332 0.1593 0.007408 0.03974 0.1907 json
t13_x0_u5_b2 13 0 5 2 sqt(mlt(sgn(P),P)) 42114 105568820 o1(o2(o1(x),x)) true 16919 16919 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_u5_b3 13 0 5 3 sqt(div(sgn(P),P)) 42115 105568821 o1(o2(o1(x),x)) true 16927 16927 0.3368 0.875 0.5869 0.2794 0.5286 -1 0.9999 2 1 3.154 0.03182 0 0.021 1 1 -0.000004381 0.06355 0.03293 0.03139 0.1772 8.437 2 0.1139 0.2275 1 1 0.04227 0.1635 0.5305 0.1513 0.5852 1.899 json
t13_x0_u5_b4 13 0 5 4 sqt(pow(sgn(P),P)) 42116 105568822 o1(o2(o1(x),x)) true 16935 16935 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_u5_b5 13 0 5 5 sqt(mod(sgn(P),P)) 42117 105568823 o1(o2(o1(x),x)) true 16943 16943 -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_u5_b6 13 0 5 6 sqt(lrg(sgn(P),P)) 42118 105568824 o1(o2(o1(x),x)) true 16951 16951 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_u5_b7 13 0 5 7 sqt(eql(sgn(P),P)) 42119 105568825 o1(o2(o1(x),x)) true 16959 16959 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_u5_b8 13 0 5 8 sqt(min(sgn(P),P)) 42120 105568826 o1(o2(o1(x),x)) true 16967 16967 -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_u5_b9 13 0 5 9 sqt(dot(sgn(P),P)) 42121 105568827 o1(o2(o1(x),x)) true 16975 16975 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
t13_x0_u5_b10 13 0 5 10 sqt(dst(sgn(P),P)) 42122 105568828 o1(o2(o1(x),x)) true 16983 16983 0.9651 0.9844 0.9651 0.02899 0.1703 0 1 1 1 0.4262 0.0001272 0.0001272 0.002837 0.00000206 1 -4.655e-10 0.00001489 0.0006869 0.0002461 0.01569 5.53 0.1194 0.008773 0.0005135 1 1 0.0008834 0.0115 0.07054 0.03047 0.3966 2.433 json
t13_x0_u6_b0 13 0 6 0 sqt(add(nrm(P),P)) 42123 105569019 o1(o2(o1(x),x)) true 16991 16991 -0.04086 0.4922 0.9748 0.9682 0.984 -1 1 2 1 1.331 0.005848 0.001336 0.008699 0.628 1 -2.938e-8 0.01394 0.01139 0.007102 0.08427 9.688 2.828 0.007419 0.0144 1 1 0.01123 0.05852 0.3354 0.0116 0.06044 0.3464 json
t13_x0_u6_b1 13 0 6 1 sqt(sub(nrm(P),P)) 42124 105569020 o1(o2(o1(x),x)) true 16999 16999 -0.05289 0.4922 0.9627 0.9495 0.9744 -1 1 2 1 1.589 0.004568 0.0008419 0.00866 0.6887 1 8.67e-8 0.01046 0.01048 0.005331 0.07301 8.431 1.541 0.005697 0.01101 1 1 0.008034 0.04376 0.2988 0.008461 0.04609 0.3147 json
t13_x0_u6_b2 13 0 6 2 sqt(mlt(nrm(P),P)) 42125 105569021 o1(o2(o1(x),x)) true 17007 17007 0.8499 0.9844 0.8812 0.1203 0.3468 -1 1 2 1 1.745 0.00402 0.002141 0.01055 0.305 1 -0.000001915 0.01216 0.00863 0.006053 0.0778 7.375 2.603 0.05123 0.1011 1 1 0.01114 0.0525 0.238 0.09262 0.4365 1.979 json
t13_x0_u6_b3 13 0 6 3 sqt(div(nrm(P),P)) 42126 105569022 o1(o2(o1(x),x)) true 17015 17015 0.2414 0.875 0.4914 0.2288 0.4783 -1 0.9999 2 1 2.571 0.01963 0.000006168 0.015 0.9994 1 -0.000005823 0.03926 0.02531 0.01942 0.1393 9.289 2 0.08584 0.1716 1 1 0.02802 0.1108 0.4126 0.1225 0.4845 1.803 json
t13_x0_u6_b4 13 0 6 4 sqt(pow(nrm(P),P)) 42127 105569023 o1(o2(o1(x),x)) true 17023 17023 -0.2009 0.5 0.7991 0.6713 0.8193 -1 1 2 1 2.809 0.01595 0.00002845 0.01271 0.9964 1 -0.0000021 0.03179 0.01693 0.01582 0.1258 9.895 2 0.02381 0.04736 1 1 0.02126 0.08237 0.266 0.03167 0.1227 0.3963 json
t13_x0_u6_b5 13 0 6 5 sqt(mod(nrm(P),P)) 42128 105569024 o1(o2(o1(x),x)) true 17031 17031 -0.2025 0.4375 0.9225 0.8287 0.9103 -1 1 2 1 2.269 0.00905 0.00001745 0.008425 0.9962 1 -0.00000128 0.01803 0.01239 0.008994 0.09484 11.26 1.841 0.01094 0.02175 1 1 0.01276 0.05455 0.2607 0.0154 0.06582 0.3146 json
t13_x0_u6_b6 13 0 6 6 sqt(lrg(nrm(P),P)) 42129 105569025 o1(o2(o1(x),x)) true 17039 17039 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_u6_b7 13 0 6 7 sqt(eql(nrm(P),P)) 42130 105569026 o1(o2(o1(x),x)) true 17047 17047 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_u6_b8 13 0 6 8 sqt(min(nrm(P),P)) 42131 105569027 o1(o2(o1(x),x)) true 17055 17055 -0.1206 0.5 0.8794 0.8035 0.8964 -1 1 2 1 2.656 0.004106 0.000007345 0.00839 0.9964 1 -0.000001417 0.007915 0.008861 0.004045 0.0636 7.58 1 0.00512 0.009851 1 1 0.005728 0.03092 0.2153 0.007128 0.03848 0.268 json
t13_x0_u6_b9 13 0 6 9 sqt(dot(nrm(P),P)) 42132 105569028 o1(o2(o1(x),x)) true 17063 17063 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_u6_b10 13 0 6 10 sqt(dst(nrm(P),P)) 42133 105569029 o1(o2(o1(x),x)) true 17071 17071 0.9577 0.9844 0.989 0.0672 0.2592 -1 1 2 1 0.385 0.001893 0.001893 0.004553 0 1 -2.816e-10 0.007618 0.005789 0.003762 0.06134 13.47 2.324 0.05633 0.1134 1 1 0.006926 0.03599 0.2123 0.1031 0.5356 3.16 json
t13_x0_u7_b0 13 0 7 0 log(add(sqt(P),P)) 42134 105569220 o1(o2(o1(x),x)) true 17079 17079 -0.132 0.4375 0.993 0.9704 0.9851 -1 1 2 1 1.206 0.01144 0 0.007937 1 1 2.838e-9 0.02272 0.01391 0.01137 0.1066 13.44 1.693 0.01179 0.02341 1 1 0.01527 0.06775 0.3203 0.01574 0.06982 0.3301 json
t13_x0_u7_b1 13 0 7 1 log(sub(sqt(P),P)) 42135 105569221 o1(o2(o1(x),x)) true 17087 17087 -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_u7_b2 13 0 7 2 log(mlt(sqt(P),P)) 42136 105569222 o1(o2(o1(x),x)) true 17095 17095 -0.1553 0.4375 0.9697 0.9396 0.9694 -1 1 2 1 1.353 0.004347 0 0.007937 1 1 4.735e-10 0.007907 0.008847 0.004283 0.06544 8.246 1 0.004626 0.008414 1 1 0.006288 0.04048 0.2874 0.006691 0.04308 0.3059 json
t13_x0_u7_b3 13 0 7 3 log(div(sqt(P),P)) 42137 105569223 o1(o2(o1(x),x)) true 17103 17103 -0.8605 0 0.8605 0.05874 0.2424 -1 -0.0001009 0.9999 1 2.15 0.004042 0 0.007936 1 1 2.961e-9 0.007957 0.008889 0.003978 0.06307 7.948 0.9999 0.0688 0.1354 1 1 0.005437 0.02127 0.05965 0.09255 0.3621 1.015 json
t13_x0_u7_b4 13 0 7 4 log(pow(sqt(P),P)) 42138 105569224 o1(o2(o1(x),x)) true 17111 17111 -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
t13_x0_u7_b5 13 0 7 5 log(mod(sqt(P),P)) 42139 105569225 o1(o2(o1(x),x)) true 17119 17119 -0.3379 0.375 0.9121 0.7442 0.8626 -1 1 2 1 2.13 0.007228 0 0.007936 1 1 -9.934e-9 0.01438 0.01131 0.007164 0.08464 10.66 1.347 0.009713 0.01932 1 1 0.00963 0.04098 0.2077 0.01294 0.05507 0.2791 json
t13_x0_u7_b6 13 0 7 6 log(lrg(sqt(P),P)) 42140 105569226 o1(o2(o1(x),x)) true 17127 17127 -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_u7_b7 13 0 7 7 log(eql(sqt(P),P)) 42141 105569227 o1(o2(o1(x),x)) true 17135 17135 -0.9375 0 0.9375 0.05859 0.2421 -1 0 1 1 0.3373 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.1354 0.2709 1 1 0.01053 0.04211 0.08421 0.1796 0.7186 1.437 json
t13_x0_u7_b8 13 0 7 8 log(min(sqt(P),P)) 42142 105569228 o1(o2(o1(x),x)) true 17143 17143 -0.2645 0.4375 0.8605 0.7289 0.8537 -1 1 2 1 2.539 0.004043 0 0.007936 1 1 -9.461e-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
t13_x0_u7_b9 13 0 7 9 log(dot(sqt(P),P)) 42143 105569229 o1(o2(o1(x),x)) true 17151 17151 -0.5102 0.2461 0.9976 0.7364 0.8581 -1 1 2 1 0.8618 0.007031 0.007031 0.0078 -9.935e-8 1 3.379e-11 0.0282 0.01484 0.014 0.1183 15.17 2.394 0.0191 0.03829 1 1 0.01794 0.07466 0.3249 0.02437 0.1014 0.4412 json
t13_x0_u7_b10 13 0 7 10 log(dst(sqt(P),P)) 42144 105569230 o1(o2(o1(x),x)) true 17159 17159 -0.5658 0.2247 0.971 0.6396 0.7997 -1 1 2 1 1.235 0.004727 0.004727 0.007659 6.895e-7 1 -3.304e-10 0.01876 0.01158 0.009397 0.09694 12.66 2 0.01478 0.02933 1 1 0.00993 0.04357 0.2211 0.01553 0.06812 0.3456 json
t13_x0_u8_b0 13 0 8 0 log(add(log(P),P)) 42145 105569421 o1(o2(o1(x),x)) true 17167 17167 -0.1566 0.4375 0.9684 0.9364 0.9677 -1 1 2 1 1.385 0.004317 0 0.007936 1 1 -4.736e-10 0.007904 0.008851 0.004253 0.06521 8.217 1 0.00461 0.00844 1 1 0.006211 0.03949 0.2848 0.006632 0.04217 0.3042 json
t13_x0_u8_b1 13 0 8 1 log(sub(log(P),P)) 42146 105569422 o1(o2(o1(x),x)) true 17175 17175 -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_u8_b2 13 0 8 2 log(mlt(log(P),P)) 42147 105569423 o1(o2(o1(x),x)) true 17183 17183 -0.2679 0.375 0.9821 0.902 0.9498 -1 1 2 1 1.246 0.007209 0 0.007936 1 1 -4.731e-10 0.01395 0.01129 0.007144 0.08452 10.65 1.327 0.007992 0.01546 1 1 0.009874 0.05103 0.3017 0.01095 0.05658 0.3344 json
t13_x0_u8_b3 13 0 8 3 log(div(log(P),P)) 42148 105569424 o1(o2(o1(x),x)) true 17191 17191 -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_u8_b4 13 0 8 4 log(pow(log(P),P)) 42149 105569425 o1(o2(o1(x),x)) true 17199 17199 -0.3447 0.3359 0.9429 0.8055 0.8975 -1 1 2 1 1.646 0.0009177 0 0.007936 1 1 5.913e-10 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
t13_x0_u8_b5 13 0 8 5 log(mod(log(P),P)) 42150 105569426 o1(o2(o1(x),x)) true 17207 17207 -0.4795 0.332 0.7903 0.4844 0.696 -1 0.7321 1.732 1 2.357 0.001703 0 0.006871 1 1 0.000005963 0.003175 0.006013 0.001655 0.04068 5.921 0.6336 0.003516 0.006556 1 1 0.002401 0.01404 0.1151 0.004957 0.02899 0.2376 json
t13_x0_u8_b6 13 0 8 6 log(lrg(log(P),P)) 42151 105569427 o1(o2(o1(x),x)) true 17215 17215 -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_u8_b7 13 0 8 7 log(eql(log(P),P)) 42152 105569428 o1(o2(o1(x),x)) true 17223 17223 -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_u8_b8 13 0 8 8 log(min(log(P),P)) 42153 105569429 o1(o2(o1(x),x)) true 17231 17231 -0.4795 0.332 0.7903 0.4844 0.696 -1 0.7321 1.732 1 2.357 0.001703 0 0.006871 1 1 0.000005963 0.003175 0.006013 0.001655 0.04068 5.921 0.6336 0.003516 0.006556 1 1 0.002401 0.01404 0.1151 0.004957 0.02899 0.2376 json
t13_x0_u8_b9 13 0 8 9 log(dot(log(P),P)) 42154 105569430 o1(o2(o1(x),x)) true 17239 17239 -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_u8_b10 13 0 8 10 log(dst(log(P),P)) 42155 105569431 o1(o2(o1(x),x)) true 17247 17247 -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_u9_b0 13 0 9 0 log(add(frc(P),P)) 42156 105569622 o1(o2(o1(x),x)) true 17255 17255 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 1.42e-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
t13_x0_u9_b1 13 0 9 1 log(sub(frc(P),P)) 42157 105569623 o1(o2(o1(x),x)) true 17263 17263 -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
t13_x0_u9_b2 13 0 9 2 log(mlt(frc(P),P)) 42158 105569624 o1(o2(o1(x),x)) true 17271 17271 -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_u9_b3 13 0 9 3 log(div(frc(P),P)) 42159 105569625 o1(o2(o1(x),x)) true 17279 17279 -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_u9_b4 13 0 9 4 log(pow(frc(P),P)) 42160 105569626 o1(o2(o1(x),x)) true 17287 17287 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_u9_b5 13 0 9 5 log(mod(frc(P),P)) 42161 105569627 o1(o2(o1(x),x)) true 17295 17295 -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_u9_b6 13 0 9 6 log(lrg(frc(P),P)) 42162 105569628 o1(o2(o1(x),x)) true 17303 17303 -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_u9_b7 13 0 9 7 log(eql(frc(P),P)) 42163 105569629 o1(o2(o1(x),x)) true 17311 17311 -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_u9_b8 13 0 9 8 log(min(frc(P),P)) 42164 105569630 o1(o2(o1(x),x)) true 17319 17319 -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_u9_b9 13 0 9 9 log(dot(frc(P),P)) 42165 105569631 o1(o2(o1(x),x)) true 17327 17327 -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_u9_b10 13 0 9 10 log(dst(frc(P),P)) 42166 105569632 o1(o2(o1(x),x)) true 17335 17335 0.944 0.9844 0.9752 0.07239 0.2691 -1 1 2 1 0.7009 0.001465 0.001465 0.005009 -7.548e-7 1 4.881e-11 0.005843 0.005405 0.002907 0.05392 10.76 1.904 0.04048 0.08071 1 1 0.005375 0.02798 0.1918 0.07424 0.3866 2.649 json
t13_x0_u10_b0 13 0 10 0 log(add(flr(P),P)) 42167 105569823 o1(o2(o1(x),x)) true 17343 17343 -0.1312 0.4375 0.9938 0.9718 0.9858 -1 1 2 1 1.182 0.01145 0 0.007937 1 1 0 0.02272 0.01402 0.01139 0.1067 13.44 1.693 0.01178 0.02338 1 1 0.01531 0.06959 0.3222 0.01575 0.07161 0.3316 json
t13_x0_u10_b1 13 0 10 1 log(sub(flr(P),P)) 42168 105569824 o1(o2(o1(x),x)) true 17351 17351 -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_u10_b2 13 0 10 2 log(mlt(flr(P),P)) 42169 105569825 o1(o2(o1(x),x)) true 17359 17359 0.6987 0.875 0.9487 0.4505 0.6712 -1 1 2 1 1.146 0.008959 0 0.01587 1 1 -1.892e-9 0.01587 0.0183 0.008704 0.0933 5.878 1 0.01989 0.03522 1 1 0.01324 0.08938 0.5915 0.02939 0.1984 1.313 json
t13_x0_u10_b3 13 0 10 3 log(div(flr(P),P)) 42170 105569826 o1(o2(o1(x),x)) true 17367 17367 -0.125 0 0.125 0.1094 0.3307 -1 0 1 1 1.406 0.007937 0 0.007937 1 1 2.125e-14 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
t13_x0_u10_b4 13 0 10 4 log(pow(flr(P),P)) 42171 105569827 o1(o2(o1(x),x)) true 17375 17375 -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
t13_x0_u10_b5 13 0 10 5 log(mod(flr(P),P)) 42172 105569828 o1(o2(o1(x),x)) true 17383 17383 -0.875 0.0625 1 0.2344 0.4841 -1 1 2 1 0.3373 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.1354 0.2709 1 1 0.01053 0.07368 0.1684 0.04491 0.3144 0.7186 json
t13_x0_u10_b6 13 0 10 6 log(lrg(flr(P),P)) 42173 105569829 o1(o2(o1(x),x)) true 17391 17391 -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_u10_b7 13 0 10 7 log(eql(flr(P),P)) 42174 105569830 o1(o2(o1(x),x)) true 17399 17399 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_u10_b8 13 0 10 8 log(min(flr(P),P)) 42175 105569831 o1(o2(o1(x),x)) true 17407 17407 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 1.42e-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
t13_x0_u10_b9 13 0 10 9 log(dot(flr(P),P)) 42176 105569832 o1(o2(o1(x),x)) true 17415 17415 0.9607 0.9844 0.992 0.06589 0.2567 -1 1 2 1 0.3064 0.001992 0.001992 0.004418 -4.676e-7 1 0 0.007958 0.00606 0.003962 0.06294 14.25 2.395 0.06045 0.1208 1 1 0.007346 0.04009 0.2168 0.1115 0.6085 3.291 json
t13_x0_u10_b10 13 0 10 10 log(dst(flr(P),P)) 42177 105569833 o1(o2(o1(x),x)) true 17423 17423 -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_u11_b0 13 0 11 0 log(add(cil(P),P)) 42178 105570024 o1(o2(o1(x),x)) true 17431 17431 -0.1312 0.4375 0.9938 0.9718 0.9858 -1 1 2 1 1.182 0.01145 0 0.007937 1 1 0 0.02272 0.01402 0.01139 0.1067 13.44 1.693 0.01178 0.02338 1 1 0.01531 0.06959 0.3222 0.01575 0.07161 0.3316 json
t13_x0_u11_b1 13 0 11 1 log(sub(cil(P),P)) 42179 105570025 o1(o2(o1(x),x)) true 17439 17439 -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_u11_b2 13 0 11 2 log(mlt(cil(P),P)) 42180 105570026 o1(o2(o1(x),x)) true 17447 17447 0.6987 0.875 0.9487 0.4505 0.6712 -1 1 2 1 1.146 0.008959 0 0.01587 1 1 -1.892e-9 0.01587 0.0183 0.008704 0.0933 5.878 1 0.01989 0.03522 1 1 0.01324 0.08938 0.5915 0.02939 0.1984 1.313 json
t13_x0_u11_b3 13 0 11 3 log(div(cil(P),P)) 42181 105570027 o1(o2(o1(x),x)) true 17455 17455 -0.125 0 0.125 0.1094 0.3307 -1 0 1 1 1.406 0.007937 0 0.007937 1 1 2.125e-14 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
t13_x0_u11_b4 13 0 11 4 log(pow(cil(P),P)) 42182 105570028 o1(o2(o1(x),x)) true 17463 17463 -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
t13_x0_u11_b5 13 0 11 5 log(mod(cil(P),P)) 42183 105570029 o1(o2(o1(x),x)) true 17471 17471 -0.875 0.0625 1 0.2344 0.4841 -1 1 2 1 0.3373 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.1354 0.2709 1 1 0.01053 0.07368 0.1684 0.04491 0.3144 0.7186 json
t13_x0_u11_b6 13 0 11 6 log(lrg(cil(P),P)) 42184 105570030 o1(o2(o1(x),x)) true 17479 17479 -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_u11_b7 13 0 11 7 log(eql(cil(P),P)) 42185 105570031 o1(o2(o1(x),x)) true 17487 17487 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_u11_b8 13 0 11 8 log(min(cil(P),P)) 42186 105570032 o1(o2(o1(x),x)) true 17495 17495 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 1.42e-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
t13_x0_u11_b9 13 0 11 9 log(dot(cil(P),P)) 42187 105570033 o1(o2(o1(x),x)) true 17503 17503 0.9607 0.9844 0.992 0.06589 0.2567 -1 1 2 1 0.3064 0.001992 0.001992 0.004418 -4.676e-7 1 0 0.007958 0.00606 0.003962 0.06294 14.25 2.395 0.06045 0.1208 1 1 0.007346 0.04009 0.2168 0.1115 0.6085 3.291 json
t13_x0_u11_b10 13 0 11 10 log(dst(cil(P),P)) 42188 105570034 o1(o2(o1(x),x)) true 17511 17511 -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_u12_b0 13 0 12 0 log(add(sgn(P),P)) 42189 105570225 o1(o2(o1(x),x)) true 17519 17519 -0.1331 0.4375 0.9919 0.968 0.9839 -1 1 2 1 1.223 0.01142 0 0.007937 1 1 1.892e-9 0.02272 0.01379 0.01136 0.1066 13.43 1.693 0.0118 0.02347 1 1 0.01523 0.0662 0.3178 0.01574 0.06839 0.3283 json
t13_x0_u12_b1 13 0 12 1 log(sub(sgn(P),P)) 42190 105570226 o1(o2(o1(x),x)) true 17527 17527 -0.2989 0.375 0.9511 0.8461 0.9199 -1 1 2 1 1.595 0.004186 0 0.007937 1 1 1.419e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004947 0.009356 1 1 0.005854 0.03284 0.2495 0.006919 0.03881 0.2948 json
t13_x0_u12_b2 13 0 12 2 log(mlt(sgn(P),P)) 42191 105570227 o1(o2(o1(x),x)) true 17535 17535 0.6522 0.875 0.9022 0.445 0.6671 -1 1 2 1 1.874 0.008372 0 0.01587 1 1 2.841e-9 0.01583 0.01783 0.008118 0.0901 5.677 1 0.01881 0.03558 1 1 0.01171 0.06567 0.4989 0.02631 0.1476 1.121 json
t13_x0_u12_b3 13 0 12 3 log(div(sgn(P),P)) 42192 105570228 o1(o2(o1(x),x)) true 17543 17543 -0.9022 0 0.9022 0.0563 0.2373 -1 -0.0002017 0.9998 1 1.372 0.008365 0 0.01587 1 1 -3.074e-9 0.01597 0.0179 0.008112 0.09007 5.675 0.9998 0.1486 0.2837 1 1 0.0116 0.0475 0.08878 0.206 0.8437 1.577 json
t13_x0_u12_b4 13 0 12 4 log(pow(sgn(P),P)) 42193 105570229 o1(o2(o1(x),x)) true 17551 17551 -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_u12_b5 13 0 12 5 log(mod(sgn(P),P)) 42194 105570230 o1(o2(o1(x),x)) true 17559 17559 -0.625 0 0.625 0.2344 0.4841 -1 0 1 1 0.9544 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01693 0.03386 1 1 0.005263 0.02105 0.08421 0.02246 0.08982 0.3593 json
t13_x0_u12_b6 13 0 12 6 log(lrg(sgn(P),P)) 42195 105570231 o1(o2(o1(x),x)) true 17567 17567 -0.625 0 0.625 0.2344 0.4841 -1 0 1 1 0.9544 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01693 0.03386 1 1 0.005263 0.02105 0.08421 0.02246 0.08982 0.3593 json
t13_x0_u12_b7 13 0 12 7 log(eql(sgn(P),P)) 42196 105570232 o1(o2(o1(x),x)) true 17575 17575 -0.875 0 0.875 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
t13_x0_u12_b8 13 0 12 8 log(min(sgn(P),P)) 42197 105570233 o1(o2(o1(x),x)) true 17583 17583 -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_u12_b9 13 0 12 9 log(dot(sgn(P),P)) 42198 105570234 o1(o2(o1(x),x)) true 17591 17591 0.9544 0.9844 0.9857 0.06806 0.2609 -1 1 2 1 0.4826 0.001965 0.001965 0.004947 2.963e-7 1 5.519e-10 0.007952 0.006023 0.003908 0.06251 12.64 2.394 0.05774 0.1168 1 1 0.00716 0.03571 0.2046 0.1052 0.5247 3.007 json
t13_x0_u12_b10 13 0 12 10 log(dst(sgn(P),P)) 42199 105570235 o1(o2(o1(x),x)) true 17599 17599 0.8257 0.9375 0.9507 0.2492 0.4992 -1 1 2 1 1.256 0.002528 0.002528 0.009041 0.000001013 1 1.802e-9 0.009864 0.009934 0.004978 0.07055 7.804 1.904 0.02029 0.03959 1 1 0.009319 0.05011 0.3623 0.0374 0.2011 1.454 json