$n,'counterexamples'=>3,'SQL'=>0,'HTTP'=>0]),"\n";