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
t17_x6_u6_b95 17 6 6 95 min(P,eql(R,nrm(P))) 103400 138293924 o2(x,o2(x,o1(x))) true 144007 144007 -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.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t17_x6_u6_b96 17 6 6 96 min(P,min(R,nrm(P))) 103401 138293925 o2(x,o2(x,o1(x))) true 144015 144015 -0.5154 0.2122 0.6552 0.2984 0.5462 -1 0.9276 1.928 1 3.567 0.001375 0.001241 0.03144 0.05153 1 -1.369e-7 0.0001568 0.007316 0.001628 0.04035 1.283 0.1921 0.008768 0.0005256 1 1 0.005364 0.06991 0.2307 0.01798 0.2343 0.7732 json
t17_x6_u6_b97 17 6 6 97 min(P,dot(R,nrm(P))) 103402 138293926 o2(x,o2(x,o1(x))) true 144023 144023 -0.4805 0.2494 0.6793 0.3598 0.5999 -1 1 2 1 3.597 0.001801 0.001677 0.03554 0.03578 1 -0.0000226 0.0002313 0.008277 0.002216 0.04707 1.325 0.2735 0.009665 0.0006429 1 1 0.007163 0.0928 0.3439 0.01991 0.2579 0.9558 json
t17_x6_u6_b98 17 6 6 98 min(P,dst(R,nrm(P))) 103403 138293927 o2(x,o2(x,o1(x))) true 144031 144031 -0.02282 0.5 0.9147 0.8864 0.9415 -1 1 2 1 2.307 0.0007897 0.0001774 0.01231 0.6332 1 -0.00001189 0.0001405 0.004211 0.0008155 0.02856 2.319 0.179 0.001091 0.0001585 1 1 0.002115 0.02642 0.2242 0.002387 0.0298 0.253 json
t17_x6_u6_b99 17 6 6 99 dot(P,add(R,nrm(P))) 103404 138293928 o2(x,o2(x,o1(x))) true 144039 144039 0.9277 0.9715 0.9718 0.1007 0.3173 -1 1 2 1 0.6965 0.005969 0.00682 0.01875 -0.06647 1 -0.00008342 0.01852 0.01946 0.01245 0.1116 5.949 2.828 0.1271 0.184 1 1 0.02017 0.1051 0.2791 0.2004 1.044 2.773 json
t17_x6_u6_b100 17 6 6 100 dot(P,sub(R,nrm(P))) 103405 138293929 o2(x,o2(x,o1(x))) true 144047 144047 -0.9605 0.01411 0.9731 0.04082 0.202 -1 1 2 1 0.5639 0.00267 0.002801 0.01383 -0.02397 1 0.00008808 0.00455 0.01214 0.005281 0.07267 5.255 1.442 0.134 0.1115 1 1 0.007306 0.04753 0.08315 0.179 1.164 2.037 json
t17_x6_u6_b101 17 6 6 101 dot(P,mlt(R,nrm(P))) 103406 138293930 o2(x,o2(x,o1(x))) true 144055 144055 0.04851 0.5257 0.8284 0.7712 0.8782 -1 1 2 1 3.095 0.02498 0.02816 0.1061 -0.05978 1 -0.000002897 0.03848 0.0692 0.04187 0.2046 1.928 2.828 0.06891 0.0499 1 1 0.06724 0.5559 1.424 0.08719 0.7209 1.847 json
t17_x6_u6_b102 17 6 6 102 dot(P,div(R,nrm(P))) 103407 138293931 o2(x,o2(x,o1(x))) true 144063 144063 -0.3085 0.3468 0.919 0.797 0.8927 -1 1 2 1 2.11 0.04261 0.05064 0.09819 -0.08616 1 0.0001256 0.1342 0.1089 0.0836 0.2891 2.945 2.828 0.117 0.1684 1 1 0.1061 0.6028 1.391 0.1331 0.7563 1.745 json
t17_x6_u6_b103 17 6 6 103 dot(P,pow(R,nrm(P))) 103408 138293932 o2(x,o2(x,o1(x))) true 144071 144071 -0.9858 0.007813 0.9986 0.02611 0.1616 -1 1 2 1 0.08485 0.003126 0.001676 0.002905 0.302 1 -6.007e-11 0.009923 0.005425 0.004791 0.06922 23.83 2.828 0.1839 0.3801 1 1 0.008498 0.0363 0.09548 0.3255 1.39 3.657 json
t17_x6_u6_b104 17 6 6 104 dot(P,mod(R,nrm(P))) 103409 138293933 o2(x,o2(x,o1(x))) true 144079 144079 -0.2928 0.3522 0.8538 0.7236 0.8507 -1 1 2 1 2.729 0.03074 0.03006 0.09449 0.01123 1 0.00005339 0.07153 0.0769 0.0519 0.2278 2.411 2.072 0.08403 0.09885 1 1 0.0752 0.4912 1.166 0.1039 0.6788 1.611 json
t17_x6_u6_b105 17 6 6 105 dot(P,lrg(R,nrm(P))) 103410 138293934 o2(x,o2(x,o1(x))) true 144087 144087 -0.5489 0.1813 0.7429 0.4141 0.6435 -1 1 2 1 2.369 0.003468 0.004205 0.02854 -0.09596 1 -0.00001775 0.004613 0.0157 0.006859 0.08282 2.902 1.297 0.01853 0.01114 1 1 0.009216 0.08817 0.3355 0.02226 0.2129 0.8101 json
t17_x6_u6_b106 17 6 6 106 dot(P,eql(R,nrm(P))) 103411 138293935 o2(x,o2(x,o1(x))) true 144095 144095 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
t17_x6_u6_b107 17 6 6 107 dot(P,min(R,nrm(P))) 103412 138293936 o2(x,o2(x,o1(x))) true 144103 144103 0.5742 0.7931 0.9109 0.5539 0.7443 -1 1 2 1 1.949 0.01175 0.0145 0.05148 -0.1046 1 -0.00002095 0.01847 0.03522 0.0236 0.1536 2.984 1.685 0.04739 0.03334 1 1 0.03181 0.2704 0.7558 0.05742 0.4882 1.364 json
t17_x6_u6_b108 17 6 6 108 dot(P,dot(R,nrm(P))) 103413 138293937 o2(x,o2(x,o1(x))) true 144111 144111 0.05446 0.5332 0.7548 0.6887 0.8299 -1 1 2 1 3.458 0.02198 0.02899 0.09514 -0.1374 1 -0.0000301 0.047 0.06722 0.04191 0.2047 2.152 2.828 0.07401 0.06824 1 1 0.06407 0.4809 1.276 0.09303 0.6983 1.854 json
t17_x6_u6_b109 17 6 6 109 dot(P,dst(R,nrm(P))) 103414 138293938 o2(x,o2(x,o1(x))) true 144119 144119 -0.01734 0.4916 0.9564 0.9436 0.9714 -1 1 2 1 1.68 0.002717 0.002588 0.01353 0.02439 1 -0.000001941 0.007444 0.008425 0.005122 0.07157 5.291 2.654 0.005622 0.007889 1 1 0.01048 0.07459 0.4905 0.01111 0.07904 0.5198 json
t17_x6_u6_b110 17 6 6 110 dst(P,add(R,nrm(P))) 103415 138293939 o2(x,o2(x,o1(x))) true 144127 144127 0.9662 0.9844 0.9975 0.06197 0.2489 -1 1 2 1 0.2502 0.003475 0.003379 0.004309 0.0139 1 -3.754e-11 0.0141 0.007755 0.006841 0.08271 19.19 2.465 0.1106 0.2275 1 1 0.01213 0.05141 0.2202 0.1957 0.8295 3.553 json
t17_x6_u6_b111 17 6 6 111 dst(P,sub(R,nrm(P))) 103416 138293940 o2(x,o2(x,o1(x))) true 144135 144135 0.9688 0.9844 1 0.06152 0.248 -1 1 2 1 0.1161 0.004031 0.004031 0.004013 0 1 0 0.01663 0.008062 0.008054 0.08974 22.36 2.828 0.131 0.2703 1 1 0.01418 0.05673 0.2269 0.2305 0.9221 3.688 json
t17_x6_u6_b112 17 6 6 112 dst(P,mlt(R,nrm(P))) 103417 138293941 o2(x,o2(x,o1(x))) true 144143 144143 0.9679 0.9844 0.9992 0.06164 0.2483 -1 1 2 1 0.1612 0.003863 0.003525 0.004104 0.04575 1 -1.352e-10 0.01517 0.007882 0.007377 0.08589 20.93 2.454 0.1198 0.246 1 1 0.01304 0.05464 0.225 0.2116 0.8865 3.651 json
t17_x6_u6_b113 17 6 6 113 dst(P,div(R,nrm(P))) 103418 138293942 o2(x,o2(x,o1(x))) true 144151 144151 -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
t17_x6_u6_b114 17 6 6 114 dst(P,pow(R,nrm(P))) 103419 138293943 o2(x,o2(x,o1(x))) true 144159 144159 -0.9766 0.01172 1 0.0463 0.2152 -1 1 2 1 0.09198 0.006047 0.004031 0.005002 0.2 1 0 0.02116 0.01008 0.01005 0.1002 20.04 2.828 0.2177 0.4571 1 1 0.01773 0.07091 0.1684 0.3829 1.532 3.638 json
t17_x6_u6_b115 17 6 6 115 dst(P,mod(R,nrm(P))) 103420 138293944 o2(x,o2(x,o1(x))) true 144167 144167 0.5312 0.7656 1 0.7172 0.8469 -1 1 2 1 0.7856 0.02771 0.02771 0.0277 -0.00001156 1 4.355e-10 0.1113 0.05543 0.05464 0.2337 8.44 2.828 0.07727 0.1552 1 1 0.07001 0.2801 1.12 0.09762 0.3905 1.562 json
t17_x6_u6_b116 17 6 6 116 dst(P,lrg(R,nrm(P))) 103421 138293945 o2(x,o2(x,o1(x))) true 144175 144175 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
t17_x6_u6_b117 17 6 6 117 dst(P,eql(R,nrm(P))) 103422 138293946 o2(x,o2(x,o1(x))) true 144183 144183 0.9964 1 0.9964 0.002289 0.04784 0.000582 1 0.9994 1 0.09109 0.00003966 0.00003966 0.0008105 5.503e-7 0 -4.881e-11 0.00001004 0.0002297 0.00007859 0.008865 10.94 0.1294 0.03466 0.004388 1 1 0.0002733 0.00336 0.008351 0.1194 1.468 3.649 json
t17_x6_u6_b118 17 6 6 118 dst(P,min(R,nrm(P))) 103423 138293947 o2(x,o2(x,o1(x))) true 144191 144191 0.9898 1 0.9898 0.00624 0.07899 0.0004672 1 0.9995 1 0.2276 0.00007195 0.0001192 0.00194 -0.247 1 -2.628e-11 0.00004139 0.0007457 0.0001874 0.01369 7.057 0.1781 0.03063 0.006633 1 1 0.0006425 0.006939 0.02104 0.103 1.112 3.372 json
t17_x6_u6_b119 17 6 6 119 dst(P,dot(R,nrm(P))) 103424 138293948 o2(x,o2(x,o1(x))) true 144199 144199 0.9686 0.9844 0.9999 0.06153 0.248 -1 1 2 1 0.1253 0.004032 0.00391 0.004024 0.01531 1 -3.754e-12 0.01638 0.008028 0.007933 0.08907 22.13 2.828 0.1291 0.2662 1 1 0.01398 0.05639 0.2266 0.2272 0.9165 3.683 json
t17_x6_u6_b120 17 6 6 120 dst(P,dst(R,nrm(P))) 103425 138293949 o2(x,o2(x,o1(x))) true 144207 144207 0.9687 0.9844 1 0.06152 0.248 -1 1 2 1 0.1205 0.004017 0.00401 0.004028 0.0008457 1 -3.004e-11 0.01654 0.008064 0.008018 0.08954 22.23 2.698 0.1305 0.2689 1 1 0.01412 0.05664 0.2268 0.2296 0.9206 3.687 json
t17_x7_u0_b0 17 7 0 0 add(P,add(R,sqt(D))) 103426 138333024 o2(x,o2(x,o1(x))) true 144215 144215 -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
t17_x7_u0_b1 17 7 0 1 add(P,sub(R,sqt(D))) 103427 138333025 o2(x,o2(x,o1(x))) true 144223 144223 -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
t17_x7_u0_b2 17 7 0 2 add(P,mlt(R,sqt(D))) 103428 138333026 o2(x,o2(x,o1(x))) true 144231 144231 -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
t17_x7_u0_b3 17 7 0 3 add(P,div(R,sqt(D))) 103429 138333027 o2(x,o2(x,o1(x))) true 144239 144239 -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
t17_x7_u0_b4 17 7 0 4 add(P,pow(R,sqt(D))) 103430 138333028 o2(x,o2(x,o1(x))) true 144247 144247 -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
t17_x7_u0_b5 17 7 0 5 add(P,mod(R,sqt(D))) 103431 138333029 o2(x,o2(x,o1(x))) true 144255 144255 -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
t17_x7_u0_b6 17 7 0 6 add(P,lrg(R,sqt(D))) 103432 138333030 o2(x,o2(x,o1(x))) true 144263 144263 0.08162 0.5398 0.9359 0.913 0.9555 -1 1 2 1 1.863 0.007103 0.0001193 0.02039 0.967 1 -0.000005578 0.01096 0.01734 0.006809 0.08252 4.048 0.9988 0.00791 0.012 1 1 0.01239 0.061 0.2453 0.01358 0.06681 0.2686 json
t17_x7_u0_b7 17 7 0 7 add(P,eql(R,sqt(D))) 103433 138333031 o2(x,o2(x,o1(x))) true 144271 144271 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.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t17_x7_u0_b8 17 7 0 8 add(P,min(R,sqt(D))) 103434 138333032 o2(x,o2(x,o1(x))) true 144279 144279 -0.001298 0.4967 0.9443 0.9225 0.9605 -1 1 2 1 1.946 0.002041 0.0003005 0.01317 0.7433 1 -0.00001889 0.002197 0.007486 0.002168 0.04656 3.534 0.7208 0.002538 0.002381 1 1 0.004513 0.04208 0.2631 0.004892 0.04561 0.2852 json
t17_x7_u0_b9 17 7 0 9 add(P,dot(R,sqt(D))) 103435 138333033 o2(x,o2(x,o1(x))) true 144287 144287 -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
t17_x7_u0_b10 17 7 0 10 add(P,dst(R,sqt(D))) 103436 138333034 o2(x,o2(x,o1(x))) true 144295 144295 -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
t17_x7_u0_b11 17 7 0 11 sub(P,add(R,sqt(D))) 103437 138333035 o2(x,o2(x,o1(x))) true 144303 144303 -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
t17_x7_u0_b12 17 7 0 12 sub(P,sub(R,sqt(D))) 103438 138333036 o2(x,o2(x,o1(x))) true 144311 144311 -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
t17_x7_u0_b13 17 7 0 13 sub(P,mlt(R,sqt(D))) 103439 138333037 o2(x,o2(x,o1(x))) true 144319 144319 -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
t17_x7_u0_b14 17 7 0 14 sub(P,div(R,sqt(D))) 103440 138333038 o2(x,o2(x,o1(x))) true 144327 144327 -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
t17_x7_u0_b15 17 7 0 15 sub(P,pow(R,sqt(D))) 103441 138333039 o2(x,o2(x,o1(x))) true 144335 144335 -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
t17_x7_u0_b16 17 7 0 16 sub(P,mod(R,sqt(D))) 103442 138333040 o2(x,o2(x,o1(x))) true 144343 144343 -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
t17_x7_u0_b17 17 7 0 17 sub(P,lrg(R,sqt(D))) 103443 138333041 o2(x,o2(x,o1(x))) true 144351 144351 -0.08347 0.4375 0.9309 0.9191 0.9587 -1 1 2 1 1.547 0.005267 0.0001258 0.009002 0.9533 1 0.000005577 0.01012 0.01306 0.005313 0.07289 8.097 1 0.005867 0.01101 1 1 0.007922 0.04064 0.2541 0.008619 0.04421 0.2764 json
t17_x7_u0_b18 17 7 0 18 sub(P,eql(R,sqt(D))) 103444 138333042 o2(x,o2(x,o1(x))) true 144359 144359 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.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t17_x7_u0_b19 17 7 0 19 sub(P,min(R,sqt(D))) 103445 138333043 o2(x,o2(x,o1(x))) true 144367 144367 0.001402 0.5038 0.9388 0.9157 0.9569 -1 1 2 1 2.012 0.001865 0.0003203 0.01247 0.7069 1 0.00001882 0.002426 0.007942 0.002029 0.04504 3.613 0.7667 0.002387 0.002649 1 1 0.004034 0.04019 0.2589 0.004405 0.04389 0.2828 json
t17_x7_u0_b20 17 7 0 20 sub(P,dot(R,sqt(D))) 103446 138333044 o2(x,o2(x,o1(x))) true 144375 144375 -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
t17_x7_u0_b21 17 7 0 21 sub(P,dst(R,sqt(D))) 103447 138333045 o2(x,o2(x,o1(x))) true 144383 144383 -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
t17_x7_u0_b22 17 7 0 22 mlt(P,add(R,sqt(D))) 103448 138333046 o2(x,o2(x,o1(x))) true 144391 144391 -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
t17_x7_u0_b23 17 7 0 23 mlt(P,sub(R,sqt(D))) 103449 138333047 o2(x,o2(x,o1(x))) true 144399 144399 -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
t17_x7_u0_b24 17 7 0 24 mlt(P,mlt(R,sqt(D))) 103450 138333048 o2(x,o2(x,o1(x))) true 144407 144407 -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
t17_x7_u0_b25 17 7 0 25 mlt(P,div(R,sqt(D))) 103451 138333049 o2(x,o2(x,o1(x))) true 144415 144415 -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
t17_x7_u0_b26 17 7 0 26 mlt(P,pow(R,sqt(D))) 103452 138333050 o2(x,o2(x,o1(x))) true 144423 144423 -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
t17_x7_u0_b27 17 7 0 27 mlt(P,mod(R,sqt(D))) 103453 138333051 o2(x,o2(x,o1(x))) true 144431 144431 -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
t17_x7_u0_b28 17 7 0 28 mlt(P,lrg(R,sqt(D))) 103454 138333052 o2(x,o2(x,o1(x))) true 144439 144439 0.0276 0.5 0.7802 0.7391 0.8597 -1 1 2 1 2.995 0.04148 0.00132 0.08041 0.9383 1 0.0002606 0.07597 0.1012 0.03633 0.1906 2.371 1.041 0.05791 0.1028 1 1 0.04727 0.1507 0.2343 0.06396 0.2038 0.317 json
t17_x7_u0_b29 17 7 0 29 mlt(P,eql(R,sqt(D))) 103455 138333053 o2(x,o2(x,o1(x))) true 144447 144447 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
t17_x7_u0_b30 17 7 0 30 mlt(P,min(R,sqt(D))) 103456 138333054 o2(x,o2(x,o1(x))) true 144455 144455 -0.05894 0.4704 0.7059 0.6221 0.7887 -1 1 2 1 3.888 0.02521 0.01785 0.1048 0.1708 1 0.00003997 0.04285 0.07633 0.03206 0.1791 1.708 2.415 0.06921 0.06888 1 1 0.05453 0.4241 0.982 0.08765 0.6817 1.579 json
t17_x7_u0_b31 17 7 0 31 mlt(P,dot(R,sqt(D))) 103457 138333055 o2(x,o2(x,o1(x))) true 144463 144463 -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
t17_x7_u0_b32 17 7 0 32 mlt(P,dst(R,sqt(D))) 103458 138333056 o2(x,o2(x,o1(x))) true 144471 144471 -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
t17_x7_u0_b33 17 7 0 33 div(P,add(R,sqt(D))) 103459 138333057 o2(x,o2(x,o1(x))) true 144479 144479 -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
t17_x7_u0_b34 17 7 0 34 div(P,sub(R,sqt(D))) 103460 138333058 o2(x,o2(x,o1(x))) true 144487 144487 -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
t17_x7_u0_b35 17 7 0 35 div(P,mlt(R,sqt(D))) 103461 138333059 o2(x,o2(x,o1(x))) true 144495 144495 -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
t17_x7_u0_b36 17 7 0 36 div(P,div(R,sqt(D))) 103462 138333060 o2(x,o2(x,o1(x))) true 144503 144503 -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
t17_x7_u0_b37 17 7 0 37 div(P,pow(R,sqt(D))) 103463 138333061 o2(x,o2(x,o1(x))) true 144511 144511 -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
t17_x7_u0_b38 17 7 0 38 div(P,mod(R,sqt(D))) 103464 138333062 o2(x,o2(x,o1(x))) true 144519 144519 -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
t17_x7_u0_b39 17 7 0 39 div(P,lrg(R,sqt(D))) 103465 138333063 o2(x,o2(x,o1(x))) true 144527 144527 -0.9559 0.02319 0.997 0.08297 0.288 -1 1 2 1 0.1913 0.03591 0.008338 0.02336 0.6231 1 1.652e-10 0.09708 0.04696 0.04368 0.209 8.947 2.828 0.5333 1.17 1 1 0.04431 0.134 0.2045 0.5341 1.615 2.465 json
t17_x7_u0_b40 17 7 0 40 div(P,eql(R,sqt(D))) 103466 138333064 o2(x,o2(x,o1(x))) true 144535 144535 -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
t17_x7_u0_b41 17 7 0 41 div(P,min(R,sqt(D))) 103467 138333065 o2(x,o2(x,o1(x))) true 144543 144543 -0.04517 0.479 0.9273 0.9088 0.9533 -1 1 2 1 1.928 0.08287 0.08221 0.1222 0.003971 1 -0.00002449 0.3718 0.1853 0.1502 0.3875 3.172 2.828 0.1817 0.4091 1 1 0.1817 0.8517 1.865 0.2 0.9372 2.052 json
t17_x7_u0_b42 17 7 0 42 div(P,dot(R,sqt(D))) 103468 138333066 o2(x,o2(x,o1(x))) true 144551 144551 -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
t17_x7_u0_b43 17 7 0 43 div(P,dst(R,sqt(D))) 103469 138333067 o2(x,o2(x,o1(x))) true 144559 144559 -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
t17_x7_u0_b44 17 7 0 44 pow(P,add(R,sqt(D))) 103470 138333068 o2(x,o2(x,o1(x))) true 144567 144567 -0.939 0.03711 0.9867 0.101 0.3178 -1 0.9997 2 1 0.3512 0.02485 0.002223 0.01728 0.8358 1 -4.956e-10 0.0585 0.03062 0.02675 0.1636 9.464 2.823 0.268 0.5791 1 1 0.03352 0.119 0.1853 0.3319 1.178 1.834 json
t17_x7_u0_b45 17 7 0 45 pow(P,sub(R,sqt(D))) 103471 138333069 o2(x,o2(x,o1(x))) true 144575 144575 -0.9973 0.002686 0.9974 0.002769 0.05263 -1 0.07333 1.073 1 0.02799 0.002086 0.0003268 0.002363 0.7291 1 1.765e-10 0.005825 0.004771 0.002407 0.04906 20.76 1.518 0.8712 2.103 1 1 0.003195 0.006627 0.009203 1.154 2.393 3.323 json
t17_x7_u0_b46 17 7 0 46 pow(P,mlt(R,sqt(D))) 103472 138333070 o2(x,o2(x,o1(x))) true 144583 144583 -0.9766 0.01563 0.9922 0.03679 0.1918 -1 0.9997 2 1 0.1693 0.005128 0.003616 0.006197 0.173 1 -1.765e-10 0.01829 0.01078 0.008704 0.0933 15.05 2.828 0.2377 0.4971 1 1 0.01203 0.04862 0.1081 0.327 1.322 2.939 json
t17_x7_u0_b47 17 7 0 47 pow(P,div(R,sqt(D))) 103473 138333071 o2(x,o2(x,o1(x))) true 144591 144591 -0.9766 0.01563 0.9922 0.03679 0.1918 -1 0.9997 2 1 0.1693 0.005128 0.003616 0.006197 0.173 1 -1.765e-10 0.01829 0.01078 0.008704 0.0933 15.05 2.828 0.2377 0.4971 1 1 0.01203 0.04862 0.1081 0.327 1.322 2.939 json
t17_x7_u0_b48 17 7 0 48 pow(P,pow(R,sqt(D))) 103474 138333072 o2(x,o2(x,o1(x))) true 144599 144599 -0.9766 0.01563 0.9922 0.03679 0.1918 -1 0.9997 2 1 0.1693 0.005128 0.003616 0.006197 0.173 1 -1.765e-10 0.01829 0.01078 0.008704 0.0933 15.05 2.828 0.2377 0.4971 1 1 0.01203 0.04862 0.1081 0.327 1.322 2.939 json
t17_x7_u0_b49 17 7 0 49 pow(P,mod(R,sqt(D))) 103475 138333073 o2(x,o2(x,o1(x))) true 144607 144607 -0.9766 0.01563 0.9922 0.03679 0.1918 -1 0.9997 2 1 0.1693 0.005128 0.003616 0.006197 0.173 1 -1.765e-10 0.01829 0.01078 0.008704 0.0933 15.05 2.828 0.2377 0.4971 1 1 0.01203 0.04862 0.1081 0.327 1.322 2.939 json
t17_x7_u0_b50 17 7 0 50 pow(P,lrg(R,sqt(D))) 103476 138333074 o2(x,o2(x,o1(x))) true 144615 144615 0.04085 0.5356 0.9696 0.9631 0.9814 -1 1 2 1 1.356 0.01296 0.002825 0.01389 0.6421 1 3.562e-7 0.03312 0.02317 0.01559 0.1248 8.989 2.802 0.01639 0.03438 1 1 0.02289 0.09077 0.3456 0.02377 0.09424 0.3588 json
t17_x7_u0_b51 17 7 0 51 pow(P,eql(R,sqt(D))) 103477 138333075 o2(x,o2(x,o1(x))) true 144623 144623 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
t17_x7_u0_b52 17 7 0 52 pow(P,min(R,sqt(D))) 103478 138333076 o2(x,o2(x,o1(x))) true 144631 144631 -0.1728 0.4531 0.9209 0.8526 0.9234 -1 1 2 1 2.175 0.01359 0.004191 0.02205 0.5288 1 -0.00005054 0.03474 0.02539 0.0173 0.1315 5.966 2.828 0.02086 0.04075 1 1 0.02428 0.107 0.385 0.02848 0.1255 0.4516 json
t17_x7_u0_b53 17 7 0 53 pow(P,dot(R,sqt(D))) 103479 138333077 o2(x,o2(x,o1(x))) true 144639 144639 -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
t17_x7_u0_b54 17 7 0 54 pow(P,dst(R,sqt(D))) 103480 138333078 o2(x,o2(x,o1(x))) true 144647 144647 -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
t17_x7_u0_b55 17 7 0 55 mod(P,add(R,sqt(D))) 103481 138333079 o2(x,o2(x,o1(x))) true 144655 144655 -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
t17_x7_u0_b56 17 7 0 56 mod(P,sub(R,sqt(D))) 103482 138333080 o2(x,o2(x,o1(x))) true 144663 144663 -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
t17_x7_u0_b57 17 7 0 57 mod(P,mlt(R,sqt(D))) 103483 138333081 o2(x,o2(x,o1(x))) true 144671 144671 -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
t17_x7_u0_b58 17 7 0 58 mod(P,div(R,sqt(D))) 103484 138333082 o2(x,o2(x,o1(x))) true 144679 144679 -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
t17_x7_u0_b59 17 7 0 59 mod(P,pow(R,sqt(D))) 103485 138333083 o2(x,o2(x,o1(x))) true 144687 144687 -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
t17_x7_u0_b60 17 7 0 60 mod(P,mod(R,sqt(D))) 103486 138333084 o2(x,o2(x,o1(x))) true 144695 144695 -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
t17_x7_u0_b61 17 7 0 61 mod(P,lrg(R,sqt(D))) 103487 138333085 o2(x,o2(x,o1(x))) true 144703 144703 -0.9543 0 0.9543 0.04359 0.2088 -1 0 1 1 0.2676 0.02088 0.003842 0.02446 0.6892 1 0 0.05552 0.04945 0.02413 0.1553 6.352 1.414 0.5672 1.274 1 1 0.02283 0.05734 0.09029 0.5237 1.316 2.071 json
t17_x7_u0_b62 17 7 0 62 mod(P,eql(R,sqt(D))) 103488 138333086 o2(x,o2(x,o1(x))) true 144711 144711 -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
t17_x7_u0_b63 17 7 0 63 mod(P,min(R,sqt(D))) 103489 138333087 o2(x,o2(x,o1(x))) true 144719 144719 0.0134 0.496 0.2025 0.06444 0.2538 -0.8078 0.7988 1.607 1 4.036 0.004064 0.0002814 0.03718 0.8705 1 0.0001126 0.01052 0.04264 0.002962 0.05443 1.464 0.6879 0.06743 0.1632 1 1 0.003523 0.01719 0.04735 0.05468 0.2668 0.7349 json
t17_x7_u0_b64 17 7 0 64 mod(P,dot(R,sqt(D))) 103490 138333088 o2(x,o2(x,o1(x))) true 144727 144727 -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
t17_x7_u0_b65 17 7 0 65 mod(P,dst(R,sqt(D))) 103491 138333089 o2(x,o2(x,o1(x))) true 144735 144735 -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
t17_x7_u0_b66 17 7 0 66 lrg(P,add(R,sqt(D))) 103492 138333090 o2(x,o2(x,o1(x))) true 144743 144743 0.7172 1 0.7172 0.1375 0.3709 0.000291 1 0.9997 1 2.634 0.03481 0.0001287 0.07041 0.9926 1 -0.00008386 0.06438 0.07427 0.02999 0.1732 2.46 0.9994 0.254 0.4681 1 1 0.03748 0.1344 0.04127 0.2725 0.9771 0.3001 json
t17_x7_u0_b67 17 7 0 67 lrg(P,sub(R,sqt(D))) 103493 138333091 o2(x,o2(x,o1(x))) true 144751 144751 0.7482 1 0.7482 0.1339 0.366 0.000291 1 0.9997 1 2.367 0.0336 0.00008514 0.06343 0.9949 1 -0.00008484 0.06296 0.07075 0.02966 0.1722 2.715 0.9997 0.2515 0.4701 1 1 0.03592 0.1193 0.04057 0.2682 0.891 0.303 json
t17_x7_u0_b68 17 7 0 68 lrg(P,mlt(R,sqt(D))) 103494 138333092 o2(x,o2(x,o1(x))) true 144759 144759 0.7363 1 0.7363 0.136 0.3688 0.000291 1 0.9997 1 2.449 0.0323 0.00005267 0.06339 0.9967 1 -0.00008699 0.05964 0.06691 0.02834 0.1683 2.656 0.9994 0.2379 0.4384 1 1 0.03415 0.1219 0.04032 0.251 0.8959 0.2964 json
t17_x7_u0_b69 17 7 0 69 lrg(P,div(R,sqt(D))) 103495 138333093 o2(x,o2(x,o1(x))) true 144767 144767 0.7293 1 0.7293 0.1338 0.3658 0.000291 1 0.9997 1 2.583 0.03676 0.0002639 0.07311 0.9857 1 -0.00007934 0.0707 0.08147 0.03168 0.178 2.434 0.9997 0.2767 0.5284 1 1 0.03992 0.1362 0.05804 0.2984 1.018 0.4337 json
t17_x7_u0_b70 17 7 0 70 lrg(P,pow(R,sqt(D))) 103496 138333094 o2(x,o2(x,o1(x))) true 144775 144775 0.8564 1 0.8564 0.08008 0.283 0.000291 1 0.9997 1 1.889 0.0155 0.0006008 0.03949 0.9253 1 -0.00005776 0.0287 0.03706 0.01454 0.1206 3.054 0.9997 0.201 0.3583 1 1 0.0171 0.07838 0.09376 0.2135 0.9787 1.171 json
t17_x7_u0_b71 17 7 0 71 lrg(P,mod(R,sqt(D))) 103497 138333095 o2(x,o2(x,o1(x))) true 144783 144783 0.7363 1 0.7363 0.136 0.3688 0.000291 1 0.9997 1 2.449 0.0323 0.00005267 0.06339 0.9967 1 -0.00008699 0.05964 0.06691 0.02834 0.1683 2.656 0.9994 0.2379 0.4384 1 1 0.03415 0.1219 0.04032 0.251 0.8959 0.2964 json
t17_x7_u0_b72 17 7 0 72 lrg(P,lrg(R,sqt(D))) 103498 138333096 o2(x,o2(x,o1(x))) true 144791 144791 0.4237 0.4375 0.4237 0.2406 0.4905 0 1 1 1 1.179 0.002211 0.00008 0.004674 0.9302 1 0.000005221 0.004163 0.005836 0.002269 0.04764 10.19 1 0.009524 0.0173 1 1 0.003725 0.01972 0.08482 0.01548 0.08195 0.3525 json
t17_x7_u0_b73 17 7 0 73 lrg(P,eql(R,sqt(D))) 103499 138333097 o2(x,o2(x,o1(x))) true 144799 144799 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.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json