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; |