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_x12_u5_b43 12 12 5 43 sgn(div(D,dst(D,P))) 30000 97933072 o1(o2(x,o2(x,x))) true 69847 69847 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x12_u5_b44 12 12 5 44 sgn(pow(D,add(D,P))) 30001 97933073 o1(o2(x,o2(x,x))) true 69855 69855 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x12_u5_b45 12 12 5 45 sgn(pow(D,sub(D,P))) 30002 97933074 o1(o2(x,o2(x,x))) true 69863 69863 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x12_u5_b46 12 12 5 46 sgn(pow(D,mlt(D,P))) 30003 97933075 o1(o2(x,o2(x,x))) true 69871 69871 0.0625 0.5313 0.7083 0.5901 0.7682 -0.9994 1 1.999 1 3.332 0.2432 0 0.2297 1 1 0 0.4509 0.2496 0.1904 0.4364 1.9 1.999 0.4121 0.764 1 1 0.2586 0.9117 0.132 0.4383 1.545 0.2236 json
t12_x12_u5_b47 12 12 5 47 sgn(pow(D,div(D,P))) 30004 97933076 o1(o2(x,o2(x,x))) true 69879 69879 -0.03125 0.4688 0.6771 0.5552 0.7451 -0.9997 0.9994 1.999 1 3.595 0.2475 0 0.2376 1 1 -1.892e-9 0.459 0.2585 0.1909 0.4369 1.839 1.999 0.4458 0.8269 1 1 0.2646 0.913 0.03299 0.4767 1.645 0.05943 json
t12_x12_u5_b48 12 12 5 48 sgn(pow(D,pow(D,P))) 30005 97933077 o1(o2(x,o2(x,x))) true 69887 69887 -0.1457 0.3398 0.5789 0.4391 0.6626 -0.9994 0.9994 1.999 1 3.717 0.189 0 0.2256 1 1 -0.00008985 0.345 0.2475 0.1381 0.3716 1.647 1.999 0.4305 0.7856 1 1 0.2207 0.7792 0.02817 0.5028 1.775 0.06415 json
t12_x12_u5_b49 12 12 5 49 sgn(pow(D,mod(D,P))) 30006 97933078 o1(o2(x,o2(x,x))) true 69895 69895 -0.0625 0.4688 0.7083 0.5901 0.7682 -1 0.9994 1.999 1 3.332 0.2432 0 0.2297 1 1 0 0.4509 0.2496 0.1904 0.4364 1.9 1.999 0.4121 0.764 1 1 0.2586 0.9117 0.132 0.4383 1.545 0.2236 json
t12_x12_u5_b50 12 12 5 50 sgn(pow(D,lrg(D,P))) 30007 97933079 o1(o2(x,o2(x,x))) true 69903 69903 0.5625 0.7813 0.8639 0.4942 0.703 -0.9994 1 1.999 1 2.124 0.1209 0 0.1108 1 1 0.0001797 0.2252 0.1239 0.1086 0.3295 2.973 1.999 0.2446 0.4558 1 1 0.1224 0.424 0.132 0.2476 0.858 0.267 json
t12_x12_u5_b51 12 12 5 51 sgn(pow(D,eql(D,P))) 30008 97933080 o1(o2(x,o2(x,x))) true 69911 69911 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
t12_x12_u5_b52 12 12 5 52 sgn(pow(D,min(D,P))) 30009 97933081 o1(o2(x,o2(x,x))) true 69919 69919 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x12_u5_b53 12 12 5 53 sgn(pow(D,dot(D,P))) 30010 97933082 o1(o2(x,o2(x,x))) true 69927 69927 0.0121 0.5073 0.6898 0.5681 0.7537 -0.9994 1 1.999 1 3.446 0.2795 0.02641 0.2668 0.8273 1 -1.055e-7 0.7645 0.3276 0.2347 0.4844 1.816 2.827 0.5385 1.346 1 1 0.3032 0.9705 0.04635 0.5338 1.709 0.08159 json
t12_x12_u5_b54 12 12 5 54 sgn(pow(D,dst(D,P))) 30011 97933083 o1(o2(x,o2(x,x))) true 69935 69935 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x12_u5_b55 12 12 5 55 sgn(mod(D,add(D,P))) 30012 97933084 o1(o2(x,o2(x,x))) true 69943 69943 1.861e-9 0.4961 0.6766 0.5571 0.7464 -0.9997 0.9997 1.999 1 3.706 0.2786 0 0.2684 1 1 0 0.5659 0.329 0.2065 0.4544 1.693 1.999 0.5001 1.016 1 1 0.2764 0.9342 0.03853 0.4961 1.677 0.06916 json
t12_x12_u5_b56 12 12 5 56 sgn(mod(D,sub(D,P))) 30013 97933085 o1(o2(x,o2(x,x))) true 69951 69951 1.861e-9 0.5 0.6766 0.5571 0.7464 -0.9997 0.9997 1.999 1 3.709 0.2786 0 0.2684 1 1 0 0.5659 0.3291 0.2065 0.4544 1.693 1.999 0.5002 1.016 1 1 0.2764 0.9342 0.03854 0.4961 1.677 0.06918 json
t12_x12_u5_b57 12 12 5 57 sgn(mod(D,mlt(D,P))) 30014 97933086 o1(o2(x,o2(x,x))) true 69959 69959 -0.0625 0.4531 0.6709 0.5515 0.7427 -1 0.9997 2 1 3.854 0.2802 0 0.282 1 1 -3.754e-12 0.6164 0.375 0.2006 0.4479 1.588 1.999 0.5081 1.118 1 1 0.2471 0.8302 0.158 0.448 1.505 0.2864 json
t12_x12_u5_b58 12 12 5 58 sgn(mod(D,div(D,P))) 30015 97933087 o1(o2(x,o2(x,x))) true 69967 69967 -0.0625 0.418 0.5877 0.4858 0.697 -1 1 2 1 4.227 0.484 0 0.4704 1 1 -5.632e-12 1.29 0.8082 0.2626 0.5125 1.089 2 0.9963 2.656 1 1 0.3315 0.5908 0.3426 0.6825 1.216 0.7052 json
t12_x12_u5_b59 12 12 5 59 sgn(mod(D,pow(D,P))) 30016 97933088 o1(o2(x,o2(x,x))) true 69975 69975 -0.04181 0.4609 0.661 0.5385 0.7339 -0.9997 0.9994 1.999 1 3.602 0.2146 0 0.2538 1 1 -7.571e-9 0.3485 0.2393 0.1501 0.3874 1.526 1.999 0.3984 0.6472 1 1 0.2537 0.9173 0.01805 0.4711 1.703 0.03352 json
t12_x12_u5_b60 12 12 5 60 sgn(mod(D,mod(D,P))) 30017 97933089 o1(o2(x,o2(x,x))) true 69983 69983 -0.0625 0.2344 0.4249 0.3506 0.5921 -1 0.9929 1.993 1 2.926 0.5553 0 0.6092 1 1 0 1.741 1.184 0.1839 0.4288 0.7039 1.117 1.584 4.965 1 1 0.2341 0.4719 0.09343 0.6677 1.346 0.2665 json
t12_x12_u5_b61 12 12 5 61 sgn(mod(D,lrg(D,P))) 30018 97933090 o1(o2(x,o2(x,x))) true 69991 69991 -0.4375 0.2813 0.825 0.5651 0.7517 -1 0.9994 1.999 1 2.519 0.1395 0 0.1346 1 1 0.0001797 0.2577 0.1434 0.1214 0.3484 2.588 1.999 0.2469 0.456 1 1 0.1503 0.5284 0.132 0.266 0.935 0.2335 json
t12_x12_u5_b62 12 12 5 62 sgn(mod(D,eql(D,P))) 30019 97933091 o1(o2(x,o2(x,x))) true 69999 69999 -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_x12_u5_b63 12 12 5 63 sgn(mod(D,min(D,P))) 30020 97933092 o1(o2(x,o2(x,x))) true 70007 70007 -0.02461 0.375 0.5541 0.4594 0.6778 -1 0.9997 2 1 3.805 0.4225 0 0.444 1 1 -0.00376 1.169 0.7645 0.2253 0.4746 1.069 1.999 0.9197 2.544 1 1 0.2505 0.6927 0.1194 0.5452 1.508 0.26 json
t12_x12_u5_b64 12 12 5 64 sgn(mod(D,dot(D,P))) 30021 97933093 o1(o2(x,o2(x,x))) true 70015 70015 -0.0121 0.4901 0.6757 0.5543 0.7445 -1 0.9997 2 1 3.679 0.2902 0.04726 0.303 0.7199 1 1.054e-7 0.9392 0.4289 0.2456 0.4956 1.636 2.822 0.6088 1.694 1 1 0.3198 0.9446 0.07541 0.577 1.704 0.1361 json
t12_x12_u5_b65 12 12 5 65 sgn(mod(D,dst(D,P))) 30022 97933094 o1(o2(x,o2(x,x))) true 70023 70023 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x12_u5_b66 12 12 5 66 sgn(lrg(D,add(D,P))) 30023 97933095 o1(o2(x,o2(x,x))) true 70031 70031 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t12_x12_u5_b67 12 12 5 67 sgn(lrg(D,sub(D,P))) 30024 97933096 o1(o2(x,o2(x,x))) true 70039 70039 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t12_x12_u5_b68 12 12 5 68 sgn(lrg(D,mlt(D,P))) 30025 97933097 o1(o2(x,o2(x,x))) true 70047 70047 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06114 0 0.1188 1 1 0.0001797 0.1128 0.1257 0.047 0.2168 1.825 0.9994 0.4313 0.7955 1 1 0.06554 0.2335 0.04776 0.4623 1.647 0.3369 json
t12_x12_u5_b69 12 12 5 69 sgn(lrg(D,div(D,P))) 30026 97933098 o1(o2(x,o2(x,x))) true 70055 70055 0.4688 0.875 0.4688 0.1611 0.4013 0 1 1 1 3.173 0.06009 0 0.1069 1 1 0 0.1125 0.123 0.04865 0.2206 2.063 1 0.3731 0.6986 1 1 0.06293 0.2229 0.1081 0.3907 1.384 0.6711 json
t12_x12_u5_b70 12 12 5 70 sgn(lrg(D,pow(D,P))) 30027 97933099 o1(o2(x,o2(x,x))) true 70063 70063 0.6563 0.9375 0.6563 0.1647 0.4059 0 1 1 1 2.638 0.03488 0 0.06731 1 1 -0.00008984 0.06438 0.07172 0.03035 0.1742 2.588 0.9997 0.2118 0.3908 1 1 0.03763 0.1384 0.06598 0.2284 0.8405 0.4006 json
t12_x12_u5_b71 12 12 5 71 sgn(lrg(D,mod(D,P))) 30028 97933100 o1(o2(x,o2(x,x))) true 70071 70071 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t12_x12_u5_b72 12 12 5 72 sgn(lrg(D,lrg(D,P))) 30029 97933101 o1(o2(x,o2(x,x))) true 70079 70079 0.2188 0.4375 0.2188 0.1235 0.3515 0 0.9997 0.9997 1 2.124 0.03022 0 0.0555 1 1 -0.00008984 0.05631 0.06193 0.02713 0.1647 2.967 0.9997 0.2446 0.4558 1 1 0.03318 0.1162 0.03299 0.2686 0.9402 0.267 json
t12_x12_u5_b73 12 12 5 73 sgn(lrg(D,eql(D,P))) 30030 97933102 o1(o2(x,o2(x,x))) true 70087 70087 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
t12_x12_u5_b74 12 12 5 74 sgn(lrg(D,min(D,P))) 30031 97933103 o1(o2(x,o2(x,x))) true 70095 70095 0.5 0.5625 0.5 0.2365 0.4863 0 1 1 1 1.577 0.00467 0 0.0119 1 1 -4.731e-10 0.008068 0.009787 0.004528 0.06729 5.654 0.9994 0.01975 0.03412 1 1 0.007036 0.03244 0.06598 0.02976 0.1372 0.279 json
t12_x12_u5_b75 12 12 5 75 sgn(lrg(D,dot(D,P))) 30032 97933104 o1(o2(x,o2(x,x))) true 70103 70103 0.5396 1 0.5396 0.1029 0.3207 0.000291 1 0.9997 1 3.827 0.03345 0.03326 0.1424 0.002863 1 -0.0009411 0.2094 0.1768 0.04643 0.2155 1.513 1.414 0.6486 2.036 1 1 0.06996 0.2283 0.06515 0.6801 2.219 0.6334 json
t12_x12_u5_b76 12 12 5 76 sgn(lrg(D,dst(D,P))) 30033 97933105 o1(o2(x,o2(x,x))) true 70111 70111 0.0002745 0.004578 0.0002745 0.00005835 0.007639 0 0.4414 0.4414 1 0.01717 0.00003931 0.000009054 0.0002599 0.6256 0 -1.962e-12 0.0001369 0.0003767 0.00004826 0.006947 26.73 0.4973 0.8289 2.346 1 1 0.00007944 0.0001845 0.0002021 1.361 3.162 3.464 json
t12_x12_u5_b77 12 12 5 77 sgn(eql(D,add(D,P))) 30034 97933106 o1(o2(x,o2(x,x))) true 70119 70119 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t12_x12_u5_b78 12 12 5 78 sgn(eql(D,sub(D,P))) 30035 97933107 o1(o2(x,o2(x,x))) true 70127 70127 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t12_x12_u5_b79 12 12 5 79 sgn(eql(D,mlt(D,P))) 30036 97933108 o1(o2(x,o2(x,x))) true 70135 70135 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t12_x12_u5_b80 12 12 5 80 sgn(eql(D,div(D,P))) 30037 97933109 o1(o2(x,o2(x,x))) true 70143 70143 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t12_x12_u5_b81 12 12 5 81 sgn(eql(D,pow(D,P))) 30038 97933110 o1(o2(x,o2(x,x))) true 70151 70151 0.03125 0.0625 0.03125 0.02351 0.1533 0 0.9997 0.9997 1 0.459 0.004319 0 0.007934 1 1 -2.365e-10 0.008002 0.008862 0.004255 0.06523 8.221 0.9997 0.1837 0.3404 1 1 0.00615 0.02664 0.03299 0.2616 1.133 1.403 json
t12_x12_u5_b82 12 12 5 82 sgn(eql(D,mod(D,P))) 30039 97933111 o1(o2(x,o2(x,x))) true 70159 70159 0.9375 1 0.9375 0.04507 0.2123 0.000291 1 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t12_x12_u5_b83 12 12 5 83 sgn(eql(D,lrg(D,P))) 30040 97933112 o1(o2(x,o2(x,x))) true 70167 70167 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_x12_u5_b84 12 12 5 84 sgn(eql(D,eql(D,P))) 30041 97933113 o1(o2(x,o2(x,x))) true 70175 70175 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_x12_u5_b85 12 12 5 85 sgn(eql(D,min(D,P))) 30042 97933114 o1(o2(x,o2(x,x))) true 70183 70183 0.5 0.5625 0.5 0.2365 0.4863 0 1 1 1 1.577 0.00467 0 0.0119 1 1 -4.731e-10 0.008068 0.009787 0.004528 0.06729 5.654 0.9994 0.01975 0.03412 1 1 0.007036 0.03244 0.06598 0.02976 0.1372 0.279 json
t12_x12_u5_b86 12 12 5 86 sgn(eql(D,dot(D,P))) 30043 97933115 o1(o2(x,o2(x,x))) true 70191 70191 0.01216 0.03226 0.01216 0.008676 0.09314 0 0.9994 0.9994 1 0.2336 0.01281 0.01279 0.02743 0.0009992 1 -0.000005323 0.1439 0.06608 0.02484 0.1576 5.745 1.413 2.951 16.59 1 1 0.01535 0.01846 0.02309 1.769 2.128 2.661 json
t12_x12_u5_b87 12 12 5 87 sgn(eql(D,dst(D,P))) 30044 97933116 o1(o2(x,o2(x,x))) true 70199 70199 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_x12_u5_b88 12 12 5 88 sgn(min(D,add(D,P))) 30045 97933117 o1(o2(x,o2(x,x))) true 70207 70207 -0.5 0.25 0.8444 0.5335 0.7304 -1 0.9994 1.999 1 2.329 0.1381 0 0.1269 1 1 -0.0001797 0.2574 0.1416 0.122 0.3493 2.753 1.999 0.2589 0.4825 1 1 0.1572 0.5458 0.132 0.2946 1.023 0.2473 json
t12_x12_u5_b89 12 12 5 89 sgn(min(D,sub(D,P))) 30046 97933118 o1(o2(x,o2(x,x))) true 70215 70215 -0.4375 0.2813 0.825 0.5651 0.7517 -1 0.9994 1.999 1 2.519 0.1395 0 0.1346 1 1 0.0001797 0.2577 0.1434 0.1214 0.3484 2.588 1.999 0.2469 0.456 1 1 0.1503 0.5284 0.132 0.266 0.935 0.2335 json
t12_x12_u5_b90 12 12 5 90 sgn(min(D,mlt(D,P))) 30047 97933119 o1(o2(x,o2(x,x))) true 70223 70223 -0.5313 0.2188 0.8326 0.4902 0.7001 -1 0.9994 1.999 1 2.482 0.1252 0 0.1189 1 1 -0.0001797 0.2333 0.1327 0.111 0.3332 2.802 1.999 0.2554 0.476 1 1 0.1388 0.4786 0.09898 0.2832 0.9764 0.2019 json
t12_x12_u5_b91 12 12 5 91 sgn(min(D,div(D,P))) 30048 97933120 o1(o2(x,o2(x,x))) true 70231 70231 -0.5 0.25 0.8444 0.5335 0.7304 -1 0.9994 1.999 1 2.329 0.1381 0 0.1269 1 1 -0.0001797 0.2574 0.1416 0.122 0.3493 2.753 1.999 0.2589 0.4825 1 1 0.1572 0.5458 0.132 0.2946 1.023 0.2473 json
t12_x12_u5_b92 12 12 5 92 sgn(min(D,pow(D,P))) 30049 97933121 o1(o2(x,o2(x,x))) true 70239 70239 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x12_u5_b93 12 12 5 93 sgn(min(D,mod(D,P))) 30050 97933122 o1(o2(x,o2(x,x))) true 70247 70247 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x12_u5_b94 12 12 5 94 sgn(min(D,lrg(D,P))) 30051 97933123 o1(o2(x,o2(x,x))) true 70255 70255 -0.2188 0.2813 0.6062 0.4425 0.6652 -0.9997 0.9994 1.999 1 3.962 0.1698 0 0.1901 1 1 0.00008984 0.3141 0.2054 0.1336 0.3655 1.923 1.999 0.3836 0.7098 1 1 0.1834 0.6319 0.03299 0.4145 1.428 0.07455 json
t12_x12_u5_b95 12 12 5 95 sgn(min(D,eql(D,P))) 30052 97933124 o1(o2(x,o2(x,x))) true 70263 70263 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 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
t12_x12_u5_b96 12 12 5 96 sgn(min(D,min(D,P))) 30053 97933125 o1(o2(x,o2(x,x))) true 70271 70271 -0.5313 0.2188 0.8326 0.4902 0.7001 -1 0.9994 1.999 1 2.482 0.1252 0 0.1189 1 1 -0.0001797 0.2333 0.1327 0.111 0.3332 2.802 1.999 0.2554 0.476 1 1 0.1388 0.4786 0.09898 0.2832 0.9764 0.2019 json
t12_x12_u5_b97 12 12 5 97 sgn(min(D,dot(D,P))) 30054 97933126 o1(o2(x,o2(x,x))) true 70279 70279 -0.5459 0.2061 0.763 0.3757 0.613 -1 0.9994 1.999 1 3.306 0.1384 0.06008 0.2006 0.3947 1 0.0009534 0.5273 0.262 0.1582 0.3978 1.983 2.826 0.5283 1.403 1 1 0.2038 0.6389 0.1314 0.5425 1.7 0.3498 json
t12_x12_u5_b98 12 12 5 98 sgn(min(D,dst(D,P))) 30055 97933127 o1(o2(x,o2(x,x))) true 70287 70287 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x12_u5_b99 12 12 5 99 sgn(dot(D,add(D,P))) 30056 97933128 o1(o2(x,o2(x,x))) true 70295 70295 -0.02825 0.4806 0.5616 0.407 0.6379 -0.9994 0.9994 1.999 1 4.329 0.1346 0.1346 0.2878 -0.00001822 1 0.001972 0.852 0.3586 0.1863 0.4316 1.5 2.826 0.6613 2.093 1 1 0.2844 0.9189 0.2552 0.6989 2.258 0.6271 json
t12_x12_u5_b100 12 12 5 100 sgn(dot(D,sub(D,P))) 30057 97933129 o1(o2(x,o2(x,x))) true 70303 70303 0.1558 0.5939 0.5921 0.4213 0.6491 -0.9994 1 1.999 1 4.324 0.1343 0.1343 0.2791 -0.00001919 1 -0.002001 0.8442 0.3526 0.1908 0.4368 1.565 2.827 0.6377 2.004 1 1 0.2817 0.9277 0.2782 0.6686 2.202 0.6603 json
t12_x12_u5_b101 12 12 5 101 sgn(dot(D,mlt(D,P))) 30058 97933130 o1(o2(x,o2(x,x))) true 70311 70311 8.079e-8 0.4977 0.9295 0.8945 0.9458 -1 1 2 1 2.257 0.1104 0.1104 0.1521 -0.000007287 1 -6.84e-9 0.7265 0.2772 0.1978 0.4447 2.924 2.817 0.2469 0.8122 1 1 0.2267 0.6053 0.307 0.2535 0.6767 0.3432 json
t12_x12_u5_b102 12 12 5 102 sgn(dot(D,div(D,P))) 30059 97933131 o1(o2(x,o2(x,x))) true 70319 70319 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_x12_u5_b103 12 12 5 103 sgn(dot(D,pow(D,P))) 30060 97933132 o1(o2(x,o2(x,x))) true 70327 70327 -0.465 0.2377 0.7188 0.3917 0.6259 -1 1 2 1 3.888 0.1032 0.1032 0.2236 -0.000004297 1 0.000006876 0.4172 0.2617 0.1563 0.3954 1.768 2.682 0.5268 1.065 1 1 0.2255 0.781 0.06647 0.5756 1.994 0.1697 json
t12_x12_u5_b104 12 12 5 104 sgn(dot(D,mod(D,P))) 30061 97933133 o1(o2(x,o2(x,x))) true 70335 70335 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_x12_u5_b105 12 12 5 105 sgn(dot(D,lrg(D,P))) 30062 97933134 o1(o2(x,o2(x,x))) true 70343 70343 0.09375 0.4788 0.4837 0.3702 0.6084 -0.9994 1 1.999 1 4.017 0.08137 0.08137 0.1896 0.000001923 1 -0.0001258 0.308 0.1897 0.1269 0.3562 1.879 2.234 0.4396 0.832 1 1 0.1847 0.6369 0.1119 0.4988 1.72 0.3024 json
t12_x12_u5_b106 12 12 5 106 sgn(dot(D,eql(D,P))) 30063 97933135 o1(o2(x,o2(x,x))) true 70351 70351 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_x12_u5_b107 12 12 5 107 sgn(dot(D,min(D,P))) 30064 97933136 o1(o2(x,o2(x,x))) true 70359 70359 0.2633 0.6232 0.7207 0.5471 0.7397 -0.9994 1 1.999 1 3.496 0.08849 0.08849 0.1919 0.00001368 1 0.0002676 0.4389 0.2201 0.1401 0.3743 1.95 2.817 0.3235 0.8021 1 1 0.1898 0.669 0.1751 0.3468 1.223 0.32 json
t12_x12_u5_b108 12 12 5 108 sgn(dot(D,dot(D,P))) 30065 97933137 o1(o2(x,o2(x,x))) true 70367 70367 1.187e-8 0.4898 0.8023 0.7333 0.8563 -1 1 2 1 3.436 0.1586 0.1586 0.2802 0.0000141 1 -5.361e-9 0.9706 0.4443 0.2386 0.4884 1.743 2.807 0.4325 1.324 1 1 0.3505 0.8622 0.2804 0.478 1.176 0.3824 json
t12_x12_u5_b109 12 12 5 109 sgn(dot(D,dst(D,P))) 30066 97933138 o1(o2(x,o2(x,x))) true 70375 70375 9.004e-11 0.4688 0.4696 0.3151 0.5613 -0.9988 0.9988 1.998 1 4.729 0.0833 0.0833 0.2779 8.497e-7 1 3.687e-9 0.3292 0.2281 0.0894 0.299 1.076 1.413 0.5287 1.045 1 1 0.2512 0.8837 0 0.7973 2.805 0 json
t12_x12_u5_b110 12 12 5 110 sgn(dst(D,add(D,P))) 30067 97933139 o1(o2(x,o2(x,x))) true 70383 70383 0.9961 1 0.9961 0.002383 0.04882 0.000582 1 0.9994 1 0.1068 0.00003512 0.00003512 0.0008419 6.216e-7 0 -1.577e-10 0.000004222 0.000206 0.00006942 0.008332 9.897 0.1169 0.02947 0.001772 1 1 0.0002443 0.003178 0.008708 0.1025 1.334 3.654 json
t12_x12_u5_b111 12 12 5 111 sgn(dst(D,sub(D,P))) 30068 97933140 o1(o2(x,o2(x,x))) true 70391 70391 0.9961 1 0.9961 0.002383 0.04882 0.000582 1 0.9994 1 0.1068 0.00003512 0.00003512 0.0008419 6.216e-7 0 -1.577e-10 0.000004222 0.000206 0.00006942 0.008332 9.897 0.1169 0.02947 0.001772 1 1 0.0002443 0.003178 0.008708 0.1025 1.334 3.654 json
t12_x12_u5_b112 12 12 5 112 sgn(dst(D,mlt(D,P))) 30069 97933141 o1(o2(x,o2(x,x))) true 70399 70399 0.9961 1 0.9961 0.002383 0.04882 0.000582 1 0.9994 1 0.1068 0.00003512 0.00003512 0.0008419 6.216e-7 0 -1.577e-10 0.000004222 0.000206 0.00006943 0.008333 9.898 0.1169 0.02947 0.001772 1 1 0.0002443 0.003178 0.008708 0.1025 1.334 3.654 json
t12_x12_u5_b113 12 12 5 113 sgn(dst(D,div(D,P))) 30070 97933142 o1(o2(x,o2(x,x))) true 70407 70407 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_x12_u5_b114 12 12 5 114 sgn(dst(D,pow(D,P))) 30071 97933143 o1(o2(x,o2(x,x))) true 70415 70415 -0.4356 0.2548 0.7204 0.4203 0.6483 -1 1 2 1 3.896 0.1042 0.1042 0.2232 -0.00001054 1 -2.297e-8 0.4159 0.2597 0.1586 0.3983 1.784 1.999 0.496 0.9897 1 1 0.2286 0.8057 0.1166 0.5438 1.917 0.2775 json
t12_x12_u5_b115 12 12 5 115 sgn(dst(D,mod(D,P))) 30072 97933144 o1(o2(x,o2(x,x))) true 70423 70423 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_x12_u5_b116 12 12 5 116 sgn(dst(D,lrg(D,P))) 30073 97933145 o1(o2(x,o2(x,x))) true 70431 70431 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
t12_x12_u5_b117 12 12 5 117 sgn(dst(D,eql(D,P))) 30074 97933146 o1(o2(x,o2(x,x))) true 70439 70439 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
t12_x12_u5_b118 12 12 5 118 sgn(dst(D,min(D,P))) 30075 97933147 o1(o2(x,o2(x,x))) true 70447 70447 0.75 0.8086 0.75 0.1742 0.4173 0 1 1 1 1.373 0.002271 0.002271 0.0117 -0.000001897 1 -1.475e-9 0.00789 0.009746 0.004404 0.06636 5.674 1.413 0.02608 0.0453 1 1 0.00678 0.03125 0.06358 0.03893 0.1795 0.3651 json
t12_x12_u5_b119 12 12 5 119 sgn(dst(D,dot(D,P))) 30076 97933148 o1(o2(x,o2(x,x))) true 70455 70455 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
t12_x12_u5_b120 12 12 5 120 sgn(dst(D,dst(D,P))) 30077 97933149 o1(o2(x,o2(x,x))) true 70463 70463 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
t12_x12_u6_b0 12 12 6 0 nrm(add(D,add(D,P))) 30078 97933230 o1(o2(x,o2(x,x))) true 70471 70471 1.007e-9 0.5 0.6456 0.4954 0.7038 -1 1 2 1 4.784 0.0004008 0.0001005 0.009929 0.5989 1 -3.179e-11 0.0004295 0.002913 0.0004027 0.02007 2.021 1.466 0.001012 0.0008671 1 1 0.001421 0.01016 0.1073 0.002869 0.02051 0.2165 json
t12_x12_u6_b1 12 12 6 1 nrm(add(D,sub(D,P))) 30079 97933231 o1(o2(x,o2(x,x))) true 70479 70479 -6.476e-10 0.5 0.6272 0.4713 0.6865 -1 1 2 1 4.847 0.0008953 0.0002134 0.01977 0.615 1 -1.455e-10 0.0005088 0.006886 0.000718 0.0268 1.356 1.466 0.002352 0.00108 1 1 0.003328 0.02635 0.08997 0.00706 0.0559 0.1909 json
t12_x12_u6_b2 12 12 6 2 nrm(add(D,mlt(D,P))) 30080 97933232 o1(o2(x,o2(x,x))) true 70487 70487 -0.0588 0.4234 0.3839 0.224 0.4733 -1 0.9992 1.999 1 4.802 0.05371 0.006068 0.1516 0.797 1 0.000538 0.07243 0.09011 0.03681 0.1919 1.266 1.999 0.2668 0.3233 1 1 0.09006 0.435 0.09758 0.402 1.942 0.4356 json
t12_x12_u6_b3 12 12 6 3 nrm(add(D,div(D,P))) 30081 97933233 o1(o2(x,o2(x,x))) true 70495 70495 -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_x12_u6_b4 12 12 6 4 nrm(add(D,pow(D,P))) 30082 97933234 o1(o2(x,o2(x,x))) true 70503 70503 -0.9939 0.003906 0.9983 0.009771 0.09885 -1 0.9988 1.999 1 0.0516 0.00151 0.001068 0.00179 0.1714 1 -9.761e-11 0.005444 0.003142 0.002574 0.05073 28.34 2.222 0.2639 0.5571 1 1 0.004584 0.0182 0.03557 0.4691 1.863 3.64 json
t12_x12_u6_b5 12 12 6 5 nrm(add(D,mod(D,P))) 30083 97933235 o1(o2(x,o2(x,x))) true 70511 70511 -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_x12_u6_b6 12 12 6 6 nrm(add(D,lrg(D,P))) 30084 97933236 o1(o2(x,o2(x,x))) true 70519 70519 0.3772 0.7265 0.5088 0.2258 0.4752 -0.9346 0.9994 1.934 1 4.396 0.01456 0.0029 0.07139 0.6678 1 0.0003297 0.01959 0.03675 0.01236 0.1112 1.557 1.834 0.07731 0.08677 1 1 0.02956 0.1589 0.06583 0.1309 0.7035 0.2915 json
t12_x12_u6_b7 12 12 6 7 nrm(add(D,eql(D,P))) 30085 97933237 o1(o2(x,o2(x,x))) true 70527 70527 -2.475e-9 0.5 0.09442 0.01087 0.1042 -0.1528 0.1528 0.3056 1 2.56 0.001635 0.000003026 0.03615 0.9963 1 -6.126e-10 0.0002552 0.01449 0.0003309 0.01819 0.5031 0.06201 0.1507 0.02349 1 1 0.003162 0.02196 0 0.291 2.02 0 json
t12_x12_u6_b8 12 12 6 8 nrm(add(D,min(D,P))) 30086 97933238 o1(o2(x,o2(x,x))) true 70535 70535 -0.4027 0.2439 0.5131 0.2423 0.4922 -1 0.972 1.972 1 4.181 0.01119 0.002074 0.05514 0.6874 1 0.0002506 0.0122 0.02384 0.01023 0.1011 1.834 1.82 0.05476 0.05034 1 1 0.02397 0.1356 0.0645 0.09895 0.5596 0.2662 json
t12_x12_u6_b9 12 12 6 9 nrm(add(D,dot(D,P))) 30087 97933239 o1(o2(x,o2(x,x))) true 70543 70543 -0.05255 0.4312 0.3207 0.1376 0.3709 -0.9674 0.9638 1.931 1 4.521 0.03208 0.03236 0.1557 -0.004271 1 0.001067 0.1498 0.1469 0.0402 0.2005 1.288 2.024 0.4683 1.089 1 1 0.07957 0.3106 0.06415 0.5783 2.257 0.4662 json
t12_x12_u6_b10 12 12 6 10 nrm(add(D,dst(D,P))) 30088 97933240 o1(o2(x,o2(x,x))) true 70551 70551 0.5753 1 0.5753 0.0004466 0.02113 0.03353 0.8533 0.8198 1 0.5317 0.00004674 0.00001622 0.004009 0.4847 0 7.048e-7 0.00003805 0.001457 0.00004688 0.006847 1.708 0.5956 0.141 0.08519 1 1 0.00019 0.001265 0.0009867 0.4254 2.832 2.209 json
t12_x12_u6_b11 12 12 6 11 nrm(sub(D,add(D,P))) 30089 97933241 o1(o2(x,o2(x,x))) true 70559 70559 -0.01563 0.4896 0.6504 0.5048 0.7105 -1 1 2 1 4.761 0.001863 0.00124 0.01041 0.2009 1 -1.788e-10 0.00612 0.00575 0.002995 0.05472 5.255 2 0.006147 0.01212 1 1 0.005637 0.02655 0.1534 0.01117 0.05259 0.3039 json
t12_x12_u6_b12 12 12 6 12 nrm(sub(D,sub(D,P))) 30090 97933242 o1(o2(x,o2(x,x))) true 70567 70567 -0.01562 0.4896 0.6504 0.5048 0.7105 -1 1 2 1 4.761 0.001863 0.00124 0.0104 0.2009 1 3.065e-10 0.00612 0.00575 0.002995 0.05473 5.261 2.414 0.006147 0.01212 1 1 0.005637 0.02655 0.1534 0.01117 0.05259 0.3039 json
t12_x12_u6_b13 12 12 6 13 nrm(sub(D,mlt(D,P))) 30091 97933243 o1(o2(x,o2(x,x))) true 70575 70575 0.02755 0.5601 0.3839 0.2267 0.4762 -1 0.9992 1.999 1 4.805 0.05128 0.007986 0.1513 0.7305 1 -0.000538 0.0724 0.08987 0.03638 0.1907 1.261 2.216 0.2614 0.3193 1 1 0.08782 0.4258 0.1294 0.3873 1.878 0.5705 json
t12_x12_u6_b14 12 12 6 14 nrm(sub(D,div(D,P))) 30092 97933244 o1(o2(x,o2(x,x))) true 70583 70583 -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_x12_u6_b15 12 12 6 15 nrm(sub(D,pow(D,P))) 30093 97933245 o1(o2(x,o2(x,x))) true 70591 70591 -0.9985 0 0.9985 0.0008975 0.02996 -1 -0.03233 0.9677 1 0.0449 0.0001088 0.0002394 0.0006712 -0.3752 1 5.256e-11 0.0007613 0.0009576 0.0003475 0.01864 27.77 0.97 0.388 0.8482 1 1 0.0005985 0.002039 0.003265 0.6669 2.271 3.637 json
t12_x12_u6_b16 12 12 6 16 nrm(sub(D,mod(D,P))) 30094 97933246 o1(o2(x,o2(x,x))) true 70599 70599 -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_x12_u6_b17 12 12 6 17 nrm(sub(D,lrg(D,P))) 30095 97933247 o1(o2(x,o2(x,x))) true 70607 70607 -0.4328 0.2188 0.5394 0.2126 0.4611 -0.9995 0.9348 1.934 1 4.355 0.01189 0.00291 0.06563 0.6066 1 0.0002324 0.01809 0.0342 0.01049 0.1024 1.56 1.567 0.0696 0.08511 1 1 0.02355 0.1242 0.06902 0.1108 0.5841 0.3247 json
t12_x12_u6_b18 12 12 6 18 nrm(sub(D,eql(D,P))) 30096 97933248 o1(o2(x,o2(x,x))) true 70615 70615 -2.475e-9 0.5 0.09442 0.01087 0.1042 -0.1528 0.1528 0.3056 1 2.56 0.001635 0.000003026 0.03615 0.9963 1 -6.126e-10 0.0002552 0.01449 0.0003309 0.01819 0.5031 0.06201 0.1507 0.02349 1 1 0.003162 0.02196 0 0.291 2.02 0 json
t12_x12_u6_b19 12 12 6 19 nrm(sub(D,min(D,P))) 30097 97933249 o1(o2(x,o2(x,x))) true 70623 70623 0.0617 0.4903 0.6945 0.6521 0.8076 -1 1 2 1 2.734 0.008786 0.002588 0.009994 0.5449 1 5.512e-7 0.02271 0.01454 0.01128 0.1062 10.63 2 0.01744 0.03483 1 1 0.0158 0.06442 0.2623 0.02423 0.09878 0.4023 json
t12_x12_u6_b20 12 12 6 20 nrm(sub(D,dot(D,P))) 30098 97933250 o1(o2(x,o2(x,x))) true 70631 70631 0.05255 0.5678 0.3207 0.1376 0.3709 -0.9638 0.9674 1.931 1 4.521 0.03201 0.03237 0.1558 -0.005446 1 -0.001067 0.1498 0.1469 0.04012 0.2003 1.286 2.024 0.4679 1.089 1 1 0.07889 0.3074 0.06519 0.5734 2.234 0.4737 json
t12_x12_u6_b21 12 12 6 21 nrm(sub(D,dst(D,P))) 30099 97933251 o1(o2(x,o2(x,x))) true 70639 70639 -0.5753 0 0.5753 0.0004466 0.02113 -0.8533 -0.03353 0.8198 1 0.5317 0.00004673 0.00001622 0.004008 0.4847 0 -7.049e-7 0.00003804 0.001457 0.00004689 0.006847 1.708 0.5856 0.141 0.08519 1 1 0.00019 0.001265 0.0009868 0.4253 2.832 2.21 json