function checkList() {
proofs += "*headlock/w100.html";
proofs += "*headlock/s109.html";
proofs += "*headlock/r140.html";
}