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_x1_u5_b51 17 1 5 51 pow(P,eql(P,sgn(D))) 99000 138091674 o2(x,o2(x,o1(x))) true 108807 108807 0.875 0.9375 1 0.2344 0.4841 -1 1 2 1 0.3373 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.1354 0.2709 1 1 0.04211 0.1684 0.3368 0.1796 0.7186 1.437 json
t17_x1_u5_b52 17 1 5 52 pow(P,min(P,sgn(D))) 99001 138091675 o2(x,o2(x,o1(x))) true 108815 108815 -0.08631 0.5 0.9137 0.873 0.9344 -1 1 2 1 2.059 0.03329 0 0.04615 1 1 -0.0006177 0.06114 0.06458 0.03114 0.1765 3.824 2 0.03813 0.07003 1 1 0.03801 0.1309 0.306 0.04354 0.1499 0.3504 json
t17_x1_u5_b53 17 1 5 53 pow(P,dot(P,sgn(D))) 99002 138091676 o2(x,o2(x,o1(x))) true 108823 108823 -0.1551 0.4375 0.9699 0.938 0.9685 -1 1 2 1 1.412 0.02507 0.00728 0.03235 0.5499 1 -0.0002384 0.07298 0.05656 0.03133 0.177 5.471 2 0.03449 0.0778 1 1 0.04193 0.1231 0.2965 0.0447 0.1312 0.3161 json
t17_x1_u5_b54 17 1 5 54 pow(P,dst(P,sgn(D))) 99003 138091677 o2(x,o2(x,o1(x))) true 108831 108831 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t17_x1_u5_b55 17 1 5 55 mod(P,add(P,sgn(D))) 99004 138091678 o2(x,o2(x,o1(x))) true 108839 108839 -0.125 0.4375 0.9375 0.9084 0.9531 -1 1 2 1 1.8 0.02451 0 0.0238 1 1 0 0.04785 0.03359 0.02395 0.1548 6.501 2 0.02698 0.05268 1 1 0.03327 0.1244 0.3186 0.03663 0.1369 0.3508 json
t17_x1_u5_b56 17 1 5 56 mod(P,sub(P,sgn(D))) 99005 138091679 o2(x,o2(x,o1(x))) true 108847 108847 -0.125 0.4375 0.9016 0.8666 0.9309 -1 1 2 1 2.086 0.02628 0 0.03174 1 1 9.386e-13 0.04857 0.03832 0.02528 0.159 5.009 2 0.03033 0.05605 1 1 0.03751 0.1719 0.3133 0.04329 0.1983 0.3616 json
t17_x1_u5_b57 17 1 5 57 mod(P,mlt(P,sgn(D))) 99006 138091680 o2(x,o2(x,o1(x))) true 108855 108855 -0.125 0.3125 0.6255 0.5899 0.768 -1 1 2 1 2.418 0.01617 0 0.03866 1 1 0 0.02037 0.03799 0.01467 0.1211 3.133 1 0.02741 0.03454 1 1 0.02392 0.1466 0.4242 0.04055 0.2485 0.7191 json
t17_x1_u5_b58 17 1 5 58 mod(P,div(P,sgn(D))) 99007 138091681 o2(x,o2(x,o1(x))) true 108863 108863 -0.125 0.3125 0.6255 0.5899 0.768 -1 1 2 1 2.418 0.01617 0 0.03866 1 1 0 0.02037 0.03799 0.01467 0.1211 3.133 1 0.02741 0.03454 1 1 0.02392 0.1466 0.4242 0.04055 0.2485 0.7191 json
t17_x1_u5_b59 17 1 5 59 mod(P,pow(P,sgn(D))) 99008 138091682 o2(x,o2(x,o1(x))) true 108871 108871 -0.551 0.1172 0.574 0.2604 0.5103 -1 0.1999 1.2 1 1.623 0.004261 0 0.006877 1 1 3.196e-13 0.00848 0.01119 0.004213 0.06491 9.438 1 0.01636 0.03256 1 1 0.005606 0.02257 0.08637 0.02152 0.08668 0.3317 json
t17_x1_u5_b60 17 1 5 60 mod(P,mod(P,sgn(D))) 99009 138091683 o2(x,o2(x,o1(x))) true 108879 108879 -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_x1_u5_b61 17 1 5 61 mod(P,lrg(P,sgn(D))) 99010 138091684 o2(x,o2(x,o1(x))) true 108887 108887 -0.625 0 0.625 0.2344 0.4841 -1 0 1 1 0.9544 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01693 0.03386 1 1 0.005263 0.02105 0.08421 0.02246 0.08982 0.3593 json
t17_x1_u5_b62 17 1 5 62 mod(P,eql(P,sgn(D))) 99011 138091685 o2(x,o2(x,o1(x))) true 108895 108895 -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_x1_u5_b63 17 1 5 63 mod(P,min(P,sgn(D))) 99012 138091686 o2(x,o2(x,o1(x))) true 108903 108903 -0.3128 0 0.3128 0.2049 0.4526 -1 0 1 1 1.463 0.012 0 0.02298 1 1 0.0006289 0.01812 0.02693 0.01148 0.1071 4.662 1 0.05859 0.08846 1 1 0.01722 0.09433 0.1835 0.08405 0.4604 0.8958 json
t17_x1_u5_b64 17 1 5 64 mod(P,dot(P,sgn(D))) 99013 138091687 o2(x,o2(x,o1(x))) true 108911 108911 -0.2344 0.3824 0.9021 0.8239 0.9077 -1 1 2 1 2.18 0.04485 0.04416 0.07271 0.007756 1 -2.178e-10 0.1898 0.1174 0.08376 0.2894 3.98 2.828 0.108 0.2303 1 1 0.1119 0.506 0.6599 0.1358 0.6141 0.8009 json
t17_x1_u5_b65 17 1 5 65 mod(P,dst(P,sgn(D))) 99014 138091688 o2(x,o2(x,o1(x))) true 108919 108919 -0.01562 0.4922 0.919 0.8969 0.947 -1 1 2 1 2.141 0.008481 0.005494 0.02655 0.2137 1 -9.198e-11 0.02752 0.03117 0.01328 0.1152 4.341 2.828 0.01558 0.03068 1 1 0.02359 0.09752 0.303 0.0263 0.1087 0.3378 json
t17_x1_u5_b66 17 1 5 66 lrg(P,add(P,sgn(D))) 99015 138091689 o2(x,o2(x,o1(x))) true 108927 108927 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_x1_u5_b67 17 1 5 67 lrg(P,sub(P,sgn(D))) 99016 138091690 o2(x,o2(x,o1(x))) true 108935 108935 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_x1_u5_b68 17 1 5 68 lrg(P,mlt(P,sgn(D))) 99017 138091691 o2(x,o2(x,o1(x))) true 108943 108943 0.25 0.5 0.25 0.1334 0.3652 0 0.9997 0.9997 1 2.329 0.03057 0 0.05947 1 1 0.00008984 0.05637 0.06285 0.02703 0.1644 2.765 0.9994 0.2292 0.4226 1 1 0.03407 0.1219 0.03299 0.2554 0.9143 0.2473 json
t17_x1_u5_b69 17 1 5 69 lrg(P,div(P,sgn(D))) 99018 138091692 o2(x,o2(x,o1(x))) true 108951 108951 0.25 0.5 0.25 0.1334 0.3652 0 0.9997 0.9997 1 2.329 0.03057 0 0.05947 1 1 0.00008984 0.05637 0.06285 0.02703 0.1644 2.765 0.9994 0.2292 0.4226 1 1 0.03407 0.1219 0.03299 0.2554 0.9143 0.2473 json
t17_x1_u5_b70 17 1 5 70 lrg(P,pow(P,sgn(D))) 99019 138091693 o2(x,o2(x,o1(x))) true 108959 108959 0.6875 0.9375 0.6875 0.1607 0.4009 0 1 1 1 2.466 0.0266 0 0.05551 1 1 0.00008984 0.04834 0.05492 0.02352 0.1534 2.763 0.9994 0.1655 0.3007 1 1 0.02889 0.1138 0.09898 0.1797 0.7079 0.6157 json
t17_x1_u5_b71 17 1 5 71 lrg(P,mod(P,sgn(D))) 99020 138091694 o2(x,o2(x,o1(x))) true 108967 108967 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_x1_u5_b72 17 1 5 72 lrg(P,lrg(P,sgn(D))) 99021 138091695 o2(x,o2(x,o1(x))) true 108975 108975 0.4375 0.4375 0.4375 0.2461 0.4961 0 1 1 1 0.9887 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0.005263 0.02105 0.08421 0.02139 0.08555 0.3422 json
t17_x1_u5_b73 17 1 5 73 lrg(P,eql(P,sgn(D))) 99022 138091696 o2(x,o2(x,o1(x))) true 108983 108983 0.4375 0.5 0.4375 0.2326 0.4823 0 1 1 1 1.565 0.00467 0 0.0119 1 1 -4.731e-10 0.008068 0.009787 0.004528 0.06729 5.654 0.9994 0.02008 0.03469 1 1 0.007036 0.03244 0.06598 0.03025 0.1395 0.2837 json
t17_x1_u5_b74 17 1 5 74 lrg(P,min(P,sgn(D))) 99023 138091697 o2(x,o2(x,o1(x))) true 108991 108991 0.4688 0.5625 0.4688 0.2287 0.4783 0 1 1 1 1.79 0.008986 0 0.01983 1 1 -4.731e-10 0.01612 0.01865 0.008594 0.0927 4.674 0.9994 0.03929 0.07047 1 1 0.01315 0.05273 0.06598 0.05748 0.2305 0.2885 json
t17_x1_u5_b75 17 1 5 75 lrg(P,dot(P,sgn(D))) 99024 138091698 o2(x,o2(x,o1(x))) true 108999 108999 0.5156 0.9812 0.5156 0.1503 0.3877 8.471e-8 1 1 1 3.499 0.01877 0.03329 0.1107 -0.279 1 0.0002196 0.102 0.1257 0.03981 0.1995 1.803 0.9997 0.3463 0.6783 1 1 0.05665 0.2028 0.05879 0.3769 1.349 0.3911 json
t17_x1_u5_b76 17 1 5 76 lrg(P,dst(P,sgn(D))) 99025 138091699 o2(x,o2(x,o1(x))) true 109007 109007 0.06445 0.195 0.06445 0.04005 0.2001 0 0.9997 0.9997 1 1.037 0.007918 0.002897 0.02281 0.4642 1 -0.00003993 0.02096 0.02572 0.0103 0.1015 4.451 0.9997 0.27 0.5234 1 1 0.01361 0.05095 0.03483 0.3398 1.272 0.8696 json
t17_x1_u5_b77 17 1 5 77 eql(P,add(P,sgn(D))) 99026 138091700 o2(x,o2(x,o1(x))) true 109015 109015 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_x1_u5_b78 17 1 5 78 eql(P,sub(P,sgn(D))) 99027 138091701 o2(x,o2(x,o1(x))) true 109023 109023 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_x1_u5_b79 17 1 5 79 eql(P,mlt(P,sgn(D))) 99028 138091702 o2(x,o2(x,o1(x))) true 109031 109031 0.5313 1 0.5313 0.1475 0.3841 0.000291 1 0.9997 1 3.332 0.06079 0 0.1149 1 1 0 0.1127 0.1248 0.0476 0.2182 1.9 0.9997 0.4121 0.764 1 1 0.06466 0.2279 0.03299 0.4383 1.545 0.2236 json
t17_x1_u5_b80 17 1 5 80 eql(P,div(P,sgn(D))) 99029 138091703 o2(x,o2(x,o1(x))) true 109039 109039 0.5313 1 0.5313 0.1475 0.3841 0.000291 1 0.9997 1 3.332 0.06079 0 0.1149 1 1 0 0.1127 0.1248 0.0476 0.2182 1.9 0.9997 0.4121 0.764 1 1 0.06466 0.2279 0.03299 0.4383 1.545 0.2236 json
t17_x1_u5_b81 17 1 5 81 eql(P,pow(P,sgn(D))) 99030 138091704 o2(x,o2(x,o1(x))) true 109047 109047 0.2813 0.5 0.2813 0.1548 0.3935 0 1 1 1 2.278 0.03022 0 0.0555 1 1 -0.00008984 0.05626 0.06193 0.02713 0.1647 2.967 1 0.1952 0.3634 1 1 0.03322 0.1227 0.0751 0.2146 0.7926 0.4851 json
t17_x1_u5_b82 17 1 5 82 eql(P,mod(P,sgn(D))) 99031 138091705 o2(x,o2(x,o1(x))) true 109055 109055 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_x1_u5_b83 17 1 5 83 eql(P,lrg(P,sgn(D))) 99032 138091706 o2(x,o2(x,o1(x))) true 109063 109063 0.0625 0.0625 0.0625 0.05859 0.2421 0 1 1 1 0.3373 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.1354 0.2709 1 1 0.01053 0.04211 0.08421 0.1796 0.7186 1.437 json
t17_x1_u5_b84 17 1 5 84 eql(P,eql(P,sgn(D))) 99033 138091707 o2(x,o2(x,o1(x))) true 109071 109071 0.09375 0.1875 0.09375 0.06467 0.2543 0 0.9997 0.9997 1 1.124 0.005022 0 0.01587 1 1 -9.461e-10 0.008084 0.01071 0.004767 0.06905 4.352 0.9994 0.07766 0.125 1 1 0.007962 0.04437 0.08986 0.1231 0.6862 1.39 json
t17_x1_u5_b85 17 1 5 85 eql(P,min(P,sgn(D))) 99034 138091708 o2(x,o2(x,o1(x))) true 109079 109079 0.5313 0.625 0.5313 0.2287 0.4783 0 1 1 1 1.79 0.008986 0 0.01983 1 1 -4.731e-10 0.01612 0.01865 0.008594 0.0927 4.674 0.9994 0.03929 0.07047 1 1 0.01315 0.05273 0.06598 0.05748 0.2305 0.2885 json
t17_x1_u5_b86 17 1 5 86 eql(P,dot(P,sgn(D))) 99035 138091709 o2(x,o2(x,o1(x))) true 109087 109087 0.04688 0.1703 0.04688 0.02724 0.1651 0 0.9997 0.9997 1 0.8734 0.00446 0.001609 0.01601 0.4697 1 0.000005705 0.01121 0.01566 0.005808 0.07621 4.761 1.413 0.2228 0.4114 1 1 0.008905 0.04284 0.0512 0.3268 1.572 1.879 json
t17_x1_u5_b87 17 1 5 87 eql(P,dst(P,sgn(D))) 99036 138091710 o2(x,o2(x,o1(x))) true 109095 109095 0.007812 0.02954 0.007812 0.004736 0.06882 0 0.9994 0.9994 1 0.1956 0.0008594 0.0006621 0.003383 0.1297 1 -8.335e-11 0.003018 0.003897 0.001512 0.03888 11.49 0.9994 0.3213 0.6372 1 1 0.002901 0.0131 0.01469 0.6127 2.766 3.103 json
t17_x1_u5_b88 17 1 5 88 min(P,add(P,sgn(D))) 99037 138091711 o2(x,o2(x,o1(x))) true 109103 109103 -0.0625 0.4375 0.9375 0.9336 0.9662 -1 1 2 1 1.272 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.008501 0.017 1 1 0.01053 0.04211 0.2526 0.01128 0.0451 0.2706 json
t17_x1_u5_b89 17 1 5 89 min(P,sub(P,sgn(D))) 99038 138091712 o2(x,o2(x,o1(x))) true 109111 109111 -0.0625 0.4688 0.9375 0.9184 0.9583 -1 1 2 1 1.809 0.01063 0 0.02379 1 1 0 0.0166 0.02131 0.01007 0.1003 4.218 0.9988 0.01158 0.01808 1 1 0.0172 0.07175 0.2321 0.01872 0.07812 0.2528 json
t17_x1_u5_b90 17 1 5 90 min(P,mlt(P,sgn(D))) 99039 138091713 o2(x,o2(x,o1(x))) true 109119 109119 -0.5378 0.207 0.8997 0.586 0.7655 -1 1 2 1 1.968 0.1571 0 0.119 1 1 1.89e-9 0.2652 0.165 0.1429 0.3781 3.176 2 0.2681 0.4526 1 1 0.1765 0.7705 0.1207 0.3012 1.315 0.206 json
t17_x1_u5_b91 17 1 5 91 min(P,div(P,sgn(D))) 99040 138091714 o2(x,o2(x,o1(x))) true 109127 109127 -0.5378 0.207 0.8997 0.586 0.7655 -1 1 2 1 1.968 0.1571 0 0.119 1 1 1.89e-9 0.2652 0.165 0.1429 0.3781 3.176 2 0.2681 0.4526 1 1 0.1765 0.7705 0.1207 0.3012 1.315 0.206 json
t17_x1_u5_b92 17 1 5 92 min(P,pow(P,sgn(D))) 99041 138091715 o2(x,o2(x,o1(x))) true 109135 109135 -0.08631 0.5 0.8512 0.797 0.8927 -1 1 2 1 2.722 0.01812 0 0.04615 1 1 -0.0006177 0.02942 0.05055 0.016 0.1265 2.741 0.8554 0.02274 0.03692 1 1 0.01881 0.07104 0.2188 0.0236 0.08914 0.2745 json
t17_x1_u5_b93 17 1 5 93 min(P,mod(P,sgn(D))) 99042 138091716 o2(x,o2(x,o1(x))) true 109143 109143 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 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_x1_u5_b94 17 1 5 94 min(P,lrg(P,sgn(D))) 99043 138091717 o2(x,o2(x,o1(x))) true 109151 109151 -0.03125 0.5 0.9063 0.8844 0.9404 -1 1 2 1 2.109 0.005022 0 0.01587 1 1 0 0.008084 0.01071 0.004772 0.06908 4.353 0.9994 0.005679 0.009141 1 1 0.007962 0.04478 0.1923 0.009002 0.05064 0.2174 json
t17_x1_u5_b95 17 1 5 95 min(P,eql(P,sgn(D))) 99044 138091718 o2(x,o2(x,o1(x))) true 109159 109159 -0.4375 0.0625 0.5 0.2951 0.5432 -1 0.9997 2 1 1.813 0.004672 0 0.0119 1 1 2.365e-10 0.008018 0.00979 0.00453 0.06731 5.655 0.9997 0.01583 0.02717 1 1 0.007075 0.03878 0.1411 0.02398 0.1314 0.4781 json
t17_x1_u5_b96 17 1 5 96 min(P,min(P,sgn(D))) 99045 138091719 o2(x,o2(x,o1(x))) true 109167 109167 -0.5313 0.2188 0.8326 0.4902 0.7001 -1 0.9994 1.999 1 2.482 0.1252 0 0.1189 1 1 -0.0001797 0.2333 0.1327 0.111 0.3332 2.802 1.999 0.2554 0.476 1 1 0.1388 0.4786 0.09898 0.2832 0.9764 0.2019 json
t17_x1_u5_b97 17 1 5 97 min(P,dot(P,sgn(D))) 99046 138091720 o2(x,o2(x,o1(x))) true 109175 109175 -0.6501 0.1698 0.9381 0.4968 0.7048 -1 1 2 1 1.565 0.09093 0.08278 0.1351 0.04691 1 -0.00001977 0.307 0.1972 0.1554 0.3943 2.918 2.364 0.3496 0.6179 1 1 0.1898 0.6959 0.1891 0.382 1.401 0.3807 json
t17_x1_u5_b98 17 1 5 98 min(P,dst(P,sgn(D))) 99047 138091721 o2(x,o2(x,o1(x))) true 109183 109183 -0.001241 0.5 0.9363 0.9223 0.9604 -1 1 2 1 1.831 0.0009379 0.0001571 0.008691 0.7131 1 1.502e-11 0.0008156 0.002851 0.00102 0.03193 3.674 0.9992 0.001187 0.0008844 1 1 0.002603 0.02677 0.2331 0.002822 0.02903 0.2527 json
t17_x1_u5_b99 17 1 5 99 dot(P,add(P,sgn(D))) 99048 138091722 o2(x,o2(x,o1(x))) true 109191 109191 0.9844 0.9844 0.9844 0.01538 0.124 0 1 1 1 0.1161 0.001008 0.001008 0.002006 0 1 0 0.004157 0.004031 0.002013 0.04487 22.36 1.414 0.131 0.2703 1 1 0.003546 0.01418 0.05673 0.2305 0.9221 3.688 json
t17_x1_u5_b100 17 1 5 100 dot(P,sub(P,sgn(D))) 99049 138091723 o2(x,o2(x,o1(x))) true 109199 109199 0.9955 1 0.9955 0.0032 0.05657 0.001164 1 0.9988 1 0.09819 0.0006947 0.0006947 0.002923 -7.96e-7 1 -4.881e-11 0.002475 0.003695 0.00138 0.03715 12.71 1.409 0.4342 0.7737 1 1 0.002973 0.00953 0.0117 0.929 2.978 3.657 json
t17_x1_u5_b101 17 1 5 101 dot(P,mlt(P,sgn(D))) 99050 138091724 o2(x,o2(x,o1(x))) true 109207 109207 -1.863e-9 0.498 0.9705 0.9625 0.9811 -1 1 2 1 1.487 0.2533 0.2533 0.272 0.000001 1 -1.502e-11 1.119 0.5215 0.4327 0.6578 2.418 2.828 0.5263 1.163 1 1 0.508 1.737 0.4486 0.5278 1.805 0.4661 json
t17_x1_u5_b102 17 1 5 102 dot(P,div(P,sgn(D))) 99051 138091725 o2(x,o2(x,o1(x))) true 109215 109215 -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_x1_u5_b103 17 1 5 103 dot(P,pow(P,sgn(D))) 99052 138091726 o2(x,o2(x,o1(x))) true 109223 109223 -0.5008 0.25 0.9992 0.7483 0.865 -1 1 2 1 0.8325 0.007543 0.007543 0.007877 6.174e-8 1 3.341e-10 0.03016 0.01543 0.01502 0.1226 15.56 2 0.02016 0.04031 1 1 0.01971 0.08047 0.3328 0.02634 0.1075 0.4447 json
t17_x1_u5_b104 17 1 5 104 dot(P,mod(P,sgn(D))) 99053 138091727 o2(x,o2(x,o1(x))) true 109231 109231 -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_x1_u5_b105 17 1 5 105 dot(P,lrg(P,sgn(D))) 99054 138091728 o2(x,o2(x,o1(x))) true 109239 109239 0.6948 0.75 0.6948 0.2005 0.4478 0 1 1 1 1.372 0.002703 0.002703 0.01298 5.168e-7 1 3.18e-9 0.009009 0.01183 0.005243 0.07241 5.578 0.9991 0.02696 0.04493 1 1 0.008631 0.03347 0.07813 0.04304 0.1669 0.3896 json
t17_x1_u5_b106 17 1 5 106 dot(P,eql(P,sgn(D))) 99055 138091729 o2(x,o2(x,o1(x))) true 109247 109247 1.244e-9 0.1169 0.1189 0.0935 0.3058 -1 1 2 1 1.687 0.008309 0.008309 0.03029 0.000006445 1 2.159e-11 0.03085 0.03409 0.0157 0.1253 4.137 1.414 0.1777 0.33 1 1 0.02337 0.1016 0.1259 0.25 1.087 1.347 json
t17_x1_u5_b107 17 1 5 107 dot(P,min(P,sgn(D))) 99056 138091730 o2(x,o2(x,o1(x))) true 109255 109255 0.6011 0.8008 0.963 0.5901 0.7682 -1 1 2 1 1.315 0.07087 0.07087 0.1015 -3.154e-7 1 -0.0000705 0.2546 0.1549 0.1314 0.3625 3.571 2.479 0.2402 0.4315 1 1 0.1685 0.6718 0.2737 0.2856 1.138 0.4637 json
t17_x1_u5_b108 17 1 5 108 dot(P,dot(P,sgn(D))) 99057 138091731 o2(x,o2(x,o1(x))) true 109263 109263 3.725e-9 0.498 0.9344 0.9165 0.9573 -1 1 2 1 1.926 0.2472 0.2472 0.2761 6.331e-7 1 8.736e-9 1.128 0.5163 0.418 0.6465 2.341 2.828 0.5394 1.23 1 1 0.4848 1.621 0.5864 0.529 1.769 0.6399 json
t17_x1_u5_b109 17 1 5 109 dot(P,dst(P,sgn(D))) 99058 138091732 o2(x,o2(x,o1(x))) true 109271 109271 8.615e-9 0.498 0.9799 0.9748 0.9873 -1 1 2 1 1.335 0.003509 0.003509 0.01319 3.318e-8 1 1.38e-10 0.007803 0.01097 0.006845 0.08273 6.273 1.414 0.007199 0.008005 1 1 0.0135 0.09959 0.5427 0.01385 0.1022 0.5568 json
t17_x1_u5_b110 17 1 5 110 dst(P,add(P,sgn(D))) 99059 138091733 o2(x,o2(x,o1(x))) true 109279 109279 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_x1_u5_b111 17 1 5 111 dst(P,sub(P,sgn(D))) 99060 138091734 o2(x,o2(x,o1(x))) true 109287 109287 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_x1_u5_b112 17 1 5 112 dst(P,mlt(P,sgn(D))) 99061 138091735 o2(x,o2(x,o1(x))) true 109295 109295 0.9344 0.9961 0.9344 0.04715 0.2171 0 1 1 1 0.8417 0.01671 0.01671 0.05343 1.115e-7 1 -0.0007571 0.07017 0.08158 0.03055 0.1748 3.271 1 0.7089 1.488 1 1 0.04176 0.09567 0.03469 0.8857 2.029 0.7359 json
t17_x1_u5_b113 17 1 5 113 dst(P,div(P,sgn(D))) 99062 138091736 o2(x,o2(x,o1(x))) true 109303 109303 -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_x1_u5_b114 17 1 5 114 dst(P,pow(P,sgn(D))) 99063 138091737 o2(x,o2(x,o1(x))) true 109311 109311 -0.5 0.25 1 0.75 0.866 -1 1 2 1 0.8113 0.007937 0.007937 0.007937 0 1 0 0.03187 0.01587 0.01581 0.1257 15.84 2 0.02116 0.0425 1 1 0.02105 0.08421 0.3368 0.02807 0.1123 0.4491 json
t17_x1_u5_b115 17 1 5 115 dst(P,mod(P,sgn(D))) 99064 138091738 o2(x,o2(x,o1(x))) true 109319 109319 -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_x1_u5_b116 17 1 5 116 dst(P,lrg(P,sgn(D))) 99065 138091739 o2(x,o2(x,o1(x))) true 109327 109327 0.9961 0.9961 0.9961 0.003891 0.06238 0 1 1 1 0.03687 0.0005039 0.0005039 0.0009986 0 1 0 0.002142 0.002016 0.001006 0.03172 31.77 1.414 0.259 0.5504 1 1 0.001773 0.007091 0.01418 0.4556 1.823 3.645 json
t17_x1_u5_b117 17 1 5 117 dst(P,eql(P,sgn(D))) 99066 138091740 o2(x,o2(x,o1(x))) true 109335 109335 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_x1_u5_b118 17 1 5 118 dst(P,min(P,sgn(D))) 99067 138091741 o2(x,o2(x,o1(x))) true 109343 109343 0.7421 0.8086 0.7421 0.178 0.4219 0 1 1 1 1.367 0.004863 0.004863 0.0198 0.000001963 1 3.24e-9 0.01677 0.02138 0.009324 0.09656 4.877 0.9991 0.05463 0.09419 1 1 0.01477 0.04938 0.06658 0.08298 0.2774 0.3739 json
t17_x1_u5_b119 17 1 5 119 dst(P,dot(P,sgn(D))) 99068 138091742 o2(x,o2(x,o1(x))) true 109351 109351 0.9982 1 0.9982 0.001283 0.03583 0.0008232 1 0.9992 1 0.04415 0.00005219 0.00005219 0.0005935 -2.091e-7 1 -3.004e-11 0.00004116 0.0003428 0.0001041 0.0102 17.19 0.2959 0.08133 0.03207 1 1 0.0003411 0.003076 0.004678 0.2658 2.397 3.645 json
t17_x1_u5_b120 17 1 5 120 dst(P,dst(P,sgn(D))) 99069 138091743 o2(x,o2(x,o1(x))) true 109359 109359 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_x1_u6_b0 17 1 6 0 add(P,add(P,nrm(D))) 99070 138091824 o2(x,o2(x,o1(x))) true 109367 109367 0 0.5 0.9799 0.9717 0.9857 -1 1 2 1 1.424 0.002285 0.0004524 0.009164 0.6694 1 -4.74e-10 0.002629 0.00375 0.002655 0.05153 5.623 1.467 0.002817 0.002705 1 1 0.006039 0.05289 0.2983 0.006215 0.05443 0.307 json
t17_x1_u6_b1 17 1 6 1 add(P,sub(P,nrm(D))) 99071 138091825 o2(x,o2(x,o1(x))) true 109375 109375 -1.164e-10 0.5 0.9608 0.9504 0.9749 -1 1 2 1 1.564 0.005147 0.0004524 0.01642 0.8384 1 3.473e-10 0.003742 0.009414 0.005332 0.07302 4.448 1.465 0.005891 0.003938 1 1 0.0129 0.0659 0.2698 0.01357 0.06935 0.2839 json
t17_x1_u6_b2 17 1 6 2 add(P,mlt(P,nrm(D))) 99072 138091826 o2(x,o2(x,o1(x))) true 109383 109383 -0.02831 0.4941 0.9021 0.8812 0.9387 -1 1 2 1 2.146 0.00675 0.005285 0.03285 0.1218 1 -0.00007219 0.02451 0.0396 0.01096 0.1047 3.186 1.064 0.01366 0.02781 1 1 0.01872 0.06143 0.2082 0.02124 0.06972 0.2363 json
t17_x1_u6_b3 17 1 6 3 add(P,div(P,nrm(D))) 99073 138091827 o2(x,o2(x,o1(x))) true 109391 109391 -0.09164 0.4209 0.872 0.8366 0.9147 -1 1 2 1 2.346 0.3288 0.03009 0.252 0.8323 1 -0.0001819 0.6915 0.3998 0.2954 0.5435 2.157 2.1 0.4289 0.8265 1 1 0.3772 1.061 0.2043 0.4509 1.268 0.2442 json
t17_x1_u6_b4 17 1 6 4 add(P,pow(P,nrm(D))) 99074 138091828 o2(x,o2(x,o1(x))) true 109399 109399 -0.02152 0.5 0.9785 0.9739 0.9869 -1 1 2 1 1.244 0.004625 0 0.007937 1 1 -4.731e-10 0.007971 0.009631 0.00456 0.06753 8.509 1.001 0.004749 0.008185 1 1 0.006981 0.05009 0.3027 0.007168 0.05143 0.3108 json
t17_x1_u6_b5 17 1 6 5 add(P,mod(P,nrm(D))) 99075 138091829 o2(x,o2(x,o1(x))) true 109407 109407 0 0.5 0.9428 0.9318 0.9653 -1 1 2 1 1.719 0.0009134 0.00004027 0.008146 0.9155 1 0 0.0001935 0.002881 0.0008868 0.02978 3.656 0.1941 0.001023 0.0002077 1 1 0.002432 0.02813 0.245 0.00261 0.03019 0.263 json
t17_x1_u6_b6 17 1 6 6 add(P,lrg(P,nrm(D))) 99076 138091830 o2(x,o2(x,o1(x))) true 109415 109415 0.04098 0.5313 0.959 0.9453 0.9723 -1 1 2 1 1.571 0.006022 0 0.01586 1 1 0 0.008334 0.01158 0.005766 0.07594 4.787 0.9988 0.006371 0.008816 1 1 0.01045 0.06016 0.2663 0.01105 0.06364 0.2817 json
t17_x1_u6_b7 17 1 6 7 add(P,eql(P,nrm(D))) 99077 138091831 o2(x,o2(x,o1(x))) true 109423 109423 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t17_x1_u6_b8 17 1 6 8 add(P,min(P,nrm(D))) 99078 138091832 o2(x,o2(x,o1(x))) true 109431 109431 -0.04295 0.4941 0.9402 0.9297 0.9642 -1 1 2 1 1.599 0.001722 0.0004518 0.008999 0.5843 1 -0.00004386 0.001914 0.005804 0.002093 0.04575 5.085 0.8089 0.002338 0.002059 1 1 0.004827 0.03595 0.2456 0.005192 0.03867 0.2641 json
t17_x1_u6_b9 17 1 6 9 add(P,dot(P,nrm(D))) 99079 138091833 o2(x,o2(x,o1(x))) true 109439 109439 -0.07451 0.4623 0.9243 0.8939 0.9455 -1 1 2 1 2.135 0.03902 0.08204 0.124 -0.3554 1 0.0006831 0.2135 0.1523 0.1056 0.325 2.621 2.828 0.1354 0.2389 1 1 0.1454 0.534 0.2576 0.1627 0.5974 0.2881 json
t17_x1_u6_b10 17 1 6 10 add(P,dst(P,nrm(D))) 99080 138091834 o2(x,o2(x,o1(x))) true 109447 109447 0.9016 0.9681 0.9203 0.08063 0.284 -0.9263 1 1.926 1 1.284 0.005207 0.002447 0.02741 0.3605 1 -0.0001443 0.008818 0.01539 0.006907 0.08311 3.032 1.862 0.09492 0.1094 1 1 0.01392 0.0728 0.05543 0.1727 0.9028 0.6874 json
t17_x1_u6_b11 17 1 6 11 sub(P,add(P,nrm(D))) 99081 138091835 o2(x,o2(x,o1(x))) true 109455 109455 3.492e-9 0.5 0.3663 0.1867 0.4321 -0.9346 0.9346 1.869 1 4.562 0.03788 0.006951 0.1584 0.6899 1 -9.386e-13 0.04219 0.07112 0.01975 0.1405 0.8875 1.466 0.2401 0.226 1 1 0.07517 0.4029 4.1e-15 0.4025 2.158 2.196e-14 json
t17_x1_u6_b12 17 1 6 12 sub(P,sub(P,nrm(D))) 99082 138091836 o2(x,o2(x,o1(x))) true 109463 109463 -2.091e-9 0.5 0.3663 0.1867 0.4321 -0.9346 0.9346 1.869 1 4.562 0.03788 0.006951 0.1584 0.6899 1 -4.486e-10 0.04219 0.07112 0.01975 0.1405 0.8875 1.466 0.2401 0.226 1 1 0.07517 0.4029 5.019e-15 0.4025 2.158 2.688e-14 json
t17_x1_u6_b13 17 1 6 13 sub(P,mlt(P,nrm(D))) 99083 138091837 o2(x,o2(x,o1(x))) true 109471 109471 0.02831 0.5 0.9021 0.8812 0.9387 -1 1 2 1 2.146 0.006748 0.005285 0.0334 0.1216 1 0.00007219 0.02451 0.0396 0.01092 0.1045 3.128 0.818 0.01365 0.02781 1 1 0.0185 0.06137 0.2082 0.02099 0.06964 0.2363 json
t17_x1_u6_b14 17 1 6 14 sub(P,div(P,nrm(D))) 99084 138091838 o2(x,o2(x,o1(x))) true 109479 109479 0.09164 0.5732 0.872 0.8366 0.9147 -1 1 2 1 2.346 0.3286 0.03009 0.2492 0.8322 1 0.0001819 0.6915 0.3998 0.2967 0.5447 2.185 2.239 0.4287 0.8265 1 1 0.3775 1.057 0.2044 0.4513 1.263 0.2443 json
t17_x1_u6_b15 17 1 6 15 sub(P,pow(P,nrm(D))) 99085 138091839 o2(x,o2(x,o1(x))) true 109487 109487 -0.1012 0.4375 0.8988 0.8771 0.9365 -1 1 2 1 1.778 0.00656 0.002313 0.01993 0.4786 1 -0.00007483 0.0166 0.02501 0.008477 0.09207 4.62 1 0.01012 0.01893 1 1 0.01297 0.04983 0.2047 0.01478 0.05681 0.2333 json
t17_x1_u6_b16 17 1 6 16 sub(P,mod(P,nrm(D))) 99086 138091840 o2(x,o2(x,o1(x))) true 109495 109495 1.164e-10 0.5 0.9227 0.9014 0.9494 -1 1 2 1 2.126 0.002089 0.001161 0.01775 0.2857 1 -1.183e-10 0.01007 0.02277 0.002935 0.05418 3.052 0.5294 0.003605 0.01117 1 1 0.004739 0.0221 0.2062 0.005257 0.02451 0.2287 json
t17_x1_u6_b17 17 1 6 17 sub(P,lrg(P,nrm(D))) 99087 138091841 o2(x,o2(x,o1(x))) true 109503 109503 -0.09375 0.4375 0.9063 0.89 0.9434 -1 1 2 1 1.621 0.004321 0 0.007937 1 1 -4.731e-10 0.007953 0.008864 0.004257 0.06525 8.221 1 0.004855 0.008935 1 1 0.006189 0.0332 0.2014 0.006953 0.0373 0.2263 json
t17_x1_u6_b18 17 1 6 18 sub(P,eql(P,nrm(D))) 99088 138091842 o2(x,o2(x,o1(x))) true 109511 109511 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t17_x1_u6_b19 17 1 6 19 sub(P,min(P,nrm(D))) 99089 138091843 o2(x,o2(x,o1(x))) true 109519 109519 0.4897 0.5625 0.4897 0.2324 0.4821 0 1 1 1 1.694 0.00236 0.0004641 0.01448 0.6714 1 0.0000044 0.002315 0.009007 0.002614 0.05113 3.53 0.8079 0.01215 0.009959 1 1 0.006279 0.03215 0.06116 0.02701 0.1383 0.2632 json
t17_x1_u6_b20 17 1 6 20 sub(P,dot(P,nrm(D))) 99090 138091844 o2(x,o2(x,o1(x))) true 109527 109527 0.07451 0.5376 0.9243 0.8939 0.9454 -1 1 2 1 2.135 0.03891 0.08204 0.1245 -0.3567 1 -0.0006831 0.2135 0.1523 0.1055 0.3248 2.609 2.828 0.1353 0.2389 1 1 0.1442 0.532 0.2564 0.1613 0.5952 0.2868 json
t17_x1_u6_b21 17 1 6 21 sub(P,dst(P,nrm(D))) 99091 138091845 o2(x,o2(x,o1(x))) true 109535 109535 -0.9016 0.03192 0.9203 0.08063 0.284 -1 0.9263 1.926 1 1.284 0.005223 0.002447 0.02785 0.3619 1 0.0001443 0.008818 0.01539 0.006891 0.08301 2.981 1.465 0.09513 0.1094 1 1 0.01473 0.0802 0.0568 0.1826 0.9946 0.7045 json
t17_x1_u6_b22 17 1 6 22 mlt(P,add(P,nrm(D))) 99092 138091846 o2(x,o2(x,o1(x))) true 109543 109543 0.8973 0.9883 0.8973 0.08228 0.2869 1.761e-7 1 1 1 0.8621 0.001564 0.0004758 0.009512 0.5334 1 -0.00005077 0.001837 0.005469 0.00195 0.04416 4.642 0.8087 0.02479 0.02233 1 1 0.004501 0.03375 0.1247 0.0547 0.4102 1.515 json
t17_x1_u6_b23 17 1 6 23 mlt(P,sub(P,nrm(D))) 99093 138091847 o2(x,o2(x,o1(x))) true 109551 109551 0.9456 1 0.9456 0.03813 0.1953 0.00055 1 0.9994 1 0.7674 0.002955 0.0004189 0.01556 0.7517 1 -0.00003878 0.002952 0.01171 0.003133 0.05597 3.597 0.8071 0.08849 0.07741 1 1 0.007339 0.04055 0.05521 0.1925 1.064 1.448 json
t17_x1_u6_b24 17 1 6 24 mlt(P,mlt(P,nrm(D))) 99094 138091848 o2(x,o2(x,o1(x))) true 109559 109559 2.765e-9 0.5 0.8537 0.8149 0.9027 -1 1 2 1 2.671 0.3301 0.001787 0.2194 0.9892 1 -3.341e-10 0.6084 0.3486 0.2837 0.5327 2.428 2.014 0.4073 0.7466 1 1 0.3229 1.251 0.1601 0.3962 1.536 0.1964 json
t17_x1_u6_b25 17 1 6 25 mlt(P,div(P,nrm(D))) 99095 138091849 o2(x,o2(x,o1(x))) true 109567 109567 9.459e-10 0.5 0.9203 0.9023 0.9499 -1 1 2 1 2.011 0.394 0.001103 0.2315 0.9944 1 7.509e-12 0.7479 0.406 0.3414 0.5843 2.524 2.022 0.4378 0.8289 1 1 0.4033 1.45 0.1622 0.4469 1.607 0.1797 json
t17_x1_u6_b26 17 1 6 26 mlt(P,pow(P,nrm(D))) 99096 138091850 o2(x,o2(x,o1(x))) true 109575 109575 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t17_x1_u6_b27 17 1 6 27 mlt(P,mod(P,nrm(D))) 99097 138091851 o2(x,o2(x,o1(x))) true 109583 109583 0.5731 0.9883 0.5731 0.1601 0.4001 1.761e-7 1 1 1 3.126 0.06872 0.08265 0.2589 -0.09204 1 -0.001315 0.59 0.4898 0.08434 0.2904 1.122 1.27 0.9458 3.687 1 1 0.1239 0.1991 0.07037 0.7743 1.244 0.4397 json
t17_x1_u6_b28 17 1 6 28 mlt(P,lrg(P,nrm(D))) 99098 138091852 o2(x,o2(x,o1(x))) true 109591 109591 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_x1_u6_b29 17 1 6 29 mlt(P,eql(P,nrm(D))) 99099 138091853 o2(x,o2(x,o1(x))) true 109599 109599 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