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_x20_u6_b46 12 20 6 46 nrm(pow(R,mlt(P,R))) 36900 98256484 o1(o2(x,o2(x,x))) true 125047 125047 -0.981 0.01172 0.9956 0.03054 0.1748 -1 0.8052 1.805 1 0.1173 0.003988 0.002618 0.004174 0.2075 1 1.051e-10 0.01386 0.00817 0.006593 0.0812 19.45 2.401 0.2163 0.4539 1 1 0.01163 0.04666 0.1111 0.3807 1.528 3.637 json
t12_x20_u6_b47 12 20 6 47 nrm(pow(R,div(P,R))) 36901 98256485 o1(o2(x,o2(x,x))) true 125055 125055 -0.9833 0.01167 0.9933 0.02428 0.1558 -1 0.7071 1.707 1 0.1309 0.003202 0.001751 0.003777 0.293 1 7.884e-11 0.01032 0.006979 0.004935 0.07025 18.6 1.707 0.204 0.425 1 1 0.008746 0.03564 0.08858 0.3602 1.468 3.649 json
t12_x20_u6_b48 12 20 6 48 nrm(pow(R,pow(P,R))) 36902 98256486 o1(o2(x,o2(x,x))) true 125063 125063 -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_x20_u6_b49 12 20 6 49 nrm(pow(R,mod(P,R))) 36903 98256487 o1(o2(x,o2(x,x))) true 125071 125071 -0.9814 0.01172 0.9951 0.02914 0.1707 -1 0.6211 1.621 1 0.1003 0.003803 0.0025 0.003995 0.2067 1 8.26e-11 0.01323 0.007977 0.006292 0.07932 19.85 2.202 0.2163 0.4539 1 1 0.01109 0.0444 0.1059 0.3804 1.524 3.634 json
t12_x20_u6_b50 12 20 6 50 nrm(pow(R,lrg(P,R))) 36904 98256488 o1(o2(x,o2(x,x))) true 125079 125079 -0.9938 0.003906 0.9983 0.009701 0.09849 -1 0.5774 1.577 1 0.03687 0.001254 0.001254 0.001575 0 1 -7.509e-11 0.005328 0.003179 0.002503 0.05003 31.76 2.231 0.2585 0.5492 1 1 0 0 0 0 0 0 json
t12_x20_u6_b51 12 20 6 51 nrm(pow(R,eql(P,R))) 36905 98256489 o1(o2(x,o2(x,x))) true 125087 125087 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 json
t12_x20_u6_b52 12 20 6 52 nrm(pow(R,min(P,R))) 36906 98256490 o1(o2(x,o2(x,x))) true 125095 125095 -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_x20_u6_b53 12 20 6 53 nrm(pow(R,dot(P,R))) 36907 98256491 o1(o2(x,o2(x,x))) true 125103 125103 -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_x20_u6_b54 12 20 6 54 nrm(pow(R,dst(P,R))) 36908 98256492 o1(o2(x,o2(x,x))) true 125111 125111 -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_x20_u6_b55 12 20 6 55 nrm(mod(R,add(P,R))) 36909 98256493 o1(o2(x,o2(x,x))) true 125119 125119 -0.02498 0.4749 0.4836 0.3143 0.5606 -1 1 2 1 4.986 0.005193 0.005901 0.07447 -0.06377 1 -0.00001197 0.006995 0.02096 0.005548 0.07449 1 2.054 0.0353 0.02225 1 1 0.02178 0.2308 0.6135 0.06928 0.7342 1.952 json
t12_x20_u6_b56 12 20 6 56 nrm(mod(R,sub(P,R))) 36910 98256494 o1(o2(x,o2(x,x))) true 125127 125127 -0.02716 0.4796 0.4801 0.3091 0.5559 -1 1 2 1 4.983 0.005216 0.005888 0.07477 -0.06057 1 -0.000001982 0.006931 0.02105 0.005514 0.07425 0.9931 2.824 0.03593 0.02242 1 1 0.0216 0.2294 0.612 0.06988 0.7422 1.98 json
t12_x20_u6_b57 12 20 6 57 nrm(mod(R,mlt(P,R))) 36911 98256495 o1(o2(x,o2(x,x))) true 125135 125135 -0.2624 0.3445 0.5333 0.326 0.571 -1 0.9716 1.972 1 4.454 0.01058 0.01533 0.06232 -0.1833 1 0.00002496 0.0441 0.04296 0.02204 0.1484 2.382 2.631 0.0795 0.1353 1 1 0.03401 0.1899 0.5194 0.1043 0.5826 1.593 json
t12_x20_u6_b58 12 20 6 58 nrm(mod(R,div(P,R))) 36912 98256496 o1(o2(x,o2(x,x))) true 125143 125143 -0.2601 0.3525 0.5395 0.3299 0.5744 -1 0.9534 1.953 1 4.451 0.01338 0.01365 0.063 -0.00984 1 0.00001713 0.04636 0.04383 0.02307 0.1519 2.411 2.033 0.08195 0.1405 1 1 0.03382 0.1893 0.5291 0.1025 0.5738 1.604 json
t12_x20_u6_b59 12 20 6 59 nrm(mod(R,pow(P,R))) 36913 98256497 o1(o2(x,o2(x,x))) true 125151 125151 -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_x20_u6_b60 12 20 6 60 nrm(mod(R,mod(P,R))) 36914 98256498 o1(o2(x,o2(x,x))) true 125159 125159 -0.2434 0.3495 0.3642 0.2216 0.4707 -1 0.9832 1.983 1 3.74 0.009492 0.009361 0.03836 0.006918 1 -0.000007372 0.03544 0.03561 0.01738 0.1318 3.436 1.944 0.08509 0.16 1 1 0.02429 0.111 0.3527 0.1096 0.5009 1.592 json
t12_x20_u6_b61 12 20 6 61 nrm(mod(R,lrg(P,R))) 36915 98256499 o1(o2(x,o2(x,x))) true 125167 125167 -0.9902 0.005417 0.9956 0.01358 0.1165 -1 0.8416 1.842 1 0.09977 0.001005 0.00191 0.002483 -0.3105 1 -9.011e-11 0.005986 0.004008 0.002907 0.05391 21.71 2.187 0.2146 0.4407 1 1 0.005218 0.0213 0.04963 0.3842 1.568 3.654 json
t12_x20_u6_b62 12 20 6 62 nrm(mod(R,eql(P,R))) 36916 98256500 o1(o2(x,o2(x,x))) true 125175 125175 -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_x20_u6_b63 12 20 6 63 nrm(mod(R,min(P,R))) 36917 98256501 o1(o2(x,o2(x,x))) true 125183 125183 -0.977 0.01114 0.985 0.02783 0.1668 -1 0.9991 1.999 1 0.2432 0.002771 0.003401 0.005909 -0.102 1 -0.000001252 0.01288 0.009872 0.006133 0.07832 13.25 2.666 0.2218 0.4629 1 1 0.003757 0.01557 0.02908 0.135 0.5595 1.045 json
t12_x20_u6_b64 12 20 6 64 nrm(mod(R,dot(P,R))) 36918 98256502 o1(o2(x,o2(x,x))) true 125191 125191 -0.01853 0.4792 0.4146 0.2319 0.4816 -1 0.988 1.988 1 4.854 0.00449 0.004959 0.06437 -0.04965 1 -0.000006302 0.008019 0.01947 0.005305 0.07283 1.131 2.032 0.04074 0.03458 1 1 0.01708 0.1598 0.4344 0.07367 0.6889 1.873 json
t12_x20_u6_b65 12 20 6 65 nrm(mod(R,dst(P,R))) 36919 98256503 o1(o2(x,o2(x,x))) true 125199 125199 -0.00321 0.4901 0.3959 0.2097 0.4579 -0.9488 0.9534 1.902 1 4.784 0.002764 0.002943 0.06199 -0.03129 1 -0.000006012 0.0003368 0.01435 0.001864 0.04318 0.6965 0.2114 0.02722 0.001606 1 1 0.01118 0.1438 0.3696 0.0533 0.6856 1.763 json
t12_x20_u6_b66 12 20 6 66 nrm(lrg(R,add(P,R))) 36920 98256504 o1(o2(x,o2(x,x))) true 125207 125207 0.07069 0.4648 0.7035 0.6513 0.807 -1 1 2 1 2.201 0.008882 0.002477 0.008477 0.5639 1 1.089e-8 0.02264 0.01392 0.01128 0.1062 12.53 2 0.01744 0.03476 1 1 0.01575 0.06508 0.2668 0.02419 0.09992 0.4096 json
t12_x20_u6_b67 12 20 6 67 nrm(lrg(R,sub(P,R))) 36921 98256505 o1(o2(x,o2(x,x))) true 125215 125215 0.09611 0.5401 0.6195 0.5184 0.72 -1 1 2 1 3.026 0.008761 0.007967 0.02155 0.04746 1 -0.00001677 0.0339 0.02671 0.01627 0.1275 5.919 2 0.03227 0.06539 1 1 0.01962 0.09347 0.3414 0.03785 0.1803 0.6585 json
t12_x20_u6_b68 12 20 6 68 nrm(lrg(R,mlt(P,R))) 36922 98256506 o1(o2(x,o2(x,x))) true 125223 125223 -0.2507 0.4902 0.7102 0.5688 0.7542 -1 1 2 1 2.943 0.03554 0.03589 0.06587 -0.004826 1 0.00001162 0.1455 0.09674 0.06711 0.2591 3.933 2.828 0.1256 0.2558 1 1 0.07252 0.3112 0.9442 0.1275 0.547 1.66 json
t12_x20_u6_b69 12 20 6 69 nrm(lrg(R,div(P,R))) 36923 98256507 o1(o2(x,o2(x,x))) true 125231 125231 -0.2189 0.5144 0.703 0.5705 0.7553 -1 1 2 1 3.02 0.03554 0.03838 0.06819 -0.03839 1 0.00001649 0.1505 0.09945 0.06928 0.2632 3.86 2.828 0.1296 0.2638 1 1 0.07588 0.3249 0.9958 0.133 0.5696 1.745 json
t12_x20_u6_b70 12 20 6 70 nrm(lrg(R,pow(P,R))) 36924 98256508 o1(o2(x,o2(x,x))) true 125239 125239 0.09335 0.4992 0.609 0.5131 0.7163 -1 1 2 1 2.866 0.008691 0.005407 0.01674 0.2329 1 0.000001229 0.02855 0.02147 0.01382 0.1176 7.022 2 0.02747 0.05563 1 1 0.01669 0.07358 0.2811 0.03253 0.1434 0.5478 json
t12_x20_u6_b71 12 20 6 71 nrm(lrg(R,mod(P,R))) 36925 98256509 o1(o2(x,o2(x,x))) true 125247 125247 -0.1387 0.5857 0.6426 0.5317 0.7292 -1 0.9999 2 1 3.239 0.02739 0.0331 0.06437 -0.09431 1 -0.00001399 0.1213 0.08405 0.05635 0.2374 3.688 2.828 0.1138 0.2281 1 1 0.05291 0.2479 0.8352 0.0995 0.4663 1.571 json
t12_x20_u6_b72 12 20 6 72 nrm(lrg(R,lrg(P,R))) 36926 98256510 o1(o2(x,o2(x,x))) true 125255 125255 -0.5403 0.2473 0.7878 0.4588 0.6774 -1 1 2 1 2.033 0.02603 0.02621 0.04683 -0.003496 1 0.000004625 0.1066 0.07598 0.05005 0.2237 4.778 2.828 0.1139 0.2324 1 1 0.05013 0.2127 0.6255 0.1093 0.4635 1.363 json
t12_x20_u6_b73 12 20 6 73 nrm(lrg(R,eql(P,R))) 36927 98256511 o1(o2(x,o2(x,x))) true 125263 125263 -0.1387 0.5857 0.6426 0.5317 0.7292 -1 0.9999 2 1 3.239 0.02739 0.0331 0.06437 -0.09431 1 -0.00001399 0.1213 0.08405 0.05635 0.2374 3.688 2.828 0.1138 0.2281 1 1 0.05291 0.2479 0.8352 0.0995 0.4663 1.571 json
t12_x20_u6_b74 12 20 6 74 nrm(lrg(R,min(P,R))) 36928 98256512 o1(o2(x,o2(x,x))) true 125271 125271 0.09335 0.4992 0.609 0.5131 0.7163 -1 1 2 1 2.866 0.008691 0.005407 0.01674 0.2329 1 0.000001229 0.02855 0.02147 0.01382 0.1176 7.022 2 0.02747 0.05563 1 1 0.01669 0.07358 0.2811 0.03253 0.1434 0.5478 json
t12_x20_u6_b75 12 20 6 75 nrm(lrg(R,dot(P,R))) 36929 98256513 o1(o2(x,o2(x,x))) true 125279 125279 -0.7868 0.1367 0.9398 0.2896 0.5382 -1 0.9998 2 1 0.8571 0.01892 0.02637 0.03075 -0.1646 1 -0.000001891 0.0937 0.05882 0.04437 0.2106 6.851 2.414 0.1564 0.3235 1 1 0.04508 0.1902 0.5436 0.1557 0.6567 1.877 json
t12_x20_u6_b76 12 20 6 76 nrm(lrg(R,dst(P,R))) 36930 98256514 o1(o2(x,o2(x,x))) true 125287 125287 -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_x20_u6_b77 12 20 6 77 nrm(eql(R,add(P,R))) 36931 98256515 o1(o2(x,o2(x,x))) true 125295 125295 0.04369 0.125 0.04369 0.02206 0.1485 0 0.7069 0.7069 1 0.7586 0.0003453 5.912e-7 0.005561 0.9966 1 2.138e-9 0.0000159 0.001297 0.0003148 0.01774 3.19 0.08265 0.01568 0.0007207 1 1 0.000901 0.01172 0.03212 0.04083 0.5313 1.456 json
t12_x20_u6_b78 12 20 6 78 nrm(eql(R,sub(P,R))) 36932 98256516 o1(o2(x,o2(x,x))) true 125303 125303 -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_x20_u6_b79 12 20 6 79 nrm(eql(R,mlt(P,R))) 36933 98256517 o1(o2(x,o2(x,x))) true 125311 125311 -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_x20_u6_b80 12 20 6 80 nrm(eql(R,div(P,R))) 36934 98256518 o1(o2(x,o2(x,x))) true 125319 125319 -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_x20_u6_b81 12 20 6 81 nrm(eql(R,pow(P,R))) 36935 98256519 o1(o2(x,o2(x,x))) true 125327 125327 -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_x20_u6_b82 12 20 6 82 nrm(eql(R,mod(P,R))) 36936 98256520 o1(o2(x,o2(x,x))) true 125335 125335 -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_x20_u6_b83 12 20 6 83 nrm(eql(R,lrg(P,R))) 36937 98256521 o1(o2(x,o2(x,x))) true 125343 125343 -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_x20_u6_b84 12 20 6 84 nrm(eql(R,eql(P,R))) 36938 98256522 o1(o2(x,o2(x,x))) true 125351 125351 -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_x20_u6_b85 12 20 6 85 nrm(eql(R,min(P,R))) 36939 98256523 o1(o2(x,o2(x,x))) true 125359 125359 0.1018 0.5185 0.6174 0.517 0.719 -1 1 2 1 2.933 0.006115 0.006816 0.01697 -0.0542 1 0.00000186 0.02629 0.02048 0.01265 0.1125 6.628 2.414 0.02501 0.05085 1 1 0.01791 0.07719 0.2876 0.03464 0.1493 0.5563 json
t12_x20_u6_b86 12 20 6 86 nrm(eql(R,dot(P,R))) 36940 98256524 o1(o2(x,o2(x,x))) true 125367 125367 -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_x20_u6_b87 12 20 6 87 nrm(eql(R,dst(P,R))) 36941 98256525 o1(o2(x,o2(x,x))) true 125375 125375 -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_x20_u6_b88 12 20 6 88 nrm(min(R,add(P,R))) 36942 98256526 o1(o2(x,o2(x,x))) true 125383 125383 -0.3677 0.2408 0.5173 0.2577 0.5076 -1 0.9719 1.972 1 4.393 0.001272 0.0009027 0.02874 0.1697 1 -0.00002591 0.0001299 0.006622 0.001349 0.03672 1.278 0.2109 0.008439 0.0005041 1 1 0.004738 0.06193 0.2115 0.01839 0.2404 0.8209 json
t12_x20_u6_b89 12 20 6 89 nrm(min(R,sub(P,R))) 36943 98256527 o1(o2(x,o2(x,x))) true 125391 125391 -0.4055 0.2064 0.5231 0.2355 0.4853 -0.9994 0.8641 1.863 1 4.322 0.001059 0.0007408 0.02524 0.1767 1 -0.00001095 0.0001091 0.005801 0.001163 0.0341 1.351 0.1924 0.007642 0.0004633 1 1 0.003549 0.04647 0.1566 0.01507 0.1973 0.6652 json
t12_x20_u6_b90 12 20 6 90 nrm(min(R,mlt(P,R))) 36944 98256528 o1(o2(x,o2(x,x))) true 125399 125399 -0.3783 0.1878 0.521 0.2168 0.4656 -1 0.9994 1.999 1 4.632 0.002491 0.00223 0.05223 0.05523 1 -0.00004119 0.0002842 0.01215 0.001993 0.04465 0.8548 0.2256 0.02178 0.001311 1 1 0.009338 0.1211 0.3393 0.04307 0.5583 1.565 json
t12_x20_u6_b91 12 20 6 91 nrm(min(R,div(P,R))) 36945 98256529 o1(o2(x,o2(x,x))) true 125407 125407 -0.4113 0.1655 0.5258 0.2107 0.459 -1 0.9994 1.999 1 4.519 0.002472 0.002543 0.05419 -0.01412 1 -0.00002894 0.0003043 0.01266 0.002079 0.04559 0.8413 0.2335 0.0238 0.001444 1 1 0.01055 0.1366 0.3954 0.05008 0.6484 1.877 json
t12_x20_u6_b92 12 20 6 92 nrm(min(R,pow(P,R))) 36946 98256530 o1(o2(x,o2(x,x))) true 125415 125415 -0.0291 0.4695 0.4361 0.2562 0.5061 -0.9999 0.9994 1.999 1 4.911 0.003375 0.003714 0.0684 -0.0479 1 -0.00001479 0.0004181 0.01586 0.002411 0.0491 0.7179 0.2319 0.02767 0.001632 1 1 0.01401 0.1802 0.4622 0.0547 0.7033 1.804 json
t12_x20_u6_b93 12 20 6 93 nrm(min(R,mod(P,R))) 36947 98256531 o1(o2(x,o2(x,x))) true 125423 125423 -0.3415 0.1842 0.4583 0.169 0.4111 -1 0.9995 2 1 4.615 0.002152 0.001904 0.04976 0.06107 1 -0.00003844 0.000246 0.01156 0.00158 0.03975 0.7988 0.2318 0.024 0.001455 1 1 0.008208 0.1066 0.2902 0.04857 0.6306 1.717 json
t12_x20_u6_b94 12 20 6 94 nrm(min(R,lrg(P,R))) 36948 98256532 o1(o2(x,o2(x,x))) true 125431 125431 -0.2702 0.2209 0.4701 0.2642 0.514 -1 0.9999 2 1 4.58 0.004686 0.004544 0.05689 0.01528 1 -0.00003317 0.008814 0.02163 0.005994 0.07742 1.361 1.414 0.03494 0.03337 1 1 0.01543 0.1523 0.3968 0.05842 0.5766 1.502 json
t12_x20_u6_b95 12 20 6 95 nrm(min(R,eql(P,R))) 36949 98256533 o1(o2(x,o2(x,x))) true 125439 125439 -0.6028 0 0.6028 0.1561 0.3951 -1 0 1 1 3.222 0.008359 0.007644 0.04435 0.04471 1 -0.000006892 0.0293 0.0404 0.01403 0.1185 2.671 1.414 0.1025 0.1876 1 1 0.01784 0.1028 0.2788 0.1142 0.6584 1.786 json
t12_x20_u6_b96 12 20 6 96 nrm(min(R,min(P,R))) 36950 98256534 o1(o2(x,o2(x,x))) true 125447 125447 -0.3882 0.2202 0.5338 0.2646 0.5144 -1 0.9995 2 1 4.319 0.001365 0.000966 0.02807 0.1712 1 -0.00002372 0.0001409 0.006487 0.001543 0.03928 1.399 0.2319 0.008809 0.0005324 1 1 0.004661 0.06103 0.2092 0.01761 0.2306 0.7904 json
t12_x20_u6_b97 12 20 6 97 nrm(min(R,dot(P,R))) 36951 98256535 o1(o2(x,o2(x,x))) true 125455 125455 -0.3119 0.2106 0.4752 0.1661 0.4075 -0.9076 0.9369 1.844 1 3.969 0.001866 0.001696 0.04114 0.04763 1 -0.00003758 0.0002093 0.009663 0.00187 0.04324 1.051 0.1985 0.02144 0.00126 1 1 0.007123 0.09269 0.2806 0.04288 0.558 1.689 json
t12_x20_u6_b98 12 20 6 98 nrm(min(R,dst(P,R))) 36952 98256536 o1(o2(x,o2(x,x))) true 125463 125463 -0.003729 0.4898 0.3956 0.2093 0.4575 -0.9488 0.9534 1.902 1 4.783 0.00275 0.002942 0.06193 -0.03371 1 -0.000006012 0.0003359 0.01433 0.001857 0.04309 0.6958 0.2114 0.0272 0.001605 1 1 0.01113 0.1431 0.3696 0.05316 0.6838 1.766 json
t12_x20_u6_b99 12 20 6 99 nrm(dot(R,add(P,R))) 36953 98256537 o1(o2(x,o2(x,x))) true 125471 125471 0.04511 0.5415 0.4223 0.2081 0.4562 -0.5774 0.5774 1.155 1 3.867 0.002533 0.00316 0.05768 -0.1101 1 -0.00005269 0.0003316 0.01398 0.002365 0.04863 0.8431 0.135 0.02735 0.001593 1 1 0.01045 0.1351 0.3867 0.05023 0.6489 1.858 json
t12_x20_u6_b100 12 20 6 100 nrm(dot(R,sub(P,R))) 36954 98256538 o1(o2(x,o2(x,x))) true 125479 125479 -0.1488 0.3652 0.4316 0.1953 0.4419 -0.5774 0.5774 1.155 1 3.69 0.002302 0.003108 0.05471 -0.149 1 -0.00005433 0.0003104 0.01323 0.002417 0.04917 0.8987 0.135 0.0277 0.001589 1 1 0.01029 0.1333 0.3847 0.05269 0.6824 1.969 json
t12_x20_u6_b101 12 20 6 101 nrm(dot(R,mlt(P,R))) 36955 98256539 o1(o2(x,o2(x,x))) true 125487 125487 -0.03819 0.4722 0.5224 0.2932 0.5415 -1 0.5774 1.577 1 2.685 0.002428 0.002445 0.02491 -0.003543 1 -0.000009064 0.005539 0.009598 0.004252 0.06521 2.618 2.231 0.01662 0.01889 1 1 0.008943 0.07476 0.2609 0.0305 0.2549 0.8898 json
t12_x20_u6_b102 12 20 6 102 nrm(dot(R,div(P,R))) 36956 98256540 o1(o2(x,o2(x,x))) true 125495 125495 -0.01563 0.4922 0.5662 0.3289 0.5735 -1 0.5774 1.577 1 1.729 0.001624 0.00169 0.009084 -0.01975 1 -7.227e-11 0.005445 0.005722 0.00323 0.05683 6.256 2.231 0.01008 0.01655 1 1 0.006393 0.0415 0.2092 0.01944 0.1262 0.6362 json
t12_x20_u6_b103 12 20 6 103 nrm(dot(R,pow(P,R))) 36957 98256541 o1(o2(x,o2(x,x))) true 125503 125503 -0.9883 0.005859 0.9931 0.01391 0.118 -1 0.5774 1.577 1 0.1386 0.001906 0.001893 0.003507 0.003232 1 -3.754e-11 0.007967 0.005778 0.003788 0.06154 17.55 2.23 0.273 0.5726 1 1 0.0005322 0.003993 0.01221 0.03825 0.287 0.8773 json
t12_x20_u6_b104 12 20 6 104 nrm(dot(R,mod(P,R))) 36958 98256542 o1(o2(x,o2(x,x))) true 125511 125511 -0.04494 0.4666 0.4227 0.214 0.4626 -1 0.5774 1.577 1 3.986 0.003907 0.005053 0.0619 -0.1279 1 -0.00006339 0.006642 0.01905 0.005128 0.07161 1.157 2.23 0.04187 0.03104 1 1 0.01657 0.1652 0.4474 0.07743 0.772 2.091 json
t12_x20_u6_b105 12 20 6 105 nrm(dot(R,lrg(P,R))) 36959 98256543 o1(o2(x,o2(x,x))) true 125519 125519 -0.4146 0.2281 0.585 0.2527 0.5027 -1 0.5774 1.577 1 3.44 0.003113 0.00298 0.04176 0.02191 1 -0.00003046 0.005026 0.01662 0.004348 0.06594 1.579 1.577 0.02411 0.01989 1 1 0.01058 0.1063 0.3133 0.04188 0.4208 1.24 json
t12_x20_u6_b106 12 20 6 106 nrm(dot(R,eql(P,R))) 36960 98256544 o1(o2(x,o2(x,x))) true 125527 125527 -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_x20_u6_b107 12 20 6 107 nrm(dot(R,min(P,R))) 36961 98256545 o1(o2(x,o2(x,x))) true 125535 125535 0.1759 0.6531 0.4611 0.2099 0.4582 -0.5774 0.5774 1.155 1 3.315 0.001838 0.002442 0.04329 -0.1411 1 -0.0000354 0.0002484 0.01052 0.002406 0.04905 1.133 0.135 0.02039 0.001183 1 1 0.008573 0.1098 0.2808 0.04084 0.5231 1.338 json
t12_x20_u6_b108 12 20 6 108 nrm(dot(R,dot(P,R))) 36962 98256546 o1(o2(x,o2(x,x))) true 125543 125543 0.02723 0.5293 0.4322 0.2233 0.4726 -1 0.5774 1.577 1 3.904 0.003395 0.00391 0.05621 -0.07053 1 0.00001233 0.004436 0.01687 0.004146 0.06439 1.146 2.23 0.03271 0.01986 1 1 0.01465 0.1579 0.4154 0.0656 0.7072 1.86 json
t12_x20_u6_b109 12 20 6 109 nrm(dot(R,dst(P,R))) 36963 98256547 o1(o2(x,o2(x,x))) true 125551 125551 0.009021 0.5076 0.4135 0.2033 0.4509 -0.5774 0.5774 1.155 1 3.948 0.003042 0.002952 0.06076 0.015 1 0.00001565 0.0003513 0.01475 0.002301 0.04797 0.7895 0.135 0.02949 0.001728 1 1 0.01151 0.1483 0.3976 0.0566 0.7295 1.956 json
t12_x20_u6_b110 12 20 6 110 nrm(dst(R,add(P,R))) 36964 98256548 o1(o2(x,o2(x,x))) true 125559 125559 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 -9.724e-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_x20_u6_b111 12 20 6 111 nrm(dst(R,sub(P,R))) 36965 98256549 o1(o2(x,o2(x,x))) true 125567 125567 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 6.255e-17 4.649e-17 1.759e-9 0.00001606 0 -8.109e-10 4.601e-16 1.93e-9 1.059e-16 1.029e-8 5.849 8.429e-8 7.673e-10 3.238e-9 1 1 1.209e-16 4.734e-16 7.261e-16 8.512e-10 3.331e-9 5.11e-9 json
t12_x20_u6_b112 12 20 6 112 nrm(dst(R,mlt(P,R))) 36966 98256550 o1(o2(x,o2(x,x))) true 125575 125575 0.5777 1 0.5777 1.421e-7 0.0003769 0.5774 0.5774 1.192e-7 1 0 5.807e-17 4.146e-17 1.599e-9 0.00001662 0 -1.089e-9 4.243e-16 1.78e-9 9.7e-17 9.849e-9 6.16 8.429e-8 7.004e-10 2.986e-9 1 1 9.674e-17 3.635e-16 5.473e-16 6.808e-10 2.559e-9 3.852e-9 json
t12_x20_u6_b113 12 20 6 113 nrm(dst(R,div(P,R))) 36967 98256551 o1(o2(x,o2(x,x))) true 125583 125583 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 3.513e-17 2.585e-17 9.868e-10 0.000009287 0 -3.604e-10 2.506e-16 1.051e-9 5.996e-17 7.743e-9 7.847 8.429e-8 4.291e-10 1.764e-9 1 1 7.046e-17 2.651e-16 4.133e-16 4.959e-10 1.866e-9 2.908e-9 json
t12_x20_u6_b114 12 20 6 114 nrm(dst(R,pow(P,R))) 36968 98256552 o1(o2(x,o2(x,x))) true 125591 125591 -0.9815 0.01172 0.9951 0.02882 0.1698 -1 0.5774 1.577 1 0.09198 0.002507 0.003761 0.003945 -0.2 1 -1.652e-10 0.01316 0.007948 0.006255 0.07909 20.05 2.231 0.2175 0.4568 1 1 0.00162 0.01134 0.02591 0.0562 0.3934 0.8991 json
t12_x20_u6_b115 12 20 6 115 nrm(dst(R,mod(P,R))) 36969 98256553 o1(o2(x,o2(x,x))) true 125599 125599 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 5.192e-17 4.045e-17 1.487e-9 0.00001147 0 -5.106e-10 3.992e-16 1.674e-9 9.011e-17 9.493e-9 6.382 8.429e-8 6.5e-10 2.81e-9 1 1 9.059e-17 3.504e-16 5.981e-16 6.375e-10 2.466e-9 4.209e-9 json
t12_x20_u6_b116 12 20 6 116 nrm(dst(R,lrg(P,R))) 36970 98256554 o1(o2(x,o2(x,x))) true 125607 125607 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 2.747e-17 2.07e-17 7.757e-10 0.000006769 0 -3.154e-10 1.987e-16 8.335e-10 4.76e-17 6.9e-9 8.895 8.429e-8 3.39e-10 1.398e-9 1 1 5.767e-17 2.229e-16 3.407e-16 4.058e-10 1.569e-9 2.398e-9 json
t12_x20_u6_b117 12 20 6 117 nrm(dst(R,eql(P,R))) 36971 98256555 o1(o2(x,o2(x,x))) true 125615 125615 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 5.477e-17 4.011e-17 1.52e-9 0.00001466 0 -2.628e-10 4.189e-16 1.757e-9 9.254e-17 9.62e-9 6.327 8.429e-8 6.677e-10 2.948e-9 1 1 9.989e-17 3.782e-16 6.564e-16 7.03e-10 2.661e-9 4.619e-9 json
t12_x20_u6_b118 12 20 6 118 nrm(dst(R,min(P,R))) 36972 98256556 o1(o2(x,o2(x,x))) true 125623 125623 0.1707 0.7422 0.6865 0.4762 0.6901 -1 0.5774 1.577 1 0.8234 0.009325 0.009952 0.01216 -0.03252 1 -7.978e-10 0.03988 0.02444 0.01912 0.1383 11.37 2.231 0.04048 0.08375 1 1 0.01857 0.08081 0.2961 0.039 0.1697 0.6218 json
t12_x20_u6_b119 12 20 6 119 nrm(dst(R,dot(P,R))) 36973 98256557 o1(o2(x,o2(x,x))) true 125631 125631 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 4.526e-17 3.474e-17 1.288e-9 0.00001052 0 -1.115e-9 3.482e-16 1.46e-9 7.839e-17 8.854e-9 6.876 8.429e-8 5.63e-10 2.45e-9 1 1 8.69e-17 3.28e-16 4.497e-16 6.116e-10 2.308e-9 3.165e-9 json
t12_x20_u6_b120 12 20 6 120 nrm(dst(R,dst(P,R))) 36974 98256558 o1(o2(x,o2(x,x))) true 125639 125639 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 4.168e-17 2.987e-17 1.155e-9 0.0000118 0 -5.219e-10 2.838e-16 1.19e-9 7.019e-17 8.378e-9 7.251 8.429e-8 5.036e-10 1.997e-9 1 1 5.905e-17 2.254e-16 3.596e-16 4.156e-10 1.586e-9 2.53e-9 json
t12_x21_u0_b0 12 21 0 0 sqt(add(R,add(D,P))) 36975 98295633 o1(o2(x,o2(x,x))) true 125647 125647 -0.07662 0.4639 0.9956 0.9869 0.9934 -1 1 2 1 1.153 0.01309 0.003666 0.01004 0.5625 1 -0.000006077 0.03509 0.01846 0.01666 0.1291 12.86 2.828 0.01698 0.03556 1 1 0.02288 0.09709 0.3908 0.02319 0.09839 0.396 json
t12_x21_u0_b1 12 21 0 1 sqt(add(R,sub(D,P))) 36976 98295634 o1(o2(x,o2(x,x))) true 125655 125655 -0.1581 0.4233 0.9952 0.9665 0.9831 -1 1 2 1 1.131 0.03899 0.005321 0.02391 0.7599 1 -0.000001855 0.09468 0.04725 0.04374 0.2091 8.746 2.828 0.04585 0.09797 1 1 0.05764 0.1884 0.412 0.05964 0.1949 0.4263 json
t12_x21_u0_b2 12 21 0 2 sqt(add(R,mlt(D,P))) 36977 98295635 o1(o2(x,o2(x,x))) true 125663 125663 -0.968 0.01978 0.9924 0.05127 0.2264 -1 0.924 1.924 1 0.2079 0.03847 0.004633 0.02781 0.785 1 6.103e-7 0.1087 0.05374 0.04231 0.2057 7.397 2.707 0.8407 2.12 1 1 0.03365 0.05831 0.09221 0.6565 1.137 1.799 json
t12_x21_u0_b3 12 21 0 3 sqt(add(R,div(D,P))) 36978 98295636 o1(o2(x,o2(x,x))) true 125671 125671 -0.9103 0.0542 0.9813 0.1422 0.3771 -1 0.9855 1.986 1 0.495 0.02002 0.01357 0.0214 0.192 1 0.000008635 0.07085 0.04066 0.03316 0.1821 8.509 2.767 0.2362 0.4982 1 1 0.02906 0.1147 0.2374 0.2043 0.8064 1.669 json
t12_x21_u0_b4 12 21 0 4 sqt(add(R,pow(D,P))) 36979 98295637 o1(o2(x,o2(x,x))) true 125679 125679 -0.8802 0.0625 0.9948 0.217 0.4658 -1 1 2 1 0.4407 0.02869 0.00002089 0.01606 0.9985 1 -0.000002073 0.05725 0.03054 0.02845 0.1687 10.5 2.001 0.1323 0.2638 1 1 0.03849 0.1591 0.3161 0.1774 0.7331 1.457 json
t12_x21_u0_b5 12 21 0 5 sqt(add(R,mod(D,P))) 36980 98295638 o1(o2(x,o2(x,x))) true 125687 125687 -0.918 0.04956 0.9828 0.1305 0.3613 -1 0.9655 1.966 1 0.4571 0.05428 0.0115 0.04137 0.6502 1 0.0003737 0.1426 0.07964 0.06407 0.2531 6.119 2.762 0.5041 1.093 1 1 0.05562 0.1667 0.2555 0.4262 1.278 1.958 json
t12_x21_u0_b6 12 21 0 6 sqt(add(R,lrg(D,P))) 36981 98295639 o1(o2(x,o2(x,x))) true 125695 125695 -0.1121 0.4766 0.9347 0.8844 0.9404 -1 1 2 1 2.183 0.02085 0.01145 0.02696 0.291 1 0.000001656 0.06595 0.03828 0.03158 0.1777 6.59 2.762 0.03652 0.07457 1 1 0.03821 0.1629 0.465 0.04321 0.1841 0.5258 json
t12_x21_u0_b7 12 21 0 7 sqt(add(R,eql(D,P))) 36982 98295640 o1(o2(x,o2(x,x))) true 125703 125703 -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_x21_u0_b8 12 21 0 8 sqt(add(R,min(D,P))) 36983 98295641 o1(o2(x,o2(x,x))) true 125711 125711 -0.9576 0.02515 0.9922 0.07042 0.2654 -1 0.9548 1.955 1 0.2511 0.02153 0.006182 0.01708 0.5538 1 0.0003729 0.06002 0.03245 0.0274 0.1655 9.694 2.742 0.3935 0.8523 1 1 0.02364 0.0786 0.1389 0.3357 1.116 1.973 json
t12_x21_u0_b9 12 21 0 9 sqt(add(R,dot(D,P))) 36984 98295642 o1(o2(x,o2(x,x))) true 125719 125719 -0.9927 0.00499 0.9973 0.01084 0.1041 -1 0.8945 1.894 1 0.06295 0.008371 0.009835 0.01176 -0.08039 1 0.00003835 0.06274 0.02488 0.01806 0.1344 11.43 2.526 1.68 5.788 1 1 0.01751 0.02424 0.02194 1.615 2.236 2.024 json
t12_x21_u0_b10 12 21 0 10 sqt(add(R,dst(D,P))) 36985 98295643 o1(o2(x,o2(x,x))) true 125727 125727 0.9923 0.9966 0.999 0.01378 0.1174 -1 1 2 1 0.08272 0.003259 0.003259 0.003454 -0.00004533 1 0 0.01909 0.006851 0.006501 0.08063 23.34 2.828 0.4731 1.386 1 1 0.01129 0.03524 0.05017 0.8195 2.558 3.642 json
t12_x21_u0_b11 12 21 0 11 sqt(sub(R,add(D,P))) 36986 98295644 o1(o2(x,o2(x,x))) true 125735 125735 -0.08153 0.4619 0.9946 0.984 0.992 -1 1 2 1 1.191 0.01235 0.004546 0.01054 0.4618 1 -0.0000038 0.03522 0.01894 0.01679 0.1296 12.29 2.623 0.01717 0.03579 1 1 0.02223 0.09748 0.3892 0.02259 0.09906 0.3956 json
t12_x21_u0_b12 12 21 0 12 sqt(sub(R,sub(D,P))) 36987 98295645 o1(o2(x,o2(x,x))) true 125743 125743 -0.1523 0.426 0.9956 0.9698 0.9848 -1 1 2 1 1.12 0.04114 0.004704 0.02458 0.7948 1 -0.000002653 0.09551 0.04862 0.04521 0.2126 8.651 2.828 0.04727 0.09849 1 1 0.06114 0.1879 0.3824 0.06305 0.1937 0.3943 json
t12_x21_u0_b13 12 21 0 13 sqt(sub(R,mlt(D,P))) 36988 98295646 o1(o2(x,o2(x,x))) true 125751 125751 -0.9083 0.05371 0.9843 0.1498 0.3871 -1 1 2 1 0.4832 0.05114 0.01486 0.04213 0.5496 1 6.142e-7 0.1565 0.08059 0.06421 0.2534 6.015 2.727 0.4405 1.045 1 1 0.06632 0.1902 0.3761 0.4426 1.27 2.51 json
t12_x21_u0_b14 12 21 0 14 sqt(sub(R,div(D,P))) 36989 98295647 o1(o2(x,o2(x,x))) true 125759 125759 -0.9401 0.03589 0.9881 0.09732 0.312 -1 0.9674 1.967 1 0.346 0.0171 0.01075 0.01737 0.2281 1 0.000003423 0.06026 0.03334 0.02752 0.1659 9.551 2.653 0.2862 0.6192 1 1 0.02664 0.09427 0.1577 0.2737 0.9687 1.621 json
t12_x21_u0_b15 12 21 0 15 sqt(sub(R,pow(D,P))) 36990 98295648 o1(o2(x,o2(x,x))) true 125767 125767 -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_x21_u0_b16 12 21 0 16 sqt(sub(R,mod(D,P))) 36991 98295649 o1(o2(x,o2(x,x))) true 125775 125775 -0.9043 0.05835 0.979 0.1497 0.3869 -1 0.9655 1.965 1 0.5227 0.05393 0.01226 0.042 0.6295 1 0.00009051 0.1459 0.08099 0.0644 0.2538 6.042 2.742 0.4423 0.9749 1 1 0.05884 0.1736 0.2691 0.3931 1.16 1.798 json
t12_x21_u0_b17 12 21 0 17 sqt(sub(R,lrg(D,P))) 36992 98295650 o1(o2(x,o2(x,x))) true 125783 125783 -0.9931 0.003906 0.9991 0.0121 0.11 -1 0.9631 1.963 1 0.04757 0.0006503 0.001335 0.001244 -0.345 1 0.000001769 0.004127 0.002353 0.001984 0.04454 35.81 1.952 0.1642 0.3412 1 1 0 0 0.01021 0 0 0.8438 json
t12_x21_u0_b18 12 21 0 18 sqt(sub(R,eql(D,P))) 36993 98295651 o1(o2(x,o2(x,x))) true 125791 125791 -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_x21_u0_b19 12 21 0 19 sqt(sub(R,min(D,P))) 36994 98295652 o1(o2(x,o2(x,x))) true 125799 125799 -0.002632 0.5076 0.9822 0.9711 0.9855 -1 1 2 1 1.46 0.03663 0.01446 0.0318 0.434 1 -0.000007836 0.109 0.05922 0.05007 0.2238 7.036 2.754 0.05261 0.1122 1 1 0.06064 0.2242 0.6111 0.06244 0.2308 0.6292 json
t12_x21_u0_b20 12 21 0 20 sqt(sub(R,dot(D,P))) 36995 98295653 o1(o2(x,o2(x,x))) true 125807 125807 -0.9489 0.03088 0.9893 0.08311 0.2883 -1 1 2 1 0.3101 0.03089 0.03472 0.04164 -0.0583 1 4.242e-10 0.1914 0.0835 0.06386 0.2527 6.068 2.683 0.7894 2.303 1 1 0.07168 0.1523 0.2383 0.8625 1.833 2.867 json
t12_x21_u0_b21 12 21 0 21 sqt(sub(R,dst(D,P))) 36996 98295654 o1(o2(x,o2(x,x))) true 125815 125815 -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_x21_u0_b22 12 21 0 22 sqt(mlt(R,add(D,P))) 36997 98295655 o1(o2(x,o2(x,x))) true 125823 125823 -0.9145 0.04688 0.9918 0.1512 0.3889 -1 1 2 1 0.4011 0.01374 0.0142 0.01606 -0.01621 1 -6.535e-8 0.05826 0.03053 0.02767 0.1664 10.36 2.828 0.1848 0.3853 1 1 0.0237 0.1014 0.2954 0.1567 0.6704 1.954 json
t12_x21_u0_b23 12 21 0 23 sqt(mlt(R,sub(D,P))) 36998 98295656 o1(o2(x,o2(x,x))) true 125831 125831 -0.8656 0.07031 0.9938 0.2418 0.4917 -1 1 2 1 0.486 0.02268 0.02437 0.02528 -0.03595 1 -5.369e-10 0.09811 0.04937 0.04641 0.2154 8.523 2.828 0.1945 0.4057 1 1 0.04801 0.2063 0.5173 0.1986 0.8532 2.139 json
t12_x21_u0_b24 12 21 0 24 sqt(mlt(R,mlt(D,P))) 36999 98295657 o1(o2(x,o2(x,x))) true 125839 125839 -0.927 0.05061 0.9714 0.1041 0.3226 -1 1 2 1 0.4867 0.008329 0.01086 0.01676 -0.1321 1 -3.072e-7 0.03779 0.02816 0.01892 0.1375 8.208 2.007 0.1844 0.3631 1 1 0.02184 0.102 0.2107 0.2098 0.9796 2.024 json