Laboratory of Babel / Archive / grad-noise-175k

grad-noise-175k

Gradient noise, 175k (run of 2026-09-23) · A complete batch run over 175,797 lattice-noise expressions, with 32 texture diagnostics and a frame of each.

About this collection

This collection is complete and closed. Every expression in the space below was rendered and measured once, in a single batch run. Each row is one expression, and its coordinate links to it running live on uto.run.

The purpose is exploratory. There is no target texture and no attempt to resemble Perlin noise. A constant field, a strongly directional pattern or an odd value distribution is an observation, not a failure. The measurements describe textures so they can be sorted, filtered and compared. They are a lossy fingerprint, not a judgement of quality and not a substitute for looking.

The space

An ither formula with two layers:

  • topo: expression trees of up to 64 nodes, built from unary (o1), binary (o2) and leaf (x) slots
  • expr: fills those slots
    • leaves: P, D, R
    • unary: sqt log frc flr cil sgn nrm
    • binary: add sub mlt div pow mod lrg eql min dot dst

A coordinate t·x·u·b follows the formula's projection: t the topology, x the leaf choices, u the unary choices, b the binary choices. Points outside the space were omitted from the run. Two orderings ride along: ordinal is the point's position in ither's whole enumeration (gaps where points were omitted), and batch index is its place in the batch run's sequence, 0 to 175,796 (the run's inputs.expr, and the number in its frame's file name).

The apparatus

Each expression is evaluated at the corners of a rectangular lattice with quintic blending (LATT.RECT.QUINTIC), over coordinates mlt(C, 8), in a 256 × 256 field #A. One configuration per expression: the dimension and coordinate scale were fixed for the whole run.

Measurements are taken from #A's x channel, its stored values (not a screenshot), at step 7, after which the run moves to the next expression. The frame in each row is that field, remapped for display.

The measurements

Notation: f is the field value, E averages the whole field, and E_I averages the interior (C-space [-0.98, 0.98]², which keeps wrapped edges out of the spatial measures).

Value distribution

key meaning
value_mean, value_abs_mean E[f] and E[|f|]: signed offset, typical distance from zero
value_positive_fraction share of values above 0 (field tolerance 0.0001)
value_variance, value_stddev population variance and SD: contrast
value_min, value_max, value_range sampled extrema and their difference
histogram_entropy_bits entropy of a 32-bin histogram over [−1, 1], 0 (one bin) to 5 (uniform) bits
histogram_probability_sum consistency check, ≈ 1

Local roughness (one-pixel differences dx, dy, and g = √(dx² + dy²))

key meaning
gradient_energy_x, gradient_energy_y E_I[dx²], E_I[dy²]
gradient_magnitude_mean E_I[g]: roughness
gradient_magnitude_variance, _stddev, _max how unevenly that roughness is spread, and its peak
gradient_magnitude_cv SD / mean of g: uneven activity (quiet areas interrupted by edges), independent of amplitude
gradient_axis_bias (Ex − Ey) / (Ex + Ey), −1 to 1: horizontal vs vertical preference. Zero does not mean isotropic (diagonals balance too)
gradient_nonzero_flag 1 if there is any gradient energy at all

Change of slope (four-neighbour Laplacian L)

key meaning
laplacian_mean, laplacian_energy, laplacian_abs_mean E_I[L], E_I[L²], E_I[|L|]. Sharp or high-frequency structure responds; a linear ramp does not

Normalised by contrast (comparable across amplitudes)

key meaning
gradient_energy_over_variance (Ex + Ey) / variance
laplacian_energy_over_variance E_I[L²] / variance
variance_normalization_valid_flag, gradient_cv_valid_flag whether the denominators above are meaningful (> 10⁻¹²). Filter on these before trusting a ratio

Three spatial scales (mean squared difference at a distance, over the central [-0.74, 0.74]²: 2, 8 and 32 pixels at this resolution)

key meaning
scale_diff2_near, _mid, _far raw difference energy at each distance
scale_diff2_near_over_variance, _mid_…, _far_… the same, normalised. Low near and rising far suggests smooth structure; a dip at a longer distance can hint at repetition

Each record's json also holds value_histogram (the 32 bin probabilities) and scale_curve (the three scales with their distances).

Reading them, and their limits

  • Clipping. #A kept its default signed domain, so values outside [−1, 1] were clipped before measuring. The diagnostics describe the clipped texture.
  • Combinations say more than any one key. A large range with modest SD and a high gradient peak suggests a few strong excursions. A broad histogram with low normalised detail suggests smooth variation. Similar roughness with a different CV means the activity is concentrated differently.
  • Entropy is about values, not space. A smooth ramp can have high entropy, and shuffling the pixels would not change it.
  • Raw spatial measures depend on resolution and amplitude. Prefer the normalised keys for detail independent of contrast, after checking the validity flags.
  • Not measured: full orientation, spectra or periodicity, lacunarity, tileability, colour, novelty, aesthetic merit.
  • Validation. The suite compiled and ran on every expression. Systematic numerical controls (constants, ramps, stripes, checkerboards, random pixels) and a comparison against longer settling times were not done before this run. Treat the values as exploratory.

Provenance

  • Apparatus: noiseBatch/one.uto, project SHA-256 b6fc8f27…be04d0
  • Expression corpus: SHA-256 7d3ec029…d72266
  • Run files (canonical), in ~/lab/data/grad-noise-175k/: the enumeration (grad-noise-175k.jsonl), the measurements (grad-noise-175k-output.jsonl, joined on inputs.expr), the formula (grad-noise-175k.manifest.json) and the frames (png/)
175,797 records
coordinate ▲ t x u b expression batch index ordinal topo measured step globalStep value_mean value_positive_fraction value_abs_mean value_variance value_stddev value_min value_max value_range histogram_probability_sum histogram_entropy_bits gradient_energy_x gradient_energy_y gradient_magnitude_mean gradient_axis_bias gradient_nonzero_flag laplacian_mean laplacian_energy laplacian_abs_mean gradient_magnitude_variance gradient_magnitude_stddev gradient_magnitude_cv gradient_magnitude_max gradient_energy_over_variance laplacian_energy_over_variance variance_normalization_valid_flag gradient_cv_valid_flag scale_diff2_near scale_diff2_mid scale_diff2_far scale_diff2_near_over_variance scale_diff2_mid_over_variance scale_diff2_far_over_variance
t20_x6_u0_b78 20 6 0 78 add(P,eql(sub(P,R),P)) 160800 162654504 o2(x,o2(o2(x,x),x)) true 166407 166407 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t20_x6_u0_b79 20 6 0 79 add(P,eql(mlt(P,R),P)) 160801 162654505 o2(x,o2(o2(x,x),x)) true 166415 166415 0.0625 0.5313 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t20_x6_u0_b80 20 6 0 80 add(P,eql(div(P,R),P)) 160802 162654506 o2(x,o2(o2(x,x),x)) true 166423 166423 0.0625 0.5313 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t20_x6_u0_b81 20 6 0 81 add(P,eql(pow(P,R),P)) 160803 162654507 o2(x,o2(o2(x,x),x)) true 166431 166431 0.03313 0.5159 0.9615 0.9497 0.9745 -1 1 2 1 1.593 0.001152 0.00009554 0.008561 0.8468 1 -0.000005261 0.0001293 0.002497 0.001174 0.03427 4.003 0.2338 0.001314 0.0001361 1 1 0.003262 0.04004 0.2874 0.003434 0.04216 0.3026 json
t20_x6_u0_b82 20 6 0 82 add(P,eql(mod(P,R),P)) 160804 162654508 o2(x,o2(o2(x,x),x)) true 166439 166439 0.0625 0.5313 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t20_x6_u0_b83 20 6 0 83 add(P,eql(lrg(P,R),P)) 160805 162654509 o2(x,o2(o2(x,x),x)) true 166447 166447 0.03313 0.5159 0.9615 0.9497 0.9745 -1 1 2 1 1.593 0.001152 0.00009554 0.008561 0.8468 1 -0.000005261 0.0001293 0.002497 0.001174 0.03427 4.003 0.2338 0.001314 0.0001361 1 1 0.003262 0.04004 0.2874 0.003434 0.04216 0.3026 json
t20_x6_u0_b84 20 6 0 84 add(P,eql(eql(P,R),P)) 160806 162654510 o2(x,o2(o2(x,x),x)) true 166455 166455 0.0625 0.5313 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t20_x6_u0_b85 20 6 0 85 add(P,eql(min(P,R),P)) 160807 162654511 o2(x,o2(o2(x,x),x)) true 166463 166463 0.08984 0.5378 0.9023 0.8786 0.9373 -1 1 2 1 2.016 0.0006768 0.0001053 0.00895 0.7306 1 -0.000005704 0.00003874 0.002113 0.000702 0.0265 2.96 0.1169 0.0008902 0.00004409 1 1 0.002072 0.02727 0.2084 0.002358 0.03104 0.2372 json
t20_x6_u0_b86 20 6 0 86 add(P,eql(dot(P,R),P)) 160808 162654512 o2(x,o2(o2(x,x),x)) true 166471 166471 0.003906 0.5027 0.94 0.9263 0.9625 -1 1 2 1 1.811 0.000741 0.00003512 0.008218 0.9095 1 -2.229e-12 0.00003657 0.001903 0.0007087 0.02662 3.24 0.2338 0.0008378 0.00003948 1 1 0.002095 0.02767 0.2431 0.002262 0.02987 0.2624 json
t20_x6_u0_b87 20 6 0 87 add(P,eql(dst(P,R),P)) 160809 162654513 o2(x,o2(o2(x,x),x)) true 166479 166479 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t20_x6_u0_b88 20 6 0 88 add(P,min(add(P,R),P)) 160810 162654514 o2(x,o2(o2(x,x),x)) true 166487 166487 -0.02026 0.4856 0.9667 0.9565 0.978 -1 1 2 1 1.538 0.001478 0.00005978 0.008331 0.9222 1 -0.000004198 0.0003235 0.003451 0.001467 0.03831 4.598 0.3249 0.001607 0.0003382 1 1 0.003861 0.04029 0.2853 0.004036 0.04212 0.2982 json
t20_x6_u0_b89 20 6 0 89 add(P,min(sub(P,R),P)) 160811 162654515 o2(x,o2(o2(x,x),x)) true 166495 166495 -0.01604 0.4891 0.9613 0.9513 0.9753 -1 1 2 1 1.571 0.001341 0.00003855 0.008234 0.9441 1 0.000002723 0.0003094 0.003351 0.001312 0.03622 4.399 0.3307 0.00145 0.0003253 1 1 0.00355 0.03692 0.2791 0.003732 0.03881 0.2934 json
t20_x6_u0_b90 20 6 0 90 add(P,min(mlt(P,R),P)) 160812 162654516 o2(x,o2(o2(x,x),x)) true 166503 166503 -0.02024 0.4999 0.9367 0.9202 0.9593 -1 1 2 1 1.85 0.001269 0.0003563 0.01127 0.5616 1 -0.00003429 0.0005235 0.005633 0.001499 0.03872 3.436 0.3898 0.001767 0.0005689 1 1 0.003454 0.03411 0.2525 0.003753 0.03707 0.2744 json
t20_x6_u0_b91 20 6 0 91 add(P,min(div(P,R),P)) 160813 162654517 o2(x,o2(o2(x,x),x)) true 166511 166511 -0.4842 0.2495 0.9256 0.6733 0.8205 -1 1 2 1 1.782 0.02782 0.03024 0.06185 -0.0417 1 -0.00002856 0.09384 0.0698 0.05425 0.2329 3.766 2.828 0.08624 0.1394 1 1 0.07319 0.4342 0.985 0.1087 0.645 1.463 json
t20_x6_u0_b92 20 6 0 92 add(P,min(pow(P,R),P)) 160814 162654518 o2(x,o2(o2(x,x),x)) true 166519 166519 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json
t20_x6_u0_b93 20 6 0 93 add(P,min(mod(P,R),P)) 160815 162654519 o2(x,o2(o2(x,x),x)) true 166527 166527 -0.006639 0.5 0.9503 0.9409 0.97 -1 1 2 1 1.603 0.00109 0.000001601 0.00795 0.9971 1 -4.08e-8 0.000181 0.002884 0.001029 0.03207 4.034 0.2265 0.00116 0.0001924 1 1 0.00276 0.02992 0.257 0.002934 0.0318 0.2731 json
t20_x6_u0_b94 20 6 0 94 add(P,min(lrg(P,R),P)) 160816 162654520 o2(x,o2(o2(x,x),x)) true 166535 166535 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json
t20_x6_u0_b95 20 6 0 95 add(P,min(eql(P,R),P)) 160817 162654521 o2(x,o2(o2(x,x),x)) true 166543 166543 -0.009727 0.5 0.9472 0.9365 0.9677 -1 1 2 1 1.65 0.001005 0 0.007937 1 1 4.731e-10 0.0001502 0.002719 0.0009424 0.0307 3.868 0.2265 0.001073 0.0001604 1 1 0.002565 0.02848 0.2515 0.002739 0.03041 0.2686 json
t20_x6_u0_b96 20 6 0 96 add(P,min(min(P,R),P)) 160818 162654522 o2(x,o2(o2(x,x),x)) true 166551 166551 -0.03068 0.4833 0.957 0.9435 0.9714 -1 1 2 1 1.692 0.001208 0.0001388 0.008884 0.7938 1 -0.00001833 0.0002644 0.003305 0.001267 0.0356 4.007 0.312 0.001427 0.0002803 1 1 0.003263 0.03603 0.2678 0.003458 0.03819 0.2839 json
t20_x6_u0_b97 20 6 0 97 add(P,min(dot(P,R),P)) 160819 162654523 o2(x,o2(o2(x,x),x)) true 166559 166559 -0.1433 0.4273 0.9454 0.9098 0.9538 -1 1 2 1 1.798 0.006514 0.006954 0.03019 -0.03261 1 -0.0001139 0.008914 0.01912 0.01256 0.1121 3.712 1.759 0.0148 0.009798 1 1 0.02244 0.1927 0.5434 0.02466 0.2118 0.5972 json
t20_x6_u0_b98 20 6 0 98 add(P,min(dst(P,R),P)) 160820 162654524 o2(x,o2(o2(x,x),x)) true 166567 166567 -0.0001423 0.5 0.9568 0.9492 0.9743 -1 1 2 1 1.497 0.001299 2.412e-7 0.007938 0.9996 1 1.18e-10 0.0002675 0.003568 0.001236 0.03516 4.43 0.2265 0.001369 0.0002818 1 1 0.003265 0.03262 0.2683 0.00344 0.03436 0.2827 json
t20_x6_u0_b99 20 6 0 99 add(P,dot(add(P,R),P)) 160821 162654525 o2(x,o2(o2(x,x),x)) true 166575 166575 0.9893 0.9981 0.9901 0.008892 0.0943 -0.4343 1 1.434 1 0.18 0.000198 0.0001688 0.002099 0.07961 1 -2.253e-11 0.000129 0.001001 0.0003621 0.01903 9.067 0.4223 0.04124 0.0145 1 1 0.001201 0.01154 0.02938 0.1351 1.298 3.304 json
t20_x6_u0_b100 20 6 0 100 add(P,dot(sub(P,R),P)) 160822 162654526 o2(x,o2(o2(x,x),x)) true 166583 166583 0.9929 0.9978 0.9936 0.005981 0.07734 -0.3378 1 1.338 1 0.137 0.00009908 0.0001513 0.001514 -0.2085 1 5.819e-11 0.0000802 0.0007116 0.0002479 0.01574 10.4 0.3284 0.04186 0.01341 1 1 0.0008244 0.008079 0.02182 0.1378 1.351 3.649 json
t20_x6_u0_b101 20 6 0 101 add(P,dot(mlt(P,R),P)) 160823 162654527 o2(x,o2(o2(x,x),x)) true 166591 166591 0.05591 0.5299 0.9566 0.9395 0.9693 -1 1 2 1 1.691 0.07046 0.08032 0.1065 -0.06544 1 -0.00004424 0.3197 0.1652 0.1394 0.3733 3.505 2.828 0.1605 0.3403 1 1 0.1348 0.6875 1.604 0.1435 0.7318 1.707 json
t20_x6_u0_b102 20 6 0 102 add(P,dot(div(P,R),P)) 160824 162654528 o2(x,o2(o2(x,x),x)) true 166599 166599 0.05763 0.5287 0.9924 0.986 0.993 -1 1 2 1 1.159 0.1074 0.1191 0.1161 -0.05177 1 0.00002615 0.6051 0.2317 0.2132 0.4617 3.976 2.828 0.2298 0.6137 1 1 0.2072 0.8684 2.01 0.2102 0.8807 2.038 json
t20_x6_u0_b103 20 6 0 103 add(P,dot(pow(P,R),P)) 160825 162654529 o2(x,o2(o2(x,x),x)) true 166607 166607 -0.5859 0.207 1 0.6568 0.8105 -1 1 2 1 0.7358 0.01096 0.008944 0.009915 0.1013 1 0 0.04119 0.0199 0.01982 0.1408 14.2 2.828 0.0303 0.06272 1 1 0.02637 0.1055 0.3785 0.04015 0.1606 0.5763 json
t20_x6_u0_b104 20 6 0 104 add(P,dot(mod(P,R),P)) 160826 162654530 o2(x,o2(o2(x,x),x)) true 166615 166615 0.1745 0.5898 0.9143 0.8568 0.9256 -1 1 2 1 2.176 0.001548 0.001561 0.01847 -0.004213 1 0.000008215 0.0008688 0.00765 0.002767 0.05261 2.848 0.4973 0.003628 0.001014 1 1 0.006699 0.0694 0.3233 0.007819 0.081 0.3774 json
t20_x6_u0_b105 20 6 0 105 add(P,dot(lrg(P,R),P)) 160827 162654531 o2(x,o2(o2(x,x),x)) true 166623 166623 0.2543 0.624 0.9434 0.8644 0.9297 -1 1 2 1 1.747 0.0008539 0.000341 0.009979 0.4292 1 -4.205e-10 0.0001919 0.002971 0.001095 0.03309 3.316 0.2359 0.001382 0.000222 1 1 0.003049 0.03624 0.3296 0.003528 0.04192 0.3814 json
t20_x6_u0_b106 20 6 0 106 add(P,dot(eql(P,R),P)) 160828 162654532 o2(x,o2(o2(x,x),x)) true 166631 166631 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t20_x6_u0_b107 20 6 0 107 add(P,dot(min(P,R),P)) 160829 162654533 o2(x,o2(o2(x,x),x)) true 166639 166639 0.8848 0.9476 0.961 0.167 0.4086 -1 1 2 1 0.8622 0.004063 0.004152 0.01859 -0.01079 1 -0.0001171 0.005288 0.01196 0.007869 0.0887 4.771 1.379 0.0492 0.03167 1 1 0.01291 0.1127 0.3477 0.07732 0.6747 2.082 json
t20_x6_u0_b108 20 6 0 108 add(P,dot(dot(P,R),P)) 160830 162654534 o2(x,o2(o2(x,x),x)) true 166647 166647 0.05265 0.5272 0.9604 0.9453 0.9723 -1 1 2 1 1.656 0.0576 0.0717 0.09348 -0.1091 1 -0.00003516 0.2754 0.1421 0.1206 0.3473 3.715 2.828 0.1368 0.2914 1 1 0.1171 0.6016 1.439 0.1239 0.6363 1.522 json
t20_x6_u0_b109 20 6 0 109 add(P,dot(dst(P,R),P)) 160831 162654535 o2(x,o2(o2(x,x),x)) true 166655 166655 0.002676 0.5013 0.9872 0.9833 0.9916 -1 1 2 1 1.256 0.004062 0.004012 0.01224 0.006186 1 -0.000003423 0.007646 0.01024 0.007927 0.08904 7.272 1.695 0.008212 0.007776 1 1 0.0149 0.1122 0.5554 0.01516 0.1141 0.5648 json
t20_x6_u0_b110 20 6 0 110 add(P,dst(add(P,R),P)) 160832 162654536 o2(x,o2(o2(x,x),x)) true 166663 166663 0.1228 0.5638 0.9362 0.9005 0.9489 -1 1 2 1 1.979 0.0007835 0.00009467 0.008974 0.7844 1 -0.000002358 0.0001175 0.002698 0.0007974 0.02824 3.147 0.2056 0.0009753 0.0001304 1 1 0.002174 0.02655 0.2276 0.002415 0.02948 0.2528 json
t20_x6_u0_b111 20 6 0 111 add(P,dst(sub(P,R),P)) 160833 162654537 o2(x,o2(o2(x,x),x)) true 166671 166671 0.1228 0.5638 0.9362 0.9005 0.9489 -1 1 2 1 1.979 0.0007835 0.00009467 0.008974 0.7844 1 -0.000002358 0.0001175 0.002698 0.0007974 0.02824 3.147 0.2056 0.0009753 0.0001304 1 1 0.002174 0.02655 0.2276 0.002415 0.02948 0.2528 json
t20_x6_u0_b112 20 6 0 112 add(P,dst(mlt(P,R),P)) 160834 162654538 o2(x,o2(o2(x,x),x)) true 166679 166679 0.739 0.8745 0.9248 0.3536 0.5947 -1 1 2 1 1.598 0.006715 0.007347 0.03563 -0.0449 1 -0.00006962 0.008152 0.02064 0.0128 0.1131 3.176 1.404 0.03977 0.02305 1 1 0.01897 0.1609 0.3738 0.05366 0.4551 1.057 json
t20_x6_u0_b113 20 6 0 113 add(P,dst(div(P,R),P)) 160835 162654539 o2(x,o2(o2(x,x),x)) true 166687 166687 0.9744 0.9888 0.9919 0.03959 0.199 -1 1 2 1 0.2473 0.004275 0.005155 0.01113 -0.09332 1 -0.00001172 0.0127 0.0131 0.009304 0.09646 8.664 2.189 0.2382 0.3209 1 1 0.01325 0.0638 0.06342 0.3347 1.612 1.602 json
t20_x6_u0_b114 20 6 0 114 add(P,dst(pow(P,R),P)) 160836 162654540 o2(x,o2(o2(x,x),x)) true 166695 166695 -0.9688 0.01563 1 0.06152 0.248 -1 1 2 1 0.1161 0.006047 0.008062 0.006999 -0.1429 1 0 0.02973 0.01411 0.01406 0.1186 16.94 2.828 0.2293 0.4832 1 1 0.009695 0.04659 0.07003 0.1576 0.7573 1.138 json
t20_x6_u0_b115 20 6 0 115 add(P,dst(mod(P,R),P)) 160837 162654541 o2(x,o2(o2(x,x),x)) true 166703 166703 0.833 0.9137 0.8557 0.1326 0.3642 -0.5699 1 1.57 1 1.595 0.0001404 0.0002993 0.007218 -0.3613 1 -0.000003855 0.000059 0.001997 0.0003875 0.01968 2.727 0.2186 0.003316 0.0004449 1 1 0.001166 0.01398 0.1006 0.008789 0.1054 0.7584 json
t20_x6_u0_b116 20 6 0 116 add(P,dst(lrg(P,R),P)) 160838 162654542 o2(x,o2(o2(x,x),x)) true 166711 166711 0.8709 0.9946 0.8709 0.08347 0.2889 0 1 1 1 1.408 0.0000701 0.0001414 0.004622 -0.3372 1 -0.0000017 0.00002983 0.001287 0.00019 0.01379 2.982 0.1657 0.002534 0.0003574 1 1 0.0006163 0.007367 0.06068 0.007384 0.08826 0.7271 json
t20_x6_u0_b117 20 6 0 117 add(P,dst(eql(P,R),P)) 160839 162654543 o2(x,o2(o2(x,x),x)) true 166719 166719 0.885 0.9968 0.885 0.07625 0.2761 0.00001812 1 1 1 1.305 0.00005943 0.0001798 0.004703 -0.5033 1 -0.000002319 0.00003737 0.001341 0.0002171 0.01473 3.133 0.2282 0.003138 0.0004901 1 1 0.0007094 0.0084 0.06467 0.009305 0.1102 0.8481 json
t20_x6_u0_b118 20 6 0 118 add(P,dst(min(P,R),P)) 160840 162654544 o2(x,o2(o2(x,x),x)) true 166727 166727 0.2752 0.634 0.944 0.8491 0.9215 -1 1 2 1 1.82 0.001003 0.0005134 0.0112 0.3229 1 -0.000007552 0.0002975 0.003914 0.001391 0.03729 3.331 0.2961 0.001786 0.0003503 1 1 0.003846 0.04425 0.3224 0.004529 0.05212 0.3797 json
t20_x6_u0_b119 20 6 0 119 add(P,dst(dot(P,R),P)) 160841 162654545 o2(x,o2(o2(x,x),x)) true 166735 166735 0.8805 0.9468 0.9322 0.1369 0.3701 -1 1 2 1 1.141 0.002378 0.002201 0.01712 0.03878 1 -0.00008566 0.001949 0.008513 0.00429 0.0655 3.827 1.016 0.03343 0.01423 1 1 0.006392 0.05698 0.1271 0.04667 0.4161 0.9283 json
t20_x6_u0_b120 20 6 0 120 add(P,dst(dst(P,R),P)) 160842 162654546 o2(x,o2(o2(x,x),x)) true 166743 166743 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_x6_u0_b121 20 6 0 121 sub(P,add(add(P,R),P)) 160843 162654547 o2(x,o2(o2(x,x),x)) true 166751 166751 -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
t20_x6_u0_b122 20 6 0 122 sub(P,add(sub(P,R),P)) 160844 162654548 o2(x,o2(o2(x,x),x)) true 166759 166759 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_x6_u0_b123 20 6 0 123 sub(P,add(mlt(P,R),P)) 160845 162654549 o2(x,o2(o2(x,x),x)) true 166767 166767 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_x6_u0_b124 20 6 0 124 sub(P,add(div(P,R),P)) 160846 162654550 o2(x,o2(o2(x,x),x)) true 166775 166775 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.000001094 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_x6_u0_b125 20 6 0 125 sub(P,add(pow(P,R),P)) 160847 162654551 o2(x,o2(o2(x,x),x)) true 166783 166783 -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_x6_u0_b126 20 6 0 126 sub(P,add(mod(P,R),P)) 160848 162654552 o2(x,o2(o2(x,x),x)) true 166791 166791 -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.993e-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_x6_u0_b127 20 6 0 127 sub(P,add(lrg(P,R),P)) 160849 162654553 o2(x,o2(o2(x,x),x)) true 166799 166799 -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_x6_u0_b128 20 6 0 128 sub(P,add(eql(P,R),P)) 160850 162654554 o2(x,o2(o2(x,x),x)) true 166807 166807 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_x6_u0_b129 20 6 0 129 sub(P,add(min(P,R),P)) 160851 162654555 o2(x,o2(o2(x,x),x)) true 166815 166815 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.685e-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_x6_u0_b130 20 6 0 130 sub(P,add(dot(P,R),P)) 160852 162654556 o2(x,o2(o2(x,x),x)) true 166823 166823 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_x6_u0_b131 20 6 0 131 sub(P,add(dst(P,R),P)) 160853 162654557 o2(x,o2(o2(x,x),x)) true 166831 166831 -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.877e-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_x6_u0_b132 20 6 0 132 sub(P,sub(add(P,R),P)) 160854 162654558 o2(x,o2(o2(x,x),x)) true 166839 166839 -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_x6_u0_b133 20 6 0 133 sub(P,sub(sub(P,R),P)) 160855 162654559 o2(x,o2(o2(x,x),x)) true 166847 166847 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_x6_u0_b134 20 6 0 134 sub(P,sub(mlt(P,R),P)) 160856 162654560 o2(x,o2(o2(x,x),x)) true 166855 166855 -0.0006752 0.5 0.9533 0.9448 0.972 -1 1 2 1 1.588 0.001206 0.00002005 0.008014 0.9673 1 -2.508e-8 0.0002895 0.003229 0.001162 0.03408 4.253 0.3031 0.001298 0.0003064 1 1 0.003135 0.03204 0.265 0.003318 0.03391 0.2805 json
t20_x6_u0_b135 20 6 0 135 sub(P,sub(div(P,R),P)) 160857 162654561 o2(x,o2(o2(x,x),x)) true 166863 166863 0.04355 0.5234 0.9185 0.8975 0.9474 -1 1 2 1 2.03 0.04824 0.05185 0.07991 -0.03603 1 0.00009236 0.2091 0.1148 0.09368 0.3061 3.83 2.828 0.1115 0.233 1 1 0.09178 0.4635 1.11 0.1023 0.5165 1.237 json
t20_x6_u0_b136 20 6 0 136 sub(P,sub(pow(P,R),P)) 160858 162654562 o2(x,o2(o2(x,x),x)) true 166871 166871 -0.1016 0.4531 0.9922 0.9808 0.9903 -1 1 2 1 1.12 0.01294 0.003616 0.0101 0.5632 1 -1.765e-10 0.03388 0.01859 0.01646 0.1283 12.7 2.828 0.01688 0.03455 1 1 0.02269 0.09441 0.3825 0.02313 0.09626 0.39 json
t20_x6_u0_b137 20 6 0 137 sub(P,sub(mod(P,R),P)) 160859 162654563 o2(x,o2(o2(x,x),x)) true 166879 166879 -0.0001053 0.5 0.9552 0.9472 0.9732 -1 1 2 1 1.541 0.001263 9.234e-7 0.007942 0.9985 1 -3.529e-8 0.0002917 0.00333 0.001202 0.03466 4.365 0.2265 0.001335 0.0003079 1 1 0.003175 0.03216 0.2661 0.003352 0.03395 0.2809 json
t20_x6_u0_b138 20 6 0 138 sub(P,sub(lrg(P,R),P)) 160860 162654564 o2(x,o2(o2(x,x),x)) true 166887 166887 -0.03972 0.48 0.9657 0.9543 0.9769 -1 1 2 1 1.554 0.001197 0.00009554 0.008539 0.8522 1 -0.000003562 0.0001197 0.002399 0.00122 0.03493 4.091 0.2338 0.001355 0.0001254 1 1 0.003358 0.04173 0.2916 0.003518 0.04373 0.3055 json
t20_x6_u0_b139 20 6 0 139 sub(P,sub(eql(P,R),P)) 160861 162654565 o2(x,o2(o2(x,x),x)) true 166895 166895 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json
t20_x6_u0_b140 20 6 0 140 sub(P,sub(min(P,R),P)) 160862 162654566 o2(x,o2(o2(x,x),x)) true 166903 166903 0.02833 0.517 0.957 0.9434 0.9713 -1 1 2 1 1.701 0.001012 0.0000617 0.008419 0.885 1 0.000002211 0.0001263 0.002456 0.001003 0.03167 3.762 0.256 0.001138 0.0001339 1 1 0.002805 0.03401 0.2681 0.002974 0.03605 0.2842 json
t20_x6_u0_b141 20 6 0 141 sub(P,sub(dot(P,R),P)) 160863 162654567 o2(x,o2(o2(x,x),x)) true 166911 166911 0.002742 0.4978 0.9497 0.9339 0.9664 -1 1 2 1 1.783 0.005662 0.00589 0.02469 -0.01968 1 0.0000378 0.008676 0.01707 0.01094 0.1046 4.237 1.748 0.01237 0.00929 1 1 0.0148 0.1257 0.4035 0.01585 0.1346 0.432 json
t20_x6_u0_b142 20 6 0 142 sub(P,sub(dst(P,R),P)) 160864 162654568 o2(x,o2(o2(x,x),x)) true 166919 166919 -0.3029 0.351 0.9519 0.8445 0.9189 -1 1 2 1 1.7 0.001117 0.0007334 0.0115 0.2074 1 -0.00001804 0.000383 0.00402 0.001718 0.04145 3.605 0.3693 0.002192 0.0004535 1 1 0.004396 0.04914 0.3409 0.005206 0.05819 0.4037 json
t20_x6_u0_b143 20 6 0 143 sub(P,mlt(add(P,R),P)) 160865 162654569 o2(x,o2(o2(x,x),x)) true 166927 166927 -0.9011 0.02843 0.9121 0.08208 0.2865 -1 0.8907 1.891 1 1.122 0.001242 0.0002936 0.01105 0.6175 1 0.00002268 0.0003946 0.004242 0.001413 0.03759 3.401 0.447 0.0187 0.004807 1 1 0.003706 0.03826 0.1374 0.04515 0.4661 1.674 json
t20_x6_u0_b144 20 6 0 144 sub(P,mlt(sub(P,R),P)) 160866 162654570 o2(x,o2(o2(x,x),x)) true 166935 166935 -0.8768 0.05138 0.9112 0.1245 0.3528 -1 0.9431 1.943 1 1.14 0.001917 0.0003295 0.01295 0.7067 1 -0.000004696 0.0005713 0.005202 0.002079 0.0456 3.521 0.481 0.01805 0.00459 1 1 0.005259 0.05193 0.1861 0.04225 0.4172 1.495 json
t20_x6_u0_b145 20 6 0 145 sub(P,mlt(mlt(P,R),P)) 160867 162654571 o2(x,o2(o2(x,x),x)) true 166943 166943 -0.01496 0.496 0.8689 0.8358 0.9142 -1 1 2 1 2.535 0.045 0.04482 0.08119 0.001975 1 -0.000006545 0.1764 0.104 0.08319 0.2884 3.553 2.828 0.1075 0.2111 1 1 0.08671 0.4739 1.138 0.1037 0.567 1.362 json
t20_x6_u0_b146 20 6 0 146 sub(P,mlt(div(P,R),P)) 160868 162654572 o2(x,o2(o2(x,x),x)) true 166951 166951 0.06993 0.5275 0.9311 0.9128 0.9554 -1 1 2 1 1.797 0.08547 0.1043 0.114 -0.09902 1 0.00005068 0.4716 0.2007 0.1767 0.4203 3.686 2.828 0.2078 0.5166 1 1 0.1902 0.8471 1.763 0.2084 0.928 1.931 json
t20_x6_u0_b147 20 6 0 147 sub(P,mlt(pow(P,R),P)) 160869 162654573 o2(x,o2(o2(x,x),x)) true 166959 166959 -0.5743 0.2124 0.8851 0.5296 0.7277 -1 1 2 1 1.976 0.01636 0.01474 0.04759 0.05207 1 0.00002582 0.03951 0.04387 0.02886 0.1699 3.57 2.518 0.05874 0.0746 1 1 0.03686 0.2531 0.6501 0.06961 0.4779 1.228 json
t20_x6_u0_b148 20 6 0 148 sub(P,mlt(mod(P,R),P)) 160870 162654574 o2(x,o2(o2(x,x),x)) true 166967 166967 -0.01147 0.5 0.9315 0.9143 0.9562 -1 1 2 1 1.963 0.0007145 0.00001227 0.008242 0.9662 1 -3.148e-8 0.00007826 0.002437 0.0006592 0.02567 3.115 0.1657 0.0007949 0.0000856 1 1 0.00187 0.02324 0.2241 0.002045 0.02542 0.2451 json
t20_x6_u0_b149 20 6 0 149 sub(P,mlt(lrg(P,R),P)) 160871 162654575 o2(x,o2(o2(x,x),x)) true 166975 166975 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 0.0003529 0 0.003968 1 1 4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t20_x6_u0_b150 20 6 0 150 sub(P,mlt(eql(P,R),P)) 160872 162654576 o2(x,o2(o2(x,x),x)) true 166983 166983 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t20_x6_u0_b151 20 6 0 151 sub(P,mlt(min(P,R),P)) 160873 162654577 o2(x,o2(o2(x,x),x)) true 166991 166991 -0.03269 0.4988 0.9243 0.9073 0.9525 -1 1 2 1 1.89 0.001224 0.0003036 0.01106 0.6024 1 -0.0000635 0.0004793 0.00523 0.001405 0.03748 3.389 0.4854 0.001683 0.0005283 1 1 0.003645 0.03577 0.2407 0.004018 0.03942 0.2653 json
t20_x6_u0_b152 20 6 0 152 sub(P,mlt(dot(P,R),P)) 160874 162654578 o2(x,o2(o2(x,x),x)) true 166999 166999 -0.08763 0.4426 0.9055 0.8764 0.9362 -1 1 2 1 2.132 0.05133 0.06425 0.09633 -0.1118 1 -0.00008467 0.2238 0.1303 0.1063 0.326 3.384 2.828 0.1319 0.2554 1 1 0.1124 0.6127 1.345 0.1282 0.6991 1.535 json
t20_x6_u0_b153 20 6 0 153 sub(P,mlt(dst(P,R),P)) 160875 162654579 o2(x,o2(o2(x,x),x)) true 167007 167007 0.007999 0.5013 0.949 0.94 0.9696 -1 1 2 1 1.606 0.00169 0.0001304 0.008947 0.8567 1 -4.183e-7 0.0007868 0.004966 0.001739 0.0417 4.661 0.4728 0.001936 0.000837 1 1 0.004038 0.03833 0.2631 0.004296 0.04078 0.2799 json
t20_x6_u0_b154 20 6 0 154 sub(P,div(add(P,R),P)) 160876 162654580 o2(x,o2(o2(x,x),x)) true 167015 167015 -0.1659 0.4216 0.9731 0.9353 0.9671 -1 1 2 1 1.495 0.003789 0.0001366 0.00889 0.9304 1 0.000006098 0.006284 0.00742 0.003844 0.062 6.974 1.844 0.004197 0.006719 1 1 0.006546 0.04704 0.2937 0.007 0.0503 0.3141 json
t20_x6_u0_b155 20 6 0 155 sub(P,div(sub(P,R),P)) 160877 162654581 o2(x,o2(o2(x,x),x)) true 167023 167023 -0.1529 0.4299 0.9763 0.9427 0.9709 -1 1 2 1 1.474 0.007549 0.0001333 0.009131 0.9653 1 -0.00001056 0.01457 0.01124 0.0076 0.08718 9.547 1.943 0.008149 0.01545 1 1 0.009647 0.05164 0.2926 0.01023 0.05478 0.3104 json
t20_x6_u0_b156 20 6 0 156 sub(P,div(mlt(P,R),P)) 160878 162654582 o2(x,o2(o2(x,x),x)) true 167031 167031 -0.1288 0.4375 0.9898 0.9681 0.9839 -1 1 2 1 1.242 0.01149 0.00009029 0.009581 0.9844 1 0.000006904 0.02258 0.01532 0.01149 0.1072 11.19 2 0.01196 0.02332 1 1 0.01663 0.07631 0.3312 0.01718 0.07882 0.3421 json
t20_x6_u0_b157 20 6 0 157 sub(P,div(div(P,R),P)) 160879 162654583 o2(x,o2(o2(x,x),x)) true 167039 167039 -0.07263 0.462 0.9488 0.9272 0.9629 -1 1 2 1 1.799 0.02881 0.02079 0.0521 0.1618 1 0.00002293 0.08173 0.06165 0.04686 0.2165 4.155 2.828 0.05349 0.08815 1 1 0.06319 0.3379 0.9617 0.06815 0.3645 1.037 json
t20_x6_u0_b158 20 6 0 158 sub(P,div(pow(P,R),P)) 160880 162654584 o2(x,o2(o2(x,x),x)) true 167047 167047 -0.15 0.4375 0.975 0.9482 0.9738 -1 1 2 1 1.294 0.004509 0.000002993 0.007956 0.9987 1 -3.725e-7 0.007954 0.00924 0.004448 0.06669 8.383 1.001 0.004759 0.008388 1 1 0.006707 0.04584 0.2974 0.007074 0.04834 0.3136 json
t20_x6_u0_b159 20 6 0 159 sub(P,div(mod(P,R),P)) 160881 162654585 o2(x,o2(o2(x,x),x)) true 167055 167055 -0.1276 0.4375 0.9974 0.9797 0.9898 -1 1 2 1 1.105 0.01325 0.000003694 0.008 0.9994 1 -2.627e-7 0.02633 0.01495 0.01319 0.1148 14.35 2 0.01353 0.02688 1 1 0.01796 0.07863 0.3314 0.01833 0.08026 0.3383 json
t20_x6_u0_b160 20 6 0 160 sub(P,div(lrg(P,R),P)) 160882 162654586 o2(x,o2(o2(x,x),x)) true 167063 167063 -0.1496 0.4375 0.9754 0.9482 0.9738 -1 1 2 1 1.258 0.004534 0 0.007936 1 1 0 0.007986 0.00925 0.00447 0.06686 8.424 1 0.004782 0.008422 1 1 0.006732 0.04588 0.2977 0.0071 0.04839 0.3139 json
t20_x6_u0_b161 20 6 0 161 sub(P,div(eql(P,R),P)) 160883 162654587 o2(x,o2(o2(x,x),x)) true 167071 167071 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t20_x6_u0_b162 20 6 0 162 sub(P,div(min(P,R),P)) 160884 162654588 o2(x,o2(o2(x,x),x)) true 167079 167079 -0.132 0.4375 0.993 0.9729 0.9863 -1 1 2 1 1.136 0.01119 0.00005073 0.008256 0.991 1 2.253e-11 0.02203 0.01382 0.01117 0.1057 12.8 2 0.01156 0.02264 1 1 0.01621 0.07437 0.3282 0.01667 0.07645 0.3373 json
t20_x6_u0_b163 20 6 0 163 sub(P,div(dot(P,R),P)) 160885 162654589 o2(x,o2(o2(x,x),x)) true 167087 167087 -0.1531 0.4226 0.9766 0.9458 0.9725 -1 1 2 1 1.409 0.009629 0.002324 0.01678 0.6111 1 0.000006799 0.01706 0.01634 0.01167 0.108 6.439 2.268 0.01264 0.01804 1 1 0.01668 0.1052 0.3778 0.01763 0.1112 0.3994 json
t20_x6_u0_b164 20 6 0 164 sub(P,div(dst(P,R),P)) 160886 162654590 o2(x,o2(o2(x,x),x)) true 167095 167095 -0.1166 0.4429 0.9304 0.8931 0.945 -1 1 2 1 2.062 0.01809 0.0002694 0.02495 0.9707 1 0.000001943 0.03201 0.02263 0.01773 0.1332 5.338 2.002 0.02056 0.03585 1 1 0.02737 0.1566 0.5974 0.03064 0.1753 0.6689 json
t20_x6_u0_b165 20 6 0 165 sub(P,pow(add(P,R),P)) 160887 162654591 o2(x,o2(o2(x,x),x)) true 167103 167103 -0.946 0.02029 0.9577 0.04808 0.2193 -1 0.9974 1.997 1 0.8078 0.001397 0.0005929 0.009661 0.4039 1 0.00003099 0.001049 0.00455 0.001895 0.04353 4.506 1.066 0.04138 0.02181 1 1 0.004522 0.04068 0.09932 0.09404 0.846 2.066 json
t20_x6_u0_b166 20 6 0 166 sub(P,pow(sub(P,R),P)) 160888 162654592 o2(x,o2(o2(x,x),x)) true 167111 167111 -0.9244 0.03362 0.9535 0.08319 0.2884 -1 0.9429 1.943 1 0.8556 0.002126 0.0007036 0.01308 0.5026 1 -0.000007826 0.001021 0.005271 0.002657 0.05154 3.942 0.9702 0.03401 0.01227 1 1 0.006519 0.06293 0.13 0.07837 0.7565 1.563 json
t20_x6_u0_b167 20 6 0 167 sub(P,pow(mlt(P,R),P)) 160889 162654593 o2(x,o2(o2(x,x),x)) true 167119 167119 -0.9873 0.0065 0.9904 0.01305 0.1142 -1 0.6082 1.608 1 0.1898 0.002366 0.0009919 0.004218 0.4091 1 4.505e-11 0.0067 0.00558 0.003339 0.05779 13.7 1.89 0.2573 0.5135 1 1 0.003821 0.01677 0.02836 0.2928 1.285 2.173 json
t20_x6_u0_b168 20 6 0 168 sub(P,pow(div(P,R),P)) 160890 162654594 o2(x,o2(o2(x,x),x)) true 167127 167127 -0.9953 0 0.9953 0.002615 0.05114 -1 -0.06042 0.9396 1 0.1259 0.0004725 0.0002618 0.001795 0.2869 1 7.133e-11 0.001441 0.002265 0.0007315 0.02705 15.06 1.27 0.2808 0.5509 1 1 0.000503 0.002715 0.004055 0.1924 1.038 1.551 json
t20_x6_u0_b169 20 6 0 169 sub(P,pow(pow(P,R),P)) 160891 162654595 o2(x,o2(o2(x,x),x)) true 167135 167135 -0.5458 0.2238 0.9213 0.606 0.7785 -1 1 2 1 1.73 0.02728 0.02343 0.04311 0.07595 1 0.000316 0.0995 0.05588 0.04888 0.2211 5.129 2.828 0.08369 0.1642 1 1 0.0544 0.2828 0.8031 0.08977 0.4667 1.325 json
t20_x6_u0_b170 20 6 0 170 sub(P,pow(mod(P,R),P)) 160892 162654596 o2(x,o2(o2(x,x),x)) true 167143 167143 -0.07069 0.4672 0.9742 0.9575 0.9785 -1 1 2 1 1.553 0.001219 0.000008916 0.008082 0.9855 1 -4.926e-7 0.00007844 0.00224 0.001162 0.03409 4.219 0.2337 0.001282 0.00008192 1 1 0.00324 0.0423 0.2889 0.003384 0.04418 0.3017 json
t20_x6_u0_b171 20 6 0 171 sub(P,pow(lrg(P,R),P)) 160893 162654597 o2(x,o2(o2(x,x),x)) true 167151 167151 -0.125 0.4375 0.9375 0.9084 0.9531 -1 1 2 1 1.8 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007771 0.00003562 1 1 0.001851 0.02449 0.2344 0.002038 0.02696 0.2581 json
t20_x6_u0_b172 20 6 0 172 sub(P,pow(eql(P,R),P)) 160894 162654598 o2(x,o2(o2(x,x),x)) true 167159 167159 -0.0625 0.4688 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0.003702 0.04857 0.3004 0.00382 0.05012 0.31 json
t20_x6_u0_b173 20 6 0 173 sub(P,pow(min(P,R),P)) 160895 162654599 o2(x,o2(o2(x,x),x)) true 167167 167167 -0.9795 0.01041 0.9904 0.02839 0.1685 -1 1 2 1 0.2266 0.003373 0.002756 0.005604 0.1008 1 7.509e-11 0.0125 0.008351 0.006097 0.07808 13.93 2 0.2159 0.4401 1 1 0.003821 0.01677 0.04165 0.1346 0.5907 1.467 json
t20_x6_u0_b174 20 6 0 174 sub(P,pow(dot(P,R),P)) 160896 162654600 o2(x,o2(o2(x,x),x)) true 167175 167175 -0.9795 0.007675 0.9895 0.02602 0.1613 -1 1 2 1 0.2872 0.00272 0.001953 0.00603 0.1642 1 0.00001969 0.009265 0.006744 0.004636 0.06809 11.29 2.586 0.1796 0.3561 1 1 0.007102 0.03846 0.08406 0.2729 1.478 3.231 json
t20_x6_u0_b175 20 6 0 175 sub(P,pow(dst(P,R),P)) 160897 162654601 o2(x,o2(o2(x,x),x)) true 167183 167183 -0.9907 0.001724 0.9915 0.006703 0.08187 -1 0.4069 1.407 1 0.1992 0.0002393 0.00009786 0.002024 0.4195 1 -2.628e-11 0.0001633 0.00104 0.0003329 0.01825 9.015 0.5122 0.0503 0.02436 1 1 0.001065 0.009404 0.02013 0.1589 1.403 3.003 json
t20_x6_u0_b176 20 6 0 176 sub(P,mod(add(P,R),P)) 160898 162654602 o2(x,o2(o2(x,x),x)) true 167191 167191 -0.148 0.4375 0.8523 0.766 0.8752 -1 1 2 1 3.129 0.01046 0.001921 0.0345 0.6898 1 -0.00001529 0.01915 0.03068 0.0112 0.1058 3.068 1.997 0.01617 0.025 1 1 0.01752 0.09745 0.3419 0.02287 0.1272 0.4463 json
t20_x6_u0_b177 20 6 0 177 sub(P,mod(sub(P,R),P)) 160899 162654603 o2(x,o2(o2(x,x),x)) true 167199 167199 -0.09724 0.4375 0.8805 0.8179 0.9044 -1 1 2 1 2.86 0.0137 0.002116 0.03277 0.7324 1 -0.000001225 0.02658 0.03302 0.01475 0.1214 3.705 1.943 0.01933 0.03249 1 1 0.02082 0.1064 0.376 0.02545 0.1301 0.4597 json