diff --git a/mod/butadien/014_dg_0_11100.dot b/mod/butadien/014_dg_0_11100.dot
new file mode 100644
index 0000000..1d3eea4
--- /dev/null
+++ b/mod/butadien/014_dg_0_11100.dot
@@ -0,0 +1,1284 @@
+digraph g {
+// id = 0, graphName = Butadien
+"0-0" [ shape=ellipse label="Butadien" image="out/015_g_0_11311100.svg" ];
+// id = 2, graphName = p_{0,0}
+"2-0" [ shape=ellipse label="p_{0,0}" image="out/017_g_9_11311100.svg" ];
+// id = 3, graphName = p_{0,1}
+"3-0" [ shape=ellipse label="p_{0,1}" image="out/019_g_10_11311100.svg" ];
+// id = 6, graphName = p_{0,2}
+"6-0" [ shape=ellipse label="p_{0,2}" image="out/021_g_25_11311100.svg" ];
+// id = 12, graphName = p_{0,3}
+"12-0" [ shape=ellipse label="p_{0,3}" image="out/023_g_121_11311100.svg" ];
+// id = 17, graphName = p_{0,4}
+"17-0" [ shape=ellipse label="p_{0,4}" image="out/025_g_153_11311100.svg" ];
+// id = 19, graphName = p_{0,5}
+"19-0" [ shape=ellipse label="p_{0,5}" image="out/027_g_175_11311100.svg" ];
+// id = 27, graphName = p_{0,6}
+"27-0" [ shape=ellipse label="p_{0,6}" image="out/029_g_285_11311100.svg" ];
+// id = 29, graphName = p_{0,7}
+"29-0" [ shape=ellipse label="p_{0,7}" image="out/031_g_293_11311100.svg" ];
+// id = 31, graphName = p_{0,8}
+"31-0" [ shape=ellipse label="p_{0,8}" image="out/033_g_301_11311100.svg" ];
+// id = 34, graphName = p_{0,9}
+"34-0" [ shape=ellipse label="p_{0,9}" image="out/035_g_323_11311100.svg" ];
+// id = 36, graphName = p_{0,10}
+"36-0" [ shape=ellipse label="p_{0,10}" image="out/037_g_325_11311100.svg" ];
+// id = 41, graphName = p_{0,11}
+"41-0" [ shape=ellipse label="p_{0,11}" image="out/039_g_433_11311100.svg" ];
+// id = 43, graphName = p_{0,12}
+"43-0" [ shape=ellipse label="p_{0,12}" image="out/041_g_491_11311100.svg" ];
+// id = 63, graphName = p_{0,13}
+"63-0" [ shape=ellipse label="p_{0,13}" image="out/043_g_1190_11311100.svg" ];
+// id = 99, graphName = p_{0,14}
+"99-0" [ shape=ellipse label="p_{0,14}" image="out/045_g_1815_11311100.svg" ];
+// id = 101, graphName = p_{0,15}
+"101-0" [ shape=ellipse label="p_{0,15}" image="out/047_g_1853_11311100.svg" ];
+// id = 122, graphName = p_{0,16}
+"122-0" [ shape=ellipse label="p_{0,16}" image="out/049_g_2519_11311100.svg" ];
+// id = 124, graphName = p_{0,17}
+"124-0" [ shape=ellipse label="p_{0,17}" image="out/051_g_2615_11311100.svg" ];
+// id = 210, graphName = p_{0,18}
+"210-0" [ shape=ellipse label="p_{0,18}" image="out/053_g_4831_11311100.svg" ];
+// id = 4{ 'Butadien' 'Butadien' }, 'r_{0}', { 'p_{0,0}' 'p_{0,1}' }
+"4-0" [ shape=box label="r_{0}" ];
+// id = 5{ 'Butadien' 'Butadien' }, 'r_{0}', { 'Butadien' 'Butadien' }
+"5-0" [ shape=box label="r_{0}" ];
+// id = 7{ 'Butadien' 'Butadien' }, 'r_{1}', { 'p_{0,2}' }
+"7-0" [ shape=box label="r_{1}" ];
+// id = 9{ 'p_{0,0}' 'p_{0,0}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,0}' }
+"9-0" [ shape=box label="r_{0}" ];
+// id = 10{ 'p_{0,0}' 'p_{0,1}' }, 'r_{0}', { 'Butadien' 'Butadien' }
+"10-0" [ shape=box label="r_{0}" ];
+// id = 11{ 'p_{0,0}' 'p_{0,1}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,1}' }
+"11-0" [ shape=box label="r_{0}" ];
+// id = 13{ 'p_{0,0}' 'p_{0,2}' }, 'r_{0}', { 'p_{0,3}' }
+"13-0" [ shape=box label="r_{0}" ];
+// id = 14{ 'p_{0,0}' 'p_{0,2}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,2}' }
+"14-0" [ shape=box label="r_{0}" ];
+// id = 15{ 'Butadien' 'p_{0,0}' }, 'r_{0}', { 'Butadien' 'p_{0,0}' }
+"15-0" [ shape=box label="r_{0}" ];
+// id = 16{ 'p_{0,1}' 'p_{0,1}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,1}' }
+"16-0" [ shape=box label="r_{0}" ];
+// id = 18{ 'p_{0,1}' 'p_{0,1}' }, 'r_{0}', { 'Butadien' 'p_{0,4}' }
+"18-0" [ shape=box label="r_{0}" ];
+// id = 20{ 'p_{0,1}' 'p_{0,2}' }, 'r_{0}', { 'Butadien' 'p_{0,5}' }
+"20-0" [ shape=box label="r_{0}" ];
+// id = 21{ 'Butadien' 'p_{0,1}' }, 'r_{0}', { 'Butadien' 'p_{0,1}' }
+"21-0" [ shape=box label="r_{0}" ];
+// id = 22{ 'p_{0,1}' 'p_{0,2}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,2}' }
+"22-0" [ shape=box label="r_{0}" ];
+// id = 23{ 'Butadien' 'p_{0,1}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,4}' }
+"23-0" [ shape=box label="r_{0}" ];
+// id = 24{ 'p_{0,2}' 'p_{0,2}' }, 'r_{0}', { 'p_{0,2}' 'p_{0,2}' }
+"24-0" [ shape=box label="r_{0}" ];
+// id = 25{ 'Butadien' 'p_{0,2}' }, 'r_{0}', { 'Butadien' 'p_{0,2}' }
+"25-0" [ shape=box label="r_{0}" ];
+// id = 26{ 'Butadien' 'p_{0,2}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,5}' }
+"26-0" [ shape=box label="r_{0}" ];
+// id = 28{ 'p_{0,0}' 'p_{0,1}' }, 'r_{1}', { 'p_{0,6}' }
+"28-0" [ shape=box label="r_{1}" ];
+// id = 30{ 'Butadien' 'p_{0,0}' }, 'r_{1}', { 'p_{0,7}' }
+"30-0" [ shape=box label="r_{1}" ];
+// id = 32{ 'Butadien' 'p_{0,1}' }, 'r_{1}', { 'p_{0,8}' }
+"32-0" [ shape=box label="r_{1}" ];
+// id = 33{ 'Butadien' 'p_{0,1}' }, 'r_{1}', { 'p_{0,5}' }
+"33-0" [ shape=box label="r_{1}" ];
+// id = 35{ 'Butadien' 'p_{0,1}' }, 'r_{1}', { 'p_{0,9}' }
+"35-0" [ shape=box label="r_{1}" ];
+// id = 37{ 'Butadien' 'p_{0,1}' }, 'r_{1}', { 'p_{0,10}' }
+"37-0" [ shape=box label="r_{1}" ];
+// id = 38{ 'p_{0,3}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,2}' }
+"38-0" [ shape=box label="r_{0}" ];
+// id = 42{ 'p_{0,4}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,11}' }
+"42-0" [ shape=box label="r_{0}" ];
+// id = 50{ 'p_{0,3}' 'p_{0,3}' }, 'r_{0}', { 'p_{0,3}' 'p_{0,3}' }
+"50-0" [ shape=box label="r_{0}" ];
+// id = 51{ 'p_{0,3}' 'p_{0,4}' }, 'r_{0}', { 'p_{0,3}' 'p_{0,4}' }
+"51-0" [ shape=box label="r_{0}" ];
+// id = 52{ 'p_{0,3}' 'p_{0,5}' }, 'r_{0}', { 'p_{0,3}' 'p_{0,5}' }
+"52-0" [ shape=box label="r_{0}" ];
+// id = 53{ 'p_{0,3}' 'p_{0,6}' }, 'r_{0}', { 'p_{0,3}' 'p_{0,6}' }
+"53-0" [ shape=box label="r_{0}" ];
+// id = 54{ 'p_{0,3}' 'p_{0,8}' }, 'r_{0}', { 'p_{0,3}' 'p_{0,8}' }
+"54-0" [ shape=box label="r_{0}" ];
+// id = 55{ 'p_{0,3}' 'p_{0,9}' }, 'r_{0}', { 'p_{0,3}' 'p_{0,9}' }
+"55-0" [ shape=box label="r_{0}" ];
+// id = 56{ 'p_{0,3}' 'p_{0,10}' }, 'r_{0}', { 'p_{0,3}' 'p_{0,10}' }
+"56-0" [ shape=box label="r_{0}" ];
+// id = 57{ 'p_{0,2}' 'p_{0,3}' }, 'r_{0}', { 'p_{0,2}' 'p_{0,3}' }
+"57-0" [ shape=box label="r_{0}" ];
+// id = 58{ 'p_{0,0}' 'p_{0,3}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,3}' }
+"58-0" [ shape=box label="r_{0}" ];
+// id = 59{ 'Butadien' 'p_{0,3}' }, 'r_{0}', { 'Butadien' 'p_{0,3}' }
+"59-0" [ shape=box label="r_{0}" ];
+// id = 60{ 'p_{0,1}' 'p_{0,3}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,3}' }
+"60-0" [ shape=box label="r_{0}" ];
+// id = 61{ 'p_{0,4}' 'p_{0,4}' }, 'r_{0}', { 'p_{0,4}' 'p_{0,4}' }
+"61-0" [ shape=box label="r_{0}" ];
+// id = 62{ 'p_{0,4}' 'p_{0,5}' }, 'r_{0}', { 'p_{0,4}' 'p_{0,5}' }
+"62-0" [ shape=box label="r_{0}" ];
+// id = 64{ 'p_{0,4}' 'p_{0,6}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,13}' }
+"64-0" [ shape=box label="r_{0}" ];
+// id = 65{ 'p_{0,2}' 'p_{0,4}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,5}' }
+"65-0" [ shape=box label="r_{0}" ];
+// id = 66{ 'p_{0,0}' 'p_{0,4}' }, 'r_{0}', { 'Butadien' 'p_{0,1}' }
+"66-0" [ shape=box label="r_{0}" ];
+// id = 67{ 'Butadien' 'p_{0,4}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,1}' }
+"67-0" [ shape=box label="r_{0}" ];
+// id = 68{ 'Butadien' 'p_{0,4}' }, 'r_{0}', { 'Butadien' 'p_{0,4}' }
+"68-0" [ shape=box label="r_{0}" ];
+// id = 69{ 'p_{0,1}' 'p_{0,4}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,4}' }
+"69-0" [ shape=box label="r_{0}" ];
+// id = 70{ 'p_{0,4}' 'p_{0,6}' }, 'r_{0}', { 'p_{0,4}' 'p_{0,6}' }
+"70-0" [ shape=box label="r_{0}" ];
+// id = 71{ 'p_{0,4}' 'p_{0,8}' }, 'r_{0}', { 'p_{0,4}' 'p_{0,8}' }
+"71-0" [ shape=box label="r_{0}" ];
+// id = 72{ 'p_{0,4}' 'p_{0,9}' }, 'r_{0}', { 'p_{0,4}' 'p_{0,9}' }
+"72-0" [ shape=box label="r_{0}" ];
+// id = 73{ 'p_{0,4}' 'p_{0,10}' }, 'r_{0}', { 'p_{0,4}' 'p_{0,10}' }
+"73-0" [ shape=box label="r_{0}" ];
+// id = 74{ 'p_{0,2}' 'p_{0,4}' }, 'r_{0}', { 'p_{0,2}' 'p_{0,4}' }
+"74-0" [ shape=box label="r_{0}" ];
+// id = 75{ 'p_{0,0}' 'p_{0,4}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,4}' }
+"75-0" [ shape=box label="r_{0}" ];
+// id = 76{ 'p_{0,5}' 'p_{0,5}' }, 'r_{0}', { 'p_{0,5}' 'p_{0,5}' }
+"76-0" [ shape=box label="r_{0}" ];
+// id = 77{ 'p_{0,5}' 'p_{0,6}' }, 'r_{0}', { 'p_{0,2}' 'p_{0,13}' }
+"77-0" [ shape=box label="r_{0}" ];
+// id = 78{ 'p_{0,2}' 'p_{0,5}' }, 'r_{0}', { 'p_{0,2}' 'p_{0,5}' }
+"78-0" [ shape=box label="r_{0}" ];
+// id = 79{ 'p_{0,0}' 'p_{0,5}' }, 'r_{0}', { 'Butadien' 'p_{0,2}' }
+"79-0" [ shape=box label="r_{0}" ];
+// id = 80{ 'Butadien' 'p_{0,5}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,2}' }
+"80-0" [ shape=box label="r_{0}" ];
+// id = 81{ 'Butadien' 'p_{0,5}' }, 'r_{0}', { 'Butadien' 'p_{0,5}' }
+"81-0" [ shape=box label="r_{0}" ];
+// id = 82{ 'p_{0,1}' 'p_{0,5}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,5}' }
+"82-0" [ shape=box label="r_{0}" ];
+// id = 83{ 'p_{0,1}' 'p_{0,5}' }, 'r_{0}', { 'p_{0,2}' 'p_{0,4}' }
+"83-0" [ shape=box label="r_{0}" ];
+// id = 84{ 'p_{0,5}' 'p_{0,6}' }, 'r_{0}', { 'p_{0,5}' 'p_{0,6}' }
+"84-0" [ shape=box label="r_{0}" ];
+// id = 85{ 'p_{0,5}' 'p_{0,8}' }, 'r_{0}', { 'p_{0,5}' 'p_{0,8}' }
+"85-0" [ shape=box label="r_{0}" ];
+// id = 86{ 'p_{0,5}' 'p_{0,9}' }, 'r_{0}', { 'p_{0,5}' 'p_{0,9}' }
+"86-0" [ shape=box label="r_{0}" ];
+// id = 87{ 'p_{0,5}' 'p_{0,10}' }, 'r_{0}', { 'p_{0,5}' 'p_{0,10}' }
+"87-0" [ shape=box label="r_{0}" ];
+// id = 88{ 'p_{0,0}' 'p_{0,5}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,5}' }
+"88-0" [ shape=box label="r_{0}" ];
+// id = 89{ 'p_{0,6}' 'p_{0,6}' }, 'r_{0}', { 'p_{0,6}' 'p_{0,6}' }
+"89-0" [ shape=box label="r_{0}" ];
+// id = 90{ 'p_{0,6}' 'p_{0,8}' }, 'r_{0}', { 'p_{0,6}' 'p_{0,8}' }
+"90-0" [ shape=box label="r_{0}" ];
+// id = 91{ 'p_{0,6}' 'p_{0,9}' }, 'r_{0}', { 'p_{0,6}' 'p_{0,9}' }
+"91-0" [ shape=box label="r_{0}" ];
+// id = 92{ 'p_{0,6}' 'p_{0,10}' }, 'r_{0}', { 'p_{0,6}' 'p_{0,10}' }
+"92-0" [ shape=box label="r_{0}" ];
+// id = 93{ 'p_{0,2}' 'p_{0,6}' }, 'r_{0}', { 'p_{0,2}' 'p_{0,6}' }
+"93-0" [ shape=box label="r_{0}" ];
+// id = 94{ 'p_{0,0}' 'p_{0,6}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,6}' }
+"94-0" [ shape=box label="r_{0}" ];
+// id = 95{ 'Butadien' 'p_{0,6}' }, 'r_{0}', { 'Butadien' 'p_{0,6}' }
+"95-0" [ shape=box label="r_{0}" ];
+// id = 96{ 'Butadien' 'p_{0,6}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,13}' }
+"96-0" [ shape=box label="r_{0}" ];
+// id = 97{ 'p_{0,1}' 'p_{0,6}' }, 'r_{0}', { 'Butadien' 'p_{0,13}' }
+"97-0" [ shape=box label="r_{0}" ];
+// id = 98{ 'p_{0,1}' 'p_{0,6}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,6}' }
+"98-0" [ shape=box label="r_{0}" ];
+// id = 100{ 'p_{0,0}' 'p_{0,6}' }, 'r_{0}', { 'p_{0,14}' }
+"100-0" [ shape=box label="r_{0}" ];
+// id = 102{ 'p_{0,0}' 'p_{0,7}' }, 'r_{0}', { 'p_{0,15}' }
+"102-0" [ shape=box label="r_{0}" ];
+// id = 103{ 'p_{0,8}' 'p_{0,8}' }, 'r_{0}', { 'p_{0,8}' 'p_{0,8}' }
+"103-0" [ shape=box label="r_{0}" ];
+// id = 104{ 'p_{0,8}' 'p_{0,9}' }, 'r_{0}', { 'p_{0,8}' 'p_{0,9}' }
+"104-0" [ shape=box label="r_{0}" ];
+// id = 105{ 'p_{0,8}' 'p_{0,10}' }, 'r_{0}', { 'p_{0,8}' 'p_{0,10}' }
+"105-0" [ shape=box label="r_{0}" ];
+// id = 106{ 'p_{0,2}' 'p_{0,8}' }, 'r_{0}', { 'p_{0,2}' 'p_{0,8}' }
+"106-0" [ shape=box label="r_{0}" ];
+// id = 107{ 'p_{0,0}' 'p_{0,8}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,8}' }
+"107-0" [ shape=box label="r_{0}" ];
+// id = 108{ 'Butadien' 'p_{0,8}' }, 'r_{0}', { 'Butadien' 'p_{0,8}' }
+"108-0" [ shape=box label="r_{0}" ];
+// id = 109{ 'p_{0,1}' 'p_{0,8}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,8}' }
+"109-0" [ shape=box label="r_{0}" ];
+// id = 110{ 'p_{0,9}' 'p_{0,9}' }, 'r_{0}', { 'p_{0,9}' 'p_{0,9}' }
+"110-0" [ shape=box label="r_{0}" ];
+// id = 111{ 'p_{0,9}' 'p_{0,10}' }, 'r_{0}', { 'p_{0,9}' 'p_{0,10}' }
+"111-0" [ shape=box label="r_{0}" ];
+// id = 112{ 'p_{0,2}' 'p_{0,9}' }, 'r_{0}', { 'p_{0,2}' 'p_{0,9}' }
+"112-0" [ shape=box label="r_{0}" ];
+// id = 113{ 'p_{0,0}' 'p_{0,9}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,9}' }
+"113-0" [ shape=box label="r_{0}" ];
+// id = 114{ 'Butadien' 'p_{0,9}' }, 'r_{0}', { 'Butadien' 'p_{0,9}' }
+"114-0" [ shape=box label="r_{0}" ];
+// id = 115{ 'p_{0,1}' 'p_{0,9}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,9}' }
+"115-0" [ shape=box label="r_{0}" ];
+// id = 116{ 'p_{0,10}' 'p_{0,10}' }, 'r_{0}', { 'p_{0,10}' 'p_{0,10}' }
+"116-0" [ shape=box label="r_{0}" ];
+// id = 117{ 'p_{0,2}' 'p_{0,10}' }, 'r_{0}', { 'p_{0,2}' 'p_{0,10}' }
+"117-0" [ shape=box label="r_{0}" ];
+// id = 118{ 'p_{0,0}' 'p_{0,10}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,10}' }
+"118-0" [ shape=box label="r_{0}" ];
+// id = 119{ 'Butadien' 'p_{0,10}' }, 'r_{0}', { 'Butadien' 'p_{0,10}' }
+"119-0" [ shape=box label="r_{0}" ];
+// id = 120{ 'p_{0,1}' 'p_{0,10}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,10}' }
+"120-0" [ shape=box label="r_{0}" ];
+// id = 121{ 'p_{0,0}' 'p_{0,4}' }, 'r_{1}', { 'p_{0,13}' }
+"121-0" [ shape=box label="r_{1}" ];
+// id = 123{ 'p_{0,0}' 'p_{0,4}' }, 'r_{1}', { 'p_{0,16}' }
+"123-0" [ shape=box label="r_{1}" ];
+// id = 125{ 'Butadien' 'p_{0,7}' }, 'r_{1}', { 'p_{0,17}' }
+"125-0" [ shape=box label="r_{1}" ];
+// id = 130{ 'p_{0,14}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,6}' }
+"130-0" [ shape=box label="r_{0}" ];
+// id = 132{ 'p_{0,15}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,7}' }
+"132-0" [ shape=box label="r_{0}" ];
+// id = 135{ 'p_{0,0}' 'p_{0,11}' }, 'r_{0}', { 'p_{0,4}' }
+"135-0" [ shape=box label="r_{0}" ];
+// id = 136{ 'p_{0,12}' 'p_{0,12}' }, 'r_{0}', { 'p_{0,12}' 'p_{0,12}' }
+"136-0" [ shape=box label="r_{0}" ];
+// id = 137{ 'p_{0,12}' 'p_{0,13}' }, 'r_{0}', { 'p_{0,12}' 'p_{0,13}' }
+"137-0" [ shape=box label="r_{0}" ];
+// id = 138{ 'p_{0,12}' 'p_{0,14}' }, 'r_{0}', { 'p_{0,12}' 'p_{0,14}' }
+"138-0" [ shape=box label="r_{0}" ];
+// id = 139{ 'p_{0,12}' 'p_{0,15}' }, 'r_{0}', { 'p_{0,12}' 'p_{0,15}' }
+"139-0" [ shape=box label="r_{0}" ];
+// id = 140{ 'p_{0,12}' 'p_{0,16}' }, 'r_{0}', { 'p_{0,12}' 'p_{0,16}' }
+"140-0" [ shape=box label="r_{0}" ];
+// id = 141{ 'p_{0,8}' 'p_{0,12}' }, 'r_{0}', { 'p_{0,8}' 'p_{0,12}' }
+"141-0" [ shape=box label="r_{0}" ];
+// id = 142{ 'p_{0,9}' 'p_{0,12}' }, 'r_{0}', { 'p_{0,9}' 'p_{0,12}' }
+"142-0" [ shape=box label="r_{0}" ];
+// id = 143{ 'Butadien' 'p_{0,12}' }, 'r_{0}', { 'Butadien' 'p_{0,12}' }
+"143-0" [ shape=box label="r_{0}" ];
+// id = 144{ 'p_{0,10}' 'p_{0,12}' }, 'r_{0}', { 'p_{0,10}' 'p_{0,12}' }
+"144-0" [ shape=box label="r_{0}" ];
+// id = 145{ 'p_{0,0}' 'p_{0,12}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,12}' }
+"145-0" [ shape=box label="r_{0}" ];
+// id = 146{ 'p_{0,1}' 'p_{0,12}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,12}' }
+"146-0" [ shape=box label="r_{0}" ];
+// id = 147{ 'p_{0,2}' 'p_{0,12}' }, 'r_{0}', { 'p_{0,2}' 'p_{0,12}' }
+"147-0" [ shape=box label="r_{0}" ];
+// id = 148{ 'p_{0,3}' 'p_{0,12}' }, 'r_{0}', { 'p_{0,3}' 'p_{0,12}' }
+"148-0" [ shape=box label="r_{0}" ];
+// id = 149{ 'p_{0,4}' 'p_{0,12}' }, 'r_{0}', { 'p_{0,4}' 'p_{0,12}' }
+"149-0" [ shape=box label="r_{0}" ];
+// id = 150{ 'p_{0,5}' 'p_{0,12}' }, 'r_{0}', { 'p_{0,5}' 'p_{0,12}' }
+"150-0" [ shape=box label="r_{0}" ];
+// id = 151{ 'p_{0,6}' 'p_{0,12}' }, 'r_{0}', { 'p_{0,6}' 'p_{0,12}' }
+"151-0" [ shape=box label="r_{0}" ];
+// id = 152{ 'p_{0,13}' 'p_{0,13}' }, 'r_{0}', { 'p_{0,13}' 'p_{0,13}' }
+"152-0" [ shape=box label="r_{0}" ];
+// id = 153{ 'Butadien' 'p_{0,13}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,6}' }
+"153-0" [ shape=box label="r_{0}" ];
+// id = 154{ 'Butadien' 'p_{0,13}' }, 'r_{0}', { 'Butadien' 'p_{0,13}' }
+"154-0" [ shape=box label="r_{0}" ];
+// id = 155{ 'p_{0,0}' 'p_{0,13}' }, 'r_{0}', { 'Butadien' 'p_{0,6}' }
+"155-0" [ shape=box label="r_{0}" ];
+// id = 156{ 'p_{0,1}' 'p_{0,13}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,13}' }
+"156-0" [ shape=box label="r_{0}" ];
+// id = 157{ 'p_{0,1}' 'p_{0,13}' }, 'r_{0}', { 'p_{0,4}' 'p_{0,6}' }
+"157-0" [ shape=box label="r_{0}" ];
+// id = 158{ 'p_{0,2}' 'p_{0,13}' }, 'r_{0}', { 'p_{0,5}' 'p_{0,6}' }
+"158-0" [ shape=box label="r_{0}" ];
+// id = 159{ 'p_{0,4}' 'p_{0,13}' }, 'r_{0}', { 'p_{0,4}' 'p_{0,13}' }
+"159-0" [ shape=box label="r_{0}" ];
+// id = 160{ 'p_{0,5}' 'p_{0,13}' }, 'r_{0}', { 'p_{0,5}' 'p_{0,13}' }
+"160-0" [ shape=box label="r_{0}" ];
+// id = 161{ 'p_{0,6}' 'p_{0,13}' }, 'r_{0}', { 'p_{0,6}' 'p_{0,13}' }
+"161-0" [ shape=box label="r_{0}" ];
+// id = 162{ 'p_{0,13}' 'p_{0,14}' }, 'r_{0}', { 'p_{0,13}' 'p_{0,14}' }
+"162-0" [ shape=box label="r_{0}" ];
+// id = 163{ 'p_{0,13}' 'p_{0,15}' }, 'r_{0}', { 'p_{0,13}' 'p_{0,15}' }
+"163-0" [ shape=box label="r_{0}" ];
+// id = 164{ 'p_{0,13}' 'p_{0,16}' }, 'r_{0}', { 'p_{0,13}' 'p_{0,16}' }
+"164-0" [ shape=box label="r_{0}" ];
+// id = 165{ 'p_{0,8}' 'p_{0,13}' }, 'r_{0}', { 'p_{0,8}' 'p_{0,13}' }
+"165-0" [ shape=box label="r_{0}" ];
+// id = 166{ 'p_{0,9}' 'p_{0,13}' }, 'r_{0}', { 'p_{0,9}' 'p_{0,13}' }
+"166-0" [ shape=box label="r_{0}" ];
+// id = 167{ 'p_{0,10}' 'p_{0,13}' }, 'r_{0}', { 'p_{0,10}' 'p_{0,13}' }
+"167-0" [ shape=box label="r_{0}" ];
+// id = 168{ 'p_{0,0}' 'p_{0,13}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,13}' }
+"168-0" [ shape=box label="r_{0}" ];
+// id = 169{ 'p_{0,2}' 'p_{0,13}' }, 'r_{0}', { 'p_{0,2}' 'p_{0,13}' }
+"169-0" [ shape=box label="r_{0}" ];
+// id = 170{ 'p_{0,3}' 'p_{0,13}' }, 'r_{0}', { 'p_{0,3}' 'p_{0,13}' }
+"170-0" [ shape=box label="r_{0}" ];
+// id = 171{ 'p_{0,14}' 'p_{0,14}' }, 'r_{0}', { 'p_{0,14}' 'p_{0,14}' }
+"171-0" [ shape=box label="r_{0}" ];
+// id = 172{ 'p_{0,14}' 'p_{0,15}' }, 'r_{0}', { 'p_{0,14}' 'p_{0,15}' }
+"172-0" [ shape=box label="r_{0}" ];
+// id = 173{ 'p_{0,14}' 'p_{0,16}' }, 'r_{0}', { 'p_{0,14}' 'p_{0,16}' }
+"173-0" [ shape=box label="r_{0}" ];
+// id = 174{ 'p_{0,8}' 'p_{0,14}' }, 'r_{0}', { 'p_{0,8}' 'p_{0,14}' }
+"174-0" [ shape=box label="r_{0}" ];
+// id = 175{ 'p_{0,9}' 'p_{0,14}' }, 'r_{0}', { 'p_{0,9}' 'p_{0,14}' }
+"175-0" [ shape=box label="r_{0}" ];
+// id = 176{ 'Butadien' 'p_{0,14}' }, 'r_{0}', { 'Butadien' 'p_{0,14}' }
+"176-0" [ shape=box label="r_{0}" ];
+// id = 177{ 'p_{0,10}' 'p_{0,14}' }, 'r_{0}', { 'p_{0,10}' 'p_{0,14}' }
+"177-0" [ shape=box label="r_{0}" ];
+// id = 178{ 'p_{0,0}' 'p_{0,14}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,14}' }
+"178-0" [ shape=box label="r_{0}" ];
+// id = 179{ 'p_{0,1}' 'p_{0,14}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,14}' }
+"179-0" [ shape=box label="r_{0}" ];
+// id = 180{ 'p_{0,2}' 'p_{0,14}' }, 'r_{0}', { 'p_{0,2}' 'p_{0,14}' }
+"180-0" [ shape=box label="r_{0}" ];
+// id = 181{ 'p_{0,3}' 'p_{0,14}' }, 'r_{0}', { 'p_{0,3}' 'p_{0,14}' }
+"181-0" [ shape=box label="r_{0}" ];
+// id = 182{ 'p_{0,4}' 'p_{0,14}' }, 'r_{0}', { 'p_{0,4}' 'p_{0,14}' }
+"182-0" [ shape=box label="r_{0}" ];
+// id = 183{ 'p_{0,5}' 'p_{0,14}' }, 'r_{0}', { 'p_{0,5}' 'p_{0,14}' }
+"183-0" [ shape=box label="r_{0}" ];
+// id = 184{ 'p_{0,6}' 'p_{0,14}' }, 'r_{0}', { 'p_{0,6}' 'p_{0,14}' }
+"184-0" [ shape=box label="r_{0}" ];
+// id = 185{ 'p_{0,15}' 'p_{0,15}' }, 'r_{0}', { 'p_{0,15}' 'p_{0,15}' }
+"185-0" [ shape=box label="r_{0}" ];
+// id = 186{ 'p_{0,15}' 'p_{0,16}' }, 'r_{0}', { 'p_{0,15}' 'p_{0,16}' }
+"186-0" [ shape=box label="r_{0}" ];
+// id = 187{ 'p_{0,8}' 'p_{0,15}' }, 'r_{0}', { 'p_{0,8}' 'p_{0,15}' }
+"187-0" [ shape=box label="r_{0}" ];
+// id = 188{ 'p_{0,9}' 'p_{0,15}' }, 'r_{0}', { 'p_{0,9}' 'p_{0,15}' }
+"188-0" [ shape=box label="r_{0}" ];
+// id = 189{ 'Butadien' 'p_{0,15}' }, 'r_{0}', { 'Butadien' 'p_{0,15}' }
+"189-0" [ shape=box label="r_{0}" ];
+// id = 190{ 'p_{0,10}' 'p_{0,15}' }, 'r_{0}', { 'p_{0,10}' 'p_{0,15}' }
+"190-0" [ shape=box label="r_{0}" ];
+// id = 191{ 'p_{0,0}' 'p_{0,15}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,15}' }
+"191-0" [ shape=box label="r_{0}" ];
+// id = 192{ 'p_{0,1}' 'p_{0,15}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,15}' }
+"192-0" [ shape=box label="r_{0}" ];
+// id = 193{ 'p_{0,2}' 'p_{0,15}' }, 'r_{0}', { 'p_{0,2}' 'p_{0,15}' }
+"193-0" [ shape=box label="r_{0}" ];
+// id = 194{ 'p_{0,3}' 'p_{0,15}' }, 'r_{0}', { 'p_{0,3}' 'p_{0,15}' }
+"194-0" [ shape=box label="r_{0}" ];
+// id = 195{ 'p_{0,4}' 'p_{0,15}' }, 'r_{0}', { 'p_{0,4}' 'p_{0,15}' }
+"195-0" [ shape=box label="r_{0}" ];
+// id = 196{ 'p_{0,5}' 'p_{0,15}' }, 'r_{0}', { 'p_{0,5}' 'p_{0,15}' }
+"196-0" [ shape=box label="r_{0}" ];
+// id = 197{ 'p_{0,6}' 'p_{0,15}' }, 'r_{0}', { 'p_{0,6}' 'p_{0,15}' }
+"197-0" [ shape=box label="r_{0}" ];
+// id = 198{ 'p_{0,16}' 'p_{0,16}' }, 'r_{0}', { 'p_{0,16}' 'p_{0,16}' }
+"198-0" [ shape=box label="r_{0}" ];
+// id = 199{ 'p_{0,8}' 'p_{0,16}' }, 'r_{0}', { 'p_{0,8}' 'p_{0,16}' }
+"199-0" [ shape=box label="r_{0}" ];
+// id = 200{ 'p_{0,9}' 'p_{0,16}' }, 'r_{0}', { 'p_{0,9}' 'p_{0,16}' }
+"200-0" [ shape=box label="r_{0}" ];
+// id = 201{ 'Butadien' 'p_{0,16}' }, 'r_{0}', { 'Butadien' 'p_{0,16}' }
+"201-0" [ shape=box label="r_{0}" ];
+// id = 202{ 'p_{0,10}' 'p_{0,16}' }, 'r_{0}', { 'p_{0,10}' 'p_{0,16}' }
+"202-0" [ shape=box label="r_{0}" ];
+// id = 203{ 'p_{0,0}' 'p_{0,16}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,16}' }
+"203-0" [ shape=box label="r_{0}" ];
+// id = 204{ 'p_{0,1}' 'p_{0,16}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,16}' }
+"204-0" [ shape=box label="r_{0}" ];
+// id = 205{ 'p_{0,2}' 'p_{0,16}' }, 'r_{0}', { 'p_{0,2}' 'p_{0,16}' }
+"205-0" [ shape=box label="r_{0}" ];
+// id = 206{ 'p_{0,3}' 'p_{0,16}' }, 'r_{0}', { 'p_{0,3}' 'p_{0,16}' }
+"206-0" [ shape=box label="r_{0}" ];
+// id = 207{ 'p_{0,4}' 'p_{0,16}' }, 'r_{0}', { 'p_{0,4}' 'p_{0,16}' }
+"207-0" [ shape=box label="r_{0}" ];
+// id = 208{ 'p_{0,5}' 'p_{0,16}' }, 'r_{0}', { 'p_{0,5}' 'p_{0,16}' }
+"208-0" [ shape=box label="r_{0}" ];
+// id = 209{ 'p_{0,6}' 'p_{0,16}' }, 'r_{0}', { 'p_{0,6}' 'p_{0,16}' }
+"209-0" [ shape=box label="r_{0}" ];
+// id = 211{ 'Butadien' 'p_{0,11}' }, 'r_{1}', { 'p_{0,18}' }
+"211-0" [ shape=box label="r_{1}" ];
+// id = 1{ 'Butadien' }, 'r_{0}', { 'Butadien' }
+"0-0" -> "0-0" [ label="r_{0}" ];
+// id = 4{ 'Butadien' 'Butadien' }, 'r_{0}', { 'p_{0,0}' 'p_{0,1}' }
+"0-0" -> "4-0" [ ];
+"0-0" -> "4-0" [ ];
+"4-0" -> "2-0" [ ];
+"4-0" -> "3-0" [ ];
+// id = 5{ 'Butadien' 'Butadien' }, 'r_{0}', { 'Butadien' 'Butadien' }
+"0-0" -> "5-0" [ ];
+"0-0" -> "5-0" [ ];
+"5-0" -> "0-0" [ ];
+"5-0" -> "0-0" [ ];
+// id = 7{ 'Butadien' 'Butadien' }, 'r_{1}', { 'p_{0,2}' }
+"0-0" -> "7-0" [ ];
+"0-0" -> "7-0" [ ];
+"7-0" -> "6-0" [ ];
+// id = 8{ 'p_{0,1}' }, 'r_{0}', { 'p_{0,1}' }
+"3-0" -> "3-0" [ label="r_{0}" ];
+// id = 9{ 'p_{0,0}' 'p_{0,0}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,0}' }
+"2-0" -> "9-0" [ ];
+"2-0" -> "9-0" [ ];
+"9-0" -> "2-0" [ ];
+"9-0" -> "2-0" [ ];
+// id = 10{ 'p_{0,0}' 'p_{0,1}' }, 'r_{0}', { 'Butadien' 'Butadien' }
+"2-0" -> "10-0" [ ];
+"3-0" -> "10-0" [ ];
+"10-0" -> "0-0" [ ];
+"10-0" -> "0-0" [ ];
+// id = 11{ 'p_{0,0}' 'p_{0,1}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,1}' }
+"2-0" -> "11-0" [ ];
+"3-0" -> "11-0" [ ];
+"11-0" -> "2-0" [ ];
+"11-0" -> "3-0" [ ];
+// id = 13{ 'p_{0,0}' 'p_{0,2}' }, 'r_{0}', { 'p_{0,3}' }
+"2-0" -> "13-0" [ ];
+"6-0" -> "13-0" [ ];
+"13-0" -> "12-0" [ ];
+// id = 14{ 'p_{0,0}' 'p_{0,2}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,2}' }
+"2-0" -> "14-0" [ ];
+"6-0" -> "14-0" [ ];
+"14-0" -> "2-0" [ ];
+"14-0" -> "6-0" [ ];
+// id = 15{ 'Butadien' 'p_{0,0}' }, 'r_{0}', { 'Butadien' 'p_{0,0}' }
+"0-0" -> "15-0" [ ];
+"2-0" -> "15-0" [ ];
+"15-0" -> "0-0" [ ];
+"15-0" -> "2-0" [ ];
+// id = 16{ 'p_{0,1}' 'p_{0,1}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,1}' }
+"3-0" -> "16-0" [ ];
+"3-0" -> "16-0" [ ];
+"16-0" -> "3-0" [ ];
+"16-0" -> "3-0" [ ];
+// id = 18{ 'p_{0,1}' 'p_{0,1}' }, 'r_{0}', { 'Butadien' 'p_{0,4}' }
+"3-0" -> "18-0" [ ];
+"3-0" -> "18-0" [ ];
+"18-0" -> "0-0" [ ];
+"18-0" -> "17-0" [ ];
+// id = 20{ 'p_{0,1}' 'p_{0,2}' }, 'r_{0}', { 'Butadien' 'p_{0,5}' }
+"3-0" -> "20-0" [ ];
+"6-0" -> "20-0" [ ];
+"20-0" -> "0-0" [ ];
+"20-0" -> "19-0" [ ];
+// id = 21{ 'Butadien' 'p_{0,1}' }, 'r_{0}', { 'Butadien' 'p_{0,1}' }
+"0-0" -> "21-0" [ ];
+"3-0" -> "21-0" [ ];
+"21-0" -> "0-0" [ ];
+"21-0" -> "3-0" [ ];
+// id = 22{ 'p_{0,1}' 'p_{0,2}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,2}' }
+"3-0" -> "22-0" [ ];
+"6-0" -> "22-0" [ ];
+"22-0" -> "3-0" [ ];
+"22-0" -> "6-0" [ ];
+// id = 23{ 'Butadien' 'p_{0,1}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,4}' }
+"0-0" -> "23-0" [ ];
+"3-0" -> "23-0" [ ];
+"23-0" -> "2-0" [ ];
+"23-0" -> "17-0" [ ];
+// id = 24{ 'p_{0,2}' 'p_{0,2}' }, 'r_{0}', { 'p_{0,2}' 'p_{0,2}' }
+"6-0" -> "24-0" [ ];
+"6-0" -> "24-0" [ ];
+"24-0" -> "6-0" [ ];
+"24-0" -> "6-0" [ ];
+// id = 25{ 'Butadien' 'p_{0,2}' }, 'r_{0}', { 'Butadien' 'p_{0,2}' }
+"0-0" -> "25-0" [ ];
+"6-0" -> "25-0" [ ];
+"25-0" -> "0-0" [ ];
+"25-0" -> "6-0" [ ];
+// id = 26{ 'Butadien' 'p_{0,2}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,5}' }
+"0-0" -> "26-0" [ ];
+"6-0" -> "26-0" [ ];
+"26-0" -> "2-0" [ ];
+"26-0" -> "19-0" [ ];
+// id = 28{ 'p_{0,0}' 'p_{0,1}' }, 'r_{1}', { 'p_{0,6}' }
+"2-0" -> "28-0" [ ];
+"3-0" -> "28-0" [ ];
+"28-0" -> "27-0" [ ];
+// id = 30{ 'Butadien' 'p_{0,0}' }, 'r_{1}', { 'p_{0,7}' }
+"0-0" -> "30-0" [ ];
+"2-0" -> "30-0" [ ];
+"30-0" -> "29-0" [ ];
+// id = 32{ 'Butadien' 'p_{0,1}' }, 'r_{1}', { 'p_{0,8}' }
+"0-0" -> "32-0" [ ];
+"3-0" -> "32-0" [ ];
+"32-0" -> "31-0" [ ];
+// id = 33{ 'Butadien' 'p_{0,1}' }, 'r_{1}', { 'p_{0,5}' }
+"0-0" -> "33-0" [ ];
+"3-0" -> "33-0" [ ];
+"33-0" -> "19-0" [ ];
+// id = 35{ 'Butadien' 'p_{0,1}' }, 'r_{1}', { 'p_{0,9}' }
+"0-0" -> "35-0" [ ];
+"3-0" -> "35-0" [ ];
+"35-0" -> "34-0" [ ];
+// id = 37{ 'Butadien' 'p_{0,1}' }, 'r_{1}', { 'p_{0,10}' }
+"0-0" -> "37-0" [ ];
+"3-0" -> "37-0" [ ];
+"37-0" -> "36-0" [ ];
+// id = 38{ 'p_{0,3}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,2}' }
+"12-0" -> "38-0" [ ];
+"38-0" -> "2-0" [ ];
+"38-0" -> "6-0" [ ];
+// id = 39{ 'p_{0,3}' }, 'r_{0}', { 'p_{0,3}' }
+"12-0" -> "12-0" [ label="r_{0}" ];
+// id = 40{ 'p_{0,4}' }, 'r_{0}', { 'p_{0,4}' }
+"17-0" -> "17-0" [ label="r_{0}" ];
+// id = 42{ 'p_{0,4}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,11}' }
+"17-0" -> "42-0" [ ];
+"42-0" -> "2-0" [ ];
+"42-0" -> "41-0" [ ];
+// id = 44{ 'p_{0,5}' }, 'r_{0}', { 'p_{0,12}' }
+"19-0" -> "43-0" [ label="r_{0}" ];
+// id = 45{ 'p_{0,5}' }, 'r_{0}', { 'p_{0,5}' }
+"19-0" -> "19-0" [ label="r_{0}" ];
+// id = 46{ 'p_{0,6}' }, 'r_{0}', { 'p_{0,6}' }
+"27-0" -> "27-0" [ label="r_{0}" ];
+// id = 47{ 'p_{0,8}' }, 'r_{0}', { 'p_{0,8}' }
+"31-0" -> "31-0" [ label="r_{0}" ];
+// id = 48{ 'p_{0,9}' }, 'r_{0}', { 'p_{0,9}' }
+"34-0" -> "34-0" [ label="r_{0}" ];
+// id = 49{ 'p_{0,10}' }, 'r_{0}', { 'p_{0,10}' }
+"36-0" -> "36-0" [ label="r_{0}" ];
+// id = 50{ 'p_{0,3}' 'p_{0,3}' }, 'r_{0}', { 'p_{0,3}' 'p_{0,3}' }
+"12-0" -> "50-0" [ ];
+"12-0" -> "50-0" [ ];
+"50-0" -> "12-0" [ ];
+"50-0" -> "12-0" [ ];
+// id = 51{ 'p_{0,3}' 'p_{0,4}' }, 'r_{0}', { 'p_{0,3}' 'p_{0,4}' }
+"12-0" -> "51-0" [ ];
+"17-0" -> "51-0" [ ];
+"51-0" -> "12-0" [ ];
+"51-0" -> "17-0" [ ];
+// id = 52{ 'p_{0,3}' 'p_{0,5}' }, 'r_{0}', { 'p_{0,3}' 'p_{0,5}' }
+"12-0" -> "52-0" [ ];
+"19-0" -> "52-0" [ ];
+"52-0" -> "12-0" [ ];
+"52-0" -> "19-0" [ ];
+// id = 53{ 'p_{0,3}' 'p_{0,6}' }, 'r_{0}', { 'p_{0,3}' 'p_{0,6}' }
+"12-0" -> "53-0" [ ];
+"27-0" -> "53-0" [ ];
+"53-0" -> "12-0" [ ];
+"53-0" -> "27-0" [ ];
+// id = 54{ 'p_{0,3}' 'p_{0,8}' }, 'r_{0}', { 'p_{0,3}' 'p_{0,8}' }
+"12-0" -> "54-0" [ ];
+"31-0" -> "54-0" [ ];
+"54-0" -> "12-0" [ ];
+"54-0" -> "31-0" [ ];
+// id = 55{ 'p_{0,3}' 'p_{0,9}' }, 'r_{0}', { 'p_{0,3}' 'p_{0,9}' }
+"12-0" -> "55-0" [ ];
+"34-0" -> "55-0" [ ];
+"55-0" -> "12-0" [ ];
+"55-0" -> "34-0" [ ];
+// id = 56{ 'p_{0,3}' 'p_{0,10}' }, 'r_{0}', { 'p_{0,3}' 'p_{0,10}' }
+"12-0" -> "56-0" [ ];
+"36-0" -> "56-0" [ ];
+"56-0" -> "12-0" [ ];
+"56-0" -> "36-0" [ ];
+// id = 57{ 'p_{0,2}' 'p_{0,3}' }, 'r_{0}', { 'p_{0,2}' 'p_{0,3}' }
+"6-0" -> "57-0" [ ];
+"12-0" -> "57-0" [ ];
+"57-0" -> "6-0" [ ];
+"57-0" -> "12-0" [ ];
+// id = 58{ 'p_{0,0}' 'p_{0,3}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,3}' }
+"2-0" -> "58-0" [ ];
+"12-0" -> "58-0" [ ];
+"58-0" -> "2-0" [ ];
+"58-0" -> "12-0" [ ];
+// id = 59{ 'Butadien' 'p_{0,3}' }, 'r_{0}', { 'Butadien' 'p_{0,3}' }
+"0-0" -> "59-0" [ ];
+"12-0" -> "59-0" [ ];
+"59-0" -> "0-0" [ ];
+"59-0" -> "12-0" [ ];
+// id = 60{ 'p_{0,1}' 'p_{0,3}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,3}' }
+"3-0" -> "60-0" [ ];
+"12-0" -> "60-0" [ ];
+"60-0" -> "3-0" [ ];
+"60-0" -> "12-0" [ ];
+// id = 61{ 'p_{0,4}' 'p_{0,4}' }, 'r_{0}', { 'p_{0,4}' 'p_{0,4}' }
+"17-0" -> "61-0" [ ];
+"17-0" -> "61-0" [ ];
+"61-0" -> "17-0" [ ];
+"61-0" -> "17-0" [ ];
+// id = 62{ 'p_{0,4}' 'p_{0,5}' }, 'r_{0}', { 'p_{0,4}' 'p_{0,5}' }
+"17-0" -> "62-0" [ ];
+"19-0" -> "62-0" [ ];
+"62-0" -> "17-0" [ ];
+"62-0" -> "19-0" [ ];
+// id = 64{ 'p_{0,4}' 'p_{0,6}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,13}' }
+"17-0" -> "64-0" [ ];
+"27-0" -> "64-0" [ ];
+"64-0" -> "3-0" [ ];
+"64-0" -> "63-0" [ ];
+// id = 65{ 'p_{0,2}' 'p_{0,4}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,5}' }
+"6-0" -> "65-0" [ ];
+"17-0" -> "65-0" [ ];
+"65-0" -> "3-0" [ ];
+"65-0" -> "19-0" [ ];
+// id = 66{ 'p_{0,0}' 'p_{0,4}' }, 'r_{0}', { 'Butadien' 'p_{0,1}' }
+"2-0" -> "66-0" [ ];
+"17-0" -> "66-0" [ ];
+"66-0" -> "0-0" [ ];
+"66-0" -> "3-0" [ ];
+// id = 67{ 'Butadien' 'p_{0,4}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,1}' }
+"0-0" -> "67-0" [ ];
+"17-0" -> "67-0" [ ];
+"67-0" -> "3-0" [ ];
+"67-0" -> "3-0" [ ];
+// id = 68{ 'Butadien' 'p_{0,4}' }, 'r_{0}', { 'Butadien' 'p_{0,4}' }
+"0-0" -> "68-0" [ ];
+"17-0" -> "68-0" [ ];
+"68-0" -> "0-0" [ ];
+"68-0" -> "17-0" [ ];
+// id = 69{ 'p_{0,1}' 'p_{0,4}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,4}' }
+"3-0" -> "69-0" [ ];
+"17-0" -> "69-0" [ ];
+"69-0" -> "3-0" [ ];
+"69-0" -> "17-0" [ ];
+// id = 70{ 'p_{0,4}' 'p_{0,6}' }, 'r_{0}', { 'p_{0,4}' 'p_{0,6}' }
+"17-0" -> "70-0" [ ];
+"27-0" -> "70-0" [ ];
+"70-0" -> "17-0" [ ];
+"70-0" -> "27-0" [ ];
+// id = 71{ 'p_{0,4}' 'p_{0,8}' }, 'r_{0}', { 'p_{0,4}' 'p_{0,8}' }
+"17-0" -> "71-0" [ ];
+"31-0" -> "71-0" [ ];
+"71-0" -> "17-0" [ ];
+"71-0" -> "31-0" [ ];
+// id = 72{ 'p_{0,4}' 'p_{0,9}' }, 'r_{0}', { 'p_{0,4}' 'p_{0,9}' }
+"17-0" -> "72-0" [ ];
+"34-0" -> "72-0" [ ];
+"72-0" -> "17-0" [ ];
+"72-0" -> "34-0" [ ];
+// id = 73{ 'p_{0,4}' 'p_{0,10}' }, 'r_{0}', { 'p_{0,4}' 'p_{0,10}' }
+"17-0" -> "73-0" [ ];
+"36-0" -> "73-0" [ ];
+"73-0" -> "17-0" [ ];
+"73-0" -> "36-0" [ ];
+// id = 74{ 'p_{0,2}' 'p_{0,4}' }, 'r_{0}', { 'p_{0,2}' 'p_{0,4}' }
+"6-0" -> "74-0" [ ];
+"17-0" -> "74-0" [ ];
+"74-0" -> "6-0" [ ];
+"74-0" -> "17-0" [ ];
+// id = 75{ 'p_{0,0}' 'p_{0,4}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,4}' }
+"2-0" -> "75-0" [ ];
+"17-0" -> "75-0" [ ];
+"75-0" -> "2-0" [ ];
+"75-0" -> "17-0" [ ];
+// id = 76{ 'p_{0,5}' 'p_{0,5}' }, 'r_{0}', { 'p_{0,5}' 'p_{0,5}' }
+"19-0" -> "76-0" [ ];
+"19-0" -> "76-0" [ ];
+"76-0" -> "19-0" [ ];
+"76-0" -> "19-0" [ ];
+// id = 77{ 'p_{0,5}' 'p_{0,6}' }, 'r_{0}', { 'p_{0,2}' 'p_{0,13}' }
+"19-0" -> "77-0" [ ];
+"27-0" -> "77-0" [ ];
+"77-0" -> "6-0" [ ];
+"77-0" -> "63-0" [ ];
+// id = 78{ 'p_{0,2}' 'p_{0,5}' }, 'r_{0}', { 'p_{0,2}' 'p_{0,5}' }
+"6-0" -> "78-0" [ ];
+"19-0" -> "78-0" [ ];
+"78-0" -> "6-0" [ ];
+"78-0" -> "19-0" [ ];
+// id = 79{ 'p_{0,0}' 'p_{0,5}' }, 'r_{0}', { 'Butadien' 'p_{0,2}' }
+"2-0" -> "79-0" [ ];
+"19-0" -> "79-0" [ ];
+"79-0" -> "0-0" [ ];
+"79-0" -> "6-0" [ ];
+// id = 80{ 'Butadien' 'p_{0,5}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,2}' }
+"0-0" -> "80-0" [ ];
+"19-0" -> "80-0" [ ];
+"80-0" -> "3-0" [ ];
+"80-0" -> "6-0" [ ];
+// id = 81{ 'Butadien' 'p_{0,5}' }, 'r_{0}', { 'Butadien' 'p_{0,5}' }
+"0-0" -> "81-0" [ ];
+"19-0" -> "81-0" [ ];
+"81-0" -> "0-0" [ ];
+"81-0" -> "19-0" [ ];
+// id = 82{ 'p_{0,1}' 'p_{0,5}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,5}' }
+"3-0" -> "82-0" [ ];
+"19-0" -> "82-0" [ ];
+"82-0" -> "3-0" [ ];
+"82-0" -> "19-0" [ ];
+// id = 83{ 'p_{0,1}' 'p_{0,5}' }, 'r_{0}', { 'p_{0,2}' 'p_{0,4}' }
+"3-0" -> "83-0" [ ];
+"19-0" -> "83-0" [ ];
+"83-0" -> "6-0" [ ];
+"83-0" -> "17-0" [ ];
+// id = 84{ 'p_{0,5}' 'p_{0,6}' }, 'r_{0}', { 'p_{0,5}' 'p_{0,6}' }
+"19-0" -> "84-0" [ ];
+"27-0" -> "84-0" [ ];
+"84-0" -> "19-0" [ ];
+"84-0" -> "27-0" [ ];
+// id = 85{ 'p_{0,5}' 'p_{0,8}' }, 'r_{0}', { 'p_{0,5}' 'p_{0,8}' }
+"19-0" -> "85-0" [ ];
+"31-0" -> "85-0" [ ];
+"85-0" -> "19-0" [ ];
+"85-0" -> "31-0" [ ];
+// id = 86{ 'p_{0,5}' 'p_{0,9}' }, 'r_{0}', { 'p_{0,5}' 'p_{0,9}' }
+"19-0" -> "86-0" [ ];
+"34-0" -> "86-0" [ ];
+"86-0" -> "19-0" [ ];
+"86-0" -> "34-0" [ ];
+// id = 87{ 'p_{0,5}' 'p_{0,10}' }, 'r_{0}', { 'p_{0,5}' 'p_{0,10}' }
+"19-0" -> "87-0" [ ];
+"36-0" -> "87-0" [ ];
+"87-0" -> "19-0" [ ];
+"87-0" -> "36-0" [ ];
+// id = 88{ 'p_{0,0}' 'p_{0,5}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,5}' }
+"2-0" -> "88-0" [ ];
+"19-0" -> "88-0" [ ];
+"88-0" -> "2-0" [ ];
+"88-0" -> "19-0" [ ];
+// id = 89{ 'p_{0,6}' 'p_{0,6}' }, 'r_{0}', { 'p_{0,6}' 'p_{0,6}' }
+"27-0" -> "89-0" [ ];
+"27-0" -> "89-0" [ ];
+"89-0" -> "27-0" [ ];
+"89-0" -> "27-0" [ ];
+// id = 90{ 'p_{0,6}' 'p_{0,8}' }, 'r_{0}', { 'p_{0,6}' 'p_{0,8}' }
+"27-0" -> "90-0" [ ];
+"31-0" -> "90-0" [ ];
+"90-0" -> "27-0" [ ];
+"90-0" -> "31-0" [ ];
+// id = 91{ 'p_{0,6}' 'p_{0,9}' }, 'r_{0}', { 'p_{0,6}' 'p_{0,9}' }
+"27-0" -> "91-0" [ ];
+"34-0" -> "91-0" [ ];
+"91-0" -> "27-0" [ ];
+"91-0" -> "34-0" [ ];
+// id = 92{ 'p_{0,6}' 'p_{0,10}' }, 'r_{0}', { 'p_{0,6}' 'p_{0,10}' }
+"27-0" -> "92-0" [ ];
+"36-0" -> "92-0" [ ];
+"92-0" -> "27-0" [ ];
+"92-0" -> "36-0" [ ];
+// id = 93{ 'p_{0,2}' 'p_{0,6}' }, 'r_{0}', { 'p_{0,2}' 'p_{0,6}' }
+"6-0" -> "93-0" [ ];
+"27-0" -> "93-0" [ ];
+"93-0" -> "6-0" [ ];
+"93-0" -> "27-0" [ ];
+// id = 94{ 'p_{0,0}' 'p_{0,6}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,6}' }
+"2-0" -> "94-0" [ ];
+"27-0" -> "94-0" [ ];
+"94-0" -> "2-0" [ ];
+"94-0" -> "27-0" [ ];
+// id = 95{ 'Butadien' 'p_{0,6}' }, 'r_{0}', { 'Butadien' 'p_{0,6}' }
+"0-0" -> "95-0" [ ];
+"27-0" -> "95-0" [ ];
+"95-0" -> "0-0" [ ];
+"95-0" -> "27-0" [ ];
+// id = 96{ 'Butadien' 'p_{0,6}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,13}' }
+"0-0" -> "96-0" [ ];
+"27-0" -> "96-0" [ ];
+"96-0" -> "2-0" [ ];
+"96-0" -> "63-0" [ ];
+// id = 97{ 'p_{0,1}' 'p_{0,6}' }, 'r_{0}', { 'Butadien' 'p_{0,13}' }
+"3-0" -> "97-0" [ ];
+"27-0" -> "97-0" [ ];
+"97-0" -> "0-0" [ ];
+"97-0" -> "63-0" [ ];
+// id = 98{ 'p_{0,1}' 'p_{0,6}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,6}' }
+"3-0" -> "98-0" [ ];
+"27-0" -> "98-0" [ ];
+"98-0" -> "3-0" [ ];
+"98-0" -> "27-0" [ ];
+// id = 100{ 'p_{0,0}' 'p_{0,6}' }, 'r_{0}', { 'p_{0,14}' }
+"2-0" -> "100-0" [ ];
+"27-0" -> "100-0" [ ];
+"100-0" -> "99-0" [ ];
+// id = 102{ 'p_{0,0}' 'p_{0,7}' }, 'r_{0}', { 'p_{0,15}' }
+"2-0" -> "102-0" [ ];
+"29-0" -> "102-0" [ ];
+"102-0" -> "101-0" [ ];
+// id = 103{ 'p_{0,8}' 'p_{0,8}' }, 'r_{0}', { 'p_{0,8}' 'p_{0,8}' }
+"31-0" -> "103-0" [ ];
+"31-0" -> "103-0" [ ];
+"103-0" -> "31-0" [ ];
+"103-0" -> "31-0" [ ];
+// id = 104{ 'p_{0,8}' 'p_{0,9}' }, 'r_{0}', { 'p_{0,8}' 'p_{0,9}' }
+"31-0" -> "104-0" [ ];
+"34-0" -> "104-0" [ ];
+"104-0" -> "31-0" [ ];
+"104-0" -> "34-0" [ ];
+// id = 105{ 'p_{0,8}' 'p_{0,10}' }, 'r_{0}', { 'p_{0,8}' 'p_{0,10}' }
+"31-0" -> "105-0" [ ];
+"36-0" -> "105-0" [ ];
+"105-0" -> "31-0" [ ];
+"105-0" -> "36-0" [ ];
+// id = 106{ 'p_{0,2}' 'p_{0,8}' }, 'r_{0}', { 'p_{0,2}' 'p_{0,8}' }
+"6-0" -> "106-0" [ ];
+"31-0" -> "106-0" [ ];
+"106-0" -> "6-0" [ ];
+"106-0" -> "31-0" [ ];
+// id = 107{ 'p_{0,0}' 'p_{0,8}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,8}' }
+"2-0" -> "107-0" [ ];
+"31-0" -> "107-0" [ ];
+"107-0" -> "2-0" [ ];
+"107-0" -> "31-0" [ ];
+// id = 108{ 'Butadien' 'p_{0,8}' }, 'r_{0}', { 'Butadien' 'p_{0,8}' }
+"0-0" -> "108-0" [ ];
+"31-0" -> "108-0" [ ];
+"108-0" -> "0-0" [ ];
+"108-0" -> "31-0" [ ];
+// id = 109{ 'p_{0,1}' 'p_{0,8}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,8}' }
+"3-0" -> "109-0" [ ];
+"31-0" -> "109-0" [ ];
+"109-0" -> "3-0" [ ];
+"109-0" -> "31-0" [ ];
+// id = 110{ 'p_{0,9}' 'p_{0,9}' }, 'r_{0}', { 'p_{0,9}' 'p_{0,9}' }
+"34-0" -> "110-0" [ ];
+"34-0" -> "110-0" [ ];
+"110-0" -> "34-0" [ ];
+"110-0" -> "34-0" [ ];
+// id = 111{ 'p_{0,9}' 'p_{0,10}' }, 'r_{0}', { 'p_{0,9}' 'p_{0,10}' }
+"34-0" -> "111-0" [ ];
+"36-0" -> "111-0" [ ];
+"111-0" -> "34-0" [ ];
+"111-0" -> "36-0" [ ];
+// id = 112{ 'p_{0,2}' 'p_{0,9}' }, 'r_{0}', { 'p_{0,2}' 'p_{0,9}' }
+"6-0" -> "112-0" [ ];
+"34-0" -> "112-0" [ ];
+"112-0" -> "6-0" [ ];
+"112-0" -> "34-0" [ ];
+// id = 113{ 'p_{0,0}' 'p_{0,9}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,9}' }
+"2-0" -> "113-0" [ ];
+"34-0" -> "113-0" [ ];
+"113-0" -> "2-0" [ ];
+"113-0" -> "34-0" [ ];
+// id = 114{ 'Butadien' 'p_{0,9}' }, 'r_{0}', { 'Butadien' 'p_{0,9}' }
+"0-0" -> "114-0" [ ];
+"34-0" -> "114-0" [ ];
+"114-0" -> "0-0" [ ];
+"114-0" -> "34-0" [ ];
+// id = 115{ 'p_{0,1}' 'p_{0,9}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,9}' }
+"3-0" -> "115-0" [ ];
+"34-0" -> "115-0" [ ];
+"115-0" -> "3-0" [ ];
+"115-0" -> "34-0" [ ];
+// id = 116{ 'p_{0,10}' 'p_{0,10}' }, 'r_{0}', { 'p_{0,10}' 'p_{0,10}' }
+"36-0" -> "116-0" [ ];
+"36-0" -> "116-0" [ ];
+"116-0" -> "36-0" [ ];
+"116-0" -> "36-0" [ ];
+// id = 117{ 'p_{0,2}' 'p_{0,10}' }, 'r_{0}', { 'p_{0,2}' 'p_{0,10}' }
+"6-0" -> "117-0" [ ];
+"36-0" -> "117-0" [ ];
+"117-0" -> "6-0" [ ];
+"117-0" -> "36-0" [ ];
+// id = 118{ 'p_{0,0}' 'p_{0,10}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,10}' }
+"2-0" -> "118-0" [ ];
+"36-0" -> "118-0" [ ];
+"118-0" -> "2-0" [ ];
+"118-0" -> "36-0" [ ];
+// id = 119{ 'Butadien' 'p_{0,10}' }, 'r_{0}', { 'Butadien' 'p_{0,10}' }
+"0-0" -> "119-0" [ ];
+"36-0" -> "119-0" [ ];
+"119-0" -> "0-0" [ ];
+"119-0" -> "36-0" [ ];
+// id = 120{ 'p_{0,1}' 'p_{0,10}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,10}' }
+"3-0" -> "120-0" [ ];
+"36-0" -> "120-0" [ ];
+"120-0" -> "3-0" [ ];
+"120-0" -> "36-0" [ ];
+// id = 121{ 'p_{0,0}' 'p_{0,4}' }, 'r_{1}', { 'p_{0,13}' }
+"2-0" -> "121-0" [ ];
+"17-0" -> "121-0" [ ];
+"121-0" -> "63-0" [ ];
+// id = 123{ 'p_{0,0}' 'p_{0,4}' }, 'r_{1}', { 'p_{0,16}' }
+"2-0" -> "123-0" [ ];
+"17-0" -> "123-0" [ ];
+"123-0" -> "122-0" [ ];
+// id = 125{ 'Butadien' 'p_{0,7}' }, 'r_{1}', { 'p_{0,17}' }
+"0-0" -> "125-0" [ ];
+"29-0" -> "125-0" [ ];
+"125-0" -> "124-0" [ ];
+// id = 126{ 'p_{0,11}' }, 'r_{0}', { 'p_{0,11}' }
+"41-0" -> "41-0" [ label="r_{0}" ];
+// id = 127{ 'p_{0,12}' }, 'r_{0}', { 'p_{0,5}' }
+"43-0" -> "19-0" [ label="r_{0}" ];
+// id = 128{ 'p_{0,12}' }, 'r_{0}', { 'p_{0,12}' }
+"43-0" -> "43-0" [ label="r_{0}" ];
+// id = 129{ 'p_{0,13}' }, 'r_{0}', { 'p_{0,13}' }
+"63-0" -> "63-0" [ label="r_{0}" ];
+// id = 130{ 'p_{0,14}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,6}' }
+"99-0" -> "130-0" [ ];
+"130-0" -> "2-0" [ ];
+"130-0" -> "27-0" [ ];
+// id = 131{ 'p_{0,14}' }, 'r_{0}', { 'p_{0,14}' }
+"99-0" -> "99-0" [ label="r_{0}" ];
+// id = 132{ 'p_{0,15}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,7}' }
+"101-0" -> "132-0" [ ];
+"132-0" -> "2-0" [ ];
+"132-0" -> "29-0" [ ];
+// id = 133{ 'p_{0,15}' }, 'r_{0}', { 'p_{0,15}' }
+"101-0" -> "101-0" [ label="r_{0}" ];
+// id = 134{ 'p_{0,16}' }, 'r_{0}', { 'p_{0,16}' }
+"122-0" -> "122-0" [ label="r_{0}" ];
+// id = 135{ 'p_{0,0}' 'p_{0,11}' }, 'r_{0}', { 'p_{0,4}' }
+"2-0" -> "135-0" [ ];
+"41-0" -> "135-0" [ ];
+"135-0" -> "17-0" [ ];
+// id = 136{ 'p_{0,12}' 'p_{0,12}' }, 'r_{0}', { 'p_{0,12}' 'p_{0,12}' }
+"43-0" -> "136-0" [ ];
+"43-0" -> "136-0" [ ];
+"136-0" -> "43-0" [ ];
+"136-0" -> "43-0" [ ];
+// id = 137{ 'p_{0,12}' 'p_{0,13}' }, 'r_{0}', { 'p_{0,12}' 'p_{0,13}' }
+"43-0" -> "137-0" [ ];
+"63-0" -> "137-0" [ ];
+"137-0" -> "43-0" [ ];
+"137-0" -> "63-0" [ ];
+// id = 138{ 'p_{0,12}' 'p_{0,14}' }, 'r_{0}', { 'p_{0,12}' 'p_{0,14}' }
+"43-0" -> "138-0" [ ];
+"99-0" -> "138-0" [ ];
+"138-0" -> "43-0" [ ];
+"138-0" -> "99-0" [ ];
+// id = 139{ 'p_{0,12}' 'p_{0,15}' }, 'r_{0}', { 'p_{0,12}' 'p_{0,15}' }
+"43-0" -> "139-0" [ ];
+"101-0" -> "139-0" [ ];
+"139-0" -> "43-0" [ ];
+"139-0" -> "101-0" [ ];
+// id = 140{ 'p_{0,12}' 'p_{0,16}' }, 'r_{0}', { 'p_{0,12}' 'p_{0,16}' }
+"43-0" -> "140-0" [ ];
+"122-0" -> "140-0" [ ];
+"140-0" -> "43-0" [ ];
+"140-0" -> "122-0" [ ];
+// id = 141{ 'p_{0,8}' 'p_{0,12}' }, 'r_{0}', { 'p_{0,8}' 'p_{0,12}' }
+"31-0" -> "141-0" [ ];
+"43-0" -> "141-0" [ ];
+"141-0" -> "31-0" [ ];
+"141-0" -> "43-0" [ ];
+// id = 142{ 'p_{0,9}' 'p_{0,12}' }, 'r_{0}', { 'p_{0,9}' 'p_{0,12}' }
+"34-0" -> "142-0" [ ];
+"43-0" -> "142-0" [ ];
+"142-0" -> "34-0" [ ];
+"142-0" -> "43-0" [ ];
+// id = 143{ 'Butadien' 'p_{0,12}' }, 'r_{0}', { 'Butadien' 'p_{0,12}' }
+"0-0" -> "143-0" [ ];
+"43-0" -> "143-0" [ ];
+"143-0" -> "0-0" [ ];
+"143-0" -> "43-0" [ ];
+// id = 144{ 'p_{0,10}' 'p_{0,12}' }, 'r_{0}', { 'p_{0,10}' 'p_{0,12}' }
+"36-0" -> "144-0" [ ];
+"43-0" -> "144-0" [ ];
+"144-0" -> "36-0" [ ];
+"144-0" -> "43-0" [ ];
+// id = 145{ 'p_{0,0}' 'p_{0,12}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,12}' }
+"2-0" -> "145-0" [ ];
+"43-0" -> "145-0" [ ];
+"145-0" -> "2-0" [ ];
+"145-0" -> "43-0" [ ];
+// id = 146{ 'p_{0,1}' 'p_{0,12}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,12}' }
+"3-0" -> "146-0" [ ];
+"43-0" -> "146-0" [ ];
+"146-0" -> "3-0" [ ];
+"146-0" -> "43-0" [ ];
+// id = 147{ 'p_{0,2}' 'p_{0,12}' }, 'r_{0}', { 'p_{0,2}' 'p_{0,12}' }
+"6-0" -> "147-0" [ ];
+"43-0" -> "147-0" [ ];
+"147-0" -> "6-0" [ ];
+"147-0" -> "43-0" [ ];
+// id = 148{ 'p_{0,3}' 'p_{0,12}' }, 'r_{0}', { 'p_{0,3}' 'p_{0,12}' }
+"12-0" -> "148-0" [ ];
+"43-0" -> "148-0" [ ];
+"148-0" -> "12-0" [ ];
+"148-0" -> "43-0" [ ];
+// id = 149{ 'p_{0,4}' 'p_{0,12}' }, 'r_{0}', { 'p_{0,4}' 'p_{0,12}' }
+"17-0" -> "149-0" [ ];
+"43-0" -> "149-0" [ ];
+"149-0" -> "17-0" [ ];
+"149-0" -> "43-0" [ ];
+// id = 150{ 'p_{0,5}' 'p_{0,12}' }, 'r_{0}', { 'p_{0,5}' 'p_{0,12}' }
+"19-0" -> "150-0" [ ];
+"43-0" -> "150-0" [ ];
+"150-0" -> "19-0" [ ];
+"150-0" -> "43-0" [ ];
+// id = 151{ 'p_{0,6}' 'p_{0,12}' }, 'r_{0}', { 'p_{0,6}' 'p_{0,12}' }
+"27-0" -> "151-0" [ ];
+"43-0" -> "151-0" [ ];
+"151-0" -> "27-0" [ ];
+"151-0" -> "43-0" [ ];
+// id = 152{ 'p_{0,13}' 'p_{0,13}' }, 'r_{0}', { 'p_{0,13}' 'p_{0,13}' }
+"63-0" -> "152-0" [ ];
+"63-0" -> "152-0" [ ];
+"152-0" -> "63-0" [ ];
+"152-0" -> "63-0" [ ];
+// id = 153{ 'Butadien' 'p_{0,13}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,6}' }
+"0-0" -> "153-0" [ ];
+"63-0" -> "153-0" [ ];
+"153-0" -> "3-0" [ ];
+"153-0" -> "27-0" [ ];
+// id = 154{ 'Butadien' 'p_{0,13}' }, 'r_{0}', { 'Butadien' 'p_{0,13}' }
+"0-0" -> "154-0" [ ];
+"63-0" -> "154-0" [ ];
+"154-0" -> "0-0" [ ];
+"154-0" -> "63-0" [ ];
+// id = 155{ 'p_{0,0}' 'p_{0,13}' }, 'r_{0}', { 'Butadien' 'p_{0,6}' }
+"2-0" -> "155-0" [ ];
+"63-0" -> "155-0" [ ];
+"155-0" -> "0-0" [ ];
+"155-0" -> "27-0" [ ];
+// id = 156{ 'p_{0,1}' 'p_{0,13}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,13}' }
+"3-0" -> "156-0" [ ];
+"63-0" -> "156-0" [ ];
+"156-0" -> "3-0" [ ];
+"156-0" -> "63-0" [ ];
+// id = 157{ 'p_{0,1}' 'p_{0,13}' }, 'r_{0}', { 'p_{0,4}' 'p_{0,6}' }
+"3-0" -> "157-0" [ ];
+"63-0" -> "157-0" [ ];
+"157-0" -> "17-0" [ ];
+"157-0" -> "27-0" [ ];
+// id = 158{ 'p_{0,2}' 'p_{0,13}' }, 'r_{0}', { 'p_{0,5}' 'p_{0,6}' }
+"6-0" -> "158-0" [ ];
+"63-0" -> "158-0" [ ];
+"158-0" -> "19-0" [ ];
+"158-0" -> "27-0" [ ];
+// id = 159{ 'p_{0,4}' 'p_{0,13}' }, 'r_{0}', { 'p_{0,4}' 'p_{0,13}' }
+"17-0" -> "159-0" [ ];
+"63-0" -> "159-0" [ ];
+"159-0" -> "17-0" [ ];
+"159-0" -> "63-0" [ ];
+// id = 160{ 'p_{0,5}' 'p_{0,13}' }, 'r_{0}', { 'p_{0,5}' 'p_{0,13}' }
+"19-0" -> "160-0" [ ];
+"63-0" -> "160-0" [ ];
+"160-0" -> "19-0" [ ];
+"160-0" -> "63-0" [ ];
+// id = 161{ 'p_{0,6}' 'p_{0,13}' }, 'r_{0}', { 'p_{0,6}' 'p_{0,13}' }
+"27-0" -> "161-0" [ ];
+"63-0" -> "161-0" [ ];
+"161-0" -> "27-0" [ ];
+"161-0" -> "63-0" [ ];
+// id = 162{ 'p_{0,13}' 'p_{0,14}' }, 'r_{0}', { 'p_{0,13}' 'p_{0,14}' }
+"63-0" -> "162-0" [ ];
+"99-0" -> "162-0" [ ];
+"162-0" -> "63-0" [ ];
+"162-0" -> "99-0" [ ];
+// id = 163{ 'p_{0,13}' 'p_{0,15}' }, 'r_{0}', { 'p_{0,13}' 'p_{0,15}' }
+"63-0" -> "163-0" [ ];
+"101-0" -> "163-0" [ ];
+"163-0" -> "63-0" [ ];
+"163-0" -> "101-0" [ ];
+// id = 164{ 'p_{0,13}' 'p_{0,16}' }, 'r_{0}', { 'p_{0,13}' 'p_{0,16}' }
+"63-0" -> "164-0" [ ];
+"122-0" -> "164-0" [ ];
+"164-0" -> "63-0" [ ];
+"164-0" -> "122-0" [ ];
+// id = 165{ 'p_{0,8}' 'p_{0,13}' }, 'r_{0}', { 'p_{0,8}' 'p_{0,13}' }
+"31-0" -> "165-0" [ ];
+"63-0" -> "165-0" [ ];
+"165-0" -> "31-0" [ ];
+"165-0" -> "63-0" [ ];
+// id = 166{ 'p_{0,9}' 'p_{0,13}' }, 'r_{0}', { 'p_{0,9}' 'p_{0,13}' }
+"34-0" -> "166-0" [ ];
+"63-0" -> "166-0" [ ];
+"166-0" -> "34-0" [ ];
+"166-0" -> "63-0" [ ];
+// id = 167{ 'p_{0,10}' 'p_{0,13}' }, 'r_{0}', { 'p_{0,10}' 'p_{0,13}' }
+"36-0" -> "167-0" [ ];
+"63-0" -> "167-0" [ ];
+"167-0" -> "36-0" [ ];
+"167-0" -> "63-0" [ ];
+// id = 168{ 'p_{0,0}' 'p_{0,13}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,13}' }
+"2-0" -> "168-0" [ ];
+"63-0" -> "168-0" [ ];
+"168-0" -> "2-0" [ ];
+"168-0" -> "63-0" [ ];
+// id = 169{ 'p_{0,2}' 'p_{0,13}' }, 'r_{0}', { 'p_{0,2}' 'p_{0,13}' }
+"6-0" -> "169-0" [ ];
+"63-0" -> "169-0" [ ];
+"169-0" -> "6-0" [ ];
+"169-0" -> "63-0" [ ];
+// id = 170{ 'p_{0,3}' 'p_{0,13}' }, 'r_{0}', { 'p_{0,3}' 'p_{0,13}' }
+"12-0" -> "170-0" [ ];
+"63-0" -> "170-0" [ ];
+"170-0" -> "12-0" [ ];
+"170-0" -> "63-0" [ ];
+// id = 171{ 'p_{0,14}' 'p_{0,14}' }, 'r_{0}', { 'p_{0,14}' 'p_{0,14}' }
+"99-0" -> "171-0" [ ];
+"99-0" -> "171-0" [ ];
+"171-0" -> "99-0" [ ];
+"171-0" -> "99-0" [ ];
+// id = 172{ 'p_{0,14}' 'p_{0,15}' }, 'r_{0}', { 'p_{0,14}' 'p_{0,15}' }
+"99-0" -> "172-0" [ ];
+"101-0" -> "172-0" [ ];
+"172-0" -> "99-0" [ ];
+"172-0" -> "101-0" [ ];
+// id = 173{ 'p_{0,14}' 'p_{0,16}' }, 'r_{0}', { 'p_{0,14}' 'p_{0,16}' }
+"99-0" -> "173-0" [ ];
+"122-0" -> "173-0" [ ];
+"173-0" -> "99-0" [ ];
+"173-0" -> "122-0" [ ];
+// id = 174{ 'p_{0,8}' 'p_{0,14}' }, 'r_{0}', { 'p_{0,8}' 'p_{0,14}' }
+"31-0" -> "174-0" [ ];
+"99-0" -> "174-0" [ ];
+"174-0" -> "31-0" [ ];
+"174-0" -> "99-0" [ ];
+// id = 175{ 'p_{0,9}' 'p_{0,14}' }, 'r_{0}', { 'p_{0,9}' 'p_{0,14}' }
+"34-0" -> "175-0" [ ];
+"99-0" -> "175-0" [ ];
+"175-0" -> "34-0" [ ];
+"175-0" -> "99-0" [ ];
+// id = 176{ 'Butadien' 'p_{0,14}' }, 'r_{0}', { 'Butadien' 'p_{0,14}' }
+"0-0" -> "176-0" [ ];
+"99-0" -> "176-0" [ ];
+"176-0" -> "0-0" [ ];
+"176-0" -> "99-0" [ ];
+// id = 177{ 'p_{0,10}' 'p_{0,14}' }, 'r_{0}', { 'p_{0,10}' 'p_{0,14}' }
+"36-0" -> "177-0" [ ];
+"99-0" -> "177-0" [ ];
+"177-0" -> "36-0" [ ];
+"177-0" -> "99-0" [ ];
+// id = 178{ 'p_{0,0}' 'p_{0,14}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,14}' }
+"2-0" -> "178-0" [ ];
+"99-0" -> "178-0" [ ];
+"178-0" -> "2-0" [ ];
+"178-0" -> "99-0" [ ];
+// id = 179{ 'p_{0,1}' 'p_{0,14}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,14}' }
+"3-0" -> "179-0" [ ];
+"99-0" -> "179-0" [ ];
+"179-0" -> "3-0" [ ];
+"179-0" -> "99-0" [ ];
+// id = 180{ 'p_{0,2}' 'p_{0,14}' }, 'r_{0}', { 'p_{0,2}' 'p_{0,14}' }
+"6-0" -> "180-0" [ ];
+"99-0" -> "180-0" [ ];
+"180-0" -> "6-0" [ ];
+"180-0" -> "99-0" [ ];
+// id = 181{ 'p_{0,3}' 'p_{0,14}' }, 'r_{0}', { 'p_{0,3}' 'p_{0,14}' }
+"12-0" -> "181-0" [ ];
+"99-0" -> "181-0" [ ];
+"181-0" -> "12-0" [ ];
+"181-0" -> "99-0" [ ];
+// id = 182{ 'p_{0,4}' 'p_{0,14}' }, 'r_{0}', { 'p_{0,4}' 'p_{0,14}' }
+"17-0" -> "182-0" [ ];
+"99-0" -> "182-0" [ ];
+"182-0" -> "17-0" [ ];
+"182-0" -> "99-0" [ ];
+// id = 183{ 'p_{0,5}' 'p_{0,14}' }, 'r_{0}', { 'p_{0,5}' 'p_{0,14}' }
+"19-0" -> "183-0" [ ];
+"99-0" -> "183-0" [ ];
+"183-0" -> "19-0" [ ];
+"183-0" -> "99-0" [ ];
+// id = 184{ 'p_{0,6}' 'p_{0,14}' }, 'r_{0}', { 'p_{0,6}' 'p_{0,14}' }
+"27-0" -> "184-0" [ ];
+"99-0" -> "184-0" [ ];
+"184-0" -> "27-0" [ ];
+"184-0" -> "99-0" [ ];
+// id = 185{ 'p_{0,15}' 'p_{0,15}' }, 'r_{0}', { 'p_{0,15}' 'p_{0,15}' }
+"101-0" -> "185-0" [ ];
+"101-0" -> "185-0" [ ];
+"185-0" -> "101-0" [ ];
+"185-0" -> "101-0" [ ];
+// id = 186{ 'p_{0,15}' 'p_{0,16}' }, 'r_{0}', { 'p_{0,15}' 'p_{0,16}' }
+"101-0" -> "186-0" [ ];
+"122-0" -> "186-0" [ ];
+"186-0" -> "101-0" [ ];
+"186-0" -> "122-0" [ ];
+// id = 187{ 'p_{0,8}' 'p_{0,15}' }, 'r_{0}', { 'p_{0,8}' 'p_{0,15}' }
+"31-0" -> "187-0" [ ];
+"101-0" -> "187-0" [ ];
+"187-0" -> "31-0" [ ];
+"187-0" -> "101-0" [ ];
+// id = 188{ 'p_{0,9}' 'p_{0,15}' }, 'r_{0}', { 'p_{0,9}' 'p_{0,15}' }
+"34-0" -> "188-0" [ ];
+"101-0" -> "188-0" [ ];
+"188-0" -> "34-0" [ ];
+"188-0" -> "101-0" [ ];
+// id = 189{ 'Butadien' 'p_{0,15}' }, 'r_{0}', { 'Butadien' 'p_{0,15}' }
+"0-0" -> "189-0" [ ];
+"101-0" -> "189-0" [ ];
+"189-0" -> "0-0" [ ];
+"189-0" -> "101-0" [ ];
+// id = 190{ 'p_{0,10}' 'p_{0,15}' }, 'r_{0}', { 'p_{0,10}' 'p_{0,15}' }
+"36-0" -> "190-0" [ ];
+"101-0" -> "190-0" [ ];
+"190-0" -> "36-0" [ ];
+"190-0" -> "101-0" [ ];
+// id = 191{ 'p_{0,0}' 'p_{0,15}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,15}' }
+"2-0" -> "191-0" [ ];
+"101-0" -> "191-0" [ ];
+"191-0" -> "2-0" [ ];
+"191-0" -> "101-0" [ ];
+// id = 192{ 'p_{0,1}' 'p_{0,15}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,15}' }
+"3-0" -> "192-0" [ ];
+"101-0" -> "192-0" [ ];
+"192-0" -> "3-0" [ ];
+"192-0" -> "101-0" [ ];
+// id = 193{ 'p_{0,2}' 'p_{0,15}' }, 'r_{0}', { 'p_{0,2}' 'p_{0,15}' }
+"6-0" -> "193-0" [ ];
+"101-0" -> "193-0" [ ];
+"193-0" -> "6-0" [ ];
+"193-0" -> "101-0" [ ];
+// id = 194{ 'p_{0,3}' 'p_{0,15}' }, 'r_{0}', { 'p_{0,3}' 'p_{0,15}' }
+"12-0" -> "194-0" [ ];
+"101-0" -> "194-0" [ ];
+"194-0" -> "12-0" [ ];
+"194-0" -> "101-0" [ ];
+// id = 195{ 'p_{0,4}' 'p_{0,15}' }, 'r_{0}', { 'p_{0,4}' 'p_{0,15}' }
+"17-0" -> "195-0" [ ];
+"101-0" -> "195-0" [ ];
+"195-0" -> "17-0" [ ];
+"195-0" -> "101-0" [ ];
+// id = 196{ 'p_{0,5}' 'p_{0,15}' }, 'r_{0}', { 'p_{0,5}' 'p_{0,15}' }
+"19-0" -> "196-0" [ ];
+"101-0" -> "196-0" [ ];
+"196-0" -> "19-0" [ ];
+"196-0" -> "101-0" [ ];
+// id = 197{ 'p_{0,6}' 'p_{0,15}' }, 'r_{0}', { 'p_{0,6}' 'p_{0,15}' }
+"27-0" -> "197-0" [ ];
+"101-0" -> "197-0" [ ];
+"197-0" -> "27-0" [ ];
+"197-0" -> "101-0" [ ];
+// id = 198{ 'p_{0,16}' 'p_{0,16}' }, 'r_{0}', { 'p_{0,16}' 'p_{0,16}' }
+"122-0" -> "198-0" [ ];
+"122-0" -> "198-0" [ ];
+"198-0" -> "122-0" [ ];
+"198-0" -> "122-0" [ ];
+// id = 199{ 'p_{0,8}' 'p_{0,16}' }, 'r_{0}', { 'p_{0,8}' 'p_{0,16}' }
+"31-0" -> "199-0" [ ];
+"122-0" -> "199-0" [ ];
+"199-0" -> "31-0" [ ];
+"199-0" -> "122-0" [ ];
+// id = 200{ 'p_{0,9}' 'p_{0,16}' }, 'r_{0}', { 'p_{0,9}' 'p_{0,16}' }
+"34-0" -> "200-0" [ ];
+"122-0" -> "200-0" [ ];
+"200-0" -> "34-0" [ ];
+"200-0" -> "122-0" [ ];
+// id = 201{ 'Butadien' 'p_{0,16}' }, 'r_{0}', { 'Butadien' 'p_{0,16}' }
+"0-0" -> "201-0" [ ];
+"122-0" -> "201-0" [ ];
+"201-0" -> "0-0" [ ];
+"201-0" -> "122-0" [ ];
+// id = 202{ 'p_{0,10}' 'p_{0,16}' }, 'r_{0}', { 'p_{0,10}' 'p_{0,16}' }
+"36-0" -> "202-0" [ ];
+"122-0" -> "202-0" [ ];
+"202-0" -> "36-0" [ ];
+"202-0" -> "122-0" [ ];
+// id = 203{ 'p_{0,0}' 'p_{0,16}' }, 'r_{0}', { 'p_{0,0}' 'p_{0,16}' }
+"2-0" -> "203-0" [ ];
+"122-0" -> "203-0" [ ];
+"203-0" -> "2-0" [ ];
+"203-0" -> "122-0" [ ];
+// id = 204{ 'p_{0,1}' 'p_{0,16}' }, 'r_{0}', { 'p_{0,1}' 'p_{0,16}' }
+"3-0" -> "204-0" [ ];
+"122-0" -> "204-0" [ ];
+"204-0" -> "3-0" [ ];
+"204-0" -> "122-0" [ ];
+// id = 205{ 'p_{0,2}' 'p_{0,16}' }, 'r_{0}', { 'p_{0,2}' 'p_{0,16}' }
+"6-0" -> "205-0" [ ];
+"122-0" -> "205-0" [ ];
+"205-0" -> "6-0" [ ];
+"205-0" -> "122-0" [ ];
+// id = 206{ 'p_{0,3}' 'p_{0,16}' }, 'r_{0}', { 'p_{0,3}' 'p_{0,16}' }
+"12-0" -> "206-0" [ ];
+"122-0" -> "206-0" [ ];
+"206-0" -> "12-0" [ ];
+"206-0" -> "122-0" [ ];
+// id = 207{ 'p_{0,4}' 'p_{0,16}' }, 'r_{0}', { 'p_{0,4}' 'p_{0,16}' }
+"17-0" -> "207-0" [ ];
+"122-0" -> "207-0" [ ];
+"207-0" -> "17-0" [ ];
+"207-0" -> "122-0" [ ];
+// id = 208{ 'p_{0,5}' 'p_{0,16}' }, 'r_{0}', { 'p_{0,5}' 'p_{0,16}' }
+"19-0" -> "208-0" [ ];
+"122-0" -> "208-0" [ ];
+"208-0" -> "19-0" [ ];
+"208-0" -> "122-0" [ ];
+// id = 209{ 'p_{0,6}' 'p_{0,16}' }, 'r_{0}', { 'p_{0,6}' 'p_{0,16}' }
+"27-0" -> "209-0" [ ];
+"122-0" -> "209-0" [ ];
+"209-0" -> "27-0" [ ];
+"209-0" -> "122-0" [ ];
+// id = 211{ 'Butadien' 'p_{0,11}' }, 'r_{1}', { 'p_{0,18}' }
+"0-0" -> "211-0" [ ];
+"41-0" -> "211-0" [ ];
+"211-0" -> "210-0" [ ];
+// id = 212{ 'p_{0,18}' }, 'r_{0}', { 'p_{0,18}' }
+"210-0" -> "210-0" [ label="r_{0}" ];
+}
diff --git a/mod/butadien/summaryFinal.pdf b/mod/butadien/summaryFinal.pdf
new file mode 100644
index 0000000..b342d55
Binary files /dev/null and b/mod/butadien/summaryFinal.pdf differ