request propose oppose protocolRequest reply propose hsr.HSRInstanceSet {{ HSR(7,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0 hsr.HSRInstanceSet {{ HSR(256,4) }} scg.protocol.ForAllExistsMin {{ }} 0.03515625 1.0 hsr.HSRInstanceSet {{ HSR(6,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8333333333333334 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{ }} 0.375 1.0 oppose protocolResponse teamName {{ Starbuck }} reputation 100.0 request propose hsr.HSRInstanceSet {{ HSR(7,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0 hsr.HSRInstanceSet {{ HSR(256,4) }} scg.protocol.ForAllExistsMin {{ }} 0.03515625 1.0 hsr.HSRInstanceSet {{ HSR(6,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8333333333333334 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{ }} 0.375 1.0 oppose hsr.HSRInstanceSet {{ HSR(7,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0 hsr.HSRInstanceSet {{ HSR(256,4) }} scg.protocol.ForAllExistsMin {{ }} 0.03515625 1.0 hsr.HSRInstanceSet {{ HSR(6,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8333333333333334 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{ }} 0.375 1.0 protocolRequest reply propose hsr.HSRInstanceSet {{ HSR(619,10) }} scg.protocol.ForAllExistsMin {{ }} 0.01615508885298869 1.0 hsr.HSRInstanceSet {{ HSR(956,43) }} scg.protocol.ForAllExistsMin {{ }} 0.010460251046025104 1.0 hsr.HSRInstanceSet {{ HSR(1000,1000) }} scg.protocol.ForAllExistsMin {{ }} 0.01 1.0 hsr.HSRInstanceSet {{ HSR(109,2) }} scg.protocol.ForAllExistsMin {{ }} 0.13761467889908258 1.0 oppose agree agree agree agree agree protocolResponse teamName {{ TheGreatGonzo }} reputation 100.0 request propose hsr.HSRInstanceSet {{ HSR(7,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0 hsr.HSRInstanceSet {{ HSR(256,4) }} scg.protocol.ForAllExistsMin {{ }} 0.03515625 1.0 hsr.HSRInstanceSet {{ HSR(6,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8333333333333334 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{ }} 0.375 1.0 hsr.HSRInstanceSet {{ HSR(619,10) }} scg.protocol.ForAllExistsMin {{ }} 0.01615508885298869 1.0 hsr.HSRInstanceSet {{ HSR(956,43) }} scg.protocol.ForAllExistsMin {{ }} 0.010460251046025104 1.0 hsr.HSRInstanceSet {{ HSR(1000,1000) }} scg.protocol.ForAllExistsMin {{ }} 0.01 1.0 hsr.HSRInstanceSet {{ HSR(109,2) }} scg.protocol.ForAllExistsMin {{ }} 0.13761467889908258 1.0 oppose hsr.HSRInstanceSet {{ HSR(619,10) }} scg.protocol.ForAllExistsMin {{ }} 0.01615508885298869 1.0 hsr.HSRInstanceSet {{ HSR(956,43) }} scg.protocol.ForAllExistsMin {{ }} 0.010460251046025104 1.0 hsr.HSRInstanceSet {{ HSR(1000,1000) }} scg.protocol.ForAllExistsMin {{ }} 0.01 1.0 hsr.HSRInstanceSet {{ HSR(109,2) }} scg.protocol.ForAllExistsMin {{ }} 0.13761467889908258 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(7,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0 provide hsr.HSRInstanceSet {{ HSR(256,4) }} scg.protocol.ForAllExistsMin {{ }} 0.03515625 1.0 provide hsr.HSRInstanceSet {{ HSR(6,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8333333333333334 1.0 provide hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 provide hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{ }} 0.375 1.0 reply propose hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(79,2) }} scg.protocol.ForAllExistsMin {{ }} 0.1518987341772152 1.0 hsr.HSRInstanceSet {{ HSR(7,2) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{ HSR(120,5) }} scg.protocol.ForAllExistsMin {{ }} 0.058333333333333334 1.0 hsr.HSRInstanceSet {{ HSR(219,5) }} scg.protocol.ForAllExistsMin {{ }} 0.0365296803652968 1.0 oppose agree agree agree agree protocolResponse provide hsr.HSRInstance {{ HSR(7,1) }} provide hsr.HSRInstance {{ HSR(256,4) }} provide hsr.HSRInstance {{ HSR(6,1) }} provide hsr.HSRInstance {{ HSR(2,1) }} provide hsr.HSRInstance {{ HSR(8,3) }} teamName {{ Starbuck }} reputation 100.0 request propose hsr.HSRInstanceSet {{ HSR(7,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0 hsr.HSRInstanceSet {{ HSR(256,4) }} scg.protocol.ForAllExistsMin {{ }} 0.03515625 1.0 hsr.HSRInstanceSet {{ HSR(6,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8333333333333334 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{ }} 0.375 1.0 hsr.HSRInstanceSet {{ HSR(619,10) }} scg.protocol.ForAllExistsMin {{ }} 0.01615508885298869 1.0 hsr.HSRInstanceSet {{ HSR(956,43) }} scg.protocol.ForAllExistsMin {{ }} 0.010460251046025104 1.0 hsr.HSRInstanceSet {{ HSR(1000,1000) }} scg.protocol.ForAllExistsMin {{ }} 0.01 1.0 hsr.HSRInstanceSet {{ HSR(109,2) }} scg.protocol.ForAllExistsMin {{ }} 0.13761467889908258 1.0 hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(79,2) }} scg.protocol.ForAllExistsMin {{ }} 0.1518987341772152 1.0 hsr.HSRInstanceSet {{ HSR(7,2) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{ HSR(120,5) }} scg.protocol.ForAllExistsMin {{ }} 0.058333333333333334 1.0 hsr.HSRInstanceSet {{ HSR(219,5) }} scg.protocol.ForAllExistsMin {{ }} 0.0365296803652968 1.0 oppose hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(79,2) }} scg.protocol.ForAllExistsMin {{ }} 0.1518987341772152 1.0 hsr.HSRInstanceSet {{ HSR(7,2) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{ HSR(120,5) }} scg.protocol.ForAllExistsMin {{ }} 0.058333333333333334 1.0 hsr.HSRInstanceSet {{ HSR(219,5) }} scg.protocol.ForAllExistsMin {{ }} 0.0365296803652968 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(619,10) }} scg.protocol.ForAllExistsMin {{ }} 0.01615508885298869 1.0 provide hsr.HSRInstanceSet {{ HSR(956,43) }} scg.protocol.ForAllExistsMin {{ }} 0.010460251046025104 1.0 provide hsr.HSRInstanceSet {{ HSR(1000,1000) }} scg.protocol.ForAllExistsMin {{ }} 0.01 1.0 provide hsr.HSRInstanceSet {{ HSR(109,2) }} scg.protocol.ForAllExistsMin {{ }} 0.13761467889908258 1.0 solve hsr.HSRInstance {{ HSR(7,1) }} hsr.HSRInstanceSet {{ HSR(7,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0 solve hsr.HSRInstance {{ HSR(256,4) }} hsr.HSRInstanceSet {{ HSR(256,4) }} scg.protocol.ForAllExistsMin {{ }} 0.03515625 1.0 solve hsr.HSRInstance {{ HSR(6,1) }} hsr.HSRInstanceSet {{ HSR(6,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8333333333333334 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,3) }} hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{ }} 0.375 1.0 reply propose hsr.HSRInstanceSet {{ HSR(1000,1154) }} scg.protocol.ForAllExistsMin {{ }} 0.01 1.0 hsr.HSRInstanceSet {{ HSR(351,863) }} scg.protocol.ForAllExistsMin {{ }} 0.02564102564102564 1.0 hsr.HSRInstanceSet {{ HSR(999,3) }} scg.protocol.ForAllExistsMin {{ }} 0.01901901901901902 1.0 hsr.HSRInstanceSet {{ HSR(583,66) }} scg.protocol.ForAllExistsMin {{ }} 0.017152658662092625 1.0 oppose agree agree agree agree agree protocolResponse provide hsr.HSRInstance {{ HSR(619,10) }} provide hsr.HSRInstance {{ HSR(956,43) }} provide hsr.HSRInstance {{ HSR(1000,1000) }} provide hsr.HSRInstance {{ HSR(109,2) }} 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 {{ (93 y (29 y (7 y (1 y h 0 n (2 y h 1 n (3 y h 2 n (4 y h 3 n (5 y h 4 n (6 y h 5 n h 6)))))) n (13 y (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))))) n (18 y (14 y h 13 n (15 y h 14 n (16 y h 15 n (17 y h 16 n h 17)))) n (22 y (19 y h 18 n (20 y h 19 n (21 y h 20 n h 21))) n (25 y (23 y h 22 n (24 y h 23 n h 24)) n (27 y (26 y h 25 n h 26) n (28 y h 27 n h 28))))))) n (51 y (35 y (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 h 34))))) n (40 y (36 y h 35 n (37 y h 36 n (38 y h 37 n (39 y h 38 n h 39)))) n (44 y (41 y h 40 n (42 y h 41 n (43 y h 42 n h 43))) n (47 y (45 y h 44 n (46 y h 45 n h 46)) n (49 y (48 y h 47 n h 48) n (50 y h 49 n h 50)))))) n (67 y (56 y (52 y h 51 n (53 y h 52 n (54 y h 53 n (55 y h 54 n h 55)))) n (60 y (57 y h 56 n (58 y h 57 n (59 y h 58 n h 59))) n (63 y (61 y h 60 n (62 y h 61 n h 62)) n (65 y (64 y h 63 n h 64) n (66 y h 65 n h 66))))) n (78 y (71 y (68 y h 67 n (69 y h 68 n (70 y h 69 n h 70))) n (74 y (72 y h 71 n (73 y h 72 n h 73)) n (76 y (75 y h 74 n h 75) n (77 y h 76 n h 77)))) n (85 y (81 y (79 y h 78 n (80 y h 79 n h 80)) n (83 y (82 y h 81 n h 82) n (84 y h 83 n h 84))) n (89 y (87 y (86 y h 85 n h 86) n (88 y h 87 n h 88)) n (91 y (90 y h 89 n h 90) n (92 y h 91 n h 92)))))))) n (157 y (115 y (99 y (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 h 98))))) n (104 y (100 y h 99 n (101 y h 100 n (102 y h 101 n (103 y h 102 n h 103)))) n (108 y (105 y h 104 n (106 y h 105 n (107 y h 106 n h 107))) n (111 y (109 y h 108 n (110 y h 109 n h 110)) n (113 y (112 y h 111 n h 112) n (114 y h 113 n h 114)))))) n (131 y (120 y (116 y h 115 n (117 y h 116 n (118 y h 117 n (119 y h 118 n h 119)))) n (124 y (121 y h 120 n (122 y h 121 n (123 y h 122 n h 123))) n (127 y (125 y h 124 n (126 y h 125 n h 126)) n (129 y (128 y h 127 n h 128) n (130 y h 129 n h 130))))) n (142 y (135 y (132 y h 131 n (133 y h 132 n (134 y h 133 n h 134))) n (138 y (136 y h 135 n (137 y h 136 n h 137)) n (140 y (139 y h 138 n h 139) n (141 y h 140 n h 141)))) n (149 y (145 y (143 y h 142 n (144 y h 143 n h 144)) n (147 y (146 y h 145 n h 146) n (148 y h 147 n h 148))) n (153 y (151 y (150 y h 149 n h 150) n (152 y h 151 n h 152)) n (155 y (154 y h 153 n h 154) n (156 y h 155 n h 156))))))) n (199 y (173 y (162 y (158 y h 157 n (159 y h 158 n (160 y h 159 n (161 y h 160 n h 161)))) n (166 y (163 y h 162 n (164 y h 163 n (165 y h 164 n h 165))) n (169 y (167 y h 166 n (168 y h 167 n h 168)) n (171 y (170 y h 169 n h 170) n (172 y h 171 n h 172))))) n (184 y (177 y (174 y h 173 n (175 y h 174 n (176 y h 175 n h 176))) n (180 y (178 y h 177 n (179 y h 178 n h 179)) n (182 y (181 y h 180 n h 181) n (183 y h 182 n h 183)))) n (191 y (187 y (185 y h 184 n (186 y h 185 n h 186)) n (189 y (188 y h 187 n h 188) n (190 y h 189 n h 190))) n (195 y (193 y (192 y h 191 n h 192) n (194 y h 193 n h 194)) n (197 y (196 y h 195 n h 196) n (198 y h 197 n h 198)))))) n (225 y (210 y (203 y (200 y h 199 n (201 y h 200 n (202 y h 201 n h 202))) n (206 y (204 y h 203 n (205 y h 204 n h 205)) n (208 y (207 y h 206 n h 207) n (209 y h 208 n h 209)))) n (217 y (213 y (211 y h 210 n (212 y h 211 n h 212)) n (215 y (214 y h 213 n h 214) n (216 y h 215 n h 216))) n (221 y (219 y (218 y h 217 n h 218) n (220 y h 219 n h 220)) n (223 y (222 y h 221 n h 222) n (224 y h 223 n h 224))))) n (240 y (232 y (228 y (226 y h 225 n (227 y h 226 n h 227)) n (230 y (229 y h 228 n h 229) n (231 y h 230 n h 231))) n (236 y (234 y (233 y h 232 n h 233) n (235 y h 234 n h 235)) n (238 y (237 y h 236 n h 237) n (239 y h 238 n h 239)))) n (248 y (244 y (242 y (241 y h 240 n h 241) n (243 y h 242 n h 243)) n (246 y (245 y h 244 n h 245) n (247 y h 246 n h 247))) n (252 y (250 y (249 y h 248 n h 249) n (251 y h 250 n h 251)) n (254 y (253 y h 252 n h 253) n (255 y h 254 n h 255))))))))) }} 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 h 5))))) }} solve hsr.HSRSolution {{ (1 y h 0 n h 1) }} solve hsr.HSRSolution {{ (4 y (2 y (1 y h 0 n h 1) n (3 y h 2 n h 3)) n (6 y (5 y h 4 n h 5) n (7 y h 6 n h 7))) }} teamName {{ TheGreatGonzo }} reputation 100.0 request propose hsr.HSRInstanceSet {{ HSR(7,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0 hsr.HSRInstanceSet {{ HSR(256,4) }} scg.protocol.ForAllExistsMin {{ }} 0.03515625 1.0 hsr.HSRInstanceSet {{ HSR(6,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8333333333333334 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{ }} 0.375 1.0 hsr.HSRInstanceSet {{ HSR(619,10) }} scg.protocol.ForAllExistsMin {{ }} 0.01615508885298869 1.0 hsr.HSRInstanceSet {{ HSR(956,43) }} scg.protocol.ForAllExistsMin {{ }} 0.010460251046025104 1.0 hsr.HSRInstanceSet {{ HSR(1000,1000) }} scg.protocol.ForAllExistsMin {{ }} 0.01 1.0 hsr.HSRInstanceSet {{ HSR(109,2) }} scg.protocol.ForAllExistsMin {{ }} 0.13761467889908258 1.0 hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(79,2) }} scg.protocol.ForAllExistsMin {{ }} 0.1518987341772152 1.0 hsr.HSRInstanceSet {{ HSR(7,2) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{ HSR(120,5) }} scg.protocol.ForAllExistsMin {{ }} 0.058333333333333334 1.0 hsr.HSRInstanceSet {{ HSR(219,5) }} scg.protocol.ForAllExistsMin {{ }} 0.0365296803652968 1.0 hsr.HSRInstanceSet {{ HSR(1000,1154) }} scg.protocol.ForAllExistsMin {{ }} 0.01 1.0 hsr.HSRInstanceSet {{ HSR(351,863) }} scg.protocol.ForAllExistsMin {{ }} 0.02564102564102564 1.0 hsr.HSRInstanceSet {{ HSR(999,3) }} scg.protocol.ForAllExistsMin {{ }} 0.01901901901901902 1.0 hsr.HSRInstanceSet {{ HSR(583,66) }} scg.protocol.ForAllExistsMin {{ }} 0.017152658662092625 1.0 oppose hsr.HSRInstanceSet {{ HSR(1000,1154) }} scg.protocol.ForAllExistsMin {{ }} 0.01 1.0 hsr.HSRInstanceSet {{ HSR(351,863) }} scg.protocol.ForAllExistsMin {{ }} 0.02564102564102564 1.0 hsr.HSRInstanceSet {{ HSR(999,3) }} scg.protocol.ForAllExistsMin {{ }} 0.01901901901901902 1.0 hsr.HSRInstanceSet {{ HSR(583,66) }} scg.protocol.ForAllExistsMin {{ }} 0.017152658662092625 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 provide hsr.HSRInstanceSet {{ HSR(79,2) }} scg.protocol.ForAllExistsMin {{ }} 0.1518987341772152 1.0 provide hsr.HSRInstanceSet {{ HSR(7,2) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 provide hsr.HSRInstanceSet {{ HSR(120,5) }} scg.protocol.ForAllExistsMin {{ }} 0.058333333333333334 1.0 provide hsr.HSRInstanceSet {{ HSR(219,5) }} scg.protocol.ForAllExistsMin {{ }} 0.0365296803652968 1.0 solve hsr.HSRInstance {{ HSR(619,10) }} hsr.HSRInstanceSet {{ HSR(619,10) }} scg.protocol.ForAllExistsMin {{ }} 0.01615508885298869 1.0 solve hsr.HSRInstance {{ HSR(956,43) }} hsr.HSRInstanceSet {{ HSR(956,43) }} scg.protocol.ForAllExistsMin {{ }} 0.010460251046025104 1.0 solve hsr.HSRInstance {{ HSR(1000,1000) }} hsr.HSRInstanceSet {{ HSR(1000,1000) }} scg.protocol.ForAllExistsMin {{ }} 0.01 1.0 solve hsr.HSRInstance {{ HSR(109,2) }} hsr.HSRInstanceSet {{ HSR(109,2) }} scg.protocol.ForAllExistsMin {{ }} 0.13761467889908258 1.0 reply {{ is kicked out by admin Reason: invalid solution }} teamName {{ Starbuck }} reputation 98.0 {{ Starbuck }} 98.0 {{ TheGreatGonzo }} 102.0