module RefineG where

g1 :: String 
g1 = "g1"