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_x62_u0_b22 20 62 0 22 add(R,mlt(add(P,R),R)) 172000 164916904 o2(x,o2(o2(x,x),x)) true 84407 84407 0.05785 0.5428 0.7397 0.6574 0.8108 -1 1 2 1 3.742 0.01714 0.01921 0.09294 -0.05694 1 -0.0000913 0.02017 0.05019 0.02773 0.1665 1.792 1.55 0.0553 0.03069 1 1 0.05148 0.4498 1.005 0.07831 0.6842 1.529 json
t20_x62_u0_b23 20 62 0 23 add(R,mlt(sub(P,R),R)) 172001 164916905 o2(x,o2(o2(x,x),x)) true 84415 84415 -0.1872 0.3981 0.7365 0.6247 0.7904 -1 1 2 1 3.684 0.01703 0.01963 0.09301 -0.07073 1 -0.00001442 0.02052 0.05024 0.02801 0.1674 1.8 1.575 0.05868 0.03285 1 1 0.05243 0.4582 1.019 0.08393 0.7335 1.63 json
t20_x62_u0_b24 20 62 0 24 add(R,mlt(mlt(P,R),R)) 172002 164916906 o2(x,o2(o2(x,x),x)) true 84423 84423 -0.004856 0.5041 0.679 0.5913 0.769 -1 1 2 1 4.011 0.003027 0.003052 0.04547 -0.004176 1 0.00001276 0.001971 0.0192 0.00401 0.06332 1.393 0.4527 0.01028 0.003334 1 1 0.0108 0.1146 0.3079 0.01826 0.1937 0.5207 json
t20_x62_u0_b25 20 62 0 25 add(R,mlt(div(P,R),R)) 172003 164916907 o2(x,o2(o2(x,x),x)) true 84431 84431 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_x62_u0_b26 20 62 0 26 add(R,mlt(pow(P,R),R)) 172004 164916908 o2(x,o2(o2(x,x),x)) true 84439 84439 -0.4748 0.2464 0.8425 0.5658 0.7522 -1 1 2 1 2.739 0.01383 0.007477 0.04816 0.2983 1 -0.00007861 0.02822 0.03038 0.01899 0.1378 2.862 2.828 0.03766 0.04988 1 1 0.03209 0.2339 0.5708 0.05671 0.4134 1.009 json
t20_x62_u0_b27 20 62 0 27 add(R,mlt(mod(P,R),R)) 172005 164916909 o2(x,o2(o2(x,x),x)) true 84447 84447 0.003809 0.4977 0.3895 0.2266 0.476 -1 1 2 1 4.837 0.003317 0.00331 0.06287 0.001036 1 -0.000005044 0.0005378 0.01508 0.002675 0.05172 0.8227 0.3029 0.02925 0.002373 1 1 0.01315 0.1655 0.4221 0.05805 0.7305 1.863 json
t20_x62_u0_b28 20 62 0 28 add(R,mlt(lrg(P,R),R)) 172006 164916910 o2(x,o2(o2(x,x),x)) true 84455 84455 -0.01148 0.4939 0.5292 0.3849 0.6204 -1 1 2 1 4.841 0.006182 0.006343 0.08007 -0.01285 1 0.00002326 0.001749 0.02207 0.006113 0.07819 0.9765 0.438 0.03254 0.004545 1 1 0.02466 0.2905 0.6909 0.06407 0.7548 1.795 json
t20_x62_u0_b29 20 62 0 29 add(R,mlt(eql(P,R),R)) 172007 164916911 o2(x,o2(o2(x,x),x)) true 84463 84463 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x62_u0_b30 20 62 0 30 add(R,mlt(min(P,R),R)) 172008 164916912 o2(x,o2(o2(x,x),x)) true 84471 84471 0.1099 0.548 0.5037 0.3882 0.623 -1 1 2 1 4.301 0.007774 0.009158 0.06787 -0.08178 1 -0.00007871 0.007184 0.02733 0.01232 0.111 1.636 1.123 0.04362 0.01851 1 1 0.02509 0.2411 0.5578 0.06465 0.6212 1.437 json
t20_x62_u0_b31 20 62 0 31 add(R,mlt(dot(P,R),R)) 172009 164916913 o2(x,o2(o2(x,x),x)) true 84479 84479 0.03797 0.5101 0.7408 0.6638 0.8147 -1 1 2 1 3.682 0.008182 0.006945 0.06297 0.08175 1 0.00001984 0.006315 0.03111 0.01116 0.1057 1.678 1.036 0.02279 0.009514 1 1 0.02289 0.2279 0.5471 0.03449 0.3433 0.8241 json
t20_x62_u0_b32 20 62 0 32 add(R,mlt(dst(P,R),R)) 172010 164916914 o2(x,o2(o2(x,x),x)) true 84487 84487 -0.007068 0.4967 0.8918 0.8556 0.925 -1 1 2 1 2.521 0.03051 0.0353 0.1041 -0.07283 1 0.00007788 0.05647 0.08256 0.05496 0.2344 2.253 2 0.07691 0.06599 1 1 0.09288 0.6796 1.484 0.1086 0.7942 1.734 json
t20_x62_u0_b33 20 62 0 33 add(R,div(add(P,R),R)) 172011 164916915 o2(x,o2(o2(x,x),x)) true 84495 84495 0.08178 0.5478 0.9464 0.9209 0.9596 -1 1 2 1 1.88 0.06478 0.07888 0.1106 -0.09819 1 -0.00008298 0.286 0.1608 0.1314 0.3625 3.277 2.828 0.156 0.3106 1 1 0.1615 0.8253 1.796 0.1753 0.8963 1.951 json
t20_x62_u0_b34 20 62 0 34 add(R,div(sub(P,R),R)) 172012 164916916 o2(x,o2(o2(x,x),x)) true 84503 84503 -0.1556 0.4177 0.9494 0.9085 0.9532 -1 1 2 1 1.811 0.0651 0.07965 0.1114 -0.1005 1 -0.000004523 0.2868 0.1612 0.1323 0.3637 3.265 2.828 0.1593 0.3156 1 1 0.1632 0.8356 1.831 0.1796 0.9197 2.015 json
t20_x62_u0_b35 20 62 0 35 add(R,div(mlt(P,R),R)) 172013 164916917 o2(x,o2(o2(x,x),x)) true 84511 84511 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_x62_u0_b36 20 62 0 36 add(R,div(div(P,R),R)) 172014 164916918 o2(x,o2(o2(x,x),x)) true 84519 84519 -0.003794 0.4967 0.9772 0.9686 0.9842 -1 1 2 1 1.44 0.002818 0.0004175 0.009331 0.7419 1 -0.00001366 0.002994 0.006875 0.00315 0.05613 6.015 1.853 0.003341 0.003091 1 1 0.007708 0.06197 0.3281 0.007958 0.06398 0.3388 json
t20_x62_u0_b37 20 62 0 37 add(R,div(pow(P,R),R)) 172015 164916919 o2(x,o2(o2(x,x),x)) true 84527 84527 -0.5046 0.2475 0.9653 0.699 0.8361 -1 1 2 1 1.404 0.0279 0.02552 0.05897 0.0445 1 0.0004294 0.07332 0.06176 0.0499 0.2234 3.788 2.828 0.07642 0.1049 1 1 0.07617 0.4485 0.9731 0.109 0.6416 1.392 json
t20_x62_u0_b38 20 62 0 38 add(R,div(mod(P,R),R)) 172016 164916920 o2(x,o2(o2(x,x),x)) true 84535 84535 -0.02326 0.511 0.4735 0.3248 0.5699 -1 1 2 1 4.862 0.005618 0.005269 0.07573 0.03206 1 0.000002664 0.001128 0.01946 0.005153 0.07178 0.9479 0.3911 0.03352 0.003474 1 1 0.02089 0.2547 0.6258 0.06431 0.7842 1.927 json
t20_x62_u0_b39 20 62 0 39 add(R,div(lrg(P,R),R)) 172017 164916921 o2(x,o2(o2(x,x),x)) true 84543 84543 -0.05651 0.481 0.6672 0.5646 0.7514 -1 1 2 1 4.135 0.02053 0.02516 0.0917 -0.1014 1 0.00006006 0.04427 0.05811 0.03728 0.1931 2.106 2.828 0.08093 0.07842 1 1 0.0714 0.5217 1.117 0.1265 0.924 1.979 json
t20_x62_u0_b40 20 62 0 40 add(R,div(eql(P,R),R)) 172018 164916922 o2(x,o2(o2(x,x),x)) true 84551 84551 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x62_u0_b41 20 62 0 41 add(R,div(min(P,R),R)) 172019 164916923 o2(x,o2(o2(x,x),x)) true 84559 84559 0.4168 0.7657 0.8529 0.6173 0.7857 -1 1 2 1 2.892 0.03062 0.03725 0.06845 -0.0976 1 -0.00001352 0.136 0.08111 0.06317 0.2513 3.672 2.828 0.1099 0.2203 1 1 0.07598 0.3937 0.9317 0.1231 0.6377 1.509 json
t20_x62_u0_b42 20 62 0 42 add(R,div(dot(P,R),R)) 172020 164916924 o2(x,o2(o2(x,x),x)) true 84567 84567 -0.03603 0.4817 0.9617 0.9471 0.9732 -1 1 2 1 1.69 0.02932 0.03102 0.05817 -0.0282 1 0.0001443 0.1015 0.07088 0.05698 0.2387 4.103 2.828 0.06371 0.1072 1 1 0.07651 0.436 1.041 0.08078 0.4603 1.099 json
t20_x62_u0_b43 20 62 0 43 add(R,div(dst(P,R),R)) 172021 164916925 o2(x,o2(o2(x,x),x)) true 84575 84575 -0.0598 0.4702 0.9804 0.9705 0.9851 -1 1 2 1 1.368 0.08454 0.1011 0.1167 -0.08922 1 -0.000007727 0.4102 0.1992 0.1721 0.4148 3.555 2.828 0.1913 0.4227 1 1 0.2034 0.9497 1.898 0.2095 0.9786 1.956 json
t20_x62_u0_b44 20 62 0 44 add(R,pow(add(P,R),R)) 172022 164916926 o2(x,o2(o2(x,x),x)) true 84583 84583 -0.2358 0.4047 0.894 0.8025 0.8958 -1 1 2 1 2.347 0.01757 0.008285 0.03395 0.359 1 -0.00007712 0.04632 0.03312 0.02469 0.1571 4.628 2.828 0.03222 0.05772 1 1 0.03578 0.1769 0.5182 0.04459 0.2204 0.6458 json
t20_x62_u0_b45 20 62 0 45 add(R,pow(sub(P,R),R)) 172023 164916927 o2(x,o2(o2(x,x),x)) true 84591 84591 -0.2517 0.398 0.8727 0.7663 0.8754 -1 1 2 1 2.551 0.0146 0.004916 0.03538 0.4961 1 -0.00008569 0.03165 0.02807 0.01827 0.1352 3.82 2.828 0.02546 0.04131 1 1 0.02869 0.1589 0.4809 0.03743 0.2073 0.6275 json
t20_x62_u0_b46 20 62 0 46 add(R,pow(mlt(P,R),R)) 172024 164916928 o2(x,o2(o2(x,x),x)) true 84599 84599 -0.9359 0.03432 0.9849 0.1026 0.3203 -1 1 2 1 0.4332 0.01087 0.008484 0.01321 0.1232 1 1.73e-7 0.04022 0.0233 0.01918 0.1385 10.48 2.828 0.1886 0.3919 1 1 0.01651 0.07143 0.1904 0.1609 0.6961 1.855 json
t20_x62_u0_b47 20 62 0 47 add(R,pow(div(P,R),R)) 172025 164916929 o2(x,o2(o2(x,x),x)) true 84607 84607 -0.949 0.02971 0.9748 0.06799 0.2608 -1 1 2 1 0.44 0.007149 0.006148 0.0107 0.07528 1 7.377e-8 0.02768 0.01894 0.01319 0.1148 10.73 2.828 0.1956 0.4071 1 1 0.009195 0.04031 0.1118 0.1352 0.5929 1.644 json
t20_x62_u0_b48 20 62 0 48 add(R,pow(pow(P,R),R)) 172026 164916930 o2(x,o2(o2(x,x),x)) true 84615 84615 -0.04757 0.4858 0.9646 0.9437 0.9714 -1 1 2 1 1.809 0.004992 0.0002345 0.01144 0.9103 1 -0.00004513 0.008688 0.01033 0.005096 0.07139 6.24 1.829 0.005538 0.009206 1 1 0.008285 0.05455 0.2938 0.00878 0.0578 0.3114 json
t20_x62_u0_b49 20 62 0 49 add(R,pow(mod(P,R),R)) 172027 164916931 o2(x,o2(o2(x,x),x)) true 84623 84623 -0.115 0.4531 0.9787 0.9515 0.9755 -1 1 2 1 1.556 0.0141 0.005024 0.01462 0.4747 1 -0.0000583 0.03898 0.0225 0.01893 0.1376 9.413 2.828 0.0201 0.04097 1 1 0.02637 0.1108 0.4165 0.02772 0.1165 0.4377 json
t20_x62_u0_b50 20 62 0 50 add(R,pow(lrg(P,R),R)) 172028 164916932 o2(x,o2(o2(x,x),x)) true 84631 84631 0.0167 0.5742 0.8683 0.8084 0.8991 -1 1 2 1 2.715 0.02335 0.02258 0.04367 0.01662 1 -0.00003392 0.09386 0.05844 0.04404 0.2099 4.806 2.828 0.05681 0.1161 1 1 0.04796 0.2167 0.626 0.05933 0.268 0.7744 json
t20_x62_u0_b51 20 62 0 51 add(R,pow(eql(P,R),R)) 172029 164916933 o2(x,o2(o2(x,x),x)) true 84639 84639 -0.8155 0.1016 0.9813 0.3072 0.5543 -1 1 2 1 0.7279 0.03404 0.03871 0.03986 -0.06413 1 0.000008536 0.1539 0.07812 0.07119 0.2668 6.693 2.828 0.2368 0.5008 1 1 0.06938 0.2888 0.6387 0.2258 0.9399 2.079 json
t20_x62_u0_b52 20 62 0 52 add(R,pow(min(P,R),R)) 172030 164916934 o2(x,o2(o2(x,x),x)) true 84647 84647 -0.9851 0.007813 0.9993 0.02861 0.1691 -1 1 2 1 0.07797 0.002581 0.00347 0.003295 -0.1469 1 4.505e-11 0.01272 0.006412 0.006039 0.07771 23.58 2.828 0.2115 0.4445 1 1 0.0007994 0.005512 0.02528 0.02794 0.1927 0.8836 json
t20_x62_u0_b53 20 62 0 53 add(R,pow(dot(P,R),R)) 172031 164916935 o2(x,o2(o2(x,x),x)) true 84655 84655 -0.9221 0.03897 0.997 0.1451 0.3809 -1 1 2 1 0.3138 0.0159 0.01215 0.01505 0.1338 1 -0.000009022 0.05872 0.02958 0.02783 0.1668 11.08 2.828 0.1934 0.4048 1 1 0.03202 0.1334 0.3759 0.2207 0.9196 2.591 json
t20_x62_u0_b54 20 62 0 54 add(R,pow(dst(P,R),R)) 172032 164916936 o2(x,o2(o2(x,x),x)) true 84663 84663 0.6494 0.8558 0.7575 0.2599 0.5098 -0.8622 1 1.862 1 2.998 0.005988 0.007135 0.05912 -0.08742 1 -0.0002532 0.005224 0.03014 0.009631 0.09814 1.66 0.7564 0.0505 0.0201 1 1 0.02155 0.193 0.4122 0.08291 0.7426 1.586 json
t20_x62_u0_b55 20 62 0 55 add(R,mod(add(P,R),R)) 172033 164916937 o2(x,o2(o2(x,x),x)) true 84671 84671 0.01597 0.5116 0.4013 0.2546 0.5046 -1 1 2 1 4.835 0.003399 0.003206 0.06191 0.02921 1 0.000004866 0.0006192 0.01531 0.002771 0.05264 0.8502 0.3217 0.02594 0.002432 1 1 0.01359 0.1672 0.4447 0.05338 0.6567 1.747 json
t20_x62_u0_b56 20 62 0 56 add(R,mod(sub(P,R),R)) 172034 164916938 o2(x,o2(o2(x,x),x)) true 84679 84679 0.03256 0.5237 0.3791 0.2339 0.4836 -1 1 2 1 4.794 0.002849 0.002866 0.05786 -0.002938 1 0.000008023 0.0004976 0.01414 0.002366 0.04864 0.8407 0.2889 0.02443 0.002127 1 1 0.01052 0.1306 0.3723 0.04499 0.5583 1.592 json
t20_x62_u0_b57 20 62 0 57 add(R,mod(mlt(P,R),R)) 172035 164916939 o2(x,o2(o2(x,x),x)) true 84687 84687 0.007601 0.5065 0.3857 0.2256 0.475 -1 1 2 1 4.867 0.003288 0.003549 0.06481 -0.03824 1 0.00003152 0.0006087 0.01565 0.002636 0.05135 0.7923 0.3715 0.03031 0.002698 1 1 0.01298 0.1625 0.3935 0.05754 0.7203 1.744 json
t20_x62_u0_b58 20 62 0 58 add(R,mod(div(P,R),R)) 172036 164916940 o2(x,o2(o2(x,x),x)) true 84695 84695 -0.01167 0.4911 0.379 0.2343 0.484 -1 1 2 1 4.787 0.003506 0.003688 0.06214 -0.02536 1 -0.000004833 0.0006842 0.01539 0.003333 0.05773 0.9291 0.4019 0.03071 0.00292 1 1 0.01421 0.1772 0.4353 0.06066 0.7562 1.858 json
t20_x62_u0_b59 20 62 0 59 add(R,mod(pow(P,R),R)) 172037 164916941 o2(x,o2(o2(x,x),x)) true 84703 84703 -0.4664 0.2583 0.73 0.4468 0.6684 -1 1 2 1 3.096 0.01064 0.004435 0.03519 0.4115 1 -0.000008717 0.02571 0.0227 0.01383 0.1176 3.342 2.828 0.03373 0.05754 1 1 0.02102 0.1239 0.3672 0.04706 0.2773 0.8219 json
t20_x62_u0_b60 20 62 0 60 add(R,mod(mod(P,R),R)) 172038 164916942 o2(x,o2(o2(x,x),x)) true 84711 84711 0.02315 0.515 0.3888 0.2397 0.4896 -1 1 2 1 4.824 0.003053 0.00298 0.06004 0.01202 1 0.000006444 0.0005166 0.01464 0.002428 0.04927 0.8207 0.2889 0.02517 0.002155 1 1 0.01166 0.1454 0.3941 0.04864 0.6065 1.644 json
t20_x62_u0_b61 20 62 0 61 add(R,mod(lrg(P,R),R)) 172039 164916943 o2(x,o2(o2(x,x),x)) true 84719 84719 0.101 0.5563 0.397 0.2256 0.475 -0.9989 1 1.999 1 4.854 0.002712 0.003063 0.06145 -0.06072 1 0.00003138 0.0003358 0.01411 0.001999 0.04471 0.7277 0.2335 0.0256 0.001488 1 1 0.01149 0.1477 0.4002 0.05093 0.6548 1.774 json
t20_x62_u0_b62 20 62 0 62 add(R,mod(eql(P,R),R)) 172040 164916944 o2(x,o2(o2(x,x),x)) true 84727 84727 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x62_u0_b63 20 62 0 63 add(R,mod(min(P,R),R)) 172041 164916945 o2(x,o2(o2(x,x),x)) true 84735 84735 -0.08913 0.452 0.424 0.2562 0.5061 -1 1 2 1 4.877 0.003713 0.003827 0.06675 -0.01505 1 0.00002553 0.0007308 0.01655 0.003085 0.05554 0.8321 0.3715 0.02943 0.002853 1 1 0.01576 0.1934 0.4732 0.0615 0.755 1.847 json
t20_x62_u0_b64 20 62 0 64 add(R,mod(dot(P,R),R)) 172042 164916946 o2(x,o2(o2(x,x),x)) true 84743 84743 -0.004289 0.4982 0.389 0.2425 0.4924 -1 1 2 1 4.808 0.00367 0.003483 0.06277 0.02618 1 0.00001375 0.0006985 0.01547 0.003214 0.05669 0.9032 0.3692 0.0295 0.002881 1 1 0.01416 0.1753 0.4674 0.05841 0.723 1.928 json
t20_x62_u0_b65 20 62 0 65 add(R,mod(dst(P,R),R)) 172043 164916947 o2(x,o2(o2(x,x),x)) true 84751 84751 0.2349 0.6134 0.4138 0.2198 0.4688 -0.9216 1 1.922 1 4.575 0.003144 0.003501 0.06166 -0.05374 1 -0.00003291 0.0007263 0.01592 0.002843 0.05332 0.8648 0.3062 0.03023 0.003305 1 1 0.01351 0.1653 0.4255 0.06146 0.7522 1.936 json
t20_x62_u0_b66 20 62 0 66 add(R,lrg(add(P,R),R)) 172044 164916948 o2(x,o2(o2(x,x),x)) true 84759 84759 0.3927 0.7499 0.5896 0.2984 0.5462 -0.9989 1 1.999 1 4.441 0.0025 0.002467 0.04992 0.006636 1 -0.00001599 0.0005757 0.01393 0.002476 0.04976 0.9968 0.312 0.01665 0.00193 1 1 0.009889 0.1188 0.3167 0.03314 0.3982 1.061 json
t20_x62_u0_b67 20 62 0 67 add(R,lrg(sub(P,R),R)) 172045 164916949 o2(x,o2(o2(x,x),x)) true 84767 84767 0.4276 0.7953 0.5804 0.2544 0.5044 -0.9986 1 1.999 1 4.438 0.001798 0.002131 0.04545 -0.08454 1 0.00001189 0.0004219 0.01242 0.001863 0.04317 0.9498 0.2301 0.01544 0.001659 1 1 0.007593 0.09199 0.2472 0.02985 0.3616 0.9716 json
t20_x62_u0_b68 20 62 0 68 add(R,lrg(mlt(P,R),R)) 172046 164916950 o2(x,o2(o2(x,x),x)) true 84775 84775 0.3989 0.8102 0.5478 0.2232 0.4724 -0.9985 1 1.998 1 4.55 0.003295 0.003907 0.05637 -0.08497 1 -0.00005743 0.001016 0.01579 0.004023 0.06343 1.125 0.3359 0.03227 0.004551 1 1 0.01301 0.1524 0.3787 0.05829 0.6827 1.697 json
t20_x62_u0_b69 20 62 0 69 add(R,lrg(div(P,R),R)) 172047 164916951 o2(x,o2(o2(x,x),x)) true 84783 84783 0.4226 0.8171 0.5681 0.2301 0.4797 -0.9983 1 1.998 1 4.484 0.003562 0.004211 0.05767 -0.08347 1 -0.00006855 0.001185 0.01684 0.004447 0.06669 1.156 0.3359 0.03378 0.005151 1 1 0.01443 0.1665 0.3856 0.06272 0.7238 1.676 json
t20_x62_u0_b70 20 62 0 70 add(R,lrg(pow(P,R),R)) 172048 164916952 o2(x,o2(o2(x,x),x)) true 84791 84791 0.7937 1 0.7937 0.07049 0.2655 0.001146 1 0.9989 1 2.842 0.001347 0.001402 0.0313 -0.02007 1 -0.00005539 0.0006731 0.01223 0.001769 0.04206 1.344 0.223 0.039 0.009548 1 1 0.004983 0.0511 0.111 0.07068 0.7249 1.574 json
t20_x62_u0_b71 20 62 0 71 add(R,lrg(mod(P,R),R)) 172049 164916953 o2(x,o2(o2(x,x),x)) true 84799 84799 0.5266 1 0.5266 0.05091 0.2256 0.001084 0.997 0.9959 1 3.815 0.0007236 0.0006853 0.03089 0.02719 1 0.00004432 0.00008334 0.007111 0.0004549 0.02133 0.6905 0.1132 0.02767 0.001637 1 1 0.002542 0.03267 0.08567 0.04993 0.6416 1.683 json
t20_x62_u0_b72 20 62 0 72 add(R,lrg(lrg(P,R),R)) 172050 164916954 o2(x,o2(o2(x,x),x)) true 84807 84807 0.6553 1 0.6553 0.07788 0.2791 0.0011 1 0.9989 1 3.66 0.001092 0.001053 0.03236 0.01809 1 -0.00002242 0.0003829 0.01003 0.001098 0.03314 1.024 0.2122 0.02754 0.004917 1 1 0.003899 0.04386 0.1028 0.05006 0.5631 1.32 json
t20_x62_u0_b73 20 62 0 73 add(R,lrg(eql(P,R),R)) 172051 164916955 o2(x,o2(o2(x,x),x)) true 84815 84815 0.5266 1 0.5266 0.05091 0.2256 0.001084 0.997 0.9959 1 3.815 0.0007236 0.0006853 0.03089 0.02719 1 0.00004432 0.00008334 0.007111 0.0004549 0.02133 0.6905 0.1132 0.02767 0.001637 1 1 0.002542 0.03267 0.08567 0.04993 0.6416 1.683 json
t20_x62_u0_b74 20 62 0 74 add(R,lrg(min(P,R),R)) 172052 164916956 o2(x,o2(o2(x,x),x)) true 84823 84823 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x62_u0_b75 20 62 0 75 add(R,lrg(dot(P,R),R)) 172053 164916957 o2(x,o2(o2(x,x),x)) true 84831 84831 0.4006 0.7933 0.5573 0.245 0.4949 -0.9983 1 1.998 1 4.514 0.003677 0.003847 0.05919 -0.02254 1 -0.00006954 0.001095 0.01685 0.004021 0.06341 1.071 0.3359 0.03072 0.00447 1 1 0.01406 0.1642 0.4347 0.05739 0.6705 1.775 json
t20_x62_u0_b76 20 62 0 76 add(R,lrg(dst(P,R),R)) 172054 164916958 o2(x,o2(o2(x,x),x)) true 84839 84839 0.8072 1 0.8072 0.06917 0.263 0.001146 1 0.9989 1 2.721 0.00124 0.001463 0.03034 -0.08261 1 -0.00006109 0.0006685 0.01204 0.001783 0.04223 1.392 0.223 0.03908 0.009664 1 1 0.004971 0.05068 0.113 0.07186 0.7327 1.634 json
t20_x62_u0_b77 20 62 0 77 add(R,eql(add(P,R),R)) 172055 164916959 o2(x,o2(o2(x,x),x)) true 84847 84847 0.06362 0.5381 0.4117 0.2377 0.4875 -0.9989 1 1.999 1 4.893 0.002859 0.003117 0.06218 -0.04315 1 0.00002651 0.0004132 0.01463 0.00211 0.04593 0.7386 0.2534 0.02514 0.001738 1 1 0.012 0.1511 0.4183 0.05051 0.6358 1.76 json
t20_x62_u0_b78 20 62 0 78 add(R,eql(sub(P,R),R)) 172056 164916960 o2(x,o2(o2(x,x),x)) true 84855 84855 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x62_u0_b79 20 62 0 79 add(R,eql(mlt(P,R),R)) 172057 164916961 o2(x,o2(o2(x,x),x)) true 84863 84863 0.05762 0.5264 0.4228 0.2508 0.5008 -0.9989 1 1.999 1 4.905 0.003573 0.00306 0.06401 0.07736 1 0.00002651 0.0005387 0.01537 0.002536 0.05036 0.7867 0.3135 0.02645 0.002148 1 1 0.01344 0.1678 0.4281 0.0536 0.6692 1.707 json
t20_x62_u0_b80 20 62 0 80 add(R,eql(div(P,R),R)) 172058 164916962 o2(x,o2(o2(x,x),x)) true 84871 84871 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x62_u0_b81 20 62 0 81 add(R,eql(pow(P,R),R)) 172059 164916963 o2(x,o2(o2(x,x),x)) true 84879 84879 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x62_u0_b82 20 62 0 82 add(R,eql(mod(P,R),R)) 172060 164916964 o2(x,o2(o2(x,x),x)) true 84887 84887 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x62_u0_b83 20 62 0 83 add(R,eql(lrg(P,R),R)) 172061 164916965 o2(x,o2(o2(x,x),x)) true 84895 84895 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x62_u0_b84 20 62 0 84 add(R,eql(eql(P,R),R)) 172062 164916966 o2(x,o2(o2(x,x),x)) true 84903 84903 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x62_u0_b85 20 62 0 85 add(R,eql(min(P,R),R)) 172063 164916967 o2(x,o2(o2(x,x),x)) true 84911 84911 0.4268 0.7835 0.5923 0.2729 0.5224 -0.9989 1 1.999 1 4.386 0.001918 0.002319 0.04668 -0.09461 1 -0.00001029 0.0004999 0.01321 0.002058 0.04537 0.9719 0.2301 0.01552 0.001832 1 1 0.008011 0.09607 0.2704 0.02935 0.352 0.9906 json
t20_x62_u0_b86 20 62 0 86 add(R,eql(dot(P,R),R)) 172064 164916968 o2(x,o2(o2(x,x),x)) true 84919 84919 0.01289 0.5001 0.3982 0.2228 0.472 -0.9989 0.9806 1.979 1 4.866 0.002801 0.003167 0.06298 -0.06129 1 0.00002651 0.0003474 0.0144 0.002002 0.04475 0.7105 0.2301 0.02679 0.00156 1 1 0.01177 0.1512 0.3959 0.05285 0.679 1.778 json
t20_x62_u0_b87 20 62 0 87 add(R,eql(dst(P,R),R)) 172065 164916969 o2(x,o2(o2(x,x),x)) true 84927 84927 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x62_u0_b88 20 62 0 88 add(R,min(add(P,R),R)) 172066 164916970 o2(x,o2(o2(x,x),x)) true 84935 84935 -0.4535 0.2619 0.794 0.52 0.7211 -1 1 2 1 3.21 0.005829 0.005497 0.05788 0.02928 1 -0.00000686 0.00202 0.0185 0.007979 0.08933 1.543 0.438 0.02178 0.003886 1 1 0.02312 0.2629 0.6885 0.04446 0.5055 1.324 json
t20_x62_u0_b89 20 62 0 89 add(R,min(sub(P,R),R)) 172067 164916971 o2(x,o2(o2(x,x),x)) true 84943 84943 -0.5222 0.2213 0.7994 0.4635 0.6808 -1 1 2 1 3.048 0.004536 0.004352 0.04954 0.02074 1 -0.000002512 0.001364 0.0147 0.006432 0.0802 1.619 0.438 0.01918 0.002943 1 1 0.01715 0.1999 0.5257 0.03701 0.4313 1.134 json
t20_x62_u0_b90 20 62 0 90 add(R,min(mlt(P,R),R)) 172068 164916972 o2(x,o2(o2(x,x),x)) true 84951 84951 -0.5103 0.2065 0.775 0.4362 0.6605 -1 1 2 1 3.395 0.007955 0.008291 0.06602 -0.02069 1 0.0001555 0.005118 0.02804 0.01188 0.109 1.651 0.9137 0.03724 0.01173 1 1 0.02804 0.2904 0.6892 0.06429 0.6656 1.58 json
t20_x62_u0_b91 20 62 0 91 add(R,min(div(P,R),R)) 172069 164916973 o2(x,o2(o2(x,x),x)) true 84959 84959 -0.731 0.1227 0.9 0.3276 0.5724 -1 1 2 1 1.981 0.0141 0.01434 0.05696 -0.008315 1 0.0001994 0.02343 0.04379 0.02521 0.1588 2.788 2 0.08682 0.07152 1 1 0.04685 0.3298 0.6354 0.143 1.007 1.94 json
t20_x62_u0_b92 20 62 0 92 add(R,min(pow(P,R),R)) 172070 164916974 o2(x,o2(o2(x,x),x)) true 84967 84967 0.002276 0.4947 0.6508 0.5354 0.7317 -1 1 2 1 4.44 0.008625 0.009568 0.0929 -0.05187 1 0.00003047 0.003107 0.02848 0.009563 0.09779 1.053 0.4602 0.03398 0.005804 1 1 0.03523 0.3966 0.9362 0.06581 0.7408 1.749 json
t20_x62_u0_b93 20 62 0 93 add(R,min(mod(P,R),R)) 172071 164916975 o2(x,o2(o2(x,x),x)) true 84975 84975 -0.1855 0.4157 0.5304 0.3603 0.6003 -1 1 2 1 4.678 0.005749 0.005822 0.07809 -0.006297 1 0.00007832 0.001544 0.02173 0.005474 0.07399 0.9474 0.3777 0.03212 0.004285 1 1 0.02249 0.2653 0.6594 0.06241 0.7362 1.83 json
t20_x62_u0_b94 20 62 0 94 add(R,min(lrg(P,R),R)) 172072 164916976 o2(x,o2(o2(x,x),x)) true 84983 84983 -0.09088 0.4613 0.5879 0.4472 0.6687 -1 1 2 1 4.671 0.007122 0.00759 0.08623 -0.0318 1 0.00006813 0.002209 0.02499 0.007277 0.08531 0.9893 0.438 0.0329 0.004941 1 1 0.02862 0.3314 0.7873 0.064 0.7412 1.761 json
t20_x62_u0_b95 20 62 0 95 add(R,min(eql(P,R),R)) 172073 164916977 o2(x,o2(o2(x,x),x)) true 84991 84991 -0.1786 0.4229 0.5355 0.3565 0.597 -1 0.9804 1.98 1 4.683 0.005248 0.005892 0.07878 -0.05786 1 0.0001125 0.001381 0.0214 0.004933 0.07024 0.8915 0.3468 0.03125 0.003875 1 1 0.02169 0.2587 0.6278 0.06083 0.7256 1.761 json
t20_x62_u0_b96 20 62 0 96 add(R,min(min(P,R),R)) 172074 164916978 o2(x,o2(o2(x,x),x)) true 84999 84999 -0.4858 0.2433 0.7951 0.491 0.7007 -1 1 2 1 3.163 0.005138 0.004837 0.05358 0.03013 1 -0.000006204 0.001663 0.01663 0.007102 0.08428 1.573 0.438 0.02032 0.003387 1 1 0.01984 0.2283 0.5964 0.04042 0.465 1.215 json
t20_x62_u0_b97 20 62 0 97 add(R,min(dot(P,R),R)) 172075 164916979 o2(x,o2(o2(x,x),x)) true 85007 85007 -0.5843 0.1851 0.8315 0.4313 0.6567 -1 1 2 1 2.806 0.009078 0.009585 0.06407 -0.02717 1 0.0001767 0.00717 0.03099 0.01456 0.1206 1.883 0.9789 0.04327 0.01662 1 1 0.03258 0.3175 0.7744 0.07553 0.7361 1.795 json
t20_x62_u0_b98 20 62 0 98 add(R,min(dst(P,R),R)) 172076 164916980 o2(x,o2(o2(x,x),x)) true 85015 85015 0.01372 0.4984 0.659 0.5457 0.7387 -1 1 2 1 4.408 0.008726 0.009756 0.09338 -0.05568 1 0.00002908 0.003164 0.02873 0.009763 0.09881 1.058 0.4602 0.03387 0.005798 1 1 0.03624 0.4079 0.9797 0.06641 0.7475 1.795 json
t20_x62_u0_b99 20 62 0 99 add(R,dot(add(P,R),R)) 172077 164916981 o2(x,o2(o2(x,x),x)) true 85023 85023 0.148 0.5831 0.862 0.794 0.8911 -1 1 2 1 2.806 0.02372 0.03106 0.09696 -0.1341 1 0.000001629 0.04298 0.07225 0.0454 0.2131 2.198 1.683 0.069 0.05413 1 1 0.06663 0.5025 1.268 0.08392 0.6329 1.598 json
t20_x62_u0_b100 20 62 0 100 add(R,dot(sub(P,R),R)) 172078 164916982 o2(x,o2(o2(x,x),x)) true 85031 85031 -0.3431 0.319 0.867 0.7052 0.8398 -1 1 2 1 2.668 0.02379 0.03085 0.09595 -0.1292 1 0.0001117 0.0435 0.0706 0.04543 0.2132 2.221 1.793 0.07748 0.06168 1 1 0.06873 0.5368 1.253 0.09746 0.7611 1.776 json
t20_x62_u0_b101 20 62 0 101 add(R,dot(mlt(P,R),R)) 172079 164916983 o2(x,o2(o2(x,x),x)) true 85039 85039 -0.03526 0.4709 0.8299 0.7732 0.8793 -1 1 2 1 3.091 0.005547 0.006336 0.04702 -0.06638 1 -0.00003469 0.00517 0.02412 0.009667 0.09832 2.091 1.292 0.01537 0.006686 1 1 0.01867 0.1858 0.5559 0.02414 0.2402 0.719 json
t20_x62_u0_b102 20 62 0 102 add(R,dot(div(P,R),R)) 172080 164916984 o2(x,o2(o2(x,x),x)) true 85047 85047 0.004205 0.5012 0.9488 0.9301 0.9644 -1 1 2 1 1.89 0.001187 0.001314 0.01418 -0.05103 1 0.00001132 0.0004658 0.0049 0.002298 0.04794 3.381 0.3433 0.002689 0.0005008 1 1 0.006144 0.0698 0.4439 0.006605 0.07504 0.4773 json
t20_x62_u0_b103 20 62 0 103 add(R,dot(pow(P,R),R)) 172081 164916985 o2(x,o2(o2(x,x),x)) true 85055 85055 -0.9854 0.006561 0.9946 0.02205 0.1485 -1 1 2 1 0.1414 0.002578 0.00274 0.004237 -0.03062 1 -2.628e-11 0.01085 0.00691 0.0053 0.0728 17.18 2.828 0.2412 0.4919 1 1 0.0004996 0.005401 0.01981 0.02266 0.2449 0.8982 json
t20_x62_u0_b104 20 62 0 104 add(R,dot(mod(P,R),R)) 172082 164916986 o2(x,o2(o2(x,x),x)) true 85063 85063 -0.01524 0.4854 0.4092 0.2557 0.5057 -1 1 2 1 4.854 0.003703 0.003535 0.06409 0.02329 1 -0.00001929 0.00068 0.01576 0.00313 0.05595 0.8729 0.3573 0.0283 0.002659 1 1 0.01428 0.1766 0.4923 0.05585 0.6907 1.925 json
t20_x62_u0_b105 20 62 0 105 add(R,dot(lrg(P,R),R)) 172083 164916987 o2(x,o2(o2(x,x),x)) true 85071 85071 -0.2124 0.3609 0.5809 0.4113 0.6414 -1 1 2 1 4.517 0.007254 0.007045 0.07917 0.0146 1 0.00004608 0.002554 0.02416 0.008029 0.08961 1.132 0.5059 0.03476 0.006209 1 1 0.02857 0.316 0.7674 0.06946 0.7682 1.866 json
t20_x62_u0_b106 20 62 0 106 add(R,dot(eql(P,R),R)) 172084 164916988 o2(x,o2(o2(x,x),x)) true 85079 85079 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x62_u0_b107 20 62 0 107 add(R,dot(min(P,R),R)) 172085 164916989 o2(x,o2(o2(x,x),x)) true 85087 85087 0.2181 0.6542 0.7563 0.6308 0.7942 -1 1 2 1 3.633 0.01548 0.0182 0.0852 -0.08072 1 -0.00006901 0.01978 0.0481 0.0264 0.1625 1.907 1.649 0.05338 0.03136 1 1 0.04604 0.3864 0.9065 0.07299 0.6125 1.437 json
t20_x62_u0_b108 20 62 0 108 add(R,dot(dot(P,R),R)) 172086 164916990 o2(x,o2(o2(x,x),x)) true 85095 85095 0.03389 0.5154 0.782 0.7145 0.8453 -1 1 2 1 3.401 0.01555 0.01267 0.08055 0.102 1 -0.000007091 0.01441 0.04512 0.02173 0.1474 1.83 1.372 0.0395 0.02018 1 1 0.05017 0.4117 0.9424 0.07021 0.5762 1.319 json
t20_x62_u0_b109 20 62 0 109 add(R,dot(dst(P,R),R)) 172087 164916991 o2(x,o2(o2(x,x),x)) true 85103 85103 0.01258 0.5072 0.9025 0.8704 0.933 -1 1 2 1 2.375 0.04008 0.04342 0.1089 -0.04009 1 -0.00002831 0.09313 0.1034 0.07168 0.2677 2.459 2.206 0.09593 0.107 1 1 0.1094 0.7052 1.557 0.1257 0.8102 1.789 json
t20_x62_u0_b110 20 62 0 110 add(R,dst(add(P,R),R)) 172088 164916992 o2(x,o2(o2(x,x),x)) true 85111 85111 0.9975 1 0.9975 0.000845 0.02907 0.355 1 0.645 1 0.1043 0.0000351 0.00002594 0.0006808 0.15 0 5.632e-12 0.00002703 0.0004198 0.00006059 0.007784 11.43 0.1913 0.07225 0.03199 1 1 0.0001955 0.001629 0.003019 0.2314 1.928 3.573 json
t20_x62_u0_b111 20 62 0 111 add(R,dst(sub(P,R),R)) 172089 164916993 o2(x,o2(o2(x,x),x)) true 85119 85119 0.9996 1 0.9996 0.0001145 0.0107 0.5612 1 0.4388 1 0.02362 0.000009561 0.00001542 0.0002236 -0.2345 0 3.004e-11 0.00001955 0.0002073 0.00002491 0.004991 22.32 0.2044 0.2182 0.1708 1 1 0.00007439 0.0003947 0.0004166 0.6499 3.448 3.639 json
t20_x62_u0_b112 20 62 0 112 add(R,dst(mlt(P,R),R)) 172090 164916994 o2(x,o2(o2(x,x),x)) true 85127 85127 0.9787 1 0.9787 0.0103 0.1015 0.08972 1 0.9103 1 0.5113 0.0003277 0.0003097 0.005517 0.02824 1 -0.00001716 0.0002936 0.003455 0.000607 0.02464 4.466 0.2952 0.06188 0.0285 1 1 0.001638 0.01447 0.02664 0.159 1.405 2.586 json
t20_x62_u0_b113 20 62 0 113 add(R,dst(div(P,R),R)) 172091 164916995 o2(x,o2(o2(x,x),x)) true 85135 85135 1 1 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_x62_u0_b114 20 62 0 114 add(R,dst(pow(P,R),R)) 172092 164916996 o2(x,o2(o2(x,x),x)) true 85143 85143 -0.9688 0.01563 1 0.0614 0.2478 -1 1 2 1 0.1181 0.006047 0.008028 0.007007 -0.1407 1 3.004e-11 0.02966 0.01411 0.01403 0.1184 16.9 2.828 0.2292 0.4831 1 1 0.009695 0.04659 0.06996 0.1579 0.7588 1.139 json
t20_x62_u0_b115 20 62 0 115 add(R,dst(mod(P,R),R)) 172093 164916997 o2(x,o2(o2(x,x),x)) true 85151 85151 0.7998 0.9807 0.8081 0.08207 0.2865 -0.6932 1 1.693 1 2.828 0.001627 0.001969 0.03421 -0.09514 1 -0.0000728 0.0009718 0.01422 0.002425 0.04925 1.44 0.3359 0.04381 0.01184 1 1 0.006243 0.0622 0.1341 0.07607 0.7579 1.634 json
t20_x62_u0_b116 20 62 0 116 add(R,dst(lrg(P,R),R)) 172094 164916998 o2(x,o2(o2(x,x),x)) true 85159 85159 0.9632 1 0.9632 0.01766 0.1329 0.06163 1 0.9384 1 0.7992 0.0004311 0.0005168 0.008541 -0.09044 1 -0.00004181 0.0003435 0.004563 0.0008746 0.02957 3.463 0.2572 0.05368 0.01946 1 1 0.001463 0.01296 0.02681 0.08283 0.7343 1.518 json
t20_x62_u0_b117 20 62 0 117 add(R,dst(eql(P,R),R)) 172095 164916999 o2(x,o2(o2(x,x),x)) true 85167 85167 0.7698 1 0.7698 0.07179 0.2679 0.03077 1 0.9692 1 2.953 0.001474 0.001584 0.03376 -0.03597 1 -0.00007251 0.000832 0.01385 0.001919 0.0438 1.298 0.2336 0.0426 0.01159 1 1 0.00568 0.0565 0.13 0.07911 0.7869 1.81 json
t20_x62_u0_b118 20 62 0 118 add(R,dst(min(P,R),R)) 172096 164917000 o2(x,o2(o2(x,x),x)) true 85175 85175 0.7974 0.9216 0.8454 0.1609 0.4011 -0.8897 1 1.89 1 2.115 0.001254 0.001123 0.02103 0.05482 1 -0.00003238 0.0003697 0.006324 0.001935 0.04399 2.092 0.3847 0.01478 0.002298 1 1 0.0056 0.0654 0.191 0.0348 0.4065 1.187 json
t20_x62_u0_b119 20 62 0 119 add(R,dst(dot(P,R),R)) 172097 164917001 o2(x,o2(o2(x,x),x)) true 85183 85183 0.9867 1 0.9867 0.005684 0.07539 0.03559 1 0.9644 1 0.3707 0.000402 0.0004566 0.005045 -0.06358 1 -0.00005145 0.000699 0.004576 0.0008333 0.02887 5.721 0.5652 0.1511 0.123 1 1 0.001845 0.0105 0.01583 0.3245 1.848 2.786 json
t20_x62_u0_b120 20 62 0 120 add(R,dst(dst(P,R),R)) 172098 164917002 o2(x,o2(o2(x,x),x)) true 85191 85191 1 1 1 1.131e-7 0.0003363 0.9685 1 0.03149 1 0 4.711e-8 5.432e-8 0.000005577 -0.07107 0 7.509e-12 1.831e-7 0.000008291 1.014e-7 0.0003184 57.09 0.03279 0.8967 1.619 1 1 2.369e-7 4.108e-7 4.108e-7 2.094 3.632 3.632 json
t20_x62_u0_b121 20 62 0 121 sub(R,add(add(P,R),R)) 172099 164917003 o2(x,o2(o2(x,x),x)) true 85199 85199 -0.003757 0.5026 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