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

polo = QDPReductionPair[ATrans = False, Active = False, MergeMutual = False, Usable = True, Formative = True, FormativeActive = False, Allstrict = False, Order = POLO[Engine=MINISAT[Version=2], Degree=1, Range=3]]

