DIM = 36 INDEX AB AC AD AE AF AG AH AI BC BD BE BF BG BH BI CD CE CF CG CH CI DE DF DG DH DI EF EG EH EI FG FH FI GH GI HI INEQUALITIES_SECTION ( 0) 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 == 2 ( 1) 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 0 0 1 1 1 0 1 1 1 1 1 1 0 0 0 >= 2 ( 2) 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 1 1 0 0 1 1 0 1 1 1 1 0 >= 2 ( 3) 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 1 >= 2 ( 4) 3 3 2 2 2 2 1 1 2 3 1 1 1 2 2 1 3 1 1 2 2 2 2 2 3 1 2 2 3 1 0 1 1 1 1 2 >= 10 ( 5) 3 3 2 2 2 2 2 1 2 3 1 1 1 1 2 1 3 1 1 1 2 2 2 2 2 3 2 2 2 3 0 0 1 0 1 1 >= 10 ( 6) 3 3 3 2 2 1 1 1 2 2 3 1 2 2 2 0 1 3 2 2 2 1 3 2 2 2 2 3 1 1 3 1 1 2 2 0 >= 10 ( 7) 3 3 3 2 2 2 1 1 2 2 3 1 1 2 2 0 1 3 1 2 2 1 3 1 2 2 2 2 3 1 2 3 1 1 1 2 >= 10 ( 8) 3 3 3 2 2 2 2 1 2 2 3 1 1 1 2 0 1 3 1 1 2 1 3 1 1 2 2 2 2 3 2 2 3 0 1 1 >= 10 ( 9) 3 3 3 2 2 2 2 1 2 2 3 1 1 1 2 0 1 3 3 1 2 1 3 3 1 2 2 2 2 3 0 2 3 2 3 1 >= 10 ( 10) 3 3 3 2 2 2 2 1 2 2 3 3 1 1 2 0 1 1 3 1 2 1 1 3 1 2 0 2 2 3 2 2 3 2 3 1 >= 10 ( 11) 3 3 3 3 2 2 1 0 2 2 0 3 1 2 3 0 2 1 3 2 3 2 1 3 2 3 3 1 2 3 2 3 2 3 2 1 >= 10 ( 12) 3 3 3 3 2 2 1 1 2 2 0 3 1 2 2 0 2 1 3 2 2 2 1 3 2 2 3 1 2 2 2 3 1 3 1 2 >= 10 ( 13) 3 3 3 3 2 2 1 1 2 2 0 3 1 2 2 0 2 1 3 2 2 2 1 3 2 2 3 1 2 2 2 3 3 3 3 0 >= 10 ( 14) 3 3 3 3 2 2 1 1 2 2 2 3 1 2 2 0 0 1 3 2 2 0 1 3 2 2 1 3 2 2 2 3 1 3 1 2 >= 10 ( 15) 3 3 3 3 2 2 2 1 2 2 0 3 1 1 2 0 2 1 3 1 2 2 1 3 1 2 3 1 1 2 2 2 3 2 3 1 >= 10 ( 16) 3 3 3 3 2 2 2 1 2 2 0 3 3 1 2 0 2 1 1 3 2 2 1 1 3 2 3 3 1 2 0 2 3 2 3 3 >= 10 ( 17) 3 3 3 3 2 2 2 1 2 2 2 3 1 1 2 0 0 1 3 1 2 0 1 3 1 2 1 3 1 2 2 2 3 2 3 1 >= 10 ( 18) 3 3 3 3 2 2 2 1 2 2 2 3 1 1 2 0 0 1 3 3 2 0 1 3 3 2 1 3 3 2 2 2 3 0 3 3 >= 10 ( 19) 3 3 3 3 2 2 2 1 2 2 2 3 3 1 2 0 0 1 1 3 2 0 1 1 3 2 1 1 3 2 0 2 3 2 3 3 >= 10 ( 20) 3 3 3 3 3 2 2 1 2 2 2 0 3 1 2 0 0 2 1 3 2 0 2 1 3 2 2 1 3 2 3 1 2 2 3 3 >= 10 ( 21) 3 3 3 3 3 2 2 1 2 2 2 2 3 1 2 0 0 0 1 3 2 0 0 1 3 2 0 1 3 2 1 3 2 2 3 3 >= 10 ( 22) 3 3 3 2 2 2 2 1 2 2 3 3 1 1 2 2 1 1 3 1 2 1 1 3 1 2 2 2 2 3 2 2 3 2 3 1 >= 12 ( 23) 3 3 3 3 2 2 2 1 2 2 2 3 1 1 2 2 2 3 1 1 2 0 1 3 3 2 1 3 3 2 2 2 3 2 3 3 >= 12 ( 24) 3 3 3 3 2 2 2 1 2 2 2 3 3 1 2 2 2 1 1 3 2 0 1 1 3 2 1 1 3 2 2 2 3 2 3 3 >= 12 ( 25) 3 3 3 3 2 2 2 1 3 3 2 3 1 1 2 2 3 1 2 2 2 1 3 2 2 3 2 3 1 2 2 2 3 2 3 1 >= 13 ( 26) 3 3 3 3 2 2 2 1 3 3 2 3 1 1 2 2 3 1 2 2 2 1 3 2 2 3 2 3 3 2 2 2 3 0 3 3 >= 13 ( 27) 3 3 3 3 2 2 2 1 3 3 2 3 2 1 2 2 3 1 1 2 2 1 2 1 2 3 2 2 3 2 2 2 3 1 2 3 >= 13 ( 28) 3 3 3 3 3 2 2 1 3 2 2 2 3 1 2 2 1 1 2 2 3 2 1 1 3 3 2 1 3 2 2 2 3 2 3 3 >= 13 ( 29) 3 3 3 3 3 2 2 1 3 3 3 2 2 1 2 2 2 1 3 2 2 0 3 1 3 2 3 1 3 2 2 3 3 2 3 3 >= 13 ( 30) 3 3 3 3 3 2 2 1 3 3 3 2 2 1 2 2 2 3 1 3 2 0 1 3 2 2 1 3 2 2 2 3 3 2 3 3 >= 13 ( 31) 3 3 3 3 3 2 2 1 3 3 3 2 3 1 2 2 1 2 1 3 2 1 1 2 2 3 2 2 2 2 1 3 2 2 3 3 >= 13 ( 32) 3 3 3 3 3 2 2 1 3 3 3 2 3 1 2 2 2 3 1 2 2 0 1 3 2 3 1 3 2 3 2 3 2 2 3 3 >= 13 ( 33) 3 3 3 3 3 2 2 1 3 3 3 2 3 1 2 2 2 3 1 3 2 0 1 3 2 2 1 3 2 2 2 3 2 2 3 3 >= 13 ( 34) 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 >= 0 ( 35) 4 4 3 3 2 2 2 1 2 3 1 4 2 2 3 1 3 2 4 2 3 2 1 3 3 2 3 1 3 2 2 4 3 4 3 1 >= 14 ( 36) 4 4 3 3 3 2 2 1 2 3 3 1 2 2 3 3 1 3 2 2 3 2 2 3 1 2 2 1 3 2 1 3 2 2 3 3 >= 14 ( 37) 4 4 3 3 3 3 2 1 2 3 3 1 1 2 3 3 1 3 1 2 3 4 2 2 1 2 2 2 3 4 2 3 2 1 2 3 >= 14 ( 38) 4 4 3 3 3 3 2 1 2 3 3 3 1 2 3 3 1 1 3 2 3 2 2 4 1 2 0 2 3 2 2 3 2 3 4 3 >= 14 ( 39) 4 4 3 3 3 3 2 1 2 3 3 3 1 2 3 3 1 1 3 2 3 4 4 2 1 2 0 2 3 4 2 3 4 3 2 3 >= 14 ( 40) 4 4 4 3 3 3 2 1 2 2 3 3 1 2 3 0 3 1 3 2 3 3 1 3 2 3 2 4 1 2 2 3 2 3 4 3 >= 14 ( 41) 4 4 4 3 3 3 2 1 2 2 3 3 1 2 3 0 3 1 3 2 3 3 1 3 2 3 4 2 1 2 2 3 4 3 2 3 >= 14 ( 42) 4 4 3 3 3 3 2 1 2 3 3 3 1 2 3 3 3 1 3 2 3 2 4 4 1 2 2 2 3 2 2 3 4 3 4 3 >= 16 ( 43) 5 5 4 4 3 3 2 2 2 3 1 4 2 3 3 1 3 2 4 3 3 2 1 3 4 4 3 1 4 4 2 5 5 5 5 0 >= 16 ( 44) 5 5 4 4 4 3 3 2 2 3 1 1 4 2 3 1 3 1 2 4 3 2 2 1 3 4 2 3 1 4 3 3 2 2 5 5 >= 16 ( 45) 5 5 4 4 4 3 3 2 2 3 3 1 4 2 3 1 1 3 2 4 3 0 2 1 3 4 2 1 3 4 3 1 4 2 5 5 >= 16 ( 46) 5 5 5 4 4 3 3 2 2 2 3 1 4 2 3 0 1 3 2 4 3 1 3 2 4 3 2 1 3 4 3 1 4 2 5 5 >= 16 ( 47) 5 5 4 4 4 3 3 2 2 3 3 1 4 2 3 3 1 3 2 4 3 2 2 3 1 4 2 1 3 4 3 3 4 2 5 5 >= 18 ( 48) 6 5 4 4 4 3 2 2 3 4 2 2 5 4 4 1 5 1 2 3 3 4 2 1 4 2 4 3 6 2 3 2 2 5 1 4 >= 18 ( 49) 6 5 4 4 4 4 3 2 3 4 2 2 2 5 4 1 5 1 1 2 3 4 2 2 1 4 4 4 3 6 0 3 2 3 2 5 >= 18 ( 50) 6 5 4 4 4 4 3 2 3 4 4 2 2 5 4 1 1 5 1 2 3 0 4 2 1 4 4 2 1 4 4 3 6 3 2 5 >= 18 ( 51) 6 5 4 4 4 4 3 2 3 4 4 4 2 5 4 1 1 1 5 2 3 0 0 4 1 4 0 4 1 4 4 1 4 3 6 5 >= 18 ( 52) 6 5 5 4 4 3 2 2 3 3 4 2 5 4 4 0 1 5 2 3 3 1 5 2 3 3 4 1 4 2 3 6 2 5 1 4 >= 18 ( 53) 6 5 5 4 4 3 3 2 3 3 4 2 5 5 4 0 1 5 2 2 3 1 5 2 2 3 4 1 1 4 3 3 6 0 5 5 >= 18 ( 54) 6 5 5 4 4 4 3 2 3 3 4 2 2 5 4 0 1 5 1 2 3 1 5 1 2 3 4 2 1 4 4 3 6 3 2 5 >= 18 ( 55) 6 5 5 4 4 4 3 2 3 3 4 4 2 5 4 0 1 1 5 2 3 1 1 5 2 3 0 4 1 4 4 1 4 3 6 5 >= 18 ( 56) 6 5 5 5 4 4 3 2 3 3 3 4 2 5 4 0 0 1 5 2 3 0 1 5 2 3 1 5 2 3 4 1 4 3 6 5 >= 18 ( 57) 6 6 5 4 4 3 2 0 0 3 4 2 5 4 6 3 4 2 5 4 6 1 5 2 3 5 4 1 4 4 3 6 4 5 3 2 >= 18 ( 58) 6 6 5 4 4 3 2 2 0 3 4 2 5 4 4 3 4 2 5 4 4 1 5 2 3 3 4 1 4 2 3 6 2 5 1 4 >= 18 ( 59) 6 6 5 4 4 3 2 2 0 3 4 2 5 4 4 3 4 2 5 4 4 1 5 2 3 3 4 1 4 4 3 6 6 5 5 0 >= 18 ( 60) 6 6 5 4 4 3 3 2 0 3 4 2 5 5 4 3 4 2 5 5 4 1 5 2 2 3 4 1 1 4 3 3 6 0 5 5 >= 18 ( 61) 6 6 5 4 4 4 3 2 0 3 4 2 2 5 4 3 4 2 2 5 4 1 5 1 2 3 4 2 1 4 4 3 6 3 2 5 >= 18 ( 62) 6 6 5 4 4 4 3 2 0 3 4 2 2 5 4 3 4 2 2 5 4 1 5 5 2 3 4 4 1 4 0 3 6 3 6 5 >= 18 ( 63) 6 6 5 4 4 4 3 2 0 3 4 4 2 5 4 3 4 4 2 5 4 1 1 5 2 3 0 4 1 4 4 1 4 3 6 5 >= 18 ( 64) 6 6 5 5 4 4 3 2 0 3 3 4 2 5 4 3 3 4 2 5 4 0 1 5 2 3 1 5 2 3 4 1 4 3 6 5 >= 18 ( 65) 6 6 6 5 4 4 3 2 0 0 3 4 2 5 4 0 3 4 2 5 4 3 4 2 5 4 1 5 2 3 4 1 4 3 6 5 >= 18 ( 66) 5 5 4 3 3 3 3 2 4 3 4 4 2 2 3 3 2 2 4 4 3 3 1 3 1 4 4 4 2 5 2 2 3 4 5 3 >= 20 ( 67) 6 5 4 4 4 3 3 2 3 4 4 2 5 3 4 3 1 5 2 2 3 2 4 1 1 4 4 3 1 4 3 3 6 2 5 3 >= 20 ( 68) 6 5 4 4 4 4 3 2 3 4 4 2 2 5 4 3 1 5 1 2 3 2 4 2 1 4 4 2 3 4 4 3 6 3 2 5 >= 20 ( 69) 6 5 4 4 4 4 3 2 3 4 4 4 2 5 4 3 3 1 5 2 3 0 2 4 1 4 2 4 1 4 4 3 4 3 6 5 >= 20 ( 70) 6 5 5 4 4 3 2 2 3 1 4 4 5 4 4 4 5 1 4 5 3 3 3 4 5 5 4 1 2 2 5 6 4 3 1 4 >= 20 ( 71) 6 5 5 4 4 4 3 1 3 1 4 4 2 5 5 4 5 1 3 4 6 5 3 1 4 4 6 4 1 3 2 5 5 5 3 4 >= 20 ( 72) 6 5 5 4 4 4 3 2 3 3 4 4 2 5 4 0 3 1 5 2 3 3 1 5 2 3 2 4 1 4 4 3 4 3 6 5 >= 20 ( 73) 6 5 5 4 4 4 3 2 3 3 4 4 2 5 4 2 1 1 5 2 3 1 1 5 2 3 2 4 3 4 4 1 4 3 6 5 >= 20 ( 74) 6 6 5 4 4 4 3 2 0 3 4 4 2 5 4 3 4 4 2 5 4 3 1 5 2 3 2 4 1 4 4 3 4 3 6 5 >= 20 ( 75) 6 6 5 5 4 4 3 2 2 3 1 4 2 5 4 3 1 4 2 5 4 4 1 5 2 3 3 3 4 5 4 1 4 3 6 5 >= 20 ( 76) 6 5 5 5 4 4 3 2 4 4 3 4 2 5 4 2 3 1 5 2 3 1 3 4 4 3 2 5 3 3 4 1 4 3 6 5 >= 21 ( 77) 5 5 4 4 4 3 3 2 4 5 3 3 4 2 3 3 5 1 2 4 3 2 4 5 3 4 4 3 5 4 1 3 4 4 5 5 >= 22 ( 78) 5 5 5 4 4 3 3 2 4 4 5 3 4 2 3 0 3 5 2 4 3 3 5 2 4 3 2 5 3 4 3 5 4 4 5 5 >= 22 ( 79) 6 5 5 4 4 4 3 2 5 3 4 4 2 5 4 2 3 1 5 2 5 3 3 5 2 3 2 4 1 4 4 3 4 3 6 5 >= 22 ( 80) 6 5 5 5 4 4 3 2 5 3 1 4 2 5 4 6 4 5 3 2 3 4 1 3 4 5 3 1 4 5 2 5 6 5 4 5 >= 22 ( 81) 6 5 5 5 4 4 3 2 5 3 1 4 4 5 4 6 4 5 1 2 3 4 1 5 4 5 3 5 6 5 4 5 6 1 4 5 >= 22 ( 82) 6 6 5 4 4 4 3 2 4 3 4 2 2 5 4 3 4 2 2 5 4 1 5 5 2 3 4 4 1 4 4 3 6 3 6 5 >= 22 ( 83) 6 6 5 5 4 4 3 2 4 3 3 4 2 5 6 3 1 4 4 5 4 2 1 5 2 3 3 5 4 5 4 1 4 3 6 5 >= 22 ( 84) 6 6 5 5 4 4 3 2 4 5 3 4 2 5 4 3 1 4 4 5 4 4 1 5 2 3 3 5 4 3 4 1 4 3 6 5 >= 22 ( 85) 6 6 5 5 4 4 3 2 4 5 5 4 2 5 4 3 1 2 6 3 4 2 1 5 2 3 3 5 4 3 4 1 4 3 6 5 >= 22 ( 86) 7 6 5 5 4 4 3 2 1 4 4 5 3 6 5 5 3 4 4 5 4 6 1 5 2 3 5 1 4 5 4 1 4 3 6 5 >= 22 ( 87) 7 6 6 5 4 4 3 2 3 1 4 5 3 6 5 2 3 4 2 5 6 3 4 4 5 6 1 5 2 3 4 1 4 3 6 5 >= 22 ( 88) 7 6 6 5 4 4 3 2 3 1 4 5 3 6 5 2 5 4 2 5 4 5 4 4 5 4 1 5 2 3 4 1 4 3 6 5 >= 22 ( 89) 7 6 6 5 5 4 3 2 3 1 4 4 5 4 5 4 5 1 4 3 6 3 3 4 5 4 6 1 2 3 5 4 7 1 4 5 >= 22 ( 90) 6 6 6 5 4 4 3 2 6 4 5 4 2 3 4 2 3 4 4 5 4 5 4 6 3 6 1 5 2 3 4 1 4 3 6 5 >= 24 ( 91) 6 6 6 5 4 4 3 2 6 4 5 4 2 5 4 2 3 4 4 5 4 5 4 6 3 4 1 5 2 3 4 1 4 3 6 5 >= 24 ( 92) 6 6 6 5 4 4 3 2 6 4 5 4 2 5 4 2 3 4 4 5 6 5 4 6 3 4 1 3 2 3 4 1 4 3 6 5 >= 24 ( 93) 6 6 6 5 5 4 4 2 4 4 5 5 6 2 4 2 3 1 2 6 4 1 3 2 6 4 2 3 5 5 3 5 5 4 6 6 >= 24 ( 94) 6 6 6 6 5 4 4 2 6 4 4 5 6 2 4 2 2 3 4 4 6 4 3 2 6 4 1 2 4 4 1 5 5 4 6 6 >= 24 ( 95) 7 6 5 5 5 4 3 2 3 6 4 2 5 4 5 5 1 5 2 3 4 4 4 5 2 3 4 1 4 5 3 6 5 5 6 5 >= 24 ( 96) 7 6 6 5 5 4 3 2 5 3 4 2 5 4 5 2 3 3 4 5 4 5 5 4 3 6 6 1 2 3 5 4 7 1 4 5 >= 24 ( 97) 7 7 5 5 4 3 3 1 4 6 2 5 4 4 6 2 6 5 4 4 6 4 5 6 6 6 5 6 4 4 1 1 3 2 4 2 >= 24 ( 98) 8 7 6 6 5 4 4 3 3 4 2 5 6 4 5 1 5 2 3 5 4 4 1 2 4 5 3 4 2 7 1 3 6 2 7 7 >= 24 ( 99) 8 7 7 6 5 5 4 3 3 1 4 5 3 6 5 4 1 2 6 3 4 3 4 2 5 6 1 5 2 5 4 1 6 3 8 7 >= 24 (100) 6 6 6 5 5 4 3 2 6 4 5 5 2 5 4 2 5 3 4 5 4 3 5 6 3 4 2 5 2 5 5 4 3 3 6 5 >= 26 (101) 6 6 6 5 5 4 4 2 6 6 5 3 4 2 4 4 5 5 2 6 4 1 3 6 4 4 2 5 3 5 3 5 5 4 6 6 >= 26 (102) 6 6 6 6 5 4 4 2 6 6 4 5 6 2 4 4 5 2 2 5 4 2 2 5 4 5 4 3 6 4 4 3 3 4 6 6 >= 26 (103) 6 6 6 6 5 4 4 2 6 6 4 5 6 2 4 4 6 5 2 6 4 2 1 6 4 4 1 4 6 4 5 5 3 4 6 6 >= 26 (104) 7 6 6 5 5 4 4 2 5 3 4 2 5 5 5 6 5 5 6 2 4 1 5 2 4 6 4 1 5 5 3 7 5 6 6 6 >= 26 (105) 7 7 5 5 4 3 3 1 4 6 2 5 6 4 6 2 6 5 6 4 6 4 7 6 6 6 5 4 6 4 1 3 3 2 4 4 >= 26 (106) 7 7 5 5 4 3 3 2 4 6 2 5 6 4 5 2 6 5 6 4 5 4 5 6 6 7 3 4 6 5 1 3 2 2 3 5 >= 26 (107) 7 7 5 5 5 4 3 1 4 6 6 2 5 6 6 4 2 6 5 4 6 6 6 1 2 4 4 7 4 4 7 6 6 3 5 2 >= 26 (108) 7 7 5 5 5 4 3 1 4 6 6 2 5 6 6 4 2 6 5 4 6 6 6 1 2 4 4 7 6 6 7 4 4 3 5 2 >= 26 (109) 7 7 6 6 5 4 4 2 2 5 5 4 7 3 5 5 3 4 5 5 7 4 5 2 6 4 1 4 2 6 5 1 5 4 6 6 >= 26 (110) 7 7 6 6 5 4 4 2 2 7 3 4 5 5 5 5 5 4 7 3 5 6 5 2 6 4 1 4 2 4 5 1 5 4 6 6 >= 26 (111) 7 7 7 5 5 4 3 2 6 4 4 2 5 4 7 2 4 4 5 6 5 4 6 5 4 7 6 1 2 3 5 4 7 1 4 5 >= 26 (112) 7 7 7 5 5 4 3 2 6 4 6 2 5 4 5 2 4 4 5 6 5 6 6 5 4 5 6 1 2 3 5 4 7 1 4 5 >= 26 (113) 8 7 6 6 6 5 4 2 3 6 4 2 5 4 6 5 1 5 2 3 5 6 4 7 2 4 4 1 4 6 3 6 4 5 7 6 >= 26 (114) 9 7 6 6 6 5 4 3 4 5 3 3 6 7 6 1 7 1 2 3 4 6 2 1 2 5 6 5 4 9 3 4 3 1 6 7 >= 26 (115) 9 7 6 6 6 5 4 3 4 5 5 3 6 7 6 1 1 7 2 3 4 0 6 1 2 5 6 1 2 5 5 4 9 1 6 7 >= 26 (116) 9 7 7 6 6 5 4 3 4 4 5 3 6 7 6 0 1 7 2 3 4 1 7 2 3 4 6 1 2 5 5 4 9 1 6 7 >= 26 (117) 9 9 7 6 6 5 4 3 0 4 5 3 6 7 6 4 5 3 6 7 6 1 7 2 3 4 6 1 2 5 5 4 9 1 6 7 >= 26 (118) 6 6 6 6 5 4 4 2 6 6 2 3 6 4 4 4 4 5 6 2 4 4 3 2 6 6 5 6 6 6 3 5 3 4 6 6 >= 28 (119) 6 6 6 6 6 4 3 2 6 6 6 4 2 5 4 6 4 2 4 5 6 2 4 6 3 6 6 4 5 4 6 3 4 3 6 5 >= 28 (120) 7 7 5 5 5 3 3 2 4 6 6 2 6 4 5 6 2 6 6 4 5 4 4 2 4 3 4 6 6 7 6 6 7 2 3 5 >= 28 (121) 8 8 6 6 5 4 4 2 4 6 2 5 6 4 6 2 6 5 6 4 6 4 7 6 6 8 3 4 6 4 1 3 3 2 4 6 >= 28 (122) 9 7 6 6 6 5 4 3 4 5 5 3 6 7 6 3 1 7 2 3 4 2 6 1 2 5 6 3 4 5 5 4 9 1 6 7 >= 28 (123) 8 7 7 6 6 5 4 3 7 5 6 4 3 6 5 4 5 3 4 7 6 1 7 6 3 4 6 5 2 5 7 4 7 5 8 7 >= 32 (124) 8 8 8 7 6 5 4 3 6 4 7 2 7 4 5 2 5 4 7 4 7 7 6 5 6 5 5 2 5 6 5 2 7 3 8 7 >= 32 (125) 9 8 7 6 6 6 5 3 5 6 7 5 3 8 6 3 2 4 8 3 5 3 1 7 2 6 2 6 5 7 6 3 5 5 9 8 >= 32 (126) 9 8 7 7 6 6 5 3 5 6 6 7 3 8 6 3 1 4 8 3 5 4 1 7 2 6 3 7 4 6 6 3 7 5 9 8 >= 32 (127) 9 8 7 7 6 6 5 3 5 6 6 7 3 8 6 3 3 2 8 3 5 2 3 7 2 6 1 7 4 6 6 3 7 5 9 8 >= 32 (128) 9 8 8 6 6 5 4 3 7 5 7 3 6 7 6 2 4 6 5 6 7 6 8 5 4 5 6 1 2 5 5 4 9 1 6 7 >= 32 (129) 9 8 8 7 6 6 5 3 7 5 6 7 3 8 6 2 3 4 6 5 7 5 4 8 3 5 1 5 2 6 6 1 7 5 9 8 >= 32 (130) 9 9 8 6 6 6 5 3 6 7 7 7 3 8 6 1 5 3 9 4 6 4 2 8 5 5 2 6 1 7 6 3 5 5 9 8 >= 32 (131) 9 9 8 7 6 6 5 3 6 7 6 7 3 8 6 1 4 3 9 4 6 3 2 8 5 5 1 7 2 6 6 3 5 5 9 8 >= 32 (132) 10 10 8 8 6 6 5 4 4 6 2 8 4 5 6 2 6 4 6 7 6 4 2 4 5 8 6 2 3 8 4 3 10 1 8 9 >= 32 (133) 8 8 8 7 6 5 5 3 8 6 5 6 7 3 5 4 3 6 7 5 7 7 2 3 5 5 5 4 8 6 1 5 7 6 8 8 >= 34 (134) 8 8 8 7 7 5 5 3 8 6 5 5 7 3 5 4 5 3 7 5 7 1 7 3 5 5 6 2 6 6 4 8 6 6 8 8 >= 34 (135) 9 8 7 7 6 6 4 3 5 8 6 7 3 5 6 3 7 6 8 4 7 4 5 5 7 6 1 7 3 4 6 2 5 6 9 7 >= 34 (136) 9 8 8 6 6 6 4 3 7 5 7 7 3 7 6 2 6 4 6 6 7 4 6 8 4 5 2 6 2 7 6 4 5 4 9 7 >= 34 (137) 9 8 8 7 7 6 5 3 7 5 6 6 3 8 6 2 5 3 6 7 5 3 5 8 5 5 2 7 2 6 7 4 4 5 9 8 >= 34 (138) 9 8 8 8 6 6 4 3 7 7 5 7 3 7 6 4 6 2 8 4 5 2 6 6 6 5 4 8 4 5 6 2 7 4 9 7 >= 34 (139) 9 9 7 7 6 6 5 3 6 8 6 7 3 8 6 2 4 5 9 4 6 4 3 7 6 6 1 7 2 6 6 3 5 5 9 8 >= 34 (140) 12 9 8 8 7 6 5 4 5 6 4 7 8 9 8 1 9 2 3 4 5 8 1 2 3 6 7 6 5 12 1 2 7 1 8 9 >= 34 (141) 8 8 8 7 7 5 5 3 8 8 7 5 7 3 5 6 3 7 3 7 5 3 3 7 5 7 6 6 4 4 4 8 6 6 8 8 >= 36 (142) 9 8 8 8 8 6 5 3 7 7 5 5 3 8 6 4 6 2 8 7 5 2 6 8 3 5 4 8 3 7 8 7 7 5 9 8 >= 36 (143) 9 9 8 7 7 6 5 3 8 5 6 6 3 6 6 3 6 4 5 8 6 5 7 8 5 7 2 7 2 6 7 4 4 5 9 8 >= 36 (144) 9 9 8 8 6 6 4 3 8 7 5 7 3 5 6 5 3 7 5 7 6 8 2 8 4 5 6 8 4 7 6 2 7 4 9 7 >= 36 (145) 9 9 8 8 6 6 5 3 6 9 7 7 3 8 6 3 7 5 9 4 6 4 6 6 7 7 2 6 3 5 6 1 7 5 9 8 >= 36 (146) 9 9 8 8 6 6 5 3 8 7 5 5 3 6 6 5 3 7 5 8 6 8 2 8 3 5 6 8 5 7 6 1 7 5 9 8 >= 36 (147) 9 9 8 8 6 6 6 3 8 7 5 9 7 3 6 5 7 3 3 7 6 2 4 2 6 7 4 4 8 5 6 6 9 4 7 9 >= 36 (148) 9 9 8 8 6 6 6 3 8 7 5 9 7 3 6 5 7 3 3 7 6 2 6 2 6 7 4 4 8 5 6 6 9 4 5 9 >= 36 (149) 9 9 8 8 7 6 5 3 6 9 7 6 3 8 6 3 7 6 9 4 6 4 5 6 7 7 1 6 3 5 7 2 6 5 9 8 >= 36 (150) 9 9 8 8 7 6 5 3 8 7 5 6 3 6 6 5 3 6 5 8 6 8 1 8 3 5 7 8 5 7 7 2 6 5 9 8 >= 36 (151) 9 9 9 7 7 6 4 3 8 6 8 6 3 7 6 2 4 6 9 5 6 6 4 9 5 8 2 7 3 6 7 3 8 4 9 7 >= 36 (152) 9 9 9 7 7 6 6 3 8 6 8 8 9 3 6 4 4 2 3 9 6 2 4 3 9 6 2 5 7 8 5 7 6 6 9 9 >= 36 (153) 9 9 8 8 7 6 6 3 8 7 5 6 7 3 6 5 3 8 9 5 6 8 3 4 8 5 5 6 8 7 1 7 8 6 9 9 >= 38 (154) 9 9 8 8 8 6 5 3 6 9 7 7 3 8 6 3 7 5 9 4 6 4 6 6 7 7 2 6 5 5 8 3 7 5 9 8 >= 38 (155) 9 9 9 8 6 6 6 3 8 8 5 7 5 3 6 6 7 3 3 9 6 3 9 3 5 6 6 6 8 7 6 6 9 6 3 9 >= 38 (156) 9 9 9 8 6 6 6 3 8 8 5 7 7 3 6 6 9 3 3 9 6 3 9 9 5 6 6 6 8 7 0 6 9 6 9 9 >= 38 (157) 9 9 9 8 8 6 6 3 8 6 9 7 9 3 6 6 3 5 3 9 6 5 3 3 9 8 2 6 6 7 6 6 9 6 9 9 >= 38 (158) 9 9 9 8 8 6 6 3 8 8 5 1 7 3 6 6 9 7 3 9 6 3 7 9 5 6 6 6 8 7 6 2 7 6 9 9 >= 38 (159) 9 9 9 8 8 6 6 3 8 8 7 5 7 3 6 6 7 9 3 9 6 1 3 9 5 6 2 8 6 5 6 8 7 6 9 9 >= 38 (160) 9 9 9 9 8 6 6 3 8 8 6 9 9 3 6 0 8 5 3 7 6 8 5 3 7 6 3 5 9 6 8 6 7 6 9 9 >= 38 (161) 9 9 9 9 8 6 6 3 8 8 8 5 7 3 6 6 6 3 9 5 6 0 9 3 9 6 9 3 9 6 6 8 7 6 9 9 >= 38 (162) 9 9 9 9 8 6 6 3 8 8 8 5 7 3 6 6 6 9 3 9 6 0 3 9 5 6 3 9 5 6 6 8 7 6 9 9 >= 38 (163) 10 9 9 9 7 6 6 3 9 5 3 7 8 6 9 8 6 8 9 3 6 8 2 3 5 6 6 5 9 6 1 5 8 6 9 9 >= 38 (164) 10 10 7 7 7 5 5 3 6 9 7 3 7 5 9 3 7 9 7 5 7 8 6 8 8 10 4 2 4 4 6 8 6 2 6 8 >= 38 (165) 9 9 9 8 7 6 6 3 8 8 7 4 9 3 6 8 5 6 3 7 6 3 4 5 9 8 7 8 6 7 5 7 4 6 9 9 >= 40 (166) 10 9 9 9 8 6 6 3 9 7 3 4 8 6 9 8 6 7 9 3 6 8 3 3 7 6 7 5 9 6 6 4 5 6 9 9 >= 40 (167) 12 10 8 8 8 7 6 4 6 8 8 4 7 10 8 6 2 10 3 4 6 4 8 3 2 8 8 1 4 8 7 6 12 5 7 10 >= 40 (168) 12 10 9 8 8 8 6 4 6 7 8 8 4 10 8 3 4 2 10 4 6 3 1 9 5 7 4 8 2 8 8 4 8 6 12 10 >= 40 (169) 12 11 10 8 8 8 6 4 7 8 8 8 4 10 8 1 5 3 11 5 7 4 2 10 6 6 2 8 2 8 8 4 6 6 12 10 >= 40 (170) 13 11 10 10 8 7 6 4 2 7 7 9 6 11 9 5 5 7 8 9 11 6 8 3 8 12 2 9 4 6 7 2 8 5 11 10 >= 42 (171) 13 11 10 10 8 7 6 4 2 7 7 9 6 11 9 9 5 7 8 9 7 10 2 9 4 6 8 3 8 8 7 2 8 5 11 10 >= 42 (172) 10 10 9 9 9 6 5 3 6 9 9 3 10 5 9 7 3 9 10 5 7 10 8 3 8 6 6 7 8 8 7 8 6 5 9 8 >= 44 (173) 11 11 10 10 8 7 5 4 6 9 9 3 10 6 7 9 3 9 6 8 7 6 8 3 7 8 6 9 5 8 7 3 10 4 11 9 >= 44 (174) 12 11 10 8 8 8 6 4 7 10 8 8 4 10 8 3 7 5 11 5 7 4 6 8 8 8 2 8 4 6 8 2 8 6 12 10 >= 44 (175) 12 11 10 8 8 8 7 4 7 8 10 8 4 11 8 5 3 5 11 4 7 4 2 10 3 8 2 8 5 10 8 5 8 7 12 11 >= 44 (176) 12 11 10 10 8 7 6 4 3 8 8 6 11 6 10 11 5 7 8 9 7 10 8 3 8 8 2 9 4 6 7 2 8 5 11 10 >= 44 (177) 12 11 11 10 9 7 7 4 11 5 4 7 9 7 10 8 7 8 10 4 7 9 2 4 6 7 7 5 11 8 2 8 9 8 11 11 >= 46 (178) 15 14 12 12 10 9 8 6 5 7 3 9 6 11 9 2 8 4 11 6 8 6 2 9 4 10 6 3 8 12 7 2 12 5 15 14 >= 46 (179) 12 12 10 10 9 8 7 4 10 8 6 7 4 9 8 6 4 9 6 11 8 10 3 10 5 6 7 10 7 10 9 2 9 7 12 11 >= 48 (180) 12 12 11 10 8 8 8 4 10 9 6 10 4 4 8 7 10 4 12 10 8 3 11 5 5 7 8 6 2 10 8 6 12 8 12 8 >= 48 (181) 12 12 12 9 9 8 8 4 10 8 11 9 12 4 8 6 3 5 4 12 8 5 3 4 12 10 2 7 9 9 7 9 11 8 12 12 >= 48 (182) 12 12 12 11 9 8 7 4 12 8 9 9 4 11 8 4 5 7 8 9 10 9 7 12 5 8 2 7 4 7 9 2 9 7 12 11 >= 48 (183) 13 12 11 10 8 8 6 4 11 4 7 9 7 11 9 7 10 8 4 8 8 11 9 11 7 9 2 10 4 6 8 2 8 6 12 10 >= 48 (184) 13 12 12 10 9 8 6 4 11 7 9 4 9 7 9 4 6 7 8 10 8 10 11 8 6 10 11 2 4 6 9 7 13 2 8 10 >= 48 (185) 12 12 12 10 9 8 7 4 12 8 10 9 4 11 8 4 8 5 8 11 8 6 9 12 7 8 3 10 3 8 9 6 5 7 12 11 >= 50 (186) 12 12 12 12 9 8 8 4 12 10 8 11 12 4 8 6 4 9 10 8 10 10 3 4 8 8 7 6 12 8 1 7 11 8 12 12 >= 50 (187) 15 13 12 10 9 9 7 5 8 11 5 10 10 12 10 3 13 8 6 6 8 10 5 7 9 11 9 9 7 15 2 4 8 2 10 12 >= 52 (188) 14 13 12 12 10 9 7 5 13 10 8 10 5 9 9 7 5 9 8 12 10 12 2 11 5 7 10 13 7 11 9 3 9 8 14 12 >= 56 (189) 15 14 12 11 11 10 8 5 9 13 10 10 5 13 10 4 9 7 14 6 9 5 7 10 10 11 2 9 5 8 11 3 10 8 15 13 >= 56 (190) 15 15 14 12 11 10 8 5 10 15 11 12 5 13 10 5 11 8 15 7 10 6 9 10 12 11 3 10 6 7 11 3 10 8 15 13 >= 60 (191) 18 18 16 15 12 12 9 6 16 10 13 12 6 11 12 6 9 12 10 15 12 15 12 16 9 14 3 15 6 9 12 3 12 9 18 15 >= 70 (192) 18 18 16 15 14 12 10 6 12 18 13 14 6 16 12 6 13 10 18 8 12 7 10 12 14 14 3 11 7 9 14 4 12 10 18 16 >= 72 END