#include <LEDA/basic.h>
#ifndef LEDA_STD_HEADERS
#error "no LEDA_STD_HEADERS !"
#endif
int main() {return 0;}