query([1,158,337,1,212,361,1,136,337,361,249,274,437,212,454,470,437,454,249,481,136,485,454,470,481,1,325,337,347,1,1,212,212,237,144,237,150,270,150,144,236,237,194,212,194,325,217,221,221,217]) :-
        in(1, [[val-1]]),
        in(158, [[val-158]]),
        in(337, [[val-337]]),
        in(1, [[val-1]]),
        in(212, [[val-212]]),
        in(361, [[val-361]]),
        in(1, [[val-1]]),
        in(136, [[val-136]]),
        in(337, [[val-337]]),
        in(361, [[val-361]]),
        in(249, [[val-249]]),
        in(274, [[val-274]]),
        in(437, [[val-437]]),
        in(212, [[val-212]]),
        in(454, [[val-454]]),
        in(470, [[val-470]]),
        in(437, [[val-437]]),
        in(454, [[val-454]]),
        in(249, [[val-249]]),
        in(481, [[val-481]]),
        in(136, [[val-136]]),
        in(485, [[val-485]]),
        in(454, [[val-454]]),
        in(470, [[val-470]]),
        in(481, [[val-481]]),
        in(1, [[val-1]]),
        in(325, [[val-325]]),
        in(337, [[val-337]]),
        in(347, [[val-347]]),
        in(1, [[val-1]]),
        in(1, [[val-1]]),
        in(212, [[val-212]]),
        in(212, [[val-212]]),
        in(237, [[val-237]]),
        in(144, [[val-144]]),
        in(237, [[val-237]]),
        in(150, [[val-150]]),
        in(270, [[val-270]]),
        in(150, [[val-150]]),
        in(144, [[val-144]]),
        in(236, [[val-236]]),
        in(237, [[val-237]]),
        in(194, [[val-194]]),
        in(212, [[val-212]]),
        in(194, [[val-194]]),
        in(325, [[val-325]]),
        in(217, [[val-217]]),
        in(221, [[val-221]]),
        in(221, [[val-221]]),
        in(217, [[val-217]]),
        in(211, [[val-211]]),
        in(179, [[val-179]]),
        in(167, [[val-167]]),
        in(157, [[val-157]]),
        in(149, [[val-149]]),
        in(143, [[val-143]]),
        in(135, [[val-135]]),
        in(113, [[val-113]]),
        in(100, [[val-100]]),
        in(93, [[val-93]]),
        in(88, [[val-88]]),
        in(87, [[val-87]]),
        in(67, [[val-67]]),
        in(62, [[val-62]]),
        in(50, [[val-50]]),
        in(34, [[val-34]]),
        in(33, [[val-33]]),
        in(27, [[val-27]]),
        in(25, [[val-25]]),
        in(23, [[val-23]]),
        in(22, [[val-22]]),
        in(19, [[val-19]]),
        in(16, [[val-16]]),
        in(15, [[val-15]]),
        in(4, [[val-4]]),
        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(211, [[val-211]]),
        in(179, [[val-179]]),
        in(167, [[val-167]]),
        in(157, [[val-157]]),
        in(149, [[val-149]]),
        in(143, [[val-143]]),
        in(135, [[val-135]]),
        in(113, [[val-113]]),
        in(100, [[val-100]]),
        in(93, [[val-93]]),
        in(88, [[val-88]]),
        in(87, [[val-87]]),
        in(67, [[val-67]]),
        in(62, [[val-62]]),
        in(50, [[val-50]]),
        in(34, [[val-34]]),
        in(33, [[val-33]]),
        in(27, [[val-27]]),
        in(25, [[val-25]]),
        in(23, [[val-23]]),
        in(22, [[val-22]]),
        in(19, [[val-19]]),
        in(16, [[val-16]]),
        in(15, [[val-15]]),
        in(4, [[val-4]]),
        lex_chain_lesseq([vec-[[var-1],[var-158],[var-337],[var-1],[var-212],[var-361],[var-1],[var-136],[var-337],[var-361],[var-249],[var-274],[var-437],[var-212],[var-454],[var-470],[var-437],[var-454],[var-249],[var-481],[var-136],[var-485],[var-454],[var-470],[var-481]],vec-[[var-1],[var-325],[var-337],[var-347],[var-1],[var-1],[var-212],[var-212],[var-237],[var-144],[var-237],[var-150],[var-270],[var-150],[var-144],[var-236],[var-237],[var-194],[var-212],[var-194],[var-325],[var-217],[var-221],[var-221],[var-217]]]),
        geost(2, [[oid-1,sid-1,x-[[v-1],[v-1]]],[oid-2,sid-2,x-[[v-158],[v-325]]],[oid-3,sid-3,x-[[v-337],[v-337]]],[oid-4,sid-4,x-[[v-1],[v-347]]],[oid-5,sid-5,x-[[v-212],[v-1]]],[oid-6,sid-6,x-[[v-361],[v-1]]],[oid-7,sid-7,x-[[v-1],[v-212]]],[oid-8,sid-8,x-[[v-136],[v-212]]],[oid-9,sid-9,x-[[v-337],[v-237]]],[oid-10,sid-10,x-[[v-361],[v-144]]],[oid-11,sid-11,x-[[v-249],[v-237]]],[oid-12,sid-12,x-[[v-274],[v-150]]],[oid-13,sid-13,x-[[v-437],[v-270]]],[oid-14,sid-14,x-[[v-212],[v-150]]],[oid-15,sid-15,x-[[v-454],[v-144]]],[oid-16,sid-16,x-[[v-470],[v-236]]],[oid-17,sid-17,x-[[v-437],[v-237]]],[oid-18,sid-18,x-[[v-454],[v-194]]],[oid-19,sid-19,x-[[v-249],[v-212]]],[oid-20,sid-20,x-[[v-481],[v-194]]],[oid-21,sid-21,x-[[v-136],[v-325]]],[oid-22,sid-22,x-[[v-485],[v-217]]],[oid-23,sid-23,x-[[v-454],[v-221]]],[oid-24,sid-24,x-[[v-470],[v-221]]],[oid-25,sid-25,x-[[v-481],[v-217]]]], [[sid-1,t-[[v-0],[v-0]],l-[[v-211],[v-211]]],[sid-2,t-[[v-0],[v-0]],l-[[v-179],[v-179]]],[sid-3,t-[[v-0],[v-0]],l-[[v-167],[v-167]]],[sid-4,t-[[v-0],[v-0]],l-[[v-157],[v-157]]],[sid-5,t-[[v-0],[v-0]],l-[[v-149],[v-149]]],[sid-6,t-[[v-0],[v-0]],l-[[v-143],[v-143]]],[sid-7,t-[[v-0],[v-0]],l-[[v-135],[v-135]]],[sid-8,t-[[v-0],[v-0]],l-[[v-113],[v-113]]],[sid-9,t-[[v-0],[v-0]],l-[[v-100],[v-100]]],[sid-10,t-[[v-0],[v-0]],l-[[v-93],[v-93]]],[sid-11,t-[[v-0],[v-0]],l-[[v-88],[v-88]]],[sid-12,t-[[v-0],[v-0]],l-[[v-87],[v-87]]],[sid-13,t-[[v-0],[v-0]],l-[[v-67],[v-67]]],[sid-14,t-[[v-0],[v-0]],l-[[v-62],[v-62]]],[sid-15,t-[[v-0],[v-0]],l-[[v-50],[v-50]]],[sid-16,t-[[v-0],[v-0]],l-[[v-34],[v-34]]],[sid-17,t-[[v-0],[v-0]],l-[[v-33],[v-33]]],[sid-18,t-[[v-0],[v-0]],l-[[v-27],[v-27]]],[sid-19,t-[[v-0],[v-0]],l-[[v-25],[v-25]]],[sid-20,t-[[v-0],[v-0]],l-[[v-23],[v-23]]],[sid-21,t-[[v-0],[v-0]],l-[[v-22],[v-22]]],[sid-22,t-[[v-0],[v-0]],l-[[v-19],[v-19]]],[sid-23,t-[[v-0],[v-0]],l-[[v-16],[v-16]]],[sid-24,t-[[v-0],[v-0]],l-[[v-15],[v-15]]],[sid-25,t-[[v-0],[v-0]],l-[[v-4],[v-4]]]]).