Case #1: 11 1 1 1 2 2 2 2 3 3 11 13

Case #2: 26 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 3 5 5
Case #3: -1
Case #4: 12 1 1 1 1 1 2 2 2 3 3 5 19
Case #5: 23 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 3 3 7
Case #6: 19 1 1 1 1 1 1 1 1 1 1 1 2 2 3 3 3 3 7 7
Case #7: 20 1 1 1 1 1 1 1 1 1 2 2 2 2 2 3 3 3 3 3 7
Case #8: 12 1 1 1 1 2 3 3 5 5 5 7 7
Case #9: 14 1 1 1 1 1 2 2 2 2 2 3 5 5 13
Case #10: 23 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 5 7
Case #11: 20 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 3 5 11
Case #12: 17 1 1 1 1 2 2 2 2 2 2 2 2 2 2 3 7 7
Case #13: 21 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 3 3 3 5 5
Case #14: 17 1 1 1 1 1 1 1 1 2 2 3 3 3 3 5 5 7
Case #15: 28 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 3 3
Case #16: -1
Case #17: -1
Case #18: 34 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 5
Case #19: -1
Case #20: 25 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 3 3
Case #21: -1
Case #22: 29 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 5 5 5
Case #23: 17 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 7 13
Case #24: 19 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 3 3 3 11
Case #25: 20 1 1 1 1 1 1 2 2 2 2 2 2 2 3 3 3 3 3 3 3
Case #26: 20 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 5 17
Case #27: -1
Case #28: -1
Case #29: 27 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 3 3 5 5
Case #30: 14 1 1 1 1 1 1 1 2 3 3 3 5 5 13
Case #31: 16 1 1 1 1 1 1 1 2 2 2 2 2 3 3 7 11
Case #32: 11 1 1 1 1 1 1 1 1 2 2 29
Case #33: 16 1 1 1 2 2 2 3 3 3 3 3 3 3 3 3 5
Case #34: 18 1 1 1 1 1 1 1 1 2 2 2 3 3 3 3 3 5 7
Case #35: 24 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 7
Case #36: 27 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 3 5 7
Case #37: -1
Case #38: 10 1 1 2 2 2 2 2 3 13 13
Case #39: -1
Case #40: 12 1 1 2 2 2 2 2 2 2 3 11 11
Case #41: 18 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 23
Case #42: 36 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3
3
Case #43: 23 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 5 5
Case #44: 19 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 5 13
Case #45: 34 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 5
Case #46: -1
Case #47: 16 1 1 1 1 1 1 1 1 1 1 1 2 3 3 5 17
Case #48: -1
Case #49: 21 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 3 3 3 5 7
Case #50: 19 1 1 1 1 1 1 1 1 1 2 2 3 3 3 3 3 3 5 5
Case #51: 18 1 1 1 1 1 1 1 2 2 2 2 2 2 2 3 3 7 7
Case #52: 12 1 1 1 2 3 3 3 3 3 3 5 13
Case #53: 14 1 1 1 1 1 1 2 2 2 3 3 3 7 13
Case #54: 16 1 1 1 1 1 2 2 2 2 2 3 3 5 5 5 5
Case #55: 28 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 3 7
Case #56: 22 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 5 7
Case #57: 15 1 1 1 1 2 2 2 2 2 2 2 2 5 5 11
Case #58: 15 1 1 1 1 1 1 2 2 2 2 3 3 5 5 11
Case #59: 22 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3
Case #60: 34 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2
Case #61: 33 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 5
Case #62: 33 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 7
Case #63: 22 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 3 3 3 5 7
Case #64: 23 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 7
Case #65: 22 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 3 3 3 3 3 3 5
Case #66: 39 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
1 1 1 3
Case #67: 20 1 1 1 1 1 1 1 1 2 2 2 2 2 3 3 3 3 3 3 5
Case #68: 24 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 3 3 3 3 7
Case #69: -1
Case #70: 24 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 17
Case #71: -1
Case #72: 16 1 1 1 2 2 2 2 2 2 2 2 2 3 3 7 7
Case #73: -1
Case #74: 15 1 1 1 1 2 2 3 3 3 3 3 3 5 5 5
Case #75: 20 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 3 5 5 7
Case #76: 15 1 1 1 1 1 2 2 2 2 2 2 2 2 3 17
Case #77: 23 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 3 3 7 7
Case #78: 35 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 5
Case #79: 20 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 5 5 5 7
Case #80: -1
Case #81: 24 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 3 3 3 5 5
Case #82: 22 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 3 5 5 5
Case #83: 22 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 5 5 5
Case #84: -1
Case #85: 17 1 1 1 1 1 1 1 1 2 2 2 2 5 5 5 5 5
Case #86: 28 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 7 7
Case #87: 23 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 3 3 5 5 5
Case #88: -1
Case #89: -1
Case #90: 27 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 5
Case #91: 25 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 3 3 3 3 3 3
Case #92: 17 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 23
Case #93: 18 1 1 1 1 1 1 1 1 1 1 2 2 2 3 3 3 3 13
Case #94: 14 1 1 1 1 1 2 2 2 3 3 3 7 7 7
Case #95: 20 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 3 5 5
Case #96: 32 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 3 3 3
Case #97: -1
Case #98: -1
Case #99: 31 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 5 7
Case #100: 23 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3
Case #101: -1
Case #102: 19 1 1 1 1 1 1 1 1 2 2 2 2 3 3 3 3 3 5 5
Case #103: 20 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 3 7
Case #104: 17 1 1 1 1 2 2 2 2 2 2 3 3 3 3 3 5 5
Case #105: 16 1 1 1 1 1 1 1 1 2 2 2 3 5 5 7 7
Case #106: 17 1 1 1 1 1 2 2 2 2 2 2 3 3 3 5 5 5
Case #107: 22 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 3 3 5 5
Case #108: -1
Case #109: -1
Case #110: 21 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3
Case #111: 24 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 3 3 3
Case #112: 8 1 1 2 2 2 3 7 23
Case #113: 29 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 3 3 3 5
Case #114: 23 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 3 3 3 5 7
Case #115: 23 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 3 3 3 5
Case #116: 20 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 3 3 3 7
Case #117: 34 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 3
Case #118: 21 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 3 3 3 3 5
Case #119: 10 1 1 1 1 1 1 1 1 2 31
Case #120: 10 1 1 1 2 3 3 3 5 11 11
Case #121: 23 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5
Case #122: 14 1 1 2 2 2 2 2 2 2 3 5 5 5 7
Case #123: 26 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 3 3 3 3 3 3
Case #124: -1
Case #125: 13 1 1 1 1 1 1 1 1 1 1 1 1 29
Case #126: 7 1 1 1 1 1 17 19
Case #127: 21 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 3 7
Case #128: -1
Case #129: 16 1 1 1 1 1 1 2 2 2 2 2 3 3 5 7 7
Case #130: -1
Case #131: 18 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 3 7 7
Case #132: 25 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 3 5 5 5
Case #133: -1
Case #134: 22 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 3 3 3 5
Case #135: 11 1 1 1 2 2 2 2 3 3 7 17
Case #136: -1
Case #137: 6 2 3 5 7 11 13
Case #138: 12 1 1 1 2 2 2 2 2 3 5 7 13
Case #139: 9 1 1 1 1 1 1 2 2 31
Case #140: 29 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 3 5 5
Case #141: 31 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 3 7
Case #142: 13 1 1 1 1 1 1 2 2 3 5 5 7 11
Case #143: 18 1 1 1 1 1 1 1 1 1 1 1 2 2 2 5 5 7 7
Case #144: 20 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 3 3 3 5
Case #145: -1
Case #146: 27 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 3 3 3 5
Case #147: 16 1 1 1 1 1 1 2 2 2 3 3 3 3 3 3 11
Case #148: -1
Case #149: 18 1 1 1 1 1 2 2 2 2 2 2 2 2 2 3 3 5 7
Case #150: 16 1 1 1 2 2 2 2 2 2 2 3 3 3 3 5 7
Case #151: 29 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 13
Case #152: 26 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 3 3 3 7
Case #153: 14 1 1 1 1 1 1 2 2 2 5 5 5 7 7
Case #154: 18 1 1 1 1 1 2 2 2 2 2 2 2 3 3 3 3 5 5
Case #155: 30 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 3 7
Case #156: 18 1 1 1 2 2 2 2 2 2 2 2 2 2 2 3 3 5 5
Case #157: 14 1 1 1 2 2 2 2 2 3 5 5 5 5 5
Case #158: 28 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 11
Case #159: -1
Case #160: 11 1 1 2 2 2 2 2 2 3 5 19
Case #161: 20 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 5 5 5 5
Case #162: 13 1 1 1 1 1 2 2 2 2 3 3 11 11
Case #163: 23 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 3 7
Case #164: 18 1 1 1 1 1 2 2 2 2 2 3 3 3 3 3 3 3 5
Case #165: 25 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 3 3 5 7
Case #166: 16 1 1 1 1 1 1 1 2 3 3 3 3 5 5 5 5
Case #167: 19 1 1 1 1 1 1 1 1 2 2 2 2 2 2 3 3 5 5 5
Case #168: -1
Case #169: 20 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 3 3 5 7
Case #170: 18 1 1 1 1 1 1 1 1 1 2 2 2 3 3 3 3 7 7
Case #171: 19 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 3 3 5 5
Case #172: 18 1 1 1 1 1 1 1 1 2 2 2 2 2 3 3 3 7 7
Case #173: 22 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 3 3 3 3 5
Case #174: 26 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 3 3 5
Case #175: 17 1 1 1 1 1 1 2 2 2 2 2 2 3 5 5 5 5
Case #176: 23 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 3 3 3 3
Case #177: 18 1 1 1 1 1 1 1 2 2 2 3 3 3 3 3 3 5 5
Case #178: 22 1 1 1 1 1 1 1 1 1 1 1 2 2 2 3 3 3 3 3 3 3 3
Case #179: 24 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 3 3 5
Case #180: -1
Case #181: 17 1 1 1 1 1 1 2 2 2 2 3 3 3 3 5 5 5
Case #182: 5 1 1 1 1 37
Case #183: -1
Case #184: -1
Case #185: 22 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 5 5 5 5
Case #186: 20 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 3 3 3 3 11
Case #187: -1
Case #188: 17 1 1 1 1 1 1 1 2 2 3 3 3 3 3 3 5 7
Case #189: 18 1 1 1 1 1 1 1 1 1 1 1 1 2 3 3 3 7 11
Case #190: 16 1 1 1 1 2 2 2 2 2 2 2 3 5 5 5 5
Case #191: 22 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 3 3 3 3 3
Case #192: 25 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 5 13
Case #193: 17 1 1 1 1 1 1 1 1 2 2 3 3 3 5 5 5 5
Case #194: 15 1 1 1 2 2 2 2 2 2 2 2 3 3 5 11
Case #195: 34 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 3 3
Case #196: 20 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 3 3 5 11
Case #197: 13 1 1 1 1 1 2 2 2 2 3 3 3 19
Case #198: 11 1 1 1 1 2 2 2 2 3 3 23
Case #199: 33 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 3 3 3
Case #200: 16 1 1 1 1 1 1 1 1 2 2 2 3 3 3 5 13
Case #201: 16 1 1 1 1 1 2 2 2 2 2 3 3 3 5 5 7
Case #202: 12 1 1 1 2 3 3 5 5 5 5 5 5
Case #203: 24 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 3 3 3 3 3 5
Case #204: 21 1 1 1 1 1 1 1 1 1 1 2 2 2 2 3 3 3 3 3 3 5
Case #205: 21 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 3 5 11
Case #206: -1
Case #207: 21 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 3 3 3 3 5 5
Case #208: 18 1 1 1 1 1 1 1 2 2 2 2 2 2 2 3 5 5 7
Case #209: 21 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 3 11
Case #210: 23 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 3 5 5
Case #211: 13 1 1 1 1 2 2 3 3 3 5 5 7 7
Case #212: -1
Case #213: 21 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 3 3 5 5 7
Case #214: 21 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 3 3 5 7
Case #215: 7 1 1 1 5 7 7 19
Case #216: -1
Case #217: 5 1 1 3 17 19
Case #218: 13 1 1 1 2 2 2 2 3 3 3 3 5 13
Case #219: 22 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 3 3 7
Case #220: 24 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 3 3 5 5
Case #221: 24 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 3 3 7
Case #222: 17 1 1 1 1 1 1 1 1 1 1 2 2 2 2 5 5 13
Case #223: -1
Case #224: 17 1 1 1 1 1 2 2 2 2 2 2 2 2 3 5 5 7
Case #225: 10 1 1 1 2 3 3 5 7 7 11
Case #226: 16 1 1 1 1 1 1 1 1 1 2 2 2 5 5 5 11
Case #227: 22 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 3 3 3 5 5
Case #228: 22 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 3 3 3 3 3 3 3
Case #229: 20 1 1 1 1 1 1 1 1 1 1 2 2 2 3 3 3 3 3 3 7
Case #230: 15 1 1 1 1 2 2 2 2 3 3 3 3 5 5 7
Case #231: 9 1 1 2 2 2 2 3 11 17
Case #232: -1
Case #233: 12 1 1 2 2 2 2 2 2 2 3 5 17
Case #234: 16 1 1 1 1 1 2 2 2 2 2 2 2 5 5 5 7
Case #235: 19 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 3 5 5
Case #236: 20 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 3 3 3 5 7
Case #237: -1
Case #238: 17 1 1 1 1 1 1 1 1 1 2 2 3 3 3 3 5 11
Case #239: 17 1 1 1 1 1 1 2 2 2 2 3 3 3 3 3 5 7
Case #240: 23 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 3 3 11
Case #241: 19 1 1 1 1 2 2 2 2 2 2 2 2 2 2 3 3 3 3 5
Case #242: 14 1 1 1 2 2 2 2 2 2 2 3 3 5 13
Case #243: 25 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 3 3 11
Case #244: 25 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 3 7
Case #245: -1
Case #246: 17 1 1 1 1 2 2 2 2 2 2 2 2 3 3 3 5 7
Case #247: 16 1 1 1 1 1 1 1 2 2 2 2 2 3 3 5 13
Case #248: 25 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 17
Case #249: 14 1 1 1 2 2 2 3 3 3 3 3 5 5 7
Case #250: -1
Case #251: 17 1 1 1 1 1 1 1 1 1 1 2 2 3 3 7 7 7
Case #252: -1
Case #253: 19 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 3 5 7
Case #254: 21 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 11
Case #255: 16 1 1 1 1 1 2 2 2 2 2 2 2 3 3 3 13
Case #256: 13 1 1 1 2 2 2 2 3 3 5 5 7 7
Case #257: 21 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 3 3 3 7
Case #258: 13 1 1 2 2 2 2 2 2 3 5 5 7 7
Case #259: 25 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 3 3 3 5 5
Case #260: -1
Case #261: 27 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 3 3
Case #262: 16 1 1 1 1 2 2 2 2 2 2 2 3 3 3 7 7
Case #263: 15 1 1 1 1 1 1 2 2 2 2 5 5 5 5 7
Case #264: 27 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 13
Case #265: -1
Case #266: 21 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 3 3 7
Case #267: 13 1 1 1 1 1 1 1 1 1 1 5 7 19
Case #268: 21 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 3 3 3 3 3 5
Case #269: 27 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 5 11
Case #270: -1
Case #271: -1
Case #272: 10 1 1 1 2 3 3 5 5 7 13
Case #273: 17 1 1 1 1 1 1 2 2 2 2 2 2 3 3 5 5 7
Case #274: 21 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 3 3 3 3 11
Case #275: -1
Case #276: -1
Case #277: 30 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 7
Case #278: 32 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 5
Case #279: -1
Case #280: 17 1 1 1 1 1 2 2 2 2 3 3 3 3 3 3 5 5
Case #281: 17 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 3 13
Case #282: 32 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 3 5
Case #283: 20 1 1 1 1 1 1 1 1 1 2 2 2 3 3 3 3 3 3 3 5
Case #284: 29 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 3
Case #285: 19 1 1 1 1 1 1 1 1 2 2 3 3 3 3 3 3 3 3 5
Case #286: 18 1 1 1 1 1 1 2 2 2 2 2 3 3 3 3 3 3 7
Case #287: 15 1 1 1 1 1 1 1 1 1 1 1 1 1 5 23
Case #288: 14 1 1 1 1 1 1 1 2 3 3 5 5 5 11
Case #289: 17 1 1 1 1 1 1 1 2 2 2 2 3 3 3 3 7 7
Case #290: 16 1 1 1 1 1 1 2 2 2 3 3 3 3 3 7 7
Case #291: 18 1 1 1 1 1 1 1 1 1 2 2 2 3 3 3 5 5 7
Case #292: 11 1 1 1 1 1 1 1 1 1 1 31
Case #293: 32 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 3 5
Case #294: 14 1 1 1 2 2 2 3 3 3 3 5 5 5 5
Case #295: 32 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 7
Case #296: 21 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 3 5 7 7
Case #297: -1
Case #298: 12 1 1 1 1 1 2 2 2 3 7 7 13
Case #299: 13 1 1 1 2 2 2 2 3 3 3 5 5 11
Case #300: 18 1 1 1 1 1 1 1 1 1 2 2 2 3 3 3 3 3 11
Case #301: 26 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 7
Case #302: 18 1 1 1 1 1 1 1 1 1 1 1 2 3 3 3 5 7 7
Case #303: 21 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 5
Case #304: 25 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 5 5 7
Case #305: -1
Case #306: 17 1 1 1 1 1 1 1 1 1 1 1 2 2 3 5 5 13
Case #307: 26 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 3 7
Case #308: 18 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 5 7 11
Case #309: 27 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 3 3 3 7
Case #310: 14 1 1 1 1 1 1 2 2 2 3 3 5 5 13
Case #311: 18 1 1 1 2 2 2 2 2 2 2 2 2 3 3 3 3 3 5
Case #312: 33 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 3 5
Case #313: 24 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 3 5 5 5
Case #314: 15 1 1 1 1 1 1 2 2 2 2 3 3 3 5 13
Case #315: 15 1 1 2 2 2 2 2 2 2 2 3 5 5 5 5
Case #316: 26 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 5 11
Case #317: 32 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 7
Case #318: 13 1 1 1 1 2 2 2 2 2 2 3 5 17
Case #319: -1
Case #320: 10 1 1 2 2 2 3 5 7 7 11
Case #321: -1
Case #322: -1
Case #323: 22 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 3 3 3 7
Case #324: 28 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 3 3 3 3
Case #325: 14 1 1 2 2 2 2 2 2 2 2 2 3 7 11
Case #326: -1
Case #327: 24 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 3 5 7
Case #328: 25 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 3 3 3 3 7
Case #329: 24 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 3 3 11
Case #330: 19 1 1 1 1 1 1 1 2 2 2 2 2 2 3 3 3 3 3 7
Case #331: 18 1 1 1 1 1 1 1 1 1 1 1 2 3 3 5 5 5 7
Case #332: 25 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 3 3 3 3 3 5
Case #333: -1
Case #334: 13 1 1 1 1 1 2 2 3 3 3 5 7 11
Case #335: 17 1 1 1 1 1 1 1 1 1 1 2 2 3 3 3 7 11
Case #336: 22 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 3 3 3 3 5 5
Case #337: 21 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 3 5 5 5
Case #338: 16 1 1 1 1 1 1 1 1 2 2 2 3 3 5 5 11
Case #339: 14 1 1 2 2 2 2 2 2 2 2 2 3 5 13
Case #340: 15 1 1 1 1 1 1 1 2 2 3 3 3 5 5 11
Case #341: 17 1 1 1 1 1 1 1 1 2 2 3 3 3 3 3 7 7
Case #342: 17 1 1 1 1 2 2 2 2 2 2 2 2 3 3 5 5 5
Case #343: 16 1 1 1 1 1 1 1 1 1 2 2 2 3 5 7 11
Case #344: 15 1 1 1 1 1 2 2 2 2 3 3 3 3 5 11
Case #345: 22 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 5 5 7
Case #346: 18 1 1 1 1 2 2 2 2 2 2 2 2 2 3 3 3 5 5
Case #347: -1
Case #348: 17 1 1 1 1 1 2 2 2 2 2 2 2 2 3 3 7 7
Case #349: 21 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 7 7
Case #350: 22 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 5 7 7
Case #351: 15 1 1 1 1 2 2 2 2 2 2 5 5 5 5 5
Case #352: -1
Case #353: 16 1 1 1 1 1 1 1 1 1 1 2 3 5 5 5 11
Case #354: -1
Case #355: 21 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 5 5 5
Case #356: -1
Case #357: 18 1 1 1 1 1 1 1 1 1 1 1 2 2 2 3 3 5 13
Case #358: 29 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 11
Case #359: 15 1 1 1 1 1 1 1 1 1 2 2 2 2 5 19
Case #360: 26 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
Case #361: 24 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3
Case #362: 17 1 1 1 1 1 1 2 2 2 2 2 2 2 2 3 3 13
Case #363: 13 1 1 1 1 1 1 2 2 5 5 7 7 7
Case #364: 20 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 5 11
Case #365: 21 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
Case #366: 10 1 1 1 2 3 3 3 5 5 17
Case #367: 23 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 3 3 5 5
Case #368: 15 1 1 1 1 1 1 1 1 1 2 2 2 2 7 17
Case #369: 16 1 1 1 1 1 2 2 2 2 2 2 2 3 3 5 11
Case #370: 28 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 5
Case #371: 25 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 3 3 3 3 3
Case #372: 26 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 5
Case #373: 28 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 3 3 5
Case #374: 27 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 3 3 3 3 5
Case #375: 18 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 5 13
Case #376: -1
Case #377: 21 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 3 3 7 7
Case #378: 24 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 3 3 5 7
Case #379: -1
Case #380: 18 1 1 1 1 1 1 1 1 1 1 2 3 3 3 5 5 5 5
Case #381: 17 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 3 17
Case #382: 24 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 3 5 5 5
Case #383: 15 1 1 1 1 1 2 2 3 3 3 3 3 5 5 7
Case #384: 19 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 3 5 13
Case #385: 18 1 1 1 1 1 1 1 1 1 2 3 3 3 3 3 3 5 7
Case #386: -1
Case #387: 23 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 3 3 3 3 3 7
Case #388: 21 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 19
Case #389: 22 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 17
Case #390: 28 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 13
Case #391: -1
Case #392: 24 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 3 7
Case #393: -1
Case #394: 20 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 3 3 11
Case #395: 24 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 5 7
Case #396: 16 1 1 1 1 1 2 2 2 3 3 3 3 3 5 5 5
Case #397: -1
Case #398: 21 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 3 5 7
Case #399: -1
Case #400: 21 1 1 1 1 1 1 1 1 1 1 1 1 2 2 3 3 3 3 3 5 5
Case #401: 18 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 3 11
Case #402: 17 1 1 1 1 1 1 1 1 1 1 2 2 3 3 5 5 11
Case #403: 14 1 1 1 2 2 2 2 2 2 2 3 3 7 11
Case #404: 41 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
1 1 1 1 1 1
Case #405: -1
Case #406: 20 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 3 3 5 5 7
Case #407: 13 1 1 1 1 1 2 2 3 3 3 3 7 13
Case #408: -1
Case #409: 17 1 1 1 2 2 2 2 2 2 3 3 3 3 3 3 3 5
Case #410: 16 1 1 1 1 1 2 2 2 3 3 3 3 3 3 5 7
Case #411: 21 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 7
Case #412: 15 1 1 1 1 1 2 2 2 2 3 3 3 5 7 7
Case #413: 23 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 3 3 3 7
Case #414: 18 1 1 1 1 1 1 1 1 2 2 2 3 3 3 3 5 5 5
Case #415: -1
Case #416: 26 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 3 3 3 3 3
Case #417: 17 1 1 1 1 2 2 2 2 3 3 3 3 3 3 3 3 5
Case #418: 15 1 1 1 1 1 1 1 1 2 2 2 2 3 3 19
Case #419: 12 1 1 1 2 2 2 2 2 3 3 5 17
Case #420: -1
Case #421: 23 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 3 3 13
Case #422: 24 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 3 5
Case #423: 14 1 1 1 1 1 1 2 2 2 3 3 3 3 17
Case #424: -1
Case #425: 3 1 17 23
Case #426: 9 1 1 2 2 2 2 3 5 23
Case #427: 18 1 1 1 1 1 1 1 1 1 1 2 2 2 3 5 5 5 7
Case #428: 28 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 3 3 3
Case #429: 26 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 3 3 7
Case #430: 13 1 1 1 1 1 2 2 3 3 3 3 3 17
Case #431: 15 1 1 1 1 1 1 1 2 2 2 2 3 5 7 11
Case #432: 18 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 5 5 5
Case #433: 22 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 3 3 3 3 3 3 5
Case #434: 21 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 3 3 5 5
Case #435: -1
Case #436: 19 1 1 1 1 1 1 1 1 1 2 2 2 2 3 3 3 3 5 7
Case #437: 15 1 1 1 1 1 2 2 3 3 3 3 3 3 7 7
Case #438: -1
Case #439: -1
Case #440: 18 1 1 1 1 1 1 2 2 2 3 3 3 3 3 3 3 3 5
Case #441: 29 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 3 3
Case #442: 21 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 3 3 3 3 3 3
Case #443: 34 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 7
Case #444: 11 1 1 2 2 2 2 2 2 3 7 17
Case #445: -1
Case #446: 19 1 1 1 1 1 1 1 1 1 1 2 2 2 2 3 3 5 5 7
Case #447: 18 1 1 1 1 1 2 2 2 3 3 3 3 3 3 3 3 3 3
Case #448: 19 1 1 1 1 1 1 1 1 1 1 1 2 2 3 3 5 5 5 5
Case #449: 18 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 5 5 13
Case #450: 28 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 3 3 7
Case #451: 23 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 3 3 3 3 3
Case #452: -1
Case #453: -1
Case #454: 15 1 1 1 1 1 1 1 1 2 2 2 2 7 7 11
Case #455: 24 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 5 5 5
Case #456: 14 1 1 1 1 1 1 1 2 2 2 5 5 7 11
Case #457: 12 1 1 1 2 3 3 3 3 5 5 7 7
Case #458: 15 1 1 1 1 1 2 2 2 2 3 3 3 3 3 13
Case #459: 18 1 1 1 1 1 1 1 1 1 2 2 2 2 2 3 3 5 11
Case #460: 14 1 1 1 1 1 1 2 2 2 2 2 5 7 13
Case #461: 4 1 1 2 37
Case #462: 18 1 1 1 1 2 2 2 2 2 2 2 3 3 3 3 3 3 5
Case #463: 26 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 3 3 3 5
Case #464: 21 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3
Case #465: 10 1 1 2 2 2 3 5 5 7 13
Case #466: 17 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 23
Case #467: 13 1 1 1 1 1 1 2 2 3 3 5 7 13
Case #468: 30 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 3 3 3
Case #469: 24 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3
Case #470: 18 1 1 1 1 1 1 1 1 1 2 2 2 2 2 5 5 5 7
Case #471: 23 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 3 5 5 7
Case #472: 24 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 3 5 5
Case #473: 14 1 1 1 1 2 2 2 2 2 2 2 5 7 11
Case #474: 24 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 3 3 3 5
Case #475: 19 1 1 1 1 1 1 1 1 1 2 2 2 2 3 3 3 5 5 5
Case #476: 14 1 1 1 1 1 1 2 3 3 3 5 5 7 7
Case #477: -1
Case #478: 35 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 7

Case #479: 22 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 3 3 3 11
Case #480: -1
Case #481: 21 1 1 1 1 1 1 1 1 2 2 2 2 2 2 3 3 3 3 3 3 3
Case #482: 37 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
1 5
Case #483: 19 1 1 1 1 1 1 1 1 1 1 1 1 2 2 3 5 5 5 7
Case #484: 7 1 1 1 5 5 11 17
Case #485: 3 1 3 37
Case #486: 21 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 3 3 5
Case #487: -1
Case #488: -1
Case #489: 21 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 19
Case #490: -1
Case #491: 26 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 3 3 3
Case #492: 8 1 1 1 2 2 2 3 29
Case #493: 16 1 1 1 1 1 1 2 2 2 2 2 3 3 3 3 13
Case #494: -1
Case #495: 13 1 1 1 1 2 2 2 2 2 2 5 7 13
Case #496: -1
Case #497: 26 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 3 3 3 7
Case #498: 19 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 3 3 5 11
Case #499: 18 1 1 1 1 1 1 1 2 2 2 2 2 3 3 3 3 5 7
Case #500: 28 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 3 3 3 3 3
Case #501: 13 1 1 1 1 2 2 2 2 2 2 3 11 11
Case #502: 20 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 3 3 3 5 5
Case #503: 20 1 1 1 1 1 1 1 1 2 2 2 3 3 3 3 3 3 3 3 3
Case #504: -1
Case #505: -1
Case #506: 24 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 5
Case #507: -1
Case #508: 25 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 7 11
Case #509: 12 1 1 1 2 2 2 3 3 5 7 7 7
Case #510: 21 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 3 5 5
Case #511: -1
Case #512: 21 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 5 5 5 5
Case #513: 14 1 1 1 1 1 2 2 2 2 2 2 2 3 19
Case #514: 23 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 17
Case #515: 14 1 1 1 1 1 2 2 2 3 3 3 3 7 11
Case #516: 23 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 3 7 7
Case #517: 13 1 1 1 1 1 1 1 1 1 1 7 11 13
Case #518: 19 1 1 1 1 1 1 1 1 2 2 2 2 3 3 3 3 3 3 7
Case #519: -1
Case #520: 15 1 1 1 1 2 2 2 2 2 2 2 2 3 5 13
Case #521: 18 1 1 1 1 1 1 1 1 1 2 2 2 2 2 3 3 3 13
Case #522: -1
Case #523: 35 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2

Case #524: -1
Case #525: 15 1 1 1 1 2 2 2 2 2 2 3 3 5 7 7
Case #526: 19 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 3 3 5 13
Case #527: 19 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 5 7 7
Case #528: 22 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 3 3 5 7
Case #529: 22 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 3 5 5
Case #530: 12 1 1 1 1 1 1 1 1 1 1 2 29
Case #531: -1
Case #532: 18 1 1 1 1 1 1 1 2 2 2 2 2 3 3 3 5 5 5
Case #533: -1
Case #534: -1
Case #535: 20 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 3 3 7 7
Case #536: 20 1 1 1 1 1 1 1 2 2 2 2 2 2 2 3 3 3 3 3 5
Case #537: 20 1 1 1 1 1 1 1 1 1 1 1 2 2 2 3 3 3 5 5 5
Case #538: 18 1 1 1 1 1 1 1 1 2 2 2 2 2 3 3 3 3 11
Case #539: 15 1 1 1 1 1 2 2 3 3 3 3 3 3 3 11
Case #540: 12 1 1 2 2 2 2 2 3 5 7 7 7
Case #541: 17 1 1 1 1 1 2 2 2 2 3 3 3 3 3 3 3 7
Case #542: 22 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
Case #543: 17 1 1 1 1 1 1 1 1 1 1 1 2 2 3 3 3 17
Case #544: 31 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 3 3 5
Case #545: -1
Case #546: 26 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 13
Case #547: 33 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 3 3 3
Case #548: 14 1 1 1 2 3 3 3 3 3 3 3 3 5 7
Case #549: 15 1 1 2 2 2 2 2 2 2 2 2 2 3 5 11
Case #550: 29 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 3 3 7
Case #551: 29 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 7 7
Case #552: 25 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 3 3 3 3
Case #553: 17 1 1 1 1 1 1 1 1 2 2 3 3 3 3 3 3 11
Case #554: 22 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 3 3 3 3 3 5
Case #555: 23 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 17
Case #556: 33 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 3 5
Case #557: 25 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 3 3 5 5
Case #558: 14 1 1 1 2 2 2 2 2 3 3 3 5 7 7
Case #559: -1
Case #560: 26 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 3 3 3 3 5
Case #561: 11 1 1 1 1 1 2 2 3 3 7 19
Case #562: 30 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 5 7
Case #563: 22 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3
Case #564: -1
Case #565: 29 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 3 3 3
Case #566: -1
Case #567: 24 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 3 3 5 7
Case #568: 36 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2
3
Case #569: 8 1 1 2 2 2 3 13 17
Case #570: 16 1 1 1 2 2 2 2 2 2 2 2 2 3 5 5 7
Case #571: 14 1 1 1 1 2 2 2 2 2 2 2 5 5 13
Case #572: 16 1 1 1 2 2 2 2 2 3 3 3 3 3 3 5 5
Case #573: 11 1 1 2 2 2 2 3 7 7 7 7
Case #574: 31 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 11
Case #575: 19 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 3 7 11
Case #576: 16 1 1 1 1 1 1 2 2 2 2 2 3 5 5 5 7
Case #577: 23 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 5 5 5
Case #578: 28 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 3 5
Case #579: 31 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 3 3 5
Case #580: 14 1 1 1 2 3 3 3 3 3 3 3 5 5 5
Case #581: 20 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 3 3 3 3 5
Case #582: 22 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 19
Case #583: 21 1 1 1 1 1 1 1 1 1 1 1 2 2 3 3 3 3 3 3 3 5
Case #584: 17 1 1 1 1 1 2 2 2 2 2 2 2 2 3 3 3 11
Case #585: 17 1 1 1 1 1 1 1 1 2 2 2 2 3 3 5 7 7
Case #586: 19 1 1 1 1 1 1 1 1 1 1 1 1 2 2 3 3 3 5 11
Case #587: 13 1 1 1 1 1 2 2 3 3 3 5 5 13
Case #588: 18 1 1 1 1 1 1 1 2 2 2 2 2 2 2 3 3 3 11
Case #589: 26 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 3 3 3 3 5
Case #590: 19 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 3 11
Case #591: 31 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 7
Case #592: -1
Case #593: -1
Case #594: 36 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2
2
Case #595: 25 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 3 3 3 7
Case #596: 17 1 1 1 1 1 1 1 1 1 2 2 2 2 3 7 7 7
Case #597: 38 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2 2 2
Case #598: 11 1 1 2 2 2 2 3 5 5 7 11
Case #599: 13 1 1 1 1 1 2 2 3 3 5 7 7 7
Case #600: 12 1 1 1 2 2 2 3 3 3 5 7 11
Case #601: 20 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 3 5 5 5
Case #602: 14 1 1 1 1 1 1 2 3 3 3 3 3 5 13
Case #603: 23 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 3 3 5
Case #604: 16 1 1 2 2 2 2 2 2 2 2 2 2 2 3 7 7
Case #605: -1
Case #606: 29 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 7
Case #607: 36 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2
5
Case #608: 17 1 1 1 1 1 1 1 2 2 2 2 2 2 3 3 5 11
Case #609: -1
Case #610: -1
Case #611: -1
Case #612: -1
Case #613: 13 1 1 1 1 1 1 2 2 2 2 3 5 19
Case #614: 18 1 1 1 1 1 2 2 2 2 2 2 2 3 3 3 3 3 7
Case #615: 19 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 5
Case #616: 17 1 1 1 1 1 1 1 2 2 2 2 3 3 3 5 5 7
Case #617: 17 1 1 1 1 1 1 1 1 1 1 1 2 2 3 5 7 11
Case #618: 15 1 1 1 2 2 2 2 3 3 3 3 3 3 5 7
Case #619: 12 1 1 1 2 2 2 3 3 3 5 5 13
Case #620: 15 1 1 1 1 2 2 2 2 2 2 2 2 3 7 11
Case #621: 16 1 1 1 1 1 1 1 1 1 1 2 3 3 3 7 13
Case #622: 20 1 1 1 1 1 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3
Case #623: -1
Case #624: -1
Case #625: 17 1 1 1 1 1 1 2 2 2 2 2 2 3 3 3 3 11
Case #626: 34 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 3 3
Case #627: 16 1 1 1 1 1 2 2 2 2 2 3 3 3 3 7 7
Case #628: 17 1 1 1 2 2 2 2 2 2 2 2 3 3 3 3 5 5
Case #629: 23 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 3 5 7
Case #630: 19 1 1 1 1 1 1 2 2 2 2 3 3 3 3 3 3 3 3 3
Case #631: 21 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 3 3 3 3 3 7
Case #632: 9 1 1 1 1 1 1 1 3 31
Case #633: -1
Case #634: 20 1 1 1 1 1 1 1 1 1 1 2 2 2 3 3 3 3 3 5 5
Case #635: 23 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 3 3 3 3 5 5
Case #636: 19 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 3 5 5 5
Case #637: 19 1 1 1 1 1 1 1 1 1 1 2 2 3 3 3 3 3 5 7
Case #638: 22 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3
Case #639: -1
Case #640: 18 1 1 1 1 1 1 2 2 2 2 2 2 2 3 3 5 5 5
Case #641: -1
Case #642: 17 1 1 1 1 1 1 1 1 1 1 2 2 3 5 5 7 7
Case #643: -1
Case #644: -1
Case #645: 20 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 3 7 7
Case #646: 13 1 1 1 1 1 2 2 2 2 3 3 5 17
Case #647: 21 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 3 3 3 11
Case #648: -1
Case #649: 32 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 5 5
Case #650: 13 1 1 1 1 2 2 3 3 3 3 3 5 13
Case #651: 16 1 1 1 1 2 2 2 2 2 3 3 3 3 5 5 5
Case #652: 20 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 3 3 7
Case #653: 11 1 1 2 2 2 2 3 5 5 5 13
Case #654: 21 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 3 5 5 5 5
Case #655: 28 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 11
Case #656: 13 1 1 1 1 1 1 2 2 3 3 3 5 17
Case #657: -1
Case #658: -1
Case #659: 31 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 3 3
Case #660: 15 1 1 1 2 2 2 2 2 2 3 3 5 5 5 5
Case #661: 25 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 3 3 3 3 3 3 3
Case #662: 26 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 3 3
Case #663: 21 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3
Case #664: 20 1 1 1 1 1 1 1 1 1 1 2 3 3 3 3 3 3 3 3 5
Case #665: -1
Case #666: 35 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 3

Case #667: -1
Case #668: 12 1 1 1 2 3 3 3 5 5 5 5 7
Case #669: -1
Case #670: 22 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5
Case #671: 22 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 3 5
Case #672: -1
Case #673: 14 1 1 1 1 1 1 2 3 3 5 5 5 5 7
Case #674: -1
Case #675: 18 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 5 5 7
Case #676: 23 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 3 3 5 7
Case #677: -1
Case #678: 17 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 3 19
Case #679: -1
Case #680: -1
Case #681: 17 1 1 1 1 1 2 2 2 2 2 2 3 3 3 3 5 7
Case #682: 29 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 5 7
Case #683: 11 1 1 1 1 1 1 1 1 1 3 29
Case #684: 16 1 1 1 2 2 2 2 2 2 2 3 3 3 5 5 5
Case #685: 21 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 3 5 5 7
Case #686: 24 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 3 3 3 3 3 3
Case #687: 13 1 1 1 1 1 2 2 3 3 5 5 5 11
Case #688: 22 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 3 5 5 7
Case #689: 14 1 1 1 1 2 2 2 2 2 2 2 3 7 13
Case #690: 12 1 1 1 2 2 2 3 3 5 5 5 11
Case #691: 21 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 3 7 7
Case #692: 26 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 13
Case #693: 22 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 3 3 11
Case #694: 25 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 3 13
Case #695: 22 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 3 3 3 3 5 5
Case #696: 14 1 1 1 1 2 2 2 2 2 3 3 5 5 11
Case #697: 18 1 1 1 1 1 1 2 2 2 2 2 3 3 3 3 3 5 5
Case #698: 15 1 1 1 1 1 2 2 2 2 2 2 3 3 5 13
Case #699: -1
Case #700: 23 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 3 5
Case #701: 13 1 1 1 1 1 2 2 2 2 3 5 7 13
Case #702: -1
Case #703: 20 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5
Case #704: -1
Case #705: -1
Case #706: 19 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 3 3 3 7
Case #707: 19 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 3 17
Case #708: 25 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 5
Case #709: -1
Case #710: 10 1 1 1 1 2 3 3 5 11 13
Case #711: 25 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3
Case #712: 22 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 3 3 3 3 3 3
Case #713: 17 1 1 1 1 2 2 2 2 2 2 2 2 2 2 5 5 7
Case #714: 21 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 3 3 5 5 7
Case #715: 33 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 7
Case #716: -1
Case #717: 27 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 5 5
Case #718: 27 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 3
Case #719: 16 1 1 1 1 1 1 1 1 1 1 2 2 2 7 7 11
Case #720: 12 1 1 2 2 2 3 5 5 5 5 5 5
Case #721: 17 1 1 1 1 1 2 2 3 3 3 3 3 3 3 3 3 5
Case #722: -1
Case #723: 20 1 1 1 1 1 1 1 1 1 2 2 2 2 2 3 3 3 3 5 5
Case #724: 19 1 1 1 1 1 1 1 1 1 3 3 3 3 3 3 3 3 3 5
Case #725: 37 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2
2 2
Case #726: 31 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 3
Case #727: 25 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 3 3 7
Case #728: 29 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 11
Case #729: 39 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
1 1 2 2
Case #730: 14 1 1 1 1 1 2 2 2 2 2 5 7 7 7
Case #731: -1
Case #732: -1
Case #733: 18 1 1 1 1 1 1 1 1 2 2 2 2 2 3 3 5 5 7
Case #734: 27 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 3 11
Case #735: 16 1 1 1 1 1 1 1 1 2 2 2 2 2 3 3 17
Case #736: 18 1 1 1 1 1 1 1 1 1 1 2 2 2 3 3 5 7 7
Case #737: 25 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 3 5 7
Case #738: 16 1 1 1 1 1 1 1 1 1 2 2 2 2 2 3 19
Case #739: 15 1 1 1 1 2 2 2 2 2 2 3 3 3 5 11
Case #740: 16 1 1 1 1 1 1 1 2 2 2 3 3 5 5 5 7
Case #741: 10 1 1 1 1 2 2 2 3 11 17
Case #742: -1
Case #743: 15 1 1 1 1 1 1 2 2 2 2 3 3 7 7 7
Case #744: 25 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 3 7 7
Case #745: 15 1 1 1 1 1 2 2 2 2 3 5 5 5 5 5
Case #746: 18 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 3 7 11
Case #747: -1
Case #748: 12 1 1 2 2 2 2 2 3 5 5 5 11
Case #749: -1
Case #750: 22 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 3 3 5 5 5
Case #751: 21 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 5 17
Case #752: -1
Case #753: 24 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 3 3 3 3 3 3 3
Case #754: 18 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 3 17
Case #755: 19 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 3 3 3 13
Case #756: 10 1 1 1 1 2 3 3 5 5 19
Case #757: 15 1 1 1 1 1 2 2 2 2 2 2 3 5 5 11
Case #758: 33 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 3
Case #759: 32 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 3 3
Case #760: 22 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 3 5 7
Case #761: 23 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3
Case #762: -1
Case #763: -1
Case #764: 19 1 1 1 1 1 1 1 1 1 1 2 2 2 2 3 3 3 7 7
Case #765: 19 1 1 1 1 1 1 1 1 2 2 2 2 2 2 3 3 3 5 7
Case #766: 25 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 3 5 5
Case #767: 25 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 3 3 3 3 5
Case #768: 19 1 1 1 1 1 1 1 2 2 2 2 3 3 3 3 3 3 3 5
Case #769: 15 1 1 1 2 2 2 2 2 2 3 3 3 5 5 7
Case #770: 19 1 1 1 1 1 1 2 2 2 2 2 2 2 2 3 3 3 3 7
Case #771: 23 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 3 3 7 7
Case #772: 18 1 1 1 1 1 1 1 1 1 2 2 2 3 3 5 5 5 5
Case #773: 38 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
1 2 3
Case #774: 20 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 3 5 7
Case #775: 12 1 1 1 2 3 3 3 3 3 5 5 11
Case #776: 3 5 17 19
Case #777: 15 1 1 1 1 2 2 3 3 3 3 3 3 3 5 7
Case #778: 15 1 1 1 1 1 1 1 1 2 2 2 2 3 11 11
Case #779: 12 1 1 1 2 2 2 2 2 3 3 11 11
Case #780: 14 1 1 1 1 2 2 2 2 2 3 3 3 5 13
Case #781: 23 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 3 3 3 5 5
Case #782: 16 1 1 1 1 2 2 2 2 2 2 2 3 3 5 5 7
Case #783: 21 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 3 5 5 5 5
Case #784: 23 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 3 3 3 3 3 5
Case #785: 26 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 3 5 7
Case #786: 24 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 3 11
Case #787: -1
Case #788: 22 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 3 3 7 7
Case #789: 20 1 1 1 1 1 1 1 2 2 2 2 2 3 3 3 3 3 3 3 3
Case #790: 27 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 3 3 3 3
Case #791: -1
Case #792: 21 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 3 3 3 3 5 7
Case #793: 21 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 3 3 3 5 5 5
Case #794: 35 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 5

Case #795: -1
Case #796: 25 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 3 3 3 3 7
Case #797: 15 1 1 1 1 2 2 2 2 2 2 3 5 5 5 7
Case #798: -1
Case #799: 13 1 1 1 1 2 2 3 3 3 3 5 5 11
Case #800: 20 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 3 3 3 3 7
Case #801: 30 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 5
Case #802: 26 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 3 3 3 3
Case #803: 20 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 5
Case #804: 11 1 1 1 1 2 2 3 3 3 5 19
Case #805: 13 1 1 2 2 2 2 2 2 2 2 3 7 13
Case #806: -1
Case #807: 19 1 1 1 1 1 2 2 2 2 2 2 2 2 3 3 3 3 3 5
Case #808: 11 1 1 1 2 2 2 2 3 3 5 19
Case #809: 19 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 23
Case #810: -1
Case #811: 31 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 5 5
Case #812: 19 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 3 5 11
Case #813: 16 1 1 1 1 1 1 1 1 2 2 2 3 3 7 7 7
Case #814: 14 1 1 1 1 1 2 2 2 3 3 3 3 5 13
Case #815: 25 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 5 5
Case #816: 20 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 5
Case #817: 16 1 1 1 1 2 2 2 2 2 2 2 2 2 3 5 11
Case #818: 17 1 1 2 2 2 2 2 2 2 2 2 2 2 2 3 5 7
Case #819: 5 1 1 1 19 19
Case #820: 26 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 3 5
Case #821: -1
Case #822: 35 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 3 3

Case #823: 22 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 7
Case #824: -1
Case #825: 20 1 1 1 1 1 1 1 1 1 1 1 2 2 2 3 3 3 3 5 7
Case #826: 20 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 3 3 5 5
Case #827: -1
Case #828: 12 1 1 1 1 2 2 2 3 7 7 7 7
Case #829: 15 1 1 1 1 1 2 2 3 3 3 3 5 5 5 5
Case #830: 23 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 3 3 3 3 5
Case #831: 10 1 1 2 2 2 2 2 3 7 19
Case #832: 21 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 5 5 11
Case #833: 23 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 7 13
Case #834: 18 1 1 1 1 1 1 1 1 1 1 1 1 2 3 3 3 5 13
Case #835: -1
Case #836: 20 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 3 3 3 3 11
Case #837: -1
Case #838: 13 1 1 1 1 1 1 1 2 2 5 5 7 13
Case #839: -1
Case #840: 16 1 1 1 1 1 2 2 2 2 2 2 2 3 5 7 7
Case #841: 10 1 1 1 1 2 3 3 5 7 17
Case #842: 6 1 1 1 2 17 19
Case #843: 19 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 5 5 5
Case #844: 19 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 3 3 5 7
Case #845: 19 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 5 5 7
Case #846: 24 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 5 5
Case #847: 15 1 1 1 1 2 2 2 2 3 3 3 5 5 5 5
Case #848: 17 1 1 1 1 1 1 1 2 2 2 2 2 2 3 3 3 13
Case #849: 14 1 1 1 2 2 2 2 2 2 2 3 5 5 11
Case #850: 24 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 3 3 3 3
Case #851: 14 1 1 1 1 1 2 2 2 3 5 5 5 5 7
Case #852: 16 1 1 1 1 1 2 2 2 2 2 3 3 3 3 3 11
Case #853: -1
Case #854: 28 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 3 3 3 5
Case #855: 21 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3
Case #856: 23 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 3 5 11
Case #857: 19 1 1 1 1 1 1 2 2 2 2 2 2 3 3 3 3 3 3 5
Case #858: -1
Case #859: -1
Case #860: -1
Case #861: 18 1 1 1 1 1 2 2 2 2 2 2 2 2 2 3 5 5 5
Case #862: 27 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 3 3 7
Case #863: -1
Case #864: 26 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 3 3 5 5
Case #865: 20 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 7 13
Case #866: 16 1 1 1 1 2 2 2 2 2 2 2 2 2 5 7 7
Case #867: 22 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3
Case #868: 19 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 3 5 5 7
Case #869: 17 1 1 1 1 1 1 1 2 2 2 2 3 3 3 3 3 11
Case #870: 17 1 1 1 1 1 1 1 1 2 2 2 2 3 5 5 5 7
Case #871: 15 1 1 1 1 1 1 2 2 3 3 3 5 5 5 7
Case #872: 21 1 1 1 1 1 1 1 1 1 1 1 1 3 3 3 3 3 3 3 3 5
Case #873: 20 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 3 3 3 7 7
Case #874: 25 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 5 5 5
Case #875: 23 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 3 3 3 3 5 5
Case #876: 17 1 1 1 1 1 1 1 1 1 2 2 3 3 3 5 7 7
Case #877: 17 1 1 1 1 1 1 1 1 2 2 2 2 2 2 7 7 7
Case #878: 18 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 3 5 5
Case #879: -1
Case #880: 17 1 1 1 1 1 1 1 1 2 2 2 2 3 3 3 5 11
Case #881: 16 1 1 1 1 1 1 2 3 3 3 3 3 3 5 5 5
Case #882: 14 1 1 1 1 1 2 2 2 3 3 3 5 5 11
Case #883: 17 1 1 1 1 1 1 1 1 1 1 1 1 2 2 7 7 11
Case #884: 15 1 1 1 1 1 1 1 1 2 2 3 3 5 7 11
Case #885: 37 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
3 3
Case #886: 3 11 13 17
Case #887: -1
Case #888: 12 1 1 1 1 1 2 3 3 5 5 5 13
Case #889: 21 1 1 1 1 1 1 1 1 1 2 2 2 2 3 3 3 3 3 3 3 3
Case #890: -1
Case #891: 21 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 11 11
Case #892: -1
Case #893: 15 1 1 1 2 2 2 2 3 3 3 3 3 5 5 5
Case #894: 14 1 1 1 2 2 2 2 2 3 3 3 3 5 11
Case #895: 16 1 1 1 1 1 1 1 1 1 1 1 2 3 5 7 13
Case #896: 27 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 3 3 5
Case #897: 24 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 3 3 3 5 5
Case #898: 10 1 1 1 2 2 2 3 7 11 11
Case #899: 22 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 3 7 7
Case #900: 17 1 1 1 2 2 2 2 2 2 2 2 2 2 3 3 5 7
Case #901: 21 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 3 3 5 5 5
Case #902: 24 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 3 3 3 3 3
Case #903: 14 1 1 1 1 1 1 2 2 2 3 3 5 7 11
Case #904: 20 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 3 7 11
Case #905: 27 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 3 3 3 3 5
Case #906: 14 1 1 1 1 1 2 2 2 2 2 3 3 3 17
Case #907: 30 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 11
Case #908: 15 1 1 1 1 1 1 2 2 2 2 3 5 5 7 7
Case #909: 17 1 1 1 1 1 1 1 2 2 2 2 2 2 3 5 7 7
Case #910: 18 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 3 3 11
Case #911: -1
Case #912: 17 1 1 1 1 1 1 1 1 1 2 2 3 3 5 5 5 7
Case #913: -1
Case #914: 25 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 3 3 3 5
Case #915: 31 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 3 7
Case #916: 14 1 1 1 2 2 2 2 2 3 3 5 5 5 7
Case #917: 18 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 3 5 7
Case #918: 20 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 3 7 11
Case #919: 16 1 1 1 1 1 1 1 2 2 2 3 3 3 3 5 11
Case #920: 16 1 1 1 1 1 1 1 1 1 2 2 2 2 2 5 17
Case #921: 16 1 1 1 1 1 1 1 2 2 2 3 3 3 5 7 7
Case #922: -1
Case #923: 10 1 1 1 1 1 2 3 3 5 23
Case #924: 23 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3
Case #925: 24 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 3 3 3 3 5
Case #926: 22 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 3 3 5 5 5
Case #927: 20 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 3 5 7 7
Case #928: 19 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 7 17
Case #929: 40 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
1 1 1 1 2
Case #930: -1
Case #931: 26 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 3
Case #932: 14 1 1 1 1 1 1 2 3 3 3 3 5 5 11
Case #933: -1
Case #934: 19 1 1 1 1 1 1 1 2 2 2 2 2 2 3 3 3 3 5 5
Case #935: 16 1 1 1 1 1 1 2 2 2 3 3 3 5 5 5 5
Case #936: 19 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 5 19
Case #937: 14 1 1 1 1 2 2 2 2 2 3 3 3 7 11
Case #938: 33 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 5 5
Case #939: 20 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 3 3 3 11
Case #940: 16 1 1 1 1 1 1 1 1 1 1 2 3 3 5 7 11
Case #941: -1
Case #942: 16 1 1 1 1 1 1 1 1 1 2 2 2 3 3 7 13
Case #943: 11 1 1 2 2 2 2 2 2 3 11 13
Case #944: 22 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 3 3 5
Case #945: 21 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 3 3 3 5
Case #946: 20 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 5 5 11
Case #947: -1
Case #948: 25 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
Case #949: -1
Case #950: 16 1 1 1 1 1 1 1 2 3 3 3 3 3 5 5 7
Case #951: 18 1 1 1 1 1 1 1 1 2 2 2 2 2 3 5 5 5 5
Case #952: 14 1 1 1 1 1 2 2 2 2 2 3 5 7 11
Case #953: 27 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 3 3 3 3 3
Case #954: 16 1 1 1 1 1 1 2 2 2 2 2 3 3 3 5 11
Case #955: 17 1 1 1 1 1 1 1 2 2 3 3 3 3 3 5 5 5
Case #956: 35 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 3 3

Case #957: -1
Case #958: 19 1 1 1 1 1 1 1 1 1 1 2 2 2 2 3 3 3 3 11
Case #959: 13 1 1 1 2 2 2 2 2 2 3 3 7 13
Case #960: 21 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3
Case #961: -1
Case #962: 16 1 1 1 1 2 2 2 2 2 3 3 3 3 3 5 7
Case #963: 31 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 5
Case #964: 28 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 3
Case #965: 29 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 3 3 3 5
Case #966: 18 1 1 1 1 1 1 1 1 1 1 1 2 2 2 3 5 5 11
Case #967: 8 1 1 2 2 2 3 11 19
Case #968: -1
Case #969: 18 1 1 1 1 1 1 1 2 3 3 3 3 3 3 3 3 3 5
Case #970: 23 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 3 5 5 5
Case #971: 18 1 1 1 1 1 1 1 1 1 1 2 3 3 3 3 3 7 7
Case #972: 23 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 19
Case #973: 10 1 1 1 2 3 3 3 3 5 19
Case #974: 21 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5
Case #975: 19 1 1 1 1 1 1 2 2 2 2 2 2 2 2 3 3 3 5 5
Case #976: -1