Unused file

diff --git a/tmp2 b/tmp2
deleted file mode 100644 (file)
index 0ec98cf..0000000
--- a/tmp2
+++ /dev/null
@@ -1,530 +0,0 @@
-(10, 2)
-(10, 3)
-(10, 4)
-(14, 6)
-(15, 6)
-(16, 6)
-(10, 8)
-(11, 8)
-(12, 8)
-(12, 14)
-(12, 15)
-(12, 16)
-(2, 12)
-(2, 13)
-(2, 14)
-(0, 2)
-(0, 3)
-(0, 4)
-(12, 0)
-(12, 1)
-(12, 2)
-(14, 10)
-(15, 10)
-(16, 10)
-(16, 12)
-(17, 12)
-(18, 12)
-(12, 4)
-(12, 5)
-(12, 6)
-(8, 14)
-(9, 14)
-(10, 14)
-(2, 2)
-(2, 3)
-(2, 4)
-(0, 14)
-(0, 15)
-(0, 16)
-(6, 0)
-(6, 1)
-(6, 2)
-(14, 8)
-(14, 9)
-(14, 10)
-(8, 8)
-(9, 8)
-(10, 8)
-(10, 16)
-(11, 16)
-(12, 16)
-(18, 6)
-(18, 7)
-(18, 8)
-(4, 10)
-(5, 10)
-(6, 10)
-(2, 10)
-(2, 11)
-(2, 12)
-(8, 6)
-(9, 6)
-(10, 6)
-(6, 4)
-(6, 5)
-(6, 6)
-(18, 10)
-(18, 11)
-(18, 12)
-(6, 14)
-(7, 14)
-(8, 14)
-(0, 16)
-(1, 16)
-(2, 16)
-(10, 8)
-(10, 9)
-(10, 10)
-(0, 12)
-(0, 13)
-(0, 14)
-(10, 12)
-(11, 12)
-(12, 12)
-(2, 8)
-(3, 8)
-(4, 8)
-(4, 16)
-(5, 16)
-(6, 16)
-(18, 0)
-(18, 1)
-(18, 2)
-(2, 4)
-(2, 5)
-(2, 6)
-(4, 12)
-(4, 13)
-(4, 14)
-(6, 2)
-(7, 2)
-(8, 2)
-(0, 6)
-(0, 7)
-(0, 8)
-(14, 0)
-(14, 1)
-(14, 2)
-(8, 10)
-(8, 11)
-(8, 12)
-(2, 16)
-(3, 16)
-(4, 16)
-(2, 2)
-(3, 2)
-(4, 2)
-(10, 0)
-(11, 0)
-(12, 0)
-(4, 6)
-(4, 7)
-(4, 8)
-(0, 10)
-(1, 10)
-(2, 10)
-(10, 4)
-(11, 4)
-(12, 4)
-(12, 8)
-(13, 8)
-(14, 8)
-(4, 6)
-(5, 6)
-(6, 6)
-(14, 12)
-(14, 13)
-(14, 14)
-(0, 0)
-(1, 0)
-(2, 0)
-(12, 12)
-(12, 13)
-(12, 14)
-(12, 6)
-(13, 6)
-(14, 6)
-(8, 0)
-(9, 0)
-(10, 0)
-(16, 8)
-(17, 8)
-(18, 8)
-(6, 8)
-(6, 9)
-(6, 10)
-(18, 14)
-(18, 15)
-(18, 16)
-(6, 12)
-(7, 12)
-(8, 12)
-(14, 2)
-(14, 3)
-(14, 4)
-(4, 0)
-(4, 1)
-(4, 2)
-(16, 0)
-(16, 1)
-(16, 2)
-(12, 10)
-(12, 11)
-(12, 12)
-(14, 14)
-(15, 14)
-(16, 14)
-(8, 16)
-(9, 16)
-(10, 16)
-(16, 4)
-(17, 4)
-(18, 4)
-(2, 8)
-(2, 9)
-(2, 10)
-(14, 14)
-(14, 15)
-(14, 16)
-(8, 2)
-(8, 3)
-(8, 4)
-(16, 16)
-(17, 16)
-(18, 16)
-(2, 4)
-(3, 4)
-(4, 4)
-(0, 0)
-(1, 0)
-(0, 1)
-(1, 1)
-(2, 0)
-(3, 0)
-(2, 1)
-(3, 1)
-(0, 2)
-(1, 2)
-(0, 3)
-(1, 3)
-(2, 2)
-(3, 2)
-(2, 3)
-(3, 3)
-(4, 0)
-(5, 0)
-(4, 1)
-(5, 1)
-(6, 0)
-(7, 0)
-(6, 1)
-(7, 1)
-(4, 2)
-(5, 2)
-(4, 3)
-(5, 3)
-(6, 2)
-(7, 2)
-(6, 3)
-(7, 3)
-(0, 4)
-(1, 4)
-(0, 5)
-(1, 5)
-(2, 4)
-(3, 4)
-(2, 5)
-(3, 5)
-(0, 6)
-(1, 6)
-(0, 7)
-(1, 7)
-(2, 6)
-(3, 6)
-(2, 7)
-(3, 7)
-(4, 4)
-(5, 4)
-(4, 5)
-(5, 5)
-(6, 4)
-(7, 4)
-(6, 5)
-(7, 5)
-(4, 6)
-(5, 6)
-(4, 7)
-(5, 7)
-(6, 6)
-(7, 6)
-(6, 7)
-(7, 7)
-(8, 0)
-(9, 0)
-(8, 1)
-(9, 1)
-(10, 0)
-(11, 0)
-(10, 1)
-(11, 1)
-(8, 2)
-(9, 2)
-(8, 3)
-(9, 3)
-(10, 2)
-(11, 2)
-(10, 3)
-(11, 3)
-(12, 0)
-(13, 0)
-(12, 1)
-(13, 1)
-(14, 0)
-(15, 0)
-(14, 1)
-(15, 1)
-(12, 2)
-(13, 2)
-(12, 3)
-(13, 3)
-(14, 2)
-(15, 2)
-(14, 3)
-(15, 3)
-(8, 4)
-(9, 4)
-(8, 5)
-(9, 5)
-(10, 4)
-(11, 4)
-(10, 5)
-(11, 5)
-(8, 6)
-(9, 6)
-(8, 7)
-(9, 7)
-(10, 6)
-(11, 6)
-(10, 7)
-(11, 7)
-(12, 4)
-(13, 4)
-(12, 5)
-(13, 5)
-(14, 4)
-(15, 4)
-(14, 5)
-(15, 5)
-(12, 6)
-(13, 6)
-(12, 7)
-(13, 7)
-(14, 6)
-(15, 6)
-(14, 7)
-(15, 7)
-(0, 8)
-(1, 8)
-(0, 9)
-(1, 9)
-(2, 8)
-(3, 8)
-(2, 9)
-(3, 9)
-(0, 10)
-(1, 10)
-(0, 11)
-(1, 11)
-(2, 10)
-(3, 10)
-(2, 11)
-(3, 11)
-(4, 8)
-(5, 8)
-(4, 9)
-(5, 9)
-(6, 8)
-(7, 8)
-(6, 9)
-(7, 9)
-(4, 10)
-(5, 10)
-(4, 11)
-(5, 11)
-(6, 10)
-(7, 10)
-(6, 11)
-(7, 11)
-(0, 12)
-(1, 12)
-(0, 13)
-(1, 13)
-(2, 12)
-(3, 12)
-(2, 13)
-(3, 13)
-(0, 14)
-(1, 14)
-(0, 15)
-(1, 15)
-(2, 14)
-(3, 14)
-(2, 15)
-(3, 15)
-(4, 12)
-(5, 12)
-(4, 13)
-(5, 13)
-(6, 12)
-(7, 12)
-(6, 13)
-(7, 13)
-(4, 14)
-(5, 14)
-(4, 15)
-(5, 15)
-(6, 14)
-(7, 14)
-(6, 15)
-(7, 15)
-(8, 8)
-(9, 8)
-(8, 9)
-(9, 9)
-(10, 8)
-(11, 8)
-(10, 9)
-(11, 9)
-(8, 10)
-(9, 10)
-(8, 11)
-(9, 11)
-(10, 10)
-(11, 10)
-(10, 11)
-(11, 11)
-(12, 8)
-(13, 8)
-(12, 9)
-(13, 9)
-(14, 8)
-(15, 8)
-(14, 9)
-(15, 9)
-(12, 10)
-(13, 10)
-(12, 11)
-(13, 11)
-(14, 10)
-(15, 10)
-(14, 11)
-(15, 11)
-(8, 12)
-(9, 12)
-(8, 13)
-(9, 13)
-(10, 12)
-(11, 12)
-(10, 13)
-(11, 13)
-(8, 14)
-(9, 14)
-(8, 15)
-(9, 15)
-(10, 14)
-(11, 14)
-(10, 15)
-(11, 15)
-(12, 12)
-(13, 12)
-(12, 13)
-(13, 13)
-(14, 12)
-(15, 12)
-(14, 13)
-(15, 13)
-(12, 14)
-(13, 14)
-(12, 15)
-(13, 15)
-(14, 14)
-(15, 14)
-(14, 15)
-(15, 15)
-(16, 0)
-(17, 0)
-(16, 1)
-(17, 1)
-(18, 0)
-(18, 1)
-(16, 2)
-(17, 2)
-(16, 3)
-(17, 3)
-(18, 2)
-(18, 3)
-(16, 4)
-(17, 4)
-(16, 5)
-(17, 5)
-(18, 4)
-(18, 5)
-(16, 6)
-(17, 6)
-(16, 7)
-(17, 7)
-(18, 6)
-(18, 7)
-(16, 8)
-(17, 8)
-(16, 9)
-(17, 9)
-(18, 8)
-(18, 9)
-(16, 10)
-(17, 10)
-(16, 11)
-(17, 11)
-(18, 10)
-(18, 11)
-(16, 12)
-(17, 12)
-(16, 13)
-(17, 13)
-(18, 12)
-(18, 13)
-(16, 14)
-(17, 14)
-(16, 15)
-(17, 15)
-(18, 14)
-(18, 15)
-(0, 16)
-(1, 16)
-(2, 16)
-(3, 16)
-(4, 16)
-(5, 16)
-(6, 16)
-(7, 16)
-(8, 16)
-(9, 16)
-(10, 16)
-(11, 16)
-(12, 16)
-(13, 16)
-(14, 16)
-(15, 16)
-(16, 16)
-(17, 16)
-(18, 16)
-(2, 2)
-(3, 2)
-(4, 2)
-(2, 2)
-(2, 3)
-(2, 4)
-(4, 0)
-(4, 1)
-(4, 2)