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_x7_u0_b77 20 7 0 77 add(P,eql(add(P,R),D)) 161000 162694904 o2(x,o2(o2(x,x),x)) true 168007 168007 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_x7_u0_b78 20 7 0 78 add(P,eql(sub(P,R),D)) 161001 162694905 o2(x,o2(o2(x,x),x)) true 168015 168015 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_x7_u0_b79 20 7 0 79 add(P,eql(mlt(P,R),D)) 161002 162694906 o2(x,o2(o2(x,x),x)) true 168023 168023 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_x7_u0_b80 20 7 0 80 add(P,eql(div(P,R),D)) 161003 162694907 o2(x,o2(o2(x,x),x)) true 168031 168031 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_x7_u0_b81 20 7 0 81 add(P,eql(pow(P,R),D)) 161004 162694908 o2(x,o2(o2(x,x),x)) true 168039 168039 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_x7_u0_b82 20 7 0 82 add(P,eql(mod(P,R),D)) 161005 162694909 o2(x,o2(o2(x,x),x)) true 168047 168047 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_x7_u0_b83 20 7 0 83 add(P,eql(lrg(P,R),D)) 161006 162694910 o2(x,o2(o2(x,x),x)) true 168055 168055 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_x7_u0_b84 20 7 0 84 add(P,eql(eql(P,R),D)) 161007 162694911 o2(x,o2(o2(x,x),x)) true 168063 168063 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_x7_u0_b85 20 7 0 85 add(P,eql(min(P,R),D)) 161008 162694912 o2(x,o2(o2(x,x),x)) true 168071 168071 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_x7_u0_b86 20 7 0 86 add(P,eql(dot(P,R),D)) 161009 162694913 o2(x,o2(o2(x,x),x)) true 168079 168079 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_x7_u0_b87 20 7 0 87 add(P,eql(dst(P,R),D)) 161010 162694914 o2(x,o2(o2(x,x),x)) true 168087 168087 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_x7_u0_b88 20 7 0 88 add(P,min(add(P,R),D)) 161011 162694915 o2(x,o2(o2(x,x),x)) true 168095 168095 -0.03679 0.4807 0.957 0.9409 0.97 -1 1 2 1 1.732 0.0009099 0.00006659 0.008396 0.8636 1 -0.000002508 0.0001117 0.002154 0.0009053 0.03009 3.584 0.2788 0.001038 0.0001187 1 1 0.002549 0.03251 0.2671 0.002709 0.03455 0.2838 json
t20_x7_u0_b89 20 7 0 89 add(P,min(sub(P,R),D)) 161012 162694916 o2(x,o2(o2(x,x),x)) true 168103 168103 -0.02985 0.4857 0.9543 0.939 0.969 -1 1 2 1 1.736 0.00091 0.00004446 0.008274 0.9068 1 0.000004608 0.0001437 0.00224 0.0008861 0.02977 3.598 0.2744 0.001016 0.000153 1 1 0.002456 0.03057 0.2641 0.002615 0.03255 0.2812 json
t20_x7_u0_b90 20 7 0 90 add(P,min(mlt(P,R),D)) 161013 162694917 o2(x,o2(o2(x,x),x)) true 168111 168111 -0.03331 0.4961 0.9224 0.8994 0.9483 -1 1 2 1 2.094 0.0008722 0.0003086 0.01117 0.4774 1 -0.00001664 0.0003421 0.004416 0.001056 0.0325 2.908 0.3398 0.001313 0.0003804 1 1 0.002434 0.0277 0.2289 0.002706 0.0308 0.2545 json
t20_x7_u0_b91 20 7 0 91 add(P,min(div(P,R),D)) 161014 162694918 o2(x,o2(o2(x,x),x)) true 168119 168119 -0.5639 0.2079 0.9046 0.5613 0.7492 -1 1 2 1 1.969 0.02257 0.02391 0.06044 -0.02878 1 0.000009539 0.06298 0.05757 0.04284 0.207 3.425 2.828 0.08282 0.1122 1 1 0.05906 0.3818 0.8625 0.1052 0.6803 1.537 json
t20_x7_u0_b92 20 7 0 92 add(P,min(pow(P,R),D)) 161015 162694919 o2(x,o2(o2(x,x),x)) true 168127 168127 -0.003911 0.4989 0.9336 0.9141 0.9561 -1 1 2 1 1.972 0.0005254 0.000003992 0.007969 0.9849 1 8.158e-7 0.00002307 0.0009131 0.0004657 0.02158 2.708 0.1105 0.0005791 0.00002524 1 1 0.001392 0.02003 0.2216 0.001523 0.02192 0.2424 json
t20_x7_u0_b93 20 7 0 93 add(P,min(mod(P,R),D)) 161016 162694920 o2(x,o2(o2(x,x),x)) true 168135 168135 -0.01979 0.4961 0.9394 0.9257 0.9621 -1 1 2 1 1.766 0.0007474 9.288e-7 0.007941 0.9975 1 4.117e-7 0.00005536 0.001871 0.0006856 0.02618 3.297 0.1522 0.0008084 0.0000598 1 1 0.001929 0.02504 0.2373 0.002084 0.02705 0.2563 json
t20_x7_u0_b94 20 7 0 94 add(P,min(lrg(P,R),D)) 161017 162694921 o2(x,o2(o2(x,x),x)) true 168143 168143 -0.01285 0.4989 0.9425 0.9261 0.9623 -1 1 2 1 1.843 0.0006252 0.000003992 0.007969 0.9873 1 8.148e-7 0.00002409 0.001294 0.0005656 0.02378 2.984 0.1105 0.0006793 0.00002601 1 1 0.001656 0.02336 0.2382 0.001789 0.02523 0.2572 json
t20_x7_u0_b95 20 7 0 95 add(P,min(eql(P,R),D)) 161018 162694922 o2(x,o2(o2(x,x),x)) true 168151 168151 -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_x7_u0_b96 20 7 0 96 add(P,min(min(P,R),D)) 161019 162694923 o2(x,o2(o2(x,x),x)) true 168159 168159 -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_x7_u0_b97 20 7 0 97 add(P,min(dot(P,R),D)) 161020 162694924 o2(x,o2(o2(x,x),x)) true 168167 168167 -0.1681 0.4181 0.9336 0.8835 0.94 -1 1 2 1 1.992 0.005483 0.006171 0.03114 -0.05898 1 -0.00006599 0.006333 0.0168 0.01069 0.1034 3.32 1.419 0.01319 0.007168 1 1 0.01949 0.1825 0.5289 0.02206 0.2065 0.5986 json
t20_x7_u0_b98 20 7 0 98 add(P,min(dst(P,R),D)) 161021 162694925 o2(x,o2(o2(x,x),x)) true 168175 168175 -6.704e-7 0.5 0.9375 0.9166 0.9574 -1 1 2 1 1.979 0.0004883 1.13e-11 0.007937 1 1 2.957e-11 0.0000155 0.0004974 0.0004253 0.02062 2.598 0.06343 0.0005327 0.00001691 1 1 0.001285 0.01928 0.2245 0.001402 0.02104 0.2449 json
t20_x7_u0_b99 20 7 0 99 add(P,dot(add(P,R),D)) 161022 162694926 o2(x,o2(o2(x,x),x)) true 168183 168183 -0.03385 0.4818 0.9354 0.9141 0.9561 -1 1 2 1 1.975 0.0009846 0.004203 0.02298 -0.6204 1 0.0003608 0.001828 0.01209 0.004662 0.06828 2.971 0.51 0.005675 0.001999 1 1 0.008533 0.06701 0.2321 0.009335 0.07331 0.254 json
t20_x7_u0_b100 20 7 0 100 add(P,dot(sub(P,R),D)) 161023 162694927 o2(x,o2(o2(x,x),x)) true 168191 168191 -0.02927 0.4862 0.9376 0.9155 0.9568 -1 1 2 1 1.982 0.0009857 0.004279 0.02322 -0.6255 1 0.0003421 0.001917 0.01261 0.004724 0.06873 2.96 0.5216 0.005751 0.002094 1 1 0.008854 0.067 0.2335 0.009671 0.07319 0.2551 json
t20_x7_u0_b101 20 7 0 101 add(P,dot(mlt(P,R),D)) 161024 162694928 o2(x,o2(o2(x,x),x)) true 168199 168199 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_x7_u0_b102 20 7 0 102 add(P,dot(div(P,R),D)) 161025 162694929 o2(x,o2(o2(x,x),x)) true 168207 168207 -0.03662 0.4822 0.9419 0.922 0.9602 -1 1 2 1 1.899 0.07193 0.07582 0.121 -0.02636 1 0.001208 0.284 0.1696 0.1331 0.3649 3.016 2.828 0.1603 0.308 1 1 0.1549 0.7692 1.162 0.168 0.8343 1.26 json
t20_x7_u0_b103 20 7 0 103 add(P,dot(pow(P,R),D)) 161026 162694930 o2(x,o2(o2(x,x),x)) true 168215 168215 -0.5939 0.2035 0.9949 0.6404 0.8002 -1 1 2 1 0.8415 0.009327 0.008113 0.01082 0.06962 1 0.000005885 0.03543 0.01874 0.01733 0.1316 12.17 2.828 0.02724 0.05532 1 1 0.02379 0.09975 0.3498 0.03716 0.1558 0.5463 json
t20_x7_u0_b104 20 7 0 104 add(P,dot(mod(P,R),D)) 161027 162694931 o2(x,o2(o2(x,x),x)) true 168223 168223 -0.003321 0.4979 0.9376 0.9234 0.9609 -1 1 2 1 1.837 0.0007149 0.00001383 0.008213 0.962 1 0.00001109 0.00004349 0.002037 0.0006613 0.02572 3.131 0.1443 0.0007891 0.00004709 1 1 0.001888 0.02461 0.2335 0.002045 0.02665 0.2528 json
t20_x7_u0_b105 20 7 0 105 add(P,dot(lrg(P,R),D)) 161028 162694932 o2(x,o2(o2(x,x),x)) true 168231 168231 -0.009491 0.4978 0.9385 0.9215 0.9599 -1 1 2 1 1.909 0.0006281 0.0001095 0.008866 0.7031 1 0.00001758 0.00006418 0.002014 0.000659 0.02567 2.895 0.1488 0.0008004 0.00006965 1 1 0.001931 0.02502 0.2324 0.002095 0.02715 0.2522 json
t20_x7_u0_b106 20 7 0 106 add(P,dot(eql(P,R),D)) 161029 162694933 o2(x,o2(o2(x,x),x)) true 168239 168239 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_x7_u0_b107 20 7 0 107 add(P,dot(min(P,R),D)) 161030 162694934 o2(x,o2(o2(x,x),x)) true 168247 168247 -0.01685 0.4923 0.9375 0.9197 0.959 -1 1 2 1 1.924 0.0009733 0.00202 0.01599 -0.3497 1 0.0001667 0.0009575 0.007614 0.002741 0.05235 3.274 0.4634 0.003255 0.001041 1 1 0.005274 0.04404 0.2338 0.005734 0.04789 0.2542 json
t20_x7_u0_b108 20 7 0 108 add(P,dot(dot(P,R),D)) 161031 162694935 o2(x,o2(o2(x,x),x)) true 168255 168255 -0.003668 0.4962 0.9361 0.9165 0.9574 -1 1 2 1 1.969 0.004375 0.003858 0.02579 0.06274 1 0.00007582 0.004251 0.01382 0.007573 0.08702 3.374 1.008 0.008983 0.004638 1 1 0.009653 0.09443 0.2927 0.01053 0.103 0.3194 json
t20_x7_u0_b109 20 7 0 109 add(P,dot(dst(P,R),D)) 161032 162694936 o2(x,o2(o2(x,x),x)) true 168263 168263 0.005098 0.5026 0.9347 0.9136 0.9558 -1 1 2 1 2.01 0.003616 0.004586 0.02929 -0.1184 1 -0.00001146 0.004064 0.01692 0.007341 0.08568 2.925 0.6932 0.008978 0.004448 1 1 0.01277 0.08795 0.2288 0.01398 0.09627 0.2505 json
t20_x7_u0_b110 20 7 0 110 add(P,dst(add(P,R),D)) 161033 162694937 o2(x,o2(o2(x,x),x)) true 168271 168271 0.8868 0.9594 0.9088 0.09541 0.3089 -0.7642 1 1.764 1 1.323 0.0005708 0.0007595 0.01242 -0.1418 1 -0.0001001 0.0002699 0.004387 0.001175 0.03428 2.761 0.3218 0.01394 0.002829 1 1 0.003133 0.03118 0.09134 0.03284 0.3268 0.9574 json
t20_x7_u0_b111 20 7 0 111 add(P,dst(sub(P,R),D)) 161034 162694938 o2(x,o2(o2(x,x),x)) true 168279 168279 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_x7_u0_b112 20 7 0 112 add(P,dst(mlt(P,R),D)) 161035 162694939 o2(x,o2(o2(x,x),x)) true 168287 168287 0.3816 0.6882 0.8874 0.7064 0.8405 -1 1 2 1 2.358 0.002264 0.002979 0.02751 -0.1365 1 0.0000136 0.00155 0.01131 0.004489 0.067 2.435 0.546 0.007422 0.002194 1 1 0.009904 0.1032 0.363 0.01402 0.1461 0.5139 json
t20_x7_u0_b113 20 7 0 113 add(P,dst(div(P,R),D)) 161036 162694940 o2(x,o2(o2(x,x),x)) true 168295 168295 0.9992 1 0.9992 0.0004733 0.02176 0.04553 1 0.9545 1 0.02214 0.00003619 0.00004892 0.0003682 -0.1496 0 1.126e-11 0.00005615 0.0002952 0.0000849 0.009214 25.03 0.3741 0.1798 0.1186 1 1 0.0002606 0.001589 0.001722 0.5505 3.358 3.637 json
t20_x7_u0_b114 20 7 0 114 add(P,dst(pow(P,R),D)) 161037 162694941 o2(x,o2(o2(x,x),x)) true 168303 168303 -0.9688 0.01563 1 0.06152 0.248 -1 1 2 1 0.1161 0.006047 0.008062 0.006999 -0.1429 1 0 0.02973 0.01411 0.01406 0.1186 16.94 2.828 0.2293 0.4832 1 1 0.009695 0.04659 0.07003 0.1576 0.7573 1.138 json
t20_x7_u0_b115 20 7 0 115 add(P,dst(mod(P,R),D)) 161038 162694942 o2(x,o2(o2(x,x),x)) true 168311 168311 0.06789 0.5389 0.9366 0.9083 0.953 -1 1 2 1 1.987 0.0008685 0.0002687 0.01102 0.5275 1 -0.00005389 0.0002112 0.003863 0.001016 0.03187 2.891 0.1927 0.001252 0.0002325 1 1 0.002897 0.02906 0.223 0.003189 0.032 0.2455 json
t20_x7_u0_b116 20 7 0 116 add(P,dst(lrg(P,R),D)) 161039 162694943 o2(x,o2(o2(x,x),x)) true 168319 168319 0.1391 0.5693 0.9413 0.905 0.9513 -1 1 2 1 1.844 0.0009742 0.0002452 0.0101 0.5978 1 -0.00003804 0.0002339 0.003501 0.001117 0.03343 3.311 0.288 0.001347 0.0002585 1 1 0.003163 0.03323 0.2447 0.003495 0.03671 0.2704 json
t20_x7_u0_b117 20 7 0 117 add(P,dst(eql(P,R),D)) 161040 162694944 o2(x,o2(o2(x,x),x)) true 168327 168327 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_x7_u0_b118 20 7 0 118 add(P,dst(min(P,R),D)) 161041 162694945 o2(x,o2(o2(x,x),x)) true 168335 168335 0.7391 0.9328 0.7475 0.1585 0.3981 -0.1451 1 1.145 1 2.162 0.0005879 0.000222 0.01461 0.4518 1 -0.0001187 0.0001411 0.005407 0.0005965 0.02442 1.672 0.2094 0.00511 0.0008901 1 1 0.001738 0.01579 0.05846 0.01097 0.09962 0.3688 json
t20_x7_u0_b119 20 7 0 119 add(P,dst(dot(P,R),D)) 161042 162694946 o2(x,o2(o2(x,x),x)) true 168343 168343 0.6467 0.8261 0.9418 0.5038 0.7098 -1 1 2 1 1.571 0.009573 0.0121 0.04213 -0.1164 1 -0.00002845 0.01466 0.02953 0.0199 0.1411 3.348 1.52 0.04301 0.02911 1 1 0.02962 0.2265 0.51 0.0588 0.4496 1.012 json
t20_x7_u0_b120 20 7 0 120 add(P,dst(dst(P,R),D)) 161043 162694947 o2(x,o2(o2(x,x),x)) true 168351 168351 0.9992 1 0.9992 0.0003562 0.01887 0.2904 1 0.7096 1 0.02926 0.00001647 0.00003147 0.0003271 -0.3131 0 -4.505e-11 0.00002499 0.0002352 0.00004778 0.006912 21.13 0.2494 0.1346 0.07017 1 1 0.0001511 0.001045 0.001297 0.4241 2.933 3.64 json
t20_x7_u0_b121 20 7 0 121 sub(P,add(add(P,R),D)) 161044 162694948 o2(x,o2(o2(x,x),x)) true 168359 168359 -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_x7_u0_b122 20 7 0 122 sub(P,add(sub(P,R),D)) 161045 162694949 o2(x,o2(o2(x,x),x)) true 168367 168367 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_x7_u0_b123 20 7 0 123 sub(P,add(mlt(P,R),D)) 161046 162694950 o2(x,o2(o2(x,x),x)) true 168375 168375 0.0012 0.4988 0.8911 0.8638 0.9294 -1 1 2 1 2.324 0.001965 0.0008176 0.01913 0.4123 1 -0.00003348 0.00119 0.01035 0.002417 0.04916 2.569 0.5355 0.003221 0.001378 1 1 0.006124 0.04872 0.2233 0.00709 0.0564 0.2585 json
t20_x7_u0_b124 20 7 0 124 sub(P,add(div(P,R),D)) 161047 162694951 o2(x,o2(o2(x,x),x)) true 168383 168383 0.05367 0.5255 0.8968 0.8695 0.9325 -1 1 2 1 2.218 0.05797 0.07 0.1076 -0.09397 1 -0.000003044 0.2524 0.1474 0.1164 0.3412 3.172 2.828 0.1472 0.2903 1 1 0.1358 0.6984 1.55 0.1562 0.8032 1.783 json
t20_x7_u0_b125 20 7 0 125 sub(P,add(pow(P,R),D)) 161048 162694952 o2(x,o2(o2(x,x),x)) true 168391 168391 -0.152 0.427 0.9457 0.9117 0.9548 -1 1 2 1 1.627 0.004495 0.001663 0.01266 0.4599 1 -0.00002088 0.01154 0.01425 0.005998 0.07744 6.116 1.415 0.006754 0.01266 1 1 0.009161 0.05177 0.2879 0.01005 0.05678 0.3157 json
t20_x7_u0_b126 20 7 0 126 sub(P,add(mod(P,R),D)) 161049 162694953 o2(x,o2(o2(x,x),x)) true 168399 168399 -0.000902 0.5 0.9222 0.9009 0.9492 -1 1 2 1 2.142 0.001275 0.00001969 0.01267 0.9696 1 1.217e-7 0.0002569 0.00562 0.001134 0.03367 2.657 0.1716 0.001437 0.0002852 1 1 0.003278 0.02969 0.2096 0.003638 0.03295 0.2326 json
t20_x7_u0_b127 20 7 0 127 sub(P,add(lrg(P,R),D)) 161050 162694954 o2(x,o2(o2(x,x),x)) true 168407 168407 -0.09621 0.4483 0.9109 0.8843 0.9404 -1 1 2 1 2.065 0.001371 0.0001036 0.01346 0.8595 1 -0.000003873 0.0002763 0.006022 0.001293 0.03596 2.672 0.1713 0.001667 0.0003124 1 1 0.003756 0.03703 0.213 0.004247 0.04187 0.2408 json
t20_x7_u0_b128 20 7 0 128 sub(P,add(eql(P,R),D)) 161051 162694955 o2(x,o2(o2(x,x),x)) true 168415 168415 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_x7_u0_b129 20 7 0 129 sub(P,add(min(P,R),D)) 161052 162694956 o2(x,o2(o2(x,x),x)) true 168423 168423 0.4715 0.7488 0.5179 0.2393 0.4891 -0.1454 1 1.145 1 2.824 0.001545 0.0001877 0.02531 0.7833 1 0.0001611 0.0003557 0.01034 0.001092 0.03305 1.306 0.2937 0.007241 0.001486 1 1 0.003777 0.0305 0.07493 0.01578 0.1275 0.3131 json
t20_x7_u0_b130 20 7 0 130 sub(P,add(dot(P,R),D)) 161053 162694957 o2(x,o2(o2(x,x),x)) true 168431 168431 0.02505 0.511 0.8983 0.8664 0.9308 -1 1 2 1 2.369 0.01282 0.01575 0.05731 -0.1023 1 0.0000446 0.02142 0.04047 0.02529 0.159 2.775 1.71 0.03297 0.02473 1 1 0.04054 0.3136 0.7286 0.04679 0.362 0.841 json
t20_x7_u0_b131 20 7 0 131 sub(P,add(dst(P,R),D)) 161054 162694958 o2(x,o2(o2(x,x),x)) true 168439 168439 -0.8718 0.05591 0.9085 0.1218 0.349 -1 0.9493 1.949 1 1.353 0.0009468 0.0006637 0.01435 0.1758 1 -0.00006042 0.0002603 0.004707 0.001405 0.03748 2.612 0.2613 0.01322 0.002137 1 1 0.003692 0.0402 0.1404 0.03031 0.33 1.152 json
t20_x7_u0_b132 20 7 0 132 sub(P,sub(add(P,R),D)) 161055 162694959 o2(x,o2(o2(x,x),x)) true 168447 168447 -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_x7_u0_b133 20 7 0 133 sub(P,sub(sub(P,R),D)) 161056 162694960 o2(x,o2(o2(x,x),x)) true 168455 168455 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_x7_u0_b134 20 7 0 134 sub(P,sub(mlt(P,R),D)) 161057 162694961 o2(x,o2(o2(x,x),x)) true 168463 168463 0.001263 0.4993 0.8937 0.8636 0.9293 -1 1 2 1 2.366 0.001187 0.000829 0.01652 0.1774 1 -0.00004091 0.0008947 0.007549 0.001743 0.04175 2.527 0.5174 0.002334 0.001036 1 1 0.004407 0.04152 0.2248 0.005103 0.04807 0.2603 json
t20_x7_u0_b135 20 7 0 135 sub(P,sub(div(P,R),D)) 161058 162694962 o2(x,o2(o2(x,x),x)) true 168471 168471 0.0535 0.5267 0.8999 0.8718 0.9337 -1 1 2 1 2.212 0.05778 0.06983 0.108 -0.09441 1 -0.000007211 0.2515 0.1472 0.116 0.3406 3.153 2.828 0.1464 0.2884 1 1 0.1358 0.7047 1.556 0.1558 0.8083 1.784 json
t20_x7_u0_b136 20 7 0 136 sub(P,sub(pow(P,R),D)) 161059 162694963 o2(x,o2(o2(x,x),x)) true 168479 168479 -0.1482 0.4445 0.9471 0.9123 0.9552 -1 1 2 1 1.654 0.00459 0.001663 0.01162 0.4681 1 -0.00002154 0.01152 0.01275 0.006114 0.07819 6.729 1.415 0.006854 0.01262 1 1 0.009435 0.0541 0.2862 0.01034 0.0593 0.3137 json
t20_x7_u0_b137 20 7 0 137 sub(P,sub(mod(P,R),D)) 161060 162694964 o2(x,o2(o2(x,x),x)) true 168487 168487 -0.0007786 0.5 0.9245 0.899 0.9482 -1 1 2 1 2.116 0.000439 0.00001624 0.008092 0.9286 1 -4.516e-8 0.00002914 0.0009868 0.0003897 0.01974 2.44 0.08551 0.0005064 0.00003241 1 1 0.001195 0.01747 0.2053 0.00133 0.01943 0.2283 json
t20_x7_u0_b138 20 7 0 138 sub(P,sub(lrg(P,R),D)) 161061 162694965 o2(x,o2(o2(x,x),x)) true 168495 168495 -0.09633 0.4483 0.9107 0.8759 0.9359 -1 1 2 1 2.241 0.0005381 0.000102 0.01023 0.6814 1 -0.000003296 0.00004243 0.001645 0.0005353 0.02314 2.261 0.1324 0.0007307 0.00004844 1 1 0.001696 0.02316 0.2045 0.001937 0.02644 0.2335 json
t20_x7_u0_b139 20 7 0 139 sub(P,sub(eql(P,R),D)) 161062 162694966 o2(x,o2(o2(x,x),x)) true 168503 168503 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_x7_u0_b140 20 7 0 140 sub(P,sub(min(P,R),D)) 161063 162694967 o2(x,o2(o2(x,x),x)) true 168511 168511 0.4762 0.7689 0.5196 0.2358 0.4856 -0.1454 1 1.145 1 2.839 0.00115 0.0001845 0.02365 0.7235 1 -0.0001556 0.0002157 0.008733 0.0007757 0.02785 1.178 0.1967 0.005661 0.0009148 1 1 0.002807 0.02619 0.0748 0.01191 0.1111 0.3173 json
t20_x7_u0_b141 20 7 0 141 sub(P,sub(dot(P,R),D)) 161064 162694968 o2(x,o2(o2(x,x),x)) true 168519 168519 0.02505 0.5114 0.8981 0.8658 0.9305 -1 1 2 1 2.375 0.01207 0.01573 0.05652 -0.1315 1 0.00003793 0.02055 0.03925 0.0246 0.1568 2.775 1.7 0.03211 0.02374 1 1 0.039 0.3109 0.7293 0.04504 0.3591 0.8423 json
t20_x7_u0_b142 20 7 0 142 sub(P,sub(dst(P,R),D)) 161065 162694969 o2(x,o2(o2(x,x),x)) true 168527 168527 -0.8729 0.05544 0.9074 0.1183 0.344 -1 0.9352 1.935 1 1.354 0.0007678 0.000665 0.0136 0.07174 1 0.00006365 0.0002135 0.004079 0.001247 0.03532 2.598 0.2344 0.01211 0.001804 1 1 0.003326 0.03808 0.1383 0.02811 0.3218 1.169 json
t20_x7_u0_b143 20 7 0 143 sub(P,mlt(add(P,R),D)) 161066 162694970 o2(x,o2(o2(x,x),x)) true 168535 168535 0.01362 0.5049 0.9392 0.9247 0.9616 -1 1 2 1 1.841 0.0009697 0.00002785 0.009583 0.9442 1 6.531e-7 0.0001625 0.00338 0.0009055 0.03009 3.14 0.1973 0.001079 0.0001757 1 1 0.002523 0.0292 0.2388 0.002729 0.03157 0.2583 json
t20_x7_u0_b144 20 7 0 144 sub(P,mlt(sub(P,R),D)) 161067 162694971 o2(x,o2(o2(x,x),x)) true 168543 168543 0.01474 0.5076 0.9327 0.9194 0.9588 -1 1 2 1 1.845 0.0009459 0.00002899 0.009402 0.9405 1 -0.000001665 0.0001122 0.002906 0.0008861 0.02977 3.166 0.1969 0.00106 0.000122 1 1 0.002504 0.02967 0.2327 0.002724 0.03227 0.2531 json
t20_x7_u0_b145 20 7 0 145 sub(P,mlt(mlt(P,R),D)) 161068 162694972 o2(x,o2(o2(x,x),x)) true 168551 168551 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_x7_u0_b146 20 7 0 146 sub(P,mlt(div(P,R),D)) 161069 162694973 o2(x,o2(o2(x,x),x)) true 168559 168559 -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_x7_u0_b147 20 7 0 147 sub(P,mlt(pow(P,R),D)) 161070 162694974 o2(x,o2(o2(x,x),x)) true 168567 168567 -0.101 0.4531 0.9928 0.9803 0.9901 -1 1 2 1 1.15 0.01264 0.004164 0.01085 0.5045 1 -2.668e-8 0.03486 0.01965 0.01669 0.1292 11.9 2.807 0.01715 0.03557 1 1 0.02277 0.09694 0.3912 0.02323 0.09889 0.3991 json
t20_x7_u0_b148 20 7 0 148 sub(P,mlt(mod(P,R),D)) 161071 162694975 o2(x,o2(o2(x,x),x)) true 168575 168575 0.00288 0.5 0.9375 0.924 0.9613 -1 1 2 1 1.823 0.0007146 8.373e-7 0.008022 0.9977 1 2.162e-9 0.00003606 0.00197 0.0006512 0.02552 3.181 0.1291 0.0007742 0.00003902 1 1 0.001873 0.02464 0.2347 0.002027 0.02666 0.254 json
t20_x7_u0_b149 20 7 0 149 sub(P,mlt(lrg(P,R),D)) 161072 162694976 o2(x,o2(o2(x,x),x)) true 168583 168583 0.006358 0.5028 0.937 0.9245 0.9615 -1 1 2 1 1.813 0.001056 0.000007821 0.009709 0.9853 1 6.886e-8 0.0001403 0.003592 0.00097 0.03114 3.208 0.1713 0.001151 0.0001517 1 1 0.002718 0.03035 0.2366 0.00294 0.03283 0.2559 json
t20_x7_u0_b150 20 7 0 150 sub(P,mlt(eql(P,R),D)) 161073 162694977 o2(x,o2(o2(x,x),x)) true 168591 168591 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_x7_u0_b151 20 7 0 151 sub(P,mlt(min(P,R),D)) 161074 162694978 o2(x,o2(o2(x,x),x)) true 168599 168599 0.009818 0.5 0.9359 0.9201 0.9592 -1 1 2 1 1.884 0.0006897 0.00001163 0.008386 0.9668 1 -0.000002489 0.00005092 0.001936 0.0006309 0.02512 2.995 0.1504 0.0007622 0.00005534 1 1 0.0018 0.02398 0.2298 0.001956 0.02606 0.2497 json
t20_x7_u0_b152 20 7 0 152 sub(P,mlt(dot(P,R),D)) 161075 162694979 o2(x,o2(o2(x,x),x)) true 168607 168607 0.008532 0.5062 0.9406 0.9237 0.9611 -1 1 2 1 1.899 0.003117 0.0007613 0.01809 0.6074 1 -2.866e-7 0.001187 0.008557 0.00355 0.05958 3.293 0.5179 0.004199 0.001285 1 1 0.005055 0.05244 0.273 0.005473 0.05677 0.2955 json
t20_x7_u0_b153 20 7 0 153 sub(P,mlt(dst(P,R),D)) 161076 162694980 o2(x,o2(o2(x,x),x)) true 168615 168615 -0.0007354 0.4998 0.9398 0.9203 0.9593 -1 1 2 1 1.943 0.006799 0.00003612 0.02513 0.9894 1 -9.012e-7 0.002449 0.0151 0.006202 0.07875 3.134 0.5778 0.007426 0.00266 1 1 0.01144 0.07327 0.2338 0.01243 0.07962 0.254 json
t20_x7_u0_b154 20 7 0 154 sub(P,div(add(P,R),D)) 161077 162694981 o2(x,o2(o2(x,x),x)) true 168623 168623 0.1056 0.5543 0.9641 0.9408 0.97 -1 1 2 1 1.625 0.4058 0.002548 0.2424 0.9875 1 0.00001453 0.7584 0.4246 0.3495 0.5912 2.439 2.828 0.4341 0.8061 1 1 0.4319 1.567 0.4348 0.4591 1.666 0.4621 json
t20_x7_u0_b155 20 7 0 155 sub(P,div(sub(P,R),D)) 161078 162694982 o2(x,o2(o2(x,x),x)) true 168631 168631 0.1138 0.5584 0.9648 0.9401 0.9696 -1 1 2 1 1.605 0.4039 0.00263 0.2416 0.9871 1 -0.00003377 0.755 0.4216 0.3482 0.5901 2.442 2.828 0.4324 0.8031 1 1 0.4306 1.565 0.4258 0.4581 1.664 0.453 json
t20_x7_u0_b156 20 7 0 156 sub(P,div(mlt(P,R),D)) 161079 162694983 o2(x,o2(o2(x,x),x)) true 168639 168639 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_x7_u0_b157 20 7 0 157 sub(P,div(div(P,R),D)) 161080 162694984 o2(x,o2(o2(x,x),x)) true 168647 168647 -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_x7_u0_b158 20 7 0 158 sub(P,div(pow(P,R),D)) 161081 162694985 o2(x,o2(o2(x,x),x)) true 168655 168655 -0.3215 0.3433 0.9774 0.8675 0.9314 -1 1 2 1 1.314 0.1649 0.008408 0.1106 0.9029 1 -0.000004465 0.3444 0.1849 0.1611 0.4013 3.628 2.828 0.1997 0.397 1 1 0.1824 0.5127 0.4327 0.2102 0.591 0.4988 json
t20_x7_u0_b159 20 7 0 159 sub(P,div(mod(P,R),D)) 161082 162694986 o2(x,o2(o2(x,x),x)) true 168663 168663 0.005683 0.4994 0.9094 0.8893 0.943 -1 1 2 1 2.092 0.2402 0.003031 0.1555 0.9751 1 0.000005758 0.6238 0.2673 0.2192 0.4682 3.011 2.826 0.2736 0.7015 1 1 0.2034 0.2997 0.3551 0.2287 0.3371 0.3993 json
t20_x7_u0_b160 20 7 0 160 sub(P,div(lrg(P,R),D)) 161083 162694987 o2(x,o2(o2(x,x),x)) true 168671 168671 -0.1962 0.3996 0.9525 0.9004 0.9489 -1 1 2 1 1.705 0.1935 0.0004651 0.1309 0.9952 1 -1.504e-7 0.3384 0.2041 0.177 0.4207 3.214 2.037 0.2155 0.3758 1 1 0.2236 0.6131 0.2771 0.2484 0.6809 0.3077 json
t20_x7_u0_b161 20 7 0 161 sub(P,div(eql(P,R),D)) 161084 162694988 o2(x,o2(o2(x,x),x)) true 168679 168679 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_x7_u0_b162 20 7 0 162 sub(P,div(min(P,R),D)) 161085 162694989 o2(x,o2(o2(x,x),x)) true 168687 168687 0.3262 0.6701 0.9468 0.826 0.9089 -1 1 2 1 1.661 0.3719 0.009993 0.2238 0.9477 1 -0.0007655 0.8044 0.3954 0.3319 0.5761 2.574 2.828 0.4624 0.9738 1 1 0.3844 1.156 0.4412 0.4654 1.4 0.5341 json
t20_x7_u0_b163 20 7 0 163 sub(P,div(dot(P,R),D)) 161086 162694990 o2(x,o2(o2(x,x),x)) true 168695 168695 -0.01012 0.4946 0.9626 0.9502 0.9748 -1 1 2 1 1.633 0.35 0.07396 0.2493 0.6511 1 0.0003245 0.9439 0.446 0.3619 0.6016 2.413 2.828 0.4461 0.9933 1 1 0.4392 1.501 1.638 0.4622 1.579 1.723 json
t20_x7_u0_b164 20 7 0 164 sub(P,div(dst(P,R),D)) 161087 162694991 o2(x,o2(o2(x,x),x)) true 168703 168703 0.001735 0.501 0.9831 0.9778 0.9888 -1 1 2 1 1.315 0.4472 0.0003972 0.2464 0.9982 1 -6.687e-7 0.8517 0.4579 0.3867 0.6219 2.524 2.014 0.4578 0.8711 1 1 0.4673 1.719 0.08039 0.4779 1.758 0.08221 json
t20_x7_u0_b165 20 7 0 165 sub(P,pow(add(P,R),D)) 161088 162694992 o2(x,o2(o2(x,x),x)) true 168711 168711 -0.1448 0.4324 0.9621 0.933 0.9659 -1 1 2 1 1.517 0.003511 0.0007398 0.009478 0.6519 1 0.000002219 0.007602 0.009566 0.004162 0.06451 6.807 1.414 0.004556 0.008147 1 1 0.006375 0.04261 0.2877 0.006833 0.04567 0.3084 json
t20_x7_u0_b166 20 7 0 166 sub(P,pow(sub(P,R),D)) 161089 162694993 o2(x,o2(o2(x,x),x)) true 168719 168719 -0.1411 0.4352 0.9682 0.9397 0.9694 -1 1 2 1 1.504 0.003204 0.0003276 0.009095 0.8145 1 -0.000001549 0.00571 0.007712 0.003447 0.05871 6.455 1.414 0.003759 0.006077 1 1 0.005888 0.04351 0.2881 0.006266 0.0463 0.3066 json
t20_x7_u0_b167 20 7 0 167 sub(P,pow(mlt(P,R),D)) 161090 162694994 o2(x,o2(o2(x,x),x)) true 168727 168727 -0.974 0.003906 0.9818 0.03203 0.179 -1 1 2 1 0.2073 0.003504 0.003118 0.00564 0.05835 1 3.004e-11 0.01392 0.01076 0.006588 0.08117 14.39 2 0.2068 0.4348 1 1 0.003529 0.0134 0.04629 0.1102 0.4185 1.446 json
t20_x7_u0_b168 20 7 0 168 sub(P,pow(div(P,R),D)) 161091 162694995 o2(x,o2(o2(x,x),x)) true 168735 168735 -0.9717 0.02264 0.9815 0.03645 0.1909 -1 1 2 1 0.2011 0.003565 0.003421 0.005733 0.02062 1 -9.386e-11 0.01453 0.01104 0.006951 0.08337 14.54 2 0.1917 0.3986 1 1 0.00403 0.01793 0.05734 0.1106 0.4919 1.573 json
t20_x7_u0_b169 20 7 0 169 sub(P,pow(pow(P,R),D)) 161092 162694996 o2(x,o2(o2(x,x),x)) true 168743 168743 -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_x7_u0_b170 20 7 0 170 sub(P,pow(mod(P,R),D)) 161093 162694997 o2(x,o2(o2(x,x),x)) true 168751 168751 -0.1701 0.4059 0.9243 0.8766 0.9363 -1 1 2 1 1.925 0.01116 0.00164 0.02595 0.7438 1 -0.000004539 0.01694 0.02208 0.01213 0.1101 4.243 2.072 0.01461 0.01933 1 1 0.02023 0.1053 0.2828 0.02308 0.1201 0.3227 json
t20_x7_u0_b171 20 7 0 171 sub(P,pow(lrg(P,R),D)) 161094 162694998 o2(x,o2(o2(x,x),x)) true 168759 168759 -0.1113 0.4375 0.9238 0.8995 0.9484 -1 1 2 1 1.81 0.002135 0.00005267 0.008427 0.9518 1 -0.000002853 0.003243 0.005073 0.002116 0.046 5.458 1 0.002432 0.003606 1 1 0.00371 0.02926 0.2266 0.004124 0.03253 0.252 json
t20_x7_u0_b172 20 7 0 172 sub(P,pow(eql(P,R),D)) 161095 162694999 o2(x,o2(o2(x,x),x)) true 168767 168767 -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_x7_u0_b173 20 7 0 173 sub(P,pow(min(P,R),D)) 161096 162695000 o2(x,o2(o2(x,x),x)) true 168775 168775 -0.9884 0.003906 0.9962 0.01909 0.1382 -1 1 2 1 0.07687 0.001508 0.002229 0.0024 -0.1929 1 3.004e-11 0.007859 0.004756 0.003729 0.06107 25.44 2 0.1957 0.4116 1 1 0.0001966 0.001388 0.01657 0.0103 0.07273 0.8678 json
t20_x7_u0_b174 20 7 0 174 sub(P,pow(dot(P,R),D)) 161097 162695001 o2(x,o2(o2(x,x),x)) true 168783 168783 -0.9497 0.02399 0.9846 0.07946 0.2819 -1 1 2 1 0.379 0.01038 0.008635 0.01288 0.09176 1 0.000003407 0.03977 0.02171 0.01884 0.1372 10.65 2.828 0.2393 0.5005 1 1 0.0191 0.07731 0.1789 0.2404 0.9729 2.252 json
t20_x7_u0_b175 20 7 0 175 sub(P,pow(dst(P,R),D)) 161098 162695002 o2(x,o2(o2(x,x),x)) true 168791 168791 -0.1399 0.4276 0.9389 0.9043 0.9509 -1 1 2 1 1.851 0.00171 0.000007558 0.01254 0.9912 1 -0.000001277 0.0003947 0.005998 0.001561 0.03951 3.15 0.2644 0.0019 0.0004364 1 1 0.003685 0.03442 0.2378 0.004075 0.03806 0.2629 json
t20_x7_u0_b176 20 7 0 176 sub(P,mod(add(P,R),D)) 161099 162695003 o2(x,o2(o2(x,x),x)) true 168799 168799 0.0003678 0.5019 0.928 0.9104 0.9541 -1 1 2 1 2.012 0.001725 0.00001567 0.0126 0.982 1 0.000002494 0.003082 0.01703 0.001583 0.03978 3.157 0.438 0.001912 0.003385 1 1 0.002617 0.0238 0.2186 0.002874 0.02614 0.2402 json