data/haskell-sbv-8.7/CHANGES.md:128: upto ==> up to data/haskell-sbv-8.7/CHANGES.md:621: perfomance ==> performance data/haskell-sbv-8.7/CHANGES.md:851: multipler ==> multiplier, multiple data/haskell-sbv-8.7/CHANGES.md:1520: convertable ==> convertible data/haskell-sbv-8.7/CHANGES.md:1575: insted ==> instead data/haskell-sbv-8.7/CHANGES.md:2141: allways ==> always data/haskell-sbv-8.7/Data/SBV.hs:59: upto ==> up to data/haskell-sbv-8.7/Data/SBV.hs:686: intial ==> initial data/haskell-sbv-8.7/Data/SBV.hs:696: intial ==> initial data/haskell-sbv-8.7/Data/SBV.hs:705: upto ==> up to data/haskell-sbv-8.7/Data/SBV.hs:763: wit ==> with data/haskell-sbv-8.7/Data/SBV/Control.hs:20: Queriable ==> Queryable data/haskell-sbv-8.7/Data/SBV/Control.hs:79: Queriable ==> Queryable data/haskell-sbv-8.7/Data/SBV/RegExp.hs:11: specificly ==> specifically data/haskell-sbv-8.7/Data/SBV/Tuple.hs:146: 3nd ==> 3rd data/haskell-sbv-8.7/Data/SBV/Client/BaseIO.hs:394: unamed ==> unnamed data/haskell-sbv-8.7/Data/SBV/Control/Query.hs:488: aCount ==> account data/haskell-sbv-8.7/Data/SBV/Control/Query.hs:491: aCount ==> account data/haskell-sbv-8.7/Data/SBV/Control/Utils.hs:75: Queriable ==> Queryable data/haskell-sbv-8.7/Data/SBV/Control/Utils.hs:206: Queriable ==> Queryable data/haskell-sbv-8.7/Data/SBV/Control/Utils.hs:212: Queriable ==> Queryable data/haskell-sbv-8.7/Data/SBV/Control/Utils.hs:860: te ==> the, be, we data/haskell-sbv-8.7/Data/SBV/Control/Utils.hs:864: te ==> the, be, we data/haskell-sbv-8.7/Data/SBV/Control/Utils.hs:869: te ==> the, be, we data/haskell-sbv-8.7/Data/SBV/Control/Utils.hs:877: te ==> the, be, we data/haskell-sbv-8.7/Data/SBV/Control/Utils.hs:883: te ==> the, be, we data/haskell-sbv-8.7/Data/SBV/Control/Utils.hs:1042: upto ==> up to data/haskell-sbv-8.7/Data/SBV/Control/Utils.hs:1105: upto ==> up to data/haskell-sbv-8.7/Data/SBV/Control/Utils.hs:1509: Cant' ==> Can't data/haskell-sbv-8.7/Data/SBV/Core/AlgReals.hs:44: wheter ==> whether data/haskell-sbv-8.7/Data/SBV/Core/Concrete.hs:85: Assing ==> Assign data/haskell-sbv-8.7/Data/SBV/Core/Concrete.hs:460: upto ==> up to data/haskell-sbv-8.7/Data/SBV/Core/Data.hs:639: unintialized ==> uninitialized data/haskell-sbv-8.7/Data/SBV/Core/Data.hs:672: unintialized ==> uninitialized data/haskell-sbv-8.7/Data/SBV/Core/Model.hs:760: withing ==> within data/haskell-sbv-8.7/Data/SBV/Core/Model.hs:1037: multipler ==> multiplier, multiple data/haskell-sbv-8.7/Data/SBV/Core/Model.hs:1908: ba ==> by, be data/haskell-sbv-8.7/Data/SBV/Core/Model.hs:1908: ba ==> by, be data/haskell-sbv-8.7/Data/SBV/Core/Model.hs:1910: ba ==> by, be data/haskell-sbv-8.7/Data/SBV/Core/Model.hs:1912: ba ==> by, be data/haskell-sbv-8.7/Data/SBV/Core/Operations.hs:561: wit ==> with data/haskell-sbv-8.7/Data/SBV/Core/Operations.hs:574: wit ==> with data/haskell-sbv-8.7/Data/SBV/Core/Operations.hs:580: agressive ==> aggressive data/haskell-sbv-8.7/Data/SBV/Core/Operations.hs:608: alltogether ==> altogether, all together data/haskell-sbv-8.7/Data/SBV/Core/Operations.hs:1029: accesing ==> accessing data/haskell-sbv-8.7/Data/SBV/Core/Operations.hs:1072: accesing ==> accessing data/haskell-sbv-8.7/Data/SBV/Core/Operations.hs:1074: accesing ==> accessing data/haskell-sbv-8.7/Data/SBV/Core/Symbolic.hs:55: Queriable ==> Queryable data/haskell-sbv-8.7/Data/SBV/Core/Symbolic.hs:270: StrAt ==> start, strata data/haskell-sbv-8.7/Data/SBV/Core/Symbolic.hs:616: queriable ==> queryable data/haskell-sbv-8.7/Data/SBV/Core/Symbolic.hs:618: Queriable ==> Queryable data/haskell-sbv-8.7/Data/SBV/Core/Symbolic.hs:671: definiton ==> definition data/haskell-sbv-8.7/Data/SBV/Core/Symbolic.hs:798: cecking ==> checking data/haskell-sbv-8.7/Data/SBV/Core/Symbolic.hs:1344: cant ==> can't data/haskell-sbv-8.7/Data/SBV/Core/Symbolic.hs:1348: cant ==> can't data/haskell-sbv-8.7/Data/SBV/Provers/Prover.hs:361: happaned ==> happened data/haskell-sbv-8.7/Data/SBV/Provers/Prover.hs:782: sufficently ==> sufficiently data/haskell-sbv-8.7/Data/SBV/SMT/SMT.hs:139: becase ==> because data/haskell-sbv-8.7/Data/SBV/SMT/SMT.hs:442: returing ==> returning data/haskell-sbv-8.7/Data/SBV/SMT/SMT.hs:602: currrent ==> current data/haskell-sbv-8.7/Data/SBV/SMT/SMTLib2.hs:255: lits ==> list data/haskell-sbv-8.7/Data/SBV/SMT/SMTLib2.hs:260: lits ==> list data/haskell-sbv-8.7/Data/SBV/SMT/SMTLib2.hs:482: initializiation ==> initialization data/haskell-sbv-8.7/Data/SBV/SMT/SMTLib2.hs:562: initializiation ==> initialization data/haskell-sbv-8.7/Data/SBV/SMT/SMTLib2.hs:636: fo ==> of, for data/haskell-sbv-8.7/Data/SBV/SMT/SMTLib2.hs:636: fo ==> of, for data/haskell-sbv-8.7/Data/SBV/SMT/SMTLib2.hs:639: fo ==> of, for data/haskell-sbv-8.7/Data/SBV/SMT/SMTLib2.hs:639: fo ==> of, for data/haskell-sbv-8.7/Data/SBV/SMT/SMTLib2.hs:683: fo ==> of, for data/haskell-sbv-8.7/Data/SBV/SMT/SMTLib2.hs:683: fo ==> of, for data/haskell-sbv-8.7/Data/SBV/Tools/BMC.hs:31: Queriable ==> Queryable data/haskell-sbv-8.7/Data/SBV/Tools/BMC.hs:42: Queriable ==> Queryable data/haskell-sbv-8.7/Data/SBV/Tools/Induction.hs:83: Queriable ==> Queryable data/haskell-sbv-8.7/Data/SBV/Tools/Induction.hs:95: Queriable ==> Queryable data/haskell-sbv-8.7/Data/SBV/Tools/Induction.hs:141: initation ==> initiation data/haskell-sbv-8.7/Data/SBV/Tools/Overflow.hs:54: minumum ==> minimum data/haskell-sbv-8.7/Data/SBV/Tools/Overflow.hs:227: allOne ==> alone, all one data/haskell-sbv-8.7/Data/SBV/Tools/Overflow.hs:228: allOne ==> alone, all one data/haskell-sbv-8.7/Data/SBV/Tools/Overflow.hs:230: allOne ==> alone, all one data/haskell-sbv-8.7/Data/SBV/Tools/Overflow.hs:453: allOne ==> alone, all one data/haskell-sbv-8.7/Data/SBV/Tools/Polynomial.hs:58: usally ==> usually data/haskell-sbv-8.7/Data/SBV/Tools/WeakestPreconditions.hs:209: Queriable ==> Queryable data/haskell-sbv-8.7/Data/SBV/Tools/WeakestPreconditions.hs:316: maitained ==> maintained data/haskell-sbv-8.7/Data/SBV/Tools/WeakestPreconditions.hs:340: Queriable ==> Queryable data/haskell-sbv-8.7/Data/SBV/Utils/PrettyNum.hs:231: wether ==> weather, whether data/haskell-sbv-8.7/Documentation/SBV/Examples/BitPrecise/Legato.hs:125: multipler ==> multiplier, multiple data/haskell-sbv-8.7/Documentation/SBV/Examples/BitPrecise/MultMask.hs:43: multipled ==> multiplied data/haskell-sbv-8.7/Documentation/SBV/Examples/CodeGeneration/CRC_USB5.hs:83: eqivalent ==> equivalent data/haskell-sbv-8.7/Documentation/SBV/Examples/CodeGeneration/Fibonacci.hs:52: upto ==> up to data/haskell-sbv-8.7/Documentation/SBV/Examples/CodeGeneration/Uninterpreted.hs:46: wit ==> with data/haskell-sbv-8.7/Documentation/SBV/Examples/Crypto/AES.hs:431: follewed ==> followed data/haskell-sbv-8.7/Documentation/SBV/Examples/Crypto/AES.hs:474: serios ==> serious data/haskell-sbv-8.7/Documentation/SBV/Examples/Lists/BoundedMutex.hs:59: upto ==> up to data/haskell-sbv-8.7/Documentation/SBV/Examples/Lists/BoundedMutex.hs:80: implicity ==> implicitly data/haskell-sbv-8.7/Documentation/SBV/Examples/Misc/Enumerate.hs:74: minumum ==> minimum data/haskell-sbv-8.7/Documentation/SBV/Examples/Optimization/ExtField.hs:20: demostrates ==> demonstrates data/haskell-sbv-8.7/Documentation/SBV/Examples/Optimization/Production.hs:62: finalY ==> finally, finale data/haskell-sbv-8.7/Documentation/SBV/Examples/Optimization/Production.hs:66: finalY ==> finally, finale data/haskell-sbv-8.7/Documentation/SBV/Examples/Optimization/Production.hs:69: finalY ==> finally, finale data/haskell-sbv-8.7/Documentation/SBV/Examples/Puzzles/Coins.hs:20: cant ==> can't data/haskell-sbv-8.7/Documentation/SBV/Examples/Puzzles/Coins.hs:24: cant ==> can't data/haskell-sbv-8.7/Documentation/SBV/Examples/Puzzles/Garden.hs:73: declar ==> declare data/haskell-sbv-8.7/Documentation/SBV/Examples/Queries/FourFours.hs:141: evalutes ==> evaluates data/haskell-sbv-8.7/Documentation/SBV/Examples/Strings/RegexCrossword.hs:41: colums ==> columns data/haskell-sbv-8.7/Documentation/SBV/Examples/Strings/RegexCrossword.hs:100: BA ==> BY, BE data/haskell-sbv-8.7/Documentation/SBV/Examples/Strings/RegexCrossword.hs:100: BA ==> BY, BE data/haskell-sbv-8.7/Documentation/SBV/Examples/Strings/SQLInjection.hs:72: lenght ==> length data/haskell-sbv-8.7/Documentation/SBV/Examples/Uninterpreted/Multiply.hs:28: definining ==> defining data/haskell-sbv-8.7/Documentation/SBV/Examples/WeakestPreconditions/Append.hs:62: Queriable ==> Queryable data/haskell-sbv-8.7/Documentation/SBV/Examples/WeakestPreconditions/Basics.hs:9: demostrating ==> demonstrating data/haskell-sbv-8.7/Documentation/SBV/Examples/WeakestPreconditions/Length.hs:63: Queriable ==> Queryable data/haskell-sbv-8.7/Documentation/SBV/Examples/WeakestPreconditions/Sum.hs:110: upto ==> up to data/haskell-sbv-8.7/Documentation/SBV/Examples/WeakestPreconditions/Sum.hs:121: upto ==> up to data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Bench/Bench.hs:78: arbritrary ==> arbitrary data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Bench/Bench.hs:187: comparision ==> comparison data/haskell-sbv-8.7/SBVBenchSuite/BenchSuite/Puzzles/Coins.hs:31: apparantly ==> apparently data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/freshVars.gold:85: initializiation ==> initialization data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/freshVars.gold:99: initializiation ==> initialization data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/queryArrays1.gold:25: initializiation ==> initialization data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/queryArrays5.gold:23: initializiation ==> initialization data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/queryArrays6.gold:21: initializiation ==> initialization data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/queryArrays7.gold:21: initializiation ==> initialization data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/queryArrays8.gold:21: initializiation ==> initialization data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_uisatex1.gold:35: tey ==> they data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_uisatex1.gold:137: tey ==> they data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_uisatex1.gold:177: tey ==> they data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_uisatex2.gold:35: tey ==> they data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_uisatex2.gold:137: tey ==> they data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/query_uisatex2.gold:158: tey ==> they data/haskell-sbv-8.7/SBVTestSuite/GoldFiles/strExamples5.gold:14: ba ==> by, be data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/ArithNoSolver.hs:240: toWords ==> towards data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/ArithNoSolver.hs:241: toWords ==> towards data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/ArithSolver.hs:280: toWords ==> towards data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/ArithSolver.hs:281: toWords ==> towards data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/ModelValidate.hs:39: tE ==> the, be, we data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/ModelValidate.hs:44: tE ==> the, be, we data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/PseudoBoolean.hs:57: valIf ==> valid data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/PseudoBoolean.hs:59: valIf ==> valid data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/PseudoBoolean.hs:62: valIf ==> valid data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/PseudoBoolean.hs:64: valIf ==> valid data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/PseudoBoolean.hs:67: valIf ==> valid data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/PseudoBoolean.hs:69: valIf ==> valid data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/String.hs:82: ba ==> by, be data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Basics/String.hs:113: ba ==> by, be data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Optimization/Quantified.hs:9: iwth ==> with data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Puzzles/Temperature.hs:31: celcius ==> celsius data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Puzzles/Temperature.hs:37: celcius ==> celsius data/haskell-sbv-8.7/SBVTestSuite/TestSuite/Queries/UISatEx.hs:84: tey ==> they