#include <smart_graph.h>

 #include <smart_graph.h>

 #include <dimacs.h>

 #include <dimacs.h>

 #include <dijkstra.h>

 #include <dijkstra.h>

 #include <time_measure.h>

 #include <time_measure.h>

 #include <bin_heap.h>

 #include <bin_heap.h>

 #include <for_each_macros.h>

 #include <for_each_macros.h>

 using namespace hugo;

 using namespace hugo;

 int main(int, char **) {

 int main(int, char **) {