{
  ghc841 = import ./ghc841;
  ghc842 = import ./ghc842;
  ghc843 = import ./ghc843;
  ghc844 = import ./ghc844;
  ghc861 = import ./ghc861;
  ghc862 = import ./ghc862;
  ghc863 = import ./ghc863;
  ghc864 = import ./ghc864;
  ghc865 = import ./ghc865;
}