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_x5_u0_b79 20 5 0 79 add(P,eql(mlt(P,D),R)) 160600 162614104 o2(x,o2(o2(x,x),x)) true 164807 164807 0.00004008 0.5 0.9375 0.924 0.9613 -1 1 2 1 1.813 0.0007197 1.509e-7 0.007967 0.9996 1 1.17e-7 0.00007637 0.001971 0.0006566 0.02562 3.216 0.4213 0.0007791 0.00008264 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t20_x5_u0_b80 20 5 0 80 add(P,eql(div(P,D),R)) 160601 162614105 o2(x,o2(o2(x,x),x)) true 164815 164815 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_x5_u0_b81 20 5 0 81 add(P,eql(pow(P,D),R)) 160602 162614106 o2(x,o2(o2(x,x),x)) true 164823 164823 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_x5_u0_b82 20 5 0 82 add(P,eql(mod(P,D),R)) 160603 162614107 o2(x,o2(o2(x,x),x)) true 164831 164831 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_x5_u0_b83 20 5 0 83 add(P,eql(lrg(P,D),R)) 160604 162614108 o2(x,o2(o2(x,x),x)) true 164839 164839 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_x5_u0_b84 20 5 0 84 add(P,eql(eql(P,D),R)) 160605 162614109 o2(x,o2(o2(x,x),x)) true 164847 164847 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_x5_u0_b85 20 5 0 85 add(P,eql(min(P,D),R)) 160606 162614110 o2(x,o2(o2(x,x),x)) true 164855 164855 0.00004008 0.5 0.9375 0.924 0.9613 -1 1 2 1 1.813 0.0007197 1.509e-7 0.007967 0.9996 1 1.17e-7 0.00007637 0.001971 0.0006566 0.02562 3.216 0.4213 0.0007791 0.00008264 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t20_x5_u0_b86 20 5 0 86 add(P,eql(dot(P,D),R)) 160607 162614111 o2(x,o2(o2(x,x),x)) true 164863 164863 0.000003442 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_x5_u0_b87 20 5 0 87 add(P,eql(dst(P,D),R)) 160608 162614112 o2(x,o2(o2(x,x),x)) true 164871 164871 0.000003656 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007068 9.041e-7 0.007944 0.9974 1 -4.693e-13 0.00004139 0.001878 0.0006448 0.02539 3.196 0.2062 0.0007659 0.0000448 1 1 0.001853 0.02449 0.2344 0.002005 0.02651 0.2537 json
t20_x5_u0_b88 20 5 0 88 add(P,min(add(P,D),R)) 160609 162614113 o2(x,o2(o2(x,x),x)) true 164879 164879 -0.02929 0.4838 0.9596 0.9438 0.9715 -1 1 2 1 1.711 0.001109 0.0001408 0.008866 0.7747 1 -0.00001804 0.0002107 0.002887 0.001171 0.03422 3.86 0.3037 0.001324 0.0002233 1 1 0.003059 0.03611 0.271 0.003241 0.03826 0.2871 json
t20_x5_u0_b89 20 5 0 89 add(P,min(sub(P,D),R)) 160610 162614114 o2(x,o2(o2(x,x),x)) true 164887 164887 -0.03389 0.4792 0.9551 0.9418 0.9705 -1 1 2 1 1.686 0.001409 0.0001397 0.00949 0.8197 1 -0.0000178 0.0003557 0.003939 0.00146 0.03821 4.026 0.312 0.001645 0.0003776 1 1 0.003739 0.03824 0.2663 0.00397 0.0406 0.2827 json
t20_x5_u0_b90 20 5 0 90 add(P,min(mlt(P,D),R)) 160611 162614115 o2(x,o2(o2(x,x),x)) true 164895 164895 -0.04354 0.4771 0.9443 0.925 0.9618 -1 1 2 1 1.889 0.0008743 0.00009409 0.009147 0.8057 1 -0.00001016 0.0001126 0.002877 0.0008849 0.02975 3.252 0.2101 0.001047 0.0001217 1 1 0.002482 0.03041 0.2456 0.002683 0.03287 0.2656 json
t20_x5_u0_b91 20 5 0 91 add(P,min(div(P,D),R)) 160612 162614116 o2(x,o2(o2(x,x),x)) true 164903 164903 -0.555 0.2107 0.9383 0.6107 0.7814 -1 1 2 1 1.693 0.1709 0.000182 0.1188 0.9979 1 -0.000009713 0.2994 0.1859 0.1569 0.3961 3.335 2.003 0.2802 0.4903 1 1 0.1864 0.8207 0.137 0.3052 1.344 0.2243 json
t20_x5_u0_b92 20 5 0 92 add(P,min(pow(P,D),R)) 160613 162614117 o2(x,o2(o2(x,x),x)) true 164911 164911 -0.003002 0.4949 0.9371 0.916 0.9571 -1 1 2 1 1.963 0.001783 0.0003087 0.0125 0.7049 1 -0.00001971 0.001274 0.005655 0.001934 0.04398 3.517 0.8285 0.002284 0.00139 1 1 0.004607 0.04446 0.2527 0.00503 0.04853 0.2758 json
t20_x5_u0_b93 20 5 0 93 add(P,min(mod(P,D),R)) 160614 162614118 o2(x,o2(o2(x,x),x)) true 164919 164919 -0.03158 0.4822 0.9505 0.9334 0.9661 -1 1 2 1 1.81 0.001185 0.0001073 0.00936 0.8339 1 -0.00001203 0.0008122 0.005721 0.001204 0.0347 3.707 0.2989 0.001384 0.0008702 1 1 0.002811 0.03234 0.2561 0.003011 0.03464 0.2744 json
t20_x5_u0_b94 20 5 0 94 add(P,min(lrg(P,D),R)) 160615 162614119 o2(x,o2(o2(x,x),x)) true 164927 164927 -0.01851 0.4931 0.9516 0.9357 0.9673 -1 1 2 1 1.8 0.001763 0.0001996 0.01103 0.7965 1 -0.00001925 0.001207 0.004864 0.001841 0.04291 3.892 0.8285 0.002097 0.00129 1 1 0.004425 0.04286 0.2663 0.004729 0.0458 0.2846 json
t20_x5_u0_b95 20 5 0 95 add(P,min(eql(P,D),R)) 160616 162614120 o2(x,o2(o2(x,x),x)) true 164935 164935 -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_x5_u0_b96 20 5 0 96 add(P,min(min(P,D),R)) 160617 162614121 o2(x,o2(o2(x,x),x)) true 164943 164943 -0.04636 0.4771 0.9497 0.932 0.9654 -1 1 2 1 1.804 0.000925 0.00007575 0.00862 0.8486 1 -0.000009375 0.0001387 0.002742 0.0009257 0.03042 3.529 0.2122 0.001074 0.0001489 1 1 0.00255 0.03055 0.2538 0.002736 0.03278 0.2724 json
t20_x5_u0_b97 20 5 0 97 add(P,min(dot(P,D),R)) 160618 162614122 o2(x,o2(o2(x,x),x)) true 164951 164951 -0.09503 0.4535 0.9401 0.9106 0.9543 -1 1 2 1 1.97 0.0008575 0.004363 0.02239 -0.6715 1 0.0003512 0.002067 0.01211 0.00472 0.0687 3.068 0.4961 0.005733 0.002269 1 1 0.008124 0.0622 0.2486 0.008921 0.0683 0.273 json
t20_x5_u0_b98 20 5 0 98 add(P,min(dst(P,D),R)) 160619 162614123 o2(x,o2(o2(x,x),x)) true 164959 164959 0.002238 0.4968 0.9415 0.9197 0.959 -1 1 2 1 1.953 0.001147 0.000342 0.01102 0.5406 1 -0.00002042 0.0002745 0.003718 0.001368 0.03699 3.356 0.312 0.001619 0.0002985 1 1 0.003594 0.04145 0.2622 0.003908 0.04507 0.2851 json
t20_x5_u0_b99 20 5 0 99 add(P,dot(add(P,D),R)) 160620 162614124 o2(x,o2(o2(x,x),x)) true 164967 164967 -0.02479 0.4886 0.9271 0.9015 0.9495 -1 1 2 1 2.117 0.01261 0.0157 0.05276 -0.1089 1 -0.0001461 0.02228 0.03885 0.02555 0.1598 3.03 1.843 0.03141 0.02472 1 1 0.0416 0.3287 0.7558 0.04614 0.3646 0.8384 json
t20_x5_u0_b100 20 5 0 100 add(P,dot(sub(P,D),R)) 160621 162614125 o2(x,o2(o2(x,x),x)) true 164975 164975 -0.02497 0.4888 0.929 0.9047 0.9512 -1 1 2 1 2.086 0.0128 0.01588 0.05302 -0.1076 1 -0.0001036 0.02274 0.03933 0.02587 0.1608 3.033 1.864 0.0317 0.02513 1 1 0.0427 0.3401 0.7778 0.0472 0.376 0.8598 json
t20_x5_u0_b101 20 5 0 101 add(P,dot(mlt(P,D),R)) 160622 162614126 o2(x,o2(o2(x,x),x)) true 164983 164983 0.002966 0.5036 0.9371 0.9178 0.958 -1 1 2 1 1.96 0.001527 0.002419 0.01818 -0.2261 1 -0.00005954 0.001153 0.007686 0.003617 0.06014 3.309 0.6548 0.004299 0.001257 1 1 0.005359 0.06025 0.2634 0.005839 0.06564 0.287 json
t20_x5_u0_b102 20 5 0 102 add(P,dot(div(P,D),R)) 160623 162614127 o2(x,o2(o2(x,x),x)) true 164991 164991 -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_x5_u0_b103 20 5 0 103 add(P,dot(pow(P,D),R)) 160624 162614128 o2(x,o2(o2(x,x),x)) true 164999 164999 -0.5159 0.2432 0.9906 0.7216 0.8495 -1 1 2 1 0.9797 0.002098 0.007199 0.008005 -0.5487 1 -0.00000951 0.01754 0.01129 0.009232 0.09608 12 2 0.01288 0.02431 1 1 0.01273 0.06685 0.3198 0.01764 0.09264 0.4431 json
t20_x5_u0_b104 20 5 0 104 add(P,dot(mod(P,D),R)) 160625 162614129 o2(x,o2(o2(x,x),x)) true 165007 165007 -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_x5_u0_b105 20 5 0 105 add(P,dot(lrg(P,D),R)) 160626 162614130 o2(x,o2(o2(x,x),x)) true 165015 165015 -0.0003289 0.5074 0.9525 0.9375 0.9682 -1 1 2 1 1.768 0.00212 0.0003153 0.01099 0.741 1 -0.00001671 0.00273 0.007209 0.002315 0.04812 4.38 0.953 0.002597 0.002912 1 1 0.004448 0.04032 0.2745 0.004744 0.04301 0.2928 json
t20_x5_u0_b106 20 5 0 106 add(P,dot(eql(P,D),R)) 160627 162614131 o2(x,o2(o2(x,x),x)) true 165023 165023 -0.01806 0.4863 0.9388 0.9165 0.9573 -1 1 2 1 1.987 0.001033 0.0003107 0.01075 0.5376 1 5.866e-7 0.0002285 0.003518 0.001228 0.03504 3.259 0.299 0.001466 0.0002493 1 1 0.003484 0.04019 0.2467 0.003801 0.04385 0.2692 json
t20_x5_u0_b107 20 5 0 107 add(P,dot(min(P,D),R)) 160628 162614132 o2(x,o2(o2(x,x),x)) true 165031 165031 -0.003989 0.4974 0.9281 0.9057 0.9517 -1 1 2 1 2.089 0.004411 0.004381 0.0246 0.003388 1 -0.00005424 0.005697 0.01595 0.00819 0.0905 3.678 1.629 0.009707 0.00629 1 1 0.01425 0.1122 0.3524 0.01574 0.1239 0.3891 json
t20_x5_u0_b108 20 5 0 108 add(P,dot(dot(P,D),R)) 160629 162614133 o2(x,o2(o2(x,x),x)) true 165039 165039 0.007214 0.5064 0.9276 0.9054 0.9515 -1 1 2 1 2.065 0.002617 0.00568 0.0283 -0.3692 1 -0.0002132 0.00412 0.01609 0.00749 0.08655 3.058 0.9433 0.009163 0.004551 1 1 0.01169 0.09812 0.3028 0.01291 0.1084 0.3345 json
t20_x5_u0_b109 20 5 0 109 add(P,dot(dst(P,D),R)) 160630 162614134 o2(x,o2(o2(x,x),x)) true 165047 165047 -0.04967 0.4736 0.9297 0.9042 0.9509 -1 1 2 1 2.06 0.02857 0.03284 0.07911 -0.0694 1 0.00009351 0.07156 0.07676 0.05518 0.2349 2.969 2.175 0.06792 0.07915 1 1 0.08309 0.5408 1.131 0.0919 0.5981 1.25 json
t20_x5_u0_b110 20 5 0 110 add(P,dst(add(P,D),R)) 160631 162614135 o2(x,o2(o2(x,x),x)) true 165055 165055 0.8891 0.9649 0.9071 0.08983 0.2997 -0.835 1 1.835 1 1.319 0.0006835 0.0006449 0.01263 0.02911 1 0.00005307 0.0002177 0.004047 0.001169 0.0342 2.708 0.3069 0.01479 0.002424 1 1 0.002864 0.03012 0.09867 0.03188 0.3353 1.098 json
t20_x5_u0_b111 20 5 0 111 add(P,dst(sub(P,D),R)) 160632 162614136 o2(x,o2(o2(x,x),x)) true 165063 165063 0.8986 0.9697 0.9133 0.07981 0.2825 -0.781 1 1.781 1 1.253 0.0005661 0.0007716 0.01229 -0.1537 1 -0.00006714 0.0002398 0.004057 0.001187 0.03446 2.805 0.272 0.01676 0.003004 1 1 0.002766 0.02855 0.08742 0.03466 0.3578 1.095 json
t20_x5_u0_b112 20 5 0 112 add(P,dst(mlt(P,D),R)) 160633 162614137 o2(x,o2(o2(x,x),x)) true 165071 165071 0.2185 0.6073 0.9265 0.8548 0.9246 -1 1 2 1 2.042 0.001356 0.00696 0.02952 -0.6739 1 -0.0005262 0.003402 0.01645 0.007448 0.0863 2.924 0.7211 0.009728 0.003979 1 1 0.01111 0.08164 0.2419 0.01299 0.09551 0.283 json
t20_x5_u0_b113 20 5 0 113 add(P,dst(div(P,D),R)) 160634 162614138 o2(x,o2(o2(x,x),x)) true 165079 165079 -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_x5_u0_b114 20 5 0 114 add(P,dst(pow(P,D),R)) 160635 162614139 o2(x,o2(o2(x,x),x)) true 165087 165087 -0.5 0.25 1 0.75 0.866 -1 1 2 1 0.8113 0.007931 0.007937 0.007938 -0.0003809 1 1.502e-11 0.03186 0.01587 0.0158 0.1257 15.84 2 0.02116 0.04248 1 1 0.02104 0.0842 0.3368 0.02806 0.1123 0.4491 json
t20_x5_u0_b115 20 5 0 115 add(P,dst(mod(P,D),R)) 160636 162614140 o2(x,o2(o2(x,x),x)) true 165095 165095 -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_x5_u0_b116 20 5 0 116 add(P,dst(lrg(P,D),R)) 160637 162614141 o2(x,o2(o2(x,x),x)) true 165103 165103 0.1517 0.5758 0.9466 0.9056 0.9516 -1 1 2 1 1.856 0.0009442 0.0002813 0.009632 0.5409 1 -0.000006631 0.0004272 0.003621 0.001132 0.03365 3.494 0.6622 0.001353 0.0004717 1 1 0.002856 0.03148 0.2463 0.003153 0.03476 0.2719 json
t20_x5_u0_b117 20 5 0 117 add(P,dst(eql(P,D),R)) 160638 162614142 o2(x,o2(o2(x,x),x)) true 165111 165111 0.1717 0.5856 0.941 0.892 0.9445 -1 1 2 1 1.895 0.0009905 0.0001933 0.009811 0.6735 1 -0.000007837 0.0001916 0.003133 0.001087 0.03297 3.361 0.2883 0.001327 0.0002148 1 1 0.003194 0.03649 0.2563 0.00358 0.04091 0.2873 json
t20_x5_u0_b118 20 5 0 118 add(P,dst(min(P,D),R)) 160639 162614143 o2(x,o2(o2(x,x),x)) true 165119 165119 0.7454 0.8898 0.8236 0.214 0.4626 -0.9192 1 1.919 1 2.341 0.0009128 0.00118 0.02102 -0.1276 1 0.00001391 0.000197 0.005461 0.001651 0.04063 1.933 0.2141 0.00978 0.0009207 1 1 0.004122 0.05045 0.1495 0.01927 0.2358 0.6987 json
t20_x5_u0_b119 20 5 0 119 add(P,dst(dot(P,D),R)) 160640 162614144 o2(x,o2(o2(x,x),x)) true 165127 165127 0.3603 0.6765 0.9 0.738 0.8591 -1 1 2 1 2.284 0.008888 0.01993 0.06634 -0.3831 1 -0.001142 0.02218 0.05519 0.02441 0.1562 2.355 1.221 0.03905 0.03005 1 1 0.04163 0.2112 0.2419 0.05641 0.2862 0.3277 json
t20_x5_u0_b120 20 5 0 120 add(P,dst(dst(P,D),R)) 160641 162614145 o2(x,o2(o2(x,x),x)) true 165135 165135 0.9992 1 0.9992 0.0002567 0.01602 0.3631 1 0.6369 1 0.03822 0.00002905 0.00002756 0.000453 0.02634 0 -1.314e-11 0.00004189 0.0003805 0.00005643 0.007512 16.58 0.2803 0.2206 0.1632 1 1 0.000172 0.0008647 0.0008531 0.67 3.369 3.324 json
t20_x5_u0_b121 20 5 0 121 sub(P,add(add(P,D),R)) 160642 162614146 o2(x,o2(o2(x,x),x)) true 165143 165143 -0.009078 0.5012 0.4013 0.2304 0.48 -1 1 2 1 4.899 0.004471 0.003165 0.07546 0.1709 1 -0.00002869 0.0006263 0.01935 0.001942 0.04407 0.584 0.2845 0.03314 0.002718 1 1 0.01508 0.1746 0.3904 0.06546 0.7577 1.694 json
t20_x5_u0_b122 20 5 0 122 sub(P,add(sub(P,D),R)) 160643 162614147 o2(x,o2(o2(x,x),x)) true 165151 165151 -0.009165 0.5021 0.4005 0.2287 0.4782 -1 1 2 1 4.894 0.004393 0.003164 0.07461 0.1626 1 -0.00003074 0.0006179 0.01902 0.001989 0.0446 0.5978 0.2561 0.03305 0.002702 1 1 0.01479 0.1717 0.3901 0.06468 0.751 1.706 json
t20_x5_u0_b123 20 5 0 123 sub(P,add(mlt(P,D),R)) 160644 162614148 o2(x,o2(o2(x,x),x)) true 165159 165159 0.009874 0.5095 0.9368 0.9121 0.955 -1 1 2 1 2.042 0.001355 0.0003891 0.01278 0.5537 1 0.00001966 0.0003821 0.004721 0.00158 0.03975 3.11 0.3118 0.001912 0.0004189 1 1 0.004255 0.04586 0.2626 0.004665 0.05029 0.2879 json
t20_x5_u0_b124 20 5 0 124 sub(P,add(div(P,D),R)) 160645 162614149 o2(x,o2(o2(x,x),x)) true 165167 165167 0.1271 0.5688 0.9475 0.9119 0.9549 -1 1 2 1 1.845 0.3895 0.0002668 0.2308 0.9986 1 0.000004598 0.7218 0.4058 0.3365 0.5801 2.513 2.004 0.4274 0.7916 1 1 0.4059 1.467 0.2846 0.4451 1.609 0.3121 json
t20_x5_u0_b125 20 5 0 125 sub(P,add(pow(P,D),R)) 160646 162614150 o2(x,o2(o2(x,x),x)) true 165175 165175 -0.1072 0.4509 0.9354 0.9022 0.9498 -1 1 2 1 1.964 0.007373 0.0004131 0.01587 0.8939 1 0.00001407 0.01276 0.01238 0.007533 0.08679 5.468 1.953 0.008631 0.01415 1 1 0.01146 0.06955 0.251 0.0127 0.07709 0.2783 json
t20_x5_u0_b126 20 5 0 126 sub(P,add(mod(P,D),R)) 160647 162614151 o2(x,o2(o2(x,x),x)) true 165183 165183 -0.005658 0.5027 0.9265 0.9002 0.9488 -1 1 2 1 2.119 0.001766 0.0004392 0.01444 0.6017 1 0.00002084 0.001916 0.01208 0.001996 0.04468 3.095 0.5053 0.00245 0.002128 1 1 0.004451 0.04485 0.2514 0.004945 0.04983 0.2792 json
t20_x5_u0_b127 20 5 0 127 sub(P,add(lrg(P,D),R)) 160648 162614152 o2(x,o2(o2(x,x),x)) true 165191 165191 -0.09437 0.4494 0.9174 0.8791 0.9376 -1 1 2 1 2.241 0.003967 0.0005488 0.01702 0.7569 1 0.00003246 0.005887 0.01059 0.004226 0.06501 3.819 1.013 0.005137 0.006697 1 1 0.007655 0.06153 0.2357 0.008708 0.07 0.2682 json
t20_x5_u0_b128 20 5 0 128 sub(P,add(eql(P,D),R)) 160649 162614153 o2(x,o2(o2(x,x),x)) true 165199 165199 -0.004612 0.5032 0.9368 0.913 0.9555 -1 1 2 1 2.013 0.001147 0.000385 0.01159 0.4976 1 0.00002051 0.0002745 0.003871 0.001399 0.0374 3.228 0.3332 0.001679 0.0003007 1 1 0.003782 0.0437 0.2627 0.004142 0.04787 0.2877 json
t20_x5_u0_b129 20 5 0 129 sub(P,add(min(P,D),R)) 160650 162614154 o2(x,o2(o2(x,x),x)) true 165207 165207 0.4536 0.7311 0.67 0.3653 0.6044 -0.9693 1 1.969 1 3.714 0.002153 0.001881 0.03855 0.06736 1 -0.00002584 0.0004112 0.01023 0.002548 0.05047 1.309 0.2937 0.01104 0.001126 1 1 0.008571 0.1006 0.2808 0.02346 0.2753 0.7688 json
t20_x5_u0_b130 20 5 0 130 sub(P,add(dot(P,D),R)) 160651 162614155 o2(x,o2(o2(x,x),x)) true 165215 165215 0.02819 0.5148 0.9382 0.9163 0.9572 -1 1 2 1 1.995 0.001359 0.005042 0.02568 -0.5754 1 -0.0002068 0.002344 0.01386 0.005741 0.07577 2.951 0.6102 0.006986 0.002558 1 1 0.01053 0.08429 0.2707 0.01149 0.09199 0.2955 json
t20_x5_u0_b131 20 5 0 131 sub(P,add(dst(P,D),R)) 160652 162614156 o2(x,o2(o2(x,x),x)) true 165223 165223 -0.8998 0.03755 0.9175 0.08276 0.2877 -1 0.6906 1.691 1 1.259 0.00069 0.0007699 0.01328 -0.05479 1 0.00006594 0.0002523 0.004445 0.001283 0.03582 2.697 0.2838 0.01764 0.003048 1 1 0.003317 0.0353 0.1035 0.04009 0.4265 1.25 json
t20_x5_u0_b132 20 5 0 132 sub(P,sub(add(P,D),R)) 160653 162614157 o2(x,o2(o2(x,x),x)) true 165231 165231 0.009165 0.4978 0.4005 0.2287 0.4782 -1 1 2 1 4.894 0.004393 0.003164 0.07461 0.1626 1 0.00003074 0.0006179 0.01902 0.001989 0.0446 0.5978 0.2561 0.03305 0.002702 1 1 0.01479 0.1717 0.3901 0.06468 0.751 1.706 json
t20_x5_u0_b133 20 5 0 133 sub(P,sub(sub(P,D),R)) 160654 162614158 o2(x,o2(o2(x,x),x)) true 165239 165239 0.009078 0.4986 0.4013 0.2304 0.48 -1 1 2 1 4.899 0.004471 0.003165 0.07546 0.1709 1 0.00002869 0.0006263 0.01935 0.001942 0.04407 0.584 0.2845 0.03314 0.002718 1 1 0.01508 0.1746 0.3904 0.06546 0.7577 1.694 json
t20_x5_u0_b134 20 5 0 134 sub(P,sub(mlt(P,D),R)) 160655 162614159 o2(x,o2(o2(x,x),x)) true 165247 165247 0.01718 0.5032 0.9406 0.9183 0.9583 -1 1 2 1 1.977 0.001319 0.0003663 0.01209 0.5653 1 -0.00002102 0.0003323 0.004331 0.001539 0.03922 3.245 0.342 0.001835 0.0003619 1 1 0.004126 0.04571 0.2674 0.004493 0.04978 0.2913 json
t20_x5_u0_b135 20 5 0 135 sub(P,sub(div(P,D),R)) 160656 162614160 o2(x,o2(o2(x,x),x)) true 165255 165255 0.117 0.5629 0.9453 0.912 0.955 -1 1 2 1 1.871 0.3868 0.0002739 0.2324 0.9986 1 -0.000008945 0.7123 0.4037 0.3331 0.5771 2.484 2.002 0.4244 0.781 1 1 0.4052 1.478 0.282 0.4443 1.621 0.3093 json
t20_x5_u0_b136 20 5 0 136 sub(P,sub(pow(P,D),R)) 160657 162614161 o2(x,o2(o2(x,x),x)) true 165263 165263 -0.08993 0.465 0.9366 0.9058 0.9517 -1 1 2 1 1.962 0.004989 0.0003929 0.01333 0.854 1 -0.00002368 0.008712 0.01006 0.005206 0.07215 5.412 1.829 0.005942 0.009618 1 1 0.008765 0.05476 0.2478 0.009677 0.06045 0.2736 json
t20_x5_u0_b137 20 5 0 137 sub(P,sub(mod(P,D),R)) 160658 162614162 o2(x,o2(o2(x,x),x)) true 165271 165271 0.005612 0.4974 0.9334 0.9088 0.9533 -1 1 2 1 2.064 0.001719 0.0004094 0.01354 0.6154 1 -0.00002222 0.001796 0.01119 0.001945 0.04411 3.258 0.4841 0.002342 0.001976 1 1 0.004325 0.04408 0.2576 0.004759 0.0485 0.2835 json
t20_x5_u0_b138 20 5 0 138 sub(P,sub(lrg(P,D),R)) 160659 162614163 o2(x,o2(o2(x,x),x)) true 165279 165279 -0.07357 0.4643 0.9151 0.8783 0.9372 -1 1 2 1 2.279 0.003128 0.0005374 0.01565 0.7067 1 -0.00002368 0.004739 0.009656 0.00342 0.05848 3.737 1.015 0.004173 0.005396 1 1 0.006483 0.05239 0.233 0.007382 0.05965 0.2653 json
t20_x5_u0_b139 20 5 0 139 sub(P,sub(eql(P,D),R)) 160660 162614164 o2(x,o2(o2(x,x),x)) true 165287 165287 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_x5_u0_b140 20 5 0 140 sub(P,sub(min(P,D),R)) 160661 162614165 o2(x,o2(o2(x,x),x)) true 165295 165295 0.4933 0.757 0.6802 0.3411 0.5841 -0.9989 1 1.999 1 3.634 0.002246 0.001838 0.03767 0.09994 1 0.000008361 0.0004023 0.009778 0.002664 0.05162 1.37 0.342 0.01197 0.001179 1 1 0.008558 0.101 0.2771 0.02509 0.2961 0.8123 json
t20_x5_u0_b141 20 5 0 141 sub(P,sub(dot(P,D),R)) 160662 162614166 o2(x,o2(o2(x,x),x)) true 165303 165303 0.03537 0.515 0.9383 0.9165 0.9573 -1 1 2 1 1.953 0.0013 0.003834 0.02219 -0.4936 1 -0.0003902 0.001812 0.01157 0.004639 0.06811 3.069 0.536 0.005601 0.001977 1 1 0.009652 0.07875 0.2669 0.01053 0.08592 0.2912 json
t20_x5_u0_b142 20 5 0 142 sub(P,sub(dst(P,D),R)) 160663 162614167 o2(x,o2(o2(x,x),x)) true 165311 165311 -0.8619 0.0592 0.9029 0.1314 0.3626 -1 1 2 1 1.421 0.0008242 0.0009897 0.01524 -0.09127 1 0.00006627 0.0003291 0.00505 0.00158 0.03975 2.609 0.3793 0.0138 0.002503 1 1 0.004608 0.04787 0.1531 0.03506 0.3642 1.165 json
t20_x5_u0_b143 20 5 0 143 sub(P,mlt(add(P,D),R)) 160664 162614168 o2(x,o2(o2(x,x),x)) true 165319 165319 0.001644 0.4997 0.8953 0.8652 0.9302 -1 1 2 1 2.356 0.00153 0.0007955 0.01746 0.316 1 -0.00003345 0.001003 0.008694 0.002021 0.04496 2.575 0.532 0.002688 0.001159 1 1 0.004991 0.0442 0.2233 0.005768 0.05108 0.2581 json
t20_x5_u0_b144 20 5 0 144 sub(P,mlt(sub(P,D),R)) 160665 162614169 o2(x,o2(o2(x,x),x)) true 165327 165327 0.0006659 0.4962 0.8916 0.865 0.9301 -1 1 2 1 2.32 0.001436 0.0009477 0.01762 0.205 1 -0.00003745 0.0009958 0.008523 0.002074 0.04554 2.585 0.5176 0.002756 0.001151 1 1 0.005298 0.04976 0.238 0.006124 0.05753 0.2751 json
t20_x5_u0_b145 20 5 0 145 sub(P,mlt(mlt(P,D),R)) 160666 162614170 o2(x,o2(o2(x,x),x)) true 165335 165335 0.002432 0.4999 0.9368 0.923 0.9607 -1 1 2 1 1.848 0.0007696 0.00001783 0.008574 0.9547 1 -0.000003184 0.0000666 0.002508 0.000714 0.02672 3.116 0.1511 0.0008532 0.00007215 1 1 0.002001 0.02549 0.2344 0.002168 0.02762 0.254 json
t20_x5_u0_b146 20 5 0 146 sub(P,mlt(div(P,D),R)) 160667 162614171 o2(x,o2(o2(x,x),x)) true 165343 165343 0.01007 0.508 0.8945 0.8713 0.9334 -1 1 2 1 2.224 0.3236 0.05506 0.2405 0.7091 1 0.00002248 0.8297 0.4046 0.3208 0.5664 2.355 2.828 0.4346 0.9523 1 1 0.3883 1.219 1.257 0.4457 1.399 1.443 json
t20_x5_u0_b147 20 5 0 147 sub(P,mlt(pow(P,D),R)) 160668 162614172 o2(x,o2(o2(x,x),x)) true 165351 165351 -0.04799 0.4988 0.952 0.9401 0.9696 -1 1 2 1 1.531 0.004389 0.0001301 0.008932 0.9424 1 0.000001645 0.008024 0.009735 0.004438 0.06662 7.459 1.001 0.004807 0.008535 1 1 0.006627 0.04078 0.2704 0.007049 0.04338 0.2877 json
t20_x5_u0_b148 20 5 0 148 sub(P,mlt(mod(P,D),R)) 160669 162614173 o2(x,o2(o2(x,x),x)) true 165359 165359 -0.0004999 0.5 0.9353 0.9214 0.9599 -1 1 2 1 1.832 0.0008649 0.0000065 0.008281 0.9851 1 1.153e-7 0.0005037 0.0053 0.0008029 0.02834 3.422 0.2792 0.0009458 0.0005467 1 1 0.001959 0.02445 0.2321 0.002126 0.02653 0.2519 json
t20_x5_u0_b149 20 5 0 149 sub(P,mlt(lrg(P,D),R)) 160670 162614174 o2(x,o2(o2(x,x),x)) true 165367 165367 -0.01259 0.5135 0.9292 0.9105 0.9542 -1 1 2 1 1.933 0.002247 0.0002143 0.012 0.8259 1 0.000003684 0.002757 0.007113 0.002317 0.04813 4.012 0.9518 0.002703 0.003028 1 1 0.004541 0.03985 0.2428 0.004988 0.04377 0.2666 json
t20_x5_u0_b150 20 5 0 150 sub(P,mlt(eql(P,D),R)) 160671 162614175 o2(x,o2(o2(x,x),x)) true 165375 165375 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_x5_u0_b151 20 5 0 151 sub(P,mlt(min(P,D),R)) 160672 162614176 o2(x,o2(o2(x,x),x)) true 165383 165383 0.02431 0.5081 0.9161 0.894 0.9455 -1 1 2 1 2.097 0.001114 0.0005123 0.01309 0.3701 1 0.00002146 0.0006085 0.006075 0.001455 0.03815 2.915 0.4618 0.00182 0.0006806 1 1 0.003581 0.03487 0.2314 0.004006 0.039 0.2588 json
t20_x5_u0_b152 20 5 0 152 sub(P,mlt(dot(P,D),R)) 160673 162614177 o2(x,o2(o2(x,x),x)) true 165391 165391 -0.007853 0.4964 0.9413 0.9221 0.9603 -1 1 2 1 1.935 0.001302 0.002475 0.01808 -0.3104 1 0.0003222 0.001113 0.007726 0.003449 0.05873 3.249 0.6792 0.004096 0.001207 1 1 0.00546 0.05803 0.2782 0.005921 0.06293 0.3017 json
t20_x5_u0_b153 20 5 0 153 sub(P,mlt(dst(P,D),R)) 160674 162614178 o2(x,o2(o2(x,x),x)) true 165399 165399 0.03518 0.5142 0.9244 0.8966 0.9469 -1 1 2 1 2.157 0.01026 0.01058 0.04394 -0.01537 1 -0.00006923 0.01491 0.0312 0.01891 0.1375 3.129 1.596 0.02324 0.01663 1 1 0.02929 0.2398 0.6366 0.03267 0.2675 0.71 json
t20_x5_u0_b154 20 5 0 154 sub(P,div(add(P,D),R)) 160675 162614179 o2(x,o2(o2(x,x),x)) true 165407 165407 0.05767 0.5302 0.901 0.8688 0.9321 -1 1 2 1 2.276 0.05901 0.06969 0.1102 -0.08296 1 0.0000108 0.2539 0.1481 0.1166 0.3415 3.098 2.828 0.1481 0.2922 1 1 0.1368 0.7072 1.525 0.1574 0.814 1.755 json
t20_x5_u0_b155 20 5 0 155 sub(P,div(sub(P,D),R)) 160676 162614180 o2(x,o2(o2(x,x),x)) true 165415 165415 0.0486 0.5231 0.9111 0.8828 0.9396 -1 1 2 1 2.185 0.05776 0.07018 0.1105 -0.09712 1 -0.00000244 0.2493 0.1482 0.1157 0.3402 3.08 2.828 0.1449 0.2824 1 1 0.1384 0.7245 1.585 0.1567 0.8207 1.796 json
t20_x5_u0_b156 20 5 0 156 sub(P,div(mlt(P,D),R)) 160677 162614181 o2(x,o2(o2(x,x),x)) true 165423 165423 -0.009996 0.4944 0.9085 0.8858 0.9412 -1 1 2 1 2.18 0.0631 0.02188 0.08149 0.4852 1 0.0002133 0.1458 0.1018 0.07834 0.2799 3.435 2.828 0.09593 0.1646 1 1 0.09566 0.477 0.8327 0.108 0.5385 0.9401 json
t20_x5_u0_b157 20 5 0 157 sub(P,div(div(P,D),R)) 160678 162614182 o2(x,o2(o2(x,x),x)) true 165431 165431 -0.001109 0.5021 0.9534 0.945 0.9721 -1 1 2 1 1.578 0.3272 0.1062 0.2324 0.5098 1 0.0000431 0.9991 0.4459 0.3795 0.616 2.651 2.828 0.4586 1.057 1 1 0.4441 1.662 1.921 0.4699 1.759 2.033 json
t20_x5_u0_b158 20 5 0 158 sub(P,div(pow(P,D),R)) 160679 162614183 o2(x,o2(o2(x,x),x)) true 165439 165439 -0.1527 0.4192 0.9467 0.9128 0.9554 -1 1 2 1 1.655 0.0146 0.01318 0.03188 0.05103 1 -0.00004024 0.04834 0.03825 0.02676 0.1636 5.131 2.828 0.03044 0.05296 1 1 0.03001 0.1716 0.5036 0.03287 0.188 0.5517 json
t20_x5_u0_b159 20 5 0 159 sub(P,div(mod(P,D),R)) 160680 162614184 o2(x,o2(o2(x,x),x)) true 165447 165447 0.001709 0.5014 0.9375 0.9244 0.9614 -1 1 2 1 1.843 0.02018 0.003084 0.02634 0.7349 1 0.000002422 0.05546 0.04004 0.02257 0.1502 5.704 2.544 0.02517 0.06 1 1 0.03017 0.1029 0.3958 0.03264 0.1113 0.4282 json
t20_x5_u0_b160 20 5 0 160 sub(P,div(lrg(P,D),R)) 160681 162614185 o2(x,o2(o2(x,x),x)) true 165455 165455 -0.1097 0.439 0.9376 0.9107 0.9543 -1 1 2 1 1.826 0.01356 0.01307 0.03565 0.01847 1 9.385e-7 0.04238 0.03745 0.02534 0.1592 4.466 2.828 0.02924 0.04653 1 1 0.03252 0.2012 0.5483 0.0357 0.221 0.602 json
t20_x5_u0_b161 20 5 0 161 sub(P,div(eql(P,D),R)) 160682 162614186 o2(x,o2(o2(x,x),x)) true 165463 165463 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_x5_u0_b162 20 5 0 162 sub(P,div(min(P,D),R)) 160683 162614187 o2(x,o2(o2(x,x),x)) true 165471 165471 0.3117 0.666 0.9214 0.8037 0.8965 -1 1 2 1 1.969 0.03962 0.03618 0.06847 0.04546 1 0.0000399 0.1485 0.08906 0.0711 0.2666 3.894 2.828 0.09432 0.1848 1 1 0.08473 0.4308 0.9972 0.1054 0.5361 1.241 json
t20_x5_u0_b163 20 5 0 163 sub(P,div(dot(P,D),R)) 160684 162614188 o2(x,o2(o2(x,x),x)) true 165479 165479 -0.02707 0.4846 0.9269 0.9018 0.9496 -1 1 2 1 2.099 0.06011 0.06857 0.1172 -0.0657 1 0.001025 0.2549 0.153 0.1149 0.339 2.893 2.828 0.1427 0.2827 1 1 0.1435 0.7258 1.083 0.1592 0.8048 1.201 json
t20_x5_u0_b164 20 5 0 164 sub(P,div(dst(P,D),R)) 160685 162614189 o2(x,o2(o2(x,x),x)) true 165487 165487 0.07731 0.538 0.9729 0.9577 0.9786 -1 1 2 1 1.492 0.07733 0.09345 0.1151 -0.09443 1 -0.00003573 0.3666 0.1859 0.1576 0.3969 3.45 2.828 0.1783 0.3828 1 1 0.1892 0.9199 1.76 0.1975 0.9605 1.838 json
t20_x5_u0_b165 20 5 0 165 sub(P,pow(add(P,D),R)) 160686 162614190 o2(x,o2(o2(x,x),x)) true 165495 165495 -0.1325 0.4373 0.9251 0.8912 0.9441 -1 1 2 1 1.899 0.001891 0.0002199 0.01125 0.7917 1 -0.00002159 0.002351 0.00645 0.001986 0.04456 3.962 0.9433 0.002369 0.002637 1 1 0.004129 0.03391 0.2339 0.004633 0.03805 0.2625 json
t20_x5_u0_b166 20 5 0 166 sub(P,pow(sub(P,D),R)) 160687 162614191 o2(x,o2(o2(x,x),x)) true 165503 165503 -0.1647 0.4284 0.9615 0.9247 0.9616 -1 1 2 1 1.527 0.004483 0.0001613 0.009779 0.9305 1 -0.00002433 0.008032 0.009913 0.004548 0.06744 6.896 1.03 0.005023 0.008686 1 1 0.006972 0.04645 0.2835 0.007541 0.05024 0.3066 json
t20_x5_u0_b167 20 5 0 167 sub(P,pow(mlt(P,D),R)) 160688 162614192 o2(x,o2(o2(x,x),x)) true 165511 165511 -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_x5_u0_b168 20 5 0 168 sub(P,pow(div(P,D),R)) 160689 162614193 o2(x,o2(o2(x,x),x)) true 165519 165519 -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_x5_u0_b169 20 5 0 169 sub(P,pow(pow(P,D),R)) 160690 162614194 o2(x,o2(o2(x,x),x)) true 165527 165527 -0.1416 0.4373 0.9522 0.9258 0.9622 -1 1 2 1 1.472 0.004329 0.001516 0.009552 0.4812 1 -6.739e-7 0.01132 0.01198 0.005754 0.07585 7.941 1.414 0.006313 0.01223 1 1 0.008443 0.04669 0.2878 0.00912 0.05043 0.3108 json
t20_x5_u0_b170 20 5 0 170 sub(P,pow(mod(P,D),R)) 160691 162614195 o2(x,o2(o2(x,x),x)) true 165535 165535 -0.348 0.3313 0.9553 0.8206 0.9059 -1 1 2 1 1.612 0.2389 0.009849 0.1567 0.9208 1 -0.00003507 0.6351 0.2943 0.2241 0.4734 3.021 2.828 0.3031 0.7739 1 1 0.1847 0.41 0.5282 0.2251 0.4997 0.6437 json
t20_x5_u0_b171 20 5 0 171 sub(P,pow(lrg(P,D),R)) 160692 162614196 o2(x,o2(o2(x,x),x)) true 165543 165543 -0.1406 0.4375 0.9531 0.9264 0.9625 -1 1 2 1 1.461 0.004323 0.001512 0.009421 0.4818 1 -6.101e-11 0.01132 0.01185 0.005748 0.07581 8.048 1.414 0.006298 0.01222 1 1 0.008434 0.04699 0.2892 0.009104 0.05073 0.3122 json
t20_x5_u0_b172 20 5 0 172 sub(P,pow(eql(P,D),R)) 160693 162614197 o2(x,o2(o2(x,x),x)) true 165551 165551 -0.9844 0.007813 0.9961 0.02625 0.162 -1 1 2 1 0.1256 0.00206 0.003166 0.003355 -0.2116 1 3.754e-12 0.01089 0.005899 0.005215 0.07221 21.53 2.828 0.1991 0.4147 1 1 0.0006169 0.004318 0.02317 0.0235 0.1645 0.8824 json
t20_x5_u0_b173 20 5 0 173 sub(P,pow(min(P,D),R)) 160694 162614198 o2(x,o2(o2(x,x),x)) true 165559 165559 -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_x5_u0_b174 20 5 0 174 sub(P,pow(dot(P,D),R)) 160695 162614199 o2(x,o2(o2(x,x),x)) true 165567 165567 -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_x5_u0_b175 20 5 0 175 sub(P,pow(dst(P,D),R)) 160696 162614200 o2(x,o2(o2(x,x),x)) true 165575 165575 -0.1788 0.4086 0.9389 0.886 0.9413 -1 1 2 1 1.945 0.002695 0.001953 0.01817 0.1596 1 -5.075e-7 0.002 0.008665 0.004321 0.06573 3.618 1.087 0.005245 0.002257 1 1 0.007213 0.07474 0.2998 0.008141 0.08435 0.3383 json
t20_x5_u0_b176 20 5 0 176 sub(P,mod(add(P,D),R)) 160697 162614201 o2(x,o2(o2(x,x),x)) true 165583 165583 -0.001248 0.4995 0.9068 0.8846 0.9405 -1 1 2 1 2.198 0.003188 0.0000599 0.01411 0.9631 1 1.293e-7 0.005565 0.01645 0.003048 0.05521 3.914 0.9057 0.003672 0.006291 1 1 0.004642 0.02998 0.1954 0.005247 0.03389 0.2209 json
t20_x5_u0_b177 20 5 0 177 sub(P,mod(sub(P,D),R)) 160698 162614202 o2(x,o2(o2(x,x),x)) true 165591 165591 -0.001171 0.5 0.9251 0.8965 0.9468 -1 1 2 1 2.238 0.002992 0.00006021 0.0178 0.9605 1 3.477e-7 0.00578 0.01656 0.002737 0.05232 2.939 0.9048 0.003405 0.006447 1 1 0.003818 0.02191 0.2126 0.004259 0.02444 0.2372 json
t20_x5_u0_b178 20 5 0 178 sub(P,mod(mlt(P,D),R)) 160699 162614203 o2(x,o2(o2(x,x),x)) true 165599 165599 0.009376 0.5 0.935 0.9208 0.9596 -1 1 2 1 1.864 0.0009755 0.000006065 0.009205 0.9876 1 -1.658e-7 0.0004916 0.005051 0.0008963 0.02994 3.252 0.3803 0.001066 0.0005339 1 1 0.002267 0.02555 0.2315 0.002462 0.02775 0.2515 json