[SCM] polybori: Polynomials over Boolean Rings branch, master, updated. upstream/0.8.2-38-g658ea30

Alexander Dreyer adreyer at gmx.de
Thu Jan 3 23:51:26 UTC 2013


The following commit has been merged in the master branch:
commit 658ea306be5d468b1d7213e07b653ebec9d63529
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Jan 4 00:31:16 2013 +0100

    Added .symbols files

diff --git a/debian/libpolybori-0.8.symbols b/debian/libpolybori-0.8.symbols
new file mode 100644
index 0000000..486a682
--- /dev/null
+++ b/debian/libpolybori-0.8.symbols
@@ -0,0 +1,1191 @@
+libpolybori-0.8.so.2 libpolybori #MINVER#
+ _Z10error_textP15pbori_DdManager at Base 0.8
+ _ZN5boost13intrusive_ptrI15pbori_DdManagerED1Ev at Base 0.8
+ _ZN5boost13intrusive_ptrI15pbori_DdManagerED2Ev at Base 0.8
+ _ZN5boost13intrusive_ptrIN8polybori9CCuddCoreEED1Ev at Base 0.8
+ _ZN5boost13intrusive_ptrIN8polybori9CCuddCoreEED2Ev at Base 0.8
+ _ZN5boost6detail12shared_countD1Ev at Base 0.8
+ _ZN5boost6detail12shared_countD2Ev at Base 0.8
+ _ZN5boost6detail15sp_counted_base7destroyEv at Base 0.8
+ _ZN5boost6detail15sp_counted_baseD0Ev at Base 0.8
+ _ZN5boost6detail15sp_counted_baseD1Ev at Base 0.8
+ _ZN5boost6detail15sp_counted_baseD2Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori11DegLexOrderEE11get_deleterERKSt9type_info at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori11DegLexOrderEE7disposeEv at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori11DegLexOrderEED0Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori11DegLexOrderEED1Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori11DegLexOrderEED2Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_10CTermStackINS2_14CCuddNavigatorESt20forward_iterator_tagNS2_18CAbstractStackBaseIS5_EEEEEEE11get_deleterERKSt9type_info at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_10CTermStackINS2_14CCuddNavigatorESt20forward_iterator_tagNS2_18CAbstractStackBaseIS5_EEEEEEE7disposeEv at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_10CTermStackINS2_14CCuddNavigatorESt20forward_iterator_tagNS2_18CAbstractStackBaseIS5_EEEEEEED0Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_10CTermStackINS2_14CCuddNavigatorESt20forward_iterator_tagNS2_18CAbstractStackBaseIS5_EEEEEEED1Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_10CTermStackINS2_14CCuddNavigatorESt20forward_iterator_tagNS2_18CAbstractStackBaseIS5_EEEEEEED2Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_13CDegTermStackINS2_14CCuddNavigatorENS2_11invalid_tagES6_NS2_18CAbstractStackBaseIS5_EEEEEEE11get_deleterERKSt9type_info at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_13CDegTermStackINS2_14CCuddNavigatorENS2_11invalid_tagES6_NS2_18CAbstractStackBaseIS5_EEEEEEE7disposeEv at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_13CDegTermStackINS2_14CCuddNavigatorENS2_11invalid_tagES6_NS2_18CAbstractStackBaseIS5_EEEEEEED0Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_13CDegTermStackINS2_14CCuddNavigatorENS2_11invalid_tagES6_NS2_18CAbstractStackBaseIS5_EEEEEEED1Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_13CDegTermStackINS2_14CCuddNavigatorENS2_11invalid_tagES6_NS2_18CAbstractStackBaseIS5_EEEEEEED2Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_13CDegTermStackINS2_14CCuddNavigatorENS2_9valid_tagENS2_11invalid_tagENS2_18CAbstractStackBaseIS5_EEEEEEE11get_deleterERKSt9type_info at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_13CDegTermStackINS2_14CCuddNavigatorENS2_9valid_tagENS2_11invalid_tagENS2_18CAbstractStackBaseIS5_EEEEEEE7disposeEv at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_13CDegTermStackINS2_14CCuddNavigatorENS2_9valid_tagENS2_11invalid_tagENS2_18CAbstractStackBaseIS5_EEEEEEED0Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_13CDegTermStackINS2_14CCuddNavigatorENS2_9valid_tagENS2_11invalid_tagENS2_18CAbstractStackBaseIS5_EEEEEEED1Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_13CDegTermStackINS2_14CCuddNavigatorENS2_9valid_tagENS2_11invalid_tagENS2_18CAbstractStackBaseIS5_EEEEEEED2Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_15CBlockTermStackINS2_14CCuddNavigatorENS2_11invalid_tagENS2_18CAbstractStackBaseIS5_EEEEEEE11get_deleterERKSt9type_info at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_15CBlockTermStackINS2_14CCuddNavigatorENS2_11invalid_tagENS2_18CAbstractStackBaseIS5_EEEEEEE7disposeEv at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_15CBlockTermStackINS2_14CCuddNavigatorENS2_11invalid_tagENS2_18CAbstractStackBaseIS5_EEEEEEED0Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_15CBlockTermStackINS2_14CCuddNavigatorENS2_11invalid_tagENS2_18CAbstractStackBaseIS5_EEEEEEED1Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_15CBlockTermStackINS2_14CCuddNavigatorENS2_11invalid_tagENS2_18CAbstractStackBaseIS5_EEEEEEED2Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_15CBlockTermStackINS2_14CCuddNavigatorENS2_9valid_tagENS2_18CAbstractStackBaseIS5_EEEEEEE11get_deleterERKSt9type_info at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_15CBlockTermStackINS2_14CCuddNavigatorENS2_9valid_tagENS2_18CAbstractStackBaseIS5_EEEEEEE7disposeEv at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_15CBlockTermStackINS2_14CCuddNavigatorENS2_9valid_tagENS2_18CAbstractStackBaseIS5_EEEEEEED0Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_15CBlockTermStackINS2_14CCuddNavigatorENS2_9valid_tagENS2_18CAbstractStackBaseIS5_EEEEEEED1Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_15CBlockTermStackINS2_14CCuddNavigatorENS2_9valid_tagENS2_18CAbstractStackBaseIS5_EEEEEEED2Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori16BlockDegLexOrderEE11get_deleterERKSt9type_info at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori16BlockDegLexOrderEE7disposeEv at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori16BlockDegLexOrderEED0Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori16BlockDegLexOrderEED1Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori16BlockDegLexOrderEED2Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori17DegRevLexAscOrderEE11get_deleterERKSt9type_info at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori17DegRevLexAscOrderEE7disposeEv at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori17DegRevLexAscOrderEED0Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori17DegRevLexAscOrderEED1Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori17DegRevLexAscOrderEED2Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori22BlockDegRevLexAscOrderEE11get_deleterERKSt9type_info at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori22BlockDegRevLexAscOrderEE7disposeEv at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori22BlockDegRevLexAscOrderEED0Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori22BlockDegRevLexAscOrderEED1Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori22BlockDegRevLexAscOrderEED2Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori8LexOrderEE11get_deleterERKSt9type_info at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori8LexOrderEE7disposeEv at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori8LexOrderEED0Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori8LexOrderEED1Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori8LexOrderEED2Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIPN8polybori9CCuddCoreEE11get_deleterERKSt9type_info at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIPN8polybori9CCuddCoreEE7disposeEv at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIPN8polybori9CCuddCoreEED0Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIPN8polybori9CCuddCoreEED1Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIPN8polybori9CCuddCoreEED2Ev at Base 0.8
+ _ZN8polybori10CErrorInfo10pErrorTextE at Base 0.8
+ _ZN8polybori10CErrorInfo4textEj at Base 0.8
+ _ZN8polybori10CErrorInfoC1Ev at Base 0.8
+ _ZN8polybori10CErrorInfoC2Ev at Base 0.8
+ _ZN8polybori10CTermStackINS_14CCuddNavigatorESt20forward_iterator_tagNS_12internal_tagEE9terminateEv at Base 0.8
+ _ZN8polybori10CTermStackINS_14CCuddNavigatorESt20forward_iterator_tagNS_18CAbstractStackBaseIS1_EEE9incrementEv at Base 0.8
+ _ZN8polybori10CTermStackINS_14CCuddNavigatorESt20forward_iterator_tagNS_18CAbstractStackBaseIS1_EEE9terminateEv at Base 0.8
+ _ZN8polybori10CTermStackINS_14CCuddNavigatorESt20forward_iterator_tagNS_18CAbstractStackBaseIS1_EEED0Ev at Base 0.8
+ _ZN8polybori10CTermStackINS_14CCuddNavigatorESt20forward_iterator_tagNS_18CAbstractStackBaseIS1_EEED1Ev at Base 0.8
+ _ZN8polybori10CTermStackINS_14CCuddNavigatorESt20forward_iterator_tagNS_18CAbstractStackBaseIS1_EEED2Ev at Base 0.8
+ _ZN8polybori10CTermStackINS_14CCuddNavigatorESt26bidirectional_iterator_tagNS_12internal_tagEED1Ev at Base 0.8
+ _ZN8polybori10CTermStackINS_14CCuddNavigatorESt26bidirectional_iterator_tagNS_12internal_tagEED2Ev at Base 0.8
+ _ZN8polybori10CTermStackINS_14CCuddNavigatorESt26bidirectional_iterator_tagNS_18CAbstractStackBaseIS1_EEE13incrementElseEv at Base 0.8
+ _ZN8polybori10CTermStackINS_14CCuddNavigatorESt26bidirectional_iterator_tagNS_18CAbstractStackBaseIS1_EEE6appendINS0_IS1_S2_NS_12internal_tagEEEEEvRKT_ at Base 0.8
+ _ZN8polybori10CTermStackINS_14CCuddNavigatorESt26bidirectional_iterator_tagNS_18CAbstractStackBaseIS1_EEE9incrementEv at Base 0.8
+ _ZN8polybori10CTermStackINS_14CCuddNavigatorESt26bidirectional_iterator_tagNS_18CAbstractStackBaseIS1_EEE9terminateEv at Base 0.8
+ _ZN8polybori10CTermStackINS_14CCuddNavigatorESt26bidirectional_iterator_tagNS_18CAbstractStackBaseIS1_EEED0Ev at Base 0.8
+ _ZN8polybori10CTermStackINS_14CCuddNavigatorESt26bidirectional_iterator_tagNS_18CAbstractStackBaseIS1_EEED1Ev at Base 0.8
+ _ZN8polybori10CTermStackINS_14CCuddNavigatorESt26bidirectional_iterator_tagNS_18CAbstractStackBaseIS1_EEED2Ev at Base 0.8
+ _ZN8polybori10PBoRiErrorC1ERKS0_ at Base 0.8
+ _ZN8polybori10PBoRiErrorC1Ej at Base 0.8
+ _ZN8polybori10PBoRiErrorC2ERKS0_ at Base 0.8
+ _ZN8polybori10PBoRiErrorC2Ej at Base 0.8
+ _ZN8polybori10PBoRiErrorD0Ev at Base 0.8
+ _ZN8polybori10PBoRiErrorD1Ev at Base 0.8
+ _ZN8polybori10PBoRiErrorD2Ev at Base 0.8
+ _ZN8polybori10exp_divideINS_13BooleExponentES1_St6vectorIiSaIiEEEEvRKT_RKT0_RT1_ at Base 0.8
+ _ZN8polybori11DegLexOrderD0Ev at Base 0.8
+ _ZN8polybori11DegLexOrderD1Ev at Base 0.8
+ _ZN8polybori11DegLexOrderD2Ev at Base 0.8
+ _ZN8polybori11block_beginERKNS_13BoolePolyRingE at Base 0.8
+ _ZN8polybori11count_indexIdiNS_14CCuddNavigatorENS_8BooleSetEEERT_S4_T0_T1_RKT2_ at Base 0.8
+ _ZN8polybori11count_indexImiNS_14CCuddNavigatorENS_8BooleSetEEERT_S4_T0_T1_RKT2_ at Base 0.8
+ _ZN8polybori11dd_lex_leadINS_12CacheManagerINS_11CCacheTypes8lex_leadEEENS_14CCuddNavigatorENS_8BooleSetEEET1_RKT_T0_RKS7_ at Base 0.8
+ _ZN8polybori11dd_multiplyILb0ENS_23CommutativeCacheManagerINS_11CCacheTypes18multiply_recursiveEEENS_14CCuddNavigatorENS_15BoolePolynomialEEET2_RKT0_T1_SB_S7_ at Base 0.8
+ _ZN8polybori12CNodeCounterINS_14CCuddNavigatorEEclES1_ at Base 0.8
+ _ZN8polybori12COrderedIterINS_14CCuddNavigatorENS_13BooleExponentEE9incrementEv at Base 0.8
+ _ZN8polybori12get_orderingEi at Base 0.8
+ _ZN8polybori13BooleExponent12changeAssignEi at Base 0.8
+ _ZN8polybori13BooleExponent3getERKNS_13BooleMonomialE at Base 0.8
+ _ZN8polybori13BooleExponent6insertEi at Base 0.8
+ _ZN8polybori13BooleExponent6removeEi at Base 0.8
+ _ZN8polybori13BooleExponent9push_backEi at Base 0.8
+ _ZN8polybori13BooleExponentC1ERKNS_13BooleMonomialE at Base 0.8
+ _ZN8polybori13BooleExponentC1ERKS0_ at Base 0.8
+ _ZN8polybori13BooleExponentC1Ev at Base 0.8
+ _ZN8polybori13BooleExponentC2ERKNS_13BooleMonomialE at Base 0.8
+ _ZN8polybori13BooleExponentC2ERKS0_ at Base 0.8
+ _ZN8polybori13BooleExponentC2Ev at Base 0.8
+ _ZN8polybori13BooleExponentD1Ev at Base 0.8
+ _ZN8polybori13BooleExponentD2Ev at Base 0.8
+ _ZN8polybori13BooleMonomial9GCDAssignERKS0_ at Base 0.8
+ _ZN8polybori13BooleMonomial9LCMAssignERKS0_ at Base 0.8
+ _ZN8polybori13BooleMonomialC1ERKNS_13BooleVariableE at Base 0.8
+ _ZN8polybori13BooleMonomialC2ERKNS_13BooleVariableE at Base 0.8
+ _ZN8polybori13BooleMonomialdVERKNS_13BooleVariableE at Base 0.8
+ _ZN8polybori13BooleMonomialdVERKS0_ at Base 0.8
+ _ZN8polybori13BooleMonomialmLERKNS_13BooleVariableE at Base 0.8
+ _ZN8polybori13BooleMonomialmLERKS0_ at Base 0.8
+ _ZN8polybori13BoolePolyRing14changeOrderingEi at Base 0.8
+ _ZN8polybori13BoolePolyRingC1Emi at Base 0.8
+ _ZN8polybori13BoolePolyRingC2Emi at Base 0.8
+ _ZN8polybori13CCacheManBaseINS_13BoolePolyRingENS_11CCacheTypes10divisorsofELj2EE11cache_dummyEP15pbori_DdManagerP6DdNodeS8_ at Base 0.8
+ _ZN8polybori13CCacheManBaseINS_13BoolePolyRingENS_11CCacheTypes10mod_varsetELj2EE11cache_dummyEP15pbori_DdManagerP6DdNodeS8_ at Base 0.8
+ _ZN8polybori13CCacheManBaseINS_13BoolePolyRingENS_11CCacheTypes11graded_partELj2EE11cache_dummyEP15pbori_DdManagerP6DdNodeS8_ at Base 0.8
+ _ZN8polybori13CCacheManBaseINS_13BoolePolyRingENS_11CCacheTypes11multiplesofELj2EE11cache_dummyEP15pbori_DdManagerP6DdNodeS8_ at Base 0.8
+ _ZN8polybori13CCacheManBaseINS_13BoolePolyRingENS_11CCacheTypes12block_degreeELj2EE11cache_dummyEP15pbori_DdManagerP6DdNodeS8_ at Base 0.8
+ _ZN8polybori13CCacheManBaseINS_13BoolePolyRingENS_11CCacheTypes14exist_abstractELj2EE11cache_dummyEP15pbori_DdManagerP6DdNodeS8_ at Base 0.8
+ _ZN8polybori13CCacheManBaseINS_13BoolePolyRingENS_11CCacheTypes14used_variablesELj1EE11cache_dummyEP15pbori_DdManagerP6DdNode at Base 0.8
+ _ZN8polybori13CCacheManBaseINS_13BoolePolyRingENS_11CCacheTypes16minimal_elementsELj1EE11cache_dummyEP15pbori_DdManagerP6DdNode at Base 0.8
+ _ZN8polybori13CCacheManBaseINS_13BoolePolyRingENS_11CCacheTypes18multiply_recursiveELj2EE11cache_dummyEP15pbori_DdManagerP6DdNodeS8_ at Base 0.8
+ _ZN8polybori13CCacheManBaseINS_13BoolePolyRingENS_11CCacheTypes6degreeELj1EE11cache_dummyEP15pbori_DdManagerP6DdNode at Base 0.8
+ _ZN8polybori13CCacheManBaseINS_13BoolePolyRingENS_11CCacheTypes6degreeELj2EE11cache_dummyEP15pbori_DdManagerP6DdNodeS8_ at Base 0.8
+ _ZN8polybori13CCacheManBaseINS_13BoolePolyRingENS_11CCacheTypes6divideELj2EE11cache_dummyEP15pbori_DdManagerP6DdNodeS8_ at Base 0.8
+ _ZN8polybori13CCacheManBaseINS_13BoolePolyRingENS_11CCacheTypes8lead_tagINS_10dp_asc_tagEEELj2EE11cache_dummyEP15pbori_DdManagerP6DdNodeSA_ at Base 0.8
+ _ZN8polybori13CCacheManBaseINS_13BoolePolyRingENS_11CCacheTypes8lead_tagINS_8dlex_tagEEELj2EE11cache_dummyEP15pbori_DdManagerP6DdNodeSA_ at Base 0.8
+ _ZN8polybori13CCacheManBaseINS_13BoolePolyRingENS_11CCacheTypes8lex_leadELj1EE11cache_dummyEP15pbori_DdManagerP6DdNode at Base 0.8
+ _ZN8polybori13CCuddDDFacadeINS_13BoolePolyRingENS_8BooleSetEE10getNewNodeEiRKS3_S5_ at Base 0.8
+ _ZN8polybori13CCuddDDFacadeINS_13BoolePolyRingENS_8BooleSetEEC1ERKS1_P6DdNode at Base 0.8
+ _ZN8polybori13CCuddDDFacadeINS_13BoolePolyRingENS_8BooleSetEEC2ERKS1_P6DdNode at Base 0.8
+ _ZN8polybori13CCuddLastIter17terminateConstantEv at Base 0.8
+ _ZN8polybori13CCuddLastIterC1EP6DdNode at Base 0.8
+ _ZN8polybori13CCuddLastIterC1ERKS0_ at Base 0.8
+ _ZN8polybori13CCuddLastIterC2EP6DdNode at Base 0.8
+ _ZN8polybori13CCuddLastIterC2ERKS0_ at Base 0.8
+ _ZN8polybori13CCuddLastIterD1Ev at Base 0.8
+ _ZN8polybori13CCuddLastIterD2Ev at Base 0.8
+ _ZN8polybori13CCuddLastIterppEi at Base 0.8
+ _ZN8polybori13CCuddLastIterppEv at Base 0.8
+ _ZN8polybori13CDDOperationsINS_8BooleSetENS_13BooleMonomialEE13usedVariablesERKS1_ at Base 0.8
+ _ZN8polybori13CDegStackBaseINS_14CCuddNavigatorENS_11invalid_tagENS_9valid_tagENS_12internal_tagEED1Ev at Base 0.8
+ _ZN8polybori13CDegStackBaseINS_14CCuddNavigatorENS_11invalid_tagENS_9valid_tagENS_12internal_tagEED2Ev at Base 0.8
+ _ZN8polybori13CDegStackBaseINS_14CCuddNavigatorENS_11invalid_tagENS_9valid_tagENS_18CAbstractStackBaseIS1_EEED0Ev at Base 0.8
+ _ZN8polybori13CDegStackBaseINS_14CCuddNavigatorENS_11invalid_tagENS_9valid_tagENS_18CAbstractStackBaseIS1_EEED1Ev at Base 0.8
+ _ZN8polybori13CDegStackBaseINS_14CCuddNavigatorENS_11invalid_tagENS_9valid_tagENS_18CAbstractStackBaseIS1_EEED2Ev at Base 0.8
+ _ZN8polybori13CDegStackBaseINS_14CCuddNavigatorENS_11invalid_tagES2_NS_12internal_tagEED1Ev at Base 0.8
+ _ZN8polybori13CDegStackBaseINS_14CCuddNavigatorENS_11invalid_tagES2_NS_12internal_tagEED2Ev at Base 0.8
+ _ZN8polybori13CDegStackBaseINS_14CCuddNavigatorENS_11invalid_tagES2_NS_18CAbstractStackBaseIS1_EEED0Ev at Base 0.8
+ _ZN8polybori13CDegStackBaseINS_14CCuddNavigatorENS_11invalid_tagES2_NS_18CAbstractStackBaseIS1_EEED1Ev at Base 0.8
+ _ZN8polybori13CDegStackBaseINS_14CCuddNavigatorENS_11invalid_tagES2_NS_18CAbstractStackBaseIS1_EEED2Ev at Base 0.8
+ _ZN8polybori13CDegStackBaseINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_12internal_tagEED1Ev at Base 0.8
+ _ZN8polybori13CDegStackBaseINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_12internal_tagEED2Ev at Base 0.8
+ _ZN8polybori13CDegStackBaseINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_18CAbstractStackBaseIS1_EEED0Ev at Base 0.8
+ _ZN8polybori13CDegStackBaseINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_18CAbstractStackBaseIS1_EEED1Ev at Base 0.8
+ _ZN8polybori13CDegStackBaseINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_18CAbstractStackBaseIS1_EEED2Ev at Base 0.8
+ _ZN8polybori13CDegStackBaseINS_14CCuddNavigatorENS_9valid_tagES2_NS_12internal_tagEED1Ev at Base 0.8
+ _ZN8polybori13CDegStackBaseINS_14CCuddNavigatorENS_9valid_tagES2_NS_12internal_tagEED2Ev at Base 0.8
+ _ZN8polybori13CDegStackBaseINS_14CCuddNavigatorENS_9valid_tagES2_NS_18CAbstractStackBaseIS1_EEED0Ev at Base 0.8
+ _ZN8polybori13CDegStackBaseINS_14CCuddNavigatorENS_9valid_tagES2_NS_18CAbstractStackBaseIS1_EEED1Ev at Base 0.8
+ _ZN8polybori13CDegStackBaseINS_14CCuddNavigatorENS_9valid_tagES2_NS_18CAbstractStackBaseIS1_EEED2Ev at Base 0.8
+ _ZN8polybori13CDegStackCoreINS_14CCuddNavigatorENS_11invalid_tagESt20forward_iterator_tagNS_18CAbstractStackBaseIS1_EEED0Ev at Base 0.8
+ _ZN8polybori13CDegStackCoreINS_14CCuddNavigatorENS_11invalid_tagESt20forward_iterator_tagNS_18CAbstractStackBaseIS1_EEED1Ev at Base 0.8
+ _ZN8polybori13CDegStackCoreINS_14CCuddNavigatorENS_11invalid_tagESt20forward_iterator_tagNS_18CAbstractStackBaseIS1_EEED2Ev at Base 0.8
+ _ZN8polybori13CDegStackCoreINS_14CCuddNavigatorENS_11invalid_tagESt26bidirectional_iterator_tagNS_18CAbstractStackBaseIS1_EEED0Ev at Base 0.8
+ _ZN8polybori13CDegStackCoreINS_14CCuddNavigatorENS_11invalid_tagESt26bidirectional_iterator_tagNS_18CAbstractStackBaseIS1_EEED1Ev at Base 0.8
+ _ZN8polybori13CDegStackCoreINS_14CCuddNavigatorENS_11invalid_tagESt26bidirectional_iterator_tagNS_18CAbstractStackBaseIS1_EEED2Ev at Base 0.8
+ _ZN8polybori13CDegStackCoreINS_14CCuddNavigatorENS_9valid_tagESt20forward_iterator_tagNS_18CAbstractStackBaseIS1_EEE7gotoEndEv at Base 0.8
+ _ZN8polybori13CDegStackCoreINS_14CCuddNavigatorENS_9valid_tagESt20forward_iterator_tagNS_18CAbstractStackBaseIS1_EEED0Ev at Base 0.8
+ _ZN8polybori13CDegStackCoreINS_14CCuddNavigatorENS_9valid_tagESt20forward_iterator_tagNS_18CAbstractStackBaseIS1_EEED1Ev at Base 0.8
+ _ZN8polybori13CDegStackCoreINS_14CCuddNavigatorENS_9valid_tagESt20forward_iterator_tagNS_18CAbstractStackBaseIS1_EEED2Ev at Base 0.8
+ _ZN8polybori13CDegStackCoreINS_14CCuddNavigatorENS_9valid_tagESt26bidirectional_iterator_tagNS_18CAbstractStackBaseIS1_EEE7gotoEndEv at Base 0.8
+ _ZN8polybori13CDegStackCoreINS_14CCuddNavigatorENS_9valid_tagESt26bidirectional_iterator_tagNS_18CAbstractStackBaseIS1_EEED0Ev at Base 0.8
+ _ZN8polybori13CDegStackCoreINS_14CCuddNavigatorENS_9valid_tagESt26bidirectional_iterator_tagNS_18CAbstractStackBaseIS1_EEED1Ev at Base 0.8
+ _ZN8polybori13CDegStackCoreINS_14CCuddNavigatorENS_9valid_tagESt26bidirectional_iterator_tagNS_18CAbstractStackBaseIS1_EEED2Ev at Base 0.8
+ _ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_11invalid_tagENS_9valid_tagENS_18CAbstractStackBaseIS1_EEE7degTermEv at Base 0.8
+ _ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_11invalid_tagENS_9valid_tagENS_18CAbstractStackBaseIS1_EEE8findTermEm at Base 0.8
+ _ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_11invalid_tagENS_9valid_tagENS_18CAbstractStackBaseIS1_EEE9incrementEv at Base 0.8
+ _ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_11invalid_tagENS_9valid_tagENS_18CAbstractStackBaseIS1_EEED0Ev at Base 0.8
+ _ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_11invalid_tagENS_9valid_tagENS_18CAbstractStackBaseIS1_EEED1Ev at Base 0.8
+ _ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_11invalid_tagENS_9valid_tagENS_18CAbstractStackBaseIS1_EEED2Ev at Base 0.8
+ _ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_11invalid_tagES2_NS_12internal_tagEE4initEv at Base 0.8
+ _ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_11invalid_tagES2_NS_18CAbstractStackBaseIS1_EEE7degTermEv at Base 0.8
+ _ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_11invalid_tagES2_NS_18CAbstractStackBaseIS1_EEE8findTermEm at Base 0.8
+ _ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_11invalid_tagES2_NS_18CAbstractStackBaseIS1_EEE9incrementEv at Base 0.8
+ _ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_11invalid_tagES2_NS_18CAbstractStackBaseIS1_EEED0Ev at Base 0.8
+ _ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_11invalid_tagES2_NS_18CAbstractStackBaseIS1_EEED1Ev at Base 0.8
+ _ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_11invalid_tagES2_NS_18CAbstractStackBaseIS1_EEED2Ev at Base 0.8
+ _ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_12internal_tagEE4initEv at Base 0.8
+ _ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_18CAbstractStackBaseIS1_EEE7degTermEv at Base 0.8
+ _ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_18CAbstractStackBaseIS1_EEE8findTermEm at Base 0.8
+ _ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_18CAbstractStackBaseIS1_EEE9incrementEv at Base 0.8
+ _ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_18CAbstractStackBaseIS1_EEED0Ev at Base 0.8
+ _ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_18CAbstractStackBaseIS1_EEED1Ev at Base 0.8
+ _ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_18CAbstractStackBaseIS1_EEED2Ev at Base 0.8
+ _ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagES2_NS_18CAbstractStackBaseIS1_EEE7degTermEv at Base 0.8
+ _ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagES2_NS_18CAbstractStackBaseIS1_EEE8findTermEm at Base 0.8
+ _ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagES2_NS_18CAbstractStackBaseIS1_EEE9incrementEv at Base 0.8
+ _ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagES2_NS_18CAbstractStackBaseIS1_EEED0Ev at Base 0.8
+ _ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagES2_NS_18CAbstractStackBaseIS1_EEED1Ev at Base 0.8
+ _ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagES2_NS_18CAbstractStackBaseIS1_EEED2Ev at Base 0.8
+ _ZN8polybori13CExtrusivePtrINS_13BoolePolyRingE6DdNodeEC1ERKS3_ at Base 0.8
+ _ZN8polybori13CExtrusivePtrINS_13BoolePolyRingE6DdNodeEC2ERKS3_ at Base 0.8
+ _ZN8polybori13CExtrusivePtrINS_13BoolePolyRingE6DdNodeED1Ev at Base 0.8
+ _ZN8polybori13CExtrusivePtrINS_13BoolePolyRingE6DdNodeED2Ev at Base 0.8
+ _ZN8polybori13COrderingBase11appendBlockENS_11CCheckedIdxE at Base 0.8
+ _ZN8polybori13COrderingBase11clearBlocksEv at Base 0.8
+ _ZN8polybori13CWrappedStackINS_10CTermStackINS_14CCuddNavigatorESt20forward_iterator_tagNS_18CAbstractStackBaseIS2_EEEEED0Ev at Base 0.8
+ _ZN8polybori13CWrappedStackINS_10CTermStackINS_14CCuddNavigatorESt20forward_iterator_tagNS_18CAbstractStackBaseIS2_EEEEED1Ev at Base 0.8
+ _ZN8polybori13CWrappedStackINS_10CTermStackINS_14CCuddNavigatorESt20forward_iterator_tagNS_18CAbstractStackBaseIS2_EEEEED2Ev at Base 0.8
+ _ZN8polybori13CWrappedStackINS_13CDegTermStackINS_14CCuddNavigatorENS_11invalid_tagES3_NS_18CAbstractStackBaseIS2_EEEEEC1INS_13BoolePolyRingEEES2_RKT_ at Base 0.8
+ _ZN8polybori13CWrappedStackINS_13CDegTermStackINS_14CCuddNavigatorENS_11invalid_tagES3_NS_18CAbstractStackBaseIS2_EEEEEC2INS_13BoolePolyRingEEES2_RKT_ at Base 0.8
+ _ZN8polybori13CWrappedStackINS_13CDegTermStackINS_14CCuddNavigatorENS_11invalid_tagES3_NS_18CAbstractStackBaseIS2_EEEEED0Ev at Base 0.8
+ _ZN8polybori13CWrappedStackINS_13CDegTermStackINS_14CCuddNavigatorENS_11invalid_tagES3_NS_18CAbstractStackBaseIS2_EEEEED1Ev at Base 0.8
+ _ZN8polybori13CWrappedStackINS_13CDegTermStackINS_14CCuddNavigatorENS_11invalid_tagES3_NS_18CAbstractStackBaseIS2_EEEEED2Ev at Base 0.8
+ _ZN8polybori13CWrappedStackINS_13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_18CAbstractStackBaseIS2_EEEEEC1INS_13BoolePolyRingEEES2_RKT_ at Base 0.8
+ _ZN8polybori13CWrappedStackINS_13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_18CAbstractStackBaseIS2_EEEEEC2INS_13BoolePolyRingEEES2_RKT_ at Base 0.8
+ _ZN8polybori13CWrappedStackINS_13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_18CAbstractStackBaseIS2_EEEEED0Ev at Base 0.8
+ _ZN8polybori13CWrappedStackINS_13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_18CAbstractStackBaseIS2_EEEEED1Ev at Base 0.8
+ _ZN8polybori13CWrappedStackINS_13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_18CAbstractStackBaseIS2_EEEEED2Ev at Base 0.8
+ _ZN8polybori13CWrappedStackINS_15CBlockTermStackINS_14CCuddNavigatorENS_11invalid_tagENS_18CAbstractStackBaseIS2_EEEEEC1INS_13BoolePolyRingEEES2_RKT_ at Base 0.8
+ _ZN8polybori13CWrappedStackINS_15CBlockTermStackINS_14CCuddNavigatorENS_11invalid_tagENS_18CAbstractStackBaseIS2_EEEEEC2INS_13BoolePolyRingEEES2_RKT_ at Base 0.8
+ _ZN8polybori13CWrappedStackINS_15CBlockTermStackINS_14CCuddNavigatorENS_11invalid_tagENS_18CAbstractStackBaseIS2_EEEEED0Ev at Base 0.8
+ _ZN8polybori13CWrappedStackINS_15CBlockTermStackINS_14CCuddNavigatorENS_11invalid_tagENS_18CAbstractStackBaseIS2_EEEEED1Ev at Base 0.8
+ _ZN8polybori13CWrappedStackINS_15CBlockTermStackINS_14CCuddNavigatorENS_11invalid_tagENS_18CAbstractStackBaseIS2_EEEEED2Ev at Base 0.8
+ _ZN8polybori13CWrappedStackINS_15CBlockTermStackINS_14CCuddNavigatorENS_9valid_tagENS_18CAbstractStackBaseIS2_EEEEEC1INS_13BoolePolyRingEEES2_RKT_ at Base 0.8
+ _ZN8polybori13CWrappedStackINS_15CBlockTermStackINS_14CCuddNavigatorENS_9valid_tagENS_18CAbstractStackBaseIS2_EEEEEC2INS_13BoolePolyRingEEES2_RKT_ at Base 0.8
+ _ZN8polybori13CWrappedStackINS_15CBlockTermStackINS_14CCuddNavigatorENS_9valid_tagENS_18CAbstractStackBaseIS2_EEEEED0Ev at Base 0.8
+ _ZN8polybori13CWrappedStackINS_15CBlockTermStackINS_14CCuddNavigatorENS_9valid_tagENS_18CAbstractStackBaseIS2_EEEEED1Ev at Base 0.8
+ _ZN8polybori13CWrappedStackINS_15CBlockTermStackINS_14CCuddNavigatorENS_9valid_tagENS_18CAbstractStackBaseIS2_EEEEED2Ev at Base 0.8
+ _ZN8polybori13dd_print_termIN9__gnu_cxx17__normal_iteratorIPKiSt6vectorIiSaIiEEEENS_13variable_nameINS_13BoolePolyRingEiPKcEENS_14CStringLiteralILj4EEENS_17integral_constantIjLj1EjEESoEEvT_SI_RKT0_RKT1_RKT2_RT3_ at Base 0.8
+ _ZN8polybori13dd_print_termINS_13BooleMonomialENS_13variable_nameINS_13BoolePolyRingEiPKcEENS_14CStringLiteralILj5EEENS7_ILj0EEESoEEvRKT_RKT0_RKT1_RKT2_RT3_ at Base 0.8
+ _ZN8polybori13dd_print_termINS_14CCuddFirstIterENS_13variable_nameINS_13BoolePolyRingEiPKcEENS_14CStringLiteralILj5EEENS7_ILj0EEESoEEvT_SA_RKT0_RKT1_RKT2_RT3_ at Base 0.8
+ _ZN8polybori14CCuddInterface8callBackIMS0_KFvP6DdNodeEEENS_16CCallbackWrapperIT_EES7_ at Base 0.8
+ _ZN8polybori14CCuddInterfaceC1Emmmmm at Base 0.8
+ _ZN8polybori14CCuddInterfaceC2Emmmmm at Base 0.8
+ _ZN8polybori14CCuddInterfaceD1Ev at Base 0.8
+ _ZN8polybori14CCuddInterfaceD2Ev at Base 0.8
+ _ZN8polybori14CTermStackBaseINS_14CCuddNavigatorENS_12internal_tagEE10followThenEv at Base 0.8
+ _ZN8polybori14CTermStackBaseINS_14CCuddNavigatorENS_12internal_tagEEC1ES1_ at Base 0.8
+ _ZN8polybori14CTermStackBaseINS_14CCuddNavigatorENS_12internal_tagEEC2ES1_ at Base 0.8
+ _ZN8polybori14CTermStackBaseINS_14CCuddNavigatorENS_18CAbstractStackBaseIS1_EEE10followThenEv at Base 0.8
+ _ZN8polybori14CTermStackBaseINS_14CCuddNavigatorENS_18CAbstractStackBaseIS1_EEE13incrementThenEv at Base 0.8
+ _ZN8polybori14CTermStackBaseINS_14CCuddNavigatorENS_18CAbstractStackBaseIS1_EEED0Ev at Base 0.8
+ _ZN8polybori14CTermStackBaseINS_14CCuddNavigatorENS_18CAbstractStackBaseIS1_EEED1Ev at Base 0.8
+ _ZN8polybori14CTermStackBaseINS_14CCuddNavigatorENS_18CAbstractStackBaseIS1_EEED2Ev at Base 0.8
+ _ZN8polybori14CVariableNames5resetEi at Base 0.8
+ _ZN8polybori14CVariableNamesC1Em at Base 0.8
+ _ZN8polybori14CVariableNamesC2Em at Base 0.8
+ _ZN8polybori14CVariableNamesD1Ev at Base 0.8
+ _ZN8polybori14CVariableNamesD2Ev at Base 0.8
+ _ZN8polybori14CWeakPtrFacadeINS_9CCuddCoreEED1Ev at Base 0.8
+ _ZN8polybori14CWeakPtrFacadeINS_9CCuddCoreEED2Ev at Base 0.8
+ _ZN8polybori14dd_graded_partINS_20CDegreeArgumentCacheINS_11CCacheTypes11graded_partENS_8BooleSetEEENS_14CCuddNavigatorEiS4_EET2_RKT_T0_T1_S7_ at Base 0.8
+ _ZN8polybori14dd_print_termsINS_12CGenericIterINS_8LexOrderENS_14CCuddNavigatorENS_13BooleMonomialEEENS_13variable_nameINS_13BoolePolyRingEiPKcEENS_14CStringLiteralILj10EEENSB_ILj5EEENSB_ILj0EEESoEEvT_SF_RKT0_RKT1_RKT2_RKT3_RT4_ at Base 0.8
+ _ZN8polybori14dd_print_termsINS_12COrderedIterINS_14CCuddNavigatorENS_13BooleExponentEEENS_13variable_nameINS_13BoolePolyRingEiPKcEENS_14CStringLiteralILj3EEENSA_ILj4EEENS_17integral_constantIjLj1EjEESoEEvT_SF_RKT0_RKT1_RKT2_RKT3_RT4_ at Base 0.8
+ _ZN8polybori15BoolePolynomialC1ERKNS_13BooleExponentERKNS_13BoolePolyRingE at Base 0.8
+ _ZN8polybori15BoolePolynomialC2ERKNS_13BooleExponentERKNS_13BoolePolyRingE at Base 0.8
+ _ZN8polybori15BoolePolynomialdVENS_13BooleConstantE at Base 0.8
+ _ZN8polybori15BoolePolynomialdVERKNS_13BooleExponentE at Base 0.8
+ _ZN8polybori15BoolePolynomialdVERKNS_13BooleMonomialE at Base 0.8
+ _ZN8polybori15BoolePolynomialdVERKNS_13BooleVariableE at Base 0.8
+ _ZN8polybori15BoolePolynomialdVERKS0_ at Base 0.8
+ _ZN8polybori15BoolePolynomialmLERKNS_13BooleExponentE at Base 0.8
+ _ZN8polybori15BoolePolynomialmLERKNS_13BooleMonomialE at Base 0.8
+ _ZN8polybori15BoolePolynomialmLERKS0_ at Base 0.8
+ _ZN8polybori15BoolePolynomialpLERKS0_ at Base 0.8
+ _ZN8polybori15BoolePolynomialrMERKNS_13BooleMonomialE at Base 0.8
+ _ZN8polybori15BoolePolynomialrMERKNS_13BooleVariableE at Base 0.8
+ _ZN8polybori15CBlockTermStackINS_14CCuddNavigatorENS_11invalid_tagENS_12internal_tagEE14followBlockDegEv at Base 0.8
+ _ZN8polybori15CBlockTermStackINS_14CCuddNavigatorENS_11invalid_tagENS_12internal_tagEE4initEv at Base 0.8
+ _ZN8polybori15CBlockTermStackINS_14CCuddNavigatorENS_11invalid_tagENS_12internal_tagEEC1ES1_RKNS_13BoolePolyRingE at Base 0.8
+ _ZN8polybori15CBlockTermStackINS_14CCuddNavigatorENS_11invalid_tagENS_12internal_tagEEC2ES1_RKNS_13BoolePolyRingE at Base 0.8
+ _ZN8polybori15CBlockTermStackINS_14CCuddNavigatorENS_11invalid_tagENS_18CAbstractStackBaseIS1_EEE14followBlockDegEv at Base 0.8
+ _ZN8polybori15CBlockTermStackINS_14CCuddNavigatorENS_11invalid_tagENS_18CAbstractStackBaseIS1_EEE14incrementBlockEv at Base 0.8
+ _ZN8polybori15CBlockTermStackINS_14CCuddNavigatorENS_11invalid_tagENS_18CAbstractStackBaseIS1_EEE9followDegEv at Base 0.8
+ _ZN8polybori15CBlockTermStackINS_14CCuddNavigatorENS_11invalid_tagENS_18CAbstractStackBaseIS1_EEE9incrementEv at Base 0.8
+ _ZN8polybori15CBlockTermStackINS_14CCuddNavigatorENS_11invalid_tagENS_18CAbstractStackBaseIS1_EEED0Ev at Base 0.8
+ _ZN8polybori15CBlockTermStackINS_14CCuddNavigatorENS_11invalid_tagENS_18CAbstractStackBaseIS1_EEED1Ev at Base 0.8
+ _ZN8polybori15CBlockTermStackINS_14CCuddNavigatorENS_11invalid_tagENS_18CAbstractStackBaseIS1_EEED2Ev at Base 0.8
+ _ZN8polybori15CBlockTermStackINS_14CCuddNavigatorENS_9valid_tagENS_12internal_tagEE14followBlockDegEv at Base 0.8
+ _ZN8polybori15CBlockTermStackINS_14CCuddNavigatorENS_9valid_tagENS_12internal_tagEE4initEv at Base 0.8
+ _ZN8polybori15CBlockTermStackINS_14CCuddNavigatorENS_9valid_tagENS_18CAbstractStackBaseIS1_EEE14followBlockDegEv at Base 0.8
+ _ZN8polybori15CBlockTermStackINS_14CCuddNavigatorENS_9valid_tagENS_18CAbstractStackBaseIS1_EEE14incrementBlockEv at Base 0.8
+ _ZN8polybori15CBlockTermStackINS_14CCuddNavigatorENS_9valid_tagENS_18CAbstractStackBaseIS1_EEE9followDegEv at Base 0.8
+ _ZN8polybori15CBlockTermStackINS_14CCuddNavigatorENS_9valid_tagENS_18CAbstractStackBaseIS1_EEE9incrementEv at Base 0.8
+ _ZN8polybori15CBlockTermStackINS_14CCuddNavigatorENS_9valid_tagENS_18CAbstractStackBaseIS1_EEED0Ev at Base 0.8
+ _ZN8polybori15CBlockTermStackINS_14CCuddNavigatorENS_9valid_tagENS_18CAbstractStackBaseIS1_EEED1Ev at Base 0.8
+ _ZN8polybori15CBlockTermStackINS_14CCuddNavigatorENS_9valid_tagENS_18CAbstractStackBaseIS1_EEED2Ev at Base 0.8
+ _ZN8polybori15COrderingFacadeINS_11DegLexOrderENS_8dlex_tagEED0Ev at Base 0.8
+ _ZN8polybori15COrderingFacadeINS_11DegLexOrderENS_8dlex_tagEED1Ev at Base 0.8
+ _ZN8polybori15COrderingFacadeINS_11DegLexOrderENS_8dlex_tagEED2Ev at Base 0.8
+ _ZN8polybori15COrderingFacadeINS_16BlockDegLexOrderENS_9block_tagINS_8dlex_tagEEEED0Ev at Base 0.8
+ _ZN8polybori15COrderingFacadeINS_16BlockDegLexOrderENS_9block_tagINS_8dlex_tagEEEED1Ev at Base 0.8
+ _ZN8polybori15COrderingFacadeINS_16BlockDegLexOrderENS_9block_tagINS_8dlex_tagEEEED2Ev at Base 0.8
+ _ZN8polybori15COrderingFacadeINS_17DegRevLexAscOrderENS_10dp_asc_tagEED0Ev at Base 0.8
+ _ZN8polybori15COrderingFacadeINS_17DegRevLexAscOrderENS_10dp_asc_tagEED1Ev at Base 0.8
+ _ZN8polybori15COrderingFacadeINS_17DegRevLexAscOrderENS_10dp_asc_tagEED2Ev at Base 0.8
+ _ZN8polybori15COrderingFacadeINS_22BlockDegRevLexAscOrderENS_9block_tagINS_10dp_asc_tagEEEED0Ev at Base 0.8
+ _ZN8polybori15COrderingFacadeINS_22BlockDegRevLexAscOrderENS_9block_tagINS_10dp_asc_tagEEEED1Ev at Base 0.8
+ _ZN8polybori15COrderingFacadeINS_22BlockDegRevLexAscOrderENS_9block_tagINS_10dp_asc_tagEEEED2Ev at Base 0.8
+ _ZN8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEED0Ev at Base 0.8
+ _ZN8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEED1Ev at Base 0.8
+ _ZN8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEED2Ev at Base 0.8
+ _ZN8polybori15deg_lex_compareINS_13BooleExponentES1_St4lessIiEEEsRKT_RKT0_T1_ at Base 0.8
+ _ZN8polybori15deg_lex_compareINS_13BooleExponentES1_St7greaterIiEEEsRKT_RKT0_T1_ at Base 0.8
+ _ZN8polybori15deg_lex_compareINS_13BooleMonomialES1_St4lessIiEEEsRKT_RKT0_T1_ at Base 0.8
+ _ZN8polybori15deg_lex_compareINS_13BooleMonomialES1_St7greaterIiEEEsRKT_RKT0_T1_ at Base 0.8
+ _ZN8polybori16BlockDegLexOrderD0Ev at Base 0.8
+ _ZN8polybori16BlockDegLexOrderD1Ev at Base 0.8
+ _ZN8polybori16BlockDegLexOrderD2Ev at Base 0.8
+ _ZN8polybori16cached_used_varsINS_16CCacheManagementINS_13BoolePolyRingENS_11CCacheTypes14used_variablesELj1EEENS_14CCuddNavigatorENS_13BooleMonomialEEET1_RKT_T0_S8_ at Base 0.8
+ _ZN8polybori16dd_cached_degreeINS_12CDegreeCacheINS_8BooleSetEEENS_14CCuddNavigatorEEENT0_8deg_typeERKT_S5_ at Base 0.8
+ _ZN8polybori16dd_cached_degreeINS_19CBoundedDegreeCacheINS_8BooleSetEEENS_14CCuddNavigatorEiEENT0_8deg_typeERKT_S5_T1_ at Base 0.8
+ _ZN8polybori16lex_compare_3wayINS_14CCuddFirstIterES1_St4lessIiEEEsT_S4_T0_S5_T1_ at Base 0.8
+ _ZN8polybori16lex_compare_3wayINS_14CCuddFirstIterES1_St7greaterIiEEEsT_S4_T0_S5_T1_ at Base 0.8
+ _ZN8polybori17CIndexCacheHandleINS_14CCuddNavigatorEEC1EiRKNS_13BoolePolyRingE at Base 0.8
+ _ZN8polybori17CIndexCacheHandleINS_14CCuddNavigatorEEC2EiRKNS_13BoolePolyRingE at Base 0.8
+ _ZN8polybori17CReverseTermStackINS_14CCuddNavigatorESt26bidirectional_iterator_tagE4initEv at Base 0.8
+ _ZN8polybori17DegRevLexAscOrderD0Ev at Base 0.8
+ _ZN8polybori17DegRevLexAscOrderD1Ev at Base 0.8
+ _ZN8polybori17DegRevLexAscOrderD2Ev at Base 0.8
+ _ZN8polybori17PBoRiGenericErrorILj4EED0Ev at Base 0.8
+ _ZN8polybori17PBoRiGenericErrorILj4EED1Ev at Base 0.8
+ _ZN8polybori17PBoRiGenericErrorILj4EED2Ev at Base 0.8
+ _ZN8polybori17PBoRiGenericErrorILj7EED0Ev at Base 0.8
+ _ZN8polybori17PBoRiGenericErrorILj7EED1Ev at Base 0.8
+ _ZN8polybori17PBoRiGenericErrorILj7EED2Ev at Base 0.8
+ _ZN8polybori17PBoRiGenericErrorILj8EED0Ev at Base 0.8
+ _ZN8polybori17PBoRiGenericErrorILj8EED1Ev at Base 0.8
+ _ZN8polybori17PBoRiGenericErrorILj8EED2Ev at Base 0.8
+ _ZN8polybori17PBoRiGenericErrorILj9EED0Ev at Base 0.8
+ _ZN8polybori17PBoRiGenericErrorILj9EED1Ev at Base 0.8
+ _ZN8polybori17PBoRiGenericErrorILj9EED2Ev at Base 0.8
+ _ZN8polybori18CAbstractStackBaseINS_14CCuddNavigatorEED0Ev at Base 0.8
+ _ZN8polybori18CAbstractStackBaseINS_14CCuddNavigatorEED1Ev at Base 0.8
+ _ZN8polybori18CAbstractStackBaseINS_14CCuddNavigatorEED2Ev at Base 0.8
+ _ZN8polybori18block_dlex_compareIN9__gnu_cxx17__normal_iteratorIPKiSt6vectorIiSaIiEEEES8_S8_St4lessIiEEEsT_SB_T0_SC_T1_SD_T2_ at Base 0.8
+ _ZN8polybori18block_dlex_compareIN9__gnu_cxx17__normal_iteratorIPKiSt6vectorIiSaIiEEEES8_S8_St7greaterIiEEEsT_SB_T0_SC_T1_SD_T2_ at Base 0.8
+ _ZN8polybori18block_dlex_compareINS_14CCuddFirstIterES1_N9__gnu_cxx17__normal_iteratorIPKiSt6vectorIiSaIiEEEESt4lessIiEEEsT_SC_T0_SD_T1_SE_T2_ at Base 0.8
+ _ZN8polybori18block_dlex_compareINS_14CCuddFirstIterES1_N9__gnu_cxx17__normal_iteratorIPKiSt6vectorIiSaIiEEEESt7greaterIiEEEsT_SC_T0_SD_T1_SE_T2_ at Base 0.8
+ _ZN8polybori18dd_long_count_stepISt3mapINS_14CCuddNavigatorEdSt4lessIS2_ESaISt4pairIKS2_dEEES2_EENT_11mapped_typeERSA_T0_ at Base 0.8
+ _ZN8polybori18dd_long_count_stepISt3mapINS_14CCuddNavigatorEmSt4lessIS2_ESaISt4pairIKS2_mEEES2_EENT_11mapped_typeERSA_T0_ at Base 0.8
+ _ZN8polybori19CGenericOrderedIterINS_11DegLexOrderENS_14CCuddNavigatorENS_13BooleMonomialEEC1INS_13BoolePolyRingEEES2_RKT_ at Base 0.8
+ _ZN8polybori19CGenericOrderedIterINS_11DegLexOrderENS_14CCuddNavigatorENS_13BooleMonomialEEC2INS_13BoolePolyRingEEES2_RKT_ at Base 0.8
+ _ZN8polybori19CGenericOrderedIterINS_16BlockDegLexOrderENS_14CCuddNavigatorENS_13BooleMonomialEEC1INS_13BoolePolyRingEEES2_RKT_ at Base 0.8
+ _ZN8polybori19CGenericOrderedIterINS_16BlockDegLexOrderENS_14CCuddNavigatorENS_13BooleMonomialEEC2INS_13BoolePolyRingEEES2_RKT_ at Base 0.8
+ _ZN8polybori19CGenericOrderedIterINS_17DegRevLexAscOrderENS_14CCuddNavigatorENS_13BooleMonomialEEC1INS_13BoolePolyRingEEES2_RKT_ at Base 0.8
+ _ZN8polybori19CGenericOrderedIterINS_17DegRevLexAscOrderENS_14CCuddNavigatorENS_13BooleMonomialEEC2INS_13BoolePolyRingEEES2_RKT_ at Base 0.8
+ _ZN8polybori19CGenericOrderedIterINS_22BlockDegRevLexAscOrderENS_14CCuddNavigatorENS_13BooleMonomialEEC1INS_13BoolePolyRingEEES2_RKT_ at Base 0.8
+ _ZN8polybori19CGenericOrderedIterINS_22BlockDegRevLexAscOrderENS_14CCuddNavigatorENS_13BooleMonomialEEC2INS_13BoolePolyRingEEES2_RKT_ at Base 0.8
+ _ZN8polybori19CGenericOrderedIterINS_8LexOrderENS_14CCuddNavigatorENS_13BooleMonomialEEC1INS_13BoolePolyRingEEES2_RKT_ at Base 0.8
+ _ZN8polybori19CGenericOrderedIterINS_8LexOrderENS_14CCuddNavigatorENS_13BooleMonomialEEC2INS_13BoolePolyRingEEES2_RKT_ at Base 0.8
+ _ZN8polybori19dd_minimal_elementsINS_12CacheManagerINS_11CCacheTypes16minimal_elementsEEENS1_INS2_10mod_varsetEEENS_14CCuddNavigatorENS_8BooleSetEEET2_RKT_RKT0_T1_RKS9_ at Base 0.8
+ _ZN8polybori19dd_modulo_monomialsINS_12CacheManagerINS_11CCacheTypes10mod_varsetEEENS_14CCuddNavigatorENS_8BooleSetEEET1_RKT_T0_SB_RKS7_ at Base 0.8
+ _ZN8polybori19reversed_inter_copyINS_13CCuddLastIterESt6vectorIiSaIiEENS_12PBoRiOutIterINS_13BooleMonomialEiNS_13change_assignIS6_iEEEEEET1_T_SB_RT0_SA_ at Base 0.8
+ _ZN8polybori20CBlockOrderingFacadeINS_16BlockDegLexOrderENS_9block_tagINS_8dlex_tagEEEE11appendBlockENS_11CCheckedIdxE at Base 0.8
+ _ZN8polybori20CBlockOrderingFacadeINS_16BlockDegLexOrderENS_9block_tagINS_8dlex_tagEEEE11clearBlocksEv at Base 0.8
+ _ZN8polybori20CBlockOrderingFacadeINS_22BlockDegRevLexAscOrderENS_9block_tagINS_10dp_asc_tagEEEE11appendBlockENS_11CCheckedIdxE at Base 0.8
+ _ZN8polybori20CBlockOrderingFacadeINS_22BlockDegRevLexAscOrderENS_9block_tagINS_10dp_asc_tagEEEE11clearBlocksEv at Base 0.8
+ _ZN8polybori20dd_block_degree_leadINS_12CacheManagerINS_11CCacheTypes8lead_tagINS_9block_tagINS_10dp_asc_tagEEEEEEENS_17CBlockDegreeCacheINS_8BooleSetEEENS_14CCuddNavigatorEN9__gnu_cxx17__normal_iteratorIPKiSt6vectorIiSaIiEEEESA_NS_11invalid_tagEEET3_RKT_RKT0_T1_T2_SM_T4_ at Base 0.8
+ _ZN8polybori20dd_block_degree_leadINS_12CacheManagerINS_11CCacheTypes8lead_tagINS_9block_tagINS_10dp_asc_tagEEEEEEENS_17CBlockDegreeCacheINS_8BooleSetEEENS_14CCuddNavigatorESA_N9__gnu_cxx17__normal_iteratorIPKiSt6vectorIiSaIiEEEEiNS_11invalid_tagEEET2_RKT_RKT0_T1_T3_SM_T4_T5_ at Base 0.8
+ _ZN8polybori20dd_block_degree_leadINS_12CacheManagerINS_11CCacheTypes8lead_tagINS_9block_tagINS_8dlex_tagEEEEEEENS_17CBlockDegreeCacheINS_8BooleSetEEENS_14CCuddNavigatorEN9__gnu_cxx17__normal_iteratorIPKiSt6vectorIiSaIiEEEESA_NS_9valid_tagEEET3_RKT_RKT0_T1_T2_SM_T4_ at Base 0.8
+ _ZN8polybori20dd_block_degree_leadINS_12CacheManagerINS_11CCacheTypes8lead_tagINS_9block_tagINS_8dlex_tagEEEEEEENS_17CBlockDegreeCacheINS_8BooleSetEEENS_14CCuddNavigatorESA_N9__gnu_cxx17__normal_iteratorIPKiSt6vectorIiSaIiEEEEiNS_9valid_tagEEET2_RKT_RKT0_T1_T3_SM_T4_T5_ at Base 0.8
+ _ZN8polybori20dd_first_divisors_ofINS_16CCacheManagementINS_13BoolePolyRingENS_11CCacheTypes10divisorsofELj2EEENS_14CCuddNavigatorENS_8BooleSetEEET1_T_T0_SA_S8_ at Base 0.8
+ _ZN8polybori20pboriCuddZddUnionXorIP15pbori_DdManagerP6DdNodeEET0_T_S5_S5_ at Base 0.8
+ _ZN8polybori21dd_divide_recursivelyINS_16CCacheManagementINS_13BoolePolyRingENS_11CCacheTypes6divideELj2EEENS_14CCuddNavigatorENS_8BooleSetEEET1_RKT_T0_SC_S8_ at Base 0.8
+ _ZN8polybori21dd_first_multiples_ofINS_16CCacheManagementINS_13BoolePolyRingENS_11CCacheTypes11multiplesofELj2EEENS_14CCuddNavigatorENS_8BooleSetEEET1_RKT_T0_SC_S8_ at Base 0.8
+ _ZN8polybori22BlockDegRevLexAscOrderD0Ev at Base 0.8
+ _ZN8polybori22BlockDegRevLexAscOrderD1Ev at Base 0.8
+ _ZN8polybori22BlockDegRevLexAscOrderD2Ev at Base 0.8
+ _ZN8polybori22cudd_generate_divisorsINS_13BoolePolyRingESt16reverse_iteratorIN9__gnu_cxx17__normal_iteratorIPKiSt6vectorIiSaIiEEEEENS_8BooleSetEEET1_RKT_T0_SH_NS_8type_tagISD_EE at Base 0.8
+ _ZN8polybori22dd_cached_block_degreeINS_17CBlockDegreeCacheINS_8BooleSetEEENS_14CCuddNavigatorEiEENT0_8deg_typeERKT_S5_T1_ at Base 0.8
+ _ZN8polybori22pboriCuddZddUnionXor__EP15pbori_DdManagerP6DdNodeS3_ at Base 0.8
+ _ZN8polybori23dd_owns_term_of_indicesINS_14CCuddNavigatorENS_14CCuddFirstIterEEEbT_T0_S4_ at Base 0.8
+ _ZN8polybori24dd_recursive_degree_leadINS_12CacheManagerINS_11CCacheTypes8lead_tagINS_10dp_asc_tagEEEEENS_19CBoundedDegreeCacheINS_8BooleSetEEENS_14CCuddNavigatorES8_iNS_11invalid_tagEEET2_RKT_RKT0_T1_SC_T3_T4_ at Base 0.8
+ _ZN8polybori24dd_recursive_degree_leadINS_12CacheManagerINS_11CCacheTypes8lead_tagINS_8dlex_tagEEEEENS_19CBoundedDegreeCacheINS_8BooleSetEEENS_14CCuddNavigatorES8_iNS_9valid_tagEEET2_RKT_RKT0_T1_SC_T3_T4_ at Base 0.8
+ _ZN8polybori25block_deg_lex_idx_compareIiN9__gnu_cxx17__normal_iteratorIPKiSt6vectorIiSaIiEEEESt7greaterIiEEEsT_SB_T0_SC_T1_ at Base 0.8
+ _ZN8polybori25dd_divide_recursively_expINS_16CCacheManagementINS_13BoolePolyRingENS_11CCacheTypes8no_cacheELj0EEEN9__gnu_cxx17__normal_iteratorIPKiSt6vectorIiSaIiEEEENS_14CCuddNavigatorENS_15BoolePolynomialEEET2_RKT_T1_T0_SL_SG_ at Base 0.8
+ _ZN8polybori26dd_existential_abstractionINS_16CCacheManagementINS_13BoolePolyRingENS_11CCacheTypes14exist_abstractELj2EEENS_14CCuddNavigatorENS_8BooleSetEEET1_RKT_T0_SC_S8_ at Base 0.8
+ _ZN8polybori27dd_contains_divs_of_dec_degINS_14CCuddNavigatorEN9__gnu_cxx17__normal_iteratorIPKiSt6vectorIiSaIiEEEEEEbT_T0_SB_ at Base 0.8
+ _ZN8polybori27dd_contains_divs_of_dec_degINS_14CCuddNavigatorENS_14CCuddFirstIterEEEbT_T0_S4_ at Base 0.8
+ _ZN8polybori27dd_multiply_recursively_expINS_16CCacheManagementINS_13BoolePolyRingENS_11CCacheTypes8no_cacheELj0EEEN9__gnu_cxx17__normal_iteratorIPKiSt6vectorIiSaIiEEEENS_14CCuddNavigatorENS_15BoolePolynomialEEET2_RKT_T0_SK_T1_SG_ at Base 0.8
+ _ZN8polybori27dd_recursive_degree_leadexpINS_12CacheManagerINS_11CCacheTypes8lead_tagINS_10dp_asc_tagEEEEENS_19CBoundedDegreeCacheINS_8BooleSetEEENS_14CCuddNavigatorENS_13BooleExponentEiNS_11invalid_tagEEERT2_RKT_RKT0_T1_SE_T3_T4_ at Base 0.8
+ _ZN8polybori27dd_recursive_degree_leadexpINS_12CacheManagerINS_11CCacheTypes8lead_tagINS_8dlex_tagEEEEENS_19CBoundedDegreeCacheINS_8BooleSetEEENS_14CCuddNavigatorENS_13BooleExponentEiNS_9valid_tagEEERT2_RKT_RKT0_T1_SE_T3_T4_ at Base 0.8
+ _ZN8polybori27restricted_lex_compare_3wayIN9__gnu_cxx17__normal_iteratorIPKiSt6vectorIiSaIiEEEES8_iSt4lessIiEEEsT_SB_T0_SC_T1_T2_ at Base 0.8
+ _ZN8polybori27restricted_lex_compare_3wayIN9__gnu_cxx17__normal_iteratorIPKiSt6vectorIiSaIiEEEES8_iSt7greaterIiEEEsT_SB_T0_SC_T1_T2_ at Base 0.8
+ _ZN8polybori27restricted_lex_compare_3wayINS_14CCuddFirstIterES1_iSt4lessIiEEEsT_S4_T0_S5_T1_T2_ at Base 0.8
+ _ZN8polybori27restricted_lex_compare_3wayINS_14CCuddFirstIterES1_iSt7greaterIiEEEsT_S4_T0_S5_T1_T2_ at Base 0.8
+ _ZN8polybori28dd_last_lexicographical_termINS_8BooleSetENS_13BooleMonomialEEET0_RKT_NS_8type_tagIS3_EE at Base 0.8
+ _ZN8polybori29dd_multiply_recursively_monomINS_23CommutativeCacheManagerINS_11CCacheTypes18multiply_recursiveEEENS_14CCuddNavigatorENS_15BoolePolynomialEEET1_RKT_T0_SB_S7_ at Base 0.8
+ _ZN8polybori7dd_ownsINS_14CCuddNavigatorEN9__gnu_cxx17__normal_iteratorIPKiSt6vectorIiSaIiEEEEEEbT_T0_SB_ at Base 0.8
+ _ZN8polybori7dd_ownsINS_14CCuddNavigatorENS_14CCuddFirstIterEEEbT_T0_S4_ at Base 0.8
+ _ZN8polybori8BooleSetC1EiRKS0_S2_ at Base 0.8
+ _ZN8polybori8BooleSetC2EiRKS0_S2_ at Base 0.8
+ _ZN8polybori8BooleSetaSERKS0_ at Base 0.8
+ _ZN8polybori8CExpIterINS_14CCuddNavigatorENS_13BooleExponentEEC1ES1_ at Base 0.8
+ _ZN8polybori8CExpIterINS_14CCuddNavigatorENS_13BooleExponentEEC2ES1_ at Base 0.8
+ _ZN8polybori8LexOrderD0Ev at Base 0.8
+ _ZN8polybori8LexOrderD1Ev at Base 0.8
+ _ZN8polybori8LexOrderD2Ev at Base 0.8
+ _ZN8polybori9block_endERKNS_13BoolePolyRingE at Base 0.8
+ _ZN8polyborilsERSoRKNS_15BoolePolynomialE at Base 0.8
+ _ZN8polyborimiINS_13BooleMonomialEEENS_15BoolePolynomialERKS2_RKT_ at Base 0.8
+ _ZN8polyboriplERKNS_15BoolePolynomialES2_ at Base 0.8
+ _ZNK8polybori10PBoRiError4codeEv at Base 0.8
+ _ZNK8polybori10PBoRiError4textEv at Base 0.8
+ _ZNK8polybori10PBoRiError4whatEv at Base 0.8
+ _ZNK8polybori11CCheckedIdx12handle_errorEv at Base 0.8
+ _ZNK8polybori11DegLexOrder4leadERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori11DegLexOrder4leadERKNS_15BoolePolynomialEi at Base 0.8
+ _ZNK8polybori11DegLexOrder7compareERKNS_13BooleExponentES3_ at Base 0.8
+ _ZNK8polybori11DegLexOrder7compareERKNS_13BooleMonomialES3_ at Base 0.8
+ _ZNK8polybori11DegLexOrder7compareEii at Base 0.8
+ _ZNK8polybori11DegLexOrder7leadExpERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori11DegLexOrder7leadExpERKNS_15BoolePolynomialEi at Base 0.8
+ _ZNK8polybori12COrderedIterINS_14CCuddNavigatorENS_13BooleExponentEE11dereferenceEv at Base 0.8
+ _ZNK8polybori13BooleExponent11insertConstEi at Base 0.8
+ _ZNK8polybori13BooleExponent11reducibleByERKNS_13BooleMonomialE at Base 0.8
+ _ZNK8polybori13BooleExponent11reducibleByERKS0_ at Base 0.8
+ _ZNK8polybori13BooleExponent11reducibleByERKi at Base 0.8
+ _ZNK8polybori13BooleExponent11removeConstEi at Base 0.8
+ _ZNK8polybori13BooleExponent13multiplyFirstERKNS_8BooleSetE at Base 0.8
+ _ZNK8polybori13BooleExponent3GCDERKS0_ at Base 0.8
+ _ZNK8polybori13BooleExponent3LCMERKS0_ at Base 0.8
+ _ZNK8polybori13BooleExponent5printERSo at Base 0.8
+ _ZNK8polybori13BooleExponent6LCMDegERKS0_ at Base 0.8
+ _ZNK8polybori13BooleExponent6changeEi at Base 0.8
+ _ZNK8polybori13BooleExponent6divideERKNS_13BooleMonomialE at Base 0.8
+ _ZNK8polybori13BooleExponent6divideERKS0_ at Base 0.8
+ _ZNK8polybori13BooleExponent8divisorsERKNS_13BoolePolyRingE at Base 0.8
+ _ZNK8polybori13BooleExponent8multiplyERKNS_13BooleMonomialE at Base 0.8
+ _ZNK8polybori13BooleExponent8multiplyERKS0_ at Base 0.8
+ _ZNK8polybori13BooleExponent9multiplesERKNS_13BooleMonomialE at Base 0.8
+ _ZNK8polybori13BooleExponent9multiplesERKS0_RKNS_13BoolePolyRingE at Base 0.8
+ _ZNK8polybori13BooleMonomial11reducibleByERKNS_13BooleVariableE at Base 0.8
+ _ZNK8polybori13BooleMonomial13firstVariableEv at Base 0.8
+ _ZNK8polybori13BooleMonomial3GCDERKS0_ at Base 0.8
+ _ZNK8polybori13BooleMonomial3LCMERKS0_ at Base 0.8
+ _ZNK8polybori13BooleMonomial3expEv at Base 0.8
+ _ZNK8polybori13BooleMonomial6LCMDegERKS0_ at Base 0.8
+ _ZNK8polybori13BooleMonomial6changeEi at Base 0.8
+ _ZNK8polybori13BooleMonomial7compareERKS0_ at Base 0.8
+ _ZNK8polybori13BooleMonomial9multiplesERKS0_ at Base 0.8
+ _ZNK8polybori13BoolePolyRing10getManagerEv at Base 0.8
+ _ZNK8polybori13BoolePolyRing10nVariablesEv at Base 0.8
+ _ZNK8polybori13BoolePolyRing15variableDiagramENS_11CCheckedIdxE at Base 0.8
+ _ZNK8polybori13BoolePolyRing3oneEv at Base 0.8
+ _ZNK8polybori13BoolePolyRing4zeroEv at Base 0.8
+ _ZNK8polybori13BoolePolyRing5printERSo at Base 0.8
+ _ZNK8polybori13BoolePolyRing6coerceERKNS_13BooleMonomialE at Base 0.8
+ _ZNK8polybori13BoolePolyRing6coerceERKNS_13BooleVariableE at Base 0.8
+ _ZNK8polybori13BoolePolyRing6coerceERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori13BoolePolyRing8constantEb at Base 0.8
+ _ZNK8polybori13BoolePolyRing8variableENS_11CCheckedIdxE at Base 0.8
+ _ZNK8polybori13CCuddDDFacadeINS_13BoolePolyRingENS_8BooleSetEE13firstDivisorsEv at Base 0.8
+ _ZNK8polybori13COrderingBase10blockBeginEv at Base 0.8
+ _ZNK8polybori13COrderingBase8blockEndEv at Base 0.8
+ _ZNK8polybori13CWrappedStackINS_10CTermStackINS_14CCuddNavigatorESt20forward_iterator_tagNS_18CAbstractStackBaseIS2_EEEEE4copyEv at Base 0.8
+ _ZNK8polybori13CWrappedStackINS_13CDegTermStackINS_14CCuddNavigatorENS_11invalid_tagES3_NS_18CAbstractStackBaseIS2_EEEEE4copyEv at Base 0.8
+ _ZNK8polybori13CWrappedStackINS_13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_18CAbstractStackBaseIS2_EEEEE4copyEv at Base 0.8
+ _ZNK8polybori13CWrappedStackINS_15CBlockTermStackINS_14CCuddNavigatorENS_11invalid_tagENS_18CAbstractStackBaseIS2_EEEEE4copyEv at Base 0.8
+ _ZNK8polybori13CWrappedStackINS_15CBlockTermStackINS_14CCuddNavigatorENS_9valid_tagENS_18CAbstractStackBaseIS2_EEEEE4copyEv at Base 0.8
+ _ZNK8polybori14CCuddInterface14recursiveDerefEP6DdNode at Base 0.8
+ _ZNK8polybori14CCuddInterfacecvP15pbori_DdManagerEv at Base 0.8
+ _ZNK8polybori14CTermStackBaseINS_14CCuddNavigatorENS_18CAbstractStackBaseIS1_EEE9isInvalidEv at Base 0.8
+ _ZNK8polybori15BoolePolynomial10fetchTermsERSt6vectorINS_13BooleMonomialESaIS2_EE at Base 0.8
+ _ZNK8polybori15BoolePolynomial10firstBeginEv at Base 0.8
+ _ZNK8polybori15BoolePolynomial10genericEndENS_10dp_asc_tagE at Base 0.8
+ _ZNK8polybori15BoolePolynomial10genericEndENS_7lex_tagE at Base 0.8
+ _ZNK8polybori15BoolePolynomial10genericEndENS_8dlex_tagE at Base 0.8
+ _ZNK8polybori15BoolePolynomial10genericEndENS_9block_tagINS_10dp_asc_tagEEE at Base 0.8
+ _ZNK8polybori15BoolePolynomial10genericEndENS_9block_tagINS_8dlex_tagEEE at Base 0.8
+ _ZNK8polybori15BoolePolynomial10gradedPartEi at Base 0.8
+ _ZNK8polybori15BoolePolynomial10lexLeadDegEv at Base 0.8
+ _ZNK8polybori15BoolePolynomial10orderedEndEv at Base 0.8
+ _ZNK8polybori15BoolePolynomial11boundedLeadEi at Base 0.8
+ _ZNK8polybori15BoolePolynomial12genericBeginENS_10dp_asc_tagE at Base 0.8
+ _ZNK8polybori15BoolePolynomial12genericBeginENS_7lex_tagE at Base 0.8
+ _ZNK8polybori15BoolePolynomial12genericBeginENS_8dlex_tagE at Base 0.8
+ _ZNK8polybori15BoolePolynomial12genericBeginENS_9block_tagINS_10dp_asc_tagEEE at Base 0.8
+ _ZNK8polybori15BoolePolynomial12genericBeginENS_9block_tagINS_8dlex_tagEEE at Base 0.8
+ _ZNK8polybori15BoolePolynomial12leadTotalDegEv at Base 0.8
+ _ZNK8polybori15BoolePolynomial12orderedBeginEv at Base 0.8
+ _ZNK8polybori15BoolePolynomial13firstDivisorsEv at Base 0.8
+ _ZNK8polybori15BoolePolynomial13genericExpEndENS_10dp_asc_tagE at Base 0.8
+ _ZNK8polybori15BoolePolynomial13genericExpEndENS_7lex_tagE at Base 0.8
+ _ZNK8polybori15BoolePolynomial13genericExpEndENS_8dlex_tagE at Base 0.8
+ _ZNK8polybori15BoolePolynomial13genericExpEndENS_9block_tagINS_10dp_asc_tagEEE at Base 0.8
+ _ZNK8polybori15BoolePolynomial13genericExpEndENS_9block_tagINS_8dlex_tagEEE at Base 0.8
+ _ZNK8polybori15BoolePolynomial13inSingleBlockEv at Base 0.8
+ _ZNK8polybori15BoolePolynomial13orderedExpEndEv at Base 0.8
+ _ZNK8polybori15BoolePolynomial13usedVariablesEv at Base 0.8
+ _ZNK8polybori15BoolePolynomial14boundedLeadExpEi at Base 0.8
+ _ZNK8polybori15BoolePolynomial14leadStableHashEv at Base 0.8
+ _ZNK8polybori15BoolePolynomial14nUsedVariablesEv at Base 0.8
+ _ZNK8polybori15BoolePolynomial15genericExpBeginENS_10dp_asc_tagE at Base 0.8
+ _ZNK8polybori15BoolePolynomial15genericExpBeginENS_7lex_tagE at Base 0.8
+ _ZNK8polybori15BoolePolynomial15genericExpBeginENS_8dlex_tagE at Base 0.8
+ _ZNK8polybori15BoolePolynomial15genericExpBeginENS_9block_tagINS_10dp_asc_tagEEE at Base 0.8
+ _ZNK8polybori15BoolePolynomial15genericExpBeginENS_9block_tagINS_8dlex_tagEEE at Base 0.8
+ _ZNK8polybori15BoolePolynomial15orderedExpBeginEv at Base 0.8
+ _ZNK8polybori15BoolePolynomial16usedVariablesExpEv at Base 0.8
+ _ZNK8polybori15BoolePolynomial17eliminationLengthEv at Base 0.8
+ _ZNK8polybori15BoolePolynomial29eliminationLengthWithDegBoundEi at Base 0.8
+ _ZNK8polybori15BoolePolynomial3degEv at Base 0.8
+ _ZNK8polybori15BoolePolynomial3endEv at Base 0.8
+ _ZNK8polybori15BoolePolynomial4leadEv at Base 0.8
+ _ZNK8polybori15BoolePolynomial5beginEv at Base 0.8
+ _ZNK8polybori15BoolePolynomial5printERSo at Base 0.8
+ _ZNK8polybori15BoolePolynomial5termsEv at Base 0.8
+ _ZNK8polybori15BoolePolynomial6degEndEv at Base 0.8
+ _ZNK8polybori15BoolePolynomial6expEndEv at Base 0.8
+ _ZNK8polybori15BoolePolynomial6lengthEv at Base 0.8
+ _ZNK8polybori15BoolePolynomial6nNodesEv at Base 0.8
+ _ZNK8polybori15BoolePolynomial7compareERKS0_ at Base 0.8
+ _ZNK8polybori15BoolePolynomial7leadDegEv at Base 0.8
+ _ZNK8polybori15BoolePolynomial7leadExpEv at Base 0.8
+ _ZNK8polybori15BoolePolynomial7lexLeadEv at Base 0.8
+ _ZNK8polybori15BoolePolynomial8degBeginEv at Base 0.8
+ _ZNK8polybori15BoolePolynomial8expBeginEv at Base 0.8
+ _ZNK8polybori15BoolePolynomial8firstEndEv at Base 0.8
+ _ZNK8polybori15BoolePolynomial8totalDegEv at Base 0.8
+ _ZNK8polybori15BoolePolynomial9firstTermEv at Base 0.8
+ _ZNK8polybori15BoolePolynomial9leadFirstEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_11DegLexOrderENS_8dlex_tagEE11isSymmetricEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_11DegLexOrderENS_8dlex_tagEE12getOrderCodeEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_11DegLexOrderENS_8dlex_tagEE12isBlockOrderEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_11DegLexOrderENS_8dlex_tagEE13isDegreeOrderEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_11DegLexOrderENS_8dlex_tagEE14lastBlockStartEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_11DegLexOrderENS_8dlex_tagEE14lieInSameBlockEii at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_11DegLexOrderENS_8dlex_tagEE15leadIteratorEndERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_11DegLexOrderENS_8dlex_tagEE16getBaseOrderCodeEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_11DegLexOrderENS_8dlex_tagEE17isLexicographicalEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_11DegLexOrderENS_8dlex_tagEE17leadIteratorBeginERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_11DegLexOrderENS_8dlex_tagEE18ascendingVariablesEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_11DegLexOrderENS_8dlex_tagEE18isTotalDegreeOrderEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_11DegLexOrderENS_8dlex_tagEE18leadExpIteratorEndERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_11DegLexOrderENS_8dlex_tagEE19descendingVariablesEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_11DegLexOrderENS_8dlex_tagEE20leadExpIteratorBeginERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_11DegLexOrderENS_8dlex_tagEE24orderedStandardIterationEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_11DegLexOrderENS_8dlex_tagEE30isDegreeReverseLexicographicalEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_11DegLexOrderENS_8dlex_tagEE9leadFirstERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_16BlockDegLexOrderENS_9block_tagINS_8dlex_tagEEEE11isSymmetricEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_16BlockDegLexOrderENS_9block_tagINS_8dlex_tagEEEE12getOrderCodeEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_16BlockDegLexOrderENS_9block_tagINS_8dlex_tagEEEE12isBlockOrderEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_16BlockDegLexOrderENS_9block_tagINS_8dlex_tagEEEE13isDegreeOrderEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_16BlockDegLexOrderENS_9block_tagINS_8dlex_tagEEEE14lastBlockStartEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_16BlockDegLexOrderENS_9block_tagINS_8dlex_tagEEEE14lieInSameBlockEii at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_16BlockDegLexOrderENS_9block_tagINS_8dlex_tagEEEE15leadIteratorEndERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_16BlockDegLexOrderENS_9block_tagINS_8dlex_tagEEEE16getBaseOrderCodeEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_16BlockDegLexOrderENS_9block_tagINS_8dlex_tagEEEE17isLexicographicalEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_16BlockDegLexOrderENS_9block_tagINS_8dlex_tagEEEE17leadIteratorBeginERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_16BlockDegLexOrderENS_9block_tagINS_8dlex_tagEEEE18ascendingVariablesEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_16BlockDegLexOrderENS_9block_tagINS_8dlex_tagEEEE18isTotalDegreeOrderEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_16BlockDegLexOrderENS_9block_tagINS_8dlex_tagEEEE18leadExpIteratorEndERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_16BlockDegLexOrderENS_9block_tagINS_8dlex_tagEEEE19descendingVariablesEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_16BlockDegLexOrderENS_9block_tagINS_8dlex_tagEEEE20leadExpIteratorBeginERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_16BlockDegLexOrderENS_9block_tagINS_8dlex_tagEEEE24orderedStandardIterationEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_16BlockDegLexOrderENS_9block_tagINS_8dlex_tagEEEE30isDegreeReverseLexicographicalEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_16BlockDegLexOrderENS_9block_tagINS_8dlex_tagEEEE9leadFirstERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_17DegRevLexAscOrderENS_10dp_asc_tagEE11isSymmetricEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_17DegRevLexAscOrderENS_10dp_asc_tagEE12getOrderCodeEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_17DegRevLexAscOrderENS_10dp_asc_tagEE12isBlockOrderEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_17DegRevLexAscOrderENS_10dp_asc_tagEE13isDegreeOrderEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_17DegRevLexAscOrderENS_10dp_asc_tagEE14lastBlockStartEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_17DegRevLexAscOrderENS_10dp_asc_tagEE14lieInSameBlockEii at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_17DegRevLexAscOrderENS_10dp_asc_tagEE15leadIteratorEndERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_17DegRevLexAscOrderENS_10dp_asc_tagEE16getBaseOrderCodeEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_17DegRevLexAscOrderENS_10dp_asc_tagEE17isLexicographicalEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_17DegRevLexAscOrderENS_10dp_asc_tagEE17leadIteratorBeginERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_17DegRevLexAscOrderENS_10dp_asc_tagEE18ascendingVariablesEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_17DegRevLexAscOrderENS_10dp_asc_tagEE18isTotalDegreeOrderEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_17DegRevLexAscOrderENS_10dp_asc_tagEE18leadExpIteratorEndERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_17DegRevLexAscOrderENS_10dp_asc_tagEE19descendingVariablesEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_17DegRevLexAscOrderENS_10dp_asc_tagEE20leadExpIteratorBeginERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_17DegRevLexAscOrderENS_10dp_asc_tagEE24orderedStandardIterationEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_17DegRevLexAscOrderENS_10dp_asc_tagEE30isDegreeReverseLexicographicalEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_17DegRevLexAscOrderENS_10dp_asc_tagEE9leadFirstERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_22BlockDegRevLexAscOrderENS_9block_tagINS_10dp_asc_tagEEEE11isSymmetricEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_22BlockDegRevLexAscOrderENS_9block_tagINS_10dp_asc_tagEEEE12getOrderCodeEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_22BlockDegRevLexAscOrderENS_9block_tagINS_10dp_asc_tagEEEE12isBlockOrderEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_22BlockDegRevLexAscOrderENS_9block_tagINS_10dp_asc_tagEEEE13isDegreeOrderEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_22BlockDegRevLexAscOrderENS_9block_tagINS_10dp_asc_tagEEEE14lastBlockStartEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_22BlockDegRevLexAscOrderENS_9block_tagINS_10dp_asc_tagEEEE14lieInSameBlockEii at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_22BlockDegRevLexAscOrderENS_9block_tagINS_10dp_asc_tagEEEE15leadIteratorEndERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_22BlockDegRevLexAscOrderENS_9block_tagINS_10dp_asc_tagEEEE16getBaseOrderCodeEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_22BlockDegRevLexAscOrderENS_9block_tagINS_10dp_asc_tagEEEE17isLexicographicalEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_22BlockDegRevLexAscOrderENS_9block_tagINS_10dp_asc_tagEEEE17leadIteratorBeginERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_22BlockDegRevLexAscOrderENS_9block_tagINS_10dp_asc_tagEEEE18ascendingVariablesEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_22BlockDegRevLexAscOrderENS_9block_tagINS_10dp_asc_tagEEEE18isTotalDegreeOrderEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_22BlockDegRevLexAscOrderENS_9block_tagINS_10dp_asc_tagEEEE18leadExpIteratorEndERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_22BlockDegRevLexAscOrderENS_9block_tagINS_10dp_asc_tagEEEE19descendingVariablesEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_22BlockDegRevLexAscOrderENS_9block_tagINS_10dp_asc_tagEEEE20leadExpIteratorBeginERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_22BlockDegRevLexAscOrderENS_9block_tagINS_10dp_asc_tagEEEE24orderedStandardIterationEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_22BlockDegRevLexAscOrderENS_9block_tagINS_10dp_asc_tagEEEE30isDegreeReverseLexicographicalEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_22BlockDegRevLexAscOrderENS_9block_tagINS_10dp_asc_tagEEEE9leadFirstERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEE11isSymmetricEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEE12getOrderCodeEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEE12isBlockOrderEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEE13isDegreeOrderEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEE14lastBlockStartEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEE14lieInSameBlockEii at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEE15leadIteratorEndERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEE16getBaseOrderCodeEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEE17isLexicographicalEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEE17leadIteratorBeginERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEE18ascendingVariablesEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEE18isTotalDegreeOrderEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEE18leadExpIteratorEndERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEE19descendingVariablesEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEE20leadExpIteratorBeginERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEE24orderedStandardIterationEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEE30isDegreeReverseLexicographicalEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEE9leadFirstERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori16BlockDegLexOrder7compareERKNS_13BooleExponentES3_ at Base 0.8
+ _ZNK8polybori16BlockDegLexOrder7compareERKNS_13BooleMonomialES3_ at Base 0.8
+ _ZNK8polybori16BlockDegLexOrder7compareEii at Base 0.8
+ _ZNK8polybori16CApplyNodeFacadeINS_8BooleSetEP6DdNodeE5applyIP15pbori_DdManagerEES1_PFS3_T_S3_S3_ERKS1_ at Base 0.8
+ _ZNK8polybori17CBlockDegreeCacheINS_8BooleSetEE4findENS_14CCuddNavigatorEi at Base 0.8
+ _ZNK8polybori17CBlockDegreeCacheINS_8BooleSetEE6insertENS_14CCuddNavigatorEim at Base 0.8
+ _ZNK8polybori17DegRevLexAscOrder4leadERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori17DegRevLexAscOrder4leadERKNS_15BoolePolynomialEi at Base 0.8
+ _ZNK8polybori17DegRevLexAscOrder7compareERKNS_13BooleExponentES3_ at Base 0.8
+ _ZNK8polybori17DegRevLexAscOrder7compareERKNS_13BooleMonomialES3_ at Base 0.8
+ _ZNK8polybori17DegRevLexAscOrder7compareEii at Base 0.8
+ _ZNK8polybori17DegRevLexAscOrder7leadExpERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori17DegRevLexAscOrder7leadExpERKNS_15BoolePolynomialEi at Base 0.8
+ _ZNK8polybori19CCuddLikeMgrStorageINS_13BoolePolyRingEE4zeroEv at Base 0.8
+ _ZNK8polybori20CBlockOrderingFacadeINS_16BlockDegLexOrderENS_9block_tagINS_8dlex_tagEEEE10blockBeginEv at Base 0.8
+ _ZNK8polybori20CBlockOrderingFacadeINS_16BlockDegLexOrderENS_9block_tagINS_8dlex_tagEEEE4leadERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori20CBlockOrderingFacadeINS_16BlockDegLexOrderENS_9block_tagINS_8dlex_tagEEEE4leadERKNS_15BoolePolynomialEi at Base 0.8
+ _ZNK8polybori20CBlockOrderingFacadeINS_16BlockDegLexOrderENS_9block_tagINS_8dlex_tagEEEE7leadExpERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori20CBlockOrderingFacadeINS_16BlockDegLexOrderENS_9block_tagINS_8dlex_tagEEEE7leadExpERKNS_15BoolePolynomialEi at Base 0.8
+ _ZNK8polybori20CBlockOrderingFacadeINS_16BlockDegLexOrderENS_9block_tagINS_8dlex_tagEEEE8blockEndEv at Base 0.8
+ _ZNK8polybori20CBlockOrderingFacadeINS_22BlockDegRevLexAscOrderENS_9block_tagINS_10dp_asc_tagEEEE10blockBeginEv at Base 0.8
+ _ZNK8polybori20CBlockOrderingFacadeINS_22BlockDegRevLexAscOrderENS_9block_tagINS_10dp_asc_tagEEEE4leadERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori20CBlockOrderingFacadeINS_22BlockDegRevLexAscOrderENS_9block_tagINS_10dp_asc_tagEEEE4leadERKNS_15BoolePolynomialEi at Base 0.8
+ _ZNK8polybori20CBlockOrderingFacadeINS_22BlockDegRevLexAscOrderENS_9block_tagINS_10dp_asc_tagEEEE7leadExpERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori20CBlockOrderingFacadeINS_22BlockDegRevLexAscOrderENS_9block_tagINS_10dp_asc_tagEEEE7leadExpERKNS_15BoolePolynomialEi at Base 0.8
+ _ZNK8polybori20CBlockOrderingFacadeINS_22BlockDegRevLexAscOrderENS_9block_tagINS_10dp_asc_tagEEEE8blockEndEv at Base 0.8
+ _ZNK8polybori20CTermGeneratorBase__INS_13BooleMonomialENS_8type_tagIS1_EEEclINS_10CTermStackINS_14CCuddNavigatorESt20forward_iterator_tagNS_12internal_tagEEEEES1_RKT_ at Base 0.8
+ _ZNK8polybori22BlockDegRevLexAscOrder7compareERKNS_13BooleExponentES3_ at Base 0.8
+ _ZNK8polybori22BlockDegRevLexAscOrder7compareERKNS_13BooleMonomialES3_ at Base 0.8
+ _ZNK8polybori22BlockDegRevLexAscOrder7compareEii at Base 0.8
+ _ZNK8polybori27CCommutativeCacheManagementINS_13BoolePolyRingENS_11CCacheTypes18multiply_recursiveEE6insertENS_14CCuddNavigatorES5_S5_ at Base 0.8
+ _ZNK8polybori8BooleSet10countIndexEi at Base 0.8
+ _ZNK8polybori8BooleSet10divisorsOfERKNS_13BooleExponentE at Base 0.8
+ _ZNK8polybori8BooleSet10divisorsOfERKNS_13BooleMonomialE at Base 0.8
+ _ZNK8polybori8BooleSet11multiplesOfERKNS_13BooleMonomialE at Base 0.8
+ _ZNK8polybori8BooleSet13existAbstractERKNS_13BooleMonomialE at Base 0.8
+ _ZNK8polybori8BooleSet13usedVariablesEv at Base 0.8
+ _ZNK8polybori8BooleSet15firstDivisorsOfERKS0_ at Base 0.8
+ _ZNK8polybori8BooleSet15minimalElementsEv at Base 0.8
+ _ZNK8polybori8BooleSet16countIndexDoubleEi at Base 0.8
+ _ZNK8polybori8BooleSet16usedVariablesExpEv at Base 0.8
+ _ZNK8polybori8BooleSet18hasTermOfVariablesERKNS_13BooleMonomialE at Base 0.8
+ _ZNK8polybori8BooleSet23lastLexicographicalTermEv at Base 0.8
+ _ZNK8polybori8BooleSet24containsDivisorsOfDecDegERKNS_13BooleExponentE at Base 0.8
+ _ZNK8polybori8BooleSet24containsDivisorsOfDecDegERKNS_13BooleMonomialE at Base 0.8
+ _ZNK8polybori8BooleSet3addERKNS_13BooleMonomialE at Base 0.8
+ _ZNK8polybori8BooleSet3endEv at Base 0.8
+ _ZNK8polybori8BooleSet4ownsERKNS_13BooleExponentE at Base 0.8
+ _ZNK8polybori8BooleSet4ownsERKNS_13BooleMonomialE at Base 0.8
+ _ZNK8polybori8BooleSet4rendEv at Base 0.8
+ _ZNK8polybori8BooleSet5beginEv at Base 0.8
+ _ZNK8polybori8BooleSet5printERSo at Base 0.8
+ _ZNK8polybori8BooleSet6changeEi at Base 0.8
+ _ZNK8polybori8BooleSet6divideERKNS_13BooleMonomialE at Base 0.8
+ _ZNK8polybori8BooleSet6expEndEv at Base 0.8
+ _ZNK8polybori8BooleSet6rbeginEv at Base 0.8
+ _ZNK8polybori8BooleSet7rExpEndEv at Base 0.8
+ _ZNK8polybori8BooleSet8expBeginEv at Base 0.8
+ _ZNK8polybori8BooleSet9rExpBeginEv at Base 0.8
+ _ZNK8polybori8LexOrder4leadERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori8LexOrder4leadERKNS_15BoolePolynomialEi at Base 0.8
+ _ZNK8polybori8LexOrder7compareERKNS_13BooleExponentES3_ at Base 0.8
+ _ZNK8polybori8LexOrder7compareERKNS_13BooleMonomialES3_ at Base 0.8
+ _ZNK8polybori8LexOrder7compareEii at Base 0.8
+ _ZNK8polybori8LexOrder7leadExpERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori8LexOrder7leadExpERKNS_15BoolePolynomialEi at Base 0.8
+ _ZNSsC1IPcEET_S1_RKSaIcE at Base 0.8
+ _ZNSsC2IPcEET_S1_RKSaIcE at Base 0.8
+ _ZNSt11_Deque_baseIN8polybori14CCuddNavigatorESaIS1_EE17_M_initialize_mapEm at Base 0.8
+ _ZNSt11_Deque_baseIN8polybori14CCuddNavigatorESaIS1_EED1Ev at Base 0.8
+ _ZNSt11_Deque_baseIN8polybori14CCuddNavigatorESaIS1_EED2Ev at Base 0.8
+ _ZNSt15basic_stringbufIcSt11char_traitsIcESaIcEED0Ev at Base 0.8
+ _ZNSt15basic_stringbufIcSt11char_traitsIcESaIcEED1Ev at Base 0.8
+ _ZNSt15basic_stringbufIcSt11char_traitsIcESaIcEED2Ev at Base 0.8
+ _ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EE13_M_insert_auxISt15_Deque_iteratorIS1_RKS1_PS6_EEEvS5_IS1_RS1_PS1_ET_SD_m at Base 0.8
+ _ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EE17_M_reallocate_mapEmb at Base 0.8
+ _ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EE19_M_range_insert_auxISt15_Deque_iteratorIS1_RKS1_PS6_EEEvS5_IS1_RS1_PS1_ET_SD_St20forward_iterator_tag at Base 0.8
+ _ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EE23_M_new_elements_at_backEm at Base 0.8
+ _ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EE24_M_new_elements_at_frontEm at Base 0.8
+ _ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EE27_M_reserve_elements_at_backEm at Base 0.8
+ _ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EE28_M_reserve_elements_at_frontEm at Base 0.8
+ _ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EE8pop_backEv at Base 0.8
+ _ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EE9push_backERKS1_ at Base 0.8
+ _ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EEC1ERKS3_ at Base 0.8
+ _ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EEC2ERKS3_ at Base 0.8
+ _ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EEaSERKS3_ at Base 0.8
+ _ZNSt6vectorIN8polybori13BooleMonomialESaIS1_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS1_S3_EEmRKS1_ at Base 0.8
+ _ZNSt6vectorISsSaISsEED1Ev at Base 0.8
+ _ZNSt6vectorISsSaISsEED2Ev at Base 0.8
+ _ZNSt6vectorIiSaIiEE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPiS1_EERKi at Base 0.8
+ _ZNSt6vectorIiSaIiEE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPiS1_EEmRKi at Base 0.8
+ _ZNSt6vectorIiSaIiEE6insertEN9__gnu_cxx17__normal_iteratorIPiS1_EERKi at Base 0.8
+ _ZNSt6vectorIiSaIiEE7reserveEm at Base 0.8
+ _ZNSt6vectorIiSaIiEEaSERKS1_ at Base 0.8
+ _ZNSt8_Rb_treeIN8polybori14CCuddNavigatorES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE10_M_insert_EPKSt18_Rb_tree_node_baseSA_RKS1_ at Base 0.8
+ _ZNSt8_Rb_treeIN8polybori14CCuddNavigatorES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE16_M_insert_uniqueERKS1_ at Base 0.8
+ _ZNSt8_Rb_treeIN8polybori14CCuddNavigatorES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE8_M_eraseEPSt13_Rb_tree_nodeIS1_E at Base 0.8
+ _ZNSt8_Rb_treeIN8polybori14CCuddNavigatorESt4pairIKS1_dESt10_Select1stIS4_ESt4lessIS1_ESaIS4_EE10_M_insert_EPKSt18_Rb_tree_node_baseSD_RKS4_ at Base 0.8
+ _ZNSt8_Rb_treeIN8polybori14CCuddNavigatorESt4pairIKS1_dESt10_Select1stIS4_ESt4lessIS1_ESaIS4_EE16_M_insert_uniqueERKS4_ at Base 0.8
+ _ZNSt8_Rb_treeIN8polybori14CCuddNavigatorESt4pairIKS1_dESt10_Select1stIS4_ESt4lessIS1_ESaIS4_EE17_M_insert_unique_ESt23_Rb_tree_const_iteratorIS4_ERKS4_ at Base 0.8
+ _ZNSt8_Rb_treeIN8polybori14CCuddNavigatorESt4pairIKS1_dESt10_Select1stIS4_ESt4lessIS1_ESaIS4_EE8_M_eraseEPSt13_Rb_tree_nodeIS4_E at Base 0.8
+ _ZNSt8_Rb_treeIN8polybori14CCuddNavigatorESt4pairIKS1_mESt10_Select1stIS4_ESt4lessIS1_ESaIS4_EE10_M_insert_EPKSt18_Rb_tree_node_baseSD_RKS4_ at Base 0.8
+ _ZNSt8_Rb_treeIN8polybori14CCuddNavigatorESt4pairIKS1_mESt10_Select1stIS4_ESt4lessIS1_ESaIS4_EE16_M_insert_uniqueERKS4_ at Base 0.8
+ _ZNSt8_Rb_treeIN8polybori14CCuddNavigatorESt4pairIKS1_mESt10_Select1stIS4_ESt4lessIS1_ESaIS4_EE17_M_insert_unique_ESt23_Rb_tree_const_iteratorIS4_ERKS4_ at Base 0.8
+ _ZNSt8_Rb_treeIN8polybori14CCuddNavigatorESt4pairIKS1_mESt10_Select1stIS4_ESt4lessIS1_ESaIS4_EE8_M_eraseEPSt13_Rb_tree_nodeIS4_E at Base 0.8
+ _ZNSt8_Rb_treeIiiSt9_IdentityIiESt4lessIiESaIiEE10_M_insert_EPKSt18_Rb_tree_node_baseS8_RKi at Base 0.8
+ _ZNSt8_Rb_treeIiiSt9_IdentityIiESt4lessIiESaIiEE16_M_insert_uniqueERKi at Base 0.8
+ _ZNSt8_Rb_treeIiiSt9_IdentityIiESt4lessIiESaIiEE17_M_insert_unique_ESt23_Rb_tree_const_iteratorIiERKi at Base 0.8
+ _ZNSt8_Rb_treeIiiSt9_IdentityIiESt4lessIiESaIiEE8_M_eraseEPSt13_Rb_tree_nodeIiE at Base 0.8
+ _ZSt13__copy_move_aILb0EN8polybori12CGenericIterINS0_8LexOrderENS0_14CCuddNavigatorENS0_13BooleMonomialEEEPS4_ET1_T0_S8_S7_ at Base 0.8
+ _ZSt13copy_backwardIN8polybori14CCuddNavigatorEESt15_Deque_iteratorIT_RS3_PS3_ES2_IS3_RKS3_PS7_ESA_S6_ at Base 0.8
+ _ZSt14__copy_move_a2ILb0EN8polybori12CGenericIterINS0_8LexOrderENS0_14CCuddNavigatorENS0_13BooleMonomialEEEN9__gnu_cxx17__normal_iteratorIPS4_St6vectorIS4_SaIS4_EEEEET1_T0_SE_SD_ at Base 0.8
+ _ZSt14__copy_move_a2ILb0EN8polybori13CCuddLastIterEN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEEET1_T0_SA_S9_ at Base 0.8
+ _ZSt14set_differenceIN9__gnu_cxx17__normal_iteratorIPKiSt6vectorIiSaIiEEEEN8polybori14CCuddFirstIterESt20back_insert_iteratorIS6_EET1_T_SD_T0_SE_SC_ at Base 0.8
+ _ZSt22__uninitialized_move_aISt15_Deque_iteratorIN8polybori14CCuddNavigatorERS2_PS2_ES5_SaIS2_EET0_T_S8_S7_RT1_ at Base 0.8
+ _ZSt4copyIN8polybori12CGenericIterINS0_8LexOrderENS0_14CCuddNavigatorENS0_13BooleMonomialEEEN9__gnu_cxx17__normal_iteratorIPS4_St6vectorIS4_SaIS4_EEEEET0_T_SE_SD_ at Base 0.8
+ _ZSt4copyIN8polybori14CCuddNavigatorEESt15_Deque_iteratorIT_RS3_PS3_ES2_IS3_RKS3_PS7_ESA_S6_ at Base 0.8
+ _ZSt6__findIN9__gnu_cxx17__normal_iteratorIPKiSt6vectorIiSaIiEEEEiET_S8_S8_RKT0_St26random_access_iterator_tag at Base 0.8
+ _ZSt6__findIN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEEiET_S7_S7_RKT0_St26random_access_iterator_tag at Base 0.8
+ _ZSt8_DestroyIPN8polybori13BooleMonomialEEvT_S3_ at Base 0.8
+ _ZSt8includesIN8polybori14CCuddFirstIterES1_EbT_S2_T0_S3_ at Base 0.8
+ _ZSt8includesIN9__gnu_cxx17__normal_iteratorIPKiSt6vectorIiSaIiEEEEN8polybori14CCuddFirstIterEEbT_SA_T0_SB_ at Base 0.8
+ _ZSt9__find_ifIN9__gnu_cxx17__normal_iteratorIPKiSt6vectorIiSaIiEEEESt9binder2ndISt13greater_equalIiEEET_SC_SC_T0_St26random_access_iterator_tag at Base 0.8
+ _ZSt9__find_ifIN9__gnu_cxx17__normal_iteratorIPKiSt6vectorIiSaIiEEEESt9binder2ndISt7greaterIiEEET_SC_SC_T0_St26random_access_iterator_tag at Base 0.8
+ _ZSt9__find_ifIN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEESt9binder2ndISt13greater_equalIiEEET_SB_SB_T0_St26random_access_iterator_tag at Base 0.8
+ _ZSt9set_unionIN9__gnu_cxx17__normal_iteratorIPKiSt6vectorIiSaIiEEEEN8polybori14CCuddFirstIterESt20back_insert_iteratorIS6_EET1_T_SD_T0_SE_SC_ at Base 0.8
+ _ZSt9set_unionIN9__gnu_cxx17__normal_iteratorIPKiSt6vectorIiSaIiEEEES7_St20back_insert_iteratorIS6_EET1_T_SB_T0_SC_SA_ at Base 0.8
+ _ZSteqIN8polybori14CCuddNavigatorESaIS1_EEbRKSt5dequeIT_T0_ES8_ at Base 0.8
+ _ZTIN5boost6detail15sp_counted_baseE at Base 0.8
+ _ZTIN5boost6detail17sp_counted_impl_pIN8polybori11DegLexOrderEEE at Base 0.8
+ _ZTIN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_10CTermStackINS2_14CCuddNavigatorESt20forward_iterator_tagNS2_18CAbstractStackBaseIS5_EEEEEEEE at Base 0.8
+ _ZTIN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_13CDegTermStackINS2_14CCuddNavigatorENS2_11invalid_tagES6_NS2_18CAbstractStackBaseIS5_EEEEEEEE at Base 0.8
+ _ZTIN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_13CDegTermStackINS2_14CCuddNavigatorENS2_9valid_tagENS2_11invalid_tagENS2_18CAbstractStackBaseIS5_EEEEEEEE at Base 0.8
+ _ZTIN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_15CBlockTermStackINS2_14CCuddNavigatorENS2_11invalid_tagENS2_18CAbstractStackBaseIS5_EEEEEEEE at Base 0.8
+ _ZTIN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_15CBlockTermStackINS2_14CCuddNavigatorENS2_9valid_tagENS2_18CAbstractStackBaseIS5_EEEEEEEE at Base 0.8
+ _ZTIN5boost6detail17sp_counted_impl_pIN8polybori16BlockDegLexOrderEEE at Base 0.8
+ _ZTIN5boost6detail17sp_counted_impl_pIN8polybori17DegRevLexAscOrderEEE at Base 0.8
+ _ZTIN5boost6detail17sp_counted_impl_pIN8polybori22BlockDegRevLexAscOrderEEE at Base 0.8
+ _ZTIN5boost6detail17sp_counted_impl_pIN8polybori8LexOrderEEE at Base 0.8
+ _ZTIN5boost6detail17sp_counted_impl_pIPN8polybori9CCuddCoreEEE at Base 0.8
+ _ZTIN8polybori10CTermStackINS_14CCuddNavigatorESt20forward_iterator_tagNS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTIN8polybori10CTermStackINS_14CCuddNavigatorESt26bidirectional_iterator_tagNS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTIN8polybori10PBoRiErrorE at Base 0.8
+ _ZTIN8polybori11CErrorEnumsE at Base 0.8
+ _ZTIN8polybori11COrderEnumsE at Base 0.8
+ _ZTIN8polybori11DegLexOrderE at Base 0.8
+ _ZTIN8polybori12order_traitsINS_10dp_asc_tagEEE at Base 0.8
+ _ZTIN8polybori12order_traitsINS_7lex_tagEEE at Base 0.8
+ _ZTIN8polybori12order_traitsINS_8dlex_tagEEE at Base 0.8
+ _ZTIN8polybori12order_traitsINS_9block_tagINS_10dp_asc_tagEEEEE at Base 0.8
+ _ZTIN8polybori12order_traitsINS_9block_tagINS_8dlex_tagEEEEE at Base 0.8
+ _ZTIN8polybori13CCompareEnumsE at Base 0.8
+ _ZTIN8polybori13CDegStackBaseINS_14CCuddNavigatorENS_11invalid_tagENS_9valid_tagENS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTIN8polybori13CDegStackBaseINS_14CCuddNavigatorENS_11invalid_tagES2_NS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTIN8polybori13CDegStackBaseINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTIN8polybori13CDegStackBaseINS_14CCuddNavigatorENS_9valid_tagES2_NS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTIN8polybori13CDegStackCoreINS_14CCuddNavigatorENS_11invalid_tagESt20forward_iterator_tagNS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTIN8polybori13CDegStackCoreINS_14CCuddNavigatorENS_11invalid_tagESt26bidirectional_iterator_tagNS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTIN8polybori13CDegStackCoreINS_14CCuddNavigatorENS_9valid_tagESt20forward_iterator_tagNS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTIN8polybori13CDegStackCoreINS_14CCuddNavigatorENS_9valid_tagESt26bidirectional_iterator_tagNS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTIN8polybori13CDegTermStackINS_14CCuddNavigatorENS_11invalid_tagENS_9valid_tagENS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTIN8polybori13CDegTermStackINS_14CCuddNavigatorENS_11invalid_tagES2_NS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTIN8polybori13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTIN8polybori13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagES2_NS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTIN8polybori13COrderingBaseE at Base 0.8
+ _ZTIN8polybori13COrderingTagsINS_10dp_asc_tagEEE at Base 0.8
+ _ZTIN8polybori13COrderingTagsINS_7lex_tagEEE at Base 0.8
+ _ZTIN8polybori13COrderingTagsINS_8dlex_tagEEE at Base 0.8
+ _ZTIN8polybori13COrderingTagsINS_9block_tagINS_10dp_asc_tagEEEEE at Base 0.8
+ _ZTIN8polybori13COrderingTagsINS_9block_tagINS_8dlex_tagEEEEE at Base 0.8
+ _ZTIN8polybori13CWrappedStackINS_10CTermStackINS_14CCuddNavigatorESt20forward_iterator_tagNS_18CAbstractStackBaseIS2_EEEEEE at Base 0.8
+ _ZTIN8polybori13CWrappedStackINS_13CDegTermStackINS_14CCuddNavigatorENS_11invalid_tagES3_NS_18CAbstractStackBaseIS2_EEEEEE at Base 0.8
+ _ZTIN8polybori13CWrappedStackINS_13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_18CAbstractStackBaseIS2_EEEEEE at Base 0.8
+ _ZTIN8polybori13CWrappedStackINS_15CBlockTermStackINS_14CCuddNavigatorENS_11invalid_tagENS_18CAbstractStackBaseIS2_EEEEEE at Base 0.8
+ _ZTIN8polybori13CWrappedStackINS_15CBlockTermStackINS_14CCuddNavigatorENS_9valid_tagENS_18CAbstractStackBaseIS2_EEEEEE at Base 0.8
+ _ZTIN8polybori14CTermStackBaseINS_14CCuddNavigatorENS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTIN8polybori15CBlockTermStackINS_14CCuddNavigatorENS_11invalid_tagENS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTIN8polybori15CBlockTermStackINS_14CCuddNavigatorENS_9valid_tagENS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTIN8polybori15COrderingFacadeINS_11DegLexOrderENS_8dlex_tagEEE at Base 0.8
+ _ZTIN8polybori15COrderingFacadeINS_16BlockDegLexOrderENS_9block_tagINS_8dlex_tagEEEEE at Base 0.8
+ _ZTIN8polybori15COrderingFacadeINS_17DegRevLexAscOrderENS_10dp_asc_tagEEE at Base 0.8
+ _ZTIN8polybori15COrderingFacadeINS_22BlockDegRevLexAscOrderENS_9block_tagINS_10dp_asc_tagEEEEE at Base 0.8
+ _ZTIN8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEEE at Base 0.8
+ _ZTIN8polybori16BlockDegLexOrderE at Base 0.8
+ _ZTIN8polybori17COrderingTagsBaseINS_10dp_asc_tagENS_11invalid_tagENS_9valid_tagES2_S2_S2_S3_S3_EE at Base 0.8
+ _ZTIN8polybori17COrderingTagsBaseINS_7lex_tagENS_9valid_tagENS_11invalid_tagES3_S2_S2_S3_S2_EE at Base 0.8
+ _ZTIN8polybori17COrderingTagsBaseINS_8dlex_tagENS_11invalid_tagENS_9valid_tagES2_S3_S2_S3_S3_EE at Base 0.8
+ _ZTIN8polybori17COrderingTagsBaseINS_9block_tagINS_10dp_asc_tagEEENS_11invalid_tagES4_NS_9valid_tagES4_S4_S4_S4_EE at Base 0.8
+ _ZTIN8polybori17COrderingTagsBaseINS_9block_tagINS_8dlex_tagEEENS_11invalid_tagES4_NS_9valid_tagES5_S4_S4_S4_EE at Base 0.8
+ _ZTIN8polybori17DegRevLexAscOrderE at Base 0.8
+ _ZTIN8polybori17PBoRiGenericErrorILj4EEE at Base 0.8
+ _ZTIN8polybori17PBoRiGenericErrorILj7EEE at Base 0.8
+ _ZTIN8polybori17PBoRiGenericErrorILj8EEE at Base 0.8
+ _ZTIN8polybori17PBoRiGenericErrorILj9EEE at Base 0.8
+ _ZTIN8polybori18CAbstractStackBaseINS_14CCuddNavigatorEEE at Base 0.8
+ _ZTIN8polybori19CDegreeOrderingTagsINS_10dp_asc_tagENS_11invalid_tagEEE at Base 0.8
+ _ZTIN8polybori19CDegreeOrderingTagsINS_8dlex_tagENS_9valid_tagEEE at Base 0.8
+ _ZTIN8polybori20CBlockOrderingFacadeINS_16BlockDegLexOrderENS_9block_tagINS_8dlex_tagEEEEE at Base 0.8
+ _ZTIN8polybori20CBlockOrderingFacadeINS_22BlockDegRevLexAscOrderENS_9block_tagINS_10dp_asc_tagEEEEE at Base 0.8
+ _ZTIN8polybori22BlockDegRevLexAscOrderE at Base 0.8
+ _ZTIN8polybori24CBlockDegreeOrderingTagsINS_9block_tagINS_10dp_asc_tagEEENS_11invalid_tagEEE at Base 0.8
+ _ZTIN8polybori24CBlockDegreeOrderingTagsINS_9block_tagINS_8dlex_tagEEENS_9valid_tagEEE at Base 0.8
+ _ZTIN8polybori6CTypesE at Base 0.8
+ _ZTIN8polybori8LexOrderE at Base 0.8
+ _ZTIN8polybori9CAuxTypesE at Base 0.8
+ _ZTSN5boost6detail15sp_counted_baseE at Base 0.8
+ _ZTSN5boost6detail17sp_counted_impl_pIN8polybori11DegLexOrderEEE at Base 0.8
+ _ZTSN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_10CTermStackINS2_14CCuddNavigatorESt20forward_iterator_tagNS2_18CAbstractStackBaseIS5_EEEEEEEE at Base 0.8
+ _ZTSN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_13CDegTermStackINS2_14CCuddNavigatorENS2_11invalid_tagES6_NS2_18CAbstractStackBaseIS5_EEEEEEEE at Base 0.8
+ _ZTSN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_13CDegTermStackINS2_14CCuddNavigatorENS2_9valid_tagENS2_11invalid_tagENS2_18CAbstractStackBaseIS5_EEEEEEEE at Base 0.8
+ _ZTSN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_15CBlockTermStackINS2_14CCuddNavigatorENS2_11invalid_tagENS2_18CAbstractStackBaseIS5_EEEEEEEE at Base 0.8
+ _ZTSN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_15CBlockTermStackINS2_14CCuddNavigatorENS2_9valid_tagENS2_18CAbstractStackBaseIS5_EEEEEEEE at Base 0.8
+ _ZTSN5boost6detail17sp_counted_impl_pIN8polybori16BlockDegLexOrderEEE at Base 0.8
+ _ZTSN5boost6detail17sp_counted_impl_pIN8polybori17DegRevLexAscOrderEEE at Base 0.8
+ _ZTSN5boost6detail17sp_counted_impl_pIN8polybori22BlockDegRevLexAscOrderEEE at Base 0.8
+ _ZTSN5boost6detail17sp_counted_impl_pIN8polybori8LexOrderEEE at Base 0.8
+ _ZTSN5boost6detail17sp_counted_impl_pIPN8polybori9CCuddCoreEEE at Base 0.8
+ _ZTSN8polybori10CTermStackINS_14CCuddNavigatorESt20forward_iterator_tagNS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTSN8polybori10CTermStackINS_14CCuddNavigatorESt26bidirectional_iterator_tagNS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTSN8polybori10PBoRiErrorE at Base 0.8
+ _ZTSN8polybori11CErrorEnumsE at Base 0.8
+ _ZTSN8polybori11COrderEnumsE at Base 0.8
+ _ZTSN8polybori11DegLexOrderE at Base 0.8
+ _ZTSN8polybori12order_traitsINS_10dp_asc_tagEEE at Base 0.8
+ _ZTSN8polybori12order_traitsINS_7lex_tagEEE at Base 0.8
+ _ZTSN8polybori12order_traitsINS_8dlex_tagEEE at Base 0.8
+ _ZTSN8polybori12order_traitsINS_9block_tagINS_10dp_asc_tagEEEEE at Base 0.8
+ _ZTSN8polybori12order_traitsINS_9block_tagINS_8dlex_tagEEEEE at Base 0.8
+ _ZTSN8polybori13CCompareEnumsE at Base 0.8
+ _ZTSN8polybori13CDegStackBaseINS_14CCuddNavigatorENS_11invalid_tagENS_9valid_tagENS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTSN8polybori13CDegStackBaseINS_14CCuddNavigatorENS_11invalid_tagES2_NS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTSN8polybori13CDegStackBaseINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTSN8polybori13CDegStackBaseINS_14CCuddNavigatorENS_9valid_tagES2_NS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTSN8polybori13CDegStackCoreINS_14CCuddNavigatorENS_11invalid_tagESt20forward_iterator_tagNS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTSN8polybori13CDegStackCoreINS_14CCuddNavigatorENS_11invalid_tagESt26bidirectional_iterator_tagNS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTSN8polybori13CDegStackCoreINS_14CCuddNavigatorENS_9valid_tagESt20forward_iterator_tagNS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTSN8polybori13CDegStackCoreINS_14CCuddNavigatorENS_9valid_tagESt26bidirectional_iterator_tagNS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTSN8polybori13CDegTermStackINS_14CCuddNavigatorENS_11invalid_tagENS_9valid_tagENS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTSN8polybori13CDegTermStackINS_14CCuddNavigatorENS_11invalid_tagES2_NS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTSN8polybori13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTSN8polybori13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagES2_NS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTSN8polybori13COrderingBaseE at Base 0.8
+ _ZTSN8polybori13COrderingTagsINS_10dp_asc_tagEEE at Base 0.8
+ _ZTSN8polybori13COrderingTagsINS_7lex_tagEEE at Base 0.8
+ _ZTSN8polybori13COrderingTagsINS_8dlex_tagEEE at Base 0.8
+ _ZTSN8polybori13COrderingTagsINS_9block_tagINS_10dp_asc_tagEEEEE at Base 0.8
+ _ZTSN8polybori13COrderingTagsINS_9block_tagINS_8dlex_tagEEEEE at Base 0.8
+ _ZTSN8polybori13CWrappedStackINS_10CTermStackINS_14CCuddNavigatorESt20forward_iterator_tagNS_18CAbstractStackBaseIS2_EEEEEE at Base 0.8
+ _ZTSN8polybori13CWrappedStackINS_13CDegTermStackINS_14CCuddNavigatorENS_11invalid_tagES3_NS_18CAbstractStackBaseIS2_EEEEEE at Base 0.8
+ _ZTSN8polybori13CWrappedStackINS_13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_18CAbstractStackBaseIS2_EEEEEE at Base 0.8
+ _ZTSN8polybori13CWrappedStackINS_15CBlockTermStackINS_14CCuddNavigatorENS_11invalid_tagENS_18CAbstractStackBaseIS2_EEEEEE at Base 0.8
+ _ZTSN8polybori13CWrappedStackINS_15CBlockTermStackINS_14CCuddNavigatorENS_9valid_tagENS_18CAbstractStackBaseIS2_EEEEEE at Base 0.8
+ _ZTSN8polybori14CTermStackBaseINS_14CCuddNavigatorENS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTSN8polybori15CBlockTermStackINS_14CCuddNavigatorENS_11invalid_tagENS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTSN8polybori15CBlockTermStackINS_14CCuddNavigatorENS_9valid_tagENS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTSN8polybori15COrderingFacadeINS_11DegLexOrderENS_8dlex_tagEEE at Base 0.8
+ _ZTSN8polybori15COrderingFacadeINS_16BlockDegLexOrderENS_9block_tagINS_8dlex_tagEEEEE at Base 0.8
+ _ZTSN8polybori15COrderingFacadeINS_17DegRevLexAscOrderENS_10dp_asc_tagEEE at Base 0.8
+ _ZTSN8polybori15COrderingFacadeINS_22BlockDegRevLexAscOrderENS_9block_tagINS_10dp_asc_tagEEEEE at Base 0.8
+ _ZTSN8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEEE at Base 0.8
+ _ZTSN8polybori16BlockDegLexOrderE at Base 0.8
+ _ZTSN8polybori17COrderingTagsBaseINS_10dp_asc_tagENS_11invalid_tagENS_9valid_tagES2_S2_S2_S3_S3_EE at Base 0.8
+ _ZTSN8polybori17COrderingTagsBaseINS_7lex_tagENS_9valid_tagENS_11invalid_tagES3_S2_S2_S3_S2_EE at Base 0.8
+ _ZTSN8polybori17COrderingTagsBaseINS_8dlex_tagENS_11invalid_tagENS_9valid_tagES2_S3_S2_S3_S3_EE at Base 0.8
+ _ZTSN8polybori17COrderingTagsBaseINS_9block_tagINS_10dp_asc_tagEEENS_11invalid_tagES4_NS_9valid_tagES4_S4_S4_S4_EE at Base 0.8
+ _ZTSN8polybori17COrderingTagsBaseINS_9block_tagINS_8dlex_tagEEENS_11invalid_tagES4_NS_9valid_tagES5_S4_S4_S4_EE at Base 0.8
+ _ZTSN8polybori17DegRevLexAscOrderE at Base 0.8
+ _ZTSN8polybori17PBoRiGenericErrorILj4EEE at Base 0.8
+ _ZTSN8polybori17PBoRiGenericErrorILj7EEE at Base 0.8
+ _ZTSN8polybori17PBoRiGenericErrorILj8EEE at Base 0.8
+ _ZTSN8polybori17PBoRiGenericErrorILj9EEE at Base 0.8
+ _ZTSN8polybori18CAbstractStackBaseINS_14CCuddNavigatorEEE at Base 0.8
+ _ZTSN8polybori19CDegreeOrderingTagsINS_10dp_asc_tagENS_11invalid_tagEEE at Base 0.8
+ _ZTSN8polybori19CDegreeOrderingTagsINS_8dlex_tagENS_9valid_tagEEE at Base 0.8
+ _ZTSN8polybori20CBlockOrderingFacadeINS_16BlockDegLexOrderENS_9block_tagINS_8dlex_tagEEEEE at Base 0.8
+ _ZTSN8polybori20CBlockOrderingFacadeINS_22BlockDegRevLexAscOrderENS_9block_tagINS_10dp_asc_tagEEEEE at Base 0.8
+ _ZTSN8polybori22BlockDegRevLexAscOrderE at Base 0.8
+ _ZTSN8polybori24CBlockDegreeOrderingTagsINS_9block_tagINS_10dp_asc_tagEEENS_11invalid_tagEEE at Base 0.8
+ _ZTSN8polybori24CBlockDegreeOrderingTagsINS_9block_tagINS_8dlex_tagEEENS_9valid_tagEEE at Base 0.8
+ _ZTSN8polybori6CTypesE at Base 0.8
+ _ZTSN8polybori8LexOrderE at Base 0.8
+ _ZTSN8polybori9CAuxTypesE at Base 0.8
+ _ZTVN5boost6detail15sp_counted_baseE at Base 0.8
+ _ZTVN5boost6detail17sp_counted_impl_pIN8polybori11DegLexOrderEEE at Base 0.8
+ _ZTVN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_10CTermStackINS2_14CCuddNavigatorESt20forward_iterator_tagNS2_18CAbstractStackBaseIS5_EEEEEEEE at Base 0.8
+ _ZTVN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_13CDegTermStackINS2_14CCuddNavigatorENS2_11invalid_tagES6_NS2_18CAbstractStackBaseIS5_EEEEEEEE at Base 0.8
+ _ZTVN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_13CDegTermStackINS2_14CCuddNavigatorENS2_9valid_tagENS2_11invalid_tagENS2_18CAbstractStackBaseIS5_EEEEEEEE at Base 0.8
+ _ZTVN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_15CBlockTermStackINS2_14CCuddNavigatorENS2_11invalid_tagENS2_18CAbstractStackBaseIS5_EEEEEEEE at Base 0.8
+ _ZTVN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_15CBlockTermStackINS2_14CCuddNavigatorENS2_9valid_tagENS2_18CAbstractStackBaseIS5_EEEEEEEE at Base 0.8
+ _ZTVN5boost6detail17sp_counted_impl_pIN8polybori16BlockDegLexOrderEEE at Base 0.8
+ _ZTVN5boost6detail17sp_counted_impl_pIN8polybori17DegRevLexAscOrderEEE at Base 0.8
+ _ZTVN5boost6detail17sp_counted_impl_pIN8polybori22BlockDegRevLexAscOrderEEE at Base 0.8
+ _ZTVN5boost6detail17sp_counted_impl_pIN8polybori8LexOrderEEE at Base 0.8
+ _ZTVN5boost6detail17sp_counted_impl_pIPN8polybori9CCuddCoreEEE at Base 0.8
+ _ZTVN8polybori10CTermStackINS_14CCuddNavigatorESt20forward_iterator_tagNS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTVN8polybori10CTermStackINS_14CCuddNavigatorESt26bidirectional_iterator_tagNS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTVN8polybori10PBoRiErrorE at Base 0.8
+ _ZTVN8polybori11DegLexOrderE at Base 0.8
+ _ZTVN8polybori13CDegStackBaseINS_14CCuddNavigatorENS_11invalid_tagENS_9valid_tagENS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTVN8polybori13CDegStackBaseINS_14CCuddNavigatorENS_11invalid_tagES2_NS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTVN8polybori13CDegStackBaseINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTVN8polybori13CDegStackBaseINS_14CCuddNavigatorENS_9valid_tagES2_NS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTVN8polybori13CDegStackCoreINS_14CCuddNavigatorENS_11invalid_tagESt20forward_iterator_tagNS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTVN8polybori13CDegStackCoreINS_14CCuddNavigatorENS_11invalid_tagESt26bidirectional_iterator_tagNS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTVN8polybori13CDegStackCoreINS_14CCuddNavigatorENS_9valid_tagESt20forward_iterator_tagNS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTVN8polybori13CDegStackCoreINS_14CCuddNavigatorENS_9valid_tagESt26bidirectional_iterator_tagNS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTVN8polybori13CDegTermStackINS_14CCuddNavigatorENS_11invalid_tagENS_9valid_tagENS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTVN8polybori13CDegTermStackINS_14CCuddNavigatorENS_11invalid_tagES2_NS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTVN8polybori13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTVN8polybori13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagES2_NS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTVN8polybori13COrderingBaseE at Base 0.8
+ _ZTVN8polybori13CWrappedStackINS_10CTermStackINS_14CCuddNavigatorESt20forward_iterator_tagNS_18CAbstractStackBaseIS2_EEEEEE at Base 0.8
+ _ZTVN8polybori13CWrappedStackINS_13CDegTermStackINS_14CCuddNavigatorENS_11invalid_tagES3_NS_18CAbstractStackBaseIS2_EEEEEE at Base 0.8
+ _ZTVN8polybori13CWrappedStackINS_13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_18CAbstractStackBaseIS2_EEEEEE at Base 0.8
+ _ZTVN8polybori13CWrappedStackINS_15CBlockTermStackINS_14CCuddNavigatorENS_11invalid_tagENS_18CAbstractStackBaseIS2_EEEEEE at Base 0.8
+ _ZTVN8polybori13CWrappedStackINS_15CBlockTermStackINS_14CCuddNavigatorENS_9valid_tagENS_18CAbstractStackBaseIS2_EEEEEE at Base 0.8
+ _ZTVN8polybori14CTermStackBaseINS_14CCuddNavigatorENS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTVN8polybori15CBlockTermStackINS_14CCuddNavigatorENS_11invalid_tagENS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTVN8polybori15CBlockTermStackINS_14CCuddNavigatorENS_9valid_tagENS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTVN8polybori15COrderingFacadeINS_11DegLexOrderENS_8dlex_tagEEE at Base 0.8
+ _ZTVN8polybori15COrderingFacadeINS_16BlockDegLexOrderENS_9block_tagINS_8dlex_tagEEEEE at Base 0.8
+ _ZTVN8polybori15COrderingFacadeINS_17DegRevLexAscOrderENS_10dp_asc_tagEEE at Base 0.8
+ _ZTVN8polybori15COrderingFacadeINS_22BlockDegRevLexAscOrderENS_9block_tagINS_10dp_asc_tagEEEEE at Base 0.8
+ _ZTVN8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEEE at Base 0.8
+ _ZTVN8polybori16BlockDegLexOrderE at Base 0.8
+ _ZTVN8polybori17DegRevLexAscOrderE at Base 0.8
+ _ZTVN8polybori17PBoRiGenericErrorILj4EEE at Base 0.8
+ _ZTVN8polybori17PBoRiGenericErrorILj7EEE at Base 0.8
+ _ZTVN8polybori17PBoRiGenericErrorILj8EEE at Base 0.8
+ _ZTVN8polybori17PBoRiGenericErrorILj9EEE at Base 0.8
+ _ZTVN8polybori18CAbstractStackBaseINS_14CCuddNavigatorEEE at Base 0.8
+ _ZTVN8polybori20CBlockOrderingFacadeINS_16BlockDegLexOrderENS_9block_tagINS_8dlex_tagEEEEE at Base 0.8
+ _ZTVN8polybori20CBlockOrderingFacadeINS_22BlockDegRevLexAscOrderENS_9block_tagINS_10dp_asc_tagEEEEE at Base 0.8
+ _ZTVN8polybori22BlockDegRevLexAscOrderE at Base 0.8
+ _ZTVN8polybori8LexOrderE at Base 0.8
+ pbori_Cudd_AddHook at Base 0.8
+ pbori_Cudd_AutodynDisable at Base 0.8
+ pbori_Cudd_AutodynDisableZdd at Base 0.8
+ pbori_Cudd_AutodynEnable at Base 0.8
+ pbori_Cudd_AutodynEnableZdd at Base 0.8
+ pbori_Cudd_CheckZeroRef at Base 0.8
+ pbori_Cudd_ClearErrorCode at Base 0.8
+ pbori_Cudd_DeadAreCounted at Base 0.8
+ pbori_Cudd_DelayedDerefBdd at Base 0.8
+ pbori_Cudd_Deref at Base 0.8
+ pbori_Cudd_DisableGarbageCollection at Base 0.8
+ pbori_Cudd_DisableReorderingReporting at Base 0.8
+ pbori_Cudd_EnableGarbageCollection at Base 0.8
+ pbori_Cudd_EnableReorderingReporting at Base 0.8
+ pbori_Cudd_ExpectedUsedSlots at Base 0.8
+ pbori_Cudd_GarbageCollectionEnabled at Base 0.8
+ pbori_Cudd_IncreaseTimeLimit at Base 0.8
+ pbori_Cudd_Init at Base 0.8
+ pbori_Cudd_IsInHook at Base 0.8
+ pbori_Cudd_IsNonConstant at Base 0.8
+ pbori_Cudd_IterDerefBdd at Base 0.8
+ pbori_Cudd_NodeReadIndex at Base 0.8
+ pbori_Cudd_Prime at Base 0.8
+ pbori_Cudd_PrintInfo at Base 0.8
+ pbori_Cudd_Quit at Base 0.8
+ pbori_Cudd_ReadArcviolation at Base 0.8
+ pbori_Cudd_ReadBackground at Base 0.8
+ pbori_Cudd_ReadCacheHits at Base 0.8
+ pbori_Cudd_ReadCacheLookUps at Base 0.8
+ pbori_Cudd_ReadCacheSlots at Base 0.8
+ pbori_Cudd_ReadCacheUsedSlots at Base 0.8
+ pbori_Cudd_ReadDead at Base 0.8
+ pbori_Cudd_ReadElapsedTime at Base 0.8
+ pbori_Cudd_ReadEpsilon at Base 0.8
+ pbori_Cudd_ReadErrorCode at Base 0.8
+ pbori_Cudd_ReadGarbageCollectionTime at Base 0.8
+ pbori_Cudd_ReadGarbageCollections at Base 0.8
+ pbori_Cudd_ReadGroupcheck at Base 0.8
+ pbori_Cudd_ReadInvPerm at Base 0.8
+ pbori_Cudd_ReadInvPermZdd at Base 0.8
+ pbori_Cudd_ReadKeys at Base 0.8
+ pbori_Cudd_ReadLogicZero at Base 0.8
+ pbori_Cudd_ReadLooseUpTo at Base 0.8
+ pbori_Cudd_ReadMaxCache at Base 0.8
+ pbori_Cudd_ReadMaxCacheHard at Base 0.8
+ pbori_Cudd_ReadMaxGrowth at Base 0.8
+ pbori_Cudd_ReadMaxGrowthAlternate at Base 0.8
+ pbori_Cudd_ReadMaxLive at Base 0.8
+ pbori_Cudd_ReadMaxMemory at Base 0.8
+ pbori_Cudd_ReadMaxReorderings at Base 0.8
+ pbori_Cudd_ReadMemoryInUse at Base 0.8
+ pbori_Cudd_ReadMinDead at Base 0.8
+ pbori_Cudd_ReadMinHit at Base 0.8
+ pbori_Cudd_ReadMinusInfinity at Base 0.8
+ pbori_Cudd_ReadNextReordering at Base 0.8
+ pbori_Cudd_ReadNodeCount at Base 0.8
+ pbori_Cudd_ReadNodesDropped at Base 0.8
+ pbori_Cudd_ReadNodesFreed at Base 0.8
+ pbori_Cudd_ReadNumberXovers at Base 0.8
+ pbori_Cudd_ReadOne at Base 0.8
+ pbori_Cudd_ReadOrderRandomization at Base 0.8
+ pbori_Cudd_ReadPeakLiveNodeCount at Base 0.8
+ pbori_Cudd_ReadPeakNodeCount at Base 0.8
+ pbori_Cudd_ReadPerm at Base 0.8
+ pbori_Cudd_ReadPermZdd at Base 0.8
+ pbori_Cudd_ReadPlusInfinity at Base 0.8
+ pbori_Cudd_ReadPopulationSize at Base 0.8
+ pbori_Cudd_ReadRecomb at Base 0.8
+ pbori_Cudd_ReadRecursiveCalls at Base 0.8
+ pbori_Cudd_ReadReorderingCycle at Base 0.8
+ pbori_Cudd_ReadReorderingTime at Base 0.8
+ pbori_Cudd_ReadReorderings at Base 0.8
+ pbori_Cudd_ReadSiftMaxSwap at Base 0.8
+ pbori_Cudd_ReadSiftMaxVar at Base 0.8
+ pbori_Cudd_ReadSize at Base 0.8
+ pbori_Cudd_ReadSlots at Base 0.8
+ pbori_Cudd_ReadStartTime at Base 0.8
+ pbori_Cudd_ReadStderr at Base 0.8
+ pbori_Cudd_ReadStdout at Base 0.8
+ pbori_Cudd_ReadSwapSteps at Base 0.8
+ pbori_Cudd_ReadSymmviolation at Base 0.8
+ pbori_Cudd_ReadTimeLimit at Base 0.8
+ pbori_Cudd_ReadUniqueLinks at Base 0.8
+ pbori_Cudd_ReadUniqueLookUps at Base 0.8
+ pbori_Cudd_ReadUsedSlots at Base 0.8
+ pbori_Cudd_ReadVars at Base 0.8
+ pbori_Cudd_ReadZddOne at Base 0.8
+ pbori_Cudd_ReadZddSize at Base 0.8
+ pbori_Cudd_ReadZero at Base 0.8
+ pbori_Cudd_RecursiveDeref at Base 0.8
+ pbori_Cudd_RecursiveDerefZdd at Base 0.8
+ pbori_Cudd_Ref at Base 0.8
+ pbori_Cudd_RemoveHook at Base 0.8
+ pbori_Cudd_ReorderingReporting at Base 0.8
+ pbori_Cudd_ReorderingStatus at Base 0.8
+ pbori_Cudd_ReorderingStatusZdd at Base 0.8
+ pbori_Cudd_ResetStartTime at Base 0.8
+ pbori_Cudd_SetArcviolation at Base 0.8
+ pbori_Cudd_SetBackground at Base 0.8
+ pbori_Cudd_SetEpsilon at Base 0.8
+ pbori_Cudd_SetGroupcheck at Base 0.8
+ pbori_Cudd_SetLooseUpTo at Base 0.8
+ pbori_Cudd_SetMaxCacheHard at Base 0.8
+ pbori_Cudd_SetMaxGrowth at Base 0.8
+ pbori_Cudd_SetMaxGrowthAlternate at Base 0.8
+ pbori_Cudd_SetMaxLive at Base 0.8
+ pbori_Cudd_SetMaxMemory at Base 0.8
+ pbori_Cudd_SetMaxReorderings at Base 0.8
+ pbori_Cudd_SetMinHit at Base 0.8
+ pbori_Cudd_SetNextReordering at Base 0.8
+ pbori_Cudd_SetNumberXovers at Base 0.8
+ pbori_Cudd_SetOrderRandomization at Base 0.8
+ pbori_Cudd_SetPopulationSize at Base 0.8
+ pbori_Cudd_SetRecomb at Base 0.8
+ pbori_Cudd_SetReorderingCycle at Base 0.8
+ pbori_Cudd_SetSiftMaxSwap at Base 0.8
+ pbori_Cudd_SetSiftMaxVar at Base 0.8
+ pbori_Cudd_SetStartTime at Base 0.8
+ pbori_Cudd_SetStderr at Base 0.8
+ pbori_Cudd_SetStdout at Base 0.8
+ pbori_Cudd_SetSymmviolation at Base 0.8
+ pbori_Cudd_SetTimeLimit at Base 0.8
+ pbori_Cudd_StdPostReordHook at Base 0.8
+ pbori_Cudd_StdPreReordHook at Base 0.8
+ pbori_Cudd_TimeLimited at Base 0.8
+ pbori_Cudd_TurnOffCountDead at Base 0.8
+ pbori_Cudd_TurnOnCountDead at Base 0.8
+ pbori_Cudd_UnsetTimeLimit at Base 0.8
+ pbori_Cudd_UpdateTimeLimit at Base 0.8
+ pbori_Cudd_addConst at Base 0.8
+ pbori_Cudd_bddRealignDisable at Base 0.8
+ pbori_Cudd_bddRealignEnable at Base 0.8
+ pbori_Cudd_bddRealignmentEnabled at Base 0.8
+ pbori_Cudd_zddChange at Base 0.8
+ pbori_Cudd_zddDiff at Base 0.8
+ pbori_Cudd_zddDiffConst at Base 0.8
+ pbori_Cudd_zddDivide at Base 0.8
+ pbori_Cudd_zddDivideF at Base 0.8
+ pbori_Cudd_zddIntersect at Base 0.8
+ pbori_Cudd_zddIte at Base 0.8
+ pbori_Cudd_zddIthVar at Base 0.8
+ pbori_Cudd_zddProduct at Base 0.8
+ pbori_Cudd_zddReadNodeCount at Base 0.8
+ pbori_Cudd_zddRealignDisable at Base 0.8
+ pbori_Cudd_zddRealignEnable at Base 0.8
+ pbori_Cudd_zddRealignmentEnabled at Base 0.8
+ pbori_Cudd_zddSubset0 at Base 0.8
+ pbori_Cudd_zddSubset1 at Base 0.8
+ pbori_Cudd_zddUnateProduct at Base 0.8
+ pbori_Cudd_zddUnion at Base 0.8
+ pbori_Cudd_zddWeakDiv at Base 0.8
+ pbori_Cudd_zddWeakDivF at Base 0.8
+ pbori_MMoutOfMemory at Base 0.8
+ pbori_cuddAllocNode at Base 0.8
+ pbori_cuddCacheFlush at Base 0.8
+ pbori_cuddCacheInsert1 at Base 0.8
+ pbori_cuddCacheInsert2 at Base 0.8
+ pbori_cuddCacheInsert at Base 0.8
+ pbori_cuddCacheLookup1 at Base 0.8
+ pbori_cuddCacheLookup1Zdd at Base 0.8
+ pbori_cuddCacheLookup2 at Base 0.8
+ pbori_cuddCacheLookup2Zdd at Base 0.8
+ pbori_cuddCacheLookup at Base 0.8
+ pbori_cuddCacheLookupZdd at Base 0.8
+ pbori_cuddCacheProfile at Base 0.8
+ pbori_cuddCacheResize at Base 0.8
+ pbori_cuddClearDeathRow at Base 0.8
+ pbori_cuddComputeFloorLog2 at Base 0.8
+ pbori_cuddConstantLookup at Base 0.8
+ pbori_cuddFreeTable at Base 0.8
+ pbori_cuddGarbageCollect at Base 0.8
+ pbori_cuddHashTableGenericInsert at Base 0.8
+ pbori_cuddHashTableGenericLookup at Base 0.8
+ pbori_cuddHashTableGenericQuit at Base 0.8
+ pbori_cuddHashTableInit at Base 0.8
+ pbori_cuddHashTableInsert1 at Base 0.8
+ pbori_cuddHashTableInsert2 at Base 0.8
+ pbori_cuddHashTableInsert3 at Base 0.8
+ pbori_cuddHashTableInsert at Base 0.8
+ pbori_cuddHashTableLookup1 at Base 0.8
+ pbori_cuddHashTableLookup2 at Base 0.8
+ pbori_cuddHashTableLookup3 at Base 0.8
+ pbori_cuddHashTableLookup at Base 0.8
+ pbori_cuddHashTableQuit at Base 0.8
+ pbori_cuddInitCache at Base 0.8
+ pbori_cuddInitTable at Base 0.8
+ pbori_cuddIsInDeathRow at Base 0.8
+ pbori_cuddLocalCacheClearAll at Base 0.8
+ pbori_cuddLocalCacheClearDead at Base 0.8
+ pbori_cuddLocalCacheInit at Base 0.8
+ pbori_cuddLocalCacheInsert at Base 0.8
+ pbori_cuddLocalCacheLookup at Base 0.8
+ pbori_cuddLocalCacheQuit at Base 0.8
+ pbori_cuddReclaim at Base 0.8
+ pbori_cuddReclaimZdd at Base 0.8
+ pbori_cuddRehash at Base 0.8
+ pbori_cuddResizeTableZdd at Base 0.8
+ pbori_cuddShrinkDeathRow at Base 0.8
+ pbori_cuddSlowTableGrowth at Base 0.8
+ pbori_cuddTimesInDeathRow at Base 0.8
+ pbori_cuddUniqueConst at Base 0.8
+ pbori_cuddUniqueInter at Base 0.8
+ pbori_cuddUniqueInterZdd at Base 0.8
+ pbori_cuddZddChange at Base 0.8
+ pbori_cuddZddChangeAux at Base 0.8
+ pbori_cuddZddDiff at Base 0.8
+ pbori_cuddZddDivide at Base 0.8
+ pbori_cuddZddDivideF at Base 0.8
+ pbori_cuddZddFreeUniv at Base 0.8
+ pbori_cuddZddGetCofactors2 at Base 0.8
+ pbori_cuddZddGetCofactors3 at Base 0.8
+ pbori_cuddZddGetNegVarIndex at Base 0.8
+ pbori_cuddZddGetNegVarLevel at Base 0.8
+ pbori_cuddZddGetPosVarIndex at Base 0.8
+ pbori_cuddZddGetPosVarLevel at Base 0.8
+ pbori_cuddZddInitUniv at Base 0.8
+ pbori_cuddZddIntersect at Base 0.8
+ pbori_cuddZddIte at Base 0.8
+ pbori_cuddZddProduct at Base 0.8
+ pbori_cuddZddSubset0 at Base 0.8
+ pbori_cuddZddSubset1 at Base 0.8
+ pbori_cuddZddUnateProduct at Base 0.8
+ pbori_cuddZddUnion at Base 0.8
+ pbori_cuddZddWeakDiv at Base 0.8
+ pbori_cuddZddWeakDivF at Base 0.8
diff --git a/debian/libpolybori-groebner-0.8.symbols b/debian/libpolybori-groebner-0.8.symbols
new file mode 100644
index 0000000..7b4272c
--- /dev/null
+++ b/debian/libpolybori-groebner-0.8.symbols
@@ -0,0 +1,851 @@
+libpolybori_groebner-0.8.so.2 libpolybori #MINVER#
+ _ZN5boost13intrusive_ptrI15pbori_DdManagerED1Ev at Base 0.8
+ _ZN5boost13intrusive_ptrI15pbori_DdManagerED2Ev at Base 0.8
+ _ZN5boost13intrusive_ptrIN8polybori9CCuddCoreEED1Ev at Base 0.8
+ _ZN5boost13intrusive_ptrIN8polybori9CCuddCoreEED2Ev at Base 0.8
+ _ZN5boost14checked_deleteIN8polybori8groebner12CacheManagerEEEvPT_ at Base 0.8
+ _ZN5boost14checked_deleteISt6vectorIN8polybori15BoolePolynomialESaIS3_EEEEvPT_ at Base 0.8
+ _ZN5boost14dynamic_bitsetImSaImEEC1ERKS2_ at Base 0.8
+ _ZN5boost14dynamic_bitsetImSaImEEC1EmmRKS1_ at Base 0.8
+ _ZN5boost14dynamic_bitsetImSaImEEC2ERKS2_ at Base 0.8
+ _ZN5boost14dynamic_bitsetImSaImEEC2EmmRKS1_ at Base 0.8
+ _ZN5boost14dynamic_bitsetImSaImEED1Ev at Base 0.8
+ _ZN5boost14dynamic_bitsetImSaImEED2Ev at Base 0.8
+ _ZN5boost6detail12shared_countD1Ev at Base 0.8
+ _ZN5boost6detail12shared_countD2Ev at Base 0.8
+ _ZN5boost6detail15sp_counted_base7destroyEv at Base 0.8
+ _ZN5boost6detail15sp_counted_baseD0Ev at Base 0.8
+ _ZN5boost6detail15sp_counted_baseD1Ev at Base 0.8
+ _ZN5boost6detail15sp_counted_baseD2Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_10CTermStackINS2_14CCuddNavigatorESt20forward_iterator_tagNS2_18CAbstractStackBaseIS5_EEEEEEE11get_deleterERKSt9type_info at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_10CTermStackINS2_14CCuddNavigatorESt20forward_iterator_tagNS2_18CAbstractStackBaseIS5_EEEEEEE7disposeEv at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_10CTermStackINS2_14CCuddNavigatorESt20forward_iterator_tagNS2_18CAbstractStackBaseIS5_EEEEEEED0Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_10CTermStackINS2_14CCuddNavigatorESt20forward_iterator_tagNS2_18CAbstractStackBaseIS5_EEEEEEED1Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_10CTermStackINS2_14CCuddNavigatorESt20forward_iterator_tagNS2_18CAbstractStackBaseIS5_EEEEEEED2Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori8groebner10IJPairDataEE11get_deleterERKSt9type_info at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori8groebner10IJPairDataEE7disposeEv at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori8groebner10IJPairDataEED0Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori8groebner10IJPairDataEED1Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori8groebner10IJPairDataEED2Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori8groebner12CacheManagerEE11get_deleterERKSt9type_info at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori8groebner12CacheManagerEE7disposeEv at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori8groebner12CacheManagerEED0Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori8groebner12CacheManagerEED1Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori8groebner12CacheManagerEED2Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori8groebner12PolyPairDataEE11get_deleterERKSt9type_info at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori8groebner12PolyPairDataEE7disposeEv at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori8groebner12PolyPairDataEED0Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori8groebner12PolyPairDataEED1Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori8groebner12PolyPairDataEED2Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori8groebner16VariablePairDataEE11get_deleterERKSt9type_info at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori8groebner16VariablePairDataEE7disposeEv at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori8groebner16VariablePairDataEED0Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori8groebner16VariablePairDataEED1Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pIN8polybori8groebner16VariablePairDataEED2Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pISt6vectorIN8polybori15BoolePolynomialESaIS4_EEE11get_deleterERKSt9type_info at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pISt6vectorIN8polybori15BoolePolynomialESaIS4_EEE7disposeEv at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pISt6vectorIN8polybori15BoolePolynomialESaIS4_EEED0Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pISt6vectorIN8polybori15BoolePolynomialESaIS4_EEED1Ev at Base 0.8
+ _ZN5boost6detail17sp_counted_impl_pISt6vectorIN8polybori15BoolePolynomialESaIS4_EEED2Ev at Base 0.8
+ _ZN8polybori10CTermStackINS_14CCuddNavigatorESt20forward_iterator_tagNS_12internal_tagEE4nextEv at Base 0.8
+ _ZN8polybori10CTermStackINS_14CCuddNavigatorESt20forward_iterator_tagNS_18CAbstractStackBaseIS1_EEE9incrementEv at Base 0.8
+ _ZN8polybori10CTermStackINS_14CCuddNavigatorESt20forward_iterator_tagNS_18CAbstractStackBaseIS1_EEED0Ev at Base 0.8
+ _ZN8polybori10CTermStackINS_14CCuddNavigatorESt20forward_iterator_tagNS_18CAbstractStackBaseIS1_EEED1Ev at Base 0.8
+ _ZN8polybori10CTermStackINS_14CCuddNavigatorESt20forward_iterator_tagNS_18CAbstractStackBaseIS1_EEED2Ev at Base 0.8
+ _ZN8polybori10CTermStackINS_14CCuddNavigatorESt26bidirectional_iterator_tagNS_12internal_tagEE13incrementElseEv at Base 0.8
+ _ZN8polybori11dd_multiplyILb0ENS_23CommutativeCacheManagerINS_11CCacheTypes18multiply_recursiveEEENS_14CCuddNavigatorENS_15BoolePolynomialEEET2_RKT0_T1_SB_S7_ at Base 0.8
+ _ZN8polybori12CGenericIterINS_8LexOrderENS_14CCuddNavigatorENS_13BooleMonomialEED1Ev at Base 0.8
+ _ZN8polybori12CGenericIterINS_8LexOrderENS_14CCuddNavigatorENS_13BooleMonomialEED2Ev at Base 0.8
+ _ZN8polybori12COrderedIterINS_14CCuddNavigatorENS_13BooleMonomialEED1Ev at Base 0.8
+ _ZN8polybori12COrderedIterINS_14CCuddNavigatorENS_13BooleMonomialEED2Ev at Base 0.8
+ _ZN8polybori13BooleVariableC1EiRKNS_13BoolePolyRingE at Base 0.8
+ _ZN8polybori13BooleVariableC2EiRKNS_13BoolePolyRingE at Base 0.8
+ _ZN8polybori13CCacheManBaseINS_13BoolePolyRingENS_11CCacheTypes10divisorsofELj2EE11cache_dummyEP15pbori_DdManagerP6DdNodeS8_ at Base 0.8
+ _ZN8polybori13CCacheManBaseINS_13BoolePolyRingENS_11CCacheTypes10mod_varsetELj2EE11cache_dummyEP15pbori_DdManagerP6DdNodeS8_ at Base 0.8
+ _ZN8polybori13CCacheManBaseINS_13BoolePolyRingENS_11CCacheTypes11interpolateELj2EE11cache_dummyEP15pbori_DdManagerP6DdNodeS8_ at Base 0.8
+ _ZN8polybori13CCacheManBaseINS_13BoolePolyRingENS_11CCacheTypes12has_factor_xELj2EE11cache_dummyEP15pbori_DdManagerP6DdNodeS8_ at Base 0.8
+ _ZN8polybori13CCacheManBaseINS_13BoolePolyRingENS_11CCacheTypes14is_rewriteableELj2EE11cache_dummyEP15pbori_DdManagerP6DdNodeS8_ at Base 0.8
+ _ZN8polybori13CCacheManBaseINS_13BoolePolyRingENS_11CCacheTypes16include_divisorsELj1EE11cache_dummyEP15pbori_DdManagerP6DdNode at Base 0.8
+ _ZN8polybori13CCacheManBaseINS_13BoolePolyRingENS_11CCacheTypes16minimal_elementsELj1EE11cache_dummyEP15pbori_DdManagerP6DdNode at Base 0.8
+ _ZN8polybori13CCacheManBaseINS_13BoolePolyRingENS_11CCacheTypes18multiply_recursiveELj2EE11cache_dummyEP15pbori_DdManagerP6DdNodeS8_ at Base 0.8
+ _ZN8polybori13CCacheManBaseINS_13BoolePolyRingENS_11CCacheTypes21has_factor_x_plus_oneELj2EE11cache_dummyEP15pbori_DdManagerP6DdNodeS8_ at Base 0.8
+ _ZN8polybori13CCacheManBaseINS_13BoolePolyRingENS_11CCacheTypes24interpolate_smallest_lexELj2EE11cache_dummyEP15pbori_DdManagerP6DdNodeS8_ at Base 0.8
+ _ZN8polybori13CCacheManBaseINS_13BoolePolyRingENS_11CCacheTypes25map_every_x_to_x_plus_oneELj1EE11cache_dummyEP15pbori_DdManagerP6DdNode at Base 0.8
+ _ZN8polybori13CCacheManBaseINS_13BoolePolyRingENS_11CCacheTypes5zerosELj2EE11cache_dummyEP15pbori_DdManagerP6DdNodeS8_ at Base 0.8
+ _ZN8polybori13CCacheManBaseINS_13BoolePolyRingENS_11CCacheTypes6plug_1ELj2EE11cache_dummyEP15pbori_DdManagerP6DdNodeS8_ at Base 0.8
+ _ZN8polybori13CCacheManBaseINS_13BoolePolyRingENS_11CCacheTypes9ll_red_nfELj2EE11cache_dummyEP15pbori_DdManagerP6DdNodeS8_ at Base 0.8
+ _ZN8polybori13CCuddDDFacadeINS_13BoolePolyRingENS_8BooleSetEE10getNewNodeEiRKS3_S5_ at Base 0.8
+ _ZN8polybori13CCuddDDFacadeINS_13BoolePolyRingENS_8BooleSetEEC1ERKS1_P6DdNode at Base 0.8
+ _ZN8polybori13CCuddDDFacadeINS_13BoolePolyRingENS_8BooleSetEEC2ERKS1_P6DdNode at Base 0.8
+ _ZN8polybori13CExtrusivePtrINS_13BoolePolyRingE6DdNodeEC1ERKS3_ at Base 0.8
+ _ZN8polybori13CExtrusivePtrINS_13BoolePolyRingE6DdNodeEC2ERKS3_ at Base 0.8
+ _ZN8polybori13CExtrusivePtrINS_13BoolePolyRingE6DdNodeED1Ev at Base 0.8
+ _ZN8polybori13CExtrusivePtrINS_13BoolePolyRingE6DdNodeED2Ev at Base 0.8
+ _ZN8polybori13COrderingBase11appendBlockENS_11CCheckedIdxE at Base 0.8
+ _ZN8polybori13COrderingBase11clearBlocksEv at Base 0.8
+ _ZN8polybori13CWrappedStackINS_10CTermStackINS_14CCuddNavigatorESt20forward_iterator_tagNS_18CAbstractStackBaseIS2_EEEEED0Ev at Base 0.8
+ _ZN8polybori13CWrappedStackINS_10CTermStackINS_14CCuddNavigatorESt20forward_iterator_tagNS_18CAbstractStackBaseIS2_EEEEED1Ev at Base 0.8
+ _ZN8polybori13CWrappedStackINS_10CTermStackINS_14CCuddNavigatorESt20forward_iterator_tagNS_18CAbstractStackBaseIS2_EEEEED2Ev at Base 0.8
+ _ZN8polybori14CCuddInterface8callBackIMS0_KFvP6DdNodeEEENS_16CCallbackWrapperIT_EES7_ at Base 0.8
+ _ZN8polybori14CCuddInterfaceD1Ev at Base 0.8
+ _ZN8polybori14CCuddInterfaceD2Ev at Base 0.8
+ _ZN8polybori14CTermStackBaseINS_14CCuddNavigatorENS_12internal_tagEE10followThenEv at Base 0.8
+ _ZN8polybori14CTermStackBaseINS_14CCuddNavigatorENS_12internal_tagEE13incrementThenEv at Base 0.8
+ _ZN8polybori14CTermStackBaseINS_14CCuddNavigatorENS_18CAbstractStackBaseIS1_EEE10followThenEv at Base 0.8
+ _ZN8polybori14CTermStackBaseINS_14CCuddNavigatorENS_18CAbstractStackBaseIS1_EEED0Ev at Base 0.8
+ _ZN8polybori14CTermStackBaseINS_14CCuddNavigatorENS_18CAbstractStackBaseIS1_EEED1Ev at Base 0.8
+ _ZN8polybori14CTermStackBaseINS_14CCuddNavigatorENS_18CAbstractStackBaseIS1_EEED2Ev at Base 0.8
+ _ZN8polybori14CVariableNamesD1Ev at Base 0.8
+ _ZN8polybori14CVariableNamesD2Ev at Base 0.8
+ _ZN8polybori14CWeakPtrFacadeINS_9CCuddCoreEED1Ev at Base 0.8
+ _ZN8polybori14CWeakPtrFacadeINS_9CCuddCoreEED2Ev at Base 0.8
+ _ZN8polybori15BoolePolynomialC1ENS_13BooleConstantERKNS_13BoolePolyRingE at Base 0.8
+ _ZN8polybori15BoolePolynomialC1ERKS0_ at Base 0.8
+ _ZN8polybori15BoolePolynomialC2ENS_13BooleConstantERKNS_13BoolePolyRingE at Base 0.8
+ _ZN8polybori15BoolePolynomialC2ERKS0_ at Base 0.8
+ _ZN8polybori15BoolePolynomialpLENS_13BooleConstantE at Base 0.8
+ _ZN8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEED0Ev at Base 0.8
+ _ZN8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEED1Ev at Base 0.8
+ _ZN8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEED2Ev at Base 0.8
+ _ZN8polybori15term_accumulateINS_12CGenericIterINS_8LexOrderENS_14CCuddNavigatorENS_13BooleMonomialEEENS_15BoolePolynomialEEET0_T_S8_S7_ at Base 0.8
+ _ZN8polybori17PBoRiGenericErrorILj9EED0Ev at Base 0.8
+ _ZN8polybori17PBoRiGenericErrorILj9EED1Ev at Base 0.8
+ _ZN8polybori17PBoRiGenericErrorILj9EED2Ev at Base 0.8
+ _ZN8polybori18CAbstractStackBaseINS_14CCuddNavigatorEED0Ev at Base 0.8
+ _ZN8polybori18CAbstractStackBaseINS_14CCuddNavigatorEED1Ev at Base 0.8
+ _ZN8polybori18CAbstractStackBaseINS_14CCuddNavigatorEED2Ev at Base 0.8
+ _ZN8polybori18dd_long_count_stepISt3mapINS_14CCuddNavigatorEmSt4lessIS2_ESaISt4pairIKS2_mEEES2_EENT_11mapped_typeERSA_T0_ at Base 0.8
+ _ZN8polybori19CGenericOrderedIterINS_8LexOrderENS_14CCuddNavigatorENS_13BooleMonomialEEC1INS_13BoolePolyRingEEES2_RKT_ at Base 0.8
+ _ZN8polybori19CGenericOrderedIterINS_8LexOrderENS_14CCuddNavigatorENS_13BooleMonomialEEC2INS_13BoolePolyRingEEES2_RKT_ at Base 0.8
+ _ZN8polybori19TransformedSequenceINS_8BooleSetENS_8groebner17BoundedDivisorsOfEED1Ev at Base 0.8
+ _ZN8polybori19TransformedSequenceINS_8BooleSetENS_8groebner17BoundedDivisorsOfEED2Ev at Base 0.8
+ _ZN8polybori19dd_modulo_monomialsINS_12CacheManagerINS_11CCacheTypes10mod_varsetEEENS_14CCuddNavigatorENS_8BooleSetEEET1_RKT_T0_SB_RKS7_ at Base 0.8
+ _ZN8polybori20pboriCuddZddUnionXorIP15pbori_DdManagerP6DdNodeEET0_T_S5_S5_ at Base 0.8
+ _ZN8polybori21upper_term_accumulateIN5boost17indirect_iteratorISt15_Deque_iteratorINS_14CCuddNavigatorERKS4_PS5_EiNS1_11use_defaultEiS9_EES4_NS_15BoolePolynomialEEET1_T_SD_T0_SC_ at Base 0.8
+ _ZN8polybori24member_function_operatorIMNS_13CCuddDDFacadeINS_13BoolePolyRingENS_8BooleSetEEEKFS3_iEEENS_22MemberFunctionOperatorIT_EES8_ at Base 0.8
+ _ZN8polybori5spolyERKNS_15BoolePolynomialES2_ at Base 0.8
+ _ZN8polybori8BooleSetC1ERKNS_13BoolePolyRingE at Base 0.8
+ _ZN8polybori8BooleSetC1ERKS0_ at Base 0.8
+ _ZN8polybori8BooleSetC1EiRKS0_S2_ at Base 0.8
+ _ZN8polybori8BooleSetC2ERKNS_13BoolePolyRingE at Base 0.8
+ _ZN8polybori8BooleSetC2ERKS0_ at Base 0.8
+ _ZN8polybori8BooleSetC2EiRKS0_S2_ at Base 0.8
+ _ZN8polybori8BooleSetaSERKS0_ at Base 0.8
+ _ZN8polybori8CExpIterINS_14CCuddNavigatorENS_13BooleExponentEE9incrementEv at Base 0.8
+ _ZN8polybori8for_eachIN9__gnu_cxx17__normal_iteratorIPKiSt6vectorIiSaIiEEEENS_8groebner13RankingVectorEMSA_FvmEEEvT_SD_RT0_T1_ at Base 0.8
+ _ZN8polybori8for_eachINS_12CGenericIterINS_8LexOrderENS_14CCuddNavigatorENS_13BooleExponentEEENS_8groebner13RankingVectorEMS7_FvRKS4_EEEvT_SC_RT0_T1_ at Base 0.8
+ _ZN8polybori8for_eachINS_12CGenericIterINS_8LexOrderENS_14CCuddNavigatorENS_13BooleExponentEEENS_8groebner16GroebnerStrategyEMS7_FvRKS4_EEEvT_SC_RT0_T1_ at Base 0.8
+ _ZN8polybori8for_eachINS_19TransformedIteratorINS_12CGenericIterINS_8LexOrderENS_14CCuddNavigatorENS_13BooleMonomialEEENS_8groebner17BoundedDivisorsOfEEENS7_16GroebnerStrategyEMSA_FvRKNS_8BooleSetEEEEvT_SG_RT0_T1_ at Base 0.8
+ _ZN8polybori8for_eachISt16reverse_iteratorIN9__gnu_cxx17__normal_iteratorIPNS_15BoolePolynomialESt6vectorIS4_SaIS4_EEEEENS_8groebner16GroebnerStrategyEMSC_FvRKS4_EEEvT_SH_RT0_T1_ at Base 0.8
+ _ZN8polybori8groebner10IJPairDataD0Ev at Base 0.8
+ _ZN8polybori8groebner10IJPairDataD1Ev at Base 0.8
+ _ZN8polybori8groebner10IJPairDataD2Ev at Base 0.8
+ _ZN8polybori8groebner10LLReductor12isCompatibleERKNS0_9PolyEntryE at Base 0.8
+ _ZN8polybori8groebner10LLReductor6insertERKNS0_9PolyEntryE at Base 0.8
+ _ZN8polybori8groebner10plug_1_topERKNS_15BoolePolynomialERKNS_8BooleSetE at Base 0.8
+ _ZN8polybori8groebner10random_setERKNS_13BooleMonomialEj at Base 0.8
+ _ZN8polybori8groebner11LLReductionILb1ELb0ELb0EEclERKNS_15BoolePolynomialENS_14CCuddNavigatorE at Base 0.8
+ _ZN8polybori8groebner11PairManagerC1ERKS1_ at Base 0.8
+ _ZN8polybori8groebner11PairManagerC2ERKS1_ at Base 0.8
+ _ZN8polybori8groebner11PairManagerD1Ev at Base 0.8
+ _ZN8polybori8groebner11PairManagerD2Ev at Base 0.8
+ _ZN8polybori8groebner11draw_matrixEP5mzd_tPKc at Base 0.8
+ _ZN8polybori8groebner11fill_matrixEP5mzd_tSt6vectorINS_15BoolePolynomialESaIS4_EENSt3tr113unordered_mapINS_13BooleExponentEiNS_6hashesIS9_EESt8equal_toIS9_ESaISt4pairIKS9_iEEEE at Base 0.8
+ _ZN8polybori8groebner11interpolateENS_8BooleSetES1_ at Base 0.8
+ _ZN8polybori8groebner11linalg_stepERSt6vectorINS_15BoolePolynomialESaIS2_EENS_8BooleSetES6_bbPKc at Base 0.8
+ _ZN8polybori8groebner11lp4var_dataE at Base 0.8
+ _ZN8polybori8groebner11maps_to_oneESt4pairIKiiE at Base 0.8
+ _ZN8polybori8groebner11mod_mon_setERKNS_8BooleSetES3_ at Base 0.8
+ _ZN8polybori8groebner11mod_var_setERKNS_8BooleSetES3_ at Base 0.8
+ _ZN8polybori8groebner11mod_var_setINS_12CacheManagerINS_11CCacheTypes10mod_varsetEEEEENS_8BooleSetERKT_NS_14CCuddNavigatorESA_ at Base 0.8
+ _ZN8polybori8groebner12CacheManager6insertERKNS_15BoolePolynomialERKSt6vectorIS2_SaIS2_EE at Base 0.8
+ _ZN8polybori8groebner12CacheManager6lookupERKNS_15BoolePolynomialERb at Base 0.8
+ _ZN8polybori8groebner12FGLMStrategy14writeTailToRowENS_8BooleSetEP5mzd_t at Base 0.8
+ _ZN8polybori8groebner12FGLMStrategy22findVectorInMultTablesEP5mzd_tNS_13BooleMonomialE at Base 0.8
+ _ZN8polybori8groebner12FGLMStrategy24testMultiplicationTablesEv at Base 0.8
+ _ZN8polybori8groebner12FGLMStrategy25setupMultiplicationTablesEv at Base 0.8
+ _ZN8polybori8groebner12FGLMStrategy26canAddThisElementLaterToGBENS_15BoolePolynomialE at Base 0.8
+ _ZN8polybori8groebner12FGLMStrategy26writeRowToVariableDivisorsEP5mzd_tNS_13BooleMonomialE at Base 0.8
+ _ZN8polybori8groebner12FGLMStrategy27reducedNormalFormInFromRingENS_15BoolePolynomialE at Base 0.8
+ _ZN8polybori8groebner12FGLMStrategy29transposeMultiplicationTablesEv at Base 0.8
+ _ZN8polybori8groebner12FGLMStrategy32setupStandardMonomialsFromTablesEv at Base 0.8
+ _ZN8polybori8groebner12FGLMStrategy34rowVectorIsLinearCombinationOfRowsEP5mzd_tS3_ at Base 0.8
+ _ZN8polybori8groebner12FGLMStrategy4mainEv at Base 0.8
+ _ZN8polybori8groebner12FGLMStrategy9analyzeGBERKNS0_17ReductionStrategyE at Base 0.8
+ _ZN8polybori8groebner12FGLMStrategy9rowToPolyEP5mzd_t at Base 0.8
+ _ZN8polybori8groebner12FGLMStrategyC1ERKNS_13BoolePolyRingES4_RKSt6vectorINS_15BoolePolynomialESaIS6_EE at Base 0.8
+ _ZN8polybori8groebner12FGLMStrategyC2ERKNS_13BoolePolyRingES4_RKSt6vectorINS_15BoolePolynomialESaIS6_EE at Base 0.8
+ _ZN8polybori8groebner12PolyPairDataD0Ev at Base 0.8
+ _ZN8polybori8groebner12PolyPairDataD1Ev at Base 0.8
+ _ZN8polybori8groebner12PolyPairDataD2Ev at Base 0.8
+ _ZN8polybori8groebner12RelatedTermsD1Ev at Base 0.8
+ _ZN8polybori8groebner12RelatedTermsD2Ev at Base 0.8
+ _ZN8polybori8groebner12maps_to_zeroESt4pairIKiiE at Base 0.8
+ _ZN8polybori8groebner12mod_deg2_setERKNS_8BooleSetES3_ at Base 0.8
+ _ZN8polybori8groebner12mod_deg2_setINS_12CacheManagerINS_11CCacheTypes10mod_varsetEEEEENS_8BooleSetERKT_NS_14CCuddNavigatorESA_ at Base 0.8
+ _ZN8polybori8groebner13PairStatusSetD1Ev at Base 0.8
+ _ZN8polybori8groebner13PairStatusSetD2Ev at Base 0.8
+ _ZN8polybori8groebner13PolyEntryBaseC1ERKNS_15BoolePolynomialE at Base 0.8
+ _ZN8polybori8groebner13PolyEntryBaseC2ERKNS_15BoolePolynomialE at Base 0.8
+ _ZN8polybori8groebner13RankingVector6rerankERKNS_13BooleExponentE at Base 0.8
+ _ZN8polybori8groebner13RankingVector9incrementEm at Base 0.8
+ _ZN8polybori8groebner13dlex4var_dataE at Base 0.8
+ _ZN8polybori8groebner13mult_fast_simERKSt6vectorINS_15BoolePolynomialESaIS2_EERKNS_13BoolePolyRingE at Base 0.8
+ _ZN8polybori8groebner13nf_lex_pointsERKNS_15BoolePolynomialERKNS_8BooleSetE at Base 0.8
+ _ZN8polybori8groebner14add_up_genericINS_13BooleMonomialEEENS_15BoolePolynomialERKSt6vectorIT_SaIS5_EES3_ at Base 0.8
+ _ZN8polybori8groebner14add_up_genericINS_13BooleMonomialEEENS_15BoolePolynomialERKSt6vectorIT_SaIS5_EEiiS3_ at Base 0.8
+ _ZN8polybori8groebner14add_up_genericINS_15BoolePolynomialEEES2_RKSt6vectorIT_SaIS4_EES2_ at Base 0.8
+ _ZN8polybori8groebner14add_up_genericINS_15BoolePolynomialEEES2_RKSt6vectorIT_SaIS4_EEiiS2_ at Base 0.8
+ _ZN8polybori8groebner14is_rewriteableERKNS_15BoolePolynomialERKNS_8BooleSetE at Base 0.8
+ _ZN8polybori8groebner14nf3_lexbucketsERKNS0_16GroebnerStrategyENS_15BoolePolynomialENS_13BooleMonomialE at Base 0.8
+ _ZN8polybori8groebner14translate_backERSt6vectorINS_15BoolePolynomialESaIS2_EENS_8BooleSetEP5mzd_tRKS1_IiSaIiEERKS1_INS_13BooleExponentESaISD_EESH_i at Base 0.8
+ _ZN8polybori8groebner15PolyEntryVector6appendERKNS0_9PolyEntryE at Base 0.8
+ _ZN8polybori8groebner15PolyEntryVectorD1Ev at Base 0.8
+ _ZN8polybori8groebner15PolyEntryVectorD2Ev at Base 0.8
+ _ZN8polybori8groebner15PolynomialSugar3addENS_15BoolePolynomialEil at Base 0.8
+ _ZN8polybori8groebner15PolynomialSugarC1ERKNS_15BoolePolynomialE at Base 0.8
+ _ZN8polybori8groebner15PolynomialSugarC1ERKNS_15BoolePolynomialEil at Base 0.8
+ _ZN8polybori8groebner15PolynomialSugarC1ERKS1_ at Base 0.8
+ _ZN8polybori8groebner15PolynomialSugarC2ERKNS_15BoolePolynomialE at Base 0.8
+ _ZN8polybori8groebner15PolynomialSugarC2ERKNS_15BoolePolynomialEil at Base 0.8
+ _ZN8polybori8groebner15PolynomialSugarC2ERKS1_ at Base 0.8
+ _ZN8polybori8groebner15PolynomialSugarD1Ev at Base 0.8
+ _ZN8polybori8groebner15PolynomialSugarD2Ev at Base 0.8
+ _ZN8polybori8groebner15PolynomialSugaraSERKS1_ at Base 0.8
+ _ZN8polybori8groebner15dp_asc4var_dataE at Base 0.8
+ _ZN8polybori8groebner15parallel_reduceESt6vectorINS_15BoolePolynomialESaIS2_EERNS0_16GroebnerStrategyEid at Base 0.8
+ _ZN8polybori8groebner15reduce_by_binomERKNS_15BoolePolynomialES3_ at Base 0.8
+ _ZN8polybori8groebner15reduce_by_monomERKNS_15BoolePolynomialERKNS_13BooleMonomialE at Base 0.8
+ _ZN8polybori8groebner15reduce_completeERKNS_15BoolePolynomialERKNS0_9PolyEntryERl at Base 0.8
+ _ZN8polybori8groebner15reduce_completeERKNS_15BoolePolynomialES3_ at Base 0.8
+ _ZN8polybori8groebner15set_random_seedEj at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategy10minimalizeEv at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategy11llReduceAllEv at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategy12addAsYouWishERKNS_15BoolePolynomialE at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategy12addGeneratorERKNS0_9PolyEntryE at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategy13allGeneratorsEv at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategy13propagateStepERSt3setIPKNS0_9PolyEntryENS0_18PolyEntryPtrLmLessESaIS5_EE at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategy15add4ImplDelayedENS0_18PolyEntryReferenceE at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategy15addImplicationsERKNS_15BoolePolynomialERSt6vectorIiSaIiEE at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategy15addImplicationsERKSt6vectorINS_15BoolePolynomialESaIS3_EEi at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategy16addGeneratorStepERKNS0_9PolyEntryE at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategy16addVariablePairsENS0_18PolyEntryReferenceE at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategy16faugereStepDenseERKSt6vectorINS_15BoolePolynomialESaIS3_EE at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategy16updatePropagatedERKNS0_9PolyEntryE at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategy16variableHasValueEi at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategy17markNextSingletonERKNS_13BooleExponentE at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategy18treatVariablePairsENS0_18PolyEntryReferenceE at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategy19addGeneratorDelayedERKNS_15BoolePolynomialE at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategy19checkChainCriterionERKNS_13BooleExponentEii at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategy19normalPairsWithLastERKNS_8BooleSetE at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategy20addGeneratorTrySplitERKNS_15BoolePolynomialEb at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategy20markNextUncalculatedERKNS_13BooleExponentE at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategy21suggestPluginVariableEv at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategy23checkSingletonCriterionERKNS0_9PolyEntryERKNS_8BooleSetE at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategy23minimalizeAndTailReduceEv at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategy26addHigherImplDelayedUsing4ENS0_18PolyEntryReferenceE at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategy29checkExtendedProductCriterionEii at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategy32addNonTrivialImplicationsDelayedERKNS0_9PolyEntryE at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategy7redTailERKNS_15BoolePolynomialE at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategy8exchangeERKNS_15BoolePolynomialERKNS0_9PolyEntryERSt3setIPS6_NS0_18PolyEntryPtrLmLessESaIS9_EE at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategy8noroStepERKSt6vectorINS_15BoolePolynomialESaIS3_EE at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategy9propagateERKNS0_9PolyEntryE at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategy9symmGB_F2Ev at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategyC1ERKNS_13BoolePolyRingE at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategyC1ERKS1_ at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategyC2ERKNS_13BoolePolyRingE at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategyC2ERKS1_ at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategyD1Ev at Base 0.8
+ _ZN8polybori8groebner16GroebnerStrategyD2Ev at Base 0.8
+ _ZN8polybori8groebner16RelatedTermsBaseC1ERKNS_13BooleMonomialERKNS_8BooleSetES7_S7_ at Base 0.8
+ _ZN8polybori8groebner16RelatedTermsBaseC1ERKNS_13BoolePolyRingE at Base 0.8
+ _ZN8polybori8groebner16RelatedTermsBaseC2ERKNS_13BooleMonomialERKNS_8BooleSetES7_S7_ at Base 0.8
+ _ZN8polybori8groebner16RelatedTermsBaseC2ERKNS_13BoolePolyRingE at Base 0.8
+ _ZN8polybori8groebner16VariablePairDataD0Ev at Base 0.8
+ _ZN8polybori8groebner16VariablePairDataD1Ev at Base 0.8
+ _ZN8polybori8groebner16VariablePairDataD2Ev at Base 0.8
+ _ZN8polybori8groebner16add_up_exponentsERKSt6vectorINS_13BooleExponentESaIS2_EERKNS_15BoolePolynomialE at Base 0.8
+ _ZN8polybori8groebner16cheap_reductionsERKNS0_17ReductionStrategyENS_15BoolePolynomialE at Base 0.8
+ _ZN8polybori8groebner16get_table_entry4ERKNS_13BoolePolyRingEii at Base 0.8
+ _ZN8polybori8groebner16include_divisorsERKNS_8BooleSetE at Base 0.8
+ _ZN8polybori8groebner16nf3_degree_orderERKNS0_17ReductionStrategyENS_15BoolePolynomialENS_13BooleMonomialE at Base 0.8
+ _ZN8polybori8groebner16red_tail_generalERKNS0_17ReductionStrategyENS_15BoolePolynomialE at Base 0.8
+ _ZN8polybori8groebner16red_tail_genericINS0_14DegOrderHelperEEENS_15BoolePolynomialERKNS0_17ReductionStrategyES3_ at Base 0.8
+ _ZN8polybori8groebner16red_tail_genericINS0_16BlockOrderHelperEEENS_15BoolePolynomialERKNS0_17ReductionStrategyES3_ at Base 0.8
+ _ZN8polybori8groebner16red_tail_genericINS0_9LexHelperEEENS_15BoolePolynomialERKNS0_17ReductionStrategyES3_ at Base 0.8
+ _ZN8polybori8groebner17BoundedDivisorsOfD1Ev at Base 0.8
+ _ZN8polybori8groebner17BoundedDivisorsOfD2Ev at Base 0.8
+ _ZN8polybori8groebner17PairManagerFacadeINS0_16GroebnerStrategyEEC1ERKNS_13BoolePolyRingE at Base 0.8
+ _ZN8polybori8groebner17PairManagerFacadeINS0_16GroebnerStrategyEEC2ERKNS_13BoolePolyRingE at Base 0.8
+ _ZN8polybori8groebner17ReductionStrategy11llReduceAllEv at Base 0.8
+ _ZN8polybori8groebner17ReductionStrategy19setupSetsForElementERKNS0_9PolyEntryE at Base 0.8
+ _ZN8polybori8groebner17ReductionStrategy28unmarkNonMinimalLeadingTermsENS_8BooleSetE at Base 0.8
+ _ZN8polybori8groebner17ReductionStrategy6appendERKNS0_9PolyEntryE at Base 0.8
+ _ZN8polybori8groebner17ReductionStrategy8llReduceERKNS0_9PolyEntryERKNS_13BooleExponentE at Base 0.8
+ _ZN8polybori8groebner17ReductionStrategyD1Ev at Base 0.8
+ _ZN8polybori8groebner17ReductionStrategyD2Ev at Base 0.8
+ _ZN8polybori8groebner17do_is_rewriteableERKNS_15BoolePolynomialERKNS_8BooleSetE at Base 0.8
+ _ZN8polybori8groebner17fix_point_iterateERKNS0_16GroebnerStrategyESt6vectorINS_15BoolePolynomialESaIS5_EERS7_RNS_8BooleSetESA_ at Base 0.8
+ _ZN8polybori8groebner17gen_random_subsetERKNS_13BoolePolyRingERKSt6vectorINS_13BooleMonomialESaIS5_EERN5boost17variate_generatorIRNSA_6random19linear_congruentialIiLi48271ELi0ELi2147483647ELi399268537EEENSA_16uniform_smallintIiEEEE at Base 0.8
+ _ZN8polybori8groebner17nf3_no_deg_growthERKNS0_17ReductionStrategyENS_15BoolePolynomialENS_13BooleMonomialE at Base 0.8
+ _ZN8polybori8groebner17translate_indicesERKNS_15BoolePolynomialERKSt6vectorIiSaIiEE at Base 0.8
+ _ZN8polybori8groebner18PolyEntryReferenceaSINS_15BoolePolynomialEEERS1_RKT_ at Base 0.8
+ _ZN8polybori8groebner18recursively_insertENS_14CCuddNavigatorEiNS_8BooleSetE at Base 0.8
+ _ZN8polybori8groebner18recursively_insertINS_13BoolePolyRingEEENS_8BooleSetERKT_NS_14CCuddNavigatorEiS7_ at Base 0.8
+ _ZN8polybori8groebner18without_prior_partENS_15BoolePolynomialEi at Base 0.8
+ _ZN8polybori8groebner19MinimalLeadingTerms7cleanupERKNS_13BooleMonomialE at Base 0.8
+ _ZN8polybori8groebner19easy_linear_factorsERKNS_15BoolePolynomialE at Base 0.8
+ _ZN8polybori8groebner19full_implication_gbERKNS_15BoolePolynomialERNS0_12CacheManagerERNS0_16GroebnerStrategyE at Base 0.8
+ _ZN8polybori8groebner20LiteralFactorization3endEv at Base 0.8
+ _ZN8polybori8groebner20LiteralFactorization5beginEv at Base 0.8
+ _ZN8polybori8groebner20LiteralFactorizationC1ERKNS_15BoolePolynomialE at Base 0.8
+ _ZN8polybori8groebner20LiteralFactorizationC2ERKNS_15BoolePolynomialE at Base 0.8
+ _ZN8polybori8groebner20LiteralFactorizationD1Ev at Base 0.8
+ _ZN8polybori8groebner20LiteralFactorizationD2Ev at Base 0.8
+ _ZN8polybori8groebner20linalg_step_modifiedERSt6vectorINS_15BoolePolynomialESaIS2_EENS_8BooleSetES6_bbPKc at Base 0.8
+ _ZN8polybori8groebner20random_interpolationERKNS_8BooleSetERKSt6vectorINS_13BooleMonomialESaIS5_EERN5boost17variate_generatorIRNSA_6random19linear_congruentialIiLi48271ELi0ELi2147483647ELi399268537EEENSA_16uniform_smallintIiEEEE at Base 0.8
+ _ZN8polybori8groebner20select_no_deg_growthERKNS0_17ReductionStrategyERKNS_13BooleMonomialE at Base 0.8
+ _ZN8polybori8groebner22do_fixed_path_divisorsERKNS_12CacheManagerINS_11CCacheTypes20divisorsof_fixedpathEEENS_14CCuddNavigatorES7_S7_ at Base 0.8
+ _ZN8polybori8groebner22red_tail_in_last_blockERKNS0_16GroebnerStrategyENS_15BoolePolynomialE at Base 0.8
+ _ZN8polybori8groebner23PairManagerWithStrategyINS0_16GroebnerStrategyEE24cleanTopByChainCriterionEv at Base 0.8
+ _ZN8polybori8groebner23transpose_window_to_rowEP5mzd_tS2_ at Base 0.8
+ _ZN8polybori8groebner24interpolate_smallest_lexENS_8BooleSetES1_ at Base 0.8
+ _ZN8polybori8groebner24minimal_elements_dividedENS_8BooleSetENS_13BooleMonomialES1_ at Base 0.8
+ _ZN8polybori8groebner25MatrixMonomialOrderTables18setup_order_tablesEv at Base 0.8
+ _ZN8polybori8groebner25MatrixMonomialOrderTablesD1Ev at Base 0.8
+ _ZN8polybori8groebner25MatrixMonomialOrderTablesD2Ev at Base 0.8
+ _ZN8polybori8groebner25map_every_x_to_x_plus_oneENS_15BoolePolynomialE at Base 0.8
+ _ZN8polybori8groebner25map_every_x_to_x_plus_oneINS_12CacheManagerINS_11CCacheTypes25map_every_x_to_x_plus_oneEEEEENS_15BoolePolynomialERKT_NS_14CCuddNavigatorE at Base 0.8
+ _ZN8polybori8groebner25variety_lex_leading_termsERKNS_8BooleSetERKNS_13BooleMonomialE at Base 0.8
+ _ZN8polybori8groebner26common_literal_factors_degERKNS0_20LiteralFactorizationES3_ at Base 0.8
+ _ZN8polybori8groebner26random_set_using_generatorERKNS_13BooleMonomialEjRN5boost17variate_generatorIRNS4_6random19linear_congruentialIiLi48271ELi0ELi2147483647ELi399268537EEENS4_16uniform_smallintIiEEEE at Base 0.8
+ _ZN8polybori8groebner26variety_lex_groebner_basisERKNS_8BooleSetERKNS_13BooleMonomialE at Base 0.8
+ _ZN8polybori8groebner27add_up_lex_sorted_exponentsERKNS_13BoolePolyRingERSt6vectorINS_13BooleExponentESaIS5_EEii at Base 0.8
+ _ZN8polybori8groebner28LiteralFactorizationIteratorppEv at Base 0.8
+ _ZN8polybori8groebner29multiply_with_literal_factorsERKNS0_20LiteralFactorizationENS_15BoolePolynomialE at Base 0.8
+ _ZN8polybori8groebner32FGLMNoLinearCombinationExceptionD0Ev at Base 0.8
+ _ZN8polybori8groebner32FGLMNoLinearCombinationExceptionD1Ev at Base 0.8
+ _ZN8polybori8groebner32FGLMNoLinearCombinationExceptionD2Ev at Base 0.8
+ _ZN8polybori8groebner33minimal_elements_cudd_style_unaryENS_8BooleSetE at Base 0.8
+ _ZN8polybori8groebner3nf3ERKNS0_17ReductionStrategyENS_15BoolePolynomialENS_13BooleMonomialE at Base 0.8
+ _ZN8polybori8groebner5PairEC1ERKNS_15BoolePolynomialE at Base 0.8
+ _ZN8polybori8groebner5PairEC1ERKS1_ at Base 0.8
+ _ZN8polybori8groebner5PairEC1EiiRKNS0_15PolyEntryVectorE at Base 0.8
+ _ZN8polybori8groebner5PairEC2ERKNS_15BoolePolynomialE at Base 0.8
+ _ZN8polybori8groebner5PairEC2ERKS1_ at Base 0.8
+ _ZN8polybori8groebner5PairEC2EiiRKNS0_15PolyEntryVectorE at Base 0.8
+ _ZN8polybori8groebner5PairED1Ev at Base 0.8
+ _ZN8polybori8groebner5PairED2Ev at Base 0.8
+ _ZN8polybori8groebner5PairEaSERKS1_ at Base 0.8
+ _ZN8polybori8groebner5stepsEi at Base 0.8
+ _ZN8polybori8groebner5zerosENS_15BoolePolynomialENS_8BooleSetE at Base 0.8
+ _ZN8polybori8groebner6p2codeIjNS0_12ZeroFunctionENS0_10SetBitUIntEEET_NS_15BoolePolynomialERKSt6vectorIcSaIcEEi at Base 0.8
+ _ZN8polybori8groebner6plug_1ERKNS_15BoolePolynomialERKNS_8BooleSetE at Base 0.8
+ _ZN8polybori8groebner8PairDataD0Ev at Base 0.8
+ _ZN8polybori8groebner8PairDataD1Ev at Base 0.8
+ _ZN8polybori8groebner8PairDataD2Ev at Base 0.8
+ _ZN8polybori8groebner8red_tailERKNS0_17ReductionStrategyENS_15BoolePolynomialE at Base 0.8
+ _ZN8polybori8groebner8sum_sizeERKNS_8BooleSetES3_ at Base 0.8
+ _ZN8polybori8groebner9LexBucket12getTailStartEv at Base 0.8
+ _ZN8polybori8groebner9LexBucket15updateTailStartEv at Base 0.8
+ _ZN8polybori8groebner9LexBucket17increaseTailStartEi at Base 0.8
+ _ZN8polybori8groebner9LexBucket5valueEv at Base 0.8
+ _ZN8polybori8groebner9LexBucket6isZeroEv at Base 0.8
+ _ZN8polybori8groebner9LexBucket7leadExpEv at Base 0.8
+ _ZN8polybori8groebner9LexBucketC1ERKNS_15BoolePolynomialE at Base 0.8
+ _ZN8polybori8groebner9LexBucketC2ERKNS_15BoolePolynomialE at Base 0.8
+ _ZN8polybori8groebner9LexBucketD1Ev at Base 0.8
+ _ZN8polybori8groebner9LexBucketD2Ev at Base 0.8
+ _ZN8polybori8groebner9LexBucketpLERKNS_15BoolePolynomialE at Base 0.8
+ _ZN8polybori8groebner9LexHelper16irreducible_leadERKNS_13BooleMonomialERKNS0_17ReductionStrategyE at Base 0.8
+ _ZN8polybori8groebner9NextSpoly11replacePairERiS2_ at Base 0.8
+ _ZN8polybori8groebner9PolyEntry20recomputeInformationEv at Base 0.8
+ _ZN8polybori8groebner9PolyEntryC1ERKS1_ at Base 0.8
+ _ZN8polybori8groebner9PolyEntryC2ERKS1_ at Base 0.8
+ _ZN8polybori8groebner9PolyEntryD1Ev at Base 0.8
+ _ZN8polybori8groebner9PolyEntryD2Ev at Base 0.8
+ _ZN8polybori8groebner9PolyEntryaSERKS1_ at Base 0.8
+ _ZN8polybori8groebner9clear_matEP5mzd_t at Base 0.8
+ _ZN8polybori8groebner9do_plug_1ERKNS_15BoolePolynomialERKNS_8BooleSetE at Base 0.8
+ _ZN8polybori8groebner9nf3_shortERKNS0_17ReductionStrategyENS_15BoolePolynomialE at Base 0.8
+ _ZN8polybori9CTermIterINS_10CTermStackINS_14CCuddNavigatorESt20forward_iterator_tagNS_12internal_tagEEENS_14CTermGeneratorINS_13BooleMonomialEEEED1Ev at Base 0.8
+ _ZN8polybori9CTermIterINS_10CTermStackINS_14CCuddNavigatorESt20forward_iterator_tagNS_12internal_tagEEENS_14CTermGeneratorINS_13BooleMonomialEEEED2Ev at Base 0.8
+ _ZN8polyborimlERKNS_13BooleMonomialES2_ at Base 0.8
+ _ZN8polyboriplERKNS_15BoolePolynomialES2_ at Base 0.8
+ _ZNK5boost14dynamic_bitsetImSaImEE18m_check_invariantsEv at Base 0.8
+ _ZNK5boost15iterator_facadeIN8polybori9CTermIterINS1_10CTermStackINS1_14CCuddNavigatorESt20forward_iterator_tagNS1_12internal_tagEEENS1_14CTermGeneratorINS1_13BooleExponentEEEEES9_S5_S9_lEdeEv at Base 0.8
+ _ZNK8polybori10PBoRiError4whatEv at Base 0.8
+ _ZNK8polybori13BooleMonomial3degEv at Base 0.8
+ _ZNK8polybori13BoolePolyRing10getManagerEv at Base 0.8
+ _ZNK8polybori13CCuddDDFacadeINS_13BoolePolyRingENS_8BooleSetEE15checkAssumptionEb at Base 0.8
+ _ZNK8polybori13CCuddDDFacadeINS_13BoolePolyRingENS_8BooleSetEE6isZeroEv at Base 0.8
+ _ZNK8polybori13CCuddDDFacadeINS_13BoolePolyRingENS_8BooleSetEE7subset0Ei at Base 0.8
+ _ZNK8polybori13COrderingBase10blockBeginEv at Base 0.8
+ _ZNK8polybori13COrderingBase8blockEndEv at Base 0.8
+ _ZNK8polybori13CWrappedStackINS_10CTermStackINS_14CCuddNavigatorESt20forward_iterator_tagNS_18CAbstractStackBaseIS2_EEEEE4copyEv at Base 0.8
+ _ZNK8polybori14CCuddInterface14recursiveDerefEP6DdNode at Base 0.8
+ _ZNK8polybori14CTermStackBaseINS_14CCuddNavigatorENS_12internal_tagEE5equalERKS3_ at Base 0.8
+ _ZNK8polybori14CTermStackBaseINS_14CCuddNavigatorENS_12internal_tagEE9isInvalidEv at Base 0.8
+ _ZNK8polybori15BoolePolynomial5isOneEv at Base 0.8
+ _ZNK8polybori15BoolePolynomialeqENS_13BooleConstantE at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEE11isSymmetricEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEE12getOrderCodeEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEE12isBlockOrderEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEE13isDegreeOrderEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEE14lastBlockStartEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEE14lieInSameBlockEii at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEE15leadIteratorEndERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEE16getBaseOrderCodeEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEE17isLexicographicalEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEE17leadIteratorBeginERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEE18ascendingVariablesEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEE18isTotalDegreeOrderEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEE18leadExpIteratorEndERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEE19descendingVariablesEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEE20leadExpIteratorBeginERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEE24orderedStandardIterationEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEE30isDegreeReverseLexicographicalEv at Base 0.8
+ _ZNK8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEE9leadFirstERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori16CApplyNodeFacadeINS_8BooleSetEP6DdNodeE16checkSameManagerERKS1_ at Base 0.8
+ _ZNK8polybori16CApplyNodeFacadeINS_8BooleSetEP6DdNodeE5applyIP15pbori_DdManagerEES1_PFS3_T_S3_S3_ERKS1_ at Base 0.8
+ _ZNK8polybori16CApplyNodeFacadeINS_8BooleSetEP6DdNodeE5applyIP15pbori_DdManageriEES1_PFS3_T_S3_T0_ES9_ at Base 0.8
+ _ZNK8polybori19CCuddLikeMgrStorageINS_13BoolePolyRingEE3oneEv at Base 0.8
+ _ZNK8polybori19CCuddLikeMgrStorageINS_13BoolePolyRingEE4zeroEv at Base 0.8
+ _ZNK8polybori20CTermGeneratorBase__INS_13BooleMonomialENS_8type_tagIS1_EEEclINS_10CTermStackINS_14CCuddNavigatorESt20forward_iterator_tagNS_12internal_tagEEEEES1_RKT_ at Base 0.8
+ _ZNK8polybori20CTermGeneratorBase__INS_13BooleMonomialENS_8type_tagIS1_EEEclINS_14CTermStackBaseINS_14CCuddNavigatorENS_18CAbstractStackBaseIS7_EEEEEES1_RKT_ at Base 0.8
+ _ZNK8polybori8BooleSet6changeEi at Base 0.8
+ _ZNK8polybori8groebner10IJPairData7extractERKNS0_15PolyEntryVectorE at Base 0.8
+ _ZNK8polybori8groebner12PolyPairData7extractERKNS0_15PolyEntryVectorE at Base 0.8
+ _ZNK8polybori8groebner15PolyEntryVector5indexINS_13BooleExponentEEEmRKT_ at Base 0.8
+ _ZNK8polybori8groebner16GroebnerStrategy15add4ImplDelayedERKNS_15BoolePolynomialERKNS_13BooleExponentES7_ at Base 0.8
+ _ZNK8polybori8groebner16GroebnerStrategy15add4ImplDelayedERKNS_15BoolePolynomialERKNS_13BooleExponentES7_bRSt6vectorIS2_SaIS2_EE at Base 0.8
+ _ZNK8polybori8groebner16GroebnerStrategy18shorterEliminationERKNS_8BooleSetEli at Base 0.8
+ _ZNK8polybori8groebner16GroebnerStrategy26addHigherImplDelayedUsing4ERKNS0_20LiteralFactorizationE at Base 0.8
+ _ZNK8polybori8groebner16GroebnerStrategy26addHigherImplDelayedUsing4ERKNS0_20LiteralFactorizationEbRSt6vectorINS_15BoolePolynomialESaIS6_EE at Base 0.8
+ _ZNK8polybori8groebner16GroebnerStrategy2nfENS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori8groebner16RelatedTermsBase15unrelated_termsERKNS_8BooleSetE at Base 0.8
+ _ZNK8polybori8groebner16VariablePairData7extractERKNS0_15PolyEntryVectorE at Base 0.8
+ _ZNK8polybori8groebner17ReductionStrategy14headNormalFormERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori8groebner17ReductionStrategy17reducedNormalFormERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori8groebner17ReductionStrategy21select_short_by_termsERKNS_8BooleSetE at Base 0.8
+ _ZNK8polybori8groebner17ReductionStrategy7minimumINS_12CGenericIterINS_8LexOrderENS_14CCuddNavigatorENS_13BooleExponentEEENS0_33LessWeightedLengthInStratModifiedEEEmT_S9_RKT0_ at Base 0.8
+ _ZNK8polybori8groebner17ReductionStrategy7minimumINS_12CGenericIterINS_8LexOrderENS_14CCuddNavigatorENS_13BooleMonomialEEENS0_25LessWeightedLengthInStratEEEmT_S9_RKT0_ at Base 0.8
+ _ZNK8polybori8groebner17ReductionStrategy7select1ERKNS_13BooleMonomialE at Base 0.8
+ _ZNK8polybori8groebner17ReductionStrategy7select1ERKNS_15BoolePolynomialE at Base 0.8
+ _ZNK8polybori8groebner20LiteralFactorization17is00FactorizationEv at Base 0.8
+ _ZNK8polybori8groebner20LiteralFactorization17is11FactorizationEv at Base 0.8
+ _ZNK8polybori8groebner20LiteralFactorization20occursAsLeadOfFactorEi at Base 0.8
+ _ZNK8polybori8groebner20LiteralFactorization7trivialEv at Base 0.8
+ _ZNK8polybori8groebner28LiteralFactorizationIteratordeEv at Base 0.8
+ _ZNK8polybori9CTermIterINS_10CTermStackINS_14CCuddNavigatorESt20forward_iterator_tagNS_12internal_tagEEENS_14CTermGeneratorINS_13BooleExponentEEEE11dereferenceEv at Base 0.8
+ _ZNKSt6vectorIN8polybori13BooleMonomialESaIS1_EE12_M_check_lenEmPKc at Base 0.8
+ _ZNKSt6vectorIN8polybori15BoolePolynomialESaIS1_EE12_M_check_lenEmPKc at Base 0.8
+ _ZNKSt6vectorIiSaIiEE12_M_check_lenEmPKc at Base 0.8
+ _ZNSt11_Deque_baseIN8polybori14CCuddNavigatorESaIS1_EE17_M_initialize_mapEm at Base 0.8
+ _ZNSt11_Deque_baseIN8polybori14CCuddNavigatorESaIS1_EED1Ev at Base 0.8
+ _ZNSt11_Deque_baseIN8polybori14CCuddNavigatorESaIS1_EED2Ev at Base 0.8
+ _ZNSt11__copy_moveILb0ELb0ESt20forward_iterator_tagE8__copy_mIN8polybori12CGenericIterINS3_8LexOrderENS3_14CCuddNavigatorENS3_13BooleExponentEEEPS7_EET0_T_SB_SA_ at Base 0.8
+ _ZNSt11__copy_moveILb0ELb0ESt20forward_iterator_tagE8__copy_mIN8polybori12COrderedIterINS3_14CCuddNavigatorENS3_13BooleMonomialEEEPS6_EET0_T_SA_S9_ at Base 0.8
+ _ZNSt14priority_queueIN8polybori8groebner15PolynomialSugarESt6vectorIS2_SaIS2_EENS1_15LMLessComparePSEE3popEv at Base 0.8
+ _ZNSt14priority_queueIN8polybori8groebner5PairEESt6vectorIS2_SaIS2_EENS1_12PairECompareEEC1ERKS7_ at Base 0.8
+ _ZNSt14priority_queueIN8polybori8groebner5PairEESt6vectorIS2_SaIS2_EENS1_12PairECompareEEC2ERKS7_ at Base 0.8
+ _ZNSt14priority_queueIN8polybori8groebner5PairEESt6vectorIS2_SaIS2_EENS1_12PairECompareEED1Ev at Base 0.8
+ _ZNSt14priority_queueIN8polybori8groebner5PairEESt6vectorIS2_SaIS2_EENS1_12PairECompareEED2Ev at Base 0.8
+ _ZNSt3mapIN8polybori13BooleMonomialEiNS0_21symmetric_compositionISt4lessINS0_14CCuddNavigatorEENS0_9navigatesINS0_15BoolePolynomialEEEEESaISt4pairIKS1_iEEED1Ev at Base 0.8
+ _ZNSt3mapIN8polybori13BooleMonomialEiNS0_21symmetric_compositionISt4lessINS0_14CCuddNavigatorEENS0_9navigatesINS0_15BoolePolynomialEEEEESaISt4pairIKS1_iEEED2Ev at Base 0.8
+ _ZNSt3mapIN8polybori13BooleMonomialEiNS0_21symmetric_compositionISt4lessINS0_14CCuddNavigatorEENS0_9navigatesINS0_15BoolePolynomialEEEEESaISt4pairIKS1_iEEEixERSB_ at Base 0.8
+ _ZNSt3mapIN8polybori15BoolePolynomialESt6vectorIS1_SaIS1_EENS0_21symmetric_compositionISt4lessINS0_14CCuddNavigatorEENS0_9navigatesIS1_EEEESaISt4pairIKS1_S4_EEEixERSD_ at Base 0.8
+ _ZNSt3tr110_HashtableIN8polybori13BooleExponentESt4pairIKS2_iESaIS5_ESt10_Select1stIS5_ESt8equal_toIS2_ENS1_6hashesIS2_EENS_8__detail18_Mod_range_hashingENSD_20_Default_ranged_hashENSD_20_Prime_rehash_policyELb0ELb0ELb1EE16_M_allocate_nodeERKS5_ at Base 0.8
+ _ZNSt3tr110_HashtableIN8polybori13BooleExponentESt4pairIKS2_iESaIS5_ESt10_Select1stIS5_ESt8equal_toIS2_ENS1_6hashesIS2_EENS_8__detail18_Mod_range_hashingENSD_20_Default_ranged_hashENSD_20_Prime_rehash_policyELb0ELb0ELb1EE16_M_insert_bucketERKS5_mm at Base 0.8
+ _ZNSt3tr110_HashtableIN8polybori13BooleExponentESt4pairIKS2_iESaIS5_ESt10_Select1stIS5_ESt8equal_toIS2_ENS1_6hashesIS2_EENS_8__detail18_Mod_range_hashingENSD_20_Default_ranged_hashENSD_20_Prime_rehash_policyELb0ELb0ELb1EE4findERS4_ at Base 0.8
+ _ZNSt3tr110_HashtableIN8polybori13BooleExponentESt4pairIKS2_iESaIS5_ESt10_Select1stIS5_ESt8equal_toIS2_ENS1_6hashesIS2_EENS_8__detail18_Mod_range_hashingENSD_20_Default_ranged_hashENSD_20_Prime_rehash_policyELb0ELb0ELb1EE9_M_rehashEm at Base 0.8
+ _ZNSt3tr110_HashtableIN8polybori13BooleExponentESt4pairIKS2_iESaIS5_ESt10_Select1stIS5_ESt8equal_toIS2_ENS1_6hashesIS2_EENS_8__detail18_Mod_range_hashingENSD_20_Default_ranged_hashENSD_20_Prime_rehash_policyELb0ELb0ELb1EEC1ERKSH_ at Base 0.8
+ _ZNSt3tr110_HashtableIN8polybori13BooleExponentESt4pairIKS2_iESaIS5_ESt10_Select1stIS5_ESt8equal_toIS2_ENS1_6hashesIS2_EENS_8__detail18_Mod_range_hashingENSD_20_Default_ranged_hashENSD_20_Prime_rehash_policyELb0ELb0ELb1EEC2ERKSH_ at Base 0.8
+ _ZNSt3tr113unordered_mapIN8polybori13BooleExponentEiNS1_6hashesIS2_EESt8equal_toIS2_ESaISt4pairIKS2_iEEED1Ev at Base 0.8
+ _ZNSt3tr113unordered_mapIN8polybori13BooleExponentEiNS1_6hashesIS2_EESt8equal_toIS2_ESaISt4pairIKS2_iEEED2Ev at Base 0.8
+ _ZNSt3tr18__detail9_Map_baseIN8polybori13BooleExponentESt4pairIKS3_iESt10_Select1stIS6_ELb1ENS_10_HashtableIS3_S6_SaIS6_ES8_St8equal_toIS3_ENS2_6hashesIS3_EENS0_18_Mod_range_hashingENS0_20_Default_ranged_hashENS0_20_Prime_rehash_policyELb0ELb0ELb1EEEEixERS5_ at Base 0.8
+ _ZNSt4pairIKN8polybori15BoolePolynomialESt6vectorIS1_SaIS1_EEED1Ev at Base 0.8
+ _ZNSt4pairIKN8polybori15BoolePolynomialESt6vectorIS1_SaIS1_EEED2Ev at Base 0.8
+ _ZNSt4pairIN8polybori15BoolePolynomialENS0_13BooleMonomialEED1Ev at Base 0.8
+ _ZNSt4pairIN8polybori15BoolePolynomialENS0_13BooleMonomialEED2Ev at Base 0.8
+ _ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EE13_M_insert_auxISt15_Deque_iteratorIS1_RKS1_PS6_EEEvS5_IS1_RS1_PS1_ET_SD_m at Base 0.8
+ _ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EE17_M_reallocate_mapEmb at Base 0.8
+ _ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EE19_M_range_insert_auxISt15_Deque_iteratorIS1_RKS1_PS6_EEEvS5_IS1_RS1_PS1_ET_SD_St20forward_iterator_tag at Base 0.8
+ _ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EE23_M_new_elements_at_backEm at Base 0.8
+ _ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EE24_M_new_elements_at_frontEm at Base 0.8
+ _ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EE27_M_reserve_elements_at_backEm at Base 0.8
+ _ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EE28_M_reserve_elements_at_frontEm at Base 0.8
+ _ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EE8pop_backEv at Base 0.8
+ _ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EE9push_backERKS1_ at Base 0.8
+ _ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EEC1ERKS3_ at Base 0.8
+ _ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EEC2ERKS3_ at Base 0.8
+ _ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EEaSERKS3_ at Base 0.8
+ _ZNSt6vectorIN5boost14dynamic_bitsetImSaImEEESaIS3_EE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPS3_S5_EERKS3_ at Base 0.8
+ _ZNSt6vectorIN5boost14dynamic_bitsetImSaImEEESaIS3_EED1Ev at Base 0.8
+ _ZNSt6vectorIN5boost14dynamic_bitsetImSaImEEESaIS3_EED2Ev at Base 0.8
+ _ZNSt6vectorIN8polybori13BooleExponentESaIS1_EE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPS1_S3_EERKS1_ at Base 0.8
+ _ZNSt6vectorIN8polybori13BooleExponentESaIS1_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS1_S3_EEmRKS1_ at Base 0.8
+ _ZNSt6vectorIN8polybori13BooleExponentESaIS1_EE20_M_allocate_and_copyIN9__gnu_cxx17__normal_iteratorIPKS1_S3_EEEEPS1_mT_SB_ at Base 0.8
+ _ZNSt6vectorIN8polybori13BooleExponentESaIS1_EEC1EmRKS1_RKS2_ at Base 0.8
+ _ZNSt6vectorIN8polybori13BooleExponentESaIS1_EEC2EmRKS1_RKS2_ at Base 0.8
+ _ZNSt6vectorIN8polybori13BooleExponentESaIS1_EED1Ev at Base 0.8
+ _ZNSt6vectorIN8polybori13BooleExponentESaIS1_EED2Ev at Base 0.8
+ _ZNSt6vectorIN8polybori13BooleExponentESaIS1_EEaSERKS3_ at Base 0.8
+ _ZNSt6vectorIN8polybori13BooleMonomialESaIS1_EE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPS1_S3_EERKS1_ at Base 0.8
+ _ZNSt6vectorIN8polybori13BooleMonomialESaIS1_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS1_S3_EEmRKS1_ at Base 0.8
+ _ZNSt6vectorIN8polybori13BooleMonomialESaIS1_EE9push_backERKS1_ at Base 0.8
+ _ZNSt6vectorIN8polybori13BooleMonomialESaIS1_EED1Ev at Base 0.8
+ _ZNSt6vectorIN8polybori13BooleMonomialESaIS1_EED2Ev at Base 0.8
+ _ZNSt6vectorIN8polybori13BooleVariableESaIS1_EE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPS1_S3_EERKS1_ at Base 0.8
+ _ZNSt6vectorIN8polybori13BooleVariableESaIS1_EE7reserveEm at Base 0.8
+ _ZNSt6vectorIN8polybori13BooleVariableESaIS1_EED1Ev at Base 0.8
+ _ZNSt6vectorIN8polybori13BooleVariableESaIS1_EED2Ev at Base 0.8
+ _ZNSt6vectorIN8polybori15BoolePolynomialESaIS1_EE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPS1_S3_EERKS1_ at Base 0.8
+ _ZNSt6vectorIN8polybori15BoolePolynomialESaIS1_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS1_S3_EEmRKS1_ at Base 0.8
+ _ZNSt6vectorIN8polybori15BoolePolynomialESaIS1_EE20_M_allocate_and_copyIN9__gnu_cxx17__normal_iteratorIPKS1_S3_EEEEPS1_mT_SB_ at Base 0.8
+ _ZNSt6vectorIN8polybori15BoolePolynomialESaIS1_EE5clearEv at Base 0.8
+ _ZNSt6vectorIN8polybori15BoolePolynomialESaIS1_EE9push_backERKS1_ at Base 0.8
+ _ZNSt6vectorIN8polybori15BoolePolynomialESaIS1_EEC1ERKS3_ at Base 0.8
+ _ZNSt6vectorIN8polybori15BoolePolynomialESaIS1_EEC1EmRKS1_RKS2_ at Base 0.8
+ _ZNSt6vectorIN8polybori15BoolePolynomialESaIS1_EEC2ERKS3_ at Base 0.8
+ _ZNSt6vectorIN8polybori15BoolePolynomialESaIS1_EEC2EmRKS1_RKS2_ at Base 0.8
+ _ZNSt6vectorIN8polybori15BoolePolynomialESaIS1_EED1Ev at Base 0.8
+ _ZNSt6vectorIN8polybori15BoolePolynomialESaIS1_EED2Ev at Base 0.8
+ _ZNSt6vectorIN8polybori15BoolePolynomialESaIS1_EEaSERKS3_ at Base 0.8
+ _ZNSt6vectorIN8polybori8groebner15PolynomialSugarESaIS2_EE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPS2_S4_EERKS2_ at Base 0.8
+ _ZNSt6vectorIN8polybori8groebner15PolynomialSugarESaIS2_EED1Ev at Base 0.8
+ _ZNSt6vectorIN8polybori8groebner15PolynomialSugarESaIS2_EED2Ev at Base 0.8
+ _ZNSt6vectorIN8polybori8groebner5PairEESaIS2_EE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPS2_S4_EERKS2_ at Base 0.8
+ _ZNSt6vectorIN8polybori8groebner5PairEESaIS2_EEC1ERKS4_ at Base 0.8
+ _ZNSt6vectorIN8polybori8groebner5PairEESaIS2_EEC2ERKS4_ at Base 0.8
+ _ZNSt6vectorIN8polybori8groebner5PairEESaIS2_EED1Ev at Base 0.8
+ _ZNSt6vectorIN8polybori8groebner5PairEESaIS2_EED2Ev at Base 0.8
+ _ZNSt6vectorIN8polybori8groebner9PolyEntryESaIS2_EE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPS2_S4_EERKS2_ at Base 0.8
+ _ZNSt6vectorIN8polybori8groebner9PolyEntryESaIS2_EED1Ev at Base 0.8
+ _ZNSt6vectorIN8polybori8groebner9PolyEntryESaIS2_EED2Ev at Base 0.8
+ _ZNSt6vectorIP5mzd_tSaIS1_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS1_S3_EEmRKS1_ at Base 0.8
+ _ZNSt6vectorIS_IiSaIiEESaIS1_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS1_S3_EEmRKS1_ at Base 0.8
+ _ZNSt6vectorISt4pairIN8polybori15BoolePolynomialENS1_13BooleMonomialEESaIS4_EE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPS4_S6_EERKS4_ at Base 0.8
+ _ZNSt6vectorISt4pairIN8polybori15BoolePolynomialENS1_13BooleMonomialEESaIS4_EED1Ev at Base 0.8
+ _ZNSt6vectorISt4pairIN8polybori15BoolePolynomialENS1_13BooleMonomialEESaIS4_EED2Ev at Base 0.8
+ _ZNSt6vectorIiSaIiEE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPiS1_EERKi at Base 0.8
+ _ZNSt6vectorIiSaIiEE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPiS1_EEmRKi at Base 0.8
+ _ZNSt6vectorIiSaIiEE6resizeEmi at Base 0.8
+ _ZNSt6vectorIiSaIiEEC1ERKS1_ at Base 0.8
+ _ZNSt6vectorIiSaIiEEC2ERKS1_ at Base 0.8
+ _ZNSt6vectorIiSaIiEEaSERKS1_ at Base 0.8
+ _ZNSt6vectorImSaImEE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPmS1_EEmRKm at Base 0.8
+ _ZNSt6vectorImSaImEEaSERKS1_ at Base 0.8
+ _ZNSt8_Rb_treeIN8polybori13BooleExponentES1_St9_IdentityIS1_ENS0_8groebner10ExpLexLessESaIS1_EE10_M_insert_EPKSt18_Rb_tree_node_baseSA_RKS1_ at Base 0.8
+ _ZNSt8_Rb_treeIN8polybori13BooleExponentES1_St9_IdentityIS1_ENS0_8groebner10ExpLexLessESaIS1_EE16_M_insert_uniqueERKS1_ at Base 0.8
+ _ZNSt8_Rb_treeIN8polybori13BooleExponentES1_St9_IdentityIS1_ENS0_8groebner10ExpLexLessESaIS1_EE8_M_eraseEPSt13_Rb_tree_nodeIS1_E at Base 0.8
+ _ZNSt8_Rb_treeIN8polybori13BooleMonomialES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE10_M_insert_EPKSt18_Rb_tree_node_baseSA_RKS1_ at Base 0.8
+ _ZNSt8_Rb_treeIN8polybori13BooleMonomialES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE16_M_insert_uniqueERKS1_ at Base 0.8
+ _ZNSt8_Rb_treeIN8polybori13BooleMonomialES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE8_M_eraseEPSt13_Rb_tree_nodeIS1_E at Base 0.8
+ _ZNSt8_Rb_treeIN8polybori13BooleMonomialESt4pairIKS1_iESt10_Select1stIS4_ENS0_21symmetric_compositionISt4lessINS0_14CCuddNavigatorEENS0_9navigatesINS0_15BoolePolynomialEEEEESaIS4_EE10_M_insert_EPKSt18_Rb_tree_node_baseSJ_RKS4_ at Base 0.8
+ _ZNSt8_Rb_treeIN8polybori13BooleMonomialESt4pairIKS1_iESt10_Select1stIS4_ENS0_21symmetric_compositionISt4lessINS0_14CCuddNavigatorEENS0_9navigatesINS0_15BoolePolynomialEEEEESaIS4_EE16_M_insert_uniqueERKS4_ at Base 0.8
+ _ZNSt8_Rb_treeIN8polybori13BooleMonomialESt4pairIKS1_iESt10_Select1stIS4_ENS0_21symmetric_compositionISt4lessINS0_14CCuddNavigatorEENS0_9navigatesINS0_15BoolePolynomialEEEEESaIS4_EE17_M_insert_unique_ESt23_Rb_tree_const_iteratorIS4_ERKS4_ at Base 0.8
+ _ZNSt8_Rb_treeIN8polybori13BooleMonomialESt4pairIKS1_iESt10_Select1stIS4_ENS0_21symmetric_compositionISt4lessINS0_14CCuddNavigatorEENS0_9navigatesINS0_15BoolePolynomialEEEEESaIS4_EE7_M_copyEPKSt13_Rb_tree_nodeIS4_EPSI_ at Base 0.8
+ _ZNSt8_Rb_treeIN8polybori13BooleMonomialESt4pairIKS1_iESt10_Select1stIS4_ENS0_21symmetric_compositionISt4lessINS0_14CCuddNavigatorEENS0_9navigatesINS0_15BoolePolynomialEEEEESaIS4_EE8_M_eraseEPSt13_Rb_tree_nodeIS4_E at Base 0.8
+ _ZNSt8_Rb_treeIN8polybori14CCuddNavigatorESt4pairIKS1_mESt10_Select1stIS4_ESt4lessIS1_ESaIS4_EE10_M_insert_EPKSt18_Rb_tree_node_baseSD_RKS4_ at Base 0.8
+ _ZNSt8_Rb_treeIN8polybori14CCuddNavigatorESt4pairIKS1_mESt10_Select1stIS4_ESt4lessIS1_ESaIS4_EE16_M_insert_uniqueERKS4_ at Base 0.8
+ _ZNSt8_Rb_treeIN8polybori14CCuddNavigatorESt4pairIKS1_mESt10_Select1stIS4_ESt4lessIS1_ESaIS4_EE17_M_insert_unique_ESt23_Rb_tree_const_iteratorIS4_ERKS4_ at Base 0.8
+ _ZNSt8_Rb_treeIN8polybori14CCuddNavigatorESt4pairIKS1_mESt10_Select1stIS4_ESt4lessIS1_ESaIS4_EE8_M_eraseEPSt13_Rb_tree_nodeIS4_E at Base 0.8
+ _ZNSt8_Rb_treeIN8polybori15BoolePolynomialESt4pairIKS1_St6vectorIS1_SaIS1_EEESt10_Select1stIS7_ENS0_21symmetric_compositionISt4lessINS0_14CCuddNavigatorEENS0_9navigatesIS1_EEEESaIS7_EE10_M_insert_EPKSt18_Rb_tree_node_baseSL_RKS7_ at Base 0.8
+ _ZNSt8_Rb_treeIN8polybori15BoolePolynomialESt4pairIKS1_St6vectorIS1_SaIS1_EEESt10_Select1stIS7_ENS0_21symmetric_compositionISt4lessINS0_14CCuddNavigatorEENS0_9navigatesIS1_EEEESaIS7_EE16_M_insert_uniqueERKS7_ at Base 0.8
+ _ZNSt8_Rb_treeIN8polybori15BoolePolynomialESt4pairIKS1_St6vectorIS1_SaIS1_EEESt10_Select1stIS7_ENS0_21symmetric_compositionISt4lessINS0_14CCuddNavigatorEENS0_9navigatesIS1_EEEESaIS7_EE17_M_insert_unique_ESt23_Rb_tree_const_iteratorIS7_ERKS7_ at Base 0.8
+ _ZNSt8_Rb_treeIN8polybori15BoolePolynomialESt4pairIKS1_St6vectorIS1_SaIS1_EEESt10_Select1stIS7_ENS0_21symmetric_compositionISt4lessINS0_14CCuddNavigatorEENS0_9navigatesIS1_EEEESaIS7_EE8_M_eraseEPSt13_Rb_tree_nodeIS7_E at Base 0.8
+ _ZNSt8_Rb_treeIPKN8polybori8groebner9PolyEntryES4_St9_IdentityIS4_ENS1_18PolyEntryPtrLmLessESaIS4_EE10_M_insert_EPKSt18_Rb_tree_node_baseSC_RKS4_ at Base 0.8
+ _ZNSt8_Rb_treeIPKN8polybori8groebner9PolyEntryES4_St9_IdentityIS4_ENS1_18PolyEntryPtrLmLessESaIS4_EE16_M_insert_uniqueERKS4_ at Base 0.8
+ _ZNSt8_Rb_treeIPKN8polybori8groebner9PolyEntryES4_St9_IdentityIS4_ENS1_18PolyEntryPtrLmLessESaIS4_EE8_M_eraseEPSt13_Rb_tree_nodeIS4_E at Base 0.8
+ _ZNSt8_Rb_treeIiSt4pairIKiiESt10_Select1stIS2_ESt4lessIiESaIS2_EE10_M_insert_EPKSt18_Rb_tree_node_baseSB_RKS2_ at Base 0.8
+ _ZNSt8_Rb_treeIiSt4pairIKiiESt10_Select1stIS2_ESt4lessIiESaIS2_EE16_M_insert_uniqueERKS2_ at Base 0.8
+ _ZNSt8_Rb_treeIiSt4pairIKiiESt10_Select1stIS2_ESt4lessIiESaIS2_EE17_M_insert_unique_ESt23_Rb_tree_const_iteratorIS2_ERKS2_ at Base 0.8
+ _ZNSt8_Rb_treeIiSt4pairIKiiESt10_Select1stIS2_ESt4lessIiESaIS2_EE7_M_copyEPKSt13_Rb_tree_nodeIS2_EPSA_ at Base 0.8
+ _ZNSt8_Rb_treeIiSt4pairIKiiESt10_Select1stIS2_ESt4lessIiESaIS2_EE8_M_eraseEPSt13_Rb_tree_nodeIS2_E at Base 0.8
+ _ZNSt8_Rb_treeIiSt4pairIKiiESt10_Select1stIS2_ESt4lessIiESaIS2_EEaSERKS8_ at Base 0.8
+ _ZNSt8_Rb_treeIiiSt9_IdentityIiESt4lessIiESaIiEE10_M_insert_EPKSt18_Rb_tree_node_baseS8_RKi at Base 0.8
+ _ZNSt8_Rb_treeIiiSt9_IdentityIiESt4lessIiESaIiEE16_M_insert_uniqueERKi at Base 0.8
+ _ZNSt8_Rb_treeIiiSt9_IdentityIiESt4lessIiESaIiEE17_M_insert_unique_ESt23_Rb_tree_const_iteratorIiERKi at Base 0.8
+ _ZNSt8_Rb_treeIiiSt9_IdentityIiESt4lessIiESaIiEE7_M_copyEPKSt13_Rb_tree_nodeIiEPS7_ at Base 0.8
+ _ZNSt8_Rb_treeIiiSt9_IdentityIiESt4lessIiESaIiEE8_M_eraseEPSt13_Rb_tree_nodeIiE at Base 0.8
+ _ZNSt8_Rb_treeIiiSt9_IdentityIiESt4lessIiESaIiEEaSERKS5_ at Base 0.8
+ _ZSt10accumulateISt23_Rb_tree_const_iteratorISt4pairIKiiEEN8polybori15BoolePolynomialENS5_8groebner25TimesVariableSubstitutionEET0_T_SA_S9_T1_ at Base 0.8
+ _ZSt11__push_heapIN9__gnu_cxx17__normal_iteratorIPN8polybori8groebner15PolynomialSugarESt6vectorIS4_SaIS4_EEEElS4_NS3_15LMLessComparePSEEvT_T0_SC_T1_T2_ at Base 0.8
+ _ZSt11__push_heapIN9__gnu_cxx17__normal_iteratorIPN8polybori8groebner5PairEESt6vectorIS4_SaIS4_EEEElS4_NS3_12PairECompareEEvT_T0_SC_T1_T2_ at Base 0.8
+ _ZSt11min_elementIN8polybori12CGenericIterINS0_8LexOrderENS0_14CCuddNavigatorENS0_13BooleExponentEEENS0_8groebner20LargerDegreeComparerEET_S8_S8_T0_ at Base 0.8
+ _ZSt11min_elementIN8polybori12CGenericIterINS0_8LexOrderENS0_14CCuddNavigatorENS0_13BooleExponentEEENS0_8groebner25LessWeightedLengthInStratEET_S8_S8_T0_ at Base 0.8
+ _ZSt11min_elementIN8polybori12CGenericIterINS0_8LexOrderENS0_14CCuddNavigatorENS0_13BooleExponentEEENS0_8groebner33LessWeightedLengthInStratModifiedEET_S8_S8_T0_ at Base 0.8
+ _ZSt11min_elementIN8polybori12CGenericIterINS0_8LexOrderENS0_14CCuddNavigatorENS0_13BooleMonomialEEENS0_8groebner25LessWeightedLengthInStratEET_S8_S8_T0_ at Base 0.8
+ _ZSt12partial_sortIN9__gnu_cxx17__normal_iteratorIPN8polybori13BooleExponentESt6vectorIS3_SaIS3_EEEENS2_8groebner10ExpGreaterEEvT_SB_SB_T0_ at Base 0.8
+ _ZSt13__adjust_heapIN9__gnu_cxx17__normal_iteratorIPN8polybori13BooleExponentESt6vectorIS3_SaIS3_EEEElS3_NS2_8groebner10ExpGreaterEEvT_T0_SC_T1_T2_ at Base 0.8
+ _ZSt13__adjust_heapIN9__gnu_cxx17__normal_iteratorIPN8polybori13BooleExponentESt6vectorIS3_SaIS3_EEEElS3_NS2_8groebner23LexOrderGreaterComparerEEvT_T0_SC_T1_T2_ at Base 0.8
+ _ZSt13__adjust_heapIN9__gnu_cxx17__normal_iteratorIPN8polybori8groebner15PolynomialSugarESt6vectorIS4_SaIS4_EEEElS4_NS3_15LMLessComparePSEEvT_T0_SC_T1_T2_ at Base 0.8
+ _ZSt13__adjust_heapIN9__gnu_cxx17__normal_iteratorIPN8polybori8groebner5PairEESt6vectorIS4_SaIS4_EEEElS4_NS3_12PairECompareEEvT_T0_SC_T1_T2_ at Base 0.8
+ _ZSt13__adjust_heapIN9__gnu_cxx17__normal_iteratorIPSt4pairIN8polybori15BoolePolynomialENS3_13BooleMonomialEESt6vectorIS6_SaIS6_EEEElS6_NS3_8groebner28PolyMonomialPairComparerLessEEvT_T0_SF_T1_T2_ at Base 0.8
+ _ZSt13__adjust_heapIN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEEliSt4lessIiEEvT_T0_SA_T1_T2_ at Base 0.8
+ _ZSt13__copy_move_aILb0EN8polybori12CGenericIterINS0_8LexOrderENS0_14CCuddNavigatorENS0_13BooleExponentEEEPS4_ET1_T0_S8_S7_ at Base 0.8
+ _ZSt13__copy_move_aILb0EN8polybori12CGenericIterINS0_8LexOrderENS0_14CCuddNavigatorENS0_13BooleMonomialEEEPS4_ET1_T0_S8_S7_ at Base 0.8
+ _ZSt13__copy_move_aILb0EPN8polybori15BoolePolynomialES2_ET1_T0_S4_S3_ at Base 0.8
+ _ZSt13__heap_selectIN9__gnu_cxx17__normal_iteratorIPN8polybori13BooleExponentESt6vectorIS3_SaIS3_EEEENS2_8groebner10ExpGreaterEEvT_SB_SB_T0_ at Base 0.8
+ _ZSt13__heap_selectIN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEESt4lessIiEEvT_S9_S9_T0_ at Base 0.8
+ _ZSt13copy_backwardIN8polybori14CCuddNavigatorEESt15_Deque_iteratorIT_RS3_PS3_ES2_IS3_RKS3_PS7_ESA_S6_ at Base 0.8
+ _ZSt13copy_backwardIPN8polybori13BooleMonomialES2_ET0_T_S4_S3_ at Base 0.8
+ _ZSt13copy_backwardIPN8polybori15BoolePolynomialES2_ET0_T_S4_S3_ at Base 0.8
+ _ZSt14__copy_move_a2ILb0EN8polybori12CGenericIterINS0_8LexOrderENS0_14CCuddNavigatorENS0_13BooleExponentEEEN9__gnu_cxx17__normal_iteratorIPS4_St6vectorIS4_SaIS4_EEEEET1_T0_SE_SD_ at Base 0.8
+ _ZSt14__copy_move_a2ILb0EN8polybori12CGenericIterINS0_8LexOrderENS0_14CCuddNavigatorENS0_13BooleMonomialEEEN9__gnu_cxx17__normal_iteratorIPS4_St6vectorIS4_SaIS4_EEEEET1_T0_SE_SD_ at Base 0.8
+ _ZSt14__copy_move_a2ILb0EN8polybori12COrderedIterINS0_14CCuddNavigatorENS0_13BooleMonomialEEEN9__gnu_cxx17__normal_iteratorIPS3_St6vectorIS3_SaIS3_EEEEET1_T0_SD_SC_ at Base 0.8
+ _ZSt16__insertion_sortIN9__gnu_cxx17__normal_iteratorIPN8polybori13BooleExponentESt6vectorIS3_SaIS3_EEEENS2_8groebner10ExpGreaterEEvT_SB_T0_ at Base 0.8
+ _ZSt16__insertion_sortIN9__gnu_cxx17__normal_iteratorIPN8polybori13BooleExponentESt6vectorIS3_SaIS3_EEEENS2_8groebner23LexOrderGreaterComparerEEvT_SB_T0_ at Base 0.8
+ _ZSt16__insertion_sortIN9__gnu_cxx17__normal_iteratorIPSt4pairIN8polybori15BoolePolynomialENS3_13BooleMonomialEESt6vectorIS6_SaIS6_EEEENS3_8groebner28PolyMonomialPairComparerLessEEvT_SE_T0_ at Base 0.8
+ _ZSt16__insertion_sortIN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEESt4lessIiEEvT_S9_T0_ at Base 0.8
+ _ZSt16__introsort_loopIN9__gnu_cxx17__normal_iteratorIPN8polybori13BooleExponentESt6vectorIS3_SaIS3_EEEElNS2_8groebner10ExpGreaterEEvT_SB_T0_T1_ at Base 0.8
+ _ZSt16__introsort_loopIN9__gnu_cxx17__normal_iteratorIPN8polybori13BooleExponentESt6vectorIS3_SaIS3_EEEElNS2_8groebner23LexOrderGreaterComparerEEvT_SB_T0_T1_ at Base 0.8
+ _ZSt16__introsort_loopIN9__gnu_cxx17__normal_iteratorIPSt4pairIN8polybori15BoolePolynomialENS3_13BooleMonomialEESt6vectorIS6_SaIS6_EEEElNS3_8groebner28PolyMonomialPairComparerLessEEvT_SE_T0_T1_ at Base 0.8
+ _ZSt16__introsort_loopIN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEElSt4lessIiEEvT_S9_T0_T1_ at Base 0.8
+ _ZSt19__move_median_firstIN9__gnu_cxx17__normal_iteratorIPN8polybori13BooleExponentESt6vectorIS3_SaIS3_EEEENS2_8groebner10ExpGreaterEEvT_SB_SB_T0_ at Base 0.8
+ _ZSt19__move_median_firstIN9__gnu_cxx17__normal_iteratorIPN8polybori13BooleExponentESt6vectorIS3_SaIS3_EEEENS2_8groebner23LexOrderGreaterComparerEEvT_SB_SB_T0_ at Base 0.8
+ _ZSt19__move_median_firstIN9__gnu_cxx17__normal_iteratorIPSt4pairIN8polybori15BoolePolynomialENS3_13BooleMonomialEESt6vectorIS6_SaIS6_EEEENS3_8groebner28PolyMonomialPairComparerLessEEvT_SE_SE_T0_ at Base 0.8
+ _ZSt19__move_median_firstIN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEESt4lessIiEEvT_S9_S9_T0_ at Base 0.8
+ _ZSt22__copy_move_backward_aILb0EPN8polybori13BooleExponentES2_ET1_T0_S4_S3_ at Base 0.8
+ _ZSt22__final_insertion_sortIN9__gnu_cxx17__normal_iteratorIPN8polybori13BooleExponentESt6vectorIS3_SaIS3_EEEENS2_8groebner10ExpGreaterEEvT_SB_T0_ at Base 0.8
+ _ZSt22__final_insertion_sortIN9__gnu_cxx17__normal_iteratorIPN8polybori13BooleExponentESt6vectorIS3_SaIS3_EEEENS2_8groebner23LexOrderGreaterComparerEEvT_SB_T0_ at Base 0.8
+ _ZSt22__uninitialized_move_aISt15_Deque_iteratorIN8polybori14CCuddNavigatorERS2_PS2_ES5_SaIS2_EET0_T_S8_S7_RT1_ at Base 0.8
+ _ZSt25__unguarded_linear_insertIN9__gnu_cxx17__normal_iteratorIPN8polybori13BooleExponentESt6vectorIS3_SaIS3_EEEENS2_8groebner10ExpGreaterEEvT_T0_ at Base 0.8
+ _ZSt25__unguarded_linear_insertIN9__gnu_cxx17__normal_iteratorIPN8polybori13BooleExponentESt6vectorIS3_SaIS3_EEEENS2_8groebner23LexOrderGreaterComparerEEvT_T0_ at Base 0.8
+ _ZSt25__unguarded_linear_insertIN9__gnu_cxx17__normal_iteratorIPSt4pairIN8polybori15BoolePolynomialENS3_13BooleMonomialEESt6vectorIS6_SaIS6_EEEENS3_8groebner28PolyMonomialPairComparerLessEEvT_T0_ at Base 0.8
+ _ZSt27__unguarded_partition_pivotIN9__gnu_cxx17__normal_iteratorIPN8polybori13BooleExponentESt6vectorIS3_SaIS3_EEEENS2_8groebner10ExpGreaterEET_SB_SB_T0_ at Base 0.8
+ _ZSt27__unguarded_partition_pivotIN9__gnu_cxx17__normal_iteratorIPN8polybori13BooleExponentESt6vectorIS3_SaIS3_EEEENS2_8groebner23LexOrderGreaterComparerEET_SB_SB_T0_ at Base 0.8
+ _ZSt4copyIN8polybori12CGenericIterINS0_8LexOrderENS0_14CCuddNavigatorENS0_13BooleExponentEEEN9__gnu_cxx17__normal_iteratorIPS4_St6vectorIS4_SaIS4_EEEEET0_T_SE_SD_ at Base 0.8
+ _ZSt4copyIN8polybori12CGenericIterINS0_8LexOrderENS0_14CCuddNavigatorENS0_13BooleMonomialEEEN9__gnu_cxx17__normal_iteratorIPS4_St6vectorIS4_SaIS4_EEEEET0_T_SE_SD_ at Base 0.8
+ _ZSt4copyIN8polybori12COrderedIterINS0_14CCuddNavigatorENS0_13BooleMonomialEEEN9__gnu_cxx17__normal_iteratorIPS3_St6vectorIS3_SaIS3_EEEEET0_T_SD_SC_ at Base 0.8
+ _ZSt4copyIN8polybori14CCuddNavigatorEESt15_Deque_iteratorIT_RS3_PS3_ES2_IS3_RKS3_PS7_ESA_S6_ at Base 0.8
+ _ZSt6__findISt16reverse_iteratorIN9__gnu_cxx17__normal_iteratorIPN8polybori15BoolePolynomialESt6vectorIS4_SaIS4_EEEEEiET_SB_SB_RKT0_St26random_access_iterator_tag at Base 0.8
+ _ZSt7find_ifISt23_Rb_tree_const_iteratorISt4pairIKiiEEPFbS3_EET_S7_S7_T0_ at Base 0.8
+ _ZSt8_DestroyIPN8polybori13BooleExponentEEvT_S3_ at Base 0.8
+ _ZSt8_DestroyIPN8polybori13BooleMonomialEEvT_S3_ at Base 0.8
+ _ZSt8_DestroyIPN8polybori15BoolePolynomialEEvT_S3_ at Base 0.8
+ _ZSt8_DestroyIPSt6vectorIiSaIiEEEvT_S4_ at Base 0.8
+ _ZSt9__find_ifIN9__gnu_cxx17__normal_iteratorIPKN8polybori8groebner9PolyEntryESt6vectorIS4_SaIS4_EEEENS3_17IsVariableOfIndexEET_SC_SC_T0_St26random_access_iterator_tag at Base 0.8
+ _ZSt9iter_swapIN9__gnu_cxx17__normal_iteratorIPN8polybori13BooleExponentESt6vectorIS3_SaIS3_EEEES8_EvT_T0_ at Base 0.8
+ _ZSt9iter_swapIN9__gnu_cxx17__normal_iteratorIPSt4pairIN8polybori15BoolePolynomialENS3_13BooleMonomialEESt6vectorIS6_SaIS6_EEEESB_EvT_T0_ at Base 0.8
+ _ZSt9make_heapIN9__gnu_cxx17__normal_iteratorIPN8polybori13BooleExponentESt6vectorIS3_SaIS3_EEEENS2_8groebner10ExpGreaterEEvT_SB_T0_ at Base 0.8
+ _ZSt9make_heapIN9__gnu_cxx17__normal_iteratorIPN8polybori13BooleExponentESt6vectorIS3_SaIS3_EEEENS2_8groebner23LexOrderGreaterComparerEEvT_SB_T0_ at Base 0.8
+ _ZSt9make_heapIN9__gnu_cxx17__normal_iteratorIPN8polybori8groebner15PolynomialSugarESt6vectorIS4_SaIS4_EEEENS3_15LMLessComparePSEEvT_SB_T0_ at Base 0.8
+ _ZSt9make_heapIN9__gnu_cxx17__normal_iteratorIPN8polybori8groebner5PairEESt6vectorIS4_SaIS4_EEEENS3_12PairECompareEEvT_SB_T0_ at Base 0.8
+ _ZSt9make_heapIN9__gnu_cxx17__normal_iteratorIPSt4pairIN8polybori15BoolePolynomialENS3_13BooleMonomialEESt6vectorIS6_SaIS6_EEEENS3_8groebner28PolyMonomialPairComparerLessEEvT_SE_T0_ at Base 0.8
+ _ZSt9push_heapIN9__gnu_cxx17__normal_iteratorIPN8polybori8groebner5PairEESt6vectorIS4_SaIS4_EEEENS3_12PairECompareEEvT_SB_T0_ at Base 0.8
+ _ZSt9transformIN8polybori12CGenericIterINS0_8LexOrderENS0_14CCuddNavigatorENS0_13BooleMonomialEEEN9__gnu_cxx17__normal_iteratorIPNS0_15BoolePolynomialESt6vectorIS8_SaIS8_EEEENS0_8groebner10GetNthPolyEET0_T_SH_SG_T1_ at Base 0.8
+ _ZSt9transformIN8polybori12CReverseIterINS0_8LexOrderENS0_14CCuddNavigatorENS0_13BooleExponentEEESt16reverse_iteratorIN9__gnu_cxx17__normal_iteratorIPNS0_15BoolePolynomialESt6vectorIS9_SaIS9_EEEEENS0_8groebner10RedTailNthEET0_T_SJ_SI_T1_ at Base 0.8
+ _ZSteqIN8polybori14CCuddNavigatorESaIS1_EEbRKSt5dequeIT_T0_ES8_ at Base 0.8
+ _ZTIN5boost6detail15sp_counted_baseE at Base 0.8
+ _ZTIN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_10CTermStackINS2_14CCuddNavigatorESt20forward_iterator_tagNS2_18CAbstractStackBaseIS5_EEEEEEEE at Base 0.8
+ _ZTIN5boost6detail17sp_counted_impl_pIN8polybori8groebner10IJPairDataEEE at Base 0.8
+ _ZTIN5boost6detail17sp_counted_impl_pIN8polybori8groebner12CacheManagerEEE at Base 0.8
+ _ZTIN5boost6detail17sp_counted_impl_pIN8polybori8groebner12PolyPairDataEEE at Base 0.8
+ _ZTIN5boost6detail17sp_counted_impl_pIN8polybori8groebner16VariablePairDataEEE at Base 0.8
+ _ZTIN5boost6detail17sp_counted_impl_pISt6vectorIN8polybori15BoolePolynomialESaIS4_EEEE at Base 0.8
+ _ZTIN8polybori10CTermStackINS_14CCuddNavigatorESt20forward_iterator_tagNS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTIN8polybori12order_traitsINS_7lex_tagEEE at Base 0.8
+ _ZTIN8polybori13COrderingBaseE at Base 0.8
+ _ZTIN8polybori13COrderingTagsINS_7lex_tagEEE at Base 0.8
+ _ZTIN8polybori13CWrappedStackINS_10CTermStackINS_14CCuddNavigatorESt20forward_iterator_tagNS_18CAbstractStackBaseIS2_EEEEEE at Base 0.8
+ _ZTIN8polybori14CTermStackBaseINS_14CCuddNavigatorENS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTIN8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEEE at Base 0.8
+ _ZTIN8polybori17COrderingTagsBaseINS_7lex_tagENS_9valid_tagENS_11invalid_tagES3_S2_S2_S3_S2_EE at Base 0.8
+ _ZTIN8polybori17PBoRiGenericErrorILj9EEE at Base 0.8
+ _ZTIN8polybori18CAbstractStackBaseINS_14CCuddNavigatorEEE at Base 0.8
+ _ZTIN8polybori8groebner10IJPairDataE at Base 0.8
+ _ZTIN8polybori8groebner12PolyPairDataE at Base 0.8
+ _ZTIN8polybori8groebner14ReductionTermsE at Base 0.8
+ _ZTIN8polybori8groebner15PolyEntryVectorE at Base 0.8
+ _ZTIN8polybori8groebner16ReductionOptionsE at Base 0.8
+ _ZTIN8polybori8groebner16VariablePairDataE at Base 0.8
+ _ZTIN8polybori8groebner17ReductionStrategyE at Base 0.8
+ _ZTIN8polybori8groebner32FGLMNoLinearCombinationExceptionE at Base 0.8
+ _ZTIN8polybori8groebner8PairDataE at Base 0.8
+ _ZTIN8polybori9CAuxTypesE at Base 0.8
+ _ZTSN5boost6detail15sp_counted_baseE at Base 0.8
+ _ZTSN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_10CTermStackINS2_14CCuddNavigatorESt20forward_iterator_tagNS2_18CAbstractStackBaseIS5_EEEEEEEE at Base 0.8
+ _ZTSN5boost6detail17sp_counted_impl_pIN8polybori8groebner10IJPairDataEEE at Base 0.8
+ _ZTSN5boost6detail17sp_counted_impl_pIN8polybori8groebner12CacheManagerEEE at Base 0.8
+ _ZTSN5boost6detail17sp_counted_impl_pIN8polybori8groebner12PolyPairDataEEE at Base 0.8
+ _ZTSN5boost6detail17sp_counted_impl_pIN8polybori8groebner16VariablePairDataEEE at Base 0.8
+ _ZTSN5boost6detail17sp_counted_impl_pISt6vectorIN8polybori15BoolePolynomialESaIS4_EEEE at Base 0.8
+ _ZTSN8polybori10CTermStackINS_14CCuddNavigatorESt20forward_iterator_tagNS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTSN8polybori12order_traitsINS_7lex_tagEEE at Base 0.8
+ _ZTSN8polybori13COrderingBaseE at Base 0.8
+ _ZTSN8polybori13COrderingTagsINS_7lex_tagEEE at Base 0.8
+ _ZTSN8polybori13CWrappedStackINS_10CTermStackINS_14CCuddNavigatorESt20forward_iterator_tagNS_18CAbstractStackBaseIS2_EEEEEE at Base 0.8
+ _ZTSN8polybori14CTermStackBaseINS_14CCuddNavigatorENS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTSN8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEEE at Base 0.8
+ _ZTSN8polybori17COrderingTagsBaseINS_7lex_tagENS_9valid_tagENS_11invalid_tagES3_S2_S2_S3_S2_EE at Base 0.8
+ _ZTSN8polybori17PBoRiGenericErrorILj9EEE at Base 0.8
+ _ZTSN8polybori18CAbstractStackBaseINS_14CCuddNavigatorEEE at Base 0.8
+ _ZTSN8polybori8groebner10IJPairDataE at Base 0.8
+ _ZTSN8polybori8groebner12PolyPairDataE at Base 0.8
+ _ZTSN8polybori8groebner14ReductionTermsE at Base 0.8
+ _ZTSN8polybori8groebner15PolyEntryVectorE at Base 0.8
+ _ZTSN8polybori8groebner16ReductionOptionsE at Base 0.8
+ _ZTSN8polybori8groebner16VariablePairDataE at Base 0.8
+ _ZTSN8polybori8groebner17ReductionStrategyE at Base 0.8
+ _ZTSN8polybori8groebner32FGLMNoLinearCombinationExceptionE at Base 0.8
+ _ZTSN8polybori8groebner8PairDataE at Base 0.8
+ _ZTSN8polybori9CAuxTypesE at Base 0.8
+ _ZTVN5boost6detail15sp_counted_baseE at Base 0.8
+ _ZTVN5boost6detail17sp_counted_impl_pIN8polybori13CWrappedStackINS2_10CTermStackINS2_14CCuddNavigatorESt20forward_iterator_tagNS2_18CAbstractStackBaseIS5_EEEEEEEE at Base 0.8
+ _ZTVN5boost6detail17sp_counted_impl_pIN8polybori8groebner10IJPairDataEEE at Base 0.8
+ _ZTVN5boost6detail17sp_counted_impl_pIN8polybori8groebner12CacheManagerEEE at Base 0.8
+ _ZTVN5boost6detail17sp_counted_impl_pIN8polybori8groebner12PolyPairDataEEE at Base 0.8
+ _ZTVN5boost6detail17sp_counted_impl_pIN8polybori8groebner16VariablePairDataEEE at Base 0.8
+ _ZTVN5boost6detail17sp_counted_impl_pISt6vectorIN8polybori15BoolePolynomialESaIS4_EEEE at Base 0.8
+ _ZTVN8polybori10CTermStackINS_14CCuddNavigatorESt20forward_iterator_tagNS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTVN8polybori13COrderingBaseE at Base 0.8
+ _ZTVN8polybori13CWrappedStackINS_10CTermStackINS_14CCuddNavigatorESt20forward_iterator_tagNS_18CAbstractStackBaseIS2_EEEEEE at Base 0.8
+ _ZTVN8polybori14CTermStackBaseINS_14CCuddNavigatorENS_18CAbstractStackBaseIS1_EEEE at Base 0.8
+ _ZTVN8polybori15COrderingFacadeINS_8LexOrderENS_7lex_tagEEE at Base 0.8
+ _ZTVN8polybori17PBoRiGenericErrorILj9EEE at Base 0.8
+ _ZTVN8polybori18CAbstractStackBaseINS_14CCuddNavigatorEEE at Base 0.8
+ _ZTVN8polybori8groebner10IJPairDataE at Base 0.8
+ _ZTVN8polybori8groebner12PolyPairDataE at Base 0.8
+ _ZTVN8polybori8groebner15PolyEntryVectorE at Base 0.8
+ _ZTVN8polybori8groebner16VariablePairDataE at Base 0.8
+ _ZTVN8polybori8groebner17ReductionStrategyE at Base 0.8
+ _ZTVN8polybori8groebner32FGLMNoLinearCombinationExceptionE at Base 0.8
+ _ZTVN8polybori8groebner8PairDataE at Base 0.8
+ _ZZN8polybori8groebner11linalg_stepERSt6vectorINS_15BoolePolynomialESaIS2_EENS_8BooleSetES6_bbPKcE5round at Base 0.8
+ _ZZN8polybori8groebner20linalg_step_modifiedERSt6vectorINS_15BoolePolynomialESaIS2_EENS_8BooleSetES6_bbPKcE5round at Base 0.8
+ _mzd_add at Base 0.8
+ _mzd_addmul at Base 0.8
+ _mzd_addmul_even at Base 0.8
+ _mzd_addmul_even_orig at Base 0.8
+ _mzd_addmul_even_weird at Base 0.8
+ _mzd_addmul_weird_even at Base 0.8
+ _mzd_addmul_weird_weird at Base 0.8
+ _mzd_addsqr_even at Base 0.8
+ _mzd_apply_p_right at Base 0.8
+ _mzd_apply_p_right_even at Base 0.8
+ _mzd_apply_p_right_trans at Base 0.8
+ _mzd_compress_l at Base 0.8
+ _mzd_density at Base 0.8
+ _mzd_echelonize_m4ri at Base 0.8
+ _mzd_mul_even at Base 0.8
+ _mzd_mul_even_orig at Base 0.8
+ _mzd_mul_m4rm at Base 0.8
+ _mzd_mul_naive at Base 0.8
+ _mzd_mul_va at Base 0.8
+ _mzd_pls at Base 0.8
+ _mzd_pls_a10 at Base 0.8
+ _mzd_pls_a11_1 at Base 0.8
+ _mzd_pls_a11_2 at Base 0.8
+ _mzd_pls_a11_3 at Base 0.8
+ _mzd_pls_a11_4 at Base 0.8
+ _mzd_pls_mmpf at Base 0.8
+ _mzd_pls_naive at Base 0.8
+ _mzd_pls_submatrix at Base 0.8
+ _mzd_pls_to_u at Base 0.8
+ _mzd_pluq at Base 0.8
+ _mzd_pluq_mmpf at Base 0.8
+ _mzd_pluq_naive at Base 0.8
+ _mzd_sqr_even at Base 0.8
+ _mzd_top_echelonize_m4ri at Base 0.8
+ _mzd_transpose at Base 0.8
+ _mzd_transpose_multiblock at Base 0.8
+ _mzd_trsm_lower_left at Base 0.8
+ _mzd_trsm_lower_left_even at Base 0.8
+ _mzd_trsm_lower_left_weird at Base 0.8
+ _mzd_trsm_lower_right at Base 0.8
+ _mzd_trsm_lower_right_base at Base 0.8
+ _mzd_trsm_lower_right_even at Base 0.8
+ _mzd_trsm_lower_right_weird at Base 0.8
+ _mzd_trsm_upper_left at Base 0.8
+ _mzd_trsm_upper_left_even at Base 0.8
+ _mzd_trsm_upper_left_even_m4r at Base 0.8
+ _mzd_trsm_upper_left_even_submatrix at Base 0.8
+ _mzd_trsm_upper_left_weird at Base 0.8
+ _mzd_trsm_upper_right at Base 0.8
+ _mzd_trsm_upper_right_base at Base 0.8
+ _mzd_trsm_upper_right_even at Base 0.8
+ _mzd_trsm_upper_right_weird at Base 0.8
+ m4ri_build_all_codes at Base 0.8
+ m4ri_build_code at Base 0.8
+ m4ri_codebook at Base 0.8
+ m4ri_destroy_all_codes at Base 0.8
+ m4ri_die at Base 0.8
+ m4ri_fini at Base 0.8
+ m4ri_gray_code at Base 0.8
+ m4ri_init at Base 0.8
+ m4ri_mmc_cache at Base 0.8
+ m4ri_mmc_cleanup at Base 0.8
+ m4ri_mmc_free at Base 0.8
+ m4ri_mmc_malloc at Base 0.8
+ m4ri_opt_k at Base 0.8
+ m4ri_random_word at Base 0.8
+ m4ri_word_to_str at Base 0.8
+ mzd_add at Base 0.8
+ mzd_addmul at Base 0.8
+ mzd_addmul_m4rm at Base 0.8
+ mzd_addmul_naive at Base 0.8
+ mzd_apply_p_left at Base 0.8
+ mzd_apply_p_left_trans at Base 0.8
+ mzd_apply_p_right at Base 0.8
+ mzd_apply_p_right_even_capped at Base 0.8
+ mzd_apply_p_right_trans at Base 0.8
+ mzd_apply_p_right_trans_even_capped at Base 0.8
+ mzd_apply_p_right_trans_tri at Base 0.8
+ mzd_cmp at Base 0.8
+ mzd_col_swap at Base 0.8
+ mzd_combine at Base 0.8
+ mzd_concat at Base 0.8
+ mzd_copy at Base 0.8
+ mzd_copy_row at Base 0.8
+ mzd_copy_row_weird_to_even at Base 0.8
+ mzd_density at Base 0.8
+ mzd_echelonize at Base 0.8
+ mzd_echelonize_m4ri at Base 0.8
+ mzd_echelonize_naive at Base 0.8
+ mzd_echelonize_pluq at Base 0.8
+ mzd_equal at Base 0.8
+ mzd_find_pivot at Base 0.8
+ mzd_first_zero_row at Base 0.8
+ mzd_free at Base 0.8
+ mzd_gauss_delayed at Base 0.8
+ mzd_init at Base 0.8
+ mzd_init_window at Base 0.8
+ mzd_invert_m4ri at Base 0.8
+ mzd_invert_naive at Base 0.8
+ mzd_is_zero at Base 0.8
+ mzd_make_table at Base 0.8
+ mzd_make_table_pls at Base 0.8
+ mzd_mul at Base 0.8
+ mzd_mul_m4rm at Base 0.8
+ mzd_mul_naive at Base 0.8
+ mzd_pls at Base 0.8
+ mzd_pluq at Base 0.8
+ mzd_process_rows2 at Base 0.8
+ mzd_process_rows2_pls at Base 0.8
+ mzd_process_rows3 at Base 0.8
+ mzd_process_rows3_pls at Base 0.8
+ mzd_process_rows4 at Base 0.8
+ mzd_process_rows4_pls at Base 0.8
+ mzd_process_rows5 at Base 0.8
+ mzd_process_rows6 at Base 0.8
+ mzd_process_rows at Base 0.8
+ mzd_randomize at Base 0.8
+ mzd_row_add at Base 0.8
+ mzd_row_clear_offset at Base 0.8
+ mzd_set_ui at Base 0.8
+ mzd_stack at Base 0.8
+ mzd_submatrix at Base 0.8
+ mzd_top_echelonize_m4ri at Base 0.8
+ mzd_transpose at Base 0.8
+ mzd_trsm_lower_left at Base 0.8
+ mzd_trsm_lower_right at Base 0.8
+ mzd_trsm_upper_left at Base 0.8
+ mzd_trsm_upper_right at Base 0.8
+ mzp_free at Base 0.8
+ mzp_free_window at Base 0.8
+ mzp_init at Base 0.8
+ mzp_init_window at Base 0.8
+ mzp_print at Base 0.8
+ mzp_set_ui at Base 0.8

-- 
polybori: Polynomials over Boolean Rings



More information about the debian-science-commits mailing list