c 1000 2 ?
p cnf 4 9
-4,4,0
1,2,0
-2,2,0
-4,-3,0
-4,1,0
2,-4,0
1,-2,0
1,2,0
-1,-3,0
c 1001 2 ?
p cnf 4 9
-1,1,0
2,3,0
-2,1,0
-2,-1,0
-4,1,0
-4,-4,0
3,2,0
-1,-1,0
1,-3,0
c 1002 2 ?
p cnf 4 9
-4,-2,0
3,-2,0
-4,-2,0
1,-1,0
2,4,0
1,-3,0
1,-1,0
4,2,0
1,-1,0
c 1003 2 ?
p cnf 4 9
4,2,0
4,-4,0
-3,4,0
1,-3,0
-2,-3,0
-1,4,0
-1,-4,0
3,2,0
4,-2,0
c 1004 2 ?
p cnf 4 9
-4,-2,0
-3,2,0
-1,-1,0
-1,-2,0
3,-3,0
1,1,0
1,-1,0
1,3,0
-1,4,0
c 1005 2 ?
p cnf 4 9
4,4,0
-3,-4,0
3,-2,0
1,1,0
-4,-3,0
1,1,0
2,-3,0
3,3,0
4,4,0
c 1006 2 ?
p cnf 4 9
-3,2,0
-1,-3,0
2,-2,0
-4,-3,0
-3,-3,0
1,-3,0
1,1,0
4,3,0
-4,-4,0
c 1007 2 ?
p cnf 4 9
-1,-3,0
-2,-2,0
4,-1,0
-4,-2,0
-1,3,0
3,-2,0
3,-1,0
-1,-4,0
4,3,0
c 1008 2 ?
p cnf 4 9
4,-1,0
-1,1,0
1,-3,0
-4,-1,0
-2,2,0
-3,-1,0
2,-2,0
1,4,0
-3,4,0
c 1009 2 ?
p cnf 4 9
-2,-4,0
-4,-2,0
-3,-1,0
-2,-4,0
1,-4,0
2,-2,0
-4,-4,0
2,4,0
3,2,0
c 1010 2 ?
p cnf 8 18
-4,7,0
-7,3,0
-4,6,0
3,8,0
-2,-5,0
-3,-1,0
-7,-1,0
-2,1,0
-4,-2,0
5,-4,0
-6,-6,0
8,-7,0
-6,-2,0
8,-1,0
1,2,0
-4,-1,0
8,-6,0
-5,-1,0
c 1011 2 ?
p cnf 8 18
6,1,0
3,7,0
-5,2,0
5,2,0
-4,7,0
-8,-8,0
1,-3,0
5,4,0
-8,-8,0
3,4,0
-5,2,0
-7,-3,0
-6,-3,0
-6,-1,0
5,4,0
1,-8,0
-4,-5,0
-3,8,0
c 1012 2 ?
p cnf 8 18
-6,3,0
-4,6,0
-7,3,0
-7,7,0
2,4,0
8,-3,0
-7,8,0
-4,-3,0
-5,-1,0
3,-4,0
-1,4,0
-7,-6,0
-6,-3,0
-4,-3,0
-1,1,0
5,1,0
-2,7,0
6,-6,0
c 1013 2 ?
p cnf 8 18
8,-3,0
-7,-7,0
-5,-6,0
8,-2,0
5,3,0
6,-4,0
3,2,0
2,-8,0
2,6,0
-4,5,0
8,2,0
5,7,0
8,2,0
-5,6,0
3,-1,0
-7,-7,0
3,-5,0
-5,4,0
c 1014 2 ?
p cnf 8 18
-1,-5,0
7,3,0
8,7,0
-2,-4,0
-4,6,0
-4,-4,0
5,8,0
-7,1,0
-3,-8,0
-4,-2,0
8,2,0
-4,-8,0
1,2,0
3,-1,0
2,1,0
1,-1,0
-6,3,0
4,-4,0
c 1015 2 ?
p cnf 8 18
2,8,0
5,5,0
-1,7,0
7,-4,0
-5,4,0
-2,5,0
5,5,0
4,-3,0
-1,1,0
-7,-2,0
-4,1,0
-3,-8,0
7,7,0
3,1,0
-4,1,0
3,-7,0
-3,-3,0
5,1,0
c 1016 2 ?
p cnf 8 18
6,-6,0
2,-8,0
8,-7,0
-8,2,0
6,6,0
6,-5,0
6,1,0
-3,4,0
6,-6,0
5,6,0
-2,-8,0
-3,5,0
-2,5,0
6,-7,0
-3,-8,0
-7,-7,0
4,-1,0
8,8,0
c 1017 2 ?
p cnf 8 18
8,-4,0
6,2,0
-5,5,0
7,6,0
-8,-8,0
8,-8,0
-2,-8,0
-5,-3,0
7,7,0
-2,8,0
-1,-4,0
7,5,0
-7,-2,0
3,5,0
3,-1,0
3,6,0
4,1,0
5,-2,0
c 1018 2 ?
p cnf 8 18
7,-2,0
-6,3,0
-4,-7,0
3,1,0
3,-6,0
-4,6,0
8,-5,0
-6,1,0
-2,3,0
-4,-2,0
3,-3,0
3,-4,0
-8,-1,0
8,-8,0
1,-2,0
-8,2,0
5,-6,0
4,-2,0
c 1019 2 ?
p cnf 8 18
1,-4,0
4,4,0
7,5,0
4,2,0
-7,3,0
5,-8,0
2,-3,0
7,-8,0
-7,2,0
2,-7,0
-5,-7,0
5,4,0
-4,-4,0
-6,-3,0
-8,2,0
-1,7,0
5,5,0
3,1,0
c 1020 2 ?
p cnf 12 20
-2,8,0
-10,-5,0
10,6,0
9,5,0
1,-3,0
10,3,0
-10,-2,0
7,-9,0
11,1,0
-7,3,0
-2,3,0
4,-6,0
9,-4,0
-6,10,0
-3,4,0
-7,3,0
-5,6,0
-4,-10,0
-12,12,0
5,3,0
c 1021 2 ?
p cnf 12 20
-9,-10,0
5,10,0
11,-6,0
2,-5,0
-7,-6,0
4,6,0
-2,6,0
7,8,0
-1,3,0
-9,1,0
5,-4,0
11,-8,0
8,-9,0
9,10,0
-11,-2,0
6,-4,0
11,-5,0
-4,12,0
10,-10,0
-7,9,0
c 1022 2 ?
p cnf 12 20
3,10,0
2,-9,0
12,4,0
1,8,0
12,-6,0
3,11,0
-1,-10,0
1,-6,0
12,8,0
8,-10,0
-2,-4,0
4,-2,0
12,10,0
11,6,0
-4,-5,0
-9,-6,0
-2,-10,0
-8,-11,0
-8,-1,0
8,-5,0
c 1023 2 ?
p cnf 12 20
8,-8,0
7,1,0
6,6,0
7,2,0
-8,-11,0
-4,2,0
5,8,0
12,-8,0
-8,8,0
10,6,0
10,4,0
-11,-1,0
-12,7,0
-4,-7,0
9,6,0
5,-3,0
2,6,0
-6,-11,0
4,8,0
5,6,0
c 1024 2 ?
p cnf 12 20
1,7,0
-9,8,0
12,-7,0
-12,-7,0
-7,7,0
8,-10,0
-1,-11,0
2,12,0
1,-5,0
-3,7,0
-3,-4,0
-8,12,0
-1,-4,0
6,-8,0
9,-1,0
-7,12,0
-3,-12,0
3,5,0
-8,10,0
2,-1,0
c 1025 2 ?
p cnf 12 20
-4,-1,0
-6,-11,0
7,8,0
3,-12,0
-11,-6,0
10,-12,0
-2,10,0
-1,-6,0
11,11,0
-6,11,0
-11,3,0
-10,7,0
-1,-12,0
12,6,0
10,-4,0
12,-10,0
3,-9,0
-4,-5,0
-4,11,0
12,-10,0
c 1026 2 ?
p cnf 12 20
1,5,0
12,4,0
8,-9,0
2,11,0
-5,12,0
12,-1,0
11,-6,0
12,-3,0
4,-6,0
7,7,0
-5,-7,0
-8,2,0
6,9,0
-7,6,0
-12,-1,0
-3,8,0
-11,-12,0
1,10,0
-6,-6,0
-6,-2,0
c 1027 2 ?
p cnf 12 20
-1,2,0
-4,10,0
-11,-9,0
12,6,0
-8,-7,0
-10,-10,0
9,10,0
1,9,0
7,4,0
-8,-12,0
-9,3,0
-5,3,0
8,6,0
-2,-11,0
-11,-8,0
-12,-2,0
-8,-8,0
-11,-1,0
1,-7,0
8,-3,0
c 1028 2 ?
p cnf 12 20
8,11,0
4,6,0
-4,-1,0
-11,-4,0
-2,-6,0
3,10,0
-4,12,0
2,-7,0
-10,-8,0
-5,-7,0
10,3,0
-3,-8,0
-6,-2,0
12,-4,0
5,-8,0
-2,4,0
-2,9,0
3,3,0
2,2,0
-10,-1,0
c 1029 2 ?
p cnf 12 20
10,-12,0
12,5,0
-6,5,0
5,11,0
6,-12,0
-8,1,0
-1,-6,0
-1,11,0
9,-3,0
3,2,0
-6,-9,0
-2,-6,0
-1,-1,0
3,4,0
-3,9,0
-4,10,0
-9,12,0
-7,-7,0
6,-2,0
-11,-1,0
c 1030 2 ?
p cnf 16 30
2,-6,0
15,3,0
-5,-1,0
-6,10,0
14,-14,0
12,-8,0
-5,13,0
15,12,0
-6,6,0
8,3,0
-6,-11,0
14,16,0
10,5,0
2,-1,0
2,1,0
12,12,0
13,-15,0
-12,5,0
13,-9,0
-1,7,0
-7,2,0
-4,12,0
10,-12,0
-10,12,0
-14,-14,0
-12,16,0
16,-4,0
-8,10,0
12,5,0
16,-13,0
c 1031 2 ?
p cnf 16 30
-2,11,0
2,9,0
13,-11,0
-16,-1,0
-7,-7,0
-11,-16,0
4,-14,0
12,7,0
16,2,0
-4,9,0
-12,11,0
-4,7,0
9,-16,0
-6,5,0
11,10,0
-13,-7,0
8,-9,0
5,-6,0
9,-9,0
10,-1,0
-11,3,0
-3,-3,0
15,-13,0
12,-8,0
3,13,0
5,-12,0
11,11,0
13,13,0
16,-5,0
9,-5,0
c 1032 2 ?
p cnf 16 30
13,6,0
7,-10,0
2,-1,0
10,-14,0
12,-1,0
9,-9,0
-12,-14,0
8,-5,0
2,15,0
4,-15,0
-15,3,0
13,-12,0
-4,16,0
-8,-14,0
-6,16,0
11,5,0
-14,2,0
-7,5,0
8,16,0
-6,14,0
-13,-10,0
-10,9,0
-14,12,0
-4,-16,0
3,-3,0
3,4,0
-14,1,0
-5,10,0
3,-2,0
-14,-15,0
c 1033 2 ?
p cnf 16 30
7,-15,0
-3,1,0
-13,-6,0
6,-2,0
16,3,0
-15,13,0
-10,11,0
6,-10,0
-3,-9,0
1,11,0
-12,2,0
-2,12,0
-10,6,0
14,-2,0
9,6,0
-9,12,0
-8,-9,0
-1,10,0
5,-2,0
-13,3,0
-7,-7,0
13,-8,0
6,8,0
-8,-5,0
4,-2,0
-7,-3,0
-16,-6,0
-5,16,0
-15,-13,0
-14,2,0
c 1034 2 ?
p cnf 16 30
-2,-3,0
-13,8,0
-8,12,0
-1,2,0
-15,16,0
-5,-8,0
4,15,0
-2,-9,0
-11,-14,0
-6,4,0
15,13,0
-13,-7,0
-14,-7,0
-13,-4,0
14,-10,0
-12,-3,0
-15,6,0
-11,-10,0
4,6,0
8,7,0
-5,3,0
10,-11,0
-15,-15,0
9,-14,0
4,-10,0
-5,-13,0
5,-11,0
4,-16,0
-7,-3,0
-11,-7,0
c 1035 2 ?
p cnf 16 30
-15,-9,0
-3,-13,0
8,-8,0
11,10,0
-8,13,0
-16,5,0
-1,-1,0
3,-16,0
13,6,0
-14,-2,0
-9,5,0
9,-4,0
5,6,0
-6,-7,0
-3,-10,0
5,11,0
2,8,0
-2,10,0
5,-6,0
9,-4,0
15,-4,0
-7,-12,0
-11,-9,0
12,-8,0
-5,10,0
5,-10,0
9,6,0
4,11,0
-2,1,0
14,2,0
c 1036 2 ?
p cnf 16 30
-14,-3,0
3,-15,0
1,-11,0
9,-9,0
-5,-3,0
10,7,0
-11,-11,0
-1,-9,0
10,-11,0
1,-3,0
12,-2,0
-9,-11,0
-1,5,0
16,-13,0
-11,13,0
1,-5,0
-4,15,0
-13,-16,0
10,4,0
-10,14,0
7,12,0
6,3,0
-8,-15,0
-13,15,0
5,-10,0
3,15,0
11,11,0
-12,5,0
-10,14,0
16,13,0
c 1037 2 ?
p cnf 16 30
3,-16,0
-2,12,0
-8,-1,0
-10,3,0
-13,9,0
1,-14,0
6,-12,0
-11,8,0
14,15,0
-5,10,0
15,-13,0
-8,8,0
7,12,0
-10,1,0
-9,-16,0
-16,16,0
-11,9,0
3,-8,0
-5,13,0
-15,-3,0
13,14,0
-11,-9,0
-3,5,0
-1,7,0
6,4,0
-4,-9,0
-5,-14,0
-3,12,0
-3,-6,0
13,-6,0
c 1038 2 ?
p cnf 16 30
-4,-9,0
4,-16,0
15,-5,0
2,-9,0
3,16,0
13,-11,0
6,-8,0
-8,15,0
-1,1,0
16,-11,0
-9,1,0
13,-10,0
-4,-14,0
6,9,0
-12,-13,0
-2,10,0
-10,3,0
-5,16,0
-16,13,0
-3,5,0
10,9,0
11,-5,0
-10,9,0
-13,10,0
12,-2,0
-4,-2,0
-5,-11,0
-10,-13,0
-14,-15,0
16,-2,0
c 1039 2 ?
p cnf 16 30
-6,-4,0
8,-4,0
-6,-5,0
4,1,0
-9,-14,0
11,-13,0
8,2,0
-4,-9,0
-7,-3,0
-10,-10,0
16,-11,0
-11,3,0
7,9,0
-11,-14,0
7,11,0
13,-2,0
8,7,0
-15,14,0
2,7,0
16,9,0
15,7,0
-13,-4,0
-10,-3,0
-9,-3,0
3,-14,0
16,-11,0
-5,9,0
6,-6,0
-13,-3,0
3,16,0
c 1040 2 ?
p cnf 18 32
-10,8,0
-9,9,0
-10,-13,0
8,1,0
-11,14,0
15,-14,0
9,-15,0
17,-9,0
8,13,0
15,12,0
-17,-17,0
16,8,0
5,-17,0
6,-2,0
16,8,0
-10,-8,0
9,15,0
10,10,0
8,18,0
12,10,0
5,11,0
2,6,0
8,17,0
10,-12,0
1,-15,0
-16,12,0
7,16,0
13,6,0
-18,-9,0
11,13,0
10,-12,0
17,-18,0
c 1041 2 ?
p cnf 18 32
-15,15,0
-1,-3,0
3,-17,0
5,-15,0
3,-17,0
-14,-7,0
9,7,0
17,8,0
-6,10,0
-16,-12,0
-16,-9,0
-12,12,0
-10,-13,0
14,15,0
17,14,0
-11,-4,0
-4,15,0
-17,-5,0
13,-7,0
-11,12,0
12,5,0
8,-6,0
-13,-9,0
11,-14,0
8,2,0
18,-14,0
12,-12,0
9,18,0
17,-18,0
5,-12,0
9,-3,0
17,18,0
c 1042 2 ?
p cnf 18 32
-8,-12,0
11,16,0
-10,16,0
6,6,0
-9,3,0
9,-16,0
-7,-15,0
-5,11,0
-18,6,0
-14,2,0
-17,-4,0
1,-7,0
-17,11,0
-6,7,0
-8,-6,0
-16,8,0
4,9,0
12,18,0
12,-8,0
6,11,0
7,-7,0
6,-11,0
8,12,0
-17,-6,0
14,-2,0
-8,-17,0
8,15,0
13,8,0
9,-9,0
-12,-5,0
-9,-6,0
10,10,0
c 1043 2 ?
p cnf 18 32
12,-16,0
-8,11,0
-6,15,0
-10,13,0
-11,10,0
-5,-12,0
3,-2,0
-7,4,0
-17,9,0
-10,-12,0
-3,-18,0
18,2,0
-10,10,0
9,-16,0
5,9,0
11,13,0
-9,13,0
4,8,0
8,-1,0
9,2,0
-13,-2,0
17,-12,0
-12,16,0
5,14,0
2,4,0
-16,7,0
7,17,0
1,-6,0
1,17,0
-5,-17,0
-12,-16,0
5,9,0
c 1044 2 ?
p cnf 18 32
8,15,0
-2,-5,0
-18,-16,0
2,-2,0
10,-10,0
17,-15,0
-6,-8,0
-9,-9,0
8,8,0
18,-16,0
14,8,0
-7,-12,0
-8,-17,0
-2,9,0
18,-11,0
-14,-12,0
17,15,0
-1,5,0
7,-12,0
-1,15,0
13,-9,0
-11,-11,0
-15,-13,0
-4,-9,0
4,11,0
-2,10,0
12,-3,0
2,-16,0
-12,-17,0
12,15,0
12,-18,0
14,14,0
c 1045 2 ?
p cnf 18 32
2,15,0
4,5,0
16,-6,0
-17,-8,0
-11,-12,0
-7,16,0
-4,18,0
-7,-5,0
16,7,0
-13,10,0
3,1,0
15,1,0
11,17,0
16,15,0
-3,-4,0
4,2,0
-14,-18,0
8,-16,0
-18,-14,0
18,-7,0
-9,-15,0
-11,-12,0
8,6,0
14,3,0
10,4,0
10,-14,0
15,11,0
-1,13,0
-17,9,0
-7,-6,0
-15,6,0
-11,14,0
c 1046 2 ?
p cnf 18 32
15,3,0
-12,-5,0
-6,9,0
7,18,0
7,-13,0
-8,-17,0
-14,4,0
-11,6,0
-17,5,0
10,-15,0
2,-15,0
-12,18,0
9,8,0
-6,-5,0
-12,-12,0
7,6,0
-13,-12,0
-7,-18,0
-11,4,0
-1,-12,0
-5,4,0
4,-2,0
-11,7,0
-14,1,0
-16,17,0
15,1,0
-7,1,0
1,7,0
4,-7,0
-5,-5,0
-12,17,0
15,-5,0
c 1047 2 ?
p cnf 18 32
3,13,0
15,-16,0
-12,-5,0
-3,-18,0
12,-9,0
-11,6,0
18,9,0
10,-11,0
3,-16,0
-11,-18,0
-13,5,0
6,9,0
-9,-3,0
-8,-4,0
15,-17,0
-15,-7,0
-12,1,0
-14,-15,0
15,-18,0
-10,4,0
-6,-13,0
-14,3,0
18,-9,0
-7,-4,0
9,5,0
11,8,0
-18,2,0
18,-4,0
-14,-9,0
-14,-7,0
16,-4,0
-18,-9,0
c 1048 2 ?
p cnf 18 32
9,-6,0
-2,-10,0
-13,15,0
-7,-14,0
-14,5,0
7,-1,0
2,4,0
6,8,0
1,-10,0
-9,2,0
-8,15,0
-15,-12,0
15,1,0
5,4,0
-16,-13,0
-17,2,0
-5,-3,0
13,-15,0
18,6,0
14,4,0
12,-18,0
-18,14,0
16,-5,0
-17,4,0
-7,11,0
-5,7,0
15,-14,0
-5,-13,0
-1,-5,0
1,5,0
-11,1,0
-3,-8,0
c 1049 2 ?
p cnf 18 32
-15,8,0
11,-6,0
-1,4,0
-4,-7,0
12,2,0
-18,18,0
-7,12,0
12,-11,0
-4,5,0
14,17,0
1,6,0
-8,-12,0
-9,-12,0
-1,18,0
-3,16,0
-12,-4,0
-6,2,0
-18,14,0
-16,14,0
17,1,0
14,2,0
-8,7,0
8,-17,0
2,-18,0
11,12,0
2,-3,0
7,3,0
7,14,0
-12,9,0
3,-16,0
-12,16,0
-3,-8,0
c 1050 2 ?
p cnf 20 33
11,15,0
-3,6,0
2,14,0
20,-3,0
18,14,0
14,11,0
7,18,0
16,-16,0
9,-12,0
15,3,0
17,20,0
-10,11,0
20,13,0
-18,17,0
15,-3,0
16,3,0
-20,7,0
-3,-13,0
-9,-16,0
20,-17,0
-6,-3,0
-2,14,0
17,-15,0
11,2,0
2,-6,0
-7,-7,0
-1,-14,0
15,-19,0
20,9,0
-7,-9,0
16,-16,0
20,7,0
-14,-2,0
c 1051 2 ?
p cnf 20 33
-2,9,0
5,-15,0
3,-7,0
15,-13,0
16,-17,0
-9,-15,0
18,-8,0
10,-8,0
18,-17,0
9,-10,0
1,19,0
-6,-8,0
18,1,0
2,3,0
-6,6,0
-8,7,0
-4,16,0
11,-6,0
-13,14,0
4,-3,0
-15,2,0
-6,-2,0
-2,15,0
-9,-6,0
12,12,0
10,5,0
-6,10,0
-11,8,0
2,3,0
-6,-1,0
18,-19,0
7,2,0
-12,-5,0
c 1052 2 ?
p cnf 20 33
-5,-11,0
16,7,0
1,6,0
9,10,0
14,5,0
-12,3,0
-19,-9,0
-16,13,0
-7,-17,0
-10,14,0
15,-3,0
-7,11,0
-7,13,0
-19,16,0
-5,-10,0
-9,-13,0
14,-6,0
15,16,0
-3,1,0
16,14,0
-12,4,0
-5,6,0
10,-19,0
9,-18,0
-11,11,0
-7,10,0
-15,-20,0
20,-19,0
9,19,0
-19,2,0
19,17,0
-20,2,0
10,-17,0
c 1053 2 ?
p cnf 20 33
12,-12,0
12,19,0
-3,-16,0
-7,-4,0
14,-2,0
20,11,0
17,-18,0
-12,-17,0
-9,-4,0
19,-19,0
-18,6,0
-10,8,0
13,9,0
-13,20,0
-14,1,0
3,-14,0
20,13,0
4,-5,0
20,-14,0
2,-14,0
-10,12,0
12,17,0
16,19,0
9,-1,0
-2,-7,0
17,15,0
-16,4,0
-1,-4,0
15,-19,0
-9,18,0
-19,6,0
-16,10,0
-16,1,0
c 1054 2 ?
p cnf 20 33
-4,-20,0
6,15,0
-19,-7,0
-5,12,0
13,-3,0
-16,19,0
16,16,0
15,16,0
-14,-19,0
5,-3,0
17,11,0
3,-2,0
-1,-6,0
17,17,0
-18,20,0
-19,19,0
-10,5,0
5,11,0
-4,-7,0
-19,4,0
-6,1,0
12,-17,0
12,-11,0
18,5,0
11,-7,0
-3,3,0
4,-18,0
18,19,0
13,17,0
13,-2,0
7,-4,0
7,-5,0
5,20,0
c 1055 2 ?
p cnf 20 33
-3,-12,0
14,14,0
4,-9,0
-17,-14,0
12,12,0
4,9,0
-3,18,0
15,20,0
14,-13,0
-14,-8,0
-18,-18,0
14,-16,0
-20,-10,0
-10,19,0
-4,8,0
10,-14,0
2,20,0
3,-5,0
-7,11,0
-3,8,0
-16,13,0
-6,5,0
18,-13,0
-9,13,0
14,17,0
-3,2,0
-6,-3,0
19,7,0
-12,-8,0
13,9,0
-14,-1,0
-12,4,0
-16,-17,0
c 1056 2 ?
p cnf 20 33
-4,-12,0
12,-20,0
20,3,0
-4,14,0
-16,2,0
2,-1,0
1,-6,0
5,-4,0
-5,7,0
-4,6,0
5,-6,0
-11,-6,0
2,9,0
-13,-3,0
8,-15,0
2,16,0
8,17,0
11,-1,0
11,-3,0
19,1,0
4,13,0
2,-7,0
-15,-19,0
15,15,0
9,5,0
-13,19,0
10,-11,0
1,6,0
-6,4,0
8,-8,0
1,11,0
6,-12,0
9,-4,0
c 1057 2 ?
p cnf 20 33
-18,14,0
-8,19,0
-9,12,0
4,15,0
-2,-2,0
1,-20,0
-4,8,0
18,-5,0
16,15,0
19,-4,0
-17,10,0
-5,-1,0
-3,-18,0
-6,-20,0
10,-18,0
5,-11,0
-8,-10,0
-14,19,0
-6,17,0
-11,1,0
-4,-2,0
17,-8,0
10,-18,0
-4,2,0
9,12,0
16,-3,0
17,7,0
-18,-11,0
-9,-15,0
3,-12,0
14,6,0
3,11,0
15,12,0
c 1058 2 ?
p cnf 20 33
-10,-7,0
18,-5,0
-2,-4,0
-16,-3,0
-15,-6,0
15,-14,0
18,15,0
-10,-6,0
1,-9,0
19,17,0
-20,6,0
4,6,0
-16,-15,0
11,-13,0
-20,17,0
10,-4,0
7,14,0
-14,-17,0
12,-8,0
9,-17,0
-9,-11,0
20,-4,0
12,-17,0
-18,19,0
2,-6,0
18,-14,0
9,-6,0
-9,20,0
7,-15,0
-10,-1,0
3,6,0
-18,-19,0
-5,-10,0
c 1059 2 ?
p cnf 20 33
-2,-20,0
-8,14,0
-4,-18,0
-19,8,0
13,-7,0
3,19,0
15,-15,0
13,3,0
-6,-18,0
13,19,0
-11,1,0
-15,9,0
11,-3,0
-10,-20,0
-8,-3,0
-10,-14,0
-8,6,0
4,-10,0
17,7,0
-14,-18,0
-18,-10,0
-8,-12,0
12,17,0
-14,-4,0
4,11,0
-19,12,0
-6,16,0
20,-3,0
-1,-7,0
-15,-1,0
13,-9,0
2,-20,0
-14,-3,0
c 1060 2 ?
p cnf 22 38
-8,-1,0
-21,-5,0
-20,-10,0
-12,-11,0
18,-7,0
-20,2,0
5,10,0
12,-4,0
-4,17,0
2,19,0
-16,22,0
-14,-7,0
-20,-5,0
-16,-4,0
14,14,0
14,18,0
3,-11,0
-22,-18,0
-22,-15,0
-11,20,0
13,-9,0
12,14,0
-2,-20,0
-9,18,0
-21,22,0
2,-15,0
11,5,0
-8,12,0
10,-12,0
14,3,0
-5,-12,0
-19,2,0
-1,5,0
3,-11,0
-4,9,0
-20,12,0
-11,17,0
13,-6,0
c 1061 2 ?
p cnf 22 38
18,-11,0
13,-18,0
1,5,0
12,16,0
18,11,0
20,-22,0
3,22,0
-15,-9,0
-5,21,0
-12,-15,0
12,17,0
6,-20,0
18,5,0
20,15,0
-4,-16,0
-16,-15,0
-16,22,0
-21,18,0
2,-6,0
3,-14,0
4,13,0
18,14,0
-15,-1,0
11,1,0
16,-4,0
8,13,0
-19,-20,0
7,-3,0
9,-7,0
-14,-1,0
16,-14,0
13,-16,0
19,16,0
15,-19,0
-5,1,0
2,-18,0
-2,-19,0
-10,-20,0
c 1062 2 ?
p cnf 22 38
-4,-12,0
-21,18,0
-3,-17,0
3,12,0
14,12,0
-22,1,0
3,-12,0
22,9,0
-15,6,0
2,16,0
-20,17,0
-20,-22,0
-5,22,0
20,9,0
11,-10,0
-15,14,0
8,-6,0
17,7,0
-20,-7,0
-9,-13,0
16,18,0
22,-4,0
-15,4,0
7,-14,0
8,19,0
22,-3,0
5,-7,0
-10,-3,0
-2,-1,0
-3,-18,0
13,-8,0
-12,5,0
11,-19,0
13,19,0
-16,-6,0
17,2,0
11,9,0
16,-6,0
c 1063 2 ?
p cnf 22 38
-7,18,0
-18,20,0
13,21,0
-12,-18,0
-2,16,0
10,18,0
-7,5,0
-7,-14,0
11,20,0
-4,-18,0
-3,-15,0
-17,9,0
9,-10,0
-22,10,0
-6,-1,0
-18,-3,0
-9,-20,0
15,6,0
11,-3,0
11,-7,0
12,-11,0
22,22,0
19,-6,0
-18,2,0
-18,22,0
20,-6,0
14,13,0
-14,12,0
-5,-7,0
17,6,0
-6,-22,0
-19,-8,0
11,-9,0
1,14,0
19,-15,0
-6,10,0
11,22,0
-10,14,0
c 1064 2 ?
p cnf 22 38
-8,-12,0
-16,-5,0
3,12,0
-11,-13,0
-7,10,0
22,-20,0
2,12,0
-3,-4,0
-15,-11,0
17,-18,0
-7,-21,0
16,16,0
20,14,0
5,-18,0
-4,2,0
-1,14,0
-8,-12,0
18,-18,0
7,19,0
-18,-9,0
12,-16,0
2,-22,0
14,7,0
10,-4,0
7,3,0
-10,20,0
18,-6,0
-3,1,0
1,-5,0
9,9,0
6,2,0
20,-12,0
9,-3,0
-3,-17,0
-21,3,0
5,-13,0
18,4,0
-15,20,0
c 1065 2 ?
p cnf 22 38
4,-7,0
6,-19,0
-16,6,0
22,5,0
-8,-10,0
18,-2,0
9,15,0
-12,-16,0
-4,10,0
3,-1,0
17,-11,0
-10,8,0
8,-12,0
20,-15,0
20,-19,0
3,-4,0
13,15,0
-6,17,0
-22,3,0
10,-19,0
-15,13,0
-22,-2,0
-9,18,0
17,-8,0
-9,4,0
-12,-3,0
-1,5,0
-11,-15,0
15,20,0
14,19,0
-13,-10,0
-11,-1,0
-10,-18,0
1,-7,0
-1,-8,0
-19,-7,0
-8,-6,0
22,-7,0
c 1066 2 ?
p cnf 22 38
15,19,0
22,-22,0
2,22,0
10,-14,0
-2,-1,0
-12,-12,0
-14,-6,0
17,5,0
7,-16,0
4,-22,0
-4,-22,0
-1,15,0
6,4,0
-15,13,0
-16,19,0
11,10,0
16,11,0
6,-10,0
-19,5,0
7,6,0
-18,-12,0
-13,13,0
-3,13,0
6,-16,0
8,20,0
-10,-9,0
-18,-3,0
12,15,0
2,18,0
-11,-2,0
14,6,0
7,-5,0
-1,19,0
-18,-9,0
-1,8,0
-9,17,0
-2,21,0
22,-7,0
c 1067 2 ?
p cnf 22 38
1,-13,0
10,16,0
-17,-12,0
15,15,0
-21,-19,0
-13,-22,0
-16,-14,0
21,-22,0
-4,6,0
-14,5,0
16,-15,0
-2,11,0
-11,13,0
-8,-3,0
-1,5,0
-1,17,0
9,-12,0
-14,13,0
-11,18,0
-18,3,0
-20,7,0
1,10,0
-20,-19,0
-10,-15,0
12,-8,0
-15,10,0
14,-13,0
11,21,0
-21,-6,0
-15,-21,0
9,2,0
21,-2,0
2,7,0
7,9,0
-5,-13,0
15,12,0
-10,18,0
11,-19,0
c 1068 2 ?
p cnf 22 38
14,7,0
17,-16,0
7,21,0
-10,-11,0
-18,-10,0
2,-21,0
20,19,0
-20,20,0
-16,-21,0
13,9,0
7,17,0
13,17,0
-22,22,0
3,-8,0
-8,9,0
-3,-19,0
4,-12,0
-1,-7,0
-20,-16,0
-19,-4,0
21,22,0
10,-8,0
-20,8,0
14,14,0
-21,6,0
-8,-15,0
12,12,0
-7,-22,0
-21,21,0
-5,-5,0
-15,-22,0
-3,9,0
-10,-7,0
-20,3,0
-6,9,0
18,10,0
3,9,0
19,-15,0
c 1069 2 ?
p cnf 22 38
-12,19,0
-3,-17,0
16,7,0
5,-2,0
-13,6,0
-14,-20,0
15,-2,0
-3,-11,0
14,-5,0
13,12,0
6,-20,0
-1,-1,0
12,-10,0
19,19,0
21,-15,0
-1,-1,0
18,6,0
18,7,0
-4,6,0
19,-10,0
-14,13,0
17,-21,0
12,-6,0
21,-17,0
-1,8,0
-9,6,0
1,-11,0
2,-6,0
-9,-4,0
-5,4,0
2,-3,0
-16,10,0
-9,-20,0
5,16,0
7,21,0
11,-12,0
9,2,0
11,2,0
c 1070 2 ?
p cnf 24 43
-12,-16,0
24,-5,0
-14,8,0
9,-5,0
-16,-3,0
-20,24,0
4,-23,0
21,2,0
16,-2,0
-4,15,0
-24,-17,0
-24,-19,0
24,9,0
-8,-21,0
1,-14,0
9,12,0
-14,3,0
24,-21,0
3,1,0
-8,22,0
7,-15,0
20,21,0
-17,24,0
5,-20,0
21,2,0
1,-23,0
-21,21,0
17,-15,0
20,-5,0
-19,-16,0
-4,1,0
20,23,0
2,9,0
13,7,0
-11,-15,0
8,11,0
-13,-4,0
12,-2,0
-19,8,0
-5,8,0
-13,-1,0
2,19,0
14,-9,0
c 1071 2 ?
p cnf 24 43
4,-15,0
-20,-15,0
8,17,0
-9,-19,0
1,-12,0
17,6,0
-9,-3,0
-5,-5,0
-1,2,0
15,11,0
-12,24,0
-1,-7,0
-2,23,0
1,-5,0
-24,-4,0
-14,6,0
-12,4,0
10,8,0
19,4,0
-8,-18,0
16,3,0
-15,3,0
22,6,0
-24,-19,0
6,-24,0
11,-9,0
16,-12,0
5,-16,0
15,-19,0
24,4,0
-10,11,0
3,-23,0
-20,6,0
-14,14,0
6,-14,0
8,10,0
12,15,0
-10,2,0
14,24,0
23,-20,0
9,4,0
-5,19,0
13,-9,0
c 1072 2 ?
p cnf 24 43
16,1,0
-9,3,0
-6,14,0
20,-24,0
11,-15,0
15,12,0
15,-22,0
8,-3,0
-14,16,0
-22,7,0
-23,21,0
19,7,0
-6,16,0
11,21,0
3,-1,0
-3,-14,0
19,6,0
-5,-15,0
14,16,0
-14,15,0
-23,-7,0
19,22,0
15,-23,0
-5,-1,0
2,-22,0
21,18,0
-17,13,0
-18,-20,0
-23,5,0
-9,-2,0
14,-10,0
-1,15,0
-13,-4,0
-16,21,0
-6,-5,0
21,-21,0
-18,-9,0
11,-21,0
7,17,0
-13,-13,0
-21,15,0
-5,-14,0
-18,-6,0
c 1073 2 ?
p cnf 24 43
-11,-12,0
-18,16,0
-7,-24,0
4,3,0
-5,-2,0
-10,-12,0
-21,9,0
-6,-13,0
15,-19,0
-6,-16,0
-23,-21,0
-21,13,0
-18,5,0
19,6,0
-17,-18,0
8,16,0
2,23,0
-11,10,0
-20,3,0
19,-19,0
2,-11,0
14,4,0
-20,24,0
5,8,0
15,-15,0
8,-8,0
-10,22,0
21,-10,0
15,9,0
-8,-4,0
18,-10,0
20,18,0
13,23,0
11,6,0
-23,3,0
22,16,0
20,12,0
3,24,0
4,-21,0
16,-8,0
1,17,0
18,-3,0
23,-22,0
c 1074 2 ?
p cnf 24 43
21,-11,0
-2,3,0
-21,15,0
6,-13,0
13,12,0
-11,6,0
-19,7,0
-15,4,0
6,20,0
-16,6,0
20,-5,0
-10,18,0
-10,13,0
7,-16,0
-3,-19,0
-9,16,0
4,1,0
19,-3,0
-14,19,0
-13,-12,0
10,14,0
-9,-8,0
9,-11,0
17,2,0
12,-14,0
16,1,0
20,-11,0
-8,-1,0
12,-2,0
-6,-13,0
2,9,0
-3,22,0
-5,14,0
-2,8,0
-7,-24,0
-6,-10,0
14,23,0
-1,13,0
-22,10,0
-13,-14,0
-16,-6,0
15,16,0
-4,16,0
c 1075 2 ?
p cnf 24 43
-14,-7,0
17,-23,0
11,-4,0
-16,-22,0
16,-12,0
-19,14,0
-9,-9,0
14,-5,0
-11,-15,0
7,-7,0
22,12,0
22,-4,0
-8,15,0
12,24,0
2,12,0
-7,-5,0
-1,13,0
-23,-19,0
22,-24,0
-8,-1,0
15,19,0
15,-8,0
-1,11,0
-4,-21,0
-7,-3,0
1,3,0
-17,-6,0
-19,-5,0
-14,-14,0
-24,-8,0
7,23,0
5,-7,0
-14,-4,0
15,-17,0
-19,-4,0
-20,8,0
-4,-10,0
1,-19,0
23,-1,0
-1,-9,0
13,-23,0
16,16,0
4,19,0
c 1076 2 ?
p cnf 24 43
-12,2,0
21,2,0
-18,-20,0
3,10,0
-7,-12,0
-4,5,0
-22,7,0
-20,-23,0
14,-14,0
4,-8,0
-2,-20,0
7,-18,0
-11,17,0
-3,-23,0
-10,-5,0
6,-11,0
-22,21,0
10,5,0
3,11,0
20,-21,0
15,6,0
-5,-1,0
-2,-19,0
-6,-15,0
13,-2,0
-14,3,0
14,-15,0
-20,6,0
2,-2,0
9,22,0
-13,-18,0
-10,20,0
12,2,0
-14,2,0
-12,-14,0
-11,13,0
-5,-20,0
19,-10,0
8,-21,0
-19,-5,0
22,3,0
24,13,0
13,10,0
c 1077 2 ?
p cnf 24 43
-22,8,0
12,8,0
14,7,0
16,3,0
17,24,0
9,-10,0
2,-3,0
-12,21,0
-20,-7,0
9,-15,0
21,11,0
2,10,0
15,-5,0
-14,-11,0
-10,-22,0
13,17,0
-24,-6,0
-19,22,0
-14,-8,0
-18,-12,0
1,22,0
10,5,0
-22,21,0
-19,7,0
-18,-1,0
24,-11,0
-5,20,0
17,-15,0
19,24,0
6,6,0
11,22,0
-13,1,0
8,12,0
24,-14,0
18,-1,0
23,9,0
20,24,0
2,5,0
10,-23,0
-24,15,0
23,12,0
4,21,0
-23,20,0
c 1078 2 ?
p cnf 24 43
-4,15,0
24,2,0
-16,14,0
-8,13,0
-6,14,0
-15,21,0
-2,-12,0
-8,2,0
9,9,0
-5,19,0
20,-23,0
-2,-11,0
13,-10,0
4,9,0
-4,12,0
18,-19,0
18,-1,0
-23,17,0
-14,-23,0
17,20,0
-12,-4,0
1,-20,0
-4,13,0
8,4,0
17,-22,0
-2,-14,0
-3,10,0
5,-6,0
5,-17,0
18,12,0
14,-3,0
-4,-20,0
13,-9,0
8,-10,0
6,24,0
10,-10,0
21,-18,0
3,21,0
-10,13,0
-5,-17,0
-2,-14,0
15,-24,0
3,15,0
c 1079 2 ?
p cnf 24 43
18,-2,0
-20,16,0
11,15,0
-19,-12,0
-8,-18,0
-23,3,0
3,-19,0
17,2,0
-17,22,0
-5,9,0
5,23,0
-17,-8,0
7,23,0
10,-13,0
10,2,0
-18,16,0
-9,13,0
-7,5,0
22,9,0
-10,-14,0
2,7,0
-16,23,0
21,-8,0
4,18,0
5,-11,0
20,4,0
23,3,0
-8,-11,0
15,11,0
-19,-19,0
24,-8,0
-7,9,0
-17,14,0
13,-7,0
17,-19,0
-19,-17,0
20,-11,0
-9,-24,0
-5,-7,0
-20,7,0
10,-18,0
15,2,0
16,3,0
c 1080 2 ?
p cnf 26 45
26,26,0
-3,-13,0
13,12,0
-4,8,0
10,9,0
-26,2,0
-19,-20,0
-7,24,0
-5,11,0
26,10,0
13,9,0
-1,25,0
23,-4,0
-10,21,0
-21,-25,0
16,20,0
-21,17,0
10,-24,0
-24,19,0
-7,23,0
-23,4,0
14,-7,0
-6,-2,0
-1,1,0
-22,8,0
8,-2,0
14,19,0
17,21,0
-26,-5,0
20,24,0
-12,-20,0
11,14,0
-20,-12,0
19,19,0
24,20,0
9,-16,0
9,-26,0
-5,-16,0
-20,-23,0
-19,22,0
-4,-8,0
16,-20,0
1,-1,0
-15,-26,0
7,1,0
c 1081 2 ?
p cnf 26 45
16,-17,0
-19,16,0
-12,6,0
-26,20,0
-25,21,0
-10,-13,0
14,26,0
2,-4,0
3,9,0
10,-20,0
7,-15,0
-12,-7,0
22,2,0
5,-2,0
-3,-2,0
-23,-22,0
-16,-23,0
-4,-23,0
23,-21,0
22,-21,0
2,-14,0
-6,16,0
13,-16,0
-17,-11,0
5,20,0
21,-25,0
-3,-20,0
1,-10,0
22,-19,0
-2,9,0
-21,-7,0
-15,1,0
-10,2,0
-2,16,0
21,16,0
18,14,0
4,10,0
-3,18,0
-3,-1,0
15,-14,0
16,8,0
-24,-10,0
7,16,0
11,-8,0
22,-4,0
c 1082 2 ?
p cnf 26 45
-7,23,0
9,-2,0
25,-5,0
6,-23,0
22,9,0
-3,-22,0
20,12,0
-11,-21,0
19,-19,0
8,-4,0
-3,14,0
15,4,0
-10,17,0
-9,-19,0
12,-11,0
-5,-8,0
-21,20,0
-13,16,0
10,24,0
-7,-4,0
13,17,0
17,8,0
11,11,0
22,-26,0
13,21,0
-7,9,0
-11,23,0
16,26,0
-18,-1,0
17,-20,0
24,-16,0
21,1,0
-5,2,0
-8,23,0
-23,15,0
22,-19,0
22,-1,0
-2,-9,0
-5,-22,0
24,-25,0
-11,-19,0
8,8,0
17,1,0
-11,-6,0
8,-14,0
c 1083 2 ?
p cnf 26 45
7,16,0
25,-7,0
7,22,0
3,14,0
22,-21,0
-12,-15,0
7,-5,0
13,-26,0
-2,25,0
-3,9,0
13,-16,0
1,-24,0
-4,3,0
12,-19,0
-8,-25,0
-9,-7,0
16,18,0
10,18,0
-9,18,0
12,-15,0
16,15,0
1,6,0
-5,1,0
-7,20,0
4,11,0
-14,-18,0
-12,-12,0
13,10,0
8,-18,0
-17,11,0
21,20,0
-2,-1,0
25,-18,0
7,-20,0
-20,8,0
-26,1,0
-10,24,0
-17,-7,0
-2,-10,0
-15,13,0
-7,17,0
1,2,0
16,-9,0
10,12,0
18,-21,0
c 1084 2 ?
p cnf 26 45
-21,24,0
14,-8,0
4,10,0
11,-6,0
18,-18,0
-24,12,0
3,8,0
5,-22,0
7,-8,0
-25,24,0
-4,-14,0
16,2,0
-3,7,0
9,-9,0
-12,17,0
1,17,0
-4,-22,0
-16,4,0
21,-14,0
20,15,0
-4,4,0
-18,16,0
-24,3,0
11,24,0
14,3,0
2,2,0
-1,-13,0
10,10,0
17,25,0
-26,-3,0
-2,24,0
16,3,0
-14,-24,0
-21,-11,0
-9,26,0
-14,-6,0
-11,18,0
26,11,0
-26,2,0
-26,7,0
3,-2,0
7,9,0
-16,-18,0
-8,22,0
10,-7,0
c 1085 2 ?
p cnf 26 45
21,-19,0
4,-5,0
-3,1,0
14,-15,0
-6,-22,0
-6,-24,0
15,-19,0
-3,-20,0
-15,1,0
-7,-14,0
-13,-21,0
-1,6,0
8,11,0
23,-4,0
22,-5,0
-19,10,0
11,-13,0
7,-23,0
9,18,0
-24,-25,0
17,-18,0
6,24,0
-3,-14,0
14,-6,0
-14,1,0
22,-26,0
-22,9,0
-25,21,0
-7,1,0
-15,-23,0
4,-7,0
26,-17,0
-13,8,0
-10,7,0
23,-11,0
-13,6,0
13,24,0
5,-8,0
14,10,0
-18,-9,0
26,-19,0
-3,-10,0
10,22,0
-15,5,0
20,16,0
c 1086 2 ?
p cnf 26 45
19,11,0
6,-19,0
10,18,0
8,-4,0
-14,14,0
-20,8,0
-6,-15,0
-19,8,0
1,-13,0
12,2,0
18,14,0
-6,19,0
-14,-23,0
-1,-20,0
-16,-24,0
11,-19,0
-16,-14,0
-20,-9,0
15,10,0
25,-7,0
22,6,0
24,3,0
-25,-13,0
-20,9,0
-7,1,0
24,1,0
-4,16,0
14,-4,0
14,20,0
7,-24,0
-21,-9,0
-8,-19,0
-26,-16,0
-13,-25,0
20,8,0
14,-15,0
-10,-2,0
-26,-2,0
14,-2,0
-7,5,0
-5,26,0
13,-19,0
3,-3,0
-18,-3,0
14,11,0
c 1087 2 ?
p cnf 26 45
-7,10,0
-25,-11,0
1,7,0
-16,-7,0
23,-14,0
13,23,0
-8,1,0
20,-11,0
-5,-1,0
-14,8,0
13,3,0
-21,-25,0
-23,26,0
-8,-9,0
23,25,0
8,5,0
-3,18,0
14,14,0
-18,-16,0
-10,14,0
23,-19,0
17,11,0
12,-3,0
26,12,0
-6,-5,0
-17,-6,0
-6,-5,0
-6,21,0
-22,-18,0
16,7,0
-3,-10,0
-21,-6,0
5,-22,0
5,16,0
14,6,0
3,16,0
-20,-6,0
23,-16,0
-11,25,0
-26,16,0
-2,22,0
-20,23,0
15,9,0
-23,-21,0
-9,-17,0
c 1088 2 ?
p cnf 26 45
18,11,0
-26,11,0
22,12,0
3,-7,0
-26,1,0
12,7,0
-13,15,0
-16,-24,0
10,-25,0
-13,-5,0
22,16,0
10,-10,0
13,22,0
-20,-5,0
12,-21,0
-3,-9,0
-20,25,0
-9,-6,0
18,-12,0
-6,-14,0
10,-18,0
7,-25,0
21,-22,0
25,6,0
-16,-13,0
7,25,0
-9,22,0
10,20,0
-17,7,0
-3,-17,0
-24,-22,0
-23,10,0
18,15,0
-6,15,0
11,-17,0
17,-12,0
26,9,0
-4,22,0
10,1,0
-6,14,0
-14,25,0
23,-2,0
19,23,0
22,18,0
-15,-10,0
c 1089 2 ?
p cnf 26 45
11,17,0
15,-5,0
-26,-3,0
-3,-18,0
-24,-23,0
-4,-2,0
22,-22,0
-22,-25,0
-16,-2,0
-6,-14,0
-23,-22,0
-4,-11,0
-11,-3,0
-2,-15,0
-16,-24,0
2,-6,0
-6,-20,0
23,-13,0
-13,11,0
-24,-3,0
-9,11,0
14,6,0
12,16,0
-8,-24,0
23,12,0
5,23,0
26,3,0
24,-7,0
16,-6,0
7,-5,0
9,-21,0
16,12,0
-21,-5,0
-3,16,0
-18,19,0
12,16,0
-18,-14,0
11,-14,0
-13,-15,0
-3,7,0
-25,-8,0
-4,-3,0
-6,-4,0
-4,-6,0
7,-13,0
c 1090 2 ?
p cnf 28 47
-15,13,0
-22,-3,0
-16,20,0
10,-23,0
26,18,0
-23,20,0
6,-1,0
10,-28,0
-4,17,0
10,26,0
-22,-12,0
11,-14,0
-14,-15,0
17,15,0
19,22,0
-4,-9,0
19,-8,0
11,1,0
27,-4,0
3,11,0
16,-24,0
12,-11,0
-19,8,0
24,-11,0
-2,23,0
6,20,0
-11,6,0
5,-19,0
2,-13,0
14,19,0
21,-6,0
24,-19,0
-21,-7,0
-2,28,0
28,-25,0
-7,-13,0
-15,-5,0
6,18,0
17,-25,0
-20,-6,0
8,4,0
-4,-22,0
-19,-3,0
26,-14,0
-6,17,0
-1,18,0
2,11,0
c 1091 2 ?
p cnf 28 47
-12,22,0
-27,-12,0
-23,11,0
4,27,0
-5,-12,0
23,26,0
-19,24,0
26,-6,0
-11,-4,0
-26,-3,0
9,-16,0
-2,2,0
17,24,0
-6,-2,0
26,-7,0
14,-20,0
-4,4,0
13,4,0
-26,-19,0
15,22,0
-4,-1,0
10,-8,0
-10,7,0
15,-23,0
17,25,0
20,4,0
11,28,0
10,-4,0
-23,28,0
6,15,0
28,6,0
10,-22,0
7,-27,0
-10,-4,0
9,-23,0
-18,23,0
23,-9,0
13,19,0
-4,-15,0
15,17,0
-1,11,0
-15,-23,0
-10,-28,0
-21,-19,0
11,26,0
-22,10,0
12,-5,0
c 1092 2 ?
p cnf 28 47
20,-9,0
5,19,0
-24,-14,0
9,-22,0
-18,-3,0
26,-11,0
-21,-13,0
6,11,0
27,9,0
26,-9,0
8,-12,0
13,26,0
-28,8,0
25,-7,0
-23,14,0
-20,12,0
11,-20,0
-23,3,0
-10,-22,0
22,19,0
13,-10,0
10,-27,0
-5,-1,0
9,-5,0
10,-22,0
-20,-20,0
-14,22,0
7,-24,0
-23,27,0
27,-26,0
-11,-19,0
15,11,0
-9,16,0
21,2,0
-21,4,0
-13,-15,0
4,20,0
-26,25,0
22,-19,0
3,-20,0
27,19,0
12,3,0
28,-1,0
24,5,0
16,14,0
3,5,0
-6,-27,0
c 1093 2 ?
p cnf 28 47
11,23,0
6,-22,0
-16,-20,0
-23,16,0
-5,22,0
7,8,0
27,24,0
2,-1,0
22,-22,0
20,11,0
17,-22,0
12,-18,0
-13,-1,0
-2,-23,0
18,-10,0
-23,-5,0
28,-2,0
-4,14,0
-12,13,0
28,7,0
17,10,0
-11,28,0
-23,-13,0
-6,-10,0
-4,16,0
-15,-20,0
-26,2,0
-3,-15,0
23,-11,0
3,14,0
-6,-28,0
-19,11,0
25,-24,0
-11,-5,0
2,27,0
-2,-7,0
22,-13,0
7,-7,0
5,19,0
20,13,0
-24,-21,0
-27,27,0
-17,-28,0
-11,-25,0
-22,-24,0
8,1,0
12,18,0
c 1094 2 ?
p cnf 28 47
18,22,0
2,11,0
1,16,0
24,-12,0
26,-11,0
25,-6,0
-24,-21,0
-22,-26,0
22,-2,0
-27,-3,0
20,25,0
-16,26,0
24,10,0
20,-12,0
-13,23,0
-16,-21,0
-5,11,0
23,11,0
26,22,0
22,-9,0
-6,-16,0
19,-24,0
-17,18,0
6,-21,0
-5,18,0
5,24,0
-3,-8,0
-17,4,0
-5,22,0
-16,-16,0
-13,3,0
-11,-4,0
18,22,0
3,20,0
-18,21,0
-3,-11,0
-1,13,0
17,6,0
10,22,0
15,-25,0
1,-6,0
5,27,0
21,11,0
-7,-3,0
-17,-12,0
21,-21,0
18,19,0
c 1095 2 ?
p cnf 28 47
-7,-28,0
8,-19,0
17,20,0
9,5,0
-8,-4,0
-27,-9,0
14,16,0
23,-8,0
-19,18,0
13,5,0
27,-13,0
-15,18,0
-26,23,0
-11,-6,0
-18,16,0
-14,-6,0
-3,-7,0
-20,-23,0
-10,-7,0
-14,-7,0
-6,3,0
16,13,0
-11,15,0
8,27,0
24,9,0
-16,-24,0
14,-26,0
26,-18,0
-26,-13,0
3,-23,0
-22,19,0
17,7,0
26,-10,0
-21,16,0
7,-25,0
16,24,0
2,24,0
-16,-8,0
-20,-12,0
20,10,0
25,-26,0
24,-19,0
-2,-1,0
-16,15,0
10,-10,0
-25,10,0
-28,-26,0
c 1096 2 ?
p cnf 28 47
21,4,0
-16,10,0
1,-18,0
-13,-22,0
3,7,0
-7,-9,0
-20,2,0
18,-11,0
27,-19,0
16,7,0
6,27,0
5,3,0
27,-4,0
19,-18,0
-18,-10,0
-8,8,0
23,23,0
-24,-25,0
7,3,0
-1,13,0
-17,16,0
-25,25,0
28,-4,0
-8,24,0
5,18,0
25,-1,0
-27,-14,0
7,3,0
21,7,0
23,-18,0
-22,-2,0
27,-10,0
18,-2,0
-20,-21,0
-17,28,0
-25,7,0
4,21,0
21,6,0
-24,18,0
17,-24,0
-24,8,0
27,-9,0
22,-9,0
-19,-6,0
-12,11,0
19,-19,0
13,-28,0
c 1097 2 ?
p cnf 28 47
-17,1,0
20,27,0
-27,16,0
13,-28,0
-5,-18,0
-11,-20,0
-13,-3,0
27,3,0
15,-9,0
-13,-4,0
14,7,0
-9,27,0
11,-16,0
22,5,0
27,-21,0
27,1,0
9,17,0
18,18,0
23,-2,0
-9,-25,0
26,27,0
5,1,0
-12,15,0
-15,11,0
-2,27,0
12,13,0
5,-23,0
-20,-6,0
24,6,0
-11,21,0
23,-24,0
18,17,0
-1,16,0
4,27,0
6,-5,0
19,-17,0
-11,-9,0
-5,-12,0
19,-20,0
-5,24,0
8,-7,0
-19,16,0
7,1,0
-27,18,0
20,-23,0
-5,-19,0
13,-27,0
c 1098 2 ?
p cnf 28 47
6,17,0
19,-8,0
21,4,0
-20,-11,0
-11,-16,0
13,21,0
-19,-11,0
-19,3,0
-4,-18,0
7,-18,0
16,17,0
-23,-19,0
-28,24,0
-19,-28,0
11,5,0
21,28,0
-7,16,0
-3,-10,0
-11,3,0
-13,-21,0
-18,2,0
26,-1,0
-17,19,0
-14,-24,0
-28,28,0
-25,24,0
-12,-26,0
26,10,0
-25,-15,0
6,-9,0
-3,5,0
7,-26,0
10,27,0
-16,17,0
-19,21,0
-27,-19,0
13,-3,0
7,12,0
12,6,0
-1,-28,0
-24,-14,0
6,20,0
1,-17,0
-6,23,0
24,-20,0
-12,8,0
16,19,0
c 1099 2 ?
p cnf 28 47
-13,-8,0
16,-4,0
-18,10,0
14,7,0
-15,18,0
-19,-9,0
-12,16,0
-21,-11,0
27,-1,0
1,-17,0
1,5,0
5,9,0
21,-4,0
7,-26,0
-10,-25,0
2,-28,0
-22,13,0
-1,-17,0
23,28,0
-12,9,0
25,23,0
10,-27,0
3,27,0
-27,-1,0
14,28,0
-1,-8,0
1,6,0
-22,9,0
8,-10,0
-13,-7,0
-3,-24,0
21,26,0
25,3,0
8,-10,0
-24,28,0
20,-25,0
-4,-11,0
-4,-19,0
26,7,0
25,21,0
-15,21,0
7,3,0
-8,-25,0
9,-13,0
16,16,0
-13,-5,0
-9,-22,0