"2","1 3 4 5 6 7 8 9 10 11 12 13 14 15 16" "7","1 2 3 4 8 10 11 13 15" "11","1 2 3 4 5 6 7 8 10 12 13 14 15" "15","2 4 7 8 10 11 13" "10","1 2 3 4 5 6 7 8 11 12 13 15" "8","1 2 3 4 5 6 7 10 11 12 15" "6","2 3 4 5 8 10 11 12" "12","2 3 5 6 8 10 11" "4","1 2 6 7 8 10 11 14 15" "5","1 2 3 6 8 10 11 12 13" "2 11","4 5 7 10 13 14 15" "2 15","11 13" "11 15","2 8 10" "3","1 2 5 6 7 8 10 11 12 13" "1","2 3 4 5 7 8 9 10 11 13 14" "1 2","3 5 7 9 10 14" "1 9","2 13" "2 9","1" "9","1 2 13" "2 7","1 10 11 13" "7 11","2 10 13" "2 13","5 7 10 11 14 15" "13","1 2 3 5 7 9 10 11 14 15" "13 15","2" "8 11","5 6 10 12 15" "8 12","2 3 5 6 11" "11 12","3 5 6 8" "14","1 2 4 11 13" "5 8","11 12" "5 11","1 2 3 8 10 12 13" "7 13","1 2 3 10 11" "1 11","3 5 10" "1 5","2 3 10 11" "8 10","6 11" "6 8","2 10 11 12" "6 10","8" "8 11 12","6" "6 8 11","12" "6 8 12","11" "6 11 12","8" "6 11","8 12" "6 12","3 8 11" "2 11 13","5 7 10 14" "2 5 13","11" "11 13","2 5 7 10 14" "5 11 13","2" "5 13","2 11" "2 5 11","13" "2 5","1 3 11 13" "1 3","2 5 7 10 11 13" "2 3","1 5 8 10 12" "2 8","3 6 12" "3 8","2 12" "3 5","1 2 6 10 11" "3 6","5 12" "5 6","3" "2 10","1 3 4 7 11 13" "7 10","1 2 3 11 13" "2 4","10 11 14" "4 11","2" "10 11","1 2 3 5 7 8 13 15" "5 10","1 3 11" "1 10","2 3 5 7 11 13" "1 10 13","7" "1 7 10","13" "1 13","3 7 9 10" "1 7 13","3 10" "1 7","2 3 10 13" "10 13","1 2 7 11" "7 10 13","1 2 11" "5 12","8 11" "2 12","3 8" "3 12","2 6 8 11" "2 10 11","7 13" "2 7 11","10 13" "7 10 11","2 13" "2 7 10","11 13" "9 13","1" "4 10","2" "2 6","8" "4 15","7" "4 7","15" "7 15","4" "1 2 3","5" "1 2 5","3" "1 3 5","2 10 11" "2 3 5","1" "16","2" "2 7 13","10 11" "7 11 13","2 10" "10 15","11" "3 10","1 2 5 7 11" "3 7","1 10 13" "1 14","2" "2 14","1 4 11 13" "2 10 13","7 11" "2 11 14","13" "2 13 14","11" "11 13 14","2" "11 14","2 13" "13 14","2 11" "3 11","1 5 10 12" "2 7 10 11","13" "2 7 10 13","11" "2 7 11 13","10" "2 10 11 13","7" "7 10 11 13","2" "10 11 13","2 7" "8 15","11" "1 3 5 10","11" "1 3 5 11","10" "1 3 10","5 11" "1 3 10 11","5" "1 3 11","5 10" "1 5 10","3 11" "1 5 10 11","3" "1 5 11","3 10" "1 10 11","3 5" "3 5 10","1 11" "3 5 10 11","1" "3 5 11","1 10" "3 10 11","1 5" "5 10 11","1 3" "4 14","2" "1 3 13","7" "1 3 7","13" "3 13","1 7" "3 7 13","1"