((0 (45)) (1 (18 20 31 34 40 45)))