diff --git a/results/esm-components-sizes.txt b/results/esm-components-sizes.txt
new file mode 100644
index 0000000..af21a1a
--- /dev/null
+++ b/results/esm-components-sizes.txt
@@ -0,0 +1,452 @@
+"10"
+  number of states = 1355
+
+"10-O2.2"
+  number of states = 1287
+
+"10-O36"
+  number of states = 1209
+
+"10-O5.2-O2.2"
+  number of states = 1287
+
+"10-O5.23-O2.23"
+  number of states = 1287
+
+"10-O9"
+  number of states = 1387
+
+"13-O34"
+  number of states = 1209
+
+"16-O12-O12-O12-O12-O12-O12-O12-O12"
+  number of states = 5
+
+"18.4-O18.3-O18.2-O18.1-O18.0"
+  number of states = 1209
+
+"19.4-O19.3-O19.2-O19.1-O19.0"
+  number of states = 1209
+
+"2.0"
+  number of states = 1209
+
+"2.0-O2.8-O38"
+  number of states = 1209
+
+"2.1"
+  number of states = 1209
+
+"2.1-O13-O34"
+  number of states = 1209
+
+"2.1-O2.12-O35"
+  number of states = 1209
+
+"2.1-O6"
+  number of states = 1209
+
+"2.1-O6-O10"
+  number of states = 1209
+
+"2.1-O6-O13-O34"
+  number of states = 1209
+
+"2.1-O6-O2.12-O35"
+  number of states = 1209
+
+"2.1-O6-O36"
+  number of states = 1209
+
+"2.10"
+  number of states = 1275
+
+"2.10-O36"
+  number of states = 1273
+
+"2.12"
+  number of states = 1209
+
+"2.12-O35"
+  number of states = 1209
+
+"2.13"
+  number of states = 30
+
+"2.14"
+  number of states = 35
+
+"2.16"
+  number of states = 1360
+
+"2.17"
+  number of states = 1209
+
+"2.18"
+  number of states = 1225
+
+"2.2"
+  number of states = 1323
+
+"2.2-O10"
+  number of states = 1269
+
+"2.2-O18.4-O18.3-O18.2-O18.1-O18.0"
+  number of states = 1209
+
+"2.2-O36"
+  number of states = 1209
+
+"2.21"
+  number of states = 1209
+
+"2.22"
+  number of states = 27
+
+"2.23"
+  number of states = 1287
+
+"2.23-O10"
+  number of states = 1287
+
+"2.23-O36"
+  number of states = 1209
+
+"2.3"
+  number of states = 1209
+
+"2.3-O10"
+  number of states = 1209
+
+"2.3-O2.9-O33"
+  number of states = 1209
+
+"2.3-O36"
+  number of states = 1209
+
+"2.4"
+  number of states = 1371
+
+"2.6"
+  number of states = 1209
+
+"2.7"
+  number of states = 1209
+
+"2.7-O26.4-O26.3-O26.2-O26.1-O26.0-O13"
+  number of states = 1209
+
+"2.7-O37"
+  number of states = 1209
+
+"2.8"
+  number of states = 1209
+
+"2.8-O38"
+  number of states = 1209
+
+"2.9"
+  number of states = 1209
+
+"2.9-O33"
+  number of states = 1209
+
+"21.4-O21.3-O21.2-O21.1-O21.0"
+  number of states = 1211
+
+"22.4-O22.3-O22.2-O22.1-O22.0-O13"
+  number of states = 1209
+
+"23.4-O23.3-O23.2-O23.1-O23.0"
+  number of states = 1209
+
+"24.4-O24.3-O24.2-O24.1-O24.0"
+  number of states = 1209
+
+"25.4-O25.3-O25.2-O25.1-O25.0"
+  number of states = 1249
+
+"26.4-O26.3-O26.2-O26.1-O26.0-O13"
+  number of states = 1209
+
+"27.4-O27.3-O27.2-O27.1-O27.0"
+  number of states = 1209
+
+"28.0"
+  number of states = 1209
+
+"28.3"
+  number of states = 1359
+
+"3.0"
+  number of states = 1307
+
+"3.1"
+  number of states = 1325
+
+"3.10"
+  number of states = 1286
+
+"3.12"
+  number of states = 1223
+
+"3.13"
+  number of states = 57
+
+"3.14"
+  number of states = 829
+
+"3.16"
+  number of states = 1294
+
+"3.17"
+  number of states = 1223
+
+"3.18"
+  number of states = 1214
+
+"3.19"
+  number of states = 1231
+
+"3.2"
+  number of states = 1289
+
+"3.20"
+  number of states = 1267
+
+"3.21"
+  number of states = 1222
+
+"3.3"
+  number of states = 1261
+
+"3.4"
+  number of states = 1300
+
+"3.6"
+  number of states = 1229
+
+"3.7"
+  number of states = 1275
+
+"3.8"
+  number of states = 1259
+
+"3.9"
+  number of states = 1229
+
+"32"
+  number of states = 1224
+
+"34"
+  number of states = 1209
+
+"35"
+  number of states = 1209
+
+"36"
+  number of states = 1275
+
+"39.0"
+  number of states = 1
+
+"39.1"
+  number of states = 1
+
+"39.2"
+  number of states = 1
+
+"39.3"
+  number of states = 1
+
+"39.4"
+  number of states = 1
+
+"39.5"
+  number of states = 1
+
+"4"
+  number of states = 4
+
+"40.0"
+  number of states = 1
+
+"40.1"
+  number of states = 1
+
+"40.2"
+  number of states = 1
+
+"40.3"
+  number of states = 1
+
+"40.4"
+  number of states = 32
+
+"40.5"
+  number of states = 1
+
+"5.0"
+  number of states = 1211
+
+"5.0-O2.0"
+  number of states = 1209
+
+"5.0-O2.0-O5.8-O2.8-O38"
+  number of states = 1209
+
+"5.1"
+  number of states = 1211
+
+"5.1-O2.1"
+  number of states = 1209
+
+"5.1-O2.1-O13-O34"
+  number of states = 1209
+
+"5.1-O2.1-O5.12-O2.12-O35"
+  number of states = 1209
+
+"5.1-O2.1-O6"
+  number of states = 1209
+
+"5.1-O2.1-O6-O10"
+  number of states = 1209
+
+"5.1-O2.1-O6-O13-O34"
+  number of states = 1209
+
+"5.1-O2.1-O6-O36"
+  number of states = 1209
+
+"5.1-O2.1-O6-O5.12-O2.12-O35"
+  number of states = 1209
+
+"5.10"
+  number of states = 1275
+
+"5.10-O2.10"
+  number of states = 1273
+
+"5.10-O2.10-O36"
+  number of states = 1273
+
+"5.12"
+  number of states = 1211
+
+"5.12-O2.12-O35"
+  number of states = 1209
+
+"5.13"
+  number of states = 35
+
+"5.13-O2.13-O28.0"
+  number of states = 27
+
+"5.14"
+  number of states = 47
+
+"5.16"
+  number of states = 1371
+
+"5.17"
+  number of states = 1211
+
+"5.18"
+  number of states = 1241
+
+"5.2"
+  number of states = 1289
+
+"5.2-O2.2"
+  number of states = 1303
+
+"5.2-O2.2-O10"
+  number of states = 1269
+
+"5.2-O2.2-O18.4-O18.3-O18.2-O18.1-O18.0"
+  number of states = 1209
+
+"5.2-O2.2-O36"
+  number of states = 1209
+
+"5.21"
+  number of states = 1211
+
+"5.22"
+  number of states = 29
+
+"5.22-O2.22"
+  number of states = 25
+
+"5.23"
+  number of states = 1289
+
+"5.23-O2.23"
+  number of states = 1267
+
+"5.23-O2.23-O10"
+  number of states = 1287
+
+"5.23-O2.23-O36"
+  number of states = 1209
+
+"5.3"
+  number of states = 1211
+
+"5.3-O2.3"
+  number of states = 1209
+
+"5.3-O2.3-O10"
+  number of states = 1209
+
+"5.3-O2.3-O36"
+  number of states = 1209
+
+"5.3-O2.3-O5.9-O2.9-O33"
+  number of states = 1209
+
+"5.4"
+  number of states = 1372
+
+"5.4-O2.4"
+  number of states = 1371
+
+"5.6"
+  number of states = 1211
+
+"5.6-O2.6"
+  number of states = 1209
+
+"5.7"
+  number of states = 1211
+
+"5.7-O2.7-O26.4-O26.3-O26.2-O26.1-O26.0-O13"
+  number of states = 1209
+
+"5.7-O2.7-O37"
+  number of states = 1209
+
+"5.8"
+  number of states = 1211
+
+"5.8-O2.8-O38"
+  number of states = 1209
+
+"5.9"
+  number of states = 1211
+
+"5.9-O2.9-O33"
+  number of states = 1209
+
+"7"
+  number of states = 1209
+
+"8"
+  number of states = 1209
+
+"9"
+  number of states = 1387
+
+"quiescence"
+  number of states = 1430
diff --git a/results/esm-equivalent-components.txt b/results/esm-equivalent-components.txt
new file mode 100644
index 0000000..1998815
--- /dev/null
+++ b/results/esm-equivalent-components.txt
@@ -0,0 +1,90 @@
+Equivalences
+  "10-O5.2-O2.2" == "10-O2.2"
+  "10-O5.23-O2.23" == "10-O2.2"
+  "13-O34" == "10-O36"
+  "18.4-O18.3-O18.2-O18.1-O18.0" == "10-O36"
+  "19.4-O19.3-O19.2-O19.1-O19.0" == "10-O36"
+  "2.0" == "10-O36"
+  "2.0-O2.8-O38" == "10-O36"
+  "2.1" == "10-O36"
+  "2.1-O13-O34" == "10-O36"
+  "2.1-O2.12-O35" == "10-O36"
+  "2.1-O6" == "10-O36"
+  "2.1-O6-O10" == "10-O36"
+  "2.1-O6-O13-O34" == "10-O36"
+  "2.1-O6-O2.12-O35" == "10-O36"
+  "2.1-O6-O36" == "10-O36"
+  "2.12" == "10-O36"
+  "2.12-O35" == "10-O36"
+  "2.17" == "10-O36"
+  "2.2-O18.4-O18.3-O18.2-O18.1-O18.0" == "10-O36"
+  "2.2-O36" == "10-O36"
+  "2.21" == "10-O36"
+  "2.23" == "10-O2.2"
+  "2.23-O10" == "10-O2.2"
+  "2.23-O36" == "10-O36"
+  "2.3" == "10-O36"
+  "2.3-O10" == "10-O36"
+  "2.3-O2.9-O33" == "10-O36"
+  "2.3-O36" == "10-O36"
+  "2.6" == "10-O36"
+  "2.7" == "10-O36"
+  "2.7-O26.4-O26.3-O26.2-O26.1-O26.0-O13" == "10-O36"
+  "2.7-O37" == "10-O36"
+  "2.8" == "10-O36"
+  "2.8-O38" == "10-O36"
+  "2.9" == "10-O36"
+  "2.9-O33" == "10-O36"
+  "22.4-O22.3-O22.2-O22.1-O22.0-O13" == "10-O36"
+  "23.4-O23.3-O23.2-O23.1-O23.0" == "10-O36"
+  "24.4-O24.3-O24.2-O24.1-O24.0" == "10-O36"
+  "26.4-O26.3-O26.2-O26.1-O26.0-O13" == "10-O36"
+  "27.4-O27.3-O27.2-O27.1-O27.0" == "10-O36"
+  "28.0" == "10-O36"
+  "34" == "10-O36"
+  "35" == "10-O36"
+  "36" == "2.10"
+  "39.1" == "39.0"
+  "39.2" == "39.0"
+  "39.3" == "39.0"
+  "39.4" == "39.0"
+  "39.5" == "39.0"
+  "40.0" == "39.0"
+  "40.1" == "39.0"
+  "40.2" == "39.0"
+  "40.3" == "39.0"
+  "40.5" == "39.0"
+  "5.0-O2.0" == "10-O36"
+  "5.0-O2.0-O5.8-O2.8-O38" == "10-O36"
+  "5.1-O2.1" == "10-O36"
+  "5.1-O2.1-O13-O34" == "10-O36"
+  "5.1-O2.1-O5.12-O2.12-O35" == "10-O36"
+  "5.1-O2.1-O6" == "10-O36"
+  "5.1-O2.1-O6-O10" == "10-O36"
+  "5.1-O2.1-O6-O13-O34" == "10-O36"
+  "5.1-O2.1-O6-O36" == "10-O36"
+  "5.1-O2.1-O6-O5.12-O2.12-O35" == "10-O36"
+  "5.10" == "2.10"
+  "5.10-O2.10" == "2.10-O36"
+  "5.10-O2.10-O36" == "2.10-O36"
+  "5.12-O2.12-O35" == "10-O36"
+  "5.13-O2.13-O28.0" == "2.22"
+  "5.16" == "2.4"
+  "5.2-O2.2-O10" == "2.2-O10"
+  "5.2-O2.2-O18.4-O18.3-O18.2-O18.1-O18.0" == "10-O36"
+  "5.2-O2.2-O36" == "10-O36"
+  "5.23-O2.23-O10" == "10-O2.2"
+  "5.23-O2.23-O36" == "10-O36"
+  "5.3-O2.3" == "10-O36"
+  "5.3-O2.3-O10" == "10-O36"
+  "5.3-O2.3-O36" == "10-O36"
+  "5.3-O2.3-O5.9-O2.9-O33" == "10-O36"
+  "5.4-O2.4" == "2.4"
+  "5.6-O2.6" == "10-O36"
+  "5.7-O2.7-O26.4-O26.3-O26.2-O26.1-O26.0-O13" == "10-O36"
+  "5.7-O2.7-O37" == "10-O36"
+  "5.8-O2.8-O38" == "10-O36"
+  "5.9-O2.9-O33" == "10-O36"
+  "7" == "10-O36"
+  "8" == "10-O36"
+  "9" == "10-O9"
diff --git a/results/esm-relation.dot b/results/esm-relation.dot
new file mode 100644
index 0000000..a0844d2
--- /dev/null
+++ b/results/esm-relation.dot
@@ -0,0 +1,481 @@
+digraph {
+  "10-O2.2" -> "10"
+  "10-O36" -> "10"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "10"
+  "2.10" -> "10"
+  "2.10-O36" -> "10"
+  "2.13" -> "10"
+  "2.14" -> "10"
+  "2.18" -> "10"
+  "2.22" -> "10"
+  "21.4-O21.3-O21.2-O21.1-O21.0" -> "10"
+  "32" -> "10"
+  "39.0" -> "10"
+  "40.4" -> "10"
+  "5.14" -> "10"
+  "5.18" -> "10"
+  "5.22" -> "10"
+  "5.22-O2.22" -> "10"
+  "5.23-O2.23" -> "10"
+  "5.3" -> "10"
+  "10-O36" -> "10-O2.2"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "10-O2.2"
+  "2.13" -> "10-O2.2"
+  "2.22" -> "10-O2.2"
+  "39.0" -> "10-O2.2"
+  "5.22-O2.22" -> "10-O2.2"
+  "5.23-O2.23" -> "10-O2.2"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "10-O36"
+  "2.13" -> "10-O36"
+  "2.22" -> "10-O36"
+  "39.0" -> "10-O36"
+  "5.22-O2.22" -> "10-O36"
+  "10-O36" -> "10-O9"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "10-O9"
+  "2.10" -> "10-O9"
+  "2.10-O36" -> "10-O9"
+  "2.13" -> "10-O9"
+  "2.14" -> "10-O9"
+  "2.18" -> "10-O9"
+  "2.22" -> "10-O9"
+  "21.4-O21.3-O21.2-O21.1-O21.0" -> "10-O9"
+  "32" -> "10-O9"
+  "39.0" -> "10-O9"
+  "40.4" -> "10-O9"
+  "5.14" -> "10-O9"
+  "5.18" -> "10-O9"
+  "5.22" -> "10-O9"
+  "5.22-O2.22" -> "10-O9"
+  "5.3" -> "10-O9"
+  "39.0" -> "16-O12-O12-O12-O12-O12-O12-O12-O12"
+  "10-O36" -> "2.10"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "2.10"
+  "2.10-O36" -> "2.10"
+  "2.13" -> "2.10"
+  "2.14" -> "2.10"
+  "2.18" -> "2.10"
+  "2.22" -> "2.10"
+  "21.4-O21.3-O21.2-O21.1-O21.0" -> "2.10"
+  "32" -> "2.10"
+  "39.0" -> "2.10"
+  "40.4" -> "2.10"
+  "5.14" -> "2.10"
+  "5.18" -> "2.10"
+  "5.22" -> "2.10"
+  "5.22-O2.22" -> "2.10"
+  "5.3" -> "2.10"
+  "10-O36" -> "2.10-O36"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "2.10-O36"
+  "2.13" -> "2.10-O36"
+  "2.14" -> "2.10-O36"
+  "2.18" -> "2.10-O36"
+  "2.22" -> "2.10-O36"
+  "21.4-O21.3-O21.2-O21.1-O21.0" -> "2.10-O36"
+  "32" -> "2.10-O36"
+  "39.0" -> "2.10-O36"
+  "40.4" -> "2.10-O36"
+  "5.14" -> "2.10-O36"
+  "5.18" -> "2.10-O36"
+  "5.22" -> "2.10-O36"
+  "5.22-O2.22" -> "2.10-O36"
+  "5.3" -> "2.10-O36"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "2.13"
+  "2.22" -> "2.13"
+  "39.0" -> "2.13"
+  "5.22-O2.22" -> "2.13"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "2.14"
+  "39.0" -> "2.14"
+  "40.4" -> "2.14"
+  "5.22-O2.22" -> "2.14"
+  "10-O36" -> "2.16"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "2.16"
+  "2.10" -> "2.16"
+  "2.10-O36" -> "2.16"
+  "2.13" -> "2.16"
+  "2.14" -> "2.16"
+  "2.18" -> "2.16"
+  "2.22" -> "2.16"
+  "21.4-O21.3-O21.2-O21.1-O21.0" -> "2.16"
+  "25.4-O25.3-O25.2-O25.1-O25.0" -> "2.16"
+  "28.3" -> "2.16"
+  "32" -> "2.16"
+  "39.0" -> "2.16"
+  "40.4" -> "2.16"
+  "5.14" -> "2.16"
+  "5.18" -> "2.16"
+  "5.22" -> "2.16"
+  "5.22-O2.22" -> "2.16"
+  "5.3" -> "2.16"
+  "10-O36" -> "2.18"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "2.18"
+  "2.13" -> "2.18"
+  "2.14" -> "2.18"
+  "2.22" -> "2.18"
+  "21.4-O21.3-O21.2-O21.1-O21.0" -> "2.18"
+  "32" -> "2.18"
+  "39.0" -> "2.18"
+  "40.4" -> "2.18"
+  "5.22-O2.22" -> "2.18"
+  "10-O2.2" -> "2.2"
+  "10-O36" -> "2.2"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "2.2"
+  "2.13" -> "2.2"
+  "2.2-O10" -> "2.2"
+  "2.22" -> "2.2"
+  "39.0" -> "2.2"
+  "5.2-O2.2" -> "2.2"
+  "5.22-O2.22" -> "2.2"
+  "5.23-O2.23" -> "2.2"
+  "10-O36" -> "2.2-O10"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "2.2-O10"
+  "2.13" -> "2.2-O10"
+  "2.22" -> "2.2-O10"
+  "39.0" -> "2.2-O10"
+  "5.22-O2.22" -> "2.2-O10"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "2.22"
+  "39.0" -> "2.22"
+  "5.22-O2.22" -> "2.22"
+  "10-O36" -> "2.4"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "2.4"
+  "2.10" -> "2.4"
+  "2.10-O36" -> "2.4"
+  "2.13" -> "2.4"
+  "2.14" -> "2.4"
+  "2.16" -> "2.4"
+  "2.18" -> "2.4"
+  "2.22" -> "2.4"
+  "21.4-O21.3-O21.2-O21.1-O21.0" -> "2.4"
+  "25.4-O25.3-O25.2-O25.1-O25.0" -> "2.4"
+  "28.3" -> "2.4"
+  "32" -> "2.4"
+  "39.0" -> "2.4"
+  "40.4" -> "2.4"
+  "5.14" -> "2.4"
+  "5.18" -> "2.4"
+  "5.22" -> "2.4"
+  "5.22-O2.22" -> "2.4"
+  "5.3" -> "2.4"
+  "10-O36" -> "21.4-O21.3-O21.2-O21.1-O21.0"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "21.4-O21.3-O21.2-O21.1-O21.0"
+  "2.13" -> "21.4-O21.3-O21.2-O21.1-O21.0"
+  "2.22" -> "21.4-O21.3-O21.2-O21.1-O21.0"
+  "39.0" -> "21.4-O21.3-O21.2-O21.1-O21.0"
+  "5.22-O2.22" -> "21.4-O21.3-O21.2-O21.1-O21.0"
+  "10-O36" -> "25.4-O25.3-O25.2-O25.1-O25.0"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "25.4-O25.3-O25.2-O25.1-O25.0"
+  "2.13" -> "25.4-O25.3-O25.2-O25.1-O25.0"
+  "2.22" -> "25.4-O25.3-O25.2-O25.1-O25.0"
+  "39.0" -> "25.4-O25.3-O25.2-O25.1-O25.0"
+  "5.22-O2.22" -> "25.4-O25.3-O25.2-O25.1-O25.0"
+  "5.3" -> "25.4-O25.3-O25.2-O25.1-O25.0"
+  "10-O36" -> "28.3"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "28.3"
+  "2.10" -> "28.3"
+  "2.10-O36" -> "28.3"
+  "2.13" -> "28.3"
+  "2.14" -> "28.3"
+  "2.18" -> "28.3"
+  "2.22" -> "28.3"
+  "21.4-O21.3-O21.2-O21.1-O21.0" -> "28.3"
+  "25.4-O25.3-O25.2-O25.1-O25.0" -> "28.3"
+  "32" -> "28.3"
+  "39.0" -> "28.3"
+  "40.4" -> "28.3"
+  "5.14" -> "28.3"
+  "5.18" -> "28.3"
+  "5.22" -> "28.3"
+  "5.22-O2.22" -> "28.3"
+  "5.3" -> "28.3"
+  "10-O36" -> "3.0"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.0"
+  "2.13" -> "3.0"
+  "2.22" -> "3.0"
+  "39.0" -> "3.0"
+  "5.22-O2.22" -> "3.0"
+  "10-O36" -> "3.1"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.1"
+  "2.13" -> "3.1"
+  "2.22" -> "3.1"
+  "39.0" -> "3.1"
+  "5.22-O2.22" -> "3.1"
+  "10-O36" -> "3.10"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.10"
+  "2.13" -> "3.10"
+  "2.22" -> "3.10"
+  "21.4-O21.3-O21.2-O21.1-O21.0" -> "3.10"
+  "39.0" -> "3.10"
+  "5.22-O2.22" -> "3.10"
+  "5.3" -> "3.10"
+  "10-O36" -> "3.12"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.12"
+  "2.13" -> "3.12"
+  "2.22" -> "3.12"
+  "39.0" -> "3.12"
+  "5.22-O2.22" -> "3.12"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.13"
+  "2.22" -> "3.13"
+  "39.0" -> "3.13"
+  "5.22-O2.22" -> "3.13"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.14"
+  "2.22" -> "3.14"
+  "39.0" -> "3.14"
+  "5.22-O2.22" -> "3.14"
+  "10-O36" -> "3.16"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.16"
+  "2.13" -> "3.16"
+  "2.22" -> "3.16"
+  "25.4-O25.3-O25.2-O25.1-O25.0" -> "3.16"
+  "39.0" -> "3.16"
+  "5.22-O2.22" -> "3.16"
+  "5.3" -> "3.16"
+  "10-O36" -> "3.17"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.17"
+  "2.13" -> "3.17"
+  "2.22" -> "3.17"
+  "39.0" -> "3.17"
+  "5.22-O2.22" -> "3.17"
+  "10-O36" -> "3.18"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.18"
+  "2.13" -> "3.18"
+  "2.22" -> "3.18"
+  "21.4-O21.3-O21.2-O21.1-O21.0" -> "3.18"
+  "39.0" -> "3.18"
+  "5.22-O2.22" -> "3.18"
+  "10-O36" -> "3.19"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.19"
+  "2.13" -> "3.19"
+  "2.22" -> "3.19"
+  "39.0" -> "3.19"
+  "5.22-O2.22" -> "3.19"
+  "10-O36" -> "3.2"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.2"
+  "2.13" -> "3.2"
+  "2.22" -> "3.2"
+  "39.0" -> "3.2"
+  "5.22-O2.22" -> "3.2"
+  "10-O36" -> "3.20"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.20"
+  "2.13" -> "3.20"
+  "2.22" -> "3.20"
+  "39.0" -> "3.20"
+  "5.22-O2.22" -> "3.20"
+  "10-O36" -> "3.21"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.21"
+  "2.13" -> "3.21"
+  "2.22" -> "3.21"
+  "39.0" -> "3.21"
+  "5.22-O2.22" -> "3.21"
+  "10-O36" -> "3.3"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.3"
+  "2.13" -> "3.3"
+  "2.22" -> "3.3"
+  "39.0" -> "3.3"
+  "5.22-O2.22" -> "3.3"
+  "10-O36" -> "3.4"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.4"
+  "2.13" -> "3.4"
+  "2.22" -> "3.4"
+  "25.4-O25.3-O25.2-O25.1-O25.0" -> "3.4"
+  "39.0" -> "3.4"
+  "5.22-O2.22" -> "3.4"
+  "5.3" -> "3.4"
+  "10-O36" -> "3.6"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.6"
+  "2.13" -> "3.6"
+  "2.22" -> "3.6"
+  "39.0" -> "3.6"
+  "5.22-O2.22" -> "3.6"
+  "10-O36" -> "3.7"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.7"
+  "2.13" -> "3.7"
+  "2.22" -> "3.7"
+  "39.0" -> "3.7"
+  "5.22-O2.22" -> "3.7"
+  "10-O36" -> "3.8"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.8"
+  "2.13" -> "3.8"
+  "2.22" -> "3.8"
+  "39.0" -> "3.8"
+  "5.22-O2.22" -> "3.8"
+  "10-O36" -> "3.9"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "3.9"
+  "2.13" -> "3.9"
+  "2.22" -> "3.9"
+  "39.0" -> "3.9"
+  "5.22-O2.22" -> "3.9"
+  "10-O36" -> "32"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "32"
+  "2.13" -> "32"
+  "2.14" -> "32"
+  "2.22" -> "32"
+  "21.4-O21.3-O21.2-O21.1-O21.0" -> "32"
+  "39.0" -> "32"
+  "40.4" -> "32"
+  "5.22-O2.22" -> "32"
+  "39.0" -> "4"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "40.4"
+  "39.0" -> "40.4"
+  "10-O36" -> "5.0"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.0"
+  "2.13" -> "5.0"
+  "2.22" -> "5.0"
+  "39.0" -> "5.0"
+  "5.22-O2.22" -> "5.0"
+  "10-O36" -> "5.1"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.1"
+  "2.13" -> "5.1"
+  "2.22" -> "5.1"
+  "39.0" -> "5.1"
+  "5.22-O2.22" -> "5.1"
+  "10-O36" -> "5.12"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.12"
+  "2.13" -> "5.12"
+  "2.22" -> "5.12"
+  "39.0" -> "5.12"
+  "5.22-O2.22" -> "5.12"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.13"
+  "2.13" -> "5.13"
+  "2.22" -> "5.13"
+  "39.0" -> "5.13"
+  "5.22-O2.22" -> "5.13"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.14"
+  "2.14" -> "5.14"
+  "39.0" -> "5.14"
+  "40.4" -> "5.14"
+  "5.22-O2.22" -> "5.14"
+  "10-O36" -> "5.17"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.17"
+  "2.13" -> "5.17"
+  "2.22" -> "5.17"
+  "39.0" -> "5.17"
+  "5.22-O2.22" -> "5.17"
+  "10-O36" -> "5.18"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.18"
+  "2.13" -> "5.18"
+  "2.14" -> "5.18"
+  "2.18" -> "5.18"
+  "2.22" -> "5.18"
+  "21.4-O21.3-O21.2-O21.1-O21.0" -> "5.18"
+  "32" -> "5.18"
+  "39.0" -> "5.18"
+  "40.4" -> "5.18"
+  "5.22-O2.22" -> "5.18"
+  "10-O2.2" -> "5.2"
+  "10-O36" -> "5.2"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.2"
+  "2.13" -> "5.2"
+  "2.22" -> "5.2"
+  "39.0" -> "5.2"
+  "5.22-O2.22" -> "5.2"
+  "5.23-O2.23" -> "5.2"
+  "10-O36" -> "5.2-O2.2"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.2-O2.2"
+  "2.13" -> "5.2-O2.2"
+  "2.2-O10" -> "5.2-O2.2"
+  "2.22" -> "5.2-O2.2"
+  "39.0" -> "5.2-O2.2"
+  "5.22-O2.22" -> "5.2-O2.2"
+  "5.23-O2.23" -> "5.2-O2.2"
+  "10-O36" -> "5.21"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.21"
+  "2.13" -> "5.21"
+  "2.22" -> "5.21"
+  "39.0" -> "5.21"
+  "5.22-O2.22" -> "5.21"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.22"
+  "2.22" -> "5.22"
+  "39.0" -> "5.22"
+  "5.22-O2.22" -> "5.22"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.22-O2.22"
+  "39.0" -> "5.22-O2.22"
+  "10-O2.2" -> "5.23"
+  "10-O36" -> "5.23"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.23"
+  "2.13" -> "5.23"
+  "2.22" -> "5.23"
+  "39.0" -> "5.23"
+  "5.22-O2.22" -> "5.23"
+  "5.23-O2.23" -> "5.23"
+  "10-O36" -> "5.23-O2.23"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.23-O2.23"
+  "2.13" -> "5.23-O2.23"
+  "2.22" -> "5.23-O2.23"
+  "39.0" -> "5.23-O2.23"
+  "5.22-O2.22" -> "5.23-O2.23"
+  "10-O36" -> "5.3"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.3"
+  "2.13" -> "5.3"
+  "2.22" -> "5.3"
+  "39.0" -> "5.3"
+  "5.22-O2.22" -> "5.3"
+  "10-O36" -> "5.4"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.4"
+  "2.10" -> "5.4"
+  "2.10-O36" -> "5.4"
+  "2.13" -> "5.4"
+  "2.14" -> "5.4"
+  "2.16" -> "5.4"
+  "2.18" -> "5.4"
+  "2.22" -> "5.4"
+  "2.4" -> "5.4"
+  "21.4-O21.3-O21.2-O21.1-O21.0" -> "5.4"
+  "25.4-O25.3-O25.2-O25.1-O25.0" -> "5.4"
+  "28.3" -> "5.4"
+  "32" -> "5.4"
+  "39.0" -> "5.4"
+  "4" -> "5.4"
+  "40.4" -> "5.4"
+  "5.14" -> "5.4"
+  "5.18" -> "5.4"
+  "5.22" -> "5.4"
+  "5.22-O2.22" -> "5.4"
+  "5.3" -> "5.4"
+  "10-O36" -> "5.6"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.6"
+  "2.13" -> "5.6"
+  "2.22" -> "5.6"
+  "39.0" -> "5.6"
+  "5.22-O2.22" -> "5.6"
+  "10-O36" -> "5.7"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.7"
+  "2.13" -> "5.7"
+  "2.22" -> "5.7"
+  "39.0" -> "5.7"
+  "5.22-O2.22" -> "5.7"
+  "10-O36" -> "5.8"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.8"
+  "2.13" -> "5.8"
+  "2.22" -> "5.8"
+  "39.0" -> "5.8"
+  "5.22-O2.22" -> "5.8"
+  "10-O36" -> "5.9"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "5.9"
+  "2.13" -> "5.9"
+  "2.22" -> "5.9"
+  "39.0" -> "5.9"
+  "5.22-O2.22" -> "5.9"
+  "10-O36" -> "quiescence"
+  "16-O12-O12-O12-O12-O12-O12-O12-O12" -> "quiescence"
+  "2.10" -> "quiescence"
+  "2.10-O36" -> "quiescence"
+  "2.13" -> "quiescence"
+  "2.14" -> "quiescence"
+  "2.16" -> "quiescence"
+  "2.18" -> "quiescence"
+  "2.22" -> "quiescence"
+  "2.4" -> "quiescence"
+  "21.4-O21.3-O21.2-O21.1-O21.0" -> "quiescence"
+  "25.4-O25.3-O25.2-O25.1-O25.0" -> "quiescence"
+  "28.3" -> "quiescence"
+  "32" -> "quiescence"
+  "39.0" -> "quiescence"
+  "4" -> "quiescence"
+  "40.4" -> "quiescence"
+  "5.14" -> "quiescence"
+  "5.18" -> "quiescence"
+  "5.22" -> "quiescence"
+  "5.22-O2.22" -> "quiescence"
+  "5.23-O2.23" -> "quiescence"
+  "5.3" -> "quiescence"
+  "5.4" -> "quiescence"
+}
diff --git a/results/esm-relation.png b/results/esm-relation.png
new file mode 100644
index 0000000..76f0f6b
Binary files /dev/null and b/results/esm-relation.png differ