M:_isgraph F:G$isgraph$0$0({2}DF,SC:S),C,0,0,0,0,0