C:\java\10\bin\java.exe "-javaagent:C:\Program Files\JetBrains\IntelliJ IDEA Community Edition 2018.2.4\lib\idea_rt.jar=50310:C:\Program Files\JetBrains\IntelliJ IDEA Community Edition 2018.2.4\bin" -Dfile.encoding=UTF-8 -classpath C:\MyWork\Scala\IntelliJ_proj\CrossBoard\target\scala-2.11\classes;C:\Users\Owner\.ivy2\local\jp.kobe_u\copris-all_2.11\2.2.8\jars\copris-all_2.11.jar;C:\Users\Owner\.ivy2\cache\org.scala-lang\scala-library\jars\scala-library-2.11.12.jar CrossBoardMain int(x(0,0),-1,1) int(x(0,1),-1,1) int(x(0,2),-1,1) int(x(0,3),-1,1) int(x(0,4),-1,1) int(x(1,0),-1,1) int(x(1,1),-1,1) int(x(1,2),-1,1) int(x(1,3),-1,1) int(x(1,4),-1,1) int(x(2,0),-1,1) int(x(2,1),-1,1) int(x(2,2),-1,1) int(x(2,3),-1,1) int(x(2,4),-1,1) int(x(3,0),-1,1) int(x(3,1),-1,1) int(x(3,2),-1,1) int(x(3,3),-1,1) int(x(3,4),-1,1) int(x(4,0),-1,1) int(x(4,1),-1,1) int(x(4,2),-1,1) int(x(4,3),-1,1) int(x(4,4),-1,1) Eq(Add(x(0,0),x(0,1),x(0,2),x(0,3),x(0,4)),0) Eq(Add(x(1,0),x(1,1),x(1,2),x(1,3),x(1,4)),0) Eq(Add(x(2,0),x(2,1),x(2,2),x(2,3),x(2,4)),0) Eq(Add(x(3,0),x(3,1),x(3,2),x(3,3),x(3,4)),0) Eq(Add(x(4,0),x(4,1),x(4,2),x(4,3),x(4,4)),0) Eq(Add(Abs(x(0,0)),Abs(x(0,1)),Abs(x(0,2)),Abs(x(0,3)),Abs(x(0,4))),2) Eq(Add(Abs(x(1,0)),Abs(x(1,1)),Abs(x(1,2)),Abs(x(1,3)),Abs(x(1,4))),2) Eq(Add(Abs(x(2,0)),Abs(x(2,1)),Abs(x(2,2)),Abs(x(2,3)),Abs(x(2,4))),2) Eq(Add(Abs(x(3,0)),Abs(x(3,1)),Abs(x(3,2)),Abs(x(3,3)),Abs(x(3,4))),2) Eq(Add(Abs(x(4,0)),Abs(x(4,1)),Abs(x(4,2)),Abs(x(4,3)),Abs(x(4,4))),2) Eq(Add(x(0,0),x(1,0),x(2,0),x(3,0),x(4,0)),0) Eq(Add(x(0,1),x(1,1),x(2,1),x(3,1),x(4,1)),0) Eq(Add(x(0,2),x(1,2),x(2,2),x(3,2),x(4,2)),0) Eq(Add(x(0,3),x(1,3),x(2,3),x(3,3),x(4,3)),0) Eq(Add(x(0,4),x(1,4),x(2,4),x(3,4),x(4,4)),0) Eq(Add(Abs(x(0,0)),Abs(x(1,0)),Abs(x(2,0)),Abs(x(3,0)),Abs(x(4,0))),2) Eq(Add(Abs(x(0,1)),Abs(x(1,1)),Abs(x(2,1)),Abs(x(3,1)),Abs(x(4,1))),2) Eq(Add(Abs(x(0,2)),Abs(x(1,2)),Abs(x(2,2)),Abs(x(3,2)),Abs(x(4,2))),2) Eq(Add(Abs(x(0,3)),Abs(x(1,3)),Abs(x(2,3)),Abs(x(3,3)),Abs(x(4,3))),2) Eq(Add(Abs(x(0,4)),Abs(x(1,4)),Abs(x(2,4)),Abs(x(3,4)),Abs(x(4,4))),2) Alldifferent(Add(Mul(x(0,0),1),Mul(x(0,1),2),Mul(x(0,2),4),Mul(x(0,3),8),Mul(x(0,4),16)),Add(Mul(x(0,0),16),Mul(x(0,1),8),Mul(x(0,2),4),Mul(x(0,3),2),Mul(x(0,4),1)),Add(Mul(x(1,0),1),Mul(x(1,1),2),Mul(x(1,2),4),Mul(x(1,3),8),Mul(x(1,4),16)),Add(Mul(x(1,0),16),Mul(x(1,1),8),Mul(x(1,2),4),Mul(x(1,3),2),Mul(x(1,4),1)),Add(Mul(x(2,0),1),Mul(x(2,1),2),Mul(x(2,2),4),Mul(x(2,3),8),Mul(x(2,4),16)),Add(Mul(x(2,0),16),Mul(x(2,1),8),Mul(x(2,2),4),Mul(x(2,3),2),Mul(x(2,4),1)),Add(Mul(x(3,0),1),Mul(x(3,1),2),Mul(x(3,2),4),Mul(x(3,3),8),Mul(x(3,4),16)),Add(Mul(x(3,0),16),Mul(x(3,1),8),Mul(x(3,2),4),Mul(x(3,3),2),Mul(x(3,4),1)),Add(Mul(x(4,0),1),Mul(x(4,1),2),Mul(x(4,2),4),Mul(x(4,3),8),Mul(x(4,4),16)),Add(Mul(x(4,0),16),Mul(x(4,1),8),Mul(x(4,2),4),Mul(x(4,3),2),Mul(x(4,4),1)),Add(Mul(Neg(x(0,0)),1),Mul(Neg(x(1,0)),2),Mul(Neg(x(2,0)),4),Mul(Neg(x(3,0)),8),Mul(Neg(x(4,0)),16)),Add(Mul(Neg(x(0,0)),16),Mul(Neg(x(1,0)),8),Mul(Neg(x(2,0)),4),Mul(Neg(x(3,0)),2),Mul(Neg(x(4,0)),1)),Add(Mul(Neg(x(0,1)),1),Mul(Neg(x(1,1)),2),Mul(Neg(x(2,1)),4),Mul(Neg(x(3,1)),8),Mul(Neg(x(4,1)),16)),Add(Mul(Neg(x(0,1)),16),Mul(Neg(x(1,1)),8),Mul(Neg(x(2,1)),4),Mul(Neg(x(3,1)),2),Mul(Neg(x(4,1)),1)),Add(Mul(Neg(x(0,2)),1),Mul(Neg(x(1,2)),2),Mul(Neg(x(2,2)),4),Mul(Neg(x(3,2)),8),Mul(Neg(x(4,2)),16)),Add(Mul(Neg(x(0,2)),16),Mul(Neg(x(1,2)),8),Mul(Neg(x(2,2)),4),Mul(Neg(x(3,2)),2),Mul(Neg(x(4,2)),1)),Add(Mul(Neg(x(0,3)),1),Mul(Neg(x(1,3)),2),Mul(Neg(x(2,3)),4),Mul(Neg(x(3,3)),8),Mul(Neg(x(4,3)),16)),Add(Mul(Neg(x(0,3)),16),Mul(Neg(x(1,3)),8),Mul(Neg(x(2,3)),4),Mul(Neg(x(3,3)),2),Mul(Neg(x(4,3)),1)),Add(Mul(Neg(x(0,4)),1),Mul(Neg(x(1,4)),2),Mul(Neg(x(2,4)),4),Mul(Neg(x(3,4)),8),Mul(Neg(x(4,4)),16)),Add(Mul(Neg(x(0,4)),16),Mul(Neg(x(1,4)),8),Mul(Neg(x(2,4)),4),Mul(Neg(x(3,4)),2),Mul(Neg(x(4,4)),1))) Solution[ 1 ] ---------------- 0 0 -1 1 0 0 -1 1 0 0 1 0 0 -1 0 0 1 0 0 -1 -1 0 0 0 1 Solution[ 2 ] ---------------- 0 0 -1 1 0 1 -1 0 0 0 0 0 1 -1 0 0 1 0 0 -1 -1 0 0 0 1 Solution[ 3 ] ---------------- 0 -1 0 1 0 0 0 1 0 -1 1 0 -1 0 0 -1 1 0 0 0 0 0 0 -1 1 Solution[ 4 ] ---------------- 0 -1 0 1 0 1 0 -1 0 0 -1 0 1 0 0 0 1 0 0 -1 0 0 0 -1 1 Solution[ 5 ] ---------------- 0 -1 0 1 0 -1 0 1 0 0 1 0 -1 0 0 0 1 0 0 -1 0 0 0 -1 1 Solution[ 6 ] ---------------- 1 -1 0 0 0 0 0 0 1 -1 0 0 -1 0 1 -1 0 1 0 0 0 1 0 -1 0 Solution[ 7 ] ---------------- 1 -1 0 0 0 -1 0 0 1 0 0 0 1 0 -1 0 0 -1 0 1 0 1 0 -1 0 Solution[ 8 ] ---------------- 1 -1 0 0 0 0 0 0 1 -1 0 1 -1 0 0 -1 0 0 0 1 0 0 1 -1 0 Solution[ 9 ] ---------------- 0 0 0 1 -1 0 -1 0 0 1 1 0 -1 0 0 -1 0 1 0 0 0 1 0 -1 0 Solution[ 10 ] ---------------- 0 0 0 1 -1 0 -1 0 0 1 -1 0 1 0 0 1 0 -1 0 0 0 1 0 -1 0 Solution[ 11 ] ---------------- 0 0 0 1 -1 1 -1 0 0 0 -1 0 1 0 0 0 0 -1 0 1 0 1 0 -1 0 Solution[ 12 ] ---------------- 0 0 0 1 -1 0 1 -1 0 0 -1 0 0 0 1 0 0 1 -1 0 1 -1 0 0 0 Solution[ 13 ] ---------------- 0 0 0 1 -1 -1 0 0 0 1 0 -1 1 0 0 1 0 0 -1 0 0 1 -1 0 0 Solution[ 14 ] ---------------- 0 0 0 1 -1 1 -1 0 0 0 0 0 1 -1 0 -1 0 0 0 1 0 1 -1 0 0 Solution[ 15 ] ---------------- 0 0 0 1 -1 -1 0 0 0 1 0 1 -1 0 0 1 0 0 -1 0 0 -1 1 0 0 Solution[ 16 ] ---------------- 0 0 -1 1 0 0 1 0 0 -1 0 0 1 -1 0 -1 0 0 0 1 1 -1 0 0 0 Solution[ 17 ] ---------------- 0 -1 0 1 0 -1 1 0 0 0 0 0 1 0 -1 0 0 -1 0 1 1 0 0 -1 0 Solution[ 18 ] ---------------- 0 -1 0 1 0 0 1 0 0 -1 0 0 -1 0 1 -1 0 1 0 0 1 0 0 -1 0 Solution[ 19 ] ---------------- 0 0 -1 1 0 1 0 0 0 -1 0 -1 1 0 0 0 0 0 -1 1 -1 1 0 0 0 Solution[ 20 ] ---------------- 0 -1 0 1 0 0 0 1 0 -1 0 0 -1 0 1 1 0 0 -1 0 -1 1 0 0 0 Solution[ 21 ] ---------------- 0 -1 0 1 0 1 0 -1 0 0 0 0 1 0 -1 0 0 0 -1 1 -1 1 0 0 0 Solution[ 22 ] ---------------- 0 0 0 1 -1 -1 0 1 0 0 1 0 -1 0 0 0 1 0 -1 0 0 -1 0 0 1 Solution[ 23 ] ---------------- 0 0 0 1 -1 1 0 -1 0 0 -1 0 1 0 0 0 1 0 -1 0 0 -1 0 0 1 Solution[ 24 ] ---------------- 0 0 0 1 -1 -1 0 1 0 0 1 -1 0 0 0 0 1 0 -1 0 0 0 -1 0 1 Solution[ 25 ] ---------------- 0 0 -1 1 0 1 0 0 0 -1 0 0 1 -1 0 -1 1 0 0 0 0 -1 0 0 1 Solution[ 26 ] ---------------- 0 -1 1 0 0 1 0 0 0 -1 0 0 -1 1 0 -1 1 0 0 0 0 0 0 -1 1 Solution[ 27 ] ---------------- 0 -1 1 0 0 -1 0 0 1 0 0 1 -1 0 0 1 0 0 0 -1 0 0 0 -1 1 Solution[ 28 ] ---------------- 0 1 -1 0 0 -1 0 0 1 0 0 -1 1 0 0 1 0 0 0 -1 0 0 0 -1 1 Solution[ 29 ] ---------------- 0 1 -1 0 0 -1 0 0 0 1 0 -1 1 0 0 0 0 0 1 -1 1 0 0 -1 0 Solution[ 30 ] ---------------- 0 -1 1 0 0 0 1 0 0 -1 0 0 -1 1 0 -1 0 0 0 1 1 0 0 -1 0 Solution[ 31 ] ---------------- 0 -1 1 0 0 -1 0 0 0 1 0 1 -1 0 0 0 0 0 1 -1 1 0 0 -1 0 Solution[ 32 ] ---------------- 1 -1 0 0 0 -1 0 0 1 0 0 0 -1 0 1 0 0 1 0 -1 0 1 0 -1 0 Solution[ 33 ] ---------------- 1 -1 0 0 0 -1 0 0 0 1 0 0 -1 1 0 0 1 0 0 -1 0 0 1 -1 0 Solution[ 34 ] ---------------- 0 1 0 -1 0 -1 0 1 0 0 0 0 -1 0 1 0 0 0 1 -1 1 -1 0 0 0 Solution[ 35 ] ---------------- 0 1 0 -1 0 0 0 1 0 -1 0 0 -1 0 1 -1 0 0 1 0 1 -1 0 0 0 Solution[ 36 ] ---------------- 1 0 -1 0 0 0 -1 0 1 0 0 0 0 -1 1 0 0 1 0 -1 -1 1 0 0 0 Solution[ 37 ] ---------------- 1 -1 0 0 0 0 0 1 -1 0 -1 0 0 0 1 0 1 -1 0 0 0 0 0 1 -1 Solution[ 38 ] ---------------- 1 0 0 -1 0 0 -1 0 1 0 0 0 -1 0 1 0 0 1 0 -1 -1 1 0 0 0 Solution[ 39 ] ---------------- 0 1 0 -1 0 1 -1 0 0 0 0 0 -1 0 1 0 0 1 0 -1 -1 0 0 1 0 Solution[ 40 ] ---------------- 1 0 0 -1 0 0 0 1 0 -1 0 0 -1 0 1 -1 1 0 0 0 0 -1 0 1 0 Solution[ 41 ] ---------------- 1 0 0 -1 0 -1 0 1 0 0 0 0 -1 0 1 0 1 0 0 -1 0 -1 0 1 0 Solution[ 42 ] ---------------- 1 -1 0 0 0 0 0 1 0 -1 0 0 -1 0 1 0 1 0 -1 0 -1 0 0 1 0 Solution[ 43 ] ---------------- 1 0 -1 0 0 0 0 1 0 -1 0 -1 0 0 1 0 1 0 -1 0 -1 0 0 1 0 Solution[ 44 ] ---------------- 0 1 -1 0 0 0 0 1 -1 0 0 -1 0 0 1 -1 0 0 1 0 1 0 0 0 -1 Solution[ 45 ] ---------------- 1 0 0 -1 0 0 0 -1 1 0 -1 0 0 0 1 0 -1 1 0 0 0 1 0 0 -1 Solution[ 46 ] ---------------- 0 0 1 -1 0 0 1 -1 0 0 -1 0 0 1 0 0 -1 0 0 1 1 0 0 0 -1 Solution[ 47 ] ---------------- 0 1 0 -1 0 0 0 -1 0 1 0 0 1 0 -1 -1 0 0 1 0 1 -1 0 0 0 Solution[ 48 ] ---------------- 0 1 0 -1 0 1 0 -1 0 0 -1 0 1 0 0 0 -1 0 0 1 0 0 0 1 -1 Solution[ 49 ] ---------------- 0 1 0 -1 0 0 0 -1 0 1 -1 0 1 0 0 1 -1 0 0 0 0 0 0 1 -1 Solution[ 50 ] ---------------- 1 0 0 -1 0 0 0 -1 0 1 0 0 1 0 -1 -1 1 0 0 0 0 -1 0 1 0 Solution[ 51 ] ---------------- 0 1 0 -1 0 0 -1 0 0 1 0 0 1 0 -1 1 0 -1 0 0 -1 0 0 1 0 Solution[ 52 ] ---------------- 0 1 0 -1 0 1 -1 0 0 0 0 0 1 0 -1 0 0 -1 0 1 -1 0 0 1 0 Solution[ 53 ] ---------------- 0 1 0 -1 0 -1 0 1 0 0 1 0 -1 0 0 0 -1 0 0 1 0 0 0 1 -1 Solution[ 54 ] ---------------- 0 0 1 -1 0 -1 1 0 0 0 0 0 -1 1 0 0 -1 0 0 1 1 0 0 0 -1 Solution[ 55 ] ---------------- 0 0 1 -1 0 -1 0 0 0 1 0 0 -1 1 0 1 -1 0 0 0 0 1 0 0 -1 Solution[ 56 ] ---------------- 0 0 1 -1 0 1 -1 0 0 0 0 0 -1 1 0 0 1 0 0 -1 -1 0 0 0 1 Solution[ 57 ] ---------------- 0 0 1 -1 0 0 -1 0 0 1 0 0 -1 1 0 1 0 0 0 -1 -1 1 0 0 0 Solution[ 58 ] ---------------- 0 0 1 -1 0 1 -1 0 0 0 0 0 0 1 -1 0 1 -1 0 0 -1 0 0 0 1 Solution[ 59 ] ---------------- 0 0 1 -1 0 0 1 0 0 -1 0 0 -1 1 0 -1 0 0 0 1 1 -1 0 0 0 Solution[ 60 ] ---------------- 1 0 0 -1 0 -1 0 0 0 1 0 0 -1 1 0 0 1 0 0 -1 0 -1 1 0 0 Solution[ 61 ] ---------------- 0 0 1 -1 0 1 0 0 0 -1 0 0 -1 1 0 -1 1 0 0 0 0 -1 0 0 1 Solution[ 62 ] ---------------- 0 0 1 -1 0 -1 0 0 0 1 0 1 -1 0 0 0 0 0 1 -1 1 -1 0 0 0 Solution[ 63 ] ---------------- 1 0 0 -1 0 0 -1 0 1 0 0 1 0 0 -1 0 0 -1 0 1 -1 0 1 0 0 Solution[ 64 ] ---------------- 1 0 0 -1 0 0 -1 0 1 0 0 0 1 0 -1 0 0 -1 0 1 -1 1 0 0 0 Solution[ 65 ] ---------------- 1 0 0 -1 0 0 0 0 1 -1 0 1 -1 0 0 -1 0 0 0 1 0 -1 1 0 0 Solution[ 66 ] ---------------- 0 0 1 -1 0 -1 0 0 1 0 0 1 -1 0 0 1 0 0 0 -1 0 -1 0 0 1 Solution[ 67 ] ---------------- 0 1 0 -1 0 -1 0 0 1 0 1 0 -1 0 0 0 0 1 0 -1 0 -1 0 0 1 Solution[ 68 ] ---------------- 0 1 0 -1 0 0 0 0 1 -1 1 0 -1 0 0 -1 0 1 0 0 0 -1 0 0 1 Solution[ 69 ] ---------------- 0 1 0 -1 0 0 0 0 1 -1 -1 0 1 0 0 1 0 -1 0 0 0 -1 0 0 1 Solution[ 70 ] ---------------- 1 0 0 -1 0 0 0 0 1 -1 0 -1 1 0 0 -1 0 0 0 1 0 1 -1 0 0 Solution[ 71 ] ---------------- 1 -1 0 0 0 -1 0 0 0 1 0 0 1 -1 0 0 1 0 0 -1 0 0 -1 1 0 Solution[ 72 ] ---------------- 1 -1 0 0 0 0 0 -1 0 1 0 0 0 1 -1 0 1 0 -1 0 -1 0 1 0 0 Solution[ 73 ] ---------------- 1 -1 0 0 0 0 0 -1 0 1 0 0 1 0 -1 0 1 0 -1 0 -1 0 0 1 0 Solution[ 74 ] ---------------- 1 0 -1 0 0 0 0 0 -1 1 0 -1 0 1 0 -1 1 0 0 0 0 0 1 0 -1 Solution[ 75 ] ---------------- 0 1 -1 0 0 0 -1 0 0 1 0 0 1 -1 0 1 0 0 0 -1 -1 0 0 1 0 Solution[ 76 ] ---------------- 0 1 -1 0 0 0 0 0 1 -1 1 -1 0 0 0 0 0 1 -1 0 -1 0 0 0 1 Solution[ 77 ] ---------------- 0 1 -1 0 0 1 0 0 0 -1 0 -1 1 0 0 0 0 0 -1 1 -1 0 0 1 0 Solution[ 78 ] ---------------- 0 1 -1 0 0 0 0 0 1 -1 0 -1 1 0 0 1 0 0 -1 0 -1 0 0 0 1 Solution[ 79 ] ---------------- 0 1 -1 0 0 0 0 0 -1 1 0 -1 1 0 0 -1 0 0 1 0 1 0 0 0 -1 Solution[ 80 ] ---------------- 1 0 -1 0 0 -1 0 0 1 0 0 1 0 -1 0 0 -1 0 0 1 0 0 1 0 -1 Solution[ 81 ] ---------------- 0 1 -1 0 0 -1 0 0 0 1 0 0 1 -1 0 1 -1 0 0 0 0 0 0 1 -1 Solution[ 82 ] ---------------- 0 1 -1 0 0 1 0 0 -1 0 0 -1 1 0 0 -1 0 0 0 1 0 0 0 1 -1 Solution[ 83 ] ---------------- 0 -1 1 0 0 1 0 0 -1 0 0 1 -1 0 0 -1 0 0 0 1 0 0 0 1 -1 Solution[ 84 ] ---------------- 0 -1 1 0 0 1 0 0 0 -1 0 1 -1 0 0 0 0 0 -1 1 -1 0 0 1 0 Solution[ 85 ] ---------------- 0 -1 1 0 0 0 0 -1 1 0 0 1 0 0 -1 1 0 0 -1 0 -1 0 0 0 1 Solution[ 86 ] ---------------- 0 -1 1 0 0 0 0 0 1 -1 0 1 -1 0 0 1 0 0 -1 0 -1 0 0 0 1 Solution[ 87 ] ---------------- 0 -1 1 0 0 0 0 0 -1 1 -1 1 0 0 0 0 0 -1 1 0 1 0 0 0 -1 Solution[ 88 ] ---------------- 0 -1 1 0 0 0 0 0 -1 1 0 1 -1 0 0 -1 0 0 1 0 1 0 0 0 -1 Solution[ 89 ] ---------------- -1 1 0 0 0 0 0 0 -1 1 0 0 1 0 -1 1 0 -1 0 0 0 -1 0 1 0 Solution[ 90 ] ---------------- -1 1 0 0 0 1 0 0 -1 0 0 0 1 0 -1 0 0 -1 0 1 0 -1 0 1 0 Solution[ 91 ] ---------------- -1 1 0 0 0 0 0 -1 0 1 0 0 1 0 -1 0 -1 0 1 0 1 0 0 -1 0 Solution[ 92 ] ---------------- -1 1 0 0 0 0 0 -1 1 0 1 0 0 0 -1 0 -1 1 0 0 0 0 0 -1 1 Solution[ 93 ] ---------------- -1 0 0 1 0 0 0 -1 0 1 0 0 1 0 -1 1 -1 0 0 0 0 1 0 -1 0 Solution[ 94 ] ---------------- 0 0 -1 1 0 -1 0 0 0 1 0 0 1 -1 0 1 -1 0 0 0 0 1 0 0 -1 Solution[ 95 ] ---------------- 0 -1 0 1 0 0 0 0 -1 1 -1 0 1 0 0 1 0 -1 0 0 0 1 0 0 -1 Solution[ 96 ] ---------------- 0 0 -1 1 0 0 -1 0 0 1 0 0 1 -1 0 1 0 0 0 -1 -1 1 0 0 0 Solution[ 97 ] ---------------- -1 0 0 1 0 0 0 0 -1 1 0 -1 1 0 0 1 0 0 0 -1 0 1 -1 0 0 Solution[ 98 ] ---------------- 0 -1 0 1 0 0 0 -1 0 1 0 0 1 0 -1 1 0 0 -1 0 -1 1 0 0 0 Solution[ 99 ] ---------------- -1 0 0 1 0 0 1 0 -1 0 0 -1 0 0 1 0 0 1 0 -1 1 0 -1 0 0 Solution[ 100 ] ---------------- 0 0 -1 1 0 -1 1 0 0 0 0 0 0 -1 1 0 -1 1 0 0 1 0 0 0 -1 Solution[ 101 ] ---------------- -1 0 0 1 0 0 1 0 -1 0 0 0 -1 0 1 0 0 1 0 -1 1 -1 0 0 0 Solution[ 102 ] ---------------- 0 -1 0 1 0 0 0 0 -1 1 1 0 -1 0 0 -1 0 1 0 0 0 1 0 0 -1 Solution[ 103 ] ---------------- -1 0 0 1 0 0 0 1 -1 0 1 0 0 0 -1 0 1 -1 0 0 0 -1 0 0 1 Solution[ 104 ] ---------------- -1 0 0 1 0 0 0 0 -1 1 0 1 -1 0 0 1 0 0 0 -1 0 -1 1 0 0 Solution[ 105 ] ---------------- -1 0 0 1 0 0 1 0 -1 0 0 0 1 0 -1 0 0 -1 0 1 1 -1 0 0 0 Solution[ 106 ] ---------------- -1 0 0 1 0 1 0 0 0 -1 0 0 1 -1 0 0 -1 0 0 1 0 1 -1 0 0 Solution[ 107 ] ---------------- 0 -1 0 1 0 1 0 0 -1 0 -1 0 1 0 0 0 0 -1 0 1 0 1 0 0 -1 Solution[ 108 ] ---------------- 0 0 -1 1 0 1 0 0 -1 0 0 -1 1 0 0 -1 0 0 0 1 0 1 0 0 -1 Solution[ 109 ] ---------------- 0 0 -1 1 0 -1 1 0 0 0 0 0 1 -1 0 0 -1 0 0 1 1 0 0 0 -1 Solution[ 110 ] ---------------- -1 0 0 1 0 1 0 -1 0 0 0 0 1 0 -1 0 -1 0 0 1 0 1 0 -1 0 Solution[ 111 ] ---------------- -1 0 0 1 0 0 0 1 0 -1 0 0 -1 0 1 1 -1 0 0 0 0 1 0 -1 0 Solution[ 112 ] ---------------- 0 -1 0 1 0 -1 1 0 0 0 0 0 -1 0 1 0 0 1 0 -1 1 0 0 -1 0 Solution[ 113 ] ---------------- -1 1 0 0 0 1 0 0 0 -1 0 0 -1 1 0 0 -1 0 0 1 0 0 1 -1 0 Solution[ 114 ] ---------------- -1 1 0 0 0 0 0 1 0 -1 0 0 -1 0 1 0 -1 0 1 0 1 0 0 -1 0 Solution[ 115 ] ---------------- -1 1 0 0 0 1 0 0 -1 0 0 0 -1 0 1 0 0 1 0 -1 0 -1 0 1 0 Solution[ 116 ] ---------------- -1 1 0 0 0 0 0 1 0 -1 0 0 0 -1 1 0 -1 0 1 0 1 0 -1 0 0 Solution[ 117 ] ---------------- -1 0 1 0 0 1 0 0 -1 0 0 -1 0 1 0 0 1 0 0 -1 0 0 -1 0 1 Solution[ 118 ] ---------------- -1 0 1 0 0 0 0 0 1 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 -1 0 1 Solution[ 119 ] ---------------- -1 0 1 0 0 0 1 0 -1 0 0 0 0 1 -1 0 0 -1 0 1 1 -1 0 0 0 Solution[ 120 ] ---------------- -1 1 0 0 0 0 0 0 -1 1 0 -1 1 0 0 1 0 0 0 -1 0 0 -1 1 0 Solution[ 121 ] ---------------- -1 1 0 0 0 1 0 0 0 -1 0 0 1 -1 0 0 -1 0 0 1 0 0 -1 1 0 Solution[ 122 ] ---------------- -1 0 1 0 0 0 0 -1 0 1 0 1 0 0 -1 0 -1 0 1 0 1 0 0 -1 0 Solution[ 123 ] ---------------- 0 1 0 0 -1 0 -1 1 0 0 -1 0 0 0 1 0 0 -1 1 0 1 0 0 -1 0 Solution[ 124 ] ---------------- 1 0 0 0 -1 -1 0 0 1 0 0 -1 0 0 1 0 0 1 -1 0 0 1 -1 0 0 Solution[ 125 ] ---------------- 1 0 0 0 -1 0 -1 1 0 0 0 0 0 -1 1 -1 1 0 0 0 0 0 -1 1 0 Solution[ 126 ] ---------------- 0 1 0 0 -1 -1 0 0 0 1 0 -1 1 0 0 1 0 0 -1 0 0 0 -1 1 0 Solution[ 127 ] ---------------- 0 1 0 0 -1 0 0 -1 0 1 -1 0 1 0 0 1 0 0 -1 0 0 -1 0 1 0 Solution[ 128 ] ---------------- 0 1 0 0 -1 -1 0 1 0 0 1 0 -1 0 0 0 0 0 -1 1 0 -1 0 1 0 Solution[ 129 ] ---------------- 0 1 0 0 -1 1 0 -1 0 0 -1 0 1 0 0 0 0 0 -1 1 0 -1 0 1 0 Solution[ 130 ] ---------------- 0 1 0 0 -1 1 -1 0 0 0 0 0 1 -1 0 -1 0 0 0 1 0 0 -1 1 0 Solution[ 131 ] ---------------- 1 0 0 0 -1 0 -1 0 0 1 0 0 1 -1 0 -1 1 0 0 0 0 0 -1 1 0 Solution[ 132 ] ---------------- 0 0 1 0 -1 -1 1 0 0 0 0 -1 0 1 0 0 0 0 -1 1 1 0 -1 0 0 Solution[ 133 ] ---------------- 1 0 0 0 -1 -1 0 0 1 0 0 -1 1 0 0 0 0 0 -1 1 0 1 -1 0 0 Solution[ 134 ] ---------------- 0 1 0 0 -1 1 -1 0 0 0 0 0 -1 1 0 -1 0 0 0 1 0 0 1 -1 0 Solution[ 135 ] ---------------- 1 0 0 0 -1 0 -1 0 0 1 -1 0 0 1 0 0 1 -1 0 0 0 0 1 -1 0 Solution[ 136 ] ---------------- 1 0 0 0 -1 0 -1 0 0 1 0 0 -1 1 0 -1 1 0 0 0 0 0 1 -1 0 Solution[ 137 ] ---------------- 0 1 0 0 -1 0 -1 0 1 0 1 0 -1 0 0 -1 0 1 0 0 0 0 0 -1 1 Solution[ 138 ] ---------------- 0 1 0 0 -1 0 -1 0 1 0 -1 0 1 0 0 1 0 -1 0 0 0 0 0 -1 1 Solution[ 139 ] ---------------- 0 0 1 0 -1 0 -1 0 1 0 -1 1 0 0 0 1 0 -1 0 0 0 0 0 -1 1 Solution[ 140 ] ---------------- 0 1 0 0 -1 0 -1 0 1 0 1 0 0 -1 0 -1 0 1 0 0 0 0 -1 0 1 Solution[ 141 ] ---------------- 0 0 1 0 -1 1 0 -1 0 0 -1 0 0 1 0 0 1 0 -1 0 0 -1 0 0 1 Solution[ 142 ] ---------------- 1 0 0 0 -1 -1 0 0 1 0 0 1 -1 0 0 0 0 0 -1 1 0 -1 1 0 0 Solution[ 143 ] ---------------- 1 0 0 0 -1 0 0 -1 1 0 -1 1 0 0 0 0 0 0 -1 1 0 -1 1 0 0 Solution[ 144 ] ---------------- 0 0 1 0 -1 0 -1 0 0 1 0 1 0 -1 0 -1 0 0 1 0 1 0 -1 0 0 Solution[ 145 ] ---------------- -1 0 0 0 1 1 0 0 -1 0 0 1 -1 0 0 0 0 0 1 -1 0 -1 1 0 0 Solution[ 146 ] ---------------- 0 0 0 -1 1 1 0 0 0 -1 0 1 -1 0 0 -1 0 0 1 0 0 -1 1 0 0 Solution[ 147 ] ---------------- 0 0 0 -1 1 1 0 -1 0 0 -1 1 0 0 0 0 -1 0 1 0 0 0 1 0 -1 Solution[ 148 ] ---------------- -1 0 0 0 1 1 0 0 -1 0 0 1 0 0 -1 0 0 -1 1 0 0 -1 1 0 0 Solution[ 149 ] ---------------- 0 0 -1 0 1 1 -1 0 0 0 0 1 0 -1 0 0 0 0 1 -1 -1 0 1 0 0 Solution[ 150 ] ---------------- 0 -1 0 0 1 1 0 0 0 -1 0 1 -1 0 0 -1 0 0 1 0 0 0 1 -1 0 Solution[ 151 ] ---------------- 0 0 0 -1 1 -1 1 0 0 0 1 0 -1 0 0 0 0 1 0 -1 0 -1 0 1 0 Solution[ 152 ] ---------------- 0 -1 0 0 1 0 1 -1 0 0 1 0 0 0 -1 0 0 1 -1 0 -1 0 0 1 0 Solution[ 153 ] ---------------- 0 0 -1 0 1 0 1 0 -1 0 1 -1 0 0 0 -1 0 1 0 0 0 0 0 1 -1 Solution[ 154 ] ---------------- 0 -1 0 0 1 0 1 0 -1 0 1 0 -1 0 0 -1 0 1 0 0 0 0 0 1 -1 Solution[ 155 ] ---------------- 0 -1 0 0 1 0 1 0 -1 0 -1 0 1 0 0 1 0 -1 0 0 0 0 0 1 -1 Solution[ 156 ] ---------------- 0 0 -1 0 1 -1 0 1 0 0 1 0 0 -1 0 0 -1 0 1 0 0 1 0 0 -1 Solution[ 157 ] ---------------- 0 -1 0 0 1 1 0 -1 0 0 -1 0 1 0 0 0 0 0 1 -1 0 1 0 -1 0 Solution[ 158 ] ---------------- 0 -1 0 0 1 -1 0 1 0 0 1 0 -1 0 0 0 0 0 1 -1 0 1 0 -1 0 Solution[ 159 ] ---------------- 0 0 0 -1 1 0 -1 1 0 0 1 0 0 0 -1 0 0 -1 1 0 -1 1 0 0 0 Solution[ 160 ] ---------------- 0 0 0 -1 1 -1 0 1 0 0 1 0 -1 0 0 0 -1 0 1 0 0 1 0 0 -1 Solution[ 161 ] ---------------- 0 0 0 -1 1 1 0 -1 0 0 -1 0 1 0 0 0 -1 0 1 0 0 1 0 0 -1 Solution[ 162 ] ---------------- 0 -1 0 0 1 0 1 0 -1 0 -1 0 0 1 0 1 0 -1 0 0 0 0 1 0 -1 Solution[ 163 ] ---------------- 0 0 0 -1 1 -1 1 0 0 0 0 0 -1 1 0 1 0 0 0 -1 0 -1 1 0 0 Solution[ 164 ] ---------------- -1 0 0 0 1 0 1 -1 0 0 0 0 0 1 -1 1 -1 0 0 0 0 0 1 -1 0 Solution[ 165 ] ---------------- 0 -1 0 0 1 -1 1 0 0 0 0 0 -1 1 0 1 0 0 0 -1 0 0 1 -1 0 Solution[ 166 ] ---------------- -1 0 0 0 1 0 1 0 0 -1 0 0 -1 1 0 1 -1 0 0 0 0 0 1 -1 0 Solution[ 167 ] ---------------- 0 -1 0 0 1 0 0 1 0 -1 1 0 -1 0 0 -1 0 0 1 0 0 1 0 -1 0 Solution[ 168 ] ---------------- 0 0 0 -1 1 0 1 0 0 -1 1 0 -1 0 0 -1 0 1 0 0 0 -1 0 1 0 Solution[ 169 ] ---------------- 0 0 0 -1 1 0 1 0 0 -1 -1 0 1 0 0 1 0 -1 0 0 0 -1 0 1 0 Solution[ 170 ] ---------------- 0 0 -1 0 1 0 1 0 0 -1 0 -1 0 1 0 1 0 0 -1 0 -1 0 1 0 0 Solution[ 171 ] ---------------- 0 0 0 -1 1 1 0 0 0 -1 0 -1 1 0 0 -1 0 0 1 0 0 1 -1 0 0 Solution[ 172 ] ---------------- -1 0 0 0 1 0 1 0 0 -1 1 0 0 -1 0 0 -1 1 0 0 0 0 -1 1 0 Solution[ 173 ] ---------------- -1 0 0 0 1 0 1 0 0 -1 0 0 1 -1 0 1 -1 0 0 0 0 0 -1 1 0 Solution[ 174 ] ---------------- -1 0 0 0 1 1 0 0 -1 0 0 -1 1 0 0 0 0 0 1 -1 0 1 -1 0 0 Solution[ 175 ] ---------------- -1 0 0 0 1 0 0 1 -1 0 1 -1 0 0 0 0 0 0 1 -1 0 1 -1 0 0 Solution[ 176 ] ---------------- 0 -1 0 0 1 -1 1 0 0 0 0 0 1 -1 0 1 0 0 0 -1 0 0 -1 1 0 Process finished with exit code 0