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_u40_b3 13 0 40 3 sgn(div(sgn(P),P)) 42500 105575856 o1(o2(o1(x),x)) true 20007 20007 0.875 0.9375 0.9611 0.1803 0.4246 -0.9994 1 1.999 1 0.8126 0.002823 0 0.01587 1 1 0 0.0001297 0.003711 0.002573 0.05073 3.197 0.2338 0.01566 0.0007193 1 1 0.007404 0.09633 0.2639 0.04107 0.5344 1.464 json
t13_x0_u40_b4 13 0 40 4 sgn(pow(sgn(P),P)) 42501 105575857 o1(o2(o1(x),x)) true 20015 20015 0.0625 0.5313 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t13_x0_u40_b5 13 0 40 5 sgn(mod(sgn(P),P)) 42502 105575858 o1(o2(o1(x),x)) true 20023 20023 -0.0625 0.4375 0.875 0.8441 0.9187 -1 1 2 1 2.367 0.001412 0 0.01587 1 1 9.461e-10 0.0000648 0.003706 0.00116 0.03406 2.146 0.1169 0.001673 0.00007677 1 1 0.003702 0.04837 0.2162 0.004386 0.0573 0.2561 json
t13_x0_u40_b6 13 0 40 6 sgn(lrg(sgn(P),P)) 42503 105575859 o1(o2(o1(x),x)) true 20031 20031 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_u40_b7 13 0 40 7 sgn(eql(sgn(P),P)) 42504 105575860 o1(o2(o1(x),x)) true 20039 20039 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_u40_b8 13 0 40 8 sgn(min(sgn(P),P)) 42505 105575861 o1(o2(o1(x),x)) true 20047 20047 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_u40_b9 13 0 40 9 sgn(dot(sgn(P),P)) 42506 105575862 o1(o2(o1(x),x)) true 20055 20055 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_u40_b10 13 0 40 10 sgn(dst(sgn(P),P)) 42507 105575863 o1(o2(o1(x),x)) true 20063 20063 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_u41_b0 13 0 41 0 sgn(add(nrm(P),P)) 42508 105576054 o1(o2(o1(x),x)) true 20071 20071 -0.003906 0.4973 0.94 0.9263 0.9625 -1 1 2 1 1.811 0.000741 0.00003512 0.008207 0.9095 1 3.754e-12 0.00003657 0.001903 0.000709 0.02663 3.244 0.2338 0.0008378 0.00003948 1 1 0.002095 0.02767 0.2431 0.002262 0.02987 0.2624 json
t13_x0_u41_b1 13 0 41 1 sgn(sub(nrm(P),P)) 42509 105576055 o1(o2(o1(x),x)) true 20079 20079 -0.003906 0.4958 0.933 0.9172 0.9577 -1 1 2 1 1.903 0.0007216 0.0001053 0.009156 0.7452 1 1.725e-11 0.0000409 0.002131 0.0007431 0.02726 2.977 0.1653 0.0009016 0.0000446 1 1 0.002272 0.02995 0.2411 0.002477 0.03265 0.2629 json
t13_x0_u41_b2 13 0 41 2 sgn(mlt(nrm(P),P)) 42510 105576056 o1(o2(o1(x),x)) true 20087 20087 0.9336 0.9945 0.9386 0.05307 0.2304 -0.9991 1 1.999 1 0.8557 0.0008306 0.00003512 0.008652 0.9189 1 -9.015e-10 0.00004075 0.001989 0.0007913 0.02813 3.251 0.2338 0.01631 0.0007679 1 1 0.002407 0.03132 0.08581 0.04535 0.5901 1.617 json
t13_x0_u41_b3 13 0 41 3 sgn(div(nrm(P),P)) 42511 105576057 o1(o2(o1(x),x)) true 20095 20095 0.875 0.9375 0.9611 0.1803 0.4246 -0.9994 1 1.999 1 0.8126 0.002823 0 0.01587 1 1 0 0.0001297 0.003711 0.002573 0.05073 3.197 0.2338 0.01566 0.0007193 1 1 0.007404 0.09633 0.2639 0.04107 0.5344 1.464 json
t13_x0_u41_b4 13 0 41 4 sgn(pow(nrm(P),P)) 42512 105576058 o1(o2(o1(x),x)) true 20103 20103 0.0625 0.5313 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t13_x0_u41_b5 13 0 41 5 sgn(mod(nrm(P),P)) 42513 105576059 o1(o2(o1(x),x)) true 20111 20111 -0.0625 0.4675 0.9738 0.9599 0.9797 -1 1 2 1 1.476 0.001392 0.00007023 0.009059 0.904 1 1.131e-10 0.0000691 0.002113 0.001382 0.03717 4.103 0.2338 0.001524 0.00007198 1 1 0.003879 0.05085 0.2984 0.004041 0.05298 0.3109 json
t13_x0_u41_b6 13 0 41 6 sgn(lrg(nrm(P),P)) 42514 105576060 o1(o2(o1(x),x)) true 20119 20119 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_u41_b7 13 0 41 7 sgn(eql(nrm(P),P)) 42515 105576061 o1(o2(o1(x),x)) true 20127 20127 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_u41_b8 13 0 41 8 sgn(min(nrm(P),P)) 42516 105576062 o1(o2(o1(x),x)) true 20135 20135 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_u41_b9 13 0 41 9 sgn(dot(nrm(P),P)) 42517 105576063 o1(o2(o1(x),x)) true 20143 20143 0.9922 0.9966 0.9957 0.009532 0.09763 -0.9988 1 1.999 1 0.1247 0.0001405 0.0001405 0.001684 6.734e-7 1 -3.604e-10 0.00001689 0.0004121 0.0002777 0.01666 9.897 0.2338 0.02947 0.001772 1 1 0.000977 0.01271 0.03483 0.1025 1.334 3.654 json
t13_x0_u41_b10 13 0 41 10 sgn(dst(nrm(P),P)) 42518 105576064 o1(o2(o1(x),x)) true 20151 20151 0.9766 0.9917 0.9832 0.02433 0.156 -0.9994 1 1.999 1 0.3599 0.0001599 0.0001599 0.00326 8.192e-7 1 -5.632e-11 0.00001666 0.0007059 0.0003095 0.01759 5.397 0.1653 0.01314 0.0006849 1 1 0.001112 0.01456 0.07605 0.0457 0.5986 3.126 json
t13_x0_u42_b0 13 0 42 0 nrm(add(sqt(P),P)) 42519 105576255 o1(o2(o1(x),x)) true 20159 20159 -0.5929 0.245 0.9149 0.5247 0.7244 -1 1 2 1 1.731 0.002631 0.007415 0.008057 -0.4763 1 -5.734e-7 0.02027 0.01243 0.009979 0.0999 12.4 2.414 0.01914 0.03862 1 1 0.01343 0.05525 0.2375 0.02559 0.1053 0.4526 json
t13_x0_u42_b1 13 0 42 1 nrm(sub(sqt(P),P)) 42520 105576256 o1(o2(o1(x),x)) true 20167 20167 -0.9088 0 0.9088 0.05626 0.2372 -1 0 1 1 1.339 0.001514 0.0003842 0.003767 0.5951 1 7.302e-7 0.003765 0.004235 0.001884 0.0434 11.52 1 0.03374 0.06692 1 1 0.002518 0.01101 0.04891 0.04476 0.1956 0.8694 json
t13_x0_u42_b2 13 0 42 2 nrm(mlt(sqt(P),P)) 42521 105576257 o1(o2(o1(x),x)) true 20175 20175 -0.6007 0.2446 0.9071 0.5155 0.718 -1 1 2 1 1.714 0.002628 0.007421 0.008227 -0.4769 1 -9.394e-7 0.02027 0.01245 0.00998 0.0999 12.14 2.414 0.0195 0.03932 1 1 0.01344 0.05519 0.2375 0.02607 0.1071 0.4608 json
t13_x0_u42_b3 13 0 42 3 nrm(div(sqt(P),P)) 42522 105576258 o1(o2(o1(x),x)) true 20183 20183 -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_u42_b4 13 0 42 4 nrm(pow(sqt(P),P)) 42523 105576259 o1(o2(o1(x),x)) true 20191 20191 -0.6099 0.25 0.8901 0.4984 0.706 -1 1 2 1 1.582 0.002976 0.007186 0.008696 -0.4143 1 -0.000002043 0.02025 0.01278 0.01008 0.1004 11.55 2 0.02039 0.04063 1 1 0.01362 0.05607 0.2441 0.02732 0.1125 0.4898 json
t13_x0_u42_b5 13 0 42 5 nrm(mod(sqt(P),P)) 42524 105576260 o1(o2(o1(x),x)) true 20199 20199 -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_u42_b6 13 0 42 6 nrm(lrg(sqt(P),P)) 42525 105576261 o1(o2(o1(x),x)) true 20207 20207 0.07069 0.4648 0.7035 0.6513 0.807 -1 1 2 1 2.201 0.008882 0.002477 0.008477 0.5639 1 1.089e-8 0.02264 0.01392 0.01128 0.1062 12.53 2 0.01744 0.03476 1 1 0.01575 0.06508 0.2668 0.02419 0.09992 0.4096 json
t13_x0_u42_b7 13 0 42 7 nrm(eql(sqt(P),P)) 42526 105576262 o1(o2(o1(x),x)) true 20215 20215 0.08636 0.1875 0.08636 0.04595 0.2144 0 0.7071 0.7071 1 1.062 0.0003378 0.000001346 0.005562 0.9921 1 3.964e-10 0.00001558 0.001296 0.000308 0.01755 3.155 0.08265 0.007381 0.000339 1 1 0.0008776 0.01152 0.06689 0.0191 0.2506 1.456 json
t13_x0_u42_b8 13 0 42 8 nrm(min(sqt(P),P)) 42527 105576263 o1(o2(o1(x),x)) true 20223 20223 -0.08668 0.4908 0.6529 0.4972 0.7051 -1 1 2 1 4.657 0.001885 0.001238 0.009989 0.2073 1 2.612e-7 0.006122 0.005729 0.003023 0.05498 5.504 2.414 0.00628 0.01231 1 1 0.005678 0.02706 0.1556 0.01142 0.05443 0.313 json
t13_x0_u42_b9 13 0 42 9 nrm(dot(sqt(P),P)) 42528 105576264 o1(o2(o1(x),x)) true 20231 20231 -0.6116 0.2461 0.8962 0.4616 0.6794 -1 0.5774 1.577 1 0.805 0.004937 0.004937 0.006245 0 1 -2.609e-10 0.01998 0.01252 0.009835 0.09917 15.88 2.231 0.02139 0.04329 1 1 0.01309 0.05238 0.2095 0.02837 0.1135 0.4539 json
t13_x0_u42_b10 13 0 42 10 nrm(dst(sqt(P),P)) 42529 105576265 o1(o2(o1(x),x)) true 20239 20239 -0.6301 0.2344 0.9011 0.4463 0.6681 -1 0.5774 1.577 1 0.7856 0.004937 0.004937 0.006245 0 1 -3.773e-10 0.01998 0.01252 0.009836 0.09918 15.88 2.231 0.02212 0.04477 1 1 0.01309 0.05238 0.2095 0.02934 0.1174 0.4695 json
t13_x0_u43_b0 13 0 43 0 nrm(add(log(P),P)) 42530 105576456 o1(o2(o1(x),x)) true 20247 20247 -0.7813 0 0.7813 0.1709 0.4134 -1 0 1 1 0.7579 0.001984 0.001732 0.003716 0.0678 1 0 0.007464 0.007433 0.003703 0.06085 16.37 1 0.02175 0.04368 1 1 0.00482 0.01928 0.07712 0.0282 0.1128 0.4513 json
t13_x0_u43_b1 13 0 43 1 nrm(sub(log(P),P)) 42531 105576457 o1(o2(o1(x),x)) true 20255 20255 -0.7813 0 0.7813 0.1709 0.4134 -1 0 1 1 0.7579 0.001984 0.001732 0.003716 0.0678 1 0 0.007464 0.007433 0.003703 0.06085 16.37 1 0.02175 0.04368 1 1 0.00482 0.01928 0.07712 0.0282 0.1128 0.4513 json
t13_x0_u43_b2 13 0 43 2 nrm(mlt(log(P),P)) 42532 105576458 o1(o2(o1(x),x)) true 20263 20263 -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_u43_b3 13 0 43 3 nrm(div(log(P),P)) 42533 105576459 o1(o2(o1(x),x)) true 20271 20271 -0.7813 0 0.7813 0.1709 0.4134 -1 0 1 1 0.7579 0.001984 0.001732 0.003716 0.0678 1 0 0.007464 0.007433 0.003703 0.06085 16.37 1 0.02175 0.04368 1 1 0.00482 0.01928 0.07712 0.0282 0.1128 0.4513 json
t13_x0_u43_b4 13 0 43 4 nrm(pow(log(P),P)) 42534 105576460 o1(o2(o1(x),x)) true 20279 20279 -0.6192 0.2465 0.8808 0.4762 0.69 -1 1 2 1 1.614 0.003721 0.006065 0.009345 -0.2396 1 -0.000002127 0.01945 0.01274 0.009694 0.09846 10.54 2 0.02055 0.04085 1 1 0.01299 0.05286 0.2064 0.02729 0.111 0.4335 json
t13_x0_u43_b5 13 0 43 5 nrm(mod(log(P),P)) 42535 105576461 o1(o2(o1(x),x)) true 20287 20287 -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_u43_b6 13 0 43 6 nrm(lrg(log(P),P)) 42536 105576462 o1(o2(o1(x),x)) true 20295 20295 0.07069 0.4648 0.7035 0.6513 0.807 -1 1 2 1 2.201 0.008882 0.002477 0.008477 0.5639 1 1.089e-8 0.02264 0.01392 0.01128 0.1062 12.53 2 0.01744 0.03476 1 1 0.01575 0.06508 0.2668 0.02419 0.09992 0.4096 json
t13_x0_u43_b7 13 0 43 7 nrm(eql(log(P),P)) 42537 105576463 o1(o2(o1(x),x)) true 20303 20303 -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_u43_b8 13 0 43 8 nrm(min(log(P),P)) 42538 105576464 o1(o2(o1(x),x)) true 20311 20311 -0.125 0 0.125 0.1094 0.3307 -1 0 1 1 0.5436 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.07256 0.1451 1 1 0.01053 0.04211 0.1684 0.09624 0.385 1.54 json
t13_x0_u43_b9 13 0 43 9 nrm(dot(log(P),P)) 42539 105576465 o1(o2(o1(x),x)) true 20319 20319 -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_u43_b10 13 0 43 10 nrm(dst(log(P),P)) 42540 105576466 o1(o2(o1(x),x)) true 20327 20327 -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_u44_b0 13 0 44 0 nrm(add(frc(P),P)) 42541 105576657 o1(o2(o1(x),x)) true 20335 20335 -0.01562 0.4896 0.6504 0.5048 0.7105 -1 1 2 1 4.761 0.001863 0.00124 0.0104 0.2009 1 3.065e-10 0.00612 0.00575 0.002995 0.05473 5.261 2.414 0.006147 0.01212 1 1 0.005637 0.02655 0.1534 0.01117 0.05259 0.3039 json
t13_x0_u44_b1 13 0 44 1 nrm(sub(frc(P),P)) 42542 105576658 o1(o2(o1(x),x)) true 20343 20343 -0.01563 0.4896 0.6504 0.5048 0.7105 -1 1 2 1 4.761 0.001863 0.00124 0.01041 0.2009 1 -1.788e-10 0.00612 0.00575 0.002995 0.05472 5.255 2 0.006147 0.01212 1 1 0.005637 0.02655 0.1534 0.01117 0.05259 0.3039 json
t13_x0_u44_b2 13 0 44 2 nrm(mlt(frc(P),P)) 42543 105576659 o1(o2(o1(x),x)) true 20351 20351 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_u44_b3 13 0 44 3 nrm(div(frc(P),P)) 42544 105576660 o1(o2(o1(x),x)) true 20359 20359 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_u44_b4 13 0 44 4 nrm(pow(frc(P),P)) 42545 105576661 o1(o2(o1(x),x)) true 20367 20367 -0.4885 0.03488 0.5115 0.2675 0.5172 -1 0.7069 1.707 1 1.229 0.007978 0.000003074 0.006938 0.9992 1 5.927e-10 0.01582 0.01121 0.007936 0.08909 12.84 1.707 0.02983 0.05913 1 1 0.01074 0.0412 0.1093 0.04015 0.154 0.4087 json
t13_x0_u44_b5 13 0 44 5 nrm(mod(frc(P),P)) 42546 105576662 o1(o2(o1(x),x)) true 20375 20375 -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_u44_b6 13 0 44 6 nrm(lrg(frc(P),P)) 42547 105576663 o1(o2(o1(x),x)) true 20383 20383 0.07069 0.4648 0.7035 0.6513 0.807 -1 1 2 1 2.201 0.008882 0.002477 0.008477 0.5639 1 1.089e-8 0.02264 0.01392 0.01128 0.1062 12.53 2 0.01744 0.03476 1 1 0.01575 0.06508 0.2668 0.02419 0.09992 0.4096 json
t13_x0_u44_b7 13 0 44 7 nrm(eql(frc(P),P)) 42548 105576664 o1(o2(o1(x),x)) true 20391 20391 0.04369 0.125 0.04369 0.02206 0.1485 0 0.7069 0.7069 1 0.7586 0.0003453 5.912e-7 0.005561 0.9966 1 2.138e-9 0.0000159 0.001297 0.0003148 0.01774 3.19 0.08265 0.01568 0.0007207 1 1 0.000901 0.01172 0.03212 0.04083 0.5313 1.456 json
t13_x0_u44_b8 13 0 44 8 nrm(min(frc(P),P)) 42549 105576665 o1(o2(o1(x),x)) true 20399 20399 -0.6939 0 0.6939 0.1761 0.4196 -1 0 1 1 2.167 0.00003572 0.002116 0.00427 -0.9668 1 6.585e-7 0.004237 0.004798 0.002132 0.04617 10.81 1 0.01222 0.02406 1 1 0.002971 0.0129 0.06116 0.01687 0.07323 0.3473 json
t13_x0_u44_b9 13 0 44 9 nrm(dot(frc(P),P)) 42550 105576666 o1(o2(o1(x),x)) true 20407 20407 -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_u44_b10 13 0 44 10 nrm(dst(frc(P),P)) 42551 105576667 o1(o2(o1(x),x)) true 20415 20415 0.5531 0.9844 0.5843 0.03822 0.1955 -1 0.5774 1.577 1 0.1161 0.002507 0.002507 0.003165 0 1 -8.222e-10 0.01034 0.006359 0.005001 0.07072 22.34 2.231 0.1312 0.2706 1 1 0.008822 0.03529 0.1411 0.2308 0.9232 3.693 json
t13_x0_u45_b0 13 0 45 0 nrm(add(flr(P),P)) 42552 105576858 o1(o2(o1(x),x)) true 20423 20423 -0.01562 0.4896 0.6504 0.5048 0.7105 -1 1 2 1 4.761 0.001863 0.00124 0.0104 0.2009 1 3.065e-10 0.00612 0.00575 0.002995 0.05473 5.261 2.414 0.006147 0.01212 1 1 0.005637 0.02655 0.1534 0.01117 0.05259 0.3039 json
t13_x0_u45_b1 13 0 45 1 nrm(sub(flr(P),P)) 42553 105576859 o1(o2(o1(x),x)) true 20431 20431 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_u45_b2 13 0 45 2 nrm(mlt(flr(P),P)) 42554 105576860 o1(o2(o1(x),x)) true 20439 20439 0.5801 0.9782 0.6114 0.1675 0.4093 -1 1 2 1 3.609 0.003595 0.001991 0.01247 0.2873 1 -0.000004539 0.01117 0.008318 0.00543 0.07369 5.909 2.414 0.03335 0.06668 1 1 0.01006 0.04528 0.2247 0.06006 0.2703 1.342 json
t13_x0_u45_b3 13 0 45 3 nrm(div(flr(P),P)) 42555 105576861 o1(o2(o1(x),x)) true 20447 20447 -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_u45_b4 13 0 45 4 nrm(pow(flr(P),P)) 42556 105576862 o1(o2(o1(x),x)) true 20455 20455 -0.6161 0.2228 0.8839 0.4909 0.7006 -1 1 2 1 1.46 0.002757 0.007366 0.00883 -0.4553 1 -0.000001622 0.02008 0.01273 0.01004 0.1002 11.35 2 0.02062 0.04091 1 1 0.01359 0.05706 0.2532 0.02768 0.1162 0.5158 json
t13_x0_u45_b5 13 0 45 5 nrm(mod(flr(P),P)) 42557 105576863 o1(o2(o1(x),x)) true 20463 20463 -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_u45_b6 13 0 45 6 nrm(lrg(flr(P),P)) 42558 105576864 o1(o2(o1(x),x)) true 20471 20471 -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_u45_b7 13 0 45 7 nrm(eql(flr(P),P)) 42559 105576865 o1(o2(o1(x),x)) true 20479 20479 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 json
t13_x0_u45_b8 13 0 45 8 nrm(min(flr(P),P)) 42560 105576866 o1(o2(o1(x),x)) true 20487 20487 -0.01562 0.4896 0.6504 0.5048 0.7105 -1 1 2 1 4.761 0.001863 0.00124 0.0104 0.2009 1 3.065e-10 0.00612 0.00575 0.002995 0.05473 5.261 2.414 0.006147 0.01212 1 1 0.005637 0.02655 0.1534 0.01117 0.05259 0.3039 json
t13_x0_u45_b9 13 0 45 9 nrm(dot(flr(P),P)) 42561 105576867 o1(o2(o1(x),x)) true 20495 20495 0.5531 0.9844 0.5843 0.03822 0.1955 -1 0.5774 1.577 1 0.1161 0.002507 0.002507 0.003165 0 1 -5.256e-10 0.01034 0.006359 0.005001 0.07072 22.34 2.231 0.1312 0.2706 1 1 0.008822 0.03529 0.1411 0.2308 0.9232 3.693 json
t13_x0_u45_b10 13 0 45 10 nrm(dst(flr(P),P)) 42562 105576868 o1(o2(o1(x),x)) true 20503 20503 -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_u46_b0 13 0 46 0 nrm(add(cil(P),P)) 42563 105577059 o1(o2(o1(x),x)) true 20511 20511 -0.01562 0.4896 0.6504 0.5048 0.7105 -1 1 2 1 4.761 0.001863 0.00124 0.0104 0.2009 1 3.065e-10 0.00612 0.00575 0.002995 0.05473 5.261 2.414 0.006147 0.01212 1 1 0.005637 0.02655 0.1534 0.01117 0.05259 0.3039 json
t13_x0_u46_b1 13 0 46 1 nrm(sub(cil(P),P)) 42564 105577060 o1(o2(o1(x),x)) true 20519 20519 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_u46_b2 13 0 46 2 nrm(mlt(cil(P),P)) 42565 105577061 o1(o2(o1(x),x)) true 20527 20527 0.5801 0.9782 0.6114 0.1675 0.4093 -1 1 2 1 3.609 0.003595 0.001991 0.01247 0.2873 1 -0.000004539 0.01117 0.008318 0.00543 0.07369 5.909 2.414 0.03335 0.06668 1 1 0.01006 0.04528 0.2247 0.06006 0.2703 1.342 json
t13_x0_u46_b3 13 0 46 3 nrm(div(cil(P),P)) 42566 105577062 o1(o2(o1(x),x)) true 20535 20535 -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_u46_b4 13 0 46 4 nrm(pow(cil(P),P)) 42567 105577063 o1(o2(o1(x),x)) true 20543 20543 -0.6161 0.2228 0.8839 0.4909 0.7006 -1 1 2 1 1.46 0.002757 0.007366 0.00883 -0.4553 1 -0.000001622 0.02008 0.01273 0.01004 0.1002 11.35 2 0.02062 0.04091 1 1 0.01359 0.05706 0.2532 0.02768 0.1162 0.5158 json
t13_x0_u46_b5 13 0 46 5 nrm(mod(cil(P),P)) 42568 105577064 o1(o2(o1(x),x)) true 20551 20551 -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_u46_b6 13 0 46 6 nrm(lrg(cil(P),P)) 42569 105577065 o1(o2(o1(x),x)) true 20559 20559 -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_u46_b7 13 0 46 7 nrm(eql(cil(P),P)) 42570 105577066 o1(o2(o1(x),x)) true 20567 20567 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 json
t13_x0_u46_b8 13 0 46 8 nrm(min(cil(P),P)) 42571 105577067 o1(o2(o1(x),x)) true 20575 20575 -0.01562 0.4896 0.6504 0.5048 0.7105 -1 1 2 1 4.761 0.001863 0.00124 0.0104 0.2009 1 3.065e-10 0.00612 0.00575 0.002995 0.05473 5.261 2.414 0.006147 0.01212 1 1 0.005637 0.02655 0.1534 0.01117 0.05259 0.3039 json
t13_x0_u46_b9 13 0 46 9 nrm(dot(cil(P),P)) 42572 105577068 o1(o2(o1(x),x)) true 20583 20583 0.5531 0.9844 0.5843 0.03822 0.1955 -1 0.5774 1.577 1 0.1161 0.002507 0.002507 0.003165 0 1 -5.256e-10 0.01034 0.006359 0.005001 0.07072 22.34 2.231 0.1312 0.2706 1 1 0.008822 0.03529 0.1411 0.2308 0.9232 3.693 json
t13_x0_u46_b10 13 0 46 10 nrm(dst(cil(P),P)) 42573 105577069 o1(o2(o1(x),x)) true 20591 20591 -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_u47_b0 13 0 47 0 nrm(add(sgn(P),P)) 42574 105577260 o1(o2(o1(x),x)) true 20599 20599 -0.01562 0.4905 0.6637 0.5046 0.7104 -1 1 2 1 4.73 0.001883 0.001232 0.01021 0.209 1 1.288e-10 0.006121 0.00573 0.003011 0.05487 5.377 2.414 0.006173 0.01213 1 1 0.005668 0.02696 0.1542 0.01123 0.05343 0.3057 json
t13_x0_u47_b1 13 0 47 1 nrm(sub(sgn(P),P)) 42575 105577261 o1(o2(o1(x),x)) true 20607 20607 -0.0625 0.4198 0.6394 0.5248 0.7244 -1 1 2 1 4.425 0.003872 0.002245 0.01121 0.2659 1 1.233e-9 0.01217 0.009532 0.005991 0.0774 6.905 2 0.01166 0.02318 1 1 0.01091 0.0472 0.2214 0.02079 0.08995 0.422 json
t13_x0_u47_b2 13 0 47 2 nrm(mlt(sgn(P),P)) 42576 105577262 o1(o2(o1(x),x)) true 20615 20615 0.6192 0.9792 0.6504 0.1217 0.3488 -1 1 2 1 3.84 0.003584 0.001952 0.01162 0.2947 1 -0.000002646 0.01116 0.008184 0.005401 0.07349 6.327 2.414 0.0455 0.09176 1 1 0.009916 0.04354 0.1992 0.0815 0.3579 1.637 json
t13_x0_u47_b3 13 0 47 3 nrm(div(sgn(P),P)) 42577 105577263 o1(o2(o1(x),x)) true 20623 20623 -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_u47_b4 13 0 47 4 nrm(pow(sgn(P),P)) 42578 105577264 o1(o2(o1(x),x)) true 20631 20631 -0.6055 0.25 0.8945 0.4665 0.683 -1 0.5774 1.577 1 0.8113 0.004937 0.004937 0.006259 0 1 -2.534e-10 0.01982 0.01252 0.009835 0.09917 15.84 1.577 0.02116 0.04249 1 1 0.01309 0.05238 0.2095 0.02807 0.1123 0.4491 json
t13_x0_u47_b5 13 0 47 5 nrm(mod(sgn(P),P)) 42579 105577265 o1(o2(o1(x),x)) true 20639 20639 -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_u47_b6 13 0 47 6 nrm(lrg(sgn(P),P)) 42580 105577266 o1(o2(o1(x),x)) true 20647 20647 -0.05197 0.3984 0.7293 0.691 0.8313 -1 1 2 1 2.108 0.009879 0.002727 0.008981 0.5674 1 8.969e-9 0.02515 0.01537 0.01252 0.1119 12.46 2 0.01824 0.0364 1 1 0.01793 0.07334 0.2985 0.02594 0.1061 0.432 json
t13_x0_u47_b7 13 0 47 7 nrm(eql(sgn(P),P)) 42581 105577267 o1(o2(o1(x),x)) true 20655 20655 0.128 0.25 0.128 0.06511 0.2552 0 0.7071 0.7071 1 1.3 0.0003304 0.0000021 0.005563 0.9874 1 2.371e-10 0.00001527 0.001296 0.0003013 0.01736 3.121 0.08265 0.005106 0.0002345 1 1 0.0008543 0.01121 0.06932 0.01312 0.1722 1.065 json
t13_x0_u47_b8 13 0 47 8 nrm(min(sgn(P),P)) 42582 105577268 o1(o2(o1(x),x)) true 20663 20663 -0.1436 0.4909 0.6396 0.4825 0.6946 -1 0.9999 2 1 3.941 0.001957 0.001257 0.009659 0.2179 1 -1.675e-7 0.006127 0.005744 0.003121 0.05586 5.783 2.414 0.006662 0.0127 1 1 0.005874 0.02956 0.1704 0.01217 0.06128 0.3533 json
t13_x0_u47_b9 13 0 47 9 nrm(dot(sgn(P),P)) 42583 105577269 o1(o2(o1(x),x)) true 20671 20671 0.5531 0.9844 0.5843 0.03822 0.1955 -1 0.5774 1.577 1 0.1161 0.002507 0.002507 0.003165 0 1 -4.393e-10 0.01034 0.006359 0.005001 0.07072 22.34 2.231 0.1312 0.2706 1 1 0.008822 0.03529 0.1411 0.2308 0.9232 3.693 json
t13_x0_u47_b10 13 0 47 10 nrm(dst(sgn(P),P)) 42584 105577270 o1(o2(o1(x),x)) true 20679 20679 0.479 0.9375 0.6041 0.1458 0.3819 -1 0.5774 1.577 1 0.3373 0.005015 0.005015 0.006344 0 1 -1.314e-10 0.02037 0.01272 0.009996 0.09998 15.76 2.231 0.06878 0.1397 1 1 0.01764 0.07057 0.2823 0.121 0.4839 1.936 json
t13_x0_u48_b0 13 0 48 0 nrm(add(nrm(P),P)) 42585 105577461 o1(o2(o1(x),x)) true 20687 20687 -0.01562 0.4896 0.6504 0.5048 0.7105 -1 1 2 1 4.761 0.001863 0.00124 0.0104 0.2009 1 -1.691e-10 0.00612 0.00575 0.002995 0.05473 5.261 2.414 0.006147 0.01212 1 1 0.005637 0.02655 0.1534 0.01117 0.05259 0.3039 json
t13_x0_u48_b1 13 0 48 1 nrm(sub(nrm(P),P)) 42586 105577462 o1(o2(o1(x),x)) true 20695 20695 -0.04687 0.474 0.6631 0.5192 0.7206 -1 1 2 1 4.706 0.003344 0.002774 0.01153 0.09316 1 4.648e-10 0.0126 0.009591 0.005985 0.07736 6.707 2.414 0.01178 0.02427 1 1 0.01087 0.04615 0.2156 0.02094 0.08889 0.4152 json
t13_x0_u48_b2 13 0 48 2 nrm(mlt(nrm(P),P)) 42587 105577463 o1(o2(o1(x),x)) true 20703 20703 0.5801 0.9782 0.6114 0.1675 0.4093 -1 1 2 1 3.609 0.003595 0.001991 0.01247 0.2873 1 -0.00000454 0.01117 0.008318 0.00543 0.07369 5.909 2.414 0.03335 0.06668 1 1 0.01006 0.04528 0.2247 0.06006 0.2703 1.342 json
t13_x0_u48_b3 13 0 48 3 nrm(div(nrm(P),P)) 42588 105577464 o1(o2(o1(x),x)) true 20711 20711 -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_u48_b4 13 0 48 4 nrm(pow(nrm(P),P)) 42589 105577465 o1(o2(o1(x),x)) true 20719 20719 -0.6698 0.25 0.8302 0.3382 0.5816 -1 0.6821 1.682 1 1.645 0.004961 0.004948 0.008228 0.001283 1 -1.437e-7 0.01984 0.01295 0.00984 0.09919 12.06 1.577 0.02929 0.05865 1 1 0.01317 0.05212 0.1893 0.03893 0.1541 0.5598 json
t13_x0_u48_b5 13 0 48 5 nrm(mod(nrm(P),P)) 42590 105577466 o1(o2(o1(x),x)) true 20727 20727 -0.2344 0.3828 0.7477 0.5608 0.7489 -1 0.9923 1.992 1 4.185 0.00767 0.01317 0.0198 -0.264 1 -7.039e-11 0.04174 0.02888 0.02045 0.143 7.223 1.992 0.03716 0.07442 1 1 0.02643 0.1072 0.4375 0.04712 0.1911 0.7801 json
t13_x0_u48_b6 13 0 48 6 nrm(lrg(nrm(P),P)) 42591 105577467 o1(o2(o1(x),x)) true 20735 20735 0.04644 0.4531 0.7105 0.6625 0.8139 -1 1 2 1 2.166 0.009857 0.004217 0.009826 0.4008 1 9.191e-9 0.02859 0.0171 0.01399 0.1183 12.04 2.414 0.02124 0.04316 1 1 0.02051 0.08367 0.3398 0.03096 0.1263 0.513 json
t13_x0_u48_b7 13 0 48 7 nrm(eql(nrm(P),P)) 42592 105577468 o1(o2(o1(x),x)) true 20743 20743 0.04493 0.1395 0.04493 0.02142 0.1463 0 0.7069 0.7069 1 0.8324 0.0003291 0.00002924 0.006025 0.8368 1 1.887e-9 0.00001813 0.001436 0.000322 0.01795 2.979 0.08265 0.01673 0.0008468 1 1 0.0009444 0.01229 0.03376 0.0441 0.5737 1.576 json
t13_x0_u48_b8 13 0 48 8 nrm(min(nrm(P),P)) 42593 105577469 o1(o2(o1(x),x)) true 20751 20751 -0.1718 0.4893 0.6183 0.4744 0.6888 -1 1 2 1 4.395 0.001841 0.001198 0.00989 0.2118 1 -3.59e-7 0.005866 0.005614 0.002941 0.05423 5.483 2.414 0.006405 0.01236 1 1 0.005544 0.0272 0.1583 0.01169 0.05733 0.3336 json
t13_x0_u48_b9 13 0 48 9 nrm(dot(nrm(P),P)) 42594 105577470 o1(o2(o1(x),x)) true 20759 20759 0.5531 0.9844 0.5843 0.03822 0.1955 -1 0.5774 1.577 1 0.1161 0.002507 0.002507 0.003165 0 1 -5.106e-10 0.01034 0.006359 0.005001 0.07072 22.34 2.231 0.1312 0.2706 1 1 0.008822 0.03529 0.1411 0.2308 0.9232 3.693 json
t13_x0_u48_b10 13 0 48 10 nrm(dst(nrm(P),P)) 42595 105577471 o1(o2(o1(x),x)) true 20767 20767 0.5037 0.9531 0.5975 0.1111 0.3334 -1 0.5774 1.577 1 0.273 0.005015 0.005015 0.006315 0 1 -1.243e-9 0.021 0.01272 0.009997 0.09999 15.83 2.231 0.09025 0.189 1 1 0.01764 0.07057 0.2823 0.1588 0.635 2.54 json
t13_x1_u0_b0 13 1 0 0 sqt(add(sqt(P),D)) 42596 105608214 o1(o2(o1(x),x)) true 20775 20775 -0.02078 0.5 0.9792 0.968 0.9839 -1 1 2 1 1.434 0.005707 0 0.007937 1 1 4.731e-10 0.009859 0.009339 0.005643 0.07512 9.465 1.177 0.005896 0.01018 1 1 0.008601 0.0501 0.2947 0.008886 0.05176 0.3045 json
t13_x1_u0_b1 13 1 0 1 sqt(sub(sqt(P),D)) 42597 105608215 o1(o2(o1(x),x)) true 20783 20783 -0.1263 0.4375 0.9987 0.9813 0.9906 -1 1 2 1 1.067 0.01564 0 0.008386 1 1 2.838e-9 0.03171 0.01622 0.01556 0.1247 14.87 1.984 0.01594 0.03231 1 1 0.02045 0.08086 0.3335 0.02084 0.0824 0.3398 json
t13_x1_u0_b2 13 1 0 2 sqt(mlt(sqt(P),D)) 42598 105608216 o1(o2(o1(x),x)) true 20791 20791 -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_x1_u0_b3 13 1 0 3 sqt(div(sqt(P),D)) 42599 105608217 o1(o2(o1(x),x)) true 20799 20799 -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