include "ground/notation/functions/zerozero_0.ma".
include "ground/notation/functions/zeroone_0.ma".
include "ground/notation/functions/onezero_0.ma".
include "ground/notation/functions/zerozero_0.ma".
include "ground/notation/functions/zeroone_0.ma".
include "ground/notation/functions/onezero_0.ma".