import Challenger
import Col.Col

student = Aufgabe{problem = Col
          , instanz = ( bsp_graph
                      , 3
                      )
          , beweis = bsp_loesung
          }
bsp_graph = Graph {
          knoten = mkSet [1,2,3,4,5]
          , kanten = mkSet [kante 1 2, kante 2 3, kante 3 4, kante 4 5, kante 5 1, kante 3 5]
          }
bsp_loesung = Klassen([[1,4],[2,5],[3]])

import Challenger
import Hamilton.Hamilton

student = Loesung {
             problem = Hamilton
            ,ident = Ident {aufgabe = 1}
            ,beweis = Kreis [0,1,2,3]
            }