AB1:=REF(V,60)>REF(V,61) AND REF(V,60)>REF(V,62) AND REF(V,60)>REF(V,63) AND REF(V,60)>REF(V,59) AND REF(V,60)>REF(V,58) AND REF(L,60)<=LLV(C,59);
AB2:=REF(V,59)>REF(V,60) AND REF(V,59)>REF(V,61) AND REF(V,59)>REF(V,62) AND REF(V,59)>REF(V,58) AND REF(V,59)>REF(V,57) AND REF(L,59)<=LLV(C,58);
AB3:=REF(V,58)>REF(V,59) AND REF(V,58)>REF(V,60) AND REF(V,58)>REF(V,61) AND REF(V,58)>REF(V,57) AND REF(V,58)>REF(V,56) AND REF(L,58)<=LLV(C,57);
AB4:=REF(V,57)>REF(V,58) AND REF(V,57)>REF(V,59) AND REF(V,57)>REF(V,60) AND REF(V,57)>REF(V,56) AND REF(V,57)>REF(V,55) AND REF(L,57)<=LLV(C,56);
AB5:=REF(V,56)>REF(V,57) AND REF(V,56)>REF(V,58) AND REF(V,56)>REF(V,59) AND REF(V,56)>REF(V,55) AND REF(V,56)>REF(V,54) AND REF(L,56)<=LLV(C,55);
AB6:=REF(V,55)>REF(V,56) AND REF(V,55)>REF(V,57) AND REF(V,55)>REF(V,58) AND REF(V,55)>REF(V,54) AND REF(V,55)>REF(V,53) AND REF(L,55)<=LLV(C,54);
AB7:=REF(V,54)>REF(V,55) AND REF(V,54)>REF(V,56) AND REF(V,54)>REF(V,57) AND REF(V,54)>REF(V,53) AND REF(V,54)>REF(V,52) AND REF(L,54)<=LLV(C,53);
AB8:=REF(V,53)>REF(V,54) AND REF(V,53)>REF(V,55) AND REF(V,53)>REF(V,56) AND REF(V,53)>REF(V,52) AND REF(V,53)>REF(V,51) AND REF(L,53)<=LLV(C,52);
AB9:=REF(V,52)>REF(V,53) AND REF(V,52)>REF(V,54) AND REF(V,52)>REF(V,55) AND REF(V,52)>REF(V,51) AND REF(V,52)>REF(V,50) AND REF(L,52)<=LLV(C,51);
AB10:=REF(V,51)>REF(V,52) AND REF(V,51)>REF(V,53) AND REF(V,51)>REF(V,54) AND REF(V,51)>REF(V,50) AND REF(V,51)>REF(V,49) AND REF(L,51)<=LLV(C,50);
AB11:=REF(V,50)>REF(V,51) AND REF(V,50)>REF(V,52) AND REF(V,50)>REF(V,53) AND REF(V,50)>REF(V,49) AND REF(V,50)>REF(V,48) AND REF(L,50)<=LLV(C,49);
AB12:=REF(V,49)>REF(V,50) AND REF(V,49)>REF(V,51) AND REF(V,49)>REF(V,52) AND REF(V,49)>REF(V,48) AND REF(V,49)>REF(V,47) AND REF(L,49)<=LLV(C,48);
AB13:=REF(V,48)>REF(V,49) AND REF(V,48)>REF(V,50) AND REF(V,48)>REF(V,51) AND REF(V,48)>REF(V,47) AND REF(V,48)>REF(V,46) AND REF(L,48)<=LLV(C,47);
AB14:=REF(V,47)>REF(V,48) AND REF(V,47)>REF(V,49) AND REF(V,47)>REF(V,50) AND REF(V,47)>REF(V,46) AND REF(V,47)>REF(V,45) AND REF(L,47)<=LLV(C,46);
AB15:=REF(V,46)>REF(V,47) AND REF(V,46)>REF(V,48) AND REF(V,46)>REF(V,49) AND REF(V,46)>REF(V,45) AND REF(V,46)>REF(V,44) AND REF(L,46)<=LLV(C,45);
AB16:=REF(V,45)>REF(V,46) AND REF(V,45)>REF(V,47) AND REF(V,45)>REF(V,48) AND REF(V,45)>REF(V,44) AND REF(V,45)>REF(V,43) AND REF(L,45)<=LLV(C,44);
AB17:=REF(V,44)>REF(V,45) AND REF(V,44)>REF(V,46) AND REF(V,44)>REF(V,47) AND REF(V,44)>REF(V,43) AND REF(V,44)>REF(V,42) AND REF(L,44)<=LLV(C,43);
AB18:=REF(V,43)>REF(V,44) AND REF(V,43)>REF(V,45) AND REF(V,43)>REF(V,46) AND REF(V,43)>REF(V,42) AND REF(V,43)>REF(V,41) AND REF(L,43)<=LLV(C,42);
AB19:=REF(V,42)>REF(V,43) AND REF(V,42)>REF(V,44) AND REF(V,42)>REF(V,45) AND REF(V,42)>REF(V,41) AND REF(V,42)>REF(V,40) AND REF(L,42)<=LLV(C,41);
AB20:=REF(V,41)>REF(V,42) AND REF(V,41)>REF(V,43) AND REF(V,41)>REF(V,44) AND REF(V,41)>REF(V,40) AND REF(V,41)>REF(V,39) AND REF(L,41)<=LLV(C,40);
AB21:=REF(V,40)>REF(V,41) AND REF(V,40)>REF(V,42) AND REF(V,40)>REF(V,43) AND REF(V,40)>REF(V,39) AND REF(V,40)>REF(V,38) AND REF(L,40)<=LLV(C,39);
AB22:=REF(V,39)>REF(V,40) AND REF(V,39)>REF(V,41) AND REF(V,39)>REF(V,42) AND REF(V,39)>REF(V,38) AND REF(V,39)>REF(V,37) AND REF(L,39)<=LLV(C,38);
AB23:=REF(V,38)>REF(V,39) AND REF(V,38)>REF(V,40) AND REF(V,38)>REF(V,41) AND REF(V,38)>REF(V,37) AND REF(V,38)>REF(V,36) AND REF(L,38)<=LLV(C,37);
AB24:=REF(V,37)>REF(V,38) AND REF(V,37)>REF(V,39) AND REF(V,37)>REF(V,40) AND REF(V,37)>REF(V,36) AND REF(V,37)>REF(V,35) AND REF(L,37)<=LLV(C,36);
AB25:=REF(V,36)>REF(V,37) AND REF(V,36)>REF(V,38) AND REF(V,36)>REF(V,39) AND REF(V,36)>REF(V,35) AND REF(V,36)>REF(V,34) AND REF(L,36)<=LLV(C,35);
AB26:=REF(V,35)>REF(V,36) AND REF(V,35)>REF(V,37) AND REF(V,35)>REF(V,38) AND REF(V,35)>REF(V,34) AND REF(V,35)>REF(V,33) AND REF(L,35)<=LLV(C,34);
AB27:=REF(V,34)>REF(V,35) AND REF(V,34)>REF(V,36) AND REF(V,34)>REF(V,37) AND REF(V,34)>REF(V,33) AND REF(V,34)>REF(V,32) AND REF(L,34)<=LLV(C,33);
AB28:=REF(V,33)>REF(V,34) AND REF(V,33)>REF(V,35) AND REF(V,33)>REF(V,36) AND REF(V,33)>REF(V,32) AND REF(V,33)>REF(V,31) AND REF(L,33)<=LLV(C,32);
AB29:=REF(V,32)>REF(V,33) AND REF(V,32)>REF(V,34) AND REF(V,32)>REF(V,35) AND REF(V,32)>REF(V,31) AND REF(V,32)>REF(V,30) AND REF(L,32)<=LLV(C,31);
AB30:=REF(V,31)>REF(V,32) AND REF(V,31)>REF(V,33) AND REF(V,31)>REF(V,34) AND REF(V,31)>REF(V,30) AND REF(V,31)>REF(V,29) AND REF(L,31)<=LLV(C,30);
AB31:=REF(V,30)>REF(V,31) AND REF(V,30)>REF(V,32) AND REF(V,30)>REF(V,33) AND REF(V,30)>REF(V,29) AND REF(V,30)>REF(V,28) AND REF(L,30)<=LLV(C,29);
AB32:=REF(V,29)>REF(V,30) AND REF(V,29)>REF(V,31) AND REF(V,29)>REF(V,32) AND REF(V,29)>REF(V,28) AND REF(V,29)>REF(V,27) AND REF(L,29)<=LLV(C,28);
AB33:=REF(V,28)>REF(V,29) AND REF(V,28)>REF(V,30) AND REF(V,28)>REF(V,31) AND REF(V,28)>REF(V,27) AND REF(V,28)>REF(V,26) AND REF(L,28)<=LLV(C,27);
AB34:=REF(V,27)>REF(V,28) AND REF(V,27)>REF(V,29) AND REF(V,27)>REF(V,30) AND REF(V,27)>REF(V,26) AND REF(V,27)>REF(V,25) AND REF(L,27)<=LLV(C,26);
AB35:=REF(V,26)>REF(V,27) AND REF(V,26)>REF(V,28) AND REF(V,26)>REF(V,29) AND REF(V,26)>REF(V,25) AND REF(V,26)>REF(V,24) AND REF(L,26)<=LLV(C,25);
AB36:=REF(V,25)>REF(V,26) AND REF(V,25)>REF(V,27) AND REF(V,25)>REF(V,28) AND REF(V,25)>REF(V,24) AND REF(V,25)>REF(V,23) AND REF(L,25)<=LLV(C,24);
AB37:=REF(V,24)>REF(V,25) AND REF(V,24)>REF(V,26) AND REF(V,24)>REF(V,27) AND REF(V,24)>REF(V,23) AND REF(V,24)>REF(V,22) AND REF(L,24)<=LLV(C,23);
AB38:=REF(V,23)>REF(V,24) AND REF(V,23)>REF(V,25) AND REF(V,23)>REF(V,26) AND REF(V,23)>REF(V,22) AND REF(V,23)>REF(V,21) AND REF(L,23)<=LLV(C,22);
AB39:=REF(V,22)>REF(V,23) AND REF(V,22)>REF(V,24) AND REF(V,22)>REF(V,25) AND REF(V,22)>REF(V,21) AND REF(V,22)>REF(V,20) AND REF(L,22)<=LLV(C,21);
AB40:=REF(V,21)>REF(V,22) AND REF(V,21)>REF(V,23) AND REF(V,21)>REF(V,24) AND REF(V,21)>REF(V,20) AND REF(V,21)>REF(V,19) AND REF(L,21)<=LLV(C,20);
AB41:=REF(V,20)>REF(V,21) AND REF(V,20)>REF(V,22) AND REF(V,20)>REF(V,23) AND REF(V,20)>REF(V,19) AND REF(V,20)>REF(V,18) AND REF(L,20)<=LLV(C,19);
AB42:=REF(V,19)>REF(V,20) AND REF(V,19)>REF(V,21) AND REF(V,19)>REF(V,22) AND REF(V,19)>REF(V,18) AND REF(V,19)>REF(V,17) AND REF(L,19)<=LLV(C,18);
AB43:=REF(V,18)>REF(V,19) AND REF(V,18)>REF(V,20) AND REF(V,18)>REF(V,21) AND REF(V,18)>REF(V,17) AND REF(V,18)>REF(V,16) AND REF(L,18)<=LLV(C,17);
AB44:=REF(V,17)>REF(V,18) AND REF(V,17)>REF(V,19) AND REF(V,17)>REF(V,20) AND REF(V,17)>REF(V,16) AND REF(V,17)>REF(V,15) AND REF(L,17)<=LLV(C,16);
AB45:=REF(V,16)>REF(V,17) AND REF(V,16)>REF(V,18) AND REF(V,16)>REF(V,19) AND REF(V,16)>REF(V,15) AND REF(V,16)>REF(V,14) AND REF(L,16)<=LLV(C,15);
AB46:=REF(V,15)>REF(V,16) AND REF(V,15)>REF(V,17) AND REF(V,15)>REF(V,18) AND REF(V,15)>REF(V,14) AND REF(V,15)>REF(V,13) AND REF(L,15)<=LLV(C,14);
AB47:=REF(V,14)>REF(V,15) AND REF(V,14)>REF(V,16) AND REF(V,14)>REF(V,17) AND REF(V,14)>REF(V,13) AND REF(V,14)>REF(V,12) AND REF(L,14)<=LLV(C,13);
AB48:=REF(V,13)>REF(V,14) AND REF(V,13)>REF(V,15) AND REF(V,13)>REF(V,16) AND REF(V,13)>REF(V,12) AND REF(V,13)>REF(V,11) AND REF(L,13)<=LLV(C,12);
AB49:=REF(V,12)>REF(V,13) AND REF(V,12)>REF(V,14) AND REF(V,12)>REF(V,15) AND REF(V,12)>REF(V,11) AND REF(V,12)>REF(V,10) AND REF(L,12)<=LLV(C,11);
AB50:=REF(V,11)>REF(V,12) AND REF(V,11)>REF(V,13) AND REF(V,11)>REF(V,14) AND REF(V,11)>REF(V,10) AND REF(V,11)>REF(V,9) AND REF(L,11)<=LLV(C,10);
AB51:=REF(V,10)>REF(V,11) AND REF(V,10)>REF(V,12) AND REF(V,10)>REF(V,13) AND REF(V,10)>REF(V,9) AND REF(V,10)>REF(V,8) AND REF(L,10)<=LLV(C,9);
AB52:=REF(V,9)>REF(V,10) AND REF(V,9)>REF(V,11) AND REF(V,9)>REF(V,12) AND REF(V,9)>REF(V,8) AND REF(V,9)>REF(V,7) AND REF(L,9)<=LLV(C,8);
AB53:=REF(V,8)>REF(V,9) AND REF(V,8)>REF(V,10) AND REF(V,8)>REF(V,11) AND REF(V,8)>REF(V,7) AND REF(V,8)>REF(V,6) AND REF(L,8)<=LLV(C,7);
AB54:=REF(V,7)>REF(V,8) AND REF(V,7)>REF(V,9) AND REF(V,7)>REF(V,10) AND REF(V,7)>REF(V,6) AND REF(V,7)>REF(V,5) AND REF(L,7)<=LLV(C,6);
AB55:=REF(V,6)>REF(V,7) AND REF(V,6)>REF(V,8) AND REF(V,6)>REF(V,9) AND REF(V,6)>REF(V,5) AND REF(V,6)>REF(V,4) AND REF(L,6)<=LLV(C,5);
AB56:=REF(V,5)>REF(V,6) AND REF(V,5)>REF(V,7) AND REF(V,5)>REF(V,8) AND REF(V,5)>REF(V,4) AND REF(V,5)>REF(V,3) AND REF(L,5)<=LLV(C,4);
AB57:=REF(V,4)>REF(V,5) AND REF(V,4)>REF(V,6) AND REF(V,4)>REF(V,7) AND REF(V,4)>REF(V,3) AND REF(V,4)>REF(V,2) AND REF(L,4)<=LLV(C,3);
AB58:=REF(V,3)>REF(V,4) AND REF(V,3)>REF(V,5) AND REF(V,3)>REF(V,6) AND REF(V,3)>REF(V,2) AND REF(V,3)>REF(V,1) AND REF(L,3)<=LLV(C,2);
AB59:=REF(V,2)>REF(V,3) AND REF(V,2)>REF(V,4) AND REF(V,2)>REF(V,5) AND REF(V,2)>REF(V,1) AND REF(V,2)>REF(V,0) AND REF(L,2)<=LLV(C,1);
AB60:=REF(V,1)>REF(V,2) AND REF(V,1)>REF(V,3) AND REF(V,1)>REF(V,4) AND REF(V,1)>REF(V,0) AND REF(L,1)<=LLV(C,0);
高量不破:AB1+AB2+AB3+AB4+AB5+AB6+AB7+AB8+AB9+AB10+AB11+AB12+AB13+AB14+AB15+AB16+AB17+AB18+AB19+AB20+AB21+AB22+AB23+AB24+AB25+AB26+AB27+AB28+AB29+AB30
+AB31+AB32+AB33+AB34+AB35+AB36+AB37+AB38+AB39+AB40+AB41+AB42+AB43+AB44+AB45+AB46+AB47+AB48+AB49+AB50
+AB51+AB52+AB53+AB54+AB55+AB56+AB57+AB58+AB59+AB60;
E1:=REF(H,60)<REF(L,59) AND REF(H,60)<LLV(L,59);
E2:=REF(H,59)<REF(L,58) AND REF(H,59)<LLV(L,58);
E3:=REF(H,58)<REF(L,57) AND REF(H,58)<LLV(L,57);
E4:=REF(H,57)<REF(L,56) AND REF(H,57)<LLV(L,56);
E5:=REF(H,56)<REF(L,55) AND REF(H,56)<LLV(L,55);
E6:=REF(H,55)<REF(L,54) AND REF(H,55)<LLV(L,54);
E7:=REF(H,54)<REF(L,53) AND REF(H,54)<LLV(L,53);
E8:=REF(H,53)<REF(L,52) AND REF(H,53)<LLV(L,52);
E9:=REF(H,52)<REF(L,51) AND REF(H,52)<LLV(L,51);
E10:=REF(H,51)<REF(L,50) AND REF(H,51)<LLV(L,50);
E11:=REF(H,50)<REF(L,49) AND REF(H,50)<LLV(L,49);
E12:=REF(H,49)<REF(L,48) AND REF(H,49)<LLV(L,48);
E13:=REF(H,48)<REF(L,47) AND REF(H,48)<LLV(L,47);
E14:=REF(H,47)<REF(L,46) AND REF(H,47)<LLV(L,46);
E15:=REF(H,46)<REF(L,45) AND REF(H,46)<LLV(L,45);
E16:=REF(H,45)<REF(L,44) AND REF(H,45)<LLV(L,44);
E17:=REF(H,44)<REF(L,43) AND REF(H,44)<LLV(L,43);
E18:=REF(H,43)<REF(L,42) AND REF(H,43)<LLV(L,42);
E19:=REF(H,42)<REF(L,41) AND REF(H,42)<LLV(L,41);
E20:=REF(H,41)<REF(L,40) AND REF(H,41)<LLV(L,40);
E21:=REF(H,40)<REF(L,39) AND REF(H,40)<LLV(L,39);
E22:=REF(H,39)<REF(L,38) AND REF(H,39)<LLV(L,38);
E23:=REF(H,38)<REF(L,37) AND REF(H,38)<LLV(L,37);
E24:=REF(H,37)<REF(L,36) AND REF(H,37)<LLV(L,36);
E25:=REF(H,36)<REF(L,35) AND REF(H,36)<LLV(L,35);
E26:=REF(H,35)<REF(L,34) AND REF(H,35)<LLV(L,34);
E27:=REF(H,34)<REF(L,33) AND REF(H,34)<LLV(L,33);
E28:=REF(H,33)<REF(L,32) AND REF(H,33)<LLV(L,32);
E29:=REF(H,32)<REF(L,31) AND REF(H,32)<LLV(L,31);
E30:=REF(H,31)<REF(L,30) AND REF(H,31)<LLV(L,30);
E31:=REF(H,30)<REF(L,29) AND REF(H,30)<LLV(L,29);
E32:=REF(H,29)<REF(L,28) AND REF(H,29)<LLV(L,28);
E33:=REF(H,28)<REF(L,27) AND REF(H,28)<LLV(L,27);
E34:=REF(H,27)<REF(L,26) AND REF(H,27)<LLV(L,26);
E35:=REF(H,26)<REF(L,25) AND REF(H,26)<LLV(L,25);
E36:=REF(H,25)<REF(L,24) AND REF(H,25)<LLV(L,24);
E37:=REF(H,24)<REF(L,23) AND REF(H,24)<LLV(L,23);
E38:=REF(H,23)<REF(L,22) AND REF(H,23)<LLV(L,22);
E39:=REF(H,22)<REF(L,21) AND REF(H,22)<LLV(L,21);
E40:=REF(H,21)<REF(L,20) AND REF(H,21)<LLV(L,20);
E41:=REF(H,20)<REF(L,19) AND REF(H,20)<LLV(L,19);
E42:=REF(H,19)<REF(L,18) AND REF(H,19)<LLV(L,18);
E43:=REF(H,18)<REF(L,17) AND REF(H,18)<LLV(L,17);
E44:=REF(H,17)<REF(L,16) AND REF(H,17)<LLV(L,16);
E45:=REF(H,16)<REF(L,15) AND REF(H,16)<LLV(L,15);
E46:=REF(H,15)<REF(L,14) AND REF(H,15)<LLV(L,14);
E47:=REF(H,14)<REF(L,13) AND REF(H,14)<LLV(L,13);
E48:=REF(H,13)<REF(L,12) AND REF(H,13)<LLV(L,12);
E49:=REF(H,12)<REF(L,11) AND REF(H,12)<LLV(L,11);
E50:=REF(H,11)<REF(L,10) AND REF(H,11)<LLV(L,10);
E51:=REF(H,10)<REF(L,9) AND REF(H,10)<LLV(L,9);
E52:=REF(H,9)<REF(L,8) AND REF(H,9)<LLV(L,8);
E53:=REF(H,8)<REF(L,7) AND REF(H,8)<LLV(L,7);
E54:=REF(H,7)<REF(L,6) AND REF(H,7)<LLV(L,6);
E55:=REF(H,6)<REF(L,5) AND REF(H,6)<LLV(L,5);
E56:=REF(H,5)<REF(L,4) AND REF(H,5)<LLV(L,4);
E57:=REF(H,4)<REF(L,3) AND REF(H,4)<LLV(L,3);
E58:=REF(H,3)<REF(L,2) AND REF(H,3)<LLV(L,2);
E59:=REF(H,2)<REF(L,1) AND REF(H,2)<LLV(L,1);
E60:=REF(H,1)<REF(L,0) AND REF(H,1)<LLV(L,0);
缺口不补:E1+E2+E3+E4+E5+E6+E7+E8+E9+E10+E11+E12+E13+E14+E15+E16+E17+E18+E19+E20+E21+E22+E23+E24+E25+E26+E27+E28+E29+E30
+E31+E32+E33+E34+E35+E36+E37+E38+E39+E40+E41+E42+E43+E44+E45+E46+E47+E48+E49+E50
+E51+E52+E53+E54+E55+E56+E57+E58+E59+E60; |