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_x6_u0_b178 20 6 0 178 sub(P,mod(mlt(P,R),P)) 160900 162654604 o2(x,o2(o2(x,x),x)) true 167207 167207 -0.1211 0.4375 0.9697 0.9416 0.9704 -1 1 2 1 1.615 0.01255 0.0006513 0.01655 0.9013 1 -0.00003941 0.02436 0.02139 0.01291 0.1136 6.868 2 0.01402 0.02587 1 1 0.01933 0.09194 0.3445 0.02053 0.09764 0.3659 json
t20_x6_u0_b179 20 6 0 179 sub(P,mod(div(P,R),P)) 160901 162654605 o2(x,o2(o2(x,x),x)) true 167215 167215 -0.123 0.4375 0.9912 0.971 0.9854 -1 1 2 1 1.287 0.01425 0.0001692 0.01105 0.9765 1 -0.000004118 0.02819 0.01816 0.0143 0.1196 10.83 2 0.01485 0.02903 1 1 0.01971 0.08454 0.3366 0.0203 0.08706 0.3467 json
t20_x6_u0_b180 20 6 0 180 sub(P,mod(pow(P,R),P)) 160902 162654606 o2(x,o2(o2(x,x),x)) true 167223 167223 -0.1361 0.4375 0.9889 0.9642 0.9819 -1 1 2 1 1.269 0.016 0.0001249 0.01067 0.9845 1 -0.0000215 0.03186 0.01722 0.01602 0.1266 11.86 2 0.01673 0.03304 1 1 0.02163 0.08834 0.3247 0.02243 0.09162 0.3368 json
t20_x6_u0_b181 20 6 0 181 sub(P,mod(mod(P,R),P)) 160903 162654607 o2(x,o2(o2(x,x),x)) true 167231 167231 -0.1253 0.4375 0.9949 0.9752 0.9875 -1 1 2 1 1.22 0.01344 0.000007896 0.009323 0.9988 1 1.979e-7 0.02667 0.01667 0.01335 0.1155 12.39 2 0.01378 0.02734 1 1 0.01818 0.07909 0.3321 0.01865 0.0811 0.3405 json
t20_x6_u0_b182 20 6 0 182 sub(P,mod(lrg(P,R),P)) 160904 162654608 o2(x,o2(o2(x,x),x)) true 167239 167239 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t20_x6_u0_b183 20 6 0 183 sub(P,mod(eql(P,R),P)) 160905 162654609 o2(x,o2(o2(x,x),x)) true 167247 167247 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t20_x6_u0_b184 20 6 0 184 sub(P,mod(min(P,R),P)) 160906 162654610 o2(x,o2(o2(x,x),x)) true 167255 167255 -0.005117 0.4375 0.8662 0.8526 0.9234 -1 1 2 1 2.029 0.01513 0.00005216 0.02413 0.9931 1 3.004e-10 0.02392 0.02426 0.01462 0.1209 5.01 2 0.01781 0.02806 1 1 0.02249 0.1121 0.376 0.02637 0.1315 0.441 json
t20_x6_u0_b185 20 6 0 185 sub(P,mod(dot(P,R),P)) 160907 162654611 o2(x,o2(o2(x,x),x)) true 167263 167263 -0.1294 0.4375 0.97 0.9401 0.9696 -1 1 2 1 1.622 0.01203 0.0006841 0.01611 0.8924 1 -0.00001969 0.02341 0.02074 0.01246 0.1116 6.928 2 0.01353 0.0249 1 1 0.01932 0.0933 0.3489 0.02056 0.09924 0.3711 json
t20_x6_u0_b186 20 6 0 186 sub(P,mod(dst(P,R),P)) 160908 162654612 o2(x,o2(o2(x,x),x)) true 167271 167271 -0.17 0.4375 0.955 0.9052 0.9514 -1 1 2 1 1.739 0.009709 0.000615 0.01502 0.8808 1 -0.00007693 0.01892 0.0166 0.0101 0.1005 6.688 1.986 0.01141 0.0209 1 1 0.01413 0.07429 0.3027 0.01561 0.08207 0.3344 json
t20_x6_u0_b187 20 6 0 187 sub(P,lrg(add(P,R),P)) 160909 162654613 o2(x,o2(o2(x,x),x)) true 167279 167279 -0.06541 0.4608 0.9287 0.9116 0.9548 -1 1 2 1 1.855 0.0009844 0.0002879 0.01003 0.5475 1 0.00001926 0.0001808 0.003033 0.001171 0.03422 3.413 0.2338 0.001396 0.0001983 1 1 0.00338 0.04008 0.2523 0.003707 0.04397 0.2768 json
t20_x6_u0_b188 20 6 0 188 sub(P,lrg(sub(P,R),P)) 160910 162654614 o2(x,o2(o2(x,x),x)) true 167287 167287 -0.05877 0.4723 0.9451 0.9283 0.9635 -1 1 2 1 1.786 0.001009 0.0002866 0.01014 0.5576 1 -0.00001667 0.000135 0.00275 0.001193 0.03453 3.406 0.2338 0.001396 0.0001454 1 1 0.003407 0.04218 0.2644 0.00367 0.04544 0.2848 json
t20_x6_u0_b189 20 6 0 189 sub(P,lrg(mlt(P,R),P)) 160911 162654615 o2(x,o2(o2(x,x),x)) true 167295 167295 -0.009727 0.5 0.9472 0.9365 0.9677 -1 1 2 1 1.65 0.001005 0 0.007937 1 1 4.731e-10 0.0001502 0.002719 0.0009424 0.0307 3.868 0.2265 0.001073 0.0001604 1 1 0.002565 0.02848 0.2515 0.002739 0.03041 0.2686 json
t20_x6_u0_b190 20 6 0 190 sub(P,lrg(div(P,R),P)) 160912 162654616 o2(x,o2(o2(x,x),x)) true 167303 167303 -0.0393 0.4783 0.9075 0.8927 0.9448 -1 1 2 1 1.935 0.0009159 0.0001884 0.00947 0.6588 1 0.000008382 0.0001836 0.00306 0.001015 0.03187 3.365 0.2265 0.001237 0.0002057 1 1 0.002848 0.03226 0.2105 0.003191 0.03614 0.2358 json
t20_x6_u0_b191 20 6 0 191 sub(P,lrg(pow(P,R),P)) 160913 162654617 o2(x,o2(o2(x,x),x)) true 167311 167311 -0.03972 0.48 0.9657 0.9543 0.9769 -1 1 2 1 1.554 0.001197 0.00009554 0.008539 0.8522 1 -0.000003562 0.0001197 0.002399 0.00122 0.03493 4.091 0.2338 0.001355 0.0001254 1 1 0.003358 0.04173 0.2916 0.003518 0.04373 0.3055 json
t20_x6_u0_b192 20 6 0 192 sub(P,lrg(mod(P,R),P)) 160914 162654618 o2(x,o2(o2(x,x),x)) true 167319 167319 -0.009727 0.5 0.9472 0.9365 0.9677 -1 1 2 1 1.65 0.001005 0 0.007937 1 1 4.731e-10 0.0001502 0.002719 0.0009424 0.0307 3.868 0.2265 0.001073 0.0001604 1 1 0.002565 0.02848 0.2515 0.002739 0.03041 0.2686 json
t20_x6_u0_b193 20 6 0 193 sub(P,lrg(lrg(P,R),P)) 160915 162654619 o2(x,o2(o2(x,x),x)) true 167327 167327 -0.03972 0.48 0.9657 0.9543 0.9769 -1 1 2 1 1.554 0.001197 0.00009554 0.008539 0.8522 1 -0.000003562 0.0001197 0.002399 0.00122 0.03493 4.091 0.2338 0.001355 0.0001254 1 1 0.003358 0.04173 0.2916 0.003518 0.04373 0.3055 json
t20_x6_u0_b194 20 6 0 194 sub(P,lrg(eql(P,R),P)) 160916 162654620 o2(x,o2(o2(x,x),x)) true 167335 167335 -0.009727 0.5 0.9472 0.9365 0.9677 -1 1 2 1 1.65 0.001005 0 0.007937 1 1 4.731e-10 0.0001502 0.002719 0.0009424 0.0307 3.868 0.2265 0.001073 0.0001604 1 1 0.002565 0.02848 0.2515 0.002739 0.03041 0.2686 json
t20_x6_u0_b195 20 6 0 195 sub(P,lrg(min(P,R),P)) 160917 162654621 o2(x,o2(o2(x,x),x)) true 167343 167343 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_x6_u0_b196 20 6 0 196 sub(P,lrg(dot(P,R),P)) 160918 162654622 o2(x,o2(o2(x,x),x)) true 167351 167351 -0.06385 0.4627 0.9306 0.9132 0.9556 -1 1 2 1 1.842 0.001004 0.0002875 0.01004 0.5546 1 5.313e-7 0.0002024 0.003156 0.00119 0.03449 3.436 0.2338 0.001414 0.0002216 1 1 0.003369 0.04028 0.2607 0.003689 0.04411 0.2855 json
t20_x6_u0_b197 20 6 0 197 sub(P,lrg(dst(P,R),P)) 160919 162654623 o2(x,o2(o2(x,x),x)) true 167359 167359 -0.1204 0.4402 0.9406 0.9125 0.9553 -1 1 2 1 1.79 0.0007594 0.00003418 0.008195 0.9139 1 2.781e-11 0.00004548 0.001954 0.0007267 0.02696 3.289 0.2338 0.0008696 0.00004984 1 1 0.00215 0.02796 0.2451 0.002356 0.03064 0.2686 json
t20_x6_u0_b198 20 6 0 198 sub(P,eql(add(P,R),P)) 160920 162654624 o2(x,o2(o2(x,x),x)) true 167367 167367 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_x6_u0_b199 20 6 0 199 sub(P,eql(sub(P,R),P)) 160921 162654625 o2(x,o2(o2(x,x),x)) true 167375 167375 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_x6_u0_b200 20 6 0 200 sub(P,eql(mlt(P,R),P)) 160922 162654626 o2(x,o2(o2(x,x),x)) true 167383 167383 -0.0625 0.4688 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t20_x7_u0_b0 20 7 0 0 add(P,add(add(P,R),D)) 160923 162694827 o2(x,o2(o2(x,x),x)) true 167391 167391 -0.004446 0.4969 0.9722 0.9621 0.9809 -1 1 2 1 1.524 0.001329 0.0001666 0.008652 0.7773 1 -0.000008482 0.0002625 0.002629 0.001422 0.03771 4.358 0.3648 0.001555 0.0002728 1 1 0.00388 0.04653 0.3107 0.004033 0.04836 0.3229 json
t20_x7_u0_b1 20 7 0 1 add(P,add(sub(P,R),D)) 160924 162694828 o2(x,o2(o2(x,x),x)) true 167399 167399 0.004691 0.503 0.9712 0.9607 0.9802 -1 1 2 1 1.545 0.001287 0.0001658 0.008651 0.7718 1 0.000009995 0.0002477 0.002547 0.001379 0.03714 4.293 0.3854 0.001513 0.0002579 1 1 0.0038 0.04578 0.3093 0.003956 0.04765 0.322 json
t20_x7_u0_b2 20 7 0 2 add(P,add(mlt(P,R),D)) 160925 162694829 o2(x,o2(o2(x,x),x)) true 167407 167407 0.007137 0.5006 0.9129 0.8831 0.9397 -1 1 2 1 2.309 0.001175 0.0008861 0.01667 0.1401 1 -0.000006469 0.0008713 0.007488 0.001783 0.04222 2.533 0.4393 0.002334 0.0009866 1 1 0.00387 0.03884 0.2414 0.004382 0.04398 0.2734 json
t20_x7_u0_b3 20 7 0 3 add(P,add(div(P,R),D)) 160926 162694830 o2(x,o2(o2(x,x),x)) true 167415 167415 -0.03357 0.4833 0.9134 0.8881 0.9424 -1 1 2 1 2.163 0.0593 0.07046 0.1111 -0.086 1 -0.00007546 0.2532 0.1497 0.1174 0.3426 3.085 2.828 0.1461 0.2851 1 1 0.1549 0.8239 1.815 0.1745 0.9277 2.044 json
t20_x7_u0_b4 20 7 0 4 add(P,add(pow(P,R),D)) 160927 162694831 o2(x,o2(o2(x,x),x)) true 167423 167423 -0.09839 0.4531 0.9954 0.9844 0.9922 -1 1 2 1 1.074 0.01304 0.004581 0.01041 0.4801 1 -1.802e-10 0.03585 0.01926 0.01753 0.1324 12.72 2.828 0.0179 0.03642 1 1 0.02436 0.1033 0.4029 0.02474 0.1049 0.4093 json
t20_x7_u0_b5 20 7 0 5 add(P,add(mod(P,R),D)) 160928 162694832 o2(x,o2(o2(x,x),x)) true 167431 167431 0.0004872 0.5 0.9458 0.9286 0.9637 -1 1 2 1 1.849 0.0005927 0.000005932 0.007981 0.9802 1 4.186e-7 0.00003426 0.0008543 0.0005347 0.02312 2.897 0.1114 0.0006447 0.00003689 1 1 0.001538 0.02244 0.2396 0.001656 0.02416 0.258 json
t20_x7_u0_b6 20 7 0 6 add(P,add(lrg(P,R),D)) 160929 162694833 o2(x,o2(o2(x,x),x)) true 167439 167439 0.0412 0.5187 0.9634 0.9495 0.9744 -1 1 2 1 1.633 0.000915 0.00009058 0.008391 0.8199 1 0.000002852 0.00007123 0.001645 0.0009345 0.03057 3.643 0.1794 0.001059 0.00007502 1 1 0.002632 0.0361 0.284 0.002772 0.03802 0.2991 json
t20_x7_u0_b7 20 7 0 7 add(P,add(eql(P,R),D)) 160930 162694834 o2(x,o2(o2(x,x),x)) true 167447 167447 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_b8 20 7 0 8 add(P,add(min(P,R),D)) 160931 162694835 o2(x,o2(o2(x,x),x)) true 167455 167455 -0.03111 0.485 0.9585 0.944 0.9716 -1 1 2 1 1.68 0.0009478 0.0001391 0.008686 0.7441 1 -0.00001817 0.0001533 0.002187 0.001012 0.03181 3.663 0.2576 0.001151 0.0001624 1 1 0.002661 0.03428 0.2696 0.002819 0.03631 0.2856 json
t20_x7_u0_b9 20 7 0 9 add(P,add(dot(P,R),D)) 160932 162694836 o2(x,o2(o2(x,x),x)) true 167463 167463 -0.02501 0.4876 0.9289 0.9038 0.9507 -1 1 2 1 2.107 0.01257 0.01565 0.05255 -0.1088 1 -0.0001228 0.02243 0.0386 0.02546 0.1596 3.037 1.874 0.03122 0.02481 1 1 0.04153 0.3323 0.7687 0.04596 0.3677 0.8505 json
t20_x7_u0_b10 20 7 0 10 add(P,add(dst(P,R),D)) 160933 162694837 o2(x,o2(o2(x,x),x)) true 167471 167471 0.8925 0.9665 0.909 0.08598 0.2932 -0.7688 1 1.769 1 1.299 0.000599 0.0006704 0.0123 -0.05619 1 -0.00006916 0.0002044 0.003877 0.001119 0.03345 2.719 0.2481 0.01476 0.002377 1 1 0.002586 0.0282 0.0942 0.03007 0.328 1.096 json
t20_x7_u0_b11 20 7 0 11 add(P,sub(add(P,R),D)) 160934 162694838 o2(x,o2(o2(x,x),x)) true 167479 167479 -0.004855 0.4969 0.9703 0.9589 0.9792 -1 1 2 1 1.548 0.002107 0.0001662 0.009969 0.8537 1 -0.000007078 0.0006217 0.004816 0.002174 0.04662 4.677 0.4664 0.00237 0.0006483 1 1 0.005705 0.05094 0.3064 0.005949 0.05313 0.3196 json
t20_x7_u0_b12 20 7 0 12 add(P,sub(sub(P,R),D)) 160935 162694839 o2(x,o2(o2(x,x),x)) true 167487 167487 0.005016 0.5032 0.9696 0.9579 0.9787 -1 1 2 1 1.557 0.002072 0.0001647 0.009995 0.8527 1 0.000008806 0.0006035 0.004717 0.002137 0.04622 4.625 0.4869 0.002335 0.0006301 1 1 0.005642 0.0507 0.3055 0.00589 0.05292 0.3189 json
t20_x7_u0_b13 20 7 0 13 add(P,sub(mlt(P,R),D)) 160936 162694840 o2(x,o2(o2(x,x),x)) true 167495 167495 0.006981 0.5006 0.9086 0.8829 0.9396 -1 1 2 1 2.263 0.001948 0.0008515 0.01859 0.3917 1 -0.00001744 0.001176 0.01026 0.002454 0.04954 2.665 0.4797 0.003171 0.001332 1 1 0.005604 0.04557 0.2387 0.006347 0.05161 0.2703 json
t20_x7_u0_b14 20 7 0 14 add(P,sub(div(P,R),D)) 160937 162694841 o2(x,o2(o2(x,x),x)) true 167503 167503 -0.03449 0.4831 0.9093 0.8854 0.9409 -1 1 2 1 2.164 0.05902 0.07026 0.1113 -0.08695 1 -0.00005707 0.2511 0.1499 0.1168 0.3418 3.071 2.828 0.146 0.2837 1 1 0.1546 0.8209 1.811 0.1746 0.9272 2.045 json
t20_x7_u0_b15 20 7 0 15 add(P,sub(pow(P,R),D)) 160938 162694842 o2(x,o2(o2(x,x),x)) true 167511 167511 -0.09987 0.4502 0.9942 0.9832 0.9916 -1 1 2 1 1.072 0.01301 0.004221 0.01035 0.5101 1 0 0.03514 0.01924 0.01714 0.1309 12.65 2.828 0.01753 0.03574 1 1 0.02374 0.1001 0.3961 0.02415 0.1018 0.4028 json
t20_x7_u0_b16 20 7 0 16 add(P,sub(mod(P,R),D)) 160939 162694843 o2(x,o2(o2(x,x),x)) true 167519 167519 0.0003125 0.5003 0.943 0.9335 0.9662 -1 1 2 1 1.655 0.001389 0.000002553 0.009638 0.9963 1 5.249e-7 0.000245 0.003835 0.001298 0.03602 3.737 0.22 0.00149 0.0002625 1 1 0.0035 0.03416 0.2466 0.003749 0.0366 0.2642 json
t20_x7_u0_b17 20 7 0 17 add(P,sub(lrg(P,R),D)) 160940 162694844 o2(x,o2(o2(x,x),x)) true 167527 167527 0.03934 0.5226 0.9663 0.9555 0.9775 -1 1 2 1 1.602 0.001738 0.00009764 0.01036 0.8936 1 0.00000346 0.0003269 0.004619 0.001727 0.04156 4.01 0.2881 0.001921 0.0003421 1 1 0.004662 0.04843 0.2932 0.004879 0.05069 0.3068 json
t20_x7_u0_b18 20 7 0 18 add(P,sub(eql(P,R),D)) 160941 162694845 o2(x,o2(o2(x,x),x)) true 167535 167535 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_b19 20 7 0 19 add(P,sub(min(P,R),D)) 160942 162694846 o2(x,o2(o2(x,x),x)) true 167543 167543 -0.03049 0.4807 0.9562 0.9426 0.9709 -1 1 2 1 1.702 0.001732 0.0001393 0.01059 0.8511 1 -0.00001831 0.0004534 0.004926 0.001759 0.04194 3.959 0.3664 0.001985 0.000481 1 1 0.004547 0.04134 0.2667 0.004824 0.04386 0.2829 json
t20_x7_u0_b20 20 7 0 20 add(P,sub(dot(P,R),D)) 160943 162694847 o2(x,o2(o2(x,x),x)) true 167551 167551 -0.02522 0.4893 0.9277 0.903 0.9503 -1 1 2 1 2.098 0.01315 0.0156 0.05328 -0.08524 1 -0.0001298 0.02288 0.03982 0.02592 0.161 3.022 1.871 0.03185 0.02533 1 1 0.04264 0.3337 0.7629 0.04722 0.3695 0.8449 json
t20_x7_u0_b21 20 7 0 21 add(P,sub(dst(P,R),D)) 160944 162694848 o2(x,o2(o2(x,x),x)) true 167559 167559 0.8908 0.9655 0.9082 0.08833 0.2972 -0.8258 1 1.826 1 1.297 0.0007285 0.0006786 0.01266 0.03546 1 0.00005541 0.0002584 0.004307 0.001247 0.03531 2.79 0.3076 0.01593 0.002926 1 1 0.003071 0.03083 0.09688 0.03477 0.3491 1.097 json
t20_x7_u0_b22 20 7 0 22 add(P,mlt(add(P,R),D)) 160945 162694849 o2(x,o2(o2(x,x),x)) true 167567 167567 -0.01628 0.4912 0.9329 0.9187 0.9585 -1 1 2 1 1.841 0.0009767 0.00002831 0.009504 0.9437 1 8.73e-7 0.0001246 0.003044 0.000915 0.03025 3.183 0.1932 0.001094 0.0001356 1 1 0.002549 0.02998 0.2328 0.002774 0.03263 0.2534 json
t20_x7_u0_b23 20 7 0 23 add(P,mlt(sub(P,R),D)) 160946 162694850 o2(x,o2(o2(x,x),x)) true 167575 167575 -0.01264 0.495 0.9399 0.9264 0.9625 -1 1 2 1 1.832 0.0009457 0.00002706 0.009456 0.9444 1 -5.111e-7 0.000149 0.003293 0.0008828 0.02971 3.142 0.2004 0.00105 0.0001608 1 1 0.002485 0.02908 0.2394 0.002682 0.03139 0.2584 json
t20_x7_u0_b24 20 7 0 24 add(P,mlt(mlt(P,R),D)) 160947 162694851 o2(x,o2(o2(x,x),x)) true 167583 167583 -0.002869 0.4989 0.9353 0.9213 0.9599 -1 1 2 1 1.859 0.0007491 0.00001807 0.008493 0.9529 1 0.00000264 0.00005975 0.002389 0.0006953 0.02637 3.105 0.1489 0.0008327 0.00006486 1 1 0.001961 0.02521 0.2333 0.002129 0.02737 0.2532 json
t20_x7_u0_b25 20 7 0 25 add(P,mlt(div(P,R),D)) 160948 162694852 o2(x,o2(o2(x,x),x)) true 167591 167591 0.008215 0.5057 0.9081 0.8855 0.941 -1 1 2 1 2.183 0.06132 0.02212 0.07813 0.4699 1 0.000176 0.1498 0.09967 0.07735 0.2781 3.56 2.828 0.09423 0.1691 1 1 0.0723 0.3816 0.7243 0.08165 0.4309 0.8179 json
t20_x7_u0_b26 20 7 0 26 add(P,mlt(pow(P,R),D)) 160949 162694853 o2(x,o2(o2(x,x),x)) true 167599 167599 -0.1038 0.4521 0.99 0.9779 0.9889 -1 1 2 1 1.133 0.01294 0.002959 0.009887 0.6276 1 1.652e-10 0.03256 0.01816 0.01581 0.1257 12.72 2.806 0.01626 0.03329 1 1 0.02171 0.08948 0.3688 0.0222 0.09151 0.3772 json
t20_x7_u0_b27 20 7 0 27 add(P,mlt(mod(P,R),D)) 160950 162694854 o2(x,o2(o2(x,x),x)) true 167607 167607 -0.002898 0.5 0.9372 0.9236 0.961 -1 1 2 1 1.828 0.0007106 8.37e-7 0.008011 0.9976 1 2.013e-8 0.00003541 0.001953 0.0006475 0.02545 3.176 0.1298 0.0007702 0.00003834 1 1 0.001859 0.02451 0.2339 0.002013 0.02654 0.2533 json
t20_x7_u0_b28 20 7 0 28 add(P,mlt(lrg(P,R),D)) 160951 162694855 o2(x,o2(o2(x,x),x)) true 167615 167615 -0.008939 0.4989 0.9386 0.9224 0.9604 -1 1 2 1 1.88 0.0006268 0.000007984 0.007993 0.9748 1 -4.158e-10 0.00002421 0.001326 0.0005706 0.02389 2.989 0.1169 0.0006882 0.00002625 1 1 0.001672 0.02342 0.2334 0.001813 0.02539 0.253 json
t20_x7_u0_b29 20 7 0 29 add(P,mlt(eql(P,R),D)) 160952 162694856 o2(x,o2(o2(x,x),x)) true 167623 167623 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_b30 20 7 0 30 add(P,mlt(min(P,R),D)) 160953 162694857 o2(x,o2(o2(x,x),x)) true 167631 167631 -0.008974 0.495 0.937 0.9245 0.9615 -1 1 2 1 1.808 0.00097 0.00001207 0.009236 0.9754 1 8.738e-7 0.0001202 0.003365 0.0008963 0.02994 3.241 0.17 0.001062 0.00013 1 1 0.002511 0.02892 0.2376 0.002716 0.03128 0.257 json
t20_x7_u0_b31 20 7 0 31 add(P,mlt(dot(P,R),D)) 160954 162694858 o2(x,o2(o2(x,x),x)) true 167639 167639 -0.009246 0.495 0.9373 0.9196 0.959 -1 1 2 1 1.929 0.00352 0.0008675 0.01882 0.6046 1 6.052e-7 0.001321 0.008317 0.004031 0.06349 3.374 0.6726 0.004772 0.001436 1 1 0.005717 0.05915 0.258 0.006217 0.06433 0.2806 json
t20_x7_u0_b32 20 7 0 32 add(P,mlt(dst(P,R),D)) 160955 162694859 o2(x,o2(o2(x,x),x)) true 167647 167647 0.005019 0.5019 0.938 0.9163 0.9572 -1 1 2 1 1.986 0.003471 0.00003767 0.0171 0.9785 1 -0.000002507 0.001022 0.00894 0.003214 0.05669 3.315 0.534 0.003829 0.001116 1 1 0.005334 0.0424 0.2263 0.005821 0.04628 0.247 json
t20_x7_u0_b33 20 7 0 33 add(P,div(add(P,R),D)) 160956 162694860 o2(x,o2(o2(x,x),x)) true 167655 167655 -0.1147 0.4402 0.9649 0.9401 0.9696 -1 1 2 1 1.594 0.4024 0.002503 0.2415 0.9876 1 0.00002197 0.7485 0.4206 0.3467 0.5888 2.438 2.828 0.4307 0.7962 1 1 0.4302 1.567 0.4276 0.4576 1.667 0.4548 json
t20_x7_u0_b34 20 7 0 34 add(P,div(sub(P,R),D)) 160957 162694861 o2(x,o2(o2(x,x),x)) true 167663 167663 -0.1039 0.4473 0.9612 0.9386 0.9688 -1 1 2 1 1.635 0.403 0.002626 0.2425 0.987 1 -0.0000245 0.7514 0.4207 0.3466 0.5888 2.428 2.828 0.4321 0.8006 1 1 0.4299 1.565 0.4277 0.458 1.667 0.4557 json
t20_x7_u0_b35 20 7 0 35 add(P,div(mlt(P,R),D)) 160958 162694862 o2(x,o2(o2(x,x),x)) true 167671 167671 -0.01731 0.4858 0.8957 0.8727 0.9342 -1 1 2 1 2.21 0.3185 0.05544 0.236 0.7035 1 0.00004459 0.8235 0.3987 0.3183 0.5642 2.391 2.828 0.4285 0.9436 1 1 0.3797 1.192 1.255 0.4351 1.366 1.439 json
t20_x7_u0_b36 20 7 0 36 add(P,div(div(P,R),D)) 160959 162694863 o2(x,o2(o2(x,x),x)) true 167679 167679 -0.004152 0.494 0.9524 0.9442 0.9717 -1 1 2 1 1.574 0.3262 0.106 0.232 0.5096 1 0.000003391 0.9951 0.4444 0.3785 0.6153 2.652 2.828 0.4577 1.054 1 1 0.4425 1.661 1.903 0.4686 1.759 2.016 json
t20_x7_u0_b37 20 7 0 37 add(P,div(pow(P,R),D)) 160960 162694864 o2(x,o2(o2(x,x),x)) true 167687 167687 -0.3269 0.3336 0.9759 0.8631 0.929 -1 1 2 1 1.304 0.1746 0.005678 0.1123 0.937 1 -0.0007499 0.3635 0.1909 0.1677 0.4095 3.646 2.828 0.2089 0.4212 1 1 0.1882 0.5319 0.3989 0.2181 0.6163 0.4622 json
t20_x7_u0_b38 20 7 0 38 add(P,div(mod(P,R),D)) 160961 162694865 o2(x,o2(o2(x,x),x)) true 167695 167695 -0.02159 0.4932 0.9083 0.8876 0.9421 -1 1 2 1 2.085 0.2402 0.00303 0.1549 0.9751 1 -0.0002286 0.6235 0.2673 0.2193 0.4683 3.024 2.826 0.274 0.7025 1 1 0.2057 0.2988 0.3535 0.2318 0.3366 0.3983 json
t20_x7_u0_b39 20 7 0 39 add(P,div(lrg(P,R),D)) 160962 162694866 o2(x,o2(o2(x,x),x)) true 167703 167703 -0.2458 0.3637 0.9572 0.8867 0.9416 -1 1 2 1 1.538 0.1962 0.0003949 0.1259 0.996 1 -0.007936 0.3372 0.1981 0.1806 0.425 3.375 2.038 0.2218 0.3803 1 1 0.2162 0.5619 0.2663 0.2439 0.6337 0.3003 json
t20_x7_u0_b40 20 7 0 40 add(P,div(eql(P,R),D)) 160963 162694867 o2(x,o2(o2(x,x),x)) true 167711 167711 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_b41 20 7 0 41 add(P,div(min(P,R),D)) 160964 162694868 o2(x,o2(o2(x,x),x)) true 167719 167719 0.2006 0.5933 0.9406 0.8825 0.9394 -1 1 2 1 1.837 0.3392 0.01005 0.224 0.9425 1 -0.001035 0.7052 0.3725 0.2991 0.5469 2.441 2.828 0.3958 0.7991 1 1 0.372 1.045 0.4833 0.4215 1.184 0.5476 json
t20_x7_u0_b42 20 7 0 42 add(P,div(dot(P,R),D)) 160965 162694869 o2(x,o2(o2(x,x),x)) true 167727 167727 -0.01613 0.4925 0.9604 0.9474 0.9733 -1 1 2 1 1.656 0.3472 0.07325 0.2471 0.6516 1 -0.0003315 0.9382 0.442 0.3594 0.5995 2.427 2.828 0.4438 0.9903 1 1 0.4279 1.477 1.604 0.4517 1.559 1.693 json
t20_x7_u0_b43 20 7 0 43 add(P,div(dst(P,R),D)) 160966 162694870 o2(x,o2(o2(x,x),x)) true 167735 167735 0.00119 0.4997 0.9835 0.9781 0.989 -1 1 2 1 1.323 0.4491 0.0002851 0.2463 0.9987 1 1.428e-7 0.8578 0.4593 0.3887 0.6234 2.531 2.022 0.4595 0.877 1 1 0.4647 1.8 0.04819 0.475 1.841 0.04927 json
t20_x7_u0_b44 20 7 0 44 add(P,pow(add(P,R),D)) 160967 162694871 o2(x,o2(o2(x,x),x)) true 167743 167743 -0.094 0.4531 0.9998 0.9902 0.9951 -1 1 2 1 1.009 0.0158 0.005926 0.01098 0.4544 1 3.004e-11 0.04507 0.02195 0.0216 0.147 13.39 2.828 0.02194 0.04551 1 1 0.02963 0.1188 0.4325 0.02992 0.1199 0.4368 json
t20_x7_u0_b45 20 7 0 45 add(P,pow(sub(P,R),D)) 160968 162694872 o2(x,o2(o2(x,x),x)) true 167751 167751 -0.07821 0.4609 0.9999 0.9945 0.9972 -1 1 2 1 1.001 0.01579 0.002992 0.009458 0.6814 1 3.664e-9 0.03834 0.01891 0.01869 0.1367 14.45 2.828 0.01889 0.03855 1 1 0.02617 0.1051 0.4062 0.02631 0.1057 0.4085 json
t20_x7_u0_b46 20 7 0 46 add(P,pow(mlt(P,R),D)) 160969 162694873 o2(x,o2(o2(x,x),x)) true 167759 167759 -0.9488 0.02953 0.9866 0.08306 0.2882 -1 1 2 1 0.3554 0.008589 0.007127 0.01197 0.09299 1 -6.007e-11 0.03181 0.01955 0.01557 0.1248 10.42 2.828 0.1892 0.383 1 1 0.01402 0.07045 0.1643 0.1688 0.8482 1.978 json
t20_x7_u0_b47 20 7 0 47 add(P,pow(div(P,R),D)) 160970 162694874 o2(x,o2(o2(x,x),x)) true 167767 167767 -0.9528 0.02408 0.9856 0.07449 0.2729 -1 1 2 1 0.3614 0.008304 0.006647 0.0113 0.1109 1 1.502e-10 0.03081 0.01916 0.01482 0.1217 10.77 2.828 0.2007 0.4136 1 1 0.01235 0.05705 0.1404 0.1658 0.7658 1.885 json
t20_x7_u0_b48 20 7 0 48 add(P,pow(pow(P,R),D)) 160971 162694875 o2(x,o2(o2(x,x),x)) true 167775 167775 -0.09913 0.4531 0.9946 0.9841 0.992 -1 1 2 1 1.069 0.01302 0.004393 0.01034 0.4953 1 -1.802e-10 0.03547 0.01925 0.01731 0.1316 12.73 2.828 0.01769 0.03604 1 1 0.02401 0.1015 0.3992 0.0244 0.1032 0.4057 json
t20_x7_u0_b49 20 7 0 49 add(P,pow(mod(P,R),D)) 160972 162694876 o2(x,o2(o2(x,x),x)) true 167783 167783 -0.01314 0.5 0.9869 0.9844 0.9922 -1 1 2 1 1.18 0.005422 0.00003698 0.008014 0.9865 1 -3.213e-7 0.008513 0.0103 0.005392 0.07343 9.163 1.637 0.005545 0.008648 1 1 0.009268 0.06516 0.3195 0.009415 0.06619 0.3246 json
t20_x7_u0_b50 20 7 0 50 add(P,pow(lrg(P,R),D)) 160973 162694877 o2(x,o2(o2(x,x),x)) true 167791 167791 0.03777 0.5234 0.9836 0.9773 0.9886 -1 1 2 1 1.285 0.006809 0.005259 0.01161 0.1284 1 7.096e-7 0.02395 0.01504 0.01193 0.1092 9.408 2.828 0.01235 0.0245 1 1 0.0205 0.1015 0.3996 0.02098 0.1038 0.4088 json
t20_x7_u0_b51 20 7 0 51 add(P,pow(eql(P,R),D)) 160974 162694878 o2(x,o2(o2(x,x),x)) true 167799 167799 -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_b52 20 7 0 52 add(P,pow(min(P,R),D)) 160975 162694879 o2(x,o2(o2(x,x),x)) true 167807 167807 -0.9857 0.007813 0.9987 0.02694 0.1641 -1 1 2 1 0.07748 0.002312 0.00325 0.003202 -0.1687 1 0 0.01162 0.006064 0.005552 0.07451 23.27 2.828 0.2064 0.4312 1 1 0.0006587 0.004603 0.02376 0.02445 0.1708 0.8817 json
t20_x7_u0_b53 20 7 0 53 add(P,pow(dot(P,R),D)) 160976 162694880 o2(x,o2(o2(x,x),x)) true 167815 167815 -0.9222 0.03906 0.9997 0.149 0.3861 -1 1 2 1 0.252 0.01679 0.01279 0.01489 0.1352 1 -6.007e-11 0.06232 0.02981 0.02937 0.1714 11.51 2.828 0.1985 0.4181 1 1 0.03391 0.1383 0.3885 0.2275 0.928 2.607 json
t20_x7_u0_b54 20 7 0 54 add(P,pow(dst(P,R),D)) 160977 162694881 o2(x,o2(o2(x,x),x)) true 167823 167823 0.1449 0.5653 0.9369 0.8991 0.9482 -1 1 2 1 1.9 0.000863 0.000007791 0.009158 0.9821 1 5.824e-7 0.0001043 0.002884 0.000787 0.02805 3.063 0.1781 0.0009685 0.000116 1 1 0.001895 0.02383 0.2291 0.002107 0.0265 0.2548 json
t20_x7_u0_b55 20 7 0 55 add(P,mod(add(P,R),D)) 160978 162694882 o2(x,o2(o2(x,x),x)) true 167831 167831 -0.0007027 0.4988 0.9456 0.9343 0.9666 -1 1 2 1 1.708 0.001672 0.00001351 0.009597 0.984 1 -0.000002106 0.002459 0.01181 0.001593 0.03991 4.159 0.4131 0.001804 0.002632 1 1 0.00287 0.02839 0.2499 0.003072 0.03038 0.2675 json
t20_x7_u0_b56 20 7 0 56 add(P,mod(sub(P,R),D)) 160979 162694883 o2(x,o2(o2(x,x),x)) true 167839 167839 0.0007909 0.501 0.9456 0.9341 0.9665 -1 1 2 1 1.725 0.001626 0.00001676 0.009736 0.9796 1 0.000002424 0.002143 0.01101 0.001547 0.03933 4.04 0.4164 0.001758 0.002294 1 1 0.003009 0.02843 0.25 0.003221 0.03043 0.2676 json
t20_x7_u0_b57 20 7 0 57 add(P,mod(mlt(P,R),D)) 160980 162694884 o2(x,o2(o2(x,x),x)) true 167847 167847 0.0005752 0.4999 0.9375 0.9239 0.9612 -1 1 2 1 1.835 0.001141 0.00001376 0.009551 0.9762 1 5.985e-8 0.001268 0.008402 0.001064 0.03261 3.415 0.3342 0.00125 0.001372 1 1 0.00221 0.02527 0.2346 0.002392 0.02735 0.2539 json
t20_x7_u0_b58 20 7 0 58 add(P,mod(div(P,R),D)) 160981 162694885 o2(x,o2(o2(x,x),x)) true 167855 167855 0.0007842 0.4997 0.9376 0.9238 0.9611 -1 1 2 1 1.837 0.001174 0.00001408 0.00918 0.9763 1 -3.646e-7 0.001438 0.01013 0.001104 0.03322 3.619 0.2791 0.001286 0.001556 1 1 0.0022 0.02515 0.2348 0.002382 0.02722 0.2542 json
t20_x7_u0_b59 20 7 0 59 add(P,mod(pow(P,R),D)) 160982 162694886 o2(x,o2(o2(x,x),x)) true 167863 167863 -0.1005 0.4531 0.9933 0.9816 0.9908 -1 1 2 1 1.089 0.01302 0.003965 0.01032 0.5333 1 -1.089e-10 0.03477 0.01942 0.01689 0.13 12.59 2.828 0.01731 0.03542 1 1 0.02331 0.09751 0.39 0.02374 0.09934 0.3973 json
t20_x7_u0_b60 20 7 0 60 add(P,mod(mod(P,R),D)) 160983 162694887 o2(x,o2(o2(x,x),x)) true 167871 167871 0.0003633 0.5 0.9428 0.931 0.9649 -1 1 2 1 1.755 0.0009072 0.000002851 0.008397 0.9937 1 2.08e-7 0.0003225 0.003298 0.0008389 0.02896 3.45 0.1657 0.0009776 0.0003464 1 1 0.002176 0.02663 0.2435 0.002337 0.02861 0.2615 json
t20_x7_u0_b61 20 7 0 61 add(P,mod(lrg(P,R),D)) 160984 162694888 o2(x,o2(o2(x,x),x)) true 167879 167879 0.009555 0.5086 0.9421 0.9302 0.9645 -1 1 2 1 1.738 0.00113 0.000003013 0.008702 0.9947 1 8.467e-7 0.0008775 0.006253 0.001058 0.03253 3.738 0.2323 0.001219 0.0009434 1 1 0.002421 0.02705 0.2434 0.002602 0.02908 0.2617 json
t20_x7_u0_b62 20 7 0 62 add(P,mod(eql(P,R),D)) 160985 162694889 o2(x,o2(o2(x,x),x)) true 167887 167887 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_b63 20 7 0 63 add(P,mod(min(P,R),D)) 160986 162694890 o2(x,o2(o2(x,x),x)) true 167895 167895 -0.00876 0.491 0.9425 0.9311 0.9649 -1 1 2 1 1.755 0.001484 0.00001176 0.009805 0.9843 1 -0.000002957 0.001926 0.01019 0.0014 0.03742 3.816 0.4135 0.001606 0.002069 1 1 0.002666 0.02723 0.2429 0.002863 0.02925 0.2609 json
t20_x7_u0_b64 20 7 0 64 add(P,mod(dot(P,R),D)) 160987 162694891 o2(x,o2(o2(x,x),x)) true 167903 167903 0.0009781 0.4998 0.9411 0.9281 0.9634 -1 1 2 1 1.783 0.001572 0.00002626 0.01017 0.9671 1 0.000001593 0.002414 0.01252 0.001495 0.03867 3.802 0.4643 0.001722 0.002601 1 1 0.002612 0.02705 0.2411 0.002814 0.02915 0.2597 json
t20_x7_u0_b65 20 7 0 65 add(P,mod(dst(P,R),D)) 160988 162694892 o2(x,o2(o2(x,x),x)) true 167911 167911 0.01756 0.5196 0.9375 0.9236 0.961 -1 1 2 1 1.82 0.001754 0.000006915 0.01119 0.9921 1 -3.514e-7 0.002786 0.01433 0.001635 0.04044 3.615 0.474 0.001907 0.003016 1 1 0.002837 0.02684 0.235 0.003072 0.02906 0.2544 json
t20_x7_u0_b66 20 7 0 66 add(P,lrg(add(P,R),D)) 160989 162694893 o2(x,o2(o2(x,x),x)) true 167919 167919 0.0375 0.5167 0.9566 0.9434 0.9713 -1 1 2 1 1.656 0.002435 0.0001261 0.01192 0.9016 1 -0.000002813 0.002809 0.00742 0.00242 0.04919 4.127 0.9402 0.002715 0.002978 1 1 0.004469 0.04203 0.2821 0.004737 0.04456 0.299 json
t20_x7_u0_b67 20 7 0 67 add(P,lrg(sub(P,R),D)) 160990 162694894 o2(x,o2(o2(x,x),x)) true 167927 167927 0.04282 0.5215 0.9631 0.951 0.9752 -1 1 2 1 1.568 0.001791 0.0001018 0.01026 0.8924 1 0.000004704 0.001425 0.00517 0.001788 0.04229 4.123 0.9693 0.00199 0.001499 1 1 0.003726 0.04191 0.2889 0.003917 0.04406 0.3037 json
t20_x7_u0_b68 20 7 0 68 add(P,lrg(mlt(P,R),D)) 160991 162694895 o2(x,o2(o2(x,x),x)) true 167935 167935 0.06284 0.5371 0.9375 0.9169 0.9576 -1 1 2 1 1.874 0.006945 0.0001423 0.01987 0.9598 1 0.000006463 0.01073 0.01616 0.006694 0.08181 4.118 0.9991 0.007729 0.0117 1 1 0.0122 0.06009 0.2453 0.0133 0.06554 0.2676 json
t20_x7_u0_b69 20 7 0 69 add(P,lrg(div(P,R),D)) 160992 162694896 o2(x,o2(o2(x,x),x)) true 167943 167943 0.06427 0.5417 0.9372 0.9168 0.9575 -1 1 2 1 1.88 0.005605 0.0001632 0.01694 0.9434 1 0.00000668 0.008294 0.01159 0.005479 0.07402 4.369 0.9994 0.006292 0.009047 1 1 0.009675 0.05689 0.2503 0.01055 0.06206 0.273 json
t20_x7_u0_b70 20 7 0 70 add(P,lrg(pow(P,R),D)) 160993 162694897 o2(x,o2(o2(x,x),x)) true 167951 167951 0.1159 0.5625 0.9284 0.8993 0.9483 -1 1 2 1 1.905 0.002574 0.00004287 0.01173 0.9672 1 7.097e-7 0.003387 0.0063 0.002479 0.04979 4.244 0.9991 0.002909 0.003766 1 1 0.004786 0.03292 0.2261 0.005322 0.03661 0.2514 json
t20_x7_u0_b71 20 7 0 71 add(P,lrg(mod(P,R),D)) 160994 162694898 o2(x,o2(o2(x,x),x)) true 167959 167959 0.05307 0.5313 0.9469 0.9293 0.964 -1 1 2 1 1.77 0.008801 0.00005316 0.02238 0.988 1 0.000001694 0.01357 0.01976 0.008348 0.09137 4.084 0.9988 0.009528 0.0146 1 1 0.01489 0.06861 0.2475 0.01602 0.07383 0.2663 json
t20_x7_u0_b72 20 7 0 72 add(P,lrg(lrg(P,R),D)) 160995 162694899 o2(x,o2(o2(x,x),x)) true 167967 167967 0.07492 0.5313 0.9499 0.9308 0.9648 -1 1 2 1 1.704 0.007889 0.00004287 0.01966 0.9892 1 7.099e-7 0.01171 0.01603 0.007549 0.08689 4.42 0.9988 0.008521 0.01258 1 1 0.01337 0.06581 0.2569 0.01436 0.0707 0.276 json
t20_x7_u0_b73 20 7 0 73 add(P,lrg(eql(P,R),D)) 160996 162694900 o2(x,o2(o2(x,x),x)) true 167975 167975 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_x7_u0_b74 20 7 0 74 add(P,lrg(min(P,R),D)) 160997 162694901 o2(x,o2(o2(x,x),x)) true 167983 167983 0.0242 0.5167 0.9494 0.9374 0.9682 -1 1 2 1 1.689 0.00331 0.0000571 0.0127 0.9661 1 -0.000005539 0.004159 0.008416 0.003207 0.05663 4.458 0.9988 0.003592 0.004437 1 1 0.006292 0.0433 0.261 0.006712 0.04619 0.2785 json
t20_x7_u0_b75 20 7 0 75 add(P,lrg(dot(P,R),D)) 160998 162694902 o2(x,o2(o2(x,x),x)) true 167991 167991 0.05359 0.5217 0.9418 0.9235 0.961 -1 1 2 1 1.831 0.002512 0.0003224 0.01377 0.7726 1 0.000008179 0.003159 0.007997 0.002644 0.05142 3.735 0.9992 0.00307 0.00342 1 1 0.005876 0.04755 0.2614 0.006363 0.05149 0.2831 json
t20_x7_u0_b76 20 7 0 76 add(P,lrg(dst(P,R),D)) 160999 162694903 o2(x,o2(o2(x,x),x)) true 167999 167999 0.125 0.5625 0.9375 0.9083 0.9531 -1 1 2 1 1.8 0.0007058 2.624e-9 0.007937 1 1 7.884e-11 0.00003307 0.001863 0.0006431 0.02536 3.195 0.1169 0.000777 0.0000364 1 1 0.00185 0.02448 0.2344 0.002037 0.02695 0.258 json