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
t14_x14_u4_b50 14 14 4 50 cil(pow(lrg(D,D),R)) 59300 114254882 o1(o2(o2(x,x),x)) true 133367 133367 -0.8398 0.05859 0.957 0.2516 0.5016 -1 1 2 1 0.5738 0.02942 0.03294 0.03498 -0.05657 1 0 0.1323 0.07048 0.06113 0.2472 7.068 2.828 0.2479 0.5258 1 1 0.06126 0.2521 0.5343 0.2435 1.002 2.124 json
t14_x14_u4_b51 14 14 4 51 cil(pow(eql(D,D),R)) 59301 114254883 o1(o2(o2(x,x),x)) true 133375 133375 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
t14_x14_u4_b52 14 14 4 52 cil(pow(min(D,D),R)) 59302 114254884 o1(o2(o2(x,x),x)) true 133383 133383 -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
t14_x14_u4_b53 14 14 4 53 cil(pow(dot(D,D),R)) 59303 114254885 o1(o2(o2(x,x),x)) true 133391 133391 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
t14_x14_u4_b54 14 14 4 54 cil(pow(dst(D,D),R)) 59304 114254886 o1(o2(o2(x,x),x)) true 133399 133399 -0.8398 0.05859 0.957 0.2516 0.5016 -1 1 2 1 0.5738 0.02942 0.03294 0.03498 -0.05657 1 0 0.1323 0.07048 0.06113 0.2472 7.068 2.828 0.2479 0.5258 1 1 0.06126 0.2521 0.5343 0.2435 1.002 2.124 json
t14_x14_u4_b55 14 14 4 55 cil(mod(add(D,D),R)) 59305 114254887 o1(o2(o2(x,x),x)) true 133407 133407 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x14_u4_b56 14 14 4 56 cil(mod(sub(D,D),R)) 59306 114254888 o1(o2(o2(x,x),x)) true 133415 133415 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
t14_x14_u4_b57 14 14 4 57 cil(mod(mlt(D,D),R)) 59307 114254889 o1(o2(o2(x,x),x)) true 133423 133423 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
t14_x14_u4_b58 14 14 4 58 cil(mod(div(D,D),R)) 59308 114254890 o1(o2(o2(x,x),x)) true 133431 133431 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
t14_x14_u4_b59 14 14 4 59 cil(mod(pow(D,D),R)) 59309 114254891 o1(o2(o2(x,x),x)) true 133439 133439 -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
t14_x14_u4_b60 14 14 4 60 cil(mod(mod(D,D),R)) 59310 114254892 o1(o2(o2(x,x),x)) true 133447 133447 0.1969 0.25 0.1969 0.1242 0.3524 0 0.9929 0.9929 1 1.311 0.2756 0 0.3212 1 1 0.00394 0.9001 0.6319 0.1725 0.4154 1.293 0.9929 2.22 7.248 1 1 0.104 0.1639 0 0.8374 1.319 0 json
t14_x14_u4_b61 14 14 4 61 cil(mod(lrg(D,D),R)) 59311 114254893 o1(o2(o2(x,x),x)) true 133455 133455 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
t14_x14_u4_b62 14 14 4 62 cil(mod(eql(D,D),R)) 59312 114254894 o1(o2(o2(x,x),x)) true 133463 133463 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
t14_x14_u4_b63 14 14 4 63 cil(mod(min(D,D),R)) 59313 114254895 o1(o2(o2(x,x),x)) true 133471 133471 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x14_u4_b64 14 14 4 64 cil(mod(dot(D,D),R)) 59314 114254896 o1(o2(o2(x,x),x)) true 133479 133479 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
t14_x14_u4_b65 14 14 4 65 cil(mod(dst(D,D),R)) 59315 114254897 o1(o2(o2(x,x),x)) true 133487 133487 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
t14_x14_u4_b66 14 14 4 66 cil(lrg(add(D,D),R)) 59316 114254898 o1(o2(o2(x,x),x)) true 133495 133495 0.4977 0.9553 0.4977 0.1257 0.3546 0 1 1 1 3.657 0.03726 0.00162 0.111 0.9167 1 0.0007312 0.07287 0.1148 0.02657 0.163 1.469 0.9997 0.3093 0.5797 1 1 0.04081 0.1633 0.2124 0.3247 1.299 1.69 json
t14_x14_u4_b67 14 14 4 67 cil(lrg(sub(D,D),R)) 59317 114254899 o1(o2(o2(x,x),x)) true 133503 133503 0.5176 0.9429 0.5176 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.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t14_x14_u4_b68 14 14 4 68 cil(lrg(mlt(D,D),R)) 59318 114254900 o1(o2(o2(x,x),x)) true 133511 133511 0.5646 0.986 0.5646 0.1529 0.3911 0 1 1 1 3.359 0.00888 0.002293 0.06178 0.5895 1 -0.00003967 0.0145 0.03963 0.007357 0.08577 1.388 0.9994 0.07306 0.09479 1 1 0.01385 0.1208 0.2901 0.09057 0.7902 1.897 json
t14_x14_u4_b69 14 14 4 69 cil(lrg(div(D,D),R)) 59319 114254901 o1(o2(o2(x,x),x)) true 133519 133519 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
t14_x14_u4_b70 14 14 4 70 cil(lrg(pow(D,D),R)) 59320 114254902 o1(o2(o2(x,x),x)) true 133527 133527 0.9238 1 0.9238 0.04112 0.2028 0.000291 1 0.9997 1 1.302 0.00979 0.0005839 0.02797 0.8874 1 -0.00002392 0.01863 0.02858 0.009596 0.09796 3.502 0.9997 0.2523 0.4531 1 1 0.01084 0.05148 0.08021 0.2637 1.252 1.951 json
t14_x14_u4_b71 14 14 4 71 cil(lrg(mod(D,D),R)) 59321 114254903 o1(o2(o2(x,x),x)) true 133535 133535 0.5116 0.935 0.5116 0.1555 0.3943 0 1 1 1 3.409 0.04554 0.002306 0.1115 0.9036 1 0.0001071 0.1214 0.1446 0.03541 0.1882 1.687 0.9999 0.3078 0.781 1 1 0.03433 0.1287 0.2804 0.2208 0.8276 1.803 json
t14_x14_u4_b72 14 14 4 72 cil(lrg(lrg(D,D),R)) 59322 114254904 o1(o2(o2(x,x),x)) true 133543 133543 0.5176 0.9429 0.5176 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.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t14_x14_u4_b73 14 14 4 73 cil(lrg(eql(D,D),R)) 59323 114254905 o1(o2(o2(x,x),x)) true 133551 133551 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
t14_x14_u4_b74 14 14 4 74 cil(lrg(min(D,D),R)) 59324 114254906 o1(o2(o2(x,x),x)) true 133559 133559 0.5008 0.9274 0.5008 0.1466 0.3828 0 1 1 1 3.529 0.0202 0.00212 0.08084 0.81 1 -0.00001414 0.03816 0.07051 0.01579 0.1257 1.554 0.9997 0.1523 0.2603 1 1 0.02456 0.14 0.2709 0.1675 0.9553 1.848 json
t14_x14_u4_b75 14 14 4 75 cil(lrg(dot(D,D),R)) 59325 114254907 o1(o2(o2(x,x),x)) true 133567 133567 0.6137 0.9998 0.6137 0.1527 0.3907 0 1 1 1 3.161 0.009091 0.009278 0.06818 -0.01015 1 -0.00027 0.04565 0.06876 0.01372 0.1171 1.718 1.413 0.1203 0.299 1 1 0.0199 0.138 0.2848 0.1303 0.9038 1.865 json
t14_x14_u4_b76 14 14 4 76 cil(lrg(dst(D,D),R)) 59326 114254908 o1(o2(o2(x,x),x)) true 133575 133575 0.5176 0.9429 0.5176 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.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t14_x14_u4_b77 14 14 4 77 cil(eql(add(D,D),R)) 59327 114254909 o1(o2(o2(x,x),x)) true 133583 133583 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
t14_x14_u4_b78 14 14 4 78 cil(eql(sub(D,D),R)) 59328 114254910 o1(o2(o2(x,x),x)) true 133591 133591 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
t14_x14_u4_b79 14 14 4 79 cil(eql(mlt(D,D),R)) 59329 114254911 o1(o2(o2(x,x),x)) true 133599 133599 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
t14_x14_u4_b80 14 14 4 80 cil(eql(div(D,D),R)) 59330 114254912 o1(o2(o2(x,x),x)) true 133607 133607 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
t14_x14_u4_b81 14 14 4 81 cil(eql(pow(D,D),R)) 59331 114254913 o1(o2(o2(x,x),x)) true 133615 133615 7.106e-8 0.0002747 7.106e-8 1.62e-11 0.000004024 0 0.000291 0.000291 1 0 3.345e-11 2.373e-13 1.48e-7 0.9859 0 6.74e-16 1.013e-10 2.935e-7 3.364e-11 0.0000058 39.18 0.000291 2.08 6.255 1 1 1.278e-11 1.697e-11 1.855e-11 0.7888 1.048 1.145 json
t14_x14_u4_b82 14 14 4 82 cil(eql(mod(D,D),R)) 59332 114254914 o1(o2(o2(x,x),x)) true 133623 133623 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
t14_x14_u4_b83 14 14 4 83 cil(eql(lrg(D,D),R)) 59333 114254915 o1(o2(o2(x,x),x)) true 133631 133631 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
t14_x14_u4_b84 14 14 4 84 cil(eql(eql(D,D),R)) 59334 114254916 o1(o2(o2(x,x),x)) true 133639 133639 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
t14_x14_u4_b85 14 14 4 85 cil(eql(min(D,D),R)) 59335 114254917 o1(o2(o2(x,x),x)) true 133647 133647 0.00004008 0.0002289 0.00004008 0.00001031 0.00321 0 0.3282 0.3282 1 0.002722 0.00001454 1.509e-7 0.00006305 0.9795 0 1.17e-7 0.00004407 0.0001242 0.00001469 0.003832 60.78 0.3186 1.425 4.276 1 1 0 0 0.000007865 0 0 0.7631 json
t14_x14_u4_b86 14 14 4 86 cil(eql(dot(D,D),R)) 59336 114254918 o1(o2(o2(x,x),x)) true 133655 133655 0.00006317 0.0001221 0.00006317 0.00003268 0.005717 0 0.5175 0.5175 1 0.001763 0.00006747 0.00006747 0.0002226 0 1 0 0.0006747 0.0005215 0.0001349 0.01161 52.18 0.7318 4.129 20.64 1 1 0 0 0 0 0 0 json
t14_x14_u4_b87 14 14 4 87 cil(eql(dst(D,D),R)) 59337 114254919 o1(o2(o2(x,x),x)) true 133663 133663 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
t14_x14_u4_b88 14 14 4 88 cil(min(add(D,D),R)) 59338 114254920 o1(o2(o2(x,x),x)) true 133671 133671 0.1653 0.641 0.231 0.1116 0.334 -0.4416 0.9994 1.441 1 3.613 0.04127 0.00118 0.115 0.9444 1 0.00008842 0.08333 0.1341 0.02922 0.1709 1.487 0.9994 0.3804 0.7468 1 1 0.04245 0.1165 0.1423 0.3805 1.044 1.276 json
t14_x14_u4_b89 14 14 4 89 cil(min(sub(D,D),R)) 59339 114254921 o1(o2(o2(x,x),x)) true 133679 133679 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
t14_x14_u4_b90 14 14 4 90 cil(min(mlt(D,D),R)) 59340 114254922 o1(o2(o2(x,x),x)) true 133687 133687 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.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t14_x14_u4_b91 14 14 4 91 cil(min(div(D,D),R)) 59341 114254923 o1(o2(o2(x,x),x)) true 133695 133695 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.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t14_x14_u4_b92 14 14 4 92 cil(min(pow(D,D),R)) 59342 114254924 o1(o2(o2(x,x),x)) true 133703 133703 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.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t14_x14_u4_b93 14 14 4 93 cil(min(mod(D,D),R)) 59343 114254925 o1(o2(o2(x,x),x)) true 133711 133711 0.09574 0.1885 0.09574 0.06069 0.2464 0 0.9929 0.9929 1 1.194 0.1171 0.0004891 0.1571 0.9917 1 0.002435 0.385 0.3067 0.09301 0.305 1.942 0.9929 1.938 6.343 1 1 0.04396 0.07934 0.06001 0.7242 1.307 0.9888 json
t14_x14_u4_b94 14 14 4 94 cil(min(lrg(D,D),R)) 59344 114254926 o1(o2(o2(x,x),x)) true 133719 133719 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
t14_x14_u4_b95 14 14 4 95 cil(min(eql(D,D),R)) 59345 114254927 o1(o2(o2(x,x),x)) true 133727 133727 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.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t14_x14_u4_b96 14 14 4 96 cil(min(min(D,D),R)) 59346 114254928 o1(o2(o2(x,x),x)) true 133735 133735 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.03085 0.1411 0.1423 0.2838 1.298 1.309 json
t14_x14_u4_b97 14 14 4 97 cil(min(dot(D,D),R)) 59347 114254929 o1(o2(o2(x,x),x)) true 133743 133743 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.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t14_x14_u4_b98 14 14 4 98 cil(min(dst(D,D),R)) 59348 114254930 o1(o2(o2(x,x),x)) true 133751 133751 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
t14_x14_u4_b99 14 14 4 99 cil(dot(add(D,D),R)) 59349 114254931 o1(o2(o2(x,x),x)) true 133759 133759 0.4935 0.8634 0.5224 0.176 0.4195 -0.996 1 1.996 1 3.9 0.04046 0.03959 0.1535 0.01096 1 -0.0003004 0.2598 0.2392 0.05649 0.2377 1.548 1.42 0.4548 1.476 1 1 0.0829 0.2976 0.3469 0.471 1.691 1.971 json
t14_x14_u4_b100 14 14 4 100 cil(dot(sub(D,D),R)) 59350 114254932 o1(o2(o2(x,x),x)) true 133767 133767 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
t14_x14_u4_b101 14 14 4 101 cil(dot(mlt(D,D),R)) 59351 114254933 o1(o2(o2(x,x),x)) true 133775 133775 0.4905 0.9118 0.4905 0.157 0.3962 -0.0009916 1 1.001 1 3.393 0.03365 0.03354 0.1181 0.001703 1 -0.0003128 0.2303 0.1771 0.05323 0.2307 1.953 1.409 0.428 1.467 1 1 0.07313 0.2006 0.3003 0.4658 1.278 1.913 json
t14_x14_u4_b102 14 14 4 102 cil(dot(div(D,D),R)) 59352 114254934 o1(o2(o2(x,x),x)) true 133783 133783 -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
t14_x14_u4_b103 14 14 4 103 cil(dot(pow(D,D),R)) 59353 114254935 o1(o2(o2(x,x),x)) true 133791 133791 -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
t14_x14_u4_b104 14 14 4 104 cil(dot(mod(D,D),R)) 59354 114254936 o1(o2(o2(x,x),x)) true 133799 133799 -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
t14_x14_u4_b105 14 14 4 105 cil(dot(lrg(D,D),R)) 59355 114254937 o1(o2(o2(x,x),x)) true 133807 133807 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
t14_x14_u4_b106 14 14 4 106 cil(dot(eql(D,D),R)) 59356 114254938 o1(o2(o2(x,x),x)) true 133815 133815 0.4063 0.7843 0.6258 0.3683 0.6069 -1 1 2 1 4 0.006078 0.005824 0.0757 0.02136 1 -0.000009495 0.001925 0.02289 0.006172 0.07856 1.038 0.4675 0.03232 0.005226 1 1 0.02267 0.2585 0.6743 0.06156 0.7019 1.831 json
t14_x14_u4_b107 14 14 4 107 cil(dot(min(D,D),R)) 59357 114254939 o1(o2(o2(x,x),x)) true 133823 133823 0.5067 0.9337 0.5068 0.1514 0.3891 -0.05087 1 1.051 1 3.505 0.0353 0.03441 0.1241 0.01279 1 -0.0002923 0.221 0.182 0.05432 0.2331 1.879 1.414 0.4605 1.46 1 1 0.07406 0.2843 0.3006 0.4893 1.878 1.986 json
t14_x14_u4_b108 14 14 4 108 cil(dot(dot(D,D),R)) 59358 114254940 o1(o2(o2(x,x),x)) true 133831 133831 0.508 0.925 0.5107 0.1535 0.3918 -0.3763 1 1.376 1 3.679 0.002948 0.002907 0.05904 0.007012 1 0.00004431 0.006065 0.03269 0.002371 0.04869 0.8247 0.6051 0.03814 0.0395 1 1 0.009688 0.1103 0.2997 0.0631 0.7184 1.952 json
t14_x14_u4_b109 14 14 4 109 cil(dot(dst(D,D),R)) 59359 114254941 o1(o2(o2(x,x),x)) true 133839 133839 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
t14_x14_u4_b110 14 14 4 110 cil(dst(add(D,D),R)) 59360 114254942 o1(o2(o2(x,x),x)) true 133847 133847 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
t14_x14_u4_b111 14 14 4 111 cil(dst(sub(D,D),R)) 59361 114254943 o1(o2(o2(x,x),x)) true 133855 133855 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
t14_x14_u4_b112 14 14 4 112 cil(dst(mlt(D,D),R)) 59362 114254944 o1(o2(o2(x,x),x)) true 133863 133863 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
t14_x14_u4_b113 14 14 4 113 cil(dst(div(D,D),R)) 59363 114254945 o1(o2(o2(x,x),x)) true 133871 133871 -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
t14_x14_u4_b114 14 14 4 114 cil(dst(pow(D,D),R)) 59364 114254946 o1(o2(o2(x,x),x)) true 133879 133879 -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
t14_x14_u4_b115 14 14 4 115 cil(dst(mod(D,D),R)) 59365 114254947 o1(o2(o2(x,x),x)) true 133887 133887 -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
t14_x14_u4_b116 14 14 4 116 cil(dst(lrg(D,D),R)) 59366 114254948 o1(o2(o2(x,x),x)) true 133895 133895 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
t14_x14_u4_b117 14 14 4 117 cil(dst(eql(D,D),R)) 59367 114254949 o1(o2(o2(x,x),x)) true 133903 133903 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
t14_x14_u4_b118 14 14 4 118 cil(dst(min(D,D),R)) 59368 114254950 o1(o2(o2(x,x),x)) true 133911 133911 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
t14_x14_u4_b119 14 14 4 119 cil(dst(dot(D,D),R)) 59369 114254951 o1(o2(o2(x,x),x)) true 133919 133919 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
t14_x14_u4_b120 14 14 4 120 cil(dst(dst(D,D),R)) 59370 114254952 o1(o2(o2(x,x),x)) true 133927 133927 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
t14_x14_u5_b0 14 14 5 0 sgn(add(add(D,D),R)) 59371 114255033 o1(o2(o2(x,x),x)) true 133935 133935 0.007972 0.5063 0.6323 0.5021 0.7086 -1 1 2 1 4.025 0.1443 0.006448 0.2194 0.9145 1 -0.001452 0.2876 0.2276 0.1026 0.3203 1.46 1.998 0.3003 0.5728 1 1 0.1609 0.6619 0.8403 0.3205 1.318 1.674 json
t14_x14_u5_b1 14 14 5 1 sgn(add(sub(D,D),R)) 59372 114255034 o1(o2(o2(x,x),x)) true 133943 133943 -0.03516 0.4819 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007889 0.009769 0.1034 -0.1065 1 -0.00003562 0.001037 0.02513 0.006974 0.08351 0.8079 0.2338 0.02872 0.001686 1 1 0.03492 0.4498 1.145 0.0568 0.7316 1.862 json
t14_x14_u5_b2 14 14 5 2 sgn(add(mlt(D,D),R)) 59373 114255035 o1(o2(o2(x,x),x)) true 133951 133951 0.08168 0.5297 0.7216 0.6121 0.7824 -1 1 2 1 3.968 0.04301 0.00928 0.1321 0.645 1 -0.0001471 0.07256 0.09288 0.03483 0.1866 1.413 1.999 0.08542 0.1185 1 1 0.06628 0.5136 1.122 0.1083 0.839 1.832 json
t14_x14_u5_b3 14 14 5 3 sgn(add(div(D,D),R)) 59374 114255036 o1(o2(o2(x,x),x)) true 133959 133959 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
t14_x14_u5_b4 14 14 5 4 sgn(add(pow(D,D),R)) 59375 114255037 o1(o2(o2(x,x),x)) true 133967 133967 -0.1183 0.4326 0.7078 0.5784 0.7605 -1 0.9994 1.999 1 3.662 0.2625 0.001633 0.2436 0.9876 1 0.00003255 0.5187 0.2809 0.2047 0.4525 1.857 1.999 0.4567 0.8968 1 1 0.278 0.8943 0.2145 0.4807 1.546 0.3708 json
t14_x14_u5_b5 14 14 5 5 sgn(add(mod(D,D),R)) 59376 114255038 o1(o2(o2(x,x),x)) true 133975 133975 -0.02313 0.4907 0.7209 0.6162 0.785 -1 1 2 1 3.999 0.1784 0.009149 0.2215 0.9024 1 -0.0002157 0.4752 0.2849 0.1385 0.3721 1.68 2 0.3044 0.7712 1 1 0.1268 0.5162 1.095 0.2058 0.8377 1.777 json
t14_x14_u5_b6 14 14 5 6 sgn(add(lrg(D,D),R)) 59377 114255039 o1(o2(o2(x,x),x)) true 133983 133983 -0.03516 0.4819 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007889 0.009769 0.1034 -0.1065 1 -0.00003562 0.001037 0.02513 0.006974 0.08351 0.8079 0.2338 0.02872 0.001686 1 1 0.03492 0.4498 1.145 0.0568 0.7316 1.862 json
t14_x14_u5_b7 14 14 5 7 sgn(add(eql(D,D),R)) 59378 114255040 o1(o2(o2(x,x),x)) true 133991 133991 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
t14_x14_u5_b8 14 14 5 8 sgn(add(min(D,D),R)) 59379 114255041 o1(o2(o2(x,x),x)) true 133999 133999 -0.0009184 0.5006 0.6896 0.5751 0.7584 -1 1 2 1 4.103 0.07927 0.00835 0.1632 0.8094 1 0.00002957 0.1488 0.1401 0.06097 0.2469 1.513 1.999 0.1524 0.2588 1 1 0.09616 0.5801 1.041 0.1672 1.009 1.81 json
t14_x14_u5_b9 14 14 5 9 sgn(add(dot(D,D),R)) 59380 114255042 o1(o2(o2(x,x),x)) true 134007 134007 0.2114 0.584 0.754 0.6217 0.7885 -1 1 2 1 3.6 0.04687 0.04778 0.1495 -0.009567 1 -0.0006127 0.2529 0.17 0.07232 0.2689 1.799 2.827 0.1522 0.4068 1 1 0.1123 0.6333 1.097 0.1807 1.019 1.765 json
t14_x14_u5_b10 14 14 5 10 sgn(add(dst(D,D),R)) 59381 114255043 o1(o2(o2(x,x),x)) true 134015 134015 -0.03516 0.4819 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007889 0.009769 0.1034 -0.1065 1 -0.00003562 0.001037 0.02513 0.006974 0.08351 0.8079 0.2338 0.02872 0.001686 1 1 0.03492 0.4498 1.145 0.0568 0.7316 1.862 json
t14_x14_u5_b11 14 14 5 11 sgn(sub(add(D,D),R)) 59382 114255044 o1(o2(o2(x,x),x)) true 134023 134023 -0.004604 0.4957 0.6327 0.5028 0.7091 -1 1 2 1 4.027 0.1491 0.006478 0.2219 0.9167 1 0.001462 0.2915 0.2296 0.1063 0.326 1.469 1.999 0.3093 0.5797 1 1 0.1633 0.6534 0.8498 0.3247 1.299 1.69 json
t14_x14_u5_b12 14 14 5 12 sgn(sub(sub(D,D),R)) 59383 114255045 o1(o2(o2(x,x),x)) true 134031 134031 0.03516 0.5181 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007889 0.009769 0.1034 -0.1065 1 0.00003562 0.001037 0.02513 0.006974 0.08351 0.8079 0.2338 0.02872 0.001686 1 1 0.03492 0.4498 1.145 0.0568 0.7316 1.862 json
t14_x14_u5_b13 14 14 5 13 sgn(sub(mlt(D,D),R)) 59384 114255046 o1(o2(o2(x,x),x)) true 134039 134039 0.1291 0.558 0.7293 0.6117 0.7821 -1 1 2 1 3.914 0.03552 0.009173 0.1236 0.5895 1 -0.00007932 0.05798 0.07927 0.02943 0.1715 1.388 1.999 0.07306 0.09479 1 1 0.0554 0.4833 1.161 0.09057 0.7902 1.897 json
t14_x14_u5_b14 14 14 5 14 sgn(sub(div(D,D),R)) 59385 114255047 o1(o2(o2(x,x),x)) true 134047 134047 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
t14_x14_u5_b15 14 14 5 15 sgn(sub(pow(D,D),R)) 59386 114255048 o1(o2(o2(x,x),x)) true 134055 134055 -0.1524 0.4115 0.7091 0.5712 0.7558 -1 0.9994 1.999 1 3.754 0.2625 0.002335 0.2444 0.9824 1 -0.00004782 0.5223 0.2862 0.2051 0.4529 1.853 1.999 0.4637 0.9145 1 1 0.2749 0.888 0.3208 0.4812 1.555 0.5617 json
t14_x14_u5_b16 14 14 5 16 sgn(sub(mod(D,D),R)) 59387 114255049 o1(o2(o2(x,x),x)) true 134063 134063 0.02322 0.5095 0.7262 0.6219 0.7886 -1 1 2 1 3.982 0.1822 0.009225 0.2231 0.9036 1 0.0002142 0.4857 0.2892 0.1416 0.3763 1.687 2 0.3078 0.781 1 1 0.1373 0.5147 1.122 0.2208 0.8276 1.803 json
t14_x14_u5_b17 14 14 5 17 sgn(sub(lrg(D,D),R)) 59388 114255050 o1(o2(o2(x,x),x)) true 134071 134071 0.03516 0.5181 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007889 0.009769 0.1034 -0.1065 1 0.00003562 0.001037 0.02513 0.006974 0.08351 0.8079 0.2338 0.02872 0.001686 1 1 0.03492 0.4498 1.145 0.0568 0.7316 1.862 json
t14_x14_u5_b18 14 14 5 18 sgn(sub(eql(D,D),R)) 59389 114255051 o1(o2(o2(x,x),x)) true 134079 134079 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
t14_x14_u5_b19 14 14 5 19 sgn(sub(min(D,D),R)) 59390 114255052 o1(o2(o2(x,x),x)) true 134087 134087 0.001659 0.5012 0.6985 0.5863 0.7657 -1 1 2 1 4.074 0.08081 0.008481 0.1617 0.81 1 -0.00002828 0.1526 0.141 0.06316 0.2513 1.554 1.999 0.1523 0.2603 1 1 0.09823 0.5601 1.084 0.1675 0.9553 1.848 json
t14_x14_u5_b20 14 14 5 20 sgn(sub(dot(D,D),R)) 59391 114255053 o1(o2(o2(x,x),x)) true 134095 134095 0.2273 0.5977 0.7523 0.6107 0.7815 -1 1 2 1 3.66 0.03636 0.03711 0.1364 -0.01015 1 -0.00054 0.1826 0.1375 0.05488 0.2343 1.718 2.827 0.1203 0.299 1 1 0.0796 0.552 1.139 0.1303 0.9038 1.865 json
t14_x14_u5_b21 14 14 5 21 sgn(sub(dst(D,D),R)) 59392 114255054 o1(o2(o2(x,x),x)) true 134103 134103 0.03516 0.5181 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007889 0.009769 0.1034 -0.1065 1 0.00003562 0.001037 0.02513 0.006974 0.08351 0.8079 0.2338 0.02872 0.001686 1 1 0.03492 0.4498 1.145 0.0568 0.7316 1.862 json
t14_x14_u5_b22 14 14 5 22 sgn(mlt(add(D,D),R)) 59393 114255055 o1(o2(o2(x,x),x)) true 134111 134111 0.007812 0.5049 0.6979 0.5879 0.7668 -1 1 2 1 4.14 0.1911 0.00911 0.2038 0.909 1 0.00002994 0.3729 0.2242 0.1587 0.3984 1.955 2 0.3406 0.6344 1 1 0.2198 0.9817 1.127 0.3738 1.67 1.917 json
t14_x14_u5_b23 14 14 5 23 sgn(mlt(sub(D,D),R)) 59394 114255056 o1(o2(o2(x,x),x)) true 134119 134119 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
t14_x14_u5_b24 14 14 5 24 sgn(mlt(mlt(D,D),R)) 59395 114255057 o1(o2(o2(x,x),x)) true 134127 134127 -0.03516 0.4819 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007889 0.009769 0.1034 -0.1065 1 -0.00003562 0.001037 0.02513 0.006974 0.08351 0.8079 0.2338 0.02872 0.001686 1 1 0.03492 0.4498 1.145 0.0568 0.7316 1.862 json
t14_x14_u5_b25 14 14 5 25 sgn(mlt(div(D,D),R)) 59396 114255058 o1(o2(o2(x,x),x)) true 134135 134135 -0.03516 0.4819 0.7206 0.6148 0.7841 -1 1 2 1 4.005 0.007889 0.009769 0.1034 -0.1065 1 -0.00003562 0.001037 0.02513 0.006974 0.08351 0.8079 0.2338 0.02872 0.001686 1 1 0.03492 0.4498 1.145 0.0568 0.7316 1.862 json
t14_x14_u5_b26 14 14 5 26 sgn(mlt(pow(D,D),R)) 59397 114255059 o1(o2(o2(x,x),x)) true 134143 134143 -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.1234 0.5645 0.5693 0.2838 1.298 1.309 json
t14_x14_u5_b27 14 14 5 27 sgn(mlt(mod(D,D),R)) 59398 114255060 o1(o2(o2(x,x),x)) true 134151 134151 0.003076 0.252 0.3281 0.2504 0.5004 -0.9929 0.9929 1.986 1 3.108 0.4271 0.003912 0.5218 0.9818 1 0.001001 1.394 1.015 0.1586 0.3983 0.7632 1.117 1.721 5.566 1 1 0.1721 0.4219 0.4788 0.6871 1.685 1.912 json
t14_x14_u5_b28 14 14 5 28 sgn(mlt(lrg(D,D),R)) 59399 114255061 o1(o2(o2(x,x),x)) true 134159 134159 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