%FILES%
usr/
usr/include/
usr/share/
usr/lib/
usr/bin/
usr/bin/PolyGUI2
usr/bin/ipbori2
usr/bin/ipbori
usr/bin/PolyGUI2.7
usr/bin/PolyGUI
usr/bin/ipbori2.7
usr/lib/python2.7/
usr/lib/libpolybori_groebner-0.8.so.3
usr/lib/libpolybori_groebner.so
usr/lib/libpolybori_groebner-0.8.so.3.0.0
usr/lib/libpolybori-0.8.so.3.0.0
usr/lib/libpolybori-0.8.so.3
usr/lib/libpolybori-0.8.so
usr/lib/libpolybori_groebner-0.8.so
usr/lib/libpolybori.so
usr/lib/python2.7/site-packages/
usr/lib/python2.7/site-packages/polybori/
usr/lib/python2.7/site-packages/polybori/addition.py
usr/lib/python2.7/site-packages/polybori/partial.py
usr/lib/python2.7/site-packages/polybori/intpolys.pyc
usr/lib/python2.7/site-packages/polybori/general_boolean_polynomial.py
usr/lib/python2.7/site-packages/polybori/plot.pyc
usr/lib/python2.7/site-packages/polybori/plot.py
usr/lib/python2.7/site-packages/polybori/parsegat.py
usr/lib/python2.7/site-packages/polybori/memusage.py
usr/lib/python2.7/site-packages/polybori/statistics.py
usr/lib/python2.7/site-packages/polybori/check_claims.py
usr/lib/python2.7/site-packages/polybori/gbrefs.py
usr/lib/python2.7/site-packages/polybori/heuristics.pyc
usr/lib/python2.7/site-packages/polybori/intersect.pyc
usr/lib/python2.7/site-packages/polybori/nf.pyc
usr/lib/python2.7/site-packages/polybori/randompoly.pyc
usr/lib/python2.7/site-packages/polybori/interpolate.pyc
usr/lib/python2.7/site-packages/polybori/__init__.pyc
usr/lib/python2.7/site-packages/polybori/cnf.py
usr/lib/python2.7/site-packages/polybori/statistics.pyc
usr/lib/python2.7/site-packages/polybori/parsegat.pyc
usr/lib/python2.7/site-packages/polybori/gbcore.pyc
usr/lib/python2.7/site-packages/polybori/rank.pyc
usr/lib/python2.7/site-packages/polybori/parallel.pyc
usr/lib/python2.7/site-packages/polybori/partial.pyc
usr/lib/python2.7/site-packages/polybori/memusage.pyc
usr/lib/python2.7/site-packages/polybori/intpolys.py
usr/lib/python2.7/site-packages/polybori/addition.pyc
usr/lib/python2.7/site-packages/polybori/ncf.pyc
usr/lib/python2.7/site-packages/polybori/frontend.py
usr/lib/python2.7/site-packages/polybori/dynamic/
usr/lib/python2.7/site-packages/polybori/context.pyc
usr/lib/python2.7/site-packages/polybori/specialsets.py
usr/lib/python2.7/site-packages/polybori/interpolate.py
usr/lib/python2.7/site-packages/polybori/blocks.py
usr/lib/python2.7/site-packages/polybori/ncf.py
usr/lib/python2.7/site-packages/polybori/general_boolean_polynomial.pyc
usr/lib/python2.7/site-packages/polybori/intersect.py
usr/lib/python2.7/site-packages/polybori/parallel.py
usr/lib/python2.7/site-packages/polybori/simplebb.py
usr/lib/python2.7/site-packages/polybori/gbrefs.pyc
usr/lib/python2.7/site-packages/polybori/specialsets.pyc
usr/lib/python2.7/site-packages/polybori/randompoly.py
usr/lib/python2.7/site-packages/polybori/check_claims.pyc
usr/lib/python2.7/site-packages/polybori/gbcore.py
usr/lib/python2.7/site-packages/polybori/cnf.pyc
usr/lib/python2.7/site-packages/polybori/interred.pyc
usr/lib/python2.7/site-packages/polybori/interred.py
usr/lib/python2.7/site-packages/polybori/ll.pyc
usr/lib/python2.7/site-packages/polybori/fglm.pyc
usr/lib/python2.7/site-packages/polybori/context.py
usr/lib/python2.7/site-packages/polybori/__init__.py
usr/lib/python2.7/site-packages/polybori/simplebb.pyc
usr/lib/python2.7/site-packages/polybori/frontend.pyc
usr/lib/python2.7/site-packages/polybori/rank.py
usr/lib/python2.7/site-packages/polybori/cluster.py
usr/lib/python2.7/site-packages/polybori/ll.py
usr/lib/python2.7/site-packages/polybori/easy_polynomials.pyc
usr/lib/python2.7/site-packages/polybori/heuristics.py
usr/lib/python2.7/site-packages/polybori/nf.py
usr/lib/python2.7/site-packages/polybori/blocks.pyc
usr/lib/python2.7/site-packages/polybori/easy_polynomials.py
usr/lib/python2.7/site-packages/polybori/PyPolyBoRi.pyc
usr/lib/python2.7/site-packages/polybori/cluster.pyc
usr/lib/python2.7/site-packages/polybori/fglm.py
usr/lib/python2.7/site-packages/polybori/PyPolyBoRi.py
usr/lib/python2.7/site-packages/polybori/dynamic/__init__.pyc
usr/lib/python2.7/site-packages/polybori/dynamic/__init__.py
usr/lib/python2.7/site-packages/polybori/dynamic/PyPolyBoRi.so
usr/share/polybori/
usr/share/man/
usr/share/man/man1/
usr/share/man/man1/ipbori.1.gz
usr/share/man/man1/PolyGUI2.7.1.gz
usr/share/man/man1/ipbori2.1.gz
usr/share/man/man1/PolyGUI.1.gz
usr/share/man/man1/PolyGUI2.1.gz
usr/share/man/man1/ipbori2.7.1.gz
usr/share/polybori/gui/
usr/share/polybori/doc/
usr/share/polybori/ipbori/
usr/share/polybori/ipbori/ipbori2.7
usr/share/polybori/doc/index.html
usr/share/polybori/doc/images/
usr/share/polybori/doc/python2/
usr/share/polybori/doc/images/overview.png
usr/share/polybori/doc/images/logo.png
usr/share/polybori/gui/polybori.png
usr/share/polybori/gui/cnf2ideal.py
usr/share/polybori/gui/cnf2ideal.pyc
usr/share/polybori/gui/PolyGUI2.7
usr/include/polybori/
usr/include/polybori.h
usr/include/polybori/routines/
usr/include/polybori/BooleSet.h
usr/include/polybori/iterators/
usr/include/polybori/diagram/
usr/include/polybori/DegRevLexAscOrder.h
usr/include/polybori/cudd/
usr/include/polybori/BooleConstant.h
usr/include/polybori/polybori.h
usr/include/polybori/cache/
usr/include/polybori/BooleEnv.h
usr/include/polybori/BlockDegRevLexAscOrder.h
usr/include/polybori/orderings/
usr/include/polybori/embed.h
usr/include/polybori/BoolePolyRing.h
usr/include/polybori/pbori_defs.h
usr/include/polybori/BlockDegLexOrder.h
usr/include/polybori/BoolePolynomial.h
usr/include/polybori/BooleSetSequence.h
usr/include/polybori/config.h
usr/include/polybori/BooleVariable.h
usr/include/polybori/BooleMonomial.h
usr/include/polybori/common/
usr/include/polybori/groebner/
usr/include/polybori/ring/
usr/include/polybori/except/
usr/include/polybori/BooleExponent.h
usr/include/polybori/factories/
usr/include/polybori/literals/
usr/include/polybori/DegLexOrder.h
usr/include/polybori/LexOrder.h
usr/include/polybori/literals/CStringLiteral.h
usr/include/polybori/literals/CLiteralCodes.h
usr/include/polybori/factories/PolynomialFactory.h
usr/include/polybori/factories/MonomialFactory.h
usr/include/polybori/factories/VariableBlock.h
usr/include/polybori/factories/CFactoryBase.h
usr/include/polybori/factories/SetFactory.h
usr/include/polybori/factories/VariableFactory.h
usr/include/polybori/except/CErrorInfo.h
usr/include/polybori/except/PBoRiGenericError.h
usr/include/polybori/except/PBoRiError.h
usr/include/polybori/ring/CCuddInterface.h
usr/include/polybori/ring/CCallbackWrapper.h
usr/include/polybori/ring/WeakRingPtr.h
usr/include/polybori/ring/CCuddCore.h
usr/include/polybori/ring/CVariableNames.h
usr/include/polybori/ring/CMemberFunctionTraits.h
usr/include/polybori/groebner/LessWeightedLengthInStratModified.h
usr/include/polybori/groebner/TimesVariableSubstitution.h
usr/include/polybori/groebner/tables.h
usr/include/polybori/groebner/SlimgbReduction.h
usr/include/polybori/groebner/ReductionStrategy.h
usr/include/polybori/groebner/groebner_alg.h
usr/include/polybori/groebner/ReductionTerms.h
usr/include/polybori/groebner/PairStatusSet.h
usr/include/polybori/groebner/interpolate.h
usr/include/polybori/groebner/BitMask.h
usr/include/polybori/groebner/groebner.h
usr/include/polybori/groebner/SetBitUInt.h
usr/include/polybori/groebner/TermsFacade.h
usr/include/polybori/groebner/PairECompare.h
usr/include/polybori/groebner/contained_variables.h
usr/include/polybori/groebner/CheckChainCriterion.h
usr/include/polybori/groebner/LLReductor.h
usr/include/polybori/groebner/add_up.h
usr/include/polybori/groebner/randomset.h
usr/include/polybori/groebner/LeadingTerms.h
usr/include/polybori/groebner/PseudoLongProduct.h
usr/include/polybori/groebner/PairData.h
usr/include/polybori/groebner/PairManagerFacade.h
usr/include/polybori/groebner/NBitsUsed.h
usr/include/polybori/groebner/PolyEntry.h
usr/include/polybori/groebner/ll_red_nf.h
usr/include/polybori/groebner/TimesConstantImplication.h
usr/include/polybori/groebner/pairs.h
usr/include/polybori/groebner/linear_algebra_step.h
usr/include/polybori/groebner/LexBucket.h
usr/include/polybori/groebner/draw_matrix.h
usr/include/polybori/groebner/RelatedTermsBase.h
usr/include/polybori/groebner/LessWeightedLengthInStrat.h
usr/include/polybori/groebner/minimal_elements.h
usr/include/polybori/groebner/groebner_defs.h
usr/include/polybori/groebner/LessCombinedManySizesInStrat.h
usr/include/polybori/groebner/GroebnerStrategy.h
usr/include/polybori/groebner/LMLessCompare.h
usr/include/polybori/groebner/PolyPairData.h
usr/include/polybori/groebner/MonomialPlusOneTerms.h
usr/include/polybori/groebner/cache_manager.h
usr/include/polybori/groebner/ShorterEliminationLength.h
usr/include/polybori/groebner/PolyFromPolyEntry.h
usr/include/polybori/groebner/dp_asc4data.h
usr/include/polybori/groebner/ChainCriterion.h
usr/include/polybori/groebner/PolyEntryVector.h
usr/include/polybori/groebner/DegOrderHelper.h
usr/include/polybori/groebner/PairManager.h
usr/include/polybori/groebner/PolyEntryPtrLmLess.h
usr/include/polybori/groebner/PolyEntryBase.h
usr/include/polybori/groebner/NextSpoly.h
usr/include/polybori/groebner/PolynomialSugar.h
usr/include/polybori/groebner/PolyEntryReference.h
usr/include/polybori/groebner/LessEcartThenLessWeightedLengthInStrat.h
usr/include/polybori/groebner/BlockOrderHelper.h
usr/include/polybori/groebner/PolyEntryIndices.h
usr/include/polybori/groebner/LMLessComparePS.h
usr/include/polybori/groebner/BoundedDivisorsOf.h
usr/include/polybori/groebner/MatrixMonomialOrderTables.h
usr/include/polybori/groebner/LessUsedTailVariablesThenLessWeightedLengthInStrat.h
usr/include/polybori/groebner/ReductionOptions.h
usr/include/polybori/groebner/GetNthPoly.h
usr/include/polybori/groebner/LeadingTerms00.h
usr/include/polybori/groebner/RelatedTerms.h
usr/include/polybori/groebner/CountCriterion.h
usr/include/polybori/groebner/LiteralFactorization.h
usr/include/polybori/groebner/PairLS.h
usr/include/polybori/groebner/ShorterEliminationLengthModified.h
usr/include/polybori/groebner/RedTailNth.h
usr/include/polybori/groebner/IsVariableOfIndex.h
usr/include/polybori/groebner/LLReduction.h
usr/include/polybori/groebner/PolyMonomialPairComparerLess.h
usr/include/polybori/groebner/dlex4data.h
usr/include/polybori/groebner/ExpLexLess.h
usr/include/polybori/groebner/LexOrderGreaterComparer.h
usr/include/polybori/groebner/MonomialHasher.h
usr/include/polybori/groebner/ChainVariableCriterion.h
usr/include/polybori/groebner/Long64From32BitsPair.h
usr/include/polybori/groebner/MonomialTerms.h
usr/include/polybori/groebner/red_tail.h
usr/include/polybori/groebner/IJPairData.h
usr/include/polybori/groebner/SetAssociatedMinimal.h
usr/include/polybori/groebner/VariablePairData.h
usr/include/polybori/groebner/FGLMStrategy.h
usr/include/polybori/groebner/ZeroFunction.h
usr/include/polybori/groebner/IsEcart0Predicate.h
usr/include/polybori/groebner/polynomial_properties.h
usr/include/polybori/groebner/PSCompareByEl.h
usr/include/polybori/groebner/ExpGreater.h
usr/include/polybori/groebner/PolyMonomialPairComparerLexLess.h
usr/include/polybori/groebner/LeadingTerms11.h
usr/include/polybori/groebner/PairLSCompare.h
usr/include/polybori/groebner/nf.h
usr/include/polybori/groebner/LargerDegreeComparer.h
usr/include/polybori/groebner/LexHelper.h
usr/include/polybori/groebner/GroebnerOptions.h
usr/include/polybori/groebner/fixed_path_divisors.h
usr/include/polybori/groebner/HasTRepOrExtendedProductCriterion.h
usr/include/polybori/groebner/RankingVector.h
usr/include/polybori/groebner/PairE.h
usr/include/polybori/groebner/LiteralFactorizationIterator.h
usr/include/polybori/groebner/PseudoLongLong.h
usr/include/polybori/groebner/lp4data.h
usr/include/polybori/groebner/MinimalLeadingTerms.h
usr/include/polybori/common/traits.h
usr/include/polybori/common/CWeakPtr.h
usr/include/polybori/common/CWeakPtrFacade.h
usr/include/polybori/common/tags.h
usr/include/polybori/common/CExtrusivePtr.h
usr/include/polybori/common/CCheckedIdx.h
usr/include/polybori/common/TransformedSequence.h
usr/include/polybori/orderings/order_tags.h
usr/include/polybori/orderings/order_traits.h
usr/include/polybori/orderings/COrderingBase.h
usr/include/polybori/orderings/pbori_order.h
usr/include/polybori/orderings/COrderingTags.h
usr/include/polybori/orderings/CBlockOrderingFacade.h
usr/include/polybori/orderings/COrderingFacade.h
usr/include/polybori/cache/CDegreeCache.h
usr/include/polybori/cache/CacheManager.h
usr/include/polybori/cache/CCacheManagement.h
usr/include/polybori/cudd/prefix_internal.h
usr/include/polybori/cudd/cuddInt.h
usr/include/polybori/cudd/prefix.h
usr/include/polybori/cudd/cudd.h
usr/include/polybori/cudd/util.h
usr/include/polybori/diagram/CCuddDDFacade.h
usr/include/polybori/diagram/CNodeCounter.h
usr/include/polybori/diagram/CApplyNodeFacade.h
usr/include/polybori/diagram/CDDOperations.h
usr/include/polybori/iterators/CTermIter.h
usr/include/polybori/iterators/CCuddLastIter.h
usr/include/polybori/iterators/CCuddFirstIter.h
usr/include/polybori/iterators/CVariableIter.h
usr/include/polybori/iterators/CGenericIter.h
usr/include/polybori/iterators/TransformedIterator.h
usr/include/polybori/iterators/CTermGenerator.h
usr/include/polybori/iterators/CCuddNavigator.h
usr/include/polybori/iterators/CStackSelector.h
usr/include/polybori/iterators/CTermStack.h
usr/include/polybori/iterators/CExpIter.h
usr/include/polybori/iterators/PBoRiOutIter.h
usr/include/polybori/iterators/CBidirectTermIter.h
usr/include/polybori/iterators/COrderedIter.h
usr/include/polybori/routines/pbori_func.h
usr/include/polybori/routines/pbori_algorithms.h
usr/include/polybori/routines/pbori_algo_int.h
usr/include/polybori/routines/pbori_routines.h
usr/include/polybori/routines/pbori_algo.h
usr/include/polybori/routines/pbori_routines_misc.h
usr/include/polybori/routines/pbori_routines_dd.h
usr/include/polybori/routines/pbori_routines_hash.h
usr/include/polybori/routines/pbori_routines_cuddext.h
usr/include/polybori/routines/pbori_routines_order.h
