twt-nnf-test

260 1 2 3 4 5 6 7 8 90 1 2 3 4 5 6 7 8 9

3080 1 2 3 4 5 6 7 8 90 1 2 3 4 5 6 7 8 90 1 2 3 4 5 6 7 8 9

1060 1 2 3 4 5 6 7 8 90 1 2 3 4 5 6 7 8 90 1 2 3 4 5 6 7 8 9