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_x23_u1_b10 12 23 1 10 log(add(R,dst(D,R))) 38800 98376646 o1(o2(x,o2(x,x))) true 140247 140247 -0.2215 0.4008 0.5312 0.3436 0.5862 -1 0.961 1.961 1 4.457 0.01712 0.01611 0.09103 0.03045 1 0.000189 0.05958 0.06153 0.02495 0.1579 1.735 2.562 0.09671 0.1734 1 1 0.04117 0.3008 0.6712 0.1198 0.8755 1.953 json
t12_x23_u1_b11 12 23 1 11 log(sub(R,add(D,R))) 38801 98376647 o1(o2(x,o2(x,x))) true 140255 140255 -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_x23_u1_b12 12 23 1 12 log(sub(R,sub(D,R))) 38802 98376648 o1(o2(x,o2(x,x))) true 140263 140263 -0.9455 0.02963 0.9603 0.05673 0.2382 -1 0.6942 1.694 1 0.5692 0.01118 0.006214 0.01913 0.2856 1 0.00004076 0.03769 0.03065 0.01703 0.1305 6.82 2.014 0.3067 0.6644 1 1 0.0173 0.06356 0.1101 0.305 1.12 1.94 json
t12_x23_u1_b13 12 23 1 13 log(sub(R,mlt(D,R))) 38803 98376649 o1(o2(x,o2(x,x))) true 140271 140271 -0.986 0.00006104 0.986 0.007962 0.08923 -1 0.0237 1.024 1 0.3045 0.001104 0.001002 0.00502 0.0485 1 0.0000338 0.004141 0.006704 0.00208 0.04561 9.086 1.254 0.2645 0.5201 1 1 0.00186 0.007791 0.01355 0.2336 0.9785 1.702 json
t12_x23_u1_b14 12 23 1 14 log(sub(R,div(D,R))) 38804 98376650 o1(o2(x,o2(x,x))) true 140279 140279 -0.9543 0.01848 0.9693 0.05113 0.2261 -1 1 2 1 0.5153 0.01044 0.005257 0.01997 0.3301 1 -0.00009244 0.03156 0.02889 0.01531 0.1237 6.196 2.828 0.3069 0.6172 1 1 0.01501 0.05928 0.07745 0.2935 1.159 1.515 json
t12_x23_u1_b15 12 23 1 15 log(sub(R,pow(D,R))) 38805 98376651 o1(o2(x,o2(x,x))) true 140287 140287 -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_x23_u1_b16 12 23 1 16 log(sub(R,mod(D,R))) 38806 98376652 o1(o2(x,o2(x,x))) true 140295 140295 -0.9864 0.0004578 0.9864 0.008065 0.08981 -1 0.06318 1.063 1 0.2904 0.001732 0.001014 0.006453 0.2614 1 0.00004106 0.005826 0.01013 0.002703 0.05199 8.056 1.262 0.3404 0.7223 1 1 0.002143 0.007987 0.01389 0.2657 0.9904 1.722 json
t12_x23_u1_b17 12 23 1 17 log(sub(R,lrg(D,R))) 38807 98376653 o1(o2(x,o2(x,x))) true 140303 140303 -0.9929 0 0.9929 0.004279 0.06542 -1 -0.05896 0.941 1 0.1577 0.000969 0.0005687 0.002995 0.2603 1 0.00000623 0.003268 0.004955 0.001528 0.03909 13.05 1.248 0.3593 0.7637 1 1 0.00124 0.004889 0.00616 0.2898 1.142 1.44 json
t12_x23_u1_b18 12 23 1 18 log(sub(R,eql(D,R))) 38808 98376654 o1(o2(x,o2(x,x))) true 140311 140311 -0.9838 0 0.9838 0.009626 0.09811 -1 -0.05896 0.941 1 0.3254 0.001056 0.001224 0.005061 -0.07381 1 0.00001706 0.004529 0.00698 0.002254 0.04747 9.381 1.212 0.2369 0.4706 1 1 0.001967 0.008849 0.01618 0.2044 0.9193 1.681 json
t12_x23_u1_b19 12 23 1 19 log(sub(R,min(D,R))) 38809 98376655 o1(o2(x,o2(x,x))) true 140319 140319 -0.9841 0 0.9841 0.008358 0.09142 -1 -0.07035 0.9297 1 0.3593 0.003799 0.001015 0.01052 0.5783 1 0.0001172 0.01104 0.01624 0.004704 0.06859 6.52 1.236 0.576 1.321 1 1 0.004694 0.01206 0.01606 0.5617 1.443 1.922 json
t12_x23_u1_b20 12 23 1 20 log(sub(R,dot(D,R))) 38810 98376656 o1(o2(x,o2(x,x))) true 140327 140327 -0.9837 0.0007172 0.9838 0.009534 0.09764 -1 0.1477 1.148 1 0.3458 0.002035 0.002021 0.008385 0.003364 1 0.0000337 0.01036 0.01294 0.003988 0.06315 7.532 1.461 0.4254 1.086 1 1 0.004507 0.01663 0.02499 0.4727 1.744 2.621 json
t12_x23_u1_b21 12 23 1 21 log(sub(R,dst(D,R))) 38811 98376657 o1(o2(x,o2(x,x))) true 140335 140335 -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_x23_u1_b22 12 23 1 22 log(mlt(R,add(D,R))) 38812 98376658 o1(o2(x,o2(x,x))) true 140343 140343 -0.9486 0.006393 0.95 0.03247 0.1802 -1 0.2689 1.269 1 0.867 0.00582 0.002955 0.02084 0.3264 1 0.00009554 0.01816 0.02768 0.008337 0.09131 4.381 1.46 0.2703 0.5595 1 1 0.009597 0.03517 0.06166 0.2956 1.083 1.899 json
t12_x23_u1_b23 12 23 1 23 log(mlt(R,sub(D,R))) 38813 98376659 o1(o2(x,o2(x,x))) true 140351 140351 -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_x23_u1_b24 12 23 1 24 log(mlt(R,mlt(D,R))) 38814 98376660 o1(o2(x,o2(x,x))) true 140359 140359 -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_x23_u1_b25 12 23 1 25 log(mlt(R,div(D,R))) 38815 98376661 o1(o2(x,o2(x,x))) true 140367 140367 -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_x23_u1_b26 12 23 1 26 log(mlt(R,pow(D,R))) 38816 98376662 o1(o2(x,o2(x,x))) true 140375 140375 -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_x23_u1_b27 12 23 1 27 log(mlt(R,mod(D,R))) 38817 98376663 o1(o2(x,o2(x,x))) true 140383 140383 -0.9999 0 0.9999 0.00002064 0.004543 -1 -0.7879 0.2121 1 0.01158 0.000008888 0.000002803 0.0001286 0.5204 0 2.253e-11 0.00001862 0.0001812 0.00001167 0.003416 26.55 0.2121 0.5663 0.9019 1 1 0.00002681 0.00004179 0.00005678 1.299 2.024 2.751 json
t12_x23_u1_b28 12 23 1 28 log(mlt(R,lrg(D,R))) 38818 98376664 o1(o2(x,o2(x,x))) true 140391 140391 -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_x23_u1_b29 12 23 1 29 log(mlt(R,eql(D,R))) 38819 98376665 o1(o2(x,o2(x,x))) true 140399 140399 -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_x23_u1_b30 12 23 1 30 log(mlt(R,min(D,R))) 38820 98376666 o1(o2(x,o2(x,x))) true 140407 140407 -0.971 0 0.971 0.01718 0.1311 -1 -0.002158 0.9978 1 0.5241 0.001524 0.002141 0.009386 -0.1684 1 0.000006622 0.0067 0.01201 0.003578 0.05982 6.373 1.411 0.2132 0.3899 1 1 0.003724 0.01742 0.03193 0.2167 1.014 1.858 json
t12_x23_u1_b31 12 23 1 31 log(mlt(R,dot(D,R))) 38821 98376667 o1(o2(x,o2(x,x))) true 140415 140415 -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_x23_u1_b32 12 23 1 32 log(mlt(R,dst(D,R))) 38822 98376668 o1(o2(x,o2(x,x))) true 140423 140423 -0.9821 0.003235 0.983 0.01349 0.1161 -1 0.3185 1.318 1 0.3043 0.001511 0.00171 0.005906 -0.06171 1 0.00003055 0.006295 0.007804 0.003188 0.05646 9.559 1.68 0.2388 0.4667 1 1 0.002725 0.01277 0.02412 0.202 0.9467 1.788 json
t12_x23_u1_b33 12 23 1 33 log(div(R,add(D,R))) 38823 98376669 o1(o2(x,o2(x,x))) true 140431 140431 -0.7128 0.1421 0.8274 0.2798 0.5289 -1 1 2 1 2.134 0.1388 0.02266 0.1355 0.7194 1 0.000452 0.3594 0.2273 0.1432 0.3784 2.793 2.828 0.5773 1.285 1 1 0.161 0.4168 0.5507 0.5757 1.49 1.968 json
t12_x23_u1_b34 12 23 1 34 log(div(R,sub(D,R))) 38824 98376670 o1(o2(x,o2(x,x))) true 140439 140439 -0.999 0.0004883 0.9998 0.001762 0.04198 -1 1 2 1 0.009293 0.002171 0.0003086 0.001434 0.7511 1 -3.754e-12 0.007004 0.002857 0.002476 0.04976 34.69 2.828 1.407 3.975 1 1 0.001781 0.003989 0.00401 1.011 2.264 2.276 json
t12_x23_u1_b35 12 23 1 35 log(div(R,mlt(D,R))) 38825 98376671 o1(o2(x,o2(x,x))) true 140447 140447 -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_x23_u1_b36 12 23 1 36 log(div(R,div(D,R))) 38826 98376672 o1(o2(x,o2(x,x))) true 140455 140455 -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_x23_u1_b37 12 23 1 37 log(div(R,pow(D,R))) 38827 98376673 o1(o2(x,o2(x,x))) true 140463 140463 -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_x23_u1_b38 12 23 1 38 log(div(R,mod(D,R))) 38828 98376674 o1(o2(x,o2(x,x))) true 140471 140471 -0.9298 0.03906 0.992 0.1236 0.3516 -1 1 2 1 0.3435 0.02218 0.01303 0.02333 0.2598 1 -0.000002577 0.07738 0.04328 0.03464 0.1861 7.977 2.828 0.2848 0.626 1 1 0.03627 0.1294 0.2765 0.2934 1.047 2.237 json
t12_x23_u1_b39 12 23 1 39 log(div(R,lrg(D,R))) 38829 98376675 o1(o2(x,o2(x,x))) true 140479 140479 -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_x23_u1_b40 12 23 1 40 log(div(R,eql(D,R))) 38830 98376676 o1(o2(x,o2(x,x))) true 140487 140487 -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_x23_u1_b41 12 23 1 41 log(div(R,min(D,R))) 38831 98376677 o1(o2(x,o2(x,x))) true 140495 140495 -0.7393 0.07285 0.8012 0.2382 0.4881 -1 1 2 1 1.664 0.04726 0.01926 0.06125 0.4209 1 0.00002865 0.139 0.1001 0.06275 0.2505 4.09 2.181 0.2793 0.5837 1 1 0.06977 0.2413 0.4574 0.2929 1.013 1.92 json
t12_x23_u1_b42 12 23 1 42 log(div(R,dot(D,R))) 38832 98376678 o1(o2(x,o2(x,x))) true 140503 140503 -0.9293 0.03633 0.9922 0.126 0.3549 -1 1 2 1 0.3533 0.07512 0.04208 0.05912 0.2819 1 0.00009448 0.3918 0.1222 0.1137 0.3371 5.702 2.828 0.9305 3.111 1 1 0.09852 0.2174 0.2253 0.7822 1.726 1.789 json
t12_x23_u1_b43 12 23 1 43 log(div(R,dst(D,R))) 38833 98376679 o1(o2(x,o2(x,x))) true 140511 140511 -0.9836 0 0.9836 0.009177 0.0958 -1 -0.02358 0.9764 1 0.3412 0.001148 0.001215 0.005668 -0.02867 1 0.000002963 0.00468 0.007712 0.00233 0.04827 8.516 0.976 0.2575 0.5099 1 1 0.001948 0.007985 0.01404 0.2123 0.8702 1.53 json
t12_x23_u1_b44 12 23 1 44 log(pow(R,add(D,R))) 38834 98376680 o1(o2(x,o2(x,x))) true 140519 140519 -0.9682 0.00174 0.9685 0.02378 0.1542 -1 0.1937 1.194 1 0.4037 0.002426 0.002309 0.007531 0.02472 1 0.00001407 0.009731 0.01267 0.00468 0.06841 9.084 1.245 0.1991 0.4092 1 1 0.00362 0.01561 0.03711 0.1522 0.6561 1.56 json
t12_x23_u1_b45 12 23 1 45 log(pow(R,sub(D,R))) 38835 98376681 o1(o2(x,o2(x,x))) true 140527 140527 -0.9465 0.04054 0.9681 0.06509 0.2551 -1 0.7279 1.728 1 0.4039 0.006832 0.006474 0.01188 0.02692 1 0.000006343 0.02766 0.02129 0.01316 0.1147 9.659 1.98 0.2044 0.4249 1 1 0.01016 0.04295 0.1052 0.1561 0.6598 1.615 json
t12_x23_u1_b46 12 23 1 46 log(pow(R,mlt(D,R))) 38836 98376682 o1(o2(x,o2(x,x))) true 140535 140535 -0.9571 0.02097 0.9583 0.04109 0.2027 -1 0.08582 1.086 1 0.3174 0.004228 0.004158 0.008687 0.008434 1 0.000001829 0.01752 0.01683 0.008304 0.09113 10.49 1.43 0.2041 0.4263 1 1 0.006456 0.02773 0.0685 0.1571 0.6749 1.667 json
t12_x23_u1_b47 12 23 1 47 log(pow(R,div(D,R))) 38837 98376683 o1(o2(x,o2(x,x))) true 140543 140543 -0.9574 0.02196 0.9733 0.05212 0.2283 -1 1 2 1 0.4056 0.005104 0.004615 0.01161 0.05029 1 0.00001435 0.01877 0.01779 0.009577 0.09786 8.433 2.002 0.1865 0.3602 1 1 0.007007 0.02967 0.07425 0.1345 0.5693 1.425 json
t12_x23_u1_b48 12 23 1 48 log(pow(R,pow(D,R))) 38838 98376684 o1(o2(x,o2(x,x))) true 140551 140551 -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_x23_u1_b49 12 23 1 49 log(pow(R,mod(D,R))) 38839 98376685 o1(o2(x,o2(x,x))) true 140559 140559 -0.9571 0.02036 0.9599 0.04136 0.2034 -1 0.2582 1.258 1 0.3657 0.00441 0.004219 0.009964 0.02223 1 0.00001342 0.01808 0.01873 0.008528 0.09235 9.269 1.462 0.2086 0.4371 1 1 0.00663 0.02843 0.06885 0.1603 0.6873 1.665 json
t12_x23_u1_b50 12 23 1 50 log(pow(R,lrg(D,R))) 38840 98376686 o1(o2(x,o2(x,x))) true 140567 140567 -0.9628 0 0.9628 0.03385 0.184 -1 0 1 1 0.3452 0.005109 0.003412 0.009965 0.1992 1 0.000006535 0.01786 0.01804 0.008421 0.09177 9.209 1.414 0.2518 0.5277 1 1 0.006312 0.02428 0.0557 0.1865 0.7173 1.646 json
t12_x23_u1_b51 12 23 1 51 log(pow(R,eql(D,R))) 38841 98376687 o1(o2(x,o2(x,x))) true 140575 140575 -0.0002441 0 0.0002441 0.0002441 0.01562 -1 0 1 1 0.003282 0.0004409 0.00001575 0.0004567 0.931 1 0 0.001417 0.0009133 0.0004564 0.02136 46.78 1 1.871 5.806 1 1 0 0 0.0002078 0 0 0.8512 json
t12_x23_u1_b52 12 23 1 52 log(pow(R,min(D,R))) 38842 98376688 o1(o2(x,o2(x,x))) true 140583 140583 -0.9559 0.02415 0.9611 0.044 0.2098 -1 0.5128 1.513 1 0.3858 0.004296 0.004366 0.009694 -0.008018 1 0.000007455 0.01794 0.01729 0.008568 0.09256 9.548 1.462 0.1969 0.4077 1 1 0.00669 0.02908 0.07103 0.152 0.661 1.614 json
t12_x23_u1_b53 12 23 1 53 log(pow(R,dot(D,R))) 38843 98376689 o1(o2(x,o2(x,x))) true 140591 140591 -0.9574 0.02077 0.9601 0.04093 0.2023 -1 0.3623 1.362 1 0.3707 0.004275 0.00417 0.009205 0.01246 1 0.000002851 0.01761 0.01691 0.008363 0.09145 9.935 1.46 0.2063 0.4302 1 1 0.006442 0.02789 0.06915 0.1574 0.6813 1.69 json
t12_x23_u1_b54 12 23 1 54 log(pow(R,dst(D,R))) 38844 98376690 o1(o2(x,o2(x,x))) true 140599 140599 -0.9826 0 0.9826 0.00988 0.0994 -1 -0.05899 0.941 1 0.3473 0.001132 0.001266 0.005418 -0.05585 1 0.00001973 0.004829 0.00778 0.00237 0.04869 8.986 1.133 0.2428 0.4887 1 1 0.001988 0.008467 0.01572 0.2012 0.857 1.591 json
t12_x23_u1_b55 12 23 1 55 log(mod(R,add(D,R))) 38845 98376691 o1(o2(x,o2(x,x))) true 140607 140607 -0.9952 0 0.9952 0.00268 0.05177 -1 -0.06037 0.9396 1 0.1244 0.0008305 0.0003728 0.002831 0.3803 1 0.00001378 0.002612 0.004559 0.001195 0.03457 12.21 1.01 0.4489 0.9745 1 1 0.000864 0.002762 0.003408 0.3223 1.03 1.271 json
t12_x23_u1_b56 12 23 1 56 log(mod(R,sub(D,R))) 38846 98376692 o1(o2(x,o2(x,x))) true 140615 140615 -0.9952 0 0.9952 0.002802 0.05293 -1 -0.0632 0.9368 1 0.1261 0.0008311 0.0003279 0.002804 0.4342 1 0.000009232 0.002422 0.004476 0.001151 0.03392 12.1 1.212 0.4136 0.8645 1 1 0.0009238 0.003063 0.004848 0.3297 1.093 1.73 json
t12_x23_u1_b57 12 23 1 57 log(mod(R,mlt(D,R))) 38847 98376693 o1(o2(x,o2(x,x))) true 140623 140623 -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_x23_u1_b58 12 23 1 58 log(mod(R,div(D,R))) 38848 98376694 o1(o2(x,o2(x,x))) true 140631 140631 -0.9993 0 0.9993 0.0001836 0.01355 -1 -0.3903 0.6097 1 0.04102 0.0001525 0.00004161 0.0008129 0.5713 1 9.491e-7 0.000493 0.001439 0.0001934 0.01391 17.11 0.6098 1.058 2.686 1 1 0.00006294 0.0001543 0.0001754 0.3428 0.8403 0.9554 json
t12_x23_u1_b59 12 23 1 59 log(mod(R,pow(D,R))) 38849 98376695 o1(o2(x,o2(x,x))) true 140639 140639 -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_x23_u1_b60 12 23 1 60 log(mod(R,mod(D,R))) 38850 98376696 o1(o2(x,o2(x,x))) true 140647 140647 -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_x23_u1_b61 12 23 1 61 log(mod(R,lrg(D,R))) 38851 98376697 o1(o2(x,o2(x,x))) true 140655 140655 -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_x23_u1_b62 12 23 1 62 log(mod(R,eql(D,R))) 38852 98376698 o1(o2(x,o2(x,x))) true 140663 140663 -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_x23_u1_b63 12 23 1 63 log(mod(R,min(D,R))) 38853 98376699 o1(o2(x,o2(x,x))) true 140671 140671 -0.9999 0 0.9999 0.000004746 0.002178 -1 -0.8429 0.1571 1 0.004947 0.000008047 0.000001035 0.0001006 0.7721 0 -3.754e-11 0.00002725 0.0001917 0.000009066 0.003011 29.93 0.1685 1.914 5.742 1 1 0.000006205 0.000009323 0.00001085 1.308 1.965 2.287 json
t12_x23_u1_b64 12 23 1 64 log(mod(R,dot(D,R))) 38854 98376700 o1(o2(x,o2(x,x))) true 140679 140679 -1 0 1 0.00000136 0.001166 -1 -0.8238 0.1762 1 0.001444 0.000002696 0.000001785 0.00003771 0.2033 0 -3.754e-12 0.00002066 0.00008471 0.000004479 0.002116 56.13 0.1871 3.294 15.18 1 1 8.259e-7 0.000001885 0.000001905 0.6071 1.386 1.4 json
t12_x23_u1_b65 12 23 1 65 log(mod(R,dst(D,R))) 38855 98376701 o1(o2(x,o2(x,x))) true 140687 140687 -0.9877 0 0.9877 0.007125 0.08441 -1 -0.05896 0.941 1 0.2738 0.001599 0.00126 0.005662 0.1183 1 0.0001374 0.00714 0.00919 0.002826 0.05316 9.389 1.293 0.4013 1.002 1 1 0.002184 0.007494 0.0126 0.3065 1.052 1.769 json
t12_x23_u1_b66 12 23 1 66 log(lrg(R,add(D,R))) 38856 98376702 o1(o2(x,o2(x,x))) true 140695 140695 -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_x23_u1_b67 12 23 1 67 log(lrg(R,sub(D,R))) 38857 98376703 o1(o2(x,o2(x,x))) true 140703 140703 -0.9365 0 0.9365 0.05951 0.2439 -1 0 1 1 0.3411 0.01276 0.005244 0.01781 0.4173 1 0 0.03937 0.036 0.01768 0.133 7.464 1.414 0.3025 0.6616 1 1 0.01672 0.05708 0.1097 0.2809 0.9592 1.843 json
t12_x23_u1_b68 12 23 1 68 log(lrg(R,mlt(D,R))) 38858 98376704 o1(o2(x,o2(x,x))) true 140711 140711 -0.957 0 0.957 0.04112 0.2028 -1 0 1 1 0.2557 0.00422 0.004094 0.008259 0.01515 1 0 0.01738 0.01663 0.008241 0.09078 10.99 1.414 0.2022 0.4228 1 1 0.006357 0.02738 0.06893 0.1546 0.6659 1.676 json
t12_x23_u1_b69 12 23 1 69 log(lrg(R,div(D,R))) 38859 98376705 o1(o2(x,o2(x,x))) true 140719 140719 -0.9392 0 0.9392 0.05708 0.2389 -1 0 1 1 0.3306 0.01912 0.005795 0.0246 0.5348 1 -0.000252 0.05565 0.05008 0.02431 0.1559 6.339 1.414 0.4364 0.9749 1 1 0.0233 0.06701 0.09669 0.4081 1.174 1.694 json
t12_x23_u1_b70 12 23 1 70 log(lrg(R,pow(D,R))) 38860 98376706 o1(o2(x,o2(x,x))) true 140727 140727 -0.9558 0 0.9558 0.04224 0.2055 -1 0 1 1 0.2612 0.01798 0.003921 0.02168 0.642 1 0 0.05341 0.04381 0.02144 0.1464 6.754 1.414 0.5186 1.265 1 1 0.01892 0.05352 0.09143 0.4479 1.267 2.165 json
t12_x23_u1_b71 12 23 1 71 log(lrg(R,mod(D,R))) 38861 98376707 o1(o2(x,o2(x,x))) true 140735 140735 -0.957 0 0.957 0.04112 0.2028 -1 0 1 1 0.2557 0.00422 0.004094 0.008259 0.01515 1 0 0.01738 0.01663 0.008241 0.09078 10.99 1.414 0.2022 0.4228 1 1 0.006357 0.02738 0.06893 0.1546 0.6659 1.676 json
t12_x23_u1_b72 12 23 1 72 log(lrg(R,lrg(D,R))) 38862 98376708 o1(o2(x,o2(x,x))) true 140743 140743 -0.9834 0 0.9834 0.01634 0.1278 -1 0 1 1 0.1219 0.004976 0.001543 0.006445 0.5266 1 0 0.01398 0.01304 0.006478 0.08049 12.49 1.414 0.399 0.8557 1 1 0.003989 0.01435 0.02464 0.2441 0.8781 1.508 json
t12_x23_u1_b73 12 23 1 73 log(lrg(R,eql(D,R))) 38863 98376709 o1(o2(x,o2(x,x))) true 140751 140751 -0.957 0 0.957 0.04112 0.2028 -1 0 1 1 0.2557 0.00422 0.004094 0.008259 0.01515 1 0 0.01738 0.01663 0.008241 0.09078 10.99 1.414 0.2022 0.4228 1 1 0.006357 0.02738 0.06893 0.1546 0.6659 1.676 json
t12_x23_u1_b74 12 23 1 74 log(lrg(R,min(D,R))) 38864 98376710 o1(o2(x,o2(x,x))) true 140759 140759 -0.9312 0 0.9312 0.06407 0.2531 -1 0 1 1 0.3616 0.02485 0.005574 0.03011 0.6335 1 0 0.068 0.06085 0.0295 0.1717 5.704 1.414 0.4748 1.061 1 1 0.02749 0.08127 0.122 0.4291 1.268 1.904 json
t12_x23_u1_b75 12 23 1 75 log(lrg(R,dot(D,R))) 38865 98376711 o1(o2(x,o2(x,x))) true 140767 140767 -0.9426 0 0.9426 0.05401 0.2324 -1 0 1 1 0.3169 0.01115 0.01323 0.02294 -0.08527 1 -0.00001575 0.07179 0.04877 0.02384 0.1544 6.732 1.414 0.4513 1.329 1 1 0.02204 0.07341 0.1209 0.408 1.359 2.238 json
t12_x23_u1_b76 12 23 1 76 log(lrg(R,dst(D,R))) 38866 98376712 o1(o2(x,o2(x,x))) true 140775 140775 -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_x23_u1_b77 12 23 1 77 log(eql(R,add(D,R))) 38867 98376713 o1(o2(x,o2(x,x))) true 140783 140783 -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_x23_u1_b78 12 23 1 78 log(eql(R,sub(D,R))) 38868 98376714 o1(o2(x,o2(x,x))) true 140791 140791 -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_x23_u1_b79 12 23 1 79 log(eql(R,mlt(D,R))) 38869 98376715 o1(o2(x,o2(x,x))) true 140799 140799 -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_x23_u1_b80 12 23 1 80 log(eql(R,div(D,R))) 38870 98376716 o1(o2(x,o2(x,x))) true 140807 140807 -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_x23_u1_b81 12 23 1 81 log(eql(R,pow(D,R))) 38871 98376717 o1(o2(x,o2(x,x))) true 140815 140815 -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_x23_u1_b82 12 23 1 82 log(eql(R,mod(D,R))) 38872 98376718 o1(o2(x,o2(x,x))) true 140823 140823 -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_x23_u1_b83 12 23 1 83 log(eql(R,lrg(D,R))) 38873 98376719 o1(o2(x,o2(x,x))) true 140831 140831 -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_x23_u1_b84 12 23 1 84 log(eql(R,eql(D,R))) 38874 98376720 o1(o2(x,o2(x,x))) true 140839 140839 -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_x23_u1_b85 12 23 1 85 log(eql(R,min(D,R))) 38875 98376721 o1(o2(x,o2(x,x))) true 140847 140847 -0.9346 0 0.9346 0.06119 0.2474 -1 0 1 1 0.3486 0.02822 0.005874 0.03373 0.6554 1 0 0.07751 0.06818 0.03295 0.1815 5.381 1.414 0.5571 1.267 1 1 0.0347 0.08976 0.1097 0.567 1.467 1.792 json
t12_x23_u1_b86 12 23 1 86 log(eql(R,dot(D,R))) 38876 98376722 o1(o2(x,o2(x,x))) true 140855 140855 -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_x23_u1_b87 12 23 1 87 log(eql(R,dst(D,R))) 38877 98376723 o1(o2(x,o2(x,x))) true 140863 140863 -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_x23_u1_b88 12 23 1 88 log(min(R,add(D,R))) 38878 98376724 o1(o2(x,o2(x,x))) true 140871 140871 -0.997 0 0.997 0.001621 0.04026 -1 -0.09587 0.9041 1 0.08593 0.0006251 0.0001783 0.002014 0.5562 1 0.00002815 0.001744 0.002829 0.0007991 0.02827 14.04 1.16 0.4955 1.076 1 1 0.0006733 0.002031 0.002986 0.4153 1.253 1.842 json
t12_x23_u1_b89 12 23 1 89 log(min(R,sub(D,R))) 38879 98376725 o1(o2(x,o2(x,x))) true 140879 140879 -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_x23_u1_b90 12 23 1 90 log(min(R,mlt(D,R))) 38880 98376726 o1(o2(x,o2(x,x))) true 140887 140887 -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_x23_u1_b91 12 23 1 91 log(min(R,div(D,R))) 38881 98376727 o1(o2(x,o2(x,x))) true 140895 140895 -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_x23_u1_b92 12 23 1 92 log(min(R,pow(D,R))) 38882 98376728 o1(o2(x,o2(x,x))) true 140903 140903 -0.9902 0 0.9902 0.005256 0.0725 -1 -0.062 0.938 1 0.2455 0.0006604 0.0005929 0.003517 0.05389 1 0.0000111 0.002376 0.004445 0.001241 0.03522 10.01 1.212 0.2385 0.452 1 1 0.001099 0.00535 0.009693 0.2092 1.018 1.844 json
t12_x23_u1_b93 12 23 1 93 log(min(R,mod(D,R))) 38883 98376729 o1(o2(x,o2(x,x))) true 140911 140911 -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_x23_u1_b94 12 23 1 94 log(min(R,lrg(D,R))) 38884 98376730 o1(o2(x,o2(x,x))) true 140919 140919 -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_x23_u1_b95 12 23 1 95 log(min(R,eql(D,R))) 38885 98376731 o1(o2(x,o2(x,x))) true 140927 140927 -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_x23_u1_b96 12 23 1 96 log(min(R,min(D,R))) 38886 98376732 o1(o2(x,o2(x,x))) true 140935 140935 -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_x23_u1_b97 12 23 1 97 log(min(R,dot(D,R))) 38887 98376733 o1(o2(x,o2(x,x))) true 140943 140943 -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_x23_u1_b98 12 23 1 98 log(min(R,dst(D,R))) 38888 98376734 o1(o2(x,o2(x,x))) true 140951 140951 -0.9844 0 0.9844 0.009143 0.09562 -1 -0.05896 0.941 1 0.3198 0.001064 0.001167 0.005029 -0.04655 1 0.00001824 0.004431 0.00693 0.002205 0.04696 9.338 1.212 0.244 0.4847 1 1 0.00193 0.008554 0.0157 0.2111 0.9356 1.717 json
t12_x23_u1_b99 12 23 1 99 log(dot(R,add(D,R))) 38889 98376735 o1(o2(x,o2(x,x))) true 140959 140959 -0.2674 0.3794 0.4826 0.2853 0.5341 -1 0.9506 1.951 1 4.31 0.0314 0.033 0.1062 -0.0248 1 -0.0001551 0.1641 0.119 0.05312 0.2305 2.171 2.442 0.2258 0.5754 1 1 0.05901 0.241 0.522 0.2069 0.8448 1.83 json
t12_x23_u1_b100 12 23 1 100 log(dot(R,sub(D,R))) 38890 98376736 o1(o2(x,o2(x,x))) true 140967 140967 -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_x23_u1_b101 12 23 1 101 log(dot(R,mlt(D,R))) 38891 98376737 o1(o2(x,o2(x,x))) true 140975 140975 -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_x23_u1_b102 12 23 1 102 log(dot(R,div(D,R))) 38892 98376738 o1(o2(x,o2(x,x))) true 140983 140983 -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_x23_u1_b103 12 23 1 103 log(dot(R,pow(D,R))) 38893 98376739 o1(o2(x,o2(x,x))) true 140991 140991 -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_x23_u1_b104 12 23 1 104 log(dot(R,mod(D,R))) 38894 98376740 o1(o2(x,o2(x,x))) true 140999 140999 -0.9995 0 0.9995 0.0001051 0.01025 -1 -0.6402 0.3598 1 0.0351 0.00004003 0.00003632 0.000573 0.04861 0 -2.253e-11 0.0001875 0.0008832 0.00007603 0.008719 15.22 0.4626 0.7265 1.784 1 1 0.0001413 0.0003221 0.000344 1.344 3.065 3.273 json
t12_x23_u1_b105 12 23 1 105 log(dot(R,lrg(D,R))) 38895 98376741 o1(o2(x,o2(x,x))) true 141007 141007 -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_x23_u1_b106 12 23 1 106 log(dot(R,eql(D,R))) 38896 98376742 o1(o2(x,o2(x,x))) true 141015 141015 -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_x23_u1_b107 12 23 1 107 log(dot(R,min(D,R))) 38897 98376743 o1(o2(x,o2(x,x))) true 141023 141023 -0.7956 0.05803 0.8173 0.1314 0.3625 -1 0.6215 1.621 1 2.266 0.01162 0.01333 0.05058 -0.06864 1 -0.00005759 0.05396 0.06033 0.0224 0.1497 2.959 2.093 0.1899 0.4107 1 1 0.02495 0.11 0.2238 0.1899 0.8371 1.704 json
t12_x23_u1_b108 12 23 1 108 log(dot(R,dot(D,R))) 38898 98376744 o1(o2(x,o2(x,x))) true 141031 141031 -1 0 1 0.0000051 0.002258 -1 -0.6958 0.3042 1 0.002653 0.00000751 0.000005375 0.00006819 0.1656 0 2.628e-11 0.00005256 0.0001306 0.00001288 0.003588 52.63 0.3284 2.527 10.31 1 1 0.000003811 0.000004477 0.000004477 0.7472 0.8779 0.8779 json
t12_x23_u1_b109 12 23 1 109 log(dot(R,dst(D,R))) 38899 98376745 o1(o2(x,o2(x,x))) true 141039 141039 -0.9698 0.01183 0.9795 0.03124 0.1768 -1 1 2 1 0.4252 0.003688 0.004774 0.01064 -0.1284 1 -0.000001979 0.01688 0.01454 0.008352 0.09139 8.586 2.289 0.2708 0.5404 1 1 0.01303 0.05738 0.08808 0.4171 1.836 2.819 json