import list;

main = flatten [[1:[2:[3:[]]]]:[[4:[5:[6:[]]]]:[]]];
main = append [1:[2:[3:[]]]] [4:[5:[6:[]]]];