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_x17_u4_b29 12 17 4 29 cil(mlt(D,eql(R,R))) 34100 98134862 o1(o2(x,o2(x,x))) true 102647 102647 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t12_x17_u4_b30 12 17 4 30 cil(mlt(D,min(R,R))) 34101 98134863 o1(o2(x,o2(x,x))) true 102655 102655 0.5039 0.9395 0.5039 0.147 0.3834 0 1 1 1 3.516 0.04778 0.002278 0.1019 0.909 1 0.00001497 0.09324 0.1121 0.03968 0.1992 1.955 1 0.3406 0.6344 1 1 0.05494 0.2454 0.2817 0.3738 1.67 1.917 json
t12_x17_u4_b31 12 17 4 31 cil(mlt(D,dot(R,R))) 34102 98134864 o1(o2(x,o2(x,x))) true 102663 102663 0.4998 0.9995 0.4999 0.1338 0.3658 -0.1167 1 1.117 1 3.581 0.0672 0.00005201 0.1314 0.9985 1 -0.00000756 0.1275 0.1561 0.04997 0.2235 1.701 0.9994 0.5026 0.9525 1 1 0.07196 0.2191 0.00718 0.5377 1.637 0.05365 json
t12_x17_u4_b32 12 17 4 32 cil(mlt(D,dst(R,R))) 34103 98134865 o1(o2(x,o2(x,x))) true 102671 102671 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_x17_u4_b33 12 17 4 33 cil(div(D,add(R,R))) 34104 98134866 o1(o2(x,o2(x,x))) true 102679 102679 0.4335 0.8349 0.5664 0.2867 0.5354 -1 1 2 1 3.905 0.06688 0.006368 0.1345 0.8261 1 0.00002992 0.1327 0.1688 0.05515 0.2348 1.746 2.032 0.2555 0.4628 1 1 0.07904 0.3805 0.5448 0.2757 1.327 1.9 json
t12_x17_u4_b34 12 17 4 34 cil(div(D,sub(R,R))) 34105 98134867 o1(o2(x,o2(x,x))) true 102687 102687 -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_x17_u4_b35 12 17 4 35 cil(div(D,mlt(R,R))) 34106 98134868 o1(o2(x,o2(x,x))) true 102695 102695 0.2369 0.6856 0.7679 0.6578 0.8111 -1 1 2 1 3.198 0.1582 0.02394 0.2066 0.7371 1 0.0002282 0.3421 0.2934 0.1394 0.3734 1.807 2.828 0.2769 0.52 1 1 0.1825 0.766 1.069 0.2774 1.164 1.625 json
t12_x17_u4_b36 12 17 4 36 cil(div(D,div(R,R))) 34107 98134869 o1(o2(x,o2(x,x))) true 102703 102703 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t12_x17_u4_b37 12 17 4 37 cil(div(D,pow(R,R))) 34108 98134870 o1(o2(x,o2(x,x))) true 102711 102711 -0.9355 0.04297 0.9785 0.09822 0.3134 -1 0.9994 1.999 1 0.4057 0.01069 0.009586 0.01524 0.05446 1 0.00001137 0.04211 0.02637 0.02005 0.1416 9.294 1.999 0.2065 0.4287 1 1 0.01497 0.06576 0.1625 0.1524 0.6696 1.654 json
t12_x17_u4_b38 12 17 4 38 cil(div(D,mod(R,R))) 34109 98134871 o1(o2(x,o2(x,x))) true 102719 102719 -0.9832 0.009277 0.9963 0.02847 0.1687 -1 1 2 1 0.1259 0.004418 0.002702 0.005204 0.2411 1 2.253e-11 0.01532 0.009038 0.007096 0.08424 16.19 2.828 0.2501 0.5381 1 1 0.0124 0.04898 0.09328 0.4357 1.72 3.276 json
t12_x17_u4_b39 12 17 4 39 cil(div(D,lrg(R,R))) 34110 98134872 o1(o2(x,o2(x,x))) true 102727 102727 -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_x17_u4_b40 12 17 4 40 cil(div(D,eql(R,R))) 34111 98134873 o1(o2(x,o2(x,x))) true 102735 102735 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t12_x17_u4_b41 12 17 4 41 cil(div(D,min(R,R))) 34112 98134874 o1(o2(x,o2(x,x))) true 102743 102743 0.3706 0.7488 0.6233 0.4021 0.6341 -1 1 2 1 3.939 0.0835 0.01062 0.163 0.7744 1 0.0005368 0.1684 0.2155 0.06756 0.2599 1.595 2.09 0.2341 0.4188 1 1 0.101 0.5094 0.7577 0.2511 1.267 1.884 json
t12_x17_u4_b42 12 17 4 42 cil(div(D,dot(R,R))) 34113 98134875 o1(o2(x,o2(x,x))) true 102751 102751 0.478 0.9552 0.5222 0.1874 0.4329 -1 1 2 1 3.805 0.07727 0.0011 0.1502 0.9719 1 0.00004277 0.1467 0.1852 0.05581 0.2362 1.573 2.008 0.4182 0.7827 1 1 0.08056 0.2687 0.0882 0.4299 1.434 0.4706 json
t12_x17_u4_b43 12 17 4 43 cil(div(D,dst(R,R))) 34114 98134876 o1(o2(x,o2(x,x))) true 102759 102759 -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_x17_u4_b44 12 17 4 44 cil(pow(D,add(R,R))) 34115 98134877 o1(o2(x,o2(x,x))) true 102767 102767 -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_x17_u4_b45 12 17 4 45 cil(pow(D,sub(R,R))) 34116 98134878 o1(o2(x,o2(x,x))) true 102775 102775 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t12_x17_u4_b46 12 17 4 46 cil(pow(D,mlt(R,R))) 34117 98134879 o1(o2(x,o2(x,x))) true 102783 102783 -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_x17_u4_b47 12 17 4 47 cil(pow(D,div(R,R))) 34118 98134880 o1(o2(x,o2(x,x))) true 102791 102791 -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_x17_u4_b48 12 17 4 48 cil(pow(D,pow(R,R))) 34119 98134881 o1(o2(x,o2(x,x))) true 102799 102799 -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_x17_u4_b49 12 17 4 49 cil(pow(D,mod(R,R))) 34120 98134882 o1(o2(x,o2(x,x))) true 102807 102807 0.2344 0.6172 1 0.9448 0.972 -1 1 2 1 0.96 0.09171 0.05467 0.07264 0.253 1 0 0.3049 0.1464 0.1411 0.3757 5.172 2.828 0.1549 0.3227 1 1 0.1338 0.551 1.753 0.1416 0.5831 1.855 json
t12_x17_u4_b50 12 17 4 50 cil(pow(D,lrg(R,R))) 34121 98134883 o1(o2(x,o2(x,x))) true 102815 102815 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t12_x17_u4_b51 12 17 4 51 cil(pow(D,eql(R,R))) 34122 98134884 o1(o2(x,o2(x,x))) true 102823 102823 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t12_x17_u4_b52 12 17 4 52 cil(pow(D,min(R,R))) 34123 98134885 o1(o2(x,o2(x,x))) true 102831 102831 -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_x17_u4_b53 12 17 4 53 cil(pow(D,dot(R,R))) 34124 98134886 o1(o2(x,o2(x,x))) true 102839 102839 -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_x17_u4_b54 12 17 4 54 cil(pow(D,dst(R,R))) 34125 98134887 o1(o2(x,o2(x,x))) true 102847 102847 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t12_x17_u4_b55 12 17 4 55 cil(mod(D,add(R,R))) 34126 98134888 o1(o2(x,o2(x,x))) true 102855 102855 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t12_x17_u4_b56 12 17 4 56 cil(mod(D,sub(R,R))) 34127 98134889 o1(o2(x,o2(x,x))) true 102863 102863 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t12_x17_u4_b57 12 17 4 57 cil(mod(D,mlt(R,R))) 34128 98134890 o1(o2(x,o2(x,x))) true 102871 102871 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t12_x17_u4_b58 12 17 4 58 cil(mod(D,div(R,R))) 34129 98134891 o1(o2(x,o2(x,x))) true 102879 102879 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t12_x17_u4_b59 12 17 4 59 cil(mod(D,pow(R,R))) 34130 98134892 o1(o2(x,o2(x,x))) true 102887 102887 -0.9355 0.04297 0.9785 0.09869 0.3141 -1 0.9997 2 1 0.4021 0.01067 0.009679 0.0151 0.04854 1 0.000005704 0.04215 0.0256 0.02012 0.1419 9.393 2 0.2062 0.4271 1 1 0.01507 0.0665 0.1631 0.1527 0.6738 1.652 json
t12_x17_u4_b60 12 17 4 60 cil(mod(D,mod(R,R))) 34131 98134893 o1(o2(x,o2(x,x))) true 102895 102895 -0.9824 0.01172 0.9941 0.02776 0.1666 -1 0.9997 2 1 0.1319 0.003846 0.00241 0.004474 0.2295 1 3.004e-11 0.01316 0.007711 0.006244 0.07902 17.66 2.236 0.2254 0.474 1 1 0.01111 0.04497 0.09276 0.4003 1.62 3.341 json
t12_x17_u4_b61 12 17 4 61 cil(mod(D,lrg(R,R))) 34132 98134894 o1(o2(x,o2(x,x))) true 102903 102903 -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_x17_u4_b62 12 17 4 62 cil(mod(D,eql(R,R))) 34133 98134895 o1(o2(x,o2(x,x))) true 102911 102911 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t12_x17_u4_b63 12 17 4 63 cil(mod(D,min(R,R))) 34134 98134896 o1(o2(x,o2(x,x))) true 102919 102919 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t12_x17_u4_b64 12 17 4 64 cil(mod(D,dot(R,R))) 34135 98134897 o1(o2(x,o2(x,x))) true 102927 102927 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t12_x17_u4_b65 12 17 4 65 cil(mod(D,dst(R,R))) 34136 98134898 o1(o2(x,o2(x,x))) true 102935 102935 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t12_x17_u4_b66 12 17 4 66 cil(lrg(D,add(R,R))) 34137 98134899 o1(o2(x,o2(x,x))) true 102943 102943 0.5102 0.9251 0.5102 0.1541 0.3926 0 1 1 1 3.432 0.01004 0.002285 0.06307 0.6294 1 -0.00008437 0.01703 0.03881 0.008353 0.0914 1.449 0.9997 0.08 0.1105 1 1 0.01554 0.1282 0.294 0.1009 0.8321 1.907 json
t12_x17_u4_b67 12 17 4 67 cil(lrg(D,sub(R,R))) 34138 98134900 o1(o2(x,o2(x,x))) true 102951 102951 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t12_x17_u4_b68 12 17 4 68 cil(lrg(D,mlt(R,R))) 34139 98134901 o1(o2(x,o2(x,x))) true 102959 102959 0.2412 0.8196 0.2412 0.09118 0.302 0 0.9997 0.9997 1 3.009 0.03076 0.0009703 0.08698 0.9388 1 -0.0002936 0.05904 0.09136 0.02417 0.1555 1.787 0.9994 0.3479 0.6475 1 1 0.0336 0.1326 0.1315 0.3684 1.454 1.442 json
t12_x17_u4_b69 12 17 4 69 cil(lrg(D,div(R,R))) 34140 98134902 o1(o2(x,o2(x,x))) true 102967 102967 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_x17_u4_b70 12 17 4 70 cil(lrg(D,pow(R,R))) 34141 98134903 o1(o2(x,o2(x,x))) true 102975 102975 0.5211 0.9599 0.5211 0.1536 0.3919 0 1 1 1 3.43 0.0023 0.002439 0.05325 -0.02944 1 -0.00002079 0.0009214 0.01703 0.001904 0.04363 0.8194 0.2255 0.03085 0.006 1 1 0.009045 0.1136 0.286 0.05889 0.7394 1.862 json
t12_x17_u4_b71 12 17 4 71 cil(lrg(D,mod(R,R))) 34142 98134904 o1(o2(x,o2(x,x))) true 102983 102983 0.51 0.9971 0.51 0.1395 0.3734 0 1 1 1 3.521 0.05297 0.0006217 0.1145 0.9768 1 0.0000171 0.09905 0.1211 0.04049 0.2012 1.758 0.9997 0.3843 0.7102 1 1 0.05576 0.2078 0.1104 0.3999 1.49 0.7914 json
t12_x17_u4_b72 12 17 4 72 cil(lrg(D,lrg(R,R))) 34143 98134905 o1(o2(x,o2(x,x))) true 102991 102991 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t12_x17_u4_b73 12 17 4 73 cil(lrg(D,eql(R,R))) 34144 98134906 o1(o2(x,o2(x,x))) true 102999 102999 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_x17_u4_b74 12 17 4 74 cil(lrg(D,min(R,R))) 34145 98134907 o1(o2(x,o2(x,x))) true 103007 103007 0.5008 0.9274 0.5008 0.1466 0.3828 0 1 1 1 3.529 0.0202 0.00212 0.08084 0.81 1 -0.00001414 0.03816 0.07051 0.01579 0.1257 1.554 0.9997 0.1523 0.2603 1 1 0.02456 0.14 0.2709 0.1675 0.9553 1.848 json
t12_x17_u4_b75 12 17 4 75 cil(lrg(D,dot(R,R))) 34146 98134908 o1(o2(x,o2(x,x))) true 103015 103015 0.0466 0.3258 0.0466 0.01836 0.1355 0 0.9994 0.9994 1 1.099 0.006764 0.0002639 0.02476 0.9249 1 -0.0002807 0.01407 0.0275 0.006414 0.08009 3.235 0.9994 0.3829 0.7666 1 1 0.006341 0.02133 0.02968 0.3454 1.162 1.617 json
t12_x17_u4_b76 12 17 4 76 cil(lrg(D,dst(R,R))) 34147 98134909 o1(o2(x,o2(x,x))) true 103023 103023 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t12_x17_u4_b77 12 17 4 77 cil(eql(D,add(R,R))) 34148 98134910 o1(o2(x,o2(x,x))) true 103031 103031 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_x17_u4_b78 12 17 4 78 cil(eql(D,sub(R,R))) 34149 98134911 o1(o2(x,o2(x,x))) true 103039 103039 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_x17_u4_b79 12 17 4 79 cil(eql(D,mlt(R,R))) 34150 98134912 o1(o2(x,o2(x,x))) true 103047 103047 0.0002441 0.0004883 0.0002441 0.0001911 0.01382 0 0.9994 0.9994 1 0.006378 0.0003946 0.000002791 0.0005079 0.986 1 -3.564e-7 0.001195 0.001008 0.0003969 0.01992 39.23 0.9994 2.08 6.255 1 1 0 0 0 0 0 0 json
t12_x17_u4_b80 12 17 4 80 cil(eql(D,div(R,R))) 34151 98134913 o1(o2(x,o2(x,x))) true 103055 103055 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_x17_u4_b81 12 17 4 81 cil(eql(D,pow(R,R))) 34152 98134914 o1(o2(x,o2(x,x))) true 103063 103063 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_x17_u4_b82 12 17 4 82 cil(eql(D,mod(R,R))) 34153 98134915 o1(o2(x,o2(x,x))) true 103071 103071 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_x17_u4_b83 12 17 4 83 cil(eql(D,lrg(R,R))) 34154 98134916 o1(o2(x,o2(x,x))) true 103079 103079 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_x17_u4_b84 12 17 4 84 cil(eql(D,eql(R,R))) 34155 98134917 o1(o2(x,o2(x,x))) true 103087 103087 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_x17_u4_b85 12 17 4 85 cil(eql(D,min(R,R))) 34156 98134918 o1(o2(x,o2(x,x))) true 103095 103095 0.00004008 0.0002289 0.00004008 0.00001031 0.00321 0 0.3282 0.3282 1 0.002722 0.00001454 1.509e-7 0.00006305 0.9795 0 1.17e-7 0.00004407 0.0001242 0.00001469 0.003832 60.78 0.3186 1.425 4.276 1 1 0 0 0.000007865 0 0 0.7631 json
t12_x17_u4_b86 12 17 4 86 cil(eql(D,dot(R,R))) 34157 98134919 o1(o2(x,o2(x,x))) true 103103 103103 7.106e-8 0.0002747 7.106e-8 1.62e-11 0.000004025 0 0.000291 0.000291 1 0 3.345e-11 2.373e-13 1.48e-7 0.9859 0 6.74e-16 1.013e-10 2.935e-7 3.365e-11 0.000005801 39.18 0.000291 2.08 6.254 1 1 3.024e-11 4.016e-11 4.413e-11 1.867 2.479 2.724 json
t12_x17_u4_b87 12 17 4 87 cil(eql(D,dst(R,R))) 34158 98134920 o1(o2(x,o2(x,x))) true 103111 103111 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_x17_u4_b88 12 17 4 88 cil(min(D,add(R,R))) 34159 98134921 o1(o2(x,o2(x,x))) true 103119 103119 0.004883 0.5002 0.4041 0.2923 0.5406 -1 0.9997 2 1 4.568 0.02979 0.004028 0.1024 0.7617 1 0.00003494 0.05133 0.07342 0.02333 0.1527 1.491 1 0.1157 0.1756 1 1 0.04054 0.267 0.453 0.1387 0.9135 1.55 json
t12_x17_u4_b89 12 17 4 89 cil(min(D,sub(R,R))) 34160 98134922 o1(o2(x,o2(x,x))) true 103127 103127 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_x17_u4_b90 12 17 4 90 cil(min(D,mlt(R,R))) 34161 98134923 o1(o2(x,o2(x,x))) true 103135 103135 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t12_x17_u4_b91 12 17 4 91 cil(min(D,div(R,R))) 34162 98134924 o1(o2(x,o2(x,x))) true 103143 103143 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t12_x17_u4_b92 12 17 4 92 cil(min(D,pow(R,R))) 34163 98134925 o1(o2(x,o2(x,x))) true 103151 103151 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t12_x17_u4_b93 12 17 4 93 cil(min(D,mod(R,R))) 34164 98134926 o1(o2(x,o2(x,x))) true 103159 103159 0.04785 0.1705 0.04785 0.0281 0.1676 0 0.9997 0.9997 1 0.8802 0.005407 0.0003773 0.01577 0.8696 1 -0.00002281 0.01018 0.01451 0.005534 0.07439 4.716 0.9997 0.2059 0.3623 1 1 0.00737 0.03838 0.06164 0.2623 1.366 2.194 json
t12_x17_u4_b94 12 17 4 94 cil(min(D,lrg(R,R))) 34165 98134927 o1(o2(x,o2(x,x))) true 103167 103167 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_x17_u4_b95 12 17 4 95 cil(min(D,eql(R,R))) 34166 98134928 o1(o2(x,o2(x,x))) true 103175 103175 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t12_x17_u4_b96 12 17 4 96 cil(min(D,min(R,R))) 34167 98134929 o1(o2(x,o2(x,x))) true 103183 103183 0.2432 0.7246 0.2432 0.1087 0.3297 0 0.9997 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 -0.00000142 0.05102 0.06666 0.02362 0.1537 2.186 0.9997 0.2627 0.4693 1 1 0.03085 0.1411 0.1423 0.2838 1.298 1.309 json
t12_x17_u4_b97 12 17 4 97 cil(min(D,dot(R,R))) 34168 98134930 o1(o2(x,o2(x,x))) true 103191 103191 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t12_x17_u4_b98 12 17 4 98 cil(min(D,dst(R,R))) 34169 98134931 o1(o2(x,o2(x,x))) true 103199 103199 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_x17_u4_b99 12 17 4 99 cil(dot(D,add(R,R))) 34170 98134932 o1(o2(x,o2(x,x))) true 103207 103207 0.4935 0.8634 0.5224 0.176 0.4195 -0.996 1 1.996 1 3.9 0.04046 0.03959 0.1535 0.01096 1 -0.0003004 0.2598 0.2392 0.05649 0.2377 1.548 1.42 0.4548 1.476 1 1 0.0829 0.2976 0.3469 0.471 1.691 1.971 json
t12_x17_u4_b100 12 17 4 100 cil(dot(D,sub(R,R))) 34171 98134933 o1(o2(x,o2(x,x))) true 103215 103215 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_x17_u4_b101 12 17 4 101 cil(dot(D,mlt(R,R))) 34172 98134934 o1(o2(x,o2(x,x))) true 103223 103223 0.5023 0.9996 0.5023 0.1168 0.3418 0.000002074 1 1 1 3.808 0.03259 0.03148 0.1321 0.01726 1 -0.0001631 0.1813 0.1691 0.04662 0.2159 1.635 1.409 0.5486 1.553 1 1 0.06881 0.2317 0.1272 0.5891 1.984 1.089 json
t12_x17_u4_b102 12 17 4 102 cil(dot(D,div(R,R))) 34173 98134935 o1(o2(x,o2(x,x))) true 103231 103231 0.4807 0.9691 0.4807 0.1021 0.3195 0 0.9997 0.9997 1 3.931 0.05371 0.05367 0.1711 0.0003724 1 0.00003606 0.4193 0.2499 0.07808 0.2794 1.633 1.409 1.052 4.107 1 1 0.1089 0.2852 0.01233 1.067 2.794 0.1208 json
t12_x17_u4_b103 12 17 4 103 cil(dot(D,pow(R,R))) 34174 98134936 o1(o2(x,o2(x,x))) true 103239 103239 -0.9941 0.003906 0.9981 0.009129 0.09555 -1 0.9997 2 1 0.05246 0.001355 0.001337 0.002016 0.006696 1 1.201e-10 0.006307 0.003705 0.002686 0.05182 25.7 2 0.2949 0.6909 1 1 0.004705 0.01746 0.0321 0.5154 1.912 3.517 json
t12_x17_u4_b104 12 17 4 104 cil(dot(D,mod(R,R))) 34175 98134937 o1(o2(x,o2(x,x))) true 103247 103247 0.2069 0.558 0.2069 0.1045 0.3232 -0.02408 1 1.024 1 2.43 0.01128 0.01124 0.05525 0.001823 1 -0.00003212 0.04314 0.0562 0.01947 0.1395 2.526 1.372 0.2156 0.4129 1 1 0.02748 0.1374 0.2067 0.263 1.315 1.979 json
t12_x17_u4_b105 12 17 4 105 cil(dot(D,lrg(R,R))) 34176 98134938 o1(o2(x,o2(x,x))) true 103255 103255 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_x17_u4_b106 12 17 4 106 cil(dot(D,eql(R,R))) 34177 98134939 o1(o2(x,o2(x,x))) true 103263 103263 0.4688 0.9375 0.4688 0.1046 0.3235 0 0.9994 0.9994 1 3.91 0.06018 0.06018 0.1758 0.000004488 1 0.00003149 0.5007 0.2681 0.08942 0.299 1.701 1.409 1.15 4.785 1 1 0.1154 0.2917 0 1.103 2.788 0 json
t12_x17_u4_b107 12 17 4 107 cil(dot(D,min(R,R))) 34178 98134940 o1(o2(x,o2(x,x))) true 103271 103271 0.5067 0.9337 0.5068 0.1514 0.3891 -0.05087 1 1.051 1 3.505 0.0353 0.03441 0.1241 0.01279 1 -0.0002923 0.221 0.182 0.05432 0.2331 1.879 1.414 0.4605 1.46 1 1 0.07406 0.2843 0.3006 0.4893 1.878 1.986 json
t12_x17_u4_b108 12 17 4 108 cil(dot(D,dot(R,R))) 34179 98134941 o1(o2(x,o2(x,x))) true 103279 103279 0.4721 0.9715 0.477 0.09646 0.3106 -0.712 1 1.712 1 4.065 0.04674 0.04675 0.1799 -0.0001457 1 0.00004183 0.383 0.2889 0.06112 0.2472 1.374 1.409 0.9692 3.971 1 1 0.09084 0.2255 0.03324 0.9417 2.338 0.3446 json
t12_x17_u4_b109 12 17 4 109 cil(dot(D,dst(R,R))) 34180 98134942 o1(o2(x,o2(x,x))) true 103287 103287 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_x17_u4_b110 12 17 4 110 cil(dst(D,add(R,R))) 34181 98134943 o1(o2(x,o2(x,x))) true 103295 103295 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t12_x17_u4_b111 12 17 4 111 cil(dst(D,sub(R,R))) 34182 98134944 o1(o2(x,o2(x,x))) true 103303 103303 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t12_x17_u4_b112 12 17 4 112 cil(dst(D,mlt(R,R))) 34183 98134945 o1(o2(x,o2(x,x))) true 103311 103311 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t12_x17_u4_b113 12 17 4 113 cil(dst(D,div(R,R))) 34184 98134946 o1(o2(x,o2(x,x))) true 103319 103319 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t12_x17_u4_b114 12 17 4 114 cil(dst(D,pow(R,R))) 34185 98134947 o1(o2(x,o2(x,x))) true 103327 103327 -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_x17_u4_b115 12 17 4 115 cil(dst(D,mod(R,R))) 34186 98134948 o1(o2(x,o2(x,x))) true 103335 103335 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t12_x17_u4_b116 12 17 4 116 cil(dst(D,lrg(R,R))) 34187 98134949 o1(o2(x,o2(x,x))) true 103343 103343 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t12_x17_u4_b117 12 17 4 117 cil(dst(D,eql(R,R))) 34188 98134950 o1(o2(x,o2(x,x))) true 103351 103351 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t12_x17_u4_b118 12 17 4 118 cil(dst(D,min(R,R))) 34189 98134951 o1(o2(x,o2(x,x))) true 103359 103359 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t12_x17_u4_b119 12 17 4 119 cil(dst(D,dot(R,R))) 34190 98134952 o1(o2(x,o2(x,x))) true 103367 103367 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t12_x17_u4_b120 12 17 4 120 cil(dst(D,dst(R,R))) 34191 98134953 o1(o2(x,o2(x,x))) true 103375 103375 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t12_x17_u5_b0 12 17 5 0 sgn(add(D,add(R,R))) 34192 98135034 o1(o2(x,o2(x,x))) true 103383 103383 -0.01971 0.4889 0.7081 0.5993 0.7741 -1 1 2 1 4.06 0.04088 0.009031 0.1301 0.6381 1 0.0001587 0.0691 0.07916 0.03299 0.1816 1.396 1.999 0.08328 0.1153 1 1 0.05905 0.4959 1.1 0.09854 0.8275 1.835 json
t12_x17_u5_b1 12 17 5 1 sgn(add(D,sub(R,R))) 34193 98135035 o1(o2(x,o2(x,x))) true 103391 103391 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x17_u5_b2 12 17 5 2 sgn(add(D,mlt(R,R))) 34194 98135036 o1(o2(x,o2(x,x))) true 103399 103399 0.5209 0.7878 0.7371 0.3636 0.603 -0.9994 1 1.999 1 3.407 0.1224 0.003883 0.1715 0.9385 1 0.0005914 0.2333 0.1812 0.0969 0.3113 1.815 1.999 0.3473 0.6416 1 1 0.1382 0.526 0.5333 0.3801 1.446 1.467 json
t12_x17_u5_b3 12 17 5 3 sgn(add(D,div(R,R))) 34195 98135037 o1(o2(x,o2(x,x))) true 103407 103407 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t12_x17_u5_b4 12 17 5 4 sgn(add(D,pow(R,R))) 34196 98135038 o1(o2(x,o2(x,x))) true 103415 103415 -0.04211 0.4813 0.7202 0.6136 0.7834 -1 1 2 1 4.008 0.009144 0.009753 0.1065 -0.03222 1 0.00005309 0.00362 0.03383 0.007549 0.08688 0.8155 0.4528 0.0308 0.0059 1 1 0.03609 0.4536 1.143 0.05882 0.7392 1.863 json
t12_x17_u5_b5 12 17 5 5 sgn(add(D,mod(R,R))) 34197 98135039 o1(o2(x,o2(x,x))) true 103423 103423 -0.01731 0.4908 0.6826 0.5602 0.7485 -1 1 2 1 3.757 0.211 0.002574 0.228 0.9759 1 -0.00002279 0.3944 0.2415 0.1616 0.402 1.763 1.999 0.3813 0.7041 1 1 0.2208 0.8453 0.467 0.3941 1.509 0.8335 json
t12_x17_u5_b6 12 17 5 6 sgn(add(D,lrg(R,R))) 34198 98135040 o1(o2(x,o2(x,x))) true 103431 103431 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t12_x17_u5_b7 12 17 5 7 sgn(add(D,eql(R,R))) 34199 98135041 o1(o2(x,o2(x,x))) true 103439 103439 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json