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_x24_u5_b70 17 24 5 70 lrg(R,pow(R,sgn(P))) 118500 139020916 o2(x,o2(x,o1(x))) true 108007 108007 0.4824 0.9095 0.4824 0.1575 0.3968 0 1 1 1 3.378 0.001896 0.002332 0.04958 -0.1032 1 0.0000121 0.000248 0.01205 0.00177 0.04207 0.8485 0.1169 0.02685 0.001575 1 1 0.008232 0.106 0.2882 0.05227 0.6732 1.83 json
t17_x24_u5_b71 17 24 5 71 lrg(R,mod(R,sgn(P))) 118501 139020917 o2(x,o2(x,o1(x))) true 108015 108015 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t17_x24_u5_b72 17 24 5 72 lrg(R,lrg(R,sgn(P))) 118502 139020918 o2(x,o2(x,o1(x))) true 108023 108023 0.2148 0.455 0.2148 0.1181 0.3436 0 1 1 1 2.248 0.001095 0.001206 0.02703 -0.04847 1 -0.00002424 0.0001387 0.006603 0.001571 0.03963 1.466 0.1169 0.01949 0.001175 1 1 0.004457 0.05786 0.1462 0.03774 0.49 1.238 json
t17_x24_u5_b73 17 24 5 73 lrg(R,eql(R,sgn(P))) 118503 139020919 o2(x,o2(x,o1(x))) true 108031 108031 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_x24_u5_b74 17 24 5 74 lrg(R,min(R,sgn(P))) 118504 139020920 o2(x,o2(x,o1(x))) true 108039 108039 0.4961 0.5378 0.4961 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005705 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t17_x24_u5_b75 17 24 5 75 lrg(R,dot(R,sgn(P))) 118505 139020921 o2(x,o2(x,o1(x))) true 108047 108047 0.4932 0.9158 0.4932 0.1552 0.3939 0 1 1 1 3.413 0.002007 0.002382 0.0513 -0.08531 1 0.00003992 0.0002548 0.01243 0.001758 0.04193 0.8175 0.1169 0.02829 0.001642 1 1 0.008173 0.1053 0.3203 0.05267 0.6788 2.064 json
t17_x24_u5_b76 17 24 5 76 lrg(R,dst(R,sgn(P))) 118506 139020922 o2(x,o2(x,o1(x))) true 108055 108055 0.03906 0.1373 0.03906 0.02299 0.1516 0 0.9997 0.9997 1 0.7479 0.0003407 0.0003128 0.00783 0.04277 1 0.00001141 0.00003964 0.001901 0.0005921 0.02433 3.108 0.1169 0.02843 0.001724 1 1 0.00107 0.01387 0.04338 0.04653 0.6033 1.887 json
t17_x24_u5_b77 17 24 5 77 eql(R,add(R,sgn(P))) 118507 139020923 o2(x,o2(x,o1(x))) true 108063 108063 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t17_x24_u5_b78 17 24 5 78 eql(R,sub(R,sgn(P))) 118508 139020924 o2(x,o2(x,o1(x))) true 108071 108071 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t17_x24_u5_b79 17 24 5 79 eql(R,mlt(R,sgn(P))) 118509 139020925 o2(x,o2(x,o1(x))) true 108079 108079 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t17_x24_u5_b80 17 24 5 80 eql(R,div(R,sgn(P))) 118510 139020926 o2(x,o2(x,o1(x))) true 108087 108087 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t17_x24_u5_b81 17 24 5 81 eql(R,pow(R,sgn(P))) 118511 139020927 o2(x,o2(x,o1(x))) true 108095 108095 0.2148 0.455 0.2148 0.1181 0.3436 0 1 1 1 2.248 0.001095 0.001206 0.02703 -0.04847 1 -0.00002424 0.0001387 0.006603 0.001571 0.03963 1.466 0.1169 0.01949 0.001175 1 1 0.004457 0.05786 0.1462 0.03774 0.49 1.238 json
t17_x24_u5_b82 17 24 5 82 eql(R,mod(R,sgn(P))) 118512 139020928 o2(x,o2(x,o1(x))) true 108103 108103 0.9375 1 0.9375 0.04507 0.2123 0.000291 1 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t17_x24_u5_b83 17 24 5 83 eql(R,lrg(R,sgn(P))) 118513 139020929 o2(x,o2(x,o1(x))) true 108111 108111 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_x24_u5_b84 17 24 5 84 eql(R,eql(R,sgn(P))) 118514 139020930 o2(x,o2(x,o1(x))) true 108119 108119 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_x24_u5_b85 17 24 5 85 eql(R,min(R,sgn(P))) 118515 139020931 o2(x,o2(x,o1(x))) true 108127 108127 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t17_x24_u5_b86 17 24 5 86 eql(R,dot(R,sgn(P))) 118516 139020932 o2(x,o2(x,o1(x))) true 108135 108135 0.0293 0.06207 0.0293 0.02176 0.1475 0 0.9997 0.9997 1 0.4503 0.00001756 0.0003257 0.00389 -0.8977 1 -1.126e-11 0.00001626 0.0009129 0.0003282 0.01812 4.657 0.1169 0.01577 0.000747 1 1 0.0008917 0.01161 0.03457 0.04097 0.5334 1.588 json
t17_x24_u5_b87 17 24 5 87 eql(R,dst(R,sgn(P))) 118517 139020933 o2(x,o2(x,o1(x))) true 108143 108143 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_x24_u5_b88 17 24 5 88 min(R,add(R,sgn(P))) 118518 139020934 o2(x,o2(x,o1(x))) true 108151 108151 -0.3773 0.2459 0.5711 0.2908 0.5393 -1 0.9806 1.981 1 4.437 0.002372 0.002439 0.05092 -0.01401 1 0.00004288 0.0005327 0.01383 0.002219 0.0471 0.9252 0.2534 0.01654 0.001832 1 1 0.009737 0.118 0.3367 0.03348 0.4056 1.158 json
t17_x24_u5_b89 17 24 5 89 min(R,sub(R,sgn(P))) 118519 139020935 o2(x,o2(x,o1(x))) true 108159 108159 -0.3682 0.276 0.5938 0.3255 0.5705 -1 0.9693 1.969 1 4.374 0.002287 0.002443 0.0489 -0.03298 1 0.00006651 0.0005133 0.01339 0.002338 0.04835 0.9887 0.238 0.01453 0.001577 1 1 0.009677 0.1175 0.3327 0.02973 0.3611 1.022 json
t17_x24_u5_b90 17 24 5 90 min(R,mlt(R,sgn(P))) 118520 139020936 o2(x,o2(x,o1(x))) true 108167 108167 -0.267 0.2244 0.4414 0.1893 0.435 -0.9989 0.9806 1.98 1 4.681 0.001839 0.00183 0.04742 0.002594 1 0.000006433 0.0002183 0.01093 0.001421 0.03769 0.7948 0.219 0.01939 0.001153 1 1 0.006921 0.08971 0.2539 0.03657 0.474 1.342 json
t17_x24_u5_b91 17 24 5 91 min(R,div(R,sgn(P))) 118521 139020937 o2(x,o2(x,o1(x))) true 108175 108175 -0.3233 0.2211 0.499 0.2282 0.4777 -1 0.9806 1.981 1 4.652 0.008012 0.006317 0.0516 0.1183 1 0.00001765 0.02268 0.02734 0.01167 0.108 2.093 2.541 0.06278 0.09936 1 1 0.02118 0.1356 0.3788 0.09282 0.5941 1.66 json
t17_x24_u5_b92 17 24 5 92 min(R,pow(R,sgn(P))) 118522 139020938 o2(x,o2(x,o1(x))) true 108183 108183 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_x24_u5_b93 17 24 5 93 min(R,mod(R,sgn(P))) 118523 139020939 o2(x,o2(x,o1(x))) true 108191 108191 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_x24_u5_b94 17 24 5 94 min(R,lrg(R,sgn(P))) 118524 139020940 o2(x,o2(x,o1(x))) true 108199 108199 -0.1089 0.2835 0.3376 0.17 0.4124 -0.9989 0.9693 1.968 1 4.59 0.001757 0.002222 0.04859 -0.1169 1 0.00002257 0.0002301 0.01115 0.001618 0.04023 0.8278 0.2301 0.0234 0.001353 1 1 0.007881 0.1008 0.2669 0.04635 0.5926 1.57 json
t17_x24_u5_b95 17 24 5 95 min(R,eql(R,sgn(P))) 118525 139020941 o2(x,o2(x,o1(x))) true 108207 108207 -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_x24_u5_b96 17 24 5 96 min(R,min(R,sgn(P))) 118526 139020942 o2(x,o2(x,o1(x))) true 108215 108215 -0.4947 0.2244 0.669 0.3314 0.5756 -1 0.9806 1.981 1 3.609 0.001675 0.001465 0.03457 0.06692 1 -5.686e-7 0.0001859 0.007986 0.001945 0.0441 1.276 0.219 0.009476 0.0005609 1 1 0.006236 0.08108 0.2653 0.01882 0.2447 0.8006 json
t17_x24_u5_b97 17 24 5 97 min(R,dot(R,sgn(P))) 118527 139020943 o2(x,o2(x,o1(x))) true 108223 108223 -0.3935 0.1953 0.531 0.2206 0.4697 -1 0.9554 1.955 1 4.571 0.002602 0.002673 0.055 -0.01342 1 0.00003802 0.0005307 0.01406 0.002251 0.04744 0.8625 0.2981 0.02391 0.002406 1 1 0.01024 0.1269 0.3924 0.04643 0.5751 1.779 json
t17_x24_u5_b98 17 24 5 98 min(R,dst(R,sgn(P))) 118528 139020944 o2(x,o2(x,o1(x))) true 108231 108231 -0.001342 0.4938 0.3869 0.2117 0.4601 -0.9989 0.9806 1.979 1 4.845 0.002655 0.003078 0.06179 -0.07383 1 0.0000256 0.0003353 0.01416 0.001915 0.04376 0.7083 0.2301 0.02708 0.001584 1 1 0.01143 0.1469 0.3771 0.05402 0.6939 1.782 json
t17_x24_u5_b99 17 24 5 99 dot(R,add(R,sgn(P))) 118529 139020945 o2(x,o2(x,o1(x))) true 108239 108239 0.6605 0.9167 0.6871 0.1555 0.3943 -0.4803 1 1.48 1 3.364 0.002735 0.003615 0.0481 -0.1385 1 -0.0001901 0.001675 0.01907 0.004037 0.06354 1.321 0.429 0.04085 0.01077 1 1 0.01087 0.11 0.2697 0.06991 0.7079 1.735 json
t17_x24_u5_b100 17 24 5 100 dot(R,sub(R,sgn(P))) 118530 139020946 o2(x,o2(x,o1(x))) true 108247 108247 0.7136 0.9318 0.7325 0.1409 0.3753 -0.4809 1 1.481 1 3.045 0.002634 0.003646 0.0468 -0.1611 1 -0.00009198 0.001644 0.01892 0.004091 0.06396 1.367 0.4119 0.04458 0.01167 1 1 0.01065 0.108 0.2443 0.07557 0.767 1.734 json
t17_x24_u5_b101 17 24 5 101 dot(R,mlt(R,sgn(P))) 118531 139020947 o2(x,o2(x,o1(x))) true 108255 108255 -0.02322 0.4877 0.4162 0.2536 0.5036 -1 1 2 1 4.91 0.001522 0.001662 0.04514 -0.04425 1 0.00000443 0.0002687 0.01104 0.001146 0.03385 0.7499 0.203 0.01255 0.001059 1 1 0.005795 0.07411 0.2164 0.02285 0.2922 0.8532 json
t17_x24_u5_b102 17 24 5 102 dot(R,div(R,sgn(P))) 118532 139020948 o2(x,o2(x,o1(x))) true 108263 108263 -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_x24_u5_b103 17 24 5 103 dot(R,pow(R,sgn(P))) 118533 139020949 o2(x,o2(x,o1(x))) true 108271 108271 -0.9837 0.008652 0.9957 0.02673 0.1635 -1 1 2 1 0.1368 0.003693 0.002946 0.004357 0.1125 1 -3.754e-12 0.01386 0.007581 0.006623 0.08138 18.68 2.828 0.2483 0.5183 1 1 0.01183 0.04834 0.09632 0.4425 1.808 3.603 json
t17_x24_u5_b104 17 24 5 104 dot(R,mod(R,sgn(P))) 118534 139020950 o2(x,o2(x,o1(x))) true 108279 108279 0.4187 0.7656 0.8875 0.6519 0.8074 -1 1 2 1 2.648 0.02488 0.02496 0.04412 -0.001669 1 -0.0000392 0.09766 0.05868 0.0479 0.2189 4.96 2.828 0.07645 0.1498 1 1 0.06129 0.2638 1.046 0.09401 0.4046 1.605 json
t17_x24_u5_b105 17 24 5 105 dot(R,lrg(R,sgn(P))) 118535 139020951 o2(x,o2(x,o1(x))) true 108287 108287 0.2856 0.7701 0.4466 0.2207 0.4698 -1 1 2 1 4.605 0.003206 0.003747 0.06117 -0.07795 1 0.00003325 0.0007607 0.01561 0.003211 0.05667 0.9264 0.3887 0.03151 0.003447 1 1 0.01262 0.152 0.3985 0.05718 0.689 1.806 json
t17_x24_u5_b106 17 24 5 106 dot(R,eql(R,sgn(P))) 118536 139020952 o2(x,o2(x,o1(x))) true 108295 108295 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_x24_u5_b107 17 24 5 107 dot(R,min(R,sgn(P))) 118537 139020953 o2(x,o2(x,o1(x))) true 108303 108303 0.4132 0.7922 0.5882 0.2788 0.528 -1 1 2 1 4.443 0.002853 0.004205 0.05936 -0.1915 1 -0.0000943 0.0009858 0.01657 0.003535 0.05946 1.002 0.3833 0.02532 0.003536 1 1 0.01349 0.1569 0.4036 0.04838 0.5627 1.448 json
t17_x24_u5_b108 17 24 5 108 dot(R,dot(R,sgn(P))) 118538 139020954 o2(x,o2(x,o1(x))) true 108311 108311 0.01581 0.5193 0.4374 0.3044 0.5518 -1 1 2 1 4.737 0.003667 0.003201 0.05914 0.06787 1 0.000002091 0.0012 0.0177 0.003371 0.05806 0.9817 0.3983 0.02256 0.003943 1 1 0.01595 0.1817 0.4644 0.0524 0.5969 1.525 json
t17_x24_u5_b109 17 24 5 109 dot(R,dst(R,sgn(P))) 118539 139020955 o2(x,o2(x,o1(x))) true 108319 108319 0.01996 0.5134 0.6602 0.5572 0.7465 -1 1 2 1 4.244 0.01072 0.01176 0.09219 -0.04631 1 -0.00000618 0.006691 0.03633 0.01398 0.1182 1.283 0.8726 0.04035 0.01201 1 1 0.04323 0.4196 1.038 0.07758 0.7531 1.863 json
t17_x24_u5_b110 17 24 5 110 dst(R,add(R,sgn(P))) 118540 139020956 o2(x,o2(x,o1(x))) true 108327 108327 0.9964 1 0.9964 0.002289 0.04784 0.000582 1 0.9994 1 0.09109 0.00003966 0.00003966 0.0008105 5.503e-7 0 -4.881e-11 0.00001004 0.0002297 0.00007859 0.008865 10.94 0.1294 0.03466 0.004388 1 1 0.0002733 0.00336 0.008351 0.1194 1.468 3.649 json
t17_x24_u5_b111 17 24 5 111 dst(R,sub(R,sgn(P))) 118541 139020957 o2(x,o2(x,o1(x))) true 108335 108335 0.9964 1 0.9964 0.002289 0.04784 0.000582 1 0.9994 1 0.09109 0.00003966 0.00003966 0.0008105 6.421e-7 0 2.628e-11 0.00001004 0.0002297 0.00007859 0.008865 10.94 0.1294 0.03466 0.004388 1 1 0.0002733 0.00336 0.008351 0.1194 1.468 3.649 json
t17_x24_u5_b112 17 24 5 112 dst(R,mlt(R,sgn(P))) 118542 139020958 o2(x,o2(x,o1(x))) true 108343 108343 0.8387 1 0.8387 0.0634 0.2518 0.00256 1 0.9974 1 2.365 0.000465 0.0005853 0.01679 -0.1145 1 -0.00003624 0.000247 0.006342 0.0007685 0.02772 1.651 0.2113 0.01657 0.003897 1 1 0.001828 0.02023 0.06101 0.02883 0.3191 0.9623 json
t17_x24_u5_b113 17 24 5 113 dst(R,div(R,sgn(P))) 118543 139020959 o2(x,o2(x,o1(x))) true 108351 108351 -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_x24_u5_b114 17 24 5 114 dst(R,pow(R,sgn(P))) 118544 139020960 o2(x,o2(x,o1(x))) true 108359 108359 -0.9767 0.01172 0.9998 0.0457 0.2138 -1 1 2 1 0.09781 0.00589 0.00386 0.004978 0.2082 1 0 0.02041 0.009939 0.009719 0.09858 19.8 2.828 0.2133 0.4465 1 1 0.01717 0.06988 0.1663 0.3758 1.529 3.639 json
t17_x24_u5_b115 17 24 5 115 dst(R,mod(R,sgn(P))) 118545 139020961 o2(x,o2(x,o1(x))) true 108367 108367 -0.2344 0 0.2344 0.1793 0.4235 -1 0 1 1 0.7856 0.006929 0.006929 0.01385 0 1 0 0.02784 0.02771 0.01366 0.1169 8.44 1.414 0.07728 0.1553 1 1 0.01751 0.07003 0.2801 0.09763 0.3905 1.562 json
t17_x24_u5_b116 17 24 5 116 dst(R,lrg(R,sgn(P))) 118546 139020962 o2(x,o2(x,o1(x))) true 108375 108375 0.9431 1 0.9431 0.0148 0.1216 0.21 1 0.79 1 1.429 0.0003039 0.0004033 0.01151 -0.1405 1 -0.00004627 0.0002148 0.005169 0.0005744 0.02397 2.082 0.2028 0.04779 0.01452 1 1 0.001285 0.0123 0.02868 0.08684 0.8312 1.939 json
t17_x24_u5_b117 17 24 5 117 dst(R,eql(R,sgn(P))) 118547 139020963 o2(x,o2(x,o1(x))) true 108383 108383 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_x24_u5_b118 17 24 5 118 dst(R,min(R,sgn(P))) 118548 139020964 o2(x,o2(x,o1(x))) true 108391 108391 0.724 0.9841 0.724 0.1283 0.3582 0 1 1 1 2.768 0.0009672 0.0008924 0.02396 0.04023 1 -0.00003016 0.000384 0.00849 0.001285 0.03585 1.496 0.2228 0.01449 0.002992 1 1 0.003231 0.03572 0.114 0.02518 0.2784 0.8884 json
t17_x24_u5_b119 17 24 5 119 dst(R,dot(R,sgn(P))) 118549 139020965 o2(x,o2(x,o1(x))) true 108399 108399 0.9469 1 0.9469 0.01684 0.1298 0.05633 1 0.9437 1 1.269 0.000554 0.0005357 0.01286 0.01674 1 -0.00006202 0.0004443 0.007106 0.0009239 0.0304 2.363 0.2371 0.06471 0.02638 1 1 0.00164 0.0139 0.02959 0.09741 0.8252 1.757 json
t17_x24_u5_b120 17 24 5 120 dst(R,dst(R,sgn(P))) 118550 139020966 o2(x,o2(x,o1(x))) true 108407 108407 0.9972 1 0.9972 0.001117 0.03342 0.177 1 0.823 1 0.1033 0.00009501 0.00008663 0.001291 0.04611 1 -0.000003324 0.0001203 0.001111 0.00018 0.01342 10.39 0.3087 0.1626 0.1077 1 1 0.0004572 0.003096 0.003109 0.4092 2.772 2.783 json
t17_x24_u6_b0 17 24 6 0 add(R,add(R,nrm(P))) 118551 139021047 o2(x,o2(x,o1(x))) true 108415 108415 -0.02372 0.4884 0.6918 0.5906 0.7685 -1 1 2 1 4.212 0.00903 0.01058 0.08138 -0.07893 1 0.0000233 0.01262 0.03152 0.01299 0.114 1.4 2.828 0.0332 0.02136 1 1 0.0365 0.3365 0.8406 0.0618 0.5698 1.423 json
t17_x24_u6_b1 17 24 6 1 add(R,sub(R,nrm(P))) 118552 139021048 o2(x,o2(x,o1(x))) true 108423 108423 -0.03129 0.4787 0.7292 0.6399 0.8 -1 1 2 1 3.954 0.009368 0.009825 0.07714 -0.02377 1 0.00006906 0.01256 0.03107 0.01324 0.1151 1.492 2.002 0.02999 0.01963 1 1 0.03608 0.3339 0.8683 0.05639 0.5218 1.357 json
t17_x24_u6_b2 17 24 6 2 add(R,mlt(R,nrm(P))) 118553 139021049 o2(x,o2(x,o1(x))) true 108431 108431 -0.03122 0.4842 0.3701 0.2513 0.5013 -1 1 2 1 4.569 0.005282 0.005646 0.057 -0.03328 1 -0.00002269 0.008062 0.01935 0.007678 0.08762 1.537 2.58 0.04348 0.03208 1 1 0.02056 0.1977 0.5213 0.08181 0.7866 2.074 json
t17_x24_u6_b3 17 24 6 3 add(R,div(R,nrm(P))) 118554 139021050 o2(x,o2(x,o1(x))) true 108439 108439 -0.1413 0.3992 0.5417 0.4391 0.6627 -1 1 2 1 4.093 0.02169 0.007436 0.06721 0.4893 1 -0.00003604 0.03565 0.039 0.0246 0.1569 2.334 2.261 0.06632 0.08119 1 1 0.0418 0.3126 0.7794 0.09519 0.7119 1.775 json
t17_x24_u6_b4 17 24 6 4 add(R,pow(R,nrm(P))) 118555 139021051 o2(x,o2(x,o1(x))) true 108447 108447 -0.8571 0.07422 0.9944 0.2571 0.507 -1 1 2 1 0.4808 0.02309 0.02316 0.02476 -0.001605 1 0 0.09621 0.04802 0.04567 0.2137 8.632 2.828 0.1799 0.3743 1 1 0.04381 0.1868 0.5943 0.1704 0.7268 2.312 json
t17_x24_u6_b5 17 24 6 5 add(R,mod(R,nrm(P))) 118556 139021052 o2(x,o2(x,o1(x))) true 108455 108455 -0.1206 0.4283 0.6398 0.5021 0.7086 -1 1 2 1 4.538 0.0202 0.006401 0.08584 0.5188 1 0.000007777 0.03096 0.03958 0.01923 0.1387 1.615 1.994 0.05298 0.06166 1 1 0.04058 0.3373 0.8485 0.08082 0.6717 1.69 json
t17_x24_u6_b6 17 24 6 6 add(R,lrg(R,nrm(P))) 118557 139021053 o2(x,o2(x,o1(x))) true 108463 108463 0.3721 0.6828 0.6313 0.3754 0.6127 -0.9989 1 1.999 1 4.19 0.004282 0.004624 0.06111 -0.0384 1 -0.0000501 0.00133 0.01818 0.005171 0.07191 1.177 0.347 0.02372 0.003541 1 1 0.01722 0.199 0.5242 0.04587 0.5301 1.396 json
t17_x24_u6_b7 17 24 6 7 add(R,eql(R,nrm(P))) 118558 139021054 o2(x,o2(x,o1(x))) true 108471 108471 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_x24_u6_b8 17 24 6 8 add(R,min(R,nrm(P))) 118559 139021055 o2(x,o2(x,o1(x))) true 108479 108479 -0.3162 0.2919 0.6338 0.4131 0.6427 -1 1 2 1 4.413 0.00562 0.005961 0.07324 -0.02948 1 0.00005904 0.001767 0.02185 0.006219 0.07886 1.077 0.4104 0.02803 0.004277 1 1 0.02296 0.2649 0.6585 0.05558 0.6413 1.594 json
t17_x24_u6_b9 17 24 6 9 add(R,dot(R,nrm(P))) 118560 139021056 o2(x,o2(x,o1(x))) true 108487 108487 -0.05397 0.4501 0.4594 0.3324 0.5765 -1 1 2 1 4.672 0.006698 0.007093 0.06876 -0.0286 1 -0.0000223 0.009192 0.02389 0.009062 0.09519 1.384 2.828 0.04149 0.02766 1 1 0.02613 0.2509 0.7103 0.07862 0.7548 2.137 json
t17_x24_u6_b10 17 24 6 10 add(R,dst(R,nrm(P))) 118561 139021057 o2(x,o2(x,o1(x))) true 108495 108495 0.8808 0.9671 0.9207 0.1103 0.3322 -1 1 2 1 1.613 0.004789 0.00499 0.02262 -0.02053 1 -0.00005741 0.01587 0.01691 0.009261 0.09624 4.255 2.717 0.08863 0.1439 1 1 0.017 0.09107 0.2874 0.1541 0.8255 2.605 json
t17_x24_u6_b11 17 24 6 11 sub(R,add(R,nrm(P))) 118562 139021058 o2(x,o2(x,o1(x))) true 108503 108503 -0.01562 0.4896 0.6504 0.5048 0.7105 -1 1 2 1 4.761 0.001863 0.00124 0.01041 0.2009 1 -3.76e-10 0.00612 0.00575 0.002995 0.05472 5.255 2 0.006147 0.01212 1 1 0.005637 0.02655 0.1534 0.01117 0.05259 0.3039 json
t17_x24_u6_b12 17 24 6 12 sub(R,sub(R,nrm(P))) 118563 139021059 o2(x,o2(x,o1(x))) true 108511 108511 -0.01562 0.4896 0.6504 0.5048 0.7105 -1 1 2 1 4.761 0.001863 0.00124 0.0104 0.2009 1 -4.693e-11 0.00612 0.00575 0.002995 0.05473 5.261 2.414 0.006147 0.01212 1 1 0.005637 0.02655 0.1534 0.01117 0.05259 0.3039 json
t17_x24_u6_b13 17 24 6 13 sub(R,mlt(R,nrm(P))) 118564 139021060 o2(x,o2(x,o1(x))) true 108519 108519 0.006298 0.4792 0.3722 0.2602 0.5101 -1 1 2 1 4.518 0.004799 0.005852 0.05517 -0.09893 1 0.00001765 0.007815 0.01867 0.007607 0.08722 1.581 2 0.04094 0.03004 1 1 0.02015 0.1901 0.4686 0.07747 0.7308 1.801 json
t17_x24_u6_b14 17 24 6 14 sub(R,div(R,nrm(P))) 118565 139021061 o2(x,o2(x,o1(x))) true 108527 108527 -0.08955 0.4707 0.5341 0.4479 0.6693 -1 1 2 1 4.014 0.01845 0.007761 0.06224 0.4079 1 0.00002877 0.03083 0.03543 0.02234 0.1495 2.401 2.462 0.05852 0.06883 1 1 0.03854 0.2824 0.7198 0.08603 0.6305 1.607 json
t17_x24_u6_b15 17 24 6 15 sub(R,pow(R,nrm(P))) 118566 139021062 o2(x,o2(x,o1(x))) true 108535 108535 -0.9787 0 0.9787 0.01402 0.1184 -1 -0.004447 0.9956 1 0.3853 0.001737 0.001711 0.006883 0.007583 1 0.00002033 0.006795 0.009532 0.003399 0.0583 8.471 1.306 0.2458 0.4845 1 1 0.002879 0.01314 0.02354 0.2053 0.9369 1.678 json
t17_x24_u6_b16 17 24 6 16 sub(R,mod(R,nrm(P))) 118567 139021063 o2(x,o2(x,o1(x))) true 108543 108543 -0.1238 0.2645 0.2631 0.1781 0.422 -1 0.8941 1.894 1 3.36 0.01368 0.001046 0.0352 0.8579 1 0.00005187 0.02571 0.02487 0.01348 0.1161 3.299 1.894 0.08265 0.1444 1 1 0.01873 0.1015 0.2963 0.1052 0.5697 1.664 json
t17_x24_u6_b17 17 24 6 17 sub(R,lrg(R,nrm(P))) 118568 139021064 o2(x,o2(x,o1(x))) true 108551 108551 -0.446 0.1471 0.5472 0.1971 0.4439 -1 0.9276 1.928 1 4.398 0.001547 0.001688 0.04297 -0.04367 1 0.00003026 0.0003296 0.01135 0.001389 0.03727 0.8672 0.1943 0.01642 0.001672 1 1 0.006398 0.0784 0.2174 0.03246 0.3978 1.103 json
t17_x24_u6_b18 17 24 6 18 sub(R,eql(R,nrm(P))) 118569 139021065 o2(x,o2(x,o1(x))) true 108559 108559 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_x24_u6_b19 17 24 6 19 sub(R,min(R,nrm(P))) 118570 139021066 o2(x,o2(x,o1(x))) true 108567 108567 0.3413 0.68 0.3413 0.1619 0.4024 0 1 1 1 2.765 0.0008607 0.0009414 0.02228 -0.04482 1 -0.000009466 0.0002839 0.00671 0.001306 0.03613 1.622 0.2024 0.01113 0.001753 1 1 0.003659 0.04136 0.1262 0.0226 0.2554 0.7792 json
t17_x24_u6_b20 17 24 6 20 sub(R,dot(R,nrm(P))) 118571 139021067 o2(x,o2(x,o1(x))) true 108575 108575 0.02824 0.5096 0.4283 0.3025 0.55 -1 1 2 1 4.662 0.005497 0.007303 0.06718 -0.1412 1 0.00004358 0.008001 0.02224 0.008288 0.09104 1.355 2.012 0.04231 0.02644 1 1 0.0235 0.2281 0.5614 0.07768 0.7539 1.856 json
t17_x24_u6_b21 17 24 6 21 sub(R,dst(R,nrm(P))) 118572 139021068 o2(x,o2(x,o1(x))) true 108583 108583 -0.9036 0.01413 0.9081 0.05722 0.2392 -1 0.6638 1.664 1 1.512 0.001672 0.001469 0.02096 0.06451 1 0.00006096 0.001647 0.01072 0.002703 0.05199 2.481 1.478 0.0549 0.02879 1 1 0.005598 0.04924 0.1187 0.09784 0.8605 2.074 json
t17_x24_u6_b22 17 24 6 22 mlt(R,add(R,nrm(P))) 118573 139021069 o2(x,o2(x,o1(x))) true 108591 108591 0.2833 0.7709 0.3503 0.1468 0.3832 -1 1 2 1 4.136 0.003567 0.003606 0.04361 -0.005536 1 -0.00004838 0.008096 0.0162 0.00527 0.0726 1.665 2.228 0.04885 0.05514 1 1 0.01307 0.1052 0.3379 0.089 0.7165 2.301 json
t17_x24_u6_b23 17 24 6 23 mlt(R,sub(R,nrm(P))) 118574 139021070 o2(x,o2(x,o1(x))) true 108599 108599 0.3218 0.8105 0.3817 0.1461 0.3823 -1 1 2 1 4.185 0.003115 0.004064 0.04692 -0.1323 1 -0.00001322 0.007718 0.01682 0.004977 0.07055 1.503 2 0.04912 0.05281 1 1 0.01321 0.1102 0.3011 0.09042 0.7543 2.06 json
t17_x24_u6_b24 17 24 6 24 mlt(R,mlt(R,nrm(P))) 118575 139021071 o2(x,o2(x,o1(x))) true 108607 108607 -0.01376 0.4881 0.2338 0.1014 0.3184 -1 0.8728 1.873 1 4.268 0.001382 0.00144 0.02232 -0.02035 1 0.00000821 0.004332 0.008741 0.002324 0.04821 2.16 1.648 0.02784 0.04273 1 1 0.004886 0.03079 0.1248 0.04819 0.3037 1.231 json
t17_x24_u6_b25 17 24 6 25 mlt(R,div(R,nrm(P))) 118576 139021072 o2(x,o2(x,o1(x))) true 108615 108615 -0.1337 0.4375 0.5516 0.4071 0.638 -1 1 2 1 4.565 0.01482 0.001312 0.0418 0.8374 1 0.00001797 0.02749 0.02676 0.01439 0.12 2.87 2 0.03963 0.06753 1 1 0.02131 0.1168 0.3587 0.05234 0.2869 0.8811 json
t17_x24_u6_b26 17 24 6 26 mlt(R,pow(R,nrm(P))) 118577 139021073 o2(x,o2(x,o1(x))) true 108623 108623 -0.8903 0.05995 0.9724 0.1681 0.41 -1 1 2 1 0.7059 0.01665 0.01618 0.02221 0.01439 1 0.000005928 0.06808 0.0388 0.03233 0.1798 8.096 2.802 0.1953 0.405 1 1 0.03029 0.1304 0.3575 0.1802 0.7755 2.127 json
t17_x24_u6_b27 17 24 6 27 mlt(R,mod(R,nrm(P))) 118578 139021074 o2(x,o2(x,o1(x))) true 108631 108631 0.04502 0.875 0.295 0.1814 0.4259 -1 0.8605 1.86 1 3.203 0.009255 0.0002857 0.02474 0.9401 1 0.000001281 0.01796 0.02063 0.008929 0.09449 3.819 1.234 0.05261 0.09902 1 1 0.01297 0.06268 0.2789 0.07151 0.3456 1.538 json
t17_x24_u6_b28 17 24 6 28 mlt(R,lrg(R,nrm(P))) 118579 139021075 o2(x,o2(x,o1(x))) true 108639 108639 0.1327 0.5225 0.2166 0.09701 0.3115 -0.8716 0.9809 1.852 1 3.589 0.001197 0.001334 0.03361 -0.05416 1 0.00001608 0.0001459 0.007749 0.001401 0.03743 1.114 0.2005 0.02609 0.001504 1 1 0.005217 0.06686 0.186 0.05378 0.6893 1.917 json
t17_x24_u6_b29 17 24 6 29 mlt(R,eql(R,nrm(P))) 118580 139021076 o2(x,o2(x,o1(x))) true 108647 108647 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_x24_u6_b30 17 24 6 30 mlt(R,min(R,nrm(P))) 118581 139021077 o2(x,o2(x,o1(x))) true 108655 108655 0.1585 0.7529 0.3011 0.1139 0.3375 -0.8885 0.9978 1.886 1 4.399 0.001091 0.001304 0.03774 -0.08907 1 -0.00001785 0.0001386 0.00864 0.0009708 0.03116 0.8255 0.1939 0.02103 0.001217 1 1 0.004589 0.05873 0.1569 0.04028 0.5156 1.377 json
t17_x24_u6_b31 17 24 6 31 mlt(R,dot(R,nrm(P))) 118582 139021078 o2(x,o2(x,o1(x))) true 108663 108663 0.002243 0.5008 0.3075 0.1635 0.4043 -1 1 2 1 4.629 0.002162 0.002096 0.03773 0.01549 1 0.000008132 0.004559 0.01227 0.002835 0.05324 1.411 2.108 0.02605 0.02789 1 1 0.007452 0.0632 0.2202 0.04558 0.3865 1.347 json
t17_x24_u6_b32 17 24 6 32 mlt(R,dst(R,nrm(P))) 118583 139021079 o2(x,o2(x,o1(x))) true 108671 108671 -0.01216 0.482 0.517 0.376 0.6132 -1 1 2 1 4.781 0.006595 0.007799 0.0769 -0.08361 1 0.00002344 0.00966 0.02571 0.008481 0.09209 1.197 2 0.03828 0.02569 1 1 0.02732 0.2655 0.6745 0.07266 0.7062 1.794 json
t17_x24_u6_b33 17 24 6 33 div(R,add(R,nrm(P))) 118584 139021080 o2(x,o2(x,o1(x))) true 108679 108679 0.132 0.608 0.6723 0.5567 0.7461 -1 1 2 1 4.04 0.01734 0.01746 0.08067 -0.003554 1 0.00007184 0.03833 0.05502 0.02829 0.1682 2.085 2.403 0.06252 0.06886 1 1 0.05367 0.3802 1.097 0.09641 0.683 1.971 json
t17_x24_u6_b34 17 24 6 34 div(R,sub(R,nrm(P))) 118585 139021081 o2(x,o2(x,o1(x))) true 108687 108687 0.06559 0.6018 0.6495 0.5435 0.7372 -1 1 2 1 4.04 0.0141 0.0144 0.0723 -0.01026 1 0.00001119 0.03044 0.04775 0.02328 0.1526 2.11 2.273 0.05244 0.05601 1 1 0.0513 0.3504 1.045 0.09439 0.6447 1.922 json
t17_x24_u6_b35 17 24 6 35 div(R,mlt(R,nrm(P))) 118586 139021082 o2(x,o2(x,o1(x))) true 108695 108695 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t17_x24_u6_b36 17 24 6 36 div(R,div(R,nrm(P))) 118587 139021083 o2(x,o2(x,o1(x))) true 108703 108703 -0.01562 0.4896 0.6504 0.5048 0.7105 -1 1 2 1 4.761 0.001863 0.00124 0.0104 0.2009 1 -2.217e-10 0.00612 0.00575 0.002995 0.05473 5.261 2.414 0.006147 0.01212 1 1 0.005637 0.02655 0.1534 0.01117 0.05259 0.3039 json
t17_x24_u6_b37 17 24 6 37 div(R,pow(R,nrm(P))) 118588 139021084 o2(x,o2(x,o1(x))) true 108711 108711 -0.9026 0.05974 0.9601 0.132 0.3633 -1 0.9952 1.995 1 0.7228 0.01292 0.01277 0.02036 0.006046 1 0.000007338 0.05313 0.03434 0.02527 0.159 7.807 2.718 0.1946 0.4025 1 1 0.02266 0.09916 0.2756 0.1717 0.7512 2.088 json
t17_x24_u6_b38 17 24 6 38 div(R,mod(R,nrm(P))) 118589 139021085 o2(x,o2(x,o1(x))) true 108719 108719 0.75 0.875 1 0.4375 0.6614 -1 1 2 1 0.5436 0.03175 2.657e-17 0.01587 1 1 2.733e-9 0.06349 0.03175 0.03149 0.1774 11.18 2 0.07256 0.1451 1 1 0.04211 0.1684 0.6737 0.09624 0.385 1.54 json
t17_x24_u6_b39 17 24 6 39 div(R,lrg(R,nrm(P))) 118590 139021086 o2(x,o2(x,o1(x))) true 108727 108727 -0.6522 0.1951 0.8122 0.3355 0.5792 -1 0.9693 1.969 1 2.259 0.01401 0.01467 0.03357 -0.02304 1 0.00001533 0.05729 0.04018 0.02754 0.166 4.944 2.748 0.08549 0.1708 1 1 0.02593 0.1263 0.3263 0.07729 0.3765 0.9727 json
t17_x24_u6_b40 17 24 6 40 div(R,eql(R,nrm(P))) 118591 139021087 o2(x,o2(x,o1(x))) true 108735 108735 -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_x24_u6_b41 17 24 6 41 div(R,min(R,nrm(P))) 118592 139021088 o2(x,o2(x,o1(x))) true 108743 108743 0.4005 0.6944 0.791 0.5657 0.7521 -1 1 2 1 3.206 0.01625 0.011 0.0471 0.1926 1 0.00002053 0.04567 0.03235 0.02502 0.1582 3.359 2.828 0.04817 0.08075 1 1 0.04407 0.2546 0.6731 0.07791 0.45 1.19 json
t17_x24_u6_b42 17 24 6 42 div(R,dot(R,nrm(P))) 118593 139021089 o2(x,o2(x,o1(x))) true 108751 108751 -0.03158 0.4881 0.8081 0.7297 0.8542 -1 1 2 1 3.636 0.01596 0.0138 0.06947 0.07234 1 -0.00001781 0.0298 0.04491 0.02494 0.1579 2.273 2.088 0.04078 0.04083 1 1 0.05098 0.3521 0.9635 0.06986 0.4826 1.321 json
t17_x24_u6_b43 17 24 6 43 div(R,dst(R,nrm(P))) 118594 139021090 o2(x,o2(x,o1(x))) true 108759 108759 -0.0056 0.4871 0.3512 0.1994 0.4466 -1 1 2 1 4.652 0.004133 0.004372 0.05455 -0.02802 1 -0.00001022 0.00796 0.01869 0.005529 0.07436 1.363 2.828 0.04264 0.03991 1 1 0.01517 0.133 0.3789 0.07605 0.667 1.9 json
t17_x24_u6_b44 17 24 6 44 pow(R,add(R,nrm(P))) 118595 139021091 o2(x,o2(x,o1(x))) true 108767 108767 -0.9179 0.04297 0.9962 0.1515 0.3892 -1 1 2 1 0.3277 0.01586 0.01464 0.01597 0.03995 1 -0.000003083 0.06374 0.03177 0.03024 0.1739 10.89 2.828 0.2014 0.4208 1 1 0.02475 0.1062 0.2622 0.1634 0.7013 1.731 json
t17_x24_u6_b45 17 24 6 45 pow(R,sub(R,nrm(P))) 118596 139021092 o2(x,o2(x,o1(x))) true 108775 108775 -0.9313 0.04297 0.9827 0.1075 0.3279 -1 1 2 1 0.4171 0.01052 0.01106 0.014 -0.02493 1 0.000005361 0.04505 0.0266 0.02138 0.1462 10.44 2.689 0.2007 0.4189 1 1 0.01557 0.06848 0.1738 0.1448 0.6368 1.617 json
t17_x24_u6_b46 17 24 6 46 pow(R,mlt(R,nrm(P))) 118597 139021093 o2(x,o2(x,o1(x))) true 108783 108783 -0.853 0.07422 0.9985 0.2696 0.5192 -1 1 2 1 0.4299 0.02435 0.02388 0.02439 0.009679 1 9.429e-7 0.1006 0.0488 0.04761 0.2182 8.947 2.828 0.1789 0.3732 1 1 0.04597 0.192 0.6354 0.1705 0.7121 2.357 json
t17_x24_u6_b47 17 24 6 47 pow(R,div(R,nrm(P))) 118598 139021094 o2(x,o2(x,o1(x))) true 108791 108791 -0.9193 0.04283 0.9948 0.1483 0.3851 -1 1 2 1 0.3203 0.01607 0.0142 0.01597 0.06161 1 0.000001067 0.06327 0.03158 0.03001 0.1732 10.85 2.828 0.2041 0.4266 1 1 0.02458 0.1037 0.2604 0.1658 0.6996 1.756 json
t17_x24_u6_b48 17 24 6 48 pow(R,pow(R,nrm(P))) 118599 139021095 o2(x,o2(x,o1(x))) true 108799 108799 -0.9359 0.04282 0.9781 0.09439 0.3072 -1 0.9404 1.94 1 0.4223 0.009328 0.009754 0.0137 -0.02234 1 0.000009644 0.03978 0.02496 0.0189 0.1375 10.04 2.644 0.2021 0.4214 1 1 0.01452 0.06384 0.1556 0.1538 0.6763 1.649 json