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_u4_b64 12 12 4 64 cil(mod(D,dot(D,P))) 29900 97932892 o1(o2(x,o2(x,x))) true 69047 69047 0.4381 0.9646 0.5075 0.2116 0.46 -1 0.9997 2 1 3.516 0.1616 0.1023 0.2283 0.2248 1 0.0001154 1.233 0.4047 0.2117 0.4601 2.015 2.828 1.247 5.829 1 1 0.1936 0.3629 0.2036 0.915 1.715 0.9625 json
t12_x12_u4_b65 12 12 4 65 cil(mod(D,dst(D,P))) 29901 97932893 o1(o2(x,o2(x,x))) true 69055 69055 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_u4_b66 12 12 4 66 cil(lrg(D,add(D,P))) 29902 97932894 o1(o2(x,o2(x,x))) true 69063 69063 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_u4_b67 12 12 4 67 cil(lrg(D,sub(D,P))) 29903 97932895 o1(o2(x,o2(x,x))) true 69071 69071 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_u4_b68 12 12 4 68 cil(lrg(D,mlt(D,P))) 29904 97932896 o1(o2(x,o2(x,x))) true 69079 69079 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_u4_b69 12 12 4 69 cil(lrg(D,div(D,P))) 29905 97932897 o1(o2(x,o2(x,x))) true 69087 69087 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_u4_b70 12 12 4 70 cil(lrg(D,pow(D,P))) 29906 97932898 o1(o2(x,o2(x,x))) true 69095 69095 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_u4_b71 12 12 4 71 cil(lrg(D,mod(D,P))) 29907 97932899 o1(o2(x,o2(x,x))) true 69103 69103 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_u4_b72 12 12 4 72 cil(lrg(D,lrg(D,P))) 29908 97932900 o1(o2(x,o2(x,x))) true 69111 69111 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_u4_b73 12 12 4 73 cil(lrg(D,eql(D,P))) 29909 97932901 o1(o2(x,o2(x,x))) true 69119 69119 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_u4_b74 12 12 4 74 cil(lrg(D,min(D,P))) 29910 97932902 o1(o2(x,o2(x,x))) true 69127 69127 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_u4_b75 12 12 4 75 cil(lrg(D,dot(D,P))) 29911 97932903 o1(o2(x,o2(x,x))) true 69135 69135 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_u4_b76 12 12 4 76 cil(lrg(D,dst(D,P))) 29912 97932904 o1(o2(x,o2(x,x))) true 69143 69143 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_u4_b77 12 12 4 77 cil(eql(D,add(D,P))) 29913 97932905 o1(o2(x,o2(x,x))) true 69151 69151 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_u4_b78 12 12 4 78 cil(eql(D,sub(D,P))) 29914 97932906 o1(o2(x,o2(x,x))) true 69159 69159 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_u4_b79 12 12 4 79 cil(eql(D,mlt(D,P))) 29915 97932907 o1(o2(x,o2(x,x))) true 69167 69167 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_u4_b80 12 12 4 80 cil(eql(D,div(D,P))) 29916 97932908 o1(o2(x,o2(x,x))) true 69175 69175 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_u4_b81 12 12 4 81 cil(eql(D,pow(D,P))) 29917 97932909 o1(o2(x,o2(x,x))) true 69183 69183 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_u4_b82 12 12 4 82 cil(eql(D,mod(D,P))) 29918 97932910 o1(o2(x,o2(x,x))) true 69191 69191 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_u4_b83 12 12 4 83 cil(eql(D,lrg(D,P))) 29919 97932911 o1(o2(x,o2(x,x))) true 69199 69199 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_u4_b84 12 12 4 84 cil(eql(D,eql(D,P))) 29920 97932912 o1(o2(x,o2(x,x))) true 69207 69207 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_u4_b85 12 12 4 85 cil(eql(D,min(D,P))) 29921 97932913 o1(o2(x,o2(x,x))) true 69215 69215 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_u4_b86 12 12 4 86 cil(eql(D,dot(D,P))) 29922 97932914 o1(o2(x,o2(x,x))) true 69223 69223 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_u4_b87 12 12 4 87 cil(eql(D,dst(D,P))) 29923 97932915 o1(o2(x,o2(x,x))) true 69231 69231 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_u4_b88 12 12 4 88 cil(min(D,add(D,P))) 29924 97932916 o1(o2(x,o2(x,x))) true 69239 69239 -0.1875 0.5 0.6875 0.5982 0.7735 -1 0.9997 2 1 2.823 0.0385 0 0.0674 1 1 -0.00008984 0.0723 0.07873 0.03395 0.1843 2.734 1 0.06436 0.1209 1 1 0.04456 0.1575 0.1593 0.07448 0.2633 0.2663 json
t12_x12_u4_b89 12 12 4 89 cil(min(D,sub(D,P))) 29925 97932917 o1(o2(x,o2(x,x))) true 69247 69247 -0.166 0.5313 0.709 0.6159 0.7848 -1 0.9997 2 1 3.224 0.04055 0 0.0792 1 1 0.00008985 0.0728 0.08237 0.03427 0.1851 2.337 0.9994 0.06584 0.1182 1 1 0.04707 0.1738 0.1516 0.07642 0.2821 0.2462 json
t12_x12_u4_b90 12 12 4 90 cil(min(D,mlt(D,P))) 29926 97932918 o1(o2(x,o2(x,x))) true 69255 69255 -0.1644 0.2852 0.4121 0.3055 0.5527 -1 0.9994 1.999 1 3.855 0.08434 0 0.1608 1 1 0.00761 0.1586 0.2165 0.05846 0.2418 1.503 0.9994 0.2761 0.519 1 1 0.08047 0.3011 0.07719 0.2634 0.9856 0.2527 json
t12_x12_u4_b91 12 12 4 91 cil(min(D,div(D,P))) 29927 97932919 o1(o2(x,o2(x,x))) true 69263 69263 0.1875 0.5 0.3125 0.2232 0.4724 -1 0.9997 2 1 2.617 0.05041 0 0.07137 1 1 -0.00008984 0.09617 0.08667 0.04532 0.2129 2.983 2 0.2258 0.4309 1 1 0.06031 0.2141 0.1593 0.2702 0.9592 0.7138 json
t12_x12_u4_b92 12 12 4 92 cil(min(D,pow(D,P))) 29928 97932920 o1(o2(x,o2(x,x))) true 69271 69271 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_u4_b93 12 12 4 93 cil(min(D,mod(D,P))) 29929 97932921 o1(o2(x,o2(x,x))) true 69279 69279 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_u4_b94 12 12 4 94 cil(min(D,lrg(D,P))) 29930 97932922 o1(o2(x,o2(x,x))) true 69287 69287 0.2813 0.5625 0.2813 0.1413 0.3759 0 0.9997 0.9997 1 2.519 0.03488 0 0.06731 1 1 0.00008984 0.06442 0.07172 0.03035 0.1742 2.588 0.9994 0.2469 0.456 1 1 0.03759 0.1321 0.03299 0.266 0.935 0.2335 json
t12_x12_u4_b95 12 12 4 95 cil(min(D,eql(D,P))) 29931 97932923 o1(o2(x,o2(x,x))) true 69295 69295 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_u4_b96 12 12 4 96 cil(min(D,min(D,P))) 29932 97932924 o1(o2(x,o2(x,x))) true 69303 69303 -0.25 0.4375 0.6875 0.5709 0.7556 -1 0.9997 2 1 3.025 0.03057 0 0.05947 1 1 -0.00008984 0.05632 0.06286 0.02704 0.1644 2.765 0.9997 0.05354 0.09866 1 1 0.03411 0.1283 0.1411 0.05974 0.2247 0.2471 json
t12_x12_u4_b97 12 12 4 97 cil(min(D,dot(D,P))) 29933 97932925 o1(o2(x,o2(x,x))) true 69311 69311 -0.4169 0.2075 0.5683 0.2925 0.5408 -1 0.9991 1.999 1 4.162 0.07032 0.05281 0.228 0.1422 1 0.00476 0.3721 0.3659 0.07114 0.2667 1.17 1.413 0.421 1.272 1 1 0.1225 0.4252 0.1027 0.4189 1.454 0.351 json
t12_x12_u4_b98 12 12 4 98 cil(min(D,dst(D,P))) 29934 97932926 o1(o2(x,o2(x,x))) true 69319 69319 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_u4_b99 12 12 4 99 cil(dot(D,add(D,P))) 29935 97932927 o1(o2(x,o2(x,x))) true 69327 69327 0.3722 0.7646 0.5833 0.3259 0.5709 -1 1 2 1 4.369 0.08126 0.08126 0.2963 -0.000003805 1 0.00547 0.5688 0.5275 0.07474 0.2734 0.9227 1.413 0.4987 1.745 1 1 0.1334 0.4623 0.1045 0.4094 1.419 0.3205 json
t12_x12_u4_b100 12 12 4 100 cil(dot(D,sub(D,P))) 29936 97932928 o1(o2(x,o2(x,x))) true 69335 69335 0.715 0.9236 0.7729 0.1908 0.4368 -1 1 2 1 2.887 0.06543 0.06543 0.2182 2.847e-7 1 -0.0006542 0.4766 0.4022 0.08325 0.2885 1.322 1.412 0.6859 2.498 1 1 0.09519 0.2803 0.07159 0.4989 1.469 0.3752 json
t12_x12_u4_b101 12 12 4 101 cil(dot(D,mlt(D,P))) 29937 97932929 o1(o2(x,o2(x,x))) true 69343 69343 0.3333 0.577 0.6572 0.4823 0.6945 -1 1 2 1 3.354 0.04278 0.04278 0.1398 -0.000004224 1 0.0003323 0.2612 0.2354 0.06601 0.2569 1.838 1.576 0.1774 0.5416 1 1 0.0823 0.2421 0.1097 0.1706 0.502 0.2275 json
t12_x12_u4_b102 12 12 4 102 cil(dot(D,div(D,P))) 29938 97932930 o1(o2(x,o2(x,x))) true 69351 69351 -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_u4_b103 12 12 4 103 cil(dot(D,pow(D,P))) 29939 97932931 o1(o2(x,o2(x,x))) true 69359 69359 -0.9931 0.003906 0.9991 0.01267 0.1126 -1 1 2 1 0.04786 0.001625 0.001625 0.001961 -1.075e-7 1 -3.004e-11 0.006909 0.003717 0.003244 0.05696 29.04 2 0.2565 0.5452 1 1 0.005747 0.02378 0.04616 0.4535 1.877 3.643 json
t12_x12_u4_b104 12 12 4 104 cil(dot(D,mod(D,P))) 29940 97932932 o1(o2(x,o2(x,x))) true 69367 69367 -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_u4_b105 12 12 4 105 cil(dot(D,lrg(D,P))) 29941 97932933 o1(o2(x,o2(x,x))) true 69375 69375 0.4164 0.7966 0.4164 0.1465 0.3828 0 1 1 1 3.362 0.03109 0.03109 0.1097 2.996e-7 1 -0.00004121 0.1797 0.1379 0.05012 0.2239 2.041 1.413 0.4243 1.227 1 1 0.06273 0.1943 0.04676 0.4281 1.326 0.3191 json
t12_x12_u4_b106 12 12 4 106 cil(dot(D,eql(D,P))) 29942 97932934 o1(o2(x,o2(x,x))) true 69383 69383 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_u4_b107 12 12 4 107 cil(dot(D,min(D,P))) 29943 97932935 o1(o2(x,o2(x,x))) true 69391 69391 0.5167 0.8351 0.6606 0.3032 0.5506 -1 1 2 1 3.656 0.04923 0.04924 0.1892 -0.000007264 1 0.00386 0.2929 0.3176 0.06268 0.2504 1.323 1.413 0.3248 0.9661 1 1 0.08451 0.2777 0.07143 0.2788 0.916 0.2356 json
t12_x12_u4_b108 12 12 4 108 cil(dot(D,dot(D,P))) 29944 97932936 o1(o2(x,o2(x,x))) true 69399 69399 0.3091 0.6148 0.6497 0.4825 0.6946 -1 1 2 1 3.665 0.06834 0.06834 0.1932 -3.816e-7 1 0.000191 0.4999 0.372 0.09934 0.3152 1.632 1.485 0.2833 1.036 1 1 0.1261 0.3165 0.1076 0.2615 0.656 0.223 json
t12_x12_u4_b109 12 12 4 109 cil(dot(D,dst(D,P))) 29945 97932937 o1(o2(x,o2(x,x))) true 69407 69407 0.3096 0.7062 0.6473 0.4491 0.6701 -1 1 2 1 4.189 0.1139 0.1139 0.3402 0.000001373 1 0.0005721 0.9746 0.6904 0.1121 0.3349 0.9843 1.414 0.5074 2.17 1 1 0.1827 0.6553 0.0759 0.4067 1.459 0.169 json
t12_x12_u4_b110 12 12 4 110 cil(dst(D,add(D,P))) 29946 97932938 o1(o2(x,o2(x,x))) true 69415 69415 0.9967 1 0.9967 0.002206 0.04697 0.0005821 1 0.9994 1 0.08493 0.00004482 0.00004482 0.0007972 -5.682e-7 0 -1.502e-11 0.00002627 0.0002729 0.00008892 0.00943 11.83 0.1653 0.04063 0.01191 1 1 0.0003021 0.00348 0.008043 0.1369 1.578 3.646 json
t12_x12_u4_b111 12 12 4 111 cil(dst(D,sub(D,P))) 29947 97932939 o1(o2(x,o2(x,x))) true 69423 69423 0.9967 1 0.9967 0.002206 0.04697 0.0005821 1 0.9994 1 0.08493 0.00004482 0.00004482 0.0007972 -5.682e-7 0 -1.502e-11 0.00002627 0.0002729 0.00008892 0.00943 11.83 0.1653 0.04063 0.01191 1 1 0.0003021 0.00348 0.008043 0.1369 1.578 3.646 json
t12_x12_u4_b112 12 12 4 112 cil(dst(D,mlt(D,P))) 29948 97932940 o1(o2(x,o2(x,x))) true 69431 69431 0.9961 1 0.9961 0.00237 0.04868 0.0005821 1 0.9994 1 0.1068 0.00003493 0.00003493 0.0008403 4.166e-7 0 -1.333e-10 0.000005074 0.0002156 0.00006906 0.00831 9.889 0.1173 0.02948 0.002141 1 1 0.0002426 0.003158 0.008659 0.1024 1.333 3.654 json
t12_x12_u4_b113 12 12 4 113 cil(dst(D,div(D,P))) 29949 97932941 o1(o2(x,o2(x,x))) true 69439 69439 -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_u4_b114 12 12 4 114 cil(dst(D,pow(D,P))) 29950 97932942 o1(o2(x,o2(x,x))) true 69447 69447 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.002016 0.002016 0.001997 0 1 0 0.008566 0.004031 0.004025 0.06344 31.77 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05673 0.4556 1.823 3.645 json
t12_x12_u4_b115 12 12 4 115 cil(dst(D,mod(D,P))) 29951 97932943 o1(o2(x,o2(x,x))) true 69455 69455 -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_u4_b116 12 12 4 116 cil(dst(D,lrg(D,P))) 29952 97932944 o1(o2(x,o2(x,x))) true 69463 69463 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_u4_b117 12 12 4 117 cil(dst(D,eql(D,P))) 29953 97932945 o1(o2(x,o2(x,x))) true 69471 69471 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_u4_b118 12 12 4 118 cil(dst(D,min(D,P))) 29954 97932946 o1(o2(x,o2(x,x))) true 69479 69479 0.7598 0.8086 0.7598 0.1723 0.4151 0 1 1 1 1.233 0.002384 0.002384 0.01148 -0.000002442 1 3.488e-9 0.007955 0.01044 0.004636 0.06809 5.933 1.413 0.02767 0.04616 1 1 0.007307 0.02822 0.06622 0.0424 0.1638 0.3842 json
t12_x12_u4_b119 12 12 4 119 cil(dst(D,dot(D,P))) 29955 97932947 o1(o2(x,o2(x,x))) true 69487 69487 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_u4_b120 12 12 4 120 cil(dst(D,dst(D,P))) 29956 97932948 o1(o2(x,o2(x,x))) true 69495 69495 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_b0 12 12 5 0 sgn(add(D,add(D,P))) 29957 97933029 o1(o2(x,o2(x,x))) true 69503 69503 0 0.5 0.9806 0.9729 0.9864 -1 1 2 1 1.329 0.02324 0 0.02195 1 1 0 0.04817 0.03348 0.02276 0.1509 6.875 1.999 0.02389 0.04951 1 1 0.0297 0.04857 0.3004 0.03053 0.04992 0.3087 json
t12_x12_u5_b1 12 12 5 1 sgn(add(D,sub(D,P))) 29958 97933030 o1(o2(x,o2(x,x))) true 69511 69511 0 0.5 0.9417 0.9188 0.9585 -1 1 2 1 1.793 0.02606 0 0.03782 1 1 0 0.0483 0.03719 0.02463 0.157 4.15 1.999 0.02837 0.05257 1 1 0.03711 0.1457 0.2639 0.04039 0.1586 0.2873 json
t12_x12_u5_b2 12 12 5 2 sgn(add(D,mlt(D,P))) 29959 97933031 o1(o2(x,o2(x,x))) true 69519 69519 -0.0625 0.4375 0.6653 0.5412 0.7356 -0.9997 0.9994 1.999 1 3.711 0.2425 0 0.2297 1 1 -0.0003594 0.4508 0.2496 0.1897 0.4355 1.896 1.999 0.448 0.833 1 1 0.2568 0.8873 0.1615 0.4745 1.64 0.2984 json
t12_x12_u5_b3 12 12 5 3 sgn(add(D,div(D,P))) 29960 97933032 o1(o2(x,o2(x,x))) true 69527 69527 3.716e-9 0.5 0.6653 0.5452 0.7384 -0.9997 0.9997 1.999 1 3.784 0.2425 0 0.2297 1 1 0 0.4508 0.2496 0.1897 0.4355 1.896 1.999 0.4447 0.8269 1 1 0.2568 0.8877 0.06598 0.471 1.628 0.121 json
t12_x12_u5_b4 12 12 5 4 sgn(add(D,pow(D,P))) 29961 97933033 o1(o2(x,o2(x,x))) true 69535 69535 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_b5 12 12 5 5 sgn(add(D,mod(D,P))) 29962 97933034 o1(o2(x,o2(x,x))) true 69543 69543 -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_b6 12 12 5 6 sgn(add(D,lrg(D,P))) 29963 97933035 o1(o2(x,o2(x,x))) true 69551 69551 0.4375 0.7188 0.825 0.5651 0.7517 -0.9994 1 1.999 1 2.519 0.1395 0 0.1348 1 1 -0.0001797 0.2577 0.1434 0.1213 0.3483 2.584 1.999 0.2469 0.456 1 1 0.1607 0.569 0.132 0.2844 1.007 0.2335 json
t12_x12_u5_b7 12 12 5 7 sgn(add(D,eql(D,P))) 29964 97933036 o1(o2(x,o2(x,x))) true 69559 69559 -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_b8 12 12 5 8 sgn(add(D,min(D,P))) 29965 97933037 o1(o2(x,o2(x,x))) true 69567 69567 -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_b9 12 12 5 9 sgn(add(D,dot(D,P))) 29966 97933038 o1(o2(x,o2(x,x))) true 69575 69575 -0.0914 0.437 0.5644 0.4041 0.6357 -1 0.9994 1.999 1 4.369 0.1209 0.12 0.2785 0.003534 1 0.001888 0.6925 0.3203 0.1634 0.4042 1.451 2.817 0.5962 1.713 1 1 0.2641 0.8935 0.2397 0.6535 2.211 0.5931 json
t12_x12_u5_b10 12 12 5 10 sgn(add(D,dst(D,P))) 29967 97933039 o1(o2(x,o2(x,x))) true 69583 69583 0.9995 1 0.9995 0.0002334 0.01528 0.1171 1 0.8829 1 0.0248 0.0001572 0.00003621 0.0005198 0.6256 1 -2.027e-10 0.0005476 0.0007535 0.0001931 0.01389 26.73 1.157 0.8289 2.346 1 1 0.0003177 0.0007379 0.0008084 1.361 3.162 3.464 json
t12_x12_u5_b11 12 12 5 11 sgn(sub(D,add(D,P))) 29968 97933040 o1(o2(x,o2(x,x))) true 69591 69591 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t12_x12_u5_b12 12 12 5 12 sgn(sub(D,sub(D,P))) 29969 97933041 o1(o2(x,o2(x,x))) true 69599 69599 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t12_x12_u5_b13 12 12 5 13 sgn(sub(D,mlt(D,P))) 29970 97933042 o1(o2(x,o2(x,x))) true 69607 69607 0.0625 0.5625 0.6653 0.5412 0.7356 -0.9994 0.9997 1.999 1 3.711 0.2425 0 0.2297 1 1 0.0003594 0.4508 0.2496 0.1897 0.4355 1.896 1.999 0.448 0.833 1 1 0.2568 0.8873 0.1615 0.4745 1.64 0.2984 json
t12_x12_u5_b14 12 12 5 14 sgn(sub(D,div(D,P))) 29971 97933043 o1(o2(x,o2(x,x))) true 69615 69615 5.457e-12 0.4688 0.6847 0.5722 0.7565 -0.9997 1 2 1 3.642 0.2411 0 0.2218 1 1 9.461e-10 0.4503 0.2478 0.1918 0.438 1.975 2 0.4213 0.787 1 1 0.2534 0.8899 0.3117 0.4428 1.555 0.5447 json
t12_x12_u5_b15 12 12 5 15 sgn(sub(D,pow(D,P))) 29972 97933044 o1(o2(x,o2(x,x))) true 69623 69623 -0.5809 0.2031 0.8595 0.4698 0.6854 -1 0.9994 1.999 1 2.212 0.1232 0 0.1199 1 1 -0.0001797 0.2338 0.1434 0.1088 0.3298 2.751 1.999 0.2622 0.4975 1 1 0.1333 0.4392 0.1139 0.2837 0.9348 0.2425 json
t12_x12_u5_b16 12 12 5 16 sgn(sub(D,mod(D,P))) 29973 97933045 o1(o2(x,o2(x,x))) true 69631 69631 -0.0625 0 0.0625 0.04507 0.2123 -0.9997 0 0.9997 1 0.9693 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_b17 12 12 5 17 sgn(sub(D,lrg(D,P))) 29974 97933046 o1(o2(x,o2(x,x))) true 69639 69639 -0.5625 0.2188 0.8639 0.4942 0.703 -1 0.9994 1.999 1 2.124 0.1209 0 0.111 1 1 -0.0001797 0.2252 0.1239 0.1085 0.3294 2.967 1.999 0.2446 0.4558 1 1 0.1327 0.4646 0.132 0.2686 0.9402 0.267 json
t12_x12_u5_b18 12 12 5 18 sgn(sub(D,eql(D,P))) 29975 97933047 o1(o2(x,o2(x,x))) true 69647 69647 -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_b19 12 12 5 19 sgn(sub(D,min(D,P))) 29976 97933048 o1(o2(x,o2(x,x))) true 69655 69655 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_b20 12 12 5 20 sgn(sub(D,dot(D,P))) 29977 97933049 o1(o2(x,o2(x,x))) true 69663 69663 0.0914 0.5613 0.5644 0.4041 0.6357 -0.9994 1 1.999 1 4.369 0.1207 0.12 0.2784 0.002861 1 -0.001888 0.6925 0.3203 0.1633 0.4041 1.451 2.817 0.5958 1.713 1 1 0.2632 0.8907 0.2435 0.6513 2.204 0.6024 json
t12_x12_u5_b21 12 12 5 21 sgn(sub(D,dst(D,P))) 29978 97933050 o1(o2(x,o2(x,x))) true 69671 69671 -0.9995 0 0.9995 0.0002334 0.01528 -1 -0.1171 0.8829 1 0.0248 0.0001572 0.00003621 0.0005197 0.6256 1 2.027e-10 0.0005476 0.0007535 0.0001931 0.01389 26.73 0.9946 0.8288 2.346 1 1 0.0003177 0.0007379 0.0008084 1.361 3.162 3.464 json
t12_x12_u5_b22 12 12 5 22 sgn(mlt(D,add(D,P))) 29979 97933051 o1(o2(x,o2(x,x))) true 69679 69679 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2446 0 0.2376 1 1 -0.0003594 0.4511 0.2515 0.188 0.4336 1.825 1.999 0.4313 0.7955 1 1 0.2622 0.9341 0.191 0.4623 1.647 0.3369 json
t12_x12_u5_b23 12 12 5 23 sgn(mlt(D,sub(D,P))) 29980 97933052 o1(o2(x,o2(x,x))) true 69687 69687 0.125 0.5625 0.7278 0.6056 0.7782 -0.9994 1 1.999 1 3.238 0.2418 0 0.2218 1 1 0.0003594 0.4506 0.2478 0.1925 0.4388 1.978 1.999 0.3992 0.7441 1 1 0.2551 0.8886 0.2639 0.4212 1.467 0.4359 json
t12_x12_u5_b24 12 12 5 24 sgn(mlt(D,mlt(D,P))) 29981 97933053 o1(o2(x,o2(x,x))) true 69695 69695 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t12_x12_u5_b25 12 12 5 25 sgn(mlt(D,div(D,P))) 29982 97933054 o1(o2(x,o2(x,x))) true 69703 69703 0.0625 0.5313 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t12_x12_u5_b26 12 12 5 26 sgn(mlt(D,pow(D,P))) 29983 97933055 o1(o2(x,o2(x,x))) true 69711 69711 -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_b27 12 12 5 27 sgn(mlt(D,mod(D,P))) 29984 97933056 o1(o2(x,o2(x,x))) true 69719 69719 0.875 0.9375 0.9611 0.1803 0.4246 -0.9994 1 1.999 1 0.8126 0.002823 0 0.01587 1 1 0 0.0001297 0.003711 0.002573 0.05073 3.197 0.2338 0.01566 0.0007193 1 1 0.007404 0.09633 0.2639 0.04107 0.5344 1.464 json
t12_x12_u5_b28 12 12 5 28 sgn(mlt(D,lrg(D,P))) 29985 97933057 o1(o2(x,o2(x,x))) true 69727 69727 0.0625 0.3438 0.3638 0.2932 0.5414 -0.9994 0.9997 1.999 1 3.013 0.1255 0 0.1227 1 1 0.0001797 0.2334 0.1336 0.1105 0.3324 2.709 1.999 0.4282 0.7961 1 1 0.1293 0.4438 0.06598 0.4411 1.514 0.2251 json
t12_x12_u5_b29 12 12 5 29 sgn(mlt(D,eql(D,P))) 29986 97933058 o1(o2(x,o2(x,x))) true 69735 69735 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_b30 12 12 5 30 sgn(mlt(D,min(D,P))) 29987 97933059 o1(o2(x,o2(x,x))) true 69743 69743 0.4688 0.75 0.8132 0.5256 0.725 -0.9994 1 1.999 1 2.678 0.1266 0 0.1267 1 1 -0.0001797 0.2336 0.1346 0.1105 0.3325 2.624 1.999 0.2408 0.4444 1 1 0.132 0.4611 0.09898 0.2511 0.8773 0.1883 json
t12_x12_u5_b31 12 12 5 31 sgn(mlt(D,dot(D,P))) 29988 97933060 o1(o2(x,o2(x,x))) true 69751 69751 4.403e-9 0.4999 0.7248 0.6348 0.7967 -1 1 2 1 3.919 0.202 0.1202 0.2695 0.2539 1 -3.792e-10 0.9827 0.4215 0.2495 0.4995 1.853 2.827 0.5075 1.548 1 1 0.3138 0.8035 0.2786 0.4944 1.266 0.4389 json
t12_x12_u5_b32 12 12 5 32 sgn(mlt(D,dst(D,P))) 29989 97933061 o1(o2(x,o2(x,x))) true 69759 69759 -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_b33 12 12 5 33 sgn(div(D,add(D,P))) 29990 97933062 o1(o2(x,o2(x,x))) true 69767 69767 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2446 0 0.2376 1 1 -0.0003594 0.4511 0.2515 0.188 0.4336 1.825 1.999 0.4313 0.7955 1 1 0.2622 0.9341 0.191 0.4623 1.647 0.3369 json
t12_x12_u5_b34 12 12 5 34 sgn(div(D,sub(D,P))) 29991 97933063 o1(o2(x,o2(x,x))) true 69775 69775 0.125 0.5625 0.7278 0.6056 0.7782 -0.9994 1 1.999 1 3.238 0.2418 0 0.2218 1 1 0.0003594 0.4506 0.2478 0.1925 0.4388 1.978 1.999 0.3992 0.7441 1 1 0.2551 0.8886 0.2639 0.4212 1.467 0.4359 json
t12_x12_u5_b35 12 12 5 35 sgn(div(D,mlt(D,P))) 29992 97933064 o1(o2(x,o2(x,x))) true 69783 69783 0.0625 0.5313 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t12_x12_u5_b36 12 12 5 36 sgn(div(D,div(D,P))) 29993 97933065 o1(o2(x,o2(x,x))) true 69791 69791 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t12_x12_u5_b37 12 12 5 37 sgn(div(D,pow(D,P))) 29994 97933066 o1(o2(x,o2(x,x))) true 69799 69799 -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_b38 12 12 5 38 sgn(div(D,mod(D,P))) 29995 97933067 o1(o2(x,o2(x,x))) true 69807 69807 0.875 0.9375 0.9611 0.1803 0.4246 -0.9994 1 1.999 1 0.8126 0.002823 0 0.01587 1 1 0 0.0001297 0.003711 0.002573 0.05073 3.197 0.2338 0.01566 0.0007193 1 1 0.007404 0.09633 0.2639 0.04107 0.5344 1.464 json
t12_x12_u5_b39 12 12 5 39 sgn(div(D,lrg(D,P))) 29996 97933068 o1(o2(x,o2(x,x))) true 69815 69815 -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_b40 12 12 5 40 sgn(div(D,eql(D,P))) 29997 97933069 o1(o2(x,o2(x,x))) true 69823 69823 -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_b41 12 12 5 41 sgn(div(D,min(D,P))) 29998 97933070 o1(o2(x,o2(x,x))) true 69831 69831 0.5 0.75 0.8444 0.5335 0.7304 -0.9994 1 1.999 1 2.329 0.1223 0 0.1188 1 1 -0.0001797 0.2255 0.1257 0.1082 0.3289 2.77 1.999 0.2291 0.4226 1 1 0.1259 0.4472 0.132 0.236 0.8382 0.2473 json
t12_x12_u5_b42 12 12 5 42 sgn(div(D,dot(D,P))) 29999 97933071 o1(o2(x,o2(x,x))) true 69839 69839 0.001953 0.5011 0.7331 0.6443 0.8027 -1 1 2 1 3.87 0.2153 0.1338 0.2734 0.2335 1 -2.816e-10 1.129 0.4526 0.2744 0.5238 1.916 2.827 0.5418 1.752 1 1 0.3305 0.8258 0.3042 0.5129 1.282 0.4721 json