| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | algebra | 1216 | logstatsplain |
| -rw-r--r-- | integers | 99 | logstatsplain |
| -rw-r--r-- | logic | 415 | logstatsplain |
| -rw-r--r-- | numbers | 1615 | logstatsplain |
| -rw-r--r-- | sets | 1821 | logstatsplain |
| -rw-r--r-- | tensors | 3119 | logstatsplain |
| -rw-r--r-- | topology | 3216 | logstatsplain |
