{-# OPTIONS --cubical #-}

import 0Polygraph as 0Pol
import 1Polygraph as 1Pol
import 2Polygraph as 2Pol
import 3Polygraph as 3Pol