main = QTRSDependencyPairs:RepeatS(0,*,First(QDPDependencyGraph,rpo))

rpo = QDPReductionPair[ATrans = False, Active = True, MergeMutual = False, Usable = True, Formative = True, FormativeActive = False, Allstrict = False, Order = PPO[Engine = MINISAT[Version=2]
             ,Quasi = True
             ,Multiset = True
             ,Lex = True
             ,Permute = True
             ,Prec = True
             ,Xgengrc = True
             ,Restriction = 20000
             ,Afstype = FULLAFS
             ,Breadth = True
             ]]

