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_x17_u4_b9 14 17 4 9 cil(add(dot(D,R),R)) 61800 114376044 o1(o2(o2(x,x),x)) true 153367 153367 0.4608 0.8312 0.5371 0.2308 0.4804 -1 1 2 1 3.878 0.01256 0.01713 0.09323 -0.1539 1 -0.00009733 0.07696 0.09732 0.02099 0.1449 1.554 1.414 0.1286 0.3335 1 1 0.03289 0.2026 0.4042 0.1425 0.8778 1.751 json
t14_x17_u4_b10 14 17 4 10 cil(add(dst(D,R),R)) 61801 114376045 o1(o2(o2(x,x),x)) true 153375 153375 0.9816 1 0.9816 0.009929 0.09964 0.0005821 1 0.9994 1 0.4338 0.00359 0.002351 0.01309 0.2085 1 0.000005931 0.01852 0.02006 0.00577 0.07596 5.804 1.394 0.5983 1.865 1 1 0.006411 0.01818 0.02115 0.6456 1.831 2.13 json
t14_x17_u4_b11 14 17 4 11 cil(sub(add(D,R),R)) 61802 114376046 o1(o2(o2(x,x),x)) true 153383 153383 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_x17_u4_b12 14 17 4 12 cil(sub(sub(D,R),R)) 61803 114376047 o1(o2(o2(x,x),x)) true 153391 153391 0.3073 0.6727 0.6891 0.5051 0.7107 -1 1 2 1 3.975 0.02796 0.009242 0.1168 0.5031 1 -0.0002364 0.04558 0.09524 0.02355 0.1535 1.313 1.103 0.07364 0.09024 1 1 0.05379 0.4221 0.9596 0.1065 0.8356 1.9 json
t14_x17_u4_b13 14 17 4 13 cil(sub(mlt(D,R),R)) 61804 114376048 o1(o2(o2(x,x),x)) true 153399 153399 0.4752 0.8601 0.5452 0.2216 0.4708 -0.9991 1 1.999 1 3.899 0.01148 0.003675 0.07496 0.5149 1 0.0002779 0.0183 0.04285 0.009535 0.09764 1.303 1 0.06837 0.08256 1 1 0.0204 0.1721 0.4145 0.09204 0.7765 1.87 json
t14_x17_u4_b14 14 17 4 14 cil(sub(div(D,R),R)) 61805 114376049 o1(o2(o2(x,x),x)) true 153407 153407 0.3208 0.6884 0.6677 0.4839 0.6957 -1 1 2 1 3.885 0.07366 0.01283 0.1606 0.7033 1 0.0007015 0.1474 0.2027 0.0607 0.2464 1.534 2.091 0.1787 0.3046 1 1 0.09566 0.5473 0.9052 0.1977 1.131 1.871 json
t14_x17_u4_b15 14 17 4 15 cil(sub(pow(D,R),R)) 61806 114376050 o1(o2(o2(x,x),x)) true 153415 153415 -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_x17_u4_b16 14 17 4 16 cil(sub(mod(D,R),R)) 61807 114376051 o1(o2(o2(x,x),x)) true 153423 153423 0.4688 0.8571 0.5519 0.2348 0.4845 -0.9991 1 1.999 1 3.893 0.01502 0.003884 0.08121 0.5891 1 0.00005447 0.02495 0.05434 0.01231 0.1109 1.366 0.9998 0.08052 0.1063 1 1 0.02531 0.1889 0.4414 0.1078 0.8045 1.88 json
t14_x17_u4_b17 14 17 4 17 cil(sub(lrg(D,R),R)) 61808 114376052 o1(o2(o2(x,x),x)) true 153431 153431 0.6774 0.976 0.6774 0.1612 0.4015 0 1 1 1 2.555 0.01081 0.003911 0.05987 0.4686 1 -0.0001179 0.01773 0.04647 0.01114 0.1055 1.763 0.9994 0.09131 0.11 1 1 0.0199 0.1485 0.2929 0.1234 0.921 1.816 json
t14_x17_u4_b18 14 17 4 18 cil(sub(eql(D,R),R)) 61809 114376053 o1(o2(o2(x,x),x)) true 153439 153439 0.5176 0.9429 0.5176 0.1537 0.3921 0 1 1 1 3.428 0.001979 0.002443 0.05171 -0.105 1 0.00001745 0.0002796 0.01264 0.001748 0.04181 0.8085 0.2454 0.02876 0.001819 1 1 0.008731 0.1124 0.2862 0.0568 0.7315 1.862 json
t14_x17_u4_b19 14 17 4 19 cil(sub(min(D,R),R)) 61810 114376054 o1(o2(o2(x,x),x)) true 153447 153447 -0.08059 0 0.08059 0.03574 0.1891 -0.9994 0 0.9994 1 2.209 0.01092 0.0004915 0.03487 0.9139 1 0.0001176 0.02161 0.03701 0.0102 0.101 2.896 0.9994 0.3194 0.6045 1 1 0.01212 0.04703 0.06625 0.3389 1.316 1.853 json
t14_x17_u4_b20 14 17 4 20 cil(sub(dot(D,R),R)) 61811 114376055 o1(o2(o2(x,x),x)) true 153455 153455 0.4644 0.8349 0.5452 0.2324 0.4821 -0.9997 1 2 1 3.926 0.01385 0.01802 0.09701 -0.1308 1 -0.0001383 0.08302 0.1011 0.02246 0.1499 1.545 1.413 0.1371 0.3572 1 1 0.03627 0.2176 0.4352 0.156 0.9363 1.872 json
t14_x17_u4_b21 14 17 4 21 cil(sub(dst(D,R),R)) 61812 114376056 o1(o2(o2(x,x),x)) true 153463 153463 0.9796 1 0.9796 0.0109 0.1044 0.007704 1 0.9923 1 0.4737 0.003747 0.002637 0.01448 0.1739 1 0.0001505 0.02012 0.02193 0.006176 0.07859 5.426 1.393 0.5857 1.846 1 1 0.005211 0.01619 0.01789 0.478 1.485 1.641 json
t14_x17_u4_b22 14 17 4 22 cil(mlt(add(D,R),R)) 61813 114376057 o1(o2(o2(x,x),x)) true 153471 153471 0.8809 0.9983 0.8809 0.05487 0.2342 0 1 1 1 1.95 0.01824 0.0008611 0.05434 0.9098 1 0.000547 0.03669 0.06559 0.01614 0.1271 2.338 0.9997 0.3481 0.6687 1 1 0.01844 0.06977 0.09713 0.3362 1.272 1.77 json
t14_x17_u4_b23 14 17 4 23 cil(mlt(sub(D,R),R)) 61814 114376058 o1(o2(o2(x,x),x)) true 153479 153479 0.06523 0.5449 0.1746 0.0959 0.3097 -0.9998 1 2 1 3.414 0.02887 0.001346 0.08227 0.9109 1 0.0002024 0.058 0.09612 0.02345 0.1531 1.861 0.9997 0.3151 0.6048 1 1 0.02895 0.1125 0.1807 0.3019 1.173 1.884 json
t14_x17_u4_b24 14 17 4 24 cil(mlt(mlt(D,R),R)) 61815 114376059 o1(o2(o2(x,x),x)) true 153487 153487 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_x17_u4_b25 14 17 4 25 cil(mlt(div(D,R),R)) 61816 114376060 o1(o2(o2(x,x),x)) true 153495 153495 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_x17_u4_b26 14 17 4 26 cil(mlt(pow(D,R),R)) 61817 114376061 o1(o2(o2(x,x),x)) true 153503 153503 -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_x17_u4_b27 14 17 4 27 cil(mlt(mod(D,R),R)) 61818 114376062 o1(o2(o2(x,x),x)) true 153511 153511 0.5039 0.9395 0.5039 0.147 0.3834 0 1 1 1 3.516 0.04778 0.002278 0.1019 0.909 1 0.00001497 0.09324 0.1121 0.03968 0.1992 1.955 1 0.3406 0.6344 1 1 0.05494 0.2454 0.2817 0.3738 1.67 1.917 json
t14_x17_u4_b28 14 17 4 28 cil(mlt(lrg(D,R),R)) 61819 114376063 o1(o2(o2(x,x),x)) true 153519 153519 0.05923 0.3556 0.05923 0.02567 0.1602 0 0.9994 0.9994 1 1.251 0.008427 0.0003582 0.02849 0.9185 1 -0.00004931 0.01697 0.0305 0.007977 0.08931 3.135 0.9994 0.3423 0.6611 1 1 0.007699 0.02811 0.04308 0.3 1.095 1.679 json
t14_x17_u4_b29 14 17 4 29 cil(mlt(eql(D,R),R)) 61820 114376064 o1(o2(o2(x,x),x)) true 153527 153527 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_x17_u4_b30 14 17 4 30 cil(mlt(min(D,R),R)) 61821 114376065 o1(o2(o2(x,x),x)) true 153535 153535 0.7607 1 0.7607 0.1075 0.3279 0.000291 1 0.9997 1 2.776 0.02734 0.00118 0.06882 0.9172 1 0.00001639 0.05101 0.06655 0.02378 0.1542 2.241 0.9997 0.2652 0.4745 1 1 0.03061 0.1388 0.1417 0.2847 1.291 1.318 json
t14_x17_u4_b31 14 17 4 31 cil(mlt(dot(D,R),R)) 61822 114376066 o1(o2(o2(x,x),x)) true 153543 153543 0.5027 0.9583 0.5028 0.1283 0.3582 -0.145 1 1.145 1 3.754 0.03569 0.0337 0.1342 0.02861 1 -0.00001318 0.2207 0.1822 0.05138 0.2267 1.689 1.413 0.5409 1.72 1 1 0.07392 0.2617 0.1983 0.5762 2.04 1.546 json
t14_x17_u4_b32 14 17 4 32 cil(mlt(dst(D,R),R)) 61823 114376067 o1(o2(o2(x,x),x)) true 153551 153551 0.4355 0.8189 0.5547 0.2699 0.5196 -1 1 2 1 3.975 0.009445 0.008592 0.07954 0.04729 1 -0.00006745 0.03505 0.05254 0.01171 0.1082 1.361 1.409 0.06682 0.1298 1 1 0.02337 0.1991 0.4738 0.08656 0.7376 1.755 json
t14_x17_u4_b33 14 17 4 33 cil(div(add(D,R),R)) 61824 114376068 o1(o2(o2(x,x),x)) true 153559 153559 0.8133 0.9224 0.934 0.248 0.498 -1 1 2 1 1.509 0.03503 0.008652 0.06601 0.6038 1 0.000372 0.07023 0.08693 0.03934 0.1983 3.005 2.16 0.1761 0.2831 1 1 0.04645 0.2565 0.4497 0.1873 1.034 1.813 json
t14_x17_u4_b34 14 17 4 34 cil(div(sub(D,R),R)) 61825 114376069 o1(o2(o2(x,x),x)) true 153567 153567 -0.3731 0.2357 0.6331 0.4103 0.6405 -1 1 2 1 3.925 0.0833 0.01025 0.1634 0.7809 1 0.0000757 0.1665 0.2145 0.06685 0.2586 1.583 2.027 0.228 0.4058 1 1 0.1051 0.5465 0.8131 0.2562 1.332 1.982 json
t14_x17_u4_b35 14 17 4 35 cil(div(mlt(D,R),R)) 61826 114376070 o1(o2(o2(x,x),x)) true 153575 153575 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_x17_u4_b36 14 17 4 36 cil(div(div(D,R),R)) 61827 114376071 o1(o2(o2(x,x),x)) true 153583 153583 0.2369 0.6856 0.7679 0.6578 0.8111 -1 1 2 1 3.198 0.1582 0.02394 0.2066 0.7371 1 0.0002282 0.3421 0.2934 0.1394 0.3734 1.807 2.828 0.2769 0.52 1 1 0.1825 0.766 1.069 0.2774 1.164 1.625 json
t14_x17_u4_b37 14 17 4 37 cil(div(pow(D,R),R)) 61828 114376072 o1(o2(o2(x,x),x)) true 153591 153591 -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_x17_u4_b38 14 17 4 38 cil(div(mod(D,R),R)) 61829 114376073 o1(o2(o2(x,x),x)) true 153599 153599 0.5039 0.9395 0.5039 0.147 0.3834 0 1 1 1 3.516 0.04778 0.002278 0.1019 0.909 1 0.00001497 0.09324 0.1121 0.03968 0.1992 1.955 1 0.3406 0.6344 1 1 0.05494 0.2454 0.2817 0.3738 1.67 1.917 json
t14_x17_u4_b39 14 17 4 39 cil(div(lrg(D,R),R)) 61830 114376074 o1(o2(o2(x,x),x)) true 153607 153607 -0.3831 0.1876 0.6121 0.3992 0.6318 -1 1 2 1 3.612 0.05531 0.01263 0.1146 0.6282 1 -0.00009739 0.1123 0.1246 0.05483 0.2342 2.044 2.032 0.1702 0.2814 1 1 0.07759 0.3898 0.757 0.1944 0.9767 1.896 json
t14_x17_u4_b40 14 17 4 40 cil(div(eql(D,R),R)) 61831 114376075 o1(o2(o2(x,x),x)) true 153615 153615 -0.00004008 0 0.00004008 0.00001031 0.00321 -0.3282 0 0.3282 1 0.003875 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_x17_u4_b41 14 17 4 41 cil(div(min(D,R),R)) 61832 114376076 o1(o2(o2(x,x),x)) true 153623 153623 0.6677 0.9271 0.7677 0.2562 0.5061 -1 1 2 1 2.957 0.04438 0.005839 0.09901 0.7675 1 0.0003384 0.08593 0.114 0.04041 0.201 2.03 2.091 0.196 0.3355 1 1 0.05535 0.2665 0.4292 0.2161 1.04 1.676 json
t14_x17_u4_b42 14 17 4 42 cil(div(dot(D,R),R)) 61833 114376077 o1(o2(o2(x,x),x)) true 153631 153631 0.4404 0.8525 0.5747 0.2729 0.5224 -1 1 2 1 4.118 0.0413 0.0531 0.1692 -0.125 1 0.0003 0.2726 0.2501 0.06576 0.2564 1.515 2.05 0.346 0.9991 1 1 0.1038 0.4325 0.5096 0.3804 1.585 1.868 json
t14_x17_u4_b43 14 17 4 43 cil(div(dst(D,R),R)) 61834 114376078 o1(o2(o2(x,x),x)) true 153639 153639 0.0582 0.5233 0.8864 0.8438 0.9186 -1 1 2 1 2.615 0.03584 0.04295 0.1225 -0.09024 1 0.00002259 0.1124 0.1267 0.06376 0.2525 2.062 2.828 0.09339 0.1332 1 1 0.1163 0.771 1.693 0.1379 0.9138 2.006 json
t14_x17_u4_b44 14 17 4 44 cil(pow(add(D,R),R)) 61835 114376079 o1(o2(o2(x,x),x)) true 153647 153647 -0.8745 0.06274 1 0.2352 0.4849 -1 1 2 1 0.3382 0.1005 0.02142 0.06042 0.6488 1 0.0005039 0.2643 0.1214 0.1182 0.3438 5.69 2.828 0.5186 1.124 1 1 0.1075 0.3219 0.4816 0.4573 1.369 2.048 json
t14_x17_u4_b45 14 17 4 45 cil(pow(sub(D,R),R)) 61836 114376080 o1(o2(o2(x,x),x)) true 153655 153655 -0.8691 0.06543 1 0.2448 0.4947 -1 1 2 1 0.3486 0.1129 0.02349 0.06747 0.6554 1 0 0.31 0.1364 0.1318 0.363 5.381 2.828 0.5571 1.267 1 1 0.1388 0.3591 0.4387 0.567 1.467 1.792 json
t14_x17_u4_b46 14 17 4 46 cil(pow(mlt(D,R),R)) 61837 114376081 o1(o2(o2(x,x),x)) true 153663 153663 -0.9219 0.03906 1 0.1501 0.3874 -1 1 2 1 0.238 0.01965 0.01612 0.01776 0.09859 1 0 0.07559 0.03578 0.03547 0.1883 10.6 2.828 0.2384 0.5037 1 1 0.03789 0.1542 0.336 0.2525 1.028 2.239 json
t14_x17_u4_b47 14 17 4 47 cil(pow(div(D,R),R)) 61838 114376082 o1(o2(o2(x,x),x)) true 153671 153671 -0.9219 0.03906 1 0.1501 0.3874 -1 1 2 1 0.238 0.01965 0.01612 0.01776 0.09859 1 0 0.07559 0.03578 0.03547 0.1883 10.6 2.828 0.2384 0.5037 1 1 0.03789 0.1542 0.336 0.2525 1.028 2.239 json
t14_x17_u4_b48 14 17 4 48 cil(pow(pow(D,R),R)) 61839 114376083 o1(o2(o2(x,x),x)) true 153679 153679 -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_x17_u4_b49 14 17 4 49 cil(pow(mod(D,R),R)) 61840 114376084 o1(o2(o2(x,x),x)) true 153687 153687 -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_x17_u4_b50 14 17 4 50 cil(pow(lrg(D,R),R)) 61841 114376085 o1(o2(o2(x,x),x)) true 153695 153695 0.1974 0.7126 0.7345 0.6409 0.8005 -1 1 2 1 3.031 0.1918 0.07928 0.189 0.4151 1 -0.0003429 0.5909 0.3314 0.2354 0.4852 2.567 2.828 0.4231 0.922 1 1 0.2815 0.9304 1.169 0.4392 1.452 1.824 json
t14_x17_u4_b51 14 17 4 51 cil(pow(eql(D,R),R)) 61842 114376086 o1(o2(o2(x,x),x)) true 153703 153703 -0.8398 0.05859 0.957 0.2516 0.5016 -1 1 2 1 0.5738 0.02942 0.03294 0.03498 -0.05657 1 0 0.1323 0.07048 0.06113 0.2472 7.068 2.828 0.2479 0.5258 1 1 0.06126 0.2521 0.5343 0.2435 1.002 2.124 json
t14_x17_u4_b52 14 17 4 52 cil(pow(min(D,R),R)) 61843 114376087 o1(o2(o2(x,x),x)) true 153711 153711 -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_x17_u4_b53 14 17 4 53 cil(pow(dot(D,R),R)) 61844 114376088 o1(o2(o2(x,x),x)) true 153719 153719 -0.8639 0.06805 1 0.2537 0.5037 -1 1 2 1 0.3586 0.07804 0.06885 0.06761 0.06261 1 -0.0003779 0.467 0.1468 0.1422 0.3772 5.578 2.828 0.579 1.841 1 1 0.1518 0.4325 0.5568 0.5984 1.705 2.195 json
t14_x17_u4_b54 14 17 4 54 cil(pow(dst(D,R),R)) 61845 114376089 o1(o2(o2(x,x),x)) true 153727 153727 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_x17_u4_b55 14 17 4 55 cil(mod(add(D,R),R)) 61846 114376090 o1(o2(o2(x,x),x)) true 153735 153735 0.4995 0.9338 0.4995 0.1438 0.3792 0 1 1 1 3.559 0.01982 0.002087 0.08162 0.8094 1 0.00001479 0.0372 0.07003 0.01524 0.1235 1.513 0.9997 0.1524 0.2587 1 1 0.02404 0.145 0.2603 0.1672 1.009 1.81 json
t14_x17_u4_b56 14 17 4 56 cil(mod(sub(D,R),R)) 61847 114376091 o1(o2(o2(x,x),x)) true 153743 153743 0.5008 0.9274 0.5008 0.1466 0.3828 0 1 1 1 3.529 0.0202 0.00212 0.08084 0.81 1 -0.00001414 0.03816 0.07051 0.01579 0.1257 1.554 0.9997 0.1523 0.2603 1 1 0.02456 0.14 0.2709 0.1675 0.9553 1.848 json
t14_x17_u4_b57 14 17 4 57 cil(mod(mlt(D,R),R)) 61848 114376092 o1(o2(o2(x,x),x)) true 153751 153751 0.5039 0.9395 0.5039 0.147 0.3834 0 1 1 1 3.516 0.04778 0.002278 0.1019 0.909 1 0.00001497 0.09324 0.1121 0.03968 0.1992 1.955 1 0.3406 0.6344 1 1 0.05494 0.2454 0.2817 0.3738 1.67 1.917 json
t14_x17_u4_b58 14 17 4 58 cil(mod(div(D,R),R)) 61849 114376093 o1(o2(o2(x,x),x)) true 153759 153759 0.5039 0.9395 0.5039 0.147 0.3834 0 1 1 1 3.516 0.04778 0.002278 0.1019 0.909 1 0.00001497 0.09324 0.1121 0.03968 0.1992 1.955 1 0.3406 0.6344 1 1 0.05494 0.2454 0.2817 0.3738 1.67 1.917 json
t14_x17_u4_b59 14 17 4 59 cil(mod(pow(D,R),R)) 61850 114376094 o1(o2(o2(x,x),x)) true 153767 153767 -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_x17_u4_b60 14 17 4 60 cil(mod(mod(D,R),R)) 61851 114376095 o1(o2(o2(x,x),x)) true 153775 153775 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_x17_u4_b61 14 17 4 61 cil(mod(lrg(D,R),R)) 61852 114376096 o1(o2(o2(x,x),x)) true 153783 153783 0.5008 0.9274 0.5008 0.1466 0.3828 0 1 1 1 3.529 0.0202 0.00212 0.08084 0.81 1 -0.00001414 0.03816 0.07051 0.01579 0.1257 1.554 0.9997 0.1523 0.2603 1 1 0.02456 0.14 0.2709 0.1675 0.9553 1.848 json
t14_x17_u4_b62 14 17 4 62 cil(mod(eql(D,R),R)) 61853 114376097 o1(o2(o2(x,x),x)) true 153791 153791 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_x17_u4_b63 14 17 4 63 cil(mod(min(D,R),R)) 61854 114376098 o1(o2(o2(x,x),x)) true 153799 153799 0.1975 0.5052 0.1975 0.1028 0.3206 0 0.9997 0.9997 1 2.326 0.03186 0.001051 0.06694 0.9361 1 0.00003566 0.06231 0.08005 0.02844 0.1686 2.519 0.9997 0.3202 0.606 1 1 0.03279 0.1349 0.1439 0.319 1.312 1.399 json
t14_x17_u4_b64 14 17 4 64 cil(mod(dot(D,R),R)) 61855 114376099 o1(o2(o2(x,x),x)) true 153807 153807 0.5067 0.9349 0.5067 0.1513 0.389 0 1 1 1 3.462 0.03526 0.03434 0.1236 0.0132 1 -0.0002918 0.2205 0.1794 0.05433 0.2331 1.886 1.414 0.4599 1.457 1 1 0.07404 0.2846 0.3006 0.4893 1.881 1.986 json
t14_x17_u4_b65 14 17 4 65 cil(mod(dst(D,R),R)) 61856 114376100 o1(o2(o2(x,x),x)) true 153815 153815 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_x17_u4_b66 14 17 4 66 cil(lrg(add(D,R),R)) 61857 114376101 o1(o2(o2(x,x),x)) true 153823 153823 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_x17_u4_b67 14 17 4 67 cil(lrg(sub(D,R),R)) 61858 114376102 o1(o2(o2(x,x),x)) true 153831 153831 0.5102 0.9251 0.5102 0.1541 0.3926 0 1 1 1 3.432 0.01004 0.002285 0.06307 0.6294 1 -0.00008437 0.01703 0.03881 0.008353 0.0914 1.449 0.9997 0.08 0.1105 1 1 0.01554 0.1282 0.294 0.1009 0.8321 1.907 json
t14_x17_u4_b68 14 17 4 68 cil(lrg(mlt(D,R),R)) 61859 114376103 o1(o2(o2(x,x),x)) true 153839 153839 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_x17_u4_b69 14 17 4 69 cil(lrg(div(D,R),R)) 61860 114376104 o1(o2(o2(x,x),x)) true 153847 153847 0.4924 0.9241 0.4924 0.1537 0.392 0 1 1 1 3.432 0.02995 0.002237 0.08767 0.861 1 0.0002227 0.05769 0.09089 0.02451 0.1566 1.786 0.9997 0.2094 0.3754 1 1 0.03571 0.1851 0.2907 0.2324 1.204 1.892 json
t14_x17_u4_b70 14 17 4 70 cil(lrg(pow(D,R),R)) 61861 114376105 o1(o2(o2(x,x),x)) true 153855 153855 0.8685 1 0.8685 0.07477 0.2734 0.000291 1 0.9997 1 1.769 0.02646 0.0008739 0.05205 0.9361 1 -0.0002899 0.05809 0.06721 0.02462 0.1569 3.015 0.9997 0.3656 0.7769 1 1 0.02736 0.09925 0.1234 0.3659 1.327 1.65 json
t14_x17_u4_b71 14 17 4 71 cil(lrg(mod(D,R),R)) 61862 114376106 o1(o2(o2(x,x),x)) true 153863 153863 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_x17_u4_b72 14 17 4 72 cil(lrg(lrg(D,R),R)) 61863 114376107 o1(o2(o2(x,x),x)) true 153871 153871 0.5768 0.9752 0.5768 0.1518 0.3896 0 1 1 1 3.35 0.01015 0.002268 0.0614 0.6347 1 -0.0000315 0.01717 0.03834 0.00865 0.093 1.515 0.9994 0.0818 0.1131 1 1 0.01515 0.1243 0.2844 0.09979 0.819 1.874 json
t14_x17_u4_b73 14 17 4 73 cil(lrg(eql(D,R),R)) 61864 114376108 o1(o2(o2(x,x),x)) true 153879 153879 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_x17_u4_b74 14 17 4 74 cil(lrg(min(D,R),R)) 61865 114376109 o1(o2(o2(x,x),x)) true 153887 153887 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_x17_u4_b75 14 17 4 75 cil(lrg(dot(D,R),R)) 61866 114376110 o1(o2(o2(x,x),x)) true 153895 153895 0.5134 0.9291 0.5134 0.1558 0.3948 0 1 1 1 3.396 0.004698 0.01157 0.06796 -0.4223 1 -0.00006323 0.03601 0.05617 0.01165 0.1079 1.588 1.404 0.1044 0.231 1 1 0.01916 0.1367 0.2881 0.123 0.877 1.849 json
t14_x17_u4_b76 14 17 4 76 cil(lrg(dst(D,R),R)) 61867 114376111 o1(o2(o2(x,x),x)) true 153903 153903 0.965 1 0.965 0.01759 0.1326 0.007413 1 0.9926 1 0.7694 0.004825 0.003407 0.0189 0.1722 1 0.0001942 0.02588 0.02596 0.007877 0.08875 4.697 1.404 0.4679 1.471 1 1 0.006846 0.02466 0.02854 0.3891 1.402 1.622 json
t14_x17_u4_b77 14 17 4 77 cil(eql(add(D,R),R)) 61868 114376112 o1(o2(o2(x,x),x)) true 153911 153911 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_x17_u4_b78 14 17 4 78 cil(eql(sub(D,R),R)) 61869 114376113 o1(o2(o2(x,x),x)) true 153919 153919 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_x17_u4_b79 14 17 4 79 cil(eql(mlt(D,R),R)) 61870 114376114 o1(o2(o2(x,x),x)) true 153927 153927 2.132e-7 0.000824 2.132e-7 4.854e-11 0.000006967 0 0.000291 0.000291 1 0 1.003e-10 7.118e-13 4.44e-7 0.9859 0 -1.038e-10 3.039e-10 8.803e-7 1.008e-10 0.00001004 22.61 0.000291 2.082 6.261 1 1 6.049e-11 8.031e-11 1.177e-10 1.246 1.655 2.424 json
t14_x17_u4_b80 14 17 4 80 cil(eql(div(D,R),R)) 61871 114376115 o1(o2(o2(x,x),x)) true 153935 153935 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_x17_u4_b81 14 17 4 81 cil(eql(pow(D,R),R)) 61872 114376116 o1(o2(o2(x,x),x)) true 153943 153943 7.106e-8 0.0002747 7.106e-8 1.62e-11 0.000004024 0 0.000291 0.000291 1 0 3.345e-11 2.373e-13 1.48e-7 0.9859 0 6.74e-16 1.013e-10 2.935e-7 3.364e-11 0.0000058 39.18 0.000291 2.08 6.255 1 1 1.278e-11 1.697e-11 1.855e-11 0.7888 1.048 1.145 json
t14_x17_u4_b82 14 17 4 82 cil(eql(mod(D,R),R)) 61873 114376117 o1(o2(o2(x,x),x)) true 153951 153951 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_x17_u4_b83 14 17 4 83 cil(eql(lrg(D,R),R)) 61874 114376118 o1(o2(o2(x,x),x)) true 153959 153959 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_x17_u4_b84 14 17 4 84 cil(eql(eql(D,R),R)) 61875 114376119 o1(o2(o2(x,x),x)) true 153967 153967 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_x17_u4_b85 14 17 4 85 cil(eql(min(D,R),R)) 61876 114376120 o1(o2(o2(x,x),x)) true 153975 153975 0.5009 0.9274 0.5009 0.1466 0.3829 0 1 1 1 3.529 0.0202 0.00212 0.08082 0.81 1 -0.00001403 0.03815 0.07049 0.01579 0.1257 1.555 0.9997 0.1522 0.2602 1 1 0.02456 0.14 0.2709 0.1675 0.9551 1.848 json
t14_x17_u4_b86 14 17 4 86 cil(eql(dot(D,R),R)) 61877 114376121 o1(o2(o2(x,x),x)) true 153983 153983 0.00009826 0.000351 0.00009826 0.0000607 0.007791 0 0.8991 0.8991 1 0.003532 0.0001253 0.0001253 0.0003462 0 1 0 0.001253 0.0008112 0.0002505 0.01583 45.71 1.271 4.129 20.65 1 1 0.0001569 0.0001561 0.0001449 2.584 2.571 2.387 json
t14_x17_u4_b87 14 17 4 87 cil(eql(dst(D,R),R)) 61878 114376122 o1(o2(o2(x,x),x)) true 153991 153991 0.00003112 0.0001068 0.00003112 0.00001826 0.004274 0 0.9414 0.9414 1 0.001536 0.0000377 0.0000377 0.0001096 0 0 7.997e-10 0.000377 0.0002569 0.00007538 0.008682 79.18 1.331 4.128 20.64 1 1 0.00005579 0.00005579 0.0000558 3.055 3.055 3.055 json
t14_x17_u4_b88 14 17 4 88 cil(min(add(D,R),R)) 61879 114376123 o1(o2(o2(x,x),x)) true 153999 153999 0.3522 0.7604 0.443 0.2117 0.4601 -0.9994 1 1.999 1 4.197 0.02052 0.003039 0.08913 0.742 1 0.0008008 0.03639 0.06997 0.01561 0.1249 1.402 0.9994 0.1112 0.1719 1 1 0.02694 0.1768 0.3713 0.1272 0.8351 1.754 json
t14_x17_u4_b89 14 17 4 89 cil(min(sub(D,R),R)) 61880 114376124 o1(o2(o2(x,x),x)) true 154007 154007 -0.02136 0.2872 0.1155 0.0583 0.2415 -0.9994 0.9994 1.999 1 2.955 0.01907 0.0008195 0.05955 0.9176 1 0.00006824 0.03857 0.06584 0.01634 0.1278 2.147 0.9994 0.3411 0.6615 1 1 0.01901 0.06647 0.1083 0.326 1.14 1.857 json
t14_x17_u4_b90 14 17 4 90 cil(min(mlt(D,R),R)) 61881 114376125 o1(o2(o2(x,x),x)) true 154015 154015 0.2432 0.7246 0.2432 0.1087 0.3297 0 0.9997 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 -0.00000142 0.05102 0.06666 0.02362 0.1537 2.186 0.9997 0.2627 0.4693 1 1 0.03085 0.1411 0.1423 0.2838 1.298 1.309 json
t14_x17_u4_b91 14 17 4 91 cil(min(div(D,R),R)) 61882 114376126 o1(o2(o2(x,x),x)) true 154023 154023 0.01674 0.5075 0.3757 0.2824 0.5314 -1 0.9997 2 1 4.285 0.05563 0.004875 0.1307 0.8389 1 0.000909 0.104 0.1495 0.04342 0.2084 1.594 2 0.2142 0.3682 1 1 0.06496 0.318 0.4575 0.23 1.126 1.62 json
t14_x17_u4_b92 14 17 4 92 cil(min(pow(D,R),R)) 61883 114376127 o1(o2(o2(x,x),x)) true 154031 154031 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_x17_u4_b93 14 17 4 93 cil(min(mod(D,R),R)) 61884 114376128 o1(o2(o2(x,x),x)) true 154039 154039 0.2432 0.7246 0.2432 0.1087 0.3297 0 0.9997 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 -0.00000142 0.05102 0.06666 0.02362 0.1537 2.186 0.9997 0.2627 0.4693 1 1 0.03085 0.1411 0.1423 0.2838 1.298 1.309 json
t14_x17_u4_b94 14 17 4 94 cil(min(lrg(D,R),R)) 61885 114376129 o1(o2(o2(x,x),x)) true 154047 154047 0.05923 0.3556 0.05923 0.02567 0.1602 0 0.9994 0.9994 1 1.251 0.008427 0.0003582 0.02849 0.9185 1 -0.00004931 0.01697 0.0305 0.007977 0.08931 3.135 0.9994 0.3423 0.6611 1 1 0.007699 0.02811 0.04308 0.3 1.095 1.679 json
t14_x17_u4_b95 14 17 4 95 cil(min(eql(D,R),R)) 61886 114376130 o1(o2(o2(x,x),x)) true 154055 154055 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_x17_u4_b96 14 17 4 96 cil(min(min(D,R),R)) 61887 114376131 o1(o2(o2(x,x),x)) true 154063 154063 0.2432 0.7246 0.2432 0.1087 0.3297 0 0.9997 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 -0.00000142 0.05102 0.06666 0.02362 0.1537 2.186 0.9997 0.2627 0.4693 1 1 0.03085 0.1411 0.1423 0.2838 1.298 1.309 json
t14_x17_u4_b97 14 17 4 97 cil(min(dot(D,R),R)) 61888 114376132 o1(o2(o2(x,x),x)) true 154071 154071 0.2451 0.6676 0.2459 0.1082 0.329 -0.195 1 1.195 1 3.012 0.01769 0.01756 0.07627 0.003747 1 -0.000155 0.1103 0.0937 0.02943 0.1716 2.249 1.413 0.3256 1.019 1 1 0.03721 0.1588 0.1952 0.3438 1.467 1.804 json
t14_x17_u4_b98 14 17 4 98 cil(min(dst(D,R),R)) 61889 114376133 o1(o2(o2(x,x),x)) true 154079 154079 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_x17_u4_b99 14 17 4 99 cil(dot(add(D,R),R)) 61890 114376134 o1(o2(o2(x,x),x)) true 154087 154087 0.9964 1 0.9964 0.001156 0.034 0.03547 1 0.9645 1 0.1528 0.0004762 0.0005362 0.003582 -0.05925 1 0.000005208 0.003354 0.005501 0.0009992 0.03161 8.825 1.364 0.8759 2.901 1 1 0.000542 0.001151 0.001288 0.4689 0.9956 1.115 json
t14_x17_u4_b100 14 17 4 100 cil(dot(sub(D,R),R)) 61891 114376135 o1(o2(o2(x,x),x)) true 154095 154095 -0.5016 0.04173 0.5106 0.1765 0.4202 -1 0.9997 2 1 3.584 0.01557 0.01499 0.08444 0.01914 1 -0.0001697 0.08836 0.1029 0.02343 0.1531 1.813 1.414 0.1731 0.5005 1 1 0.03477 0.1757 0.3476 0.1969 0.9954 1.969 json
t14_x17_u4_b101 14 17 4 101 cil(dot(mlt(D,R),R)) 61892 114376136 o1(o2(o2(x,x),x)) true 154103 154103 0.5023 0.9996 0.5023 0.1168 0.3418 0.000002074 1 1 1 3.808 0.03259 0.03148 0.1321 0.01726 1 -0.0001631 0.1813 0.1691 0.04662 0.2159 1.635 1.409 0.5486 1.553 1 1 0.06881 0.2317 0.1272 0.5891 1.984 1.089 json
t14_x17_u4_b102 14 17 4 102 cil(dot(div(D,R),R)) 61893 114376137 o1(o2(o2(x,x),x)) true 154111 154111 0.4948 0.9859 0.4948 0.1004 0.3169 0 1 1 1 3.94 0.04951 0.04954 0.1726 -0.0002899 1 -0.0000636 0.3404 0.2368 0.06924 0.2631 1.525 1.409 0.9862 3.389 1 1 0.105 0.2813 0.01963 1.045 2.801 0.1955 json
t14_x17_u4_b103 14 17 4 103 cil(dot(pow(D,R),R)) 61894 114376138 o1(o2(o2(x,x),x)) true 154119 154119 -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_x17_u4_b104 14 17 4 104 cil(dot(mod(D,R),R)) 61895 114376139 o1(o2(o2(x,x),x)) true 154127 154127 0.5071 0.9355 0.5071 0.1532 0.3915 -0.05087 1 1.051 1 3.456 0.04544 0.04282 0.1519 0.02967 1 -0.0002979 0.3008 0.2495 0.06518 0.2553 1.681 1.414 0.5759 1.963 1 1 0.08253 0.2735 0.3039 0.5386 1.784 1.983 json
t14_x17_u4_b105 14 17 4 105 cil(dot(lrg(D,R),R)) 61896 114376140 o1(o2(o2(x,x),x)) true 154135 154135 -0.2332 0.167 0.284 0.1532 0.3914 -1 0.9923 1.992 1 3.604 0.006732 0.007812 0.06176 -0.07427 1 -0.00002977 0.0225 0.04831 0.01073 0.1036 1.677 1.399 0.09494 0.1469 1 1 0.01722 0.1203 0.2546 0.1124 0.7851 1.662 json
t14_x17_u4_b106 14 17 4 106 cil(dot(eql(D,R),R)) 61897 114376141 o1(o2(o2(x,x),x)) true 154143 154143 0.0002102 0.0004883 0.0002102 0.0001417 0.0119 0 0.8606 0.8606 1 0.006317 0.000002076 0.0002926 0.0004378 -0.9859 1 -2.568e-11 0.0008861 0.000868 0.0002944 0.01716 39.19 0.8606 2.08 6.254 1 1 0.0002646 0.0003513 0.0005147 1.867 2.479 3.633 json
t14_x17_u4_b107 14 17 4 107 cil(dot(min(D,R),R)) 61898 114376142 o1(o2(o2(x,x),x)) true 154151 154151 0.8923 1 0.8923 0.05515 0.2348 0.000291 1 0.9997 1 1.711 0.009505 0.009322 0.04406 0.009705 1 0.0001295 0.05297 0.05549 0.01689 0.13 2.95 1.414 0.3414 0.9605 1 1 0.02234 0.08754 0.1025 0.4051 1.587 1.858 json
t14_x17_u4_b108 14 17 4 108 cil(dot(dot(D,R),R)) 61899 114376143 o1(o2(o2(x,x),x)) true 154159 154159 0.4909 0.923 0.4959 0.1465 0.3828 -0.7346 1 1.735 1 3.741 0.03625 0.03582 0.1348 0.00602 1 0.0002764 0.2303 0.1958 0.0539 0.2322 1.722 1.414 0.4918 1.571 1 1 0.07587 0.28 0.2791 0.5177 1.911 1.905 json