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
t11_x1_u20_b4 11 1 20 4 frc(pow(P,nrm(D))) 15100 89371036 o1(o2(x,o1(x))) true 120807 120807 -0.3019 0.4375 0.6981 0.5212 0.722 -1 0.9584 1.958 1 2.88 0.02901 0.01314 0.09458 0.3765 1 0.0005755 0.1711 0.1582 0.0332 0.1822 1.927 1.094 0.08088 0.3283 1 1 0 0 0.02685 0 0 0.05152 json
t11_x1_u20_b5 11 1 20 5 frc(mod(P,nrm(D))) 15101 89371037 o1(o2(x,o1(x))) true 120815 120815 0.4687 0.9941 0.4687 0.1075 0.3279 1.761e-7 0.9979 0.9979 1 3.909 0.02797 0.03084 0.1862 -0.04874 1 3.82e-10 0.2714 0.3508 0.02413 0.1553 0.834 0.9004 0.547 2.524 1 1 0 0 0.03657 0 0 0.3401 json
t11_x1_u20_b6 11 1 20 6 frc(lrg(P,nrm(D))) 15102 89371038 o1(o2(x,o1(x))) true 120823 120823 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
t11_x1_u20_b7 11 1 20 7 frc(eql(P,nrm(D))) 15103 89371039 o1(o2(x,o1(x))) true 120831 120831 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
t11_x1_u20_b8 11 1 20 8 frc(min(P,nrm(D))) 15104 89371040 o1(o2(x,o1(x))) true 120839 120839 0.241 0.5508 0.241 0.08437 0.2905 0 0.9512 0.9512 1 2.799 0.02286 0.003499 0.07471 0.7346 1 0.0004508 0.06123 0.07696 0.02078 0.1442 1.93 0.9366 0.3125 0.7258 1 1 0 0 0.02642 0 0 0.3132 json
t11_x1_u20_b9 11 1 20 9 frc(dot(P,nrm(D))) 15105 89371041 o1(o2(x,o1(x))) true 120847 120847 0.4949 0.9996 0.4949 0.05316 0.2306 3.522e-7 0.9997 0.9997 1 3.86 0.09437 0.09514 0.3718 -0.004061 1 -0.0001726 0.9286 0.7606 0.05125 0.2264 0.6089 1.325 3.565 17.47 1 1 0 0 0.09558 0 0 1.798 json
t11_x1_u20_b10 11 1 20 10 frc(dst(P,nrm(D))) 15106 89371042 o1(o2(x,o1(x))) true 120855 120855 0.4937 1 0.4937 0.05175 0.2275 0.0004231 1 0.9996 1 3.849 0.0435 0.04349 0.1914 0.0001018 1 -0.0007918 0.3417 0.2927 0.05037 0.2244 1.173 1.372 1.681 6.602 1 1 0 0 0.06901 0 0 1.333 json
t11_x1_u21_b0 11 1 21 0 flr(add(P,sqt(D))) 15107 89371233 o1(o2(x,o1(x))) true 120863 120863 -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
t11_x1_u21_b1 11 1 21 1 flr(sub(P,sqt(D))) 15108 89371234 o1(o2(x,o1(x))) true 120871 120871 -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
t11_x1_u21_b2 11 1 21 2 flr(mlt(P,sqt(D))) 15109 89371235 o1(o2(x,o1(x))) true 120879 120879 -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
t11_x1_u21_b3 11 1 21 3 flr(div(P,sqt(D))) 15110 89371236 o1(o2(x,o1(x))) true 120887 120887 -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
t11_x1_u21_b4 11 1 21 4 flr(pow(P,sqt(D))) 15111 89371237 o1(o2(x,o1(x))) true 120895 120895 -0.9063 0.0625 0.9688 0.1407 0.3751 -1 0.9997 2 1 0.5501 0.02019 0 0.01587 1 1 0 0.03975 0.02468 0.01993 0.1412 8.896 2 0.1435 0.2825 1 1 0 0 0.0272 0 0 0.1933 json
t11_x1_u21_b5 11 1 21 5 flr(mod(P,sqt(D))) 15112 89371238 o1(o2(x,o1(x))) true 120903 120903 -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
t11_x1_u21_b6 11 1 21 6 flr(lrg(P,sqt(D))) 15113 89371239 o1(o2(x,o1(x))) true 120911 120911 0.7188 1 0.7188 0.1413 0.3759 0.000291 1 0.9997 1 2.519 0.03488 0 0.06731 1 1 -0.00008984 0.06442 0.07172 0.03035 0.1742 2.588 0.9994 0.2469 0.456 1 1 0 0 0.03759 0 0 0.266 json
t11_x1_u21_b7 11 1 21 7 flr(eql(P,sqt(D))) 15114 89371240 o1(o2(x,o1(x))) true 120919 120919 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
t11_x1_u21_b8 11 1 21 8 flr(min(P,sqt(D))) 15115 89371241 o1(o2(x,o1(x))) true 120927 120927 -0.1087 0.5 0.8288 0.7857 0.8864 -1 1 2 1 2.549 0.03563 0 0.06341 1 1 -2.365e-9 0.06116 0.07699 0.03161 0.1778 2.804 0.9991 0.04535 0.07785 1 1 0 0 0.0409 0 0 0.05206 json
t11_x1_u21_b9 11 1 21 9 flr(dot(P,sqt(D))) 15116 89371242 o1(o2(x,o1(x))) true 120935 120935 -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
t11_x1_u21_b10 11 1 21 10 flr(dst(P,sqt(D))) 15117 89371243 o1(o2(x,o1(x))) true 120943 120943 -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
t11_x1_u22_b0 11 1 22 0 flr(add(P,log(D))) 15118 89371434 o1(o2(x,o1(x))) true 120951 120951 -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
t11_x1_u22_b1 11 1 22 1 flr(sub(P,log(D))) 15119 89371435 o1(o2(x,o1(x))) true 120959 120959 -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
t11_x1_u22_b2 11 1 22 2 flr(mlt(P,log(D))) 15120 89371436 o1(o2(x,o1(x))) true 120967 120967 -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
t11_x1_u22_b3 11 1 22 3 flr(div(P,log(D))) 15121 89371437 o1(o2(x,o1(x))) true 120975 120975 -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
t11_x1_u22_b4 11 1 22 4 flr(pow(P,log(D))) 15122 89371438 o1(o2(x,o1(x))) true 120983 120983 -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
t11_x1_u22_b5 11 1 22 5 flr(mod(P,log(D))) 15123 89371439 o1(o2(x,o1(x))) true 120991 120991 -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
t11_x1_u22_b6 11 1 22 6 flr(lrg(P,log(D))) 15124 89371440 o1(o2(x,o1(x))) true 120999 120999 0.7833 1 0.7833 0.1172 0.3423 0.000291 1 0.9997 1 2.21 0.02801 0 0.05649 1 1 -0.00008984 0.05231 0.05997 0.02482 0.1575 2.788 0.9994 0.239 0.4463 1 1 0 0 0.0274 0 0 0.2338 json
t11_x1_u22_b7 11 1 22 7 flr(eql(P,log(D))) 15125 89371441 o1(o2(x,o1(x))) true 121007 121007 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
t11_x1_u22_b8 11 1 22 8 flr(min(P,log(D))) 15126 89371442 o1(o2(x,o1(x))) true 121015 121015 -0.3588 0.3086 0.9251 0.776 0.8809 -1 1 2 1 1.85 0.1667 0 0.127 1 1 -1.896e-9 0.2827 0.1896 0.1507 0.3882 3.057 2 0.2149 0.3643 1 1 0 0 0.197 0 0 0.2538 json
t11_x1_u22_b9 11 1 22 9 flr(dot(P,log(D))) 15127 89371443 o1(o2(x,o1(x))) true 121023 121023 -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
t11_x1_u22_b10 11 1 22 10 flr(dst(P,log(D))) 15128 89371444 o1(o2(x,o1(x))) true 121031 121031 -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
t11_x1_u23_b0 11 1 23 0 flr(add(P,frc(D))) 15129 89371635 o1(o2(x,o1(x))) true 121039 121039 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
t11_x1_u23_b1 11 1 23 1 flr(sub(P,frc(D))) 15130 89371636 o1(o2(x,o1(x))) true 121047 121047 -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
t11_x1_u23_b2 11 1 23 2 flr(mlt(P,frc(D))) 15131 89371637 o1(o2(x,o1(x))) true 121055 121055 -0.1602 0.332 0.7773 0.7385 0.8594 -1 1 2 1 2.173 0.0452 0 0.05555 1 1 9.461e-10 0.08653 0.09614 0.04213 0.2052 3.694 1 0.06121 0.1172 1 1 0 0 0.04425 0 0 0.05992 json
t11_x1_u23_b3 11 1 23 3 flr(div(P,frc(D))) 15132 89371638 o1(o2(x,o1(x))) true 121063 121063 -0.003025 0.5 0.9539 0.9418 0.9705 -1 1 2 1 1.653 0.00177 0 0.01051 1 1 4.731e-10 0.002279 0.007712 0.001658 0.04072 3.873 0.3247 0.001879 0.00242 1 1 0 0 0.003183 0 0 0.00338 json
t11_x1_u23_b4 11 1 23 4 flr(pow(P,frc(D))) 15133 89371639 o1(o2(x,o1(x))) true 121071 121071 -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
t11_x1_u23_b5 11 1 23 5 flr(mod(P,frc(D))) 15134 89371640 o1(o2(x,o1(x))) true 121079 121079 -0.4336 0 0.4336 0.2388 0.4887 -1 0 1 1 1.418 0.06333 0 0.0674 1 1 -4.731e-10 0.1971 0.1279 0.05881 0.2425 3.598 1 0.2652 0.8252 1 1 0 0 0.02694 0 0 0.1128 json
t11_x1_u23_b6 11 1 23 6 flr(lrg(P,frc(D))) 15135 89371641 o1(o2(x,o1(x))) true 121087 121087 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0 0 0.0009255 0 0 0.00382 json
t11_x1_u23_b7 11 1 23 7 flr(eql(P,frc(D))) 15136 89371642 o1(o2(x,o1(x))) true 121095 121095 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
t11_x1_u23_b8 11 1 23 8 flr(min(P,frc(D))) 15137 89371643 o1(o2(x,o1(x))) true 121103 121103 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 0.0003529 0 0.003968 1 1 4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0 0 0.0009255 0 0 0.00382 json
t11_x1_u23_b9 11 1 23 9 flr(dot(P,frc(D))) 15138 89371644 o1(o2(x,o1(x))) true 121111 121111 -0.08731 0.4304 0.8825 0.8555 0.9249 -1 1 2 1 2.214 0.08888 0.08888 0.1539 -0.000005994 1 0.0009487 0.4426 0.2773 0.1541 0.3926 2.55 2.236 0.2078 0.5174 1 1 0 0 0.1642 0 0 0.1919 json
t11_x1_u23_b10 11 1 23 10 flr(dst(P,frc(D))) 15139 89371645 o1(o2(x,o1(x))) true 121119 121119 0.9881 0.9982 0.9881 0.009133 0.09557 0 1 1 1 0.211 0.001155 0.001155 0.004276 5.04e-8 1 -1.314e-10 0.00676 0.006583 0.00229 0.04786 11.19 1.413 0.2529 0.7402 1 1 0 0 0.003644 0 0 0.3989 json
t11_x1_u24_b0 11 1 24 0 flr(add(P,flr(D))) 15140 89371836 o1(o2(x,o1(x))) true 121127 121127 -0.0625 0.4375 0.9375 0.9336 0.9662 -1 1 2 1 1.272 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.008501 0.017 1 1 0 0 0.01053 0 0 0.01128 json
t11_x1_u24_b1 11 1 24 1 flr(sub(P,flr(D))) 15141 89371837 o1(o2(x,o1(x))) true 121135 121135 0.0625 0.5313 0.9375 0.9184 0.9583 -1 1 2 1 1.809 0.01063 0 0.02379 1 1 0 0.0166 0.02131 0.01007 0.1003 4.218 0.9988 0.01158 0.01808 1 1 0 0 0.0172 0 0 0.01872 json
t11_x1_u24_b2 11 1 24 2 flr(mlt(P,flr(D))) 15142 89371838 o1(o2(x,o1(x))) true 121143 121143 -0.05033 0.4375 0.6698 0.6202 0.7875 -1 1 2 1 3.323 0.06917 0 0.1141 1 1 -0.0006289 0.1207 0.1483 0.05613 0.2369 2.076 0.9997 0.1115 0.1946 1 1 0 0 0.07513 0 0 0.1211 json
t11_x1_u24_b3 11 1 24 3 flr(div(P,flr(D))) 15143 89371839 o1(o2(x,o1(x))) true 121151 121151 -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
t11_x1_u24_b4 11 1 24 4 flr(pow(P,flr(D))) 15144 89371840 o1(o2(x,o1(x))) true 121159 121159 -0.09375 0.5625 0.7813 0.7248 0.8513 -1 1 2 1 2.708 0.04213 0 0.05947 1 1 -0.00008984 0.08008 0.06987 0.03858 0.1964 3.303 2 0.05812 0.1105 1 1 0 0 0.04901 0 0 0.06762 json
t11_x1_u24_b5 11 1 24 5 flr(mod(P,flr(D))) 15145 89371841 o1(o2(x,o1(x))) true 121167 121167 -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
t11_x1_u24_b6 11 1 24 6 flr(lrg(P,flr(D))) 15146 89371842 o1(o2(x,o1(x))) true 121175 121175 0.5 0.5625 0.5 0.2365 0.4863 0 1 1 1 1.577 0.00467 0 0.0119 1 1 -4.731e-10 0.008068 0.009787 0.004528 0.06729 5.654 0.9994 0.01975 0.03412 1 1 0 0 0.007036 0 0 0.02976 json
t11_x1_u24_b7 11 1 24 7 flr(eql(P,flr(D))) 15147 89371843 o1(o2(x,o1(x))) true 121183 121183 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.008638 0 0.01587 1 1 -4.731e-10 0.016 0.01772 0.008384 0.09157 5.77 0.9997 0.1917 0.3551 1 1 0 0 0.0123 0 0 0.2729 json
t11_x1_u24_b8 11 1 24 8 flr(min(P,flr(D))) 15148 89371844 o1(o2(x,o1(x))) true 121191 121191 -0.75 0 0.75 0.1334 0.3652 -1 -0.000291 0.9997 1 2.329 0.03453 0 0.06344 1 1 -0.00008984 0.06436 0.07079 0.03051 0.1747 2.753 0.9997 0.2589 0.4825 1 1 0 0 0.03929 0 0 0.2946 json
t11_x1_u24_b9 11 1 24 9 flr(dot(P,flr(D))) 15149 89371845 o1(o2(x,o1(x))) true 121199 121199 -0.08197 0.4531 0.8477 0.8034 0.8963 -1 1 2 1 2.738 0.07703 0.07703 0.1579 -0.000002757 1 -0.0005906 0.2791 0.2136 0.1291 0.3593 2.275 2.12 0.1918 0.3474 1 1 0 0 0.1608 0 0 0.2002 json
t11_x1_u24_b10 11 1 24 10 flr(dst(P,flr(D))) 15150 89371846 o1(o2(x,o1(x))) true 121207 121207 0.9983 1 0.9983 0.00121 0.03478 0.001164 1 0.9988 1 0.04271 0.0003354 0.0003354 0.001216 -2.169e-7 1 -6.007e-11 0.001359 0.001692 0.0006687 0.02586 21.26 1.413 0.5545 1.123 1 1 0 0 0.001319 0 0 1.09 json
t11_x1_u25_b0 11 1 25 0 flr(add(P,cil(D))) 15151 89372037 o1(o2(x,o1(x))) true 121215 121215 0.0625 0.5 0.9375 0.9336 0.9662 -1 1 2 1 1.272 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.008501 0.017 1 1 0 0 0.01053 0 0 0.01128 json
t11_x1_u25_b1 11 1 25 1 flr(sub(P,cil(D))) 15152 89372038 o1(o2(x,o1(x))) true 121223 121223 -0.0625 0.4688 0.9375 0.9184 0.9583 -1 1 2 1 1.809 0.01063 0 0.02379 1 1 0 0.0166 0.02131 0.01007 0.1003 4.218 0.9988 0.01158 0.01808 1 1 0 0 0.0172 0 0 0.01872 json
t11_x1_u25_b2 11 1 25 2 flr(mlt(P,cil(D))) 15153 89372039 o1(o2(x,o1(x))) true 121231 121231 -0.05033 0.4375 0.6698 0.6202 0.7875 -1 1 2 1 3.323 0.06927 0 0.1147 1 1 -0.0006289 0.1207 0.1483 0.05611 0.2369 2.064 0.9997 0.1117 0.1946 1 1 0 0 0.07501 0 0 0.121 json
t11_x1_u25_b3 11 1 25 3 flr(div(P,cil(D))) 15154 89372040 o1(o2(x,o1(x))) true 121239 121239 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0 0 0.02105 0 0 0.02139 json
t11_x1_u25_b4 11 1 25 4 flr(pow(P,cil(D))) 15155 89372041 o1(o2(x,o1(x))) true 121247 121247 -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
t11_x1_u25_b5 11 1 25 5 flr(mod(P,cil(D))) 15156 89372042 o1(o2(x,o1(x))) true 121255 121255 -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
t11_x1_u25_b6 11 1 25 6 flr(lrg(P,cil(D))) 15157 89372043 o1(o2(x,o1(x))) true 121263 121263 0.4375 0.5 0.4375 0.2326 0.4823 0 1 1 1 1.565 0.00467 0 0.0119 1 1 -4.731e-10 0.008068 0.009787 0.004528 0.06729 5.654 0.9994 0.02008 0.03469 1 1 0 0 0.007036 0 0 0.03025 json
t11_x1_u25_b7 11 1 25 7 flr(eql(P,cil(D))) 15158 89372044 o1(o2(x,o1(x))) true 121271 121271 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.008638 0 0.01587 1 1 -4.731e-10 0.016 0.01772 0.008384 0.09157 5.77 0.9997 0.1917 0.3551 1 1 0 0 0.0123 0 0 0.2729 json
t11_x1_u25_b8 11 1 25 8 flr(min(P,cil(D))) 15159 89372045 o1(o2(x,o1(x))) true 121279 121279 -0.25 0.4375 0.6875 0.5709 0.7556 -1 0.9997 2 1 3.025 0.03057 0 0.05947 1 1 -0.00008984 0.05632 0.06286 0.02704 0.1644 2.765 0.9997 0.05354 0.09866 1 1 0 0 0.03411 0 0 0.05974 json
t11_x1_u25_b9 11 1 25 9 flr(dot(P,cil(D))) 15160 89372046 o1(o2(x,o1(x))) true 121287 121287 -0.08197 0.4531 0.8477 0.8034 0.8963 -1 1 2 1 2.738 0.07708 0.07708 0.1567 -0.000003238 1 -0.0005906 0.2791 0.2136 0.1296 0.36 2.298 2.043 0.1919 0.3474 1 1 0 0 0.1617 0 0 0.2013 json
t11_x1_u25_b10 11 1 25 10 flr(dst(P,cil(D))) 15161 89372047 o1(o2(x,o1(x))) true 121295 121295 0.9983 1 0.9983 0.00121 0.03479 0.001164 1 0.9988 1 0.04271 0.0003354 0.0003354 0.001216 -2.169e-7 1 -6.007e-11 0.001359 0.001692 0.0006688 0.02586 21.26 1.413 0.5544 1.123 1 1 0 0 0.001319 0 0 1.09 json
t11_x1_u26_b0 11 1 26 0 flr(add(P,sgn(D))) 15162 89372238 o1(o2(x,o1(x))) true 121303 121303 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0245 0 0.0238 1 1 0 0.04795 0.03359 0.02394 0.1547 6.501 1.999 0.02652 0.05189 1 1 0 0 0.0332 0 0 0.03593 json
t11_x1_u26_b1 11 1 26 1 flr(sub(P,sgn(D))) 15163 89372239 o1(o2(x,o1(x))) true 121311 121311 0 0.5 0.9375 0.9223 0.9604 -1 1 2 1 1.781 0.03004 0 0.03966 1 1 0 0.05032 0.04218 0.02848 0.1688 4.256 1.998 0.03257 0.05456 1 1 0 0 0.04632 0 0 0.05022 json
t11_x1_u26_b2 11 1 26 2 flr(mlt(P,sgn(D))) 15164 89372240 o1(o2(x,o1(x))) true 121319 121319 -0.1381 0.4141 0.8619 0.8074 0.8985 -1 1 2 1 2.581 0.3134 0 0.2301 1 1 1.89e-9 0.5304 0.3282 0.2604 0.5103 2.217 2 0.3882 0.657 1 1 0 0 0.3406 0 0 0.4219 json
t11_x1_u26_b3 11 1 26 3 flr(div(P,sgn(D))) 15165 89372241 o1(o2(x,o1(x))) true 121327 121327 -0.1381 0.4141 0.8619 0.8074 0.8985 -1 1 2 1 2.581 0.3134 0 0.2301 1 1 1.89e-9 0.5304 0.3282 0.2604 0.5103 2.217 2 0.3882 0.657 1 1 0 0 0.3406 0 0 0.4219 json
t11_x1_u26_b4 11 1 26 4 flr(pow(P,sgn(D))) 15166 89372242 o1(o2(x,o1(x))) true 121335 121335 -0.1613 0.5 0.8386 0.7827 0.8847 -1 1 2 1 2.296 0.03422 0 0.05928 1 1 -0.0006289 0.05922 0.07268 0.03072 0.1753 2.957 1 0.04372 0.07567 1 1 0 0 0.03851 0 0 0.0492 json
t11_x1_u26_b5 11 1 26 5 flr(mod(P,sgn(D))) 15167 89372243 o1(o2(x,o1(x))) true 121343 121343 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
t11_x1_u26_b6 11 1 26 6 flr(lrg(P,sgn(D))) 15168 89372244 o1(o2(x,o1(x))) true 121351 121351 0.4688 0.5625 0.4688 0.2287 0.4783 0 1 1 1 1.79 0.008986 0 0.01983 1 1 -4.731e-10 0.01612 0.01865 0.008594 0.0927 4.674 0.9994 0.03929 0.07047 1 1 0 0 0.01315 0 0 0.05748 json
t11_x1_u26_b7 11 1 26 7 flr(eql(P,sgn(D))) 15169 89372245 o1(o2(x,o1(x))) true 121359 121359 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.008638 0 0.01587 1 1 -4.731e-10 0.016 0.01772 0.008384 0.09157 5.77 0.9997 0.1917 0.3551 1 1 0 0 0.0123 0 0 0.2729 json
t11_x1_u26_b8 11 1 26 8 flr(min(P,sgn(D))) 15170 89372246 o1(o2(x,o1(x))) true 121367 121367 -0.5313 0.2188 0.8326 0.4902 0.7001 -1 0.9994 1.999 1 2.482 0.1252 0 0.1189 1 1 -0.0001797 0.2333 0.1327 0.111 0.3332 2.802 1.999 0.2554 0.476 1 1 0 0 0.1388 0 0 0.2832 json
t11_x1_u26_b9 11 1 26 9 flr(dot(P,sgn(D))) 15171 89372247 o1(o2(x,o1(x))) true 121375 121375 -0.1616 0.4171 0.9215 0.8708 0.9332 -1 1 2 1 2.122 0.2061 0.2061 0.2851 0.000004122 1 -0.00008556 0.7614 0.4473 0.3309 0.5752 2.017 2.479 0.4733 0.8743 1 1 0 0 0.4441 0 0 0.51 json
t11_x1_u26_b10 11 1 26 10 flr(dst(P,sgn(D))) 15172 89372248 o1(o2(x,o1(x))) true 121383 121383 0.9988 1 0.9988 0.0008589 0.02931 0.001746 1 0.9983 1 0.02791 0.0002973 0.0002973 0.00101 0 1 -4.13e-11 0.001236 0.00151 0.0005932 0.02436 24.11 1.412 0.6922 1.439 1 1 0 0 0.001178 0 0 1.371 json
t11_x1_u27_b0 11 1 27 0 flr(add(P,nrm(D))) 15173 89372439 o1(o2(x,o1(x))) true 121391 121391 -0.0625 0.4375 0.9375 0.9336 0.9662 -1 1 2 1 1.272 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.008501 0.017 1 1 0 0 0.01053 0 0 0.01128 json
t11_x1_u27_b1 11 1 27 1 flr(sub(P,nrm(D))) 15174 89372440 o1(o2(x,o1(x))) true 121399 121399 -0.0625 0.4688 0.9375 0.9184 0.9583 -1 1 2 1 1.809 0.01063 0 0.02379 1 1 0 0.0166 0.02131 0.01007 0.1003 4.218 0.9988 0.01158 0.01808 1 1 0 0 0.0172 0 0 0.01872 json
t11_x1_u27_b2 11 1 27 2 flr(mlt(P,nrm(D))) 15175 89372441 o1(o2(x,o1(x))) true 121407 121407 -0.3361 0.2568 0.7575 0.5909 0.7687 -1 1 2 1 3.083 0.1796 0.01581 0.2244 0.8382 1 0.0001442 0.3397 0.2953 0.145 0.3809 1.697 2.237 0.3307 0.575 1 1 0 0 0.2125 0 0 0.3596 json
t11_x1_u27_b3 11 1 27 3 flr(div(P,nrm(D))) 15176 89372442 o1(o2(x,o1(x))) true 121415 121415 -0.1899 0.3828 0.8955 0.8327 0.9125 -1 1 2 1 2.214 0.3199 0.001172 0.2313 0.9927 1 -0.00002488 0.5459 0.3441 0.2676 0.5173 2.236 2 0.3856 0.6556 1 1 0 0 0.3558 0 0 0.4272 json
t11_x1_u27_b4 11 1 27 4 flr(pow(P,nrm(D))) 15177 89372443 o1(o2(x,o1(x))) true 121423 121423 -0.1808 0.5 0.8192 0.751 0.8666 -1 1 2 1 2.45 0.03322 0.0001536 0.06088 0.9908 1 -0.000497 0.05918 0.0736 0.02965 0.1722 2.829 1 0.04444 0.07881 1 1 0 0 0.03712 0 0 0.04943 json
t11_x1_u27_b5 11 1 27 5 flr(mod(P,nrm(D))) 15178 89372444 o1(o2(x,o1(x))) true 121431 121431 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 0.0003529 0 0.003968 1 1 4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0 0 0.0009255 0 0 0.00382 json
t11_x1_u27_b6 11 1 27 6 flr(lrg(P,nrm(D))) 15179 89372445 o1(o2(x,o1(x))) true 121439 121439 0.5 0.5625 0.5 0.2365 0.4863 0 1 1 1 1.577 0.00467 0 0.0119 1 1 -4.731e-10 0.008068 0.009787 0.004528 0.06729 5.654 0.9994 0.01975 0.03412 1 1 0 0 0.007036 0 0 0.02976 json
t11_x1_u27_b7 11 1 27 7 flr(eql(P,nrm(D))) 15180 89372446 o1(o2(x,o1(x))) true 121447 121447 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
t11_x1_u27_b8 11 1 27 8 flr(min(P,nrm(D))) 15181 89372447 o1(o2(x,o1(x))) true 121455 121455 -0.75 0 0.75 0.1334 0.3652 -1 -0.000291 0.9997 1 2.329 0.03453 0 0.06344 1 1 -0.00008984 0.06436 0.07079 0.03051 0.1747 2.753 0.9997 0.2589 0.4825 1 1 0 0 0.03929 0 0 0.2946 json
t11_x1_u27_b9 11 1 27 9 flr(dot(P,nrm(D))) 15182 89372448 o1(o2(x,o1(x))) true 121463 121463 -0.3592 0.3065 0.8559 0.6817 0.8257 -1 1 2 1 2.733 0.1348 0.1349 0.2703 -0.0004744 1 0.002211 0.5719 0.3914 0.1967 0.4435 1.641 2.828 0.3956 0.8389 1 1 0 0 0.2962 0 0 0.4345 json
t11_x1_u27_b10 11 1 27 10 flr(dst(P,nrm(D))) 15183 89372449 o1(o2(x,o1(x))) true 121471 121471 0.9945 1 0.9945 0.00379 0.06156 0.0005821 1 0.9994 1 0.1218 0.002071 0.00206 0.00614 0.002654 1 -1.99e-10 0.01708 0.01215 0.004091 0.06396 10.42 1.413 1.09 4.506 1 1 0 0 0.005278 0 0 1.393 json
t11_x1_u28_b0 11 1 28 0 cil(add(P,sqt(D))) 15184 89372640 o1(o2(x,o1(x))) true 121479 121479 -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
t11_x1_u28_b1 11 1 28 1 cil(sub(P,sqt(D))) 15185 89372641 o1(o2(x,o1(x))) true 121487 121487 -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
t11_x1_u28_b2 11 1 28 2 cil(mlt(P,sqt(D))) 15186 89372642 o1(o2(x,o1(x))) true 121495 121495 -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
t11_x1_u28_b3 11 1 28 3 cil(div(P,sqt(D))) 15187 89372643 o1(o2(x,o1(x))) true 121503 121503 -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
t11_x1_u28_b4 11 1 28 4 cil(pow(P,sqt(D))) 15188 89372644 o1(o2(x,o1(x))) true 121511 121511 -0.9063 0.0625 0.9688 0.1407 0.3751 -1 0.9997 2 1 0.5501 0.02019 0 0.01587 1 1 0 0.03975 0.02468 0.01993 0.1412 8.896 2 0.1435 0.2825 1 1 0 0 0.0272 0 0 0.1933 json
t11_x1_u28_b5 11 1 28 5 cil(mod(P,sqt(D))) 15189 89372645 o1(o2(x,o1(x))) true 121519 121519 -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
t11_x1_u28_b6 11 1 28 6 cil(lrg(P,sqt(D))) 15190 89372646 o1(o2(x,o1(x))) true 121527 121527 0.7188 1 0.7188 0.1413 0.3759 0.000291 1 0.9997 1 2.519 0.03488 0 0.06731 1 1 -0.00008984 0.06442 0.07172 0.03035 0.1742 2.588 0.9994 0.2469 0.456 1 1 0 0 0.03759 0 0 0.266 json
t11_x1_u28_b7 11 1 28 7 cil(eql(P,sqt(D))) 15191 89372647 o1(o2(x,o1(x))) true 121535 121535 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
t11_x1_u28_b8 11 1 28 8 cil(min(P,sqt(D))) 15192 89372648 o1(o2(x,o1(x))) true 121543 121543 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
t11_x1_u28_b9 11 1 28 9 cil(dot(P,sqt(D))) 15193 89372649 o1(o2(x,o1(x))) true 121551 121551 -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
t11_x1_u28_b10 11 1 28 10 cil(dst(P,sqt(D))) 15194 89372650 o1(o2(x,o1(x))) true 121559 121559 -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
t11_x1_u29_b0 11 1 29 0 cil(add(P,log(D))) 15195 89372841 o1(o2(x,o1(x))) true 121567 121567 -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
t11_x1_u29_b1 11 1 29 1 cil(sub(P,log(D))) 15196 89372842 o1(o2(x,o1(x))) true 121575 121575 -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
t11_x1_u29_b2 11 1 29 2 cil(mlt(P,log(D))) 15197 89372843 o1(o2(x,o1(x))) true 121583 121583 -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
t11_x1_u29_b3 11 1 29 3 cil(div(P,log(D))) 15198 89372844 o1(o2(x,o1(x))) true 121591 121591 -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
t11_x1_u29_b4 11 1 29 4 cil(pow(P,log(D))) 15199 89372845 o1(o2(x,o1(x))) true 121599 121599 -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