DIM = 21 INDEX AB AC AD AE AF AG BC BD BE BF BG CD CE CF CG DE DF DG EF EG FG INEQUALITIES_SECTION ( 1) -5 -5 -3 -3 3 3 3 2 2 -2 -2 2 2 -2 -2 1 -1 -1 -1 -1 1 <= 0 ( 2) -5 -5 -3 3 3 3 3 2 -2 -2 -2 2 -2 -2 -2 -1 -1 -1 1 1 1 <= 0 ( 3) -5 -3 -3 -3 -3 5 2 2 2 2 -3 1 1 1 -2 1 1 -2 1 -2 -2 <= 0 ( 4) -5 -3 -3 -3 3 5 2 2 2 -2 -3 1 1 -1 -2 1 -1 -2 -1 -2 2 <= 0 ( 5) -4 -2 -2 -2 2 2 2 2 2 -2 -2 1 1 -1 -1 1 -1 -1 -1 -1 1 <= 0 ( 6) -3 -3 -3 -3 -3 3 1 1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 <= 0 ( 7) -3 -3 -3 -3 3 3 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 <= 0 ( 8) -3 -3 -3 -3 5 5 1 1 1 -2 -2 1 1 -2 -2 1 -2 -2 -2 -2 3 <= 0 ( 9) -3 -2 -2 -2 1 2 1 2 2 -2 -2 1 1 0 -1 1 -1 -1 -1 -1 1 <= 0 ( 10) -3 -2 -2 -2 1 2 2 2 2 -2 -1 1 1 -1 -1 1 -1 -1 -1 -1 0 <= 0 ( 11) -3 -2 -2 -1 2 2 1 2 2 -2 -2 1 0 -1 -1 1 -1 -1 -1 -1 1 <= 0 ( 12) -2 -2 -2 -2 -2 4 1 1 1 1 -2 1 1 1 -2 1 1 -2 1 -2 -2 <= 0 ( 13) -2 -2 -2 -2 -1 3 1 1 1 0 -1 1 1 1 -2 1 1 -2 1 -2 -2 <= 0 ( 14) -2 -2 -2 -2 0 2 1 1 1 0 -1 1 1 0 -1 1 0 -1 0 -1 0 <= 0 ( 15) -2 -2 -2 -2 1 1 1 1 1 -1 0 1 1 -1 0 1 0 -1 0 -1 -1 <= 0 ( 16) -2 -2 -2 -2 1 3 1 1 1 -1 -2 1 1 -1 -2 1 -1 -2 0 -1 2 <= 0 ( 17) -2 -2 -2 -2 2 4 1 1 1 -1 -2 1 1 -1 -2 1 -1 -2 -1 -2 2 <= 0 ( 18) -2 -2 -2 -1 -1 2 1 1 0 1 -1 1 0 1 -1 1 0 -1 -1 -1 0 <= 0 ( 19) -2 -2 -2 -1 1 2 1 1 0 -1 -1 1 0 -1 -1 1 0 -1 1 -1 0 <= 0 ( 20) -2 -2 -2 -1 2 3 1 1 0 -1 -1 1 1 -1 -2 1 -1 -2 -1 -2 2 <= 0 ( 21) -2 -2 -2 0 2 2 1 1 0 -1 -1 1 0 -1 -1 0 -1 -1 0 0 1 <= 0 ( 22) -2 -2 -2 1 1 2 1 1 -1 0 -1 1 -1 0 -1 0 -1 -1 -1 0 1 <= 0 ( 23) -2 -2 -2 1 2 3 1 1 -1 -1 -2 1 -1 -1 -2 -1 -1 -2 0 2 1 <= 0 ( 24) -2 -2 -1 -1 2 2 1 0 1 -1 -1 0 1 -1 -1 -1 -1 -1 0 0 1 <= 0 ( 25) -2 -2 -1 -1 2 2 1 0 1 -1 -1 1 0 -1 -1 -1 -1 0 0 -1 1 <= 0 ( 26) -2 -2 -1 1 2 2 1 0 -1 -1 -1 0 -1 -1 -1 1 -1 -1 0 0 1 <= 0 ( 27) -1 -1 -1 -1 -1 1 0 0 1 1 -1 1 0 1 -1 1 0 -1 0 -1 -1 <= 0 ( 28) -1 -1 -1 -1 0 0 0 0 1 -1 1 1 0 1 -1 1 0 -1 -1 0 -1 <= 0 ( 29) -1 -1 -1 -1 0 0 0 1 1 -1 0 1 1 0 -1 1 -1 -1 -1 -1 1 <= 0 ( 30) -1 -1 -1 -1 1 1 0 0 1 -1 -1 1 0 -1 -1 1 -1 0 -1 0 1 <= 0 ( 31) -1 -1 -1 -1 1 1 0 0 1 -1 -1 1 1 -1 0 1 0 -1 -1 -1 0 <= 0 ( 32) -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 <= 0 ( 33) -1 -1 -1 0 0 1 0 0 -1 1 -1 1 0 -1 -1 1 -1 0 -1 1 0 <= 0 ( 34) -1 -1 -1 0 0 1 0 0 -1 1 -1 1 1 -1 0 1 0 -1 -1 0 -1 <= 0 ( 35) -1 -1 -1 0 0 1 1 1 0 0 -1 1 0 0 -1 0 0 -1 0 0 0 <= 0 ( 36) -1 -1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 <= 0 ( 37) -5 -5 -3 -3 -3 3 3 2 2 2 -2 2 2 2 -2 1 1 -1 1 -1 -1 <= 2 ( 38) -5 -5 3 3 3 3 3 -2 -2 -2 -2 -2 -2 -2 -2 1 1 1 1 1 1 <= 2 ( 39) -5 -3 -3 3 3 5 2 2 -2 -2 -3 1 -1 -1 -2 -1 -1 -2 1 2 2 <= 2 ( 40) -4 -2 -2 -2 -2 2 2 2 2 2 -2 1 1 1 -1 1 1 -1 1 -1 -1 <= 2 ( 41) -3 -3 -3 -3 -3 -3 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 <= 2 ( 42) -3 -3 -3 3 3 3 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 <= 2 ( 43) -3 -2 -2 -2 -2 1 1 2 2 2 -2 1 1 1 0 1 1 -1 1 -1 -1 <= 2 ( 44) -3 -2 -2 -2 -1 2 1 2 2 2 -2 1 1 0 -1 1 1 -1 1 -1 -1 <= 2 ( 45) -3 -2 -2 -1 2 2 2 2 2 -2 -1 1 1 -1 -1 1 -1 -1 -1 0 1 <= 2 ( 46) -2 -2 -2 -2 -2 0 1 1 1 1 0 1 1 1 0 1 1 0 1 0 0 <= 2 ( 47) -2 -2 -2 -2 -1 -1 1 1 1 0 1 1 1 0 1 1 1 0 1 0 -1 <= 2 ( 48) -2 -2 -2 -2 -1 1 1 1 1 0 -1 1 1 0 -1 1 1 0 1 0 1 <= 2 ( 49) -2 -2 -2 -1 1 2 1 1 0 -1 -1 1 1 0 -1 1 0 -1 1 0 1 <= 2 ( 50) -2 -2 -2 1 2 3 1 1 -1 -1 -2 1 -1 -1 -2 0 -1 -1 1 2 2 <= 2 ( 51) -2 -2 -2 2 2 4 1 1 -1 -1 -2 1 -1 -1 -2 -1 -1 -2 1 2 2 <= 2 ( 52) -2 -2 -1 -1 1 1 3 2 2 -2 -1 2 2 -1 -2 1 -1 -1 -1 -1 0 <= 2 ( 53) -2 -2 -1 1 2 2 1 0 -1 -1 -1 1 0 -1 -1 1 -1 0 0 1 1 <= 2 ( 54) -2 -2 0 2 2 2 1 0 -1 -1 -1 0 -1 -1 -1 0 0 0 1 1 1 <= 2 ( 55) -2 -2 1 1 2 2 1 -1 0 -1 -1 -1 0 -1 -1 -1 0 0 1 1 1 <= 2 ( 56) -2 -2 1 1 2 2 1 -1 0 -1 -1 0 -1 -1 -1 -1 0 1 1 0 1 <= 2 ( 57) -2 -1 -1 -1 0 1 2 2 2 -1 -1 1 1 -1 0 1 -1 0 0 -1 -1 <= 2 ( 58) -1 -1 -1 -1 -1 1 0 0 1 1 -1 1 0 1 -1 1 1 0 1 0 -1 <= 2 ( 59) -1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 <= 2 ( 60) -1 -1 -1 -1 0 0 0 0 1 -1 -1 1 0 1 1 1 0 1 -1 0 1 <= 2 ( 61) -1 -1 -1 -1 0 0 0 0 1 -1 1 1 0 1 -1 1 1 0 0 1 -1 <= 2 ( 62) -1 -1 -1 -1 0 0 0 1 1 -1 0 1 1 0 1 1 -1 1 -1 1 -1 <= 2 ( 63) -1 -1 -1 -1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 0 0 0 <= 2 ( 64) -1 -1 -1 -1 1 1 0 1 1 -1 0 1 1 0 -1 1 -1 -1 0 0 1 <= 2 ( 65) -1 -1 -1 0 0 1 0 1 -1 1 0 1 1 0 -1 0 1 0 -1 -1 1 <= 2 ( 66) -1 -1 -1 0 0 1 1 1 -1 1 -1 1 -1 1 -1 0 1 0 -1 1 0 <= 2 ( 67) -1 -1 0 0 1 1 1 0 1 -1 0 1 0 0 -1 -1 1 -1 -1 1 0 <= 2 ( 68) 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 <= 2 ( 69) -3 -3 -3 3 5 5 1 1 -1 -2 -2 1 -1 -2 -2 -1 -2 -2 2 2 3 <= 4 ( 70) -3 -2 -2 -2 -1 2 2 2 2 2 -1 1 1 1 -1 1 1 -1 1 -1 0 <= 4 ( 71) -2 -2 -1 -1 -1 1 3 1 2 2 -2 2 1 2 -2 0 1 -1 1 -1 -1 <= 4 ( 72) -2 -2 -1 1 2 2 1 1 0 -1 -1 1 0 -1 -1 1 0 0 1 1 1 <= 4 ( 73) -2 -1 -1 -1 -1 0 1 2 2 2 -1 0 0 1 1 1 1 -1 1 -1 0 <= 4 ( 74) -1 -1 -1 -1 -1 -1 0 0 1 1 1 1 0 1 1 1 0 1 0 1 1 <= 4 ( 75) -1 -1 -1 0 0 1 0 1 -1 0 -1 1 1 1 0 0 1 0 1 1 1 <= 4 ( 76) -1 -1 -1 0 0 1 1 1 0 1 0 1 1 1 -1 1 1 -1 1 -1 0 <= 4 ( 77) -5 -5 -3 -3 -3 -3 3 2 2 2 2 2 2 2 2 1 1 1 1 1 1 <= 6 ( 78) -5 -3 -2 -2 -2 2 5 3 3 3 -3 2 2 2 -2 1 1 -1 1 -1 -1 <= 6 ( 79) -4 -2 -2 -2 -2 -2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 <= 6 ( 80) -3 -3 3 3 3 3 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 <= 6 ( 81) -3 -2 -2 -2 -2 -1 1 2 2 2 2 1 1 1 0 1 1 1 1 1 1 <= 6 ( 82) -2 -2 -1 -1 -1 1 3 1 2 2 -2 2 2 2 -1 1 1 0 1 -1 -1 <= 6 ( 83) -2 -2 -1 -1 -1 1 4 2 2 2 -2 2 2 2 -2 1 1 -1 1 -1 -1 <= 6 ( 84) -2 -1 -1 -1 -1 0 1 2 2 2 1 0 0 1 -1 1 1 1 1 1 0 <= 6 ( 85) -2 -1 -1 -1 -1 0 2 2 2 2 0 1 1 1 0 1 1 0 1 0 0 <= 6 ( 86) -2 -1 -1 -1 -1 0 2 2 2 3 -1 1 1 2 -1 1 2 -1 2 -1 -2 <= 6 ( 87) -2 -1 -1 -1 0 1 2 2 2 1 -1 1 1 0 -1 1 1 0 1 0 1 <= 6 ( 88) -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 <= 6 ( 89) -1 -1 -1 -1 0 0 -1 0 0 -1 -1 2 2 2 2 1 1 1 1 1 1 <= 6 ( 90) -1 -1 -1 -1 0 0 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 <= 6 ( 91) -1 -1 0 0 1 1 1 0 1 -1 0 1 1 0 0 1 1 1 0 1 1 <= 6 ( 92) 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 <= 6 ( 93) -3 -3 3 3 5 5 1 -1 -1 -2 -2 -1 -1 -2 -2 1 2 2 2 2 3 <= 10 ( 94) -2 -2 -1 -1 -1 -1 3 1 2 2 2 2 1 2 2 0 1 1 1 1 1 <= 10 ( 95) -1 -1 -1 0 0 1 1 2 1 1 0 2 1 1 0 2 2 1 1 1 1 <= 10 ( 96) 0 0 1 1 1 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 1 <= 10 ( 97) -5 -3 -2 -2 -2 -2 5 3 3 3 3 2 2 2 2 1 1 1 1 1 1 <= 12 ( 98) -3 -1 -1 -1 -1 -1 3 3 3 3 3 1 1 1 1 1 1 1 1 1 1 <= 12 ( 99) -2 -2 -1 -1 -1 -1 4 2 2 2 2 2 2 2 2 1 1 1 1 1 1 <= 12 (100) -2 -1 -1 -1 -1 0 2 2 2 3 1 1 1 2 1 1 2 1 2 1 2 <= 12 (101) -1 0 0 1 1 1 1 1 0 0 1 1 1 1 2 1 1 2 1 2 2 <= 12 (102) 0 0 0 0 0 0 1 1 1 1 2 1 1 1 2 1 1 2 1 2 2 <= 12 (103) 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 <= 12 (104) -3 -2 -2 -1 -1 -1 5 5 3 3 3 3 2 2 2 2 2 2 1 1 1 <= 18 (105) 0 1 1 1 1 2 1 1 1 2 1 1 1 2 2 1 2 2 2 2 3 <= 18 (106) 1 1 1 1 1 3 1 1 1 1 3 1 1 1 3 1 1 3 1 3 3 <= 20 (107) 1 1 1 1 2 2 1 1 1 2 2 1 1 2 2 1 2 2 2 2 4 <= 20 (108) 1 1 1 2 2 3 1 1 2 2 3 1 2 2 3 2 2 3 3 5 5 <= 28 END