query([]) :-
geost(2,
          [[oid-1,sid-12,x-[[v-1],[v-1]]],
           [oid-2,sid-12,x-[[v-1],[v-13]]],
           [oid-3,sid-12,x-[[v-1],[v-25]]],
           [oid-4,sid-12,x-[[v-1],[v-37]]],
           [oid-5,sid-12,x-[[v-1],[v-49]]],
           [oid-6,sid-12,x-[[v-1],[v-61]]],
           [oid-7,sid-12,x-[[v-13],[v-1]]],
           [oid-8,sid-12,x-[[v-13],[v-19]]],
           [oid-9,sid-12,x-[[v-13],[v-31]]],
           [oid-10,sid-12,x-[[v-13],[v-43]]],
           [oid-11,sid-12,x-[[v-13],[v-55]]],
           [oid-12,sid-12,x-[[v-13],[v-67]]],
           [oid-13,sid-11,x-[[v-25],[v-1]]],
           [oid-14,sid-11,x-[[v-25],[v-24]]],
           [oid-15,sid-11,x-[[v-25],[v-35]]],
           [oid-16,sid-11,x-[[v-25],[v-46]]],
           [oid-17,sid-11,x-[[v-25],[v-57]]],
           [oid-18,sid-11,x-[[v-25],[v-68]]],
           [oid-19,sid-11,x-[[v-36],[v-1]]],
           [oid-20,sid-11,x-[[v-44],[v-26]]],
           [oid-21,sid-11,x-[[v-44],[v-47]]],
           [oid-22,sid-11,x-[[v-47],[v-1]]],
           [oid-23,sid-11,x-[[v-58],[v-1]]],
           [oid-24,sid-10,x-[[v-34],[v-12]]],
           [oid-25,sid-10,x-[[v-45],[v-37]]],
           [oid-26,sid-10,x-[[v-59],[v-50]]],
           [oid-27,sid-10,x-[[v-59],[v-60]]],
           [oid-28,sid-10,x-[[v-69],[v-1]]],
           [oid-29,sid-10,x-[[v-69],[v-11]]],
           [oid-30,sid-10,x-[[v-69],[v-30]]],
           [oid-31,sid-10,x-[[v-69],[v-40]]],
           [oid-32,sid-10,x-[[v-69],[v-50]]],
           [oid-33,sid-10,x-[[v-69],[v-60]]],
           [oid-34,sid-9,x-[[v-25],[v-12]]],
           [oid-35,sid-9,x-[[v-36],[v-38]]],
           [oid-36,sid-9,x-[[v-51],[v-12]]],
           [oid-37,sid-9,x-[[v-52],[v-70]]],
           [oid-38,sid-9,x-[[v-60],[v-12]]],
           [oid-39,sid-9,x-[[v-61],[v-21]]],
           [oid-40,sid-9,x-[[v-61],[v-70]]],
           [oid-41,sid-9,x-[[v-70],[v-21]]],
           [oid-42,sid-9,x-[[v-70],[v-70]]],
           [oid-43,sid-8,x-[[v-36],[v-22]]],
           [oid-44,sid-8,x-[[v-36],[v-30]]],
           [oid-45,sid-8,x-[[v-36],[v-47]]],
           [oid-46,sid-8,x-[[v-36],[v-55]]],
           [oid-47,sid-8,x-[[v-36],[v-63]]],
           [oid-48,sid-8,x-[[v-36],[v-71]]],
           [oid-49,sid-8,x-[[v-44],[v-63]]],
           [oid-50,sid-8,x-[[v-44],[v-71]]],
           [oid-51,sid-7,x-[[v-44],[v-12]]],
           [oid-52,sid-7,x-[[v-44],[v-19]]],
           [oid-53,sid-7,x-[[v-52],[v-63]]],
           [oid-54,sid-7,x-[[v-55],[v-36]]],
           [oid-55,sid-7,x-[[v-55],[v-43]]],
           [oid-56,sid-7,x-[[v-62],[v-36]]],
           [oid-57,sid-7,x-[[v-62],[v-43]]],
           [oid-58,sid-6,x-[[v-1],[v-73]]],
           [oid-59,sid-6,x-[[v-7],[v-73]]],
           [oid-60,sid-6,x-[[v-13],[v-13]]],
           [oid-61,sid-6,x-[[v-19],[v-13]]],
           [oid-62,sid-6,x-[[v-55],[v-26]]],
           [oid-63,sid-6,x-[[v-63],[v-30]]],
           [oid-64,sid-5,x-[[v-44],[v-58]]],
           [oid-65,sid-5,x-[[v-49],[v-58]]],
           [oid-66,sid-5,x-[[v-51],[v-21]]],
           [oid-67,sid-5,x-[[v-54],[v-58]]],
           [oid-68,sid-5,x-[[v-56],[v-21]]],
           [oid-69,sid-4,x-[[v-55],[v-32]]],
           [oid-70,sid-4,x-[[v-55],[v-50]]],
           [oid-71,sid-4,x-[[v-55],[v-54]]],
           [oid-72,sid-4,x-[[v-59],[v-32]]],
           [oid-73,sid-3,x-[[v-25],[v-21]]],
           [oid-74,sid-3,x-[[v-28],[v-21]]],
           [oid-75,sid-3,x-[[v-31],[v-21]]],
           [oid-76,sid-2,x-[[v-34],[v-22]]],
           [oid-77,sid-2,x-[[v-61],[v-30]]],
           [oid-78,sid-1,x-[[v-44],[v-37]]]],
          [[sid-1,t-[[v-0],[v-0]],l-[[v-1],[v-1]]],
           [sid-2,t-[[v-0],[v-0]],l-[[v-2],[v-2]]],
           [sid-3,t-[[v-0],[v-0]],l-[[v-3],[v-3]]],
           [sid-4,t-[[v-0],[v-0]],l-[[v-4],[v-4]]],
           [sid-5,t-[[v-0],[v-0]],l-[[v-5],[v-5]]],
           [sid-6,t-[[v-0],[v-0]],l-[[v-6],[v-6]]],
           [sid-7,t-[[v-0],[v-0]],l-[[v-7],[v-7]]],
           [sid-8,t-[[v-0],[v-0]],l-[[v-8],[v-8]]],
           [sid-9,t-[[v-0],[v-0]],l-[[v-9],[v-9]]],
           [sid-10,t-[[v-0],[v-0]],l-[[v-10],[v-10]]],
           [sid-11,t-[[v-0],[v-0]],l-[[v-11],[v-11]]],
           [sid-12,t-[[v-0],[v-0]],l-[[v-12],[v-12]]]]).