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_x25_u4_b44 17 25 4 44 pow(R,add(R,cil(D))) 119200 139061090 o2(x,o2(x,o1(x))) true 113607 113607 -0.9306 0.04297 0.9835 0.109 0.3301 -1 0.9439 1.944 1 0.405 0.01131 0.01094 0.01463 0.0166 1 0.000002978 0.04647 0.02731 0.02206 0.1485 10.15 2.664 0.2043 0.4265 1 1 0.01736 0.07488 0.1809 0.1594 0.6873 1.66 json
t17_x25_u4_b45 17 25 4 45 pow(R,sub(R,cil(D))) 119201 139061091 o2(x,o2(x,o1(x))) true 113615 113615 -0.9169 0.04297 0.9972 0.1542 0.3926 -1 1 2 1 0.3255 0.01508 0.01509 0.01637 -0.0002404 1 -0.000005884 0.06288 0.03201 0.02989 0.1729 10.56 2.665 0.1957 0.4079 1 1 0.02301 0.1022 0.2595 0.1492 0.6631 1.683 json
t17_x25_u4_b46 17 25 4 46 pow(R,mlt(R,cil(D))) 119202 139061092 o2(x,o2(x,o1(x))) true 113623 113623 -0.5859 0.2188 0.9766 0.6147 0.784 -1 1 2 1 1.22 0.07483 0.05898 0.07336 0.1185 1 -0.000001405 0.2826 0.1421 0.1284 0.3584 4.885 2.828 0.2177 0.4598 1 1 0.138 0.5667 1.343 0.2246 0.922 2.186 json
t17_x25_u4_b47 17 25 4 47 pow(R,div(R,cil(D))) 119203 139061093 o2(x,o2(x,o1(x))) true 113631 113631 -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_x25_u4_b48 17 25 4 48 pow(R,pow(R,cil(D))) 119204 139061094 o2(x,o2(x,o1(x))) true 113639 113639 -0.9279 0.04297 0.9861 0.1169 0.3418 -1 0.9461 1.946 1 0.3939 0.01178 0.0117 0.01487 0.003431 1 0.000008093 0.04901 0.02807 0.02327 0.1526 10.26 2.64 0.2009 0.4195 1 1 0.01817 0.07933 0.1983 0.1555 0.6789 1.697 json
t17_x25_u4_b49 17 25 4 49 pow(R,mod(R,cil(D))) 119205 139061095 o2(x,o2(x,o1(x))) true 113647 113647 -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_x25_u4_b50 17 25 4 50 pow(R,lrg(R,cil(D))) 119206 139061096 o2(x,o2(x,o1(x))) true 113655 113655 0.8913 1 0.8913 0.03405 0.1845 0.003555 1 0.9964 1 2.091 0.007677 0.000429 0.03245 0.8941 1 0.0000198 0.01436 0.03068 0.007055 0.08399 2.588 0.9964 0.2381 0.4217 1 1 0.007879 0.03833 0.04566 0.2314 1.126 1.341 json
t17_x25_u4_b51 17 25 4 51 pow(R,eql(R,cil(D))) 119207 139061097 o2(x,o2(x,o1(x))) true 113663 113663 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_x25_u4_b52 17 25 4 52 pow(R,min(R,cil(D))) 119208 139061098 o2(x,o2(x,o1(x))) true 113671 113671 -0.9188 0.04297 0.9952 0.147 0.3834 -1 1 2 1 0.3482 0.0152 0.01481 0.01635 0.01312 1 3.006e-8 0.06275 0.03177 0.02972 0.1724 10.55 2.828 0.2042 0.427 1 1 0.02313 0.09937 0.2457 0.1574 0.6761 1.672 json
t17_x25_u4_b53 17 25 4 53 pow(R,dot(R,cil(D))) 119209 139061099 o2(x,o2(x,o1(x))) true 113679 113679 -0.8085 0.1016 0.9884 0.3261 0.5711 -1 1 2 1 0.7156 0.03489 0.03924 0.04062 -0.05857 1 -0.000008011 0.1564 0.07937 0.07249 0.2692 6.628 2.828 0.2273 0.4796 1 1 0.06668 0.2805 0.6486 0.2045 0.8603 1.989 json
t17_x25_u4_b54 17 25 4 54 pow(R,dst(R,cil(D))) 119210 139061100 o2(x,o2(x,o1(x))) true 113687 113687 -0.933 0.04297 0.9811 0.1018 0.3191 -1 0.955 1.955 1 0.4152 0.01024 0.01043 0.01417 -0.009028 1 0.000008787 0.04314 0.02626 0.02047 0.1431 10.1 2.581 0.203 0.4237 1 1 0.01681 0.07261 0.1738 0.1651 0.7131 1.707 json
t17_x25_u4_b55 17 25 4 55 mod(R,add(R,cil(D))) 119211 139061101 o2(x,o2(x,o1(x))) true 113695 113695 0.07428 0.5399 0.2025 0.08283 0.2878 -0.9676 0.9809 1.948 1 4.034 0.01109 0.001097 0.05391 0.8199 1 0.000002076 0.02012 0.04335 0.00928 0.09633 1.787 0.9766 0.1471 0.2429 1 1 0.01471 0.09141 0.1671 0.1775 1.104 2.018 json
t17_x25_u4_b56 17 25 4 56 mod(R,sub(R,cil(D))) 119212 139061102 o2(x,o2(x,o1(x))) true 113703 113703 -0.08734 0.4058 0.193 0.07558 0.2749 -0.9987 0.9557 1.954 1 3.942 0.008939 0.001018 0.04938 0.7955 1 0.000006516 0.01605 0.03788 0.007519 0.08671 1.756 0.9987 0.1317 0.2124 1 1 0.01169 0.07545 0.1324 0.1547 0.9982 1.752 json
t17_x25_u4_b57 17 25 4 57 mod(R,mlt(R,cil(D))) 119213 139061103 o2(x,o2(x,o1(x))) true 113711 113711 -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_x25_u4_b58 17 25 4 58 mod(R,div(R,cil(D))) 119214 139061104 o2(x,o2(x,o1(x))) true 113719 113719 -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_x25_u4_b59 17 25 4 59 mod(R,pow(R,cil(D))) 119215 139061105 o2(x,o2(x,o1(x))) true 113727 113727 -0.7713 0.1199 0.8332 0.2111 0.4595 -1 0.94 1.94 1 1.685 0.02259 0.02063 0.04714 0.04536 1 0.000005081 0.09062 0.07807 0.04099 0.2025 4.295 2.701 0.2048 0.4292 1 1 0.04433 0.1897 0.4544 0.21 0.8984 2.152 json
t17_x25_u4_b60 17 25 4 60 mod(R,mod(R,cil(D))) 119216 139061106 o2(x,o2(x,o1(x))) true 113735 113735 -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_x25_u4_b61 17 25 4 61 mod(R,lrg(R,cil(D))) 119217 139061107 o2(x,o2(x,o1(x))) true 113743 113743 -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_x25_u4_b62 17 25 4 62 mod(R,eql(R,cil(D))) 119218 139061108 o2(x,o2(x,o1(x))) true 113751 113751 -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_x25_u4_b63 17 25 4 63 mod(R,min(R,cil(D))) 119219 139061109 o2(x,o2(x,o1(x))) true 113759 113759 -0.7622 0.02663 0.7694 0.1745 0.4177 -1 0.8038 1.804 1 1.502 0.02045 0.01524 0.03951 0.1458 1 -9.636e-7 0.07448 0.07219 0.03414 0.1848 4.677 1.804 0.2046 0.4269 1 1 0.03592 0.1508 0.3269 0.2059 0.8642 1.874 json
t17_x25_u4_b64 17 25 4 64 mod(R,dot(R,cil(D))) 119220 139061110 o2(x,o2(x,o1(x))) true 113767 113767 -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_x25_u4_b65 17 25 4 65 mod(R,dst(R,cil(D))) 119221 139061111 o2(x,o2(x,o1(x))) true 113775 113775 -0.01804 0.4851 0.3744 0.2014 0.4488 -0.9989 0.9806 1.979 1 4.823 0.004337 0.003907 0.06532 0.05216 1 0.00002108 0.006098 0.02381 0.003977 0.06307 0.9654 0.9322 0.04093 0.03028 1 1 0.01322 0.1483 0.3603 0.06563 0.7362 1.789 json
t17_x25_u4_b66 17 25 4 66 lrg(R,add(R,cil(D))) 119222 139061112 o2(x,o2(x,o1(x))) true 113783 113783 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_x25_u4_b67 17 25 4 67 lrg(R,sub(R,cil(D))) 119223 139061113 o2(x,o2(x,o1(x))) true 113791 113791 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_x25_u4_b68 17 25 4 68 lrg(R,mlt(R,cil(D))) 119224 139061114 o2(x,o2(x,o1(x))) true 113799 113799 0.2393 0.7168 0.2393 0.1075 0.3279 0 0.9997 0.9997 1 2.776 0.02734 0.00118 0.06882 0.9172 1 -0.00001639 0.05101 0.06655 0.02378 0.1542 2.241 0.9997 0.2652 0.4744 1 1 0.03061 0.1388 0.1417 0.2847 1.291 1.317 json
t17_x25_u4_b69 17 25 4 69 lrg(R,div(R,cil(D))) 119225 139061115 o2(x,o2(x,o1(x))) true 113807 113807 0.2393 0.7168 0.2393 0.1075 0.3279 0 0.9997 0.9997 1 2.776 0.02734 0.00118 0.06882 0.9172 1 -0.00001639 0.05101 0.06655 0.02378 0.1542 2.241 0.9997 0.2652 0.4744 1 1 0.03061 0.1388 0.1417 0.2847 1.291 1.317 json
t17_x25_u4_b70 17 25 4 70 lrg(R,pow(R,cil(D))) 119226 139061116 o2(x,o2(x,o1(x))) true 113815 113815 0.2568 0.752 0.2568 0.1126 0.3355 0 0.9997 0.9997 1 2.88 0.03004 0.00118 0.07441 0.9244 1 0.000001422 0.05612 0.0721 0.02568 0.1603 2.154 0.9997 0.2773 0.4985 1 1 0.03636 0.1591 0.1423 0.323 1.413 1.264 json
t17_x25_u4_b71 17 25 4 71 lrg(R,mod(R,cil(D))) 119227 139061117 o2(x,o2(x,o1(x))) true 113823 113823 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_x25_u4_b72 17 25 4 72 lrg(R,lrg(R,cil(D))) 119228 139061118 o2(x,o2(x,o1(x))) true 113831 113831 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_x25_u4_b73 17 25 4 73 lrg(R,eql(R,cil(D))) 119229 139061119 o2(x,o2(x,o1(x))) true 113839 113839 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_x25_u4_b74 17 25 4 74 lrg(R,min(R,cil(D))) 119230 139061120 o2(x,o2(x,o1(x))) true 113847 113847 0.2393 0.7168 0.2393 0.1075 0.3279 0 0.9997 0.9997 1 2.776 0.02734 0.00118 0.06882 0.9172 1 -0.00001639 0.05101 0.06655 0.02378 0.1542 2.241 0.9997 0.2652 0.4744 1 1 0.03061 0.1388 0.1417 0.2847 1.291 1.317 json
t17_x25_u4_b75 17 25 4 75 lrg(R,dot(R,cil(D))) 119231 139061121 o2(x,o2(x,o1(x))) true 113855 113855 0.3594 0.8347 0.3594 0.1351 0.3676 0 1 1 1 3.303 0.0196 0.01852 0.08935 0.02834 1 -0.0000164 0.07275 0.09375 0.03013 0.1736 1.943 1.414 0.282 0.5383 1 1 0.03875 0.1812 0.2345 0.2868 1.341 1.735 json
t17_x25_u4_b76 17 25 4 76 lrg(R,dst(R,cil(D))) 119232 139061122 o2(x,o2(x,o1(x))) true 113863 113863 0.04102 0.1516 0.04102 0.02384 0.1544 0 0.9997 0.9997 1 0.7892 0.004074 0.002547 0.01568 0.2308 1 0.000006412 0.01278 0.01692 0.006374 0.07984 5.093 0.9997 0.2777 0.5361 1 1 0.006339 0.03026 0.0409 0.2659 1.269 1.716 json
t17_x25_u4_b77 17 25 4 77 eql(R,add(R,cil(D))) 119233 139061123 o2(x,o2(x,o1(x))) true 113871 113871 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_x25_u4_b78 17 25 4 78 eql(R,sub(R,cil(D))) 119234 139061124 o2(x,o2(x,o1(x))) true 113879 113879 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_x25_u4_b79 17 25 4 79 eql(R,mlt(R,cil(D))) 119235 139061125 o2(x,o2(x,o1(x))) true 113887 113887 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_x25_u4_b80 17 25 4 80 eql(R,div(R,cil(D))) 119236 139061126 o2(x,o2(x,o1(x))) true 113895 113895 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_x25_u4_b81 17 25 4 81 eql(R,pow(R,cil(D))) 119237 139061127 o2(x,o2(x,o1(x))) true 113903 113903 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_x25_u4_b82 17 25 4 82 eql(R,mod(R,cil(D))) 119238 139061128 o2(x,o2(x,o1(x))) true 113911 113911 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_x25_u4_b83 17 25 4 83 eql(R,lrg(R,cil(D))) 119239 139061129 o2(x,o2(x,o1(x))) true 113919 113919 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_x25_u4_b84 17 25 4 84 eql(R,eql(R,cil(D))) 119240 139061130 o2(x,o2(x,o1(x))) true 113927 113927 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_x25_u4_b85 17 25 4 85 eql(R,min(R,cil(D))) 119241 139061131 o2(x,o2(x,o1(x))) true 113935 113935 0.7607 1 0.7607 0.1075 0.3279 0.000291 1 0.9997 1 2.776 0.02734 0.00118 0.06882 0.9172 1 0.00001639 0.05101 0.06655 0.02378 0.1542 2.241 0.9997 0.2652 0.4745 1 1 0.03061 0.1388 0.1417 0.2847 1.291 1.318 json
t17_x25_u4_b86 17 25 4 86 eql(R,dot(R,cil(D))) 119242 139061132 o2(x,o2(x,o1(x))) true 113943 113943 0.25 0.9453 0.25 0.091 0.3017 8.471e-8 0.9994 0.9994 1 3.116 0.02539 0.02539 0.109 0.000001064 1 -1.094e-8 0.1027 0.1304 0.03891 0.1973 1.81 0.9992 0.5581 1.128 1 1 0.05526 0.189 0 0.6073 2.077 0 json
t17_x25_u4_b87 17 25 4 87 eql(R,dst(R,cil(D))) 119243 139061133 o2(x,o2(x,o1(x))) true 113951 113951 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_x25_u4_b88 17 25 4 88 min(R,add(R,cil(D))) 119244 139061134 o2(x,o2(x,o1(x))) true 113959 113959 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_x25_u4_b89 17 25 4 89 min(R,sub(R,cil(D))) 119245 139061135 o2(x,o2(x,o1(x))) true 113967 113967 -0.4226 0.1991 0.5655 0.2483 0.4983 -1 0.9802 1.98 1 4.396 0.04752 0.002554 0.1144 0.898 1 0.00008838 0.08409 0.1105 0.03699 0.1923 1.682 1.023 0.2016 0.3386 1 1 0.05828 0.2809 0.2873 0.2347 1.131 1.157 json
t17_x25_u4_b90 17 25 4 90 min(R,mlt(R,cil(D))) 119246 139061136 o2(x,o2(x,o1(x))) true 113975 113975 -0.1215 0.3377 0.3198 0.1531 0.3913 -0.9989 0.9806 1.979 1 4.608 0.01138 0.002041 0.06656 0.6959 1 0.0000231 0.01894 0.04199 0.008991 0.09482 1.425 0.9687 0.08764 0.1237 1 1 0.01739 0.1281 0.2521 0.1136 0.8362 1.646 json
t17_x25_u4_b91 17 25 4 91 min(R,div(R,cil(D))) 119247 139061137 o2(x,o2(x,o1(x))) true 113983 113983 -0.8178 0.05014 0.8511 0.1372 0.3704 -1 0.9688 1.969 1 1.955 0.02082 0.01152 0.04227 0.2875 1 0.000001631 0.06576 0.06136 0.03057 0.1748 4.136 1.969 0.2358 0.4794 1 1 0.03494 0.1538 0.2725 0.2547 1.121 1.986 json
t17_x25_u4_b92 17 25 4 92 min(R,pow(R,cil(D))) 119248 139061138 o2(x,o2(x,o1(x))) true 113991 113991 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_x25_u4_b93 17 25 4 93 min(R,mod(R,cil(D))) 119249 139061139 o2(x,o2(x,o1(x))) true 113999 113999 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_x25_u4_b94 17 25 4 94 min(R,lrg(R,cil(D))) 119250 139061140 o2(x,o2(x,o1(x))) true 114007 114007 -0.1235 0.3333 0.3169 0.1511 0.3888 -0.9989 0.9805 1.979 1 4.595 0.01138 0.002047 0.06581 0.695 1 0.00001672 0.01894 0.04201 0.009091 0.09535 1.449 0.9695 0.08881 0.1253 1 1 0.01724 0.1257 0.2462 0.114 0.8318 1.629 json
t17_x25_u4_b95 17 25 4 95 min(R,eql(R,cil(D))) 119251 139061141 o2(x,o2(x,o1(x))) true 114015 114015 -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_x25_u4_b96 17 25 4 96 min(R,min(R,cil(D))) 119252 139061142 o2(x,o2(x,o1(x))) true 114023 114023 -0.1215 0.3377 0.3198 0.1531 0.3913 -0.9989 0.9806 1.979 1 4.608 0.01138 0.002041 0.06656 0.6959 1 0.0000231 0.01894 0.04199 0.008991 0.09482 1.425 0.9687 0.08764 0.1237 1 1 0.01739 0.1281 0.2521 0.1136 0.8362 1.646 json
t17_x25_u4_b97 17 25 4 97 min(R,dot(R,cil(D))) 119253 139061143 o2(x,o2(x,o1(x))) true 114031 114031 -0.1919 0.309 0.3822 0.1806 0.425 -1 0.9806 1.981 1 4.732 0.009494 0.009611 0.07973 -0.006082 1 0.00004357 0.0298 0.06367 0.01275 0.1129 1.416 1.341 0.1058 0.165 1 1 0.02242 0.155 0.301 0.1242 0.8581 1.666 json
t17_x25_u4_b98 17 25 4 98 min(R,dst(R,cil(D))) 119254 139061144 o2(x,o2(x,o1(x))) true 114039 114039 -0.0006866 0.4949 0.3872 0.2116 0.46 -0.9989 0.9806 1.979 1 4.842 0.003041 0.003331 0.06357 -0.04548 1 0.00002594 0.0017 0.01806 0.002331 0.04828 0.7595 0.6581 0.03011 0.008033 1 1 0.01184 0.1481 0.3778 0.05595 0.6999 1.786 json
t17_x25_u4_b99 17 25 4 99 dot(R,add(R,cil(D))) 119255 139061145 o2(x,o2(x,o1(x))) true 114047 114047 0.7807 0.9775 0.7859 0.09203 0.3034 -0.4322 1 1.432 1 2.852 0.006477 0.007103 0.05684 -0.04613 1 -0.0000764 0.02105 0.05627 0.01035 0.1017 1.79 0.9712 0.1476 0.2288 1 1 0.01536 0.08934 0.1464 0.1669 0.9708 1.591 json
t17_x25_u4_b100 17 25 4 100 dot(R,sub(R,cil(D))) 119256 139061146 o2(x,o2(x,o1(x))) true 114055 114055 0.7583 0.9776 0.7637 0.09569 0.3093 -0.4805 1 1.48 1 3.031 0.007519 0.007996 0.05849 -0.03076 1 -0.00008243 0.02565 0.06065 0.01209 0.11 1.88 0.9944 0.1621 0.268 1 1 0.01998 0.1083 0.1692 0.2088 1.132 1.768 json
t17_x25_u4_b101 17 25 4 101 dot(R,mlt(R,cil(D))) 119257 139061147 o2(x,o2(x,o1(x))) true 114063 114063 0.3386 0.9982 0.3386 0.08228 0.2868 0.000005382 1 1 1 3.725 0.01155 0.01159 0.07663 -0.001635 1 -0.00002113 0.04202 0.08436 0.01727 0.1314 1.715 1.273 0.2813 0.5107 1 1 0.02495 0.1075 0.09388 0.3032 1.306 1.141 json
t17_x25_u4_b102 17 25 4 102 dot(R,div(R,cil(D))) 119258 139061148 o2(x,o2(x,o1(x))) true 114071 114071 -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_x25_u4_b103 17 25 4 103 dot(R,pow(R,cil(D))) 119259 139061149 o2(x,o2(x,o1(x))) true 114079 114079 -0.9167 0.04704 0.97 0.121 0.3479 -1 1 2 1 0.6083 0.01414 0.01649 0.02347 -0.0767 1 -4.505e-10 0.06409 0.03963 0.03012 0.1735 7.395 2.828 0.2532 0.5297 1 1 0.04671 0.2022 0.3662 0.386 1.671 3.026 json
t17_x25_u4_b104 17 25 4 104 dot(R,mod(R,cil(D))) 119260 139061150 o2(x,o2(x,o1(x))) true 114087 114087 -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_x25_u4_b105 17 25 4 105 dot(R,lrg(R,cil(D))) 119261 139061151 o2(x,o2(x,o1(x))) true 114095 114095 0.4711 0.99 0.4711 0.1083 0.3291 0 1 1 1 3.881 0.007998 0.008397 0.06851 -0.02434 1 -0.00001766 0.02665 0.06039 0.0117 0.1082 1.579 0.9942 0.1514 0.2461 1 1 0.02034 0.1195 0.1951 0.1878 1.103 1.802 json
t17_x25_u4_b106 17 25 4 106 dot(R,eql(R,cil(D))) 119262 139061152 o2(x,o2(x,o1(x))) true 114103 114103 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_x25_u4_b107 17 25 4 107 dot(R,min(R,cil(D))) 119263 139061153 o2(x,o2(x,o1(x))) true 114111 114111 0.6325 1 0.6325 0.08997 0.2999 0.00008333 1 0.9999 1 3.711 0.004732 0.005409 0.05288 -0.06676 1 -0.0000496 0.01548 0.04237 0.007345 0.0857 1.621 1.2 0.1127 0.1721 1 1 0.01346 0.08087 0.1441 0.1496 0.8989 1.602 json
t17_x25_u4_b108 17 25 4 108 dot(R,dot(R,cil(D))) 119264 139061154 o2(x,o2(x,o1(x))) true 114119 114119 0.2676 0.792 0.3064 0.1228 0.3504 -0.8166 1 1.817 1 4.02 0.01248 0.01292 0.07888 -0.01712 1 -0.00007318 0.04433 0.0824 0.01918 0.1385 1.756 1.414 0.2069 0.361 1 1 0.03173 0.1687 0.2118 0.2584 1.374 1.725 json
t17_x25_u4_b109 17 25 4 109 dot(R,dst(R,cil(D))) 119265 139061155 o2(x,o2(x,o1(x))) true 114127 114127 -0.0523 0.4876 0.5987 0.4782 0.6915 -1 1 2 1 4.491 0.01104 0.01146 0.09929 -0.01836 1 0.000123 0.01398 0.05639 0.01265 0.1125 1.133 1.344 0.04705 0.02924 1 1 0.04121 0.3958 0.9365 0.08618 0.8277 1.958 json
t17_x25_u4_b110 17 25 4 110 dst(R,add(R,cil(D))) 119266 139061156 o2(x,o2(x,o1(x))) true 114135 114135 0.7721 1 0.7721 0.09527 0.3087 0.000582 1 0.9994 1 2.801 0.0257 0.0257 0.103 -6.161e-7 1 -0.00009022 0.1027 0.1322 0.04078 0.2019 1.96 1.413 0.5395 1.078 1 1 0.05652 0.202 0 0.5933 2.12 0 json
t17_x25_u4_b111 17 25 4 111 dst(R,sub(R,cil(D))) 119267 139061157 o2(x,o2(x,o1(x))) true 114143 114143 0.7721 1 0.7721 0.09527 0.3087 0.000582 1 0.9994 1 2.801 0.0257 0.0257 0.103 -6.161e-7 1 -0.00009022 0.1027 0.1322 0.04078 0.2019 1.96 1.413 0.5395 1.078 1 1 0.05652 0.202 2.275e-16 0.5933 2.12 2.388e-15 json
t17_x25_u4_b112 17 25 4 112 dst(R,mlt(R,cil(D))) 119268 139061158 o2(x,o2(x,o1(x))) true 114151 114151 0.7363 1 0.7363 0.0516 0.2271 0.002774 1 0.9972 1 3.444 0.004891 0.005299 0.05256 -0.04005 1 -0.00002123 0.01768 0.05266 0.007428 0.08619 1.64 0.9118 0.1975 0.3426 1 1 0.01101 0.05586 0.07566 0.2134 1.083 1.466 json
t17_x25_u4_b113 17 25 4 113 dst(R,div(R,cil(D))) 119269 139061159 o2(x,o2(x,o1(x))) true 114159 114159 -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_x25_u4_b114 17 25 4 114 dst(R,pow(R,cil(D))) 119270 139061160 o2(x,o2(x,o1(x))) true 114167 114167 -0.878 0.0625 0.997 0.2244 0.4737 -1 1 2 1 0.3998 0.02468 0.03028 0.02872 -0.1018 1 -3.604e-10 0.1164 0.05678 0.05409 0.2326 8.098 2.828 0.2449 0.5187 1 1 0.07774 0.3272 0.638 0.3465 1.458 2.844 json
t17_x25_u4_b115 17 25 4 115 dst(R,mod(R,cil(D))) 119271 139061161 o2(x,o2(x,o1(x))) true 114175 114175 -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_x25_u4_b116 17 25 4 116 dst(R,lrg(R,cil(D))) 119272 139061162 o2(x,o2(x,o1(x))) true 114183 114183 0.8946 1 0.8946 0.02175 0.1475 0.2103 1 0.7897 1 2.212 0.001684 0.001582 0.02482 0.03129 1 -0.00003891 0.005365 0.02237 0.00265 0.05147 2.074 0.9106 0.1501 0.2466 1 1 0.003903 0.02262 0.03811 0.1794 1.04 1.752 json
t17_x25_u4_b117 17 25 4 117 dst(R,eql(R,cil(D))) 119273 139061163 o2(x,o2(x,o1(x))) true 114191 114191 0.897 1 0.897 0.02252 0.1501 0.09951 1 0.9005 1 2.181 0.0003411 0.0004606 0.01666 -0.149 1 -0.00001961 0.000143 0.005703 0.0005243 0.0229 1.374 0.1266 0.0356 0.006351 1 1 0.001342 0.015 0.03485 0.05959 0.666 1.547 json
t17_x25_u4_b118 17 25 4 118 dst(R,min(R,cil(D))) 119274 139061164 o2(x,o2(x,o1(x))) true 114199 114199 0.4284 0.9895 0.4284 0.09013 0.3002 0 1 1 1 3.918 0.006312 0.006756 0.06157 -0.03393 1 -0.000001887 0.02138 0.05094 0.009277 0.09632 1.564 0.9942 0.145 0.2372 1 1 0.01592 0.09719 0.1682 0.1767 1.078 1.866 json
t17_x25_u4_b119 17 25 4 119 dst(R,dot(R,cil(D))) 119275 139061165 o2(x,o2(x,o1(x))) true 114207 114207 0.8871 1 0.8871 0.03135 0.177 0.0263 1 0.9737 1 2.176 0.003594 0.003576 0.0341 0.002474 1 -0.00002943 0.0139 0.0379 0.006007 0.0775 2.273 1.372 0.2288 0.4435 1 1 0.0091 0.04342 0.05706 0.2903 1.385 1.82 json
t17_x25_u4_b120 17 25 4 120 dst(R,dst(R,cil(D))) 119276 139061166 o2(x,o2(x,o1(x))) true 114215 114215 0.9888 1 0.9888 0.003985 0.06313 0.07823 1 0.9218 1 0.36 0.0006413 0.0008137 0.00674 -0.1185 1 -0.00001575 0.002484 0.008605 0.00141 0.03755 5.571 1.304 0.3651 0.6235 1 1 0.002211 0.009044 0.009297 0.5549 2.27 2.333 json
t17_x25_u5_b0 17 25 5 0 add(R,add(R,sgn(D))) 119277 139061247 o2(x,o2(x,o1(x))) true 114223 114223 0.01341 0.5133 0.68 0.5802 0.7617 -1 1 2 1 4.187 0.1097 0.007484 0.1683 0.8723 1 0.00003013 0.1906 0.1684 0.08891 0.2982 1.772 2.023 0.2021 0.3286 1 1 0.1408 0.6881 0.6856 0.2427 1.186 1.182 json
t17_x25_u5_b1 17 25 5 1 add(R,sub(R,sgn(D))) 119278 139061248 o2(x,o2(x,o1(x))) true 114231 114231 0.01195 0.5105 0.6804 0.5788 0.7608 -1 1 2 1 4.215 0.1091 0.007538 0.1671 0.8708 1 -0.000002269 0.1904 0.1677 0.08877 0.2979 1.784 2.014 0.2016 0.329 1 1 0.1391 0.6782 0.6902 0.2402 1.172 1.192 json
t17_x25_u5_b2 17 25 5 2 add(R,mlt(R,sgn(D))) 119279 139061249 o2(x,o2(x,o1(x))) true 114239 114239 0.009361 0.4883 0.392 0.2893 0.5379 -1 1 2 1 4.44 0.04093 0.004959 0.1108 0.7839 1 0.000005432 0.07588 0.104 0.03362 0.1833 1.655 1.001 0.1586 0.2623 1 1 0.05608 0.3393 0.5288 0.1939 1.173 1.828 json
t17_x25_u5_b3 17 25 5 3 add(R,div(R,sgn(D))) 119280 139061250 o2(x,o2(x,o1(x))) true 114247 114247 0.009361 0.4883 0.392 0.2893 0.5379 -1 1 2 1 4.44 0.04093 0.004959 0.1108 0.7839 1 0.000005432 0.07588 0.104 0.03362 0.1833 1.655 1.001 0.1586 0.2623 1 1 0.05608 0.3393 0.5288 0.1939 1.173 1.828 json
t17_x25_u5_b4 17 25 5 4 add(R,pow(R,sgn(D))) 119281 139061251 o2(x,o2(x,o1(x))) true 114255 114255 -0.9157 0.04297 0.9984 0.1592 0.399 -1 1 2 1 0.2924 0.01586 0.0157 0.01647 0.005101 1 -0.00000691 0.06578 0.03255 0.03127 0.1768 10.74 2.828 0.1982 0.4131 1 1 0.02482 0.1076 0.2668 0.1559 0.6755 1.676 json
t17_x25_u5_b5 17 25 5 5 add(R,mod(R,sgn(D))) 119282 139061252 o2(x,o2(x,o1(x))) true 114263 114263 0.01372 0.4984 0.659 0.5457 0.7387 -1 1 2 1 4.408 0.008726 0.009756 0.09338 -0.05568 1 0.00002908 0.003164 0.02873 0.009763 0.09881 1.058 0.4602 0.03387 0.005798 1 1 0.03624 0.4079 0.9797 0.06641 0.7475 1.795 json
t17_x25_u5_b6 17 25 5 6 add(R,lrg(R,sgn(D))) 119283 139061253 o2(x,o2(x,o1(x))) true 114271 114271 0.4375 0.7988 0.5744 0.2449 0.4949 -0.9986 1 1.999 1 4.395 0.04755 0.0025 0.114 0.9001 1 -0.000063 0.08465 0.1105 0.03705 0.1925 1.688 1.023 0.2044 0.3456 1 1 0.05856 0.2751 0.2764 0.2391 1.123 1.129 json
t17_x25_u5_b7 17 25 5 7 add(R,eql(R,sgn(D))) 119284 139061254 o2(x,o2(x,o1(x))) true 114279 114279 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_x25_u5_b8 17 25 5 8 add(R,min(R,sgn(D))) 119285 139061255 o2(x,o2(x,o1(x))) true 114287 114287 -0.3951 0.2414 0.6827 0.418 0.6465 -1 1 2 1 4.1 0.06296 0.005796 0.1283 0.8314 1 0.00008323 0.1099 0.1161 0.05229 0.2287 1.783 1.508 0.1645 0.263 1 1 0.08406 0.4627 0.5891 0.2011 1.107 1.409 json
t17_x25_u5_b9 17 25 5 9 add(R,dot(R,sgn(D))) 119286 139061256 o2(x,o2(x,o1(x))) true 114295 114295 0.01281 0.5067 0.5411 0.4001 0.6326 -1 1 2 1 4.811 0.04161 0.05205 0.1561 -0.1114 1 0.00001141 0.1709 0.176 0.0693 0.2632 1.686 2.638 0.2341 0.4271 1 1 0.1078 0.5439 0.7655 0.2693 1.359 1.913 json
t17_x25_u5_b10 17 25 5 10 add(R,dst(R,sgn(D))) 119287 139061257 o2(x,o2(x,o1(x))) true 114303 114303 0.9556 0.9918 0.9585 0.02806 0.1675 -0.6731 1 1.673 1 0.8677 0.00674 0.004998 0.02411 0.1484 1 -0.00005622 0.02283 0.03176 0.01116 0.1056 4.382 1.917 0.4184 0.8137 1 1 0.01235 0.04708 0.04513 0.4401 1.678 1.608 json
t17_x25_u5_b11 17 25 5 11 sub(R,add(R,sgn(D))) 119288 139061258 o2(x,o2(x,o1(x))) true 114311 114311 1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t17_x25_u5_b12 17 25 5 12 sub(R,sub(R,sgn(D))) 119289 139061259 o2(x,o2(x,o1(x))) true 114319 114319 -4.891e-9 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 2.876e-17 0.2456 1 1 6.833e-10 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 4.45e-16 0.4989 1.706 7.847e-16 json
t17_x25_u5_b13 17 25 5 13 sub(R,mlt(R,sgn(D))) 119290 139061260 o2(x,o2(x,o1(x))) true 114327 114327 0.0007306 0.4803 0.3927 0.29 0.5385 -1 1 2 1 4.44 0.04095 0.005028 0.1097 0.7813 1 -0.000004923 0.07589 0.1041 0.03395 0.1843 1.68 1.065 0.1585 0.2617 1 1 0.05622 0.3401 0.5276 0.1939 1.173 1.819 json
t17_x25_u5_b14 17 25 5 14 sub(R,div(R,sgn(D))) 119291 139061261 o2(x,o2(x,o1(x))) true 114335 114335 0.0007306 0.4803 0.3927 0.29 0.5385 -1 1 2 1 4.44 0.04095 0.005028 0.1097 0.7813 1 -0.000004923 0.07589 0.1041 0.03395 0.1843 1.68 1.065 0.1585 0.2617 1 1 0.05622 0.3401 0.5276 0.1939 1.173 1.819 json
t17_x25_u5_b15 17 25 5 15 sub(R,pow(R,sgn(D))) 119292 139061262 o2(x,o2(x,o1(x))) true 114343 114343 -0.9788 0 0.9788 0.01705 0.1306 -1 -0.00003652 1 1 0.2856 0.002779 0.001872 0.007296 0.1949 1 0.00004784 0.009146 0.01058 0.004596 0.06779 9.292 1.009 0.2729 0.5365 1 1 0.003329 0.0146 0.02909 0.1953 0.8568 1.707 json
t17_x25_u5_b16 17 25 5 16 sub(R,mod(R,sgn(D))) 119293 139061263 o2(x,o2(x,o1(x))) true 114351 114351 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_x25_u5_b17 17 25 5 17 sub(R,lrg(R,sgn(D))) 119294 139061264 o2(x,o2(x,o1(x))) true 114359 114359 -0.4204 0.201 0.5662 0.2506 0.5006 -1 0.9804 1.98 1 4.386 0.0477 0.002539 0.1158 0.8989 1 0.0001124 0.08414 0.1109 0.03684 0.1919 1.658 1.023 0.2005 0.3357 1 1 0.05898 0.2859 0.2878 0.2353 1.141 1.149 json
t17_x25_u5_b18 17 25 5 18 sub(R,eql(R,sgn(D))) 119295 139061265 o2(x,o2(x,o1(x))) true 114367 114367 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_x25_u5_b19 17 25 5 19 sub(R,min(R,sgn(D))) 119296 139061266 o2(x,o2(x,o1(x))) true 114375 114375 0.4343 0.9924 0.4343 0.142 0.3768 3.035e-7 1 1 1 3.485 0.04615 0.0009382 0.1018 0.9602 1 -0.00008425 0.08384 0.1087 0.03673 0.1916 1.882 1.013 0.3317 0.5906 1 1 0.05229 0.2144 0.08602 0.3683 1.511 0.606 json
t17_x25_u5_b20 17 25 5 20 sub(R,dot(R,sgn(D))) 119297 139061267 o2(x,o2(x,o1(x))) true 114383 114383 -0.01179 0.4933 0.5398 0.3988 0.6315 -1 1 2 1 4.818 0.0424 0.05155 0.157 -0.09741 1 -0.000006534 0.1715 0.1767 0.06931 0.2633 1.677 1.989 0.2356 0.4299 1 1 0.1077 0.549 0.7788 0.2701 1.376 1.953 json
t17_x25_u5_b21 17 25 5 21 sub(R,dst(R,sgn(D))) 119298 139061268 o2(x,o2(x,o1(x))) true 114391 114391 -0.9469 0.009293 0.9505 0.03407 0.1846 -1 0.6134 1.613 1 0.9588 0.008078 0.005585 0.02782 0.1825 1 0.00007053 0.02651 0.03594 0.01289 0.1135 4.081 1.613 0.401 0.7781 1 1 0.01397 0.05387 0.05429 0.4099 1.581 1.593 json
t17_x25_u5_b22 17 25 5 22 mlt(R,add(R,sgn(D))) 119299 139061269 o2(x,o2(x,o1(x))) true 114399 114399 0.306 0.6715 0.3943 0.177 0.4207 -0.2497 1 1.25 1 4.072 0.04534 0.002951 0.09956 0.8778 1 -0.00006962 0.0869 0.1054 0.03838 0.1959 1.968 1.236 0.2728 0.4909 1 1 0.05567 0.2707 0.3227 0.3145 1.53 1.823 json