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_x5_u1_b36 14 5 1 36 log(div(div(P,D),R)) 51300 113890656 o1(o2(o2(x,x),x)) true 69367 69367 -0.9297 0.03516 1 0.1356 0.3683 -1 1 2 1 0.2196 0.01713 0.01411 0.01551 0.09677 1 0 0.06601 0.03124 0.03101 0.1761 11.35 2.828 0.2303 0.4867 1 1 0.02925 0.1197 0.2384 0.2157 0.8823 1.758 json
t14_x5_u1_b37 14 5 1 37 log(div(pow(P,D),R)) 51301 113890657 o1(o2(o2(x,x),x)) true 69375 69375 -0.9941 0.003311 0.9982 0.009799 0.09899 -1 1 2 1 0.04922 0.001055 0.001196 0.001476 -0.06301 1 0.00001679 0.004677 0.002511 0.002248 0.04742 32.12 2.004 0.2297 0.4773 1 1 0 0 0.008641 0 0 0.8818 json
t14_x5_u1_b38 14 5 1 38 log(div(mod(P,D),R)) 51302 113890658 o1(o2(o2(x,x),x)) true 69383 69383 -0.9908 0.00296 0.9923 0.008019 0.08955 -1 0.9756 1.976 1 0.1736 0.004235 0.0005611 0.007391 0.766 1 1.198e-7 0.01235 0.0125 0.004742 0.06886 9.317 1.943 0.5981 1.54 1 1 0.003859 0.01119 0.01584 0.4812 1.396 1.975 json
t14_x5_u1_b39 14 5 1 39 log(div(lrg(P,D),R)) 51303 113890659 o1(o2(o2(x,x),x)) true 69391 69391 -0.9938 0.003906 0.9984 0.01025 0.1013 -1 1 2 1 0.05122 0.001007 0.001235 0.001417 -0.102 1 -0.00000472 0.004706 0.002493 0.002239 0.04732 33.4 2.001 0.2186 0.4589 1 1 0 0 0.009025 0 0 0.8801 json
t14_x5_u1_b40 14 5 1 40 log(div(eql(P,D),R)) 51304 113890660 o1(o2(o2(x,x),x)) true 69399 69399 -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_x5_u1_b41 14 5 1 41 log(div(min(P,D),R)) 51305 113890661 o1(o2(o2(x,x),x)) true 69407 69407 -0.9183 0.04074 0.9921 0.146 0.3821 -1 1 2 1 0.3939 0.01317 0.01203 0.01565 0.04542 1 8.233e-7 0.05151 0.02748 0.02496 0.158 10.09 2.828 0.1726 0.3527 1 1 0.02703 0.1159 0.3135 0.1851 0.794 2.147 json
t14_x5_u1_b42 14 5 1 42 log(div(dot(P,D),R)) 51306 113890662 o1(o2(o2(x,x),x)) true 69415 69415 -0.8966 0.05379 0.9865 0.1781 0.422 -1 1 2 1 0.5124 0.03805 0.03749 0.0477 0.007389 1 -0.0002987 0.2106 0.08691 0.07325 0.2706 5.674 2.828 0.4241 1.183 1 1 0.07076 0.251 0.2955 0.3973 1.41 1.659 json
t14_x5_u1_b43 14 5 1 43 log(div(dst(P,D),R)) 51307 113890663 o1(o2(o2(x,x),x)) true 69423 69423 -0.9142 0.04297 0.9999 0.1641 0.4051 -1 1 2 1 0.2615 0.01682 0.01637 0.01655 0.0136 1 -1.201e-10 0.06943 0.03327 0.03289 0.1814 10.96 2.828 0.2022 0.423 1 1 0.02528 0.1089 0.2743 0.154 0.6639 1.671 json
t14_x5_u1_b44 14 5 1 44 log(pow(add(P,D),R)) 51308 113890664 o1(o2(o2(x,x),x)) true 69431 69431 -0.5158 0.2272 0.7303 0.3985 0.6312 -1 1 2 1 3.137 0.01151 0.002552 0.04167 0.6371 1 -3.809e-7 0.01857 0.0196 0.01233 0.111 2.664 2 0.0353 0.04659 1 1 0.01995 0.1321 0.3773 0.05007 0.3314 0.947 json
t14_x5_u1_b45 14 5 1 45 log(pow(sub(P,D),R)) 51309 113890665 o1(o2(o2(x,x),x)) true 69439 69439 -0.5846 0.1868 0.7744 0.3719 0.6098 -1 1 2 1 2.849 0.006188 0.002351 0.03665 0.4493 1 -9.853e-7 0.00856 0.01688 0.007195 0.08483 2.314 1.027 0.02296 0.02302 1 1 0.01182 0.101 0.3239 0.03178 0.2716 0.8711 json
t14_x5_u1_b46 14 5 1 46 log(pow(mlt(P,D),R)) 51310 113890666 o1(o2(o2(x,x),x)) true 69447 69447 -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_x5_u1_b47 14 5 1 47 log(pow(div(P,D),R)) 51311 113890667 o1(o2(o2(x,x),x)) true 69455 69455 -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_x5_u1_b48 14 5 1 48 log(pow(pow(P,D),R)) 51312 113890668 o1(o2(o2(x,x),x)) true 69463 69463 -0.5637 0.2221 0.6169 0.2588 0.5087 -1 0.7067 1.707 1 2.493 0.004693 0.0002465 0.02067 0.9002 1 0.00002535 0.008035 0.01275 0.004512 0.06717 3.249 1 0.01909 0.03105 1 1 0.006572 0.03721 0.1074 0.02539 0.1438 0.415 json
t14_x5_u1_b49 14 5 1 49 log(pow(mod(P,D),R)) 51313 113890669 o1(o2(o2(x,x),x)) true 69471 69471 -0.609 0.2048 0.8601 0.4452 0.6672 -1 1 2 1 2.329 0.1533 0.003876 0.1414 0.9507 1 0.00001687 0.3951 0.24 0.1372 0.3704 2.619 2.046 0.353 0.8876 1 1 0.1202 0.2535 0.4517 0.2701 0.5694 1.015 json
t14_x5_u1_b50 14 5 1 50 log(pow(lrg(P,D),R)) 51314 113890670 o1(o2(o2(x,x),x)) true 69479 69479 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 0.9887 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0.005263 0.02105 0.08421 0.02139 0.08555 0.3422 json
t14_x5_u1_b51 14 5 1 51 log(pow(eql(P,D),R)) 51315 113890671 o1(o2(o2(x,x),x)) true 69487 69487 -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_x5_u1_b52 14 5 1 52 log(pow(min(P,D),R)) 51316 113890672 o1(o2(o2(x,x),x)) true 69495 69495 -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_x5_u1_b53 14 5 1 53 log(pow(dot(P,D),R)) 51317 113890673 o1(o2(o2(x,x),x)) true 69503 69503 -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_x5_u1_b54 14 5 1 54 log(pow(dst(P,D),R)) 51318 113890674 o1(o2(o2(x,x),x)) true 69511 69511 -0.006829 0.4955 0.5882 0.4609 0.6789 -1 1 2 1 4.627 0.006997 0.007998 0.08479 -0.06682 1 0.00001793 0.002473 0.0249 0.007807 0.08836 1.042 0.5038 0.03253 0.005365 1 1 0.02321 0.2705 0.7172 0.05035 0.5868 1.556 json
t14_x5_u1_b55 14 5 1 55 log(mod(add(P,D),R)) 51319 113890675 o1(o2(o2(x,x),x)) true 69519 69519 -0.9764 0 0.9764 0.009868 0.09934 -1 -0.03132 0.9687 1 0.6114 0.005549 0.000342 0.01896 0.8839 1 0.0001806 0.01268 0.02752 0.005535 0.0744 3.924 0.9687 0.5969 1.285 1 1 0.005486 0.01351 0.01869 0.556 1.369 1.894 json
t14_x5_u1_b56 14 5 1 56 log(mod(sub(P,D),R)) 51320 113890676 o1(o2(o2(x,x),x)) true 69527 69527 -0.9786 0 0.9786 0.009345 0.09667 -1 -0.03205 0.9679 1 0.5423 0.005416 0.0003233 0.01768 0.8873 1 0.0001105 0.01218 0.02578 0.005422 0.07364 4.166 0.9679 0.6141 1.303 1 1 0.005696 0.0138 0.01917 0.6096 1.476 2.052 json
t14_x5_u1_b57 14 5 1 57 log(mod(mlt(P,D),R)) 51321 113890677 o1(o2(o2(x,x),x)) true 69535 69535 -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_x5_u1_b58 14 5 1 58 log(mod(div(P,D),R)) 51322 113890678 o1(o2(o2(x,x),x)) true 69543 69543 -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_x5_u1_b59 14 5 1 59 log(mod(pow(P,D),R)) 51323 113890679 o1(o2(o2(x,x),x)) true 69551 69551 -0.9786 0 0.9786 0.009148 0.09564 -1 -0.0223 0.9777 1 0.5586 0.006866 0.0003209 0.02151 0.9107 1 0.0001008 0.01685 0.03416 0.006721 0.08198 3.811 0.9777 0.7856 1.842 1 1 0.006137 0.01087 0.01706 0.6709 1.188 1.865 json
t14_x5_u1_b60 14 5 1 60 log(mod(mod(P,D),R)) 51324 113890680 o1(o2(o2(x,x),x)) true 69559 69559 -1 0 1 0.000001351 0.001162 -1 -0.9546 0.04545 1 0 0.000002552 7.993e-8 0.00006093 0.9393 0 3.469e-7 0.000007985 0.0001208 0.000002625 0.00162 26.59 0.04685 1.948 5.909 1 1 0.000001292 0.000001727 0.000002419 0.9559 1.278 1.79 json
t14_x5_u1_b61 14 5 1 61 log(mod(lrg(P,D),R)) 51325 113890681 o1(o2(o2(x,x),x)) true 69567 69567 -0.9982 0 0.9982 0.0002705 0.01645 -1 -0.724 0.276 1 0.108 0.00001678 0.00002455 0.0007375 -0.1881 0 0.0000148 0.00003471 0.0006701 0.00004077 0.006385 8.658 0.1361 0.1528 0.1283 1 1 0.00006798 0.0004568 0.0006416 0.2513 1.689 2.372 json
t14_x5_u1_b62 14 5 1 62 log(mod(eql(P,D),R)) 51326 113890682 o1(o2(o2(x,x),x)) true 69575 69575 -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_x5_u1_b63 14 5 1 63 log(mod(min(P,D),R)) 51327 113890683 o1(o2(o2(x,x),x)) true 69583 69583 -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_x5_u1_b64 14 5 1 64 log(mod(dot(P,D),R)) 51328 113890684 o1(o2(o2(x,x),x)) true 69591 69591 -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_x5_u1_b65 14 5 1 65 log(mod(dst(P,D),R)) 51329 113890685 o1(o2(o2(x,x),x)) true 69599 69599 -0.9486 0 0.9486 0.02055 0.1434 -1 -0.05439 0.9456 1 1.127 0.007772 0.008241 0.04565 -0.02929 1 0.00007358 0.054 0.07568 0.01392 0.118 2.585 1.337 0.7791 2.627 1 1 0.01533 0.03757 0.03714 0.746 1.828 1.807 json
t14_x5_u1_b66 14 5 1 66 log(lrg(add(P,D),R)) 51330 113890686 o1(o2(o2(x,x),x)) true 69607 69607 -0.5474 0 0.5474 0.2479 0.4979 -1 0 1 1 0.9935 0.004472 0.0004882 0.004923 0.8032 1 0 0.01049 0.009921 0.00494 0.07029 14.28 1.414 0.02001 0.04231 1 1 0.006745 0.02461 0.09248 0.02721 0.09928 0.3731 json
t14_x5_u1_b67 14 5 1 67 log(lrg(sub(P,D),R)) 51331 113890687 o1(o2(o2(x,x),x)) true 69615 69615 -0.5901 0 0.5901 0.2419 0.4919 -1 0 1 1 0.9765 0.01335 0.001244 0.01452 0.8296 1 0 0.03197 0.0292 0.01438 0.1199 8.256 1.414 0.06034 0.1321 1 1 0.01722 0.05544 0.1074 0.07116 0.2292 0.4438 json
t14_x5_u1_b68 14 5 1 68 log(lrg(mlt(P,D),R)) 51332 113890688 o1(o2(o2(x,x),x)) true 69623 69623 -0.98 0 0.98 0.01962 0.1401 -1 0 1 1 0.1416 0.02003 0.001559 0.02134 0.8556 1 0.000252 0.05357 0.04293 0.02113 0.1454 6.811 1.414 1.1 2.73 1 1 0.02229 0.03361 0.04089 1.136 1.713 2.083 json
t14_x5_u1_b69 14 5 1 69 log(lrg(div(P,D),R)) 51333 113890689 o1(o2(o2(x,x),x)) true 69631 69631 -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_x5_u1_b70 14 5 1 70 log(lrg(pow(P,D),R)) 51334 113890690 o1(o2(o2(x,x),x)) true 69639 69639 -0.196 0 0.196 0.1576 0.397 -1 0 1 1 0.7139 0.02964 0.006929 0.0364 0.621 1 0.000252 0.07933 0.07288 0.03524 0.1877 5.157 1.414 0.232 0.5035 1 1 0.03749 0.1248 0.2474 0.2379 0.7917 1.57 json
t14_x5_u1_b71 14 5 1 71 log(lrg(mod(P,D),R)) 51335 113890691 o1(o2(o2(x,x),x)) true 69647 69647 -0.9087 0 0.9087 0.08294 0.288 -1 0 1 1 0.4408 0.05171 0.006929 0.05793 0.7637 1 0.000252 0.1706 0.117 0.05527 0.2351 4.058 1.414 0.707 2.057 1 1 0.0356 0.07294 0.143 0.4292 0.8794 1.724 json
t14_x5_u1_b72 14 5 1 72 log(lrg(lrg(P,D),R)) 51336 113890692 o1(o2(o2(x,x),x)) true 69655 69655 -0.4922 0 0.4922 0.2499 0.4999 -1 0 1 1 0.9998 0.006929 0.004535 0.01138 0.2088 1 0 0.02375 0.02293 0.01133 0.1064 9.352 1.414 0.04588 0.09503 1 1 0.0138 0.05584 0.1744 0.05521 0.2235 0.6979 json
t14_x5_u1_b73 14 5 1 73 log(lrg(eql(P,D),R)) 51337 113890693 o1(o2(o2(x,x),x)) true 69663 69663 -0.9297 0 0.9297 0.06532 0.2556 -1 0 1 1 0.3671 0.00548 0.006677 0.01207 -0.09845 1 0 0.02545 0.02431 0.01201 0.1096 9.077 1.414 0.1861 0.3896 1 1 0.01256 0.05287 0.1436 0.1923 0.8093 2.199 json
t14_x5_u1_b74 14 5 1 74 log(lrg(min(P,D),R)) 51338 113890694 o1(o2(o2(x,x),x)) true 69671 69671 -0.9685 0 0.9685 0.03049 0.1746 -1 0 1 1 0.2018 0.01291 0.002567 0.01532 0.6684 1 0 0.03461 0.03096 0.01525 0.1235 8.06 1.414 0.5076 1.135 1 1 0.01634 0.04017 0.05277 0.536 1.317 1.731 json
t14_x5_u1_b75 14 5 1 75 log(lrg(dot(P,D),R)) 51339 113890695 o1(o2(o2(x,x),x)) true 69679 69679 -0.9949 0 0.9949 0.005028 0.07091 -1 0 1 1 0.0458 0.004929 0.004882 0.009045 0.004815 1 0.00004724 0.0369 0.01964 0.009728 0.09863 10.9 1.414 1.951 7.338 1 1 0.008906 0.01101 0.00777 1.771 2.19 1.545 json
t14_x5_u1_b76 14 5 1 76 log(lrg(dst(P,D),R)) 51340 113890696 o1(o2(o2(x,x),x)) true 69687 69687 -0.01474 0 0.01474 0.01454 0.1206 -1 0 1 1 0.1108 0.002331 0.00252 0.004555 -0.03896 1 0 0.01398 0.0097 0.004832 0.06952 15.26 1.414 0.3337 0.962 1 1 0.008532 0.03036 0.05008 0.587 2.089 3.446 json
t14_x5_u1_b77 14 5 1 77 log(eql(add(P,D),R)) 51341 113890697 o1(o2(o2(x,x),x)) true 69695 69695 -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_x5_u1_b78 14 5 1 78 log(eql(sub(P,D),R)) 51342 113890698 o1(o2(o2(x,x),x)) true 69703 69703 -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_x5_u1_b79 14 5 1 79 log(eql(mlt(P,D),R)) 51343 113890699 o1(o2(o2(x,x),x)) true 69711 69711 -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_x5_u1_b80 14 5 1 80 log(eql(div(P,D),R)) 51344 113890700 o1(o2(o2(x,x),x)) true 69719 69719 -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_x5_u1_b81 14 5 1 81 log(eql(pow(P,D),R)) 51345 113890701 o1(o2(o2(x,x),x)) true 69727 69727 -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_x5_u1_b82 14 5 1 82 log(eql(mod(P,D),R)) 51346 113890702 o1(o2(o2(x,x),x)) true 69735 69735 -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_x5_u1_b83 14 5 1 83 log(eql(lrg(P,D),R)) 51347 113890703 o1(o2(o2(x,x),x)) true 69743 69743 -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_x5_u1_b84 14 5 1 84 log(eql(eql(P,D),R)) 51348 113890704 o1(o2(o2(x,x),x)) true 69751 69751 -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_x5_u1_b85 14 5 1 85 log(eql(min(P,D),R)) 51349 113890705 o1(o2(o2(x,x),x)) true 69759 69759 -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_x5_u1_b86 14 5 1 86 log(eql(dot(P,D),R)) 51350 113890706 o1(o2(o2(x,x),x)) true 69767 69767 -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_x5_u1_b87 14 5 1 87 log(eql(dst(P,D),R)) 51351 113890707 o1(o2(o2(x,x),x)) true 69775 69775 -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_x5_u1_b88 14 5 1 88 log(min(add(P,D),R)) 51352 113890708 o1(o2(o2(x,x),x)) true 69783 69783 -0.9973 0 0.9973 0.001704 0.04127 -1 -0.07531 0.9247 1 0.06704 0.0001766 0.0001815 0.0008588 -0.01388 1 0.00000472 0.0006918 0.001093 0.0003573 0.0189 22.01 1.212 0.2102 0.4061 1 1 0.00003712 0.00026 0.001404 0.02179 0.1526 0.824 json
t14_x5_u1_b89 14 5 1 89 log(min(sub(P,D),R)) 51353 113890709 o1(o2(o2(x,x),x)) true 69791 69791 -0.9984 0 0.9984 0.00102 0.03194 -1 -0.07531 0.9247 1 0.04175 0.00001566 0.0000908 0.0003519 -0.7058 1 0.00000472 0.0001855 0.0003575 0.0001063 0.01031 29.3 0.8956 0.1043 0.1817 1 1 0 0 0.0007799 0 0 0.7644 json
t14_x5_u1_b90 14 5 1 90 log(min(mlt(P,D),R)) 51354 113890710 o1(o2(o2(x,x),x)) true 69799 69799 -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_x5_u1_b91 14 5 1 91 log(min(div(P,D),R)) 51355 113890711 o1(o2(o2(x,x),x)) true 69807 69807 -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_x5_u1_b92 14 5 1 92 log(min(pow(P,D),R)) 51356 113890712 o1(o2(o2(x,x),x)) true 69815 69815 -0.9864 0 0.9864 0.008077 0.08987 -1 -0.05896 0.941 1 0.2843 0.0009445 0.0009995 0.004417 -0.02831 1 0.00003672 0.003841 0.006012 0.001926 0.04389 9.937 0.941 0.2407 0.4755 1 1 0.001885 0.008331 0.01472 0.2334 1.031 1.822 json
t14_x5_u1_b93 14 5 1 93 log(min(mod(P,D),R)) 51357 113890713 o1(o2(o2(x,x),x)) true 69823 69823 -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_x5_u1_b94 14 5 1 94 log(min(lrg(P,D),R)) 51358 113890714 o1(o2(o2(x,x),x)) true 69831 69831 -0.9984 0 0.9984 0.00102 0.03194 -1 -0.07531 0.9247 1 0.04175 0.00001566 0.0000908 0.0003519 -0.7058 1 0.00000472 0.0001855 0.0003575 0.0001063 0.01031 29.3 0.8956 0.1043 0.1817 1 1 0 0 0.0007799 0 0 0.7644 json
t14_x5_u1_b95 14 5 1 95 log(min(eql(P,D),R)) 51359 113890715 o1(o2(o2(x,x),x)) true 69839 69839 -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_x5_u1_b96 14 5 1 96 log(min(min(P,D),R)) 51360 113890716 o1(o2(o2(x,x),x)) true 69847 69847 -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_x5_u1_b97 14 5 1 97 log(min(dot(P,D),R)) 51361 113890717 o1(o2(o2(x,x),x)) true 69855 69855 -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_x5_u1_b98 14 5 1 98 log(min(dst(P,D),R)) 51362 113890718 o1(o2(o2(x,x),x)) true 69863 69863 -0.9838 0 0.9838 0.009625 0.09811 -1 -0.05896 0.941 1 0.3254 0.001056 0.001224 0.005061 -0.07381 1 0.00001706 0.004529 0.00698 0.002254 0.04747 9.38 1.212 0.2369 0.4706 1 1 0.001967 0.008849 0.01618 0.2044 0.9194 1.681 json
t14_x5_u1_b99 14 5 1 99 log(dot(add(P,D),R)) 51363 113890719 o1(o2(o2(x,x),x)) true 69871 69871 -0.9575 0.02136 0.9923 0.07269 0.2696 -1 1 2 1 0.2976 0.00985 0.01056 0.01392 -0.03491 1 6.79e-7 0.04517 0.02344 0.02023 0.1422 10.22 2.828 0.2808 0.6214 1 1 0.02347 0.09399 0.1694 0.3229 1.293 2.33 json
t14_x5_u1_b100 14 5 1 100 log(dot(sub(P,D),R)) 51364 113890720 o1(o2(o2(x,x),x)) true 69879 69879 -0.9502 0.0258 0.9878 0.08108 0.2848 -1 1 2 1 0.3562 0.009929 0.01035 0.01414 -0.021 1 -0.00003448 0.04494 0.02332 0.0201 0.1418 10.03 2.828 0.2502 0.5543 1 1 0.02273 0.09938 0.2093 0.2803 1.226 2.581 json
t14_x5_u1_b101 14 5 1 101 log(dot(mlt(P,D),R)) 51365 113890721 o1(o2(o2(x,x),x)) true 69887 69887 -0.9645 0.01704 0.9801 0.04366 0.209 -1 1 2 1 0.4068 0.007296 0.005841 0.01662 0.1108 1 -0.000166 0.02957 0.02305 0.01286 0.1134 6.824 2.584 0.3009 0.6773 1 1 0.01126 0.05091 0.06833 0.2578 1.166 1.565 json
t14_x5_u1_b102 14 5 1 102 log(dot(div(P,D),R)) 51366 113890722 o1(o2(o2(x,x),x)) true 69895 69895 -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_x5_u1_b103 14 5 1 103 log(dot(pow(P,D),R)) 51367 113890723 o1(o2(o2(x,x),x)) true 69903 69903 -0.9906 0.003555 0.9926 0.008946 0.09458 -1 0.7025 1.702 1 0.1484 0.001115 0.001315 0.003349 -0.0825 1 0.00004103 0.00513 0.004887 0.002418 0.04918 14.69 1.702 0.2716 0.5734 1 1 0.002518 0.01071 0.02146 0.2815 1.197 2.398 json
t14_x5_u1_b104 14 5 1 104 log(dot(mod(P,D),R)) 51368 113890724 o1(o2(o2(x,x),x)) true 69911 69911 -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_x5_u1_b105 14 5 1 105 log(dot(lrg(P,D),R)) 51369 113890725 o1(o2(o2(x,x),x)) true 69919 69919 -0.9845 0.003967 0.9855 0.01162 0.1078 -1 0.3607 1.361 1 0.2854 0.001875 0.001263 0.005397 0.1948 1 5.256e-11 0.006213 0.007466 0.00311 0.05576 10.33 1.361 0.2701 0.5348 1 1 0.005757 0.02387 0.04001 0.4954 2.054 3.443 json
t14_x5_u1_b106 14 5 1 106 log(dot(eql(P,D),R)) 51370 113890726 o1(o2(o2(x,x),x)) true 69927 69927 -0.9844 0 0.9844 0.009063 0.0952 -1 -0.06495 0.9351 1 0.3133 0.000907 0.00113 0.004762 -0.1092 1 0.000001052 0.003993 0.006666 0.002014 0.04488 9.425 1.264 0.2247 0.4406 1 1 0.002119 0.007588 0.009871 0.2338 0.8373 1.089 json
t14_x5_u1_b107 14 5 1 107 log(dot(min(P,D),R)) 51371 113890727 o1(o2(o2(x,x),x)) true 69935 69935 -0.96 0.01997 0.984 0.05781 0.2404 -1 1 2 1 0.3664 0.004939 0.007681 0.01044 -0.2172 1 -0.00001133 0.02599 0.01644 0.01252 0.1119 10.71 2.828 0.2183 0.4495 1 1 0.01233 0.05544 0.1393 0.2134 0.9591 2.409 json
t14_x5_u1_b108 14 5 1 108 log(dot(dot(P,D),R)) 51372 113890728 o1(o2(o2(x,x),x)) true 69943 69943 -0.9524 0.02419 0.9793 0.06562 0.2562 -1 1 2 1 0.4583 0.0127 0.01194 0.02492 0.0306 1 -0.0001282 0.05881 0.03757 0.02401 0.1549 6.217 2.828 0.3755 0.8963 1 1 0.01754 0.06123 0.06524 0.2674 0.9332 0.9943 json
t14_x5_u1_b109 14 5 1 109 log(dot(dst(P,D),R)) 51373 113890729 o1(o2(o2(x,x),x)) true 69951 69951 -0.9098 0.04739 0.9861 0.1528 0.3909 -1 1 2 1 0.5035 0.01567 0.01687 0.02096 -0.03694 1 0.00001201 0.06735 0.03615 0.03213 0.1792 8.55 2.828 0.213 0.4407 1 1 0.04762 0.2079 0.4259 0.3116 1.36 2.787 json
t14_x5_u1_b110 14 5 1 110 log(dst(add(P,D),R)) 51374 113890730 o1(o2(o2(x,x),x)) true 69959 69959 0.9603 0.9889 0.9648 0.02982 0.1727 -0.7946 1 1.795 1 0.724 0.0001588 0.0001528 0.004657 0.01932 1 7.884e-11 0.00002801 0.001175 0.0002896 0.01702 3.654 0.1624 0.01045 0.0009394 1 1 0.001078 0.0138 0.07141 0.03615 0.4628 2.395 json
t14_x5_u1_b111 14 5 1 111 log(dst(sub(P,D),R)) 51375 113890731 o1(o2(o2(x,x),x)) true 69967 69967 0.9649 0.9938 0.9674 0.02335 0.1528 -0.7273 1 1.727 1 0.6993 0.0002165 0.0002412 0.005253 -0.05398 1 -1.164e-10 0.00005986 0.001765 0.0004297 0.02073 3.946 0.2704 0.0196 0.002564 1 1 0.001566 0.01703 0.05734 0.06708 0.7294 2.456 json
t14_x5_u1_b112 14 5 1 112 log(dst(mlt(P,D),R)) 51376 113890732 o1(o2(o2(x,x),x)) true 69975 69975 0.5472 0.8714 0.6213 0.2018 0.4492 -1 1 2 1 4.03 0.01346 0.01347 0.1192 -0.0003163 1 -0.003211 0.01021 0.05147 0.01274 0.1129 0.9471 0.9297 0.1335 0.0506 1 1 0.04042 0.263 0.1844 0.2004 1.304 0.9139 json
t14_x5_u1_b113 14 5 1 113 log(dst(div(P,D),R)) 51377 113890733 o1(o2(o2(x,x),x)) true 69983 69983 -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_x5_u1_b114 14 5 1 114 log(dst(pow(P,D),R)) 51378 113890734 o1(o2(o2(x,x),x)) true 69991 69991 -0.5929 0.2413 0.9114 0.5177 0.7195 -1 1 2 1 1.791 0.005544 0.004929 0.01706 0.05876 1 -0.000004791 0.01959 0.01532 0.01019 0.1009 5.915 1.983 0.02023 0.03785 1 1 0.01436 0.06712 0.221 0.02774 0.1296 0.4269 json
t14_x5_u1_b115 14 5 1 115 log(dst(mod(P,D),R)) 51379 113890735 o1(o2(o2(x,x),x)) true 69999 69999 -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_x5_u1_b116 14 5 1 116 log(dst(lrg(P,D),R)) 51380 113890736 o1(o2(o2(x,x),x)) true 70007 70007 0.2069 0.7441 0.3391 0.1239 0.3519 -1 0.9754 1.975 1 4.455 0.001655 0.002875 0.0413 -0.2694 1 0.00001829 0.004339 0.01535 0.002824 0.05314 1.287 1.288 0.03657 0.03503 1 1 0.00698 0.06356 0.1649 0.05635 0.5132 1.331 json
t14_x5_u1_b117 14 5 1 117 log(dst(eql(P,D),R)) 51381 113890737 o1(o2(o2(x,x),x)) true 70015 70015 0.2466 0.8144 0.3442 0.09801 0.3131 -1 0.8138 1.814 1 4.219 0.001374 0.001306 0.03973 0.02522 1 0.00001144 0.00018 0.00929 0.001102 0.03319 0.8353 0.2546 0.02735 0.001837 1 1 0.005029 0.06478 0.1705 0.05131 0.6609 1.74 json
t14_x5_u1_b118 14 5 1 118 log(dst(min(P,D),R)) 51382 113890738 o1(o2(o2(x,x),x)) true 70023 70023 0.6353 0.8479 0.7164 0.2488 0.4988 -1 1 2 1 2.91 0.0008741 0.0008824 0.02272 -0.004704 1 -0.00002788 0.0002227 0.006399 0.00124 0.03521 1.55 0.3219 0.00706 0.0008952 1 1 0.003173 0.03724 0.133 0.01276 0.1497 0.5346 json
t14_x5_u1_b119 14 5 1 119 log(dst(dot(P,D),R)) 51383 113890739 o1(o2(o2(x,x),x)) true 70031 70031 0.6963 0.9151 0.7493 0.18 0.4243 -1 1 2 1 3.163 0.02735 0.02716 0.1391 0.003592 1 -0.002909 0.0685 0.1157 0.03516 0.1875 1.348 1.906 0.3028 0.3805 1 1 0.0756 0.3345 0.1759 0.42 1.859 0.9771 json
t14_x5_u1_b120 14 5 1 120 log(dst(dst(P,D),R)) 51384 113890740 o1(o2(o2(x,x),x)) true 70039 70039 0.9883 1 0.9883 0.004875 0.06982 0.1538 1 0.8462 1 0.3372 0.0001069 0.0001105 0.0026 -0.01641 1 -1.051e-10 0.0000572 0.001097 0.0002106 0.01451 5.582 0.1747 0.04459 0.01173 1 1 0.0007229 0.006165 0.01412 0.1483 1.265 2.897 json
t14_x5_u2_b0 14 5 2 0 frc(add(add(P,D),R)) 51385 113890821 o1(o2(o2(x,x),x)) true 70047 70047 0.4998 1 0.4998 0.05059 0.2249 0.0003494 0.9966 0.9962 1 3.84 0.03625 0.0007444 0.1109 0.9598 1 -0.0001478 0.07858 0.1247 0.0247 0.1572 1.418 0.9415 0.7311 1.553 1 1 0.03363 0.08296 0.0945 0.6648 1.64 1.868 json
t14_x5_u2_b1 14 5 2 1 frc(add(sub(P,D),R)) 51386 113890822 o1(o2(o2(x,x),x)) true 70055 70055 0.4981 1 0.4981 0.05037 0.2244 0.0002575 0.9959 0.9956 1 3.836 0.0363 0.0007475 0.1112 0.9597 1 0.00008992 0.07858 0.1248 0.02468 0.1571 1.412 0.9399 0.7356 1.56 1 1 0.03408 0.0818 0.0953 0.6766 1.624 1.892 json
t14_x5_u2_b2 14 5 2 2 frc(add(mlt(P,D),R)) 51387 113890823 o1(o2(o2(x,x),x)) true 70063 70063 0.4942 1 0.4942 0.04948 0.2224 0.001637 0.9975 0.9959 1 3.828 0.09991 0.0007324 0.2535 0.9854 1 0.00006526 0.3002 0.3938 0.03636 0.1907 0.7521 0.9371 2.034 6.068 1 1 0.05828 0.05979 0.09678 1.178 1.208 1.956 json
t14_x5_u2_b3 14 5 2 3 frc(add(div(P,D),R)) 51388 113890824 o1(o2(o2(x,x),x)) true 70071 70071 0.4911 1 0.4911 0.04926 0.2219 0.001057 0.9971 0.996 1 3.823 0.07842 0.0007036 0.2114 0.9822 1 -0.0007712 0.2163 0.3608 0.03443 0.1856 0.8777 0.936 1.606 4.392 1 1 0.05023 0.06738 0.09433 1.02 1.368 1.915 json
t14_x5_u2_b4 14 5 2 4 frc(add(pow(P,D),R)) 51389 113890825 o1(o2(o2(x,x),x)) true 70079 70079 -0.247 0.5 0.753 0.5899 0.7681 -1 0.9944 1.994 1 2.894 0.02798 0.0003351 0.06762 0.9763 1 0.0003851 0.06248 0.08663 0.02374 0.1541 2.279 1.829 0.04801 0.1059 1 1 0.02627 0.0758 0.2431 0.04452 0.1285 0.4121 json
t14_x5_u2_b5 14 5 2 5 frc(add(mod(P,D),R)) 51390 113890826 o1(o2(o2(x,x),x)) true 70087 70087 0.5116 1 0.5116 0.05124 0.2264 0.00109 0.9971 0.996 1 3.837 0.04012 0.0007217 0.1206 0.9647 1 0.00004418 0.1096 0.2005 0.0263 0.1622 1.345 0.9662 0.7969 2.139 1 1 0.02636 0.05783 0.09483 0.5143 1.128 1.851 json
t14_x5_u2_b6 14 5 2 6 frc(add(lrg(P,D),R)) 51391 113890827 o1(o2(o2(x,x),x)) true 70095 70095 0.5266 1 0.5266 0.05091 0.2256 0.001084 0.997 0.9959 1 3.815 0.0007236 0.0006853 0.03089 0.02719 1 0.00004432 0.00008334 0.007111 0.0004549 0.02133 0.6905 0.1132 0.02767 0.001637 1 1 0.002542 0.03267 0.08567 0.04993 0.6416 1.683 json
t14_x5_u2_b7 14 5 2 7 frc(add(eql(P,D),R)) 51392 113890828 o1(o2(o2(x,x),x)) true 70103 70103 0.5266 1 0.5266 0.05091 0.2256 0.001084 0.997 0.9959 1 3.815 0.0007236 0.0006853 0.03089 0.02719 1 0.00004432 0.00008334 0.007111 0.0004549 0.02133 0.6905 0.1132 0.02767 0.001637 1 1 0.002542 0.03267 0.08567 0.04993 0.6416 1.683 json
t14_x5_u2_b8 14 5 2 8 frc(add(min(P,D),R)) 51393 113890829 o1(o2(o2(x,x),x)) true 70111 70111 0.5105 1 0.5105 0.05148 0.2269 0.0009794 0.9959 0.995 1 3.842 0.01848 0.0007285 0.07144 0.9241 1 -0.0004834 0.0388 0.0666 0.0141 0.1188 1.662 0.9377 0.3731 0.7536 1 1 0.0189 0.06157 0.09232 0.3671 1.196 1.793 json
t14_x5_u2_b9 14 5 2 9 frc(add(dot(P,D),R)) 51394 113890830 o1(o2(o2(x,x),x)) true 70119 70119 0.5009 1 0.5009 0.0515 0.2269 0.0004241 0.9984 0.998 1 3.846 0.09985 0.1014 0.3909 -0.007725 1 -0.0002409 0.997 0.7704 0.04845 0.2201 0.5631 1.298 3.908 19.36 1 1 0.1135 0.08691 0.1027 2.205 1.688 1.995 json
t14_x5_u2_b10 14 5 2 10 frc(add(dst(P,D),R)) 51395 113890831 o1(o2(o2(x,x),x)) true 70127 70127 0.5009 1 0.5009 0.05102 0.2259 0.0005895 0.9985 0.9979 1 3.842 0.02466 0.02384 0.1218 0.01696 1 -0.0002349 0.1643 0.1624 0.03366 0.1835 1.506 1.362 0.9505 3.219 1 1 0.04517 0.1121 0.09825 0.8853 2.197 1.926 json
t14_x5_u2_b11 14 5 2 11 frc(sub(add(P,D),R)) 51396 113890832 o1(o2(o2(x,x),x)) true 70135 70135 0.5019 1 0.5019 0.05037 0.2244 0.004123 0.9997 0.9956 1 3.836 0.0363 0.0007475 0.1112 0.9597 1 -0.00008992 0.07858 0.1248 0.02468 0.1571 1.412 0.9399 0.7356 1.56 1 1 0.03408 0.0818 0.0953 0.6766 1.624 1.892 json
t14_x5_u2_b12 14 5 2 12 frc(sub(sub(P,D),R)) 51397 113890833 o1(o2(o2(x,x),x)) true 70143 70143 0.5002 1 0.5002 0.05059 0.2249 0.003425 0.9997 0.9962 1 3.84 0.03625 0.0007444 0.1109 0.9598 1 0.0001478 0.07858 0.1247 0.0247 0.1572 1.418 0.9415 0.7311 1.553 1 1 0.03363 0.08296 0.0945 0.6648 1.64 1.868 json
t14_x5_u2_b13 14 5 2 13 frc(sub(mlt(P,D),R)) 51398 113890834 o1(o2(o2(x,x),x)) true 70151 70151 0.5058 1 0.5058 0.04964 0.2228 0.002822 0.9973 0.9945 1 3.829 0.09992 0.0007369 0.253 0.9854 1 0.00007637 0.2996 0.3933 0.03664 0.1914 0.7565 0.9371 2.028 6.035 1 1 0.0589 0.0604 0.09655 1.187 1.217 1.945 json
t14_x5_u2_b14 14 5 2 14 frc(sub(div(P,D),R)) 51399 113890835 o1(o2(o2(x,x),x)) true 70159 70159 0.5075 1 0.5075 0.05001 0.2236 0.001429 0.999 0.9976 1 3.832 0.07924 0.0007063 0.2127 0.9823 1 0.0009233 0.2183 0.3609 0.03473 0.1863 0.8763 0.9309 1.599 4.364 1 1 0.04972 0.06654 0.09438 0.9943 1.331 1.887 json