graph G {
0 -- 1;
0 -- 3;
1 -- 3;
1 -- 4;
1 -- 5;
2 -- 3;
2 -- 6;
3 -- 6;
4 -- 7;
5 -- 7;
6 -- 7;
6 -- 8;
7 -- 8;
}