Laboratory of Babel / Archive / grad-noise-175k

grad-noise-175k

Gradient noise, 175k (run of 2026-09-23) · A complete batch run over 175,797 lattice-noise expressions, with 32 texture diagnostics and a frame of each.

About this collection

This collection is complete and closed. Every expression in the space below was rendered and measured once, in a single batch run. Each row is one expression, and its coordinate links to it running live on uto.run.

The purpose is exploratory. There is no target texture and no attempt to resemble Perlin noise. A constant field, a strongly directional pattern or an odd value distribution is an observation, not a failure. The measurements describe textures so they can be sorted, filtered and compared. They are a lossy fingerprint, not a judgement of quality and not a substitute for looking.

The space

An ither formula with two layers:

  • topo: expression trees of up to 64 nodes, built from unary (o1), binary (o2) and leaf (x) slots
  • expr: fills those slots
    • leaves: P, D, R
    • unary: sqt log frc flr cil sgn nrm
    • binary: add sub mlt div pow mod lrg eql min dot dst

A coordinate t·x·u·b follows the formula's projection: t the topology, x the leaf choices, u the unary choices, b the binary choices. Points outside the space were omitted from the run. Two orderings ride along: ordinal is the point's position in ither's whole enumeration (gaps where points were omitted), and batch index is its place in the batch run's sequence, 0 to 175,796 (the run's inputs.expr, and the number in its frame's file name).

The apparatus

Each expression is evaluated at the corners of a rectangular lattice with quintic blending (LATT.RECT.QUINTIC), over coordinates mlt(C, 8), in a 256 × 256 field #A. One configuration per expression: the dimension and coordinate scale were fixed for the whole run.

Measurements are taken from #A's x channel, its stored values (not a screenshot), at step 7, after which the run moves to the next expression. The frame in each row is that field, remapped for display.

The measurements

Notation: f is the field value, E averages the whole field, and E_I averages the interior (C-space [-0.98, 0.98]², which keeps wrapped edges out of the spatial measures).

Value distribution

key meaning
value_mean, value_abs_mean E[f] and E[|f|]: signed offset, typical distance from zero
value_positive_fraction share of values above 0 (field tolerance 0.0001)
value_variance, value_stddev population variance and SD: contrast
value_min, value_max, value_range sampled extrema and their difference
histogram_entropy_bits entropy of a 32-bin histogram over [−1, 1], 0 (one bin) to 5 (uniform) bits
histogram_probability_sum consistency check, ≈ 1

Local roughness (one-pixel differences dx, dy, and g = √(dx² + dy²))

key meaning
gradient_energy_x, gradient_energy_y E_I[dx²], E_I[dy²]
gradient_magnitude_mean E_I[g]: roughness
gradient_magnitude_variance, _stddev, _max how unevenly that roughness is spread, and its peak
gradient_magnitude_cv SD / mean of g: uneven activity (quiet areas interrupted by edges), independent of amplitude
gradient_axis_bias (Ex − Ey) / (Ex + Ey), −1 to 1: horizontal vs vertical preference. Zero does not mean isotropic (diagonals balance too)
gradient_nonzero_flag 1 if there is any gradient energy at all

Change of slope (four-neighbour Laplacian L)

key meaning
laplacian_mean, laplacian_energy, laplacian_abs_mean E_I[L], E_I[L²], E_I[|L|]. Sharp or high-frequency structure responds; a linear ramp does not

Normalised by contrast (comparable across amplitudes)

key meaning
gradient_energy_over_variance (Ex + Ey) / variance
laplacian_energy_over_variance E_I[L²] / variance
variance_normalization_valid_flag, gradient_cv_valid_flag whether the denominators above are meaningful (> 10⁻¹²). Filter on these before trusting a ratio

Three spatial scales (mean squared difference at a distance, over the central [-0.74, 0.74]²: 2, 8 and 32 pixels at this resolution)

key meaning
scale_diff2_near, _mid, _far raw difference energy at each distance
scale_diff2_near_over_variance, _mid_…, _far_… the same, normalised. Low near and rising far suggests smooth structure; a dip at a longer distance can hint at repetition

Each record's json also holds value_histogram (the 32 bin probabilities) and scale_curve (the three scales with their distances).

Reading them, and their limits

  • Clipping. #A kept its default signed domain, so values outside [−1, 1] were clipped before measuring. The diagnostics describe the clipped texture.
  • Combinations say more than any one key. A large range with modest SD and a high gradient peak suggests a few strong excursions. A broad histogram with low normalised detail suggests smooth variation. Similar roughness with a different CV means the activity is concentrated differently.
  • Entropy is about values, not space. A smooth ramp can have high entropy, and shuffling the pixels would not change it.
  • Raw spatial measures depend on resolution and amplitude. Prefer the normalised keys for detail independent of contrast, after checking the validity flags.
  • Not measured: full orientation, spectra or periodicity, lacunarity, tileability, colour, novelty, aesthetic merit.
  • Validation. The suite compiled and ran on every expression. Systematic numerical controls (constants, ramps, stripes, checkerboards, random pixels) and a comparison against longer settling times were not done before this run. Treat the values as exploratory.

Provenance

  • Apparatus: noiseBatch/one.uto, project SHA-256 b6fc8f27…be04d0
  • Expression corpus: SHA-256 7d3ec029…d72266
  • Run files (canonical), in ~/lab/data/grad-noise-175k/: the enumeration (grad-noise-175k.jsonl), the measurements (grad-noise-175k-output.jsonl, joined on inputs.expr), the formula (grad-noise-175k.manifest.json) and the frames (png/)
175,797 records
coordinate ▲ t x u b expression batch index ordinal topo measured step globalStep value_mean value_positive_fraction value_abs_mean value_variance value_stddev value_min value_max value_range histogram_probability_sum histogram_entropy_bits gradient_energy_x gradient_energy_y gradient_magnitude_mean gradient_axis_bias gradient_nonzero_flag laplacian_mean laplacian_energy laplacian_abs_mean gradient_magnitude_variance gradient_magnitude_stddev gradient_magnitude_cv gradient_magnitude_max gradient_energy_over_variance laplacian_energy_over_variance variance_normalization_valid_flag gradient_cv_valid_flag scale_diff2_near scale_diff2_mid scale_diff2_far scale_diff2_near_over_variance scale_diff2_mid_over_variance scale_diff2_far_over_variance
t14_x25_u4_b33 14 25 4 33 cil(div(add(R,R),D)) 68600 114699276 o1(o2(o2(x,x),x)) true 36807 36807 0.1138 0.5625 0.8998 0.8542 0.9242 -1 1 2 1 2.414 0.2847 0.04968 0.2432 0.7028 1 -0.0001608 0.6676 0.3803 0.2753 0.5247 2.157 2.828 0.3915 0.7816 1 1 0.375 1.579 1.572 0.439 1.848 1.84 json
t14_x25_u4_b34 14 25 4 34 cil(div(sub(R,R),D)) 68601 114699277 o1(o2(o2(x,x),x)) true 36815 36815 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b35 14 25 4 35 cil(div(mlt(R,R),D)) 68602 114699278 o1(o2(o2(x,x),x)) true 36823 36823 0.2562 0.6873 0.7432 0.601 0.7752 -1 1 2 1 3.625 0.2781 0.002437 0.2408 0.9826 1 -0.0003498 0.5397 0.3444 0.2225 0.4717 1.959 2.083 0.4668 0.8981 1 1 0.2993 1.018 0.1955 0.498 1.694 0.3252 json
t14_x25_u4_b36 14 25 4 36 cil(div(div(R,R),D)) 68603 114699279 o1(o2(o2(x,x),x)) true 36831 36831 0.06746 0.5 0.9326 0.9038 0.9507 -1 1 2 1 1.531 0.354 0 0.246 1 1 0 0.619 0.3948 0.2935 0.5417 2.202 2 0.3917 0.6849 1 1 0.4017 1.777 0 0.4444 1.966 0 json
t14_x25_u4_b37 14 25 4 37 cil(div(pow(R,R),D)) 68604 114699280 o1(o2(o2(x,x),x)) true 36839 36839 -0.9523 0.02406 0.9953 0.08695 0.2949 -1 1 2 1 0.2232 0.01247 0.008423 0.01429 0.1936 1 -2.397e-7 0.04054 0.02314 0.02068 0.1438 10.07 2.026 0.2402 0.4662 1 1 0.01542 0.0752 0.1408 0.1773 0.8648 1.619 json
t14_x25_u4_b38 14 25 4 38 cil(div(mod(R,R),D)) 68605 114699281 o1(o2(o2(x,x),x)) true 36847 36847 0.04534 0.2988 0.2408 0.2018 0.4492 -1 1 2 1 2.562 0.08839 0.004728 0.08773 0.8985 1 -0.0001865 0.1934 0.1277 0.08547 0.2924 3.332 2.828 0.4615 0.9583 1 1 0.1137 0.3897 0.461 0.5633 1.931 2.285 json
t14_x25_u4_b39 14 25 4 39 cil(div(lrg(R,R),D)) 68606 114699282 o1(o2(o2(x,x),x)) true 36855 36855 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b40 14 25 4 40 cil(div(eql(R,R),D)) 68607 114699283 o1(o2(o2(x,x),x)) true 36863 36863 0.06746 0.5 0.9326 0.9038 0.9507 -1 1 2 1 1.531 0.354 0 0.246 1 1 0 0.619 0.3948 0.2935 0.5417 2.202 2 0.3917 0.6849 1 1 0.4017 1.777 0 0.4444 1.966 0 json
t14_x25_u4_b41 14 25 4 41 cil(div(min(R,R),D)) 68608 114699284 o1(o2(o2(x,x),x)) true 36871 36871 0.1936 0.6122 0.8187 0.723 0.8503 -1 1 2 1 3.184 0.2784 0.0317 0.2497 0.7955 1 -0.0005854 0.639 0.3865 0.2478 0.4978 1.994 2.828 0.4289 0.8838 1 1 0.3353 1.301 1.311 0.4638 1.799 1.814 json
t14_x25_u4_b42 14 25 4 42 cil(div(dot(R,R),D)) 68609 114699285 o1(o2(o2(x,x),x)) true 36879 36879 0.09858 0.5537 0.8982 0.8549 0.9246 -1 1 2 1 2.412 0.3249 0.001882 0.2486 0.9885 1 -0.0001029 0.5563 0.3622 0.2649 0.5147 2.07 2.134 0.3822 0.6507 1 1 0.3817 1.607 0.1309 0.4465 1.88 0.1531 json
t14_x25_u4_b43 14 25 4 43 cil(div(dst(R,R),D)) 68610 114699286 o1(o2(o2(x,x),x)) true 36887 36887 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b44 14 25 4 44 cil(pow(add(R,R),D)) 68611 114699287 o1(o2(o2(x,x),x)) true 36895 36895 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t14_x25_u4_b45 14 25 4 45 cil(pow(sub(R,R),D)) 68612 114699288 o1(o2(o2(x,x),x)) true 36903 36903 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b46 14 25 4 46 cil(pow(mlt(R,R),D)) 68613 114699289 o1(o2(o2(x,x),x)) true 36911 36911 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b47 14 25 4 47 cil(pow(div(R,R),D)) 68614 114699290 o1(o2(o2(x,x),x)) true 36919 36919 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b48 14 25 4 48 cil(pow(pow(R,R),D)) 68615 114699291 o1(o2(o2(x,x),x)) true 36927 36927 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t14_x25_u4_b49 14 25 4 49 cil(pow(mod(R,R),D)) 68616 114699292 o1(o2(o2(x,x),x)) true 36935 36935 -0.8762 0.0625 0.9988 0.2307 0.4804 -1 1 2 1 0.3612 0.02417 0.02542 0.02515 -0.02521 1 0 0.1043 0.05016 0.04898 0.2213 8.799 2.828 0.2149 0.4521 1 1 0.03767 0.1526 0.4213 0.1633 0.6613 1.826 json
t14_x25_u4_b50 14 25 4 50 cil(pow(lrg(R,R),D)) 68617 114699293 o1(o2(o2(x,x),x)) true 36943 36943 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b51 14 25 4 51 cil(pow(eql(R,R),D)) 68618 114699294 o1(o2(o2(x,x),x)) true 36951 36951 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b52 14 25 4 52 cil(pow(min(R,R),D)) 68619 114699295 o1(o2(o2(x,x),x)) true 36959 36959 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t14_x25_u4_b53 14 25 4 53 cil(pow(dot(R,R),D)) 68620 114699296 o1(o2(o2(x,x),x)) true 36967 36967 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b54 14 25 4 54 cil(pow(dst(R,R),D)) 68621 114699297 o1(o2(o2(x,x),x)) true 36975 36975 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b55 14 25 4 55 cil(mod(add(R,R),D)) 68622 114699298 o1(o2(o2(x,x),x)) true 36983 36983 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t14_x25_u4_b56 14 25 4 56 cil(mod(sub(R,R),D)) 68623 114699299 o1(o2(o2(x,x),x)) true 36991 36991 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b57 14 25 4 57 cil(mod(mlt(R,R),D)) 68624 114699300 o1(o2(o2(x,x),x)) true 36999 36999 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b58 14 25 4 58 cil(mod(div(R,R),D)) 68625 114699301 o1(o2(o2(x,x),x)) true 37007 37007 0.9048 1 0.9048 0.08159 0.2856 0.000291 1 0.9997 1 0.6686 0.08581 0.0002295 0.09178 0.9947 1 -0.00000141 0.1721 0.1807 0.07763 0.2786 3.036 0.9997 1.055 2.109 1 1 0.083 0.08887 0.03416 1.017 1.089 0.4186 json
t14_x25_u4_b59 14 25 4 59 cil(mod(pow(R,R),D)) 68626 114699302 o1(o2(o2(x,x),x)) true 37015 37015 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t14_x25_u4_b60 14 25 4 60 cil(mod(mod(R,R),D)) 68627 114699303 o1(o2(o2(x,x),x)) true 37023 37023 0.09766 0.3093 0.09766 0.05569 0.236 0 1 1 1 1.481 0.0007269 0.0007714 0.01782 -0.02968 1 -0.00003992 0.0000893 0.00432 0.001181 0.03436 1.929 0.1169 0.02691 0.001604 1 1 0.003155 0.04072 0.1218 0.05666 0.7313 2.187 json
t14_x25_u4_b61 14 25 4 61 cil(mod(lrg(R,R),D)) 68628 114699304 o1(o2(o2(x,x),x)) true 37031 37031 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b62 14 25 4 62 cil(mod(eql(R,R),D)) 68629 114699305 o1(o2(o2(x,x),x)) true 37039 37039 0.875 1 0.875 0.1093 0.3306 0.000291 1 0.9997 1 0.5436 0.119 0 0.119 1 1 2.838e-8 0.2379 0.238 0.1048 0.3238 2.721 0.9997 1.088 2.177 1 1 0.121 0.121 0 1.107 1.107 0 json
t14_x25_u4_b63 14 25 4 63 cil(mod(min(R,R),D)) 68630 114699306 o1(o2(o2(x,x),x)) true 37047 37047 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t14_x25_u4_b64 14 25 4 64 cil(mod(dot(R,R),D)) 68631 114699307 o1(o2(o2(x,x),x)) true 37055 37055 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b65 14 25 4 65 cil(mod(dst(R,R),D)) 68632 114699308 o1(o2(o2(x,x),x)) true 37063 37063 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b66 14 25 4 66 cil(lrg(add(R,R),D)) 68633 114699309 o1(o2(o2(x,x),x)) true 37071 37071 0.4898 0.9172 0.4898 0.1541 0.3926 0 1 1 1 3.432 0.01004 0.002285 0.06307 0.6294 1 0.00008436 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
t14_x25_u4_b67 14 25 4 67 cil(lrg(sub(R,R),D)) 68634 114699310 o1(o2(o2(x,x),x)) true 37079 37079 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x25_u4_b68 14 25 4 68 cil(lrg(mlt(R,R),D)) 68635 114699311 o1(o2(o2(x,x),x)) true 37087 37087 0.7585 1 0.7585 0.09126 0.3021 0.000291 1 0.9997 1 3.011 0.03071 0.0009731 0.087 0.9386 1 0.000294 0.05888 0.09129 0.02411 0.1553 1.785 0.9994 0.3471 0.6452 1 1 0.0336 0.1326 0.1315 0.3681 1.453 1.44 json
t14_x25_u4_b69 14 25 4 69 cil(lrg(div(R,R),D)) 68636 114699312 o1(o2(o2(x,x),x)) true 37095 37095 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b70 14 25 4 70 cil(lrg(pow(R,R),D)) 68637 114699313 o1(o2(o2(x,x),x)) true 37103 37103 0.9964 1 0.9964 0.0002432 0.0156 0.8608 1 0.1392 1 0.1734 0.0002694 0.000003136 0.00431 0.977 1 0.0000386 0.0006525 0.006403 0.0002538 0.01593 3.696 0.1392 1.12 2.682 1 1 0.0002199 0.000344 0.000369 0.9038 1.414 1.517 json
t14_x25_u4_b71 14 25 4 71 cil(lrg(mod(R,R),D)) 68638 114699314 o1(o2(o2(x,x),x)) true 37111 37111 0.49 0.9884 0.49 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
t14_x25_u4_b72 14 25 4 72 cil(lrg(lrg(R,R),D)) 68639 114699315 o1(o2(o2(x,x),x)) true 37119 37119 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x25_u4_b73 14 25 4 73 cil(lrg(eql(R,R),D)) 68640 114699316 o1(o2(o2(x,x),x)) true 37127 37127 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b74 14 25 4 74 cil(lrg(min(R,R),D)) 68641 114699317 o1(o2(o2(x,x),x)) true 37135 37135 0.4991 0.9305 0.4991 0.1466 0.3829 0 1 1 1 3.529 0.0202 0.00212 0.08082 0.81 1 0.00001402 0.03815 0.07049 0.01579 0.1257 1.555 0.9997 0.1522 0.2602 1 1 0.02456 0.14 0.2709 0.1675 0.9551 1.848 json
t14_x25_u4_b75 14 25 4 75 cil(lrg(dot(R,R),D)) 68642 114699318 o1(o2(o2(x,x),x)) true 37143 37143 0.9534 1 0.9534 0.01835 0.1355 0.000582 1 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.7667 1 1 0.006341 0.02133 0.02968 0.3455 1.162 1.617 json
t14_x25_u4_b76 14 25 4 76 cil(lrg(dst(R,R),D)) 68643 114699319 o1(o2(o2(x,x),x)) true 37151 37151 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x25_u4_b77 14 25 4 77 cil(eql(add(R,R),D)) 68644 114699320 o1(o2(o2(x,x),x)) true 37159 37159 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b78 14 25 4 78 cil(eql(sub(R,R),D)) 68645 114699321 o1(o2(o2(x,x),x)) true 37167 37167 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b79 14 25 4 79 cil(eql(mlt(R,R),D)) 68646 114699322 o1(o2(o2(x,x),x)) true 37175 37175 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
t14_x25_u4_b80 14 25 4 80 cil(eql(div(R,R),D)) 68647 114699323 o1(o2(o2(x,x),x)) true 37183 37183 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b81 14 25 4 81 cil(eql(pow(R,R),D)) 68648 114699324 o1(o2(o2(x,x),x)) true 37191 37191 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b82 14 25 4 82 cil(eql(mod(R,R),D)) 68649 114699325 o1(o2(o2(x,x),x)) true 37199 37199 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b83 14 25 4 83 cil(eql(lrg(R,R),D)) 68650 114699326 o1(o2(o2(x,x),x)) true 37207 37207 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b84 14 25 4 84 cil(eql(eql(R,R),D)) 68651 114699327 o1(o2(o2(x,x),x)) true 37215 37215 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b85 14 25 4 85 cil(eql(min(R,R),D)) 68652 114699328 o1(o2(o2(x,x),x)) true 37223 37223 0.00004008 0.0002289 0.00004008 0.00001031 0.00321 0 0.3282 0.3282 1 0.002722 0.00001454 1.509e-7 0.00006305 0.9795 0 1.17e-7 0.00004407 0.0001242 0.00001469 0.003832 60.78 0.3186 1.425 4.276 1 1 0 0 0.000007865 0 0 0.7631 json
t14_x25_u4_b86 14 25 4 86 cil(eql(dot(R,R),D)) 68653 114699329 o1(o2(o2(x,x),x)) true 37231 37231 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
t14_x25_u4_b87 14 25 4 87 cil(eql(dst(R,R),D)) 68654 114699330 o1(o2(o2(x,x),x)) true 37239 37239 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b88 14 25 4 88 cil(min(add(R,R),D)) 68655 114699331 o1(o2(o2(x,x),x)) true 37247 37247 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
t14_x25_u4_b89 14 25 4 89 cil(min(sub(R,R),D)) 68656 114699332 o1(o2(o2(x,x),x)) true 37255 37255 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b90 14 25 4 90 cil(min(mlt(R,R),D)) 68657 114699333 o1(o2(o2(x,x),x)) true 37263 37263 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x25_u4_b91 14 25 4 91 cil(min(div(R,R),D)) 68658 114699334 o1(o2(o2(x,x),x)) true 37271 37271 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x25_u4_b92 14 25 4 92 cil(min(pow(R,R),D)) 68659 114699335 o1(o2(o2(x,x),x)) true 37279 37279 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x25_u4_b93 14 25 4 93 cil(min(mod(R,R),D)) 68660 114699336 o1(o2(o2(x,x),x)) true 37287 37287 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
t14_x25_u4_b94 14 25 4 94 cil(min(lrg(R,R),D)) 68661 114699337 o1(o2(o2(x,x),x)) true 37295 37295 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b95 14 25 4 95 cil(min(eql(R,R),D)) 68662 114699338 o1(o2(o2(x,x),x)) true 37303 37303 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x25_u4_b96 14 25 4 96 cil(min(min(R,R),D)) 68663 114699339 o1(o2(o2(x,x),x)) true 37311 37311 0.2432 0.7246 0.2432 0.1087 0.3297 0 0.9997 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 -0.00000142 0.05102 0.06666 0.02362 0.1537 2.186 0.9997 0.2627 0.4693 1 1 0.03085 0.1411 0.1423 0.2838 1.298 1.309 json
t14_x25_u4_b97 14 25 4 97 cil(min(dot(R,R),D)) 68664 114699340 o1(o2(o2(x,x),x)) true 37319 37319 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x25_u4_b98 14 25 4 98 cil(min(dst(R,R),D)) 68665 114699341 o1(o2(o2(x,x),x)) true 37327 37327 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b99 14 25 4 99 cil(dot(add(R,R),D)) 68666 114699342 o1(o2(o2(x,x),x)) true 37335 37335 0.4935 0.8634 0.5224 0.176 0.4195 -0.996 1 1.996 1 3.9 0.04046 0.03959 0.1535 0.01096 1 -0.0003004 0.2598 0.2392 0.05649 0.2377 1.548 1.42 0.4548 1.476 1 1 0.0829 0.2976 0.3469 0.471 1.691 1.971 json
t14_x25_u4_b100 14 25 4 100 cil(dot(sub(R,R),D)) 68667 114699343 o1(o2(o2(x,x),x)) true 37343 37343 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b101 14 25 4 101 cil(dot(mlt(R,R),D)) 68668 114699344 o1(o2(o2(x,x),x)) true 37351 37351 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
t14_x25_u4_b102 14 25 4 102 cil(dot(div(R,R),D)) 68669 114699345 o1(o2(o2(x,x),x)) true 37359 37359 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
t14_x25_u4_b103 14 25 4 103 cil(dot(pow(R,R),D)) 68670 114699346 o1(o2(o2(x,x),x)) true 37367 37367 -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
t14_x25_u4_b104 14 25 4 104 cil(dot(mod(R,R),D)) 68671 114699347 o1(o2(o2(x,x),x)) true 37375 37375 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
t14_x25_u4_b105 14 25 4 105 cil(dot(lrg(R,R),D)) 68672 114699348 o1(o2(o2(x,x),x)) true 37383 37383 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b106 14 25 4 106 cil(dot(eql(R,R),D)) 68673 114699349 o1(o2(o2(x,x),x)) true 37391 37391 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
t14_x25_u4_b107 14 25 4 107 cil(dot(min(R,R),D)) 68674 114699350 o1(o2(o2(x,x),x)) true 37399 37399 0.5067 0.9337 0.5068 0.1514 0.3891 -0.05087 1 1.051 1 3.505 0.0353 0.03441 0.1241 0.01279 1 -0.0002923 0.221 0.182 0.05432 0.2331 1.879 1.414 0.4605 1.46 1 1 0.07406 0.2843 0.3006 0.4893 1.878 1.986 json
t14_x25_u4_b108 14 25 4 108 cil(dot(dot(R,R),D)) 68675 114699351 o1(o2(o2(x,x),x)) true 37407 37407 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
t14_x25_u4_b109 14 25 4 109 cil(dot(dst(R,R),D)) 68676 114699352 o1(o2(o2(x,x),x)) true 37415 37415 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b110 14 25 4 110 cil(dst(add(R,R),D)) 68677 114699353 o1(o2(o2(x,x),x)) true 37423 37423 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b111 14 25 4 111 cil(dst(sub(R,R),D)) 68678 114699354 o1(o2(o2(x,x),x)) true 37431 37431 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b112 14 25 4 112 cil(dst(mlt(R,R),D)) 68679 114699355 o1(o2(o2(x,x),x)) true 37439 37439 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b113 14 25 4 113 cil(dst(div(R,R),D)) 68680 114699356 o1(o2(o2(x,x),x)) true 37447 37447 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b114 14 25 4 114 cil(dst(pow(R,R),D)) 68681 114699357 o1(o2(o2(x,x),x)) true 37455 37455 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b115 14 25 4 115 cil(dst(mod(R,R),D)) 68682 114699358 o1(o2(o2(x,x),x)) true 37463 37463 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b116 14 25 4 116 cil(dst(lrg(R,R),D)) 68683 114699359 o1(o2(o2(x,x),x)) true 37471 37471 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b117 14 25 4 117 cil(dst(eql(R,R),D)) 68684 114699360 o1(o2(o2(x,x),x)) true 37479 37479 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b118 14 25 4 118 cil(dst(min(R,R),D)) 68685 114699361 o1(o2(o2(x,x),x)) true 37487 37487 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b119 14 25 4 119 cil(dst(dot(R,R),D)) 68686 114699362 o1(o2(o2(x,x),x)) true 37495 37495 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u4_b120 14 25 4 120 cil(dst(dst(R,R),D)) 68687 114699363 o1(o2(o2(x,x),x)) true 37503 37503 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u5_b0 14 25 5 0 sgn(add(add(R,R),D)) 68688 114699444 o1(o2(o2(x,x),x)) true 37511 37511 -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
t14_x25_u5_b1 14 25 5 1 sgn(add(sub(R,R),D)) 68689 114699445 o1(o2(o2(x,x),x)) true 37519 37519 -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
t14_x25_u5_b2 14 25 5 2 sgn(add(mlt(R,R),D)) 68690 114699446 o1(o2(o2(x,x),x)) true 37527 37527 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
t14_x25_u5_b3 14 25 5 3 sgn(add(div(R,R),D)) 68691 114699447 o1(o2(o2(x,x),x)) true 37535 37535 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u5_b4 14 25 5 4 sgn(add(pow(R,R),D)) 68692 114699448 o1(o2(o2(x,x),x)) true 37543 37543 -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
t14_x25_u5_b5 14 25 5 5 sgn(add(mod(R,R),D)) 68693 114699449 o1(o2(o2(x,x),x)) true 37551 37551 -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
t14_x25_u5_b6 14 25 5 6 sgn(add(lrg(R,R),D)) 68694 114699450 o1(o2(o2(x,x),x)) true 37559 37559 -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
t14_x25_u5_b7 14 25 5 7 sgn(add(eql(R,R),D)) 68695 114699451 o1(o2(o2(x,x),x)) true 37567 37567 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x25_u5_b8 14 25 5 8 sgn(add(min(R,R),D)) 68696 114699452 o1(o2(o2(x,x),x)) true 37575 37575 -0.0009184 0.5006 0.6896 0.5751 0.7584 -1 1 2 1 4.103 0.07927 0.00835 0.1632 0.8094 1 0.00002957 0.1488 0.1401 0.06097 0.2469 1.513 1.999 0.1524 0.2588 1 1 0.09616 0.5801 1.041 0.1672 1.009 1.81 json
t14_x25_u5_b9 14 25 5 9 sgn(add(dot(R,R),D)) 68697 114699453 o1(o2(o2(x,x),x)) true 37583 37583 0.9059 0.9711 0.9268 0.07465 0.2732 -0.9988 1 1.999 1 1.374 0.02804 0.001076 0.04904 0.9261 1 0.0005507 0.05672 0.05491 0.02671 0.1634 3.333 1.998 0.39 0.7598 1 1 0.02449 0.08201 0.1171 0.3281 1.099 1.568 json
t14_x25_u5_b10 14 25 5 10 sgn(add(dst(R,R),D)) 68698 114699454 o1(o2(o2(x,x),x)) true 37591 37591 -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
t14_x25_u5_b11 14 25 5 11 sgn(sub(add(R,R),D)) 68699 114699455 o1(o2(o2(x,x),x)) true 37599 37599 -0.02032 0.4877 0.721 0.6165 0.7852 -1 1 2 1 4.006 0.04018 0.009139 0.1261 0.6294 1 0.0001687 0.06812 0.07761 0.03341 0.1828 1.449 1.999 0.08 0.1105 1 1 0.06218 0.513 1.176 0.1009 0.8321 1.907 json