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
t17_x15_u3_b35 17 15 3 35 div(D,mlt(R,flr(P))) 110600 138656870 o2(x,o2(x,o1(x))) true 44807 44807 -0.1198 0.4344 0.3167 0.2208 0.4699 -1 1 2 1 3.877 0.0181 0.002568 0.05976 0.7514 1 -0.00001581 0.02915 0.04063 0.0171 0.1308 2.188 2.033 0.09359 0.132 1 1 0.03109 0.1979 0.4038 0.1408 0.8963 1.829 json
t17_x15_u3_b36 17 15 3 36 div(D,div(R,flr(P))) 110601 138656871 o2(x,o2(x,o1(x))) true 44815 44815 0.002374 0.4928 0.7198 0.6486 0.8054 -1 1 2 1 3.651 0.09286 0.02917 0.1704 0.522 1 0.00007239 0.1622 0.1574 0.09298 0.3049 1.79 2.828 0.1881 0.25 1 1 0.1355 0.8533 1.217 0.2089 1.316 1.876 json
t17_x15_u3_b37 17 15 3 37 div(D,pow(R,flr(P))) 110602 138656872 o2(x,o2(x,o1(x))) true 44823 44823 -0.9252 0.03259 0.9355 0.07449 0.2729 -1 1 2 1 0.5983 0.006998 0.007176 0.01471 -0.01255 1 -0.000006855 0.02961 0.02645 0.01397 0.1182 8.037 2 0.1903 0.3976 1 1 0.01123 0.04488 0.1545 0.1507 0.6025 2.074 json
t17_x15_u3_b38 17 15 3 38 div(D,mod(R,flr(P))) 110603 138656873 o2(x,o2(x,o1(x))) true 44831 44831 -0.1211 0.4395 0.5533 0.4406 0.6638 -1 1 2 1 4.27 0.03575 0.008522 0.1172 0.615 1 -0.0001221 0.04643 0.07422 0.03054 0.1747 1.491 2.028 0.1005 0.1054 1 1 0.0583 0.4202 0.7777 0.1323 0.9537 1.765 json
t17_x15_u3_b39 17 15 3 39 div(D,lrg(R,flr(P))) 110604 138656874 o2(x,o2(x,o1(x))) true 44839 44839 -0.5469 0.2266 0.5896 0.2526 0.5026 -1 0.1454 1.145 1 2.154 0.004453 0.001528 0.02143 0.4891 1 -0.0001582 0.01145 0.0175 0.005521 0.07431 3.468 1.37 0.02368 0.04531 1 1 0.008214 0.0349 0.1098 0.03251 0.1382 0.4345 json
t17_x15_u3_b40 17 15 3 40 div(D,eql(R,flr(P))) 110605 138656875 o2(x,o2(x,o1(x))) true 44847 44847 -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
t17_x15_u3_b41 17 15 3 41 div(D,min(R,flr(P))) 110606 138656876 o2(x,o2(x,o1(x))) true 44855 44855 -0.07186 0.4936 0.323 0.2482 0.4981 -1 1 2 1 3.72 0.02133 0.006231 0.07179 0.5479 1 -0.00008914 0.03314 0.04772 0.02241 0.1497 2.085 2.028 0.1111 0.1336 1 1 0.03559 0.2616 0.4765 0.1434 1.054 1.92 json
t17_x15_u3_b42 17 15 3 42 div(D,dot(R,flr(P))) 110607 138656877 o2(x,o2(x,o1(x))) true 44863 44863 -0.01663 0.4877 0.2179 0.1372 0.3705 -1 1 2 1 3.755 0.0103 0.003272 0.05738 0.5179 1 -0.0002048 0.01175 0.02795 0.01028 0.1014 1.767 2.01 0.09889 0.08561 1 1 0.02845 0.2225 0.3507 0.2073 1.622 2.556 json
t17_x15_u3_b43 17 15 3 43 div(D,dst(R,flr(P))) 110608 138656878 o2(x,o2(x,o1(x))) true 44871 44871 -0.00002013 0.4978 0.02124 0.001156 0.03399 -0.3054 0.3951 0.7004 1 1.325 0.0001349 0.000006389 0.008116 0.9096 1 4.029e-7 0.00002023 0.003152 0.00007547 0.008687 1.07 0.1051 0.1223 0.0175 1 1 0.0004398 0.003435 0.001678 0.3806 2.973 1.453 json
t17_x15_u3_b44 17 15 3 44 pow(D,add(R,flr(P))) 110609 138656879 o2(x,o2(x,o1(x))) true 44879 44879 -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
t17_x15_u3_b45 17 15 3 45 pow(D,sub(R,flr(P))) 110610 138656880 o2(x,o2(x,o1(x))) true 44887 44887 -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
t17_x15_u3_b46 17 15 3 46 pow(D,mlt(R,flr(P))) 110611 138656881 o2(x,o2(x,o1(x))) true 44895 44895 -0.8788 0.0625 0.9962 0.2218 0.4709 -1 1 2 1 0.4211 0.02957 0.00006939 0.01632 0.9953 1 -0.00002483 0.05903 0.03073 0.02936 0.1713 10.5 2 0.1336 0.2662 1 1 0.03899 0.1605 0.3199 0.1758 0.7239 1.443 json
t17_x15_u3_b47 17 15 3 47 pow(D,div(R,flr(P))) 110612 138656882 o2(x,o2(x,o1(x))) true 44903 44903 -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
t17_x15_u3_b48 17 15 3 48 pow(D,pow(R,flr(P))) 110613 138656883 o2(x,o2(x,o1(x))) true 44911 44911 -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
t17_x15_u3_b49 17 15 3 49 pow(D,mod(R,flr(P))) 110614 138656884 o2(x,o2(x,o1(x))) true 44919 44919 -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
t17_x15_u3_b50 17 15 3 50 pow(D,lrg(R,flr(P))) 110615 138656885 o2(x,o2(x,o1(x))) true 44927 44927 0.02875 0.5234 0.9819 0.9743 0.9871 -1 1 2 1 1.332 0.006457 0.002161 0.009419 0.4985 1 0.000002037 0.01669 0.01241 0.00853 0.09236 9.806 2.828 0.008845 0.01713 1 1 0.01343 0.07054 0.3594 0.01378 0.07239 0.3689 json
t17_x15_u3_b51 17 15 3 51 pow(D,eql(R,flr(P))) 110616 138656886 o2(x,o2(x,o1(x))) true 44935 44935 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
t17_x15_u3_b52 17 15 3 52 pow(D,min(R,flr(P))) 110617 138656887 o2(x,o2(x,o1(x))) true 44943 44943 -0.9688 0.01563 1 0.06152 0.248 -1 1 2 1 0.1161 0.008062 0.006047 0.006999 0.1429 1 0 0.02973 0.01411 0.01407 0.1186 16.94 2.828 0.2293 0.4832 1 1 0.01928 0.07712 0.1808 0.3134 1.253 2.939 json
t17_x15_u3_b53 17 15 3 53 pow(D,dot(R,flr(P))) 110618 138656888 o2(x,o2(x,o1(x))) true 44951 44951 -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
t17_x15_u3_b54 17 15 3 54 pow(D,dst(R,flr(P))) 110619 138656889 o2(x,o2(x,o1(x))) true 44959 44959 -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
t17_x15_u3_b55 17 15 3 55 mod(D,add(R,flr(P))) 110620 138656890 o2(x,o2(x,o1(x))) true 44967 44967 8.095e-11 0.5003 0.0988 0.01222 0.1105 -0.2677 0.2677 0.5353 1 2.742 0.002093 0.00001403 0.03833 0.9867 1 2.839e-11 0.001193 0.01914 0.0006396 0.02529 0.6599 0.3074 0.1725 0.09768 1 1 0.003883 0.02507 0.002404 0.3178 2.052 0.1968 json
t17_x15_u3_b56 17 15 3 56 mod(D,sub(R,flr(P))) 110621 138656891 o2(x,o2(x,o1(x))) true 44975 44975 -1.091e-11 0.4992 0.09904 0.01229 0.1109 -0.2677 0.2723 0.5399 1 2.746 0.00214 0.00001608 0.0384 0.9851 1 -4.036e-11 0.001273 0.0193 0.0006825 0.02612 0.6804 0.362 0.1754 0.1036 1 1 0.003909 0.02496 0.002451 0.3181 2.031 0.1995 json
t17_x15_u3_b57 17 15 3 57 mod(D,mlt(R,flr(P))) 110622 138656892 o2(x,o2(x,o1(x))) true 44983 44983 -0.1245 0.4395 0.2175 0.1221 0.3495 -1 0.2728 1.273 1 3.078 0.0102 0.00003507 0.04334 0.9931 1 0.00000269 0.0177 0.03653 0.008362 0.09144 2.11 1.031 0.08384 0.1449 1 1 0.01412 0.06526 0.1765 0.1157 0.5344 1.445 json
t17_x15_u3_b58 17 15 3 58 mod(D,div(R,flr(P))) 110623 138656893 o2(x,o2(x,o1(x))) true 44991 44991 -0.1245 0.4399 0.1707 0.1146 0.3385 -1 0.2728 1.273 1 2.531 0.01036 0.00002847 0.04265 0.9945 1 -0.00002808 0.02136 0.06355 0.008565 0.09255 2.17 1.031 0.09064 0.1864 1 1 0.01322 0.05248 0.1757 0.1154 0.4581 1.533 json
t17_x15_u3_b59 17 15 3 59 mod(D,pow(R,flr(P))) 110624 138656894 o2(x,o2(x,o1(x))) true 44999 44999 -0.9257 0.03601 0.933 0.0698 0.2642 -1 0.2406 1.241 1 0.583 0.006352 0.006142 0.01473 0.01677 1 -0.00001723 0.02593 0.02588 0.01228 0.1108 7.525 1.37 0.179 0.3715 1 1 0.01202 0.05077 0.1646 0.1722 0.7273 2.358 json
t17_x15_u3_b60 17 15 3 60 mod(D,mod(R,flr(P))) 110625 138656895 o2(x,o2(x,o1(x))) true 45007 45007 -0.1248 0.4368 0.2234 0.1249 0.3534 -1 0.2728 1.273 1 3.237 0.01193 0.00009783 0.05194 0.9837 1 0.000004157 0.02187 0.05711 0.009329 0.09659 1.86 1.031 0.09631 0.1751 1 1 0.0157 0.07039 0.1824 0.1257 0.5636 1.461 json
t17_x15_u3_b61 17 15 3 61 mod(D,lrg(R,flr(P))) 110626 138656896 o2(x,o2(x,o1(x))) true 45015 45015 -0.5469 0.2266 0.5896 0.2526 0.5026 -1 0.1454 1.145 1 2.154 0.004453 0.001528 0.02143 0.4891 1 -0.0001582 0.01145 0.0175 0.005521 0.07431 3.468 1.37 0.02368 0.04531 1 1 0.008214 0.0349 0.1098 0.03251 0.1382 0.4345 json
t17_x15_u3_b62 17 15 3 62 mod(D,eql(R,flr(P))) 110627 138656897 o2(x,o2(x,o1(x))) true 45023 45023 -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
t17_x15_u3_b63 17 15 3 63 mod(D,min(R,flr(P))) 110628 138656898 o2(x,o2(x,o1(x))) true 45031 45031 -0.07746 0.464 0.175 0.08563 0.2926 -1 0.2722 1.272 1 3.116 0.007902 0.001632 0.04661 0.6576 1 0.00001765 0.01661 0.04104 0.007361 0.0858 1.841 1.415 0.1113 0.1939 1 1 0.01417 0.06394 0.1565 0.1655 0.7467 1.828 json
t17_x15_u3_b64 17 15 3 64 mod(D,dot(R,flr(P))) 110629 138656899 o2(x,o2(x,o1(x))) true 45039 45039 -0.0157 0.4915 0.1151 0.02839 0.1685 -1 0.2719 1.272 1 2.915 0.003352 0.001068 0.04105 0.5166 1 -0.000006181 0.006116 0.02683 0.002736 0.05231 1.274 1.415 0.1557 0.2155 1 1 0.007572 0.03833 0.06296 0.2667 1.35 2.218 json
t17_x15_u3_b65 17 15 3 65 mod(D,dst(R,flr(P))) 110630 138656900 o2(x,o2(x,o1(x))) true 45047 45047 -2.092e-11 0.5 0.09461 0.0109 0.1044 -0.2724 0.2724 0.5448 1 2.577 0.001659 3.657e-7 0.03622 0.9996 1 2.346e-13 0.0002997 0.01478 0.0003488 0.01868 0.5157 0.2452 0.1522 0.0275 1 1 0.003209 0.02209 0.00009063 0.2943 2.027 0.008314 json
t17_x15_u3_b66 17 15 3 66 lrg(D,add(R,flr(P))) 110631 138656901 o2(x,o2(x,o1(x))) true 45055 45055 0.4996 0.572 0.4996 0.2344 0.4841 0 1 1 1 1.67 0.002223 0.0001586 0.01146 0.8668 1 0.000008897 0.003908 0.0088 0.00225 0.04743 4.138 0.97 0.01016 0.01668 1 1 0.003183 0.02133 0.08782 0.01358 0.09101 0.3747 json
t17_x15_u3_b67 17 15 3 67 lrg(D,sub(R,flr(P))) 110632 138656902 o2(x,o2(x,o1(x))) true 45063 45063 0.4983 0.5367 0.4983 0.2404 0.4904 0 1 1 1 1.441 0.002564 0.000168 0.008601 0.877 1 0.000009608 0.004735 0.008797 0.002659 0.05157 5.995 0.9997 0.01136 0.01969 1 1 0.003586 0.02271 0.09229 0.01492 0.09446 0.3838 json
t17_x15_u3_b68 17 15 3 68 lrg(D,mlt(R,flr(P))) 110633 138656903 o2(x,o2(x,o1(x))) true 45071 45071 0.5246 0.9434 0.5246 0.1527 0.3908 0 1 1 1 3.442 0.011 0.00223 0.0634 0.6628 1 0.00002565 0.01832 0.03711 0.00921 0.09597 1.514 0.9997 0.08661 0.1199 1 1 0.01993 0.134 0.2798 0.1305 0.8773 1.832 json
t17_x15_u3_b69 17 15 3 69 lrg(D,div(R,flr(P))) 110634 138656904 o2(x,o2(x,o1(x))) true 45079 45079 0.5061 0.9597 0.5061 0.1349 0.3672 0 1 1 1 3.562 0.04112 0.001117 0.1094 0.9471 1 0.0005126 0.07538 0.1077 0.03027 0.174 1.591 0.9997 0.3132 0.559 1 1 0.0447 0.1865 0.1946 0.3315 1.383 1.443 json
t17_x15_u3_b70 17 15 3 70 lrg(D,pow(R,flr(P))) 110635 138656905 o2(x,o2(x,o1(x))) true 45087 45087 0.539 0.9171 0.539 0.164 0.4049 0 1 1 1 3.262 0.008616 0.002034 0.05434 0.618 1 -0.00004561 0.01393 0.02921 0.007699 0.08774 1.615 0.9994 0.06495 0.08497 1 1 0.01367 0.1153 0.2848 0.08334 0.7029 1.737 json
t17_x15_u3_b71 17 15 3 71 lrg(D,mod(R,flr(P))) 110636 138656906 o2(x,o2(x,o1(x))) true 45095 45095 0.5274 0.9384 0.5274 0.1476 0.3842 0 1 1 1 3.503 0.01964 0.002026 0.07918 0.813 1 -0.00001696 0.03655 0.06755 0.0154 0.1241 1.567 0.9997 0.1468 0.2476 1 1 0.02383 0.1383 0.2547 0.1615 0.9372 1.725 json
t17_x15_u3_b72 17 15 3 72 lrg(D,lrg(R,flr(P))) 110637 138656907 o2(x,o2(x,o1(x))) true 45103 45103 0.2363 0.4831 0.2363 0.1283 0.3582 0 0.9997 0.9997 1 2.277 0.03244 0.00005267 0.0604 0.9968 1 -0.00008699 0.06047 0.06697 0.02885 0.1699 2.812 0.9997 0.2533 0.4714 1 1 0.03637 0.1279 0.04032 0.2835 0.9974 0.3144 json
t17_x15_u3_b73 17 15 3 73 lrg(D,eql(R,flr(P))) 110638 138656908 o2(x,o2(x,o1(x))) true 45111 45111 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
t17_x15_u3_b74 17 15 3 74 lrg(D,min(R,flr(P))) 110639 138656909 o2(x,o2(x,o1(x))) true 45119 45119 0.753 0.9716 0.753 0.1272 0.3567 0 1 1 1 2.494 0.01189 0.001085 0.0461 0.8327 1 -0.00003284 0.02211 0.04 0.01085 0.1042 2.259 0.9997 0.102 0.1738 1 1 0.01476 0.08296 0.1609 0.116 0.6521 1.265 json
t17_x15_u3_b75 17 15 3 75 lrg(D,dot(R,flr(P))) 110640 138656910 o2(x,o2(x,o1(x))) true 45127 45127 0.5427 0.9576 0.5427 0.1534 0.3916 0 1 1 1 3.402 0.007365 0.002418 0.05891 0.5056 1 0.00004817 0.01158 0.02889 0.006315 0.07947 1.349 0.9997 0.06378 0.07552 1 1 0.01626 0.1298 0.2998 0.106 0.8464 1.955 json
t17_x15_u3_b76 17 15 3 76 lrg(D,dst(R,flr(P))) 110641 138656911 o2(x,o2(x,o1(x))) true 45135 45135 0.0002053 0.004425 0.0002053 0.00003538 0.005948 0 0.3282 0.3282 1 0.01396 0.00002646 5.189e-7 0.0001886 0.9615 0 -4.94e-12 0.00005989 0.0002442 0.00002693 0.005189 27.52 0.3282 0.7625 1.693 1 1 0.00004291 0.00008782 0.0001286 1.213 2.482 3.636 json
t17_x15_u3_b77 17 15 3 77 eql(D,add(R,flr(P))) 110642 138656912 o2(x,o2(x,o1(x))) true 45143 45143 0.000082 0.0002441 0.000082 0.00004315 0.006569 0 0.6715 0.6715 1 0.003091 0.00006086 6.316e-7 0.000129 0.9795 0 2.395e-7 0.0001845 0.0002541 0.00006148 0.007841 60.78 0.6519 1.425 4.276 1 1 0 0 0.00003293 0 0 0.7631 json
t17_x15_u3_b78 17 15 3 78 eql(D,sub(R,flr(P))) 110643 138656913 o2(x,o2(x,o1(x))) true 45151 45151 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
t17_x15_u3_b79 17 15 3 79 eql(D,mlt(R,flr(P))) 110644 138656914 o2(x,o2(x,o1(x))) true 45159 45159 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
t17_x15_u3_b80 17 15 3 80 eql(D,div(R,flr(P))) 110645 138656915 o2(x,o2(x,o1(x))) true 45167 45167 0.0002825 0.0007172 0.0002825 0.0001987 0.0141 0 0.9926 0.9926 1 0.008861 0.0004038 0.000002912 0.0005681 0.9857 1 1.17e-7 0.001223 0.001125 0.0004061 0.02015 35.48 0.9926 2.046 6.153 1 1 0 0 0.000007865 0 0 0.03957 json
t17_x15_u3_b81 17 15 3 81 eql(D,pow(R,flr(P))) 110646 138656916 o2(x,o2(x,o1(x))) true 45175 45175 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
t17_x15_u3_b82 17 15 3 82 eql(D,mod(R,flr(P))) 110647 138656917 o2(x,o2(x,o1(x))) true 45183 45183 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
t17_x15_u3_b83 17 15 3 83 eql(D,lrg(R,flr(P))) 110648 138656918 o2(x,o2(x,o1(x))) true 45191 45191 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
t17_x15_u3_b84 17 15 3 84 eql(D,eql(R,flr(P))) 110649 138656919 o2(x,o2(x,o1(x))) true 45199 45199 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
t17_x15_u3_b85 17 15 3 85 eql(D,min(R,flr(P))) 110650 138656920 o2(x,o2(x,o1(x))) true 45207 45207 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
t17_x15_u3_b86 17 15 3 86 eql(D,dot(R,flr(P))) 110651 138656921 o2(x,o2(x,o1(x))) true 45215 45215 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
t17_x15_u3_b87 17 15 3 87 eql(D,dst(R,flr(P))) 110652 138656922 o2(x,o2(x,o1(x))) true 45223 45223 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
t17_x15_u3_b88 17 15 3 88 min(D,add(R,flr(P))) 110653 138656923 o2(x,o2(x,o1(x))) true 45231 45231 -0.4879 0.2284 0.5309 0.2351 0.4848 -1 0.1454 1.145 1 2.851 0.001184 0.0001771 0.02344 0.7399 1 0.0001547 0.0002345 0.008825 0.000812 0.02849 1.216 0.2512 0.005792 0.0009976 1 1 0.002867 0.02701 0.07876 0.0122 0.1149 0.335 json
t17_x15_u3_b89 17 15 3 89 min(D,sub(R,flr(P))) 110654 138656924 o2(x,o2(x,o1(x))) true 45239 45239 -0.4683 0.2554 0.5163 0.2408 0.4907 -1 0.1454 1.145 1 2.802 0.001334 0.0001824 0.02411 0.7595 1 -0.0001619 0.000277 0.009555 0.000935 0.03058 1.268 0.2317 0.006297 0.00115 1 1 0.003283 0.02904 0.07856 0.01363 0.1206 0.3262 json
t17_x15_u3_b90 17 15 3 90 min(D,mlt(R,flr(P))) 110655 138656925 o2(x,o2(x,o1(x))) true 45247 45247 -0.5494 0.1134 0.5673 0.1773 0.4211 -1 0.1454 1.145 1 3.452 0.003926 0.00423 0.05587 -0.03724 1 0.0001889 0.002852 0.02466 0.005035 0.07096 1.27 0.4653 0.04599 0.01608 1 1 0.0134 0.1289 0.2731 0.07557 0.7271 1.54 json
t17_x15_u3_b91 17 15 3 91 min(D,div(R,flr(P))) 110656 138656926 o2(x,o2(x,o1(x))) true 45255 45255 -0.2434 0.1115 0.2577 0.07743 0.2783 -1 0.1454 1.145 1 3.296 0.005253 0.002639 0.03903 0.3312 1 0.0002891 0.01336 0.026 0.006369 0.07981 2.045 1.415 0.1019 0.1726 1 1 0.01201 0.05841 0.1459 0.1552 0.7543 1.884 json
t17_x15_u3_b92 17 15 3 92 min(D,pow(R,flr(P))) 110657 138656927 o2(x,o2(x,o1(x))) true 45263 45263 -0.0141 0.4628 0.09791 0.012 0.1095 -0.2728 0.1454 0.4182 1 2.721 0.001643 0.00002512 0.03661 0.9699 1 0.00003749 0.0002715 0.01474 0.0003285 0.01812 0.4951 0.08396 0.139 0.02262 1 1 0.00324 0.02254 0.002267 0.27 1.878 0.1889 json
t17_x15_u3_b93 17 15 3 93 min(D,mod(R,flr(P))) 110658 138656928 o2(x,o2(x,o1(x))) true 45271 45271 -0.257 0.1874 0.2886 0.07259 0.2694 -0.9989 0.1454 1.144 1 4.008 0.001737 0.0009336 0.04455 0.3007 1 0.00002336 0.0002801 0.01342 0.0006855 0.02618 0.5877 0.1528 0.03678 0.003859 1 1 0.004868 0.05349 0.115 0.06706 0.7369 1.584 json
t17_x15_u3_b94 17 15 3 94 min(D,lrg(R,flr(P))) 110659 138656929 o2(x,o2(x,o1(x))) true 45279 45279 -0.06759 0.2647 0.1171 0.0151 0.1229 -0.2729 0.1454 0.4183 1 2.911 0.001528 0.000003992 0.03499 0.9948 1 0.00007322 0.0002636 0.01423 0.0003081 0.01755 0.5016 0.06192 0.1015 0.01746 1 1 0.002941 0.01957 0.003056 0.1948 1.296 0.2024 json
t17_x15_u3_b95 17 15 3 95 min(D,eql(R,flr(P))) 110660 138656930 o2(x,o2(x,o1(x))) true 45287 45287 -0.143 0 0.143 0.009237 0.09611 -0.2729 -0.000282 0.2726 1 2.227 0.001451 0 0.03416 1 1 0.0003063 0.0002653 0.01361 0.0002853 0.01689 0.4945 0.06184 0.1571 0.02873 1 1 0.002788 0.01827 0 0.3018 1.978 0 json
t17_x15_u3_b96 17 15 3 96 min(D,min(R,flr(P))) 110661 138656931 o2(x,o2(x,o1(x))) true 45295 45295 -0.6345 0.06482 0.6451 0.1545 0.393 -1 0.1454 1.145 1 3.174 0.001011 0.000522 0.02506 0.3192 1 0.00008678 0.0001427 0.007022 0.0009058 0.0301 1.201 0.1528 0.009926 0.0009237 1 1 0.00302 0.03554 0.1007 0.01955 0.2301 0.6519 json
t17_x15_u3_b97 17 15 3 97 min(D,dot(R,flr(P))) 110662 138656932 o2(x,o2(x,o1(x))) true 45303 45303 -0.6478 0.1057 0.6641 0.1787 0.4227 -1 0.1454 1.145 1 2.89 0.0047 0.005619 0.05576 -0.08908 1 0.0002825 0.004569 0.02954 0.00721 0.08491 1.523 0.5505 0.05776 0.02557 1 1 0.01735 0.1517 0.3066 0.09714 0.8491 1.716 json
t17_x15_u3_b98 17 15 3 98 min(D,dst(R,flr(P))) 110663 138656933 o2(x,o2(x,o1(x))) true 45311 45311 -0.00001436 0.5 0.09438 0.01083 0.1041 -0.1596 0.1454 0.3051 1 2.561 0.001633 2.165e-9 0.0361 1 1 -2.112e-12 0.0002564 0.01459 0.0003305 0.01818 0.5035 0.06203 0.1508 0.02368 1 1 0.003153 0.02185 5.362e-7 0.2912 2.018 0.00004952 json
t17_x15_u3_b99 17 15 3 99 dot(D,add(R,flr(P))) 110664 138656934 o2(x,o2(x,o1(x))) true 45319 45319 -0.2332 0.3468 0.5423 0.3512 0.5926 -1 1 2 1 4.675 0.02747 0.02752 0.1908 -0.0007514 1 0.002628 0.01613 0.08122 0.01858 0.1363 0.7145 0.6454 0.1566 0.04594 1 1 0.06951 0.4958 0.08605 0.1979 1.412 0.245 json
t17_x15_u3_b100 17 15 3 100 dot(D,sub(R,flr(P))) 110665 138656935 o2(x,o2(x,o1(x))) true 45327 45327 0.2376 0.6553 0.5469 0.3554 0.5962 -1 1 2 1 4.66 0.02801 0.02799 0.1915 0.0003205 1 -0.002741 0.01682 0.08229 0.01932 0.139 0.7257 0.6524 0.1575 0.04732 1 1 0.07068 0.5058 0.08747 0.1989 1.423 0.2461 json
t17_x15_u3_b101 17 15 3 101 dot(D,mlt(R,flr(P))) 110666 138656936 o2(x,o2(x,o1(x))) true 45335 45335 -0.01248 0.4963 0.4894 0.3606 0.6005 -1 1 2 1 4.714 0.01453 0.01455 0.129 -0.0006057 1 0.000228 0.007735 0.04856 0.01245 0.1116 0.8649 0.7963 0.08066 0.02145 1 1 0.0371 0.3937 0.5699 0.1029 1.092 1.581 json
t17_x15_u3_b102 17 15 3 102 dot(D,div(R,flr(P))) 110667 138656937 o2(x,o2(x,o1(x))) true 45343 45343 -0.2284 0.3922 0.2705 0.186 0.4312 -1 0.4142 1.414 1 2.409 0.007283 0.007338 0.02452 -0.003761 1 -0.000002602 0.02857 0.03097 0.01402 0.1184 4.83 1.478 0.07862 0.1537 1 1 0.01913 0.084 0.3024 0.1028 0.4517 1.626 json
t17_x15_u3_b103 17 15 3 103 dot(D,pow(R,flr(P))) 110668 138656938 o2(x,o2(x,o1(x))) true 45351 45351 -0.9901 0.006348 0.9928 0.01152 0.1073 -1 1 2 1 0.1018 0.001448 0.00191 0.003071 -0.1376 1 7.884e-11 0.007094 0.005387 0.00335 0.05788 18.85 2 0.2915 0.6158 1 1 0.006079 0.02038 0.04142 0.5276 1.769 3.595 json
t17_x15_u3_b104 17 15 3 104 dot(D,mod(R,flr(P))) 110669 138656939 o2(x,o2(x,o1(x))) true 45359 45359 -0.2289 0.4037 0.3413 0.2056 0.4535 -1 0.5965 1.596 1 3.496 0.007824 0.007814 0.04463 0.0006759 1 -0.0001397 0.02848 0.03632 0.01365 0.1168 2.618 1.398 0.07605 0.1385 1 1 0.02055 0.1003 0.3246 0.09993 0.4878 1.579 json
t17_x15_u3_b105 17 15 3 105 dot(D,lrg(R,flr(P))) 110670 138656940 o2(x,o2(x,o1(x))) true 45367 45367 0.01788 0.4428 0.08599 0.01327 0.1152 -0.2908 0.4776 0.7684 1 2.833 0.0008565 0.0008593 0.03315 -0.001601 1 -0.0003163 0.0002581 0.01205 0.0006175 0.02485 0.7497 0.09684 0.1293 0.01945 1 1 0.00336 0.02473 0.007644 0.2532 1.863 0.576 json
t17_x15_u3_b106 17 15 3 106 dot(D,eql(R,flr(P))) 110671 138656941 o2(x,o2(x,o1(x))) true 45375 45375 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
t17_x15_u3_b107 17 15 3 107 dot(D,min(R,flr(P))) 110672 138656942 o2(x,o2(x,o1(x))) true 45383 45383 -0.1263 0.3981 0.3715 0.2174 0.4662 -1 1 2 1 4.692 0.01532 0.01526 0.129 0.002022 1 0.001708 0.007147 0.05212 0.01393 0.118 0.9145 0.613 0.1407 0.03288 1 1 0.0358 0.2486 0.04787 0.1647 1.144 0.2202 json
t17_x15_u3_b108 17 15 3 108 dot(D,dot(R,flr(P))) 110673 138656943 o2(x,o2(x,o1(x))) true 45391 45391 0.002629 0.5034 0.6011 0.4954 0.7039 -1 1 2 1 4.396 0.02202 0.02484 0.1443 -0.06001 1 -0.000203 0.02207 0.06849 0.02605 0.1614 1.119 1.386 0.09458 0.04455 1 1 0.06353 0.588 0.8718 0.1282 1.187 1.76 json
t17_x15_u3_b109 17 15 3 109 dot(D,dst(R,flr(P))) 110674 138656944 o2(x,o2(x,o1(x))) true 45399 45399 0.0001467 0.4977 0.5843 0.4751 0.6893 -1 1 2 1 4.464 0.0438 0.04394 0.2287 -0.001668 1 0.00002271 0.04149 0.1109 0.03545 0.1883 0.8234 0.9232 0.1847 0.08734 1 1 0.1165 0.7265 0.06468 0.2451 1.529 0.1361 json
t17_x15_u3_b110 17 15 3 110 dst(D,add(R,flr(P))) 110675 138656945 o2(x,o2(x,o1(x))) true 45407 45407 0.9996 1 0.9996 0.0001256 0.01121 0.5159 1 0.4841 1 0.01962 0.00001009 0.00001101 0.0001917 -0.04367 0 -3.754e-12 0.00001252 0.0001451 0.00002104 0.004587 23.93 0.203 0.168 0.09965 1 1 0.00006597 0.0004185 0.000457 0.5251 3.331 3.638 json
t17_x15_u3_b111 17 15 3 111 dst(D,sub(R,flr(P))) 110676 138656946 o2(x,o2(x,o1(x))) true 45415 45415 0.9986 1 0.9986 0.0003406 0.01846 0.4957 1 0.5043 1 0.07571 0.0000201 0.00001782 0.0005614 0.06035 0 4.693e-11 0.00001803 0.0003587 0.00003757 0.00613 10.92 0.1232 0.1113 0.05294 1 1 0.000122 0.0009287 0.001242 0.3582 2.726 3.645 json
t17_x15_u3_b112 17 15 3 112 dst(D,mlt(R,flr(P))) 110677 138656947 o2(x,o2(x,o1(x))) true 45423 45423 0.9736 1 0.9736 0.01164 0.1079 0.04087 1 0.9591 1 0.6348 0.0004048 0.0004943 0.008031 -0.09948 1 -0.000009059 0.0004351 0.004701 0.0008348 0.02889 3.598 0.3242 0.07726 0.03739 1 1 0.002274 0.01877 0.03062 0.1954 1.613 2.631 json
t17_x15_u3_b113 17 15 3 113 dst(D,div(R,flr(P))) 110678 138656948 o2(x,o2(x,o1(x))) true 45431 45431 -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
t17_x15_u3_b114 17 15 3 114 dst(D,pow(R,flr(P))) 110679 138656949 o2(x,o2(x,o1(x))) true 45439 45439 -0.9766 0.01172 1 0.0463 0.2152 -1 1 2 1 0.09198 0.006047 0.004031 0.005002 0.2 1 0 0.02116 0.01008 0.01005 0.1002 20.04 2.828 0.2177 0.4571 1 1 0.01773 0.07091 0.1684 0.3829 1.532 3.638 json
t17_x15_u3_b115 17 15 3 115 dst(D,mod(R,flr(P))) 110680 138656950 o2(x,o2(x,o1(x))) true 45447 45447 0.471 0.7656 0.9398 0.6771 0.8228 -1 1 2 1 2.183 0.026 0.02614 0.04259 -0.002844 1 -0.00003458 0.1031 0.06044 0.0503 0.2243 5.266 2.828 0.07701 0.1523 1 1 0.06478 0.2697 1.071 0.09567 0.3983 1.582 json
t17_x15_u3_b116 17 15 3 116 dst(D,lrg(R,flr(P))) 110681 138656951 o2(x,o2(x,o1(x))) true 45455 45455 0.9265 1 0.9265 0.03338 0.1827 0.04446 1 0.9555 1 1.395 0.0006641 0.0006421 0.01652 0.01684 1 -0.0001228 0.0002344 0.006375 0.001034 0.03215 1.946 0.1349 0.03914 0.007023 1 1 0.002637 0.02639 0.04492 0.079 0.7907 1.346 json
t17_x15_u3_b117 17 15 3 117 dst(D,eql(R,flr(P))) 110682 138656952 o2(x,o2(x,o1(x))) true 45463 45463 0.4439 1 0.4439 0.02504 0.1582 0.04473 0.7026 0.6579 1 3.252 0.001981 0.001981 0.05914 2.938e-7 1 -0.0006857 0.0006739 0.01958 0.000465 0.02156 0.3646 0.09377 0.1583 0.02692 1 1 0.007608 0.05068 0 0.3039 2.024 0 json
t17_x15_u3_b118 17 15 3 118 dst(D,min(R,flr(P))) 110683 138656953 o2(x,o2(x,o1(x))) true 45471 45471 0.9588 1 0.9588 0.01369 0.117 0.07965 1 0.9204 1 1.037 0.0003584 0.0003672 0.01011 -0.0121 1 0.00001052 0.0001997 0.004403 0.0006234 0.02497 2.469 0.2341 0.05298 0.01459 1 1 0.001116 0.01039 0.01968 0.08149 0.7584 1.437 json
t17_x15_u3_b119 17 15 3 119 dst(D,dot(R,flr(P))) 110684 138656954 o2(x,o2(x,o1(x))) true 45479 45479 0.9768 1 0.9768 0.01099 0.1049 0.03068 1 0.9693 1 0.5407 0.0006185 0.0008424 0.008719 -0.1533 1 -0.0000854 0.0009696 0.006592 0.001385 0.03722 4.269 0.4617 0.1329 0.08819 1 1 0.003566 0.02195 0.02911 0.3243 1.996 2.648 json
t17_x15_u3_b120 17 15 3 120 dst(D,dst(R,flr(P))) 110685 138656955 o2(x,o2(x,o1(x))) true 45487 45487 1 1 1 2.169e-8 0.0001473 0.9726 1 0.02741 1 0 2.321e-8 2.933e-8 0.000002272 -0.1167 0 7.509e-12 1.81e-7 0.000004433 5.253e-8 0.0002292 100.9 0.03877 2.422 8.345 1 1 7.875e-8 7.875e-8 7.875e-8 3.631 3.631 3.631 json
t17_x15_u4_b0 17 15 4 0 add(D,add(R,cil(P))) 110686 138657036 o2(x,o2(x,o1(x))) true 45495 45495 0.003852 0.4978 0.9422 0.9215 0.96 -1 1 2 1 1.954 0.0009658 0.0003588 0.01129 0.4583 1 -0.00002006 0.0001888 0.003032 0.001197 0.03459 3.063 0.2576 0.001437 0.0002049 1 1 0.003245 0.04153 0.2697 0.003522 0.04507 0.2927 json
t17_x15_u4_b1 17 15 4 1 add(D,sub(R,cil(P))) 110687 138657037 o2(x,o2(x,o1(x))) true 45503 45503 0.004613 0.4966 0.9369 0.9128 0.9554 -1 1 2 1 2.013 0.001754 0.0003857 0.01398 0.6395 1 -0.00002058 0.0004675 0.005718 0.001946 0.04411 3.155 0.3876 0.002345 0.0005122 1 1 0.005271 0.05112 0.2627 0.005775 0.05601 0.2878 json
t17_x15_u4_b2 17 15 4 2 add(D,mlt(R,cil(P))) 110688 138657038 o2(x,o2(x,o1(x))) true 45511 45511 -0.06213 0.4697 0.7294 0.6462 0.8039 -1 1 2 1 3.789 0.01715 0.01965 0.09662 -0.06814 1 -0.00004685 0.02024 0.05112 0.02745 0.1657 1.715 1.483 0.05695 0.03133 1 1 0.05226 0.4546 1.037 0.08087 0.7035 1.604 json
t17_x15_u4_b3 17 15 4 3 add(D,div(R,cil(P))) 110689 138657039 o2(x,o2(x,o1(x))) true 45519 45519 -0.1262 0.4271 0.2586 0.1479 0.3846 -1 1 2 1 3.773 0.01293 0.0004368 0.04638 0.9346 1 -0.000007081 0.02235 0.02999 0.01121 0.1059 2.283 1.974 0.09035 0.1511 1 1 0.01825 0.09367 0.2323 0.1233 0.6331 1.57 json
t17_x15_u4_b4 17 15 4 4 add(D,pow(R,cil(P))) 110690 138657040 o2(x,o2(x,o1(x))) true 45527 45527 -0.8588 0.07391 0.9928 0.252 0.502 -1 1 2 1 0.5077 0.0227 0.02219 0.02421 0.01132 1 0.00001188 0.09385 0.04725 0.04428 0.2104 8.691 2.828 0.1781 0.3723 1 1 0.04364 0.1828 0.6029 0.1732 0.7251 2.392 json
t17_x15_u4_b5 17 15 4 5 add(D,mod(R,cil(P))) 110691 138657041 o2(x,o2(x,o1(x))) true 45535 45535 -0.1199 0.4323 0.474 0.3114 0.5581 -1 1 2 1 4.757 0.01734 0.002787 0.07463 0.723 1 0.00004893 0.02777 0.03602 0.01456 0.1206 1.617 1.974 0.06462 0.08917 1 1 0.0286 0.2022 0.5049 0.09184 0.6493 1.621 json
t17_x15_u4_b6 17 15 4 6 add(D,lrg(R,cil(P))) 110692 138657042 o2(x,o2(x,o1(x))) true 45543 45543 0.4732 0.747 0.5197 0.2303 0.4799 -0.1454 1 1.145 1 3.108 0.001715 0.0001036 0.03121 0.8861 1 0.0001526 0.0003549 0.01484 0.0008444 0.02906 0.931 0.1713 0.007896 0.001541 1 1 0.003911 0.03228 0.08375 0.01699 0.1402 0.3637 json
t17_x15_u4_b7 17 15 4 7 add(D,eql(R,cil(P))) 110693 138657043 o2(x,o2(x,o1(x))) true 45551 45551 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t17_x15_u4_b8 17 15 4 8 add(D,min(R,cil(P))) 110694 138657044 o2(x,o2(x,o1(x))) true 45559 45559 -0.4945 0.2307 0.6712 0.3325 0.5766 -1 1 2 1 3.651 0.002366 0.001462 0.04045 0.2361 1 0.0001558 0.0003096 0.009999 0.002192 0.04681 1.157 0.2511 0.01152 0.0009311 1 1 0.007604 0.09034 0.2621 0.02287 0.2717 0.7883 json
t17_x15_u4_b9 17 15 4 9 add(D,dot(R,cil(P))) 110695 138657045 o2(x,o2(x,o1(x))) true 45567 45567 -0.09362 0.4567 0.8421 0.7851 0.886 -1 1 2 1 2.921 0.02499 0.03306 0.1035 -0.139 1 0.00002819 0.0464 0.07513 0.04735 0.2176 2.103 1.877 0.07395 0.0591 1 1 0.07414 0.5708 1.362 0.09445 0.7271 1.735 json
t17_x15_u4_b10 17 15 4 10 add(D,dst(R,cil(P))) 110696 138657046 o2(x,o2(x,o1(x))) true 45575 45575 0.999 1 0.999 0.0003054 0.01748 0.4749 1 0.5251 1 0.05289 0.00002247 0.00001605 0.000479 0.1667 0 -7.321e-11 0.00002222 0.0003653 0.00003829 0.006188 12.92 0.1475 0.1261 0.07276 1 1 0.0001208 0.0008594 0.001102 0.3954 2.814 3.61 json
t17_x15_u4_b11 17 15 4 11 sub(D,add(R,cil(P))) 110697 138657047 o2(x,o2(x,o1(x))) true 45583 45583 -0.003751 0.5032 0.9428 0.9205 0.9594 -1 1 2 1 1.948 0.001763 0.0003585 0.01342 0.662 1 0.00002081 0.0004781 0.005567 0.001942 0.04407 3.284 0.3664 0.002304 0.0005194 1 1 0.00519 0.05054 0.2689 0.005638 0.0549 0.2921 json
t17_x15_u4_b12 17 15 4 12 sub(D,sub(R,cil(P))) 110698 138657048 o2(x,o2(x,o1(x))) true 45591 45591 -0.004594 0.5016 0.9361 0.9137 0.9559 -1 1 2 1 2.02 0.000956 0.0003843 0.01199 0.4266 1 0.00001998 0.0001835 0.003203 0.001197 0.0346 2.886 0.2788 0.001467 0.0002009 1 1 0.003317 0.04196 0.2627 0.003631 0.04593 0.2875 json
t17_x15_u4_b13 17 15 4 13 sub(D,mlt(R,cil(P))) 110699 138657049 o2(x,o2(x,o1(x))) true 45599 45599 0.06211 0.5306 0.7268 0.6457 0.8035 -1 1 2 1 3.778 0.01729 0.01958 0.09647 -0.06213 1 0.00004343 0.0204 0.05102 0.02756 0.166 1.721 1.43 0.05711 0.0316 1 1 0.05232 0.4523 1.038 0.08103 0.7005 1.608 json