request propose  oppose  protocolRequest  
reply propose hsr.HSRInstanceSet {{   HSR(31,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.16129032258064516 1.0 hsr.HSRInstanceSet {{   HSR(16,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.3125 1.0 hsr.HSRInstanceSet {{   HSR(2,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(3,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{   HSR(64,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.109375 1.0  oppose  protocolResponse  
teamName  {{ Starbuck }}  
reputation 100.0

 request propose hsr.HSRInstanceSet {{   HSR(31,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.16129032258064516 1.0 hsr.HSRInstanceSet {{   HSR(16,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.3125 1.0 hsr.HSRInstanceSet {{   HSR(2,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(3,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{   HSR(64,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.109375 1.0  oppose hsr.HSRInstanceSet {{   HSR(31,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.16129032258064516 1.0 hsr.HSRInstanceSet {{   HSR(16,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.3125 1.0 hsr.HSRInstanceSet {{   HSR(2,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(3,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{   HSR(64,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.109375 1.0  protocolRequest  
reply propose hsr.HSRInstanceSet {{   HSR(15,5)   }} scg.protocol.ForAllExistsMin {{      }} 0.26666666666666666 1.0 hsr.HSRInstanceSet {{   HSR(18,9)   }} scg.protocol.ForAllExistsMin {{      }} 0.7222222222222222 1.0 hsr.HSRInstanceSet {{   HSR(17,15)   }} scg.protocol.ForAllExistsMin {{      }} 0.29411764705882354 1.0 hsr.HSRInstanceSet {{   HSR(20,16)   }} scg.protocol.ForAllExistsMin {{      }} 0.35 1.0  oppose strengthening 0.16129032158064516 strengthening 0.312499999 agree refuting refuting  protocolResponse  
teamName  {{ babyavatar }}  
reputation 100.0

 request propose hsr.HSRInstanceSet {{   HSR(31,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.16129032258064516 1.0 hsr.HSRInstanceSet {{   HSR(16,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.3125 1.0 hsr.HSRInstanceSet {{   HSR(2,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(3,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{   HSR(64,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.109375 1.0 hsr.HSRInstanceSet {{   HSR(15,5)   }} scg.protocol.ForAllExistsMin {{      }} 0.26666666666666666 1.0 hsr.HSRInstanceSet {{   HSR(18,9)   }} scg.protocol.ForAllExistsMin {{      }} 0.7222222222222222 1.0 hsr.HSRInstanceSet {{   HSR(17,15)   }} scg.protocol.ForAllExistsMin {{      }} 0.29411764705882354 1.0 hsr.HSRInstanceSet {{   HSR(20,16)   }} scg.protocol.ForAllExistsMin {{      }} 0.35 1.0  oppose hsr.HSRInstanceSet {{   HSR(15,5)   }} scg.protocol.ForAllExistsMin {{      }} 0.26666666666666666 1.0 hsr.HSRInstanceSet {{   HSR(18,9)   }} scg.protocol.ForAllExistsMin {{      }} 0.7222222222222222 1.0 hsr.HSRInstanceSet {{   HSR(17,15)   }} scg.protocol.ForAllExistsMin {{      }} 0.29411764705882354 1.0 hsr.HSRInstanceSet {{   HSR(20,16)   }} scg.protocol.ForAllExistsMin {{      }} 0.35 1.0  protocolRequest provide hsr.HSRInstanceSet {{ HSR(31,4) }} scg.protocol.ForAllExistsMin {{  }} 0.16129032158064516 1.0 provide hsr.HSRInstanceSet {{ HSR(16,2) }} scg.protocol.ForAllExistsMin {{  }} 0.312499999 1.0 provide hsr.HSRInstanceSet {{   HSR(2,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0  
reply propose hsr.HSRInstanceSet {{   HSR(466,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.019313304721030045 1.0 hsr.HSRInstanceSet {{   HSR(26,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.19230769230769232 1.0 hsr.HSRInstanceSet {{   HSR(12,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.9166666666666666 1.0 hsr.HSRInstanceSet {{   HSR(848,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.01179245283018868 1.0 hsr.HSRInstanceSet {{   HSR(56,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.17857142857142858 1.0  oppose refuting strengthening 0.5 refuting strengthening 0.25  protocolResponse provide hsr.HSRInstance {{  HSR(31,4)  }}  provide hsr.HSRInstance {{  HSR(16,2)  }}  provide hsr.HSRInstance {{  HSR(2,1)  }}   
teamName  {{ Starbuck }}  
reputation 100.0

 request propose hsr.HSRInstanceSet {{   HSR(31,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.16129032258064516 1.0 hsr.HSRInstanceSet {{   HSR(16,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.3125 1.0 hsr.HSRInstanceSet {{   HSR(2,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(3,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{   HSR(64,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.109375 1.0 hsr.HSRInstanceSet {{   HSR(15,5)   }} scg.protocol.ForAllExistsMin {{      }} 0.26666666666666666 1.0 hsr.HSRInstanceSet {{   HSR(18,9)   }} scg.protocol.ForAllExistsMin {{      }} 0.7222222222222222 1.0 hsr.HSRInstanceSet {{   HSR(17,15)   }} scg.protocol.ForAllExistsMin {{      }} 0.29411764705882354 1.0 hsr.HSRInstanceSet {{   HSR(20,16)   }} scg.protocol.ForAllExistsMin {{      }} 0.35 1.0 hsr.HSRInstanceSet {{   HSR(466,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.019313304721030045 1.0 hsr.HSRInstanceSet {{   HSR(26,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.19230769230769232 1.0 hsr.HSRInstanceSet {{   HSR(12,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.9166666666666666 1.0 hsr.HSRInstanceSet {{   HSR(848,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.01179245283018868 1.0 hsr.HSRInstanceSet {{   HSR(56,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.17857142857142858 1.0  oppose hsr.HSRInstanceSet {{   HSR(466,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.019313304721030045 1.0 hsr.HSRInstanceSet {{   HSR(26,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.19230769230769232 1.0 hsr.HSRInstanceSet {{   HSR(12,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.9166666666666666 1.0 hsr.HSRInstanceSet {{   HSR(848,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.01179245283018868 1.0 hsr.HSRInstanceSet {{   HSR(56,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.17857142857142858 1.0  protocolRequest provide hsr.HSRInstanceSet {{   HSR(3,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.6666666666666666 1.0 provide hsr.HSRInstanceSet {{   HSR(64,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.109375 1.0 provide hsr.HSRInstanceSet {{ HSR(18,9) }} scg.protocol.ForAllExistsMin {{  }} 0.5 1.0 provide hsr.HSRInstanceSet {{ HSR(20,16) }} scg.protocol.ForAllExistsMin {{  }} 0.25 1.0 solve hsr.HSRInstance {{ HSR(31,4) }} hsr.HSRInstanceSet {{ HSR(31,4) }} scg.protocol.ForAllExistsMin {{  }} 0.16129032158064516 1.0 solve hsr.HSRInstance {{ HSR(16,2) }} hsr.HSRInstanceSet {{ HSR(16,2) }} scg.protocol.ForAllExistsMin {{  }} 0.312499999 1.0 solve hsr.HSRInstance {{ HSR(2,1) }} hsr.HSRInstanceSet {{   HSR(2,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0  
reply propose hsr.HSRInstanceSet {{   HSR(20,17)   }} scg.protocol.ForAllExistsMin {{      }} 0.85 1.0 hsr.HSRInstanceSet {{   HSR(15,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.4 1.0 hsr.HSRInstanceSet {{   HSR(5,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.6 1.0 hsr.HSRInstanceSet {{   HSR(17,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.8823529411764706 1.0  oppose strengthening 0.019313303721030045 strengthening 0.19230769130769232 agree refuting agree  protocolResponse provide hsr.HSRInstance {{  HSR(3,1)  }}  provide hsr.HSRInstance {{  HSR(64,3)  }}  provide hsr.HSRInstance {{  HSR(18,9)  }}  provide hsr.HSRInstance {{  HSR(20,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 h 30))))))))))))))))))))))))))))))  }}  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 h 1)  }}   
teamName  {{ babyavatar }}  
reputation 100.0

 request propose hsr.HSRInstanceSet {{   HSR(31,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.16129032258064516 1.0 hsr.HSRInstanceSet {{   HSR(16,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.3125 1.0 hsr.HSRInstanceSet {{   HSR(2,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(3,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{   HSR(64,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.109375 1.0 hsr.HSRInstanceSet {{   HSR(15,5)   }} scg.protocol.ForAllExistsMin {{      }} 0.26666666666666666 1.0 hsr.HSRInstanceSet {{   HSR(18,9)   }} scg.protocol.ForAllExistsMin {{      }} 0.7222222222222222 1.0 hsr.HSRInstanceSet {{   HSR(17,15)   }} scg.protocol.ForAllExistsMin {{      }} 0.29411764705882354 1.0 hsr.HSRInstanceSet {{   HSR(20,16)   }} scg.protocol.ForAllExistsMin {{      }} 0.35 1.0 hsr.HSRInstanceSet {{   HSR(466,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.019313304721030045 1.0 hsr.HSRInstanceSet {{   HSR(26,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.19230769230769232 1.0 hsr.HSRInstanceSet {{   HSR(12,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.9166666666666666 1.0 hsr.HSRInstanceSet {{   HSR(848,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.01179245283018868 1.0 hsr.HSRInstanceSet {{   HSR(56,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.17857142857142858 1.0 hsr.HSRInstanceSet {{   HSR(20,17)   }} scg.protocol.ForAllExistsMin {{      }} 0.85 1.0 hsr.HSRInstanceSet {{   HSR(15,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.4 1.0 hsr.HSRInstanceSet {{   HSR(5,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.6 1.0 hsr.HSRInstanceSet {{   HSR(17,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.8823529411764706 1.0  oppose hsr.HSRInstanceSet {{   HSR(20,17)   }} scg.protocol.ForAllExistsMin {{      }} 0.85 1.0 hsr.HSRInstanceSet {{   HSR(15,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.4 1.0 hsr.HSRInstanceSet {{   HSR(5,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.6 1.0 hsr.HSRInstanceSet {{   HSR(17,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.8823529411764706 1.0  protocolRequest provide hsr.HSRInstanceSet {{   HSR(15,5)   }} scg.protocol.ForAllExistsMin {{      }} 0.26666666666666666 1.0 provide hsr.HSRInstanceSet {{   HSR(17,15)   }} scg.protocol.ForAllExistsMin {{      }} 0.29411764705882354 1.0 provide hsr.HSRInstanceSet {{ HSR(466,6) }} scg.protocol.ForAllExistsMin {{  }} 0.019313303721030045 1.0 provide hsr.HSRInstanceSet {{ HSR(26,3) }} scg.protocol.ForAllExistsMin {{  }} 0.19230769130769232 1.0 provide hsr.HSRInstanceSet {{   HSR(12,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.9166666666666666 1.0 provide hsr.HSRInstanceSet {{   HSR(56,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.17857142857142858 1.0 solve hsr.HSRInstance {{ HSR(3,1) }} hsr.HSRInstanceSet {{   HSR(3,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.6666666666666666 1.0 solve hsr.HSRInstance {{ HSR(64,3) }} hsr.HSRInstanceSet {{   HSR(64,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.109375 1.0 solve hsr.HSRInstance {{ HSR(18,9) }} hsr.HSRInstanceSet {{ HSR(18,9) }} scg.protocol.ForAllExistsMin {{  }} 0.5 1.0 solve hsr.HSRInstance {{ HSR(20,16) }} hsr.HSRInstanceSet {{ HSR(20,16) }} scg.protocol.ForAllExistsMin {{  }} 0.25 1.0  
reply propose hsr.HSRInstanceSet {{   HSR(4,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(11,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.36363636363636365 1.0 hsr.HSRInstanceSet {{   HSR(42,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{   HSR(13,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.9230769230769231 1.0 hsr.HSRInstanceSet {{   HSR(511,8)   }} scg.protocol.ForAllExistsMin {{      }} 0.01761252446183953 1.0  oppose strengthening 0.25 strengthening 0.26666666666666666 agree strengthening 0.29411764705882354  protocolResponse provide hsr.HSRInstance {{  HSR(15,5)  }}  provide hsr.HSRInstance {{  HSR(17,15)  }}  provide hsr.HSRInstance {{  HSR(466,6)  }}  provide hsr.HSRInstance {{  HSR(26,3)  }}  provide hsr.HSRInstance {{  HSR(12,1)  }}  provide hsr.HSRInstance {{  HSR(56,2)  }}  solve hsr.HSRSolution {{  (1 y h 0 n (2 y h 1 n h 2))  }}  solve hsr.HSRSolution {{  (22 y (6 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 h 5))))) n (11 y (7 y h 6 n (8 y h 7 n (9 y h 8 n (10 y h 9 n h 10)))) n (15 y (12 y h 11 n (13 y h 12 n (14 y h 13 n h 14))) n (18 y (16 y h 15 n (17 y h 16 n h 17)) n (20 y (19 y h 18 n h 19) n (21 y h 20 n h 21)))))) n (38 y (27 y (23 y h 22 n (24 y h 23 n (25 y h 24 n (26 y h 25 n h 26)))) n (31 y (28 y h 27 n (29 y h 28 n (30 y h 29 n h 30))) n (34 y (32 y h 31 n (33 y h 32 n h 33)) n (36 y (35 y h 34 n h 35) n (37 y h 36 n h 37))))) n (49 y (42 y (39 y h 38 n (40 y h 39 n (41 y h 40 n h 41))) n (45 y (43 y h 42 n (44 y h 43 n h 44)) n (47 y (46 y h 45 n h 46) n (48 y h 47 n h 48)))) n (56 y (52 y (50 y h 49 n (51 y h 50 n h 51)) n (54 y (53 y h 52 n h 53) n (55 y h 54 n h 55))) n (60 y (58 y (57 y h 56 n h 57) n (59 y h 58 n h 59)) n (62 y (61 y h 60 n h 61) n (63 y h 62 n h 63)))))))  }}  solve hsr.HSRSolution {{  (11 y (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 (9 y (8 y h 7 n h 8) n (10 y h 9 n h 10)))) n (17 y (14 y (12 y h 11 n (13 y h 12 n h 13)) n (16 y (15 y h 14 n h 15) n h 16)) n h 17))  }}  solve hsr.HSRSolution {{  (11 y (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 (9 y (8 y h 7 n h 8) n (10 y h 9 n h 10)))) n (18 y (14 y (12 y h 11 n (13 y h 12 n h 13)) n (16 y (15 y h 14 n h 15) n (17 y h 16 n h 17))) n (19 y h 18 n h 19)))  }}   
teamName  {{ Starbuck }}  
reputation 100.00000000200001

 request propose hsr.HSRInstanceSet {{   HSR(31,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.16129032258064516 1.0 hsr.HSRInstanceSet {{   HSR(16,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.3125 1.0 hsr.HSRInstanceSet {{   HSR(2,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(3,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{   HSR(64,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.109375 1.0 hsr.HSRInstanceSet {{   HSR(15,5)   }} scg.protocol.ForAllExistsMin {{      }} 0.26666666666666666 1.0 hsr.HSRInstanceSet {{   HSR(18,9)   }} scg.protocol.ForAllExistsMin {{      }} 0.7222222222222222 1.0 hsr.HSRInstanceSet {{   HSR(17,15)   }} scg.protocol.ForAllExistsMin {{      }} 0.29411764705882354 1.0 hsr.HSRInstanceSet {{   HSR(20,16)   }} scg.protocol.ForAllExistsMin {{      }} 0.35 1.0 hsr.HSRInstanceSet {{   HSR(466,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.019313304721030045 1.0 hsr.HSRInstanceSet {{   HSR(26,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.19230769230769232 1.0 hsr.HSRInstanceSet {{   HSR(12,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.9166666666666666 1.0 hsr.HSRInstanceSet {{   HSR(848,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.01179245283018868 1.0 hsr.HSRInstanceSet {{   HSR(56,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.17857142857142858 1.0 hsr.HSRInstanceSet {{   HSR(20,17)   }} scg.protocol.ForAllExistsMin {{      }} 0.85 1.0 hsr.HSRInstanceSet {{   HSR(15,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.4 1.0 hsr.HSRInstanceSet {{   HSR(5,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.6 1.0 hsr.HSRInstanceSet {{   HSR(17,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.8823529411764706 1.0 hsr.HSRInstanceSet {{   HSR(4,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(11,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.36363636363636365 1.0 hsr.HSRInstanceSet {{   HSR(42,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{   HSR(13,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.9230769230769231 1.0 hsr.HSRInstanceSet {{   HSR(511,8)   }} scg.protocol.ForAllExistsMin {{      }} 0.01761252446183953 1.0  oppose hsr.HSRInstanceSet {{   HSR(4,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(11,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.36363636363636365 1.0 hsr.HSRInstanceSet {{   HSR(42,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{   HSR(13,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.9230769230769231 1.0 hsr.HSRInstanceSet {{   HSR(511,8)   }} scg.protocol.ForAllExistsMin {{      }} 0.01761252446183953 1.0  protocolRequest provide hsr.HSRInstanceSet {{   HSR(848,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.01179245283018868 1.0 provide hsr.HSRInstanceSet {{ HSR(20,17) }} scg.protocol.ForAllExistsMin {{  }} 0.25 1.0 provide hsr.HSRInstanceSet {{ HSR(15,4) }} scg.protocol.ForAllExistsMin {{  }} 0.26666666666666666 1.0 provide hsr.HSRInstanceSet {{   HSR(5,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.6 1.0 provide hsr.HSRInstanceSet {{ HSR(17,4) }} scg.protocol.ForAllExistsMin {{  }} 0.29411764705882354 1.0 solve hsr.HSRInstance {{ HSR(15,5) }} hsr.HSRInstanceSet {{   HSR(15,5)   }} scg.protocol.ForAllExistsMin {{      }} 0.26666666666666666 1.0 solve hsr.HSRInstance {{ HSR(17,15) }} hsr.HSRInstanceSet {{   HSR(17,15)   }} scg.protocol.ForAllExistsMin {{      }} 0.29411764705882354 1.0 solve hsr.HSRInstance {{ HSR(466,6) }} hsr.HSRInstanceSet {{ HSR(466,6) }} scg.protocol.ForAllExistsMin {{  }} 0.019313303721030045 1.0 solve hsr.HSRInstance {{ HSR(26,3) }} hsr.HSRInstanceSet {{ HSR(26,3) }} scg.protocol.ForAllExistsMin {{  }} 0.19230769130769232 1.0 solve hsr.HSRInstance {{ HSR(12,1) }} hsr.HSRInstanceSet {{   HSR(12,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.9166666666666666 1.0 solve hsr.HSRInstance {{ HSR(56,2) }} hsr.HSRInstanceSet {{   HSR(56,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.17857142857142858 1.0  
reply propose hsr.HSRInstanceSet {{   HSR(16,12)   }} scg.protocol.ForAllExistsMin {{      }} 0.375 1.0 hsr.HSRInstanceSet {{   HSR(19,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.15789473684210525 1.0 hsr.HSRInstanceSet {{   HSR(11,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.09090909090909091 1.0 hsr.HSRInstanceSet {{   HSR(18,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.3888888888888889 1.0  oppose refuting strengthening 0.3636363626363636 strengthening 0.14285714185714285 agree agree  protocolResponse provide hsr.HSRInstance {{  HSR(848,6)  }}  provide hsr.HSRInstance {{  HSR(20,17)  }}  provide hsr.HSRInstance {{  HSR(15,4)  }}  provide hsr.HSRInstance {{  HSR(5,3)  }}  provide hsr.HSRInstance {{  HSR(17,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 h 14))))))))))))))  }}  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 h 465)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))  }}  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 h 25)))))))))))))))))))))))))  }}  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 (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 h 55)))))))))))))))))))))))))))))))))))))))))))))))))))))))  }}   
teamName  {{ babyavatar }}  
reputation 95.99999999799999

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

 request propose hsr.HSRInstanceSet {{   HSR(31,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.16129032258064516 1.0 hsr.HSRInstanceSet {{   HSR(16,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.3125 1.0 hsr.HSRInstanceSet {{   HSR(2,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(3,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{   HSR(64,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.109375 1.0 hsr.HSRInstanceSet {{   HSR(15,5)   }} scg.protocol.ForAllExistsMin {{      }} 0.26666666666666666 1.0 hsr.HSRInstanceSet {{   HSR(18,9)   }} scg.protocol.ForAllExistsMin {{      }} 0.7222222222222222 1.0 hsr.HSRInstanceSet {{   HSR(17,15)   }} scg.protocol.ForAllExistsMin {{      }} 0.29411764705882354 1.0 hsr.HSRInstanceSet {{   HSR(20,16)   }} scg.protocol.ForAllExistsMin {{      }} 0.35 1.0 hsr.HSRInstanceSet {{   HSR(466,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.019313304721030045 1.0 hsr.HSRInstanceSet {{   HSR(26,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.19230769230769232 1.0 hsr.HSRInstanceSet {{   HSR(12,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.9166666666666666 1.0 hsr.HSRInstanceSet {{   HSR(848,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.01179245283018868 1.0 hsr.HSRInstanceSet {{   HSR(56,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.17857142857142858 1.0 hsr.HSRInstanceSet {{   HSR(20,17)   }} scg.protocol.ForAllExistsMin {{      }} 0.85 1.0 hsr.HSRInstanceSet {{   HSR(15,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.4 1.0 hsr.HSRInstanceSet {{   HSR(5,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.6 1.0 hsr.HSRInstanceSet {{   HSR(17,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.8823529411764706 1.0 hsr.HSRInstanceSet {{   HSR(4,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(11,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.36363636363636365 1.0 hsr.HSRInstanceSet {{   HSR(42,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{   HSR(13,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.9230769230769231 1.0 hsr.HSRInstanceSet {{   HSR(511,8)   }} scg.protocol.ForAllExistsMin {{      }} 0.01761252446183953 1.0 hsr.HSRInstanceSet {{   HSR(16,12)   }} scg.protocol.ForAllExistsMin {{      }} 0.375 1.0 hsr.HSRInstanceSet {{   HSR(19,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.15789473684210525 1.0 hsr.HSRInstanceSet {{   HSR(11,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.09090909090909091 1.0 hsr.HSRInstanceSet {{   HSR(18,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.3888888888888889 1.0 hsr.HSRInstanceSet {{   HSR(8,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.375 1.0 hsr.HSRInstanceSet {{   HSR(470,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.029787234042553193 1.0 hsr.HSRInstanceSet {{   HSR(127,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.05511811023622047 1.0 hsr.HSRInstanceSet {{   HSR(99,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.0707070707070707 1.0 hsr.HSRInstanceSet {{   HSR(22,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.2727272727272727 1.0  oppose hsr.HSRInstanceSet {{   HSR(8,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.375 1.0 hsr.HSRInstanceSet {{   HSR(470,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.029787234042553193 1.0 hsr.HSRInstanceSet {{   HSR(127,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.05511811023622047 1.0 hsr.HSRInstanceSet {{   HSR(99,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.0707070707070707 1.0 hsr.HSRInstanceSet {{   HSR(22,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.2727272727272727 1.0  protocolRequest provide hsr.HSRInstanceSet {{   HSR(4,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 provide hsr.HSRInstanceSet {{ HSR(18,3) }} scg.protocol.ForAllExistsMin {{  }} 0.2777777777777778 1.0 solve hsr.HSRInstance {{ HSR(11,2) }} hsr.HSRInstanceSet {{ HSR(11,2) }} scg.protocol.ForAllExistsMin {{  }} 0.3636363626363636 1.0 solve hsr.HSRInstance {{ HSR(42,3) }} hsr.HSRInstanceSet {{ HSR(42,3) }} scg.protocol.ForAllExistsMin {{  }} 0.14285714185714285 1.0 solve hsr.HSRInstance {{ HSR(13,1) }} hsr.HSRInstanceSet {{   HSR(13,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.9230769230769231 1.0 solve hsr.HSRInstance {{ HSR(511,8) }} hsr.HSRInstanceSet {{   HSR(511,8)   }} scg.protocol.ForAllExistsMin {{      }} 0.01761252446183953 1.0  
reply propose hsr.HSRInstanceSet {{   HSR(16,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.8125 1.0 hsr.HSRInstanceSet {{   HSR(20,8)   }} scg.protocol.ForAllExistsMin {{      }} 0.9 1.0 hsr.HSRInstanceSet {{   HSR(16,8)   }} scg.protocol.ForAllExistsMin {{      }} 0.4375 1.0 hsr.HSRInstanceSet {{   HSR(21,8)   }} scg.protocol.ForAllExistsMin {{      }} 0.09523809523809523 1.0  oppose strengthening 0.374999999 refuting strengthening 0.05511810923622047 agree agree  protocolResponse provide hsr.HSRInstance {{  HSR(4,2)  }}  provide hsr.HSRInstance {{  HSR(18,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 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 (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 h 41)))))))))))))))))))))))))))))))))))))))))  }}  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 (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 h 510))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))  }}   
teamName  {{ babyavatar }}  
reputation 88.99999999599999

 request propose hsr.HSRInstanceSet {{   HSR(31,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.16129032258064516 1.0 hsr.HSRInstanceSet {{   HSR(16,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.3125 1.0 hsr.HSRInstanceSet {{   HSR(2,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(3,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{   HSR(64,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.109375 1.0 hsr.HSRInstanceSet {{   HSR(15,5)   }} scg.protocol.ForAllExistsMin {{      }} 0.26666666666666666 1.0 hsr.HSRInstanceSet {{   HSR(18,9)   }} scg.protocol.ForAllExistsMin {{      }} 0.7222222222222222 1.0 hsr.HSRInstanceSet {{   HSR(17,15)   }} scg.protocol.ForAllExistsMin {{      }} 0.29411764705882354 1.0 hsr.HSRInstanceSet {{   HSR(20,16)   }} scg.protocol.ForAllExistsMin {{      }} 0.35 1.0 hsr.HSRInstanceSet {{   HSR(466,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.019313304721030045 1.0 hsr.HSRInstanceSet {{   HSR(26,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.19230769230769232 1.0 hsr.HSRInstanceSet {{   HSR(12,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.9166666666666666 1.0 hsr.HSRInstanceSet {{   HSR(848,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.01179245283018868 1.0 hsr.HSRInstanceSet {{   HSR(56,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.17857142857142858 1.0 hsr.HSRInstanceSet {{   HSR(20,17)   }} scg.protocol.ForAllExistsMin {{      }} 0.85 1.0 hsr.HSRInstanceSet {{   HSR(15,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.4 1.0 hsr.HSRInstanceSet {{   HSR(5,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.6 1.0 hsr.HSRInstanceSet {{   HSR(17,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.8823529411764706 1.0 hsr.HSRInstanceSet {{   HSR(4,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(11,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.36363636363636365 1.0 hsr.HSRInstanceSet {{   HSR(42,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{   HSR(13,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.9230769230769231 1.0 hsr.HSRInstanceSet {{   HSR(511,8)   }} scg.protocol.ForAllExistsMin {{      }} 0.01761252446183953 1.0 hsr.HSRInstanceSet {{   HSR(16,12)   }} scg.protocol.ForAllExistsMin {{      }} 0.375 1.0 hsr.HSRInstanceSet {{   HSR(19,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.15789473684210525 1.0 hsr.HSRInstanceSet {{   HSR(11,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.09090909090909091 1.0 hsr.HSRInstanceSet {{   HSR(18,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.3888888888888889 1.0 hsr.HSRInstanceSet {{   HSR(8,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.375 1.0 hsr.HSRInstanceSet {{   HSR(470,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.029787234042553193 1.0 hsr.HSRInstanceSet {{   HSR(127,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.05511811023622047 1.0 hsr.HSRInstanceSet {{   HSR(99,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.0707070707070707 1.0 hsr.HSRInstanceSet {{   HSR(22,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.2727272727272727 1.0 hsr.HSRInstanceSet {{   HSR(16,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.8125 1.0 hsr.HSRInstanceSet {{   HSR(20,8)   }} scg.protocol.ForAllExistsMin {{      }} 0.9 1.0 hsr.HSRInstanceSet {{   HSR(16,8)   }} scg.protocol.ForAllExistsMin {{      }} 0.4375 1.0 hsr.HSRInstanceSet {{   HSR(21,8)   }} scg.protocol.ForAllExistsMin {{      }} 0.09523809523809523 1.0  oppose hsr.HSRInstanceSet {{   HSR(16,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.8125 1.0 hsr.HSRInstanceSet {{   HSR(20,8)   }} scg.protocol.ForAllExistsMin {{      }} 0.9 1.0 hsr.HSRInstanceSet {{   HSR(16,8)   }} scg.protocol.ForAllExistsMin {{      }} 0.4375 1.0 hsr.HSRInstanceSet {{   HSR(21,8)   }} scg.protocol.ForAllExistsMin {{      }} 0.09523809523809523 1.0  protocolRequest provide hsr.HSRInstanceSet {{   HSR(16,12)   }} scg.protocol.ForAllExistsMin {{      }} 0.375 1.0 provide hsr.HSRInstanceSet {{   HSR(19,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.15789473684210525 1.0 provide hsr.HSRInstanceSet {{   HSR(11,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.09090909090909091 1.0 provide hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{  }} 0.374999999 1.0 provide hsr.HSRInstanceSet {{ HSR(127,6) }} scg.protocol.ForAllExistsMin {{  }} 0.05511810923622047 1.0 provide hsr.HSRInstanceSet {{   HSR(99,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.0707070707070707 1.0 provide hsr.HSRInstanceSet {{   HSR(22,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.2727272727272727 1.0 solve hsr.HSRInstance {{ HSR(4,2) }} hsr.HSRInstanceSet {{   HSR(4,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 solve hsr.HSRInstance {{ HSR(18,3) }} hsr.HSRInstanceSet {{ HSR(18,3) }} scg.protocol.ForAllExistsMin {{  }} 0.2777777777777778 1.0  
reply propose hsr.HSRInstanceSet {{   HSR(7,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{   HSR(64,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.09375 1.0 hsr.HSRInstanceSet {{   HSR(32,5)   }} scg.protocol.ForAllExistsMin {{      }} 0.15625 1.0 hsr.HSRInstanceSet {{   HSR(10,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.9 1.0 hsr.HSRInstanceSet {{   HSR(299,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.04013377926421405 1.0  oppose strengthening 0.3125 strengthening 0.4 refuting refuting  protocolResponse provide hsr.HSRInstance {{  HSR(16,12)  }}  provide hsr.HSRInstance {{  HSR(19,3)  }}  provide hsr.HSRInstance {{  HSR(11,6)  }}  provide hsr.HSRInstance {{  HSR(8,3)  }}  provide hsr.HSRInstance {{  HSR(127,6)  }}  provide hsr.HSRInstance {{  HSR(99,4)  }}  provide hsr.HSRInstance {{  HSR(22,2)  }}  solve hsr.HSRSolution {{  (2 y (1 y h 0 n h 1) n (3 y h 2 n h 3))  }}  solve hsr.HSRSolution {{  (11 y (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 (9 y (8 y h 7 n h 8) n (10 y h 9 n h 10)))) n (17 y (14 y (12 y h 11 n (13 y h 12 n h 13)) n (16 y (15 y h 14 n h 15) n h 16)) n h 17))  }}   
teamName  {{ Starbuck }}  
reputation 112.00000000600002

 request propose hsr.HSRInstanceSet {{   HSR(31,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.16129032258064516 1.0 hsr.HSRInstanceSet {{   HSR(16,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.3125 1.0 hsr.HSRInstanceSet {{   HSR(2,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(3,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{   HSR(64,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.109375 1.0 hsr.HSRInstanceSet {{   HSR(15,5)   }} scg.protocol.ForAllExistsMin {{      }} 0.26666666666666666 1.0 hsr.HSRInstanceSet {{   HSR(18,9)   }} scg.protocol.ForAllExistsMin {{      }} 0.7222222222222222 1.0 hsr.HSRInstanceSet {{   HSR(17,15)   }} scg.protocol.ForAllExistsMin {{      }} 0.29411764705882354 1.0 hsr.HSRInstanceSet {{   HSR(20,16)   }} scg.protocol.ForAllExistsMin {{      }} 0.35 1.0 hsr.HSRInstanceSet {{   HSR(466,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.019313304721030045 1.0 hsr.HSRInstanceSet {{   HSR(26,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.19230769230769232 1.0 hsr.HSRInstanceSet {{   HSR(12,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.9166666666666666 1.0 hsr.HSRInstanceSet {{   HSR(848,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.01179245283018868 1.0 hsr.HSRInstanceSet {{   HSR(56,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.17857142857142858 1.0 hsr.HSRInstanceSet {{   HSR(20,17)   }} scg.protocol.ForAllExistsMin {{      }} 0.85 1.0 hsr.HSRInstanceSet {{   HSR(15,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.4 1.0 hsr.HSRInstanceSet {{   HSR(5,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.6 1.0 hsr.HSRInstanceSet {{   HSR(17,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.8823529411764706 1.0 hsr.HSRInstanceSet {{   HSR(4,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(11,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.36363636363636365 1.0 hsr.HSRInstanceSet {{   HSR(42,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{   HSR(13,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.9230769230769231 1.0 hsr.HSRInstanceSet {{   HSR(511,8)   }} scg.protocol.ForAllExistsMin {{      }} 0.01761252446183953 1.0 hsr.HSRInstanceSet {{   HSR(16,12)   }} scg.protocol.ForAllExistsMin {{      }} 0.375 1.0 hsr.HSRInstanceSet {{   HSR(19,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.15789473684210525 1.0 hsr.HSRInstanceSet {{   HSR(11,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.09090909090909091 1.0 hsr.HSRInstanceSet {{   HSR(18,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.3888888888888889 1.0 hsr.HSRInstanceSet {{   HSR(8,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.375 1.0 hsr.HSRInstanceSet {{   HSR(470,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.029787234042553193 1.0 hsr.HSRInstanceSet {{   HSR(127,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.05511811023622047 1.0 hsr.HSRInstanceSet {{   HSR(99,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.0707070707070707 1.0 hsr.HSRInstanceSet {{   HSR(22,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.2727272727272727 1.0 hsr.HSRInstanceSet {{   HSR(16,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.8125 1.0 hsr.HSRInstanceSet {{   HSR(20,8)   }} scg.protocol.ForAllExistsMin {{      }} 0.9 1.0 hsr.HSRInstanceSet {{   HSR(16,8)   }} scg.protocol.ForAllExistsMin {{      }} 0.4375 1.0 hsr.HSRInstanceSet {{   HSR(21,8)   }} scg.protocol.ForAllExistsMin {{      }} 0.09523809523809523 1.0 hsr.HSRInstanceSet {{   HSR(7,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{   HSR(64,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.09375 1.0 hsr.HSRInstanceSet {{   HSR(32,5)   }} scg.protocol.ForAllExistsMin {{      }} 0.15625 1.0 hsr.HSRInstanceSet {{   HSR(10,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.9 1.0 hsr.HSRInstanceSet {{   HSR(299,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.04013377926421405 1.0  oppose hsr.HSRInstanceSet {{   HSR(7,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{   HSR(64,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.09375 1.0 hsr.HSRInstanceSet {{   HSR(32,5)   }} scg.protocol.ForAllExistsMin {{      }} 0.15625 1.0 hsr.HSRInstanceSet {{   HSR(10,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.9 1.0 hsr.HSRInstanceSet {{   HSR(299,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.04013377926421405 1.0  protocolRequest provide hsr.HSRInstanceSet {{   HSR(470,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.029787234042553193 1.0 provide hsr.HSRInstanceSet {{ HSR(16,3) }} scg.protocol.ForAllExistsMin {{  }} 0.3125 1.0 provide hsr.HSRInstanceSet {{ HSR(20,8) }} scg.protocol.ForAllExistsMin {{  }} 0.4 1.0 solve hsr.HSRInstance {{ HSR(16,12) }} hsr.HSRInstanceSet {{   HSR(16,12)   }} scg.protocol.ForAllExistsMin {{      }} 0.375 1.0 solve hsr.HSRInstance {{ HSR(19,3) }} hsr.HSRInstanceSet {{   HSR(19,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.15789473684210525 1.0 solve hsr.HSRInstance {{ HSR(11,6) }} hsr.HSRInstanceSet {{   HSR(11,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.09090909090909091 1.0 solve hsr.HSRInstance {{ HSR(8,3) }} hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{  }} 0.374999999 1.0 solve hsr.HSRInstance {{ HSR(127,6) }} hsr.HSRInstanceSet {{ HSR(127,6) }} scg.protocol.ForAllExistsMin {{  }} 0.05511810923622047 1.0 solve hsr.HSRInstance {{ HSR(99,4) }} hsr.HSRInstanceSet {{   HSR(99,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.0707070707070707 1.0 solve hsr.HSRInstance {{ HSR(22,2) }} hsr.HSRInstanceSet {{   HSR(22,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.2727272727272727 1.0  
reply propose hsr.HSRInstanceSet {{   HSR(20,5)   }} scg.protocol.ForAllExistsMin {{      }} 0.35 1.0 hsr.HSRInstanceSet {{   HSR(11,10)   }} scg.protocol.ForAllExistsMin {{      }} 0.09090909090909091 1.0 hsr.HSRInstanceSet {{   HSR(12,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.4166666666666667 1.0 hsr.HSRInstanceSet {{   HSR(12,9)   }} scg.protocol.ForAllExistsMin {{      }} 0.6666666666666666 1.0  oppose agree refuting agree agree strengthening 0.04013377826421405  protocolResponse provide hsr.HSRInstance {{  HSR(470,3)  }}  provide hsr.HSRInstance {{  HSR(16,3)  }}  provide hsr.HSRInstance {{  HSR(20,8)  }}  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 (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 h 18))))))))))))))))))  }}  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 h 7)))))))  }}  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 h 126))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))  }}  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 h 98))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))  }}  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 h 21)))))))))))))))))))))  }}   
teamName  {{ babyavatar }}  
reputation 85.99999999399998

 request propose hsr.HSRInstanceSet {{   HSR(31,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.16129032258064516 1.0 hsr.HSRInstanceSet {{   HSR(16,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.3125 1.0 hsr.HSRInstanceSet {{   HSR(2,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(3,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{   HSR(64,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.109375 1.0 hsr.HSRInstanceSet {{   HSR(15,5)   }} scg.protocol.ForAllExistsMin {{      }} 0.26666666666666666 1.0 hsr.HSRInstanceSet {{   HSR(18,9)   }} scg.protocol.ForAllExistsMin {{      }} 0.7222222222222222 1.0 hsr.HSRInstanceSet {{   HSR(17,15)   }} scg.protocol.ForAllExistsMin {{      }} 0.29411764705882354 1.0 hsr.HSRInstanceSet {{   HSR(20,16)   }} scg.protocol.ForAllExistsMin {{      }} 0.35 1.0 hsr.HSRInstanceSet {{   HSR(466,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.019313304721030045 1.0 hsr.HSRInstanceSet {{   HSR(26,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.19230769230769232 1.0 hsr.HSRInstanceSet {{   HSR(12,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.9166666666666666 1.0 hsr.HSRInstanceSet {{   HSR(848,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.01179245283018868 1.0 hsr.HSRInstanceSet {{   HSR(56,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.17857142857142858 1.0 hsr.HSRInstanceSet {{   HSR(20,17)   }} scg.protocol.ForAllExistsMin {{      }} 0.85 1.0 hsr.HSRInstanceSet {{   HSR(15,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.4 1.0 hsr.HSRInstanceSet {{   HSR(5,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.6 1.0 hsr.HSRInstanceSet {{   HSR(17,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.8823529411764706 1.0 hsr.HSRInstanceSet {{   HSR(4,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(11,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.36363636363636365 1.0 hsr.HSRInstanceSet {{   HSR(42,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{   HSR(13,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.9230769230769231 1.0 hsr.HSRInstanceSet {{   HSR(511,8)   }} scg.protocol.ForAllExistsMin {{      }} 0.01761252446183953 1.0 hsr.HSRInstanceSet {{   HSR(16,12)   }} scg.protocol.ForAllExistsMin {{      }} 0.375 1.0 hsr.HSRInstanceSet {{   HSR(19,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.15789473684210525 1.0 hsr.HSRInstanceSet {{   HSR(11,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.09090909090909091 1.0 hsr.HSRInstanceSet {{   HSR(18,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.3888888888888889 1.0 hsr.HSRInstanceSet {{   HSR(8,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.375 1.0 hsr.HSRInstanceSet {{   HSR(470,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.029787234042553193 1.0 hsr.HSRInstanceSet {{   HSR(127,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.05511811023622047 1.0 hsr.HSRInstanceSet {{   HSR(99,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.0707070707070707 1.0 hsr.HSRInstanceSet {{   HSR(22,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.2727272727272727 1.0 hsr.HSRInstanceSet {{   HSR(16,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.8125 1.0 hsr.HSRInstanceSet {{   HSR(20,8)   }} scg.protocol.ForAllExistsMin {{      }} 0.9 1.0 hsr.HSRInstanceSet {{   HSR(16,8)   }} scg.protocol.ForAllExistsMin {{      }} 0.4375 1.0 hsr.HSRInstanceSet {{   HSR(21,8)   }} scg.protocol.ForAllExistsMin {{      }} 0.09523809523809523 1.0 hsr.HSRInstanceSet {{   HSR(7,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{   HSR(64,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.09375 1.0 hsr.HSRInstanceSet {{   HSR(32,5)   }} scg.protocol.ForAllExistsMin {{      }} 0.15625 1.0 hsr.HSRInstanceSet {{   HSR(10,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.9 1.0 hsr.HSRInstanceSet {{   HSR(299,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.04013377926421405 1.0 hsr.HSRInstanceSet {{   HSR(20,5)   }} scg.protocol.ForAllExistsMin {{      }} 0.35 1.0 hsr.HSRInstanceSet {{   HSR(11,10)   }} scg.protocol.ForAllExistsMin {{      }} 0.09090909090909091 1.0 hsr.HSRInstanceSet {{   HSR(12,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.4166666666666667 1.0 hsr.HSRInstanceSet {{   HSR(12,9)   }} scg.protocol.ForAllExistsMin {{      }} 0.6666666666666666 1.0  oppose hsr.HSRInstanceSet {{   HSR(20,5)   }} scg.protocol.ForAllExistsMin {{      }} 0.35 1.0 hsr.HSRInstanceSet {{   HSR(11,10)   }} scg.protocol.ForAllExistsMin {{      }} 0.09090909090909091 1.0 hsr.HSRInstanceSet {{   HSR(12,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.4166666666666667 1.0 hsr.HSRInstanceSet {{   HSR(12,9)   }} scg.protocol.ForAllExistsMin {{      }} 0.6666666666666666 1.0  protocolRequest provide hsr.HSRInstanceSet {{   HSR(16,8)   }} scg.protocol.ForAllExistsMin {{      }} 0.4375 1.0 provide hsr.HSRInstanceSet {{   HSR(21,8)   }} scg.protocol.ForAllExistsMin {{      }} 0.09523809523809523 1.0 provide hsr.HSRInstanceSet {{   HSR(7,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.42857142857142855 1.0 provide hsr.HSRInstanceSet {{   HSR(32,5)   }} scg.protocol.ForAllExistsMin {{      }} 0.15625 1.0 provide hsr.HSRInstanceSet {{   HSR(10,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.9 1.0 provide hsr.HSRInstanceSet {{ HSR(299,3) }} scg.protocol.ForAllExistsMin {{  }} 0.04013377826421405 1.0 solve hsr.HSRInstance {{ HSR(470,3) }} hsr.HSRInstanceSet {{   HSR(470,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.029787234042553193 1.0 solve hsr.HSRInstance {{ HSR(16,3) }} hsr.HSRInstanceSet {{ HSR(16,3) }} scg.protocol.ForAllExistsMin {{  }} 0.3125 1.0 solve hsr.HSRInstance {{ HSR(20,8) }} hsr.HSRInstanceSet {{ HSR(20,8) }} scg.protocol.ForAllExistsMin {{  }} 0.4 1.0  
reply propose hsr.HSRInstanceSet {{   HSR(15,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.26666666666666666 1.0 hsr.HSRInstanceSet {{   HSR(4,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.75 1.0 hsr.HSRInstanceSet {{   HSR(255,7)   }} scg.protocol.ForAllExistsMin {{      }} 0.03137254901960784 1.0 hsr.HSRInstanceSet {{   HSR(382,5)   }} scg.protocol.ForAllExistsMin {{      }} 0.02356020942408377 1.0 hsr.HSRInstanceSet {{   HSR(11,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.9090909090909091 1.0  oppose strengthening 0.25 refuting strengthening 0.9166666666666666 refuting  protocolResponse provide hsr.HSRInstance {{  HSR(16,8)  }}  provide hsr.HSRInstance {{  HSR(21,8)  }}  provide hsr.HSRInstance {{  HSR(7,2)  }}  provide hsr.HSRInstance {{  HSR(32,5)  }}  provide hsr.HSRInstance {{  HSR(10,1)  }}  provide hsr.HSRInstance {{  HSR(299,3)  }}  solve hsr.HSRSolution {{  (92 y (13 y (1 y h 0 n (2 y h 1 n (3 y h 2 n (4 y h 3 n (5 y h 4 n (6 y h 5 n (7 y h 6 n (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 (25 y (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))))))))))) n (36 y (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 h 35)))))))))) n (46 y (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 h 45))))))))) n (55 y (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 h 54)))))))) n (63 y (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 h 62))))))) n (70 y (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 h 69)))))) n (76 y (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 h 75))))) n (81 y (77 y h 76 n (78 y h 77 n (79 y h 78 n (80 y h 79 n h 80)))) n (85 y (82 y h 81 n (83 y h 82 n (84 y h 83 n h 84))) n (88 y (86 y h 85 n (87 y h 86 n h 87)) n (90 y (89 y h 88 n h 89) n (91 y h 90 n h 91))))))))))))) n (171 y (104 y (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 h 103))))))))))) n (115 y (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 h 114)))))))))) n (125 y (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 h 124))))))))) n (134 y (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 h 133)))))))) n (142 y (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 h 141))))))) n (149 y (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 h 148)))))) n (155 y (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 h 154))))) n (160 y (156 y h 155 n (157 y h 156 n (158 y h 157 n (159 y h 158 n h 159)))) n (164 y (161 y h 160 n (162 y h 161 n (163 y h 162 n h 163))) n (167 y (165 y h 164 n (166 y h 165 n h 166)) n (169 y (168 y h 167 n h 168) n (170 y h 169 n h 170)))))))))))) n (238 y (182 y (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 h 181)))))))))) n (192 y (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 h 191))))))))) n (201 y (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)))))))) n (209 y (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 h 208))))))) n (216 y (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 h 215)))))) n (222 y (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 h 221))))) n (227 y (223 y h 222 n (224 y h 223 n (225 y h 224 n (226 y h 225 n h 226)))) n (231 y (228 y h 227 n (229 y h 228 n (230 y h 229 n h 230))) n (234 y (232 y h 231 n (233 y h 232 n h 233)) n (236 y (235 y h 234 n h 235) n (237 y h 236 n h 237))))))))))) n (294 y (248 y (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 h 247))))))))) n (257 y (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 h 256)))))))) n (265 y (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 h 264))))))) n (272 y (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 h 271)))))) n (278 y (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 h 277))))) n (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 (340 y (303 y (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 h 302)))))))) n (311 y (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 h 310))))))) n (318 y (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 h 317)))))) n (324 y (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 h 323))))) n (329 y (325 y h 324 n (326 y h 325 n (327 y h 326 n (328 y h 327 n h 328)))) n (333 y (330 y h 329 n (331 y h 330 n (332 y h 331 n h 332))) n (336 y (334 y h 333 n (335 y h 334 n h 335)) n (338 y (337 y h 336 n h 337) n (339 y h 338 n h 339))))))))) n (377 y (348 y (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 h 347))))))) n (355 y (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 h 354)))))) n (361 y (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 h 360))))) n (366 y (362 y h 361 n (363 y h 362 n (364 y h 363 n (365 y h 364 n h 365)))) n (370 y (367 y h 366 n (368 y h 367 n (369 y h 368 n h 369))) n (373 y (371 y h 370 n (372 y h 371 n h 372)) n (375 y (374 y h 373 n h 374) n (376 y h 375 n h 376)))))))) n (406 y (384 y (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 h 383)))))) n (390 y (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 h 389))))) n (395 y (391 y h 390 n (392 y h 391 n (393 y h 392 n (394 y h 393 n h 394)))) n (399 y (396 y h 395 n (397 y h 396 n (398 y h 397 n h 398))) n (402 y (400 y h 399 n (401 y h 400 n h 401)) n (404 y (403 y h 402 n h 403) n (405 y h 404 n h 405))))))) n (428 y (412 y (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 h 411))))) n (417 y (413 y h 412 n (414 y h 413 n (415 y h 414 n (416 y h 415 n h 416)))) n (421 y (418 y h 417 n (419 y h 418 n (420 y h 419 n h 420))) n (424 y (422 y h 421 n (423 y h 422 n h 423)) n (426 y (425 y h 424 n h 425) n (427 y h 426 n h 427)))))) n (444 y (433 y (429 y h 428 n (430 y h 429 n (431 y h 430 n (432 y h 431 n h 432)))) n (437 y (434 y h 433 n (435 y h 434 n (436 y h 435 n h 436))) n (440 y (438 y h 437 n (439 y h 438 n h 439)) n (442 y (441 y h 440 n h 441) n (443 y h 442 n h 443))))) n (455 y (448 y (445 y h 444 n (446 y h 445 n (447 y h 446 n h 447))) n (451 y (449 y h 448 n (450 y h 449 n h 450)) n (453 y (452 y h 451 n h 452) n (454 y h 453 n h 454)))) n (462 y (458 y (456 y h 455 n (457 y h 456 n h 457)) n (460 y (459 y h 458 n h 459) n (461 y h 460 n h 461))) n (466 y (464 y (463 y h 462 n h 463) n (465 y h 464 n h 465)) n (468 y (467 y h 466 n h 467) n (469 y h 468 n h 469))))))))))))))  }}  solve hsr.HSRSolution {{  (11 y (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 (9 y (8 y h 7 n h 8) n (10 y h 9 n h 10)))) n (15 y (14 y (12 y h 11 n (13 y h 12 n h 13)) n h 14) n h 15))  }}  solve hsr.HSRSolution {{  (11 y (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 (9 y (8 y h 7 n h 8) n (10 y h 9 n h 10)))) n (18 y (14 y (12 y h 11 n (13 y h 12 n h 13)) n (16 y (15 y h 14 n h 15) n (17 y h 16 n h 17))) n (19 y h 18 n h 19)))  }}   
teamName  {{ Starbuck }}  
reputation 119.00000000800003

 request propose hsr.HSRInstanceSet {{   HSR(31,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.16129032258064516 1.0 hsr.HSRInstanceSet {{   HSR(16,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.3125 1.0 hsr.HSRInstanceSet {{   HSR(2,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(3,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{   HSR(64,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.109375 1.0 hsr.HSRInstanceSet {{   HSR(15,5)   }} scg.protocol.ForAllExistsMin {{      }} 0.26666666666666666 1.0 hsr.HSRInstanceSet {{   HSR(18,9)   }} scg.protocol.ForAllExistsMin {{      }} 0.7222222222222222 1.0 hsr.HSRInstanceSet {{   HSR(17,15)   }} scg.protocol.ForAllExistsMin {{      }} 0.29411764705882354 1.0 hsr.HSRInstanceSet {{   HSR(20,16)   }} scg.protocol.ForAllExistsMin {{      }} 0.35 1.0 hsr.HSRInstanceSet {{   HSR(466,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.019313304721030045 1.0 hsr.HSRInstanceSet {{   HSR(26,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.19230769230769232 1.0 hsr.HSRInstanceSet {{   HSR(12,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.9166666666666666 1.0 hsr.HSRInstanceSet {{   HSR(848,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.01179245283018868 1.0 hsr.HSRInstanceSet {{   HSR(56,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.17857142857142858 1.0 hsr.HSRInstanceSet {{   HSR(20,17)   }} scg.protocol.ForAllExistsMin {{      }} 0.85 1.0 hsr.HSRInstanceSet {{   HSR(15,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.4 1.0 hsr.HSRInstanceSet {{   HSR(5,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.6 1.0 hsr.HSRInstanceSet {{   HSR(17,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.8823529411764706 1.0 hsr.HSRInstanceSet {{   HSR(4,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(11,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.36363636363636365 1.0 hsr.HSRInstanceSet {{   HSR(42,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{   HSR(13,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.9230769230769231 1.0 hsr.HSRInstanceSet {{   HSR(511,8)   }} scg.protocol.ForAllExistsMin {{      }} 0.01761252446183953 1.0 hsr.HSRInstanceSet {{   HSR(16,12)   }} scg.protocol.ForAllExistsMin {{      }} 0.375 1.0 hsr.HSRInstanceSet {{   HSR(19,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.15789473684210525 1.0 hsr.HSRInstanceSet {{   HSR(11,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.09090909090909091 1.0 hsr.HSRInstanceSet {{   HSR(18,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.3888888888888889 1.0 hsr.HSRInstanceSet {{   HSR(8,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.375 1.0 hsr.HSRInstanceSet {{   HSR(470,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.029787234042553193 1.0 hsr.HSRInstanceSet {{   HSR(127,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.05511811023622047 1.0 hsr.HSRInstanceSet {{   HSR(99,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.0707070707070707 1.0 hsr.HSRInstanceSet {{   HSR(22,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.2727272727272727 1.0 hsr.HSRInstanceSet {{   HSR(16,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.8125 1.0 hsr.HSRInstanceSet {{   HSR(20,8)   }} scg.protocol.ForAllExistsMin {{      }} 0.9 1.0 hsr.HSRInstanceSet {{   HSR(16,8)   }} scg.protocol.ForAllExistsMin {{      }} 0.4375 1.0 hsr.HSRInstanceSet {{   HSR(21,8)   }} scg.protocol.ForAllExistsMin {{      }} 0.09523809523809523 1.0 hsr.HSRInstanceSet {{   HSR(7,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{   HSR(64,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.09375 1.0 hsr.HSRInstanceSet {{   HSR(32,5)   }} scg.protocol.ForAllExistsMin {{      }} 0.15625 1.0 hsr.HSRInstanceSet {{   HSR(10,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.9 1.0 hsr.HSRInstanceSet {{   HSR(299,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.04013377926421405 1.0 hsr.HSRInstanceSet {{   HSR(20,5)   }} scg.protocol.ForAllExistsMin {{      }} 0.35 1.0 hsr.HSRInstanceSet {{   HSR(11,10)   }} scg.protocol.ForAllExistsMin {{      }} 0.09090909090909091 1.0 hsr.HSRInstanceSet {{   HSR(12,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.4166666666666667 1.0 hsr.HSRInstanceSet {{   HSR(12,9)   }} scg.protocol.ForAllExistsMin {{      }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{   HSR(15,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.26666666666666666 1.0 hsr.HSRInstanceSet {{   HSR(4,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.75 1.0 hsr.HSRInstanceSet {{   HSR(255,7)   }} scg.protocol.ForAllExistsMin {{      }} 0.03137254901960784 1.0 hsr.HSRInstanceSet {{   HSR(382,5)   }} scg.protocol.ForAllExistsMin {{      }} 0.02356020942408377 1.0 hsr.HSRInstanceSet {{   HSR(11,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.9090909090909091 1.0  oppose hsr.HSRInstanceSet {{   HSR(15,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.26666666666666666 1.0 hsr.HSRInstanceSet {{   HSR(4,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.75 1.0 hsr.HSRInstanceSet {{   HSR(255,7)   }} scg.protocol.ForAllExistsMin {{      }} 0.03137254901960784 1.0 hsr.HSRInstanceSet {{   HSR(382,5)   }} scg.protocol.ForAllExistsMin {{      }} 0.02356020942408377 1.0 hsr.HSRInstanceSet {{   HSR(11,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.9090909090909091 1.0  protocolRequest provide hsr.HSRInstanceSet {{   HSR(64,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.09375 1.0 provide hsr.HSRInstanceSet {{ HSR(20,5) }} scg.protocol.ForAllExistsMin {{  }} 0.25 1.0 solve hsr.HSRInstance {{ HSR(16,8) }} hsr.HSRInstanceSet {{   HSR(16,8)   }} scg.protocol.ForAllExistsMin {{      }} 0.4375 1.0 solve hsr.HSRInstance {{ HSR(21,8) }} hsr.HSRInstanceSet {{   HSR(21,8)   }} scg.protocol.ForAllExistsMin {{      }} 0.09523809523809523 1.0 solve hsr.HSRInstance {{ HSR(7,2) }} hsr.HSRInstanceSet {{   HSR(7,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.42857142857142855 1.0 solve hsr.HSRInstance {{ HSR(32,5) }} hsr.HSRInstanceSet {{   HSR(32,5)   }} scg.protocol.ForAllExistsMin {{      }} 0.15625 1.0 solve hsr.HSRInstance {{ HSR(10,1) }} hsr.HSRInstanceSet {{   HSR(10,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.9 1.0 solve hsr.HSRInstance {{ HSR(299,3) }} hsr.HSRInstanceSet {{ HSR(299,3) }} scg.protocol.ForAllExistsMin {{  }} 0.04013377826421405 1.0  
reply propose hsr.HSRInstanceSet {{   HSR(6,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(19,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.42105263157894735 1.0 hsr.HSRInstanceSet {{   HSR(11,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.45454545454545453 1.0 hsr.HSRInstanceSet {{   HSR(8,5)   }} scg.protocol.ForAllExistsMin {{      }} 0.375 1.0  oppose strengthening 0.26666666566666664 agree agree strengthening 0.02356020842408377 agree  protocolResponse provide hsr.HSRInstance {{  HSR(64,6)  }}  provide hsr.HSRInstance {{  HSR(20,5)  }}  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 (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 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 (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 h 31)))))))))))))))))))))))))))))))  }}  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 (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 h 298))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))  }}   
teamName  {{ babyavatar }}  
reputation 76.99999999199997

  
 {{ Starbuck }}  127.00000000900003
 {{ babyavatar }}  72.99999999099997