original_docstring: 
      From Koeller 2002, Example 4.7
      
docstring: From Koeller 2002, Example 4.7
docstring_tokens: From Koeller 2002 Example 4 . 7
code: def irreducible():
      """
      From Koeller 2002, Example 4.7
      """
      return Graph(
          V={0, 1, 2, 3, 4, 5, 6, 7, 8},
          E=set(map(Edge, [
              {0, 3}, {0, 4}, {0, 5}, {0, 6}, {0, 7}, {0, 8},
              {1, 3}, {1, 4}, {1, 5}, {1, 6}, {1, 7}, {1, 8},
              {2, 3}, {2, 4}, {2, 5}, {2, 6}, {2, 7}, {2, 8},
              {3, 0}, {3, 1}, {3, 2}, {3, 6}, {3, 7}, {3, 8},
              {4, 0}, {4, 1}, {4, 2}, {4, 6}, {4, 7}, {4, 8},
              {5, 0}, {5, 1}, {5, 2}, {5, 6}, {5, 7}, {5, 8},
              {6, 0}, {6, 1}, {6, 2}, {6, 3}, {6, 4}, {6, 5},
              {7, 0}, {7, 1}, {7, 2}, {7, 3}, {7, 4}, {7, 5},
              {8, 0}, {8, 1}, {8, 2}, {8, 3}, {8, 4}, {8, 5},
          ]))
      )
code_tokens: def irreducible ( ) : return Graph ( V = { 0 , 1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 } , E = set ( map ( Edge , [ { 0 , 3 } , { 0 , 4 } , { 0 , 5 } , { 0 , 6 } , { 0 , 7 } , { 0 , 8 } , { 1 , 3 } , { 1 , 4 } , { 1 , 5 } , { 1 , 6 } , { 1 , 7 } , { 1 , 8 } , { 2 , 3 } , { 2 , 4 } , { 2 , 5 } , { 2 , 6 } , { 2 , 7 } , { 2 , 8 } , { 3 , 0 } , { 3 , 1 } , { 3 , 2 } , { 3 , 6 } , { 3 , 7 } , { 3 , 8 } , { 4 , 0 } , { 4 , 1 } , { 4 , 2 } , { 4 , 6 } , { 4 , 7 } , { 4 , 8 } , { 5 , 0 } , { 5 , 1 } , { 5 , 2 } , { 5 , 6 } , { 5 , 7 } , { 5 , 8 } , { 6 , 0 } , { 6 , 1 } , { 6 , 2 } , { 6 , 3 } , { 6 , 4 } , { 6 , 5 } , { 7 , 0 } , { 7 , 1 } , { 7 , 2 } , { 7 , 3 } , { 7 , 4 } , { 7 , 5 } , { 8 , 0 } , { 8 , 1 } , { 8 , 2 } , { 8 , 3 } , { 8 , 4 } , { 8 , 5 } , ] ) ) )
short_docstring: From Koeller 2002, Example 4.7
short_docstring_tokens: From Koeller 2002 Example 4 . 7
comment: """
      From Koeller 2002, Example 4.7
      """