gnn_counterexamples.zip