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
t9_x0_u17_b0 9 0 17 0 sqt(frc(flr(P))) 8900 73088826 o1(o1(o1(x))) true 71207 71207 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
t9_x0_u18_b0 9 0 18 0 sqt(frc(cil(P))) 8901 73089027 o1(o1(o1(x))) true 71215 71215 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
t9_x0_u19_b0 9 0 19 0 sqt(frc(sgn(P))) 8902 73089228 o1(o1(o1(x))) true 71223 71223 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
t9_x0_u20_b0 9 0 20 0 sqt(frc(nrm(P))) 8903 73089429 o1(o1(o1(x))) true 71231 71231 0.5776 0.9832 0.6088 0.1196 0.3458 -1 1 2 1 3.945 0.002308 0.002082 0.01557 0.05151 1 -0.000007382 0.008009 0.008249 0.004149 0.06441 4.136 2.603 0.03672 0.06698 1 1 0 0 0.008285 0 0 0.06929 json
t9_x0_u21_b0 9 0 21 0 sqt(flr(sqt(P))) 8904 73089630 o1(o1(o1(x))) true 71239 71239 -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
t9_x0_u22_b0 9 0 22 0 sqt(flr(log(P))) 8905 73089831 o1(o1(o1(x))) true 71247 71247 -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
t9_x0_u23_b0 9 0 23 0 sqt(flr(frc(P))) 8906 73090032 o1(o1(o1(x))) true 71255 71255 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
t9_x0_u24_b0 9 0 24 0 sqt(flr(flr(P))) 8907 73090233 o1(o1(o1(x))) true 71263 71263 -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
t9_x0_u25_b0 9 0 25 0 sqt(flr(cil(P))) 8908 73090434 o1(o1(o1(x))) true 71271 71271 -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
t9_x0_u26_b0 9 0 26 0 sqt(flr(sgn(P))) 8909 73090635 o1(o1(o1(x))) true 71279 71279 -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
t9_x0_u27_b0 9 0 27 0 sqt(flr(nrm(P))) 8910 73090836 o1(o1(o1(x))) true 71287 71287 -0.4922 0.04517 0.5234 0.2764 0.5258 -1 0.9997 2 1 1.278 0.00474 0.0006582 0.007343 0.7561 1 0.000005704 0.01049 0.01007 0.005348 0.07313 9.959 2 0.01953 0.03795 1 1 0 0 0.008061 0 0 0.02916 json
t9_x0_u28_b0 9 0 28 0 sqt(cil(sqt(P))) 8911 73091037 o1(o1(o1(x))) true 71295 71295 -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
t9_x0_u29_b0 9 0 29 0 sqt(cil(log(P))) 8912 73091238 o1(o1(o1(x))) true 71303 71303 -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
t9_x0_u30_b0 9 0 30 0 sqt(cil(frc(P))) 8913 73091439 o1(o1(o1(x))) true 71311 71311 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
t9_x0_u31_b0 9 0 31 0 sqt(cil(flr(P))) 8914 73091640 o1(o1(o1(x))) true 71319 71319 -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
t9_x0_u32_b0 9 0 32 0 sqt(cil(cil(P))) 8915 73091841 o1(o1(o1(x))) true 71327 71327 -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
t9_x0_u33_b0 9 0 33 0 sqt(cil(sgn(P))) 8916 73092042 o1(o1(o1(x))) true 71335 71335 -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
t9_x0_u34_b0 9 0 34 0 sqt(cil(nrm(P))) 8917 73092243 o1(o1(o1(x))) true 71343 71343 0.4023 0.4922 0.5273 0.3597 0.5998 -1 1 2 1 1.566 0.003332 0.00467 0.009657 -0.1672 1 -7.265e-10 0.01578 0.01327 0.007907 0.08892 9.208 2.828 0.02224 0.04388 1 1 0 0 0.0117 0 0 0.03252 json
t9_x0_u35_b0 9 0 35 0 sqt(sgn(sqt(P))) 8918 73092444 o1(o1(o1(x))) true 71351 71351 -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
t9_x0_u36_b0 9 0 36 0 sqt(sgn(log(P))) 8919 73092645 o1(o1(o1(x))) true 71359 71359 -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
t9_x0_u37_b0 9 0 37 0 sqt(sgn(frc(P))) 8920 73092846 o1(o1(o1(x))) true 71367 71367 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
t9_x0_u38_b0 9 0 38 0 sqt(sgn(flr(P))) 8921 73093047 o1(o1(o1(x))) true 71375 71375 -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
t9_x0_u39_b0 9 0 39 0 sqt(sgn(cil(P))) 8922 73093248 o1(o1(o1(x))) true 71383 71383 -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
t9_x0_u40_b0 9 0 40 0 sqt(sgn(sgn(P))) 8923 73093449 o1(o1(o1(x))) true 71391 71391 -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
t9_x0_u41_b0 9 0 41 0 sqt(sgn(nrm(P))) 8924 73093650 o1(o1(o1(x))) true 71399 71399 -0.04297 0.4922 0.9727 0.9641 0.9819 -1 1 2 1 1.363 0.00579 0.001205 0.008659 0.6554 1 -4.224e-11 0.01366 0.01121 0.006915 0.08316 9.604 2.828 0.007256 0.01417 1 1 0 0 0.01084 0 0 0.01125 json
t9_x0_u42_b0 9 0 42 0 sqt(nrm(sqt(P))) 8925 73093851 o1(o1(o1(x))) true 71407 71407 -0.119 0.4922 0.8967 0.8208 0.906 -1 1 2 1 2.457 0.00547 0.001071 0.008837 0.6726 1 -5.299e-7 0.01304 0.01108 0.006466 0.08041 9.099 2.603 0.007969 0.01589 1 1 0 0 0.00995 0 0 0.01212 json
t9_x0_u43_b0 9 0 43 0 sqt(nrm(log(P))) 8926 73094052 o1(o1(o1(x))) true 71415 71415 -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
t9_x0_u44_b0 9 0 44 0 sqt(nrm(frc(P))) 8927 73094253 o1(o1(o1(x))) true 71423 71423 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
t9_x0_u45_b0 9 0 45 0 sqt(nrm(flr(P))) 8928 73094454 o1(o1(o1(x))) true 71431 71431 -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
t9_x0_u46_b0 9 0 46 0 sqt(nrm(cil(P))) 8929 73094655 o1(o1(o1(x))) true 71439 71439 -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
t9_x0_u47_b0 9 0 47 0 sqt(nrm(sgn(P))) 8930 73094856 o1(o1(o1(x))) true 71447 71447 -0.1126 0.4922 0.9029 0.8279 0.9099 -1 1 2 1 1.574 0.005544 0.001075 0.008582 0.6752 1 -2.001e-9 0.01304 0.01106 0.006541 0.08088 9.424 2.603 0.007996 0.01575 1 1 0 0 0.01012 0 0 0.01222 json
t9_x0_u48_b0 9 0 48 0 sqt(nrm(nrm(P))) 8931 73095057 o1(o1(o1(x))) true 71455 71455 -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
t9_x0_u49_b0 9 0 49 0 log(sqt(sqt(P))) 8932 73095258 o1(o1(o1(x))) true 71463 71463 -0.413 0.4336 0.712 0.4514 0.6718 -1 0.5199 1.52 1 2.264 0.003987 0 0.00603 1 1 0.000002997 0.007928 0.008405 0.00395 0.06285 10.42 1 0.008834 0.01756 1 1 0 0 0.005317 0 0 0.01178 json
t9_x0_u50_b0 9 0 50 0 log(sqt(log(P))) 8933 73095459 o1(o1(o1(x))) true 71471 71471 -0.5522 0.332 0.7077 0.3424 0.5851 -1 0.366 1.366 1 2.018 0.002675 0 0.00542 1 1 0.000002982 0.005286 0.006975 0.002646 0.05144 9.491 0.8168 0.007813 0.01544 1 1 0 0 0.003588 0 0 0.01048 json
t9_x0_u51_b0 9 0 51 0 log(sqt(frc(P))) 8934 73095660 o1(o1(o1(x))) true 71479 71479 -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
t9_x0_u52_b0 9 0 52 0 log(sqt(flr(P))) 8935 73095861 o1(o1(o1(x))) true 71487 71487 -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
t9_x0_u53_b0 9 0 53 0 log(sqt(cil(P))) 8936 73096062 o1(o1(o1(x))) true 71495 71495 -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
t9_x0_u54_b0 9 0 54 0 log(sqt(sgn(P))) 8937 73096263 o1(o1(o1(x))) true 71503 71503 -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
t9_x0_u55_b0 9 0 55 0 log(sqt(nrm(P))) 8938 73096464 o1(o1(o1(x))) true 71511 71511 -0.6547 0 0.6547 0.173 0.4159 -1 -0.000001128 1 1 2.349 0.0009612 0.00001038 0.004513 0.9786 1 -0.000002295 0.001847 0.003568 0.0009509 0.03084 6.833 0.9999 0.005617 0.01068 1 1 0 0 0.001732 0 0 0.01001 json
t9_x0_u56_b0 9 0 56 0 log(log(sqt(P))) 8939 73096665 o1(o1(o1(x))) true 71519 71519 -0.7387 0.03516 0.7405 0.1455 0.3814 -1 0.03893 1.039 1 2.181 0.0001042 0 0.004121 1 1 0.000005961 0.000008676 0.001009 0.00008723 0.00934 2.266 0.05383 0.0007162 0.00005963 1 1 0 0 0.0002603 0 0 0.001789 json
t9_x0_u57_b0 9 0 57 0 log(log(log(P))) 8940 73096866 o1(o1(o1(x))) true 71527 71527 -0.8982 0 0.8982 0.04262 0.2065 -1 -0.3119 0.6881 1 1.428 0.00006009 0 0.002728 1 0 0.000008536 0.000008052 0.0007375 0.00005262 0.007254 2.659 0.04399 0.00141 0.0001889 1 1 0 0 0.0001295 0 0 0.003038 json
t9_x0_u58_b0 9 0 58 0 log(log(frc(P))) 8941 73097067 o1(o1(o1(x))) true 71535 71535 -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
t9_x0_u59_b0 9 0 59 0 log(log(flr(P))) 8942 73097268 o1(o1(o1(x))) true 71543 71543 -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
t9_x0_u60_b0 9 0 60 0 log(log(cil(P))) 8943 73097469 o1(o1(o1(x))) true 71551 71551 -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
t9_x0_u61_b0 9 0 61 0 log(log(sgn(P))) 8944 73097670 o1(o1(o1(x))) true 71559 71559 -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
t9_x0_u62_b0 9 0 62 0 log(log(nrm(P))) 8945 73097871 o1(o1(o1(x))) true 71567 71567 -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
t9_x0_u63_b0 9 0 63 0 log(frc(sqt(P))) 8946 73098072 o1(o1(o1(x))) true 71575 71575 -0.9045 0 0.9045 0.04482 0.2117 -1 -0.1883 0.8117 1 1.446 0.002152 0 0.008674 1 1 0.00002238 0.003909 0.007883 0.002077 0.04558 5.254 0.6879 0.04801 0.0872 1 1 0 0 0.002938 0 0 0.06554 json
t9_x0_u64_b0 9 0 64 0 log(frc(log(P))) 8947 73098273 o1(o1(o1(x))) true 71583 71583 -0.8599 0 0.8599 0.07891 0.2809 -1 -0.05566 0.9443 1 1.609 0.002739 0 0.01252 1 1 -1.419e-9 0.003607 0.009649 0.002583 0.05082 4.06 0.6329 0.03471 0.04571 1 1 0 0 0.003177 0 0 0.04026 json
t9_x0_u65_b0 9 0 65 0 log(frc(frc(P))) 8948 73098474 o1(o1(o1(x))) true 71591 71591 -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
t9_x0_u66_b0 9 0 66 0 log(frc(flr(P))) 8949 73098675 o1(o1(o1(x))) true 71599 71599 -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
t9_x0_u67_b0 9 0 67 0 log(frc(cil(P))) 8950 73098876 o1(o1(o1(x))) true 71607 71607 -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
t9_x0_u68_b0 9 0 68 0 log(frc(sgn(P))) 8951 73099077 o1(o1(o1(x))) true 71615 71615 -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
t9_x0_u69_b0 9 0 69 0 log(frc(nrm(P))) 8952 73099278 o1(o1(o1(x))) true 71623 71623 -0.7162 0 0.7162 0.1222 0.3495 -1 -0.000003 1 1 2.803 0.002896 0.002642 0.01304 0.04584 1 0.000003584 0.01092 0.01415 0.00537 0.07328 5.619 1.395 0.04533 0.08941 1 1 0 0 0.006545 0 0 0.05357 json
t9_x0_u70_b0 9 0 70 0 log(flr(sqt(P))) 8953 73099479 o1(o1(o1(x))) true 71631 71631 -0.3675 0.3125 0.7573 0.5593 0.7479 -1 0.6931 1.693 1 1.674 0.004138 0 0.006719 1 1 -2.365e-10 0.007944 0.008579 0.004093 0.06398 9.522 1 0.007398 0.0142 1 1 0 0 0.005708 0 0 0.01021 json
t9_x0_u71_b0 9 0 71 0 log(flr(log(P))) 8954 73099680 o1(o1(o1(x))) true 71639 71639 -0.6658 0.0625 0.7091 0.2558 0.5058 -1 0.6929 1.693 1 1.239 0.004138 0 0.006699 1 1 0.00006227 0.007944 0.008517 0.004093 0.06398 9.55 1 0.01617 0.03105 1 1 0 0 0.005263 0 0 0.02057 json
t9_x0_u72_b0 9 0 72 0 log(flr(frc(P))) 8955 73099881 o1(o1(o1(x))) true 71647 71647 -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
t9_x0_u73_b0 9 0 73 0 log(flr(flr(P))) 8956 73100082 o1(o1(o1(x))) true 71655 71655 -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
t9_x0_u74_b0 9 0 74 0 log(flr(cil(P))) 8957 73100283 o1(o1(o1(x))) true 71663 71663 -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
t9_x0_u75_b0 9 0 75 0 log(flr(sgn(P))) 8958 73100484 o1(o1(o1(x))) true 71671 71671 -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
t9_x0_u76_b0 9 0 76 0 log(flr(nrm(P))) 8959 73100685 o1(o1(o1(x))) true 71679 71679 -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
t9_x0_u77_b0 9 0 77 0 log(cil(sqt(P))) 8960 73100886 o1(o1(o1(x))) true 71687 71687 -0.2122 0.4375 0.9126 0.8253 0.9084 -1 1 2 1 1.873 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.00892 0.004122 0.0642 8.089 1 0.005072 0.009593 1 1 0 0 0.005854 0 0 0.007093 json
t9_x0_u78_b0 9 0 78 0 log(cil(log(P))) 8961 73101087 o1(o1(o1(x))) true 71695 71695 -0.3756 0.375 0.8742 0.6644 0.8151 -1 1 2 1 1.595 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.00892 0.004122 0.0642 8.089 1 0.006301 0.01192 1 1 0 0 0.005735 0 0 0.008632 json
t9_x0_u79_b0 9 0 79 0 log(cil(frc(P))) 8962 73101288 o1(o1(o1(x))) true 71703 71703 -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
t9_x0_u80_b0 9 0 80 0 log(cil(flr(P))) 8963 73101489 o1(o1(o1(x))) true 71711 71711 -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
t9_x0_u81_b0 9 0 81 0 log(cil(cil(P))) 8964 73101690 o1(o1(o1(x))) true 71719 71719 -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
t9_x0_u82_b0 9 0 82 0 log(cil(sgn(P))) 8965 73101891 o1(o1(o1(x))) true 71727 71727 -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
t9_x0_u83_b0 9 0 83 0 log(cil(nrm(P))) 8966 73102092 o1(o1(o1(x))) true 71735 71735 -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
t9_x0_u84_b0 9 0 84 0 log(sgn(sqt(P))) 8967 73102293 o1(o1(o1(x))) true 71743 71743 -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
t9_x0_u85_b0 9 0 85 0 log(sgn(log(P))) 8968 73102494 o1(o1(o1(x))) true 71751 71751 -0.625 0 0.625 0.2344 0.4841 -1 0 1 1 0.9544 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01693 0.03386 1 1 0 0 0.005263 0 0 0.02246 json
t9_x0_u86_b0 9 0 86 0 log(sgn(frc(P))) 8969 73102695 o1(o1(o1(x))) true 71759 71759 -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
t9_x0_u87_b0 9 0 87 0 log(sgn(flr(P))) 8970 73102896 o1(o1(o1(x))) true 71767 71767 -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
t9_x0_u88_b0 9 0 88 0 log(sgn(cil(P))) 8971 73103097 o1(o1(o1(x))) true 71775 71775 -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
t9_x0_u89_b0 9 0 89 0 log(sgn(sgn(P))) 8972 73103298 o1(o1(o1(x))) true 71783 71783 -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
t9_x0_u90_b0 9 0 90 0 log(sgn(nrm(P))) 8973 73103499 o1(o1(o1(x))) true 71791 71791 -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
t9_x0_u91_b0 9 0 91 0 log(nrm(sqt(P))) 8974 73103700 o1(o1(o1(x))) true 71799 71799 -0.7131 0 0.7131 0.1267 0.356 -1 -0.0000172 1 1 2.539 0.0006586 0.00001717 0.004469 0.9492 1 -0.000001204 0.001262 0.002932 0.0006555 0.0256 5.729 0.9999 0.005332 0.00996 1 1 0 0 0.001223 0 0 0.009651 json
t9_x0_u92_b0 9 0 92 0 log(nrm(log(P))) 8975 73103901 o1(o1(o1(x))) true 71807 71807 -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
t9_x0_u93_b0 9 0 93 0 log(nrm(frc(P))) 8976 73104102 o1(o1(o1(x))) true 71815 71815 -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
t9_x0_u94_b0 9 0 94 0 log(nrm(flr(P))) 8977 73104303 o1(o1(o1(x))) true 71823 71823 -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
t9_x0_u95_b0 9 0 95 0 log(nrm(cil(P))) 8978 73104504 o1(o1(o1(x))) true 71831 71831 -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
t9_x0_u96_b0 9 0 96 0 log(nrm(sgn(P))) 8979 73104705 o1(o1(o1(x))) true 71839 71839 -0.7047 0 0.7047 0.1146 0.3385 -1 -0.0001009 0.9999 1 1.272 0.001832 0.00003701 0.003881 0.9604 1 1.078e-9 0.003667 0.005639 0.001854 0.04306 11.1 0.9999 0.01631 0.032 1 1 0 0 0.002582 0 0 0.02253 json
t9_x0_u97_b0 9 0 97 0 log(nrm(nrm(P))) 8980 73104906 o1(o1(o1(x))) true 71847 71847 -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
t9_x0_u98_b0 9 0 98 0 frc(sqt(sqt(P))) 8981 73105107 o1(o1(o1(x))) true 71855 71855 -0.3158 0.4336 0.6842 0.4934 0.7024 -1 0.6818 1.682 1 2.631 0.003996 0 0.006672 1 1 0.000004959 0.007937 0.008562 0.003952 0.06287 9.423 1 0.0081 0.01609 1 1 0 0 0.005331 0 0 0.0108 json
t9_x0_u99_b0 9 0 99 0 frc(sqt(log(P))) 8982 73105308 o1(o1(o1(x))) true 71863 71863 -0.4199 0.4375 0.7051 0.45 0.6708 -1 0.8323 1.832 1 2.466 0.004444 0 0.01194 1 1 0.000004231 0.007917 0.009753 0.004301 0.06558 5.49 1 0.009877 0.01759 1 1 0 0 0.006534 0 0 0.01452 json
t9_x0_u100_b0 9 0 100 0 frc(sqt(frc(P))) 8983 73105509 o1(o1(o1(x))) true 71871 71871 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
t9_x0_u101_b0 9 0 101 0 frc(sqt(flr(P))) 8984 73105710 o1(o1(o1(x))) true 71879 71879 -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
t9_x0_u102_b0 9 0 102 0 frc(sqt(cil(P))) 8985 73105911 o1(o1(o1(x))) true 71887 71887 -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
t9_x0_u103_b0 9 0 103 0 frc(sqt(sgn(P))) 8986 73106112 o1(o1(o1(x))) true 71895 71895 -0.5 0 0.5 0.25 0.5 -1 0 1 1 1 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01587 0.03175 1 1 0 0 0.005263 0 0 0.02105 json
t9_x0_u104_b0 9 0 104 0 frc(sqt(nrm(P))) 8987 73106313 o1(o1(o1(x))) true 71903 71903 -0.1476 0.4922 0.868 0.7814 0.8839 -1 1 2 1 2.697 0.004702 0.001214 0.01125 0.5895 1 -0.000007121 0.01148 0.01119 0.005788 0.07608 6.761 2.603 0.007571 0.01469 1 1 0 0 0.009085 0 0 0.01163 json
t9_x0_u105_b0 9 0 105 0 frc(log(sqt(P))) 8988 73106514 o1(o1(o1(x))) true 71911 71911 -0.2949 0.4375 0.8302 0.6745 0.8213 -1 0.9729 1.973 1 2.626 0.00435 0 0.01151 1 1 -0.00008385 0.007935 0.0096 0.004218 0.06495 5.645 1 0.006449 0.01176 1 1 0 0 0.005464 0 0 0.008101 json
t9_x0_u106_b0 9 0 106 0 frc(log(log(P))) 8989 73106715 o1(o1(o1(x))) true 71919 71919 -0.4482 0.375 0.8017 0.5212 0.7219 -1 0.7321 1.732 1 2.192 0.01072 0 0.01115 1 1 0.000005964 0.02123 0.01405 0.0106 0.1029 9.232 1.633 0.02058 0.04073 1 1 0 0 0.01436 0 0 0.02755 json
t9_x0_u107_b0 9 0 107 0 frc(log(frc(P))) 8990 73106916 o1(o1(o1(x))) true 71927 71927 -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
t9_x0_u108_b0 9 0 108 0 frc(log(flr(P))) 8991 73107117 o1(o1(o1(x))) true 71935 71935 -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
t9_x0_u109_b0 9 0 109 0 frc(log(cil(P))) 8992 73107318 o1(o1(o1(x))) true 71943 71943 -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
t9_x0_u110_b0 9 0 110 0 frc(log(sgn(P))) 8993 73107519 o1(o1(o1(x))) true 71951 71951 -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
t9_x0_u111_b0 9 0 111 0 frc(log(nrm(P))) 8994 73107720 o1(o1(o1(x))) true 71959 71959 -0.2782 0.4375 0.8468 0.6979 0.8354 -1 1 2 1 2.644 0.008327 0.0002263 0.01423 0.9471 1 0.000006445 0.0163 0.01308 0.008354 0.0914 6.421 1.887 0.01226 0.02335 1 1 0 0 0.01245 0 0 0.01784 json
t9_x0_u112_b0 9 0 112 0 frc(frc(sqt(P))) 8995 73107921 o1(o1(o1(x))) true 71967 71967 -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
t9_x0_u113_b0 9 0 113 0 frc(frc(log(P))) 8996 73108122 o1(o1(o1(x))) true 71975 71975 -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
t9_x0_u114_b0 9 0 114 0 frc(frc(frc(P))) 8997 73108323 o1(o1(o1(x))) true 71983 71983 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
t9_x0_u115_b0 9 0 115 0 frc(frc(flr(P))) 8998 73108524 o1(o1(o1(x))) true 71991 71991 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
t9_x0_u116_b0 9 0 116 0 frc(frc(cil(P))) 8999 73108725 o1(o1(o1(x))) true 71999 71999 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