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_x23_u0_b61 20 23 0 61 add(P,mod(lrg(R,D),R)) 164200 163341304 o2(x,o2(o2(x,x),x)) true 22007 22007 0.01113 0.5099 0.9387 0.9223 0.9604 -1 1 2 1 1.889 0.0007698 0.00001424 0.008363 0.9637 1 -0.000002749 0.0001613 0.003007 0.000714 0.02672 3.195 0.1662 0.0008501 0.0001749 1 1 0.001974 0.02493 0.2355 0.002141 0.02703 0.2554 json
t20_x23_u0_b62 20 23 0 62 add(P,mod(eql(R,D),R)) 164201 163341305 o2(x,o2(o2(x,x),x)) true 22015 22015 0.00001628 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.000708 2.491e-8 0.007938 0.9999 1 4.755e-8 0.0000396 0.001897 0.0006453 0.0254 3.2 0.2322 0.0007663 0.00004286 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t20_x23_u0_b63 20 23 0 63 add(P,mod(min(R,D),R)) 164202 163341306 o2(x,o2(o2(x,x),x)) true 22023 22023 -0.01983 0.4875 0.9394 0.9191 0.9587 -1 1 2 1 1.948 0.0008835 0.00009858 0.009735 0.7992 1 -0.00000566 0.0005095 0.004453 0.0008877 0.02979 3.061 0.2497 0.001069 0.0005544 1 1 0.002427 0.02995 0.2451 0.002641 0.03258 0.2667 json
t20_x23_u0_b64 20 23 0 64 add(P,mod(dot(R,D),R)) 164203 163341307 o2(x,o2(o2(x,x),x)) true 22031 22031 -0.0007011 0.501 0.934 0.918 0.9581 -1 1 2 1 1.91 0.0009341 0.0002711 0.01057 0.5501 1 -0.000008733 0.001158 0.006038 0.001093 0.03307 3.129 0.5306 0.001313 0.001261 1 1 0.002623 0.02956 0.2332 0.002857 0.0322 0.254 json
t20_x23_u0_b65 20 23 0 65 add(P,mod(dst(R,D),R)) 164204 163341308 o2(x,o2(o2(x,x),x)) true 22039 22039 0.03515 0.5233 0.9395 0.9172 0.9577 -1 1 2 1 1.952 0.002013 0.001103 0.01434 0.2919 1 0.000001789 0.008652 0.01652 0.002908 0.05393 3.762 0.9967 0.003397 0.009433 1 1 0.004269 0.02799 0.2337 0.004655 0.03051 0.2548 json
t20_x23_u0_b66 20 23 0 66 add(P,lrg(add(R,D),R)) 164205 163341309 o2(x,o2(o2(x,x),x)) true 22047 22047 0.0625 0.5 0.9375 0.9336 0.9662 -1 1 2 1 1.272 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.008501 0.017 1 1 0.01053 0.04211 0.2526 0.01128 0.0451 0.2706 json
t20_x23_u0_b67 20 23 0 67 add(P,lrg(sub(R,D),R)) 164206 163341310 o2(x,o2(o2(x,x),x)) true 22055 22055 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_x23_u0_b68 20 23 0 68 add(P,lrg(mlt(R,D),R)) 164207 163341311 o2(x,o2(o2(x,x),x)) true 22063 22063 0.06404 0.5292 0.9418 0.9239 0.9612 -1 1 2 1 1.81 0.0009419 0.000259 0.009869 0.5687 1 0.00001453 0.0001299 0.002631 0.001104 0.03323 3.367 0.2338 0.0013 0.0001406 1 1 0.003125 0.03919 0.2718 0.003382 0.04241 0.2942 json
t20_x23_u0_b69 20 23 0 69 add(P,lrg(div(R,D),R)) 164208 163341312 o2(x,o2(o2(x,x),x)) true 22071 22071 0.06065 0.5312 0.9382 0.9215 0.9599 -1 1 2 1 1.811 0.007365 0.00023 0.01623 0.9394 1 8.881e-7 0.01321 0.01645 0.007335 0.08564 5.275 1 0.008243 0.01433 1 1 0.01163 0.05908 0.2717 0.01262 0.06412 0.2948 json
t20_x23_u0_b70 20 23 0 70 add(P,lrg(pow(R,D),R)) 164209 163341313 o2(x,o2(o2(x,x),x)) true 22079 22079 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_x23_u0_b71 20 23 0 71 add(P,lrg(mod(R,D),R)) 164210 163341314 o2(x,o2(o2(x,x),x)) true 22087 22087 0.04832 0.5206 0.9469 0.9305 0.9646 -1 1 2 1 1.794 0.002831 0.0002306 0.01246 0.8493 1 0.00001306 0.003817 0.008848 0.002905 0.0539 4.325 0.9994 0.00329 0.004102 1 1 0.006229 0.04587 0.2767 0.006694 0.04929 0.2974 json
t20_x23_u0_b72 20 23 0 72 add(P,lrg(lrg(R,D),R)) 164211 163341315 o2(x,o2(o2(x,x),x)) true 22095 22095 0.1194 0.5586 0.938 0.9106 0.9543 -1 1 2 1 1.811 0.001463 0.00003047 0.009943 0.9592 1 7.291e-7 0.001474 0.004756 0.001395 0.03735 3.757 0.9985 0.00164 0.001618 1 1 0.003069 0.02955 0.2376 0.00337 0.03245 0.2609 json
t20_x23_u0_b73 20 23 0 73 add(P,lrg(eql(R,D),R)) 164212 163341316 o2(x,o2(o2(x,x),x)) true 22103 22103 0.06404 0.5292 0.9418 0.9239 0.9612 -1 1 2 1 1.81 0.0009419 0.000259 0.009869 0.5687 1 0.00001453 0.0001299 0.002631 0.001104 0.03323 3.367 0.2338 0.0013 0.0001406 1 1 0.003125 0.03919 0.2718 0.003382 0.04241 0.2942 json
t20_x23_u0_b74 20 23 0 74 add(P,lrg(min(R,D),R)) 164213 163341317 o2(x,o2(o2(x,x),x)) true 22111 22111 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_x23_u0_b75 20 23 0 75 add(P,lrg(dot(R,D),R)) 164214 163341318 o2(x,o2(o2(x,x),x)) true 22119 22119 0.06411 0.5294 0.9417 0.9234 0.961 -1 1 2 1 1.819 0.00118 0.001119 0.01161 0.02634 1 0.0000161 0.003425 0.007165 0.002166 0.04654 4.01 1.404 0.00249 0.003709 1 1 0.004752 0.04214 0.27 0.005146 0.04563 0.2924 json
t20_x23_u0_b76 20 23 0 76 add(P,lrg(dst(R,D),R)) 164215 163341319 o2(x,o2(o2(x,x),x)) true 22127 22127 0.1211 0.5598 0.9369 0.9087 0.9533 -1 1 2 1 1.821 0.001342 0.0004632 0.01006 0.4868 1 -1.528e-7 0.003385 0.005477 0.001703 0.04127 4.101 1.22 0.001987 0.003725 1 1 0.003517 0.02976 0.2356 0.00387 0.03275 0.2593 json
t20_x23_u0_b77 20 23 0 77 add(P,eql(add(R,D),R)) 164216 163341320 o2(x,o2(o2(x,x),x)) true 22135 22135 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_x23_u0_b78 20 23 0 78 add(P,eql(sub(R,D),R)) 164217 163341321 o2(x,o2(o2(x,x),x)) true 22143 22143 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_x23_u0_b79 20 23 0 79 add(P,eql(mlt(R,D),R)) 164218 163341322 o2(x,o2(o2(x,x),x)) true 22151 22151 7.031e-8 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 2.373e-13 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003502 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t20_x23_u0_b80 20 23 0 80 add(P,eql(div(R,D),R)) 164219 163341323 o2(x,o2(o2(x,x),x)) true 22159 22159 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_x23_u0_b81 20 23 0 81 add(P,eql(pow(R,D),R)) 164220 163341324 o2(x,o2(o2(x,x),x)) true 22167 22167 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_x23_u0_b82 20 23 0 82 add(P,eql(mod(R,D),R)) 164221 163341325 o2(x,o2(o2(x,x),x)) true 22175 22175 0.02603 0.5085 0.9312 0.9195 0.9589 -1 1 2 1 1.775 0.004233 0.0001047 0.01342 0.9517 1 2.649e-7 0.00702 0.01423 0.004159 0.06449 4.805 1.015 0.004718 0.007635 1 1 0.007515 0.03876 0.2353 0.008173 0.04216 0.2559 json
t20_x23_u0_b83 20 23 0 83 add(P,eql(lrg(R,D),R)) 164222 163341326 o2(x,o2(o2(x,x),x)) true 22183 22183 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_x23_u0_b84 20 23 0 84 add(P,eql(eql(R,D),R)) 164223 163341327 o2(x,o2(o2(x,x),x)) true 22191 22191 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_x23_u0_b85 20 23 0 85 add(P,eql(min(R,D),R)) 164224 163341328 o2(x,o2(o2(x,x),x)) true 22199 22199 0.06189 0.5259 0.944 0.9295 0.9641 -1 1 2 1 1.719 0.002592 0.000229 0.009909 0.8376 1 0.00001384 0.003793 0.008007 0.002721 0.05217 5.265 0.9997 0.003035 0.004081 1 1 0.005301 0.04236 0.2774 0.005703 0.04557 0.2984 json
t20_x23_u0_b86 20 23 0 86 add(P,eql(dot(R,D),R)) 164225 163341329 o2(x,o2(o2(x,x),x)) true 22207 22207 0.000004679 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007081 0.000002102 0.007948 0.9941 1 2.346e-13 0.0000534 0.001884 0.0006473 0.02544 3.201 0.357 0.0007687 0.00005779 1 1 0.001855 0.0245 0.2344 0.002008 0.02651 0.2537 json
t20_x23_u0_b87 20 23 0 87 add(P,eql(dst(R,D),R)) 164226 163341330 o2(x,o2(o2(x,x),x)) true 22215 22215 8.149e-10 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 8.114e-14 0.007937 1 1 -2.346e-13 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_x23_u0_b88 20 23 0 88 add(P,min(add(R,D),R)) 164227 163341331 o2(x,o2(o2(x,x),x)) true 22223 22223 -0.01351 0.4905 0.9443 0.9228 0.9606 -1 1 2 1 1.943 0.001141 0.0003561 0.01148 0.5244 1 -0.00002051 0.0002634 0.003888 0.001365 0.03695 3.218 0.2912 0.001623 0.0002854 1 1 0.003689 0.04348 0.2697 0.003997 0.04712 0.2923 json
t20_x23_u0_b89 20 23 0 89 add(P,min(sub(R,D),R)) 164228 163341332 o2(x,o2(o2(x,x),x)) true 22231 22231 -0.0135 0.4916 0.9448 0.9228 0.9606 -1 1 2 1 1.942 0.001544 0.0003565 0.01266 0.6248 1 -0.00002055 0.0004094 0.005104 0.00174 0.04171 3.294 0.342 0.002059 0.0004437 1 1 0.004667 0.04808 0.2694 0.005058 0.0521 0.292 json
t20_x23_u0_b90 20 23 0 90 add(P,min(mlt(R,D),R)) 164229 163341333 o2(x,o2(o2(x,x),x)) true 22239 22239 -0.03299 0.4807 0.9449 0.9236 0.9611 -1 1 2 1 1.942 0.0007609 0.0001097 0.008949 0.748 1 -0.00001073 0.00007662 0.002169 0.0007905 0.02812 3.142 0.1942 0.0009425 0.00008295 1 1 0.002246 0.02955 0.2468 0.002432 0.03199 0.2672 json
t20_x23_u0_b91 20 23 0 91 add(P,min(div(R,D),R)) 164230 163341334 o2(x,o2(o2(x,x),x)) true 22247 22247 -0.1898 0.4032 0.9504 0.8945 0.9458 -1 1 2 1 1.85 0.1547 0.007184 0.1099 0.9112 1 -0.00108 0.3578 0.1781 0.1497 0.387 3.52 2.828 0.1809 0.4 1 1 0.1716 0.3788 0.4903 0.1919 0.4235 0.5482 json
t20_x23_u0_b92 20 23 0 92 add(P,min(pow(R,D),R)) 164231 163341335 o2(x,o2(o2(x,x),x)) true 22255 22255 0.003757 0.4974 0.9428 0.9208 0.9596 -1 1 2 1 1.952 0.001169 0.000358 0.0111 0.5311 1 -0.00002042 0.0002765 0.003741 0.001403 0.03746 3.374 0.312 0.001658 0.0003002 1 1 0.003726 0.04331 0.2691 0.004046 0.04703 0.2923 json
t20_x23_u0_b93 20 23 0 93 add(P,min(mod(R,D),R)) 164232 163341336 o2(x,o2(o2(x,x),x)) true 22263 22263 -0.02375 0.4886 0.9462 0.9276 0.9631 -1 1 2 1 1.891 0.001321 0.0001399 0.01041 0.8084 1 -0.00001295 0.001255 0.008298 0.001352 0.03676 3.532 0.3722 0.001575 0.001353 1 1 0.00304 0.03304 0.251 0.003277 0.03562 0.2706 json
t20_x23_u0_b94 20 23 0 94 add(P,min(lrg(R,D),R)) 164233 163341337 o2(x,o2(o2(x,x),x)) true 22271 22271 0.002074 0.4968 0.9426 0.9206 0.9595 -1 1 2 1 1.954 0.001265 0.0003512 0.01158 0.5655 1 -0.00001995 0.0005049 0.004869 0.001483 0.03851 3.326 0.312 0.001756 0.0005484 1 1 0.003821 0.04319 0.2684 0.004151 0.04691 0.2915 json
t20_x23_u0_b95 20 23 0 95 add(P,min(eql(R,D),R)) 164234 163341338 o2(x,o2(o2(x,x),x)) true 22279 22279 -0.03231 0.4815 0.9463 0.928 0.9633 -1 1 2 1 1.884 0.0008346 0.0001011 0.008883 0.7838 1 -0.00001072 0.00008151 0.002361 0.0008571 0.02928 3.296 0.208 0.001008 0.00008783 1 1 0.002395 0.0304 0.2484 0.00258 0.03275 0.2677 json
t20_x23_u0_b96 20 23 0 96 add(P,min(min(R,D),R)) 164235 163341339 o2(x,o2(o2(x,x),x)) true 22287 22287 -0.0352 0.4803 0.9449 0.9223 0.9604 -1 1 2 1 1.948 0.0007462 0.0001114 0.008977 0.7402 1 -0.00001048 0.00008144 0.002162 0.0007767 0.02787 3.104 0.2101 0.0009299 0.00008831 1 1 0.002213 0.02923 0.2448 0.002399 0.0317 0.2654 json
t20_x23_u0_b97 20 23 0 97 add(P,min(dot(R,D),R)) 164236 163341340 o2(x,o2(o2(x,x),x)) true 22295 22295 -0.03358 0.4805 0.9435 0.9213 0.9598 -1 1 2 1 1.96 0.0007649 0.0001885 0.009558 0.6047 1 -0.00001641 0.0001116 0.002624 0.0008622 0.02936 3.072 0.2055 0.001035 0.0001211 1 1 0.0024 0.03062 0.2431 0.002605 0.03324 0.2638 json
t20_x23_u0_b98 20 23 0 98 add(P,min(dst(R,D),R)) 164237 163341341 o2(x,o2(o2(x,x),x)) true 22303 22303 0.003231 0.4971 0.9428 0.9209 0.9597 -1 1 2 1 1.951 0.001175 0.0003574 0.01114 0.5337 1 -0.00002024 0.0002792 0.003803 0.001409 0.03753 3.371 0.312 0.001664 0.0003032 1 1 0.003741 0.04336 0.269 0.004062 0.04709 0.2921 json
t20_x23_u0_b99 20 23 0 99 add(P,dot(add(R,D),R)) 164238 163341342 o2(x,o2(o2(x,x),x)) true 22311 22311 0.1293 0.5662 0.936 0.8972 0.9472 -1 1 2 1 1.992 0.001125 0.0004624 0.01259 0.4174 1 0.00001396 0.0003121 0.004326 0.00143 0.03781 3.004 0.3008 0.001769 0.0003478 1 1 0.003842 0.04305 0.2449 0.004281 0.04798 0.2729 json
t20_x23_u0_b100 20 23 0 100 add(P,dot(sub(R,D),R)) 164239 163341343 o2(x,o2(o2(x,x),x)) true 22319 22319 0.1319 0.5681 0.9338 0.8945 0.9458 -1 1 2 1 1.995 0.001188 0.0004175 0.01248 0.4798 1 -0.00002511 0.0003039 0.00422 0.001449 0.03807 3.051 0.3229 0.001794 0.0003397 1 1 0.003795 0.04289 0.2409 0.004243 0.04795 0.2693 json
t20_x23_u0_b101 20 23 0 101 add(P,dot(mlt(R,D),R)) 164240 163341344 o2(x,o2(o2(x,x),x)) true 22327 22327 -0.000218 0.4996 0.9368 0.9192 0.9588 -1 1 2 1 1.94 0.0006042 0.00006865 0.008613 0.7959 1 -7.953e-8 0.00005201 0.001887 0.0005985 0.02446 2.84 0.1527 0.0007319 0.00005658 1 1 0.001766 0.02375 0.2327 0.001921 0.02584 0.2531 json
t20_x23_u0_b102 20 23 0 102 add(P,dot(div(R,D),R)) 164241 163341345 o2(x,o2(o2(x,x),x)) true 22335 22335 -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_x23_u0_b103 20 23 0 103 add(P,dot(pow(R,D),R)) 164242 163341346 o2(x,o2(o2(x,x),x)) true 22343 22343 -0.9999 0 0.9999 0.00001512 0.003888 -1 -0.6759 0.3241 1 0.004467 0.000005993 0.000007593 0.00006684 -0.1178 0 -7.509e-12 0.00002946 0.0001048 0.00001358 0.003685 55.13 0.3246 0.8986 1.948 1 1 0.00002695 0.00005492 0.0000498 1.783 3.632 3.294 json
t20_x23_u0_b104 20 23 0 104 add(P,dot(mod(R,D),R)) 164243 163341347 o2(x,o2(o2(x,x),x)) true 22351 22351 0.05747 0.5313 0.9409 0.9166 0.9574 -1 1 2 1 1.966 0.001181 0.0005238 0.01243 0.3855 1 -0.00001061 0.002328 0.0137 0.00155 0.03937 3.167 0.4031 0.00186 0.00254 1 1 0.002922 0.02923 0.2352 0.003188 0.03189 0.2566 json
t20_x23_u0_b105 20 23 0 105 add(P,dot(lrg(R,D),R)) 164244 163341348 o2(x,o2(o2(x,x),x)) true 22359 22359 0.09382 0.5503 0.9396 0.9089 0.9534 -1 1 2 1 1.991 0.001263 0.0005531 0.01255 0.3908 1 -0.00001234 0.001019 0.007306 0.001659 0.04073 3.245 0.4825 0.001998 0.001121 1 1 0.004029 0.04185 0.2556 0.004433 0.04604 0.2812 json
t20_x23_u0_b106 20 23 0 106 add(P,dot(eql(R,D),R)) 164245 163341349 o2(x,o2(o2(x,x),x)) true 22367 22367 -0.00002379 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007114 5.318e-8 0.007947 0.9999 1 -6.949e-8 0.00004792 0.001917 0.0006485 0.02547 3.205 0.3024 0.00077 0.00005187 1 1 0.001851 0.02449 0.2344 0.002003 0.02651 0.2537 json
t20_x23_u0_b107 20 23 0 107 add(P,dot(min(R,D),R)) 164246 163341350 o2(x,o2(o2(x,x),x)) true 22375 22375 0.06469 0.5367 0.9404 0.916 0.9571 -1 1 2 1 1.951 0.0008289 0.000358 0.01065 0.3967 1 0.00001548 0.0001574 0.003017 0.001074 0.03277 3.078 0.275 0.001296 0.0001718 1 1 0.003007 0.03699 0.2502 0.003283 0.04038 0.2731 json
t20_x23_u0_b108 20 23 0 108 add(P,dot(dot(R,D),R)) 164247 163341351 o2(x,o2(o2(x,x),x)) true 22383 22383 -0.0002007 0.4988 0.9335 0.9158 0.957 -1 1 2 1 1.945 0.0006646 0.0001475 0.009217 0.6369 1 -0.000003358 0.00009557 0.002395 0.0007271 0.02697 2.926 0.1901 0.0008867 0.0001044 1 1 0.002142 0.02693 0.2304 0.002339 0.02941 0.2515 json
t20_x23_u0_b109 20 23 0 109 add(P,dot(dst(R,D),R)) 164248 163341352 o2(x,o2(o2(x,x),x)) true 22391 22391 0.007928 0.5031 0.9391 0.918 0.9581 -1 1 2 1 1.966 0.002407 0.001742 0.01925 0.1603 1 -0.0000232 0.001121 0.007849 0.003777 0.06146 3.193 0.5351 0.00452 0.001222 1 1 0.01049 0.1045 0.3544 0.01143 0.1139 0.3861 json
t20_x23_u0_b110 20 23 0 110 add(P,dst(add(R,D),R)) 164249 163341353 o2(x,o2(o2(x,x),x)) true 22399 22399 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_x23_u0_b111 20 23 0 111 add(P,dst(sub(R,D),R)) 164250 163341354 o2(x,o2(o2(x,x),x)) true 22407 22407 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_x23_u0_b112 20 23 0 112 add(P,dst(mlt(R,D),R)) 164251 163341355 o2(x,o2(o2(x,x),x)) true 22415 22415 0.1254 0.5667 0.9372 0.9007 0.9491 -1 1 2 1 1.979 0.0009827 0.0001415 0.01032 0.7483 1 -0.000003461 0.0001865 0.003673 0.001018 0.03191 3.093 0.2265 0.001248 0.000207 1 1 0.002747 0.03028 0.2315 0.00305 0.03362 0.2571 json
t20_x23_u0_b113 20 23 0 113 add(P,dst(div(R,D),R)) 164252 163341356 o2(x,o2(o2(x,x),x)) true 22423 22423 -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_x23_u0_b114 20 23 0 114 add(P,dst(pow(R,D),R)) 164253 163341357 o2(x,o2(o2(x,x),x)) true 22431 22431 -1 0 1 4.214e-11 0.000006492 -1 -0.9983 0.001662 1 0 8.698e-11 8.698e-11 8.935e-8 0 0 -3.754e-12 8.698e-10 2.093e-7 1.739e-10 0.00001319 147.6 0.00235 4.128 20.64 1 1 1.53e-10 1.53e-10 1.53e-10 3.631 3.631 3.631 json
t20_x23_u0_b115 20 23 0 115 add(P,dst(mod(R,D),R)) 164254 163341358 o2(x,o2(o2(x,x),x)) true 22439 22439 0.08102 0.541 0.9362 0.9089 0.9534 -1 1 2 1 1.952 0.001343 0.0005121 0.01287 0.4478 1 0.000004492 0.002835 0.0154 0.001689 0.0411 3.194 0.3798 0.00204 0.003119 1 1 0.003055 0.0283 0.2333 0.003361 0.03113 0.2567 json
t20_x23_u0_b116 20 23 0 116 add(P,dst(lrg(R,D),R)) 164255 163341359 o2(x,o2(o2(x,x),x)) true 22447 22447 0.1234 0.5621 0.9418 0.9073 0.9525 -1 1 2 1 1.932 0.001388 0.0007395 0.01273 0.3048 1 0.00001005 0.002494 0.008974 0.001964 0.04432 3.482 0.809 0.002345 0.002749 1 1 0.004155 0.03261 0.2415 0.004579 0.03595 0.2662 json
t20_x23_u0_b117 20 23 0 117 add(P,dst(eql(R,D),R)) 164256 163341360 o2(x,o2(o2(x,x),x)) true 22455 22455 0.1228 0.5638 0.9362 0.9005 0.9489 -1 1 2 1 1.979 0.0007835 0.00009467 0.008974 0.7844 1 -0.000002358 0.0001175 0.002698 0.0007974 0.02824 3.147 0.2056 0.0009753 0.0001304 1 1 0.002174 0.02655 0.2276 0.002415 0.02948 0.2528 json
t20_x23_u0_b118 20 23 0 118 add(P,dst(min(R,D),R)) 164257 163341361 o2(x,o2(o2(x,x),x)) true 22463 22463 0.08541 0.5446 0.9372 0.9092 0.9535 -1 1 2 1 1.986 0.001086 0.000271 0.01158 0.6005 1 -0.00001423 0.0002464 0.004182 0.001223 0.03497 3.02 0.2764 0.001492 0.0002711 1 1 0.003355 0.03598 0.2434 0.00369 0.03957 0.2678 json
t20_x23_u0_b119 20 23 0 119 add(P,dst(dot(R,D),R)) 164258 163341362 o2(x,o2(o2(x,x),x)) true 22471 22471 0.1336 0.5697 0.9378 0.8988 0.948 -1 1 2 1 1.975 0.001014 0.0002374 0.01099 0.6206 1 -0.000007982 0.0002214 0.003843 0.001131 0.03363 3.061 0.2478 0.001392 0.0002463 1 1 0.00312 0.03411 0.2348 0.003471 0.03796 0.2612 json
t20_x23_u0_b120 20 23 0 120 add(P,dst(dst(R,D),R)) 164259 163341363 o2(x,o2(o2(x,x),x)) true 22479 22479 0.2518 0.6263 0.9409 0.8585 0.9265 -1 1 2 1 1.868 0.00145 0.000799 0.01427 0.2895 1 -0.000024 0.0005195 0.005377 0.002046 0.04523 3.17 0.4368 0.00262 0.0006051 1 1 0.005647 0.05941 0.283 0.006577 0.06921 0.3296 json
t20_x23_u0_b121 20 23 0 121 sub(P,add(add(R,D),R)) 164260 163341364 o2(x,o2(o2(x,x),x)) true 22487 22487 -0.009223 0.4928 0.939 0.9172 0.9577 -1 1 2 1 2 0.003142 0.001605 0.02127 0.3239 1 0.0000321 0.001297 0.00911 0.004297 0.06555 3.081 0.6039 0.005176 0.001414 1 1 0.0111 0.1074 0.3615 0.0121 0.1171 0.3941 json
t20_x23_u0_b122 20 23 0 122 sub(P,add(sub(R,D),R)) 164261 163341365 o2(x,o2(o2(x,x),x)) true 22495 22495 -0.009017 0.4937 0.938 0.9164 0.9573 -1 1 2 1 2.003 0.002354 0.001595 0.02018 0.192 1 0.00002855 0.0008725 0.007446 0.003543 0.05952 2.949 0.4952 0.004309 0.000952 1 1 0.009227 0.1009 0.3572 0.01007 0.1101 0.3897 json
t20_x23_u0_b123 20 23 0 123 sub(P,add(mlt(R,D),R)) 164262 163341366 o2(x,o2(o2(x,x),x)) true 22503 22503 -0.004134 0.5018 0.9381 0.9147 0.9564 -1 1 2 1 2.021 0.001284 0.0004163 0.01267 0.5104 1 0.00002004 0.000315 0.004315 0.00154 0.03924 3.097 0.3479 0.001859 0.0003443 1 1 0.004159 0.04699 0.2675 0.004547 0.05138 0.2925 json
t20_x23_u0_b124 20 23 0 124 sub(P,add(div(R,D),R)) 164263 163341367 o2(x,o2(o2(x,x),x)) true 22511 22511 -0.001287 0.4992 0.9469 0.9291 0.9639 -1 1 2 1 1.853 0.317 0.02064 0.2124 0.8777 1 -0.0004985 0.7921 0.3567 0.2924 0.5408 2.546 2.828 0.3634 0.8526 1 1 0.3408 0.7524 0.8272 0.3668 0.8097 0.8903 json
t20_x23_u0_b125 20 23 0 125 sub(P,add(pow(R,D),R)) 164264 163341368 o2(x,o2(o2(x,x),x)) true 22519 22519 -0.9919 0.003906 0.9997 0.0156 0.1249 -1 1 2 1 0.05835 0.001023 0.001771 0.001537 -0.2677 1 -1.877e-11 0.005842 0.002992 0.002791 0.05283 34.36 2 0.179 0.3744 1 1 0.000003783 0.00002378 0.01334 0.0002425 0.001524 0.8548 json
t20_x23_u0_b126 20 23 0 126 sub(P,add(mod(R,D),R)) 164265 163341369 o2(x,o2(o2(x,x),x)) true 22527 22527 -0.003675 0.5036 0.937 0.9131 0.9555 -1 1 2 1 2.025 0.002138 0.0005467 0.01561 0.5928 1 0.00002376 0.002851 0.01492 0.002442 0.04942 3.166 0.4707 0.002941 0.003123 1 1 0.005113 0.05049 0.277 0.0056 0.0553 0.3034 json
t20_x23_u0_b127 20 23 0 127 sub(P,add(lrg(R,D),R)) 164266 163341370 o2(x,o2(o2(x,x),x)) true 22535 22535 -0.07087 0.4648 0.9385 0.9112 0.9545 -1 1 2 1 2.008 0.003482 0.001208 0.01859 0.485 1 0.0000321 0.003834 0.01149 0.004345 0.06592 3.546 1.23 0.005147 0.004208 1 1 0.01015 0.09256 0.3193 0.01114 0.1016 0.3504 json
t20_x23_u0_b128 20 23 0 128 sub(P,add(eql(R,D),R)) 164267 163341371 o2(x,o2(o2(x,x),x)) true 22543 22543 -0.004652 0.5032 0.9367 0.9129 0.9555 -1 1 2 1 2.013 0.001163 0.0003843 0.01161 0.5031 1 0.00002039 0.0003187 0.003987 0.001413 0.03758 3.236 0.4677 0.001695 0.000349 1 1 0.003782 0.0437 0.2627 0.004143 0.04787 0.2877 json
t20_x23_u0_b129 20 23 0 129 sub(P,add(min(R,D),R)) 164268 163341372 o2(x,o2(o2(x,x),x)) true 22551 22551 0.0331 0.5159 0.9373 0.9133 0.9557 -1 1 2 1 2.003 0.001973 0.0008951 0.01626 0.3758 1 0.00002735 0.0006945 0.006578 0.002604 0.05103 3.139 0.4718 0.00314 0.0007604 1 1 0.006683 0.06796 0.3056 0.007317 0.0744 0.3346 json
t20_x23_u0_b130 20 23 0 130 sub(P,add(dot(R,D),R)) 164269 163341373 o2(x,o2(o2(x,x),x)) true 22559 22559 -0.00328 0.5007 0.9361 0.9124 0.9552 -1 1 2 1 2.036 0.001283 0.0005279 0.01337 0.417 1 0.000004986 0.0003541 0.004697 0.001631 0.04039 3.02 0.3657 0.001985 0.0003881 1 1 0.00436 0.04841 0.262 0.004779 0.05306 0.2871 json
t20_x23_u0_b131 20 23 0 131 sub(P,add(dst(R,D),R)) 164270 163341374 o2(x,o2(o2(x,x),x)) true 22567 22567 -0.1444 0.4232 0.9404 0.8975 0.9473 -1 1 2 1 1.954 0.001429 0.0007015 0.01434 0.3415 1 0.00002551 0.0004223 0.004992 0.001925 0.04388 3.059 0.3234 0.002374 0.0004705 1 1 0.005304 0.05838 0.2626 0.00591 0.06505 0.2926 json
t20_x23_u0_b132 20 23 0 132 sub(P,sub(add(R,D),R)) 164271 163341375 o2(x,o2(o2(x,x),x)) true 22575 22575 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_x23_u0_b133 20 23 0 133 sub(P,sub(sub(R,D),R)) 164272 163341376 o2(x,o2(o2(x,x),x)) true 22583 22583 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_x23_u0_b134 20 23 0 134 sub(P,sub(mlt(R,D),R)) 164273 163341377 o2(x,o2(o2(x,x),x)) true 22591 22591 0.004062 0.4992 0.9444 0.9233 0.9609 -1 1 2 1 1.939 0.001304 0.0003848 0.012 0.5442 1 -0.00002051 0.0003207 0.004168 0.001545 0.03931 3.275 0.3299 0.001829 0.0003473 1 1 0.004119 0.04698 0.2741 0.004461 0.05088 0.2969 json
t20_x23_u0_b135 20 23 0 135 sub(P,sub(div(R,D),R)) 164274 163341378 o2(x,o2(o2(x,x),x)) true 22599 22599 0.001038 0.5012 0.9475 0.9298 0.9643 -1 1 2 1 1.845 0.318 0.02094 0.213 0.8765 1 -0.0008286 0.7895 0.3579 0.2933 0.5416 2.542 2.828 0.3645 0.8491 1 1 0.3427 0.7569 0.8236 0.3685 0.814 0.8858 json
t20_x23_u0_b136 20 23 0 136 sub(P,sub(pow(R,D),R)) 164275 163341379 o2(x,o2(o2(x,x),x)) true 22607 22607 -0.9871 0.006348 0.9973 0.0219 0.148 -1 1 2 1 0.1104 0.001837 0.002608 0.002925 -0.1736 1 0 0.009283 0.00508 0.004437 0.06661 22.77 2.634 0.2029 0.4238 1 1 0.0003578 0.002499 0.01915 0.01634 0.1141 0.8742 json
t20_x23_u0_b137 20 23 0 137 sub(P,sub(mod(R,D),R)) 164276 163341380 o2(x,o2(o2(x,x),x)) true 22615 22615 0.003414 0.4965 0.9416 0.9192 0.9587 -1 1 2 1 1.96 0.001908 0.0002602 0.01342 0.76 1 -0.00001568 0.002504 0.0134 0.001989 0.0446 3.324 0.6185 0.002359 0.002724 1 1 0.00409 0.03989 0.2575 0.00445 0.0434 0.2802 json
t20_x23_u0_b138 20 23 0 138 sub(P,sub(lrg(R,D),R)) 164277 163341381 o2(x,o2(o2(x,x),x)) true 22623 22623 -0.05992 0.4685 0.9454 0.9186 0.9584 -1 1 2 1 1.979 0.002254 0.0001043 0.009611 0.9115 1 -0.000006255 0.003497 0.008108 0.002265 0.0476 4.952 0.9993 0.002567 0.003807 1 1 0.004185 0.03043 0.2364 0.004556 0.03313 0.2574 json
t20_x23_u0_b139 20 23 0 139 sub(P,sub(eql(R,D),R)) 164278 163341382 o2(x,o2(o2(x,x),x)) true 22631 22631 0.003716 0.4973 0.9428 0.9208 0.9596 -1 1 2 1 1.952 0.001184 0.0003589 0.01114 0.5348 1 -0.00002053 0.0003208 0.003854 0.001419 0.03767 3.383 0.3969 0.001676 0.0003483 1 1 0.003726 0.04331 0.2692 0.004046 0.04703 0.2923 json
t20_x23_u0_b140 20 23 0 140 sub(P,sub(min(R,D),R)) 164279 163341383 o2(x,o2(o2(x,x),x)) true 22639 22639 0.03824 0.5164 0.935 0.9145 0.9563 -1 1 2 1 1.939 0.00118 0.000121 0.01072 0.8141 1 -0.00001046 0.0002597 0.004045 0.001186 0.03444 3.212 0.249 0.001423 0.000284 1 1 0.003231 0.03392 0.2429 0.003533 0.03709 0.2656 json
t20_x23_u0_b141 20 23 0 141 sub(P,sub(dot(R,D),R)) 164280 163341384 o2(x,o2(o2(x,x),x)) true 22647 22647 0.003509 0.4987 0.9444 0.9234 0.961 -1 1 2 1 1.951 0.001345 0.0005008 0.013 0.4574 1 -0.000003131 0.0003568 0.004545 0.001677 0.04095 3.151 0.3422 0.001999 0.0003864 1 1 0.00454 0.05161 0.2829 0.004916 0.05589 0.3063 json
t20_x23_u0_b142 20 23 0 142 sub(P,sub(dst(R,D),R)) 164281 163341385 o2(x,o2(o2(x,x),x)) true 22655 22655 -0.122 0.4399 0.9402 0.9047 0.9512 -1 1 2 1 1.943 0.001206 0.0005501 0.01275 0.3734 1 -0.00001346 0.0003203 0.004369 0.001593 0.03991 3.13 0.3435 0.001941 0.000354 1 1 0.00442 0.0489 0.256 0.004886 0.05405 0.283 json
t20_x23_u0_b143 20 23 0 143 sub(P,mlt(add(R,D),R)) 164282 163341386 o2(x,o2(o2(x,x),x)) true 22663 22663 -0.04707 0.476 0.9365 0.9121 0.9551 -1 1 2 1 1.974 0.0009184 0.0001129 0.009974 0.781 1 -0.000002006 0.0001692 0.003196 0.0009316 0.03052 3.06 0.2392 0.001131 0.0001855 1 1 0.002611 0.0308 0.2339 0.002862 0.03376 0.2565 json
t20_x23_u0_b144 20 23 0 144 sub(P,mlt(sub(R,D),R)) 164283 163341387 o2(x,o2(o2(x,x),x)) true 22671 22671 -0.04869 0.4689 0.9379 0.9145 0.9563 -1 1 2 1 1.978 0.0008625 0.0001221 0.00984 0.752 1 -0.000003125 0.0001362 0.00301 0.0008874 0.02979 3.027 0.2441 0.001077 0.0001489 1 1 0.002556 0.0313 0.2386 0.002795 0.03422 0.2609 json
t20_x23_u0_b145 20 23 0 145 sub(P,mlt(mlt(R,D),R)) 164284 163341388 o2(x,o2(o2(x,x),x)) true 22679 22679 0.0002544 0.5 0.9371 0.9249 0.9617 -1 1 2 1 1.783 0.0009089 0.00000592 0.008954 0.9871 1 1.708e-7 0.00008525 0.002978 0.0008346 0.02889 3.226 0.1635 0.0009891 0.00009217 1 1 0.002314 0.02773 0.2348 0.002502 0.02998 0.2539 json
t20_x23_u0_b146 20 23 0 146 sub(P,mlt(div(R,D),R)) 164285 163341389 o2(x,o2(o2(x,x),x)) true 22687 22687 0.002312 0.5006 0.9469 0.929 0.9639 -1 1 2 1 1.862 0.2862 0.004859 0.1914 0.9666 1 0.000002875 0.6632 0.3109 0.2542 0.5042 2.635 2.797 0.3133 0.7139 1 1 0.2866 0.5742 0.3956 0.3085 0.6181 0.4259 json
t20_x23_u0_b147 20 23 0 147 sub(P,mlt(pow(R,D),R)) 164286 163341390 o2(x,o2(o2(x,x),x)) true 22695 22695 -0.9882 0.005463 0.9964 0.01905 0.138 -1 1 2 1 0.1083 0.001406 0.002233 0.002522 -0.2273 1 6.007e-11 0.007594 0.004516 0.003631 0.06026 23.89 2 0.191 0.3986 1 1 0.0001795 0.001283 0.01654 0.009424 0.06733 0.8681 json
t20_x23_u0_b148 20 23 0 148 sub(P,mlt(mod(R,D),R)) 164287 163341391 o2(x,o2(o2(x,x),x)) true 22703 22703 -0.009868 0.4861 0.9375 0.9241 0.9613 -1 1 2 1 1.808 0.001066 0.000003883 0.008843 0.9927 1 -2.554e-7 0.0009927 0.008146 0.0009911 0.03148 3.56 0.3559 0.001158 0.001074 1 1 0.002173 0.02546 0.2352 0.002352 0.02755 0.2546 json
t20_x23_u0_b149 20 23 0 149 sub(P,mlt(lrg(R,D),R)) 164288 163341392 o2(x,o2(o2(x,x),x)) true 22711 22711 -0.03496 0.4862 0.9298 0.9095 0.9537 -1 1 2 1 1.953 0.001016 0.0001276 0.009551 0.7768 1 0.00001114 0.0005023 0.004548 0.001053 0.03244 3.397 0.3973 0.001257 0.0005523 1 1 0.002749 0.03036 0.2358 0.003022 0.03338 0.2593 json
t20_x23_u0_b150 20 23 0 150 sub(P,mlt(eql(R,D),R)) 164289 163341393 o2(x,o2(o2(x,x),x)) true 22719 22719 0.00002379 0.5 0.9375 0.924 0.9613 -1 1 2 1 1.813 0.0007106 5.318e-8 0.007945 0.9999 1 6.947e-8 0.00004785 0.00192 0.0006477 0.02545 3.203 0.2919 0.0007691 0.00005179 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t20_x23_u0_b151 20 23 0 151 sub(P,mlt(min(R,D),R)) 164290 163341394 o2(x,o2(o2(x,x),x)) true 22727 22727 -0.02095 0.4846 0.945 0.9285 0.9636 -1 1 2 1 1.858 0.0009788 0.00008253 0.009594 0.8445 1 -0.00000877 0.0001216 0.003261 0.000969 0.03113 3.245 0.221 0.001143 0.000131 1 1 0.00268 0.03191 0.2466 0.002887 0.03437 0.2655 json
t20_x23_u0_b152 20 23 0 152 sub(P,mlt(dot(R,D),R)) 164291 163341395 o2(x,o2(o2(x,x),x)) true 22735 22735 0.0004606 0.502 0.9373 0.9232 0.9608 -1 1 2 1 1.857 0.000918 0.00004486 0.009442 0.9068 1 6.505e-7 0.0001106 0.003116 0.0008732 0.02955 3.13 0.1869 0.001043 0.0001198 1 1 0.002399 0.02824 0.234 0.002599 0.03059 0.2535 json
t20_x23_u0_b153 20 23 0 153 sub(P,mlt(dst(R,D),R)) 164292 163341396 o2(x,o2(o2(x,x),x)) true 22743 22743 -0.005729 0.4996 0.9374 0.9158 0.957 -1 1 2 1 1.999 0.001231 0.0005651 0.0132 0.3707 1 0.00002193 0.0003109 0.004337 0.001622 0.04028 3.052 0.3529 0.001961 0.0003395 1 1 0.004122 0.04902 0.2801 0.004501 0.05352 0.3058 json
t20_x23_u0_b154 20 23 0 154 sub(P,div(add(R,D),R)) 164293 163341397 o2(x,o2(o2(x,x),x)) true 22751 22751 -0.1281 0.436 0.937 0.9023 0.9499 -1 1 2 1 1.932 0.01928 0.006651 0.03341 0.487 1 0.000002705 0.04303 0.03273 0.0248 0.1575 4.714 2.491 0.02874 0.04769 1 1 0.04387 0.2455 0.5168 0.04862 0.2721 0.5728 json
t20_x23_u0_b155 20 23 0 155 sub(P,div(sub(R,D),R)) 164294 163341398 o2(x,o2(o2(x,x),x)) true 22759 22759 -0.1335 0.4339 0.9434 0.9086 0.9532 -1 1 2 1 1.858 0.01745 0.006595 0.03123 0.4514 1 0.000007804 0.04073 0.03067 0.02307 0.1519 4.863 2.828 0.02646 0.04483 1 1 0.03011 0.1905 0.4309 0.03314 0.2097 0.4742 json
t20_x23_u0_b156 20 23 0 156 sub(P,div(mlt(R,D),R)) 164295 163341399 o2(x,o2(o2(x,x),x)) true 22767 22767 0 0.5 0.9375 0.9252 0.9619 -1 1 2 1 1.774 0.001323 1.898e-18 0.01101 1 1 -6.319e-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_x23_u0_b157 20 23 0 157 sub(P,div(div(R,D),R)) 164296 163341400 o2(x,o2(o2(x,x),x)) true 22775 22775 -7.13e-10 0.5 0.9531 0.9398 0.9694 -1 1 2 1 1.754 0.3813 5.396e-17 0.246 1 1 1.517e-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_x23_u0_b158 20 23 0 158 sub(P,div(pow(R,D),R)) 164297 163341401 o2(x,o2(o2(x,x),x)) true 22783 22783 -0.9913 0.003906 0.9991 0.01605 0.1267 -1 1 2 1 0.0618 0.001148 0.001832 0.001833 -0.2294 1 -3.754e-12 0.006221 0.003419 0.002975 0.05454 29.76 2 0.1856 0.3875 1 1 0.00001372 0.0001155 0.01375 0.0008546 0.007194 0.8567 json
t20_x23_u0_b159 20 23 0 159 sub(P,div(mod(R,D),R)) 164298 163341402 o2(x,o2(o2(x,x),x)) true 22791 22791 -0.04057 0.4669 0.9338 0.9155 0.9568 -1 1 2 1 1.903 0.00435 0.00007489 0.01796 0.9662 1 -7.126e-8 0.0087 0.02461 0.004101 0.06404 3.565 0.8136 0.004833 0.009504 1 1 0.00638 0.03544 0.228 0.006969 0.03872 0.2491 json
t20_x23_u0_b160 20 23 0 160 sub(P,div(lrg(R,D),R)) 164299 163341403 o2(x,o2(o2(x,x),x)) true 22799 22799 -0.08382 0.4457 0.9256 0.8999 0.9486 -1 1 2 1 1.986 0.0372 0.01087 0.05017 0.5479 1 0.000004675 0.08443 0.06206 0.04553 0.2134 4.253 2.764 0.05342 0.09383 1 1 0.0552 0.2716 0.561 0.06135 0.3018 0.6234 json