claim hsr.HSRInstanceSet {{   HSR(514,99)   }} scg.protocol.ForAllExistsMin {{      }} 0.1926070038910506 1.0 
proposer  {{ nobackbone }}  
opposer  {{ Starbuck }}  
action strengthening 0.0 
responses provider  {{ nobackbone }}  pr provide hsr.HSRInstance {{  HSR(514,99)  }} 
 provider  {{ Starbuck }}  pr solve hsr.HSRSolution {{  (256 y (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))))))))) n (419 y (320 y (278 y (262 y (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 h 261))))) n (267 y (263 y h 262 n (264 y h 263 n (265 y h 264 n (266 y h 265 n h 266)))) n (271 y (268 y h 267 n (269 y h 268 n (270 y h 269 n h 270))) n (274 y (272 y h 271 n (273 y h 272 n h 273)) n (276 y (275 y h 274 n h 275) n (277 y h 276 n h 277)))))) n (294 y (283 y (279 y h 278 n (280 y h 279 n (281 y h 280 n (282 y h 281 n h 282)))) n (287 y (284 y h 283 n (285 y h 284 n (286 y h 285 n h 286))) n (290 y (288 y h 287 n (289 y h 288 n h 289)) n (292 y (291 y h 290 n h 291) n (293 y h 292 n h 293))))) n (305 y (298 y (295 y h 294 n (296 y h 295 n (297 y h 296 n h 297))) n (301 y (299 y h 298 n (300 y h 299 n h 300)) n (303 y (302 y h 301 n h 302) n (304 y h 303 n h 304)))) n (312 y (308 y (306 y h 305 n (307 y h 306 n h 307)) n (310 y (309 y h 308 n h 309) n (311 y h 310 n h 311))) n (316 y (314 y (313 y h 312 n h 313) n (315 y h 314 n h 315)) n (318 y (317 y h 316 n h 317) n (319 y h 318 n h 319))))))) n (362 y (336 y (325 y (321 y h 320 n (322 y h 321 n (323 y h 322 n (324 y h 323 n h 324)))) n (329 y (326 y h 325 n (327 y h 326 n (328 y h 327 n h 328))) n (332 y (330 y h 329 n (331 y h 330 n h 331)) n (334 y (333 y h 332 n h 333) n (335 y h 334 n h 335))))) n (347 y (340 y (337 y h 336 n (338 y h 337 n (339 y h 338 n h 339))) n (343 y (341 y h 340 n (342 y h 341 n h 342)) n (345 y (344 y h 343 n h 344) n (346 y h 345 n h 346)))) n (354 y (350 y (348 y h 347 n (349 y h 348 n h 349)) n (352 y (351 y h 350 n h 351) n (353 y h 352 n h 353))) n (358 y (356 y (355 y h 354 n h 355) n (357 y h 356 n h 357)) n (360 y (359 y h 358 n h 359) n (361 y h 360 n h 361)))))) n (388 y (373 y (366 y (363 y h 362 n (364 y h 363 n (365 y h 364 n h 365))) n (369 y (367 y h 366 n (368 y h 367 n h 368)) n (371 y (370 y h 369 n h 370) n (372 y h 371 n h 372)))) n (380 y (376 y (374 y h 373 n (375 y h 374 n h 375)) n (378 y (377 y h 376 n h 377) n (379 y h 378 n h 379))) n (384 y (382 y (381 y h 380 n h 381) n (383 y h 382 n h 383)) n (386 y (385 y h 384 n h 385) n (387 y h 386 n h 387))))) n (403 y (395 y (391 y (389 y h 388 n (390 y h 389 n h 390)) n (393 y (392 y h 391 n h 392) n (394 y h 393 n h 394))) n (399 y (397 y (396 y h 395 n h 396) n (398 y h 397 n h 398)) n (401 y (400 y h 399 n h 400) n (402 y h 401 n h 402)))) n (411 y (407 y (405 y (404 y h 403 n h 404) n (406 y h 405 n h 406)) n (409 y (408 y h 407 n h 408) n (410 y h 409 n h 410))) n (415 y (413 y (412 y h 411 n h 412) n (414 y h 413 n h 414)) n (417 y (416 y h 415 n h 416) n (418 y h 417 n h 418)))))))) n (513 y (461 y (435 y (424 y (420 y h 419 n (421 y h 420 n (422 y h 421 n (423 y h 422 n h 423)))) n (428 y (425 y h 424 n (426 y h 425 n (427 y h 426 n h 427))) n (431 y (429 y h 428 n (430 y h 429 n h 430)) n (433 y (432 y h 431 n h 432) n (434 y h 433 n h 434))))) n (446 y (439 y (436 y h 435 n (437 y h 436 n (438 y h 437 n h 438))) n (442 y (440 y h 439 n (441 y h 440 n h 441)) n (444 y (443 y h 442 n h 443) n (445 y h 444 n h 445)))) n (453 y (449 y (447 y h 446 n (448 y h 447 n h 448)) n (451 y (450 y h 449 n h 450) n (452 y h 451 n h 452))) n (457 y (455 y (454 y h 453 n h 454) n (456 y h 455 n h 456)) n (459 y (458 y h 457 n h 458) n (460 y h 459 n h 460)))))) n (487 y (472 y (465 y (462 y h 461 n (463 y h 462 n (464 y h 463 n h 464))) n (468 y (466 y h 465 n (467 y h 466 n h 467)) n (470 y (469 y h 468 n h 469) n (471 y h 470 n h 471)))) n (479 y (475 y (473 y h 472 n (474 y h 473 n h 474)) n (477 y (476 y h 475 n h 476) n (478 y h 477 n h 478))) n (483 y (481 y (480 y h 479 n h 480) n (482 y h 481 n h 482)) n (485 y (484 y h 483 n h 484) n (486 y h 485 n h 486))))) n (502 y (494 y (490 y (488 y h 487 n (489 y h 488 n h 489)) n (492 y (491 y h 490 n h 491) n (493 y h 492 n h 493))) n (498 y (496 y (495 y h 494 n h 495) n (497 y h 496 n h 497)) n (500 y (499 y h 498 n h 499) n (501 y h 500 n h 501)))) n (510 y (506 y (504 y (503 y h 502 n h 503) n (505 y h 504 n h 505)) n (508 y (507 y h 506 n h 507) n (509 y h 508 n h 509))) n (512 y (511 y h 510 n h 511) n h 512))))) n h 513)))  }} 
  winner  {{ nobackbone }}  
pointsWon 0.19260700389105523

 claim hsr.HSRInstanceSet {{   HSR(2,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 
proposer  {{ nobackbone }}  
opposer  {{ Starbuck }}  
action agree 
responses provider  {{ nobackbone }}  pr provide hsr.HSRInstance {{  HSR(2,1)  }} 
 provider  {{ Starbuck }}  pr solve hsr.HSRSolution {{  (1 y h 0 n h 1)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(4,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 
proposer  {{ nobackbone }}  
opposer  {{ Starbuck }}  
action agree 
responses provider  {{ nobackbone }}  pr provide hsr.HSRInstance {{  HSR(4,2)  }} 
 provider  {{ Starbuck }}  pr solve hsr.HSRSolution {{  (2 y (1 y h 0 n h 1) n (3 y h 2 n h 3))  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(8,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 
proposer  {{ nobackbone }}  
opposer  {{ Starbuck }}  
action agree 
responses provider  {{ nobackbone }}  pr provide hsr.HSRInstance {{  HSR(8,2)  }} 
 provider  {{ Starbuck }}  pr solve hsr.HSRSolution {{  (4 y (1 y h 0 n (2 y h 1 n (3 y h 2 n h 3))) n (7 y (5 y h 4 n (6 y h 5 n h 6)) n h 7))  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(9,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.8888888888888888 1.0 
proposer  {{ Starbuck }}  
opposer  {{ nobackbone }}  
action strengthening 0.4444444444444444 
responses provider  {{ Starbuck }}  pr provide hsr.HSRInstance {{  HSR(9,1)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(11,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.36363636363636365 1.0 
proposer  {{ Starbuck }}  
opposer  {{ nobackbone }}  
action agree 
responses provider  {{ Starbuck }}  pr provide hsr.HSRInstance {{  HSR(11,2)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(8,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.375 1.0 
proposer  {{ Starbuck }}  
opposer  {{ nobackbone }}  
action agree 
responses provider  {{ Starbuck }}  pr provide hsr.HSRInstance {{  HSR(8,3)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(5,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.8 1.0 
proposer  {{ Starbuck }}  
opposer  {{ nobackbone }}  
action strengthening 0.6 
responses provider  {{ Starbuck }}  pr provide hsr.HSRInstance {{  HSR(5,1)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(32,5)   }} scg.protocol.ForAllExistsMin {{      }} 0.15625 1.0 
proposer  {{ Starbuck }}  
opposer  {{ nobackbone }}  
action agree 
responses provider  {{ Starbuck }}  pr provide hsr.HSRInstance {{  HSR(32,5)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(512,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.0625 1.0 
proposer  {{ nobackbone }}  
opposer  {{ Starbuck }}  
action strengthening 0.0 
responses  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(811,2)   }} scg.protocol.ForAllExistsMin {{      }} 3.411946819821348E-5 1.0 
proposer  {{ nobackbone }}  
opposer  {{ Starbuck }}  
action strengthening 0.0 
responses  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(912,2)   }} scg.protocol.ForAllExistsMin {{      }} 3.411946819821348E-5 1.0 
proposer  {{ nobackbone }}  
opposer  {{ Starbuck }}  
action strengthening 0.0 
responses  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(834,2)   }} scg.protocol.ForAllExistsMin {{      }} 3.411946819821348E-5 1.0 
proposer  {{ nobackbone }}  
opposer  {{ Starbuck }}  
action strengthening 0.0 
responses  winner  {{  }}  
pointsWon 0.0

  
 {{ nobackbone }}  98.0
 {{ Starbuck }}  102.0