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