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
t2_x6_u0_b10 2 6 0 10 dst(R,P) 100 16483618 o2(x,x) true 807 807 0.9991 1 0.9991 0.0002231 0.01494 0.5928 1 0.4072 1 0.04809 0.000009663 0.00001458 0.0003494 -0.2029 0 6.382e-11 0.00001288 0.0002502 0.00002412 0.004912 14.06 0.1585 0.1087 0.05776 1 1 0 0 0.00007594 0 0 0.3404 json
t2_x7_u0_b0 2 7 0 0 add(R,D) 101 16524009 o2(x,x) true 815 815 0.009078 0.4986 0.4013 0.2304 0.48 -1 1 2 1 4.899 0.004471 0.003165 0.07546 0.1709 1 0.00002869 0.0006263 0.01935 0.001942 0.04407 0.584 0.2845 0.03314 0.002718 1 1 0 0 0.01508 0 0 0.06546 json
t2_x7_u0_b1 2 7 0 1 sub(R,D) 102 16524010 o2(x,x) true 823 823 0.009165 0.4978 0.4005 0.2287 0.4782 -1 1 2 1 4.894 0.004393 0.003164 0.07461 0.1626 1 0.00003074 0.0006179 0.01902 0.001989 0.0446 0.5978 0.2561 0.03305 0.002702 1 1 0 0 0.01479 0 0 0.06468 json
t2_x7_u0_b2 2 7 0 2 mlt(R,D) 103 16524011 o2(x,x) true 831 831 0.001509 0.5091 0.09077 0.0151 0.1229 -0.4311 0.4889 0.92 1 3.004 0.0007895 0.0002198 0.02769 0.5645 1 -0.00003739 0.000103 0.008005 0.0002428 0.01558 0.5628 0.08276 0.06684 0.006818 1 1 0 0 0.001985 0 0 0.1314 json
t2_x7_u0_b3 2 7 0 3 div(R,D) 104 16524012 o2(x,x) true 839 839 0.0102 0.5064 0.8024 0.7396 0.86 -1 1 2 1 3.328 0.2573 0.03211 0.239 0.7781 1 -0.00006844 0.5792 0.3129 0.2324 0.482 2.017 2.828 0.3913 0.7831 1 1 0 0 0.3234 0 0 0.4372 json
t2_x7_u0_b4 2 7 0 4 pow(R,D) 105 16524013 o2(x,x) true 847 847 -0.9156 0.04297 0.9984 0.1589 0.3986 -1 1 2 1 0.3032 0.01672 0.01576 0.01679 0.02932 1 0.000002463 0.06819 0.03316 0.03218 0.1794 10.68 2.828 0.2045 0.4293 1 1 0 0 0.02487 0 0 0.1566 json
t2_x7_u0_b5 2 7 0 5 mod(R,D) 106 16524014 o2(x,x) true 855 855 -0.006161 0.4759 0.09044 0.01497 0.1224 -0.456 0.4355 0.8915 1 2.997 0.006824 0.0002258 0.06342 0.9359 1 -0.00001868 0.01816 0.09708 0.003027 0.05502 0.8674 0.39 0.4708 1.213 1 1 0 0 0.005404 0 0 0.3609 json
t2_x7_u0_b6 2 7 0 6 lrg(R,D) 107 16524015 o2(x,x) true 863 863 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 0 0.02456 0 0 0.1675 json
t2_x7_u0_b7 2 7 0 7 eql(R,D) 108 16524016 o2(x,x) true 871 871 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 0 0 0 json
t2_x7_u0_b8 2 7 0 8 min(R,D) 109 16524017 o2(x,x) true 879 879 -0.2802 0.1663 0.3076 0.07392 0.2719 -0.9989 0.1454 1.144 1 4.044 0.001754 0.001001 0.04511 0.2733 1 0.00002083 0.0002816 0.01333 0.00072 0.02683 0.5948 0.1528 0.03727 0.003809 1 1 0 0 0.005139 0 0 0.06952 json
t2_x7_u0_b9 2 7 0 9 dot(R,D) 110 16524018 o2(x,x) true 887 887 0.004186 0.519 0.1403 0.03119 0.1766 -0.5259 0.5965 1.122 1 3.548 0.001025 0.001036 0.04104 -0.005293 1 -0.0001214 0.0002066 0.0116 0.0003766 0.01941 0.4729 0.1246 0.06608 0.006623 1 1 0 0 0.003983 0 0 0.1277 json
t2_x7_u0_b10 2 7 0 10 dst(R,D) 111 16524019 o2(x,x) true 895 895 0.9181 1 0.9181 0.01978 0.1406 0.07175 1 0.9282 1 1.861 0.0006824 0.0007622 0.02203 -0.05522 1 -0.00004027 0.0004199 0.009976 0.000959 0.03097 1.406 0.1814 0.07303 0.02123 1 1 0 0 0.002532 0 0 0.128 json
t2_x8_u0_b0 2 8 0 0 add(R,R) 112 16564410 o2(x,x) true 903 903 0.01372 0.4984 0.659 0.5457 0.7387 -1 1 2 1 4.408 0.008726 0.009756 0.09338 -0.05568 1 0.00002908 0.003164 0.02873 0.009763 0.09881 1.058 0.4602 0.03387 0.005798 1 1 0 0 0.03624 0 0 0.06641 json
t2_x8_u0_b1 2 8 0 1 sub(R,R) 113 16564411 o2(x,x) true 911 911 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
t2_x8_u0_b2 2 8 0 2 mlt(R,R) 114 16564412 o2(x,x) true 919 919 0.3495 0.9999 0.3495 0.05762 0.24 0.00007718 0.9979 0.9979 1 3.768 0.0007428 0.0008028 0.03156 -0.03877 1 1.602e-7 0.00009378 0.007378 0.0005496 0.02344 0.7428 0.1117 0.02682 0.001628 1 1 0 0 0.002725 0 0 0.0473 json
t2_x8_u0_b3 2 8 0 3 div(R,R) 115 16564413 o2(x,x) true 927 927 1 1 1 6.881e-16 2.623e-8 1 1 5.96e-8 1 0 7.815e-17 6.691e-17 2.325e-9 0.00001124 0 6.889e-9 1.65e-15 6.919e-9 1.396e-16 1.181e-8 5.081 8.429e-8 0.0001451 0.00165 0 1 0 0 1.618e-16 0 0 0.0001618 json
t2_x8_u0_b4 2 8 0 4 pow(R,R) 116 16564414 o2(x,x) true 935 935 -0.9235 0.04297 0.9906 0.1306 0.3614 -1 0.9461 1.946 1 0.3372 0.01332 0.01296 0.0151 0.0136 1 0.000003032 0.05494 0.02962 0.02607 0.1615 10.7 2.664 0.2013 0.4207 1 1 0 0 0.0201 0 0 0.1539 json
t2_x8_u0_b5 2 8 0 5 mod(R,R) 117 16564415 o2(x,x) true 943 943 -0.01621 0.2374 0.09644 0.04024 0.2006 -0.9675 0.9558 1.923 1 2.738 0.0006146 0.0005535 0.01871 0.05227 1 -0.0000106 0.00006938 0.004372 0.0008183 0.02861 1.529 0.2163 0.02903 0.001724 1 1 0 0 0.002918 0 0 0.0725 json
t2_x8_u0_b6 2 8 0 6 lrg(R,R) 118 16564416 o2(x,x) true 951 951 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
t2_x8_u0_b7 2 8 0 7 eql(R,R) 119 16564417 o2(x,x) true 959 959 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
t2_x8_u0_b8 2 8 0 8 min(R,R) 120 16564418 o2(x,x) true 967 967 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0 0 0.01182 0 0 0.05384 json
t2_x8_u0_b9 2 8 0 9 dot(R,R) 121 16564419 o2(x,x) true 975 975 0.8438 1 0.8438 0.04935 0.2222 0.0102 1 0.9898 1 2.51 0.0008588 0.001103 0.02548 -0.1246 1 -0.00003928 0.0004481 0.009809 0.001312 0.03623 1.422 0.2044 0.03976 0.009079 1 1 0 0 0.003389 0 0 0.06866 json
t2_x8_u0_b10 2 8 0 10 dst(R,R) 122 16564420 o2(x,x) true 983 983 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
t3_x0_u0_b0 3 0 0 0 sqt(sqt(P)) 123 24361803 o1(o1(x)) true 991 991 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0 0 0.006228 0 0 0.006485 json
t3_x0_u1_b0 3 0 1 0 sqt(log(P)) 124 24362004 o1(o1(x)) true 999 999 -0.1659 0.4375 0.9591 0.9184 0.9584 -1 1 2 1 1.612 0.004229 0 0.007936 1 1 -4.693e-13 0.007909 0.008863 0.004165 0.06453 8.131 1 0.004604 0.008611 1 1 0 0 0.005972 0 0 0.006502 json
t3_x0_u2_b0 3 0 2 0 sqt(frc(P)) 125 24362205 o1(o1(x)) true 1007 1007 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
t3_x0_u3_b0 3 0 3 0 sqt(flr(P)) 126 24362406 o1(o1(x)) true 1015 1015 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0 0 0.006228 0 0 0.006485 json
t3_x0_u4_b0 3 0 4 0 sqt(cil(P)) 127 24362607 o1(o1(x)) true 1023 1023 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0 0 0.006228 0 0 0.006485 json
t3_x0_u5_b0 3 0 5 0 sqt(sgn(P)) 128 24362808 o1(o1(x)) true 1031 1031 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0 0 0.006228 0 0 0.006485 json
t3_x0_u6_b0 3 0 6 0 sqt(nrm(P)) 129 24363009 o1(o1(x)) true 1039 1039 -0.132 0.4922 0.8836 0.8059 0.8977 -1 1 2 1 2.62 0.005424 0.001074 0.009065 0.6694 1 -0.000001417 0.01305 0.01111 0.006418 0.08011 8.838 2.603 0.008063 0.01619 1 1 0 0 0.00985 0 0 0.01222 json
t3_x0_u7_b0 3 0 7 0 log(sqt(P)) 130 24363210 o1(o1(x)) true 1047 1047 -0.2645 0.4375 0.8605 0.7289 0.8537 -1 1 2 1 2.539 0.004043 0 0.007936 1 1 -4.406e-9 0.007922 0.008872 0.003979 0.06308 7.949 1 0.005547 0.01087 1 1 0 0 0.005464 0 0 0.007497 json
t3_x0_u8_b0 3 0 8 0 log(log(P)) 131 24363411 o1(o1(x)) true 1055 1055 -0.4795 0.332 0.7903 0.4844 0.696 -1 0.7321 1.732 1 2.357 0.001703 0 0.006871 1 1 0.000005963 0.003175 0.006013 0.001655 0.04068 5.921 0.6336 0.003516 0.006556 1 1 0 0 0.002401 0 0 0.004957 json
t3_x0_u9_b0 3 0 9 0 log(frc(P)) 132 24363612 o1(o1(x)) true 1063 1063 -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
t3_x0_u10_b0 3 0 10 0 log(flr(P)) 133 24363813 o1(o1(x)) true 1071 1071 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0 0 0.005854 0 0 0.006466 json
t3_x0_u11_b0 3 0 11 0 log(cil(P)) 134 24364014 o1(o1(x)) true 1079 1079 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0 0 0.005854 0 0 0.006466 json
t3_x0_u12_b0 3 0 12 0 log(sgn(P)) 135 24364215 o1(o1(x)) true 1087 1087 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 0.9887 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0 0 0.005263 0 0 0.02139 json
t3_x0_u13_b0 3 0 13 0 log(nrm(P)) 136 24364416 o1(o1(x)) true 1095 1095 -0.7292 0 0.7292 0.1416 0.3763 -1 -0.000002256 1 1 2.32 0.000524 0.00003383 0.004906 0.8787 1 -0.00000173 0.0009385 0.002274 0.0005336 0.0231 4.708 0.9999 0.003939 0.006627 1 1 0 0 0.001082 0 0 0.00764 json
t3_x0_u14_b0 3 0 14 0 frc(sqt(P)) 137 24364617 o1(o1(x)) true 1103 1103 -0.3193 0.4336 0.6808 0.4992 0.7065 -1 0.8284 1.828 1 2.734 0.004315 0 0.01306 1 1 0.00001641 0.007952 0.01004 0.004143 0.06437 4.929 1 0.008644 0.01593 1 1 0 0 0.006105 0 0 0.01223 json
t3_x0_u15_b0 3 0 15 0 frc(log(P)) 138 24364818 o1(o1(x)) true 1111 1111 -0.3397 0.4375 0.7853 0.5935 0.7704 -1 0.9459 1.946 1 2.696 0.004596 0 0.01585 1 1 -0.00007785 0.00793 0.0106 0.004342 0.0659 4.157 1 0.007743 0.01336 1 1 0 0 0.006215 0 0 0.01047 json
t3_x0_u16_b0 3 0 16 0 frc(frc(P)) 139 24365019 o1(o1(x)) true 1119 1119 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
t3_x0_u17_b0 3 0 17 0 frc(flr(P)) 140 24365220 o1(o1(x)) true 1127 1127 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
t3_x0_u18_b0 3 0 18 0 frc(cil(P)) 141 24365421 o1(o1(x)) true 1135 1135 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
t3_x0_u19_b0 3 0 19 0 frc(sgn(P)) 142 24365622 o1(o1(x)) true 1143 1143 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
t3_x0_u20_b0 3 0 20 0 frc(nrm(P)) 143 24365823 o1(o1(x)) true 1151 1151 0.4336 0.9771 0.4648 0.1246 0.353 -1 1 2 1 4.008 0.001944 0.001789 0.01472 0.04142 1 -0.000005705 0.006828 0.007668 0.003517 0.0593 4.027 2.414 0.02996 0.0548 1 1 0 0 0.007005 0 0 0.05622 json
t3_x0_u21_b0 3 0 21 0 flr(sqt(P)) 144 24366024 o1(o1(x)) true 1159 1159 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0 0 0.006228 0 0 0.006485 json
t3_x0_u22_b0 3 0 22 0 flr(log(P)) 145 24366225 o1(o1(x)) true 1167 1167 -0.2188 0.375 0.9063 0.851 0.9225 -1 1 2 1 1.585 0.004321 0 0.007937 1 1 -4.731e-10 0.007953 0.008864 0.004257 0.06525 8.221 1 0.005078 0.009345 1 1 0 0 0.006189 0 0 0.007272 json
t3_x0_u23_b0 3 0 23 0 flr(frc(P)) 146 24366426 o1(o1(x)) true 1175 1175 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
t3_x0_u24_b0 3 0 24 0 flr(flr(P)) 147 24366627 o1(o1(x)) true 1183 1183 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0 0 0.001851 0 0 0.002003 json
t3_x0_u25_b0 3 0 25 0 flr(cil(P)) 148 24366828 o1(o1(x)) true 1191 1191 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0 0 0.001851 0 0 0.002003 json
t3_x0_u26_b0 3 0 26 0 flr(sgn(P)) 149 24367029 o1(o1(x)) true 1199 1199 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0 0 0.001851 0 0 0.002003 json
t3_x0_u27_b0 3 0 27 0 flr(nrm(P)) 150 24367230 o1(o1(x)) true 1207 1207 -0.4648 0.04517 0.4961 0.2694 0.519 -1 0.9997 2 1 1.644 0.001584 0.0008556 0.007582 0.2984 1 0.000005705 0.003914 0.004449 0.002383 0.04882 6.439 2 0.009055 0.01453 1 1 0 0 0.004802 0 0 0.01782 json
t3_x0_u28_b0 3 0 28 0 cil(sqt(P)) 151 24367431 o1(o1(x)) true 1215 1215 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0 0 0.006228 0 0 0.006485 json
t3_x0_u29_b0 3 0 29 0 cil(log(P)) 152 24367632 o1(o1(x)) true 1223 1223 -0.1563 0.4375 0.9688 0.9369 0.9679 -1 1 2 1 1.385 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004615 0.008435 1 1 0 0 0.006228 0 0 0.006647 json
t3_x0_u30_b0 3 0 30 0 cil(frc(P)) 153 24367833 o1(o1(x)) true 1231 1231 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
t3_x0_u31_b0 3 0 31 0 cil(flr(P)) 154 24368034 o1(o1(x)) true 1239 1239 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0 0 0.001851 0 0 0.002003 json
t3_x0_u32_b0 3 0 32 0 cil(cil(P)) 155 24368235 o1(o1(x)) true 1247 1247 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0 0 0.001851 0 0 0.002003 json
t3_x0_u33_b0 3 0 33 0 cil(sgn(P)) 156 24368436 o1(o1(x)) true 1255 1255 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0 0 0.001851 0 0 0.002003 json
t3_x0_u34_b0 3 0 34 0 cil(nrm(P)) 157 24368637 o1(o1(x)) true 1263 1263 0.4336 0.4922 0.4961 0.2975 0.5454 -1 1 2 1 1.759 0.002591 0.001863 0.00855 0.1634 1 -0.000005705 0.008197 0.006464 0.004377 0.06616 7.738 2.828 0.01497 0.02755 1 1 0 0 0.008347 0 0 0.02806 json
t3_x0_u35_b0 3 0 35 0 sgn(sqt(P)) 158 24368838 o1(o1(x)) true 1271 1271 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0 0 0.001851 0 0 0.002003 json
t3_x0_u36_b0 3 0 36 0 sgn(log(P)) 159 24369039 o1(o1(x)) true 1279 1279 -0.125 0.4375 0.9375 0.9084 0.9531 -1 1 2 1 1.8 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007771 0.00003562 1 1 0 0 0.001851 0 0 0.002038 json
t3_x0_u37_b0 3 0 37 0 sgn(frc(P)) 160 24369240 o1(o1(x)) true 1287 1287 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
t3_x0_u38_b0 3 0 38 0 sgn(flr(P)) 161 24369441 o1(o1(x)) true 1295 1295 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0 0 0.001851 0 0 0.002003 json
t3_x0_u39_b0 3 0 39 0 sgn(cil(P)) 162 24369642 o1(o1(x)) true 1303 1303 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0 0 0.001851 0 0 0.002003 json
t3_x0_u40_b0 3 0 40 0 sgn(sgn(P)) 163 24369843 o1(o1(x)) true 1311 1311 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0 0 0.001851 0 0 0.002003 json
t3_x0_u41_b0 3 0 41 0 sgn(nrm(P)) 164 24370044 o1(o1(x)) true 1319 1319 -0.003906 0.4973 0.94 0.9263 0.9625 -1 1 2 1 1.811 0.000741 0.00003512 0.008207 0.9095 1 3.754e-12 0.00003657 0.001903 0.000709 0.02663 3.244 0.2338 0.0008378 0.00003948 1 1 0 0 0.002095 0 0 0.002262 json
t3_x0_u42_b0 3 0 42 0 nrm(sqt(P)) 165 24370245 o1(o1(x)) true 1327 1327 -0.178 0.4919 0.8377 0.7206 0.8489 -1 1 2 1 2.752 0.005278 0.00097 0.008939 0.6895 1 -5.533e-7 0.01255 0.01097 0.00617 0.07855 8.787 2.414 0.008671 0.01742 1 1 0 0 0.009386 0 0 0.01303 json
t3_x0_u43_b0 3 0 43 0 nrm(log(P)) 166 24370446 o1(o1(x)) true 1335 1335 -0.7813 0 0.7813 0.1709 0.4134 -1 0 1 1 0.7579 0.001984 0.001732 0.003716 0.0678 1 0 0.007464 0.007433 0.003703 0.06085 16.37 1 0.02175 0.04368 1 1 0 0 0.00482 0 0 0.0282 json
t3_x0_u44_b0 3 0 44 0 nrm(frc(P)) 167 24370647 o1(o1(x)) true 1343 1343 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
t3_x0_u45_b0 3 0 45 0 nrm(flr(P)) 168 24370848 o1(o1(x)) true 1351 1351 -0.01562 0.4896 0.6504 0.5048 0.7105 -1 1 2 1 4.761 0.001863 0.00124 0.0104 0.2009 1 3.065e-10 0.00612 0.00575 0.002995 0.05473 5.261 2.414 0.006147 0.01212 1 1 0 0 0.005637 0 0 0.01117 json
t3_x0_u46_b0 3 0 46 0 nrm(cil(P)) 169 24371049 o1(o1(x)) true 1359 1359 -0.01562 0.4896 0.6504 0.5048 0.7105 -1 1 2 1 4.761 0.001863 0.00124 0.0104 0.2009 1 3.065e-10 0.00612 0.00575 0.002995 0.05473 5.261 2.414 0.006147 0.01212 1 1 0 0 0.005637 0 0 0.01117 json
t3_x0_u47_b0 3 0 47 0 nrm(sgn(P)) 170 24371250 o1(o1(x)) true 1367 1367 -0.01563 0.4922 0.689 0.5006 0.7075 -1 0.9999 2 1 2.328 0.002062 0.001258 0.008899 0.2422 1 -2.652e-11 0.006131 0.005634 0.00324 0.05692 6.396 2.414 0.006633 0.01225 1 1 0 0 0.006108 0 0 0.0122 json
t3_x0_u48_b0 3 0 48 0 nrm(nrm(P)) 171 24371451 o1(o1(x)) true 1375 1375 -0.01562 0.4896 0.6504 0.5048 0.7105 -1 1 2 1 4.761 0.001863 0.00124 0.0104 0.2009 1 1.732e-10 0.00612 0.00575 0.002995 0.05473 5.261 2.414 0.006147 0.01212 1 1 0 0 0.005637 0 0 0.01117 json
t3_x1_u0_b0 3 1 0 0 sqt(sqt(D)) 172 24402204 o1(o1(x)) true 1383 1383 -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
t3_x1_u1_b0 3 1 1 0 sqt(log(D)) 173 24402405 o1(o1(x)) true 1391 1391 -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
t3_x1_u2_b0 3 1 2 0 sqt(frc(D)) 174 24402606 o1(o1(x)) true 1399 1399 0.6675 1 0.6675 0.05439 0.2332 0.1768 0.9843 0.8075 1 3.5 0.04209 0 0.09833 1 1 -0.0002209 0.09434 0.1118 0.03241 0.18 1.831 0.8075 0.7738 1.735 1 1 0 0 0.03769 0 0 0.6929 json
t3_x1_u3_b0 3 1 3 0 sqt(flr(D)) 175 24402807 o1(o1(x)) true 1407 1407 -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
t3_x1_u4_b0 3 1 4 0 sqt(cil(D)) 176 24403008 o1(o1(x)) true 1415 1415 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 0 0.07073 0 0 0.4989 json
t3_x1_u5_b0 3 1 5 0 sqt(sgn(D)) 177 24403209 o1(o1(x)) true 1423 1423 -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
t3_x1_u6_b0 3 1 6 0 sqt(nrm(D)) 178 24403410 o1(o1(x)) true 1431 1431 -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
t3_x1_u7_b0 3 1 7 0 log(sqt(D)) 179 24403611 o1(o1(x)) true 1439 1439 -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
t3_x1_u8_b0 3 1 8 0 log(log(D)) 180 24403812 o1(o1(x)) true 1447 1447 -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
t3_x1_u9_b0 3 1 9 0 log(frc(D)) 181 24404013 o1(o1(x)) true 1455 1455 -0.6319 0 0.6319 0.1285 0.3585 -1 -0.03175 0.9683 1 3.031 0.06207 0 0.1188 1 1 0.0002836 0.1204 0.1332 0.04794 0.219 1.842 0.9683 0.4831 0.9366 1 1 0 0 0.06464 0 0 0.5031 json
t3_x1_u10_b0 3 1 10 0 log(flr(D)) 182 24404214 o1(o1(x)) true 1463 1463 -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
t3_x1_u11_b0 3 1 11 0 log(cil(D)) 183 24404415 o1(o1(x)) true 1471 1471 -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
t3_x1_u12_b0 3 1 12 0 log(sgn(D)) 184 24404616 o1(o1(x)) true 1479 1479 -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
t3_x1_u13_b0 3 1 13 0 log(nrm(D)) 185 24404817 o1(o1(x)) true 1487 1487 -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
t3_x1_u14_b0 3 1 14 0 frc(sqt(D)) 186 24405018 o1(o1(x)) true 1495 1495 -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
t3_x1_u15_b0 3 1 15 0 frc(log(D)) 187 24405219 o1(o1(x)) true 1503 1503 -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
t3_x1_u16_b0 3 1 16 0 frc(frc(D)) 188 24405420 o1(o1(x)) true 1511 1511 0.5 1 0.5 0.08301 0.2881 0.03125 0.9688 0.9375 1 4 0.05599 0 0.1146 1 1 0 0.119 0.119 0.04284 0.207 1.806 0.9375 0.6745 1.434 1 1 0 0 0.05321 0 0 0.641 json
t3_x1_u17_b0 3 1 17 0 frc(flr(D)) 189 24405621 o1(o1(x)) true 1519 1519 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
t3_x1_u18_b0 3 1 18 0 frc(cil(D)) 190 24405822 o1(o1(x)) true 1527 1527 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
t3_x1_u19_b0 3 1 19 0 frc(sgn(D)) 191 24406023 o1(o1(x)) true 1535 1535 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
t3_x1_u20_b0 3 1 20 0 frc(nrm(D)) 192 24406224 o1(o1(x)) true 1543 1543 0.5 1 0.5 0.04728 0.2174 0.04881 0.9512 0.9024 1 3.702 0.04199 0.006951 0.143 0.7159 1 4.702e-10 0.1152 0.1472 0.0285 0.1688 1.181 0.8738 1.035 2.437 1 1 0 0 0.04676 0 0 0.989 json
t3_x1_u21_b0 3 1 21 0 flr(sqt(D)) 193 24406425 o1(o1(x)) true 1551 1551 -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
t3_x1_u22_b0 3 1 22 0 flr(log(D)) 194 24406626 o1(o1(x)) true 1559 1559 -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
t3_x1_u23_b0 3 1 23 0 flr(frc(D)) 195 24406827 o1(o1(x)) true 1567 1567 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
t3_x1_u24_b0 3 1 24 0 flr(flr(D)) 196 24407028 o1(o1(x)) true 1575 1575 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 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 0 0.07073 0 0 0.4989 json
t3_x1_u25_b0 3 1 25 0 flr(cil(D)) 197 24407229 o1(o1(x)) true 1583 1583 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 0 0.07073 0 0 0.4989 json
t3_x1_u26_b0 3 1 26 0 flr(sgn(D)) 198 24407430 o1(o1(x)) true 1591 1591 -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 0 0.2829 0 0 0.4989 json
t3_x1_u27_b0 3 1 27 0 flr(nrm(D)) 199 24407631 o1(o1(x)) true 1599 1599 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 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 0 0.07073 0 0 0.4989 json