digraph G {
   1 [label="BeGood",fontsize = 14]
   2 [label="Id low",fontsize = 14]
   3 [label="*Map(i e)",fontsize = 14]
   4 [label="*Map(i E)",fontsize = 14]
   5 [label="*Map(e E)",fontsize = 14]
   6 [label="*Map(e i)",fontsize = 14]
   7 [label="*Map(E i)",fontsize = 14]
   8 [label="*Map(E e)",fontsize = 14]
   9 [label="*e i",fontsize = 14]
   10 [label="*i e",fontsize = 14]
   11 [label="*E i",fontsize = 14]
   12 [label="*E e",fontsize = 14]
   13 [label="*e E",fontsize = 14]
   14 [label="Final(hi)",fontsize = 14]
   1 -> 6 [fontsize = 11]
   3 -> 6 [fontsize = 11]
   3 -> 9 [fontsize = 11]
   4 -> 5 [fontsize = 11]
   4 -> 6 [fontsize = 11]
   4 -> 8 [fontsize = 11]
   4 -> 9 [fontsize = 11]
   4 -> 13 [fontsize = 11]
   5 -> 13 [fontsize = 11]
   7 -> 5 [fontsize = 11]
   7 -> 6 [fontsize = 11]
   7 -> 8 [fontsize = 11]
   7 -> 9 [fontsize = 11]
   7 -> 13 [fontsize = 11]
   8 -> 5 [fontsize = 11]
   8 -> 13 [fontsize = 11]
   9 -> 6 [fontsize = 11]
   10 -> 3 [fontsize = 11]
   10 -> 6 [fontsize = 11]
   10 -> 9 [fontsize = 11]
   11 -> 5 [fontsize = 11]
   11 -> 6 [fontsize = 11]
   11 -> 8 [fontsize = 11]
   11 -> 9 [fontsize = 11]
   11 -> 13 [fontsize = 11]
   12 -> 5 [fontsize = 11]
   12 -> 6 [fontsize = 11]
   12 -> 8 [fontsize = 11]
   12 -> 13 [fontsize = 11]
   14 -> 3 [fontsize = 11]
   14 -> 6 [fontsize = 11]
   14 -> 9 [fontsize = 11]
}
