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_x17_u4_b20 17 17 4 20 sub(D,dot(R,cil(R))) 112400 138737858 o2(x,o2(x,o1(x))) true 59207 59207 -0.6724 0.03322 0.6765 0.1057 0.3251 -1 0.1454 1.145 1 3.563 0.002918 0.001715 0.04975 0.2597 1 0.00003845 0.0009669 0.01757 0.002157 0.04644 0.9334 0.2744 0.04384 0.00915 1 1 0.00848 0.08326 0.1837 0.08025 0.7879 1.739 json
t17_x17_u4_b21 17 17 4 21 sub(D,dst(R,cil(R))) 112401 138737859 o2(x,o2(x,o1(x))) true 59215 59215 -0.8773 0 0.8773 0.02556 0.1599 -1 -0.1363 0.8637 1 2.405 0.001288 0.0003868 0.02773 0.5381 1 -0.00007181 0.0004347 0.01248 0.0009056 0.03009 1.085 0.1482 0.06552 0.01701 1 1 0.003271 0.02761 0.0453 0.128 1.08 1.772 json
t17_x17_u4_b22 17 17 4 22 mlt(D,add(R,cil(R))) 112402 138737860 o2(x,o2(x,o1(x))) true 59223 59223 0.002626 0.5075 0.1662 0.0502 0.2241 -0.6928 0.7498 1.443 1 3.821 0.002876 0.0007134 0.05213 0.6025 1 -0.00006395 0.0003912 0.0157 0.0008718 0.02953 0.5664 0.1454 0.07149 0.007792 1 1 0.006966 0.07446 0.09429 0.1388 1.483 1.878 json
t17_x17_u4_b23 17 17 4 23 mlt(D,sub(R,cil(R))) 112403 138737861 o2(x,o2(x,o1(x))) true 59231 59231 0.0003918 0.5005 0.06132 0.006259 0.07911 -0.2634 0.2667 0.5301 1 2.429 0.0005645 0.00005321 0.02126 0.8277 1 -0.00001084 0.00008185 0.007624 0.0001656 0.01287 0.6052 0.06223 0.0987 0.01308 1 1 0.001135 0.009929 0.007157 0.1813 1.586 1.144 json
t17_x17_u4_b24 17 17 4 24 mlt(D,mlt(R,cil(R))) 112404 138737862 o2(x,o2(x,o1(x))) true 59239 59239 0.0005678 0.4513 0.05044 0.005928 0.077 -0.2677 0.2646 0.5323 1 2.334 0.0003734 0.00007526 0.01603 0.6645 1 -0.00001431 0.00005152 0.005097 0.0001918 0.01385 0.8642 0.06115 0.07568 0.008691 1 1 0.000869 0.008841 0.01085 0.1466 1.491 1.83 json
t17_x17_u4_b25 17 17 4 25 mlt(D,div(R,cil(R))) 112405 138737863 o2(x,o2(x,o1(x))) true 59247 59247 -0.9572 0.02097 0.9599 0.04114 0.2028 -1 0.1932 1.193 1 0.3605 0.004235 0.004133 0.009124 0.0122 1 -0.000005251 0.01747 0.01696 0.008286 0.09103 9.977 1.399 0.2034 0.4246 1 1 0.006397 0.02727 0.06754 0.1555 0.6628 1.642 json
t17_x17_u4_b26 17 17 4 26 mlt(D,pow(R,cil(R))) 112406 138737864 o2(x,o2(x,o1(x))) true 59255 59255 -0.0005495 0.4998 0.08734 0.01075 0.1037 -0.2722 0.2675 0.5397 1 2.774 0.001203 0.0000639 0.03161 0.8991 1 0.00001224 0.0001833 0.01199 0.0002679 0.01637 0.5178 0.06241 0.1178 0.01705 1 1 0.002482 0.01938 0.007409 0.2309 1.802 0.689 json
t17_x17_u4_b27 17 17 4 27 mlt(D,mod(R,cil(R))) 112407 138737865 o2(x,o2(x,o1(x))) true 59263 59263 -0.9572 0.02097 0.9599 0.04114 0.2028 -1 0.1932 1.193 1 0.3605 0.004235 0.004133 0.009124 0.0122 1 -0.000005251 0.01747 0.01696 0.008286 0.09103 9.977 1.399 0.2034 0.4246 1 1 0.006397 0.02727 0.06754 0.1555 0.6628 1.642 json
t17_x17_u4_b28 17 17 4 28 mlt(D,lrg(R,cil(R))) 112408 138737866 o2(x,o2(x,o1(x))) true 59271 59271 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_x17_u4_b29 17 17 4 29 mlt(D,eql(R,cil(R))) 112409 138737867 o2(x,o2(x,o1(x))) true 59279 59279 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_x17_u4_b30 17 17 4 30 mlt(D,min(R,cil(R))) 112410 138737868 o2(x,o2(x,o1(x))) true 59287 59287 0.001509 0.5091 0.09077 0.0151 0.1229 -0.4311 0.4889 0.92 1 3.004 0.0007895 0.0002198 0.02769 0.5645 1 -0.00003739 0.000103 0.008005 0.0002428 0.01558 0.5628 0.08276 0.06684 0.006818 1 1 0.001985 0.02214 0.02942 0.1314 1.466 1.949 json
t17_x17_u4_b31 17 17 4 31 mlt(D,dot(R,cil(R))) 112411 138737869 o2(x,o2(x,o1(x))) true 59295 59295 0.002002 0.5037 0.1117 0.02213 0.1488 -0.5442 0.5558 1.1 1 3.276 0.001779 0.0002241 0.03745 0.7762 1 -0.0000482 0.0002558 0.01297 0.0006003 0.0245 0.6541 0.1445 0.09052 0.01156 1 1 0.004345 0.03938 0.03227 0.1963 1.78 1.458 json
t17_x17_u4_b32 17 17 4 32 mlt(D,dst(R,cil(R))) 112412 138737870 o2(x,o2(x,o1(x))) true 59303 59303 -0.001291 0.497 0.0975 0.01302 0.1141 -0.3146 0.3377 0.6523 1 2.878 0.001648 0.00004391 0.03646 0.9481 1 0.00003692 0.0002517 0.01414 0.0003621 0.01903 0.5218 0.1016 0.1299 0.01933 1 1 0.003217 0.02417 0.007441 0.2471 1.856 0.5715 json
t17_x17_u4_b33 17 17 4 33 div(D,add(R,cil(R))) 112413 138737871 o2(x,o2(x,o1(x))) true 59311 59311 0.001653 0.5024 0.3372 0.2233 0.4725 -1 1 2 1 4.44 0.01948 0.005167 0.09332 0.5806 1 -0.00004594 0.02045 0.0454 0.01593 0.1262 1.353 2.028 0.1104 0.09158 1 1 0.03593 0.2993 0.434 0.1609 1.341 1.944 json
t17_x17_u4_b34 17 17 4 34 div(D,sub(R,cil(R))) 112414 138737872 o2(x,o2(x,o1(x))) true 59319 59319 -0.001324 0.4991 0.4504 0.3336 0.5776 -1 1 2 1 4.533 0.03767 0.00606 0.1312 0.7228 1 0.0001337 0.03414 0.07641 0.02651 0.1628 1.241 2.056 0.1311 0.1023 1 1 0.06634 0.4666 0.4415 0.1988 1.399 1.323 json
t17_x17_u4_b35 17 17 4 35 div(D,mlt(R,cil(R))) 112415 138737873 o2(x,o2(x,o1(x))) true 59327 59327 -0.9566 0.02148 0.9704 0.04973 0.223 -1 1 2 1 0.4264 0.004835 0.005437 0.01221 -0.05857 1 -0.00003843 0.02037 0.01883 0.01012 0.1006 8.242 2.006 0.2066 0.4096 1 1 0.00814 0.03766 0.09037 0.1637 0.7573 1.817 json
t17_x17_u4_b36 17 17 4 36 div(D,div(R,cil(R))) 112416 138737874 o2(x,o2(x,o1(x))) true 59335 59335 0.0004717 0.4511 0.2632 0.169 0.411 -1 1 2 1 4.082 0.01591 0.003207 0.07396 0.6646 1 -0.00009818 0.01676 0.03765 0.01365 0.1168 1.58 2.019 0.1132 0.09922 1 1 0.02701 0.1936 0.2946 0.1599 1.146 1.743 json
t17_x17_u4_b37 17 17 4 37 div(D,pow(R,cil(R))) 112417 138737875 o2(x,o2(x,o1(x))) true 59343 59343 0.0004077 0.4996 0.2599 0.1541 0.3925 -1 1 2 1 4.073 0.01668 0.002632 0.07938 0.7274 1 -0.00006772 0.01714 0.04194 0.01301 0.1141 1.437 2.015 0.1253 0.1112 1 1 0.02732 0.1787 0.2387 0.1773 1.16 1.549 json
t17_x17_u4_b38 17 17 4 38 div(D,mod(R,cil(R))) 112418 138737876 o2(x,o2(x,o1(x))) true 59351 59351 -0.9566 0.02148 0.9704 0.04973 0.223 -1 1 2 1 0.4264 0.004835 0.005437 0.01221 -0.05857 1 -0.00003843 0.02037 0.01883 0.01012 0.1006 8.242 2.006 0.2066 0.4096 1 1 0.00814 0.03766 0.09037 0.1637 0.7573 1.817 json
t17_x17_u4_b39 17 17 4 39 div(D,lrg(R,cil(R))) 112419 138737877 o2(x,o2(x,o1(x))) true 59359 59359 -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_x17_u4_b40 17 17 4 40 div(D,eql(R,cil(R))) 112420 138737878 o2(x,o2(x,o1(x))) true 59367 59367 -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_x17_u4_b41 17 17 4 41 div(D,min(R,cil(R))) 112421 138737879 o2(x,o2(x,o1(x))) true 59375 59375 -0.003026 0.4966 0.4829 0.3691 0.6075 -1 1 2 1 4.544 0.0323 0.00962 0.1247 0.5411 1 -0.000122 0.0377 0.06814 0.02637 0.1624 1.302 2.033 0.1136 0.1021 1 1 0.06061 0.4731 0.7177 0.1642 1.282 1.944 json
t17_x17_u4_b42 17 17 4 42 div(D,dot(R,cil(R))) 112422 138737880 o2(x,o2(x,o1(x))) true 59383 59383 -0.398 0.2984 0.5874 0.3667 0.6055 -1 1 2 1 3.305 0.02829 0.02145 0.08172 0.1376 1 -0.000009607 0.08679 0.09019 0.04305 0.2075 2.539 2.645 0.1356 0.2367 1 1 0.06148 0.2974 0.6456 0.1677 0.8111 1.761 json
t17_x17_u4_b43 17 17 4 43 div(D,dst(R,cil(R))) 112423 138737881 o2(x,o2(x,o1(x))) true 59391 59391 0.002394 0.5027 0.1254 0.02534 0.1592 -0.6982 0.9589 1.657 1 3.338 0.002747 0.0001429 0.04614 0.9011 1 -0.00006816 0.0004208 0.01774 0.0007607 0.02758 0.5977 0.1986 0.1141 0.01661 1 1 0.005584 0.04389 0.02093 0.2204 1.732 0.8259 json
t17_x17_u4_b44 17 17 4 44 pow(D,add(R,cil(R))) 112424 138737882 o2(x,o2(x,o1(x))) true 59399 59399 -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_x17_u4_b45 17 17 4 45 pow(D,sub(R,cil(R))) 112425 138737883 o2(x,o2(x,o1(x))) true 59407 59407 -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_x17_u4_b46 17 17 4 46 pow(D,mlt(R,cil(R))) 112426 138737884 o2(x,o2(x,o1(x))) true 59415 59415 -0.5174 0.2539 0.9748 0.6939 0.833 -1 1 2 1 1.288 0.07093 0.05941 0.07461 0.08837 1 -0.00001369 0.2709 0.1388 0.1247 0.3532 4.734 2.828 0.1878 0.3904 1 1 0.1371 0.5845 1.313 0.1976 0.8424 1.892 json
t17_x17_u4_b47 17 17 4 47 pow(D,div(R,cil(R))) 112427 138737885 o2(x,o2(x,o1(x))) true 59423 59423 -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_x17_u4_b48 17 17 4 48 pow(D,pow(R,cil(R))) 112428 138737886 o2(x,o2(x,o1(x))) true 59431 59431 -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_x17_u4_b49 17 17 4 49 pow(D,mod(R,cil(R))) 112429 138737887 o2(x,o2(x,o1(x))) true 59439 59439 -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_x17_u4_b50 17 17 4 50 pow(D,lrg(R,cil(R))) 112430 138737888 o2(x,o2(x,o1(x))) true 59447 59447 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_x17_u4_b51 17 17 4 51 pow(D,eql(R,cil(R))) 112431 138737889 o2(x,o2(x,o1(x))) true 59455 59455 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_x17_u4_b52 17 17 4 52 pow(D,min(R,cil(R))) 112432 138737890 o2(x,o2(x,o1(x))) true 59463 59463 -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_x17_u4_b53 17 17 4 53 pow(D,dot(R,cil(R))) 112433 138737891 o2(x,o2(x,o1(x))) true 59471 59471 -0.9457 0.03125 0.9918 0.09414 0.3068 -1 1 2 1 0.3017 0.01022 0.008314 0.01205 0.1027 1 4.177e-7 0.03809 0.02129 0.01837 0.1355 11.25 2.828 0.1968 0.4046 1 1 0.01203 0.05708 0.1545 0.1278 0.6063 1.641 json
t17_x17_u4_b54 17 17 4 54 pow(D,dst(R,cil(R))) 112434 138737892 o2(x,o2(x,o1(x))) true 59479 59479 -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_x17_u4_b55 17 17 4 55 mod(D,add(R,cil(R))) 112435 138737893 o2(x,o2(x,o1(x))) true 59487 59487 0.00002375 0.4998 0.1086 0.01577 0.1256 -0.2728 0.2722 0.545 1 2.995 0.00338 0.00007532 0.04479 0.9564 1 0.00003529 0.004037 0.03362 0.00145 0.03808 0.8502 0.4187 0.219 0.2559 1 1 0.005145 0.02987 0.01065 0.3261 1.894 0.6751 json
t17_x17_u4_b56 17 17 4 56 mod(D,sub(R,cil(R))) 112436 138737894 o2(x,o2(x,o1(x))) true 59495 59495 -0.0002357 0.4985 0.1123 0.01798 0.1341 -0.2722 0.2722 0.5444 1 3.102 0.00475 0.0001103 0.05177 0.9546 1 0.000042 0.007413 0.04975 0.00218 0.04669 0.9019 0.4832 0.2704 0.4123 1 1 0.006433 0.03337 0.01472 0.3578 1.856 0.8186 json
t17_x17_u4_b57 17 17 4 57 mod(D,mlt(R,cil(R))) 112437 138737895 o2(x,o2(x,o1(x))) true 59503 59503 -0.9572 0.02094 0.962 0.04165 0.2041 -1 0.2626 1.263 1 0.3862 0.004411 0.004154 0.01014 0.02992 1 -0.00001281 0.01788 0.01844 0.008458 0.09197 9.067 1.37 0.2056 0.4292 1 1 0.0065 0.02761 0.06833 0.1561 0.6629 1.641 json
t17_x17_u4_b58 17 17 4 58 mod(D,div(R,cil(R))) 112438 138737896 o2(x,o2(x,o1(x))) true 59511 59511 -0.9572 0.02094 0.962 0.04165 0.2041 -1 0.2626 1.263 1 0.3862 0.004411 0.004154 0.01014 0.02992 1 -0.00001281 0.01788 0.01844 0.008458 0.09197 9.067 1.37 0.2056 0.4292 1 1 0.0065 0.02761 0.06833 0.1561 0.6629 1.641 json
t17_x17_u4_b59 17 17 4 59 mod(D,pow(R,cil(R))) 112439 138737897 o2(x,o2(x,o1(x))) true 59519 59519 -0.000325 0.4973 0.1089 0.01551 0.1245 -0.2728 0.2728 0.5455 1 2.956 0.003102 0.00006673 0.04287 0.9579 1 -0.00003112 0.003361 0.02978 0.001332 0.03649 0.8512 0.3098 0.2043 0.2168 1 1 0.004738 0.02896 0.008398 0.3055 1.867 0.5415 json
t17_x17_u4_b60 17 17 4 60 mod(D,mod(R,cil(R))) 112440 138737898 o2(x,o2(x,o1(x))) true 59527 59527 -0.9572 0.02094 0.962 0.04165 0.2041 -1 0.2626 1.263 1 0.3862 0.004411 0.004154 0.01014 0.02992 1 -0.00001281 0.01788 0.01844 0.008458 0.09197 9.067 1.37 0.2056 0.4292 1 1 0.0065 0.02761 0.06833 0.1561 0.6629 1.641 json
t17_x17_u4_b61 17 17 4 61 mod(D,lrg(R,cil(R))) 112441 138737899 o2(x,o2(x,o1(x))) true 59535 59535 -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_x17_u4_b62 17 17 4 62 mod(D,eql(R,cil(R))) 112442 138737900 o2(x,o2(x,o1(x))) true 59543 59543 -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_x17_u4_b63 17 17 4 63 mod(D,min(R,cil(R))) 112443 138737901 o2(x,o2(x,o1(x))) true 59551 59551 -0.0003012 0.4979 0.1135 0.01789 0.1337 -0.2728 0.2728 0.5455 1 3.083 0.004647 0.0001074 0.05089 0.9548 1 0.000004165 0.00696 0.04709 0.002165 0.04653 0.9143 0.4963 0.2658 0.3891 1 1 0.006357 0.03391 0.01378 0.3554 1.896 0.7703 json
t17_x17_u4_b64 17 17 4 64 mod(D,dot(R,cil(R))) 112444 138737902 o2(x,o2(x,o1(x))) true 59559 59559 -0.3896 0.3072 0.4596 0.2493 0.4993 -1 0.2728 1.273 1 2.823 0.01543 0.01415 0.05406 0.04334 1 -0.00005089 0.0589 0.07422 0.02667 0.1633 3.021 1.415 0.1186 0.2362 1 1 0.02914 0.1266 0.3739 0.1169 0.5078 1.499 json
t17_x17_u4_b65 17 17 4 65 mod(D,dst(R,cil(R))) 112445 138737903 o2(x,o2(x,o1(x))) true 59567 59567 -0.0002625 0.5001 0.1058 0.0142 0.1191 -0.2661 0.2661 0.5323 1 2.853 0.002779 0.00001901 0.04234 0.9864 1 0.000004897 0.002189 0.02335 0.001006 0.03172 0.749 0.4183 0.1971 0.1542 1 1 0.004635 0.02846 0.002727 0.3265 2.005 0.1921 json
t17_x17_u4_b66 17 17 4 66 lrg(D,add(R,cil(R))) 112446 138737904 o2(x,o2(x,o1(x))) true 59575 59575 0.4416 0.8612 0.4416 0.1513 0.389 0 1 1 1 3.407 0.01242 0.002277 0.06623 0.6901 1 0.00003517 0.02158 0.04522 0.01031 0.1015 1.533 0.9994 0.09712 0.1427 1 1 0.01881 0.1352 0.277 0.1243 0.8939 1.831 json
t17_x17_u4_b67 17 17 4 67 lrg(D,sub(R,cil(R))) 112447 138737905 o2(x,o2(x,o1(x))) true 59583 59583 0.8434 1 0.8434 0.05975 0.2444 0.000582 1 0.9994 1 2.461 0.02185 0.0007294 0.06691 0.9354 1 0.0001349 0.04312 0.07368 0.01811 0.1346 2.011 0.9994 0.378 0.7217 1 1 0.02394 0.08569 0.08823 0.4006 1.434 1.477 json
t17_x17_u4_b68 17 17 4 68 lrg(D,mlt(R,cil(R))) 112448 138737906 o2(x,o2(x,o1(x))) true 59591 59591 0.316 0.905 0.316 0.1174 0.3427 0 0.9997 0.9997 1 3.271 0.03888 0.001031 0.09674 0.9483 1 -0.00004789 0.07352 0.1006 0.03055 0.1748 1.807 0.9997 0.3398 0.626 1 1 0.04371 0.1708 0.1383 0.3722 1.454 1.177 json
t17_x17_u4_b69 17 17 4 69 lrg(D,div(R,cil(R))) 112449 138737907 o2(x,o2(x,o1(x))) true 59599 59599 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
t17_x17_u4_b70 17 17 4 70 lrg(D,pow(R,cil(R))) 112450 138737908 o2(x,o2(x,o1(x))) true 59607 59607 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
t17_x17_u4_b71 17 17 4 71 lrg(D,mod(R,cil(R))) 112451 138737909 o2(x,o2(x,o1(x))) true 59615 59615 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
t17_x17_u4_b72 17 17 4 72 lrg(D,lrg(R,cil(R))) 112452 138737910 o2(x,o2(x,o1(x))) true 59623 59623 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_x17_u4_b73 17 17 4 73 lrg(D,eql(R,cil(R))) 112453 138737911 o2(x,o2(x,o1(x))) true 59631 59631 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_x17_u4_b74 17 17 4 74 lrg(D,min(R,cil(R))) 112454 138737912 o2(x,o2(x,o1(x))) true 59639 59639 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
t17_x17_u4_b75 17 17 4 75 lrg(D,dot(R,cil(R))) 112455 138737913 o2(x,o2(x,o1(x))) true 59647 59647 0.1255 0.5436 0.1255 0.05884 0.2426 0 0.9997 0.9997 1 1.999 0.01584 0.0006659 0.04815 0.9193 1 -0.00005822 0.03073 0.05032 0.01419 0.1191 2.474 0.9997 0.2805 0.5223 1 1 0.01589 0.06786 0.09267 0.2701 1.153 1.575 json
t17_x17_u4_b76 17 17 4 76 lrg(D,dst(R,cil(R))) 112456 138737914 o2(x,o2(x,o1(x))) true 59655 59655 0.01429 0.2043 0.01429 0.003843 0.06199 0 0.8606 0.8606 1 0.4994 0.002026 0.00005267 0.01067 0.9493 1 -0.00002677 0.004344 0.01326 0.001965 0.04433 4.155 0.8606 0.5409 1.13 1 1 0.001826 0.004503 0.007002 0.4751 1.172 1.822 json
t17_x17_u4_b77 17 17 4 77 eql(D,add(R,cil(R))) 112457 138737915 o2(x,o2(x,o1(x))) true 59663 59663 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_x17_u4_b78 17 17 4 78 eql(D,sub(R,cil(R))) 112458 138737916 o2(x,o2(x,o1(x))) true 59671 59671 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_x17_u4_b79 17 17 4 79 eql(D,mlt(R,cil(R))) 112459 138737917 o2(x,o2(x,o1(x))) true 59679 59679 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_x17_u4_b80 17 17 4 80 eql(D,div(R,cil(R))) 112460 138737918 o2(x,o2(x,o1(x))) true 59687 59687 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_x17_u4_b81 17 17 4 81 eql(D,pow(R,cil(R))) 112461 138737919 o2(x,o2(x,o1(x))) true 59695 59695 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_x17_u4_b82 17 17 4 82 eql(D,mod(R,cil(R))) 112462 138737920 o2(x,o2(x,o1(x))) true 59703 59703 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_x17_u4_b83 17 17 4 83 eql(D,lrg(R,cil(R))) 112463 138737921 o2(x,o2(x,o1(x))) true 59711 59711 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_x17_u4_b84 17 17 4 84 eql(D,eql(R,cil(R))) 112464 138737922 o2(x,o2(x,o1(x))) true 59719 59719 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_x17_u4_b85 17 17 4 85 eql(D,min(R,cil(R))) 112465 138737923 o2(x,o2(x,o1(x))) true 59727 59727 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_x17_u4_b86 17 17 4 86 eql(D,dot(R,cil(R))) 112466 138737924 o2(x,o2(x,o1(x))) true 59735 59735 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_x17_u4_b87 17 17 4 87 eql(D,dst(R,cil(R))) 112467 138737925 o2(x,o2(x,o1(x))) true 59743 59743 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_x17_u4_b88 17 17 4 88 min(D,add(R,cil(R))) 112468 138737926 o2(x,o2(x,o1(x))) true 59751 59751 -0.2683 0.1865 0.3 0.07656 0.2767 -0.9989 0.1454 1.144 1 4.044 0.001696 0.001067 0.04513 0.2278 1 -0.000001697 0.0002563 0.01308 0.0007257 0.02694 0.5969 0.1528 0.03609 0.003348 1 1 0.005137 0.05915 0.1236 0.0671 0.7726 1.614 json
t17_x17_u4_b89 17 17 4 89 min(D,sub(R,cil(R))) 112469 138737927 o2(x,o2(x,o1(x))) true 59759 59759 -0.5057 0 0.5057 0.04543 0.2131 -0.999 -0.003105 0.9959 1 3.758 0.0009463 0.000595 0.03221 0.2279 1 0.0001027 0.0001547 0.009168 0.0005041 0.02245 0.6971 0.1132 0.03393 0.003406 1 1 0.002794 0.03302 0.07673 0.06151 0.7268 1.689 json
t17_x17_u4_b90 17 17 4 90 min(D,mlt(R,cil(R))) 112470 138737928 o2(x,o2(x,o1(x))) true 59767 59767 -0.08531 0.239 0.1198 0.01355 0.1164 -0.2729 0.1454 0.4183 1 2.878 0.001591 0.00007216 0.03668 0.9132 1 0.0001431 0.0002905 0.01465 0.0003181 0.01783 0.4862 0.0851 0.1227 0.02144 1 1 0.00318 0.0229 0.009667 0.2346 1.69 0.7133 json
t17_x17_u4_b91 17 17 4 91 min(D,div(R,cil(R))) 112471 138737929 o2(x,o2(x,o1(x))) true 59775 59775 -0.01185 0.4726 0.09884 0.01207 0.1099 -0.2718 0.1454 0.4172 1 2.679 0.001743 0.00001529 0.03749 0.9826 1 0.00002252 0.0002903 0.01515 0.000353 0.01879 0.5011 0.0851 0.1456 0.02405 1 1 0.003375 0.02352 0.001879 0.2796 1.948 0.1557 json
t17_x17_u4_b92 17 17 4 92 min(D,pow(R,cil(R))) 112472 138737930 o2(x,o2(x,o1(x))) true 59783 59783 -0.01185 0.4726 0.09884 0.01207 0.1099 -0.2718 0.1454 0.4172 1 2.679 0.001743 0.00001529 0.03749 0.9826 1 0.00002252 0.0002903 0.01515 0.000353 0.01879 0.5011 0.0851 0.1456 0.02405 1 1 0.003375 0.02352 0.001879 0.2796 1.948 0.1557 json
t17_x17_u4_b93 17 17 4 93 min(D,mod(R,cil(R))) 112473 138737931 o2(x,o2(x,o1(x))) true 59791 59791 -0.01185 0.4726 0.09884 0.01207 0.1099 -0.2718 0.1454 0.4172 1 2.679 0.001743 0.00001529 0.03749 0.9826 1 0.00002252 0.0002903 0.01515 0.000353 0.01879 0.5011 0.0851 0.1456 0.02405 1 1 0.003375 0.02352 0.001879 0.2796 1.948 0.1557 json
t17_x17_u4_b94 17 17 4 94 min(D,lrg(R,cil(R))) 112474 138737932 o2(x,o2(x,o1(x))) true 59799 59799 -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_x17_u4_b95 17 17 4 95 min(D,eql(R,cil(R))) 112475 138737933 o2(x,o2(x,o1(x))) true 59807 59807 -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_x17_u4_b96 17 17 4 96 min(D,min(R,cil(R))) 112476 138737934 o2(x,o2(x,o1(x))) true 59815 59815 -0.2802 0.1663 0.3076 0.07392 0.2719 -0.9989 0.1454 1.144 1 4.044 0.001754 0.001001 0.04511 0.2733 1 0.00002083 0.0002816 0.01333 0.00072 0.02683 0.5948 0.1528 0.03727 0.003809 1 1 0.005139 0.05796 0.1186 0.06952 0.784 1.604 json
t17_x17_u4_b97 17 17 4 97 min(D,dot(R,cil(R))) 112477 138737935 o2(x,o2(x,o1(x))) true 59823 59823 -0.03081 0.4158 0.1035 0.01328 0.1152 -0.2729 0.1454 0.4183 1 2.823 0.00169 0.00004055 0.03733 0.9531 1 0.00004661 0.0002898 0.01495 0.0003373 0.01837 0.492 0.08523 0.1303 0.02183 1 1 0.003342 0.02376 0.005634 0.2517 1.79 0.4244 json
t17_x17_u4_b98 17 17 4 98 min(D,dst(R,cil(R))) 112478 138737936 o2(x,o2(x,o1(x))) true 59831 59831 -0.001846 0.4978 0.09577 0.01118 0.1058 -0.212 0.1454 0.3574 1 2.575 0.001686 9.414e-7 0.03669 0.9989 1 0.000002996 0.0002684 0.01484 0.0003416 0.01848 0.5037 0.08523 0.1509 0.024 1 1 0.003254 0.02252 0.0001109 0.291 2.014 0.009921 json
t17_x17_u4_b99 17 17 4 99 dot(D,add(R,cil(R))) 112479 138737937 o2(x,o2(x,o1(x))) true 59839 59839 0.007537 0.5149 0.2567 0.104 0.3224 -0.9375 1 1.938 1 4.404 0.003618 0.003816 0.07824 -0.02663 1 -0.0002114 0.0008035 0.02289 0.001314 0.03625 0.4633 0.2202 0.07151 0.007729 1 1 0.01489 0.1576 0.2037 0.1432 1.516 1.959 json
t17_x17_u4_b100 17 17 4 100 dot(D,sub(R,cil(R))) 112480 138737938 o2(x,o2(x,o1(x))) true 59847 59847 0.0008341 0.5019 0.0916 0.01298 0.1139 -0.4032 0.4216 0.8248 1 2.93 0.0006265 0.0006447 0.03232 -0.01432 1 -0.00003144 0.0001693 0.01055 0.0002267 0.01506 0.4659 0.0909 0.09791 0.01304 1 1 0.002379 0.02094 0.01425 0.1832 1.613 1.097 json
t17_x17_u4_b101 17 17 4 101 dot(D,mlt(R,cil(R))) 112481 138737939 o2(x,o2(x,o1(x))) true 59855 59855 0.001352 0.5038 0.08236 0.01223 0.1106 -0.3881 0.4274 0.8155 1 2.866 0.0004566 0.0004731 0.02571 -0.01766 1 -0.00003976 0.0001052 0.007876 0.0002689 0.0164 0.6378 0.1004 0.07599 0.008595 1 1 0.001902 0.01932 0.02297 0.1554 1.579 1.878 json
t17_x17_u4_b102 17 17 4 102 dot(D,div(R,cil(R))) 112482 138737940 o2(x,o2(x,o1(x))) true 59863 59863 -0.9959 0.003021 0.9964 0.004411 0.06642 -1 0.204 1.204 1 0.0458 0.0005673 0.0005186 0.001137 0.04481 1 -2.253e-11 0.00228 0.002107 0.001084 0.03292 28.95 1.386 0.2462 0.517 1 1 0.001928 0.008061 0.01557 0.4371 1.827 3.53 json
t17_x17_u4_b103 17 17 4 103 dot(D,pow(R,cil(R))) 112483 138737941 o2(x,o2(x,o1(x))) true 59871 59871 -0.002 0.4913 0.1201 0.02161 0.147 -0.426 0.4645 0.8905 1 3.277 0.001273 0.001228 0.04669 0.01772 1 0.00005023 0.0003576 0.01538 0.0003216 0.01793 0.3841 0.1063 0.1157 0.01655 1 1 0.004678 0.03735 0.01675 0.2164 1.728 0.775 json
t17_x17_u4_b104 17 17 4 104 dot(D,mod(R,cil(R))) 112484 138737942 o2(x,o2(x,o1(x))) true 59879 59879 -0.9959 0.003021 0.9964 0.004411 0.06642 -1 0.204 1.204 1 0.0458 0.0005673 0.0005186 0.001137 0.04481 1 -2.253e-11 0.00228 0.002107 0.001084 0.03292 28.95 1.386 0.2462 0.517 1 1 0.001928 0.008061 0.01557 0.4371 1.827 3.53 json
t17_x17_u4_b105 17 17 4 105 dot(D,lrg(R,cil(R))) 112485 138737943 o2(x,o2(x,o1(x))) true 59887 59887 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_x17_u4_b106 17 17 4 106 dot(D,eql(R,cil(R))) 112486 138737944 o2(x,o2(x,o1(x))) true 59895 59895 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_x17_u4_b107 17 17 4 107 dot(D,min(R,cil(R))) 112487 138737945 o2(x,o2(x,o1(x))) true 59903 59903 0.004186 0.519 0.1403 0.03119 0.1766 -0.5259 0.5965 1.122 1 3.548 0.001025 0.001036 0.04104 -0.005293 1 -0.0001214 0.0002066 0.0116 0.0003766 0.01941 0.4729 0.1246 0.06608 0.006623 1 1 0.003983 0.04517 0.06353 0.1277 1.448 2.037 json
t17_x17_u4_b108 17 17 4 108 dot(D,dot(R,cil(R))) 112488 138737946 o2(x,o2(x,o1(x))) true 59911 59911 0.001628 0.5039 0.1557 0.04508 0.2123 -0.8747 0.884 1.759 1 3.765 0.001999 0.002028 0.05382 -0.007151 1 -0.00005646 0.0005091 0.01708 0.00113 0.03361 0.6245 0.2362 0.08932 0.01129 1 1 0.008706 0.0789 0.06619 0.1932 1.75 1.468 json
t17_x17_u4_b109 17 17 4 109 dot(D,dst(R,cil(R))) 112489 138737947 o2(x,o2(x,o1(x))) true 59919 59919 -0.0001258 0.4947 0.1266 0.0262 0.1619 -0.5544 0.55 1.104 1 3.418 0.001691 0.001687 0.05397 0.001195 1 0.00001038 0.0005048 0.01796 0.0004649 0.02156 0.3995 0.1437 0.1289 0.01926 1 1 0.006435 0.04842 0.0146 0.2456 1.848 0.5573 json
t17_x17_u4_b110 17 17 4 110 dst(D,add(R,cil(R))) 112490 138737948 o2(x,o2(x,o1(x))) true 59927 59927 0.9942 1 0.9942 0.001761 0.04197 0.3178 1 0.6822 1 0.2273 0.0001228 0.0001076 0.002398 0.06627 1 -0.00001165 0.0001292 0.001756 0.0002246 0.01499 6.25 0.2255 0.1308 0.07337 1 1 0.0002241 0.001493 0.002175 0.1272 0.8475 1.235 json
t17_x17_u4_b111 17 17 4 111 dst(D,sub(R,cil(R))) 112491 138737949 o2(x,o2(x,o1(x))) true 59935 59935 0.9241 1 0.9241 0.01689 0.13 0.1694 1 0.8306 1 1.797 0.0006779 0.0006874 0.02183 -0.006904 1 -0.0000513 0.0004135 0.01025 0.0008888 0.02981 1.366 0.168 0.08083 0.02448 1 1 0.002742 0.02278 0.03114 0.1623 1.349 1.843 json
t17_x17_u4_b112 17 17 4 112 dst(D,mlt(R,cil(R))) 112492 138737950 o2(x,o2(x,o1(x))) true 59943 59943 0.7527 1 0.7527 0.05508 0.2347 0.03249 1 0.9675 1 3.325 0.001782 0.001752 0.04653 0.008444 1 -0.0002215 0.000639 0.01591 0.001369 0.037 0.7952 0.2041 0.06416 0.0116 1 1 0.00663 0.0626 0.0949 0.1204 1.137 1.723 json
t17_x17_u4_b113 17 17 4 113 dst(D,div(R,cil(R))) 112493 138737951 o2(x,o2(x,o1(x))) true 59951 59951 -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_x17_u4_b114 17 17 4 114 dst(D,pow(R,cil(R))) 112494 138737952 o2(x,o2(x,o1(x))) true 59959 59959 0.9962 1 0.9962 0.001296 0.03599 0.07266 1 0.9273 1 0.1524 0.00007625 0.00006896 0.001685 0.05022 1 0.000003971 0.00007033 0.001258 0.0001424 0.01193 7.081 0.2168 0.1121 0.05429 1 1 0.0001475 0.0009939 0.001615 0.1139 0.7671 1.247 json
t17_x17_u4_b115 17 17 4 115 dst(D,mod(R,cil(R))) 112495 138737953 o2(x,o2(x,o1(x))) true 59967 59967 -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_x17_u4_b116 17 17 4 116 dst(D,lrg(R,cil(R))) 112496 138737954 o2(x,o2(x,o1(x))) true 59975 59975 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_x17_u4_b117 17 17 4 117 dst(D,eql(R,cil(R))) 112497 138737955 o2(x,o2(x,o1(x))) true 59983 59983 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_x17_u4_b118 17 17 4 118 dst(D,min(R,cil(R))) 112498 138737956 o2(x,o2(x,o1(x))) true 59991 59991 0.9181 1 0.9181 0.01978 0.1406 0.07175 1 0.9282 1 1.861 0.0006824 0.0007622 0.02203 -0.05522 1 -0.00004027 0.0004199 0.009976 0.000959 0.03097 1.406 0.1814 0.07303 0.02123 1 1 0.002532 0.02334 0.03425 0.128 1.18 1.731 json
t17_x17_u4_b119 17 17 4 119 dst(D,dot(R,cil(R))) 112499 138737957 o2(x,o2(x,o1(x))) true 59999 59999 0.8977 1 0.8977 0.0429 0.2071 0.0271 1 0.9729 1 1.756 0.001797 0.001669 0.02814 0.03689 1 -0.0001944 0.001256 0.01419 0.002675 0.05172 1.838 0.3317 0.08079 0.02927 1 1 0.005707 0.04507 0.06571 0.133 1.051 1.532 json