module T20200KG where

import T20200KGa

checkpointSubstitution :: a
checkpointSubstitution = undefined

getVarInfo :: Open Int -> Maybe Int
getVarInfo = getOpen