query([1,406,1,439,446,254,228,1,320,345,165,258,165,277,254,345,267,228,236,236,258,236,254,258,439,1,406,418,200,1,1,467,254,193,312,325,312,254,399,193,406,259,418,272,303,399,254,259,303,193]) :-
        in(1, [[val-1]]),
        in(406, [[val-406]]),
        in(1, [[val-1]]),
        in(439, [[val-439]]),
        in(446, [[val-446]]),
        in(254, [[val-254]]),
        in(228, [[val-228]]),
        in(1, [[val-1]]),
        in(320, [[val-320]]),
        in(345, [[val-345]]),
        in(165, [[val-165]]),
        in(258, [[val-258]]),
        in(165, [[val-165]]),
        in(277, [[val-277]]),
        in(254, [[val-254]]),
        in(345, [[val-345]]),
        in(267, [[val-267]]),
        in(228, [[val-228]]),
        in(236, [[val-236]]),
        in(236, [[val-236]]),
        in(258, [[val-258]]),
        in(236, [[val-236]]),
        in(254, [[val-254]]),
        in(258, [[val-258]]),
        in(439, [[val-439]]),
        in(1, [[val-1]]),
        in(406, [[val-406]]),
        in(418, [[val-418]]),
        in(200, [[val-200]]),
        in(1, [[val-1]]),
        in(1, [[val-1]]),
        in(467, [[val-467]]),
        in(254, [[val-254]]),
        in(193, [[val-193]]),
        in(312, [[val-312]]),
        in(325, [[val-325]]),
        in(312, [[val-312]]),
        in(254, [[val-254]]),
        in(399, [[val-399]]),
        in(193, [[val-193]]),
        in(406, [[val-406]]),
        in(259, [[val-259]]),
        in(418, [[val-418]]),
        in(272, [[val-272]]),
        in(303, [[val-303]]),
        in(399, [[val-399]]),
        in(254, [[val-254]]),
        in(259, [[val-259]]),
        in(303, [[val-303]]),
        in(193, [[val-193]]),
        in(253, [[val-253]]),
        in(239, [[val-239]]),
        in(227, [[val-227]]),
        in(206, [[val-206]]),
        in(199, [[val-199]]),
        in(192, [[val-192]]),
        in(178, [[val-178]]),
        in(164, [[val-164]]),
        in(119, [[val-119]]),
        in(94, [[val-94]]),
        in(93, [[val-93]]),
        in(87, [[val-87]]),
        in(71, [[val-71]]),
        in(68, [[val-68]]),
        in(66, [[val-66]]),
        in(61, [[val-61]]),
        in(53, [[val-53]]),
        in(49, [[val-49]]),
        in(31, [[val-31]]),
        in(22, [[val-22]]),
        in(19, [[val-19]]),
        in(18, [[val-18]]),
        in(13, [[val-13]]),
        in(9, [[val-9]]),
        in(7, [[val-7]]),
        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(253, [[val-253]]),
        in(239, [[val-239]]),
        in(227, [[val-227]]),
        in(206, [[val-206]]),
        in(199, [[val-199]]),
        in(192, [[val-192]]),
        in(178, [[val-178]]),
        in(164, [[val-164]]),
        in(119, [[val-119]]),
        in(94, [[val-94]]),
        in(93, [[val-93]]),
        in(87, [[val-87]]),
        in(71, [[val-71]]),
        in(68, [[val-68]]),
        in(66, [[val-66]]),
        in(61, [[val-61]]),
        in(53, [[val-53]]),
        in(49, [[val-49]]),
        in(31, [[val-31]]),
        in(22, [[val-22]]),
        in(19, [[val-19]]),
        in(18, [[val-18]]),
        in(13, [[val-13]]),
        in(9, [[val-9]]),
        in(7, [[val-7]]),
        lex_chain_lesseq([vec-[[var-1],[var-406],[var-1],[var-439],[var-446],[var-254],[var-228],[var-1],[var-320],[var-345],[var-165],[var-258],[var-165],[var-277],[var-254],[var-345],[var-267],[var-228],[var-236],[var-236],[var-258],[var-236],[var-254],[var-258],[var-439]],vec-[[var-1],[var-406],[var-418],[var-200],[var-1],[var-1],[var-467],[var-254],[var-193],[var-312],[var-325],[var-312],[var-254],[var-399],[var-193],[var-406],[var-259],[var-418],[var-272],[var-303],[var-399],[var-254],[var-259],[var-303],[var-193]]]),
        geost(2, [[oid-1,sid-1,x-[[v-1],[v-1]]],[oid-2,sid-2,x-[[v-406],[v-406]]],[oid-3,sid-3,x-[[v-1],[v-418]]],[oid-4,sid-4,x-[[v-439],[v-200]]],[oid-5,sid-5,x-[[v-446],[v-1]]],[oid-6,sid-6,x-[[v-254],[v-1]]],[oid-7,sid-7,x-[[v-228],[v-467]]],[oid-8,sid-8,x-[[v-1],[v-254]]],[oid-9,sid-9,x-[[v-320],[v-193]]],[oid-10,sid-10,x-[[v-345],[v-312]]],[oid-11,sid-11,x-[[v-165],[v-325]]],[oid-12,sid-12,x-[[v-258],[v-312]]],[oid-13,sid-13,x-[[v-165],[v-254]]],[oid-14,sid-14,x-[[v-277],[v-399]]],[oid-15,sid-15,x-[[v-254],[v-193]]],[oid-16,sid-16,x-[[v-345],[v-406]]],[oid-17,sid-17,x-[[v-267],[v-259]]],[oid-18,sid-18,x-[[v-228],[v-418]]],[oid-19,sid-19,x-[[v-236],[v-272]]],[oid-20,sid-20,x-[[v-236],[v-303]]],[oid-21,sid-21,x-[[v-258],[v-399]]],[oid-22,sid-22,x-[[v-236],[v-254]]],[oid-23,sid-23,x-[[v-254],[v-259]]],[oid-24,sid-24,x-[[v-258],[v-303]]],[oid-25,sid-25,x-[[v-439],[v-193]]]], [[sid-1,t-[[v-0],[v-0]],l-[[v-253],[v-253]]],[sid-2,t-[[v-0],[v-0]],l-[[v-239],[v-239]]],[sid-3,t-[[v-0],[v-0]],l-[[v-227],[v-227]]],[sid-4,t-[[v-0],[v-0]],l-[[v-206],[v-206]]],[sid-5,t-[[v-0],[v-0]],l-[[v-199],[v-199]]],[sid-6,t-[[v-0],[v-0]],l-[[v-192],[v-192]]],[sid-7,t-[[v-0],[v-0]],l-[[v-178],[v-178]]],[sid-8,t-[[v-0],[v-0]],l-[[v-164],[v-164]]],[sid-9,t-[[v-0],[v-0]],l-[[v-119],[v-119]]],[sid-10,t-[[v-0],[v-0]],l-[[v-94],[v-94]]],[sid-11,t-[[v-0],[v-0]],l-[[v-93],[v-93]]],[sid-12,t-[[v-0],[v-0]],l-[[v-87],[v-87]]],[sid-13,t-[[v-0],[v-0]],l-[[v-71],[v-71]]],[sid-14,t-[[v-0],[v-0]],l-[[v-68],[v-68]]],[sid-15,t-[[v-0],[v-0]],l-[[v-66],[v-66]]],[sid-16,t-[[v-0],[v-0]],l-[[v-61],[v-61]]],[sid-17,t-[[v-0],[v-0]],l-[[v-53],[v-53]]],[sid-18,t-[[v-0],[v-0]],l-[[v-49],[v-49]]],[sid-19,t-[[v-0],[v-0]],l-[[v-31],[v-31]]],[sid-20,t-[[v-0],[v-0]],l-[[v-22],[v-22]]],[sid-21,t-[[v-0],[v-0]],l-[[v-19],[v-19]]],[sid-22,t-[[v-0],[v-0]],l-[[v-18],[v-18]]],[sid-23,t-[[v-0],[v-0]],l-[[v-13],[v-13]]],[sid-24,t-[[v-0],[v-0]],l-[[v-9],[v-9]]],[sid-25,t-[[v-0],[v-0]],l-[[v-7],[v-7]]]]).