result += clifford_check3(); cout << '.' << flush;
result += clifford_check4(); cout << '.' << flush;
result += clifford_check5(); cout << '.' << flush;
result += clifford_check3(); cout << '.' << flush;
result += clifford_check4(); cout << '.' << flush;
result += clifford_check5(); cout << '.' << flush;