query([1,338,140,245,1,413,430,143,245,338,455,245,1,1,330,82,81,407,413,102,407,81,82,330,407,1,338,347,1,406,1,223,245,254,246,133,169,245,326,169,245,347,175,133,306,223,326,306,246,169]) :-
        in(1, [[val-1]]),
        in(338, [[val-338]]),
        in(140, [[val-140]]),
        in(245, [[val-245]]),
        in(1, [[val-1]]),
        in(413, [[val-413]]),
        in(430, [[val-430]]),
        in(143, [[val-143]]),
        in(245, [[val-245]]),
        in(338, [[val-338]]),
        in(455, [[val-455]]),
        in(245, [[val-245]]),
        in(1, [[val-1]]),
        in(1, [[val-1]]),
        in(330, [[val-330]]),
        in(82, [[val-82]]),
        in(81, [[val-81]]),
        in(407, [[val-407]]),
        in(413, [[val-413]]),
        in(102, [[val-102]]),
        in(407, [[val-407]]),
        in(81, [[val-81]]),
        in(82, [[val-82]]),
        in(330, [[val-330]]),
        in(407, [[val-407]]),
        in(1, [[val-1]]),
        in(338, [[val-338]]),
        in(347, [[val-347]]),
        in(1, [[val-1]]),
        in(406, [[val-406]]),
        in(1, [[val-1]]),
        in(223, [[val-223]]),
        in(245, [[val-245]]),
        in(254, [[val-254]]),
        in(246, [[val-246]]),
        in(133, [[val-133]]),
        in(169, [[val-169]]),
        in(245, [[val-245]]),
        in(326, [[val-326]]),
        in(169, [[val-169]]),
        in(245, [[val-245]]),
        in(347, [[val-347]]),
        in(175, [[val-175]]),
        in(133, [[val-133]]),
        in(306, [[val-306]]),
        in(223, [[val-223]]),
        in(326, [[val-326]]),
        in(306, [[val-306]]),
        in(246, [[val-246]]),
        in(169, [[val-169]]),
        in(244, [[val-244]]),
        in(207, [[val-207]]),
        in(198, [[val-198]]),
        in(168, [[val-168]]),
        in(139, [[val-139]]),
        in(132, [[val-132]]),
        in(115, [[val-115]]),
        in(102, [[val-102]]),
        in(93, [[val-93]]),
        in(92, [[val-92]]),
        in(90, [[val-90]]),
        in(85, [[val-85]]),
        in(81, [[val-81]]),
        in(80, [[val-80]]),
        in(77, [[val-77]]),
        in(61, [[val-61]]),
        in(59, [[val-59]]),
        in(48, [[val-48]]),
        in(42, [[val-42]]),
        in(41, [[val-41]]),
        in(23, [[val-23]]),
        in(21, [[val-21]]),
        in(20, [[val-20]]),
        in(8, [[val-8]]),
        in(6, [[val-6]]),
        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(244, [[val-244]]),
        in(207, [[val-207]]),
        in(198, [[val-198]]),
        in(168, [[val-168]]),
        in(139, [[val-139]]),
        in(132, [[val-132]]),
        in(115, [[val-115]]),
        in(102, [[val-102]]),
        in(93, [[val-93]]),
        in(92, [[val-92]]),
        in(90, [[val-90]]),
        in(85, [[val-85]]),
        in(81, [[val-81]]),
        in(80, [[val-80]]),
        in(77, [[val-77]]),
        in(61, [[val-61]]),
        in(59, [[val-59]]),
        in(48, [[val-48]]),
        in(42, [[val-42]]),
        in(41, [[val-41]]),
        in(23, [[val-23]]),
        in(21, [[val-21]]),
        in(20, [[val-20]]),
        in(8, [[val-8]]),
        in(6, [[val-6]]),
        lex_chain_lesseq([vec-[[var-1],[var-338],[var-140],[var-245],[var-1],[var-413],[var-430],[var-143],[var-245],[var-338],[var-455],[var-245],[var-1],[var-1],[var-330],[var-82],[var-81],[var-407],[var-413],[var-102],[var-407],[var-81],[var-82],[var-330],[var-407]],vec-[[var-1],[var-338],[var-347],[var-1],[var-406],[var-1],[var-223],[var-245],[var-254],[var-246],[var-133],[var-169],[var-245],[var-326],[var-169],[var-245],[var-347],[var-175],[var-133],[var-306],[var-223],[var-326],[var-306],[var-246],[var-169]]]),
        geost(2, [[oid-1,sid-1,x-[[v-1],[v-1]]],[oid-2,sid-2,x-[[v-338],[v-338]]],[oid-3,sid-3,x-[[v-140],[v-347]]],[oid-4,sid-4,x-[[v-245],[v-1]]],[oid-5,sid-5,x-[[v-1],[v-406]]],[oid-6,sid-6,x-[[v-413],[v-1]]],[oid-7,sid-7,x-[[v-430],[v-223]]],[oid-8,sid-8,x-[[v-143],[v-245]]],[oid-9,sid-9,x-[[v-245],[v-254]]],[oid-10,sid-10,x-[[v-338],[v-246]]],[oid-11,sid-11,x-[[v-455],[v-133]]],[oid-12,sid-12,x-[[v-245],[v-169]]],[oid-13,sid-13,x-[[v-1],[v-245]]],[oid-14,sid-14,x-[[v-1],[v-326]]],[oid-15,sid-15,x-[[v-330],[v-169]]],[oid-16,sid-16,x-[[v-82],[v-245]]],[oid-17,sid-17,x-[[v-81],[v-347]]],[oid-18,sid-18,x-[[v-407],[v-175]]],[oid-19,sid-19,x-[[v-413],[v-133]]],[oid-20,sid-20,x-[[v-102],[v-306]]],[oid-21,sid-21,x-[[v-407],[v-223]]],[oid-22,sid-22,x-[[v-81],[v-326]]],[oid-23,sid-23,x-[[v-82],[v-306]]],[oid-24,sid-24,x-[[v-330],[v-246]]],[oid-25,sid-25,x-[[v-407],[v-169]]]], [[sid-1,t-[[v-0],[v-0]],l-[[v-244],[v-244]]],[sid-2,t-[[v-0],[v-0]],l-[[v-207],[v-207]]],[sid-3,t-[[v-0],[v-0]],l-[[v-198],[v-198]]],[sid-4,t-[[v-0],[v-0]],l-[[v-168],[v-168]]],[sid-5,t-[[v-0],[v-0]],l-[[v-139],[v-139]]],[sid-6,t-[[v-0],[v-0]],l-[[v-132],[v-132]]],[sid-7,t-[[v-0],[v-0]],l-[[v-115],[v-115]]],[sid-8,t-[[v-0],[v-0]],l-[[v-102],[v-102]]],[sid-9,t-[[v-0],[v-0]],l-[[v-93],[v-93]]],[sid-10,t-[[v-0],[v-0]],l-[[v-92],[v-92]]],[sid-11,t-[[v-0],[v-0]],l-[[v-90],[v-90]]],[sid-12,t-[[v-0],[v-0]],l-[[v-85],[v-85]]],[sid-13,t-[[v-0],[v-0]],l-[[v-81],[v-81]]],[sid-14,t-[[v-0],[v-0]],l-[[v-80],[v-80]]],[sid-15,t-[[v-0],[v-0]],l-[[v-77],[v-77]]],[sid-16,t-[[v-0],[v-0]],l-[[v-61],[v-61]]],[sid-17,t-[[v-0],[v-0]],l-[[v-59],[v-59]]],[sid-18,t-[[v-0],[v-0]],l-[[v-48],[v-48]]],[sid-19,t-[[v-0],[v-0]],l-[[v-42],[v-42]]],[sid-20,t-[[v-0],[v-0]],l-[[v-41],[v-41]]],[sid-21,t-[[v-0],[v-0]],l-[[v-23],[v-23]]],[sid-22,t-[[v-0],[v-0]],l-[[v-21],[v-21]]],[sid-23,t-[[v-0],[v-0]],l-[[v-20],[v-20]]],[sid-24,t-[[v-0],[v-0]],l-[[v-8],[v-8]]],[sid-25,t-[[v-0],[v-0]],l-[[v-6],[v-6]]]]).