Beispiel

student = Aufgabe
        { problem = GTSProblem
        , instanz = GTSP 
                  { punkte = listToFM 
                           [ (1, (0,0)), (2, (3,3))
                           , (3, (1, 8)), (4, (9,3))
                           ]
                  , schranke = 100
                  }
        , beweis = Rundreise [ 1, 3, 2, 4 ]
        }