 0 0 0 < input/tc.240
3  10  1  < input/lu389
3 8 5 < input/add.48
7  6  5  < input/lu383
