Laboratory of Babel / Archive / grad-noise-175k

grad-noise-175k

Gradient noise, 175k (run of 2026-09-23) · A complete batch run over 175,797 lattice-noise expressions, with 32 texture diagnostics and a frame of each.

About this collection

This collection is complete and closed. Every expression in the space below was rendered and measured once, in a single batch run. Each row is one expression, and its coordinate links to it running live on uto.run.

The purpose is exploratory. There is no target texture and no attempt to resemble Perlin noise. A constant field, a strongly directional pattern or an odd value distribution is an observation, not a failure. The measurements describe textures so they can be sorted, filtered and compared. They are a lossy fingerprint, not a judgement of quality and not a substitute for looking.

The space

An ither formula with two layers:

  • topo: expression trees of up to 64 nodes, built from unary (o1), binary (o2) and leaf (x) slots
  • expr: fills those slots
    • leaves: P, D, R
    • unary: sqt log frc flr cil sgn nrm
    • binary: add sub mlt div pow mod lrg eql min dot dst

A coordinate t·x·u·b follows the formula's projection: t the topology, x the leaf choices, u the unary choices, b the binary choices. Points outside the space were omitted from the run. Two orderings ride along: ordinal is the point's position in ither's whole enumeration (gaps where points were omitted), and batch index is its place in the batch run's sequence, 0 to 175,796 (the run's inputs.expr, and the number in its frame's file name).

The apparatus

Each expression is evaluated at the corners of a rectangular lattice with quintic blending (LATT.RECT.QUINTIC), over coordinates mlt(C, 8), in a 256 × 256 field #A. One configuration per expression: the dimension and coordinate scale were fixed for the whole run.

Measurements are taken from #A's x channel, its stored values (not a screenshot), at step 7, after which the run moves to the next expression. The frame in each row is that field, remapped for display.

The measurements

Notation: f is the field value, E averages the whole field, and E_I averages the interior (C-space [-0.98, 0.98]², which keeps wrapped edges out of the spatial measures).

Value distribution

key meaning
value_mean, value_abs_mean E[f] and E[|f|]: signed offset, typical distance from zero
value_positive_fraction share of values above 0 (field tolerance 0.0001)
value_variance, value_stddev population variance and SD: contrast
value_min, value_max, value_range sampled extrema and their difference
histogram_entropy_bits entropy of a 32-bin histogram over [−1, 1], 0 (one bin) to 5 (uniform) bits
histogram_probability_sum consistency check, ≈ 1

Local roughness (one-pixel differences dx, dy, and g = √(dx² + dy²))

key meaning
gradient_energy_x, gradient_energy_y E_I[dx²], E_I[dy²]
gradient_magnitude_mean E_I[g]: roughness
gradient_magnitude_variance, _stddev, _max how unevenly that roughness is spread, and its peak
gradient_magnitude_cv SD / mean of g: uneven activity (quiet areas interrupted by edges), independent of amplitude
gradient_axis_bias (Ex − Ey) / (Ex + Ey), −1 to 1: horizontal vs vertical preference. Zero does not mean isotropic (diagonals balance too)
gradient_nonzero_flag 1 if there is any gradient energy at all

Change of slope (four-neighbour Laplacian L)

key meaning
laplacian_mean, laplacian_energy, laplacian_abs_mean E_I[L], E_I[L²], E_I[|L|]. Sharp or high-frequency structure responds; a linear ramp does not

Normalised by contrast (comparable across amplitudes)

key meaning
gradient_energy_over_variance (Ex + Ey) / variance
laplacian_energy_over_variance E_I[L²] / variance
variance_normalization_valid_flag, gradient_cv_valid_flag whether the denominators above are meaningful (> 10⁻¹²). Filter on these before trusting a ratio

Three spatial scales (mean squared difference at a distance, over the central [-0.74, 0.74]²: 2, 8 and 32 pixels at this resolution)

key meaning
scale_diff2_near, _mid, _far raw difference energy at each distance
scale_diff2_near_over_variance, _mid_…, _far_… the same, normalised. Low near and rising far suggests smooth structure; a dip at a longer distance can hint at repetition

Each record's json also holds value_histogram (the 32 bin probabilities) and scale_curve (the three scales with their distances).

Reading them, and their limits

  • Clipping. #A kept its default signed domain, so values outside [−1, 1] were clipped before measuring. The diagnostics describe the clipped texture.
  • Combinations say more than any one key. A large range with modest SD and a high gradient peak suggests a few strong excursions. A broad histogram with low normalised detail suggests smooth variation. Similar roughness with a different CV means the activity is concentrated differently.
  • Entropy is about values, not space. A smooth ramp can have high entropy, and shuffling the pixels would not change it.
  • Raw spatial measures depend on resolution and amplitude. Prefer the normalised keys for detail independent of contrast, after checking the validity flags.
  • Not measured: full orientation, spectra or periodicity, lacunarity, tileability, colour, novelty, aesthetic merit.
  • Validation. The suite compiled and ran on every expression. Systematic numerical controls (constants, ramps, stripes, checkerboards, random pixels) and a comparison against longer settling times were not done before this run. Treat the values as exploratory.

Provenance

  • Apparatus: noiseBatch/one.uto, project SHA-256 b6fc8f27…be04d0
  • Expression corpus: SHA-256 7d3ec029…d72266
  • Run files (canonical), in ~/lab/data/grad-noise-175k/: the enumeration (grad-noise-175k.jsonl), the measurements (grad-noise-175k-output.jsonl, joined on inputs.expr), the formula (grad-noise-175k.manifest.json) and the frames (png/)
175,797 records
coordinate ▲ t x u b expression batch index ordinal topo measured step globalStep value_mean value_positive_fraction value_abs_mean value_variance value_stddev value_min value_max value_range histogram_probability_sum histogram_entropy_bits gradient_energy_x gradient_energy_y gradient_magnitude_mean gradient_axis_bias gradient_nonzero_flag laplacian_mean laplacian_energy laplacian_abs_mean gradient_magnitude_variance gradient_magnitude_stddev gradient_magnitude_cv gradient_magnitude_max gradient_energy_over_variance laplacian_energy_over_variance variance_normalization_valid_flag gradient_cv_valid_flag scale_diff2_near scale_diff2_mid scale_diff2_far scale_diff2_near_over_variance scale_diff2_mid_over_variance scale_diff2_far_over_variance
t17_x17_u4_b120 17 17 4 120 dst(D,dst(R,cil(R))) 112500 138737958 o2(x,o2(x,o1(x))) true 60007 60007 0.994 1 0.994 0.001512 0.03888 0.3452 1 0.6548 1 0.252 0.0001171 0.0001091 0.00273 0.03525 1 -0.00003049 0.0001348 0.002079 0.0002189 0.01479 5.419 0.2129 0.1496 0.08917 1 1 0.000349 0.002055 0.002839 0.2309 1.359 1.878 json
t17_x17_u5_b0 17 17 5 0 add(D,add(R,sgn(R))) 112501 138738039 o2(x,o2(x,o1(x))) true 60015 60015 -0.02501 0.4879 0.8228 0.7619 0.8729 -1 1 2 1 3.26 0.01439 0.01687 0.1067 -0.07919 1 0.00001239 0.006837 0.03882 0.01988 0.141 1.322 0.5183 0.04103 0.008974 1 1 0.06016 0.6226 1.407 0.07896 0.8172 1.847 json
t17_x17_u5_b1 17 17 5 1 add(D,sub(R,sgn(R))) 112502 138738040 o2(x,o2(x,o1(x))) true 60023 60023 0.04412 0.5315 0.3712 0.1997 0.4469 -1 1 2 1 4.827 0.004186 0.003082 0.07405 0.152 1 0.00006196 0.0005972 0.01904 0.001785 0.04225 0.5706 0.2643 0.03639 0.00299 1 1 0.01372 0.1586 0.3517 0.06869 0.7943 1.761 json
t17_x17_u5_b2 17 17 5 2 add(D,mlt(R,sgn(R))) 112503 138738041 o2(x,o2(x,o1(x))) true 60031 60031 0.5163 0.9869 0.5173 0.06114 0.2473 -0.1271 1 1.127 1 3.956 0.002266 0.0007185 0.04782 0.5185 1 -1.174e-7 0.0003548 0.01512 0.0006977 0.02641 0.5524 0.1605 0.04882 0.005803 1 1 0.005472 0.05197 0.09575 0.0895 0.85 1.566 json
t17_x17_u5_b3 17 17 5 3 add(D,div(R,sgn(R))) 112504 138738042 o2(x,o2(x,o1(x))) true 60039 60039 0.5163 0.9869 0.5173 0.06114 0.2473 -0.1271 1 1.127 1 3.956 0.002266 0.0007185 0.04782 0.5185 1 -1.174e-7 0.0003548 0.01512 0.0006977 0.02641 0.5524 0.1605 0.04882 0.005803 1 1 0.005472 0.05197 0.09575 0.0895 0.85 1.566 json
t17_x17_u5_b4 17 17 5 4 add(D,pow(R,sgn(R))) 112505 138738043 o2(x,o2(x,o1(x))) true 60047 60047 -0.9327 0.04285 0.9813 0.1028 0.3207 -1 1 2 1 0.4183 0.01037 0.01039 0.01465 -0.001197 1 -7.243e-7 0.04327 0.02645 0.02056 0.1434 9.788 2.596 0.2019 0.4208 1 1 0.01647 0.07133 0.1735 0.1602 0.6937 1.687 json
t17_x17_u5_b5 17 17 5 5 add(D,mod(R,sgn(R))) 112506 138738044 o2(x,o2(x,o1(x))) true 60055 60055 0.009078 0.4986 0.4013 0.2304 0.48 -1 1 2 1 4.899 0.004471 0.003165 0.07546 0.1709 1 0.00002869 0.0006263 0.01935 0.001942 0.04407 0.584 0.2845 0.03314 0.002718 1 1 0.01508 0.1746 0.3904 0.06546 0.7577 1.694 json
t17_x17_u5_b6 17 17 5 6 add(D,lrg(R,sgn(R))) 112507 138738045 o2(x,o2(x,o1(x))) true 60063 60063 0.5062 0.8656 0.5258 0.1517 0.3895 -0.1454 1 1.145 1 3.999 0.003288 0.002384 0.06236 0.1595 1 0.00002588 0.0006581 0.01749 0.001784 0.04224 0.6773 0.1713 0.03738 0.004338 1 1 0.01096 0.1227 0.2673 0.07224 0.8088 1.762 json
t17_x17_u5_b7 17 17 5 7 add(D,eql(R,sgn(R))) 112508 138738046 o2(x,o2(x,o1(x))) true 60071 60071 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t17_x17_u5_b8 17 17 5 8 add(D,min(R,sgn(R))) 112509 138738047 o2(x,o2(x,o1(x))) true 60079 60079 -0.2443 0.388 0.5884 0.3875 0.6225 -1 1 2 1 4.661 0.006488 0.005969 0.0913 0.04168 1 -0.00001109 0.001071 0.02354 0.004121 0.0642 0.7031 0.2846 0.03215 0.002764 1 1 0.02509 0.3021 0.7296 0.06475 0.7798 1.883 json
t17_x17_u5_b9 17 17 5 9 add(D,dot(R,sgn(R))) 112510 138738048 o2(x,o2(x,o1(x))) true 60087 60087 0.9801 1 0.9801 0.006097 0.07808 0.08814 1 0.9119 1 0.6309 0.0003007 0.0002476 0.006853 0.09667 1 -0.000006666 0.0002516 0.004384 0.0005016 0.0224 3.268 0.2252 0.08993 0.04127 1 1 0.0007194 0.005171 0.007892 0.118 0.8482 1.294 json
t17_x17_u5_b10 17 17 5 10 add(D,dst(R,sgn(R))) 112511 138738049 o2(x,o2(x,o1(x))) true 60095 60095 0.8757 1 0.8757 0.02767 0.1663 0.1187 1 0.8813 1 2.404 0.001278 0.0003865 0.02757 0.5356 1 0.00003583 0.0004267 0.01228 0.000904 0.03007 1.09 0.1673 0.06016 0.01542 1 1 0.003295 0.02849 0.04941 0.1191 1.03 1.786 json
t17_x17_u5_b11 17 17 5 11 sub(D,add(R,sgn(R))) 112512 138738050 o2(x,o2(x,o1(x))) true 60103 60103 0.02541 0.5121 0.823 0.7621 0.873 -1 1 2 1 3.257 0.01428 0.01686 0.1062 -0.08281 1 -0.000003278 0.006825 0.03867 0.01986 0.1409 1.326 0.4898 0.04087 0.008955 1 1 0.05966 0.6186 1.406 0.07829 0.8117 1.845 json
t17_x17_u5_b12 17 17 5 12 sub(D,sub(R,sgn(R))) 112513 138738051 o2(x,o2(x,o1(x))) true 60111 60111 -0.04407 0.466 0.3721 0.2004 0.4477 -1 1 2 1 4.829 0.00422 0.003082 0.07358 0.1558 1 -0.00006197 0.0006024 0.0189 0.001889 0.04346 0.5907 0.2711 0.03643 0.003005 1 1 0.01398 0.1608 0.3517 0.06973 0.8024 1.755 json
t17_x17_u5_b13 17 17 5 13 sub(D,mlt(R,sgn(R))) 112514 138738052 o2(x,o2(x,o1(x))) true 60119 60119 -0.5162 0.01315 0.5172 0.06141 0.2478 -1 0.1125 1.113 1 3.956 0.002283 0.0007182 0.04811 0.5213 1 -0.000004861 0.0003579 0.0152 0.0006861 0.02619 0.5444 0.1658 0.04887 0.005828 1 1 0.005495 0.05232 0.09563 0.08948 0.852 1.557 json
t17_x17_u5_b14 17 17 5 14 sub(D,div(R,sgn(R))) 112515 138738053 o2(x,o2(x,o1(x))) true 60127 60127 -0.5162 0.01315 0.5172 0.06141 0.2478 -1 0.1125 1.113 1 3.956 0.002283 0.0007182 0.04811 0.5213 1 -0.000004861 0.0003579 0.0152 0.0006861 0.02619 0.5444 0.1658 0.04887 0.005828 1 1 0.005495 0.05232 0.09563 0.08948 0.852 1.557 json
t17_x17_u5_b15 17 17 5 15 sub(D,pow(R,sgn(R))) 112516 138738054 o2(x,o2(x,o1(x))) true 60135 60135 -0.9813 0.0003815 0.9813 0.01001 0.1001 -1 0.006778 1.007 1 0.3963 0.001166 0.001018 0.00546 0.06783 1 -0.00002039 0.004368 0.00789 0.002154 0.04641 8.5 1.007 0.2181 0.4362 1 1 0.001471 0.006664 0.01616 0.1469 0.6655 1.614 json
t17_x17_u5_b16 17 17 5 16 sub(D,mod(R,sgn(R))) 112517 138738055 o2(x,o2(x,o1(x))) true 60143 60143 -0.009165 0.5021 0.4005 0.2287 0.4782 -1 1 2 1 4.894 0.004393 0.003164 0.07461 0.1626 1 -0.00003074 0.0006179 0.01902 0.001989 0.0446 0.5978 0.2561 0.03305 0.002702 1 1 0.01479 0.1717 0.3901 0.06468 0.751 1.706 json
t17_x17_u5_b17 17 17 5 17 sub(D,lrg(R,sgn(R))) 112518 138738056 o2(x,o2(x,o1(x))) true 60151 60151 -0.506 0.1368 0.5261 0.1526 0.3906 -1 0.1454 1.145 1 3.995 0.003337 0.002385 0.06259 0.1665 1 -0.00004054 0.0006666 0.01756 0.001805 0.04249 0.6788 0.1713 0.0375 0.004369 1 1 0.0112 0.125 0.2676 0.07343 0.8196 1.754 json
t17_x17_u5_b18 17 17 5 18 sub(D,eql(R,sgn(R))) 112519 138738057 o2(x,o2(x,o1(x))) true 60159 60159 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t17_x17_u5_b19 17 17 5 19 sub(D,min(R,sgn(R))) 112520 138738058 o2(x,o2(x,o1(x))) true 60167 60167 0.2446 0.6112 0.5882 0.3862 0.6215 -1 1 2 1 4.664 0.00641 0.005967 0.09085 0.03574 1 -0.00000314 0.001058 0.02335 0.004122 0.06421 0.7067 0.2844 0.03204 0.002739 1 1 0.02471 0.2986 0.7291 0.06397 0.7731 1.888 json
t17_x17_u5_b20 17 17 5 20 sub(D,dot(R,sgn(R))) 112521 138738059 o2(x,o2(x,o1(x))) true 60175 60175 -0.9801 0 0.9801 0.00604 0.07772 -1 -0.05748 0.9425 1 0.6398 0.0003008 0.0002436 0.006836 0.1051 1 0.00000991 0.0002512 0.0044 0.0004981 0.02232 3.265 0.2208 0.09014 0.04159 1 1 0.0007484 0.005212 0.007913 0.1239 0.863 1.31 json
t17_x17_u5_b21 17 17 5 21 sub(D,dst(R,sgn(R))) 112522 138738060 o2(x,o2(x,o1(x))) true 60183 60183 -0.8762 0 0.8762 0.02747 0.1657 -1 -0.108 0.892 1 2.402 0.001263 0.0003861 0.02724 0.5316 1 -0.000007667 0.0004235 0.01217 0.0009068 0.03011 1.105 0.1769 0.06002 0.01542 1 1 0.003338 0.02876 0.04948 0.1215 1.047 1.801 json
t17_x17_u5_b22 17 17 5 22 mlt(D,add(R,sgn(R))) 112523 138738061 o2(x,o2(x,o1(x))) true 60191 60191 0.003744 0.5073 0.2404 0.1013 0.3183 -0.9273 0.9851 1.912 1 4.314 0.005297 0.001534 0.07485 0.5509 1 -0.0000905 0.0007029 0.02168 0.001228 0.03505 0.4682 0.1982 0.06742 0.006938 1 1 0.01343 0.1496 0.2018 0.1326 1.476 1.992 json
t17_x17_u5_b23 17 17 5 23 mlt(D,sub(R,sgn(R))) 112524 138738062 o2(x,o2(x,o1(x))) true 60199 60199 -0.0007255 0.4983 0.08628 0.01381 0.1175 -0.4619 0.4467 0.9086 1 2.94 0.0007064 0.0002137 0.02616 0.5355 1 0.00001571 0.00009354 0.007513 0.0002359 0.01536 0.5872 0.1042 0.06661 0.006771 1 1 0.001729 0.01943 0.0275 0.1251 1.407 1.991 json
t17_x17_u5_b24 17 17 5 24 mlt(D,mlt(R,sgn(R))) 112525 138738063 o2(x,o2(x,o1(x))) true 60207 60207 -0.0003735 0.4986 0.06368 0.006487 0.08054 -0.2603 0.2539 0.5141 1 2.451 0.0006234 0.00005676 0.02252 0.8331 1 0.000008766 0.00009329 0.00821 0.0001732 0.01316 0.5844 0.06216 0.1049 0.01438 1 1 0.001279 0.01073 0.007503 0.1972 1.654 1.157 json
t17_x17_u5_b25 17 17 5 25 mlt(D,div(R,sgn(R))) 112526 138738064 o2(x,o2(x,o1(x))) true 60215 60215 -0.0003735 0.4986 0.06368 0.006487 0.08054 -0.2603 0.2539 0.5141 1 2.451 0.0006234 0.00005676 0.02252 0.8331 1 0.000008766 0.00009329 0.00821 0.0001732 0.01316 0.5844 0.06216 0.1049 0.01438 1 1 0.001279 0.01073 0.007503 0.1972 1.654 1.157 json
t17_x17_u5_b26 17 17 5 26 mlt(D,pow(R,sgn(R))) 112527 138738065 o2(x,o2(x,o1(x))) true 60223 60223 -0.9572 0.02097 0.9599 0.04114 0.2028 -1 0.1932 1.193 1 0.3605 0.004235 0.004133 0.009124 0.0122 1 -0.000005251 0.01747 0.01696 0.008286 0.09103 9.977 1.399 0.2034 0.4246 1 1 0.006397 0.02727 0.06754 0.1555 0.6628 1.642 json
t17_x17_u5_b27 17 17 5 27 mlt(D,mod(R,sgn(R))) 112528 138738066 o2(x,o2(x,o1(x))) true 60231 60231 0.001509 0.5091 0.09077 0.0151 0.1229 -0.4311 0.4889 0.92 1 3.004 0.0007895 0.0002198 0.02769 0.5645 1 -0.00003739 0.000103 0.008005 0.0002428 0.01558 0.5628 0.08276 0.06684 0.006818 1 1 0.001985 0.02214 0.02942 0.1314 1.466 1.949 json
t17_x17_u5_b28 17 17 5 28 mlt(D,lrg(R,sgn(R))) 112529 138738067 o2(x,o2(x,o1(x))) true 60239 60239 -0.001117 0.4543 0.0854 0.01351 0.1162 -0.2729 0.2729 0.5458 1 2.931 0.0009918 0.0001635 0.02827 0.7169 1 0.00002655 0.0001422 0.009401 0.0003565 0.01888 0.668 0.06407 0.0855 0.01052 1 1 0.002307 0.02204 0.0213 0.1708 1.631 1.577 json
t17_x17_u5_b29 17 17 5 29 mlt(D,eql(R,sgn(R))) 112530 138738068 o2(x,o2(x,o1(x))) true 60247 60247 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x17_u5_b30 17 17 5 30 mlt(D,min(R,sgn(R))) 112531 138738069 o2(x,o2(x,o1(x))) true 60255 60255 0.001685 0.5089 0.1276 0.02813 0.1677 -0.4919 0.4891 0.981 1 3.449 0.001527 0.0004137 0.03953 0.5737 1 -0.00004087 0.0002042 0.01167 0.0003783 0.01945 0.4921 0.1135 0.069 0.007259 1 1 0.00387 0.04239 0.0569 0.1376 1.507 2.023 json
t17_x17_u5_b31 17 17 5 31 mlt(D,dot(R,sgn(R))) 112532 138738070 o2(x,o2(x,o1(x))) true 60263 60263 -0.001105 0.4985 0.1585 0.03538 0.1881 -0.5313 0.5753 1.107 1 3.609 0.004348 0.0001558 0.05918 0.9308 1 0.00002881 0.0006714 0.0229 0.001001 0.03165 0.5347 0.167 0.1273 0.01898 1 1 0.008907 0.06676 0.01999 0.2518 1.887 0.5651 json
t17_x17_u5_b32 17 17 5 32 mlt(D,dst(R,sgn(R))) 112533 138738071 o2(x,o2(x,o1(x))) true 60271 60271 0.0005487 0.5009 0.09752 0.013 0.114 -0.3092 0.3152 0.6243 1 2.867 0.001639 0.000046 0.03639 0.9454 1 -0.00001323 0.0002521 0.01414 0.0003608 0.019 0.522 0.1015 0.1296 0.01939 1 1 0.003141 0.02355 0.006876 0.2416 1.811 0.5289 json
t17_x17_u5_b33 17 17 5 33 div(D,add(R,sgn(R))) 112534 138738072 o2(x,o2(x,o1(x))) true 60279 60279 0.00136 0.5031 0.1088 0.02074 0.144 -0.4517 0.4657 0.9174 1 3.216 0.001075 0.0003232 0.03377 0.5378 1 -0.00003238 0.0001439 0.00976 0.0002581 0.01607 0.4757 0.1058 0.06743 0.006936 1 1 0.002679 0.02993 0.04174 0.1291 1.443 2.012 json
t17_x17_u5_b34 17 17 5 34 div(D,sub(R,sgn(R))) 112535 138738073 o2(x,o2(x,o1(x))) true 60287 60287 0.001746 0.4953 0.5187 0.4106 0.6408 -1 1 2 1 4.474 0.03841 0.01082 0.1333 0.5606 1 0.0004253 0.04389 0.07702 0.03147 0.1774 1.331 2.112 0.1199 0.1069 1 1 0.07192 0.5608 0.8228 0.1752 1.366 2.004 json
t17_x17_u5_b35 17 17 5 35 div(D,mlt(R,sgn(R))) 112536 138738074 o2(x,o2(x,o1(x))) true 60295 60295 -0.001664 0.5008 0.402 0.2842 0.5331 -1 1 2 1 4.474 0.03447 0.006079 0.1186 0.7001 1 0.00003473 0.04014 0.07187 0.02649 0.1627 1.373 2.828 0.1427 0.1412 1 1 0.05322 0.3482 0.4261 0.1873 1.225 1.5 json
t17_x17_u5_b36 17 17 5 36 div(D,div(R,sgn(R))) 112537 138738075 o2(x,o2(x,o1(x))) true 60303 60303 -0.001664 0.5008 0.402 0.2842 0.5331 -1 1 2 1 4.474 0.03447 0.006079 0.1186 0.7001 1 0.00003473 0.04014 0.07187 0.02649 0.1627 1.373 2.828 0.1427 0.1412 1 1 0.05322 0.3482 0.4261 0.1873 1.225 1.5 json
t17_x17_u5_b37 17 17 5 37 div(D,pow(R,sgn(R))) 112538 138738076 o2(x,o2(x,o1(x))) true 60311 60311 -0.9566 0.02148 0.9704 0.04973 0.223 -1 1 2 1 0.4264 0.004835 0.005437 0.01221 -0.05857 1 -0.00003843 0.02037 0.01883 0.01012 0.1006 8.242 2.006 0.2066 0.4096 1 1 0.00814 0.03766 0.09037 0.1637 0.7573 1.817 json
t17_x17_u5_b38 17 17 5 38 div(D,mod(R,sgn(R))) 112539 138738077 o2(x,o2(x,o1(x))) true 60319 60319 -0.003026 0.4966 0.4829 0.3691 0.6075 -1 1 2 1 4.544 0.0323 0.00962 0.1247 0.5411 1 -0.000122 0.0377 0.06814 0.02637 0.1624 1.302 2.033 0.1136 0.1021 1 1 0.06061 0.4731 0.7177 0.1642 1.282 1.944 json
t17_x17_u5_b39 17 17 5 39 div(D,lrg(R,sgn(R))) 112540 138738078 o2(x,o2(x,o1(x))) true 60327 60327 -0.9297 0.03516 0.9363 0.06609 0.2571 -1 0.1454 1.145 1 0.5472 0.005622 0.006765 0.01439 -0.09221 1 0.00002009 0.02568 0.02524 0.01218 0.1104 7.669 1.415 0.1874 0.3886 1 1 0.01289 0.05485 0.1453 0.1951 0.83 2.198 json
t17_x17_u5_b40 17 17 5 40 div(D,eql(R,sgn(R))) 112541 138738079 o2(x,o2(x,o1(x))) true 60335 60335 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x17_u5_b41 17 17 5 41 div(D,min(R,sgn(R))) 112542 138738080 o2(x,o2(x,o1(x))) true 60343 60343 0.0003539 0.4976 0.3243 0.2049 0.4527 -1 1 2 1 4.455 0.01695 0.004081 0.08979 0.612 1 -0.0001294 0.01695 0.0409 0.01297 0.1139 1.268 2.023 0.1026 0.08268 1 1 0.03092 0.246 0.3823 0.1509 1.201 1.866 json
t17_x17_u5_b42 17 17 5 42 div(D,dot(R,sgn(R))) 112543 138738081 o2(x,o2(x,o1(x))) true 60351 60351 0.000623 0.502 0.08409 0.01408 0.1187 -1 1 2 1 2.793 0.001375 0.0001225 0.03075 0.8364 1 -0.00003458 0.000237 0.01168 0.0005519 0.02349 0.7639 0.3704 0.1064 0.01683 1 1 0.002138 0.01667 0.009011 0.1518 1.184 0.6399 json
t17_x17_u5_b43 17 17 5 43 div(D,dst(R,sgn(R))) 112544 138738082 o2(x,o2(x,o1(x))) true 60359 60359 -0.0002795 0.4987 0.1282 0.02819 0.1679 -1 0.9859 1.986 1 3.373 0.002975 0.0001649 0.04719 0.895 1 0.00000423 0.0004482 0.01803 0.0009129 0.03021 0.6403 0.2821 0.1114 0.0159 1 1 0.006856 0.05608 0.0339 0.2433 1.989 1.203 json
t17_x17_u5_b44 17 17 5 44 pow(D,add(R,sgn(R))) 112545 138738083 o2(x,o2(x,o1(x))) true 60367 60367 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x17_u5_b45 17 17 5 45 pow(D,sub(R,sgn(R))) 112546 138738084 o2(x,o2(x,o1(x))) true 60375 60375 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x17_u5_b46 17 17 5 46 pow(D,mlt(R,sgn(R))) 112547 138738085 o2(x,o2(x,o1(x))) true 60383 60383 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x17_u5_b47 17 17 5 47 pow(D,div(R,sgn(R))) 112548 138738086 o2(x,o2(x,o1(x))) true 60391 60391 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x17_u5_b48 17 17 5 48 pow(D,pow(R,sgn(R))) 112549 138738087 o2(x,o2(x,o1(x))) true 60399 60399 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x17_u5_b49 17 17 5 49 pow(D,mod(R,sgn(R))) 112550 138738088 o2(x,o2(x,o1(x))) true 60407 60407 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x17_u5_b50 17 17 5 50 pow(D,lrg(R,sgn(R))) 112551 138738089 o2(x,o2(x,o1(x))) true 60415 60415 -0.6165 0.2109 0.9617 0.5662 0.7525 -1 1 2 1 1.278 0.06203 0.05799 0.07232 0.03372 1 -0.00001894 0.252 0.1311 0.1148 0.3389 4.686 2.828 0.212 0.4451 1 1 0.1206 0.5198 1.207 0.213 0.918 2.132 json
t17_x17_u5_b51 17 17 5 51 pow(D,eql(R,sgn(R))) 112552 138738090 o2(x,o2(x,o1(x))) true 60423 60423 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x17_u5_b52 17 17 5 52 pow(D,min(R,sgn(R))) 112553 138738091 o2(x,o2(x,o1(x))) true 60431 60431 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x17_u5_b53 17 17 5 53 pow(D,dot(R,sgn(R))) 112554 138738092 o2(x,o2(x,o1(x))) true 60439 60439 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x17_u5_b54 17 17 5 54 pow(D,dst(R,sgn(R))) 112555 138738093 o2(x,o2(x,o1(x))) true 60447 60447 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x17_u5_b55 17 17 5 55 mod(D,add(R,sgn(R))) 112556 138738094 o2(x,o2(x,o1(x))) true 60455 60455 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t17_x17_u5_b56 17 17 5 56 mod(D,sub(R,sgn(R))) 112557 138738095 o2(x,o2(x,o1(x))) true 60463 60463 0.0005703 0.5038 0.1118 0.01779 0.1334 -0.2728 0.2724 0.5453 1 3.09 0.004576 0.0001144 0.05115 0.9512 1 -0.00004422 0.006961 0.04784 0.002074 0.04554 0.8903 0.4642 0.2637 0.3913 1 1 0.006396 0.0334 0.01504 0.3595 1.877 0.8456 json
t17_x17_u5_b57 17 17 5 57 mod(D,mlt(R,sgn(R))) 112558 138738096 o2(x,o2(x,o1(x))) true 60471 60471 -0.0003012 0.4979 0.1135 0.01789 0.1337 -0.2728 0.2728 0.5455 1 3.083 0.004647 0.0001074 0.05089 0.9548 1 0.000004165 0.00696 0.04709 0.002165 0.04653 0.9143 0.4963 0.2658 0.3891 1 1 0.006357 0.03391 0.01378 0.3554 1.896 0.7703 json
t17_x17_u5_b58 17 17 5 58 mod(D,div(R,sgn(R))) 112559 138738097 o2(x,o2(x,o1(x))) true 60479 60479 -0.0003012 0.4979 0.1135 0.01789 0.1337 -0.2728 0.2728 0.5455 1 3.083 0.004647 0.0001074 0.05089 0.9548 1 0.000004165 0.00696 0.04709 0.002165 0.04653 0.9143 0.4963 0.2658 0.3891 1 1 0.006357 0.03391 0.01378 0.3554 1.896 0.7703 json
t17_x17_u5_b59 17 17 5 59 mod(D,pow(R,sgn(R))) 112560 138738098 o2(x,o2(x,o1(x))) true 60487 60487 -0.9572 0.02094 0.962 0.04165 0.2041 -1 0.2626 1.263 1 0.3862 0.004411 0.004154 0.01014 0.02992 1 -0.00001281 0.01788 0.01844 0.008458 0.09197 9.067 1.37 0.2056 0.4292 1 1 0.0065 0.02761 0.06833 0.1561 0.6629 1.641 json
t17_x17_u5_b60 17 17 5 60 mod(D,mod(R,sgn(R))) 112561 138738099 o2(x,o2(x,o1(x))) true 60495 60495 -0.0003012 0.4979 0.1135 0.01789 0.1337 -0.2728 0.2728 0.5455 1 3.083 0.004647 0.0001074 0.05089 0.9548 1 0.000004165 0.00696 0.04709 0.002165 0.04653 0.9143 0.4963 0.2658 0.3891 1 1 0.006357 0.03391 0.01378 0.3554 1.896 0.7703 json
t17_x17_u5_b61 17 17 5 61 mod(D,lrg(R,sgn(R))) 112562 138738100 o2(x,o2(x,o1(x))) true 60503 60503 -0.9297 0.03516 0.9363 0.06609 0.2571 -1 0.1454 1.145 1 0.5472 0.005622 0.006765 0.01439 -0.09221 1 0.00002009 0.02568 0.02524 0.01218 0.1104 7.669 1.415 0.1874 0.3886 1 1 0.01289 0.05485 0.1453 0.1951 0.83 2.198 json
t17_x17_u5_b62 17 17 5 62 mod(D,eql(R,sgn(R))) 112563 138738101 o2(x,o2(x,o1(x))) true 60511 60511 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x17_u5_b63 17 17 5 63 mod(D,min(R,sgn(R))) 112564 138738102 o2(x,o2(x,o1(x))) true 60519 60519 -0.000325 0.4973 0.1089 0.01551 0.1245 -0.2728 0.2728 0.5455 1 2.956 0.003102 0.00006673 0.04287 0.9579 1 -0.00003112 0.003361 0.02978 0.001332 0.03649 0.8512 0.3098 0.2043 0.2168 1 1 0.004738 0.02896 0.008398 0.3055 1.867 0.5415 json
t17_x17_u5_b64 17 17 5 64 mod(D,dot(R,sgn(R))) 112565 138738103 o2(x,o2(x,o1(x))) true 60527 60527 -0.00003551 0.5002 0.09724 0.01169 0.1081 -0.2719 0.2719 0.5438 1 2.677 0.001923 0.000005532 0.03781 0.9943 1 0.000006415 0.0007692 0.01689 0.0004994 0.02235 0.5911 0.4806 0.165 0.06581 1 1 0.003455 0.02311 0.0005041 0.2956 1.978 0.04313 json
t17_x17_u5_b65 17 17 5 65 mod(D,dst(R,sgn(R))) 112566 138738104 o2(x,o2(x,o1(x))) true 60535 60535 0.0001274 0.4987 0.1067 0.01448 0.1203 -0.2701 0.2701 0.5401 1 2.869 0.002893 0.00002021 0.04204 0.9861 1 0.000004337 0.002405 0.02399 0.001147 0.03387 0.8055 0.486 0.2012 0.166 1 1 0.004794 0.02867 0.003216 0.3309 1.979 0.2221 json
t17_x17_u5_b66 17 17 5 66 lrg(D,add(R,sgn(R))) 112567 138738105 o2(x,o2(x,o1(x))) true 60543 60543 0.5176 0.9429 0.5176 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_x17_u5_b67 17 17 5 67 lrg(D,sub(R,sgn(R))) 112568 138738106 o2(x,o2(x,o1(x))) true 60551 60551 0.4707 0.9259 0.4707 0.1423 0.3773 0 1 1 1 3.571 0.02142 0.002153 0.08399 0.8174 1 0.00005974 0.04064 0.07422 0.01652 0.1285 1.53 0.9997 0.1656 0.2855 1 1 0.02644 0.148 0.2607 0.1857 1.04 1.832 json
t17_x17_u5_b68 17 17 5 68 lrg(D,mlt(R,sgn(R))) 112569 138738107 o2(x,o2(x,o1(x))) true 60559 60559 0.1348 0.6423 0.1348 0.05182 0.2276 0 0.9994 0.9994 1 2.258 0.01901 0.0006431 0.061 0.9345 1 -0.0003167 0.03795 0.06689 0.01593 0.1262 2.069 0.9991 0.3792 0.7323 1 1 0.01919 0.06753 0.08257 0.3704 1.303 1.593 json
t17_x17_u5_b69 17 17 5 69 lrg(D,div(R,sgn(R))) 112570 138738108 o2(x,o2(x,o1(x))) true 60567 60567 0.1348 0.6423 0.1348 0.05182 0.2276 0 0.9994 0.9994 1 2.258 0.01901 0.0006431 0.061 0.9345 1 -0.0003167 0.03795 0.06689 0.01593 0.1262 2.069 0.9991 0.3792 0.7323 1 1 0.01919 0.06753 0.08257 0.3704 1.303 1.593 json
t17_x17_u5_b70 17 17 5 70 lrg(D,pow(R,sgn(R))) 112571 138738109 o2(x,o2(x,o1(x))) true 60575 60575 0.5768 0.9752 0.5768 0.1518 0.3896 0 1 1 1 3.35 0.01015 0.002268 0.0614 0.6347 1 -0.0000315 0.01717 0.03834 0.00865 0.093 1.515 0.9994 0.0818 0.1131 1 1 0.01515 0.1243 0.2844 0.09979 0.819 1.874 json
t17_x17_u5_b71 17 17 5 71 lrg(D,mod(R,sgn(R))) 112572 138738110 o2(x,o2(x,o1(x))) true 60583 60583 0.5008 0.9274 0.5008 0.1466 0.3828 0 1 1 1 3.529 0.0202 0.00212 0.08084 0.81 1 -0.00001414 0.03816 0.07051 0.01579 0.1257 1.554 0.9997 0.1523 0.2603 1 1 0.02456 0.14 0.2709 0.1675 0.9553 1.848 json
t17_x17_u5_b72 17 17 5 72 lrg(D,lrg(R,sgn(R))) 112573 138738111 o2(x,o2(x,o1(x))) true 60591 60591 0.2432 0.7246 0.2432 0.1087 0.3297 0 0.9997 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 -0.00000142 0.05102 0.06666 0.02362 0.1537 2.186 0.9997 0.2627 0.4693 1 1 0.03085 0.1411 0.1423 0.2838 1.298 1.309 json
t17_x17_u5_b73 17 17 5 73 lrg(D,eql(R,sgn(R))) 112574 138738112 o2(x,o2(x,o1(x))) true 60599 60599 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t17_x17_u5_b74 17 17 5 74 lrg(D,min(R,sgn(R))) 112575 138738113 o2(x,o2(x,o1(x))) true 60607 60607 0.5768 0.9752 0.5768 0.1518 0.3896 0 1 1 1 3.35 0.01015 0.002268 0.0614 0.6347 1 -0.0000315 0.01717 0.03834 0.00865 0.093 1.515 0.9994 0.0818 0.1131 1 1 0.01515 0.1243 0.2844 0.09979 0.819 1.874 json
t17_x17_u5_b75 17 17 5 75 lrg(D,dot(R,sgn(R))) 112576 138738114 o2(x,o2(x,o1(x))) true 60615 60615 0.004014 0.06032 0.004014 0.001262 0.03553 0 0.9264 0.9264 1 0.1649 0.0005308 0.00001867 0.002825 0.932 1 -0.000004077 0.001133 0.003469 0.0005412 0.02326 8.235 0.9264 0.4353 0.8973 1 1 0.0003083 0.0006757 0.001309 0.2442 0.5353 1.037 json
t17_x17_u5_b76 17 17 5 76 lrg(D,dst(R,sgn(R))) 112577 138738115 o2(x,o2(x,o1(x))) true 60623 60623 0.01554 0.2071 0.01554 0.004339 0.06587 0 0.8606 0.8606 1 0.5235 0.002271 0.00005739 0.01132 0.9507 1 -0.00002358 0.004891 0.01399 0.002201 0.04691 4.144 0.8606 0.5367 1.127 1 1 0.002651 0.007373 0.009584 0.611 1.699 2.209 json
t17_x17_u5_b77 17 17 5 77 eql(D,add(R,sgn(R))) 112578 138738116 o2(x,o2(x,o1(x))) true 60631 60631 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x17_u5_b78 17 17 5 78 eql(D,sub(R,sgn(R))) 112579 138738117 o2(x,o2(x,o1(x))) true 60639 60639 0.000082 0.0002441 0.000082 0.00004315 0.006569 0 0.6715 0.6715 1 0.003091 0.00006086 6.316e-7 0.000129 0.9795 0 2.395e-7 0.0001845 0.0002541 0.00006148 0.007841 60.78 0.6519 1.425 4.276 1 1 0 0 0.00003293 0 0 0.7631 json
t17_x17_u5_b79 17 17 5 79 eql(D,mlt(R,sgn(R))) 112580 138738118 o2(x,o2(x,o1(x))) true 60647 60647 0.00004008 0.0002289 0.00004008 0.00001031 0.00321 0 0.3282 0.3282 1 0.002722 0.00001454 1.509e-7 0.00006305 0.9795 0 1.17e-7 0.00004407 0.0001242 0.00001469 0.003832 60.78 0.3186 1.425 4.276 1 1 0 0 0.000007865 0 0 0.7631 json
t17_x17_u5_b80 17 17 5 80 eql(D,div(R,sgn(R))) 112581 138738119 o2(x,o2(x,o1(x))) true 60655 60655 0.00004008 0.0002289 0.00004008 0.00001031 0.00321 0 0.3282 0.3282 1 0.002722 0.00001454 1.509e-7 0.00006305 0.9795 0 1.17e-7 0.00004407 0.0001242 0.00001469 0.003832 60.78 0.3186 1.425 4.276 1 1 0 0 0.000007865 0 0 0.7631 json
t17_x17_u5_b81 17 17 5 81 eql(D,pow(R,sgn(R))) 112582 138738120 o2(x,o2(x,o1(x))) true 60663 60663 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x17_u5_b82 17 17 5 82 eql(D,mod(R,sgn(R))) 112583 138738121 o2(x,o2(x,o1(x))) true 60671 60671 0.00004008 0.0002289 0.00004008 0.00001031 0.00321 0 0.3282 0.3282 1 0.002722 0.00001454 1.509e-7 0.00006305 0.9795 0 1.17e-7 0.00004407 0.0001242 0.00001469 0.003832 60.78 0.3186 1.425 4.276 1 1 0 0 0.000007865 0 0 0.7631 json
t17_x17_u5_b83 17 17 5 83 eql(D,lrg(R,sgn(R))) 112584 138738122 o2(x,o2(x,o1(x))) true 60679 60679 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x17_u5_b84 17 17 5 84 eql(D,eql(R,sgn(R))) 112585 138738123 o2(x,o2(x,o1(x))) true 60687 60687 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x17_u5_b85 17 17 5 85 eql(D,min(R,sgn(R))) 112586 138738124 o2(x,o2(x,o1(x))) true 60695 60695 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x17_u5_b86 17 17 5 86 eql(D,dot(R,sgn(R))) 112587 138738125 o2(x,o2(x,o1(x))) true 60703 60703 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x17_u5_b87 17 17 5 87 eql(D,dst(R,sgn(R))) 112588 138738126 o2(x,o2(x,o1(x))) true 60711 60711 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x17_u5_b88 17 17 5 88 min(D,add(R,sgn(R))) 112589 138738127 o2(x,o2(x,o1(x))) true 60719 60719 -0.6 0.1287 0.6206 0.1827 0.4275 -1 0.1454 1.145 1 3.249 0.003932 0.003864 0.05987 0.008713 1 0.00007647 0.001502 0.02061 0.004211 0.06489 1.084 0.2608 0.04266 0.00822 1 1 0.01481 0.1562 0.3248 0.08106 0.8548 1.778 json
t17_x17_u5_b89 17 17 5 89 min(D,sub(R,sgn(R))) 112590 138738128 o2(x,o2(x,o1(x))) true 60727 60727 -0.2519 0.1735 0.2801 0.06386 0.2527 -0.9967 0.1454 1.142 1 3.954 0.001829 0.0009672 0.04594 0.3083 1 0.000121 0.0002931 0.01363 0.0006857 0.02619 0.57 0.1526 0.04379 0.00459 1 1 0.005137 0.05645 0.1063 0.08044 0.8839 1.665 json
t17_x17_u5_b90 17 17 5 90 min(D,mlt(R,sgn(R))) 112591 138738129 o2(x,o2(x,o1(x))) true 60735 60735 -0.02723 0.4375 0.1048 0.01338 0.1157 -0.2719 0.1454 0.4173 1 2.764 0.001888 0.00002744 0.03922 0.9714 1 0.000041 0.000333 0.01576 0.000378 0.01944 0.4958 0.0851 0.1432 0.02489 1 1 0.003704 0.02564 0.003378 0.2768 1.916 0.2525 json
t17_x17_u5_b91 17 17 5 91 min(D,div(R,sgn(R))) 112592 138738130 o2(x,o2(x,o1(x))) true 60743 60743 -0.02723 0.4375 0.1048 0.01338 0.1157 -0.2719 0.1454 0.4173 1 2.764 0.001888 0.00002744 0.03922 0.9714 1 0.000041 0.000333 0.01576 0.000378 0.01944 0.4958 0.0851 0.1432 0.02489 1 1 0.003704 0.02564 0.003378 0.2768 1.916 0.2525 json
t17_x17_u5_b92 17 17 5 92 min(D,pow(R,sgn(R))) 112593 138738131 o2(x,o2(x,o1(x))) true 60751 60751 -0.01185 0.4726 0.09884 0.01207 0.1099 -0.2718 0.1454 0.4172 1 2.679 0.001743 0.00001529 0.03749 0.9826 1 0.00002252 0.0002903 0.01515 0.000353 0.01879 0.5011 0.0851 0.1456 0.02405 1 1 0.003375 0.02352 0.001879 0.2796 1.948 0.1557 json
t17_x17_u5_b93 17 17 5 93 min(D,mod(R,sgn(R))) 112594 138738132 o2(x,o2(x,o1(x))) true 60759 60759 -0.2802 0.1663 0.3076 0.07392 0.2719 -0.9989 0.1454 1.144 1 4.044 0.001754 0.001001 0.04511 0.2733 1 0.00002083 0.0002816 0.01333 0.00072 0.02683 0.5948 0.1528 0.03727 0.003809 1 1 0.005139 0.05796 0.1186 0.06952 0.784 1.604 json
t17_x17_u5_b94 17 17 5 94 min(D,lrg(R,sgn(R))) 112595 138738133 o2(x,o2(x,o1(x))) true 60767 60767 -0.06955 0.2798 0.1121 0.01344 0.1159 -0.2729 0.1454 0.4183 1 2.895 0.001463 0.00009101 0.03567 0.8829 1 0.0001856 0.0002529 0.01404 0.0002821 0.0168 0.4709 0.0622 0.1156 0.01882 1 1 0.003011 0.02259 0.01093 0.224 1.681 0.8133 json
t17_x17_u5_b95 17 17 5 95 min(D,eql(R,sgn(R))) 112596 138738134 o2(x,o2(x,o1(x))) true 60775 60775 -0.143 0 0.143 0.009237 0.09611 -0.2729 -0.000282 0.2726 1 2.227 0.001451 0 0.03416 1 1 0.0003063 0.0002653 0.01361 0.0002853 0.01689 0.4945 0.06184 0.1571 0.02873 1 1 0.002788 0.01827 0 0.3018 1.978 0 json
t17_x17_u5_b96 17 17 5 96 min(D,min(R,sgn(R))) 112597 138738135 o2(x,o2(x,o1(x))) true 60783 60783 -0.5283 0.1343 0.5501 0.1623 0.4029 -1 0.1454 1.145 1 3.844 0.002944 0.002497 0.06042 0.08205 1 -0.00002184 0.0004129 0.01551 0.001791 0.04232 0.7005 0.1719 0.03352 0.002544 1 1 0.01075 0.131 0.2998 0.06623 0.8073 1.847 json
t17_x17_u5_b97 17 17 5 97 min(D,dot(R,sgn(R))) 112598 138738136 o2(x,o2(x,o1(x))) true 60791 60791 -0.0005916 0.4992 0.09471 0.01092 0.1045 -0.2282 0.1454 0.3736 1 2.569 0.001644 5.435e-7 0.03624 0.9993 1 0.000003488 0.0002593 0.01464 0.0003322 0.01823 0.5029 0.07973 0.1507 0.02375 1 1 0.00317 0.02196 0.00002452 0.2904 2.011 0.002246 json
t17_x17_u5_b98 17 17 5 98 min(D,dst(R,sgn(R))) 112599 138738137 o2(x,o2(x,o1(x))) true 60799 60799 -0.002062 0.4974 0.09588 0.01121 0.1059 -0.2164 0.1454 0.3618 1 2.576 0.00169 0.00000113 0.03674 0.9987 1 0.00000369 0.0002698 0.01487 0.0003422 0.0185 0.5036 0.08523 0.1508 0.02406 1 1 0.00328 0.0227 0.0002159 0.2925 2.025 0.01925 json