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
t17_x18_u1_b36 17 18 1 36 div(R,div(P,log(P))) 112900 138777672 o2(x,o2(x,o1(x))) true 63207 63207 -0.5687 0.1888 0.6125 0.2476 0.4976 -1 0.3389 1.339 1 2.385 0.004082 0.0001227 0.01227 0.9417 1 0.000005438 0.007952 0.009872 0.004055 0.06368 5.191 1 0.01698 0.03212 1 1 0.005748 0.02711 0.0993 0.02322 0.1095 0.4011 json
t17_x18_u1_b37 17 18 1 37 div(R,pow(P,log(P))) 112901 138777673 o2(x,o2(x,o1(x))) true 63215 63215 -0.489 0.2381 0.5559 0.2814 0.5304 -1 0.9432 1.943 1 2.562 0.004284 0.0003176 0.01434 0.862 1 -0.00001754 0.00796 0.01029 0.004395 0.0663 4.622 1 0.01636 0.02829 1 1 0.006716 0.04081 0.1375 0.02387 0.1451 0.4887 json
t17_x18_u1_b38 17 18 1 38 div(R,mod(P,log(P))) 112902 138777674 o2(x,o2(x,o1(x))) true 63223 63223 -0.6703 0.1575 0.8154 0.3146 0.5609 -1 1 2 1 2.436 0.007211 0.002394 0.03111 0.5015 1 0.00002925 0.0111 0.01634 0.00864 0.09295 2.988 2 0.03053 0.03529 1 1 0.01537 0.1188 0.3734 0.04884 0.3777 1.187 json
t17_x18_u1_b39 17 18 1 39 div(R,lrg(P,log(P))) 112903 138777675 o2(x,o2(x,o1(x))) true 63231 63231 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t17_x18_u1_b40 17 18 1 40 div(R,eql(P,log(P))) 112904 138777676 o2(x,o2(x,o1(x))) true 63239 63239 -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
t17_x18_u1_b41 17 18 1 41 div(R,min(P,log(P))) 112905 138777677 o2(x,o2(x,o1(x))) true 63247 63247 -0.1459 0.3943 0.2938 0.1659 0.4073 -1 1 2 1 4.068 0.009524 0.0009642 0.03518 0.8161 1 0.00001717 0.01764 0.02145 0.009252 0.09619 2.735 2 0.06321 0.1063 1 1 0.0146 0.09047 0.3049 0.08799 0.5453 1.837 json
t17_x18_u1_b42 17 18 1 42 div(R,dot(P,log(P))) 112906 138777678 o2(x,o2(x,o1(x))) true 63255 63255 -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
t17_x18_u1_b43 17 18 1 43 div(R,dst(P,log(P))) 112907 138777679 o2(x,o2(x,o1(x))) true 63263 63263 -0.75 0 0.75 0.1875 0.433 -1 0 1 1 0.8113 0.001984 0.001984 0.003968 0 1 0 0.007968 0.007937 0.003952 0.06287 15.84 1 0.02116 0.0425 1 1 0.005263 0.02105 0.08421 0.02807 0.1123 0.4491 json
t17_x18_u1_b44 17 18 1 44 pow(R,add(P,log(P))) 112908 138777680 o2(x,o2(x,o1(x))) true 63271 63271 -0.9956 0.003906 0.9966 0.005054 0.07109 -1 0.4695 1.47 1 0.04629 0.0002541 0.000556 0.0008219 -0.3726 1 0.00000149 0.001677 0.001501 0.0008092 0.02845 34.61 1.456 0.1603 0.3317 1 1 0 0 0.004244 0 0 0.8397 json
t17_x18_u1_b45 17 18 1 45 pow(R,sub(P,log(P))) 112909 138777681 o2(x,o2(x,o1(x))) true 63279 63279 -0.9899 0.007813 0.9945 0.0136 0.1166 -1 0.8668 1.867 1 0.09312 0.00132 0.001646 0.002452 -0.1098 1 0.000002302 0.006225 0.004403 0.00296 0.05441 22.19 2.64 0.2181 0.4578 1 1 0.0004137 0.002946 0.01199 0.03042 0.2167 0.8817 json
t17_x18_u1_b46 17 18 1 46 pow(R,mlt(P,log(P))) 112910 138777682 o2(x,o2(x,o1(x))) true 63287 63287 -0.9889 0.007538 0.9955 0.01682 0.1297 -1 1 2 1 0.09195 0.001638 0.001167 0.002095 0.1679 1 0.000002865 0.005822 0.003818 0.002801 0.05293 25.27 2 0.1668 0.3461 1 1 0 0 0.01425 0 0 0.8471 json
t17_x18_u1_b47 17 18 1 47 pow(R,div(P,log(P))) 112911 138777683 o2(x,o2(x,o1(x))) true 63295 63295 -0.9657 0.02344 0.9874 0.05215 0.2284 -1 0.9997 2 1 0.2449 0.006682 0.004321 0.008172 0.2146 1 0.000002913 0.02282 0.01399 0.01093 0.1046 12.79 2 0.211 0.4375 1 1 0.009522 0.0402 0.09875 0.1826 0.7707 1.894 json
t17_x18_u1_b48 17 18 1 48 pow(R,pow(P,log(P))) 112912 138777684 o2(x,o2(x,o1(x))) true 63303 63303 -0.9907 0.006454 0.9937 0.01169 0.1081 -1 0.8668 1.867 1 0.08427 0.001313 0.001457 0.002262 -0.05204 1 9.915e-9 0.005842 0.004221 0.002764 0.05257 23.25 2.64 0.237 0.4999 1 1 0.0004137 0.002946 0.01047 0.0354 0.2521 0.8955 json
t17_x18_u1_b49 17 18 1 49 pow(R,mod(P,log(P))) 112913 138777685 o2(x,o2(x,o1(x))) true 63311 63311 -0.994 0.003906 0.9981 0.009158 0.0957 -1 0.876 1.876 1 0.04941 0.0004368 0.0009959 0.001095 -0.3902 1 0.000002439 0.002962 0.001996 0.001431 0.03783 34.56 1.859 0.1564 0.3235 1 1 0 0 0.007666 0 0 0.8371 json
t17_x18_u1_b50 17 18 1 50 pow(R,lrg(P,log(P))) 112914 138777686 o2(x,o2(x,o1(x))) true 63319 63319 -0.9327 0.04297 0.9813 0.1025 0.3202 -1 0.9428 1.943 1 0.413 0.01033 0.01038 0.01414 -0.00231 1 0.000008535 0.04322 0.0262 0.02051 0.1432 10.13 2.64 0.2021 0.4217 1 1 0.01648 0.07156 0.1733 0.1608 0.6982 1.691 json
t17_x18_u1_b51 17 18 1 51 pow(R,eql(P,log(P))) 112915 138777687 o2(x,o2(x,o1(x))) true 63327 63327 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
t17_x18_u1_b52 17 18 1 52 pow(R,min(P,log(P))) 112916 138777688 o2(x,o2(x,o1(x))) true 63335 63335 -0.9248 0.03906 0.9971 0.1409 0.3753 -1 1 2 1 0.2846 0.01568 0.0122 0.01451 0.1251 1 0.000004677 0.05826 0.02875 0.02768 0.1664 11.47 2.828 0.1979 0.4136 1 1 0.02366 0.09712 0.252 0.1679 0.6894 1.789 json
t17_x18_u1_b53 17 18 1 53 pow(R,dot(P,log(P))) 112917 138777689 o2(x,o2(x,o1(x))) true 63343 63343 -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
t17_x18_u1_b54 17 18 1 54 pow(R,dst(P,log(P))) 112918 138777690 o2(x,o2(x,o1(x))) true 63351 63351 -0.9922 0 0.9922 0.007751 0.08804 -1 0 1 1 0.06591 0.0007559 0.0009448 0.001691 -0.1111 1 0 0.00359 0.003401 0.001698 0.0412 24.36 1.414 0.2194 0.4632 1 1 0.0002216 0.001551 0.00687 0.02859 0.2001 0.8863 json
t17_x18_u1_b55 17 18 1 55 mod(R,add(P,log(P))) 112919 138777691 o2(x,o2(x,o1(x))) true 63359 63359 -0.5736 0.1995 0.7298 0.325 0.57 -1 0.9806 1.981 1 3.079 0.008479 0.001297 0.03255 0.7347 1 0.00001063 0.01473 0.01637 0.008716 0.09336 2.868 1.943 0.03008 0.04532 1 1 0.01323 0.09166 0.2549 0.04071 0.2821 0.7843 json
t17_x18_u1_b56 17 18 1 56 mod(R,sub(P,log(P))) 112920 138777692 o2(x,o2(x,o1(x))) true 63367 63367 -0.5736 0.1995 0.7298 0.325 0.57 -1 0.9806 1.981 1 3.079 0.008479 0.001297 0.03255 0.7347 1 0.00001063 0.01473 0.01637 0.008716 0.09336 2.868 1.943 0.03008 0.04532 1 1 0.01323 0.09166 0.2549 0.04071 0.2821 0.7843 json
t17_x18_u1_b57 17 18 1 57 mod(R,mlt(P,log(P))) 112921 138777693 o2(x,o2(x,o1(x))) true 63375 63375 -0.6415 0.1642 0.7683 0.2923 0.5406 -1 0.9806 1.981 1 2.742 0.005301 0.001074 0.02663 0.6631 1 0.00002051 0.008764 0.01266 0.005662 0.07525 2.825 1.956 0.02181 0.02998 1 1 0.008861 0.06835 0.2329 0.03031 0.2338 0.7969 json
t17_x18_u1_b58 17 18 1 58 mod(R,div(P,log(P))) 112922 138777694 o2(x,o2(x,o1(x))) true 63383 63383 -0.6415 0.1642 0.7683 0.2923 0.5406 -1 0.9806 1.981 1 2.742 0.005301 0.001074 0.02663 0.6631 1 0.00002051 0.008764 0.01266 0.005662 0.07525 2.825 1.956 0.02181 0.02998 1 1 0.008861 0.06835 0.2329 0.03031 0.2338 0.7969 json
t17_x18_u1_b59 17 18 1 59 mod(R,pow(P,log(P))) 112923 138777695 o2(x,o2(x,o1(x))) true 63391 63391 -0.5736 0.1995 0.7298 0.325 0.57 -1 0.9806 1.981 1 3.079 0.008479 0.001297 0.03255 0.7347 1 0.00001063 0.01473 0.01637 0.008716 0.09336 2.868 1.943 0.03008 0.04532 1 1 0.01323 0.09166 0.2549 0.04071 0.2821 0.7843 json
t17_x18_u1_b60 17 18 1 60 mod(R,mod(P,log(P))) 112924 138777696 o2(x,o2(x,o1(x))) true 63399 63399 -0.6325 0.1665 0.7277 0.2711 0.5206 -1 0.9806 1.981 1 2.623 0.004532 0.0007379 0.02175 0.72 1 0.00001163 0.007885 0.01173 0.004796 0.06925 3.185 1.457 0.01944 0.02909 1 1 0.00691 0.04775 0.1587 0.02549 0.1761 0.5854 json
t17_x18_u1_b61 17 18 1 61 mod(R,lrg(P,log(P))) 112925 138777697 o2(x,o2(x,o1(x))) true 63407 63407 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t17_x18_u1_b62 17 18 1 62 mod(R,eql(P,log(P))) 112926 138777698 o2(x,o2(x,o1(x))) true 63415 63415 -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
t17_x18_u1_b63 17 18 1 63 mod(R,min(P,log(P))) 112927 138777699 o2(x,o2(x,o1(x))) true 63423 63423 -0.1887 0.3968 0.5033 0.3276 0.5724 -1 0.9806 1.981 1 4.605 0.01212 0.002526 0.05759 0.6551 1 0.00005614 0.02048 0.02773 0.01133 0.1064 1.848 1.898 0.0447 0.06251 1 1 0.02056 0.1553 0.4748 0.06275 0.4741 1.449 json
t17_x18_u1_b64 17 18 1 64 mod(R,dot(P,log(P))) 112928 138777700 o2(x,o2(x,o1(x))) true 63431 63431 -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
t17_x18_u1_b65 17 18 1 65 mod(R,dst(P,log(P))) 112929 138777701 o2(x,o2(x,o1(x))) true 63439 63439 -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
t17_x18_u1_b66 17 18 1 66 lrg(R,add(P,log(P))) 112930 138777702 o2(x,o2(x,o1(x))) true 63447 63447 0.5313 0.5625 0.5313 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t17_x18_u1_b67 17 18 1 67 lrg(R,sub(P,log(P))) 112931 138777703 o2(x,o2(x,o1(x))) true 63455 63455 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
t17_x18_u1_b68 17 18 1 68 lrg(R,mlt(P,log(P))) 112932 138777704 o2(x,o2(x,o1(x))) true 63463 63463 0.5703 0.619 0.5703 0.2349 0.4847 0 1 1 1 1.451 0.0003045 0.0001755 0.005652 0.2688 1 -0.00001141 0.00002677 0.001359 0.0004481 0.02117 3.745 0.1169 0.002043 0.000114 1 1 0.001279 0.01661 0.07962 0.005444 0.0707 0.3389 json
t17_x18_u1_b69 17 18 1 69 lrg(R,div(P,log(P))) 112933 138777705 o2(x,o2(x,o1(x))) true 63471 63471 0.4961 0.5378 0.4961 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005705 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t17_x18_u1_b70 17 18 1 70 lrg(R,pow(P,log(P))) 112934 138777706 o2(x,o2(x,o1(x))) true 63479 63479 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
t17_x18_u1_b71 17 18 1 71 lrg(R,mod(P,log(P))) 112935 138777707 o2(x,o2(x,o1(x))) true 63487 63487 0.6328 0.7299 0.6328 0.2147 0.4633 0 1 1 1 1.67 0.0005659 0.0002858 0.009933 0.329 1 0.00001141 0.00004626 0.002383 0.0007532 0.02744 2.763 0.1169 0.003967 0.0002155 1 1 0.00211 0.02764 0.1234 0.009831 0.1288 0.575 json
t17_x18_u1_b72 17 18 1 72 lrg(R,lrg(P,log(P))) 112936 138777708 o2(x,o2(x,o1(x))) true 63495 63495 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
t17_x18_u1_b73 17 18 1 73 lrg(R,eql(P,log(P))) 112937 138777709 o2(x,o2(x,o1(x))) true 63503 63503 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t17_x18_u1_b74 17 18 1 74 lrg(R,min(P,log(P))) 112938 138777710 o2(x,o2(x,o1(x))) true 63511 63511 0.5762 0.6307 0.5762 0.2327 0.4824 0 1 1 1 1.503 0.0003116 0.000233 0.006399 0.1444 1 -0.000005705 0.00003051 0.00154 0.0005033 0.02243 3.506 0.1169 0.002341 0.0001311 1 1 0.001435 0.01863 0.08387 0.006167 0.08008 0.3605 json
t17_x18_u1_b75 17 18 1 75 lrg(R,dot(P,log(P))) 112939 138777711 o2(x,o2(x,o1(x))) true 63519 63519 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
t17_x18_u1_b76 17 18 1 76 lrg(R,dst(P,log(P))) 112940 138777712 o2(x,o2(x,o1(x))) true 63527 63527 0.7178 0.75 0.7178 0.1955 0.4422 0 1 1 1 1.198 0.0001852 0.0001852 0.004184 0.000001493 1 -5.533e-10 0.00001725 0.0009791 0.0003528 0.01878 4.489 0.1169 0.001895 0.00008821 1 1 0.0009865 0.01294 0.08005 0.005046 0.06621 0.4094 json
t17_x18_u1_b77 17 18 1 77 eql(R,add(P,log(P))) 112941 138777713 o2(x,o2(x,o1(x))) true 63535 63535 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
t17_x18_u1_b78 17 18 1 78 eql(R,sub(P,log(P))) 112942 138777714 o2(x,o2(x,o1(x))) true 63543 63543 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
t17_x18_u1_b79 17 18 1 79 eql(R,mlt(P,log(P))) 112943 138777715 o2(x,o2(x,o1(x))) true 63551 63551 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
t17_x18_u1_b80 17 18 1 80 eql(R,div(P,log(P))) 112944 138777716 o2(x,o2(x,o1(x))) true 63559 63559 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
t17_x18_u1_b81 17 18 1 81 eql(R,pow(P,log(P))) 112945 138777717 o2(x,o2(x,o1(x))) true 63567 63567 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
t17_x18_u1_b82 17 18 1 82 eql(R,mod(P,log(P))) 112946 138777718 o2(x,o2(x,o1(x))) true 63575 63575 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
t17_x18_u1_b83 17 18 1 83 eql(R,lrg(P,log(P))) 112947 138777719 o2(x,o2(x,o1(x))) true 63583 63583 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
t17_x18_u1_b84 17 18 1 84 eql(R,eql(P,log(P))) 112948 138777720 o2(x,o2(x,o1(x))) true 63591 63591 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
t17_x18_u1_b85 17 18 1 85 eql(R,min(P,log(P))) 112949 138777721 o2(x,o2(x,o1(x))) true 63599 63599 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
t17_x18_u1_b86 17 18 1 86 eql(R,dot(P,log(P))) 112950 138777722 o2(x,o2(x,o1(x))) true 63607 63607 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
t17_x18_u1_b87 17 18 1 87 eql(R,dst(P,log(P))) 112951 138777723 o2(x,o2(x,o1(x))) true 63615 63615 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
t17_x18_u1_b88 17 18 1 88 min(R,add(P,log(P))) 112952 138777724 o2(x,o2(x,o1(x))) true 63623 63623 -0.12 0.4324 0.4674 0.3015 0.5491 -1 0.9806 1.981 1 4.761 0.01585 0.002792 0.06406 0.7005 1 0.00004824 0.0275 0.03166 0.01454 0.1206 1.882 1.943 0.06184 0.09123 1 1 0.02584 0.1831 0.5035 0.0857 0.6074 1.67 json
t17_x18_u1_b89 17 18 1 89 min(R,sub(P,log(P))) 112953 138777725 o2(x,o2(x,o1(x))) true 63631 63631 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t17_x18_u1_b90 17 18 1 90 min(R,mlt(P,log(P))) 112954 138777726 o2(x,o2(x,o1(x))) true 63639 63639 -0.01617 0.4661 0.3809 0.2097 0.4579 -0.9989 0.9806 1.979 1 4.841 0.00254 0.002998 0.06038 -0.08272 1 0.00003544 0.0003254 0.01384 0.001893 0.0435 0.7205 0.2301 0.02641 0.001552 1 1 0.01081 0.139 0.3777 0.05156 0.6628 1.801 json
t17_x18_u1_b91 17 18 1 91 min(R,div(P,log(P))) 112955 138777727 o2(x,o2(x,o1(x))) true 63647 63647 -0.005276 0.4805 0.3857 0.2142 0.4628 -0.9989 0.9806 1.979 1 4.852 0.0028 0.003069 0.06243 -0.04583 1 0.00002809 0.000342 0.01428 0.001973 0.04442 0.7115 0.2301 0.0274 0.001597 1 1 0.01137 0.1459 0.366 0.05307 0.6813 1.709 json
t17_x18_u1_b92 17 18 1 92 min(R,pow(P,log(P))) 112956 138777728 o2(x,o2(x,o1(x))) true 63655 63655 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t17_x18_u1_b93 17 18 1 93 min(R,mod(P,log(P))) 112957 138777729 o2(x,o2(x,o1(x))) true 63663 63663 -0.00182 0.4926 0.3862 0.2119 0.4603 -0.9989 0.9806 1.979 1 4.846 0.002695 0.003047 0.06174 -0.06137 1 0.00002354 0.000336 0.01416 0.001931 0.04394 0.7118 0.2301 0.0271 0.001586 1 1 0.01128 0.1449 0.3705 0.05326 0.6836 1.749 json
t17_x18_u1_b94 17 18 1 94 min(R,lrg(P,log(P))) 112958 138777730 o2(x,o2(x,o1(x))) true 63671 63671 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t17_x18_u1_b95 17 18 1 95 min(R,eql(P,log(P))) 112959 138777731 o2(x,o2(x,o1(x))) true 63679 63679 -0.2541 0 0.2541 0.06549 0.2559 -0.9989 0 0.9989 1 3.542 0.000768 0.0009295 0.0314 -0.09514 1 0.00001332 0.00009988 0.007359 0.0007117 0.02668 0.8497 0.1168 0.02592 0.001525 1 1 0.003123 0.04017 0.1061 0.04769 0.6134 1.62 json
t17_x18_u1_b96 17 18 1 96 min(R,min(P,log(P))) 112960 138777732 o2(x,o2(x,o1(x))) true 63687 63687 -0.5876 0.1819 0.7211 0.3022 0.5497 -1 0.9806 1.981 1 3.055 0.00414 0.00118 0.02925 0.5565 1 0.00001382 0.006245 0.01277 0.004463 0.06681 2.284 1 0.0176 0.02067 1 1 0.008115 0.06932 0.2272 0.02685 0.2294 0.7517 json
t17_x18_u1_b97 17 18 1 97 min(R,dot(P,log(P))) 112961 138777733 o2(x,o2(x,o1(x))) true 63695 63695 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t17_x18_u1_b98 17 18 1 98 min(R,dst(P,log(P))) 112962 138777734 o2(x,o2(x,o1(x))) true 63703 63703 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t17_x18_u1_b99 17 18 1 99 dot(R,add(P,log(P))) 112963 138777735 o2(x,o2(x,o1(x))) true 63711 63711 -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
t17_x18_u1_b100 17 18 1 100 dot(R,sub(P,log(P))) 112964 138777736 o2(x,o2(x,o1(x))) true 63719 63719 -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
t17_x18_u1_b101 17 18 1 101 dot(R,mlt(P,log(P))) 112965 138777737 o2(x,o2(x,o1(x))) true 63727 63727 -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
t17_x18_u1_b102 17 18 1 102 dot(R,div(P,log(P))) 112966 138777738 o2(x,o2(x,o1(x))) true 63735 63735 -0.8917 0.05186 0.9776 0.1748 0.4181 -1 1 2 1 0.6728 0.00446 0.005306 0.01601 -0.08659 1 0.000002372 0.01111 0.01284 0.009508 0.09751 6.091 2 0.05587 0.06357 1 1 0.01046 0.06837 0.2529 0.05982 0.3911 1.447 json
t17_x18_u1_b103 17 18 1 103 dot(R,pow(P,log(P))) 112967 138777739 o2(x,o2(x,o1(x))) true 63743 63743 -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
t17_x18_u1_b104 17 18 1 104 dot(R,mod(P,log(P))) 112968 138777740 o2(x,o2(x,o1(x))) true 63751 63751 -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
t17_x18_u1_b105 17 18 1 105 dot(R,lrg(P,log(P))) 112969 138777741 o2(x,o2(x,o1(x))) true 63759 63759 0.01244 0.5136 0.5338 0.3988 0.6315 -1 1 2 1 4.753 0.006273 0.006655 0.08199 -0.02953 1 0.00005864 0.002009 0.0233 0.006205 0.07877 0.9608 0.4552 0.03242 0.005038 1 1 0.02671 0.3045 0.7613 0.06698 0.7636 1.909 json
t17_x18_u1_b106 17 18 1 106 dot(R,eql(P,log(P))) 112970 138777742 o2(x,o2(x,o1(x))) true 63767 63767 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
t17_x18_u1_b107 17 18 1 107 dot(R,min(P,log(P))) 112971 138777743 o2(x,o2(x,o1(x))) true 63775 63775 -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
t17_x18_u1_b108 17 18 1 108 dot(R,dot(P,log(P))) 112972 138777744 o2(x,o2(x,o1(x))) true 63783 63783 -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
t17_x18_u1_b109 17 18 1 109 dot(R,dst(P,log(P))) 112973 138777745 o2(x,o2(x,o1(x))) true 63791 63791 -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
t17_x18_u1_b110 17 18 1 110 dst(R,add(P,log(P))) 112974 138777746 o2(x,o2(x,o1(x))) true 63799 63799 -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
t17_x18_u1_b111 17 18 1 111 dst(R,sub(P,log(P))) 112975 138777747 o2(x,o2(x,o1(x))) true 63807 63807 -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
t17_x18_u1_b112 17 18 1 112 dst(R,mlt(P,log(P))) 112976 138777748 o2(x,o2(x,o1(x))) true 63815 63815 -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
t17_x18_u1_b113 17 18 1 113 dst(R,div(P,log(P))) 112977 138777749 o2(x,o2(x,o1(x))) true 63823 63823 -0.7188 0.1406 1 0.4832 0.6951 -1 1 2 1 0.5859 0.005921 0.005921 0.005921 0 1 0 0.02381 0.01184 0.01181 0.1087 18.36 2 0.02451 0.04927 1 1 0.01396 0.05584 0.2234 0.02889 0.1156 0.4623 json
t17_x18_u1_b114 17 18 1 114 dst(R,pow(P,log(P))) 112978 138777750 o2(x,o2(x,o1(x))) true 63831 63831 -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
t17_x18_u1_b115 17 18 1 115 dst(R,mod(P,log(P))) 112979 138777751 o2(x,o2(x,o1(x))) true 63839 63839 -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
t17_x18_u1_b116 17 18 1 116 dst(R,lrg(P,log(P))) 112980 138777752 o2(x,o2(x,o1(x))) true 63847 63847 0.9927 1 0.9927 0.002207 0.04698 0.4077 1 0.5923 1 0.2664 0.0001027 0.0001547 0.00276 -0.2019 1 -9.761e-11 0.0001368 0.002036 0.0002498 0.01581 5.726 0.1944 0.1166 0.06196 1 1 0.0006829 0.004926 0.006003 0.3094 2.232 2.72 json
t17_x18_u1_b117 17 18 1 117 dst(R,eql(P,log(P))) 112981 138777753 o2(x,o2(x,o1(x))) true 63855 63855 0.897 1 0.897 0.02252 0.1501 0.09951 1 0.9005 1 2.181 0.0003411 0.0004606 0.01666 -0.149 1 -0.00001961 0.000143 0.005703 0.0005243 0.0229 1.374 0.1266 0.0356 0.006351 1 1 0.001342 0.015 0.03485 0.05959 0.666 1.547 json
t17_x18_u1_b118 17 18 1 118 dst(R,min(P,log(P))) 112982 138777754 o2(x,o2(x,o1(x))) true 63863 63863 -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
t17_x18_u1_b119 17 18 1 119 dst(R,dot(P,log(P))) 112983 138777755 o2(x,o2(x,o1(x))) true 63871 63871 -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
t17_x18_u1_b120 17 18 1 120 dst(R,dst(P,log(P))) 112984 138777756 o2(x,o2(x,o1(x))) true 63879 63879 -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
t17_x18_u2_b0 17 18 2 0 add(R,add(P,frc(P))) 112985 138777837 o2(x,o2(x,o1(x))) true 63887 63887 0.003757 0.4974 0.9428 0.9208 0.9596 -1 1 2 1 1.952 0.001169 0.000358 0.0111 0.5311 1 -0.00002042 0.0002765 0.003741 0.001403 0.03746 3.374 0.312 0.001658 0.0003002 1 1 0.003726 0.04331 0.2691 0.004046 0.04703 0.2923 json
t17_x18_u2_b1 17 18 2 1 add(R,sub(P,frc(P))) 112986 138777838 o2(x,o2(x,o1(x))) true 63895 63895 0.003757 0.4974 0.9428 0.9208 0.9596 -1 1 2 1 1.952 0.001169 0.000358 0.0111 0.5311 1 -0.00002042 0.0002765 0.003741 0.001403 0.03746 3.374 0.312 0.001658 0.0003002 1 1 0.003726 0.04331 0.2691 0.004046 0.04703 0.2923 json
t17_x18_u2_b2 17 18 2 2 add(R,mlt(P,frc(P))) 112987 138777839 o2(x,o2(x,o1(x))) true 63903 63903 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t17_x18_u2_b3 17 18 2 3 add(R,div(P,frc(P))) 112988 138777840 o2(x,o2(x,o1(x))) true 63911 63911 -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
t17_x18_u2_b4 17 18 2 4 add(R,pow(P,frc(P))) 112989 138777841 o2(x,o2(x,o1(x))) true 63919 63919 0.8072 1 0.8072 0.06917 0.263 0.001146 1 0.9989 1 2.721 0.00124 0.001463 0.03034 -0.08261 1 -0.00006109 0.0006685 0.01204 0.001783 0.04223 1.392 0.223 0.03908 0.009664 1 1 0.004971 0.05068 0.113 0.07186 0.7327 1.634 json
t17_x18_u2_b5 17 18 2 5 add(R,mod(P,frc(P))) 112990 138777842 o2(x,o2(x,o1(x))) true 63927 63927 0.003757 0.4974 0.9428 0.9208 0.9596 -1 1 2 1 1.952 0.001169 0.000358 0.0111 0.5311 1 -0.00002042 0.0002765 0.003741 0.001403 0.03746 3.374 0.312 0.001658 0.0003002 1 1 0.003726 0.04331 0.2691 0.004046 0.04703 0.2923 json
t17_x18_u2_b6 17 18 2 6 add(R,lrg(P,frc(P))) 112991 138777843 o2(x,o2(x,o1(x))) true 63935 63935 0.3927 0.7499 0.5896 0.2984 0.5462 -0.9989 1 1.999 1 4.441 0.0025 0.002467 0.04992 0.006636 1 -0.00001599 0.0005757 0.01393 0.002476 0.04976 0.9968 0.312 0.01665 0.00193 1 1 0.009889 0.1188 0.3167 0.03314 0.3982 1.061 json
t17_x18_u2_b7 17 18 2 7 add(R,eql(P,frc(P))) 112992 138777844 o2(x,o2(x,o1(x))) true 63943 63943 0.06362 0.5381 0.4117 0.2377 0.4875 -0.9989 1 1.999 1 4.893 0.002859 0.003117 0.06218 -0.04315 1 0.00002651 0.0004132 0.01463 0.00211 0.04593 0.7386 0.2534 0.02514 0.001738 1 1 0.012 0.1511 0.4183 0.05051 0.6358 1.76 json
t17_x18_u2_b8 17 18 2 8 add(R,min(P,frc(P))) 112993 138777845 o2(x,o2(x,o1(x))) true 63951 63951 -0.467 0.2459 0.6608 0.3431 0.5858 -1 0.9806 1.981 1 3.695 0.001962 0.001682 0.03766 0.07663 1 -0.00000222 0.0003024 0.009307 0.002226 0.04718 1.253 0.2534 0.01062 0.0008815 1 1 0.007554 0.0961 0.3088 0.02202 0.2801 0.9001 json
t17_x18_u2_b9 17 18 2 9 add(R,dot(P,frc(P))) 112994 138777846 o2(x,o2(x,o1(x))) true 63959 63959 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t17_x18_u2_b10 17 18 2 10 add(R,dst(P,frc(P))) 112995 138777847 o2(x,o2(x,o1(x))) true 63967 63967 0.9975 1 0.9975 0.000845 0.02907 0.355 1 0.645 1 0.1043 0.0000351 0.00002594 0.0006808 0.15 0 5.632e-12 0.00002703 0.0004198 0.00006059 0.007784 11.43 0.1913 0.07225 0.03199 1 1 0.0001955 0.001629 0.003019 0.2314 1.928 3.573 json
t17_x18_u2_b11 17 18 2 11 sub(R,add(P,frc(P))) 112996 138777848 o2(x,o2(x,o1(x))) true 63975 63975 0.004612 0.4968 0.9368 0.913 0.9555 -1 1 2 1 2.013 0.001147 0.000385 0.01159 0.4976 1 -0.00002051 0.0002745 0.003871 0.001399 0.0374 3.228 0.3332 0.001679 0.0003007 1 1 0.003782 0.0437 0.2627 0.004142 0.04787 0.2877 json
t17_x18_u2_b12 17 18 2 12 sub(R,sub(P,frc(P))) 112997 138777849 o2(x,o2(x,o1(x))) true 63983 63983 0.004612 0.4968 0.9368 0.913 0.9555 -1 1 2 1 2.013 0.001147 0.000385 0.01159 0.4976 1 -0.00002051 0.0002745 0.003871 0.001399 0.0374 3.228 0.3332 0.001679 0.0003007 1 1 0.003782 0.0437 0.2627 0.004142 0.04787 0.2877 json
t17_x18_u2_b13 17 18 2 13 sub(R,mlt(P,frc(P))) 112998 138777850 o2(x,o2(x,o1(x))) true 63991 63991 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t17_x18_u2_b14 17 18 2 14 sub(R,div(P,frc(P))) 112999 138777851 o2(x,o2(x,o1(x))) true 63999 63999 -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