Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | base_case.svg | 144050 | logplain |
-rw-r--r-- | common.py | 4302 | logplain |
-rw-r--r-- | en.py | 4331 | logplain |
-rw-r--r-- | leading_heads_all_x.svg | 144292 | logplain |
-rw-r--r-- | lost_heads.svg | 157828 | logplain |
-rw-r--r-- | plan.svg | 154147 | logplain |
-rw-r--r-- | sl.py | 4037 | logplain |