query([1,1,119,191,193,138,138,204,119,163,224,163,197,207,138,233,197,236,219,191,193,197,219,233,1,138,182,76,193,1,60,141,138,141,1,113,1,50,113,53,28,33,33,60,182,50,28,50]) :-
        in(1, [[val-1]]),
        in(1, [[val-1]]),
        in(119, [[val-119]]),
        in(191, [[val-191]]),
        in(193, [[val-193]]),
        in(138, [[val-138]]),
        in(138, [[val-138]]),
        in(204, [[val-204]]),
        in(119, [[val-119]]),
        in(163, [[val-163]]),
        in(224, [[val-224]]),
        in(163, [[val-163]]),
        in(197, [[val-197]]),
        in(207, [[val-207]]),
        in(138, [[val-138]]),
        in(233, [[val-233]]),
        in(197, [[val-197]]),
        in(236, [[val-236]]),
        in(219, [[val-219]]),
        in(191, [[val-191]]),
        in(193, [[val-193]]),
        in(197, [[val-197]]),
        in(219, [[val-219]]),
        in(233, [[val-233]]),
        in(1, [[val-1]]),
        in(138, [[val-138]]),
        in(182, [[val-182]]),
        in(76, [[val-76]]),
        in(193, [[val-193]]),
        in(1, [[val-1]]),
        in(60, [[val-60]]),
        in(141, [[val-141]]),
        in(138, [[val-138]]),
        in(141, [[val-141]]),
        in(1, [[val-1]]),
        in(113, [[val-113]]),
        in(1, [[val-1]]),
        in(50, [[val-50]]),
        in(113, [[val-113]]),
        in(53, [[val-53]]),
        in(28, [[val-28]]),
        in(33, [[val-33]]),
        in(33, [[val-33]]),
        in(60, [[val-60]]),
        in(182, [[val-182]]),
        in(50, [[val-50]]),
        in(28, [[val-28]]),
        in(50, [[val-50]]),
        in(137, [[val-137]]),
        in(118, [[val-118]]),
        in(74, [[val-74]]),
        in(65, [[val-65]]),
        in(63, [[val-63]]),
        in(59, [[val-59]]),
        in(53, [[val-53]]),
        in(52, [[val-52]]),
        in(44, [[val-44]]),
        in(41, [[val-41]]),
        in(32, [[val-32]]),
        in(28, [[val-28]]),
        in(27, [[val-27]]),
        in(26, [[val-26]]),
        in(25, [[val-25]]),
        in(23, [[val-23]]),
        in(22, [[val-22]]),
        in(20, [[val-20]]),
        in(17, [[val-17]]),
        in(16, [[val-16]]),
        in(11, [[val-11]]),
        in(10, [[val-10]]),
        in(5, [[val-5]]),
        in(3, [[val-3]]),
        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(137, [[val-137]]),
        in(118, [[val-118]]),
        in(74, [[val-74]]),
        in(65, [[val-65]]),
        in(63, [[val-63]]),
        in(59, [[val-59]]),
        in(53, [[val-53]]),
        in(52, [[val-52]]),
        in(44, [[val-44]]),
        in(41, [[val-41]]),
        in(32, [[val-32]]),
        in(28, [[val-28]]),
        in(27, [[val-27]]),
        in(26, [[val-26]]),
        in(25, [[val-25]]),
        in(23, [[val-23]]),
        in(22, [[val-22]]),
        in(20, [[val-20]]),
        in(17, [[val-17]]),
        in(16, [[val-16]]),
        in(11, [[val-11]]),
        in(10, [[val-10]]),
        in(5, [[val-5]]),
        in(3, [[val-3]]),
        lex_chain_lesseq([vec-[[var-1],[var-1],[var-119],[var-191],[var-193],[var-138],[var-138],[var-204],[var-119],[var-163],[var-224],[var-163],[var-197],[var-207],[var-138],[var-233],[var-197],[var-236],[var-219],[var-191],[var-193],[var-197],[var-219],[var-233]],vec-[[var-1],[var-138],[var-182],[var-76],[var-193],[var-1],[var-60],[var-141],[var-138],[var-141],[var-1],[var-113],[var-1],[var-50],[var-113],[var-53],[var-28],[var-33],[var-33],[var-60],[var-182],[var-50],[var-28],[var-50]]]),
        geost(2, [[oid-1,sid-1,x-[[v-1],[v-1]]],[oid-2,sid-2,x-[[v-1],[v-138]]],[oid-3,sid-3,x-[[v-119],[v-182]]],[oid-4,sid-4,x-[[v-191],[v-76]]],[oid-5,sid-5,x-[[v-193],[v-193]]],[oid-6,sid-6,x-[[v-138],[v-1]]],[oid-7,sid-7,x-[[v-138],[v-60]]],[oid-8,sid-8,x-[[v-204],[v-141]]],[oid-9,sid-9,x-[[v-119],[v-138]]],[oid-10,sid-10,x-[[v-163],[v-141]]],[oid-11,sid-11,x-[[v-224],[v-1]]],[oid-12,sid-12,x-[[v-163],[v-113]]],[oid-13,sid-13,x-[[v-197],[v-1]]],[oid-14,sid-14,x-[[v-207],[v-50]]],[oid-15,sid-15,x-[[v-138],[v-113]]],[oid-16,sid-16,x-[[v-233],[v-53]]],[oid-17,sid-17,x-[[v-197],[v-28]]],[oid-18,sid-18,x-[[v-236],[v-33]]],[oid-19,sid-19,x-[[v-219],[v-33]]],[oid-20,sid-20,x-[[v-191],[v-60]]],[oid-21,sid-21,x-[[v-193],[v-182]]],[oid-22,sid-22,x-[[v-197],[v-50]]],[oid-23,sid-23,x-[[v-219],[v-28]]],[oid-24,sid-24,x-[[v-233],[v-50]]]], [[sid-1,t-[[v-0],[v-0]],l-[[v-137],[v-137]]],[sid-2,t-[[v-0],[v-0]],l-[[v-118],[v-118]]],[sid-3,t-[[v-0],[v-0]],l-[[v-74],[v-74]]],[sid-4,t-[[v-0],[v-0]],l-[[v-65],[v-65]]],[sid-5,t-[[v-0],[v-0]],l-[[v-63],[v-63]]],[sid-6,t-[[v-0],[v-0]],l-[[v-59],[v-59]]],[sid-7,t-[[v-0],[v-0]],l-[[v-53],[v-53]]],[sid-8,t-[[v-0],[v-0]],l-[[v-52],[v-52]]],[sid-9,t-[[v-0],[v-0]],l-[[v-44],[v-44]]],[sid-10,t-[[v-0],[v-0]],l-[[v-41],[v-41]]],[sid-11,t-[[v-0],[v-0]],l-[[v-32],[v-32]]],[sid-12,t-[[v-0],[v-0]],l-[[v-28],[v-28]]],[sid-13,t-[[v-0],[v-0]],l-[[v-27],[v-27]]],[sid-14,t-[[v-0],[v-0]],l-[[v-26],[v-26]]],[sid-15,t-[[v-0],[v-0]],l-[[v-25],[v-25]]],[sid-16,t-[[v-0],[v-0]],l-[[v-23],[v-23]]],[sid-17,t-[[v-0],[v-0]],l-[[v-22],[v-22]]],[sid-18,t-[[v-0],[v-0]],l-[[v-20],[v-20]]],[sid-19,t-[[v-0],[v-0]],l-[[v-17],[v-17]]],[sid-20,t-[[v-0],[v-0]],l-[[v-16],[v-16]]],[sid-21,t-[[v-0],[v-0]],l-[[v-11],[v-11]]],[sid-22,t-[[v-0],[v-0]],l-[[v-10],[v-10]]],[sid-23,t-[[v-0],[v-0]],l-[[v-5],[v-5]]],[sid-24,t-[[v-0],[v-0]],l-[[v-3],[v-3]]]]).