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_u3_b30 14 17 3 30 flr(mlt(min(D,R),R)) 61700 114375864 o1(o2(o2(x,x),x)) true 152567 152567 -0.2393 0 0.2393 0.1075 0.3279 -0.9997 0 0.9997 1 3.299 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.4744 1 1 0.03061 0.1388 0.1417 0.2847 1.291 1.317 json
t14_x17_u3_b31 14 17 3 31 flr(mlt(dot(D,R),R)) 61701 114375865 o1(o2(o2(x,x),x)) true 152575 152575 -0.4972 0.001785 0.4972 0.1283 0.3581 -1 0.06145 1.061 1 3.86 0.03568 0.03369 0.1342 0.02861 1 -0.00001318 0.2206 0.1822 0.05136 0.2266 1.689 1.413 0.5409 1.72 1 1 0.07387 0.2615 0.1981 0.576 2.039 1.545 json
t14_x17_u3_b32 14 17 3 32 flr(mlt(dst(D,R),R)) 61702 114375866 o1(o2(o2(x,x),x)) true 152583 152583 -0.4387 0.167 0.5711 0.2792 0.5284 -1 1 2 1 4.07 0.0111 0.009576 0.0844 0.07388 1 0.0000306 0.04222 0.05657 0.01356 0.1164 1.38 1.437 0.07407 0.1512 1 1 0.02721 0.2268 0.5451 0.09748 0.8122 1.953 json
t14_x17_u3_b33 14 17 3 33 flr(div(add(D,R),R)) 61703 114375867 o1(o2(o2(x,x),x)) true 152591 152591 0.3706 0.7488 0.6233 0.4021 0.6341 -1 1 2 1 3.939 0.0835 0.01062 0.163 0.7744 1 0.0005368 0.1684 0.2155 0.06756 0.2599 1.595 2.09 0.2341 0.4188 1 1 0.101 0.5094 0.7577 0.2511 1.267 1.884 json
t14_x17_u3_b34 14 17 3 34 flr(div(sub(D,R),R)) 61704 114375868 o1(o2(o2(x,x),x)) true 152599 152599 -0.8097 0.08047 0.9303 0.2491 0.4991 -1 1 2 1 1.534 0.03586 0.008381 0.06771 0.6211 1 -0.0001282 0.07146 0.08814 0.03968 0.1992 2.942 2.091 0.1776 0.2869 1 1 0.05493 0.2943 0.4801 0.2205 1.181 1.927 json
t14_x17_u3_b35 14 17 3 35 flr(div(mlt(D,R),R)) 61705 114375869 o1(o2(o2(x,x),x)) true 152607 152607 -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_x17_u3_b36 14 17 3 36 flr(div(div(D,R),R)) 61706 114375870 o1(o2(o2(x,x),x)) true 152615 152615 -0.2323 0.3169 0.7629 0.6539 0.8086 -1 1 2 1 3.24 0.1582 0.02335 0.2093 0.7428 1 -0.0006245 0.341 0.2984 0.1378 0.3712 1.774 2.828 0.2777 0.5215 1 1 0.1792 0.7596 0.9956 0.274 1.162 1.523 json
t14_x17_u3_b37 14 17 3 37 flr(div(pow(D,R),R)) 61707 114375871 o1(o2(o2(x,x),x)) true 152623 152623 -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_u3_b38 14 17 3 38 flr(div(mod(D,R),R)) 61708 114375872 o1(o2(o2(x,x),x)) true 152631 152631 -0.4961 0 0.4961 0.147 0.3834 -1 0 1 1 3.664 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_u3_b39 14 17 3 39 flr(div(lrg(D,R),R)) 61709 114375873 o1(o2(o2(x,x),x)) true 152639 152639 -0.4855 0.1617 0.6755 0.3931 0.627 -1 1 2 1 3.027 0.05274 0.01526 0.1066 0.5513 1 0.00003348 0.1139 0.121 0.05665 0.238 2.232 2.371 0.173 0.2897 1 1 0.07567 0.3815 0.7398 0.1925 0.9704 1.882 json
t14_x17_u3_b40 14 17 3 40 flr(div(eql(D,R),R)) 61710 114375874 o1(o2(o2(x,x),x)) true 152647 152647 -0.00008015 0 0.00008015 0.00004123 0.006421 -0.6564 0 0.6564 1 0.004033 0.00005816 6.035e-7 0.0001261 0.9795 0 -2.341e-7 0.0001763 0.0002484 0.00005874 0.007664 60.78 0.6372 1.425 4.276 1 1 0 0 0.00003146 0 0 0.7631 json
t14_x17_u3_b41 14 17 3 41 flr(div(min(D,R),R)) 61711 114375875 o1(o2(o2(x,x),x)) true 152655 152655 0.1689 0.6077 0.6162 0.4877 0.6983 -1 1 2 1 4.349 0.04861 0.009685 0.1375 0.6677 1 -0.00006997 0.08802 0.133 0.03938 0.1984 1.443 2.158 0.1195 0.1805 1 1 0.06917 0.4402 0.8484 0.1418 0.9027 1.74 json
t14_x17_u3_b42 14 17 3 42 flr(div(dot(D,R),R)) 61712 114375876 o1(o2(o2(x,x),x)) true 152663 152663 -0.4181 0.1474 0.5669 0.284 0.5329 -1 1 2 1 4.161 0.04159 0.05337 0.1696 -0.124 1 -0.0002203 0.2736 0.2501 0.0662 0.2573 1.517 2.155 0.3344 0.9635 1 1 0.1043 0.4298 0.51 0.3673 1.513 1.795 json
t14_x17_u3_b43 14 17 3 43 flr(div(dst(D,R),R)) 61713 114375877 o1(o2(o2(x,x),x)) true 152671 152671 -0.1681 0.4213 0.8873 0.8193 0.9051 -1 1 2 1 2.591 0.03532 0.04187 0.1214 -0.08487 1 0.0001913 0.1104 0.1251 0.06243 0.2499 2.058 2.828 0.09423 0.1348 1 1 0.1109 0.7361 1.618 0.1353 0.8985 1.975 json
t14_x17_u3_b44 14 17 3 44 flr(pow(add(D,R),R)) 61714 114375878 o1(o2(o2(x,x),x)) true 152679 152679 -0.9296 0.06012 0.9449 0.07705 0.2776 -1 1 2 1 0.4736 0.03788 0.00699 0.03931 0.6884 1 0.0002398 0.1033 0.07462 0.04331 0.2081 5.295 2.211 0.5823 1.34 1 1 0.03972 0.1114 0.1643 0.5155 1.446 2.133 json
t14_x17_u3_b45 14 17 3 45 flr(pow(sub(D,R),R)) 61715 114375879 o1(o2(o2(x,x),x)) true 152687 152687 -0.8716 0.06543 0.9975 0.2361 0.4859 -1 1 2 1 0.4218 0.1115 0.02228 0.06859 0.6668 1 0.00001531 0.3048 0.1372 0.1291 0.3593 5.238 2.828 0.5666 1.291 1 1 0.1357 0.3489 0.4227 0.5749 1.478 1.79 json
t14_x17_u3_b46 14 17 3 46 flr(pow(mlt(D,R),R)) 61716 114375880 o1(o2(o2(x,x),x)) true 152695 152695 -0.939 0.03906 0.9829 0.0987 0.3142 -1 1 2 1 0.3405 0.01295 0.01048 0.0159 0.1056 1 -0.000001934 0.04898 0.02925 0.02317 0.1522 9.576 2.828 0.2374 0.4962 1 1 0.0261 0.1118 0.223 0.2644 1.133 2.259 json
t14_x17_u3_b47 14 17 3 47 flr(pow(div(D,R),R)) 61717 114375881 o1(o2(o2(x,x),x)) true 152703 152703 -0.9406 0.03056 0.9813 0.0938 0.3063 -1 1 2 1 0.3518 0.01383 0.01029 0.01671 0.1466 1 -0.000002842 0.05137 0.03105 0.02384 0.1544 9.237 2.828 0.2572 0.5477 1 1 0.02677 0.1101 0.2222 0.2855 1.174 2.369 json
t14_x17_u3_b48 14 17 3 48 flr(pow(pow(D,R),R)) 61718 114375882 o1(o2(o2(x,x),x)) true 152711 152711 -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_u3_b49 14 17 3 49 flr(pow(mod(D,R),R)) 61719 114375883 o1(o2(o2(x,x),x)) true 152719 152719 -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_u3_b50 14 17 3 50 flr(pow(lrg(D,R),R)) 61720 114375884 o1(o2(o2(x,x),x)) true 152727 152727 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_u3_b51 14 17 3 51 flr(pow(eql(D,R),R)) 61721 114375885 o1(o2(o2(x,x),x)) true 152735 152735 -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_u3_b52 14 17 3 52 flr(pow(min(D,R),R)) 61722 114375886 o1(o2(o2(x,x),x)) true 152743 152743 -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_u3_b53 14 17 3 53 flr(pow(dot(D,R),R)) 61723 114375887 o1(o2(o2(x,x),x)) true 152751 152751 -0.8915 0.06696 0.9724 0.1718 0.4144 -1 1 2 1 0.5758 0.05406 0.04835 0.05891 0.05578 1 -0.0003519 0.3266 0.1212 0.09891 0.3145 5.338 2.828 0.5963 1.902 1 1 0.1015 0.2935 0.3772 0.5911 1.709 2.196 json
t14_x17_u3_b54 14 17 3 54 flr(pow(dst(D,R),R)) 61724 114375888 o1(o2(o2(x,x),x)) true 152759 152759 0.5222 0.9307 0.5222 0.1448 0.3806 0 1 1 1 3.536 0.02383 0.02329 0.1094 0.01138 1 -0.00002286 0.1426 0.1422 0.03514 0.1875 1.713 1.414 0.3253 0.9845 1 1 0.0508 0.2036 0.2846 0.3507 1.406 1.965 json
t14_x17_u3_b55 14 17 3 55 flr(mod(add(D,R),R)) 61725 114375889 o1(o2(o2(x,x),x)) true 152767 152767 -0.5005 0 0.5005 0.1438 0.3792 -1 0 1 1 3.741 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_u3_b56 14 17 3 56 flr(mod(sub(D,R),R)) 61726 114375890 o1(o2(o2(x,x),x)) true 152775 152775 -0.4992 0 0.4992 0.1466 0.3828 -1 0 1 1 3.719 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_u3_b57 14 17 3 57 flr(mod(mlt(D,R),R)) 61727 114375891 o1(o2(o2(x,x),x)) true 152783 152783 -0.4961 0 0.4961 0.147 0.3834 -1 0 1 1 3.664 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_u3_b58 14 17 3 58 flr(mod(div(D,R),R)) 61728 114375892 o1(o2(o2(x,x),x)) true 152791 152791 -0.4961 0 0.4961 0.147 0.3834 -1 0 1 1 3.664 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_u3_b59 14 17 3 59 flr(mod(pow(D,R),R)) 61729 114375893 o1(o2(o2(x,x),x)) true 152799 152799 -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_u3_b60 14 17 3 60 flr(mod(mod(D,R),R)) 61730 114375894 o1(o2(o2(x,x),x)) true 152807 152807 -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_x17_u3_b61 14 17 3 61 flr(mod(lrg(D,R),R)) 61731 114375895 o1(o2(o2(x,x),x)) true 152815 152815 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_u3_b62 14 17 3 62 flr(mod(eql(D,R),R)) 61732 114375896 o1(o2(o2(x,x),x)) true 152823 152823 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_u3_b63 14 17 3 63 flr(mod(min(D,R),R)) 61733 114375897 o1(o2(o2(x,x),x)) true 152831 152831 -0.422 0 0.422 0.1417 0.3764 -1 0 1 1 3.654 0.03605 0.00136 0.09509 0.9273 1 0.00001297 0.06751 0.0947 0.02836 0.1684 1.771 0.9997 0.2641 0.4765 1 1 0.04033 0.1751 0.1965 0.2847 1.236 1.387 json
t14_x17_u3_b64 14 17 3 64 flr(mod(dot(D,R),R)) 61734 114375898 o1(o2(o2(x,x),x)) true 152839 152839 -0.4933 0 0.4933 0.1513 0.389 -1 0 1 1 3.666 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_u3_b65 14 17 3 65 flr(mod(dst(D,R),R)) 61735 114375899 o1(o2(o2(x,x),x)) true 152847 152847 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_u3_b66 14 17 3 66 flr(lrg(add(D,R),R)) 61736 114375900 o1(o2(o2(x,x),x)) true 152855 152855 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_u3_b67 14 17 3 67 flr(lrg(sub(D,R),R)) 61737 114375901 o1(o2(o2(x,x),x)) true 152863 152863 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_u3_b68 14 17 3 68 flr(lrg(mlt(D,R),R)) 61738 114375902 o1(o2(o2(x,x),x)) true 152871 152871 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_u3_b69 14 17 3 69 flr(lrg(div(D,R),R)) 61739 114375903 o1(o2(o2(x,x),x)) true 152879 152879 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_u3_b70 14 17 3 70 flr(lrg(pow(D,R),R)) 61740 114375904 o1(o2(o2(x,x),x)) true 152887 152887 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_u3_b71 14 17 3 71 flr(lrg(mod(D,R),R)) 61741 114375905 o1(o2(o2(x,x),x)) true 152895 152895 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_u3_b72 14 17 3 72 flr(lrg(lrg(D,R),R)) 61742 114375906 o1(o2(o2(x,x),x)) true 152903 152903 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_u3_b73 14 17 3 73 flr(lrg(eql(D,R),R)) 61743 114375907 o1(o2(o2(x,x),x)) true 152911 152911 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_u3_b74 14 17 3 74 flr(lrg(min(D,R),R)) 61744 114375908 o1(o2(o2(x,x),x)) true 152919 152919 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_u3_b75 14 17 3 75 flr(lrg(dot(D,R),R)) 61745 114375909 o1(o2(o2(x,x),x)) true 152927 152927 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_u3_b76 14 17 3 76 flr(lrg(dst(D,R),R)) 61746 114375910 o1(o2(o2(x,x),x)) true 152935 152935 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_u3_b77 14 17 3 77 flr(eql(add(D,R),R)) 61747 114375911 o1(o2(o2(x,x),x)) true 152943 152943 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_u3_b78 14 17 3 78 flr(eql(sub(D,R),R)) 61748 114375912 o1(o2(o2(x,x),x)) true 152951 152951 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_u3_b79 14 17 3 79 flr(eql(mlt(D,R),R)) 61749 114375913 o1(o2(o2(x,x),x)) true 152959 152959 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_u3_b80 14 17 3 80 flr(eql(div(D,R),R)) 61750 114375914 o1(o2(o2(x,x),x)) true 152967 152967 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_u3_b81 14 17 3 81 flr(eql(pow(D,R),R)) 61751 114375915 o1(o2(o2(x,x),x)) true 152975 152975 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_u3_b82 14 17 3 82 flr(eql(mod(D,R),R)) 61752 114375916 o1(o2(o2(x,x),x)) true 152983 152983 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_u3_b83 14 17 3 83 flr(eql(lrg(D,R),R)) 61753 114375917 o1(o2(o2(x,x),x)) true 152991 152991 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_u3_b84 14 17 3 84 flr(eql(eql(D,R),R)) 61754 114375918 o1(o2(o2(x,x),x)) true 152999 152999 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_u3_b85 14 17 3 85 flr(eql(min(D,R),R)) 61755 114375919 o1(o2(o2(x,x),x)) true 153007 153007 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_u3_b86 14 17 3 86 flr(eql(dot(D,R),R)) 61756 114375920 o1(o2(o2(x,x),x)) true 153015 153015 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_u3_b87 14 17 3 87 flr(eql(dst(D,R),R)) 61757 114375921 o1(o2(o2(x,x),x)) true 153023 153023 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_u3_b88 14 17 3 88 flr(min(add(D,R),R)) 61758 114375922 o1(o2(o2(x,x),x)) true 153031 153031 -0.6024 0 0.6024 0.1519 0.3897 -1 0 1 1 3.335 0.01145 0.002463 0.0661 0.646 1 0.000371 0.01937 0.04803 0.009546 0.0977 1.478 0.9994 0.09163 0.1275 1 1 0.01682 0.1293 0.2772 0.1108 0.8517 1.826 json
t14_x17_u3_b89 14 17 3 89 flr(min(sub(D,R),R)) 61759 114375923 o1(o2(o2(x,x),x)) true 153039 153039 -0.9529 0 0.9529 0.02108 0.1452 -1 -0.000582 0.9994 1 1.044 0.007546 0.0003485 0.02569 0.9117 1 -0.00002573 0.01539 0.02971 0.007238 0.08507 3.312 0.9994 0.3746 0.7304 1 1 0.006754 0.02307 0.03611 0.3205 1.094 1.713 json
t14_x17_u3_b90 14 17 3 90 flr(min(mlt(D,R),R)) 61760 114375924 o1(o2(o2(x,x),x)) true 153047 153047 -0.7568 0 0.7568 0.1087 0.3297 -1 -0.000291 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 -0.000001419 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_u3_b91 14 17 3 91 flr(min(div(D,R),R)) 61761 114375925 o1(o2(o2(x,x),x)) true 153055 153055 -0.8037 0 0.8037 0.1003 0.3167 -1 -0.000291 0.9997 1 2.362 0.02929 0.001527 0.07031 0.9009 1 0.0002313 0.05674 0.08071 0.02586 0.1608 2.287 0.9997 0.3073 0.5658 1 1 0.0324 0.1331 0.1419 0.323 1.327 1.415 json
t14_x17_u3_b92 14 17 3 92 flr(min(pow(D,R),R)) 61762 114375926 o1(o2(o2(x,x),x)) true 153063 153063 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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_u3_b93 14 17 3 93 flr(min(mod(D,R),R)) 61763 114375927 o1(o2(o2(x,x),x)) true 153071 153071 -0.7568 0 0.7568 0.1087 0.3297 -1 -0.000291 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 -0.000001419 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_u3_b94 14 17 3 94 flr(min(lrg(D,R),R)) 61764 114375928 o1(o2(o2(x,x),x)) true 153079 153079 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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_u3_b95 14 17 3 95 flr(min(eql(D,R),R)) 61765 114375929 o1(o2(o2(x,x),x)) true 153087 153087 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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_u3_b96 14 17 3 96 flr(min(min(D,R),R)) 61766 114375930 o1(o2(o2(x,x),x)) true 153095 153095 -0.7568 0 0.7568 0.1087 0.3297 -1 -0.000291 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 -0.000001419 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_u3_b97 14 17 3 97 flr(min(dot(D,R),R)) 61767 114375931 o1(o2(o2(x,x),x)) true 153103 153103 -0.7545 0 0.7545 0.108 0.3286 -1 0 1 1 2.826 0.01766 0.01753 0.07571 0.003893 1 -0.0001577 0.1101 0.09277 0.02946 0.1716 2.267 1.413 0.3258 1.019 1 1 0.03715 0.1586 0.1948 0.344 1.468 1.804 json
t14_x17_u3_b98 14 17 3 98 flr(min(dst(D,R),R)) 61768 114375932 o1(o2(o2(x,x),x)) true 153111 153111 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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_u3_b99 14 17 3 99 flr(dot(add(D,R),R)) 61769 114375933 o1(o2(o2(x,x),x)) true 153119 153119 0.5132 0.9014 0.5203 0.1614 0.4017 -0.9645 1 1.965 1 3.616 0.01575 0.01559 0.09139 0.004986 1 -0.00003803 0.08981 0.1057 0.02299 0.1516 1.659 1.413 0.1943 0.5566 1 1 0.03571 0.1798 0.3039 0.2213 1.114 1.883 json
t14_x17_u3_b100 14 17 3 100 flr(dot(sub(D,R),R)) 61770 114375934 o1(o2(o2(x,x),x)) true 153127 153127 -0.9955 0 0.9955 0.001751 0.04185 -1 -0.000317 0.9997 1 0.1692 0.0005581 0.0005597 0.003708 -0.001409 1 -0.000004889 0.003732 0.005729 0.001105 0.03324 8.964 1.399 0.6383 2.131 1 1 0.0006769 0.00187 0.002489 0.3866 1.068 1.421 json
t14_x17_u3_b101 14 17 3 101 flr(dot(mlt(D,R),R)) 61771 114375935 o1(o2(o2(x,x),x)) true 153135 153135 -0.4977 0 0.4977 0.1168 0.3418 -1 -1.694e-7 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_u3_b102 14 17 3 102 flr(dot(div(D,R),R)) 61772 114375936 o1(o2(o2(x,x),x)) true 153143 153143 -0.4946 0 0.4946 0.1004 0.3169 -1 0 1 1 3.991 0.04949 0.04952 0.1727 -0.0002373 1 -0.00009109 0.3403 0.2366 0.06917 0.263 1.523 1.409 0.9858 3.388 1 1 0.1048 0.2812 0.01958 1.043 2.8 0.195 json
t14_x17_u3_b103 14 17 3 103 flr(dot(pow(D,R),R)) 61773 114375937 o1(o2(o2(x,x),x)) true 153151 153151 -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_u3_b104 14 17 3 104 flr(dot(mod(D,R),R)) 61774 114375938 o1(o2(o2(x,x),x)) true 153159 153159 -0.4929 0.002304 0.4929 0.1532 0.3915 -1 0.09959 1.1 1 3.652 0.04546 0.04283 0.1519 0.02972 1 -0.0002985 0.3009 0.2496 0.0652 0.2553 1.68 1.414 0.5761 1.964 1 1 0.08254 0.2735 0.3039 0.5386 1.785 1.983 json
t14_x17_u3_b105 14 17 3 105 flr(dot(lrg(D,R),R)) 61775 114375939 o1(o2(o2(x,x),x)) true 153167 153167 -0.879 0 0.879 0.06541 0.2558 -1 0 1 1 1.76 0.00377 0.004455 0.03509 -0.08325 1 -0.0000115 0.01291 0.02918 0.00699 0.08361 2.382 1.18 0.1257 0.1973 1 1 0.01172 0.07298 0.1323 0.1792 1.116 2.022 json
t14_x17_u3_b106 14 17 3 106 flr(dot(eql(D,R),R)) 61776 114375940 o1(o2(o2(x,x),x)) true 153175 153175 -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_u3_b107 14 17 3 107 flr(dot(min(D,R),R)) 61777 114375941 o1(o2(o2(x,x),x)) true 153183 153183 0.04344 0.4186 0.2587 0.1694 0.4116 -0.9997 1 2 1 3.955 0.01427 0.01578 0.08279 -0.05012 1 0.0001113 0.0737 0.0852 0.02319 0.1523 1.839 1.418 0.1774 0.4351 1 1 0.0343 0.1722 0.3141 0.2025 1.016 1.855 json
t14_x17_u3_b108 14 17 3 108 flr(dot(dot(D,R),R)) 61778 114375942 o1(o2(o2(x,x),x)) true 153191 153191 -0.5033 0.03004 0.51 0.1478 0.3844 -1 0.7671 1.767 1 3.84 0.03636 0.0359 0.1352 0.006364 1 0.000264 0.2305 0.1965 0.05397 0.2323 1.718 1.414 0.489 1.56 1 1 0.07698 0.285 0.2867 0.521 1.929 1.941 json
t14_x17_u3_b109 14 17 3 109 flr(dot(dst(D,R),R)) 61779 114375943 o1(o2(o2(x,x),x)) true 153199 153199 -0.3516 0.2437 0.6187 0.4044 0.6359 -1 1 2 1 4.074 0.01159 0.0123 0.09478 -0.02959 1 0.0002096 0.03425 0.06363 0.0149 0.1221 1.288 1.398 0.05907 0.08471 1 1 0.04188 0.3657 0.7736 0.1036 0.9045 1.913 json
t14_x17_u3_b110 14 17 3 110 flr(dst(add(D,R),R)) 61780 114375944 o1(o2(o2(x,x),x)) true 153207 153207 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_x17_u3_b111 14 17 3 111 flr(dst(sub(D,R),R)) 61781 114375945 o1(o2(o2(x,x),x)) true 153215 153215 0.9562 1 0.9562 0.028 0.1673 0.000291 1 0.9997 1 0.7508 0.003775 0.004127 0.01901 -0.04464 1 -0.00008377 0.02157 0.02502 0.007543 0.08685 4.569 1.403 0.2822 0.7703 1 1 0.008099 0.03415 0.04608 0.2892 1.219 1.645 json
t14_x17_u3_b112 14 17 3 112 flr(dst(mlt(D,R),R)) 61782 114375946 o1(o2(o2(x,x),x)) true 153223 153223 0.4944 0.9343 0.4944 0.1471 0.3835 0 1 1 1 3.523 0.01507 0.01516 0.0862 -0.002904 1 0.0001128 0.07834 0.09163 0.02279 0.151 1.752 1.413 0.2055 0.5327 1 1 0.03504 0.1745 0.2761 0.2383 1.187 1.877 json
t14_x17_u3_b113 14 17 3 113 flr(dst(div(D,R),R)) 61783 114375947 o1(o2(o2(x,x),x)) true 153231 153231 0.9045 0.9999 0.9045 0.05949 0.2439 3.388e-7 1 1 1 1.309 0.02201 0.02117 0.06811 0.0194 1 -0.000716 0.1267 0.1179 0.03853 0.1963 2.882 1.414 0.7257 2.13 1 1 0.04584 0.1182 0.08948 0.7705 1.986 1.504 json
t14_x17_u3_b114 14 17 3 114 flr(dst(pow(D,R),R)) 61784 114375948 o1(o2(o2(x,x),x)) true 153239 153239 -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_u3_b115 14 17 3 115 flr(dst(mod(D,R),R)) 61785 114375949 o1(o2(o2(x,x),x)) true 153247 153247 0.4982 0.8858 0.4982 0.162 0.4025 0 1 1 1 3.317 0.02488 0.02372 0.1061 0.02394 1 0.0002363 0.1453 0.1504 0.03735 0.1933 1.822 1.414 0.3 0.897 1 1 0.05061 0.1928 0.325 0.3124 1.19 2.006 json
t14_x17_u3_b116 14 17 3 116 flr(dst(lrg(D,R),R)) 61786 114375950 o1(o2(o2(x,x),x)) true 153255 153255 0.969 1 0.969 0.0177 0.133 0.000291 1 0.9997 1 0.6419 0.002242 0.001792 0.01288 0.1116 1 -6.089e-7 0.007192 0.0133 0.003868 0.06219 4.829 1.189 0.2278 0.4063 1 1 0.005173 0.02114 0.03166 0.2923 1.194 1.788 json
t14_x17_u3_b117 14 17 3 117 flr(dst(eql(D,R),R)) 61787 114375951 o1(o2(o2(x,x),x)) true 153263 153263 0.5235 0.9064 0.5235 0.1603 0.4003 0 1 1 1 3.324 0.001871 0.002199 0.04753 -0.08051 1 -0.000005589 0.0002854 0.01172 0.001811 0.04256 0.8954 0.3216 0.02539 0.001781 1 1 0.007899 0.1024 0.3171 0.04928 0.6391 1.978 json
t14_x17_u3_b118 14 17 3 118 flr(dst(min(D,R),R)) 61788 114375952 o1(o2(o2(x,x),x)) true 153271 153271 0.2398 0.7595 0.2398 0.1007 0.3173 0 1 1 1 2.882 0.01301 0.01352 0.07284 -0.01949 1 -0.000189 0.0637 0.08061 0.02122 0.1457 2 1.413 0.2636 0.6328 1 1 0.03151 0.1441 0.2037 0.3131 1.431 2.024 json
t14_x17_u3_b119 14 17 3 119 flr(dst(dot(D,R),R)) 61789 114375953 o1(o2(o2(x,x),x)) true 153279 153279 0.5489 0.971 0.5489 0.1503 0.3877 0 1 1 1 3.435 0.01743 0.01841 0.09315 -0.02736 1 -0.0001697 0.1068 0.1138 0.02717 0.1648 1.77 1.414 0.2385 0.7109 1 1 0.04081 0.1888 0.2667 0.2715 1.256 1.774 json
t14_x17_u3_b120 14 17 3 120 flr(dst(dst(D,R),R)) 61790 114375954 o1(o2(o2(x,x),x)) true 153287 153287 0.9258 1 0.9258 0.0465 0.2156 0.0002912 1 0.9997 1 1.098 0.00789 0.008534 0.03441 -0.03922 1 -0.0000221 0.04753 0.0493 0.01523 0.1234 3.587 1.413 0.3532 1.022 1 1 0.02032 0.07763 0.08842 0.4369 1.67 1.902 json
t14_x17_u4_b0 14 17 4 0 cil(add(add(D,R),R)) 61791 114376035 o1(o2(o2(x,x),x)) true 153295 153295 0.3309 0.69 0.6756 0.4803 0.693 -1 1 2 1 3.919 0.02826 0.008913 0.1136 0.5204 1 -0.00003208 0.04706 0.09524 0.02427 0.1558 1.371 1.117 0.07739 0.09798 1 1 0.05177 0.3874 0.8227 0.1078 0.8066 1.713 json
t14_x17_u4_b1 14 17 4 1 cil(add(sub(D,R),R)) 61792 114376036 o1(o2(o2(x,x),x)) true 153303 153303 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_b2 14 17 4 2 cil(add(mlt(D,R),R)) 61793 114376037 o1(o2(o2(x,x),x)) true 153311 153311 0.4584 0.8548 0.5218 0.2159 0.4647 -0.9994 1 1.999 1 3.874 0.009903 0.003549 0.07151 0.4723 1 -0.00005974 0.01559 0.03984 0.008339 0.09132 1.277 1 0.0623 0.07219 1 1 0.01805 0.1609 0.393 0.0836 0.7451 1.82 json
t14_x17_u4_b3 14 17 4 3 cil(add(div(D,R),R)) 61794 114376038 o1(o2(o2(x,x),x)) true 153319 153319 0.3291 0.6937 0.6768 0.4898 0.6998 -1 1 2 1 3.835 0.07438 0.01219 0.1595 0.7183 1 0.0002621 0.1462 0.1983 0.06112 0.2472 1.55 2.029 0.1768 0.2985 1 1 0.09699 0.5478 0.8913 0.198 1.118 1.82 json
t14_x17_u4_b4 14 17 4 4 cil(add(pow(D,R),R)) 61795 114376039 o1(o2(o2(x,x),x)) true 153327 153327 -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_b5 14 17 4 5 cil(add(mod(D,R),R)) 61796 114376040 o1(o2(o2(x,x),x)) true 153335 153335 0.4497 0.8426 0.5269 0.2296 0.4792 -0.9994 1 1.999 1 3.865 0.01385 0.003773 0.0781 0.5718 1 0.0004338 0.02235 0.05146 0.01152 0.1073 1.375 0.9995 0.07675 0.09732 1 1 0.02393 0.1784 0.4127 0.1042 0.7769 1.797 json
t14_x17_u4_b6 14 17 4 6 cil(add(lrg(D,R),R)) 61797 114376041 o1(o2(o2(x,x),x)) true 153343 153343 0.936 1 0.936 0.02804 0.1675 0.000582 1 0.9994 1 1.326 0.01006 0.0004665 0.03282 0.9114 1 0.000009826 0.02035 0.03805 0.009451 0.09721 2.962 0.9994 0.3754 0.7258 1 1 0.01098 0.03891 0.05244 0.3916 1.387 1.87 json
t14_x17_u4_b7 14 17 4 7 cil(add(eql(D,R),R)) 61798 114376042 o1(o2(o2(x,x),x)) true 153351 153351 0.4825 0.9147 0.4825 0.1537 0.392 0 1 1 1 3.429 0.001987 0.002441 0.05172 -0.1027 1 -0.0000177 0.0003032 0.01268 0.001753 0.04187 0.8095 0.3193 0.02881 0.001973 1 1 0.008731 0.1124 0.2862 0.05681 0.7316 1.862 json
t14_x17_u4_b8 14 17 4 8 cil(add(min(D,R),R)) 61799 114376043 o1(o2(o2(x,x),x)) true 153359 153359 0.2238 0.6367 0.5739 0.4145 0.6438 -1 1 2 1 4.466 0.01539 0.006745 0.1004 0.3906 1 0.0002198 0.02104 0.05761 0.01205 0.1098 1.093 1.015 0.05341 0.05075 1 1 0.03227 0.3153 0.7221 0.07785 0.7607 1.742 json