t(1,4,[2,3,4,5,6,7,10]). t(2,2,[11]). t(3,2,[12]). t(4,2,[8]). t(5,2,[9]). t(6,5,[15]). t(7,20,[16]). t(8,13,[13]). t(9,10,[14]). t(10,8,[]). t(11,4,[17]). t(12,4,[18]). t(13,4,[19]). t(14,4,[20]) t(15,10,[21]). t(16,1,[22]). t(17,1,[23]). t(18,1,[24]). t(19,3,[25]). t(20,1,[26]). t(21,1,[27]). t(22,12,[28]). t(23,5,[29]). t(24,17,[30]). t(25,1,[31]). t(26,1,[32]). t(27,1,[33]). t(28,16,[34]). t(29,8,[36]). t(30,8,[36,37]). t(31,8,[37,38]) t(32,8,[36,37,38,39,43]). t(33,20,[39,40]). t(34,2,[40]). t(35,12,[38,39,41,43]). t(36,12,[42]). t(37,12,[42]). t(38,12,[42]). t(39,11,[]). t(40,10,[42]). t(41,15,[]). t(42,10,[]). t(43,8,[]). 43.