// max probability second coin protocol is initiated
multi ( Pmax=? [ F (s1=3 & r1=2) | (s2=3 & r2=2) ] , P>=1-0.10833260973166493 [ G (c1=0) ] ) // k=2
multi ( Pmax=? [ F (s1=3 & r1=2) | (s2=3 & r2=2) ] , P>=1-0.061518025457429924 [ G (c1=0) ] ) // k=4
multi ( Pmax=? [ F (s1=3 & r1=2) | (s2=3 & r2=2) ] , P>=1-0.031242851478116937 [ G (c1=0) ] ) // k=8
multi ( Pmax=? [ F (s1=3 & r1=2) | (s2=3 & r2=2) ] , P>=1-0.020828194647463896 [ G (c1=0) ] ) // k=12
multi ( Pmax=? [ F (s1=3 & r1=2) | (s2=3 & r2=2) ] , P>=1-0.015618082185381363 [ G (c1=0) ] ) // k=16
multi ( Pmax=? [ F (s1=3 & r1=2) | (s2=3 & r2=2) ] , P>=1-0.012491262448108213 [ G (c1=0) ] ) // k=20