ddaedab83 ^
1 2 3 4 5 6 7 8
nodes: 2224942 syms: 39562 Types: 28189 nodes: 2224942 syms: 39562 Types: 29054 Ropes: 1245961