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
t17_x19_u5_b5 17 19 5 5 add(R,mod(P,sgn(D))) 114200 138818846 o2(x,o2(x,o1(x))) true 73607 73607 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
t17_x19_u5_b6 17 19 5 6 add(R,lrg(P,sgn(D))) 114201 138818847 o2(x,o2(x,o1(x))) true 73615 73615 0.4001 0.7626 0.5815 0.283 0.532 -0.9989 1 1.999 1 4.455 0.007577 0.002527 0.05706 0.4998 1 -0.00001629 0.01046 0.02552 0.006849 0.08276 1.45 1.016 0.0357 0.03696 1 1 0.01737 0.1394 0.3047 0.06139 0.4926 1.077 json
t17_x19_u5_b7 17 19 5 7 add(R,eql(P,sgn(D))) 114202 138818848 o2(x,o2(x,o1(x))) true 73623 73623 0.05864 0.5292 0.4203 0.2485 0.4985 -0.9986 1 1.999 1 4.902 0.008007 0.003061 0.06973 0.4468 1 0.00002651 0.009436 0.02583 0.006207 0.07878 1.13 1.019 0.04454 0.03797 1 1 0.02004 0.1897 0.4144 0.08063 0.7635 1.668 json
t17_x19_u5_b8 17 19 5 8 add(R,min(P,sgn(D))) 114203 138818849 o2(x,o2(x,o1(x))) true 73631 73631 -0.5149 0.2288 0.7883 0.4535 0.6734 -1 1 2 1 3.142 0.08186 0.001157 0.1012 0.9721 1 -0.00007186 0.1472 0.1082 0.07276 0.2697 2.664 2.004 0.1831 0.3246 1 1 0.09569 0.4022 0.215 0.211 0.8871 0.4742 json
t17_x19_u5_b9 17 19 5 9 add(R,dot(P,sgn(D))) 114204 138818850 o2(x,o2(x,o1(x))) true 73639 73639 -0.153 0.4244 0.921 0.8709 0.9332 -1 1 2 1 2.164 0.2048 0.2047 0.2849 0.0002383 1 -0.00009286 0.7547 0.4461 0.3283 0.573 2.011 2.544 0.4701 0.8666 1 1 0.4415 1.65 0.3079 0.507 1.895 0.3536 json
t17_x19_u5_b10 17 19 5 10 add(R,dst(P,sgn(D))) 114205 138818851 o2(x,o2(x,o1(x))) true 73647 73647 0.9988 1 0.9988 0.0004346 0.02085 0.3557 1 0.6443 1 0.0535 0.0001193 0.0001899 0.001178 -0.2281 1 -4.881e-11 0.0006189 0.001756 0.000308 0.01755 14.89 0.7278 0.7115 1.424 1 1 0.0006329 0.001527 0.001398 1.457 3.514 3.216 json
t17_x19_u5_b11 17 19 5 11 sub(R,add(P,sgn(D))) 114206 138818852 o2(x,o2(x,o1(x))) true 73655 73655 0.003256 0.5051 0.9343 0.9118 0.9549 -1 1 2 1 2.003 0.02216 0.0003939 0.02745 0.9651 1 -0.00001798 0.04258 0.03609 0.02179 0.1476 5.378 2 0.02473 0.0467 1 1 0.0304 0.1196 0.2476 0.03334 0.1311 0.2715 json
t17_x19_u5_b12 17 19 5 12 sub(R,sub(P,sgn(D))) 114207 138818853 o2(x,o2(x,o1(x))) true 73663 73663 0.003654 0.5033 0.935 0.9133 0.9557 -1 1 2 1 2.006 0.02738 0.0004005 0.04169 0.9712 1 -0.00001903 0.04458 0.04408 0.02603 0.1613 3.87 1.993 0.03042 0.04881 1 1 0.04301 0.1703 0.2536 0.04709 0.1865 0.2776 json
t17_x19_u5_b13 17 19 5 13 sub(R,mlt(P,sgn(D))) 114208 138818854 o2(x,o2(x,o1(x))) true 73671 73671 0.1376 0.5715 0.8702 0.8082 0.899 -1 1 2 1 2.712 0.2995 0.0007033 0.2267 0.9953 1 -0.0000224 0.5053 0.3221 0.2489 0.4989 2.201 2 0.3714 0.6252 1 1 0.3236 1.402 0.2468 0.4004 1.735 0.3054 json
t17_x19_u5_b14 17 19 5 14 sub(R,div(P,sgn(D))) 114209 138818855 o2(x,o2(x,o1(x))) true 73679 73679 0.1376 0.5715 0.8702 0.8082 0.899 -1 1 2 1 2.712 0.2995 0.0007033 0.2267 0.9953 1 -0.0000224 0.5053 0.3221 0.2489 0.4989 2.201 2 0.3714 0.6252 1 1 0.3236 1.402 0.2468 0.4004 1.735 0.3054 json
t17_x19_u5_b15 17 19 5 15 sub(R,pow(P,sgn(D))) 114210 138818856 o2(x,o2(x,o1(x))) true 73687 73687 -0.8649 0.04054 0.8906 0.1048 0.3238 -1 0.8359 1.836 1 1.645 0.02681 0.0006948 0.04643 0.9495 1 0.0005701 0.04654 0.05411 0.02536 0.1593 3.43 1.829 0.2624 0.444 1 1 0.03141 0.1209 0.1385 0.2997 1.153 1.321 json
t17_x19_u5_b16 17 19 5 16 sub(R,mod(P,sgn(D))) 114211 138818857 o2(x,o2(x,o1(x))) true 73695 73695 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
t17_x19_u5_b17 17 19 5 17 sub(R,lrg(P,sgn(D))) 114212 138818858 o2(x,o2(x,o1(x))) true 73703 73703 -0.3669 0.2746 0.591 0.3247 0.5698 -1 0.9693 1.969 1 4.374 0.008717 0.002459 0.05856 0.56 1 0.00006608 0.01185 0.02668 0.007746 0.08801 1.503 1.016 0.03442 0.0365 1 1 0.01909 0.1539 0.3229 0.05879 0.4741 0.9945 json
t17_x19_u5_b18 17 19 5 18 sub(R,eql(P,sgn(D))) 114213 138818859 o2(x,o2(x,o1(x))) true 73711 73711 -0.04818 0.4557 0.41 0.237 0.4868 -1 0.9806 1.981 1 4.89 0.009412 0.003098 0.06923 0.5048 1 0.00004098 0.01338 0.02838 0.007718 0.08785 1.269 1.016 0.05279 0.05645 1 1 0.0208 0.1825 0.4356 0.08775 0.7699 1.838 json
t17_x19_u5_b19 17 19 5 19 sub(R,min(P,sgn(D))) 114214 138818860 o2(x,o2(x,o1(x))) true 73719 73719 0.5038 0.7641 0.7939 0.472 0.687 -1 1 2 1 3.146 0.08229 0.00115 0.1012 0.9724 1 0.00004963 0.1483 0.1088 0.07321 0.2706 2.674 2.001 0.1768 0.3142 1 1 0.09507 0.3948 0.2095 0.2014 0.8365 0.4438 json
t17_x19_u5_b20 17 19 5 20 sub(R,dot(P,sgn(D))) 114215 138818861 o2(x,o2(x,o1(x))) true 73727 73727 0.1686 0.5858 0.9253 0.871 0.9333 -1 1 2 1 2.142 0.2045 0.2033 0.2822 0.002859 1 0.00007091 0.7542 0.4448 0.3284 0.573 2.03 2.546 0.4683 0.8659 1 1 0.4365 1.627 0.316 0.5012 1.868 0.3628 json
t17_x19_u5_b21 17 19 5 21 sub(R,dst(P,sgn(D))) 114216 138818862 o2(x,o2(x,o1(x))) true 73735 73735 -0.9959 0.001328 0.9969 0.003769 0.06139 -1 0.7949 1.795 1 0.0923 0.001128 0.00109 0.00303 0.01727 1 -6.57e-11 0.004495 0.004282 0.002211 0.04702 15.52 2.096 0.5883 1.193 1 1 0.004395 0.01367 0.01361 1.166 3.626 3.611 json
t17_x19_u5_b22 17 19 5 22 mlt(R,add(P,sgn(D))) 114217 138818863 o2(x,o2(x,o1(x))) true 73743 73743 -0.0622 0.4664 0.727 0.6457 0.8035 -1 1 2 1 3.773 0.02918 0.01974 0.107 0.1929 1 -0.0000517 0.04643 0.08064 0.03747 0.1936 1.809 1.905 0.07576 0.07191 1 1 0.06653 0.4923 1.046 0.103 0.7624 1.62 json
t17_x19_u5_b23 17 19 5 23 mlt(R,sub(P,sgn(D))) 114218 138818864 o2(x,o2(x,o1(x))) true 73751 73751 -0.06369 0.4648 0.7466 0.667 0.8167 -1 1 2 1 3.713 0.02909 0.02047 0.1107 0.1739 1 -0.00003827 0.04672 0.08303 0.03731 0.1932 1.745 1.905 0.07432 0.07005 1 1 0.06802 0.5132 1.105 0.102 0.7695 1.656 json
t17_x19_u5_b24 17 19 5 24 mlt(R,mlt(P,sgn(D))) 114219 138818865 o2(x,o2(x,o1(x))) true 73759 73759 -0.01394 0.488 0.7093 0.629 0.7931 -1 1 2 1 3.884 0.1801 0.01908 0.1863 0.8084 1 0.00000833 0.3513 0.2289 0.1645 0.4056 2.177 2.414 0.3167 0.5585 1 1 0.2048 0.9886 1.05 0.3257 1.572 1.669 json
t17_x19_u5_b25 17 19 5 25 mlt(R,div(P,sgn(D))) 114220 138818866 o2(x,o2(x,o1(x))) true 73767 73767 -0.01394 0.488 0.7093 0.629 0.7931 -1 1 2 1 3.884 0.1801 0.01908 0.1863 0.8084 1 0.00000833 0.3513 0.2289 0.1645 0.4056 2.177 2.414 0.3167 0.5585 1 1 0.2048 0.9886 1.05 0.3257 1.572 1.669 json
t17_x19_u5_b26 17 19 5 26 mlt(R,pow(P,sgn(D))) 114221 138818867 o2(x,o2(x,o1(x))) true 73775 73775 -0.5172 0.2356 0.7373 0.4171 0.6458 -1 1 2 1 2.912 0.02121 0.005049 0.05992 0.6154 1 -0.00001666 0.04019 0.05801 0.02266 0.1505 2.512 1.353 0.06294 0.09636 1 1 0.03013 0.1937 0.4134 0.07223 0.4643 0.991 json
t17_x19_u5_b27 17 19 5 27 mlt(R,mod(P,sgn(D))) 114222 138818868 o2(x,o2(x,o1(x))) true 73783 73783 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
t17_x19_u5_b28 17 19 5 28 mlt(R,lrg(P,sgn(D))) 114223 138818869 o2(x,o2(x,o1(x))) true 73791 73791 -0.01519 0.2547 0.1878 0.09974 0.3158 -0.9987 0.9806 1.979 1 3.419 0.003791 0.001375 0.03528 0.4676 1 0.000008592 0.005212 0.01527 0.003923 0.06264 1.776 0.9524 0.0518 0.05226 1 1 0.00803 0.07619 0.1971 0.08051 0.7639 1.976 json
t17_x19_u5_b29 17 19 5 29 mlt(R,eql(P,sgn(D))) 114224 138818870 o2(x,o2(x,o1(x))) true 73799 73799 0.01228 0.07361 0.02883 0.01391 0.118 -0.9968 0.9431 1.94 1 0.8964 0.002438 0.00022 0.009103 0.8345 1 -0.00001765 0.004601 0.008534 0.002575 0.05075 5.575 0.9476 0.1911 0.3306 1 1 0.003196 0.01716 0.03032 0.2297 1.234 2.179 json
t17_x19_u5_b30 17 19 5 30 mlt(R,min(P,sgn(D))) 114225 138818871 o2(x,o2(x,o1(x))) true 73807 73807 -0.03216 0.4825 0.5577 0.4312 0.6566 -1 1 2 1 4.638 0.03992 0.01171 0.1026 0.5464 1 -0.00004074 0.07259 0.08419 0.04109 0.2027 1.976 1.998 0.1197 0.1684 1 1 0.06414 0.3926 0.6843 0.1488 0.9105 1.587 json
t17_x19_u5_b31 17 19 5 31 mlt(R,dot(P,sgn(D))) 114226 138818872 o2(x,o2(x,o1(x))) true 73815 73815 -0.004073 0.4979 0.8147 0.7569 0.87 -1 1 2 1 3.217 0.1072 0.1163 0.2065 -0.04048 1 0.000133 0.3957 0.2748 0.1809 0.4253 2.06 2.204 0.2953 0.5228 1 1 0.2364 1.131 1.346 0.3124 1.494 1.778 json
t17_x19_u5_b32 17 19 5 32 mlt(R,dst(P,sgn(D))) 114227 138818873 o2(x,o2(x,o1(x))) true 73823 73823 -0.009104 0.4954 0.869 0.8255 0.9086 -1 1 2 1 2.763 0.02806 0.03205 0.1068 -0.06641 1 0.00006535 0.04967 0.08281 0.0487 0.2207 2.066 1.921 0.07282 0.06017 1 1 0.08389 0.6375 1.41 0.1016 0.7723 1.708 json
t17_x19_u5_b33 17 19 5 33 div(R,add(P,sgn(D))) 114228 138818874 o2(x,o2(x,o1(x))) true 73831 73831 -0.1275 0.4037 0.2308 0.1359 0.3686 -1 0.9988 1.999 1 3.491 0.01038 0.0004246 0.02941 0.9214 1 -0.000008678 0.02017 0.02857 0.009939 0.0997 3.39 1.474 0.07953 0.1484 1 1 0.01484 0.07355 0.2308 0.1093 0.5414 1.699 json
t17_x19_u5_b34 17 19 5 34 div(R,sub(P,sgn(D))) 114229 138818875 o2(x,o2(x,o1(x))) true 73839 73839 -0.1281 0.4011 0.2523 0.1503 0.3877 -1 0.9986 1.999 1 3.711 0.02535 0.0005634 0.04268 0.9565 1 -0.000007205 0.05 0.04921 0.02409 0.1552 3.637 1.999 0.1724 0.3327 1 1 0.03378 0.1494 0.2836 0.2247 0.9938 1.887 json
t17_x19_u5_b35 17 19 5 35 div(R,mlt(P,sgn(D))) 114230 138818876 o2(x,o2(x,o1(x))) true 73847 73847 -0.1139 0.4365 0.2279 0.1389 0.3727 -1 0.9431 1.943 1 3.452 0.01819 0.0004125 0.03825 0.9556 1 -0.00002223 0.0359 0.04543 0.01714 0.1309 3.422 1.943 0.1339 0.2585 1 1 0.02316 0.09794 0.2385 0.1668 0.7051 1.717 json
t17_x19_u5_b36 17 19 5 36 div(R,div(P,sgn(D))) 114231 138818877 o2(x,o2(x,o1(x))) true 73855 73855 -0.1139 0.4365 0.2279 0.1389 0.3727 -1 0.9431 1.943 1 3.452 0.01819 0.0004125 0.03825 0.9556 1 -0.00002223 0.0359 0.04543 0.01714 0.1309 3.422 1.943 0.1339 0.2585 1 1 0.02316 0.09794 0.2385 0.1668 0.7051 1.717 json
t17_x19_u5_b37 17 19 5 37 div(R,pow(P,sgn(D))) 114232 138818878 o2(x,o2(x,o1(x))) true 73863 73863 -0.5849 0.1986 0.8193 0.4347 0.6593 -1 1 2 1 2.485 0.02523 0.00609 0.06139 0.6112 1 -0.000001587 0.048 0.06272 0.02756 0.166 2.704 1.943 0.07205 0.1104 1 1 0.0361 0.2235 0.4496 0.08304 0.5141 1.034 json
t17_x19_u5_b38 17 19 5 38 div(R,mod(P,sgn(D))) 114233 138818879 o2(x,o2(x,o1(x))) true 73871 73871 -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
t17_x19_u5_b39 17 19 5 39 div(R,lrg(P,sgn(D))) 114234 138818880 o2(x,o2(x,o1(x))) true 73879 73879 -0.6415 0.1642 0.7683 0.2923 0.5406 -1 0.9806 1.981 1 2.742 0.005301 0.001074 0.02663 0.6631 1 0.00002051 0.008764 0.01266 0.005662 0.07525 2.825 1.956 0.02181 0.02998 1 1 0.008861 0.06835 0.2329 0.03031 0.2338 0.7969 json
t17_x19_u5_b40 17 19 5 40 div(R,eql(P,sgn(D))) 114235 138818881 o2(x,o2(x,o1(x))) true 73887 73887 -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
t17_x19_u5_b41 17 19 5 41 div(R,min(P,sgn(D))) 114236 138818882 o2(x,o2(x,o1(x))) true 73895 73895 -0.06092 0.4589 0.3086 0.1767 0.4203 -1 0.9989 1.999 1 4.494 0.03964 0.001754 0.0699 0.9153 1 -0.000007653 0.0772 0.06895 0.03651 0.1911 2.734 1.998 0.2343 0.437 1 1 0.04818 0.2225 0.3202 0.2727 1.26 1.812 json
t17_x19_u5_b42 17 19 5 42 div(R,dot(P,sgn(D))) 114237 138818883 o2(x,o2(x,o1(x))) true 73903 73903 -0.1894 0.4041 0.3337 0.2294 0.4789 -1 1 2 1 3.538 0.03176 0.03288 0.07593 -0.01724 1 6.572e-7 0.1373 0.1221 0.05889 0.2427 3.196 2.289 0.2818 0.5984 1 1 0.08268 0.3407 0.4813 0.3604 1.485 2.098 json
t17_x19_u5_b43 17 19 5 43 div(R,dst(P,sgn(D))) 114238 138818884 o2(x,o2(x,o1(x))) true 73911 73911 -0.001869 0.491 0.09393 0.02814 0.1678 -1 1 2 1 2.849 0.002125 0.002603 0.01967 -0.1011 1 0.000001517 0.009302 0.01616 0.00434 0.06588 3.349 1.943 0.168 0.3306 1 1 0.008781 0.04413 0.09463 0.3121 1.568 3.363 json
t17_x19_u5_b44 17 19 5 44 pow(R,add(P,sgn(D))) 114239 138818885 o2(x,o2(x,o1(x))) true 73919 73919 -0.874 0.06641 0.9932 0.2266 0.476 -1 1 2 1 0.4599 0.02243 0.02193 0.02356 0.01121 1 0.000002057 0.09307 0.04631 0.04381 0.2093 8.885 2.828 0.1957 0.4107 1 1 0.05028 0.2025 0.5638 0.2219 0.8934 2.488 json
t17_x19_u5_b45 17 19 5 45 pow(R,sub(P,sgn(D))) 114240 138818886 o2(x,o2(x,o1(x))) true 73927 73927 -0.904 0.05078 0.9944 0.1757 0.4191 -1 1 2 1 0.3625 0.01894 0.0163 0.01876 0.07499 1 0.000003776 0.07381 0.03691 0.0349 0.1868 9.958 2.828 0.2007 0.4202 1 1 0.02519 0.1079 0.2731 0.1434 0.6144 1.555 json
t17_x19_u5_b46 17 19 5 46 pow(R,mlt(P,sgn(D))) 114241 138818887 o2(x,o2(x,o1(x))) true 73935 73935 -0.8547 0.07422 0.9969 0.2656 0.5153 -1 1 2 1 0.4341 0.02235 0.02305 0.02447 -0.01548 1 -0.000002494 0.09341 0.04745 0.04478 0.2116 8.646 2.828 0.171 0.3517 1 1 0.0451 0.1909 0.6272 0.1698 0.7188 2.361 json
t17_x19_u5_b47 17 19 5 47 pow(R,div(P,sgn(D))) 114242 138818888 o2(x,o2(x,o1(x))) true 73943 73943 -0.8547 0.07422 0.9969 0.2656 0.5153 -1 1 2 1 0.4341 0.02235 0.02305 0.02447 -0.01548 1 -0.000002494 0.09341 0.04745 0.04478 0.2116 8.646 2.828 0.171 0.3517 1 1 0.0451 0.1909 0.6272 0.1698 0.7188 2.361 json
t17_x19_u5_b48 17 19 5 48 pow(R,pow(P,sgn(D))) 114243 138818889 o2(x,o2(x,o1(x))) true 73951 73951 -0.9581 0.02344 0.995 0.07467 0.2733 -1 1 2 1 0.2321 0.008991 0.006197 0.008994 0.184 1 0.000005571 0.03168 0.01683 0.0151 0.1229 13.66 2.698 0.2034 0.4243 1 1 0.01259 0.053 0.1387 0.1686 0.7098 1.858 json
t17_x19_u5_b49 17 19 5 49 pow(R,mod(P,sgn(D))) 114244 138818890 o2(x,o2(x,o1(x))) true 73959 73959 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
t17_x19_u5_b50 17 19 5 50 pow(R,lrg(P,sgn(D))) 114245 138818891 o2(x,o2(x,o1(x))) true 73967 73967 -0.04795 0.4805 0.9911 0.9831 0.9915 -1 1 2 1 1.252 0.02341 0.01175 0.0202 0.3315 1 0.000004493 0.07309 0.03837 0.03475 0.1864 9.229 2.698 0.03577 0.07434 1 1 0.03872 0.1591 0.4801 0.03938 0.1618 0.4884 json
t17_x19_u5_b51 17 19 5 51 pow(R,eql(P,sgn(D))) 114246 138818892 o2(x,o2(x,o1(x))) true 73975 73975 0.8209 0.9141 0.9928 0.3145 0.5608 -1 1 2 1 0.6675 0.04385 0.01009 0.02905 0.6258 1 2.591e-10 0.1103 0.05625 0.05306 0.2303 7.928 2.828 0.1715 0.3508 1 1 0.07009 0.2861 0.6422 0.2229 0.9097 2.042 json
t17_x19_u5_b52 17 19 5 52 pow(R,min(P,sgn(D))) 114247 138818893 o2(x,o2(x,o1(x))) true 73983 73983 -0.8839 0.05859 0.9989 0.2173 0.4662 -1 1 2 1 0.3438 0.02442 0.01993 0.02238 0.1011 1 0 0.09257 0.0448 0.04384 0.2094 9.354 2.828 0.2041 0.426 1 1 0.03961 0.1663 0.4142 0.1823 0.7651 1.906 json
t17_x19_u5_b53 17 19 5 53 pow(R,dot(P,sgn(D))) 114248 138818894 o2(x,o2(x,o1(x))) true 73991 73991 -0.909 0.04688 0.9973 0.1702 0.4126 -1 1 2 1 0.3129 0.01671 0.01709 0.01852 -0.01122 1 5.632e-11 0.06976 0.03585 0.03346 0.1829 9.876 2.828 0.1985 0.4098 1 1 0.03028 0.1331 0.3169 0.1779 0.7822 1.862 json
t17_x19_u5_b54 17 19 5 54 pow(R,dst(P,sgn(D))) 114249 138818895 o2(x,o2(x,o1(x))) true 73999 73999 -0.9488 0.0426 0.9653 0.06056 0.2461 -1 0.9998 2 1 0.3858 0.006434 0.006059 0.0109 0.03001 1 0.00000441 0.02607 0.02017 0.01238 0.1113 10.21 2.828 0.2063 0.4305 1 1 0.01115 0.04793 0.115 0.1841 0.7915 1.899 json
t17_x19_u5_b55 17 19 5 55 mod(R,add(P,sgn(D))) 114250 138818896 o2(x,o2(x,o1(x))) true 74007 74007 -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
t17_x19_u5_b56 17 19 5 56 mod(R,sub(P,sgn(D))) 114251 138818897 o2(x,o2(x,o1(x))) true 74015 74015 -0.1216 0.4333 0.4689 0.3019 0.5494 -1 0.9806 1.981 1 4.765 0.02434 0.002723 0.07098 0.7988 1 0.00004387 0.04433 0.04573 0.02203 0.1484 2.091 1.956 0.08967 0.1469 1 1 0.03739 0.2303 0.5251 0.1239 0.763 1.739 json
t17_x19_u5_b57 17 19 5 57 mod(R,mlt(P,sgn(D))) 114252 138818898 o2(x,o2(x,o1(x))) true 74023 74023 -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
t17_x19_u5_b58 17 19 5 58 mod(R,div(P,sgn(D))) 114253 138818899 o2(x,o2(x,o1(x))) true 74031 74031 -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
t17_x19_u5_b59 17 19 5 59 mod(R,pow(P,sgn(D))) 114254 138818900 o2(x,o2(x,o1(x))) true 74039 74039 -0.5674 0.1989 0.6725 0.2901 0.5386 -1 0.9806 1.981 1 2.902 0.01213 0.0007419 0.03257 0.8847 1 -0.000005952 0.02323 0.03006 0.01181 0.1087 3.336 1.943 0.04437 0.08008 1 1 0.01528 0.0787 0.177 0.05267 0.2713 0.6103 json
t17_x19_u5_b60 17 19 5 60 mod(R,mod(P,sgn(D))) 114255 138818901 o2(x,o2(x,o1(x))) true 74047 74047 -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
t17_x19_u5_b61 17 19 5 61 mod(R,lrg(P,sgn(D))) 114256 138818902 o2(x,o2(x,o1(x))) true 74055 74055 -0.6415 0.1642 0.7683 0.2923 0.5406 -1 0.9806 1.981 1 2.742 0.005301 0.001074 0.02663 0.6631 1 0.00002051 0.008764 0.01266 0.005662 0.07525 2.825 1.956 0.02181 0.02998 1 1 0.008861 0.06835 0.2329 0.03031 0.2338 0.7969 json
t17_x19_u5_b62 17 19 5 62 mod(R,eql(P,sgn(D))) 114257 138818903 o2(x,o2(x,o1(x))) true 74063 74063 -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
t17_x19_u5_b63 17 19 5 63 mod(R,min(P,sgn(D))) 114258 138818904 o2(x,o2(x,o1(x))) true 74071 74071 -0.05707 0.4636 0.4309 0.2643 0.5141 -1 0.9806 1.981 1 4.864 0.01404 0.002979 0.067 0.6499 1 0.00003725 0.02342 0.03031 0.01253 0.1119 1.671 1.943 0.06439 0.08862 1 1 0.0251 0.1899 0.4455 0.09495 0.7186 1.686 json
t17_x19_u5_b64 17 19 5 64 mod(R,dot(P,sgn(D))) 114259 138818905 o2(x,o2(x,o1(x))) true 74079 74079 -0.2382 0.3758 0.5357 0.3459 0.5881 -1 0.9806 1.981 1 4.473 0.03625 0.03588 0.09649 0.005076 1 0.00001321 0.1518 0.113 0.06282 0.2506 2.598 2.783 0.2085 0.4389 1 1 0.09016 0.4116 0.5646 0.2606 1.19 1.632 json
t17_x19_u5_b65 17 19 5 65 mod(R,dst(P,sgn(D))) 114260 138818906 o2(x,o2(x,o1(x))) true 74087 74087 -0.009952 0.4882 0.403 0.231 0.4806 -1 0.9806 1.981 1 4.882 0.006303 0.00662 0.06694 -0.02459 1 0.00002651 0.01537 0.02399 0.008442 0.09188 1.373 2.098 0.05594 0.06653 1 1 0.02385 0.1922 0.4485 0.1032 0.8318 1.941 json
t17_x19_u5_b66 17 19 5 66 lrg(R,add(P,sgn(D))) 114261 138818907 o2(x,o2(x,o1(x))) true 74095 74095 0.5059 0.5565 0.5059 0.2398 0.4897 0 1 1 1 1.47 0.008025 0.0001579 0.01379 0.9614 1 -0.00001141 0.01557 0.01769 0.007988 0.08938 6.48 1 0.03413 0.06494 1 1 0.01127 0.04387 0.08499 0.04699 0.1829 0.3544 json
t17_x19_u5_b67 17 19 5 67 lrg(R,sub(P,sgn(D))) 114262 138818908 o2(x,o2(x,o1(x))) true 74103 74103 0.5059 0.619 0.5059 0.2262 0.4757 0 1 1 1 1.917 0.008726 0.0001579 0.02174 0.9645 1 -0.00001141 0.0157 0.01954 0.008407 0.09169 4.218 0.9994 0.03927 0.0694 1 1 0.01304 0.05543 0.07621 0.05764 0.245 0.3368 json
t17_x19_u5_b68 17 19 5 68 lrg(R,mlt(P,sgn(D))) 114263 138818909 o2(x,o2(x,o1(x))) true 74111 74111 0.5273 1 0.5273 0.145 0.3808 0.000291 1 0.9997 1 3.396 0.0608 0.0001053 0.1163 0.9965 1 0.000174 0.1127 0.1252 0.04737 0.2176 1.871 0.9997 0.4201 0.7775 1 1 0.06495 0.2312 0.07077 0.448 1.595 0.4881 json
t17_x19_u5_b69 17 19 5 69 lrg(R,div(P,sgn(D))) 114264 138818910 o2(x,o2(x,o1(x))) true 74119 74119 0.5273 1 0.5273 0.145 0.3808 0.000291 1 0.9997 1 3.396 0.0608 0.0001053 0.1163 0.9965 1 0.000174 0.1127 0.1252 0.04737 0.2176 1.871 0.9997 0.4201 0.7775 1 1 0.06495 0.2312 0.07077 0.448 1.595 0.4881 json
t17_x19_u5_b70 17 19 5 70 lrg(R,pow(P,sgn(D))) 114265 138818911 o2(x,o2(x,o1(x))) true 74127 74127 0.5518 0.7547 0.5518 0.2142 0.4628 0 1 1 1 2.173 0.00896 0.0004226 0.02711 0.9099 1 0.00003922 0.01596 0.02216 0.008647 0.09299 3.43 0.9997 0.04381 0.0745 1 1 0.01233 0.06445 0.1351 0.05759 0.3009 0.6308 json
t17_x19_u5_b71 17 19 5 71 lrg(R,mod(P,sgn(D))) 114266 138818912 o2(x,o2(x,o1(x))) true 74135 74135 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
t17_x19_u5_b72 17 19 5 72 lrg(R,lrg(P,sgn(D))) 114267 138818913 o2(x,o2(x,o1(x))) true 74143 74143 0.2734 0.5401 0.2734 0.1448 0.3805 0 1 1 1 2.471 0.005132 0.001266 0.03404 0.6042 1 0.000003576 0.007954 0.01569 0.00524 0.07239 2.127 0.9997 0.0442 0.05494 1 1 0.01003 0.07797 0.1733 0.06927 0.5386 1.197 json
t17_x19_u5_b73 17 19 5 73 lrg(R,eql(P,sgn(D))) 114268 138818914 o2(x,o2(x,o1(x))) true 74151 74151 0.4453 0.8777 0.4453 0.1548 0.3934 0 1 1 1 3.364 0.006267 0.002265 0.05436 0.4691 1 -0.000006403 0.008947 0.02159 0.005579 0.07469 1.374 1 0.05512 0.0578 1 1 0.01351 0.1208 0.2888 0.08727 0.7803 1.866 json
t17_x19_u5_b74 17 19 5 74 lrg(R,min(P,sgn(D))) 114269 138818915 o2(x,o2(x,o1(x))) true 74159 74159 0.7637 1 0.7637 0.1283 0.3582 0.000291 1 0.9997 1 2.277 0.03244 0.00005267 0.0604 0.9968 1 0.00008699 0.06047 0.06697 0.02885 0.1699 2.812 0.9997 0.2533 0.4714 1 1 0.03637 0.1279 0.04032 0.2835 0.9974 0.3144 json
t17_x19_u5_b75 17 19 5 75 lrg(R,dot(P,sgn(D))) 114270 138818916 o2(x,o2(x,o1(x))) true 74167 74167 0.5664 1 0.5664 0.1418 0.3766 0.000291 1 0.9997 1 3.442 0.02999 0.02999 0.1166 -0.000006646 1 0.0003308 0.112 0.1267 0.04638 0.2154 1.847 1.414 0.4229 0.7897 1 1 0.06532 0.2376 0.09207 0.4606 1.676 0.6492 json
t17_x19_u5_b76 17 19 5 76 lrg(R,dst(P,sgn(D))) 114271 138818917 o2(x,o2(x,o1(x))) true 74175 74175 0.003906 0.01477 0.003906 0.002383 0.04882 0 0.9994 0.9994 1 0.1068 0.0004297 0.0004297 0.001787 -1.355e-7 1 -4.042e-11 0.001742 0.002198 0.0008566 0.02927 16.38 1.413 0.3607 0.7309 1 1 0.001623 0.007032 0.008708 0.6811 2.951 3.654 json
t17_x19_u5_b77 17 19 5 77 eql(R,add(P,sgn(D))) 114272 138818918 o2(x,o2(x,o1(x))) true 74183 74183 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
t17_x19_u5_b78 17 19 5 78 eql(R,sub(P,sgn(D))) 114273 138818919 o2(x,o2(x,o1(x))) true 74191 74191 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
t17_x19_u5_b79 17 19 5 79 eql(R,mlt(P,sgn(D))) 114274 138818920 o2(x,o2(x,o1(x))) true 74199 74199 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
t17_x19_u5_b80 17 19 5 80 eql(R,div(P,sgn(D))) 114275 138818921 o2(x,o2(x,o1(x))) true 74207 74207 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
t17_x19_u5_b81 17 19 5 81 eql(R,pow(P,sgn(D))) 114276 138818922 o2(x,o2(x,o1(x))) true 74215 74215 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
t17_x19_u5_b82 17 19 5 82 eql(R,mod(P,sgn(D))) 114277 138818923 o2(x,o2(x,o1(x))) true 74223 74223 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
t17_x19_u5_b83 17 19 5 83 eql(R,lrg(P,sgn(D))) 114278 138818924 o2(x,o2(x,o1(x))) true 74231 74231 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
t17_x19_u5_b84 17 19 5 84 eql(R,eql(P,sgn(D))) 114279 138818925 o2(x,o2(x,o1(x))) true 74239 74239 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
t17_x19_u5_b85 17 19 5 85 eql(R,min(P,sgn(D))) 114280 138818926 o2(x,o2(x,o1(x))) true 74247 74247 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
t17_x19_u5_b86 17 19 5 86 eql(R,dot(P,sgn(D))) 114281 138818927 o2(x,o2(x,o1(x))) true 74255 74255 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
t17_x19_u5_b87 17 19 5 87 eql(R,dst(P,sgn(D))) 114282 138818928 o2(x,o2(x,o1(x))) true 74263 74263 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
t17_x19_u5_b88 17 19 5 88 min(R,add(P,sgn(D))) 114283 138818929 o2(x,o2(x,o1(x))) true 74271 74271 -0.4946 0.2189 0.6618 0.3237 0.569 -1 0.9806 1.981 1 3.61 0.009829 0.001428 0.04253 0.7463 1 -1.282e-7 0.01679 0.02453 0.009448 0.0972 2.286 1.829 0.03477 0.05186 1 1 0.01704 0.11 0.2589 0.05264 0.3399 0.7996 json
t17_x19_u5_b89 17 19 5 89 min(R,sub(P,sgn(D))) 114284 138818930 o2(x,o2(x,o1(x))) true 74279 74279 -0.5143 0.2069 0.6703 0.315 0.5613 -1 0.9806 1.981 1 3.551 0.01129 0.00141 0.04727 0.7779 1 0.000003364 0.01745 0.02771 0.01047 0.1023 2.164 1.828 0.04031 0.05539 1 1 0.02037 0.1192 0.251 0.06466 0.3783 0.7967 json
t17_x19_u5_b90 17 19 5 90 min(R,mlt(P,sgn(D))) 114285 138818931 o2(x,o2(x,o1(x))) true 74287 74287 -0.7275 0.0975 0.804 0.2091 0.4573 -1 0.9783 1.978 1 2.712 0.08826 0.001108 0.1214 0.9752 1 0.000002987 0.155 0.1512 0.0746 0.2731 2.249 1.968 0.4274 0.7411 1 1 0.09726 0.3023 0.1824 0.4652 1.446 0.8724 json
t17_x19_u5_b91 17 19 5 91 min(R,div(P,sgn(D))) 114286 138818932 o2(x,o2(x,o1(x))) true 74295 74295 -0.7275 0.0975 0.804 0.2091 0.4573 -1 0.9783 1.978 1 2.712 0.08826 0.001108 0.1214 0.9752 1 0.000002987 0.155 0.1512 0.0746 0.2731 2.249 1.968 0.4274 0.7411 1 1 0.09726 0.3023 0.1824 0.4652 1.446 0.8724 json
t17_x19_u5_b92 17 19 5 92 min(R,pow(P,sgn(D))) 114287 138818933 o2(x,o2(x,o1(x))) true 74303 74303 -0.02887 0.4676 0.3692 0.1995 0.4467 -0.9989 0.9806 1.979 1 4.821 0.004325 0.002862 0.06283 0.2035 1 3.65e-8 0.003977 0.021 0.00324 0.05692 0.9059 0.8291 0.03602 0.01993 1 1 0.01256 0.1418 0.3385 0.06295 0.7108 1.697 json
t17_x19_u5_b93 17 19 5 93 min(R,mod(P,sgn(D))) 114288 138818934 o2(x,o2(x,o1(x))) true 74311 74311 -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
t17_x19_u5_b94 17 19 5 94 min(R,lrg(P,sgn(D))) 114289 138818935 o2(x,o2(x,o1(x))) true 74319 74319 -0.1416 0.2271 0.3067 0.1433 0.3786 -0.9989 0.9806 1.979 1 4.441 0.003379 0.001845 0.0486 0.2937 1 0.00002094 0.003398 0.01572 0.002863 0.0535 1.101 0.9429 0.03645 0.02371 1 1 0.00882 0.09515 0.2487 0.06154 0.6639 1.735 json
t17_x19_u5_b95 17 19 5 95 min(R,eql(P,sgn(D))) 114290 138818936 o2(x,o2(x,o1(x))) true 74327 74327 -0.2311 0.04909 0.2659 0.0842 0.2902 -0.9989 0.9431 1.942 1 3.823 0.003004 0.001113 0.03779 0.4592 1 0.000004386 0.004076 0.01394 0.00269 0.05186 1.372 0.9433 0.0489 0.04841 1 1 0.006041 0.05846 0.1373 0.07175 0.6943 1.631 json
t17_x19_u5_b96 17 19 5 96 min(R,min(P,sgn(D))) 114291 138818937 o2(x,o2(x,o1(x))) true 74335 74335 -0.764 0.0739 0.82 0.1694 0.4116 -1 0.9803 1.98 1 2.657 0.0397 0.0007076 0.06486 0.965 1 -0.00009468 0.07418 0.06762 0.03619 0.1902 2.933 1.955 0.2385 0.4379 1 1 0.04639 0.1811 0.1212 0.2738 1.069 0.7157 json
t17_x19_u5_b97 17 19 5 97 min(R,dot(P,sgn(D))) 114292 138818938 o2(x,o2(x,o1(x))) true 74343 74343 -0.7789 0.0872 0.8431 0.1862 0.4316 -1 0.9682 1.968 1 2.222 0.04826 0.04384 0.1246 0.04797 1 -0.00000211 0.1627 0.1689 0.07661 0.2768 2.222 1.968 0.4945 0.8735 1 1 0.09961 0.2864 0.1751 0.5348 1.537 0.9402 json
t17_x19_u5_b98 17 19 5 98 min(R,dst(P,sgn(D))) 114293 138818939 o2(x,o2(x,o1(x))) true 74351 74351 0.006478 0.4958 0.3933 0.2185 0.4674 -0.9989 0.9806 1.979 1 4.86 0.002954 0.00334 0.06357 -0.06143 1 0.00002651 0.001106 0.0157 0.002253 0.04746 0.7466 0.7969 0.0288 0.005062 1 1 0.01231 0.1519 0.3929 0.05634 0.695 1.798 json
t17_x19_u5_b99 17 19 5 99 dot(R,add(P,sgn(D))) 114294 138818940 o2(x,o2(x,o1(x))) true 74359 74359 -0.09624 0.4513 0.8455 0.7871 0.8872 -1 1 2 1 2.931 0.03302 0.04219 0.12 -0.1219 1 0.00004835 0.08432 0.1122 0.06082 0.2466 2.055 2.21 0.09555 0.1071 1 1 0.09886 0.6338 1.368 0.1256 0.8053 1.738 json
t17_x19_u5_b100 17 19 5 100 dot(R,sub(P,sgn(D))) 114295 138818941 o2(x,o2(x,o1(x))) true 74367 74367 -0.09452 0.4525 0.8536 0.7986 0.8937 -1 1 2 1 2.857 0.03393 0.04195 0.121 -0.1057 1 0.00004111 0.08501 0.113 0.06123 0.2474 2.044 2.332 0.09501 0.1064 1 1 0.09853 0.6533 1.42 0.1234 0.818 1.778 json
t17_x19_u5_b101 17 19 5 101 dot(R,mlt(P,sgn(D))) 114296 138818942 o2(x,o2(x,o1(x))) true 74375 74375 -0.008357 0.4972 0.8286 0.7747 0.8802 -1 1 2 1 3.081 0.1232 0.1173 0.2105 0.02458 1 0.00004912 0.4241 0.2851 0.1961 0.4428 2.103 2.532 0.3104 0.5474 1 1 0.2507 1.202 1.442 0.3236 1.552 1.861 json
t17_x19_u5_b102 17 19 5 102 dot(R,div(P,sgn(D))) 114297 138818943 o2(x,o2(x,o1(x))) true 74383 74383 -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
t17_x19_u5_b103 17 19 5 103 dot(R,pow(P,sgn(D))) 114298 138818944 o2(x,o2(x,o1(x))) true 74391 74391 -0.738 0.1345 0.9282 0.36 0.6 -1 1 2 1 1.51 0.01257 0.01257 0.03842 -0.0002916 1 -0.0001283 0.04071 0.04093 0.02366 0.1538 4.004 2.015 0.06982 0.1131 1 1 0.02781 0.1689 0.4472 0.07725 0.4691 1.242 json
t17_x19_u5_b104 17 19 5 104 dot(R,mod(P,sgn(D))) 114299 138818945 o2(x,o2(x,o1(x))) true 74399 74399 -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