$ cat pm_graph_undirected.txt R1#C01+ C02 <=> C03 + C04 R2#C01 + C04 + C05 <=> C07 + C08 + C09