data/boolector-1.5.118.6b56be4.121013/btorbtor.c:614: hexidecimal ==> hexadecimal
data/boolector-1.5.118.6b56be4.121013/btorconst.c:138: nD ==> and, 2nd
data/boolector-1.5.118.6b56be4.121013/btorconst.c:158: nD ==> and, 2nd
data/boolector-1.5.118.6b56be4.121013/btorconst.c:160: nD ==> and, 2nd
data/boolector-1.5.118.6b56be4.121013/btorconst.c:189: nD ==> and, 2nd
data/boolector-1.5.118.6b56be4.121013/btorconst.c:194: nD ==> and, 2nd
data/boolector-1.5.118.6b56be4.121013/btorconst.c:208: nD ==> and, 2nd
data/boolector-1.5.118.6b56be4.121013/README:94: Linz ==> Lines
data/boolector-1.5.118.6b56be4.121013/btoraigvec.c:460: nD ==> and, 2nd
data/boolector-1.5.118.6b56be4.121013/btoraigvec.c:476: nD ==> and, 2nd
data/boolector-1.5.118.6b56be4.121013/btoraigvec.c:478: nD ==> and, 2nd
data/boolector-1.5.118.6b56be4.121013/btoraigvec.c:505: nD ==> and, 2nd
data/boolector-1.5.118.6b56be4.121013/btoraigvec.c:511: nD ==> and, 2nd
data/boolector-1.5.118.6b56be4.121013/btoraigvec.c:533: nD ==> and, 2nd
data/boolector-1.5.118.6b56be4.121013/btormain.c:149: Linz ==> Lines
data/boolector-1.5.118.6b56be4.121013/btorsat.h:171: wether ==> weather, whether
data/boolector-1.5.118.6b56be4.121013/deltabtor.c:42: childs ==> children, child's
data/boolector-1.5.118.6b56be4.121013/deltabtor.c:181: childs ==> children, child's
data/boolector-1.5.118.6b56be4.121013/deltabtor.c:235: childs ==> children, child's
data/boolector-1.5.118.6b56be4.121013/deltabtor.c:242: childs ==> children, child's
data/boolector-1.5.118.6b56be4.121013/deltabtor.c:289: childs ==> children, child's
data/boolector-1.5.118.6b56be4.121013/deltabtor.c:290: childs ==> children, child's
data/boolector-1.5.118.6b56be4.121013/deltabtor.c:305: childs ==> children, child's
data/boolector-1.5.118.6b56be4.121013/deltabtor.c:342: childs ==> children, child's
data/boolector-1.5.118.6b56be4.121013/deltabtor.c:342: childs ==> children, child's
data/boolector-1.5.118.6b56be4.121013/deltabtor.c:506: childs ==> children, child's
data/boolector-1.5.118.6b56be4.121013/deltabtor.c:522: childs ==> children, child's
data/boolector-1.5.118.6b56be4.121013/deltabtor.c:539: childs ==> children, child's
data/boolector-1.5.118.6b56be4.121013/deltabtor.c:547: childs ==> children, child's
data/boolector-1.5.118.6b56be4.121013/deltabtor.c:558: childs ==> children, child's
data/boolector-1.5.118.6b56be4.121013/deltabtor.c:587: childs ==> children, child's
data/boolector-1.5.118.6b56be4.121013/deltabtor.c:800: childs ==> children, child's
data/boolector-1.5.118.6b56be4.121013/deltabtor.c:839: childs ==> children, child's
data/boolector-1.5.118.6b56be4.121013/deltabtor.c:856: childs ==> children, child's
data/boolector-1.5.118.6b56be4.121013/btorexp.c:553: expresssion ==> expression
data/boolector-1.5.118.6b56be4.121013/btorexp.c:1340: constain ==> constrain, contain
data/boolector-1.5.118.6b56be4.121013/btorexp.c:2180: parrent ==> parent
data/boolector-1.5.118.6b56be4.121013/btorexp.c:5014: LOD ==> LOAD
data/boolector-1.5.118.6b56be4.121013/btorexp.c:6265: wich ==> which
data/boolector-1.5.118.6b56be4.121013/lingeling/lglmain.c:1: Linz ==> Lines
data/boolector-1.5.118.6b56be4.121013/lingeling/lglmain.c:247: maxium ==> maximum
data/boolector-1.5.118.6b56be4.121013/lingeling/lglmain.c:430: unexpectd ==> unexpected
data/boolector-1.5.118.6b56be4.121013/lingeling/lglmain.c:449: unexpectd ==> unexpected
data/boolector-1.5.118.6b56be4.121013/lingeling/lglmain.c:540: openening ==> opening
data/boolector-1.5.118.6b56be4.121013/lingeling/README:28: Linz ==> Lines
data/boolector-1.5.118.6b56be4.121013/lingeling/plingeling.c:2: Linz ==> Lines
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:2: Linz ==> Lines
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:687: fase ==> faze, phase
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:722: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:739: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:743: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:754: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:763: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:767: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:780: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:789: inout ==> input, in out
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:821: inout ==> input, in out
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:853: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:859: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:1777: BVE ==> BE
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:1778: BVE ==> BE
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:1779: BVE ==> BE
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:1781: occurences ==> occurrences
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:1782: BVE ==> BE
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:1783: BVE ==> BE
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:1784: BVE ==> BE
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:1829: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:1834: inout ==> input, in out
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:1849: inout ==> input, in out
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:3423: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:3426: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:3442: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:3448: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:3458: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:3462: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:3462: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:3474: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:3475: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:3476: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:3476: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:3477: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:3477: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:3485: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:3486: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:3487: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:3820: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:3821: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:3822: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:3887: fase ==> faze, phase
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:5267: inout ==> input, in out
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:5268: inout ==> input, in out
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:5333: minum ==> minimum
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:5417: explicity ==> explicitly
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:5774: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:5774: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:6009: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:6244: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:6274: inout ==> input, in out
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:6584: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:6614: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:6615: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:6624: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:6628: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:6966: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:6973: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:7761: fase ==> faze, phase
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:7761: fase ==> faze, phase
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:8729: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:8951: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:8958: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:9332: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:9341: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:9351: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:9356: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:9358: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:9365: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:9409: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:9423: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:9441: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:9461: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:9471: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:9482: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:9488: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:9488: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:9490: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:9490: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:9491: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:9493: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:9495: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:9547: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:9579: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:9596: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:9613: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:9639: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:9640: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:9665: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:9666: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:9972: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:9973: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:10021: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:10114: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:10115: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:10116: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:10254: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:10255: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:10256: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:11296: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:11302: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:11458: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:11465: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:12004: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:12020: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:12021: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:12022: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:12028: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:12030: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:12032: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:12033: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:12045: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:12051: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:12086: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:12107: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:12113: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:12444: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:12445: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:12463: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:12463: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:13046: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:13047: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:13125: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:13126: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:13127: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:13128: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:13338: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:13339: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:13448: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:13449: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:13767: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:13773: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:13937: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:13943: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:14309: classe ==> class, classes
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:14669: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:14675: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:14857: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:14894: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:14900: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:15266: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:15500: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:15509: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:15512: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:15521: HTE ==> THE
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:15569: HTE ==> THE
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:15569: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:15572: HTE ==> THE
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:15575: HTE ==> THE
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:15588: HTE ==> THE
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:15820: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:15821: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:15930: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:16132: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:16138: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:16478: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:16486: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:16488: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:16647: occurrs ==> occurs
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:16789: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:16794: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:17836: imcompatible ==> incompatible
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:18203: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:18203: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:18282: gaus ==> gauss, gauze
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:18286: gaus ==> gauss, gauze
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:18289: gaus ==> gauss, gauze
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:18317: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:18319: inout ==> input, in out
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:18321: inout ==> input, in out
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:18321: inout ==> input, in out
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:18322: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:18322: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:18323: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:18323: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:18325: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:18326: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:18326: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:18358: queu ==> queue
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:18360: queu ==> queue
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:18363: queu ==> queue
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:18397: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:18408: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:18409: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:18558: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:18559: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.c:18560: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglbnr.c:1: Linz ==> Lines
data/boolector-1.5.118.6b56be4.121013/lingeling/lglbnr.c:19: Linz ==> Lines
data/boolector-1.5.118.6b56be4.121013/lingeling/blimc.c:1: Linz ==> Lines
data/boolector-1.5.118.6b56be4.121013/lingeling/blimc.c:15: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/blimc.c:27: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/blimc.c:336: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/blimc.c:338: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/blimc.c:339: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/blimc.c:339: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/blimc.c:341: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/blimc.c:350: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/blimc.c:351: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/blimc.c:352: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/blimc.c:352: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/blimc.c:353: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/blimc.c:370: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/blimc.c:408: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/blimc.c:652: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/blimc.c:653: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/blimc.c:653: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/blimc.c:655: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/blimc.c:655: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/lglib.h:2: Linz ==> Lines
data/boolector-1.5.118.6b56be4.121013/lingeling/ilingeling.c:1: Linz ==> Lines
data/boolector-1.5.118.6b56be4.121013/lingeling/ilingeling.c:106: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/ilingeling.c:448: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/ilingeling.c:532: LITS ==> LIST
data/boolector-1.5.118.6b56be4.121013/lingeling/ilingeling.c:534: LITS ==> LIST
data/boolector-1.5.118.6b56be4.121013/lingeling/ilingeling.c:552: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/ilingeling.c:552: LITS ==> LIST
data/boolector-1.5.118.6b56be4.121013/lingeling/ilingeling.c:554: lits ==> list
data/boolector-1.5.118.6b56be4.121013/lingeling/ilingeling.c:710: hist ==> heist, his
data/boolector-1.5.118.6b56be4.121013/lingeling/ilingeling.c:744: hist ==> heist, his
data/boolector-1.5.118.6b56be4.121013/lingeling/ilingeling.c:776: hist ==> heist, his
data/boolector-1.5.118.6b56be4.121013/lingeling/ilingeling.c:852: hist ==> heist, his
data/boolector-1.5.118.6b56be4.121013/.pc/debian-changes-1.5.118.6b56be4.121013-1/btorexp.c:553: expresssion ==> expression
data/boolector-1.5.118.6b56be4.121013/.pc/debian-changes-1.5.118.6b56be4.121013-1/btorexp.c:1340: constain ==> constrain, contain
data/boolector-1.5.118.6b56be4.121013/.pc/debian-changes-1.5.118.6b56be4.121013-1/btorexp.c:2180: parrent ==> parent
data/boolector-1.5.118.6b56be4.121013/.pc/debian-changes-1.5.118.6b56be4.121013-1/btorexp.c:5014: LOD ==> LOAD
data/boolector-1.5.118.6b56be4.121013/.pc/debian-changes-1.5.118.6b56be4.121013-1/btorexp.c:6265: wich ==> which