data/z3-4.8.9/README-CMake.md:97: everytime ==> every time
data/z3-4.8.9/README-CMake.md:208: Everytime ==> Every time
data/z3-4.8.9/cmake/msvc_legacy_quirks.cmake:1: ether ==> either
data/z3-4.8.9/contrib/ci/README.md:46: lastest ==> latest
data/z3-4.8.9/contrib/ci/Dockerfiles/z3_base_ubuntu32_16.04.Dockerfile:12: everytime ==> every time
data/z3-4.8.9/examples/c++/example.cpp:656: som ==> some
data/z3-4.8.9/examples/maxsat/maxsat.c:215: lits ==> list
data/z3-4.8.9/examples/maxsat/maxsat.c:219: lits ==> list
data/z3-4.8.9/examples/maxsat/maxsat.c:229: lits ==> list
data/z3-4.8.9/examples/maxsat/maxsat.c:293: lits ==> list
data/z3-4.8.9/examples/maxsat/maxsat.c:294: lits ==> list
data/z3-4.8.9/examples/maxsat/maxsat.c:299: lits ==> list
data/z3-4.8.9/examples/maxsat/maxsat.c:305: lits ==> list
data/z3-4.8.9/examples/maxsat/maxsat.c:311: lits ==> list
data/z3-4.8.9/examples/maxsat/maxsat.c:312: lits ==> list
data/z3-4.8.9/examples/maxsat/maxsat.c:314: lits ==> list
data/z3-4.8.9/examples/maxsat/maxsat.c:316: lits ==> list
data/z3-4.8.9/examples/python/mini_ic3.py:291: lits ==> list
data/z3-4.8.9/examples/python/mini_ic3.py:292: lits ==> list
data/z3-4.8.9/examples/python/mini_quip.py:404: lits ==> list
data/z3-4.8.9/examples/python/mini_quip.py:406: lits ==> list
data/z3-4.8.9/examples/python/mini_quip.py:408: lits ==> list
data/z3-4.8.9/examples/python/mini_quip.py:409: lits ==> list
data/z3-4.8.9/examples/python/trafficjam.py:113: ans ==> and
data/z3-4.8.9/examples/python/trafficjam.py:114: ans ==> and
data/z3-4.8.9/examples/python/mus/marco.py:62: lits ==> list
data/z3-4.8.9/examples/python/mus/marco.py:63: lits ==> list
data/z3-4.8.9/examples/python/mus/mss.py:36: lits ==> list
data/z3-4.8.9/examples/python/mus/mss.py:37: lits ==> list
data/z3-4.8.9/examples/python/tutorial/html/advanced-examples.htm:261: AllOne ==> alone, all one
data/z3-4.8.9/examples/python/tutorial/html/advanced-examples.htm:263: AllOne ==> alone, all one
data/z3-4.8.9/examples/python/tutorial/html/advanced-examples.htm:265: AllOne ==> alone, all one
data/z3-4.8.9/examples/python/tutorial/html/fixpoint-examples.htm:301: ans ==> and
data/z3-4.8.9/examples/python/tutorial/html/fixpoint-examples.htm:302: ans ==> and
data/z3-4.8.9/examples/python/tutorial/html/guide-examples.htm:401: som ==> some
data/z3-4.8.9/examples/python/tutorial/html/strategies-examples.htm:238: som ==> some
data/z3-4.8.9/examples/python/tutorial/jupyter/advanced.ipynb:303: AllOne ==> alone, all one
data/z3-4.8.9/examples/python/tutorial/jupyter/advanced.ipynb:305: AllOne ==> alone, all one
data/z3-4.8.9/examples/python/tutorial/jupyter/advanced.ipynb:307: AllOne ==> alone, all one
data/z3-4.8.9/examples/python/tutorial/jupyter/guide.ipynb:564: som ==> some
data/z3-4.8.9/examples/python/tutorial/jupyter/strategies.ipynb:8: nIn ==> inn, min, bin, nine
data/z3-4.8.9/examples/python/tutorial/jupyter/strategies.ipynb:22: nIn ==> inn, min, bin, nine
data/z3-4.8.9/examples/python/tutorial/jupyter/strategies.ipynb:78: nIn ==> inn, min, bin, nine
data/z3-4.8.9/examples/python/tutorial/jupyter/strategies.ipynb:113: som ==> some
data/z3-4.8.9/scripts/mk_util.py:2356: Fo ==> Of, for
data/z3-4.8.9/scripts/mk_util.py:2357: Fo ==> Of, for
data/z3-4.8.9/scripts/update_api.py:36: INOUT ==> INPUT, IN OUT
data/z3-4.8.9/scripts/update_api.py:685: INOUT ==> INPUT, IN OUT
data/z3-4.8.9/scripts/update_api.py:720: INOUT ==> INPUT, IN OUT
data/z3-4.8.9/scripts/update_api.py:748: INOUT ==> INPUT, IN OUT
data/z3-4.8.9/scripts/update_api.py:845: INOUT ==> INPUT, IN OUT
data/z3-4.8.9/scripts/update_api.py:923: INOUT ==> INPUT, IN OUT
data/z3-4.8.9/scripts/update_api.py:1004: INOUT ==> INPUT, IN OUT
data/z3-4.8.9/scripts/update_api.py:1065: INOUT ==> INPUT, IN OUT
data/z3-4.8.9/scripts/update_api.py:1087: INOUT ==> INPUT, IN OUT
data/z3-4.8.9/scripts/update_api.py:1122: INOUT ==> INPUT, IN OUT
data/z3-4.8.9/scripts/update_api.py:1135: INOUT ==> INPUT, IN OUT
data/z3-4.8.9/scripts/update_api.py:1492: INOUT ==> INPUT, IN OUT
data/z3-4.8.9/scripts/update_api.py:1570: INOUT ==> INPUT, IN OUT
data/z3-4.8.9/src/api/api_context.h:218: interruptable ==> interruptible
data/z3-4.8.9/src/api/api_datatype.cpp:380: datas ==> data
data/z3-4.8.9/src/api/api_datatype.cpp:383: datas ==> data
data/z3-4.8.9/src/api/api_datatype.cpp:386: datas ==> data
data/z3-4.8.9/src/api/api_datatype.cpp:386: datas ==> data
data/z3-4.8.9/src/api/api_datatype.cpp:387: datas ==> data
data/z3-4.8.9/src/api/api_datatype.cpp:387: datas ==> data
data/z3-4.8.9/src/api/api_fpa.cpp:746: flaot ==> float
data/z3-4.8.9/src/api/api_qe.cpp:122: lits ==> list
data/z3-4.8.9/src/api/api_qe.cpp:125: lits ==> list
data/z3-4.8.9/src/api/c++/z3++.h:1227: atleast ==> at least
data/z3-4.8.9/src/api/c++/z3++.h:2097: atleast ==> at least
data/z3-4.8.9/src/api/dotnet/Fixedpoint.cs:181: ans ==> and
data/z3-4.8.9/src/api/dotnet/Fixedpoint.cs:182: ans ==> and
data/z3-4.8.9/src/api/dotnet/Fixedpoint.cs:182: ans ==> and
data/z3-4.8.9/src/api/java/Fixedpoint.java:181: ans ==> and
data/z3-4.8.9/src/api/java/Fixedpoint.java:182: ans ==> and
data/z3-4.8.9/src/api/java/Fixedpoint.java:182: ans ==> and
data/z3-4.8.9/src/api/julia/z3jl.cpp:71: foward ==> forward
data/z3-4.8.9/src/api/julia/z3jl.cpp:301: atleast ==> at least
data/z3-4.8.9/src/api/julia/z3jl.cpp:301: atleast ==> at least
data/z3-4.8.9/src/api/ml/README.md:42: depedency ==> dependency
data/z3-4.8.9/src/api/python/setup.py:268: nIn ==> inn, min, bin, nine
data/z3-4.8.9/src/api/python/z3/z3.py:7895: som ==> some
data/z3-4.8.9/src/api/python/z3/z3.py:7909: som ==> some
data/z3-4.8.9/src/api/python/z3/z3.py:8248: som ==> some
data/z3-4.8.9/src/api/python/z3/z3.py:8385: AtLeast ==> at least
data/z3-4.8.9/src/api/python/z3/z3.py:8389: AtLeast ==> at least
data/z3-4.8.9/src/api/python/z3/z3.py:10592: throuh ==> through
data/z3-4.8.9/src/api/python/z3/z3util.py:493: exampels ==> examples
data/z3-4.8.9/src/ast/datatype_decl_plugin.cpp:277: symol ==> symbol
data/z3-4.8.9/src/ast/display_dimacs.cpp:32: lits ==> list
data/z3-4.8.9/src/ast/display_dimacs.cpp:35: lits ==> list
data/z3-4.8.9/src/ast/display_dimacs.cpp:39: lits ==> list
data/z3-4.8.9/src/ast/display_dimacs.cpp:42: lits ==> list
data/z3-4.8.9/src/ast/display_dimacs.cpp:72: lits ==> list
data/z3-4.8.9/src/ast/display_dimacs.cpp:75: lits ==> list
data/z3-4.8.9/src/ast/display_dimacs.cpp:79: lits ==> list
data/z3-4.8.9/src/ast/display_dimacs.cpp:82: lits ==> list
data/z3-4.8.9/src/ast/display_dimacs.cpp:96: lits ==> list
data/z3-4.8.9/src/ast/display_dimacs.cpp:99: lits ==> list
data/z3-4.8.9/src/ast/display_dimacs.cpp:103: lits ==> list
data/z3-4.8.9/src/ast/display_dimacs.cpp:106: lits ==> list
data/z3-4.8.9/src/ast/seq_decl_plugin.h:444: uninitialzed ==> uninitialized
data/z3-4.8.9/src/ast/special_relations_decl_plugin.cpp:41: missmatch ==> mismatch
data/z3-4.8.9/src/ast/fpa/fpa2bv_converter.cpp:3871: lastr ==> last
data/z3-4.8.9/src/ast/fpa/fpa2bv_converter.cpp:3876: lastr ==> last
data/z3-4.8.9/src/ast/macros/macro_finder.cpp:68: replacable ==> replicable, replaceable
data/z3-4.8.9/src/ast/macros/macro_manager.cpp:298: nd ==> and, 2nd
data/z3-4.8.9/src/ast/normal_forms/defined_names.cpp:42: observ ==> observe
data/z3-4.8.9/src/ast/proofs/proof_utils.cpp:607: poped ==> popped, pooped
data/z3-4.8.9/src/ast/rewriter/arith_rewriter.cpp:1096: nd ==> and, 2nd
data/z3-4.8.9/src/ast/rewriter/arith_rewriter.cpp:1101: nd ==> and, 2nd
data/z3-4.8.9/src/ast/rewriter/arith_rewriter.cpp:1826: fo ==> of, for
data/z3-4.8.9/src/ast/rewriter/bv_rewriter.cpp:258: aadd ==> add
data/z3-4.8.9/src/ast/rewriter/bv_rewriter.cpp:260: aadd ==> add
data/z3-4.8.9/src/ast/rewriter/bv_rewriter.cpp:264: aadd ==> add
data/z3-4.8.9/src/ast/rewriter/bv_rewriter.cpp:272: aadd ==> add
data/z3-4.8.9/src/ast/rewriter/bv_rewriter.cpp:278: aadd ==> add
data/z3-4.8.9/src/ast/rewriter/bv_rewriter.cpp:284: aadd ==> add
data/z3-4.8.9/src/ast/rewriter/bv_rewriter.cpp:940: allone ==> alone, all one
data/z3-4.8.9/src/ast/rewriter/bv_rewriter.cpp:942: allone ==> alone, all one
data/z3-4.8.9/src/ast/rewriter/bv_rewriter.h:182: resul ==> result
data/z3-4.8.9/src/ast/rewriter/inj_axiom.cpp:78: Cadidate ==> Candidate
data/z3-4.8.9/src/ast/rewriter/pb2bv_rewriter.cpp:535: partitoned ==> partitioned
data/z3-4.8.9/src/ast/rewriter/pb2bv_rewriter.cpp:907: lits ==> list
data/z3-4.8.9/src/ast/rewriter/pb2bv_rewriter.cpp:907: lits ==> list
data/z3-4.8.9/src/ast/rewriter/pb2bv_rewriter.cpp:908: lits ==> list
data/z3-4.8.9/src/ast/rewriter/pb2bv_rewriter.cpp:908: lits ==> list
data/z3-4.8.9/src/ast/rewriter/pb2bv_rewriter.cpp:923: lits ==> list
data/z3-4.8.9/src/ast/rewriter/pb2bv_rewriter.cpp:924: lits ==> list
data/z3-4.8.9/src/ast/rewriter/pb_rewriter_def.h:64: coallesce ==> coalesce
data/z3-4.8.9/src/ast/rewriter/poly_rewriter.h:86: som ==> some
data/z3-4.8.9/src/ast/rewriter/poly_rewriter.h:105: som ==> some
data/z3-4.8.9/src/ast/rewriter/poly_rewriter.h:106: som ==> some
data/z3-4.8.9/src/ast/rewriter/poly_rewriter_def.h:33: som ==> some
data/z3-4.8.9/src/ast/rewriter/poly_rewriter_def.h:376: som ==> some
data/z3-4.8.9/src/ast/rewriter/poly_rewriter_def.h:376: som ==> some
data/z3-4.8.9/src/ast/rewriter/poly_rewriter_def.h:378: som ==> some
data/z3-4.8.9/src/ast/rewriter/poly_rewriter_def.h:867: som ==> some
data/z3-4.8.9/src/ast/rewriter/poly_rewriter_def.h:872: som ==> some
data/z3-4.8.9/src/ast/rewriter/poly_rewriter_def.h:904: som ==> some
data/z3-4.8.9/src/ast/rewriter/quant_hoist.cpp:73: nd ==> and, 2nd
data/z3-4.8.9/src/ast/rewriter/quant_hoist.cpp:74: nd ==> and, 2nd
data/z3-4.8.9/src/ast/rewriter/quant_hoist.cpp:81: nd ==> and, 2nd
data/z3-4.8.9/src/ast/rewriter/seq_rewriter.cpp:3016: analagous ==> analogous
data/z3-4.8.9/src/cmd_context/cmd_context.cpp:1342: ans ==> and
data/z3-4.8.9/src/cmd_context/cmd_context.cpp:1343: ans ==> and
data/z3-4.8.9/src/cmd_context/cmd_context.cpp:1344: ans ==> and
data/z3-4.8.9/src/cmd_context/cmd_context.cpp:1346: ans ==> and
data/z3-4.8.9/src/cmd_context/simplify_cmd.cpp:72: som ==> some
data/z3-4.8.9/src/cmd_context/extra_cmds/dbg_cmds.cpp:534: lits ==> list
data/z3-4.8.9/src/cmd_context/extra_cmds/dbg_cmds.cpp:536: lits ==> list
data/z3-4.8.9/src/cmd_context/extra_cmds/dbg_cmds.cpp:537: lits ==> list
data/z3-4.8.9/src/cmd_context/extra_cmds/dbg_cmds.cpp:542: lits ==> list
data/z3-4.8.9/src/cmd_context/extra_cmds/dbg_cmds.cpp:552: lits ==> list
data/z3-4.8.9/src/cmd_context/extra_cmds/dbg_cmds.cpp:553: lits ==> list
data/z3-4.8.9/src/math/automata/symbolic_automata.h:97: ba ==> by, be
data/z3-4.8.9/src/math/automata/symbolic_automata.h:97: ba ==> by, be
data/z3-4.8.9/src/math/grobner/pdd_simplifier.cpp:22: varible ==> variable
data/z3-4.8.9/src/math/grobner/pdd_solver.cpp:463: labled ==> labeled, labelled
data/z3-4.8.9/src/math/interval/dep_intervals.cpp:10: depedency ==> dependency
data/z3-4.8.9/src/math/interval/dep_intervals.h:10: depedency ==> dependency
data/z3-4.8.9/src/math/lp/cross_nested.h:185: occurences ==> occurrences
data/z3-4.8.9/src/math/lp/cross_nested.h:187: occurences ==> occurrences
data/z3-4.8.9/src/math/lp/cross_nested.h:339: occurences ==> occurrences
data/z3-4.8.9/src/math/lp/emonics.cpp:521: varible ==> variable
data/z3-4.8.9/src/math/lp/emonics.cpp:529: missmatch ==> mismatch
data/z3-4.8.9/src/math/lp/lp_primal_core_solver.h:73: mimicing ==> mimicking
data/z3-4.8.9/src/math/lp/lp_primal_simplex_def.h:238: ot ==> to, of, or
data/z3-4.8.9/src/math/lp/mps_reader.h:23: reperesenting ==> representing
data/z3-4.8.9/src/math/lp/nex_creator.h:16: occurences ==> occurrences
data/z3-4.8.9/src/math/lp/nex_creator.h:17: occurences ==> occurrences
data/z3-4.8.9/src/math/lp/nla_order_lemmas.cpp:303: fo ==> of, for
data/z3-4.8.9/src/math/lp/numeric_pair.h:254: precize ==> precise
data/z3-4.8.9/src/math/lp/numeric_pair.h:254: precize ==> precise
data/z3-4.8.9/src/math/polynomial/polynomial.cpp:797: cancelation ==> cancellation
data/z3-4.8.9/src/math/polynomial/polynomial.cpp:4024: som ==> some
data/z3-4.8.9/src/math/polynomial/polynomial.cpp:5815: nd ==> and, 2nd
data/z3-4.8.9/src/math/polynomial/polynomial.cpp:5883: nd ==> and, 2nd
data/z3-4.8.9/src/math/polynomial/upolynomial.cpp:930: nd ==> and, 2nd
data/z3-4.8.9/src/math/polynomial/upolynomial.cpp:3091: nD ==> and, 2nd
data/z3-4.8.9/src/math/polynomial/upolynomial_factorization_int.h:234: increse ==> increase
data/z3-4.8.9/src/math/subpaving/tactic/subpaving_tactic.cpp:276: som ==> some
data/z3-4.8.9/src/model/datatype_factory.cpp:89: argumet ==> argument
data/z3-4.8.9/src/muz/base/bind_variables.h:10: declard ==> declared
data/z3-4.8.9/src/muz/base/dl_rule_set.cpp:408: strat ==> start, strata
data/z3-4.8.9/src/muz/base/dl_rule_set.cpp:514: strat ==> start, strata
data/z3-4.8.9/src/muz/base/dl_rule_set.cpp:520: strat ==> start, strata
data/z3-4.8.9/src/muz/clp/clp_context.cpp:97: ans ==> and
data/z3-4.8.9/src/muz/clp/clp_context.cpp:98: ans ==> and
data/z3-4.8.9/src/muz/ddnf/ddnf.cpp:537: ans ==> and
data/z3-4.8.9/src/muz/ddnf/ddnf.cpp:538: ans ==> and
data/z3-4.8.9/src/muz/rel/dl_base.h:76: Termplate ==> Template
data/z3-4.8.9/src/muz/rel/dl_compiler.cpp:818: aci ==> acpi
data/z3-4.8.9/src/muz/rel/dl_compiler.cpp:819: aci ==> acpi
data/z3-4.8.9/src/muz/rel/dl_compiler.cpp:827: aci ==> acpi
data/z3-4.8.9/src/muz/rel/dl_compiler.cpp:828: aci ==> acpi
data/z3-4.8.9/src/muz/rel/dl_compiler.cpp:829: aci ==> acpi
data/z3-4.8.9/src/muz/rel/dl_compiler.cpp:839: aci ==> acpi
data/z3-4.8.9/src/muz/rel/dl_compiler.cpp:840: aci ==> acpi
data/z3-4.8.9/src/muz/rel/dl_compiler.cpp:847: aci ==> acpi
data/z3-4.8.9/src/muz/rel/dl_compiler.cpp:848: aci ==> acpi
data/z3-4.8.9/src/muz/rel/dl_compiler.cpp:850: aci ==> acpi
data/z3-4.8.9/src/muz/rel/dl_finite_product_relation.cpp:371: correspont ==> correspond
data/z3-4.8.9/src/muz/rel/dl_mk_explanations.cpp:503: assignemnt ==> assignment
data/z3-4.8.9/src/muz/rel/dl_sieve_relation.cpp:162: separetely ==> separately
data/z3-4.8.9/src/muz/rel/dl_table_plugin.h:30: Termplate ==> Template
data/z3-4.8.9/src/muz/rel/karr_relation.cpp:113: mone ==> mono, money, none
data/z3-4.8.9/src/muz/rel/karr_relation.cpp:128: mone ==> mono, money, none
data/z3-4.8.9/src/muz/rel/karr_relation.cpp:134: mone ==> mono, money, none
data/z3-4.8.9/src/muz/rel/karr_relation.cpp:140: mone ==> mono, money, none
data/z3-4.8.9/src/muz/rel/karr_relation.cpp:146: mone ==> mono, money, none
data/z3-4.8.9/src/muz/rel/karr_relation.cpp:152: mone ==> mono, money, none
data/z3-4.8.9/src/muz/rel/rel_context.cpp:246: ans ==> and
data/z3-4.8.9/src/muz/rel/rel_context.cpp:260: ans ==> and
data/z3-4.8.9/src/muz/rel/rel_context.cpp:264: ans ==> and
data/z3-4.8.9/src/muz/rel/rel_context.cpp:264: ans ==> and
data/z3-4.8.9/src/muz/spacer/spacer_arith_generalizers.cpp:70: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_arith_generalizers.cpp:78: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_arith_generalizers.cpp:79: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_arith_generalizers.cpp:80: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_arith_generalizers.cpp:81: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_arith_generalizers.cpp:150: limitted ==> limited
data/z3-4.8.9/src/muz/spacer/spacer_arith_generalizers.cpp:151: limitted ==> limited
data/z3-4.8.9/src/muz/spacer/spacer_context.cpp:282: unexpectendly ==> unexpectedly
data/z3-4.8.9/src/muz/spacer/spacer_context.cpp:1105: dissallow ==> disallow
data/z3-4.8.9/src/muz/spacer/spacer_context.cpp:3853: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_context.cpp:3854: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_context.cpp:3874: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_farkas_learner.cpp:11: strenghtening ==> strengthening
data/z3-4.8.9/src/muz/spacer/spacer_farkas_learner.cpp:55: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_farkas_learner.cpp:61: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_farkas_learner.cpp:320: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_farkas_learner.cpp:349: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_farkas_learner.cpp:369: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_farkas_learner.cpp:374: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_farkas_learner.cpp:377: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_generalizers.cpp:268: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_generalizers.cpp:269: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_generalizers.cpp:274: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_generalizers.cpp:276: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_generalizers.cpp:284: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_generalizers.cpp:286: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_generalizers.cpp:297: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_generalizers.cpp:303: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_generalizers.cpp:305: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_generalizers.h:173: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_manager.h:106: homogenous ==> homogeneous
data/z3-4.8.9/src/muz/spacer/spacer_manager.h:107: homogenous ==> homogeneous
data/z3-4.8.9/src/muz/spacer/spacer_manager.h:110: homogenous ==> homogeneous
data/z3-4.8.9/src/muz/spacer/spacer_manager.h:111: homogenous ==> homogeneous
data/z3-4.8.9/src/muz/spacer/spacer_manager.h:113: homogenous ==> homogeneous
data/z3-4.8.9/src/muz/spacer/spacer_manager.h:115: homogenous ==> homogeneous
data/z3-4.8.9/src/muz/spacer/spacer_manager.h:118: homogenous ==> homogeneous
data/z3-4.8.9/src/muz/spacer/spacer_manager.h:120: homogenous ==> homogeneous
data/z3-4.8.9/src/muz/spacer/spacer_mbc.cpp:77: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_mbc.cpp:86: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_mbc.cpp:97: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_mbc.h:37: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_mbc.h:39: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_pdr.cpp:330: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_pdr.cpp:331: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_pdr.cpp:333: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_proof_utils.cpp:766: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_proof_utils.cpp:771: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_proof_utils.cpp:775: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_proof_utils.cpp:780: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_proof_utils.cpp:784: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_proof_utils.cpp:788: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_proof_utils.cpp:789: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_proof_utils.cpp:795: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_proof_utils.cpp:798: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_proof_utils.cpp:804: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:335: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:348: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:354: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:355: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:358: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:360: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:368: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:390: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:429: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:430: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:446: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:456: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:469: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:470: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:476: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:477: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:479: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:502: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:505: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:527: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:592: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:614: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1038: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1040: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1044: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1046: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1048: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1048: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1070: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1090: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1099: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1142: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1145: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1147: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1176: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1178: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1234: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1243: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1253: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1255: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1256: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1619: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1686: nd ==> and, 2nd
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1688: nd ==> and, 2nd
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1689: nd ==> and, 2nd
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1693: nd ==> and, 2nd
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1703: nd ==> and, 2nd
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1705: nd ==> and, 2nd
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1711: nd ==> and, 2nd
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1733: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1737: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1738: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1739: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1740: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1740: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1953: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1954: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1955: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1956: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1957: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:1957: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:2152: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:2153: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:2154: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:2155: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:2156: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:2156: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:2169: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:2186: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:2246: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.cpp:2249: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.h:28: Lits ==> List
data/z3-4.8.9/src/muz/spacer/spacer_qe_project.h:31: lits ==> list
data/z3-4.8.9/src/muz/spacer/spacer_sym_mux.cpp:138: homogenous ==> homogeneous
data/z3-4.8.9/src/muz/spacer/spacer_sym_mux.cpp:143: homogenous ==> homogeneous
data/z3-4.8.9/src/muz/spacer/spacer_sym_mux.cpp:163: homogenous ==> homogeneous
data/z3-4.8.9/src/muz/spacer/spacer_sym_mux.cpp:166: homogenous ==> homogeneous
data/z3-4.8.9/src/muz/spacer/spacer_sym_mux.h:83: homogenous ==> homogeneous
data/z3-4.8.9/src/muz/spacer/spacer_sym_mux.h:87: homogenous ==> homogeneous
data/z3-4.8.9/src/muz/spacer/spacer_unsat_core_plugin.cpp:112: ure ==> sure, ire, are, urea, rue
data/z3-4.8.9/src/muz/spacer/spacer_util.cpp:698: som ==> some
data/z3-4.8.9/src/muz/tab/tab_context.cpp:1393: ans ==> and
data/z3-4.8.9/src/muz/tab/tab_context.cpp:1394: ans ==> and
data/z3-4.8.9/src/muz/transforms/dl_mk_filter_rules.cpp:52: cadidate ==> candidate
data/z3-4.8.9/src/muz/transforms/dl_mk_magic_sets.cpp:130: adn ==> and
data/z3-4.8.9/src/muz/transforms/dl_mk_magic_sets.cpp:131: adn ==> and
data/z3-4.8.9/src/muz/transforms/dl_mk_magic_sets.cpp:132: adn ==> and
data/z3-4.8.9/src/muz/transforms/dl_mk_magic_sets.cpp:134: adn ==> and
data/z3-4.8.9/src/muz/transforms/dl_mk_magic_sets.cpp:139: adn ==> and
data/z3-4.8.9/src/muz/transforms/dl_mk_magic_sets.cpp:140: adn ==> and
data/z3-4.8.9/src/muz/transforms/dl_mk_magic_sets.cpp:152: adn ==> and
data/z3-4.8.9/src/muz/transforms/dl_mk_magic_sets.cpp:157: adn ==> and
data/z3-4.8.9/src/muz/transforms/dl_mk_magic_sets.cpp:168: adn ==> and
data/z3-4.8.9/src/muz/transforms/dl_mk_magic_symbolic.cpp:129: ans ==> and
data/z3-4.8.9/src/muz/transforms/dl_mk_rule_inliner.cpp:491: strat ==> start, strata
data/z3-4.8.9/src/muz/transforms/dl_mk_rule_inliner.cpp:493: strat ==> start, strata
data/z3-4.8.9/src/muz/transforms/dl_mk_rule_inliner.cpp:498: strat ==> start, strata
data/z3-4.8.9/src/muz/transforms/dl_mk_rule_inliner.cpp:518: strat ==> start, strata
data/z3-4.8.9/src/muz/transforms/dl_mk_rule_inliner.cpp:564: strat ==> start, strata
data/z3-4.8.9/src/muz/transforms/dl_mk_rule_inliner.h:152: strat ==> start, strata
data/z3-4.8.9/src/muz/transforms/dl_mk_slice.cpp:28: slicable ==> sliceable
data/z3-4.8.9/src/nlsat/nlsat_clause.cpp:23: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_clause.cpp:31: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_clause.h:37: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_explain.cpp:1506: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_explain.cpp:1517: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_explain.cpp:1518: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_explain.cpp:1518: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_explain.cpp:1560: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_explain.cpp:1566: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_explain.cpp:1809: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_explain.cpp:1811: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_explain.cpp:1812: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_explain.cpp:1812: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_justification.h:45: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_justification.h:52: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_justification.h:56: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_justification.h:57: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_justification.h:97: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_justification.h:99: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_solver.cpp:149: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_solver.cpp:150: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_solver.cpp:150: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_solver.cpp:150: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_solver.cpp:152: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_solver.cpp:152: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_solver.cpp:863: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_solver.cpp:865: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_solver.cpp:867: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_solver.cpp:867: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_solver.cpp:917: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_solver.cpp:921: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_solver.cpp:923: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_solver.cpp:928: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_solver.cpp:930: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_solver.cpp:949: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_solver.cpp:955: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_solver.cpp:957: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_solver.cpp:1818: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_solver.cpp:2709: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_solver.cpp:2744: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_solver.cpp:2757: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_solver.cpp:2762: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_solver.cpp:2773: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_solver.cpp:2778: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_solver.cpp:2786: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_solver.cpp:2790: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_solver.cpp:2790: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_solver.cpp:2984: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_solver.cpp:3654: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_solver.cpp:3655: lits ==> list
data/z3-4.8.9/src/nlsat/nlsat_solver.h:120: lits ==> list
data/z3-4.8.9/src/nlsat/tactic/goal2nlsat.cpp:238: lits ==> list
data/z3-4.8.9/src/nlsat/tactic/goal2nlsat.cpp:241: lits ==> list
data/z3-4.8.9/src/nlsat/tactic/goal2nlsat.cpp:245: lits ==> list
data/z3-4.8.9/src/nlsat/tactic/goal2nlsat.cpp:249: lits ==> list
data/z3-4.8.9/src/opt/maxres.cpp:24: assignmet ==> assignment
data/z3-4.8.9/src/opt/maxsmt.cpp:124: wth ==> with
data/z3-4.8.9/src/opt/maxsmt.cpp:125: wth ==> with
data/z3-4.8.9/src/opt/maxsmt.cpp:129: wth ==> with
data/z3-4.8.9/src/opt/maxsmt.cpp:130: wth ==> with
data/z3-4.8.9/src/opt/maxsmt.cpp:139: wth ==> with
data/z3-4.8.9/src/opt/pb_sls.cpp:541: lits ==> list
data/z3-4.8.9/src/opt/pb_sls.cpp:544: lits ==> list
data/z3-4.8.9/src/opt/pb_sls.cpp:547: lits ==> list
data/z3-4.8.9/src/opt/pb_sls.cpp:551: lits ==> list
data/z3-4.8.9/src/opt/pb_sls.cpp:557: lits ==> list
data/z3-4.8.9/src/opt/pb_sls.cpp:559: lits ==> list
data/z3-4.8.9/src/opt/pb_sls.cpp:561: lits ==> list
data/z3-4.8.9/src/opt/pb_sls.cpp:562: lits ==> list
data/z3-4.8.9/src/opt/pb_sls.cpp:570: lits ==> list
data/z3-4.8.9/src/opt/pb_sls.cpp:573: lits ==> list
data/z3-4.8.9/src/opt/pb_sls.cpp:576: lits ==> list
data/z3-4.8.9/src/opt/pb_sls.cpp:580: lits ==> list
data/z3-4.8.9/src/opt/pb_sls.cpp:587: lits ==> list
data/z3-4.8.9/src/opt/pb_sls.cpp:589: lits ==> list
data/z3-4.8.9/src/opt/pb_sls.cpp:590: lits ==> list
data/z3-4.8.9/src/opt/sortmax.cpp:145: lits ==> list
data/z3-4.8.9/src/opt/sortmax.cpp:146: lits ==> list
data/z3-4.8.9/src/opt/wmax.cpp:56: wth ==> with
data/z3-4.8.9/src/opt/wmax.cpp:68: wth ==> with
data/z3-4.8.9/src/opt/wmax.cpp:73: wth ==> with
data/z3-4.8.9/src/opt/wmax.cpp:92: wth ==> with
data/z3-4.8.9/src/opt/wmax.cpp:93: wth ==> with
data/z3-4.8.9/src/opt/wmax.cpp:96: wth ==> with
data/z3-4.8.9/src/opt/wmax.cpp:100: wth ==> with
data/z3-4.8.9/src/opt/wmax.cpp:101: wth ==> with
data/z3-4.8.9/src/params/poly_rewriter_params.pyg:4: som ==> some
data/z3-4.8.9/src/qe/nlarith_util.cpp:38: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:114: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:126: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:130: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:157: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:744: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:754: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:758: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:763: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:768: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:773: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:777: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:781: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:794: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:797: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:800: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1652: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1653: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1654: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1655: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1656: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1657: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1658: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1667: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1696: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1699: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1700: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1702: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1704: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1704: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1718: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1754: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1755: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1756: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1757: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1761: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1768: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1770: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1771: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1772: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1773: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1773: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1776: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1800: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1800: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1801: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1801: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1803: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1804: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1822: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1823: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1825: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1826: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1827: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1827: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1827: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1827: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1832: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1832: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1833: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1833: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1836: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1836: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1887: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1891: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1892: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1892: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1904: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1907: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1910: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1915: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1925: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1931: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1933: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1936: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:1937: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:2005: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:2006: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:2015: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:2016: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:2019: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:2020: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:2023: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.cpp:2024: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.h:96: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.h:110: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.h:137: lits ==> list
data/z3-4.8.9/src/qe/nlarith_util.h:142: lits ==> list
data/z3-4.8.9/src/qe/nlqsat.cpp:189: lits ==> list
data/z3-4.8.9/src/qe/nlqsat.cpp:193: lits ==> list
data/z3-4.8.9/src/qe/nlqsat.cpp:196: lits ==> list
data/z3-4.8.9/src/qe/nlqsat.cpp:199: lits ==> list
data/z3-4.8.9/src/qe/nlqsat.cpp:416: lits ==> list
data/z3-4.8.9/src/qe/nlqsat.cpp:417: lits ==> list
data/z3-4.8.9/src/qe/nlqsat.cpp:417: lits ==> list
data/z3-4.8.9/src/qe/qe.cpp:2288: nd ==> and, 2nd
data/z3-4.8.9/src/qe/qe.cpp:2289: nd ==> and, 2nd
data/z3-4.8.9/src/qe/qe_arith.cpp:283: lits ==> list
data/z3-4.8.9/src/qe/qe_arith.cpp:287: lits ==> list
data/z3-4.8.9/src/qe/qe_arith.cpp:290: lits ==> list
data/z3-4.8.9/src/qe/qe_arith.cpp:580: coefficeint ==> coefficient
data/z3-4.8.9/src/qe/qe_arith.cpp:597: lits ==> list
data/z3-4.8.9/src/qe/qe_arith.cpp:598: lits ==> list
data/z3-4.8.9/src/qe/qe_arith.cpp:601: lits ==> list
data/z3-4.8.9/src/qe/qe_arith.cpp:602: lits ==> list
data/z3-4.8.9/src/qe/qe_arith.cpp:605: lits ==> list
data/z3-4.8.9/src/qe/qe_arith.cpp:606: lits ==> list
data/z3-4.8.9/src/qe/qe_arith.cpp:613: lits ==> list
data/z3-4.8.9/src/qe/qe_arith.cpp:614: lits ==> list
data/z3-4.8.9/src/qe/qe_arith.cpp:625: lits ==> list
data/z3-4.8.9/src/qe/qe_arith.cpp:630: lits ==> list
data/z3-4.8.9/src/qe/qe_arith.cpp:631: lits ==> list
data/z3-4.8.9/src/qe/qe_arith.cpp:634: lits ==> list
data/z3-4.8.9/src/qe/qe_arith.h:18: Lits ==> List
data/z3-4.8.9/src/qe/qe_arith.h:28: lits ==> list
data/z3-4.8.9/src/qe/qe_arith.h:29: lits ==> list
data/z3-4.8.9/src/qe/qe_arith.h:31: lits ==> list
data/z3-4.8.9/src/qe/qe_arith.h:32: lits ==> list
data/z3-4.8.9/src/qe/qe_arith.h:33: lits ==> list
data/z3-4.8.9/src/qe/qe_arith.h:44: lits ==> list
data/z3-4.8.9/src/qe/qe_arith_plugin.cpp:2499: lits ==> list
data/z3-4.8.9/src/qe/qe_arith_plugin.cpp:2500: lits ==> list
data/z3-4.8.9/src/qe/qe_arith_plugin.cpp:2501: lits ==> list
data/z3-4.8.9/src/qe/qe_arith_plugin.cpp:2506: lits ==> list
data/z3-4.8.9/src/qe/qe_arith_plugin.cpp:2506: lits ==> list
data/z3-4.8.9/src/qe/qe_arith_plugin.cpp:2594: lits ==> list
data/z3-4.8.9/src/qe/qe_arith_plugin.cpp:2596: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:538: nd ==> and, 2nd
data/z3-4.8.9/src/qe/qe_arrays.cpp:539: nd ==> and, 2nd
data/z3-4.8.9/src/qe/qe_arrays.cpp:539: nd ==> and, 2nd
data/z3-4.8.9/src/qe/qe_arrays.cpp:546: nd ==> and, 2nd
data/z3-4.8.9/src/qe/qe_arrays.cpp:558: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:596: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:600: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:601: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:602: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:603: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:835: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:836: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:837: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:838: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:839: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1103: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1115: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1125: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1197: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1201: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1202: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1203: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1204: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1213: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1217: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1221: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1224: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1225: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1228: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1229: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1230: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1231: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1232: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1234: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1239: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1244: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1245: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1246: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1253: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1280: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1281: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1282: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1299: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1300: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1305: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1309: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1311: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1361: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1364: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1374: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1375: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1388: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1389: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1391: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1403: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1487: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1504: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1514: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1521: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1523: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1527: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1532: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1536: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1546: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1547: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1554: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1559: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1565: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1582: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1585: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1587: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1588: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1592: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1593: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1627: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1631: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.cpp:1632: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.h:34: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.h:35: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.h:38: lits ==> list
data/z3-4.8.9/src/qe/qe_arrays.h:39: lits ==> list
data/z3-4.8.9/src/qe/qe_datatype_plugin.cpp:93: Lits ==> List
data/z3-4.8.9/src/qe/qe_datatype_plugin.cpp:95: Lits ==> List
data/z3-4.8.9/src/qe/qe_datatypes.cpp:40: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.cpp:41: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.cpp:44: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.cpp:50: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.cpp:58: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.cpp:61: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.cpp:71: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.cpp:87: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.cpp:90: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.cpp:93: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.cpp:94: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.cpp:95: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.cpp:96: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.cpp:97: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.cpp:106: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.cpp:109: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.cpp:115: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.cpp:116: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.cpp:117: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.cpp:119: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.cpp:194: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.cpp:208: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.cpp:209: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.cpp:210: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.cpp:211: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.cpp:215: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.cpp:220: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.cpp:236: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.cpp:239: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.cpp:296: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.cpp:297: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.cpp:300: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.cpp:301: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.cpp:304: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.cpp:308: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.h:34: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.h:35: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.h:37: lits ==> list
data/z3-4.8.9/src/qe/qe_datatypes.h:38: lits ==> list
data/z3-4.8.9/src/qe/qe_lite.cpp:905: lits ==> list
data/z3-4.8.9/src/qe/qe_lite.cpp:1153: lits ==> list
data/z3-4.8.9/src/qe/qe_lite.cpp:1169: lits ==> list
data/z3-4.8.9/src/qe/qe_lite.cpp:1539: lits ==> list
data/z3-4.8.9/src/qe/qe_lite.cpp:1543: lits ==> list
data/z3-4.8.9/src/qe/qe_lite.cpp:1545: lits ==> list
data/z3-4.8.9/src/qe/qe_lite.cpp:1548: lits ==> list
data/z3-4.8.9/src/qe/qe_lite.cpp:1549: lits ==> list
data/z3-4.8.9/src/qe/qe_lite.cpp:1550: lits ==> list
data/z3-4.8.9/src/qe/qe_lite.cpp:1552: lits ==> list
data/z3-4.8.9/src/qe/qe_lite.cpp:1552: lits ==> list
data/z3-4.8.9/src/qe/qe_lite.cpp:1617: lits ==> list
data/z3-4.8.9/src/qe/qe_lite.cpp:1639: lits ==> list
data/z3-4.8.9/src/qe/qe_lite.cpp:1697: lits ==> list
data/z3-4.8.9/src/qe/qe_lite.cpp:1698: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:82: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:84: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:128: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:129: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:132: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:133: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:137: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:142: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:145: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:155: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:156: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:209: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:210: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:214: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:217: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:220: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:223: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:227: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:228: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:245: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:249: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:262: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:266: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:269: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:272: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:273: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:277: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:278: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:279: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:284: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:287: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:294: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:302: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:304: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:307: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:309: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:310: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:315: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:316: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:317: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:318: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:320: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:322: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:326: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:330: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:356: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:358: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:361: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:361: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:362: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:368: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:371: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:386: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:393: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:399: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:408: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:412: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:413: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:414: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:415: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:435: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:436: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:437: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:439: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:450: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:462: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:469: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:469: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:472: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:478: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:479: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:485: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:485: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:503: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:506: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:507: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:509: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:513: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.cpp:514: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.h:75: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.h:81: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.h:83: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.h:84: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.h:84: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.h:86: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.h:86: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.h:90: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.h:93: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.h:95: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.h:100: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.h:109: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.h:110: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.h:121: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.h:125: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.h:126: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.h:127: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.h:128: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.h:129: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.h:130: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.h:131: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.h:137: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.h:138: lits ==> list
data/z3-4.8.9/src/qe/qe_mbi.h:139: lits ==> list
data/z3-4.8.9/src/qe/qe_mbp.cpp:94: lits ==> list
data/z3-4.8.9/src/qe/qe_mbp.cpp:95: lits ==> list
data/z3-4.8.9/src/qe/qe_mbp.cpp:95: lits ==> list
data/z3-4.8.9/src/qe/qe_mbp.cpp:96: lits ==> list
data/z3-4.8.9/src/qe/qe_mbp.cpp:100: lits ==> list
data/z3-4.8.9/src/qe/qe_mbp.cpp:101: lits ==> list
data/z3-4.8.9/src/qe/qe_mbp.cpp:102: lits ==> list
data/z3-4.8.9/src/qe/qe_mbp.cpp:129: lits ==> list
data/z3-4.8.9/src/qe/qe_mbp.cpp:139: lits ==> list
data/z3-4.8.9/src/qe/qe_mbp.cpp:140: lits ==> list
data/z3-4.8.9/src/qe/qe_mbp.cpp:143: lits ==> list
data/z3-4.8.9/src/qe/qe_mbp.cpp:147: lits ==> list
data/z3-4.8.9/src/qe/qe_mbp.cpp:148: lits ==> list
data/z3-4.8.9/src/qe/qe_mbp.cpp:150: lits ==> list
data/z3-4.8.9/src/qe/qe_mbp.cpp:182: lits ==> list
data/z3-4.8.9/src/qe/qe_mbp.cpp:184: lits ==> list
data/z3-4.8.9/src/qe/qe_mbp.cpp:729: lits ==> list
data/z3-4.8.9/src/qe/qe_mbp.cpp:730: lits ==> list
data/z3-4.8.9/src/qe/qe_mbp.cpp:731: lits ==> list
data/z3-4.8.9/src/qe/qe_mbp.h:41: lits ==> list
data/z3-4.8.9/src/qe/qe_mbp.h:45: lits ==> list
data/z3-4.8.9/src/qe/qe_mbp.h:48: lits ==> list
data/z3-4.8.9/src/qe/qe_mbp.h:53: lits ==> list
data/z3-4.8.9/src/qe/qe_mbp.h:57: lits ==> list
data/z3-4.8.9/src/qe/qe_mbp.h:63: lits ==> list
data/z3-4.8.9/src/qe/qe_mbp.h:67: lits ==> list
data/z3-4.8.9/src/qe/qe_mbp.h:68: lits ==> list
data/z3-4.8.9/src/qe/qe_mbp.h:96: lits ==> list
data/z3-4.8.9/src/qe/qe_mbp.h:102: lits ==> list
data/z3-4.8.9/src/qe/qe_term_graph.cpp:281: lits ==> list
data/z3-4.8.9/src/qe/qe_term_graph.cpp:282: lits ==> list
data/z3-4.8.9/src/qe/qe_term_graph.cpp:283: lits ==> list
data/z3-4.8.9/src/qe/qe_term_graph.cpp:284: lits ==> list
data/z3-4.8.9/src/qe/qe_term_graph.cpp:289: lits ==> list
data/z3-4.8.9/src/qe/qe_term_graph.cpp:547: lits ==> list
data/z3-4.8.9/src/qe/qe_term_graph.cpp:552: lits ==> list
data/z3-4.8.9/src/qe/qe_term_graph.cpp:560: lits ==> list
data/z3-4.8.9/src/qe/qe_term_graph.cpp:562: lits ==> list
data/z3-4.8.9/src/qe/qe_term_graph.cpp:567: lits ==> list
data/z3-4.8.9/src/qe/qe_term_graph.cpp:568: lits ==> list
data/z3-4.8.9/src/qe/qe_term_graph.cpp:569: lits ==> list
data/z3-4.8.9/src/qe/qe_term_graph.cpp:1200: lits ==> list
data/z3-4.8.9/src/qe/qe_term_graph.cpp:1201: lits ==> list
data/z3-4.8.9/src/qe/qe_term_graph.cpp:1217: lits ==> list
data/z3-4.8.9/src/qe/qe_term_graph.cpp:1220: lits ==> list
data/z3-4.8.9/src/qe/qe_term_graph.h:99: lits ==> list
data/z3-4.8.9/src/qe/qe_term_graph.h:99: lits ==> list
data/z3-4.8.9/src/qe/qe_term_graph.h:105: lits ==> list
data/z3-4.8.9/src/qe/qe_term_graph.h:133: lits ==> list
data/z3-4.8.9/src/qe/qsat.cpp:118: assum ==> assume
data/z3-4.8.9/src/qe/qsat.cpp:119: assum ==> assume
data/z3-4.8.9/src/qe/qsat.cpp:121: assum ==> assume
data/z3-4.8.9/src/qe/qsat.cpp:122: assum ==> assume
data/z3-4.8.9/src/qe/qsat.cpp:123: assum ==> assume
data/z3-4.8.9/src/sat/dimacs.cpp:81: lits ==> list
data/z3-4.8.9/src/sat/dimacs.cpp:85: lits ==> list
data/z3-4.8.9/src/sat/dimacs.cpp:95: lits ==> list
data/z3-4.8.9/src/sat/dimacs.cpp:100: lits ==> list
data/z3-4.8.9/src/sat/dimacs.cpp:104: lits ==> list
data/z3-4.8.9/src/sat/dimacs.cpp:112: lits ==> list
data/z3-4.8.9/src/sat/dimacs.cpp:118: lits ==> list
data/z3-4.8.9/src/sat/dimacs.cpp:129: lits ==> list
data/z3-4.8.9/src/sat/dimacs.cpp:130: lits ==> list
data/z3-4.8.9/src/sat/dimacs.cpp:130: lits ==> list
data/z3-4.8.9/src/sat/sat_asymm_branch.cpp:70: hte ==> the
data/z3-4.8.9/src/sat/sat_bcd.cpp:87: lits ==> list
data/z3-4.8.9/src/sat/sat_bcd.cpp:88: lits ==> list
data/z3-4.8.9/src/sat/sat_big.cpp:32: lits ==> list
data/z3-4.8.9/src/sat/sat_binspr.cpp:267: lits ==> list
data/z3-4.8.9/src/sat/sat_binspr.cpp:269: lits ==> list
data/z3-4.8.9/src/sat/sat_binspr.cpp:270: lits ==> list
data/z3-4.8.9/src/sat/sat_binspr.h:87: lits ==> list
data/z3-4.8.9/src/sat/sat_clause.cpp:26: lits ==> list
data/z3-4.8.9/src/sat/sat_clause.cpp:38: lits ==> list
data/z3-4.8.9/src/sat/sat_clause.cpp:43: lits ==> list
data/z3-4.8.9/src/sat/sat_clause.cpp:46: lits ==> list
data/z3-4.8.9/src/sat/sat_clause.cpp:138: lits ==> list
data/z3-4.8.9/src/sat/sat_clause.cpp:145: lits ==> list
data/z3-4.8.9/src/sat/sat_clause.cpp:151: lits ==> list
data/z3-4.8.9/src/sat/sat_clause.cpp:155: lits ==> list
data/z3-4.8.9/src/sat/sat_clause.cpp:177: lits ==> list
data/z3-4.8.9/src/sat/sat_clause.cpp:180: lits ==> list
data/z3-4.8.9/src/sat/sat_clause.h:60: lits ==> list
data/z3-4.8.9/src/sat/sat_clause.h:96: lits ==> list
data/z3-4.8.9/src/sat/sat_clause.h:130: lits ==> list
data/z3-4.8.9/src/sat/sat_clause.h:147: lits ==> list
data/z3-4.8.9/src/sat/sat_cut_simplifier.cpp:121: lits ==> list
data/z3-4.8.9/src/sat/sat_cut_simplifier.cpp:122: lits ==> list
data/z3-4.8.9/src/sat/sat_cut_simplifier.cpp:123: lits ==> list
data/z3-4.8.9/src/sat/sat_cut_simplifier.cpp:130: lits ==> list
data/z3-4.8.9/src/sat/sat_cut_simplifier.cpp:132: lits ==> list
data/z3-4.8.9/src/sat/sat_cut_simplifier.cpp:138: lits ==> list
data/z3-4.8.9/src/sat/sat_cut_simplifier.cpp:139: lits ==> list
data/z3-4.8.9/src/sat/sat_cut_simplifier.cpp:144: lits ==> list
data/z3-4.8.9/src/sat/sat_cut_simplifier.cpp:145: lits ==> list
data/z3-4.8.9/src/sat/sat_cut_simplifier.cpp:150: lits ==> list
data/z3-4.8.9/src/sat/sat_cut_simplifier.cpp:151: lits ==> list
data/z3-4.8.9/src/sat/sat_drat.cpp:226: lits ==> list
data/z3-4.8.9/src/sat/sat_drat.cpp:228: lits ==> list
data/z3-4.8.9/src/sat/sat_drat.cpp:235: lits ==> list
data/z3-4.8.9/src/sat/sat_drat.cpp:237: lits ==> list
data/z3-4.8.9/src/sat/sat_drat.cpp:392: lits ==> list
data/z3-4.8.9/src/sat/sat_drat.cpp:393: lits ==> list
data/z3-4.8.9/src/sat/sat_drat.cpp:481: lits ==> list
data/z3-4.8.9/src/sat/sat_drat.cpp:482: lits ==> list
data/z3-4.8.9/src/sat/sat_drat.cpp:490: lits ==> list
data/z3-4.8.9/src/sat/sat_drat.cpp:491: lits ==> list
data/z3-4.8.9/src/sat/sat_drat.cpp:492: lits ==> list
data/z3-4.8.9/src/sat/sat_drat.cpp:492: lits ==> list
data/z3-4.8.9/src/sat/sat_drat.cpp:494: lits ==> list
data/z3-4.8.9/src/sat/sat_drat.cpp:518: lits ==> list
data/z3-4.8.9/src/sat/sat_drat.cpp:519: lits ==> list
data/z3-4.8.9/src/sat/sat_drat.cpp:553: lits ==> list
data/z3-4.8.9/src/sat/sat_drat.cpp:560: lits ==> list
data/z3-4.8.9/src/sat/sat_drat.cpp:572: lits ==> list
data/z3-4.8.9/src/sat/sat_drat.cpp:575: lits ==> list
data/z3-4.8.9/src/sat/sat_drat.cpp:758: lits ==> list
data/z3-4.8.9/src/sat/sat_drat.cpp:764: lits ==> list
data/z3-4.8.9/src/sat/sat_drat.cpp:766: lits ==> list
data/z3-4.8.9/src/sat/sat_drat.cpp:768: lits ==> list
data/z3-4.8.9/src/sat/sat_drat.cpp:768: lits ==> list
data/z3-4.8.9/src/sat/sat_drat.cpp:775: lits ==> list
data/z3-4.8.9/src/sat/sat_drat.cpp:775: lits ==> list
data/z3-4.8.9/src/sat/sat_drat.h:28: converison ==> conversion
data/z3-4.8.9/src/sat/sat_drat.h:43: ba ==> by, be
data/z3-4.8.9/src/sat/sat_drat.h:110: lits ==> list
data/z3-4.8.9/src/sat/sat_drat.h:142: lits ==> list
data/z3-4.8.9/src/sat/sat_drat.h:147: lits ==> list
data/z3-4.8.9/src/sat/sat_drat.h:147: lits ==> list
data/z3-4.8.9/src/sat/sat_drat.h:148: lits ==> list
data/z3-4.8.9/src/sat/sat_drat.h:148: lits ==> list
data/z3-4.8.9/src/sat/sat_drat.h:152: lits ==> list
data/z3-4.8.9/src/sat/sat_drat.h:152: lits ==> list
data/z3-4.8.9/src/sat/sat_drat.h:153: lits ==> list
data/z3-4.8.9/src/sat/sat_drat.h:153: lits ==> list
data/z3-4.8.9/src/sat/sat_elim_vars.cpp:103: lits ==> list
data/z3-4.8.9/src/sat/sat_elim_vars.cpp:104: lits ==> list
data/z3-4.8.9/src/sat/sat_elim_vars.cpp:160: lits ==> list
data/z3-4.8.9/src/sat/sat_elim_vars.cpp:165: lits ==> list
data/z3-4.8.9/src/sat/sat_elim_vars.cpp:166: lits ==> list
data/z3-4.8.9/src/sat/sat_elim_vars.cpp:200: lits ==> list
data/z3-4.8.9/src/sat/sat_elim_vars.cpp:201: lits ==> list
data/z3-4.8.9/src/sat/sat_elim_vars.cpp:202: lits ==> list
data/z3-4.8.9/src/sat/sat_elim_vars.cpp:203: lits ==> list
data/z3-4.8.9/src/sat/sat_elim_vars.cpp:204: lits ==> list
data/z3-4.8.9/src/sat/sat_elim_vars.cpp:205: lits ==> list
data/z3-4.8.9/src/sat/sat_elim_vars.cpp:210: lits ==> list
data/z3-4.8.9/src/sat/sat_elim_vars.cpp:215: lits ==> list
data/z3-4.8.9/src/sat/sat_elim_vars.cpp:216: lits ==> list
data/z3-4.8.9/src/sat/sat_elim_vars.cpp:216: lits ==> list
data/z3-4.8.9/src/sat/sat_elim_vars.cpp:220: lits ==> list
data/z3-4.8.9/src/sat/sat_elim_vars.cpp:229: lits ==> list
data/z3-4.8.9/src/sat/sat_elim_vars.cpp:230: lits ==> list
data/z3-4.8.9/src/sat/sat_elim_vars.cpp:231: lits ==> list
data/z3-4.8.9/src/sat/sat_elim_vars.cpp:232: lits ==> list
data/z3-4.8.9/src/sat/sat_elim_vars.cpp:233: lits ==> list
data/z3-4.8.9/src/sat/sat_elim_vars.cpp:234: lits ==> list
data/z3-4.8.9/src/sat/sat_elim_vars.h:58: lits ==> list
data/z3-4.8.9/src/sat/sat_elim_vars.h:59: lits ==> list
data/z3-4.8.9/src/sat/sat_extension.h:87: lits ==> list
data/z3-4.8.9/src/sat/sat_lookahead.cpp:38: lits ==> list
data/z3-4.8.9/src/sat/sat_lookahead.cpp:38: lits ==> list
data/z3-4.8.9/src/sat/sat_lookahead.cpp:38: lits ==> list
data/z3-4.8.9/src/sat/sat_lookahead.cpp:39: lits ==> list
data/z3-4.8.9/src/sat/sat_lookahead.cpp:44: lits ==> list
data/z3-4.8.9/src/sat/sat_lookahead.cpp:99: lits ==> list
data/z3-4.8.9/src/sat/sat_lookahead.cpp:100: lits ==> list
data/z3-4.8.9/src/sat/sat_lookahead.cpp:101: lits ==> list
data/z3-4.8.9/src/sat/sat_lookahead.cpp:102: lits ==> list
data/z3-4.8.9/src/sat/sat_lookahead.cpp:682: lits ==> list
data/z3-4.8.9/src/sat/sat_lookahead.cpp:696: lits ==> list
data/z3-4.8.9/src/sat/sat_lookahead.cpp:697: lits ==> list
data/z3-4.8.9/src/sat/sat_lookahead.cpp:698: lits ==> list
data/z3-4.8.9/src/sat/sat_lookahead.cpp:699: lits ==> list
data/z3-4.8.9/src/sat/sat_lookahead.cpp:1723: lits ==> list
data/z3-4.8.9/src/sat/sat_lookahead.cpp:1724: lits ==> list
data/z3-4.8.9/src/sat/sat_lookahead.cpp:1725: lits ==> list
data/z3-4.8.9/src/sat/sat_lookahead.cpp:2144: lits ==> list
data/z3-4.8.9/src/sat/sat_lookahead.cpp:2146: lits ==> list
data/z3-4.8.9/src/sat/sat_lookahead.cpp:2197: lits ==> list
data/z3-4.8.9/src/sat/sat_lookahead.cpp:2286: lits ==> list
data/z3-4.8.9/src/sat/sat_lookahead.cpp:2287: lits ==> list
data/z3-4.8.9/src/sat/sat_lookahead.cpp:2288: lits ==> list
data/z3-4.8.9/src/sat/sat_lookahead.cpp:2474: lits ==> list
data/z3-4.8.9/src/sat/sat_lookahead.cpp:2476: lits ==> list
data/z3-4.8.9/src/sat/sat_lookahead.cpp:2476: lits ==> list
data/z3-4.8.9/src/sat/sat_lookahead.h:155: lits ==> list
data/z3-4.8.9/src/sat/sat_lookahead.h:158: lits ==> list
data/z3-4.8.9/src/sat/sat_lookahead.h:159: lits ==> list
data/z3-4.8.9/src/sat/sat_lookahead.h:297: lits ==> list
data/z3-4.8.9/src/sat/sat_lookahead.h:299: lits ==> list
data/z3-4.8.9/src/sat/sat_lookahead.h:598: lits ==> list
data/z3-4.8.9/src/sat/sat_model_converter.cpp:200: lits ==> list
data/z3-4.8.9/src/sat/sat_model_converter.cpp:202: lits ==> list
data/z3-4.8.9/src/sat/sat_model_converter.cpp:456: lits ==> list
data/z3-4.8.9/src/sat/sat_model_converter.cpp:462: lits ==> list
data/z3-4.8.9/src/sat/sat_model_converter.cpp:463: lits ==> list
data/z3-4.8.9/src/sat/sat_model_converter.h:115: lits ==> list
data/z3-4.8.9/src/sat/sat_model_converter.h:123: lits ==> list
data/z3-4.8.9/src/sat/sat_mus.h:45: lits ==> list
data/z3-4.8.9/src/sat/sat_mus.h:53: lits ==> list
data/z3-4.8.9/src/sat/sat_mus.h:54: lits ==> list
data/z3-4.8.9/src/sat/sat_mus.h:55: lits ==> list
data/z3-4.8.9/src/sat/sat_scc.cpp:87: lits ==> list
data/z3-4.8.9/src/sat/sat_simplifier.cpp:248: cleanning ==> cleaning
data/z3-4.8.9/src/sat/sat_solver.cpp:344: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:348: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:348: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:349: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:354: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:358: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:389: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:391: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:394: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:395: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:402: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:407: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:416: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:419: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:419: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:420: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:420: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:424: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:427: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:492: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:495: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:537: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:539: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:673: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:674: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:674: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:676: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:812: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:813: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:813: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:818: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:831: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:831: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:843: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:845: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:847: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:1169: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:1174: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:1186: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:1216: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:1225: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:1229: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:1233: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:1238: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:1252: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:1329: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:1330: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:1355: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:1358: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:1361: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:1365: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:1368: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:1373: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:1377: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:1381: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:1439: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:1442: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:1445: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:1700: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:1715: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:1728: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:2981: cancelation ==> cancellation
data/z3-4.8.9/src/sat/sat_solver.cpp:3242: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:3243: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:3245: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:3249: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:3250: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:3258: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:3262: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:3267: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:3268: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:3276: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:3280: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:3285: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:3286: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:3295: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:4241: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:4275: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:4400: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:4416: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:4453: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:4454: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:4456: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:4457: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:4457: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:4458: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:4536: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:4552: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:4553: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:4562: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:4653: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:4656: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:4658: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:4747: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:4965: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:4988: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:5017: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.cpp:5019: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.h:255: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.h:255: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.h:260: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.h:260: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.h:260: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.h:261: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.h:272: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.h:272: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.h:279: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.h:280: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.h:280: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.h:280: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.h:281: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.h:281: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.h:282: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.h:282: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.h:286: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.h:288: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.h:298: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.h:298: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.h:312: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.h:314: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.h:326: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.h:448: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.h:461: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.h:492: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.h:519: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.h:520: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.h:521: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.h:522: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.h:523: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.h:602: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.h:603: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.h:604: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.h:678: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.h:699: lits ==> list
data/z3-4.8.9/src/sat/sat_solver.h:772: lits ==> list
data/z3-4.8.9/src/sat/sat_solver_core.h:54: lits ==> list
data/z3-4.8.9/src/sat/sat_solver_core.h:59: lits ==> list
data/z3-4.8.9/src/sat/sat_solver_core.h:61: lits ==> list
data/z3-4.8.9/src/sat/sat_solver_core.h:62: lits ==> list
data/z3-4.8.9/src/sat/sat_solver_core.h:65: lits ==> list
data/z3-4.8.9/src/sat/sat_solver_core.h:66: lits ==> list
data/z3-4.8.9/src/sat/sat_xor_finder.cpp:114: lits ==> list
data/z3-4.8.9/src/sat/sat_xor_finder.cpp:116: lits ==> list
data/z3-4.8.9/src/sat/sat_xor_finder.cpp:119: lits ==> list
data/z3-4.8.9/src/sat/sat_xor_finder.cpp:119: lits ==> list
data/z3-4.8.9/src/sat/sat_xor_finder.cpp:120: lits ==> list
data/z3-4.8.9/src/sat/sat_xor_finder.cpp:121: lits ==> list
data/z3-4.8.9/src/sat/sat_xor_finder.h:49: lits ==> list
data/z3-4.8.9/src/sat/sat_xor_finder.h:67: lits ==> list
data/z3-4.8.9/src/sat/sat_solver/inc_sat_solver.cpp:414: lits ==> list
data/z3-4.8.9/src/sat/sat_solver/inc_sat_solver.cpp:415: lits ==> list
data/z3-4.8.9/src/sat/sat_solver/inc_sat_solver.cpp:420: lits ==> list
data/z3-4.8.9/src/sat/sat_solver/inc_sat_solver.cpp:440: lits ==> list
data/z3-4.8.9/src/sat/sat_solver/inc_sat_solver.cpp:599: som ==> some
data/z3-4.8.9/src/sat/sat_solver/inc_sat_solver.cpp:604: som ==> some
data/z3-4.8.9/src/sat/sat_solver/inc_sat_solver.cpp:605: som ==> some
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:39: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:41: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:45: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:52: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:53: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:55: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:57: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:57: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:57: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:98: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:99: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:102: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:106: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:108: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:109: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:114: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:115: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:116: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:145: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:211: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:212: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:216: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:217: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:219: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:225: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:228: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:235: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:236: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:237: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:240: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:243: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:244: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:246: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:252: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:261: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:262: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:265: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:266: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:269: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:269: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:288: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:290: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:292: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:301: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:304: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:308: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:317: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:319: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_internalize.cpp:321: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:121: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:122: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:122: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:124: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:214: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:296: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:319: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:332: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:362: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:363: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:363: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:364: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:391: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:392: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:414: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:415: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:462: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:463: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:465: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:470: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:484: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:557: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:613: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:683: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:706: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:723: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:797: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:798: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:804: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:805: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:928: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:970: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:972: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:980: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:981: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:991: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1019: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1029: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1030: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1048: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1114: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1123: jus ==> just
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1148: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1157: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1269: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1287: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1317: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1319: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1324: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1377: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1381: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1447: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1501: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1514: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1526: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1582: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1587: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1594: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1598: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1607: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1731: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1745: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1747: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1750: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1752: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1756: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1756: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1759: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1761: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1768: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1793: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1831: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1832: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1833: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1961: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1965: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1965: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1968: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1969: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1970: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:1977: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:2029: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:2095: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:2139: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:2141: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:2142: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:2143: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:2172: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:2331: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:2332: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:2431: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:2456: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:2494: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:2508: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:2612: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:2659: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:2661: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:2662: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:2665: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:2701: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:2704: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:2705: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:2706: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:2725: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:2728: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:2729: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:2730: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:2750: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:2752: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:2858: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:2901: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:2902: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:2944: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:2962: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:2966: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:2966: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:2967: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:3023: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:3024: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:3027: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:3031: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:3554: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:3560: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:3592: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:3701: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:3703: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:3705: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:3716: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:3742: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:3748: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:3749: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:3750: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:3764: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:3765: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:3766: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:3854: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:3855: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:3879: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:3881: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:3962: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:3963: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:3964: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:3965: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:3966: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:3967: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:3968: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:3969: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:3970: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:3988: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4065: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4078: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4137: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4226: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4228: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4230: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4235: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4237: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4239: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4239: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4386: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4418: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4419: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4420: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4421: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4422: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4423: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4439: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4449: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4454: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4456: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4460: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4461: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4488: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4490: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4494: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4495: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4497: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4501: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4508: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4512: ba ==> by, be
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4514: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4546: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4555: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4557: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4558: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4559: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4560: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4560: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4564: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4566: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4567: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4569: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4570: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4571: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4573: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4575: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4576: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4577: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4577: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4579: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4581: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4582: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4583: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4583: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4589: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4598: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4599: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4599: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4609: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4610: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4611: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4611: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4613: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4615: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4616: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4617: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.cpp:4617: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.h:152: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.h:193: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.h:193: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.h:193: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.h:204: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.h:280: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.h:281: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.h:282: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.h:374: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.h:392: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.h:427: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.h:499: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.h:506: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.h:516: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.h:536: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.h:538: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.h:539: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.h:540: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.h:555: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.h:557: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.h:573: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.h:575: lits ==> list
data/z3-4.8.9/src/sat/smt/ba_solver.h:597: lits ==> list
data/z3-4.8.9/src/sat/smt/bv_solver.cpp:227: lits ==> list
data/z3-4.8.9/src/sat/smt/bv_solver.cpp:231: lits ==> list
data/z3-4.8.9/src/sat/smt/bv_solver.cpp:235: lits ==> list
data/z3-4.8.9/src/sat/smt/bv_solver.cpp:236: lits ==> list
data/z3-4.8.9/src/sat/smt/bv_solver.cpp:237: lits ==> list
data/z3-4.8.9/src/sat/smt/bv_solver.cpp:240: lits ==> list
data/z3-4.8.9/src/sat/smt/bv_solver.cpp:251: lits ==> list
data/z3-4.8.9/src/sat/smt/bv_solver.cpp:640: lits ==> list
data/z3-4.8.9/src/sat/smt/bv_solver.cpp:641: lits ==> list
data/z3-4.8.9/src/sat/smt/bv_solver.cpp:642: lits ==> list
data/z3-4.8.9/src/sat/smt/bv_solver.h:259: lits ==> list
data/z3-4.8.9/src/sat/smt/euf_ackerman.cpp:159: lits ==> list
data/z3-4.8.9/src/sat/smt/euf_ackerman.cpp:164: lits ==> list
data/z3-4.8.9/src/sat/smt/euf_ackerman.cpp:167: lits ==> list
data/z3-4.8.9/src/sat/smt/euf_ackerman.cpp:168: lits ==> list
data/z3-4.8.9/src/sat/smt/euf_ackerman.cpp:172: lits ==> list
data/z3-4.8.9/src/sat/smt/euf_ackerman.cpp:176: lits ==> list
data/z3-4.8.9/src/sat/smt/euf_ackerman.cpp:177: lits ==> list
data/z3-4.8.9/src/sat/smt/euf_ackerman.cpp:178: lits ==> list
data/z3-4.8.9/src/sat/smt/euf_ackerman.cpp:179: lits ==> list
data/z3-4.8.9/src/sat/smt/euf_internalize.cpp:143: lits ==> list
data/z3-4.8.9/src/sat/smt/euf_internalize.cpp:148: lits ==> list
data/z3-4.8.9/src/sat/smt/euf_internalize.cpp:151: lits ==> list
data/z3-4.8.9/src/sat/smt/euf_proof.cpp:56: lits ==> list
data/z3-4.8.9/src/sat/smt/euf_proof.cpp:57: lits ==> list
data/z3-4.8.9/src/sat/smt/euf_proof.cpp:59: lits ==> list
data/z3-4.8.9/src/sat/smt/euf_proof.cpp:60: lits ==> list
data/z3-4.8.9/src/sat/smt/euf_solver.cpp:63: ba ==> by, be
data/z3-4.8.9/src/sat/smt/euf_solver.cpp:461: lits ==> list
data/z3-4.8.9/src/sat/smt/euf_solver.cpp:463: lits ==> list
data/z3-4.8.9/src/sat/smt/euf_solver.h:242: lits ==> list
data/z3-4.8.9/src/sat/smt/sat_th.cpp:128: lits ==> list
data/z3-4.8.9/src/sat/smt/sat_th.cpp:129: lits ==> list
data/z3-4.8.9/src/sat/smt/sat_th.cpp:133: lits ==> list
data/z3-4.8.9/src/sat/smt/sat_th.cpp:134: lits ==> list
data/z3-4.8.9/src/sat/smt/sat_th.cpp:138: lits ==> list
data/z3-4.8.9/src/sat/smt/sat_th.cpp:139: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:36: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:37: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:37: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:39: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:86: ba ==> by, be
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:127: ba ==> by, be
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:143: ba ==> by, be
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:162: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:163: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:166: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:167: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:185: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:186: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:188: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:191: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:195: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:229: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:230: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:236: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:250: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:252: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:253: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:255: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:261: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:266: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:268: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:284: ba ==> by, be
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:292: ba ==> by, be
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:295: ba ==> by, be
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:309: ba ==> by, be
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:355: ba ==> by, be
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:386: ba ==> by, be
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:432: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:442: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:444: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:446: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:447: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:481: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:486: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:493: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:499: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:500: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:508: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:511: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:512: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:513: lits ==> list
data/z3-4.8.9/src/sat/smt/xor_solver.cpp:516: lits ==> list
data/z3-4.8.9/src/sat/tactic/goal2sat.cpp:128: lits ==> list
data/z3-4.8.9/src/sat/tactic/goal2sat.cpp:129: lits ==> list
data/z3-4.8.9/src/sat/tactic/goal2sat.cpp:130: lits ==> list
data/z3-4.8.9/src/sat/tactic/goal2sat.cpp:148: lits ==> list
data/z3-4.8.9/src/sat/tactic/goal2sat.cpp:149: lits ==> list
data/z3-4.8.9/src/sat/tactic/goal2sat.cpp:150: lits ==> list
data/z3-4.8.9/src/sat/tactic/goal2sat.cpp:379: lits ==> list
data/z3-4.8.9/src/sat/tactic/goal2sat.cpp:382: lits ==> list
data/z3-4.8.9/src/sat/tactic/goal2sat.cpp:385: lits ==> list
data/z3-4.8.9/src/sat/tactic/goal2sat.cpp:388: lits ==> list
data/z3-4.8.9/src/sat/tactic/goal2sat.cpp:390: lits ==> list
data/z3-4.8.9/src/sat/tactic/goal2sat.cpp:392: lits ==> list
data/z3-4.8.9/src/sat/tactic/goal2sat.cpp:426: lits ==> list
data/z3-4.8.9/src/sat/tactic/goal2sat.cpp:428: lits ==> list
data/z3-4.8.9/src/sat/tactic/goal2sat.cpp:430: lits ==> list
data/z3-4.8.9/src/sat/tactic/goal2sat.cpp:432: lits ==> list
data/z3-4.8.9/src/sat/tactic/goal2sat.cpp:437: lits ==> list
data/z3-4.8.9/src/sat/tactic/goal2sat.cpp:440: lits ==> list
data/z3-4.8.9/src/sat/tactic/goal2sat.cpp:442: lits ==> list
data/z3-4.8.9/src/sat/tactic/goal2sat.cpp:1106: lits ==> list
data/z3-4.8.9/src/sat/tactic/goal2sat.cpp:1110: lits ==> list
data/z3-4.8.9/src/sat/tactic/goal2sat.cpp:1114: lits ==> list
data/z3-4.8.9/src/sat/tactic/goal2sat.cpp:1116: lits ==> list
data/z3-4.8.9/src/sat/tactic/goal2sat.cpp:1154: ba ==> by, be
data/z3-4.8.9/src/sat/tactic/goal2sat.cpp:1155: ba ==> by, be
data/z3-4.8.9/src/sat/tactic/goal2sat.cpp:1165: lits ==> list
data/z3-4.8.9/src/sat/tactic/goal2sat.cpp:1167: lits ==> list
data/z3-4.8.9/src/sat/tactic/sat_tactic.cpp:124: preseve ==> preserve
data/z3-4.8.9/src/shell/dimacs_frontend.cpp:92: lits ==> list
data/z3-4.8.9/src/shell/dimacs_frontend.cpp:96: lits ==> list
data/z3-4.8.9/src/shell/dimacs_frontend.cpp:97: lits ==> list
data/z3-4.8.9/src/shell/dimacs_frontend.cpp:98: lits ==> list
data/z3-4.8.9/src/shell/dimacs_frontend.cpp:98: lits ==> list
data/z3-4.8.9/src/shell/dimacs_frontend.cpp:110: lits ==> list
data/z3-4.8.9/src/shell/dimacs_frontend.cpp:121: lits ==> list
data/z3-4.8.9/src/shell/dimacs_frontend.cpp:122: lits ==> list
data/z3-4.8.9/src/shell/dimacs_frontend.cpp:123: lits ==> list
data/z3-4.8.9/src/shell/dimacs_frontend.cpp:127: lits ==> list
data/z3-4.8.9/src/shell/dimacs_frontend.cpp:129: lits ==> list
data/z3-4.8.9/src/shell/dimacs_frontend.cpp:130: lits ==> list
data/z3-4.8.9/src/shell/dimacs_frontend.cpp:133: lits ==> list
data/z3-4.8.9/src/shell/dimacs_frontend.cpp:134: lits ==> list
data/z3-4.8.9/src/shell/dimacs_frontend.cpp:135: lits ==> list
data/z3-4.8.9/src/shell/dimacs_frontend.cpp:136: lits ==> list
data/z3-4.8.9/src/shell/drat_frontend.cpp:52: lits ==> list
data/z3-4.8.9/src/shell/drat_frontend.cpp:54: lits ==> list
data/z3-4.8.9/src/shell/drat_frontend.cpp:68: lits ==> list
data/z3-4.8.9/src/shell/drat_frontend.cpp:69: lits ==> list
data/z3-4.8.9/src/shell/drat_frontend.cpp:76: lits ==> list
data/z3-4.8.9/src/shell/drat_frontend.cpp:77: lits ==> list
data/z3-4.8.9/src/shell/drat_frontend.cpp:139: whish ==> wish
data/z3-4.8.9/src/shell/main.cpp:101: avilable ==> available
data/z3-4.8.9/src/shell/main.cpp:218: ist ==> is, it, its, it's, sit, list
data/z3-4.8.9/src/smt/asserted_formulas.cpp:143: som ==> some
data/z3-4.8.9/src/smt/diff_logic.h:140: lits ==> list
data/z3-4.8.9/src/smt/diff_logic.h:141: lits ==> list
data/z3-4.8.9/src/smt/dyn_ack.cpp:77: lits ==> list
data/z3-4.8.9/src/smt/dyn_ack.cpp:84: lits ==> list
data/z3-4.8.9/src/smt/dyn_ack.cpp:84: lits ==> list
data/z3-4.8.9/src/smt/dyn_ack.cpp:84: lits ==> list
data/z3-4.8.9/src/smt/dyn_ack.cpp:85: lits ==> list
data/z3-4.8.9/src/smt/dyn_ack.cpp:95: lits ==> list
data/z3-4.8.9/src/smt/dyn_ack.cpp:96: lits ==> list
data/z3-4.8.9/src/smt/dyn_ack.cpp:97: lits ==> list
data/z3-4.8.9/src/smt/dyn_ack.cpp:97: lits ==> list
data/z3-4.8.9/src/smt/dyn_ack.cpp:418: lits ==> list
data/z3-4.8.9/src/smt/dyn_ack.cpp:423: lits ==> list
data/z3-4.8.9/src/smt/dyn_ack.cpp:430: lits ==> list
data/z3-4.8.9/src/smt/dyn_ack.cpp:436: lits ==> list
data/z3-4.8.9/src/smt/dyn_ack.cpp:436: lits ==> list
data/z3-4.8.9/src/smt/dyn_ack.cpp:477: lits ==> list
data/z3-4.8.9/src/smt/dyn_ack.cpp:481: lits ==> list
data/z3-4.8.9/src/smt/dyn_ack.cpp:482: lits ==> list
data/z3-4.8.9/src/smt/dyn_ack.cpp:483: lits ==> list
data/z3-4.8.9/src/smt/dyn_ack.cpp:492: lits ==> list
data/z3-4.8.9/src/smt/dyn_ack.cpp:492: lits ==> list
data/z3-4.8.9/src/smt/seq_axioms.cpp:346: mone ==> mono, money, none
data/z3-4.8.9/src/smt/seq_axioms.cpp:347: mone ==> mono, money, none
data/z3-4.8.9/src/smt/seq_axioms.cpp:679: becaues ==> because
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:152: ba ==> by, be
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:438: lits ==> list
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:443: lits ==> list
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:447: lits ==> list
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:449: lits ==> list
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:450: lits ==> list
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:595: lits ==> list
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:596: lits ==> list
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:597: lits ==> list
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:608: lits ==> list
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:617: lits ==> list
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:618: lits ==> list
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:878: ysE ==> yes, use, nyse
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:879: ysE ==> yes, use, nyse
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:880: ysE ==> yes, use, nyse
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:918: ysE ==> yes, use, nyse
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:919: ysE ==> yes, use, nyse
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:920: ysE ==> yes, use, nyse
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:1000: lits ==> list
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:1015: lits ==> list
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:1042: ysE ==> yes, use, nyse
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:1044: ysE ==> yes, use, nyse
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:1046: ysE ==> yes, use, nyse
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:1058: ysE ==> yes, use, nyse
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:1067: lits ==> list
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:1068: lits ==> list
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:1069: lits ==> list
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:1069: lits ==> list
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:1073: lits ==> list
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:1074: lits ==> list
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:1075: lits ==> list
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:1075: lits ==> list
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:1079: lits ==> list
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:1080: lits ==> list
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:1081: lits ==> list
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:1081: lits ==> list
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:1085: lits ==> list
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:1086: lits ==> list
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:1087: lits ==> list
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:1087: lits ==> list
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:1205: lits ==> list
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:1206: lits ==> list
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:1210: lits ==> list
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:1213: lits ==> list
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:1220: lits ==> list
data/z3-4.8.9/src/smt/seq_eq_solver.cpp:1223: lits ==> list
data/z3-4.8.9/src/smt/seq_ne_solver.cpp:50: lits ==> list
data/z3-4.8.9/src/smt/seq_ne_solver.cpp:78: lits ==> list
data/z3-4.8.9/src/smt/seq_ne_solver.cpp:80: lits ==> list
data/z3-4.8.9/src/smt/seq_ne_solver.cpp:83: lits ==> list
data/z3-4.8.9/src/smt/seq_ne_solver.cpp:101: lits ==> list
data/z3-4.8.9/src/smt/seq_ne_solver.cpp:102: lits ==> list
data/z3-4.8.9/src/smt/seq_ne_solver.cpp:107: lits ==> list
data/z3-4.8.9/src/smt/seq_ne_solver.cpp:111: lits ==> list
data/z3-4.8.9/src/smt/seq_ne_solver.cpp:111: lits ==> list
data/z3-4.8.9/src/smt/seq_ne_solver.cpp:147: lits ==> list
data/z3-4.8.9/src/smt/seq_ne_solver.cpp:156: lits ==> list
data/z3-4.8.9/src/smt/seq_offset_eq.h:45: breif ==> brief
data/z3-4.8.9/src/smt/seq_regex.cpp:130: coverted ==> converted, covered, coveted
data/z3-4.8.9/src/smt/seq_regex.cpp:365: lits ==> list
data/z3-4.8.9/src/smt/seq_regex.cpp:383: lits ==> list
data/z3-4.8.9/src/smt/seq_regex.cpp:385: lits ==> list
data/z3-4.8.9/src/smt/seq_regex.cpp:389: lits ==> list
data/z3-4.8.9/src/smt/seq_regex.cpp:391: lits ==> list
data/z3-4.8.9/src/smt/seq_regex.cpp:392: lits ==> list
data/z3-4.8.9/src/smt/seq_regex.cpp:393: lits ==> list
data/z3-4.8.9/src/smt/seq_regex.cpp:555: lits ==> list
data/z3-4.8.9/src/smt/seq_regex.cpp:556: lits ==> list
data/z3-4.8.9/src/smt/seq_regex.cpp:558: lits ==> list
data/z3-4.8.9/src/smt/seq_regex.cpp:573: lits ==> list
data/z3-4.8.9/src/smt/seq_regex.cpp:576: lits ==> list
data/z3-4.8.9/src/smt/seq_regex.cpp:797: lits ==> list
data/z3-4.8.9/src/smt/seq_regex.cpp:808: lits ==> list
data/z3-4.8.9/src/smt/seq_regex.cpp:809: lits ==> list
data/z3-4.8.9/src/smt/seq_regex.cpp:812: lits ==> list
data/z3-4.8.9/src/smt/seq_regex.cpp:815: lits ==> list
data/z3-4.8.9/src/smt/seq_regex.cpp:816: lits ==> list
data/z3-4.8.9/src/smt/seq_skolem.h:11: funcions ==> functions
data/z3-4.8.9/src/smt/seq_unicode.cpp:149: lits ==> list
data/z3-4.8.9/src/smt/seq_unicode.cpp:153: lits ==> list
data/z3-4.8.9/src/smt/seq_unicode.cpp:161: lits ==> list
data/z3-4.8.9/src/smt/seq_unicode.cpp:161: lits ==> list
data/z3-4.8.9/src/smt/smt_bool_var_data.h:66: thid ==> this
data/z3-4.8.9/src/smt/smt_bool_var_data.h:67: thid ==> this
data/z3-4.8.9/src/smt/smt_bool_var_data.h:67: thid ==> this
data/z3-4.8.9/src/smt/smt_bool_var_data.h:68: thid ==> this
data/z3-4.8.9/src/smt/smt_clause.cpp:29: lits ==> list
data/z3-4.8.9/src/smt/smt_clause.cpp:46: lits ==> list
data/z3-4.8.9/src/smt/smt_clause.cpp:55: lits ==> list
data/z3-4.8.9/src/smt/smt_clause.cpp:57: lits ==> list
data/z3-4.8.9/src/smt/smt_clause.cpp:66: lits ==> list
data/z3-4.8.9/src/smt/smt_clause.cpp:67: lits ==> list
data/z3-4.8.9/src/smt/smt_clause.h:154: lits ==> list
data/z3-4.8.9/src/smt/smt_clause_proof.cpp:52: lits ==> list
data/z3-4.8.9/src/smt/smt_clause_proof.cpp:58: lits ==> list
data/z3-4.8.9/src/smt/smt_clause_proof.h:67: lits ==> list
data/z3-4.8.9/src/smt/smt_conflict_resolution.cpp:1336: lits ==> list
data/z3-4.8.9/src/smt/smt_conflict_resolution.cpp:1341: lits ==> list
data/z3-4.8.9/src/smt/smt_conflict_resolution.cpp:1344: lits ==> list
data/z3-4.8.9/src/smt/smt_conflict_resolution.cpp:1346: lits ==> list
data/z3-4.8.9/src/smt/smt_conflict_resolution.cpp:1347: lits ==> list
data/z3-4.8.9/src/smt/smt_conflict_resolution.cpp:1347: lits ==> list
data/z3-4.8.9/src/smt/smt_consequences.cpp:142: lits ==> list
data/z3-4.8.9/src/smt/smt_consequences.cpp:143: lits ==> list
data/z3-4.8.9/src/smt/smt_consequences.cpp:145: lits ==> list
data/z3-4.8.9/src/smt/smt_consequences.cpp:363: lits ==> list
data/z3-4.8.9/src/smt/smt_consequences.cpp:483: lits ==> list
data/z3-4.8.9/src/smt/smt_consequences.cpp:487: lits ==> list
data/z3-4.8.9/src/smt/smt_consequences.cpp:488: lits ==> list
data/z3-4.8.9/src/smt/smt_consequences.cpp:495: lits ==> list
data/z3-4.8.9/src/smt/smt_consequences.cpp:544: lits ==> list
data/z3-4.8.9/src/smt/smt_consequences.cpp:546: lits ==> list
data/z3-4.8.9/src/smt/smt_consequences.cpp:548: lits ==> list
data/z3-4.8.9/src/smt/smt_consequences.cpp:613: lits ==> list
data/z3-4.8.9/src/smt/smt_consequences.cpp:616: lits ==> list
data/z3-4.8.9/src/smt/smt_consequences.cpp:618: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:117: cancelation ==> cancellation
data/z3-4.8.9/src/smt/smt_context.cpp:1692: Cancelation ==> Cancellation
data/z3-4.8.9/src/smt/smt_context.cpp:2195: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:2197: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:3081: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:3082: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:3090: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:3091: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:3099: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:3108: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:3116: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:3282: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:3286: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:3289: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:3292: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:3292: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:3295: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:3295: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:3297: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:3310: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:3312: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:3324: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:3324: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:3330: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:3331: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:3542: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:3543: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:3548: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:4098: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:4101: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:4127: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:4134: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:4143: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:4151: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:4172: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:4180: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:4200: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:4204: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:4212: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:4220: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:4250: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:4256: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:4259: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:4260: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:4268: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:4298: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:4301: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:4305: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:4307: lits ==> list
data/z3-4.8.9/src/smt/smt_context.cpp:4308: lits ==> list
data/z3-4.8.9/src/smt/smt_context.h:670: lits ==> list
data/z3-4.8.9/src/smt/smt_context.h:823: lits ==> list
data/z3-4.8.9/src/smt/smt_context.h:825: lits ==> list
data/z3-4.8.9/src/smt/smt_context.h:829: lits ==> list
data/z3-4.8.9/src/smt/smt_context.h:839: lits ==> list
data/z3-4.8.9/src/smt/smt_context.h:842: lits ==> list
data/z3-4.8.9/src/smt/smt_context.h:851: lits ==> list
data/z3-4.8.9/src/smt/smt_context.h:891: lits ==> list
data/z3-4.8.9/src/smt/smt_context.h:897: lits ==> list
data/z3-4.8.9/src/smt/smt_context.h:899: lits ==> list
data/z3-4.8.9/src/smt/smt_context.h:900: lits ==> list
data/z3-4.8.9/src/smt/smt_context.h:921: lits ==> list
data/z3-4.8.9/src/smt/smt_context.h:922: lits ==> list
data/z3-4.8.9/src/smt/smt_context.h:936: lits ==> list
data/z3-4.8.9/src/smt/smt_context.h:1255: lits ==> list
data/z3-4.8.9/src/smt/smt_context.h:1256: lits ==> list
data/z3-4.8.9/src/smt/smt_context.h:1359: lits ==> list
data/z3-4.8.9/src/smt/smt_context.h:1361: lits ==> list
data/z3-4.8.9/src/smt/smt_context.h:1362: lits ==> list
data/z3-4.8.9/src/smt/smt_context.h:1362: lits ==> list
data/z3-4.8.9/src/smt/smt_context.h:1369: lits ==> list
data/z3-4.8.9/src/smt/smt_context.h:1375: lits ==> list
data/z3-4.8.9/src/smt/smt_context.h:1377: lits ==> list
data/z3-4.8.9/src/smt/smt_context.h:1378: lits ==> list
data/z3-4.8.9/src/smt/smt_context.h:1378: lits ==> list
data/z3-4.8.9/src/smt/smt_context.h:1771: lits ==> list
data/z3-4.8.9/src/smt/smt_context.h:1773: lits ==> list
data/z3-4.8.9/src/smt/smt_context.h:1773: lits ==> list
data/z3-4.8.9/src/smt/smt_context.h:1773: lits ==> list
data/z3-4.8.9/src/smt/smt_context.h:1774: lits ==> list
data/z3-4.8.9/src/smt/smt_context.h:1782: lits ==> list
data/z3-4.8.9/src/smt/smt_context_pp.cpp:92: lits ==> list
data/z3-4.8.9/src/smt/smt_context_pp.cpp:93: lits ==> list
data/z3-4.8.9/src/smt/smt_context_pp.cpp:100: lits ==> list
data/z3-4.8.9/src/smt/smt_context_pp.cpp:101: lits ==> list
data/z3-4.8.9/src/smt/smt_context_pp.cpp:112: lits ==> list
data/z3-4.8.9/src/smt/smt_context_pp.cpp:114: lits ==> list
data/z3-4.8.9/src/smt/smt_context_pp.cpp:393: lits ==> list
data/z3-4.8.9/src/smt/smt_context_pp.cpp:608: lits ==> list
data/z3-4.8.9/src/smt/smt_context_pp.cpp:609: lits ==> list
data/z3-4.8.9/src/smt/smt_context_pp.cpp:611: lits ==> list
data/z3-4.8.9/src/smt/smt_context_pp.cpp:636: lits ==> list
data/z3-4.8.9/src/smt/smt_context_pp.cpp:637: lits ==> list
data/z3-4.8.9/src/smt/smt_context_pp.cpp:639: lits ==> list
data/z3-4.8.9/src/smt/smt_farkas_util.cpp:344: lits ==> list
data/z3-4.8.9/src/smt/smt_farkas_util.cpp:347: lits ==> list
data/z3-4.8.9/src/smt/smt_farkas_util.cpp:350: lits ==> list
data/z3-4.8.9/src/smt/smt_farkas_util.cpp:350: lits ==> list
data/z3-4.8.9/src/smt/smt_farkas_util.cpp:351: lits ==> list
data/z3-4.8.9/src/smt/smt_induction.cpp:336: lits ==> list
data/z3-4.8.9/src/smt/smt_induction.cpp:337: lits ==> list
data/z3-4.8.9/src/smt/smt_induction.cpp:338: lits ==> list
data/z3-4.8.9/src/smt/smt_induction.cpp:339: lits ==> list
data/z3-4.8.9/src/smt/smt_induction.cpp:340: lits ==> list
data/z3-4.8.9/src/smt/smt_induction.cpp:384: lits ==> list
data/z3-4.8.9/src/smt/smt_induction.cpp:385: lits ==> list
data/z3-4.8.9/src/smt/smt_induction.cpp:386: lits ==> list
data/z3-4.8.9/src/smt/smt_induction.cpp:386: lits ==> list
data/z3-4.8.9/src/smt/smt_induction.cpp:437: lits ==> list
data/z3-4.8.9/src/smt/smt_induction.cpp:438: lits ==> list
data/z3-4.8.9/src/smt/smt_induction.cpp:439: lits ==> list
data/z3-4.8.9/src/smt/smt_induction.cpp:440: lits ==> list
data/z3-4.8.9/src/smt/smt_induction.cpp:533: lits ==> list
data/z3-4.8.9/src/smt/smt_induction.cpp:534: lits ==> list
data/z3-4.8.9/src/smt/smt_induction.cpp:535: lits ==> list
data/z3-4.8.9/src/smt/smt_induction.cpp:536: lits ==> list
data/z3-4.8.9/src/smt/smt_induction.h:121: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:246: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:249: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:251: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:251: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1100: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1109: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1110: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1111: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1111: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1115: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1129: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1129: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1155: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1162: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1163: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1164: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1164: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1165: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1170: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1182: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1182: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1187: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1213: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1215: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1218: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1350: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1351: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1351: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1352: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1357: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1371: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1384: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1400: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1401: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1404: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1404: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1405: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1406: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1421: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1426: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1492: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1494: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1497: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1501: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1505: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1518: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1521: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1534: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1536: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1538: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1541: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1560: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1565: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1571: lits ==> list
data/z3-4.8.9/src/smt/smt_internalizer.cpp:1574: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.cpp:46: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.cpp:51: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.cpp:52: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.cpp:58: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.cpp:64: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.cpp:65: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.cpp:238: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.cpp:242: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.cpp:245: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.cpp:271: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.cpp:275: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.cpp:277: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.cpp:278: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.cpp:280: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.cpp:280: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.cpp:302: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.cpp:303: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.cpp:365: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.cpp:374: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.cpp:375: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.cpp:397: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.cpp:401: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.cpp:403: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.cpp:404: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.cpp:406: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.cpp:406: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.h:121: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.h:123: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.h:221: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.h:238: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.h:240: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.h:256: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.h:258: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.h:270: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.h:272: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.h:283: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.h:285: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.h:303: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.h:322: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.h:325: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.h:340: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.h:344: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.h:354: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.h:357: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.h:370: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.h:374: lits ==> list
data/z3-4.8.9/src/smt/smt_justification.h:393: lits ==> list
data/z3-4.8.9/src/smt/smt_kernel.h:307: fro ==> for, from
data/z3-4.8.9/src/smt/smt_literal.cpp:79: lits ==> list
data/z3-4.8.9/src/smt/smt_literal.cpp:83: lits ==> list
data/z3-4.8.9/src/smt/smt_literal.cpp:87: lits ==> list
data/z3-4.8.9/src/smt/smt_literal.cpp:91: lits ==> list
data/z3-4.8.9/src/smt/smt_literal.h:105: lits ==> list
data/z3-4.8.9/src/smt/smt_literal.h:107: lits ==> list
data/z3-4.8.9/src/smt/smt_literal.h:110: lits ==> list
data/z3-4.8.9/src/smt/smt_literal.h:112: lits ==> list
data/z3-4.8.9/src/smt/smt_solver.cpp:322: lits ==> list
data/z3-4.8.9/src/smt/smt_solver.cpp:330: lits ==> list
data/z3-4.8.9/src/smt/smt_solver.cpp:332: lits ==> list
data/z3-4.8.9/src/smt/smt_solver.cpp:333: lits ==> list
data/z3-4.8.9/src/smt/smt_theory.h:120: lits ==> list
data/z3-4.8.9/src/smt/smt_theory.h:122: lits ==> list
data/z3-4.8.9/src/smt/smt_theory.h:128: lits ==> list
data/z3-4.8.9/src/smt/smt_theory.h:129: lits ==> list
data/z3-4.8.9/src/smt/smt_theory.h:130: lits ==> list
data/z3-4.8.9/src/smt/smt_theory.h:136: lits ==> list
data/z3-4.8.9/src/smt/smt_theory.h:137: lits ==> list
data/z3-4.8.9/src/smt/smt_theory.h:138: lits ==> list
data/z3-4.8.9/src/smt/smt_theory.h:139: lits ==> list
data/z3-4.8.9/src/smt/theory_arith.h:250: lits ==> list
data/z3-4.8.9/src/smt/theory_arith.h:269: lits ==> list
data/z3-4.8.9/src/smt/theory_arith.h:269: lits ==> list
data/z3-4.8.9/src/smt/theory_arith.h:361: lits ==> list
data/z3-4.8.9/src/smt/theory_arith.h:391: lits ==> list
data/z3-4.8.9/src/smt/theory_arith.h:890: lits ==> list
data/z3-4.8.9/src/smt/theory_arith.h:1111: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_aux.h:808: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_aux.h:809: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_aux.h:812: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_aux.h:815: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_aux.h:817: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_aux.h:818: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_aux.h:825: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_aux.h:1183: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_aux.h:1194: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_aux.h:1195: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_aux.h:1204: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_aux.h:1225: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_aux.h:2044: perturbate ==> perturb
data/z3-4.8.9/src/smt/theory_arith_aux.h:2268: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_aux.h:2283: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:490: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:569: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:577: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:581: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:581: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:965: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:965: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:965: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:965: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:971: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:971: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:971: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:971: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:971: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:2767: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:2767: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:2768: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:2944: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:2944: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:2953: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:2953: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:2970: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:2971: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:2972: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:2973: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:2974: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:2975: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:2977: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:2980: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:2980: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:2983: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:2983: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:2989: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:2989: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:3051: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:3051: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:3057: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:3057: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:3062: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:3070: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:3087: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_core.h:3090: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_eq.h:40: WARNINING ==> WARNING
data/z3-4.8.9/src/smt/theory_arith_eq.h:334: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_eq.h:334: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_eq.h:339: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_eq.h:339: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_eq.h:346: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_int.h:489: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_int.h:493: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_int.h:620: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_int.h:680: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_int.h:680: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_int.h:714: WARNINING ==> WARNING
data/z3-4.8.9/src/smt/theory_arith_int.h:760: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_int.h:760: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_int.h:841: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_int.h:841: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_nl.h:1342: nd ==> and, 2nd
data/z3-4.8.9/src/smt/theory_arith_pp.h:421: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_pp.h:421: lits ==> list
data/z3-4.8.9/src/smt/theory_arith_pp.h:422: lits ==> list
data/z3-4.8.9/src/smt/theory_array_bapa.cpp:147: lits ==> list
data/z3-4.8.9/src/smt/theory_array_bapa.cpp:148: lits ==> list
data/z3-4.8.9/src/smt/theory_array_bapa.cpp:151: lits ==> list
data/z3-4.8.9/src/smt/theory_array_bapa.cpp:152: lits ==> list
data/z3-4.8.9/src/smt/theory_array_bapa.cpp:154: lits ==> list
data/z3-4.8.9/src/smt/theory_array_bapa.cpp:155: lits ==> list
data/z3-4.8.9/src/smt/theory_array_bapa.cpp:156: lits ==> list
data/z3-4.8.9/src/smt/theory_array_bapa.cpp:157: lits ==> list
data/z3-4.8.9/src/smt/theory_array_bapa.cpp:419: lits ==> list
data/z3-4.8.9/src/smt/theory_array_bapa.cpp:420: lits ==> list
data/z3-4.8.9/src/smt/theory_array_bapa.cpp:422: lits ==> list
data/z3-4.8.9/src/smt/theory_array_bapa.cpp:430: lits ==> list
data/z3-4.8.9/src/smt/theory_array_bapa.cpp:434: lits ==> list
data/z3-4.8.9/src/smt/theory_array_bapa.cpp:438: lits ==> list
data/z3-4.8.9/src/smt/theory_array_bapa.cpp:439: lits ==> list
data/z3-4.8.9/src/smt/theory_array_bapa.cpp:439: lits ==> list
data/z3-4.8.9/src/smt/theory_array_base.cpp:74: lits ==> list
data/z3-4.8.9/src/smt/theory_array_base.cpp:78: lits ==> list
data/z3-4.8.9/src/smt/theory_array_base.cpp:79: lits ==> list
data/z3-4.8.9/src/smt/theory_array_base.cpp:84: lits ==> list
data/z3-4.8.9/src/smt/theory_array_base.h:78: lits ==> list
data/z3-4.8.9/src/smt/theory_bv.cpp:471: lits ==> list
data/z3-4.8.9/src/smt/theory_bv.cpp:472: lits ==> list
data/z3-4.8.9/src/smt/theory_bv.cpp:476: lits ==> list
data/z3-4.8.9/src/smt/theory_bv.cpp:478: lits ==> list
data/z3-4.8.9/src/smt/theory_bv.cpp:1166: lits ==> list
data/z3-4.8.9/src/smt/theory_bv.cpp:1167: lits ==> list
data/z3-4.8.9/src/smt/theory_bv.cpp:1169: lits ==> list
data/z3-4.8.9/src/smt/theory_bv.cpp:1179: lits ==> list
data/z3-4.8.9/src/smt/theory_bv.cpp:1182: lits ==> list
data/z3-4.8.9/src/smt/theory_bv.cpp:1183: lits ==> list
data/z3-4.8.9/src/smt/theory_bv.cpp:1183: lits ==> list
data/z3-4.8.9/src/smt/theory_bv.cpp:1276: lits ==> list
data/z3-4.8.9/src/smt/theory_bv.cpp:1277: lits ==> list
data/z3-4.8.9/src/smt/theory_bv.cpp:1278: lits ==> list
data/z3-4.8.9/src/smt/theory_bv.cpp:1280: lits ==> list
data/z3-4.8.9/src/smt/theory_bv.cpp:1290: lits ==> list
data/z3-4.8.9/src/smt/theory_bv.cpp:1291: lits ==> list
data/z3-4.8.9/src/smt/theory_bv.cpp:1292: lits ==> list
data/z3-4.8.9/src/smt/theory_bv.cpp:1294: lits ==> list
data/z3-4.8.9/src/smt/theory_bv.cpp:1295: lits ==> list
data/z3-4.8.9/src/smt/theory_bv.cpp:1295: lits ==> list
data/z3-4.8.9/src/smt/theory_bv.cpp:1822: lits ==> list
data/z3-4.8.9/src/smt/theory_bv.cpp:1823: lits ==> list
data/z3-4.8.9/src/smt/theory_bv.cpp:1824: lits ==> list
data/z3-4.8.9/src/smt/theory_datatype.cpp:101: lits ==> list
data/z3-4.8.9/src/smt/theory_datatype.cpp:102: lits ==> list
data/z3-4.8.9/src/smt/theory_datatype.cpp:105: lits ==> list
data/z3-4.8.9/src/smt/theory_datatype.cpp:106: lits ==> list
data/z3-4.8.9/src/smt/theory_datatype.cpp:119: lits ==> list
data/z3-4.8.9/src/smt/theory_datatype.cpp:120: lits ==> list
data/z3-4.8.9/src/smt/theory_datatype.cpp:256: lits ==> list
data/z3-4.8.9/src/smt/theory_datatype.cpp:257: lits ==> list
data/z3-4.8.9/src/smt/theory_datatype.cpp:259: lits ==> list
data/z3-4.8.9/src/smt/theory_datatype.cpp:876: lits ==> list
data/z3-4.8.9/src/smt/theory_datatype.cpp:886: lits ==> list
data/z3-4.8.9/src/smt/theory_datatype.cpp:903: lits ==> list
data/z3-4.8.9/src/smt/theory_datatype.cpp:906: lits ==> list
data/z3-4.8.9/src/smt/theory_datatype.cpp:912: lits ==> list
data/z3-4.8.9/src/smt/theory_datatype.cpp:912: lits ==> list
data/z3-4.8.9/src/smt/theory_datatype.cpp:916: lits ==> list
data/z3-4.8.9/src/smt/theory_datatype.cpp:932: lits ==> list
data/z3-4.8.9/src/smt/theory_datatype.cpp:932: lits ==> list
data/z3-4.8.9/src/smt/theory_diff_logic_def.h:645: lits ==> list
data/z3-4.8.9/src/smt/theory_diff_logic_def.h:647: lits ==> list
data/z3-4.8.9/src/smt/theory_diff_logic_def.h:649: lits ==> list
data/z3-4.8.9/src/smt/theory_diff_logic_def.h:654: lits ==> list
data/z3-4.8.9/src/smt/theory_diff_logic_def.h:654: lits ==> list
data/z3-4.8.9/src/smt/theory_diff_logic_def.h:662: lits ==> list
data/z3-4.8.9/src/smt/theory_diff_logic_def.h:664: lits ==> list
data/z3-4.8.9/src/smt/theory_diff_logic_def.h:664: lits ==> list
data/z3-4.8.9/src/smt/theory_diff_logic_def.h:667: lits ==> list
data/z3-4.8.9/src/smt/theory_diff_logic_def.h:667: lits ==> list
data/z3-4.8.9/src/smt/theory_diff_logic_def.h:670: lits ==> list
data/z3-4.8.9/src/smt/theory_diff_logic_def.h:670: lits ==> list
data/z3-4.8.9/src/smt/theory_diff_logic_def.h:704: lits ==> list
data/z3-4.8.9/src/smt/theory_diff_logic_def.h:707: lits ==> list
data/z3-4.8.9/src/smt/theory_diff_logic_def.h:712: lits ==> list
data/z3-4.8.9/src/smt/theory_diff_logic_def.h:712: lits ==> list
data/z3-4.8.9/src/smt/theory_diff_logic_def.h:718: lits ==> list
data/z3-4.8.9/src/smt/theory_diff_logic_def.h:727: lits ==> list
data/z3-4.8.9/src/smt/theory_diff_logic_def.h:727: lits ==> list
data/z3-4.8.9/src/smt/theory_lra.cpp:666: lits ==> list
data/z3-4.8.9/src/smt/theory_lra.cpp:666: lits ==> list
data/z3-4.8.9/src/smt/theory_lra.cpp:666: lits ==> list
data/z3-4.8.9/src/smt/theory_lra.cpp:666: lits ==> list
data/z3-4.8.9/src/smt/theory_lra.cpp:671: lits ==> list
data/z3-4.8.9/src/smt/theory_lra.cpp:671: lits ==> list
data/z3-4.8.9/src/smt/theory_lra.cpp:671: lits ==> list
data/z3-4.8.9/src/smt/theory_lra.cpp:671: lits ==> list
data/z3-4.8.9/src/smt/theory_lra.cpp:671: lits ==> list
data/z3-4.8.9/src/smt/theory_lra.cpp:1448: lits ==> list
data/z3-4.8.9/src/smt/theory_lra.cpp:1452: lits ==> list
data/z3-4.8.9/src/smt/theory_lra.cpp:1461: lits ==> list
data/z3-4.8.9/src/smt/theory_lra.cpp:1461: lits ==> list
data/z3-4.8.9/src/smt/theory_lra.cpp:1981: lits ==> list
data/z3-4.8.9/src/smt/theory_lra.cpp:1982: lits ==> list
data/z3-4.8.9/src/smt/theory_lra.cpp:1983: lits ==> list
data/z3-4.8.9/src/smt/theory_lra.cpp:1984: lits ==> list
data/z3-4.8.9/src/smt/theory_lra.cpp:1985: lits ==> list
data/z3-4.8.9/src/smt/theory_lra.cpp:1986: lits ==> list
data/z3-4.8.9/src/smt/theory_lra.cpp:1987: lits ==> list
data/z3-4.8.9/src/smt/theory_lra.cpp:3133: hist ==> heist, his
data/z3-4.8.9/src/smt/theory_lra.cpp:3136: hist ==> heist, his
data/z3-4.8.9/src/smt/theory_pb.cpp:319: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:322: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:323: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:327: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:329: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:343: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:346: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:347: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:349: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:563: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:564: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:566: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:570: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:570: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:839: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:841: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:843: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:844: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:844: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:853: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:855: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:857: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:858: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:858: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:928: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:932: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:934: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:934: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:936: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:936: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1048: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1053: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1056: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1062: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1068: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1074: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1078: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1082: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1087: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1090: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1106: argumets ==> arguments
data/z3-4.8.9/src/smt/theory_pb.cpp:1136: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1137: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1138: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1148: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1149: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1150: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1155: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1156: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1206: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1207: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1208: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1226: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1227: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1232: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1233: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1271: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1275: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1283: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1287: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1485: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1486: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1492: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1495: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1499: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1502: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1502: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1507: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1510: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1514: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1514: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1516: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1516: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1828: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1829: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1830: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1847: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:1918: isnt' ==> isn't
data/z3-4.8.9/src/smt/theory_pb.cpp:1947: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:2021: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:2024: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:2029: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:2032: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:2032: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:2052: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:2054: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:2070: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:2152: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.cpp:2153: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.h:235: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.h:318: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.h:335: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.h:336: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.h:392: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.h:395: lits ==> list
data/z3-4.8.9/src/smt/theory_pb.h:404: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:712: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:713: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:718: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:732: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:735: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:741: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:744: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:746: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:747: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:751: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:751: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:755: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:760: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:761: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:763: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:766: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:767: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:771: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:771: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:772: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:779: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:781: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:790: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:796: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:796: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:803: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:812: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:813: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:817: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:818: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:819: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:979: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:981: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:982: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:983: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:1045: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:1047: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:1052: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:1055: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:1060: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:1065: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:1068: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:1171: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:1189: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:1204: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:1217: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:1229: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:1243: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:1244: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:1248: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:1249: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:1304: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:1306: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:1700: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:1703: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:1722: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:1732: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:1738: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:1745: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:1771: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:1773: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:1774: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2237: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2241: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2247: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2248: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2251: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2255: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2256: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2258: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2265: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2266: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2272: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2276: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2282: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2682: tha ==> than, that, the
data/z3-4.8.9/src/smt/theory_seq.cpp:2683: tha ==> than, that, the
data/z3-4.8.9/src/smt/theory_seq.cpp:2684: thi ==> the, this
data/z3-4.8.9/src/smt/theory_seq.cpp:2685: thi ==> the, this
data/z3-4.8.9/src/smt/theory_seq.cpp:2688: tha ==> than, that, the
data/z3-4.8.9/src/smt/theory_seq.cpp:2825: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2828: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2829: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2830: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2831: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2832: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2833: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2836: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2837: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2838: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2842: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2847: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2848: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2849: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2849: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2857: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2858: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2865: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2866: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2867: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2880: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2882: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2889: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2889: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2893: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2900: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2900: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.cpp:2907: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.h:188: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.h:191: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.h:198: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.h:199: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.h:475: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.h:476: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.h:514: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.h:516: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.h:519: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.h:522: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.h:523: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.h:526: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.h:527: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.h:528: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.h:529: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.h:530: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.h:561: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.h:586: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.h:619: lits ==> list
data/z3-4.8.9/src/smt/theory_seq.h:620: lits ==> list
data/z3-4.8.9/src/smt/theory_special_relations.cpp:428: lits ==> list
data/z3-4.8.9/src/smt/theory_special_relations.cpp:429: lits ==> list
data/z3-4.8.9/src/smt/theory_special_relations.cpp:468: lits ==> list
data/z3-4.8.9/src/smt/theory_special_relations.cpp:469: lits ==> list
data/z3-4.8.9/src/smt/theory_special_relations.cpp:475: lits ==> list
data/z3-4.8.9/src/smt/theory_special_relations.cpp:475: lits ==> list
data/z3-4.8.9/src/smt/theory_special_relations.cpp:534: lits ==> list
data/z3-4.8.9/src/smt/theory_special_relations.cpp:535: lits ==> list
data/z3-4.8.9/src/smt/theory_special_relations.cpp:536: lits ==> list
data/z3-4.8.9/src/smt/theory_special_relations.cpp:537: lits ==> list
data/z3-4.8.9/src/smt/theory_special_relations.cpp:537: lits ==> list
data/z3-4.8.9/src/smt/theory_utvpi.cpp:14: implementaton ==> implementation
data/z3-4.8.9/src/smt/theory_utvpi.h:18: implementaton ==> implementation
data/z3-4.8.9/src/smt/theory_utvpi_def.h:205: lits ==> list
data/z3-4.8.9/src/smt/theory_utvpi_def.h:206: lits ==> list
data/z3-4.8.9/src/smt/theory_utvpi_def.h:207: lits ==> list
data/z3-4.8.9/src/smt/theory_utvpi_def.h:211: lits ==> list
data/z3-4.8.9/src/smt/theory_utvpi_def.h:211: lits ==> list
data/z3-4.8.9/src/smt/theory_utvpi_def.h:226: lits ==> list
data/z3-4.8.9/src/smt/theory_utvpi_def.h:226: lits ==> list
data/z3-4.8.9/src/smt/theory_wmaxsat.cpp:271: lits ==> list
data/z3-4.8.9/src/smt/theory_wmaxsat.cpp:280: lits ==> list
data/z3-4.8.9/src/smt/theory_wmaxsat.cpp:282: lits ==> list
data/z3-4.8.9/src/smt/theory_wmaxsat.cpp:286: lits ==> list
data/z3-4.8.9/src/smt/theory_wmaxsat.cpp:286: lits ==> list
data/z3-4.8.9/src/smt/theory_wmaxsat.cpp:318: lits ==> list
data/z3-4.8.9/src/smt/theory_wmaxsat.cpp:325: lits ==> list
data/z3-4.8.9/src/smt/theory_wmaxsat.cpp:328: lits ==> list
data/z3-4.8.9/src/smt/theory_wmaxsat.cpp:328: lits ==> list
data/z3-4.8.9/src/smt/theory_wmaxsat.cpp:334: lits ==> list
data/z3-4.8.9/src/smt/theory_wmaxsat.cpp:334: lits ==> list
data/z3-4.8.9/src/solver/tactic2solver.cpp:185: ans ==> and
data/z3-4.8.9/src/solver/tactic2solver.cpp:186: ans ==> and
data/z3-4.8.9/src/tactic/arith/card2bv_tactic.h:72: lits ==> list
data/z3-4.8.9/src/tactic/arith/fm_tactic.cpp:66: lits ==> list
data/z3-4.8.9/src/tactic/arith/fm_tactic.cpp:69: lits ==> list
data/z3-4.8.9/src/tactic/arith/fm_tactic.cpp:73: lits ==> list
data/z3-4.8.9/src/tactic/arith/fm_tactic.cpp:79: lits ==> list
data/z3-4.8.9/src/tactic/arith/fm_tactic.cpp:290: lits ==> list
data/z3-4.8.9/src/tactic/arith/fm_tactic.cpp:538: lits ==> list
data/z3-4.8.9/src/tactic/arith/fm_tactic.cpp:554: lits ==> list
data/z3-4.8.9/src/tactic/arith/fm_tactic.cpp:917: lits ==> list
data/z3-4.8.9/src/tactic/arith/fm_tactic.cpp:921: lits ==> list
data/z3-4.8.9/src/tactic/arith/fm_tactic.cpp:923: lits ==> list
data/z3-4.8.9/src/tactic/arith/fm_tactic.cpp:926: lits ==> list
data/z3-4.8.9/src/tactic/arith/fm_tactic.cpp:927: lits ==> list
data/z3-4.8.9/src/tactic/arith/fm_tactic.cpp:928: lits ==> list
data/z3-4.8.9/src/tactic/arith/fm_tactic.cpp:930: lits ==> list
data/z3-4.8.9/src/tactic/arith/fm_tactic.cpp:930: lits ==> list
data/z3-4.8.9/src/tactic/arith/fm_tactic.cpp:993: lits ==> list
data/z3-4.8.9/src/tactic/arith/fm_tactic.cpp:1015: lits ==> list
data/z3-4.8.9/src/tactic/arith/fm_tactic.cpp:1073: lits ==> list
data/z3-4.8.9/src/tactic/arith/fm_tactic.cpp:1074: lits ==> list
data/z3-4.8.9/src/tactic/arith/fm_tactic.cpp:1681: som ==> some
data/z3-4.8.9/src/tactic/arith/pb2bv_tactic.cpp:486: lits ==> list
data/z3-4.8.9/src/tactic/arith/purify_arith_tactic.cpp:598: mone ==> mono, money, none
data/z3-4.8.9/src/tactic/arith/purify_arith_tactic.cpp:602: mone ==> mono, money, none
data/z3-4.8.9/src/tactic/arith/purify_arith_tactic.cpp:611: mone ==> mono, money, none
data/z3-4.8.9/src/tactic/arith/purify_arith_tactic.cpp:640: mone ==> mono, money, none
data/z3-4.8.9/src/tactic/arith/purify_arith_tactic.cpp:644: mone ==> mono, money, none
data/z3-4.8.9/src/tactic/arith/purify_arith_tactic.cpp:653: mone ==> mono, money, none
data/z3-4.8.9/src/tactic/core/elim_uncnstr_tactic.cpp:578: ot ==> to, of, or
data/z3-4.8.9/src/tactic/core/pb_preprocess_tactic.cpp:73: ot ==> to, of, or
data/z3-4.8.9/src/tactic/core/tseitin_cnf_tactic.cpp:490: lits ==> list
data/z3-4.8.9/src/tactic/core/tseitin_cnf_tactic.cpp:491: lits ==> list
data/z3-4.8.9/src/tactic/core/tseitin_cnf_tactic.cpp:494: lits ==> list
data/z3-4.8.9/src/tactic/core/tseitin_cnf_tactic.cpp:498: lits ==> list
data/z3-4.8.9/src/tactic/core/tseitin_cnf_tactic.cpp:498: lits ==> list
data/z3-4.8.9/src/tactic/core/tseitin_cnf_tactic.cpp:704: lits ==> list
data/z3-4.8.9/src/tactic/core/tseitin_cnf_tactic.cpp:707: lits ==> list
data/z3-4.8.9/src/tactic/core/tseitin_cnf_tactic.cpp:710: lits ==> list
data/z3-4.8.9/src/tactic/core/tseitin_cnf_tactic.cpp:710: lits ==> list
data/z3-4.8.9/src/tactic/core/tseitin_cnf_tactic.cpp:714: lits ==> list
data/z3-4.8.9/src/tactic/core/tseitin_cnf_tactic.cpp:717: lits ==> list
data/z3-4.8.9/src/tactic/core/tseitin_cnf_tactic.cpp:718: lits ==> list
data/z3-4.8.9/src/tactic/core/tseitin_cnf_tactic.cpp:718: lits ==> list
data/z3-4.8.9/src/tactic/core/tseitin_cnf_tactic.cpp:737: lits ==> list
data/z3-4.8.9/src/tactic/core/tseitin_cnf_tactic.cpp:743: lits ==> list
data/z3-4.8.9/src/tactic/core/tseitin_cnf_tactic.cpp:747: lits ==> list
data/z3-4.8.9/src/tactic/core/tseitin_cnf_tactic.cpp:748: lits ==> list
data/z3-4.8.9/src/tactic/core/tseitin_cnf_tactic.cpp:748: lits ==> list
data/z3-4.8.9/src/tactic/core/tseitin_cnf_tactic.cpp:763: lits ==> list
data/z3-4.8.9/src/tactic/core/tseitin_cnf_tactic.cpp:769: lits ==> list
data/z3-4.8.9/src/tactic/core/tseitin_cnf_tactic.cpp:771: lits ==> list
data/z3-4.8.9/src/tactic/core/tseitin_cnf_tactic.cpp:774: lits ==> list
data/z3-4.8.9/src/tactic/core/tseitin_cnf_tactic.cpp:775: lits ==> list
data/z3-4.8.9/src/tactic/core/tseitin_cnf_tactic.cpp:775: lits ==> list
data/z3-4.8.9/src/tactic/core/tseitin_cnf_tactic.cpp:901: identifing ==> identifying
data/z3-4.8.9/src/tactic/core/tseitin_cnf_tactic.cpp:904: identifing ==> identifying
data/z3-4.8.9/src/tactic/fd_solver/smtfd_solver.cpp:436: achived ==> achieved, archived
data/z3-4.8.9/src/tactic/sls/sls_tactic.cpp:107: som ==> some
data/z3-4.8.9/src/tactic/sls/sls_tactic.cpp:115: som ==> some
data/z3-4.8.9/src/tactic/smtlogics/qfaufbv_tactic.cpp:34: som ==> some
data/z3-4.8.9/src/tactic/smtlogics/qfauflia_tactic.cpp:30: som ==> some
data/z3-4.8.9/src/tactic/smtlogics/qfbv_tactic.cpp:43: som ==> some
data/z3-4.8.9/src/tactic/smtlogics/qfbv_tactic.cpp:48: som ==> some
data/z3-4.8.9/src/tactic/smtlogics/qfbv_tactic.cpp:49: som ==> some
data/z3-4.8.9/src/tactic/smtlogics/qfbv_tactic.cpp:53: som ==> some
data/z3-4.8.9/src/tactic/smtlogics/qfidl_tactic.cpp:42: som ==> some
data/z3-4.8.9/src/tactic/smtlogics/qfidl_tactic.cpp:75: som ==> some
data/z3-4.8.9/src/tactic/smtlogics/qflia_tactic.cpp:83: som ==> some
data/z3-4.8.9/src/tactic/smtlogics/qflia_tactic.cpp:214: som ==> some
data/z3-4.8.9/src/tactic/smtlogics/qflra_tactic.cpp:35: som ==> some
data/z3-4.8.9/src/tactic/smtlogics/qfnia_tactic.cpp:101: som ==> some
data/z3-4.8.9/src/tactic/smtlogics/qfnia_tactic.cpp:111: som ==> some
data/z3-4.8.9/src/tactic/ufbv/ufbv_rewriter.h:253: declartion ==> declaration
data/z3-4.8.9/src/test/cnf_backbones.cpp:70: lits ==> list
data/z3-4.8.9/src/test/cnf_backbones.cpp:74: lits ==> list
data/z3-4.8.9/src/test/cnf_backbones.cpp:75: lits ==> list
data/z3-4.8.9/src/test/cnf_backbones.cpp:76: lits ==> list
data/z3-4.8.9/src/test/cnf_backbones.cpp:76: lits ==> list
data/z3-4.8.9/src/test/cnf_backbones.cpp:88: lits ==> list
data/z3-4.8.9/src/test/cnf_backbones.cpp:99: lits ==> list
data/z3-4.8.9/src/test/cnf_backbones.cpp:100: lits ==> list
data/z3-4.8.9/src/test/cnf_backbones.cpp:101: lits ==> list
data/z3-4.8.9/src/test/cnf_backbones.cpp:105: lits ==> list
data/z3-4.8.9/src/test/cnf_backbones.cpp:107: lits ==> list
data/z3-4.8.9/src/test/cnf_backbones.cpp:108: lits ==> list
data/z3-4.8.9/src/test/cnf_backbones.cpp:111: lits ==> list
data/z3-4.8.9/src/test/cnf_backbones.cpp:112: lits ==> list
data/z3-4.8.9/src/test/cnf_backbones.cpp:113: lits ==> list
data/z3-4.8.9/src/test/cnf_backbones.cpp:114: lits ==> list
data/z3-4.8.9/src/test/cnf_backbones.cpp:131: lits ==> list
data/z3-4.8.9/src/test/cnf_backbones.cpp:132: lits ==> list
data/z3-4.8.9/src/test/cnf_backbones.cpp:134: lits ==> list
data/z3-4.8.9/src/test/cnf_backbones.cpp:135: lits ==> list
data/z3-4.8.9/src/test/cnf_backbones.cpp:135: lits ==> list
data/z3-4.8.9/src/test/cnf_backbones.cpp:136: lits ==> list
data/z3-4.8.9/src/test/finder.cpp:18: lits ==> list
data/z3-4.8.9/src/test/finder.cpp:19: lits ==> list
data/z3-4.8.9/src/test/get_consequences.cpp:37: ba ==> by, be
data/z3-4.8.9/src/test/get_consequences.cpp:37: ba ==> by, be
data/z3-4.8.9/src/test/get_consequences.cpp:47: ba ==> by, be
data/z3-4.8.9/src/test/get_consequences.cpp:48: ba ==> by, be
data/z3-4.8.9/src/test/karr.cpp:114: ND ==> AND, 2ND
data/z3-4.8.9/src/test/karr.cpp:116: ND ==> AND, 2ND
data/z3-4.8.9/src/test/karr.cpp:117: ND ==> AND, 2ND
data/z3-4.8.9/src/test/karr.cpp:121: ND ==> AND, 2ND
data/z3-4.8.9/src/test/karr.cpp:123: ND ==> AND, 2ND
data/z3-4.8.9/src/test/karr.cpp:254: ND ==> AND, 2ND
data/z3-4.8.9/src/test/karr.cpp:255: ND ==> AND, 2ND
data/z3-4.8.9/src/test/karr.cpp:255: ND ==> AND, 2ND
data/z3-4.8.9/src/test/karr.cpp:256: ND ==> AND, 2ND
data/z3-4.8.9/src/test/karr.cpp:256: ND ==> AND, 2ND
data/z3-4.8.9/src/test/karr.cpp:257: ND ==> AND, 2ND
data/z3-4.8.9/src/test/karr.cpp:257: ND ==> AND, 2ND
data/z3-4.8.9/src/test/karr.cpp:258: ND ==> AND, 2ND
data/z3-4.8.9/src/test/karr.cpp:258: ND ==> AND, 2ND
data/z3-4.8.9/src/test/karr.cpp:259: ND ==> AND, 2ND
data/z3-4.8.9/src/test/karr.cpp:259: ND ==> AND, 2ND
data/z3-4.8.9/src/test/karr.cpp:260: ND ==> AND, 2ND
data/z3-4.8.9/src/test/karr.cpp:260: ND ==> AND, 2ND
data/z3-4.8.9/src/test/karr.cpp:262: ND ==> AND, 2ND
data/z3-4.8.9/src/test/karr.cpp:262: ND ==> AND, 2ND
data/z3-4.8.9/src/test/karr.cpp:265: ND ==> AND, 2ND
data/z3-4.8.9/src/test/karr.cpp:282: ND ==> AND, 2ND
data/z3-4.8.9/src/test/karr.cpp:283: ND ==> AND, 2ND
data/z3-4.8.9/src/test/karr.cpp:283: ND ==> AND, 2ND
data/z3-4.8.9/src/test/karr.cpp:284: ND ==> AND, 2ND
data/z3-4.8.9/src/test/karr.cpp:284: ND ==> AND, 2ND
data/z3-4.8.9/src/test/karr.cpp:286: ND ==> AND, 2ND
data/z3-4.8.9/src/test/karr.cpp:286: ND ==> AND, 2ND
data/z3-4.8.9/src/test/karr.cpp:289: ND ==> AND, 2ND
data/z3-4.8.9/src/test/nlarith_util.cpp:34: lits ==> list
data/z3-4.8.9/src/test/nlarith_util.cpp:35: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:228: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:230: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:231: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:234: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:235: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:236: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:240: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:309: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:311: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:313: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:318: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:321: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:327: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:381: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:382: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:383: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:384: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:385: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:401: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:402: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:403: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:404: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:405: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:406: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:439: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:440: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:441: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:442: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:444: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:444: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:454: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:506: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:507: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:508: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:545: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:550: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:555: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:558: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:563: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:563: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:566: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:566: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:569: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:569: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:572: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:572: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:576: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:582: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:587: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:590: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:594: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:599: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:604: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:607: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:664: mone ==> mono, money, none
data/z3-4.8.9/src/test/nlsat.cpp:669: mone ==> mono, money, none
data/z3-4.8.9/src/test/nlsat.cpp:680: mone ==> mono, money, none
data/z3-4.8.9/src/test/nlsat.cpp:702: mone ==> mono, money, none
data/z3-4.8.9/src/test/nlsat.cpp:736: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:748: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:749: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:750: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:751: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:759: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:760: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:761: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:762: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:770: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:771: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:772: lits ==> list
data/z3-4.8.9/src/test/nlsat.cpp:773: lits ==> list
data/z3-4.8.9/src/test/polynomial.cpp:331: nd ==> and, 2nd
data/z3-4.8.9/src/test/polynomial.cpp:337: nd ==> and, 2nd
data/z3-4.8.9/src/test/qe_arith.cpp:72: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:73: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:83: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:84: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:238: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:242: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:268: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:270: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:448: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:475: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:477: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:478: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:479: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:480: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:484: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:486: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:487: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:488: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:496: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:505: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:506: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:507: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:515: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:525: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:526: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:527: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:536: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:544: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:545: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:546: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:551: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:554: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:555: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:556: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:557: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:565: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:568: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:569: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:570: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:571: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:572: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:579: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:582: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:583: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:584: lits ==> list
data/z3-4.8.9/src/test/qe_arith.cpp:585: lits ==> list
data/z3-4.8.9/src/test/sat_local_search.cpp:28: lits ==> list
data/z3-4.8.9/src/test/sat_local_search.cpp:41: lits ==> list
data/z3-4.8.9/src/test/sat_local_search.cpp:45: lits ==> list
data/z3-4.8.9/src/test/sat_local_search.cpp:53: lits ==> list
data/z3-4.8.9/src/test/sat_local_search.cpp:56: lits ==> list
data/z3-4.8.9/src/test/sat_local_search.cpp:60: lits ==> list
data/z3-4.8.9/src/test/sat_local_search.cpp:60: lits ==> list
data/z3-4.8.9/src/test/sat_local_search.cpp:60: lits ==> list
data/z3-4.8.9/src/test/sat_local_search.cpp:61: lits ==> list
data/z3-4.8.9/src/test/sat_local_search.cpp:61: lits ==> list
data/z3-4.8.9/src/test/sorting_network.cpp:161: lits ==> list
data/z3-4.8.9/src/test/sorting_network.cpp:162: lits ==> list
data/z3-4.8.9/src/test/sorting_network.cpp:164: lits ==> list
data/z3-4.8.9/src/test/sorting_network.cpp:165: lits ==> list
data/z3-4.8.9/src/test/sorting_network.cpp:176: lits ==> list
data/z3-4.8.9/src/test/sorting_network.cpp:177: lits ==> list
data/z3-4.8.9/src/test/theory_pb.cpp:14: lits ==> list
data/z3-4.8.9/src/test/theory_pb.cpp:15: lits ==> list
data/z3-4.8.9/src/test/theory_pb.cpp:17: lits ==> list
data/z3-4.8.9/src/test/theory_pb.cpp:19: lits ==> list
data/z3-4.8.9/src/test/theory_pb.cpp:23: lits ==> list
data/z3-4.8.9/src/test/theory_pb.cpp:136: lits ==> list
data/z3-4.8.9/src/test/theory_pb.cpp:137: lits ==> list
data/z3-4.8.9/src/test/theory_pb.cpp:140: lits ==> list
data/z3-4.8.9/src/test/theory_pb.cpp:145: lits ==> list
data/z3-4.8.9/src/test/theory_pb.cpp:145: lits ==> list
data/z3-4.8.9/src/test/theory_pb.cpp:157: lits ==> list
data/z3-4.8.9/src/test/theory_pb.cpp:157: lits ==> list
data/z3-4.8.9/src/test/lp/lp.cpp:100: ba ==> by, be
data/z3-4.8.9/src/test/lp/lp.cpp:115: ba ==> by, be
data/z3-4.8.9/src/test/lp/smt_reader.h:23: reperesenting ==> representing
data/z3-4.8.9/src/util/array.h:80: chunck ==> chunk
data/z3-4.8.9/src/util/cmd_context_types.h:80: argumets ==> arguments
data/z3-4.8.9/src/util/mpn.cpp:150: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:154: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:161: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:177: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:178: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:180: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:183: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:187: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:199: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:209: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:218: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:233: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:239: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:242: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:242: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:243: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:257: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:261: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:265: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:265: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:266: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:270: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:275: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:276: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:276: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:284: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:285: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:289: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:289: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:295: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:295: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:295: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:303: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:309: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:312: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:320: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:320: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:325: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:331: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:331: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:332: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:332: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:335: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:335: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:341: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:343: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:347: numer ==> number
data/z3-4.8.9/src/util/mpn.cpp:347: numer ==> number
data/z3-4.8.9/src/util/mpn.h:49: numer ==> number
data/z3-4.8.9/src/util/mpn.h:85: numer ==> number
data/z3-4.8.9/src/util/mpn.h:90: numer ==> number
data/z3-4.8.9/src/util/mpn.h:93: numer ==> number
data/z3-4.8.9/src/util/mpn.h:96: numer ==> number
data/z3-4.8.9/src/util/sorting_network.h:616: lits ==> list
data/z3-4.8.9/src/util/sorting_network.h:617: lits ==> list
data/z3-4.8.9/src/util/sorting_network.h:618: lits ==> list
data/z3-4.8.9/src/util/sorting_network.h:775: lits ==> list
data/z3-4.8.9/src/util/sorting_network.h:776: lits ==> list
data/z3-4.8.9/src/util/sorting_network.h:778: lits ==> list
data/z3-4.8.9/src/util/sorting_network.h:780: lits ==> list
data/z3-4.8.9/src/util/sorting_network.h:926: lits ==> list
data/z3-4.8.9/src/util/sorting_network.h:927: lits ==> list
data/z3-4.8.9/src/util/sorting_network.h:931: lits ==> list
data/z3-4.8.9/src/util/sorting_network.h:932: lits ==> list
data/z3-4.8.9/src/util/sorting_network.h:968: lits ==> list
data/z3-4.8.9/src/util/sorting_network.h:969: lits ==> list
data/z3-4.8.9/src/util/sorting_network.h:975: lits ==> list
data/z3-4.8.9/src/util/sorting_network.h:976: lits ==> list
data/z3-4.8.9/src/util/sorting_network.h:984: lits ==> list
data/z3-4.8.9/src/util/sorting_network.h:985: lits ==> list
data/z3-4.8.9/src/util/sorting_network.h:988: lits ==> list
data/z3-4.8.9/src/util/sorting_network.h:989: lits ==> list
data/z3-4.8.9/src/util/sorting_network.h:991: lits ==> list
data/z3-4.8.9/src/util/sorting_network.h:992: lits ==> list
data/z3-4.8.9/src/util/sorting_network.h:992: lits ==> list
data/z3-4.8.9/src/util/sorting_network.h:1446: lits ==> list
data/z3-4.8.9/src/util/sorting_network.h:1454: lits ==> list
data/z3-4.8.9/src/util/sorting_network.h:1455: lits ==> list
data/z3-4.8.9/src/util/sorting_network.h:1456: lits ==> list
data/z3-4.8.9/src/util/sorting_network.h:1461: lits ==> list
data/z3-4.8.9/src/util/sorting_network.h:1462: lits ==> list
data/z3-4.8.9/src/util/sorting_network.h:1463: lits ==> list
data/z3-4.8.9/src/util/sorting_network.h:1483: lits ==> list
data/z3-4.8.9/src/util/sorting_network.h:1486: lits ==> list
data/z3-4.8.9/src/util/sorting_network.h:1490: lits ==> list
data/z3-4.8.9/src/util/sorting_network.h:1494: lits ==> list
data/z3-4.8.9/src/util/sorting_network.h:1495: lits ==> list
data/z3-4.8.9/src/util/sorting_network.h:1496: lits ==> list
data/z3-4.8.9/debian/changelog:234: compatibilty ==> compatibility