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_x6_u3_b47 14 6 3 47 flr(pow(div(P,R),P)) 52400 113931470 o1(o2(o2(x,x),x)) true 78167 78167 -0.9004 0.03516 0.959 0.147 0.3834 -1 1 2 1 0.4867 0.01688 0.01299 0.01851 0.1303 1 -2.403e-10 0.06287 0.03606 0.02955 0.1719 9.287 2.828 0.2033 0.4277 1 1 0.02907 0.1185 0.3144 0.1978 0.8063 2.139 json
t14_x6_u3_b48 14 6 3 48 flr(pow(pow(P,R),P)) 52401 113931471 o1(o2(o2(x,x),x)) true 78175 78175 -0.1198 0.4656 0.8802 0.8495 0.9217 -1 1 2 1 1.946 0.01968 0.004249 0.02887 0.6449 1 -0.000053 0.0438 0.0353 0.0231 0.152 5.266 2 0.02816 0.05156 1 1 0.03214 0.1481 0.4276 0.03783 0.1743 0.5033 json
t14_x6_u3_b49 14 6 3 49 flr(pow(mod(P,R),P)) 52402 113931472 o1(o2(o2(x,x),x)) true 78183 78183 -0.4688 0.0625 0.5313 0.3046 0.5519 -1 0.9997 2 1 1.406 0.01622 0 0.0119 1 1 -4.731e-10 0.03186 0.0168 0.01607 0.1268 10.65 2 0.05326 0.1046 1 1 0.0219 0.08325 0.1593 0.0719 0.2733 0.523 json
t14_x6_u3_b50 14 6 3 50 flr(pow(lrg(P,R),P)) 52403 113931473 o1(o2(o2(x,x),x)) true 78191 78191 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t14_x6_u3_b51 14 6 3 51 flr(pow(eql(P,R),P)) 52404 113931474 o1(o2(o2(x,x),x)) true 78199 78199 -0.4688 0.0625 0.5313 0.3046 0.5519 -1 0.9997 2 1 1.406 0.01622 0 0.0119 1 1 -4.731e-10 0.03186 0.0168 0.01607 0.1268 10.65 2 0.05326 0.1046 1 1 0.0219 0.08325 0.1593 0.0719 0.2733 0.523 json
t14_x6_u3_b52 14 6 3 52 flr(pow(min(P,R),P)) 52405 113931475 o1(o2(o2(x,x),x)) true 78207 78207 -0.9668 0.01953 0.9863 0.04955 0.2226 -1 0.9997 2 1 0.2345 0.006662 0.004057 0.007925 0.2431 1 3.004e-11 0.02226 0.01374 0.01065 0.1032 13.02 2 0.2163 0.4492 1 1 0.009522 0.0402 0.09661 0.1922 0.8112 1.95 json
t14_x6_u3_b53 14 6 3 53 flr(pow(dot(P,R),P)) 52406 113931476 o1(o2(o2(x,x),x)) true 78215 78215 -0.8631 0.07018 0.9885 0.2415 0.4914 -1 1 2 1 0.496 0.02567 0.01524 0.02296 0.2549 1 -1.84e-10 0.08473 0.04355 0.04037 0.2009 8.752 2.828 0.1694 0.3509 1 1 0.0454 0.1891 0.5131 0.188 0.7831 2.125 json
t14_x6_u3_b54 14 6 3 54 flr(pow(dst(P,R),P)) 52407 113931477 o1(o2(o2(x,x),x)) true 78223 78223 0.5325 0.5699 0.5325 0.2405 0.4904 0 1 1 1 1.397 0.0004283 0.0000614 0.005025 0.7492 1 -5.012e-10 0.00007636 0.001369 0.0004642 0.02154 4.287 0.462 0.002036 0.0003175 1 1 0.001359 0.01638 0.08003 0.005648 0.06808 0.3327 json
t14_x6_u3_b55 14 6 3 55 flr(mod(add(P,R),P)) 52408 113931478 o1(o2(o2(x,x),x)) true 78231 78231 -0.2578 0.4251 0.8672 0.7796 0.883 -1 1 2 1 2.022 0.005909 0.002281 0.02554 0.443 1 -0.0001254 0.009796 0.02001 0.007534 0.0868 3.398 1 0.01051 0.01257 1 1 0.01166 0.08503 0.3077 0.01496 0.1091 0.3947 json
t14_x6_u3_b56 14 6 3 56 flr(mod(sub(P,R),P)) 52409 113931479 o1(o2(o2(x,x),x)) true 78239 78239 -0.3119 0.3846 0.8131 0.6941 0.8331 -1 1 2 1 2.092 0.005965 0.002384 0.02629 0.4289 1 -0.0001452 0.009852 0.02024 0.007661 0.08753 3.33 1 0.01203 0.01419 1 1 0.0121 0.08717 0.299 0.01743 0.1256 0.4308 json
t14_x6_u3_b57 14 6 3 57 flr(mod(mlt(P,R),P)) 52410 113931480 o1(o2(o2(x,x),x)) true 78247 78247 -0.3714 0.2944 0.8246 0.6381 0.7988 -1 1 2 1 2.904 0.02003 0.01752 0.08495 0.06665 1 -0.00003973 0.02705 0.0545 0.03033 0.1741 2.05 1.403 0.05885 0.04239 1 1 0.05153 0.4217 1.038 0.08075 0.6608 1.627 json
t14_x6_u3_b58 14 6 3 58 flr(mod(div(P,R),P)) 52411 113931481 o1(o2(o2(x,x),x)) true 78255 78255 -0.4082 0.2676 0.7901 0.5706 0.7554 -1 1 2 1 3.07 0.01575 0.01661 0.08464 -0.02644 1 0.00004718 0.02105 0.04818 0.0252 0.1587 1.875 1.361 0.05671 0.03689 1 1 0.04525 0.4042 0.8955 0.0793 0.7083 1.569 json
t14_x6_u3_b59 14 6 3 59 flr(mod(pow(P,R),P)) 52412 113931482 o1(o2(o2(x,x),x)) true 78263 78263 -0.3493 0.3827 0.7757 0.6229 0.7892 -1 1 2 1 2.305 0.005494 0.00154 0.02627 0.5621 1 -0.00006453 0.008827 0.01677 0.006346 0.07966 3.032 1 0.01129 0.01417 1 1 0.0102 0.07652 0.2858 0.01637 0.1228 0.4588 json
t14_x6_u3_b60 14 6 3 60 flr(mod(mod(P,R),P)) 52413 113931483 o1(o2(o2(x,x),x)) true 78271 78271 -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_x6_u3_b61 14 6 3 61 flr(mod(lrg(P,R),P)) 52414 113931484 o1(o2(o2(x,x),x)) true 78279 78279 0.2813 0.4375 0.5313 0.445 0.6671 -1 1 2 1 1.736 0.008292 0 0.0119 1 1 -9.386e-13 0.01584 0.01675 0.008154 0.0903 7.585 1 0.01863 0.0356 1 1 0.01149 0.0608 0.3698 0.02582 0.1366 0.8311 json
t14_x6_u3_b62 14 6 3 62 flr(mod(eql(P,R),P)) 52415 113931485 o1(o2(o2(x,x),x)) true 78287 78287 -0.125 0 0.125 0.1094 0.3307 -1 0 1 1 0.5436 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.07256 0.1451 1 1 0.01053 0.04211 0.1684 0.09624 0.385 1.54 json
t14_x6_u3_b63 14 6 3 63 flr(mod(min(P,R),P)) 52416 113931486 o1(o2(o2(x,x),x)) true 78295 78295 -0.6174 0 0.6174 0.1814 0.4259 -1 0 1 1 2.842 0.01118 0.001118 0.04518 0.8181 1 0.0006104 0.01485 0.0298 0.01025 0.1013 2.241 1 0.06777 0.08183 1 1 0.01835 0.1305 0.2611 0.1012 0.7191 1.439 json
t14_x6_u3_b64 14 6 3 64 flr(mod(dot(P,R),P)) 52417 113931487 o1(o2(o2(x,x),x)) true 78303 78303 -0.4124 0.2584 0.8035 0.5825 0.7632 -1 1 2 1 2.995 0.01674 0.01614 0.08244 0.01836 1 0.00003427 0.02255 0.0489 0.0261 0.1615 1.959 1.34 0.05645 0.0387 1 1 0.04158 0.3649 0.9847 0.07138 0.6263 1.69 json
t14_x6_u3_b65 14 6 3 65 flr(mod(dst(P,R),P)) 52418 113931488 o1(o2(o2(x,x),x)) true 78311 78311 0.4845 0.8163 0.7345 0.4587 0.6773 -1 1 2 1 2.605 0.01004 0.002507 0.0392 0.6003 1 -0.00007923 0.01745 0.02932 0.01101 0.1049 2.676 1 0.02735 0.03804 1 1 0.01931 0.1377 0.5872 0.04209 0.3002 1.28 json
t14_x6_u3_b66 14 6 3 66 flr(lrg(add(P,R),P)) 52419 113931489 o1(o2(o2(x,x),x)) true 78319 78319 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t14_x6_u3_b67 14 6 3 67 flr(lrg(sub(P,R),P)) 52420 113931490 o1(o2(o2(x,x),x)) true 78327 78327 0.5176 0.9429 0.5176 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t14_x6_u3_b68 14 6 3 68 flr(lrg(mlt(P,R),P)) 52421 113931491 o1(o2(o2(x,x),x)) true 78335 78335 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t14_x6_u3_b69 14 6 3 69 flr(lrg(div(P,R),P)) 52422 113931492 o1(o2(o2(x,x),x)) true 78343 78343 0.4434 0.8957 0.4434 0.1529 0.391 0 1 1 1 3.387 0.001991 0.002332 0.05065 -0.07892 1 -0.00003637 0.0002525 0.0123 0.001758 0.04193 0.8278 0.1169 0.02828 0.001651 1 1 0.008378 0.1079 0.2912 0.0548 0.7058 1.905 json
t14_x6_u3_b70 14 6 3 70 flr(lrg(pow(P,R),P)) 52423 113931493 o1(o2(o2(x,x),x)) true 78351 78351 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t14_x6_u3_b71 14 6 3 71 flr(lrg(mod(P,R),P)) 52424 113931494 o1(o2(o2(x,x),x)) true 78359 78359 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t14_x6_u3_b72 14 6 3 72 flr(lrg(lrg(P,R),P)) 52425 113931495 o1(o2(o2(x,x),x)) true 78367 78367 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t14_x6_u3_b73 14 6 3 73 flr(lrg(eql(P,R),P)) 52426 113931496 o1(o2(o2(x,x),x)) true 78375 78375 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t14_x6_u3_b74 14 6 3 74 flr(lrg(min(P,R),P)) 52427 113931497 o1(o2(o2(x,x),x)) true 78383 78383 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_x6_u3_b75 14 6 3 75 flr(lrg(dot(P,R),P)) 52428 113931498 o1(o2(o2(x,x),x)) true 78391 78391 0.4844 0.743 0.4844 0.1938 0.4403 0 1 1 1 2.732 0.001175 0.001382 0.03016 -0.08085 1 -0.00001711 0.0001519 0.00735 0.001647 0.04058 1.345 0.1169 0.01319 0.0007834 1 1 0.00525 0.06774 0.2002 0.02708 0.3495 1.033 json
t14_x6_u3_b76 14 6 3 76 flr(lrg(dst(P,R),P)) 52429 113931499 o1(o2(o2(x,x),x)) true 78399 78399 0.9414 0.9987 0.9414 0.04026 0.2006 8.471e-8 1 1 1 0.8457 0.0002966 0.0003752 0.007902 -0.117 1 -0.00001141 0.00004128 0.00194 0.0006089 0.02467 3.123 0.1169 0.01669 0.001025 1 1 0.001622 0.0212 0.07572 0.04029 0.5266 1.881 json
t14_x6_u3_b77 14 6 3 77 flr(eql(add(P,R),P)) 52430 113931500 o1(o2(o2(x,x),x)) true 78407 78407 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_x6_u3_b78 14 6 3 78 flr(eql(sub(P,R),P)) 52431 113931501 o1(o2(o2(x,x),x)) true 78415 78415 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_x6_u3_b79 14 6 3 79 flr(eql(mlt(P,R),P)) 52432 113931502 o1(o2(o2(x,x),x)) true 78423 78423 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t14_x6_u3_b80 14 6 3 80 flr(eql(div(P,R),P)) 52433 113931503 o1(o2(o2(x,x),x)) true 78431 78431 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t14_x6_u3_b81 14 6 3 81 flr(eql(pow(P,R),P)) 52434 113931504 o1(o2(o2(x,x),x)) true 78439 78439 0.08984 0.1628 0.08984 0.06626 0.2574 0 1 1 1 1.008 0.0006768 0.0001053 0.008948 0.7306 1 -0.000005705 0.00003877 0.002115 0.0007021 0.0265 2.961 0.1169 0.0118 0.0005851 1 1 0.002072 0.02707 0.115 0.03127 0.4086 1.736 json
t14_x6_u3_b82 14 6 3 82 flr(eql(mod(P,R),P)) 52435 113931505 o1(o2(o2(x,x),x)) true 78447 78447 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t14_x6_u3_b83 14 6 3 83 flr(eql(lrg(P,R),P)) 52436 113931506 o1(o2(o2(x,x),x)) true 78455 78455 0.08984 0.1628 0.08984 0.06626 0.2574 0 1 1 1 1.008 0.0006768 0.0001053 0.008948 0.7306 1 -0.000005705 0.00003877 0.002115 0.0007021 0.0265 2.961 0.1169 0.0118 0.0005851 1 1 0.002072 0.02707 0.115 0.03127 0.4086 1.736 json
t14_x6_u3_b84 14 6 3 84 flr(eql(eql(P,R),P)) 52437 113931507 o1(o2(o2(x,x),x)) true 78463 78463 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t14_x6_u3_b85 14 6 3 85 flr(eql(min(P,R),P)) 52438 113931508 o1(o2(o2(x,x),x)) true 78471 78471 0.4961 0.5378 0.4961 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005705 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t14_x6_u3_b86 14 6 3 86 flr(eql(dot(P,R),P)) 52439 113931509 o1(o2(o2(x,x),x)) true 78479 78479 0.003906 0.01477 0.003906 0.002383 0.04882 0 0.9994 0.9994 1 0.1068 0.00003512 0.00003512 0.0008419 7.252e-7 0 -5.638e-14 0.000004222 0.000206 0.00006942 0.008332 9.897 0.1169 0.02947 0.001772 1 1 0.0002443 0.003178 0.008708 0.1025 1.334 3.654 json
t14_x6_u3_b87 14 6 3 87 flr(eql(dst(P,R),P)) 52440 113931510 o1(o2(o2(x,x),x)) true 78487 78487 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_x6_u3_b88 14 6 3 88 flr(min(add(P,R),P)) 52441 113931511 o1(o2(o2(x,x),x)) true 78495 78495 -0.05877 0.4723 0.9451 0.9283 0.9635 -1 1 2 1 1.786 0.001009 0.0002866 0.01014 0.5576 1 -0.00001667 0.000135 0.00275 0.001193 0.03453 3.406 0.2338 0.001396 0.0001454 1 1 0.003407 0.04218 0.2644 0.00367 0.04544 0.2848 json
t14_x6_u3_b89 14 6 3 89 flr(min(sub(P,R),P)) 52442 113931512 o1(o2(o2(x,x),x)) true 78503 78503 -0.06541 0.4608 0.9287 0.9116 0.9548 -1 1 2 1 1.855 0.0009844 0.0002879 0.01003 0.5475 1 0.00001926 0.0001808 0.003033 0.001171 0.03422 3.413 0.2338 0.001396 0.0001983 1 1 0.00338 0.04008 0.2523 0.003707 0.04397 0.2768 json
t14_x6_u3_b90 14 6 3 90 flr(min(mlt(P,R),P)) 52443 113931513 o1(o2(o2(x,x),x)) true 78511 78511 -0.6121 0.1353 0.8372 0.4283 0.6544 -1 1 2 1 2.33 0.009166 0.008613 0.04691 0.03111 1 -0.000001385 0.009981 0.02503 0.01558 0.1248 2.661 1.34 0.04151 0.02331 1 1 0.0247 0.227 0.6093 0.05768 0.53 1.423 json
t14_x6_u3_b91 14 6 3 91 flr(min(div(P,R),P)) 52444 113931514 o1(o2(o2(x,x),x)) true 78519 78519 -0.6495 0.1691 0.9271 0.4886 0.699 -1 1 2 1 1.565 0.02492 0.02888 0.05813 -0.07367 1 0.00001261 0.07967 0.06443 0.05044 0.2246 3.864 2.828 0.1101 0.1631 1 1 0.0663 0.3909 0.7838 0.1357 0.8001 1.604 json
t14_x6_u3_b92 14 6 3 92 flr(min(pow(P,R),P)) 52445 113931515 o1(o2(o2(x,x),x)) true 78527 78527 -0.193 0.4632 0.7445 0.6618 0.8135 -1 1 2 1 2.973 0.002298 0.00154 0.03099 0.1974 1 -0.00006453 0.0009457 0.01088 0.002878 0.05364 1.731 0.4015 0.005799 0.001429 1 1 0.007076 0.08152 0.3345 0.01069 0.1232 0.5054 json
t14_x6_u3_b93 14 6 3 93 flr(min(mod(P,R),P)) 52446 113931516 o1(o2(o2(x,x),x)) true 78535 78535 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 0.0003529 0 0.003968 1 1 4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t14_x6_u3_b94 14 6 3 94 flr(min(lrg(P,R),P)) 52447 113931517 o1(o2(o2(x,x),x)) true 78543 78543 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t14_x6_u3_b95 14 6 3 95 flr(min(eql(P,R),P)) 52448 113931518 o1(o2(o2(x,x),x)) true 78551 78551 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 0.0003529 0 0.003968 1 1 4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t14_x6_u3_b96 14 6 3 96 flr(min(min(P,R),P)) 52449 113931519 o1(o2(o2(x,x),x)) true 78559 78559 -0.7578 0 0.7578 0.1282 0.3581 -1 0 1 1 2.446 0.001205 0.001316 0.02956 -0.04423 1 -0.00002994 0.0001512 0.007216 0.001648 0.0406 1.373 0.1169 0.01966 0.001179 1 1 0.005145 0.06684 0.1791 0.04012 0.5213 1.397 json
t14_x6_u3_b97 14 6 3 97 flr(min(dot(P,R),P)) 52450 113931520 o1(o2(o2(x,x),x)) true 78567 78567 -0.5904 0.2017 0.8989 0.5235 0.7235 -1 1 2 1 1.983 0.01137 0.01311 0.0517 -0.07129 1 0.00005325 0.0167 0.0328 0.02182 0.1477 2.857 1.693 0.04677 0.0319 1 1 0.03313 0.2813 0.8022 0.06329 0.5373 1.532 json
t14_x6_u3_b98 14 6 3 98 flr(min(dst(P,R),P)) 52451 113931521 o1(o2(o2(x,x),x)) true 78575 78575 -0.003246 0.4996 0.9343 0.9203 0.9593 -1 1 2 1 1.842 0.0007123 0.00003106 0.008208 0.9164 1 4.177e-11 0.00004306 0.001988 0.0006762 0.026 3.168 0.2265 0.0008077 0.00004679 1 1 0.001976 0.02569 0.2318 0.002147 0.02791 0.2519 json
t14_x6_u3_b99 14 6 3 99 flr(dot(add(P,R),P)) 52452 113931522 o1(o2(o2(x,x),x)) true 78583 78583 0.9923 1 0.9923 0.005497 0.07414 0.0002911 1 0.9997 1 0.1544 0.0001017 0.0001648 0.001699 -0.2369 1 6.758e-11 0.0001031 0.0008022 0.000264 0.01625 9.566 0.3575 0.04848 0.01876 1 1 0.0008643 0.008108 0.02007 0.1572 1.475 3.65 json
t14_x6_u3_b100 14 6 3 100 flr(dot(sub(P,R),P)) 52453 113931523 o1(o2(o2(x,x),x)) true 78591 78591 0.9871 0.9995 0.9871 0.01048 0.1024 8.471e-8 1 1 1 0.1944 0.0001812 0.0002152 0.002214 -0.086 1 -8.635e-11 0.0001655 0.001159 0.0003918 0.0198 8.939 0.3839 0.03782 0.01579 1 1 0.001273 0.01146 0.03578 0.1214 1.093 3.414 json
t14_x6_u3_b101 14 6 3 101 flr(dot(mlt(P,R),P)) 52454 113931524 o1(o2(o2(x,x),x)) true 78599 78599 0.01283 0.5014 0.9469 0.9307 0.9647 -1 1 2 1 1.817 0.07358 0.08465 0.1154 -0.06994 1 -0.00004851 0.3284 0.1737 0.1449 0.3807 3.298 2.828 0.17 0.3529 1 1 0.1558 0.8226 1.807 0.1674 0.8838 1.941 json
t14_x6_u3_b102 14 6 3 102 flr(dot(div(P,R),P)) 52455 113931525 o1(o2(o2(x,x),x)) true 78607 78607 0.05468 0.5275 0.9912 0.9861 0.993 -1 1 2 1 1.176 0.1057 0.1183 0.1163 -0.05618 1 0.0000699 0.591 0.2296 0.2106 0.4589 3.944 2.828 0.2272 0.5993 1 1 0.2087 0.8815 2.011 0.2116 0.8939 2.039 json
t14_x6_u3_b103 14 6 3 103 flr(dot(pow(P,R),P)) 52456 113931526 o1(o2(o2(x,x),x)) true 78615 78615 -0.5859 0.207 1 0.6568 0.8105 -1 1 2 1 0.7358 0.01096 0.008944 0.009915 0.1013 1 0 0.04119 0.0199 0.01982 0.1408 14.2 2.828 0.0303 0.06272 1 1 0.02637 0.1055 0.3785 0.04015 0.1606 0.5763 json
t14_x6_u3_b104 14 6 3 104 flr(dot(mod(P,R),P)) 52457 113931527 o1(o2(o2(x,x),x)) true 78623 78623 0.6629 0.8636 0.6629 0.1827 0.4275 0 1 1 1 2.267 0.002398 0.002499 0.03261 -0.02057 1 -0.00003762 0.001669 0.01463 0.003835 0.06193 1.899 0.3975 0.0268 0.009134 1 1 0.00835 0.08663 0.2583 0.0457 0.4741 1.414 json
t14_x6_u3_b105 14 6 3 105 flr(dot(lrg(P,R),P)) 52458 113931528 o1(o2(o2(x,x),x)) true 78631 78631 0.7179 0.75 0.7179 0.1953 0.4419 0 1 1 1 1.194 0.0001877 0.0001877 0.004161 0.000001047 1 -5.744e-10 0.00002276 0.0009958 0.0003579 0.01892 4.547 0.1653 0.001922 0.0001166 1 1 0.001001 0.01303 0.08014 0.005127 0.06671 0.4104 json
t14_x6_u3_b106 14 6 3 106 flr(dot(eql(P,R),P)) 52459 113931529 o1(o2(o2(x,x),x)) true 78639 78639 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_x6_u3_b107 14 6 3 107 flr(dot(min(P,R),P)) 52460 113931530 o1(o2(o2(x,x),x)) true 78647 78647 0.6529 0.8327 0.9289 0.4838 0.6955 -1 1 2 1 1.603 0.009517 0.01018 0.03914 -0.03358 1 -0.000003578 0.01434 0.02586 0.01816 0.1348 3.444 1.693 0.04071 0.02963 1 1 0.0257 0.2217 0.6267 0.05313 0.4584 1.295 json
t14_x6_u3_b108 14 6 3 108 flr(dot(dot(P,R),P)) 52461 113931531 o1(o2(o2(x,x),x)) true 78655 78655 0.03319 0.5118 0.9135 0.8893 0.9431 -1 1 2 1 2.153 0.05813 0.07528 0.1079 -0.1286 1 -0.00009021 0.2747 0.1496 0.1218 0.349 3.233 2.828 0.15 0.3088 1 1 0.1332 0.7321 1.692 0.1498 0.8232 1.902 json
t14_x6_u3_b109 14 6 3 109 flr(dot(dst(P,R),P)) 52462 113931532 o1(o2(o2(x,x),x)) true 78663 78663 -0.004881 0.4964 0.9745 0.9692 0.9845 -1 1 2 1 1.401 0.003068 0.003104 0.01223 -0.005945 1 6.396e-7 0.006266 0.009181 0.006025 0.07762 6.348 1.709 0.006368 0.006465 1 1 0.01174 0.09353 0.5196 0.01212 0.09651 0.5361 json
t14_x6_u3_b110 14 6 3 110 flr(dst(add(P,R),P)) 52463 113931533 o1(o2(o2(x,x),x)) true 78671 78671 0.5234 0.9064 0.5234 0.1603 0.4004 0 1 1 1 3.324 0.001857 0.002199 0.04748 -0.08437 1 -0.000005706 0.0002413 0.0116 0.001802 0.04245 0.894 0.1169 0.0253 0.001505 1 1 0.007899 0.1024 0.3171 0.04927 0.639 1.978 json
t14_x6_u3_b111 14 6 3 111 flr(dst(sub(P,R),P)) 52464 113931534 o1(o2(o2(x,x),x)) true 78679 78679 0.5234 0.9064 0.5234 0.1603 0.4004 0 1 1 1 3.324 0.001857 0.002199 0.04748 -0.08437 1 -0.000005706 0.0002413 0.0116 0.001802 0.04245 0.894 0.1169 0.0253 0.001505 1 1 0.007899 0.1024 0.3171 0.04927 0.639 1.978 json
t14_x6_u3_b112 14 6 3 112 flr(dst(mlt(P,R),P)) 52465 113931535 o1(o2(o2(x,x),x)) true 78687 78687 0.9678 0.9997 0.9678 0.02255 0.1502 8.471e-8 1 1 1 0.5209 0.0008483 0.0008396 0.008441 0.005159 1 -0.00005933 0.0009557 0.005198 0.001615 0.04019 4.761 0.5555 0.07484 0.04237 1 1 0.003857 0.03259 0.06248 0.171 1.445 2.77 json
t14_x6_u3_b113 14 6 3 113 flr(dst(div(P,R),P)) 52466 113931536 o1(o2(o2(x,x),x)) true 78695 78695 0.9939 1 0.9939 0.004261 0.06528 0.0005826 1 0.9994 1 0.1268 0.000586 0.0004461 0.003071 0.1355 1 -0.00004077 0.001172 0.003063 0.001022 0.03196 10.41 0.9608 0.2422 0.2751 1 1 0.001987 0.01063 0.01155 0.4664 2.496 2.71 json
t14_x6_u3_b114 14 6 3 114 flr(dst(pow(P,R),P)) 52467 113931537 o1(o2(o2(x,x),x)) true 78703 78703 -0.9688 0.01563 1 0.06152 0.248 -1 1 2 1 0.1161 0.006047 0.008062 0.006999 -0.1429 1 0 0.02973 0.01411 0.01406 0.1186 16.94 2.828 0.2293 0.4832 1 1 0.009695 0.04659 0.07003 0.1576 0.7573 1.138 json
t14_x6_u3_b115 14 6 3 115 flr(dst(mod(P,R),P)) 52468 113931538 o1(o2(o2(x,x),x)) true 78711 78711 0.9806 0.9991 0.9806 0.01458 0.1208 8.471e-8 1 1 1 0.3239 0.0001078 0.0001078 0.002513 0 1 -3.604e-10 0.00001817 0.0006348 0.0002094 0.01447 5.758 0.1653 0.01478 0.001246 1 1 0.0007472 0.00966 0.04273 0.05125 0.6625 2.93 json
t14_x6_u3_b116 14 6 3 116 flr(dst(lrg(P,R),P)) 52469 113931539 o1(o2(o2(x,x),x)) true 78719 78719 0.9961 1 0.9961 0.002383 0.04882 0.000582 1 0.9994 1 0.1068 0.00003512 0.00003512 0.0008419 6.216e-7 0 -1.577e-10 0.000004222 0.000206 0.00006943 0.008333 9.898 0.1169 0.02947 0.001772 1 1 0.0002443 0.003178 0.008708 0.1025 1.334 3.654 json
t14_x6_u3_b117 14 6 3 117 flr(dst(eql(P,R),P)) 52470 113931540 o1(o2(o2(x,x),x)) true 78727 78727 0.9961 1 0.9961 0.002383 0.04882 0.000582 1 0.9994 1 0.1068 0.00003512 0.00003512 0.0008419 6.216e-7 0 -1.577e-10 0.000004222 0.000206 0.00006942 0.008332 9.897 0.1169 0.02947 0.001772 1 1 0.0002443 0.003178 0.008708 0.1025 1.334 3.654 json
t14_x6_u3_b118 14 6 3 118 flr(dst(min(P,R),P)) 52471 113931541 o1(o2(o2(x,x),x)) true 78735 78735 0.6996 0.7594 0.6996 0.1977 0.4446 0 1 1 1 1.417 0.0004203 0.0003061 0.007433 0.1573 1 -0.00001222 0.00009111 0.002115 0.0006704 0.02589 3.483 0.2265 0.003675 0.0004609 1 1 0.001673 0.0205 0.09496 0.008462 0.1037 0.4804 json
t14_x6_u3_b119 14 6 3 119 flr(dst(dot(P,R),P)) 52472 113931542 o1(o2(o2(x,x),x)) true 78743 78743 0.9931 1 0.9931 0.004928 0.0702 0.000291 1 0.9997 1 0.1468 0.0001037 0.00003841 0.001306 0.4593 1 -2.253e-11 0.00002726 0.0004129 0.0001405 0.01185 9.075 0.2479 0.02883 0.005532 1 1 0.0004824 0.005597 0.01765 0.09789 1.136 3.581 json
t14_x6_u3_b120 14 6 3 120 flr(dst(dst(P,R),P)) 52473 113931543 o1(o2(o2(x,x),x)) true 78751 78751 0.998 1 0.998 0.001344 0.03665 0.0008731 1 0.9991 1 0.04915 0.00004709 0.00005643 0.0006129 -0.09024 1 3.754e-12 0.00003906 0.0003368 0.0001032 0.01016 16.57 0.3088 0.07705 0.02907 1 1 0.0003368 0.003067 0.004886 0.2507 2.283 3.637 json
t14_x6_u4_b0 14 6 4 0 cil(add(add(P,R),P)) 52474 113931624 o1(o2(o2(x,x),x)) true 78759 78759 0.02917 0.5147 0.9669 0.9574 0.9784 -1 1 2 1 1.513 0.001477 0.0001102 0.008546 0.8611 1 -0.000006592 0.0003494 0.003141 0.001515 0.03892 4.555 0.3506 0.001658 0.000365 1 1 0.004081 0.04468 0.2971 0.004263 0.04667 0.3103 json
t14_x6_u4_b1 14 6 4 1 cil(add(sub(P,R),P)) 52475 113931625 o1(o2(o2(x,x),x)) true 78767 78767 0.03343 0.5181 0.9711 0.9618 0.9807 -1 1 2 1 1.471 0.001586 0.0001095 0.008535 0.8708 1 0.000007959 0.0003402 0.003048 0.001624 0.0403 4.722 0.3506 0.001763 0.0003537 1 1 0.004272 0.04699 0.3018 0.004441 0.04885 0.3138 json
t14_x6_u4_b2 14 6 4 2 cil(add(mlt(P,R),P)) 52476 113931626 o1(o2(o2(x,x),x)) true 78775 78775 0.06653 0.5 0.8842 0.8611 0.928 -1 1 2 1 2.147 0.001409 0.001061 0.01535 0.1409 1 0.00000322 0.0009566 0.007052 0.002234 0.04727 3.08 0.5251 0.002868 0.001111 1 1 0.00489 0.04774 0.2568 0.005679 0.05544 0.2983 json
t14_x6_u4_b3 14 6 4 3 cil(add(div(P,R),P)) 52477 113931627 o1(o2(o2(x,x),x)) true 78783 78783 0.02188 0.5125 0.9107 0.8908 0.9438 -1 1 2 1 2.083 0.05845 0.0718 0.11 -0.1025 1 -0.00004537 0.2561 0.1499 0.1182 0.3438 3.126 2.828 0.1462 0.2876 1 1 0.1537 0.8139 1.797 0.1725 0.9137 2.017 json
t14_x6_u4_b4 14 6 4 4 cil(add(pow(P,R),P)) 52478 113931628 o1(o2(o2(x,x),x)) true 78791 78791 -0.09913 0.4531 0.9946 0.9841 0.992 -1 1 2 1 1.069 0.01302 0.004393 0.01034 0.4953 1 -1.802e-10 0.03547 0.01925 0.01731 0.1316 12.73 2.828 0.01769 0.03604 1 1 0.02401 0.1015 0.3992 0.0244 0.1032 0.4057 json
t14_x6_u4_b5 14 6 4 5 cil(add(mod(P,R),P)) 52479 113931629 o1(o2(o2(x,x),x)) true 78799 78799 0.009727 0.5 0.9472 0.9365 0.9677 -1 1 2 1 1.65 0.001005 0 0.007937 1 1 -4.731e-10 0.0001502 0.002719 0.0009424 0.0307 3.868 0.2265 0.001073 0.0001604 1 1 0.002565 0.02848 0.2515 0.002739 0.03041 0.2686 json
t14_x6_u4_b6 14 6 4 6 cil(add(lrg(P,R),P)) 52480 113931630 o1(o2(o2(x,x),x)) true 78807 78807 0.03972 0.5198 0.9657 0.9543 0.9769 -1 1 2 1 1.554 0.001197 0.00009554 0.008561 0.8522 1 0.000003562 0.0001197 0.002399 0.00122 0.03492 4.08 0.2338 0.001355 0.0001254 1 1 0.003358 0.04173 0.2916 0.003518 0.04373 0.3056 json
t14_x6_u4_b7 14 6 4 7 cil(add(eql(P,R),P)) 52481 113931631 o1(o2(o2(x,x),x)) true 78815 78815 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t14_x6_u4_b8 14 6 4 8 cil(add(min(P,R),P)) 52482 113931632 o1(o2(o2(x,x),x)) true 78823 78823 -0.003127 0.5 0.9538 0.9453 0.9723 -1 1 2 1 1.558 0.001209 0.00001482 0.008018 0.9758 1 -0.000004284 0.0002464 0.003305 0.001159 0.03405 4.247 0.2265 0.001295 0.0002606 1 1 0.003054 0.03164 0.263 0.003231 0.03347 0.2783 json
t14_x6_u4_b9 14 6 4 9 cil(add(dot(P,R),P)) 52483 113931633 o1(o2(o2(x,x),x)) true 78831 78831 0.05172 0.5253 0.9263 0.9011 0.9493 -1 1 2 1 2.072 0.01287 0.01623 0.05326 -0.1155 1 -0.0001489 0.02321 0.03949 0.02624 0.162 3.041 1.901 0.03229 0.02575 1 1 0.04328 0.3403 0.7399 0.04803 0.3777 0.8211 json
t14_x6_u4_b10 14 6 4 10 cil(add(dst(P,R),P)) 52484 113931634 o1(o2(o2(x,x),x)) true 78839 78839 0.961 0.9957 0.961 0.02859 0.1691 0 1 1 1 0.5734 0.0002104 0.0004488 0.005685 -0.3617 1 -0.000006959 0.0001123 0.001921 0.0006264 0.02503 4.402 0.3082 0.02306 0.00393 1 1 0.001438 0.01547 0.04956 0.0503 0.5411 1.734 json
t14_x6_u4_b11 14 6 4 11 cil(sub(add(P,R),P)) 52485 113931635 o1(o2(o2(x,x),x)) true 78847 78847 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t14_x6_u4_b12 14 6 4 12 cil(sub(sub(P,R),P)) 52486 113931636 o1(o2(o2(x,x),x)) true 78855 78855 0.5176 0.9429 0.5176 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t14_x6_u4_b13 14 6 4 13 cil(sub(mlt(P,R),P)) 52487 113931637 o1(o2(o2(x,x),x)) true 78863 78863 0.0588 0.5 0.888 0.8669 0.9311 -1 1 2 1 2.131 0.001614 0.0007803 0.01494 0.3482 1 0.0001027 0.0009622 0.007024 0.002171 0.0466 3.119 0.5805 0.002762 0.00111 1 1 0.005791 0.05492 0.2437 0.006681 0.06336 0.2812 json
t14_x6_u4_b14 14 6 4 14 cil(sub(div(P,R),P)) 52488 113931638 o1(o2(o2(x,x),x)) true 78871 78871 0.002096 0.5043 0.9028 0.8819 0.9391 -1 1 2 1 2.152 0.05837 0.07038 0.1078 -0.09331 1 0.0001372 0.2523 0.1482 0.1172 0.3423 3.175 2.828 0.146 0.2861 1 1 0.1372 0.7154 1.591 0.1555 0.8112 1.804 json
t14_x6_u4_b15 14 6 4 15 cil(sub(pow(P,R),P)) 52489 113931639 o1(o2(o2(x,x),x)) true 78879 78879 -0.9185 0 0.9185 0.06343 0.2519 -1 0 1 1 0.893 0.004683 0.001936 0.0138 0.4149 1 0.00001667 0.01172 0.0144 0.006424 0.08015 5.81 1.414 0.1043 0.1848 1 1 0.01009 0.05455 0.1313 0.1591 0.8599 2.069 json
t14_x6_u4_b16 14 6 4 16 cil(sub(mod(P,R),P)) 52490 113931640 o1(o2(o2(x,x),x)) true 78887 78887 0.0625 0.5 0.875 0.8576 0.926 -1 1 2 1 2.027 0.0007059 0 0.007937 1 1 0 0.00003238 0.001855 0.0006432 0.02536 3.195 0.1169 0.0008231 0.00003776 1 1 0.001851 0.02429 0.1593 0.002158 0.02832 0.1858 json
t14_x6_u4_b17 14 6 4 17 cil(sub(lrg(P,R),P)) 52491 113931641 o1(o2(o2(x,x),x)) true 78895 78895 0.09766 0.5456 0.9102 0.8845 0.9405 -1 1 2 1 1.987 0.0006768 0.0001053 0.00895 0.7306 1 0.000005704 0.00003873 0.002112 0.000702 0.0265 2.96 0.1169 0.0008842 0.00004379 1 1 0.002072 0.02729 0.2147 0.002342 0.03086 0.2427 json
t14_x6_u4_b18 14 6 4 18 cil(sub(eql(P,R),P)) 52492 113931642 o1(o2(o2(x,x),x)) true 78903 78903 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t14_x6_u4_b19 14 6 4 19 cil(sub(min(P,R),P)) 52493 113931643 o1(o2(o2(x,x),x)) true 78911 78911 -0.4341 0 0.4341 0.2375 0.4873 -1 0 1 1 1.512 0.0004231 0.0001765 0.005459 0.4112 1 -0.00000927 0.00009993 0.001736 0.0005702 0.02388 4.374 0.2265 0.002525 0.0004208 1 1 0.001548 0.01777 0.08227 0.006519 0.07484 0.3464 json
t14_x6_u4_b20 14 6 4 20 cil(sub(dot(P,R),P)) 52494 113931644 o1(o2(o2(x,x),x)) true 78919 78919 0.06755 0.5326 0.9123 0.8821 0.9392 -1 1 2 1 2.233 0.01247 0.01546 0.05546 -0.1069 1 -0.00002223 0.02059 0.03878 0.02484 0.1576 2.842 1.746 0.03167 0.02334 1 1 0.03967 0.3189 0.792 0.04498 0.3615 0.8978 json
t14_x6_u4_b21 14 6 4 21 cil(sub(dst(P,R),P)) 52495 113931645 o1(o2(o2(x,x),x)) true 78927 78927 0.9464 0.9988 0.9464 0.03776 0.1943 8.471e-8 1 1 1 0.7642 0.0003636 0.0004546 0.007841 -0.1112 1 -0.00001008 0.0001244 0.002363 0.0007564 0.0275 3.508 0.2265 0.02167 0.003294 1 1 0.001998 0.02332 0.07128 0.05292 0.6175 1.888 json
t14_x6_u4_b22 14 6 4 22 cil(mlt(add(P,R),P)) 52496 113931646 o1(o2(o2(x,x),x)) true 78935 78935 0.9488 1 0.9488 0.03868 0.1967 0.000291 1 0.9997 1 0.6599 0.00105 0.0000267 0.008058 0.9504 1 -0.000003397 0.0001962 0.002843 0.001012 0.03181 3.947 0.2265 0.02784 0.005072 1 1 0.002715 0.02895 0.05763 0.07018 0.7485 1.49 json
t14_x6_u4_b23 14 6 4 23 cil(mlt(sub(P,R),P)) 52497 113931647 o1(o2(o2(x,x),x)) true 78943 78943 0.9476 1 0.9476 0.03937 0.1984 0.000291 1 0.9997 1 0.6793 0.001012 0.0000267 0.008059 0.9486 1 -0.000003397 0.0001812 0.002732 0.0009739 0.03121 3.872 0.2265 0.02639 0.004602 1 1 0.002662 0.02869 0.05828 0.06761 0.7286 1.48 json
t14_x6_u4_b24 14 6 4 24 cil(mlt(mlt(P,R),P)) 52498 113931648 o1(o2(o2(x,x),x)) true 78951 78951 0.08325 0.5661 0.8399 0.8003 0.8946 -1 1 2 1 2.617 0.04738 0.05737 0.1004 -0.09532 1 0.00009844 0.1951 0.1197 0.09471 0.3077 3.066 2.828 0.1309 0.2438 1 1 0.1096 0.6385 1.283 0.1369 0.7979 1.603 json
t14_x6_u4_b25 14 6 4 25 cil(mlt(div(P,R),P)) 52499 113931649 o1(o2(o2(x,x),x)) true 78959 78959 -0.03437 0.4854 0.9427 0.9301 0.9644 -1 1 2 1 1.723 0.086 0.1049 0.1163 -0.09902 1 -0.0001121 0.4683 0.2016 0.1775 0.4213 3.624 2.828 0.2052 0.5035 1 1 0.1944 0.8772 1.803 0.209 0.9431 1.938 json