summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.gitignore1
-rw-r--r--data/C16.9.dot125
2 files changed, 126 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index dadcc46..cf7fb73 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
*~
*.swp
exe_*
+*.ps
diff --git a/data/C16.9.dot b/data/C16.9.dot
new file mode 100644
index 0000000..e12fcc6
--- /dev/null
+++ b/data/C16.9.dot
@@ -0,0 +1,125 @@
+graph A {
+ "0" []
+ "1" []
+ "2" []
+ "3" []
+ "4" []
+ "5" []
+ "6" []
+ "7" []
+ "8" []
+ "9" []
+ "10" []
+ "11" []
+ "12" []
+ "13" []
+ "14" []
+ "15" []
+ "0" -- "1"
+ "0" -- "2"
+ "0" -- "3"
+ "0" -- "4"
+ "0" -- "5"
+ "0" -- "6"
+ "0" -- "7"
+ "0" -- "8"
+ "0" -- "9"
+ "0" -- "10"
+ "0" -- "12"
+ "0" -- "13"
+ "0" -- "14"
+ "0" -- "15"
+ "1" -- "3"
+ "1" -- "4"
+ "1" -- "5"
+ "1" -- "6"
+ "1" -- "7"
+ "1" -- "8"
+ "1" -- "9"
+ "1" -- "10"
+ "1" -- "11"
+ "1" -- "13"
+ "1" -- "15"
+ "2" -- "3"
+ "2" -- "4"
+ "2" -- "5"
+ "2" -- "6"
+ "2" -- "7"
+ "2" -- "8"
+ "2" -- "9"
+ "2" -- "10"
+ "2" -- "11"
+ "2" -- "12"
+ "2" -- "13"
+ "2" -- "14"
+ "3" -- "4"
+ "3" -- "5"
+ "3" -- "6"
+ "3" -- "7"
+ "3" -- "8"
+ "3" -- "9"
+ "3" -- "10"
+ "3" -- "11"
+ "3" -- "12"
+ "3" -- "13"
+ "3" -- "14"
+ "3" -- "15"
+ "4" -- "5"
+ "4" -- "6"
+ "4" -- "7"
+ "4" -- "8"
+ "4" -- "9"
+ "4" -- "10"
+ "4" -- "11"
+ "4" -- "12"
+ "4" -- "13"
+ "4" -- "14"
+ "4" -- "15"
+ "5" -- "6"
+ "5" -- "7"
+ "5" -- "8"
+ "5" -- "9"
+ "5" -- "10"
+ "5" -- "11"
+ "5" -- "12"
+ "5" -- "15"
+ "6" -- "7"
+ "6" -- "8"
+ "6" -- "9"
+ "6" -- "10"
+ "6" -- "11"
+ "6" -- "12"
+ "6" -- "14"
+ "6" -- "15"
+ "7" -- "8"
+ "7" -- "9"
+ "7" -- "10"
+ "7" -- "12"
+ "7" -- "13"
+ "7" -- "14"
+ "7" -- "15"
+ "8" -- "9"
+ "8" -- "10"
+ "8" -- "12"
+ "8" -- "13"
+ "8" -- "14"
+ "8" -- "15"
+ "9" -- "10"
+ "9" -- "11"
+ "9" -- "12"
+ "9" -- "13"
+ "9" -- "14"
+ "9" -- "15"
+ "10" -- "11"
+ "10" -- "12"
+ "10" -- "13"
+ "10" -- "15"
+ "11" -- "12"
+ "11" -- "13"
+ "11" -- "15"
+ "12" -- "14"
+ "12" -- "15"
+ "13" -- "14"
+ "13" -- "15"
+ "14" -- "15"
+}