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_x8_u0_b36 12 8 0 36 sqt(div(P,div(R,R))) 26000 97770456 o1(o2(x,o2(x,x))) true 37847 37847 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t12_x8_u0_b37 12 8 0 37 sqt(div(P,pow(R,R))) 26001 97770457 o1(o2(x,o2(x,x))) true 37855 37855 -0.9862 0.007813 0.9982 0.02522 0.1588 -1 1 2 1 0.08299 0.002294 0.003025 0.003132 -0.1375 1 -3.754e-11 0.01116 0.005881 0.005309 0.07286 23.26 2.828 0.2109 0.4424 1 1 0.0005621 0.003923 0.02217 0.02229 0.1556 0.8792 json
t12_x8_u0_b38 12 8 0 38 sqt(div(P,mod(R,R))) 26002 97770458 o1(o2(x,o2(x,x))) true 37863 37863 -0.9844 0.007813 1 0.03101 0.1761 -1 1 2 1 0.06591 0.004031 0.004031 0.003994 0 1 0 0.01713 0.008062 0.008051 0.08973 22.46 2.828 0.26 0.5526 1 1 0.01418 0.05673 0.0851 0.4574 1.83 2.745 json
t12_x8_u0_b39 12 8 0 39 sqt(div(P,lrg(R,R))) 26003 97770459 o1(o2(x,o2(x,x))) true 37871 37871 -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_x8_u0_b40 12 8 0 40 sqt(div(P,eql(R,R))) 26004 97770460 o1(o2(x,o2(x,x))) true 37879 37879 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t12_x8_u0_b41 12 8 0 41 sqt(div(P,min(R,R))) 26005 97770461 o1(o2(x,o2(x,x))) true 37887 37887 -0.872 0.07031 0.9874 0.2247 0.474 -1 1 2 1 0.4914 0.01917 0.01956 0.02265 -0.009884 1 1.352e-10 0.08017 0.04235 0.0382 0.1954 8.628 2.828 0.1724 0.3568 1 1 0.03707 0.1615 0.4834 0.165 0.7187 2.152 json
t12_x8_u0_b42 12 8 0 42 sqt(div(P,dot(R,R))) 26006 97770462 o1(o2(x,o2(x,x))) true 37895 37895 -0.03369 0.5 0.9663 0.9569 0.9782 -1 1 2 1 1.499 0.004333 0.00001099 0.008111 0.9949 1 0.000001098 0.00793 0.009121 0.004277 0.0654 8.062 1.001 0.00454 0.008287 1 1 0.006306 0.04025 0.2833 0.00659 0.04207 0.2961 json
t12_x8_u0_b43 12 8 0 43 sqt(div(P,dst(R,R))) 26007 97770463 o1(o2(x,o2(x,x))) true 37903 37903 -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_x8_u0_b44 12 8 0 44 sqt(pow(P,add(R,R))) 26008 97770464 o1(o2(x,o2(x,x))) true 37911 37911 -0.1716 0.4531 0.9222 0.8554 0.9249 -1 1 2 1 2.16 0.01344 0.00423 0.0215 0.5213 1 -0.00005144 0.03439 0.02445 0.01722 0.1312 6.105 2.828 0.02066 0.0402 1 1 0.02424 0.107 0.3852 0.02834 0.1251 0.4503 json
t12_x8_u0_b45 12 8 0 45 sqt(pow(P,sub(R,R))) 26009 97770465 o1(o2(x,o2(x,x))) true 37919 37919 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_x8_u0_b46 12 8 0 46 sqt(pow(P,mlt(R,R))) 26010 97770466 o1(o2(x,o2(x,x))) true 37927 37927 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t12_x8_u0_b47 12 8 0 47 sqt(pow(P,div(R,R))) 26011 97770467 o1(o2(x,o2(x,x))) true 37935 37935 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t12_x8_u0_b48 12 8 0 48 sqt(pow(P,pow(R,R))) 26012 97770468 o1(o2(x,o2(x,x))) true 37943 37943 -0.9609 0.02344 0.9922 0.06706 0.259 -1 1 2 1 0.226 0.0079 0.006387 0.008969 0.1059 1 -1.201e-10 0.03013 0.01633 0.01421 0.1192 13.29 2.828 0.213 0.4493 1 1 0.01203 0.04862 0.1347 0.1794 0.725 2.009 json
t12_x8_u0_b49 12 8 0 49 sqt(pow(P,mod(R,R))) 26013 97770469 o1(o2(x,o2(x,x))) true 37951 37951 0.3022 0.6563 0.9897 0.8926 0.9448 -1 1 2 1 1.24 0.04637 0.04207 0.04628 0.04865 1 0.000003629 0.184 0.08972 0.08626 0.2937 6.346 2.828 0.09908 0.2062 1 1 0.0973 0.3962 1.19 0.109 0.4438 1.333 json
t12_x8_u0_b50 12 8 0 50 sqt(pow(P,lrg(R,R))) 26014 97770470 o1(o2(x,o2(x,x))) true 37959 37959 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_x8_u0_b51 12 8 0 51 sqt(pow(P,eql(R,R))) 26015 97770471 o1(o2(x,o2(x,x))) true 37967 37967 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t12_x8_u0_b52 12 8 0 52 sqt(pow(P,min(R,R))) 26016 97770472 o1(o2(x,o2(x,x))) true 37975 37975 -0.1481 0.4531 0.9457 0.8907 0.9438 -1 1 2 1 2.046 0.01311 0.003838 0.01738 0.5472 1 -0.00002323 0.03402 0.02181 0.01665 0.129 7.425 2.828 0.01903 0.03819 1 1 0.02322 0.09897 0.3785 0.02607 0.1111 0.4249 json
t12_x8_u0_b53 12 8 0 53 sqt(pow(P,dot(R,R))) 26017 97770473 o1(o2(x,o2(x,x))) true 37983 37983 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t12_x8_u0_b54 12 8 0 54 sqt(pow(P,dst(R,R))) 26018 97770474 o1(o2(x,o2(x,x))) true 37991 37991 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_x8_u0_b55 12 8 0 55 sqt(mod(P,add(R,R))) 26019 97770475 o1(o2(x,o2(x,x))) true 37999 37999 -0.2072 0.4994 0.7928 0.6615 0.8133 -1 1 2 1 2.937 0.004508 0.0003318 0.02023 0.8629 1 0.0000162 0.007962 0.01177 0.004431 0.06656 3.29 1 0.007316 0.01204 1 1 0.006891 0.04579 0.2436 0.01042 0.06922 0.3683 json
t12_x8_u0_b56 12 8 0 56 sqt(mod(P,sub(R,R))) 26020 97770476 o1(o2(x,o2(x,x))) true 38007 38007 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t12_x8_u0_b57 12 8 0 57 sqt(mod(P,mlt(R,R))) 26021 97770477 o1(o2(x,o2(x,x))) true 38015 38015 -0.3448 0.4974 0.6552 0.4466 0.6683 -1 0.8946 1.895 1 2.749 0.004195 0.0001989 0.01567 0.9095 1 0.000004034 0.007947 0.01063 0.004148 0.0644 4.11 1 0.009838 0.01779 1 1 0.00603 0.03275 0.1623 0.0135 0.07334 0.3634 json
t12_x8_u0_b58 12 8 0 58 sqt(mod(P,div(R,R))) 26022 97770478 o1(o2(x,o2(x,x))) true 38023 38023 -0.3027 0.1502 0.3223 0.227 0.4764 -1 0.9994 1.999 1 1.121 0.01004 0.009782 0.02161 0.01299 1 -4.231e-11 0.04076 0.0398 0.01937 0.1392 6.44 1.414 0.08734 0.1796 1 1 0.01932 0.07965 0.276 0.08514 0.3509 1.216 json
t12_x8_u0_b59 12 8 0 59 sqt(mod(P,pow(R,R))) 26023 97770479 o1(o2(x,o2(x,x))) true 38031 38031 -0.9893 0.007782 0.9951 0.01504 0.1226 -1 0.8718 1.872 1 0.09389 0.00117 0.001751 0.002413 -0.1988 1 0.000003038 0.006111 0.004433 0.002915 0.05399 22.38 1.896 0.1942 0.4064 1 1 0.0003475 0.002399 0.01303 0.02311 0.1596 0.8665 json
t12_x8_u0_b60 12 8 0 60 sqt(mod(P,mod(R,R))) 26024 97770480 o1(o2(x,o2(x,x))) true 38039 38039 -0.9952 0.00383 0.997 0.005939 0.07707 -1 0.5965 1.596 1 0.0489 0.0007844 0.0007712 0.001339 0.008504 1 7.509e-12 0.003298 0.002484 0.001552 0.0394 29.42 1.822 0.2619 0.5554 1 1 0.002745 0.01102 0.01622 0.4622 1.856 2.731 json
t12_x8_u0_b61 12 8 0 61 sqt(mod(P,lrg(R,R))) 26025 97770481 o1(o2(x,o2(x,x))) true 38047 38047 -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_x8_u0_b62 12 8 0 62 sqt(mod(P,eql(R,R))) 26026 97770482 o1(o2(x,o2(x,x))) true 38055 38055 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_x8_u0_b63 12 8 0 63 sqt(mod(P,min(R,R))) 26027 97770483 o1(o2(x,o2(x,x))) true 38063 38063 -0.2941 0.4985 0.7059 0.5164 0.7186 -1 0.8937 1.894 1 2.794 0.0042 0.0001721 0.0155 0.9213 1 0.000004413 0.00794 0.01053 0.004132 0.06428 4.148 1 0.008466 0.01538 1 1 0.00604 0.03345 0.1717 0.0117 0.06478 0.3325 json
t12_x8_u0_b64 12 8 0 64 sqt(mod(P,dot(R,R))) 26028 97770484 o1(o2(x,o2(x,x))) true 38071 38071 -0.1981 0.4995 0.8019 0.672 0.8198 -1 1 2 1 2.893 0.004481 0.0002424 0.01875 0.8974 1 -0.000005925 0.007953 0.0114 0.004373 0.06613 3.527 1 0.007029 0.01183 1 1 0.006821 0.04504 0.2415 0.01015 0.06701 0.3593 json
t12_x8_u0_b65 12 8 0 65 sqt(mod(P,dst(R,R))) 26029 97770485 o1(o2(x,o2(x,x))) true 38079 38079 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t12_x8_u0_b66 12 8 0 66 sqt(lrg(P,add(R,R))) 26030 97770486 o1(o2(x,o2(x,x))) true 38087 38087 0.4883 0.5675 0.4883 0.2314 0.4811 0 1 1 1 1.753 0.0004752 0.0003909 0.01019 0.09737 1 0.00002852 0.00004979 0.002461 0.0007618 0.0276 2.708 0.1169 0.003742 0.0002151 1 1 0.002134 0.0276 0.09828 0.009223 0.1193 0.4247 json
t12_x8_u0_b67 12 8 0 67 sqt(lrg(P,sub(R,R))) 26031 97770487 o1(o2(x,o2(x,x))) true 38095 38095 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_x8_u0_b68 12 8 0 68 sqt(lrg(P,mlt(R,R))) 26032 97770488 o1(o2(x,o2(x,x))) true 38103 38103 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_x8_u0_b69 12 8 0 69 sqt(lrg(P,div(R,R))) 26033 97770489 o1(o2(x,o2(x,x))) true 38111 38111 0.4063 0.4375 0.4063 0.2344 0.4842 0 1 1 1 1.302 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001505 0.00006906 1 1 0.0009255 0.01214 0.0751 0.003947 0.0518 0.3203 json
t12_x8_u0_b70 12 8 0 70 sqt(lrg(P,pow(R,R))) 26034 97770490 o1(o2(x,o2(x,x))) true 38119 38119 0.7324 0.9569 0.7324 0.1474 0.3839 0 1 1 1 2.341 0.001052 0.001231 0.02666 -0.0785 1 -0.000006429 0.0001288 0.006434 0.001572 0.03965 1.487 0.1169 0.01549 0.000874 1 1 0.004654 0.05961 0.1835 0.03158 0.4044 1.245 json
t12_x8_u0_b71 12 8 0 71 sqt(lrg(P,mod(R,R))) 26035 97770491 o1(o2(x,o2(x,x))) true 38127 38127 0.4922 0.5339 0.4922 0.2411 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004982 0.5091 1 -5.013e-10 0.00002268 0.001192 0.0004043 0.02011 4.036 0.1169 0.00178 0.00009406 1 1 0.00119 0.01549 0.08673 0.004937 0.06422 0.3597 json
t12_x8_u0_b72 12 8 0 72 sqt(lrg(P,lrg(R,R))) 26036 97770492 o1(o2(x,o2(x,x))) true 38135 38135 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_x8_u0_b73 12 8 0 73 sqt(lrg(P,eql(R,R))) 26037 97770493 o1(o2(x,o2(x,x))) true 38143 38143 0.4063 0.4375 0.4063 0.2344 0.4842 0 1 1 1 1.302 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001505 0.00006906 1 1 0.0009255 0.01214 0.0751 0.003947 0.0518 0.3203 json
t12_x8_u0_b74 12 8 0 74 sqt(lrg(P,min(R,R))) 26038 97770494 o1(o2(x,o2(x,x))) true 38151 38151 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t12_x8_u0_b75 12 8 0 75 sqt(lrg(P,dot(R,R))) 26039 97770495 o1(o2(x,o2(x,x))) true 38159 38159 0.4277 0.4749 0.4277 0.2348 0.4846 0 1 1 1 1.442 0.0003141 0.0001629 0.00557 0.3172 1 0.000005704 0.00002576 0.001335 0.0004459 0.02112 3.791 0.1169 0.002031 0.0001097 1 1 0.001269 0.01664 0.08914 0.005402 0.07087 0.3796 json
t12_x8_u0_b76 12 8 0 76 sqt(lrg(P,dst(R,R))) 26040 97770496 o1(o2(x,o2(x,x))) true 38167 38167 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_x8_u0_b77 12 8 0 77 sqt(eql(P,add(R,R))) 26041 97770497 o1(o2(x,o2(x,x))) true 38175 38175 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_x8_u0_b78 12 8 0 78 sqt(eql(P,sub(R,R))) 26042 97770498 o1(o2(x,o2(x,x))) true 38183 38183 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_x8_u0_b79 12 8 0 79 sqt(eql(P,mlt(R,R))) 26043 97770499 o1(o2(x,o2(x,x))) true 38191 38191 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_x8_u0_b80 12 8 0 80 sqt(eql(P,div(R,R))) 26044 97770500 o1(o2(x,o2(x,x))) true 38199 38199 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_x8_u0_b81 12 8 0 81 sqt(eql(P,pow(R,R))) 26045 97770501 o1(o2(x,o2(x,x))) true 38207 38207 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_x8_u0_b82 12 8 0 82 sqt(eql(P,mod(R,R))) 26046 97770502 o1(o2(x,o2(x,x))) true 38215 38215 0.02734 0.07556 0.02734 0.01868 0.1367 0 0.9997 0.9997 1 0.4881 0.0002735 0.0001053 0.004415 0.4438 1 0.000005704 0.0000202 0.001056 0.0003591 0.01895 4.293 0.1169 0.02028 0.001081 1 1 0.0007806 0.0101 0.03588 0.04179 0.5406 1.921 json
t12_x8_u0_b83 12 8 0 83 sqt(eql(P,lrg(R,R))) 26047 97770503 o1(o2(x,o2(x,x))) true 38223 38223 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_x8_u0_b84 12 8 0 84 sqt(eql(P,eql(R,R))) 26048 97770504 o1(o2(x,o2(x,x))) true 38231 38231 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_x8_u0_b85 12 8 0 85 sqt(eql(P,min(R,R))) 26049 97770505 o1(o2(x,o2(x,x))) true 38239 38239 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_x8_u0_b86 12 8 0 86 sqt(eql(P,dot(R,R))) 26050 97770506 o1(o2(x,o2(x,x))) true 38247 38247 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_x8_u0_b87 12 8 0 87 sqt(eql(P,dst(R,R))) 26051 97770507 o1(o2(x,o2(x,x))) true 38255 38255 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_x8_u0_b88 12 8 0 88 sqt(min(P,add(R,R))) 26052 97770508 o1(o2(x,o2(x,x))) true 38263 38263 -0.9865 0.007813 0.9979 0.02414 0.1554 -1 1 2 1 0.08771 0.002149 0.002887 0.003092 -0.1465 1 3.754e-12 0.01056 0.005746 0.005027 0.0709 22.93 2.828 0.2086 0.4376 1 1 0.00053 0.00371 0.0212 0.02195 0.1537 0.8781 json
t12_x8_u0_b89 12 8 0 89 sqt(min(P,sub(R,R))) 26053 97770509 o1(o2(x,o2(x,x))) true 38271 38271 -0.5 0 0.5 0.25 0.5 -1 0 1 1 1 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01587 0.03175 1 1 0.005263 0.02105 0.08421 0.02105 0.08421 0.3368 json
t12_x8_u0_b90 12 8 0 90 sqt(min(P,mlt(R,R))) 26054 97770510 o1(o2(x,o2(x,x))) true 38279 38279 -0.2608 0.4991 0.7392 0.575 0.7583 -1 0.9989 1.999 1 2.939 0.004417 0.0003355 0.02014 0.8588 1 0.000005961 0.007955 0.01166 0.004348 0.06594 3.273 1 0.008266 0.01384 1 1 0.006662 0.04228 0.2156 0.01159 0.07353 0.3749 json
t12_x8_u0_b91 12 8 0 91 sqt(min(P,div(R,R))) 26055 97770511 o1(o2(x,o2(x,x))) true 38287 38287 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 3.113e-17 0.007937 1 1 2.447e-9 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t12_x8_u0_b92 12 8 0 92 sqt(min(P,pow(R,R))) 26056 97770512 o1(o2(x,o2(x,x))) true 38295 38295 -0.04171 0.5 0.9583 0.9412 0.9702 -1 1 2 1 1.746 0.004324 0.00005568 0.01029 0.9746 1 -0.0000221 0.007968 0.01078 0.004274 0.06538 6.356 1 0.004653 0.008465 1 1 0.006289 0.03923 0.2786 0.006682 0.04168 0.296 json
t12_x8_u0_b93 12 8 0 93 sqt(min(P,mod(R,R))) 26057 97770513 o1(o2(x,o2(x,x))) true 38303 38303 -0.6408 0.08826 0.6795 0.2589 0.5088 -1 0.9775 1.977 1 1.325 0.009902 0.009636 0.02063 0.01359 1 -0.000004103 0.04015 0.03488 0.0191 0.1382 6.701 2.796 0.07548 0.1551 1 1 0.01873 0.08006 0.2867 0.07236 0.3093 1.107 json
t12_x8_u0_b94 12 8 0 94 sqt(min(P,lrg(R,R))) 26058 97770514 o1(o2(x,o2(x,x))) true 38311 38311 -0.5 0 0.5 0.25 0.5 -1 0 1 1 1 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01587 0.03175 1 1 0.005263 0.02105 0.08421 0.02105 0.08421 0.3368 json
t12_x8_u0_b95 12 8 0 95 sqt(min(P,eql(R,R))) 26059 97770515 o1(o2(x,o2(x,x))) true 38319 38319 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t12_x8_u0_b96 12 8 0 96 sqt(min(P,min(R,R))) 26060 97770516 o1(o2(x,o2(x,x))) true 38327 38327 -0.9875 0.007813 0.9969 0.02051 0.1432 -1 0.9631 1.963 1 0.09407 0.001809 0.002435 0.002885 -0.1475 1 0.000001769 0.008904 0.005297 0.004236 0.06509 22.56 2.731 0.207 0.4341 1 1 0.0004642 0.00328 0.01794 0.02263 0.1599 0.8749 json
t12_x8_u0_b97 12 8 0 97 sqt(min(P,dot(R,R))) 26061 97770517 o1(o2(x,o2(x,x))) true 38335 38335 -0.07756 0.5 0.9224 0.8789 0.9375 -1 1 2 1 2.291 0.004418 0.0001694 0.01448 0.9261 1 -0.000009077 0.007957 0.01097 0.004378 0.06617 4.569 1 0.005219 0.009053 1 1 0.006415 0.04083 0.2712 0.007299 0.04646 0.3086 json
t12_x8_u0_b98 12 8 0 98 sqt(min(P,dst(R,R))) 26062 97770518 o1(o2(x,o2(x,x))) true 38343 38343 -0.5 0 0.5 0.25 0.5 -1 0 1 1 1 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01587 0.03175 1 1 0.005263 0.02105 0.08421 0.02105 0.08421 0.3368 json
t12_x8_u0_b99 12 8 0 99 sqt(dot(P,add(R,R))) 26063 97770519 o1(o2(x,o2(x,x))) true 38351 38351 -0.9163 0.04297 0.9977 0.1566 0.3958 -1 1 2 1 0.3043 0.01782 0.01427 0.01681 0.1105 1 2.065e-10 0.06736 0.03306 0.03179 0.1783 10.61 2.828 0.2048 0.43 1 1 0.03702 0.1533 0.4065 0.2363 0.9786 2.595 json
t12_x8_u0_b100 12 8 0 100 sqt(dot(P,sub(R,R))) 26064 97770520 o1(o2(x,o2(x,x))) true 38359 38359 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_x8_u0_b101 12 8 0 101 sqt(dot(P,mlt(R,R))) 26065 97770521 o1(o2(x,o2(x,x))) true 38367 38367 -0.4109 0.3086 0.9719 0.7888 0.8881 -1 1 2 1 1.421 0.01414 0.0165 0.0215 -0.07723 1 -0.00002162 0.0628 0.03506 0.03019 0.1737 8.082 2.828 0.03884 0.07962 1 1 0.03539 0.1627 0.5642 0.04487 0.2063 0.7153 json
t12_x8_u0_b102 12 8 0 102 sqt(dot(P,div(R,R))) 26066 97770522 o1(o2(x,o2(x,x))) true 38375 38375 -0.09662 0.457 0.9893 0.9765 0.9882 -1 1 2 1 1.207 0.009243 0.01025 0.0136 -0.05168 1 9.769e-7 0.04054 0.0235 0.01932 0.139 10.22 2.828 0.01996 0.04152 1 1 0.02765 0.1273 0.6046 0.02832 0.1303 0.6191 json
t12_x8_u0_b103 12 8 0 103 sqt(dot(P,pow(R,R))) 26067 97770523 o1(o2(x,o2(x,x))) true 38383 38383 -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_x8_u0_b104 12 8 0 104 sqt(dot(P,mod(R,R))) 26068 97770524 o1(o2(x,o2(x,x))) true 38391 38391 -0.4659 0.2683 0.6747 0.4309 0.6565 -1 1 2 1 2.081 0.03247 0.03031 0.06067 0.0343 1 0.000001768 0.1282 0.09632 0.05909 0.2431 4.007 2.828 0.1457 0.2974 1 1 0.06997 0.3211 1.032 0.1624 0.7451 2.394 json
t12_x8_u0_b105 12 8 0 105 sqt(dot(P,lrg(R,R))) 26069 97770525 o1(o2(x,o2(x,x))) true 38399 38399 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_x8_u0_b106 12 8 0 106 sqt(dot(P,eql(R,R))) 26070 97770526 o1(o2(x,o2(x,x))) true 38407 38407 -0.07585 0.4688 0.9866 0.976 0.9879 -1 1 2 1 1.255 0.009065 0.009065 0.0139 -5.137e-8 1 0.000001956 0.03792 0.02314 0.01794 0.1339 9.633 2.828 0.01858 0.03886 1 1 0.02495 0.1194 0.5953 0.02557 0.1223 0.6099 json
t12_x8_u0_b107 12 8 0 107 sqt(dot(P,min(R,R))) 26071 97770527 o1(o2(x,o2(x,x))) true 38415 38415 -0.9191 0.04297 0.995 0.1477 0.3843 -1 1 2 1 0.3393 0.01654 0.0138 0.01665 0.09025 1 1.502e-11 0.06365 0.03211 0.03005 0.1733 10.41 2.828 0.2054 0.431 1 1 0.03478 0.1452 0.3789 0.2355 0.9833 2.566 json
t12_x8_u0_b108 12 8 0 108 sqt(dot(P,dot(R,R))) 26072 97770528 o1(o2(x,o2(x,x))) true 38423 38423 -0.08154 0.4688 0.981 0.9667 0.9832 -1 1 2 1 1.367 0.0085 0.008435 0.01406 0.003788 1 1.676e-7 0.03524 0.02275 0.01673 0.1293 9.198 2.828 0.01752 0.03645 1 1 0.02381 0.1146 0.5778 0.02463 0.1186 0.5977 json
t12_x8_u0_b109 12 8 0 109 sqt(dot(P,dst(R,R))) 26073 97770529 o1(o2(x,o2(x,x))) true 38431 38431 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_x8_u0_b110 12 8 0 110 sqt(dst(P,add(R,R))) 26074 97770530 o1(o2(x,o2(x,x))) true 38439 38439 1 1 1 7.873e-7 0.0008873 0.9482 1 0.05177 1 0 1.223e-7 1.739e-7 0.00001473 -0.1744 0 2.253e-11 3.114e-7 0.0000166 2.958e-7 0.0005439 36.93 0.03179 0.3762 0.3956 1 1 8.332e-7 0.000002861 0.000002861 1.058 3.634 3.634 json
t12_x8_u0_b111 12 8 0 111 sqt(dst(P,sub(R,R))) 26075 97770531 o1(o2(x,o2(x,x))) true 38447 38447 0.9963 1 0.9963 0.002333 0.0483 0.000582 1 0.9994 1 0.0975 0.00003754 0.00003754 0.0008214 -9.69e-8 0 -1.427e-10 0.000006666 0.0002158 0.00007432 0.008621 10.5 0.1194 0.03219 0.002858 1 1 0.00026 0.003287 0.008516 0.1114 1.409 3.651 json
t12_x8_u0_b112 12 8 0 112 sqt(dst(P,mlt(R,R))) 26076 97770532 o1(o2(x,o2(x,x))) true 38455 38455 0.9997 1 0.9997 0.00002227 0.00472 0.8812 1 0.1188 1 0.01761 8.773e-7 0.000001064 0.0001025 -0.09602 0 7.133e-11 0.00000105 0.00006589 0.000001929 0.001389 13.55 0.04707 0.08714 0.04715 1 1 0.000006067 0.0000491 0.00008132 0.2724 2.204 3.651 json
t12_x8_u0_b113 12 8 0 113 sqt(dst(P,div(R,R))) 26077 97770533 o1(o2(x,o2(x,x))) true 38463 38463 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_x8_u0_b114 12 8 0 114 sqt(dst(P,pow(R,R))) 26078 97770534 o1(o2(x,o2(x,x))) true 38471 38471 -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_x8_u0_b115 12 8 0 115 sqt(dst(P,mod(R,R))) 26079 97770535 o1(o2(x,o2(x,x))) true 38479 38479 0.9962 1 0.9962 0.002366 0.04864 0.0005676 1 0.9994 1 0.1005 0.00003823 0.00003605 0.0008338 0.02937 0 1.689e-11 0.00000682 0.0002237 0.00007348 0.008572 10.28 0.1169 0.03139 0.002882 1 1 0.0002571 0.003254 0.008641 0.1086 1.375 3.652 json
t12_x8_u0_b116 12 8 0 116 sqt(dst(P,lrg(R,R))) 26080 97770536 o1(o2(x,o2(x,x))) true 38487 38487 0.9963 1 0.9963 0.002333 0.0483 0.000582 1 0.9994 1 0.0975 0.00003754 0.00003754 0.0008214 -9.69e-8 0 -1.427e-10 0.000006666 0.0002158 0.00007432 0.008621 10.5 0.1194 0.03219 0.002858 1 1 0.00026 0.003287 0.008516 0.1114 1.409 3.651 json
t12_x8_u0_b117 12 8 0 117 sqt(dst(P,eql(R,R))) 26081 97770537 o1(o2(x,o2(x,x))) true 38495 38495 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_x8_u0_b118 12 8 0 118 sqt(dst(P,min(R,R))) 26082 97770538 o1(o2(x,o2(x,x))) true 38503 38503 0.9994 1 0.9994 0.00007766 0.008813 0.7699 1 0.2301 1 0.04038 0.000003024 0.00000416 0.000203 -0.1581 0 8.635e-11 0.000003262 0.0001352 0.000007139 0.002672 13.16 0.07851 0.09251 0.04201 1 1 0.00002297 0.0001884 0.0002824 0.2958 2.426 3.637 json
t12_x8_u0_b119 12 8 0 119 sqt(dst(P,dot(R,R))) 26083 97770539 o1(o2(x,o2(x,x))) true 38511 38511 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_x8_u0_b120 12 8 0 120 sqt(dst(P,dst(R,R))) 26084 97770540 o1(o2(x,o2(x,x))) true 38519 38519 0.9963 1 0.9963 0.002333 0.0483 0.000582 1 0.9994 1 0.0975 0.00003754 0.00003754 0.0008214 -9.69e-8 0 -1.427e-10 0.000006666 0.0002158 0.00007432 0.008621 10.5 0.1194 0.03219 0.002858 1 1 0.00026 0.003287 0.008516 0.1114 1.409 3.651 json
t12_x8_u1_b0 12 8 1 0 log(add(P,add(R,R))) 26085 97770621 o1(o2(x,o2(x,x))) true 38527 38527 -0.2013 0.4097 0.9475 0.8872 0.9419 -1 1 2 1 1.845 0.009466 0.005667 0.01866 0.2511 1 -0.000003067 0.02852 0.02082 0.01479 0.1216 6.517 2.828 0.01706 0.03215 1 1 0.0168 0.08956 0.3286 0.01894 0.1009 0.3704 json
t12_x8_u1_b1 12 8 1 1 log(add(P,sub(R,R))) 26086 97770622 o1(o2(x,o2(x,x))) true 38535 38535 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0.005854 0.03284 0.2495 0.006466 0.03627 0.2755 json
t12_x8_u1_b2 12 8 1 2 log(add(P,mlt(R,R))) 26087 97770623 o1(o2(x,o2(x,x))) true 38543 38543 -0.1136 0.4582 0.9377 0.9012 0.9493 -1 1 2 1 1.998 0.001174 0.0001088 0.008894 0.8303 1 0.000001763 0.0008826 0.003694 0.001203 0.03469 3.9 0.9036 0.001423 0.0009793 1 1 0.002759 0.0298 0.2264 0.003061 0.03307 0.2512 json
t12_x8_u1_b3 12 8 1 3 log(add(P,div(R,R))) 26088 97770624 o1(o2(x,o2(x,x))) true 38551 38551 -0.04834 0.5 0.9505 0.9322 0.9655 -1 1 2 1 1.695 0.004052 0.00003044 0.007967 0.9851 1 1.421e-8 0.007649 0.008748 0.004018 0.06339 7.956 1 0.00438 0.008206 1 1 0.005854 0.03284 0.2495 0.00628 0.03523 0.2676 json
t12_x8_u1_b4 12 8 1 4 log(add(P,pow(R,R))) 26089 97770625 o1(o2(x,o2(x,x))) true 38559 38559 -0.9877 0.00618 0.9974 0.02105 0.1451 -1 1 2 1 0.08838 0.001793 0.002485 0.002742 -0.1617 1 4.13e-11 0.00897 0.005124 0.004268 0.06533 23.83 2.309 0.2032 0.4261 1 1 0.0003159 0.002213 0.01837 0.01501 0.1051 0.8725 json
t12_x8_u1_b5 12 8 1 5 log(add(P,mod(R,R))) 26090 97770626 o1(o2(x,o2(x,x))) true 38567 38567 -0.1728 0.4313 0.9548 0.9075 0.9526 -1 1 2 1 1.726 0.004213 0.0002298 0.008739 0.8966 1 -0.000001767 0.008144 0.008936 0.004368 0.06609 7.562 1.53 0.004896 0.008975 1 1 0.006173 0.03687 0.2572 0.006802 0.04063 0.2834 json
t12_x8_u1_b6 12 8 1 6 log(add(P,lrg(R,R))) 26091 97770627 o1(o2(x,o2(x,x))) true 38575 38575 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0.005854 0.03284 0.2495 0.006466 0.03627 0.2755 json
t12_x8_u1_b7 12 8 1 7 log(add(P,eql(R,R))) 26092 97770628 o1(o2(x,o2(x,x))) true 38583 38583 -0.0489 0.5 0.9511 0.9333 0.9661 -1 1 2 1 1.686 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004485 0.008482 1 1 0.005854 0.03284 0.2495 0.006272 0.03518 0.2673 json
t12_x8_u1_b8 12 8 1 8 log(add(P,min(R,R))) 26093 97770629 o1(o2(x,o2(x,x))) true 38591 38591 -0.1673 0.4309 0.9452 0.8957 0.9464 -1 1 2 1 1.894 0.004781 0.001118 0.01117 0.621 1 -0.00000778 0.01094 0.01069 0.005773 0.07598 6.805 2.243 0.006586 0.01222 1 1 0.008194 0.04618 0.2573 0.009148 0.05156 0.2872 json
t12_x8_u1_b9 12 8 1 9 log(add(P,dot(R,R))) 26094 97770630 o1(o2(x,o2(x,x))) true 38599 38599 -0.04083 0.4902 0.9511 0.9291 0.9639 -1 1 2 1 1.898 0.003084 0.0007887 0.01075 0.5927 1 -0.000001063 0.006211 0.00775 0.00376 0.06132 5.705 2.162 0.004168 0.006685 1 1 0.006226 0.04334 0.2701 0.006701 0.04664 0.2907 json
t12_x8_u1_b10 12 8 1 10 log(add(P,dst(R,R))) 26095 97770631 o1(o2(x,o2(x,x))) true 38607 38607 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0.005854 0.03284 0.2495 0.006466 0.03627 0.2755 json
t12_x8_u1_b11 12 8 1 11 log(sub(P,add(R,R))) 26096 97770632 o1(o2(x,o2(x,x))) true 38615 38615 -0.2552 0.3789 0.9778 0.9032 0.9503 -1 1 2 1 1.415 0.01067 0.002534 0.01281 0.6162 1 -0.000001661 0.02533 0.0165 0.01305 0.1142 8.919 2 0.01462 0.02804 1 1 0.02054 0.09761 0.3356 0.02274 0.1081 0.3716 json
t12_x8_u1_b12 12 8 1 12 log(sub(P,sub(R,R))) 26097 97770633 o1(o2(x,o2(x,x))) true 38623 38623 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0.005854 0.03284 0.2495 0.006466 0.03627 0.2755 json
t12_x8_u1_b13 12 8 1 13 log(sub(P,mlt(R,R))) 26098 97770634 o1(o2(x,o2(x,x))) true 38631 38631 -0.2071 0.4071 0.9456 0.8836 0.94 -1 1 2 1 1.825 0.002007 0.0001074 0.008832 0.8984 1 -0.000001383 0.002825 0.005396 0.002035 0.04511 5.108 1 0.002393 0.003197 1 1 0.004017 0.03229 0.244 0.004546 0.03654 0.2761 json
t12_x8_u1_b14 12 8 1 14 log(sub(P,div(R,R))) 26099 97770635 o1(o2(x,o2(x,x))) true 38639 38639 -0.2949 0.375 0.9471 0.8432 0.9183 -1 1 2 1 1.648 0.003147 0.0001572 0.008086 0.9049 1 2.923e-9 0.005565 0.007479 0.003239 0.05691 7.038 1.411 0.003919 0.0066 1 1 0.0051 0.03122 0.2453 0.006048 0.03702 0.2909 json