| Name | Size | Permissions | Actions |
|---|---|---|---|
| ð allpaths.bc | 41.605K | -rw-r--r-- | |
| ð clausesel.bc | 12.688K | -rw-r--r-- | |
| ð costsize.bc | 62.648K | -rw-r--r-- | |
| ð equivclass.bc | 36.039K | -rw-r--r-- | |
| ð indxpath.bc | 37.113K | -rw-r--r-- | |
| ð joinpath.bc | 23.578K | -rw-r--r-- | |
| ð joinrels.bc | 22.594K | -rw-r--r-- | |
| ð pathkeys.bc | 25.031K | -rw-r--r-- | |
| ð tidpath.bc | 7.973K | -rw-r--r-- |