data/cryptominisat-5.8.0+dfsg1/LICENSE.txt:4: priciple ==> principle
data/cryptominisat-5.8.0+dfsg1/README.markdown:591: lits ==> list
data/cryptominisat-5.8.0+dfsg1/README.markdown:594: lits ==> list
data/cryptominisat-5.8.0+dfsg1/README.markdown:596: lits ==> list
data/cryptominisat-5.8.0+dfsg1/README.markdown:597: lits ==> list
data/cryptominisat-5.8.0+dfsg1/appveyor.yml:118: becasue ==> because
data/cryptominisat-5.8.0+dfsg1/cmake/FindTBB.cmake:45: accomodate ==> accommodate
data/cryptominisat-5.8.0+dfsg1/cmake/FindTBB.cmake:51: nonexistant ==> nonexistent
data/cryptominisat-5.8.0+dfsg1/cmake/Rust.cmake:44: crate ==> create
data/cryptominisat-5.8.0+dfsg1/cmake/Rust.cmake:44: crate ==> create
data/cryptominisat-5.8.0+dfsg1/cmake/Rust.cmake:45: crate ==> create
data/cryptominisat-5.8.0+dfsg1/cmake/Rust.cmake:51: crate ==> create
data/cryptominisat-5.8.0+dfsg1/cmake/Rust.cmake:66: crate ==> create
data/cryptominisat-5.8.0+dfsg1/cmake/Rust.cmake:72: crate ==> create
data/cryptominisat-5.8.0+dfsg1/cmake/Rust.cmake:96: crate ==> create
data/cryptominisat-5.8.0+dfsg1/cmake/Rust.cmake:96: crate ==> create
data/cryptominisat-5.8.0+dfsg1/cmake/Rust.cmake:99: crate ==> create
data/cryptominisat-5.8.0+dfsg1/cmake/Rust.cmake:104: crate ==> create
data/cryptominisat-5.8.0+dfsg1/cmake/Rust.cmake:106: crate ==> create
data/cryptominisat-5.8.0+dfsg1/cmake/Rust.cmake:107: crate ==> create
data/cryptominisat-5.8.0+dfsg1/cmake/Rust.cmake:122: CRATE ==> CREATE
data/cryptominisat-5.8.0+dfsg1/cmake/Rust.cmake:169: crate ==> create
data/cryptominisat-5.8.0+dfsg1/cmake/Rust.cmake:170: crate ==> create
data/cryptominisat-5.8.0+dfsg1/cmake/Rust.cmake:175: crate ==> create
data/cryptominisat-5.8.0+dfsg1/cmake/Rust.cmake:177: crate ==> create
data/cryptominisat-5.8.0+dfsg1/cmake/Rust.cmake:178: crate ==> create
data/cryptominisat-5.8.0+dfsg1/cmake/Rust.cmake:193: CRATE ==> CREATE
data/cryptominisat-5.8.0+dfsg1/cmake/Rust.cmake:219: crate ==> create
data/cryptominisat-5.8.0+dfsg1/cmake/Rust.cmake:221: crate ==> create
data/cryptominisat-5.8.0+dfsg1/cmake/Rust.cmake:222: crate ==> create
data/cryptominisat-5.8.0+dfsg1/cmake/Rust.cmake:275: crate ==> create
data/cryptominisat-5.8.0+dfsg1/cmake/Rust.cmake:277: crate ==> create
data/cryptominisat-5.8.0+dfsg1/cmake/Rust.cmake:278: crate ==> create
data/cryptominisat-5.8.0+dfsg1/python/README.rst:48: funcion ==> function
data/cryptominisat-5.8.0+dfsg1/python/src/pycryptosat.cpp.in:166: lits ==> list
data/cryptominisat-5.8.0+dfsg1/python/src/pycryptosat.cpp.in:187: lits ==> list
data/cryptominisat-5.8.0+dfsg1/python/src/pycryptosat.cpp.in:190: lits ==> list
data/cryptominisat-5.8.0+dfsg1/python/src/pycryptosat.cpp.in:276: lits ==> list
data/cryptominisat-5.8.0+dfsg1/python/src/pycryptosat.cpp.in:277: lits ==> list
data/cryptominisat-5.8.0+dfsg1/python/src/pycryptosat.cpp.in:284: lits ==> list
data/cryptominisat-5.8.0+dfsg1/python/src/pycryptosat.cpp.in:285: lits ==> list
data/cryptominisat-5.8.0+dfsg1/python/src/pycryptosat.cpp.in:286: lits ==> list
data/cryptominisat-5.8.0+dfsg1/python/src/pycryptosat.cpp.in:363: lits ==> list
data/cryptominisat-5.8.0+dfsg1/python/src/pycryptosat.cpp.in:365: lits ==> list
data/cryptominisat-5.8.0+dfsg1/python/src/pycryptosat.cpp.in:381: lits ==> list
data/cryptominisat-5.8.0+dfsg1/python/src/pycryptosat.cpp.in:383: lits ==> list
data/cryptominisat-5.8.0+dfsg1/python/src/pycryptosat.cpp.in:387: lits ==> list
data/cryptominisat-5.8.0+dfsg1/scripts/aws/RequestSpotClient.py:160: reqested ==> requested
data/cryptominisat-5.8.0+dfsg1/scripts/aws/RequestSpotClient.py:160: aready ==> already
data/cryptominisat-5.8.0+dfsg1/scripts/aws/launch_server.py:44: oherwise ==> otherwise
data/cryptominisat-5.8.0+dfsg1/scripts/crystal/ballofcrystal.sh:93: opion ==> option
data/cryptominisat-5.8.0+dfsg1/scripts/crystal/cldata_gen_pandas.py:185: explicity ==> explicitly
data/cryptominisat-5.8.0+dfsg1/scripts/crystal/cldata_gen_pandas.py:190: explicity ==> explicitly
data/cryptominisat-5.8.0+dfsg1/scripts/crystal/cldata_predict.py:177: inbalance ==> imbalance
data/cryptominisat-5.8.0+dfsg1/scripts/crystal/cldata_predict.py:342: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/scripts/crystal/fill_used_clauses.py:53: Runnin ==> Running
data/cryptominisat-5.8.0+dfsg1/scripts/crystal/helper.py:306: Calulating ==> Calculating
data/cryptominisat-5.8.0+dfsg1/scripts/crystal/helper.py:321: Calulating ==> Calculating
data/cryptominisat-5.8.0+dfsg1/scripts/crystal/helper.py:513: Preform ==> Perform
data/cryptominisat-5.8.0+dfsg1/scripts/crystal/sample_data.py:582: neeeded ==> needed
data/cryptominisat-5.8.0+dfsg1/scripts/crystal/sample_data.py:584: neeeded ==> needed
data/cryptominisat-5.8.0+dfsg1/scripts/crystal/vardata_predict.py:391: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/scripts/fuzz/fuzz_test.py:79: SANTIZE ==> SANITIZE
data/cryptominisat-5.8.0+dfsg1/scripts/fuzz/verifier.py:484: lits ==> list
data/cryptominisat-5.8.0+dfsg1/scripts/fuzz/verifier.py:485: lits ==> list
data/cryptominisat-5.8.0+dfsg1/scripts/fuzz/verifier.py:497: lits ==> list
data/cryptominisat-5.8.0+dfsg1/scripts/fuzz/verifier.py:506: lits ==> list
data/cryptominisat-5.8.0+dfsg1/scripts/fuzz/verifier.py:514: lits ==> list
data/cryptominisat-5.8.0+dfsg1/scripts/fuzz/verifier.py:516: lits ==> list
data/cryptominisat-5.8.0+dfsg1/scripts/fuzz/xor_to_cnf_class.py:92: lits ==> list
data/cryptominisat-5.8.0+dfsg1/scripts/fuzz/xor_to_cnf_class.py:93: lits ==> list
data/cryptominisat-5.8.0+dfsg1/scripts/fuzz/xor_to_cnf_class.py:93: lits ==> list
data/cryptominisat-5.8.0+dfsg1/scripts/fuzz/xor_to_cnf_class.py:96: lits ==> list
data/cryptominisat-5.8.0+dfsg1/scripts/fuzz/xor_to_cnf_class.py:96: lits ==> list
data/cryptominisat-5.8.0+dfsg1/scripts/fuzz/xor_to_cnf_class.py:96: lits ==> list
data/cryptominisat-5.8.0+dfsg1/scripts/fuzz/xor_to_cnf_class.py:98: lits ==> list
data/cryptominisat-5.8.0+dfsg1/scripts/fuzz/xor_to_cnf_class.py:107: lits ==> list
data/cryptominisat-5.8.0+dfsg1/scripts/fuzz/xor_to_cnf_class.py:110: lits ==> list
data/cryptominisat-5.8.0+dfsg1/scripts/fuzz/xor_to_cnf_class.py:114: lits ==> list
data/cryptominisat-5.8.0+dfsg1/scripts/fuzz/xor_to_cnf_class.py:120: lits ==> list
data/cryptominisat-5.8.0+dfsg1/scripts/fuzz/xor_to_cnf_class.py:122: lits ==> list
data/cryptominisat-5.8.0+dfsg1/scripts/fuzz/xor_to_cnf_class.py:124: lits ==> list
data/cryptominisat-5.8.0+dfsg1/scripts/fuzz/xor_to_cnf_class.py:134: lits ==> list
data/cryptominisat-5.8.0+dfsg1/scripts/fuzz/xor_to_cnf_class.py:138: lits ==> list
data/cryptominisat-5.8.0+dfsg1/scripts/fuzz/xor_to_cnf_class.py:140: lits ==> list
data/cryptominisat-5.8.0+dfsg1/scripts/fuzz/xor_to_cnf_class.py:147: lits ==> list
data/cryptominisat-5.8.0+dfsg1/scripts/fuzz/xor_to_cnf_class.py:150: lits ==> list
data/cryptominisat-5.8.0+dfsg1/scripts/fuzz/xor_to_cnf_class.py:153: lits ==> list
data/cryptominisat-5.8.0+dfsg1/scripts/fuzz/xor_to_cnf_class.py:158: lits ==> list
data/cryptominisat-5.8.0+dfsg1/scripts/fuzz/xor_to_cnf_class.py:165: lits ==> list
data/cryptominisat-5.8.0+dfsg1/scripts/output_parser/sqlite3_checks.py:312: peform ==> perform
data/cryptominisat-5.8.0+dfsg1/scripts/output_parser/update_concat_sqlite_files.py:128: peform ==> perform
data/cryptominisat-5.8.0+dfsg1/scripts/reconf/generate_reconf.py:104: Uploded ==> Uploaded
data/cryptominisat-5.8.0+dfsg1/scripts/reconf/reconf.py:42: traget ==> target
data/cryptominisat-5.8.0+dfsg1/src/XAlloc.h:31: situtaions ==> situations
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:156: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:276: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:308: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:341: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:345: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:451: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:518: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:519: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:522: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:523: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:524: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:526: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:526: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:530: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:534: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:543: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:546: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:548: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:552: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:552: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:556: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:556: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:565: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:578: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:587: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:587: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:612: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:613: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:660: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:661: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:708: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:713: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:766: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:767: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:768: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:769: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:788: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:789: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:790: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:791: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.cpp:842: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.h:79: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.h:116: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.h:122: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.h:122: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.h:125: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.h:125: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.h:126: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.h:126: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.h:128: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.h:128: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.h:131: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.h:139: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/bva.h:142: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cardfinder.cpp:49: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cardfinder.cpp:51: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cardfinder.cpp:52: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cardfinder.cpp:53: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cardfinder.cpp:81: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cardfinder.cpp:83: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cardfinder.cpp:144: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cardfinder.h:52: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cardfinder.h:56: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/ccnr.cpp:50: varibles ==> variables
data/cryptominisat-5.8.0+dfsg1/src/ccnr.cpp:232: datas ==> data
data/cryptominisat-5.8.0+dfsg1/src/ccnr.h:123: buiding ==> building
data/cryptominisat-5.8.0+dfsg1/src/ccnr.h:167: funcitons ==> functions
data/cryptominisat-5.8.0+dfsg1/src/ccnr.h:177: infomation ==> information
data/cryptominisat-5.8.0+dfsg1/src/clause.h:257: LENGHT ==> LENGTH
data/cryptominisat-5.8.0+dfsg1/src/clauseallocator.cpp:252: neccessary ==> necessary
data/cryptominisat-5.8.0+dfsg1/src/clauseallocator.h:117: shrinked ==> shrunk
data/cryptominisat-5.8.0+dfsg1/src/clauseallocator.h:118: orignal ==> original
data/cryptominisat-5.8.0+dfsg1/src/clausedumper.cpp:195: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/clausedumper.cpp:196: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cms_bosphorus.cpp:51: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cms_bosphorus.cpp:54: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cms_bosphorus.cpp:57: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cms_bosphorus.cpp:58: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cms_bosphorus.cpp:85: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cms_bosphorus.cpp:89: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cms_bosphorus.cpp:96: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cms_bosphorus.cpp:98: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cms_bosphorus.cpp:99: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cms_bosphorus.cpp:101: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cms_bosphorus.cpp:103: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cms_breakid.h:53: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cms_breakid.h:56: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cms_breakid.h:75: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cnf.cpp:682: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cnf.cpp:693: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cnf.cpp:698: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cnf.h:156: insided ==> inside
data/cryptominisat-5.8.0+dfsg1/src/cnf.h:269: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cnf.h:271: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cnf.h:328: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cnf.h:547: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cnf.h:549: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cnf.h:550: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cnf.h:551: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cnf.h:584: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cnf.h:586: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cnf.h:588: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cnf.h:626: neccessary ==> necessary
data/cryptominisat-5.8.0+dfsg1/src/cnf.h:656: neccessary ==> necessary
data/cryptominisat-5.8.0+dfsg1/src/compfinder.cpp:177: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/compfinder.cpp:187: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/compfinder.cpp:188: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/compfinder.cpp:209: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/compfinder.cpp:216: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/compfinder.cpp:219: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/compfinder.cpp:219: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/compfinder.cpp:226: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/compfinder.cpp:276: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/compfinder.cpp:333: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/comphandler.cpp:544: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/comphandler.cpp:657: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/comphandler.cpp:661: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/comphandler.cpp:662: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/comphandler.cpp:666: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/comphandler.cpp:696: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/comphandler.cpp:726: Lits ==> List
data/cryptominisat-5.8.0+dfsg1/src/comphandler.cpp:727: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/comphandler.cpp:741: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/comphandler.cpp:756: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/comphandler.h:57: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/comphandler.h:164: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/completedetachreattacher.h:39: neccessary ==> necessary
data/cryptominisat-5.8.0+dfsg1/src/constants.h:57: useable ==> usable
data/cryptominisat-5.8.0+dfsg1/src/constants.h:101: oder ==> order, odor
data/cryptominisat-5.8.0+dfsg1/src/cryptominisat.cpp:184: insteead ==> instead
data/cryptominisat-5.8.0+dfsg1/src/cryptominisat.cpp:282: insteead ==> instead
data/cryptominisat-5.8.0+dfsg1/src/cryptominisat.cpp:428: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cryptominisat.cpp:436: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cryptominisat.cpp:443: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cryptominisat.cpp:445: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cryptominisat.cpp:621: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cryptominisat.cpp:624: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cryptominisat.cpp:629: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cryptominisat.cpp:634: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cryptominisat.cpp:641: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cryptominisat.cpp:1290: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cryptominisat.cpp:1294: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cryptominisat.h.in:49: possiblity ==> possibility
data/cryptominisat-5.8.0+dfsg1/src/cryptominisat.h.in:64: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cryptominisat.h.in:77: solveable ==> solvable
data/cryptominisat-5.8.0+dfsg1/src/cryptominisat.h.in:207: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cryptominisat_c.cpp:91: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cryptominisat_c.cpp:92: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cryptominisat_c.h.in:62: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cset.h:2: SatELite ==> satellite
data/cryptominisat-5.8.0+dfsg1/src/datasync.cpp:235: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/datasync.cpp:249: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/datasync.cpp:250: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/datasync.cpp:253: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/dimacsparser.h:91: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/dimacsparser.h:193: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/dimacsparser.h:463: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/dimacsparser.h:472: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/dimacsparser.h:480: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/dimacsparser.h:488: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/dimacsparser.h:493: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/distillerlong.cpp:260: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/distillerlong.cpp:337: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/distillerlong.cpp:339: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/distillerlong.cpp:341: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/distillerlong.cpp:342: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/distillerlong.cpp:346: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/distillerlong.cpp:358: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/distillerlong.cpp:359: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/distillerlong.cpp:362: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/distillerlong.cpp:435: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/distillerlong.h:87: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/distillerlongwithimpl.cpp:94: wit ==> with
data/cryptominisat-5.8.0+dfsg1/src/distillerlongwithimpl.cpp:109: wit ==> with
data/cryptominisat-5.8.0+dfsg1/src/distillerlongwithimpl.cpp:149: wit ==> with
data/cryptominisat-5.8.0+dfsg1/src/distillerlongwithimpl.cpp:150: wit ==> with
data/cryptominisat-5.8.0+dfsg1/src/distillerlongwithimpl.cpp:151: wit ==> with
data/cryptominisat-5.8.0+dfsg1/src/distillerlongwithimpl.cpp:160: wit ==> with
data/cryptominisat-5.8.0+dfsg1/src/distillerlongwithimpl.cpp:163: wit ==> with
data/cryptominisat-5.8.0+dfsg1/src/distillerlongwithimpl.cpp:224: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/distillerlongwithimpl.cpp:230: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/distillerlongwithimpl.cpp:239: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/distillerlongwithimpl.cpp:252: shrinked ==> shrunk
data/cryptominisat-5.8.0+dfsg1/src/distillerlongwithimpl.cpp:253: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/distillerlongwithimpl.cpp:254: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/distillerlongwithimpl.cpp:492: shrinked ==> shrunk
data/cryptominisat-5.8.0+dfsg1/src/distillerlongwithimpl.cpp:507: shrinked ==> shrunk
data/cryptominisat-5.8.0+dfsg1/src/distillerlongwithimpl.cpp:508: shrinked ==> shrunk
data/cryptominisat-5.8.0+dfsg1/src/distillerlongwithimpl.cpp:522: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/distillerlongwithimpl.cpp:536: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/distillerlongwithimpl.h:63: shrinked ==> shrunk
data/cryptominisat-5.8.0+dfsg1/src/distillerlongwithimpl.h:84: shrinked ==> shrunk
data/cryptominisat-5.8.0+dfsg1/src/distillerlongwithimpl.h:84: shrinked ==> shrunk
data/cryptominisat-5.8.0+dfsg1/src/distillerlongwithimpl.h:134: wit ==> with
data/cryptominisat-5.8.0+dfsg1/src/distillerlongwithimpl.h:138: wit ==> with
data/cryptominisat-5.8.0+dfsg1/src/distillerlongwithimpl.h:163: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/gatefinder.cpp:397: strenghtening ==> strengthening
data/cryptominisat-5.8.0+dfsg1/src/gatefinder.cpp:414: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/gatefinder.cpp:415: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/gatefinder.cpp:427: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/gatefinder.cpp:430: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/gatefinder.cpp:441: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/gatefinder.cpp:455: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/gatefinder.cpp:536: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/gatefinder.cpp:538: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/gatefinder.cpp:781: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/gatefinder.cpp:783: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/gatefinder.cpp:826: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/gatefinder.cpp:830: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/gatefinder.cpp:836: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/gatefinder.cpp:844: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/gatefinder.cpp:849: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/gatefinder.cpp:1075: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/gatefinder.cpp:1084: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/gatefinder.cpp:1087: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/gatefinder.h:93: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/gaussian.cpp:477: propogation ==> propagation
data/cryptominisat-5.8.0+dfsg1/src/gaussian.cpp:881: orignal ==> original
data/cryptominisat-5.8.0+dfsg1/src/gaussian.cpp:911: orignal ==> original
data/cryptominisat-5.8.0+dfsg1/src/gaussian.h:104: orignal ==> original
data/cryptominisat-5.8.0+dfsg1/src/gqueuedata.h:37: propogation ==> propagation
data/cryptominisat-5.8.0+dfsg1/src/hyperengine.cpp:391: Enqueing ==> Enqueuing
data/cryptominisat-5.8.0+dfsg1/src/hyperengine.cpp:416: usin ==> using
data/cryptominisat-5.8.0+dfsg1/src/ipasir.cpp:82: resoruces ==> resources
data/cryptominisat-5.8.0+dfsg1/src/ipasir.cpp:225: reveresed ==> reversed
data/cryptominisat-5.8.0+dfsg1/src/ipasir.h:48: resoruces ==> resources
data/cryptominisat-5.8.0+dfsg1/src/ipasir.h:137: lenght ==> length
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:158: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:168: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:170: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:229: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:239: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:241: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:244: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:255: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:257: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:261: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:364: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:433: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:1008: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:1098: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:1171: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:1198: bve ==> be
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:1465: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:1631: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:1721: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:1727: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:1919: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:1924: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:1928: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:1930: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:1948: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:1953: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:1955: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:2196: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:2198: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:2214: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:2215: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:2216: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:2239: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:2240: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:2241: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:2243: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:2244: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:2245: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:2251: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:2251: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:2255: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:2256: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:2257: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:2257: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:2260: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:2262: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:2269: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:2271: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:2276: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:2322: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.cpp:2806: neede ==> needed, need
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.h:301: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.h:310: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.h:310: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.h:431: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.h:553: postion ==> position
data/cryptominisat-5.8.0+dfsg1/src/occsimplifier.h:583: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/packedrow.h:71: wher ==> where
data/cryptominisat-5.8.0+dfsg1/src/packedrow.h:87: wher ==> where
data/cryptominisat-5.8.0+dfsg1/src/propby_backup.h:212: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/propbyforgraph.h:39: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/propbyforgraph.h:51: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/propbyforgraph.h:52: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/propbyforgraph.h:79: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/propbyforgraph.h:79: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/propbyforgraph.h:88: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/propbyforgraph.h:88: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/propbyforgraph.h:130: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/propengine.cpp:143: chaned ==> changed, chained
data/cryptominisat-5.8.0+dfsg1/src/propengine.h:181: occured ==> occurred
data/cryptominisat-5.8.0+dfsg1/src/reducedb.cpp:175: chould ==> should, could
data/cryptominisat-5.8.0+dfsg1/src/searcher.h:318: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.h:397: activites ==> activities
data/cryptominisat-5.8.0+dfsg1/src/searcher.h:451: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searchstats.cpp:186: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/searchstats.cpp:192: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/searchstats.cpp:254: LITS ==> LIST
data/cryptominisat-5.8.0+dfsg1/src/searchstats.cpp:267: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/searchstats.cpp:282: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/searchstats.cpp:292: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solutionextender.cpp:85: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solutionextender.cpp:87: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solutionextender.cpp:122: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solutionextender.cpp:127: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solutionextender.cpp:134: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solutionextender.cpp:139: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solutionextender.cpp:150: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solutionextender.cpp:162: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solutionextender.cpp:176: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solutionextender.cpp:179: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solutionextender.cpp:190: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solutionextender.cpp:212: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solutionextender.h:44: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solutionextender.h:51: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solutionextender.h:53: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solutionextender.h:59: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solutionextender.h:62: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solutionextender_old-cpp:144: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solutionextender_old-cpp:147: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solutionextender_old-cpp:147: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solutionextender_old-cpp:158: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solutionextender_old-cpp:162: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solutionextender_old-cpp:162: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solutionextender_old-cpp:176: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solutionextender_old-h:43: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solutionextender_old-h:65: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solutionextender_old-h:66: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:190: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:199: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:241: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:245: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:252: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:255: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:256: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:262: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:263: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:267: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:268: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:273: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:291: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:295: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:297: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:298: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:304: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:306: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:389: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:402: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:415: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:417: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:428: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:462: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:497: normall ==> normal, normally
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:649: readd ==> re-add, read
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:652: readd ==> re-add, read
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:657: readd ==> re-add, read
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:699: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:701: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:1264: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:1273: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:1299: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:2591: assings ==> assigns
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:2735: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:2751: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:2753: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:2758: repaces ==> replaces
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:2772: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:2774: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:2781: multipe ==> multiple
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:2782: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:2782: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:2783: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:2783: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:2784: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:2784: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:2789: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:2790: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:2795: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:3116: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:3122: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:3124: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:3134: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:3136: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:3139: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:3142: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:3149: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:3151: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:3309: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:3310: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:3311: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:3312: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:3313: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:3314: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:3316: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:3317: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:3318: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:3319: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:3320: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:3321: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:3322: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:3323: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:3324: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:3325: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:3673: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:3674: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:3675: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:3676: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:3676: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:3677: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:3677: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:3678: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:3678: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:3968: arrary ==> array
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:4241: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.cpp:4260: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.h:89: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.h:111: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.h:191: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.h:239: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.h:328: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.h:329: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.h:331: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.h:336: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solver.h:339: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solverconf.h:410: Alo ==> Also
data/cryptominisat-5.8.0+dfsg1/src/solvertypes.h:671: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solvertypes.h:673: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solvertypesmini.h.in:107: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solvertypesmini.h.in:109: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solvertypesmini.h.in:110: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/solvertypesmini.h.in:112: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/sqlitestats.cpp:38: stucture ==> structure
data/cryptominisat-5.8.0+dfsg1/src/sqlitestats.cpp:40: stucture ==> structure
data/cryptominisat-5.8.0+dfsg1/src/sqlitestats.cpp:43: stucture ==> structure
data/cryptominisat-5.8.0+dfsg1/src/sqlitestats.cpp:48: stucture ==> structure
data/cryptominisat-5.8.0+dfsg1/src/sqlitestats.cpp:50: stucture ==> structure
data/cryptominisat-5.8.0+dfsg1/src/sqlitestats.cpp:53: stucture ==> structure
data/cryptominisat-5.8.0+dfsg1/src/sqlitestats.cpp:58: stucture ==> structure
data/cryptominisat-5.8.0+dfsg1/src/sqlitestats.cpp:60: stucture ==> structure
data/cryptominisat-5.8.0+dfsg1/src/sqlitestats.cpp:63: stucture ==> structure
data/cryptominisat-5.8.0+dfsg1/src/sqlitestats.cpp:105: Couln't ==> Couldn't
data/cryptominisat-5.8.0+dfsg1/src/sqlitestats.cpp:168: Couln't ==> Couldn't
data/cryptominisat-5.8.0+dfsg1/src/sqlitestats.cpp:738: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/sqlitestats.cpp:767: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/sqlitestats.cpp:768: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/sqlitestats.cpp:788: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/sqlitestats.cpp:789: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/sqlitestats.cpp:790: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/sqlitestats.cpp:791: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/sqlitestats.cpp:792: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/sqlitestats.cpp:793: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/sqlitestats.cpp:795: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/sqlitestats.cpp:796: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/sqlitestats.cpp:798: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/sqlitestats.cpp:799: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/sqlitestats.cpp:800: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/sqlitestats.cpp:801: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/sqlitestats.cpp:802: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/sqlitestats.cpp:803: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/sqlitestats.cpp:804: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/sqlitestats.cpp:805: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/sqlitestats.cpp:806: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/sqlitestats.h:105: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/sqlstats.h:140: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/str_impl_w_impl.cpp:70: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/str_impl_w_impl.cpp:71: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/str_impl_w_impl.cpp:72: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/str_impl_w_impl.cpp:74: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/str_impl_w_impl.cpp:137: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/str_impl_w_impl.cpp:138: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/str_impl_w_impl.cpp:139: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/str_impl_w_impl.cpp:213: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/str_impl_w_impl.h:86: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/subsumestrengthen.cpp:199: strenghtened ==> strengthened
data/cryptominisat-5.8.0+dfsg1/src/subsumestrengthen.cpp:432: strenghtened ==> strengthened
data/cryptominisat-5.8.0+dfsg1/src/subsumestrengthen.cpp:558: Strenghtening ==> Strengthening
data/cryptominisat-5.8.0+dfsg1/src/subsumestrengthen.cpp:650: strenghten ==> strengthen
data/cryptominisat-5.8.0+dfsg1/src/subsumestrengthen.cpp:841: Lits ==> List
data/cryptominisat-5.8.0+dfsg1/src/subsumestrengthen.cpp:867: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/subsumestrengthen.cpp:874: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/subsumestrengthen.cpp:875: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/subsumestrengthen.cpp:910: strenghtened ==> strengthened
data/cryptominisat-5.8.0+dfsg1/src/subsumestrengthen.h:77: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/toplevelgauss.cpp:227: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/toplevelgauss.cpp:230: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/toplevelgauss.cpp:233: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/toplevelgauss.cpp:236: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/toplevelgauss.cpp:243: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/toplevelgauss.cpp:247: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/toplevelgauss.cpp:255: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/toplevelgauss.cpp:263: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/toplevelgauss.cpp:263: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/toplevelgauss.cpp:264: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/touchlist.h:46: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/touchlist.h:48: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/touchlist.h:121: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/touchlist.h:123: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/varreplacer.cpp:381: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/varreplacer.cpp:878: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/varreplacer.cpp:1193: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/varreplacer.cpp:1205: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/varreplacer.cpp:1220: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/varupdatehelper.h:113: circularly ==> circular
data/cryptominisat-5.8.0+dfsg1/src/walksat.cpp:410: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/walksat.cpp:471: occurence ==> occurrence
data/cryptominisat-5.8.0+dfsg1/src/walksat.cpp:486: occurence ==> occurrence
data/cryptominisat-5.8.0+dfsg1/src/walksat.cpp:755: occurence ==> occurrence
data/cryptominisat-5.8.0+dfsg1/src/xorfinder.cpp:56: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/xorfinder.cpp:95: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/xorfinder.cpp:96: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/xorfinder.cpp:97: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/xorfinder.cpp:239: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/xorfinder.cpp:242: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/xorfinder.cpp:243: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/xorfinder.cpp:250: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/xorfinder.cpp:251: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/xorfinder.cpp:268: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/xorfinder.cpp:274: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/xorfinder.cpp:274: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/xorfinder.cpp:275: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/xorfinder.cpp:277: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/xorfinder.cpp:826: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/xorfinder.cpp:827: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/xorfinder.cpp:831: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/xorfinder.cpp:832: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/xorfinder.h:207: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/yals.c:189: LITS ==> LIST
data/cryptominisat-5.8.0+dfsg1/src/yals.c:195: LITS ==> LIST
data/cryptominisat-5.8.0+dfsg1/src/yals.c:201: LITS ==> LIST
data/cryptominisat-5.8.0+dfsg1/src/yals.c:205: LITS ==> LIST
data/cryptominisat-5.8.0+dfsg1/src/yals.c:241: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/yals.c:281: STRAT ==> START, STRATA
data/cryptominisat-5.8.0+dfsg1/src/yals.c:282: STRAT ==> START, STRATA
data/cryptominisat-5.8.0+dfsg1/src/yals.c:283: STRAT ==> START, STRATA
data/cryptominisat-5.8.0+dfsg1/src/yals.c:284: STRAT ==> START, STRATA
data/cryptominisat-5.8.0+dfsg1/src/yals.c:285: STRAT ==> START, STRATA
data/cryptominisat-5.8.0+dfsg1/src/yals.c:287: STRAT ==> START, STRATA
data/cryptominisat-5.8.0+dfsg1/src/yals.c:335: Strat ==> Start, strata
data/cryptominisat-5.8.0+dfsg1/src/yals.c:335: Strat ==> Start, strata
data/cryptominisat-5.8.0+dfsg1/src/yals.c:347: strat ==> start, strata
data/cryptominisat-5.8.0+dfsg1/src/yals.c:356: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/yals.c:431: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/yals.c:439: Strat ==> Start, strata
data/cryptominisat-5.8.0+dfsg1/src/yals.c:439: strat ==> start, strata
data/cryptominisat-5.8.0+dfsg1/src/yals.c:869: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/yals.c:871: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/yals.c:1082: strat ==> start, strata
data/cryptominisat-5.8.0+dfsg1/src/yals.c:1113: strat ==> start, strata
data/cryptominisat-5.8.0+dfsg1/src/yals.c:1165: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/yals.c:1173: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/yals.c:1176: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/yals.c:1206: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/yals.c:1213: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/yals.c:1886: strat ==> start, strata
data/cryptominisat-5.8.0+dfsg1/src/yals.c:1906: strat ==> start, strata
data/cryptominisat-5.8.0+dfsg1/src/yals.c:1910: strat ==> start, strata
data/cryptominisat-5.8.0+dfsg1/src/yals.c:1944: strat ==> start, strata
data/cryptominisat-5.8.0+dfsg1/src/yals.c:1945: strat ==> start, strata
data/cryptominisat-5.8.0+dfsg1/src/yals.c:1957: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/yals.c:1967: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/yals.c:1969: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/yals.c:1975: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/yals.c:2046: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/yals.c:2102: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/yals.c:2104: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/yals.c:2106: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/yals.c:2106: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/yals.c:2107: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/yals.c:2107: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/yals.c:2108: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/yals.c:2110: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/yals.c:2540: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/yals.c:2672: strat ==> start, strata
data/cryptominisat-5.8.0+dfsg1/src/yals.c:2675: strat ==> start, strata
data/cryptominisat-5.8.0+dfsg1/src/yals.c:2677: STRAT ==> START, STRATA
data/cryptominisat-5.8.0+dfsg1/src/yals.c:2678: STRAT ==> START, STRATA
data/cryptominisat-5.8.0+dfsg1/src/yals.c:2688: strat ==> start, strata
data/cryptominisat-5.8.0+dfsg1/src/yals.c:2690: STRAT ==> START, STRATA
data/cryptominisat-5.8.0+dfsg1/src/yals.c:2691: STRAT ==> START, STRATA
data/cryptominisat-5.8.0+dfsg1/src/yals.c:2708: strat ==> start, strata
data/cryptominisat-5.8.0+dfsg1/src/yals.c:2710: STRAT ==> START, STRATA
data/cryptominisat-5.8.0+dfsg1/src/yals.c:2711: STRAT ==> START, STRATA
data/cryptominisat-5.8.0+dfsg1/src/yals.c:2715: strat ==> start, strata
data/cryptominisat-5.8.0+dfsg1/src/yals.c:2744: strat ==> start, strata
data/cryptominisat-5.8.0+dfsg1/src/yals.c:2746: strat ==> start, strata
data/cryptominisat-5.8.0+dfsg1/src/yals.c:2748: STRAT ==> START, STRATA
data/cryptominisat-5.8.0+dfsg1/src/yals.c:2749: STRAT ==> START, STRATA
data/cryptominisat-5.8.0+dfsg1/src/yals.c:2754: strat ==> start, strata
data/cryptominisat-5.8.0+dfsg1/src/yals.c:2755: strat ==> start, strata
data/cryptominisat-5.8.0+dfsg1/src/yals.c:2756: strat ==> start, strata
data/cryptominisat-5.8.0+dfsg1/src/yals.c:2772: strat ==> start, strata
data/cryptominisat-5.8.0+dfsg1/src/yals.c:2773: strat ==> start, strata
data/cryptominisat-5.8.0+dfsg1/src/yals.c:2774: strat ==> start, strata
data/cryptominisat-5.8.0+dfsg1/src/yals.c:2775: strat ==> start, strata
data/cryptominisat-5.8.0+dfsg1/src/yals.c:3123: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/yals.c:3126: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/yals.c:3127: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/yals.c:3130: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/yals.c:3175: strat ==> start, strata
data/cryptominisat-5.8.0+dfsg1/src/yals.c:3175: strat ==> start, strata
data/cryptominisat-5.8.0+dfsg1/src/yals.c:3178: strat ==> start, strata
data/cryptominisat-5.8.0+dfsg1/src/yals.c:3178: strat ==> start, strata
data/cryptominisat-5.8.0+dfsg1/src/yals.c:3179: strat ==> start, strata
data/cryptominisat-5.8.0+dfsg1/src/yals.c:3179: strat ==> start, strata
data/cryptominisat-5.8.0+dfsg1/src/yals.c:3271: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/yals.c:3281: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/yals.c:3284: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/yals.c:3284: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/cms_breakid.cpp:359: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/main.cpp:606: BVE ==> BE
data/cryptominisat-5.8.0+dfsg1/src/main.cpp:613: BVE ==> BE
data/cryptominisat-5.8.0+dfsg1/src/main.cpp:621: BVE ==> BE
data/cryptominisat-5.8.0+dfsg1/src/main.cpp:637: strenghtening ==> strengthening
data/cryptominisat-5.8.0+dfsg1/src/main.cpp:1366: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/main.cpp:1369: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/main.cpp:1371: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/main.cpp:1506: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/main.cpp:1511: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/main.cpp:1517: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/main.cpp:1521: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:87: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:234: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:248: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:257: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:276: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:371: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:393: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:456: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:486: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:932: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:936: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:945: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:970: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1163: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1164: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1167: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1169: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1251: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1252: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1280: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1282: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1444: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1446: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1447: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1448: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1450: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1451: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1452: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1456: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1457: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1459: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1460: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1462: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1463: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1464: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1466: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1469: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1470: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1627: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1650: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1652: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1653: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1654: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1657: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1659: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1660: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1662: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1788: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1795: behavriour ==> behaviour
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:1976: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:2733: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:2734: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:2734: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:3301: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/src/searcher.cpp:3562: anyting ==> anything
data/cryptominisat-5.8.0+dfsg1/src/solverconf.cpp:257: Alo ==> Also
data/cryptominisat-5.8.0+dfsg1/src/mpi/DataSync.cpp:413: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/mpi/DataSync.cpp:414: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/mpi/DataSync.cpp:415: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/mpi/DataSync.cpp:416: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/mpi/DataSync.cpp:417: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/mpi/DataSync.cpp:417: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/mpi/DataSync.cpp:418: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/mpi/DataSync.cpp:418: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/mpi/DataSync.cpp:418: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/mpi/DataSync.cpp:567: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/mpi/DataSync.cpp:579: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/mpi/DataSync.cpp:580: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/mpi/DataSync.cpp:581: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/mpi/DataSync.cpp:582: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/mpi/DataSync.cpp:583: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/mpi/mpi.txt:77: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/mpi/mpi.txt:80: lits ==> list
data/cryptominisat-5.8.0+dfsg1/src/mpi/mpi.txt:83: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:810: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:812: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:812: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:813: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:814: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:824: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:826: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:826: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:827: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:828: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:828: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:829: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:831: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:841: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:843: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:843: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:844: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:845: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:845: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:846: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:848: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:858: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:860: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:860: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:861: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:862: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:862: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:863: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:864: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:876: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:879: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:879: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:880: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:881: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:881: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:882: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:885: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:901: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:903: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:903: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/basic_test.cpp:904: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/cardfinder_test.cpp:83: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/cardfinder_test.cpp:84: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/cardfinder_test.cpp:84: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/cardfinder_test.cpp:85: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/cardfinder_test.cpp:185: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/cardfinder_test.cpp:186: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/cardfinder_test.cpp:187: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/cardfinder_test.cpp:189: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/cardfinder_test.cpp:190: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/cardfinder_test.cpp:192: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/cardfinder_test.cpp:193: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/clause_test.cpp:41: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/clause_test.cpp:43: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/clause_test.cpp:45: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/implied_by_test.cpp:52: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/implied_by_test.cpp:60: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/implied_by_test.cpp:61: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/implied_by_test.cpp:69: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/implied_by_test.cpp:70: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/implied_by_test.cpp:80: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/implied_by_test.cpp:81: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/implied_by_test.cpp:92: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/implied_by_test.cpp:93: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/implied_by_test.cpp:106: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/implied_by_test.cpp:107: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/implied_by_test.cpp:115: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/implied_by_test.cpp:116: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/implied_by_test.cpp:124: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/implied_by_test.cpp:125: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/implied_by_test.cpp:134: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/implied_by_test.cpp:135: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/implied_by_test.cpp:144: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/implied_by_test.cpp:145: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/implied_by_test.cpp:155: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/implied_by_test.cpp:156: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/implied_by_test.cpp:166: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/implied_by_test.cpp:167: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/ipasir_test.cpp:245: assum ==> assume
data/cryptominisat-5.8.0+dfsg1/tests/ipasir_test.cpp:259: assum ==> assume
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:58: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:59: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:61: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:61: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:62: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:64: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:84: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:86: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:88: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:88: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:89: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:91: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:112: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:114: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:116: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:116: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:117: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:119: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:144: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:147: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:149: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:149: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:150: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:152: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:154: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:154: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:155: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:157: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:177: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:179: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:199: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:201: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:223: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:225: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:227: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:227: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:228: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:230: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:232: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:232: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:233: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/solver_test.cpp:235: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/test_helper.h:101: LITs ==> list
data/cryptominisat-5.8.0+dfsg1/tests/test_helper.h:109: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/test_helper.h:111: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/test_helper.h:154: ony ==> only
data/cryptominisat-5.8.0+dfsg1/tests/test_helper.h:184: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/test_helper.h:186: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/test_helper.h:188: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/test_helper.h:188: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/test_helper.h:189: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/test_helper.h:409: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/test_helper.h:410: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/test_helper.h:410: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/test_helper.h:414: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/test_helper.h:521: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/test_helper.h:522: lits ==> list
data/cryptominisat-5.8.0+dfsg1/tests/cnf-files/lit.cfg:30: overriden ==> overridden
data/cryptominisat-5.8.0+dfsg1/tests/cnf-files/lit.cfg:77: mis-match ==> mismatch
data/cryptominisat-5.8.0+dfsg1/web/README.markdown:7: passowrd ==> password
data/cryptominisat-5.8.0+dfsg1/web/drawgraphs.js:9: distibutions ==> distributions
data/cryptominisat-5.8.0+dfsg1/web/index.html:97: serach ==> search
data/cryptominisat-5.8.0+dfsg1/web/index.html:98: brach ==> branch
data/cryptominisat-5.8.0+dfsg1/web/index.html:115: ist ==> is, it, its, it's, sit, list
data/cryptominisat-5.8.0+dfsg1/web/jquery.jqplot.css:42: untill ==> until
data/cryptominisat-5.8.0+dfsg1/web/jquery.jqplot.css:50: untill ==> until
data/cryptominisat-5.8.0+dfsg1/web/jquery.jqplot.css:58: untill ==> until
data/cryptominisat-5.8.0+dfsg1/web/jquery.jqplot.css:75: untill ==> until
data/cryptominisat-5.8.0+dfsg1/debian/patches/spelling_errors.patch:11: assignements ==> assignments
data/cryptominisat-5.8.0+dfsg1/debian/patches/spelling_errors.patch:22: assignement ==> assignment
data/cryptominisat-5.8.0+dfsg1/debian/patches/spelling_errors.patch:33: assignements ==> assignments
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/cms_breakid.cpp:214: assignements ==> assignments
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/cms_breakid.cpp:359: lits ==> list
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/main.cpp:276: assignement ==> assignment
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/main.cpp:606: BVE ==> BE
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/main.cpp:613: BVE ==> BE
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/main.cpp:621: BVE ==> BE
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/main.cpp:637: strenghtening ==> strengthening
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/main.cpp:1366: lits ==> list
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/main.cpp:1369: lits ==> list
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/main.cpp:1371: lits ==> list
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/main.cpp:1506: lits ==> list
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/main.cpp:1511: lits ==> list
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/main.cpp:1517: lits ==> list
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/main.cpp:1521: lits ==> list
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:87: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:234: lits ==> list
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:248: lits ==> list
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:257: lits ==> list
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:276: lits ==> list
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:371: lits ==> list
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:393: lits ==> list
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:456: lits ==> list
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:486: lits ==> list
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:932: lits ==> list
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:936: lits ==> list
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:945: lits ==> list
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:970: lits ==> list
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:1163: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:1164: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:1167: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:1169: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:1251: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:1252: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:1280: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:1282: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:1444: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:1446: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:1447: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:1448: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:1450: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:1451: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:1452: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:1456: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:1457: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:1459: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:1460: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:1462: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:1463: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:1464: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:1466: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:1469: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:1470: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:1627: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:1650: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:1652: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:1653: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:1654: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:1657: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:1659: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:1660: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:1662: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:1788: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:1795: behavriour ==> behaviour
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:1976: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:2206: assignements ==> assignments
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:2733: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:2734: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:2734: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:3301: hist ==> heist, his
data/cryptominisat-5.8.0+dfsg1/.pc/spelling_errors.patch/src/searcher.cpp:3562: anyting ==> anything
data/cryptominisat-5.8.0+dfsg1/.pc/fix_manpage.patch/src/solverconf.cpp:257: Alo ==> Also