request propose  oppose  protocolRequest  
reply propose hsr.HSRInstanceSet {{   HSR(167,50)   }} scg.protocol.ForAllExistsMin {{      }} 0.059880239520958084 1.0 hsr.HSRInstanceSet {{   HSR(949,227)   }} scg.protocol.ForAllExistsMin {{      }} 0.01053740779768177 1.0 hsr.HSRInstanceSet {{   HSR(207,65)   }} scg.protocol.ForAllExistsMin {{      }} 0.04830917874396135 1.0 hsr.HSRInstanceSet {{   HSR(577,171)   }} scg.protocol.ForAllExistsMin {{      }} 0.01733102253032929 1.0  oppose  protocolResponse  
teamName  {{ belchmoney }}  
reputation 100.0

 request propose hsr.HSRInstanceSet {{   HSR(167,50)   }} scg.protocol.ForAllExistsMin {{      }} 0.059880239520958084 1.0 hsr.HSRInstanceSet {{   HSR(949,227)   }} scg.protocol.ForAllExistsMin {{      }} 0.01053740779768177 1.0 hsr.HSRInstanceSet {{   HSR(207,65)   }} scg.protocol.ForAllExistsMin {{      }} 0.04830917874396135 1.0 hsr.HSRInstanceSet {{   HSR(577,171)   }} scg.protocol.ForAllExistsMin {{      }} 0.01733102253032929 1.0  oppose hsr.HSRInstanceSet {{   HSR(167,50)   }} scg.protocol.ForAllExistsMin {{      }} 0.059880239520958084 1.0 hsr.HSRInstanceSet {{   HSR(949,227)   }} scg.protocol.ForAllExistsMin {{      }} 0.01053740779768177 1.0 hsr.HSRInstanceSet {{   HSR(207,65)   }} scg.protocol.ForAllExistsMin {{      }} 0.04830917874396135 1.0 hsr.HSRInstanceSet {{   HSR(577,171)   }} scg.protocol.ForAllExistsMin {{      }} 0.01733102253032929 1.0  protocolRequest  
reply propose hsr.HSRInstanceSet {{   HSR(2,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(4,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(8,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(32,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.25 1.0  oppose refuting refuting refuting refuting  protocolResponse  
teamName  {{ nobackbone }}  
reputation 100.0

 request propose hsr.HSRInstanceSet {{   HSR(167,50)   }} scg.protocol.ForAllExistsMin {{      }} 0.059880239520958084 1.0 hsr.HSRInstanceSet {{   HSR(949,227)   }} scg.protocol.ForAllExistsMin {{      }} 0.01053740779768177 1.0 hsr.HSRInstanceSet {{   HSR(207,65)   }} scg.protocol.ForAllExistsMin {{      }} 0.04830917874396135 1.0 hsr.HSRInstanceSet {{   HSR(577,171)   }} scg.protocol.ForAllExistsMin {{      }} 0.01733102253032929 1.0 hsr.HSRInstanceSet {{   HSR(2,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(4,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(8,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(32,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.25 1.0  oppose hsr.HSRInstanceSet {{   HSR(2,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(4,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(8,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(32,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.25 1.0  protocolRequest  
reply propose hsr.HSRInstanceSet {{   HSR(387,41)   }} scg.protocol.ForAllExistsMin {{      }} 0.025839793281653745 1.0 hsr.HSRInstanceSet {{   HSR(640,123)   }} scg.protocol.ForAllExistsMin {{      }} 0.015625 1.0 hsr.HSRInstanceSet {{   HSR(758,49)   }} scg.protocol.ForAllExistsMin {{      }} 0.013192612137203167 1.0 hsr.HSRInstanceSet {{   HSR(861,538)   }} scg.protocol.ForAllExistsMin {{      }} 0.011614401858304297 1.0  oppose agree strengthening 0.75 agree agree  protocolResponse  
teamName  {{ belchmoney }}  
reputation 100.0

 request propose hsr.HSRInstanceSet {{   HSR(167,50)   }} scg.protocol.ForAllExistsMin {{      }} 0.059880239520958084 1.0 hsr.HSRInstanceSet {{   HSR(949,227)   }} scg.protocol.ForAllExistsMin {{      }} 0.01053740779768177 1.0 hsr.HSRInstanceSet {{   HSR(207,65)   }} scg.protocol.ForAllExistsMin {{      }} 0.04830917874396135 1.0 hsr.HSRInstanceSet {{   HSR(577,171)   }} scg.protocol.ForAllExistsMin {{      }} 0.01733102253032929 1.0 hsr.HSRInstanceSet {{   HSR(2,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(4,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(8,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(32,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.25 1.0 hsr.HSRInstanceSet {{   HSR(387,41)   }} scg.protocol.ForAllExistsMin {{      }} 0.025839793281653745 1.0 hsr.HSRInstanceSet {{   HSR(640,123)   }} scg.protocol.ForAllExistsMin {{      }} 0.015625 1.0 hsr.HSRInstanceSet {{   HSR(758,49)   }} scg.protocol.ForAllExistsMin {{      }} 0.013192612137203167 1.0 hsr.HSRInstanceSet {{   HSR(861,538)   }} scg.protocol.ForAllExistsMin {{      }} 0.011614401858304297 1.0  oppose hsr.HSRInstanceSet {{   HSR(387,41)   }} scg.protocol.ForAllExistsMin {{      }} 0.025839793281653745 1.0 hsr.HSRInstanceSet {{   HSR(640,123)   }} scg.protocol.ForAllExistsMin {{      }} 0.015625 1.0 hsr.HSRInstanceSet {{   HSR(758,49)   }} scg.protocol.ForAllExistsMin {{      }} 0.013192612137203167 1.0 hsr.HSRInstanceSet {{   HSR(861,538)   }} scg.protocol.ForAllExistsMin {{      }} 0.011614401858304297 1.0  protocolRequest provide hsr.HSRInstanceSet {{   HSR(167,50)   }} scg.protocol.ForAllExistsMin {{      }} 0.059880239520958084 1.0 provide hsr.HSRInstanceSet {{   HSR(949,227)   }} scg.protocol.ForAllExistsMin {{      }} 0.01053740779768177 1.0 provide hsr.HSRInstanceSet {{   HSR(207,65)   }} scg.protocol.ForAllExistsMin {{      }} 0.04830917874396135 1.0 provide hsr.HSRInstanceSet {{   HSR(577,171)   }} scg.protocol.ForAllExistsMin {{      }} 0.01733102253032929 1.0 provide hsr.HSRInstanceSet {{   HSR(2,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 provide hsr.HSRInstanceSet {{   HSR(8,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 provide hsr.HSRInstanceSet {{   HSR(32,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.25 1.0  
reply propose hsr.HSRInstanceSet {{   HSR(512,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.0625 1.0 hsr.HSRInstanceSet {{   HSR(467,2)   }} scg.protocol.ForAllExistsMin {{      }} 3.411946819821348E-5 1.0 hsr.HSRInstanceSet {{   HSR(239,2)   }} scg.protocol.ForAllExistsMin {{      }} 3.411946819821348E-5 1.0 hsr.HSRInstanceSet {{   HSR(762,2)   }} scg.protocol.ForAllExistsMin {{      }} 3.411946819821348E-5 1.0  oppose refuting refuting refuting refuting  protocolResponse provide hsr.HSRInstance {{  HSR(167,50)  }}  provide hsr.HSRInstance {{  HSR(949,227)  }}  provide hsr.HSRInstance {{  HSR(207,65)  }}  provide hsr.HSRInstance {{  HSR(577,171)  }}  provide hsr.HSRInstance {{  HSR(2,1)  }}  provide hsr.HSRInstance {{  HSR(8,2)  }}  provide hsr.HSRInstance {{  HSR(32,2)  }}   
teamName  {{ nobackbone }}  
reputation 99.0

 request propose hsr.HSRInstanceSet {{   HSR(167,50)   }} scg.protocol.ForAllExistsMin {{      }} 0.059880239520958084 1.0 hsr.HSRInstanceSet {{   HSR(949,227)   }} scg.protocol.ForAllExistsMin {{      }} 0.01053740779768177 1.0 hsr.HSRInstanceSet {{   HSR(207,65)   }} scg.protocol.ForAllExistsMin {{      }} 0.04830917874396135 1.0 hsr.HSRInstanceSet {{   HSR(577,171)   }} scg.protocol.ForAllExistsMin {{      }} 0.01733102253032929 1.0 hsr.HSRInstanceSet {{   HSR(2,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(4,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(8,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(32,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.25 1.0 hsr.HSRInstanceSet {{   HSR(387,41)   }} scg.protocol.ForAllExistsMin {{      }} 0.025839793281653745 1.0 hsr.HSRInstanceSet {{   HSR(640,123)   }} scg.protocol.ForAllExistsMin {{      }} 0.015625 1.0 hsr.HSRInstanceSet {{   HSR(758,49)   }} scg.protocol.ForAllExistsMin {{      }} 0.013192612137203167 1.0 hsr.HSRInstanceSet {{   HSR(861,538)   }} scg.protocol.ForAllExistsMin {{      }} 0.011614401858304297 1.0 hsr.HSRInstanceSet {{   HSR(512,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.0625 1.0 hsr.HSRInstanceSet {{   HSR(467,2)   }} scg.protocol.ForAllExistsMin {{      }} 3.411946819821348E-5 1.0 hsr.HSRInstanceSet {{   HSR(239,2)   }} scg.protocol.ForAllExistsMin {{      }} 3.411946819821348E-5 1.0 hsr.HSRInstanceSet {{   HSR(762,2)   }} scg.protocol.ForAllExistsMin {{      }} 3.411946819821348E-5 1.0  oppose hsr.HSRInstanceSet {{   HSR(512,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.0625 1.0 hsr.HSRInstanceSet {{   HSR(467,2)   }} scg.protocol.ForAllExistsMin {{      }} 3.411946819821348E-5 1.0 hsr.HSRInstanceSet {{   HSR(239,2)   }} scg.protocol.ForAllExistsMin {{      }} 3.411946819821348E-5 1.0 hsr.HSRInstanceSet {{   HSR(762,2)   }} scg.protocol.ForAllExistsMin {{      }} 3.411946819821348E-5 1.0  protocolRequest solve hsr.HSRInstance {{ HSR(167,50) }} hsr.HSRInstanceSet {{   HSR(167,50)   }} scg.protocol.ForAllExistsMin {{      }} 0.059880239520958084 1.0 solve hsr.HSRInstance {{ HSR(949,227) }} hsr.HSRInstanceSet {{   HSR(949,227)   }} scg.protocol.ForAllExistsMin {{      }} 0.01053740779768177 1.0 solve hsr.HSRInstance {{ HSR(207,65) }} hsr.HSRInstanceSet {{   HSR(207,65)   }} scg.protocol.ForAllExistsMin {{      }} 0.04830917874396135 1.0 solve hsr.HSRInstance {{ HSR(577,171) }} hsr.HSRInstanceSet {{   HSR(577,171)   }} scg.protocol.ForAllExistsMin {{      }} 0.01733102253032929 1.0 solve hsr.HSRInstance {{ HSR(2,1) }} hsr.HSRInstanceSet {{   HSR(2,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 solve hsr.HSRInstance {{ HSR(8,2) }} hsr.HSRInstanceSet {{   HSR(8,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 solve hsr.HSRInstance {{ HSR(32,2) }} hsr.HSRInstanceSet {{   HSR(32,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.25 1.0  
reply propose hsr.HSRInstanceSet {{   HSR(478,114)   }} scg.protocol.ForAllExistsMin {{      }} 0.02092050209205021 1.0 hsr.HSRInstanceSet {{   HSR(248,79)   }} scg.protocol.ForAllExistsMin {{      }} 0.04032258064516129 1.0 hsr.HSRInstanceSet {{   HSR(758,679)   }} scg.protocol.ForAllExistsMin {{      }} 0.013192612137203167 1.0 hsr.HSRInstanceSet {{   HSR(618,421)   }} scg.protocol.ForAllExistsMin {{      }} 0.016181229773462782 1.0  oppose refuting refuting refuting refuting  protocolResponse solve hsr.HSRSolution {{  (127 y (63 y (31 y (15 y (7 y (3 y (1 y h 0 n (2 y h 1 n h 2)) n (5 y (4 y h 3 n h 4) n (6 y h 5 n h 6))) n (11 y (9 y (8 y h 7 n h 8) n (10 y h 9 n h 10)) n (13 y (12 y h 11 n h 12) n (14 y h 13 n h 14)))) n (23 y (19 y (17 y (16 y h 15 n h 16) n (18 y h 17 n h 18)) n (21 y (20 y h 19 n h 20) n (22 y h 21 n h 22))) n (27 y (25 y (24 y h 23 n h 24) n (26 y h 25 n h 26)) n (29 y (28 y h 27 n h 28) n (30 y h 29 n h 30))))) n (47 y (39 y (35 y (33 y (32 y h 31 n h 32) n (34 y h 33 n h 34)) n (37 y (36 y h 35 n h 36) n (38 y h 37 n h 38))) n (43 y (41 y (40 y h 39 n h 40) n (42 y h 41 n h 42)) n (45 y (44 y h 43 n h 44) n (46 y h 45 n h 46)))) n (55 y (51 y (49 y (48 y h 47 n h 48) n (50 y h 49 n h 50)) n (53 y (52 y h 51 n h 52) n (54 y h 53 n h 54))) n (59 y (57 y (56 y h 55 n h 56) n (58 y h 57 n h 58)) n (61 y (60 y h 59 n h 60) n (62 y h 61 n h 62)))))) n (95 y (79 y (71 y (67 y (65 y (64 y h 63 n h 64) n (66 y h 65 n h 66)) n (69 y (68 y h 67 n h 68) n (70 y h 69 n h 70))) n (75 y (73 y (72 y h 71 n h 72) n (74 y h 73 n h 74)) n (77 y (76 y h 75 n h 76) n (78 y h 77 n h 78)))) n (87 y (83 y (81 y (80 y h 79 n h 80) n (82 y h 81 n h 82)) n (85 y (84 y h 83 n h 84) n (86 y h 85 n h 86))) n (91 y (89 y (88 y h 87 n h 88) n (90 y h 89 n h 90)) n (93 y (92 y h 91 n h 92) n (94 y h 93 n h 94))))) n (111 y (103 y (99 y (97 y (96 y h 95 n h 96) n (98 y h 97 n h 98)) n (101 y (100 y h 99 n h 100) n (102 y h 101 n h 102))) n (107 y (105 y (104 y h 103 n h 104) n (106 y h 105 n h 106)) n (109 y (108 y h 107 n h 108) n (110 y h 109 n h 110)))) n (119 y (115 y (113 y (112 y h 111 n h 112) n (114 y h 113 n h 114)) n (117 y (116 y h 115 n h 116) n (118 y h 117 n h 118))) n (123 y (121 y (120 y h 119 n h 120) n (122 y h 121 n h 122)) n (125 y (124 y h 123 n h 124) n (126 y h 125 n h 126))))))) n (158 y (142 y (134 y (130 y (128 y h 127 n (129 y h 128 n h 129)) n (132 y (131 y h 130 n h 131) n (133 y h 132 n h 133))) n (138 y (136 y (135 y h 134 n h 135) n (137 y h 136 n h 137)) n (140 y (139 y h 138 n h 139) n (141 y h 140 n h 141)))) n (150 y (146 y (144 y (143 y h 142 n h 143) n (145 y h 144 n h 145)) n (148 y (147 y h 146 n h 147) n (149 y h 148 n h 149))) n (154 y (152 y (151 y h 150 n h 151) n (153 y h 152 n h 153)) n (156 y (155 y h 154 n h 155) n (157 y h 156 n h 157))))) n (165 y (161 y (159 y h 158 n (160 y h 159 n h 160)) n (163 y (162 y h 161 n h 162) n (164 y h 163 n h 164))) n (166 y h 165 n h 166))))  }}  solve hsr.HSRSolution {{  (511 y (255 y (127 y (63 y (31 y (15 y (7 y (3 y (1 y h 0 n (2 y h 1 n h 2)) n (5 y (4 y h 3 n h 4) n (6 y h 5 n h 6))) n (11 y (9 y (8 y h 7 n h 8) n (10 y h 9 n h 10)) n (13 y (12 y h 11 n h 12) n (14 y h 13 n h 14)))) n (23 y (19 y (17 y (16 y h 15 n h 16) n (18 y h 17 n h 18)) n (21 y (20 y h 19 n h 20) n (22 y h 21 n h 22))) n (27 y (25 y (24 y h 23 n h 24) n (26 y h 25 n h 26)) n (29 y (28 y h 27 n h 28) n (30 y h 29 n h 30))))) n (47 y (39 y (35 y (33 y (32 y h 31 n h 32) n (34 y h 33 n h 34)) n (37 y (36 y h 35 n h 36) n (38 y h 37 n h 38))) n (43 y (41 y (40 y h 39 n h 40) n (42 y h 41 n h 42)) n (45 y (44 y h 43 n h 44) n (46 y h 45 n h 46)))) n (55 y (51 y (49 y (48 y h 47 n h 48) n (50 y h 49 n h 50)) n (53 y (52 y h 51 n h 52) n (54 y h 53 n h 54))) n (59 y (57 y (56 y h 55 n h 56) n (58 y h 57 n h 58)) n (61 y (60 y h 59 n h 60) n (62 y h 61 n h 62)))))) n (95 y (79 y (71 y (67 y (65 y (64 y h 63 n h 64) n (66 y h 65 n h 66)) n (69 y (68 y h 67 n h 68) n (70 y h 69 n h 70))) n (75 y (73 y (72 y h 71 n h 72) n (74 y h 73 n h 74)) n (77 y (76 y h 75 n h 76) n (78 y h 77 n h 78)))) n (87 y (83 y (81 y (80 y h 79 n h 80) n (82 y h 81 n h 82)) n (85 y (84 y h 83 n h 84) n (86 y h 85 n h 86))) n (91 y (89 y (88 y h 87 n h 88) n (90 y h 89 n h 90)) n (93 y (92 y h 91 n h 92) n (94 y h 93 n h 94))))) n (111 y (103 y (99 y (97 y (96 y h 95 n h 96) n (98 y h 97 n h 98)) n (101 y (100 y h 99 n h 100) n (102 y h 101 n h 102))) n (107 y (105 y (104 y h 103 n h 104) n (106 y h 105 n h 106)) n (109 y (108 y h 107 n h 108) n (110 y h 109 n h 110)))) n (119 y (115 y (113 y (112 y h 111 n h 112) n (114 y h 113 n h 114)) n (117 y (116 y h 115 n h 116) n (118 y h 117 n h 118))) n (123 y (121 y (120 y h 119 n h 120) n (122 y h 121 n h 122)) n (125 y (124 y h 123 n h 124) n (126 y h 125 n h 126))))))) n (191 y (159 y (143 y (135 y (131 y (129 y (128 y h 127 n h 128) n (130 y h 129 n h 130)) n (133 y (132 y h 131 n h 132) n (134 y h 133 n h 134))) n (139 y (137 y (136 y h 135 n h 136) n (138 y h 137 n h 138)) n (141 y (140 y h 139 n h 140) n (142 y h 141 n h 142)))) n (151 y (147 y (145 y (144 y h 143 n h 144) n (146 y h 145 n h 146)) n (149 y (148 y h 147 n h 148) n (150 y h 149 n h 150))) n (155 y (153 y (152 y h 151 n h 152) n (154 y h 153 n h 154)) n (157 y (156 y h 155 n h 156) n (158 y h 157 n h 158))))) n (175 y (167 y (163 y (161 y (160 y h 159 n h 160) n (162 y h 161 n h 162)) n (165 y (164 y h 163 n h 164) n (166 y h 165 n h 166))) n (171 y (169 y (168 y h 167 n h 168) n (170 y h 169 n h 170)) n (173 y (172 y h 171 n h 172) n (174 y h 173 n h 174)))) n (183 y (179 y (177 y (176 y h 175 n h 176) n (178 y h 177 n h 178)) n (181 y (180 y h 179 n h 180) n (182 y h 181 n h 182))) n (187 y (185 y (184 y h 183 n h 184) n (186 y h 185 n h 186)) n (189 y (188 y h 187 n h 188) n (190 y h 189 n h 190)))))) n (223 y (207 y (199 y (195 y (193 y (192 y h 191 n h 192) n (194 y h 193 n h 194)) n (197 y (196 y h 195 n h 196) n (198 y h 197 n h 198))) n (203 y (201 y (200 y h 199 n h 200) n (202 y h 201 n h 202)) n (205 y (204 y h 203 n h 204) n (206 y h 205 n h 206)))) n (215 y (211 y (209 y (208 y h 207 n h 208) n (210 y h 209 n h 210)) n (213 y (212 y h 211 n h 212) n (214 y h 213 n h 214))) n (219 y (217 y (216 y h 215 n h 216) n (218 y h 217 n h 218)) n (221 y (220 y h 219 n h 220) n (222 y h 221 n h 222))))) n (239 y (231 y (227 y (225 y (224 y h 223 n h 224) n (226 y h 225 n h 226)) n (229 y (228 y h 227 n h 228) n (230 y h 229 n h 230))) n (235 y (233 y (232 y h 231 n h 232) n (234 y h 233 n h 234)) n (237 y (236 y h 235 n h 236) n (238 y h 237 n h 238)))) n (247 y (243 y (241 y (240 y h 239 n h 240) n (242 y h 241 n h 242)) n (245 y (244 y h 243 n h 244) n (246 y h 245 n h 246))) n (251 y (249 y (248 y h 247 n h 248) n (250 y h 249 n h 250)) n (253 y (252 y h 251 n h 252) n (254 y h 253 n h 254)))))))) n (383 y (319 y (287 y (271 y (263 y (259 y (257 y (256 y h 255 n h 256) n (258 y h 257 n h 258)) n (261 y (260 y h 259 n h 260) n (262 y h 261 n h 262))) n (267 y (265 y (264 y h 263 n h 264) n (266 y h 265 n h 266)) n (269 y (268 y h 267 n h 268) n (270 y h 269 n h 270)))) n (279 y (275 y (273 y (272 y h 271 n h 272) n (274 y h 273 n h 274)) n (277 y (276 y h 275 n h 276) n (278 y h 277 n h 278))) n (283 y (281 y (280 y h 279 n h 280) n (282 y h 281 n h 282)) n (285 y (284 y h 283 n h 284) n (286 y h 285 n h 286))))) n (303 y (295 y (291 y (289 y (288 y h 287 n h 288) n (290 y h 289 n h 290)) n (293 y (292 y h 291 n h 292) n (294 y h 293 n h 294))) n (299 y (297 y (296 y h 295 n h 296) n (298 y h 297 n h 298)) n (301 y (300 y h 299 n h 300) n (302 y h 301 n h 302)))) n (311 y (307 y (305 y (304 y h 303 n h 304) n (306 y h 305 n h 306)) n (309 y (308 y h 307 n h 308) n (310 y h 309 n h 310))) n (315 y (313 y (312 y h 311 n h 312) n (314 y h 313 n h 314)) n (317 y (316 y h 315 n h 316) n (318 y h 317 n h 318)))))) n (351 y (335 y (327 y (323 y (321 y (320 y h 319 n h 320) n (322 y h 321 n h 322)) n (325 y (324 y h 323 n h 324) n (326 y h 325 n h 326))) n (331 y (329 y (328 y h 327 n h 328) n (330 y h 329 n h 330)) n (333 y (332 y h 331 n h 332) n (334 y h 333 n h 334)))) n (343 y (339 y (337 y (336 y h 335 n h 336) n (338 y h 337 n h 338)) n (341 y (340 y h 339 n h 340) n (342 y h 341 n h 342))) n (347 y (345 y (344 y h 343 n h 344) n (346 y h 345 n h 346)) n (349 y (348 y h 347 n h 348) n (350 y h 349 n h 350))))) n (367 y (359 y (355 y (353 y (352 y h 351 n h 352) n (354 y h 353 n h 354)) n (357 y (356 y h 355 n h 356) n (358 y h 357 n h 358))) n (363 y (361 y (360 y h 359 n h 360) n (362 y h 361 n h 362)) n (365 y (364 y h 363 n h 364) n (366 y h 365 n h 366)))) n (375 y (371 y (369 y (368 y h 367 n h 368) n (370 y h 369 n h 370)) n (373 y (372 y h 371 n h 372) n (374 y h 373 n h 374))) n (379 y (377 y (376 y h 375 n h 376) n (378 y h 377 n h 378)) n (381 y (380 y h 379 n h 380) n (382 y h 381 n h 382))))))) n (447 y (415 y (399 y (391 y (387 y (385 y (384 y h 383 n h 384) n (386 y h 385 n h 386)) n (389 y (388 y h 387 n h 388) n (390 y h 389 n h 390))) n (395 y (393 y (392 y h 391 n h 392) n (394 y h 393 n h 394)) n (397 y (396 y h 395 n h 396) n (398 y h 397 n h 398)))) n (407 y (403 y (401 y (400 y h 399 n h 400) n (402 y h 401 n h 402)) n (405 y (404 y h 403 n h 404) n (406 y h 405 n h 406))) n (411 y (409 y (408 y h 407 n h 408) n (410 y h 409 n h 410)) n (413 y (412 y h 411 n h 412) n (414 y h 413 n h 414))))) n (431 y (423 y (419 y (417 y (416 y h 415 n h 416) n (418 y h 417 n h 418)) n (421 y (420 y h 419 n h 420) n (422 y h 421 n h 422))) n (427 y (425 y (424 y h 423 n h 424) n (426 y h 425 n h 426)) n (429 y (428 y h 427 n h 428) n (430 y h 429 n h 430)))) n (439 y (435 y (433 y (432 y h 431 n h 432) n (434 y h 433 n h 434)) n (437 y (436 y h 435 n h 436) n (438 y h 437 n h 438))) n (443 y (441 y (440 y h 439 n h 440) n (442 y h 441 n h 442)) n (445 y (444 y h 443 n h 444) n (446 y h 445 n h 446)))))) n (479 y (463 y (455 y (451 y (449 y (448 y h 447 n h 448) n (450 y h 449 n h 450)) n (453 y (452 y h 451 n h 452) n (454 y h 453 n h 454))) n (459 y (457 y (456 y h 455 n h 456) n (458 y h 457 n h 458)) n (461 y (460 y h 459 n h 460) n (462 y h 461 n h 462)))) n (471 y (467 y (465 y (464 y h 463 n h 464) n (466 y h 465 n h 466)) n (469 y (468 y h 467 n h 468) n (470 y h 469 n h 470))) n (475 y (473 y (472 y h 471 n h 472) n (474 y h 473 n h 474)) n (477 y (476 y h 475 n h 476) n (478 y h 477 n h 478))))) n (495 y (487 y (483 y (481 y (480 y h 479 n h 480) n (482 y h 481 n h 482)) n (485 y (484 y h 483 n h 484) n (486 y h 485 n h 486))) n (491 y (489 y (488 y h 487 n h 488) n (490 y h 489 n h 490)) n (493 y (492 y h 491 n h 492) n (494 y h 493 n h 494)))) n (503 y (499 y (497 y (496 y h 495 n h 496) n (498 y h 497 n h 498)) n (501 y (500 y h 499 n h 500) n (502 y h 501 n h 502))) n (507 y (505 y (504 y h 503 n h 504) n (506 y h 505 n h 506)) n (509 y (508 y h 507 n h 508) n (510 y h 509 n h 510))))))))) n (766 y (638 y (574 y (542 y (526 y (518 y (514 y (512 y h 511 n (513 y h 512 n h 513)) n (516 y (515 y h 514 n h 515) n (517 y h 516 n h 517))) n (522 y (520 y (519 y h 518 n h 519) n (521 y h 520 n h 521)) n (524 y (523 y h 522 n h 523) n (525 y h 524 n h 525)))) n (534 y (530 y (528 y (527 y h 526 n h 527) n (529 y h 528 n h 529)) n (532 y (531 y h 530 n h 531) n (533 y h 532 n h 533))) n (538 y (536 y (535 y h 534 n h 535) n (537 y h 536 n h 537)) n (540 y (539 y h 538 n h 539) n (541 y h 540 n h 541))))) n (558 y (550 y (546 y (544 y (543 y h 542 n h 543) n (545 y h 544 n h 545)) n (548 y (547 y h 546 n h 547) n (549 y h 548 n h 549))) n (554 y (552 y (551 y h 550 n h 551) n (553 y h 552 n h 553)) n (556 y (555 y h 554 n h 555) n (557 y h 556 n h 557)))) n (566 y (562 y (560 y (559 y h 558 n h 559) n (561 y h 560 n h 561)) n (564 y (563 y h 562 n h 563) n (565 y h 564 n h 565))) n (570 y (568 y (567 y h 566 n h 567) n (569 y h 568 n h 569)) n (572 y (571 y h 570 n h 571) n (573 y h 572 n h 573)))))) n (606 y (590 y (582 y (578 y (576 y (575 y h 574 n h 575) n (577 y h 576 n h 577)) n (580 y (579 y h 578 n h 579) n (581 y h 580 n h 581))) n (586 y (584 y (583 y h 582 n h 583) n (585 y h 584 n h 585)) n (588 y (587 y h 586 n h 587) n (589 y h 588 n h 589)))) n (598 y (594 y (592 y (591 y h 590 n h 591) n (593 y h 592 n h 593)) n (596 y (595 y h 594 n h 595) n (597 y h 596 n h 597))) n (602 y (600 y (599 y h 598 n h 599) n (601 y h 600 n h 601)) n (604 y (603 y h 602 n h 603) n (605 y h 604 n h 605))))) n (622 y (614 y (610 y (608 y (607 y h 606 n h 607) n (609 y h 608 n h 609)) n (612 y (611 y h 610 n h 611) n (613 y h 612 n h 613))) n (618 y (616 y (615 y h 614 n h 615) n (617 y h 616 n h 617)) n (620 y (619 y h 618 n h 619) n (621 y h 620 n h 621)))) n (630 y (626 y (624 y (623 y h 622 n h 623) n (625 y h 624 n h 625)) n (628 y (627 y h 626 n h 627) n (629 y h 628 n h 629))) n (634 y (632 y (631 y h 630 n h 631) n (633 y h 632 n h 633)) n (636 y (635 y h 634 n h 635) n (637 y h 636 n h 637))))))) n (702 y (670 y (654 y (646 y (642 y (640 y (639 y h 638 n h 639) n (641 y h 640 n h 641)) n (644 y (643 y h 642 n h 643) n (645 y h 644 n h 645))) n (650 y (648 y (647 y h 646 n h 647) n (649 y h 648 n h 649)) n (652 y (651 y h 650 n h 651) n (653 y h 652 n h 653)))) n (662 y (658 y (656 y (655 y h 654 n h 655) n (657 y h 656 n h 657)) n (660 y (659 y h 658 n h 659) n (661 y h 660 n h 661))) n (666 y (664 y (663 y h 662 n h 663) n (665 y h 664 n h 665)) n (668 y (667 y h 666 n h 667) n (669 y h 668 n h 669))))) n (686 y (678 y (674 y (672 y (671 y h 670 n h 671) n (673 y h 672 n h 673)) n (676 y (675 y h 674 n h 675) n (677 y h 676 n h 677))) n (682 y (680 y (679 y h 678 n h 679) n (681 y h 680 n h 681)) n (684 y (683 y h 682 n h 683) n (685 y h 684 n h 685)))) n (694 y (690 y (688 y (687 y h 686 n h 687) n (689 y h 688 n h 689)) n (692 y (691 y h 690 n h 691) n (693 y h 692 n h 693))) n (698 y (696 y (695 y h 694 n h 695) n (697 y h 696 n h 697)) n (700 y (699 y h 698 n h 699) n (701 y h 700 n h 701)))))) n (734 y (718 y (710 y (706 y (704 y (703 y h 702 n h 703) n (705 y h 704 n h 705)) n (708 y (707 y h 706 n h 707) n (709 y h 708 n h 709))) n (714 y (712 y (711 y h 710 n h 711) n (713 y h 712 n h 713)) n (716 y (715 y h 714 n h 715) n (717 y h 716 n h 717)))) n (726 y (722 y (720 y (719 y h 718 n h 719) n (721 y h 720 n h 721)) n (724 y (723 y h 722 n h 723) n (725 y h 724 n h 725))) n (730 y (728 y (727 y h 726 n h 727) n (729 y h 728 n h 729)) n (732 y (731 y h 730 n h 731) n (733 y h 732 n h 733))))) n (750 y (742 y (738 y (736 y (735 y h 734 n h 735) n (737 y h 736 n h 737)) n (740 y (739 y h 738 n h 739) n (741 y h 740 n h 741))) n (746 y (744 y (743 y h 742 n h 743) n (745 y h 744 n h 745)) n (748 y (747 y h 746 n h 747) n (749 y h 748 n h 749)))) n (758 y (754 y (752 y (751 y h 750 n h 751) n (753 y h 752 n h 753)) n (756 y (755 y h 754 n h 755) n (757 y h 756 n h 757))) n (762 y (760 y (759 y h 758 n h 759) n (761 y h 760 n h 761)) n (764 y (763 y h 762 n h 763) n (765 y h 764 n h 765)))))))) n (893 y (829 y (797 y (781 y (773 y (769 y (767 y h 766 n (768 y h 767 n h 768)) n (771 y (770 y h 769 n h 770) n (772 y h 771 n h 772))) n (777 y (775 y (774 y h 773 n h 774) n (776 y h 775 n h 776)) n (779 y (778 y h 777 n h 778) n (780 y h 779 n h 780)))) n (789 y (785 y (783 y (782 y h 781 n h 782) n (784 y h 783 n h 784)) n (787 y (786 y h 785 n h 786) n (788 y h 787 n h 788))) n (793 y (791 y (790 y h 789 n h 790) n (792 y h 791 n h 792)) n (795 y (794 y h 793 n h 794) n (796 y h 795 n h 796))))) n (813 y (805 y (801 y (799 y (798 y h 797 n h 798) n (800 y h 799 n h 800)) n (803 y (802 y h 801 n h 802) n (804 y h 803 n h 804))) n (809 y (807 y (806 y h 805 n h 806) n (808 y h 807 n h 808)) n (811 y (810 y h 809 n h 810) n (812 y h 811 n h 812)))) n (821 y (817 y (815 y (814 y h 813 n h 814) n (816 y h 815 n h 816)) n (819 y (818 y h 817 n h 818) n (820 y h 819 n h 820))) n (825 y (823 y (822 y h 821 n h 822) n (824 y h 823 n h 824)) n (827 y (826 y h 825 n h 826) n (828 y h 827 n h 828)))))) n (861 y (845 y (837 y (833 y (831 y (830 y h 829 n h 830) n (832 y h 831 n h 832)) n (835 y (834 y h 833 n h 834) n (836 y h 835 n h 836))) n (841 y (839 y (838 y h 837 n h 838) n (840 y h 839 n h 840)) n (843 y (842 y h 841 n h 842) n (844 y h 843 n h 844)))) n (853 y (849 y (847 y (846 y h 845 n h 846) n (848 y h 847 n h 848)) n (851 y (850 y h 849 n h 850) n (852 y h 851 n h 852))) n (857 y (855 y (854 y h 853 n h 854) n (856 y h 855 n h 856)) n (859 y (858 y h 857 n h 858) n (860 y h 859 n h 860))))) n (877 y (869 y (865 y (863 y (862 y h 861 n h 862) n (864 y h 863 n h 864)) n (867 y (866 y h 865 n h 866) n (868 y h 867 n h 868))) n (873 y (871 y (870 y h 869 n h 870) n (872 y h 871 n h 872)) n (875 y (874 y h 873 n h 874) n (876 y h 875 n h 876)))) n (885 y (881 y (879 y (878 y h 877 n h 878) n (880 y h 879 n h 880)) n (883 y (882 y h 881 n h 882) n (884 y h 883 n h 884))) n (889 y (887 y (886 y h 885 n h 886) n (888 y h 887 n h 888)) n (891 y (890 y h 889 n h 890) n (892 y h 891 n h 892))))))) n (924 y (908 y (900 y (896 y (894 y h 893 n (895 y h 894 n h 895)) n (898 y (897 y h 896 n h 897) n (899 y h 898 n h 899))) n (904 y (902 y (901 y h 900 n h 901) n (903 y h 902 n h 903)) n (906 y (905 y h 904 n h 905) n (907 y h 906 n h 907)))) n (916 y (912 y (910 y (909 y h 908 n h 909) n (911 y h 910 n h 911)) n (914 y (913 y h 912 n h 913) n (915 y h 914 n h 915))) n (920 y (918 y (917 y h 916 n h 917) n (919 y h 918 n h 919)) n (922 y (921 y h 920 n h 921) n (923 y h 922 n h 923))))) n (939 y (931 y (927 y (925 y h 924 n (926 y h 925 n h 926)) n (929 y (928 y h 927 n h 928) n (930 y h 929 n h 930))) n (935 y (933 y (932 y h 931 n h 932) n (934 y h 933 n h 934)) n (937 y (936 y h 935 n h 936) n (938 y h 937 n h 938)))) n (946 y (942 y (940 y h 939 n (941 y h 940 n h 941)) n (944 y (943 y h 942 n h 943) n (945 y h 944 n h 945))) n (947 y h 946 n (948 y h 947 n h 948))))))))  }}  solve hsr.HSRSolution {{  (127 y (63 y (31 y (15 y (7 y (3 y (1 y h 0 n (2 y h 1 n h 2)) n (5 y (4 y h 3 n h 4) n (6 y h 5 n h 6))) n (11 y (9 y (8 y h 7 n h 8) n (10 y h 9 n h 10)) n (13 y (12 y h 11 n h 12) n (14 y h 13 n h 14)))) n (23 y (19 y (17 y (16 y h 15 n h 16) n (18 y h 17 n h 18)) n (21 y (20 y h 19 n h 20) n (22 y h 21 n h 22))) n (27 y (25 y (24 y h 23 n h 24) n (26 y h 25 n h 26)) n (29 y (28 y h 27 n h 28) n (30 y h 29 n h 30))))) n (47 y (39 y (35 y (33 y (32 y h 31 n h 32) n (34 y h 33 n h 34)) n (37 y (36 y h 35 n h 36) n (38 y h 37 n h 38))) n (43 y (41 y (40 y h 39 n h 40) n (42 y h 41 n h 42)) n (45 y (44 y h 43 n h 44) n (46 y h 45 n h 46)))) n (55 y (51 y (49 y (48 y h 47 n h 48) n (50 y h 49 n h 50)) n (53 y (52 y h 51 n h 52) n (54 y h 53 n h 54))) n (59 y (57 y (56 y h 55 n h 56) n (58 y h 57 n h 58)) n (61 y (60 y h 59 n h 60) n (62 y h 61 n h 62)))))) n (95 y (79 y (71 y (67 y (65 y (64 y h 63 n h 64) n (66 y h 65 n h 66)) n (69 y (68 y h 67 n h 68) n (70 y h 69 n h 70))) n (75 y (73 y (72 y h 71 n h 72) n (74 y h 73 n h 74)) n (77 y (76 y h 75 n h 76) n (78 y h 77 n h 78)))) n (87 y (83 y (81 y (80 y h 79 n h 80) n (82 y h 81 n h 82)) n (85 y (84 y h 83 n h 84) n (86 y h 85 n h 86))) n (91 y (89 y (88 y h 87 n h 88) n (90 y h 89 n h 90)) n (93 y (92 y h 91 n h 92) n (94 y h 93 n h 94))))) n (111 y (103 y (99 y (97 y (96 y h 95 n h 96) n (98 y h 97 n h 98)) n (101 y (100 y h 99 n h 100) n (102 y h 101 n h 102))) n (107 y (105 y (104 y h 103 n h 104) n (106 y h 105 n h 106)) n (109 y (108 y h 107 n h 108) n (110 y h 109 n h 110)))) n (119 y (115 y (113 y (112 y h 111 n h 112) n (114 y h 113 n h 114)) n (117 y (116 y h 115 n h 116) n (118 y h 117 n h 118))) n (123 y (121 y (120 y h 119 n h 120) n (122 y h 121 n h 122)) n (125 y (124 y h 123 n h 124) n (126 y h 125 n h 126))))))) n (190 y (158 y (142 y (134 y (130 y (128 y h 127 n (129 y h 128 n h 129)) n (132 y (131 y h 130 n h 131) n (133 y h 132 n h 133))) n (138 y (136 y (135 y h 134 n h 135) n (137 y h 136 n h 137)) n (140 y (139 y h 138 n h 139) n (141 y h 140 n h 141)))) n (150 y (146 y (144 y (143 y h 142 n h 143) n (145 y h 144 n h 145)) n (148 y (147 y h 146 n h 147) n (149 y h 148 n h 149))) n (154 y (152 y (151 y h 150 n h 151) n (153 y h 152 n h 153)) n (156 y (155 y h 154 n h 155) n (157 y h 156 n h 157))))) n (174 y (166 y (162 y (160 y (159 y h 158 n h 159) n (161 y h 160 n h 161)) n (164 y (163 y h 162 n h 163) n (165 y h 164 n h 165))) n (170 y (168 y (167 y h 166 n h 167) n (169 y h 168 n h 169)) n (172 y (171 y h 170 n h 171) n (173 y h 172 n h 173)))) n (182 y (178 y (176 y (175 y h 174 n h 175) n (177 y h 176 n h 177)) n (180 y (179 y h 178 n h 179) n (181 y h 180 n h 181))) n (186 y (184 y (183 y h 182 n h 183) n (185 y h 184 n h 185)) n (188 y (187 y h 186 n h 187) n (189 y h 188 n h 189)))))) n (205 y (197 y (193 y (191 y h 190 n (192 y h 191 n h 192)) n (195 y (194 y h 193 n h 194) n (196 y h 195 n h 196))) n (201 y (199 y (198 y h 197 n h 198) n (200 y h 199 n h 200)) n (203 y (202 y h 201 n h 202) n (204 y h 203 n h 204)))) n (206 y h 205 n h 206))))  }}  solve hsr.HSRSolution {{  (511 y (255 y (127 y (63 y (31 y (15 y (7 y (3 y (1 y h 0 n (2 y h 1 n h 2)) n (5 y (4 y h 3 n h 4) n (6 y h 5 n h 6))) n (11 y (9 y (8 y h 7 n h 8) n (10 y h 9 n h 10)) n (13 y (12 y h 11 n h 12) n (14 y h 13 n h 14)))) n (23 y (19 y (17 y (16 y h 15 n h 16) n (18 y h 17 n h 18)) n (21 y (20 y h 19 n h 20) n (22 y h 21 n h 22))) n (27 y (25 y (24 y h 23 n h 24) n (26 y h 25 n h 26)) n (29 y (28 y h 27 n h 28) n (30 y h 29 n h 30))))) n (47 y (39 y (35 y (33 y (32 y h 31 n h 32) n (34 y h 33 n h 34)) n (37 y (36 y h 35 n h 36) n (38 y h 37 n h 38))) n (43 y (41 y (40 y h 39 n h 40) n (42 y h 41 n h 42)) n (45 y (44 y h 43 n h 44) n (46 y h 45 n h 46)))) n (55 y (51 y (49 y (48 y h 47 n h 48) n (50 y h 49 n h 50)) n (53 y (52 y h 51 n h 52) n (54 y h 53 n h 54))) n (59 y (57 y (56 y h 55 n h 56) n (58 y h 57 n h 58)) n (61 y (60 y h 59 n h 60) n (62 y h 61 n h 62)))))) n (95 y (79 y (71 y (67 y (65 y (64 y h 63 n h 64) n (66 y h 65 n h 66)) n (69 y (68 y h 67 n h 68) n (70 y h 69 n h 70))) n (75 y (73 y (72 y h 71 n h 72) n (74 y h 73 n h 74)) n (77 y (76 y h 75 n h 76) n (78 y h 77 n h 78)))) n (87 y (83 y (81 y (80 y h 79 n h 80) n (82 y h 81 n h 82)) n (85 y (84 y h 83 n h 84) n (86 y h 85 n h 86))) n (91 y (89 y (88 y h 87 n h 88) n (90 y h 89 n h 90)) n (93 y (92 y h 91 n h 92) n (94 y h 93 n h 94))))) n (111 y (103 y (99 y (97 y (96 y h 95 n h 96) n (98 y h 97 n h 98)) n (101 y (100 y h 99 n h 100) n (102 y h 101 n h 102))) n (107 y (105 y (104 y h 103 n h 104) n (106 y h 105 n h 106)) n (109 y (108 y h 107 n h 108) n (110 y h 109 n h 110)))) n (119 y (115 y (113 y (112 y h 111 n h 112) n (114 y h 113 n h 114)) n (117 y (116 y h 115 n h 116) n (118 y h 117 n h 118))) n (123 y (121 y (120 y h 119 n h 120) n (122 y h 121 n h 122)) n (125 y (124 y h 123 n h 124) n (126 y h 125 n h 126))))))) n (191 y (159 y (143 y (135 y (131 y (129 y (128 y h 127 n h 128) n (130 y h 129 n h 130)) n (133 y (132 y h 131 n h 132) n (134 y h 133 n h 134))) n (139 y (137 y (136 y h 135 n h 136) n (138 y h 137 n h 138)) n (141 y (140 y h 139 n h 140) n (142 y h 141 n h 142)))) n (151 y (147 y (145 y (144 y h 143 n h 144) n (146 y h 145 n h 146)) n (149 y (148 y h 147 n h 148) n (150 y h 149 n h 150))) n (155 y (153 y (152 y h 151 n h 152) n (154 y h 153 n h 154)) n (157 y (156 y h 155 n h 156) n (158 y h 157 n h 158))))) n (175 y (167 y (163 y (161 y (160 y h 159 n h 160) n (162 y h 161 n h 162)) n (165 y (164 y h 163 n h 164) n (166 y h 165 n h 166))) n (171 y (169 y (168 y h 167 n h 168) n (170 y h 169 n h 170)) n (173 y (172 y h 171 n h 172) n (174 y h 173 n h 174)))) n (183 y (179 y (177 y (176 y h 175 n h 176) n (178 y h 177 n h 178)) n (181 y (180 y h 179 n h 180) n (182 y h 181 n h 182))) n (187 y (185 y (184 y h 183 n h 184) n (186 y h 185 n h 186)) n (189 y (188 y h 187 n h 188) n (190 y h 189 n h 190)))))) n (223 y (207 y (199 y (195 y (193 y (192 y h 191 n h 192) n (194 y h 193 n h 194)) n (197 y (196 y h 195 n h 196) n (198 y h 197 n h 198))) n (203 y (201 y (200 y h 199 n h 200) n (202 y h 201 n h 202)) n (205 y (204 y h 203 n h 204) n (206 y h 205 n h 206)))) n (215 y (211 y (209 y (208 y h 207 n h 208) n (210 y h 209 n h 210)) n (213 y (212 y h 211 n h 212) n (214 y h 213 n h 214))) n (219 y (217 y (216 y h 215 n h 216) n (218 y h 217 n h 218)) n (221 y (220 y h 219 n h 220) n (222 y h 221 n h 222))))) n (239 y (231 y (227 y (225 y (224 y h 223 n h 224) n (226 y h 225 n h 226)) n (229 y (228 y h 227 n h 228) n (230 y h 229 n h 230))) n (235 y (233 y (232 y h 231 n h 232) n (234 y h 233 n h 234)) n (237 y (236 y h 235 n h 236) n (238 y h 237 n h 238)))) n (247 y (243 y (241 y (240 y h 239 n h 240) n (242 y h 241 n h 242)) n (245 y (244 y h 243 n h 244) n (246 y h 245 n h 246))) n (251 y (249 y (248 y h 247 n h 248) n (250 y h 249 n h 250)) n (253 y (252 y h 251 n h 252) n (254 y h 253 n h 254)))))))) n (383 y (319 y (287 y (271 y (263 y (259 y (257 y (256 y h 255 n h 256) n (258 y h 257 n h 258)) n (261 y (260 y h 259 n h 260) n (262 y h 261 n h 262))) n (267 y (265 y (264 y h 263 n h 264) n (266 y h 265 n h 266)) n (269 y (268 y h 267 n h 268) n (270 y h 269 n h 270)))) n (279 y (275 y (273 y (272 y h 271 n h 272) n (274 y h 273 n h 274)) n (277 y (276 y h 275 n h 276) n (278 y h 277 n h 278))) n (283 y (281 y (280 y h 279 n h 280) n (282 y h 281 n h 282)) n (285 y (284 y h 283 n h 284) n (286 y h 285 n h 286))))) n (303 y (295 y (291 y (289 y (288 y h 287 n h 288) n (290 y h 289 n h 290)) n (293 y (292 y h 291 n h 292) n (294 y h 293 n h 294))) n (299 y (297 y (296 y h 295 n h 296) n (298 y h 297 n h 298)) n (301 y (300 y h 299 n h 300) n (302 y h 301 n h 302)))) n (311 y (307 y (305 y (304 y h 303 n h 304) n (306 y h 305 n h 306)) n (309 y (308 y h 307 n h 308) n (310 y h 309 n h 310))) n (315 y (313 y (312 y h 311 n h 312) n (314 y h 313 n h 314)) n (317 y (316 y h 315 n h 316) n (318 y h 317 n h 318)))))) n (351 y (335 y (327 y (323 y (321 y (320 y h 319 n h 320) n (322 y h 321 n h 322)) n (325 y (324 y h 323 n h 324) n (326 y h 325 n h 326))) n (331 y (329 y (328 y h 327 n h 328) n (330 y h 329 n h 330)) n (333 y (332 y h 331 n h 332) n (334 y h 333 n h 334)))) n (343 y (339 y (337 y (336 y h 335 n h 336) n (338 y h 337 n h 338)) n (341 y (340 y h 339 n h 340) n (342 y h 341 n h 342))) n (347 y (345 y (344 y h 343 n h 344) n (346 y h 345 n h 346)) n (349 y (348 y h 347 n h 348) n (350 y h 349 n h 350))))) n (367 y (359 y (355 y (353 y (352 y h 351 n h 352) n (354 y h 353 n h 354)) n (357 y (356 y h 355 n h 356) n (358 y h 357 n h 358))) n (363 y (361 y (360 y h 359 n h 360) n (362 y h 361 n h 362)) n (365 y (364 y h 363 n h 364) n (366 y h 365 n h 366)))) n (375 y (371 y (369 y (368 y h 367 n h 368) n (370 y h 369 n h 370)) n (373 y (372 y h 371 n h 372) n (374 y h 373 n h 374))) n (379 y (377 y (376 y h 375 n h 376) n (378 y h 377 n h 378)) n (381 y (380 y h 379 n h 380) n (382 y h 381 n h 382))))))) n (447 y (415 y (399 y (391 y (387 y (385 y (384 y h 383 n h 384) n (386 y h 385 n h 386)) n (389 y (388 y h 387 n h 388) n (390 y h 389 n h 390))) n (395 y (393 y (392 y h 391 n h 392) n (394 y h 393 n h 394)) n (397 y (396 y h 395 n h 396) n (398 y h 397 n h 398)))) n (407 y (403 y (401 y (400 y h 399 n h 400) n (402 y h 401 n h 402)) n (405 y (404 y h 403 n h 404) n (406 y h 405 n h 406))) n (411 y (409 y (408 y h 407 n h 408) n (410 y h 409 n h 410)) n (413 y (412 y h 411 n h 412) n (414 y h 413 n h 414))))) n (431 y (423 y (419 y (417 y (416 y h 415 n h 416) n (418 y h 417 n h 418)) n (421 y (420 y h 419 n h 420) n (422 y h 421 n h 422))) n (427 y (425 y (424 y h 423 n h 424) n (426 y h 425 n h 426)) n (429 y (428 y h 427 n h 428) n (430 y h 429 n h 430)))) n (439 y (435 y (433 y (432 y h 431 n h 432) n (434 y h 433 n h 434)) n (437 y (436 y h 435 n h 436) n (438 y h 437 n h 438))) n (443 y (441 y (440 y h 439 n h 440) n (442 y h 441 n h 442)) n (445 y (444 y h 443 n h 444) n (446 y h 445 n h 446)))))) n (479 y (463 y (455 y (451 y (449 y (448 y h 447 n h 448) n (450 y h 449 n h 450)) n (453 y (452 y h 451 n h 452) n (454 y h 453 n h 454))) n (459 y (457 y (456 y h 455 n h 456) n (458 y h 457 n h 458)) n (461 y (460 y h 459 n h 460) n (462 y h 461 n h 462)))) n (471 y (467 y (465 y (464 y h 463 n h 464) n (466 y h 465 n h 466)) n (469 y (468 y h 467 n h 468) n (470 y h 469 n h 470))) n (475 y (473 y (472 y h 471 n h 472) n (474 y h 473 n h 474)) n (477 y (476 y h 475 n h 476) n (478 y h 477 n h 478))))) n (495 y (487 y (483 y (481 y (480 y h 479 n h 480) n (482 y h 481 n h 482)) n (485 y (484 y h 483 n h 484) n (486 y h 485 n h 486))) n (491 y (489 y (488 y h 487 n h 488) n (490 y h 489 n h 490)) n (493 y (492 y h 491 n h 492) n (494 y h 493 n h 494)))) n (503 y (499 y (497 y (496 y h 495 n h 496) n (498 y h 497 n h 498)) n (501 y (500 y h 499 n h 500) n (502 y h 501 n h 502))) n (507 y (505 y (504 y h 503 n h 504) n (506 y h 505 n h 506)) n (509 y (508 y h 507 n h 508) n (510 y h 509 n h 510))))))))) n (574 y (542 y (526 y (518 y (514 y (512 y h 511 n (513 y h 512 n h 513)) n (516 y (515 y h 514 n h 515) n (517 y h 516 n h 517))) n (522 y (520 y (519 y h 518 n h 519) n (521 y h 520 n h 521)) n (524 y (523 y h 522 n h 523) n (525 y h 524 n h 525)))) n (534 y (530 y (528 y (527 y h 526 n h 527) n (529 y h 528 n h 529)) n (532 y (531 y h 530 n h 531) n (533 y h 532 n h 533))) n (538 y (536 y (535 y h 534 n h 535) n (537 y h 536 n h 537)) n (540 y (539 y h 538 n h 539) n (541 y h 540 n h 541))))) n (558 y (550 y (546 y (544 y (543 y h 542 n h 543) n (545 y h 544 n h 545)) n (548 y (547 y h 546 n h 547) n (549 y h 548 n h 549))) n (554 y (552 y (551 y h 550 n h 551) n (553 y h 552 n h 553)) n (556 y (555 y h 554 n h 555) n (557 y h 556 n h 557)))) n (566 y (562 y (560 y (559 y h 558 n h 559) n (561 y h 560 n h 561)) n (564 y (563 y h 562 n h 563) n (565 y h 564 n h 565))) n (570 y (568 y (567 y h 566 n h 567) n (569 y h 568 n h 569)) n (572 y (571 y h 570 n h 571) n (573 y h 572 n h 573)))))) n (575 y h 574 n (576 y h 575 n h 576))))  }}  solve hsr.HSRSolution {{  (1 y h 0 n h 1)  }}  solve hsr.HSRSolution {{  (4 y (1 y h 0 n (2 y h 1 n (3 y h 2 n h 3))) n (6 y (5 y h 4 n h 5) n (7 y h 6 n h 7)))  }}  solve hsr.HSRSolution {{  (8 y (1 y h 0 n (2 y h 1 n (3 y h 2 n (4 y h 3 n (5 y h 4 n (6 y h 5 n (7 y h 6 n h 7))))))) n (15 y (9 y h 8 n (10 y h 9 n (11 y h 10 n (12 y h 11 n (13 y h 12 n (14 y h 13 n h 14)))))) n (21 y (16 y h 15 n (17 y h 16 n (18 y h 17 n (19 y h 18 n (20 y h 19 n h 20))))) n (25 y (22 y h 21 n (23 y h 22 n (24 y h 23 n h 24))) n (28 y (26 y h 25 n (27 y h 26 n h 27)) n (30 y (29 y h 28 n h 29) n (31 y h 30 n h 31)))))))  }}   
teamName  {{ belchmoney }}  
reputation 101.0

 request propose hsr.HSRInstanceSet {{   HSR(167,50)   }} scg.protocol.ForAllExistsMin {{      }} 0.059880239520958084 1.0 hsr.HSRInstanceSet {{   HSR(949,227)   }} scg.protocol.ForAllExistsMin {{      }} 0.01053740779768177 1.0 hsr.HSRInstanceSet {{   HSR(207,65)   }} scg.protocol.ForAllExistsMin {{      }} 0.04830917874396135 1.0 hsr.HSRInstanceSet {{   HSR(577,171)   }} scg.protocol.ForAllExistsMin {{      }} 0.01733102253032929 1.0 hsr.HSRInstanceSet {{   HSR(2,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(4,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(8,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(32,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.25 1.0 hsr.HSRInstanceSet {{   HSR(387,41)   }} scg.protocol.ForAllExistsMin {{      }} 0.025839793281653745 1.0 hsr.HSRInstanceSet {{   HSR(640,123)   }} scg.protocol.ForAllExistsMin {{      }} 0.015625 1.0 hsr.HSRInstanceSet {{   HSR(758,49)   }} scg.protocol.ForAllExistsMin {{      }} 0.013192612137203167 1.0 hsr.HSRInstanceSet {{   HSR(861,538)   }} scg.protocol.ForAllExistsMin {{      }} 0.011614401858304297 1.0 hsr.HSRInstanceSet {{   HSR(512,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.0625 1.0 hsr.HSRInstanceSet {{   HSR(467,2)   }} scg.protocol.ForAllExistsMin {{      }} 3.411946819821348E-5 1.0 hsr.HSRInstanceSet {{   HSR(239,2)   }} scg.protocol.ForAllExistsMin {{      }} 3.411946819821348E-5 1.0 hsr.HSRInstanceSet {{   HSR(762,2)   }} scg.protocol.ForAllExistsMin {{      }} 3.411946819821348E-5 1.0 hsr.HSRInstanceSet {{   HSR(478,114)   }} scg.protocol.ForAllExistsMin {{      }} 0.02092050209205021 1.0 hsr.HSRInstanceSet {{   HSR(248,79)   }} scg.protocol.ForAllExistsMin {{      }} 0.04032258064516129 1.0 hsr.HSRInstanceSet {{   HSR(758,679)   }} scg.protocol.ForAllExistsMin {{      }} 0.013192612137203167 1.0 hsr.HSRInstanceSet {{   HSR(618,421)   }} scg.protocol.ForAllExistsMin {{      }} 0.016181229773462782 1.0  oppose hsr.HSRInstanceSet {{   HSR(478,114)   }} scg.protocol.ForAllExistsMin {{      }} 0.02092050209205021 1.0 hsr.HSRInstanceSet {{   HSR(248,79)   }} scg.protocol.ForAllExistsMin {{      }} 0.04032258064516129 1.0 hsr.HSRInstanceSet {{   HSR(758,679)   }} scg.protocol.ForAllExistsMin {{      }} 0.013192612137203167 1.0 hsr.HSRInstanceSet {{   HSR(618,421)   }} scg.protocol.ForAllExistsMin {{      }} 0.016181229773462782 1.0  protocolRequest provide hsr.HSRInstanceSet {{   HSR(387,41)   }} scg.protocol.ForAllExistsMin {{      }} 0.025839793281653745 1.0 provide hsr.HSRInstanceSet {{   HSR(640,123)   }} scg.protocol.ForAllExistsMin {{      }} 0.015625 1.0 provide hsr.HSRInstanceSet {{   HSR(758,49)   }} scg.protocol.ForAllExistsMin {{      }} 0.013192612137203167 1.0 provide hsr.HSRInstanceSet {{   HSR(861,538)   }} scg.protocol.ForAllExistsMin {{      }} 0.011614401858304297 1.0  
reply propose hsr.HSRInstanceSet {{   HSR(836,2)   }} scg.protocol.ForAllExistsMin {{      }} 3.411946819821348E-5 1.0 hsr.HSRInstanceSet {{   HSR(294,2)   }} scg.protocol.ForAllExistsMin {{      }} 3.411946819821348E-5 1.0 hsr.HSRInstanceSet {{   HSR(888,2)   }} scg.protocol.ForAllExistsMin {{      }} 3.411946819821348E-5 1.0 hsr.HSRInstanceSet {{   HSR(510,2)   }} scg.protocol.ForAllExistsMin {{      }} 3.411946819821348E-5 1.0  oppose refuting refuting refuting refuting  protocolResponse provide hsr.HSRInstance {{  HSR(387,41)  }}  provide hsr.HSRInstance {{  HSR(640,123)  }}  provide hsr.HSRInstance {{  HSR(758,49)  }}  provide hsr.HSRInstance {{  HSR(861,538)  }}   
teamName  {{ nobackbone }}  
reputation 95.0

 request propose hsr.HSRInstanceSet {{   HSR(167,50)   }} scg.protocol.ForAllExistsMin {{      }} 0.059880239520958084 1.0 hsr.HSRInstanceSet {{   HSR(949,227)   }} scg.protocol.ForAllExistsMin {{      }} 0.01053740779768177 1.0 hsr.HSRInstanceSet {{   HSR(207,65)   }} scg.protocol.ForAllExistsMin {{      }} 0.04830917874396135 1.0 hsr.HSRInstanceSet {{   HSR(577,171)   }} scg.protocol.ForAllExistsMin {{      }} 0.01733102253032929 1.0 hsr.HSRInstanceSet {{   HSR(2,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(4,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(8,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(32,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.25 1.0 hsr.HSRInstanceSet {{   HSR(387,41)   }} scg.protocol.ForAllExistsMin {{      }} 0.025839793281653745 1.0 hsr.HSRInstanceSet {{   HSR(640,123)   }} scg.protocol.ForAllExistsMin {{      }} 0.015625 1.0 hsr.HSRInstanceSet {{   HSR(758,49)   }} scg.protocol.ForAllExistsMin {{      }} 0.013192612137203167 1.0 hsr.HSRInstanceSet {{   HSR(861,538)   }} scg.protocol.ForAllExistsMin {{      }} 0.011614401858304297 1.0 hsr.HSRInstanceSet {{   HSR(512,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.0625 1.0 hsr.HSRInstanceSet {{   HSR(467,2)   }} scg.protocol.ForAllExistsMin {{      }} 3.411946819821348E-5 1.0 hsr.HSRInstanceSet {{   HSR(239,2)   }} scg.protocol.ForAllExistsMin {{      }} 3.411946819821348E-5 1.0 hsr.HSRInstanceSet {{   HSR(762,2)   }} scg.protocol.ForAllExistsMin {{      }} 3.411946819821348E-5 1.0 hsr.HSRInstanceSet {{   HSR(478,114)   }} scg.protocol.ForAllExistsMin {{      }} 0.02092050209205021 1.0 hsr.HSRInstanceSet {{   HSR(248,79)   }} scg.protocol.ForAllExistsMin {{      }} 0.04032258064516129 1.0 hsr.HSRInstanceSet {{   HSR(758,679)   }} scg.protocol.ForAllExistsMin {{      }} 0.013192612137203167 1.0 hsr.HSRInstanceSet {{   HSR(618,421)   }} scg.protocol.ForAllExistsMin {{      }} 0.016181229773462782 1.0 hsr.HSRInstanceSet {{   HSR(836,2)   }} scg.protocol.ForAllExistsMin {{      }} 3.411946819821348E-5 1.0 hsr.HSRInstanceSet {{   HSR(294,2)   }} scg.protocol.ForAllExistsMin {{      }} 3.411946819821348E-5 1.0 hsr.HSRInstanceSet {{   HSR(888,2)   }} scg.protocol.ForAllExistsMin {{      }} 3.411946819821348E-5 1.0 hsr.HSRInstanceSet {{   HSR(510,2)   }} scg.protocol.ForAllExistsMin {{      }} 3.411946819821348E-5 1.0  oppose hsr.HSRInstanceSet {{   HSR(836,2)   }} scg.protocol.ForAllExistsMin {{      }} 3.411946819821348E-5 1.0 hsr.HSRInstanceSet {{   HSR(294,2)   }} scg.protocol.ForAllExistsMin {{      }} 3.411946819821348E-5 1.0 hsr.HSRInstanceSet {{   HSR(888,2)   }} scg.protocol.ForAllExistsMin {{      }} 3.411946819821348E-5 1.0 hsr.HSRInstanceSet {{   HSR(510,2)   }} scg.protocol.ForAllExistsMin {{      }} 3.411946819821348E-5 1.0  protocolRequest provide hsr.HSRInstanceSet {{   HSR(512,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.0625 1.0 provide hsr.HSRInstanceSet {{   HSR(467,2)   }} scg.protocol.ForAllExistsMin {{      }} 3.411946819821348E-5 1.0 provide hsr.HSRInstanceSet {{   HSR(239,2)   }} scg.protocol.ForAllExistsMin {{      }} 3.411946819821348E-5 1.0 provide hsr.HSRInstanceSet {{   HSR(762,2)   }} scg.protocol.ForAllExistsMin {{      }} 3.411946819821348E-5 1.0 solve hsr.HSRInstance {{ HSR(387,41) }} hsr.HSRInstanceSet {{   HSR(387,41)   }} scg.protocol.ForAllExistsMin {{      }} 0.025839793281653745 1.0 solve hsr.HSRInstance {{ HSR(640,123) }} hsr.HSRInstanceSet {{   HSR(640,123)   }} scg.protocol.ForAllExistsMin {{      }} 0.015625 1.0 solve hsr.HSRInstance {{ HSR(758,49) }} hsr.HSRInstanceSet {{   HSR(758,49)   }} scg.protocol.ForAllExistsMin {{      }} 0.013192612137203167 1.0 solve hsr.HSRInstance {{ HSR(861,538) }} hsr.HSRInstanceSet {{   HSR(861,538)   }} scg.protocol.ForAllExistsMin {{      }} 0.011614401858304297 1.0  
reply propose hsr.HSRInstanceSet {{   HSR(719,598)   }} scg.protocol.ForAllExistsMin {{      }} 0.013908205841446454 1.0 hsr.HSRInstanceSet {{   HSR(705,642)   }} scg.protocol.ForAllExistsMin {{      }} 0.014184397163120567 1.0 hsr.HSRInstanceSet {{   HSR(72,63)   }} scg.protocol.ForAllExistsMin {{      }} 0.1388888888888889 1.0 hsr.HSRInstanceSet {{   HSR(40,36)   }} scg.protocol.ForAllExistsMin {{      }} 0.25 1.0  oppose refuting refuting refuting refuting  protocolResponse provide hsr.HSRInstance {{  HSR(512,2)  }}  provide hsr.HSRInstance {{  HSR(467,2)  }}  provide hsr.HSRInstance {{  HSR(239,2)  }}  provide hsr.HSRInstance {{  HSR(762,2)  }}  solve hsr.HSRSolution {{  (255 y (127 y (63 y (31 y (15 y (7 y (3 y (1 y h 0 n (2 y h 1 n h 2)) n (5 y (4 y h 3 n h 4) n (6 y h 5 n h 6))) n (11 y (9 y (8 y h 7 n h 8) n (10 y h 9 n h 10)) n (13 y (12 y h 11 n h 12) n (14 y h 13 n h 14)))) n (23 y (19 y (17 y (16 y h 15 n h 16) n (18 y h 17 n h 18)) n (21 y (20 y h 19 n h 20) n (22 y h 21 n h 22))) n (27 y (25 y (24 y h 23 n h 24) n (26 y h 25 n h 26)) n (29 y (28 y h 27 n h 28) n (30 y h 29 n h 30))))) n (47 y (39 y (35 y (33 y (32 y h 31 n h 32) n (34 y h 33 n h 34)) n (37 y (36 y h 35 n h 36) n (38 y h 37 n h 38))) n (43 y (41 y (40 y h 39 n h 40) n (42 y h 41 n h 42)) n (45 y (44 y h 43 n h 44) n (46 y h 45 n h 46)))) n (55 y (51 y (49 y (48 y h 47 n h 48) n (50 y h 49 n h 50)) n (53 y (52 y h 51 n h 52) n (54 y h 53 n h 54))) n (59 y (57 y (56 y h 55 n h 56) n (58 y h 57 n h 58)) n (61 y (60 y h 59 n h 60) n (62 y h 61 n h 62)))))) n (95 y (79 y (71 y (67 y (65 y (64 y h 63 n h 64) n (66 y h 65 n h 66)) n (69 y (68 y h 67 n h 68) n (70 y h 69 n h 70))) n (75 y (73 y (72 y h 71 n h 72) n (74 y h 73 n h 74)) n (77 y (76 y h 75 n h 76) n (78 y h 77 n h 78)))) n (87 y (83 y (81 y (80 y h 79 n h 80) n (82 y h 81 n h 82)) n (85 y (84 y h 83 n h 84) n (86 y h 85 n h 86))) n (91 y (89 y (88 y h 87 n h 88) n (90 y h 89 n h 90)) n (93 y (92 y h 91 n h 92) n (94 y h 93 n h 94))))) n (111 y (103 y (99 y (97 y (96 y h 95 n h 96) n (98 y h 97 n h 98)) n (101 y (100 y h 99 n h 100) n (102 y h 101 n h 102))) n (107 y (105 y (104 y h 103 n h 104) n (106 y h 105 n h 106)) n (109 y (108 y h 107 n h 108) n (110 y h 109 n h 110)))) n (119 y (115 y (113 y (112 y h 111 n h 112) n (114 y h 113 n h 114)) n (117 y (116 y h 115 n h 116) n (118 y h 117 n h 118))) n (123 y (121 y (120 y h 119 n h 120) n (122 y h 121 n h 122)) n (125 y (124 y h 123 n h 124) n (126 y h 125 n h 126))))))) n (191 y (159 y (143 y (135 y (131 y (129 y (128 y h 127 n h 128) n (130 y h 129 n h 130)) n (133 y (132 y h 131 n h 132) n (134 y h 133 n h 134))) n (139 y (137 y (136 y h 135 n h 136) n (138 y h 137 n h 138)) n (141 y (140 y h 139 n h 140) n (142 y h 141 n h 142)))) n (151 y (147 y (145 y (144 y h 143 n h 144) n (146 y h 145 n h 146)) n (149 y (148 y h 147 n h 148) n (150 y h 149 n h 150))) n (155 y (153 y (152 y h 151 n h 152) n (154 y h 153 n h 154)) n (157 y (156 y h 155 n h 156) n (158 y h 157 n h 158))))) n (175 y (167 y (163 y (161 y (160 y h 159 n h 160) n (162 y h 161 n h 162)) n (165 y (164 y h 163 n h 164) n (166 y h 165 n h 166))) n (171 y (169 y (168 y h 167 n h 168) n (170 y h 169 n h 170)) n (173 y (172 y h 171 n h 172) n (174 y h 173 n h 174)))) n (183 y (179 y (177 y (176 y h 175 n h 176) n (178 y h 177 n h 178)) n (181 y (180 y h 179 n h 180) n (182 y h 181 n h 182))) n (187 y (185 y (184 y h 183 n h 184) n (186 y h 185 n h 186)) n (189 y (188 y h 187 n h 188) n (190 y h 189 n h 190)))))) n (223 y (207 y (199 y (195 y (193 y (192 y h 191 n h 192) n (194 y h 193 n h 194)) n (197 y (196 y h 195 n h 196) n (198 y h 197 n h 198))) n (203 y (201 y (200 y h 199 n h 200) n (202 y h 201 n h 202)) n (205 y (204 y h 203 n h 204) n (206 y h 205 n h 206)))) n (215 y (211 y (209 y (208 y h 207 n h 208) n (210 y h 209 n h 210)) n (213 y (212 y h 211 n h 212) n (214 y h 213 n h 214))) n (219 y (217 y (216 y h 215 n h 216) n (218 y h 217 n h 218)) n (221 y (220 y h 219 n h 220) n (222 y h 221 n h 222))))) n (239 y (231 y (227 y (225 y (224 y h 223 n h 224) n (226 y h 225 n h 226)) n (229 y (228 y h 227 n h 228) n (230 y h 229 n h 230))) n (235 y (233 y (232 y h 231 n h 232) n (234 y h 233 n h 234)) n (237 y (236 y h 235 n h 236) n (238 y h 237 n h 238)))) n (247 y (243 y (241 y (240 y h 239 n h 240) n (242 y h 241 n h 242)) n (245 y (244 y h 243 n h 244) n (246 y h 245 n h 246))) n (251 y (249 y (248 y h 247 n h 248) n (250 y h 249 n h 250)) n (253 y (252 y h 251 n h 252) n (254 y h 253 n h 254)))))))) n (382 y (318 y (286 y (270 y (262 y (258 y (256 y h 255 n (257 y h 256 n h 257)) n (260 y (259 y h 258 n h 259) n (261 y h 260 n h 261))) n (266 y (264 y (263 y h 262 n h 263) n (265 y h 264 n h 265)) n (268 y (267 y h 266 n h 267) n (269 y h 268 n h 269)))) n (278 y (274 y (272 y (271 y h 270 n h 271) n (273 y h 272 n h 273)) n (276 y (275 y h 274 n h 275) n (277 y h 276 n h 277))) n (282 y (280 y (279 y h 278 n h 279) n (281 y h 280 n h 281)) n (284 y (283 y h 282 n h 283) n (285 y h 284 n h 285))))) n (302 y (294 y (290 y (288 y (287 y h 286 n h 287) n (289 y h 288 n h 289)) n (292 y (291 y h 290 n h 291) n (293 y h 292 n h 293))) n (298 y (296 y (295 y h 294 n h 295) n (297 y h 296 n h 297)) n (300 y (299 y h 298 n h 299) n (301 y h 300 n h 301)))) n (310 y (306 y (304 y (303 y h 302 n h 303) n (305 y h 304 n h 305)) n (308 y (307 y h 306 n h 307) n (309 y h 308 n h 309))) n (314 y (312 y (311 y h 310 n h 311) n (313 y h 312 n h 313)) n (316 y (315 y h 314 n h 315) n (317 y h 316 n h 317)))))) n (350 y (334 y (326 y (322 y (320 y (319 y h 318 n h 319) n (321 y h 320 n h 321)) n (324 y (323 y h 322 n h 323) n (325 y h 324 n h 325))) n (330 y (328 y (327 y h 326 n h 327) n (329 y h 328 n h 329)) n (332 y (331 y h 330 n h 331) n (333 y h 332 n h 333)))) n (342 y (338 y (336 y (335 y h 334 n h 335) n (337 y h 336 n h 337)) n (340 y (339 y h 338 n h 339) n (341 y h 340 n h 341))) n (346 y (344 y (343 y h 342 n h 343) n (345 y h 344 n h 345)) n (348 y (347 y h 346 n h 347) n (349 y h 348 n h 349))))) n (366 y (358 y (354 y (352 y (351 y h 350 n h 351) n (353 y h 352 n h 353)) n (356 y (355 y h 354 n h 355) n (357 y h 356 n h 357))) n (362 y (360 y (359 y h 358 n h 359) n (361 y h 360 n h 361)) n (364 y (363 y h 362 n h 363) n (365 y h 364 n h 365)))) n (374 y (370 y (368 y (367 y h 366 n h 367) n (369 y h 368 n h 369)) n (372 y (371 y h 370 n h 371) n (373 y h 372 n h 373))) n (378 y (376 y (375 y h 374 n h 375) n (377 y h 376 n h 377)) n (380 y (379 y h 378 n h 379) n (381 y h 380 n h 381))))))) n (385 y (383 y h 382 n (384 y h 383 n h 384)) n (386 y h 385 n h 386))))  }}  solve hsr.HSRSolution {{  (511 y (255 y (127 y (63 y (31 y (15 y (7 y (3 y (1 y h 0 n (2 y h 1 n h 2)) n (5 y (4 y h 3 n h 4) n (6 y h 5 n h 6))) n (11 y (9 y (8 y h 7 n h 8) n (10 y h 9 n h 10)) n (13 y (12 y h 11 n h 12) n (14 y h 13 n h 14)))) n (23 y (19 y (17 y (16 y h 15 n h 16) n (18 y h 17 n h 18)) n (21 y (20 y h 19 n h 20) n (22 y h 21 n h 22))) n (27 y (25 y (24 y h 23 n h 24) n (26 y h 25 n h 26)) n (29 y (28 y h 27 n h 28) n (30 y h 29 n h 30))))) n (47 y (39 y (35 y (33 y (32 y h 31 n h 32) n (34 y h 33 n h 34)) n (37 y (36 y h 35 n h 36) n (38 y h 37 n h 38))) n (43 y (41 y (40 y h 39 n h 40) n (42 y h 41 n h 42)) n (45 y (44 y h 43 n h 44) n (46 y h 45 n h 46)))) n (55 y (51 y (49 y (48 y h 47 n h 48) n (50 y h 49 n h 50)) n (53 y (52 y h 51 n h 52) n (54 y h 53 n h 54))) n (59 y (57 y (56 y h 55 n h 56) n (58 y h 57 n h 58)) n (61 y (60 y h 59 n h 60) n (62 y h 61 n h 62)))))) n (95 y (79 y (71 y (67 y (65 y (64 y h 63 n h 64) n (66 y h 65 n h 66)) n (69 y (68 y h 67 n h 68) n (70 y h 69 n h 70))) n (75 y (73 y (72 y h 71 n h 72) n (74 y h 73 n h 74)) n (77 y (76 y h 75 n h 76) n (78 y h 77 n h 78)))) n (87 y (83 y (81 y (80 y h 79 n h 80) n (82 y h 81 n h 82)) n (85 y (84 y h 83 n h 84) n (86 y h 85 n h 86))) n (91 y (89 y (88 y h 87 n h 88) n (90 y h 89 n h 90)) n (93 y (92 y h 91 n h 92) n (94 y h 93 n h 94))))) n (111 y (103 y (99 y (97 y (96 y h 95 n h 96) n (98 y h 97 n h 98)) n (101 y (100 y h 99 n h 100) n (102 y h 101 n h 102))) n (107 y (105 y (104 y h 103 n h 104) n (106 y h 105 n h 106)) n (109 y (108 y h 107 n h 108) n (110 y h 109 n h 110)))) n (119 y (115 y (113 y (112 y h 111 n h 112) n (114 y h 113 n h 114)) n (117 y (116 y h 115 n h 116) n (118 y h 117 n h 118))) n (123 y (121 y (120 y h 119 n h 120) n (122 y h 121 n h 122)) n (125 y (124 y h 123 n h 124) n (126 y h 125 n h 126))))))) n (191 y (159 y (143 y (135 y (131 y (129 y (128 y h 127 n h 128) n (130 y h 129 n h 130)) n (133 y (132 y h 131 n h 132) n (134 y h 133 n h 134))) n (139 y (137 y (136 y h 135 n h 136) n (138 y h 137 n h 138)) n (141 y (140 y h 139 n h 140) n (142 y h 141 n h 142)))) n (151 y (147 y (145 y (144 y h 143 n h 144) n (146 y h 145 n h 146)) n (149 y (148 y h 147 n h 148) n (150 y h 149 n h 150))) n (155 y (153 y (152 y h 151 n h 152) n (154 y h 153 n h 154)) n (157 y (156 y h 155 n h 156) n (158 y h 157 n h 158))))) n (175 y (167 y (163 y (161 y (160 y h 159 n h 160) n (162 y h 161 n h 162)) n (165 y (164 y h 163 n h 164) n (166 y h 165 n h 166))) n (171 y (169 y (168 y h 167 n h 168) n (170 y h 169 n h 170)) n (173 y (172 y h 171 n h 172) n (174 y h 173 n h 174)))) n (183 y (179 y (177 y (176 y h 175 n h 176) n (178 y h 177 n h 178)) n (181 y (180 y h 179 n h 180) n (182 y h 181 n h 182))) n (187 y (185 y (184 y h 183 n h 184) n (186 y h 185 n h 186)) n (189 y (188 y h 187 n h 188) n (190 y h 189 n h 190)))))) n (223 y (207 y (199 y (195 y (193 y (192 y h 191 n h 192) n (194 y h 193 n h 194)) n (197 y (196 y h 195 n h 196) n (198 y h 197 n h 198))) n (203 y (201 y (200 y h 199 n h 200) n (202 y h 201 n h 202)) n (205 y (204 y h 203 n h 204) n (206 y h 205 n h 206)))) n (215 y (211 y (209 y (208 y h 207 n h 208) n (210 y h 209 n h 210)) n (213 y (212 y h 211 n h 212) n (214 y h 213 n h 214))) n (219 y (217 y (216 y h 215 n h 216) n (218 y h 217 n h 218)) n (221 y (220 y h 219 n h 220) n (222 y h 221 n h 222))))) n (239 y (231 y (227 y (225 y (224 y h 223 n h 224) n (226 y h 225 n h 226)) n (229 y (228 y h 227 n h 228) n (230 y h 229 n h 230))) n (235 y (233 y (232 y h 231 n h 232) n (234 y h 233 n h 234)) n (237 y (236 y h 235 n h 236) n (238 y h 237 n h 238)))) n (247 y (243 y (241 y (240 y h 239 n h 240) n (242 y h 241 n h 242)) n (245 y (244 y h 243 n h 244) n (246 y h 245 n h 246))) n (251 y (249 y (248 y h 247 n h 248) n (250 y h 249 n h 250)) n (253 y (252 y h 251 n h 252) n (254 y h 253 n h 254)))))))) n (383 y (319 y (287 y (271 y (263 y (259 y (257 y (256 y h 255 n h 256) n (258 y h 257 n h 258)) n (261 y (260 y h 259 n h 260) n (262 y h 261 n h 262))) n (267 y (265 y (264 y h 263 n h 264) n (266 y h 265 n h 266)) n (269 y (268 y h 267 n h 268) n (270 y h 269 n h 270)))) n (279 y (275 y (273 y (272 y h 271 n h 272) n (274 y h 273 n h 274)) n (277 y (276 y h 275 n h 276) n (278 y h 277 n h 278))) n (283 y (281 y (280 y h 279 n h 280) n (282 y h 281 n h 282)) n (285 y (284 y h 283 n h 284) n (286 y h 285 n h 286))))) n (303 y (295 y (291 y (289 y (288 y h 287 n h 288) n (290 y h 289 n h 290)) n (293 y (292 y h 291 n h 292) n (294 y h 293 n h 294))) n (299 y (297 y (296 y h 295 n h 296) n (298 y h 297 n h 298)) n (301 y (300 y h 299 n h 300) n (302 y h 301 n h 302)))) n (311 y (307 y (305 y (304 y h 303 n h 304) n (306 y h 305 n h 306)) n (309 y (308 y h 307 n h 308) n (310 y h 309 n h 310))) n (315 y (313 y (312 y h 311 n h 312) n (314 y h 313 n h 314)) n (317 y (316 y h 315 n h 316) n (318 y h 317 n h 318)))))) n (351 y (335 y (327 y (323 y (321 y (320 y h 319 n h 320) n (322 y h 321 n h 322)) n (325 y (324 y h 323 n h 324) n (326 y h 325 n h 326))) n (331 y (329 y (328 y h 327 n h 328) n (330 y h 329 n h 330)) n (333 y (332 y h 331 n h 332) n (334 y h 333 n h 334)))) n (343 y (339 y (337 y (336 y h 335 n h 336) n (338 y h 337 n h 338)) n (341 y (340 y h 339 n h 340) n (342 y h 341 n h 342))) n (347 y (345 y (344 y h 343 n h 344) n (346 y h 345 n h 346)) n (349 y (348 y h 347 n h 348) n (350 y h 349 n h 350))))) n (367 y (359 y (355 y (353 y (352 y h 351 n h 352) n (354 y h 353 n h 354)) n (357 y (356 y h 355 n h 356) n (358 y h 357 n h 358))) n (363 y (361 y (360 y h 359 n h 360) n (362 y h 361 n h 362)) n (365 y (364 y h 363 n h 364) n (366 y h 365 n h 366)))) n (375 y (371 y (369 y (368 y h 367 n h 368) n (370 y h 369 n h 370)) n (373 y (372 y h 371 n h 372) n (374 y h 373 n h 374))) n (379 y (377 y (376 y h 375 n h 376) n (378 y h 377 n h 378)) n (381 y (380 y h 379 n h 380) n (382 y h 381 n h 382))))))) n (447 y (415 y (399 y (391 y (387 y (385 y (384 y h 383 n h 384) n (386 y h 385 n h 386)) n (389 y (388 y h 387 n h 388) n (390 y h 389 n h 390))) n (395 y (393 y (392 y h 391 n h 392) n (394 y h 393 n h 394)) n (397 y (396 y h 395 n h 396) n (398 y h 397 n h 398)))) n (407 y (403 y (401 y (400 y h 399 n h 400) n (402 y h 401 n h 402)) n (405 y (404 y h 403 n h 404) n (406 y h 405 n h 406))) n (411 y (409 y (408 y h 407 n h 408) n (410 y h 409 n h 410)) n (413 y (412 y h 411 n h 412) n (414 y h 413 n h 414))))) n (431 y (423 y (419 y (417 y (416 y h 415 n h 416) n (418 y h 417 n h 418)) n (421 y (420 y h 419 n h 420) n (422 y h 421 n h 422))) n (427 y (425 y (424 y h 423 n h 424) n (426 y h 425 n h 426)) n (429 y (428 y h 427 n h 428) n (430 y h 429 n h 430)))) n (439 y (435 y (433 y (432 y h 431 n h 432) n (434 y h 433 n h 434)) n (437 y (436 y h 435 n h 436) n (438 y h 437 n h 438))) n (443 y (441 y (440 y h 439 n h 440) n (442 y h 441 n h 442)) n (445 y (444 y h 443 n h 444) n (446 y h 445 n h 446)))))) n (479 y (463 y (455 y (451 y (449 y (448 y h 447 n h 448) n (450 y h 449 n h 450)) n (453 y (452 y h 451 n h 452) n (454 y h 453 n h 454))) n (459 y (457 y (456 y h 455 n h 456) n (458 y h 457 n h 458)) n (461 y (460 y h 459 n h 460) n (462 y h 461 n h 462)))) n (471 y (467 y (465 y (464 y h 463 n h 464) n (466 y h 465 n h 466)) n (469 y (468 y h 467 n h 468) n (470 y h 469 n h 470))) n (475 y (473 y (472 y h 471 n h 472) n (474 y h 473 n h 474)) n (477 y (476 y h 475 n h 476) n (478 y h 477 n h 478))))) n (495 y (487 y (483 y (481 y (480 y h 479 n h 480) n (482 y h 481 n h 482)) n (485 y (484 y h 483 n h 484) n (486 y h 485 n h 486))) n (491 y (489 y (488 y h 487 n h 488) n (490 y h 489 n h 490)) n (493 y (492 y h 491 n h 492) n (494 y h 493 n h 494)))) n (503 y (499 y (497 y (496 y h 495 n h 496) n (498 y h 497 n h 498)) n (501 y (500 y h 499 n h 500) n (502 y h 501 n h 502))) n (507 y (505 y (504 y h 503 n h 504) n (506 y h 505 n h 506)) n (509 y (508 y h 507 n h 508) n (510 y h 509 n h 510))))))))) n (638 y (574 y (542 y (526 y (518 y (514 y (512 y h 511 n (513 y h 512 n h 513)) n (516 y (515 y h 514 n h 515) n (517 y h 516 n h 517))) n (522 y (520 y (519 y h 518 n h 519) n (521 y h 520 n h 521)) n (524 y (523 y h 522 n h 523) n (525 y h 524 n h 525)))) n (534 y (530 y (528 y (527 y h 526 n h 527) n (529 y h 528 n h 529)) n (532 y (531 y h 530 n h 531) n (533 y h 532 n h 533))) n (538 y (536 y (535 y h 534 n h 535) n (537 y h 536 n h 537)) n (540 y (539 y h 538 n h 539) n (541 y h 540 n h 541))))) n (558 y (550 y (546 y (544 y (543 y h 542 n h 543) n (545 y h 544 n h 545)) n (548 y (547 y h 546 n h 547) n (549 y h 548 n h 549))) n (554 y (552 y (551 y h 550 n h 551) n (553 y h 552 n h 553)) n (556 y (555 y h 554 n h 555) n (557 y h 556 n h 557)))) n (566 y (562 y (560 y (559 y h 558 n h 559) n (561 y h 560 n h 561)) n (564 y (563 y h 562 n h 563) n (565 y h 564 n h 565))) n (570 y (568 y (567 y h 566 n h 567) n (569 y h 568 n h 569)) n (572 y (571 y h 570 n h 571) n (573 y h 572 n h 573)))))) n (606 y (590 y (582 y (578 y (576 y (575 y h 574 n h 575) n (577 y h 576 n h 577)) n (580 y (579 y h 578 n h 579) n (581 y h 580 n h 581))) n (586 y (584 y (583 y h 582 n h 583) n (585 y h 584 n h 585)) n (588 y (587 y h 586 n h 587) n (589 y h 588 n h 589)))) n (598 y (594 y (592 y (591 y h 590 n h 591) n (593 y h 592 n h 593)) n (596 y (595 y h 594 n h 595) n (597 y h 596 n h 597))) n (602 y (600 y (599 y h 598 n h 599) n (601 y h 600 n h 601)) n (604 y (603 y h 602 n h 603) n (605 y h 604 n h 605))))) n (622 y (614 y (610 y (608 y (607 y h 606 n h 607) n (609 y h 608 n h 609)) n (612 y (611 y h 610 n h 611) n (613 y h 612 n h 613))) n (618 y (616 y (615 y h 614 n h 615) n (617 y h 616 n h 617)) n (620 y (619 y h 618 n h 619) n (621 y h 620 n h 621)))) n (630 y (626 y (624 y (623 y h 622 n h 623) n (625 y h 624 n h 625)) n (628 y (627 y h 626 n h 627) n (629 y h 628 n h 629))) n (634 y (632 y (631 y h 630 n h 631) n (633 y h 632 n h 633)) n (636 y (635 y h 634 n h 635) n (637 y h 636 n h 637))))))) n (639 y h 638 n h 639)))  }}  solve hsr.HSRSolution {{  (511 y (255 y (127 y (63 y (31 y (15 y (7 y (3 y (1 y h 0 n (2 y h 1 n h 2)) n (5 y (4 y h 3 n h 4) n (6 y h 5 n h 6))) n (11 y (9 y (8 y h 7 n h 8) n (10 y h 9 n h 10)) n (13 y (12 y h 11 n h 12) n (14 y h 13 n h 14)))) n (23 y (19 y (17 y (16 y h 15 n h 16) n (18 y h 17 n h 18)) n (21 y (20 y h 19 n h 20) n (22 y h 21 n h 22))) n (27 y (25 y (24 y h 23 n h 24) n (26 y h 25 n h 26)) n (29 y (28 y h 27 n h 28) n (30 y h 29 n h 30))))) n (47 y (39 y (35 y (33 y (32 y h 31 n h 32) n (34 y h 33 n h 34)) n (37 y (36 y h 35 n h 36) n (38 y h 37 n h 38))) n (43 y (41 y (40 y h 39 n h 40) n (42 y h 41 n h 42)) n (45 y (44 y h 43 n h 44) n (46 y h 45 n h 46)))) n (55 y (51 y (49 y (48 y h 47 n h 48) n (50 y h 49 n h 50)) n (53 y (52 y h 51 n h 52) n (54 y h 53 n h 54))) n (59 y (57 y (56 y h 55 n h 56) n (58 y h 57 n h 58)) n (61 y (60 y h 59 n h 60) n (62 y h 61 n h 62)))))) n (95 y (79 y (71 y (67 y (65 y (64 y h 63 n h 64) n (66 y h 65 n h 66)) n (69 y (68 y h 67 n h 68) n (70 y h 69 n h 70))) n (75 y (73 y (72 y h 71 n h 72) n (74 y h 73 n h 74)) n (77 y (76 y h 75 n h 76) n (78 y h 77 n h 78)))) n (87 y (83 y (81 y (80 y h 79 n h 80) n (82 y h 81 n h 82)) n (85 y (84 y h 83 n h 84) n (86 y h 85 n h 86))) n (91 y (89 y (88 y h 87 n h 88) n (90 y h 89 n h 90)) n (93 y (92 y h 91 n h 92) n (94 y h 93 n h 94))))) n (111 y (103 y (99 y (97 y (96 y h 95 n h 96) n (98 y h 97 n h 98)) n (101 y (100 y h 99 n h 100) n (102 y h 101 n h 102))) n (107 y (105 y (104 y h 103 n h 104) n (106 y h 105 n h 106)) n (109 y (108 y h 107 n h 108) n (110 y h 109 n h 110)))) n (119 y (115 y (113 y (112 y h 111 n h 112) n (114 y h 113 n h 114)) n (117 y (116 y h 115 n h 116) n (118 y h 117 n h 118))) n (123 y (121 y (120 y h 119 n h 120) n (122 y h 121 n h 122)) n (125 y (124 y h 123 n h 124) n (126 y h 125 n h 126))))))) n (191 y (159 y (143 y (135 y (131 y (129 y (128 y h 127 n h 128) n (130 y h 129 n h 130)) n (133 y (132 y h 131 n h 132) n (134 y h 133 n h 134))) n (139 y (137 y (136 y h 135 n h 136) n (138 y h 137 n h 138)) n (141 y (140 y h 139 n h 140) n (142 y h 141 n h 142)))) n (151 y (147 y (145 y (144 y h 143 n h 144) n (146 y h 145 n h 146)) n (149 y (148 y h 147 n h 148) n (150 y h 149 n h 150))) n (155 y (153 y (152 y h 151 n h 152) n (154 y h 153 n h 154)) n (157 y (156 y h 155 n h 156) n (158 y h 157 n h 158))))) n (175 y (167 y (163 y (161 y (160 y h 159 n h 160) n (162 y h 161 n h 162)) n (165 y (164 y h 163 n h 164) n (166 y h 165 n h 166))) n (171 y (169 y (168 y h 167 n h 168) n (170 y h 169 n h 170)) n (173 y (172 y h 171 n h 172) n (174 y h 173 n h 174)))) n (183 y (179 y (177 y (176 y h 175 n h 176) n (178 y h 177 n h 178)) n (181 y (180 y h 179 n h 180) n (182 y h 181 n h 182))) n (187 y (185 y (184 y h 183 n h 184) n (186 y h 185 n h 186)) n (189 y (188 y h 187 n h 188) n (190 y h 189 n h 190)))))) n (223 y (207 y (199 y (195 y (193 y (192 y h 191 n h 192) n (194 y h 193 n h 194)) n (197 y (196 y h 195 n h 196) n (198 y h 197 n h 198))) n (203 y (201 y (200 y h 199 n h 200) n (202 y h 201 n h 202)) n (205 y (204 y h 203 n h 204) n (206 y h 205 n h 206)))) n (215 y (211 y (209 y (208 y h 207 n h 208) n (210 y h 209 n h 210)) n (213 y (212 y h 211 n h 212) n (214 y h 213 n h 214))) n (219 y (217 y (216 y h 215 n h 216) n (218 y h 217 n h 218)) n (221 y (220 y h 219 n h 220) n (222 y h 221 n h 222))))) n (239 y (231 y (227 y (225 y (224 y h 223 n h 224) n (226 y h 225 n h 226)) n (229 y (228 y h 227 n h 228) n (230 y h 229 n h 230))) n (235 y (233 y (232 y h 231 n h 232) n (234 y h 233 n h 234)) n (237 y (236 y h 235 n h 236) n (238 y h 237 n h 238)))) n (247 y (243 y (241 y (240 y h 239 n h 240) n (242 y h 241 n h 242)) n (245 y (244 y h 243 n h 244) n (246 y h 245 n h 246))) n (251 y (249 y (248 y h 247 n h 248) n (250 y h 249 n h 250)) n (253 y (252 y h 251 n h 252) n (254 y h 253 n h 254)))))))) n (383 y (319 y (287 y (271 y (263 y (259 y (257 y (256 y h 255 n h 256) n (258 y h 257 n h 258)) n (261 y (260 y h 259 n h 260) n (262 y h 261 n h 262))) n (267 y (265 y (264 y h 263 n h 264) n (266 y h 265 n h 266)) n (269 y (268 y h 267 n h 268) n (270 y h 269 n h 270)))) n (279 y (275 y (273 y (272 y h 271 n h 272) n (274 y h 273 n h 274)) n (277 y (276 y h 275 n h 276) n (278 y h 277 n h 278))) n (283 y (281 y (280 y h 279 n h 280) n (282 y h 281 n h 282)) n (285 y (284 y h 283 n h 284) n (286 y h 285 n h 286))))) n (303 y (295 y (291 y (289 y (288 y h 287 n h 288) n (290 y h 289 n h 290)) n (293 y (292 y h 291 n h 292) n (294 y h 293 n h 294))) n (299 y (297 y (296 y h 295 n h 296) n (298 y h 297 n h 298)) n (301 y (300 y h 299 n h 300) n (302 y h 301 n h 302)))) n (311 y (307 y (305 y (304 y h 303 n h 304) n (306 y h 305 n h 306)) n (309 y (308 y h 307 n h 308) n (310 y h 309 n h 310))) n (315 y (313 y (312 y h 311 n h 312) n (314 y h 313 n h 314)) n (317 y (316 y h 315 n h 316) n (318 y h 317 n h 318)))))) n (351 y (335 y (327 y (323 y (321 y (320 y h 319 n h 320) n (322 y h 321 n h 322)) n (325 y (324 y h 323 n h 324) n (326 y h 325 n h 326))) n (331 y (329 y (328 y h 327 n h 328) n (330 y h 329 n h 330)) n (333 y (332 y h 331 n h 332) n (334 y h 333 n h 334)))) n (343 y (339 y (337 y (336 y h 335 n h 336) n (338 y h 337 n h 338)) n (341 y (340 y h 339 n h 340) n (342 y h 341 n h 342))) n (347 y (345 y (344 y h 343 n h 344) n (346 y h 345 n h 346)) n (349 y (348 y h 347 n h 348) n (350 y h 349 n h 350))))) n (367 y (359 y (355 y (353 y (352 y h 351 n h 352) n (354 y h 353 n h 354)) n (357 y (356 y h 355 n h 356) n (358 y h 357 n h 358))) n (363 y (361 y (360 y h 359 n h 360) n (362 y h 361 n h 362)) n (365 y (364 y h 363 n h 364) n (366 y h 365 n h 366)))) n (375 y (371 y (369 y (368 y h 367 n h 368) n (370 y h 369 n h 370)) n (373 y (372 y h 371 n h 372) n (374 y h 373 n h 374))) n (379 y (377 y (376 y h 375 n h 376) n (378 y h 377 n h 378)) n (381 y (380 y h 379 n h 380) n (382 y h 381 n h 382))))))) n (447 y (415 y (399 y (391 y (387 y (385 y (384 y h 383 n h 384) n (386 y h 385 n h 386)) n (389 y (388 y h 387 n h 388) n (390 y h 389 n h 390))) n (395 y (393 y (392 y h 391 n h 392) n (394 y h 393 n h 394)) n (397 y (396 y h 395 n h 396) n (398 y h 397 n h 398)))) n (407 y (403 y (401 y (400 y h 399 n h 400) n (402 y h 401 n h 402)) n (405 y (404 y h 403 n h 404) n (406 y h 405 n h 406))) n (411 y (409 y (408 y h 407 n h 408) n (410 y h 409 n h 410)) n (413 y (412 y h 411 n h 412) n (414 y h 413 n h 414))))) n (431 y (423 y (419 y (417 y (416 y h 415 n h 416) n (418 y h 417 n h 418)) n (421 y (420 y h 419 n h 420) n (422 y h 421 n h 422))) n (427 y (425 y (424 y h 423 n h 424) n (426 y h 425 n h 426)) n (429 y (428 y h 427 n h 428) n (430 y h 429 n h 430)))) n (439 y (435 y (433 y (432 y h 431 n h 432) n (434 y h 433 n h 434)) n (437 y (436 y h 435 n h 436) n (438 y h 437 n h 438))) n (443 y (441 y (440 y h 439 n h 440) n (442 y h 441 n h 442)) n (445 y (444 y h 443 n h 444) n (446 y h 445 n h 446)))))) n (479 y (463 y (455 y (451 y (449 y (448 y h 447 n h 448) n (450 y h 449 n h 450)) n (453 y (452 y h 451 n h 452) n (454 y h 453 n h 454))) n (459 y (457 y (456 y h 455 n h 456) n (458 y h 457 n h 458)) n (461 y (460 y h 459 n h 460) n (462 y h 461 n h 462)))) n (471 y (467 y (465 y (464 y h 463 n h 464) n (466 y h 465 n h 466)) n (469 y (468 y h 467 n h 468) n (470 y h 469 n h 470))) n (475 y (473 y (472 y h 471 n h 472) n (474 y h 473 n h 474)) n (477 y (476 y h 475 n h 476) n (478 y h 477 n h 478))))) n (495 y (487 y (483 y (481 y (480 y h 479 n h 480) n (482 y h 481 n h 482)) n (485 y (484 y h 483 n h 484) n (486 y h 485 n h 486))) n (491 y (489 y (488 y h 487 n h 488) n (490 y h 489 n h 490)) n (493 y (492 y h 491 n h 492) n (494 y h 493 n h 494)))) n (503 y (499 y (497 y (496 y h 495 n h 496) n (498 y h 497 n h 498)) n (501 y (500 y h 499 n h 500) n (502 y h 501 n h 502))) n (507 y (505 y (504 y h 503 n h 504) n (506 y h 505 n h 506)) n (509 y (508 y h 507 n h 508) n (510 y h 509 n h 510))))))))) n (638 y (574 y (542 y (526 y (518 y (514 y (512 y h 511 n (513 y h 512 n h 513)) n (516 y (515 y h 514 n h 515) n (517 y h 516 n h 517))) n (522 y (520 y (519 y h 518 n h 519) n (521 y h 520 n h 521)) n (524 y (523 y h 522 n h 523) n (525 y h 524 n h 525)))) n (534 y (530 y (528 y (527 y h 526 n h 527) n (529 y h 528 n h 529)) n (532 y (531 y h 530 n h 531) n (533 y h 532 n h 533))) n (538 y (536 y (535 y h 534 n h 535) n (537 y h 536 n h 537)) n (540 y (539 y h 538 n h 539) n (541 y h 540 n h 541))))) n (558 y (550 y (546 y (544 y (543 y h 542 n h 543) n (545 y h 544 n h 545)) n (548 y (547 y h 546 n h 547) n (549 y h 548 n h 549))) n (554 y (552 y (551 y h 550 n h 551) n (553 y h 552 n h 553)) n (556 y (555 y h 554 n h 555) n (557 y h 556 n h 557)))) n (566 y (562 y (560 y (559 y h 558 n h 559) n (561 y h 560 n h 561)) n (564 y (563 y h 562 n h 563) n (565 y h 564 n h 565))) n (570 y (568 y (567 y h 566 n h 567) n (569 y h 568 n h 569)) n (572 y (571 y h 570 n h 571) n (573 y h 572 n h 573)))))) n (606 y (590 y (582 y (578 y (576 y (575 y h 574 n h 575) n (577 y h 576 n h 577)) n (580 y (579 y h 578 n h 579) n (581 y h 580 n h 581))) n (586 y (584 y (583 y h 582 n h 583) n (585 y h 584 n h 585)) n (588 y (587 y h 586 n h 587) n (589 y h 588 n h 589)))) n (598 y (594 y (592 y (591 y h 590 n h 591) n (593 y h 592 n h 593)) n (596 y (595 y h 594 n h 595) n (597 y h 596 n h 597))) n (602 y (600 y (599 y h 598 n h 599) n (601 y h 600 n h 601)) n (604 y (603 y h 602 n h 603) n (605 y h 604 n h 605))))) n (622 y (614 y (610 y (608 y (607 y h 606 n h 607) n (609 y h 608 n h 609)) n (612 y (611 y h 610 n h 611) n (613 y h 612 n h 613))) n (618 y (616 y (615 y h 614 n h 615) n (617 y h 616 n h 617)) n (620 y (619 y h 618 n h 619) n (621 y h 620 n h 621)))) n (630 y (626 y (624 y (623 y h 622 n h 623) n (625 y h 624 n h 625)) n (628 y (627 y h 626 n h 627) n (629 y h 628 n h 629))) n (634 y (632 y (631 y h 630 n h 631) n (633 y h 632 n h 633)) n (636 y (635 y h 634 n h 635) n (637 y h 636 n h 637))))))) n (701 y (669 y (653 y (645 y (641 y (639 y h 638 n (640 y h 639 n h 640)) n (643 y (642 y h 641 n h 642) n (644 y h 643 n h 644))) n (649 y (647 y (646 y h 645 n h 646) n (648 y h 647 n h 648)) n (651 y (650 y h 649 n h 650) n (652 y h 651 n h 652)))) n (661 y (657 y (655 y (654 y h 653 n h 654) n (656 y h 655 n h 656)) n (659 y (658 y h 657 n h 658) n (660 y h 659 n h 660))) n (665 y (663 y (662 y h 661 n h 662) n (664 y h 663 n h 664)) n (667 y (666 y h 665 n h 666) n (668 y h 667 n h 668))))) n (685 y (677 y (673 y (671 y (670 y h 669 n h 670) n (672 y h 671 n h 672)) n (675 y (674 y h 673 n h 674) n (676 y h 675 n h 676))) n (681 y (679 y (678 y h 677 n h 678) n (680 y h 679 n h 680)) n (683 y (682 y h 681 n h 682) n (684 y h 683 n h 684)))) n (693 y (689 y (687 y (686 y h 685 n h 686) n (688 y h 687 n h 688)) n (691 y (690 y h 689 n h 690) n (692 y h 691 n h 692))) n (697 y (695 y (694 y h 693 n h 694) n (696 y h 695 n h 696)) n (699 y (698 y h 697 n h 698) n (700 y h 699 n h 700)))))) n (732 y (716 y (708 y (704 y (702 y h 701 n (703 y h 702 n h 703)) n (706 y (705 y h 704 n h 705) n (707 y h 706 n h 707))) n (712 y (710 y (709 y h 708 n h 709) n (711 y h 710 n h 711)) n (714 y (713 y h 712 n h 713) n (715 y h 714 n h 715)))) n (724 y (720 y (718 y (717 y h 716 n h 717) n (719 y h 718 n h 719)) n (722 y (721 y h 720 n h 721) n (723 y h 722 n h 723))) n (728 y (726 y (725 y h 724 n h 725) n (727 y h 726 n h 727)) n (730 y (729 y h 728 n h 729) n (731 y h 730 n h 731))))) n (747 y (739 y (735 y (733 y h 732 n (734 y h 733 n h 734)) n (737 y (736 y h 735 n h 736) n (738 y h 737 n h 738))) n (743 y (741 y (740 y h 739 n h 740) n (742 y h 741 n h 742)) n (745 y (744 y h 743 n h 744) n (746 y h 745 n h 746)))) n (754 y (750 y (748 y h 747 n (749 y h 748 n h 749)) n (752 y (751 y h 750 n h 751) n (753 y h 752 n h 753))) n (756 y (755 y h 754 n h 755) n (757 y h 756 n h 757))))))))  }}  solve hsr.HSRSolution {{  (511 y (255 y (127 y (63 y (31 y (15 y (7 y (3 y (1 y h 0 n (2 y h 1 n h 2)) n (5 y (4 y h 3 n h 4) n (6 y h 5 n h 6))) n (11 y (9 y (8 y h 7 n h 8) n (10 y h 9 n h 10)) n (13 y (12 y h 11 n h 12) n (14 y h 13 n h 14)))) n (23 y (19 y (17 y (16 y h 15 n h 16) n (18 y h 17 n h 18)) n (21 y (20 y h 19 n h 20) n (22 y h 21 n h 22))) n (27 y (25 y (24 y h 23 n h 24) n (26 y h 25 n h 26)) n (29 y (28 y h 27 n h 28) n (30 y h 29 n h 30))))) n (47 y (39 y (35 y (33 y (32 y h 31 n h 32) n (34 y h 33 n h 34)) n (37 y (36 y h 35 n h 36) n (38 y h 37 n h 38))) n (43 y (41 y (40 y h 39 n h 40) n (42 y h 41 n h 42)) n (45 y (44 y h 43 n h 44) n (46 y h 45 n h 46)))) n (55 y (51 y (49 y (48 y h 47 n h 48) n (50 y h 49 n h 50)) n (53 y (52 y h 51 n h 52) n (54 y h 53 n h 54))) n (59 y (57 y (56 y h 55 n h 56) n (58 y h 57 n h 58)) n (61 y (60 y h 59 n h 60) n (62 y h 61 n h 62)))))) n (95 y (79 y (71 y (67 y (65 y (64 y h 63 n h 64) n (66 y h 65 n h 66)) n (69 y (68 y h 67 n h 68) n (70 y h 69 n h 70))) n (75 y (73 y (72 y h 71 n h 72) n (74 y h 73 n h 74)) n (77 y (76 y h 75 n h 76) n (78 y h 77 n h 78)))) n (87 y (83 y (81 y (80 y h 79 n h 80) n (82 y h 81 n h 82)) n (85 y (84 y h 83 n h 84) n (86 y h 85 n h 86))) n (91 y (89 y (88 y h 87 n h 88) n (90 y h 89 n h 90)) n (93 y (92 y h 91 n h 92) n (94 y h 93 n h 94))))) n (111 y (103 y (99 y (97 y (96 y h 95 n h 96) n (98 y h 97 n h 98)) n (101 y (100 y h 99 n h 100) n (102 y h 101 n h 102))) n (107 y (105 y (104 y h 103 n h 104) n (106 y h 105 n h 106)) n (109 y (108 y h 107 n h 108) n (110 y h 109 n h 110)))) n (119 y (115 y (113 y (112 y h 111 n h 112) n (114 y h 113 n h 114)) n (117 y (116 y h 115 n h 116) n (118 y h 117 n h 118))) n (123 y (121 y (120 y h 119 n h 120) n (122 y h 121 n h 122)) n (125 y (124 y h 123 n h 124) n (126 y h 125 n h 126))))))) n (191 y (159 y (143 y (135 y (131 y (129 y (128 y h 127 n h 128) n (130 y h 129 n h 130)) n (133 y (132 y h 131 n h 132) n (134 y h 133 n h 134))) n (139 y (137 y (136 y h 135 n h 136) n (138 y h 137 n h 138)) n (141 y (140 y h 139 n h 140) n (142 y h 141 n h 142)))) n (151 y (147 y (145 y (144 y h 143 n h 144) n (146 y h 145 n h 146)) n (149 y (148 y h 147 n h 148) n (150 y h 149 n h 150))) n (155 y (153 y (152 y h 151 n h 152) n (154 y h 153 n h 154)) n (157 y (156 y h 155 n h 156) n (158 y h 157 n h 158))))) n (175 y (167 y (163 y (161 y (160 y h 159 n h 160) n (162 y h 161 n h 162)) n (165 y (164 y h 163 n h 164) n (166 y h 165 n h 166))) n (171 y (169 y (168 y h 167 n h 168) n (170 y h 169 n h 170)) n (173 y (172 y h 171 n h 172) n (174 y h 173 n h 174)))) n (183 y (179 y (177 y (176 y h 175 n h 176) n (178 y h 177 n h 178)) n (181 y (180 y h 179 n h 180) n (182 y h 181 n h 182))) n (187 y (185 y (184 y h 183 n h 184) n (186 y h 185 n h 186)) n (189 y (188 y h 187 n h 188) n (190 y h 189 n h 190)))))) n (223 y (207 y (199 y (195 y (193 y (192 y h 191 n h 192) n (194 y h 193 n h 194)) n (197 y (196 y h 195 n h 196) n (198 y h 197 n h 198))) n (203 y (201 y (200 y h 199 n h 200) n (202 y h 201 n h 202)) n (205 y (204 y h 203 n h 204) n (206 y h 205 n h 206)))) n (215 y (211 y (209 y (208 y h 207 n h 208) n (210 y h 209 n h 210)) n (213 y (212 y h 211 n h 212) n (214 y h 213 n h 214))) n (219 y (217 y (216 y h 215 n h 216) n (218 y h 217 n h 218)) n (221 y (220 y h 219 n h 220) n (222 y h 221 n h 222))))) n (239 y (231 y (227 y (225 y (224 y h 223 n h 224) n (226 y h 225 n h 226)) n (229 y (228 y h 227 n h 228) n (230 y h 229 n h 230))) n (235 y (233 y (232 y h 231 n h 232) n (234 y h 233 n h 234)) n (237 y (236 y h 235 n h 236) n (238 y h 237 n h 238)))) n (247 y (243 y (241 y (240 y h 239 n h 240) n (242 y h 241 n h 242)) n (245 y (244 y h 243 n h 244) n (246 y h 245 n h 246))) n (251 y (249 y (248 y h 247 n h 248) n (250 y h 249 n h 250)) n (253 y (252 y h 251 n h 252) n (254 y h 253 n h 254)))))))) n (383 y (319 y (287 y (271 y (263 y (259 y (257 y (256 y h 255 n h 256) n (258 y h 257 n h 258)) n (261 y (260 y h 259 n h 260) n (262 y h 261 n h 262))) n (267 y (265 y (264 y h 263 n h 264) n (266 y h 265 n h 266)) n (269 y (268 y h 267 n h 268) n (270 y h 269 n h 270)))) n (279 y (275 y (273 y (272 y h 271 n h 272) n (274 y h 273 n h 274)) n (277 y (276 y h 275 n h 276) n (278 y h 277 n h 278))) n (283 y (281 y (280 y h 279 n h 280) n (282 y h 281 n h 282)) n (285 y (284 y h 283 n h 284) n (286 y h 285 n h 286))))) n (303 y (295 y (291 y (289 y (288 y h 287 n h 288) n (290 y h 289 n h 290)) n (293 y (292 y h 291 n h 292) n (294 y h 293 n h 294))) n (299 y (297 y (296 y h 295 n h 296) n (298 y h 297 n h 298)) n (301 y (300 y h 299 n h 300) n (302 y h 301 n h 302)))) n (311 y (307 y (305 y (304 y h 303 n h 304) n (306 y h 305 n h 306)) n (309 y (308 y h 307 n h 308) n (310 y h 309 n h 310))) n (315 y (313 y (312 y h 311 n h 312) n (314 y h 313 n h 314)) n (317 y (316 y h 315 n h 316) n (318 y h 317 n h 318)))))) n (351 y (335 y (327 y (323 y (321 y (320 y h 319 n h 320) n (322 y h 321 n h 322)) n (325 y (324 y h 323 n h 324) n (326 y h 325 n h 326))) n (331 y (329 y (328 y h 327 n h 328) n (330 y h 329 n h 330)) n (333 y (332 y h 331 n h 332) n (334 y h 333 n h 334)))) n (343 y (339 y (337 y (336 y h 335 n h 336) n (338 y h 337 n h 338)) n (341 y (340 y h 339 n h 340) n (342 y h 341 n h 342))) n (347 y (345 y (344 y h 343 n h 344) n (346 y h 345 n h 346)) n (349 y (348 y h 347 n h 348) n (350 y h 349 n h 350))))) n (367 y (359 y (355 y (353 y (352 y h 351 n h 352) n (354 y h 353 n h 354)) n (357 y (356 y h 355 n h 356) n (358 y h 357 n h 358))) n (363 y (361 y (360 y h 359 n h 360) n (362 y h 361 n h 362)) n (365 y (364 y h 363 n h 364) n (366 y h 365 n h 366)))) n (375 y (371 y (369 y (368 y h 367 n h 368) n (370 y h 369 n h 370)) n (373 y (372 y h 371 n h 372) n (374 y h 373 n h 374))) n (379 y (377 y (376 y h 375 n h 376) n (378 y h 377 n h 378)) n (381 y (380 y h 379 n h 380) n (382 y h 381 n h 382))))))) n (447 y (415 y (399 y (391 y (387 y (385 y (384 y h 383 n h 384) n (386 y h 385 n h 386)) n (389 y (388 y h 387 n h 388) n (390 y h 389 n h 390))) n (395 y (393 y (392 y h 391 n h 392) n (394 y h 393 n h 394)) n (397 y (396 y h 395 n h 396) n (398 y h 397 n h 398)))) n (407 y (403 y (401 y (400 y h 399 n h 400) n (402 y h 401 n h 402)) n (405 y (404 y h 403 n h 404) n (406 y h 405 n h 406))) n (411 y (409 y (408 y h 407 n h 408) n (410 y h 409 n h 410)) n (413 y (412 y h 411 n h 412) n (414 y h 413 n h 414))))) n (431 y (423 y (419 y (417 y (416 y h 415 n h 416) n (418 y h 417 n h 418)) n (421 y (420 y h 419 n h 420) n (422 y h 421 n h 422))) n (427 y (425 y (424 y h 423 n h 424) n (426 y h 425 n h 426)) n (429 y (428 y h 427 n h 428) n (430 y h 429 n h 430)))) n (439 y (435 y (433 y (432 y h 431 n h 432) n (434 y h 433 n h 434)) n (437 y (436 y h 435 n h 436) n (438 y h 437 n h 438))) n (443 y (441 y (440 y h 439 n h 440) n (442 y h 441 n h 442)) n (445 y (444 y h 443 n h 444) n (446 y h 445 n h 446)))))) n (479 y (463 y (455 y (451 y (449 y (448 y h 447 n h 448) n (450 y h 449 n h 450)) n (453 y (452 y h 451 n h 452) n (454 y h 453 n h 454))) n (459 y (457 y (456 y h 455 n h 456) n (458 y h 457 n h 458)) n (461 y (460 y h 459 n h 460) n (462 y h 461 n h 462)))) n (471 y (467 y (465 y (464 y h 463 n h 464) n (466 y h 465 n h 466)) n (469 y (468 y h 467 n h 468) n (470 y h 469 n h 470))) n (475 y (473 y (472 y h 471 n h 472) n (474 y h 473 n h 474)) n (477 y (476 y h 475 n h 476) n (478 y h 477 n h 478))))) n (495 y (487 y (483 y (481 y (480 y h 479 n h 480) n (482 y h 481 n h 482)) n (485 y (484 y h 483 n h 484) n (486 y h 485 n h 486))) n (491 y (489 y (488 y h 487 n h 488) n (490 y h 489 n h 490)) n (493 y (492 y h 491 n h 492) n (494 y h 493 n h 494)))) n (503 y (499 y (497 y (496 y h 495 n h 496) n (498 y h 497 n h 498)) n (501 y (500 y h 499 n h 500) n (502 y h 501 n h 502))) n (507 y (505 y (504 y h 503 n h 504) n (506 y h 505 n h 506)) n (509 y (508 y h 507 n h 508) n (510 y h 509 n h 510))))))))) n (766 y (638 y (574 y (542 y (526 y (518 y (514 y (512 y h 511 n (513 y h 512 n h 513)) n (516 y (515 y h 514 n h 515) n (517 y h 516 n h 517))) n (522 y (520 y (519 y h 518 n h 519) n (521 y h 520 n h 521)) n (524 y (523 y h 522 n h 523) n (525 y h 524 n h 525)))) n (534 y (530 y (528 y (527 y h 526 n h 527) n (529 y h 528 n h 529)) n (532 y (531 y h 530 n h 531) n (533 y h 532 n h 533))) n (538 y (536 y (535 y h 534 n h 535) n (537 y h 536 n h 537)) n (540 y (539 y h 538 n h 539) n (541 y h 540 n h 541))))) n (558 y (550 y (546 y (544 y (543 y h 542 n h 543) n (545 y h 544 n h 545)) n (548 y (547 y h 546 n h 547) n (549 y h 548 n h 549))) n (554 y (552 y (551 y h 550 n h 551) n (553 y h 552 n h 553)) n (556 y (555 y h 554 n h 555) n (557 y h 556 n h 557)))) n (566 y (562 y (560 y (559 y h 558 n h 559) n (561 y h 560 n h 561)) n (564 y (563 y h 562 n h 563) n (565 y h 564 n h 565))) n (570 y (568 y (567 y h 566 n h 567) n (569 y h 568 n h 569)) n (572 y (571 y h 570 n h 571) n (573 y h 572 n h 573)))))) n (606 y (590 y (582 y (578 y (576 y (575 y h 574 n h 575) n (577 y h 576 n h 577)) n (580 y (579 y h 578 n h 579) n (581 y h 580 n h 581))) n (586 y (584 y (583 y h 582 n h 583) n (585 y h 584 n h 585)) n (588 y (587 y h 586 n h 587) n (589 y h 588 n h 589)))) n (598 y (594 y (592 y (591 y h 590 n h 591) n (593 y h 592 n h 593)) n (596 y (595 y h 594 n h 595) n (597 y h 596 n h 597))) n (602 y (600 y (599 y h 598 n h 599) n (601 y h 600 n h 601)) n (604 y (603 y h 602 n h 603) n (605 y h 604 n h 605))))) n (622 y (614 y (610 y (608 y (607 y h 606 n h 607) n (609 y h 608 n h 609)) n (612 y (611 y h 610 n h 611) n (613 y h 612 n h 613))) n (618 y (616 y (615 y h 614 n h 615) n (617 y h 616 n h 617)) n (620 y (619 y h 618 n h 619) n (621 y h 620 n h 621)))) n (630 y (626 y (624 y (623 y h 622 n h 623) n (625 y h 624 n h 625)) n (628 y (627 y h 626 n h 627) n (629 y h 628 n h 629))) n (634 y (632 y (631 y h 630 n h 631) n (633 y h 632 n h 633)) n (636 y (635 y h 634 n h 635) n (637 y h 636 n h 637))))))) n (702 y (670 y (654 y (646 y (642 y (640 y (639 y h 638 n h 639) n (641 y h 640 n h 641)) n (644 y (643 y h 642 n h 643) n (645 y h 644 n h 645))) n (650 y (648 y (647 y h 646 n h 647) n (649 y h 648 n h 649)) n (652 y (651 y h 650 n h 651) n (653 y h 652 n h 653)))) n (662 y (658 y (656 y (655 y h 654 n h 655) n (657 y h 656 n h 657)) n (660 y (659 y h 658 n h 659) n (661 y h 660 n h 661))) n (666 y (664 y (663 y h 662 n h 663) n (665 y h 664 n h 665)) n (668 y (667 y h 666 n h 667) n (669 y h 668 n h 669))))) n (686 y (678 y (674 y (672 y (671 y h 670 n h 671) n (673 y h 672 n h 673)) n (676 y (675 y h 674 n h 675) n (677 y h 676 n h 677))) n (682 y (680 y (679 y h 678 n h 679) n (681 y h 680 n h 681)) n (684 y (683 y h 682 n h 683) n (685 y h 684 n h 685)))) n (694 y (690 y (688 y (687 y h 686 n h 687) n (689 y h 688 n h 689)) n (692 y (691 y h 690 n h 691) n (693 y h 692 n h 693))) n (698 y (696 y (695 y h 694 n h 695) n (697 y h 696 n h 697)) n (700 y (699 y h 698 n h 699) n (701 y h 700 n h 701)))))) n (734 y (718 y (710 y (706 y (704 y (703 y h 702 n h 703) n (705 y h 704 n h 705)) n (708 y (707 y h 706 n h 707) n (709 y h 708 n h 709))) n (714 y (712 y (711 y h 710 n h 711) n (713 y h 712 n h 713)) n (716 y (715 y h 714 n h 715) n (717 y h 716 n h 717)))) n (726 y (722 y (720 y (719 y h 718 n h 719) n (721 y h 720 n h 721)) n (724 y (723 y h 722 n h 723) n (725 y h 724 n h 725))) n (730 y (728 y (727 y h 726 n h 727) n (729 y h 728 n h 729)) n (732 y (731 y h 730 n h 731) n (733 y h 732 n h 733))))) n (750 y (742 y (738 y (736 y (735 y h 734 n h 735) n (737 y h 736 n h 737)) n (740 y (739 y h 738 n h 739) n (741 y h 740 n h 741))) n (746 y (744 y (743 y h 742 n h 743) n (745 y h 744 n h 745)) n (748 y (747 y h 746 n h 747) n (749 y h 748 n h 749)))) n (758 y (754 y (752 y (751 y h 750 n h 751) n (753 y h 752 n h 753)) n (756 y (755 y h 754 n h 755) n (757 y h 756 n h 757))) n (762 y (760 y (759 y h 758 n h 759) n (761 y h 760 n h 761)) n (764 y (763 y h 762 n h 763) n (765 y h 764 n h 765)))))))) n (829 y (797 y (781 y (773 y (769 y (767 y h 766 n (768 y h 767 n h 768)) n (771 y (770 y h 769 n h 770) n (772 y h 771 n h 772))) n (777 y (775 y (774 y h 773 n h 774) n (776 y h 775 n h 776)) n (779 y (778 y h 777 n h 778) n (780 y h 779 n h 780)))) n (789 y (785 y (783 y (782 y h 781 n h 782) n (784 y h 783 n h 784)) n (787 y (786 y h 785 n h 786) n (788 y h 787 n h 788))) n (793 y (791 y (790 y h 789 n h 790) n (792 y h 791 n h 792)) n (795 y (794 y h 793 n h 794) n (796 y h 795 n h 796))))) n (813 y (805 y (801 y (799 y (798 y h 797 n h 798) n (800 y h 799 n h 800)) n (803 y (802 y h 801 n h 802) n (804 y h 803 n h 804))) n (809 y (807 y (806 y h 805 n h 806) n (808 y h 807 n h 808)) n (811 y (810 y h 809 n h 810) n (812 y h 811 n h 812)))) n (821 y (817 y (815 y (814 y h 813 n h 814) n (816 y h 815 n h 816)) n (819 y (818 y h 817 n h 818) n (820 y h 819 n h 820))) n (825 y (823 y (822 y h 821 n h 822) n (824 y h 823 n h 824)) n (827 y (826 y h 825 n h 826) n (828 y h 827 n h 828)))))) n (845 y (837 y (833 y (831 y (830 y h 829 n h 830) n (832 y h 831 n h 832)) n (835 y (834 y h 833 n h 834) n (836 y h 835 n h 836))) n (841 y (839 y (838 y h 837 n h 838) n (840 y h 839 n h 840)) n (843 y (842 y h 841 n h 842) n (844 y h 843 n h 844)))) n (853 y (849 y (847 y (846 y h 845 n h 846) n (848 y h 847 n h 848)) n (851 y (850 y h 849 n h 850) n (852 y h 851 n h 852))) n (857 y (855 y (854 y h 853 n h 854) n (856 y h 855 n h 856)) n (859 y (858 y h 857 n h 858) n (860 y h 859 n h 860))))))))  }}   
teamName  {{ belchmoney }}  
reputation 105.0

  
 {{ belchmoney }}  109.0
 {{ nobackbone }}  91.0