diff -r c5da8b706cde -r 05f6e0d7710c PLCGenerator.py
--- a/PLCGenerator.py	Wed Aug 27 16:56:25 2008 +0200
+++ b/PLCGenerator.py	Thu Aug 28 14:32:42 2008 +0200
@@ -785,6 +785,7 @@
                     uncomputed_index.remove(num)
         for num in uncomputed_index:
             factorized_paths.append(paths[num])
+        factorized_paths.sort()
         return factorized_paths
 
     def GenerateLDPaths(self, connections, body):