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
t14_x2_u3_b35 14 2 3 35 flr(div(mlt(P,P),R)) 49000 113769854 o1(o2(o2(x,x),x)) true 50967 50967 -0.07615 0.4678 0.9393 0.9199 0.9591 -1 1 2 1 1.773 0.08638 0.1047 0.1157 -0.09581 1 -0.00005904 0.471 0.2012 0.1777 0.4215 3.643 2.828 0.2077 0.5119 1 1 0.193 0.8621 1.798 0.2098 0.9371 1.955 json
t14_x2_u3_b36 14 2 3 36 flr(div(div(P,P),R)) 49001 113769855 o1(o2(o2(x,x),x)) true 50975 50975 -0.2713 0.37 0.9107 0.8058 0.8977 -1 1 2 1 2.276 0.04422 0.03414 0.1046 0.1287 1 0.00008415 0.09781 0.09283 0.06743 0.2597 2.482 2.828 0.09725 0.1214 1 1 0.1065 0.6683 1.497 0.1322 0.8293 1.857 json
t14_x2_u3_b37 14 2 3 37 flr(div(pow(P,P),R)) 49002 113769856 o1(o2(o2(x,x),x)) true 50983 50983 -0.5678 0.2166 0.9874 0.6609 0.813 -1 1 2 1 1.006 0.05682 0.05824 0.06644 -0.01231 1 -0.000007475 0.2761 0.1183 0.1106 0.3326 5.006 2.828 0.1741 0.4177 1 1 0.1178 0.5326 1.055 0.1782 0.8058 1.597 json
t14_x2_u3_b38 14 2 3 38 flr(div(mod(P,P),R)) 49003 113769857 o1(o2(o2(x,x),x)) true 50991 50991 -0.2033 0.2696 0.6466 0.5881 0.7669 -1 1 2 1 2.382 0.03114 0.04203 0.07573 -0.1489 1 0.00004587 0.1286 0.101 0.0674 0.2596 3.428 2.828 0.1244 0.2186 1 1 0.06126 0.3317 0.9566 0.1042 0.5639 1.627 json
t14_x2_u3_b39 14 2 3 39 flr(div(lrg(P,P),R)) 49004 113769858 o1(o2(o2(x,x),x)) true 50999 50999 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
t14_x2_u3_b40 14 2 3 40 flr(div(eql(P,P),R)) 49005 113769859 o1(o2(o2(x,x),x)) true 51007 51007 -0.1544 0.4291 0.896 0.8353 0.914 -1 1 2 1 2.496 0.03132 0.03861 0.1103 -0.1042 1 0.00008415 0.07206 0.08537 0.0578 0.2404 2.181 2.828 0.08372 0.08627 1 1 0.1056 0.7423 1.638 0.1264 0.8886 1.961 json
t14_x2_u3_b41 14 2 3 41 flr(div(min(P,P),R)) 49006 113769860 o1(o2(o2(x,x),x)) true 51015 51015 -0.07763 0.4646 0.9256 0.9024 0.9499 -1 1 2 1 1.959 0.06374 0.08052 0.1127 -0.1163 1 0.000009851 0.2855 0.1617 0.1316 0.3627 3.22 2.828 0.1599 0.3163 1 1 0.1622 0.8266 1.843 0.1798 0.916 2.042 json
t14_x2_u3_b42 14 2 3 42 flr(div(dot(P,P),R)) 49007 113769861 o1(o2(o2(x,x),x)) true 51023 51023 -0.07033 0.4646 0.9912 0.9831 0.9915 -1 1 2 1 1.183 0.1057 0.1239 0.1199 -0.07914 1 0.00001511 0.5969 0.2348 0.2152 0.4639 3.868 2.828 0.2335 0.6071 1 1 0.2307 0.9792 1.937 0.2346 0.996 1.971 json
t14_x2_u3_b43 14 2 3 43 flr(div(dst(P,P),R)) 49008 113769862 o1(o2(o2(x,x),x)) true 51031 51031 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
t14_x2_u3_b44 14 2 3 44 flr(pow(add(P,P),R)) 49009 113769863 o1(o2(o2(x,x),x)) true 51039 51039 -0.2879 0.4155 0.8058 0.6938 0.833 -1 1 2 1 2.295 0.01149 0.004673 0.03213 0.4219 1 -0.00009377 0.0265 0.02737 0.01514 0.123 3.829 2.828 0.0233 0.03819 1 1 0.02277 0.1286 0.3679 0.03282 0.1854 0.5302 json
t14_x2_u3_b45 14 2 3 45 flr(pow(sub(P,P),R)) 49010 113769864 o1(o2(o2(x,x),x)) true 51047 51047 -0.8398 0.05859 0.957 0.2516 0.5016 -1 1 2 1 0.5738 0.02942 0.03294 0.03498 -0.05657 1 0 0.1323 0.07048 0.06113 0.2472 7.068 2.828 0.2479 0.5258 1 1 0.06126 0.2521 0.5343 0.2435 1.002 2.124 json
t14_x2_u3_b46 14 2 3 46 flr(pow(mlt(P,P),R)) 49011 113769865 o1(o2(o2(x,x),x)) true 51055 51055 0.5361 0.8567 0.7002 0.3667 0.6056 -1 1 2 1 2.669 0.02843 0.0132 0.06261 0.3656 1 -0.00027 0.0715 0.06188 0.0377 0.1942 3.102 2.828 0.1135 0.195 1 1 0.06106 0.3009 0.6895 0.1665 0.8204 1.88 json
t14_x2_u3_b47 14 2 3 47 flr(pow(div(P,P),R)) 49012 113769866 o1(o2(o2(x,x),x)) true 51063 51063 0.6758 0.8748 0.9258 0.4442 0.6665 -1 1 2 1 1.713 0.03239 0.0005218 0.02969 0.9683 1 0.00002496 0.06356 0.03509 0.03202 0.1789 6.026 2 0.07409 0.1431 1 1 0.04367 0.1884 0.7049 0.0983 0.424 1.587 json
t14_x2_u3_b48 14 2 3 48 flr(pow(pow(P,P),R)) 49013 113769867 o1(o2(o2(x,x),x)) true 51071 51071 -0.1198 0.4656 0.8802 0.8495 0.9217 -1 1 2 1 1.946 0.01968 0.004249 0.02887 0.6449 1 -0.000053 0.0438 0.0353 0.0231 0.152 5.266 2 0.02816 0.05156 1 1 0.03214 0.1481 0.4276 0.03783 0.1743 0.5033 json
t14_x2_u3_b49 14 2 3 49 flr(pow(mod(P,P),R)) 49014 113769868 o1(o2(o2(x,x),x)) true 51079 51079 -0.7323 0.1388 0.9396 0.3977 0.6306 -1 1 2 1 0.9993 0.03732 0.02778 0.04179 0.1466 1 -0.00003788 0.1352 0.0762 0.06333 0.2517 6.022 2.828 0.1637 0.34 1 1 0.06863 0.2947 0.5969 0.1726 0.7411 1.501 json
t14_x2_u3_b50 14 2 3 50 flr(pow(lrg(P,P),R)) 49015 113769869 o1(o2(o2(x,x),x)) true 51087 51087 -0.8398 0.05859 0.957 0.2516 0.5016 -1 1 2 1 0.5738 0.02942 0.03294 0.03498 -0.05657 1 0 0.1323 0.07048 0.06113 0.2472 7.068 2.828 0.2479 0.5258 1 1 0.06126 0.2521 0.5343 0.2435 1.002 2.124 json
t14_x2_u3_b51 14 2 3 51 flr(pow(eql(P,P),R)) 49016 113769870 o1(o2(o2(x,x),x)) true 51095 51095 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
t14_x2_u3_b52 14 2 3 52 flr(pow(min(P,P),R)) 49017 113769871 o1(o2(o2(x,x),x)) true 51103 51103 -0.2946 0.4163 0.7992 0.6786 0.8237 -1 1 2 1 2.387 0.01453 0.005156 0.03316 0.4762 1 -0.00006453 0.03484 0.02763 0.01859 0.1363 4.111 2.828 0.02901 0.05134 1 1 0.02787 0.145 0.4032 0.04107 0.2137 0.5942 json
t14_x2_u3_b53 14 2 3 53 flr(pow(dot(P,P),R)) 49018 113769872 o1(o2(o2(x,x),x)) true 51111 51111 0.7014 0.9226 0.7014 0.1704 0.4128 0 1 1 1 2.159 0.006449 0.007735 0.05108 -0.09066 1 -0.0007448 0.01102 0.03885 0.01158 0.1076 2.107 0.7959 0.08323 0.06468 1 1 0.02303 0.1622 0.3159 0.1352 0.9517 1.854 json
t14_x2_u3_b54 14 2 3 54 flr(pow(dst(P,P),R)) 49019 113769873 o1(o2(o2(x,x),x)) true 51119 51119 -0.8398 0.05859 0.957 0.2516 0.5016 -1 1 2 1 0.5738 0.02942 0.03294 0.03498 -0.05657 1 0 0.1323 0.07048 0.06113 0.2472 7.068 2.828 0.2479 0.5258 1 1 0.06126 0.2521 0.5343 0.2435 1.002 2.124 json
t14_x2_u3_b55 14 2 3 55 flr(mod(add(P,P),R)) 49020 113769874 o1(o2(o2(x,x),x)) true 51127 51127 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 0.0003529 0 0.003968 1 1 4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t14_x2_u3_b56 14 2 3 56 flr(mod(sub(P,P),R)) 49021 113769875 o1(o2(o2(x,x),x)) true 51135 51135 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
t14_x2_u3_b57 14 2 3 57 flr(mod(mlt(P,P),R)) 49022 113769876 o1(o2(o2(x,x),x)) true 51143 51143 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
t14_x2_u3_b58 14 2 3 58 flr(mod(div(P,P),R)) 49023 113769877 o1(o2(o2(x,x),x)) true 51151 51151 -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
t14_x2_u3_b59 14 2 3 59 flr(mod(pow(P,P),R)) 49024 113769878 o1(o2(o2(x,x),x)) true 51159 51159 -0.5294 0 0.5294 0.2407 0.4906 -1 0 1 1 1.541 0.004191 0.0001958 0.008569 0.9107 1 -0.00002459 0.007973 0.00908 0.004314 0.06568 7.666 1 0.01822 0.03312 1 1 0.005263 0.02115 0.0981 0.02187 0.08786 0.4075 json
t14_x2_u3_b60 14 2 3 60 flr(mod(mod(P,P),R)) 49025 113769879 o1(o2(o2(x,x),x)) true 51167 51167 -0.3125 0 0.3125 0.1878 0.4334 -1 0 1 1 2.102 0.009346 0 0.02369 1 1 0.00008984 0.01594 0.01949 0.008781 0.09371 3.956 1 0.04977 0.08486 1 1 0.0133 0.07651 0.1971 0.07083 0.4074 1.049 json
t14_x2_u3_b61 14 2 3 61 flr(mod(lrg(P,P),R)) 49026 113769880 o1(o2(o2(x,x),x)) true 51175 51175 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
t14_x2_u3_b62 14 2 3 62 flr(mod(eql(P,P),R)) 49027 113769881 o1(o2(o2(x,x),x)) true 51183 51183 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
t14_x2_u3_b63 14 2 3 63 flr(mod(min(P,P),R)) 49028 113769882 o1(o2(o2(x,x),x)) true 51191 51191 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 0.0003529 0 0.003968 1 1 4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t14_x2_u3_b64 14 2 3 64 flr(mod(dot(P,P),R)) 49029 113769883 o1(o2(o2(x,x),x)) true 51199 51199 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
t14_x2_u3_b65 14 2 3 65 flr(mod(dst(P,P),R)) 49030 113769884 o1(o2(o2(x,x),x)) true 51207 51207 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
t14_x2_u3_b66 14 2 3 66 flr(lrg(add(P,P),R)) 49031 113769885 o1(o2(o2(x,x),x)) true 51215 51215 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 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
t14_x2_u3_b67 14 2 3 67 flr(lrg(sub(P,P),R)) 49032 113769886 o1(o2(o2(x,x),x)) true 51223 51223 0.5176 0.9429 0.5176 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
t14_x2_u3_b68 14 2 3 68 flr(lrg(mlt(P,P),R)) 49033 113769887 o1(o2(o2(x,x),x)) true 51231 51231 0.9727 1 0.9727 0.01868 0.1367 0.000291 1 0.9997 1 0.4881 0.0002846 0.0001053 0.004539 0.4597 1 0.000005704 0.00002084 0.001084 0.0003695 0.01922 4.235 0.1169 0.02087 0.001115 1 1 0.001069 0.01392 0.04488 0.05719 0.7451 2.402 json
t14_x2_u3_b69 14 2 3 69 flr(lrg(div(P,P),R)) 49034 113769888 o1(o2(o2(x,x),x)) true 51239 51239 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
t14_x2_u3_b70 14 2 3 70 flr(lrg(pow(P,P),R)) 49035 113769889 o1(o2(o2(x,x),x)) true 51247 51247 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
t14_x2_u3_b71 14 2 3 71 flr(lrg(mod(P,P),R)) 49036 113769890 o1(o2(o2(x,x),x)) true 51255 51255 0.5391 0.8611 0.5391 0.1746 0.4179 0 1 1 1 3.085 0.002095 0.001384 0.04073 0.2044 1 0.00001425 0.0001944 0.009782 0.001819 0.04265 1.047 0.1169 0.01992 0.001113 1 1 0.007849 0.1007 0.2501 0.04495 0.5764 1.432 json
t14_x2_u3_b72 14 2 3 72 flr(lrg(lrg(P,P),R)) 49037 113769891 o1(o2(o2(x,x),x)) true 51263 51263 0.5176 0.9429 0.5176 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
t14_x2_u3_b73 14 2 3 73 flr(lrg(eql(P,P),R)) 49038 113769892 o1(o2(o2(x,x),x)) true 51271 51271 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
t14_x2_u3_b74 14 2 3 74 flr(lrg(min(P,P),R)) 49039 113769893 o1(o2(o2(x,x),x)) true 51279 51279 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 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
t14_x2_u3_b75 14 2 3 75 flr(lrg(dot(P,P),R)) 49040 113769894 o1(o2(o2(x,x),x)) true 51287 51287 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
t14_x2_u3_b76 14 2 3 76 flr(lrg(dst(P,P),R)) 49041 113769895 o1(o2(o2(x,x),x)) true 51295 51295 0.5176 0.9429 0.5176 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
t14_x2_u3_b77 14 2 3 77 flr(eql(add(P,P),R)) 49042 113769896 o1(o2(o2(x,x),x)) true 51303 51303 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
t14_x2_u3_b78 14 2 3 78 flr(eql(sub(P,P),R)) 49043 113769897 o1(o2(o2(x,x),x)) true 51311 51311 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
t14_x2_u3_b79 14 2 3 79 flr(eql(mlt(P,P),R)) 49044 113769898 o1(o2(o2(x,x),x)) true 51319 51319 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
t14_x2_u3_b80 14 2 3 80 flr(eql(div(P,P),R)) 49045 113769899 o1(o2(o2(x,x),x)) true 51327 51327 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
t14_x2_u3_b81 14 2 3 81 flr(eql(pow(P,P),R)) 49046 113769900 o1(o2(o2(x,x),x)) true 51335 51335 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
t14_x2_u3_b82 14 2 3 82 flr(eql(mod(P,P),R)) 49047 113769901 o1(o2(o2(x,x),x)) true 51343 51343 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
t14_x2_u3_b83 14 2 3 83 flr(eql(lrg(P,P),R)) 49048 113769902 o1(o2(o2(x,x),x)) true 51351 51351 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
t14_x2_u3_b84 14 2 3 84 flr(eql(eql(P,P),R)) 49049 113769903 o1(o2(o2(x,x),x)) true 51359 51359 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
t14_x2_u3_b85 14 2 3 85 flr(eql(min(P,P),R)) 49050 113769904 o1(o2(o2(x,x),x)) true 51367 51367 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
t14_x2_u3_b86 14 2 3 86 flr(eql(dot(P,P),R)) 49051 113769905 o1(o2(o2(x,x),x)) true 51375 51375 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
t14_x2_u3_b87 14 2 3 87 flr(eql(dst(P,P),R)) 49052 113769906 o1(o2(o2(x,x),x)) true 51383 51383 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
t14_x2_u3_b88 14 2 3 88 flr(min(add(P,P),R)) 49053 113769907 o1(o2(o2(x,x),x)) true 51391 51391 -0.7624 0 0.7624 0.1277 0.3573 -1 0 1 1 2.397 0.001333 0.001307 0.02936 0.0101 1 -0.0000278 0.0002143 0.007611 0.001778 0.04217 1.437 0.2265 0.02067 0.001678 1 1 0.005427 0.06795 0.1754 0.0425 0.5321 1.374 json
t14_x2_u3_b89 14 2 3 89 flr(min(sub(P,P),R)) 49054 113769908 o1(o2(o2(x,x),x)) true 51399 51399 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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
t14_x2_u3_b90 14 2 3 90 flr(min(mlt(P,P),R)) 49055 113769909 o1(o2(o2(x,x),x)) true 51407 51407 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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
t14_x2_u3_b91 14 2 3 91 flr(min(div(P,P),R)) 49056 113769910 o1(o2(o2(x,x),x)) true 51415 51415 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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
t14_x2_u3_b92 14 2 3 92 flr(min(pow(P,P),R)) 49057 113769911 o1(o2(o2(x,x),x)) true 51423 51423 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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
t14_x2_u3_b93 14 2 3 93 flr(min(mod(P,P),R)) 49058 113769912 o1(o2(o2(x,x),x)) true 51431 51431 -0.6537 0 0.6537 0.1516 0.3893 -1 0 1 1 3.052 0.003242 0.001838 0.04449 0.2763 1 0.0004249 0.001335 0.01476 0.0031 0.05568 1.252 0.4609 0.03351 0.008808 1 1 0.009563 0.1099 0.2653 0.06309 0.7248 1.751 json
t14_x2_u3_b94 14 2 3 94 flr(min(lrg(P,P),R)) 49059 113769913 o1(o2(o2(x,x),x)) true 51439 51439 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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
t14_x2_u3_b95 14 2 3 95 flr(min(eql(P,P),R)) 49060 113769914 o1(o2(o2(x,x),x)) true 51447 51447 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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
t14_x2_u3_b96 14 2 3 96 flr(min(min(P,P),R)) 49061 113769915 o1(o2(o2(x,x),x)) true 51455 51455 -0.7578 0 0.7578 0.1282 0.3581 -1 0 1 1 2.446 0.001205 0.001316 0.02956 -0.04423 1 -0.00002994 0.0001512 0.007216 0.001648 0.0406 1.373 0.1169 0.01966 0.001179 1 1 0.005145 0.06684 0.1791 0.04012 0.5213 1.397 json
t14_x2_u3_b97 14 2 3 97 flr(min(dot(P,P),R)) 49062 113769916 o1(o2(o2(x,x),x)) true 51463 51463 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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
t14_x2_u3_b98 14 2 3 98 flr(min(dst(P,P),R)) 49063 113769917 o1(o2(o2(x,x),x)) true 51471 51471 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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
t14_x2_u3_b99 14 2 3 99 flr(dot(add(P,P),R)) 49064 113769918 o1(o2(o2(x,x),x)) true 51479 51479 -0.1713 0.4098 0.911 0.8578 0.9262 -1 1 2 1 2.164 0.04207 0.05474 0.1052 -0.1309 1 0.00005468 0.1345 0.1154 0.08576 0.2928 2.784 2.828 0.1129 0.1568 1 1 0.115 0.709 1.58 0.134 0.8266 1.841 json
t14_x2_u3_b100 14 2 3 100 flr(dot(sub(P,P),R)) 49065 113769919 o1(o2(o2(x,x),x)) true 51487 51487 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
t14_x2_u3_b101 14 2 3 101 flr(dot(mlt(P,P),R)) 49066 113769920 o1(o2(o2(x,x),x)) true 51495 51495 0.01283 0.5014 0.9469 0.9307 0.9647 -1 1 2 1 1.817 0.07358 0.08465 0.1154 -0.06994 1 -0.00004851 0.3284 0.1737 0.1449 0.3807 3.298 2.828 0.17 0.3529 1 1 0.1558 0.8226 1.807 0.1674 0.8838 1.941 json
t14_x2_u3_b102 14 2 3 102 flr(dot(div(P,P),R)) 49067 113769921 o1(o2(o2(x,x),x)) true 51503 51503 -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
t14_x2_u3_b103 14 2 3 103 flr(dot(pow(P,P),R)) 49068 113769922 o1(o2(o2(x,x),x)) true 51511 51511 -0.7351 0.1332 0.9915 0.4489 0.67 -1 1 2 1 0.7157 0.02935 0.03265 0.03342 -0.05313 1 -4.806e-10 0.1572 0.06361 0.0609 0.2468 7.384 2.828 0.1381 0.3503 1 1 0.05981 0.2721 0.6223 0.1333 0.6063 1.386 json
t14_x2_u3_b104 14 2 3 104 flr(dot(mod(P,P),R)) 49069 113769923 o1(o2(o2(x,x),x)) true 51519 51519 -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
t14_x2_u3_b105 14 2 3 105 flr(dot(lrg(P,P),R)) 49070 113769924 o1(o2(o2(x,x),x)) true 51527 51527 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
t14_x2_u3_b106 14 2 3 106 flr(dot(eql(P,P),R)) 49071 113769925 o1(o2(o2(x,x),x)) true 51535 51535 -0.3684 0.2237 0.5996 0.37 0.6083 -1 1 2 1 4.114 0.00631 0.006599 0.0789 -0.02241 1 0.00005719 0.002036 0.02323 0.006686 0.08176 1.036 0.4676 0.03489 0.005503 1 1 0.02732 0.3102 0.7092 0.07384 0.8385 1.917 json
t14_x2_u3_b107 14 2 3 107 flr(dot(min(P,P),R)) 49072 113769926 o1(o2(o2(x,x),x)) true 51543 51543 -0.2276 0.372 0.8476 0.755 0.8689 -1 1 2 1 2.766 0.025 0.03234 0.1003 -0.1281 1 0.00009661 0.04594 0.07343 0.04726 0.2174 2.168 1.87 0.07594 0.06084 1 1 0.07293 0.5698 1.388 0.0966 0.7548 1.838 json
t14_x2_u3_b108 14 2 3 108 flr(dot(dot(P,P),R)) 49073 113769927 o1(o2(o2(x,x),x)) true 51551 51551 -0.01667 0.4918 0.9652 0.9555 0.9775 -1 1 2 1 1.568 0.09456 0.09234 0.1173 0.01188 1 0.0001084 0.4309 0.2 0.1731 0.416 3.547 2.828 0.1956 0.451 1 1 0.1854 0.8791 1.738 0.1941 0.9201 1.819 json
t14_x2_u3_b109 14 2 3 109 flr(dot(dst(P,P),R)) 49074 113769928 o1(o2(o2(x,x),x)) true 51559 51559 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
t14_x2_u3_b110 14 2 3 110 flr(dst(add(P,P),R)) 49075 113769929 o1(o2(o2(x,x),x)) true 51567 51567 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
t14_x2_u3_b111 14 2 3 111 flr(dst(sub(P,P),R)) 49076 113769930 o1(o2(o2(x,x),x)) true 51575 51575 0.5234 0.9064 0.5234 0.1603 0.4004 0 1 1 1 3.324 0.001857 0.002199 0.04748 -0.08437 1 -0.000005706 0.0002413 0.0116 0.001802 0.04245 0.894 0.1169 0.0253 0.001505 1 1 0.007899 0.1024 0.3171 0.04927 0.639 1.978 json
t14_x2_u3_b112 14 2 3 112 flr(dst(mlt(P,P),R)) 49077 113769931 o1(o2(o2(x,x),x)) true 51583 51583 0.9925 1 0.9925 0.005314 0.0729 0.000291 1 0.9997 1 0.1555 0.0001059 0.0001847 0.0018 -0.2709 1 -1.051e-10 0.0001198 0.0009067 0.0002876 0.01696 9.42 0.3604 0.05468 0.02254 1 1 0.000931 0.008526 0.01915 0.1752 1.604 3.603 json
t14_x2_u3_b113 14 2 3 113 flr(dst(div(P,P),R)) 49078 113769932 o1(o2(o2(x,x),x)) true 51591 51591 -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
t14_x2_u3_b114 14 2 3 114 flr(dst(pow(P,P),R)) 49079 113769933 o1(o2(o2(x,x),x)) true 51599 51599 -0.5017 0.25 0.9983 0.7462 0.8638 -1 1 2 1 0.8494 0.008001 0.00798 0.008509 0.001317 1 -5.632e-11 0.03193 0.01623 0.0159 0.1261 14.82 2 0.02142 0.04278 1 1 0.0214 0.08647 0.3287 0.02867 0.1159 0.4405 json
t14_x2_u3_b115 14 2 3 115 flr(dst(mod(P,P),R)) 49080 113769934 o1(o2(o2(x,x),x)) true 51607 51607 -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
t14_x2_u3_b116 14 2 3 116 flr(dst(lrg(P,P),R)) 49081 113769935 o1(o2(o2(x,x),x)) true 51615 51615 0.5234 0.9064 0.5234 0.1603 0.4004 0 1 1 1 3.324 0.001857 0.002199 0.04748 -0.08437 1 -0.000005706 0.0002413 0.0116 0.001802 0.04245 0.894 0.1169 0.0253 0.001505 1 1 0.007899 0.1024 0.3171 0.04927 0.639 1.978 json
t14_x2_u3_b117 14 2 3 117 flr(dst(eql(P,P),R)) 49082 113769936 o1(o2(o2(x,x),x)) true 51623 51623 0.9474 1 0.9474 0.03317 0.1821 0.000291 1 0.9997 1 0.8671 0.0007426 0.0009144 0.01281 -0.1037 1 -1.029e-9 0.000388 0.00516 0.001494 0.03866 3.018 0.2278 0.04995 0.0117 1 1 0.004282 0.0448 0.07552 0.1291 1.35 2.277 json
t14_x2_u3_b118 14 2 3 118 flr(dst(min(P,P),R)) 49083 113769937 o1(o2(o2(x,x),x)) true 51631 51631 0.9883 1 0.9883 0.008047 0.08971 0.000291 1 0.9997 1 0.2363 0.000133 0.00019 0.002537 -0.1766 1 -1.389e-10 0.00008177 0.001006 0.0003163 0.01778 7.009 0.3082 0.04014 0.01016 1 1 0.001079 0.0114 0.02592 0.1341 1.417 3.221 json
t14_x2_u3_b119 14 2 3 119 flr(dst(dot(P,P),R)) 49084 113769938 o1(o2(o2(x,x),x)) true 51639 51639 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
t14_x2_u3_b120 14 2 3 120 flr(dst(dst(P,P),R)) 49085 113769939 o1(o2(o2(x,x),x)) true 51647 51647 0.5234 0.9064 0.5234 0.1603 0.4004 0 1 1 1 3.324 0.001857 0.002199 0.04748 -0.08437 1 -0.000005706 0.0002413 0.0116 0.001802 0.04245 0.894 0.1169 0.0253 0.001505 1 1 0.007899 0.1024 0.3171 0.04927 0.639 1.978 json
t14_x2_u4_b0 14 2 4 0 cil(add(add(P,P),R)) 49086 113770020 o1(o2(o2(x,x),x)) true 51655 51655 0.02917 0.5147 0.9669 0.9574 0.9784 -1 1 2 1 1.513 0.001477 0.0001102 0.008546 0.8611 1 -0.000006592 0.0003494 0.003141 0.001515 0.03892 4.555 0.3506 0.001658 0.000365 1 1 0.004081 0.04468 0.2971 0.004263 0.04667 0.3103 json
t14_x2_u4_b1 14 2 4 1 cil(add(sub(P,P),R)) 49087 113770021 o1(o2(o2(x,x),x)) true 51663 51663 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
t14_x2_u4_b2 14 2 4 2 cil(add(mlt(P,P),R)) 49088 113770022 o1(o2(o2(x,x),x)) true 51671 51671 0.9725 1 0.9725 0.02 0.1414 0.000291 1 0.9997 1 0.4441 0.0005811 0.0001118 0.00525 0.6772 1 -0.00001427 0.0001408 0.001965 0.0006649 0.02579 4.911 0.2265 0.03465 0.007042 1 1 0.001717 0.0181 0.041 0.08585 0.9051 2.05 json
t14_x2_u4_b3 14 2 4 3 cil(add(div(P,P),R)) 49089 113770023 o1(o2(o2(x,x),x)) true 51679 51679 0.75 0.875 1 0.4375 0.6614 -1 1 2 1 0.5436 0.03175 0 0.01587 1 1 0 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
t14_x2_u4_b4 14 2 4 4 cil(add(pow(P,P),R)) 49090 113770024 o1(o2(o2(x,x),x)) true 51687 51687 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
t14_x2_u4_b5 14 2 4 5 cil(add(mod(P,P),R)) 49091 113770025 o1(o2(o2(x,x),x)) true 51695 51695 0.074 0.595 0.7816 0.7293 0.854 -1 1 2 1 3.021 0.03206 0.001089 0.05943 0.9343 1 0.0002084 0.0479 0.04838 0.02962 0.1721 2.896 2 0.04545 0.06568 1 1 0.04735 0.291 0.6869 0.06492 0.399 0.9419 json
t14_x2_u4_b6 14 2 4 6 cil(add(lrg(P,P),R)) 49092 113770026 o1(o2(o2(x,x),x)) true 51703 51703 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
t14_x2_u4_b7 14 2 4 7 cil(add(eql(P,P),R)) 49093 113770027 o1(o2(o2(x,x),x)) true 51711 51711 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
t14_x2_u4_b8 14 2 4 8 cil(add(min(P,P),R)) 49094 113770028 o1(o2(o2(x,x),x)) true 51719 51719 0.06347 0.5253 0.9326 0.9159 0.9571 -1 1 2 1 1.84 0.0009772 0.0002573 0.009837 0.5831 1 -0.00001925 0.0001771 0.002995 0.001138 0.03373 3.429 0.2338 0.001348 0.0001934 1 1 0.003184 0.03819 0.2638 0.003476 0.0417 0.288 json
t14_x2_u4_b9 14 2 4 9 cil(add(dot(P,P),R)) 49095 113770029 o1(o2(o2(x,x),x)) true 51727 51727 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
t14_x2_u4_b10 14 2 4 10 cil(add(dst(P,P),R)) 49096 113770030 o1(o2(o2(x,x),x)) true 51735 51735 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
t14_x2_u4_b11 14 2 4 11 cil(sub(add(P,P),R)) 49097 113770031 o1(o2(o2(x,x),x)) true 51743 51743 0.03343 0.5181 0.9711 0.9618 0.9807 -1 1 2 1 1.471 0.001586 0.0001095 0.008535 0.8708 1 0.000007959 0.0003402 0.003048 0.001624 0.0403 4.722 0.3506 0.001763 0.0003537 1 1 0.004272 0.04699 0.3018 0.004441 0.04885 0.3138 json
t14_x2_u4_b12 14 2 4 12 cil(sub(sub(P,P),R)) 49098 113770032 o1(o2(o2(x,x),x)) true 51751 51751 0.5176 0.9429 0.5176 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
t14_x2_u4_b13 14 2 4 13 cil(sub(mlt(P,P),R)) 49099 113770033 o1(o2(o2(x,x),x)) true 51759 51759 0.9773 1 0.9773 0.01625 0.1275 0.000291 1 0.9997 1 0.3905 0.0004087 0.0001118 0.004342 0.5704 1 0.000001426 0.0001038 0.001486 0.0005017 0.0224 5.158 0.2265 0.03204 0.00639 1 1 0.001443 0.01561 0.03791 0.08885 0.961 2.333 json