[trio(3,_9,_10),pair(2,_7)]
[pair(2,_7),trio(3,_9,_10)]