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

grad-noise-175k

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

About this collection

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

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

The space

An ither formula with two layers:

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

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

The apparatus

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

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

The measurements

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

Value distribution

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

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

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

Change of slope (four-neighbour Laplacian L)

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

Normalised by contrast (comparable across amplitudes)

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

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

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

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

Reading them, and their limits

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

Provenance

  • Apparatus: noiseBatch/one.uto, project SHA-256 b6fc8f27…be04d0
  • Expression corpus: SHA-256 7d3ec029…d72266
  • Run files (canonical), in ~/lab/data/grad-noise-175k/: the enumeration (grad-noise-175k.jsonl), the measurements (grad-noise-175k-output.jsonl, joined on inputs.expr), the formula (grad-noise-175k.manifest.json) and the frames (png/)
175,797 records
coordinate ▲ t x u b expression batch index ordinal topo measured step globalStep value_mean value_positive_fraction value_abs_mean value_variance value_stddev value_min value_max value_range histogram_probability_sum histogram_entropy_bits gradient_energy_x gradient_energy_y gradient_magnitude_mean gradient_axis_bias gradient_nonzero_flag laplacian_mean laplacian_energy laplacian_abs_mean gradient_magnitude_variance gradient_magnitude_stddev gradient_magnitude_cv gradient_magnitude_max gradient_energy_over_variance laplacian_energy_over_variance variance_normalization_valid_flag gradient_cv_valid_flag scale_diff2_near scale_diff2_mid scale_diff2_far scale_diff2_near_over_variance scale_diff2_mid_over_variance scale_diff2_far_over_variance
t17_x22_u6_b43 17 22 6 43 div(R,dst(D,nrm(D))) 116900 138940288 o2(x,o2(x,o1(x))) true 95207 95207 0.02576 0.5094 0.6335 0.5133 0.7165 -1 1 2 1 4.523 0.07593 0.0774 0.1933 -0.009594 1 0.0001861 0.6848 0.3255 0.116 0.3406 1.762 2.828 0.2987 1.334 1 1 0.1138 0.3389 0.9072 0.2216 0.6602 1.767 json
t17_x22_u6_b44 17 22 6 44 pow(R,add(D,nrm(D))) 116901 138940289 o2(x,o2(x,o1(x))) true 95215 95215 -0.9176 0.04297 0.9965 0.1525 0.3905 -1 1 2 1 0.3287 0.01598 0.01478 0.01701 0.03908 1 -0.000025 0.06441 0.03263 0.03045 0.1745 10.26 2.828 0.2018 0.4225 1 1 0.02385 0.1041 0.2529 0.1564 0.6828 1.659 json
t17_x22_u6_b45 17 22 6 45 pow(R,sub(D,nrm(D))) 116902 138940290 o2(x,o2(x,o1(x))) true 95223 95223 -0.9172 0.04297 0.9969 0.1536 0.3919 -1 1 2 1 0.3297 0.0161 0.0145 0.01688 0.05224 1 8.03e-7 0.06404 0.03233 0.03031 0.1741 10.31 2.699 0.1993 0.4171 1 1 0.02332 0.1031 0.2597 0.1519 0.6712 1.691 json
t17_x22_u6_b46 17 22 6 46 pow(R,mlt(D,nrm(D))) 116903 138940291 o2(x,o2(x,o1(x))) true 95231 95231 -0.9196 0.04297 0.9944 0.1444 0.38 -1 0.9996 2 1 0.3628 0.01686 0.01393 0.01723 0.09515 1 0.00002312 0.06477 0.03238 0.03047 0.1746 10.13 2.824 0.2133 0.4486 1 1 0.02342 0.09746 0.242 0.1622 0.675 1.676 json
t17_x22_u6_b47 17 22 6 47 pow(R,div(D,nrm(D))) 116904 138940292 o2(x,o2(x,o1(x))) true 95239 95239 -0.9244 0.04297 0.9897 0.1282 0.358 -1 0.9972 1.997 1 0.3885 0.01415 0.0139 0.01644 0.008988 1 0.0000213 0.05933 0.03085 0.02776 0.1666 10.14 2.819 0.2188 0.4628 1 1 0.02173 0.08769 0.2158 0.1695 0.6841 1.683 json
t17_x22_u6_b48 17 22 6 48 pow(R,pow(D,nrm(D))) 116905 138940293 o2(x,o2(x,o1(x))) true 95247 95247 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x22_u6_b49 17 22 6 49 pow(R,mod(D,nrm(D))) 116906 138940294 o2(x,o2(x,o1(x))) true 95255 95255 -0.9157 0.04297 0.9984 0.1587 0.3984 -1 1 2 1 0.3041 0.01672 0.01576 0.01682 0.02929 1 0.000003711 0.06821 0.03322 0.03218 0.1794 10.66 2.828 0.2046 0.4297 1 1 0.02487 0.1065 0.2642 0.1567 0.671 1.665 json
t17_x22_u6_b50 17 22 6 50 pow(R,lrg(D,nrm(D))) 116907 138940295 o2(x,o2(x,o1(x))) true 95263 95263 -0.4801 0.2774 0.9651 0.7131 0.8444 -1 1 2 1 1.505 0.3223 0.156 0.2408 0.3476 1 0.0005982 1.509 0.5016 0.4204 0.6484 2.692 2.828 0.6707 2.116 1 1 0.4146 1.017 1.072 0.5814 1.426 1.503 json
t17_x22_u6_b51 17 22 6 51 pow(R,eql(D,nrm(D))) 116908 138940296 o2(x,o2(x,o1(x))) true 95271 95271 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x22_u6_b52 17 22 6 52 pow(R,min(D,nrm(D))) 116909 138940297 o2(x,o2(x,o1(x))) true 95279 95279 -0.9153 0.04297 0.9987 0.1599 0.3999 -1 1 2 1 0.2965 0.01672 0.01592 0.0168 0.02441 1 0.000001496 0.06851 0.03328 0.03234 0.1798 10.71 2.828 0.2041 0.4284 1 1 0.02501 0.1073 0.2667 0.1564 0.671 1.668 json
t17_x22_u6_b53 17 22 6 53 pow(R,dot(D,nrm(D))) 116910 138940298 o2(x,o2(x,o1(x))) true 95287 95287 -0.9244 0.04297 0.9897 0.1282 0.358 -1 0.9972 1.997 1 0.3885 0.01415 0.0139 0.01644 0.008988 1 0.0000213 0.05933 0.03085 0.02776 0.1666 10.14 2.819 0.2188 0.4628 1 1 0.02173 0.08769 0.2158 0.1695 0.6841 1.683 json
t17_x22_u6_b54 17 22 6 54 pow(R,dst(D,nrm(D))) 116911 138940299 o2(x,o2(x,o1(x))) true 95295 95295 -0.9264 0.04297 0.9876 0.122 0.3493 -1 0.972 1.972 1 0.4002 0.01159 0.01158 0.01502 0.00007802 1 -0.000008446 0.04794 0.02777 0.02295 0.1515 10.08 2.648 0.1899 0.393 1 1 0.01842 0.0845 0.2065 0.151 0.6927 1.692 json
t17_x22_u6_b55 17 22 6 55 mod(R,add(D,nrm(D))) 116912 138940300 o2(x,o2(x,o1(x))) true 95303 95303 0.002716 0.4943 0.2928 0.1404 0.3747 -0.9963 0.9746 1.971 1 4.592 0.02531 0.01603 0.1207 0.2247 1 -0.0000855 0.1449 0.178 0.02678 0.1636 1.356 1.194 0.2944 1.032 1 1 0.03869 0.1371 0.2527 0.2755 0.9766 1.8 json
t17_x22_u6_b56 17 22 6 56 mod(R,sub(D,nrm(D))) 116913 138940301 o2(x,o2(x,o1(x))) true 95311 95311 -0.005451 0.4854 0.1436 0.039 0.1975 -0.8443 0.8483 1.693 1 3.639 0.01075 0.01364 0.09654 -0.1184 1 -0.000143 0.09072 0.184 0.01508 0.1228 1.272 1.024 0.6255 2.326 1 1 0.02206 0.05282 0.07423 0.5657 1.354 1.903 json
t17_x22_u6_b57 17 22 6 57 mod(R,mlt(D,nrm(D))) 116914 138940302 o2(x,o2(x,o1(x))) true 95319 95319 -0.003585 0.4798 0.07177 0.0111 0.1053 -0.4485 0.4373 0.8858 1 2.736 0.0051 0.002447 0.0635 0.3515 1 -0.0001339 0.02824 0.1146 0.003515 0.05928 0.9336 0.4616 0.6802 2.546 1 1 0.005786 0.01534 0.02117 0.5215 1.383 1.908 json
t17_x22_u6_b58 17 22 6 58 mod(R,div(D,nrm(D))) 116915 138940303 o2(x,o2(x,o1(x))) true 95327 95327 -0.005796 0.4819 0.1359 0.02813 0.1677 -0.5136 0.5489 1.063 1 3.47 0.007868 0.00792 0.09752 -0.003265 1 0.000007187 0.06249 0.1622 0.006279 0.07924 0.8126 0.5454 0.5612 2.221 1 1 0.01295 0.02971 0.0557 0.4602 1.056 1.98 json
t17_x22_u6_b59 17 22 6 59 mod(R,pow(D,nrm(D))) 116916 138940304 o2(x,o2(x,o1(x))) true 95335 95335 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x22_u6_b60 17 22 6 60 mod(R,mod(D,nrm(D))) 116917 138940305 o2(x,o2(x,o1(x))) true 95343 95343 -0.006128 0.4759 0.09043 0.01497 0.1224 -0.456 0.4355 0.8915 1 2.997 0.006826 0.0002308 0.06348 0.9346 1 -0.00001635 0.01818 0.09722 0.003028 0.05503 0.8669 0.39 0.4714 1.215 1 1 0.005414 0.01632 0.02847 0.3616 1.09 1.902 json
t17_x22_u6_b61 17 22 6 61 mod(R,lrg(D,nrm(D))) 116918 138940306 o2(x,o2(x,o1(x))) true 95351 95351 -0.9608 0.01962 0.9759 0.04594 0.2143 -1 0.9604 1.96 1 0.4255 0.07411 0.01866 0.07208 0.5977 1 0.0005374 0.3153 0.1516 0.08761 0.296 4.106 2.761 2.02 6.863 1 1 0.06464 0.09021 0.01396 1.407 1.964 0.3038 json
t17_x22_u6_b62 17 22 6 62 mod(R,eql(D,nrm(D))) 116919 138940307 o2(x,o2(x,o1(x))) true 95359 95359 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x22_u6_b63 17 22 6 63 mod(R,min(D,nrm(D))) 116920 138940308 o2(x,o2(x,o1(x))) true 95367 95367 -0.003476 0.4814 0.1648 0.05567 0.2359 -0.954 0.9616 1.916 1 3.841 0.01414 0.01148 0.09626 0.1042 1 0.00004558 0.09018 0.1588 0.01635 0.1279 1.328 1.253 0.4602 1.62 1 1 0.02355 0.07288 0.1032 0.423 1.309 1.854 json
t17_x22_u6_b64 17 22 6 64 mod(R,dot(D,nrm(D))) 116921 138940309 o2(x,o2(x,o1(x))) true 95375 95375 -0.005796 0.4819 0.1359 0.02813 0.1677 -0.5136 0.5489 1.063 1 3.47 0.007868 0.00792 0.09752 -0.003265 1 0.000007187 0.06249 0.1622 0.006279 0.07924 0.8126 0.5454 0.5612 2.221 1 1 0.01295 0.02971 0.0557 0.4602 1.056 1.98 json
t17_x22_u6_b65 17 22 6 65 mod(R,dst(D,nrm(D))) 116922 138940310 o2(x,o2(x,o1(x))) true 95383 95383 -0.007968 0.4878 0.214 0.07575 0.2752 -0.9526 0.943 1.896 1 4.157 0.01264 0.01274 0.07946 -0.003969 1 -0.0000117 0.08041 0.1361 0.01907 0.1381 1.738 1.275 0.3351 1.062 1 1 0.02595 0.09333 0.1419 0.3426 1.232 1.873 json
t17_x22_u6_b66 17 22 6 66 lrg(R,add(D,nrm(D))) 116923 138940311 o2(x,o2(x,o1(x))) true 95391 95391 0.5023 0.9781 0.5023 0.1196 0.3459 0 1 1 1 3.668 0.04918 0.01629 0.1359 0.5024 1 0.0001494 0.1863 0.1666 0.04697 0.2167 1.594 1.413 0.5472 1.558 1 1 0.07112 0.2232 0.09852 0.5946 1.866 0.8236 json
t17_x22_u6_b67 17 22 6 67 lrg(R,sub(D,nrm(D))) 116924 138940312 o2(x,o2(x,o1(x))) true 95399 95399 0.5032 0.9223 0.5032 0.1468 0.3831 0 1 1 1 3.518 0.03062 0.02417 0.11 0.1177 1 0.00002833 0.1625 0.141 0.04269 0.2066 1.878 1.414 0.3733 1.107 1 1 0.06019 0.2038 0.2229 0.4101 1.389 1.519 json
t17_x22_u6_b68 17 22 6 68 lrg(R,mlt(D,nrm(D))) 116925 138940313 o2(x,o2(x,o1(x))) true 95407 95407 0.3924 0.7859 0.3924 0.1497 0.3869 0 1 1 1 3.261 0.01537 0.005589 0.07096 0.4666 1 0.0001727 0.0482 0.06616 0.01592 0.1262 1.778 1.409 0.14 0.322 1 1 0.02164 0.1342 0.2776 0.1446 0.8964 1.854 json
t17_x22_u6_b69 17 22 6 69 lrg(R,div(D,nrm(D))) 116926 138940314 o2(x,o2(x,o1(x))) true 95415 95415 0.2942 0.4919 0.2942 0.1378 0.3712 0 0.9999 0.9999 1 2.759 0.01306 0.01301 0.0671 0.001717 1 0.0003325 0.07136 0.08022 0.02157 0.1469 2.189 1.413 0.1892 0.5179 1 1 0.02904 0.1515 0.2556 0.2108 1.1 1.855 json
t17_x22_u6_b70 17 22 6 70 lrg(R,pow(D,nrm(D))) 116927 138940315 o2(x,o2(x,o1(x))) true 95423 95423 0.6394 1 0.6394 0.1332 0.365 0.000291 1 0.9997 1 3.327 0.05594 0.00779 0.1183 0.7555 1 -0.00005099 0.15 0.1455 0.04973 0.223 1.885 1.414 0.4783 1.126 1 1 0.06396 0.2088 0.1248 0.48 1.567 0.9366 json
t17_x22_u6_b71 17 22 6 71 lrg(R,mod(D,nrm(D))) 116928 138940316 o2(x,o2(x,o1(x))) true 95431 95431 0.4991 0.934 0.4991 0.1467 0.383 0 1 1 1 3.526 0.02022 0.002129 0.08108 0.8095 1 0.00001181 0.03822 0.07149 0.01577 0.1256 1.549 0.9997 0.1523 0.2606 1 1 0.02458 0.1401 0.271 0.1676 0.9554 1.848 json
t17_x22_u6_b72 17 22 6 72 lrg(R,lrg(D,nrm(D))) 116929 138940317 o2(x,o2(x,o1(x))) true 95439 95439 0.2432 0.6757 0.2432 0.1091 0.3303 0 1 1 1 2.795 0.02742 0.001193 0.07066 0.9166 1 -0.000001593 0.05108 0.06832 0.02363 0.1537 2.175 1 0.2623 0.4681 1 1 0.03095 0.1419 0.1423 0.2837 1.301 1.305 json
t17_x22_u6_b73 17 22 6 73 lrg(R,eql(D,nrm(D))) 116930 138940318 o2(x,o2(x,o1(x))) true 95447 95447 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t17_x22_u6_b74 17 22 6 74 lrg(R,min(D,nrm(D))) 116931 138940319 o2(x,o2(x,o1(x))) true 95455 95455 0.5915 0.97 0.5915 0.1302 0.3608 0 1 1 1 3.572 0.03049 0.01292 0.1048 0.4049 1 -0.00008328 0.1195 0.1204 0.03243 0.1801 1.719 1.413 0.3334 0.9178 1 1 0.04798 0.1748 0.2063 0.3685 1.342 1.585 json
t17_x22_u6_b75 17 22 6 75 lrg(R,dot(D,nrm(D))) 116932 138940320 o2(x,o2(x,o1(x))) true 95463 95463 0.2942 0.4919 0.2942 0.1378 0.3712 0 0.9999 0.9999 1 2.759 0.01306 0.01301 0.0671 0.001717 1 0.0003325 0.07136 0.08022 0.02157 0.1469 2.189 1.413 0.1892 0.5179 1 1 0.02904 0.1515 0.2556 0.2108 1.1 1.855 json
t17_x22_u6_b76 17 22 6 76 lrg(R,dst(D,nrm(D))) 116933 138940321 o2(x,o2(x,o1(x))) true 95471 95471 0.242 0.8146 0.242 0.1003 0.3167 0 1 1 1 2.92 0.01351 0.01339 0.07505 0.004239 1 -0.000311 0.07783 0.0852 0.02127 0.1458 1.943 1.413 0.2683 0.7761 1 1 0.0301 0.1159 0.1943 0.3001 1.155 1.937 json
t17_x22_u6_b77 17 22 6 77 eql(R,add(D,nrm(D))) 116934 138940322 o2(x,o2(x,o1(x))) true 95479 95479 0.00003797 0.0001068 0.00003797 0.0000222 0.004712 0 0.7977 0.7977 1 0.001772 0.00004582 0.00004582 0.0001338 0 0 0 0.0004582 0.0003135 0.00009163 0.009572 71.54 1.128 4.128 20.64 1 1 0.000004971 0.000004971 0.00002388 0.2239 0.2239 1.076 json
t17_x22_u6_b78 17 22 6 78 eql(R,sub(D,nrm(D))) 116935 138940323 o2(x,o2(x,o1(x))) true 95487 95487 0.0001089 0.0004883 0.0001089 0.00004724 0.006873 0 0.8352 0.8352 1 0.005367 0.00006953 0.00005793 0.0002957 0.09096 1 0.000007927 0.0006934 0.00073 0.0001273 0.01128 38.15 1.181 2.698 14.68 1 1 0.00004311 0.0000403 0.00004657 0.9127 0.8532 0.9858 json
t17_x22_u6_b79 17 22 6 79 eql(R,mlt(D,nrm(D))) 116936 138940324 o2(x,o2(x,o1(x))) true 95495 95495 0.00005811 0.0003357 0.00005811 0.00003713 0.006093 0 0.7742 0.7742 1 0.001885 0.00007664 0.00003855 0.000167 0.3307 1 -5.162e-12 0.0004616 0.000373 0.0001151 0.01073 64.25 1.095 3.103 12.43 1 1 0.00000198 0.000001951 0.000001922 0.05333 0.05255 0.05176 json
t17_x22_u6_b80 17 22 6 80 eql(R,div(D,nrm(D))) 116937 138940325 o2(x,o2(x,o1(x))) true 95503 95503 0.0001031 0.0001831 0.0001031 0.00006479 0.008049 0 0.741 0.741 1 0.002828 0.0001204 0.0001338 0.0003428 -0.05263 1 -0.00002053 0.001324 0.0008307 0.0002539 0.01594 46.49 1.048 3.923 20.44 1 1 0.0001217 0.0001217 0.0001266 1.878 1.878 1.953 json
t17_x22_u6_b81 17 22 6 81 eql(R,pow(D,nrm(D))) 116938 138940326 o2(x,o2(x,o1(x))) true 95511 95511 0.00001202 0.0001831 0.00001202 0.000001952 0.001397 0 0.2239 0.2239 1 0.001444 0.000004029 0.000004029 0.00004235 0 0 0 0.00004029 0.00009923 0.000008055 0.002838 67.02 0.3167 4.129 20.64 1 1 5.611e-7 5.611e-7 8.032e-7 0.2874 0.2874 0.4115 json
t17_x22_u6_b82 17 22 6 82 eql(R,mod(D,nrm(D))) 116939 138940327 o2(x,o2(x,o1(x))) true 95519 95519 0.00003989 0.0001984 0.00003989 0.00001031 0.00321 0 0.3282 0.3282 1 0.002722 0.00001454 1.558e-7 0.0000628 0.9788 0 1.17e-7 0.00004409 0.0001241 0.00001469 0.003832 61.02 0.3186 1.426 4.278 1 1 0 0 0.000007864 0 0 0.7631 json
t17_x22_u6_b83 17 22 6 83 eql(R,lrg(D,nrm(D))) 116940 138940328 o2(x,o2(x,o1(x))) true 95527 95527 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x22_u6_b84 17 22 6 84 eql(R,eql(D,nrm(D))) 116941 138940329 o2(x,o2(x,o1(x))) true 95535 95535 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x22_u6_b85 17 22 6 85 eql(R,min(D,nrm(D))) 116942 138940330 o2(x,o2(x,o1(x))) true 95543 95543 0.0001028 0.0003662 0.0001028 0.00006656 0.008158 0 0.9926 0.9926 1 0.003869 0.0001374 0.0001362 0.000356 0.004459 1 1.877e-12 0.001364 0.0008309 0.0002734 0.01653 46.45 1.404 4.111 20.5 1 1 0.0002308 0.0002308 0.0002023 3.468 3.468 3.04 json
t17_x22_u6_b86 17 22 6 86 eql(R,dot(D,nrm(D))) 116943 138940331 o2(x,o2(x,o1(x))) true 95551 95551 0.0001031 0.0001831 0.0001031 0.00006479 0.008049 0 0.741 0.741 1 0.002828 0.0001204 0.0001338 0.0003428 -0.05263 1 -0.00002053 0.001324 0.0008307 0.0002539 0.01594 46.49 1.048 3.923 20.44 1 1 0.0001217 0.0001217 0.0001266 1.878 1.878 1.953 json
t17_x22_u6_b87 17 22 6 87 eql(R,dst(D,nrm(D))) 116944 138940332 o2(x,o2(x,o1(x))) true 95559 95559 0.0001048 0.0003662 0.0001048 0.00008915 0.009442 0 0.8547 0.8547 1 0.001763 0.0001841 0.0001841 0.0003692 0 1 0 0.001841 0.000865 0.0003679 0.01918 51.95 1.209 4.129 20.64 1 1 0.0001417 0.0001214 0.0001012 1.589 1.362 1.135 json
t17_x22_u6_b88 17 22 6 88 min(R,add(D,nrm(D))) 116945 138940333 o2(x,o2(x,o1(x))) true 95567 95567 -0.4857 0.1514 0.5733 0.1808 0.4253 -1 0.9603 1.96 1 4.393 0.02314 0.004422 0.1191 0.6791 1 0.0002564 0.0235 0.05929 0.01338 0.1157 0.9712 1.527 0.1524 0.1299 1 1 0.04641 0.2845 0.1679 0.2567 1.573 0.9285 json
t17_x22_u6_b89 17 22 6 89 min(R,sub(D,nrm(D))) 116946 138940334 o2(x,o2(x,o1(x))) true 95575 95575 -0.2959 0.1833 0.3776 0.1111 0.3333 -0.9989 0.8479 1.847 1 4.406 0.01166 0.004452 0.08257 0.4474 1 -0.00007857 0.01839 0.03838 0.009296 0.09642 1.168 1.409 0.1451 0.1656 1 1 0.0252 0.1459 0.1366 0.2269 1.314 1.23 json
t17_x22_u6_b90 17 22 6 90 min(R,mlt(D,nrm(D))) 116947 138940335 o2(x,o2(x,o1(x))) true 95583 95583 -0.1639 0.388 0.2687 0.1016 0.3187 -0.9989 0.4953 1.494 1 4.266 0.001963 0.001515 0.0501 0.1288 1 -0.0001844 0.0004177 0.01551 0.0009675 0.0311 0.6208 0.1552 0.03424 0.004112 1 1 0.006551 0.07058 0.1623 0.0645 0.695 1.598 json
t17_x22_u6_b91 17 22 6 91 min(R,div(D,nrm(D))) 116948 138940336 o2(x,o2(x,o1(x))) true 95591 95591 -0.08822 0.4799 0.3042 0.1327 0.3643 -0.9989 0.6098 1.609 1 4.444 0.001892 0.002145 0.05384 -0.06277 1 -0.0002091 0.0004556 0.01577 0.001138 0.03374 0.6267 0.1757 0.03041 0.003432 1 1 0.007763 0.08736 0.2215 0.05848 0.6581 1.669 json
t17_x22_u6_b92 17 22 6 92 min(R,pow(D,nrm(D))) 116949 138940337 o2(x,o2(x,o1(x))) true 95599 95599 -0.03298 0.4898 0.3566 0.1833 0.4281 -0.9989 0.9805 1.979 1 4.765 0.004429 0.003026 0.06542 0.1883 1 -0.00000902 0.004722 0.02364 0.003175 0.05635 0.8614 0.8836 0.04068 0.02577 1 1 0.01279 0.1303 0.3164 0.0698 0.711 1.727 json
t17_x22_u6_b93 17 22 6 93 min(R,mod(D,nrm(D))) 116950 138940338 o2(x,o2(x,o1(x))) true 95607 95607 -0.2799 0.1668 0.3078 0.07403 0.2721 -0.9989 0.1581 1.157 1 4.044 0.001777 0.001007 0.04538 0.2764 1 0.00001762 0.0003385 0.01406 0.0007247 0.02692 0.5933 0.1565 0.0376 0.004573 1 1 0.005178 0.05817 0.1186 0.06995 0.7858 1.602 json
t17_x22_u6_b94 17 22 6 94 min(R,lrg(D,nrm(D))) 116951 138940339 o2(x,o2(x,o1(x))) true 95615 95615 -0.1235 0.3294 0.3171 0.1513 0.3889 -0.9989 0.9805 1.979 1 4.593 0.01139 0.002052 0.06592 0.6947 1 0.00001671 0.01897 0.04275 0.009097 0.09538 1.447 0.9695 0.08887 0.1254 1 1 0.01727 0.126 0.2462 0.1142 0.8328 1.628 json
t17_x22_u6_b95 17 22 6 95 min(R,eql(D,nrm(D))) 116952 138940340 o2(x,o2(x,o1(x))) true 95623 95623 -0.2541 0 0.2541 0.06549 0.2559 -0.9989 0 0.9989 1 3.542 0.000768 0.0009295 0.0314 -0.09514 1 0.00001332 0.00009988 0.007359 0.0007117 0.02668 0.8497 0.1168 0.02592 0.001525 1 1 0.003123 0.04017 0.1061 0.04769 0.6134 1.62 json
t17_x22_u6_b96 17 22 6 96 min(R,min(D,nrm(D))) 116953 138940341 o2(x,o2(x,o1(x))) true 95631 95631 -0.4165 0.1374 0.4375 0.0948 0.3079 -0.999 0.1408 1.14 1 4.182 0.009098 0.003602 0.08122 0.4328 1 -0.0000374 0.01031 0.04199 0.006104 0.07813 0.962 0.8358 0.134 0.1087 1 1 0.02146 0.1326 0.09673 0.2263 1.399 1.02 json
t17_x22_u6_b97 17 22 6 97 min(R,dot(D,nrm(D))) 116954 138940342 o2(x,o2(x,o1(x))) true 95639 95639 -0.08822 0.4799 0.3042 0.1327 0.3643 -0.9989 0.6098 1.609 1 4.444 0.001892 0.002145 0.05384 -0.06277 1 -0.0002091 0.0004556 0.01577 0.001138 0.03374 0.6267 0.1757 0.03041 0.003432 1 1 0.007763 0.08736 0.2215 0.05848 0.6581 1.669 json
t17_x22_u6_b98 17 22 6 98 min(R,dst(D,nrm(D))) 116955 138940343 o2(x,o2(x,o1(x))) true 95647 95647 -0.05788 0.452 0.3603 0.1828 0.4275 -0.9989 0.9552 1.954 1 4.757 0.00271 0.00305 0.06184 -0.05899 1 0.0001614 0.0004425 0.01535 0.001936 0.044 0.7116 0.2152 0.03151 0.002421 1 1 0.01135 0.1392 0.318 0.06211 0.7616 1.74 json
t17_x22_u6_b99 17 22 6 99 dot(R,add(D,nrm(D))) 116956 138940344 o2(x,o2(x,o1(x))) true 95655 95655 0.01304 0.516 0.4932 0.3419 0.5847 -1 1 2 1 4.906 0.01981 0.0196 0.1462 0.00541 1 -0.0003573 0.0279 0.06103 0.01803 0.1343 0.9184 1.532 0.1153 0.08161 1 1 0.06906 0.5818 0.6814 0.202 1.702 1.993 json
t17_x22_u6_b100 17 22 6 100 dot(R,sub(D,nrm(D))) 116957 138940345 o2(x,o2(x,o1(x))) true 95663 95663 -0.005218 0.4867 0.2361 0.09401 0.3066 -1 1 2 1 4.323 0.0111 0.01095 0.09643 0.006882 1 0.0001236 0.02584 0.0423 0.01276 0.1129 1.171 1.486 0.2346 0.2748 1 1 0.03481 0.1889 0.1795 0.3702 2.009 1.91 json
t17_x22_u6_b101 17 22 6 101 dot(R,mlt(D,nrm(D))) 116958 138940346 o2(x,o2(x,o1(x))) true 95671 95671 0.01028 0.5218 0.1235 0.02394 0.1547 -0.4821 0.4661 0.9482 1 3.356 0.0009119 0.0008864 0.03662 0.01417 1 -0.00002222 0.0003655 0.01438 0.0004576 0.02139 0.5842 0.1315 0.07511 0.01527 1 1 0.003311 0.02548 0.04425 0.1383 1.064 1.848 json
t17_x22_u6_b102 17 22 6 102 dot(R,div(D,nrm(D))) 116959 138940347 o2(x,o2(x,o1(x))) true 95679 95679 0.02057 0.5038 0.1984 0.06286 0.2507 -0.8875 0.8358 1.723 1 4.042 0.001211 0.001241 0.04249 -0.012 1 0.00004383 0.0003883 0.01409 0.0006466 0.02543 0.5984 0.1478 0.03901 0.006177 1 1 0.00463 0.0427 0.116 0.07366 0.6792 1.845 json
t17_x22_u6_b103 17 22 6 103 dot(R,pow(D,nrm(D))) 116960 138940348 o2(x,o2(x,o1(x))) true 95687 95687 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x22_u6_b104 17 22 6 104 dot(R,mod(D,nrm(D))) 116961 138940349 o2(x,o2(x,o1(x))) true 95695 95695 0.004162 0.5189 0.1403 0.03118 0.1766 -0.5259 0.5965 1.122 1 3.548 0.001038 0.001048 0.04128 -0.004799 1 -0.0001206 0.0002912 0.01303 0.0003814 0.01953 0.4731 0.1342 0.06689 0.009341 1 1 0.004007 0.04523 0.06346 0.1285 1.451 2.035 json
t17_x22_u6_b105 17 22 6 105 dot(R,lrg(D,nrm(D))) 116962 138940350 o2(x,o2(x,o1(x))) true 95703 95703 0.01335 0.4982 0.3393 0.1922 0.4384 -1 1 2 1 4.739 0.01765 0.01734 0.1056 0.008794 1 0.000008424 0.06075 0.1108 0.02384 0.1544 1.462 1.341 0.182 0.3161 1 1 0.0403 0.2214 0.3618 0.2097 1.152 1.882 json
t17_x22_u6_b106 17 22 6 106 dot(R,eql(D,nrm(D))) 116963 138940351 o2(x,o2(x,o1(x))) true 95711 95711 -0.02962 0.4693 0.3744 0.1997 0.4469 -0.9967 0.9893 1.986 1 4.818 0.003 0.00287 0.06261 0.02222 1 -0.00003178 0.0003527 0.01452 0.001951 0.04417 0.7055 0.2258 0.02939 0.001766 1 1 0.01331 0.1712 0.4269 0.06664 0.857 2.137 json
t17_x22_u6_b107 17 22 6 107 dot(R,min(D,nrm(D))) 116964 138940352 o2(x,o2(x,o1(x))) true 95719 95719 -0.001404 0.5126 0.2718 0.12 0.3464 -1 1 2 1 4.5 0.006752 0.006744 0.08697 0.0006249 1 -0.0001576 0.009669 0.03847 0.005932 0.07702 0.8856 0.9904 0.1125 0.08058 1 1 0.02346 0.186 0.2321 0.1955 1.55 1.934 json
t17_x22_u6_b108 17 22 6 108 dot(R,dot(D,nrm(D))) 116965 138940353 o2(x,o2(x,o1(x))) true 95727 95727 0.007448 0.5155 0.2359 0.09285 0.3047 -1 1 2 1 4.317 0.001823 0.001857 0.05148 -0.009183 1 0.00007775 0.0005888 0.01706 0.00103 0.03209 0.6233 0.1928 0.03963 0.006342 1 1 0.007667 0.0718 0.1801 0.08258 0.7732 1.939 json
t17_x22_u6_b109 17 22 6 109 dot(R,dst(D,nrm(D))) 116966 138940354 o2(x,o2(x,o1(x))) true 95735 95735 0.005946 0.5113 0.3603 0.215 0.4637 -1 1 2 1 4.733 0.004222 0.004419 0.07392 -0.02277 1 0.00001972 0.001292 0.01931 0.003177 0.05636 0.7624 0.3523 0.04019 0.006007 1 1 0.01805 0.2062 0.4104 0.08394 0.9591 1.909 json
t17_x22_u6_b110 17 22 6 110 dst(R,add(D,nrm(D))) 116967 138940355 o2(x,o2(x,o1(x))) true 95743 95743 0.9865 1 0.9865 0.004387 0.06624 0.06225 1 0.9378 1 0.4507 0.001823 0.001749 0.01407 0.02078 1 -0.00006185 0.008445 0.01822 0.003375 0.05809 4.128 1.242 0.8142 1.925 1 1 0.004223 0.008321 0.007662 0.9625 1.896 1.746 json
t17_x22_u6_b111 17 22 6 111 dst(R,sub(D,nrm(D))) 116968 138940356 o2(x,o2(x,o1(x))) true 95751 95751 0.9222 1 0.9222 0.02024 0.1423 0.05643 1 0.9436 1 1.766 0.00232 0.00234 0.03168 -0.004217 1 -0.00002194 0.007714 0.02432 0.003657 0.06048 1.909 1.334 0.2302 0.381 1 1 0.006442 0.03172 0.03594 0.3182 1.567 1.776 json
t17_x22_u6_b112 17 22 6 112 dst(R,mlt(D,nrm(D))) 116969 138940357 o2(x,o2(x,o1(x))) true 95759 95759 0.9156 1 0.9156 0.01891 0.1375 0.07619 1 0.9238 1 1.912 0.0006052 0.0006848 0.02115 -0.06169 1 -0.00006469 0.0004309 0.01076 0.0008423 0.02902 1.372 0.1731 0.06823 0.02279 1 1 0.002241 0.01796 0.03062 0.1185 0.9499 1.62 json
t17_x22_u6_b113 17 22 6 113 dst(R,div(D,nrm(D))) 116970 138940358 o2(x,o2(x,o1(x))) true 95767 95767 0.9337 1 0.9337 0.01668 0.1292 0.06625 1 0.9337 1 1.609 0.0006566 0.0007426 0.01895 -0.06142 1 -0.0001583 0.0005593 0.01065 0.00104 0.03225 1.702 0.206 0.08387 0.03353 1 1 0.002441 0.01859 0.02857 0.1463 1.114 1.713 json
t17_x22_u6_b114 17 22 6 114 dst(R,pow(D,nrm(D))) 116971 138940359 o2(x,o2(x,o1(x))) true 95775 95775 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x22_u6_b115 17 22 6 115 dst(R,mod(D,nrm(D))) 116972 138940360 o2(x,o2(x,o1(x))) true 95783 95783 0.9177 1 0.9177 0.01986 0.1409 0.07175 1 0.9282 1 1.865 0.0006899 0.0007691 0.02216 -0.05431 1 -0.00003516 0.000456 0.0105 0.0009682 0.03112 1.404 0.186 0.07348 0.02297 1 1 0.00255 0.02343 0.0344 0.1284 1.18 1.732 json
t17_x22_u6_b116 17 22 6 116 dst(R,lrg(D,nrm(D))) 116973 138940361 o2(x,o2(x,o1(x))) true 95791 95791 0.9592 1 0.9592 0.01124 0.106 0.1001 1 0.8999 1 1.116 0.002 0.002097 0.01958 -0.02392 1 -0.00004526 0.007791 0.02559 0.003713 0.06093 3.112 0.9105 0.3644 0.6929 1 1 0.004299 0.01718 0.02022 0.3824 1.528 1.798 json
t17_x22_u6_b117 17 22 6 117 dst(R,eql(D,nrm(D))) 116974 138940362 o2(x,o2(x,o1(x))) true 95799 95799 0.9684 1 0.9684 0.009182 0.09582 0.2103 1 0.7897 1 0.9061 0.0002907 0.0002713 0.007968 0.03453 1 -0.00004516 0.0002037 0.004353 0.0004984 0.02232 2.802 0.1992 0.0612 0.02219 1 1 0.0009074 0.007818 0.01255 0.09882 0.8515 1.367 json
t17_x22_u6_b118 17 22 6 118 dst(R,min(D,nrm(D))) 116975 138940363 o2(x,o2(x,o1(x))) true 95807 95807 0.9437 1 0.9437 0.0148 0.1217 0.06159 1 0.9384 1 1.428 0.00156 0.001562 0.02415 -0.0006299 1 0.0000123 0.004172 0.0197 0.002537 0.05037 2.086 0.8841 0.2109 0.2819 1 1 0.004423 0.02371 0.02664 0.2988 1.602 1.8 json
t17_x22_u6_b119 17 22 6 119 dst(R,dot(D,nrm(D))) 116976 138940364 o2(x,o2(x,o1(x))) true 95815 95815 0.9515 1 0.9515 0.01228 0.1108 0.02947 1 0.9705 1 1.301 0.0007328 0.0007497 0.0173 -0.01137 1 -0.0002024 0.00076 0.01158 0.001183 0.03439 1.989 0.2467 0.1208 0.06191 1 1 0.002606 0.01735 0.02119 0.2122 1.413 1.726 json
t17_x22_u6_b120 17 22 6 120 dst(R,dst(D,nrm(D))) 116977 138940365 o2(x,o2(x,o1(x))) true 95823 95823 0.9527 1 0.9527 0.01629 0.1276 0.08773 1 0.9123 1 1.164 0.0006899 0.0007871 0.0154 -0.06576 1 0.00002737 0.0006575 0.009841 0.00124 0.03521 2.286 0.2822 0.09065 0.04035 1 1 0.003412 0.02461 0.03702 0.2094 1.51 2.272 json
t17_x23_u0_b0 17 23 0 0 add(R,add(D,sqt(R))) 116978 138979440 o2(x,o2(x,o1(x))) true 95831 95831 -0.9162 0.04297 0.9978 0.1568 0.396 -1 1 2 1 0.3099 0.01598 0.01558 0.01657 0.01263 1 -0.000004317 0.066 0.03259 0.03127 0.1768 10.67 2.828 0.2013 0.421 1 1 0.02467 0.1064 0.2652 0.1573 0.6787 1.691 json
t17_x23_u0_b1 17 23 0 1 add(R,sub(D,sqt(R))) 116979 138979441 o2(x,o2(x,o1(x))) true 95839 95839 -0.9639 0.00383 0.9642 0.02955 0.1719 -1 0.1172 1.117 1 0.3796 0.002999 0.002946 0.008272 0.00892 1 -0.000007196 0.01234 0.01442 0.005872 0.07663 9.263 1.28 0.2012 0.4176 1 1 0.004604 0.01997 0.04939 0.1558 0.676 1.672 json
t17_x23_u0_b2 17 23 0 2 add(R,mlt(D,sqt(R))) 116980 138979442 o2(x,o2(x,o1(x))) true 95847 95847 -0.9328 0.04297 0.9812 0.1024 0.32 -1 1 2 1 0.4171 0.01035 0.01038 0.01444 -0.001556 1 0.000002789 0.04324 0.02632 0.02051 0.1432 9.919 2.599 0.2024 0.4223 1 1 0.01646 0.07103 0.1715 0.1608 0.6938 1.675 json
t17_x23_u0_b3 17 23 0 3 add(R,div(D,sqt(R))) 116981 138979443 o2(x,o2(x,o1(x))) true 95855 95855 -0.9325 0.0415 0.9822 0.1045 0.3233 -1 1 2 1 0.4247 0.01047 0.01072 0.0155 -0.01214 1 -0.000009369 0.04395 0.02696 0.02095 0.1448 9.339 2.593 0.2027 0.4204 1 1 0.01694 0.07407 0.1804 0.162 0.7085 1.726 json
t17_x23_u0_b4 17 23 0 4 add(R,pow(D,sqt(R))) 116982 138979444 o2(x,o2(x,o1(x))) true 95863 95863 -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_x23_u0_b5 17 23 0 5 add(R,mod(D,sqt(R))) 116983 138979445 o2(x,o2(x,o1(x))) true 95871 95871 -0.9328 0.04263 0.9813 0.1029 0.3207 -1 1 2 1 0.4227 0.01047 0.01034 0.01511 0.00659 1 -0.000003597 0.04337 0.02708 0.02059 0.1435 9.499 2.596 0.2023 0.4216 1 1 0.01649 0.07099 0.1726 0.1603 0.6901 1.678 json
t17_x23_u0_b6 17 23 0 6 add(R,lrg(D,sqt(R))) 116984 138979446 o2(x,o2(x,o1(x))) true 95879 95879 0.5501 1 0.5501 0.05231 0.2287 0.001084 1 0.9989 1 3.83 0.003993 0.0007169 0.0382 0.6956 1 0.00001831 0.006937 0.02155 0.003251 0.05702 1.493 0.9966 0.09005 0.1326 1 1 0.005184 0.03884 0.08819 0.09912 0.7426 1.686 json
t17_x23_u0_b7 17 23 0 7 add(R,eql(D,sqt(R))) 116985 138979447 o2(x,o2(x,o1(x))) true 95887 95887 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_x23_u0_b8 17 23 0 8 add(R,min(D,sqt(R))) 116986 138979448 o2(x,o2(x,o1(x))) true 95895 95895 0.005233 0.4947 0.4019 0.231 0.4806 -1 1 2 1 4.9 0.004542 0.003147 0.07572 0.1814 1 0.00003771 0.0006437 0.01961 0.001955 0.04422 0.584 0.2845 0.03329 0.002786 1 1 0.01515 0.1749 0.392 0.0656 0.7572 1.697 json
t17_x23_u0_b9 17 23 0 9 add(R,dot(D,sqt(R))) 116987 138979449 o2(x,o2(x,o1(x))) true 95903 95903 -0.9935 0.003906 0.9987 0.01109 0.1053 -1 1 2 1 0.05053 0.001431 0.001385 0.001843 0.0164 1 0 0.005929 0.003381 0.00281 0.05301 28.76 1.954 0.2539 0.5347 1 1 0.004996 0.02052 0.03897 0.4505 1.851 3.514 json
t17_x23_u0_b10 17 23 0 10 add(R,dst(D,sqt(R))) 116988 138979450 o2(x,o2(x,o1(x))) true 95911 95911 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.002016 0.002016 0.001997 0 1 0 0.008566 0.004031 0.004024 0.06344 31.76 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05496 0.4556 1.823 3.531 json
t17_x23_u0_b11 17 23 0 11 sub(R,add(D,sqt(R))) 116989 138979451 o2(x,o2(x,o1(x))) true 95919 95919 -0.9639 0.004684 0.9643 0.02959 0.172 -1 0.1161 1.116 1 0.3805 0.003028 0.002946 0.008313 0.01367 1 0.00001289 0.01235 0.01445 0.005908 0.07686 9.246 1.367 0.2019 0.4173 1 1 0.004689 0.02058 0.04973 0.1585 0.6958 1.681 json
t17_x23_u0_b12 17 23 0 12 sub(R,sub(D,sqt(R))) 116990 138979452 o2(x,o2(x,o1(x))) true 95927 95927 -0.9163 0.04297 0.9978 0.1568 0.396 -1 1 2 1 0.3061 0.01602 0.01557 0.01658 0.01408 1 0.000003867 0.06603 0.0326 0.03131 0.1769 10.67 2.828 0.2015 0.421 1 1 0.02474 0.1069 0.264 0.1578 0.6816 1.684 json
t17_x23_u0_b13 17 23 0 13 sub(R,mlt(D,sqt(R))) 116991 138979453 o2(x,o2(x,o1(x))) true 95935 95935 -0.9327 0.04297 0.9814 0.103 0.321 -1 1 2 1 0.4165 0.01039 0.0104 0.01451 -0.0003288 1 0.0000174 0.04327 0.02641 0.02057 0.1434 9.88 2.681 0.2018 0.42 1 1 0.01662 0.07279 0.1761 0.1613 0.7064 1.709 json
t17_x23_u0_b14 17 23 0 14 sub(R,div(D,sqt(R))) 116992 138979454 o2(x,o2(x,o1(x))) true 95943 95943 -0.933 0.04068 0.9822 0.1037 0.322 -1 1 2 1 0.4287 0.01056 0.01032 0.01528 0.01148 1 0.00002776 0.0432 0.02662 0.02065 0.1437 9.404 2.687 0.2014 0.4168 1 1 0.0167 0.07261 0.1717 0.1611 0.7005 1.656 json
t17_x23_u0_b15 17 23 0 15 sub(R,pow(D,sqt(R))) 116993 138979455 o2(x,o2(x,o1(x))) true 95951 95951 -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_x23_u0_b16 17 23 0 16 sub(R,mod(D,sqt(R))) 116994 138979456 o2(x,o2(x,o1(x))) true 95959 95959 -0.9327 0.04211 0.9814 0.1033 0.3214 -1 1 2 1 0.4215 0.01053 0.0105 0.01519 0.001485 1 0.00002567 0.04368 0.02725 0.02081 0.1443 9.5 2.684 0.2036 0.4228 1 1 0.01689 0.07389 0.1762 0.1634 0.7151 1.705 json
t17_x23_u0_b17 17 23 0 17 sub(R,lrg(D,sqt(R))) 116995 138979457 o2(x,o2(x,o1(x))) true 95967 95967 -0.372 0.3432 0.6737 0.4284 0.6546 -1 0.9804 1.98 1 3.859 0.009926 0.008077 0.08784 0.1027 1 0.0001578 0.008484 0.037 0.01029 0.1014 1.155 1.002 0.04202 0.0198 1 1 0.03213 0.3442 0.815 0.07499 0.8034 1.902 json
t17_x23_u0_b18 17 23 0 18 sub(R,eql(D,sqt(R))) 116996 138979458 o2(x,o2(x,o1(x))) true 95975 95975 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_x23_u0_b19 17 23 0 19 sub(R,min(D,sqt(R))) 116997 138979459 o2(x,o2(x,o1(x))) true 95983 95983 0.013 0.5024 0.4004 0.2291 0.4786 -1 1 2 1 4.895 0.00445 0.00319 0.07512 0.165 1 0.00002259 0.0006355 0.01938 0.001996 0.04468 0.5948 0.2561 0.03335 0.002774 1 1 0.01492 0.1728 0.3898 0.06512 0.7543 1.701 json
t17_x23_u0_b20 17 23 0 20 sub(R,dot(D,sqt(R))) 116998 138979460 o2(x,o2(x,o1(x))) true 95991 95991 -0.9938 0.003906 0.9984 0.009813 0.09906 -1 0.9578 1.958 1 0.04807 0.001275 0.001345 0.001735 -0.02649 1 -7.509e-12 0.005592 0.003268 0.002614 0.05113 29.47 1.989 0.267 0.5699 1 1 0.004595 0.01794 0.03442 0.4683 1.829 3.508 json
t17_x23_u0_b21 17 23 0 21 sub(R,dst(D,sqt(R))) 116999 138979461 o2(x,o2(x,o1(x))) true 95999 95999 -0.9989 0 0.9989 0.0004066 0.02016 -1 -0.4542 0.5458 1 0.04729 0.00006021 0.00006084 0.0004518 -0.005141 1 -1.126e-11 0.0002461 0.0006796 0.0001207 0.01099 24.31 0.5069 0.2977 0.6052 1 1 0.0002247 0.000865 0.001412 0.5526 2.127 3.474 json