data/brial-1.2.10/cudd/RELEASE.NOTES:22: gruops ==> groups data/brial-1.2.10/cudd/cudd.h:140: synonim ==> synonym data/brial-1.2.10/cudd/cudd.h:160: Stucture ==> Structure data/brial-1.2.10/cudd/cuddAPI.c:224: Stucture ==> Structure data/brial-1.2.10/cudd/cuddAPI.c:1677: existance ==> existence data/brial-1.2.10/cudd/cuddAPI.c:1697: existance ==> existence data/brial-1.2.10/cudd/cuddAPI.c:2315: paramter ==> parameter data/brial-1.2.10/cudd/cuddAPI.c:2340: paramter ==> parameter data/brial-1.2.10/cudd/cuddAddAbs.c:71: Stucture ==> Structure data/brial-1.2.10/cudd/cuddAddAbs.c:369: constatnts ==> constants data/brial-1.2.10/cudd/cuddAddApply.c:81: Stucture ==> Structure data/brial-1.2.10/cudd/cuddAddApply.c:814: gord ==> gourd data/brial-1.2.10/cudd/cuddAddApply.c:832: gord ==> gourd data/brial-1.2.10/cudd/cuddAddApply.c:833: gord ==> gourd data/brial-1.2.10/cudd/cuddAddApply.c:841: gord ==> gourd data/brial-1.2.10/cudd/cuddAddFind.c:66: Stucture ==> Structure data/brial-1.2.10/cudd/cuddAddInv.c:64: Stucture ==> Structure data/brial-1.2.10/cudd/cuddAddIte.c:72: Stucture ==> Structure data/brial-1.2.10/cudd/cuddAddNeg.c:66: Stucture ==> Structure data/brial-1.2.10/cudd/cuddAddWalsh.c:66: Stucture ==> Structure data/brial-1.2.10/cudd/cuddAddWalsh.c:141: whther ==> whether data/brial-1.2.10/cudd/cuddAndAbs.c:65: Stucture ==> Structure data/brial-1.2.10/cudd/cuddAnneal.c:81: Stucture ==> Structure data/brial-1.2.10/cudd/cuddAnneal.c:346: funcion ==> function data/brial-1.2.10/cudd/cuddAnneal.c:495: funcion ==> function data/brial-1.2.10/cudd/cuddApa.c:81: Stucture ==> Structure data/brial-1.2.10/cudd/cuddApa.c:787: signficant ==> significant data/brial-1.2.10/cudd/cuddApa.c:939: refernce ==> reference data/brial-1.2.10/cudd/cuddApprox.c:103: Stucture ==> Structure data/brial-1.2.10/cudd/cuddApprox.c:986: striclty ==> strictly data/brial-1.2.10/cudd/cuddApprox.c:1540: TE ==> THE, BE, WE data/brial-1.2.10/cudd/cuddApprox.c:1542: TE ==> THE, BE, WE data/brial-1.2.10/cudd/cuddApprox.c:1543: TE ==> THE, BE, WE data/brial-1.2.10/cudd/cuddApprox.c:1845: TE ==> THE, BE, WE data/brial-1.2.10/cudd/cuddApprox.c:1847: TE ==> THE, BE, WE data/brial-1.2.10/cudd/cuddApprox.c:1848: TE ==> THE, BE, WE data/brial-1.2.10/cudd/cuddBddAbs.c:76: Stucture ==> Structure data/brial-1.2.10/cudd/cuddBddCorr.c:70: Stucture ==> Structure data/brial-1.2.10/cudd/cuddBddIte.c:88: Stucture ==> Structure data/brial-1.2.10/cudd/cuddBridge.c:83: Stucture ==> Structure data/brial-1.2.10/cudd/cuddCache.c:82: Stucture ==> Structure data/brial-1.2.10/cudd/cuddCheck.c:73: Stucture ==> Structure data/brial-1.2.10/cudd/cuddClip.c:73: Stucture ==> Structure data/brial-1.2.10/cudd/cuddCof.c:68: Stucture ==> Structure data/brial-1.2.10/cudd/cuddCompose.c:94: Stucture ==> Structure data/brial-1.2.10/cudd/cuddCompose.c:1503: varibles ==> variables data/brial-1.2.10/cudd/cuddDecomp.c:83: Stucture ==> Structure data/brial-1.2.10/cudd/cuddDecomp.c:473: tht ==> the, that data/brial-1.2.10/cudd/cuddDecomp.c:1465: Seprate ==> Separate data/brial-1.2.10/cudd/cuddDecomp.c:1499: Seprate ==> Separate data/brial-1.2.10/cudd/cuddDecomp.c:1672: Occurence ==> Occurrence data/brial-1.2.10/cudd/cuddDecomp.c:1673: occurence ==> occurrence data/brial-1.2.10/cudd/cuddDecomp.c:1673: occurence ==> occurrence data/brial-1.2.10/cudd/cuddEssent.c:91: Stucture ==> Structure data/brial-1.2.10/cudd/cuddExact.c:79: Stucture ==> Structure data/brial-1.2.10/cudd/cuddExact.c:955: informaton ==> information data/brial-1.2.10/cudd/cuddExport.c:73: Stucture ==> Structure data/brial-1.2.10/cudd/cuddGenCof.c:99: Stucture ==> Structure data/brial-1.2.10/cudd/cuddGenCof.c:1971: ue ==> use, due data/brial-1.2.10/cudd/cuddGenCof.c:2017: ue ==> use, due data/brial-1.2.10/cudd/cuddGenCof.c:2020: ue ==> use, due data/brial-1.2.10/cudd/cuddGenCof.c:2035: ue ==> use, due data/brial-1.2.10/cudd/cuddGenCof.c:2036: ue ==> use, due data/brial-1.2.10/cudd/cuddGenCof.c:2041: ue ==> use, due data/brial-1.2.10/cudd/cuddGenCof.c:2041: ue ==> use, due data/brial-1.2.10/cudd/cuddGenCof.c:2047: ue ==> use, due data/brial-1.2.10/cudd/cuddGenCof.c:2047: ue ==> use, due data/brial-1.2.10/cudd/cuddGenCof.c:2069: ue ==> use, due data/brial-1.2.10/cudd/cuddGenCof.c:2071: ue ==> use, due data/brial-1.2.10/cudd/cuddGenCof.c:2100: ue ==> use, due data/brial-1.2.10/cudd/cuddGenCof.c:2102: ue ==> use, due data/brial-1.2.10/cudd/cuddGenCof.c:2132: ue ==> use, due data/brial-1.2.10/cudd/cuddGenetic.c:91: Stucture ==> Structure data/brial-1.2.10/cudd/cuddGenetic.c:853: whithin ==> within data/brial-1.2.10/cudd/cuddGroup.c:96: Stucture ==> Structure data/brial-1.2.10/cudd/cuddHarwell.c:60: Stucture ==> Structure data/brial-1.2.10/cudd/cuddInit.c:77: Stucture ==> Structure data/brial-1.2.10/cudd/cuddInt.h:225: Stucture ==> Structure data/brial-1.2.10/cudd/cuddInteract.c:94: Stucture ==> Structure data/brial-1.2.10/cudd/cuddLCache.c:92: Stucture ==> Structure data/brial-1.2.10/cudd/cuddLevelQ.c:89: Stucture ==> Structure data/brial-1.2.10/cudd/cuddLevelQ.c:294: preceeding ==> preceding, proceeding data/brial-1.2.10/cudd/cuddLinear.c:83: Stucture ==> Structure data/brial-1.2.10/cudd/cuddLinear.c:353: corrresponding ==> corresponding data/brial-1.2.10/cudd/cuddLinear.c:1312: Unforseen ==> Unforeseen data/brial-1.2.10/cudd/cuddLiteral.c:64: Stucture ==> Structure data/brial-1.2.10/cudd/cuddMatMult.c:69: Stucture ==> Structure data/brial-1.2.10/cudd/cuddPriority.c:87: Stucture ==> Structure data/brial-1.2.10/cudd/cuddPriority.c:1575: succesful ==> successful data/brial-1.2.10/cudd/cuddPriority.c:1729: te ==> the, be, we data/brial-1.2.10/cudd/cuddPriority.c:1730: te ==> the, be, we data/brial-1.2.10/cudd/cuddPriority.c:1735: te ==> the, be, we data/brial-1.2.10/cudd/cuddPriority.c:1736: te ==> the, be, we data/brial-1.2.10/cudd/cuddPriority.c:1740: te ==> the, be, we data/brial-1.2.10/cudd/cuddPriority.c:1744: te ==> the, be, we data/brial-1.2.10/cudd/cuddRead.c:63: Stucture ==> Structure data/brial-1.2.10/cudd/cuddRef.c:81: Stucture ==> Structure data/brial-1.2.10/cudd/cuddReorder.c:86: Stucture ==> Structure data/brial-1.2.10/cudd/cuddSat.c:85: Stucture ==> Structure data/brial-1.2.10/cudd/cuddSat.c:930: succesful ==> successful data/brial-1.2.10/cudd/cuddSat.c:1082: lenghts ==> lengths data/brial-1.2.10/cudd/cuddSat.c:1271: lenghts ==> lengths data/brial-1.2.10/cudd/cuddSign.c:65: Stucture ==> Structure data/brial-1.2.10/cudd/cuddSubsetHB.c:89: Stucture ==> Structure data/brial-1.2.10/cudd/cuddSubsetHB.c:291: dyanmic ==> dynamic data/brial-1.2.10/cudd/cuddSubsetHB.c:1205: couldnt ==> couldn't data/brial-1.2.10/cudd/cuddSubsetHB.c:1222: couldnt ==> couldn't data/brial-1.2.10/cudd/cuddSubsetSP.c:88: Stucture ==> Structure data/brial-1.2.10/cudd/cuddSubsetSP.c:619: recusion ==> recursion, reclusion data/brial-1.2.10/cudd/cuddSubsetSP.c:1109: didnt ==> didn't data/brial-1.2.10/cudd/cuddSubsetSP.c:1128: cant ==> can't data/brial-1.2.10/cudd/cuddSubsetSP.c:1160: iself ==> itself data/brial-1.2.10/cudd/cuddSubsetSP.c:1290: te ==> the, be, we data/brial-1.2.10/cudd/cuddSubsetSP.c:1520: hasnt ==> hasn't data/brial-1.2.10/cudd/cuddSubsetSP.c:1525: incase ==> in case data/brial-1.2.10/cudd/cuddSubsetSP.c:1599: teh ==> the data/brial-1.2.10/cudd/cuddSubsetSP.c:1632: te ==> the, be, we data/brial-1.2.10/cudd/cuddSymmetry.c:78: Stucture ==> Structure data/brial-1.2.10/cudd/cuddTable.c:106: Stucture ==> Structure data/brial-1.2.10/cudd/cuddTable.c:2975: implemen ==> implement data/brial-1.2.10/cudd/cuddUtil.c:133: Stucture ==> Structure data/brial-1.2.10/cudd/cuddUtil.c:1090: whther ==> whether data/brial-1.2.10/cudd/cuddWindow.c:70: Stucture ==> Structure data/brial-1.2.10/cudd/cuddZddCount.c:73: Stucture ==> Structure data/brial-1.2.10/cudd/cuddZddFuncs.c:91: Stucture ==> Structure data/brial-1.2.10/cudd/cuddZddFuncs.c:1352: wit ==> with data/brial-1.2.10/cudd/cuddZddGroup.c:78: Stucture ==> Structure data/brial-1.2.10/cudd/cuddZddIsop.c:73: Stucture ==> Structure data/brial-1.2.10/cudd/cuddZddLin.c:74: Stucture ==> Structure data/brial-1.2.10/cudd/cuddZddLin.c:949: Unforseen ==> Unforeseen data/brial-1.2.10/cudd/cuddZddMisc.c:72: Stucture ==> Structure data/brial-1.2.10/cudd/cuddZddPort.c:71: Stucture ==> Structure data/brial-1.2.10/cudd/cuddZddReord.c:87: Stucture ==> Structure data/brial-1.2.10/cudd/cuddZddSetop.c:89: Stucture ==> Structure data/brial-1.2.10/cudd/cuddZddSymm.c:80: Stucture ==> Structure data/brial-1.2.10/cudd/cuddZddUtil.c:81: Stucture ==> Structure data/brial-1.2.10/cudd/testcudd.c:674: tread ==> thread, treat data/brial-1.2.10/cudd/testcudd.c:700: tread ==> thread, treat data/brial-1.2.10/groebner/include/polybori/groebner/BlockOrderHelper.h:32: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/BlockOrderHelper.h:33: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/BlockOrderHelper.h:41: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/BlockOrderHelper.h:42: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/BlockOrderHelper.h:47: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/ChainCriterion.h:32: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/ChainCriterion.h:34: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/ChainCriterion.h:35: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/ChainCriterion.h:35: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/ChainVariableCriterion.h:32: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/ChainVariableCriterion.h:35: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/ChainVariableCriterion.h:36: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/ChainVariableCriterion.h:36: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/CountCriterion.h:33: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/CountCriterion.h:35: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/CountCriterion.h:36: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/CountCriterion.h:36: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/CountCriterion.h:40: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/CountCriterion.h:41: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/DegOrderHelper.h:32: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/DegOrderHelper.h:33: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/DegOrderHelper.h:41: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/DegOrderHelper.h:42: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/DegOrderHelper.h:47: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/FGLMStrategy.h:26: forbitten ==> forbidden data/brial-1.2.10/groebner/include/polybori/groebner/FGLMStrategy.h:30: forbitten ==> forbidden data/brial-1.2.10/groebner/include/polybori/groebner/GetNthPoly.h:34: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/GetNthPoly.h:34: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/HasTRepOrExtendedProductCriterion.h:44: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/HasTRepOrExtendedProductCriterion.h:46: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/HasTRepOrExtendedProductCriterion.h:47: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/HasTRepOrExtendedProductCriterion.h:47: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/HasTRepOrExtendedProductCriterion.h:56: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/HasTRepOrExtendedProductCriterion.h:56: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/HasTRepOrExtendedProductCriterion.h:70: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/HasTRepOrExtendedProductCriterion.h:70: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/IsEcart0Predicate.h:31: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/IsEcart0Predicate.h:32: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/IsEcart0Predicate.h:32: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/IsEcart0Predicate.h:35: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/IsEcart0Predicate.h:40: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LessCombinedManySizesInStrat.h:30: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LessCombinedManySizesInStrat.h:31: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LessCombinedManySizesInStrat.h:32: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LessCombinedManySizesInStrat.h:32: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LessEcartThenLessWeightedLengthInStrat.h:30: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LessEcartThenLessWeightedLengthInStrat.h:31: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LessEcartThenLessWeightedLengthInStrat.h:32: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LessEcartThenLessWeightedLengthInStrat.h:32: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LessUsedTailVariablesThenLessWeightedLengthInStrat.h:30: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LessUsedTailVariablesThenLessWeightedLengthInStrat.h:31: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LessUsedTailVariablesThenLessWeightedLengthInStrat.h:32: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LessUsedTailVariablesThenLessWeightedLengthInStrat.h:32: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LessWeightedLengthInStrat.h:31: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LessWeightedLengthInStrat.h:32: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LessWeightedLengthInStrat.h:33: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LessWeightedLengthInStrat.h:33: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LessWeightedLengthInStrat.h:36: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LessWeightedLengthInStrat.h:36: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LessWeightedLengthInStrat.h:40: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LessWeightedLengthInStrat.h:40: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LessWeightedLengthInStratModified.h:42: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LessWeightedLengthInStratModified.h:43: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LessWeightedLengthInStratModified.h:44: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LessWeightedLengthInStratModified.h:44: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LessWeightedLengthInStratModified.h:47: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LessWeightedLengthInStratModified.h:48: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LessWeightedLengthInStratModified.h:54: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LessWeightedLengthInStratModified.h:55: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LexHelper.h:33: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LexHelper.h:34: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LexHelper.h:34: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LexHelper.h:36: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LexHelper.h:40: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LexHelper.h:51: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LexHelper.h:52: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LexHelper.h:53: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LexHelper.h:53: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LexHelper.h:54: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LexHelper.h:59: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/LexHelper.h:60: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/PairManager.h:69: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/PairManager.h:70: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/PairManagerFacade.h:37: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/PairManagerFacade.h:38: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/PolyEntryIndices.h:72: Savely ==> Safely data/brial-1.2.10/groebner/include/polybori/groebner/PseudoLongProduct.h:50: savely ==> safely data/brial-1.2.10/groebner/include/polybori/groebner/PseudoLongProduct.h:55: savely ==> safely data/brial-1.2.10/groebner/include/polybori/groebner/PseudoLongProduct.h:61: savely ==> safely data/brial-1.2.10/groebner/include/polybori/groebner/RedTailNth.h:37: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/RedTailNth.h:37: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/ReductionStrategy.h:104: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/ReductionStrategy.h:106: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/ReductionStrategy.h:107: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/SetAssociatedMinimal.h:34: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/SetAssociatedMinimal.h:34: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/ShorterEliminationLength.h:31: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/ShorterEliminationLength.h:33: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/ShorterEliminationLength.h:35: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/ShorterEliminationLength.h:35: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/ShorterEliminationLengthModified.h:31: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/ShorterEliminationLengthModified.h:34: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/ShorterEliminationLengthModified.h:36: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/ShorterEliminationLengthModified.h:36: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/SlimgbReduction.h:38: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/SlimgbReduction.h:43: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/SlimgbReduction.h:44: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/SlimgbReduction.h:44: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/SlimgbReduction.h:103: simly ==> simply, simile, smiley data/brial-1.2.10/groebner/include/polybori/groebner/draw_matrix.h:39: drawed ==> drew, drawn, had drawn data/brial-1.2.10/groebner/include/polybori/groebner/groebner_alg.h:45: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/groebner_alg.h:56: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/linear_algebra_step.h:42: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/linear_algebra_step.h:43: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/linear_algebra_step.h:47: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/linear_algebra_step.h:49: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/linear_algebra_step.h:59: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/linear_algebra_step.h:71: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/linear_algebra_step.h:73: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/linear_algebra_step.h:74: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/linear_algebra_step.h:76: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/linear_algebra_step.h:77: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/linear_algebra_step.h:85: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/linear_algebra_step.h:88: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/linear_algebra_step.h:89: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/linear_algebra_step.h:91: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/linear_algebra_step.h:92: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/linear_algebra_step.h:102: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/linear_algebra_step.h:108: dependend ==> dependent, depended data/brial-1.2.10/groebner/include/polybori/groebner/linear_algebra_step.h:177: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/linear_algebra_step.h:543: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/minimal_elements.h:165: smalles ==> smallest data/brial-1.2.10/groebner/include/polybori/groebner/nf.h:32: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/nf.h:36: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/nf.h:38: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/nf.h:39: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/nf.h:44: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/nf.h:46: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/nf.h:47: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/nf.h:48: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/nf.h:49: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/red_tail.h:29: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/red_tail.h:52: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/red_tail.h:83: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/red_tail.h:85: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/red_tail.h:97: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/red_tail.h:114: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/red_tail.h:129: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/red_tail.h:130: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/red_tail.h:140: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/red_tail.h:141: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/red_tail.h:173: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/red_tail.h:184: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/red_tail.h:188: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/red_tail.h:190: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/red_tail.h:192: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/red_tail.h:193: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/red_tail.h:197: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/red_tail.h:203: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/red_tail.h:209: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/red_tail.h:218: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/red_tail.h:222: strat ==> start, strata data/brial-1.2.10/groebner/include/polybori/groebner/red_tail.h:223: strat ==> start, strata data/brial-1.2.10/groebner/src/FGLMStrategy.cc:470: independend ==> independent data/brial-1.2.10/groebner/src/FGLMStrategy.cc:599: oder ==> order, odor data/brial-1.2.10/groebner/src/GroebnerStrategy.cc:57: strat ==> start, strata data/brial-1.2.10/groebner/src/GroebnerStrategy.cc:59: strat ==> start, strata data/brial-1.2.10/groebner/src/GroebnerStrategy.cc:60: strat ==> start, strata data/brial-1.2.10/groebner/src/GroebnerStrategy.cc:61: strat ==> start, strata data/brial-1.2.10/groebner/src/GroebnerStrategy.cc:62: strat ==> start, strata data/brial-1.2.10/groebner/src/GroebnerStrategy.cc:63: strat ==> start, strata data/brial-1.2.10/groebner/src/GroebnerStrategy.cc:63: strat ==> start, strata data/brial-1.2.10/groebner/src/GroebnerStrategy.cc:63: strat ==> start, strata data/brial-1.2.10/groebner/src/GroebnerStrategy.cc:65: strat ==> start, strata data/brial-1.2.10/groebner/src/GroebnerStrategy.cc:66: strat ==> start, strata data/brial-1.2.10/groebner/src/GroebnerStrategy.cc:67: strat ==> start, strata data/brial-1.2.10/groebner/src/GroebnerStrategy.cc:89: strat ==> start, strata data/brial-1.2.10/groebner/src/GroebnerStrategy.cc:757: dependend ==> dependent, depended data/brial-1.2.10/groebner/src/groebner_alg.cc:145: fullfilled ==> fulfilled data/brial-1.2.10/groebner/src/groebner_alg.cc:305: occurr ==> occur data/brial-1.2.10/groebner/src/groebner_alg.cc:351: firt ==> first, flirt data/brial-1.2.10/groebner/src/groebner_alg.cc:462: strat ==> start, strata data/brial-1.2.10/groebner/src/groebner_alg.cc:463: strat ==> start, strata data/brial-1.2.10/groebner/src/groebner_alg.cc:464: strat ==> start, strata data/brial-1.2.10/groebner/src/groebner_alg.cc:465: strat ==> start, strata data/brial-1.2.10/groebner/src/groebner_alg.cc:466: strat ==> start, strata data/brial-1.2.10/groebner/src/groebner_alg.cc:467: strat ==> start, strata data/brial-1.2.10/groebner/src/groebner_alg.cc:468: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:48: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:50: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:54: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:57: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:64: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:66: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:67: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:69: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:71: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:71: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:72: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:72: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:72: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:72: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:73: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:75: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:91: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:95: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:96: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:98: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:100: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:100: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:101: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:101: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:101: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:101: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:102: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:105: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:109: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:114: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:125: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:127: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:128: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:130: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:132: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:132: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:133: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:133: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:134: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:134: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:135: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:137: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:151: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:156: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:157: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:159: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:161: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:161: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:162: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:162: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:163: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:163: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:164: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:173: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:174: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:192: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:194: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:195: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:196: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:198: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:198: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:199: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:199: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:199: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:201: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:211: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:216: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:217: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:228: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:231: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:232: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:241: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:242: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:245: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:246: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:247: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:252: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:253: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:256: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:257: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:258: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:260: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:262: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:262: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:263: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:264: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:264: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:265: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:266: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:266: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:270: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:275: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:276: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:287: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:287: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:288: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:289: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:291: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:294: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:295: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:309: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:315: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:315: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:319: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:319: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:320: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:320: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:321: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:321: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:322: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:325: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:326: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:327: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:334: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:344: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:344: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:346: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:347: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:348: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:348: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:349: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:352: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:360: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:361: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:362: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:368: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:377: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:378: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:383: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:383: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:395: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:414: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:417: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:418: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:419: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:423: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:424: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:429: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:437: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:437: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:438: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:441: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:442: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:443: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:444: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:448: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:449: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:449: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:449: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:452: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:457: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:520: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:552: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:555: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:557: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:565: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:600: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:604: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:611: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:629: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:632: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:633: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:634: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:636: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:638: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:641: simly ==> simply, simile, smiley data/brial-1.2.10/groebner/src/nf.cc:646: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:660: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:669: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:671: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:676: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:677: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:681: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:683: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:695: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:719: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:720: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:724: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:725: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:732: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:733: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:736: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:738: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:740: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:747: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:753: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:755: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:756: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:757: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:759: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:759: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:759: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:761: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:829: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:834: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:836: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:837: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:839: strat ==> start, strata data/brial-1.2.10/groebner/src/nf.cc:841: strat ==> start, strata data/brial-1.2.10/libbrial/include/polybori/BlockDegLexOrder.h:40: comparision ==> comparison data/brial-1.2.10/libbrial/include/polybori/BlockDegRevLexAscOrder.h:40: comparision ==> comparison data/brial-1.2.10/libbrial/include/polybori/BooleEnv.h:8: strucutres ==> structures data/brial-1.2.10/libbrial/include/polybori/BooleEnv.h:79: Explicitely ==> Explicitly data/brial-1.2.10/libbrial/include/polybori/BooleEnv.h:128: implicitely ==> implicitly data/brial-1.2.10/libbrial/include/polybori/BooleExponent.h:142: compoents ==> components data/brial-1.2.10/libbrial/include/polybori/BooleMonomial.h:194: comparision ==> comparison data/brial-1.2.10/libbrial/include/polybori/BooleMonomial.h:212: diagramm ==> diagram data/brial-1.2.10/libbrial/include/polybori/BooleMonomial.h:238: diagramm ==> diagram data/brial-1.2.10/libbrial/include/polybori/BooleMonomial.h:284: comparision ==> comparison data/brial-1.2.10/libbrial/include/polybori/BooleMonomial.h:291: comparision ==> comparison data/brial-1.2.10/libbrial/include/polybori/BooleMonomial.h:298: comparision ==> comparison data/brial-1.2.10/libbrial/include/polybori/BooleMonomial.h:305: comparision ==> comparison data/brial-1.2.10/libbrial/include/polybori/BoolePolyRing.h:91: Explicitely ==> Explicitly data/brial-1.2.10/libbrial/include/polybori/BoolePolyRing.h:161: similiar ==> similar data/brial-1.2.10/libbrial/include/polybori/BoolePolynomial.h:460: diagramm ==> diagram data/brial-1.2.10/libbrial/include/polybori/BoolePolynomial.h:480: comparision ==> comparison data/brial-1.2.10/libbrial/include/polybori/BoolePolynomial.h:487: diagramm ==> diagram data/brial-1.2.10/libbrial/include/polybori/BoolePolynomial.h:497: diagramm ==> diagram data/brial-1.2.10/libbrial/include/polybori/DegLexOrder.h:41: comparision ==> comparison data/brial-1.2.10/libbrial/include/polybori/DegRevLexAscOrder.h:40: comparision ==> comparison data/brial-1.2.10/libbrial/include/polybori/LexOrder.h:41: comparision ==> comparison data/brial-1.2.10/libbrial/include/polybori/pbori_defs.h:194: Comparision ==> Comparison data/brial-1.2.10/libbrial/include/polybori/cache/CCacheManagement.h:215: funtions ==> functions data/brial-1.2.10/libbrial/include/polybori/cache/CDegreeCache.h:29: upto ==> up to data/brial-1.2.10/libbrial/include/polybori/common/tags.h:8: Decribes ==> Describes data/brial-1.2.10/libbrial/include/polybori/diagram/CApplyNodeFacade.h:9: wher ==> where data/brial-1.2.10/libbrial/include/polybori/diagram/CApplyNodeFacade.h:30: wrapp ==> wrap data/brial-1.2.10/libbrial/include/polybori/diagram/CApplyNodeFacade.h:36: intented ==> intended, indented data/brial-1.2.10/libbrial/include/polybori/diagram/CApplyNodeFacade.h:116: inteded ==> intended data/brial-1.2.10/libbrial/include/polybori/diagram/CCuddDDFacade.h:135: throught ==> thought, through, throughout data/brial-1.2.10/libbrial/include/polybori/diagram/CCuddDDFacade.h:228: Appriximate ==> Approximate data/brial-1.2.10/libbrial/include/polybori/diagram/CCuddDDFacade.h:231: curent ==> current data/brial-1.2.10/libbrial/include/polybori/diagram/CCuddDDFacade.h:430: decison ==> decision data/brial-1.2.10/libbrial/include/polybori/diagram/CCuddDDFacade.h:444: decison ==> decision data/brial-1.2.10/libbrial/include/polybori/factories/VariableFactory.h:72: explit ==> explicit data/brial-1.2.10/libbrial/include/polybori/iterators/CBidirectTermIter.h:89: banches ==> branches, benches data/brial-1.2.10/libbrial/include/polybori/iterators/CCuddFirstIter.h:24: interator ==> iterator data/brial-1.2.10/libbrial/include/polybori/iterators/CCuddNavigator.h:133: comparision ==> comparison data/brial-1.2.10/libbrial/include/polybori/iterators/CTermIter.h:28: interator ==> iterator data/brial-1.2.10/libbrial/include/polybori/iterators/CTermIter.h:75: explicite ==> explicit, explicitly data/brial-1.2.10/libbrial/include/polybori/orderings/CBlockOrderingFacade.h:5: Ket ==> Kept data/brial-1.2.10/libbrial/include/polybori/orderings/COrderingBase.h:110: pertubation ==> perturbation data/brial-1.2.10/libbrial/include/polybori/orderings/COrderingFacade.h:57: definiton ==> definition data/brial-1.2.10/libbrial/include/polybori/orderings/COrderingFacade.h:63: diagramm ==> diagram data/brial-1.2.10/libbrial/include/polybori/orderings/COrderingFacade.h:67: diagramm ==> diagram data/brial-1.2.10/libbrial/include/polybori/orderings/COrderingFacade.h:94: pertubation ==> perturbation data/brial-1.2.10/libbrial/include/polybori/orderings/COrderingTags.h:30: tempalte ==> template data/brial-1.2.10/libbrial/include/polybori/orderings/order_tags.h:8: Decribes ==> Describes data/brial-1.2.10/libbrial/include/polybori/ring/CCuddCore.h:44: refernce ==> reference data/brial-1.2.10/libbrial/include/polybori/ring/CCuddCore.h:47: intented ==> intended, indented data/brial-1.2.10/libbrial/include/polybori/ring/CCuddInterface.h:134: intented ==> intended, indented data/brial-1.2.10/libbrial/include/polybori/ring/CCuddInterface.h:385: memeber ==> member data/brial-1.2.10/libbrial/include/polybori/ring/CCuddInterface.h:393: accesible ==> accessible data/brial-1.2.10/libbrial/include/polybori/ring/CVariableNames.h:51: outputing ==> outputting data/brial-1.2.10/libbrial/include/polybori/routines/pbori_algo.h:12: explicite ==> explicit, explicitly data/brial-1.2.10/libbrial/include/polybori/routines/pbori_algo_int.h:731: brach ==> branch data/brial-1.2.10/libbrial/include/polybori/routines/pbori_func.h:332: maximun ==> maximum data/brial-1.2.10/libbrial/include/polybori/routines/pbori_func.h:573: betweem ==> between data/brial-1.2.10/libbrial/include/polybori/routines/pbori_func.h:757: Funtional ==> Functional data/brial-1.2.10/libbrial/include/polybori/routines/pbori_routines_misc.h:21: temprarily ==> temporarily data/brial-1.2.10/libbrial/include/polybori/routines/pbori_routines_misc.h:80: Assumming ==> Assuming data/brial-1.2.10/libbrial/include/polybori/routines/pbori_routines_misc.h:206: sucessful ==> successful data/brial-1.2.10/libbrial/include/polybori/routines/pbori_routines_misc.h:209: sucessful ==> successful data/brial-1.2.10/libbrial/include/polybori/routines/pbori_routines_misc.h:265: sucessful ==> successful data/brial-1.2.10/libbrial/include/polybori/routines/pbori_routines_misc.h:317: sucessful ==> successful data/brial-1.2.10/libbrial/include/polybori/routines/pbori_routines_misc.h:321: sucessful ==> successful data/brial-1.2.10/libbrial/include/polybori/routines/pbori_routines_misc.h:327: occure ==> occur, occurred data/brial-1.2.10/libbrial/include/polybori/routines/pbori_routines_misc.h:390: sucessful ==> successful data/brial-1.2.10/libbrial/include/polybori/routines/pbori_routines_misc.h:396: occure ==> occur, occurred data/brial-1.2.10/libbrial/include/polybori/routines/pbori_routines_misc.h:663: sucessful ==> successful data/brial-1.2.10/libbrial/include/polybori/routines/pbori_routines_misc.h:667: sucessful ==> successful data/brial-1.2.10/libbrial/include/polybori/routines/pbori_routines_misc.h:681: occure ==> occur, occurred data/brial-1.2.10/libbrial/include/polybori/routines/pbori_routines_misc.h:717: sucessful ==> successful data/brial-1.2.10/libbrial/include/polybori/routines/pbori_routines_misc.h:732: occure ==> occur, occurred data/brial-1.2.10/libbrial/include/polybori/routines/pbori_routines_misc.h:893: sucessful ==> successful data/brial-1.2.10/libbrial/src/BooleMonomial.cc:113: Comparision ==> Comparison data/brial-1.2.10/libbrial/src/BoolePolynomial.cc:832: Comparision ==> Comparison data/brial-1.2.10/libbrial/src/CErrorInfo.cc:8: conver ==> convert data/brial-1.2.10/m4/ax_boost_base.m4:13: searchs ==> searches data/brial-1.2.10/m4/ax_boost_base.m4:130: ist ==> is, it, its, it's, sit, list data/brial-1.2.10/sage-brial/brial/blocks.py:164: seperate ==> separate data/brial-1.2.10/sage-brial/brial/check_claims.py:54: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/check_claims.py:57: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/check_claims.py:60: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/check_claims.py:68: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/check_claims.py:71: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/check_claims.py:73: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/check_claims.py:90: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/check_claims.py:99: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/check_claims.py:175: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/check_claims.py:177: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/check_claims.py:178: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/coding.py:37: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/coding.py:39: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/fglm.py:26: independend ==> independent data/brial-1.2.10/sage-brial/brial/gbcore.py:640: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/gbcore.py:641: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/general_boolean_polynomial.py:345: Gaus ==> Gauss, gauze data/brial-1.2.10/sage-brial/brial/nf.py:17: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:19: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:19: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:28: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:45: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:47: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:103: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:120: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:122: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:159: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:203: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:218: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:231: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:232: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:233: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:234: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:236: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:240: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:247: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:248: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:249: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:250: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:251: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:252: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:253: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:254: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:255: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:257: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:258: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:260: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:261: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:265: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:267: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:273: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:274: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:275: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:278: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:279: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:280: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:281: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:282: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:285: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:288: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:297: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:301: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:304: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:304: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:305: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:306: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:317: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:319: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:326: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:330: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:334: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:337: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:351: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:360: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:361: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:362: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:363: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:363: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:367: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:369: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:371: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:372: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:374: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:379: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:381: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:382: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:382: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:383: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:384: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:384: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:386: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:386: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:389: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:389: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:391: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:400: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:402: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:403: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:406: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:407: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:409: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:410: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:412: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:413: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:417: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:420: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:421: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:421: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:422: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:423: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:428: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:430: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:431: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:433: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:433: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:435: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:439: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:439: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:440: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:444: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:446: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:453: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:455: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:457: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:458: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:459: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:460: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:462: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:463: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:468: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:473: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:473: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:475: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:476: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:478: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:478: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:482: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:483: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:485: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:487: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:490: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:491: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:498: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:499: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:502: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:502: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:503: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:506: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:515: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:516: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:517: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:518: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:519: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:520: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:521: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:529: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:531: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:534: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:535: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:538: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:540: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:540: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:542: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:544: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:548: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:551: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:552: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:552: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:553: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:554: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:557: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:559: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:561: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:561: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:563: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:567: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:567: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:568: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:572: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:573: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:574: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:582: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:584: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:585: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:587: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:589: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:591: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:592: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:594: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:595: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:617: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:618: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:619: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:620: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:621: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:622: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:623: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:624: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:626: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:627: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:628: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:629: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:630: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:631: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:633: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:639: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:640: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:641: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:654: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:655: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:661: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/nf.py:665: strat ==> start, strata data/brial-1.2.10/sage-brial/brial/randompoly.py:36: occurrs ==> occurs data/brial-1.2.10/tests/BlockDegLexOrderTest.cc:5: Ket ==> Kept data/brial-1.2.10/tests/BlockDegRevLexAscOrderTest.cc:5: Ket ==> Kept data/brial-1.2.10/tests/BooleConstantTest.cc:5: Ket ==> Kept data/brial-1.2.10/tests/BooleEnvTest.cc:5: Ket ==> Kept data/brial-1.2.10/tests/BooleExponentTest.cc:6: Ket ==> Kept data/brial-1.2.10/tests/BooleMonomialTest.cc:5: Ket ==> Kept data/brial-1.2.10/tests/BoolePolyRingTest.cc:5: Ket ==> Kept data/brial-1.2.10/tests/BoolePolynomialTest.cc:520: sucessfull ==> successful data/brial-1.2.10/tests/BooleSetTest.cc:5: Ket ==> Kept data/brial-1.2.10/tests/BooleSetTest.cc:762: finishe ==> finished, finish data/brial-1.2.10/tests/BooleSetTest.cc:763: finishe ==> finished, finish data/brial-1.2.10/tests/BooleSetTest.cc:769: finishe ==> finished, finish data/brial-1.2.10/tests/BooleSetTest.cc:770: finishe ==> finished, finish data/brial-1.2.10/tests/BooleVariableTest.cc:5: Ket ==> Kept data/brial-1.2.10/tests/CCuddDDFacadeTest.cc:5: Ket ==> Kept data/brial-1.2.10/tests/CStringLiteralTest.cc:5: Ket ==> Kept data/brial-1.2.10/tests/DegLexOrderTest.cc:5: Ket ==> Kept data/brial-1.2.10/tests/DegRevLexAscOrderTest.cc:5: Ket ==> Kept data/brial-1.2.10/tests/FGLMStrategyTest.cc:67: strat ==> start, strata data/brial-1.2.10/tests/FGLMStrategyTest.cc:69: strat ==> start, strata data/brial-1.2.10/tests/FGLMStrategyTest.cc:90: strat ==> start, strata data/brial-1.2.10/tests/FGLMStrategyTest.cc:91: strat ==> start, strata data/brial-1.2.10/tests/FGLMStrategyTest.cc:102: strat ==> start, strata data/brial-1.2.10/tests/FGLMStrategyTest.cc:111: strat ==> start, strata data/brial-1.2.10/tests/FGLMStrategyTest.cc:113: strat ==> start, strata data/brial-1.2.10/tests/GroebnerStrategyTest.cc:5: Ket ==> Kept data/brial-1.2.10/tests/GroebnerStrategyTest.cc:49: strat ==> start, strata data/brial-1.2.10/tests/GroebnerStrategyTest.cc:51: strat ==> start, strata data/brial-1.2.10/tests/GroebnerStrategyTest.cc:56: strat ==> start, strata data/brial-1.2.10/tests/LexOrderTest.cc:5: Ket ==> Kept data/brial-1.2.10/tests/PBoRiErrorTest.cc:5: Ket ==> Kept data/brial-1.2.10/tests/spolyTest.cc:5: Ket ==> Kept data/brial-1.2.10/tests/term_accumulateTest.cc:5: Ket ==> Kept data/brial-1.2.10/tests/weak_pointersTest.cc:130: pring ==> print, bring, ping, spring data/brial-1.2.10/tests/weak_pointersTest.cc:132: pring ==> print, bring, ping, spring data/brial-1.2.10/tests/weak_pointersTest.cc:136: pring ==> print, bring, ping, spring data/brial-1.2.10/tests/weak_pointersTest.cc:140: pring ==> print, bring, ping, spring data/brial-1.2.10/tests/weak_pointersTest.cc:141: pring ==> print, bring, ping, spring data/brial-1.2.10/tests/weak_pointersTest.cc:145: pring ==> print, bring, ping, spring data/brial-1.2.10/debian/patches/typo.patch:11: occured ==> occurred data/brial-1.2.10/.pc/typo.patch/libbrial/src/CErrorInfo.cc:8: conver ==> convert data/brial-1.2.10/.pc/typo.patch/libbrial/src/CErrorInfo.cc:51: occured ==> occurred