query([1,1,200,223,317,223,325,330,350,200,367,259,259,310,329,223,321,303,200,330,303,350,317,310,325,1,223,305,103,317,1,1,98,190,246,262,210,261,210,279,210,250,279,223,190,261,262,305,250,98]) :-
        in(1, [[val-1]]),
        in(1, [[val-1]]),
        in(200, [[val-200]]),
        in(223, [[val-223]]),
        in(317, [[val-317]]),
        in(223, [[val-223]]),
        in(325, [[val-325]]),
        in(330, [[val-330]]),
        in(350, [[val-350]]),
        in(200, [[val-200]]),
        in(367, [[val-367]]),
        in(259, [[val-259]]),
        in(259, [[val-259]]),
        in(310, [[val-310]]),
        in(329, [[val-329]]),
        in(223, [[val-223]]),
        in(321, [[val-321]]),
        in(303, [[val-303]]),
        in(200, [[val-200]]),
        in(330, [[val-330]]),
        in(303, [[val-303]]),
        in(350, [[val-350]]),
        in(317, [[val-317]]),
        in(310, [[val-310]]),
        in(325, [[val-325]]),
        in(1, [[val-1]]),
        in(223, [[val-223]]),
        in(305, [[val-305]]),
        in(103, [[val-103]]),
        in(317, [[val-317]]),
        in(1, [[val-1]]),
        in(1, [[val-1]]),
        in(98, [[val-98]]),
        in(190, [[val-190]]),
        in(246, [[val-246]]),
        in(262, [[val-262]]),
        in(210, [[val-210]]),
        in(261, [[val-261]]),
        in(210, [[val-210]]),
        in(279, [[val-279]]),
        in(210, [[val-210]]),
        in(250, [[val-250]]),
        in(279, [[val-279]]),
        in(223, [[val-223]]),
        in(190, [[val-190]]),
        in(261, [[val-261]]),
        in(262, [[val-262]]),
        in(305, [[val-305]]),
        in(250, [[val-250]]),
        in(98, [[val-98]]),
        in(222, [[val-222]]),
        in(199, [[val-199]]),
        in(117, [[val-117]]),
        in(107, [[val-107]]),
        in(105, [[val-105]]),
        in(102, [[val-102]]),
        in(97, [[val-97]]),
        in(92, [[val-92]]),
        in(72, [[val-72]]),
        in(59, [[val-59]]),
        in(55, [[val-55]]),
        in(51, [[val-51]]),
        in(44, [[val-44]]),
        in(40, [[val-40]]),
        in(38, [[val-38]]),
        in(36, [[val-36]]),
        in(29, [[val-29]]),
        in(26, [[val-26]]),
        in(23, [[val-23]]),
        in(20, [[val-20]]),
        in(18, [[val-18]]),
        in(17, [[val-17]]),
        in(12, [[val-12]]),
        in(11, [[val-11]]),
        in(5, [[val-5]]),
        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(222, [[val-222]]),
        in(199, [[val-199]]),
        in(117, [[val-117]]),
        in(107, [[val-107]]),
        in(105, [[val-105]]),
        in(102, [[val-102]]),
        in(97, [[val-97]]),
        in(92, [[val-92]]),
        in(72, [[val-72]]),
        in(59, [[val-59]]),
        in(55, [[val-55]]),
        in(51, [[val-51]]),
        in(44, [[val-44]]),
        in(40, [[val-40]]),
        in(38, [[val-38]]),
        in(36, [[val-36]]),
        in(29, [[val-29]]),
        in(26, [[val-26]]),
        in(23, [[val-23]]),
        in(20, [[val-20]]),
        in(18, [[val-18]]),
        in(17, [[val-17]]),
        in(12, [[val-12]]),
        in(11, [[val-11]]),
        in(5, [[val-5]]),
        lex_chain_lesseq([vec-[[var-1],[var-1],[var-200],[var-223],[var-317],[var-223],[var-325],[var-330],[var-350],[var-200],[var-367],[var-259],[var-259],[var-310],[var-329],[var-223],[var-321],[var-303],[var-200],[var-330],[var-303],[var-350],[var-317],[var-310],[var-325]],vec-[[var-1],[var-223],[var-305],[var-103],[var-317],[var-1],[var-1],[var-98],[var-190],[var-246],[var-262],[var-210],[var-261],[var-210],[var-279],[var-210],[var-250],[var-279],[var-223],[var-190],[var-261],[var-262],[var-305],[var-250],[var-98]]]),
        geost(2, [[oid-1,sid-1,x-[[v-1],[v-1]]],[oid-2,sid-2,x-[[v-1],[v-223]]],[oid-3,sid-3,x-[[v-200],[v-305]]],[oid-4,sid-4,x-[[v-223],[v-103]]],[oid-5,sid-5,x-[[v-317],[v-317]]],[oid-6,sid-6,x-[[v-223],[v-1]]],[oid-7,sid-7,x-[[v-325],[v-1]]],[oid-8,sid-8,x-[[v-330],[v-98]]],[oid-9,sid-9,x-[[v-350],[v-190]]],[oid-10,sid-10,x-[[v-200],[v-246]]],[oid-11,sid-11,x-[[v-367],[v-262]]],[oid-12,sid-12,x-[[v-259],[v-210]]],[oid-13,sid-13,x-[[v-259],[v-261]]],[oid-14,sid-14,x-[[v-310],[v-210]]],[oid-15,sid-15,x-[[v-329],[v-279]]],[oid-16,sid-16,x-[[v-223],[v-210]]],[oid-17,sid-17,x-[[v-321],[v-250]]],[oid-18,sid-18,x-[[v-303],[v-279]]],[oid-19,sid-19,x-[[v-200],[v-223]]],[oid-20,sid-20,x-[[v-330],[v-190]]],[oid-21,sid-21,x-[[v-303],[v-261]]],[oid-22,sid-22,x-[[v-350],[v-262]]],[oid-23,sid-23,x-[[v-317],[v-305]]],[oid-24,sid-24,x-[[v-310],[v-250]]],[oid-25,sid-25,x-[[v-325],[v-98]]]], [[sid-1,t-[[v-0],[v-0]],l-[[v-222],[v-222]]],[sid-2,t-[[v-0],[v-0]],l-[[v-199],[v-199]]],[sid-3,t-[[v-0],[v-0]],l-[[v-117],[v-117]]],[sid-4,t-[[v-0],[v-0]],l-[[v-107],[v-107]]],[sid-5,t-[[v-0],[v-0]],l-[[v-105],[v-105]]],[sid-6,t-[[v-0],[v-0]],l-[[v-102],[v-102]]],[sid-7,t-[[v-0],[v-0]],l-[[v-97],[v-97]]],[sid-8,t-[[v-0],[v-0]],l-[[v-92],[v-92]]],[sid-9,t-[[v-0],[v-0]],l-[[v-72],[v-72]]],[sid-10,t-[[v-0],[v-0]],l-[[v-59],[v-59]]],[sid-11,t-[[v-0],[v-0]],l-[[v-55],[v-55]]],[sid-12,t-[[v-0],[v-0]],l-[[v-51],[v-51]]],[sid-13,t-[[v-0],[v-0]],l-[[v-44],[v-44]]],[sid-14,t-[[v-0],[v-0]],l-[[v-40],[v-40]]],[sid-15,t-[[v-0],[v-0]],l-[[v-38],[v-38]]],[sid-16,t-[[v-0],[v-0]],l-[[v-36],[v-36]]],[sid-17,t-[[v-0],[v-0]],l-[[v-29],[v-29]]],[sid-18,t-[[v-0],[v-0]],l-[[v-26],[v-26]]],[sid-19,t-[[v-0],[v-0]],l-[[v-23],[v-23]]],[sid-20,t-[[v-0],[v-0]],l-[[v-20],[v-20]]],[sid-21,t-[[v-0],[v-0]],l-[[v-18],[v-18]]],[sid-22,t-[[v-0],[v-0]],l-[[v-17],[v-17]]],[sid-23,t-[[v-0],[v-0]],l-[[v-12],[v-12]]],[sid-24,t-[[v-0],[v-0]],l-[[v-11],[v-11]]],[sid-25,t-[[v-0],[v-0]],l-[[v-5],[v-5]]]]).