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_b0 17 20 3 0 add(R,add(P,flr(R))) 114800 138858840 o2(x,o2(x,o1(x))) true 78407 78407 -0.05017 0.4776 0.9404 0.9168 0.9575 -1 1 2 1 1.942 0.002048 0.001191 0.01646 0.2646 1 -0.00003487 0.0008254 0.006742 0.002969 0.05449 3.31 0.4289 0.003532 0.0009003 1 1 0.00803 0.08324 0.3178 0.008759 0.09079 0.3466 json
t17_x20_u3_b1 17 20 3 1 add(R,sub(P,flr(R))) 114801 138858841 o2(x,o2(x,o1(x))) true 78415 78415 0.06415 0.5317 0.9305 0.9041 0.9508 -1 1 2 1 1.99 0.0007594 0.0000761 0.008868 0.8178 1 -0.000004512 0.0001395 0.002843 0.0007571 0.02752 3.103 0.2002 0.0009242 0.0001543 1 1 0.002089 0.02427 0.2211 0.00231 0.02685 0.2446 json
t17_x20_u3_b2 17 20 3 2 add(R,mlt(P,flr(R))) 114802 138858842 o2(x,o2(x,o1(x))) true 78423 78423 0.1134 0.6039 0.7904 0.6986 0.8358 -1 1 2 1 3.502 0.006887 0.007116 0.05661 -0.01638 1 0.00004904 0.005987 0.0303 0.0108 0.1039 1.836 0.7528 0.02005 0.008571 1 1 0.02404 0.2249 0.5185 0.03442 0.3219 0.7422 json
t17_x20_u3_b3 17 20 3 3 add(R,div(P,flr(R))) 114803 138858843 o2(x,o2(x,o1(x))) true 78431 78431 -0.8647 0.06836 0.9963 0.2472 0.4972 -1 1 2 1 0.4436 0.02778 0.02421 0.02683 0.0686 1 -2.403e-10 0.1096 0.05314 0.05129 0.2265 8.439 2.828 0.2104 0.4433 1 1 0.04882 0.2056 0.4776 0.1975 0.8318 1.932 json
t17_x20_u3_b4 17 20 3 4 add(R,pow(P,flr(R))) 114804 138858844 o2(x,o2(x,o1(x))) true 78439 78439 -0.2602 0.3799 0.8241 0.7105 0.8429 -1 1 2 1 2.814 0.03055 0.02289 0.05522 0.1433 1 -0.00005925 0.1031 0.05958 0.05035 0.2244 4.064 2.828 0.07521 0.1451 1 1 0.06344 0.3124 0.8157 0.08929 0.4397 1.148 json
t17_x20_u3_b5 17 20 3 5 add(R,mod(P,flr(R))) 114805 138858845 o2(x,o2(x,o1(x))) true 78447 78447 -0.9668 0 0.9668 0.01915 0.1384 -1 -0.007164 0.9928 1 0.6215 0.00171 0.001917 0.007503 -0.05728 1 -0.000001442 0.007437 0.01163 0.00357 0.05975 7.963 1.289 0.1894 0.3884 1 1 0.003992 0.01731 0.04085 0.2085 0.9041 2.133 json
t17_x20_u3_b6 17 20 3 6 add(R,lrg(P,flr(R))) 114806 138858846 o2(x,o2(x,o1(x))) true 78455 78455 0.4268 0.7835 0.5923 0.2729 0.5224 -0.9989 1 1.999 1 4.386 0.001918 0.002319 0.04668 -0.09461 1 -0.00001029 0.0004999 0.01321 0.002058 0.04537 0.9719 0.2301 0.01552 0.001832 1 1 0.008011 0.09607 0.2704 0.02935 0.352 0.9906 json
t17_x20_u3_b7 17 20 3 7 add(R,eql(P,flr(R))) 114807 138858847 o2(x,o2(x,o1(x))) true 78463 78463 0.05566 0.5293 0.4152 0.2424 0.4923 -0.9986 1 1.999 1 4.902 0.003208 0.003254 0.06469 -0.007016 1 0.00003222 0.0004433 0.01522 0.002278 0.04772 0.7377 0.2892 0.02666 0.001829 1 1 0.0135 0.1704 0.4361 0.05569 0.703 1.799 json
t17_x20_u3_b8 17 20 3 8 add(R,min(P,flr(R))) 114808 138858848 o2(x,o2(x,o1(x))) true 78471 78471 -0.6676 0.1694 0.8134 0.3057 0.5529 -1 0.9804 1.98 1 2.587 0.004292 0.004279 0.04864 0.001601 1 0.00006254 0.001372 0.01556 0.006208 0.07879 1.62 0.3359 0.02804 0.004487 1 1 0.01734 0.1996 0.5008 0.05673 0.653 1.638 json
t17_x20_u3_b9 17 20 3 9 add(R,dot(P,flr(R))) 114809 138858849 o2(x,o2(x,o1(x))) true 78479 78479 0.02339 0.5287 0.8595 0.8073 0.8985 -1 1 2 1 2.914 0.0127 0.01508 0.06932 -0.08588 1 0.0001272 0.01565 0.04427 0.02297 0.1516 2.186 1.64 0.03442 0.01939 1 1 0.04329 0.3569 0.8464 0.05362 0.4422 1.049 json
t17_x20_u3_b10 17 20 3 10 add(R,dst(P,flr(R))) 114810 138858850 o2(x,o2(x,o1(x))) true 78487 78487 0.9985 1 0.9985 0.000525 0.02291 0.3985 1 0.6015 1 0.06591 0.00002372 0.00003102 0.0005484 -0.1334 0 -4.13e-11 0.00002649 0.00038 0.00005441 0.007376 13.45 0.1599 0.1043 0.05045 1 1 0.0001735 0.001367 0.001912 0.3304 2.603 3.642 json
t17_x20_u3_b11 17 20 3 11 sub(R,add(P,flr(R))) 114811 138858851 o2(x,o2(x,o1(x))) true 78495 78495 0.06601 0.5328 0.9289 0.902 0.9497 -1 1 2 1 2 0.0007515 0.00006826 0.008799 0.8335 1 -0.000004504 0.0001399 0.002824 0.0007422 0.02724 3.096 0.2097 0.0009088 0.0001551 1 1 0.002071 0.02381 0.2187 0.002296 0.0264 0.2424 json
t17_x20_u3_b12 17 20 3 12 sub(R,sub(P,flr(R))) 114812 138858852 o2(x,o2(x,o1(x))) true 78503 78503 -0.06155 0.4697 0.9312 0.9037 0.9507 -1 1 2 1 2.027 0.001901 0.00119 0.01688 0.2301 1 -0.00002157 0.0007796 0.006883 0.002806 0.05297 3.137 0.4501 0.00342 0.0008626 1 1 0.007348 0.07583 0.3304 0.008131 0.08391 0.3655 json
t17_x20_u3_b13 17 20 3 13 sub(R,mlt(P,flr(R))) 114813 138858853 o2(x,o2(x,o1(x))) true 78511 78511 0.1785 0.6389 0.7931 0.6834 0.8267 -1 1 2 1 3.488 0.006002 0.008413 0.05642 -0.1673 1 0.0001464 0.006077 0.03025 0.01123 0.106 1.878 0.7374 0.02109 0.008893 1 1 0.02326 0.2009 0.5282 0.03404 0.294 0.7729 json
t17_x20_u3_b14 17 20 3 14 sub(R,div(P,flr(R))) 114814 138858854 o2(x,o2(x,o1(x))) true 78519 78519 -0.8822 0.05859 0.9994 0.2206 0.4697 -1 1 2 1 0.3469 0.02223 0.02775 0.02507 -0.1105 1 -1.201e-10 0.1055 0.0503 0.04936 0.2222 8.863 2.828 0.2265 0.4782 1 1 0.05617 0.2351 0.4413 0.2546 1.066 2 json
t17_x20_u3_b15 17 20 3 15 sub(R,pow(P,flr(R))) 114815 138858855 o2(x,o2(x,o1(x))) true 78527 78527 -0.8077 0 0.8077 0.07074 0.266 -1 -0.019 0.981 1 2.531 0.002708 0.001934 0.02154 0.1667 1 0.0000368 0.008078 0.01568 0.004176 0.06462 3 1.127 0.06561 0.1142 1 1 0.005707 0.03539 0.09116 0.08066 0.5002 1.289 json
t17_x20_u3_b16 17 20 3 16 sub(R,mod(P,flr(R))) 114816 138858856 o2(x,o2(x,o1(x))) true 78535 78535 -0.9668 0 0.9668 0.01915 0.1384 -1 -0.007164 0.9928 1 0.6215 0.00171 0.001917 0.007503 -0.05728 1 -0.000001442 0.007437 0.01163 0.00357 0.05975 7.963 1.289 0.1894 0.3884 1 1 0.003992 0.01731 0.04085 0.2085 0.9041 2.133 json
t17_x20_u3_b17 17 20 3 17 sub(R,lrg(P,flr(R))) 114817 138858857 o2(x,o2(x,o1(x))) true 78543 78543 -0.3894 0.2714 0.612 0.3343 0.5782 -1 0.9693 1.969 1 4.272 0.002594 0.002651 0.05 -0.01085 1 0.00007441 0.000655 0.01427 0.002744 0.05238 1.048 0.3332 0.01569 0.001959 1 1 0.01101 0.1302 0.3632 0.03294 0.3896 1.086 json
t17_x20_u3_b18 17 20 3 18 sub(R,eql(P,flr(R))) 114818 138858858 o2(x,o2(x,o1(x))) true 78551 78551 -0.04012 0.4626 0.4131 0.2404 0.4903 -1 0.9806 1.981 1 4.895 0.003024 0.003379 0.06429 -0.05545 1 0.00004587 0.0004365 0.01505 0.00227 0.04765 0.7411 0.315 0.02663 0.001815 1 1 0.01246 0.1587 0.4405 0.05182 0.6602 1.832 json
t17_x20_u3_b19 17 20 3 19 sub(R,min(P,flr(R))) 114819 138858859 o2(x,o2(x,o1(x))) true 78559 78559 0.7413 1 0.7413 0.08105 0.2847 0.001084 1 0.9989 1 3.06 0.0005177 0.0004388 0.01829 0.08247 1 0.00001194 0.0001172 0.004751 0.0006219 0.02494 1.363 0.2097 0.0118 0.001446 1 1 0.001709 0.02061 0.06965 0.02108 0.2543 0.8593 json
t17_x20_u3_b20 17 20 3 20 sub(R,dot(P,flr(R))) 114820 138858860 o2(x,o2(x,o1(x))) true 78567 78567 0.1122 0.5688 0.8627 0.8014 0.8952 -1 1 2 1 2.876 0.01061 0.01593 0.0654 -0.2007 1 0.00006001 0.01587 0.04173 0.02226 0.1492 2.281 1.455 0.03311 0.0198 1 1 0.04103 0.3352 0.7475 0.05119 0.4183 0.9327 json
t17_x20_u3_b21 17 20 3 21 sub(R,dst(P,flr(R))) 114821 138858861 o2(x,o2(x,o1(x))) true 78575 78575 -0.9922 0.002518 0.9932 0.006751 0.08217 -1 0.3974 1.397 1 0.1543 0.0001094 0.00017 0.001705 -0.2171 1 9.761e-11 0.00009082 0.0008545 0.0002769 0.01664 9.759 0.3905 0.04138 0.01345 1 1 0.0009141 0.008675 0.02459 0.1354 1.285 3.643 json
t17_x20_u3_b22 17 20 3 22 mlt(R,add(P,flr(R))) 114822 138858862 o2(x,o2(x,o1(x))) true 78583 78583 0.04076 0.5364 0.7361 0.6541 0.8088 -1 1 2 1 3.794 0.01627 0.0196 0.09117 -0.09269 1 -0.00006765 0.02028 0.04889 0.02755 0.166 1.821 1.33 0.05483 0.03101 1 1 0.05006 0.4331 1.031 0.07653 0.6622 1.576 json
t17_x20_u3_b23 17 20 3 23 mlt(R,sub(P,flr(R))) 114823 138858863 o2(x,o2(x,o1(x))) true 78591 78591 -0.1668 0.3967 0.733 0.6253 0.7907 -1 1 2 1 3.78 0.01666 0.01946 0.09229 -0.07731 1 -0.00002252 0.0202 0.04963 0.02762 0.1662 1.801 1.613 0.05777 0.03231 1 1 0.05091 0.4452 1.016 0.08142 0.712 1.625 json
t17_x20_u3_b24 17 20 3 24 mlt(R,mlt(P,flr(R))) 114824 138858864 o2(x,o2(x,o1(x))) true 78599 78599 0.03349 0.4667 0.5061 0.4339 0.6587 -1 1 2 1 3.986 0.003153 0.003812 0.04636 -0.09455 1 -0.00000687 0.002479 0.02076 0.004815 0.06939 1.497 0.4661 0.01605 0.005714 1 1 0.01005 0.09897 0.2635 0.02316 0.2281 0.6074 json
t17_x20_u3_b25 17 20 3 25 mlt(R,div(P,flr(R))) 114825 138858865 o2(x,o2(x,o1(x))) true 78607 78607 -0.8667 0.0625 0.99 0.235 0.4848 -1 1 2 1 0.5762 0.02375 0.02257 0.02576 0.02545 1 9.575e-8 0.09737 0.04961 0.04564 0.2136 8.294 2.828 0.1971 0.4144 1 1 0.04269 0.1868 0.415 0.1817 0.7949 1.766 json
t17_x20_u3_b26 17 20 3 26 mlt(R,pow(P,flr(R))) 114826 138858866 o2(x,o2(x,o1(x))) true 78615 78615 -0.4139 0.3086 0.6515 0.4107 0.6408 -1 0.9809 1.981 1 3.055 0.01697 0.01136 0.03724 0.1978 1 0.0000106 0.05655 0.03967 0.02694 0.1641 4.408 2.541 0.06899 0.1377 1 1 0.0322 0.1526 0.4033 0.07842 0.3716 0.9819 json
t17_x20_u3_b27 17 20 3 27 mlt(R,mod(P,flr(R))) 114827 138858867 o2(x,o2(x,o1(x))) true 78623 78623 -0.9297 0 0.9297 0.06532 0.2556 -1 0 1 1 0.3671 0.00548 0.006677 0.01207 -0.09845 1 0 0.02545 0.02431 0.01201 0.1096 9.077 1.414 0.1861 0.3896 1 1 0.01256 0.05287 0.1436 0.1923 0.8093 2.199 json
t17_x20_u3_b28 17 20 3 28 mlt(R,lrg(P,flr(R))) 114828 138858868 o2(x,o2(x,o1(x))) true 78631 78631 -0.0259 0.2244 0.2003 0.1084 0.3292 -0.9986 0.9806 1.979 1 3.471 0.001574 0.001465 0.03348 0.0359 1 -5.686e-7 0.0001812 0.007745 0.001918 0.0438 1.308 0.219 0.02805 0.001672 1 1 0.005937 0.07705 0.1996 0.05479 0.7111 1.842 json
t17_x20_u3_b29 17 20 3 29 mlt(R,eql(P,flr(R))) 114829 138858869 o2(x,o2(x,o1(x))) true 78639 78639 0.002678 0.06361 0.02403 0.009626 0.09811 -0.997 0.8291 1.826 1 0.9302 0.0001692 0.0000859 0.004523 0.3265 1 -0.00001055 0.00001403 0.001032 0.0002345 0.01531 3.386 0.1365 0.0265 0.001457 1 1 0.0006249 0.008107 0.02288 0.06492 0.8421 2.376 json
t17_x20_u3_b30 17 20 3 30 mlt(R,min(P,flr(R))) 114830 138858870 o2(x,o2(x,o1(x))) true 78647 78647 0.1096 0.7231 0.5052 0.3872 0.6222 -1 1 2 1 4.174 0.0083 0.0107 0.06219 -0.1264 1 -0.00002917 0.01011 0.02833 0.01513 0.123 1.978 1.294 0.04908 0.02612 1 1 0.02818 0.2451 0.5401 0.07279 0.6332 1.395 json
t17_x20_u3_b31 17 20 3 31 mlt(R,dot(P,flr(R))) 114831 138858871 o2(x,o2(x,o1(x))) true 78655 78655 0.02932 0.4994 0.6431 0.5653 0.7519 -1 1 2 1 3.962 0.008386 0.008405 0.06642 -0.001124 1 0.00003982 0.008026 0.03296 0.01238 0.1113 1.675 1.524 0.0297 0.0142 1 1 0.02175 0.2059 0.5869 0.03848 0.3642 1.038 json
t17_x20_u3_b32 17 20 3 32 mlt(R,dst(P,flr(R))) 114832 138858872 o2(x,o2(x,o1(x))) true 78663 78663 -0.01523 0.4951 0.8642 0.82 0.9056 -1 1 2 1 2.783 0.02693 0.0304 0.1023 -0.06059 1 0.000076 0.04348 0.07305 0.04688 0.2165 2.117 1.88 0.06991 0.05302 1 1 0.07926 0.6192 1.392 0.09666 0.7551 1.697 json
t17_x20_u3_b33 17 20 3 33 div(R,add(P,flr(R))) 114833 138858873 o2(x,o2(x,o1(x))) true 78671 78671 -0.1136 0.4043 0.2454 0.1522 0.3901 -1 1 2 1 3.633 0.009957 0.01049 0.03042 -0.02623 1 0.000005105 0.04113 0.03015 0.01953 0.1397 4.593 2.828 0.1344 0.2703 1 1 0.0261 0.1195 0.3676 0.1716 0.7853 2.416 json
t17_x20_u3_b34 17 20 3 34 div(R,sub(P,flr(R))) 114834 138858874 o2(x,o2(x,o1(x))) true 78679 78679 -0.1173 0.4144 0.2479 0.1566 0.3958 -1 1 2 1 3.547 0.01162 0.004245 0.02889 0.4648 1 -0.00001918 0.03093 0.02598 0.01503 0.1226 4.243 2.828 0.1013 0.1975 1 1 0.02273 0.1066 0.2843 0.1451 0.6808 1.815 json
t17_x20_u3_b35 17 20 3 35 div(R,mlt(P,flr(R))) 114835 138858875 o2(x,o2(x,o1(x))) true 78687 78687 -0.883 0.05859 0.9444 0.1566 0.3958 -1 1 2 1 0.7568 0.01847 0.01558 0.02297 0.08495 1 1.428e-7 0.07206 0.04516 0.03353 0.1831 7.97 2.828 0.2174 0.46 1 1 0.03308 0.1408 0.2976 0.2112 0.8987 1.9 json
t17_x20_u3_b36 17 20 3 36 div(R,div(P,flr(R))) 114836 138858876 o2(x,o2(x,o1(x))) true 78695 78695 -0.1246 0.4098 0.1915 0.1231 0.3508 -1 0.8909 1.891 1 3.012 0.008364 0.0001087 0.01611 0.9744 1 0.000005707 0.01659 0.01756 0.008214 0.09063 5.625 1.865 0.06885 0.1348 1 1 0.01148 0.04887 0.1863 0.09331 0.3971 1.514 json
t17_x20_u3_b37 17 20 3 37 div(R,pow(P,flr(R))) 114837 138858877 o2(x,o2(x,o1(x))) true 78703 78703 -0.5822 0.2384 0.7837 0.3775 0.6144 -1 0.9791 1.979 1 2.783 0.01674 0.01373 0.05602 0.09885 1 0.0001472 0.04952 0.04574 0.02734 0.1653 2.951 2.36 0.08071 0.1312 1 1 0.03683 0.2362 0.6342 0.09756 0.6257 1.68 json
t17_x20_u3_b38 17 20 3 38 div(R,mod(P,flr(R))) 114838 138858878 o2(x,o2(x,o1(x))) true 78711 78711 -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_u3_b39 17 20 3 39 div(R,lrg(P,flr(R))) 114839 138858879 o2(x,o2(x,o1(x))) true 78719 78719 -0.5521 0.2093 0.7173 0.3323 0.5765 -1 0.9806 1.981 1 3.203 0.005341 0.001961 0.03349 0.463 1 0.000005562 0.009453 0.0147 0.006182 0.07862 2.347 2.097 0.02197 0.02844 1 1 0.01098 0.09044 0.2843 0.03304 0.2721 0.8554 json
t17_x20_u3_b40 17 20 3 40 div(R,eql(P,flr(R))) 114840 138858880 o2(x,o2(x,o1(x))) true 78727 78727 -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_u3_b41 17 20 3 41 div(R,min(P,flr(R))) 114841 138858881 o2(x,o2(x,o1(x))) true 78735 78735 -0.4009 0.2968 0.5905 0.38 0.6164 -1 1 2 1 3.058 0.02836 0.02339 0.03935 0.09592 1 0.000005331 0.1081 0.06007 0.0502 0.2241 5.693 2.828 0.1362 0.2845 1 1 0.05664 0.2437 0.5752 0.1491 0.6414 1.514 json
t17_x20_u3_b42 17 20 3 42 div(R,dot(P,flr(R))) 114842 138858882 o2(x,o2(x,o1(x))) true 78743 78743 -0.6242 0.1996 0.7985 0.3831 0.619 -1 1 2 1 2.001 0.04031 0.03664 0.0564 0.04765 1 -0.000006715 0.1619 0.1058 0.07379 0.2716 4.816 2.828 0.2009 0.4226 1 1 0.0649 0.2756 0.6399 0.1694 0.7194 1.67 json
t17_x20_u3_b43 17 20 3 43 div(R,dst(P,flr(R))) 114843 138858883 o2(x,o2(x,o1(x))) true 78751 78751 -0.00005677 0.4907 0.09029 0.02622 0.1619 -1 1 2 1 2.757 0.002488 0.002504 0.01553 -0.003178 1 0.000001826 0.009826 0.00917 0.004752 0.06893 4.439 2.828 0.1904 0.3747 1 1 0.009181 0.0442 0.08883 0.3502 1.686 3.388 json
t17_x20_u3_b44 17 20 3 44 pow(R,add(P,flr(R))) 114844 138858884 o2(x,o2(x,o1(x))) true 78759 78759 -0.8892 0.05859 0.9936 0.2009 0.4482 -1 1 2 1 0.4208 0.0226 0.01925 0.02218 0.08002 1 0.000004379 0.08795 0.04358 0.04135 0.2033 9.166 2.828 0.2083 0.4379 1 1 0.04189 0.1727 0.4231 0.2085 0.8599 2.106 json
t17_x20_u3_b45 17 20 3 45 pow(R,sub(P,flr(R))) 114845 138858885 o2(x,o2(x,o1(x))) true 78767 78767 -0.8865 0.05859 0.9963 0.2095 0.4577 -1 1 2 1 0.3722 0.02373 0.02002 0.02228 0.08466 1 0.000001838 0.09229 0.04465 0.04325 0.208 9.333 2.828 0.2089 0.4406 1 1 0.04369 0.1796 0.4321 0.2086 0.8574 2.063 json
t17_x20_u3_b46 17 20 3 46 pow(R,mlt(P,flr(R))) 114846 138858886 o2(x,o2(x,o1(x))) true 78775 78775 -0.8516 0.07422 1 0.2749 0.5243 -1 1 2 1 0.3815 0.02494 0.02444 0.02454 0.0102 1 0 0.103 0.04938 0.04875 0.2208 8.996 2.828 0.1796 0.3748 1 1 0.0467 0.1946 0.6445 0.1699 0.7079 2.344 json
t17_x20_u3_b47 17 20 3 47 pow(R,div(P,flr(R))) 114847 138858887 o2(x,o2(x,o1(x))) true 78783 78783 -0.9727 0.01563 0.9883 0.04052 0.2013 -1 0.9997 2 1 0.1994 0.00538 0.002851 0.006186 0.3072 1 3.004e-11 0.01701 0.01066 0.008201 0.09056 14.64 2 0.2032 0.4197 1 1 0.008992 0.03649 0.08813 0.2219 0.9005 2.175 json
t17_x20_u3_b48 17 20 3 48 pow(R,pow(P,flr(R))) 114848 138858888 o2(x,o2(x,o1(x))) true 78791 78791 -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_u3_b49 17 20 3 49 pow(R,mod(P,flr(R))) 114849 138858889 o2(x,o2(x,o1(x))) true 78799 78799 -0.8594 0.07031 1 0.2613 0.5112 -1 1 2 1 0.3671 0.02192 0.02671 0.02415 -0.09845 1 0 0.1018 0.04863 0.04804 0.2192 9.077 2.828 0.1861 0.3896 1 1 0.05025 0.2115 0.5745 0.1923 0.8093 2.199 json
t17_x20_u3_b50 17 20 3 50 pow(R,lrg(P,flr(R))) 114850 138858890 o2(x,o2(x,o1(x))) true 78807 78807 -0.08012 0.4609 0.998 0.9909 0.9955 -1 1 2 1 1.063 0.01614 0.008945 0.01301 0.2867 1 0.000002697 0.05197 0.02581 0.0249 0.1578 12.13 2.828 0.02531 0.05245 1 1 0.03067 0.125 0.4555 0.03095 0.1262 0.4596 json
t17_x20_u3_b51 17 20 3 51 pow(R,eql(P,flr(R))) 114851 138858891 o2(x,o2(x,o1(x))) true 78815 78815 0.8194 0.9141 0.9913 0.3144 0.5607 -1 1 2 1 0.6963 0.01972 0.01113 0.01753 0.2786 1 0.000002063 0.06281 0.03241 0.03056 0.1748 9.974 2.828 0.09811 0.1998 1 1 0.04007 0.1687 0.6834 0.1275 0.5365 2.174 json
t17_x20_u3_b52 17 20 3 52 pow(R,min(P,flr(R))) 114852 138858892 o2(x,o2(x,o1(x))) true 78823 78823 -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_u3_b53 17 20 3 53 pow(R,dot(P,flr(R))) 114853 138858893 o2(x,o2(x,o1(x))) true 78831 78831 -0.8455 0.08203 0.9905 0.2718 0.5214 -1 1 2 1 0.5603 0.02362 0.02502 0.02622 -0.0288 1 -0.000006106 0.1014 0.0506 0.04798 0.219 8.353 2.828 0.1789 0.3732 1 1 0.04461 0.1866 0.6056 0.1641 0.6865 2.228 json
t17_x20_u3_b54 17 20 3 54 pow(R,dst(P,flr(R))) 114854 138858894 o2(x,o2(x,o1(x))) true 78839 78839 -0.949 0.04259 0.965 0.05951 0.244 -1 0.8298 1.83 1 0.3832 0.006261 0.005825 0.01074 0.03603 1 0.000004849 0.0252 0.01991 0.01198 0.1094 10.19 1.925 0.2031 0.4235 1 1 0.01048 0.04539 0.1114 0.1761 0.7627 1.872 json
t17_x20_u3_b55 17 20 3 55 mod(R,add(P,flr(R))) 114855 138858895 o2(x,o2(x,o1(x))) true 78847 78847 -0.1298 0.4247 0.4729 0.3047 0.552 -1 0.9806 1.981 1 4.759 0.0107 0.007253 0.06368 0.1921 1 0.00005347 0.02665 0.0316 0.0139 0.1179 1.851 2.061 0.05892 0.08748 1 1 0.02252 0.1731 0.5092 0.0739 0.568 1.671 json
t17_x20_u3_b56 17 20 3 56 mod(R,sub(P,flr(R))) 114856 138858896 o2(x,o2(x,o1(x))) true 78855 78855 -0.1282 0.4308 0.4752 0.3092 0.556 -1 0.9806 1.981 1 4.739 0.0107 0.006928 0.06371 0.2139 1 0.00005065 0.02627 0.03149 0.01357 0.1165 1.828 2.401 0.05701 0.08496 1 1 0.02624 0.1907 0.5566 0.08486 0.6169 1.8 json
t17_x20_u3_b57 17 20 3 57 mod(R,mlt(P,flr(R))) 114857 138858897 o2(x,o2(x,o1(x))) true 78863 78863 -0.9688 0 0.9688 0.01813 0.1347 -1 -0.007164 0.9928 1 0.5912 0.001765 0.001754 0.007173 0.003137 1 -0.000001442 0.007201 0.01119 0.003468 0.05889 8.21 1.289 0.1941 0.3971 1 1 0.003832 0.01652 0.03778 0.2113 0.9109 2.084 json
t17_x20_u3_b58 17 20 3 58 mod(R,div(P,flr(R))) 114858 138858898 o2(x,o2(x,o1(x))) true 78871 78871 -0.9688 0 0.9688 0.01813 0.1347 -1 -0.007164 0.9928 1 0.5912 0.001765 0.001754 0.007173 0.003137 1 -0.000001442 0.007201 0.01119 0.003468 0.05889 8.21 1.289 0.1941 0.3971 1 1 0.003832 0.01652 0.03778 0.2113 0.9109 2.084 json
t17_x20_u3_b59 17 20 3 59 mod(R,pow(P,flr(R))) 114859 138858899 o2(x,o2(x,o1(x))) true 78879 78879 -0.414 0.3118 0.6527 0.411 0.6411 -1 0.9809 1.981 1 3.069 0.01696 0.01137 0.03727 0.1974 1 0.000006542 0.05654 0.03967 0.02693 0.1641 4.403 2.541 0.06892 0.1376 1 1 0.03222 0.1531 0.4072 0.07839 0.3725 0.9906 json
t17_x20_u3_b60 17 20 3 60 mod(R,mod(P,flr(R))) 114860 138858900 o2(x,o2(x,o1(x))) true 78887 78887 -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_u3_b61 17 20 3 61 mod(R,lrg(P,flr(R))) 114861 138858901 o2(x,o2(x,o1(x))) true 78895 78895 -0.5521 0.2093 0.7173 0.3323 0.5765 -1 0.9806 1.981 1 3.203 0.005341 0.001961 0.03349 0.463 1 0.000005562 0.009453 0.0147 0.006182 0.07862 2.347 2.097 0.02197 0.02844 1 1 0.01098 0.09044 0.2843 0.03304 0.2721 0.8554 json
t17_x20_u3_b62 17 20 3 62 mod(R,eql(P,flr(R))) 114862 138858902 o2(x,o2(x,o1(x))) true 78903 78903 -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_u3_b63 17 20 3 63 mod(R,min(P,flr(R))) 114863 138858903 o2(x,o2(x,o1(x))) true 78911 78911 -0.5163 0.238 0.7111 0.3591 0.5992 -1 0.9693 1.969 1 3.375 0.006183 0.003181 0.0358 0.3206 1 0.00003144 0.01369 0.01973 0.008082 0.0899 2.511 1.898 0.02608 0.03813 1 1 0.01362 0.09908 0.2744 0.03792 0.2759 0.7641 json
t17_x20_u3_b64 17 20 3 64 mod(R,dot(P,flr(R))) 114864 138858904 o2(x,o2(x,o1(x))) true 78919 78919 -0.826 0.05618 0.8601 0.1366 0.3697 -1 0.9688 1.969 1 1.867 0.01468 0.01283 0.03632 0.06733 1 0.000002897 0.05553 0.05141 0.02621 0.1619 4.457 1.969 0.2014 0.4064 1 1 0.02268 0.1048 0.2324 0.166 0.7667 1.701 json
t17_x20_u3_b65 17 20 3 65 mod(R,dst(P,flr(R))) 114865 138858905 o2(x,o2(x,o1(x))) true 78927 78927 -0.01049 0.4867 0.4033 0.2313 0.4809 -1 0.9806 1.981 1 4.883 0.004686 0.004428 0.06429 0.02834 1 0.00002651 0.007044 0.01881 0.004981 0.07057 1.098 1.898 0.03941 0.03046 1 1 0.01712 0.1679 0.4555 0.07401 0.7259 1.97 json
t17_x20_u3_b66 17 20 3 66 lrg(R,add(P,flr(R))) 114866 138858906 o2(x,o2(x,o1(x))) true 78935 78935 0.5313 0.5625 0.5313 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_u3_b67 17 20 3 67 lrg(R,sub(P,flr(R))) 114867 138858907 o2(x,o2(x,o1(x))) true 78943 78943 0.4688 0.5328 0.4688 0.2351 0.4849 0 1 1 1 1.602 0.0004195 0.0002457 0.007798 0.2613 1 -0.00001711 0.0000372 0.001876 0.0006046 0.02459 3.153 0.1169 0.00283 0.0001582 1 1 0.001801 0.02353 0.1025 0.007662 0.1001 0.4361 json
t17_x20_u3_b68 17 20 3 68 lrg(R,mlt(P,flr(R))) 114868 138858908 o2(x,o2(x,o1(x))) true 78951 78951 0.7363 0.9543 0.7363 0.1447 0.3803 0 1 1 1 2.355 0.001091 0.001231 0.0271 -0.06028 1 0.000006427 0.0001306 0.006538 0.001588 0.03985 1.47 0.1169 0.01605 0.0009026 1 1 0.004732 0.06061 0.1846 0.03271 0.419 1.276 json
t17_x20_u3_b69 17 20 3 69 lrg(R,div(P,flr(R))) 114869 138858909 o2(x,o2(x,o1(x))) true 78959 78959 0.5215 0.9288 0.5215 0.1546 0.3932 0 1 1 1 3.414 0.001912 0.002433 0.05092 -0.1198 1 0.00003066 0.0002568 0.0124 0.001753 0.04187 0.8222 0.1169 0.02811 0.001662 1 1 0.008497 0.1095 0.3067 0.05497 0.7083 1.984 json
t17_x20_u3_b70 17 20 3 70 lrg(R,pow(P,flr(R))) 114870 138858910 o2(x,o2(x,o1(x))) true 78967 78967 0.2285 0.4407 0.2285 0.1331 0.3648 0 1 1 1 2.142 0.0008962 0.001126 0.02361 -0.1136 1 -0.00001213 0.0001138 0.005698 0.001464 0.03826 1.621 0.1169 0.0152 0.0008552 1 1 0.003921 0.05008 0.16 0.02947 0.3764 1.202 json
t17_x20_u3_b71 17 20 3 71 lrg(R,mod(P,flr(R))) 114871 138858911 o2(x,o2(x,o1(x))) true 78975 78975 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_x20_u3_b72 17 20 3 72 lrg(R,lrg(P,flr(R))) 114872 138858912 o2(x,o2(x,o1(x))) true 78983 78983 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_u3_b73 17 20 3 73 lrg(R,eql(P,flr(R))) 114873 138858913 o2(x,o2(x,o1(x))) true 78991 78991 0.4551 0.9009 0.4551 0.1532 0.3914 0 1 1 1 3.405 0.002041 0.002332 0.05121 -0.06649 1 -0.00001211 0.0002549 0.01243 0.001751 0.04185 0.8172 0.1169 0.02854 0.001664 1 1 0.008456 0.1088 0.2655 0.05518 0.7103 1.733 json
t17_x20_u3_b74 17 20 3 74 lrg(R,min(P,flr(R))) 114874 138858914 o2(x,o2(x,o1(x))) true 78999 78999 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_u3_b75 17 20 3 75 lrg(R,dot(P,flr(R))) 114875 138858915 o2(x,o2(x,o1(x))) true 79007 79007 0.625 0.9312 0.625 0.1684 0.4104 0 1 1 1 2.86 0.00129 0.001804 0.03602 -0.1664 1 0.00001497 0.0001741 0.008694 0.001796 0.04238 1.177 0.1169 0.01837 0.001034 1 1 0.006181 0.07953 0.2177 0.0367 0.4723 1.293 json
t17_x20_u3_b76 17 20 3 76 lrg(R,dst(P,flr(R))) 114876 138858916 o2(x,o2(x,o1(x))) true 79015 79015 0.003906 0.01477 0.003906 0.002383 0.04882 0 0.9994 0.9994 1 0.1068 0.00003512 0.00003512 0.0008419 7.252e-7 0 -5.638e-14 0.000004222 0.000206 0.0000694 0.008331 9.896 0.1169 0.02947 0.001772 1 1 0.0002443 0.003178 0.008708 0.1025 1.334 3.654 json
t17_x20_u3_b77 17 20 3 77 eql(R,add(P,flr(R))) 114877 138858917 o2(x,o2(x,o1(x))) true 79023 79023 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_u3_b78 17 20 3 78 eql(R,sub(P,flr(R))) 114878 138858918 o2(x,o2(x,o1(x))) true 79031 79031 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_u3_b79 17 20 3 79 eql(R,mlt(P,flr(R))) 114879 138858919 o2(x,o2(x,o1(x))) true 79039 79039 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_u3_b80 17 20 3 80 eql(R,div(P,flr(R))) 114880 138858920 o2(x,o2(x,o1(x))) true 79047 79047 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_u3_b81 17 20 3 81 eql(R,pow(P,flr(R))) 114881 138858921 o2(x,o2(x,o1(x))) true 79055 79055 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_u3_b82 17 20 3 82 eql(R,mod(P,flr(R))) 114882 138858922 o2(x,o2(x,o1(x))) true 79063 79063 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_u3_b83 17 20 3 83 eql(R,lrg(P,flr(R))) 114883 138858923 o2(x,o2(x,o1(x))) true 79071 79071 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_u3_b84 17 20 3 84 eql(R,eql(P,flr(R))) 114884 138858924 o2(x,o2(x,o1(x))) true 79079 79079 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_u3_b85 17 20 3 85 eql(R,min(P,flr(R))) 114885 138858925 o2(x,o2(x,o1(x))) true 79087 79087 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_u3_b86 17 20 3 86 eql(R,dot(P,flr(R))) 114886 138858926 o2(x,o2(x,o1(x))) true 79095 79095 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_u3_b87 17 20 3 87 eql(R,dst(P,flr(R))) 114887 138858927 o2(x,o2(x,o1(x))) true 79103 79103 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_u3_b88 17 20 3 88 min(R,add(P,flr(R))) 114888 138858928 o2(x,o2(x,o1(x))) true 79111 79111 -0.5095 0.2226 0.6827 0.3356 0.5793 -1 0.9806 1.981 1 3.463 0.001841 0.001517 0.03461 0.09627 1 -0.000001634 0.0002309 0.008221 0.00216 0.04648 1.343 0.2272 0.01001 0.0006882 1 1 0.00681 0.08711 0.2785 0.02029 0.2596 0.8299 json
t17_x20_u3_b89 17 20 3 89 min(R,sub(P,flr(R))) 114889 138858929 o2(x,o2(x,o1(x))) true 79119 79119 -0.4795 0.2244 0.6539 0.3255 0.5706 -1 0.9806 1.981 1 3.734 0.001673 0.001522 0.03567 0.04735 1 0.000001494 0.0002002 0.008349 0.001923 0.04385 1.229 0.219 0.009813 0.0006149 1 1 0.006391 0.08286 0.269 0.01963 0.2545 0.8263 json
t17_x20_u3_b90 17 20 3 90 min(R,mlt(P,flr(R))) 114890 138858930 o2(x,o2(x,o1(x))) true 79127 79127 -0.4798 0 0.4798 0.1664 0.4079 -1 0 1 1 3.337 0.002689 0.003322 0.03975 -0.1052 1 0.0001528 0.002666 0.01827 0.004432 0.06658 1.675 0.4702 0.03613 0.01602 1 1 0.009895 0.09262 0.1861 0.05947 0.5566 1.119 json
t17_x20_u3_b91 17 20 3 91 min(R,div(P,flr(R))) 114891 138858931 o2(x,o2(x,o1(x))) true 79135 79135 -0.7369 0.1298 0.8527 0.2604 0.5103 -1 0.9789 1.979 1 2.142 0.009931 0.007222 0.04763 0.158 1 0.0001659 0.01656 0.0327 0.01488 0.122 2.561 1.829 0.06587 0.06358 1 1 0.02703 0.2171 0.4515 0.1038 0.8336 1.734 json
t17_x20_u3_b92 17 20 3 92 min(R,pow(P,flr(R))) 114892 138858932 o2(x,o2(x,o1(x))) true 79143 79143 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_x20_u3_b93 17 20 3 93 min(R,mod(P,flr(R))) 114893 138858933 o2(x,o2(x,o1(x))) true 79151 79151 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_x20_u3_b94 17 20 3 94 min(R,lrg(P,flr(R))) 114894 138858934 o2(x,o2(x,o1(x))) true 79159 79159 -0.1361 0.2244 0.3105 0.1484 0.3852 -0.9989 0.9806 1.979 1 4.449 0.001872 0.001879 0.04664 -0.001932 1 0.00001726 0.0002226 0.01081 0.001576 0.0397 0.8513 0.219 0.02529 0.001501 1 1 0.007167 0.09264 0.2444 0.04831 0.6245 1.648 json
t17_x20_u3_b95 17 20 3 95 min(R,eql(P,flr(R))) 114895 138858935 o2(x,o2(x,o1(x))) true 79167 79167 -0.2398 0.03893 0.2616 0.07604 0.2758 -0.9989 0.8291 1.828 1 3.768 0.0008833 0.001036 0.03352 -0.07962 1 0.00001174 0.0001131 0.007811 0.0007962 0.02822 0.8419 0.1724 0.02524 0.001487 1 1 0.003813 0.04919 0.1415 0.05015 0.6469 1.861 json
t17_x20_u3_b96 17 20 3 96 min(R,min(P,flr(R))) 114896 138858936 o2(x,o2(x,o1(x))) true 79175 79175 -0.7578 0 0.7578 0.1282 0.3581 -1 0 1 1 2.446 0.001205 0.001316 0.02956 -0.04423 1 -0.00002994 0.0001512 0.007216 0.001648 0.0406 1.373 0.1169 0.01966 0.001179 1 1 0.005145 0.06684 0.1791 0.04012 0.5213 1.397 json
t17_x20_u3_b97 17 20 3 97 min(R,dot(P,flr(R))) 114897 138858937 o2(x,o2(x,o1(x))) true 79183 79183 -0.55 0.1229 0.6225 0.2385 0.4884 -1 0.9691 1.969 1 3.476 0.003518 0.004218 0.04508 -0.09038 1 0.0001848 0.003287 0.02127 0.005706 0.07554 1.676 0.6698 0.03244 0.01378 1 1 0.01383 0.1293 0.2839 0.058 0.5423 1.191 json
t17_x20_u3_b98 17 20 3 98 min(R,dst(P,flr(R))) 114898 138858938 o2(x,o2(x,o1(x))) true 79191 79191 0.007426 0.4975 0.3936 0.2189 0.4679 -0.9989 0.9806 1.979 1 4.861 0.002826 0.003158 0.06328 -0.05538 1 0.00002651 0.0003511 0.0145 0.00198 0.0445 0.7032 0.2301 0.02733 0.001604 1 1 0.01183 0.1519 0.3904 0.05402 0.6939 1.783 json
t17_x20_u3_b99 17 20 3 99 dot(R,add(P,flr(R))) 114899 138858939 o2(x,o2(x,o1(x))) true 79199 79199 0.0976 0.5576 0.8597 0.8017 0.8954 -1 1 2 1 2.859 0.02366 0.03263 0.1016 -0.1592 1 -0.00005819 0.04305 0.07324 0.04597 0.2144 2.111 1.812 0.07021 0.0537 1 1 0.07016 0.5444 1.262 0.08752 0.679 1.574 json