data/picosat-965/picosat.h:33: distiguish ==> distinguish
data/picosat-965/picosat.h:268: immmediate ==> immediate
data/picosat-965/picosat.h:322: lits ==> list
data/picosat-965/picosat.h:338: trough ==> through
data/picosat-965/picosat.h:405: UNKWOWN ==> UNKNOWN
data/picosat-965/picosat.h:511: returing ==> returning
data/picosat-965/picosat.h:564: minmal ==> minimal
data/picosat-965/NEWS:22: unitialized ==> uninitialized
data/picosat-965/NEWS:127: agressive ==> aggressive
data/picosat-965/app.c:367: catched ==> caught
data/picosat-965/app.c:457: catched ==> caught
data/picosat-965/app.c:460: catched ==> caught
data/picosat-965/app.c:713: ot ==> to, of, or
data/picosat-965/app.c:741: ot ==> to, of, or
data/picosat-965/app.c:762: ot ==> to, of, or
data/picosat-965/app.c:783: ot ==> to, of, or
data/picosat-965/app.c:804: ot ==> to, of, or
data/picosat-965/app.c:831: ot ==> to, of, or
data/picosat-965/app.c:852: ot ==> to, of, or
data/picosat-965/app.c:873: ot ==> to, of, or
data/picosat-965/picomcs.c:11: lits ==> list
data/picosat-965/picomcs.c:37: lits ==> list
data/picosat-965/picomcs.c:71: lits ==> list
data/picosat-965/picomcs.c:72: lits ==> list
data/picosat-965/picomcs.c:73: lits ==> list
data/picosat-965/picomcs.c:166: lits ==> list
data/picosat-965/picomcs.c:190: lits ==> list
data/picosat-965/picomcs.c:194: lits ==> list
data/picosat-965/configure.sh:43: exension ==> extension
data/picosat-965/picomus.c:35: lits ==> list
data/picosat-965/picomus.c:44: lits ==> list
data/picosat-965/picomus.c:123: lits ==> list
data/picosat-965/picomus.c:123: lits ==> list
data/picosat-965/picomus.c:123: lits ==> list
data/picosat-965/picomus.c:125: lits ==> list
data/picosat-965/picomus.c:128: lits ==> list
data/picosat-965/picomus.c:128: lits ==> list
data/picosat-965/picomus.c:130: lits ==> list
data/picosat-965/picomus.c:130: lits ==> list
data/picosat-965/picomus.c:131: lits ==> list
data/picosat-965/picomus.c:274: lits ==> list
data/picosat-965/picomus.c:334: lits ==> list
data/picosat-965/picomus.c:387: lits ==> list
data/picosat-965/picomus.c:401: lits ==> list
data/picosat-965/picomus.c:403: lits ==> list
data/picosat-965/picosat.c:130: lits ==> list
data/picosat-965/picosat.c:130: lits ==> list
data/picosat-965/picosat.c:132: lits ==> list
data/picosat-965/picosat.c:133: lits ==> list
data/picosat-965/picosat.c:135: lits ==> list
data/picosat-965/picosat.c:137: lits ==> list
data/picosat-965/picosat.c:138: lits ==> list
data/picosat-965/picosat.c:141: lits ==> list
data/picosat-965/picosat.c:148: lits ==> list
data/picosat-965/picosat.c:149: lits ==> list
data/picosat-965/picosat.c:152: lits ==> list
data/picosat-965/picosat.c:180: lits ==> list
data/picosat-965/picosat.c:183: lits ==> list
data/picosat-965/picosat.c:470: lits ==> list
data/picosat-965/picosat.c:533: lits ==> list
data/picosat-965/picosat.c:553: als ==> also
data/picosat-965/picosat.c:716: enew ==> new
data/picosat-965/picosat.c:973: enew ==> new
data/picosat-965/picosat.c:974: enew ==> new
data/picosat-965/picosat.c:1069: lits ==> list
data/picosat-965/picosat.c:1075: lits ==> list
data/picosat-965/picosat.c:1115: lits ==> list
data/picosat-965/picosat.c:1193: enew ==> new
data/picosat-965/picosat.c:1209: lits ==> list
data/picosat-965/picosat.c:1508: lits ==> list
data/picosat-965/picosat.c:1514: als ==> also
data/picosat-965/picosat.c:1514: als ==> also
data/picosat-965/picosat.c:1548: lits ==> list
data/picosat-965/picosat.c:1548: lits ==> list
data/picosat-965/picosat.c:1697: lits ==> list
data/picosat-965/picosat.c:1698: lits ==> list
data/picosat-965/picosat.c:1700: lits ==> list
data/picosat-965/picosat.c:1718: lits ==> list
data/picosat-965/picosat.c:1719: lits ==> list
data/picosat-965/picosat.c:1721: lits ==> list
data/picosat-965/picosat.c:1868: lits ==> list
data/picosat-965/picosat.c:1870: lits ==> list
data/picosat-965/picosat.c:1899: lits ==> list
data/picosat-965/picosat.c:2036: lits ==> list
data/picosat-965/picosat.c:2060: lits ==> list
data/picosat-965/picosat.c:2082: lits ==> list
data/picosat-965/picosat.c:2085: lits ==> list
data/picosat-965/picosat.c:2233: lits ==> list
data/picosat-965/picosat.c:2254: lits ==> list
data/picosat-965/picosat.c:2449: lits ==> list
data/picosat-965/picosat.c:2475: lits ==> list
data/picosat-965/picosat.c:2477: lits ==> list
data/picosat-965/picosat.c:2507: lits ==> list
data/picosat-965/picosat.c:2536: lits ==> list
data/picosat-965/picosat.c:2536: lits ==> list
data/picosat-965/picosat.c:2550: lits ==> list
data/picosat-965/picosat.c:2552: lits ==> list
data/picosat-965/picosat.c:2566: lits ==> list
data/picosat-965/picosat.c:2566: lits ==> list
data/picosat-965/picosat.c:2837: lits ==> list
data/picosat-965/picosat.c:2841: lits ==> list
data/picosat-965/picosat.c:2861: als ==> also
data/picosat-965/picosat.c:2907: lits ==> list
data/picosat-965/picosat.c:2910: lits ==> list
data/picosat-965/picosat.c:2920: lits ==> list
data/picosat-965/picosat.c:2995: lits ==> list
data/picosat-965/picosat.c:2999: lits ==> list
data/picosat-965/picosat.c:3004: lits ==> list
data/picosat-965/picosat.c:3097: als ==> also
data/picosat-965/picosat.c:3099: als ==> also
data/picosat-965/picosat.c:3112: lits ==> list
data/picosat-965/picosat.c:3146: als ==> also
data/picosat-965/picosat.c:3548: lits ==> list
data/picosat-965/picosat.c:3691: lits ==> list
data/picosat-965/picosat.c:3721: lits ==> list
data/picosat-965/picosat.c:3791: lits ==> list
data/picosat-965/picosat.c:3821: lits ==> list
data/picosat-965/picosat.c:3955: lits ==> list
data/picosat-965/picosat.c:3959: lits ==> list
data/picosat-965/picosat.c:4046: lits ==> list
data/picosat-965/picosat.c:4050: lits ==> list
data/picosat-965/picosat.c:4051: lits ==> list
data/picosat-965/picosat.c:4067: lits ==> list
data/picosat-965/picosat.c:4070: lits ==> list
data/picosat-965/picosat.c:4071: lits ==> list
data/picosat-965/picosat.c:4098: lits ==> list
data/picosat-965/picosat.c:4099: lits ==> list
data/picosat-965/picosat.c:4120: lits ==> list
data/picosat-965/picosat.c:4126: lits ==> list
data/picosat-965/picosat.c:4128: lits ==> list
data/picosat-965/picosat.c:4142: lits ==> list
data/picosat-965/picosat.c:4304: lits ==> list
data/picosat-965/picosat.c:4494: lits ==> list
data/picosat-965/picosat.c:4523: lits ==> list
data/picosat-965/picosat.c:4532: lits ==> list
data/picosat-965/picosat.c:4655: lits ==> list
data/picosat-965/picosat.c:4700: lits ==> list
data/picosat-965/picosat.c:4701: lits ==> list
data/picosat-965/picosat.c:4732: lits ==> list
data/picosat-965/picosat.c:4745: lits ==> list
data/picosat-965/picosat.c:4750: lits ==> list
data/picosat-965/picosat.c:4757: lits ==> list
data/picosat-965/picosat.c:5704: occurence ==> occurrence
data/picosat-965/picosat.c:5833: als ==> also
data/picosat-965/picosat.c:6131: lits ==> list
data/picosat-965/picosat.c:6178: lits ==> list
data/picosat-965/picosat.c:6276: lits ==> list
data/picosat-965/picosat.c:6418: als ==> also
data/picosat-965/picosat.c:6424: als ==> also
data/picosat-965/picosat.c:6482: lits ==> list
data/picosat-965/picosat.c:6582: lits ==> list
data/picosat-965/picosat.c:6594: als ==> also
data/picosat-965/picosat.c:6613: Linz ==> Lines
data/picosat-965/picosat.c:6753: interals ==> internals, intervals, integrals
data/picosat-965/picosat.c:6898: lits ==> list
data/picosat-965/picosat.c:6902: lits ==> list
data/picosat-965/picosat.c:6949: als ==> also
data/picosat-965/picosat.c:6950: als ==> also
data/picosat-965/picosat.c:6951: als ==> also
data/picosat-965/picosat.c:6962: als ==> also
data/picosat-965/picosat.c:6972: nd ==> and, 2nd
data/picosat-965/picosat.c:7359: als ==> also
data/picosat-965/picosat.c:7389: als ==> also
data/picosat-965/picosat.c:7401: als ==> also
data/picosat-965/picosat.c:7412: als ==> also
data/picosat-965/picosat.c:7492: suceeded ==> succeeded
data/picosat-965/picosat.c:7658: als ==> also
data/picosat-965/picosat.c:7662: als ==> also
data/picosat-965/picosat.c:7719: als ==> also
data/picosat-965/picosat.c:7723: als ==> also
data/picosat-965/picosat.c:8193: als ==> also
data/picosat-965/picosat.c:8235: lits ==> list
data/picosat-965/picosat.c:8255: als ==> also
data/picosat-965/debian/control:18: satisfiabilty ==> satisfiability
data/picosat-965/.pc/verbose_output.patch/picosat.c:130: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:130: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:132: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:133: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:135: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:137: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:138: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:141: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:148: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:149: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:152: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:180: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:183: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:470: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:533: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:553: als ==> also
data/picosat-965/.pc/verbose_output.patch/picosat.c:716: enew ==> new
data/picosat-965/.pc/verbose_output.patch/picosat.c:973: enew ==> new
data/picosat-965/.pc/verbose_output.patch/picosat.c:974: enew ==> new
data/picosat-965/.pc/verbose_output.patch/picosat.c:1069: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:1075: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:1115: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:1193: enew ==> new
data/picosat-965/.pc/verbose_output.patch/picosat.c:1209: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:1508: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:1514: als ==> also
data/picosat-965/.pc/verbose_output.patch/picosat.c:1514: als ==> also
data/picosat-965/.pc/verbose_output.patch/picosat.c:1548: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:1548: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:1697: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:1698: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:1700: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:1718: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:1719: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:1721: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:1868: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:1870: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:1899: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:2036: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:2060: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:2082: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:2085: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:2233: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:2254: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:2449: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:2475: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:2477: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:2507: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:2536: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:2536: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:2550: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:2552: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:2566: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:2566: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:2837: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:2841: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:2861: als ==> also
data/picosat-965/.pc/verbose_output.patch/picosat.c:2907: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:2910: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:2920: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:2995: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:2999: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:3004: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:3097: als ==> also
data/picosat-965/.pc/verbose_output.patch/picosat.c:3099: als ==> also
data/picosat-965/.pc/verbose_output.patch/picosat.c:3112: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:3146: als ==> also
data/picosat-965/.pc/verbose_output.patch/picosat.c:3548: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:3691: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:3721: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:3791: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:3821: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:3955: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:3959: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:4046: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:4050: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:4051: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:4067: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:4070: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:4071: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:4098: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:4099: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:4120: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:4126: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:4128: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:4142: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:4304: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:4494: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:4523: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:4532: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:4655: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:4700: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:4701: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:4732: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:4745: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:4750: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:4757: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:5704: occurence ==> occurrence
data/picosat-965/.pc/verbose_output.patch/picosat.c:5833: als ==> also
data/picosat-965/.pc/verbose_output.patch/picosat.c:6131: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:6178: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:6276: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:6418: als ==> also
data/picosat-965/.pc/verbose_output.patch/picosat.c:6424: als ==> also
data/picosat-965/.pc/verbose_output.patch/picosat.c:6482: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:6582: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:6594: als ==> also
data/picosat-965/.pc/verbose_output.patch/picosat.c:6613: Linz ==> Lines
data/picosat-965/.pc/verbose_output.patch/picosat.c:6753: interals ==> internals, intervals, integrals
data/picosat-965/.pc/verbose_output.patch/picosat.c:6898: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:6902: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:6949: als ==> also
data/picosat-965/.pc/verbose_output.patch/picosat.c:6950: als ==> also
data/picosat-965/.pc/verbose_output.patch/picosat.c:6951: als ==> also
data/picosat-965/.pc/verbose_output.patch/picosat.c:6962: als ==> also
data/picosat-965/.pc/verbose_output.patch/picosat.c:6972: nd ==> and, 2nd
data/picosat-965/.pc/verbose_output.patch/picosat.c:7359: als ==> also
data/picosat-965/.pc/verbose_output.patch/picosat.c:7389: als ==> also
data/picosat-965/.pc/verbose_output.patch/picosat.c:7401: als ==> also
data/picosat-965/.pc/verbose_output.patch/picosat.c:7412: als ==> also
data/picosat-965/.pc/verbose_output.patch/picosat.c:7492: suceeded ==> succeeded
data/picosat-965/.pc/verbose_output.patch/picosat.c:7658: als ==> also
data/picosat-965/.pc/verbose_output.patch/picosat.c:7662: als ==> also
data/picosat-965/.pc/verbose_output.patch/picosat.c:7719: als ==> also
data/picosat-965/.pc/verbose_output.patch/picosat.c:7723: als ==> also
data/picosat-965/.pc/verbose_output.patch/picosat.c:8193: als ==> also
data/picosat-965/.pc/verbose_output.patch/picosat.c:8235: lits ==> list
data/picosat-965/.pc/verbose_output.patch/picosat.c:8255: als ==> also