20 2
1 9 19 0
1 19 2 14 0
1 9 13 2 0
1 5 13 2 0
1 16 3 2 5 7 10 0
1 7 8 11 2 0
1 5 2 13 0
1 8 10 9 2 1 3 5 4 6 7 0
1 2 9 13 5 0
1 2 0
1 2 0
1 9 13 0
1 13 5 0
1 13 5 9 0
1 14 16 15 0
1 8 7 5 9 11 0
1 7 8 9 0
1 7 8 11 0
1 1 4 8 0
1 1 4 0
1 1 0
1 20 1 4 0
1 11 8 0
1 15 0
1 9 0
1 9 0
1 16 12 6 17 0
1 13 5 12 2 9 19 0
1 19 11 0
1 13 2 19 0
1 13 5 19 2 9 20 0
1 13 5 19 20 0
1 7 8 11 19 0
1 8 7 19 11 0
1 3 19 9 0
1 10 9 19 2 0
1 12 16 6 18 19 0
1 12 15 1 0
1 12 15 6 19 16 20 7 13 0
1 12 9 0
1 6 17 15 12 0
1 14 12 0
1 14 15 12 6 0
1 4 1 12 9 0
1 1 4 6 17 12 15 0
1 16 12 15 0
1 18 20 0
1 18 0
1 18 20 0
1 18 19 20 8 7 9 0
1 18 9 1 4 19 20 2 7 11 0
1 18 9 2 19 11 4 7 10 15 12 1 8 20 13 16 14 6 17 5 0
1 18 20 9 5 0
1 18 19 9 5 6 15 11 13 2 3 17 8 12 7 4 1 10 14 20 0
1 18 19 20 9 0
1 18 19 9 10 0
1 18 9 7 20 11 13 1 0
1 18 9 20 0
1 18 1 9 19 20 0
1 18 20 10 15 3 6 19 9 1 14 17 5 12 0
1 9 18 20 19 7 2 0
1 20 18 7 14 11 4 6 9 16 19 15 2 1 12 17 5 3 13 10 0
1 20 11 14 18 4 9 1 7 19 12 8 15 10 2 5 16 17 6 13 0
1 7 8 11 18 0
1 7 8 18 19 0
1 16 18 2 19 0
1 16 1 18 0
1 2 5 18 0
1 9 19 18 12 15 7 1 0
1 9 19 18 0
1 19 1 18 0
1 19 9 10 18 0
1 19 9 18 20 5 16 12 7 0
1 19 17 18 16 15 14 13 12 11 9 8 7 6 5 4 3 2 1 10 0
1 12 1 0
1 12 1 15 0
0
"1" "2" "3" "4" "5" "6" "7" "8" "9" "10" "11" "12" "13" "14" "15" "16" "17" "18" "19" "20" "f:a12"