query([1,1,234,169,169,159,257,259,278,281,196,159,159,195,250,230,257,259,257,234,238,159,230,234,195,1,169,234,1,91,252,115,1,185,69,214,215,179,179,206,179,91,69,185,218,206,169,206,214,214]) :-
        in(1, [[val-1]]),
        in(1, [[val-1]]),
        in(234, [[val-234]]),
        in(169, [[val-169]]),
        in(169, [[val-169]]),
        in(159, [[val-159]]),
        in(257, [[val-257]]),
        in(259, [[val-259]]),
        in(278, [[val-278]]),
        in(281, [[val-281]]),
        in(196, [[val-196]]),
        in(159, [[val-159]]),
        in(159, [[val-159]]),
        in(195, [[val-195]]),
        in(250, [[val-250]]),
        in(230, [[val-230]]),
        in(257, [[val-257]]),
        in(259, [[val-259]]),
        in(257, [[val-257]]),
        in(234, [[val-234]]),
        in(238, [[val-238]]),
        in(159, [[val-159]]),
        in(230, [[val-230]]),
        in(234, [[val-234]]),
        in(195, [[val-195]]),
        in(1, [[val-1]]),
        in(169, [[val-169]]),
        in(234, [[val-234]]),
        in(1, [[val-1]]),
        in(91, [[val-91]]),
        in(252, [[val-252]]),
        in(115, [[val-115]]),
        in(1, [[val-1]]),
        in(185, [[val-185]]),
        in(69, [[val-69]]),
        in(214, [[val-214]]),
        in(215, [[val-215]]),
        in(179, [[val-179]]),
        in(179, [[val-179]]),
        in(206, [[val-206]]),
        in(179, [[val-179]]),
        in(91, [[val-91]]),
        in(69, [[val-69]]),
        in(185, [[val-185]]),
        in(218, [[val-218]]),
        in(206, [[val-206]]),
        in(169, [[val-169]]),
        in(206, [[val-206]]),
        in(214, [[val-214]]),
        in(214, [[val-214]]),
        in(168, [[val-168]]),
        in(158, [[val-158]]),
        in(93, [[val-93]]),
        in(90, [[val-90]]),
        in(88, [[val-88]]),
        in(75, [[val-75]]),
        in(70, [[val-70]]),
        in(68, [[val-68]]),
        in(49, [[val-49]]),
        in(46, [[val-46]]),
        in(38, [[val-38]]),
        in(37, [[val-37]]),
        in(36, [[val-36]]),
        in(35, [[val-35]]),
        in(28, [[val-28]]),
        in(27, [[val-27]]),
        in(24, [[val-24]]),
        in(22, [[val-22]]),
        in(21, [[val-21]]),
        in(16, [[val-16]]),
        in(12, [[val-12]]),
        in(10, [[val-10]]),
        in(8, [[val-8]]),
        in(4, [[val-4]]),
        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(168, [[val-168]]),
        in(158, [[val-158]]),
        in(93, [[val-93]]),
        in(90, [[val-90]]),
        in(88, [[val-88]]),
        in(75, [[val-75]]),
        in(70, [[val-70]]),
        in(68, [[val-68]]),
        in(49, [[val-49]]),
        in(46, [[val-46]]),
        in(38, [[val-38]]),
        in(37, [[val-37]]),
        in(36, [[val-36]]),
        in(35, [[val-35]]),
        in(28, [[val-28]]),
        in(27, [[val-27]]),
        in(24, [[val-24]]),
        in(22, [[val-22]]),
        in(21, [[val-21]]),
        in(16, [[val-16]]),
        in(12, [[val-12]]),
        in(10, [[val-10]]),
        in(8, [[val-8]]),
        in(4, [[val-4]]),
        in(1, [[val-1]]),
        lex_chain_lesseq([vec-[[var-1],[var-1],[var-234],[var-169],[var-169],[var-159],[var-257],[var-259],[var-278],[var-281],[var-196],[var-159],[var-159],[var-195],[var-250],[var-230],[var-257],[var-259],[var-257],[var-234],[var-238],[var-159],[var-230],[var-234],[var-195]],vec-[[var-1],[var-169],[var-234],[var-1],[var-91],[var-252],[var-115],[var-1],[var-185],[var-69],[var-214],[var-215],[var-179],[var-179],[var-206],[var-179],[var-91],[var-69],[var-185],[var-218],[var-206],[var-169],[var-206],[var-214],[var-214]]]),
        geost(2, [[oid-1,sid-1,x-[[v-1],[v-1]]],[oid-2,sid-2,x-[[v-1],[v-169]]],[oid-3,sid-3,x-[[v-234],[v-234]]],[oid-4,sid-4,x-[[v-169],[v-1]]],[oid-5,sid-5,x-[[v-169],[v-91]]],[oid-6,sid-6,x-[[v-159],[v-252]]],[oid-7,sid-7,x-[[v-257],[v-115]]],[oid-8,sid-8,x-[[v-259],[v-1]]],[oid-9,sid-9,x-[[v-278],[v-185]]],[oid-10,sid-10,x-[[v-281],[v-69]]],[oid-11,sid-11,x-[[v-196],[v-214]]],[oid-12,sid-12,x-[[v-159],[v-215]]],[oid-13,sid-13,x-[[v-159],[v-179]]],[oid-14,sid-14,x-[[v-195],[v-179]]],[oid-15,sid-15,x-[[v-250],[v-206]]],[oid-16,sid-16,x-[[v-230],[v-179]]],[oid-17,sid-17,x-[[v-257],[v-91]]],[oid-18,sid-18,x-[[v-259],[v-69]]],[oid-19,sid-19,x-[[v-257],[v-185]]],[oid-20,sid-20,x-[[v-234],[v-218]]],[oid-21,sid-21,x-[[v-238],[v-206]]],[oid-22,sid-22,x-[[v-159],[v-169]]],[oid-23,sid-23,x-[[v-230],[v-206]]],[oid-24,sid-24,x-[[v-234],[v-214]]],[oid-25,sid-25,x-[[v-195],[v-214]]]], [[sid-1,t-[[v-0],[v-0]],l-[[v-168],[v-168]]],[sid-2,t-[[v-0],[v-0]],l-[[v-158],[v-158]]],[sid-3,t-[[v-0],[v-0]],l-[[v-93],[v-93]]],[sid-4,t-[[v-0],[v-0]],l-[[v-90],[v-90]]],[sid-5,t-[[v-0],[v-0]],l-[[v-88],[v-88]]],[sid-6,t-[[v-0],[v-0]],l-[[v-75],[v-75]]],[sid-7,t-[[v-0],[v-0]],l-[[v-70],[v-70]]],[sid-8,t-[[v-0],[v-0]],l-[[v-68],[v-68]]],[sid-9,t-[[v-0],[v-0]],l-[[v-49],[v-49]]],[sid-10,t-[[v-0],[v-0]],l-[[v-46],[v-46]]],[sid-11,t-[[v-0],[v-0]],l-[[v-38],[v-38]]],[sid-12,t-[[v-0],[v-0]],l-[[v-37],[v-37]]],[sid-13,t-[[v-0],[v-0]],l-[[v-36],[v-36]]],[sid-14,t-[[v-0],[v-0]],l-[[v-35],[v-35]]],[sid-15,t-[[v-0],[v-0]],l-[[v-28],[v-28]]],[sid-16,t-[[v-0],[v-0]],l-[[v-27],[v-27]]],[sid-17,t-[[v-0],[v-0]],l-[[v-24],[v-24]]],[sid-18,t-[[v-0],[v-0]],l-[[v-22],[v-22]]],[sid-19,t-[[v-0],[v-0]],l-[[v-21],[v-21]]],[sid-20,t-[[v-0],[v-0]],l-[[v-16],[v-16]]],[sid-21,t-[[v-0],[v-0]],l-[[v-12],[v-12]]],[sid-22,t-[[v-0],[v-0]],l-[[v-10],[v-10]]],[sid-23,t-[[v-0],[v-0]],l-[[v-8],[v-8]]],[sid-24,t-[[v-0],[v-0]],l-[[v-4],[v-4]]],[sid-25,t-[[v-0],[v-0]],l-[[v-1],[v-1]]]]).