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_x7_u17_b3 11 7 17 3 frc(div(R,flr(D))) 18300 89612838 o1(o2(x,o1(x))) true 146407 146407 -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_x7_u17_b4 11 7 17 4 frc(pow(R,flr(D))) 18301 89612839 o1(o2(x,o1(x))) true 146415 146415 -0.749 0.2047 0.8292 0.2449 0.4949 -1 0.9413 1.941 1 1.374 0.03092 0.02443 0.05033 0.1172 1 -0.000008402 0.1165 0.09109 0.0528 0.2298 4.566 2.617 0.226 0.4757 1 1 0 0 0.05521 0 0 0.2255 json
t11_x7_u17_b5 11 7 17 5 frc(mod(R,flr(D))) 18302 89612840 o1(o2(x,o1(x))) true 146423 146423 -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_x7_u17_b6 11 7 17 6 frc(lrg(R,flr(D))) 18303 89612841 o1(o2(x,o1(x))) true 146431 146431 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_x7_u17_b7 11 7 17 7 frc(eql(R,flr(D))) 18304 89612842 o1(o2(x,o1(x))) true 146439 146439 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_x7_u17_b8 11 7 17 8 frc(min(R,flr(D))) 18305 89612843 o1(o2(x,o1(x))) true 146447 146447 0.1314 0.7245 0.1314 0.04196 0.2049 0 0.9968 0.9968 1 2.31 0.009762 0.0005032 0.03903 0.902 1 0.00001365 0.01824 0.03656 0.008743 0.0935 2.396 0.9967 0.2446 0.4346 1 1 0 0 0.01197 0 0 0.2852 json
t11_x7_u17_b9 11 7 17 9 frc(dot(R,flr(D))) 18306 89612844 o1(o2(x,o1(x))) true 146455 146455 0.367 0.9997 0.367 0.06042 0.2458 0.00002755 0.9987 0.9987 1 3.813 0.01246 0.01247 0.07925 -0.0002373 1 -0.000009003 0.04987 0.09294 0.01865 0.1366 1.723 0.9985 0.4126 0.8255 1 1 0 0 0.02676 0 0 0.4429 json
t11_x7_u17_b10 11 7 17 10 frc(dst(R,flr(D))) 18307 89612845 o1(o2(x,o1(x))) true 146463 146463 0.4786 1 0.4786 0.05655 0.2378 0.0006446 0.9981 0.9974 1 3.884 0.01006 0.009493 0.06994 0.02916 1 -0.000008743 0.03911 0.08141 0.01466 0.1211 1.731 1.323 0.3458 0.6916 1 1 0 0 0.02152 0 0 0.3806 json
t11_x7_u18_b0 11 7 18 0 frc(add(R,cil(D))) 18308 89613036 o1(o2(x,o1(x))) true 146471 146471 0.5266 1 0.5266 0.05091 0.2256 0.001084 0.997 0.9959 1 3.815 0.0007236 0.0006853 0.03089 0.02719 1 0.00004432 0.00008334 0.007111 0.0004549 0.02133 0.6905 0.1132 0.02767 0.001637 1 1 0 0 0.002542 0 0 0.04993 json
t11_x7_u18_b1 11 7 18 1 frc(sub(R,cil(D))) 18309 89613037 o1(o2(x,o1(x))) true 146479 146479 0.5266 1 0.5266 0.05091 0.2256 0.001084 0.997 0.9959 1 3.815 0.0007236 0.0006853 0.03089 0.02719 1 0.00004432 0.00008334 0.007111 0.0004549 0.02133 0.6905 0.1132 0.02767 0.001637 1 1 0 0 0.002542 0 0 0.04993 json
t11_x7_u18_b2 11 7 18 2 frc(mlt(R,cil(D))) 18310 89613038 o1(o2(x,o1(x))) true 146487 146487 0.264 0.9836 0.264 0.06467 0.2543 2.903e-7 0.9969 0.9969 1 3.396 0.02196 0.0003454 0.06899 0.969 1 0.00002344 0.04077 0.07042 0.01755 0.1325 1.92 0.9968 0.3449 0.6305 1 1 0 0 0.02491 0 0 0.3852 json
t11_x7_u18_b3 11 7 18 3 frc(div(R,cil(D))) 18311 89613039 o1(o2(x,o1(x))) true 146495 146495 -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_x7_u18_b4 11 7 18 4 frc(pow(R,cil(D))) 18312 89613040 o1(o2(x,o1(x))) true 146503 146503 -0.7194 0.2159 0.8431 0.2962 0.5442 -1 0.9634 1.963 1 1.521 0.03695 0.02853 0.05685 0.1287 1 0.00001722 0.1373 0.09903 0.06223 0.2494 4.388 2.181 0.2211 0.4637 1 1 0 0 0.06651 0 0 0.2245 json
t11_x7_u18_b5 11 7 18 5 frc(mod(R,cil(D))) 18313 89613041 o1(o2(x,o1(x))) true 146511 146511 -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_x7_u18_b6 11 7 18 6 frc(lrg(R,cil(D))) 18314 89613042 o1(o2(x,o1(x))) true 146519 146519 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_x7_u18_b7 11 7 18 7 frc(eql(R,cil(D))) 18315 89613043 o1(o2(x,o1(x))) true 146527 146527 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_x7_u18_b8 11 7 18 8 frc(min(R,cil(D))) 18316 89613044 o1(o2(x,o1(x))) true 146535 146535 0.396 0.9976 0.396 0.06753 0.2599 0.00003052 0.9969 0.9969 1 3.854 0.01038 0.0008481 0.05183 0.8489 1 0.00004092 0.01882 0.03894 0.008542 0.09242 1.783 0.969 0.1662 0.2786 1 1 0 0 0.01296 0 0 0.192 json
t11_x7_u18_b9 11 7 18 9 frc(dot(R,cil(D))) 18317 89613045 o1(o2(x,o1(x))) true 146543 146543 0.3791 0.9998 0.3791 0.05985 0.2446 0.00001827 0.9969 0.9969 1 3.826 0.01306 0.01263 0.07923 0.01703 1 0.000001141 0.05219 0.09453 0.01941 0.1393 1.758 1.319 0.4292 0.872 1 1 0 0 0.02717 0 0 0.454 json
t11_x7_u18_b10 11 7 18 10 frc(dst(R,cil(D))) 18318 89613046 o1(o2(x,o1(x))) true 146551 146551 0.4965 1 0.4965 0.0602 0.2454 0.0002789 0.9994 0.9992 1 3.916 0.009999 0.01091 0.07002 -0.04371 1 -0.00001139 0.04222 0.08418 0.01601 0.1265 1.807 1.203 0.3474 0.7013 1 1 0 0 0.02244 0 0 0.3728 json
t11_x7_u19_b0 11 7 19 0 frc(add(R,sgn(D))) 18319 89613237 o1(o2(x,o1(x))) true 146559 146559 0.5266 1 0.5266 0.05091 0.2256 0.001084 0.997 0.9959 1 3.815 0.0007236 0.0006853 0.03089 0.02719 1 0.00004432 0.00008334 0.007111 0.0004549 0.02133 0.6905 0.1132 0.02767 0.001637 1 1 0 0 0.002542 0 0 0.04993 json
t11_x7_u19_b1 11 7 19 1 frc(sub(R,sgn(D))) 18320 89613238 o1(o2(x,o1(x))) true 146567 146567 0.5266 1 0.5266 0.05091 0.2256 0.001084 0.997 0.9959 1 3.815 0.0007236 0.0006853 0.03089 0.02719 1 0.00004432 0.00008334 0.007111 0.0004549 0.02133 0.6905 0.1132 0.02767 0.001637 1 1 0 0 0.002542 0 0 0.04993 json
t11_x7_u19_b2 11 7 19 2 frc(mlt(R,sgn(D))) 18321 89613239 o1(o2(x,o1(x))) true 146575 146575 0.5014 1 0.5014 0.05114 0.2261 0.001186 0.999 0.9978 1 3.835 0.01628 0.0006892 0.05606 0.9188 1 0.000002554 0.03178 0.05902 0.01383 0.1176 2.097 0.9978 0.3318 0.6214 1 1 0 0 0.01619 0 0 0.3165 json
t11_x7_u19_b3 11 7 19 3 frc(div(R,sgn(D))) 18322 89613240 o1(o2(x,o1(x))) true 146583 146583 0.5014 1 0.5014 0.05114 0.2261 0.001186 0.999 0.9978 1 3.835 0.01628 0.0006892 0.05606 0.9188 1 0.000002554 0.03178 0.05902 0.01383 0.1176 2.097 0.9978 0.3318 0.6214 1 1 0 0 0.01619 0 0 0.3165 json
t11_x7_u19_b4 11 7 19 4 frc(pow(R,sgn(D))) 18323 89613241 o1(o2(x,o1(x))) true 146591 146591 -0.937 0.04297 0.977 0.09032 0.3005 -1 0.9426 1.943 1 0.4158 0.009262 0.009512 0.01349 -0.01335 1 6.293e-7 0.03923 0.02489 0.01859 0.1363 10.1 2.718 0.2079 0.4344 1 1 0 0 0.01473 0 0 0.163 json
t11_x7_u19_b5 11 7 19 5 frc(mod(R,sgn(D))) 18324 89613242 o1(o2(x,o1(x))) true 146599 146599 0.5266 1 0.5266 0.05091 0.2256 0.001084 0.997 0.9959 1 3.815 0.0007236 0.0006853 0.03089 0.02719 1 0.00004432 0.00008334 0.007111 0.0004549 0.02133 0.6905 0.1132 0.02767 0.001637 1 1 0 0 0.002542 0 0 0.04993 json
t11_x7_u19_b6 11 7 19 6 frc(lrg(R,sgn(D))) 18325 89613243 o1(o2(x,o1(x))) true 146607 146607 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_x7_u19_b7 11 7 19 7 frc(eql(R,sgn(D))) 18326 89613244 o1(o2(x,o1(x))) true 146615 146615 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_x7_u19_b8 11 7 19 8 frc(min(R,sgn(D))) 18327 89613245 o1(o2(x,o1(x))) true 146623 146623 0.264 0.9836 0.264 0.06467 0.2543 2.903e-7 0.9969 0.9969 1 3.396 0.02196 0.0003454 0.06899 0.969 1 0.00002344 0.04077 0.07042 0.01755 0.1325 1.92 0.9968 0.3449 0.6305 1 1 0 0 0.02491 0 0 0.3852 json
t11_x7_u19_b9 11 7 19 9 frc(dot(R,sgn(D))) 18328 89613246 o1(o2(x,o1(x))) true 146631 146631 0.499 1 0.499 0.0506 0.2249 0.003181 0.9983 0.9951 1 3.842 0.007839 0.008402 0.0616 -0.03468 1 0.0000064 0.03047 0.07231 0.01245 0.1116 1.811 0.9679 0.321 0.6023 1 1 0 0 0.01852 0 0 0.366 json
t11_x7_u19_b10 11 7 19 10 frc(dst(R,sgn(D))) 18329 89613247 o1(o2(x,o1(x))) true 146639 146639 0.5189 1 0.5189 0.05232 0.2287 0.001488 0.9996 0.9981 1 3.85 0.008813 0.008351 0.06485 0.02692 1 -0.000009997 0.03421 0.07572 0.01296 0.1138 1.755 1.222 0.3281 0.6538 1 1 0 0 0.01848 0 0 0.3531 json
t11_x7_u20_b0 11 7 20 0 frc(add(R,nrm(D))) 18330 89613438 o1(o2(x,o1(x))) true 146647 146647 0.5058 1 0.5058 0.05104 0.2259 0.001104 0.9998 0.9987 1 3.842 0.05493 0.03903 0.198 0.1693 1 0.0004097 0.3758 0.3157 0.05477 0.234 1.182 1.277 1.841 7.362 1 1 0 0 0.07609 0 0 1.491 json
t11_x7_u20_b1 11 7 20 1 frc(sub(R,nrm(D))) 18331 89613439 o1(o2(x,o1(x))) true 146655 146655 0.5064 1 0.5064 0.05112 0.2261 0.001166 0.9998 0.9986 1 3.843 0.05499 0.03912 0.1983 0.1686 1 0.0002319 0.3763 0.3163 0.0548 0.2341 1.181 1.282 1.841 7.361 1 1 0 0 0.07589 0 0 1.484 json
t11_x7_u20_b2 11 7 20 2 frc(mlt(R,nrm(D))) 18332 89613440 o1(o2(x,o1(x))) true 146663 146663 0.4995 1 0.4995 0.0549 0.2343 0.00107 0.999 0.9979 1 3.886 0.03337 0.002928 0.1001 0.8387 1 -0.0000948 0.08361 0.1077 0.02627 0.1621 1.619 0.9979 0.6611 1.523 1 1 0 0 0.03295 0 0 0.6001 json
t11_x7_u20_b3 11 7 20 3 frc(div(R,nrm(D))) 18333 89613441 o1(o2(x,o1(x))) true 146671 146671 0.5002 1 0.5002 0.05235 0.2288 0.001085 0.9987 0.9977 1 3.854 0.06465 0.05868 0.2388 0.04839 1 -0.00003757 0.6054 0.4694 0.06632 0.2575 1.079 1.32 2.356 11.56 1 1 0 0 0.075 0 0 1.432 json
t11_x7_u20_b4 11 7 20 4 frc(pow(R,nrm(D))) 18334 89613442 o1(o2(x,o1(x))) true 146679 146679 -0.9358 0.04297 0.9783 0.09498 0.3082 -1 0.9914 1.991 1 0.4268 0.01091 0.01021 0.01741 0.0332 1 0.00001445 0.0481 0.03057 0.02081 0.1443 8.287 2.455 0.2223 0.5064 1 1 0 0 0.01544 0 0 0.1626 json
t11_x7_u20_b5 11 7 20 5 frc(mod(R,nrm(D))) 18335 89613443 o1(o2(x,o1(x))) true 146687 146687 0.5184 1 0.5184 0.06144 0.2479 0.0009319 0.9992 0.9983 1 3.93 0.01878 0.02206 0.1162 -0.08039 1 0.000003615 0.1551 0.2039 0.02734 0.1653 1.423 1.256 0.6646 2.525 1 1 0 0 0.03663 0 0 0.5963 json
t11_x7_u20_b6 11 7 20 6 frc(lrg(R,nrm(D))) 18336 89613444 o1(o2(x,o1(x))) true 146695 146695 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_x7_u20_b7 11 7 20 7 frc(eql(R,nrm(D))) 18337 89613445 o1(o2(x,o1(x))) true 146703 146703 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_x7_u20_b8 11 7 20 8 frc(min(R,nrm(D))) 18338 89613446 o1(o2(x,o1(x))) true 146711 146711 0.3855 1 0.3855 0.04583 0.2141 0.0009468 0.9968 0.9959 1 3.732 0.01819 0.003749 0.0864 0.6581 1 -0.00002117 0.04842 0.08017 0.01447 0.1203 1.392 0.9118 0.4787 1.057 1 1 0 0 0.02203 0 0 0.4807 json
t11_x7_u20_b9 11 7 20 9 frc(dot(R,nrm(D))) 18339 89613447 o1(o2(x,o1(x))) true 146719 146719 0.5015 1 0.5015 0.05187 0.2278 0.001535 0.9965 0.995 1 3.85 0.03787 0.03683 0.162 0.01395 1 -0.000006771 0.2881 0.2442 0.04846 0.2201 1.359 1.356 1.44 5.555 1 1 0 0 0.06162 0 0 1.188 json
t11_x7_u20_b10 11 7 20 10 frc(dst(R,nrm(D))) 18340 89613448 o1(o2(x,o1(x))) true 146727 146727 0.5114 1 0.5114 0.05457 0.2336 0.001646 0.9994 0.9978 1 3.876 0.03308 0.0332 0.1448 -0.001809 1 -0.00008414 0.238 0.2101 0.0453 0.2128 1.469 1.391 1.214 4.362 1 1 0 0 0.05801 0 0 1.063 json
t11_x7_u21_b0 11 7 21 0 flr(add(R,sqt(D))) 18341 89613639 o1(o2(x,o1(x))) true 146735 146735 -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_x7_u21_b1 11 7 21 1 flr(sub(R,sqt(D))) 18342 89613640 o1(o2(x,o1(x))) true 146743 146743 -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_x7_u21_b2 11 7 21 2 flr(mlt(R,sqt(D))) 18343 89613641 o1(o2(x,o1(x))) true 146751 146751 -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_x7_u21_b3 11 7 21 3 flr(div(R,sqt(D))) 18344 89613642 o1(o2(x,o1(x))) true 146759 146759 -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_x7_u21_b4 11 7 21 4 flr(pow(R,sqt(D))) 18345 89613643 o1(o2(x,o1(x))) true 146767 146767 -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_x7_u21_b5 11 7 21 5 flr(mod(R,sqt(D))) 18346 89613644 o1(o2(x,o1(x))) true 146775 146775 -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_x7_u21_b6 11 7 21 6 flr(lrg(R,sqt(D))) 18347 89613645 o1(o2(x,o1(x))) true 146783 146783 0.635 1 0.635 0.1257 0.3545 0.000291 1 0.9997 1 3.424 0.04517 0.000886 0.1068 0.9615 1 0.00004312 0.08437 0.1117 0.03463 0.1861 1.742 0.9994 0.3664 0.6713 1 1 0 0 0.04966 0 0 0.3951 json
t11_x7_u21_b7 11 7 21 7 flr(eql(R,sqt(D))) 18348 89613646 o1(o2(x,o1(x))) true 146791 146791 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_x7_u21_b8 11 7 21 8 flr(min(R,sqt(D))) 18349 89613647 o1(o2(x,o1(x))) true 146799 146799 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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 0 0.008731 0 0 0.0568 json
t11_x7_u21_b9 11 7 21 9 flr(dot(R,sqt(D))) 18350 89613648 o1(o2(x,o1(x))) true 146807 146807 -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_x7_u21_b10 11 7 21 10 flr(dst(R,sqt(D))) 18351 89613649 o1(o2(x,o1(x))) true 146815 146815 -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_x7_u22_b0 11 7 22 0 flr(add(R,log(D))) 18352 89613840 o1(o2(x,o1(x))) true 146823 146823 -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_x7_u22_b1 11 7 22 1 flr(sub(R,log(D))) 18353 89613841 o1(o2(x,o1(x))) true 146831 146831 -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_x7_u22_b2 11 7 22 2 flr(mlt(R,log(D))) 18354 89613842 o1(o2(x,o1(x))) true 146839 146839 -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_x7_u22_b3 11 7 22 3 flr(div(R,log(D))) 18355 89613843 o1(o2(x,o1(x))) true 146847 146847 -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_x7_u22_b4 11 7 22 4 flr(pow(R,log(D))) 18356 89613844 o1(o2(x,o1(x))) true 146855 146855 -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_x7_u22_b5 11 7 22 5 flr(mod(R,log(D))) 18357 89613845 o1(o2(x,o1(x))) true 146863 146863 -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_x7_u22_b6 11 7 22 6 flr(lrg(R,log(D))) 18358 89613846 o1(o2(x,o1(x))) true 146871 146871 0.9748 1 0.9748 0.006511 0.08069 0.3285 1 0.6715 1 0.7826 0.003789 0.00008069 0.01809 0.9583 1 0.00003653 0.008169 0.02204 0.003542 0.05951 3.29 0.6715 0.5944 1.255 1 1 0 0 0.003544 0 0 0.5443 json
t11_x7_u22_b7 11 7 22 7 flr(eql(R,log(D))) 18359 89613847 o1(o2(x,o1(x))) true 146879 146879 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_x7_u22_b8 11 7 22 8 flr(min(R,log(D))) 18360 89613848 o1(o2(x,o1(x))) true 146887 146887 -0.775 0 0.775 0.1121 0.3349 -1 -0.000291 0.9997 1 2.432 0.02956 0.001165 0.06867 0.9242 1 0.00003546 0.05493 0.07974 0.02602 0.1613 2.349 0.9997 0.274 0.4898 1 1 0 0 0.03293 0 0 0.2937 json
t11_x7_u22_b9 11 7 22 9 flr(dot(R,log(D))) 18361 89613849 o1(o2(x,o1(x))) true 146895 146895 -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_x7_u22_b10 11 7 22 10 flr(dst(R,log(D))) 18362 89613850 o1(o2(x,o1(x))) true 146903 146903 -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_x7_u23_b0 11 7 23 0 flr(add(R,frc(D))) 18363 89614041 o1(o2(x,o1(x))) true 146911 146911 0.00916 0.4819 0.4483 0.341 0.5839 -1 1 2 1 4.551 0.09509 0.003793 0.1716 0.9233 1 0.0001743 0.198 0.2347 0.06945 0.2635 1.536 1.014 0.29 0.5805 1 1 0 0 0.1005 0 0 0.2947 json
t11_x7_u23_b1 11 7 23 1 flr(sub(R,frc(D))) 18364 89614042 o1(o2(x,o1(x))) true 146919 146919 -0.769 0 0.769 0.1204 0.347 -1 0 1 1 2.489 0.04223 0.001873 0.08712 0.9151 1 0.00001083 0.08982 0.12 0.03651 0.1911 2.193 1 0.3664 0.7461 1 1 0 0 0.04226 0 0 0.3511 json
t11_x7_u23_b2 11 7 23 2 flr(mlt(R,frc(D))) 18365 89614043 o1(o2(x,o1(x))) true 146927 146927 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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 0 0.008731 0 0 0.0568 json
t11_x7_u23_b3 11 7 23 3 flr(div(R,frc(D))) 18366 89614044 o1(o2(x,o1(x))) true 146935 146935 -0.2981 0.2985 0.7099 0.5452 0.7384 -1 1 2 1 3.74 0.07203 0.01902 0.1516 0.5821 1 0.0001131 0.1768 0.1935 0.06807 0.2609 1.721 2.263 0.167 0.3242 1 1 0 0 0.1046 0 0 0.1918 json
t11_x7_u23_b4 11 7 23 4 flr(pow(R,frc(D))) 18367 89614045 o1(o2(x,o1(x))) true 146943 146943 -0.957 0 0.957 0.04112 0.2028 -1 0 1 1 0.2557 0.00422 0.004094 0.008259 0.01515 1 0 0.01738 0.01663 0.008241 0.09078 10.99 1.414 0.2022 0.4228 1 1 0 0 0.006357 0 0 0.1546 json
t11_x7_u23_b5 11 7 23 5 flr(mod(R,frc(D))) 18368 89614046 o1(o2(x,o1(x))) true 146951 146951 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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 0 0.008731 0 0 0.0568 json
t11_x7_u23_b6 11 7 23 6 flr(lrg(R,frc(D))) 18369 89614047 o1(o2(x,o1(x))) true 146959 146959 0.2645 0.6326 0.2645 0.1234 0.3513 0 1 1 1 2.773 0.04309 0.001528 0.08949 0.9315 1 -0.00006966 0.09129 0.1174 0.03661 0.1913 2.138 1 0.3615 0.7397 1 1 0 0 0.04217 0 0 0.3417 json
t11_x7_u23_b7 11 7 23 7 flr(eql(R,frc(D))) 18370 89614048 o1(o2(x,o1(x))) true 146967 146967 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_x7_u23_b8 11 7 23 8 flr(min(R,frc(D))) 18371 89614049 o1(o2(x,o1(x))) true 146975 146975 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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 0 0.008731 0 0 0.0568 json
t11_x7_u23_b9 11 7 23 9 flr(dot(R,frc(D))) 18372 89614050 o1(o2(x,o1(x))) true 146983 146983 -0.4954 0.0417 0.5342 0.1937 0.4402 -1 0.9997 2 1 3.779 0.03964 0.03898 0.1428 0.008333 1 -0.0001284 0.2226 0.2127 0.05825 0.2413 1.69 1.424 0.4058 1.149 1 1 0 0 0.07963 0 0 0.411 json
t11_x7_u23_b10 11 7 23 10 flr(dst(R,frc(D))) 18373 89614051 o1(o2(x,o1(x))) true 146991 146991 0.6593 0.9681 0.6593 0.1442 0.3798 0 1 1 1 3.064 0.03218 0.03123 0.1164 0.01505 1 0.00008023 0.1723 0.1754 0.04987 0.2233 1.919 1.414 0.4397 1.195 1 1 0 0 0.06227 0 0 0.4318 json
t11_x7_u24_b0 11 7 24 0 flr(add(R,flr(D))) 18374 89614242 o1(o2(x,o1(x))) true 146999 146999 -0.8025 0 0.8025 0.1032 0.3213 -1 -0.000291 0.9997 1 2.305 0.02855 0.001213 0.068 0.9185 1 0.00007848 0.0519 0.07065 0.02515 0.1586 2.332 0.9997 0.2884 0.5029 1 1 0 0 0.03296 0 0 0.3194 json
t11_x7_u24_b1 11 7 24 1 flr(sub(R,flr(D))) 18375 89614243 o1(o2(x,o1(x))) true 147007 147007 -0.01758 0.4472 0.408 0.2933 0.5415 -0.9997 0.9997 1.999 1 4.619 0.06698 0.002442 0.1384 0.9296 1 -0.00001781 0.121 0.136 0.05027 0.2242 1.62 1.007 0.2367 0.4127 1 1 0 0 0.07901 0 0 0.2694 json
t11_x7_u24_b2 11 7 24 2 flr(mlt(R,flr(D))) 18376 89614244 o1(o2(x,o1(x))) true 147015 147015 -0.2393 0 0.2393 0.1075 0.3279 -0.9997 0 0.9997 1 3.299 0.02734 0.00118 0.06882 0.9172 1 0.00001639 0.05101 0.06655 0.02378 0.1542 2.241 0.9997 0.2652 0.4744 1 1 0 0 0.03061 0 0 0.2847 json
t11_x7_u24_b3 11 7 24 3 flr(div(R,flr(D))) 18377 89614245 o1(o2(x,o1(x))) true 147023 147023 -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_x7_u24_b4 11 7 24 4 flr(pow(R,flr(D))) 18378 89614246 o1(o2(x,o1(x))) true 147031 147031 -0.5781 0.2109 1 0.6661 0.8161 -1 1 2 1 0.7433 0.08151 0.06689 0.07361 0.09847 1 0 0.3136 0.1484 0.143 0.3782 5.137 2.828 0.2228 0.4707 1 1 0 0 0.1477 0 0 0.2217 json
t11_x7_u24_b5 11 7 24 5 flr(mod(R,flr(D))) 18379 89614247 o1(o2(x,o1(x))) true 147039 147039 -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_x7_u24_b6 11 7 24 6 flr(lrg(R,flr(D))) 18380 89614248 o1(o2(x,o1(x))) true 147047 147047 0.7432 1 0.7432 0.1126 0.3355 0.000291 1 0.9997 1 2.88 0.03004 0.00118 0.07441 0.9244 1 -0.000001422 0.05612 0.0721 0.02568 0.1603 2.154 0.9997 0.2773 0.4985 1 1 0 0 0.03636 0 0 0.323 json
t11_x7_u24_b7 11 7 24 7 flr(eql(R,flr(D))) 18381 89614249 o1(o2(x,o1(x))) true 147055 147055 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_x7_u24_b8 11 7 24 8 flr(min(R,flr(D))) 18382 89614250 o1(o2(x,o1(x))) true 147063 147063 -0.7568 0 0.7568 0.1087 0.3297 -1 -0.000291 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 -0.000001419 0.05102 0.06666 0.02362 0.1537 2.186 0.9997 0.2627 0.4693 1 1 0 0 0.03085 0 0 0.2838 json
t11_x7_u24_b9 11 7 24 9 flr(dot(R,flr(D))) 18383 89614251 o1(o2(x,o1(x))) true 147071 147071 -0.3568 0.05565 0.3939 0.172 0.4147 -1 0.9994 1.999 1 3.891 0.02183 0.02279 0.1013 -0.0216 1 0.00001717 0.08474 0.11 0.03435 0.1853 1.83 1.414 0.2594 0.4927 1 1 0 0 0.05185 0 0 0.3014 json
t11_x7_u24_b10 11 7 24 10 flr(dst(R,flr(D))) 18384 89614252 o1(o2(x,o1(x))) true 147079 147079 0.7516 0.9973 0.7516 0.1202 0.3466 8.471e-8 1 1 1 2.644 0.01809 0.01775 0.07694 0.009447 1 -0.00002326 0.06804 0.08742 0.02991 0.1729 2.248 1.414 0.2982 0.5662 1 1 0 0 0.03733 0 0 0.3107 json
t11_x7_u25_b0 11 7 25 0 flr(add(R,cil(D))) 18385 89614443 o1(o2(x,o1(x))) true 147087 147087 -0.01758 0.444 0.4126 0.2977 0.5456 -0.9997 0.9997 1.999 1 4.623 0.06716 0.002442 0.1391 0.9298 1 -0.00001781 0.1211 0.1361 0.05024 0.2241 1.611 1.007 0.2338 0.4067 1 1 0 0 0.07992 0 0 0.2685 json
t11_x7_u25_b1 11 7 25 1 flr(sub(R,cil(D))) 18386 89614444 o1(o2(x,o1(x))) true 147095 147095 -0.8048 0 0.8048 0.1018 0.3191 -1 -0.000291 0.9997 1 2.298 0.02847 0.001213 0.06667 0.9182 1 0.00005054 0.05186 0.0704 0.02523 0.1588 2.383 0.9997 0.2915 0.5092 1 1 0 0 0.03254 0 0 0.3195 json
t11_x7_u25_b2 11 7 25 2 flr(mlt(R,cil(D))) 18387 89614445 o1(o2(x,o1(x))) true 147103 147103 -0.2568 0 0.2568 0.1126 0.3355 -0.9997 0 0.9997 1 3.37 0.03004 0.00118 0.07441 0.9244 1 -0.000001422 0.05612 0.0721 0.02568 0.1603 2.154 0.9997 0.2773 0.4985 1 1 0 0 0.03636 0 0 0.323 json
t11_x7_u25_b3 11 7 25 3 flr(div(R,cil(D))) 18388 89614446 o1(o2(x,o1(x))) true 147111 147111 -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_x7_u25_b4 11 7 25 4 flr(pow(R,cil(D))) 18389 89614447 o1(o2(x,o1(x))) true 147119 147119 -0.6719 0.2188 0.8906 0.4154 0.6445 -1 0.9997 2 1 1.503 0.05638 0.03936 0.07121 0.1777 1 -0.0000164 0.1999 0.1193 0.09064 0.3011 4.228 2.828 0.2305 0.4813 1 1 0 0 0.1002 0 0 0.2412 json
t11_x7_u25_b5 11 7 25 5 flr(mod(R,cil(D))) 18390 89614448 o1(o2(x,o1(x))) true 147127 147127 -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_x7_u25_b6 11 7 25 6 flr(lrg(R,cil(D))) 18391 89614449 o1(o2(x,o1(x))) true 147135 147135 0.2393 0.7168 0.2393 0.1075 0.3279 0 0.9997 0.9997 1 2.776 0.02734 0.00118 0.06882 0.9172 1 -0.00001639 0.05101 0.06655 0.02378 0.1542 2.241 0.9997 0.2652 0.4744 1 1 0 0 0.03061 0 0 0.2847 json
t11_x7_u25_b7 11 7 25 7 flr(eql(R,cil(D))) 18392 89614450 o1(o2(x,o1(x))) true 147143 147143 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_x7_u25_b8 11 7 25 8 flr(min(R,cil(D))) 18393 89614451 o1(o2(x,o1(x))) true 147151 147151 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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 0 0.008731 0 0 0.0568 json
t11_x7_u25_b9 11 7 25 9 flr(dot(R,cil(D))) 18394 89614452 o1(o2(x,o1(x))) true 147159 147159 -0.335 0.09152 0.3952 0.1852 0.4304 -1 0.9994 1.999 1 4.012 0.0244 0.02252 0.1056 0.04011 1 0.00003905 0.08914 0.1143 0.03576 0.1891 1.79 1.414 0.2533 0.4813 1 1 0 0 0.053 0 0 0.2861 json
t11_x7_u25_b10 11 7 25 10 flr(dst(R,cil(D))) 18395 89614453 o1(o2(x,o1(x))) true 147167 147167 0.7276 0.9859 0.7276 0.1269 0.3562 0 1 1 1 2.793 0.01744 0.017 0.07687 0.01259 1 -0.00000728 0.06502 0.08534 0.02853 0.1689 2.197 1.414 0.2714 0.5123 1 1 0 0 0.03904 0 0 0.3077 json
t11_x7_u26_b0 11 7 26 0 flr(add(R,sgn(D))) 18396 89614644 o1(o2(x,o1(x))) true 147175 147175 -0.359 0.2682 0.652 0.4274 0.6538 -1 0.9994 1.999 1 4.036 0.1596 0.001497 0.1889 0.9814 1 0.0001413 0.2893 0.2058 0.1254 0.3541 1.874 1.999 0.3769 0.6769 1 1 0 0 0.1764 0 0 0.4126 json
t11_x7_u26_b1 11 7 26 1 flr(sub(R,sgn(D))) 18397 89614645 o1(o2(x,o1(x))) true 147183 147183 -0.3613 0.2654 0.6497 0.4235 0.6508 -1 0.9994 1.999 1 4.038 0.1594 0.001494 0.1877 0.9814 1 0.0001106 0.2893 0.2056 0.1257 0.3545 1.889 1.999 0.3799 0.683 1 1 0 0 0.1751 0 0 0.4135 json
t11_x7_u26_b2 11 7 26 2 flr(mlt(R,sgn(D))) 18398 89614646 o1(o2(x,o1(x))) true 147191 147191 -0.4961 0 0.4961 0.147 0.3834 -1 0 1 1 3.664 0.04778 0.002278 0.1019 0.909 1 0.00001497 0.09324 0.1121 0.03968 0.1992 1.955 1 0.3406 0.6344 1 1 0 0 0.05494 0 0 0.3738 json
t11_x7_u26_b3 11 7 26 3 flr(div(R,sgn(D))) 18399 89614647 o1(o2(x,o1(x))) true 147199 147199 -0.4961 0 0.4961 0.147 0.3834 -1 0 1 1 3.664 0.04778 0.002278 0.1019 0.909 1 0.00001497 0.09324 0.1121 0.03968 0.1992 1.955 1 0.3406 0.6344 1 1 0 0 0.05494 0 0 0.3738 json