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_x6_u5_b116 17 6 5 116 dst(P,lrg(R,sgn(P))) 103300 138293744 o2(x,o2(x,o1(x))) true 143207 143207 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_x6_u5_b117 17 6 5 117 dst(P,eql(R,sgn(P))) 103301 138293745 o2(x,o2(x,o1(x))) true 143215 143215 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_x6_u5_b118 17 6 5 118 dst(P,min(R,sgn(P))) 103302 138293746 o2(x,o2(x,o1(x))) true 143223 143223 0.9857 0.9999 0.9857 0.009771 0.09885 0.00002232 1 1 1 0.281 0.00008664 0.0001383 0.002218 -0.2297 1 3.754e-11 0.00004783 0.0008 0.00022 0.01483 6.688 0.2204 0.02302 0.004896 1 1 0.0007566 0.008336 0.03138 0.07744 0.8532 3.212 json
t17_x6_u5_b119 17 6 5 119 dst(P,dot(R,sgn(P))) 103303 138293747 o2(x,o2(x,o1(x))) true 143231 143231 0.9969 1 0.9969 0.002021 0.04495 0.0005898 1 0.9994 1 0.08243 0.00005683 0.00003576 0.0007883 0.2276 0 -3.567e-11 0.00002139 0.0003175 0.0000919 0.009586 12.16 0.183 0.04582 0.01058 1 1 0.0003119 0.003382 0.007364 0.1543 1.673 3.644 json
t17_x6_u5_b120 17 6 5 120 dst(P,dst(R,sgn(P))) 103304 138293748 o2(x,o2(x,o1(x))) true 143239 143239 0.9999 1 0.9999 0.00001826 0.004273 0.8269 1 0.1731 1 0.01297 0.00000171 0.000001777 0.00007067 -0.01928 0 3.004e-11 0.000002656 0.00006278 0.00000348 0.001865 26.4 0.07931 0.191 0.1455 1 1 0.00001042 0.00006255 0.0000664 0.571 3.426 3.637 json
t17_x6_u6_b0 17 6 6 0 add(P,add(R,nrm(P))) 103305 138293829 o2(x,o2(x,o1(x))) true 143247 143247 -0.02009 0.4876 0.9611 0.9452 0.9722 -1 1 2 1 1.716 0.003122 0.00191 0.01078 0.2407 1 -0.0000196 0.007907 0.007182 0.004918 0.07013 6.503 2.828 0.005324 0.008366 1 1 0.009655 0.06104 0.3295 0.01021 0.06458 0.3486 json
t17_x6_u6_b1 17 6 6 1 add(P,sub(R,nrm(P))) 103306 138293830 o2(x,o2(x,o1(x))) true 143255 143255 -0.008526 0.4949 0.922 0.8944 0.9457 -1 1 2 1 2.199 0.002682 0.002284 0.01541 0.0802 1 -0.00002136 0.00743 0.009245 0.004732 0.06879 4.465 2.512 0.005553 0.008307 1 1 0.009756 0.06661 0.2965 0.01091 0.07447 0.3315 json
t17_x6_u6_b2 17 6 6 2 add(P,mlt(R,nrm(P))) 103307 138293831 o2(x,o2(x,o1(x))) true 143263 143263 -0.01539 0.4922 0.946 0.9335 0.9662 -1 1 2 1 1.769 0.002617 0.001545 0.009145 0.2574 1 3.29e-8 0.007273 0.006105 0.004077 0.06385 6.982 2.828 0.004459 0.007791 1 1 0.007831 0.04585 0.2938 0.008389 0.04911 0.3147 json
t17_x6_u6_b3 17 6 6 3 add(P,div(R,nrm(P))) 103308 138293832 o2(x,o2(x,o1(x))) true 143271 143271 -0.1108 0.4444 0.9794 0.9599 0.9798 -1 1 2 1 1.377 0.01708 0.002233 0.01792 0.7687 1 -0.00001902 0.03367 0.02242 0.01899 0.1378 7.69 2.193 0.02012 0.03508 1 1 0.02438 0.1207 0.4327 0.02539 0.1257 0.4507 json
t17_x6_u6_b4 17 6 6 4 add(P,pow(R,nrm(P))) 103309 138293833 o2(x,o2(x,o1(x))) true 143279 143279 -0.909 0.04832 0.9879 0.158 0.3975 -1 1 2 1 0.4457 0.01341 0.0137 0.01603 -0.0105 1 1.502e-10 0.05593 0.02923 0.02684 0.1638 10.22 2.828 0.1716 0.3539 1 1 0.02768 0.1187 0.3981 0.1752 0.7508 2.519 json
t17_x6_u6_b5 17 6 6 5 add(P,mod(R,nrm(P))) 103310 138293834 o2(x,o2(x,o1(x))) true 143287 143287 -0.1247 0.4375 0.9982 0.9812 0.9906 -1 1 2 1 1.083 0.01517 0.000009936 0.008586 0.9987 1 -2.654e-7 0.03026 0.01638 0.0151 0.1229 14.31 2 0.01547 0.03084 1 1 0.01996 0.08258 0.3354 0.02034 0.08416 0.3418 json
t17_x6_u6_b6 17 6 6 6 add(P,lrg(R,nrm(P))) 103311 138293835 o2(x,o2(x,o1(x))) true 143295 143295 0.07599 0.5322 0.9214 0.901 0.9492 -1 1 2 1 1.93 0.0008437 0.0002268 0.009765 0.5763 1 -0.00001925 0.000135 0.002773 0.0009751 0.03123 3.198 0.2338 0.001188 0.0001498 1 1 0.002661 0.03261 0.2372 0.002953 0.03619 0.2632 json
t17_x6_u6_b7 17 6 6 7 add(P,eql(R,nrm(P))) 103312 138293836 o2(x,o2(x,o1(x))) true 143303 143303 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_x6_u6_b8 17 6 6 8 add(P,min(R,nrm(P))) 103313 138293837 o2(x,o2(x,o1(x))) true 143311 143311 -0.02823 0.4844 0.9533 0.9379 0.9685 -1 1 2 1 1.777 0.001059 0.0001501 0.009077 0.7517 1 -0.00001214 0.0001734 0.002805 0.001128 0.03358 3.7 0.3307 0.00129 0.0001848 1 1 0.003174 0.03701 0.2702 0.003384 0.03946 0.2881 json
t17_x6_u6_b9 17 6 6 9 add(P,dot(R,nrm(P))) 103314 138293838 o2(x,o2(x,o1(x))) true 143319 143319 -0.02145 0.4877 0.9598 0.9451 0.9722 -1 1 2 1 1.698 0.00304 0.002151 0.01114 0.1713 1 0.000009286 0.008152 0.007526 0.005066 0.07117 6.392 2.828 0.005492 0.008626 1 1 0.009919 0.06273 0.325 0.01049 0.06637 0.3439 json
t17_x6_u6_b10 17 6 6 10 add(P,dst(R,nrm(P))) 103315 138293839 o2(x,o2(x,o1(x))) true 143327 143327 0.1513 0.5726 0.9467 0.9047 0.9512 -1 1 2 1 1.862 0.003992 0.004299 0.01389 -0.03705 1 -0.00001755 0.01471 0.0105 0.008093 0.08996 6.478 2.828 0.009163 0.01626 1 1 0.01536 0.08422 0.3876 0.01698 0.09309 0.4284 json
t17_x6_u6_b11 17 6 6 11 sub(P,add(R,nrm(P))) 103316 138293840 o2(x,o2(x,o1(x))) true 143335 143335 -0.02127 0.4912 0.9162 0.886 0.9413 -1 1 2 1 2.269 0.001907 0.001303 0.01519 0.1882 1 0.00001918 0.003522 0.00753 0.002978 0.05457 3.593 1.645 0.003622 0.003976 1 1 0.006752 0.05796 0.2809 0.007621 0.06541 0.317 json
t17_x6_u6_b12 17 6 6 12 sub(P,sub(R,nrm(P))) 103317 138293841 o2(x,o2(x,o1(x))) true 143343 143343 -0.01255 0.4974 0.9559 0.9379 0.9685 -1 1 2 1 1.785 0.003068 0.001826 0.01107 0.2538 1 0.00001974 0.007639 0.007199 0.004771 0.06907 6.241 2.828 0.005218 0.008145 1 1 0.00945 0.06128 0.3348 0.01008 0.06534 0.3569 json
t17_x6_u6_b13 17 6 6 13 sub(P,mlt(R,nrm(P))) 103318 138293842 o2(x,o2(x,o1(x))) true 143351 143351 -0.01584 0.4922 0.9371 0.9209 0.9596 -1 1 2 1 1.918 0.002307 0.001156 0.00939 0.3325 1 -1.479e-8 0.005917 0.006225 0.003376 0.05811 6.188 2.345 0.003761 0.006426 1 1 0.00658 0.04042 0.2738 0.007146 0.04389 0.2974 json
t17_x6_u6_b14 17 6 6 14 sub(P,div(R,nrm(P))) 103319 138293843 o2(x,o2(x,o1(x))) true 143359 143359 -0.1356 0.4316 0.9813 0.9558 0.9776 -1 1 2 1 1.365 0.01479 0.002104 0.01776 0.7509 1 -6.355e-7 0.02771 0.02093 0.01657 0.1287 7.249 2.399 0.01767 0.02899 1 1 0.02133 0.1103 0.4009 0.02232 0.1154 0.4194 json
t17_x6_u6_b15 17 6 6 15 sub(P,pow(R,nrm(P))) 103320 138293844 o2(x,o2(x,o1(x))) true 143367 143367 -0.9812 0.008331 0.9901 0.02498 0.158 -1 1 2 1 0.2212 0.002746 0.002502 0.004995 0.04643 1 -1.126e-11 0.01075 0.007577 0.005225 0.07229 14.47 2 0.2101 0.4302 1 1 0.002823 0.01229 0.03409 0.113 0.4919 1.365 json
t17_x6_u6_b16 17 6 6 16 sub(P,mod(R,nrm(P))) 103321 138293845 o2(x,o2(x,o1(x))) true 143375 143375 -0.1252 0.4375 0.9986 0.9818 0.9909 -1 1 2 1 1.071 0.01498 0.000005593 0.008394 0.9993 1 1.541e-7 0.02987 0.01615 0.01491 0.1221 14.55 2 0.01527 0.03042 1 1 0.01991 0.08251 0.3353 0.02028 0.08403 0.3415 json
t17_x6_u6_b17 17 6 6 17 sub(P,lrg(R,nrm(P))) 103322 138293846 o2(x,o2(x,o1(x))) true 143383 143383 -0.05859 0.4664 0.9361 0.9207 0.9595 -1 1 2 1 1.788 0.001056 0.000248 0.009687 0.6197 1 0.00001926 0.0001867 0.003026 0.00121 0.03479 3.592 0.2338 0.001416 0.0002028 1 1 0.003484 0.04108 0.2704 0.003784 0.04463 0.2937 json
t17_x6_u6_b18 17 6 6 18 sub(P,eql(R,nrm(P))) 103323 138293847 o2(x,o2(x,o1(x))) true 143391 143391 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_x6_u6_b19 17 6 6 19 sub(P,min(R,nrm(P))) 103324 138293848 o2(x,o2(x,o1(x))) true 143399 143399 0.03873 0.5183 0.9237 0.8954 0.9462 -1 1 2 1 2.201 0.0007542 0.0001694 0.009959 0.6331 1 0.000009218 0.0001135 0.002978 0.0008244 0.02871 2.883 0.2349 0.001031 0.0001267 1 1 0.002455 0.02994 0.2192 0.002741 0.03344 0.2448 json
t17_x6_u6_b20 17 6 6 20 sub(P,dot(R,nrm(P))) 103325 138293849 o2(x,o2(x,o1(x))) true 143407 143407 -0.01117 0.4977 0.9222 0.8987 0.948 -1 1 2 1 2.084 0.002508 0.001276 0.01368 0.3258 1 0.000004167 0.005049 0.007805 0.003595 0.05996 4.383 2 0.00421 0.005617 1 1 0.007316 0.05435 0.2798 0.00814 0.06048 0.3113 json
t17_x6_u6_b21 17 6 6 21 sub(P,dst(R,nrm(P))) 103326 138293850 o2(x,o2(x,o1(x))) true 143415 143415 -0.1522 0.4314 0.9379 0.8955 0.9463 -1 1 2 1 1.906 0.001324 0.0005631 0.01019 0.4033 1 -0.000006169 0.00197 0.00449 0.001785 0.04224 4.147 2.209 0.002108 0.002199 1 1 0.004186 0.03828 0.2464 0.004674 0.04275 0.2752 json
t17_x6_u6_b22 17 6 6 22 mlt(P,add(R,nrm(P))) 103327 138293851 o2(x,o2(x,o1(x))) true 143423 143423 0.6813 0.8727 0.7981 0.2833 0.5323 -1 1 2 1 2.572 0.007896 0.008506 0.04685 -0.03719 1 -0.0001443 0.01515 0.02763 0.01421 0.1192 2.544 2.828 0.05789 0.05347 1 1 0.0263 0.1807 0.4703 0.09281 0.6378 1.66 json
t17_x6_u6_b23 17 6 6 23 mlt(P,sub(R,nrm(P))) 103328 138293852 o2(x,o2(x,o1(x))) true 143431 143431 -0.7337 0.1119 0.8181 0.2338 0.4836 -1 1 2 1 2.324 0.004212 0.004676 0.03562 -0.05213 1 0.00008678 0.005274 0.01939 0.007621 0.0873 2.451 1.147 0.03801 0.02255 1 1 0.01375 0.1152 0.3203 0.05881 0.4924 1.37 json
t17_x6_u6_b24 17 6 6 24 mlt(P,mlt(R,nrm(P))) 103329 138293853 o2(x,o2(x,o1(x))) true 143439 143439 0.01081 0.4904 0.6196 0.536 0.7321 -1 1 2 1 4.05 0.01373 0.01632 0.08142 -0.08609 1 0.000026 0.01908 0.04275 0.02342 0.153 1.879 1.897 0.05606 0.0356 1 1 0.04314 0.3738 0.8999 0.08049 0.6974 1.679 json
t17_x6_u6_b25 17 6 6 25 mlt(P,div(R,nrm(P))) 103330 138293854 o2(x,o2(x,o1(x))) true 143447 143447 -0.1375 0.4316 0.8886 0.832 0.9122 -1 1 2 1 2.537 0.04082 0.02752 0.09949 0.1945 1 0.00007801 0.07391 0.08432 0.05847 0.2418 2.43 2.228 0.08213 0.08883 1 1 0.08834 0.5964 1.33 0.1062 0.7167 1.598 json
t17_x6_u6_b26 17 6 6 26 mlt(P,pow(R,nrm(P))) 103331 138293855 o2(x,o2(x,o1(x))) true 143455 143455 -0.9561 0.02344 0.9811 0.06286 0.2507 -1 1 2 1 0.3792 0.006739 0.005606 0.009823 0.09172 1 -2.253e-11 0.0254 0.0158 0.01225 0.1107 11.27 2.806 0.1964 0.404 1 1 0.009294 0.04041 0.1152 0.1479 0.6429 1.833 json
t17_x6_u6_b27 17 6 6 27 mlt(P,mod(R,nrm(P))) 103332 138293856 o2(x,o2(x,o1(x))) true 143463 143463 -0.165 0.4116 0.7107 0.6021 0.7759 -1 1 2 1 3.845 0.02021 0.013 0.08873 0.217 1 0.00002743 0.02718 0.05225 0.02534 0.1592 1.794 1.483 0.05515 0.04515 1 1 0.04502 0.3805 0.9811 0.07478 0.6319 1.63 json
t17_x6_u6_b28 17 6 6 28 mlt(P,lrg(R,nrm(P))) 103333 138293857 o2(x,o2(x,o1(x))) true 143471 143471 -0.3438 0.1861 0.5192 0.3746 0.6121 -1 1 2 1 2.521 0.001961 0.001731 0.02252 0.06232 1 -0.00002298 0.001411 0.01033 0.003183 0.05642 2.506 0.4645 0.009853 0.003767 1 1 0.006156 0.06049 0.2374 0.01643 0.1615 0.6337 json
t17_x6_u6_b29 17 6 6 29 mlt(P,eql(R,nrm(P))) 103334 138293858 o2(x,o2(x,o1(x))) true 143479 143479 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_x6_u6_b30 17 6 6 30 mlt(P,min(R,nrm(P))) 103335 138293859 o2(x,o2(x,o1(x))) true 143487 143487 0.3834 0.7236 0.778 0.577 0.7596 -1 1 2 1 3.067 0.008495 0.009064 0.04998 -0.03241 1 -0.000001538 0.009275 0.02535 0.01506 0.1227 2.455 1.359 0.03043 0.01608 1 1 0.02422 0.2242 0.5924 0.04198 0.3885 1.027 json
t17_x6_u6_b31 17 6 6 31 mlt(P,dot(R,nrm(P))) 103336 138293860 o2(x,o2(x,o1(x))) true 143495 143495 0.04875 0.5484 0.7296 0.6561 0.81 -1 1 2 1 3.682 0.0172 0.02306 0.09392 -0.1454 1 6.177e-7 0.02852 0.05445 0.03144 0.1773 1.888 2.828 0.06137 0.04347 1 1 0.05535 0.4445 1.098 0.08436 0.6775 1.674 json
t17_x6_u6_b32 17 6 6 32 mlt(P,dst(R,nrm(P))) 103337 138293861 o2(x,o2(x,o1(x))) true 143503 143503 -0.02132 0.4922 0.9455 0.9327 0.9658 -1 1 2 1 1.742 0.002667 0.00121 0.009646 0.3757 1 0.00001166 0.006273 0.006586 0.003783 0.06151 6.376 2.034 0.004156 0.006725 1 1 0.007445 0.04631 0.2882 0.007982 0.04965 0.309 json
t17_x6_u6_b33 17 6 6 33 div(P,add(R,nrm(P))) 103338 138293862 o2(x,o2(x,o1(x))) true 143511 143511 0.5093 0.763 0.9405 0.6674 0.8169 -1 1 2 1 1.585 0.04269 0.04866 0.07061 -0.06538 1 -0.00002405 0.1828 0.1018 0.08629 0.2938 4.16 2.828 0.1369 0.2739 1 1 0.1045 0.513 1.348 0.1565 0.7687 2.02 json
t17_x6_u6_b34 17 6 6 34 div(P,sub(R,nrm(P))) 103339 138293863 o2(x,o2(x,o1(x))) true 143519 143519 -0.6331 0.1777 0.9424 0.5288 0.7272 -1 1 2 1 1.429 0.03016 0.03079 0.0518 -0.01038 1 -0.00005591 0.12 0.06921 0.05827 0.2414 4.66 2.828 0.1153 0.2269 1 1 0.07222 0.3471 0.9736 0.1366 0.6564 1.841 json
t17_x6_u6_b35 17 6 6 35 div(P,mlt(R,nrm(P))) 103340 138293864 o2(x,o2(x,o1(x))) true 143527 143527 -0.1918 0.4038 0.9837 0.9414 0.9702 -1 1 2 1 1.291 0.0924 0.08928 0.1113 0.01718 1 -0.00002331 0.4019 0.1938 0.1693 0.4115 3.698 2.828 0.193 0.4269 1 1 0.1893 0.8479 1.756 0.2011 0.9008 1.865 json
t17_x6_u6_b36 17 6 6 36 div(P,div(R,nrm(P))) 103341 138293865 o2(x,o2(x,o1(x))) true 143535 143535 -0.07408 0.468 0.8706 0.8368 0.9148 -1 1 2 1 2.419 0.05427 0.06877 0.1065 -0.1179 1 -0.00005241 0.2297 0.1409 0.1116 0.3341 3.136 2.828 0.147 0.2745 1 1 0.1436 0.7573 1.676 0.1716 0.905 2.003 json
t17_x6_u6_b37 17 6 6 37 div(P,pow(R,nrm(P))) 103342 138293866 o2(x,o2(x,o1(x))) true 143543 143543 -0.949 0.02344 0.9781 0.07239 0.2691 -1 1 2 1 0.4628 0.007418 0.006371 0.01091 0.0759 1 -6.758e-11 0.02842 0.01782 0.01367 0.1169 10.72 2.828 0.1905 0.3926 1 1 0.01143 0.0499 0.1453 0.1578 0.6892 2.007 json
t17_x6_u6_b38 17 6 6 38 div(P,mod(R,nrm(P))) 103343 138293867 o2(x,o2(x,o1(x))) true 143551 143551 -0.1856 0.4073 0.9842 0.9451 0.9721 -1 1 2 1 1.282 0.09161 0.09203 0.1107 -0.002259 1 0.0003551 0.4245 0.1947 0.1714 0.4141 3.739 2.828 0.1943 0.4492 1 1 0.1937 0.8713 1.789 0.205 0.922 1.893 json
t17_x6_u6_b39 17 6 6 39 div(P,lrg(R,nrm(P))) 103344 138293868 o2(x,o2(x,o1(x))) true 143559 143559 -0.9727 0.01172 0.9922 0.04442 0.2108 -1 1 2 1 0.2216 0.004624 0.005829 0.006927 -0.1152 1 -1.164e-10 0.02189 0.01224 0.01041 0.1021 14.73 2.828 0.2353 0.4929 1 1 0.007672 0.03396 0.07763 0.1727 0.7645 1.747 json
t17_x6_u6_b40 17 6 6 40 div(P,eql(R,nrm(P))) 103345 138293869 o2(x,o2(x,o1(x))) true 143567 143567 -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_x6_u6_b41 17 6 6 41 div(P,min(R,nrm(P))) 103346 138293870 o2(x,o2(x,o1(x))) true 143575 143575 0.3513 0.6829 0.9688 0.8377 0.9153 -1 1 2 1 1.376 0.04815 0.04425 0.06678 0.04221 1 -0.00005313 0.1822 0.1021 0.08792 0.2965 4.44 2.828 0.1103 0.2175 1 1 0.1071 0.522 1.202 0.1279 0.6231 1.435 json
t17_x6_u6_b42 17 6 6 42 div(P,dot(R,nrm(P))) 103347 138293871 o2(x,o2(x,o1(x))) true 143583 143583 0.03685 0.5282 0.9321 0.9139 0.956 -1 1 2 1 1.894 0.06316 0.07634 0.1073 -0.09449 1 -0.00008956 0.2755 0.1564 0.1281 0.3579 3.334 2.828 0.1526 0.3014 1 1 0.1664 0.8053 1.785 0.182 0.8812 1.953 json
t17_x6_u6_b43 17 6 6 43 div(P,dst(R,nrm(P))) 103348 138293872 o2(x,o2(x,o1(x))) true 143591 143591 -0.005284 0.4922 0.9314 0.9129 0.9554 -1 1 2 1 1.979 0.002513 0.001789 0.01024 0.1683 1 -0.000007461 0.007519 0.007387 0.004196 0.06477 6.326 2.828 0.004713 0.008237 1 1 0.008115 0.04579 0.2757 0.00889 0.05016 0.302 json
t17_x6_u6_b44 17 6 6 44 pow(P,add(R,nrm(P))) 103349 138293873 o2(x,o2(x,o1(x))) true 143599 143599 -0.1109 0.4492 0.9906 0.9741 0.987 -1 1 2 1 1.226 0.01371 0.002476 0.01069 0.694 1 -0.00001068 0.03275 0.01865 0.01608 0.1268 11.86 2.828 0.01662 0.03363 1 1 0.0219 0.0901 0.3678 0.02248 0.0925 0.3776 json
t17_x6_u6_b45 17 6 6 45 pow(P,sub(R,nrm(P))) 103350 138293874 o2(x,o2(x,o1(x))) true 143607 143607 -0.3332 0.4492 0.7683 0.5839 0.7641 -1 1 2 1 2.755 0.01411 0.002748 0.02319 0.6741 1 -0.000001687 0.03277 0.02102 0.01633 0.1278 5.511 2.828 0.02888 0.05612 1 1 0.02307 0.1019 0.3367 0.0395 0.1745 0.5767 json
t17_x6_u6_b46 17 6 6 46 pow(P,mlt(R,nrm(P))) 103351 138293875 o2(x,o2(x,o1(x))) true 143615 143615 -0.07255 0.4922 0.9431 0.9055 0.9516 -1 1 2 1 2.063 0.0162 0.002446 0.018 0.7376 1 -0.00003941 0.03661 0.02244 0.01832 0.1354 7.518 2.828 0.02059 0.04043 1 1 0.02566 0.108 0.4117 0.02834 0.1193 0.4547 json
t17_x6_u6_b47 17 6 6 47 pow(P,div(R,nrm(P))) 103352 138293876 o2(x,o2(x,o1(x))) true 143623 143623 -0.1907 0.4492 0.9109 0.8381 0.9155 -1 1 2 1 2.148 0.01456 0.00336 0.02352 0.6249 1 -0.00007873 0.03362 0.02558 0.01736 0.1318 5.602 2.828 0.02138 0.04011 1 1 0.02426 0.1087 0.372 0.02894 0.1296 0.4438 json
t17_x6_u6_b48 17 6 6 48 pow(P,pow(R,nrm(P))) 103353 138293877 o2(x,o2(x,o1(x))) true 143631 143631 -0.9023 0.0625 0.9727 0.1526 0.3906 -1 1 2 1 0.5397 0.01864 0.003977 0.01647 0.6483 1 -9.011e-11 0.04549 0.02683 0.02233 0.1494 9.074 2.828 0.1482 0.2981 1 1 0.02474 0.1007 0.228 0.1621 0.6596 1.494 json
t17_x6_u6_b49 17 6 6 49 pow(P,mod(R,nrm(P))) 103354 138293878 o2(x,o2(x,o1(x))) true 143639 143639 -0.1748 0.4375 0.9502 0.8881 0.9424 -1 1 2 1 1.963 0.01624 0.0003784 0.01718 0.9545 1 -0.00005769 0.03207 0.02048 0.01633 0.1278 7.438 2 0.01871 0.03612 1 1 0.0221 0.09229 0.3321 0.02488 0.1039 0.3739 json
t17_x6_u6_b50 17 6 6 50 pow(P,lrg(R,nrm(P))) 103355 138293879 o2(x,o2(x,o1(x))) true 143647 143647 -0.006836 0.5039 0.9854 0.9818 0.9909 -1 1 2 1 1.262 0.01098 0.001672 0.009616 0.7356 1 0.000002852 0.02529 0.01491 0.01256 0.1121 11.66 2.828 0.01288 0.02575 1 1 0.01774 0.07851 0.3406 0.01806 0.07996 0.3469 json
t17_x6_u6_b51 17 6 6 51 pow(P,eql(R,nrm(P))) 103356 138293880 o2(x,o2(x,o1(x))) true 143655 143655 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_x6_u6_b52 17 6 6 52 pow(P,min(R,nrm(P))) 103357 138293881 o2(x,o2(x,o1(x))) true 143663 143663 -0.1659 0.4531 0.9279 0.8634 0.9292 -1 1 2 1 2.114 0.01597 0.006241 0.02226 0.438 1 -0.00005172 0.0441 0.02714 0.02171 0.1473 6.619 2.828 0.02572 0.05108 1 1 0.03009 0.1274 0.4297 0.03485 0.1476 0.4976 json
t17_x6_u6_b53 17 6 6 53 pow(P,dot(R,nrm(P))) 103358 138293882 o2(x,o2(x,o1(x))) true 143671 143671 -0.1816 0.4492 0.92 0.8502 0.9221 -1 1 2 1 2.125 0.01413 0.001871 0.01963 0.7662 1 -0.0001012 0.03045 0.02181 0.01561 0.125 6.366 2.828 0.01883 0.03582 1 1 0.02102 0.09529 0.3761 0.02473 0.1121 0.4423 json
t17_x6_u6_b54 17 6 6 54 pow(P,dst(R,nrm(P))) 103359 138293883 o2(x,o2(x,o1(x))) true 143679 143679 -0.04297 0.4922 0.9727 0.9641 0.9819 -1 1 2 1 1.363 0.00579 0.001205 0.008659 0.6554 1 -4.224e-11 0.01366 0.01121 0.006915 0.08316 9.604 2.828 0.007256 0.01417 1 1 0.01084 0.05572 0.3282 0.01125 0.05779 0.3404 json
t17_x6_u6_b55 17 6 6 55 mod(P,add(R,nrm(P))) 103360 138293884 o2(x,o2(x,o1(x))) true 143687 143687 -0.01271 0.49 0.3605 0.2127 0.4612 -1 1 2 1 4.76 0.002594 0.0026 0.03489 -0.001216 1 0.000006416 0.006888 0.01266 0.003976 0.06306 1.807 2.828 0.02441 0.03238 1 1 0.009377 0.06758 0.2221 0.04408 0.3177 1.044 json
t17_x6_u6_b56 17 6 6 56 mod(P,sub(R,nrm(P))) 103361 138293885 o2(x,o2(x,o1(x))) true 143695 143695 -0.02946 0.4892 0.3707 0.2212 0.4703 -1 1 2 1 4.798 0.002307 0.001716 0.03495 0.1468 1 0.00001911 0.004365 0.01144 0.002802 0.05293 1.514 2 0.01819 0.01974 1 1 0.007353 0.0614 0.1993 0.03325 0.2776 0.901 json
t17_x6_u6_b57 17 6 6 57 mod(P,mlt(R,nrm(P))) 103362 138293886 o2(x,o2(x,o1(x))) true 143703 143703 -0.12 0.4375 0.2876 0.1584 0.398 -1 0.7475 1.747 1 3.99 0.008359 0.0002394 0.02316 0.9443 1 0.00000751 0.01633 0.01942 0.008063 0.08979 3.878 1.436 0.05428 0.1031 1 1 0.01158 0.05247 0.1952 0.07307 0.3312 1.232 json
t17_x6_u6_b58 17 6 6 58 mod(P,div(R,nrm(P))) 103363 138293887 o2(x,o2(x,o1(x))) true 143711 143711 -0.123 0.4375 0.4549 0.3001 0.5478 -1 1 2 1 4.597 0.01406 0.0007379 0.03435 0.9002 1 0.00001195 0.02684 0.02287 0.01361 0.1167 3.397 2 0.04929 0.08944 1 1 0.01939 0.09676 0.2957 0.06462 0.3224 0.9854 json
t17_x6_u6_b59 17 6 6 59 mod(P,pow(R,nrm(P))) 103364 138293888 o2(x,o2(x,o1(x))) true 143719 143719 -0.9581 0.02229 0.9633 0.03809 0.1952 -1 0.5421 1.542 1 0.5501 0.003596 0.003348 0.009408 0.0357 1 0.000006681 0.01415 0.01452 0.006858 0.08282 8.803 1.548 0.1823 0.3715 1 1 0.006648 0.02924 0.08243 0.1745 0.7676 2.164 json
t17_x6_u6_b60 17 6 6 60 mod(P,mod(R,nrm(P))) 103365 138293889 o2(x,o2(x,o1(x))) true 143727 143727 -0.1109 0.4375 0.275 0.1563 0.3953 -1 0.7928 1.793 1 3.875 0.008294 0.0002254 0.0223 0.9471 1 0.00001088 0.0162 0.01928 0.008022 0.08957 4.016 1.299 0.05451 0.1036 1 1 0.01158 0.05335 0.2103 0.0741 0.3414 1.345 json
t17_x6_u6_b61 17 6 6 61 mod(P,lrg(R,nrm(P))) 103366 138293890 o2(x,o2(x,o1(x))) true 143735 143735 -0.7031 0 0.7031 0.2086 0.4567 -1 0 1 1 0.8774 0.006456 0.007716 0.0141 -0.08889 1 0 0.02932 0.02834 0.01397 0.1182 8.385 1.414 0.06795 0.1406 1 1 0.01334 0.05663 0.1793 0.06395 0.2715 0.8598 json
t17_x6_u6_b62 17 6 6 62 mod(P,eql(R,nrm(P))) 103367 138293891 o2(x,o2(x,o1(x))) true 143743 143743 -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_x6_u6_b63 17 6 6 63 mod(P,min(R,nrm(P))) 103368 138293892 o2(x,o2(x,o1(x))) true 143751 143751 -0.08485 0.4628 0.2861 0.1401 0.3743 -1 0.7928 1.793 1 4.297 0.005006 0.001948 0.02405 0.4397 1 0.000002115 0.01304 0.01632 0.006376 0.07985 3.321 1.551 0.04965 0.09307 1 1 0.01033 0.04937 0.1792 0.07378 0.3525 1.279 json
t17_x6_u6_b64 17 6 6 64 mod(P,dot(R,nrm(P))) 103369 138293893 o2(x,o2(x,o1(x))) true 143759 143759 -0.01275 0.4901 0.25 0.1098 0.3313 -1 1 2 1 4.356 0.001723 0.001775 0.02631 -0.01488 1 0.000002375 0.005052 0.009527 0.002807 0.05298 2.014 2.828 0.03187 0.04602 1 1 0.006071 0.04053 0.1441 0.05531 0.3693 1.313 json
t17_x6_u6_b65 17 6 6 65 mod(P,dst(R,nrm(P))) 103370 138293894 o2(x,o2(x,o1(x))) true 143767 143767 -0.04404 0.4907 0.5921 0.4468 0.6684 -1 1 2 1 4.731 0.002784 0.00219 0.04043 0.1193 1 0.00003675 0.004761 0.01456 0.003339 0.05778 1.429 2 0.01113 0.01066 1 1 0.009322 0.08071 0.2781 0.02086 0.1806 0.6225 json
t17_x6_u6_b66 17 6 6 66 lrg(P,add(R,nrm(P))) 103371 138293895 o2(x,o2(x,o1(x))) true 143775 143775 0.4941 0.5608 0.4941 0.2346 0.4843 0 1 1 1 1.657 0.0004292 0.0003227 0.008763 0.1416 1 0.00001711 0.00004023 0.002089 0.000675 0.02598 2.965 0.1169 0.003206 0.0001715 1 1 0.001937 0.02518 0.09702 0.008257 0.1073 0.4136 json
t17_x6_u6_b67 17 6 6 67 lrg(P,sub(R,nrm(P))) 103372 138293896 o2(x,o2(x,o1(x))) true 143783 143783 0.5078 0.5495 0.5078 0.2411 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.00178 0.00009356 1 1 0.001146 0.01502 0.08541 0.004754 0.06231 0.3542 json
t17_x6_u6_b68 17 6 6 68 lrg(P,mlt(R,nrm(P))) 103373 138293897 o2(x,o2(x,o1(x))) true 143791 143791 0.4727 0.5074 0.4727 0.242 0.4919 0 1 1 1 1.358 0.0003432 0.00003512 0.004306 0.8144 1 -4.788e-10 0.00001836 0.001016 0.0003599 0.01897 4.405 0.1169 0.001564 0.00007585 1 1 0.001014 0.01329 0.07825 0.00419 0.05493 0.3234 json
t17_x6_u6_b69 17 6 6 69 lrg(P,div(R,nrm(P))) 103374 138293898 o2(x,o2(x,o1(x))) true 143799 143799 0.498 0.5947 0.498 0.2283 0.4778 0 1 1 1 1.857 0.0006217 0.0004084 0.01203 0.207 1 -9.339e-10 0.00005756 0.002893 0.0008855 0.02976 2.473 0.1169 0.004511 0.0002521 1 1 0.00246 0.03194 0.1104 0.01077 0.1399 0.4833 json
t17_x6_u6_b70 17 6 6 70 lrg(P,pow(R,nrm(P))) 103375 138293899 o2(x,o2(x,o1(x))) true 143807 143807 0.7012 0.9411 0.7012 0.1595 0.3994 0 1 1 1 2.427 0.001204 0.001171 0.02758 0.01418 1 -0.00001213 0.00013 0.006626 0.001615 0.04018 1.457 0.1169 0.01489 0.000815 1 1 0.004847 0.06213 0.1941 0.03039 0.3895 1.217 json
t17_x6_u6_b71 17 6 6 71 lrg(P,mod(R,nrm(P))) 103376 138293900 o2(x,o2(x,o1(x))) true 143815 143815 0.5313 0.5625 0.5313 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_x6_u6_b72 17 6 6 72 lrg(P,lrg(R,nrm(P))) 103377 138293901 o2(x,o2(x,o1(x))) true 143823 143823 0.4375 0.4827 0.4375 0.2367 0.4865 0 1 1 1 1.429 0.0003142 0.0001403 0.005314 0.3824 1 0.00001141 0.0000246 0.001271 0.0004265 0.02065 3.886 0.1169 0.00192 0.000104 1 1 0.00119 0.01549 0.08578 0.00503 0.06543 0.3624 json
t17_x6_u6_b73 17 6 6 73 lrg(P,eql(R,nrm(P))) 103378 138293902 o2(x,o2(x,o1(x))) true 143831 143831 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_x6_u6_b74 17 6 6 74 lrg(P,min(R,nrm(P))) 103379 138293903 o2(x,o2(x,o1(x))) true 143839 143839 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_x6_u6_b75 17 6 6 75 lrg(P,dot(R,nrm(P))) 103380 138293904 o2(x,o2(x,o1(x))) true 143847 143847 0.5039 0.5717 0.5039 0.2341 0.4839 0 1 1 1 1.666 0.0003856 0.0003461 0.008645 0.05398 1 -7.574e-10 0.00004371 0.002106 0.0006569 0.02563 2.965 0.1169 0.003125 0.0001867 1 1 0.001534 0.02012 0.09036 0.006551 0.08592 0.3859 json
t17_x6_u6_b76 17 6 6 76 lrg(P,dst(R,nrm(P))) 103381 138293905 o2(x,o2(x,o1(x))) true 143855 143855 0.4414 0.5013 0.4414 0.2338 0.4836 0 1 1 1 1.556 0.0003202 0.0002808 0.007092 0.06552 1 -0.00001141 0.00003532 0.001727 0.0005504 0.02346 3.308 0.1169 0.00257 0.0001511 1 1 0.001656 0.02151 0.08138 0.00708 0.09197 0.348 json
t17_x6_u6_b77 17 6 6 77 eql(P,add(R,nrm(P))) 103382 138293906 o2(x,o2(x,o1(x))) true 143863 143863 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_x6_u6_b78 17 6 6 78 eql(P,sub(R,nrm(P))) 103383 138293907 o2(x,o2(x,o1(x))) true 143871 143871 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_x6_u6_b79 17 6 6 79 eql(P,mlt(R,nrm(P))) 103384 138293908 o2(x,o2(x,o1(x))) true 143879 143879 0.05859 0.1241 0.05859 0.0418 0.2045 0 0.9997 0.9997 1 0.7992 0.0006513 0.00003512 0.007769 0.8977 1 -8.342e-10 0.00003252 0.001826 0.0006264 0.02503 3.222 0.1169 0.01642 0.0007779 1 1 0.001783 0.0232 0.06358 0.04266 0.5551 1.521 json
t17_x6_u6_b80 17 6 6 80 eql(P,div(R,nrm(P))) 103385 138293909 o2(x,o2(x,o1(x))) true 143887 143887 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_x6_u6_b81 17 6 6 81 eql(P,pow(R,nrm(P))) 103386 138293910 o2(x,o2(x,o1(x))) true 143895 143895 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_x6_u6_b82 17 6 6 82 eql(P,mod(R,nrm(P))) 103387 138293911 o2(x,o2(x,o1(x))) true 143903 143903 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_x6_u6_b83 17 6 6 83 eql(P,lrg(R,nrm(P))) 103388 138293912 o2(x,o2(x,o1(x))) true 143911 143911 0.06641 0.1483 0.06641 0.04729 0.2175 0 1 1 1 0.8942 0.0004539 0.0002408 0.00812 0.3067 1 -0.000005705 0.00003896 0.001959 0.0006289 0.02508 3.088 0.1169 0.01469 0.0008238 1 1 0.001713 0.02227 0.09177 0.03623 0.4709 1.941 json
t17_x6_u6_b84 17 6 6 84 eql(P,eql(R,nrm(P))) 103389 138293913 o2(x,o2(x,o1(x))) true 143919 143919 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_x6_u6_b85 17 6 6 85 eql(P,min(R,nrm(P))) 103390 138293914 o2(x,o2(x,o1(x))) true 143927 143927 0.02734 0.07904 0.02734 0.01811 0.1346 0 0.9997 0.9997 1 0.5041 0.0002701 0.0001356 0.004754 0.3314 1 -0.000005705 0.00002305 0.00115 0.0003832 0.01958 4.117 0.1169 0.0224 0.001273 1 1 0.001123 0.01462 0.04376 0.06202 0.8075 2.416 json
t17_x6_u6_b86 17 6 6 86 eql(P,dot(R,nrm(P))) 103391 138293915 o2(x,o2(x,o1(x))) true 143935 143935 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_x6_u6_b87 17 6 6 87 eql(P,dst(R,nrm(P))) 103392 138293916 o2(x,o2(x,o1(x))) true 143943 143943 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_x6_u6_b88 17 6 6 88 min(P,add(R,nrm(P))) 103393 138293917 o2(x,o2(x,o1(x))) true 143951 143951 -0.2231 0.4362 0.7701 0.6528 0.808 -1 1 2 1 3.338 0.001372 0.001084 0.02675 0.1172 1 -0.00004125 0.0002969 0.007535 0.001741 0.04172 1.56 0.2256 0.003761 0.0004548 1 1 0.004916 0.05956 0.2525 0.00753 0.09124 0.3867 json
t17_x6_u6_b89 17 6 6 89 min(P,sub(R,nrm(P))) 103394 138293918 o2(x,o2(x,o1(x))) true 143959 143959 -0.777 0.04541 0.7999 0.1254 0.3541 -1 0.7432 1.743 1 2.674 0.001398 0.001102 0.02758 0.1184 1 0.00002178 0.0003126 0.007702 0.00174 0.04172 1.513 0.2216 0.01994 0.002493 1 1 0.004941 0.05953 0.1764 0.03941 0.4748 1.407 json
t17_x6_u6_b90 17 6 6 90 min(P,mlt(R,nrm(P))) 103395 138293919 o2(x,o2(x,o1(x))) true 143967 143967 -0.4689 0.2358 0.5942 0.2975 0.5454 -1 0.9256 1.926 1 3.428 0.001041 0.0007516 0.02445 0.1616 1 0.00001155 0.0001047 0.005706 0.001195 0.03457 1.414 0.178 0.006027 0.000352 1 1 0.00375 0.04905 0.1927 0.01261 0.1649 0.6479 json
t17_x6_u6_b91 17 6 6 91 min(P,div(R,nrm(P))) 103396 138293920 o2(x,o2(x,o1(x))) true 143975 143975 -0.5748 0.2053 0.7761 0.3784 0.6152 -1 1 2 1 3.008 0.008956 0.00525 0.0438 0.2609 1 0.00001713 0.01825 0.02194 0.01228 0.1108 2.53 2.827 0.03754 0.04823 1 1 0.02074 0.1557 0.397 0.05479 0.4115 1.049 json
t17_x6_u6_b92 17 6 6 92 min(P,pow(R,nrm(P))) 103397 138293921 o2(x,o2(x,o1(x))) true 143983 143983 -0.03239 0.4998 0.9051 0.874 0.9349 -1 1 2 1 2.372 0.001079 0.0008757 0.01646 0.1041 1 -0.00007246 0.0008888 0.008538 0.001683 0.04102 2.493 0.4291 0.002237 0.001017 1 1 0.003336 0.03382 0.2316 0.003817 0.03869 0.265 json
t17_x6_u6_b93 17 6 6 93 min(P,mod(R,nrm(P))) 103398 138293922 o2(x,o2(x,o1(x))) true 143991 143991 -0.4678 0.2312 0.5857 0.2928 0.5411 -1 0.9276 1.928 1 3.384 0.001121 0.0007285 0.02478 0.2123 1 -0.000006055 0.0001086 0.005776 0.001235 0.03514 1.418 0.1818 0.006318 0.0003708 1 1 0.003941 0.05147 0.1787 0.01346 0.1758 0.6102 json
t17_x6_u6_b94 17 6 6 94 min(P,lrg(R,nrm(P))) 103399 138293923 o2(x,o2(x,o1(x))) true 143999 143999 -0.4053 0.1837 0.5322 0.3422 0.585 -1 1 2 1 2.27 0.0008719 0.0003616 0.01438 0.4137 1 0.000002139 0.00006537 0.003416 0.001026 0.03204 2.228 0.1169 0.003605 0.000191 1 1 0.002646 0.03452 0.1773 0.007733 0.1009 0.5181 json