// Copyright 2015 Kevin Ryde
// 
// This file is part of Graph-Graph6.
// 
// Graph-Graph6 is free software; you can redistribute it and/or modify it under
// the terms of the GNU General Public License as published by the Free
// Software Foundation; either version 3, or (at your option) any later
// version.
// 
// Graph-Graph6 is distributed in the hope that it will be useful, but WITHOUT
// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
// FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
// more details.
// 
// You should have received a copy of the GNU General Public License along
// with Graph-Graph6.  If not, see <http://www.gnu.org/licenses/>.


graph "all9 one" {

  // Generated by Graph::Easy 0.75 at Mon Jul 13 18:02:50 2015

  edge [ arrowhead=open ];
  graph [ rankdir=LR, splines="true", overlap=false,
          label="G1-G9 as induced subgraphs" ];
  node [
    fillcolor=white,
    fontsize=11,
    shape=box,
    style=filled ];

    1 [pos="0,0",pin="true"];
    4 [pos="1.5,0",pin="true"];
    8 [pos="-1.5,1.5",pin="true"];
    2 [pos="-1.5,0",pin="true"];
    7 [pos="-1.5,-1.95",pin="true"];
    6 [pos="0,-1.5",pin="true"];
    3 [pos="1.5,1.5",pin="true"];
    5 [pos="1.5,-1.95",pin="true"];
    0 [pos="0,1.5",pin="true"];

    // 0-1
    // 0-2
    // 0-3
    // 0-8
    // 6-5
    // 4-8
    // 1-2
    // 3-4
    // 7-6
    // 6-1
    // 7-2,7-1,4-5,1-4,
    // 2-3,6-2,7-5,1-3,1-5
    // 2-8
  0 -- 1
  0 -- 2
  0 -- 3
  0 -- 8

  1 -- 2
  1 -- 3
  1 -- 4
  1 -- 5
  1 -- 6
  1 -- 7

  2 -- 3
  2 -- 7
  2 -- 8
  2 -- 6

  5 -- 6
  3 -- 4
  4 -- 5
  4 -- 8
  5 -- 7
  6 -- 7
}