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_x17_u5_b99 17 17 5 99 dot(D,add(R,sgn(R))) 112600 138738138 o2(x,o2(x,o1(x))) true 60807 60807 0.01062 0.5126 0.3635 0.2045 0.4522 -1 1 2 1 4.829 0.006807 0.006965 0.1077 -0.01144 1 -0.0003011 0.001508 0.0308 0.002178 0.04667 0.4335 0.2825 0.06734 0.007373 1 1 0.02668 0.2994 0.4247 0.1305 1.464 2.076 json
t17_x17_u5_b100 17 17 5 100 dot(D,sub(R,sgn(R))) 112601 138738139 o2(x,o2(x,o1(x))) true 60815 60815 -0.002518 0.4939 0.1333 0.0284 0.1685 -0.6187 0.6576 1.276 1 3.486 0.0009274 0.0009739 0.03924 -0.02448 1 0.00005856 0.0001922 0.01114 0.0003615 0.01901 0.4845 0.1261 0.06694 0.006766 1 1 0.003606 0.04032 0.05587 0.127 1.42 1.967 json
t17_x17_u5_b101 17 17 5 101 dot(D,mlt(R,sgn(R))) 112602 138738140 o2(x,o2(x,o1(x))) true 60823 60823 -0.001482 0.4895 0.09317 0.01358 0.1165 -0.4034 0.3695 0.7729 1 2.961 0.0006852 0.0006995 0.03381 -0.01033 1 0.0000419 0.0001867 0.01104 0.0002413 0.01553 0.4594 0.09739 0.102 0.01375 1 1 0.002611 0.02228 0.01597 0.1923 1.641 1.176 json
t17_x17_u5_b102 17 17 5 102 dot(D,div(R,sgn(R))) 112603 138738141 o2(x,o2(x,o1(x))) true 60831 60831 -0.001482 0.4895 0.09317 0.01358 0.1165 -0.4034 0.3695 0.7729 1 2.961 0.0006852 0.0006995 0.03381 -0.01033 1 0.0000419 0.0001867 0.01104 0.0002413 0.01553 0.4594 0.09739 0.102 0.01375 1 1 0.002611 0.02228 0.01597 0.1923 1.641 1.176 json
t17_x17_u5_b103 17 17 5 103 dot(D,pow(R,sgn(R))) 112604 138738142 o2(x,o2(x,o1(x))) true 60839 60839 -0.9959 0.003021 0.9964 0.004411 0.06642 -1 0.204 1.204 1 0.0458 0.0005673 0.0005186 0.001137 0.04481 1 7.509e-12 0.00228 0.002107 0.001084 0.03292 28.95 1.386 0.2462 0.517 1 1 0.001928 0.008061 0.01557 0.4371 1.827 3.53 json
t17_x17_u5_b104 17 17 5 104 dot(D,mod(R,sgn(R))) 112605 138738143 o2(x,o2(x,o1(x))) true 60847 60847 0.004186 0.519 0.1403 0.03119 0.1766 -0.5259 0.5965 1.122 1 3.548 0.001025 0.001036 0.04104 -0.005293 1 -0.0001214 0.0002066 0.0116 0.0003766 0.01941 0.4729 0.1246 0.06608 0.006623 1 1 0.003983 0.04517 0.06353 0.1277 1.448 2.037 json
t17_x17_u5_b105 17 17 5 105 dot(D,lrg(R,sgn(R))) 112606 138738144 o2(x,o2(x,o1(x))) true 60855 60855 -0.003352 0.4854 0.1306 0.02712 0.1647 -0.4776 0.4991 0.9766 1 3.438 0.001159 0.001107 0.04238 0.02275 1 0.00008999 0.000274 0.01325 0.0004701 0.02168 0.5116 0.1179 0.08356 0.01011 1 1 0.004181 0.04146 0.04545 0.1542 1.529 1.676 json
t17_x17_u5_b106 17 17 5 106 dot(D,eql(R,sgn(R))) 112607 138738145 o2(x,o2(x,o1(x))) true 60863 60863 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_x17_u5_b107 17 17 5 107 dot(D,min(R,sgn(R))) 112608 138738146 o2(x,o2(x,o1(x))) true 60871 60871 0.004704 0.514 0.1925 0.05709 0.2389 -0.7134 0.6882 1.402 1 3.974 0.001958 0.001932 0.05739 0.00667 1 -0.0001298 0.0004007 0.01639 0.0005962 0.02442 0.4254 0.1629 0.06814 0.007019 1 1 0.007487 0.0842 0.1201 0.1311 1.475 2.104 json
t17_x17_u5_b108 17 17 5 108 dot(D,dot(R,sgn(R))) 112609 138738147 o2(x,o2(x,o1(x))) true 60879 60879 -0.001655 0.4956 0.2089 0.07295 0.2701 -0.9196 0.8962 1.816 1 4.147 0.004502 0.004576 0.08771 -0.008146 1 0.00003956 0.001342 0.02911 0.001385 0.03722 0.4243 0.2441 0.1244 0.0184 1 1 0.01782 0.1342 0.04105 0.2443 1.84 0.5626 json
t17_x17_u5_b109 17 17 5 109 dot(D,dst(R,sgn(R))) 112610 138738148 o2(x,o2(x,o1(x))) true 60887 60887 0.0009283 0.4974 0.1266 0.0262 0.1619 -0.567 0.5542 1.121 1 3.417 0.001681 0.001682 0.05383 -0.0004088 1 -0.00002208 0.0005038 0.01791 0.0004655 0.02158 0.4008 0.1437 0.1284 0.01923 1 1 0.006281 0.04706 0.01355 0.2398 1.796 0.5173 json
t17_x17_u5_b110 17 17 5 110 dst(D,add(R,sgn(R))) 112611 138738149 o2(x,o2(x,o1(x))) true 60895 60895 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_x17_u5_b111 17 17 5 111 dst(D,sub(R,sgn(R))) 112612 138738150 o2(x,o2(x,o1(x))) true 60903 60903 0.9154 1 0.9154 0.02051 0.1432 0.1403 1 0.8597 1 1.897 0.0007551 0.0007114 0.02265 0.0298 1 -0.0001427 0.000433 0.01049 0.000953 0.03087 1.363 0.2033 0.07151 0.02112 1 1 0.003025 0.02831 0.04583 0.1475 1.381 2.235 json
t17_x17_u5_b112 17 17 5 112 dst(D,mlt(R,sgn(R))) 112613 138738151 o2(x,o2(x,o1(x))) true 60911 60911 0.9325 1 0.9325 0.01606 0.1267 0.07226 1 0.9277 1 1.653 0.0006127 0.0007105 0.01997 -0.07392 1 -0.00007472 0.0004164 0.009793 0.0009249 0.03041 1.523 0.191 0.0824 0.02593 1 1 0.002233 0.01779 0.02237 0.1391 1.108 1.393 json
t17_x17_u5_b113 17 17 5 113 dst(D,div(R,sgn(R))) 112614 138738152 o2(x,o2(x,o1(x))) true 60919 60919 0.9325 1 0.9325 0.01606 0.1267 0.07226 1 0.9277 1 1.653 0.0006127 0.0007105 0.01997 -0.07392 1 -0.00007472 0.0004164 0.009793 0.0009249 0.03041 1.523 0.191 0.0824 0.02593 1 1 0.002233 0.01779 0.02237 0.1391 1.108 1.393 json
t17_x17_u5_b114 17 17 5 114 dst(D,pow(R,sgn(R))) 112615 138738153 o2(x,o2(x,o1(x))) true 60927 60927 -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_x17_u5_b115 17 17 5 115 dst(D,mod(R,sgn(R))) 112616 138738154 o2(x,o2(x,o1(x))) true 60935 60935 0.9181 1 0.9181 0.01978 0.1406 0.07175 1 0.9282 1 1.861 0.0006824 0.0007622 0.02203 -0.05522 1 -0.00004027 0.0004199 0.009976 0.000959 0.03097 1.406 0.1814 0.07303 0.02123 1 1 0.002532 0.02334 0.03425 0.128 1.18 1.731 json
t17_x17_u5_b116 17 17 5 116 dst(D,lrg(R,sgn(R))) 112617 138738155 o2(x,o2(x,o1(x))) true 60943 60943 0.9513 1 0.9513 0.02205 0.1485 0.04447 1 0.9555 1 1.092 0.0007799 0.0008714 0.01582 -0.0554 1 -0.00003468 0.0004629 0.007671 0.001402 0.03744 2.366 0.2173 0.07488 0.02099 1 1 0.003524 0.03198 0.04431 0.1598 1.45 2.009 json
t17_x17_u5_b117 17 17 5 117 dst(D,eql(R,sgn(R))) 112618 138738156 o2(x,o2(x,o1(x))) true 60951 60951 0.4439 1 0.4439 0.02504 0.1582 0.04473 0.7026 0.6579 1 3.252 0.001981 0.001981 0.05914 2.938e-7 1 -0.0006857 0.0006739 0.01958 0.000465 0.02156 0.3646 0.09377 0.1583 0.02692 1 1 0.007608 0.05068 0 0.3039 2.024 0 json
t17_x17_u5_b118 17 17 5 118 dst(D,min(R,sgn(R))) 112619 138738157 o2(x,o2(x,o1(x))) true 60959 60959 0.9947 1 0.9947 0.001611 0.04014 0.07203 1 0.928 1 0.2221 0.00008372 0.0000939 0.002344 -0.0573 1 0.000007581 0.00008492 0.001732 0.0001723 0.01313 5.599 0.1979 0.1103 0.05272 1 1 0.0002095 0.001347 0.002078 0.13 0.836 1.29 json
t17_x17_u5_b119 17 17 5 119 dst(D,dot(R,sgn(R))) 112620 138738158 o2(x,o2(x,o1(x))) true 60967 60967 0.9987 1 0.9987 0.0004816 0.02194 0.2356 1 0.7644 1 0.06023 0.00003079 0.00005062 0.0006328 -0.2435 0 -0.00001551 0.0000546 0.000537 0.00008108 0.009004 14.23 0.2995 0.1691 0.1134 1 1 0.00004162 0.0001788 0.0003484 0.08642 0.3713 0.7234 json
t17_x17_u5_b120 17 17 5 120 dst(D,dst(R,sgn(R))) 112621 138738159 o2(x,o2(x,o1(x))) true 60975 60975 0.9926 1 0.9926 0.002013 0.04487 0.3039 1 0.6961 1 0.2985 0.0001423 0.0001207 0.00326 0.0819 1 -0.00002128 0.0001457 0.00236 0.0002524 0.01589 4.873 0.2082 0.1307 0.07237 1 1 0.0006194 0.004266 0.005017 0.3077 2.119 2.492 json
t17_x17_u6_b0 17 17 6 0 add(D,add(R,nrm(R))) 112622 138738240 o2(x,o2(x,o1(x))) true 60983 60983 0.002422 0.494 0.675 0.5651 0.7517 -1 1 2 1 4.357 0.009825 0.009725 0.09918 0.005108 1 0.00001372 0.003239 0.03048 0.009713 0.09856 0.9938 0.4672 0.0346 0.005732 1 1 0.03827 0.4268 1.003 0.06772 0.7553 1.776 json
t17_x17_u6_b1 17 17 6 1 add(D,sub(R,nrm(R))) 112623 138738241 o2(x,o2(x,o1(x))) true 60991 60991 0.01331 0.5287 0.1315 0.02696 0.1642 -0.7098 0.5648 1.275 1 3.441 0.001884 0.0002115 0.04067 0.7982 1 0.00003252 0.0002828 0.01468 0.0004419 0.02102 0.5169 0.1353 0.07772 0.01049 1 1 0.003884 0.03141 0.03048 0.1441 1.165 1.131 json
t17_x17_u6_b2 17 17 6 2 add(D,mlt(R,nrm(R))) 112624 138738242 o2(x,o2(x,o1(x))) true 60999 60999 0.3279 0.9306 0.3351 0.04995 0.2235 -0.1425 1 1.143 1 3.852 0.002167 0.0005615 0.04606 0.5885 1 -1.327e-7 0.0003229 0.01494 0.0006075 0.02465 0.5351 0.1509 0.05463 0.006465 1 1 0.005016 0.04597 0.0761 0.1004 0.9203 1.524 json
t17_x17_u6_b3 17 17 6 3 add(D,div(R,nrm(R))) 112625 138738243 o2(x,o2(x,o1(x))) true 61007 61007 0.8888 1 0.8888 0.0262 0.1619 0.002826 1 0.9972 1 2.248 0.001131 0.0004542 0.02575 0.4269 1 0.000003883 0.0004209 0.01165 0.0009222 0.03037 1.179 0.1718 0.0605 0.01606 1 1 0.00275 0.02293 0.03627 0.105 0.8751 1.384 json
t17_x17_u6_b4 17 17 6 4 add(D,pow(R,nrm(R))) 112626 138738244 o2(x,o2(x,o1(x))) true 61015 61015 -0.9253 0.04297 0.9888 0.1252 0.3539 -1 1 2 1 0.392 0.01291 0.01229 0.01575 0.02478 1 -0.000003337 0.0526 0.02934 0.02495 0.1579 10.03 2.661 0.2012 0.42 1 1 0.01961 0.08488 0.2125 0.1566 0.6777 1.697 json
t17_x17_u6_b5 17 17 6 5 add(D,mod(R,nrm(R))) 112627 138738245 o2(x,o2(x,o1(x))) true 61023 61023 -0.01126 0.4748 0.2047 0.07072 0.2659 -1 1 2 1 4.119 0.002421 0.0008831 0.05003 0.4654 1 -0.00003437 0.0003549 0.01554 0.0008011 0.0283 0.5658 0.1921 0.04672 0.005019 1 1 0.006591 0.06594 0.1166 0.09319 0.9324 1.649 json
t17_x17_u6_b6 17 17 6 6 add(D,lrg(R,nrm(R))) 112628 138738246 o2(x,o2(x,o1(x))) true 61031 61031 0.5354 0.8709 0.5538 0.1536 0.3919 -0.1454 1 1.145 1 3.925 0.003596 0.001969 0.06074 0.2923 1 0.0001287 0.000656 0.01708 0.001876 0.04331 0.713 0.1713 0.03624 0.004272 1 1 0.01043 0.1166 0.3041 0.06795 0.7593 1.98 json
t17_x17_u6_b7 17 17 6 7 add(D,eql(R,nrm(R))) 112629 138738247 o2(x,o2(x,o1(x))) true 61039 61039 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t17_x17_u6_b8 17 17 6 8 add(D,min(R,nrm(R))) 112630 138738248 o2(x,o2(x,o1(x))) true 61047 61047 -0.05732 0.4643 0.4039 0.2248 0.4741 -1 1 2 1 4.867 0.004469 0.003033 0.07509 0.1914 1 0.00001628 0.0006186 0.01927 0.001864 0.04317 0.5749 0.2569 0.03338 0.002752 1 1 0.01482 0.1714 0.3759 0.06596 0.7626 1.672 json
t17_x17_u6_b9 17 17 6 9 add(D,dot(R,nrm(R))) 112631 138738249 o2(x,o2(x,o1(x))) true 61055 61055 0.8888 1 0.8888 0.0262 0.1619 0.002826 1 0.9972 1 2.248 0.001131 0.0004542 0.02575 0.4269 1 0.000003883 0.0004209 0.01165 0.0009222 0.03037 1.179 0.1718 0.0605 0.01606 1 1 0.00275 0.02293 0.03627 0.105 0.8751 1.384 json
t17_x17_u6_b10 17 17 6 10 add(D,dst(R,nrm(R))) 112632 138738250 o2(x,o2(x,o1(x))) true 61063 61063 0.2295 0.9196 0.2364 0.02728 0.1652 -0.1295 1 1.13 1 3.421 0.001816 0.0002658 0.04078 0.7446 1 -0.000008468 0.000282 0.01469 0.0004193 0.02048 0.5022 0.1169 0.07632 0.01034 1 1 0.004032 0.03303 0.02692 0.1478 1.211 0.9869 json
t17_x17_u6_b11 17 17 6 11 sub(D,add(R,nrm(R))) 112633 138738251 o2(x,o2(x,o1(x))) true 61071 61071 -0.002405 0.5072 0.6756 0.5657 0.7522 -1 1 2 1 4.347 0.009714 0.009739 0.09854 -0.001303 1 0.000005084 0.003207 0.03014 0.009741 0.0987 1.002 0.4286 0.03438 0.005669 1 1 0.03794 0.4256 1.008 0.06706 0.7523 1.782 json
t17_x17_u6_b12 17 17 6 12 sub(D,sub(R,nrm(R))) 112634 138738252 o2(x,o2(x,o1(x))) true 61079 61079 -0.01331 0.4769 0.1311 0.02709 0.1646 -0.5688 0.7029 1.272 1 3.446 0.00189 0.0002115 0.04072 0.7987 1 -0.00003252 0.0002834 0.01468 0.0004428 0.02104 0.5167 0.1625 0.07755 0.01046 1 1 0.003932 0.03185 0.03048 0.1451 1.176 1.125 json
t17_x17_u6_b13 17 17 6 13 sub(D,mlt(R,nrm(R))) 112635 138738253 o2(x,o2(x,o1(x))) true 61087 61087 -0.3279 0.07137 0.3355 0.0501 0.2238 -1 0.1415 1.142 1 3.852 0.002175 0.0005615 0.04635 0.5896 1 1.323e-7 0.000324 0.015 0.0005886 0.02426 0.5235 0.1361 0.05462 0.006466 1 1 0.005062 0.04652 0.07611 0.101 0.9285 1.519 json
t17_x17_u6_b14 17 17 6 14 sub(D,div(R,nrm(R))) 112636 138738254 o2(x,o2(x,o1(x))) true 61095 61095 -0.8876 0.0001526 0.8876 0.02603 0.1614 -1 0.02422 1.024 1 2.273 0.001135 0.0004561 0.02581 0.4266 1 -0.0000549 0.0004219 0.01173 0.0009249 0.03041 1.178 0.1788 0.06111 0.0162 1 1 0.002783 0.02343 0.03639 0.1069 0.9001 1.398 json
t17_x17_u6_b15 17 17 6 15 sub(D,pow(R,nrm(R))) 112637 138738255 o2(x,o2(x,o1(x))) true 61103 61103 -0.9888 0 0.9888 0.003833 0.06191 -1 -0.2521 0.7479 1 0.3486 0.0004017 0.0004357 0.003691 -0.04056 1 -0.00001709 0.001621 0.004979 0.0008245 0.02871 7.78 0.7479 0.2185 0.4228 1 1 0.0005625 0.002509 0.005796 0.1467 0.6546 1.512 json
t17_x17_u6_b16 17 17 6 16 sub(D,mod(R,nrm(R))) 112638 138738256 o2(x,o2(x,o1(x))) true 61111 61111 0.01126 0.5203 0.2033 0.07046 0.2654 -0.9761 0.9929 1.969 1 4.116 0.002409 0.0008831 0.05008 0.4635 1 0.00003437 0.0003529 0.01548 0.0007849 0.02802 0.5595 0.1987 0.04673 0.005009 1 1 0.006429 0.06423 0.1166 0.09124 0.9116 1.655 json
t17_x17_u6_b17 17 17 6 17 sub(D,lrg(R,nrm(R))) 112639 138738257 o2(x,o2(x,o1(x))) true 61119 61119 -0.5355 0.1259 0.5534 0.1526 0.3906 -1 0.1454 1.145 1 3.93 0.003536 0.001969 0.06043 0.2846 1 -0.0001071 0.0006466 0.01692 0.001855 0.04307 0.7128 0.1713 0.03609 0.004238 1 1 0.01066 0.1187 0.3053 0.06984 0.7778 2.001 json
t17_x17_u6_b18 17 17 6 18 sub(D,eql(R,nrm(R))) 112640 138738258 o2(x,o2(x,o1(x))) true 61127 61127 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t17_x17_u6_b19 17 17 6 19 sub(D,min(R,nrm(R))) 112641 138738259 o2(x,o2(x,o1(x))) true 61135 61135 0.05719 0.537 0.4028 0.2229 0.4721 -1 1 2 1 4.86 0.004384 0.003032 0.07427 0.1822 1 -0.00001665 0.0006081 0.01893 0.001901 0.0436 0.5871 0.2528 0.03327 0.002728 1 1 0.01451 0.1683 0.3757 0.0651 0.755 1.686 json
t17_x17_u6_b20 17 17 6 20 sub(D,dot(R,nrm(R))) 112642 138738260 o2(x,o2(x,o1(x))) true 61143 61143 -0.8876 0.0001526 0.8876 0.02603 0.1614 -1 0.02422 1.024 1 2.273 0.001135 0.0004561 0.02581 0.4266 1 -0.0000549 0.0004219 0.01173 0.0009249 0.03041 1.178 0.1788 0.06111 0.0162 1 1 0.002783 0.02343 0.03639 0.1069 0.9001 1.398 json
t17_x17_u6_b21 17 17 6 21 sub(D,dst(R,nrm(R))) 112643 138738261 o2(x,o2(x,o1(x))) true 61151 61151 -0.2295 0.08003 0.2364 0.02753 0.1659 -1 0.1288 1.129 1 3.427 0.001827 0.0002659 0.04086 0.746 1 0.000008468 0.0002839 0.01473 0.0004241 0.02059 0.5041 0.1475 0.07603 0.01031 1 1 0.003964 0.03247 0.02692 0.144 1.179 0.9779 json
t17_x17_u6_b22 17 17 6 22 mlt(D,add(R,nrm(R))) 112644 138738262 o2(x,o2(x,o1(x))) true 61159 61159 0.003153 0.5087 0.1799 0.0582 0.2413 -0.8013 0.8791 1.68 1 3.945 0.003034 0.0008492 0.05493 0.5626 1 -0.00008306 0.000395 0.01588 0.0008658 0.02942 0.5357 0.1585 0.06672 0.006787 1 1 0.007606 0.08502 0.113 0.1307 1.461 1.942 json
t17_x17_u6_b23 17 17 6 23 mlt(D,sub(R,nrm(R))) 112645 138738263 o2(x,o2(x,o1(x))) true 61167 61167 -0.000135 0.4989 0.02441 0.001324 0.03639 -0.2334 0.1821 0.4155 1 1.493 0.00006566 0.00001558 0.00712 0.6163 0 0.000008272 0.000007753 0.001985 0.00003055 0.005528 0.7764 0.04134 0.06136 0.005856 1 1 0.000133 0.001488 0.002377 0.1005 1.124 1.796 json
t17_x17_u6_b24 17 17 6 24 mlt(D,mlt(R,nrm(R))) 112646 138738264 o2(x,o2(x,o1(x))) true 61175 61175 -0.0001558 0.4973 0.04738 0.004041 0.06357 -0.2029 0.2285 0.4314 1 2.132 0.0003222 0.00004611 0.01606 0.7496 1 0.000002081 0.00004682 0.005532 0.0001104 0.01051 0.6541 0.05723 0.09115 0.01159 1 1 0.0006606 0.006064 0.005936 0.1635 1.501 1.469 json
t17_x17_u6_b25 17 17 6 25 mlt(D,div(R,nrm(R))) 112647 138738265 o2(x,o2(x,o1(x))) true 61183 61183 -0.0005036 0.4982 0.09912 0.01338 0.1157 -0.319 0.3229 0.6418 1 2.891 0.001717 0.00004985 0.03725 0.9436 1 0.00001507 0.0002664 0.01452 0.000379 0.01947 0.5226 0.09664 0.1321 0.01991 1 1 0.003457 0.02547 0.005801 0.2584 1.904 0.4337 json
t17_x17_u6_b26 17 17 6 26 mlt(D,pow(R,nrm(R))) 112648 138738266 o2(x,o2(x,o1(x))) true 61191 61191 -0.9572 0.02107 0.9602 0.04117 0.2029 -1 0.1561 1.156 1 0.3583 0.004244 0.004126 0.009264 0.01411 1 -0.000005267 0.01746 0.01703 0.008287 0.09103 9.827 1.386 0.2033 0.4242 1 1 0.006425 0.02758 0.06872 0.1561 0.6698 1.669 json
t17_x17_u6_b27 17 17 6 27 mlt(D,mod(R,nrm(R))) 112649 138738267 o2(x,o2(x,o1(x))) true 61199 61199 0.0002736 0.4904 0.04357 0.004183 0.06468 -0.3113 0.2987 0.61 1 2.101 0.0002179 0.00006087 0.01326 0.5633 1 -0.000007354 0.00002823 0.003826 0.0001029 0.01014 0.7647 0.05965 0.06664 0.006749 1 1 0.0005651 0.006329 0.008764 0.1351 1.513 2.095 json
t17_x17_u6_b28 17 17 6 28 mlt(D,lrg(R,nrm(R))) 112650 138738268 o2(x,o2(x,o1(x))) true 61207 61207 0.001117 0.4749 0.09288 0.0152 0.1233 -0.2729 0.2729 0.5458 1 3.013 0.001085 0.0001373 0.02946 0.7753 1 -0.00002555 0.0001491 0.009877 0.0003543 0.01882 0.6389 0.06407 0.0804 0.009811 1 1 0.002433 0.02294 0.02447 0.1601 1.509 1.61 json
t17_x17_u6_b29 17 17 6 29 mlt(D,eql(R,nrm(R))) 112651 138738269 o2(x,o2(x,o1(x))) true 61215 61215 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_x17_u6_b30 17 17 6 30 mlt(D,min(R,nrm(R))) 112652 138738270 o2(x,o2(x,o1(x))) true 61223 61223 0.001688 0.509 0.09103 0.01504 0.1227 -0.4234 0.4323 0.8557 1 2.999 0.0007852 0.0002191 0.0278 0.5638 1 -0.00004243 0.0001019 0.008031 0.0002316 0.01522 0.5475 0.08207 0.06675 0.006775 1 1 0.001971 0.02202 0.02882 0.131 1.464 1.916 json
t17_x17_u6_b31 17 17 6 31 mlt(D,dot(R,nrm(R))) 112653 138738271 o2(x,o2(x,o1(x))) true 61231 61231 -0.0005036 0.4982 0.09912 0.01338 0.1157 -0.319 0.3229 0.6418 1 2.891 0.001717 0.00004985 0.03725 0.9436 1 0.00001507 0.0002664 0.01452 0.000379 0.01947 0.5226 0.09664 0.1321 0.01991 1 1 0.003457 0.02547 0.005801 0.2584 1.904 0.4337 json
t17_x17_u6_b32 17 17 6 32 mlt(D,dst(R,nrm(R))) 112654 138738272 o2(x,o2(x,o1(x))) true 61239 61239 -0.0002552 0.4965 0.0297 0.001618 0.04022 -0.2256 0.1637 0.3893 1 1.572 0.0001415 0.00001681 0.0104 0.7876 1 0.000001766 0.00002128 0.003714 0.00005011 0.007079 0.6805 0.05607 0.09786 0.01315 1 1 0.0002752 0.002383 0.001859 0.1701 1.473 1.149 json
t17_x17_u6_b33 17 17 6 33 div(D,add(R,nrm(R))) 112655 138738273 o2(x,o2(x,o1(x))) true 61247 61247 -0.000665 0.498 0.2924 0.1778 0.4217 -1 1 2 1 4.344 0.01618 0.004188 0.07983 0.5888 1 -0.000007429 0.02104 0.03885 0.014 0.1183 1.482 2.021 0.1146 0.1183 1 1 0.03044 0.23 0.3482 0.1712 1.293 1.959 json
t17_x17_u6_b34 17 17 6 34 div(D,sub(R,nrm(R))) 112656 138738274 o2(x,o2(x,o1(x))) true 61255 61255 -0.01035 0.4946 0.8523 0.807 0.8984 -1 1 2 1 2.804 0.1395 0.03435 0.1837 0.6049 1 0.000579 0.2634 0.215 0.1401 0.3743 2.037 2.686 0.2155 0.3264 1 1 0.2374 1.128 1.68 0.2942 1.398 2.081 json
t17_x17_u6_b35 17 17 6 35 div(D,mlt(R,nrm(R))) 112657 138738275 o2(x,o2(x,o1(x))) true 61263 61263 0.002831 0.5016 0.6464 0.564 0.751 -1 1 2 1 3.902 0.0948 0.01998 0.1625 0.6518 1 0.000474 0.1778 0.1638 0.08838 0.2973 1.83 2.828 0.2035 0.3153 1 1 0.1253 0.6766 0.937 0.2221 1.2 1.662 json
t17_x17_u6_b36 17 17 6 36 div(D,div(R,nrm(R))) 112658 138738276 o2(x,o2(x,o1(x))) true 61271 61271 0.0008595 0.5022 0.1254 0.02837 0.1684 -1 1 2 1 3.317 0.003021 0.0002303 0.046 0.8584 1 -0.00005127 0.0006132 0.01788 0.001136 0.03371 0.7328 0.6291 0.1146 0.02162 1 1 0.004958 0.03811 0.01788 0.1748 1.343 0.6301 json
t17_x17_u6_b37 17 17 6 37 div(D,pow(R,nrm(R))) 112659 138738277 o2(x,o2(x,o1(x))) true 61279 61279 -0.9566 0.0219 0.9631 0.04304 0.2075 -1 0.4641 1.464 1 0.4004 0.00434 0.00426 0.01023 0.009309 1 -0.00002226 0.01777 0.01742 0.008491 0.09215 9.006 1.464 0.1998 0.4128 1 1 0.00644 0.02795 0.0716 0.1496 0.6494 1.663 json
t17_x17_u6_b38 17 17 6 38 div(D,mod(R,nrm(R))) 112660 138738278 o2(x,o2(x,o1(x))) true 61287 61287 0.03922 0.5206 0.7503 0.6813 0.8254 -1 1 2 1 3.509 0.09386 0.02802 0.174 0.5403 1 -0.0002785 0.1567 0.1614 0.09159 0.3026 1.739 2.439 0.1789 0.23 1 1 0.1768 0.9944 1.358 0.2596 1.46 1.993 json
t17_x17_u6_b39 17 17 6 39 div(D,lrg(R,nrm(R))) 112661 138738279 o2(x,o2(x,o1(x))) true 61295 61295 -0.8984 0.05078 0.908 0.0923 0.3038 -1 0.1454 1.145 1 0.7341 0.008063 0.007499 0.01854 0.03621 1 -0.00002009 0.03218 0.03203 0.01523 0.1234 6.655 1.415 0.1686 0.3487 1 1 0.01698 0.07201 0.2112 0.184 0.7801 2.288 json
t17_x17_u6_b40 17 17 6 40 div(D,eql(R,nrm(R))) 112662 138738280 o2(x,o2(x,o1(x))) true 61303 61303 -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_x17_u6_b41 17 17 6 41 div(D,min(R,nrm(R))) 112663 138738281 o2(x,o2(x,o1(x))) true 61311 61311 -0.001892 0.497 0.4578 0.3383 0.5816 -1 1 2 1 4.603 0.02918 0.008458 0.1208 0.5505 1 -0.0001073 0.03328 0.06264 0.02303 0.1518 1.256 2.013 0.1113 0.09837 1 1 0.05479 0.4321 0.6515 0.162 1.277 1.926 json
t17_x17_u6_b42 17 17 6 42 div(D,dot(R,nrm(R))) 112664 138738282 o2(x,o2(x,o1(x))) true 61319 61319 0.0008595 0.5022 0.1254 0.02837 0.1684 -1 1 2 1 3.317 0.003021 0.0002303 0.046 0.8584 1 -0.00005128 0.0006132 0.01788 0.001136 0.03371 0.7328 0.6291 0.1146 0.02162 1 1 0.004958 0.03811 0.01788 0.1748 1.343 0.6301 json
t17_x17_u6_b43 17 17 6 43 div(D,dst(R,nrm(R))) 112665 138738283 o2(x,o2(x,o1(x))) true 61327 61327 0.004375 0.5016 0.631 0.5261 0.7253 -1 1 2 1 4.245 0.08403 0.01089 0.1851 0.7706 1 -0.0003412 0.08981 0.1374 0.06064 0.2462 1.33 2.511 0.1804 0.1707 1 1 0.1545 0.8338 0.7016 0.2938 1.585 1.334 json
t17_x17_u6_b44 17 17 6 44 pow(D,add(R,nrm(R))) 112666 138738284 o2(x,o2(x,o1(x))) true 61335 61335 -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_x17_u6_b45 17 17 6 45 pow(D,sub(R,nrm(R))) 112667 138738285 o2(x,o2(x,o1(x))) true 61343 61343 -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_x17_u6_b46 17 17 6 46 pow(D,mlt(R,nrm(R))) 112668 138738286 o2(x,o2(x,o1(x))) true 61351 61351 -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_x17_u6_b47 17 17 6 47 pow(D,div(R,nrm(R))) 112669 138738287 o2(x,o2(x,o1(x))) true 61359 61359 -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_x17_u6_b48 17 17 6 48 pow(D,pow(R,nrm(R))) 112670 138738288 o2(x,o2(x,o1(x))) true 61367 61367 -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_x17_u6_b49 17 17 6 49 pow(D,mod(R,nrm(R))) 112671 138738289 o2(x,o2(x,o1(x))) true 61375 61375 -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_x17_u6_b50 17 17 6 50 pow(D,lrg(R,nrm(R))) 112672 138738290 o2(x,o2(x,o1(x))) true 61383 61383 -0.5821 0.2344 0.9491 0.5908 0.7686 -1 1 2 1 1.436 0.07037 0.04039 0.06976 0.2707 1 -0.000102 0.2294 0.1221 0.1059 0.3254 4.665 2.828 0.1875 0.3882 1 1 0.1016 0.4397 1.012 0.172 0.7443 1.713 json
t17_x17_u6_b51 17 17 6 51 pow(D,eql(R,nrm(R))) 112673 138738291 o2(x,o2(x,o1(x))) true 61391 61391 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_x17_u6_b52 17 17 6 52 pow(D,min(R,nrm(R))) 112674 138738292 o2(x,o2(x,o1(x))) true 61399 61399 -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_x17_u6_b53 17 17 6 53 pow(D,dot(R,nrm(R))) 112675 138738293 o2(x,o2(x,o1(x))) true 61407 61407 -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_x17_u6_b54 17 17 6 54 pow(D,dst(R,nrm(R))) 112676 138738294 o2(x,o2(x,o1(x))) true 61415 61415 -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_x17_u6_b55 17 17 6 55 mod(D,add(R,nrm(R))) 112677 138738295 o2(x,o2(x,o1(x))) true 61423 61423 -0.00006524 0.5008 0.1083 0.01546 0.1243 -0.2719 0.2719 0.5439 1 2.966 0.003143 0.00005621 0.04345 0.9649 1 0.000001725 0.003349 0.0292 0.001313 0.03623 0.8339 0.4796 0.2069 0.2166 1 1 0.00478 0.02886 0.007524 0.3091 1.866 0.4866 json
t17_x17_u6_b56 17 17 6 56 mod(D,sub(R,nrm(R))) 112678 138738296 o2(x,o2(x,o1(x))) true 61431 61431 -0.000283 0.4975 0.04255 0.004016 0.06337 -0.2721 0.2696 0.5417 1 2.053 0.002292 0.00003731 0.03468 0.968 1 0.0000404 0.005466 0.04897 0.001127 0.03357 0.9682 0.2902 0.5801 1.361 1 1 0.001842 0.006178 0.004184 0.4587 1.538 1.042 json
t17_x17_u6_b57 17 17 6 57 mod(D,mlt(R,nrm(R))) 112679 138738297 o2(x,o2(x,o1(x))) true 61439 61439 -0.0004075 0.5018 0.09601 0.01514 0.123 -0.2728 0.2729 0.5457 1 2.985 0.00444 0.0001202 0.04789 0.9473 1 0.00002085 0.007725 0.05092 0.002267 0.04762 0.9943 0.4996 0.3012 0.5102 1 1 0.005509 0.02713 0.01613 0.3639 1.792 1.066 json
t17_x17_u6_b58 17 17 6 58 mod(D,div(R,nrm(R))) 112680 138738298 o2(x,o2(x,o1(x))) true 61447 61447 0.0001369 0.5007 0.105 0.01402 0.1184 -0.2716 0.2716 0.5432 1 2.848 0.002762 0.0000188 0.04184 0.9865 1 0.000004339 0.002153 0.02286 0.001032 0.03212 0.7678 0.4284 0.1983 0.1535 1 1 0.004307 0.02687 0.002055 0.3072 1.916 0.1466 json
t17_x17_u6_b59 17 17 6 59 mod(D,pow(R,nrm(R))) 112681 138738299 o2(x,o2(x,o1(x))) true 61455 61455 -0.9571 0.0213 0.962 0.04168 0.2042 -1 0.2705 1.271 1 0.3857 0.004361 0.00416 0.01009 0.02356 1 -0.00001413 0.01772 0.01776 0.008416 0.09174 9.091 1.37 0.2044 0.4251 1 1 0.006532 0.02799 0.06995 0.1567 0.6716 1.678 json
t17_x17_u6_b60 17 17 6 60 mod(D,mod(R,nrm(R))) 112682 138738300 o2(x,o2(x,o1(x))) true 61463 61463 0.0005551 0.5018 0.07239 0.009893 0.09946 -0.2727 0.2728 0.5455 1 2.678 0.003532 0.00008373 0.04412 0.9537 1 0.00002014 0.007206 0.05472 0.00167 0.04086 0.9262 0.4963 0.3655 0.7284 1 1 0.003852 0.0182 0.01162 0.3894 1.84 1.174 json
t17_x17_u6_b61 17 17 6 61 mod(D,lrg(R,nrm(R))) 112683 138738301 o2(x,o2(x,o1(x))) true 61471 61471 -0.8984 0.05078 0.908 0.0923 0.3038 -1 0.1454 1.145 1 0.7341 0.008063 0.007499 0.01854 0.03621 1 -0.00002009 0.03218 0.03203 0.01523 0.1234 6.655 1.415 0.1686 0.3487 1 1 0.01698 0.07201 0.2112 0.184 0.7801 2.288 json
t17_x17_u6_b62 17 17 6 62 mod(D,eql(R,nrm(R))) 112684 138738302 o2(x,o2(x,o1(x))) true 61479 61479 -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_x17_u6_b63 17 17 6 63 mod(D,min(R,nrm(R))) 112685 138738303 o2(x,o2(x,o1(x))) true 61487 61487 -0.000586 0.498 0.1187 0.01927 0.1388 -0.2724 0.2728 0.5451 1 3.111 0.005045 0.0001063 0.05257 0.9587 1 0.00001009 0.007449 0.04731 0.002388 0.04886 0.9295 0.5005 0.2673 0.3865 1 1 0.006999 0.03686 0.01348 0.3632 1.912 0.6992 json
t17_x17_u6_b64 17 17 6 64 mod(D,dot(R,nrm(R))) 112686 138738304 o2(x,o2(x,o1(x))) true 61495 61495 0.0001369 0.5007 0.105 0.01402 0.1184 -0.2716 0.2716 0.5432 1 2.848 0.002762 0.0000188 0.04184 0.9865 1 0.000004339 0.002153 0.02286 0.001032 0.03212 0.7678 0.4284 0.1983 0.1535 1 1 0.004307 0.02687 0.002055 0.3072 1.916 0.1466 json
t17_x17_u6_b65 17 17 6 65 mod(D,dst(R,nrm(R))) 112687 138738305 o2(x,o2(x,o1(x))) true 61503 61503 -0.0005005 0.4957 0.07484 0.009942 0.09971 -0.2716 0.271 0.5426 1 2.699 0.004526 0.00007 0.05004 0.9695 1 0.0001067 0.009405 0.063 0.002093 0.04574 0.9142 0.4868 0.4623 0.946 1 1 0.004272 0.01611 0.008342 0.4297 1.62 0.839 json
t17_x17_u6_b66 17 17 6 66 lrg(D,add(R,nrm(R))) 112688 138738306 o2(x,o2(x,o1(x))) true 61511 61511 0.5099 0.9241 0.5099 0.1543 0.3928 0 1 1 1 3.427 0.008863 0.002284 0.06132 0.5902 1 0.00001583 0.01475 0.03571 0.007387 0.08595 1.402 0.9997 0.07225 0.09558 1 1 0.01437 0.1252 0.2947 0.09316 0.8113 1.91 json
t17_x17_u6_b67 17 17 6 67 lrg(D,sub(R,nrm(R))) 112689 138738307 o2(x,o2(x,o1(x))) true 61519 61519 0.489 0.9817 0.489 0.1276 0.3573 0 1 1 1 3.576 0.0491 0.0008786 0.1218 0.9648 1 -0.0006034 0.0914 0.1266 0.03513 0.1874 1.539 0.9994 0.3915 0.7161 1 1 0.05507 0.2135 0.1181 0.4315 1.673 0.9256 json
t17_x17_u6_b68 17 17 6 68 lrg(D,mlt(R,nrm(R))) 112690 138738308 o2(x,o2(x,o1(x))) true 61527 61527 0.2371 0.8211 0.2371 0.08596 0.2932 0 0.9997 0.9997 1 3.027 0.03037 0.0009488 0.08898 0.9394 1 -0.0005473 0.059 0.09502 0.02341 0.153 1.719 0.9994 0.3644 0.6864 1 1 0.03357 0.1273 0.1264 0.3906 1.481 1.47 json
t17_x17_u6_b69 17 17 6 69 lrg(D,div(R,nrm(R))) 112691 138738309 o2(x,o2(x,o1(x))) true 61535 61535 0.01486 0.1993 0.01486 0.004335 0.06584 0 0.97 0.97 1 0.5047 0.002089 0.00006279 0.01059 0.9416 1 -0.00002819 0.004483 0.01296 0.00204 0.04517 4.267 0.97 0.4963 1.034 1 1 0.001669 0.004257 0.00645 0.385 0.982 1.488 json
t17_x17_u6_b70 17 17 6 70 lrg(D,pow(R,nrm(R))) 112692 138738310 o2(x,o2(x,o1(x))) true 61543 61543 0.5258 0.9634 0.5258 0.1533 0.3916 0 1 1 1 3.427 0.003053 0.00244 0.05458 0.1116 1 -0.00002127 0.002504 0.01993 0.002514 0.05014 0.9187 0.97 0.03583 0.01633 1 1 0.009469 0.1147 0.286 0.06176 0.7482 1.865 json
t17_x17_u6_b71 17 17 6 71 lrg(D,mod(R,nrm(R))) 112693 138738311 o2(x,o2(x,o1(x))) true 61551 61551 0.5112 0.974 0.5112 0.1301 0.3607 0 1 1 1 3.637 0.04038 0.001414 0.1116 0.9324 1 -0.000321 0.07664 0.114 0.02934 0.1713 1.535 0.9997 0.3211 0.5889 1 1 0.04545 0.1847 0.196 0.3492 1.419 1.506 json
t17_x17_u6_b72 17 17 6 72 lrg(D,lrg(R,nrm(R))) 112694 138738312 o2(x,o2(x,o1(x))) true 61559 61559 0.2236 0.6473 0.2236 0.1061 0.3258 0 0.9997 0.9997 1 2.614 0.02667 0.0009841 0.06482 0.9288 1 -0.00004848 0.04981 0.06334 0.02346 0.1532 2.363 0.9997 0.2606 0.4693 1 1 0.02888 0.1319 0.1656 0.272 1.243 1.56 json
t17_x17_u6_b73 17 17 6 73 lrg(D,eql(R,nrm(R))) 112695 138738313 o2(x,o2(x,o1(x))) true 61567 61567 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_x17_u6_b74 17 17 6 74 lrg(D,min(R,nrm(R))) 112696 138738314 o2(x,o2(x,o1(x))) true 61575 61575 0.5256 0.936 0.5256 0.1468 0.3831 0 1 1 1 3.519 0.01867 0.002142 0.07871 0.7942 1 -0.00001596 0.03522 0.06823 0.01462 0.1209 1.536 0.9997 0.1418 0.24 1 1 0.02254 0.1371 0.2754 0.1535 0.9338 1.876 json
t17_x17_u6_b75 17 17 6 75 lrg(D,dot(R,nrm(R))) 112697 138738315 o2(x,o2(x,o1(x))) true 61583 61583 0.01486 0.1993 0.01486 0.004335 0.06584 0 0.97 0.97 1 0.5047 0.002089 0.00006279 0.01059 0.9416 1 -0.00002819 0.004483 0.01296 0.00204 0.04517 4.267 0.97 0.4963 1.034 1 1 0.001669 0.004257 0.00645 0.385 0.982 1.488 json
t17_x17_u6_b76 17 17 6 76 lrg(D,dst(R,nrm(R))) 112698 138738316 o2(x,o2(x,o1(x))) true 61591 61591 0.2915 0.8655 0.2915 0.09663 0.3108 0 0.9997 0.9997 1 3.238 0.04025 0.0007771 0.1065 0.9621 1 -0.001274 0.07775 0.1145 0.02968 0.1723 1.617 0.9994 0.4246 0.8046 1 1 0.04557 0.1658 0.08905 0.4716 1.716 0.9216 json
t17_x17_u6_b77 17 17 6 77 eql(D,add(R,nrm(R))) 112699 138738317 o2(x,o2(x,o1(x))) true 61599 61599 0.00008015 0.0004578 0.00008015 0.00002061 0.00454 0 0.3282 0.3282 1 0.005107 0.00004255 3.019e-7 0.000167 0.9859 0 -1.975e-12 0.0001289 0.000331 0.00004282 0.006544 39.19 0.3282 2.079 6.254 1 1 0 0 0.00001871 0 0 0.908 json