diff -r 61898ac9e9dc -r 5531429143bc src/work/marci/top_sort.dim
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/work/marci/top_sort.dim	Thu May 06 15:10:48 2004 +0000
@@ -0,0 +1,5 @@
+p mat 5 4
+a 1 3
+a 2 3
+a 3 5
+a 3 4