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_x61_u0_b123 20 61 0 123 sub(R,add(mlt(P,R),D)) 171900 164876604 o2(x,o2(o2(x,x),x)) true 83607 83607 0.06031 0.5361 0.7297 0.6481 0.8051 -1 1 2 1 3.749 0.01716 0.02 0.09475 -0.07646 1 0.00003584 0.02145 0.0515 0.02819 0.1679 1.772 1.47 0.05733 0.0331 1 1 0.05267 0.4464 1.058 0.08127 0.6888 1.632 json
t20_x61_u0_b124 20 61 0 124 sub(R,add(div(P,R),D)) 171901 164876605 o2(x,o2(o2(x,x),x)) true 83615 83615 0.04852 0.5224 0.9343 0.9101 0.954 -1 1 2 1 2.017 0.06446 0.07934 0.1136 -0.1035 1 0.000006801 0.2844 0.1612 0.1308 0.3617 3.183 2.828 0.158 0.3125 1 1 0.1628 0.8365 1.875 0.1789 0.9192 2.061 json
t20_x61_u0_b125 20 61 0 125 sub(R,add(pow(P,R),D)) 171902 164876606 o2(x,o2(o2(x,x),x)) true 83623 83623 -0.9675 0.008224 0.9719 0.02116 0.1455 -1 0.7978 1.798 1 0.7723 0.003331 0.001533 0.01048 0.3696 1 -0.00003311 0.009844 0.0114 0.004755 0.06895 6.579 1.799 0.2299 0.4652 1 1 0.00656 0.02667 0.05318 0.31 1.26 2.513 json
t20_x61_u0_b126 20 61 0 126 sub(R,add(mod(P,R),D)) 171903 164876607 o2(x,o2(o2(x,x),x)) true 83631 83631 -0.0001678 0.4941 0.4237 0.2701 0.5197 -1 1 2 1 4.88 0.004129 0.003545 0.07244 0.07602 1 0.00001392 0.0007978 0.01926 0.002427 0.04926 0.68 0.3187 0.02841 0.002954 1 1 0.01519 0.1752 0.3789 0.05623 0.6486 1.403 json
t20_x61_u0_b127 20 61 0 127 sub(R,add(lrg(P,R),D)) 171904 164876608 o2(x,o2(o2(x,x),x)) true 83639 83639 -0.3885 0.2704 0.6113 0.3361 0.5797 -1 1 2 1 4.274 0.003538 0.00265 0.05779 0.1435 1 0.0001474 0.000866 0.01743 0.002849 0.05337 0.9236 0.2958 0.01841 0.002577 1 1 0.01268 0.1411 0.3639 0.03774 0.4199 1.083 json
t20_x61_u0_b128 20 61 0 128 sub(R,add(eql(P,R),D)) 171905 164876609 o2(x,o2(o2(x,x),x)) true 83647 83647 0.009165 0.4978 0.4005 0.2287 0.4782 -1 1 2 1 4.894 0.004393 0.003164 0.07461 0.1626 1 0.00003074 0.0006179 0.01902 0.001989 0.0446 0.5978 0.2561 0.03305 0.002702 1 1 0.01479 0.1717 0.3901 0.06468 0.751 1.706 json
t20_x61_u0_b129 20 61 0 129 sub(R,add(min(P,R),D)) 171906 164876610 o2(x,o2(o2(x,x),x)) true 83655 83655 0.4805 0.765 0.5247 0.2396 0.4895 -0.1454 1 1.145 1 2.768 0.001053 0.0001322 0.02242 0.777 1 -0.0001757 0.0001863 0.008251 0.0006828 0.02613 1.166 0.2077 0.004948 0.0007778 1 1 0.002405 0.02219 0.07661 0.01004 0.09262 0.3198 json
t20_x61_u0_b130 20 61 0 130 sub(R,add(dot(P,R),D)) 171907 164876611 o2(x,o2(o2(x,x),x)) true 83663 83663 0.09495 0.5466 0.8471 0.7884 0.8879 -1 1 2 1 2.943 0.02503 0.0339 0.1053 -0.1507 1 0.000001573 0.04753 0.07604 0.04783 0.2187 2.077 2.015 0.07474 0.06028 1 1 0.0758 0.5877 1.371 0.09614 0.7454 1.739 json
t20_x61_u0_b131 20 61 0 131 sub(R,add(dst(P,R),D)) 171908 164876612 o2(x,o2(o2(x,x),x)) true 83671 83671 -0.9941 0 0.9941 0.00314 0.05603 -1 -0.02759 0.9724 1 0.1575 0.0001324 0.0000839 0.001709 0.2241 1 5.632e-12 0.00008392 0.0009437 0.0002133 0.01461 8.547 0.2498 0.06888 0.02673 1 1 0.0007015 0.006053 0.009888 0.2234 1.928 3.149 json
t20_x61_u0_b132 20 61 0 132 sub(R,sub(add(P,R),D)) 171909 164876613 o2(x,o2(o2(x,x),x)) true 83679 83679 -1.164e-10 0.5 0.9375 0.9252 0.9619 -1 1 2 1 1.774 0.001323 2.713e-18 0.01101 1 1 7.462e-11 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_x61_u0_b133 20 61 0 133 sub(R,sub(sub(P,R),D)) 171910 164876614 o2(x,o2(o2(x,x),x)) true 83687 83687 0.009223 0.5072 0.939 0.9172 0.9577 -1 1 2 1 2 0.003142 0.001605 0.02127 0.3239 1 -0.0000321 0.001297 0.00911 0.004297 0.06555 3.081 0.6039 0.005176 0.001414 1 1 0.0111 0.1074 0.3615 0.0121 0.1171 0.3941 json
t20_x61_u0_b134 20 61 0 134 sub(R,sub(mlt(P,R),D)) 171911 164876615 o2(x,o2(o2(x,x),x)) true 83695 83695 0.0608 0.5379 0.7298 0.6482 0.8051 -1 1 2 1 3.75 0.01725 0.01994 0.09434 -0.07226 1 0.00004755 0.0215 0.05126 0.02829 0.1682 1.783 1.482 0.05737 0.03316 1 1 0.05263 0.4449 1.06 0.0812 0.6864 1.635 json
t20_x61_u0_b135 20 61 0 135 sub(R,sub(div(P,R),D)) 171912 164876616 o2(x,o2(o2(x,x),x)) true 83703 83703 0.04832 0.5219 0.9337 0.9085 0.9532 -1 1 2 1 2.017 0.06443 0.07949 0.1136 -0.1046 1 0.000007357 0.2845 0.161 0.1309 0.3618 3.184 2.828 0.1584 0.3131 1 1 0.163 0.8362 1.872 0.1794 0.9204 2.06 json
t20_x61_u0_b136 20 61 0 136 sub(R,sub(pow(P,R),D)) 171913 164876617 o2(x,o2(o2(x,x),x)) true 83711 83711 -0.9662 0.008041 0.9732 0.02668 0.1633 -1 0.9017 1.902 1 0.7136 0.003914 0.00181 0.01148 0.3675 1 0.00003966 0.01055 0.01236 0.005592 0.07478 6.513 1.902 0.2145 0.3956 1 1 0.008425 0.03843 0.06554 0.3157 1.44 2.456 json
t20_x61_u0_b137 20 61 0 137 sub(R,sub(mod(P,R),D)) 171914 164876618 o2(x,o2(o2(x,x),x)) true 83719 83719 -0.0001861 0.4956 0.4251 0.2729 0.5224 -1 1 2 1 4.877 0.004379 0.003533 0.07397 0.107 1 0.00002092 0.0008516 0.0201 0.002441 0.0494 0.6679 0.2948 0.029 0.003121 1 1 0.01586 0.1793 0.3732 0.05813 0.657 1.368 json
t20_x61_u0_b138 20 61 0 138 sub(R,sub(lrg(P,R),D)) 171915 164876619 o2(x,o2(o2(x,x),x)) true 83727 83727 -0.3866 0.2727 0.6154 0.3428 0.5855 -1 1 2 1 4.274 0.003945 0.002645 0.0587 0.1972 1 -0.000004123 0.0009853 0.0183 0.003144 0.05607 0.9552 0.3876 0.01922 0.002874 1 1 0.01365 0.1469 0.3627 0.03982 0.4286 1.058 json
t20_x61_u0_b139 20 61 0 139 sub(R,sub(eql(P,R),D)) 171916 164876620 o2(x,o2(o2(x,x),x)) true 83735 83735 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_x61_u0_b140 20 61 0 140 sub(R,sub(min(P,R),D)) 171917 164876621 o2(x,o2(o2(x,x),x)) true 83743 83743 0.4757 0.7454 0.5228 0.2433 0.4933 -0.1454 1 1.145 1 2.734 0.001456 0.0001292 0.02432 0.8371 1 0.0001404 0.0003182 0.009944 0.0009944 0.03153 1.297 0.2657 0.006516 0.001308 1 1 0.003393 0.02709 0.07592 0.01394 0.1113 0.312 json
t20_x61_u0_b141 20 61 0 141 sub(R,sub(dot(P,R),D)) 171918 164876622 o2(x,o2(o2(x,x),x)) true 83751 83751 0.09522 0.5471 0.8481 0.7892 0.8883 -1 1 2 1 2.946 0.02492 0.03381 0.105 -0.1513 1 0.00001096 0.0471 0.07577 0.04768 0.2184 2.079 2.001 0.07442 0.05969 1 1 0.0755 0.586 1.371 0.09567 0.7426 1.737 json
t20_x61_u0_b142 20 61 0 142 sub(R,sub(dst(P,R),D)) 171919 164876623 o2(x,o2(o2(x,x),x)) true 83759 83759 -0.9941 0 0.9941 0.002965 0.05446 -1 -0.04519 0.9548 1 0.1644 0.0001286 0.0000824 0.001677 0.2188 1 -4.881e-11 0.00008756 0.0009152 0.0002082 0.01443 8.606 0.2973 0.07114 0.02953 1 1 0.0006775 0.005465 0.009485 0.2285 1.843 3.198 json
t20_x61_u0_b143 20 61 0 143 sub(R,mlt(add(P,R),D)) 171920 164876624 o2(x,o2(o2(x,x),x)) true 83767 83767 0.128 0.5782 0.5225 0.3617 0.6014 -1 1 2 1 4.819 0.03082 0.002945 0.1424 0.8256 1 -0.001308 0.008052 0.05903 0.01348 0.1161 0.8154 0.5963 0.09335 0.02226 1 1 0.04466 0.3702 0.3704 0.1235 1.023 1.024 json
t20_x61_u0_b144 20 61 0 144 sub(R,mlt(sub(P,R),D)) 171921 164876625 o2(x,o2(o2(x,x),x)) true 83775 83775 0.1298 0.5809 0.527 0.3655 0.6045 -1 1 2 1 4.818 0.03162 0.00291 0.1434 0.8315 1 -0.001355 0.008291 0.05981 0.01395 0.1181 0.8236 0.5772 0.09447 0.02269 1 1 0.04566 0.3781 0.3804 0.1249 1.034 1.041 json
t20_x61_u0_b145 20 61 0 145 sub(R,mlt(mlt(P,R),D)) 171922 164876626 o2(x,o2(o2(x,x),x)) true 83783 83783 0.01816 0.5005 0.5016 0.3607 0.6006 -1 1 2 1 4.8 0.01238 0.006359 0.1026 0.3212 1 0.000001121 0.004519 0.03635 0.00822 0.09066 0.884 0.604 0.05194 0.01253 1 1 0.02758 0.3075 0.6025 0.07646 0.8524 1.67 json
t20_x61_u0_b146 20 61 0 146 sub(R,mlt(div(P,R),D)) 171923 164876627 o2(x,o2(o2(x,x),x)) true 83791 83791 0.003787 0.5034 0.8076 0.7418 0.8613 -1 1 2 1 3.376 0.09324 0.03256 0.1699 0.4824 1 0.0001315 0.165 0.1592 0.09692 0.3113 1.833 2.828 0.1696 0.2224 1 1 0.1411 0.9195 1.414 0.1902 1.24 1.905 json
t20_x61_u0_b147 20 61 0 147 sub(R,mlt(pow(P,R),D)) 171924 164876628 o2(x,o2(o2(x,x),x)) true 83799 83799 -0.5491 0.2 0.7453 0.3709 0.609 -1 1 2 1 3.16 0.01113 0.005246 0.04559 0.3594 1 -0.0001567 0.02411 0.02676 0.0143 0.1196 2.623 2.541 0.04415 0.06499 1 1 0.02239 0.148 0.3631 0.06036 0.399 0.9788 json
t20_x61_u0_b148 20 61 0 148 sub(R,mlt(mod(P,R),D)) 171925 164876629 o2(x,o2(o2(x,x),x)) true 83807 83807 0.0136 0.5008 0.3972 0.2237 0.473 -1 1 2 1 4.88 0.002962 0.003215 0.065 -0.0411 1 -0.00006533 0.0003734 0.0149 0.001952 0.04418 0.6796 0.2326 0.02761 0.001669 1 1 0.01211 0.1548 0.3943 0.05414 0.6917 1.762 json
t20_x61_u0_b149 20 61 0 149 sub(R,mlt(lrg(P,R),D)) 171926 164876630 o2(x,o2(o2(x,x),x)) true 83815 83815 0.01802 0.5054 0.3993 0.2262 0.4756 -1 1 2 1 4.888 0.003677 0.003181 0.06914 0.07232 1 -0.0001298 0.000488 0.01669 0.002077 0.04558 0.6592 0.2495 0.03033 0.002158 1 1 0.01349 0.1645 0.3944 0.05965 0.7274 1.744 json
t20_x61_u0_b150 20 61 0 150 sub(R,mlt(eql(P,R),D)) 171927 164876631 o2(x,o2(o2(x,x),x)) true 83823 83823 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_x61_u0_b151 20 61 0 151 sub(R,mlt(min(P,R),D)) 171928 164876632 o2(x,o2(o2(x,x),x)) true 83831 83831 0.06704 0.5292 0.4633 0.3021 0.5497 -1 1 2 1 4.904 0.01706 0.003105 0.1055 0.6921 1 -0.0005777 0.004326 0.03796 0.00904 0.09508 0.9014 0.5354 0.06674 0.01432 1 1 0.02809 0.2582 0.3964 0.09296 0.8545 1.312 json
t20_x61_u0_b152 20 61 0 152 sub(R,mlt(dot(P,R),D)) 171929 164876633 o2(x,o2(o2(x,x),x)) true 83839 83839 0.008072 0.4969 0.5602 0.4314 0.6568 -1 1 2 1 4.658 0.02172 0.008641 0.1277 0.4307 1 0.0001994 0.008868 0.05178 0.01406 0.1186 0.9287 0.8475 0.07037 0.02056 1 1 0.0427 0.4279 0.7461 0.09897 0.9918 1.729 json
t20_x61_u0_b153 20 61 0 153 sub(R,mlt(dst(P,R),D)) 171930 164876634 o2(x,o2(o2(x,x),x)) true 83847 83847 0.01138 0.5131 0.6008 0.4746 0.6889 -1 1 2 1 4.627 0.05626 0.002626 0.1844 0.9108 1 0.0003217 0.01755 0.08902 0.02487 0.1577 0.8551 0.7479 0.1241 0.03699 1 1 0.07559 0.551 0.3388 0.1593 1.161 0.7138 json
t20_x61_u0_b154 20 61 0 154 sub(R,div(add(P,R),D)) 171931 164876635 o2(x,o2(o2(x,x),x)) true 83855 83855 0.1114 0.5554 0.9667 0.9424 0.9708 -1 1 2 1 1.576 0.4079 0.002517 0.2414 0.9877 1 -0.00002231 0.7656 0.4243 0.3523 0.5935 2.459 2.828 0.4355 0.8125 1 1 0.4307 1.755 0.4295 0.457 1.862 0.4558 json
t20_x61_u0_b155 20 61 0 155 sub(R,div(sub(P,R),D)) 171932 164876636 o2(x,o2(o2(x,x),x)) true 83863 83863 0.1133 0.5563 0.9648 0.9398 0.9694 -1 1 2 1 1.604 0.4054 0.002609 0.2415 0.9872 1 -0.00004065 0.7603 0.422 0.3498 0.5914 2.449 2.828 0.4341 0.8089 1 1 0.4285 1.748 0.4263 0.4559 1.86 0.4536 json
t20_x61_u0_b156 20 61 0 156 sub(R,div(mlt(P,R),D)) 171933 164876637 o2(x,o2(o2(x,x),x)) true 83871 83871 0.006879 0.5036 0.9025 0.8697 0.9326 -1 1 2 1 2.377 0.2763 0.06426 0.2306 0.6226 1 0.00001143 0.6793 0.36 0.2872 0.5359 2.324 2.828 0.3915 0.7811 1 1 0.3653 1.537 1.576 0.42 1.767 1.812 json
t20_x61_u0_b157 20 61 0 157 sub(R,div(div(P,R),D)) 171934 164876638 o2(x,o2(o2(x,x),x)) true 83879 83879 -0.0002195 0.499 0.9674 0.9558 0.9776 -1 1 2 1 1.575 0.3242 0.1073 0.233 0.5026 1 -0.00003988 0.9768 0.4427 0.3775 0.6144 2.638 2.828 0.4516 1.022 1 1 0.4458 1.719 1.953 0.4664 1.798 2.043 json
t20_x61_u0_b158 20 61 0 158 sub(R,div(pow(P,R),D)) 171935 164876639 o2(x,o2(o2(x,x),x)) true 83887 83887 -0.554 0.2222 0.9576 0.636 0.7975 -1 1 2 1 1.467 0.1418 0.007559 0.1122 0.8987 1 0.0002382 0.2555 0.1588 0.1368 0.3698 3.296 2.828 0.2348 0.4017 1 1 0.1715 0.7177 0.3844 0.2696 1.128 0.6044 json
t20_x61_u0_b159 20 61 0 159 sub(R,div(mod(P,R),D)) 171936 164876640 o2(x,o2(o2(x,x),x)) true 83895 83895 0.04868 0.5378 0.6269 0.5189 0.7204 -1 1 2 1 4.298 0.245 0.003452 0.2342 0.9722 1 0.0006795 0.4934 0.289 0.1936 0.44 1.879 2.025 0.4788 0.9509 1 1 0.2486 0.743 0.3954 0.4791 1.432 0.7619 json
t20_x61_u0_b160 20 61 0 160 sub(R,div(lrg(P,R),D)) 171937 164876641 o2(x,o2(o2(x,x),x)) true 83903 83903 0.06597 0.5461 0.6683 0.5642 0.7511 -1 1 2 1 4.142 0.1626 0.002275 0.1547 0.9724 1 0.00002909 0.2681 0.1766 0.1409 0.3754 2.427 2 0.2922 0.4752 1 1 0.203 0.9651 0.3251 0.3599 1.711 0.5761 json
t20_x61_u0_b161 20 61 0 161 sub(R,div(eql(P,R),D)) 171938 164876642 o2(x,o2(o2(x,x),x)) true 83911 83911 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_x61_u0_b162 20 61 0 162 sub(R,div(min(P,R),D)) 171939 164876643 o2(x,o2(o2(x,x),x)) true 83919 83919 0.05834 0.5312 0.8799 0.8375 0.9151 -1 1 2 1 2.621 0.3256 0.01633 0.2375 0.9045 1 0.00001392 0.653 0.3627 0.2857 0.5345 2.25 2.828 0.4083 0.7797 1 1 0.3669 1.499 0.7826 0.4381 1.79 0.9345 json
t20_x61_u0_b163 20 61 0 163 sub(R,div(dot(P,R),D)) 171940 164876644 o2(x,o2(o2(x,x),x)) true 83927 83927 0.001175 0.501 0.9532 0.9375 0.9682 -1 1 2 1 1.773 0.3134 0.07902 0.2399 0.5972 1 -0.00007819 0.8062 0.4115 0.3347 0.5785 2.412 2.828 0.4185 0.86 1 1 0.4168 1.702 1.809 0.4446 1.815 1.93 json
t20_x61_u0_b164 20 61 0 164 sub(R,div(dst(P,R),D)) 171941 164876645 o2(x,o2(o2(x,x),x)) true 83935 83935 0.002048 0.5004 0.9882 0.9842 0.992 -1 1 2 1 1.247 0.4605 0.0003069 0.2463 0.9987 1 1.577e-10 0.8917 0.4682 0.4001 0.6325 2.568 2.014 0.4682 0.9061 1 1 0.4708 1.925 0.04633 0.4783 1.956 0.04707 json
t20_x61_u0_b165 20 61 0 165 sub(R,pow(add(P,R),D)) 171942 164876646 o2(x,o2(o2(x,x),x)) true 83943 83943 -0.9264 0.00235 0.9266 0.03823 0.1955 -1 0.1199 1.12 1 1.272 0.002585 0.001022 0.01967 0.4334 1 0.00002851 0.003883 0.01265 0.003218 0.05673 2.884 1.127 0.09433 0.1016 1 1 0.005339 0.03886 0.0732 0.1397 1.016 1.914 json
t20_x61_u0_b166 20 61 0 166 sub(R,pow(sub(P,R),D)) 171943 164876647 o2(x,o2(o2(x,x),x)) true 83951 83951 -0.9238 0.005142 0.925 0.04157 0.2039 -1 0.3841 1.384 1 1.297 0.002033 0.0006456 0.01863 0.5179 1 0.00003543 0.001604 0.009616 0.002333 0.0483 2.592 0.9281 0.06443 0.03859 1 1 0.004222 0.03784 0.07594 0.1016 0.9102 1.827 json
t20_x61_u0_b167 20 61 0 167 sub(R,pow(mlt(P,R),D)) 171944 164876648 o2(x,o2(o2(x,x),x)) true 83959 83959 -0.986 0.002777 0.9874 0.01068 0.1034 -1 0.6684 1.668 1 0.2572 0.001454 0.001055 0.00395 0.1587 1 -0.0000126 0.005215 0.006219 0.002493 0.04993 12.64 1.668 0.2349 0.4882 1 1 0.001347 0.006074 0.01529 0.1261 0.5686 1.431 json
t20_x61_u0_b168 20 61 0 168 sub(R,pow(div(P,R),D)) 171945 164876649 o2(x,o2(o2(x,x),x)) true 83967 83967 -0.9851 0.002548 0.9867 0.01204 0.1097 -1 0.6686 1.669 1 0.2441 0.001536 0.001074 0.00397 0.1769 1 0.0000368 0.005311 0.006346 0.002595 0.05094 12.83 1.669 0.2168 0.4411 1 1 0.0016 0.008212 0.01989 0.1329 0.6821 1.652 json
t20_x61_u0_b169 20 61 0 169 sub(R,pow(pow(P,R),D)) 171946 164876650 o2(x,o2(o2(x,x),x)) true 83975 83975 -0.9072 0.01225 0.9135 0.05671 0.2381 -1 0.8288 1.829 1 1.453 0.004352 0.002277 0.02107 0.313 1 -0.00002827 0.01044 0.0147 0.006187 0.07866 3.733 1.829 0.1169 0.1841 1 1 0.009743 0.05832 0.1185 0.1718 1.028 2.089 json
t20_x61_u0_b170 20 61 0 170 sub(R,pow(mod(P,R),D)) 171947 164876651 o2(x,o2(o2(x,x),x)) true 83983 83983 -0.9242 0.006683 0.9282 0.04452 0.211 -1 0.8263 1.826 1 1.261 0.007048 0.0007178 0.02515 0.8151 1 0.0001381 0.01122 0.02034 0.007136 0.08447 3.359 1.826 0.1744 0.252 1 1 0.01207 0.05482 0.08496 0.2711 1.231 1.908 json
t20_x61_u0_b171 20 61 0 171 sub(R,pow(lrg(P,R),D)) 171948 164876652 o2(x,o2(o2(x,x),x)) true 83991 83991 -0.8844 0.01466 0.8945 0.06866 0.262 -1 0.8659 1.866 1 1.721 0.006861 0.001263 0.02415 0.6891 1 0.00003942 0.01263 0.01604 0.007539 0.08682 3.595 1.866 0.1183 0.184 1 1 0.01234 0.07198 0.1377 0.1797 1.048 2.005 json
t20_x61_u0_b172 20 61 0 172 sub(R,pow(eql(P,R),D)) 171949 164876653 o2(x,o2(o2(x,x),x)) true 83999 83999 -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_x61_u0_b173 20 61 0 173 sub(R,pow(min(P,R),D)) 171950 164876654 o2(x,o2(o2(x,x),x)) true 84007 84007 -0.9931 0.002197 0.9944 0.006826 0.08262 -1 0.6684 1.668 1 0.0971 0.0007597 0.0008489 0.001807 -0.05544 1 0.000002261 0.003368 0.003061 0.001605 0.04007 22.18 1.668 0.2357 0.4934 1 1 0.0003103 0.002116 0.006084 0.04546 0.3101 0.8914 json
t20_x61_u0_b174 20 61 0 174 sub(R,pow(dot(P,R),D)) 171951 164876655 o2(x,o2(o2(x,x),x)) true 84015 84015 -0.9892 0.001266 0.9895 0.007099 0.08426 -1 0.2967 1.297 1 0.2297 0.001099 0.000629 0.004138 0.2721 1 -0.00001499 0.003354 0.005216 0.00171 0.04136 9.994 1.297 0.2434 0.4724 1 1 0.001893 0.007613 0.01461 0.2667 1.072 2.058 json
t20_x61_u0_b175 20 61 0 175 sub(R,pow(dst(P,R),D)) 171952 164876656 o2(x,o2(o2(x,x),x)) true 84023 84023 -0.8626 0.003784 0.8629 0.05871 0.2423 -1 0.1157 1.116 1 2.133 0.00413 0.001132 0.03957 0.5698 1 0.0003982 0.001937 0.02082 0.003697 0.06081 1.537 0.3212 0.08962 0.03299 1 1 0.008482 0.06815 0.1097 0.1445 1.161 1.869 json
t20_x61_u0_b176 20 61 0 176 sub(R,mod(add(P,R),D)) 171953 164876657 o2(x,o2(o2(x,x),x)) true 84031 84031 0.009375 0.4967 0.4174 0.2474 0.4974 -1 1 2 1 4.924 0.01102 0.00315 0.09694 0.5554 1 0.000134 0.02242 0.1101 0.004774 0.0691 0.7128 0.5153 0.05728 0.09061 1 1 0.01723 0.1644 0.388 0.06966 0.6643 1.568 json
t20_x61_u0_b177 20 61 0 177 sub(R,mod(sub(P,R),D)) 171954 164876658 o2(x,o2(o2(x,x),x)) true 84039 84039 0.01113 0.4989 0.4292 0.2587 0.5086 -1 1 2 1 4.942 0.01123 0.003288 0.09756 0.5471 1 0.00005387 0.02258 0.11 0.005001 0.07071 0.7248 0.6177 0.05612 0.08729 1 1 0.01829 0.1728 0.4173 0.07069 0.6678 1.613 json
t20_x61_u0_b178 20 61 0 178 sub(R,mod(mlt(P,R),D)) 171955 164876659 o2(x,o2(o2(x,x),x)) true 84047 84047 0.0169 0.504 0.404 0.236 0.4858 -1 1 2 1 4.909 0.01075 0.003445 0.09558 0.5146 1 0.00006552 0.0233 0.1091 0.005058 0.07112 0.7441 0.6319 0.06014 0.09876 1 1 0.01683 0.1654 0.4191 0.07131 0.7009 1.776 json
t20_x61_u0_b179 20 61 0 179 sub(R,mod(div(P,R),D)) 171956 164876660 o2(x,o2(o2(x,x),x)) true 84055 84055 0.01557 0.5019 0.4043 0.236 0.4858 -1 1 2 1 4.907 0.01001 0.003473 0.0936 0.4847 1 -0.00007539 0.02107 0.1057 0.00472 0.0687 0.734 0.5573 0.05711 0.08927 1 1 0.01624 0.1642 0.4191 0.06881 0.6957 1.776 json
t20_x61_u0_b180 20 61 0 180 sub(R,mod(pow(P,R),D)) 171957 164876661 o2(x,o2(o2(x,x),x)) true 84063 84063 -0.6156 0.1667 0.7338 0.2769 0.5262 -1 0.9788 1.979 1 3.059 0.01284 0.00385 0.05086 0.5388 1 0.0001223 0.03209 0.06379 0.0141 0.1188 2.335 2.541 0.06029 0.1159 1 1 0.02053 0.1138 0.2848 0.07417 0.4109 1.029 json
t20_x61_u0_b181 20 61 0 181 sub(R,mod(mod(P,R),D)) 171958 164876662 o2(x,o2(o2(x,x),x)) true 84071 84071 0.006796 0.4924 0.4136 0.2416 0.4915 -1 1 2 1 4.915 0.005812 0.003322 0.07755 0.2727 1 0.00003078 0.007321 0.05329 0.003121 0.05586 0.7204 0.448 0.03781 0.03031 1 1 0.01467 0.1639 0.4032 0.06074 0.6785 1.669 json
t20_x61_u0_b182 20 61 0 182 sub(R,mod(lrg(P,R),D)) 171959 164876663 o2(x,o2(o2(x,x),x)) true 84079 84079 -0.06882 0.4413 0.4139 0.2353 0.4851 -1 0.9806 1.981 1 4.892 0.005154 0.003193 0.07435 0.2349 1 0.00004023 0.004958 0.04494 0.002819 0.05309 0.7141 0.3063 0.03548 0.02107 1 1 0.01437 0.1638 0.3989 0.06109 0.6963 1.695 json
t20_x61_u0_b183 20 61 0 183 sub(R,mod(eql(P,R),D)) 171960 164876664 o2(x,o2(o2(x,x),x)) true 84087 84087 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_x61_u0_b184 20 61 0 184 sub(R,mod(min(P,R),D)) 171961 164876665 o2(x,o2(o2(x,x),x)) true 84095 84095 0.08786 0.5521 0.3741 0.2025 0.45 -0.9988 1 1.999 1 4.815 0.009627 0.002736 0.08769 0.5574 1 0.00005969 0.01824 0.1007 0.004674 0.06837 0.7797 0.5507 0.06106 0.09009 1 1 0.0156 0.1473 0.3387 0.07706 0.7275 1.672 json
t20_x61_u0_b185 20 61 0 185 sub(R,mod(dot(P,R),D)) 171962 164876666 o2(x,o2(o2(x,x),x)) true 84103 84103 0.01863 0.5054 0.3996 0.2295 0.4791 -1 1 2 1 4.895 0.01095 0.003561 0.09691 0.5091 1 -0.00004849 0.02384 0.1124 0.005115 0.07152 0.738 0.4873 0.0632 0.1039 1 1 0.01704 0.1682 0.4014 0.07424 0.7327 1.749 json
t20_x61_u0_b186 20 61 0 186 sub(R,mod(dst(P,R),D)) 171963 164876667 o2(x,o2(o2(x,x),x)) true 84111 84111 -0.1322 0.3941 0.4151 0.2255 0.4748 -1 0.9645 1.964 1 4.847 0.01169 0.00319 0.09885 0.5712 1 0.0002168 0.02451 0.1149 0.005106 0.07146 0.7229 0.5518 0.06598 0.1087 1 1 0.01765 0.168 0.393 0.07827 0.7453 1.743 json
t20_x61_u0_b187 20 61 0 187 sub(R,lrg(add(P,R),D)) 171964 164876668 o2(x,o2(o2(x,x),x)) true 84119 84119 -0.4007 0.2429 0.595 0.3012 0.5488 -1 0.9693 1.969 1 4.343 0.003727 0.00227 0.04977 0.243 1 0.0000756 0.003981 0.019 0.003521 0.05933 1.192 0.9913 0.01991 0.01322 1 1 0.01004 0.1055 0.2773 0.03334 0.3503 0.9206 json
t20_x61_u0_b188 20 61 0 188 sub(R,lrg(sub(P,R),D)) 171965 164876669 o2(x,o2(o2(x,x),x)) true 84127 84127 -0.3846 0.2747 0.6084 0.3346 0.5785 -1 0.9693 1.969 1 4.281 0.00467 0.002818 0.05488 0.2474 1 0.00007553 0.004761 0.02131 0.004476 0.0669 1.219 0.9888 0.02238 0.01423 1 1 0.0136 0.1418 0.3759 0.04063 0.4236 1.123 json
t20_x61_u0_b189 20 61 0 189 sub(R,lrg(mlt(P,R),D)) 171966 164876670 o2(x,o2(o2(x,x),x)) true 84135 84135 -0.3921 0.1965 0.5614 0.2532 0.5032 -1 0.969 1.969 1 4.449 0.01021 0.00444 0.06702 0.3939 1 0.00009525 0.01471 0.0364 0.01016 0.1008 1.504 1.014 0.05787 0.0581 1 1 0.02411 0.1952 0.435 0.09522 0.7711 1.718 json
t20_x61_u0_b190 20 61 0 190 sub(R,lrg(div(P,R),D)) 171967 164876671 o2(x,o2(o2(x,x),x)) true 84143 84143 -0.3896 0.1988 0.5621 0.2559 0.5058 -1 0.969 1.969 1 4.45 0.005768 0.00451 0.05928 0.1224 1 0.000106 0.005643 0.02119 0.006764 0.08224 1.387 1.014 0.04017 0.02205 1 1 0.01851 0.1853 0.4508 0.07236 0.7243 1.762 json
t20_x61_u0_b191 20 61 0 191 sub(R,lrg(pow(P,R),D)) 171968 164876672 o2(x,o2(o2(x,x),x)) true 84151 84151 -0.7789 0.01088 0.7863 0.08855 0.2976 -1 0.8288 1.829 1 2.867 0.003765 0.001757 0.03775 0.3635 1 0.00006711 0.005119 0.01944 0.004096 0.064 1.695 1.001 0.06237 0.05781 1 1 0.009516 0.08145 0.1847 0.1075 0.9198 2.086 json
t20_x61_u0_b192 20 61 0 192 sub(R,lrg(mod(P,R),D)) 171969 164876673 o2(x,o2(o2(x,x),x)) true 84159 84159 -0.425 0.2011 0.5738 0.2548 0.5048 -1 0.9693 1.969 1 4.379 0.03303 0.00333 0.1068 0.8168 1 0.0001273 0.0583 0.09766 0.02496 0.158 1.48 1.015 0.1427 0.2288 1 1 0.04489 0.2445 0.3436 0.1761 0.9595 1.348 json
t20_x61_u0_b193 20 61 0 193 sub(R,lrg(lrg(P,R),D)) 171970 164876674 o2(x,o2(o2(x,x),x)) true 84167 84167 -0.5921 0.1227 0.6802 0.2186 0.4676 -1 0.9685 1.969 1 3.741 0.02579 0.002209 0.07718 0.8422 1 0.0001699 0.04427 0.06328 0.02205 0.1485 1.924 1.023 0.1281 0.2025 1 1 0.03358 0.1841 0.2605 0.1536 0.842 1.192 json
t20_x61_u0_b194 20 61 0 194 sub(R,lrg(eql(P,R),D)) 171971 164876675 o2(x,o2(o2(x,x),x)) true 84175 84175 -0.4204 0.201 0.5662 0.2506 0.5006 -1 0.9804 1.98 1 4.386 0.0477 0.002539 0.1158 0.8989 1 0.0001124 0.08414 0.1109 0.03684 0.1919 1.658 1.023 0.2005 0.3357 1 1 0.05898 0.2859 0.2878 0.2353 1.141 1.149 json
t20_x61_u0_b195 20 61 0 195 sub(R,lrg(min(P,R),D)) 171972 164876676 o2(x,o2(o2(x,x),x)) true 84183 84183 -0.2373 0.2656 0.4491 0.2108 0.4591 -1 0.9693 1.969 1 4.752 0.01189 0.002128 0.06834 0.6965 1 -0.000001705 0.02092 0.04432 0.009353 0.09671 1.415 1.001 0.06653 0.09924 1 1 0.01737 0.1195 0.2667 0.08242 0.5671 1.265 json
t20_x61_u0_b196 20 61 0 196 sub(R,lrg(dot(P,R),D)) 171973 164876677 o2(x,o2(o2(x,x),x)) true 84191 84191 -0.3846 0.2085 0.5449 0.2477 0.4977 -1 0.9679 1.968 1 4.487 0.007639 0.004863 0.06898 0.222 1 0.0001363 0.009872 0.03127 0.007746 0.08801 1.276 0.9992 0.05048 0.03986 1 1 0.02189 0.1984 0.4212 0.08839 0.8012 1.701 json
t20_x61_u0_b197 20 61 0 197 sub(R,lrg(dst(P,R),D)) 171974 164876678 o2(x,o2(o2(x,x),x)) true 84199 84199 -0.7981 0 0.7981 0.07255 0.2694 -1 -0.01936 0.9806 1 2.718 0.001483 0.001589 0.03316 -0.03459 1 0.0000876 0.0007346 0.01253 0.001973 0.04442 1.34 0.223 0.04235 0.01012 1 1 0.005957 0.06124 0.1404 0.08211 0.8441 1.935 json
t20_x61_u0_b198 20 61 0 198 sub(R,eql(add(P,R),D)) 171975 164876679 o2(x,o2(o2(x,x),x)) true 84207 84207 0.008897 0.4983 0.3947 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002875 0.003172 0.06329 -0.04902 1 0.00002627 0.0005355 0.01473 0.002041 0.04518 0.7138 0.8164 0.02754 0.002439 1 1 0.01182 0.1519 0.3914 0.05384 0.6916 1.782 json
t20_x61_u0_b199 20 61 0 199 sub(R,eql(sub(P,R),D)) 171976 164876680 o2(x,o2(o2(x,x),x)) true 84215 84215 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_x61_u0_b200 20 61 0 200 sub(R,eql(mlt(P,R),D)) 171977 164876681 o2(x,o2(o2(x,x),x)) true 84223 84223 0.008939 0.4983 0.3947 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002828 0.003171 0.06324 -0.05716 1 0.00002639 0.0003949 0.01461 0.001999 0.04471 0.7069 0.3513 0.02731 0.001798 1 1 0.01182 0.1519 0.3914 0.05384 0.6916 1.782 json
t20_x62_u0_b0 20 62 0 0 add(R,add(add(P,R),R)) 171978 164916882 o2(x,o2(o2(x,x),x)) true 84231 84231 0.02102 0.514 0.9487 0.9306 0.9647 -1 1 2 1 1.844 0.004275 0.003311 0.02452 0.127 1 -0.00004587 0.002684 0.01209 0.006988 0.08359 3.41 0.6834 0.008152 0.002884 1 1 0.01734 0.1614 0.4918 0.01863 0.1734 0.5285 json
t20_x62_u0_b1 20 62 0 1 add(R,add(sub(P,R),R)) 171979 164916883 o2(x,o2(o2(x,x),x)) true 84239 84239 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_b2 20 62 0 2 add(R,add(mlt(P,R),R)) 171980 164916884 o2(x,o2(o2(x,x),x)) true 84247 84247 -0.06703 0.4655 0.7276 0.6526 0.8078 -1 1 2 1 3.664 0.01866 0.02054 0.09434 -0.04785 1 -0.0000424 0.02336 0.05231 0.03031 0.1741 1.845 1.827 0.06007 0.03579 1 1 0.05738 0.4912 1.093 0.08793 0.7527 1.675 json
t20_x62_u0_b3 20 62 0 3 add(R,add(div(P,R),R)) 171981 164916885 o2(x,o2(o2(x,x),x)) true 84255 84255 -0.0323 0.4858 0.9412 0.9206 0.9595 -1 1 2 1 1.931 0.06557 0.07907 0.115 -0.09333 1 -0.00002896 0.2848 0.1621 0.1314 0.3625 3.153 2.828 0.1571 0.3093 1 1 0.165 0.8609 1.875 0.1792 0.9351 2.037 json
t20_x62_u0_b4 20 62 0 4 add(R,add(pow(P,R),R)) 171982 164916886 o2(x,o2(o2(x,x),x)) true 84263 84263 -0.3266 0.3467 0.8924 0.7531 0.8678 -1 1 2 1 2.303 0.01791 0.01058 0.04622 0.2571 1 -0.0001114 0.04214 0.03703 0.02637 0.1624 3.513 2.828 0.03783 0.05595 1 1 0.04142 0.2524 0.6337 0.05499 0.3351 0.8415 json
t20_x62_u0_b5 20 62 0 5 add(R,add(mod(P,R),R)) 171983 164916887 o2(x,o2(o2(x,x),x)) true 84271 84271 0.02491 0.5051 0.6414 0.5245 0.7242 -1 1 2 1 4.475 0.00851 0.009171 0.09105 -0.03737 1 0.00002056 0.003147 0.02839 0.009393 0.09692 1.064 0.4894 0.03371 0.005999 1 1 0.03431 0.3825 0.9439 0.06542 0.7293 1.8 json
t20_x62_u0_b6 20 62 0 6 add(R,add(lrg(P,R),R)) 171984 164916888 o2(x,o2(o2(x,x),x)) true 84279 84279 0.3377 0.6945 0.685 0.4675 0.6837 -1 1 2 1 4.084 0.006296 0.007825 0.07627 -0.1083 1 -0.00005053 0.002827 0.02609 0.008305 0.09113 1.195 0.4602 0.03021 0.006048 1 1 0.02647 0.2859 0.7064 0.05663 0.6117 1.511 json
t20_x62_u0_b7 20 62 0 7 add(R,add(eql(P,R),R)) 171985 164916889 o2(x,o2(o2(x,x),x)) true 84287 84287 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_b8 20 62 0 8 add(R,add(min(P,R),R)) 171986 164916890 o2(x,o2(o2(x,x),x)) true 84295 84295 -0.4668 0.2597 0.8516 0.5845 0.7645 -1 1 2 1 2.717 0.00871 0.00842 0.06173 0.01691 1 -0.00002484 0.004759 0.02493 0.01331 0.1154 1.869 0.657 0.02931 0.008142 1 1 0.03385 0.34 0.8157 0.05791 0.5817 1.396 json
t20_x62_u0_b9 20 62 0 9 add(R,add(dot(P,R),R)) 171987 164916891 o2(x,o2(o2(x,x),x)) true 84303 84303 -0.09564 0.4483 0.8507 0.795 0.8916 -1 1 2 1 2.851 0.02619 0.03226 0.1013 -0.104 1 0.0001001 0.0474 0.0747 0.04819 0.2195 2.168 1.761 0.07352 0.05963 1 1 0.07712 0.5896 1.44 0.09701 0.7416 1.812 json
t20_x62_u0_b10 20 62 0 10 add(R,add(dst(P,R),R)) 171988 164916892 o2(x,o2(o2(x,x),x)) true 84311 84311 0.9959 0.9989 0.9963 0.003202 0.05658 -0.3213 1 1.321 1 0.09234 0.0001557 0.0001291 0.001402 0.0934 1 0 0.0001278 0.0008984 0.0002827 0.01681 11.99 0.376 0.08893 0.0399 1 1 0.00091 0.0076 0.01164 0.2842 2.374 3.637 json
t20_x62_u0_b11 20 62 0 11 add(R,sub(add(P,R),R)) 171989 164916893 o2(x,o2(o2(x,x),x)) true 84319 84319 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_b12 20 62 0 12 add(R,sub(sub(P,R),R)) 171990 164916894 o2(x,o2(o2(x,x),x)) true 84327 84327 -0.004612 0.5032 0.9368 0.913 0.9555 -1 1 2 1 2.013 0.001147 0.000385 0.01159 0.4976 1 0.00002051 0.0002745 0.003871 0.001399 0.0374 3.228 0.3332 0.001679 0.0003007 1 1 0.003782 0.0437 0.2627 0.004142 0.04787 0.2877 json
t20_x62_u0_b13 20 62 0 13 add(R,sub(mlt(P,R),R)) 171991 164916895 o2(x,o2(o2(x,x),x)) true 84335 84335 -0.0623 0.4686 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_b14 20 62 0 14 add(R,sub(div(P,R),R)) 171992 164916896 o2(x,o2(o2(x,x),x)) true 84343 84343 -0.04277 0.4804 0.9246 0.9053 0.9514 -1 1 2 1 1.97 0.06363 0.07955 0.1129 -0.1112 1 -0.000001092 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_b15 20 62 0 15 add(R,sub(pow(P,R),R)) 171993 164916897 o2(x,o2(o2(x,x),x)) true 84351 84351 -0.1716 0.4531 0.9222 0.8554 0.9249 -1 1 2 1 2.16 0.01344 0.00423 0.0215 0.5213 1 -0.00005144 0.03439 0.02445 0.01722 0.1312 6.105 2.828 0.02066 0.0402 1 1 0.02424 0.107 0.3852 0.02834 0.1251 0.4503 json
t20_x62_u0_b16 20 62 0 16 add(R,sub(mod(P,R),R)) 171994 164916898 o2(x,o2(o2(x,x),x)) true 84359 84359 0.0129 0.496 0.2104 0.07008 0.2647 -0.8078 0.7988 1.607 1 4.093 0.0003013 0.0003177 0.019 -0.02649 1 3.995e-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_b17 20 62 0 17 add(R,sub(lrg(P,R),R)) 171995 164916899 o2(x,o2(o2(x,x),x)) true 84367 84367 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 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_b18 20 62 0 18 add(R,sub(eql(P,R),R)) 171996 164916900 o2(x,o2(o2(x,x),x)) true 84375 84375 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_b19 20 62 0 19 add(R,sub(min(P,R),R)) 171997 164916901 o2(x,o2(o2(x,x),x)) true 84383 84383 -0.4947 0.2244 0.669 0.3314 0.5756 -1 0.9806 1.981 1 3.609 0.001675 0.001465 0.03457 0.06692 1 -5.686e-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_b20 20 62 0 20 add(R,sub(dot(P,R),R)) 171998 164916902 o2(x,o2(o2(x,x),x)) true 84391 84391 -0.09414 0.4579 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_b21 20 62 0 21 add(R,sub(dst(P,R),R)) 171999 164916903 o2(x,o2(o2(x,x),x)) true 84399 84399 0.9991 1 0.9991 0.0002231 0.01494 0.5928 1 0.4072 1 0.04809 0.000009663 0.00001458 0.0003494 -0.2029 0 6.382e-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