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_x7_u26_b4 11 7 26 4 flr(pow(R,sgn(D))) 18400 89614648 o1(o2(x,o1(x))) true 147207 147207 -0.9307 0.04297 0.9834 0.114 0.3376 -1 1 2 1 0.3846 0.0116 0.01111 0.01582 0.0217 1 -0.00002812 0.04671 0.02746 0.02245 0.1498 9.475 2.828 0.1992 0.4098 1 1 0 0 0.0177 0 0 0.1553 json
t11_x7_u26_b5 11 7 26 5 flr(mod(R,sgn(D))) 18401 89614649 o1(o2(x,o1(x))) true 147215 147215 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0 0 0.008731 0 0 0.0568 json
t11_x7_u26_b6 11 7 26 6 flr(lrg(R,sgn(D))) 18402 89614650 o1(o2(x,o1(x))) true 147223 147223 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 0 0.07073 0 0 0.4989 json
t11_x7_u26_b7 11 7 26 7 flr(eql(R,sgn(D))) 18403 89614651 o1(o2(x,o1(x))) true 147231 147231 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_x7_u26_b8 11 7 26 8 flr(min(R,sgn(D))) 18404 89614652 o1(o2(x,o1(x))) true 147239 147239 -0.7568 0 0.7568 0.1087 0.3297 -1 -0.000291 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 -0.000001419 0.05102 0.06666 0.02362 0.1537 2.186 0.9997 0.2627 0.4693 1 1 0 0 0.03085 0 0 0.2838 json
t11_x7_u26_b9 11 7 26 9 flr(dot(R,sgn(D))) 18405 89614653 o1(o2(x,o1(x))) true 147247 147247 -0.3997 0.1952 0.5836 0.3277 0.5725 -1 1 2 1 4.095 0.05576 0.05386 0.1519 0.01734 1 0.00005982 0.2077 0.1831 0.08653 0.2942 1.936 2.236 0.3344 0.6336 1 1 0 0 0.1225 0 0 0.3738 json
t11_x7_u26_b10 11 7 26 10 flr(dst(R,sgn(D))) 18406 89614654 o1(o2(x,o1(x))) true 147255 147255 0.8861 0.9996 0.8861 0.06611 0.2571 8.471e-8 1 1 1 1.592 0.01341 0.01348 0.05066 -0.002338 1 -0.00002711 0.05425 0.06577 0.02432 0.156 3.078 1.414 0.4068 0.8206 1 1 0 0 0.02905 0 0 0.4394 json
t11_x7_u27_b0 11 7 27 0 flr(add(R,nrm(D))) 18407 89614845 o1(o2(x,o1(x))) true 147263 147263 -0.4133 0.1859 0.5788 0.2981 0.546 -1 0.9995 2 1 4.21 0.07059 0.03637 0.1925 0.3199 1 -0.0003269 0.3095 0.2623 0.06992 0.2644 1.374 2.235 0.3588 1.038 1 1 0 0 0.1201 0 0 0.403 json
t11_x7_u27_b1 11 7 27 1 flr(sub(R,nrm(D))) 18408 89614846 o1(o2(x,o1(x))) true 147271 147271 -0.4166 0.1842 0.5781 0.2947 0.5428 -1 0.9994 1.999 1 4.209 0.07061 0.03649 0.1923 0.3186 1 -0.000151 0.3096 0.2628 0.07011 0.2648 1.377 2.238 0.3635 1.051 1 1 0 0 0.1202 0 0 0.4079 json
t11_x7_u27_b2 11 7 27 2 flr(mlt(R,nrm(D))) 18409 89614847 o1(o2(x,o1(x))) true 147279 147279 -0.4961 0 0.4961 0.147 0.3834 -1 0 1 1 3.664 0.04778 0.002278 0.1019 0.909 1 0.00001497 0.09324 0.1121 0.03968 0.1992 1.955 1 0.3406 0.6344 1 1 0 0 0.05494 0 0 0.3738 json
t11_x7_u27_b3 11 7 27 3 flr(div(R,nrm(D))) 18410 89614848 o1(o2(x,o1(x))) true 147287 147287 -0.3575 0.2357 0.6357 0.4172 0.6459 -1 1 2 1 4.021 0.2408 0.03706 0.257 0.7332 1 0.0003031 0.7234 0.4265 0.2118 0.4602 1.791 2.395 0.666 1.734 1 1 0 0 0.2547 0 0 0.6106 json
t11_x7_u27_b4 11 7 27 4 flr(pow(R,nrm(D))) 18411 89614849 o1(o2(x,o1(x))) true 147295 147295 -0.932 0.04297 0.982 0.1094 0.3308 -1 1 2 1 0.3964 0.01158 0.01116 0.01614 0.01857 1 -0.00001732 0.04712 0.02819 0.02246 0.1499 9.285 2.828 0.2078 0.4306 1 1 0 0 0.01766 0 0 0.1613 json
t11_x7_u27_b5 11 7 27 5 flr(mod(R,nrm(D))) 18412 89614850 o1(o2(x,o1(x))) true 147303 147303 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0 0 0.008731 0 0 0.0568 json
t11_x7_u27_b6 11 7 27 6 flr(lrg(R,nrm(D))) 18413 89614851 o1(o2(x,o1(x))) true 147311 147311 0.5028 0.9671 0.5028 0.1234 0.3512 0 1 1 1 3.75 0.0415 0.02441 0.1336 0.2592 1 -0.00003765 0.2031 0.1737 0.04805 0.2192 1.64 1.413 0.5343 1.646 1 1 0 0 0.07087 0 0 0.5745 json
t11_x7_u27_b7 11 7 27 7 flr(eql(R,nrm(D))) 18414 89614852 o1(o2(x,o1(x))) true 147319 147319 0.0001227 0.0004578 0.0001227 0.00007621 0.00873 0 0.9926 0.9926 1 0.00431 0.0001573 0.0001561 0.000426 0.00389 1 1.877e-12 0.001564 0.0009951 0.0003132 0.0177 41.54 1.404 4.113 20.52 1 1 0 0 0.0002312 0 0 3.034 json
t11_x7_u27_b8 11 7 27 8 flr(min(R,nrm(D))) 18415 89614853 o1(o2(x,o1(x))) true 147327 147327 -0.7568 0 0.7568 0.1087 0.3297 -1 -0.000291 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 -0.000001419 0.05102 0.06666 0.02362 0.1537 2.186 0.9997 0.2627 0.4693 1 1 0 0 0.03085 0 0 0.2838 json
t11_x7_u27_b9 11 7 27 9 flr(dot(R,nrm(D))) 18416 89614854 o1(o2(x,o1(x))) true 147335 147335 -0.4694 0.0527 0.5172 0.2003 0.4476 -1 0.9997 2 1 3.866 0.04472 0.0434 0.1453 0.01496 1 -0.000238 0.2752 0.2203 0.06698 0.2588 1.781 2.238 0.4399 1.374 1 1 0 0 0.09169 0 0 0.4578 json
t11_x7_u27_b10 11 7 27 10 flr(dst(R,nrm(D))) 18417 89614855 o1(o2(x,o1(x))) true 147343 147343 0.7495 0.9913 0.7495 0.1184 0.3441 0 1 1 1 2.713 0.03 0.03031 0.1037 -0.005095 1 0.00005776 0.1861 0.1579 0.04957 0.2226 2.148 1.414 0.5094 1.572 1 1 0 0 0.06329 0 0 0.5346 json
t11_x7_u28_b0 11 7 28 0 cil(add(R,sqt(D))) 18418 89615046 o1(o2(x,o1(x))) true 147351 147351 -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_x7_u28_b1 11 7 28 1 cil(sub(R,sqt(D))) 18419 89615047 o1(o2(x,o1(x))) true 147359 147359 -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_x7_u28_b2 11 7 28 2 cil(mlt(R,sqt(D))) 18420 89615048 o1(o2(x,o1(x))) true 147367 147367 -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_x7_u28_b3 11 7 28 3 cil(div(R,sqt(D))) 18421 89615049 o1(o2(x,o1(x))) true 147375 147375 -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_x7_u28_b4 11 7 28 4 cil(pow(R,sqt(D))) 18422 89615050 o1(o2(x,o1(x))) true 147383 147383 -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_x7_u28_b5 11 7 28 5 cil(mod(R,sqt(D))) 18423 89615051 o1(o2(x,o1(x))) true 147391 147391 -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_x7_u28_b6 11 7 28 6 cil(lrg(R,sqt(D))) 18424 89615052 o1(o2(x,o1(x))) true 147399 147399 0.635 1 0.635 0.1257 0.3545 0.000291 1 0.9997 1 3.424 0.04517 0.000886 0.1068 0.9615 1 0.00004312 0.08437 0.1117 0.03463 0.1861 1.742 0.9994 0.3664 0.6713 1 1 0 0 0.04966 0 0 0.3951 json
t11_x7_u28_b7 11 7 28 7 cil(eql(R,sqt(D))) 18425 89615053 o1(o2(x,o1(x))) true 147407 147407 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_x7_u28_b8 11 7 28 8 cil(min(R,sqt(D))) 18426 89615054 o1(o2(x,o1(x))) true 147415 147415 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0 0 0.008731 0 0 0.0568 json
t11_x7_u28_b9 11 7 28 9 cil(dot(R,sqt(D))) 18427 89615055 o1(o2(x,o1(x))) true 147423 147423 -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_x7_u28_b10 11 7 28 10 cil(dst(R,sqt(D))) 18428 89615056 o1(o2(x,o1(x))) true 147431 147431 -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_x7_u29_b0 11 7 29 0 cil(add(R,log(D))) 18429 89615247 o1(o2(x,o1(x))) true 147439 147439 -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_x7_u29_b1 11 7 29 1 cil(sub(R,log(D))) 18430 89615248 o1(o2(x,o1(x))) true 147447 147447 -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_x7_u29_b2 11 7 29 2 cil(mlt(R,log(D))) 18431 89615249 o1(o2(x,o1(x))) true 147455 147455 -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_x7_u29_b3 11 7 29 3 cil(div(R,log(D))) 18432 89615250 o1(o2(x,o1(x))) true 147463 147463 -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_x7_u29_b4 11 7 29 4 cil(pow(R,log(D))) 18433 89615251 o1(o2(x,o1(x))) true 147471 147471 -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_x7_u29_b5 11 7 29 5 cil(mod(R,log(D))) 18434 89615252 o1(o2(x,o1(x))) true 147479 147479 -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_x7_u29_b6 11 7 29 6 cil(lrg(R,log(D))) 18435 89615253 o1(o2(x,o1(x))) true 147487 147487 0.9748 1 0.9748 0.006511 0.08069 0.3285 1 0.6715 1 0.7826 0.003789 0.00008069 0.01809 0.9583 1 0.00003653 0.008169 0.02204 0.003542 0.05951 3.29 0.6715 0.5944 1.255 1 1 0 0 0.003544 0 0 0.5443 json
t11_x7_u29_b7 11 7 29 7 cil(eql(R,log(D))) 18436 89615254 o1(o2(x,o1(x))) true 147495 147495 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_x7_u29_b8 11 7 29 8 cil(min(R,log(D))) 18437 89615255 o1(o2(x,o1(x))) true 147503 147503 -0.1067 0.4642 0.5568 0.4514 0.6718 -1 0.9997 2 1 3.864 0.1886 0.00118 0.1913 0.9876 1 -0.0001506 0.3528 0.2831 0.1532 0.3914 2.046 2 0.4205 0.7816 1 1 0 0 0.2008 0 0 0.445 json
t11_x7_u29_b9 11 7 29 9 cil(dot(R,log(D))) 18438 89615256 o1(o2(x,o1(x))) true 147511 147511 -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_x7_u29_b10 11 7 29 10 cil(dst(R,log(D))) 18439 89615257 o1(o2(x,o1(x))) true 147519 147519 -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_x7_u30_b0 11 7 30 0 cil(add(R,frc(D))) 18440 89615448 o1(o2(x,o1(x))) true 147527 147527 0.7804 0.9776 0.7804 0.1212 0.3482 0 1 1 1 2.264 0.04394 0.001802 0.08549 0.9212 1 0.0001372 0.0922 0.1227 0.03844 0.196 2.293 1 0.3773 0.7606 1 1 0 0 0.04886 0 0 0.4031 json
t11_x7_u30_b1 11 7 30 1 cil(sub(R,frc(D))) 18441 89615449 o1(o2(x,o1(x))) true 147535 147535 0.01086 0.4874 0.4512 0.3443 0.5868 -1 1 2 1 4.547 0.09506 0.003781 0.1715 0.9235 1 -0.00006341 0.1979 0.2347 0.06943 0.2635 1.537 1.113 0.2871 0.5748 1 1 0 0 0.1005 0 0 0.292 json
t11_x7_u30_b2 11 7 30 2 cil(mlt(R,frc(D))) 18442 89615450 o1(o2(x,o1(x))) true 147543 147543 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0 0 0.008731 0 0 0.0568 json
t11_x7_u30_b3 11 7 30 3 cil(div(R,frc(D))) 18443 89615451 o1(o2(x,o1(x))) true 147551 147551 0.3001 0.6966 0.6919 0.5293 0.7275 -1 1 2 1 3.695 0.07088 0.01859 0.1481 0.5845 1 0.0001534 0.1745 0.193 0.06755 0.2599 1.755 2.355 0.169 0.3297 1 1 0 0 0.1025 0 0 0.1936 json
t11_x7_u30_b4 11 7 30 4 cil(pow(R,frc(D))) 18444 89615452 o1(o2(x,o1(x))) true 147559 147559 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0 0 0.02543 0 0 0.1546 json
t11_x7_u30_b5 11 7 30 5 cil(mod(R,frc(D))) 18445 89615453 o1(o2(x,o1(x))) true 147567 147567 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0 0 0.008731 0 0 0.0568 json
t11_x7_u30_b6 11 7 30 6 cil(lrg(R,frc(D))) 18446 89615454 o1(o2(x,o1(x))) true 147575 147575 0.2645 0.6326 0.2645 0.1234 0.3513 0 1 1 1 2.773 0.04309 0.001528 0.08949 0.9315 1 -0.00006966 0.09129 0.1174 0.03661 0.1913 2.138 1 0.3615 0.7397 1 1 0 0 0.04217 0 0 0.3417 json
t11_x7_u30_b7 11 7 30 7 cil(eql(R,frc(D))) 18447 89615455 o1(o2(x,o1(x))) true 147583 147583 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_x7_u30_b8 11 7 30 8 cil(min(R,frc(D))) 18448 89615456 o1(o2(x,o1(x))) true 147591 147591 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0 0 0.008731 0 0 0.0568 json
t11_x7_u30_b9 11 7 30 9 cil(dot(R,frc(D))) 18449 89615457 o1(o2(x,o1(x))) true 147599 147599 0.4758 0.8872 0.4946 0.1761 0.4196 -1 1 2 1 3.528 0.03607 0.03533 0.1343 0.01038 1 -0.0002411 0.2027 0.1972 0.05335 0.231 1.719 1.418 0.4055 1.151 1 1 0 0 0.06905 0 0 0.3922 json
t11_x7_u30_b10 11 7 30 10 cil(dst(R,frc(D))) 18450 89615458 o1(o2(x,o1(x))) true 147607 147607 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
t11_x7_u31_b0 11 7 31 0 cil(add(R,flr(D))) 18451 89615649 o1(o2(x,o1(x))) true 147615 147615 -0.01758 0.444 0.4126 0.2977 0.5456 -0.9997 0.9997 1.999 1 4.623 0.06716 0.002442 0.1391 0.9298 1 -0.00001781 0.1211 0.1361 0.05024 0.2241 1.611 1.007 0.2338 0.4067 1 1 0 0 0.07992 0 0 0.2685 json
t11_x7_u31_b1 11 7 31 1 cil(sub(R,flr(D))) 18452 89615650 o1(o2(x,o1(x))) true 147623 147623 0.7872 1 0.7872 0.1083 0.3291 0.000291 1 0.9997 1 2.425 0.03117 0.001219 0.07231 0.9247 1 -0.00006835 0.05697 0.07595 0.02717 0.1648 2.28 0.9997 0.299 0.5258 1 1 0 0 0.03835 0 0 0.354 json
t11_x7_u31_b2 11 7 31 2 cil(mlt(R,flr(D))) 18453 89615651 o1(o2(x,o1(x))) true 147631 147631 0.2607 0.7598 0.2607 0.1136 0.3371 0 0.9997 0.9997 1 2.903 0.03008 0.00118 0.07393 0.9245 1 0.00001639 0.05613 0.07221 0.02581 0.1607 2.173 0.9997 0.2752 0.494 1 1 0 0 0.03658 0 0 0.322 json
t11_x7_u31_b3 11 7 31 3 cil(div(R,flr(D))) 18454 89615652 o1(o2(x,o1(x))) true 147639 147639 -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_x7_u31_b4 11 7 31 4 cil(pow(R,flr(D))) 18455 89615653 o1(o2(x,o1(x))) true 147647 147647 -0.5781 0.2109 1 0.6661 0.8161 -1 1 2 1 0.7433 0.08151 0.06689 0.07361 0.09847 1 0 0.3136 0.1484 0.143 0.3782 5.137 2.828 0.2228 0.4707 1 1 0 0 0.1477 0 0 0.2217 json
t11_x7_u31_b5 11 7 31 5 cil(mod(R,flr(D))) 18456 89615654 o1(o2(x,o1(x))) true 147655 147655 -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_x7_u31_b6 11 7 31 6 cil(lrg(R,flr(D))) 18457 89615655 o1(o2(x,o1(x))) true 147663 147663 0.7432 1 0.7432 0.1126 0.3355 0.000291 1 0.9997 1 2.88 0.03004 0.00118 0.07441 0.9244 1 -0.000001422 0.05612 0.0721 0.02568 0.1603 2.154 0.9997 0.2773 0.4985 1 1 0 0 0.03636 0 0 0.323 json
t11_x7_u31_b7 11 7 31 7 cil(eql(R,flr(D))) 18458 89615656 o1(o2(x,o1(x))) true 147671 147671 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_x7_u31_b8 11 7 31 8 cil(min(R,flr(D))) 18459 89615657 o1(o2(x,o1(x))) true 147679 147679 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0 0 0.07073 0 0 0.4989 json
t11_x7_u31_b9 11 7 31 9 cil(dot(R,flr(D))) 18460 89615658 o1(o2(x,o1(x))) true 147687 147687 0.3503 0.812 0.4071 0.1856 0.4308 -0.9994 1 1.999 1 3.847 0.02458 0.02262 0.1063 0.04154 1 -0.00003119 0.08951 0.115 0.0359 0.1895 1.782 1.414 0.2543 0.4822 1 1 0 0 0.05264 0 0 0.2836 json
t11_x7_u31_b10 11 7 31 10 cil(dst(R,flr(D))) 18461 89615659 o1(o2(x,o1(x))) true 147695 147695 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
t11_x7_u32_b0 11 7 32 0 cil(add(R,cil(D))) 18462 89615850 o1(o2(x,o1(x))) true 147703 147703 0.7849 1 0.7849 0.1096 0.331 0.000291 1 0.9997 1 2.432 0.03126 0.001219 0.07173 0.925 1 -0.0000963 0.057 0.07618 0.02733 0.1653 2.305 0.9997 0.2964 0.5202 1 1 0 0 0.03874 0 0 0.3535 json
t11_x7_u32_b1 11 7 32 1 cil(sub(R,cil(D))) 18463 89615851 o1(o2(x,o1(x))) true 147711 147711 -0.01758 0.4472 0.408 0.2933 0.5415 -0.9997 0.9997 1.999 1 4.619 0.06698 0.002442 0.1384 0.9296 1 -0.00001781 0.121 0.136 0.05027 0.2242 1.62 1.007 0.2367 0.4127 1 1 0 0 0.07901 0 0 0.2694 json
t11_x7_u32_b2 11 7 32 2 cil(mlt(R,cil(D))) 18464 89615852 o1(o2(x,o1(x))) true 147719 147719 0.2432 0.7246 0.2432 0.1087 0.3297 0 0.9997 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 -0.00000142 0.05102 0.06666 0.02362 0.1537 2.186 0.9997 0.2627 0.4693 1 1 0 0 0.03085 0 0 0.2838 json
t11_x7_u32_b3 11 7 32 3 cil(div(R,cil(D))) 18465 89615853 o1(o2(x,o1(x))) true 147727 147727 -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_x7_u32_b4 11 7 32 4 cil(pow(R,cil(D))) 18466 89615854 o1(o2(x,o1(x))) true 147735 147735 -0.5625 0.2188 1 0.6836 0.8268 -1 1 2 1 0.7579 0.08251 0.06563 0.07348 0.1139 1 0 0.3131 0.1481 0.1428 0.3779 5.142 2.828 0.2167 0.4579 1 1 0 0 0.1531 0 0 0.2239 json
t11_x7_u32_b5 11 7 32 5 cil(mod(R,cil(D))) 18467 89615855 o1(o2(x,o1(x))) true 147743 147743 -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_x7_u32_b6 11 7 32 6 cil(lrg(R,cil(D))) 18468 89615856 o1(o2(x,o1(x))) true 147751 147751 0.2393 0.7168 0.2393 0.1075 0.3279 0 0.9997 0.9997 1 2.776 0.02734 0.00118 0.06882 0.9172 1 -0.00001639 0.05101 0.06655 0.02378 0.1542 2.241 0.9997 0.2652 0.4744 1 1 0 0 0.03061 0 0 0.2847 json
t11_x7_u32_b7 11 7 32 7 cil(eql(R,cil(D))) 18469 89615857 o1(o2(x,o1(x))) true 147759 147759 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_x7_u32_b8 11 7 32 8 cil(min(R,cil(D))) 18470 89615858 o1(o2(x,o1(x))) true 147767 147767 0.2432 0.7246 0.2432 0.1087 0.3297 0 0.9997 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 -0.00000142 0.05102 0.06666 0.02362 0.1537 2.186 0.9997 0.2627 0.4693 1 1 0 0 0.03085 0 0 0.2838 json
t11_x7_u32_b9 11 7 32 9 cil(dot(R,cil(D))) 18471 89615859 o1(o2(x,o1(x))) true 147775 147775 0.3741 0.8334 0.4036 0.1698 0.4121 -0.9994 1 1.999 1 3.613 0.02149 0.02262 0.1006 -0.02557 1 0.0000121 0.08377 0.109 0.03399 0.1844 1.833 1.414 0.2598 0.4934 1 1 0 0 0.05128 0 0 0.302 json
t11_x7_u32_b10 11 7 32 10 cil(dst(R,cil(D))) 18472 89615860 o1(o2(x,o1(x))) true 147783 147783 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
t11_x7_u33_b0 11 7 33 0 cil(add(R,sgn(D))) 18473 89616051 o1(o2(x,o1(x))) true 147791 147791 0.336 0.7126 0.6531 0.4426 0.6653 -0.9994 1 1.999 1 4.087 0.1676 0.001499 0.1928 0.9823 1 -0.0001811 0.3046 0.2109 0.1319 0.3632 1.884 1.999 0.382 0.6882 1 1 0 0 0.1929 0 0 0.4359 json
t11_x7_u33_b1 11 7 33 1 cil(sub(R,sgn(D))) 18474 89616052 o1(o2(x,o1(x))) true 147799 147799 0.3382 0.7153 0.6508 0.4385 0.6622 -0.9994 1 1.999 1 4.089 0.1673 0.001496 0.1931 0.9823 1 -0.0001551 0.3045 0.2107 0.1315 0.3627 1.878 1.999 0.385 0.6944 1 1 0 0 0.1918 0 0 0.4374 json
t11_x7_u33_b2 11 7 33 2 cil(mlt(R,sgn(D))) 18475 89616053 o1(o2(x,o1(x))) true 147807 147807 0.5039 0.9395 0.5039 0.147 0.3834 0 1 1 1 3.516 0.04778 0.002278 0.1019 0.909 1 0.00001497 0.09324 0.1121 0.03968 0.1992 1.955 1 0.3406 0.6344 1 1 0 0 0.05494 0 0 0.3738 json
t11_x7_u33_b3 11 7 33 3 cil(div(R,sgn(D))) 18476 89616054 o1(o2(x,o1(x))) true 147815 147815 0.5039 0.9395 0.5039 0.147 0.3834 0 1 1 1 3.516 0.04778 0.002278 0.1019 0.909 1 0.00001497 0.09324 0.1121 0.03968 0.1992 1.955 1 0.3406 0.6344 1 1 0 0 0.05494 0 0 0.3738 json
t11_x7_u33_b4 11 7 33 4 cil(pow(R,sgn(D))) 18477 89616055 o1(o2(x,o1(x))) true 147823 147823 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0 0 0.02543 0 0 0.1546 json
t11_x7_u33_b5 11 7 33 5 cil(mod(R,sgn(D))) 18478 89616056 o1(o2(x,o1(x))) true 147831 147831 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0 0 0.008731 0 0 0.0568 json
t11_x7_u33_b6 11 7 33 6 cil(lrg(R,sgn(D))) 18479 89616057 o1(o2(x,o1(x))) true 147839 147839 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 0 0.07073 0 0 0.4989 json
t11_x7_u33_b7 11 7 33 7 cil(eql(R,sgn(D))) 18480 89616058 o1(o2(x,o1(x))) true 147847 147847 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_x7_u33_b8 11 7 33 8 cil(min(R,sgn(D))) 18481 89616059 o1(o2(x,o1(x))) true 147855 147855 -0.2568 0.2933 0.5776 0.3884 0.6232 -0.9997 0.9994 1.999 1 4.468 0.1549 0.00118 0.1885 0.9849 1 -0.000001421 0.2875 0.198 0.1206 0.3472 1.842 1.999 0.4019 0.7401 1 1 0 0 0.1668 0 0 0.4294 json
t11_x7_u33_b9 11 7 33 9 cil(dot(R,sgn(D))) 18482 89616060 o1(o2(x,o1(x))) true 147863 147863 0.4237 0.7904 0.5931 0.3192 0.565 -1 1 2 1 3.997 0.05547 0.0519 0.1499 0.03322 1 -0.00004488 0.2034 0.1809 0.08489 0.2914 1.944 2.236 0.3363 0.637 1 1 0 0 0.1196 0 0 0.3748 json
t11_x7_u33_b10 11 7 33 10 cil(dst(R,sgn(D))) 18483 89616061 o1(o2(x,o1(x))) true 147871 147871 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
t11_x7_u34_b0 11 7 34 0 cil(add(R,nrm(D))) 18484 89616252 o1(o2(x,o1(x))) true 147879 147879 0.4205 0.8031 0.5873 0.3008 0.5484 -0.9994 1 1.999 1 4.2 0.07134 0.03806 0.1936 0.3042 1 -0.0001856 0.32 0.2665 0.07193 0.2682 1.385 2.238 0.3637 1.064 1 1 0 0 0.1253 0 0 0.4167 json
t11_x7_u34_b1 11 7 34 1 cil(sub(R,nrm(D))) 18485 89616253 o1(o2(x,o1(x))) true 147887 147887 0.4218 0.8055 0.5835 0.2959 0.544 -0.9994 1 1.999 1 4.195 0.07116 0.03825 0.1938 0.3008 1 -0.0001119 0.3215 0.2676 0.07184 0.268 1.383 2.235 0.3697 1.086 1 1 0 0 0.1246 0 0 0.421 json
t11_x7_u34_b2 11 7 34 2 cil(mlt(R,nrm(D))) 18486 89616254 o1(o2(x,o1(x))) true 147895 147895 0.5039 0.9395 0.5039 0.147 0.3834 0 1 1 1 3.516 0.04778 0.002278 0.1019 0.909 1 0.00001497 0.09324 0.1121 0.03968 0.1992 1.955 1 0.3406 0.6344 1 1 0 0 0.05494 0 0 0.3738 json
t11_x7_u34_b3 11 7 34 3 cil(div(R,nrm(D))) 18487 89616255 o1(o2(x,o1(x))) true 147903 147903 0.369 0.7585 0.6378 0.4112 0.6412 -1 1 2 1 4.002 0.2407 0.03669 0.2563 0.7355 1 -0.000218 0.7223 0.425 0.2117 0.4601 1.795 2.745 0.6746 1.757 1 1 0 0 0.2535 0 0 0.6166 json
t11_x7_u34_b4 11 7 34 4 cil(pow(R,nrm(D))) 18488 89616256 o1(o2(x,o1(x))) true 147911 147911 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0 0 0.02543 0 0 0.1546 json
t11_x7_u34_b5 11 7 34 5 cil(mod(R,nrm(D))) 18489 89616257 o1(o2(x,o1(x))) true 147919 147919 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0 0 0.008731 0 0 0.0568 json
t11_x7_u34_b6 11 7 34 6 cil(lrg(R,nrm(D))) 18490 89616258 o1(o2(x,o1(x))) true 147927 147927 0.5028 0.9671 0.5028 0.1234 0.3512 0 1 1 1 3.75 0.0415 0.02441 0.1336 0.2592 1 -0.00003765 0.2031 0.1737 0.04805 0.2192 1.64 1.413 0.5343 1.646 1 1 0 0 0.07087 0 0 0.5745 json
t11_x7_u34_b7 11 7 34 7 cil(eql(R,nrm(D))) 18491 89616259 o1(o2(x,o1(x))) true 147935 147935 0.0001227 0.0004578 0.0001227 0.00007621 0.00873 0 0.9926 0.9926 1 0.00431 0.0001573 0.0001561 0.000426 0.00389 1 1.877e-12 0.001564 0.0009951 0.0003132 0.0177 41.54 1.404 4.113 20.52 1 1 0 0 0.0002312 0 0 3.034 json
t11_x7_u34_b8 11 7 34 8 cil(min(R,nrm(D))) 18492 89616260 o1(o2(x,o1(x))) true 147943 147943 0.2432 0.7246 0.2432 0.1087 0.3297 0 0.9997 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 -0.00000142 0.05102 0.06666 0.02362 0.1537 2.186 0.9997 0.2627 0.4693 1 1 0 0 0.03085 0 0 0.2838 json
t11_x7_u34_b9 11 7 34 9 cil(dot(R,nrm(D))) 18493 89616261 o1(o2(x,o1(x))) true 147951 147951 0.484 0.8889 0.5294 0.1987 0.4458 -0.9994 1 1.999 1 3.725 0.0447 0.04321 0.1451 0.01696 1 -0.0002814 0.2742 0.2195 0.06686 0.2586 1.783 2.238 0.4424 1.38 1 1 0 0 0.09115 0 0 0.4587 json
t11_x7_u34_b10 11 7 34 10 cil(dst(R,nrm(D))) 18494 89616262 o1(o2(x,o1(x))) true 147959 147959 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
t11_x7_u35_b0 11 7 35 0 sgn(add(R,sqt(D))) 18495 89616453 o1(o2(x,o1(x))) true 147967 147967 -0.2471 0.3627 0.686 0.5041 0.71 -1 0.9994 1.999 1 3.735 0.181 0.003363 0.2173 0.9635 1 -0.0005017 0.3367 0.225 0.1372 0.3704 1.705 1.999 0.3658 0.668 1 1 0 0 0.2022 0 0 0.4012 json
t11_x7_u35_b1 11 7 35 1 sgn(sub(R,sqt(D))) 18496 89616454 o1(o2(x,o1(x))) true 147975 147975 -0.73 0.1313 0.8945 0.3215 0.567 -1 0.9994 1.999 1 1.984 0.1308 0.003544 0.1167 0.9472 1 0.00008626 0.2736 0.1661 0.1207 0.3475 2.978 1.999 0.4178 0.851 1 1 0 0 0.1372 0 0 0.4268 json
t11_x7_u35_b2 11 7 35 2 sgn(mlt(R,sqt(D))) 18497 89616455 o1(o2(x,o1(x))) true 147983 147983 -0.5137 0.2264 0.7839 0.4348 0.6594 -1 0.9994 1.999 1 3.28 0.1095 0.00472 0.1406 0.9174 1 -0.000002836 0.2041 0.1333 0.09447 0.3074 2.186 1.999 0.2627 0.4693 1 1 0 0 0.1234 0 0 0.2838 json
t11_x7_u35_b3 11 7 35 3 sgn(div(R,sqt(D))) 18498 89616456 o1(o2(x,o1(x))) true 147991 147991 -0.5137 0.2264 0.7839 0.4348 0.6594 -1 0.9994 1.999 1 3.28 0.1095 0.00472 0.1406 0.9174 1 -0.000002836 0.2041 0.1333 0.09447 0.3074 2.186 1.999 0.2627 0.4693 1 1 0 0 0.1234 0 0 0.2838 json
t11_x7_u35_b4 11 7 35 4 sgn(pow(R,sqt(D))) 18499 89616457 o1(o2(x,o1(x))) true 147999 147999 -0.5137 0.2264 0.7839 0.4348 0.6594 -1 0.9994 1.999 1 3.28 0.1095 0.00472 0.1406 0.9174 1 -0.000002836 0.2041 0.1333 0.09447 0.3074 2.186 1.999 0.2627 0.4693 1 1 0 0 0.1234 0 0 0.2838 json