for(;;print(l-32?j?j+' '+i:'':'9 10'))for(l=readline(i=s='').replace(/\w+ ?/g,function(c)c[5]?5:c>'C'|2);i<182>(j=0xFCA9653>>4*s.search(l)&15);s+=i%5?a:a+2)a=++i%3?'':3
Note that non-ascii characters in the above source code will be escaped (such as \x9f).