| Name | Size | Permissions | Actions |
|---|---|---|---|
| ð allpaths.bc | 41.605K | -rw-r--r-- | |
| ð clausesel.bc | 12.688K | -rw-r--r-- | |
| ð costsize.bc | 62.625K | -rw-r--r-- | |
| ð equivclass.bc | 36.043K | -rw-r--r-- | |
| ð indxpath.bc | 37.148K | -rw-r--r-- | |
| ð joinpath.bc | 23.582K | -rw-r--r-- | |
| ð joinrels.bc | 22.594K | -rw-r--r-- | |
| ð pathkeys.bc | 25.031K | -rw-r--r-- | |
| ð tidpath.bc | 7.977K | -rw-r--r-- |