request propose oppose protocolRequest reply propose hsr.HSRInstanceSet {{ HSR(373,478) }} scg.protocol.ForAllExistsMin {{ }} 0.024128686327077747 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(8,2) }} scg.protocol.ForAllExistsMin {{ }} 0.375 1.0 oppose protocolResponse teamName {{ nobackbone }} reputation 100.0 request propose hsr.HSRInstanceSet {{ HSR(373,478) }} scg.protocol.ForAllExistsMin {{ }} 0.024128686327077747 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(8,2) }} scg.protocol.ForAllExistsMin {{ }} 0.375 1.0 oppose hsr.HSRInstanceSet {{ HSR(373,478) }} scg.protocol.ForAllExistsMin {{ }} 0.024128686327077747 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(8,2) }} scg.protocol.ForAllExistsMin {{ }} 0.375 1.0 protocolRequest reply propose hsr.HSRInstanceSet {{ HSR(18,15) }} scg.protocol.ForAllExistsMin {{ }} 0.6111111111111112 1.0 hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0 hsr.HSRInstanceSet {{ HSR(9,6) }} scg.protocol.ForAllExistsMin {{ }} 0.4444444444444444 1.0 hsr.HSRInstanceSet {{ HSR(19,17) }} scg.protocol.ForAllExistsMin {{ }} 0.15789473684210525 1.0 oppose strengthening 0.024128685327077747 refuting strengthening 0.499999999 refuting protocolResponse teamName {{ babyavatar }} reputation 100.0 request propose hsr.HSRInstanceSet {{ HSR(373,478) }} scg.protocol.ForAllExistsMin {{ }} 0.024128686327077747 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(8,2) }} scg.protocol.ForAllExistsMin {{ }} 0.375 1.0 hsr.HSRInstanceSet {{ HSR(18,15) }} scg.protocol.ForAllExistsMin {{ }} 0.6111111111111112 1.0 hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0 hsr.HSRInstanceSet {{ HSR(9,6) }} scg.protocol.ForAllExistsMin {{ }} 0.4444444444444444 1.0 hsr.HSRInstanceSet {{ HSR(19,17) }} scg.protocol.ForAllExistsMin {{ }} 0.15789473684210525 1.0 oppose hsr.HSRInstanceSet {{ HSR(18,15) }} scg.protocol.ForAllExistsMin {{ }} 0.6111111111111112 1.0 hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0 hsr.HSRInstanceSet {{ HSR(9,6) }} scg.protocol.ForAllExistsMin {{ }} 0.4444444444444444 1.0 hsr.HSRInstanceSet {{ HSR(19,17) }} scg.protocol.ForAllExistsMin {{ }} 0.15789473684210525 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(373,478) }} scg.protocol.ForAllExistsMin {{ }} 0.024128685327077747 1.0 provide hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.499999999 1.0 reply propose hsr.HSRInstanceSet {{ HSR(16,2) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 hsr.HSRInstanceSet {{ HSR(32,2) }} scg.protocol.ForAllExistsMin {{ }} 0.15625 1.0 hsr.HSRInstanceSet {{ HSR(64,2) }} scg.protocol.ForAllExistsMin {{ }} 0.09375 1.0 hsr.HSRInstanceSet {{ HSR(128,2) }} scg.protocol.ForAllExistsMin {{ }} 0.0546875 1.0 oppose strengthening 0.2777777777777778 strengthening 0.42857142857142855 agree refuting protocolResponse provide hsr.HSRInstance {{ HSR(373,478) }} provide hsr.HSRInstance {{ HSR(4,2) }} teamName {{ nobackbone }} reputation 100.0 request propose hsr.HSRInstanceSet {{ HSR(373,478) }} scg.protocol.ForAllExistsMin {{ }} 0.024128686327077747 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(8,2) }} scg.protocol.ForAllExistsMin {{ }} 0.375 1.0 hsr.HSRInstanceSet {{ HSR(18,15) }} scg.protocol.ForAllExistsMin {{ }} 0.6111111111111112 1.0 hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0 hsr.HSRInstanceSet {{ HSR(9,6) }} scg.protocol.ForAllExistsMin {{ }} 0.4444444444444444 1.0 hsr.HSRInstanceSet {{ HSR(19,17) }} scg.protocol.ForAllExistsMin {{ }} 0.15789473684210525 1.0 hsr.HSRInstanceSet {{ HSR(16,2) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 hsr.HSRInstanceSet {{ HSR(32,2) }} scg.protocol.ForAllExistsMin {{ }} 0.15625 1.0 hsr.HSRInstanceSet {{ HSR(64,2) }} scg.protocol.ForAllExistsMin {{ }} 0.09375 1.0 hsr.HSRInstanceSet {{ HSR(128,2) }} scg.protocol.ForAllExistsMin {{ }} 0.0546875 1.0 oppose hsr.HSRInstanceSet {{ HSR(16,2) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 hsr.HSRInstanceSet {{ HSR(32,2) }} scg.protocol.ForAllExistsMin {{ }} 0.15625 1.0 hsr.HSRInstanceSet {{ HSR(64,2) }} scg.protocol.ForAllExistsMin {{ }} 0.09375 1.0 hsr.HSRInstanceSet {{ HSR(128,2) }} scg.protocol.ForAllExistsMin {{ }} 0.0546875 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 provide hsr.HSRInstanceSet {{ HSR(8,2) }} scg.protocol.ForAllExistsMin {{ }} 0.375 1.0 provide hsr.HSRInstanceSet {{ HSR(18,15) }} scg.protocol.ForAllExistsMin {{ }} 0.2777777777777778 1.0 provide hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 provide hsr.HSRInstanceSet {{ HSR(9,6) }} scg.protocol.ForAllExistsMin {{ }} 0.4444444444444444 1.0 solve hsr.HSRInstance {{ HSR(373,478) }} hsr.HSRInstanceSet {{ HSR(373,478) }} scg.protocol.ForAllExistsMin {{ }} 0.024128685327077747 1.0 solve hsr.HSRInstance {{ HSR(4,2) }} hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.499999999 1.0 reply propose hsr.HSRInstanceSet {{ HSR(20,2) }} scg.protocol.ForAllExistsMin {{ }} 0.65 1.0 hsr.HSRInstanceSet {{ HSR(21,6) }} scg.protocol.ForAllExistsMin {{ }} 0.2857142857142857 1.0 hsr.HSRInstanceSet {{ HSR(6,3) }} scg.protocol.ForAllExistsMin {{ }} 0.8333333333333334 1.0 hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 oppose agree strengthening 0.156249999 strengthening 0.093749999 refuting protocolResponse provide hsr.HSRInstance {{ HSR(2,1) }} provide hsr.HSRInstance {{ HSR(8,2) }} provide hsr.HSRInstance {{ HSR(18,15) }} provide hsr.HSRInstance {{ HSR(7,4) }} provide hsr.HSRInstance {{ HSR(9,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 (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 h 372)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) }} solve hsr.HSRSolution {{ (1 y h 0 n (2 y h 1 n (3 y h 2 n h 3))) }} teamName {{ babyavatar }} reputation 100.0 request propose hsr.HSRInstanceSet {{ HSR(373,478) }} scg.protocol.ForAllExistsMin {{ }} 0.024128686327077747 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(8,2) }} scg.protocol.ForAllExistsMin {{ }} 0.375 1.0 hsr.HSRInstanceSet {{ HSR(18,15) }} scg.protocol.ForAllExistsMin {{ }} 0.6111111111111112 1.0 hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0 hsr.HSRInstanceSet {{ HSR(9,6) }} scg.protocol.ForAllExistsMin {{ }} 0.4444444444444444 1.0 hsr.HSRInstanceSet {{ HSR(19,17) }} scg.protocol.ForAllExistsMin {{ }} 0.15789473684210525 1.0 hsr.HSRInstanceSet {{ HSR(16,2) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 hsr.HSRInstanceSet {{ HSR(32,2) }} scg.protocol.ForAllExistsMin {{ }} 0.15625 1.0 hsr.HSRInstanceSet {{ HSR(64,2) }} scg.protocol.ForAllExistsMin {{ }} 0.09375 1.0 hsr.HSRInstanceSet {{ HSR(128,2) }} scg.protocol.ForAllExistsMin {{ }} 0.0546875 1.0 hsr.HSRInstanceSet {{ HSR(20,2) }} scg.protocol.ForAllExistsMin {{ }} 0.65 1.0 hsr.HSRInstanceSet {{ HSR(21,6) }} scg.protocol.ForAllExistsMin {{ }} 0.2857142857142857 1.0 hsr.HSRInstanceSet {{ HSR(6,3) }} scg.protocol.ForAllExistsMin {{ }} 0.8333333333333334 1.0 hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 oppose hsr.HSRInstanceSet {{ HSR(20,2) }} scg.protocol.ForAllExistsMin {{ }} 0.65 1.0 hsr.HSRInstanceSet {{ HSR(21,6) }} scg.protocol.ForAllExistsMin {{ }} 0.2857142857142857 1.0 hsr.HSRInstanceSet {{ HSR(6,3) }} scg.protocol.ForAllExistsMin {{ }} 0.8333333333333334 1.0 hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(19,17) }} scg.protocol.ForAllExistsMin {{ }} 0.15789473684210525 1.0 provide hsr.HSRInstanceSet {{ HSR(16,2) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 provide hsr.HSRInstanceSet {{ HSR(32,2) }} scg.protocol.ForAllExistsMin {{ }} 0.156249999 1.0 provide hsr.HSRInstanceSet {{ HSR(64,2) }} scg.protocol.ForAllExistsMin {{ }} 0.093749999 1.0 solve hsr.HSRInstance {{ HSR(2,1) }} hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 solve hsr.HSRInstance {{ HSR(8,2) }} hsr.HSRInstanceSet {{ HSR(8,2) }} scg.protocol.ForAllExistsMin {{ }} 0.375 1.0 solve hsr.HSRInstance {{ HSR(18,15) }} hsr.HSRInstanceSet {{ HSR(18,15) }} scg.protocol.ForAllExistsMin {{ }} 0.2777777777777778 1.0 solve hsr.HSRInstance {{ HSR(7,4) }} hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 solve hsr.HSRInstance {{ HSR(9,6) }} hsr.HSRInstanceSet {{ HSR(9,6) }} scg.protocol.ForAllExistsMin {{ }} 0.4444444444444444 1.0 reply {{ is kicked out by admin Reason: invalid solution }} teamName {{ nobackbone }} reputation 98.0 {{ nobackbone }} 98.0 {{ babyavatar }} 102.0