query([1,1,436,269,344,480,493,269,515,344,525,344,430,370,431,370,436,439,480,439,493,344,493,515,430,1,344,436,445,1,1,317,344,220,137,133,232,232,379,317,318,379,178,133,137,178,318,210,210,317]) :-
        in(1, [[val-1]]),
        in(1, [[val-1]]),
        in(436, [[val-436]]),
        in(269, [[val-269]]),
        in(344, [[val-344]]),
        in(480, [[val-480]]),
        in(493, [[val-493]]),
        in(269, [[val-269]]),
        in(515, [[val-515]]),
        in(344, [[val-344]]),
        in(525, [[val-525]]),
        in(344, [[val-344]]),
        in(430, [[val-430]]),
        in(370, [[val-370]]),
        in(431, [[val-431]]),
        in(370, [[val-370]]),
        in(436, [[val-436]]),
        in(439, [[val-439]]),
        in(480, [[val-480]]),
        in(439, [[val-439]]),
        in(493, [[val-493]]),
        in(344, [[val-344]]),
        in(493, [[val-493]]),
        in(515, [[val-515]]),
        in(430, [[val-430]]),
        in(1, [[val-1]]),
        in(344, [[val-344]]),
        in(436, [[val-436]]),
        in(445, [[val-445]]),
        in(1, [[val-1]]),
        in(1, [[val-1]]),
        in(317, [[val-317]]),
        in(344, [[val-344]]),
        in(220, [[val-220]]),
        in(137, [[val-137]]),
        in(133, [[val-133]]),
        in(232, [[val-232]]),
        in(232, [[val-232]]),
        in(379, [[val-379]]),
        in(317, [[val-317]]),
        in(318, [[val-318]]),
        in(379, [[val-379]]),
        in(178, [[val-178]]),
        in(133, [[val-133]]),
        in(137, [[val-137]]),
        in(178, [[val-178]]),
        in(318, [[val-318]]),
        in(210, [[val-210]]),
        in(210, [[val-210]]),
        in(317, [[val-317]]),
        in(343, [[val-343]]),
        in(268, [[val-268]]),
        in(176, [[val-176]]),
        in(167, [[val-167]]),
        in(136, [[val-136]]),
        in(132, [[val-132]]),
        in(119, [[val-119]]),
        in(101, [[val-101]]),
        in(97, [[val-97]]),
        in(95, [[val-95]]),
        in(87, [[val-87]]),
        in(86, [[val-86]]),
        in(85, [[val-85]]),
        in(66, [[val-66]]),
        in(62, [[val-62]]),
        in(61, [[val-61]]),
        in(57, [[val-57]]),
        in(54, [[val-54]]),
        in(45, [[val-45]]),
        in(41, [[val-41]]),
        in(32, [[val-32]]),
        in(26, [[val-26]]),
        in(22, [[val-22]]),
        in(10, [[val-10]]),
        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(343, [[val-343]]),
        in(268, [[val-268]]),
        in(176, [[val-176]]),
        in(167, [[val-167]]),
        in(136, [[val-136]]),
        in(132, [[val-132]]),
        in(119, [[val-119]]),
        in(101, [[val-101]]),
        in(97, [[val-97]]),
        in(95, [[val-95]]),
        in(87, [[val-87]]),
        in(86, [[val-86]]),
        in(85, [[val-85]]),
        in(66, [[val-66]]),
        in(62, [[val-62]]),
        in(61, [[val-61]]),
        in(57, [[val-57]]),
        in(54, [[val-54]]),
        in(45, [[val-45]]),
        in(41, [[val-41]]),
        in(32, [[val-32]]),
        in(26, [[val-26]]),
        in(22, [[val-22]]),
        in(10, [[val-10]]),
        in(1, [[val-1]]),
        lex_chain_lesseq([vec-[[var-1],[var-1],[var-436],[var-269],[var-344],[var-480],[var-493],[var-269],[var-515],[var-344],[var-525],[var-344],[var-430],[var-370],[var-431],[var-370],[var-436],[var-439],[var-480],[var-439],[var-493],[var-344],[var-493],[var-515],[var-430]],vec-[[var-1],[var-344],[var-436],[var-445],[var-1],[var-1],[var-317],[var-344],[var-220],[var-137],[var-133],[var-232],[var-232],[var-379],[var-317],[var-318],[var-379],[var-178],[var-133],[var-137],[var-178],[var-318],[var-210],[var-210],[var-317]]]),
        geost(2, [[oid-1,sid-1,x-[[v-1],[v-1]]],[oid-2,sid-2,x-[[v-1],[v-344]]],[oid-3,sid-3,x-[[v-436],[v-436]]],[oid-4,sid-4,x-[[v-269],[v-445]]],[oid-5,sid-5,x-[[v-344],[v-1]]],[oid-6,sid-6,x-[[v-480],[v-1]]],[oid-7,sid-7,x-[[v-493],[v-317]]],[oid-8,sid-8,x-[[v-269],[v-344]]],[oid-9,sid-9,x-[[v-515],[v-220]]],[oid-10,sid-10,x-[[v-344],[v-137]]],[oid-11,sid-11,x-[[v-525],[v-133]]],[oid-12,sid-12,x-[[v-344],[v-232]]],[oid-13,sid-13,x-[[v-430],[v-232]]],[oid-14,sid-14,x-[[v-370],[v-379]]],[oid-15,sid-15,x-[[v-431],[v-317]]],[oid-16,sid-16,x-[[v-370],[v-318]]],[oid-17,sid-17,x-[[v-436],[v-379]]],[oid-18,sid-18,x-[[v-439],[v-178]]],[oid-19,sid-19,x-[[v-480],[v-133]]],[oid-20,sid-20,x-[[v-439],[v-137]]],[oid-21,sid-21,x-[[v-493],[v-178]]],[oid-22,sid-22,x-[[v-344],[v-318]]],[oid-23,sid-23,x-[[v-493],[v-210]]],[oid-24,sid-24,x-[[v-515],[v-210]]],[oid-25,sid-25,x-[[v-430],[v-317]]]], [[sid-1,t-[[v-0],[v-0]],l-[[v-343],[v-343]]],[sid-2,t-[[v-0],[v-0]],l-[[v-268],[v-268]]],[sid-3,t-[[v-0],[v-0]],l-[[v-176],[v-176]]],[sid-4,t-[[v-0],[v-0]],l-[[v-167],[v-167]]],[sid-5,t-[[v-0],[v-0]],l-[[v-136],[v-136]]],[sid-6,t-[[v-0],[v-0]],l-[[v-132],[v-132]]],[sid-7,t-[[v-0],[v-0]],l-[[v-119],[v-119]]],[sid-8,t-[[v-0],[v-0]],l-[[v-101],[v-101]]],[sid-9,t-[[v-0],[v-0]],l-[[v-97],[v-97]]],[sid-10,t-[[v-0],[v-0]],l-[[v-95],[v-95]]],[sid-11,t-[[v-0],[v-0]],l-[[v-87],[v-87]]],[sid-12,t-[[v-0],[v-0]],l-[[v-86],[v-86]]],[sid-13,t-[[v-0],[v-0]],l-[[v-85],[v-85]]],[sid-14,t-[[v-0],[v-0]],l-[[v-66],[v-66]]],[sid-15,t-[[v-0],[v-0]],l-[[v-62],[v-62]]],[sid-16,t-[[v-0],[v-0]],l-[[v-61],[v-61]]],[sid-17,t-[[v-0],[v-0]],l-[[v-57],[v-57]]],[sid-18,t-[[v-0],[v-0]],l-[[v-54],[v-54]]],[sid-19,t-[[v-0],[v-0]],l-[[v-45],[v-45]]],[sid-20,t-[[v-0],[v-0]],l-[[v-41],[v-41]]],[sid-21,t-[[v-0],[v-0]],l-[[v-32],[v-32]]],[sid-22,t-[[v-0],[v-0]],l-[[v-26],[v-26]]],[sid-23,t-[[v-0],[v-0]],l-[[v-22],[v-22]]],[sid-24,t-[[v-0],[v-0]],l-[[v-10],[v-10]]],[sid-25,t-[[v-0],[v-0]],l-[[v-1],[v-1]]]]).