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_x16_u6_b25 17 16 6 25 mlt(D,div(R,nrm(D))) 111800 138697864 o2(x,o2(x,o1(x))) true 54407 54407 0.003986 0.5055 0.1489 0.03408 0.1846 -0.613 0.4953 1.108 1 3.606 0.0006397 0.0006629 0.03161 -0.01783 1 -0.00001196 0.0002074 0.01047 0.0003031 0.01741 0.5507 0.1075 0.03822 0.006085 1 1 0.002482 0.02309 0.06066 0.07284 0.6775 1.78 json
t17_x16_u6_b26 17 16 6 26 mlt(D,pow(R,nrm(D))) 111801 138697865 o2(x,o2(x,o1(x))) true 54415 54415 -0.965 0.01097 0.966 0.02982 0.1727 -1 0.1303 1.13 1 0.3944 0.004432 0.002821 0.009949 0.2222 1 0.00001763 0.01504 0.01591 0.00715 0.08456 8.499 1.365 0.2433 0.5044 1 1 0.005422 0.0214 0.05097 0.1819 0.7179 1.71 json
t17_x16_u6_b27 17 16 6 27 mlt(D,mod(R,nrm(D))) 111802 138697866 o2(x,o2(x,o1(x))) true 54423 54423 0.0009616 0.5112 0.0663 0.01001 0.1 -0.4311 0.46 0.8912 1 2.631 0.001412 0.001599 0.03343 -0.06214 1 -0.00001953 0.009167 0.04656 0.001894 0.04353 1.302 0.463 0.301 0.9162 1 1 0.003326 0.01653 0.0193 0.3324 1.652 1.929 json
t17_x16_u6_b28 17 16 6 28 mlt(D,lrg(R,nrm(D))) 111803 138697867 o2(x,o2(x,o1(x))) true 54431 54431 -0.1087 0.1335 0.1239 0.01225 0.1107 -0.2729 0.2729 0.5458 1 2.741 0.002348 0.001258 0.04246 0.302 1 0.0001611 0.007843 0.03701 0.001804 0.04247 1 0.5033 0.2945 0.6405 1 1 0.004959 0.02378 0.006785 0.405 1.942 0.5541 json
t17_x16_u6_b29 17 16 6 29 mlt(D,eql(R,nrm(D))) 111804 138697868 o2(x,o2(x,o1(x))) true 54439 54439 -0.00002021 0.00009155 0.00002552 0.000002238 0.001496 -0.151 0.04417 0.1951 1 0.005194 0.000004621 0.000003991 0.00008545 0.07315 0 -2.346e-13 0.00004117 0.0001981 0.000008599 0.002932 34.32 0.2135 3.848 18.4 1 1 0.000003559 0.000003559 0.000003309 1.59 1.59 1.479 json
t17_x16_u6_b30 17 16 6 30 mlt(D,min(R,nrm(D))) 111805 138697869 o2(x,o2(x,o1(x))) true 54447 54447 0.1127 0.8398 0.1257 0.01507 0.1228 -0.1453 0.4912 0.6365 1 2.941 0.001503 0.0002233 0.03657 0.7413 1 -0.0002237 0.000316 0.01437 0.0003892 0.01973 0.5395 0.09291 0.1145 0.02096 1 1 0.003294 0.0245 0.01412 0.2186 1.625 0.9366 json
t17_x16_u6_b31 17 16 6 31 mlt(D,dot(R,nrm(D))) 111806 138697870 o2(x,o2(x,o1(x))) true 54455 54455 0.00188 0.4987 0.09466 0.01712 0.1308 -0.5455 0.508 1.054 1 3.068 0.000953 0.0005572 0.03402 0.2621 1 -0.00005516 0.0003287 0.01383 0.0003526 0.01878 0.5519 0.1033 0.08821 0.0192 1 1 0.002823 0.02404 0.03116 0.1649 1.404 1.82 json
t17_x16_u6_b32 17 16 6 32 mlt(D,dst(R,nrm(D))) 111807 138697871 o2(x,o2(x,o1(x))) true 54463 54463 -0.001395 0.4977 0.144 0.0301 0.1735 -0.5441 0.5222 1.066 1 3.51 0.003516 0.0003487 0.05562 0.8195 1 0.00005456 0.0006688 0.02207 0.0007705 0.02776 0.499 0.1456 0.1284 0.02222 1 1 0.007438 0.05468 0.02019 0.2471 1.816 0.6707 json
t17_x16_u6_b33 17 16 6 33 div(D,add(R,nrm(D))) 111808 138697872 o2(x,o2(x,o1(x))) true 54471 54471 0.2579 0.7632 0.5056 0.3174 0.5633 -1 1 2 1 4.333 0.2535 0.2349 0.3466 0.03803 1 0.00004795 1.971 0.6273 0.3683 0.6069 1.751 2.828 1.539 6.212 1 1 0.3962 0.6298 0.5531 1.248 1.985 1.743 json
t17_x16_u6_b34 17 16 6 34 div(D,sub(R,nrm(D))) 111809 138697873 o2(x,o2(x,o1(x))) true 54479 54479 -0.2625 0.2394 0.5143 0.3263 0.5712 -1 1 2 1 4.332 0.2602 0.2421 0.3532 0.03594 1 0.0001889 2.017 0.642 0.3776 0.6145 1.74 2.828 1.539 6.181 1 1 0.4179 0.6602 0.5783 1.281 2.023 1.772 json
t17_x16_u6_b35 17 16 6 35 div(D,mlt(R,nrm(D))) 111810 138697874 o2(x,o2(x,o1(x))) true 54487 54487 -0.06654 0.4624 0.6396 0.527 0.7259 -1 1 2 1 4.323 0.01601 0.01853 0.1095 -0.07285 1 0.00006287 0.03022 0.06729 0.02255 0.1502 1.371 2.828 0.06555 0.05735 1 1 0.05397 0.3924 1.072 0.1024 0.7446 2.034 json
t17_x16_u6_b36 17 16 6 36 div(D,div(R,nrm(D))) 111811 138697875 o2(x,o2(x,o1(x))) true 54495 54495 -0.04277 0.4652 0.4091 0.3049 0.5522 -1 1 2 1 4.416 0.01945 0.01027 0.1117 0.3089 1 -0.00005637 0.02449 0.07164 0.01723 0.1313 1.175 2.077 0.09748 0.08033 1 1 0.046 0.2875 0.5863 0.1509 0.9429 1.923 json
t17_x16_u6_b37 17 16 6 37 div(D,pow(R,nrm(D))) 111812 138697876 o2(x,o2(x,o1(x))) true 54503 54503 -0.9487 0.03197 0.9665 0.06153 0.2481 -1 1 2 1 0.4094 0.004547 0.006906 0.01189 -0.2059 1 -0.00005076 0.02314 0.01968 0.01131 0.1063 8.947 2.02 0.1861 0.376 1 1 0.009286 0.04269 0.1055 0.1509 0.6938 1.714 json
t17_x16_u6_b38 17 16 6 38 div(D,mod(R,nrm(D))) 111813 138697877 o2(x,o2(x,o1(x))) true 54511 54511 -0.0005169 0.4968 0.6833 0.5895 0.7678 -1 1 2 1 4.075 0.3345 0.2692 0.4794 0.1081 1 -0.0003467 2.648 0.9192 0.3739 0.6115 1.276 2.828 1.024 4.492 1 1 0.4072 0.904 1.163 0.6908 1.533 1.973 json
t17_x16_u6_b39 17 16 6 39 div(D,lrg(R,nrm(D))) 111814 138697878 o2(x,o2(x,o1(x))) true 54519 54519 -0.9674 0.02959 0.9724 0.03429 0.1852 -1 0.1454 1.145 1 0.2466 0.02101 0.008743 0.02647 0.4122 1 0.0001964 0.0957 0.05593 0.02906 0.1705 6.44 1.62 0.8675 2.791 1 1 0.0255 0.05554 0.06533 0.7437 1.619 1.905 json
t17_x16_u6_b40 17 16 6 40 div(D,eql(R,nrm(D))) 111815 138697879 o2(x,o2(x,o1(x))) true 54527 54527 -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_x16_u6_b41 17 16 6 41 div(D,min(R,nrm(D))) 111816 138697880 o2(x,o2(x,o1(x))) true 54535 54535 0.1637 0.6965 0.4218 0.2459 0.4959 -1 1 2 1 4.616 0.01648 0.006352 0.1013 0.4436 1 -0.0002416 0.0175 0.05427 0.01256 0.1121 1.106 1.697 0.09286 0.07118 1 1 0.03401 0.2646 0.4548 0.1383 1.076 1.85 json
t17_x16_u6_b42 17 16 6 42 div(D,dot(R,nrm(D))) 111817 138697881 o2(x,o2(x,o1(x))) true 54543 54543 -0.02584 0.4772 0.537 0.4309 0.6564 -1 1 2 1 4.425 0.273 0.2937 0.4046 -0.03655 1 -0.0004249 2.26 0.7104 0.403 0.6348 1.569 2.828 1.315 5.245 1 1 0.4651 0.7952 0.8321 1.079 1.845 1.931 json
t17_x16_u6_b43 17 16 6 43 div(D,dst(R,nrm(D))) 111818 138697882 o2(x,o2(x,o1(x))) true 54551 54551 0.001131 0.5001 0.1088 0.02589 0.1609 -1 1 2 1 3.176 0.003049 0.001493 0.04579 0.3426 1 -0.00006324 0.004228 0.02192 0.002445 0.04945 1.08 1.211 0.1754 0.1633 1 1 0.007996 0.04719 0.03265 0.3088 1.823 1.261 json
t17_x16_u6_b44 17 16 6 44 pow(D,add(R,nrm(D))) 111819 138697883 o2(x,o2(x,o1(x))) true 54559 54559 -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_x16_u6_b45 17 16 6 45 pow(D,sub(R,nrm(D))) 111820 138697884 o2(x,o2(x,o1(x))) true 54567 54567 -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_x16_u6_b46 17 16 6 46 pow(D,mlt(R,nrm(D))) 111821 138697885 o2(x,o2(x,o1(x))) true 54575 54575 -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_x16_u6_b47 17 16 6 47 pow(D,div(R,nrm(D))) 111822 138697886 o2(x,o2(x,o1(x))) true 54583 54583 -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_x16_u6_b48 17 16 6 48 pow(D,pow(R,nrm(D))) 111823 138697887 o2(x,o2(x,o1(x))) true 54591 54591 -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_x16_u6_b49 17 16 6 49 pow(D,mod(R,nrm(D))) 111824 138697888 o2(x,o2(x,o1(x))) true 54599 54599 -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_x16_u6_b50 17 16 6 50 pow(D,lrg(R,nrm(D))) 111825 138697889 o2(x,o2(x,o1(x))) true 54607 54607 -0.9218 0.03944 0.9993 0.1493 0.3864 -1 1 2 1 0.2582 0.09719 0.03509 0.06266 0.4694 1 0.0002835 0.4132 0.1328 0.1283 0.3582 5.717 2.828 0.8859 2.767 1 1 0.1315 0.2686 0.2653 0.8806 1.799 1.777 json
t17_x16_u6_b51 17 16 6 51 pow(D,eql(R,nrm(D))) 111826 138697890 o2(x,o2(x,o1(x))) true 54615 54615 0.9993 0.9996 1 0.001473 0.03838 -1 1 2 1 0.00521 0.003042 0.00279 0.002552 0.0432 1 3.004e-11 0.0284 0.005937 0.00582 0.07629 29.89 2.828 3.96 19.29 1 1 0.003878 0.003878 0.003384 2.633 2.633 2.297 json
t17_x16_u6_b52 17 16 6 52 pow(D,min(R,nrm(D))) 111827 138697891 o2(x,o2(x,o1(x))) true 54623 54623 -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_x16_u6_b53 17 16 6 53 pow(D,dot(R,nrm(D))) 111828 138697892 o2(x,o2(x,o1(x))) true 54631 54631 -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_x16_u6_b54 17 16 6 54 pow(D,dst(R,nrm(D))) 111829 138697893 o2(x,o2(x,o1(x))) true 54639 54639 -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_x16_u6_b55 17 16 6 55 mod(D,add(R,nrm(D))) 111830 138697894 o2(x,o2(x,o1(x))) true 54647 54647 0.0009278 0.5057 0.1053 0.01542 0.1242 -0.2729 0.2727 0.5456 1 3.019 0.003079 0.001474 0.05233 0.3524 1 0.000004457 0.01072 0.05657 0.001815 0.0426 0.814 0.572 0.2953 0.6949 1 1 0.005773 0.02724 0.01168 0.3744 1.766 0.7573 json
t17_x16_u6_b56 17 16 6 56 mod(D,sub(R,nrm(D))) 111831 138697895 o2(x,o2(x,o1(x))) true 54655 54655 -0.0007631 0.4961 0.1071 0.01593 0.1262 -0.2728 0.2728 0.5455 1 3.036 0.003141 0.001521 0.05284 0.3475 1 -0.000004339 0.011 0.05747 0.00187 0.04324 0.8185 0.5526 0.2926 0.6905 1 1 0.005961 0.02813 0.01355 0.3742 1.766 0.8506 json
t17_x16_u6_b57 17 16 6 57 mod(D,mlt(R,nrm(D))) 111832 138697896 o2(x,o2(x,o1(x))) true 54663 54663 -0.000345 0.498 0.09985 0.01519 0.1233 -0.2725 0.2725 0.545 1 3.004 0.003958 0.001543 0.05276 0.4389 1 0.000006829 0.01479 0.06473 0.002717 0.05213 0.9879 0.5422 0.3621 0.9734 1 1 0.006764 0.02954 0.01527 0.4452 1.945 1.005 json
t17_x16_u6_b58 17 16 6 58 mod(D,div(R,nrm(D))) 111833 138697897 o2(x,o2(x,o1(x))) true 54671 54671 -0.0002211 0.4994 0.1192 0.01913 0.1383 -0.2725 0.2724 0.5449 1 3.097 0.004935 0.0009699 0.05508 0.6715 1 -0.000001454 0.01278 0.05791 0.002872 0.05359 0.973 0.561 0.3087 0.6681 1 1 0.007611 0.03754 0.01289 0.3979 1.963 0.6739 json
t17_x16_u6_b59 17 16 6 59 mod(D,pow(R,nrm(D))) 111834 138697898 o2(x,o2(x,o1(x))) true 54679 54679 -0.9584 0.01894 0.962 0.03923 0.1981 -1 0.1454 1.145 1 0.377 0.004355 0.003863 0.009821 0.05981 1 -0.000006027 0.01723 0.01784 0.008119 0.0901 9.174 1.37 0.2095 0.4392 1 1 0.006254 0.0263 0.06525 0.1594 0.6706 1.663 json
t17_x16_u6_b60 17 16 6 60 mod(D,mod(R,nrm(D))) 111835 138697899 o2(x,o2(x,o1(x))) true 54687 54687 -0.00002696 0.4987 0.09322 0.01397 0.1182 -0.2728 0.2728 0.5456 1 2.955 0.006801 0.003053 0.07487 0.3803 1 -0.00001025 0.03166 0.123 0.00425 0.06519 0.8708 0.4963 0.7055 2.266 1 1 0.009241 0.02758 0.01501 0.6616 1.974 1.075 json
t17_x16_u6_b61 17 16 6 61 mod(D,lrg(R,nrm(D))) 111836 138697900 o2(x,o2(x,o1(x))) true 54695 54695 -0.9674 0.02959 0.9724 0.03429 0.1852 -1 0.1454 1.145 1 0.2466 0.02101 0.008743 0.02647 0.4122 1 0.0001964 0.0957 0.05593 0.02906 0.1705 6.44 1.62 0.8675 2.791 1 1 0.0255 0.05554 0.06533 0.7437 1.619 1.905 json
t17_x16_u6_b62 17 16 6 62 mod(D,eql(R,nrm(D))) 111837 138697901 o2(x,o2(x,o1(x))) true 54703 54703 -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_x16_u6_b63 17 16 6 63 mod(D,min(R,nrm(D))) 111838 138697902 o2(x,o2(x,o1(x))) true 54711 54711 -0.04603 0.3947 0.1174 0.01602 0.1266 -0.2728 0.1583 0.4311 1 2.891 0.003452 0.00005976 0.04468 0.966 1 0.00008529 0.00387 0.03268 0.001515 0.03893 0.8713 0.3098 0.2192 0.2415 1 1 0.005265 0.03032 0.006889 0.3286 1.892 0.4299 json
t17_x16_u6_b64 17 16 6 64 mod(D,dot(R,nrm(D))) 111839 138697903 o2(x,o2(x,o1(x))) true 54719 54719 -0.0002601 0.4974 0.1101 0.01739 0.1319 -0.2727 0.2726 0.5453 1 3.077 0.004759 0.003017 0.06589 0.2239 1 0.00002214 0.02285 0.08768 0.003435 0.05861 0.8894 0.6325 0.4472 1.314 1 1 0.008563 0.03535 0.01478 0.4925 2.033 0.85 json
t17_x16_u6_b65 17 16 6 65 mod(D,dst(R,nrm(D))) 111840 138697904 o2(x,o2(x,o1(x))) true 54727 54727 -0.0005054 0.4992 0.1002 0.01256 0.1121 -0.272 0.2715 0.5435 1 2.749 0.002186 0.0003685 0.04096 0.7115 1 0.00001114 0.003058 0.02417 0.0008773 0.02962 0.7231 0.5045 0.2033 0.2434 1 1 0.004052 0.02493 0.001706 0.3225 1.985 0.1358 json
t17_x16_u6_b66 17 16 6 66 lrg(D,add(R,nrm(D))) 111841 138697905 o2(x,o2(x,o1(x))) true 54735 54735 0.4967 0.9373 0.4967 0.1468 0.3831 0 1 1 1 3.517 0.03062 0.02418 0.11 0.1175 1 -0.00003626 0.1624 0.141 0.0427 0.2066 1.878 1.414 0.3734 1.107 1 1 0.0602 0.2039 0.2229 0.4101 1.389 1.519 json
t17_x16_u6_b67 17 16 6 67 lrg(D,sub(R,nrm(D))) 111842 138697906 o2(x,o2(x,o1(x))) true 54743 54743 0.4977 0.9779 0.4977 0.1196 0.3458 0 1 1 1 3.668 0.04918 0.01628 0.1359 0.5026 1 -0.0001494 0.1863 0.1666 0.04697 0.2167 1.594 1.413 0.5473 1.558 1 1 0.07112 0.2232 0.0985 0.5946 1.866 0.8235 json
t17_x16_u6_b68 17 16 6 68 lrg(D,mlt(R,nrm(D))) 111843 138697907 o2(x,o2(x,o1(x))) true 54751 54751 0.4977 0.9787 0.4977 0.1484 0.3853 0 1 1 1 3.49 0.06235 0.01292 0.1348 0.6567 1 -0.00004102 0.182 0.1875 0.05708 0.2389 1.772 1.413 0.5071 1.226 1 1 0.07798 0.2718 0.2632 0.5254 1.831 1.773 json
t17_x16_u6_b69 17 16 6 69 lrg(D,div(R,nrm(D))) 111844 138697908 o2(x,o2(x,o1(x))) true 54759 54759 0.4966 0.9285 0.4966 0.1458 0.3818 0 1 1 1 3.537 0.06065 0.005508 0.1251 0.8335 1 0.00005405 0.1424 0.1658 0.05048 0.2247 1.795 1.404 0.4537 0.977 1 1 0.06681 0.2501 0.2808 0.4583 1.716 1.926 json
t17_x16_u6_b70 17 16 6 70 lrg(D,pow(R,nrm(D))) 111845 138697909 o2(x,o2(x,o1(x))) true 54767 54767 0.5604 0.9701 0.5604 0.1524 0.3904 0 1 1 1 3.385 0.008729 0.004461 0.06266 0.3236 1 -0.00002311 0.02726 0.04175 0.009265 0.09626 1.536 1.409 0.08656 0.1789 1 1 0.01608 0.1257 0.286 0.1055 0.8249 1.877 json
t17_x16_u6_b71 17 16 6 71 lrg(D,mod(R,nrm(D))) 111846 138697910 o2(x,o2(x,o1(x))) true 54775 54775 0.5014 0.9837 0.5014 0.1484 0.3852 0 1 1 1 3.466 0.08565 0.05722 0.2157 0.1991 1 -0.00001374 0.6025 0.3936 0.09631 0.3103 1.438 1.414 0.9629 4.061 1 1 0.1009 0.2165 0.2444 0.6797 1.459 1.647 json
t17_x16_u6_b72 17 16 6 72 lrg(D,lrg(R,nrm(D))) 111847 138697911 o2(x,o2(x,o1(x))) true 54783 54783 0.4047 0.9613 0.4047 0.1249 0.3534 0 0.9997 0.9997 1 3.575 0.05026 0.01264 0.1274 0.5982 1 -0.00009228 0.1567 0.1534 0.04666 0.216 1.695 1.404 0.5037 1.255 1 1 0.0675 0.2206 0.08027 0.5406 1.767 0.6429 json
t17_x16_u6_b73 17 16 6 73 lrg(D,eql(R,nrm(D))) 111848 138697912 o2(x,o2(x,o1(x))) true 54791 54791 0.5 1 0.5 0.1417 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06509 0.00001994 0.1228 0.9994 1 -1.877e-12 0.1209 0.1337 0.05001 0.2236 1.821 0.9994 0.4594 0.853 1 1 0.07073 0.2419 0.000004735 0.499 1.707 0.00003341 json
t17_x16_u6_b74 17 16 6 74 lrg(D,min(R,nrm(D))) 111849 138697913 o2(x,o2(x,o1(x))) true 54799 54799 0.8152 0.992 0.8152 0.1013 0.3183 0 1 1 1 2.154 0.03397 0.001045 0.0674 0.9403 1 -0.00003953 0.06667 0.08835 0.03046 0.1745 2.59 1 0.3456 0.6581 1 1 0.03509 0.1381 0.1383 0.3464 1.363 1.365 json
t17_x16_u6_b75 17 16 6 75 lrg(D,dot(R,nrm(D))) 111850 138697914 o2(x,o2(x,o1(x))) true 54807 54807 0.495 0.9265 0.495 0.1445 0.3802 0 1 1 1 3.543 0.0388 0.03269 0.1302 0.0854 1 0.0001706 0.217 0.1863 0.05453 0.2335 1.793 1.414 0.4946 1.501 1 1 0.07474 0.2766 0.2758 0.5171 1.914 1.908 json
t17_x16_u6_b76 17 16 6 76 lrg(D,dst(R,nrm(D))) 111851 138697915 o2(x,o2(x,o1(x))) true 54815 54815 0.01038 0.124 0.01038 0.003321 0.05763 0 0.9858 0.9858 1 0.361 0.001587 0.001484 0.009144 0.03335 1 -0.0000571 0.01039 0.01413 0.002986 0.05465 5.976 1.394 0.9248 3.128 1 1 0.002485 0.005633 0.005963 0.7482 1.696 1.796 json
t17_x16_u6_b77 17 16 6 77 eql(D,add(R,nrm(D))) 111852 138697916 o2(x,o2(x,o1(x))) true 54823 54823 0.0001089 0.0004883 0.0001089 0.00004724 0.006873 0 0.8352 0.8352 1 0.005367 0.00006953 0.00005793 0.0002957 0.09096 1 0.000007927 0.0006934 0.00073 0.0001273 0.01128 38.15 1.181 2.698 14.68 1 1 0.00004311 0.0000403 0.00004657 0.9127 0.8532 0.9858 json
t17_x16_u6_b78 17 16 6 78 eql(D,sub(R,nrm(D))) 111853 138697917 o2(x,o2(x,o1(x))) true 54831 54831 0.00003797 0.0001068 0.00003797 0.0000222 0.004712 0 0.7977 0.7977 1 0.001772 0.00004582 0.00004582 0.0001338 0 0 0 0.0004582 0.0003135 0.00009163 0.009572 71.54 1.128 4.128 20.64 1 1 0.000004971 0.000004971 0.00002388 0.2239 0.2239 1.076 json
t17_x16_u6_b79 17 16 6 79 eql(D,mlt(R,nrm(D))) 111854 138697918 o2(x,o2(x,o1(x))) true 54839 54839 0.0002159 0.001068 0.0002159 0.0000984 0.00992 0 0.741 0.741 1 0.00981 0.0001531 0.0001804 0.0006215 -0.08189 1 -0.00002053 0.001679 0.001468 0.000333 0.01825 29.36 1.048 3.39 17.07 1 1 0.0001938 0.0001938 0.0001952 1.97 1.97 1.983 json
t17_x16_u6_b80 17 16 6 80 eql(D,div(R,nrm(D))) 111855 138697919 o2(x,o2(x,o1(x))) true 54847 54847 0.00005614 0.0002747 0.00005614 0.00003706 0.006088 0 0.7742 0.7742 1 0.001885 0.00007651 0.00003841 0.0001601 0.3315 1 -5.162e-12 0.0004603 0.0003567 0.0001149 0.01072 66.97 1.095 3.101 12.42 1 1 0.000001748 0.000001748 0.000001748 0.04715 0.04715 0.04715 json
t17_x16_u6_b81 17 16 6 81 eql(D,pow(R,nrm(D))) 111856 138697920 o2(x,o2(x,o1(x))) true 54855 54855 0.00004867 0.0001373 0.00004867 0.0000259 0.00509 0 0.7742 0.7742 1 0.002007 0.00005345 0.00003458 0.0001531 0.2143 0 4.654e-7 0.0003834 0.0003498 0.00008798 0.00938 61.26 1.095 3.398 14.8 1 1 0.00001159 0.00001159 0.00001359 0.4474 0.4474 0.5247 json
t17_x16_u6_b82 17 16 6 82 eql(D,mod(R,nrm(D))) 111857 138697921 o2(x,o2(x,o1(x))) true 54863 54863 0.0001823 0.0009003 0.0001823 0.00008292 0.009106 0 0.8606 0.8606 1 0.008887 0.0001645 0.0001501 0.0005647 0.0457 1 -3.515e-7 0.001544 0.0013 0.0003142 0.01773 31.39 1.217 3.795 18.62 1 1 0.0001856 0.0001856 0.0002094 2.238 2.238 2.525 json
t17_x16_u6_b83 17 16 6 83 eql(D,lrg(R,nrm(D))) 111858 138697922 o2(x,o2(x,o1(x))) true 54871 54871 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_x16_u6_b84 17 16 6 84 eql(D,eql(R,nrm(D))) 111859 138697923 o2(x,o2(x,o1(x))) true 54879 54879 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_x16_u6_b85 17 16 6 85 eql(D,min(R,nrm(D))) 111860 138697924 o2(x,o2(x,o1(x))) true 54887 54887 1.863e-7 0.00003052 1.863e-7 1.541e-9 0.00003925 0 0.009772 0.009772 1 0 3.18e-9 2.453e-9 5.694e-7 0.129 0 0 2.601e-8 0.000001157 5.633e-9 0.00007505 131.8 0.01382 3.656 16.89 1 1 0 0 1.398e-9 0 0 0.9077 json
t17_x16_u6_b86 17 16 6 86 eql(D,dot(R,nrm(D))) 111861 138697925 o2(x,o2(x,o1(x))) true 54895 54895 0.00008059 0.0003052 0.00008059 0.00004249 0.006518 0 0.6669 0.6669 1 0.00339 0.00008772 0.00008772 0.0002839 0 1 -4.654e-7 0.0008772 0.0006649 0.0001753 0.01324 46.63 0.9432 4.129 20.65 1 1 0.000006825 0.000008308 0.00002189 0.1606 0.1955 0.5152 json
t17_x16_u6_b87 17 16 6 87 eql(D,dst(R,nrm(D))) 111862 138697926 o2(x,o2(x,o1(x))) true 54903 54903 0.00002895 0.0001373 0.00002895 0.00001333 0.00365 0 0.6224 0.6224 1 0.001444 0.00002751 0.00002751 0.000102 0 0 0 0.0002751 0.000239 0.000055 0.007416 72.71 0.8803 4.128 20.64 1 1 0.000003381 0.000003381 0.000009014 0.2537 0.2537 0.6764 json
t17_x16_u6_b88 17 16 6 88 min(D,add(R,nrm(D))) 111863 138697927 o2(x,o2(x,o1(x))) true 54911 54911 -0.2774 0.2603 0.3186 0.1193 0.3454 -1 0.1454 1.145 1 4.002 0.01416 0.003079 0.09257 0.6427 1 -0.00001995 0.01505 0.04701 0.008666 0.09309 1.006 1.102 0.1445 0.1262 1 1 0.02947 0.1835 0.1068 0.2471 1.538 0.895 json
t17_x16_u6_b89 17 16 6 89 min(D,sub(R,nrm(D))) 111864 138697928 o2(x,o2(x,o1(x))) true 54919 54919 -0.4642 0.04686 0.4697 0.1023 0.3198 -1 0.1454 1.145 1 4.011 0.01311 0.003257 0.09248 0.602 1 0.0003236 0.01718 0.04952 0.007814 0.0884 0.9559 1.043 0.16 0.168 1 1 0.02656 0.1498 0.124 0.2597 1.465 1.213 json
t17_x16_u6_b90 17 16 6 90 min(D,mlt(R,nrm(D))) 111865 138697929 o2(x,o2(x,o1(x))) true 54927 54927 -0.2009 0.183 0.2285 0.04824 0.2196 -0.9754 0.1454 1.121 1 3.761 0.005296 0.001721 0.06249 0.5094 1 0.0001002 0.005301 0.03146 0.003112 0.05579 0.8927 0.811 0.1455 0.1099 1 1 0.01175 0.07678 0.06793 0.2436 1.592 1.408 json
t17_x16_u6_b91 17 16 6 91 min(D,div(R,nrm(D))) 111866 138697930 o2(x,o2(x,o1(x))) true 54935 54935 -0.433 0.1418 0.4575 0.141 0.3755 -1 0.1454 1.145 1 4.03 0.04505 0.005287 0.1179 0.7899 1 -0.0001856 0.09475 0.1292 0.03643 0.1909 1.618 1.196 0.3571 0.6721 1 1 0.05711 0.2151 0.2217 0.4051 1.526 1.573 json
t17_x16_u6_b92 17 16 6 92 min(D,pow(R,nrm(D))) 111867 138697931 o2(x,o2(x,o1(x))) true 54943 54943 -0.009079 0.4803 0.09919 0.01213 0.1101 -0.2718 0.1454 0.4172 1 2.668 0.001785 0.00002081 0.03788 0.9769 1 0.000008878 0.0003206 0.01549 0.0003711 0.01926 0.5085 0.1026 0.1488 0.02643 1 1 0.003432 0.02377 0.001511 0.2829 1.959 0.1245 json
t17_x16_u6_b93 17 16 6 93 min(D,mod(R,nrm(D))) 111868 138697932 o2(x,o2(x,o1(x))) true 54951 54951 -0.193 0.1733 0.2181 0.04344 0.2084 -0.9754 0.1454 1.121 1 3.687 0.009477 0.008875 0.07769 0.03281 1 0.00004988 0.06259 0.1095 0.01232 0.111 1.429 1.196 0.4224 1.441 1 1 0.01879 0.06208 0.06123 0.4324 1.429 1.41 json
t17_x16_u6_b94 17 16 6 94 min(D,lrg(R,nrm(D))) 111869 138697933 o2(x,o2(x,o1(x))) true 54959 54959 -0.1253 0.1228 0.1388 0.01201 0.1096 -0.2729 0.1454 0.4183 1 2.694 0.002112 0.0006684 0.04099 0.5192 1 0.0002069 0.004329 0.02628 0.001101 0.03318 0.8095 0.4136 0.2314 0.3603 1 1 0.004277 0.02356 0.003604 0.356 1.961 0.3 json
t17_x16_u6_b95 17 16 6 95 min(D,eql(R,nrm(D))) 111870 138697934 o2(x,o2(x,o1(x))) true 54967 54967 -0.143 0.00003052 0.143 0.009237 0.09611 -0.2729 0.01716 0.29 1 2.228 0.001452 1.824e-7 0.03416 0.9997 1 0.0003063 0.0002672 0.01363 0.0002854 0.01689 0.4945 0.06828 0.1572 0.02893 1 1 0.002788 0.01827 2.204e-7 0.3018 1.978 0.00002386 json
t17_x16_u6_b96 17 16 6 96 min(D,min(R,nrm(D))) 111871 138697935 o2(x,o2(x,o1(x))) true 54975 54975 -0.4165 0.1374 0.4375 0.0948 0.3079 -0.999 0.1408 1.14 1 4.182 0.009098 0.003602 0.08122 0.4328 1 -0.0000374 0.01031 0.04199 0.006104 0.07813 0.962 0.8358 0.134 0.1087 1 1 0.02146 0.1326 0.09673 0.2263 1.399 1.02 json
t17_x16_u6_b97 17 16 6 97 min(D,dot(R,nrm(D))) 111872 138697936 o2(x,o2(x,o1(x))) true 54983 54983 -0.2768 0.1641 0.303 0.07471 0.2733 -1 0.1454 1.145 1 4.035 0.006996 0.00595 0.07833 0.08086 1 -0.000126 0.01699 0.04296 0.006811 0.08253 1.054 1.405 0.1733 0.2274 1 1 0.0204 0.1306 0.1349 0.2731 1.748 1.805 json
t17_x16_u6_b98 17 16 6 98 min(D,dst(R,nrm(D))) 111873 138697937 o2(x,o2(x,o1(x))) true 54991 54991 -0.001456 0.4972 0.09516 0.01103 0.105 -0.2345 0.1454 0.3799 1 2.571 0.001665 0.00001264 0.03656 0.9849 1 0.00001022 0.0002937 0.01502 0.0003417 0.01848 0.5056 0.1624 0.152 0.02662 1 1 0.003216 0.02218 0.0001344 0.2915 2.011 0.01218 json
t17_x16_u6_b99 17 16 6 99 dot(D,add(R,nrm(D))) 111874 138697938 o2(x,o2(x,o1(x))) true 54999 54999 0.4473 0.9968 0.4474 0.05577 0.2362 -0.04153 1 1.042 1 3.888 0.003001 0.003039 0.07066 -0.006239 1 -0.0008064 0.0009212 0.02296 0.001047 0.03235 0.4578 0.1806 0.1083 0.01652 1 1 0.01173 0.09586 0.0621 0.2103 1.719 1.113 json
t17_x16_u6_b100 17 16 6 100 dot(D,sub(R,nrm(D))) 111875 138697939 o2(x,o2(x,o1(x))) true 55007 55007 -0.4392 0.004272 0.4393 0.0551 0.2347 -1 0.0456 1.046 1 3.885 0.002967 0.002952 0.06971 0.002597 1 0.0005641 0.0008987 0.0226 0.001059 0.03255 0.4669 0.1767 0.1074 0.01631 1 1 0.01125 0.09364 0.06259 0.2041 1.7 1.136 json
t17_x16_u6_b101 17 16 6 101 dot(D,mlt(R,nrm(D))) 111876 138697940 o2(x,o2(x,o1(x))) true 55015 55015 0.01028 0.5218 0.1235 0.02394 0.1547 -0.4821 0.4661 0.9482 1 3.356 0.0009119 0.0008864 0.03662 0.01417 1 -0.00002222 0.0003655 0.01438 0.0004576 0.02139 0.5842 0.1315 0.07511 0.01527 1 1 0.003311 0.02548 0.04425 0.1383 1.064 1.848 json
t17_x16_u6_b102 17 16 6 102 dot(D,div(R,nrm(D))) 111877 138697941 o2(x,o2(x,o1(x))) true 55023 55023 0.02057 0.5038 0.1984 0.06286 0.2507 -0.8875 0.8358 1.723 1 4.042 0.001211 0.001241 0.04249 -0.012 1 0.00004383 0.0003883 0.01409 0.0006466 0.02543 0.5984 0.1478 0.03901 0.006177 1 1 0.00463 0.0427 0.116 0.07366 0.6792 1.845 json
t17_x16_u6_b103 17 16 6 103 dot(D,pow(R,nrm(D))) 111878 138697942 o2(x,o2(x,o1(x))) true 55031 55031 -0.9978 0.0003815 0.9979 0.001584 0.0398 -1 0.144 1.144 1 0.05234 0.0002289 0.0004025 0.001049 -0.275 1 5.256e-11 0.001342 0.001516 0.0006296 0.02509 23.92 1.219 0.3986 0.8473 1 1 0.001164 0.003596 0.005455 0.7347 2.27 3.444 json
t17_x16_u6_b104 17 16 6 104 dot(D,mod(R,nrm(D))) 111879 138697943 o2(x,o2(x,o1(x))) true 55039 55039 0.002604 0.5144 0.1122 0.02026 0.1423 -0.4886 0.4804 0.969 1 3.241 0.003049 0.003004 0.05342 0.007374 1 -0.00006381 0.01824 0.07847 0.003199 0.05656 1.059 0.4818 0.2987 0.9002 1 1 0.006661 0.03312 0.04218 0.3287 1.635 2.082 json
t17_x16_u6_b105 17 16 6 105 dot(D,lrg(R,nrm(D))) 111880 138697944 o2(x,o2(x,o1(x))) true 55047 55047 -0.217 0.04648 0.2234 0.01848 0.1359 -0.5458 0.3703 0.916 1 3.156 0.003148 0.003141 0.06223 0.001126 1 0.0003256 0.0155 0.06248 0.002416 0.04916 0.79 0.5013 0.3404 0.8389 1 1 0.008115 0.03604 0.01299 0.4392 1.951 0.7034 json
t17_x16_u6_b106 17 16 6 106 dot(D,eql(R,nrm(D))) 111881 138697945 o2(x,o2(x,o1(x))) true 55055 55055 0.00002741 0.0005188 0.00008572 0.00001281 0.003579 -0.151 0.254 0.4049 1 0.01112 0.00002589 0.0000258 0.0002934 0.001635 0 9.386e-13 0.0002549 0.0006833 0.00005159 0.007183 24.48 0.3592 4.037 19.91 1 1 0.00004014 0.00004028 0.00003992 3.134 3.145 3.117 json
t17_x16_u6_b107 17 16 6 107 dot(D,min(R,nrm(D))) 111882 138697946 o2(x,o2(x,o1(x))) true 55063 55063 0.2298 0.9269 0.2373 0.02407 0.1551 -0.2424 0.7347 0.9771 1 3.355 0.001252 0.001281 0.04632 -0.01141 1 -0.0004159 0.0004714 0.01674 0.0003875 0.01969 0.425 0.1109 0.1052 0.01959 1 1 0.004916 0.03821 0.02948 0.2043 1.588 1.225 json
t17_x16_u6_b108 17 16 6 108 dot(D,dot(R,nrm(D))) 111883 138697947 o2(x,o2(x,o1(x))) true 55071 55071 0.0104 0.5125 0.1389 0.03213 0.1793 -0.5784 0.6659 1.244 1 3.561 0.001466 0.001412 0.0476 0.01893 1 -0.0000313 0.0006412 0.01922 0.0006123 0.02475 0.5199 0.1663 0.08957 0.01996 1 1 0.005301 0.0436 0.0578 0.165 1.357 1.799 json
t17_x16_u6_b109 17 16 6 109 dot(D,dst(R,nrm(D))) 111884 138697948 o2(x,o2(x,o1(x))) true 55079 55079 -0.006958 0.4874 0.1888 0.05962 0.2442 -0.8298 0.8092 1.639 1 4.001 0.00387 0.003831 0.08037 0.005037 1 0.00001952 0.001336 0.02919 0.001242 0.03525 0.4386 0.2251 0.1292 0.02241 1 1 0.01464 0.1065 0.03804 0.2455 1.787 0.638 json
t17_x16_u6_b110 17 16 6 110 dst(D,add(R,nrm(D))) 111885 138697949 o2(x,o2(x,o1(x))) true 55087 55087 0.9222 1 0.9222 0.02024 0.1423 0.05643 1 0.9436 1 1.766 0.00232 0.00234 0.03168 -0.004217 1 -0.00002194 0.007714 0.02432 0.003657 0.06048 1.909 1.334 0.2302 0.381 1 1 0.006442 0.03172 0.03594 0.3182 1.567 1.776 json
t17_x16_u6_b111 17 16 6 111 dst(D,sub(R,nrm(D))) 111886 138697950 o2(x,o2(x,o1(x))) true 55095 55095 0.9865 1 0.9865 0.004387 0.06624 0.06225 1 0.9378 1 0.4507 0.001823 0.001749 0.01407 0.02078 1 -0.00006185 0.008445 0.01822 0.003375 0.05809 4.128 1.242 0.8142 1.925 1 1 0.004223 0.008321 0.007662 0.9625 1.896 1.746 json
t17_x16_u6_b112 17 16 6 112 dst(D,mlt(R,nrm(D))) 111887 138697951 o2(x,o2(x,o1(x))) true 55103 55103 0.6436 1 0.6436 0.05885 0.2426 0.009025 1 0.991 1 3.714 0.003803 0.003637 0.06813 0.02221 1 -0.0002982 0.00454 0.03477 0.002798 0.0529 0.7764 0.5793 0.1264 0.07714 1 1 0.01261 0.06993 0.09362 0.2142 1.188 1.591 json
t17_x16_u6_b113 17 16 6 113 dst(D,div(R,nrm(D))) 111888 138697952 o2(x,o2(x,o1(x))) true 55111 55111 -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_x16_u6_b114 17 16 6 114 dst(D,pow(R,nrm(D))) 111889 138697953 o2(x,o2(x,o1(x))) true 55119 55119 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.002016 0.002016 0.001997 0 1 0 0.008566 0.004031 0.004024 0.06344 31.76 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05496 0.4556 1.823 3.531 json
t17_x16_u6_b115 17 16 6 115 dst(D,mod(R,nrm(D))) 111890 138697954 o2(x,o2(x,o1(x))) true 55127 55127 0.8183 1 0.8183 0.03779 0.1944 0.03755 1 0.9624 1 2.919 0.007137 0.007118 0.06752 0.001293 1 -0.000128 0.04909 0.1029 0.009696 0.09847 1.458 1.079 0.3772 1.299 1 1 0.01277 0.05025 0.07079 0.3379 1.33 1.873 json
t17_x16_u6_b116 17 16 6 116 dst(D,lrg(R,nrm(D))) 111891 138697955 o2(x,o2(x,o1(x))) true 55135 55135 0.9641 1 0.9641 0.01961 0.1401 0.04495 1 0.955 1 0.7105 0.007879 0.007571 0.02964 0.01991 1 -0.0001502 0.05048 0.0462 0.01456 0.1207 4.071 1.325 0.7877 2.574 1 1 0.01576 0.03793 0.02917 0.8037 1.934 1.487 json
t17_x16_u6_b117 17 16 6 117 dst(D,eql(R,nrm(D))) 111892 138697956 o2(x,o2(x,o1(x))) true 55143 55143 0.4441 1 0.4441 0.02509 0.1584 0.04473 1 0.9553 1 3.255 0.002154 0.002199 0.0597 -0.01048 1 -0.0006857 0.002544 0.02105 0.0007896 0.0281 0.4707 1.309 0.1735 0.1014 1 1 0.007921 0.05082 0.0003325 0.3157 2.026 0.01325 json
t17_x16_u6_b118 17 16 6 118 dst(D,min(R,nrm(D))) 111893 138697957 o2(x,o2(x,o1(x))) true 55151 55151 0.7896 1 0.7896 0.03557 0.1886 0.03089 1 0.9691 1 3.111 0.001891 0.001918 0.0433 -0.007051 1 0.00019 0.003728 0.02536 0.001933 0.04397 1.015 0.7497 0.1071 0.1048 1 1 0.006675 0.04197 0.05971 0.1876 1.18 1.678 json
t17_x16_u6_b119 17 16 6 119 dst(D,dot(R,nrm(D))) 111894 138697958 o2(x,o2(x,o1(x))) true 55159 55159 0.8335 1 0.8335 0.04779 0.2186 0.02629 1 0.9737 1 2.65 0.01363 0.01338 0.08988 0.009262 1 -0.00004529 0.07196 0.08822 0.01893 0.1376 1.531 1.377 0.5651 1.506 1 1 0.03389 0.09205 0.08004 0.7091 1.926 1.675 json
t17_x16_u6_b120 17 16 6 120 dst(D,dst(R,nrm(D))) 111895 138697959 o2(x,o2(x,o1(x))) true 55167 55167 0.9962 1 0.9962 0.001347 0.03671 0.07546 1 0.9245 1 0.1523 0.0009505 0.0008806 0.005574 0.03815 1 -4.612e-7 0.005984 0.009147 0.0018 0.04242 7.61 1.133 1.359 4.441 1 1 0.002082 0.002928 0.002768 1.545 2.173 2.055 json
t17_x17_u0_b0 17 17 0 0 add(D,add(R,sqt(R))) 111896 138737034 o2(x,o2(x,o1(x))) true 55175 55175 -0.9162 0.04297 0.9978 0.1568 0.396 -1 1 2 1 0.3099 0.01598 0.01558 0.01657 0.01263 1 -0.000004317 0.066 0.03259 0.03127 0.1768 10.67 2.828 0.2013 0.421 1 1 0.02467 0.1064 0.2652 0.1573 0.6787 1.691 json
t17_x17_u0_b1 17 17 0 1 add(D,sub(R,sqt(R))) 111897 138737035 o2(x,o2(x,o1(x))) true 55183 55183 -0.9639 0.00383 0.9642 0.02955 0.1719 -1 0.1172 1.117 1 0.3796 0.002999 0.002946 0.008272 0.00892 1 -0.000007196 0.01234 0.01442 0.005872 0.07663 9.263 1.28 0.2012 0.4176 1 1 0.004604 0.01997 0.04939 0.1558 0.676 1.672 json
t17_x17_u0_b2 17 17 0 2 add(D,mlt(R,sqt(R))) 111898 138737036 o2(x,o2(x,o1(x))) true 55191 55191 -0.9372 0.04242 0.9769 0.09023 0.3004 -1 1 2 1 0.423 0.009069 0.009141 0.01389 -0.003985 1 -1.926e-7 0.03791 0.0247 0.01801 0.1342 9.66 2.512 0.2018 0.4202 1 1 0.01445 0.06284 0.1518 0.1601 0.6965 1.683 json
t17_x17_u0_b3 17 17 0 3 add(D,div(R,sqt(R))) 111899 138737037 o2(x,o2(x,o1(x))) true 55199 55199 -0.9259 0.04297 0.9882 0.1235 0.3515 -1 1 2 1 0.3993 0.01255 0.0124 0.01572 0.006304 1 0.000001077 0.05211 0.02915 0.0247 0.1572 9.996 2.687 0.202 0.4218 1 1 0.01962 0.08459 0.2088 0.1588 0.6848 1.69 json