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_x22_u3_b106 17 22 3 106 dot(R,eql(D,flr(D))) 116600 138939748 o2(x,o2(x,o1(x))) true 92807 92807 -0.02962 0.4693 0.3744 0.1997 0.4469 -0.9967 0.9893 1.986 1 4.818 0.003 0.00287 0.06261 0.02222 1 -0.00003178 0.0003527 0.01452 0.001951 0.04417 0.7055 0.2258 0.02939 0.001766 1 1 0.01331 0.1712 0.4269 0.06664 0.857 2.137 json
t17_x22_u3_b107 17 22 3 107 dot(R,min(D,flr(D))) 116601 138939749 o2(x,o2(x,o1(x))) true 92815 92815 -0.01332 0.4999 0.3393 0.1922 0.4384 -1 1 2 1 4.74 0.01762 0.01732 0.1053 0.008762 1 -0.000009151 0.06058 0.1086 0.02385 0.1544 1.466 1.341 0.1818 0.3152 1 1 0.04026 0.2213 0.3619 0.2095 1.151 1.883 json
t17_x22_u3_b108 17 22 3 108 dot(R,dot(D,flr(D))) 116602 138939750 o2(x,o2(x,o1(x))) true 92823 92823 0.002331 0.5099 0.1812 0.06177 0.2485 -1 1 2 1 3.979 0.00158 0.001604 0.04641 -0.007472 1 0.0001404 0.0005092 0.01658 0.00103 0.0321 0.6916 0.2123 0.05155 0.008243 1 1 0.006484 0.06228 0.1197 0.105 1.008 1.937 json
t17_x22_u3_b109 17 22 3 109 dot(R,dst(D,flr(D))) 116603 138939751 o2(x,o2(x,o1(x))) true 92831 92831 0.008149 0.5136 0.4192 0.2794 0.5286 -1 1 2 1 4.769 0.01342 0.01357 0.1056 -0.005824 1 0.000001874 0.0422 0.08814 0.01584 0.1259 1.192 0.954 0.09658 0.151 1 1 0.03747 0.2452 0.5344 0.1341 0.8774 1.912 json
t17_x22_u3_b110 17 22 3 110 dst(R,add(D,flr(D))) 116604 138939752 o2(x,o2(x,o1(x))) true 92839 92839 0.9817 1 0.9817 0.0052 0.07211 0.07218 1 0.9278 1 0.6064 0.00154 0.001391 0.01393 0.05075 1 -0.00008113 0.00557 0.01836 0.002737 0.05232 3.756 0.9278 0.5637 1.071 1 1 0.002933 0.008318 0.007278 0.5641 1.6 1.4 json
t17_x22_u3_b111 17 22 3 111 dst(R,sub(D,flr(D))) 116605 138939753 o2(x,o2(x,o1(x))) true 92847 92847 0.9382 1 0.9382 0.01556 0.1247 0.07078 1 0.9292 1 1.535 0.002445 0.002594 0.02785 -0.02956 1 -0.00001304 0.009536 0.03273 0.004265 0.06531 2.345 0.9066 0.3239 0.6128 1 1 0.005694 0.01917 0.02967 0.3659 1.232 1.907 json
t17_x22_u3_b112 17 22 3 112 dst(R,mlt(D,flr(D))) 116606 138939754 o2(x,o2(x,o1(x))) true 92855 92855 0.9118 1 0.9118 0.0205 0.1432 0.07195 1 0.9281 1 1.962 0.000501 0.0006138 0.01985 -0.1012 1 -0.00009215 0.0002961 0.00885 0.0007207 0.02685 1.352 0.1661 0.05439 0.01444 1 1 0.001944 0.01826 0.03245 0.09482 0.8908 1.583 json
t17_x22_u3_b113 17 22 3 113 dst(R,div(D,flr(D))) 116607 138939755 o2(x,o2(x,o1(x))) true 92863 92863 -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_x22_u3_b114 17 22 3 114 dst(R,pow(D,flr(D))) 116608 138939756 o2(x,o2(x,o1(x))) true 92871 92871 -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_x22_u3_b115 17 22 3 115 dst(R,mod(D,flr(D))) 116609 138939757 o2(x,o2(x,o1(x))) true 92879 92879 -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_x22_u3_b116 17 22 3 116 dst(R,lrg(D,flr(D))) 116610 138939758 o2(x,o2(x,o1(x))) true 92887 92887 0.9829 1 0.9829 0.00498 0.07057 0.3142 1 0.6858 1 0.5698 0.0002156 0.0002534 0.005685 -0.08051 1 -0.00002741 0.0002107 0.003726 0.0004368 0.0209 3.676 0.2031 0.09417 0.0423 1 1 0.0008503 0.00658 0.009803 0.1707 1.321 1.968 json
t17_x22_u3_b117 17 22 3 117 dst(R,eql(D,flr(D))) 116611 138939759 o2(x,o2(x,o1(x))) true 92895 92895 0.9684 1 0.9684 0.009182 0.09582 0.2103 1 0.7897 1 0.9061 0.0002907 0.0002713 0.007968 0.03453 1 -0.00004516 0.0002037 0.004353 0.0004984 0.02232 2.802 0.1992 0.0612 0.02219 1 1 0.0009074 0.007818 0.01255 0.09882 0.8515 1.367 json
t17_x22_u3_b118 17 22 3 118 dst(R,min(D,flr(D))) 116612 138939760 o2(x,o2(x,o1(x))) true 92903 92903 0.9613 1 0.9613 0.01047 0.1023 0.09952 1 0.9005 1 1.089 0.002041 0.001914 0.019 0.03202 1 -0.00004086 0.007424 0.02437 0.003596 0.05996 3.156 0.9005 0.3779 0.7093 1 1 0.003764 0.01448 0.01662 0.3597 1.383 1.588 json
t17_x22_u3_b119 17 22 3 119 dst(R,dot(D,flr(D))) 116613 138939761 o2(x,o2(x,o1(x))) true 92911 92911 0.9377 1 0.9377 0.01646 0.1283 0.02295 1 0.9771 1 1.508 0.0007767 0.0008737 0.02028 -0.05882 1 -0.0001994 0.0007182 0.01209 0.00124 0.03521 1.737 0.2332 0.1003 0.04362 1 1 0.002942 0.02181 0.02685 0.1787 1.325 1.631 json
t17_x22_u3_b120 17 22 3 120 dst(R,dst(D,flr(D))) 116614 138939762 o2(x,o2(x,o1(x))) true 92919 92919 0.9727 1 0.9727 0.008543 0.09243 0.02883 1 0.9712 1 0.7884 0.001977 0.002022 0.01731 -0.01114 1 -0.00003581 0.007906 0.02271 0.003702 0.06084 3.514 0.9712 0.4681 0.9254 1 1 0.005418 0.01705 0.01711 0.6341 1.996 2.003 json
t17_x22_u4_b0 17 22 4 0 add(R,add(D,cil(D))) 116615 138939843 o2(x,o2(x,o1(x))) true 92927 92927 0.4157 0.7699 0.5977 0.2893 0.5379 -1 1 2 1 4.388 0.0562 0.002364 0.1285 0.9193 1 0.00003151 0.08684 0.1206 0.04205 0.2051 1.595 1.085 0.2024 0.3002 1 1 0.07519 0.3819 0.2589 0.2599 1.32 0.8949 json
t17_x22_u4_b1 17 22 4 1 add(R,sub(D,cil(D))) 116616 138939844 o2(x,o2(x,o1(x))) true 92935 92935 -0.4381 0.1862 0.5488 0.2188 0.4678 -1 0.9493 1.949 1 4.378 0.04151 0.002662 0.1114 0.8795 1 0.0001236 0.08299 0.107 0.03176 0.1782 1.6 0.9627 0.2019 0.3793 1 1 0.04708 0.2076 0.3027 0.2152 0.9488 1.383 json
t17_x22_u4_b2 17 22 4 2 add(R,mlt(D,cil(D))) 116617 138939845 o2(x,o2(x,o1(x))) true 92943 92943 0.1513 0.6091 0.4181 0.2279 0.4774 -0.9982 1 1.998 1 4.86 0.004256 0.003161 0.07375 0.1476 1 -0.0002808 0.0006355 0.02013 0.001977 0.04447 0.6029 0.2626 0.03255 0.002789 1 1 0.01458 0.1707 0.3894 0.06398 0.7491 1.709 json
t17_x22_u4_b3 17 22 4 3 add(R,div(D,cil(D))) 116618 138939846 o2(x,o2(x,o1(x))) true 92951 92951 -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_x22_u4_b4 17 22 4 4 add(R,pow(D,cil(D))) 116619 138939847 o2(x,o2(x,o1(x))) true 92959 92959 0.5569 0.8656 0.6416 0.2082 0.4563 -0.9673 1 1.967 1 4.005 0.0446 0.002306 0.1105 0.9017 1 -0.0003314 0.08424 0.1083 0.03469 0.1863 1.686 0.9928 0.2252 0.4045 1 1 0.05254 0.2261 0.2462 0.2523 1.086 1.182 json
t17_x22_u4_b5 17 22 4 5 add(R,mod(D,cil(D))) 116620 138939848 o2(x,o2(x,o1(x))) true 92967 92967 -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_x22_u4_b6 17 22 4 6 add(R,lrg(D,cil(D))) 116621 138939849 o2(x,o2(x,o1(x))) true 92975 92975 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t17_x22_u4_b7 17 22 4 7 add(R,eql(D,cil(D))) 116622 138939850 o2(x,o2(x,o1(x))) true 92983 92983 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t17_x22_u4_b8 17 22 4 8 add(R,min(D,cil(D))) 116623 138939851 o2(x,o2(x,o1(x))) true 92991 92991 0.009078 0.4986 0.4013 0.2304 0.48 -1 1 2 1 4.899 0.004471 0.003165 0.07546 0.1709 1 0.00002869 0.0006263 0.01935 0.001942 0.04407 0.584 0.2845 0.03314 0.002718 1 1 0.01508 0.1746 0.3904 0.06546 0.7577 1.694 json
t17_x22_u4_b9 17 22 4 9 add(R,dot(D,cil(D))) 116624 138939852 o2(x,o2(x,o1(x))) true 92999 92999 0.2894 0.7107 0.4696 0.2291 0.4786 -0.9979 1 1.998 1 4.728 0.004169 0.004478 0.07995 -0.03572 1 -0.0005434 0.000957 0.02394 0.002254 0.04748 0.5938 0.2692 0.03775 0.004178 1 1 0.01691 0.1844 0.3768 0.07381 0.8048 1.645 json
t17_x22_u4_b10 17 22 4 10 add(R,dst(D,cil(D))) 116625 138939853 o2(x,o2(x,o1(x))) true 93007 93007 0.6479 0.9211 0.6862 0.1542 0.3926 -0.9543 1 1.954 1 3.647 0.01736 0.01742 0.0962 -0.001465 1 0.00002281 0.06709 0.11 0.02553 0.1598 1.661 1.309 0.2256 0.4352 1 1 0.03834 0.1553 0.2041 0.2487 1.008 1.324 json
t17_x22_u4_b11 17 22 4 11 sub(R,add(D,cil(D))) 116626 138939854 o2(x,o2(x,o1(x))) true 93015 93015 -0.4024 0.2249 0.5859 0.2887 0.5373 -1 1 2 1 4.392 0.05585 0.002422 0.1286 0.9169 1 0.00002402 0.08621 0.1202 0.04172 0.2043 1.588 1.084 0.2018 0.2986 1 1 0.07361 0.3775 0.27 0.255 1.308 0.9352 json
t17_x22_u4_b12 17 22 4 12 sub(R,sub(D,cil(D))) 116627 138939855 o2(x,o2(x,o1(x))) true 93023 93023 0.4523 0.8143 0.5621 0.2191 0.468 -0.9672 1 1.967 1 4.359 0.04164 0.002622 0.1116 0.8815 1 -0.0001555 0.08352 0.107 0.0318 0.1783 1.597 0.9646 0.2021 0.3813 1 1 0.04756 0.2054 0.2896 0.2171 0.9377 1.322 json
t17_x22_u4_b13 17 22 4 13 sub(R,mlt(D,cil(D))) 116628 138939856 o2(x,o2(x,o1(x))) true 93031 93031 -0.132 0.3943 0.4145 0.2247 0.4741 -1 0.9802 1.98 1 4.849 0.004197 0.003147 0.07268 0.1429 1 0.0003412 0.0006401 0.01994 0.002062 0.04541 0.6248 0.2351 0.03268 0.002848 1 1 0.01438 0.1673 0.3859 0.06396 0.7444 1.717 json
t17_x22_u4_b14 17 22 4 14 sub(R,div(D,cil(D))) 116629 138939857 o2(x,o2(x,o1(x))) true 93039 93039 -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_x22_u4_b15 17 22 4 15 sub(R,pow(D,cil(D))) 116630 138939858 o2(x,o2(x,o1(x))) true 93047 93047 -0.5408 0.1368 0.6326 0.213 0.4615 -1 0.9491 1.949 1 4.056 0.04471 0.002354 0.1128 0.9 1 0.0003887 0.08372 0.1086 0.03434 0.1853 1.643 0.9931 0.2209 0.3931 1 1 0.05288 0.2348 0.258 0.2483 1.102 1.211 json
t17_x22_u4_b16 17 22 4 16 sub(R,mod(D,cil(D))) 116631 138939859 o2(x,o2(x,o1(x))) true 93055 93055 -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_x22_u4_b17 17 22 4 17 sub(R,lrg(D,cil(D))) 116632 138939860 o2(x,o2(x,o1(x))) true 93063 93063 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t17_x22_u4_b18 17 22 4 18 sub(R,eql(D,cil(D))) 116633 138939861 o2(x,o2(x,o1(x))) true 93071 93071 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t17_x22_u4_b19 17 22 4 19 sub(R,min(D,cil(D))) 116634 138939862 o2(x,o2(x,o1(x))) true 93079 93079 0.009165 0.4978 0.4005 0.2287 0.4782 -1 1 2 1 4.894 0.004393 0.003164 0.07461 0.1626 1 0.00003074 0.0006179 0.01902 0.001989 0.0446 0.5978 0.2561 0.03305 0.002702 1 1 0.01479 0.1717 0.3901 0.06468 0.751 1.706 json
t17_x22_u4_b20 17 22 4 20 sub(R,dot(D,cil(D))) 116635 138939863 o2(x,o2(x,o1(x))) true 93087 93087 -0.2694 0.2997 0.4627 0.2257 0.475 -1 0.9687 1.969 1 4.745 0.004128 0.004516 0.07939 -0.04498 1 0.0006182 0.0009461 0.02381 0.002341 0.04838 0.6094 0.267 0.0383 0.004192 1 1 0.01683 0.1817 0.3719 0.07459 0.8051 1.648 json
t17_x22_u4_b21 17 22 4 21 sub(R,dst(D,cil(D))) 116636 138939864 o2(x,o2(x,o1(x))) true 93095 93095 -0.6344 0.08054 0.6743 0.1579 0.3974 -1 0.9251 1.925 1 3.687 0.01731 0.01768 0.09735 -0.01079 1 0.00001866 0.06684 0.11 0.02552 0.1597 1.641 1.309 0.2216 0.4232 1 1 0.0381 0.1615 0.2223 0.2413 1.023 1.408 json
t17_x22_u4_b22 17 22 4 22 mlt(R,add(D,cil(D))) 116637 138939865 o2(x,o2(x,o1(x))) true 93103 93103 0.00845 0.5034 0.2981 0.1666 0.4081 -1 1 2 1 4.571 0.02107 0.002409 0.08568 0.7948 1 -0.00001543 0.03385 0.06912 0.01614 0.127 1.483 1.032 0.141 0.2033 1 1 0.03024 0.2174 0.311 0.1816 1.305 1.867 json
t17_x22_u4_b23 17 22 4 23 mlt(R,sub(D,cil(D))) 116638 138939866 o2(x,o2(x,o1(x))) true 93111 93111 -0.005618 0.5013 0.1971 0.07599 0.2757 -0.95 0.9676 1.918 1 4.088 0.01604 0.001091 0.06816 0.8726 1 -0.00005941 0.03323 0.06149 0.01249 0.1117 1.639 0.9364 0.2254 0.4373 1 1 0.01785 0.07237 0.136 0.2349 0.9524 1.79 json
t17_x22_u4_b24 17 22 4 24 mlt(R,mlt(D,cil(D))) 116639 138939867 o2(x,o2(x,o1(x))) true 93119 93119 0.002039 0.4816 0.06388 0.008093 0.08996 -0.2726 0.2677 0.5403 1 2.562 0.000392 0.0001179 0.01869 0.5377 1 -0.00005417 0.00008326 0.00687 0.0001605 0.01267 0.6778 0.06179 0.063 0.01029 1 1 0.0009691 0.009348 0.01505 0.1198 1.155 1.86 json
t17_x22_u4_b25 17 22 4 25 mlt(R,div(D,cil(D))) 116640 138939868 o2(x,o2(x,o1(x))) true 93127 93127 -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_x22_u4_b26 17 22 4 26 mlt(R,pow(D,cil(D))) 116641 138939869 o2(x,o2(x,o1(x))) true 93135 93135 0.00389 0.4991 0.2508 0.1183 0.344 -0.9985 0.9805 1.979 1 4.396 0.01713 0.001713 0.07298 0.8182 1 -0.00004967 0.03339 0.06458 0.01352 0.1163 1.593 0.9673 0.1592 0.2821 1 1 0.02116 0.11 0.2099 0.1788 0.9298 1.773 json
t17_x22_u4_b27 17 22 4 27 mlt(R,mod(D,cil(D))) 116642 138939870 o2(x,o2(x,o1(x))) true 93143 93143 -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_x22_u4_b28 17 22 4 28 mlt(R,lrg(D,cil(D))) 116643 138939871 o2(x,o2(x,o1(x))) true 93151 93151 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_x22_u4_b29 17 22 4 29 mlt(R,eql(D,cil(D))) 116644 138939872 o2(x,o2(x,o1(x))) true 93159 93159 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_x22_u4_b30 17 22 4 30 mlt(R,min(D,cil(D))) 116645 138939873 o2(x,o2(x,o1(x))) true 93167 93167 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_x22_u4_b31 17 22 4 31 mlt(R,dot(D,cil(D))) 116646 138939874 o2(x,o2(x,o1(x))) true 93175 93175 0.002215 0.489 0.1163 0.02209 0.1486 -0.5123 0.4748 0.9871 1 3.297 0.0005479 0.0005776 0.02907 -0.02639 1 -0.000009418 0.0001803 0.01048 0.0002804 0.01674 0.576 0.09524 0.05095 0.008165 1 1 0.002163 0.02134 0.04083 0.09793 0.9662 1.848 json
t17_x22_u4_b32 17 22 4 32 mlt(R,dst(D,cil(D))) 116647 138939875 o2(x,o2(x,o1(x))) true 93183 93183 0.006535 0.4983 0.3021 0.1495 0.3866 -1 1 2 1 4.632 0.008821 0.009187 0.08518 -0.02036 1 0.00001383 0.03132 0.07499 0.01075 0.1037 1.217 1.306 0.1205 0.2096 1 1 0.02121 0.1258 0.2676 0.1419 0.8419 1.79 json
t17_x22_u4_b33 17 22 4 33 div(R,add(D,cil(D))) 116648 138939876 o2(x,o2(x,o1(x))) true 93191 93191 0.01249 0.5095 0.5758 0.4567 0.6758 -1 1 2 1 4.495 0.1376 0.01732 0.1821 0.7764 1 0.00001423 0.2994 0.2197 0.1217 0.3489 1.916 2.312 0.3391 0.6554 1 1 0.1721 0.7416 0.8416 0.3768 1.624 1.843 json
t17_x22_u4_b34 17 22 4 34 div(R,sub(D,cil(D))) 116649 138939877 o2(x,o2(x,o1(x))) true 93199 93199 -0.008461 0.5016 0.666 0.5588 0.7475 -1 1 2 1 4.305 0.03365 0.0191 0.1279 0.2759 1 -0.000001842 0.08381 0.1147 0.0364 0.1908 1.492 2.222 0.0944 0.15 1 1 0.0726 0.4701 1.005 0.1299 0.8414 1.798 json
t17_x22_u4_b35 17 22 4 35 div(R,mlt(D,cil(D))) 116650 138939878 o2(x,o2(x,o1(x))) true 93207 93207 -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_x22_u4_b36 17 22 4 36 div(R,div(D,cil(D))) 116651 138939879 o2(x,o2(x,o1(x))) true 93215 93215 0.002633 0.4832 0.4592 0.389 0.6237 -1 1 2 1 3.942 0.06867 0.01625 0.1423 0.6172 1 -0.000005426 0.1579 0.1649 0.06469 0.2543 1.788 2.107 0.2183 0.406 1 1 0.1014 0.5056 0.712 0.2607 1.3 1.83 json
t17_x22_u4_b37 17 22 4 37 div(R,pow(D,cil(D))) 116652 138939880 o2(x,o2(x,o1(x))) true 93223 93223 0.005519 0.4976 0.6131 0.4949 0.7035 -1 1 2 1 4.495 0.03289 0.01785 0.1261 0.2964 1 0.00001104 0.0827 0.1119 0.03483 0.1866 1.48 2.108 0.1025 0.1671 1 1 0.06925 0.4526 0.8936 0.1399 0.9145 1.806 json
t17_x22_u4_b38 17 22 4 38 div(R,mod(D,cil(D))) 116653 138939881 o2(x,o2(x,o1(x))) true 93231 93231 -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_x22_u4_b39 17 22 4 39 div(R,lrg(D,cil(D))) 116654 138939882 o2(x,o2(x,o1(x))) true 93239 93239 -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_x22_u4_b40 17 22 4 40 div(R,eql(D,cil(D))) 116655 138939883 o2(x,o2(x,o1(x))) true 93247 93247 -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_x22_u4_b41 17 22 4 41 div(R,min(D,cil(D))) 116656 138939884 o2(x,o2(x,o1(x))) true 93255 93255 0.0102 0.5064 0.8024 0.7396 0.86 -1 1 2 1 3.328 0.2573 0.03211 0.239 0.7781 1 -0.00006844 0.5792 0.3129 0.2324 0.482 2.017 2.828 0.3913 0.7831 1 1 0.3234 1.359 1.366 0.4372 1.837 1.847 json
t17_x22_u4_b42 17 22 4 42 div(R,dot(D,cil(D))) 116657 138939885 o2(x,o2(x,o1(x))) true 93263 93263 -0.03125 0.4844 1 0.9983 0.9991 -1 1 2 1 0.9993 0.1117 0.1269 0.1183 -0.06336 1 0 0.5045 0.2386 0.2245 0.4738 4.005 2.828 0.239 0.5054 1 1 0.2404 0.988 1.899 0.2408 0.9897 1.902 json
t17_x22_u4_b43 17 22 4 43 div(R,dst(D,cil(D))) 116658 138939886 o2(x,o2(x,o1(x))) true 93271 93271 0.01039 0.4983 0.5169 0.3705 0.6087 -1 1 2 1 4.843 0.01428 0.01504 0.1138 -0.0259 1 0.00001121 0.04058 0.09793 0.01636 0.1279 1.124 1.344 0.07912 0.1095 1 1 0.04101 0.2957 0.6676 0.1107 0.798 1.802 json
t17_x22_u4_b44 17 22 4 44 pow(R,add(D,cil(D))) 116659 138939887 o2(x,o2(x,o1(x))) true 93279 93279 -0.9217 0.04297 0.9923 0.139 0.3728 -1 1 2 1 0.3719 0.01388 0.01397 0.01638 -0.003225 1 -0.00001266 0.05806 0.03073 0.02757 0.166 10.14 2.828 0.2004 0.4177 1 1 0.02199 0.09629 0.2293 0.1582 0.6928 1.65 json
t17_x22_u4_b45 17 22 4 45 pow(R,sub(D,cil(D))) 116660 138939888 o2(x,o2(x,o1(x))) true 93287 93287 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t17_x22_u4_b46 17 22 4 46 pow(R,mlt(D,cil(D))) 116661 138939889 o2(x,o2(x,o1(x))) true 93295 93295 -0.5809 0.2188 0.9816 0.6293 0.7933 -1 1 2 1 1.181 0.08172 0.06062 0.07633 0.1482 1 0.00005927 0.3028 0.1468 0.1365 0.3695 4.841 2.828 0.2262 0.4812 1 1 0.1458 0.5792 1.377 0.2317 0.9204 2.189 json
t17_x22_u4_b47 17 22 4 47 pow(R,div(D,cil(D))) 116662 138939890 o2(x,o2(x,o1(x))) true 93303 93303 -0.9392 0.04256 0.9749 0.0877 0.2961 -1 0.9979 1.998 1 0.4133 0.01044 0.008624 0.01463 0.09535 1 0.00002437 0.03997 0.02478 0.01887 0.1374 9.391 1.998 0.2174 0.4558 1 1 0.01399 0.05917 0.1433 0.1596 0.6747 1.634 json
t17_x22_u4_b48 17 22 4 48 pow(R,pow(D,cil(D))) 116663 138939891 o2(x,o2(x,o1(x))) true 93311 93311 -0.9268 0.04297 0.9873 0.1211 0.3481 -1 0.9981 1.998 1 0.4066 0.01339 0.012 0.01587 0.05479 1 0.00002673 0.05339 0.0293 0.02513 0.1585 9.991 2.64 0.2096 0.4407 1 1 0.01933 0.0818 0.2045 0.1595 0.6752 1.688 json
t17_x22_u4_b49 17 22 4 49 pow(R,mod(D,cil(D))) 116664 138939892 o2(x,o2(x,o1(x))) true 93319 93319 -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_x22_u4_b50 17 22 4 50 pow(R,lrg(D,cil(D))) 116665 138939893 o2(x,o2(x,o1(x))) true 93327 93327 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_x22_u4_b51 17 22 4 51 pow(R,eql(D,cil(D))) 116666 138939894 o2(x,o2(x,o1(x))) true 93335 93335 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_x22_u4_b52 17 22 4 52 pow(R,min(D,cil(D))) 116667 138939895 o2(x,o2(x,o1(x))) true 93343 93343 -0.9156 0.04297 0.9984 0.1589 0.3986 -1 1 2 1 0.3032 0.01672 0.01576 0.01679 0.02932 1 0.000002463 0.06819 0.03316 0.03218 0.1794 10.68 2.828 0.2045 0.4293 1 1 0.02487 0.1066 0.2644 0.1566 0.6709 1.665 json
t17_x22_u4_b53 17 22 4 53 pow(R,dot(D,cil(D))) 116668 138939896 o2(x,o2(x,o1(x))) true 93351 93351 -0.8129 0.1016 0.984 0.3112 0.5579 -1 0.9999 2 1 0.7507 0.03548 0.04057 0.04221 -0.06688 1 0.0000287 0.1625 0.08065 0.07427 0.2725 6.457 2.828 0.2444 0.5222 1 1 0.06977 0.2764 0.6341 0.2242 0.8881 2.037 json
t17_x22_u4_b54 17 22 4 54 pow(R,dst(D,cil(D))) 116669 138939897 o2(x,o2(x,o1(x))) true 93359 93359 -0.9293 0.04297 0.9848 0.1131 0.3363 -1 0.9967 1.997 1 0.4103 0.01156 0.01154 0.01502 0.0009385 1 0.000003505 0.04829 0.02789 0.02289 0.1513 10.07 2.82 0.2042 0.4269 1 1 0.01835 0.07894 0.1918 0.1623 0.6979 1.696 json
t17_x22_u4_b55 17 22 4 55 mod(R,add(D,cil(D))) 116670 138939898 o2(x,o2(x,o1(x))) true 93367 93367 0.003484 0.4875 0.2473 0.1161 0.3407 -0.9989 0.9806 1.979 1 4.374 0.02042 0.001671 0.08851 0.8487 1 -0.00002481 0.04229 0.1101 0.01426 0.1194 1.349 0.969 0.1903 0.3643 1 1 0.0233 0.1157 0.2114 0.2008 0.9969 1.822 json
t17_x22_u4_b56 17 22 4 56 mod(R,sub(D,cil(D))) 116671 138939899 o2(x,o2(x,o1(x))) true 93375 93375 -0.005236 0.4807 0.1761 0.06366 0.2523 -0.9676 0.9632 1.931 1 3.93 0.0294 0.0009142 0.09636 0.9397 1 0.0002326 0.06968 0.1485 0.02103 0.145 1.505 0.9375 0.4761 1.095 1 1 0.02668 0.06905 0.1171 0.4191 1.085 1.839 json
t17_x22_u4_b57 17 22 4 57 mod(R,mlt(D,cil(D))) 116672 138939900 o2(x,o2(x,o1(x))) true 93383 93383 -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_x22_u4_b58 17 22 4 58 mod(R,div(D,cil(D))) 116673 138939901 o2(x,o2(x,o1(x))) true 93391 93391 -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_x22_u4_b59 17 22 4 59 mod(R,pow(D,cil(D))) 116674 138939902 o2(x,o2(x,o1(x))) true 93399 93399 -0.0006656 0.4894 0.2479 0.1166 0.3414 -0.9987 0.9805 1.979 1 4.378 0.02041 0.001691 0.08774 0.847 1 0.00003265 0.04226 0.1098 0.0144 0.12 1.368 0.9686 0.1896 0.3626 1 1 0.02335 0.1157 0.2088 0.2004 0.9922 1.791 json
t17_x22_u4_b60 17 22 4 60 mod(R,mod(D,cil(D))) 116675 138939903 o2(x,o2(x,o1(x))) true 93407 93407 -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_x22_u4_b61 17 22 4 61 mod(R,lrg(D,cil(D))) 116676 138939904 o2(x,o2(x,o1(x))) true 93415 93415 -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_x22_u4_b62 17 22 4 62 mod(R,eql(D,cil(D))) 116677 138939905 o2(x,o2(x,o1(x))) true 93423 93423 -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_x22_u4_b63 17 22 4 63 mod(R,min(D,cil(D))) 116678 138939906 o2(x,o2(x,o1(x))) true 93431 93431 -0.006161 0.4759 0.09044 0.01497 0.1224 -0.456 0.4355 0.8915 1 2.997 0.006824 0.0002258 0.06342 0.9359 1 -0.00001868 0.01816 0.09708 0.003027 0.05502 0.8674 0.39 0.4708 1.213 1 1 0.005404 0.01627 0.02848 0.3609 1.087 1.902 json
t17_x22_u4_b64 17 22 4 64 mod(R,dot(D,cil(D))) 116679 138939907 o2(x,o2(x,o1(x))) true 93439 93439 -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_x22_u4_b65 17 22 4 65 mod(R,dst(D,cil(D))) 116680 138939908 o2(x,o2(x,o1(x))) true 93447 93447 -0.001114 0.4843 0.2693 0.1229 0.3506 -0.9989 0.9806 1.979 1 4.491 0.02023 0.02054 0.1134 -0.007753 1 -0.000002446 0.1155 0.1737 0.02791 0.167 1.473 1.325 0.3317 0.9395 1 1 0.03877 0.128 0.2256 0.3153 1.041 1.835 json
t17_x22_u4_b66 17 22 4 66 lrg(R,add(D,cil(D))) 116681 138939909 o2(x,o2(x,o1(x))) true 93455 93455 0.3152 0.9046 0.3152 0.1143 0.3381 0 0.9997 0.9997 1 3.298 0.03836 0.001052 0.09756 0.9466 1 -0.00003386 0.07252 0.1021 0.02989 0.1729 1.772 0.9997 0.3448 0.6344 1 1 0.04179 0.1614 0.1295 0.3656 1.412 1.133 json
t17_x22_u4_b67 17 22 4 67 lrg(R,sub(D,cil(D))) 116682 138939910 o2(x,o2(x,o1(x))) true 93463 93463 0.7462 0.9766 0.7462 0.1254 0.3542 0 1 1 1 2.624 0.04497 0.001457 0.08893 0.9372 1 0.000005893 0.09445 0.1234 0.03852 0.1963 2.207 1 0.3701 0.7529 1 1 0.04889 0.147 0.1812 0.3898 1.172 1.444 json
t17_x22_u4_b68 17 22 4 68 lrg(R,mlt(D,cil(D))) 116683 138939911 o2(x,o2(x,o1(x))) true 93471 93471 0.4232 0.8335 0.4232 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_x22_u4_b69 17 22 4 69 lrg(R,div(D,cil(D))) 116684 138939912 o2(x,o2(x,o1(x))) true 93479 93479 0.1839 0.4355 0.1839 0.1009 0.3176 0 0.9997 0.9997 1 2.152 0.03393 0.001031 0.06662 0.941 1 0.00004789 0.06661 0.08621 0.03051 0.1747 2.622 0.9997 0.3466 0.6604 1 1 0.03498 0.1373 0.1383 0.3468 1.361 1.371 json
t17_x22_u4_b70 17 22 4 70 lrg(R,pow(D,cil(D))) 116685 138939913 o2(x,o2(x,o1(x))) true 93487 93487 0.1839 0.4355 0.1839 0.1009 0.3176 0 0.9997 0.9997 1 2.152 0.03393 0.001031 0.06662 0.941 1 0.00004789 0.06661 0.08621 0.03051 0.1747 2.622 0.9997 0.3466 0.6604 1 1 0.03498 0.1373 0.1383 0.3468 1.361 1.371 json
t17_x22_u4_b71 17 22 4 71 lrg(R,mod(D,cil(D))) 116686 138939914 o2(x,o2(x,o1(x))) true 93495 93495 0.6839 1 0.6839 0.1174 0.3427 0.000291 1 0.9997 1 3.271 0.03888 0.001031 0.09674 0.9483 1 0.00004788 0.07352 0.1006 0.03055 0.1748 1.807 0.9997 0.3398 0.6261 1 1 0.04371 0.1708 0.1383 0.3722 1.455 1.177 json
t17_x22_u4_b72 17 22 4 72 lrg(R,lrg(D,cil(D))) 116687 138939915 o2(x,o2(x,o1(x))) true 93503 93503 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t17_x22_u4_b73 17 22 4 73 lrg(R,eql(D,cil(D))) 116688 138939916 o2(x,o2(x,o1(x))) true 93511 93511 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t17_x22_u4_b74 17 22 4 74 lrg(R,min(D,cil(D))) 116689 138939917 o2(x,o2(x,o1(x))) true 93519 93519 0.4991 0.9305 0.4991 0.1466 0.3829 0 1 1 1 3.529 0.0202 0.00212 0.08082 0.81 1 0.00001402 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
t17_x22_u4_b75 17 22 4 75 lrg(R,dot(D,cil(D))) 116690 138939918 o2(x,o2(x,o1(x))) true 93527 93527 0.3605 0.7204 0.3605 0.145 0.3808 0 1 1 1 3.168 0.01036 0.01054 0.06638 -0.008554 1 0.0002842 0.05245 0.06436 0.0165 0.1285 1.935 1.413 0.1441 0.3616 1 1 0.0235 0.145 0.2728 0.162 0.9995 1.881 json
t17_x22_u4_b76 17 22 4 76 lrg(R,dst(D,cil(D))) 116691 138939919 o2(x,o2(x,o1(x))) true 93535 93535 0.1444 0.3889 0.1444 0.07854 0.2803 0 1 1 1 1.94 0.02337 0.02353 0.07658 -0.003325 1 -0.00006148 0.1248 0.1302 0.04103 0.2026 2.645 1.414 0.5971 1.589 1 1 0.04648 0.1196 0.1224 0.5918 1.522 1.559 json
t17_x22_u4_b77 17 22 4 77 eql(R,add(D,cil(D))) 116692 138939920 o2(x,o2(x,o1(x))) true 93543 93543 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_x22_u4_b78 17 22 4 78 eql(R,sub(D,cil(D))) 116693 138939921 o2(x,o2(x,o1(x))) true 93551 93551 0.0001221 0.000473 0.0001221 0.00005345 0.007311 0 0.6715 0.6715 1 0.005648 0.0000754 7.824e-7 0.000192 0.9795 0 3.565e-7 0.0002286 0.0003783 0.00007615 0.008726 45.44 0.6519 1.425 4.277 1 1 0 0 0.00004079 0 0 0.7632 json
t17_x22_u4_b79 17 22 4 79 eql(R,mlt(D,cil(D))) 116694 138939922 o2(x,o2(x,o1(x))) true 93559 93559 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_x22_u4_b80 17 22 4 80 eql(R,div(D,cil(D))) 116695 138939923 o2(x,o2(x,o1(x))) true 93567 93567 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_x22_u4_b81 17 22 4 81 eql(R,pow(D,cil(D))) 116696 138939924 o2(x,o2(x,o1(x))) true 93575 93575 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_x22_u4_b82 17 22 4 82 eql(R,mod(D,cil(D))) 116697 138939925 o2(x,o2(x,o1(x))) true 93583 93583 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_x22_u4_b83 17 22 4 83 eql(R,lrg(D,cil(D))) 116698 138939926 o2(x,o2(x,o1(x))) true 93591 93591 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_x22_u4_b84 17 22 4 84 eql(R,eql(D,cil(D))) 116699 138939927 o2(x,o2(x,o1(x))) true 93599 93599 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