query([1,313,340,1,1,374,204,158,204,269,222,269,153,204,153,158,340,153,200,185,194,185,185,193,193,153,1,201,356,1,374,201,402,92,408,1,337,1,337,102,356,374,70,70,70,92,93,85,85,92]) :-
        in(1, [[val-1]]),
        in(313, [[val-313]]),
        in(340, [[val-340]]),
        in(1, [[val-1]]),
        in(1, [[val-1]]),
        in(374, [[val-374]]),
        in(204, [[val-204]]),
        in(158, [[val-158]]),
        in(204, [[val-204]]),
        in(269, [[val-269]]),
        in(222, [[val-222]]),
        in(269, [[val-269]]),
        in(153, [[val-153]]),
        in(204, [[val-204]]),
        in(153, [[val-153]]),
        in(158, [[val-158]]),
        in(340, [[val-340]]),
        in(153, [[val-153]]),
        in(200, [[val-200]]),
        in(185, [[val-185]]),
        in(194, [[val-194]]),
        in(185, [[val-185]]),
        in(185, [[val-185]]),
        in(193, [[val-193]]),
        in(193, [[val-193]]),
        in(153, [[val-153]]),
        in(1, [[val-1]]),
        in(201, [[val-201]]),
        in(356, [[val-356]]),
        in(1, [[val-1]]),
        in(374, [[val-374]]),
        in(201, [[val-201]]),
        in(402, [[val-402]]),
        in(92, [[val-92]]),
        in(408, [[val-408]]),
        in(1, [[val-1]]),
        in(337, [[val-337]]),
        in(1, [[val-1]]),
        in(337, [[val-337]]),
        in(102, [[val-102]]),
        in(356, [[val-356]]),
        in(374, [[val-374]]),
        in(70, [[val-70]]),
        in(70, [[val-70]]),
        in(70, [[val-70]]),
        in(92, [[val-92]]),
        in(93, [[val-93]]),
        in(85, [[val-85]]),
        in(85, [[val-85]]),
        in(92, [[val-92]]),
        in(203, [[val-203]]),
        in(200, [[val-200]]),
        in(173, [[val-173]]),
        in(157, [[val-157]]),
        in(152, [[val-152]]),
        in(139, [[val-139]]),
        in(136, [[val-136]]),
        in(111, [[val-111]]),
        in(109, [[val-109]]),
        in(105, [[val-105]]),
        in(91, [[val-91]]),
        in(71, [[val-71]]),
        in(69, [[val-69]]),
        in(65, [[val-65]]),
        in(51, [[val-51]]),
        in(46, [[val-46]]),
        in(34, [[val-34]]),
        in(32, [[val-32]]),
        in(22, [[val-22]]),
        in(15, [[val-15]]),
        in(10, [[val-10]]),
        in(9, [[val-9]]),
        in(8, [[val-8]]),
        in(7, [[val-7]]),
        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(203, [[val-203]]),
        in(200, [[val-200]]),
        in(173, [[val-173]]),
        in(157, [[val-157]]),
        in(152, [[val-152]]),
        in(139, [[val-139]]),
        in(136, [[val-136]]),
        in(111, [[val-111]]),
        in(109, [[val-109]]),
        in(105, [[val-105]]),
        in(91, [[val-91]]),
        in(71, [[val-71]]),
        in(69, [[val-69]]),
        in(65, [[val-65]]),
        in(51, [[val-51]]),
        in(46, [[val-46]]),
        in(34, [[val-34]]),
        in(32, [[val-32]]),
        in(22, [[val-22]]),
        in(15, [[val-15]]),
        in(10, [[val-10]]),
        in(9, [[val-9]]),
        in(8, [[val-8]]),
        in(7, [[val-7]]),
        in(1, [[val-1]]),
        lex_chain_lesseq([vec-[[var-1],[var-313],[var-340],[var-1],[var-1],[var-374],[var-204],[var-158],[var-204],[var-269],[var-222],[var-269],[var-153],[var-204],[var-153],[var-158],[var-340],[var-153],[var-200],[var-185],[var-194],[var-185],[var-185],[var-193],[var-193]],vec-[[var-153],[var-1],[var-201],[var-356],[var-1],[var-374],[var-201],[var-402],[var-92],[var-408],[var-1],[var-337],[var-1],[var-337],[var-102],[var-356],[var-374],[var-70],[var-70],[var-70],[var-92],[var-93],[var-85],[var-85],[var-92]]]),
        geost(2, [[oid-1,sid-1,x-[[v-1],[v-153]]],[oid-2,sid-2,x-[[v-313],[v-1]]],[oid-3,sid-3,x-[[v-340],[v-201]]],[oid-4,sid-4,x-[[v-1],[v-356]]],[oid-5,sid-5,x-[[v-1],[v-1]]],[oid-6,sid-6,x-[[v-374],[v-374]]],[oid-7,sid-7,x-[[v-204],[v-201]]],[oid-8,sid-8,x-[[v-158],[v-402]]],[oid-9,sid-9,x-[[v-204],[v-92]]],[oid-10,sid-10,x-[[v-269],[v-408]]],[oid-11,sid-11,x-[[v-222],[v-1]]],[oid-12,sid-12,x-[[v-269],[v-337]]],[oid-13,sid-13,x-[[v-153],[v-1]]],[oid-14,sid-14,x-[[v-204],[v-337]]],[oid-15,sid-15,x-[[v-153],[v-102]]],[oid-16,sid-16,x-[[v-158],[v-356]]],[oid-17,sid-17,x-[[v-340],[v-374]]],[oid-18,sid-18,x-[[v-153],[v-70]]],[oid-19,sid-19,x-[[v-200],[v-70]]],[oid-20,sid-20,x-[[v-185],[v-70]]],[oid-21,sid-21,x-[[v-194],[v-92]]],[oid-22,sid-22,x-[[v-185],[v-93]]],[oid-23,sid-23,x-[[v-185],[v-85]]],[oid-24,sid-24,x-[[v-193],[v-85]]],[oid-25,sid-25,x-[[v-193],[v-92]]]], [[sid-1,t-[[v-0],[v-0]],l-[[v-203],[v-203]]],[sid-2,t-[[v-0],[v-0]],l-[[v-200],[v-200]]],[sid-3,t-[[v-0],[v-0]],l-[[v-173],[v-173]]],[sid-4,t-[[v-0],[v-0]],l-[[v-157],[v-157]]],[sid-5,t-[[v-0],[v-0]],l-[[v-152],[v-152]]],[sid-6,t-[[v-0],[v-0]],l-[[v-139],[v-139]]],[sid-7,t-[[v-0],[v-0]],l-[[v-136],[v-136]]],[sid-8,t-[[v-0],[v-0]],l-[[v-111],[v-111]]],[sid-9,t-[[v-0],[v-0]],l-[[v-109],[v-109]]],[sid-10,t-[[v-0],[v-0]],l-[[v-105],[v-105]]],[sid-11,t-[[v-0],[v-0]],l-[[v-91],[v-91]]],[sid-12,t-[[v-0],[v-0]],l-[[v-71],[v-71]]],[sid-13,t-[[v-0],[v-0]],l-[[v-69],[v-69]]],[sid-14,t-[[v-0],[v-0]],l-[[v-65],[v-65]]],[sid-15,t-[[v-0],[v-0]],l-[[v-51],[v-51]]],[sid-16,t-[[v-0],[v-0]],l-[[v-46],[v-46]]],[sid-17,t-[[v-0],[v-0]],l-[[v-34],[v-34]]],[sid-18,t-[[v-0],[v-0]],l-[[v-32],[v-32]]],[sid-19,t-[[v-0],[v-0]],l-[[v-22],[v-22]]],[sid-20,t-[[v-0],[v-0]],l-[[v-15],[v-15]]],[sid-21,t-[[v-0],[v-0]],l-[[v-10],[v-10]]],[sid-22,t-[[v-0],[v-0]],l-[[v-9],[v-9]]],[sid-23,t-[[v-0],[v-0]],l-[[v-8],[v-8]]],[sid-24,t-[[v-0],[v-0]],l-[[v-7],[v-7]]],[sid-25,t-[[v-0],[v-0]],l-[[v-1],[v-1]]]]).