query([]) :-
geost(2,
          [[oid-0,sid-1,x-[[v-12],[v-2]]],
           [oid-1,sid-5,x-[[v-2],[v-1]]],
           [oid-2,sid-8,x-[[v-10],[v-0]]],
           [oid-3,sid-13,x-[[v-9],[v-1]]],
           [oid-4,sid-14,x-[[v-0],[v-0]]],
           [oid-5,sid-19,x-[[v-6],[v-0]]],
           [oid-6,sid-23,x-[[v-4],[v-0]]],
           [oid-7,sid-26,x-[[v-16],[v-0]]],
           [oid-8,sid-30,x-[[v-18],[v-0]]],
           [oid-9,sid-33,x-[[v-1],[v-0]]],
           [oid-10,sid-37,x-[[v-8],[v-0]]],
           [oid-11,sid-47,x-[[v-14],[v-0]]]],
          [[sid-1,t-[[v-0],[v-0]],l-[[v-5],[v-1]]],
           [sid-2,t-[[v-0],[v-0]],l-[[v-4],[v-1]]],
           [sid-2,t-[[v-1],[v-0]],l-[[v-1],[v-2]]],
           [sid-3,t-[[v-0],[v-0]],l-[[v-4],[v-1]]],
           [sid-3,t-[[v-2],[v-0]],l-[[v-1],[v-2]]],
           [sid-4,t-[[v-0],[v-1]],l-[[v-4],[v-1]]],
           [sid-4,t-[[v-1],[v-0]],l-[[v-1],[v-2]]],
           [sid-5,t-[[v-0],[v-1]],l-[[v-4],[v-1]]],
           [sid-5,t-[[v-2],[v-0]],l-[[v-1],[v-2]]],
           [sid-6,t-[[v-0],[v-0]],l-[[v-1],[v-2]]],
           [sid-6,t-[[v-0],[v-0]],l-[[v-4],[v-1]]],
           [sid-7,t-[[v-0],[v-0]],l-[[v-1],[v-2]]],
           [sid-7,t-[[v-0],[v-1]],l-[[v-4],[v-1]]],
           [sid-8,t-[[v-0],[v-0]],l-[[v-4],[v-1]]],
           [sid-8,t-[[v-3],[v-0]],l-[[v-1],[v-2]]],
           [sid-9,t-[[v-0],[v-1]],l-[[v-4],[v-1]]],
           [sid-9,t-[[v-3],[v-0]],l-[[v-1],[v-2]]],
           [sid-10,t-[[v-0],[v-0]],l-[[v-2],[v-1]]],
           [sid-10,t-[[v-1],[v-1]],l-[[v-3],[v-1]]],
           [sid-11,t-[[v-0],[v-0]],l-[[v-3],[v-1]]],
           [sid-11,t-[[v-2],[v-1]],l-[[v-2],[v-1]]],
           [sid-12,t-[[v-0],[v-1]],l-[[v-2],[v-1]]],
           [sid-12,t-[[v-1],[v-0]],l-[[v-3],[v-1]]],
           [sid-13,t-[[v-0],[v-1]],l-[[v-3],[v-1]]],
           [sid-13,t-[[v-2],[v-0]],l-[[v-2],[v-1]]],
           [sid-14,t-[[v-0],[v-0]],l-[[v-1],[v-3]]],
           [sid-14,t-[[v-0],[v-0]],l-[[v-3],[v-1]]],
           [sid-15,t-[[v-0],[v-0]],l-[[v-1],[v-3]]],
           [sid-15,t-[[v-0],[v-2]],l-[[v-3],[v-1]]],
           [sid-16,t-[[v-0],[v-0]],l-[[v-3],[v-1]]],
           [sid-16,t-[[v-2],[v-0]],l-[[v-1],[v-3]]],
           [sid-17,t-[[v-0],[v-2]],l-[[v-3],[v-1]]],
           [sid-17,t-[[v-2],[v-0]],l-[[v-1],[v-3]]],
           [sid-18,t-[[v-0],[v-0]],l-[[v-1],[v-3]]],
           [sid-18,t-[[v-0],[v-1]],l-[[v-3],[v-1]]],
           [sid-19,t-[[v-0],[v-0]],l-[[v-3],[v-1]]],
           [sid-19,t-[[v-1],[v-0]],l-[[v-1],[v-3]]],
           [sid-20,t-[[v-0],[v-1]],l-[[v-3],[v-1]]],
           [sid-20,t-[[v-2],[v-0]],l-[[v-1],[v-3]]],
           [sid-21,t-[[v-0],[v-2]],l-[[v-3],[v-1]]],
           [sid-21,t-[[v-1],[v-0]],l-[[v-1],[v-3]]],
           [sid-22,t-[[v-0],[v-0]],l-[[v-1],[v-2]]],
           [sid-22,t-[[v-0],[v-1]],l-[[v-2],[v-1]]],
           [sid-22,t-[[v-1],[v-1]],l-[[v-1],[v-2]]],
           [sid-22,t-[[v-1],[v-2]],l-[[v-2],[v-1]]],
           [sid-23,t-[[v-0],[v-0]],l-[[v-2],[v-1]]],
           [sid-23,t-[[v-1],[v-0]],l-[[v-1],[v-2]]],
           [sid-23,t-[[v-1],[v-1]],l-[[v-2],[v-1]]],
           [sid-23,t-[[v-2],[v-1]],l-[[v-1],[v-2]]],
           [sid-24,t-[[v-0],[v-1]],l-[[v-1],[v-2]]],
           [sid-24,t-[[v-0],[v-1]],l-[[v-2],[v-1]]],
           [sid-24,t-[[v-1],[v-0]],l-[[v-1],[v-2]]],
           [sid-24,t-[[v-1],[v-0]],l-[[v-2],[v-1]]],
           [sid-25,t-[[v-0],[v-2]],l-[[v-2],[v-1]]],
           [sid-25,t-[[v-1],[v-1]],l-[[v-1],[v-2]]],
           [sid-25,t-[[v-1],[v-1]],l-[[v-2],[v-1]]],
           [sid-25,t-[[v-2],[v-0]],l-[[v-1],[v-2]]],
           [sid-26,t-[[v-0],[v-1]],l-[[v-3],[v-1]]],
           [sid-26,t-[[v-1],[v-0]],l-[[v-1],[v-3]]],
           [sid-27,t-[[v-0],[v-0]],l-[[v-1],[v-2]]],
           [sid-27,t-[[v-0],[v-0]],l-[[v-3],[v-1]]],
           [sid-27,t-[[v-2],[v-0]],l-[[v-1],[v-2]]],
           [sid-28,t-[[v-0],[v-0]],l-[[v-1],[v-2]]],
           [sid-28,t-[[v-0],[v-1]],l-[[v-3],[v-1]]],
           [sid-28,t-[[v-2],[v-0]],l-[[v-1],[v-2]]],
           [sid-29,t-[[v-0],[v-0]],l-[[v-1],[v-3]]],
           [sid-29,t-[[v-0],[v-0]],l-[[v-2],[v-1]]],
           [sid-29,t-[[v-0],[v-2]],l-[[v-2],[v-1]]],
           [sid-30,t-[[v-0],[v-0]],l-[[v-2],[v-1]]],
           [sid-30,t-[[v-0],[v-2]],l-[[v-2],[v-1]]],
           [sid-30,t-[[v-1],[v-0]],l-[[v-1],[v-3]]],
           [sid-31,t-[[v-0],[v-0]],l-[[v-1],[v-2]]],
           [sid-31,t-[[v-0],[v-1]],l-[[v-3],[v-1]]],
           [sid-31,t-[[v-2],[v-1]],l-[[v-1],[v-2]]],
           [sid-32,t-[[v-0],[v-0]],l-[[v-2],[v-1]]],
           [sid-32,t-[[v-1],[v-0]],l-[[v-1],[v-3]]],
           [sid-32,t-[[v-1],[v-2]],l-[[v-2],[v-1]]],
           [sid-33,t-[[v-0],[v-1]],l-[[v-1],[v-2]]],
           [sid-33,t-[[v-0],[v-1]],l-[[v-3],[v-1]]],
           [sid-33,t-[[v-2],[v-0]],l-[[v-1],[v-2]]],
           [sid-34,t-[[v-0],[v-2]],l-[[v-2],[v-1]]],
           [sid-34,t-[[v-1],[v-0]],l-[[v-1],[v-3]]],
           [sid-34,t-[[v-1],[v-0]],l-[[v-2],[v-1]]],
           [sid-35,t-[[v-0],[v-0]],l-[[v-1],[v-2]]],
           [sid-35,t-[[v-0],[v-1]],l-[[v-3],[v-1]]],
           [sid-35,t-[[v-1],[v-1]],l-[[v-1],[v-2]]],
           [sid-36,t-[[v-0],[v-0]],l-[[v-2],[v-1]]],
           [sid-36,t-[[v-1],[v-0]],l-[[v-1],[v-3]]],
           [sid-36,t-[[v-1],[v-1]],l-[[v-2],[v-1]]],
           [sid-37,t-[[v-0],[v-1]],l-[[v-1],[v-2]]],
           [sid-37,t-[[v-0],[v-1]],l-[[v-3],[v-1]]],
           [sid-37,t-[[v-1],[v-0]],l-[[v-1],[v-2]]],
           [sid-38,t-[[v-0],[v-1]],l-[[v-2],[v-1]]],
           [sid-38,t-[[v-1],[v-0]],l-[[v-1],[v-3]]],
           [sid-38,t-[[v-1],[v-0]],l-[[v-2],[v-1]]],
           [sid-39,t-[[v-0],[v-1]],l-[[v-2],[v-1]]],
           [sid-39,t-[[v-1],[v-0]],l-[[v-1],[v-3]]],
           [sid-39,t-[[v-1],[v-2]],l-[[v-2],[v-1]]],
           [sid-40,t-[[v-0],[v-1]],l-[[v-3],[v-1]]],
           [sid-40,t-[[v-1],[v-0]],l-[[v-1],[v-2]]],
           [sid-40,t-[[v-2],[v-1]],l-[[v-1],[v-2]]],
           [sid-41,t-[[v-0],[v-1]],l-[[v-3],[v-1]]],
           [sid-41,t-[[v-1],[v-1]],l-[[v-1],[v-2]]],
           [sid-41,t-[[v-2],[v-0]],l-[[v-1],[v-2]]],
           [sid-42,t-[[v-0],[v-2]],l-[[v-2],[v-1]]],
           [sid-42,t-[[v-1],[v-0]],l-[[v-1],[v-3]]],
           [sid-42,t-[[v-1],[v-1]],l-[[v-2],[v-1]]],
           [sid-43,t-[[v-0],[v-0]],l-[[v-1],[v-2]]],
           [sid-43,t-[[v-1],[v-0]],l-[[v-1],[v-3]]],
           [sid-44,t-[[v-0],[v-0]],l-[[v-1],[v-3]]],
           [sid-44,t-[[v-1],[v-0]],l-[[v-1],[v-2]]],
           [sid-45,t-[[v-0],[v-0]],l-[[v-1],[v-3]]],
           [sid-45,t-[[v-1],[v-1]],l-[[v-1],[v-2]]],
           [sid-46,t-[[v-0],[v-0]],l-[[v-2],[v-1]]],
           [sid-46,t-[[v-0],[v-1]],l-[[v-3],[v-1]]],
           [sid-47,t-[[v-0],[v-0]],l-[[v-3],[v-1]]],
           [sid-47,t-[[v-0],[v-1]],l-[[v-2],[v-1]]],
           [sid-48,t-[[v-0],[v-0]],l-[[v-3],[v-1]]],
           [sid-48,t-[[v-1],[v-1]],l-[[v-2],[v-1]]],
           [sid-49,t-[[v-0],[v-1]],l-[[v-1],[v-2]]],
           [sid-49,t-[[v-1],[v-0]],l-[[v-1],[v-3]]],
           [sid-50,t-[[v-0],[v-1]],l-[[v-3],[v-1]]],
           [sid-50,t-[[v-1],[v-0]],l-[[v-2],[v-1]]]]).