query([1,1,385,400,262,417,292,262,458,292,292,404,365,417,365,385,386,385,385,395,396,389,385,386,395,1,292,232,400,415,1,1,292,137,199,126,178,126,137,178,213,178,400,203,204,196,196,199,196,203]) :-
        in(1, [[val-1]]),
        in(1, [[val-1]]),
        in(385, [[val-385]]),
        in(400, [[val-400]]),
        in(262, [[val-262]]),
        in(417, [[val-417]]),
        in(292, [[val-292]]),
        in(262, [[val-262]]),
        in(458, [[val-458]]),
        in(292, [[val-292]]),
        in(292, [[val-292]]),
        in(404, [[val-404]]),
        in(365, [[val-365]]),
        in(417, [[val-417]]),
        in(365, [[val-365]]),
        in(385, [[val-385]]),
        in(386, [[val-386]]),
        in(385, [[val-385]]),
        in(385, [[val-385]]),
        in(395, [[val-395]]),
        in(396, [[val-396]]),
        in(389, [[val-389]]),
        in(385, [[val-385]]),
        in(386, [[val-386]]),
        in(395, [[val-395]]),
        in(1, [[val-1]]),
        in(292, [[val-292]]),
        in(232, [[val-232]]),
        in(400, [[val-400]]),
        in(415, [[val-415]]),
        in(1, [[val-1]]),
        in(1, [[val-1]]),
        in(292, [[val-292]]),
        in(137, [[val-137]]),
        in(199, [[val-199]]),
        in(126, [[val-126]]),
        in(178, [[val-178]]),
        in(126, [[val-126]]),
        in(137, [[val-137]]),
        in(178, [[val-178]]),
        in(213, [[val-213]]),
        in(178, [[val-178]]),
        in(400, [[val-400]]),
        in(203, [[val-203]]),
        in(204, [[val-204]]),
        in(196, [[val-196]]),
        in(196, [[val-196]]),
        in(199, [[val-199]]),
        in(196, [[val-196]]),
        in(203, [[val-203]]),
        in(291, [[val-291]]),
        in(261, [[val-261]]),
        in(168, [[val-168]]),
        in(153, [[val-153]]),
        in(138, [[val-138]]),
        in(136, [[val-136]]),
        in(125, [[val-125]]),
        in(123, [[val-123]]),
        in(95, [[val-95]]),
        in(93, [[val-93]]),
        in(73, [[val-73]]),
        in(54, [[val-54]]),
        in(52, [[val-52]]),
        in(41, [[val-41]]),
        in(21, [[val-21]]),
        in(19, [[val-19]]),
        in(18, [[val-18]]),
        in(15, [[val-15]]),
        in(10, [[val-10]]),
        in(9, [[val-9]]),
        in(8, [[val-8]]),
        in(7, [[val-7]]),
        in(4, [[val-4]]),
        in(3, [[val-3]]),
        in(1, [[val-1]]),
        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(291, [[val-291]]),
        in(261, [[val-261]]),
        in(168, [[val-168]]),
        in(153, [[val-153]]),
        in(138, [[val-138]]),
        in(136, [[val-136]]),
        in(125, [[val-125]]),
        in(123, [[val-123]]),
        in(95, [[val-95]]),
        in(93, [[val-93]]),
        in(73, [[val-73]]),
        in(54, [[val-54]]),
        in(52, [[val-52]]),
        in(41, [[val-41]]),
        in(21, [[val-21]]),
        in(19, [[val-19]]),
        in(18, [[val-18]]),
        in(15, [[val-15]]),
        in(10, [[val-10]]),
        in(9, [[val-9]]),
        in(8, [[val-8]]),
        in(7, [[val-7]]),
        in(4, [[val-4]]),
        in(3, [[val-3]]),
        in(1, [[val-1]]),
        lex_chain_lesseq([vec-[[var-1],[var-1],[var-385],[var-400],[var-262],[var-417],[var-292],[var-262],[var-458],[var-292],[var-292],[var-404],[var-365],[var-417],[var-365],[var-385],[var-386],[var-385],[var-385],[var-395],[var-396],[var-389],[var-385],[var-386],[var-395]],vec-[[var-1],[var-292],[var-232],[var-400],[var-415],[var-1],[var-1],[var-292],[var-137],[var-199],[var-126],[var-178],[var-126],[var-137],[var-178],[var-213],[var-178],[var-400],[var-203],[var-204],[var-196],[var-196],[var-199],[var-196],[var-203]]]),
        geost(2, [[oid-1,sid-1,x-[[v-1],[v-1]]],[oid-2,sid-2,x-[[v-1],[v-292]]],[oid-3,sid-3,x-[[v-385],[v-232]]],[oid-4,sid-4,x-[[v-400],[v-400]]],[oid-5,sid-5,x-[[v-262],[v-415]]],[oid-6,sid-6,x-[[v-417],[v-1]]],[oid-7,sid-7,x-[[v-292],[v-1]]],[oid-8,sid-8,x-[[v-262],[v-292]]],[oid-9,sid-9,x-[[v-458],[v-137]]],[oid-10,sid-10,x-[[v-292],[v-199]]],[oid-11,sid-11,x-[[v-292],[v-126]]],[oid-12,sid-12,x-[[v-404],[v-178]]],[oid-13,sid-13,x-[[v-365],[v-126]]],[oid-14,sid-14,x-[[v-417],[v-137]]],[oid-15,sid-15,x-[[v-365],[v-178]]],[oid-16,sid-16,x-[[v-385],[v-213]]],[oid-17,sid-17,x-[[v-386],[v-178]]],[oid-18,sid-18,x-[[v-385],[v-400]]],[oid-19,sid-19,x-[[v-385],[v-203]]],[oid-20,sid-20,x-[[v-395],[v-204]]],[oid-21,sid-21,x-[[v-396],[v-196]]],[oid-22,sid-22,x-[[v-389],[v-196]]],[oid-23,sid-23,x-[[v-385],[v-199]]],[oid-24,sid-24,x-[[v-386],[v-196]]],[oid-25,sid-25,x-[[v-395],[v-203]]]], [[sid-1,t-[[v-0],[v-0]],l-[[v-291],[v-291]]],[sid-2,t-[[v-0],[v-0]],l-[[v-261],[v-261]]],[sid-3,t-[[v-0],[v-0]],l-[[v-168],[v-168]]],[sid-4,t-[[v-0],[v-0]],l-[[v-153],[v-153]]],[sid-5,t-[[v-0],[v-0]],l-[[v-138],[v-138]]],[sid-6,t-[[v-0],[v-0]],l-[[v-136],[v-136]]],[sid-7,t-[[v-0],[v-0]],l-[[v-125],[v-125]]],[sid-8,t-[[v-0],[v-0]],l-[[v-123],[v-123]]],[sid-9,t-[[v-0],[v-0]],l-[[v-95],[v-95]]],[sid-10,t-[[v-0],[v-0]],l-[[v-93],[v-93]]],[sid-11,t-[[v-0],[v-0]],l-[[v-73],[v-73]]],[sid-12,t-[[v-0],[v-0]],l-[[v-54],[v-54]]],[sid-13,t-[[v-0],[v-0]],l-[[v-52],[v-52]]],[sid-14,t-[[v-0],[v-0]],l-[[v-41],[v-41]]],[sid-15,t-[[v-0],[v-0]],l-[[v-21],[v-21]]],[sid-16,t-[[v-0],[v-0]],l-[[v-19],[v-19]]],[sid-17,t-[[v-0],[v-0]],l-[[v-18],[v-18]]],[sid-18,t-[[v-0],[v-0]],l-[[v-15],[v-15]]],[sid-19,t-[[v-0],[v-0]],l-[[v-10],[v-10]]],[sid-20,t-[[v-0],[v-0]],l-[[v-9],[v-9]]],[sid-21,t-[[v-0],[v-0]],l-[[v-8],[v-8]]],[sid-22,t-[[v-0],[v-0]],l-[[v-7],[v-7]]],[sid-23,t-[[v-0],[v-0]],l-[[v-4],[v-4]]],[sid-24,t-[[v-0],[v-0]],l-[[v-3],[v-3]]],[sid-25,t-[[v-0],[v-0]],l-[[v-1],[v-1]]]]).