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_x20_u3_b100 17 20 3 100 dot(R,sub(P,flr(R))) 114900 138858940 o2(x,o2(x,o1(x))) true 79207 79207 -0.2794 0.3525 0.8598 0.7367 0.8583 -1 1 2 1 2.739 0.02426 0.03157 0.09779 -0.1311 1 0.0001115 0.04463 0.07182 0.04625 0.2151 2.199 1.826 0.07578 0.06058 1 1 0.07117 0.5512 1.3 0.0966 0.7482 1.765 json
t17_x20_u3_b101 17 20 3 101 dot(R,mlt(P,flr(R))) 114901 138858941 o2(x,o2(x,o1(x))) true 79215 79215 0.04086 0.5052 0.6805 0.6118 0.7822 -1 1 2 1 3.73 0.007199 0.01036 0.06382 -0.18 1 0.00003714 0.008427 0.03355 0.01349 0.1161 1.82 1.137 0.0287 0.01377 1 1 0.02431 0.2195 0.5739 0.03973 0.3589 0.9381 json
t17_x20_u3_b102 17 20 3 102 dot(R,div(P,flr(R))) 114902 138858942 o2(x,o2(x,o1(x))) true 79223 79223 -0.9696 0.01563 0.9991 0.05866 0.2422 -1 1 2 1 0.128 0.006677 0.005153 0.006262 0.1289 1 -6.007e-11 0.02467 0.0123 0.01179 0.1086 17.34 2.828 0.2017 0.4206 1 1 0.009361 0.04226 0.1242 0.1596 0.7205 2.117 json
t17_x20_u3_b103 17 20 3 103 dot(R,pow(P,flr(R))) 114903 138858943 o2(x,o2(x,o1(x))) true 79231 79231 -0.9739 0.01563 0.9949 0.04442 0.2108 -1 1 2 1 0.1699 0.004924 0.005669 0.006518 -0.07034 1 1.201e-10 0.02228 0.01218 0.01055 0.1027 15.76 2.828 0.2385 0.5016 1 1 0.008001 0.03746 0.08036 0.1801 0.8432 1.809 json
t17_x20_u3_b104 17 20 3 104 dot(R,mod(P,flr(R))) 114904 138858944 o2(x,o2(x,o1(x))) true 79239 79239 -0.9922 0 0.9922 0.007751 0.08804 -1 0 1 1 0.06591 0.0007559 0.0009448 0.001691 -0.1111 1 0 0.00359 0.003401 0.001697 0.0412 24.36 1.414 0.2194 0.4632 1 1 0.001496 0.006648 0.01663 0.193 0.8577 2.146 json
t17_x20_u3_b105 17 20 3 105 dot(R,lrg(P,flr(R))) 114905 138858945 o2(x,o2(x,o1(x))) true 79247 79247 -0.2734 0.223 0.4546 0.2395 0.4894 -1 1 2 1 4.605 0.003777 0.003585 0.06274 0.02612 1 0.000004416 0.0007526 0.01586 0.003426 0.05853 0.9329 0.343 0.03074 0.003143 1 1 0.01464 0.1795 0.4564 0.06113 0.7494 1.906 json
t17_x20_u3_b106 17 20 3 106 dot(R,eql(P,flr(R))) 114906 138858946 o2(x,o2(x,o1(x))) true 79255 79255 0.2412 0.8909 0.2589 0.07338 0.2709 -0.751 1 1.751 1 3.645 0.001059 0.001085 0.03528 -0.01198 1 -0.00002286 0.0001346 0.008357 0.0009003 0.03001 0.8506 0.1909 0.02923 0.001835 1 1 0.004814 0.06188 0.1523 0.0656 0.8434 2.075 json
t17_x20_u3_b107 17 20 3 107 dot(R,min(P,flr(R))) 114907 138858947 o2(x,o2(x,o1(x))) true 79263 79263 0.2277 0.6702 0.7648 0.6288 0.7929 -1 1 2 1 3.662 0.01608 0.02015 0.08581 -0.1124 1 -0.00007141 0.02266 0.04931 0.02887 0.1699 1.98 1.764 0.05763 0.03604 1 1 0.0499 0.416 0.8898 0.07937 0.6617 1.415 json
t17_x20_u3_b108 17 20 3 108 dot(R,dot(P,flr(R))) 114908 138858948 o2(x,o2(x,o1(x))) true 79271 79271 0.03662 0.5233 0.6607 0.5945 0.771 -1 1 2 1 3.691 0.015 0.01605 0.08397 -0.03381 1 0.0001159 0.02076 0.05096 0.02401 0.155 1.845 1.827 0.05223 0.03492 1 1 0.05122 0.4088 1.005 0.08616 0.6876 1.69 json
t17_x20_u3_b109 17 20 3 109 dot(R,dst(P,flr(R))) 114909 138858949 o2(x,o2(x,o1(x))) true 79279 79279 0.01054 0.5093 0.8937 0.8599 0.9273 -1 1 2 1 2.454 0.0398 0.04084 0.1094 -0.01292 1 0.00002103 0.08576 0.09995 0.06866 0.262 2.394 2.109 0.09376 0.09973 1 1 0.106 0.7017 1.536 0.1233 0.8159 1.786 json
t17_x20_u3_b110 17 20 3 110 dst(R,add(P,flr(R))) 114910 138858950 o2(x,o2(x,o1(x))) true 79287 79287 0.9991 1 0.9991 0.0002317 0.01522 0.5927 1 0.4073 1 0.04326 0.00000751 0.000009797 0.0002646 -0.1321 0 -8.635e-11 0.00000692 0.0001492 0.00001726 0.004154 15.7 0.1355 0.0747 0.02987 1 1 0.00005585 0.000499 0.0008438 0.2411 2.154 3.642 json
t17_x20_u3_b111 17 20 3 111 dst(R,sub(P,flr(R))) 114911 138858951 o2(x,o2(x,o1(x))) true 79295 79295 0.9987 1 0.9987 0.0003995 0.01999 0.4917 1 0.5083 1 0.05666 0.00001954 0.00003629 0.0005215 -0.2999 0 -2.253e-11 0.00003576 0.0004355 0.00005554 0.007452 14.29 0.2096 0.1397 0.08951 1 1 0.0001701 0.001085 0.001384 0.4258 2.715 3.463 json
t17_x20_u3_b112 17 20 3 112 dst(R,mlt(P,flr(R))) 114912 138858952 o2(x,o2(x,o1(x))) true 79303 79303 0.988 1 0.988 0.003742 0.06117 0.102 1 0.898 1 0.3994 0.0002213 0.0002265 0.003746 -0.01175 1 -0.00004001 0.0003551 0.003231 0.0004336 0.02082 5.559 0.4778 0.1197 0.09488 1 1 0.0005891 0.003848 0.007927 0.1574 1.028 2.118 json
t17_x20_u3_b113 17 20 3 113 dst(R,div(P,flr(R))) 114913 138858953 o2(x,o2(x,o1(x))) true 79311 79311 -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_x20_u3_b114 17 20 3 114 dst(R,pow(P,flr(R))) 114914 138858954 o2(x,o2(x,o1(x))) true 79319 79319 -0.954 0.02344 0.9991 0.08829 0.2971 -1 1 2 1 0.1874 0.009662 0.01145 0.0109 -0.08457 1 1.877e-11 0.04457 0.02168 0.02099 0.1449 13.29 2.828 0.2391 0.5048 1 1 0.02296 0.1 0.1761 0.26 1.133 1.995 json
t17_x20_u3_b115 17 20 3 115 dst(R,mod(P,flr(R))) 114915 138858955 o2(x,o2(x,o1(x))) true 79327 79327 -0.9855 0.007813 0.9989 0.02697 0.1642 -1 1 2 1 0.08545 0.002505 0.003258 0.003242 -0.1306 1 2.41e-7 0.01214 0.006276 0.005751 0.07583 23.39 2.249 0.2137 0.4502 1 1 0.004881 0.02177 0.0555 0.181 0.8073 2.058 json
t17_x20_u3_b116 17 20 3 116 dst(R,lrg(P,flr(R))) 114916 138858956 o2(x,o2(x,o1(x))) true 79335 79335 0.9848 1 0.9848 0.005167 0.07188 0.2581 1 0.7419 1 0.4832 0.0001345 0.0001688 0.003948 -0.113 1 -0.00001134 0.0001247 0.002355 0.0002875 0.01696 4.295 0.1758 0.0587 0.02413 1 1 0.0006733 0.005844 0.0125 0.1303 1.131 2.419 json
t17_x20_u3_b117 17 20 3 117 dst(R,eql(P,flr(R))) 114917 138858957 o2(x,o2(x,o1(x))) true 79343 79343 0.9107 1 0.9107 0.02056 0.1434 0.21 1 0.79 1 1.964 0.0003707 0.0003654 0.01497 0.007191 1 -0.00003844 0.0001473 0.005415 0.0005119 0.02262 1.511 0.1702 0.0358 0.007163 1 1 0.001131 0.01231 0.03104 0.055 0.5988 1.51 json
t17_x20_u3_b118 17 20 3 118 dst(R,min(P,flr(R))) 114918 138858958 o2(x,o2(x,o1(x))) true 79351 79351 0.9752 1 0.9752 0.006847 0.08274 0.2346 1 0.7654 1 0.7717 0.0001309 0.00009997 0.004808 0.1339 1 -0.00001814 0.00004875 0.001819 0.0002077 0.01441 2.997 0.1299 0.03371 0.007121 1 1 0.000525 0.005931 0.01545 0.07668 0.8662 2.257 json
t17_x20_u3_b119 17 20 3 119 dst(R,dot(P,flr(R))) 114919 138858959 o2(x,o2(x,o1(x))) true 79359 79359 0.9902 1 0.9902 0.00331 0.05753 0.09971 1 0.9003 1 0.3305 0.0002893 0.0001931 0.003579 0.1995 1 -0.000002557 0.0004407 0.003367 0.0004697 0.02167 6.055 0.4962 0.1457 0.1331 1 1 0.0005913 0.003343 0.006095 0.1786 1.01 1.841 json
t17_x20_u3_b120 17 20 3 120 dst(R,dst(P,flr(R))) 114920 138858960 o2(x,o2(x,o1(x))) true 79367 79367 0.9993 1 0.9993 0.0002428 0.01558 0.4918 1 0.5082 1 0.02904 0.000009002 0.00002173 0.0002671 -0.4142 0 -3.754e-12 0.0000174 0.0001951 0.00003069 0.00554 20.74 0.206 0.1266 0.07167 1 1 0.00009579 0.0006865 0.0008843 0.3945 2.827 3.641 json
t17_x20_u4_b0 17 20 4 0 add(R,add(P,cil(R))) 114921 138859041 o2(x,o2(x,o1(x))) true 79375 79375 0.06641 0.5306 0.9431 0.9188 0.9585 -1 1 2 1 1.911 0.001967 0.001222 0.01594 0.2337 1 -0.00003689 0.0007106 0.006124 0.002936 0.05418 3.398 0.4156 0.003471 0.0007734 1 1 0.007671 0.08204 0.3495 0.008349 0.08929 0.3804 json
t17_x20_u4_b1 17 20 4 1 add(R,sub(P,cil(R))) 114922 138859042 o2(x,o2(x,o1(x))) true 79383 79383 -0.05913 0.4688 0.9462 0.921 0.9597 -1 1 2 1 1.957 0.0007926 0.00006667 0.008755 0.8448 1 -0.000004072 0.00009892 0.002616 0.0007824 0.02797 3.195 0.2212 0.000933 0.0001074 1 1 0.002177 0.02654 0.2382 0.002364 0.02882 0.2586 json
t17_x20_u4_b2 17 20 4 2 add(R,mlt(P,cil(R))) 114923 138859043 o2(x,o2(x,o1(x))) true 79391 79391 -0.1532 0.3571 0.7497 0.6407 0.8004 -1 1 2 1 3.664 0.00634 0.007728 0.05795 -0.09862 1 -0.000169 0.005932 0.03071 0.01071 0.1035 1.786 0.7332 0.02196 0.009258 1 1 0.02395 0.2207 0.506 0.03739 0.3445 0.7898 json
t17_x20_u4_b3 17 20 4 3 add(R,div(P,cil(R))) 114924 138859044 o2(x,o2(x,o1(x))) true 79399 79399 -0.9317 0.03357 0.9945 0.1246 0.353 -1 1 2 1 0.3161 0.01356 0.01605 0.016 -0.08428 1 -9.011e-11 0.06269 0.03116 0.02934 0.1713 10.71 2.828 0.2377 0.5032 1 1 0.02306 0.09565 0.1753 0.1851 0.7678 1.407 json
t17_x20_u4_b4 17 20 4 4 add(R,pow(P,cil(R))) 114925 138859045 o2(x,o2(x,o1(x))) true 79407 79407 -0.007358 0.5469 0.8989 0.8549 0.9246 -1 1 2 1 2.382 0.0139 0.009105 0.03039 0.2086 1 -0.0001536 0.04391 0.03798 0.02209 0.1486 4.891 2.348 0.02691 0.05136 1 1 0.02713 0.1305 0.4466 0.03174 0.1526 0.5224 json
t17_x20_u4_b5 17 20 4 5 add(R,mod(P,cil(R))) 114926 138859046 o2(x,o2(x,o1(x))) true 79415 79415 -0.9327 0.04297 0.9813 0.1025 0.3202 -1 0.9428 1.943 1 0.413 0.01033 0.01038 0.01414 -0.00231 1 0.000008535 0.04322 0.0262 0.02051 0.1432 10.13 2.64 0.2021 0.4217 1 1 0.01648 0.07156 0.1733 0.1608 0.6982 1.691 json
t17_x20_u4_b6 17 20 4 6 add(R,lrg(P,cil(R))) 114927 138859047 o2(x,o2(x,o1(x))) true 79423 79423 0.3714 0.7466 0.5704 0.2876 0.5363 -0.9989 1 1.999 1 4.545 0.002149 0.00243 0.04948 -0.06137 1 -0.000005227 0.0004566 0.01328 0.002131 0.04617 0.9331 0.2301 0.01592 0.001587 1 1 0.009076 0.1114 0.312 0.03156 0.3873 1.085 json
t17_x20_u4_b7 17 20 4 7 add(R,eql(P,cil(R))) 114928 138859048 o2(x,o2(x,o1(x))) true 79431 79431 0.06968 0.5432 0.4149 0.2406 0.4905 -0.9989 1 1.999 1 4.888 0.002939 0.003372 0.0629 -0.06861 1 0.00002081 0.0005189 0.01521 0.002354 0.04852 0.7714 0.3135 0.02624 0.002157 1 1 0.01252 0.1563 0.4133 0.05203 0.6497 1.718 json
t17_x20_u4_b8 17 20 4 8 add(R,min(P,cil(R))) 114929 138859049 o2(x,o2(x,o1(x))) true 79439 79439 -0.316 0.3143 0.7712 0.5983 0.7735 -1 1 2 1 3.426 0.004004 0.004145 0.04904 -0.01737 1 -0.00009086 0.001321 0.01543 0.005747 0.07581 1.546 0.3359 0.01362 0.002208 1 1 0.01586 0.1821 0.5022 0.02651 0.3044 0.8393 json
t17_x20_u4_b9 17 20 4 9 add(R,dot(P,cil(R))) 114930 138859050 o2(x,o2(x,o1(x))) true 79447 79447 -0.06205 0.4494 0.8587 0.8099 0.8999 -1 1 2 1 2.768 0.01148 0.01443 0.06503 -0.1141 1 -0.00008946 0.01531 0.04319 0.02168 0.1472 2.264 1.552 0.03199 0.01891 1 1 0.03936 0.3178 0.753 0.0486 0.3924 0.9298 json
t17_x20_u4_b10 17 20 4 10 add(R,dst(P,cil(R))) 114931 138859051 o2(x,o2(x,o1(x))) true 79455 79455 0.9952 0.998 0.9966 0.004959 0.07042 -0.6447 1 1.645 1 0.0847 0.0001852 0.00009585 0.001283 0.3178 1 3.754e-12 0.00008392 0.0006037 0.0002795 0.01672 13.03 0.3999 0.05667 0.01692 1 1 0.000925 0.00897 0.01808 0.1865 1.809 3.645 json
t17_x20_u4_b11 17 20 4 11 sub(R,add(P,cil(R))) 114932 138859052 o2(x,o2(x,o1(x))) true 79463 79463 -0.06113 0.4682 0.944 0.9183 0.9583 -1 1 2 1 1.974 0.0007819 0.00007526 0.008857 0.8244 1 -0.000004385 0.00009775 0.002593 0.0007792 0.02791 3.152 0.2164 0.0009334 0.0001064 1 1 0.002182 0.02655 0.2369 0.002376 0.02891 0.258 json
t17_x20_u4_b12 17 20 4 12 sub(R,sub(P,cil(R))) 114933 138859053 o2(x,o2(x,o1(x))) true 79471 79471 0.06853 0.5324 0.9387 0.9118 0.9549 -1 1 2 1 1.998 0.002148 0.001335 0.01804 0.2336 1 -0.00003495 0.000729 0.006682 0.003156 0.05618 3.115 0.4362 0.00382 0.0007995 1 1 0.008651 0.09337 0.3196 0.009487 0.1024 0.3505 json
t17_x20_u4_b13 17 20 4 13 sub(R,mlt(P,cil(R))) 114934 138859054 o2(x,o2(x,o1(x))) true 79479 79479 -0.1199 0.3677 0.7522 0.651 0.8068 -1 1 2 1 3.645 0.005897 0.007349 0.05506 -0.1097 1 0.00003697 0.005699 0.02953 0.01022 0.1011 1.836 0.7119 0.02035 0.008755 1 1 0.02285 0.2046 0.4962 0.0351 0.3144 0.7622 json
t17_x20_u4_b14 17 20 4 14 sub(R,div(P,cil(R))) 114935 138859055 o2(x,o2(x,o1(x))) true 79487 79487 -0.8635 0.06885 0.9964 0.2499 0.4999 -1 1 2 1 0.4186 0.03016 0.02885 0.03 0.02215 1 -6.758e-11 0.1243 0.0599 0.05815 0.2411 8.038 2.828 0.2362 0.4976 1 1 0.05489 0.2305 0.5186 0.2197 0.9225 2.076 json
t17_x20_u4_b15 17 20 4 15 sub(R,pow(P,cil(R))) 114936 138859056 o2(x,o2(x,o1(x))) true 79495 79495 -0.9618 0.01178 0.9697 0.034 0.1844 -1 0.8288 1.829 1 0.5732 0.003693 0.0007819 0.009112 0.6505 1 2.253e-11 0.007539 0.007359 0.00439 0.06625 7.271 1.829 0.1316 0.2218 1 1 0.007413 0.04138 0.07942 0.2181 1.217 2.336 json
t17_x20_u4_b16 17 20 4 16 sub(R,mod(P,cil(R))) 114937 138859057 o2(x,o2(x,o1(x))) true 79503 79503 -0.9327 0.04297 0.9813 0.1025 0.3202 -1 0.9428 1.943 1 0.413 0.01033 0.01038 0.01414 -0.00231 1 0.000008535 0.04322 0.0262 0.02051 0.1432 10.13 2.64 0.2021 0.4217 1 1 0.01648 0.07156 0.1733 0.1608 0.6982 1.691 json
t17_x20_u4_b17 17 20 4 17 sub(R,lrg(P,cil(R))) 114938 138859058 o2(x,o2(x,o1(x))) true 79511 79511 -0.331 0.3069 0.5872 0.3442 0.5867 -1 0.9693 1.969 1 4.424 0.002823 0.002932 0.05338 -0.01894 1 0.00006518 0.0006187 0.01448 0.002906 0.05391 1.01 0.3135 0.01672 0.001798 1 1 0.01206 0.1462 0.3693 0.03505 0.4247 1.073 json
t17_x20_u4_b18 17 20 4 18 sub(R,eql(P,cil(R))) 114939 138859059 o2(x,o2(x,o1(x))) true 79519 79519 -0.05261 0.4514 0.4112 0.2398 0.4897 -1 0.9806 1.981 1 4.879 0.002976 0.003228 0.06225 -0.04057 1 0.00004525 0.0004851 0.01491 0.002329 0.04826 0.7754 0.3332 0.02587 0.002022 1 1 0.01263 0.1578 0.4533 0.05267 0.6577 1.89 json
t17_x20_u4_b19 17 20 4 19 sub(R,min(P,cil(R))) 114940 138859060 o2(x,o2(x,o1(x))) true 79527 79527 0.2381 0.4994 0.7048 0.5389 0.7341 -0.9989 1 1.999 1 3.382 0.001064 0.0005842 0.02204 0.2913 1 0.000006237 0.0001834 0.005548 0.001163 0.0341 1.547 0.3332 0.003059 0.0003404 1 1 0.003596 0.04425 0.2153 0.006674 0.08212 0.3995 json
t17_x20_u4_b20 17 20 4 20 sub(R,dot(P,cil(R))) 114941 138859061 o2(x,o2(x,o1(x))) true 79535 79535 -0.008407 0.4752 0.8568 0.8125 0.9014 -1 1 2 1 2.769 0.01054 0.01422 0.06191 -0.1487 1 0.00002384 0.01577 0.04175 0.02092 0.1447 2.337 1.475 0.03047 0.0194 1 1 0.03506 0.2795 0.6606 0.04315 0.344 0.8131 json
t17_x20_u4_b21 17 20 4 21 sub(R,dst(P,cil(R))) 114942 138859062 o2(x,o2(x,o1(x))) true 79543 79543 -0.9944 0 0.9944 0.002721 0.05216 -1 -0.05702 0.943 1 0.1619 0.00009659 0.00004834 0.001306 0.3329 1 -7.509e-11 0.00005655 0.0007132 0.0001433 0.01197 9.167 0.2401 0.05326 0.02078 1 1 0.0004699 0.00428 0.009635 0.1727 1.573 3.541 json
t17_x20_u4_b22 17 20 4 22 mlt(R,add(P,cil(R))) 114943 138859063 o2(x,o2(x,o1(x))) true 79551 79551 0.03962 0.541 0.7311 0.6542 0.8088 -1 1 2 1 3.746 0.01673 0.01937 0.09248 -0.07298 1 -0.00007059 0.01975 0.04936 0.02754 0.166 1.795 1.454 0.05518 0.03019 1 1 0.0509 0.4474 1.008 0.07781 0.6839 1.542 json
t17_x20_u4_b23 17 20 4 23 mlt(R,sub(P,cil(R))) 114944 138859064 o2(x,o2(x,o1(x))) true 79559 79559 -0.1634 0.3804 0.7288 0.6292 0.7932 -1 1 2 1 3.688 0.01629 0.01952 0.08963 -0.08997 1 -0.00001992 0.02043 0.0492 0.02778 0.1667 1.86 1.397 0.05691 0.03247 1 1 0.04982 0.4294 1.029 0.07918 0.6824 1.635 json
t17_x20_u4_b24 17 20 4 24 mlt(R,mlt(P,cil(R))) 114945 138859065 o2(x,o2(x,o1(x))) true 79567 79567 -0.02916 0.4518 0.5018 0.4305 0.6561 -1 1 2 1 3.931 0.003301 0.003909 0.0465 -0.08424 1 -0.00004036 0.00269 0.02141 0.005048 0.07105 1.528 0.4662 0.01675 0.006249 1 1 0.01244 0.1217 0.3088 0.0289 0.2827 0.7172 json
t17_x20_u4_b25 17 20 4 25 mlt(R,div(P,cil(R))) 114946 138859066 o2(x,o2(x,o1(x))) true 79575 79575 -0.9202 0.03906 0.9936 0.1445 0.3802 -1 1 2 1 0.3922 0.0171 0.01719 0.01857 -0.002484 1 -3.004e-10 0.07251 0.03623 0.03394 0.1842 9.921 2.828 0.2372 0.5017 1 1 0.03089 0.1302 0.2913 0.2137 0.9009 2.015 json
t17_x20_u4_b26 17 20 4 26 mlt(R,pow(P,cil(R))) 114947 138859067 o2(x,o2(x,o1(x))) true 79583 79583 -0.3584 0.2838 0.7595 0.5602 0.7484 -1 1 2 1 3.374 0.006236 0.004863 0.0449 0.1236 1 -0.0001089 0.009719 0.02524 0.009082 0.0953 2.123 1 0.01981 0.01735 1 1 0.01704 0.1556 0.4362 0.03043 0.2778 0.7787 json
t17_x20_u4_b27 17 20 4 27 mlt(R,mod(P,cil(R))) 114948 138859068 o2(x,o2(x,o1(x))) true 79591 79591 -0.957 0 0.957 0.04112 0.2028 -1 0 1 1 0.2557 0.00422 0.004094 0.008259 0.01515 1 0 0.01738 0.01663 0.008241 0.09078 10.99 1.414 0.2022 0.4228 1 1 0.006357 0.02738 0.06893 0.1546 0.6659 1.676 json
t17_x20_u4_b28 17 20 4 28 mlt(R,lrg(P,cil(R))) 114949 138859069 o2(x,o2(x,o1(x))) true 79599 79599 -0.02852 0.1827 0.1646 0.08723 0.2954 -0.9987 0.9806 1.979 1 3.128 0.001132 0.001229 0.02707 -0.04081 1 0.00001086 0.0001439 0.006298 0.001628 0.04035 1.49 0.219 0.02707 0.001649 1 1 0.004329 0.0564 0.1657 0.04963 0.6465 1.9 json
t17_x20_u4_b29 17 20 4 29 mlt(R,eql(P,cil(R))) 114950 138859070 o2(x,o2(x,o1(x))) true 79607 79607 0.002624 0.08656 0.04242 0.02236 0.1495 -0.9526 0.9431 1.896 1 1.129 0.0004734 0.0001495 0.007822 0.52 1 -0.00001143 0.00003287 0.001783 0.0005616 0.0237 3.03 0.1951 0.02785 0.00147 1 1 0.001458 0.01884 0.04005 0.06519 0.8427 1.791 json
t17_x20_u4_b30 17 20 4 30 mlt(R,min(P,cil(R))) 114951 138859071 o2(x,o2(x,o1(x))) true 79615 79615 0.08372 0.676 0.4827 0.3817 0.6178 -1 1 2 1 4.06 0.008329 0.01061 0.06121 -0.1204 1 -0.00002973 0.01011 0.02812 0.01519 0.1232 2.014 1.294 0.04962 0.02648 1 1 0.02807 0.2438 0.5598 0.07355 0.6388 1.467 json
t17_x20_u4_b31 17 20 4 31 mlt(R,dot(P,cil(R))) 114952 138859072 o2(x,o2(x,o1(x))) true 79623 79623 0.0001611 0.5015 0.7207 0.6567 0.8104 -1 1 2 1 3.59 0.009196 0.00965 0.06724 -0.0241 1 -0.0000489 0.009804 0.03701 0.01432 0.1197 1.78 1.353 0.0287 0.01493 1 1 0.03038 0.2714 0.7095 0.04626 0.4133 1.08 json
t17_x20_u4_b32 17 20 4 32 mlt(R,dst(P,cil(R))) 114953 138859073 o2(x,o2(x,o1(x))) true 79631 79631 -0.002588 0.5002 0.8644 0.8193 0.9051 -1 1 2 1 2.817 0.02622 0.03082 0.1018 -0.08061 1 0.00007747 0.04398 0.07298 0.04666 0.216 2.122 1.951 0.06961 0.05368 1 1 0.07767 0.6042 1.391 0.09481 0.7375 1.698 json
t17_x20_u4_b33 17 20 4 33 div(R,add(P,cil(R))) 114954 138859074 o2(x,o2(x,o1(x))) true 79639 79639 -0.1398 0.3893 0.2552 0.1619 0.4024 -1 1 2 1 3.461 0.01485 0.009212 0.03094 0.2343 1 -0.00001419 0.0494 0.03553 0.02311 0.152 4.912 2.828 0.1486 0.305 1 1 0.03107 0.1363 0.3515 0.1919 0.8416 2.171 json
t17_x20_u4_b34 17 20 4 34 div(R,sub(P,cil(R))) 114955 138859075 o2(x,o2(x,o1(x))) true 79647 79647 -0.1464 0.4016 0.2605 0.1671 0.4088 -1 1 2 1 3.405 0.0119 0.0057 0.02713 0.3522 1 9.618e-7 0.03548 0.02869 0.01686 0.1298 4.787 2.828 0.1053 0.2124 1 1 0.02548 0.1143 0.2928 0.1525 0.684 1.752 json
t17_x20_u4_b35 17 20 4 35 div(R,mlt(P,cil(R))) 114956 138859076 o2(x,o2(x,o1(x))) true 79655 79655 -0.9159 0.03125 0.9712 0.1282 0.3581 -1 1 2 1 0.5111 0.01571 0.01532 0.01893 0.01283 1 -5.45e-7 0.06564 0.03742 0.03068 0.1752 9.253 2.828 0.242 0.5119 1 1 0.02633 0.1111 0.2465 0.2053 0.8661 1.922 json
t17_x20_u4_b36 17 20 4 36 div(R,div(P,cil(R))) 114957 138859077 o2(x,o2(x,o1(x))) true 79663 79663 -0.1258 0.3783 0.1974 0.1294 0.3598 -1 0.9432 1.943 1 3.058 0.01063 0.0001507 0.01812 0.972 1 -0.000001374 0.02098 0.01871 0.01046 0.1023 5.644 1.943 0.08333 0.1621 1 1 0.01389 0.05983 0.2 0.1073 0.4622 1.545 json
t17_x20_u4_b37 17 20 4 37 div(R,pow(P,cil(R))) 114958 138859078 o2(x,o2(x,o1(x))) true 79671 79671 -0.5861 0.1576 0.6556 0.2362 0.486 -1 1 2 1 3.242 0.008427 0.005474 0.03176 0.2124 1 -0.000005352 0.02587 0.02468 0.0129 0.1136 3.576 2.828 0.05886 0.1095 1 1 0.02132 0.1125 0.2709 0.09026 0.4764 1.147 json
t17_x20_u4_b38 17 20 4 38 div(R,mod(P,cil(R))) 114959 138859079 o2(x,o2(x,o1(x))) true 79679 79679 -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_x20_u4_b39 17 20 4 39 div(R,lrg(P,cil(R))) 114960 138859080 o2(x,o2(x,o1(x))) true 79687 79687 -0.6387 0.1649 0.7657 0.2925 0.5409 -1 0.9806 1.981 1 2.763 0.005101 0.001376 0.02703 0.575 1 0.00002051 0.009026 0.01315 0.005748 0.07581 2.805 1.956 0.02214 0.03086 1 1 0.009062 0.0698 0.2353 0.03098 0.2386 0.8042 json
t17_x20_u4_b40 17 20 4 40 div(R,eql(P,cil(R))) 114961 138859081 o2(x,o2(x,o1(x))) true 79695 79695 -0.9837 0.008041 0.9912 0.02062 0.1436 -1 0.943 1.943 1 0.1902 0.003207 0.001269 0.00435 0.4329 1 -4.13e-11 0.009066 0.006447 0.004458 0.06677 15.35 2.698 0.2171 0.4397 1 1 0.005227 0.02198 0.04717 0.2536 1.066 2.288 json
t17_x20_u4_b41 17 20 4 41 div(R,min(P,cil(R))) 114962 138859082 o2(x,o2(x,o1(x))) true 79703 79703 -0.5051 0.2355 0.6155 0.3193 0.5651 -1 1 2 1 2.671 0.01744 0.01378 0.02555 0.1175 1 0.000001854 0.06494 0.03616 0.03056 0.1748 6.843 2.828 0.09777 0.2034 1 1 0.02885 0.1276 0.3344 0.09033 0.3995 1.047 json
t17_x20_u4_b42 17 20 4 42 div(R,dot(P,cil(R))) 114963 138859083 o2(x,o2(x,o1(x))) true 79711 79711 -0.6963 0.1427 0.8286 0.3172 0.5632 -1 1 2 1 1.83 0.03272 0.03344 0.04978 -0.01096 1 -1.705e-7 0.1383 0.09156 0.06367 0.2523 5.069 2.828 0.2086 0.4359 1 1 0.07493 0.3175 0.6699 0.2362 1.001 2.112 json
t17_x20_u4_b43 17 20 4 43 div(R,dst(P,cil(R))) 114964 138859084 o2(x,o2(x,o1(x))) true 79719 79719 -0.006667 0.4889 0.09187 0.02736 0.1654 -1 0.9432 1.943 1 2.793 0.001947 0.001563 0.01494 0.1096 1 0.000001819 0.006591 0.007705 0.003287 0.05733 3.836 2.748 0.1283 0.2409 1 1 0.006591 0.03399 0.09608 0.2409 1.242 3.512 json
t17_x20_u4_b44 17 20 4 44 pow(R,add(P,cil(R))) 114965 138859085 o2(x,o2(x,o1(x))) true 79727 79727 -0.8627 0.07422 0.9889 0.2399 0.4898 -1 1 2 1 0.5453 0.02168 0.02057 0.02356 0.02633 1 0.000001659 0.08803 0.04534 0.04169 0.2042 8.666 2.828 0.1761 0.367 1 1 0.04113 0.1737 0.5784 0.1714 0.724 2.411 json
t17_x20_u4_b45 17 20 4 45 pow(R,sub(P,cil(R))) 114966 138859086 o2(x,o2(x,o1(x))) true 79735 79735 -0.8548 0.07422 0.9968 0.2659 0.5156 -1 1 2 1 0.4149 0.02419 0.02328 0.02402 0.0192 1 0.000002045 0.09903 0.04816 0.04688 0.2165 9.013 2.828 0.1786 0.3725 1 1 0.0467 0.1946 0.6358 0.1757 0.732 2.391 json
t17_x20_u4_b46 17 20 4 46 pow(R,mlt(P,cil(R))) 114967 138859087 o2(x,o2(x,o1(x))) true 79743 79743 0.8465 0.9999 0.8465 0.07215 0.2686 0.000001565 1 1 1 2.185 0.0006712 0.0008595 0.02149 -0.123 1 0.00002855 0.00009359 0.005165 0.001069 0.03269 1.521 0.1169 0.02121 0.001297 1 1 0.002682 0.03481 0.08079 0.03717 0.4824 1.12 json
t17_x20_u4_b47 17 20 4 47 pow(R,div(P,cil(R))) 114968 138859088 o2(x,o2(x,o1(x))) true 79751 79751 -0.9178 0.04297 0.9963 0.1532 0.3915 -1 1 2 1 0.3031 0.01592 0.01498 0.01593 0.03018 1 0.000001838 0.06457 0.0318 0.03064 0.175 10.99 2.828 0.2017 0.4214 1 1 0.0253 0.1087 0.2654 0.1651 0.7091 1.732 json
t17_x20_u4_b48 17 20 4 48 pow(R,pow(P,cil(R))) 114969 138859089 o2(x,o2(x,o1(x))) true 79759 79759 -0.9881 0.007813 0.9963 0.01919 0.1385 -1 1 2 1 0.093 0.00206 0.002387 0.002796 -0.07358 1 0.000001838 0.009396 0.005344 0.004439 0.06662 23.82 2.64 0.2317 0.4897 1 1 0.0007549 0.005342 0.01715 0.03934 0.2784 0.8939 json
t17_x20_u4_b49 17 20 4 49 pow(R,mod(P,cil(R))) 114970 138859090 o2(x,o2(x,o1(x))) true 79767 79767 -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_x20_u4_b50 17 20 4 50 pow(R,lrg(P,cil(R))) 114971 138859091 o2(x,o2(x,o1(x))) true 79775 79775 0.04532 0.5234 0.9984 0.9955 0.9977 -1 1 2 1 1.044 0.01635 0.007144 0.01205 0.3918 1 0.000002697 0.0486 0.02401 0.02333 0.1528 12.67 2.828 0.0236 0.04882 1 1 0.02548 0.1046 0.4162 0.0256 0.1051 0.4181 json
t17_x20_u4_b51 17 20 4 51 pow(R,eql(P,cil(R))) 114972 138859092 o2(x,o2(x,o1(x))) true 79783 79783 0.8036 0.9063 0.9911 0.3397 0.5829 -1 1 2 1 0.7589 0.02142 0.01157 0.01874 0.2988 1 0.00000124 0.06718 0.03453 0.03265 0.1807 9.644 2.828 0.0971 0.1977 1 1 0.04547 0.1858 0.6836 0.1338 0.5468 2.012 json
t17_x20_u4_b52 17 20 4 52 pow(R,min(P,cil(R))) 114973 138859093 o2(x,o2(x,o1(x))) true 79791 79791 0.004647 0.5508 0.9031 0.849 0.9214 -1 1 2 1 2.558 0.02606 0.01711 0.03622 0.2075 1 0.00002818 0.08799 0.04594 0.04185 0.2046 5.649 2.828 0.05084 0.1036 1 1 0.047 0.2041 0.6489 0.05536 0.2404 0.7644 json
t17_x20_u4_b53 17 20 4 53 pow(R,dot(P,cil(R))) 114974 138859094 o2(x,o2(x,o1(x))) true 79799 79799 -0.383 0.3438 0.9295 0.7612 0.8725 -1 1 2 1 1.747 0.04912 0.06442 0.06846 -0.1347 1 0.000008356 0.2343 0.1239 0.1089 0.33 4.82 2.828 0.1491 0.3077 1 1 0.09679 0.4099 1.22 0.1272 0.5385 1.603 json
t17_x20_u4_b54 17 20 4 54 pow(R,dst(P,cil(R))) 114975 138859095 o2(x,o2(x,o1(x))) true 79807 79807 -0.9498 0.04247 0.9642 0.05725 0.2393 -1 0.7375 1.738 1 0.3775 0.005944 0.005657 0.01055 0.0247 1 0.00000486 0.02418 0.01955 0.0115 0.1072 10.16 2.015 0.2026 0.4224 1 1 0.009419 0.04133 0.1016 0.1645 0.7218 1.775 json
t17_x20_u4_b55 17 20 4 55 mod(R,add(P,cil(R))) 114976 138859096 o2(x,o2(x,o1(x))) true 79815 79815 -0.1546 0.4164 0.4886 0.3193 0.5651 -1 0.9806 1.981 1 4.68 0.01434 0.005692 0.06291 0.4316 1 0.00005572 0.03165 0.03448 0.01607 0.1268 2.015 2.541 0.06273 0.09912 1 1 0.02985 0.1945 0.5309 0.09349 0.6091 1.662 json
t17_x20_u4_b56 17 20 4 56 mod(R,sub(P,cil(R))) 114977 138859097 o2(x,o2(x,o1(x))) true 79823 79823 -0.1632 0.4117 0.4949 0.3241 0.5693 -1 0.9806 1.981 1 4.661 0.01306 0.00559 0.06146 0.4006 1 0.00005812 0.02899 0.03304 0.01488 0.122 1.984 2.587 0.05756 0.08945 1 1 0.02703 0.1834 0.5392 0.0834 0.566 1.664 json
t17_x20_u4_b57 17 20 4 57 mod(R,mlt(P,cil(R))) 114978 138859098 o2(x,o2(x,o1(x))) true 79831 79831 -0.9454 0.03516 0.9843 0.0832 0.2884 -1 0.9428 1.943 1 0.3499 0.008732 0.007683 0.01142 0.06389 1 0.000008536 0.03424 0.02109 0.01628 0.1276 11.18 2.098 0.1973 0.4115 1 1 0.01517 0.06259 0.1544 0.1823 0.7522 1.856 json
t17_x20_u4_b58 17 20 4 58 mod(R,div(P,cil(R))) 114979 138859099 o2(x,o2(x,o1(x))) true 79839 79839 -0.9454 0.03516 0.9843 0.0832 0.2884 -1 0.9428 1.943 1 0.3499 0.008732 0.007683 0.01142 0.06389 1 0.000008536 0.03424 0.02109 0.01628 0.1276 11.18 2.098 0.1973 0.4115 1 1 0.01517 0.06259 0.1544 0.1823 0.7522 1.856 json
t17_x20_u4_b59 17 20 4 59 mod(R,pow(P,cil(R))) 114980 138859100 o2(x,o2(x,o1(x))) true 79847 79847 -0.5322 0.2093 0.6974 0.3263 0.5713 -1 0.9806 1.981 1 3.392 0.006447 0.002802 0.0375 0.3942 1 0.000005646 0.01344 0.02083 0.007842 0.08855 2.361 2.097 0.02834 0.04119 1 1 0.01317 0.09978 0.3038 0.04036 0.3058 0.931 json
t17_x20_u4_b60 17 20 4 60 mod(R,mod(P,cil(R))) 114981 138859101 o2(x,o2(x,o1(x))) true 79855 79855 -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_x20_u4_b61 17 20 4 61 mod(R,lrg(P,cil(R))) 114982 138859102 o2(x,o2(x,o1(x))) true 79863 79863 -0.6387 0.1649 0.7657 0.2925 0.5409 -1 0.9806 1.981 1 2.763 0.005101 0.001376 0.02703 0.575 1 0.00002051 0.009026 0.01315 0.005748 0.07581 2.805 1.956 0.02214 0.03086 1 1 0.009062 0.0698 0.2353 0.03098 0.2386 0.8042 json
t17_x20_u4_b62 17 20 4 62 mod(R,eql(P,cil(R))) 114983 138859103 o2(x,o2(x,o1(x))) true 79871 79871 -0.9837 0.008041 0.9912 0.02062 0.1436 -1 0.943 1.943 1 0.1902 0.003207 0.001269 0.00435 0.4329 1 -7.509e-12 0.009066 0.006447 0.004458 0.06677 15.35 2.698 0.2171 0.4397 1 1 0.005227 0.02198 0.04717 0.2536 1.066 2.288 json
t17_x20_u4_b63 17 20 4 63 mod(R,min(P,cil(R))) 114984 138859104 o2(x,o2(x,o1(x))) true 79879 79879 -0.5402 0.2368 0.7361 0.3675 0.6062 -1 0.9693 1.969 1 3.111 0.007849 0.002592 0.03266 0.5035 1 0.00004031 0.01602 0.01739 0.009372 0.09681 2.964 1.91 0.02841 0.0436 1 1 0.01261 0.09145 0.2571 0.0343 0.2488 0.6997 json
t17_x20_u4_b64 17 20 4 64 mod(R,dot(P,cil(R))) 114985 138859105 o2(x,o2(x,o1(x))) true 79887 79887 -0.7689 0.1266 0.8835 0.2538 0.5037 -1 0.9556 1.956 1 1.757 0.02096 0.02159 0.04268 -0.01495 1 -0.000002591 0.08649 0.06275 0.0407 0.2017 4.727 2.766 0.1677 0.3408 1 1 0.04861 0.2137 0.5748 0.1916 0.8423 2.265 json
t17_x20_u4_b65 17 20 4 65 mod(R,dst(P,cil(R))) 114986 138859106 o2(x,o2(x,o1(x))) true 79895 79895 -0.008021 0.4892 0.4045 0.2323 0.482 -1 0.9806 1.981 1 4.884 0.004853 0.004731 0.06436 0.01272 1 0.00002651 0.008082 0.01935 0.005441 0.07376 1.146 2.748 0.04125 0.03479 1 1 0.01789 0.1691 0.4526 0.077 0.7279 1.948 json
t17_x20_u4_b66 17 20 4 66 lrg(R,add(P,cil(R))) 114987 138859107 o2(x,o2(x,o1(x))) true 79903 79903 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_x20_u4_b67 17 20 4 67 lrg(R,sub(P,cil(R))) 114988 138859108 o2(x,o2(x,o1(x))) true 79911 79911 0.5352 0.6183 0.5352 0.2315 0.4811 0 1 1 1 1.711 0.0005491 0.0002856 0.009689 0.3156 1 -0.00001711 0.00004555 0.002325 0.0007411 0.02722 2.81 0.1169 0.003606 0.0001968 1 1 0.002192 0.02842 0.09003 0.009467 0.1228 0.3889 json
t17_x20_u4_b68 17 20 4 68 lrg(R,mlt(P,cil(R))) 114989 138859109 o2(x,o2(x,o1(x))) true 79919 79919 0.2676 0.4921 0.2676 0.1474 0.3839 0 1 1 1 2.341 0.001052 0.001231 0.02666 -0.0785 1 0.000006427 0.0001288 0.006434 0.001572 0.03965 1.487 0.1169 0.01549 0.000874 1 1 0.004654 0.05961 0.1835 0.03158 0.4044 1.245 json
t17_x20_u4_b69 17 20 4 69 lrg(R,div(P,cil(R))) 114990 138859110 o2(x,o2(x,o1(x))) true 79927 79927 0.5566 0.9498 0.5566 0.1529 0.391 0 1 1 1 3.387 0.001991 0.002332 0.05065 -0.07892 1 0.00003637 0.0002525 0.0123 0.001758 0.04193 0.8278 0.1169 0.02828 0.001651 1 1 0.008378 0.1079 0.2912 0.0548 0.7058 1.905 json
t17_x20_u4_b70 17 20 4 70 lrg(R,pow(P,cil(R))) 114991 138859111 o2(x,o2(x,o1(x))) true 79935 79935 0.2676 0.4921 0.2676 0.1474 0.3839 0 1 1 1 2.341 0.001052 0.001231 0.02666 -0.0785 1 0.000006427 0.0001288 0.006434 0.001572 0.03965 1.487 0.1169 0.01549 0.000874 1 1 0.004654 0.05961 0.1835 0.03158 0.4044 1.245 json
t17_x20_u4_b71 17 20 4 71 lrg(R,mod(P,cil(R))) 114992 138859112 o2(x,o2(x,o1(x))) true 79943 79943 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_x20_u4_b72 17 20 4 72 lrg(R,lrg(P,cil(R))) 114993 138859113 o2(x,o2(x,o1(x))) true 79951 79951 0.3066 0.5726 0.3066 0.1555 0.3944 0 1 1 1 2.592 0.001277 0.001411 0.03137 -0.04994 1 -0.000004981 0.0001518 0.007572 0.001705 0.04129 1.316 0.1169 0.01729 0.000976 1 1 0.005699 0.07303 0.1973 0.03664 0.4695 1.269 json
t17_x20_u4_b73 17 20 4 73 lrg(R,eql(P,cil(R))) 114994 138859114 o2(x,o2(x,o1(x))) true 79959 79959 0.4434 0.8735 0.4434 0.1559 0.3948 0 1 1 1 3.345 0.001926 0.002262 0.04911 -0.08017 1 -0.000006403 0.0002445 0.01192 0.001777 0.04215 0.8584 0.1169 0.02686 0.001568 1 1 0.008031 0.1035 0.2962 0.05151 0.664 1.9 json
t17_x20_u4_b74 17 20 4 74 lrg(R,min(P,cil(R))) 114995 138859115 o2(x,o2(x,o1(x))) true 79967 79967 0.4961 0.5378 0.4961 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005705 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t17_x20_u4_b75 17 20 4 75 lrg(R,dot(P,cil(R))) 114996 138859116 o2(x,o2(x,o1(x))) true 79975 79975 0.3887 0.6818 0.3887 0.1717 0.4144 0 1 1 1 2.877 0.00149 0.001589 0.03599 -0.03241 1 0.00004207 0.0001756 0.008685 0.001784 0.04224 1.174 0.1169 0.01793 0.001023 1 1 0.005757 0.07412 0.2006 0.03353 0.4317 1.169 json
t17_x20_u4_b76 17 20 4 76 lrg(R,dst(P,cil(R))) 114997 138859117 o2(x,o2(x,o1(x))) true 79983 79983 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_x20_u4_b77 17 20 4 77 eql(R,add(P,cil(R))) 114998 138859118 o2(x,o2(x,o1(x))) true 79991 79991 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_x20_u4_b78 17 20 4 78 eql(R,sub(P,cil(R))) 114999 138859119 o2(x,o2(x,o1(x))) true 79999 79999 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