This page has moved. The new location is "http://www.daimi.au.dk/cgi-desgncpn/listquery"