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_x13_u0_b101 12 13 0 101 sqt(dot(D,mlt(D,D))) 30300 97972526 o1(o2(x,o2(x,x))) true 72247 72247 -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_x13_u0_b102 12 13 0 102 sqt(dot(D,div(D,D))) 30301 97972527 o1(o2(x,o2(x,x))) true 72255 72255 -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_x13_u0_b103 12 13 0 103 sqt(dot(D,pow(D,D))) 30302 97972528 o1(o2(x,o2(x,x))) true 72263 72263 -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_x13_u0_b104 12 13 0 104 sqt(dot(D,mod(D,D))) 30303 97972529 o1(o2(x,o2(x,x))) true 72271 72271 -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_x13_u0_b105 12 13 0 105 sqt(dot(D,lrg(D,D))) 30304 97972530 o1(o2(x,o2(x,x))) true 72279 72279 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_x13_u0_b106 12 13 0 106 sqt(dot(D,eql(D,D))) 30305 97972531 o1(o2(x,o2(x,x))) true 72287 72287 -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_x13_u0_b107 12 13 0 107 sqt(dot(D,min(D,D))) 30306 97972532 o1(o2(x,o2(x,x))) true 72295 72295 0.4439 1 0.4439 0.02504 0.1582 0.04473 0.7026 0.6579 1 3.252 0.001981 0.001981 0.05914 2.938e-7 1 -0.0006857 0.0006739 0.01958 0.000465 0.02156 0.3646 0.09377 0.1583 0.02692 1 1 0.007608 0.05068 0 0.3039 2.024 0 json
t12_x13_u0_b108 12 13 0 108 sqt(dot(D,dot(D,D))) 30307 97972533 o1(o2(x,o2(x,x))) true 72303 72303 -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_x13_u0_b109 12 13 0 109 sqt(dot(D,dst(D,D))) 30308 97972534 o1(o2(x,o2(x,x))) true 72311 72311 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_x13_u0_b110 12 13 0 110 sqt(dst(D,add(D,D))) 30309 97972535 o1(o2(x,o2(x,x))) true 72319 72319 0.6462 1 0.6462 0.0189 0.1375 0.2107 0.838 0.6273 1 2.946 0.001647 0.001647 0.05095 -0.000001272 1 -0.0006689 0.0009022 0.01589 0.0006987 0.02643 0.5188 0.1533 0.1743 0.04773 1 1 0.00623 0.0394 0 0.3296 2.084 0 json
t12_x13_u0_b111 12 13 0 111 sqt(dst(D,sub(D,D))) 30310 97972536 o1(o2(x,o2(x,x))) true 72327 72327 0.6462 1 0.6462 0.0189 0.1375 0.2107 0.838 0.6273 1 2.946 0.001647 0.001647 0.05095 -0.000001272 1 -0.0006689 0.0009022 0.01589 0.0006987 0.02643 0.5188 0.1533 0.1743 0.04773 1 1 0.00623 0.0394 0 0.3296 2.084 0 json
t12_x13_u0_b112 12 13 0 112 sqt(dst(D,mlt(D,D))) 30311 97972537 o1(o2(x,o2(x,x))) true 72335 72335 0.6393 1 0.6393 0.01924 0.1387 0.2076 0.8491 0.6415 1 3.066 0.001649 0.001649 0.05205 -3.176e-7 1 -0.0007028 0.0008921 0.01564 0.0005894 0.02428 0.4664 0.1418 0.1715 0.04636 1 1 0.006233 0.03924 0 0.3239 2.039 0 json
t12_x13_u0_b113 12 13 0 113 sqt(dst(D,div(D,D))) 30312 97972538 o1(o2(x,o2(x,x))) true 72343 72343 -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_x13_u0_b114 12 13 0 114 sqt(dst(D,pow(D,D))) 30313 97972539 o1(o2(x,o2(x,x))) true 72351 72351 -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_x13_u0_b115 12 13 0 115 sqt(dst(D,mod(D,D))) 30314 97972540 o1(o2(x,o2(x,x))) true 72359 72359 -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_x13_u0_b116 12 13 0 116 sqt(dst(D,lrg(D,D))) 30315 97972541 o1(o2(x,o2(x,x))) true 72367 72367 0.6462 1 0.6462 0.0189 0.1375 0.2107 0.838 0.6273 1 2.946 0.001647 0.001647 0.05095 -0.000001272 1 -0.0006689 0.0009022 0.01589 0.0006987 0.02643 0.5188 0.1533 0.1743 0.04773 1 1 0.00623 0.0394 0 0.3296 2.084 0 json
t12_x13_u0_b117 12 13 0 117 sqt(dst(D,eql(D,D))) 30316 97972542 o1(o2(x,o2(x,x))) true 72375 72375 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_x13_u0_b118 12 13 0 118 sqt(dst(D,min(D,D))) 30317 97972543 o1(o2(x,o2(x,x))) true 72383 72383 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_x13_u0_b119 12 13 0 119 sqt(dst(D,dot(D,D))) 30318 97972544 o1(o2(x,o2(x,x))) true 72391 72391 0.7207 1 0.7207 0.03358 0.1832 0.2044 1 0.7956 1 3.362 0.002765 0.002765 0.06903 -1.684e-7 1 -0.0008204 0.001247 0.02198 0.0007661 0.02768 0.401 0.1406 0.1647 0.03712 1 1 0.01054 0.06842 0 0.3138 2.038 0 json
t12_x13_u0_b120 12 13 0 120 sqt(dst(D,dst(D,D))) 30319 97972545 o1(o2(x,o2(x,x))) true 72399 72399 0.6462 1 0.6462 0.0189 0.1375 0.2107 0.838 0.6273 1 2.946 0.001647 0.001647 0.05095 -0.000001272 1 -0.0006689 0.0009022 0.01589 0.0006987 0.02643 0.5188 0.1533 0.1743 0.04773 1 1 0.00623 0.0394 0 0.3296 2.084 0 json
t12_x13_u1_b0 12 13 1 0 log(add(D,add(D,D))) 30320 97972626 o1(o2(x,o2(x,x))) true 72407 72407 -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_x13_u1_b1 12 13 1 1 log(add(D,sub(D,D))) 30321 97972627 o1(o2(x,o2(x,x))) true 72415 72415 -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_x13_u1_b2 12 13 1 2 log(add(D,mlt(D,D))) 30322 97972628 o1(o2(x,o2(x,x))) true 72423 72423 -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_x13_u1_b3 12 13 1 3 log(add(D,div(D,D))) 30323 97972629 o1(o2(x,o2(x,x))) true 72431 72431 -0.07149 0.3125 0.1085 0.01112 0.1055 -0.2124 0.08561 0.298 1 2.561 0.001703 0 0.03713 1 1 0.0001587 0.0002742 0.01454 0.0003239 0.018 0.4846 0.0616 0.1531 0.02466 1 1 0.003287 0.02227 0 0.2956 2.003 0 json
t12_x13_u1_b4 12 13 1 4 log(add(D,pow(D,D))) 30324 97972630 o1(o2(x,o2(x,x))) true 72439 72439 -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_x13_u1_b5 12 13 1 5 log(add(D,mod(D,D))) 30325 97972631 o1(o2(x,o2(x,x))) true 72447 72447 -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_x13_u1_b6 12 13 1 6 log(add(D,lrg(D,D))) 30326 97972632 o1(o2(x,o2(x,x))) true 72455 72455 -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_x13_u1_b7 12 13 1 7 log(add(D,eql(D,D))) 30327 97972633 o1(o2(x,o2(x,x))) true 72463 72463 -0.07149 0.3125 0.1085 0.01112 0.1055 -0.2124 0.08561 0.298 1 2.561 0.001703 0 0.03713 1 1 0.0001587 0.0002742 0.01454 0.0003238 0.018 0.4846 0.0616 0.1531 0.02466 1 1 0.003287 0.02227 0 0.2956 2.003 0 json
t12_x13_u1_b8 12 13 1 8 log(add(D,min(D,D))) 30328 97972634 o1(o2(x,o2(x,x))) true 72471 72471 -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_x13_u1_b9 12 13 1 9 log(add(D,dot(D,D))) 30329 97972635 o1(o2(x,o2(x,x))) true 72479 72479 -0.9967 0 0.9967 0.0004384 0.02094 -1 -0.8133 0.1867 1 0.1819 0.0002893 0.0004251 0.005693 -0.19 1 -0.0000672 0.001829 0.009307 0.0006815 0.02611 4.585 0.2055 1.63 4.173 1 1 0.000804 0.0008981 0 1.834 2.049 0 json
t12_x13_u1_b10 12 13 1 10 log(add(D,dst(D,D))) 30330 97972636 o1(o2(x,o2(x,x))) true 72487 72487 -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_x13_u1_b11 12 13 1 11 log(sub(D,add(D,D))) 30331 97972637 o1(o2(x,o2(x,x))) true 72495 72495 -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_x13_u1_b12 12 13 1 12 log(sub(D,sub(D,D))) 30332 97972638 o1(o2(x,o2(x,x))) true 72503 72503 -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_x13_u1_b13 12 13 1 13 log(sub(D,mlt(D,D))) 30333 97972639 o1(o2(x,o2(x,x))) true 72511 72511 -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_x13_u1_b14 12 13 1 14 log(sub(D,div(D,D))) 30334 97972640 o1(o2(x,o2(x,x))) true 72519 72519 -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_x13_u1_b15 12 13 1 15 log(sub(D,pow(D,D))) 30335 97972641 o1(o2(x,o2(x,x))) true 72527 72527 -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_x13_u1_b16 12 13 1 16 log(sub(D,mod(D,D))) 30336 97972642 o1(o2(x,o2(x,x))) true 72535 72535 -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_x13_u1_b17 12 13 1 17 log(sub(D,lrg(D,D))) 30337 97972643 o1(o2(x,o2(x,x))) true 72543 72543 -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_x13_u1_b18 12 13 1 18 log(sub(D,eql(D,D))) 30338 97972644 o1(o2(x,o2(x,x))) true 72551 72551 -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_x13_u1_b19 12 13 1 19 log(sub(D,min(D,D))) 30339 97972645 o1(o2(x,o2(x,x))) true 72559 72559 -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_x13_u1_b20 12 13 1 20 log(sub(D,dot(D,D))) 30340 97972646 o1(o2(x,o2(x,x))) true 72567 72567 -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_x13_u1_b21 12 13 1 21 log(sub(D,dst(D,D))) 30341 97972647 o1(o2(x,o2(x,x))) true 72575 72575 -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_x13_u1_b22 12 13 1 22 log(mlt(D,add(D,D))) 30342 97972648 o1(o2(x,o2(x,x))) true 72583 72583 -0.9463 0 0.9463 0.009984 0.09992 -1 -0.7117 0.2883 1 1.061 0.005281 0 0.03661 1 1 1.514e-8 0.005287 0.03748 0.003942 0.06279 1.715 0.1476 0.5289 0.5295 1 1 0.007877 0.01257 0 0.789 1.259 0 json
t12_x13_u1_b23 12 13 1 23 log(mlt(D,sub(D,D))) 30343 97972649 o1(o2(x,o2(x,x))) true 72591 72591 -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_x13_u1_b24 12 13 1 24 log(mlt(D,mlt(D,D))) 30344 97972650 o1(o2(x,o2(x,x))) true 72599 72599 -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_x13_u1_b25 12 13 1 25 log(mlt(D,div(D,D))) 30345 97972651 o1(o2(x,o2(x,x))) true 72607 72607 -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_x13_u1_b26 12 13 1 26 log(mlt(D,pow(D,D))) 30346 97972652 o1(o2(x,o2(x,x))) true 72615 72615 -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_x13_u1_b27 12 13 1 27 log(mlt(D,mod(D,D))) 30347 97972653 o1(o2(x,o2(x,x))) true 72623 72623 -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_x13_u1_b28 12 13 1 28 log(mlt(D,lrg(D,D))) 30348 97972654 o1(o2(x,o2(x,x))) true 72631 72631 -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_x13_u1_b29 12 13 1 29 log(mlt(D,eql(D,D))) 30349 97972655 o1(o2(x,o2(x,x))) true 72639 72639 -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_x13_u1_b30 12 13 1 30 log(mlt(D,min(D,D))) 30350 97972656 o1(o2(x,o2(x,x))) true 72647 72647 -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_x13_u1_b31 12 13 1 31 log(mlt(D,dot(D,D))) 30351 97972657 o1(o2(x,o2(x,x))) true 72655 72655 -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_x13_u1_b32 12 13 1 32 log(mlt(D,dst(D,D))) 30352 97972658 o1(o2(x,o2(x,x))) true 72663 72663 -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_x13_u1_b33 12 13 1 33 log(div(D,add(D,D))) 30353 97972659 o1(o2(x,o2(x,x))) true 72671 72671 -0.6928 0 0.6928 1.249e-7 0.0003533 -0.6931 -0.6931 5.96e-8 1 0 2.213e-15 0 3.713e-8 0.002213 0 8.893e-8 2.12e-14 8.893e-8 8.346e-16 2.889e-8 0.778 5.96e-8 1.773e-8 1.698e-7 1 1 8.882e-16 8.788e-16 0 7.114e-9 7.039e-9 0 json
t12_x13_u1_b34 12 13 1 34 log(div(D,sub(D,D))) 30354 97972660 o1(o2(x,o2(x,x))) true 72679 72679 -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_x13_u1_b35 12 13 1 35 log(div(D,mlt(D,D))) 30355 97972661 o1(o2(x,o2(x,x))) true 72687 72687 -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_x13_u1_b36 12 13 1 36 log(div(D,div(D,D))) 30356 97972662 o1(o2(x,o2(x,x))) true 72695 72695 -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_x13_u1_b37 12 13 1 37 log(div(D,pow(D,D))) 30357 97972663 o1(o2(x,o2(x,x))) true 72703 72703 -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_x13_u1_b38 12 13 1 38 log(div(D,mod(D,D))) 30358 97972664 o1(o2(x,o2(x,x))) true 72711 72711 -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_x13_u1_b39 12 13 1 39 log(div(D,lrg(D,D))) 30359 97972665 o1(o2(x,o2(x,x))) true 72719 72719 -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_x13_u1_b40 12 13 1 40 log(div(D,eql(D,D))) 30360 97972666 o1(o2(x,o2(x,x))) true 72727 72727 -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_x13_u1_b41 12 13 1 41 log(div(D,min(D,D))) 30361 97972667 o1(o2(x,o2(x,x))) true 72735 72735 -2.347e-8 0 2.347e-8 6.074e-16 2.465e-8 -5.918e-8 0 5.918e-8 1 1 1.832e-15 0 3.428e-8 0.001832 0 -4.697e-10 6.173e-15 6.857e-8 6.561e-16 2.561e-8 0.7471 5.918e-8 0.001832 0.006173 0 1 5.796e-16 5.658e-16 0 0.0005796 0.0005658 0 json
t12_x13_u1_b42 12 13 1 42 log(div(D,dot(D,D))) 30362 97972668 o1(o2(x,o2(x,x))) true 72743 72743 -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_x13_u1_b43 12 13 1 43 log(div(D,dst(D,D))) 30363 97972669 o1(o2(x,o2(x,x))) true 72751 72751 -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_x13_u1_b44 12 13 1 44 log(pow(D,add(D,D))) 30364 97972670 o1(o2(x,o2(x,x))) true 72759 72759 -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_x13_u1_b45 12 13 1 45 log(pow(D,sub(D,D))) 30365 97972671 o1(o2(x,o2(x,x))) true 72767 72767 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_x13_u1_b46 12 13 1 46 log(pow(D,mlt(D,D))) 30366 97972672 o1(o2(x,o2(x,x))) true 72775 72775 -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_x13_u1_b47 12 13 1 47 log(pow(D,div(D,D))) 30367 97972673 o1(o2(x,o2(x,x))) true 72783 72783 -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_x13_u1_b48 12 13 1 48 log(pow(D,pow(D,D))) 30368 97972674 o1(o2(x,o2(x,x))) true 72791 72791 -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_x13_u1_b49 12 13 1 49 log(pow(D,mod(D,D))) 30369 97972675 o1(o2(x,o2(x,x))) true 72799 72799 -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_x13_u1_b50 12 13 1 50 log(pow(D,lrg(D,D))) 30370 97972676 o1(o2(x,o2(x,x))) true 72807 72807 -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_x13_u1_b51 12 13 1 51 log(pow(D,eql(D,D))) 30371 97972677 o1(o2(x,o2(x,x))) true 72815 72815 -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_x13_u1_b52 12 13 1 52 log(pow(D,min(D,D))) 30372 97972678 o1(o2(x,o2(x,x))) true 72823 72823 -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_x13_u1_b53 12 13 1 53 log(pow(D,dot(D,D))) 30373 97972679 o1(o2(x,o2(x,x))) true 72831 72831 -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_x13_u1_b54 12 13 1 54 log(pow(D,dst(D,D))) 30374 97972680 o1(o2(x,o2(x,x))) true 72839 72839 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_x13_u1_b55 12 13 1 55 log(mod(D,add(D,D))) 30375 97972681 o1(o2(x,o2(x,x))) true 72847 72847 -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_x13_u1_b56 12 13 1 56 log(mod(D,sub(D,D))) 30376 97972682 o1(o2(x,o2(x,x))) true 72855 72855 -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_x13_u1_b57 12 13 1 57 log(mod(D,mlt(D,D))) 30377 97972683 o1(o2(x,o2(x,x))) true 72863 72863 -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_x13_u1_b58 12 13 1 58 log(mod(D,div(D,D))) 30378 97972684 o1(o2(x,o2(x,x))) true 72871 72871 -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_x13_u1_b59 12 13 1 59 log(mod(D,pow(D,D))) 30379 97972685 o1(o2(x,o2(x,x))) true 72879 72879 -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_x13_u1_b60 12 13 1 60 log(mod(D,mod(D,D))) 30380 97972686 o1(o2(x,o2(x,x))) true 72887 72887 -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_x13_u1_b61 12 13 1 61 log(mod(D,lrg(D,D))) 30381 97972687 o1(o2(x,o2(x,x))) true 72895 72895 -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_x13_u1_b62 12 13 1 62 log(mod(D,eql(D,D))) 30382 97972688 o1(o2(x,o2(x,x))) true 72903 72903 -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_x13_u1_b63 12 13 1 63 log(mod(D,min(D,D))) 30383 97972689 o1(o2(x,o2(x,x))) true 72911 72911 -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_x13_u1_b64 12 13 1 64 log(mod(D,dot(D,D))) 30384 97972690 o1(o2(x,o2(x,x))) true 72919 72919 -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_x13_u1_b65 12 13 1 65 log(mod(D,dst(D,D))) 30385 97972691 o1(o2(x,o2(x,x))) true 72927 72927 -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_x13_u1_b66 12 13 1 66 log(lrg(D,add(D,D))) 30386 97972692 o1(o2(x,o2(x,x))) true 72935 72935 -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_x13_u1_b67 12 13 1 67 log(lrg(D,sub(D,D))) 30387 97972693 o1(o2(x,o2(x,x))) true 72943 72943 -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_x13_u1_b68 12 13 1 68 log(lrg(D,mlt(D,D))) 30388 97972694 o1(o2(x,o2(x,x))) true 72951 72951 -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_x13_u1_b69 12 13 1 69 log(lrg(D,div(D,D))) 30389 97972695 o1(o2(x,o2(x,x))) true 72959 72959 -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_x13_u1_b70 12 13 1 70 log(lrg(D,pow(D,D))) 30390 97972696 o1(o2(x,o2(x,x))) true 72967 72967 -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_x13_u1_b71 12 13 1 71 log(lrg(D,mod(D,D))) 30391 97972697 o1(o2(x,o2(x,x))) true 72975 72975 -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_x13_u1_b72 12 13 1 72 log(lrg(D,lrg(D,D))) 30392 97972698 o1(o2(x,o2(x,x))) true 72983 72983 -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_x13_u1_b73 12 13 1 73 log(lrg(D,eql(D,D))) 30393 97972699 o1(o2(x,o2(x,x))) true 72991 72991 -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_x13_u1_b74 12 13 1 74 log(lrg(D,min(D,D))) 30394 97972700 o1(o2(x,o2(x,x))) true 72999 72999 -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_x13_u1_b75 12 13 1 75 log(lrg(D,dot(D,D))) 30395 97972701 o1(o2(x,o2(x,x))) true 73007 73007 -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_x13_u1_b76 12 13 1 76 log(lrg(D,dst(D,D))) 30396 97972702 o1(o2(x,o2(x,x))) true 73015 73015 -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_x13_u1_b77 12 13 1 77 log(eql(D,add(D,D))) 30397 97972703 o1(o2(x,o2(x,x))) true 73023 73023 -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_x13_u1_b78 12 13 1 78 log(eql(D,sub(D,D))) 30398 97972704 o1(o2(x,o2(x,x))) true 73031 73031 -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_x13_u1_b79 12 13 1 79 log(eql(D,mlt(D,D))) 30399 97972705 o1(o2(x,o2(x,x))) true 73039 73039 -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