/usr/
    
        
    
                 | 
                
                    
                 | 
                
                    root:root
                 | 
                
                    0o755
                 | 
                
                    
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/
    
        
    
                 | 
                
                    
                 | 
                
                    root:root
                 | 
                
                    0o755
                 | 
                
                    
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/
    
        
    
                 | 
                
                    
                 | 
                
                    root:root
                 | 
                
                    0o755
                 | 
                
                    
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/
    
        
    
                 | 
                
                    
                 | 
                
                    root:root
                 | 
                
                    0o755
                 | 
                
                    
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/add_up.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    7.9 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/BitMask.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/BlockOrderHelper.h
    
        
    
                 | 
                
                    text/x-c
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.7 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/BoundedDivisorsOf.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.7 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/cache_manager.h
    
        
    
                 | 
                
                    text/x-c
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/ChainCriterion.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.3 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/ChainVariableCriterion.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.4 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/CheckChainCriterion.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.8 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/contained_variables.h
    
        
    
                 | 
                
                    text/x-c
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.3 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/CountCriterion.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.8 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/DegOrderHelper.h
    
        
    
                 | 
                
                    text/x-c
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.7 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/dlex4data.h
    
        
    
                 | 
                
                    text/x-c
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    223 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/dp_asc4data.h
    
        
    
                 | 
                
                    text/x-c
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    229 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/draw_matrix.h
    
        
    
                 | 
                
                    text/x-c
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.7 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/ExpGreater.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    962 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/ExpLexLess.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    866 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/FGLMStrategy.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/fixed_path_divisors.h
    
        
    
                 | 
                
                    text/x-c
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    4.4 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/GetNthPoly.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/groebner_alg.h
    
        
    
                 | 
                
                    text/x-c
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.8 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/groebner_defs.h
    
        
    
                 | 
                
                    text/x-c
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/groebner.h
    
        
    
                 | 
                
                    text/x-c
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    194 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/GroebnerOptions.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.7 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/GroebnerStrategy.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    6.8 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/HasTRepOrExtendedProductCriterion.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/IJPairData.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    906 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/interpolate.h
    
        
    
                 | 
                
                    text/x-c
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    644 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/IsEcart0Predicate.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1002 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/IsVariableOfIndex.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/LargerDegreeComparer.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    996 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/LeadingTerms00.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/LeadingTerms11.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/LeadingTerms.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/LessCombinedManySizesInStrat.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.4 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/LessEcartThenLessWeightedLengthInStrat.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.5 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/LessUsedTailVariablesThenLessWeightedLengthInStrat.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.6 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/LessWeightedLengthInStrat.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/LessWeightedLengthInStratModified.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.7 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/LexBucket.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/LexHelper.h
    
        
    
                 | 
                
                    text/x-c
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.3 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/LexOrderGreaterComparer.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/linear_algebra_step.h
    
        
    
                 | 
                
                    text/x-c
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    19.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/LiteralFactorization.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.4 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/LiteralFactorizationIterator.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/ll_red_nf.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/LLReduction.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/LLReductor.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/LMLessCompare.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    848 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/LMLessComparePS.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    867 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/Long64From32BitsPair.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.6 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/lp4data.h
    
        
    
                 | 
                
                    text/x-c
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    217 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/MatrixMonomialOrderTables.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.3 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/minimal_elements.h
    
        
    
                 | 
                
                    text/x-c
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    13.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/MinimalLeadingTerms.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/MonomialHasher.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    822 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/MonomialPlusOneTerms.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/MonomialTerms.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/NBitsUsed.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    947 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/NextSpoly.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/nf.h
    
        
    
                 | 
                
                    text/x-c
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.5 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/PairData.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    909 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/PairECompare.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/PairE.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.4 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/PairLSCompare.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/PairLS.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.9 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/PairManagerFacade.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/PairManager.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.5 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/pairs.h
    
        
    
                 | 
                
                    text/x-c
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    641 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/PairStatusSet.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.9 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/PolyEntryBase.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.9 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/PolyEntry.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.8 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/PolyEntryIndices.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.3 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/PolyEntryPtrLmLess.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    997 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/PolyEntryReference.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/PolyEntryVector.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.6 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/PolyFromPolyEntry.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/PolyMonomialPairComparerLess.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/PolyMonomialPairComparerLexLess.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/polynomial_properties.h
    
        
    
                 | 
                
                    text/x-c
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    282 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/PolynomialSugar.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/PolyPairData.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    896 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/PSCompareByEl.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    949 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/PseudoLongLong.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    872 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/PseudoLongProduct.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/randomset.h
    
        
    
                 | 
                
                    text/x-c
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    707 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/RankingVector.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/red_tail.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    6.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/RedTailNth.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/ReductionOptions.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/ReductionStrategy.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/ReductionTerms.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.4 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/RelatedTermsBase.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/RelatedTerms.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.7 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/SetAssociatedMinimal.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/SetBitUInt.h
    
        
    
                 | 
                
                    text/x-c
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    816 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/ShorterEliminationLength.h
    
        
    
                 | 
                
                    text/x-c
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/ShorterEliminationLengthModified.h
    
        
    
                 | 
                
                    text/x-c
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.3 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/SlimgbReduction.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/tables.h
    
        
    
                 | 
                
                    text/x-c
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    4.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/TermsFacade.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.4 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/TimesConstantImplication.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/TimesVariableSubstitution.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/VariablePairData.h
    
        
    
                 | 
                
                    text/x-c++
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    999 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/include/polybori/groebner/ZeroFunction.h
    
        
    
                 | 
                
                    text/x-c
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    821 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/
    
        
    
                 | 
                
                    
                 | 
                
                    root:root
                 | 
                
                    0o755
                 | 
                
                    
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/x86_64-linux-gnu/
    
        
    
                 | 
                
                    
                 | 
                
                    root:root
                 | 
                
                    0o755
                 | 
                
                    
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/x86_64-linux-gnu/libbrial_groebner.so
    
        
    
                 | 
                
                    
                 | 
                
                    root:root
                 | 
                
                    0o777
                 | 
                
                    
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/
    
        
    
                 | 
                
                    
                 | 
                
                    root:root
                 | 
                
                    0o755
                 | 
                
                    
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/doc/
    
        
    
                 | 
                
                    
                 | 
                
                    root:root
                 | 
                
                    0o755
                 | 
                
                    
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/doc/libbrial-groebner-dev/
    
        
    
                 | 
                
                    
                 | 
                
                    root:root
                 | 
                
                    0o755
                 | 
                
                    
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/doc/libbrial-groebner-dev/changelog.Debian.gz
    
        
    
                 | 
                
                    
                 | 
                
                    root:root
                 | 
                
                    0o777
                 | 
                
                    
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/doc/libbrial-groebner-dev/copyright
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.5 KB
                 |