FACT++  1.0
int N_nodes = 0