Doublets y counting
expressions, automated judge and fmt