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
t11_x1_u2_b2 11 1 2 2 sqt(mlt(P,frc(D))) 14900 89367416 o1(o2(x,o1(x))) true 119207 119207 -0.08364 0.4961 0.9164 0.879 0.9375 -1 1 2 1 2.09 0.01989 0 0.04446 1 1 2.838e-9 0.04401 0.05926 0.0179 0.1338 3.01 1 0.02263 0.05007 1 1 0 0 0.02079 0 0 0.02366 json
t11_x1_u2_b3 11 1 2 3 sqt(div(P,frc(D))) 14901 89367417 o1(o2(x,o1(x))) true 119215 119215 -0.02477 0.5 0.9752 0.9687 0.9842 -1 1 2 1 1.32 0.004397 0 0.007937 1 1 1.419e-9 0.00782 0.008813 0.004332 0.06582 8.293 1.002 0.004539 0.008074 1 1 0 0 0.006476 0 0 0.006686 json
t11_x1_u2_b4 11 1 2 4 sqt(pow(P,frc(D))) 14902 89367418 o1(o2(x,o1(x))) true 119223 119223 -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 0 0.006228 0 0 0.006485 json
t11_x1_u2_b5 11 1 2 5 sqt(mod(P,frc(D))) 14903 89367419 o1(o2(x,o1(x))) true 119231 119231 -0.2675 0.4688 0.67 0.5 0.7071 -1 0.8811 1.881 1 2.86 0.08026 0 0.14 1 1 0.0009219 0.229 0.2398 0.06066 0.2463 1.759 1 0.1605 0.4579 1 1 0 0 0.04583 0 0 0.09165 json
t11_x1_u2_b6 11 1 2 6 sqt(lrg(P,frc(D))) 14904 89367420 o1(o2(x,o1(x))) true 119239 119239 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 0 0.0009255 0 0 0.00382 json
t11_x1_u2_b7 11 1 2 7 sqt(eql(P,frc(D))) 14905 89367421 o1(o2(x,o1(x))) true 119247 119247 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
t11_x1_u2_b8 11 1 2 8 sqt(min(P,frc(D))) 14906 89367422 o1(o2(x,o1(x))) true 119255 119255 -0.1818 0.4961 0.8181 0.7045 0.8393 -1 0.9843 1.984 1 2.837 0.02388 0 0.0526 1 1 0.0001326 0.05199 0.06071 0.02112 0.1453 2.762 1 0.0339 0.07381 1 1 0 0 0.02395 0 0 0.034 json
t11_x1_u2_b9 11 1 2 9 sqt(dot(P,frc(D))) 14907 89367423 o1(o2(x,o1(x))) true 119263 119263 -0.1054 0.4575 0.9797 0.9587 0.9791 -1 1 2 1 1.446 0.1272 0.1272 0.1486 -8.787e-7 1 0.001128 0.6951 0.2827 0.2324 0.482 3.244 2.828 0.2653 0.725 1 1 0 0 0.2403 0 0 0.2507 json
t11_x1_u2_b10 11 1 2 10 sqt(dst(P,frc(D))) 14908 89367424 o1(o2(x,o1(x))) true 119271 119271 0.9984 1 0.9984 0.0005742 0.02396 0.2107 1 0.7893 1 0.06542 0.0001445 0.0001445 0.0008479 -5.035e-8 1 1.502e-11 0.000694 0.001267 0.000288 0.01697 20.02 1.095 0.5034 1.209 1 1 0 0 0.0004803 0 0 0.8365 json
t11_x1_u3_b0 11 1 3 0 sqt(add(P,flr(D))) 14909 89367615 o1(o2(x,o1(x))) true 119279 119279 -0.0625 0.4375 0.9375 0.9336 0.9662 -1 1 2 1 1.272 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.008501 0.017 1 1 0 0 0.01053 0 0 0.01128 json
t11_x1_u3_b1 11 1 3 1 sqt(sub(P,flr(D))) 14910 89367616 o1(o2(x,o1(x))) true 119287 119287 -0.02539 0.5 0.9746 0.9688 0.9843 -1 1 2 1 1.276 0.00449 0 0.007936 1 1 4.735e-10 0.007941 0.009175 0.004426 0.06653 8.383 1 0.004635 0.008197 1 1 0 0 0.006645 0 0 0.00686 json
t11_x1_u3_b2 11 1 3 2 sqt(mlt(P,flr(D))) 14911 89367617 o1(o2(x,o1(x))) true 119295 119295 -0.2227 0.4375 0.7773 0.6983 0.8357 -1 1 2 1 2.367 0.03609 0 0.05918 1 1 -0.0002377 0.06512 0.07504 0.0326 0.1805 3.051 1 0.05168 0.09325 1 1 0 0 0.03852 0 0 0.05516 json
t11_x1_u3_b3 11 1 3 3 sqt(div(P,flr(D))) 14912 89367618 o1(o2(x,o1(x))) true 119303 119303 -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
t11_x1_u3_b4 11 1 3 4 sqt(pow(P,flr(D))) 14913 89367619 o1(o2(x,o1(x))) true 119311 119311 0.01161 0.5625 0.8866 0.8215 0.9063 -1 1 2 1 2.589 0.02274 0 0.03414 1 1 -0.00005809 0.0443 0.04283 0.02158 0.1469 4.303 2 0.02768 0.05392 1 1 0 0 0.02729 0 0 0.03322 json
t11_x1_u3_b5 11 1 3 5 sqt(mod(P,flr(D))) 14914 89367620 o1(o2(x,o1(x))) true 119319 119319 -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
t11_x1_u3_b6 11 1 3 6 sqt(lrg(P,flr(D))) 14915 89367621 o1(o2(x,o1(x))) true 119327 119327 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 0 0.007036 0 0 0.02976 json
t11_x1_u3_b7 11 1 3 7 sqt(eql(P,flr(D))) 14916 89367622 o1(o2(x,o1(x))) true 119335 119335 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.008638 0 0.01587 1 1 -4.731e-10 0.016 0.01772 0.008384 0.09157 5.77 0.9997 0.1917 0.3551 1 1 0 0 0.0123 0 0 0.2729 json
t11_x1_u3_b8 11 1 3 8 sqt(min(P,flr(D))) 14917 89367623 o1(o2(x,o1(x))) true 119343 119343 -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
t11_x1_u3_b9 11 1 3 9 sqt(dot(P,flr(D))) 14918 89367624 o1(o2(x,o1(x))) true 119351 119351 -0.5476 0.2461 0.9524 0.6408 0.8005 -1 1 2 1 1.315 0.01132 0.01132 0.02809 5.76e-7 1 -0.0001309 0.04517 0.04125 0.02182 0.1477 5.258 2.236 0.03533 0.07049 1 1 0 0 0.02729 0 0 0.0426 json
t11_x1_u3_b10 11 1 3 10 sqt(dst(P,flr(D))) 14919 89367625 o1(o2(x,o1(x))) true 119359 119359 0.9976 1 0.9976 0.001643 0.04053 0.0008231 1 0.9992 1 0.05795 0.0003792 0.0003792 0.001437 1.151e-7 1 -1.727e-10 0.001525 0.001919 0.0007572 0.02752 19.15 1.413 0.4616 0.9283 1 1 0 0 0.001471 0 0 0.8953 json
t11_x1_u4_b0 11 1 4 0 sqt(add(P,cil(D))) 14920 89367816 o1(o2(x,o1(x))) true 119367 119367 0.0625 0.5 0.9375 0.9336 0.9662 -1 1 2 1 1.272 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.008501 0.017 1 1 0 0 0.01053 0 0 0.01128 json
t11_x1_u4_b1 11 1 4 1 sqt(sub(P,cil(D))) 14921 89367817 o1(o2(x,o1(x))) true 119375 119375 -0.1504 0.4375 0.9746 0.9478 0.9736 -1 1 2 1 1.258 0.00449 0 0.007936 1 1 4.735e-10 0.007941 0.009175 0.004426 0.06653 8.383 1 0.004738 0.008378 1 1 0 0 0.006645 0 0 0.007011 json
t11_x1_u4_b2 11 1 4 2 sqt(mlt(P,cil(D))) 14922 89367818 o1(o2(x,o1(x))) true 119383 119383 -0.2227 0.4375 0.7773 0.6983 0.8356 -1 1 2 1 2.367 0.0361 0 0.05942 1 1 -0.0002377 0.06512 0.07504 0.03258 0.1805 3.037 1 0.0517 0.09325 1 1 0 0 0.04108 0 0 0.05883 json
t11_x1_u4_b3 11 1 4 3 sqt(div(P,cil(D))) 14923 89367819 o1(o2(x,o1(x))) true 119391 119391 -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
t11_x1_u4_b4 11 1 4 4 sqt(pow(P,cil(D))) 14924 89367820 o1(o2(x,o1(x))) true 119399 119399 -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 0 0.006228 0 0 0.006485 json
t11_x1_u4_b5 11 1 4 5 sqt(mod(P,cil(D))) 14925 89367821 o1(o2(x,o1(x))) true 119407 119407 -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
t11_x1_u4_b6 11 1 4 6 sqt(lrg(P,cil(D))) 14926 89367822 o1(o2(x,o1(x))) true 119415 119415 0.4375 0.5 0.4375 0.2326 0.4823 0 1 1 1 1.565 0.00467 0 0.0119 1 1 -4.731e-10 0.008068 0.009787 0.004528 0.06729 5.654 0.9994 0.02008 0.03469 1 1 0 0 0.007036 0 0 0.03025 json
t11_x1_u4_b7 11 1 4 7 sqt(eql(P,cil(D))) 14927 89367823 o1(o2(x,o1(x))) true 119423 119423 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.008638 0 0.01587 1 1 -4.731e-10 0.016 0.01772 0.008384 0.09157 5.77 0.9997 0.1917 0.3551 1 1 0 0 0.0123 0 0 0.2729 json
t11_x1_u4_b8 11 1 4 8 sqt(min(P,cil(D))) 14928 89367824 o1(o2(x,o1(x))) true 119431 119431 -0.2813 0.4375 0.7188 0.592 0.7694 -1 0.9997 2 1 2.619 0.03418 0 0.05947 1 1 -0.00008984 0.06425 0.06987 0.03065 0.1751 2.944 1 0.05774 0.1085 1 1 0 0 0.03845 0 0 0.06494 json
t11_x1_u4_b9 11 1 4 9 sqt(dot(P,cil(D))) 14929 89367825 o1(o2(x,o1(x))) true 119439 119439 -0.5476 0.2461 0.9524 0.6414 0.8009 -1 1 2 1 1.315 0.01132 0.01132 0.02758 -0.000001727 1 -0.0001309 0.04517 0.04125 0.02187 0.1479 5.362 2 0.0353 0.07042 1 1 0 0 0.02838 0 0 0.04424 json
t11_x1_u4_b10 11 1 4 10 sqt(dst(P,cil(D))) 14930 89367826 o1(o2(x,o1(x))) true 119447 119447 0.9976 1 0.9976 0.001643 0.04053 0.0008231 1 0.9992 1 0.05795 0.0003792 0.0003792 0.001437 1.151e-7 1 -1.727e-10 0.001525 0.001919 0.000757 0.02751 19.15 1.413 0.4616 0.9283 1 1 0 0 0.001471 0 0 0.8953 json
t11_x1_u5_b0 11 1 5 0 sqt(add(P,sgn(D))) 14931 89368017 o1(o2(x,o1(x))) true 119455 119455 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.02019 0 0.01587 1 1 0 0.03985 0.02473 0.01993 0.1412 8.897 2 0.02102 0.04149 1 1 0 0 0.02712 0 0 0.02824 json
t11_x1_u5_b1 11 1 5 1 sqt(sub(P,sgn(D))) 14932 89368018 o1(o2(x,o1(x))) true 119463 119463 -0.148 0.4375 0.9771 0.951 0.9752 -1 1 2 1 1.226 0.004587 0 0.007937 1 1 -9.459e-10 0.007993 0.009453 0.004523 0.06725 8.474 1.001 0.004823 0.008405 1 1 0 0 0.006867 0 0 0.007221 json
t11_x1_u5_b2 11 1 5 2 sqt(mlt(P,sgn(D))) 14933 89368019 o1(o2(x,o1(x))) true 119471 119471 -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
t11_x1_u5_b3 11 1 5 3 sqt(div(P,sgn(D))) 14934 89368020 o1(o2(x,o1(x))) true 119479 119479 -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
t11_x1_u5_b4 11 1 5 4 sqt(pow(P,sgn(D))) 14935 89368021 o1(o2(x,o1(x))) true 119487 119487 -0.1017 0.5 0.8983 0.8418 0.9175 -1 1 2 1 2.368 0.01209 0 0.03409 1 1 -0.0002059 0.02102 0.03997 0.01092 0.1045 3.066 1 0.01436 0.02497 1 1 0 0 0.01352 0 0 0.01606 json
t11_x1_u5_b5 11 1 5 5 sqt(mod(P,sgn(D))) 14936 89368022 o1(o2(x,o1(x))) true 119495 119495 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
t11_x1_u5_b6 11 1 5 6 sqt(lrg(P,sgn(D))) 14937 89368023 o1(o2(x,o1(x))) true 119503 119503 0.4688 0.5625 0.4688 0.2287 0.4783 0 1 1 1 1.79 0.008986 0 0.01983 1 1 -4.731e-10 0.01612 0.01865 0.008594 0.0927 4.674 0.9994 0.03929 0.07047 1 1 0 0 0.01315 0 0 0.05748 json
t11_x1_u5_b7 11 1 5 7 sqt(eql(P,sgn(D))) 14938 89368024 o1(o2(x,o1(x))) true 119511 119511 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.008638 0 0.01587 1 1 -4.731e-10 0.016 0.01772 0.008384 0.09157 5.77 0.9997 0.1917 0.3551 1 1 0 0 0.0123 0 0 0.2729 json
t11_x1_u5_b8 11 1 5 8 sqt(min(P,sgn(D))) 14939 89368025 o1(o2(x,o1(x))) true 119519 119519 -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
t11_x1_u5_b9 11 1 5 9 sqt(dot(P,sgn(D))) 14940 89368026 o1(o2(x,o1(x))) true 119527 119527 -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
t11_x1_u5_b10 11 1 5 10 sqt(dst(P,sgn(D))) 14941 89368027 o1(o2(x,o1(x))) true 119535 119535 0.998 1 0.998 0.001368 0.03698 0.001008 1 0.999 1 0.0469 0.000354 0.000354 0.001298 0 1 6.382e-11 0.001431 0.001795 0.0007056 0.02656 20.46 1.413 0.5177 1.046 1 1 0 0 0.001384 0 0 1.012 json
t11_x1_u6_b0 11 1 6 0 sqt(add(P,nrm(D))) 14942 89368218 o1(o2(x,o1(x))) true 119543 119543 -0.02184 0.5 0.9782 0.9655 0.9826 -1 1 2 1 1.463 0.00864 0.0003498 0.01154 0.9222 1 -0.00001435 0.01466 0.01332 0.008852 0.09408 8.15 1.84 0.009312 0.01518 1 1 0 0 0.0143 0 0 0.01481 json
t11_x1_u6_b1 11 1 6 1 sqt(sub(P,nrm(D))) 14943 89368219 o1(o2(x,o1(x))) true 119551 119551 -0.1329 0.4375 0.9921 0.9696 0.9847 -1 1 2 1 1.213 0.01447 0.0002495 0.011 0.9661 1 -0.00002741 0.031 0.01716 0.0146 0.1208 10.99 1.968 0.01518 0.03198 1 1 0 0 0.01857 0 0 0.01915 json
t11_x1_u6_b2 11 1 6 2 sqt(mlt(P,nrm(D))) 14944 89368220 o1(o2(x,o1(x))) true 119559 119559 -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
t11_x1_u6_b3 11 1 6 3 sqt(div(P,nrm(D))) 14945 89368221 o1(o2(x,o1(x))) true 119567 119567 -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
t11_x1_u6_b4 11 1 6 4 sqt(pow(P,nrm(D))) 14946 89368222 o1(o2(x,o1(x))) true 119575 119575 -0.07212 0.5 0.9279 0.886 0.9413 -1 1 2 1 2.237 0.006236 0.0003007 0.02527 0.908 1 0.0001154 0.01009 0.02286 0.005899 0.07681 3.04 1 0.007378 0.01139 1 1 0 0 0.009198 0 0 0.01038 json
t11_x1_u6_b5 11 1 6 5 sqt(mod(P,nrm(D))) 14947 89368223 o1(o2(x,o1(x))) true 119583 119583 -0.3024 0.4961 0.6976 0.509 0.7135 -1 0.8986 1.899 1 2.841 0.0188 0.01625 0.1052 0.07262 1 -0.0004447 0.1393 0.187 0.02398 0.1548 1.472 1 0.06885 0.2736 1 1 0 0 0.02785 0 0 0.05472 json
t11_x1_u6_b6 11 1 6 6 sqt(lrg(P,nrm(D))) 14948 89368224 o1(o2(x,o1(x))) true 119591 119591 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 0 0.007036 0 0 0.02976 json
t11_x1_u6_b7 11 1 6 7 sqt(eql(P,nrm(D))) 14949 89368225 o1(o2(x,o1(x))) true 119599 119599 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
t11_x1_u6_b8 11 1 6 8 sqt(min(P,nrm(D))) 14950 89368226 o1(o2(x,o1(x))) true 119607 119607 -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
t11_x1_u6_b9 11 1 6 9 sqt(dot(P,nrm(D))) 14951 89368227 o1(o2(x,o1(x))) true 119615 119615 -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
t11_x1_u6_b10 11 1 6 10 sqt(dst(P,nrm(D))) 14952 89368228 o1(o2(x,o1(x))) true 119623 119623 0.9992 1 0.9992 0.0002273 0.01508 0.4762 1 0.5238 1 0.04119 0.0000708 0.0000708 0.000751 -2.055e-7 1 0 0.0002492 0.0008406 0.0001412 0.01188 15.82 0.5031 0.6229 1.096 1 1 0 0 0.0003498 0 0 1.539 json
t11_x1_u7_b0 11 1 7 0 log(add(P,sqt(D))) 14953 89368419 o1(o2(x,o1(x))) true 119631 119631 -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
t11_x1_u7_b1 11 1 7 1 log(sub(P,sqt(D))) 14954 89368420 o1(o2(x,o1(x))) true 119639 119639 -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
t11_x1_u7_b2 11 1 7 2 log(mlt(P,sqt(D))) 14955 89368421 o1(o2(x,o1(x))) true 119647 119647 -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
t11_x1_u7_b3 11 1 7 3 log(div(P,sqt(D))) 14956 89368422 o1(o2(x,o1(x))) true 119655 119655 -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
t11_x1_u7_b4 11 1 7 4 log(pow(P,sqt(D))) 14957 89368423 o1(o2(x,o1(x))) true 119663 119663 -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
t11_x1_u7_b5 11 1 7 5 log(mod(P,sqt(D))) 14958 89368424 o1(o2(x,o1(x))) true 119671 119671 -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
t11_x1_u7_b6 11 1 7 6 log(lrg(P,sqt(D))) 14959 89368425 o1(o2(x,o1(x))) true 119679 119679 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 0.9887 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0 0 0.005263 0 0 0.02139 json
t11_x1_u7_b7 11 1 7 7 log(eql(P,sqt(D))) 14960 89368426 o1(o2(x,o1(x))) true 119687 119687 -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
t11_x1_u7_b8 11 1 7 8 log(min(P,sqt(D))) 14961 89368427 o1(o2(x,o1(x))) true 119695 119695 -0.4537 0.2773 0.8833 0.6368 0.798 -1 1 2 1 2.348 0.1039 0 0.1007 1 1 2.838e-9 0.1837 0.1082 0.09381 0.3063 3.04 2 0.1632 0.2884 1 1 0 0 0.1107 0 0 0.1739 json
t11_x1_u7_b9 11 1 7 9 log(dot(P,sqt(D))) 14962 89368428 o1(o2(x,o1(x))) true 119703 119703 -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
t11_x1_u7_b10 11 1 7 10 log(dst(P,sqt(D))) 14963 89368429 o1(o2(x,o1(x))) true 119711 119711 -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
t11_x1_u8_b0 11 1 8 0 log(add(P,log(D))) 14964 89368620 o1(o2(x,o1(x))) true 119719 119719 -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
t11_x1_u8_b1 11 1 8 1 log(sub(P,log(D))) 14965 89368621 o1(o2(x,o1(x))) true 119727 119727 -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
t11_x1_u8_b2 11 1 8 2 log(mlt(P,log(D))) 14966 89368622 o1(o2(x,o1(x))) true 119735 119735 -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
t11_x1_u8_b3 11 1 8 3 log(div(P,log(D))) 14967 89368623 o1(o2(x,o1(x))) true 119743 119743 -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
t11_x1_u8_b4 11 1 8 4 log(pow(P,log(D))) 14968 89368624 o1(o2(x,o1(x))) true 119751 119751 -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
t11_x1_u8_b5 11 1 8 5 log(mod(P,log(D))) 14969 89368625 o1(o2(x,o1(x))) true 119759 119759 -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
t11_x1_u8_b6 11 1 8 6 log(lrg(P,log(D))) 14970 89368626 o1(o2(x,o1(x))) true 119767 119767 -0.4648 0 0.4648 0.2487 0.4987 -1 0 1 1 0.9964 0.02778 0 0.02778 1 1 0 0.06349 0.05556 0.027 0.1643 5.915 1 0.1117 0.2553 1 1 0 0 0.03158 0 0 0.127 json
t11_x1_u8_b7 11 1 8 7 log(eql(P,log(D))) 14971 89368627 o1(o2(x,o1(x))) true 119775 119775 -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
t11_x1_u8_b8 11 1 8 8 log(min(P,log(D))) 14972 89368628 o1(o2(x,o1(x))) true 119783 119783 -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
t11_x1_u8_b9 11 1 8 9 log(dot(P,log(D))) 14973 89368629 o1(o2(x,o1(x))) true 119791 119791 -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
t11_x1_u8_b10 11 1 8 10 log(dst(P,log(D))) 14974 89368630 o1(o2(x,o1(x))) true 119799 119799 -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
t11_x1_u9_b0 11 1 9 0 log(add(P,frc(D))) 14975 89368821 o1(o2(x,o1(x))) true 119807 119807 -0.1043 0.4648 0.9468 0.9159 0.957 -1 1 2 1 1.836 0.003643 0 0.01538 1 1 5.44e-9 0.004883 0.0108 0.003404 0.05834 3.794 0.6462 0.003977 0.005331 1 1 0 0 0.006425 0 0 0.007015 json
t11_x1_u9_b1 11 1 9 1 log(sub(P,frc(D))) 14976 89368822 o1(o2(x,o1(x))) true 119815 119815 -0.2121 0.3945 0.9241 0.8599 0.9273 -1 1 2 1 1.764 0.005841 0 0.01074 1 1 0 0.0124 0.01706 0.005729 0.07569 7.047 0.9685 0.006793 0.01442 1 1 0 0 0.007271 0 0 0.008456 json
t11_x1_u9_b2 11 1 9 2 log(mlt(P,frc(D))) 14977 89368823 o1(o2(x,o1(x))) true 119823 119823 -0.415 0.3047 0.8889 0.6784 0.8236 -1 1 2 1 2.299 0.1058 0 0.1005 1 1 2.364e-9 0.207 0.1163 0.09569 0.3093 3.078 2 0.1559 0.3052 1 1 0 0 0.1076 0 0 0.1587 json
t11_x1_u9_b3 11 1 9 3 log(div(P,frc(D))) 14978 89368824 o1(o2(x,o1(x))) true 119831 119831 -0.1285 0.4375 0.9965 0.9768 0.9883 -1 1 2 1 1.141 0.01622 0 0.01012 1 1 -1.892e-9 0.0325 0.01855 0.01613 0.127 12.55 2 0.01661 0.03327 1 1 0 0 0.02148 0 0 0.02199 json
t11_x1_u9_b4 11 1 9 4 log(pow(P,frc(D))) 14979 89368825 o1(o2(x,o1(x))) true 119839 119839 -0.3016 0.4336 0.8234 0.6843 0.8273 -1 1 2 1 2.496 0.02602 0 0.05083 1 1 2.365e-9 0.05182 0.05677 0.02343 0.1531 3.011 1 0.03802 0.07572 1 1 0 0 0.02659 0 0 0.03885 json
t11_x1_u9_b5 11 1 9 5 log(mod(P,frc(D))) 14980 89368826 o1(o2(x,o1(x))) true 119847 119847 -0.9741 0 0.9741 0.01252 0.1119 -1 -0.2535 0.7465 1 0.5632 0.02008 0 0.04226 1 1 0.002487 0.05993 0.07444 0.01829 0.1352 3.2 0.7465 1.603 4.785 1 1 0 0 0.007535 0 0 0.6017 json
t11_x1_u9_b6 11 1 9 6 log(lrg(P,frc(D))) 14981 89368827 o1(o2(x,o1(x))) true 119855 119855 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 0.9887 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0 0 0.005263 0 0 0.02139 json
t11_x1_u9_b7 11 1 9 7 log(eql(P,frc(D))) 14982 89368828 o1(o2(x,o1(x))) true 119863 119863 -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
t11_x1_u9_b8 11 1 9 8 log(min(P,frc(D))) 14983 89368829 o1(o2(x,o1(x))) true 119871 119871 -0.8389 0 0.8389 0.08951 0.2992 -1 -0.03175 0.9683 1 1.755 0.02506 0 0.04969 1 1 0.0002836 0.04817 0.05377 0.02258 0.1503 3.024 0.9683 0.28 0.5382 1 1 0 0 0.0255 0 0 0.2849 json
t11_x1_u9_b9 11 1 9 9 log(dot(P,frc(D))) 14984 89368830 o1(o2(x,o1(x))) true 119879 119879 -0.2619 0.3867 0.911 0.8111 0.9006 -1 1 2 1 2.221 0.08495 0.08495 0.1437 -8.332e-7 1 0.000829 0.3821 0.2156 0.1492 0.3863 2.688 2.62 0.2095 0.4711 1 1 0 0 0.167 0 0 0.2058 json
t11_x1_u9_b10 11 1 9 10 log(dst(P,frc(D))) 14985 89368831 o1(o2(x,o1(x))) true 119887 119887 0.9564 0.9884 0.9638 0.03579 0.1892 -1 1 2 1 0.7339 0.001176 0.001176 0.006504 4.949e-7 1 -2.628e-11 0.005063 0.009983 0.002311 0.04808 7.391 1.37 0.06572 0.1415 1 1 0 0 0.003904 0 0 0.1091 json
t11_x1_u10_b0 11 1 10 0 log(add(P,flr(D))) 14986 89369022 o1(o2(x,o1(x))) true 119895 119895 -0.2067 0.375 0.9183 0.8621 0.9285 -1 1 2 1 1.491 0.006248 0 0.007937 1 1 0 0.0125 0.01587 0.006184 0.07864 9.908 1 0.007248 0.0145 1 1 0 0 0.008287 0 0 0.009613 json
t11_x1_u10_b1 11 1 10 1 log(sub(P,flr(D))) 14987 89369023 o1(o2(x,o1(x))) true 119903 119903 -0.1605 0.4375 0.9645 0.9279 0.9633 -1 1 2 1 1.488 0.004821 0 0.01037 1 1 1.893e-9 0.008698 0.01196 0.004715 0.06866 6.621 1 0.005195 0.009373 1 1 0 0 0.00702 0 0 0.007565 json
t11_x1_u10_b2 11 1 10 2 log(mlt(P,flr(D))) 14988 89369024 o1(o2(x,o1(x))) true 119911 119911 -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
t11_x1_u10_b3 11 1 10 3 log(div(P,flr(D))) 14989 89369025 o1(o2(x,o1(x))) true 119919 119919 -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
t11_x1_u10_b4 11 1 10 4 log(pow(P,flr(D))) 14990 89369026 o1(o2(x,o1(x))) true 119927 119927 -0.815 0 0.815 0.1142 0.338 -1 -0.0002017 0.9998 1 1.791 0.02931 0 0.05309 1 1 2.365e-9 0.05265 0.06281 0.02648 0.1627 3.065 0.9998 0.2566 0.4609 1 1 0 0 0.0318 0 0 0.2784 json
t11_x1_u10_b5 11 1 10 5 log(mod(P,flr(D))) 14991 89369027 o1(o2(x,o1(x))) true 119935 119935 -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
t11_x1_u10_b6 11 1 10 6 log(lrg(P,flr(D))) 14992 89369028 o1(o2(x,o1(x))) true 119943 119943 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 0.9887 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0 0 0.005263 0 0 0.02139 json
t11_x1_u10_b7 11 1 10 7 log(eql(P,flr(D))) 14993 89369029 o1(o2(x,o1(x))) true 119951 119951 -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
t11_x1_u10_b8 11 1 10 8 log(min(P,flr(D))) 14994 89369030 o1(o2(x,o1(x))) true 119959 119959 -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
t11_x1_u10_b9 11 1 10 9 log(dot(P,flr(D))) 14995 89369031 o1(o2(x,o1(x))) true 119967 119967 -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
t11_x1_u10_b10 11 1 10 10 log(dst(P,flr(D))) 14996 89369032 o1(o2(x,o1(x))) true 119975 119975 0.9398 0.9844 0.9711 0.07615 0.276 -1 1 2 1 0.7074 0.004699 0.004699 0.01206 0.000002577 1 4.318e-10 0.01947 0.01721 0.009243 0.09614 7.969 2.552 0.1234 0.2557 1 1 0 0 0.01708 0 0 0.2243 json
t11_x1_u11_b0 11 1 11 0 log(add(P,cil(D))) 14997 89369223 o1(o2(x,o1(x))) true 119983 119983 -0.08168 0.4375 0.9183 0.8989 0.9481 -1 1 2 1 1.531 0.006248 0 0.007937 1 1 0 0.0125 0.01587 0.006184 0.07864 9.908 1 0.006951 0.0139 1 1 0 0 0.008287 0 0 0.00922 json
t11_x1_u11_b1 11 1 11 1 log(sub(P,cil(D))) 14998 89369224 o1(o2(x,o1(x))) true 119991 119991 -0.2855 0.375 0.9645 0.8727 0.9342 -1 1 2 1 1.437 0.004821 0 0.01037 1 1 1.893e-9 0.008698 0.01196 0.004715 0.06866 6.621 1 0.005524 0.009967 1 1 0 0 0.00702 0 0 0.008044 json
t11_x1_u11_b2 11 1 11 2 log(mlt(P,cil(D))) 14999 89369225 o1(o2(x,o1(x))) true 119999 119999 -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