|
@@ -1,35 +1,36 @@
|
|
|
|
|
+"3","1 2 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 15"
|
|
"11","1 2 3 4 5 6 7 8 10 12 13 15"
|
|
|
"15","3 4 7 8 10 11 13"
|
|
"15","3 4 7 8 10 11 13"
|
|
|
"10","1 2 3 4 5 6 7 8 11 12 13 15"
|
|
"10","1 2 3 4 5 6 7 8 11 12 13 15"
|
|
|
-"4","1 2 3 5 6 7 8 9 10 11 12 13 14 15 16"
|
|
|
|
|
-"7","1 2 3 4 8 10 11 13 15"
|
|
|
|
|
"8","1 2 3 4 5 6 7 10 11 12 15"
|
|
"8","1 2 3 4 5 6 7 10 11 12 15"
|
|
|
"6","2 3 4 5 8 10 11 12"
|
|
"6","2 3 4 5 8 10 11 12"
|
|
|
-"12","2 4 5 6 8 10 11"
|
|
|
|
|
-"3","1 4 6 7 8 10 11 15"
|
|
|
|
|
-"5","1 2 4 6 8 10 11 12 13"
|
|
|
|
|
-"2","1 4 5 6 7 8 10 11 12 13"
|
|
|
|
|
|
|
+"12","2 3 5 6 8 10 11"
|
|
|
|
|
+"4","1 3 6 7 8 10 11 15"
|
|
|
|
|
+"5","1 2 3 6 8 10 11 12 13"
|
|
|
|
|
+"3 11","4 5 7 10 13 15"
|
|
|
|
|
+"11 15","3 8 10"
|
|
|
|
|
+"3 15","11 13"
|
|
|
|
|
+"2","1 3 5 6 7 8 10 11 12 13"
|
|
|
"1","2 3 4 5 7 8 9 10 11 13"
|
|
"1","2 3 4 5 7 8 9 10 11 13"
|
|
|
-"1 4","2 5 9 10"
|
|
|
|
|
-"1 9","4 13"
|
|
|
|
|
-"4 9","1"
|
|
|
|
|
-"9","1 4 13"
|
|
|
|
|
-"4 11","3 5 7 10 13 15"
|
|
|
|
|
-"7 11","4 10 13"
|
|
|
|
|
-"4 7","10 11 13"
|
|
|
|
|
-"4 13","5 7 10 11 15"
|
|
|
|
|
-"4 15","11 13"
|
|
|
|
|
-"13","1 2 4 5 7 9 10 11 15"
|
|
|
|
|
-"13 15","4"
|
|
|
|
|
|
|
+"1 3","2 5 7 9 10"
|
|
|
|
|
+"1 9","3 13"
|
|
|
|
|
+"3 9","1"
|
|
|
|
|
+"9","1 3 13"
|
|
|
|
|
+"7 11","3 10 13"
|
|
|
|
|
+"3 7","1 10 11 13"
|
|
|
|
|
+"3 13","5 7 10 11 15"
|
|
|
|
|
+"13","1 2 3 5 7 9 10 11 15"
|
|
|
|
|
+"13 15","3"
|
|
|
"8 11","5 6 10 12 15"
|
|
"8 11","5 6 10 12 15"
|
|
|
-"8 12","2 4 5 6 11"
|
|
|
|
|
|
|
+"8 12","2 3 5 6 11"
|
|
|
"11 12","2 5 6 8"
|
|
"11 12","2 5 6 8"
|
|
|
"5 8","11 12"
|
|
"5 8","11 12"
|
|
|
-"5 11","1 2 4 8 10 12 13"
|
|
|
|
|
-"7 13","1 2 4 10 11"
|
|
|
|
|
|
|
+"5 11","1 2 3 8 10 12 13"
|
|
|
|
|
+"7 13","1 2 3 10 11"
|
|
|
"1 11","2 5 10"
|
|
"1 11","2 5 10"
|
|
|
-"1 5","2 4 10 11"
|
|
|
|
|
-"14","4"
|
|
|
|
|
|
|
+"1 5","2 3 10 11"
|
|
|
|
|
+"14","3"
|
|
|
"8 10","6 11"
|
|
"8 10","6 11"
|
|
|
"6 8","10 11 12"
|
|
"6 8","10 11 12"
|
|
|
"6 10","8"
|
|
"6 10","8"
|
|
@@ -39,64 +40,63 @@
|
|
|
"6 11 12","8"
|
|
"6 11 12","8"
|
|
|
"6 11","8 12"
|
|
"6 11","8 12"
|
|
|
"6 12","2 8 11"
|
|
"6 12","2 8 11"
|
|
|
-"11 13","4 5 7 10"
|
|
|
|
|
-"4 11 13","5 7 10"
|
|
|
|
|
-"5 11 13","4"
|
|
|
|
|
-"4 5 13","11"
|
|
|
|
|
-"5 13","4 11"
|
|
|
|
|
-"4 5 11","13"
|
|
|
|
|
-"4 5","1 2 11 13"
|
|
|
|
|
-"1 2","4 5 7 10 11 13"
|
|
|
|
|
-"2 4","1 5 8 10"
|
|
|
|
|
-"2 8","4 12"
|
|
|
|
|
-"4 8","2 12"
|
|
|
|
|
-"2 5","1 4 6 10 11"
|
|
|
|
|
|
|
+"11 13","3 5 7 10"
|
|
|
|
|
+"3 11 13","5 7 10"
|
|
|
|
|
+"5 11 13","3"
|
|
|
|
|
+"3 5 11","13"
|
|
|
|
|
+"3 5 13","11"
|
|
|
|
|
+"5 13","3 11"
|
|
|
|
|
+"3 5","1 2 11 13"
|
|
|
|
|
+"1 2","3 5 7 10 11 13"
|
|
|
|
|
+"2 3","1 5 8 10"
|
|
|
|
|
+"2 8","3 12"
|
|
|
|
|
+"3 8","2 12"
|
|
|
|
|
+"2 5","1 3 6 10 11"
|
|
|
"2 6","5 12"
|
|
"2 6","5 12"
|
|
|
"5 6","2"
|
|
"5 6","2"
|
|
|
-"4 10","1 2 3 7 11 13"
|
|
|
|
|
-"7 10","1 2 4 11 13"
|
|
|
|
|
-"3 11","4"
|
|
|
|
|
|
|
+"3 10","1 2 4 7 11 13"
|
|
|
|
|
+"7 10","1 2 3 11 13"
|
|
|
|
|
+"4 11","3"
|
|
|
"3 4","10 11"
|
|
"3 4","10 11"
|
|
|
-"10 11","1 2 4 5 7 8 13 15"
|
|
|
|
|
|
|
+"10 11","1 2 3 5 7 8 13 15"
|
|
|
"5 10","1 2 11"
|
|
"5 10","1 2 11"
|
|
|
-"1 10","2 4 5 7 11 13"
|
|
|
|
|
|
|
+"1 10","2 3 5 7 11 13"
|
|
|
"1 10 13","7"
|
|
"1 10 13","7"
|
|
|
"1 7 10","13"
|
|
"1 7 10","13"
|
|
|
"1 13","2 7 9 10"
|
|
"1 13","2 7 9 10"
|
|
|
"1 7 13","2 10"
|
|
"1 7 13","2 10"
|
|
|
-"1 7","2 10 13"
|
|
|
|
|
-"10 13","1 4 7 11"
|
|
|
|
|
-"7 10 13","1 4 11"
|
|
|
|
|
|
|
+"1 7","2 3 10 13"
|
|
|
|
|
+"10 13","1 3 7 11"
|
|
|
|
|
+"7 10 13","1 3 11"
|
|
|
"5 12","8 11"
|
|
"5 12","8 11"
|
|
|
|
|
+"3 10 11","7 13"
|
|
|
|
|
+"7 10 11","3 13"
|
|
|
|
|
+"3 7 11","10 13"
|
|
|
|
|
+"3 7 10","11 13"
|
|
|
"2 12","6 8 11"
|
|
"2 12","6 8 11"
|
|
|
"9 13","1"
|
|
"9 13","1"
|
|
|
-"3 10","4"
|
|
|
|
|
-"3 15","7"
|
|
|
|
|
-"3 7","15"
|
|
|
|
|
-"7 15","3"
|
|
|
|
|
-"1 2 4","5"
|
|
|
|
|
-"1 2 5","4 10 11"
|
|
|
|
|
-"1 4 5","2"
|
|
|
|
|
-"2 4 5","1"
|
|
|
|
|
-"11 15","4 8 10"
|
|
|
|
|
-"16","4"
|
|
|
|
|
-"4 12","8"
|
|
|
|
|
-"4 7 11","10 13"
|
|
|
|
|
-"7 11 13","4 10"
|
|
|
|
|
-"4 7 13","10 11"
|
|
|
|
|
|
|
+"4 10","3"
|
|
|
|
|
+"4 15","7"
|
|
|
|
|
+"4 7","15"
|
|
|
|
|
+"7 15","4"
|
|
|
|
|
+"1 2 3","5"
|
|
|
|
|
+"1 2 5","3 10 11"
|
|
|
|
|
+"1 3 5","2"
|
|
|
|
|
+"2 3 5","1"
|
|
|
|
|
+"16","3"
|
|
|
|
|
+"3 12","8"
|
|
|
|
|
+"7 11 13","3 10"
|
|
|
|
|
+"3 7 13","10 11"
|
|
|
"10 15","11"
|
|
"10 15","11"
|
|
|
-"2 10","1 4 5 7 11"
|
|
|
|
|
|
|
+"2 10","1 3 5 7 11"
|
|
|
"2 7","1 10 13"
|
|
"2 7","1 10 13"
|
|
|
-"4 10 13","7 11"
|
|
|
|
|
-"4 7 10","11 13"
|
|
|
|
|
-"4 7 10 11","13"
|
|
|
|
|
-"4 7 10 13","11"
|
|
|
|
|
-"4 7 11 13","10"
|
|
|
|
|
-"4 10 11","7 13"
|
|
|
|
|
-"4 10 11 13","7"
|
|
|
|
|
-"7 10 11","4 13"
|
|
|
|
|
-"7 10 11 13","4"
|
|
|
|
|
-"10 11 13","4 7"
|
|
|
|
|
|
|
+"3 10 13","7 11"
|
|
|
|
|
+"3 7 10 11","13"
|
|
|
|
|
+"3 7 10 13","11"
|
|
|
|
|
+"3 7 11 13","10"
|
|
|
|
|
+"3 10 11 13","7"
|
|
|
|
|
+"7 10 11 13","3"
|
|
|
|
|
+"10 11 13","3 7"
|
|
|
"8 15","11"
|
|
"8 15","11"
|
|
|
"1 2 5 10","11"
|
|
"1 2 5 10","11"
|
|
|
"1 2 5 11","10"
|
|
"1 2 5 11","10"
|