Lemma4 2 1 tau 1 deg {1} OK
Lemma4 2 2 tau 2 deg {2} OK
Lemma4 2 3 tau 3 deg {4} OK
Lemma4 2 4 tau 4 deg {8} OK
Lemma4 3 2 tau 2 deg {6} OK
Lemma4 3 3 tau 3 deg {18} OK
Lemma4 5 2 tau 2 deg {20} OK
Lemma6 instances 42 fails 0
chain instances 14 fails 0 | total fails 0
