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
t20_x13_u0_b71 20 13 0 71 add(P,lrg(mod(D,D),D)) 162200 162937304 o2(x,o2(o2(x,x),x)) true 6007 6007 0.03789 0.5156 0.9375 0.9206 0.9595 -1 1 2 1 1.765 0.04223 0 0.0566 1 1 -1.877e-12 0.141 0.09826 0.039 0.1975 3.489 1.014 0.04587 0.1531 1 1 0.01854 0.04918 0.2314 0.02014 0.05343 0.2513 json
t20_x13_u0_b72 20 13 0 72 add(P,lrg(lrg(D,D),D)) 162201 162937305 o2(x,o2(o2(x,x),x)) true 6015 6015 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.0172 0.07175 0.2321 0.01872 0.07812 0.2528 json
t20_x13_u0_b73 20 13 0 73 add(P,lrg(eql(D,D),D)) 162202 162937306 o2(x,o2(o2(x,x),x)) true 6023 6023 0.125 0.5625 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.001851 0.02449 0.2344 0.002038 0.02696 0.2581 json
t20_x13_u0_b74 20 13 0 74 add(P,lrg(min(D,D),D)) 162203 162937307 o2(x,o2(o2(x,x),x)) true 6031 6031 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
t20_x13_u0_b75 20 13 0 75 add(P,lrg(dot(D,D),D)) 162204 162937308 o2(x,o2(o2(x,x),x)) true 6039 6039 0.08018 0.5386 0.9375 0.9161 0.9571 -1 1 2 1 1.857 0.007647 0.002989 0.02386 0.438 1 -0.00001141 0.02638 0.02578 0.01007 0.1003 4.205 1.332 0.01161 0.02879 1 1 0.01692 0.07008 0.2319 0.01847 0.0765 0.2532 json
t20_x13_u0_b76 20 13 0 76 add(P,lrg(dst(D,D),D)) 162205 162937309 o2(x,o2(o2(x,x),x)) true 6047 6047 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.0172 0.07175 0.2321 0.01872 0.07812 0.2528 json
t20_x13_u0_b77 20 13 0 77 add(P,eql(add(D,D),D)) 162206 162937310 o2(x,o2(o2(x,x),x)) true 6055 6055 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
t20_x13_u0_b78 20 13 0 78 add(P,eql(sub(D,D),D)) 162207 162937311 o2(x,o2(o2(x,x),x)) true 6063 6063 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
t20_x13_u0_b79 20 13 0 79 add(P,eql(mlt(D,D),D)) 162208 162937312 o2(x,o2(o2(x,x),x)) true 6071 6071 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
t20_x13_u0_b80 20 13 0 80 add(P,eql(div(D,D),D)) 162209 162937313 o2(x,o2(o2(x,x),x)) true 6079 6079 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
t20_x13_u0_b81 20 13 0 81 add(P,eql(pow(D,D),D)) 162210 162937314 o2(x,o2(o2(x,x),x)) true 6087 6087 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
t20_x13_u0_b82 20 13 0 82 add(P,eql(mod(D,D),D)) 162211 162937315 o2(x,o2(o2(x,x),x)) true 6095 6095 0.04921 0.5156 0.9375 0.9263 0.9624 -1 1 2 1 1.656 0.06463 0 0.0757 1 1 9.489e-10 0.2162 0.1468 0.05886 0.2426 3.205 1.016 0.06978 0.2334 1 1 0.02808 0.04622 0.2409 0.03031 0.0499 0.2601 json
t20_x13_u0_b83 20 13 0 83 add(P,eql(lrg(D,D),D)) 162212 162937316 o2(x,o2(o2(x,x),x)) true 6103 6103 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
t20_x13_u0_b84 20 13 0 84 add(P,eql(eql(D,D),D)) 162213 162937317 o2(x,o2(o2(x,x),x)) true 6111 6111 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
t20_x13_u0_b85 20 13 0 85 add(P,eql(min(D,D),D)) 162214 162937318 o2(x,o2(o2(x,x),x)) true 6119 6119 0.125 0.5625 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.001851 0.02449 0.2344 0.002038 0.02696 0.2581 json
t20_x13_u0_b86 20 13 0 86 add(P,eql(dot(D,D),D)) 162215 162937319 o2(x,o2(o2(x,x),x)) true 6127 6127 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
t20_x13_u0_b87 20 13 0 87 add(P,eql(dst(D,D),D)) 162216 162937320 o2(x,o2(o2(x,x),x)) true 6135 6135 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
t20_x13_u0_b88 20 13 0 88 add(P,min(add(D,D),D)) 162217 162937321 o2(x,o2(o2(x,x),x)) true 6143 6143 -0.01788 0.5 0.9375 0.9168 0.9575 -1 1 2 1 1.905 0.0006647 0 0.007937 1 1 -1.33e-9 0.00006218 0.00219 0.0006019 0.02453 3.091 0.1243 0.000725 0.00006782 1 1 0.001722 0.02185 0.2255 0.001878 0.02383 0.2459 json
t20_x13_u0_b89 20 13 0 89 add(P,min(sub(D,D),D)) 162218 162937322 o2(x,o2(o2(x,x),x)) true 6151 6151 -0.01788 0.4961 0.9375 0.9228 0.9606 -1 1 2 1 1.804 0.00068 0 0.007936 1 1 -6.8e-10 0.00003457 0.001748 0.0006173 0.02485 3.131 0.1105 0.0007369 0.00003746 1 1 0.001781 0.02386 0.2335 0.00193 0.02586 0.2531 json
t20_x13_u0_b90 20 13 0 90 add(P,min(mlt(D,D),D)) 162219 162937323 o2(x,o2(o2(x,x),x)) true 6159 6159 -0.01044 0.5 0.9375 0.9208 0.9596 -1 1 2 1 1.851 0.0005834 0 0.007937 1 1 1.035e-9 0.00002386 0.001414 0.0005205 0.02281 2.874 0.09327 0.0006336 0.00002591 1 1 0.001532 0.02179 0.2304 0.001663 0.02366 0.2502 json
t20_x13_u0_b91 20 13 0 91 add(P,min(div(D,D),D)) 162220 162937324 o2(x,o2(o2(x,x),x)) true 6167 6167 0 0.5 0.9375 0.9165 0.9574 -1 1 2 1 1.979 0.0004883 0 0.007937 1 1 0 0.0000155 0.000496 0.0004253 0.02062 2.598 0.0625 0.0005327 0.00001691 1 1 0.001285 0.01928 0.2245 0.001402 0.02104 0.245 json
t20_x13_u0_b92 20 13 0 92 add(P,min(pow(D,D),D)) 162221 162937325 o2(x,o2(o2(x,x),x)) true 6175 6175 0 0.5 0.9375 0.9165 0.9574 -1 1 2 1 1.979 0.0004883 0 0.007937 1 1 0 0.0000155 0.000496 0.0004253 0.02062 2.598 0.0625 0.0005327 0.00001691 1 1 0.001285 0.01928 0.2245 0.001402 0.02104 0.245 json
t20_x13_u0_b93 20 13 0 93 add(P,min(mod(D,D),D)) 162222 162937326 o2(x,o2(o2(x,x),x)) true 6183 6183 -0.01139 0.4961 0.9375 0.9196 0.959 -1 1 2 1 1.865 0.002419 0 0.01493 1 1 -1.537e-9 0.004936 0.0186 0.002196 0.04686 3.138 0.3287 0.002631 0.005368 1 1 0.003143 0.02179 0.2288 0.003418 0.0237 0.2488 json
t20_x13_u0_b94 20 13 0 94 add(P,min(lrg(D,D),D)) 162223 162937327 o2(x,o2(o2(x,x),x)) true 6191 6191 -0.01788 0.4961 0.9375 0.9228 0.9606 -1 1 2 1 1.804 0.00068 0 0.007936 1 1 -6.8e-10 0.00003457 0.001748 0.0006173 0.02485 3.131 0.1105 0.0007369 0.00003746 1 1 0.001781 0.02386 0.2335 0.00193 0.02586 0.2531 json
t20_x13_u0_b95 20 13 0 95 add(P,min(eql(D,D),D)) 162224 162937328 o2(x,o2(o2(x,x),x)) true 6199 6199 0 0.5 0.9375 0.9165 0.9574 -1 1 2 1 1.979 0.0004883 0 0.007937 1 1 0 0.0000155 0.000496 0.0004253 0.02062 2.598 0.0625 0.0005327 0.00001691 1 1 0.001285 0.01928 0.2245 0.001402 0.02104 0.245 json
t20_x13_u0_b96 20 13 0 96 add(P,min(min(D,D),D)) 162225 162937329 o2(x,o2(o2(x,x),x)) true 6207 6207 0 0.5 0.9375 0.9165 0.9574 -1 1 2 1 1.979 0.0004883 0 0.007937 1 1 0 0.0000155 0.000496 0.0004253 0.02062 2.598 0.0625 0.0005327 0.00001691 1 1 0.001285 0.01928 0.2245 0.001402 0.02104 0.245 json
t20_x13_u0_b97 20 13 0 97 add(P,min(dot(D,D),D)) 162226 162937330 o2(x,o2(o2(x,x),x)) true 6215 6215 -0.005706 0.5 0.9375 0.9186 0.9584 -1 1 2 1 1.945 0.0005323 0.0000295 0.008212 0.895 1 -0.000009445 0.00003863 0.001632 0.0004941 0.02223 2.707 0.09324 0.0006116 0.00004205 1 1 0.00147 0.02088 0.2272 0.001601 0.02273 0.2474 json
t20_x13_u0_b98 20 13 0 98 add(P,min(dst(D,D),D)) 162227 162937331 o2(x,o2(o2(x,x),x)) true 6223 6223 -0.01788 0.4961 0.9375 0.9228 0.9606 -1 1 2 1 1.804 0.00068 0 0.007936 1 1 -6.8e-10 0.00003457 0.001748 0.0006173 0.02485 3.131 0.1105 0.0007369 0.00003746 1 1 0.001781 0.02386 0.2335 0.00193 0.02586 0.2531 json
t20_x13_u0_b99 20 13 0 99 add(P,dot(add(D,D),D)) 162228 162937332 o2(x,o2(o2(x,x),x)) true 6231 6231 0.05952 0.5371 0.9375 0.9116 0.9548 -1 1 2 1 1.951 0.001293 0.0006301 0.01434 0.3447 1 -0.00006107 0.000419 0.005716 0.001718 0.04144 2.889 0.21 0.00211 0.0004596 1 1 0.004858 0.04024 0.2231 0.005329 0.04415 0.2447 json
t20_x13_u0_b100 20 13 0 100 add(P,dot(sub(D,D),D)) 162229 162937333 o2(x,o2(o2(x,x),x)) true 6239 6239 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
t20_x13_u0_b101 20 13 0 101 add(P,dot(mlt(D,D),D)) 162230 162937334 o2(x,o2(o2(x,x),x)) true 6247 6247 0 0.5 0.9375 0.9249 0.9617 -1 1 2 1 1.788 0.000793 0.00001161 0.008214 0.9711 1 2.325e-10 0.00005375 0.002311 0.0007373 0.02715 3.306 0.1354 0.00087 0.00005812 1 1 0.002099 0.02607 0.2356 0.00227 0.02818 0.2548 json
t20_x13_u0_b102 20 13 0 102 add(P,dot(div(D,D),D)) 162231 162937335 o2(x,o2(o2(x,x),x)) true 6255 6255 -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
t20_x13_u0_b103 20 13 0 103 add(P,dot(pow(D,D),D)) 162232 162937336 o2(x,o2(o2(x,x),x)) true 6263 6263 -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
t20_x13_u0_b104 20 13 0 104 add(P,dot(mod(D,D),D)) 162233 162937337 o2(x,o2(o2(x,x),x)) true 6271 6271 -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
t20_x13_u0_b105 20 13 0 105 add(P,dot(lrg(D,D),D)) 162234 162937338 o2(x,o2(o2(x,x),x)) true 6279 6279 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
t20_x13_u0_b106 20 13 0 106 add(P,dot(eql(D,D),D)) 162235 162937339 o2(x,o2(o2(x,x),x)) true 6287 6287 0 0.5 0.9375 0.9167 0.9574 -1 1 2 1 1.979 0.0004915 0.0002065 0.009428 0.4083 1 0 0.00008486 0.002447 0.0006091 0.02468 2.618 0.08798 0.0007614 0.00009257 1 1 0.001812 0.02283 0.2246 0.001977 0.0249 0.245 json
t20_x13_u0_b107 20 13 0 107 add(P,dot(min(D,D),D)) 162236 162937340 o2(x,o2(o2(x,x),x)) true 6295 6295 0.02976 0.5254 0.9375 0.9196 0.959 -1 1 2 1 1.885 0.0008524 0.0001578 0.009947 0.6876 1 -0.00003054 0.000135 0.003248 0.0009115 0.03019 3.035 0.1496 0.001099 0.0001468 1 1 0.0026 0.02805 0.2301 0.002827 0.0305 0.2502 json
t20_x13_u0_b108 20 13 0 108 add(P,dot(dot(D,D),D)) 162237 162937341 o2(x,o2(o2(x,x),x)) true 6303 6303 0 0.4998 0.9375 0.9241 0.9613 -1 1 2 1 1.808 0.0007401 0.00000899 0.008118 0.976 1 1.186e-10 0.00004608 0.002117 0.0006832 0.02614 3.22 0.135 0.0008106 0.00004987 1 1 0.001958 0.02504 0.2345 0.002119 0.0271 0.2538 json
t20_x13_u0_b109 20 13 0 109 add(P,dot(dst(D,D),D)) 162238 162937342 o2(x,o2(o2(x,x),x)) true 6311 6311 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
t20_x13_u0_b110 20 13 0 110 add(P,dst(add(D,D),D)) 162239 162937343 o2(x,o2(o2(x,x),x)) true 6319 6319 0.05549 0.5342 0.9375 0.9113 0.9546 -1 1 2 1 1.963 0.000935 0.0002544 0.01126 0.5722 1 -0.00004394 0.0002205 0.003978 0.001062 0.03259 2.894 0.1593 0.001305 0.000242 1 1 0.003022 0.02891 0.222 0.003316 0.03172 0.2436 json
t20_x13_u0_b111 20 13 0 111 add(P,dst(sub(D,D),D)) 162240 162937344 o2(x,o2(o2(x,x),x)) true 6327 6327 0.05549 0.5342 0.9375 0.9113 0.9546 -1 1 2 1 1.963 0.000935 0.0002544 0.01126 0.5722 1 -0.00004394 0.0002205 0.003978 0.001062 0.03259 2.894 0.1593 0.001305 0.000242 1 1 0.003022 0.02891 0.222 0.003316 0.03172 0.2436 json
t20_x13_u0_b112 20 13 0 112 add(P,dst(mlt(D,D),D)) 162241 162937345 o2(x,o2(o2(x,x),x)) true 6335 6335 0.0569 0.5349 0.9375 0.9119 0.9549 -1 1 2 1 1.966 0.0009325 0.000285 0.01139 0.5319 1 -0.00004738 0.0002218 0.004032 0.001088 0.03298 2.896 0.1656 0.001335 0.0002432 1 1 0.003098 0.02939 0.2221 0.003397 0.03223 0.2435 json
t20_x13_u0_b113 20 13 0 113 add(P,dst(div(D,D),D)) 162242 162937346 o2(x,o2(o2(x,x),x)) true 6343 6343 -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
t20_x13_u0_b114 20 13 0 114 add(P,dst(pow(D,D),D)) 162243 162937347 o2(x,o2(o2(x,x),x)) true 6351 6351 -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
t20_x13_u0_b115 20 13 0 115 add(P,dst(mod(D,D),D)) 162244 162937348 o2(x,o2(o2(x,x),x)) true 6359 6359 -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
t20_x13_u0_b116 20 13 0 116 add(P,dst(lrg(D,D),D)) 162245 162937349 o2(x,o2(o2(x,x),x)) true 6367 6367 0.05549 0.5342 0.9375 0.9113 0.9546 -1 1 2 1 1.963 0.000935 0.0002544 0.01126 0.5722 1 -0.00004394 0.0002205 0.003978 0.001062 0.03259 2.894 0.1593 0.001305 0.000242 1 1 0.003022 0.02891 0.222 0.003316 0.03172 0.2436 json
t20_x13_u0_b117 20 13 0 117 add(P,dst(eql(D,D),D)) 162246 162937350 o2(x,o2(o2(x,x),x)) true 6375 6375 0.2223 0.6021 0.9375 0.8666 0.9309 -1 1 2 1 1.912 0.001013 0.0000775 0.01025 0.8578 1 -0.000005882 0.0001986 0.003925 0.0009856 0.03139 3.063 0.1541 0.001258 0.0002291 1 1 0.002767 0.02742 0.2237 0.003193 0.03164 0.2582 json
t20_x13_u0_b118 20 13 0 118 add(P,dst(min(D,D),D)) 162247 162937351 o2(x,o2(o2(x,x),x)) true 6383 6383 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
t20_x13_u0_b119 20 13 0 119 add(P,dst(dot(D,D),D)) 162248 162937352 o2(x,o2(o2(x,x),x)) true 6391 6391 0.07354 0.5391 0.9375 0.9081 0.953 -1 1 2 1 1.987 0.00138 0.0006133 0.01491 0.3847 1 -0.00006527 0.0004409 0.005889 0.001771 0.04208 2.822 0.2064 0.002195 0.0004855 1 1 0.005029 0.04058 0.2202 0.005538 0.04469 0.2424 json
t20_x13_u0_b120 20 13 0 120 add(P,dst(dst(D,D),D)) 162249 162937353 o2(x,o2(o2(x,x),x)) true 6399 6399 0.05549 0.5342 0.9375 0.9113 0.9546 -1 1 2 1 1.963 0.000935 0.0002544 0.01126 0.5722 1 -0.00004394 0.0002205 0.003978 0.001062 0.03259 2.894 0.1593 0.001305 0.000242 1 1 0.003022 0.02891 0.222 0.003316 0.03172 0.2436 json
t20_x13_u0_b121 20 13 0 121 sub(P,add(add(D,D),D)) 162250 162937354 o2(x,o2(o2(x,x),x)) true 6407 6407 0 0.5 0.9375 0.9162 0.9572 -1 1 2 1 1.907 0.003592 0 0.01946 1 1 0 0.00101 0.01096 0.003215 0.0567 2.914 0.28 0.003921 0.001103 1 1 0.008858 0.05969 0.2239 0.009669 0.06516 0.2444 json
t20_x13_u0_b122 20 13 0 122 sub(P,add(sub(D,D),D)) 162251 162937355 o2(x,o2(o2(x,x),x)) true 6415 6415 0 0.5 0.9375 0.9252 0.9619 -1 1 2 1 1.774 0.001323 0 0.01101 1 1 0 0.0002527 0.005079 0.001202 0.03468 3.15 0.1713 0.00143 0.0002731 1 1 0.003342 0.0331 0.2361 0.003612 0.03578 0.2552 json
t20_x13_u0_b123 20 13 0 123 sub(P,add(mlt(D,D),D)) 162252 162937356 o2(x,o2(o2(x,x),x)) true 6423 6423 -0.01488 0.4883 0.9375 0.924 0.9612 -1 1 2 1 1.777 0.001462 0 0.01153 1 1 -1.419e-9 0.0002731 0.005258 0.001329 0.03646 3.163 0.1848 0.001583 0.0002956 1 1 0.003698 0.03479 0.2349 0.004002 0.03765 0.2542 json
t20_x13_u0_b124 20 13 0 124 sub(P,add(div(D,D),D)) 162253 162937357 o2(x,o2(o2(x,x),x)) true 6431 6431 -0.125 0.4375 0.9375 0.9096 0.9537 -1 1 2 1 1.761 0.001323 0 0.01101 1 1 0 0.0002527 0.005079 0.001202 0.03468 3.15 0.1713 0.001454 0.0002778 1 1 0.003342 0.0331 0.2361 0.003674 0.03639 0.2595 json
t20_x13_u0_b125 20 13 0 125 sub(P,add(pow(D,D),D)) 162254 162937358 o2(x,o2(o2(x,x),x)) true 6439 6439 -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
t20_x13_u0_b126 20 13 0 126 sub(P,add(mod(D,D),D)) 162255 162937359 o2(x,o2(o2(x,x),x)) true 6447 6447 0 0.5 0.9375 0.9264 0.9625 -1 1 2 1 1.75 0.006791 0 0.02319 1 1 0 0.01262 0.03792 0.006255 0.07909 3.41 0.6948 0.007331 0.01362 1 1 0.009645 0.0457 0.2377 0.01041 0.04933 0.2566 json
t20_x13_u0_b127 20 13 0 127 sub(P,add(lrg(D,D),D)) 162256 162937360 o2(x,o2(o2(x,x),x)) true 6455 6455 0 0.5 0.9375 0.9252 0.9619 -1 1 2 1 1.774 0.001323 0 0.01101 1 1 0 0.0002527 0.005079 0.001202 0.03468 3.15 0.1713 0.00143 0.0002731 1 1 0.003342 0.0331 0.2361 0.003612 0.03578 0.2552 json
t20_x13_u0_b128 20 13 0 128 sub(P,add(eql(D,D),D)) 162257 162937361 o2(x,o2(o2(x,x),x)) true 6463 6463 -0.125 0.4375 0.9375 0.9096 0.9537 -1 1 2 1 1.761 0.001323 0 0.01101 1 1 0 0.0002527 0.005079 0.001202 0.03468 3.15 0.1713 0.001454 0.0002778 1 1 0.003342 0.0331 0.2361 0.003674 0.03639 0.2595 json
t20_x13_u0_b129 20 13 0 129 sub(P,add(min(D,D),D)) 162258 162937362 o2(x,o2(o2(x,x),x)) true 6471 6471 0 0.5 0.9375 0.921 0.9597 -1 1 2 1 1.793 0.002325 0 0.01502 1 1 0 0.0006774 0.008348 0.0021 0.04583 3.051 0.2256 0.002524 0.0007355 1 1 0.005717 0.04463 0.2304 0.006208 0.04846 0.2502 json
t20_x13_u0_b130 20 13 0 130 sub(P,add(dot(D,D),D)) 162259 162937363 o2(x,o2(o2(x,x),x)) true 6479 6479 -0.02976 0.4761 0.9375 0.9182 0.9582 -1 1 2 1 1.912 0.001457 0.0001569 0.01275 0.8056 1 0.00003054 0.0003174 0.005324 0.001451 0.03809 2.986 0.1916 0.001758 0.0003457 1 1 0.004083 0.03572 0.2281 0.004447 0.0389 0.2485 json
t20_x13_u0_b131 20 13 0 131 sub(P,add(dst(D,D),D)) 162260 162937364 o2(x,o2(o2(x,x),x)) true 6487 6487 0 0.5 0.9375 0.9252 0.9619 -1 1 2 1 1.774 0.001323 0 0.01101 1 1 0 0.0002527 0.005079 0.001202 0.03468 3.15 0.1713 0.00143 0.0002731 1 1 0.003342 0.0331 0.2361 0.003612 0.03578 0.2552 json
t20_x13_u0_b132 20 13 0 132 sub(P,sub(add(D,D),D)) 162261 162937365 o2(x,o2(o2(x,x),x)) true 6495 6495 0 0.5 0.9375 0.9252 0.9619 -1 1 2 1 1.774 0.001323 0 0.01101 1 1 0 0.0002527 0.005079 0.001202 0.03468 3.15 0.1713 0.00143 0.0002731 1 1 0.003342 0.0331 0.2361 0.003612 0.03578 0.2552 json
t20_x13_u0_b133 20 13 0 133 sub(P,sub(sub(D,D),D)) 162262 162937366 o2(x,o2(o2(x,x),x)) true 6503 6503 0 0.5 0.9375 0.9165 0.9574 -1 1 2 1 1.979 0.0004883 0 0.007937 1 1 0 0.0000155 0.000496 0.0004253 0.02062 2.598 0.0625 0.0005327 0.00001691 1 1 0.001285 0.01928 0.2245 0.001402 0.02104 0.245 json
t20_x13_u0_b134 20 13 0 134 sub(P,sub(mlt(D,D),D)) 162263 162937367 o2(x,o2(o2(x,x),x)) true 6511 6511 -0.01488 0.5 0.9375 0.9191 0.9587 -1 1 2 1 1.901 0.0006451 0 0.007937 1 1 1.124e-9 0.00003986 0.002006 0.0005823 0.02413 3.04 0.1134 0.0007019 0.00004337 1 1 0.001685 0.02225 0.2283 0.001833 0.02421 0.2484 json
t20_x13_u0_b135 20 13 0 135 sub(P,sub(div(D,D),D)) 162264 162937368 o2(x,o2(o2(x,x),x)) true 6519 6519 -0.125 0.4375 0.9375 0.9009 0.9492 -1 1 2 1 1.966 0.0004883 0 0.007937 1 1 -4.967e-9 0.0000155 0.000496 0.0004253 0.02062 2.598 0.0625 0.000542 0.00001721 1 1 0.001285 0.01928 0.2245 0.001426 0.02141 0.2492 json
t20_x13_u0_b136 20 13 0 136 sub(P,sub(pow(D,D),D)) 162265 162937369 o2(x,o2(o2(x,x),x)) true 6527 6527 -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
t20_x13_u0_b137 20 13 0 137 sub(P,sub(mod(D,D),D)) 162266 162937370 o2(x,o2(o2(x,x),x)) true 6535 6535 0 0.5 0.9375 0.9236 0.9611 -1 1 2 1 1.781 0.005427 0 0.02004 1 1 0 0.01194 0.03575 0.005023 0.07088 3.537 0.586 0.005876 0.01292 1 1 0.00648 0.0255 0.234 0.007016 0.02761 0.2533 json
t20_x13_u0_b138 20 13 0 138 sub(P,sub(lrg(D,D),D)) 162267 162937371 o2(x,o2(o2(x,x),x)) true 6543 6543 0 0.5 0.9375 0.9165 0.9574 -1 1 2 1 1.979 0.0004883 0 0.007937 1 1 0 0.0000155 0.000496 0.0004253 0.02062 2.598 0.0625 0.0005327 0.00001691 1 1 0.001285 0.01928 0.2245 0.001402 0.02104 0.245 json
t20_x13_u0_b139 20 13 0 139 sub(P,sub(eql(D,D),D)) 162268 162937372 o2(x,o2(o2(x,x),x)) true 6551 6551 -0.125 0.4375 0.9375 0.9009 0.9492 -1 1 2 1 1.966 0.0004883 0 0.007937 1 1 0 0.0000155 0.000496 0.0004253 0.02062 2.598 0.0625 0.000542 0.00001721 1 1 0.001285 0.01928 0.2245 0.001426 0.02141 0.2492 json
t20_x13_u0_b140 20 13 0 140 sub(P,sub(min(D,D),D)) 162269 162937373 o2(x,o2(o2(x,x),x)) true 6559 6559 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
t20_x13_u0_b141 20 13 0 141 sub(P,sub(dot(D,D),D)) 162270 162937374 o2(x,o2(o2(x,x),x)) true 6567 6567 -0.02976 0.4854 0.9375 0.9197 0.959 -1 1 2 1 1.921 0.0006489 0.0001559 0.009391 0.6126 1 0.00003054 0.00008081 0.002555 0.0007163 0.02676 2.85 0.1243 0.0008751 0.00008786 1 1 0.002087 0.0252 0.2303 0.002269 0.0274 0.2504 json
t20_x13_u0_b142 20 13 0 142 sub(P,sub(dst(D,D),D)) 162271 162937375 o2(x,o2(o2(x,x),x)) true 6575 6575 0 0.5 0.9375 0.9165 0.9574 -1 1 2 1 1.979 0.0004883 0 0.007937 1 1 0 0.0000155 0.000496 0.0004253 0.02062 2.598 0.0625 0.0005327 0.00001691 1 1 0.001285 0.01928 0.2245 0.001402 0.02104 0.245 json
t20_x13_u0_b143 20 13 0 143 sub(P,mlt(add(D,D),D)) 162272 162937376 o2(x,o2(o2(x,x),x)) true 6583 6583 -0.02976 0.4688 0.9375 0.9236 0.961 -1 1 2 1 1.735 0.001306 0 0.01031 1 1 -4.731e-10 0.0001785 0.004198 0.0012 0.03464 3.36 0.1837 0.001414 0.0001933 1 1 0.003346 0.0329 0.2355 0.003623 0.03562 0.255 json
t20_x13_u0_b144 20 13 0 144 sub(P,mlt(sub(D,D),D)) 162273 162937377 o2(x,o2(o2(x,x),x)) true 6591 6591 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
t20_x13_u0_b145 20 13 0 145 sub(P,mlt(mlt(D,D),D)) 162274 162937378 o2(x,o2(o2(x,x),x)) true 6599 6599 0 0.5 0.9375 0.9226 0.9605 -1 1 2 1 1.813 0.0006411 0 0.007936 1 1 0 0.00002617 0.001571 0.0005783 0.02405 3.03 0.09951 0.0006948 0.00002837 1 1 0.001683 0.02309 0.2326 0.001824 0.02503 0.2521 json
t20_x13_u0_b146 20 13 0 146 sub(P,mlt(div(D,D),D)) 162275 162937379 o2(x,o2(o2(x,x),x)) true 6607 6607 0 0.5 0.9375 0.9252 0.9619 -1 1 2 1 1.774 0.001323 0 0.01101 1 1 -8.278e-10 0.0002527 0.005079 0.001202 0.03468 3.15 0.1713 0.00143 0.0002731 1 1 0.003342 0.0331 0.2361 0.003612 0.03578 0.2552 json
t20_x13_u0_b147 20 13 0 147 sub(P,mlt(pow(D,D),D)) 162276 162937380 o2(x,o2(o2(x,x),x)) true 6615 6615 -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
t20_x13_u0_b148 20 13 0 148 sub(P,mlt(mod(D,D),D)) 162277 162937381 o2(x,o2(o2(x,x),x)) true 6623 6623 -0.004479 0.4961 0.9375 0.9244 0.9614 -1 1 2 1 1.752 0.0009676 0 0.008107 1 1 7.096e-10 0.0005909 0.006891 0.0009014 0.03002 3.703 0.2136 0.001047 0.0006392 1 1 0.002175 0.02507 0.235 0.002353 0.02712 0.2542 json
t20_x13_u0_b149 20 13 0 149 sub(P,mlt(lrg(D,D),D)) 162278 162937382 o2(x,o2(o2(x,x),x)) true 6631 6631 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
t20_x13_u0_b150 20 13 0 150 sub(P,mlt(eql(D,D),D)) 162279 162937383 o2(x,o2(o2(x,x),x)) true 6639 6639 0 0.5 0.9375 0.9252 0.9619 -1 1 2 1 1.774 0.001323 0 0.01101 1 1 0 0.0002527 0.005079 0.001202 0.03468 3.15 0.1713 0.00143 0.0002731 1 1 0.003342 0.0331 0.2361 0.003612 0.03578 0.2552 json
t20_x13_u0_b151 20 13 0 151 sub(P,mlt(min(D,D),D)) 162280 162937384 o2(x,o2(o2(x,x),x)) true 6647 6647 -0.01488 0.4805 0.9375 0.9258 0.9622 -1 1 2 1 1.708 0.0008624 0 0.008172 1 1 2.01e-9 0.00006125 0.002474 0.0007962 0.02822 3.453 0.1407 0.0009316 0.00006616 1 1 0.002247 0.02725 0.2373 0.002427 0.02943 0.2563 json
t20_x13_u0_b152 20 13 0 152 sub(P,mlt(dot(D,D),D)) 162281 162937385 o2(x,o2(o2(x,x),x)) true 6655 6655 0 0.4995 0.9375 0.9234 0.961 -1 1 2 1 1.828 0.0006864 0.000001713 0.008087 0.995 1 0 0.00003537 0.001858 0.0006225 0.02495 3.085 0.113 0.0007452 0.0000383 1 1 0.001802 0.02399 0.2337 0.001951 0.02598 0.2531 json
t20_x13_u0_b153 20 13 0 153 sub(P,mlt(dst(D,D),D)) 162282 162937386 o2(x,o2(o2(x,x),x)) true 6663 6663 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
t20_x13_u0_b154 20 13 0 154 sub(P,div(add(D,D),D)) 162283 162937387 o2(x,o2(o2(x,x),x)) true 6671 6671 -0.25 0.375 0.9375 0.8615 0.9282 -1 1 2 1 1.762 0.0007059 0 0.007937 1 1 7.391e-10 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0008194 0.00003756 1 1 0.001851 0.02449 0.2344 0.002149 0.02843 0.2721 json
t20_x13_u0_b155 20 13 0 155 sub(P,div(sub(D,D),D)) 162284 162937388 o2(x,o2(o2(x,x),x)) true 6679 6679 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
t20_x13_u0_b156 20 13 0 156 sub(P,div(mlt(D,D),D)) 162285 162937389 o2(x,o2(o2(x,x),x)) true 6687 6687 0 0.5 0.9375 0.9252 0.9619 -1 1 2 1 1.774 0.001323 0 0.01101 1 1 -8.278e-10 0.0002527 0.005079 0.001202 0.03468 3.15 0.1713 0.00143 0.0002731 1 1 0.003342 0.0331 0.2361 0.003612 0.03578 0.2552 json
t20_x13_u0_b157 20 13 0 157 sub(P,div(div(D,D),D)) 162286 162937390 o2(x,o2(o2(x,x),x)) true 6695 6695 5.959e-8 0.5 0.9531 0.9398 0.9694 -1 1 2 1 1.754 0.3813 0 0.246 1 1 1.896e-9 0.6631 0.3981 0.3208 0.5664 2.302 2 0.4057 0.7056 1 1 0.4269 1.122 0.1505 0.4543 1.193 0.1601 json
t20_x13_u0_b158 20 13 0 158 sub(P,div(pow(D,D),D)) 162287 162937391 o2(x,o2(o2(x,x),x)) true 6703 6703 -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
t20_x13_u0_b159 20 13 0 159 sub(P,div(mod(D,D),D)) 162288 162937392 o2(x,o2(o2(x,x),x)) true 6711 6711 -0.04921 0.4688 0.9375 0.9263 0.9624 -1 1 2 1 1.65 0.06463 0 0.0757 1 1 -9.386e-13 0.2162 0.1468 0.05886 0.2426 3.205 1.016 0.06978 0.2334 1 1 0.02808 0.04622 0.2409 0.03031 0.0499 0.2601 json
t20_x13_u0_b160 20 13 0 160 sub(P,div(lrg(D,D),D)) 162289 162937393 o2(x,o2(o2(x,x),x)) true 6719 6719 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
t20_x13_u0_b161 20 13 0 161 sub(P,div(eql(D,D),D)) 162290 162937394 o2(x,o2(o2(x,x),x)) true 6727 6727 -1.455e-11 0.5 0.9531 0.9398 0.9694 -1 1 2 1 1.754 0.3813 0 0.246 1 1 2.842e-9 0.6631 0.3981 0.3208 0.5664 2.302 2 0.4057 0.7056 1 1 0.4269 1.122 0.1505 0.4543 1.193 0.1601 json
t20_x13_u0_b162 20 13 0 162 sub(P,div(min(D,D),D)) 162291 162937395 o2(x,o2(o2(x,x),x)) true 6735 6735 -0.125 0.4375 0.9375 0.9084 0.9531 -1 1 2 1 1.8 0.0007059 0 0.007937 1 1 5.026e-9 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007771 0.00003562 1 1 0.001851 0.02449 0.2344 0.002038 0.02696 0.2581 json
t20_x13_u0_b163 20 13 0 163 sub(P,div(dot(D,D),D)) 162292 162937396 o2(x,o2(o2(x,x),x)) true 6743 6743 0 0.5 0.9387 0.9194 0.9589 -1 1 2 1 1.944 0.1882 0.01854 0.1419 0.8206 1 -1.502e-11 0.5789 0.2267 0.1867 0.432 3.044 2.495 0.2249 0.6297 1 1 0.1824 0.3728 0.216 0.1984 0.4054 0.2349 json
t20_x13_u0_b164 20 13 0 164 sub(P,div(dst(D,D),D)) 162293 162937397 o2(x,o2(o2(x,x),x)) true 6751 6751 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
t20_x13_u0_b165 20 13 0 165 sub(P,pow(add(D,D),D)) 162294 162937398 o2(x,o2(o2(x,x),x)) true 6759 6759 -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
t20_x13_u0_b166 20 13 0 166 sub(P,pow(sub(D,D),D)) 162295 162937399 o2(x,o2(o2(x,x),x)) true 6767 6767 -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
t20_x13_u0_b167 20 13 0 167 sub(P,pow(mlt(D,D),D)) 162296 162937400 o2(x,o2(o2(x,x),x)) true 6775 6775 -0.1486 0.4375 0.9375 0.894 0.9455 -1 1 2 1 1.813 0.003136 0 0.0155 1 1 -3.075e-9 0.001113 0.009222 0.002895 0.05381 3.471 0.437 0.003508 0.001245 1 1 0.00758 0.05232 0.2232 0.008479 0.05853 0.2497 json
t20_x13_u0_b168 20 13 0 168 sub(P,pow(div(D,D),D)) 162297 162937401 o2(x,o2(o2(x,x),x)) true 6783 6783 -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.001851 0.02449 0.2344 0.002038 0.02696 0.2581 json
t20_x13_u0_b169 20 13 0 169 sub(P,pow(pow(D,D),D)) 162298 162937402 o2(x,o2(o2(x,x),x)) true 6791 6791 -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
t20_x13_u0_b170 20 13 0 170 sub(P,pow(mod(D,D),D)) 162299 162937403 o2(x,o2(o2(x,x),x)) true 6799 6799 -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