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

 claim hsr.HSRInstanceSet {{   HSR(16,10)   }} scg.protocol.ForAllExistsMin {{      }} 0.625 1.0 
proposer  {{ milo }}  
opposer  {{ iGalaxy }}  
action strengthening 0.25 
responses provider  {{ milo }}  pr provide hsr.HSRInstance {{  HSR(16,10)  }} 
 provider  {{ iGalaxy }}  pr solve hsr.HSRSolution {{  (8 y (4 y (2 y (1 y h 0 n h 1) n (3 y h 2 n h 3)) n (6 y (5 y h 4 n h 5) n (7 y h 6 n h 7))) n (12 y (10 y (9 y h 8 n h 9) n (11 y h 10 n h 11)) n (14 y (13 y h 12 n h 13) n (15 y h 14 n h 15))))  }} 
  winner  {{ iGalaxy }}  
pointsWon 1.0

 claim hsr.HSRInstanceSet {{   HSR(6,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 
proposer  {{ milo }}  
opposer  {{ iGalaxy }}  
action refuting 
responses provider  {{ iGalaxy }}  pr provide hsr.HSRInstance {{  HSR(6,1)  }} 
  winner  {{  }}  
pointsWon 0.0

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

 claim hsr.HSRInstanceSet {{   HSR(480,404)   }} scg.protocol.ForAllExistsMin {{      }} 0.01875 1.0 
proposer  {{ iGalaxy }}  
opposer  {{ milo }}  
action strengthening 0.018749999 
responses provider  {{ iGalaxy }}  pr provide hsr.HSRInstance {{  HSR(480,404)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(546,430)   }} scg.protocol.ForAllExistsMin {{      }} 0.018315018315018316 1.0 
proposer  {{ iGalaxy }}  
opposer  {{ milo }}  
action strengthening 0.018315017315018316 
responses provider  {{ iGalaxy }}  pr provide hsr.HSRInstance {{  HSR(546,430)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(495,404)   }} scg.protocol.ForAllExistsMin {{      }} 0.01818181818181818 1.0 
proposer  {{ iGalaxy }}  
opposer  {{ milo }}  
action strengthening 0.01818181718181818 
responses provider  {{ iGalaxy }}  pr provide hsr.HSRInstance {{  HSR(495,404)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(623,473)   }} scg.protocol.ForAllExistsMin {{      }} 0.016051364365971106 1.0 
proposer  {{ iGalaxy }}  
opposer  {{ milo }}  
action strengthening 0.016051363365971107 
responses provider  {{ iGalaxy }}  pr provide hsr.HSRInstance {{  HSR(623,473)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(632,431)   }} scg.protocol.ForAllExistsMin {{      }} 0.015822784810126583 1.0 
proposer  {{ iGalaxy }}  
opposer  {{ milo }}  
action strengthening 0.015822783810126584 
responses provider  {{ iGalaxy }}  pr provide hsr.HSRInstance {{  HSR(632,431)  }} 
  winner  {{  }}  
pointsWon 0.0

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

 claim hsr.HSRInstanceSet {{   HSR(18,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.8888888888888888 1.0 
proposer  {{ milo }}  
opposer  {{ iGalaxy }}  
action strengthening 0.2777777777777778 
responses  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(4,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.25 1.0 
proposer  {{ milo }}  
opposer  {{ iGalaxy }}  
action refuting 
responses  winner  {{  }}  
pointsWon 0.0

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

  
 {{ milo }}  98.0
 {{ iGalaxy }}  102.0