query([1,1,412,1,199,429,443,280,445,160,330,219,219,326,355,199,355,280,349,160,412,429,429,349,326,1,219,412,417,219,132,279,444,1,456,1,1,112,116,293,375,219,375,381,417,381,116,279,375,112]) :-
        in(1, [[val-1]]),
        in(1, [[val-1]]),
        in(412, [[val-412]]),
        in(1, [[val-1]]),
        in(199, [[val-199]]),
        in(429, [[val-429]]),
        in(443, [[val-443]]),
        in(280, [[val-280]]),
        in(445, [[val-445]]),
        in(160, [[val-160]]),
        in(330, [[val-330]]),
        in(219, [[val-219]]),
        in(219, [[val-219]]),
        in(326, [[val-326]]),
        in(355, [[val-355]]),
        in(199, [[val-199]]),
        in(355, [[val-355]]),
        in(280, [[val-280]]),
        in(349, [[val-349]]),
        in(160, [[val-160]]),
        in(412, [[val-412]]),
        in(429, [[val-429]]),
        in(429, [[val-429]]),
        in(349, [[val-349]]),
        in(326, [[val-326]]),
        in(1, [[val-1]]),
        in(219, [[val-219]]),
        in(412, [[val-412]]),
        in(417, [[val-417]]),
        in(219, [[val-219]]),
        in(132, [[val-132]]),
        in(279, [[val-279]]),
        in(444, [[val-444]]),
        in(1, [[val-1]]),
        in(456, [[val-456]]),
        in(1, [[val-1]]),
        in(1, [[val-1]]),
        in(112, [[val-112]]),
        in(116, [[val-116]]),
        in(293, [[val-293]]),
        in(375, [[val-375]]),
        in(219, [[val-219]]),
        in(375, [[val-375]]),
        in(381, [[val-381]]),
        in(417, [[val-417]]),
        in(381, [[val-381]]),
        in(116, [[val-116]]),
        in(279, [[val-279]]),
        in(375, [[val-375]]),
        in(112, [[val-112]]),
        in(218, [[val-218]]),
        in(198, [[val-198]]),
        in(164, [[val-164]]),
        in(159, [[val-159]]),
        in(156, [[val-156]]),
        in(147, [[val-147]]),
        in(133, [[val-133]]),
        in(132, [[val-132]]),
        in(131, [[val-131]]),
        in(120, [[val-120]]),
        in(115, [[val-115]]),
        in(111, [[val-111]]),
        in(107, [[val-107]]),
        in(103, [[val-103]]),
        in(88, [[val-88]]),
        in(81, [[val-81]]),
        in(74, [[val-74]]),
        in(69, [[val-69]]),
        in(63, [[val-63]]),
        in(39, [[val-39]]),
        in(31, [[val-31]]),
        in(16, [[val-16]]),
        in(14, [[val-14]]),
        in(6, [[val-6]]),
        in(4, [[val-4]]),
        in(1, [[val-1]]),
        in(2, [[val-2]]),
        in(3, [[val-3]]),
        in(4, [[val-4]]),
        in(5, [[val-5]]),
        in(6, [[val-6]]),
        in(7, [[val-7]]),
        in(8, [[val-8]]),
        in(9, [[val-9]]),
        in(10, [[val-10]]),
        in(11, [[val-11]]),
        in(12, [[val-12]]),
        in(13, [[val-13]]),
        in(14, [[val-14]]),
        in(15, [[val-15]]),
        in(16, [[val-16]]),
        in(17, [[val-17]]),
        in(18, [[val-18]]),
        in(19, [[val-19]]),
        in(20, [[val-20]]),
        in(21, [[val-21]]),
        in(22, [[val-22]]),
        in(23, [[val-23]]),
        in(24, [[val-24]]),
        in(25, [[val-25]]),
        in(218, [[val-218]]),
        in(198, [[val-198]]),
        in(164, [[val-164]]),
        in(159, [[val-159]]),
        in(156, [[val-156]]),
        in(147, [[val-147]]),
        in(133, [[val-133]]),
        in(132, [[val-132]]),
        in(131, [[val-131]]),
        in(120, [[val-120]]),
        in(115, [[val-115]]),
        in(111, [[val-111]]),
        in(107, [[val-107]]),
        in(103, [[val-103]]),
        in(88, [[val-88]]),
        in(81, [[val-81]]),
        in(74, [[val-74]]),
        in(69, [[val-69]]),
        in(63, [[val-63]]),
        in(39, [[val-39]]),
        in(31, [[val-31]]),
        in(16, [[val-16]]),
        in(14, [[val-14]]),
        in(6, [[val-6]]),
        in(4, [[val-4]]),
        lex_chain_lesseq([vec-[[var-1],[var-1],[var-412],[var-1],[var-199],[var-429],[var-443],[var-280],[var-445],[var-160],[var-330],[var-219],[var-219],[var-326],[var-355],[var-199],[var-355],[var-280],[var-349],[var-160],[var-412],[var-429],[var-429],[var-349],[var-326]],vec-[[var-1],[var-219],[var-412],[var-417],[var-219],[var-132],[var-279],[var-444],[var-1],[var-456],[var-1],[var-1],[var-112],[var-116],[var-293],[var-375],[var-219],[var-375],[var-381],[var-417],[var-381],[var-116],[var-279],[var-375],[var-112]]]),
        geost(2, [[oid-1,sid-1,x-[[v-1],[v-1]]],[oid-2,sid-2,x-[[v-1],[v-219]]],[oid-3,sid-3,x-[[v-412],[v-412]]],[oid-4,sid-4,x-[[v-1],[v-417]]],[oid-5,sid-5,x-[[v-199],[v-219]]],[oid-6,sid-6,x-[[v-429],[v-132]]],[oid-7,sid-7,x-[[v-443],[v-279]]],[oid-8,sid-8,x-[[v-280],[v-444]]],[oid-9,sid-9,x-[[v-445],[v-1]]],[oid-10,sid-10,x-[[v-160],[v-456]]],[oid-11,sid-11,x-[[v-330],[v-1]]],[oid-12,sid-12,x-[[v-219],[v-1]]],[oid-13,sid-13,x-[[v-219],[v-112]]],[oid-14,sid-14,x-[[v-326],[v-116]]],[oid-15,sid-15,x-[[v-355],[v-293]]],[oid-16,sid-16,x-[[v-199],[v-375]]],[oid-17,sid-17,x-[[v-355],[v-219]]],[oid-18,sid-18,x-[[v-280],[v-375]]],[oid-19,sid-19,x-[[v-349],[v-381]]],[oid-20,sid-20,x-[[v-160],[v-417]]],[oid-21,sid-21,x-[[v-412],[v-381]]],[oid-22,sid-22,x-[[v-429],[v-116]]],[oid-23,sid-23,x-[[v-429],[v-279]]],[oid-24,sid-24,x-[[v-349],[v-375]]],[oid-25,sid-25,x-[[v-326],[v-112]]]], [[sid-1,t-[[v-0],[v-0]],l-[[v-218],[v-218]]],[sid-2,t-[[v-0],[v-0]],l-[[v-198],[v-198]]],[sid-3,t-[[v-0],[v-0]],l-[[v-164],[v-164]]],[sid-4,t-[[v-0],[v-0]],l-[[v-159],[v-159]]],[sid-5,t-[[v-0],[v-0]],l-[[v-156],[v-156]]],[sid-6,t-[[v-0],[v-0]],l-[[v-147],[v-147]]],[sid-7,t-[[v-0],[v-0]],l-[[v-133],[v-133]]],[sid-8,t-[[v-0],[v-0]],l-[[v-132],[v-132]]],[sid-9,t-[[v-0],[v-0]],l-[[v-131],[v-131]]],[sid-10,t-[[v-0],[v-0]],l-[[v-120],[v-120]]],[sid-11,t-[[v-0],[v-0]],l-[[v-115],[v-115]]],[sid-12,t-[[v-0],[v-0]],l-[[v-111],[v-111]]],[sid-13,t-[[v-0],[v-0]],l-[[v-107],[v-107]]],[sid-14,t-[[v-0],[v-0]],l-[[v-103],[v-103]]],[sid-15,t-[[v-0],[v-0]],l-[[v-88],[v-88]]],[sid-16,t-[[v-0],[v-0]],l-[[v-81],[v-81]]],[sid-17,t-[[v-0],[v-0]],l-[[v-74],[v-74]]],[sid-18,t-[[v-0],[v-0]],l-[[v-69],[v-69]]],[sid-19,t-[[v-0],[v-0]],l-[[v-63],[v-63]]],[sid-20,t-[[v-0],[v-0]],l-[[v-39],[v-39]]],[sid-21,t-[[v-0],[v-0]],l-[[v-31],[v-31]]],[sid-22,t-[[v-0],[v-0]],l-[[v-16],[v-16]]],[sid-23,t-[[v-0],[v-0]],l-[[v-14],[v-14]]],[sid-24,t-[[v-0],[v-0]],l-[[v-6],[v-6]]],[sid-25,t-[[v-0],[v-0]],l-[[v-4],[v-4]]]]).