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_x19_u3_b36 14 19 3 36 flr(div(div(R,P),D)) 63400 114456672 o1(o2(o2(x,x),x)) true 166167 166167 -0.4416 0.1503 0.674 0.3952 0.6287 -1 1 2 1 3.708 0.2254 0.01044 0.2007 0.9115 1 0.0002337 0.5319 0.3088 0.1955 0.4422 2.203 2.828 0.5967 1.346 1 1 0.2291 0.6199 0.7481 0.5797 1.568 1.893 json
t14_x19_u3_b37 14 19 3 37 flr(div(pow(R,P),D)) 63401 114456673 o1(o2(o2(x,x),x)) true 166175 166175 -0.9266 0.03615 0.9955 0.1355 0.3681 -1 1 2 1 0.3164 0.02802 0.01268 0.02384 0.3769 1 0.0000177 0.08421 0.04318 0.04013 0.2003 8.405 2.828 0.3003 0.6215 1 1 0.04636 0.1876 0.3369 0.3422 1.384 2.486 json
t14_x19_u3_b38 14 19 3 38 flr(div(mod(R,P),D)) 63402 114456674 o1(o2(o2(x,x),x)) true 166183 166183 -0.2779 0.3426 0.8305 0.7002 0.8368 -1 1 2 1 2.999 0.2449 0.02774 0.2216 0.7965 1 0.0001188 0.5613 0.3426 0.2235 0.4728 2.133 2.828 0.3894 0.8015 1 1 0.2817 1.093 1.211 0.4022 1.561 1.729 json
t14_x19_u3_b39 14 19 3 39 flr(div(lrg(R,P),D)) 63403 114456675 o1(o2(o2(x,x),x)) true 166191 166191 0.004468 0.3015 0.4739 0.4582 0.6769 -1 1 2 1 1.968 0.1762 0.0004336 0.1253 0.9951 1 0.000001608 0.3115 0.1997 0.1609 0.4011 3.201 2.037 0.3855 0.6797 1 1 0.1948 0.8498 0.1152 0.4252 1.854 0.2514 json
t14_x19_u3_b40 14 19 3 40 flr(div(eql(R,P),D)) 63404 114456676 o1(o2(o2(x,x),x)) true 166199 166199 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_x19_u3_b41 14 19 3 41 flr(div(min(R,P),D)) 63405 114456677 o1(o2(o2(x,x),x)) true 166207 166207 -0.1655 0.4055 0.866 0.7994 0.8941 -1 1 2 1 2.644 0.3135 0.01579 0.2433 0.9041 1 0.00006861 0.621 0.3813 0.2701 0.5198 2.136 2.828 0.4119 0.7769 1 1 0.3579 1.431 0.718 0.4478 1.79 0.8981 json
t14_x19_u3_b42 14 19 3 42 flr(div(dot(R,P),D)) 63406 114456678 o1(o2(o2(x,x),x)) true 166215 166215 -0.04588 0.4757 0.9505 0.9325 0.9657 -1 1 2 1 1.791 0.3191 0.07896 0.2429 0.6033 1 0.0002095 0.8281 0.4256 0.339 0.5822 2.397 2.828 0.4269 0.888 1 1 0.4191 1.687 1.789 0.4495 1.809 1.919 json
t14_x19_u3_b43 14 19 3 43 flr(div(dst(R,P),D)) 63407 114456679 o1(o2(o2(x,x),x)) true 166223 166223 -0.01267 0.4941 0.9883 0.985 0.9925 -1 1 2 1 1.237 0.4611 0.0002383 0.2462 0.999 1 -0.000001028 0.8934 0.4685 0.4007 0.633 2.571 2.019 0.4684 0.907 1 1 0.4698 1.92 0.03933 0.4769 1.949 0.03992 json
t14_x19_u3_b44 14 19 3 44 flr(pow(add(R,P),D)) 63408 114456680 o1(o2(o2(x,x),x)) true 166231 166231 -0.3 0.4425 0.7937 0.657 0.8105 -1 1 2 1 2.562 0.03919 0.002694 0.06947 0.8713 1 -0.0004026 0.08143 0.09345 0.03707 0.1925 2.772 2.236 0.06375 0.1239 1 1 0.04644 0.1523 0.2267 0.07068 0.2318 0.345 json
t14_x19_u3_b45 14 19 3 45 flr(pow(sub(R,P),D)) 63409 114456681 o1(o2(o2(x,x),x)) true 166239 166239 -0.2497 0.4531 0.844 0.7386 0.8594 -1 1 2 1 2.477 0.0411 0.00496 0.07145 0.7846 1 0.00009391 0.09056 0.1005 0.04096 0.2024 2.833 2.828 0.06236 0.1226 1 1 0.04919 0.1592 0.3453 0.0666 0.2156 0.4675 json
t14_x19_u3_b46 14 19 3 46 flr(pow(mlt(R,P),D)) 63410 114456682 o1(o2(o2(x,x),x)) true 166247 166247 -0.9059 0.05826 0.9769 0.1511 0.3888 -1 1 2 1 0.5101 0.0184 0.01165 0.02058 0.2249 1 -0.000008557 0.06226 0.03645 0.02961 0.1721 8.36 2.828 0.1988 0.4119 1 1 0.03011 0.1277 0.3393 0.1992 0.845 2.245 json
t14_x19_u3_b47 14 19 3 47 flr(pow(div(R,P),D)) 63411 114456683 o1(o2(o2(x,x),x)) true 166255 166255 -0.9345 0.03906 0.9874 0.111 0.3332 -1 1 2 1 0.3588 0.009957 0.008908 0.01414 0.0556 1 0.000005796 0.03865 0.02461 0.01867 0.1366 9.661 2.828 0.1699 0.3481 1 1 0.01949 0.08556 0.2189 0.1755 0.7705 1.972 json
t14_x19_u3_b48 14 19 3 48 flr(pow(pow(R,P),D)) 63412 114456684 o1(o2(o2(x,x),x)) true 166263 166263 -0.8595 0.07422 0.9921 0.2513 0.5013 -1 1 2 1 0.4841 0.02226 0.02149 0.025 0.01764 1 0.000003713 0.09004 0.04729 0.04314 0.2077 8.307 2.828 0.1741 0.3583 1 1 0.04392 0.1841 0.5865 0.1748 0.7326 2.334 json
t14_x19_u3_b49 14 19 3 49 flr(pow(mod(R,P),D)) 63413 114456685 o1(o2(o2(x,x),x)) true 166271 166271 -0.9461 0.03516 0.9836 0.08487 0.2913 -1 1 2 1 0.3419 0.009922 0.007521 0.01263 0.1376 1 -0.00001234 0.03621 0.02177 0.01729 0.1315 10.42 2.828 0.2055 0.4266 1 1 0.01558 0.06401 0.1529 0.1835 0.7542 1.801 json
t14_x19_u3_b50 14 19 3 50 flr(pow(lrg(R,P),D)) 63414 114456686 o1(o2(o2(x,x),x)) true 166279 166279 -0.07031 0.4648 1 0.9948 0.9974 -1 1 2 1 0.9964 0.01587 0.005039 0.01042 0.5181 1 0 0.04308 0.02091 0.02081 0.1443 13.85 2.828 0.02102 0.04331 1 1 0.02992 0.1197 0.4494 0.03007 0.1203 0.4518 json
t14_x19_u3_b51 14 19 3 51 flr(pow(eql(R,P),D)) 63415 114456687 o1(o2(o2(x,x),x)) true 166287 166287 -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_x19_u3_b52 14 19 3 52 flr(pow(min(R,P),D)) 63416 114456688 o1(o2(o2(x,x),x)) true 166295 166295 -0.9883 0.007813 0.9961 0.01854 0.1362 -1 0.9997 2 1 0.09252 0.001557 0.002159 0.002847 -0.1623 1 0.000005704 0.007731 0.004879 0.003708 0.0609 21.39 2.828 0.2004 0.4169 1 1 0.00053 0.00371 0.01607 0.02858 0.2001 0.8669 json
t14_x19_u3_b53 14 19 3 53 flr(pow(dot(R,P),D)) 63417 114456689 o1(o2(o2(x,x),x)) true 166303 166303 -0.9353 0.03477 0.9787 0.1011 0.3179 -1 1 2 1 0.3833 0.01137 0.01027 0.01514 0.05069 1 -0.000007937 0.04538 0.0275 0.02142 0.1463 9.669 2.828 0.2141 0.449 1 1 0.02186 0.09628 0.2538 0.2163 0.9527 2.511 json
t14_x19_u3_b54 14 19 3 54 flr(pow(dst(R,P),D)) 63418 114456690 o1(o2(o2(x,x),x)) true 166311 166311 0.6571 0.9992 0.6571 0.1357 0.3684 8.471e-8 1 1 1 3.225 0.07282 0.0001923 0.1469 0.9947 1 -0.0003805 0.1377 0.1967 0.05142 0.2268 1.543 0.9997 0.5381 1.015 1 1 0.0758 0.1961 0.03919 0.5586 1.445 0.2889 json
t14_x19_u3_b55 14 19 3 55 flr(mod(add(R,P),D)) 63419 114456691 o1(o2(o2(x,x),x)) true 166319 166319 -0.5039 0 0.5039 0.2412 0.4911 -1 0 1 1 1.527 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_x19_u3_b56 14 19 3 56 flr(mod(sub(R,P),D)) 63420 114456692 o1(o2(o2(x,x),x)) true 166327 166327 -0.5039 0 0.5039 0.2412 0.4911 -1 0 1 1 1.527 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_x19_u3_b57 14 19 3 57 flr(mod(mlt(R,P),D)) 63421 114456693 o1(o2(o2(x,x),x)) true 166335 166335 -0.4941 0 0.4941 0.1569 0.3961 -1 0 1 1 3.605 0.001946 0.002332 0.05014 -0.09022 1 -0.00003637 0.0002504 0.01218 0.001764 0.042 0.8377 0.1169 0.02726 0.001596 1 1 0.00831 0.107 0.2923 0.05296 0.6821 1.863 json
t14_x19_u3_b58 14 19 3 58 flr(mod(div(R,P),D)) 63422 114456694 o1(o2(o2(x,x),x)) true 166343 166343 -0.5898 0 0.5898 0.1582 0.3977 -1 0 1 1 3.342 0.005388 0.002174 0.04902 0.425 1 -0.00003637 0.007749 0.0193 0.00516 0.07183 1.465 1 0.0478 0.04899 1 1 0.01195 0.109 0.2886 0.07556 0.6893 1.825 json
t14_x19_u3_b59 14 19 3 59 flr(mod(pow(R,P),D)) 63423 114456695 o1(o2(o2(x,x),x)) true 166351 166351 -0.9261 0 0.9261 0.06828 0.2613 -1 0 1 1 0.3922 0.006519 0.006063 0.01271 0.03626 1 0 0.02648 0.0255 0.01243 0.1115 8.77 1.414 0.1843 0.3878 1 1 0.01178 0.04863 0.1607 0.1725 0.7123 2.354 json
t14_x19_u3_b60 14 19 3 60 flr(mod(mod(R,P),D)) 63424 114456696 o1(o2(o2(x,x),x)) true 166359 166359 -0.582 0 0.582 0.1596 0.3995 -1 0 1 1 3.341 0.005954 0.002174 0.04959 0.465 1 -6.958e-7 0.008895 0.02044 0.005671 0.07531 1.519 1 0.05094 0.05574 1 1 0.01239 0.1095 0.2784 0.07763 0.6861 1.745 json
t14_x19_u3_b61 14 19 3 61 flr(mod(lrg(R,P),D)) 63425 114456697 o1(o2(o2(x,x),x)) true 166367 166367 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_x19_u3_b62 14 19 3 62 flr(mod(eql(R,P),D)) 63426 114456698 o1(o2(o2(x,x),x)) true 166375 166375 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_x19_u3_b63 14 19 3 63 flr(mod(min(R,P),D)) 63427 114456699 o1(o2(o2(x,x),x)) true 166383 166383 -0.6916 0 0.6916 0.1577 0.3971 -1 0 1 1 2.602 0.07165 0.001316 0.1005 0.9639 1 -0.00002995 0.1714 0.1491 0.06285 0.2507 2.495 0.9997 0.4627 1.087 1 1 0.05736 0.1269 0.1837 0.3637 0.805 1.165 json
t14_x19_u3_b64 14 19 3 64 flr(mod(dot(R,P),D)) 63428 114456700 o1(o2(o2(x,x),x)) true 166391 166391 -0.5352 0 0.5352 0.1553 0.3941 -1 0 1 1 3.537 0.001939 0.002426 0.05086 -0.1115 1 -0.00005134 0.0002503 0.0123 0.001779 0.04218 0.8293 0.1169 0.02811 0.001612 1 1 0.008695 0.1123 0.3062 0.05598 0.7228 1.972 json
t14_x19_u3_b65 14 19 3 65 flr(mod(dst(R,P),D)) 63429 114456701 o1(o2(o2(x,x),x)) true 166399 166399 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_x19_u3_b66 14 19 3 66 flr(lrg(add(R,P),D)) 63430 114456702 o1(o2(o2(x,x),x)) true 166407 166407 0.5003 0.5816 0.5003 0.2343 0.4841 0 1 1 1 1.671 0.002233 0.0001593 0.01149 0.8669 1 -0.000009138 0.003929 0.008823 0.00226 0.04754 4.138 0.97 0.01021 0.01677 1 1 0.003183 0.02133 0.08786 0.01358 0.09102 0.375 json
t14_x19_u3_b67 14 19 3 67 flr(lrg(sub(R,P),D)) 63431 114456703 o1(o2(o2(x,x),x)) true 166415 166415 0.5017 0.5461 0.5017 0.2404 0.4904 0 1 1 1 1.441 0.002564 0.000168 0.008601 0.877 1 -0.000009608 0.004735 0.008797 0.002659 0.05157 5.995 0.9997 0.01136 0.01969 1 1 0.003586 0.02271 0.09229 0.01492 0.09446 0.3838 json
t14_x19_u3_b68 14 19 3 68 flr(lrg(mlt(R,P),D)) 63432 114456704 o1(o2(o2(x,x),x)) true 166423 166423 0.4754 0.9186 0.4754 0.1528 0.3909 0 1 1 1 3.441 0.01099 0.002231 0.06338 0.6627 1 -0.00002577 0.01831 0.03708 0.009208 0.09596 1.514 0.9997 0.08656 0.1198 1 1 0.01993 0.134 0.2798 0.1305 0.8772 1.831 json
t14_x19_u3_b69 14 19 3 69 flr(lrg(div(R,P),D)) 63433 114456705 o1(o2(o2(x,x),x)) true 166431 166431 0.4936 0.9614 0.4936 0.1349 0.3673 0 1 1 1 3.562 0.04113 0.001115 0.1093 0.9472 1 -0.0005127 0.07533 0.1076 0.03028 0.174 1.592 0.9997 0.3131 0.5584 1 1 0.0447 0.1865 0.1947 0.3314 1.383 1.443 json
t14_x19_u3_b70 14 19 3 70 flr(lrg(pow(R,P),D)) 63434 114456706 o1(o2(o2(x,x),x)) true 166439 166439 0.9434 1 0.9434 0.02992 0.173 0.000291 1 0.9997 1 1.078 0.00712 0.000407 0.02163 0.8918 1 0.00005771 0.01377 0.02123 0.007057 0.08401 3.884 0.9997 0.2516 0.4602 1 1 0.007225 0.0312 0.04076 0.2415 1.043 1.362 json
t14_x19_u3_b71 14 19 3 71 flr(lrg(mod(R,P),D)) 63435 114456707 o1(o2(o2(x,x),x)) true 166447 166447 0.535 0.9395 0.535 0.15 0.3873 0 1 1 1 3.462 0.01948 0.002026 0.0774 0.8116 1 0.00001683 0.03653 0.06716 0.01552 0.1246 1.609 0.9997 0.1434 0.2434 1 1 0.02359 0.1355 0.2699 0.1573 0.9029 1.799 json
t14_x19_u3_b72 14 19 3 72 flr(lrg(lrg(R,P),D)) 63436 114456708 o1(o2(o2(x,x),x)) true 166455 166455 0.7637 1 0.7637 0.1283 0.3582 0.000291 1 0.9997 1 2.277 0.03244 0.00005267 0.0604 0.9968 1 0.00008699 0.06047 0.06697 0.02885 0.1699 2.812 0.9997 0.2533 0.4714 1 1 0.03637 0.1279 0.04032 0.2835 0.9974 0.3144 json
t14_x19_u3_b73 14 19 3 73 flr(lrg(eql(R,P),D)) 63437 114456709 o1(o2(o2(x,x),x)) true 166463 166463 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x19_u3_b74 14 19 3 74 flr(lrg(min(R,P),D)) 63438 114456710 o1(o2(o2(x,x),x)) true 166471 166471 0.2469 0.5142 0.2469 0.1272 0.3567 0 1 1 1 2.493 0.01188 0.001085 0.04609 0.8326 1 0.00003272 0.0221 0.03998 0.01085 0.1041 2.26 0.9997 0.1019 0.1737 1 1 0.01476 0.08296 0.1609 0.116 0.6521 1.265 json
t14_x19_u3_b75 14 19 3 75 flr(lrg(dot(R,P),D)) 63439 114456711 o1(o2(o2(x,x),x)) true 166479 166479 0.4573 0.8845 0.4573 0.1534 0.3916 0 1 1 1 3.402 0.007365 0.002418 0.05891 0.5056 1 -0.00004818 0.01158 0.02889 0.006315 0.07947 1.349 0.9997 0.06378 0.07552 1 1 0.01626 0.1298 0.2998 0.106 0.8464 1.955 json
t14_x19_u3_b76 14 19 3 76 flr(lrg(dst(R,P),D)) 63440 114456712 o1(o2(o2(x,x),x)) true 166487 166487 0.9998 1 0.9998 0.00003538 0.005948 0.6718 1 0.3282 1 0.01396 0.00002646 5.189e-7 0.0001886 0.9615 0 -3.004e-11 0.00005989 0.0002442 0.00002693 0.005189 27.52 0.3282 0.7625 1.693 1 1 0.00004291 0.00008782 0.0001286 1.213 2.482 3.636 json
t14_x19_u3_b77 14 19 3 77 flr(eql(add(R,P),D)) 63441 114456713 o1(o2(o2(x,x),x)) true 166495 166495 0.000082 0.0002441 0.000082 0.00004315 0.006569 0 0.6715 0.6715 1 0.003091 0.00006086 6.316e-7 0.000129 0.9795 0 2.395e-7 0.0001845 0.0002541 0.00006148 0.007841 60.78 0.6519 1.425 4.276 1 1 0 0 0.00003293 0 0 0.7631 json
t14_x19_u3_b78 14 19 3 78 flr(eql(sub(R,P),D)) 63442 114456714 o1(o2(o2(x,x),x)) true 166503 166503 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_x19_u3_b79 14 19 3 79 flr(eql(mlt(R,P),D)) 63443 114456715 o1(o2(o2(x,x),x)) true 166511 166511 0.00004008 0.0002289 0.00004008 0.00001031 0.00321 0 0.3282 0.3282 1 0.002722 0.00001454 1.509e-7 0.00006305 0.9795 0 1.17e-7 0.00004407 0.0001242 0.00001469 0.003832 60.78 0.3186 1.425 4.276 1 1 0 0 0.000007865 0 0 0.7631 json
t14_x19_u3_b80 14 19 3 80 flr(eql(div(R,P),D)) 63444 114456716 o1(o2(o2(x,x),x)) true 166519 166519 0.0002825 0.0007172 0.0002825 0.0001987 0.0141 0 0.9926 0.9926 1 0.008861 0.0004038 0.000002912 0.0005681 0.9857 1 1.17e-7 0.001223 0.001125 0.0004061 0.02015 35.48 0.9926 2.046 6.153 1 1 0 0 0.000007865 0 0 0.03957 json
t14_x19_u3_b81 14 19 3 81 flr(eql(pow(R,P),D)) 63445 114456717 o1(o2(o2(x,x),x)) true 166527 166527 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_x19_u3_b82 14 19 3 82 flr(eql(mod(R,P),D)) 63446 114456718 o1(o2(o2(x,x),x)) true 166535 166535 0.00004008 0.0002289 0.00004008 0.00001031 0.00321 0 0.3282 0.3282 1 0.002722 0.00001454 1.509e-7 0.00006305 0.9795 0 1.17e-7 0.00004407 0.0001242 0.00001469 0.003832 60.78 0.3186 1.425 4.276 1 1 0 0 0.000007865 0 0 0.7631 json
t14_x19_u3_b83 14 19 3 83 flr(eql(lrg(R,P),D)) 63447 114456719 o1(o2(o2(x,x),x)) true 166543 166543 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_x19_u3_b84 14 19 3 84 flr(eql(eql(R,P),D)) 63448 114456720 o1(o2(o2(x,x),x)) true 166551 166551 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_x19_u3_b85 14 19 3 85 flr(eql(min(R,P),D)) 63449 114456721 o1(o2(o2(x,x),x)) true 166559 166559 0.00004008 0.0002289 0.00004008 0.00001031 0.00321 0 0.3282 0.3282 1 0.002722 0.00001454 1.509e-7 0.00006305 0.9795 0 1.17e-7 0.00004407 0.0001242 0.00001469 0.003832 60.78 0.3186 1.425 4.276 1 1 0 0 0.000007865 0 0 0.7631 json
t14_x19_u3_b86 14 19 3 86 flr(eql(dot(R,P),D)) 63450 114456722 o1(o2(o2(x,x),x)) true 166567 166567 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_x19_u3_b87 14 19 3 87 flr(eql(dst(R,P),D)) 63451 114456723 o1(o2(o2(x,x),x)) true 166575 166575 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_x19_u3_b88 14 19 3 88 flr(min(add(R,P),D)) 63452 114456724 o1(o2(o2(x,x),x)) true 166583 166583 -0.7676 0 0.7676 0.1271 0.3566 -1 -0.000291 0.9997 1 2.252 0.03196 0.00005267 0.05952 0.9967 1 -0.0000927 0.05958 0.06598 0.02847 0.1687 2.835 0.9997 0.2517 0.4686 1 1 0.03585 0.1262 0.04032 0.282 0.9928 0.3171 json
t14_x19_u3_b89 14 19 3 89 flr(min(sub(R,P),D)) 63453 114456725 o1(o2(o2(x,x),x)) true 166591 166591 -0.7388 0 0.7388 0.136 0.3688 -1 -0.000291 0.9997 1 2.424 0.03237 0.00005792 0.06329 0.9964 1 0.00008913 0.0597 0.06712 0.02843 0.1686 2.664 0.9994 0.2384 0.4389 1 1 0.03434 0.1213 0.03883 0.2524 0.8919 0.2855 json
t14_x19_u3_b90 14 19 3 90 flr(min(mlt(R,P),D)) 63454 114456726 o1(o2(o2(x,x),x)) true 166599 166599 -0.8127 0 0.8127 0.1027 0.3204 -1 -0.000291 0.9997 1 2.162 0.02709 0.002105 0.06338 0.8558 1 0.00006743 0.05101 0.06769 0.02519 0.1587 2.504 0.9997 0.2844 0.4968 1 1 0.03504 0.1449 0.1378 0.3413 1.411 1.342 json
t14_x19_u3_b91 14 19 3 91 flr(min(div(R,P),D)) 63455 114456727 o1(o2(o2(x,x),x)) true 166607 166607 -0.7832 0 0.7832 0.102 0.3194 -1 -0.000291 0.9997 1 2.603 0.02509 0.001972 0.06489 0.8543 1 -0.00003565 0.04894 0.06329 0.02285 0.1511 2.329 0.9997 0.2653 0.4798 1 1 0.03041 0.1367 0.1483 0.2982 1.34 1.454 json
t14_x19_u3_b92 14 19 3 92 flr(min(pow(R,P),D)) 63456 114456728 o1(o2(o2(x,x),x)) true 166615 166615 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x19_u3_b93 14 19 3 93 flr(min(mod(R,P),D)) 63457 114456729 o1(o2(o2(x,x),x)) true 166623 166623 -0.7393 0 0.7393 0.1146 0.3385 -1 -0.000291 0.9997 1 2.886 0.02996 0.001127 0.07421 0.9275 1 0.000001433 0.05581 0.07147 0.02558 0.1599 2.155 0.9997 0.2712 0.487 1 1 0.03428 0.1503 0.1415 0.2991 1.312 1.234 json
t14_x19_u3_b94 14 19 3 94 flr(min(lrg(R,P),D)) 63458 114456730 o1(o2(o2(x,x),x)) true 166631 166631 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x19_u3_b95 14 19 3 95 flr(min(eql(R,P),D)) 63459 114456731 o1(o2(o2(x,x),x)) true 166639 166639 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x19_u3_b96 14 19 3 96 flr(min(min(R,P),D)) 63460 114456732 o1(o2(o2(x,x),x)) true 166647 166647 -0.8867 0 0.8867 0.06403 0.253 -1 -0.000291 0.9997 1 1.639 0.01363 0.0006318 0.03482 0.9114 1 -0.00006203 0.02557 0.03365 0.01305 0.1142 3.281 0.9997 0.2227 0.3993 1 1 0.01644 0.07574 0.0849 0.2567 1.183 1.326 json
t14_x19_u3_b97 14 19 3 97 flr(min(dot(R,P),D)) 63461 114456733 o1(o2(o2(x,x),x)) true 166655 166655 -0.8529 0 0.8529 0.08729 0.2955 -1 -0.000291 0.9997 1 1.779 0.0234 0.002586 0.0554 0.801 1 0.0001729 0.04466 0.06137 0.02292 0.1514 2.733 0.9997 0.2977 0.5116 1 1 0.03367 0.135 0.1339 0.3858 1.547 1.534 json
t14_x19_u3_b98 14 19 3 98 flr(min(dst(R,P),D)) 63462 114456734 o1(o2(o2(x,x),x)) true 166663 166663 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x19_u3_b99 14 19 3 99 flr(dot(add(R,P),D)) 63463 114456735 o1(o2(o2(x,x),x)) true 166671 166671 -0.5876 0.1295 0.6915 0.254 0.5039 -1 1 2 1 3.592 0.07709 0.0777 0.2641 -0.003954 1 0.0008735 0.5644 0.4827 0.08504 0.2916 1.104 1.412 0.6095 2.222 1 1 0.1188 0.3755 0.1194 0.4679 1.479 0.47 json
t14_x19_u3_b100 14 19 3 100 flr(dot(sub(R,P),D)) 63464 114456736 o1(o2(o2(x,x),x)) true 166679 166679 -0.1721 0.3658 0.5453 0.3922 0.6262 -1 1 2 1 4.645 0.09962 0.09907 0.3385 0.002757 1 -0.005118 0.7116 0.6085 0.08412 0.29 0.8568 1.414 0.5066 1.815 1 1 0.1655 0.584 0.1721 0.4219 1.489 0.4388 json
t14_x19_u3_b101 14 19 3 101 flr(dot(mlt(R,P),D)) 63465 114456737 o1(o2(o2(x,x),x)) true 166687 166687 -0.3978 0.2261 0.6096 0.3602 0.6002 -1 1 2 1 4.018 0.05331 0.0536 0.1915 -0.002687 1 -0.000533 0.3101 0.3066 0.07021 0.265 1.383 1.543 0.2968 0.861 1 1 0.1001 0.4488 0.5859 0.2778 1.246 1.627 json
t14_x19_u3_b102 14 19 3 102 flr(dot(div(R,P),D)) 63466 114456738 o1(o2(o2(x,x),x)) true 166695 166695 -0.6084 0.0003662 0.6084 0.1621 0.4026 -1 0.01937 1.019 1 3.202 0.02835 0.02825 0.09738 0.001816 1 -0.00004185 0.1686 0.1434 0.04713 0.2171 2.229 1.414 0.3492 1.04 1 1 0.05618 0.2152 0.2878 0.3466 1.328 1.776 json
t14_x19_u3_b103 14 19 3 103 flr(dot(pow(R,P),D)) 63467 114456739 o1(o2(o2(x,x),x)) true 166703 166703 -0.9944 0.000473 0.9951 0.005279 0.07266 -1 1 2 1 0.09485 0.0009637 0.001229 0.002527 -0.121 1 0 0.005025 0.00387 0.002185 0.04674 18.5 2.007 0.4153 0.9518 1 1 0.004131 0.01232 0.01887 0.7825 2.333 3.575 json
t14_x19_u3_b104 14 19 3 104 flr(dot(mod(R,P),D)) 63468 114456740 o1(o2(o2(x,x),x)) true 166711 166711 -0.6049 0.005463 0.605 0.163 0.4037 -1 0.07772 1.078 1 3.225 0.02965 0.02901 0.1004 0.01097 1 -0.0002859 0.1812 0.151 0.04858 0.2204 2.194 1.414 0.3599 1.112 1 1 0.05795 0.2127 0.2761 0.3556 1.305 1.694 json
t14_x19_u3_b105 14 19 3 105 flr(dot(lrg(R,P),D)) 63469 114456741 o1(o2(o2(x,x),x)) true 166719 166719 -0.3417 0.001862 0.3419 0.1373 0.3706 -0.9997 0.2466 1.246 1 3.517 0.0301 0.03056 0.1032 -0.007661 1 -0.00003717 0.1797 0.1333 0.05004 0.2237 2.168 1.413 0.4416 1.308 1 1 0.06057 0.1834 0.05509 0.441 1.336 0.4011 json
t14_x19_u3_b106 14 19 3 106 flr(dot(eql(R,P),D)) 63470 114456742 o1(o2(o2(x,x),x)) true 166727 166727 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_x19_u3_b107 14 19 3 107 flr(dot(min(R,P),D)) 63471 114456743 o1(o2(o2(x,x),x)) true 166735 166735 -0.5511 0.08176 0.6052 0.203 0.4505 -1 1 2 1 3.793 0.05402 0.05298 0.1972 0.00972 1 0.0002771 0.3213 0.3245 0.0681 0.261 1.323 1.414 0.5271 1.583 1 1 0.09023 0.2953 0.1604 0.4445 1.455 0.7903 json
t14_x19_u3_b108 14 19 3 108 flr(dot(dot(R,P),D)) 63472 114456744 o1(o2(o2(x,x),x)) true 166743 166743 -0.2934 0.3153 0.6608 0.4935 0.7025 -1 1 2 1 3.916 0.06618 0.06893 0.1979 -0.02038 1 -0.0005169 0.4984 0.3747 0.09592 0.3097 1.565 2.404 0.2738 1.01 1 1 0.1291 0.6196 0.8427 0.2617 1.256 1.707 json
t14_x19_u3_b109 14 19 3 109 flr(dot(dst(R,P),D)) 63473 114456745 o1(o2(o2(x,x),x)) true 166751 166751 -0.3111 0.277 0.642 0.4428 0.6655 -1 1 2 1 4.197 0.115 0.1152 0.342 -0.0008508 1 -0.0005887 0.9939 0.6955 0.1132 0.3364 0.9836 1.546 0.5196 2.244 1 1 0.1853 0.6698 0.1027 0.4184 1.512 0.2319 json
t14_x19_u3_b110 14 19 3 110 flr(dst(add(R,P),D)) 63474 114456746 o1(o2(o2(x,x),x)) true 166759 166759 0.9964 1 0.9964 0.002196 0.04686 0.0005821 1 0.9994 1 0.09515 0.0003562 0.0003594 0.001969 -0.004588 1 -2.253e-11 0.002046 0.00266 0.0007117 0.02668 13.55 1.212 0.3258 0.9315 1 1 0.001398 0.005841 0.007538 0.6366 2.659 3.432 json
t14_x19_u3_b111 14 19 3 111 flr(dst(sub(R,P),D)) 63475 114456747 o1(o2(o2(x,x),x)) true 166767 166767 0.989 0.9997 0.989 0.007586 0.0871 0 1 1 1 0.2188 0.0007155 0.0007101 0.003392 0.003738 1 -9.011e-11 0.004039 0.004314 0.001416 0.03763 11.09 1.408 0.1879 0.5324 1 1 0.002815 0.01381 0.02595 0.371 1.821 3.421 json
t14_x19_u3_b112 14 19 3 112 flr(dst(mlt(R,P),D)) 63476 114456748 o1(o2(o2(x,x),x)) true 166775 166775 0.9082 0.9961 0.9082 0.06436 0.2537 0 1 1 1 1.092 0.004927 0.004144 0.02416 0.08631 1 -0.0000277 0.02207 0.02765 0.008491 0.09214 3.813 1.409 0.141 0.3429 1 1 0.01564 0.07977 0.1508 0.243 1.239 2.342 json
t14_x19_u3_b113 14 19 3 113 flr(dst(div(R,P),D)) 63477 114456749 o1(o2(o2(x,x),x)) true 166783 166783 -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_x19_u3_b114 14 19 3 114 flr(dst(pow(R,P),D)) 63478 114456750 o1(o2(o2(x,x),x)) true 166791 166791 -0.9766 0.01172 1 0.0463 0.2152 -1 1 2 1 0.09198 0.006047 0.004031 0.005002 0.2 1 0 0.02116 0.01008 0.01005 0.1002 20.04 2.828 0.2177 0.4571 1 1 0.01773 0.07091 0.1684 0.3829 1.532 3.638 json
t14_x19_u3_b115 14 19 3 115 flr(dst(mod(R,P),D)) 63479 114456751 o1(o2(o2(x,x),x)) true 166799 166799 0.1995 0.7451 0.6683 0.5594 0.7479 -1 1 2 1 3.319 0.03804 0.03507 0.09887 0.04054 1 0.0002046 0.1835 0.1489 0.06334 0.2517 2.546 2.828 0.1307 0.328 1 1 0.07814 0.3158 0.9432 0.1397 0.5645 1.686 json
t14_x19_u3_b116 14 19 3 116 flr(dst(lrg(R,P),D)) 63480 114456752 o1(o2(o2(x,x),x)) true 166807 166807 0.7399 0.9891 0.7399 0.125 0.3536 0 1 1 1 2.691 0.009946 0.01134 0.05881 -0.06536 1 0.0002398 0.0561 0.06522 0.01783 0.1335 2.27 1.409 0.1702 0.4487 1 1 0.02247 0.1117 0.1819 0.1797 0.8933 1.455 json
t14_x19_u3_b117 14 19 3 117 flr(dst(eql(R,P),D)) 63481 114456753 o1(o2(o2(x,x),x)) true 166815 166815 0.002387 0.5469 0.002387 0.0000194 0.004405 0 0.01937 0.01937 1 0 0.00002643 0.00002643 0.004122 1.376e-7 0 -0.00002229 0.0002509 0.008064 0.00003587 0.005989 1.453 0.02739 2.724 12.93 1 1 0.00004054 0.00003161 0 2.089 1.629 0 json
t14_x19_u3_b118 14 19 3 118 flr(dst(min(R,P),D)) 63482 114456754 o1(o2(o2(x,x),x)) true 166823 166823 0.822 0.9825 0.822 0.1139 0.3375 0 1 1 1 1.718 0.008651 0.008468 0.03809 0.01072 1 0.0000954 0.05002 0.05173 0.01567 0.1252 3.287 1.413 0.1503 0.4391 1 1 0.02223 0.08765 0.1391 0.1951 0.7694 1.221 json
t14_x19_u3_b119 14 19 3 119 flr(dst(dot(R,P),D)) 63483 114456755 o1(o2(o2(x,x),x)) true 166831 166831 0.9322 0.9996 0.9322 0.04804 0.2192 1.694e-7 1 1 1 0.8805 0.003087 0.003482 0.02031 -0.06026 1 -0.000091 0.01256 0.02011 0.006162 0.0785 3.865 1.413 0.1368 0.2614 1 1 0.01257 0.07606 0.1254 0.2616 1.583 2.61 json
t14_x19_u3_b120 14 19 3 120 flr(dst(dst(R,P),D)) 63484 114456756 o1(o2(o2(x,x),x)) true 166839 166839 0.9996 1 0.9996 0.0002762 0.01662 0.002328 1 0.9977 1 0.01002 0.0001046 0.00009489 0.0003126 0.04851 1 -1.502e-11 0.0006194 0.0005107 0.0001993 0.01412 45.17 1.397 0.7221 2.242 1 1 0.0003865 0.001004 0.001004 1.399 3.634 3.634 json
t14_x19_u4_b0 14 19 4 0 cil(add(add(R,P),D)) 63485 114456837 o1(o2(o2(x,x),x)) true 166847 166847 0.06627 0.5292 0.9337 0.9156 0.9569 -1 1 2 1 1.827 0.00507 0.00046 0.01546 0.8336 1 -0.00002021 0.00952 0.01704 0.005294 0.07276 4.706 0.9994 0.00604 0.0104 1 1 0.008404 0.05105 0.2777 0.009178 0.05575 0.3033 json
t14_x19_u4_b1 14 19 4 1 cil(add(sub(R,P),D)) 63486 114456838 o1(o2(o2(x,x),x)) true 166855 166855 0.06942 0.5313 0.9284 0.9087 0.9533 -1 1 2 1 1.904 0.005652 0.0004702 0.02054 0.8464 1 -0.00002293 0.009921 0.01997 0.005704 0.07552 3.678 0.9983 0.006738 0.01092 1 1 0.009251 0.05652 0.2625 0.01018 0.0622 0.2888 json
t14_x19_u4_b2 14 19 4 2 cil(add(mlt(R,P),D)) 63487 114456839 o1(o2(o2(x,x),x)) true 166863 166863 0.1768 0.613 0.7617 0.668 0.8173 -1 1 2 1 3.461 0.03365 0.01986 0.1147 0.2577 1 -0.000005277 0.0571 0.09969 0.04035 0.2009 1.751 1.508 0.08011 0.08548 1 1 0.07102 0.479 0.9884 0.1063 0.7172 1.48 json
t14_x19_u4_b3 14 19 4 3 cil(add(div(R,P),D)) 63488 114456840 o1(o2(o2(x,x),x)) true 166871 166871 0.3059 0.8463 0.5614 0.3608 0.6007 -1 1 2 1 3.841 0.06134 0.0009949 0.1188 0.9681 1 -0.0002566 0.1183 0.1353 0.04821 0.2196 1.849 2 0.1728 0.328 1 1 0.06832 0.2601 0.5141 0.1894 0.7209 1.425 json
t14_x19_u4_b4 14 19 4 4 cil(add(pow(R,P),D)) 63489 114456841 o1(o2(o2(x,x),x)) true 166879 166879 -0.8525 0.07422 0.9991 0.2719 0.5214 -1 1 2 1 0.4069 0.02508 0.02409 0.0249 0.02029 1 0.0001222 0.1025 0.04961 0.04858 0.2204 8.851 2.828 0.1809 0.3771 1 1 0.04674 0.1944 0.641 0.1719 0.7151 2.358 json
t14_x19_u4_b5 14 19 4 5 cil(add(mod(R,P),D)) 63490 114456842 o1(o2(o2(x,x),x)) true 166887 166887 0.2847 0.7423 0.5948 0.4245 0.6515 -1 1 2 1 4.026 0.04775 0.002848 0.1065 0.8874 1 0.0004513 0.09335 0.1198 0.03925 0.1981 1.86 2 0.1192 0.2199 1 1 0.05683 0.2633 0.6796 0.1339 0.6202 1.601 json
t14_x19_u4_b6 14 19 4 6 cil(add(lrg(R,P),D)) 63491 114456843 o1(o2(o2(x,x),x)) true 166895 166895 0.7428 1 0.7428 0.1358 0.3685 0.000291 1 0.9997 1 2.391 0.03309 0.00005178 0.06414 0.9969 1 -0.00009439 0.06072 0.06879 0.02903 0.1704 2.656 0.9994 0.244 0.4471 1 1 0.03794 0.1316 0.03692 0.2794 0.9693 0.2718 json
t14_x19_u4_b7 14 19 4 7 cil(add(eql(R,P),D)) 63492 114456844 o1(o2(o2(x,x),x)) true 166903 166903 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x19_u4_b8 14 19 4 8 cil(add(min(R,P),D)) 63493 114456845 o1(o2(o2(x,x),x)) true 166911 166911 -0.2199 0.424 0.7007 0.5971 0.7727 -1 1 2 1 3.257 0.02136 0.001568 0.06208 0.8633 1 0.0006601 0.04136 0.0681 0.01908 0.1381 2.225 1 0.03841 0.06927 1 1 0.02667 0.1252 0.3341 0.04466 0.2096 0.5596 json
t14_x19_u4_b9 14 19 4 9 cil(add(dot(R,P),D)) 63494 114456846 o1(o2(o2(x,x),x)) true 166919 166919 0.05138 0.5368 0.8588 0.8133 0.9018 -1 1 2 1 2.794 0.03313 0.03289 0.112 0.00366 1 0.00001834 0.06542 0.09999 0.05346 0.2312 2.064 1.888 0.08117 0.08043 1 1 0.08512 0.5919 1.36 0.1047 0.7278 1.672 json
t14_x19_u4_b10 14 19 4 10 cil(add(dst(R,P),D)) 63495 114456847 o1(o2(o2(x,x),x)) true 166927 166927 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_x19_u4_b11 14 19 4 11 cil(sub(add(R,P),D)) 63496 114456848 o1(o2(o2(x,x),x)) true 166935 166935 0.06596 0.5289 0.9319 0.9118 0.9549 -1 1 2 1 1.887 0.005548 0.0004462 0.02022 0.8511 1 -0.00002057 0.009759 0.01993 0.005584 0.07472 3.696 0.9986 0.006574 0.0107 1 1 0.009145 0.0522 0.271 0.01003 0.05724 0.2971 json
t14_x19_u4_b12 14 19 4 12 cil(sub(sub(R,P),D)) 63497 114456849 o1(o2(o2(x,x),x)) true 166943 166943 0.07006 0.5342 0.9314 0.9115 0.9547 -1 1 2 1 1.879 0.005294 0.0004608 0.01641 0.8399 1 -0.00002259 0.009933 0.01763 0.005489 0.07409 4.516 1.113 0.006314 0.0109 1 1 0.008345 0.0525 0.2685 0.009156 0.05759 0.2946 json
t14_x19_u4_b13 14 19 4 13 cil(sub(mlt(R,P),D)) 63498 114456850 o1(o2(o2(x,x),x)) true 166951 166951 0.1762 0.6211 0.7621 0.6683 0.8175 -1 1 2 1 3.459 0.03354 0.01978 0.1152 0.258 1 -0.0000938 0.0561 0.09848 0.04004 0.2001 1.737 1.473 0.07978 0.08395 1 1 0.07206 0.4828 1.004 0.1078 0.7224 1.502 json
t14_x19_u4_b14 14 19 4 14 cil(sub(div(R,P),D)) 63499 114456851 o1(o2(o2(x,x),x)) true 166959 166959 0.3092 0.847 0.5605 0.3599 0.5999 -1 1 2 1 3.789 0.05982 0.0009362 0.1147 0.9692 1 -0.0005116 0.1138 0.1297 0.0476 0.2182 1.902 2 0.1688 0.3161 1 1 0.06702 0.261 0.5148 0.1862 0.7252 1.43 json