Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | 1849734.input | 152 | logplain |
-rw-r--r-- | 1852076.input | 74 | logplain |
-rw-r--r-- | aw-101.input | 50 | logplain |
-rw-r--r-- | aw-16.input | 29 | logplain |
-rw-r--r-- | aw-210.input | 81 | logplain |
-rw-r--r-- | aw-23.input | 63 | logplain |
-rw-r--r-- | aw-272.input | 191 | logplain |
-rw-r--r-- | aw-338.input | 64 | logplain |
-rw-r--r-- | aw-410.input | 70 | logplain |
-rw-r--r-- | aw-412.input | 57 | logplain |
-rw-r--r-- | aw-422.input | 71 | logplain |
-rw-r--r-- | aw-428.input | 107 | logplain |
-rw-r--r-- | aw-83.input | 95 | logplain |
-rw-r--r-- | case.input | 87 | logplain |
-rw-r--r-- | case.spad | 235 | logplain |
-rw-r--r-- | category.input | 174 | logplain |
-rw-r--r-- | ctor.input | 118 | logplain |
-rw-r--r-- | eval-dep-type.input | 32 | logplain |
-rw-r--r-- | has.input | 276 | logplain |
-rw-r--r-- | sf-2491986.input | 63 | logplain |
-rw-r--r-- | show.input | 25 | logplain |
-rw-r--r-- | testSyntax.input | 97 | logplain |
-rw-r--r-- | testSyntax.spad | 1284 | logplain |