DIM = 28 INDEX AB AC AD AE AF AG AH BC BD BE BF BG BH CD CE CF CG CH DE DF DG DH EF EG EH FG FH GH INEQUALITIES_SECTION ( 1) -14 -11 -8 -8 5 5 5 8 6 6 -4 -4 -4 5 5 -3 -3 -3 3 -2 -2 -2 -2 -2 -2 1 1 1 <= 0 ( 2) -11 -11 -8 -5 5 5 5 6 5 3 -3 -3 -3 5 3 -3 -3 -3 2 -2 -2 -2 -1 -1 -1 1 1 1 <= 0 ( 3) -10 -10 -7 -7 4 4 4 7 5 5 -3 -3 -3 5 5 -3 -3 -3 3 -2 -2 -2 -2 -2 -2 1 1 1 <= 0 ( 4) -10 -8 -6 -6 4 4 4 7 6 6 -5 -3 -3 4 4 -3 -3 -3 3 -3 -2 -2 -3 -2 -2 1 1 1 <= 0 ( 5) -10 -7 -7 -4 4 4 4 5 5 3 -3 -3 -3 4 2 -2 -2 -2 2 -2 -2 -2 -1 -1 -1 1 1 1 <= 0 ( 6) -9 -9 -4 -4 4 4 4 6 3 3 -3 -3 -3 3 3 -3 -3 -3 1 -1 -1 -1 -1 -1 -1 1 1 1 <= 0 ( 7) -9 -8 -6 -6 3 4 4 6 5 5 -3 -3 -3 4 4 -2 -3 -3 3 -2 -2 -2 -2 -2 -2 1 1 1 <= 0 ( 8) -9 -6 -6 -4 3 4 4 4 5 3 -3 -3 -3 3 2 -1 -2 -2 2 -2 -2 -2 -1 -1 -1 1 1 1 <= 0 ( 9) -8 -8 -8 -5 -5 5 5 3 3 2 2 -2 -2 3 2 2 -2 -2 2 2 -2 -2 1 -1 -1 -1 -1 1 <= 0 ( 10) -8 -8 -6 -6 2 4 4 5 4 4 -1 -3 -3 5 5 -3 -3 -3 3 -2 -2 -2 -2 -2 -2 1 1 1 <= 0 ( 11) -8 -7 -6 -5 3 4 5 6 4 4 -2 -4 -4 4 3 -3 -4 -3 3 -2 -2 -3 -1 -2 -2 2 1 2 <= 0 ( 12) -8 -6 -6 -4 -2 4 4 4 4 3 1 -3 -3 3 1 2 -2 -2 3 0 -2 -2 -1 -1 -1 -1 -1 1 <= 0 ( 13) -8 -6 -6 -4 2 4 4 3 5 3 -3 -3 -3 3 2 0 -2 -2 2 -2 -2 -2 -1 -1 -1 1 1 1 <= 0 ( 14) -8 -6 -6 -4 3 3 4 4 4 3 -2 -2 -3 3 2 -2 -1 -2 2 -1 -2 -2 -1 -1 -1 0 1 1 <= 0 ( 15) -8 -6 -5 -5 1 3 4 4 4 4 -2 -2 -4 3 3 0 -2 -2 2 -1 -1 -2 -1 -1 -2 -1 2 0 <= 0 ( 16) -8 -5 -5 -5 3 3 3 5 5 5 -3 -3 -3 3 3 -2 -2 -2 3 -2 -2 -2 -2 -2 -2 1 1 1 <= 0 ( 17) -8 -5 -3 -3 3 3 3 5 3 3 -3 -3 -3 2 2 -2 -2 -2 1 -1 -1 -1 -1 -1 -1 1 1 1 <= 0 ( 18) -7 -7 -4 -4 -4 4 4 3 2 2 2 -2 -2 2 2 2 -2 -2 1 1 -1 -1 1 -1 -1 -1 -1 1 <= 0 ( 19) -7 -6 -6 -5 3 3 4 4 4 3 -3 -1 -4 3 3 -2 -2 -2 3 -2 -2 -2 -1 -1 -2 1 2 0 <= 0 ( 20) -7 -6 -5 -5 1 3 3 4 3 3 1 -3 -3 3 3 0 -2 -2 2 -1 -1 -1 -1 -1 -1 -1 -1 1 <= 0 ( 21) -7 -5 -5 -5 2 3 3 4 5 5 -3 -3 -3 3 3 -1 -2 -2 3 -2 -2 -2 -2 -2 -2 1 1 1 <= 0 ( 22) -7 -5 -3 -3 2 3 3 5 2 3 -3 -3 -3 2 2 -2 -2 -2 1 0 -1 -1 -1 -1 -1 1 1 1 <= 0 ( 23) -6 -6 -6 -3 3 3 3 4 4 2 -2 -2 -2 4 2 -2 -2 -2 2 -2 -2 -2 -1 -1 -1 1 1 1 <= 0 ( 24) -6 -6 -5 -4 1 3 3 3 3 2 0 -2 -2 3 2 0 -2 -2 2 -1 -1 -1 -2 0 0 -1 -1 1 <= 0 ( 25) -6 -6 -4 -4 -4 2 4 3 2 2 2 0 -3 2 2 2 0 -3 1 1 -1 -1 1 -1 -1 -1 -1 -1 <= 0 ( 26) -6 -6 -4 -4 -4 3 3 3 2 2 2 -2 -1 2 2 2 -2 -1 1 1 -1 -1 1 -1 -1 -1 -1 0 <= 0 ( 27) -6 -5 -5 -4 -3 3 4 3 3 2 2 -2 -2 2 2 1 -1 -2 2 1 -1 -2 0 -2 0 -1 -2 0 <= 0 ( 28) -6 -5 -5 -3 3 3 3 3 5 3 -5 -3 -3 3 2 -1 -2 -2 2 -3 -2 -2 -2 -1 -1 2 2 1 <= 0 ( 29) -6 -5 -5 -3 3 3 3 4 4 2 -3 -3 -2 3 2 -2 -2 -2 2 -2 -2 -2 -1 -1 -1 2 1 1 <= 0 ( 30) -6 -5 -3 -3 -1 3 3 4 2 2 2 -3 -3 2 2 1 -2 -2 1 0 -1 -1 0 -1 -1 -1 -1 1 <= 0 ( 31) -6 -5 -3 -3 1 3 3 3 3 3 -3 -3 -3 2 2 0 -2 -2 1 -1 -1 -1 -1 -1 -1 1 1 1 <= 0 ( 32) -6 -4 -4 -4 0 2 4 2 3 3 1 -3 -4 3 3 -2 0 -2 2 -1 -1 -2 -1 -1 -2 -1 0 2 <= 0 ( 33) -6 -4 -4 -4 0 2 4 3 3 4 -1 -3 -4 2 1 1 -1 -2 3 -1 -1 -2 -2 -2 -2 1 0 2 <= 0 ( 34) -6 -3 -3 -3 -3 3 3 2 2 2 2 -2 -2 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 <= 0 ( 35) -5 -5 -5 -3 -2 3 3 3 3 1 2 -2 -2 3 2 1 -2 -2 2 1 -2 -2 0 -1 -1 -1 -1 1 <= 0 ( 36) -5 -5 -5 -3 2 3 3 3 3 2 -1 -2 -2 4 2 -2 -2 -2 2 -2 -2 -2 -1 -1 -1 1 1 1 <= 0 ( 37) -5 -5 -5 -3 2 3 3 3 4 2 -2 -2 -2 4 2 -2 -2 -2 1 -4 -3 -1 0 -1 -1 2 0 1 <= 0 ( 38) -5 -5 -4 -3 -1 3 3 3 2 2 0 -2 -2 3 2 1 -2 -2 1 2 -2 -2 0 -1 -1 -1 -1 1 <= 0 ( 39) -5 -5 -4 -3 1 3 3 3 3 2 -1 -2 -2 3 2 -1 -2 -2 2 -2 -2 -2 -1 -1 -1 1 1 1 <= 0 ( 40) -5 -5 -3 -3 -2 1 3 3 2 2 1 -1 -2 2 2 1 -1 -2 1 0 -1 -1 0 -1 -1 1 -1 0 <= 0 ( 41) -5 -5 -3 -3 -1 2 3 3 2 2 0 -2 -2 2 2 1 -1 -2 1 0 -1 -1 0 -1 -1 1 -1 0 <= 0 ( 42) -5 -5 -3 -3 0 3 3 3 1 2 -1 -2 -2 3 2 1 -2 -2 0 3 -2 -2 -1 -1 -1 -1 -1 1 <= 0 ( 43) -5 -5 -3 -3 0 3 3 3 2 2 0 -2 -2 2 2 0 -2 -2 1 0 -1 -1 0 -1 -1 0 0 1 <= 0 ( 44) -5 -5 -3 -3 0 3 3 4 1 1 -3 -3 -3 2 2 -1 -2 -2 1 1 -1 -1 1 -1 -1 1 1 1 <= 0 ( 45) -5 -5 -3 -3 1 2 3 3 2 2 0 -2 -2 2 2 0 -2 -2 1 -1 0 -1 -1 0 -1 -2 1 0 <= 0 ( 46) -5 -4 -3 -3 -1 3 3 3 2 2 0 -2 -2 1 1 -1 -2 -2 1 1 -1 -1 1 -1 -1 0 0 1 <= 0 ( 47) -5 -3 -3 -3 -3 2 3 1 2 2 2 -2 -2 1 1 1 0 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 <= 0 ( 48) -5 -3 -3 -3 -3 2 3 2 2 2 2 -2 -1 1 1 1 -2 0 1 1 0 -2 1 0 -2 0 -2 -2 <= 0 ( 49) -5 -3 -3 -3 -3 2 3 2 2 2 2 -1 -2 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 0 -2 0 <= 0 ( 50) -4 -4 -4 -4 -4 -4 4 1 1 1 1 1 -1 1 1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 <= 0 ( 51) -4 -4 -4 -4 0 2 2 1 2 2 1 -1 -1 2 3 -2 -2 0 2 0 0 -2 -1 -1 -1 1 -1 -1 <= 0 ( 52) -4 -4 -4 -4 0 2 2 2 2 2 0 -2 0 2 3 -1 -1 -1 3 -1 -1 -1 -2 -2 0 1 -1 -1 <= 0 ( 53) -4 -4 -4 -3 -3 3 3 2 2 2 2 -2 -2 3 1 3 -3 -2 3 1 -3 -2 0 -2 -1 -2 -1 1 <= 0 ( 54) -4 -4 -4 -3 -1 1 3 2 2 2 0 0 -2 3 1 2 -2 -2 3 0 -2 -2 -1 -1 -1 -1 -1 1 <= 0 ( 55) -4 -4 -4 -3 1 1 3 1 3 2 -2 0 -2 3 2 0 -2 -2 2 -2 -2 -2 -1 -1 -1 1 1 1 <= 0 ( 56) -4 -4 -4 -3 2 2 3 2 3 2 -2 -1 -2 3 2 -1 -2 -2 2 -2 -2 -2 -1 -1 -1 1 1 1 <= 0 ( 57) -4 -4 -4 -3 3 3 3 1 3 1 -3 -2 -2 3 3 -1 -2 -2 3 -3 -2 -2 -2 -1 -1 1 1 1 <= 0 ( 58) -4 -4 -3 -3 -1 0 3 2 1 3 2 -2 -2 2 2 0 0 -2 0 -1 2 -1 1 -2 -1 -2 -1 0 <= 0 ( 59) -4 -4 -3 -3 -1 0 3 2 2 2 0 0 -2 3 3 0 -2 -2 2 -1 -2 -1 -1 -2 -1 2 -1 0 <= 0 ( 60) -4 -4 -3 -3 0 1 3 1 1 2 2 -2 -2 3 2 -2 0 -2 1 -2 1 -1 0 -1 -1 -2 0 1 <= 0 ( 61) -4 -4 -3 -3 0 1 3 3 2 2 -2 -2 -3 2 2 -2 -2 -3 1 0 -1 -1 0 -1 -1 2 2 1 <= 0 ( 62) -4 -4 -3 -3 0 2 2 2 2 2 -1 -2 -1 2 2 1 -1 -2 1 0 -1 -1 0 -1 -1 1 -1 0 <= 0 ( 63) -4 -4 -3 -3 0 2 2 3 2 2 -1 -2 -2 2 2 -1 -2 -2 1 0 -1 -1 0 -1 -1 1 1 1 <= 0 ( 64) -4 -4 -3 -3 1 1 2 2 1 2 -2 -2 1 2 2 0 0 -2 1 1 1 -3 -1 -1 0 1 -2 -2 <= 0 ( 65) -4 -4 -3 -3 2 2 2 3 2 2 -2 -2 -1 2 2 -2 -1 -2 2 -1 -1 -1 -1 -1 -1 1 1 0 <= 0 ( 66) -4 -4 -2 -2 2 2 2 4 2 2 -2 -2 -2 2 2 -2 -2 -2 1 -1 -1 -1 -1 -1 -1 1 1 1 <= 0 ( 67) -4 -3 -3 -3 -3 1 3 1 1 2 2 -2 -2 1 1 1 0 -1 1 1 0 -1 1 -1 -1 -1 -1 1 <= 0 ( 68) -4 -3 -3 -3 -1 -1 3 2 2 2 0 0 -2 0 2 -1 1 -1 2 1 -1 -1 -1 -1 -1 1 -1 -1 <= 0 ( 69) -4 -3 -3 -3 -1 1 3 1 2 2 0 -2 -3 1 1 -1 1 -2 1 1 -1 -1 1 -1 -1 -1 1 1 <= 0 ( 70) -4 -3 -3 -2 -2 2 2 2 2 1 1 -2 -2 1 1 1 -1 -1 1 1 -1 -1 0 -1 0 0 -1 1 <= 0 ( 71) -4 -3 -3 -2 0 2 2 2 2 1 1 -2 -2 2 1 0 -1 -1 1 0 -1 -1 -1 0 0 -1 -1 1 <= 0 ( 72) -4 -3 -2 -2 -1 2 2 3 2 2 1 -2 -2 1 1 2 -2 -2 1 0 -1 -1 0 -1 -1 -1 -1 1 <= 0 ( 73) -4 -3 -2 -2 1 2 2 3 2 2 -1 -2 -2 2 2 -2 -2 -2 1 -1 -1 -1 -1 -1 -1 1 1 1 <= 0 ( 74) -4 -2 -2 -2 -1 1 2 2 2 2 1 -1 -2 1 1 0 -1 -1 1 0 -1 -1 0 -1 -1 1 -1 0 <= 0 ( 75) -4 -2 -2 -2 0 2 2 2 2 2 0 -2 -2 1 1 0 -1 -1 1 0 -1 -1 0 -1 -1 0 0 1 <= 0 ( 76) -3 -3 -3 -3 -3 0 3 0 0 2 2 -3 -2 1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 <= 0 ( 77) -3 -3 -3 -3 -3 0 3 1 1 1 1 0 -1 1 1 1 0 -1 1 1 0 -1 1 0 -1 0 -1 0 <= 0 ( 78) -3 -3 -3 -3 -3 1 2 1 1 1 1 -1 0 1 1 1 -1 0 1 1 0 -1 1 0 -1 0 -1 -1 <= 0 ( 79) -3 -3 -3 -3 -1 1 2 1 1 1 1 -1 0 1 1 1 -1 0 2 -1 1 -3 -1 1 -3 -1 2 -2 <= 0 ( 80) -3 -3 -3 -3 1 1 2 1 1 3 -3 1 -2 3 1 1 -3 -2 2 0 -2 -1 -2 0 -1 -2 1 1 <= 0 ( 81) -3 -3 -3 -2 -1 2 2 1 2 1 2 -2 -1 3 2 -1 -2 -2 1 0 -2 -1 -1 0 -1 -2 -1 2 <= 0 ( 82) -3 -3 -3 -2 0 1 2 1 1 2 -2 1 -2 3 1 1 -2 -1 2 0 -3 -2 -1 -1 -1 -1 1 1 <= 0 ( 83) -3 -3 -3 -2 0 1 2 1 2 1 1 0 -2 3 2 0 -3 -2 1 1 -2 -2 -1 -1 0 -1 -2 2 <= 0 ( 84) -3 -3 -2 -2 -2 0 2 1 1 1 1 0 -1 1 1 1 0 -1 0 0 1 -1 1 -1 0 -1 0 -1 <= 0 ( 85) -3 -3 -2 -2 -2 2 2 2 1 1 1 -1 -1 1 1 1 -1 -1 0 0 -1 -1 1 -1 0 0 -1 0 <= 0 ( 86) -3 -3 -2 -2 -2 2 2 3 1 1 2 -2 -2 1 2 1 -2 -2 1 1 -1 -1 0 -1 -1 -1 -1 1 <= 0 ( 87) -3 -3 -2 -2 -1 -1 2 1 0 2 -1 3 -2 2 0 3 -1 -2 1 1 -1 -1 -1 1 -1 -2 -1 -1 <= 0 ( 88) -3 -3 -2 -2 -1 1 2 3 1 1 2 -2 -2 1 2 1 -2 -2 1 0 0 -1 0 -1 -1 -1 -1 1 <= 0 ( 89) -3 -3 -2 -2 0 0 2 1 1 1 1 1 -2 2 2 -2 0 -2 1 -1 -1 0 -1 -1 0 1 0 -2 <= 0 ( 90) -3 -3 -2 -2 0 0 2 1 2 2 -2 0 -2 2 2 0 -2 -2 1 -1 -1 -1 -1 -1 -1 1 1 1 <= 0 ( 91) -3 -3 -2 -2 0 0 2 2 1 2 -1 1 -2 1 2 -1 1 -2 0 1 -1 0 -2 0 0 -1 0 -2 <= 0 ( 92) -3 -3 -2 -2 0 1 1 2 1 1 1 -2 0 1 1 1 0 -2 1 -1 -1 1 -1 1 -1 -1 -1 -2 <= 0 ( 93) -3 -3 -2 -2 0 1 1 2 1 2 -1 -2 1 1 2 -1 0 -1 0 1 1 -2 -2 -2 2 1 -2 -3 <= 0 ( 94) -3 -3 -2 -2 1 1 2 2 1 2 -2 0 -2 2 1 0 -2 -2 1 0 -1 -1 -1 0 -1 -1 1 1 <= 0 ( 95) -3 -3 -2 -2 1 1 2 2 1 2 -2 0 -2 2 2 -1 -2 -2 1 0 -1 -1 -1 -1 -1 0 1 1 <= 0 ( 96) -3 -3 -2 -2 1 1 2 2 2 2 -2 -1 -2 2 2 -1 -2 -2 1 -1 -1 -1 -1 -1 -1 1 1 1 <= 0 ( 97) -3 -3 -2 -2 1 1 2 3 1 2 -2 -1 -2 1 2 -1 -2 -2 1 0 0 -1 -1 -1 -1 0 1 1 <= 0 ( 98) -3 -3 -2 -2 1 1 2 3 2 2 -2 -2 -2 2 2 -2 -2 -2 1 -1 -1 -1 -1 -1 -1 2 1 1 <= 0 ( 99) -3 -2 -2 -2 -2 -1 2 0 2 2 2 -1 -2 0 1 1 1 -1 0 0 2 -2 1 -1 -1 -1 -1 -1 <= 0 (100) -3 -2 -2 -2 -2 1 2 1 1 2 2 -2 -1 1 0 0 1 -1 0 2 -1 -1 0 -2 -2 -2 0 1 <= 0 (101) -3 -2 -2 -2 -1 0 2 0 1 1 2 1 -2 2 2 -1 -2 -1 1 0 -1 -1 0 -1 -1 1 -1 0 <= 0 (102) -3 -2 -2 -2 -1 0 2 1 1 2 -1 1 -1 1 0 2 -1 -1 0 2 -1 -1 -2 0 -2 -2 0 1 <= 0 (103) -3 -2 -2 -2 -1 0 2 1 1 2 0 1 -2 1 0 1 -1 0 2 -1 -1 0 -2 0 0 1 -2 -2 <= 0 (104) -3 -2 -2 -2 -1 0 2 1 1 2 2 -1 -2 1 0 0 1 -1 1 0 0 -1 1 -1 -1 -1 -1 0 <= 0 (105) -3 -2 -2 -2 -1 0 2 1 2 2 1 -1 -2 1 1 0 0 -1 1 0 -1 -1 0 -1 -1 1 -1 0 <= 0 (106) -3 -2 -2 -2 -1 1 1 1 2 2 1 -2 -1 1 1 0 0 -1 1 0 -1 -1 0 -1 -1 -1 1 0 <= 0 (107) -3 -2 -2 -2 -1 1 1 2 2 2 -1 -2 -2 1 1 0 -1 -1 1 0 -1 -1 0 -1 -1 1 1 1 <= 0 (108) -3 -2 -2 -2 -1 2 2 1 2 2 0 -2 -2 1 1 1 -1 -1 1 0 -1 -1 0 -1 -1 -1 -1 2 <= 0 (109) -3 -2 -2 -2 0 1 2 1 1 2 1 -2 -2 2 1 -1 0 -1 1 -1 0 -1 0 -1 -1 -1 0 1 <= 0 (110) -3 -2 -2 -2 0 1 2 1 2 2 -1 -1 -2 1 1 1 -1 -1 1 -1 0 -1 0 -1 -1 -1 0 1 <= 0 (111) -3 -2 -2 -2 0 1 2 1 2 2 0 -2 -2 1 1 0 0 -1 1 0 -1 -1 0 -1 -1 0 0 1 <= 0 (112) -3 -2 -2 -2 1 1 1 1 1 2 -2 -2 1 1 1 0 0 -1 1 0 0 -1 -1 -1 0 1 -1 -1 <= 0 (113) -3 -2 -2 -2 1 1 1 1 2 2 -2 -1 -1 1 1 0 -1 0 1 -1 -1 0 -1 0 -1 1 0 -1 <= 0 (114) -2 -2 -2 -2 -2 1 1 0 1 1 1 -1 0 1 1 1 0 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 <= 0 (115) -2 -2 -2 -2 -2 2 2 1 1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 <= 0 (116) -2 -2 -2 -2 -1 -1 0 1 1 1 -1 1 -1 1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -2 1 1 <= 0 (117) -2 -2 -2 -2 -1 -1 2 0 0 0 -2 2 -2 0 1 1 1 -1 2 2 -2 0 1 -1 -1 -2 1 -1 <= 0 (118) -2 -2 -2 -2 -1 -1 2 0 1 1 0 1 -1 1 1 1 0 -1 1 0 0 -1 0 0 -1 1 -1 -1 <= 0 (119) -2 -2 -2 -2 -1 0 1 0 1 1 0 1 -1 1 1 1 -1 0 1 0 0 -1 0 0 -1 -1 1 -1 <= 0 (120) -2 -2 -2 -2 -1 0 1 1 1 1 0 0 -1 1 1 0 0 -1 1 1 -1 -1 1 -1 -1 -1 0 1 <= 0 (121) -2 -2 -2 -2 -1 0 1 1 1 1 0 0 -1 1 2 0 -1 -1 2 0 -1 -1 -1 -2 -2 1 1 1 <= 0 (122) -2 -2 -2 -2 -1 1 2 1 1 1 0 -1 -2 1 1 0 0 -1 1 1 -1 -1 1 -1 -1 -1 0 1 <= 0 (123) -2 -2 -2 -2 -1 1 2 1 1 1 0 0 -1 1 1 0 0 -1 1 1 -1 -1 1 -1 -1 -2 -1 1 <= 0 (124) -2 -2 -2 -2 0 0 0 0 1 2 -1 -1 1 1 2 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 <= 0 (125) -2 -2 -2 -2 0 0 2 1 1 1 0 0 -1 1 1 0 0 -1 1 0 0 -1 0 0 -1 0 0 0 <= 0 (126) -2 -2 -2 -2 0 1 1 0 1 1 1 -1 0 1 2 -2 1 -2 1 0 -1 0 -1 0 -1 -1 1 -1 <= 0 (127) -2 -2 -2 -2 0 1 1 1 1 1 -1 0 0 1 1 -1 0 0 1 1 -1 -1 1 -1 -1 -2 -2 1 <= 0 (128) -2 -2 -2 -2 0 1 1 1 1 1 -1 0 0 1 1 0 -1 0 1 0 0 -1 1 -1 -1 -1 -1 0 <= 0 (129) -2 -2 -2 -2 0 1 1 1 1 1 0 -1 0 1 1 0 -1 0 1 0 0 -1 0 0 -1 0 0 -1 <= 0 (130) -2 -2 -2 -2 0 1 1 1 1 1 0 -1 0 1 1 0 0 -1 2 -1 -1 0 -1 -1 0 1 -1 -1 <= 0 (131) -2 -2 -2 -1 -1 -1 1 1 1 0 0 1 -1 1 0 0 1 -1 0 1 0 -1 1 -1 1 -1 0 -1 <= 0 (132) -2 -2 -2 -1 -1 1 1 1 1 0 0 -1 -1 1 0 1 -1 0 1 0 0 -1 0 1 -1 -1 1 -1 <= 0 (133) -2 -2 -2 -1 -1 1 1 1 1 0 1 -1 0 1 0 1 -1 0 1 0 0 -1 -1 0 -1 0 0 -1 <= 0 (134) -2 -2 -2 -1 -1 1 1 1 1 0 1 -1 0 1 0 1 -1 0 1 0 0 -1 -1 1 -2 -1 1 -1 <= 0 (135) -2 -2 -2 -1 -1 1 1 1 1 0 1 -1 0 1 0 1 0 -1 1 0 -1 0 -1 0 -1 0 0 -1 <= 0 (136) -2 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 0 0 0 -1 -1 0 1 -1 0 1 0 -1 -1 -1 1 <= 0 (137) -2 -1 -1 -1 0 0 1 1 1 1 0 0 -1 0 0 -1 -1 0 0 0 1 -1 1 0 -1 1 -1 -1 <= 0 (138) -2 -1 -1 -1 0 0 1 1 1 1 0 0 -1 0 0 -1 0 -1 1 1 -1 -1 1 -1 -1 -1 0 1 <= 0 (139) -1 -1 -1 -1 -1 0 1 -1 0 0 0 1 -1 1 1 1 -1 0 0 1 -1 0 1 0 -1 -1 -1 0 <= 0 (140) -1 -1 -1 -1 -1 0 1 -1 0 0 1 0 -1 1 1 0 0 0 0 0 1 -1 1 -1 0 -1 0 -1 <= 0 (141) -1 -1 -1 -1 -1 0 1 -1 0 0 1 0 -1 1 1 0 0 0 1 1 -1 -1 1 -1 -1 -1 -1 1 <= 0 (142) -1 -1 -1 -1 -1 0 1 0 0 0 1 -1 -1 0 1 0 1 -1 1 1 -1 0 0 0 -1 -1 0 0 <= 0 (143) -1 -1 -1 -1 -1 0 1 0 0 1 1 0 -1 1 0 1 0 -1 1 0 0 -1 0 0 -1 0 -1 0 <= 0 (144) -1 -1 -1 -1 0 0 0 0 0 1 -1 0 1 1 0 1 0 -1 1 0 0 -1 -1 0 0 0 -1 0 <= 0 (145) -1 -1 -1 -1 0 1 1 1 1 1 0 -1 -1 1 1 0 -1 -1 1 0 -1 -1 0 -1 -1 0 0 1 <= 0 (146) -1 -1 -1 0 0 0 1 1 1 0 0 0 -1 1 0 0 0 -1 0 0 0 -1 0 0 0 0 0 0 <= 0 (147) -1 -1 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 END