6 0 1 < input/ft.4
2 0 10 < input/add.301
 0 0 0 < input/tc.82
1 1 < input/ad.2
 3 1 5 < input/dat357
 3 5 3 < input/dat262
4 7 0 < input/add.90
