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_x1_u2_b23 12 1 2 23 frc(mlt(P,sub(P,D))) 20300 97488038 o1(o2(x,o2(x,x))) true 162407 162407 0.4679 1 0.4679 0.06599 0.2569 0.000282 0.9687 0.9685 1 3.892 0.1183 0 0.2715 1 1 0.004 0.3542 0.4292 0.04463 0.2113 0.7781 0.9375 1.793 5.368 1 1 0 0 0.06364 0 0 0.9644 json
t12_x1_u2_b24 12 1 2 24 frc(mlt(P,mlt(P,D))) 20301 97488039 o1(o2(x,o2(x,x))) true 162415 162415 0.4375 0.9961 0.4375 0.07051 0.2655 0.000009095 0.9687 0.9687 1 3.883 0.1029 0 0.2366 1 1 -0.00008984 0.3099 0.3731 0.04697 0.2167 0.9161 0.9375 1.46 4.395 1 1 0 0 0.04991 0 0 0.7078 json
t12_x1_u2_b25 12 1 2 25 frc(mlt(P,div(P,D))) 20302 97488040 o1(o2(x,o2(x,x))) true 162423 162423 0.3891 0.9492 0.3891 0.07653 0.2766 0 0.9995 0.9995 1 3.663 0.1243 0 0.2712 1 1 -9.452e-10 0.3412 0.4564 0.05073 0.2252 0.8305 0.9994 1.624 4.459 1 1 0 0 0.08076 0 0 1.055 json
t12_x1_u2_b26 12 1 2 26 frc(mlt(P,pow(P,D))) 20303 97488041 o1(o2(x,o2(x,x))) true 162431 162431 -0.296 0.4336 0.704 0.5381 0.7336 -1 0.9569 1.957 1 2.899 0.05646 0 0.1246 1 1 -0.0007035 0.1627 0.1997 0.04095 0.2024 1.625 1 0.1049 0.3024 1 1 0 0 0.03092 0 0 0.05745 json
t12_x1_u2_b27 12 1 2 27 frc(mlt(P,mod(P,D))) 20304 97488042 o1(o2(x,o2(x,x))) true 162439 162439 0.3205 0.9219 0.3205 0.06907 0.2628 0 0.8962 0.8962 1 3.546 0.07934 0 0.2057 1 1 -0.00009868 0.2297 0.3478 0.03703 0.1924 0.9355 0.8814 1.149 3.326 1 1 0 0 0.03733 0 0 0.5404 json
t12_x1_u2_b28 12 1 2 28 frc(mlt(P,lrg(P,D))) 20305 97488043 o1(o2(x,o2(x,x))) true 162447 162447 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_x1_u2_b29 12 1 2 29 frc(mlt(P,eql(P,D))) 20306 97488044 o1(o2(x,o2(x,x))) true 162455 162455 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_x1_u2_b30 12 1 2 30 frc(mlt(P,min(P,D))) 20307 97488045 o1(o2(x,o2(x,x))) true 162463 162463 0.2349 0.4961 0.2349 0.08822 0.297 0 0.9685 0.9685 1 2.823 0.05992 0 0.1386 1 1 -0.002 0.1772 0.2146 0.04073 0.2018 1.457 0.9372 0.6792 2.008 1 1 0 0 0.03325 0 0 0.3769 json
t12_x1_u2_b31 12 1 2 31 frc(mlt(P,dot(P,D))) 20308 97488046 o1(o2(x,o2(x,x))) true 162471 162471 0.4375 0.9969 0.4375 0.057 0.2387 2.647e-9 0.9687 0.9687 1 3.852 0.0771 0.09217 0.3471 -0.08906 1 -0.00001998 0.824 0.6878 0.04882 0.2209 0.6366 1.325 2.97 14.46 1 1 0 0 0.08027 0 0 1.408 json
t12_x1_u2_b32 12 1 2 32 frc(mlt(P,dst(P,D))) 20309 97488047 o1(o2(x,o2(x,x))) true 162479 162479 0.4687 0.9974 0.4687 0.05954 0.244 0.000008675 0.9985 0.9985 1 3.905 0.07997 0.06661 0.2994 0.09113 1 -1.502e-11 0.6565 0.5338 0.05694 0.2386 0.797 1.353 2.462 11.03 1 1 0 0 0.0925 0 0 1.554 json
t12_x1_u2_b33 12 1 2 33 frc(div(P,add(P,D))) 20310 97488048 o1(o2(x,o2(x,x))) true 162487 162487 0.457 0.9922 0.457 0.1217 0.3488 0 0.9953 0.9953 1 3.71 0.05919 0 0.1184 1 1 -0.0002207 0.1164 0.1312 0.04518 0.2126 1.795 0.9906 0.4865 0.9567 1 1 0 0 0.05892 0 0 0.4843 json
t12_x1_u2_b34 12 1 2 34 frc(div(P,sub(P,D))) 20311 97488049 o1(o2(x,o2(x,x))) true 162495 162495 0.5151 1 0.5151 0.1242 0.3524 0.0001478 0.9959 0.9957 1 3.729 0.05953 0 0.122 1 1 0.000212 0.1165 0.1318 0.04466 0.2113 1.733 0.9906 0.4793 0.9377 1 1 0 0 0.05978 0 0 0.4813 json
t12_x1_u2_b35 12 1 2 35 frc(div(P,mlt(P,D))) 20312 97488050 o1(o2(x,o2(x,x))) true 162503 162503 0.2813 0.8203 0.5313 0.2926 0.5409 -1 1 2 1 3.141 0.1273 0 0.269 1 1 -4.732e-9 0.3308 0.4277 0.05496 0.2344 0.8716 1 0.4351 1.131 1 1 0 0 0.0873 0 0 0.2984 json
t12_x1_u2_b36 12 1 2 36 frc(div(P,div(P,D))) 20313 97488051 o1(o2(x,o2(x,x))) true 162511 162511 0.3125 0.875 0.5625 0.3186 0.5644 -1 0.9688 1.969 1 4.044 0.06466 0 0.1079 1 1 -1.23e-8 0.1349 0.119 0.053 0.2302 2.134 1.969 0.203 0.4235 1 1 0 0 0.06568 0 0 0.2061 json
t12_x1_u2_b37 12 1 2 37 frc(div(P,pow(P,D))) 20314 97488052 o1(o2(x,o2(x,x))) true 162519 162519 -0.3602 0.4375 0.7648 0.5559 0.7456 -1 0.9571 1.957 1 2.691 0.0574 0 0.1246 1 1 0.002534 0.1693 0.2088 0.04189 0.2047 1.643 1 0.1033 0.3046 1 1 0 0 0.03405 0 0 0.06124 json
t12_x1_u2_b38 12 1 2 38 frc(div(P,mod(P,D))) 20315 97488053 o1(o2(x,o2(x,x))) true 162527 162527 0.004966 0.6719 0.5049 0.4269 0.6533 -1 0.9976 1.998 1 3.183 0.4174 0 0.4201 1 1 0.0000377 1.139 0.7613 0.2409 0.4908 1.168 1.998 0.9778 2.668 1 1 0 0 0.2561 0 0 0.6 json
t12_x1_u2_b39 12 1 2 39 frc(div(P,lrg(P,D))) 20316 97488054 o1(o2(x,o2(x,x))) true 162535 162535 -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
t12_x1_u2_b40 12 1 2 40 frc(div(P,eql(P,D))) 20317 97488055 o1(o2(x,o2(x,x))) true 162543 162543 -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_x1_u2_b41 12 1 2 41 frc(div(P,min(P,D))) 20318 97488056 o1(o2(x,o2(x,x))) true 162551 162551 0.3186 0.7227 0.4436 0.2434 0.4934 -1 1 2 1 3.539 0.07034 0 0.1494 1 1 -0.0005578 0.1789 0.2328 0.04801 0.2191 1.467 1 0.289 0.7351 1 1 0 0 0.05331 0 0 0.219 json
t12_x1_u2_b42 12 1 2 42 frc(div(P,dot(P,D))) 20319 97488057 o1(o2(x,o2(x,x))) true 162559 162559 0.385 0.9595 0.4544 0.131 0.362 -1 1 2 1 3.973 0.1696 0.1614 0.4336 0.02457 1 -0.00005094 1.756 0.9254 0.1429 0.3781 0.8719 2.828 2.526 13.41 1 1 0 0 0.1772 0 0 1.352 json
t12_x1_u2_b43 12 1 2 43 frc(div(P,dst(P,D))) 20320 97488058 o1(o2(x,o2(x,x))) true 162567 162567 0.4687 0.9973 0.4687 0.07282 0.2699 0.000035 0.9988 0.9987 1 3.961 0.009415 0.00235 0.03938 0.6005 1 6.324e-10 0.03102 0.03801 0.01022 0.1011 2.567 1.391 0.1616 0.426 1 1 0 0 0.0138 0 0 0.1894 json
t12_x1_u2_b44 12 1 2 44 frc(pow(P,add(P,D))) 20321 97488059 o1(o2(x,o2(x,x))) true 162575 162575 -0.3198 0.4258 0.6802 0.5061 0.7114 -1 0.9947 1.995 1 2.843 0.05718 0 0.123 1 1 -0.00005905 0.1513 0.1988 0.04208 0.2051 1.668 1 0.113 0.2991 1 1 0 0 0.04222 0 0 0.08343 json
t12_x1_u2_b45 12 1 2 45 frc(pow(P,sub(P,D))) 20322 97488060 o1(o2(x,o2(x,x))) true 162583 162583 -0.3869 0.4297 0.7382 0.5166 0.7188 -1 0.9451 1.945 1 2.628 0.05535 0 0.12 1 1 -0.00007596 0.1477 0.1991 0.04095 0.2024 1.687 1 0.1071 0.2859 1 1 0 0 0.04136 0 0 0.08007 json
t12_x1_u2_b46 12 1 2 46 frc(pow(P,mlt(P,D))) 20323 97488061 o1(o2(x,o2(x,x))) true 162591 162591 -0.3483 0.4336 0.6516 0.4562 0.6754 -1 0.9573 1.957 1 2.79 0.03285 0 0.08717 1 1 0.0005318 0.08889 0.1364 0.02524 0.1589 1.823 1 0.072 0.1948 1 1 0 0 0.02338 0 0 0.05125 json
t12_x1_u2_b47 12 1 2 47 frc(pow(P,div(P,D))) 20324 97488062 o1(o2(x,o2(x,x))) true 162599 162599 -0.4963 0.2344 0.5584 0.2928 0.5411 -1 0.7869 1.787 1 1.654 0.05224 0 0.069 1 1 1.89e-9 0.1297 0.1275 0.0475 0.2179 3.159 1 0.1784 0.4431 1 1 0 0 0.03408 0 0 0.1164 json
t12_x1_u2_b48 12 1 2 48 frc(pow(P,pow(P,D))) 20325 97488063 o1(o2(x,o2(x,x))) true 162607 162607 -0.287 0.4375 0.713 0.553 0.7436 -1 0.9856 1.986 1 2.902 0.05142 0 0.1182 1 1 0.0002096 0.1478 0.1895 0.03742 0.1935 1.636 1 0.09299 0.2673 1 1 0 0 0.03183 0 0 0.05757 json
t12_x1_u2_b49 12 1 2 49 frc(pow(P,mod(P,D))) 20326 97488064 o1(o2(x,o2(x,x))) true 162615 162615 -0.4025 0.4023 0.5897 0.3703 0.6086 -1 0.7213 1.721 1 2.477 0.02262 0 0.06209 1 1 -0.00005142 0.05531 0.101 0.01876 0.137 2.206 1 0.06108 0.1493 1 1 0 0 0.01732 0 0 0.04677 json
t12_x1_u2_b50 12 1 2 50 frc(pow(P,lrg(P,D))) 20327 97488065 o1(o2(x,o2(x,x))) true 162623 162623 0.125 0.1875 0.125 0.09585 0.3096 0 1 1 1 1.067 0.0007059 0 0.007937 1 1 -8.877e-11 0.00003238 0.001855 0.0006432 0.02536 3.195 0.1169 0.007364 0.0003379 1 1 0 0 0.0009255 0 0 0.009656 json
t12_x1_u2_b51 12 1 2 51 frc(pow(P,eql(P,D))) 20328 97488066 o1(o2(x,o2(x,x))) true 162631 162631 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_x1_u2_b52 12 1 2 52 frc(pow(P,min(P,D))) 20329 97488067 o1(o2(x,o2(x,x))) true 162639 162639 -0.2823 0.4375 0.7176 0.5612 0.7492 -1 0.9783 1.978 1 2.904 0.0322 0 0.07189 1 1 0.0004641 0.07213 0.09097 0.02702 0.1644 2.287 1 0.05737 0.1285 1 1 0 0 0.02803 0 0 0.04994 json
t12_x1_u2_b53 12 1 2 53 frc(pow(P,dot(P,D))) 20330 97488068 o1(o2(x,o2(x,x))) true 162647 162647 -0.4274 0.4337 0.6976 0.4423 0.665 -1 0.9808 1.981 1 2.575 0.02931 0.02233 0.1146 0.1352 1 0.0005019 0.2462 0.2271 0.03852 0.1963 1.713 1.349 0.1168 0.5566 1 1 0 0 0.02903 0 0 0.06564 json
t12_x1_u2_b54 12 1 2 54 frc(pow(P,dst(P,D))) 20331 97488069 o1(o2(x,o2(x,x))) true 162655 162655 -0.3396 0.4074 0.6604 0.4753 0.6894 -1 0.996 1.996 1 2.771 0.03897 0.03315 0.1431 0.08071 1 -0.00002033 0.3454 0.2944 0.05163 0.2272 1.587 1.325 0.1517 0.7267 1 1 0 0 0.04364 0 0 0.09183 json
t12_x1_u2_b55 12 1 2 55 frc(mod(P,add(P,D))) 20332 97488070 o1(o2(x,o2(x,x))) true 162663 162663 0.25 0.9648 0.25 0.07455 0.273 0 0.9685 0.9685 1 3.057 0.02974 0 0.07527 1 1 0.00008985 0.05715 0.07157 0.02408 0.1552 2.062 0.9685 0.399 0.7666 1 1 0 0 0.0297 0 0 0.3984 json
t12_x1_u2_b56 12 1 2 56 frc(mod(P,sub(P,D))) 20333 97488071 o1(o2(x,o2(x,x))) true 162671 162671 0.2187 0.8438 0.2187 0.07212 0.2686 0 0.9685 0.9685 1 2.859 0.02938 0 0.07018 1 1 -0.00008984 0.05717 0.07031 0.02446 0.1564 2.228 0.9685 0.4074 0.7927 1 1 0 0 0.02865 0 0 0.3972 json
t12_x1_u2_b57 12 1 2 57 frc(mod(P,mlt(P,D))) 20334 97488072 o1(o2(x,o2(x,x))) true 162679 162679 0.2776 0.8438 0.5276 0.2918 0.5402 -1 0.9418 1.942 1 3.939 0.07374 0 0.1824 1 1 7.096e-9 0.1675 0.3001 0.04047 0.2012 1.103 1 0.2527 0.574 1 1 0 0 0.06617 0 0 0.2268 json
t12_x1_u2_b58 12 1 2 58 frc(mod(P,div(P,D))) 20335 97488073 o1(o2(x,o2(x,x))) true 162687 162687 -0.125 0 0.125 0.1094 0.3307 -1 0 1 1 0.5436 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.07256 0.1451 1 1 0 0 0.01053 0 0 0.09624 json
t12_x1_u2_b59 12 1 2 59 frc(mod(P,pow(P,D))) 20336 97488074 o1(o2(x,o2(x,x))) true 162695 162695 -0.398 0.4375 0.727 0.4938 0.7027 -1 0.993 1.993 1 2.624 0.04828 0 0.1103 1 1 0.002049 0.1396 0.1834 0.03613 0.1901 1.723 1 0.09778 0.2828 1 1 0 0 0.02766 0 0 0.056 json
t12_x1_u2_b60 12 1 2 60 frc(mod(P,mod(P,D))) 20337 97488075 o1(o2(x,o2(x,x))) true 162703 162703 -0.04855 0.6719 0.4514 0.388 0.6229 -1 0.9688 1.969 1 2.98 0.3016 0 0.3213 1 1 0.00002827 0.8084 0.5905 0.1984 0.4454 1.386 1.906 0.7773 2.083 1 1 0 0 0.1947 0 0 0.5018 json
t12_x1_u2_b61 12 1 2 61 frc(mod(P,lrg(P,D))) 20338 97488076 o1(o2(x,o2(x,x))) true 162711 162711 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_x1_u2_b62 12 1 2 62 frc(mod(P,eql(P,D))) 20339 97488077 o1(o2(x,o2(x,x))) true 162719 162719 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_x1_u2_b63 12 1 2 63 frc(mod(P,min(P,D))) 20340 97488078 o1(o2(x,o2(x,x))) true 162727 162727 0.001275 0.3828 0.1263 0.07631 0.2762 -1 0.3853 1.385 1 1.954 0.01138 0 0.03766 1 1 -0.000008171 0.02356 0.06198 0.009954 0.09977 2.649 1 0.1491 0.3088 1 1 0 0 0.01342 0 0 0.1759 json
t12_x1_u2_b64 12 1 2 64 frc(mod(P,dot(P,D))) 20341 97488079 o1(o2(x,o2(x,x))) true 162735 162735 0.3238 0.8723 0.3931 0.1346 0.3668 -1 0.9687 1.969 1 3.854 0.141 0.145 0.3795 -0.01404 1 0.0003776 1.532 0.8211 0.142 0.3769 0.9932 2.744 2.126 11.39 1 1 0 0 0.1565 0 0 1.163 json
t12_x1_u2_b65 12 1 2 65 frc(mod(P,dst(P,D))) 20342 97488080 o1(o2(x,o2(x,x))) true 162743 162743 0.03624 0.2674 0.03624 0.01429 0.1195 0 0.9885 0.9885 1 0.9222 0.004543 0.001162 0.01677 0.5927 1 -0.00003734 0.01548 0.01907 0.005421 0.07363 4.39 1.393 0.3992 1.083 1 1 0 0 0.006466 0 0 0.4525 json
t12_x1_u2_b66 12 1 2 66 frc(lrg(P,add(P,D))) 20343 97488081 o1(o2(x,o2(x,x))) true 162751 162751 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_x1_u2_b67 12 1 2 67 frc(lrg(P,sub(P,D))) 20344 97488082 o1(o2(x,o2(x,x))) true 162759 162759 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_x1_u2_b68 12 1 2 68 frc(lrg(P,mlt(P,D))) 20345 97488083 o1(o2(x,o2(x,x))) true 162767 162767 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_x1_u2_b69 12 1 2 69 frc(lrg(P,div(P,D))) 20346 97488084 o1(o2(x,o2(x,x))) true 162775 162775 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_x1_u2_b70 12 1 2 70 frc(lrg(P,pow(P,D))) 20347 97488085 o1(o2(x,o2(x,x))) true 162783 162783 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_x1_u2_b71 12 1 2 71 frc(lrg(P,mod(P,D))) 20348 97488086 o1(o2(x,o2(x,x))) true 162791 162791 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_x1_u2_b72 12 1 2 72 frc(lrg(P,lrg(P,D))) 20349 97488087 o1(o2(x,o2(x,x))) true 162799 162799 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_x1_u2_b73 12 1 2 73 frc(lrg(P,eql(P,D))) 20350 97488088 o1(o2(x,o2(x,x))) true 162807 162807 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_x1_u2_b74 12 1 2 74 frc(lrg(P,min(P,D))) 20351 97488089 o1(o2(x,o2(x,x))) true 162815 162815 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_x1_u2_b75 12 1 2 75 frc(lrg(P,dot(P,D))) 20352 97488090 o1(o2(x,o2(x,x))) true 162823 162823 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_x1_u2_b76 12 1 2 76 frc(lrg(P,dst(P,D))) 20353 97488091 o1(o2(x,o2(x,x))) true 162831 162831 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_x1_u2_b77 12 1 2 77 frc(eql(P,add(P,D))) 20354 97488092 o1(o2(x,o2(x,x))) true 162839 162839 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_x1_u2_b78 12 1 2 78 frc(eql(P,sub(P,D))) 20355 97488093 o1(o2(x,o2(x,x))) true 162847 162847 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_x1_u2_b79 12 1 2 79 frc(eql(P,mlt(P,D))) 20356 97488094 o1(o2(x,o2(x,x))) true 162855 162855 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_x1_u2_b80 12 1 2 80 frc(eql(P,div(P,D))) 20357 97488095 o1(o2(x,o2(x,x))) true 162863 162863 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_x1_u2_b81 12 1 2 81 frc(eql(P,pow(P,D))) 20358 97488096 o1(o2(x,o2(x,x))) true 162871 162871 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_x1_u2_b82 12 1 2 82 frc(eql(P,mod(P,D))) 20359 97488097 o1(o2(x,o2(x,x))) true 162879 162879 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_x1_u2_b83 12 1 2 83 frc(eql(P,lrg(P,D))) 20360 97488098 o1(o2(x,o2(x,x))) true 162887 162887 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_x1_u2_b84 12 1 2 84 frc(eql(P,eql(P,D))) 20361 97488099 o1(o2(x,o2(x,x))) true 162895 162895 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_x1_u2_b85 12 1 2 85 frc(eql(P,min(P,D))) 20362 97488100 o1(o2(x,o2(x,x))) true 162903 162903 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_x1_u2_b86 12 1 2 86 frc(eql(P,dot(P,D))) 20363 97488101 o1(o2(x,o2(x,x))) true 162911 162911 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_x1_u2_b87 12 1 2 87 frc(eql(P,dst(P,D))) 20364 97488102 o1(o2(x,o2(x,x))) true 162919 162919 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_x1_u2_b88 12 1 2 88 frc(min(P,add(P,D))) 20365 97488103 o1(o2(x,o2(x,x))) true 162927 162927 0.357 0.9375 0.357 0.1162 0.3409 0.000009095 0.9685 0.9685 1 3.274 0.06119 0 0.1188 1 1 0.0003063 0.12 0.129 0.04706 0.2169 1.826 0.9685 0.5265 1.033 1 1 0 0 0.06301 0 0 0.5422 json
t12_x1_u2_b89 12 1 2 89 frc(min(P,sub(P,D))) 20366 97488104 o1(o2(x,o2(x,x))) true 162935 162935 0.357 0.9375 0.357 0.1162 0.3409 0.000009095 0.9685 0.9685 1 3.274 0.06116 0 0.1185 1 1 0.0003062 0.12 0.129 0.0471 0.217 1.831 0.9685 0.5262 1.033 1 1 0 0 0.06329 0 0 0.5445 json
t12_x1_u2_b90 12 1 2 90 frc(min(P,mlt(P,D))) 20367 97488105 o1(o2(x,o2(x,x))) true 162943 162943 0.2349 0.4961 0.2349 0.08822 0.297 0 0.9685 0.9685 1 2.823 0.05992 0 0.1386 1 1 -0.002 0.1772 0.2146 0.04073 0.2018 1.457 0.9372 0.6792 2.008 1 1 0 0 0.03325 0 0 0.3769 json
t12_x1_u2_b91 12 1 2 91 frc(min(P,div(P,D))) 20368 97488106 o1(o2(x,o2(x,x))) true 162951 162951 0.2008 0.9063 0.2008 0.04774 0.2185 0 0.7943 0.7943 1 2.958 0.0519 0 0.1442 1 1 -0.0009069 0.1392 0.2498 0.03112 0.1764 1.224 0.7762 1.087 2.916 1 1 0 0 0.03644 0 0 0.7633 json
t12_x1_u2_b92 12 1 2 92 frc(min(P,pow(P,D))) 20369 97488107 o1(o2(x,o2(x,x))) true 162959 162959 0.2177 0.4375 0.2177 0.09346 0.3057 0 0.9783 0.9783 1 2.52 0.02823 0 0.06792 1 1 0.0004641 0.06419 0.08303 0.02362 0.1537 2.263 0.9563 0.302 0.6868 1 1 0 0 0.02277 0 0 0.2436 json
t12_x1_u2_b93 12 1 2 93 frc(min(P,mod(P,D))) 20370 97488108 o1(o2(x,o2(x,x))) true 162967 162967 0.06867 0.4375 0.06867 0.009811 0.09905 0 0.3853 0.3853 1 1.733 0.003762 0 0.03303 1 1 -0.000008171 0.008994 0.05113 0.00267 0.05168 1.565 0.284 0.3835 0.9167 1 1 0 0 0.002879 0 0 0.2935 json
t12_x1_u2_b94 12 1 2 94 frc(min(P,lrg(P,D))) 20371 97488109 o1(o2(x,o2(x,x))) true 162975 162975 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_x1_u2_b95 12 1 2 95 frc(min(P,eql(P,D))) 20372 97488110 o1(o2(x,o2(x,x))) true 162983 162983 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_x1_u2_b96 12 1 2 96 frc(min(P,min(P,D))) 20373 97488111 o1(o2(x,o2(x,x))) true 162991 162991 0.2634 0.5547 0.2634 0.1068 0.3268 0 0.9688 0.9688 1 2.934 0.03042 0 0.06336 1 1 0.000248 0.06361 0.06474 0.02641 0.1625 2.565 0.9685 0.2849 0.5958 1 1 0 0 0.03133 0 0 0.2934 json
t12_x1_u2_b97 12 1 2 97 frc(min(P,dot(P,D))) 20374 97488112 o1(o2(x,o2(x,x))) true 162999 162999 0.2524 0.7277 0.2524 0.07292 0.27 0 0.9682 0.9682 1 3.091 0.04345 0.04832 0.2016 -0.05309 1 -0.0005287 0.4406 0.3976 0.05115 0.2262 1.122 1.326 1.259 6.043 1 1 0 0 0.05347 0 0 0.7334 json
t12_x1_u2_b98 12 1 2 98 frc(min(P,dst(P,D))) 20375 97488113 o1(o2(x,o2(x,x))) true 163007 163007 0.0278 0.1341 0.0278 0.01363 0.1168 0 0.9885 0.9885 1 0.6458 0.004462 0.001145 0.01417 0.5916 1 -0.00001696 0.0154 0.01757 0.005411 0.07356 5.191 1.339 0.4112 1.129 1 1 0 0 0.006474 0 0 0.4749 json
t12_x1_u2_b99 12 1 2 99 frc(dot(P,add(P,D))) 20376 97488114 o1(o2(x,o2(x,x))) true 163015 163015 0.4835 0.9991 0.4835 0.04261 0.2064 0.00001819 0.9682 0.9682 1 3.725 0.08242 0.08242 0.3477 -0.000004249 1 -0.0005344 0.8173 0.6957 0.04392 0.2096 0.6027 1.326 3.869 19.18 1 1 0 0 0.09122 0 0 2.141 json
t12_x1_u2_b100 12 1 2 100 frc(dot(P,sub(P,D))) 20377 97488115 o1(o2(x,o2(x,x))) true 163023 163023 0.4833 1 0.4833 0.0426 0.2064 0.0005638 0.9687 0.9682 1 3.726 0.08242 0.08242 0.3474 -0.000004701 1 0.0004762 0.8176 0.6962 0.04413 0.2101 0.6046 1.325 3.869 19.19 1 1 0 0 0.09109 0 0 2.138 json
t12_x1_u2_b101 12 1 2 101 frc(dot(P,mlt(P,D))) 20378 97488116 o1(o2(x,o2(x,x))) true 163031 163031 0.4688 0.9999 0.4688 0.05214 0.2283 0.00001819 0.9687 0.9687 1 3.846 0.0771 0.0771 0.3255 -0.000003334 1 -0.00001427 0.7089 0.6256 0.04827 0.2197 0.6751 1.326 2.958 13.6 1 1 0 0 0.06988 0 0 1.34 json
t12_x1_u2_b102 12 1 2 102 frc(dot(P,div(P,D))) 20379 97488117 o1(o2(x,o2(x,x))) true 163039 163039 -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_x1_u2_b103 12 1 2 103 frc(dot(P,pow(P,D))) 20380 97488118 o1(o2(x,o2(x,x))) true 163047 163047 -0.6294 0.2456 0.8706 0.427 0.6534 -1 0.9971 1.997 1 1.789 0.02682 0.02682 0.09545 -0.000006008 1 -0.0002682 0.2273 0.1823 0.04453 0.211 2.211 1.957 0.1256 0.5324 1 1 0 0 0.03291 0 0 0.07709 json
t12_x1_u2_b104 12 1 2 104 frc(dot(P,mod(P,D))) 20381 97488119 o1(o2(x,o2(x,x))) true 163055 163055 -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_x1_u2_b105 12 1 2 105 frc(dot(P,lrg(P,D))) 20382 97488120 o1(o2(x,o2(x,x))) true 163063 163063 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_x1_u2_b106 12 1 2 106 frc(dot(P,eql(P,D))) 20383 97488121 o1(o2(x,o2(x,x))) true 163071 163071 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_x1_u2_b107 12 1 2 107 frc(dot(P,min(P,D))) 20384 97488122 o1(o2(x,o2(x,x))) true 163079 163079 0.3557 0.7459 0.3557 0.08592 0.2931 0 0.9685 0.9685 1 3.593 0.05073 0.05073 0.225 2.203e-7 1 -0.002134 0.3815 0.3885 0.05085 0.2255 1.002 1.326 1.181 4.44 1 1 0 0 0.05642 0 0 0.6567 json
t12_x1_u2_b108 12 1 2 108 frc(dot(P,dot(P,D))) 20385 97488123 o1(o2(x,o2(x,x))) true 163087 163087 0.4219 0.9997 0.4219 0.05604 0.2367 0.0000182 0.9687 0.9687 1 3.85 0.09367 0.09367 0.3708 -0.000001989 1 0.000008541 0.9982 0.7709 0.04988 0.2233 0.6024 1.237 3.343 17.81 1 1 0 0 0.08927 0 0 1.593 json
t12_x1_u2_b109 12 1 2 109 frc(dot(P,dst(P,D))) 20386 97488124 o1(o2(x,o2(x,x))) true 163095 163095 0.4697 1 0.4697 0.05515 0.2348 0.00001808 0.9985 0.9984 1 3.878 0.07816 0.07816 0.3183 -0.000002812 1 0.00000712 0.7645 0.6098 0.05503 0.2346 0.7371 1.284 2.834 13.86 1 1 0 0 0.08164 0 0 1.48 json
t12_x1_u2_b110 12 1 2 110 frc(dst(P,add(P,D))) 20387 97488125 o1(o2(x,o2(x,x))) true 163103 163103 0.4415 1 0.4415 0.02494 0.1579 0.04473 0.7026 0.6579 1 3.253 0.002 0.002 0.05934 8.148e-7 1 -0.0006633 0.0009277 0.02445 0.0004789 0.02188 0.3688 0.1006 0.1604 0.0372 1 1 0 0 0.007614 0 0 0.3053 json
t12_x1_u2_b111 12 1 2 111 frc(dst(P,sub(P,D))) 20388 97488126 o1(o2(x,o2(x,x))) true 163111 163111 0.4415 1 0.4415 0.02494 0.1579 0.04473 0.7026 0.6579 1 3.253 0.002 0.002 0.05934 8.148e-7 1 -0.0006633 0.0009277 0.02445 0.0004789 0.02188 0.3688 0.1006 0.1604 0.0372 1 1 0 0 0.007614 0 0 0.3053 json
t12_x1_u2_b112 12 1 2 112 frc(dst(P,mlt(P,D))) 20389 97488127 o1(o2(x,o2(x,x))) true 163119 163119 0.5005 1 0.5005 0.05192 0.2279 0.00001819 0.9972 0.9972 1 3.85 0.08111 0.08111 0.3375 -0.000002159 1 0.00003114 0.6624 0.6012 0.0483 0.2198 0.6511 1.29 3.124 12.76 1 1 0 0 0.09622 0 0 1.853 json
t12_x1_u2_b113 12 1 2 113 frc(dst(P,div(P,D))) 20390 97488128 o1(o2(x,o2(x,x))) true 163127 163127 -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_x1_u2_b114 12 1 2 114 frc(dst(P,pow(P,D))) 20391 97488129 o1(o2(x,o2(x,x))) true 163135 163135 -0.6289 0.2461 0.8711 0.4265 0.653 -1 0.9992 1.999 1 1.773 0.01165 0.01165 0.04322 7.992e-8 1 -0.0001253 0.06534 0.06393 0.02144 0.1464 3.388 1.982 0.05465 0.1532 1 1 0 0 0.02052 0 0 0.04813 json
t12_x1_u2_b115 12 1 2 115 frc(dst(P,mod(P,D))) 20392 97488130 o1(o2(x,o2(x,x))) true 163143 163143 -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_x1_u2_b116 12 1 2 116 frc(dst(P,lrg(P,D))) 20393 97488131 o1(o2(x,o2(x,x))) true 163151 163151 0.295 0.8726 0.295 0.0556 0.2358 0 0.9439 0.9439 1 3.561 0.0006241 0.0006241 0.02331 0.000006762 1 -0.000001262 0.000703 0.007605 0.0007048 0.02655 1.139 0.5858 0.02245 0.01264 1 1 0 0 0.002191 0 0 0.03941 json
t12_x1_u2_b117 12 1 2 117 frc(dst(P,eql(P,D))) 20394 97488132 o1(o2(x,o2(x,x))) true 163159 163159 0.3984 1 0.3984 0.04705 0.2169 0.0001778 0.9497 0.9495 1 3.709 0.0005522 0.0005522 0.02672 0.00000564 1 -0.0000482 0.00006217 0.005985 0.0003902 0.01975 0.7392 0.09547 0.02347 0.001321 1 1 0 0 0.002193 0 0 0.04661 json
t12_x1_u2_b118 12 1 2 118 frc(dst(P,min(P,D))) 20395 97488133 o1(o2(x,o2(x,x))) true 163167 163167 0.3612 0.8086 0.3612 0.0936 0.3059 0 0.9954 0.9954 1 3.699 0.01903 0.01903 0.0856 -0.000002251 1 -0.000349 0.09539 0.09673 0.03072 0.1753 2.048 1.351 0.4066 1.019 1 1 0 0 0.03693 0 0 0.3946 json
t12_x1_u2_b119 12 1 2 119 frc(dst(P,dot(P,D))) 20396 97488134 o1(o2(x,o2(x,x))) true 163175 163175 0.5004 1 0.5004 0.05088 0.2256 0.0002156 0.9978 0.9975 1 3.841 0.08444 0.08444 0.3384 -0.00000353 1 -0.00007843 0.8266 0.6773 0.05433 0.2331 0.6887 1.244 3.319 16.25 1 1 0 0 0.09016 0 0 1.772 json
t12_x1_u2_b120 12 1 2 120 frc(dst(P,dst(P,D))) 20397 97488135 o1(o2(x,o2(x,x))) true 163183 163183 0.5003 1 0.5003 0.05172 0.2274 0.001672 0.9988 0.9971 1 3.849 0.03559 0.03559 0.1699 -9.944e-7 1 -0.0003534 0.2476 0.2353 0.04232 0.2057 1.211 1.329 1.376 4.787 1 1 0 0 0.06737 0 0 1.303 json
t12_x1_u3_b0 12 1 3 0 flr(add(P,add(P,D))) 20398 97488216 o1(o2(x,o2(x,x))) true 163191 163191 -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
t12_x1_u3_b1 12 1 3 1 flr(add(P,sub(P,D))) 20399 97488217 o1(o2(x,o2(x,x))) true 163199 163199 -0.03125 0.4727 0.9688 0.9595 0.9796 -1 1 2 1 1.408 0.007092 0 0.01586 1 1 0 0.009138 0.01315 0.006835 0.08268 5.213 0.9983 0.007391 0.009524 1 1 0 0 0.01275 0 0 0.01329 json