// max probability second coin protocol is initiated
multi ( Pmax=? [ F (s1=3 & r1=2) | (s2=3 & r2=2) | (s3=3 & r3=2) ] , P>=1-0.22908875545788154 [ G (c1=0) ] ) // k=2
multi ( Pmax=? [ F (s1=3 & r1=2) | (s2=3 & r2=2) | (s3=3 & r3=2) ] , P>=1-0.12450138796380233 [ G (c1=0) ] ) // k=4
multi ( Pmax=? [ F (s1=3 & r1=2) | (s2=3 & r2=2) | (s3=3 & r3=2) ] , P>=1-0.06248479880890647 [ G (c1=0) ] ) // k=8
multi ( Pmax=? [ F (s1=3 & r1=2) | (s2=3 & r2=2) | (s3=3 & r3=2) ] , P>=1-0.04164365757451993 [ G (c1=0) ] ) // k=12
multi ( Pmax=? [ F (s1=3 & r1=2) | (s2=3 & r2=2) | (s3=3 & r3=2) ] , P>=1-0.031218839562495434 [ G (c1=0) ] ) // k=16
multi ( Pmax=? [ F (s1=3 & r1=2) | (s2=3 & r2=2) | (s3=3 & r3=2) ] , P>=1-0.024960596483605976 [ G (c1=0) ] ) // k=20