This work was supported by the Mathematical, Information, and Computational Sciences Division subprogram of the Office of Advanced Scientific Computing Research, Office of Science, U.S. Department of Energy, under Contract W-31-109-ENG-38.

Argonne National Laboratory, with facilities in the states of Illinois and Idaho, is owned by the United States Government and operated by The University of Chicago under the provisions of a contract with the Department of Energy.

This report was prepared as an account of work sponsored by an agency of the United States Government. Neither the United States Government nor any agency thereof, nor The University of Chicago, nor any of their employees or officers, makes any warranty, express or implied, or assumes any legal liability or responsibility for the accuracy, completeness, or usefulness of any information, apparatus, product, or process disclosed, or represents that its use would not infringe privately-owned rights. Reference herein to any specific commercial product, process, or service by trade name, trademark, manufacturer, or otherwise, does not necessarily constitute or imply its endorsement, recommendation, or favoring by the United States Government or any agency thereof. The views and opinions of document authors expressed herein do not necessarily state or reflect those of the United States Government or any agency thereof, Argonne National Laboratory, or The University of Chicago.

Contents

• Abstract
• 1  Introduction
  • 1.1  What Otter Isn't
  • 1.2  History, New Features, and Changes
  • 1.3  Useful Background
• 2  Outline of Otter's Inference Process
• 3  Starting Otter
• 4  Syntax
  • 4.1  Comments
  • 4.2  Names for Variables, Constants, Functions, and Predicates
  • 4.3  Terms and Atoms
  • 4.4  Literals and Clauses
  • 4.5  Formulas
  • 4.6  Infix, Prefix, and Postfix Expressions
  • 4.7  Whitespace in Expressions
  • 4.8  Bugs and Other Anomalies in the Input and Output of Expressions
  • 4.9  Examples of Operator Declarations
• 5  Commands and the Input File
  • 5.1  Input of Options
  • 5.2  Input of Lists of Clauses
  • 5.3  Input of Lists of Formulas
  • 5.4  Input of Lists of Weight Templates
  • 5.5  The Commands lex, skolem, and lrpo_multiset_status
  • 5.6  Other Commands
• 6  Options
  • 6.1  Flags
    • 6.1.1  Main Loop Flags
    • 6.1.2  Inference Rules
    • 6.1.3  Resolution Restriction Flags
    • 6.1.4  Paramodulation Restriction Flags
    • 6.1.5  Flags for Handling Generated Clauses
    • 6.1.6  Demodulation and Ordering Flags
    • 6.1.7  Input Flags
    • 6.1.8  Output Flags
    • 6.1.9  Indexing Flags
    • 6.1.10  Miscellaneous Flags
  • 6.2  Parameters
    • 6.2.1  Monitoring Progress
    • 6.2.2  Placing Limits on the Search
    • 6.2.3  Limits on Properties of Generated Clauses
    • 6.2.4  Indexing Parameters
    • 6.2.5  Miscellaneous Parameters
• 7  Demodulation
• 8  Ordering and Dynamic Demodulation
  • 8.1  Ad Hoc Ordering
    • 8.1.1  Term Ordering (Ad Hoc)
    • 8.1.2  Orienting Equalities (Ad Hoc)
    • 8.1.3  Determining Dynamic Demodulators (Ad Hoc)
    • 8.1.4  Lex-dependent Demodulation (Ad Hoc)
  • 8.2  LRPO
    • 8.2.1  Term Ordering (lrpo)
    • 8.2.2  Orienting Equalities (lrpo)
    • 8.2.3  Determining Dynamic Demodulators (lrpo)
    • 8.2.4  lrpo-dependent Demodulation (lrpo)
  • 8.3  Knuth-Bendix Completion
• 9  Evaluable Functions and Predicates ($SUM, $LT, …)
  • 9.1  Using More Natural Expressions for Evaluation
  • 9.2  Evaluation Examples
• 10  Weighting
  • 10.1  Weighing Clauses and Literals
  • 10.2  Weighing Atoms and Terms
  • 10.3  Containment Weight Templates
• 11  Answer Literals
• 12  The Passive List
• 13  Clause Attributes
• 14  The Hints Strategy
  • 14.1  Hints (the General Version)
  • 14.2  Hints2 (the Fast Version)
  • 14.3  Label Attributes on Hints
  • 14.4  Generating Hints from Proofs
• 15  Interaction during the Search
• 16  Output and Exit Codes
• 17  Controlling Memory
• 18  Autonomous Mode
• 19  Fringe Features
  • 19.1  Ancestor Subsumption
  • 19.2  The Hot List
  • 19.3  Sequent Notation for Clauses
  • 19.4  Conditional Demodulation
  • 19.5  Debugging Searches and Demodulation
  • 19.6  Special Unary Function Demodulation
  • 19.7  The Invisible Argument
  • 19.8  Floating-Point Operations
  • 19.9  Foreign Evaluable Functions
  • 19.10  The Inference Rule gL for Cubic Curves
  • 19.11  Linked UR-Resolution
  • 19.12  Splitting
    • 19.12.1  Splitting on Ground Clauses
    • 19.12.2  Splitting on Atoms
    • 19.12.3  More on Splitting
• 20  Soundness and Completeness
  • 20.1  Soundness
  • 20.2  Completeness
• 21  Limits, Abnormal Ends, and Fixes
• 22  Obtaining and Installing Otter
• References

Abstract: Otter is a resolution-style theorem-proving program for first-order logic with equality. Otter includes the inference rules binary resolution, hyperresolution, UR-resolution, and binary paramodulation. Some of its other abilities and features are conversion from first-order formulas to clauses, forward and back subsumption, factoring, weighting, answer literals, term ordering, forward and back demodulation, evaluable functions and predicates, Knuth-Bendix completion, and the hints strategy. Otter is coded in ANSI C, is free, and is portable to many different kinds of computer.

1  Introduction

Otter (Organized Techniques for Theorem-proving and Effective Research) is a resolution-style theorem prover, similar in scope and purpose to the aura [24] and lma/itp [15] theorem provers, which are also associated with Argonne. Otter applies to statements written in first-order logic with equality. The primary design considerations have been performance, portability, and extensibility. The programming language ANSI C is used.

Otter features the inference rules binary resolution, hyperresolution, UR-resolution, and binary paramodulation. These inference rules take a small set of clauses and infer a clause; if the inferred clause is new, interesting, and useful, it is stored and may become available for subsequent inferences. Other features of Otter are the following.

• Statements of the problem may be input either with first-order formulas or with clauses (a clause is a disjunction with implicit universal quantifiers and no existential quantifiers). If first-order formulas are input, Otter translates them to clauses.
• Forward demodulation rewrites and simplifies newly inferred clauses with a set of equalities, and back demodulation uses a newly inferred equality (which has been added to the set of demodulators) to rewrite all existing clauses.
• Forward subsumption deletes an inferred clause if it is subsumed by any existing clause, and back subsumption deletes all clauses that are subsumed by an inferred clause.
• A variant of the Knuth-Bendix method can search for a complete set of reductions and help with proof searches.
• Weight functions and lexical ordering decide the value of clauses and terms.
• Answer literals can give information about the proofs that are found. See Sec. 11.
• Evaluable functions and predicates build in integer arithmetic, Boolean operations, and lexical comparisons and enable users to “program” aspects of deduction processes. See Sec. 9.
• Proofs can be presented in a very detailed form, called proof objects, which can be used by other programs, for example, to check or to translate the proofs. See Sec. 20.1.
• The hints strategy can be used to provide heuristic guidance to the search. To apply this feature, the user gives a set of hint clauses, and clauses similar to the hint clauses are emphasized during the search. See Sec. 14.
• Otter's input is compatible, for the most part, with a complementary program MACE 2.0 [17], which looks for finite models of first-order statements. Given a conjecture, Otter can search for a proof, and MACE can look for a counterexample, usually from the same input file. MACE 2.0 is included in the standard Otter 3.3 distribution packages.

Although Otter has an autonomous mode, most work with Otter involves interaction with the user. After encoding a problem into first-order logic or into clauses, the user usually chooses inference rules, sets options to control the processing of inferred clauses, and decides which input formulas or clauses are to be in the initial set of support and which (if any) equalities are to be demodulators. If Otter fails to find a proof, the user may wish to try again with different initial conditions. In the autonomous mode, the user inputs a set of clauses and/or formulas, and Otter does a simple syntactic analysis and decides inference rules and strategies. The autonomous mode is frequently useful for the first attempt at a proof.

1.1  What Otter Isn't

Some of the first applications that come to mind when one hears “automated theorem proving” are number theory, calculus, and plane geometry, because these are some of the first areas in which math students try to prove theorems. Unfortunately, Otter cannot do much in these areas: interesting number theory problems usually require induction, interesting calculus and analysis problems usually require higher-order functions, and the first-order axiomatizations of geometry are not practical. (Nonetheless, Art Quaife has proved many interesting theorems in number theory and geometry using Otter [22, 21].) For practical theorem proving in inductive theories, see the work of Boyer, Moore, and Kaufmann [2, 10].

Otter is also not targeted toward synthesizing or verifying formal hardware or software systems. See [6, 5] for work in those areas.

Summaries of other theorem-proving systems can be found in proceedings of the recent Conferences on Automated Deduction (CADE) and in coverage of the CADE ATP System Competition (CASC).

1.2  History, New Features, and Changes

There have been several previous releases of Otter, starting with version 0.9, which was distributed at the 9th International Conference on Automated Deduction (CADE-9) in May 1988. Many new features have been added since then, many bugs have been fixed, and (of course) many bugs have been introduced.

1.3  Useful Background

This manual does not contain an introduction to first-order logic or to automated deduction. We assume that the reader knows the basic terminology including term (variable, constant, complex term), atom, literal, clause, propositional variable, function symbol, predicate symbol, Skolem constant, Skolem function, formula, conjunctive normal form (CNF), resolution, hyperresolution, and paramodulation. See [3, 14, 32] for an introductions and overviews of automated theorem proving, see [23, 1] for collections of important papers, see [30] for a list of general problems in the field, and see [33, 8, 18] for introductions and applications that focus on the use of Otter.

2  Outline of Otter's Inference Process

Once Otter gets going with its real work—making inferences and searching for proofs—it operates on clauses and on clauses only. If the user inputs nonclausal first-order formulas, Otter immediately translates them to clauses, by a straightforward procedure involving negation normal form conversion, Skolemization, quantifier operations, and conjunctive normal form conversion.

As with its predecessors aura and lma/itp, Otter's basic inference mechanism is the given-clause algorithm, which can be viewed as a simple implementation of the set of support strategy [31]. Otter maintains four lists of clauses:

usable.

This list contains clauses that are available to make inferences.

sos.

Clauses in list sos (set of support) are not available to make inferences; they are waiting to participate in the search.

passive.

These clauses do not directly participate in the search; they are used only for forward subsumption and unit conflict. The passive list is fixed at input and does not change during the search. See Sec. 12.

demodulators.

These are equalities that are used as rules to rewrite newly inferred clauses.

The main loop for inferring and processing clauses and searching for a refutation operates mainly on the lists usable and sos:

    While (sos is not empty and no refutation has been found)
        1. Let given_clause be the ``best'' clause in sos;
        2. Move given_clause from sos to usable;
        3. Infer and process new clauses using the inference
              rules in effect; each new clause must have the
              given_clause as one of its parents and members
              of usable as its other parents;  new clauses
              that pass the retention tests are appended to sos;
    End of while loop.

The set of support strategy requires the user to partition the input clauses into two sets: those with support and those without. For each inference, at least one of the parents must have support. Retained inferences receive support. In other words, no inferences are made in which all parents are nonsupported input clauses. At input time, Otter's list sos is the set of supported clauses, and usable is the nonsupported clauses. (Once the main loop has started, usable no longer corresponds to nonsupported clauses, because sos clauses have moved there.) Otter's main loop implements the set of support strategy, because no inferences are made in which all of the parents are from the initial usable list.

The following paragraph tries to answer the frequently asked question “At a certain point, Otter has all of the clauses available to make the inference I want, and one of the potential parents is selected as the given clause—why doesn't the program make the inference?”

Otter's main loop eliminates an important kind of redundancy. Suppose one can infer clause C from clauses A and B, and suppose both A and B are in list sos. If A is selected as the given clause, it will be moved to usable and inferences will be made; but A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B to infer C, because B is still in sos. We must waiter t A will not mate with B<