The first compatible pair when there is no pair greater than (p,q) is ('000000....00' , '0000000...00' ) , isn't it ?
I got WA test 22nd , please help me a bit .