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
t19_x20_u5_b8 19 20 5 8 add(R,min(sgn(P),R)) 154200 155100452 o2(x,o2(o1(x),x)) true 113607 113607 -0.3961 0.2433 0.7054 0.4422 0.665 -1 1 2 1 4.029 0.005548 0.005594 0.06684 -0.004132 1 0.00003889 0.001893 0.02115 0.006673 0.08169 1.222 0.438 0.0252 0.004282 1 1 0.02203 0.2502 0.6269 0.04982 0.5658 1.418 json
t19_x20_u5_b9 19 20 5 9 add(R,dot(sgn(P),R)) 154201 155100453 o2(x,o2(o1(x),x)) true 113615 113615 -0.03934 0.4597 0.5327 0.3969 0.63 -1 1 2 1 4.737 0.006848 0.006934 0.08043 -0.00627 1 -0.00002349 0.002498 0.02421 0.007313 0.08552 1.063 0.5775 0.03472 0.006294 1 1 0.02573 0.2848 0.7645 0.06481 0.7175 1.926 json
t19_x20_u5_b10 19 20 5 10 add(R,dst(sgn(P),R)) 154202 155100454 o2(x,o2(o1(x),x)) true 113623 113623 0.9456 0.9833 0.9515 0.03936 0.1984 -0.5656 1 1.566 1 0.9274 0.0008747 0.001186 0.01276 -0.151 1 -0.00004886 0.0007039 0.006775 0.001897 0.04355 3.412 0.3963 0.05235 0.01788 1 1 0.002985 0.02683 0.05613 0.07583 0.6816 1.426 json
t19_x20_u5_b11 19 20 5 11 sub(R,add(sgn(P),R)) 154203 155100455 o2(x,o2(o1(x),x)) true 113631 113631 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 1.212e-17 0.007937 1 1 1.15e-9 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
t19_x20_u5_b12 19 20 5 12 sub(R,sub(sgn(P),R)) 154204 155100456 o2(x,o2(o1(x),x)) true 113639 113639 0.001141 0.5063 0.7559 0.6736 0.8207 -1 1 2 1 3.766 0.006343 0.005939 0.06443 0.03287 1 0.00004767 0.002828 0.02455 0.008132 0.09018 1.4 0.5495 0.01823 0.004198 1 1 0.02444 0.258 0.6814 0.03629 0.3831 1.012 json
t19_x20_u5_b13 19 20 5 13 sub(R,mlt(sgn(P),R)) 154205 155100457 o2(x,o2(o1(x),x)) true 113647 113647 0.02557 0.2912 0.3403 0.2725 0.522 -1 1 2 1 3.428 0.003831 0.005004 0.04702 -0.1328 1 0.00003091 0.001518 0.01419 0.006622 0.08138 1.731 0.4602 0.03242 0.00557 1 1 0.017 0.1886 0.4707 0.06238 0.6921 1.727 json
t19_x20_u5_b14 19 20 5 14 sub(R,div(sgn(P),R)) 154206 155100458 o2(x,o2(o1(x),x)) true 113655 113655 0.04927 0.5237 0.8392 0.7835 0.8851 -1 1 2 1 3.009 0.02862 0.03659 0.1067 -0.1223 1 0.00007322 0.0681 0.08367 0.05384 0.232 2.175 2.828 0.08322 0.08692 1 1 0.09722 0.6747 1.622 0.1241 0.8612 2.07 json
t19_x20_u5_b15 19 20 5 15 sub(R,pow(sgn(P),R)) 154207 155100459 o2(x,o2(o1(x),x)) true 113663 113663 -0.9074 0.007721 0.9131 0.05228 0.2287 -1 0.8288 1.829 1 1.487 0.003985 0.002167 0.01898 0.2955 1 0.00004251 0.0103 0.01345 0.005795 0.07612 4.011 1.829 0.1177 0.1969 1 1 0.009127 0.05185 0.1112 0.1746 0.9918 2.128 json
t19_x20_u5_b16 19 20 5 16 sub(R,mod(sgn(P),R)) 154208 155100460 o2(x,o2(o1(x),x)) true 113671 113671 -0.001296 0.4926 0.4209 0.2632 0.513 -1 1 2 1 4.92 0.002958 0.003492 0.0655 -0.08283 1 0.0000184 0.0003793 0.01502 0.00216 0.04648 0.7096 0.2335 0.02451 0.001441 1 1 0.01258 0.1616 0.4109 0.04779 0.6139 1.561 json
t19_x20_u5_b17 19 20 5 17 sub(R,lrg(sgn(P),R)) 154209 155100461 o2(x,o2(o1(x),x)) true 113679 113679 -0.3894 0.2714 0.612 0.3343 0.5782 -1 0.9693 1.969 1 4.272 0.002594 0.002651 0.05 -0.01085 1 0.00007441 0.000655 0.01427 0.002744 0.05238 1.048 0.3332 0.01569 0.001959 1 1 0.01101 0.1302 0.3632 0.03294 0.3896 1.086 json
t19_x20_u5_b18 19 20 5 18 sub(R,eql(sgn(P),R)) 154210 155100462 o2(x,o2(o1(x),x)) true 113687 113687 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
t19_x20_u5_b19 19 20 5 19 sub(R,min(sgn(P),R)) 154211 155100463 o2(x,o2(o1(x),x)) true 113695 113695 0.402 0.5369 0.402 0.1938 0.4402 0 1 1 1 2.433 0.0008013 0.0007251 0.01682 0.04992 1 -0.00001802 0.0003514 0.006313 0.001243 0.03526 2.097 0.223 0.007876 0.001813 1 1 0.002966 0.03124 0.1037 0.0153 0.1612 0.5351 json
t19_x20_u5_b20 19 20 5 20 sub(R,dot(sgn(P),R)) 154212 155100464 o2(x,o2(o1(x),x)) true 113703 113703 0.04372 0.5143 0.5121 0.3763 0.6134 -1 1 2 1 4.751 0.005422 0.007931 0.07719 -0.1879 1 0.00005908 0.002569 0.02305 0.007394 0.08599 1.114 0.565 0.03549 0.006828 1 1 0.02426 0.2665 0.7014 0.06446 0.7082 1.864 json
t19_x20_u5_b21 19 20 5 21 sub(R,dst(sgn(P),R)) 154213 155100465 o2(x,o2(o1(x),x)) true 113711 113711 -0.9334 0.01205 0.938 0.04448 0.2109 -1 0.601 1.601 1 1.058 0.001392 0.001019 0.01561 0.1546 1 0.00004721 0.0007859 0.007756 0.002168 0.04656 2.983 0.382 0.05421 0.01767 1 1 0.004453 0.04101 0.09363 0.1001 0.9221 2.105 json
t19_x20_u5_b22 19 20 5 22 mlt(R,add(sgn(P),R)) 154214 155100466 o2(x,o2(o1(x),x)) true 113719 113719 0.2798 0.6384 0.3753 0.1741 0.4172 -0.2497 1 1.25 1 4.036 0.002606 0.002658 0.05093 -0.009964 1 -0.000082 0.0007793 0.01445 0.00267 0.05167 1.015 0.2516 0.03024 0.004477 1 1 0.009869 0.1158 0.3194 0.0567 0.6655 1.835 json
t19_x20_u5_b23 19 20 5 23 mlt(R,sub(sgn(P),R)) 154215 155100467 o2(x,o2(o1(x),x)) true 113727 113727 -0.3227 0.2973 0.3991 0.1694 0.4116 -1 0.2496 1.25 1 4.098 0.002393 0.003172 0.05375 -0.1398 1 0.0000284 0.0008295 0.01522 0.002676 0.05173 0.9624 0.2539 0.03285 0.004897 1 1 0.01051 0.123 0.3004 0.06202 0.7261 1.773 json
t19_x20_u5_b24 19 20 5 24 mlt(R,mlt(sgn(P),R)) 154216 155100468 o2(x,o2(o1(x),x)) true 113735 113735 -0.005115 0.4977 0.3253 0.1661 0.4076 -0.9979 0.9978 1.996 1 4.707 0.0008155 0.0007584 0.03153 0.03629 1 0.00001434 0.00009429 0.007353 0.0005799 0.02408 0.7638 0.1147 0.009473 0.0005675 1 1 0.002678 0.0347 0.1242 0.01612 0.2089 0.7477 json
t19_x20_u5_b25 19 20 5 25 mlt(R,div(sgn(P),R)) 154217 155100469 o2(x,o2(o1(x),x)) true 113743 113743 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 6.319e-17 0.007937 1 1 -6.71e-10 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
t19_x20_u5_b26 19 20 5 26 mlt(R,pow(sgn(P),R)) 154218 155100470 o2(x,o2(o1(x),x)) true 113751 113751 -0.5557 0.2089 0.7175 0.3312 0.5755 -1 0.9806 1.981 1 3.156 0.007659 0.003214 0.0345 0.4088 1 0.00001063 0.01731 0.01919 0.00968 0.09839 2.852 2.541 0.03283 0.05228 1 1 0.01523 0.1013 0.287 0.04599 0.306 0.8666 json
t19_x20_u5_b27 19 20 5 27 mlt(R,mod(sgn(P),R)) 154219 155100471 o2(x,o2(o1(x),x)) true 113759 113759 -0.005817 0.4541 0.07145 0.008817 0.0939 -0.2495 0.2496 0.4991 1 2.624 0.0001333 0.0001434 0.01298 -0.0365 1 -0.000007184 0.00001638 0.002951 0.0001082 0.0104 0.8011 0.05774 0.03138 0.001858 1 1 0.0005604 0.007219 0.01707 0.06356 0.8187 1.936 json
t19_x20_u5_b28 19 20 5 28 mlt(R,lrg(sgn(P),R)) 154220 155100472 o2(x,o2(o1(x),x)) true 113767 113767 -0.0259 0.2244 0.2003 0.1084 0.3292 -0.9986 0.9806 1.979 1 3.471 0.001574 0.001465 0.03348 0.0359 1 -5.686e-7 0.0001812 0.007745 0.001918 0.0438 1.308 0.219 0.02805 0.001672 1 1 0.005937 0.07705 0.1996 0.05479 0.7111 1.842 json
t19_x20_u5_b29 19 20 5 29 mlt(R,eql(sgn(P),R)) 154221 155100473 o2(x,o2(o1(x),x)) true 113775 113775 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
t19_x20_u5_b30 19 20 5 30 mlt(R,min(sgn(P),R)) 154222 155100474 o2(x,o2(o1(x),x)) true 113783 113783 0.1554 0.7413 0.3619 0.168 0.4099 -0.9693 0.9989 1.968 1 4.621 0.001664 0.002014 0.04629 -0.09514 1 -0.00002012 0.0002124 0.01061 0.001535 0.03917 0.8462 0.2301 0.02189 0.001264 1 1 0.007041 0.0899 0.2463 0.04191 0.5352 1.466 json
t19_x20_u5_b31 19 20 5 31 mlt(R,dot(sgn(P),R)) 154223 155100475 o2(x,o2(o1(x),x)) true 113791 113791 0.01317 0.508 0.3892 0.2546 0.5046 -1 1 2 1 4.748 0.001983 0.001789 0.04569 0.05149 1 0.00001126 0.0004352 0.0119 0.001685 0.04105 0.8986 0.2548 0.01482 0.00171 1 1 0.006801 0.08402 0.2679 0.02671 0.33 1.052 json
t19_x20_u5_b32 19 20 5 32 mlt(R,dst(sgn(P),R)) 154224 155100476 o2(x,o2(o1(x),x)) true 113799 113799 0.005516 0.494 0.5621 0.4273 0.6537 -1 1 2 1 4.695 0.006039 0.007089 0.08085 -0.07999 1 -0.00000159 0.002162 0.02414 0.006591 0.08119 1.004 0.4561 0.03072 0.005061 1 1 0.02565 0.292 0.7188 0.06004 0.6835 1.682 json
t19_x20_u5_b33 19 20 5 33 div(R,add(sgn(P),R)) 154225 155100477 o2(x,o2(o1(x),x)) true 113807 113807 -0.3047 0.3729 0.5631 0.3577 0.598 -1 0.9999 2 1 4.095 0.008095 0.008192 0.07122 -0.005958 1 0.000237 0.00911 0.03559 0.01121 0.1059 1.487 1.382 0.04554 0.02547 1 1 0.02775 0.244 0.6182 0.07758 0.6821 1.728 json
t19_x20_u5_b34 19 20 5 34 div(R,sub(sgn(P),R)) 154226 155100478 o2(x,o2(o1(x),x)) true 113815 113815 0.2491 0.5652 0.5328 0.3544 0.5953 -0.9998 1 2 1 4.112 0.008832 0.007619 0.0685 0.07379 1 -0.0004313 0.01033 0.0346 0.01176 0.1084 1.583 1.907 0.04642 0.02914 1 1 0.02643 0.2395 0.5949 0.07457 0.6758 1.679 json
t19_x20_u5_b35 19 20 5 35 div(R,mlt(sgn(P),R)) 154227 155100479 o2(x,o2(o1(x),x)) true 113823 113823 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 5.572e-17 0.007937 1 1 -9.048e-10 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
t19_x20_u5_b36 19 20 5 36 div(R,div(sgn(P),R)) 154228 155100480 o2(x,o2(o1(x),x)) true 113831 113831 -0.1313 0.4375 0.427 0.2638 0.5136 -1 0.9978 1.998 1 4.681 0.01053 0.000713 0.03586 0.8732 1 0.00001485 0.01984 0.02266 0.009961 0.0998 2.783 1.89 0.04264 0.07521 1 1 0.01482 0.07803 0.2731 0.05618 0.2958 1.035 json
t19_x20_u5_b37 19 20 5 37 div(R,pow(sgn(P),R)) 154229 155100481 o2(x,o2(o1(x),x)) true 113839 113839 -0.5448 0.219 0.7137 0.3378 0.5812 -1 0.9806 1.981 1 3.199 0.006444 0.002335 0.03393 0.468 1 0.000006098 0.01274 0.01685 0.00763 0.08735 2.574 2.098 0.02599 0.03771 1 1 0.01273 0.09512 0.2994 0.03769 0.2815 0.8861 json
t19_x20_u5_b38 19 20 5 38 div(R,mod(sgn(P),R)) 154230 155100482 o2(x,o2(o1(x),x)) true 113847 113847 -0.1611 0.4183 0.9309 0.8808 0.9385 -1 1 2 1 2.063 0.04725 0.03897 0.1003 0.09608 1 -0.0001815 0.1194 0.1003 0.07616 0.276 2.752 2.828 0.09789 0.1356 1 1 0.1173 0.6955 1.589 0.1331 0.7896 1.804 json
t19_x20_u5_b39 19 20 5 39 div(R,lrg(sgn(P),R)) 154231 155100483 o2(x,o2(o1(x),x)) true 113855 113855 -0.5521 0.2093 0.7173 0.3323 0.5765 -1 0.9806 1.981 1 3.203 0.005341 0.001961 0.03349 0.463 1 0.000005562 0.009453 0.0147 0.006182 0.07862 2.347 2.097 0.02197 0.02844 1 1 0.01098 0.09044 0.2843 0.03304 0.2721 0.8554 json
t19_x20_u5_b40 19 20 5 40 div(R,eql(sgn(P),R)) 154232 155100484 o2(x,o2(o1(x),x)) true 113863 113863 -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
t19_x20_u5_b41 19 20 5 41 div(R,min(sgn(P),R)) 154233 155100485 o2(x,o2(o1(x),x)) true 113871 113871 0.4011 0.6962 0.7283 0.4885 0.6989 -1 1 2 1 3.466 0.01652 0.009134 0.04124 0.2878 1 -0.00003349 0.04754 0.0315 0.02395 0.1548 3.753 2.828 0.05251 0.09734 1 1 0.04154 0.2124 0.5722 0.08504 0.4349 1.172 json
t19_x20_u5_b42 19 20 5 42 div(R,dot(sgn(P),R)) 154234 155100486 o2(x,o2(o1(x),x)) true 113879 113879 -0.03249 0.4885 0.6824 0.5648 0.7515 -1 1 2 1 4.306 0.01403 0.01135 0.07727 0.1058 1 -0.0001071 0.0226 0.04181 0.01941 0.1393 1.803 2.828 0.04493 0.04 1 1 0.04534 0.34 0.7435 0.08027 0.6019 1.316 json
t19_x20_u5_b43 19 20 5 43 div(R,dst(sgn(P),R)) 154235 155100487 o2(x,o2(o1(x),x)) true 113887 113887 0.01258 0.5005 0.3028 0.1589 0.3986 -1 1 2 1 4.501 0.00218 0.002137 0.04754 0.009979 1 0.00002553 0.0005819 0.01248 0.002058 0.04536 0.9543 0.3313 0.02717 0.003662 1 1 0.007548 0.09402 0.2611 0.0475 0.5916 1.643 json
t19_x20_u5_b44 19 20 5 44 pow(R,add(sgn(P),R)) 154236 155100488 o2(x,o2(o1(x),x)) true 113895 113895 -0.9177 0.04297 0.9964 0.1522 0.3901 -1 1 2 1 0.3212 0.01595 0.01477 0.01602 0.03853 1 0.000002741 0.06422 0.03184 0.03046 0.1745 10.9 2.828 0.2019 0.422 1 1 0.02505 0.1069 0.2642 0.1646 0.7026 1.736 json
t19_x20_u5_b45 19 20 5 45 pow(R,sub(sgn(P),R)) 154237 155100489 o2(x,o2(o1(x),x)) true 113903 113903 -0.9151 0.04297 0.9989 0.1608 0.401 -1 1 2 1 0.2842 0.0164 0.01589 0.01637 0.01592 1 0.000002483 0.06746 0.03275 0.032 0.1789 10.93 2.828 0.2007 0.4194 1 1 0.0254 0.1094 0.2723 0.1579 0.68 1.693 json
t19_x20_u5_b46 19 20 5 46 pow(R,mlt(sgn(P),R)) 154238 155100490 o2(x,o2(o1(x),x)) true 113911 113911 -0.8543 0.07422 0.9973 0.2654 0.5151 -1 1 2 1 0.4624 0.02376 0.02349 0.0243 0.005695 1 0.000001004 0.09854 0.04831 0.04663 0.2159 8.886 2.828 0.178 0.3713 1 1 0.04513 0.1886 0.6266 0.1701 0.7108 2.361 json
t19_x20_u5_b47 19 20 5 47 pow(R,div(sgn(P),R)) 154239 155100491 o2(x,o2(o1(x),x)) true 113919 113919 -0.8658 0.07031 0.9936 0.241 0.491 -1 1 2 1 0.4821 0.02243 0.02251 0.02407 -0.001725 1 0.000004192 0.09363 0.04688 0.04434 0.2106 8.749 2.828 0.1864 0.3884 1 1 0.04337 0.1819 0.5473 0.1799 0.7548 2.27 json
t19_x20_u5_b48 19 20 5 48 pow(R,pow(sgn(P),R)) 154240 155100492 o2(x,o2(o1(x),x)) true 113927 113927 -0.9864 0.007813 0.998 0.02392 0.1547 -1 1 2 1 0.09124 0.002279 0.002898 0.003096 -0.1195 1 0.000002697 0.01091 0.005907 0.005167 0.07188 23.21 2.64 0.2164 0.456 1 1 0.0007549 0.005342 0.02113 0.03156 0.2233 0.8832 json
t19_x20_u5_b49 19 20 5 49 pow(R,mod(sgn(P),R)) 154241 155100493 o2(x,o2(o1(x),x)) true 113935 113935 -0.8529 0.07422 0.9987 0.2701 0.5197 -1 1 2 1 0.4303 0.02434 0.02399 0.02444 0.007345 1 0.00000115 0.1008 0.04887 0.0477 0.2184 8.936 2.828 0.1789 0.3733 1 1 0.04608 0.1921 0.6361 0.1706 0.7112 2.355 json
t19_x20_u5_b50 19 20 5 50 pow(R,lrg(sgn(P),R)) 154242 155100494 o2(x,o2(o1(x),x)) true 113943 113943 -0.08012 0.4609 0.998 0.9909 0.9955 -1 1 2 1 1.063 0.01614 0.008945 0.01301 0.2867 1 0.000002697 0.05197 0.02581 0.0249 0.1578 12.13 2.828 0.02531 0.05245 1 1 0.03067 0.125 0.4555 0.03095 0.1262 0.4596 json
t19_x20_u5_b51 19 20 5 51 pow(R,eql(sgn(P),R)) 154243 155100495 o2(x,o2(o1(x),x)) true 113951 113951 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
t19_x20_u5_b52 19 20 5 52 pow(R,min(sgn(P),R)) 154244 155100496 o2(x,o2(o1(x),x)) true 113959 113959 -0.9153 0.04297 0.9988 0.1602 0.4003 -1 1 2 1 0.2934 0.01643 0.01583 0.01634 0.01872 1 0.000001003 0.06742 0.03274 0.03198 0.1788 10.94 2.828 0.2013 0.4208 1 1 0.02533 0.1089 0.2717 0.1581 0.6796 1.696 json
t19_x20_u5_b53 19 20 5 53 pow(R,dot(sgn(P),R)) 154245 155100497 o2(x,o2(o1(x),x)) true 113967 113967 -0.9161 0.04297 0.998 0.1572 0.3965 -1 1 2 1 0.311 0.01599 0.01547 0.0164 0.01669 1 -0.000001659 0.06572 0.03246 0.03118 0.1766 10.77 2.828 0.2002 0.4181 1 1 0.02501 0.1073 0.2706 0.1591 0.6828 1.721 json
t19_x20_u5_b54 19 20 5 54 pow(R,dst(sgn(P),R)) 154246 155100498 o2(x,o2(o1(x),x)) true 113975 113975 -0.9388 0.04297 0.9753 0.08556 0.2925 -1 0.956 1.956 1 0.4173 0.008399 0.008701 0.01301 -0.01765 1 0.000009698 0.03562 0.02372 0.01694 0.1301 10 2.766 0.1998 0.4162 1 1 0.01293 0.05721 0.1391 0.1511 0.6686 1.626 json
t19_x20_u5_b55 19 20 5 55 mod(R,add(sgn(P),R)) 154247 155100499 o2(x,o2(o1(x),x)) true 113983 113983 -0.006715 0.4845 0.2752 0.129 0.3592 -0.9989 0.9809 1.98 1 4.519 0.001509 0.001458 0.04377 0.01705 1 0.000007939 0.0001746 0.01004 0.001051 0.03242 0.7407 0.1687 0.023 0.001353 1 1 0.006037 0.0779 0.2126 0.04679 0.6038 1.648 json
t19_x20_u5_b56 19 20 5 56 mod(R,sub(sgn(P),R)) 154248 155100500 o2(x,o2(o1(x),x)) true 113991 113991 -0.008143 0.4692 0.2889 0.139 0.3729 -0.9987 0.9693 1.968 1 4.573 0.001411 0.00171 0.04513 -0.09575 1 -0.00001092 0.0001836 0.01036 0.001084 0.03292 0.7295 0.2163 0.02245 0.001321 1 1 0.006517 0.08369 0.2032 0.04688 0.602 1.462 json
t19_x20_u5_b57 19 20 5 57 mod(R,mlt(sgn(P),R)) 154249 155100501 o2(x,o2(o1(x),x)) true 113999 113999 -0.1352 0.1932 0.1948 0.1353 0.3678 -1 0.9558 1.956 1 2.719 0.01006 0.0004031 0.02202 0.923 1 -0.000002492 0.01942 0.01999 0.00998 0.0999 4.537 1.898 0.07733 0.1435 1 1 0.01406 0.07149 0.241 0.1039 0.5284 1.781 json
t19_x20_u5_b58 19 20 5 58 mod(R,div(sgn(P),R)) 154250 155100502 o2(x,o2(o1(x),x)) true 114007 114007 -0.12 0.4324 0.4674 0.3015 0.5491 -1 0.9806 1.981 1 4.761 0.01585 0.002792 0.06406 0.7005 1 0.00004824 0.0275 0.03166 0.01454 0.1206 1.882 1.943 0.06184 0.09123 1 1 0.02584 0.1831 0.5035 0.0857 0.6074 1.67 json
t19_x20_u5_b59 19 20 5 59 mod(R,pow(sgn(P),R)) 154251 155100503 o2(x,o2(o1(x),x)) true 114015 114015 -0.5736 0.1995 0.7298 0.325 0.57 -1 0.9806 1.981 1 3.079 0.008479 0.001297 0.03255 0.7347 1 0.00001063 0.01473 0.01637 0.008716 0.09336 2.868 1.943 0.03008 0.04532 1 1 0.01323 0.09166 0.2549 0.04071 0.2821 0.7843 json
t19_x20_u5_b60 19 20 5 60 mod(R,mod(sgn(P),R)) 154252 155100504 o2(x,o2(o1(x),x)) true 114023 114023 -0.1307 0.3976 0.178 0.1139 0.3376 -1 0.3269 1.327 1 2.679 0.008368 0.00009108 0.01738 0.9785 1 0.000004221 0.0166 0.01822 0.008158 0.09032 5.196 1.327 0.07424 0.1456 1 1 0.01138 0.04818 0.1797 0.09984 0.4228 1.577 json
t19_x20_u5_b61 19 20 5 61 mod(R,lrg(sgn(P),R)) 154253 155100505 o2(x,o2(o1(x),x)) true 114031 114031 -0.5521 0.2093 0.7173 0.3323 0.5765 -1 0.9806 1.981 1 3.203 0.005341 0.001961 0.03349 0.463 1 0.000005562 0.009453 0.0147 0.006182 0.07862 2.347 2.097 0.02197 0.02844 1 1 0.01098 0.09044 0.2843 0.03304 0.2721 0.8554 json
t19_x20_u5_b62 19 20 5 62 mod(R,eql(sgn(P),R)) 154254 155100506 o2(x,o2(o1(x),x)) true 114039 114039 -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
t19_x20_u5_b63 19 20 5 63 mod(R,min(sgn(P),R)) 154255 155100507 o2(x,o2(o1(x),x)) true 114047 114047 -0.06278 0.3544 0.2983 0.193 0.4393 -1 0.9693 1.969 1 4.097 0.007987 0.002796 0.0425 0.4814 1 0.0000275 0.01563 0.02105 0.008977 0.09475 2.229 2.097 0.05587 0.08096 1 1 0.01679 0.1217 0.3484 0.08698 0.6306 1.805 json
t19_x20_u5_b64 19 20 5 64 mod(R,dot(sgn(P),R)) 154256 155100508 o2(x,o2(o1(x),x)) true 114055 114055 -0.005647 0.4901 0.2859 0.1467 0.383 -1 0.9632 1.963 1 4.537 0.00346 0.003697 0.0495 -0.03316 1 -0.000002493 0.007635 0.01595 0.004706 0.0686 1.386 2.098 0.04879 0.05205 1 1 0.01312 0.1121 0.2978 0.08943 0.7639 2.03 json
t19_x20_u5_b65 19 20 5 65 mod(R,dst(sgn(P),R)) 154257 155100509 o2(x,o2(o1(x),x)) true 114063 114063 0.007019 0.4921 0.3567 0.1857 0.4309 -0.9989 0.9806 1.979 1 4.779 0.002375 0.002699 0.05782 -0.06398 1 0.000009065 0.0002983 0.01325 0.001731 0.0416 0.7195 0.2301 0.02732 0.001607 1 1 0.01047 0.1344 0.3372 0.05636 0.7236 1.816 json
t19_x20_u5_b66 19 20 5 66 lrg(R,add(sgn(P),R)) 154258 155100510 o2(x,o2(o1(x),x)) true 114071 114071 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 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
t19_x20_u5_b67 19 20 5 67 lrg(R,sub(sgn(P),R)) 154259 155100511 o2(x,o2(o1(x),x)) true 114079 114079 0.5127 0.8266 0.5127 0.182 0.4267 0 1 1 1 2.974 0.001667 0.001448 0.03674 0.07012 1 0.00005347 0.0001832 0.008897 0.001765 0.04202 1.144 0.1169 0.01711 0.001006 1 1 0.006253 0.08083 0.2528 0.03435 0.444 1.388 json
t19_x20_u5_b68 19 20 5 68 lrg(R,mlt(sgn(P),R)) 154260 155100512 o2(x,o2(o1(x),x)) true 114087 114087 0.2676 0.4921 0.2676 0.1474 0.3839 0 1 1 1 2.341 0.001052 0.001231 0.02666 -0.0785 1 0.000006427 0.0001288 0.006434 0.001572 0.03965 1.487 0.1169 0.01549 0.000874 1 1 0.004654 0.05961 0.1835 0.03158 0.4044 1.245 json
t19_x20_u5_b69 19 20 5 69 lrg(R,div(sgn(P),R)) 154261 155100513 o2(x,o2(o1(x),x)) true 114095 114095 0.5215 0.9288 0.5215 0.1546 0.3932 0 1 1 1 3.414 0.001912 0.002433 0.05092 -0.1198 1 0.00003066 0.0002568 0.0124 0.001753 0.04187 0.8222 0.1169 0.02811 0.001662 1 1 0.008497 0.1095 0.3067 0.05497 0.7083 1.984 json
t19_x20_u5_b70 19 20 5 70 lrg(R,pow(sgn(P),R)) 154262 155100514 o2(x,o2(o1(x),x)) true 114103 114103 0.4961 0.5378 0.4961 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005705 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
t19_x20_u5_b71 19 20 5 71 lrg(R,mod(sgn(P),R)) 154263 155100515 o2(x,o2(o1(x),x)) true 114111 114111 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t19_x20_u5_b72 19 20 5 72 lrg(R,lrg(sgn(P),R)) 154264 155100516 o2(x,o2(o1(x),x)) true 114119 114119 0.2676 0.4921 0.2676 0.1474 0.3839 0 1 1 1 2.341 0.001052 0.001231 0.02666 -0.0785 1 0.000006427 0.0001288 0.006434 0.001572 0.03965 1.487 0.1169 0.01549 0.000874 1 1 0.004654 0.05961 0.1835 0.03158 0.4044 1.245 json
t19_x20_u5_b73 19 20 5 73 lrg(R,eql(sgn(P),R)) 154265 155100517 o2(x,o2(o1(x),x)) true 114127 114127 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t19_x20_u5_b74 19 20 5 74 lrg(R,min(sgn(P),R)) 154266 155100518 o2(x,o2(o1(x),x)) true 114135 114135 0.4961 0.5378 0.4961 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005705 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
t19_x20_u5_b75 19 20 5 75 lrg(R,dot(sgn(P),R)) 154267 155100519 o2(x,o2(o1(x),x)) true 114143 114143 0.4932 0.9158 0.4932 0.1552 0.3939 0 1 1 1 3.413 0.002007 0.002382 0.0513 -0.08531 1 0.00003992 0.0002548 0.01243 0.001758 0.04193 0.8175 0.1169 0.02829 0.001642 1 1 0.008173 0.1053 0.3203 0.05267 0.6788 2.064 json
t19_x20_u5_b76 19 20 5 76 lrg(R,dst(sgn(P),R)) 154268 155100520 o2(x,o2(o1(x),x)) true 114151 114151 0.03906 0.1373 0.03906 0.02299 0.1516 0 0.9997 0.9997 1 0.7479 0.0003407 0.0003128 0.00783 0.04277 1 0.00001141 0.00003964 0.001901 0.0005921 0.02433 3.108 0.1169 0.02843 0.001724 1 1 0.00107 0.01387 0.04338 0.04653 0.6033 1.887 json
t19_x20_u5_b77 19 20 5 77 eql(R,add(sgn(P),R)) 154269 155100521 o2(x,o2(o1(x),x)) true 114159 114159 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t19_x20_u5_b78 19 20 5 78 eql(R,sub(sgn(P),R)) 154270 155100522 o2(x,o2(o1(x),x)) true 114167 114167 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
t19_x20_u5_b79 19 20 5 79 eql(R,mlt(sgn(P),R)) 154271 155100523 o2(x,o2(o1(x),x)) true 114175 114175 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 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
t19_x20_u5_b80 19 20 5 80 eql(R,div(sgn(P),R)) 154272 155100524 o2(x,o2(o1(x),x)) true 114183 114183 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
t19_x20_u5_b81 19 20 5 81 eql(R,pow(sgn(P),R)) 154273 155100525 o2(x,o2(o1(x),x)) true 114191 114191 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
t19_x20_u5_b82 19 20 5 82 eql(R,mod(sgn(P),R)) 154274 155100526 o2(x,o2(o1(x),x)) true 114199 114199 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
t19_x20_u5_b83 19 20 5 83 eql(R,lrg(sgn(P),R)) 154275 155100527 o2(x,o2(o1(x),x)) true 114207 114207 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
t19_x20_u5_b84 19 20 5 84 eql(R,eql(sgn(P),R)) 154276 155100528 o2(x,o2(o1(x),x)) true 114215 114215 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
t19_x20_u5_b85 19 20 5 85 eql(R,min(sgn(P),R)) 154277 155100529 o2(x,o2(o1(x),x)) true 114223 114223 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
t19_x20_u5_b86 19 20 5 86 eql(R,dot(sgn(P),R)) 154278 155100530 o2(x,o2(o1(x),x)) true 114231 114231 0.0293 0.06207 0.0293 0.02176 0.1475 0 0.9997 0.9997 1 0.4503 0.00001756 0.0003257 0.00389 -0.8977 1 -1.126e-11 0.00001626 0.0009129 0.0003282 0.01812 4.657 0.1169 0.01577 0.000747 1 1 0.0008917 0.01161 0.03457 0.04097 0.5334 1.588 json
t19_x20_u5_b87 19 20 5 87 eql(R,dst(sgn(P),R)) 154279 155100531 o2(x,o2(o1(x),x)) true 114239 114239 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
t19_x20_u5_b88 19 20 5 88 min(R,add(sgn(P),R)) 154280 155100532 o2(x,o2(o1(x),x)) true 114247 114247 -0.3773 0.2459 0.5711 0.2908 0.5393 -1 0.9806 1.981 1 4.437 0.002372 0.002439 0.05092 -0.01401 1 0.00004288 0.0005327 0.01383 0.002219 0.0471 0.9252 0.2534 0.01654 0.001832 1 1 0.009737 0.118 0.3367 0.03348 0.4056 1.158 json
t19_x20_u5_b89 19 20 5 89 min(R,sub(sgn(P),R)) 154281 155100533 o2(x,o2(o1(x),x)) true 114255 114255 -0.5398 0.1738 0.6034 0.1992 0.4464 -1 0.4846 1.485 1 3.935 0.00106 0.001026 0.03158 0.01641 1 0.00001144 0.0002513 0.009262 0.001089 0.033 1.045 0.1638 0.01047 0.001261 1 1 0.004124 0.05026 0.1402 0.0207 0.2522 0.7038 json
t19_x20_u5_b90 19 20 5 90 min(R,mlt(sgn(P),R)) 154282 155100534 o2(x,o2(o1(x),x)) true 114263 114263 -0.267 0.2244 0.4414 0.1893 0.435 -0.9989 0.9806 1.98 1 4.681 0.001839 0.00183 0.04742 0.002594 1 0.000006433 0.0002183 0.01093 0.001421 0.03769 0.7948 0.219 0.01939 0.001153 1 1 0.006921 0.08971 0.2539 0.03657 0.474 1.342 json
t19_x20_u5_b91 19 20 5 91 min(R,div(sgn(P),R)) 154283 155100535 o2(x,o2(o1(x),x)) true 114271 114271 -0.6601 0.1276 0.7714 0.2551 0.5051 -1 0.9806 1.981 1 3.096 0.006409 0.006552 0.05674 -0.01098 1 0.00009331 0.006242 0.02854 0.009742 0.0987 1.74 1.369 0.05081 0.02447 1 1 0.0234 0.2112 0.4946 0.09172 0.828 1.939 json
t19_x20_u5_b92 19 20 5 92 min(R,pow(sgn(P),R)) 154284 155100536 o2(x,o2(o1(x),x)) true 114279 114279 -0.005276 0.4805 0.3857 0.2142 0.4628 -0.9989 0.9806 1.979 1 4.852 0.0028 0.003069 0.06243 -0.04583 1 0.00002809 0.000342 0.01428 0.001973 0.04442 0.7115 0.2301 0.0274 0.001597 1 1 0.01137 0.1459 0.366 0.05307 0.6813 1.709 json
t19_x20_u5_b93 19 20 5 93 min(R,mod(sgn(P),R)) 154285 155100537 o2(x,o2(o1(x),x)) true 114287 114287 -0.2549 0.1566 0.3003 0.07825 0.2797 -0.9989 0.4845 1.483 1 4.141 0.0009434 0.001023 0.03502 -0.04031 1 0.00001222 0.0001166 0.008091 0.0007398 0.0272 0.7767 0.1537 0.02513 0.00149 1 1 0.003795 0.04897 0.1262 0.0485 0.6257 1.612 json
t19_x20_u5_b94 19 20 5 94 min(R,lrg(sgn(P),R)) 154286 155100538 o2(x,o2(o1(x),x)) true 114295 114295 -0.1361 0.2244 0.3105 0.1484 0.3852 -0.9989 0.9806 1.979 1 4.449 0.001872 0.001879 0.04664 -0.001932 1 0.00001726 0.0002226 0.01081 0.001576 0.0397 0.8513 0.219 0.02529 0.001501 1 1 0.007167 0.09264 0.2444 0.04831 0.6245 1.648 json
t19_x20_u5_b95 19 20 5 95 min(R,eql(sgn(P),R)) 154287 155100539 o2(x,o2(o1(x),x)) true 114303 114303 -0.2541 0 0.2541 0.06549 0.2559 -0.9989 0 0.9989 1 3.542 0.000768 0.0009295 0.0314 -0.09514 1 0.00001332 0.00009988 0.007359 0.0007117 0.02668 0.8497 0.1168 0.02592 0.001525 1 1 0.003123 0.04017 0.1061 0.04769 0.6134 1.62 json
t19_x20_u5_b96 19 20 5 96 min(R,min(sgn(P),R)) 154288 155100540 o2(x,o2(o1(x),x)) true 114311 114311 -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
t19_x20_u5_b97 19 20 5 97 min(R,dot(sgn(P),R)) 154289 155100541 o2(x,o2(o1(x),x)) true 114319 114319 -0.3935 0.1953 0.531 0.2206 0.4697 -1 0.9554 1.955 1 4.571 0.002602 0.002673 0.055 -0.01342 1 0.00003802 0.0005307 0.01406 0.002251 0.04744 0.8625 0.2981 0.02391 0.002406 1 1 0.01024 0.1269 0.3924 0.04643 0.5751 1.779 json
t19_x20_u5_b98 19 20 5 98 min(R,dst(sgn(P),R)) 154290 155100542 o2(x,o2(o1(x),x)) true 114327 114327 -0.001342 0.4938 0.3869 0.2117 0.4601 -0.9989 0.9806 1.979 1 4.845 0.002655 0.003078 0.06179 -0.07383 1 0.0000256 0.0003353 0.01416 0.001915 0.04376 0.7083 0.2301 0.02708 0.001584 1 1 0.01143 0.1469 0.3771 0.05402 0.6939 1.782 json
t19_x20_u5_b99 19 20 5 99 dot(R,add(sgn(P),R)) 154291 155100543 o2(x,o2(o1(x),x)) true 114335 114335 0.6605 0.9167 0.6871 0.1555 0.3943 -0.4803 1 1.48 1 3.364 0.002735 0.003615 0.0481 -0.1385 1 -0.0001901 0.001675 0.01907 0.004037 0.06354 1.321 0.429 0.04085 0.01077 1 1 0.01087 0.11 0.2697 0.06991 0.7079 1.735 json
t19_x20_u5_b100 19 20 5 100 dot(R,sub(sgn(P),R)) 154292 155100544 o2(x,o2(o1(x),x)) true 114343 114343 -0.7136 0.06805 0.7325 0.1409 0.3753 -1 0.4809 1.481 1 3.045 0.002634 0.003646 0.0468 -0.1611 1 0.00009198 0.001644 0.01892 0.004091 0.06396 1.367 0.4119 0.04458 0.01167 1 1 0.01065 0.108 0.2443 0.07557 0.767 1.734 json
t19_x20_u5_b101 19 20 5 101 dot(R,mlt(sgn(P),R)) 154293 155100545 o2(x,o2(o1(x),x)) true 114351 114351 -0.02322 0.4877 0.4162 0.2536 0.5036 -1 1 2 1 4.91 0.001522 0.001662 0.04514 -0.04425 1 0.00000443 0.0002687 0.01104 0.001146 0.03385 0.7499 0.203 0.01255 0.001059 1 1 0.005795 0.07411 0.2164 0.02285 0.2922 0.8532 json
t19_x20_u5_b102 19 20 5 102 dot(R,div(sgn(P),R)) 154294 155100546 o2(x,o2(o1(x),x)) true 114359 114359 2.98e-8 0.3083 0.5564 0.5428 0.7368 -1 1 2 1 2.418 0.0003753 0.0003753 0.008111 3.877e-8 1 -1.284e-10 0.00004551 0.001903 0.0006845 0.02616 3.226 0.1653 0.001383 0.00008383 1 1 0.002002 0.02611 0.1755 0.003688 0.0481 0.3233 json
t19_x20_u5_b103 19 20 5 103 dot(R,pow(sgn(P),R)) 154295 155100547 o2(x,o2(o1(x),x)) true 114367 114367 -0.99 0.003372 0.993 0.01094 0.1046 -1 1 2 1 0.1414 0.001478 0.001595 0.003159 -0.03825 1 0 0.006342 0.004885 0.003063 0.05535 17.52 2.828 0.2809 0.5797 1 1 0.0002284 0.00194 0.009747 0.02087 0.1773 0.8908 json
t19_x20_u5_b104 19 20 5 104 dot(R,mod(sgn(P),R)) 154296 155100548 o2(x,o2(o1(x),x)) true 114375 114375 -0.01172 0.4618 0.1124 0.02104 0.145 -0.4748 0.475 0.9498 1 3.258 0.0003193 0.0003266 0.02034 -0.01131 1 -0.00001094 0.00003835 0.004655 0.0002321 0.01523 0.7489 0.08925 0.03071 0.001823 1 1 0.001366 0.01759 0.04309 0.06494 0.8364 2.048 json
t19_x20_u5_b105 19 20 5 105 dot(R,lrg(sgn(P),R)) 154297 155100549 o2(x,o2(o1(x),x)) true 114383 114383 -0.2734 0.223 0.4546 0.2395 0.4894 -1 1 2 1 4.605 0.003777 0.003585 0.06274 0.02612 1 0.000004416 0.0007526 0.01586 0.003426 0.05853 0.9329 0.343 0.03074 0.003143 1 1 0.01464 0.1795 0.4564 0.06113 0.7494 1.906 json
t19_x20_u5_b106 19 20 5 106 dot(R,eql(sgn(P),R)) 154298 155100550 o2(x,o2(o1(x),x)) true 114391 114391 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
t19_x20_u5_b107 19 20 5 107 dot(R,min(sgn(P),R)) 154299 155100551 o2(x,o2(o1(x),x)) true 114399 114399 0.4132 0.7922 0.5882 0.2788 0.528 -1 1 2 1 4.443 0.002853 0.004205 0.05936 -0.1915 1 -0.0000943 0.0009858 0.01657 0.003535 0.05946 1.002 0.3833 0.02532 0.003536 1 1 0.01349 0.1569 0.4036 0.04838 0.5627 1.448 json