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_x14_u4_b111 19 14 4 111 dst(D,sub(cil(D),R)) 149100 154857948 o2(x,o2(o1(x),x)) true 72807 72807 0.9381 1 0.9381 0.01604 0.1267 0.07194 1 0.9281 1 1.521 0.002499 0.002623 0.0277 -0.02424 1 -0.0000267 0.009624 0.03264 0.004353 0.06598 2.382 1.197 0.3193 0.6 1 1 0.005628 0.01953 0.03061 0.3508 1.217 1.908 json
t19_x14_u4_b112 19 14 4 112 dst(D,mlt(cil(D),R)) 149101 154857949 o2(x,o2(o1(x),x)) true 72815 72815 0.6501 1 0.6501 0.0615 0.248 0.03222 1 0.9678 1 3.717 0.01027 0.009811 0.08398 0.02275 1 -0.0003139 0.03563 0.08102 0.01303 0.1141 1.359 1.28 0.3265 0.5793 1 1 0.02255 0.08855 0.0628 0.3667 1.44 1.021 json
t19_x14_u4_b113 19 14 4 113 dst(D,div(cil(D),R)) 149102 154857950 o2(x,o2(o1(x),x)) true 72823 72823 0.9336 1 0.9336 0.03527 0.1878 0.04425 1 0.9558 1 1.136 0.01395 0.01402 0.0525 -0.002266 1 -0.0004058 0.06193 0.08134 0.02523 0.1588 3.025 1.352 0.7931 1.756 1 1 0.03038 0.0746 0.01722 0.8613 2.115 0.4881 json
t19_x14_u4_b114 19 14 4 114 dst(D,pow(cil(D),R)) 149103 154857951 o2(x,o2(o1(x),x)) true 72831 72831 -0.9688 0.01563 1 0.06152 0.248 -1 1 2 1 0.1161 0.008062 0.008062 0.007989 0 1 0 0.03427 0.01612 0.01606 0.1267 15.86 2.828 0.2621 0.557 1 1 0.02017 0.08332 0.1658 0.3278 1.354 2.695 json
t19_x14_u4_b115 19 14 4 115 dst(D,mod(cil(D),R)) 149104 154857952 o2(x,o2(o1(x),x)) true 72839 72839 0.3845 1 0.3845 0.01828 0.1352 0.01352 0.6865 0.673 1 3.113 0.002225 0.002332 0.05821 -0.02366 1 -0.0004199 0.004787 0.03619 0.001168 0.03418 0.5871 0.4793 0.2493 0.2619 1 1 0.006819 0.034 0.006485 0.373 1.86 0.3548 json
t19_x14_u4_b116 19 14 4 116 dst(D,lrg(cil(D),R)) 149105 154857953 o2(x,o2(o1(x),x)) true 72847 72847 0.9809 1 0.9809 0.007442 0.08627 0.04447 1 0.9555 1 0.5929 0.001892 0.001989 0.01194 -0.02512 1 8.86e-7 0.008382 0.01604 0.003737 0.06113 5.118 1.308 0.5216 1.126 1 1 0.004437 0.01366 0.01389 0.5962 1.835 1.866 json
t19_x14_u4_b117 19 14 4 117 dst(D,eql(cil(D),R)) 149106 154857954 o2(x,o2(o1(x),x)) true 72855 72855 0.4439 1 0.4439 0.02504 0.1582 0.04473 0.7026 0.6579 1 3.252 0.001981 0.001981 0.05914 2.938e-7 1 -0.0006857 0.0006739 0.01958 0.000465 0.02156 0.3646 0.09377 0.1583 0.02692 1 1 0.007608 0.05068 0 0.3039 2.024 0 json
t19_x14_u4_b118 19 14 4 118 dst(D,min(cil(D),R)) 149107 154857955 o2(x,o2(o1(x),x)) true 72863 72863 0.7654 1 0.7654 0.04765 0.2183 0.03293 1 0.9671 1 3.26 0.003532 0.003932 0.05239 -0.05358 1 -0.00001588 0.0114 0.03912 0.00472 0.0687 1.311 1.19 0.1567 0.2393 1 1 0.0101 0.05141 0.07528 0.212 1.079 1.58 json
t19_x14_u4_b119 19 14 4 119 dst(D,dot(cil(D),R)) 149108 154857956 o2(x,o2(o1(x),x)) true 72871 72871 0.7774 1 0.7774 0.06464 0.2542 0.02617 1 0.9738 1 3.028 0.01555 0.01501 0.08738 0.01777 1 -0.0003638 0.06145 0.1027 0.02294 0.1514 1.733 1.351 0.4728 0.9507 1 1 0.03483 0.1235 0.06315 0.5389 1.911 0.9769 json
t19_x14_u4_b120 19 14 4 120 dst(D,dst(cil(D),R)) 149109 154857957 o2(x,o2(o1(x),x)) true 72879 72879 0.9974 1 0.9974 0.0007464 0.02732 0.2102 1 0.7898 1 0.1192 0.0002514 0.000252 0.002321 -0.001192 1 -0.00002862 0.001063 0.003517 0.0004983 0.02232 9.62 1.117 0.6745 1.424 1 1 0.0003732 0.0007961 0.0009606 0.5001 1.067 1.287 json
t19_x14_u5_b0 19 14 5 0 add(D,add(sgn(D),R)) 149110 154858038 o2(x,o2(o1(x),x)) true 72887 72887 0.006572 0.5033 0.6729 0.5628 0.7502 -1 1 2 1 4.33 0.1797 0.001891 0.209 0.9792 1 0.00001935 0.3052 0.2255 0.1379 0.3713 1.777 2.007 0.3227 0.5422 1 1 0.2133 0.9356 0.182 0.3789 1.663 0.3235 json
t19_x14_u5_b1 19 14 5 1 add(D,sub(sgn(D),R)) 149111 154858039 o2(x,o2(o1(x),x)) true 72895 72895 -0.005979 0.4972 0.6691 0.5583 0.7472 -1 1 2 1 4.35 0.1793 0.0019 0.2084 0.979 1 -0.00000391 0.305 0.2252 0.1378 0.3712 1.781 2.008 0.3246 0.5464 1 1 0.212 0.9262 0.1823 0.3797 1.659 0.3266 json
t19_x14_u5_b2 19 14 5 2 add(D,mlt(sgn(D),R)) 149112 154858040 o2(x,o2(o1(x),x)) true 72903 72903 0.005236 0.5086 0.3884 0.2207 0.4698 -1 1 2 1 4.883 0.07002 0.003005 0.1258 0.9177 1 0.00001553 0.1336 0.1257 0.0572 0.2392 1.901 2 0.3309 0.6055 1 1 0.07959 0.3604 0.3857 0.3606 1.633 1.747 json
t19_x14_u5_b3 19 14 5 3 add(D,div(sgn(D),R)) 149113 154858041 o2(x,o2(o1(x),x)) true 72911 72911 -0.003729 0.4985 0.8854 0.8459 0.9197 -1 1 2 1 2.634 0.2494 0.03353 0.2205 0.7629 1 0.0000555 0.5169 0.304 0.2343 0.4841 2.195 2.828 0.3344 0.6111 1 1 0.3194 1.403 1.685 0.3776 1.659 1.992 json
t19_x14_u5_b4 19 14 5 4 add(D,pow(sgn(D),R)) 149114 154858042 o2(x,o2(o1(x),x)) true 72919 72919 -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_x14_u5_b5 19 14 5 5 add(D,mod(sgn(D),R)) 149115 154858043 o2(x,o2(o1(x),x)) true 72927 72927 -0.001072 0.499 0.2171 0.06158 0.2482 -0.585 0.5901 1.175 1 3.916 0.01619 0.000152 0.07463 0.9814 1 -0.000002706 0.02137 0.06097 0.01077 0.1038 1.39 1.025 0.2653 0.347 1 1 0.02332 0.1181 0.01852 0.3786 1.918 0.3008 json
t19_x14_u5_b6 19 14 5 6 add(D,lrg(sgn(D),R)) 149116 154858044 o2(x,o2(o1(x),x)) true 72935 72935 0.4823 0.6875 0.5176 0.2029 0.4504 -0.09672 1 1.097 1 2.852 0.07312 0 0.135 1 1 0.00006836 0.122 0.1445 0.0549 0.2343 1.736 1.031 0.3604 0.6012 1 1 0.0864 0.3709 0 0.4259 1.828 0 json
t19_x14_u5_b7 19 14 5 7 add(D,eql(sgn(D),R)) 149117 154858045 o2(x,o2(o1(x),x)) true 72943 72943 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t19_x14_u5_b8 19 14 5 8 add(D,min(sgn(D),R)) 149118 154858046 o2(x,o2(o1(x),x)) true 72951 72951 -0.4728 0.2157 0.6517 0.3114 0.558 -1 1 2 1 4.115 0.09107 0.001528 0.1447 0.967 1 -0.00004457 0.1554 0.1451 0.07168 0.2677 1.851 2 0.2974 0.4989 1 1 0.1077 0.4908 0.1941 0.346 1.576 0.6235 json
t19_x14_u5_b9 19 14 5 9 add(D,dot(sgn(D),R)) 149119 154858047 o2(x,o2(o1(x),x)) true 72959 72959 0.01301 0.5143 0.4823 0.3392 0.5824 -1 1 2 1 4.843 0.05389 0.05215 0.169 0.01637 1 -0.000003523 0.194 0.1977 0.0775 0.2784 1.648 1.959 0.3126 0.572 1 1 0.1194 0.5605 0.6572 0.3521 1.653 1.937 json
t19_x14_u5_b10 19 14 5 10 add(D,dst(sgn(D),R)) 149120 154858048 o2(x,o2(o1(x),x)) true 72967 72967 0.9834 1 0.9834 0.005408 0.07354 0.1925 1 0.8075 1 0.5266 0.00139 0.001379 0.01135 0.00393 1 -0.00002461 0.005483 0.01559 0.00264 0.05139 4.528 0.9547 0.5122 1.014 1 1 0.00275 0.009133 0.009372 0.5084 1.689 1.733 json
t19_x14_u5_b11 19 14 5 11 sub(D,add(sgn(D),R)) 149121 154858049 o2(x,o2(o1(x),x)) true 72975 72975 -0.00664 0.4893 0.5743 0.4515 0.6719 -1 1 2 1 4.634 0.1583 0.002364 0.196 0.9706 1 0.00002589 0.3003 0.2075 0.1222 0.3496 1.783 1.947 0.3558 0.6652 1 1 0.1736 0.6427 0.2482 0.3844 1.423 0.5498 json
t19_x14_u5_b12 19 14 5 12 sub(D,sub(sgn(D),R)) 149122 154858050 o2(x,o2(o1(x),x)) true 72983 72983 0.006248 0.506 0.5703 0.4466 0.6683 -1 1 2 1 4.646 0.1579 0.00237 0.1954 0.9704 1 -0.00004704 0.3002 0.207 0.1221 0.3495 1.789 1.946 0.359 0.6723 1 1 0.1723 0.633 0.2484 0.3859 1.417 0.5563 json
t19_x14_u5_b13 19 14 5 13 sub(D,mlt(sgn(D),R)) 149123 154858051 o2(x,o2(o1(x),x)) true 72991 72991 -0.005121 0.4917 0.3919 0.2182 0.4671 -1 1 2 1 4.874 0.06984 0.003003 0.1254 0.9175 1 -0.00001758 0.1336 0.1254 0.05712 0.239 1.906 2 0.3339 0.6124 1 1 0.07978 0.3637 0.3853 0.3657 1.667 1.766 json
t19_x14_u5_b14 19 14 5 14 sub(D,div(sgn(D),R)) 149124 154858052 o2(x,o2(o1(x),x)) true 72999 72999 0.003216 0.5007 0.8852 0.8459 0.9197 -1 1 2 1 2.635 0.2494 0.03371 0.2207 0.7619 1 -0.0000187 0.5176 0.3043 0.2345 0.4842 2.194 2.828 0.3347 0.6119 1 1 0.3205 1.413 1.675 0.3789 1.67 1.981 json
t19_x14_u5_b15 19 14 5 15 sub(D,pow(sgn(D),R)) 149125 154858053 o2(x,o2(o1(x),x)) true 73007 73007 -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_x14_u5_b16 19 14 5 16 sub(D,mod(sgn(D),R)) 149126 154858054 o2(x,o2(o1(x),x)) true 73015 73015 0.001072 0.5043 0.09025 0.01339 0.1157 -0.4507 0.4537 0.9044 1 2.94 0.008738 0.000152 0.04599 0.9658 1 0.000002706 0.01998 0.04999 0.006774 0.08231 1.79 0.9014 0.6641 1.493 1 1 0.008428 0.01883 0.01852 0.6295 1.407 1.384 json
t19_x14_u5_b17 19 14 5 17 sub(D,lrg(sgn(D),R)) 149127 154858055 o2(x,o2(o1(x),x)) true 73023 73023 -0.5 0 0.5 0.08301 0.2881 -0.9688 -0.03125 0.9375 1 4 0.05599 0 0.1146 1 1 0 0.119 0.119 0.04284 0.207 1.806 0.9375 0.6745 1.434 1 1 0.05321 0.125 0 0.641 1.506 0 json
t19_x14_u5_b18 19 14 5 18 sub(D,eql(sgn(D),R)) 149128 154858056 o2(x,o2(o1(x),x)) true 73031 73031 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t19_x14_u5_b19 19 14 5 19 sub(D,min(sgn(D),R)) 149129 154858057 o2(x,o2(o1(x),x)) true 73039 73039 0.4922 0.8438 0.5956 0.1921 0.4382 -0.9494 1 1.949 1 4.412 0.07392 0.001526 0.1268 0.9595 1 -0.00002764 0.1525 0.1282 0.05936 0.2436 1.921 1.906 0.3928 0.7942 1 1 0.07487 0.2471 0.1934 0.3898 1.287 1.007 json
t19_x14_u5_b20 19 14 5 20 sub(D,dot(sgn(D),R)) 149130 154858058 o2(x,o2(o1(x),x)) true 73047 73047 -0.01302 0.4874 0.4913 0.3436 0.5862 -1 1 2 1 4.864 0.05414 0.05299 0.1697 0.01077 1 -0.00001683 0.1956 0.1985 0.07831 0.2798 1.649 1.991 0.3118 0.5694 1 1 0.1215 0.5768 0.6721 0.3536 1.679 1.956 json
t19_x14_u5_b21 19 14 5 21 sub(D,dst(sgn(D),R)) 149131 154858059 o2(x,o2(o1(x),x)) true 73055 73055 -0.9821 0 0.9821 0.006108 0.07815 -1 -0.1948 0.8052 1 0.5447 0.001471 0.001449 0.01172 0.007521 1 0.00002244 0.005664 0.01608 0.002784 0.05276 4.503 0.8672 0.4782 0.9274 1 1 0.002826 0.00964 0.01009 0.4626 1.578 1.652 json
t19_x14_u5_b22 19 14 5 22 mlt(D,add(sgn(D),R)) 149132 154858060 o2(x,o2(o1(x),x)) true 73063 73063 0.2875 1 0.2875 0.04151 0.2037 0.0002532 0.9852 0.985 1 3.502 0.00497 0.0002198 0.06384 0.9153 1 -0.0006499 0.0009115 0.02218 0.001114 0.03338 0.5228 0.1655 0.125 0.02196 1 1 0.01003 0.07388 0.02942 0.2416 1.78 0.7089 json
t19_x14_u5_b23 19 14 5 23 mlt(D,sub(sgn(D),R)) 149133 154858061 o2(x,o2(o1(x),x)) true 73071 73071 0.2845 1 0.2845 0.04095 0.2024 0.00004123 0.9275 0.9274 1 3.488 0.004907 0.0002198 0.06338 0.9143 1 -0.0005751 0.0009044 0.02206 0.001109 0.0333 0.5254 0.1572 0.1252 0.02208 1 1 0.009716 0.07292 0.02942 0.2372 1.78 0.7184 json
t19_x14_u5_b24 19 14 5 24 mlt(D,mlt(sgn(D),R)) 149134 154858062 o2(x,o2(o1(x),x)) true 73079 73079 0.002568 0.5015 0.09742 0.01741 0.1319 -0.4824 0.4674 0.9498 1 3.095 0.0007897 0.000256 0.02739 0.5104 1 -0.00007094 0.0002312 0.01102 0.0002953 0.01718 0.6273 0.08467 0.06008 0.01328 1 1 0.001935 0.01522 0.03047 0.1112 0.8744 1.751 json
t19_x14_u5_b25 19 14 5 25 mlt(D,div(sgn(D),R)) 149135 154858063 o2(x,o2(o1(x),x)) true 73087 73087 -0.05105 0.466 0.4907 0.3747 0.6122 -1 1 2 1 4.524 0.01996 0.01184 0.1139 0.2551 1 0.00009779 0.02826 0.07703 0.01883 0.1372 1.205 2.669 0.08486 0.07542 1 1 0.04828 0.3042 0.7381 0.1288 0.8118 1.97 json
t19_x14_u5_b26 19 14 5 26 mlt(D,pow(sgn(D),R)) 149136 154858064 o2(x,o2(o1(x),x)) true 73095 73095 -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_x14_u5_b27 19 14 5 27 mlt(D,mod(sgn(D),R)) 149137 154858065 o2(x,o2(o1(x),x)) true 73103 73103 0.04952 0.9995 0.04952 0.001473 0.03838 0.00002425 0.2266 0.2266 1 1.104 0.0001568 0.00001107 0.01098 0.8682 1 -0.0001011 0.00003421 0.003917 0.00004735 0.006881 0.6267 0.03846 0.114 0.02322 1 1 0.0003339 0.002299 0.001476 0.2267 1.561 1.002 json
t19_x14_u5_b28 19 14 5 28 mlt(D,lrg(sgn(D),R)) 149138 154858066 o2(x,o2(o1(x),x)) true 73111 73111 0.143 1 0.143 0.009237 0.09611 0.000282 0.2729 0.2726 1 2.227 0.001439 8.42e-18 0.034 1 1 -0.0003063 0.0002653 0.01361 0.0002839 0.01685 0.4956 0.06184 0.1558 0.02873 1 1 0.002731 0.01827 0 0.2956 1.978 0 json
t19_x14_u5_b29 19 14 5 29 mlt(D,eql(sgn(D),R)) 149139 154858067 o2(x,o2(o1(x),x)) true 73119 73119 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_x14_u5_b30 19 14 5 30 mlt(D,min(sgn(D),R)) 149140 154858068 o2(x,o2(o1(x),x)) true 73127 73127 0.1451 0.8606 0.1565 0.01744 0.1321 -0.1452 0.4919 0.6371 1 3.081 0.001861 0.0001179 0.04 0.8809 1 -0.0003604 0.0003491 0.01501 0.000379 0.01947 0.4867 0.0823 0.1135 0.02002 1 1 0.003788 0.02786 0.01505 0.2172 1.598 0.8631 json
t19_x14_u5_b31 19 14 5 31 mlt(D,dot(sgn(D),R)) 149141 154858069 o2(x,o2(o1(x),x)) true 73135 73135 0.002353 0.4977 0.1301 0.03368 0.1835 -0.8412 0.8543 1.695 1 3.513 0.001612 0.005621 0.0498 -0.5543 1 -0.00006829 0.01117 0.03906 0.004753 0.06894 1.384 0.9402 0.2148 0.3316 1 1 0.008698 0.05124 0.06367 0.2583 1.521 1.891 json
t19_x14_u5_b32 19 14 5 32 mlt(D,dst(sgn(D),R)) 149142 154858070 o2(x,o2(o1(x),x)) true 73143 73143 -0.001827 0.4972 0.1747 0.04324 0.2079 -0.6731 0.6347 1.308 1 3.756 0.005106 0.002269 0.07066 0.3848 1 0.000044 0.005207 0.04001 0.002382 0.0488 0.6906 0.7376 0.1706 0.1204 1 1 0.01213 0.08061 0.02656 0.2805 1.864 0.6141 json
t19_x14_u5_b33 19 14 5 33 div(D,add(sgn(D),R)) 149143 154858071 o2(x,o2(o1(x),x)) true 73151 73151 0.4789 1 0.4789 0.1176 0.3429 0.01577 1 0.9842 1 3.658 0.01875 0.001733 0.0936 0.8308 1 -0.001046 0.01699 0.05542 0.01173 0.1083 1.157 1.022 0.1742 0.1445 1 1 0.03113 0.1717 0.1408 0.2647 1.461 1.198 json
t19_x14_u5_b34 19 14 5 34 div(D,sub(sgn(D),R)) 149144 154858072 o2(x,o2(o1(x),x)) true 73159 73159 0.4838 1 0.4838 0.1173 0.3424 0.01586 1 0.9841 1 3.688 0.01848 0.001732 0.0946 0.8286 1 -0.001359 0.01658 0.05502 0.01126 0.1061 1.122 1.207 0.1723 0.1414 1 1 0.03144 0.1716 0.1287 0.2681 1.464 1.097 json
t19_x14_u5_b35 19 14 5 35 div(D,mlt(sgn(D),R)) 149145 154858073 o2(x,o2(o1(x),x)) true 73167 73167 -0.05105 0.466 0.4907 0.3747 0.6122 -1 1 2 1 4.524 0.01996 0.01184 0.1139 0.2551 1 0.00009779 0.02826 0.07703 0.01883 0.1372 1.205 2.669 0.08486 0.07542 1 1 0.04828 0.3042 0.7381 0.1288 0.8118 1.97 json
t19_x14_u5_b36 19 14 5 36 div(D,div(sgn(D),R)) 149146 154858074 o2(x,o2(o1(x),x)) true 73175 73175 0.002568 0.5015 0.09742 0.01741 0.1319 -0.4824 0.4674 0.9498 1 3.095 0.0007897 0.000256 0.02739 0.5104 1 -0.00007094 0.0002312 0.01102 0.0002953 0.01718 0.6273 0.08467 0.06008 0.01328 1 1 0.001935 0.01522 0.03047 0.1112 0.8744 1.751 json
t19_x14_u5_b37 19 14 5 37 div(D,pow(sgn(D),R)) 149147 154858075 o2(x,o2(o1(x),x)) true 73183 73183 -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_x14_u5_b38 19 14 5 38 div(D,mod(sgn(D),R)) 149148 154858076 o2(x,o2(o1(x),x)) true 73191 73191 0.8861 1 0.8861 0.06304 0.2511 0.06515 1 0.9349 1 1.506 0.03177 0.00076 0.07635 0.9533 1 -0.00122 0.04589 0.09888 0.02671 0.1634 2.141 0.9551 0.516 0.728 1 1 0.04419 0.08795 0.04725 0.7009 1.395 0.7495 json
t19_x14_u5_b39 19 14 5 39 div(D,lrg(sgn(D),R)) 149149 154858077 o2(x,o2(o1(x),x)) true 73199 73199 -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_x14_u5_b40 19 14 5 40 div(D,eql(sgn(D),R)) 149150 154858078 o2(x,o2(o1(x),x)) true 73207 73207 -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_x14_u5_b41 19 14 5 41 div(D,min(sgn(D),R)) 149151 154858079 o2(x,o2(o1(x),x)) true 73215 73215 0.08965 0.6561 0.3677 0.2336 0.4833 -1 1 2 1 4.503 0.01537 0.005662 0.09743 0.4617 1 -0.0002497 0.01567 0.05259 0.01154 0.1074 1.103 1.717 0.09006 0.06709 1 1 0.03133 0.2454 0.4432 0.1342 1.051 1.897 json
t19_x14_u5_b42 19 14 5 42 div(D,dot(sgn(D),R)) 149152 154858080 o2(x,o2(o1(x),x)) true 73223 73223 -0.005782 0.485 0.4883 0.3794 0.616 -1 1 2 1 4.491 0.02683 0.05351 0.1563 -0.332 1 -0.0002893 0.1288 0.1572 0.0559 0.2364 1.512 2.019 0.2117 0.3395 1 1 0.1053 0.5661 0.7715 0.2774 1.492 2.033 json
t19_x14_u5_b43 19 14 5 43 div(D,dst(sgn(D),R)) 149153 154858081 o2(x,o2(o1(x),x)) true 73231 73231 0.001976 0.5025 0.08302 0.01377 0.1174 -0.8656 0.7719 1.638 1 2.814 0.001242 0.001487 0.03428 -0.08974 1 -0.000005273 0.003116 0.02161 0.001554 0.03942 1.15 1.031 0.1982 0.2263 1 1 0.003538 0.02238 0.01452 0.2569 1.625 1.054 json
t19_x14_u5_b44 19 14 5 44 pow(D,add(sgn(D),R)) 149154 154858082 o2(x,o2(o1(x),x)) true 73239 73239 -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_x14_u5_b45 19 14 5 45 pow(D,sub(sgn(D),R)) 149155 154858083 o2(x,o2(o1(x),x)) true 73247 73247 -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_x14_u5_b46 19 14 5 46 pow(D,mlt(sgn(D),R)) 149156 154858084 o2(x,o2(o1(x),x)) true 73255 73255 -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_x14_u5_b47 19 14 5 47 pow(D,div(sgn(D),R)) 149157 154858085 o2(x,o2(o1(x),x)) true 73263 73263 -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_x14_u5_b48 19 14 5 48 pow(D,pow(sgn(D),R)) 149158 154858086 o2(x,o2(o1(x),x)) true 73271 73271 -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_x14_u5_b49 19 14 5 49 pow(D,mod(sgn(D),R)) 149159 154858087 o2(x,o2(o1(x),x)) true 73279 73279 -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_x14_u5_b50 19 14 5 50 pow(D,lrg(sgn(D),R)) 149160 154858088 o2(x,o2(o1(x),x)) true 73287 73287 0.6431 1 0.6431 0.1162 0.3409 0.03153 1 0.9685 1 3.274 0.06116 0 0.1185 1 1 -0.0003062 0.12 0.129 0.0471 0.217 1.831 0.9685 0.5262 1.033 1 1 0.06329 0.1908 0 0.5445 1.641 0 json
t19_x14_u5_b51 19 14 5 51 pow(D,eql(sgn(D),R)) 149161 154858089 o2(x,o2(o1(x),x)) true 73295 73295 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_x14_u5_b52 19 14 5 52 pow(D,min(sgn(D),R)) 149162 154858090 o2(x,o2(o1(x),x)) true 73303 73303 -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_x14_u5_b53 19 14 5 53 pow(D,dot(sgn(D),R)) 149163 154858091 o2(x,o2(o1(x),x)) true 73311 73311 -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_x14_u5_b54 19 14 5 54 pow(D,dst(sgn(D),R)) 149164 154858092 o2(x,o2(o1(x),x)) true 73319 73319 -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_x14_u5_b55 19 14 5 55 mod(D,add(sgn(D),R)) 149165 154858093 o2(x,o2(o1(x),x)) true 73327 73327 0.003188 0.5082 0.1092 0.01603 0.1266 -0.2728 0.2725 0.5453 1 3.017 0.003183 0.00007982 0.04448 0.9511 1 -0.00003148 0.00364 0.03212 0.001285 0.03585 0.806 0.3113 0.2035 0.227 1 1 0.004903 0.0287 0.009729 0.3058 1.79 0.6067 json
t19_x14_u5_b56 19 14 5 56 mod(D,sub(sgn(D),R)) 149166 154858094 o2(x,o2(o1(x),x)) true 73335 73335 -0.002617 0.4945 0.1101 0.01628 0.1276 -0.2725 0.2724 0.545 1 3.02 0.003262 0.00008309 0.04448 0.9503 1 -0.00001275 0.00372 0.03221 0.001368 0.03698 0.8314 0.4642 0.2055 0.2285 1 1 0.005108 0.02921 0.0108 0.3137 1.794 0.6633 json
t19_x14_u5_b57 19 14 5 57 mod(D,mlt(sgn(D),R)) 149167 154858095 o2(x,o2(o1(x),x)) true 73343 73343 -0.0003012 0.4979 0.1135 0.01789 0.1337 -0.2728 0.2728 0.5455 1 3.083 0.004647 0.0001074 0.05089 0.9548 1 0.000004165 0.00696 0.04709 0.002165 0.04653 0.9143 0.4963 0.2658 0.3891 1 1 0.006357 0.03391 0.01378 0.3554 1.896 0.7703 json
t19_x14_u5_b58 19 14 5 58 mod(D,div(sgn(D),R)) 149168 154858096 o2(x,o2(o1(x),x)) true 73351 73351 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t19_x14_u5_b59 19 14 5 59 mod(D,pow(sgn(D),R)) 149169 154858097 o2(x,o2(o1(x),x)) true 73359 73359 -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_x14_u5_b60 19 14 5 60 mod(D,mod(sgn(D),R)) 149170 154858098 o2(x,o2(o1(x),x)) true 73367 73367 -0.0005068 0.4975 0.05983 0.006892 0.08302 -0.27 0.2722 0.5422 1 2.434 0.003584 0.00005483 0.04449 0.9699 1 0.00004414 0.007939 0.05859 0.001659 0.04073 0.9154 0.3218 0.5279 1.152 1 1 0.003537 0.01233 0.006829 0.5131 1.789 0.9908 json
t19_x14_u5_b61 19 14 5 61 mod(D,lrg(sgn(D),R)) 149171 154858099 o2(x,o2(o1(x),x)) true 73375 73375 -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_x14_u5_b62 19 14 5 62 mod(D,eql(sgn(D),R)) 149172 154858100 o2(x,o2(o1(x),x)) true 73383 73383 -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_x14_u5_b63 19 14 5 63 mod(D,min(sgn(D),R)) 149173 154858101 o2(x,o2(o1(x),x)) true 73391 73391 -0.04664 0.3939 0.1168 0.0158 0.1257 -0.2728 0.1454 0.4182 1 2.89 0.003409 0.00005289 0.04411 0.9694 1 0.00009117 0.003799 0.03226 0.001517 0.03895 0.8828 0.3098 0.2191 0.2405 1 1 0.005185 0.02984 0.006889 0.3282 1.889 0.436 json
t19_x14_u5_b64 19 14 5 64 mod(D,dot(sgn(D),R)) 149174 154858102 o2(x,o2(o1(x),x)) true 73399 73399 0.00001403 0.5011 0.1118 0.01755 0.1325 -0.2729 0.2729 0.5457 1 3.081 0.004276 0.001547 0.05339 0.4686 1 -0.00007435 0.01004 0.05408 0.002973 0.05453 1.021 0.5591 0.3318 0.572 1 1 0.007113 0.03436 0.01428 0.4052 1.957 0.8136 json
t19_x14_u5_b65 19 14 5 65 mod(D,dst(sgn(D),R)) 149175 154858103 o2(x,o2(o1(x),x)) true 73407 73407 -0.0003331 0.5 0.09766 0.01177 0.1085 -0.2724 0.2676 0.54 1 2.675 0.001955 0.00007727 0.03811 0.924 1 -3.945e-7 0.001046 0.01799 0.0005808 0.0241 0.6323 0.4069 0.1727 0.08891 1 1 0.003542 0.02336 0.0008251 0.3009 1.985 0.0701 json
t19_x14_u5_b66 19 14 5 66 lrg(D,add(sgn(D),R)) 149176 154858104 o2(x,o2(o1(x),x)) true 73415 73415 0.4883 0.9128 0.4883 0.167 0.4086 0 1 1 1 3.222 0.0793 0.000891 0.1312 0.9778 1 0.00007755 0.1614 0.1826 0.06297 0.2509 1.913 1 0.4803 0.9664 1 1 0.08171 0.2471 0.1125 0.4893 1.48 0.6739 json
t19_x14_u5_b67 19 14 5 67 lrg(D,sub(sgn(D),R)) 149177 154858105 o2(x,o2(o1(x),x)) true 73423 73423 0.5095 0.9098 0.5095 0.1696 0.4118 0 1 1 1 3.185 0.08012 0.0009367 0.1309 0.9769 1 0.0001593 0.1623 0.183 0.06389 0.2528 1.93 1 0.4779 0.9568 1 1 0.0834 0.253 0.1228 0.4917 1.492 0.724 json
t19_x14_u5_b68 19 14 5 68 lrg(D,mlt(sgn(D),R)) 149178 154858106 o2(x,o2(o1(x),x)) true 73431 73431 0.4968 0.9314 0.4968 0.1459 0.3819 0 1 1 1 3.537 0.06289 0.002063 0.1248 0.9365 1 0.0002355 0.1273 0.1602 0.04938 0.2222 1.781 1 0.4452 0.8727 1 1 0.06508 0.2438 0.278 0.4461 1.671 1.906 json
t19_x14_u5_b69 19 14 5 69 lrg(D,div(sgn(D),R)) 149179 154858107 o2(x,o2(o1(x),x)) true 73439 73439 0.4961 0.9456 0.4961 0.147 0.3834 0 1 1 1 3.516 0.04778 0.002278 0.1019 0.909 1 -0.00001497 0.09324 0.1121 0.03968 0.1992 1.955 1 0.3406 0.6344 1 1 0.05494 0.2454 0.2817 0.3738 1.67 1.917 json
t19_x14_u5_b70 19 14 5 70 lrg(D,pow(sgn(D),R)) 149180 154858108 o2(x,o2(o1(x),x)) true 73447 73447 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t19_x14_u5_b71 19 14 5 71 lrg(D,mod(sgn(D),R)) 149181 154858109 o2(x,o2(o1(x),x)) true 73455 73455 0.502 0.9016 0.502 0.1274 0.357 0 1 1 1 3.628 0.1292 0.001427 0.2079 0.9781 1 -0.0004837 0.3139 0.3142 0.08739 0.2956 1.422 1 1.025 2.464 1 1 0.109 0.172 0.1887 0.8556 1.35 1.481 json
t19_x14_u5_b72 19 14 5 72 lrg(D,lrg(sgn(D),R)) 149182 154858110 o2(x,o2(o1(x),x)) true 73463 73463 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_x14_u5_b73 19 14 5 73 lrg(D,eql(sgn(D),R)) 149183 154858111 o2(x,o2(o1(x),x)) true 73471 73471 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t19_x14_u5_b74 19 14 5 74 lrg(D,min(sgn(D),R)) 149184 154858112 o2(x,o2(o1(x),x)) true 73479 73479 0.8161 1 0.8161 0.1009 0.3176 0.000291 1 0.9997 1 2.152 0.03393 0.001031 0.06662 0.941 1 -0.00004789 0.06661 0.08621 0.03051 0.1747 2.622 0.9997 0.3466 0.6604 1 1 0.03498 0.1373 0.1383 0.3468 1.361 1.371 json
t19_x14_u5_b75 19 14 5 75 lrg(D,dot(sgn(D),R)) 149185 154858113 o2(x,o2(o1(x),x)) true 73487 73487 0.4935 0.9158 0.4935 0.148 0.3847 0 1 1 1 3.502 0.04008 0.02468 0.1258 0.2377 1 0.0004798 0.1302 0.1645 0.04893 0.2212 1.758 1.409 0.4375 0.8793 1 1 0.06814 0.2511 0.2707 0.4603 1.696 1.829 json
t19_x14_u5_b76 19 14 5 76 lrg(D,dst(sgn(D),R)) 149186 154858114 o2(x,o2(o1(x),x)) true 73495 73495 0.005149 0.06706 0.005149 0.001577 0.03971 0 0.7742 0.7742 1 0.2027 0.0007529 0.0002638 0.004099 0.4811 1 -0.000008263 0.002316 0.005399 0.0009995 0.03161 7.713 0.781 0.6448 1.469 1 1 0.0007153 0.00219 0.002618 0.4537 1.389 1.66 json
t19_x14_u5_b77 19 14 5 77 eql(D,add(sgn(D),R)) 149187 154858115 o2(x,o2(o1(x),x)) true 73503 73503 0.000082 0.0002441 0.000082 0.00004315 0.006569 0 0.6715 0.6715 1 0.003091 0.00006086 6.316e-7 0.000129 0.9795 0 2.395e-7 0.0001845 0.0002541 0.00006148 0.007841 60.78 0.6519 1.425 4.276 1 1 0 0 0.00003293 0 0 0.7631 json
t19_x14_u5_b78 19 14 5 78 eql(D,sub(sgn(D),R)) 149188 154858116 o2(x,o2(o1(x),x)) true 73511 73511 0.000082 0.0002441 0.000082 0.00004315 0.006569 0 0.6715 0.6715 1 0.003091 0.00006086 6.316e-7 0.000129 0.9795 0 2.395e-7 0.0001845 0.0002541 0.00006148 0.007841 60.78 0.6519 1.425 4.276 1 1 0 0 0.00003293 0 0 0.7631 json
t19_x14_u5_b79 19 14 5 79 eql(D,mlt(sgn(D),R)) 149189 154858117 o2(x,o2(o1(x),x)) true 73519 73519 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_x14_u5_b80 19 14 5 80 eql(D,div(sgn(D),R)) 149190 154858118 o2(x,o2(o1(x),x)) true 73527 73527 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_x14_u5_b81 19 14 5 81 eql(D,pow(sgn(D),R)) 149191 154858119 o2(x,o2(o1(x),x)) true 73535 73535 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_x14_u5_b82 19 14 5 82 eql(D,mod(sgn(D),R)) 149192 154858120 o2(x,o2(o1(x),x)) true 73543 73543 0.0006488 0.001465 0.0006488 0.0004628 0.02151 0 0.9926 0.9926 1 0.01721 0.0009002 0.000006786 0.001268 0.985 1 4.79e-7 0.002727 0.00251 0.0009046 0.03008 23.72 0.9926 1.96 5.891 1 1 0.0007039 0.0009346 0.001435 1.521 2.019 3.101 json
t19_x14_u5_b83 19 14 5 83 eql(D,lrg(sgn(D),R)) 149193 154858121 o2(x,o2(o1(x),x)) true 73551 73551 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_x14_u5_b84 19 14 5 84 eql(D,eql(sgn(D),R)) 149194 154858122 o2(x,o2(o1(x),x)) true 73559 73559 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_x14_u5_b85 19 14 5 85 eql(D,min(sgn(D),R)) 149195 154858123 o2(x,o2(o1(x),x)) true 73567 73567 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_x14_u5_b86 19 14 5 86 eql(D,dot(sgn(D),R)) 149196 154858124 o2(x,o2(o1(x),x)) true 73575 73575 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_x14_u5_b87 19 14 5 87 eql(D,dst(sgn(D),R)) 149197 154858125 o2(x,o2(o1(x),x)) true 73583 73583 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_x14_u5_b88 19 14 5 88 min(D,add(sgn(D),R)) 149198 154858126 o2(x,o2(o1(x),x)) true 73591 73591 -0.3283 0.3604 0.3875 0.1767 0.4203 -1 0.1454 1.145 1 3.772 0.05171 0.0009354 0.1159 0.9645 1 -0.0001325 0.08536 0.1165 0.03922 0.198 1.709 1.049 0.2979 0.4832 1 1 0.06377 0.2947 0.09496 0.3609 1.668 0.5375 json
t19_x14_u5_b89 19 14 5 89 min(D,sub(sgn(D),R)) 149199 154858127 o2(x,o2(o1(x),x)) true 73599 73599 -0.3313 0.3567 0.389 0.1748 0.4181 -1 0.1454 1.145 1 3.801 0.05156 0.0009015 0.116 0.9656 1 -0.000123 0.085 0.1165 0.03901 0.1975 1.703 1.043 0.3002 0.4863 1 1 0.06242 0.2843 0.08549 0.3572 1.627 0.4891 json