claim hsr.HSRInstanceSet {{   HSR(6,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.6666666666666666 1.0 
proposer  {{ milo }}  
opposer  {{ TheGreatGonzo }}  
action strengthening 0.5 
responses provider  {{ milo }}  pr provide hsr.HSRInstance {{  HSR(6,3)  }} 
 provider  {{ TheGreatGonzo }}  pr solve hsr.HSRSolution {{  (4 y (2 y (1 y h 0 n h 1) n (3 y h 2 n h 3)) n (5 y h 4 n h 5))  }} 
  winner  {{ TheGreatGonzo }}  
pointsWon 1.0

 claim hsr.HSRInstanceSet {{   HSR(7,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.8571428571428571 1.0 
proposer  {{ milo }}  
opposer  {{ TheGreatGonzo }}  
action strengthening 0.42857142857142855 
responses provider  {{ milo }}  pr provide hsr.HSRInstance {{  HSR(7,4)  }} 
 provider  {{ TheGreatGonzo }}  pr solve hsr.HSRSolution {{  (4 y (2 y (1 y h 0 n h 1) n (3 y h 2 n h 3)) n (6 y (5 y h 4 n h 5) n h 6))  }} 
  winner  {{ TheGreatGonzo }}  
pointsWon 1.0

 claim hsr.HSRInstanceSet {{   HSR(15,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.6666666666666666 1.0 
proposer  {{ milo }}  
opposer  {{ TheGreatGonzo }}  
action strengthening 0.26666666666666666 
responses provider  {{ milo }}  pr provide hsr.HSRInstance {{  HSR(15,3)  }} 
 provider  {{ TheGreatGonzo }}  pr 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))))  }} 
  winner  {{ TheGreatGonzo }}  
pointsWon 1.0

 claim hsr.HSRInstanceSet {{   HSR(3,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.3333333333333333 1.0 
proposer  {{ milo }}  
opposer  {{ TheGreatGonzo }}  
action refuting 
responses provider  {{ TheGreatGonzo }}  pr provide hsr.HSRInstance {{  HSR(3,2)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(539,5)   }} scg.protocol.ForAllExistsMin {{      }} 0.01855287569573284 1.0 
proposer  {{ TheGreatGonzo }}  
opposer  {{ milo }}  
action strengthening 0.01855287469573284 
responses provider  {{ TheGreatGonzo }}  pr provide hsr.HSRInstance {{  HSR(539,5)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(973,7)   }} scg.protocol.ForAllExistsMin {{      }} 0.011305241521068859 1.0 
proposer  {{ TheGreatGonzo }}  
opposer  {{ milo }}  
action strengthening 0.01130524052106886 
responses provider  {{ TheGreatGonzo }}  pr provide hsr.HSRInstance {{  HSR(973,7)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(1000,1000)   }} scg.protocol.ForAllExistsMin {{      }} 0.01 1.0 
proposer  {{ TheGreatGonzo }}  
opposer  {{ milo }}  
action strengthening 0.009999999 
responses provider  {{ TheGreatGonzo }}  pr provide hsr.HSRInstance {{  HSR(1000,1000)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(109,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.13761467889908258 1.0 
proposer  {{ TheGreatGonzo }}  
opposer  {{ milo }}  
action strengthening 0.13761467789908258 
responses provider  {{ TheGreatGonzo }}  pr provide hsr.HSRInstance {{  HSR(109,2)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(3,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.6666666666666666 1.0 
proposer  {{ milo }}  
opposer  {{ TheGreatGonzo }}  
action agree 
responses  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(14,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.42857142857142855 1.0 
proposer  {{ milo }}  
opposer  {{ TheGreatGonzo }}  
action strengthening 0.2857142857142857 
responses  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(15,9)   }} scg.protocol.ForAllExistsMin {{      }} 0.4 1.0 
proposer  {{ milo }}  
opposer  {{ TheGreatGonzo }}  
action strengthening 0.26666666666666666 
responses  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(7,5)   }} scg.protocol.ForAllExistsMin {{      }} 0.42857142857142855 1.0 
proposer  {{ milo }}  
opposer  {{ TheGreatGonzo }}  
action agree 
responses  winner  {{  }}  
pointsWon 0.0

  
 {{ milo }}  98.0
 {{ TheGreatGonzo }}  102.0