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
t12_x5_u6_b51 12 5 6 51 nrm(pow(P,eql(D,R))) 24200 97650474 o1(o2(x,o2(x,x))) true 23447 23447 0.577 0.9995 0.5779 0.001214 0.03485 -1 0.5774 1.577 1 0.006075 0.00007836 0.002507 0.001625 -0.9394 1 -7.884e-11 0.007993 0.003279 0.002582 0.05081 31.27 2.231 2.129 6.582 1 1 0.002343 0.002757 0.004411 1.93 2.27 3.632 json
t12_x5_u6_b52 12 5 6 52 nrm(pow(P,min(D,R))) 24201 97650475 o1(o2(x,o2(x,x))) true 23455 23455 -0.7256 0.2013 0.8212 0.2666 0.5163 -1 0.7711 1.771 1 1.457 0.003063 0.002834 0.01157 0.03884 1 -0.00001018 0.01134 0.01122 0.005763 0.07591 6.563 1.724 0.02212 0.04252 1 1 0.007968 0.03697 0.1397 0.02989 0.1387 0.5242 json
t12_x5_u6_b53 12 5 6 53 nrm(pow(P,dot(D,R))) 24202 97650476 o1(o2(x,o2(x,x))) true 23463 23463 -0.6901 0.2113 0.8576 0.3474 0.5894 -1 1 2 1 1.559 0.00777 0.00934 0.02588 -0.09177 1 -0.00008496 0.04504 0.04001 0.01644 0.1282 4.955 2.313 0.04925 0.1296 1 1 0.02039 0.07971 0.2072 0.0587 0.2294 0.5964 json
t12_x5_u6_b54 12 5 6 54 nrm(pow(P,dst(D,R))) 24203 97650477 o1(o2(x,o2(x,x))) true 23471 23471 -0.595 0.2446 0.9128 0.5222 0.7226 -1 1 2 1 1.733 0.002639 0.007427 0.008811 -0.4757 1 0.000004683 0.02027 0.01265 0.009985 0.09992 11.34 2.414 0.01928 0.03882 1 1 0.01345 0.05542 0.2391 0.02576 0.1061 0.4578 json
t12_x5_u6_b55 12 5 6 55 nrm(mod(P,add(D,R))) 24204 97650478 o1(o2(x,o2(x,x))) true 23479 23479 -0.01749 0.4913 0.6085 0.4563 0.6755 -1 1 2 1 4.876 0.04681 0.03418 0.2173 0.1561 1 -0.0003141 0.2516 0.3534 0.03378 0.1838 0.8458 2.808 0.1775 0.5514 1 1 0.05007 0.1118 0.271 0.1097 0.245 0.5939 json
t12_x5_u6_b56 12 5 6 56 nrm(mod(P,sub(D,R))) 24205 97650479 o1(o2(x,o2(x,x))) true 23487 23487 -0.01534 0.4918 0.6087 0.4577 0.6766 -1 1 2 1 4.873 0.04614 0.03415 0.2159 0.1493 1 -0.0000436 0.2479 0.3509 0.0337 0.1836 0.8504 2.808 0.1754 0.5416 1 1 0.04984 0.1099 0.2719 0.1089 0.24 0.594 json
t12_x5_u6_b57 12 5 6 57 nrm(mod(P,mlt(D,R))) 24206 97650480 o1(o2(x,o2(x,x))) true 23495 23495 -0.01115 0.4918 0.5905 0.4552 0.6747 -1 1 2 1 4.818 0.03928 0.03277 0.1949 0.09038 1 0.0004606 0.204 0.3104 0.03407 0.1846 0.947 2 0.1583 0.4481 1 1 0.05315 0.143 0.2602 0.1168 0.3142 0.5717 json
t12_x5_u6_b58 12 5 6 58 nrm(mod(P,div(D,R))) 24207 97650481 o1(o2(x,o2(x,x))) true 23503 23503 -0.02369 0.4921 0.5943 0.4594 0.6778 -1 1 2 1 4.803 0.04138 0.03371 0.2006 0.1021 1 0.0008659 0.2187 0.3238 0.03484 0.1867 0.9303 2.685 0.1635 0.4761 1 1 0.05405 0.1432 0.2669 0.1177 0.3117 0.5811 json
t12_x5_u6_b59 12 5 6 59 nrm(mod(P,pow(D,R))) 24208 97650482 o1(o2(x,o2(x,x))) true 23511 23511 -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
t12_x5_u6_b60 12 5 6 60 nrm(mod(P,mod(D,R))) 24209 97650483 o1(o2(x,o2(x,x))) true 23519 23519 -0.05731 0.4548 0.6114 0.4904 0.7003 -1 1 2 1 4.591 0.1151 0.07096 0.274 0.2372 1 0.00003916 0.5204 0.4726 0.111 0.3332 1.216 2.25 0.3794 1.061 1 1 0.1536 0.2342 0.2671 0.3133 0.4776 0.5447 json
t12_x5_u6_b61 12 5 6 61 nrm(mod(P,lrg(D,R))) 24210 97650484 o1(o2(x,o2(x,x))) true 23527 23527 -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
t12_x5_u6_b62 12 5 6 62 nrm(mod(P,eql(D,R))) 24211 97650485 o1(o2(x,o2(x,x))) true 23535 23535 -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
t12_x5_u6_b63 12 5 6 63 nrm(mod(P,min(D,R))) 24212 97650486 o1(o2(x,o2(x,x))) true 23543 23543 -0.01255 0.4774 0.6212 0.4802 0.6929 -1 1 2 1 4.786 0.04524 0.03178 0.1498 0.1747 1 -0.000008701 0.1943 0.2364 0.05457 0.2336 1.559 2.828 0.1604 0.4046 1 1 0.07708 0.1604 0.2954 0.1605 0.3341 0.6152 json
t12_x5_u6_b64 12 5 6 64 nrm(mod(P,dot(D,R))) 24213 97650487 o1(o2(x,o2(x,x))) true 23551 23551 -0.01664 0.4917 0.6483 0.4796 0.6925 -1 1 2 1 4.74 0.06926 0.0676 0.2921 0.01213 1 -0.000008041 0.6804 0.6085 0.05156 0.2271 0.7774 2.414 0.2854 1.419 1 1 0.0639 0.08954 0.2313 0.1332 0.1867 0.4822 json
t12_x5_u6_b65 12 5 6 65 nrm(mod(P,dst(D,R))) 24214 97650488 o1(o2(x,o2(x,x))) true 23559 23559 -0.01605 0.4918 0.6531 0.4829 0.6949 -1 1 2 1 4.708 0.03804 0.03829 0.177 -0.00322 1 -0.0001002 0.3237 0.3389 0.04501 0.2122 1.199 2.414 0.1581 0.6703 1 1 0.04378 0.08785 0.233 0.09066 0.1819 0.4825 json
t12_x5_u6_b66 12 5 6 66 nrm(lrg(P,add(D,R))) 24215 97650489 o1(o2(x,o2(x,x))) true 23567 23567 0.0595 0.5174 0.6298 0.5365 0.7325 -1 1 2 1 2.997 0.01774 0.01157 0.0301 0.2103 1 0.000003684 0.06165 0.04482 0.0284 0.1685 5.599 2.828 0.05464 0.1149 1 1 0.03558 0.1295 0.3385 0.06632 0.2414 0.6309 json
t12_x5_u6_b67 12 5 6 67 nrm(lrg(P,sub(D,R))) 24216 97650490 o1(o2(x,o2(x,x))) true 23575 23575 0.05592 0.5153 0.6445 0.5562 0.7458 -1 1 2 1 2.944 0.01979 0.0102 0.02863 0.32 1 -0.000001628 0.06342 0.04332 0.02918 0.1708 5.967 2.828 0.05392 0.114 1 1 0.04066 0.1429 0.2834 0.0731 0.2568 0.5095 json
t12_x5_u6_b68 12 5 6 68 nrm(lrg(P,mlt(D,R))) 24217 97650491 o1(o2(x,o2(x,x))) true 23583 23583 0.1047 0.4954 0.7062 0.6422 0.8014 -1 1 2 1 2.252 0.01035 0.004236 0.01173 0.4193 1 1.928e-9 0.02962 0.01975 0.01445 0.1202 10.24 2.414 0.02272 0.04612 1 1 0.02101 0.08474 0.2851 0.03271 0.1319 0.444 json
t12_x5_u6_b69 12 5 6 69 nrm(lrg(P,div(D,R))) 24218 97650492 o1(o2(x,o2(x,x))) true 23591 23591 -0.04886 0.468 0.7445 0.688 0.8295 -1 1 2 1 2.495 0.06007 0.02882 0.06091 0.3516 1 -0.001001 0.198 0.1125 0.08521 0.2919 4.792 2.828 0.1292 0.2877 1 1 0.08723 0.2839 0.5284 0.1268 0.4127 0.768 json
t12_x5_u6_b70 12 5 6 70 nrm(lrg(P,pow(D,R))) 24219 97650493 o1(o2(x,o2(x,x))) true 23599 23599 0.01005 0.6231 0.7638 0.6682 0.8175 -1 0.9999 2 1 2.913 0.05383 0.02678 0.07528 0.3356 1 -0.00002072 0.1851 0.1227 0.07492 0.2737 3.636 2.629 0.1206 0.277 1 1 0.07581 0.2113 0.4004 0.1134 0.3162 0.5991 json
t12_x5_u6_b71 12 5 6 71 nrm(lrg(P,mod(D,R))) 24220 97650494 o1(o2(x,o2(x,x))) true 23607 23607 0.07635 0.4922 0.7092 0.6487 0.8054 -1 1 2 1 2.363 0.009685 0.002866 0.01199 0.5433 1 8.403e-9 0.02489 0.01786 0.0124 0.1114 9.286 2.414 0.01935 0.03837 1 1 0.0174 0.07064 0.267 0.02682 0.1089 0.4117 json
t12_x5_u6_b72 12 5 6 72 nrm(lrg(P,lrg(D,R))) 24221 97650495 o1(o2(x,o2(x,x))) true 23615 23615 -0.02986 0.4298 0.7355 0.6898 0.8306 -1 1 2 1 2.246 0.01171 0.006307 0.01343 0.2998 1 -0.000003693 0.03779 0.02269 0.01782 0.1335 9.936 2.828 0.02611 0.05478 1 1 0.0208 0.08205 0.3045 0.03016 0.1189 0.4415 json
t12_x5_u6_b73 12 5 6 73 nrm(lrg(P,eql(D,R))) 24222 97650496 o1(o2(x,o2(x,x))) true 23623 23623 0.07066 0.4648 0.7035 0.6514 0.8071 -1 1 2 1 2.2 0.00889 0.002477 0.008499 0.5642 1 -7.329e-8 0.02266 0.014 0.01129 0.1062 12.5 2.414 0.01745 0.03478 1 1 0.01575 0.06508 0.2668 0.02419 0.09991 0.4096 json
t12_x5_u6_b74 12 5 6 74 nrm(lrg(P,min(D,R))) 24223 97650497 o1(o2(x,o2(x,x))) true 23631 23631 0.1053 0.5273 0.621 0.517 0.719 -1 1 2 1 2.972 0.006428 0.007291 0.0184 -0.06291 1 2.13e-7 0.02784 0.02238 0.01339 0.1157 6.288 2.414 0.02653 0.05385 1 1 0.01909 0.08162 0.2899 0.03692 0.1579 0.5607 json
t12_x5_u6_b75 12 5 6 75 nrm(lrg(P,dot(D,R))) 24224 97650498 o1(o2(x,o2(x,x))) true 23639 23639 0.05483 0.4917 0.644 0.5588 0.7475 -1 1 2 1 2.854 0.01879 0.01674 0.03727 0.05752 1 -0.000003028 0.1051 0.06805 0.03415 0.1848 4.959 2.828 0.06359 0.1881 1 1 0.03905 0.1288 0.2852 0.06988 0.2306 0.5104 json
t12_x5_u6_b76 12 5 6 76 nrm(lrg(P,dst(D,R))) 24225 97650499 o1(o2(x,o2(x,x))) true 23647 23647 -0.04464 0.4095 0.7331 0.6903 0.8309 -1 1 2 1 2.116 0.01459 0.01154 0.01785 0.1167 1 -0.00001249 0.06797 0.03452 0.02584 0.1608 9.007 2.828 0.03786 0.09846 1 1 0.03797 0.1141 0.3278 0.05501 0.1653 0.4748 json
t12_x5_u6_b77 12 5 6 77 nrm(eql(P,add(D,R))) 24226 97650500 o1(o2(x,o2(x,x))) true 23655 23655 -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
t12_x5_u6_b78 12 5 6 78 nrm(eql(P,sub(D,R))) 24227 97650501 o1(o2(x,o2(x,x))) true 23663 23663 -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
t12_x5_u6_b79 12 5 6 79 nrm(eql(P,mlt(D,R))) 24228 97650502 o1(o2(x,o2(x,x))) true 23671 23671 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
t12_x5_u6_b80 12 5 6 80 nrm(eql(P,div(D,R))) 24229 97650503 o1(o2(x,o2(x,x))) true 23679 23679 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
t12_x5_u6_b81 12 5 6 81 nrm(eql(P,pow(D,R))) 24230 97650504 o1(o2(x,o2(x,x))) true 23687 23687 -0.9414 0 0.9414 0.05515 0.2348 -1 0 1 1 0.3218 0.004252 0.006204 0.01038 -0.1867 1 0 0.02195 0.02091 0.01035 0.1018 9.801 1.414 0.1896 0.398 1 1 0.009017 0.03802 0.08377 0.1635 0.6894 1.519 json
t12_x5_u6_b82 12 5 6 82 nrm(eql(P,mod(D,R))) 24231 97650505 o1(o2(x,o2(x,x))) true 23695 23695 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
t12_x5_u6_b83 12 5 6 83 nrm(eql(P,lrg(D,R))) 24232 97650506 o1(o2(x,o2(x,x))) true 23703 23703 -0.8914 0.02567 0.906 0.1084 0.3293 -1 0.9996 2 1 0.5971 0.01107 0.01331 0.02287 -0.09166 1 9.732e-7 0.05287 0.0443 0.02385 0.1544 6.754 2.828 0.2249 0.4876 1 1 0.02477 0.09524 0.2003 0.2285 0.8785 1.848 json
t12_x5_u6_b84 12 5 6 84 nrm(eql(P,eql(D,R))) 24233 97650507 o1(o2(x,o2(x,x))) true 23711 23711 0.04371 0.125 0.04371 0.02209 0.1486 0 0.707 0.707 1 0.7585 0.0003529 6.667e-7 0.005583 0.9962 1 8.49e-8 0.00003797 0.001379 0.0003224 0.01795 3.216 0.3054 0.016 0.001719 1 1 0.000901 0.01172 0.03212 0.04078 0.5306 1.454 json
t12_x5_u6_b85 12 5 6 85 nrm(eql(P,min(D,R))) 24234 97650508 o1(o2(x,o2(x,x))) true 23719 23719 -0.9414 0 0.9414 0.05515 0.2348 -1 0 1 1 0.3218 0.004252 0.006204 0.01038 -0.1867 1 0 0.02195 0.02091 0.01035 0.1018 9.801 1.414 0.1896 0.398 1 1 0.009017 0.03802 0.08377 0.1635 0.6894 1.519 json
t12_x5_u6_b86 12 5 6 86 nrm(eql(P,dot(D,R))) 24235 97650509 o1(o2(x,o2(x,x))) true 23727 23727 -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
t12_x5_u6_b87 12 5 6 87 nrm(eql(P,dst(D,R))) 24236 97650510 o1(o2(x,o2(x,x))) true 23735 23735 -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
t12_x5_u6_b88 12 5 6 88 nrm(min(P,add(D,R))) 24237 97650511 o1(o2(x,o2(x,x))) true 23743 23743 -0.3897 0.2194 0.5299 0.2592 0.5091 -1 0.9996 2 1 4.336 0.002184 0.00113 0.03345 0.3181 1 0.00006402 0.0009986 0.009754 0.002195 0.04685 1.4 1.416 0.01279 0.003853 1 1 0.005953 0.06963 0.1958 0.02297 0.2686 0.7552 json
t12_x5_u6_b89 12 5 6 89 nrm(min(P,sub(D,R))) 24238 97650512 o1(o2(x,o2(x,x))) true 23751 23751 -0.4132 0.2448 0.5328 0.2429 0.4928 -1 0.9994 1.999 1 4.318 0.002578 0.001404 0.03411 0.2948 1 0.0001143 0.002427 0.01091 0.002819 0.05309 1.556 1.695 0.0164 0.009992 1 1 0.007471 0.0741 0.1913 0.03076 0.3051 0.7878 json
t12_x5_u6_b90 12 5 6 90 nrm(min(P,mlt(D,R))) 24239 97650513 o1(o2(x,o2(x,x))) true 23759 23759 -0.411 0.2363 0.5404 0.2855 0.5343 -1 0.9998 2 1 3.92 0.01382 0.003427 0.04731 0.6027 1 -0.00009144 0.02291 0.02806 0.01501 0.1225 2.59 2.013 0.06042 0.08025 1 1 0.02691 0.1696 0.2654 0.09424 0.5942 0.9298 json
t12_x5_u6_b91 12 5 6 91 nrm(min(P,div(D,R))) 24240 97650514 o1(o2(x,o2(x,x))) true 23767 23767 -0.3947 0.2318 0.5404 0.2733 0.5228 -1 0.9999 2 1 4.313 0.01457 0.004033 0.05917 0.5665 1 -0.00007922 0.02359 0.03347 0.0151 0.1229 2.077 2.778 0.06807 0.0863 1 1 0.02888 0.1884 0.2811 0.1057 0.6894 1.029 json
t12_x5_u6_b92 12 5 6 92 nrm(min(P,pow(D,R))) 24241 97650515 o1(o2(x,o2(x,x))) true 23775 23775 -0.07426 0.4904 0.635 0.4834 0.6952 -1 1 2 1 4.758 0.006463 0.004425 0.04066 0.1872 1 0.00004149 0.02061 0.03738 0.009234 0.09609 2.363 2.323 0.02252 0.04263 1 1 0.01327 0.0558 0.1702 0.02745 0.1154 0.3522 json
t12_x5_u6_b93 12 5 6 93 nrm(min(P,mod(D,R))) 24242 97650516 o1(o2(x,o2(x,x))) true 23783 23783 -0.4223 0.2188 0.5339 0.2616 0.5115 -1 0.9994 1.999 1 3.983 0.02274 0.00464 0.06539 0.6611 1 0.0001871 0.05184 0.07074 0.02311 0.152 2.325 2.026 0.1047 0.1981 1 1 0.03525 0.1492 0.1003 0.1347 0.5704 0.3835 json
t12_x5_u6_b94 12 5 6 94 nrm(min(P,lrg(D,R))) 24243 97650517 o1(o2(x,o2(x,x))) true 23791 23791 -0.5546 0.2581 0.6906 0.3083 0.5553 -1 1 2 1 3.285 0.02977 0.02657 0.04601 0.05676 1 -0.000007783 0.1314 0.07738 0.05422 0.2329 5.061 2.828 0.1827 0.4261 1 1 0.05572 0.1687 0.3347 0.1807 0.547 1.085 json
t12_x5_u6_b95 12 5 6 95 nrm(min(P,eql(D,R))) 24244 97650518 o1(o2(x,o2(x,x))) true 23799 23799 -0.6939 0 0.6939 0.1761 0.4196 -1 0 1 1 2.167 0.00003572 0.002116 0.00427 -0.9668 1 6.585e-7 0.004237 0.004798 0.002132 0.04617 10.81 1 0.01222 0.02406 1 1 0.002971 0.0129 0.06116 0.01687 0.07323 0.3473 json
t12_x5_u6_b96 12 5 6 96 nrm(min(P,min(D,R))) 24245 97650519 o1(o2(x,o2(x,x))) true 23807 23807 -0.5084 0.07257 0.5346 0.161 0.4013 -1 0.9991 1.999 1 3.935 0.00285 0.0007886 0.02881 0.5666 1 0.00002318 0.002317 0.009696 0.002809 0.053 1.84 1.999 0.0226 0.01439 1 1 0.006532 0.05511 0.1108 0.04056 0.3422 0.688 json
t12_x5_u6_b97 12 5 6 97 nrm(min(P,dot(D,R))) 24246 97650520 o1(o2(x,o2(x,x))) true 23815 23815 -0.3875 0.2449 0.5388 0.2827 0.5317 -1 0.9999 2 1 4.021 0.01612 0.01593 0.05014 0.005856 1 -0.00008267 0.09849 0.06536 0.02954 0.1719 3.427 2.224 0.1134 0.3484 1 1 0.03596 0.1455 0.2232 0.1272 0.5149 0.7895 json
t12_x5_u6_b98 12 5 6 98 nrm(min(P,dst(D,R))) 24247 97650521 o1(o2(x,o2(x,x))) true 23823 23823 -0.1372 0.4909 0.641 0.4845 0.6961 -1 1 2 1 4.121 0.001973 0.001279 0.01183 0.2136 1 -0.00001037 0.006125 0.006309 0.003111 0.05578 4.715 2.414 0.006711 0.01264 1 1 0.005981 0.03064 0.1697 0.01234 0.06323 0.3503 json
t12_x5_u6_b99 12 5 6 99 nrm(dot(P,add(D,R))) 24248 97650522 o1(o2(x,o2(x,x))) true 23831 23831 -0.07502 0.4362 0.4125 0.2018 0.4492 -1 0.5774 1.577 1 4.033 0.02015 0.01973 0.09989 0.0107 1 0.0002203 0.1096 0.1038 0.02991 0.1729 1.731 2.23 0.1976 0.543 1 1 0.04415 0.2232 0.4216 0.2188 1.106 2.089 json
t12_x5_u6_b100 12 5 6 100 nrm(dot(P,sub(D,R))) 24249 97650523 o1(o2(x,o2(x,x))) true 23839 23839 0.004614 0.5139 0.4086 0.2048 0.4526 -1 0.5774 1.577 1 4.06 0.02082 0.02006 0.1026 0.01876 1 0.0006722 0.1152 0.1098 0.03037 0.1743 1.699 1.626 0.1996 0.5625 1 1 0.0449 0.2171 0.416 0.2192 1.06 2.031 json
t12_x5_u6_b101 12 5 6 101 nrm(dot(P,mlt(D,R))) 24250 97650524 o1(o2(x,o2(x,x))) true 23847 23847 -0.01942 0.4876 0.4177 0.2122 0.4607 -1 0.5774 1.577 1 4.029 0.04294 0.04189 0.1351 0.0123 1 0.000247 0.2464 0.188 0.06658 0.258 1.91 1.954 0.3997 1.161 1 1 0.0905 0.3663 0.4386 0.4264 1.726 2.067 json
t12_x5_u6_b102 12 5 6 102 nrm(dot(P,div(D,R))) 24251 97650525 o1(o2(x,o2(x,x))) true 23855 23855 -0.02373 0.4849 0.4172 0.2117 0.4601 -1 0.5774 1.577 1 4.038 0.04294 0.0424 0.1348 0.006321 1 0.00005584 0.2471 0.1884 0.06716 0.2592 1.923 1.954 0.4032 1.167 1 1 0.09042 0.3659 0.4179 0.4271 1.728 1.974 json
t12_x5_u6_b103 12 5 6 103 nrm(dot(P,pow(D,R))) 24252 97650526 o1(o2(x,o2(x,x))) true 23863 23863 -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
t12_x5_u6_b104 12 5 6 104 nrm(dot(P,mod(D,R))) 24253 97650527 o1(o2(x,o2(x,x))) true 23871 23871 -0.068 0.4435 0.3898 0.1867 0.4321 -1 0.5774 1.577 1 4.096 0.07895 0.07933 0.2212 -0.002421 1 0.000357 0.5853 0.3602 0.1094 0.3307 1.495 2.23 0.8478 3.135 1 1 0.1333 0.3537 0.195 0.714 1.895 1.045 json
t12_x5_u6_b105 12 5 6 105 nrm(dot(P,lrg(D,R))) 24254 97650528 o1(o2(x,o2(x,x))) true 23879 23879 -0.7389 0.1321 0.8722 0.2681 0.5177 -1 0.5774 1.577 1 1.555 0.05443 0.05403 0.08987 0.003656 1 0.00008179 0.2528 0.1706 0.1004 0.3169 3.526 2.231 0.4046 0.943 1 1 0.09632 0.2719 0.4481 0.3593 1.014 1.672 json
t12_x5_u6_b106 12 5 6 106 nrm(dot(P,eql(D,R))) 24255 97650529 o1(o2(x,o2(x,x))) true 23887 23887 -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
t12_x5_u6_b107 12 5 6 107 nrm(dot(P,min(D,R))) 24256 97650530 o1(o2(x,o2(x,x))) true 23895 23895 -0.06571 0.4491 0.4432 0.2292 0.4788 -1 0.5774 1.577 1 3.83 0.03202 0.0321 0.1031 -0.001242 1 0.001237 0.2306 0.1272 0.0535 0.2313 2.243 2.231 0.2798 1.006 1 1 0.06459 0.2333 0.3332 0.2818 1.018 1.454 json
t12_x5_u6_b108 12 5 6 108 nrm(dot(P,dot(D,R))) 24257 97650531 o1(o2(x,o2(x,x))) true 23903 23903 -0.1815 0.4083 0.5162 0.3119 0.5585 -1 0.5774 1.577 1 3.927 0.04514 0.04751 0.1293 -0.02556 1 0.0001485 0.2774 0.1949 0.07592 0.2755 2.131 2.231 0.297 0.8892 1 1 0.09435 0.3588 0.6247 0.3025 1.15 2.003 json
t12_x5_u6_b109 12 5 6 109 nrm(dot(P,dst(D,R))) 24258 97650532 o1(o2(x,o2(x,x))) true 23911 23911 -0.1797 0.4102 0.6536 0.4207 0.6486 -1 0.5774 1.577 1 1.5 0.009322 0.009322 0.01374 -4.995e-8 1 -2.174e-9 0.03956 0.02797 0.01846 0.1359 9.888 2.231 0.04431 0.09402 1 1 0.02459 0.1017 0.4231 0.05845 0.2417 1.006 json
t12_x5_u6_b110 12 5 6 110 nrm(dst(P,add(D,R))) 24259 97650533 o1(o2(x,o2(x,x))) true 23919 23919 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 5.441e-16 5.367e-16 1.465e-8 0.000007385 0 -7.625e-9 4.74e-15 1.983e-8 8.662e-16 2.943e-8 2.008 1.686e-7 7.606e-9 3.336e-8 1 1 5.035e-16 5.021e-16 5.171e-16 3.544e-9 3.534e-9 3.639e-9 json
t12_x5_u6_b111 12 5 6 111 nrm(dst(P,sub(D,R))) 24260 97650534 o1(o2(x,o2(x,x))) true 23927 23927 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 5.24e-16 5.254e-16 1.425e-8 -0.000001399 0 -6.897e-9 4.616e-15 1.925e-8 8.469e-16 2.91e-8 2.042 1.686e-7 7.385e-9 3.249e-8 1 1 4.846e-16 4.872e-16 4.928e-16 3.41e-9 3.429e-9 3.468e-9 json
t12_x5_u6_b112 12 5 6 112 nrm(dst(P,mlt(D,R))) 24261 97650535 o1(o2(x,o2(x,x))) true 23935 23935 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 5.206e-16 5.187e-16 1.431e-8 0.000001902 0 -7.52e-9 4.706e-15 1.967e-8 8.342e-16 2.888e-8 2.018 1.686e-7 7.314e-9 3.312e-8 1 1 4.604e-16 4.668e-16 4.927e-16 3.24e-9 3.285e-9 3.467e-9 json
t12_x5_u6_b113 12 5 6 113 nrm(dst(P,div(D,R))) 24262 97650536 o1(o2(x,o2(x,x))) true 23943 23943 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 5.038e-16 5.06e-16 1.379e-8 -0.000002182 0 -7.377e-9 4.399e-15 1.841e-8 8.201e-16 2.864e-8 2.077 1.686e-7 7.107e-9 3.096e-8 1 1 4.59e-16 4.636e-16 4.693e-16 3.23e-9 3.262e-9 3.303e-9 json
t12_x5_u6_b114 12 5 6 114 nrm(dst(P,pow(D,R))) 24263 97650537 o1(o2(x,o2(x,x))) true 23951 23951 -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
t12_x5_u6_b115 12 5 6 115 nrm(dst(P,mod(D,R))) 24264 97650538 o1(o2(x,o2(x,x))) true 23959 23959 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 5.662e-16 5.696e-16 1.54e-8 -0.000003357 0 -8.59e-9 5.038e-15 2.105e-8 8.984e-16 2.997e-8 1.947 1.686e-7 7.993e-9 3.545e-8 1 1 5.268e-16 5.292e-16 5.396e-16 3.707e-9 3.724e-9 3.798e-9 json
t12_x5_u6_b116 12 5 6 116 nrm(dst(P,lrg(D,R))) 24265 97650539 o1(o2(x,o2(x,x))) true 23967 23967 0.5775 0.9999 0.5778 0.0003038 0.01743 -1 0.5774 1.577 1 0.001763 0.00007836 0.0006269 0.0004325 -0.7778 1 -7.922e-10 0.002351 0.0008942 0.000705 0.02655 61.38 2.231 2.321 7.738 1 1 0.0006892 0.001103 0.001103 2.269 3.63 3.63 json
t12_x5_u6_b117 12 5 6 117 nrm(dst(P,eql(D,R))) 24266 97650540 o1(o2(x,o2(x,x))) true 23975 23975 0.5531 0.9844 0.5843 0.03822 0.1955 -1 0.5774 1.577 1 0.1161 0.002507 0.002507 0.003165 0 1 -8.222e-10 0.01034 0.006359 0.005001 0.07072 22.34 2.231 0.1312 0.2706 1 1 0.008822 0.03529 0.1411 0.2308 0.9232 3.693 json
t12_x5_u6_b118 12 5 6 118 nrm(dst(P,min(D,R))) 24267 97650541 o1(o2(x,o2(x,x))) true 23983 23983 0.5777 1 0.5777 1.421e-7 0.0003769 0.5774 0.5774 1.192e-7 1 0 2.74e-16 3.008e-16 8.421e-9 -0.0000268 0 -4.614e-9 2.735e-15 1.146e-8 5.038e-16 2.245e-8 2.665 1.686e-7 4.045e-9 1.925e-8 1 1 3.011e-16 4.33e-16 5.07e-16 2.119e-9 3.047e-9 3.568e-9 json
t12_x5_u6_b119 12 5 6 119 nrm(dst(P,dot(D,R))) 24268 97650542 o1(o2(x,o2(x,x))) true 23991 23991 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 5.35e-16 5.409e-16 1.473e-8 -0.000005874 0 -7.017e-9 4.82e-15 2.013e-8 8.593e-16 2.931e-8 1.99 1.686e-7 7.572e-9 3.392e-8 1 1 4.786e-16 4.826e-16 5.008e-16 3.368e-9 3.396e-9 3.525e-9 json
t12_x5_u6_b120 12 5 6 120 nrm(dst(P,dst(D,R))) 24269 97650543 o1(o2(x,o2(x,x))) true 23999 23999 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 5.213e-16 5.222e-16 1.42e-8 -8.392e-7 0 -6.735e-9 4.646e-15 1.94e-8 8.416e-16 2.901e-8 2.043 1.686e-7 7.344e-9 3.269e-8 1 1 5.117e-16 5.092e-16 5.117e-16 3.601e-9 3.583e-9 3.601e-9 json
t12_x6_u0_b0 12 6 0 0 sqt(add(P,add(R,P))) 24270 97689618 o1(o2(x,o2(x,x))) true 24007 24007 -0.09504 0.4531 0.9987 0.9891 0.9945 -1 1 2 1 1.053 0.01487 0.005507 0.01077 0.4594 1 0 0.04201 0.02121 0.02026 0.1424 13.22 2.828 0.0206 0.04247 1 1 0.028 0.114 0.424 0.02831 0.1153 0.4287 json
t12_x6_u0_b1 12 6 0 1 sqt(add(P,sub(R,P))) 24271 97689619 o1(o2(x,o2(x,x))) true 24015 24015 -0.9258 0.04297 0.9882 0.1235 0.3514 -1 0.971 1.971 1 0.3916 0.01252 0.01245 0.01513 0.002807 1 0.000005689 0.05219 0.02886 0.02476 0.1573 10.4 2.731 0.2023 0.4226 1 1 0.0197 0.08508 0.2088 0.1595 0.689 1.691 json
t12_x6_u0_b2 12 6 0 2 sqt(add(P,mlt(R,P))) 24272 97689620 o1(o2(x,o2(x,x))) true 24023 24023 -0.04047 0.5 0.9595 0.9456 0.9724 -1 1 2 1 1.637 0.004451 0.0001493 0.01039 0.9351 1 -0.00001607 0.008015 0.01045 0.004493 0.06703 6.453 1 0.004866 0.008477 1 1 0.006632 0.04313 0.2834 0.007014 0.04561 0.2997 json
t12_x6_u0_b3 12 6 0 3 sqt(add(P,div(R,P))) 24273 97689621 o1(o2(x,o2(x,x))) true 24031 24031 -0.1265 0.4375 0.9985 0.9813 0.9906 -1 1 2 1 1.054 0.01486 0.00001045 0.008057 0.9986 1 -0.000004357 0.02968 0.01552 0.0148 0.1217 15.1 2 0.01515 0.03025 1 1 0.01972 0.08119 0.3339 0.0201 0.08274 0.3403 json
t12_x6_u0_b4 12 6 0 4 sqt(add(P,pow(R,P))) 24274 97689622 o1(o2(x,o2(x,x))) true 24039 24039 -0.9087 0.04688 0.9976 0.1705 0.413 -1 1 2 1 0.327 0.01605 0.01523 0.01639 0.02625 1 -6.007e-11 0.06539 0.03214 0.03101 0.1761 10.74 2.828 0.1835 0.3834 1 1 0.0335 0.1393 0.4277 0.1964 0.8167 2.508 json
t12_x6_u0_b5 12 6 0 5 sqt(add(P,mod(R,P))) 24275 97689623 o1(o2(x,o2(x,x))) true 24047 24047 -0.1265 0.4375 0.9985 0.9813 0.9906 -1 1 2 1 1.056 0.01486 0.00001086 0.008062 0.9985 1 -0.000004487 0.02968 0.01552 0.0148 0.1217 15.09 2 0.01515 0.03025 1 1 0.01972 0.08112 0.3338 0.0201 0.08267 0.3402 json
t12_x6_u0_b6 12 6 0 6 sqt(add(P,lrg(R,P))) 24276 97689624 o1(o2(x,o2(x,x))) true 24055 24055 0.05859 0.5378 0.9336 0.9218 0.9601 -1 1 2 1 1.62 0.004293 0.0001053 0.00895 0.9521 1 -0.000005705 0.007937 0.009101 0.004317 0.0657 7.341 1 0.004772 0.00861 1 1 0.006427 0.03909 0.2546 0.006973 0.04241 0.2762 json
t12_x6_u0_b7 12 6 0 7 sqt(add(P,eql(R,P))) 24277 97689625 o1(o2(x,o2(x,x))) true 24063 24063 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t12_x6_u0_b8 12 6 0 8 sqt(add(P,min(R,P))) 24278 97689626 o1(o2(x,o2(x,x))) true 24071 24071 -0.1028 0.4531 0.9909 0.9773 0.9886 -1 1 2 1 1.174 0.0121 0.003589 0.01025 0.5425 1 -0.000004487 0.03202 0.01833 0.01559 0.1249 12.18 2.828 0.01605 0.03277 1 1 0.02145 0.09141 0.38 0.02195 0.09354 0.3888 json
t12_x6_u0_b9 12 6 0 9 sqt(add(P,dot(R,P))) 24279 97689627 o1(o2(x,o2(x,x))) true 24079 24079 -0.4974 0.2539 0.9948 0.7451 0.8632 -1 1 2 1 0.9509 0.03069 0.0269 0.03038 0.06588 1 -1.872e-7 0.1194 0.05949 0.05671 0.2381 7.839 2.828 0.0773 0.1602 1 1 0.05508 0.2388 0.9094 0.07392 0.3204 1.221 json
t12_x6_u0_b10 12 6 0 10 sqt(add(P,dst(R,P))) 24280 97689628 o1(o2(x,o2(x,x))) true 24087 24087 0.7649 0.8945 0.9759 0.3779 0.6147 -1 1 2 1 1.028 0.007857 0.01378 0.01459 -0.2737 1 4.805e-7 0.04421 0.02431 0.02143 0.1464 10.03 2.807 0.05726 0.117 1 1 0.02855 0.1169 0.4508 0.07555 0.3094 1.193 json
t12_x6_u0_b11 12 6 0 11 sqt(sub(P,add(R,P))) 24281 97689629 o1(o2(x,o2(x,x))) true 24095 24095 -0.8813 0.07031 0.9781 0.1889 0.4346 -1 0.9994 1.999 1 0.6096 0.01566 0.01984 0.02196 -0.1179 1 0.000001181 0.07426 0.04149 0.03502 0.1871 8.522 2.748 0.188 0.3931 1 1 0.03616 0.153 0.4151 0.1914 0.8099 2.198 json
t12_x6_u0_b12 12 6 0 12 sqt(sub(P,sub(R,P))) 24282 97689630 o1(o2(x,o2(x,x))) true 24103 24103 -0.07998 0.4609 0.9981 0.9908 0.9954 -1 1 2 1 1.084 0.01468 0.002826 0.009399 0.6771 1 1.168e-7 0.03564 0.01827 0.0174 0.1319 14.04 2.828 0.01766 0.03597 1 1 0.02434 0.09922 0.3949 0.02456 0.1001 0.3985 json
t12_x6_u0_b13 12 6 0 13 sqt(sub(P,mlt(R,P))) 24283 97689631 o1(o2(x,o2(x,x))) true 24111 24111 -0.0495 0.4997 0.9505 0.9334 0.9661 -1 1 2 1 1.689 0.004352 0.0001441 0.01023 0.9359 1 -0.00002575 0.008015 0.01025 0.004391 0.06627 6.477 1 0.004816 0.008587 1 1 0.006596 0.0413 0.2704 0.007067 0.04424 0.2897 json
t12_x6_u0_b14 12 6 0 14 sqt(sub(P,div(R,P))) 24284 97689632 o1(o2(x,o2(x,x))) true 24119 24119 -0.1306 0.4375 0.9944 0.9734 0.9866 -1 1 2 1 1.146 0.0123 0.00002751 0.008216 0.9955 1 4.505e-11 0.02444 0.01432 0.01226 0.1107 13.48 2 0.01267 0.0251 1 1 0.01734 0.07522 0.3286 0.01781 0.07728 0.3376 json
t12_x6_u0_b15 12 6 0 15 sqt(sub(P,pow(R,P))) 24285 97689633 o1(o2(x,o2(x,x))) true 24127 24127 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.001008 0.001764 0.001386 -0.2727 1 0 0.005795 0.002771 0.002769 0.05262 37.97 2 0.1781 0.3723 1 1 0 0 0.0133 0 0 0.8543 json
t12_x6_u0_b16 12 6 0 16 sqt(sub(P,mod(R,P))) 24286 97689634 o1(o2(x,o2(x,x))) true 24135 24135 -0.1307 0.4375 0.9943 0.9734 0.9866 -1 1 2 1 1.146 0.0123 0.00002799 0.00822 0.9955 1 1.877e-11 0.02444 0.01433 0.01226 0.1107 13.47 2 0.01267 0.0251 1 1 0.01734 0.07536 0.3287 0.01781 0.07742 0.3377 json
t12_x6_u0_b17 12 6 0 17 sqt(sub(P,lrg(R,P))) 24287 97689635 o1(o2(x,o2(x,x))) true 24143 24143 -0.08984 0.4609 0.9883 0.9775 0.9887 -1 1 2 1 1.174 0.01156 0.001808 0.009021 0.7296 1 -5.632e-11 0.02695 0.0155 0.01328 0.1153 12.78 2.828 0.01368 0.02757 1 1 0.01932 0.08219 0.3617 0.01976 0.08408 0.3701 json
t12_x6_u0_b18 12 6 0 18 sqt(sub(P,eql(R,P))) 24288 97689636 o1(o2(x,o2(x,x))) true 24151 24151 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t12_x6_u0_b19 12 6 0 19 sqt(sub(P,min(R,P))) 24289 97689637 o1(o2(x,o2(x,x))) true 24159 24159 0.4834 0.5455 0.4834 0.2313 0.481 0 1 1 1 1.708 0.0003235 0.0001368 0.006258 0.4056 1 0.000003926 0.00005313 0.001784 0.0004215 0.02053 3.281 0.1411 0.00199 0.0002297 1 1 0.001204 0.01473 0.07487 0.005205 0.06368 0.3237 json
t12_x6_u0_b20 12 6 0 20 sqt(sub(P,dot(R,P))) 24290 97689638 o1(o2(x,o2(x,x))) true 24167 24167 -0.5125 0.2461 0.9953 0.7301 0.8545 -1 1 2 1 0.9292 0.03029 0.02327 0.0282 0.1312 1 -0.00000669 0.1114 0.05487 0.05276 0.2297 8.146 2.828 0.07336 0.1526 1 1 0.05493 0.2426 0.8127 0.07523 0.3323 1.113 json
t12_x6_u0_b21 12 6 0 21 sqt(sub(P,dst(R,P))) 24291 97689639 o1(o2(x,o2(x,x))) true 24175 24175 -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
t12_x6_u0_b22 12 6 0 22 sqt(mlt(P,add(R,P))) 24292 97689640 o1(o2(x,o2(x,x))) true 24183 24183 0.9274 0.9999 0.9274 0.05013 0.2239 0.00009293 1 0.9999 1 0.9638 0.0007505 0.0000827 0.008733 0.8015 1 -0.000006854 0.0001225 0.002722 0.0007569 0.02751 3.15 0.177 0.01662 0.002445 1 1 0.002031 0.02412 0.07758 0.04051 0.4812 1.548 json
t12_x6_u0_b23 12 6 0 23 sqt(mlt(P,sub(R,P))) 24293 97689641 o1(o2(x,o2(x,x))) true 24191 24191 -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
t12_x6_u0_b24 12 6 0 24 sqt(mlt(P,mlt(R,P))) 24294 97689642 o1(o2(x,o2(x,x))) true 24199 24199 -0.8761 0.07408 0.9755 0.2023 0.4497 -1 1 2 1 0.6037 0.0203 0.01824 0.02321 0.0536 1 -4.881e-10 0.0803 0.043 0.03798 0.1949 8.397 2.828 0.1905 0.397 1 1 0.03362 0.1414 0.4347 0.1662 0.6991 2.149 json
t12_x6_u0_b25 12 6 0 25 sqt(mlt(P,div(R,P))) 24295 97689643 o1(o2(x,o2(x,x))) true 24207 24207 -0.9397 0.03516 0.99 0.1006 0.3171 -1 0.971 1.971 1 0.3329 0.01074 0.009256 0.01227 0.07411 1 0.000005689 0.04178 0.02335 0.01983 0.1408 11.48 2.398 0.1988 0.4155 1 1 0.01818 0.07467 0.1863 0.1808 0.7425 1.853 json
t12_x6_u0_b26 12 6 0 26 sqt(mlt(P,pow(R,P))) 24296 97689644 o1(o2(x,o2(x,x))) true 24215 24215 -0.9661 0.02344 0.987 0.05052 0.2248 -1 1 2 1 0.2503 0.005868 0.004314 0.007856 0.1526 1 0.00000117 0.02108 0.0136 0.01012 0.1006 12.8 2.761 0.2016 0.4173 1 1 0.007945 0.03362 0.08867 0.1573 0.6656 1.755 json
t12_x6_u0_b27 12 6 0 27 sqt(mlt(P,mod(R,P))) 24297 97689645 o1(o2(x,o2(x,x))) true 24223 24223 -0.9261 0.03906 0.9958 0.1354 0.368 -1 1 2 1 0.3227 0.01284 0.0119 0.01362 0.03814 1 -3.508e-8 0.05164 0.02625 0.02457 0.1567 11.51 2.828 0.1827 0.3813 1 1 0.02279 0.09599 0.2661 0.1682 0.7087 1.965 json
t12_x6_u0_b28 12 6 0 28 sqt(mlt(P,lrg(R,P))) 24298 97689646 o1(o2(x,o2(x,x))) true 24231 24231 -0.5 0 0.5 0.25 0.5 -1 0 1 1 1 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01587 0.03175 1 1 0.005263 0.02105 0.08421 0.02105 0.08421 0.3368 json
t12_x6_u0_b29 12 6 0 29 sqt(mlt(P,eql(R,P))) 24299 97689647 o1(o2(x,o2(x,x))) true 24239 24239 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