one(t_1(1),t_1(2))
two(2,2,[t_2(2)])
two(2,1,[t_2(1)])
three(2,2,[t_2(2)])
four(1,2,[t_2(2)])
five(1,2)
six(3,2)
six(2,2)
six(1,2)
