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_x5_u3_b105 17 5 3 105 dot(P,lrg(D,flr(R))) 102200 138252930 o2(x,o2(x,o1(x))) true 134407 134407 -0.02137 0.4897 0.9148 0.8909 0.9439 -1 1 2 1 2.156 0.0314 0.03288 0.07247 -0.02289 1 -0.0002019 0.1097 0.0913 0.05907 0.243 3.354 2.248 0.07215 0.1231 1 1 0.07056 0.3046 0.502 0.07919 0.3418 0.5635 json
t17_x5_u3_b106 17 5 3 106 dot(P,eql(D,flr(R))) 102201 138252931 o2(x,o2(x,o1(x))) true 134415 134415 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_x5_u3_b107 17 5 3 107 dot(P,min(D,flr(R))) 102202 138252932 o2(x,o2(x,o1(x))) true 134423 134423 -0.0551 0.4728 0.8754 0.8336 0.913 -1 1 2 1 2.651 0.01148 0.01341 0.06551 -0.07771 1 0.0004332 0.01486 0.0427 0.02059 0.1435 2.19 1.302 0.02985 0.01782 1 1 0.03759 0.2699 0.5452 0.04509 0.3237 0.654 json
t17_x5_u3_b108 17 5 3 108 dot(P,dot(D,flr(R))) 102203 138252933 o2(x,o2(x,o1(x))) true 134431 134431 0.08882 0.5823 0.4993 0.3832 0.6191 -1 1 2 1 4.487 0.02344 0.02316 0.1369 0.006018 1 -0.001045 0.02322 0.06795 0.02785 0.1669 1.219 1.462 0.1216 0.06059 1 1 0.05827 0.4788 0.5543 0.1521 1.249 1.446 json
t17_x5_u3_b109 17 5 3 109 dot(P,dst(D,flr(R))) 102204 138252934 o2(x,o2(x,o1(x))) true 134439 134439 -0.009576 0.4969 0.9392 0.9216 0.96 -1 1 2 1 1.896 0.001419 0.001396 0.01606 0.00809 1 0.000008222 0.001673 0.007876 0.002558 0.05058 3.15 0.7791 0.003055 0.001816 1 1 0.006563 0.06101 0.4352 0.007121 0.0662 0.4723 json
t17_x5_u3_b110 17 5 3 110 dst(P,add(D,flr(R))) 102205 138252935 o2(x,o2(x,o1(x))) true 134447 134447 0.9988 1 0.9988 0.0006605 0.0257 0.04515 1 0.9549 1 0.0382 0.00003458 0.00003605 0.0004939 -0.02085 0 7.509e-12 0.00002945 0.0003067 0.00007051 0.008397 17 0.2768 0.1069 0.04459 1 1 0.000229 0.001873 0.002406 0.3467 2.836 3.643 json
t17_x5_u3_b111 17 5 3 111 dst(P,sub(D,flr(R))) 102206 138252936 o2(x,o2(x,o1(x))) true 134455 134455 1 1 1 5.032e-7 0.0007094 0.9286 1 0.07141 1 0.0009425 3.727e-7 1.56e-7 0.00001223 0.41 0 1.126e-11 0.000001018 0.00001834 5.284e-7 0.0007269 59.45 0.06595 1.051 2.022 1 1 0.000001172 0.000001828 0.000001828 2.328 3.632 3.632 json
t17_x5_u3_b112 17 5 3 112 dst(P,mlt(D,flr(R))) 102207 138252937 o2(x,o2(x,o1(x))) true 134463 134463 0.995 1 0.995 0.003448 0.05872 0.00001827 1 1 1 0.1144 0.00004338 0.00005384 0.0009809 -0.1076 0 -5.256e-11 0.00001298 0.0002765 0.00009625 0.009811 10 0.1428 0.02819 0.003764 1 1 0.0003344 0.004167 0.0126 0.09698 1.208 3.654 json
t17_x5_u3_b113 17 5 3 113 dst(P,div(D,flr(R))) 102208 138252938 o2(x,o2(x,o1(x))) true 134471 134471 -0.9609 0.01953 1 0.07659 0.2767 -1 1 2 1 0.1388 0.007055 0.007811 0.007377 -0.05085 1 0 0.03124 0.01487 0.01481 0.1217 16.5 2.828 0.1941 0.4079 1 1 0.01374 0.06028 0.1889 0.1794 0.787 2.466 json
t17_x5_u3_b114 17 5 3 114 dst(P,pow(D,flr(R))) 102209 138252939 o2(x,o2(x,o1(x))) true 134479 134479 -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_x5_u3_b115 17 5 3 115 dst(P,mod(D,flr(R))) 102210 138252940 o2(x,o2(x,o1(x))) true 134487 134487 -0.9844 0.007813 1 0.03101 0.1761 -1 1 2 1 0.06591 0.003023 0.003779 0.003383 -0.1111 1 0 0.01436 0.006803 0.00679 0.0824 24.36 2.828 0.2194 0.4632 1 1 0.005983 0.02659 0.06654 0.193 0.8577 2.146 json
t17_x5_u3_b116 17 5 3 116 dst(P,lrg(D,flr(R))) 102211 138252941 o2(x,o2(x,o1(x))) true 134495 134495 0.9995 1 0.9995 0.0003355 0.01832 0.001062 1 0.9989 1 0.0132 0.00007779 0.00009934 0.0003311 -0.1217 1 1.314e-11 0.000358 0.0004501 0.000177 0.0133 40.18 0.9989 0.5279 1.067 1 1 0.0003466 0.001199 0.00122 1.033 3.572 3.634 json
t17_x5_u3_b117 17 5 3 117 dst(P,eql(D,flr(R))) 102212 138252942 o2(x,o2(x,o1(x))) true 134503 134503 0.9971 1 0.9971 0.001932 0.04395 0.0005821 1 0.9994 1 0.07281 0.00004474 0.00004474 0.0007432 1.22e-7 0 5.256e-11 0.00001841 0.0002764 0.0000889 0.009429 12.69 0.1653 0.04632 0.009528 1 1 0.0003031 0.003365 0.007047 0.1569 1.742 3.648 json
t17_x5_u3_b118 17 5 3 118 dst(P,min(D,flr(R))) 102213 138252943 o2(x,o2(x,o1(x))) true 134511 134511 0.9981 1 0.9981 0.001222 0.03495 0.0009782 1 0.999 1 0.05355 0.00004208 0.00004029 0.0006003 0.02179 0 -1.502e-11 0.00002232 0.0002623 0.00008207 0.009059 15.09 0.2518 0.06743 0.01827 1 1 0.000275 0.002723 0.004456 0.2251 2.229 3.648 json
t17_x5_u3_b119 17 5 3 119 dst(P,dot(D,flr(R))) 102214 138252944 o2(x,o2(x,o1(x))) true 134519 134519 0.9961 1 0.9961 0.002393 0.04892 0.0006938 1 0.9993 1 0.1043 0.00004044 0.00004278 0.0008809 -0.02818 0 0 0.0000174 0.0003051 0.00008253 0.009085 10.31 0.1597 0.03478 0.007272 1 1 0.0002826 0.003295 0.00874 0.1181 1.377 3.653 json
t17_x5_u3_b120 17 5 3 120 dst(P,dst(D,flr(R))) 102215 138252945 o2(x,o2(x,o1(x))) true 134527 134527 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_x5_u4_b0 17 5 4 0 add(P,add(D,cil(R))) 102216 138253026 o2(x,o2(x,o1(x))) true 134535 134535 0.06362 0.5306 0.9345 0.9124 0.9552 -1 1 2 1 1.932 0.0007666 0.0002546 0.01023 0.5014 1 -0.00001756 0.0001162 0.002484 0.0009159 0.03026 2.957 0.1794 0.001119 0.0001273 1 1 0.002646 0.03462 0.2574 0.0029 0.03794 0.2821 json
t17_x5_u4_b1 17 5 4 1 add(P,sub(D,cil(R))) 102217 138253027 o2(x,o2(x,o1(x))) true 134543 134543 -0.06489 0.4681 0.931 0.9088 0.9533 -1 1 2 1 1.958 0.0007833 0.0002874 0.01066 0.4631 1 0.00001756 0.00013 0.002744 0.0009575 0.03094 2.901 0.1794 0.001178 0.000143 1 1 0.002866 0.03698 0.2478 0.003153 0.0407 0.2726 json
t17_x5_u4_b2 17 5 4 2 add(P,mlt(D,cil(R))) 102218 138253028 o2(x,o2(x,o1(x))) true 134551 134551 -0.0005587 0.4988 0.9347 0.9186 0.9585 -1 1 2 1 1.906 0.0006195 0.00001886 0.008072 0.9409 1 4.505e-11 0.00002595 0.001434 0.000573 0.02394 2.966 0.1169 0.0006949 0.00002825 1 1 0.001705 0.02382 0.2316 0.001856 0.02593 0.2521 json
t17_x5_u4_b3 17 5 4 3 add(P,div(D,cil(R))) 102219 138253029 o2(x,o2(x,o1(x))) true 134559 134559 -0.8672 0.06641 0.9961 0.2427 0.4927 -1 1 2 1 0.436 0.03023 0.03107 0.03116 -0.0137 1 0 0.1302 0.06199 0.06034 0.2456 7.885 2.828 0.2526 0.5363 1 1 0.05904 0.2431 0.4881 0.2432 1.001 2.011 json
t17_x5_u4_b4 17 5 4 4 add(P,pow(D,cil(R))) 102220 138253030 o2(x,o2(x,o1(x))) true 134567 134567 -0.7143 0.1414 0.9839 0.4695 0.6852 -1 1 2 1 0.8711 0.05005 0.03563 0.04669 0.1683 1 0.000002036 0.1792 0.08813 0.08347 0.2889 6.188 2.828 0.1825 0.3816 1 1 0.09598 0.4024 0.8371 0.2044 0.8572 1.783 json
t17_x5_u4_b5 17 5 4 5 add(P,mod(D,cil(R))) 102221 138253031 o2(x,o2(x,o1(x))) true 134575 134575 -0.9844 0.007813 0.9961 0.02579 0.1606 -1 1 2 1 0.1372 0.002015 0.003107 0.003339 -0.2132 1 0 0.01075 0.005809 0.005111 0.07149 21.41 2.784 0.1986 0.4168 1 1 0.0005908 0.004136 0.02275 0.0229 0.1603 0.8819 json
t17_x5_u4_b6 17 5 4 6 add(P,lrg(D,cil(R))) 102222 138253032 o2(x,o2(x,o1(x))) true 134583 134583 0.03125 0.5 0.9414 0.9307 0.9647 -1 1 2 1 1.681 0.00385 0.0001228 0.009076 0.9382 1 0.000008556 0.007089 0.008974 0.003888 0.06235 6.87 1 0.004268 0.007617 1 1 0.005946 0.03695 0.2624 0.006389 0.0397 0.2819 json
t17_x5_u4_b7 17 5 4 7 add(P,eql(D,cil(R))) 102223 138253033 o2(x,o2(x,o1(x))) true 134591 134591 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t17_x5_u4_b8 17 5 4 8 add(P,min(D,cil(R))) 102224 138253034 o2(x,o2(x,o1(x))) true 134599 134599 -0.008939 0.4984 0.9364 0.9186 0.9584 -1 1 2 1 1.924 0.0005733 0.00000931 0.008012 0.968 1 -0.000002448 0.00002534 0.001213 0.0005187 0.02277 2.842 0.1105 0.0006343 0.00002759 1 1 0.001534 0.02174 0.2292 0.00167 0.02367 0.2495 json
t17_x5_u4_b9 17 5 4 9 add(P,dot(D,cil(R))) 102225 138253035 o2(x,o2(x,o1(x))) true 134607 134607 -0.00006148 0.5006 0.9354 0.9171 0.9576 -1 1 2 1 1.949 0.0006412 0.0001708 0.00949 0.5793 1 4.424e-7 0.0000855 0.002357 0.0007222 0.02687 2.832 0.1555 0.0008855 0.00009322 1 1 0.002127 0.02713 0.2295 0.002319 0.02958 0.2502 json
t17_x5_u4_b10 17 5 4 10 add(P,dst(D,cil(R))) 102226 138253036 o2(x,o2(x,o1(x))) true 134615 134615 0.1605 0.5841 0.936 0.8893 0.943 -1 1 2 1 1.96 0.001001 0.0002016 0.01088 0.6646 1 -0.00001108 0.0002073 0.003858 0.001084 0.03293 3.028 0.2315 0.001352 0.0002331 1 1 0.003107 0.03276 0.2283 0.003494 0.03684 0.2567 json
t17_x5_u4_b11 17 5 4 11 sub(P,add(D,cil(R))) 102227 138253037 o2(x,o2(x,o1(x))) true 134623 134623 -0.06536 0.4686 0.9295 0.9109 0.9544 -1 1 2 1 1.914 0.001582 0.0002869 0.01291 0.693 1 0.00001746 0.000377 0.005439 0.001703 0.04127 3.196 0.2881 0.002052 0.0004139 1 1 0.004834 0.04725 0.2508 0.005307 0.05187 0.2753 json
t17_x5_u4_b12 17 5 4 12 sub(P,sub(D,cil(R))) 102228 138253038 o2(x,o2(x,o1(x))) true 134631 134631 0.06311 0.5314 0.9331 0.915 0.9566 -1 1 2 1 1.878 0.001566 0.0002563 0.01253 0.7187 1 -0.00001741 0.0003658 0.005352 0.001666 0.04082 3.258 0.2881 0.001992 0.0003997 1 1 0.004622 0.04556 0.2636 0.005051 0.0498 0.288 json
t17_x5_u4_b13 17 5 4 13 sub(P,mlt(D,cil(R))) 102229 138253039 o2(x,o2(x,o1(x))) true 134639 134639 0.0003179 0.4999 0.9392 0.9264 0.9625 -1 1 2 1 1.822 0.001045 0.00001883 0.009826 0.9646 1 -4.66e-10 0.0001399 0.003727 0.0009672 0.0311 3.165 0.1713 0.001149 0.000151 1 1 0.002732 0.0307 0.2395 0.002949 0.03314 0.2586 json
t17_x5_u4_b14 17 5 4 14 sub(P,div(D,cil(R))) 102230 138253040 o2(x,o2(x,o1(x))) true 134647 134647 -0.9842 0.007813 0.9961 0.0266 0.1631 -1 1 2 1 0.1285 0.0021 0.003211 0.003554 -0.2093 1 -2.553e-10 0.01099 0.006115 0.005298 0.07279 20.48 2.828 0.1996 0.4133 1 1 0.0006489 0.004478 0.02352 0.02439 0.1683 0.884 json
t17_x5_u4_b15 17 5 4 15 sub(P,pow(D,cil(R))) 102231 138253041 o2(x,o2(x,o1(x))) true 134655 134655 -0.7595 0.1211 0.993 0.4136 0.6431 -1 1 2 1 0.6781 0.04043 0.03124 0.0374 0.1282 1 -2.403e-10 0.1507 0.0735 0.07028 0.2651 7.089 2.828 0.1733 0.3643 1 1 0.07498 0.3103 0.699 0.1813 0.7502 1.69 json
t17_x5_u4_b16 17 5 4 16 sub(P,mod(D,cil(R))) 102232 138253042 o2(x,o2(x,o1(x))) true 134663 134663 -0.9842 0.007813 0.9961 0.0266 0.1631 -1 1 2 1 0.1285 0.0021 0.003211 0.003554 -0.2093 1 -2.553e-10 0.01099 0.006115 0.005298 0.07279 20.48 2.828 0.1996 0.4133 1 1 0.0006489 0.004478 0.02352 0.02439 0.1683 0.884 json
t17_x5_u4_b17 17 5 4 17 sub(P,lrg(D,cil(R))) 102233 138253043 o2(x,o2(x,o1(x))) true 134671 134671 -0.0298 0.48 0.9406 0.9243 0.9614 -1 1 2 1 1.839 0.004837 0.0001359 0.01602 0.9453 1 -0.000008557 0.006832 0.01094 0.004715 0.06866 4.287 0.9991 0.00538 0.007391 1 1 0.008959 0.05371 0.2482 0.009693 0.05811 0.2685 json
t17_x5_u4_b18 17 5 4 18 sub(P,eql(D,cil(R))) 102234 138253044 o2(x,o2(x,o1(x))) true 134679 134679 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t17_x5_u4_b19 17 5 4 19 sub(P,min(D,cil(R))) 102235 138253045 o2(x,o2(x,o1(x))) true 134687 134687 0.008972 0.5122 0.938 0.9249 0.9617 -1 1 2 1 1.829 0.001195 0.000009331 0.01057 0.9845 1 0.000002326 0.000191 0.004515 0.001093 0.03306 3.129 0.1713 0.001302 0.0002065 1 1 0.003065 0.03166 0.237 0.003314 0.03423 0.2562 json
t17_x5_u4_b20 17 5 4 20 sub(P,dot(D,cil(R))) 102236 138253046 o2(x,o2(x,o1(x))) true 134695 134695 0.0005199 0.4993 0.939 0.9226 0.9605 -1 1 2 1 1.919 0.001063 0.0001706 0.01121 0.7234 1 0.000004351 0.0002132 0.004181 0.001107 0.03328 2.968 0.2248 0.001337 0.0002311 1 1 0.003174 0.03362 0.2374 0.003441 0.03644 0.2573 json
t17_x5_u4_b21 17 5 4 21 sub(P,dst(D,cil(R))) 102237 138253047 o2(x,o2(x,o1(x))) true 134703 134703 -0.1588 0.421 0.9389 0.8933 0.9452 -1 1 2 1 1.956 0.0007223 0.0002493 0.01022 0.4868 1 0.000007793 0.0001279 0.00288 0.0008666 0.02944 2.88 0.2326 0.001088 0.0001432 1 1 0.002611 0.03194 0.2382 0.002923 0.03575 0.2667 json
t17_x5_u4_b22 17 5 4 22 mlt(P,add(D,cil(R))) 102238 138253048 o2(x,o2(x,o1(x))) true 134711 134711 -0.07664 0.4405 0.7099 0.6296 0.7935 -1 1 2 1 3.725 0.01686 0.006751 0.08462 0.4281 1 0.0005832 0.01038 0.0447 0.01645 0.1283 1.516 0.865 0.0375 0.01648 1 1 0.03563 0.2704 0.433 0.05658 0.4294 0.6876 json
t17_x5_u4_b23 17 5 4 23 mlt(P,sub(D,cil(R))) 102239 138253049 o2(x,o2(x,o1(x))) true 134719 134719 -0.04452 0.4502 0.7163 0.641 0.8006 -1 1 2 1 3.696 0.01648 0.006731 0.08332 0.42 1 0.0007524 0.01026 0.04399 0.01627 0.1276 1.531 0.8478 0.03621 0.01601 1 1 0.03439 0.2601 0.4216 0.05365 0.4058 0.6577 json
t17_x5_u4_b24 17 5 4 24 mlt(P,mlt(D,cil(R))) 102240 138253050 o2(x,o2(x,o1(x))) true 134727 134727 -0.06643 0.3677 0.3049 0.201 0.4483 -1 1 2 1 4.268 0.01601 0.002955 0.09218 0.6884 1 0.001188 0.004403 0.0357 0.01047 0.1023 1.11 0.4798 0.09437 0.02191 1 1 0.02152 0.2057 0.2397 0.1071 1.023 1.193 json
t17_x5_u4_b25 17 5 4 25 mlt(P,div(D,cil(R))) 102241 138253051 o2(x,o2(x,o1(x))) true 134735 134735 -0.9003 0.04565 0.9751 0.1584 0.398 -1 1 2 1 0.6115 0.02094 0.01939 0.02805 0.03835 1 0.0002272 0.08272 0.04817 0.03951 0.1988 7.088 2.828 0.2545 0.5222 1 1 0.03705 0.1546 0.3293 0.2338 0.9759 2.079 json
t17_x5_u4_b26 17 5 4 26 mlt(P,pow(D,cil(R))) 102242 138253052 o2(x,o2(x,o1(x))) true 134743 134743 -0.7384 0.125 0.973 0.4214 0.6491 -1 1 2 1 0.9376 0.0401 0.03217 0.04486 0.1098 1 0.00001203 0.1499 0.08222 0.07022 0.265 5.907 2.828 0.1715 0.3558 1 1 0.07899 0.342 0.7371 0.1875 0.8116 1.749 json
t17_x5_u4_b27 17 5 4 27 mlt(P,mod(D,cil(R))) 102243 138253053 o2(x,o2(x,o1(x))) true 134751 134751 -0.9628 0.0144 0.9751 0.04205 0.2051 -1 0.9606 1.961 1 0.4178 0.005818 0.00435 0.0131 0.1444 1 0.0002272 0.01877 0.01805 0.01 0.1 7.637 1.963 0.2418 0.4464 1 1 0.006964 0.02913 0.06162 0.1656 0.6928 1.465 json
t17_x5_u4_b28 17 5 4 28 mlt(P,lrg(D,cil(R))) 102244 138253054 o2(x,o2(x,o1(x))) true 134759 134759 -0.004145 0.3595 0.4007 0.3565 0.5971 -1 1 2 1 3.277 0.04107 0.004176 0.08841 0.8154 1 -0.0002636 0.07461 0.1004 0.03743 0.1935 2.188 1 0.1269 0.2093 1 1 0.05121 0.2216 0.2679 0.1436 0.6216 0.7513 json
t17_x5_u4_b29 17 5 4 29 mlt(P,eql(D,cil(R))) 102245 138253055 o2(x,o2(x,o1(x))) true 134767 134767 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_x5_u4_b30 17 5 4 30 mlt(P,min(D,cil(R))) 102246 138253056 o2(x,o2(x,o1(x))) true 134775 134775 -0.1146 0.3852 0.4219 0.2804 0.5296 -1 1 2 1 4.68 0.02491 0.001614 0.1205 0.8783 1 0.001665 0.007081 0.05532 0.012 0.1095 0.909 0.4357 0.09457 0.02525 1 1 0.03262 0.2306 0.1424 0.1163 0.8225 0.5077 json
t17_x5_u4_b31 17 5 4 31 mlt(P,dot(D,cil(R))) 102247 138253057 o2(x,o2(x,o1(x))) true 134783 134783 -0.06251 0.4258 0.4359 0.3167 0.5628 -1 1 2 1 4.594 0.01634 0.01562 0.1263 0.02254 1 0.0009044 0.009721 0.05193 0.016 0.1265 1.002 0.8878 0.1009 0.03069 1 1 0.04331 0.3818 0.4234 0.1367 1.205 1.337 json
t17_x5_u4_b32 17 5 4 32 mlt(P,dst(D,cil(R))) 102248 138253058 o2(x,o2(x,o1(x))) true 134791 134791 0.003532 0.5 0.9379 0.9235 0.961 -1 1 2 1 1.845 0.001635 0.000729 0.01315 0.3834 1 -0.00003399 0.001716 0.007454 0.002192 0.04682 3.561 0.6886 0.00256 0.001858 1 1 0.004245 0.03491 0.2485 0.004597 0.0378 0.2691 json
t17_x5_u4_b33 17 5 4 33 div(P,add(D,cil(R))) 102249 138253059 o2(x,o2(x,o1(x))) true 134799 134799 -0.08476 0.4461 0.9179 0.8908 0.9438 -1 1 2 1 2.023 0.2548 0.03829 0.1876 0.7387 1 -0.0002794 0.6274 0.3128 0.2578 0.5077 2.706 2.828 0.329 0.7043 1 1 0.3176 1.262 0.9801 0.3565 1.417 1.1 json
t17_x5_u4_b34 17 5 4 34 div(P,sub(D,cil(R))) 102250 138253060 o2(x,o2(x,o1(x))) true 134807 134807 -0.02029 0.4757 0.9188 0.8993 0.9483 -1 1 2 1 2.008 0.2533 0.03779 0.1859 0.7404 1 -0.0002117 0.6253 0.311 0.2565 0.5064 2.724 2.828 0.3237 0.6953 1 1 0.313 1.243 0.985 0.348 1.382 1.095 json
t17_x5_u4_b35 17 5 4 35 div(P,mlt(D,cil(R))) 102251 138253061 o2(x,o2(x,o1(x))) true 134815 134815 -0.9006 0.04834 0.9964 0.1845 0.4296 -1 1 2 1 0.3375 0.03129 0.02148 0.02774 0.1859 1 1.502e-11 0.1104 0.05382 0.05199 0.228 8.22 2.828 0.286 0.5981 1 1 0.04798 0.1991 0.385 0.26 1.079 2.086 json
t17_x5_u4_b36 17 5 4 36 div(P,div(D,cil(R))) 102252 138253062 o2(x,o2(x,o1(x))) true 134823 134823 -0.07819 0.3947 0.6888 0.6511 0.8069 -1 1 2 1 2.938 0.2295 0.02074 0.1884 0.8342 1 -0.000197 0.4851 0.2872 0.2147 0.4634 2.459 2.488 0.3844 0.745 1 1 0.2518 1.047 0.7095 0.3868 1.608 1.09 json
t17_x5_u4_b37 17 5 4 37 div(P,pow(D,cil(R))) 102253 138253063 o2(x,o2(x,o1(x))) true 134831 134831 -0.7422 0.125 0.9883 0.4353 0.6597 -1 1 2 1 0.7254 0.04431 0.03323 0.04132 0.1429 1 0.000002961 0.1625 0.08046 0.07581 0.2753 6.664 2.828 0.1782 0.3733 1 1 0.08448 0.3513 0.7602 0.1941 0.8071 1.747 json
t17_x5_u4_b38 17 5 4 38 div(P,mod(D,cil(R))) 102254 138253064 o2(x,o2(x,o1(x))) true 134839 134839 -0.9631 0.01709 0.9964 0.06819 0.2611 -1 1 2 1 0.182 0.01617 0.006618 0.01286 0.4193 1 1.502e-11 0.04687 0.02384 0.02262 0.1504 11.7 2.828 0.3343 0.6874 1 1 0.01789 0.07361 0.1173 0.2624 1.08 1.72 json
t17_x5_u4_b39 17 5 4 39 div(P,lrg(D,cil(R))) 102255 138253065 o2(x,o2(x,o1(x))) true 134847 134847 -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_x5_u4_b40 17 5 4 40 div(P,eql(D,cil(R))) 102256 138253066 o2(x,o2(x,o1(x))) true 134855 134855 -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_x5_u4_b41 17 5 4 41 div(P,min(D,cil(R))) 102257 138253067 o2(x,o2(x,o1(x))) true 134863 134863 -0.8098 0.08887 0.9826 0.3233 0.5686 -1 1 2 1 0.6632 0.08398 0.02669 0.0642 0.5177 1 7.396e-10 0.2225 0.1175 0.1065 0.3263 5.083 2.828 0.3423 0.6881 1 1 0.1055 0.4319 0.5763 0.3263 1.336 1.783 json
t17_x5_u4_b42 17 5 4 42 div(P,dot(D,cil(R))) 102258 138253068 o2(x,o2(x,o1(x))) true 134871 134871 -0.5956 0.1943 0.9653 0.604 0.7772 -1 1 2 1 1.175 0.1589 0.1681 0.161 -0.02809 1 -0.00001019 1.098 0.3429 0.301 0.5486 3.409 2.828 0.5413 1.818 1 1 0.3714 1.041 1.223 0.6149 1.724 2.025 json
t17_x5_u4_b43 17 5 4 43 div(P,dst(D,cil(R))) 102259 138253069 o2(x,o2(x,o1(x))) true 134879 134879 -0.003434 0.5 0.9218 0.9007 0.949 -1 1 2 1 2.109 0.0006794 0.00008813 0.009211 0.7704 1 -0.000006982 0.0001349 0.003072 0.0006822 0.02612 2.836 0.2792 0.0008521 0.0001498 1 1 0.002068 0.024 0.2132 0.002296 0.02665 0.2367 json
t17_x5_u4_b44 17 5 4 44 pow(P,add(D,cil(R))) 102260 138253070 o2(x,o2(x,o1(x))) true 134887 134887 -0.03627 0.5 0.9637 0.9516 0.9755 -1 1 2 1 1.586 0.004425 0.00002304 0.0105 0.9896 1 -0.0000209 0.008041 0.01139 0.004337 0.06586 6.275 1 0.004675 0.00845 1 1 0.006442 0.04059 0.2791 0.006769 0.04265 0.2933 json
t17_x5_u4_b45 17 5 4 45 pow(P,sub(D,cil(R))) 102261 138253071 o2(x,o2(x,o1(x))) true 134895 134895 -0.2168 0.4609 0.8614 0.7562 0.8696 -1 1 2 1 2.582 0.0126 0.002448 0.02864 0.6748 1 0.00001418 0.02739 0.02295 0.01423 0.1193 4.165 2.828 0.0199 0.03622 1 1 0.02167 0.1024 0.3637 0.02866 0.1354 0.4809 json
t17_x5_u4_b46 17 5 4 46 pow(P,mlt(D,cil(R))) 102262 138253072 o2(x,o2(x,o1(x))) true 134903 134903 0.06196 0.5469 0.9682 0.9458 0.9725 -1 1 2 1 1.748 0.01961 0.01523 0.02638 0.1256 1 0.00005884 0.0711 0.04024 0.03415 0.1848 7.006 2.828 0.03684 0.07518 1 1 0.03801 0.1631 0.5616 0.04019 0.1725 0.5937 json
t17_x5_u4_b47 17 5 4 47 pow(P,div(D,cil(R))) 102263 138253073 o2(x,o2(x,o1(x))) true 134911 134911 -0.6247 0.2024 0.969 0.5698 0.7548 -1 1 2 1 1.127 0.05108 0.06197 0.06408 -0.09631 1 0.00004622 0.2415 0.1213 0.1089 0.33 5.149 2.828 0.1984 0.4238 1 1 0.1097 0.4583 0.8735 0.1925 0.8045 1.533 json
t17_x5_u4_b48 17 5 4 48 pow(P,pow(D,cil(R))) 102264 138253074 o2(x,o2(x,o1(x))) true 134919 134919 -0.6641 0.1836 0.9688 0.5213 0.722 -1 1 2 1 1.013 0.05345 0.03175 0.04815 0.2548 1 0 0.177 0.08969 0.08284 0.2878 5.977 2.828 0.1634 0.3396 1 1 0.09061 0.382 0.8854 0.1738 0.7328 1.698 json
t17_x5_u4_b49 17 5 4 49 pow(P,mod(D,cil(R))) 102265 138253075 o2(x,o2(x,o1(x))) true 134927 134927 -0.9614 0.02344 0.9917 0.0654 0.2557 -1 1 2 1 0.2331 0.007885 0.006276 0.009038 0.1136 1 9.468e-7 0.02991 0.01632 0.01408 0.1187 13.13 2.828 0.2165 0.4573 1 1 0.01203 0.04862 0.1333 0.1839 0.7434 2.038 json
t17_x5_u4_b50 17 5 4 50 pow(P,lrg(D,cil(R))) 102266 138253076 o2(x,o2(x,o1(x))) true 134935 134935 0.248 0.6328 0.9824 0.9168 0.9575 -1 1 2 1 1.252 0.04795 0.03772 0.04626 0.1194 1 -0.000002852 0.1801 0.08841 0.0835 0.289 6.246 2.828 0.09345 0.1964 1 1 0.08666 0.3581 0.9618 0.09453 0.3906 1.049 json
t17_x5_u4_b51 17 5 4 51 pow(P,eql(D,cil(R))) 102267 138253077 o2(x,o2(x,o1(x))) true 134943 134943 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_x5_u4_b52 17 5 4 52 pow(P,min(D,cil(R))) 102268 138253078 o2(x,o2(x,o1(x))) true 134951 134951 -0.05795 0.5 0.9421 0.8998 0.9486 -1 1 2 1 2.145 0.0112 0.0001206 0.02141 0.9787 1 0.000178 0.02111 0.02019 0.01086 0.1042 4.868 2 0.01258 0.02346 1 1 0.0152 0.07125 0.3104 0.0169 0.07918 0.345 json
t17_x5_u4_b53 17 5 4 53 pow(P,dot(D,cil(R))) 102269 138253079 o2(x,o2(x,o1(x))) true 134959 134959 -0.09859 0.4674 0.9666 0.9361 0.9675 -1 1 2 1 1.772 0.0165 0.01144 0.02356 0.1813 1 0.000004889 0.08636 0.03621 0.0274 0.1655 7.027 2.828 0.02984 0.09226 1 1 0.03475 0.1349 0.4247 0.03712 0.1441 0.4537 json
t17_x5_u4_b54 17 5 4 54 pow(P,dst(D,cil(R))) 102270 138253080 o2(x,o2(x,o1(x))) true 134967 134967 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t17_x5_u4_b55 17 5 4 55 mod(P,add(D,cil(R))) 102271 138253081 o2(x,o2(x,o1(x))) true 134975 134975 -0.01662 0.4827 0.308 0.1591 0.3989 -1 1 2 1 4.633 0.05271 0.0006484 0.1546 0.9757 1 0.002242 0.146 0.2329 0.02946 0.1717 1.111 0.9685 0.3354 0.918 1 1 0.03277 0.06774 0.1277 0.206 0.4258 0.8028 json
t17_x5_u4_b56 17 5 4 56 mod(P,sub(D,cil(R))) 102272 138253082 o2(x,o2(x,o1(x))) true 134983 134983 -0.0006291 0.4852 0.3063 0.1576 0.397 -1 1 2 1 4.633 0.05314 0.0006492 0.154 0.9759 1 -0.002102 0.1453 0.2316 0.03007 0.1734 1.126 0.9685 0.3413 0.9219 1 1 0.03235 0.06638 0.1276 0.2053 0.4212 0.8098 json
t17_x5_u4_b57 17 5 4 57 mod(P,mlt(D,cil(R))) 102273 138253083 o2(x,o2(x,o1(x))) true 134991 134991 -0.961 0.006836 0.9626 0.03472 0.1863 -1 0.3428 1.343 1 0.3855 0.004563 0.003557 0.01061 0.124 1 5.188e-7 0.01764 0.01979 0.00801 0.0895 8.437 1.414 0.2338 0.5081 1 1 0.005634 0.02135 0.05454 0.1622 0.6148 1.571 json
t17_x5_u4_b58 17 5 4 58 mod(P,div(D,cil(R))) 102274 138253084 o2(x,o2(x,o1(x))) true 134999 134999 -0.961 0.006836 0.9626 0.03472 0.1863 -1 0.3428 1.343 1 0.3855 0.004563 0.003557 0.01061 0.124 1 5.188e-7 0.01764 0.01979 0.00801 0.0895 8.437 1.414 0.2338 0.5081 1 1 0.005634 0.02135 0.05454 0.1622 0.6148 1.571 json
t17_x5_u4_b59 17 5 4 59 mod(P,pow(D,cil(R))) 102275 138253085 o2(x,o2(x,o1(x))) true 135007 135007 -0.7462 0.07195 0.754 0.1903 0.4362 -1 0.2519 1.252 1 1.286 0.02218 0.0163 0.04318 0.1527 1 -0.000002306 0.08094 0.08394 0.03662 0.1914 4.432 1.414 0.2022 0.4254 1 1 0.03984 0.1634 0.3619 0.2094 0.8585 1.902 json
t17_x5_u4_b60 17 5 4 60 mod(P,mod(D,cil(R))) 102276 138253086 o2(x,o2(x,o1(x))) true 135015 135015 -0.961 0.006836 0.9626 0.03472 0.1863 -1 0.3428 1.343 1 0.3855 0.004563 0.003557 0.01061 0.124 1 5.188e-7 0.01764 0.01979 0.00801 0.0895 8.437 1.414 0.2338 0.5081 1 1 0.005634 0.02135 0.05454 0.1622 0.6148 1.571 json
t17_x5_u4_b61 17 5 4 61 mod(P,lrg(D,cil(R))) 102277 138253087 o2(x,o2(x,o1(x))) true 135023 135023 -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_x5_u4_b62 17 5 4 62 mod(P,eql(D,cil(R))) 102278 138253088 o2(x,o2(x,o1(x))) true 135031 135031 -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_x5_u4_b63 17 5 4 63 mod(P,min(D,cil(R))) 102279 138253089 o2(x,o2(x,o1(x))) true 135039 135039 -0.7876 0.0752 0.8107 0.167 0.4086 -1 0.3853 1.385 1 1.5 0.0223 0.01617 0.05037 0.1594 1 0.000001492 0.08236 0.09289 0.03593 0.1895 3.763 1.414 0.2303 0.4932 1 1 0.0389 0.1606 0.3797 0.2329 0.9615 2.274 json
t17_x5_u4_b64 17 5 4 64 mod(P,dot(D,cil(R))) 102280 138253090 o2(x,o2(x,o1(x))) true 135047 135047 -0.686 0.1464 0.7281 0.2229 0.4721 -1 0.5661 1.566 1 2.032 0.03958 0.04041 0.09101 -0.01044 1 0.0000286 0.3583 0.2026 0.07172 0.2678 2.943 1.979 0.3589 1.607 1 1 0.0704 0.1724 0.4764 0.3158 0.7734 2.137 json
t17_x5_u4_b65 17 5 4 65 mod(P,dst(D,cil(R))) 102281 138253091 o2(x,o2(x,o1(x))) true 135055 135055 -0.01629 0.4999 0.5822 0.4327 0.6578 -1 1 2 1 4.86 0.03854 0.0384 0.1764 0.001865 1 -0.0004735 0.2756 0.2888 0.04581 0.214 1.213 1.398 0.1778 0.6368 1 1 0.05702 0.1349 0.264 0.1318 0.3116 0.6101 json
t17_x5_u4_b66 17 5 4 66 lrg(P,add(D,cil(R))) 102282 138253092 o2(x,o2(x,o1(x))) true 135063 135063 0.4668 0.5456 0.4668 0.2314 0.481 0 1 1 1 1.72 0.005017 0.0001404 0.01467 0.9456 1 0.000008556 0.008777 0.01177 0.004941 0.07029 4.793 0.9994 0.02229 0.03793 1 1 0.007444 0.03684 0.07788 0.03217 0.1592 0.3366 json
t17_x5_u4_b67 17 5 4 67 lrg(P,sub(D,cil(R))) 102283 138253093 o2(x,o2(x,o1(x))) true 135071 135071 0.5312 0.6116 0.5312 0.2323 0.482 0 1 1 1 1.695 0.004802 0.0001228 0.01398 0.9501 1 -0.000008557 0.008369 0.01117 0.004728 0.06876 4.917 0.9994 0.0212 0.03602 1 1 0.007296 0.03571 0.0835 0.0314 0.1537 0.3594 json
t17_x5_u4_b68 17 5 4 68 lrg(P,mlt(D,cil(R))) 102284 138253094 o2(x,o2(x,o1(x))) true 135079 135079 0.4824 0.5378 0.4824 0.2389 0.4888 0 1 1 1 1.486 0.002093 0.00005267 0.007936 0.9509 1 -0.000002853 0.003286 0.004977 0.002082 0.04563 5.75 0.9994 0.008984 0.01375 1 1 0.003596 0.02222 0.07826 0.01505 0.09301 0.3276 json
t17_x5_u4_b69 17 5 4 69 lrg(P,div(D,cil(R))) 102285 138253095 o2(x,o2(x,o1(x))) true 135087 135087 0.4854 0.8648 0.4854 0.1688 0.4109 0 1 1 1 3.215 0.0313 0.001276 0.07616 0.9217 1 -0.00002567 0.05871 0.07497 0.02678 0.1637 2.149 1 0.193 0.3477 1 1 0.03828 0.1709 0.1908 0.2267 1.012 1.13 json
t17_x5_u4_b70 17 5 4 70 lrg(P,pow(D,cil(R))) 102286 138253096 o2(x,o2(x,o1(x))) true 135095 135095 0.5693 0.8516 0.5693 0.1979 0.4448 0 1 1 1 2.518 0.0156 0.0007283 0.04178 0.9108 1 -0.00006274 0.0287 0.03772 0.01459 0.1208 2.891 0.9997 0.08253 0.1451 1 1 0.01771 0.0872 0.1322 0.08952 0.4407 0.6681 json
t17_x5_u4_b71 17 5 4 71 lrg(P,mod(D,cil(R))) 102287 138253097 o2(x,o2(x,o1(x))) true 135103 135103 0.7461 0.9619 0.7461 0.1414 0.376 0 1 1 1 2.303 0.002687 0.001179 0.02819 0.3903 1 -0.000009281 0.003376 0.009879 0.003071 0.05542 1.966 0.9997 0.02734 0.02388 1 1 0.006679 0.06268 0.1658 0.04724 0.4433 1.173 json
t17_x5_u4_b72 17 5 4 72 lrg(P,lrg(D,cil(R))) 102288 138253098 o2(x,o2(x,o1(x))) true 135111 135111 0.457 0.5 0.457 0.2373 0.4871 0 1 1 1 1.491 0.001633 0.00008773 0.00768 0.898 1 -0.000005705 0.00244 0.004349 0.001662 0.04077 5.308 0.9994 0.00725 0.01028 1 1 0.003294 0.02186 0.07352 0.01388 0.09211 0.3099 json
t17_x5_u4_b73 17 5 4 73 lrg(P,eql(D,cil(R))) 102289 138253099 o2(x,o2(x,o1(x))) true 135119 135119 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t17_x5_u4_b74 17 5 4 74 lrg(P,min(D,cil(R))) 102290 138253100 o2(x,o2(x,o1(x))) true 135127 135127 0.5 0.5625 0.5 0.2365 0.4863 0 1 1 1 1.577 0.00467 0 0.0119 1 1 -4.731e-10 0.008068 0.009787 0.004528 0.06729 5.654 0.9994 0.01975 0.03412 1 1 0.007036 0.03244 0.06598 0.02976 0.1372 0.279 json
t17_x5_u4_b75 17 5 4 75 lrg(P,dot(D,cil(R))) 102291 138253101 o2(x,o2(x,o1(x))) true 135135 135135 0.4976 0.5668 0.4976 0.2361 0.4859 0 1 1 1 1.607 0.001694 0.002258 0.0117 -0.1426 1 -0.000008214 0.008967 0.01118 0.003815 0.06176 5.277 1.413 0.01674 0.03798 1 1 0.005994 0.02834 0.07289 0.02539 0.1201 0.3087 json
t17_x5_u4_b76 17 5 4 76 lrg(P,dst(D,cil(R))) 102292 138253102 o2(x,o2(x,o1(x))) true 135143 135143 0.4199 0.4539 0.4199 0.2358 0.4856 0 1 1 1 1.364 0.0012 0.001197 0.007033 0.001208 1 -0.00001949 0.006478 0.007674 0.002346 0.04844 6.887 1.264 0.01017 0.02747 1 1 0.003505 0.02031 0.08251 0.01487 0.08615 0.3499 json
t17_x5_u4_b77 17 5 4 77 eql(P,add(D,cil(R))) 102293 138253103 o2(x,o2(x,o1(x))) true 135151 135151 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_x5_u4_b78 17 5 4 78 eql(P,sub(D,cil(R))) 102294 138253104 o2(x,o2(x,o1(x))) true 135159 135159 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_x5_u4_b79 17 5 4 79 eql(P,mlt(D,cil(R))) 102295 138253105 o2(x,o2(x,o1(x))) true 135167 135167 0.03516 0.09119 0.03516 0.02431 0.1559 0 0.9997 0.9997 1 0.5835 0.0003631 0.0001053 0.005422 0.5502 1 0.000005704 0.00002431 0.001291 0.0004388 0.02095 3.863 0.1169 0.01927 0.001 1 1 0.001224 0.01595 0.05043 0.05036 0.656 2.074 json
t17_x5_u4_b80 17 5 4 80 eql(P,div(D,cil(R))) 102296 138253106 o2(x,o2(x,o1(x))) true 135175 135175 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_x5_u4_b81 17 5 4 81 eql(P,pow(D,cil(R))) 102297 138253107 o2(x,o2(x,o1(x))) true 135183 135183 0.02344 0.08167 0.02344 0.0145 0.1204 0 0.9997 0.9997 1 0.481 0.0002093 0.0001755 0.004585 0.08789 1 0.00001141 0.00002229 0.00111 0.0003637 0.01907 4.159 0.1169 0.02653 0.001537 1 1 0.001133 0.01461 0.03231 0.0781 1.007 2.228 json
t17_x5_u4_b82 17 5 4 82 eql(P,mod(D,cil(R))) 102298 138253108 o2(x,o2(x,o1(x))) true 135191 135191 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_x5_u4_b83 17 5 4 83 eql(P,lrg(D,cil(R))) 102299 138253109 o2(x,o2(x,o1(x))) true 135199 135199 0.05664 0.1411 0.05664 0.03851 0.1962 0 0.9997 0.9997 1 0.8476 0.003815 0.0001404 0.01214 0.929 1 0.000002852 0.006566 0.009274 0.00381 0.06173 5.086 0.9997 0.1027 0.1705 1 1 0.006429 0.03704 0.06775 0.1669 0.9617 1.759 json