query([1,394,1,443,452,208,271,1,167,356,271,229,312,271,347,167,394,312,271,354,414,414,208,347,354,1,394,437,1,202,458,1,271,271,240,249,375,376,173,173,375,336,334,334,336,202,173,437,240,334]) :-
        in(1, [[val-1]]),
        in(394, [[val-394]]),
        in(1, [[val-1]]),
        in(443, [[val-443]]),
        in(452, [[val-452]]),
        in(208, [[val-208]]),
        in(271, [[val-271]]),
        in(1, [[val-1]]),
        in(167, [[val-167]]),
        in(356, [[val-356]]),
        in(271, [[val-271]]),
        in(229, [[val-229]]),
        in(312, [[val-312]]),
        in(271, [[val-271]]),
        in(347, [[val-347]]),
        in(167, [[val-167]]),
        in(394, [[val-394]]),
        in(312, [[val-312]]),
        in(271, [[val-271]]),
        in(354, [[val-354]]),
        in(414, [[val-414]]),
        in(414, [[val-414]]),
        in(208, [[val-208]]),
        in(347, [[val-347]]),
        in(354, [[val-354]]),
        in(1, [[val-1]]),
        in(394, [[val-394]]),
        in(437, [[val-437]]),
        in(1, [[val-1]]),
        in(202, [[val-202]]),
        in(458, [[val-458]]),
        in(1, [[val-1]]),
        in(271, [[val-271]]),
        in(271, [[val-271]]),
        in(240, [[val-240]]),
        in(249, [[val-249]]),
        in(375, [[val-375]]),
        in(376, [[val-376]]),
        in(173, [[val-173]]),
        in(173, [[val-173]]),
        in(375, [[val-375]]),
        in(336, [[val-336]]),
        in(334, [[val-334]]),
        in(334, [[val-334]]),
        in(336, [[val-336]]),
        in(202, [[val-202]]),
        in(173, [[val-173]]),
        in(437, [[val-437]]),
        in(240, [[val-240]]),
        in(334, [[val-334]]),
        in(270, [[val-270]]),
        in(250, [[val-250]]),
        in(207, [[val-207]]),
        in(201, [[val-201]]),
        in(192, [[val-192]]),
        in(186, [[val-186]]),
        in(172, [[val-172]]),
        in(166, [[val-166]]),
        in(104, [[val-104]]),
        in(96, [[val-96]]),
        in(85, [[val-85]]),
        in(83, [[val-83]]),
        in(82, [[val-82]]),
        in(76, [[val-76]]),
        in(67, [[val-67]]),
        in(62, [[val-62]]),
        in(58, [[val-58]]),
        in(42, [[val-42]]),
        in(41, [[val-41]]),
        in(40, [[val-40]]),
        in(38, [[val-38]]),
        in(29, [[val-29]]),
        in(21, [[val-21]]),
        in(9, [[val-9]]),
        in(2, [[val-2]]),
        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(270, [[val-270]]),
        in(250, [[val-250]]),
        in(207, [[val-207]]),
        in(201, [[val-201]]),
        in(192, [[val-192]]),
        in(186, [[val-186]]),
        in(172, [[val-172]]),
        in(166, [[val-166]]),
        in(104, [[val-104]]),
        in(96, [[val-96]]),
        in(85, [[val-85]]),
        in(83, [[val-83]]),
        in(82, [[val-82]]),
        in(76, [[val-76]]),
        in(67, [[val-67]]),
        in(62, [[val-62]]),
        in(58, [[val-58]]),
        in(42, [[val-42]]),
        in(41, [[val-41]]),
        in(40, [[val-40]]),
        in(38, [[val-38]]),
        in(29, [[val-29]]),
        in(21, [[val-21]]),
        in(9, [[val-9]]),
        in(2, [[val-2]]),
        lex_chain_lesseq([vec-[[var-1],[var-394],[var-1],[var-443],[var-452],[var-208],[var-271],[var-1],[var-167],[var-356],[var-271],[var-229],[var-312],[var-271],[var-347],[var-167],[var-394],[var-312],[var-271],[var-354],[var-414],[var-414],[var-208],[var-347],[var-354]],vec-[[var-1],[var-394],[var-437],[var-1],[var-202],[var-458],[var-1],[var-271],[var-271],[var-240],[var-249],[var-375],[var-376],[var-173],[var-173],[var-375],[var-336],[var-334],[var-334],[var-336],[var-202],[var-173],[var-437],[var-240],[var-334]]]),
        geost(2, [[oid-1,sid-1,x-[[v-1],[v-1]]],[oid-2,sid-2,x-[[v-394],[v-394]]],[oid-3,sid-3,x-[[v-1],[v-437]]],[oid-4,sid-4,x-[[v-443],[v-1]]],[oid-5,sid-5,x-[[v-452],[v-202]]],[oid-6,sid-6,x-[[v-208],[v-458]]],[oid-7,sid-7,x-[[v-271],[v-1]]],[oid-8,sid-8,x-[[v-1],[v-271]]],[oid-9,sid-9,x-[[v-167],[v-271]]],[oid-10,sid-10,x-[[v-356],[v-240]]],[oid-11,sid-11,x-[[v-271],[v-249]]],[oid-12,sid-12,x-[[v-229],[v-375]]],[oid-13,sid-13,x-[[v-312],[v-376]]],[oid-14,sid-14,x-[[v-271],[v-173]]],[oid-15,sid-15,x-[[v-347],[v-173]]],[oid-16,sid-16,x-[[v-167],[v-375]]],[oid-17,sid-17,x-[[v-394],[v-336]]],[oid-18,sid-18,x-[[v-312],[v-334]]],[oid-19,sid-19,x-[[v-271],[v-334]]],[oid-20,sid-20,x-[[v-354],[v-336]]],[oid-21,sid-21,x-[[v-414],[v-202]]],[oid-22,sid-22,x-[[v-414],[v-173]]],[oid-23,sid-23,x-[[v-208],[v-437]]],[oid-24,sid-24,x-[[v-347],[v-240]]],[oid-25,sid-25,x-[[v-354],[v-334]]]], [[sid-1,t-[[v-0],[v-0]],l-[[v-270],[v-270]]],[sid-2,t-[[v-0],[v-0]],l-[[v-250],[v-250]]],[sid-3,t-[[v-0],[v-0]],l-[[v-207],[v-207]]],[sid-4,t-[[v-0],[v-0]],l-[[v-201],[v-201]]],[sid-5,t-[[v-0],[v-0]],l-[[v-192],[v-192]]],[sid-6,t-[[v-0],[v-0]],l-[[v-186],[v-186]]],[sid-7,t-[[v-0],[v-0]],l-[[v-172],[v-172]]],[sid-8,t-[[v-0],[v-0]],l-[[v-166],[v-166]]],[sid-9,t-[[v-0],[v-0]],l-[[v-104],[v-104]]],[sid-10,t-[[v-0],[v-0]],l-[[v-96],[v-96]]],[sid-11,t-[[v-0],[v-0]],l-[[v-85],[v-85]]],[sid-12,t-[[v-0],[v-0]],l-[[v-83],[v-83]]],[sid-13,t-[[v-0],[v-0]],l-[[v-82],[v-82]]],[sid-14,t-[[v-0],[v-0]],l-[[v-76],[v-76]]],[sid-15,t-[[v-0],[v-0]],l-[[v-67],[v-67]]],[sid-16,t-[[v-0],[v-0]],l-[[v-62],[v-62]]],[sid-17,t-[[v-0],[v-0]],l-[[v-58],[v-58]]],[sid-18,t-[[v-0],[v-0]],l-[[v-42],[v-42]]],[sid-19,t-[[v-0],[v-0]],l-[[v-41],[v-41]]],[sid-20,t-[[v-0],[v-0]],l-[[v-40],[v-40]]],[sid-21,t-[[v-0],[v-0]],l-[[v-38],[v-38]]],[sid-22,t-[[v-0],[v-0]],l-[[v-29],[v-29]]],[sid-23,t-[[v-0],[v-0]],l-[[v-21],[v-21]]],[sid-24,t-[[v-0],[v-0]],l-[[v-9],[v-9]]],[sid-25,t-[[v-0],[v-0]],l-[[v-2],[v-2]]]]).