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_x20_u0_b64 20 20 0 64 add(P,mod(dot(R,P),R)) 163600 163220104 o2(x,o2(o2(x,x),x)) true 17207 17207 -0.0003263 0.4974 0.9447 0.9283 0.9635 -1 1 2 1 1.84 0.0008662 0.00007557 0.008694 0.8395 1 0.000005909 0.0001001 0.002366 0.0008666 0.02944 3.386 0.2367 0.001015 0.0001079 1 1 0.002407 0.02981 0.2481 0.002592 0.03211 0.2673 json
t20_x20_u0_b65 20 20 0 65 add(P,mod(dst(R,P),R)) 163601 163220105 o2(x,o2(o2(x,x),x)) true 17215 17215 0.03522 0.5237 0.9382 0.9156 0.9569 -1 1 2 1 1.959 0.0007264 0.00004109 0.008441 0.8929 1 -0.00000291 0.00009314 0.002516 0.0006964 0.02639 3.126 0.187 0.0008382 0.0001017 1 1 0.001972 0.02456 0.2316 0.002153 0.02682 0.253 json
t20_x20_u0_b66 20 20 0 66 add(P,lrg(add(R,P),R)) 163602 163220106 o2(x,o2(o2(x,x),x)) true 17223 17223 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_x20_u0_b67 20 20 0 67 add(P,lrg(sub(R,P),R)) 163603 163220107 o2(x,o2(o2(x,x),x)) true 17231 17231 0.0625 0.5 0.875 0.8576 0.926 -1 1 2 1 2.027 0.0007059 0 0.007937 1 1 0 0.00003238 0.001855 0.0006432 0.02536 3.195 0.1169 0.0008231 0.00003776 1 1 0.001851 0.02429 0.1593 0.002158 0.02832 0.1858 json
t20_x20_u0_b68 20 20 0 68 add(P,lrg(mlt(R,P),R)) 163604 163220108 o2(x,o2(o2(x,x),x)) true 17239 17239 0.06158 0.5292 0.9394 0.9206 0.9595 -1 1 2 1 1.857 0.0008782 0.0002538 0.009973 0.5516 1 0.00001667 0.00008412 0.002418 0.001032 0.03213 3.222 0.2338 0.001229 0.00009137 1 1 0.002926 0.03816 0.2684 0.003178 0.04145 0.2915 json
t20_x20_u0_b69 20 20 0 69 add(P,lrg(div(R,P),R)) 163605 163220109 o2(x,o2(o2(x,x),x)) true 17247 17247 0.05377 0.5234 0.9328 0.9142 0.9561 -1 1 2 1 1.902 0.0008334 0.0002538 0.009968 0.5332 1 0.00000526 0.00008198 0.002411 0.0009877 0.03143 3.153 0.2338 0.001189 0.00008967 1 1 0.00275 0.03589 0.2651 0.003008 0.03926 0.29 json
t20_x20_u0_b70 20 20 0 70 add(P,lrg(pow(R,P),R)) 163606 163220110 o2(x,o2(o2(x,x),x)) true 17255 17255 0.125 0.5625 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_x20_u0_b71 20 20 0 71 add(P,lrg(mod(R,P),R)) 163607 163220111 o2(x,o2(o2(x,x),x)) true 17263 17263 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_x20_u0_b72 20 20 0 72 add(P,lrg(lrg(R,P),R)) 163608 163220112 o2(x,o2(o2(x,x),x)) true 17271 17271 0.125 0.5625 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_x20_u0_b73 20 20 0 73 add(P,lrg(eql(R,P),R)) 163609 163220113 o2(x,o2(o2(x,x),x)) true 17279 17279 0.06404 0.5292 0.9418 0.9239 0.9612 -1 1 2 1 1.81 0.0009419 0.000259 0.009869 0.5687 1 0.00001453 0.0001299 0.002631 0.001104 0.03323 3.367 0.2338 0.0013 0.0001406 1 1 0.003125 0.03919 0.2718 0.003382 0.04241 0.2942 json
t20_x20_u0_b74 20 20 0 74 add(P,lrg(min(R,P),R)) 163610 163220114 o2(x,o2(o2(x,x),x)) true 17287 17287 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_x20_u0_b75 20 20 0 75 add(P,lrg(dot(R,P),R)) 163611 163220115 o2(x,o2(o2(x,x),x)) true 17295 17295 0.05401 0.5212 0.9368 0.9197 0.959 -1 1 2 1 1.827 0.000981 0.0002892 0.01013 0.5447 1 0.000008822 0.0001759 0.003089 0.001168 0.03417 3.374 0.2338 0.001381 0.0001912 1 1 0.003257 0.03924 0.2633 0.003541 0.04267 0.2863 json
t20_x20_u0_b76 20 20 0 76 add(P,lrg(dst(R,P),R)) 163612 163220116 o2(x,o2(o2(x,x),x)) true 17303 17303 0.125 0.5625 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_x20_u0_b77 20 20 0 77 add(P,eql(add(R,P),R)) 163613 163220117 o2(x,o2(o2(x,x),x)) true 17311 17311 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_x20_u0_b78 20 20 0 78 add(P,eql(sub(R,P),R)) 163614 163220118 o2(x,o2(o2(x,x),x)) true 17319 17319 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_x20_u0_b79 20 20 0 79 add(P,eql(mlt(R,P),R)) 163615 163220119 o2(x,o2(o2(x,x),x)) true 17327 17327 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_x20_u0_b80 20 20 0 80 add(P,eql(div(R,P),R)) 163616 163220120 o2(x,o2(o2(x,x),x)) true 17335 17335 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_x20_u0_b81 20 20 0 81 add(P,eql(pow(R,P),R)) 163617 163220121 o2(x,o2(o2(x,x),x)) true 17343 17343 0.0066 0.5 0.9441 0.9327 0.9657 -1 1 2 1 1.72 0.0009103 0.00001482 0.008018 0.968 1 -0.000004285 0.0001285 0.002437 0.0008611 0.02934 3.66 0.2265 0.0009919 0.0001378 1 1 0.00234 0.02753 0.2459 0.002509 0.02951 0.2637 json
t20_x20_u0_b82 20 20 0 82 add(P,eql(mod(R,P),R)) 163618 163220122 o2(x,o2(o2(x,x),x)) true 17351 17351 0.07223 0.5 0.8847 0.8686 0.932 -1 1 2 1 1.865 0.001005 0 0.007937 1 1 -4.731e-10 0.0001503 0.002725 0.0009424 0.0307 3.868 0.2265 0.001157 0.000173 1 1 0.002565 0.02807 0.1699 0.002953 0.03232 0.1956 json
t20_x20_u0_b83 20 20 0 83 add(P,eql(lrg(R,P),R)) 163619 163220123 o2(x,o2(o2(x,x),x)) true 17359 17359 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_x20_u0_b84 20 20 0 84 add(P,eql(eql(R,P),R)) 163620 163220124 o2(x,o2(o2(x,x),x)) true 17367 17367 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_x20_u0_b85 20 20 0 85 add(P,eql(min(R,P),R)) 163621 163220125 o2(x,o2(o2(x,x),x)) true 17375 17375 0.03972 0.5198 0.9657 0.9543 0.9769 -1 1 2 1 1.554 0.001197 0.00009554 0.008561 0.8522 1 0.000003562 0.0001197 0.002399 0.00122 0.03492 4.08 0.2338 0.001355 0.0001254 1 1 0.003358 0.04173 0.2916 0.003518 0.04373 0.3056 json
t20_x20_u0_b86 20 20 0 86 add(P,eql(dot(R,P),R)) 163622 163220126 o2(x,o2(o2(x,x),x)) true 17383 17383 0.0007121 0.5 0.9382 0.9249 0.9617 -1 1 2 1 1.806 0.0007278 0.000002972 0.007953 0.9919 1 1.177e-10 0.0000441 0.001912 0.0006677 0.02584 3.249 0.2265 0.0007901 0.00004768 1 1 0.00193 0.02501 0.2364 0.002087 0.02704 0.2556 json
t20_x20_u0_b87 20 20 0 87 add(P,eql(dst(R,P),R)) 163623 163220127 o2(x,o2(o2(x,x),x)) true 17391 17391 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_x20_u0_b88 20 20 0 88 add(P,min(add(R,P),R)) 163624 163220128 o2(x,o2(o2(x,x),x)) true 17399 17399 -0.01665 0.4942 0.9613 0.9466 0.9729 -1 1 2 1 1.71 0.001326 0.0002414 0.009501 0.6919 1 -0.00001985 0.0003005 0.003394 0.001478 0.03844 4.046 0.3703 0.001656 0.0003174 1 1 0.003999 0.04431 0.2909 0.004224 0.04681 0.3073 json
t20_x20_u0_b89 20 20 0 89 add(P,min(sub(R,P),R)) 163625 163220129 o2(x,o2(o2(x,x),x)) true 17407 17407 -0.467 0.2459 0.6608 0.3431 0.5858 -1 0.9806 1.981 1 3.695 0.001962 0.001682 0.03766 0.07663 1 -0.00000222 0.0003024 0.009307 0.002226 0.04718 1.253 0.2534 0.01062 0.0008815 1 1 0.007554 0.0961 0.3088 0.02202 0.2801 0.9001 json
t20_x20_u0_b90 20 20 0 90 add(P,min(mlt(R,P),R)) 163626 163220130 o2(x,o2(o2(x,x),x)) true 17415 17415 -0.03764 0.4833 0.945 0.9247 0.9616 -1 1 2 1 1.927 0.00129 0.0004119 0.01179 0.516 1 -0.00003506 0.0004809 0.005107 0.001562 0.03953 3.354 0.3526 0.001841 0.0005201 1 1 0.003634 0.03948 0.2649 0.00393 0.0427 0.2864 json
t20_x20_u0_b91 20 20 0 91 add(P,min(div(R,P),R)) 163627 163220131 o2(x,o2(o2(x,x),x)) true 17423 17423 -0.08931 0.459 0.9887 0.9757 0.9878 -1 1 2 1 1.256 0.01095 0.005787 0.01174 0.3086 1 -0.000007521 0.03345 0.01929 0.0166 0.1288 10.98 2.828 0.01716 0.03428 1 1 0.02357 0.1042 0.4121 0.02416 0.1068 0.4224 json
t20_x20_u0_b92 20 20 0 92 add(P,min(pow(R,P),R)) 163628 163220132 o2(x,o2(o2(x,x),x)) true 17431 17431 0.003715 0.4974 0.9427 0.9208 0.9596 -1 1 2 1 1.953 0.001167 0.0003582 0.01111 0.5302 1 -0.00002029 0.0002733 0.003733 0.001401 0.03743 3.371 0.312 0.001656 0.0002968 1 1 0.003723 0.0433 0.2691 0.004043 0.04703 0.2922 json
t20_x20_u0_b93 20 20 0 93 add(P,min(mod(R,P),R)) 163629 163220133 o2(x,o2(o2(x,x),x)) true 17439 17439 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_x20_u0_b94 20 20 0 94 add(P,min(lrg(R,P),R)) 163630 163220134 o2(x,o2(o2(x,x),x)) true 17447 17447 -0.002682 0.4958 0.9376 0.9132 0.9556 -1 1 2 1 2.046 0.0009642 0.0003168 0.01103 0.5053 1 -0.0000125 0.0001716 0.003328 0.00116 0.03405 3.088 0.2534 0.001403 0.0001879 1 1 0.003241 0.0399 0.2612 0.00355 0.0437 0.286 json
t20_x20_u0_b95 20 20 0 95 add(P,min(eql(R,P),R)) 163631 163220135 o2(x,o2(o2(x,x),x)) true 17455 17455 -0.03231 0.4815 0.9463 0.928 0.9633 -1 1 2 1 1.884 0.0008346 0.0001011 0.008883 0.7838 1 -0.00001072 0.00008151 0.002361 0.0008571 0.02928 3.296 0.208 0.001008 0.00008783 1 1 0.002395 0.0304 0.2484 0.00258 0.03275 0.2677 json
t20_x20_u0_b96 20 20 0 96 add(P,min(min(R,P),R)) 163632 163220136 o2(x,o2(o2(x,x),x)) true 17463 17463 -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_x20_u0_b97 20 20 0 97 add(P,min(dot(R,P),R)) 163633 163220137 o2(x,o2(o2(x,x),x)) true 17471 17471 -0.1621 0.4188 0.9391 0.8926 0.9448 -1 1 2 1 1.94 0.00587 0.006559 0.03208 -0.05544 1 -0.00007815 0.006748 0.01796 0.01141 0.1068 3.329 1.429 0.01393 0.007559 1 1 0.02084 0.1926 0.556 0.02335 0.2158 0.6229 json
t20_x20_u0_b98 20 20 0 98 add(P,min(dst(R,P),R)) 163634 163220138 o2(x,o2(o2(x,x),x)) true 17479 17479 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_x20_u0_b99 20 20 0 99 add(P,dot(add(R,P),R)) 163635 163220139 o2(x,o2(o2(x,x),x)) true 17487 17487 0.1335 0.5664 0.9284 0.887 0.9418 -1 1 2 1 2.063 0.0127 0.01527 0.05017 -0.09184 1 -0.0001353 0.02292 0.03814 0.02545 0.1595 3.179 1.882 0.03152 0.02584 1 1 0.04054 0.3112 0.6922 0.0457 0.3509 0.7803 json
t20_x20_u0_b100 20 20 0 100 add(P,dot(sub(R,P),R)) 163636 163220140 o2(x,o2(o2(x,x),x)) true 17495 17495 0.2006 0.6051 0.9211 0.855 0.9247 -1 1 2 1 2.144 0.01186 0.01645 0.05462 -0.1621 1 0.0001267 0.02111 0.03941 0.02532 0.1591 2.913 1.844 0.03311 0.02469 1 1 0.03891 0.3094 0.7061 0.04551 0.3619 0.8259 json
t20_x20_u0_b101 20 20 0 101 add(P,dot(mlt(R,P),R)) 163637 163220141 o2(x,o2(o2(x,x),x)) true 17503 17503 -0.01207 0.4969 0.9509 0.9371 0.968 -1 1 2 1 1.733 0.002687 0.001936 0.0167 0.1624 1 -0.00002134 0.001666 0.007556 0.004341 0.06589 3.947 0.9226 0.004933 0.001778 1 1 0.007698 0.07914 0.378 0.008215 0.08446 0.4034 json
t20_x20_u0_b102 20 20 0 102 add(P,dot(div(R,P),R)) 163638 163220142 o2(x,o2(o2(x,x),x)) true 17511 17511 -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_x20_u0_b103 20 20 0 103 add(P,dot(pow(R,P),R)) 163639 163220143 o2(x,o2(o2(x,x),x)) true 17519 17519 -0.9815 0.009308 0.9974 0.03318 0.1821 -1 1 2 1 0.1257 0.004313 0.003244 0.004754 0.1415 1 0 0.01553 0.008165 0.007536 0.08681 18.26 2.828 0.2278 0.468 1 1 0.01361 0.05888 0.1201 0.4103 1.775 3.619 json
t20_x20_u0_b104 20 20 0 104 add(P,dot(mod(R,P),R)) 163640 163220144 o2(x,o2(o2(x,x),x)) true 17527 17527 -0.1943 0.3961 0.968 0.9189 0.9586 -1 1 2 1 1.513 0.01923 0.01429 0.02289 0.1475 1 -0.000004147 0.06636 0.03761 0.03298 0.1816 7.932 2 0.03648 0.07222 1 1 0.04086 0.1675 0.6185 0.04447 0.1823 0.6731 json
t20_x20_u0_b105 20 20 0 105 add(P,dot(lrg(R,P),R)) 163641 163220145 o2(x,o2(o2(x,x),x)) true 17535 17535 0.06175 0.5414 0.9355 0.9094 0.9536 -1 1 2 1 2.012 0.001215 0.0006947 0.01303 0.2726 1 -0.000003319 0.0003599 0.004379 0.00174 0.04171 3.201 0.3888 0.0021 0.0003957 1 1 0.004554 0.05225 0.2591 0.005008 0.05746 0.2849 json
t20_x20_u0_b106 20 20 0 106 add(P,dot(eql(R,P),R)) 163642 163220146 o2(x,o2(o2(x,x),x)) true 17543 17543 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_x20_u0_b107 20 20 0 107 add(P,dot(min(R,P),R)) 163643 163220147 o2(x,o2(o2(x,x),x)) true 17551 17551 0.07213 0.5345 0.9214 0.8905 0.9437 -1 1 2 1 2.134 0.004888 0.004824 0.02805 0.00661 1 -0.00005745 0.005921 0.01751 0.008929 0.0945 3.368 1.582 0.01091 0.006649 1 1 0.01718 0.1382 0.3807 0.01929 0.1552 0.4275 json
t20_x20_u0_b108 20 20 0 108 add(P,dot(dot(R,P),R)) 163644 163220148 o2(x,o2(o2(x,x),x)) true 17559 17559 0.01668 0.509 0.9527 0.9387 0.9689 -1 1 2 1 1.727 0.006201 0.005256 0.02594 0.08256 1 0.000004416 0.006892 0.01675 0.01078 0.1038 4.003 1.536 0.01221 0.007342 1 1 0.0206 0.1614 0.4394 0.02194 0.1719 0.4681 json
t20_x20_u0_b109 20 20 0 109 add(P,dot(dst(R,P),R)) 163645 163220149 o2(x,o2(o2(x,x),x)) true 17567 17567 -0.0426 0.4777 0.9322 0.908 0.9529 -1 1 2 1 2.049 0.02991 0.03496 0.08106 -0.07785 1 0.0001322 0.07837 0.08009 0.05832 0.2415 2.979 2.329 0.07145 0.08631 1 1 0.08752 0.5656 1.175 0.09639 0.623 1.294 json
t20_x20_u0_b110 20 20 0 110 add(P,dst(add(R,P),R)) 163646 163220150 o2(x,o2(o2(x,x),x)) true 17575 17575 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_x20_u0_b111 20 20 0 111 add(P,dst(sub(R,P),R)) 163647 163220151 o2(x,o2(o2(x,x),x)) true 17583 17583 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_x20_u0_b112 20 20 0 112 add(P,dst(mlt(R,P),R)) 163648 163220152 o2(x,o2(o2(x,x),x)) true 17591 17591 0.4799 0.7493 0.8906 0.6246 0.7903 -1 1 2 1 2.305 0.002956 0.003426 0.02893 -0.07367 1 0.00004014 0.001938 0.01223 0.005543 0.07445 2.574 0.6786 0.01022 0.003102 1 1 0.009887 0.1073 0.3564 0.01583 0.1718 0.5706 json
t20_x20_u0_b113 20 20 0 113 add(P,dst(div(R,P),R)) 163649 163220153 o2(x,o2(o2(x,x),x)) true 17599 17599 -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_x20_u0_b114 20 20 0 114 add(P,dst(pow(R,P),R)) 163650 163220154 o2(x,o2(o2(x,x),x)) true 17607 17607 -0.9768 0.01157 0.9999 0.0457 0.2138 -1 1 2 1 0.09247 0.00594 0.003903 0.004973 0.2069 1 0 0.0206 0.009884 0.009812 0.09906 19.92 2.828 0.2154 0.4508 1 1 0.01747 0.07065 0.1664 0.3824 1.546 3.641 json
t20_x20_u0_b115 20 20 0 115 add(P,dst(mod(R,P),R)) 163651 163220155 o2(x,o2(o2(x,x),x)) true 17615 17615 -0.2344 0.3828 1 0.9448 0.972 -1 1 2 1 0.96 0.01386 0.01386 0.01386 0 1 0 0.05568 0.02771 0.02754 0.166 11.98 2 0.02933 0.05893 1 1 0.03501 0.1401 0.5602 0.03706 0.1482 0.5929 json
t20_x20_u0_b116 20 20 0 116 add(P,dst(lrg(R,P),R)) 163652 163220156 o2(x,o2(o2(x,x),x)) true 17623 17623 0.1707 0.5857 0.9257 0.8721 0.9339 -1 1 2 1 2.091 0.0007858 0.0004868 0.01151 0.235 1 0.000003285 0.0001795 0.003443 0.00114 0.03377 2.935 0.2996 0.001459 0.0002059 1 1 0.002895 0.03419 0.2219 0.003319 0.0392 0.2545 json
t20_x20_u0_b117 20 20 0 117 add(P,dst(eql(R,P),R)) 163653 163220157 o2(x,o2(o2(x,x),x)) true 17631 17631 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_x20_u0_b118 20 20 0 118 add(P,dst(min(R,P),R)) 163654 163220158 o2(x,o2(o2(x,x),x)) true 17639 17639 0.7029 0.8735 0.8059 0.2527 0.5027 -0.9385 1 1.938 1 2.537 0.000998 0.001186 0.02233 -0.08595 1 0.00002466 0.0001786 0.005473 0.001685 0.04105 1.838 0.2112 0.00864 0.0007067 1 1 0.004395 0.05467 0.1603 0.01739 0.2163 0.6342 json
t20_x20_u0_b119 20 20 0 119 add(P,dst(dot(R,P),R)) 163655 163220159 o2(x,o2(o2(x,x),x)) true 17647 17647 0.6749 0.8398 0.9491 0.4765 0.6903 -1 1 2 1 1.432 0.00997 0.0113 0.04018 -0.06255 1 -0.00002772 0.01431 0.02869 0.01964 0.1401 3.488 1.532 0.04464 0.03003 1 1 0.02774 0.2097 0.4726 0.05822 0.4401 0.9918 json
t20_x20_u0_b120 20 20 0 120 add(P,dst(dst(R,P),R)) 163656 163220160 o2(x,o2(o2(x,x),x)) true 17655 17655 0.9992 1 0.9992 0.0002865 0.01693 0.4617 1 0.5383 1 0.03121 0.00001239 0.00001967 0.0002827 -0.2272 0 1.126e-11 0.00001554 0.00019 0.00003194 0.005652 20 0.1709 0.1119 0.05424 1 1 0.000102 0.0007966 0.001043 0.3562 2.781 3.642 json
t20_x20_u0_b121 20 20 0 121 sub(P,add(add(R,P),R)) 163657 163220161 o2(x,o2(o2(x,x),x)) true 17663 17663 -0.01372 0.5016 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_x20_u0_b122 20 20 0 122 sub(P,add(sub(R,P),R)) 163658 163220162 o2(x,o2(o2(x,x),x)) true 17671 17671 0.001383 0.5032 0.9735 0.9632 0.9815 -1 1 2 1 1.536 0.002301 0.0007009 0.01154 0.5331 1 0.00003167 0.0008679 0.005183 0.002869 0.05356 4.64 0.6458 0.003117 0.0009011 1 1 0.007622 0.07597 0.368 0.007913 0.07887 0.382 json
t20_x20_u0_b123 20 20 0 123 sub(P,add(mlt(R,P),R)) 163659 163220163 o2(x,o2(o2(x,x),x)) true 17679 17679 -0.0568 0.4743 0.9159 0.8837 0.9401 -1 1 2 1 2.236 0.002838 0.001769 0.02251 0.2319 1 -0.0001436 0.001713 0.01024 0.004098 0.06402 2.844 0.7728 0.005213 0.001938 1 1 0.01018 0.1011 0.3324 0.01152 0.1144 0.3762 json
t20_x20_u0_b124 20 20 0 124 sub(P,add(div(R,P),R)) 163660 163220164 o2(x,o2(o2(x,x),x)) true 17687 17687 -0.1421 0.4297 0.9888 0.9645 0.9821 -1 1 2 1 1.214 0.00879 0.0002547 0.009044 0.9437 1 -0.000002664 0.01657 0.01175 0.008964 0.09468 10.47 2 0.009378 0.01718 1 1 0.01426 0.0742 0.3307 0.01479 0.07693 0.3428 json
t20_x20_u0_b125 20 20 0 125 sub(P,add(pow(R,P),R)) 163661 163220165 o2(x,o2(o2(x,x),x)) true 17695 17695 -0.9805 0.005035 0.9886 0.02309 0.152 -1 1 2 1 0.259 0.002113 0.002361 0.004719 -0.05522 1 -2.628e-11 0.009155 0.00762 0.004454 0.06674 14.14 2 0.1937 0.3964 1 1 0.002359 0.01009 0.03288 0.1021 0.4367 1.424 json
t20_x20_u0_b126 20 20 0 126 sub(P,add(mod(R,P),R)) 163662 163220166 o2(x,o2(o2(x,x),x)) true 17703 17703 -0.1301 0.4329 0.9742 0.9484 0.9739 -1 1 2 1 1.476 0.01001 0.0006129 0.01356 0.8846 1 0.00001058 0.01887 0.01574 0.01044 0.1022 7.534 2 0.0112 0.0199 1 1 0.01639 0.08631 0.3513 0.01728 0.091 0.3704 json
t20_x20_u0_b127 20 20 0 127 sub(P,add(lrg(R,P),R)) 163663 163220167 o2(x,o2(o2(x,x),x)) true 17711 17711 -0.03441 0.4939 0.9586 0.9424 0.9708 -1 1 2 1 1.682 0.001703 0.0005425 0.01124 0.5167 1 0.00001511 0.0004543 0.004209 0.00212 0.04604 4.096 0.4362 0.002382 0.0004821 1 1 0.00586 0.06323 0.319 0.006219 0.0671 0.3385 json
t20_x20_u0_b128 20 20 0 128 sub(P,add(eql(R,P),R)) 163664 163220168 o2(x,o2(o2(x,x),x)) true 17719 17719 -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_x20_u0_b129 20 20 0 129 sub(P,add(min(R,P),R)) 163665 163220169 o2(x,o2(o2(x,x),x)) true 17727 17727 0.4322 0.7094 0.6711 0.3861 0.6214 -0.9693 1 1.969 1 3.688 0.002712 0.002509 0.04214 0.03892 1 -0.00002927 0.0006907 0.0114 0.003444 0.05869 1.393 0.4356 0.01352 0.001789 1 1 0.01132 0.1323 0.3393 0.02932 0.3426 0.8789 json
t20_x20_u0_b130 20 20 0 130 sub(P,add(dot(R,P),R)) 163666 163220170 o2(x,o2(o2(x,x),x)) true 17735 17735 -0.01322 0.4924 0.9062 0.8756 0.9357 -1 1 2 1 2.344 0.01382 0.01501 0.05729 -0.04112 1 0.000002367 0.02114 0.04037 0.02556 0.1599 2.79 1.606 0.03293 0.02414 1 1 0.04253 0.338 0.8219 0.04857 0.386 0.9387 json
t20_x20_u0_b131 20 20 0 131 sub(P,add(dst(R,P),R)) 163667 163220171 o2(x,o2(o2(x,x),x)) true 17743 17743 -0.9003 0 0.9003 0.06365 0.2523 -1 -0.008069 0.9919 1 1.228 0.0001125 0.0002294 0.005331 -0.3418 1 0.000007683 0.00007467 0.001767 0.0003136 0.01771 3.322 0.2508 0.005371 0.001173 1 1 0.0009534 0.01021 0.05528 0.01498 0.1604 0.8685 json
t20_x20_u0_b132 20 20 0 132 sub(P,sub(add(R,P),R)) 163668 163220172 o2(x,o2(o2(x,x),x)) true 17751 17751 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_x20_u0_b133 20 20 0 133 sub(P,sub(sub(R,P),R)) 163669 163220173 o2(x,o2(o2(x,x),x)) true 17759 17759 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_x20_u0_b134 20 20 0 134 sub(P,sub(mlt(R,P),R)) 163670 163220174 o2(x,o2(o2(x,x),x)) true 17767 17767 0.06247 0.5325 0.9131 0.8796 0.9379 -1 1 2 1 2.258 0.002849 0.002743 0.0241 0.019 1 0.00009762 0.00224 0.01176 0.005011 0.07079 2.937 0.8128 0.006358 0.002547 1 1 0.01151 0.1033 0.3511 0.01308 0.1174 0.3991 json
t20_x20_u0_b135 20 20 0 135 sub(P,sub(div(R,P),R)) 163671 163220175 o2(x,o2(o2(x,x),x)) true 17775 17775 -0.11 0.4434 0.9894 0.9735 0.9867 -1 1 2 1 1.221 0.01944 0.0002395 0.01361 0.9757 1 -1.089e-10 0.03832 0.02217 0.0195 0.1396 10.26 2 0.02022 0.03936 1 1 0.02557 0.1041 0.3708 0.02626 0.107 0.3809 json
t20_x20_u0_b136 20 20 0 136 sub(P,sub(pow(R,P),R)) 163672 163220176 o2(x,o2(o2(x,x),x)) true 17783 17783 -0.9732 0.01305 0.9937 0.04409 0.21 -1 1 2 1 0.2273 0.006619 0.004126 0.00805 0.232 1 0 0.02162 0.0119 0.01068 0.1033 12.84 2.828 0.2437 0.4904 1 1 0.008265 0.03542 0.06981 0.1875 0.8032 1.583 json
t20_x20_u0_b137 20 20 0 137 sub(P,sub(mod(R,P),R)) 163673 163220177 o2(x,o2(o2(x,x),x)) true 17791 17791 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t20_x20_u0_b138 20 20 0 138 sub(P,sub(lrg(R,P),R)) 163674 163220178 o2(x,o2(o2(x,x),x)) true 17799 17799 -0.04149 0.4747 0.9628 0.9463 0.9728 -1 1 2 1 1.685 0.001238 0.0001026 0.0087 0.8469 1 -0.00001503 0.0002536 0.00311 0.001265 0.03557 4.088 0.312 0.001416 0.0002679 1 1 0.003178 0.03606 0.2693 0.003359 0.0381 0.2846 json
t20_x20_u0_b139 20 20 0 139 sub(P,sub(eql(R,P),R)) 163675 163220179 o2(x,o2(o2(x,x),x)) true 17807 17807 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_x20_u0_b140 20 20 0 140 sub(P,sub(min(R,P),R)) 163676 163220180 o2(x,o2(o2(x,x),x)) true 17815 17815 0.5036 0.7759 0.6706 0.3236 0.5688 -0.9989 1 1.999 1 3.628 0.00143 0.00164 0.03331 -0.06845 1 0.00002708 0.0001727 0.007555 0.00196 0.04427 1.329 0.2301 0.009488 0.0005337 1 1 0.006099 0.0777 0.2397 0.01885 0.2402 0.7408 json
t20_x20_u0_b141 20 20 0 141 sub(P,sub(dot(R,P),R)) 163677 163220181 o2(x,o2(o2(x,x),x)) true 17823 17823 0.06189 0.5327 0.9133 0.8792 0.9377 -1 1 2 1 2.312 0.01199 0.01722 0.05681 -0.1788 1 0.0000688 0.02191 0.04015 0.02598 0.1612 2.837 1.814 0.03323 0.02492 1 1 0.04141 0.3291 0.7426 0.04709 0.3743 0.8446 json
t20_x20_u0_b142 20 20 0 142 sub(P,sub(dst(R,P),R)) 163678 163220182 o2(x,o2(o2(x,x),x)) true 17831 17831 -0.8257 0.08374 0.9231 0.2161 0.4649 -1 1 2 1 1.395 0.002055 0.002016 0.02121 0.009646 1 -0.00001079 0.0008093 0.0074 0.003619 0.06016 2.836 0.4036 0.01884 0.003745 1 1 0.009445 0.1049 0.3169 0.0437 0.4855 1.466 json
t20_x20_u0_b143 20 20 0 143 sub(P,mlt(add(R,P),R)) 163679 163220183 o2(x,o2(o2(x,x),x)) true 17839 17839 -0.08323 0.4457 0.9137 0.8764 0.9362 -1 1 2 1 2.279 0.002035 0.001291 0.01835 0.2236 1 -0.0001307 0.001302 0.00849 0.002989 0.05467 2.98 0.8667 0.003795 0.001486 1 1 0.007211 0.07236 0.2886 0.008228 0.08257 0.3293 json
t20_x20_u0_b144 20 20 0 144 sub(P,mlt(sub(R,P),R)) 163680 163220184 o2(x,o2(o2(x,x),x)) true 17847 17847 -0.0708 0.4607 0.9172 0.8846 0.9406 -1 1 2 1 2.25 0.001761 0.001728 0.01841 0.009587 1 -0.0000292 0.001386 0.009049 0.003148 0.05611 3.048 0.629 0.003943 0.001567 1 1 0.005863 0.05781 0.2841 0.006628 0.06535 0.3212 json
t20_x20_u0_b145 20 20 0 145 sub(P,mlt(mlt(R,P),R)) 163681 163220185 o2(x,o2(o2(x,x),x)) true 17855 17855 0.007845 0.4993 0.8716 0.8344 0.9135 -1 1 2 1 2.655 0.0009889 0.0006047 0.01574 0.2411 1 -0.00001158 0.0005473 0.006921 0.001345 0.03668 2.33 0.3382 0.00191 0.0006559 1 1 0.003507 0.03612 0.2047 0.004203 0.04328 0.2453 json
t20_x20_u0_b146 20 20 0 146 sub(P,mlt(div(R,P),R)) 163682 163220186 o2(x,o2(o2(x,x),x)) true 17863 17863 -0.1256 0.4375 0.986 0.9629 0.9813 -1 1 2 1 1.355 0.01164 0.00003624 0.01105 0.9938 1 2.85e-7 0.02272 0.01717 0.01156 0.1075 9.733 2 0.01213 0.02359 1 1 0.01663 0.07637 0.3316 0.01727 0.07931 0.3444 json
t20_x20_u0_b147 20 20 0 147 sub(P,mlt(pow(R,P),R)) 163683 163220187 o2(x,o2(o2(x,x),x)) true 17871 17871 -0.9557 0.02562 0.9848 0.06548 0.2559 -1 1 2 1 0.3605 0.00651 0.005441 0.009563 0.0894 1 -1.201e-10 0.0243 0.01536 0.01185 0.1089 11.38 2.206 0.1825 0.3711 1 1 0.01071 0.04793 0.1378 0.1635 0.732 2.104 json
t20_x20_u0_b148 20 20 0 148 sub(P,mlt(mod(R,P),R)) 163684 163220188 o2(x,o2(o2(x,x),x)) true 17879 17879 -0.1328 0.4375 0.9922 0.9706 0.9852 -1 1 2 1 1.188 0.01073 0.00002067 0.008158 0.9962 1 -3.523e-7 0.02111 0.01358 0.01068 0.1033 12.66 2 0.01107 0.02175 1 1 0.01569 0.07269 0.3265 0.01617 0.07489 0.3364 json
t20_x20_u0_b149 20 20 0 149 sub(P,mlt(lrg(R,P),R)) 163685 163220189 o2(x,o2(o2(x,x),x)) true 17887 17887 -0.009639 0.487 0.941 0.9234 0.9609 -1 1 2 1 1.889 0.0008568 0.0001296 0.009087 0.7373 1 0.00001743 0.0001188 0.002619 0.0009042 0.03007 3.309 0.215 0.001068 0.0001286 1 1 0.002442 0.03032 0.2466 0.002644 0.03284 0.2671 json
t20_x20_u0_b150 20 20 0 150 sub(P,mlt(eql(R,P),R)) 163686 163220190 o2(x,o2(o2(x,x),x)) true 17895 17895 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_x20_u0_b151 20 20 0 151 sub(P,mlt(min(R,P),R)) 163687 163220191 o2(x,o2(o2(x,x),x)) true 17903 17903 -0.01139 0.4813 0.9038 0.8731 0.9344 -1 1 2 1 2.323 0.001058 0.0005927 0.01391 0.2821 1 0.00002295 0.000627 0.006207 0.001457 0.03818 2.744 0.4618 0.001891 0.0007181 1 1 0.00372 0.03663 0.2231 0.004261 0.04196 0.2555 json
t20_x20_u0_b152 20 20 0 152 sub(P,mlt(dot(R,P),R)) 163688 163220192 o2(x,o2(o2(x,x),x)) true 17911 17911 -0.0003781 0.5003 0.8746 0.8367 0.9147 -1 1 2 1 2.624 0.009557 0.008538 0.04814 0.05633 1 -0.00005356 0.009767 0.02796 0.01578 0.1256 2.609 1.236 0.02163 0.01167 1 1 0.02434 0.2222 0.5927 0.02909 0.2656 0.7084 json
t20_x20_u0_b153 20 20 0 153 sub(P,mlt(dst(R,P),R)) 163689 163220193 o2(x,o2(o2(x,x),x)) true 17919 17919 0.03469 0.5163 0.9421 0.9201 0.9592 -1 1 2 1 1.971 0.008807 0.00898 0.0365 -0.00972 1 -0.00006007 0.01274 0.02594 0.01646 0.1283 3.515 1.544 0.01933 0.01385 1 1 0.02325 0.1916 0.5927 0.02527 0.2082 0.6441 json
t20_x20_u0_b154 20 20 0 154 sub(P,div(add(R,P),R)) 163690 163220194 o2(x,o2(o2(x,x),x)) true 17927 17927 -0.1036 0.4445 0.9466 0.918 0.9581 -1 1 2 1 1.879 0.05976 0.06891 0.1035 -0.07108 1 -0.00007309 0.2543 0.1454 0.118 0.3435 3.319 2.828 0.1402 0.277 1 1 0.1371 0.7248 1.591 0.1494 0.7895 1.733 json
t20_x20_u0_b155 20 20 0 155 sub(P,div(sub(R,P),R)) 163691 163220195 o2(x,o2(o2(x,x),x)) true 17935 17935 -0.1826 0.4046 0.9416 0.8888 0.9428 -1 1 2 1 1.913 0.05854 0.07119 0.1073 -0.09745 1 -0.00002808 0.2562 0.1473 0.1183 0.344 3.206 2.828 0.146 0.2882 1 1 0.153 0.8112 1.786 0.1721 0.9127 2.009 json
t20_x20_u0_b156 20 20 0 156 sub(P,div(mlt(R,P),R)) 163692 163220196 o2(x,o2(o2(x,x),x)) true 17943 17943 -1.663e-9 0 8.368e-8 1.488e-14 1.22e-7 -5.534e-7 5.479e-7 0.000001101 1 0.9211 2.194e-16 2.252e-16 1.49e-8 -0.000005878 0 -4.416e-13 2.669e-17 3.395e-9 2.226e-16 1.492e-8 1.001 1.24e-7 0.0004446 0.00002669 0 1 4.688e-16 5.972e-15 1.749e-14 0.0004688 0.005972 0.01749 json
t20_x20_u0_b157 20 20 0 157 sub(P,div(div(R,P),R)) 163693 163220197 o2(x,o2(o2(x,x),x)) true 17951 17951 -0.125 0.4375 0.9508 0.9262 0.9624 -1 1 2 1 1.541 0.009062 2.88e-18 0.01587 1 1 -4.064e-10 0.01612 0.01857 0.008808 0.09385 5.914 1 0.009784 0.0174 1 1 0.01335 0.0721 0.3247 0.01441 0.07785 0.3506 json
t20_x20_u0_b158 20 20 0 158 sub(P,div(pow(R,P),R)) 163694 163220198 o2(x,o2(o2(x,x),x)) true 17959 17959 -0.9605 0.022 0.9918 0.06748 0.2598 -1 1 2 1 0.2467 0.006521 0.005353 0.008949 0.09831 1 -6.758e-11 0.02393 0.01453 0.01179 0.1086 12.13 2.003 0.176 0.3547 1 1 0.01169 0.05644 0.1465 0.1733 0.8364 2.171 json
t20_x20_u0_b159 20 20 0 159 sub(P,div(mod(R,P),R)) 163695 163220199 o2(x,o2(o2(x,x),x)) true 17967 17967 -0.1563 0.4375 0.9688 0.9369 0.9679 -1 1 2 1 1.385 0.004323 6.429e-18 0.007937 1 1 -5.406e-10 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004615 0.008435 1 1 0.006228 0.03975 0.2856 0.006647 0.04243 0.3049 json
t20_x20_u0_b160 20 20 0 160 sub(P,div(lrg(R,P),R)) 163696 163220200 o2(x,o2(o2(x,x),x)) true 17975 17975 0.1273 0.5677 0.9322 0.8967 0.947 -1 1 2 1 1.963 0.01069 0.01129 0.03595 -0.027 1 0.00006142 0.02774 0.02943 0.0207 0.1439 4.003 2.498 0.02451 0.03094 1 1 0.03522 0.2339 0.7124 0.03927 0.2608 0.7945 json
t20_x20_u0_b161 20 20 0 161 sub(P,div(eql(R,P),R)) 163697 163220201 o2(x,o2(o2(x,x),x)) true 17983 17983 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_x20_u0_b162 20 20 0 162 sub(P,div(min(R,P),R)) 163698 163220202 o2(x,o2(o2(x,x),x)) true 17991 17991 0.2625 0.6263 0.8835 0.7918 0.8899 -1 1 2 1 2.231 0.02982 0.03211 0.05741 -0.03701 1 0.00004419 0.1222 0.07185 0.05867 0.2422 4.219 2.828 0.07821 0.1544 1 1 0.06623 0.3432 0.8971 0.08364 0.4335 1.133 json
t20_x20_u0_b163 20 20 0 163 sub(P,div(dot(R,P),R)) 163699 163220203 o2(x,o2(o2(x,x),x)) true 17999 17999 0.02914 0.5089 0.8512 0.8125 0.9014 -1 1 2 1 2.728 0.04114 0.04184 0.1018 -0.008384 1 -0.0001358 0.1187 0.1004 0.0726 0.2694 2.648 2.828 0.1021 0.1462 1 1 0.1025 0.6458 1.582 0.1262 0.7949 1.948 json