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_x3_u1_b50 12 3 1 50 log(pow(P,lrg(D,P))) 21900 97568666 o1(o2(x,o2(x,x))) true 5047 5047 -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.005263 0.02105 0.08421 0.02139 0.08555 0.3422 json
t12_x3_u1_b51 12 3 1 51 log(pow(P,eql(D,P))) 21901 97568667 o1(o2(x,o2(x,x))) true 5055 5055 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_x3_u1_b52 12 3 1 52 log(pow(P,min(D,P))) 21902 97568668 o1(o2(x,o2(x,x))) true 5063 5063 -0.5811 0.1719 0.6243 0.2366 0.4864 -1 0.2753 1.275 1 2.4 0.005528 0 0.02624 1 1 0.0003388 0.008211 0.01673 0.00484 0.06957 2.651 0.9998 0.02337 0.03471 1 1 0.00742 0.03505 0.07311 0.03137 0.1482 0.3091 json
t12_x3_u1_b53 12 3 1 53 log(pow(P,dot(D,P))) 21903 97568669 o1(o2(x,o2(x,x))) true 5071 5071 -0.6956 0.1251 0.839 0.3108 0.5575 -1 1 2 1 2.307 0.02969 0.01447 0.09191 0.3445 1 0.000973 0.03204 0.0612 0.0357 0.189 2.056 1.194 0.1421 0.1031 1 1 0.04803 0.2942 0.07839 0.1546 0.9467 0.2523 json
t12_x3_u1_b54 12 3 1 54 log(pow(P,dst(D,P))) 21904 97568670 o1(o2(x,o2(x,x))) true 5079 5079 -0.1426 0.4375 0.9824 0.9585 0.979 -1 1 2 1 1.208 0.004833 0.000001154 0.007943 0.9995 1 -9.255e-8 0.008092 0.01006 0.004769 0.06906 8.694 1.002 0.005043 0.008443 1 1 0.007307 0.05464 0.3075 0.007623 0.05701 0.3208 json
t12_x3_u1_b55 12 3 1 55 log(mod(P,add(D,P))) 21905 97568671 o1(o2(x,o2(x,x))) true 5087 5087 -0.5569 0.2109 0.8873 0.5448 0.7381 -1 1 2 1 2.079 0.1098 0 0.1007 1 1 2.766e-9 0.193 0.121 0.09972 0.3158 3.135 2 0.2016 0.3543 1 1 0.1174 0.4929 0.09558 0.2154 0.9047 0.1754 json
t12_x3_u1_b56 12 3 1 56 log(mod(P,sub(D,P))) 21906 97568672 o1(o2(x,o2(x,x))) true 5095 5095 -0.529 0.2383 0.9122 0.6026 0.7763 -1 1 2 1 1.977 0.1124 0 0.1063 1 1 2.838e-9 0.1994 0.127 0.1011 0.318 2.992 2 0.1866 0.3309 1 1 0.1196 0.4911 0.1335 0.1985 0.815 0.2215 json
t12_x3_u1_b57 12 3 1 57 log(mod(P,mlt(D,P))) 21907 97568673 o1(o2(x,o2(x,x))) true 5103 5103 -0.7835 0.09766 0.8537 0.1981 0.4451 -1 0.9077 1.908 1 1.909 0.0507 0 0.1043 1 1 -0.00008477 0.08015 0.1364 0.03983 0.1996 1.914 0.7136 0.256 0.4047 1 1 0.04754 0.1308 0.03593 0.24 0.6606 0.1814 json
t12_x3_u1_b58 12 3 1 58 log(mod(P,div(D,P))) 21908 97568674 o1(o2(x,o2(x,x))) true 5111 5111 -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_x3_u1_b59 12 3 1 59 log(mod(P,pow(D,P))) 21909 97568675 o1(o2(x,o2(x,x))) true 5119 5119 -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_x3_u1_b60 12 3 1 60 log(mod(P,mod(D,P))) 21910 97568676 o1(o2(x,o2(x,x))) true 5127 5127 -0.9998 0 0.9998 0.000008036 0.002835 -1 -0.9546 0.04545 1 0 0.00001639 0 0.0003607 1 0 -9.461e-10 0.00004918 0.0007214 0.00001626 0.004032 11.18 0.04545 2.04 6.12 1 1 0.00001087 0.00001087 0.00001087 1.353 1.353 1.353 json
t12_x3_u1_b61 12 3 1 61 log(mod(P,lrg(D,P))) 21911 97568677 o1(o2(x,o2(x,x))) true 5135 5135 -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_x3_u1_b62 12 3 1 62 log(mod(P,eql(D,P))) 21912 97568678 o1(o2(x,o2(x,x))) true 5143 5143 -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_x3_u1_b63 12 3 1 63 log(mod(P,min(D,P))) 21913 97568679 o1(o2(x,o2(x,x))) true 5151 5151 -0.9998 0 0.9998 0.000008036 0.002835 -1 -0.9546 0.04545 1 0 0.00001639 0 0.0003607 1 0 -9.461e-10 0.00004918 0.0007214 0.00001626 0.004032 11.18 0.04545 2.04 6.12 1 1 0.00001087 0.00001087 0.00001087 1.353 1.353 1.353 json
t12_x3_u1_b64 12 3 1 64 log(mod(P,dot(D,P))) 21914 97568680 o1(o2(x,o2(x,x))) true 5159 5159 -0.7666 0.1125 0.8546 0.225 0.4744 -1 1 2 1 2.004 0.1508 0.1485 0.2658 0.007511 1 -0.0008843 1.474 0.5592 0.2286 0.4781 1.799 2.828 1.33 6.553 1 1 0.126 0.2055 0.1707 0.56 0.9132 0.7584 json
t12_x3_u1_b65 12 3 1 65 log(mod(P,dst(D,P))) 21915 97568681 o1(o2(x,o2(x,x))) true 5167 5167 -0.2372 0.4044 0.9343 0.8568 0.9256 -1 1 2 1 1.889 0.03764 0.01015 0.04515 0.5753 1 1.155e-9 0.1316 0.0634 0.04572 0.2138 4.736 2.828 0.05578 0.1535 1 1 0.05539 0.1845 0.3176 0.06465 0.2154 0.3707 json
t12_x3_u1_b66 12 3 1 66 log(lrg(P,add(D,P))) 21916 97568682 o1(o2(x,o2(x,x))) true 5175 5175 -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_x3_u1_b67 12 3 1 67 log(lrg(P,sub(D,P))) 21917 97568683 o1(o2(x,o2(x,x))) true 5183 5183 -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.005263 0.02105 0.08421 0.02139 0.08555 0.3422 json
t12_x3_u1_b68 12 3 1 68 log(lrg(P,mlt(D,P))) 21918 97568684 o1(o2(x,o2(x,x))) true 5191 5191 -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.005263 0.02105 0.08421 0.02139 0.08555 0.3422 json
t12_x3_u1_b69 12 3 1 69 log(lrg(P,div(D,P))) 21919 97568685 o1(o2(x,o2(x,x))) true 5199 5199 -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.005263 0.02105 0.08421 0.02139 0.08555 0.3422 json
t12_x3_u1_b70 12 3 1 70 log(lrg(P,pow(D,P))) 21920 97568686 o1(o2(x,o2(x,x))) true 5207 5207 -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.005263 0.02105 0.08421 0.02139 0.08555 0.3422 json
t12_x3_u1_b71 12 3 1 71 log(lrg(P,mod(D,P))) 21921 97568687 o1(o2(x,o2(x,x))) true 5215 5215 -0.5 0 0.5 0.25 0.5 -1 0 1 1 1 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01587 0.03175 1 1 0.005263 0.02105 0.08421 0.02105 0.08421 0.3368 json
t12_x3_u1_b72 12 3 1 72 log(lrg(P,lrg(D,P))) 21922 97568688 o1(o2(x,o2(x,x))) true 5223 5223 -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.005263 0.02105 0.08421 0.02139 0.08555 0.3422 json
t12_x3_u1_b73 12 3 1 73 log(lrg(P,eql(D,P))) 21923 97568689 o1(o2(x,o2(x,x))) true 5231 5231 -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.005263 0.02105 0.08421 0.02139 0.08555 0.3422 json
t12_x3_u1_b74 12 3 1 74 log(lrg(P,min(D,P))) 21924 97568690 o1(o2(x,o2(x,x))) true 5239 5239 -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.005263 0.02105 0.08421 0.02139 0.08555 0.3422 json
t12_x3_u1_b75 12 3 1 75 log(lrg(P,dot(D,P))) 21925 97568691 o1(o2(x,o2(x,x))) true 5247 5247 -0.7563 0 0.7563 0.1844 0.4294 -1 0 1 1 0.8012 0.03641 0.0317 0.06394 0.06913 1 -0.0005669 0.2028 0.1357 0.06402 0.253 3.958 1.414 0.3693 1.1 1 1 0.0612 0.144 0.1184 0.3319 0.7809 0.6422 json
t12_x3_u1_b76 12 3 1 76 log(lrg(P,dst(D,P))) 21926 97568692 o1(o2(x,o2(x,x))) true 5255 5255 -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_x3_u1_b77 12 3 1 77 log(eql(P,add(D,P))) 21927 97568693 o1(o2(x,o2(x,x))) true 5263 5263 -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_x3_u1_b78 12 3 1 78 log(eql(P,sub(D,P))) 21928 97568694 o1(o2(x,o2(x,x))) true 5271 5271 -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_x3_u1_b79 12 3 1 79 log(eql(P,mlt(D,P))) 21929 97568695 o1(o2(x,o2(x,x))) true 5279 5279 -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_x3_u1_b80 12 3 1 80 log(eql(P,div(D,P))) 21930 97568696 o1(o2(x,o2(x,x))) true 5287 5287 -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_x3_u1_b81 12 3 1 81 log(eql(P,pow(D,P))) 21931 97568697 o1(o2(x,o2(x,x))) true 5295 5295 -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_x3_u1_b82 12 3 1 82 log(eql(P,mod(D,P))) 21932 97568698 o1(o2(x,o2(x,x))) true 5303 5303 -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_x3_u1_b83 12 3 1 83 log(eql(P,lrg(D,P))) 21933 97568699 o1(o2(x,o2(x,x))) true 5311 5311 -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_x3_u1_b84 12 3 1 84 log(eql(P,eql(D,P))) 21934 97568700 o1(o2(x,o2(x,x))) true 5319 5319 -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_x3_u1_b85 12 3 1 85 log(eql(P,min(D,P))) 21935 97568701 o1(o2(x,o2(x,x))) true 5327 5327 -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.005263 0.02105 0.08421 0.02139 0.08555 0.3422 json
t12_x3_u1_b86 12 3 1 86 log(eql(P,dot(D,P))) 21936 97568702 o1(o2(x,o2(x,x))) true 5335 5335 -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_x3_u1_b87 12 3 1 87 log(eql(P,dst(D,P))) 21937 97568703 o1(o2(x,o2(x,x))) true 5343 5343 -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_x3_u1_b88 12 3 1 88 log(min(P,add(D,P))) 21938 97568704 o1(o2(x,o2(x,x))) true 5351 5351 -0.1813 0.4336 0.9437 0.8948 0.946 -1 1 2 1 1.702 0.004175 0 0.007937 1 1 -2.587e-9 0.007946 0.008904 0.004111 0.06412 8.079 1 0.004666 0.00888 1 1 0.005805 0.03021 0.2391 0.006488 0.03376 0.2671 json
t12_x3_u1_b89 12 3 1 89 log(min(P,sub(D,P))) 21939 97568705 o1(o2(x,o2(x,x))) true 5359 5359 -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_x3_u1_b90 12 3 1 90 log(min(P,mlt(D,P))) 21940 97568706 o1(o2(x,o2(x,x))) true 5367 5367 -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_x3_u1_b91 12 3 1 91 log(min(P,div(D,P))) 21941 97568707 o1(o2(x,o2(x,x))) true 5375 5375 -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_x3_u1_b92 12 3 1 92 log(min(P,pow(D,P))) 21942 97568708 o1(o2(x,o2(x,x))) true 5383 5383 -0.6171 0.1992 0.9382 0.5343 0.731 -1 1 2 1 1.585 0.1199 0 0.1007 1 1 2.838e-9 0.1971 0.1307 0.1098 0.3313 3.289 2 0.2243 0.369 1 1 0.1298 0.6002 0.1267 0.2429 1.123 0.2371 json
t12_x3_u1_b93 12 3 1 93 log(min(P,mod(D,P))) 21943 97568709 o1(o2(x,o2(x,x))) true 5391 5391 -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_x3_u1_b94 12 3 1 94 log(min(P,lrg(D,P))) 21944 97568710 o1(o2(x,o2(x,x))) true 5399 5399 -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_x3_u1_b95 12 3 1 95 log(min(P,eql(D,P))) 21945 97568711 o1(o2(x,o2(x,x))) true 5407 5407 -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_x3_u1_b96 12 3 1 96 log(min(P,min(D,P))) 21946 97568712 o1(o2(x,o2(x,x))) true 5415 5415 -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_x3_u1_b97 12 3 1 97 log(min(P,dot(D,P))) 21947 97568713 o1(o2(x,o2(x,x))) true 5423 5423 -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_x3_u1_b98 12 3 1 98 log(min(P,dst(D,P))) 21948 97568714 o1(o2(x,o2(x,x))) true 5431 5431 -0.175 0.4359 0.9502 0.9029 0.9502 -1 1 2 1 1.671 0.004192 0.000003966 0.008058 0.9981 1 7.532e-10 0.007931 0.009018 0.00413 0.06426 7.975 1 0.004647 0.008784 1 1 0.005876 0.03255 0.2479 0.006508 0.03604 0.2746 json
t12_x3_u1_b99 12 3 1 99 log(dot(P,add(D,P))) 21949 97568715 o1(o2(x,o2(x,x))) true 5439 5439 0.9611 0.9844 0.9923 0.06552 0.256 -1 1 2 1 0.3056 0.001817 0.001817 0.004288 6.406e-8 1 -2.44e-10 0.007073 0.005514 0.003615 0.06012 14.02 2.394 0.05547 0.1079 1 1 0.006885 0.0397 0.216 0.1051 0.6059 3.297 json
t12_x3_u1_b100 12 3 1 100 log(dot(P,sub(D,P))) 21950 97568716 o1(o2(x,o2(x,x))) true 5447 5447 -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_x3_u1_b101 12 3 1 101 log(dot(P,mlt(D,P))) 21951 97568717 o1(o2(x,o2(x,x))) true 5455 5455 -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_x3_u1_b102 12 3 1 102 log(dot(P,div(D,P))) 21952 97568718 o1(o2(x,o2(x,x))) true 5463 5463 -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_x3_u1_b103 12 3 1 103 log(dot(P,pow(D,P))) 21953 97568719 o1(o2(x,o2(x,x))) true 5471 5471 -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_x3_u1_b104 12 3 1 104 log(dot(P,mod(D,P))) 21954 97568720 o1(o2(x,o2(x,x))) true 5479 5479 -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_x3_u1_b105 12 3 1 105 log(dot(P,lrg(D,P))) 21955 97568721 o1(o2(x,o2(x,x))) true 5487 5487 -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_x3_u1_b106 12 3 1 106 log(dot(P,eql(D,P))) 21956 97568722 o1(o2(x,o2(x,x))) true 5495 5495 -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_x3_u1_b107 12 3 1 107 log(dot(P,min(D,P))) 21957 97568723 o1(o2(x,o2(x,x))) true 5503 5503 0.2453 0.6238 0.9897 0.9265 0.9626 -1 1 2 1 1.159 0.02134 0.02134 0.02653 -2.619e-7 1 0.0004821 0.08968 0.04745 0.04199 0.2049 7.723 2.006 0.04606 0.09679 1 1 0.05251 0.1688 0.4366 0.05667 0.1822 0.4712 json
t12_x3_u1_b108 12 3 1 108 log(dot(P,dot(D,P))) 21958 97568724 o1(o2(x,o2(x,x))) true 5511 5511 -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_x3_u1_b109 12 3 1 109 log(dot(P,dst(D,P))) 21959 97568725 o1(o2(x,o2(x,x))) true 5519 5519 -0.1813 0.4098 0.9984 0.9649 0.9823 -1 1 2 1 1.016 0.01317 0.01317 0.01366 3.536e-8 1 1.201e-10 0.05576 0.0271 0.02617 0.1618 11.84 2.828 0.02729 0.05778 1 1 0.03423 0.1461 0.6344 0.03548 0.1514 0.6574 json
t12_x3_u1_b110 12 3 1 110 log(dst(P,add(D,P))) 21960 97568726 o1(o2(x,o2(x,x))) true 5527 5527 -0.7705 0 0.7705 0.04347 0.2085 -1 -0.3539 0.6461 1 2.94 0.004784 0.004784 0.07691 -0.000003456 1 -0.0003411 0.005662 0.04961 0.003653 0.06044 0.7859 0.2093 0.2201 0.1303 1 1 0.01694 0.08275 0 0.3898 1.904 0 json
t12_x3_u1_b111 12 3 1 111 log(dst(P,sub(D,P))) 21961 97568727 o1(o2(x,o2(x,x))) true 5535 5535 0.9906 0.9972 0.9942 0.009735 0.09867 -1 1 2 1 0.2013 0.0001733 0.0001733 0.002089 5.876e-7 1 -3.004e-11 0.00006705 0.0007145 0.0003421 0.0185 8.853 0.3481 0.03561 0.006887 1 1 0.001174 0.01293 0.03494 0.1206 1.328 3.589 json
t12_x3_u1_b112 12 3 1 112 log(dst(P,mlt(D,P))) 21962 97568728 o1(o2(x,o2(x,x))) true 5543 5543 0.9401 0.9821 0.9717 0.07499 0.2738 -1 1 2 1 0.7715 0.001535 0.001535 0.006285 -9.102e-7 1 1.089e-10 0.005935 0.006226 0.003033 0.05507 8.762 1.905 0.04093 0.07914 1 1 0.005787 0.02952 0.1898 0.07717 0.3936 2.531 json
t12_x3_u1_b113 12 3 1 113 log(dst(P,div(D,P))) 21963 97568729 o1(o2(x,o2(x,x))) true 5551 5551 -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_x3_u1_b114 12 3 1 114 log(dst(P,pow(D,P))) 21964 97568730 o1(o2(x,o2(x,x))) true 5559 5559 -0.9925 0.003906 0.9997 0.01451 0.1205 -1 1 2 1 0.04277 0.001848 0.001848 0.001975 0 1 -1.126e-11 0.007837 0.003883 0.003691 0.06075 30.76 2.191 0.2547 0.54 1 1 0.006515 0.02661 0.05289 0.4489 1.834 3.644 json
t12_x3_u1_b115 12 3 1 115 log(dst(P,mod(D,P))) 21965 97568731 o1(o2(x,o2(x,x))) true 5567 5567 -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_x3_u1_b116 12 3 1 116 log(dst(P,lrg(D,P))) 21966 97568732 o1(o2(x,o2(x,x))) true 5575 5575 0.9754 0.9961 0.9832 0.02432 0.1559 -1 1 2 1 0.4455 0.001486 0.001486 0.003664 1.958e-7 1 4.731e-10 0.006099 0.004426 0.00296 0.05441 14.85 2 0.1222 0.2508 1 1 0.00538 0.02415 0.07284 0.2213 0.9932 2.996 json
t12_x3_u1_b117 12 3 1 117 log(dst(P,eql(D,P))) 21967 97568733 o1(o2(x,o2(x,x))) true 5583 5583 0.974 1 0.974 0.01263 0.1124 0.0002017 1 0.9998 1 0.622 0.00003583 0.00003583 0.002176 0.00000198 0 -1.051e-10 0.00000706 0.0005851 0.00006694 0.008181 3.759 0.05358 0.005675 0.0005592 1 1 0.0002465 0.00312 0.02891 0.01952 0.2472 2.29 json
t12_x3_u1_b118 12 3 1 118 log(dst(P,min(D,P))) 21968 97568734 o1(o2(x,o2(x,x))) true 5591 5591 0.3013 0.6559 0.9395 0.8294 0.9107 -1 1 2 1 1.772 0.002517 0.002517 0.01112 -0.000001434 1 -8.447e-10 0.009671 0.01155 0.004909 0.07006 6.298 1.905 0.006069 0.01166 1 1 0.007365 0.0371 0.292 0.00888 0.04474 0.3521 json
t12_x3_u1_b119 12 3 1 119 log(dst(P,dot(D,P))) 21969 97568735 o1(o2(x,o2(x,x))) true 5599 5599 0.948 0.9833 0.9793 0.07089 0.2662 -1 1 2 1 0.6203 0.001587 0.001587 0.00609 -0.00000143 1 -1.427e-10 0.00608 0.006374 0.003134 0.05598 9.193 1.905 0.04477 0.08577 1 1 0.006032 0.03335 0.1982 0.0851 0.4704 2.796 json
t12_x3_u1_b120 12 3 1 120 log(dst(P,dst(D,P))) 21970 97568736 o1(o2(x,o2(x,x))) true 5607 5607 0.9893 0.9982 0.9914 0.008449 0.09192 -1 1 2 1 0.2426 0.0001778 0.0001778 0.002493 3.274e-7 1 7.133e-11 0.00007176 0.000891 0.0003491 0.01869 7.496 0.3638 0.04208 0.008494 1 1 0.001203 0.01236 0.03004 0.1424 1.463 3.555 json
t12_x3_u2_b0 12 3 2 0 frc(add(P,add(D,P))) 21971 97568817 o1(o2(x,o2(x,x))) true 5615 5615 0.5 1 0.5 0.08301 0.2881 0.03125 0.9688 0.9375 1 4 0.05599 0 0.1146 1 1 0 0.119 0.119 0.04284 0.207 1.806 0.9375 0.6745 1.434 1 1 0.05321 0.125 0 0.641 1.506 0 json
t12_x3_u2_b1 12 3 2 1 frc(add(P,sub(D,P))) 21972 97568818 o1(o2(x,o2(x,x))) true 5623 5623 0.5 1 0.5 0.08301 0.2881 0.03125 0.9688 0.9375 1 4 0.05599 0 0.1146 1 1 0 0.119 0.119 0.04284 0.207 1.806 0.9375 0.6745 1.434 1 1 0.05321 0.125 0 0.641 1.506 0 json
t12_x3_u2_b2 12 3 2 2 frc(add(P,mlt(D,P))) 21973 97568819 o1(o2(x,o2(x,x))) true 5631 5631 0.4696 0.9922 0.4696 0.06611 0.2571 0.000009095 0.9685 0.9685 1 3.922 0.1188 0 0.2751 1 1 -0.004 0.3543 0.4292 0.04315 0.2077 0.755 0.9372 1.797 5.359 1 1 0.06488 0.05327 0.06904 0.9813 0.8057 1.044 json
t12_x3_u2_b3 12 3 2 3 frc(add(P,div(D,P))) 21974 97568820 o1(o2(x,o2(x,x))) true 5639 5639 0.3282 0.875 0.5782 0.3593 0.5994 -1 0.9958 1.996 1 3.809 0.0587 0 0.1092 1 1 0.0002166 0.112 0.12 0.04677 0.2163 1.98 1.031 0.1634 0.3118 1 1 0.06051 0.2314 0.422 0.1684 0.6442 1.175 json
t12_x3_u2_b4 12 3 2 4 frc(add(P,pow(D,P))) 21975 97568821 o1(o2(x,o2(x,x))) true 5647 5647 -0.922 0.05469 0.953 0.09478 0.3079 -1 0.704 1.704 1 0.5111 0.01167 0 0.01861 1 1 7.95e-10 0.02073 0.0283 0.01133 0.1064 5.72 1 0.1231 0.2187 1 1 0.01721 0.07178 0.136 0.1815 0.7573 1.435 json
t12_x3_u2_b5 12 3 2 5 frc(add(P,mod(D,P))) 21976 97568822 o1(o2(x,o2(x,x))) true 5655 5655 0.3125 0.875 0.5625 0.3185 0.5644 -1 0.9688 1.969 1 4.044 0.06466 0 0.1079 1 1 0 0.1349 0.119 0.053 0.2302 2.134 1.969 0.203 0.4236 1 1 0.06568 0.1969 0.3929 0.2062 0.6182 1.233 json
t12_x3_u2_b6 12 3 2 6 frc(add(P,lrg(D,P))) 21977 97568823 o1(o2(x,o2(x,x))) true 5663 5663 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_x3_u2_b7 12 3 2 7 frc(add(P,eql(D,P))) 21978 97568824 o1(o2(x,o2(x,x))) true 5671 5671 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_x3_u2_b8 12 3 2 8 frc(add(P,min(D,P))) 21979 97568825 o1(o2(x,o2(x,x))) true 5679 5679 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.03133 0.07981 0.02302 0.2934 0.7474 0.2156 json
t12_x3_u2_b9 12 3 2 9 frc(add(P,dot(D,P))) 21980 97568826 o1(o2(x,o2(x,x))) true 5687 5687 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.09122 0.06869 0.09165 2.141 1.612 2.151 json
t12_x3_u2_b10 12 3 2 10 frc(add(P,dst(D,P))) 21981 97568827 o1(o2(x,o2(x,x))) true 5695 5695 0.4984 1 0.4984 0.0516 0.2272 0.006575 0.9954 0.9889 1 3.853 0.02437 0.02437 0.1234 0.00000623 1 -0.0004041 0.1631 0.1603 0.0335 0.183 1.483 1.354 0.9445 3.162 1 1 0.0468 0.1157 0.08139 0.907 2.243 1.577 json
t12_x3_u2_b11 12 3 2 11 frc(sub(P,add(D,P))) 21982 97568828 o1(o2(x,o2(x,x))) true 5703 5703 0.5 1 0.5 0.08301 0.2881 0.03125 0.9688 0.9375 1 4 0.05599 0 0.1146 1 1 0 0.119 0.119 0.04284 0.207 1.806 0.9375 0.6745 1.434 1 1 0.05321 0.125 0 0.641 1.506 0 json
t12_x3_u2_b12 12 3 2 12 frc(sub(P,sub(D,P))) 21983 97568829 o1(o2(x,o2(x,x))) true 5711 5711 0.5 1 0.5 0.08301 0.2881 0.03125 0.9688 0.9375 1 4 0.05599 0 0.1146 1 1 0 0.119 0.119 0.04284 0.207 1.806 0.9375 0.6745 1.434 1 1 0.05321 0.125 0 0.641 1.506 0 json
t12_x3_u2_b13 12 3 2 13 frc(sub(P,mlt(D,P))) 21984 97568830 o1(o2(x,o2(x,x))) true 5719 5719 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.06364 0.04512 0.06904 0.9644 0.6837 1.046 json
t12_x3_u2_b14 12 3 2 14 frc(sub(P,div(D,P))) 21985 97568831 o1(o2(x,o2(x,x))) true 5727 5727 0.2969 0.875 0.5468 0.3475 0.5895 -1 0.9953 1.995 1 3.809 0.08101 0 0.1167 1 1 -0.0002166 0.1598 0.1359 0.06741 0.2596 2.225 1.969 0.2331 0.4597 1 1 0.08804 0.2825 0.3739 0.2533 0.8129 1.076 json
t12_x3_u2_b15 12 3 2 15 frc(sub(P,pow(D,P))) 21986 97568832 o1(o2(x,o2(x,x))) true 5735 5735 -0.9256 0.05859 0.9494 0.08523 0.2919 -1 0.5821 1.582 1 0.4798 0.01031 0 0.01628 1 1 -9.461e-10 0.0186 0.02606 0.01004 0.1002 6.155 1 0.1209 0.2183 1 1 0.015 0.06339 0.1223 0.176 0.7437 1.435 json
t12_x3_u2_b16 12 3 2 16 frc(sub(P,mod(D,P))) 21987 97568833 o1(o2(x,o2(x,x))) true 5743 5743 0.3125 0.875 0.5625 0.3185 0.5644 -1 0.9688 1.969 1 4.044 0.06466 0 0.1079 1 1 0 0.1349 0.119 0.053 0.2302 2.134 1.969 0.203 0.4236 1 1 0.06568 0.1969 0.3929 0.2062 0.6182 1.233 json
t12_x3_u2_b17 12 3 2 17 frc(sub(P,lrg(D,P))) 21988 97568834 o1(o2(x,o2(x,x))) true 5751 5751 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_x3_u2_b18 12 3 2 18 frc(sub(P,eql(D,P))) 21989 97568835 o1(o2(x,o2(x,x))) true 5759 5759 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_x3_u2_b19 12 3 2 19 frc(sub(P,min(D,P))) 21990 97568836 o1(o2(x,o2(x,x))) true 5767 5767 0.2366 0.5625 0.2366 0.09342 0.3057 0 0.9688 0.9688 1 2.908 0.02621 0 0.05604 1 1 -0.000248 0.05558 0.05705 0.02306 0.1519 2.71 0.9375 0.2805 0.5949 1 1 0.02549 0.06133 0.02302 0.2728 0.6565 0.2464 json
t12_x3_u2_b20 12 3 2 20 frc(sub(P,dot(D,P))) 21991 97568837 o1(o2(x,o2(x,x))) true 5775 5775 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.09109 0.06793 0.09156 2.138 1.594 2.149 json
t12_x3_u2_b21 12 3 2 21 frc(sub(P,dst(D,P))) 21992 97568838 o1(o2(x,o2(x,x))) true 5783 5783 0.5016 1 0.5016 0.0516 0.2272 0.004559 0.9934 0.9889 1 3.853 0.02437 0.02437 0.1234 0.000006268 1 0.0004041 0.1631 0.1603 0.0335 0.183 1.483 1.354 0.9445 3.162 1 1 0.0468 0.1157 0.08139 0.907 2.243 1.577 json
t12_x3_u2_b22 12 3 2 22 frc(mlt(P,add(D,P))) 21993 97568839 o1(o2(x,o2(x,x))) true 5791 5791 0.4696 0.9922 0.4696 0.06611 0.2571 0.000009095 0.9685 0.9685 1 3.922 0.1188 0 0.2751 1 1 -0.004 0.3543 0.4292 0.04315 0.2077 0.755 0.9372 1.797 5.359 1 1 0.06488 0.05327 0.06904 0.9813 0.8057 1.044 json
t12_x3_u2_b23 12 3 2 23 frc(mlt(P,sub(D,P))) 21994 97568840 o1(o2(x,o2(x,x))) true 5799 5799 0.4696 0.9922 0.4696 0.06611 0.2571 0.000009095 0.9685 0.9685 1 3.922 0.1188 0 0.2751 1 1 -0.004 0.3543 0.4292 0.04315 0.2077 0.755 0.9372 1.797 5.359 1 1 0.06488 0.05327 0.06904 0.9813 0.8057 1.044 json
t12_x3_u2_b24 12 3 2 24 frc(mlt(P,mlt(D,P))) 21995 97568841 o1(o2(x,o2(x,x))) true 5807 5807 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.04991 0.05345 0.0704 0.7078 0.758 0.9985 json
t12_x3_u2_b25 12 3 2 25 frc(mlt(P,div(D,P))) 21996 97568842 o1(o2(x,o2(x,x))) true 5815 5815 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 3.783e-9 0.1349 0.119 0.053 0.2302 2.134 1.969 0.203 0.4235 1 1 0.06568 0.1969 0.3929 0.2061 0.6181 1.233 json
t12_x3_u2_b26 12 3 2 26 frc(mlt(P,pow(D,P))) 21997 97568843 o1(o2(x,o2(x,x))) true 5823 5823 -0.9256 0.05859 0.9494 0.08523 0.2919 -1 0.5821 1.582 1 0.4798 0.01031 0 0.01628 1 1 -9.461e-10 0.0186 0.02606 0.01004 0.1002 6.155 1 0.1209 0.2183 1 1 0.015 0.06339 0.1223 0.176 0.7437 1.435 json
t12_x3_u2_b27 12 3 2 27 frc(mlt(P,mod(D,P))) 21998 97568844 o1(o2(x,o2(x,x))) true 5831 5831 0.3001 0.875 0.55 0.2912 0.5397 -1 0.9375 1.938 1 3.894 0.1196 0 0.2682 1 1 -0.004 0.3542 0.428 0.04772 0.2184 0.8146 1.031 0.4108 1.216 1 1 0.06706 0.1059 0.4042 0.2303 0.3635 1.388 json
t12_x3_u2_b28 12 3 2 28 frc(mlt(P,lrg(D,P))) 21999 97568845 o1(o2(x,o2(x,x))) true 5839 5839 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