K1:=zig(3,8);
bh1:=PEAKBARS(1,8,1);
bh2:=PEAKBARS(1,8,2);
bl1:=TROUGHBARS(2,8,1);
h1:=REF(H,bh1);
h2:=REF(H,bh2);
l1:=REF(L,bl1);
K2:=l1-(h2-l1);
K3:=crOSS(l1,C) AND h1
K1:=zig(3,8);
bh1:=PEAKBARS(1,8,1);
bh2:=PEAKBARS(1,8,2);
bl1:=TROUGHBARS(2,8,1);
h1:=REF(H,bh1);
h2:=REF(H,bh2);
l1:=REF(L,bl1);
K2:=l1-(h2-l1);
K3:=crOSS(l1,C) AND h1