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_x18_u1_b25 14 18 1 25 log(mlt(div(R,P),P)) 62300 114415858 o1(o2(o2(x,x),x)) true 157367 157367 -0.9875 0 0.9875 0.007441 0.08626 -1 -0.05896 0.941 1 0.2677 0.0007567 0.0008874 0.003842 -0.0795 1 0.00001706 0.003232 0.005151 0.00163 0.04037 10.51 0.941 0.221 0.4344 1 1 0.001767 0.007619 0.01411 0.2374 1.024 1.897 json
t14_x18_u1_b26 14 18 1 26 log(mlt(pow(R,P),P)) 62301 114415859 o1(o2(o2(x,x),x)) true 157375 157375 -0.9983 0.0007324 0.9994 0.002454 0.04954 -1 1 2 1 0.02195 0.0001602 0.000192 0.0004962 -0.09022 1 0.00001974 0.00048 0.0004759 0.0003519 0.01876 37.81 2 0.1435 0.1956 1 1 0 0 0.001685 0 0 0.6866 json
t14_x18_u1_b27 14 18 1 27 log(mlt(mod(R,P),P)) 62302 114415860 o1(o2(o2(x,x),x)) true 157383 157383 -0.9588 0.0193 0.9828 0.05929 0.2435 -1 1 2 1 0.3625 0.005665 0.007005 0.01009 -0.1057 1 -4.022e-8 0.02598 0.01628 0.01257 0.1121 11.11 2.828 0.2137 0.4381 1 1 0.009747 0.04111 0.1029 0.1644 0.6934 1.736 json
t14_x18_u1_b28 14 18 1 28 log(mlt(lrg(R,P),P)) 62303 114415861 o1(o2(o2(x,x),x)) true 157391 157391 -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_x18_u1_b29 14 18 1 29 log(mlt(eql(R,P),P)) 62304 114415862 o1(o2(o2(x,x),x)) true 157399 157399 -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_x18_u1_b30 14 18 1 30 log(mlt(min(R,P),P)) 62305 114415863 o1(o2(o2(x,x),x)) true 157407 157407 -0.1429 0.4414 0.9743 0.9487 0.974 -1 1 2 1 1.294 0.005425 0.00174 0.009317 0.5143 1 -9.499e-10 0.01353 0.01189 0.00708 0.08414 9.031 2 0.007552 0.01427 1 1 0.006621 0.04469 0.3089 0.006979 0.04711 0.3256 json
t14_x18_u1_b31 14 18 1 31 log(mlt(dot(R,P),P)) 62306 114415864 o1(o2(o2(x,x),x)) true 157415 157415 -0.8766 0.06209 0.9955 0.2255 0.4749 -1 1 2 1 0.4306 0.01856 0.02589 0.02466 -0.1649 1 -0.000002285 0.09197 0.04581 0.04382 0.2093 8.489 2.828 0.1971 0.4078 1 1 0.03924 0.1736 0.3738 0.174 0.77 1.658 json
t14_x18_u1_b32 14 18 1 32 log(mlt(dst(R,P),P)) 62307 114415865 o1(o2(o2(x,x),x)) true 157423 157423 -0.1304 0.4363 0.9952 0.9766 0.9882 -1 1 2 1 1.104 0.01299 0.00002146 0.008077 0.9967 1 2.628e-11 0.02574 0.01434 0.01295 0.1138 14.09 2 0.01333 0.02635 1 1 0.0163 0.07329 0.3286 0.01669 0.07505 0.3365 json
t14_x18_u1_b33 14 18 1 33 log(div(add(R,P),P)) 62308 114415866 o1(o2(o2(x,x),x)) true 157431 157431 -0.1509 0.3867 0.2372 0.137 0.3701 -1 0.6912 1.691 1 3.454 0.009112 0.000566 0.0252 0.883 1 3.925e-7 0.01749 0.01835 0.009044 0.0951 3.774 1.664 0.07067 0.1277 1 1 0.01331 0.06835 0.2216 0.09722 0.4991 1.618 json
t14_x18_u1_b34 14 18 1 34 log(div(sub(R,P),P)) 62309 114415867 o1(o2(o2(x,x),x)) true 157439 157439 -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_x18_u1_b35 14 18 1 35 log(div(mlt(R,P),P)) 62310 114415868 o1(o2(o2(x,x),x)) true 157447 157447 -0.9875 0 0.9875 0.007441 0.08626 -1 -0.05896 0.941 1 0.2677 0.0007567 0.0008874 0.003842 -0.0795 1 0.00001706 0.003232 0.005151 0.00163 0.04037 10.51 0.941 0.221 0.4344 1 1 0.001767 0.007619 0.01411 0.2374 1.024 1.897 json
t14_x18_u1_b36 14 18 1 36 log(div(div(R,P),P)) 62311 114415869 o1(o2(o2(x,x),x)) true 157455 157455 -0.9988 0 0.9988 0.0007128 0.0267 -1 -0.1083 0.8917 1 0.03918 0.0002159 0.00001131 0.0005975 0.9004 1 -5.632e-12 0.0003949 0.0007291 0.0002266 0.01505 25.19 0.8917 0.3187 0.5539 1 1 0.000458 0.001659 0.002597 0.6426 2.328 3.644 json
t14_x18_u1_b37 14 18 1 37 log(div(pow(R,P),P)) 62312 114415870 o1(o2(o2(x,x),x)) true 157463 157463 -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_x18_u1_b38 14 18 1 38 log(div(mod(R,P),P)) 62313 114415871 o1(o2(o2(x,x),x)) true 157471 157471 -0.999 0 0.999 0.000334 0.01828 -1 -0.4332 0.5668 1 0.04356 0.00006275 0.00008971 0.0005707 -0.1769 1 3.004e-11 0.0003052 0.0007994 0.0001522 0.01234 21.62 0.7908 0.4565 0.9137 1 1 0.0001924 0.0007303 0.0008914 0.576 2.187 2.669 json
t14_x18_u1_b39 14 18 1 39 log(div(lrg(R,P),P)) 62314 114415872 o1(o2(o2(x,x),x)) true 157479 157479 -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_x18_u1_b40 14 18 1 40 log(div(eql(R,P),P)) 62315 114415873 o1(o2(o2(x,x),x)) true 157487 157487 -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_x18_u1_b41 14 18 1 41 log(div(min(R,P),P)) 62316 114415874 o1(o2(o2(x,x),x)) true 157495 157495 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 1.42 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_x18_u1_b42 14 18 1 42 log(div(dot(R,P),P)) 62317 114415875 o1(o2(o2(x,x),x)) true 157503 157503 -0.9606 0.01682 0.9749 0.04505 0.2123 -1 1 2 1 0.463 0.005405 0.006345 0.01325 -0.07998 1 0.00002576 0.02337 0.01913 0.01158 0.1076 8.122 2.635 0.2608 0.5188 1 1 0.01303 0.05394 0.1037 0.2893 1.197 2.303 json
t14_x18_u1_b43 14 18 1 43 log(div(dst(R,P),P)) 62318 114415876 o1(o2(o2(x,x),x)) true 157511 157511 -0.3943 0.3807 0.7399 0.5237 0.7237 -1 1 2 1 2.797 0.01296 0.0001053 0.01354 0.9839 1 0.000003586 0.02576 0.0155 0.01288 0.1135 8.386 2 0.02495 0.04919 1 1 0.01634 0.0694 0.2514 0.0312 0.1325 0.48 json
t14_x18_u1_b44 14 18 1 44 log(pow(add(R,P),P)) 62319 114415877 o1(o2(o2(x,x),x)) true 157519 157519 -0.1388 0.4379 0.9637 0.9342 0.9665 -1 1 2 1 1.539 0.005766 0.001906 0.01111 0.5032 1 -0.000009695 0.0144 0.01327 0.007548 0.08688 7.822 2.243 0.008213 0.01542 1 1 0.01066 0.05947 0.3085 0.01141 0.06366 0.3302 json
t14_x18_u1_b45 14 18 1 45 log(pow(sub(R,P),P)) 62320 114415878 o1(o2(o2(x,x),x)) true 157527 157527 -0.9469 0.01831 0.9606 0.05289 0.23 -1 1 2 1 0.6829 0.005697 0.002071 0.01172 0.4667 1 0.000003124 0.01452 0.01358 0.007635 0.08738 7.454 2 0.1469 0.2745 1 1 0.01058 0.049 0.1116 0.2001 0.9264 2.111 json
t14_x18_u1_b46 14 18 1 46 log(pow(mlt(R,P),P)) 62321 114415879 o1(o2(o2(x,x),x)) true 157535 157535 -0.9557 0.02284 0.9895 0.07242 0.2691 -1 1 2 1 0.3198 0.007822 0.006008 0.01073 0.1312 1 -6.442e-7 0.02748 0.01607 0.01372 0.1171 10.92 2.828 0.191 0.3795 1 1 0.01316 0.06201 0.1411 0.1817 0.8562 1.948 json
t14_x18_u1_b47 14 18 1 47 log(pow(div(R,P),P)) 62322 114415880 o1(o2(o2(x,x),x)) true 157543 157543 -0.9301 0.03516 0.9996 0.1342 0.3663 -1 1 2 1 0.2316 0.0135 0.01079 0.01231 0.1113 1 0 0.05069 0.02465 0.02412 0.1553 12.61 2.828 0.181 0.3778 1 1 0.02609 0.1082 0.2854 0.1944 0.8066 2.127 json
t14_x18_u1_b48 14 18 1 48 log(pow(pow(R,P),P)) 62323 114415881 o1(o2(o2(x,x),x)) true 157551 157551 -0.97 0 0.97 0.02429 0.1559 -1 -0.00001698 1 1 0.3726 0.001883 0.002001 0.006235 -0.03042 1 -1.539e-10 0.007796 0.009394 0.003847 0.06203 9.949 1.414 0.1599 0.3209 1 1 0.004159 0.02097 0.05962 0.1712 0.863 2.454 json
t14_x18_u1_b49 14 18 1 49 log(pow(mod(R,P),P)) 62324 114415882 o1(o2(o2(x,x),x)) true 157559 157559 -0.9405 0.03125 0.9969 0.1106 0.3326 -1 1 2 1 0.2572 0.01236 0.00914 0.01194 0.1497 1 -0.000006977 0.04472 0.02303 0.02134 0.1461 12.23 2.828 0.1944 0.4044 1 1 0.01939 0.08401 0.2 0.1753 0.7596 1.808 json
t14_x18_u1_b50 14 18 1 50 log(pow(lrg(R,P),P)) 62325 114415883 o1(o2(o2(x,x),x)) true 157567 157567 -0.5469 0 0.5469 0.2476 0.4976 -1 0 1 1 0.9937 0.003968 0.001512 0.005452 0.4483 1 0 0.01134 0.01096 0.005451 0.07383 13.54 1.414 0.02213 0.04579 1 1 0.007479 0.02992 0.1086 0.0302 0.1208 0.4385 json
t14_x18_u1_b51 14 18 1 51 log(pow(eql(R,P),P)) 62326 114415884 o1(o2(o2(x,x),x)) true 157575 157575 -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_x18_u1_b52 14 18 1 52 log(pow(min(R,P),P)) 62327 114415885 o1(o2(o2(x,x),x)) true 157583 157583 -0.9999 0 0.9999 0.00001549 0.003936 -1 -0.6022 0.3978 1 0.003459 0.000003249 7.837e-7 0.00002305 0.6113 0 0.00001153 0.000003754 0.00002164 0.000004032 0.002008 87.12 0.2493 0.2604 0.2424 1 1 0 0 0.000006774 0 0 0.4374 json
t14_x18_u1_b53 14 18 1 53 log(pow(dot(R,P),P)) 62328 114415886 o1(o2(o2(x,x),x)) true 157591 157591 -0.9514 0.02724 0.9884 0.08086 0.2844 -1 1 2 1 0.3055 0.009593 0.00921 0.01269 0.02035 1 -0.000001851 0.03827 0.02148 0.01864 0.1365 10.76 2.828 0.2325 0.4733 1 1 0.02015 0.08622 0.187 0.2492 1.066 2.313 json
t14_x18_u1_b54 14 18 1 54 log(pow(dst(R,P),P)) 62329 114415887 o1(o2(o2(x,x),x)) true 157599 157599 -0.008351 0.4975 0.9318 0.918 0.9581 -1 1 2 1 1.845 0.001047 0.00009842 0.009022 0.8281 1 3.695e-7 0.0002226 0.00322 0.001063 0.03261 3.615 0.296 0.001247 0.0002425 1 1 0.002786 0.03148 0.2362 0.003035 0.0343 0.2573 json
t14_x18_u1_b55 14 18 1 55 log(mod(add(R,P),P)) 62330 114415888 o1(o2(o2(x,x),x)) true 157607 157607 -0.4711 0.2551 0.8446 0.5759 0.7589 -1 1 2 1 2.618 0.005017 0.005075 0.04192 -0.005744 1 -0.00002531 0.004682 0.01723 0.008339 0.09132 2.179 0.9414 0.01752 0.008128 1 1 0.01353 0.1428 0.4106 0.0235 0.2479 0.7129 json
t14_x18_u1_b56 14 18 1 56 log(mod(sub(R,P),P)) 62331 114415889 o1(o2(o2(x,x),x)) true 157615 157615 -0.5229 0.2279 0.8416 0.5209 0.7217 -1 1 2 1 2.616 0.005133 0.004042 0.04015 0.1189 1 -0.00001979 0.004052 0.01621 0.007566 0.08698 2.167 0.9076 0.01761 0.007779 1 1 0.01336 0.1372 0.4291 0.02565 0.2634 0.8238 json
t14_x18_u1_b57 14 18 1 57 log(mod(mlt(R,P),P)) 62332 114415890 o1(o2(o2(x,x),x)) true 157623 157623 -0.9588 0.0193 0.9828 0.05929 0.2435 -1 1 2 1 0.3625 0.005665 0.007005 0.01009 -0.1057 1 -4.022e-8 0.02598 0.01628 0.01257 0.1121 11.11 2.828 0.2137 0.4381 1 1 0.009747 0.04111 0.1029 0.1644 0.6934 1.736 json
t14_x18_u1_b58 14 18 1 58 log(mod(div(R,P),P)) 62333 114415891 o1(o2(o2(x,x),x)) true 157631 157631 -0.999 0 0.999 0.000334 0.01828 -1 -0.4332 0.5668 1 0.04356 0.00006275 0.00008971 0.0005707 -0.1769 1 3.004e-11 0.0003052 0.0007994 0.0001522 0.01234 21.62 0.7908 0.4565 0.9137 1 1 0.0001924 0.0007303 0.0008914 0.576 2.187 2.669 json
t14_x18_u1_b59 14 18 1 59 log(mod(pow(R,P),P)) 62334 114415892 o1(o2(o2(x,x),x)) true 157639 157639 -0.9565 0.02312 0.9925 0.07479 0.2735 -1 1 2 1 0.2835 0.008159 0.007584 0.01019 0.03654 1 0.00000783 0.03272 0.01814 0.01565 0.1251 12.27 2.828 0.2105 0.4375 1 1 0.01216 0.04973 0.1021 0.1627 0.6649 1.365 json
t14_x18_u1_b60 14 18 1 60 log(mod(mod(R,P),P)) 62335 114415893 o1(o2(o2(x,x),x)) true 157647 157647 -0.9875 0 0.9875 0.007441 0.08626 -1 -0.05896 0.941 1 0.2677 0.0007567 0.0008874 0.003842 -0.0795 1 0.00001706 0.003232 0.005151 0.00163 0.04037 10.51 0.941 0.221 0.4344 1 1 0.001767 0.007619 0.01411 0.2374 1.024 1.897 json
t14_x18_u1_b61 14 18 1 61 log(mod(lrg(R,P),P)) 62336 114415894 o1(o2(o2(x,x),x)) true 157655 157655 -0.625 0 0.625 0.2344 0.4841 -1 0 1 1 0.9544 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01693 0.03386 1 1 0.005263 0.02105 0.08421 0.02246 0.08982 0.3593 json
t14_x18_u1_b62 14 18 1 62 log(mod(eql(R,P),P)) 62337 114415895 o1(o2(o2(x,x),x)) true 157663 157663 -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_x18_u1_b63 14 18 1 63 log(mod(min(R,P),P)) 62338 114415896 o1(o2(o2(x,x),x)) true 157671 157671 -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_x18_u1_b64 14 18 1 64 log(mod(dot(R,P),P)) 62339 114415897 o1(o2(o2(x,x),x)) true 157679 157679 -0.9746 0.01144 0.989 0.0361 0.19 -1 1 2 1 0.2544 0.004099 0.004381 0.007383 -0.03331 1 0.000007293 0.01751 0.01181 0.00843 0.09182 12.44 2.458 0.2349 0.485 1 1 0.008343 0.03666 0.07374 0.2311 1.016 2.043 json
t14_x18_u1_b65 14 18 1 65 log(mod(dst(R,P),P)) 62340 114415898 o1(o2(o2(x,x),x)) true 157687 157687 0.0236 0.5391 0.6939 0.5934 0.7703 -1 1 2 1 4.095 0.005923 0.005757 0.06096 0.01426 1 5.525e-7 0.004553 0.02287 0.007966 0.08925 1.464 0.9965 0.01968 0.007672 1 1 0.02143 0.2294 0.7743 0.03612 0.3865 1.305 json
t14_x18_u1_b66 14 18 1 66 log(lrg(add(R,P),P)) 62341 114415899 o1(o2(o2(x,x),x)) true 157695 157695 -0.957 0 0.957 0.04112 0.2028 -1 0 1 1 0.2557 0.00422 0.004094 0.008259 0.01515 1 0 0.01738 0.01663 0.008241 0.09078 10.99 1.414 0.2022 0.4228 1 1 0.006357 0.02738 0.06893 0.1546 0.6659 1.676 json
t14_x18_u1_b67 14 18 1 67 log(lrg(sub(R,P),P)) 62342 114415900 o1(o2(o2(x,x),x)) true 157703 157703 -0.5469 0 0.5469 0.2476 0.4976 -1 0 1 1 0.9937 0.003968 0.001512 0.005452 0.4483 1 0 0.01134 0.01096 0.005451 0.07383 13.54 1.414 0.02213 0.04579 1 1 0.007479 0.02992 0.1086 0.0302 0.1208 0.4385 json
t14_x18_u1_b68 14 18 1 68 log(lrg(mlt(R,P),P)) 62343 114415901 o1(o2(o2(x,x),x)) true 157711 157711 -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_x18_u1_b69 14 18 1 69 log(lrg(div(R,P),P)) 62344 114415902 o1(o2(o2(x,x),x)) true 157719 157719 -0.5469 0 0.5469 0.2476 0.4976 -1 0 1 1 0.9937 0.003968 0.001512 0.005452 0.4483 1 0 0.01134 0.01096 0.005451 0.07383 13.54 1.414 0.02213 0.04579 1 1 0.007479 0.02992 0.1086 0.0302 0.1208 0.4385 json
t14_x18_u1_b70 14 18 1 70 log(lrg(pow(R,P),P)) 62345 114415903 o1(o2(o2(x,x),x)) true 157727 157727 -0.4648 0 0.4648 0.2487 0.4987 -1 0 1 1 0.9964 0.005984 0.003905 0.009861 0.2102 1 0 0.02041 0.01978 0.009793 0.09896 10.04 1.414 0.03977 0.08206 1 1 0.01157 0.04821 0.1489 0.0465 0.1939 0.5989 json
t14_x18_u1_b71 14 18 1 71 log(lrg(mod(R,P),P)) 62346 114415904 o1(o2(o2(x,x),x)) true 157735 157735 -0.5 0 0.5 0.25 0.5 -1 0 1 1 1 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01587 0.03175 1 1 0.005263 0.02105 0.08421 0.02105 0.08421 0.3368 json
t14_x18_u1_b72 14 18 1 72 log(lrg(lrg(R,P),P)) 62347 114415905 o1(o2(o2(x,x),x)) true 157743 157743 -0.5469 0 0.5469 0.2476 0.4976 -1 0 1 1 0.9937 0.003968 0.001512 0.005452 0.4483 1 0 0.01134 0.01096 0.005451 0.07383 13.54 1.414 0.02213 0.04579 1 1 0.007479 0.02992 0.1086 0.0302 0.1208 0.4385 json
t14_x18_u1_b73 14 18 1 73 log(lrg(eql(R,P),P)) 62348 114415906 o1(o2(o2(x,x),x)) true 157751 157751 -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_x18_u1_b74 14 18 1 74 log(lrg(min(R,P),P)) 62349 114415907 o1(o2(o2(x,x),x)) true 157759 157759 -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_x18_u1_b75 14 18 1 75 log(lrg(dot(R,P),P)) 62350 114415908 o1(o2(o2(x,x),x)) true 157767 157767 -0.7773 0 0.7773 0.1732 0.4162 -1 0 1 1 0.765 0.006929 0.005921 0.01278 0.07843 1 0 0.02671 0.0257 0.01269 0.1126 8.817 1.414 0.07418 0.1542 1 1 0.01634 0.06537 0.1824 0.09436 0.3774 1.053 json
t14_x18_u1_b76 14 18 1 76 log(lrg(dst(R,P),P)) 62351 114415909 o1(o2(o2(x,x),x)) true 157775 157775 -0.1328 0 0.1328 0.1151 0.3393 -1 0 1 1 0.5651 0.00252 0.003968 0.00646 -0.2233 1 0 0.01342 0.01298 0.006442 0.08026 12.42 1.414 0.05635 0.1165 1 1 0.008587 0.03501 0.1407 0.07458 0.3041 1.222 json
t14_x18_u1_b77 14 18 1 77 log(eql(add(R,P),P)) 62352 114415910 o1(o2(o2(x,x),x)) true 157783 157783 -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_x18_u1_b78 14 18 1 78 log(eql(sub(R,P),P)) 62353 114415911 o1(o2(o2(x,x),x)) true 157791 157791 -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_x18_u1_b79 14 18 1 79 log(eql(mlt(R,P),P)) 62354 114415912 o1(o2(o2(x,x),x)) true 157799 157799 -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_x18_u1_b80 14 18 1 80 log(eql(div(R,P),P)) 62355 114415913 o1(o2(o2(x,x),x)) true 157807 157807 -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_x18_u1_b81 14 18 1 81 log(eql(pow(R,P),P)) 62356 114415914 o1(o2(o2(x,x),x)) true 157815 157815 -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_x18_u1_b82 14 18 1 82 log(eql(mod(R,P),P)) 62357 114415915 o1(o2(o2(x,x),x)) true 157823 157823 -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_x18_u1_b83 14 18 1 83 log(eql(lrg(R,P),P)) 62358 114415916 o1(o2(o2(x,x),x)) true 157831 157831 -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_x18_u1_b84 14 18 1 84 log(eql(eql(R,P),P)) 62359 114415917 o1(o2(o2(x,x),x)) true 157839 157839 -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_x18_u1_b85 14 18 1 85 log(eql(min(R,P),P)) 62360 114415918 o1(o2(o2(x,x),x)) true 157847 157847 -0.5469 0 0.5469 0.2476 0.4976 -1 0 1 1 0.9937 0.003968 0.001512 0.005452 0.4483 1 0 0.01134 0.01096 0.005451 0.07383 13.54 1.414 0.02213 0.04579 1 1 0.007479 0.02992 0.1086 0.0302 0.1208 0.4385 json
t14_x18_u1_b86 14 18 1 86 log(eql(dot(R,P),P)) 62361 114415919 o1(o2(o2(x,x),x)) true 157855 157855 -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_x18_u1_b87 14 18 1 87 log(eql(dst(R,P),P)) 62362 114415920 o1(o2(o2(x,x),x)) true 157863 157863 -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_x18_u1_b88 14 18 1 88 log(min(add(R,P),P)) 62363 114415921 o1(o2(o2(x,x),x)) true 157871 157871 -0.1947 0.4216 0.9404 0.8833 0.9398 -1 1 2 1 1.835 0.003196 0.00008118 0.008757 0.9505 1 -0.000005332 0.005732 0.007604 0.0032 0.05657 6.46 1 0.00371 0.006489 1 1 0.004753 0.03065 0.234 0.005381 0.0347 0.2649 json
t14_x18_u1_b89 14 18 1 89 log(min(sub(R,P),P)) 62364 114415922 o1(o2(o2(x,x),x)) true 157879 157879 -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_x18_u1_b90 14 18 1 90 log(min(mlt(R,P),P)) 62365 114415923 o1(o2(o2(x,x),x)) true 157887 157887 -0.9922 0.003906 1 0.0154 0.1241 -1 1 2 1 0.03867 0.0009452 0.00174 0.00138 -0.296 1 0 0.0056 0.002738 0.002683 0.05179 37.53 2 0.1744 0.3638 1 1 0 0 0.01314 0 0 0.8537 json
t14_x18_u1_b91 14 18 1 91 log(min(div(R,P),P)) 62366 114415924 o1(o2(o2(x,x),x)) true 157895 157895 -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_x18_u1_b92 14 18 1 92 log(min(pow(R,P),P)) 62367 114415925 o1(o2(o2(x,x),x)) true 157903 157903 -0.5897 0.2014 0.9052 0.5268 0.7258 -1 1 2 1 1.992 0.0108 0.01181 0.05092 -0.04489 1 0.00007511 0.01578 0.03248 0.02001 0.1414 2.778 1.386 0.04293 0.02995 1 1 0.02962 0.2576 0.6296 0.05622 0.4891 1.195 json
t14_x18_u1_b93 14 18 1 93 log(min(mod(R,P),P)) 62368 114415926 o1(o2(o2(x,x),x)) true 157911 157911 -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_x18_u1_b94 14 18 1 94 log(min(lrg(R,P),P)) 62369 114415927 o1(o2(o2(x,x),x)) true 157919 157919 -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_x18_u1_b95 14 18 1 95 log(min(eql(R,P),P)) 62370 114415928 o1(o2(o2(x,x),x)) true 157927 157927 -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_x18_u1_b96 14 18 1 96 log(min(min(R,P),P)) 62371 114415929 o1(o2(o2(x,x),x)) true 157935 157935 -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_x18_u1_b97 14 18 1 97 log(min(dot(R,P),P)) 62372 114415930 o1(o2(o2(x,x),x)) true 157943 157943 -0.9704 0.01434 0.9909 0.04692 0.2166 -1 1 2 1 0.2425 0.005183 0.006071 0.008639 -0.07887 1 0.000006209 0.02318 0.01406 0.01118 0.1057 12.24 2.458 0.2399 0.494 1 1 0.01198 0.0505 0.1005 0.2553 1.076 2.141 json
t14_x18_u1_b98 14 18 1 98 log(min(dst(R,P),P)) 62373 114415931 o1(o2(o2(x,x),x)) true 157951 157951 -0.1768 0.4349 0.9494 0.901 0.9492 -1 1 2 1 1.708 0.00399 0.000008011 0.008065 0.996 1 1.232e-9 0.007501 0.008709 0.003932 0.06271 7.776 1 0.004438 0.008325 1 1 0.005561 0.03221 0.246 0.006172 0.03575 0.2731 json
t14_x18_u1_b99 14 18 1 99 log(dot(add(R,P),P)) 62374 114415932 o1(o2(o2(x,x),x)) true 157959 157959 0.9577 0.9819 0.9903 0.06999 0.2646 -1 1 2 1 0.3256 0.001893 0.002124 0.004809 -0.05736 1 5.256e-11 0.007734 0.00593 0.003998 0.06323 13.15 2.828 0.0574 0.1105 1 1 0.007614 0.04285 0.2233 0.1088 0.6122 3.19 json
t14_x18_u1_b100 14 18 1 100 log(dot(sub(R,P),P)) 62375 114415933 o1(o2(o2(x,x),x)) true 157967 157967 -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_x18_u1_b101 14 18 1 101 log(dot(mlt(R,P),P)) 62376 114415934 o1(o2(o2(x,x),x)) true 157975 157975 -0.8983 0.05247 0.9941 0.1856 0.4309 -1 1 2 1 0.3818 0.01915 0.01684 0.01935 0.06417 1 -0.000008966 0.07496 0.03755 0.03564 0.1888 9.757 2.828 0.1938 0.4038 1 1 0.04158 0.1696 0.4102 0.224 0.9135 2.209 json
t14_x18_u1_b102 14 18 1 102 log(dot(div(R,P),P)) 62377 114415935 o1(o2(o2(x,x),x)) true 157983 157983 -0.9824 0.007828 0.9852 0.01684 0.1298 -1 0.547 1.547 1 0.243 0.001353 0.002811 0.005618 -0.3502 1 -9.761e-11 0.008293 0.008226 0.004132 0.06428 11.44 1.856 0.2472 0.4924 1 1 0.007222 0.02938 0.05269 0.4288 1.744 3.128 json
t14_x18_u1_b103 14 18 1 103 log(dot(pow(R,P),P)) 62378 114415936 o1(o2(o2(x,x),x)) true 157991 157991 -0.997 0.0008545 0.9973 0.002722 0.05217 -1 0.3607 1.361 1 0.05412 0.0006741 0.0002301 0.001303 0.491 1 -3.754e-12 0.001757 0.001763 0.0009019 0.03003 23.04 1.361 0.3322 0.6456 1 1 0.001724 0.006246 0.009908 0.6335 2.294 3.64 json
t14_x18_u1_b104 14 18 1 104 log(dot(mod(R,P),P)) 62379 114415937 o1(o2(o2(x,x),x)) true 157999 157999 -0.9561 0.02231 0.9944 0.07845 0.2801 -1 1 2 1 0.2546 0.009108 0.009984 0.01229 -0.04588 1 -0.000002428 0.03945 0.02095 0.01893 0.1376 11.2 2.828 0.2433 0.5028 1 1 0.02054 0.08677 0.1727 0.2618 1.106 2.201 json
t14_x18_u1_b105 14 18 1 105 log(dot(lrg(R,P),P)) 62380 114415938 o1(o2(o2(x,x),x)) true 158007 158007 -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_x18_u1_b106 14 18 1 106 log(dot(eql(R,P),P)) 62381 114415939 o1(o2(o2(x,x),x)) true 158015 158015 -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_x18_u1_b107 14 18 1 107 log(dot(min(R,P),P)) 62382 114415940 o1(o2(o2(x,x),x)) true 158023 158023 0.2836 0.6454 0.977 0.8886 0.9427 -1 1 2 1 1.383 0.01455 0.01434 0.02214 0.00702 1 -0.000006571 0.05778 0.03372 0.0284 0.1685 7.613 2.828 0.03251 0.06502 1 1 0.0398 0.1804 0.6073 0.04478 0.203 0.6834 json
t14_x18_u1_b108 14 18 1 108 log(dot(dot(R,P),P)) 62383 114415941 o1(o2(o2(x,x),x)) true 158031 158031 -0.8739 0.06372 0.992 0.2258 0.4752 -1 1 2 1 0.4861 0.02049 0.02288 0.02457 -0.05503 1 9.386e-11 0.08963 0.04514 0.04274 0.2067 8.415 2.828 0.1921 0.397 1 1 0.0411 0.176 0.4227 0.1821 0.7794 1.872 json
t14_x18_u1_b109 14 18 1 109 log(dot(dst(R,P),P)) 62384 114415942 o1(o2(o2(x,x),x)) true 158039 158039 -0.1825 0.41 0.9972 0.9629 0.9813 -1 1 2 1 1.034 0.01307 0.01306 0.01369 0.0003056 1 6.007e-11 0.05527 0.02698 0.02595 0.1611 11.76 2.828 0.02713 0.0574 1 1 0.03389 0.1442 0.6286 0.0352 0.1498 0.6528 json
t14_x18_u1_b110 14 18 1 110 log(dst(add(R,P),P)) 62385 114415943 o1(o2(o2(x,x),x)) true 158047 158047 -0.07705 0.4672 0.2057 0.07215 0.2686 -1 0.4433 1.443 1 3.97 0.0008163 0.001119 0.03282 -0.1565 1 0.00001519 0.0001677 0.007841 0.0008586 0.0293 0.8929 0.2795 0.02683 0.002324 1 1 0.003218 0.04136 0.1159 0.0446 0.5732 1.607 json
t14_x18_u1_b111 14 18 1 111 log(dst(sub(R,P),P)) 62386 114415944 o1(o2(o2(x,x),x)) true 158055 158055 0.9916 1 0.9916 0.00374 0.06116 0.1753 1 0.8247 1 0.2428 0.00003697 0.00003928 0.001245 -0.03037 0 -5.632e-11 0.00001689 0.0004788 0.00007466 0.008641 6.938 0.1045 0.02039 0.004515 1 1 0.0002558 0.002778 0.01272 0.06841 0.7428 3.4 json
t14_x18_u1_b112 14 18 1 112 log(dst(mlt(R,P),P)) 62387 114415945 o1(o2(o2(x,x),x)) true 158063 158063 0.847 0.9443 0.9162 0.168 0.4099 -1 1 2 1 1.604 0.003046 0.002875 0.02448 0.02876 1 -0.000039 0.004776 0.01278 0.005326 0.07298 2.98 1.292 0.03524 0.02842 1 1 0.01116 0.102 0.3353 0.06644 0.607 1.995 json
t14_x18_u1_b113 14 18 1 113 log(dst(div(R,P),P)) 62388 114415946 o1(o2(o2(x,x),x)) true 158071 158071 -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_x18_u1_b114 14 18 1 114 log(dst(pow(R,P),P)) 62389 114415947 o1(o2(o2(x,x),x)) true 158079 158079 -0.9785 0.01172 0.998 0.03958 0.1989 -1 1 2 1 0.1223 0.005165 0.003447 0.004755 0.1995 1 0 0.01807 0.009251 0.008582 0.09264 19.48 2.828 0.2176 0.4565 1 1 0.01517 0.06131 0.1435 0.3832 1.549 3.627 json
t14_x18_u1_b115 14 18 1 115 log(dst(mod(R,P),P)) 62390 114415948 o1(o2(o2(x,x),x)) true 158087 158087 0.5262 0.765 0.9953 0.715 0.8456 -1 1 2 1 0.9679 0.02593 0.0265 0.02771 -0.01087 1 -6.045e-10 0.105 0.05387 0.05164 0.2272 8.202 2.692 0.07332 0.1468 1 1 0.06487 0.2643 1.094 0.09073 0.3697 1.53 json
t14_x18_u1_b116 14 18 1 116 log(dst(lrg(R,P),P)) 62391 114415949 o1(o2(o2(x,x),x)) true 158095 158095 0.9853 1 0.9853 0.007246 0.08512 0.0002607 1 0.9997 1 0.396 0.00004279 0.00003477 0.001659 0.1033 0 6.758e-11 0.000007158 0.0004628 0.00007485 0.008652 5.215 0.1047 0.0107 0.0009879 1 1 0.0002675 0.003385 0.02163 0.03692 0.4672 2.985 json
t14_x18_u1_b117 14 18 1 117 log(dst(eql(R,P),P)) 62392 114415950 o1(o2(o2(x,x),x)) true 158103 158103 0.944 0.9844 0.9752 0.07239 0.2691 -1 1 2 1 0.7009 0.001465 0.001465 0.005009 -7.548e-7 1 4.881e-11 0.005843 0.005405 0.002907 0.05392 10.76 1.904 0.04048 0.08071 1 1 0.005375 0.02798 0.1918 0.07424 0.3866 2.649 json
t14_x18_u1_b118 14 18 1 118 log(dst(min(R,P),P)) 62393 114415951 o1(o2(o2(x,x),x)) true 158111 158111 0.3285 0.6779 0.9162 0.7789 0.8826 -1 1 2 1 2.194 0.002595 0.002629 0.01552 -0.006427 1 0.00001207 0.008304 0.01087 0.004985 0.07061 4.549 1.705 0.006707 0.01066 1 1 0.009321 0.06276 0.3014 0.01197 0.08058 0.387 json
t14_x18_u1_b119 14 18 1 119 log(dst(dot(R,P),P)) 62394 114415952 o1(o2(o2(x,x),x)) true 158119 158119 0.9504 0.9835 0.9819 0.06927 0.2632 -1 1 2 1 0.5904 0.002205 0.001862 0.005217 0.08436 1 -4.318e-11 0.008195 0.006356 0.004041 0.06357 12.18 2.044 0.0587 0.1183 1 1 0.007399 0.03616 0.2025 0.1068 0.522 2.924 json
t14_x18_u1_b120 14 18 1 120 log(dst(dst(R,P),P)) 62395 114415953 o1(o2(o2(x,x),x)) true 158127 158127 0.989 0.9985 0.9893 0.006107 0.07815 -0.1901 1 1.19 1 0.3076 0.00006255 0.0000567 0.00163 0.04903 1 8.26e-11 0.00001968 0.0005799 0.0001167 0.0108 6.628 0.1623 0.01953 0.003222 1 1 0.0004055 0.004756 0.02061 0.0664 0.7787 3.376 json
t14_x18_u2_b0 14 18 2 0 frc(add(add(R,P),P)) 62396 114416034 o1(o2(o2(x,x),x)) true 158135 158135 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_x18_u2_b1 14 18 2 1 frc(add(sub(R,P),P)) 62397 114416035 o1(o2(o2(x,x),x)) true 158143 158143 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_x18_u2_b2 14 18 2 2 frc(add(mlt(R,P),P)) 62398 114416036 o1(o2(o2(x,x),x)) true 158151 158151 0.4737 0.9978 0.4737 0.06137 0.2477 9.693e-7 0.9979 0.9979 1 3.912 0.0009298 0.0007748 0.03371 0.09094 1 6.657e-7 0.0001001 0.007806 0.0005681 0.02384 0.707 0.1165 0.02778 0.001631 1 1 0.003621 0.04664 0.1189 0.059 0.76 1.938 json
t14_x18_u2_b3 14 18 2 3 frc(add(div(R,P),P)) 62399 114416037 o1(o2(o2(x,x),x)) true 158159 158159 0.3386 0.875 0.5886 0.3318 0.576 -1 0.9995 1.999 1 3.996 0.01976 0.001227 0.04676 0.8831 1 0.00002929 0.03775 0.03231 0.01881 0.1371 2.933 1.997 0.06327 0.1138 1 1 0.02828 0.1431 0.5053 0.08524 0.4314 1.523 json