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_b122 20 62 0 122 sub(R,add(sub(P,R),R)) 172100 164917004 o2(x,o2(o2(x,x),x)) true 85207 85207 0.004612 0.4968 0.9368 0.913 0.9555 -1 1 2 1 2.013 0.001147 0.000385 0.01159 0.4976 1 -0.00002051 0.0002745 0.003871 0.001399 0.0374 3.228 0.3332 0.001679 0.0003007 1 1 0.003782 0.0437 0.2627 0.004142 0.04787 0.2877 json
t20_x62_u0_b123 20 62 0 123 sub(R,add(mlt(P,R),R)) 172101 164917005 o2(x,o2(o2(x,x),x)) true 85215 85215 0.0623 0.528 0.7239 0.644 0.8025 -1 1 2 1 3.79 0.01645 0.01963 0.09244 -0.08822 1 0.00004552 0.0199 0.04926 0.02753 0.1659 1.795 1.466 0.05602 0.0309 1 1 0.05074 0.4449 1.04 0.07878 0.6908 1.616 json
t20_x62_u0_b124 20 62 0 124 sub(R,add(div(P,R),R)) 172102 164917006 o2(x,o2(o2(x,x),x)) true 85223 85223 0.04277 0.5192 0.9246 0.9053 0.9514 -1 1 2 1 1.97 0.06363 0.07955 0.1129 -0.1112 1 0.000001093 0.2829 0.1607 0.1304 0.3611 3.2 2.828 0.1582 0.3125 1 1 0.162 0.8287 1.855 0.1789 0.9154 2.049 json
t20_x62_u0_b125 20 62 0 125 sub(R,add(pow(P,R),R)) 172103 164917007 o2(x,o2(o2(x,x),x)) true 85231 85231 -0.9222 0 0.9222 0.03437 0.1854 -1 -0.000291 0.9997 1 1.435 0.001601 0.001206 0.01412 0.1407 1 0.00005144 0.00392 0.009601 0.002608 0.05106 3.616 0.9997 0.0817 0.1141 1 1 0.00395 0.02404 0.05125 0.1149 0.6995 1.491 json
t20_x62_u0_b126 20 62 0 126 sub(R,add(mod(P,R),R)) 172104 164917008 o2(x,o2(o2(x,x),x)) true 85239 85239 -0.0129 0.4956 0.2104 0.07008 0.2647 -0.7988 0.8078 1.607 1 4.093 0.0003013 0.0003177 0.019 -0.02649 1 -3.994e-7 0.00003588 0.00436 0.0002581 0.01607 0.8458 0.08902 0.008832 0.000512 1 1 0.001176 0.01523 0.054 0.01678 0.2173 0.7706 json
t20_x62_u0_b127 20 62 0 127 sub(R,add(lrg(P,R),R)) 172105 164917009 o2(x,o2(o2(x,x),x)) true 85247 85247 -0.5039 0 0.5039 0.2412 0.4911 -1 0 1 1 1.527 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005704 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t20_x62_u0_b128 20 62 0 128 sub(R,add(eql(P,R),R)) 172106 164917010 o2(x,o2(o2(x,x),x)) true 85255 85255 0 0 0 0 0 0 0 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_b129 20 62 0 129 sub(R,add(min(P,R),R)) 172107 164917011 o2(x,o2(o2(x,x),x)) true 85263 85263 0.4947 0.7749 0.669 0.3314 0.5756 -0.9806 1 1.981 1 3.609 0.001675 0.001465 0.03457 0.06692 1 5.687e-7 0.0001859 0.007986 0.001945 0.0441 1.276 0.219 0.009476 0.0005609 1 1 0.006236 0.08108 0.2653 0.01882 0.2447 0.8006 json
t20_x62_u0_b130 20 62 0 130 sub(R,add(dot(P,R),R)) 172108 164917012 o2(x,o2(o2(x,x),x)) true 85271 85271 0.09414 0.5421 0.842 0.7849 0.886 -1 1 2 1 2.916 0.02451 0.0331 0.1019 -0.1491 1 -0.0000297 0.04608 0.07442 0.04725 0.2174 2.133 1.874 0.07341 0.0587 1 1 0.0731 0.5655 1.363 0.09312 0.7204 1.737 json
t20_x62_u0_b131 20 62 0 131 sub(R,add(dst(P,R),R)) 172109 164917013 o2(x,o2(o2(x,x),x)) true 85279 85279 -0.9991 0 0.9991 0.0002231 0.01494 -1 -0.5928 0.4072 1 0.04809 0.000009663 0.00001458 0.0003494 -0.2029 0 -1.126e-11 0.00001288 0.0002502 0.00002412 0.004912 14.06 0.1585 0.1087 0.05776 1 1 0.00007594 0.0005734 0.0008112 0.3404 2.571 3.637 json
t20_x62_u0_b132 20 62 0 132 sub(R,sub(add(P,R),R)) 172110 164917014 o2(x,o2(o2(x,x),x)) true 85287 85287 0.004612 0.4968 0.9368 0.913 0.9555 -1 1 2 1 2.013 0.001147 0.000385 0.01159 0.4976 1 -0.00002051 0.0002745 0.003871 0.001399 0.0374 3.228 0.3332 0.001679 0.0003007 1 1 0.003782 0.0437 0.2627 0.004142 0.04787 0.2877 json
t20_x62_u0_b133 20 62 0 133 sub(R,sub(sub(P,R),R)) 172111 164917015 o2(x,o2(o2(x,x),x)) true 85295 85295 0.01032 0.5059 0.9418 0.9217 0.9601 -1 1 2 1 1.939 0.004599 0.003596 0.02742 0.1224 1 -0.00001619 0.002664 0.01259 0.007447 0.0863 3.147 0.7659 0.008891 0.00289 1 1 0.01855 0.1756 0.4675 0.02012 0.1905 0.5072 json
t20_x62_u0_b134 20 62 0 134 sub(R,sub(mlt(P,R),R)) 172112 164917016 o2(x,o2(o2(x,x),x)) true 85303 85303 0.06036 0.5452 0.7327 0.6578 0.811 -1 1 2 1 3.669 0.01738 0.02101 0.09063 -0.09436 1 0.00003959 0.02446 0.05132 0.03017 0.1737 1.917 1.636 0.05836 0.03718 1 1 0.05481 0.4523 1.093 0.08333 0.6877 1.662 json
t20_x62_u0_b135 20 62 0 135 sub(R,sub(div(P,R),R)) 172113 164917017 o2(x,o2(o2(x,x),x)) true 85311 85311 0.05858 0.53 0.943 0.921 0.9597 -1 1 2 1 1.901 0.06565 0.07988 0.1134 -0.09779 1 0.00002057 0.288 0.1623 0.1326 0.3642 3.211 2.828 0.158 0.3127 1 1 0.1649 0.8546 1.896 0.179 0.9279 2.059 json
t20_x62_u0_b136 20 62 0 136 sub(R,sub(pow(P,R),R)) 172114 164917018 o2(x,o2(o2(x,x),x)) true 85319 85319 -0.947 0.02098 0.9702 0.06104 0.2471 -1 1 2 1 0.7155 0.007558 0.003421 0.01405 0.3768 1 0.000001455 0.02075 0.01495 0.01077 0.1038 7.386 2.253 0.1799 0.34 1 1 0.01552 0.07453 0.1349 0.2543 1.221 2.21 json
t20_x62_u0_b137 20 62 0 137 sub(R,sub(mod(P,R),R)) 172115 164917019 o2(x,o2(o2(x,x),x)) true 85327 85327 0.002556 0.4928 0.6582 0.5455 0.7386 -1 1 2 1 4.41 0.008303 0.009698 0.0915 -0.07749 1 0.00001888 0.003249 0.02877 0.009628 0.09812 1.072 0.4706 0.033 0.005955 1 1 0.03545 0.3958 0.9382 0.06498 0.7256 1.72 json
t20_x62_u0_b138 20 62 0 138 sub(R,sub(lrg(P,R),R)) 172116 164917020 o2(x,o2(o2(x,x),x)) true 85335 85335 -0.2805 0.3525 0.7152 0.5421 0.7363 -1 1 2 1 3.934 0.007683 0.008209 0.07869 -0.03306 1 0.0001222 0.003261 0.02729 0.009698 0.09848 1.251 0.5495 0.02931 0.006016 1 1 0.03189 0.3415 0.8573 0.05883 0.63 1.581 json
t20_x62_u0_b139 20 62 0 139 sub(R,sub(eql(P,R),R)) 172117 164917021 o2(x,o2(o2(x,x),x)) true 85343 85343 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_b140 20 62 0 140 sub(R,sub(min(P,R),R)) 172118 164917022 o2(x,o2(o2(x,x),x)) true 85351 85351 0.4503 0.7154 0.6663 0.3661 0.6051 -0.9986 1 1.999 1 3.698 0.002331 0.002192 0.04055 0.03073 1 -0.00003624 0.0005477 0.01087 0.002879 0.05366 1.323 0.4246 0.01235 0.001496 1 1 0.00914 0.1112 0.3302 0.02497 0.3038 0.9018 json
t20_x62_u0_b141 20 62 0 141 sub(R,sub(dot(P,R),R)) 172119 164917023 o2(x,o2(o2(x,x),x)) true 85359 85359 0.09776 0.5499 0.8479 0.7886 0.8881 -1 1 2 1 2.927 0.02495 0.03492 0.1056 -0.1664 1 0.00001308 0.04898 0.07663 0.04871 0.2207 2.089 2.002 0.07592 0.0621 1 1 0.07825 0.61 1.382 0.09922 0.7734 1.752 json
t20_x62_u0_b142 20 62 0 142 sub(R,sub(dst(P,R),R)) 172120 164917024 o2(x,o2(o2(x,x),x)) true 85367 85367 -0.9826 0.006012 0.9853 0.01521 0.1233 -1 0.4669 1.467 1 0.2977 0.000471 0.0003859 0.004429 0.09939 1 7.884e-11 0.0003184 0.002505 0.000837 0.02893 6.533 0.4287 0.05632 0.02093 1 1 0.002774 0.02478 0.04759 0.1823 1.628 3.128 json
t20_x62_u0_b143 20 62 0 143 sub(R,mlt(add(P,R),R)) 172121 164917025 o2(x,o2(o2(x,x),x)) true 85375 85375 -0.05808 0.4649 0.7393 0.6572 0.8107 -1 1 2 1 3.732 0.01628 0.01958 0.08967 -0.09205 1 0.0000704 0.02088 0.04914 0.02782 0.1668 1.86 1.424 0.05456 0.03177 1 1 0.05004 0.4277 1.039 0.07615 0.6509 1.581 json
t20_x62_u0_b144 20 62 0 144 sub(R,mlt(sub(P,R),R)) 172122 164917026 o2(x,o2(o2(x,x),x)) true 85383 85383 0.1809 0.614 0.7444 0.6333 0.7958 -1 1 2 1 3.699 0.01643 0.01967 0.09056 -0.08998 1 0.000003609 0.02088 0.04998 0.02789 0.167 1.844 1.472 0.057 0.03297 1 1 0.0505 0.4296 1.031 0.07974 0.6783 1.628 json
t20_x62_u0_b145 20 62 0 145 sub(R,mlt(mlt(P,R),R)) 172123 164917027 o2(x,o2(o2(x,x),x)) true 85391 85391 -0.009192 0.491 0.6883 0.6047 0.7776 -1 1 2 1 3.937 0.002775 0.003416 0.04494 -0.1035 1 -0.00009073 0.002056 0.01942 0.004171 0.06459 1.437 0.4784 0.01024 0.0034 1 1 0.01082 0.1107 0.3384 0.01789 0.1831 0.5596 json
t20_x62_u0_b146 20 62 0 146 sub(R,mlt(div(P,R),R)) 172124 164917028 o2(x,o2(o2(x,x),x)) true 85399 85399 0.004612 0.4968 0.9368 0.913 0.9555 -1 1 2 1 2.013 0.001147 0.000385 0.01159 0.4976 1 -0.00002051 0.0002745 0.003871 0.001399 0.0374 3.228 0.3332 0.001679 0.0003007 1 1 0.003782 0.0437 0.2627 0.004142 0.04787 0.2877 json
t20_x62_u0_b147 20 62 0 147 sub(R,mlt(pow(P,R),R)) 172125 164917029 o2(x,o2(o2(x,x),x)) true 85407 85407 -0.7305 0.01555 0.7389 0.1495 0.3867 -1 0.8291 1.829 1 2.379 0.006323 0.003099 0.02287 0.3421 1 0.00002625 0.01674 0.01894 0.008899 0.09433 4.124 1.829 0.063 0.1119 1 1 0.01332 0.06912 0.2161 0.08909 0.4622 1.445 json
t20_x62_u0_b148 20 62 0 148 sub(R,mlt(mod(P,R),R)) 172126 164917030 o2(x,o2(o2(x,x),x)) true 85415 85415 0.01961 0.4981 0.3824 0.2233 0.4725 -1 1 2 1 4.808 0.00277 0.003445 0.0603 -0.1086 1 0.00001448 0.0004759 0.01434 0.002579 0.05078 0.8421 0.2956 0.02783 0.002131 1 1 0.01222 0.1532 0.3785 0.05473 0.6859 1.695 json
t20_x62_u0_b149 20 62 0 149 sub(R,mlt(lrg(P,R),R)) 172127 164917031 o2(x,o2(o2(x,x),x)) true 85423 85423 0.03488 0.3128 0.2019 0.1109 0.3331 -0.9989 0.9693 1.968 1 3.377 0.00124 0.00164 0.03127 -0.1387 1 0.00002708 0.000164 0.007099 0.001902 0.04362 1.395 0.2301 0.02597 0.001479 1 1 0.005641 0.07166 0.1897 0.05085 0.6461 1.71 json
t20_x62_u0_b150 20 62 0 150 sub(R,mlt(eql(P,R),R)) 172128 164917032 o2(x,o2(o2(x,x),x)) true 85431 85431 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_b151 20 62 0 151 sub(R,mlt(min(P,R),R)) 172129 164917033 o2(x,o2(o2(x,x),x)) true 85439 85439 -0.1255 0.4174 0.6115 0.5019 0.7084 -1 1 2 1 4.117 0.01124 0.01439 0.07667 -0.1229 1 0.00005507 0.01494 0.03732 0.01976 0.1406 1.833 1.468 0.05108 0.02976 1 1 0.04012 0.3416 0.7733 0.07993 0.6807 1.541 json
t20_x62_u0_b152 20 62 0 152 sub(R,mlt(dot(P,R),R)) 172130 164917034 o2(x,o2(o2(x,x),x)) true 85447 85447 -0.04372 0.4745 0.7512 0.6771 0.8229 -1 1 2 1 3.576 0.007953 0.007405 0.06045 0.03569 1 0.00001263 0.006946 0.03118 0.01171 0.1082 1.79 1.398 0.02268 0.01026 1 1 0.02236 0.2114 0.5628 0.03302 0.3123 0.8311 json
t20_x62_u0_b153 20 62 0 153 sub(R,mlt(dst(P,R),R)) 172131 164917035 o2(x,o2(o2(x,x),x)) true 85455 85455 0.01915 0.5076 0.8193 0.7644 0.8743 -1 1 2 1 3.137 0.02211 0.02571 0.09761 -0.07524 1 -0.00006779 0.03174 0.06245 0.03829 0.1957 2.005 1.909 0.06256 0.04152 1 1 0.06197 0.5121 1.253 0.08107 0.67 1.639 json
t20_x62_u0_b154 20 62 0 154 sub(R,div(add(P,R),R)) 172132 164917036 o2(x,o2(o2(x,x),x)) true 85463 85463 -0.06613 0.4632 0.9516 0.9304 0.9646 -1 1 2 1 1.801 0.06405 0.07975 0.1105 -0.1091 1 0.00006088 0.286 0.1603 0.1316 0.3628 3.283 2.828 0.1546 0.3074 1 1 0.1621 0.8335 1.87 0.1742 0.8958 2.01 json
t20_x62_u0_b155 20 62 0 155 sub(R,div(sub(P,R),R)) 172133 164917037 o2(x,o2(o2(x,x),x)) true 85471 85471 0.17 0.5934 0.9445 0.8963 0.9467 -1 1 2 1 1.85 0.06481 0.08034 0.1091 -0.107 1 0.000001493 0.2926 0.1614 0.1332 0.3649 3.344 2.828 0.1619 0.3265 1 1 0.1606 0.8104 1.787 0.1791 0.9042 1.993 json
t20_x62_u0_b156 20 62 0 156 sub(R,div(mlt(P,R),R)) 172134 164917038 o2(x,o2(o2(x,x),x)) true 85479 85479 0.004612 0.4968 0.9368 0.913 0.9555 -1 1 2 1 2.013 0.001147 0.000385 0.01159 0.4976 1 -0.00002051 0.0002745 0.003871 0.001399 0.0374 3.228 0.3332 0.001679 0.0003007 1 1 0.003782 0.0437 0.2627 0.004142 0.04787 0.2877 json
t20_x62_u0_b157 20 62 0 157 sub(R,div(div(P,R),R)) 172135 164917039 o2(x,o2(o2(x,x),x)) true 85487 85487 -0.002066 0.497 0.9775 0.9691 0.9844 -1 1 2 1 1.435 0.004078 0.0006677 0.009698 0.7186 1 -0.00001482 0.006191 0.008751 0.00465 0.06819 7.031 2.174 0.004897 0.006389 1 1 0.01031 0.06864 0.3322 0.01064 0.07083 0.3428 json
t20_x62_u0_b158 20 62 0 158 sub(R,div(pow(P,R),R)) 172136 164917040 o2(x,o2(o2(x,x),x)) true 85495 85495 -0.6562 0.1687 0.9337 0.4802 0.6929 -1 1 2 1 1.647 0.02 0.01908 0.05215 0.02356 1 -0.0003084 0.05707 0.0508 0.03635 0.1907 3.656 2.828 0.08139 0.1189 1 1 0.05658 0.3543 0.8943 0.1178 0.738 1.863 json
t20_x62_u0_b159 20 62 0 159 sub(R,div(mod(P,R),R)) 172137 164917041 o2(x,o2(o2(x,x),x)) true 85503 85503 0.05028 0.5677 0.4759 0.325 0.5701 -1 1 2 1 4.856 0.004251 0.005022 0.06845 -0.08314 1 0.00006053 0.0009129 0.01737 0.004588 0.06774 0.9896 0.3635 0.02853 0.002809 1 1 0.0173 0.2107 0.5593 0.05322 0.6482 1.721 json
t20_x62_u0_b160 20 62 0 160 sub(R,div(lrg(P,R),R)) 172138 164917042 o2(x,o2(o2(x,x),x)) true 85511 85511 0.1193 0.5776 0.5929 0.4559 0.6752 -1 1 2 1 4.529 0.01423 0.01765 0.08634 -0.1073 1 0.00009466 0.03187 0.04706 0.02442 0.1563 1.81 2.828 0.06993 0.06991 1 1 0.04838 0.3952 0.9306 0.1061 0.8668 2.041 json
t20_x62_u0_b161 20 62 0 161 sub(R,div(eql(P,R),R)) 172139 164917043 o2(x,o2(o2(x,x),x)) true 85519 85519 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_b162 20 62 0 162 sub(R,div(min(P,R),R)) 172140 164917044 o2(x,o2(o2(x,x),x)) true 85527 85527 -0.4068 0.2557 0.8812 0.6672 0.8168 -1 1 2 1 2.586 0.03409 0.04058 0.07223 -0.08689 1 0.00002155 0.1479 0.08681 0.06944 0.2635 3.648 2.828 0.1119 0.2217 1 1 0.08754 0.4561 1.041 0.1312 0.6836 1.56 json
t20_x62_u0_b163 20 62 0 163 sub(R,div(dot(P,R),R)) 172141 164917045 o2(x,o2(o2(x,x),x)) true 85535 85535 0.03636 0.5191 0.9535 0.9366 0.9678 -1 1 2 1 1.778 0.02885 0.03074 0.05784 -0.03162 1 -0.0001288 0.103 0.07115 0.05623 0.2371 4.1 2.828 0.06362 0.11 1 1 0.07229 0.4084 0.9993 0.07718 0.436 1.067 json
t20_x62_u0_b164 20 62 0 164 sub(R,div(dst(P,R),R)) 172142 164917046 o2(x,o2(o2(x,x),x)) true 85543 85543 0.07009 0.5348 0.9732 0.9589 0.9792 -1 1 2 1 1.479 0.07955 0.0959 0.1157 -0.09316 1 -0.000001369 0.378 0.1898 0.162 0.4025 3.479 2.828 0.183 0.3942 1 1 0.1906 0.918 1.877 0.1988 0.9573 1.957 json
t20_x62_u0_b165 20 62 0 165 sub(R,pow(add(P,R),R)) 172143 164917047 o2(x,o2(o2(x,x),x)) true 85551 85551 -0.989 0 0.989 0.004552 0.06747 -1 -0.02728 0.9727 1 0.358 0.0007953 0.0003667 0.003582 0.3688 1 0.00002808 0.002295 0.004358 0.001149 0.0339 9.465 0.9728 0.2553 0.5041 1 1 0.001733 0.007164 0.01255 0.3807 1.574 2.757 json
t20_x62_u0_b166 20 62 0 166 sub(R,pow(sub(P,R),R)) 172144 164917048 o2(x,o2(o2(x,x),x)) true 85559 85559 -0.9582 0.01277 0.9674 0.03472 0.1863 -1 0.8763 1.876 1 0.7651 0.002258 0.0004928 0.00963 0.6416 1 0.00002673 0.003685 0.005777 0.002657 0.05155 5.353 1.693 0.07921 0.1061 1 1 0.003874 0.03132 0.06312 0.1116 0.902 1.818 json
t20_x62_u0_b167 20 62 0 167 sub(R,pow(mlt(P,R),R)) 172145 164917049 o2(x,o2(o2(x,x),x)) true 85567 85567 -0.9953 0.002991 0.997 0.005885 0.07671 -1 0.6686 1.669 1 0.05079 0.0007854 0.0007663 0.001358 0.01236 1 4.13e-11 0.003287 0.002466 0.00155 0.03937 28.99 1.669 0.2637 0.5585 1 1 0.0003871 0.002621 0.005361 0.06579 0.4454 0.9111 json
t20_x62_u0_b168 20 62 0 168 sub(R,pow(div(P,R),R)) 172146 164917050 o2(x,o2(o2(x,x),x)) true 85575 85575 -0.9935 0.001953 0.9948 0.004916 0.07011 -1 0.6684 1.668 1 0.1961 0.000706 0.000623 0.0019 0.06246 1 9.335e-8 0.002785 0.003053 0.001325 0.0364 19.16 1.668 0.2704 0.5666 1 1 0.0003483 0.002205 0.004658 0.07086 0.4486 0.9475 json
t20_x62_u0_b169 20 62 0 169 sub(R,pow(pow(P,R),R)) 172147 164917051 o2(x,o2(o2(x,x),x)) true 85583 85583 -0.9488 0.0119 0.9566 0.03864 0.1966 -1 0.8288 1.829 1 0.8877 0.004703 0.0002765 0.01092 0.8889 1 -0.000002196 0.008714 0.009925 0.004862 0.06973 6.383 1.829 0.1289 0.2255 1 1 0.007835 0.03926 0.07179 0.2028 1.016 1.858 json
t20_x62_u0_b170 20 62 0 170 sub(R,pow(mod(P,R),R)) 172148 164917052 o2(x,o2(o2(x,x),x)) true 85591 85591 -0.8498 0.06612 0.89 0.1372 0.3704 -1 0.8767 1.877 1 1.528 0.008144 0.004844 0.03151 0.2541 1 0.0001804 0.01803 0.02313 0.01199 0.1095 3.475 2.144 0.09468 0.1314 1 1 0.01909 0.1245 0.2628 0.1392 0.9076 1.916 json
t20_x62_u0_b171 20 62 0 171 sub(R,pow(lrg(P,R),R)) 172149 164917053 o2(x,o2(o2(x,x),x)) true 85599 85599 -0.8271 0.05316 0.8793 0.1445 0.3801 -1 0.9428 1.943 1 2.02 0.01253 0.01024 0.03385 0.1006 1 0.00004834 0.04352 0.03406 0.02162 0.1471 4.344 2.36 0.1576 0.3013 1 1 0.02691 0.1378 0.3224 0.1862 0.9542 2.232 json
t20_x62_u0_b172 20 62 0 172 sub(R,pow(eql(P,R),R)) 172150 164917054 o2(x,o2(o2(x,x),x)) true 85607 85607 -0.9327 0.04297 0.9813 0.1025 0.3202 -1 0.9428 1.943 1 0.413 0.01033 0.01038 0.01414 -0.00231 1 0.000008535 0.04322 0.0262 0.02051 0.1432 10.13 2.64 0.2021 0.4217 1 1 0.01648 0.07156 0.1733 0.1608 0.6982 1.691 json
t20_x62_u0_b173 20 62 0 173 sub(R,pow(min(P,R),R)) 172151 164917055 o2(x,o2(o2(x,x),x)) true 85615 85615 -0.9921 0.002991 0.9938 0.008522 0.09232 -1 0.6686 1.669 1 0.09521 0.0009013 0.001053 0.00195 -0.07758 1 0.000001694 0.004116 0.003523 0.00195 0.04416 22.65 1.669 0.2293 0.483 1 1 0.0003871 0.002621 0.007585 0.04543 0.3075 0.8901 json
t20_x62_u0_b174 20 62 0 174 sub(R,pow(dot(P,R),R)) 172152 164917056 o2(x,o2(o2(x,x),x)) true 85623 85623 -0.9962 0.0009918 0.9966 0.002829 0.05319 -1 0.3659 1.366 1 0.09351 0.0005075 0.0001662 0.001758 0.5066 1 -3.754e-11 0.001166 0.001937 0.0006708 0.0259 14.73 1.366 0.2381 0.4123 1 1 0.001269 0.006616 0.009389 0.4487 2.339 3.319 json
t20_x62_u0_b175 20 62 0 175 sub(R,pow(dst(P,R),R)) 172153 164917057 o2(x,o2(o2(x,x),x)) true 85631 85631 -0.9767 0 0.9767 0.004808 0.06934 -1 -0.2934 0.7066 1 0.7969 0.0001218 0.0001209 0.005252 0.003617 1 0.00008635 0.0001172 0.003357 0.0002151 0.01467 2.793 0.1555 0.05047 0.02438 1 1 0.0005298 0.005393 0.0125 0.1102 1.122 2.6 json
t20_x62_u0_b176 20 62 0 176 sub(R,mod(add(P,R),R)) 172154 164917058 o2(x,o2(o2(x,x),x)) true 85639 85639 0.009503 0.4969 0.4065 0.2583 0.5083 -1 1 2 1 4.851 0.002616 0.00343 0.06099 -0.1347 1 0.000009054 0.0005113 0.01488 0.002326 0.04822 0.7907 0.2643 0.0234 0.001979 1 1 0.01166 0.1453 0.3588 0.04515 0.5625 1.389 json
t20_x62_u0_b177 20 62 0 177 sub(R,mod(sub(P,R),R)) 172155 164917059 o2(x,o2(o2(x,x),x)) true 85647 85647 -0.006929 0.4843 0.4293 0.2794 0.5286 -1 1 2 1 4.88 0.003089 0.003797 0.06467 -0.1028 1 0.000005899 0.0006217 0.01593 0.002704 0.052 0.8042 0.3396 0.02465 0.002225 1 1 0.01456 0.1798 0.426 0.05211 0.6435 1.525 json
t20_x62_u0_b178 20 62 0 178 sub(R,mod(mlt(P,R),R)) 172156 164917060 o2(x,o2(o2(x,x),x)) true 85655 85655 0.007663 0.4824 0.3999 0.238 0.4878 -1 1 2 1 4.887 0.003065 0.003365 0.06169 -0.04674 1 0.00002371 0.0005793 0.01488 0.002624 0.05123 0.8303 0.4268 0.02702 0.002434 1 1 0.01274 0.157 0.4435 0.05355 0.6598 1.864 json
t20_x62_u0_b179 20 62 0 179 sub(R,mod(div(P,R),R)) 172157 164917061 o2(x,o2(o2(x,x),x)) true 85663 85663 0.03652 0.5113 0.3831 0.2408 0.4907 -1 1 2 1 4.76 0.003167 0.003746 0.05898 -0.08365 1 0.00001374 0.0007104 0.01469 0.003434 0.0586 0.9935 0.3593 0.02871 0.002951 1 1 0.01379 0.1678 0.4267 0.05728 0.6971 1.772 json
t20_x62_u0_b180 20 62 0 180 sub(R,mod(pow(P,R),R)) 172158 164917062 o2(x,o2(o2(x,x),x)) true 85671 85671 -0.6433 0.1606 0.7211 0.2394 0.4893 -1 0.9278 1.928 1 2.894 0.007827 0.003968 0.03376 0.3272 1 0.000008122 0.01946 0.01981 0.01066 0.1032 3.057 2.254 0.04927 0.08128 1 1 0.01682 0.1045 0.2494 0.07026 0.4364 1.042 json
t20_x62_u0_b181 20 62 0 181 sub(R,mod(mod(P,R),R)) 172159 164917063 o2(x,o2(o2(x,x),x)) true 85679 85679 0.00009231 0.487 0.4168 0.2645 0.5143 -1 1 2 1 4.872 0.002779 0.003561 0.06295 -0.1233 1 0.000007478 0.0005275 0.0153 0.002377 0.04876 0.7745 0.2643 0.02397 0.001995 1 1 0.01271 0.159 0.3786 0.04807 0.6011 1.432 json
t20_x62_u0_b182 20 62 0 182 sub(R,mod(lrg(P,R),R)) 172160 164917064 o2(x,o2(o2(x,x),x)) true 85687 85687 -0.08306 0.4503 0.4136 0.24 0.4899 -1 0.9693 1.969 1 4.881 0.003057 0.003451 0.06597 -0.06055 1 0.00002164 0.0003846 0.01514 0.002156 0.04643 0.7038 0.2301 0.02712 0.001603 1 1 0.01275 0.1639 0.4093 0.05315 0.6829 1.706 json
t20_x62_u0_b183 20 62 0 183 sub(R,mod(eql(P,R),R)) 172161 164917065 o2(x,o2(o2(x,x),x)) true 85695 85695 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_b184 20 62 0 184 sub(R,mod(min(P,R),R)) 172162 164917066 o2(x,o2(o2(x,x),x)) true 85703 85703 0.1111 0.5456 0.3747 0.2114 0.4598 -0.9986 1 1.999 1 4.771 0.002429 0.00293 0.05767 -0.09348 1 0.00001123 0.0003871 0.01357 0.002033 0.04509 0.7817 0.2643 0.02535 0.001831 1 1 0.01001 0.1265 0.3527 0.04734 0.5986 1.669 json
t20_x62_u0_b185 20 62 0 185 sub(R,mod(dot(P,R),R)) 172163 164917067 o2(x,o2(o2(x,x),x)) true 85711 85711 0.02923 0.5026 0.3874 0.2366 0.4864 -1 1 2 1 4.815 0.003089 0.003956 0.06227 -0.1231 1 0.00003035 0.0006689 0.01528 0.003167 0.05627 0.9036 0.3597 0.02977 0.002827 1 1 0.01388 0.17 0.3917 0.05865 0.7184 1.656 json
t20_x62_u0_b186 20 62 0 186 sub(R,mod(dst(P,R),R)) 172164 164917068 o2(x,o2(o2(x,x),x)) true 85719 85719 -0.2211 0.376 0.3881 0.1935 0.4399 -1 0.9372 1.937 1 4.567 0.002605 0.002877 0.05655 -0.04951 1 0.00007499 0.0005347 0.01419 0.002284 0.0478 0.8452 0.3084 0.02834 0.002764 1 1 0.01039 0.1288 0.3326 0.05371 0.6657 1.719 json
t20_x62_u0_b187 20 62 0 187 sub(R,lrg(add(P,R),R)) 172165 164917069 o2(x,o2(o2(x,x),x)) true 85727 85727 -0.3682 0.276 0.5938 0.3255 0.5705 -1 0.9693 1.969 1 4.374 0.002287 0.002443 0.0489 -0.03298 1 0.00006651 0.0005133 0.01339 0.002338 0.04835 0.9887 0.238 0.01453 0.001577 1 1 0.009677 0.1175 0.3327 0.02973 0.3611 1.022 json
t20_x62_u0_b188 20 62 0 188 sub(R,lrg(sub(P,R),R)) 172166 164917070 o2(x,o2(o2(x,x),x)) true 85735 85735 -0.3714 0.2907 0.6154 0.3523 0.5935 -1 0.9693 1.969 1 4.275 0.003183 0.00335 0.05432 -0.02565 1 0.00008521 0.0008498 0.0156 0.003582 0.05985 1.102 0.3332 0.01854 0.002412 1 1 0.01373 0.1618 0.4143 0.03897 0.4594 1.176 json
t20_x62_u0_b189 20 62 0 189 sub(R,lrg(mlt(P,R),R)) 172167 164917071 o2(x,o2(o2(x,x),x)) true 85743 85743 -0.3496 0.2458 0.5671 0.2945 0.5427 -1 0.969 1.969 1 4.508 0.004276 0.004959 0.06178 -0.07394 1 0.00009811 0.001299 0.01743 0.005419 0.07362 1.192 0.347 0.03136 0.00441 1 1 0.01842 0.2101 0.5279 0.06256 0.7134 1.792 json
t20_x62_u0_b190 20 62 0 190 sub(R,lrg(div(P,R),R)) 172168 164917072 o2(x,o2(o2(x,x),x)) true 85751 85751 -0.3876 0.209 0.5706 0.2692 0.5188 -1 0.969 1.969 1 4.437 0.003664 0.004779 0.05793 -0.132 1 0.000108 0.001222 0.01655 0.005088 0.07133 1.231 0.347 0.03137 0.004539 1 1 0.01673 0.1897 0.5012 0.06215 0.7049 1.862 json
t20_x62_u0_b191 20 62 0 191 sub(R,lrg(pow(P,R),R)) 172169 164917073 o2(x,o2(o2(x,x),x)) true 85759 85759 -0.7726 0.0215 0.7873 0.1019 0.3193 -1 0.8288 1.829 1 2.879 0.00188 0.001895 0.03652 -0.003826 1 0.0000876 0.0007809 0.0132 0.002441 0.04941 1.353 0.2892 0.03704 0.007661 1 1 0.008164 0.08781 0.2215 0.08009 0.8614 2.173 json
t20_x62_u0_b192 20 62 0 192 sub(R,lrg(mod(P,R),R)) 172170 164917074 o2(x,o2(o2(x,x),x)) true 85767 85767 -0.3539 0.3544 0.6666 0.4315 0.6569 -1 0.9804 1.98 1 3.927 0.006974 0.008247 0.08425 -0.08369 1 0.0001444 0.002323 0.02589 0.008124 0.09014 1.07 0.347 0.03528 0.005383 1 1 0.02989 0.3406 0.8128 0.06928 0.7893 1.884 json
t20_x62_u0_b193 20 62 0 193 sub(R,lrg(lrg(P,R),R)) 172171 164917075 o2(x,o2(o2(x,x),x)) true 85775 85775 -0.5486 0.2066 0.7302 0.3313 0.5756 -1 0.969 1.969 1 3.557 0.004152 0.005107 0.05887 -0.1032 1 0.0001244 0.001502 0.01901 0.005794 0.07612 1.293 0.347 0.02795 0.004532 1 1 0.01853 0.2069 0.5296 0.05594 0.6244 1.598 json
t20_x62_u0_b194 20 62 0 194 sub(R,lrg(eql(P,R),R)) 172172 164917076 o2(x,o2(o2(x,x),x)) true 85783 85783 -0.3539 0.3544 0.6666 0.4315 0.6569 -1 0.9804 1.98 1 3.927 0.006974 0.008247 0.08425 -0.08369 1 0.0001444 0.002323 0.02589 0.008124 0.09014 1.07 0.347 0.03528 0.005383 1 1 0.02989 0.3406 0.8128 0.06928 0.7893 1.884 json
t20_x62_u0_b195 20 62 0 195 sub(R,lrg(min(P,R),R)) 172173 164917077 o2(x,o2(o2(x,x),x)) true 85791 85791 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_b196 20 62 0 196 sub(R,lrg(dot(P,R),R)) 172174 164917078 o2(x,o2(o2(x,x),x)) true 85799 85799 -0.3804 0.222 0.5562 0.2663 0.516 -1 0.9679 1.968 1 4.475 0.003739 0.004999 0.06406 -0.1443 1 0.0001179 0.001231 0.01809 0.004635 0.06808 1.063 0.3432 0.03281 0.004623 1 1 0.01728 0.1973 0.5038 0.0649 0.741 1.892 json
t20_x62_u0_b197 20 62 0 197 sub(R,lrg(dst(P,R),R)) 172175 164917079 o2(x,o2(o2(x,x),x)) true 85807 85807 -0.7982 0 0.7982 0.07256 0.2694 -1 -0.01936 0.9806 1 2.717 0.001471 0.00159 0.03308 -0.03903 1 0.0000876 0.0006964 0.01237 0.001966 0.04434 1.34 0.223 0.04219 0.009598 1 1 0.005951 0.06127 0.1403 0.08201 0.8444 1.934 json
t20_x62_u0_b198 20 62 0 198 sub(R,eql(add(P,R),R)) 172176 164917080 o2(x,o2(o2(x,x),x)) true 85815 85815 -0.04116 0.4621 0.4134 0.2429 0.4929 -1 0.9806 1.981 1 4.887 0.003595 0.003089 0.0647 0.07576 1 0.00003624 0.0005259 0.01542 0.002498 0.04998 0.7724 0.3332 0.02751 0.002165 1 1 0.0133 0.1656 0.4074 0.05476 0.6817 1.677 json
t20_x62_u0_b199 20 62 0 199 sub(R,eql(sub(P,R),R)) 172177 164917081 o2(x,o2(o2(x,x),x)) true 85823 85823 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_b200 20 62 0 200 sub(R,eql(mlt(P,R),R)) 172178 164917082 o2(x,o2(o2(x,x),x)) true 85831 85831 -0.04899 0.4518 0.4081 0.2339 0.4836 -1 0.9806 1.981 1 4.886 0.002919 0.003107 0.06222 -0.03115 1 0.0000422 0.0004075 0.01453 0.002154 0.04641 0.7459 0.2864 0.02576 0.001742 1 1 0.01222 0.1552 0.4296 0.05225 0.6636 1.837 json
t20_x63_u0_b0 20 63 0 0 add(R,add(add(D,P),P)) 172179 164957283 o2(x,o2(o2(x,x),x)) true 85839 85839 -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_x63_u0_b1 20 63 0 1 add(R,add(sub(D,P),P)) 172180 164957284 o2(x,o2(o2(x,x),x)) true 85847 85847 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_x63_u0_b2 20 63 0 2 add(R,add(mlt(D,P),P)) 172181 164957285 o2(x,o2(o2(x,x),x)) true 85855 85855 -0.009394 0.492 0.9431 0.9208 0.9596 -1 1 2 1 1.967 0.001341 0.00036 0.01218 0.5767 1 -0.00002151 0.0003576 0.004499 0.001551 0.03939 3.233 0.3017 0.001847 0.0003884 1 1 0.004166 0.04589 0.2688 0.004524 0.04984 0.2919 json
t20_x63_u0_b3 20 63 0 3 add(R,add(div(D,P),P)) 172182 164957286 o2(x,o2(o2(x,x),x)) true 85863 85863 -0.1182 0.4375 0.9905 0.9724 0.9861 -1 1 2 1 1.211 0.01559 0.00007964 0.01123 0.9898 1 -0.000007167 0.03044 0.01877 0.01554 0.1247 11.1 2 0.01611 0.0313 1 1 0.02089 0.08866 0.3452 0.02149 0.09118 0.355 json
t20_x63_u0_b4 20 63 0 4 add(R,add(pow(D,P),P)) 172183 164957287 o2(x,o2(o2(x,x),x)) true 85871 85871 -0.885 0.0625 0.99 0.203 0.4505 -1 1 2 1 0.4673 0.02767 0.00005433 0.01645 0.9961 1 -0.000005198 0.05505 0.03042 0.02744 0.1656 10.07 2.007 0.1366 0.2712 1 1 0.03737 0.1524 0.3001 0.1841 0.7509 1.478 json
t20_x63_u0_b5 20 63 0 5 add(R,add(mod(D,P),P)) 172184 164957288 o2(x,o2(o2(x,x),x)) true 85879 85879 -0.1219 0.4375 0.9939 0.9751 0.9875 -1 1 2 1 1.178 0.01533 0.00005714 0.01048 0.9926 1 -0.000007602 0.03036 0.01814 0.01528 0.1236 11.79 2 0.01578 0.03113 1 1 0.02029 0.08452 0.3391 0.02081 0.08668 0.3477 json
t20_x63_u0_b6 20 63 0 6 add(R,add(lrg(D,P),P)) 172185 164957289 o2(x,o2(o2(x,x),x)) true 85887 85887 0.0908 0.5462 0.9205 0.885 0.9408 -1 1 2 1 2.165 0.003819 0.0005232 0.01574 0.759 1 -0.00003505 0.005877 0.01037 0.004092 0.06397 4.063 1.013 0.004906 0.00664 1 1 0.007158 0.05585 0.2488 0.008088 0.0631 0.2811 json
t20_x63_u0_b7 20 63 0 7 add(R,add(eql(D,P),P)) 172186 164957290 o2(x,o2(o2(x,x),x)) true 85895 85895 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_x63_u0_b8 20 63 0 8 add(R,add(min(D,P),P)) 172187 164957291 o2(x,o2(o2(x,x),x)) true 85903 85903 -0.02756 0.4889 0.9607 0.9452 0.9722 -1 1 2 1 1.687 0.001241 0.0002403 0.009519 0.6755 1 -0.00001945 0.0002537 0.003123 0.001391 0.0373 3.918 0.3477 0.001567 0.0002684 1 1 0.003818 0.04408 0.2892 0.004039 0.04663 0.306 json
t20_x63_u0_b9 20 63 0 9 add(R,add(dot(D,P),P)) 172188 164957292 o2(x,o2(o2(x,x),x)) true 85911 85911 -0.02573 0.4855 0.9438 0.9224 0.9604 -1 1 2 1 1.95 0.001369 0.00433 0.02355 -0.5195 1 0.000219 0.002143 0.01278 0.005142 0.07171 3.045 0.597 0.006179 0.002324 1 1 0.01003 0.0818 0.2727 0.01088 0.08868 0.2956 json
t20_x63_u0_b10 20 63 0 10 add(R,add(dst(D,P),P)) 172189 164957293 o2(x,o2(o2(x,x),x)) true 85919 85919 0.8955 0.9663 0.9091 0.08058 0.2839 -0.6576 1 1.658 1 1.297 0.0005728 0.0007106 0.01245 -0.1074 1 -0.00006965 0.0002545 0.004328 0.001128 0.03358 2.697 0.2849 0.01593 0.003158 1 1 0.002918 0.02945 0.08718 0.03621 0.3654 1.082 json
t20_x63_u0_b11 20 63 0 11 add(R,sub(add(D,P),P)) 172190 164957294 o2(x,o2(o2(x,x),x)) true 85927 85927 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_x63_u0_b12 20 63 0 12 add(R,sub(sub(D,P),P)) 172191 164957295 o2(x,o2(o2(x,x),x)) true 85935 85935 -0.005016 0.4968 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_x63_u0_b13 20 63 0 13 add(R,sub(mlt(D,P),P)) 172192 164957296 o2(x,o2(o2(x,x),x)) true 85943 85943 -0.009874 0.4905 0.9368 0.9121 0.955 -1 1 2 1 2.042 0.001355 0.0003891 0.01278 0.5537 1 -0.00001966 0.0003821 0.004721 0.00158 0.03975 3.11 0.3118 0.001912 0.0004189 1 1 0.004255 0.04586 0.2626 0.004665 0.05029 0.2879 json
t20_x63_u0_b14 20 63 0 14 add(R,sub(div(D,P),P)) 172193 164957297 o2(x,o2(o2(x,x),x)) true 85951 85951 -0.1175 0.4377 0.9886 0.9701 0.9849 -1 1 2 1 1.249 0.01558 0.00009357 0.01194 0.9881 1 -0.000006386 0.03023 0.01942 0.01552 0.1246 10.44 2.004 0.01615 0.03116 1 1 0.02114 0.0891 0.3437 0.02179 0.09185 0.3543 json
t20_x63_u0_b15 20 63 0 15 add(R,sub(pow(D,P),P)) 172194 164957298 o2(x,o2(o2(x,x),x)) true 85959 85959 -0.8806 0.0625 0.9944 0.2166 0.4654 -1 1 2 1 0.4258 0.02765 0.00003198 0.01602 0.9977 1 -0.000002154 0.05494 0.03012 0.02741 0.1656 10.33 2.006 0.1278 0.2537 1 1 0.03735 0.1596 0.316 0.1724 0.7368 1.459 json
t20_x63_u0_b16 20 63 0 16 add(R,sub(mod(D,P),P)) 172195 164957299 o2(x,o2(o2(x,x),x)) true 85967 85967 -0.1206 0.4375 0.987 0.9669 0.9833 -1 1 2 1 1.282 0.01527 0.0001098 0.01223 0.9857 1 -0.000007239 0.03021 0.01985 0.01522 0.1234 10.08 2.002 0.01591 0.03124 1 1 0.02027 0.08397 0.3395 0.02096 0.08684 0.3511 json
t20_x63_u0_b17 20 63 0 17 add(R,sub(lrg(D,P),P)) 172196 164957300 o2(x,o2(o2(x,x),x)) true 85975 85975 0.04634 0.5208 0.948 0.9297 0.9642 -1 1 2 1 1.786 0.004907 0.0002795 0.01573 0.8922 1 -0.00001107 0.006236 0.01091 0.004937 0.07026 4.467 1.011 0.005579 0.006708 1 1 0.009674 0.06334 0.2752 0.01041 0.06813 0.296 json
t20_x63_u0_b18 20 63 0 18 add(R,sub(eql(D,P),P)) 172197 164957301 o2(x,o2(o2(x,x),x)) true 85983 85983 0.004612 0.4968 0.9368 0.913 0.9555 -1 1 2 1 2.013 0.001147 0.000385 0.01159 0.4976 1 -0.00002051 0.0002745 0.003871 0.001399 0.0374 3.228 0.3332 0.001679 0.0003007 1 1 0.003782 0.0437 0.2627 0.004142 0.04787 0.2877 json
t20_x63_u0_b19 20 63 0 19 add(R,sub(min(D,P),P)) 172198 164957302 o2(x,o2(o2(x,x),x)) true 85991 85991 -0.4536 0.2688 0.67 0.3653 0.6044 -1 0.9693 1.969 1 3.714 0.002153 0.001881 0.03855 0.06736 1 0.00002584 0.0004112 0.01023 0.002548 0.05047 1.309 0.2937 0.01104 0.001126 1 1 0.008571 0.1006 0.2808 0.02346 0.2753 0.7688 json
t20_x63_u0_b20 20 63 0 20 add(R,sub(dot(D,P),P)) 172199 164957303 o2(x,o2(o2(x,x),x)) true 85999 85999 -0.02819 0.4852 0.9382 0.9163 0.9572 -1 1 2 1 1.995 0.001359 0.005042 0.02568 -0.5754 1 0.0002068 0.002344 0.01386 0.005741 0.07577 2.951 0.6102 0.006986 0.002558 1 1 0.01053 0.08429 0.2707 0.01149 0.09199 0.2955 json