************************************************************
    *  IMITATOR 2.9.2-working "Butter Incaberry"               *
    *                                                          *
    *                     Etienne Andre, Ulrich Kuehne et al.  *
    *                                             2009 - 2017  *
    *                       LSV, ENS de Cachan & CNRS, France  *
    *                       LIPN, Universite Paris 13, France  *
    *                                         www.imitator.fr  *
    *                                                          *
    *                   Build: 2363 (2017-06-08 17:40:33 UTC)  *
    *                                       explorder/5c40e39  *
    ************************************************************
    Analysis time: Sun Jun 18, 2017 11:38:16
    
    Model: /media/gia/Data/Example-Models/Pipeline-KP12-3-3/Pipeline-KP12-3-3.imi
    Mode: EF-synthesis.
    Exploration order: queue-based BFS with priority [WORK IN PROGRESS].
    Considering fixpoint variant with monodirectional inclusion of symbolic zones (instead of equality).
    Merging technique of [AFS13] enabled.
    The cartography will be drawn.
    The result will be written to a file.
    The trace set(s) will be generated in a graphical mode.
    Description of states will be output.
    This model is an L/U-PTA:
    - lower-bound parameters {a, e, c}
    - upper-bound parameters {b, f, d}
    
    Abstract model built after 0.008 second.
    Memory for abstract model: 960.746 KiB (i.e., 245951 words)
    
    Starting running algorithm AGsafe…
    
    Entering explore_queue_bfs!!!
      [AGsafe] Found a new state violating the property.
      [AGsafe] Found a new state violating the property.
      1 state merged within 12 states.
      [AGsafe] Found a new state violating the property.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      2 states merged within 12 states.
      [AGsafe] Found a new state violating the property.
      2 states merged within 13 states.
      2 states merged within 12 states.
      4 states merged within 13 states.
      3 states merged within 14 states.
      3 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      4 states merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      1 state merged within 12 states.
      3 states merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 14 states.
      2 states merged within 14 states.
      4 states merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 11 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      1 state merged within 10 states.
      1 state merged within 10 states.
      2 states merged within 11 states.
      1 state merged within 12 states.
      [AGsafe] Found a new state violating the property.
      1 state merged within 14 states.
      2 states merged within 13 states.
      1 state merged within 12 states.
      2 states merged within 12 states.
      1 state merged within 13 states.
      2 states merged within 14 states.
      2 states merged within 15 states.
      2 states merged within 14 states.
      2 states merged within 13 states.
      3 states merged within 13 states.
      2 states merged within 14 states.
      3 states merged within 15 states.
      3 states merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 12 states.
      2 states merged within 12 states.
      1 state merged within 12 states.
      3 states merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 11 states.
      4 states merged within 12 states.
      4 states merged within 14 states.
      1 state merged within 16 states.
      2 states merged within 15 states.
      1 state merged within 14 states.
      2 states merged within 14 states.
      5 states merged within 15 states.
      5 states merged within 16 states.
      3 states merged within 15 states.
      2 states merged within 15 states.
      2 states merged within 15 states.
      3 states merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 13 states.
      4 states merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 13 states.
      5 states merged within 13 states.
      1 state merged within 13 states.
      3 states merged within 12 states.
      3 states merged within 13 states.
      4 states merged within 14 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      3 states merged within 13 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 11 states.
      1 state merged within 11 states.
      4 states merged within 11 states.
      3 states merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 12 states.
      3 states merged within 12 states.
      2 states merged within 12 states.
      1 state merged within 11 states.
      4 states merged within 11 states.
      2 states merged within 12 states.
      1 state merged within 11 states.
      2 states merged within 10 states.
      1 state merged within 11 states.
      3 states merged within 13 states.
      1 state merged within 15 states.
      1 state merged within 16 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      2 states merged within 16 states.
      3 states merged within 17 states.
      2 states merged within 16 states.
      1 state merged within 16 states.
      1 state merged within 16 states.
      1 state merged within 15 states.
      2 states merged within 14 states.
      2 states merged within 14 states.
      3 states merged within 14 states.
      2 states merged within 13 states.
      3 states merged within 14 states.
      4 states merged within 16 states.
      1 state merged within 17 states.
      1 state merged within 16 states.
      3 states merged within 16 states.
      3 states merged within 16 states.
      3 states merged within 15 states.
      4 states merged within 14 states.
      2 states merged within 14 states.
      2 states merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 12 states.
      1 state merged within 12 states.
      4 states merged within 12 states.
      3 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      3 states merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 12 states.
      4 states merged within 12 states.
      2 states merged within 13 states.
      3 states merged within 12 states.
      3 states merged within 11 states.
      1 state merged within 12 states.
      2 states merged within 13 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 12 states.
      2 states merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      2 states merged within 10 states.
      1 state merged within 10 states.
      2 states merged within 10 states.
      1 state merged within 11 states.
      2 states merged within 12 states.
      3 states merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 11 states.
      1 state merged within 11 states.
      2 states merged within 12 states.
      2 states merged within 11 states.
      1 state merged within 10 states.
      2 states merged within 10 states.
      1 state merged within 10 states.
      2 states merged within 9 states.
      1 state merged within 9 states.
      2 states merged within 10 states.
      1 state merged within 11 states.
      1 state merged within 12 states.
      [AGsafe] Found a new state violating the property.
      1 state merged within 15 states.
      2 states merged within 14 states.
      1 state merged within 13 states.
      2 states merged within 13 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 12 states.
      1 state merged within 13 states.
      2 states merged within 14 states.
      1 state merged within 15 states.
      2 states merged within 16 states.
      2 states merged within 15 states.
      1 state merged within 14 states.
      2 states merged within 14 states.
      2 states merged within 13 states.
      2 states merged within 13 states.
      3 states merged within 13 states.
      1 state merged within 14 states.
      2 states merged within 15 states.
      2 states merged within 16 states.
      2 states merged within 15 states.
      2 states merged within 14 states.
      3 states merged within 14 states.
      2 states merged within 15 states.
      3 states merged within 16 states.
      3 states merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      2 states merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      4 states merged within 13 states.
      2 states merged within 13 states.
      2 states merged within 12 states.
      2 states merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 12 states.
      1 state merged within 12 states.
      4 states merged within 12 states.
      2 states merged within 12 states.
      2 states merged within 11 states.
      1 state merged within 12 states.
      3 states merged within 14 states.
      1 state merged within 17 states.
      2 states merged within 16 states.
      1 state merged within 15 states.
      2 states merged within 15 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 14 states.
      3 states merged within 15 states.
      3 states merged within 16 states.
      2 states merged within 17 states.
      2 states merged within 16 states.
      2 states merged within 15 states.
      3 states merged within 15 states.
      4 states merged within 16 states.
      4 states merged within 17 states.
      3 states merged within 16 states.
      2 states merged within 16 states.
      2 states merged within 16 states.
      2 states merged within 15 states.
      1 state merged within 15 states.
      2 states merged within 14 states.
      2 states merged within 14 states.
      1 state merged within 14 states.
      6 states merged within 14 states.
      2 states merged within 14 states.
      2 states merged within 13 states.
      4 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 13 states.
      2 states merged within 12 states.
      2 states merged within 12 states.
      4 states merged within 12 states.
      1 state merged within 13 states.
      2 states merged within 14 states.
      3 states merged within 16 states.
      2 states merged within 17 states.
      2 states merged within 16 states.
      2 states merged within 16 states.
      2 states merged within 16 states.
      2 states merged within 15 states.
      1 state merged within 15 states.
      2 states merged within 14 states.
      2 states merged within 13 states.
      5 states merged within 14 states.
      1 state merged within 14 states.
      3 states merged within 13 states.
      2 states merged within 14 states.
      3 states merged within 15 states.
      1 state merged within 16 states.
      1 state merged within 16 states.
      3 states merged within 14 states.
      2 states merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 14 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 12 states.
      2 states merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      5 states merged within 12 states.
      3 states merged within 13 states.
      2 states merged within 12 states.
      2 states merged within 11 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 12 states.
      2 states merged within 12 states.
      2 states merged within 12 states.
      1 state merged within 11 states.
      2 states merged within 11 states.
      2 states merged within 12 states.
      1 state merged within 12 states.
      5 states merged within 11 states.
      4 states merged within 11 states.
      3 states merged within 11 states.
      1 state merged within 10 states.
      1 state merged within 10 states.
      4 states merged within 11 states.
      4 states merged within 13 states.
      2 states merged within 15 states.
      1 state merged within 18 states.
      2 states merged within 17 states.
      1 state merged within 16 states.
      2 states merged within 16 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      2 states merged within 15 states.
      2 states merged within 16 states.
      3 states merged within 17 states.
      2 states merged within 18 states.
      2 states merged within 17 states.
      2 states merged within 16 states.
      3 states merged within 16 states.
      2 states merged within 17 states.
      3 states merged within 18 states.
      3 states merged within 17 states.
      1 state merged within 17 states.
      1 state merged within 17 states.
      2 states merged within 16 states.
      1 state merged within 16 states.
      2 states merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      5 states merged within 15 states.
      2 states merged within 15 states.
      2 states merged within 14 states.
      2 states merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      3 states merged within 13 states.
      4 states merged within 14 states.
      6 states merged within 16 states.
      2 states merged within 17 states.
      1 state merged within 18 states.
      2 states merged within 17 states.
      1 state merged within 16 states.
      2 states merged within 16 states.
      6 states merged within 17 states.
      6 states merged within 18 states.
      3 states merged within 17 states.
      2 states merged within 17 states.
      2 states merged within 17 states.
      4 states merged within 16 states.
      1 state merged within 16 states.
      2 states merged within 15 states.
      4 states merged within 15 states.
      1 state merged within 15 states.
      5 states merged within 14 states.
      4 states merged within 14 states.
      4 states merged within 15 states.
      3 states merged within 16 states.
      1 state merged within 17 states.
      1 state merged within 17 states.
      3 states merged within 15 states.
      2 states merged within 15 states.
      2 states merged within 15 states.
      4 states merged within 16 states.
      2 states merged within 16 states.
      2 states merged within 15 states.
      2 states merged within 14 states.
      1 state merged within 14 states.
      4 states merged within 13 states.
      3 states merged within 13 states.
      2 states merged within 13 states.
      1 state merged within 14 states.
      3 states merged within 14 states.
      2 states merged within 14 states.
      1 state merged within 13 states.
      7 states merged within 13 states.
      5 states merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      4 states merged within 12 states.
      3 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 13 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 13 states.
      2 states merged within 12 states.
      2 states merged within 12 states.
      3 states merged within 11 states.
      6 states merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 11 states.
      2 states merged within 11 states.
      3 states merged within 12 states.
      3 states merged within 13 states.
      4 states merged within 15 states.
      1 state merged within 16 states.
      1 state merged within 16 states.
      2 states merged within 15 states.
      1 state merged within 15 states.
      2 states merged within 15 states.
      3 states merged within 16 states.
      1 state merged within 16 states.
      1 state merged within 15 states.
      3 states merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 12 states.
      3 states merged within 13 states.
      3 states merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 12 states.
      2 states merged within 12 states.
      3 states merged within 13 states.
      4 states merged within 14 states.
      1 state merged within 15 states.
      2 states merged within 16 states.
      1 state merged within 16 states.
      1 state merged within 15 states.
      3 states merged within 13 states.
      2 states merged within 13 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 14 states.
      2 states merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 11 states.
      2 states merged within 11 states.
      2 states merged within 11 states.
      1 state merged within 11 states.
      2 states merged within 12 states.
      2 states merged within 12 states.
      1 state merged within 12 states.
      5 states merged within 11 states.
      2 states merged within 11 states.
      2 states merged within 11 states.
      1 state merged within 11 states.
      4 states merged within 10 states.
      3 states merged within 11 states.
      3 states merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 12 states.
      3 states merged within 12 states.
      3 states merged within 12 states.
      2 states merged within 11 states.
      3 states merged within 11 states.
      3 states merged within 12 states.
      1 state merged within 12 states.
      4 states merged within 12 states.
      4 states merged within 11 states.
      2 states merged within 11 states.
      2 states merged within 11 states.
      4 states merged within 10 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      3 states merged within 11 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      6 states merged within 10 states.
      4 states merged within 10 states.
      5 states merged within 10 states.
      5 states merged within 10 states.
      1 state merged within 9 states.
      1 state merged within 9 states.
      1 state merged within 9 states.
      1 state merged within 10 states.
      3 states merged within 12 states.
      1 state merged within 14 states.
      1 state merged within 16 states.
      1 state merged within 18 states.
      1 state merged within 17 states.
      1 state merged within 17 states.
      1 state merged within 16 states.
      1 state merged within 16 states.
      1 state merged within 16 states.
      1 state merged within 17 states.
      2 states merged within 18 states.
      1 state merged within 19 states.
      1 state merged within 18 states.
      2 states merged within 17 states.
      2 states merged within 17 states.
      1 state merged within 18 states.
      2 states merged within 19 states.
      2 states merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 17 states.
      2 states merged within 16 states.
      1 state merged within 16 states.
      3 states merged within 16 states.
      1 state merged within 16 states.
      2 states merged within 15 states.
      2 states merged within 15 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 15 states.
      5 states merged within 17 states.
      2 states merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 17 states.
      1 state merged within 17 states.
      4 states merged within 18 states.
      4 states merged within 19 states.
      2 states merged within 18 states.
      2 states merged within 18 states.
      2 states merged within 18 states.
      2 states merged within 17 states.
      2 states merged within 16 states.
      4 states merged within 16 states.
      4 states merged within 15 states.
      3 states merged within 15 states.
      1 state merged within 16 states.
      2 states merged within 17 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      2 states merged within 16 states.
      2 states merged within 16 states.
      1 state merged within 16 states.
      2 states merged within 17 states.
      1 state merged within 17 states.
      1 state merged within 16 states.
      1 state merged within 15 states.
      4 states merged within 14 states.
      3 states merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 15 states.
      1 state merged within 15 states.
      2 states merged within 14 states.
      4 states merged within 14 states.
      1 state merged within 15 states.
      1 state merged within 14 states.
      2 states merged within 13 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 12 states.
      4 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      3 states merged within 13 states.
      4 states merged within 15 states.
      2 states merged within 17 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 17 states.
      1 state merged within 17 states.
      2 states merged within 18 states.
      3 states merged within 19 states.
      2 states merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 17 states.
      2 states merged within 16 states.
      2 states merged within 16 states.
      3 states merged within 15 states.
      2 states merged within 15 states.
      4 states merged within 16 states.
      4 states merged within 18 states.
      1 state merged within 19 states.
      1 state merged within 18 states.
      2 states merged within 18 states.
      2 states merged within 18 states.
      3 states merged within 17 states.
      3 states merged within 16 states.
      2 states merged within 16 states.
      3 states merged within 17 states.
      2 states merged within 17 states.
      2 states merged within 16 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      4 states merged within 14 states.
      2 states merged within 14 states.
      3 states merged within 14 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      2 states merged within 15 states.
      2 states merged within 15 states.
      2 states merged within 14 states.
      8 states merged within 14 states.
      4 states merged within 15 states.
      3 states merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      3 states merged within 14 states.
      2 states merged within 15 states.
      1 state merged within 16 states.
      1 state merged within 17 states.
      1 state merged within 17 states.
      1 state merged within 16 states.
      1 state merged within 15 states.
      2 states merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 14 states.
      4 states merged within 15 states.
      2 states merged within 16 states.
      2 states merged within 16 states.
      2 states merged within 15 states.
      2 states merged within 14 states.
      2 states merged within 14 states.
      1 state merged within 13 states.
      3 states merged within 12 states.
      3 states merged within 12 states.
      3 states merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      3 states merged within 14 states.
      4 states merged within 12 states.
      1 state merged within 13 states.
      4 states merged within 12 states.
      4 states merged within 12 states.
      4 states merged within 11 states.
      3 states merged within 12 states.
      3 states merged within 13 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      3 states merged within 13 states.
      2 states merged within 13 states.
      2 states merged within 12 states.
      2 states merged within 12 states.
      3 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      4 states merged within 13 states.
      2 states merged within 13 states.
      2 states merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      4 states merged within 11 states.
      2 states merged within 12 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 12 states.
      2 states merged within 12 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      6 states merged within 11 states.
      4 states merged within 11 states.
      5 states merged within 11 states.
      2 states merged within 11 states.
      2 states merged within 10 states.
      2 states merged within 10 states.
      2 states merged within 10 states.
      1 state merged within 11 states.
      3 states merged within 13 states.
      2 states merged within 15 states.
      2 states merged within 17 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 17 states.
      1 state merged within 17 states.
      1 state merged within 18 states.
      2 states merged within 19 states.
      2 states merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 17 states.
      2 states merged within 16 states.
      2 states merged within 16 states.
      2 states merged within 15 states.
      2 states merged within 15 states.
      2 states merged within 16 states.
      4 states merged within 18 states.
      2 states merged within 19 states.
      1 state merged within 18 states.
      2 states merged within 18 states.
      2 states merged within 18 states.
      4 states merged within 17 states.
      3 states merged within 16 states.
      1 state merged within 16 states.
      2 states merged within 17 states.
      1 state merged within 17 states.
      1 state merged within 16 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      3 states merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 14 states.
      1 state merged within 15 states.
      2 states merged within 15 states.
      1 state merged within 15 states.
      2 states merged within 14 states.
      5 states merged within 14 states.
      3 states merged within 15 states.
      3 states merged within 14 states.
      3 states merged within 14 states.
      3 states merged within 16 states.
      1 state merged within 18 states.
      1 state merged within 19 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      2 states merged within 17 states.
      2 states merged within 16 states.
      2 states merged within 16 states.
      3 states merged within 17 states.
      2 states merged within 17 states.
      2 states merged within 16 states.
      2 states merged within 15 states.
      2 states merged within 16 states.
      2 states merged within 15 states.
      6 states merged within 14 states.
      3 states merged within 14 states.
      2 states merged within 14 states.
      4 states merged within 15 states.
      3 states merged within 16 states.
      2 states merged within 16 states.
      2 states merged within 15 states.
      1 state merged within 14 states.
      2 states merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      3 states merged within 12 states.
      3 states merged within 12 states.
      3 states merged within 12 states.
      3 states merged within 12 states.
      1 state merged within 13 states.
      2 states merged within 14 states.
      2 states merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 13 states.
      2 states merged within 13 states.
      3 states merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 13 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      6 states merged within 12 states.
      5 states merged within 13 states.
      2 states merged within 14 states.
      2 states merged within 13 states.
      4 states merged within 12 states.
      2 states merged within 12 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      1 state merged within 12 states.
      3 states merged within 14 states.
      1 state merged within 16 states.
      2 states merged within 18 states.
      1 state merged within 19 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      2 states merged within 17 states.
      2 states merged within 16 states.
      1 state merged within 16 states.
      2 states merged within 17 states.
      1 state merged within 17 states.
      1 state merged within 16 states.
      3 states merged within 15 states.
      1 state merged within 16 states.
      2 states merged within 15 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 14 states.
      4 states merged within 15 states.
      5 states merged within 16 states.
      2 states merged within 16 states.
      2 states merged within 15 states.
      2 states merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 13 states.
      1 state merged within 14 states.
      2 states merged within 15 states.
      4 states merged within 12 states.
      3 states merged within 12 states.
      3 states merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 13 states.
      2 states merged within 14 states.
      2 states merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      2 states merged within 10 states.
      2 states merged within 10 states.
      2 states merged within 10 states.
      2 states merged within 10 states.
      1 state merged within 10 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 13 states.
      2 states merged within 12 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      2 states merged within 12 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      2 states merged within 11 states.
      2 states merged within 11 states.
      1 state merged within 10 states.
      1 state merged within 10 states.
      1 state merged within 10 states.
      3 states merged within 10 states.
      3 states merged within 11 states.
      2 states merged within 12 states.
      2 states merged within 13 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      2 states merged within 10 states.
      2 states merged within 10 states.
      2 states merged within 10 states.
      2 states merged within 9 states.
      2 states merged within 9 states.
      2 states merged within 9 states.
      2 states merged within 9 states.
      2 states merged within 9 states.
      1 state merged within 10 states.
      2 states merged within 11 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      2 states merged within 11 states.
      3 states merged within 12 states.
      4 states merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 11 states.
      2 states merged within 11 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      1 state merged within 10 states.
      2 states merged within 10 states.
      1 state merged within 10 states.
      2 states merged within 11 states.
      1 state merged within 12 states.
      2 states merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      3 states merged within 11 states.
      2 states merged within 12 states.
      2 states merged within 11 states.
      2 states merged within 10 states.
      2 states merged within 10 states.
      1 state merged within 10 states.
      1 state merged within 10 states.
      1 state merged within 10 states.
      1 state merged within 10 states.
      1 state merged within 9 states.
      1 state merged within 9 states.
      1 state merged within 9 states.
      2 states merged within 9 states.
      1 state merged within 10 states.
      1 state merged within 11 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      2 states merged within 12 states.
      2 states merged within 11 states.
      1 state merged within 10 states.
      1 state merged within 10 states.
      1 state merged within 10 states.
      2 states merged within 11 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      2 states merged within 10 states.
      2 states merged within 10 states.
      1 state merged within 9 states.
      1 state merged within 9 states.
      1 state merged within 9 states.
      3 states merged within 9 states.
      3 states merged within 10 states.
      2 states merged within 11 states.
      2 states merged within 12 states.
      1 state merged within 11 states.
      1 state merged within 10 states.
      1 state merged within 10 states.
      2 states merged within 9 states.
      2 states merged within 9 states.
      2 states merged within 9 states.
      2 states merged within 8 states.
      2 states merged within 8 states.
      2 states merged within 8 states.
      2 states merged within 8 states.
      1 state merged within 8 states.
      2 states merged within 9 states.
      1 state merged within 10 states.
      1 state merged within 11 states.
      1 state merged within 12 states.
      [AGsafe] Found a new state violating the property.
      1 state merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 13 states.
      2 states merged within 14 states.
      1 state merged within 15 states.
      1 state merged within 16 states.
      1 state merged within 15 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 13 states.
      2 states merged within 13 states.
      2 states merged within 13 states.
      1 state merged within 14 states.
      2 states merged within 15 states.
      1 state merged within 16 states.
      1 state merged within 15 states.
      2 states merged within 14 states.
      2 states merged within 14 states.
      1 state merged within 15 states.
      2 states merged within 16 states.
      2 states merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 14 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      3 states merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 12 states.
      2 states merged within 12 states.
      2 states merged within 12 states.
      3 states merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 11 states.
      1 state merged within 12 states.
      3 states merged within 14 states.
      1 state merged within 16 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      3 states merged within 15 states.
      3 states merged within 16 states.
      1 state merged within 17 states.
      1 state merged within 16 states.
      2 states merged within 15 states.
      2 states merged within 15 states.
      3 states merged within 16 states.
      3 states merged within 17 states.
      2 states merged within 16 states.
      2 states merged within 16 states.
      2 states merged within 16 states.
      1 state merged within 15 states.
      2 states merged within 14 states.
      2 states merged within 14 states.
      4 states merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 13 states.
      4 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 12 states.
      2 states merged within 12 states.
      2 states merged within 12 states.
      1 state merged within 13 states.
      2 states merged within 14 states.
      2 states merged within 16 states.
      1 state merged within 17 states.
      1 state merged within 16 states.
      2 states merged within 16 states.
      2 states merged within 16 states.
      1 state merged within 15 states.
      2 states merged within 14 states.
      2 states merged within 13 states.
      4 states merged within 14 states.
      3 states merged within 13 states.
      1 state merged within 14 states.
      2 states merged within 15 states.
      1 state merged within 16 states.
      1 state merged within 16 states.
      2 states merged within 14 states.
      2 states merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 14 states.
      1 state merged within 13 states.
      2 states merged within 12 states.
      2 states merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      4 states merged within 12 states.
      2 states merged within 13 states.
      2 states merged within 12 states.
      2 states merged within 11 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      2 states merged within 11 states.
      1 state merged within 12 states.
      4 states merged within 11 states.
      3 states merged within 11 states.
      3 states merged within 11 states.
      1 state merged within 10 states.
      1 state merged within 10 states.
      1 state merged within 11 states.
      3 states merged within 13 states.
      1 state merged within 15 states.
      1 state merged within 17 states.
      1 state merged within 16 states.
      1 state merged within 16 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      2 states merged within 16 states.
      3 states merged within 17 states.
      1 state merged within 18 states.
      1 state merged within 17 states.
      2 states merged within 16 states.
      2 states merged within 16 states.
      1 state merged within 17 states.
      2 states merged within 18 states.
      2 states merged within 17 states.
      1 state merged within 17 states.
      1 state merged within 17 states.
      1 state merged within 16 states.
      2 states merged within 15 states.
      1 state merged within 15 states.
      3 states merged within 15 states.
      1 state merged within 15 states.
      2 states merged within 14 states.
      2 states merged within 14 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      3 states merged within 14 states.
      4 states merged within 16 states.
      1 state merged within 17 states.
      1 state merged within 17 states.
      1 state merged within 16 states.
      1 state merged within 16 states.
      4 states merged within 17 states.
      4 states merged within 18 states.
      2 states merged within 17 states.
      2 states merged within 17 states.
      2 states merged within 17 states.
      2 states merged within 16 states.
      2 states merged within 15 states.
      3 states merged within 15 states.
      4 states merged within 14 states.
      3 states merged within 14 states.
      3 states merged within 15 states.
      2 states merged within 16 states.
      1 state merged within 17 states.
      1 state merged within 17 states.
      2 states merged within 15 states.
      2 states merged within 15 states.
      2 states merged within 15 states.
      4 states merged within 16 states.
      2 states merged within 16 states.
      2 states merged within 15 states.
      1 state merged within 14 states.
      4 states merged within 13 states.
      3 states merged within 13 states.
      2 states merged within 13 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 13 states.
      5 states merged within 13 states.
      2 states merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      4 states merged within 12 states.
      3 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 11 states.
      5 states merged within 12 states.
      2 states merged within 11 states.
      2 states merged within 11 states.
      1 state merged within 12 states.
      2 states merged within 13 states.
      2 states merged within 15 states.
      1 state merged within 16 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      2 states merged within 15 states.
      3 states merged within 16 states.
      1 state merged within 16 states.
      1 state merged within 15 states.
      2 states merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 12 states.
      2 states merged within 13 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 12 states.
      2 states merged within 12 states.
      1 state merged within 13 states.
      2 states merged within 14 states.
      1 state merged within 15 states.
      2 states merged within 16 states.
      1 state merged within 16 states.
      1 state merged within 15 states.
      2 states merged within 13 states.
      2 states merged within 13 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 14 states.
      2 states merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      2 states merged within 11 states.
      2 states merged within 11 states.
      2 states merged within 11 states.
      1 state merged within 11 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      4 states merged within 11 states.
      1 state merged within 11 states.
      2 states merged within 11 states.
      1 state merged within 11 states.
      2 states merged within 10 states.
      1 state merged within 11 states.
      2 states merged within 12 states.
      2 states merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 12 states.
      2 states merged within 12 states.
      2 states merged within 11 states.
      1 state merged within 11 states.
      2 states merged within 12 states.
      3 states merged within 12 states.
      3 states merged within 11 states.
      1 state merged within 11 states.
      2 states merged within 11 states.
      2 states merged within 10 states.
      1 state merged within 11 states.
      2 states merged within 11 states.
      4 states merged within 10 states.
      3 states merged within 10 states.
      5 states merged within 10 states.
      6 states merged within 10 states.
      1 state merged within 9 states.
      1 state merged within 9 states.
      1 state merged within 9 states.
      4 states merged within 10 states.
      4 states merged within 12 states.
      2 states merged within 14 states.
      2 states merged within 16 states.
      1 state merged within 18 states.
      1 state merged within 17 states.
      1 state merged within 17 states.
      1 state merged within 16 states.
      1 state merged within 16 states.
      1 state merged within 16 states.
      1 state merged within 17 states.
      2 states merged within 18 states.
      1 state merged within 19 states.
      1 state merged within 18 states.
      2 states merged within 17 states.
      2 states merged within 17 states.
      1 state merged within 18 states.
      2 states merged within 19 states.
      2 states merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 17 states.
      2 states merged within 16 states.
      1 state merged within 16 states.
      3 states merged within 16 states.
      1 state merged within 16 states.
      2 states merged within 15 states.
      2 states merged within 15 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 15 states.
      5 states merged within 17 states.
      2 states merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 17 states.
      1 state merged within 17 states.
      4 states merged within 18 states.
      4 states merged within 19 states.
      2 states merged within 18 states.
      2 states merged within 18 states.
      2 states merged within 18 states.
      2 states merged within 17 states.
      2 states merged within 16 states.
      4 states merged within 16 states.
      4 states merged within 15 states.
      3 states merged within 15 states.
      1 state merged within 16 states.
      2 states merged within 17 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      2 states merged within 16 states.
      2 states merged within 16 states.
      1 state merged within 16 states.
      2 states merged within 17 states.
      1 state merged within 17 states.
      1 state merged within 16 states.
      1 state merged within 15 states.
      4 states merged within 14 states.
      3 states merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 15 states.
      1 state merged within 15 states.
      2 states merged within 14 states.
      4 states merged within 14 states.
      1 state merged within 15 states.
      1 state merged within 14 states.
      2 states merged within 13 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 12 states.
      4 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      3 states merged within 13 states.
      4 states merged within 15 states.
      2 states merged within 17 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 17 states.
      1 state merged within 17 states.
      2 states merged within 18 states.
      3 states merged within 19 states.
      2 states merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 17 states.
      2 states merged within 16 states.
      2 states merged within 16 states.
      3 states merged within 15 states.
      2 states merged within 15 states.
      4 states merged within 16 states.
      3 states merged within 18 states.
      1 state merged within 19 states.
      1 state merged within 18 states.
      22 states merged within 19 states.
      56 states merged within 20 states.
      96 states merged within 19 states.
      1 state merged within 19 states.
      1 state merged within 19 states.
      32 states merged within 18 states.
      43 states merged within 18 states.
      5 states merged within 17 states.
      3 states merged within 17 states.
      24 states merged within 17 states.
      40 states merged within 17 states.
      11 states merged within 16 states.
      10 states merged within 17 states.
      12 states merged within 19 states.
      10 states merged within 20 states.
      9 states merged within 19 states.
      2 states merged within 19 states.
      1 state merged within 19 states.
      12 states merged within 18 states.
      8 states merged within 18 states.
      4 states merged within 17 states.
      1 state merged within 17 states.
      1 state merged within 17 states.
      11 states merged within 16 states.
      12 states merged within 17 states.
      12 states merged within 17 states.
      1 state merged within 16 states.
      2 states merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      7 states merged within 16 states.
      9 states merged within 16 states.
      1 state merged within 15 states.
      13 states merged within 15 states.
      15 states merged within 16 states.
      12 states merged within 16 states.
      6 states merged within 15 states.
      3 states merged within 14 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      2 states merged within 15 states.
      1 state merged within 15 states.
      2 states merged within 14 states.
      7 states merged within 14 states.
      4 states merged within 15 states.
      18 states merged within 15 states.
      27 states merged within 15 states.
      1 state merged within 14 states.
      10 states merged within 14 states.
      9 states merged within 15 states.
      8 states merged within 15 states.
      1 state merged within 14 states.
      3 states merged within 13 states.
      1 state merged within 13 states.
      3 states merged within 14 states.
      2 states merged within 15 states.
      5 states merged within 17 states.
      4 states merged within 19 states.
      4 states merged within 20 states.
      4 states merged within 19 states.
      2 states merged within 19 states.
      1 state merged within 19 states.
      3 states merged within 18 states.
      3 states merged within 18 states.
      1 state merged within 17 states.
      2 states merged within 17 states.
      4 states merged within 17 states.
      3 states merged within 17 states.
      5 states merged within 16 states.
      3 states merged within 17 states.
      3 states merged within 17 states.
      1 state merged within 16 states.
      1 state merged within 15 states.
      2 states merged within 14 states.
      6 states merged within 15 states.
      4 states merged within 16 states.
      3 states merged within 16 states.
      3 states merged within 15 states.
      3 states merged within 14 states.
      5 states merged within 15 states.
      8 states merged within 17 states.
      5 states merged within 19 states.
      5 states merged within 20 states.
      4 states merged within 19 states.
      2 states merged within 19 states.
      1 state merged within 19 states.
      4 states merged within 18 states.
      3 states merged within 18 states.
      1 state merged within 17 states.
      2 states merged within 17 states.
      4 states merged within 17 states.
      4 states merged within 17 states.
      7 states merged within 16 states.
      5 states merged within 17 states.
      3 states merged within 17 states.
      1 state merged within 16 states.
      3 states merged within 15 states.
      2 states merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      4 states merged within 14 states.
      3 states merged within 15 states.
      3 states merged within 16 states.
      3 states merged within 16 states.
      1 state merged within 15 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      3 states merged within 14 states.
      3 states merged within 15 states.
      3 states merged within 15 states.
      1 state merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      7 states merged within 13 states.
      7 states merged within 14 states.
      6 states merged within 15 states.
      3 states merged within 15 states.
      1 state merged within 14 states.
      3 states merged within 13 states.
      3 states merged within 13 states.
      2 states merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      3 states merged within 14 states.
      5 states merged within 14 states.
      5 states merged within 14 states.
      2 states merged within 13 states.
      3 states merged within 13 states.
      3 states merged within 14 states.
      3 states merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      4 states merged within 12 states.
      1 state merged within 13 states.
      8 states merged within 13 states.
      10 states merged within 14 states.
      3 states merged within 14 states.
      4 states merged within 13 states.
      4 states merged within 12 states.
      3 states merged within 13 states.
      3 states merged within 14 states.
      3 states merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      4 states merged within 11 states.
      3 states merged within 12 states.
      3 states merged within 13 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      3 states merged within 13 states.
      2 states merged within 13 states.
      2 states merged within 12 states.
      2 states merged within 12 states.
      3 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      3 states merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      4 states merged within 11 states.
      2 states merged within 12 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 12 states.
      2 states merged within 12 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      5 states merged within 13 states.
      7 states merged within 13 states.
      1 state merged within 12 states.
      3 states merged within 12 states.
      5 states merged within 13 states.
      5 states merged within 13 states.
      1 state merged within 12 states.
      2 states merged within 11 states.
      6 states merged within 11 states.
      4 states merged within 11 states.
      13 states merged within 12 states.
      17 states merged within 13 states.
      7 states merged within 13 states.
      4 states merged within 12 states.
      1 state merged within 11 states.
      6 states merged within 11 states.
      5 states merged within 12 states.
      5 states merged within 13 states.
      3 states merged within 13 states.
      1 state merged within 12 states.
      2 states merged within 11 states.
      2 states merged within 11 states.
      2 states merged within 10 states.
      3 states merged within 11 states.
      5 states merged within 13 states.
      4 states merged within 15 states.
      4 states merged within 17 states.
      2 states merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 17 states.
      1 state merged within 17 states.
      1 state merged within 18 states.
      2 states merged within 19 states.
      2 states merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 17 states.
      2 states merged within 16 states.
      3 states merged within 16 states.
      2 states merged within 15 states.
      2 states merged within 15 states.
      2 states merged within 16 states.
      4 states merged within 18 states.
      2 states merged within 19 states.
      1 state merged within 18 states.
      2 states merged within 18 states.
      2 states merged within 18 states.
      4 states merged within 17 states.
      3 states merged within 16 states.
      1 state merged within 16 states.
      2 states merged within 17 states.
      1 state merged within 17 states.
      1 state merged within 16 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      3 states merged within 14 states.
      1 state merged within 14 states.
      3 states merged within 14 states.
      2 states merged within 15 states.
      2 states merged within 15 states.
      1 state merged within 15 states.
      2 states merged within 14 states.
      5 states merged within 14 states.
      3 states merged within 15 states.
      3 states merged within 14 states.
      3 states merged within 14 states.
      3 states merged within 16 states.
      1 state merged within 18 states.
      1 state merged within 19 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      2 states merged within 17 states.
      2 states merged within 16 states.
      3 states merged within 17 states.
      4 states merged within 19 states.
      3 states merged within 20 states.
      2 states merged within 19 states.
      1 state merged within 19 states.
      1 state merged within 19 states.
      4 states merged within 18 states.
      1 state merged within 18 states.
      3 states merged within 17 states.
      1 state merged within 17 states.
      1 state merged within 17 states.
      2 states merged within 16 states.
      1 state merged within 17 states.
      1 state merged within 17 states.
      1 state merged within 16 states.
      2 states merged within 15 states.
      1 state merged within 15 states.
      2 states merged within 15 states.
      2 states merged within 16 states.
      2 states merged within 15 states.
      8 states merged within 15 states.
      4 states merged within 16 states.
      1 state merged within 16 states.
      21 states merged within 15 states.
      4 states merged within 15 states.
      6 states merged within 17 states.
      4 states merged within 19 states.
      3 states merged within 20 states.
      2 states merged within 19 states.
      3 states merged within 19 states.
      1 state merged within 19 states.
      4 states merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 17 states.
      3 states merged within 17 states.
      3 states merged within 17 states.
      4 states merged within 17 states.
      4 states merged within 16 states.
      4 states merged within 17 states.
      1 state merged within 17 states.
      5 states merged within 15 states.
      1 state merged within 15 states.
      2 states merged within 15 states.
      2 states merged within 15 states.
      2 states merged within 14 states.
      1 state merged within 15 states.
      1 state merged within 16 states.
      1 state merged within 16 states.
      1 state merged within 15 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 14 states.
      2 states merged within 14 states.
      2 states merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      5 states merged within 13 states.
      6 states merged within 14 states.
      5 states merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 14 states.
      4 states merged within 13 states.
      4 states merged within 13 states.
      3 states merged within 12 states.
      4 states merged within 12 states.
      2 states merged within 13 states.
      3 states merged within 14 states.
      2 states merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 13 states.
      2 states merged within 13 states.
      3 states merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 13 states.
      1 state merged within 12 states.
      2 states merged within 12 states.
      7 states merged within 12 states.
      7 states merged within 13 states.
      3 states merged within 14 states.
      3 states merged within 13 states.
      7 states merged within 13 states.
      6 states merged within 14 states.
      1 state merged within 14 states.
      30 states merged within 13 states.
      1 state merged within 12 states.
      4 states merged within 12 states.
      2 states merged within 13 states.
      2 states merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 11 states.
      2 states merged within 11 states.
      2 states merged within 11 states.
      3 states merged within 12 states.
      5 states merged within 14 states.
      3 states merged within 16 states.
      3 states merged within 18 states.
      2 states merged within 19 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      3 states merged within 17 states.
      2 states merged within 16 states.
      1 state merged within 16 states.
      2 states merged within 17 states.
      1 state merged within 17 states.
      1 state merged within 16 states.
      4 states merged within 15 states.
      2 states merged within 16 states.
      3 states merged within 15 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      4 states merged within 15 states.
      5 states merged within 17 states.
      6 states merged within 19 states.
      3 states merged within 20 states.
      2 states merged within 19 states.
      2 states merged within 19 states.
      1 state merged within 19 states.
      4 states merged within 18 states.
      1 state merged within 18 states.
      4 states merged within 17 states.
      2 states merged within 17 states.
      2 states merged within 17 states.
      4 states merged within 16 states.
      2 states merged within 17 states.
      2 states merged within 17 states.
      3 states merged within 15 states.
      2 states merged within 15 states.
      2 states merged within 15 states.
      2 states merged within 15 states.
      2 states merged within 14 states.
      1 state merged within 15 states.
      1 state merged within 16 states.
      1 state merged within 16 states.
      1 state merged within 15 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      3 states merged within 13 states.
      2 states merged within 14 states.
      4 states merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 14 states.
      7 states merged within 13 states.
      4 states merged within 14 states.
      4 states merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 14 states.
      7 states merged within 13 states.
      1 state merged within 13 states.
      4 states merged within 12 states.
      2 states merged within 12 states.
      6 states merged within 14 states.
      5 states merged within 16 states.
      5 states merged within 18 states.
      3 states merged within 19 states.
      2 states merged within 18 states.
      2 states merged within 18 states.
      1 state merged within 18 states.
      4 states merged within 17 states.
      1 state merged within 17 states.
      4 states merged within 16 states.
      2 states merged within 16 states.
      2 states merged within 16 states.
      4 states merged within 15 states.
      3 states merged within 16 states.
      2 states merged within 16 states.
      2 states merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 14 states.
      2 states merged within 14 states.
      5 states merged within 13 states.
      3 states merged within 14 states.
      3 states merged within 15 states.
      1 state merged within 15 states.
      2 states merged within 14 states.
      3 states merged within 13 states.
      2 states merged within 13 states.
      3 states merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 13 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 12 states.
      2 states merged within 13 states.
      2 states merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      2 states merged within 10 states.
      5 states merged within 11 states.
      3 states merged within 12 states.
      3 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      3 states merged within 10 states.
      3 states merged within 10 states.
      3 states merged within 10 states.
      1 state merged within 10 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 13 states.
      2 states merged within 12 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      2 states merged within 12 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      3 states merged within 12 states.
      3 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      2 states merged within 11 states.
      3 states merged within 12 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 12 states.
      2 states merged within 11 states.
      1 state merged within 10 states.
      3 states merged within 10 states.
      3 states merged within 11 states.
      2 states merged within 12 states.
      2 states merged within 13 states.
      1 state merged within 12 states.
      2 states merged within 12 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      4 states merged within 11 states.
      4 states merged within 12 states.
      3 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      3 states merged within 11 states.
      3 states merged within 11 states.
      2 states merged within 10 states.
      1 state merged within 10 states.
      1 state merged within 10 states.
      2 states merged within 9 states.
      5 states merged within 10 states.
      3 states merged within 11 states.
      3 states merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      3 states merged within 10 states.
      3 states merged within 10 states.
      3 states merged within 9 states.
      4 states merged within 9 states.
      3 states merged within 10 states.
      3 states merged within 11 states.
      2 states merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      2 states merged within 11 states.
      3 states merged within 12 states.
      4 states merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 11 states.
      2 states merged within 11 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      1 state merged within 10 states.
      2 states merged within 10 states.
      3 states merged within 10 states.
      3 states merged within 11 states.
      2 states merged within 12 states.
      2 states merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      4 states merged within 11 states.
      3 states merged within 12 states.
      6 states merged within 12 states.
      12 states merged within 12 states.
      1 state merged within 11 states.
      4 states merged within 11 states.
      5 states merged within 12 states.
      2 states merged within 12 states.
      2 states merged within 11 states.
      1 state merged within 10 states.
      3 states merged within 10 states.
      1 state merged within 10 states.
      3 states merged within 11 states.
      2 states merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 11 states.
      2 states merged within 10 states.
      3 states merged within 10 states.
      4 states merged within 11 states.
      3 states merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 11 states.
      2 states merged within 10 states.
      1 state merged within 9 states.
      4 states merged within 9 states.
      2 states merged within 10 states.
      2 states merged within 11 states.
      2 states merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      2 states merged within 12 states.
      4 states merged within 12 states.
      5 states merged within 12 states.
      1 state merged within 11 states.
      2 states merged within 11 states.
      3 states merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 11 states.
      1 state merged within 10 states.
      1 state merged within 10 states.
      2 states merged within 11 states.
      1 state merged within 12 states.
      2 states merged within 12 states.
      2 states merged within 12 states.
      1 state merged within 11 states.
      4 states merged within 11 states.
      4 states merged within 12 states.
      1 state merged within 12 states.
      3 states merged within 11 states.
      2 states merged within 10 states.
      1 state merged within 10 states.
      2 states merged within 10 states.
      3 states merged within 11 states.
      2 states merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 11 states.
      2 states merged within 10 states.
      1 state merged within 9 states.
      5 states merged within 9 states.
      4 states merged within 10 states.
      3 states merged within 11 states.
      3 states merged within 12 states.
      2 states merged within 12 states.
      2 states merged within 12 states.
      1 state merged within 11 states.
      2 states merged within 11 states.
      3 states merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 11 states.
      1 state merged within 10 states.
      1 state merged within 10 states.
      4 states merged within 10 states.
      4 states merged within 11 states.
      3 states merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      3 states merged within 10 states.
      3 states merged within 10 states.
      2 states merged within 9 states.
      1 state merged within 9 states.
      1 state merged within 9 states.
      3 states merged within 8 states.
      6 states merged within 9 states.
      4 states merged within 10 states.
      4 states merged within 11 states.
      1 state merged within 11 states.
      3 states merged within 10 states.
      4 states merged within 9 states.
      1 state merged within 9 states.
      4 states merged within 8 states.
      1 state merged within 9 states.
      3 states merged within 11 states.
      1 state merged within 13 states.
      1 state merged within 15 states.
      1 state merged within 17 states.
      1 state merged within 19 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 17 states.
      1 state merged within 17 states.
      1 state merged within 17 states.
      1 state merged within 18 states.
      2 states merged within 19 states.
      1 state merged within 20 states.
      1 state merged within 19 states.
      2 states merged within 18 states.
      2 states merged within 18 states.
      1 state merged within 19 states.
      2 states merged within 20 states.
      2 states merged within 19 states.
      1 state merged within 19 states.
      1 state merged within 19 states.
      1 state merged within 18 states.
      2 states merged within 17 states.
      1 state merged within 17 states.
      3 states merged within 17 states.
      1 state merged within 17 states.
      2 states merged within 16 states.
      2 states merged within 16 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 16 states.
      3 states merged within 18 states.
      1 state merged within 19 states.
      1 state merged within 19 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      3 states merged within 19 states.
      3 states merged within 20 states.
      2 states merged within 19 states.
      2 states merged within 19 states.
      2 states merged within 19 states.
      2 states merged within 18 states.
      2 states merged within 17 states.
      3 states merged within 17 states.
      3 states merged within 16 states.
      3 states merged within 16 states.
      1 state merged within 17 states.
      2 states merged within 18 states.
      1 state merged within 19 states.
      1 state merged within 19 states.
      2 states merged within 17 states.
      2 states merged within 17 states.
      1 state merged within 17 states.
      2 states merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 17 states.
      1 state merged within 16 states.
      3 states merged within 15 states.
      2 states merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 16 states.
      1 state merged within 16 states.
      1 state merged within 15 states.
      4 states merged within 15 states.
      1 state merged within 16 states.
      1 state merged within 15 states.
      2 states merged within 14 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 13 states.
      3 states merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 14 states.
      3 states merged within 16 states.
      2 states merged within 18 states.
      1 state merged within 19 states.
      1 state merged within 19 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      2 states merged within 19 states.
      3 states merged within 20 states.
      2 states merged within 19 states.
      1 state merged within 19 states.
      1 state merged within 19 states.
      1 state merged within 18 states.
      2 states merged within 17 states.
      2 states merged within 17 states.
      3 states merged within 16 states.
      2 states merged within 16 states.
      3 states merged within 17 states.
      3 states merged within 19 states.
      1 state merged within 20 states.
      1 state merged within 19 states.
      6 states merged within 20 states.
      13 states merged within 21 states.
      17 states merged within 20 states.
      1 state merged within 20 states.
      1 state merged within 20 states.
      1 state merged within 20 states.
      6 states merged within 20 states.
      1 state merged within 20 states.
      1 state merged within 20 states.
      1 state merged within 19 states.
      10 states merged within 19 states.
      14 states merged within 19 states.
      4 states merged within 18 states.
      3 states merged within 18 states.
      3 states merged within 17 states.
      3 states merged within 18 states.
      5 states merged within 20 states.
      3 states merged within 21 states.
      2 states merged within 20 states.
      2 states merged within 20 states.
      1 state merged within 20 states.
      2 states merged within 20 states.
      1 state merged within 20 states.
      4 states merged within 20 states.
      1 state merged within 20 states.
      2 states merged within 19 states.
      5 states merged within 19 states.
      1 state merged within 19 states.
      4 states merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      2 states merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      4 states merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 17 states.
      3 states merged within 17 states.
      2 states merged within 18 states.
      2 states merged within 18 states.
      3 states merged within 17 states.
      4 states merged within 16 states.
      2 states merged within 16 states.
      2 states merged within 17 states.
      4 states merged within 17 states.
      1 state merged within 16 states.
      7 states merged within 16 states.
      6 states merged within 17 states.
      3 states merged within 17 states.
      6 states merged within 16 states.
      3 states merged within 15 states.
      1 state merged within 16 states.
      1 state merged within 16 states.
      1 state merged within 16 states.
      2 states merged within 16 states.
      1 state merged within 16 states.
      2 states merged within 15 states.
      4 states merged within 14 states.
      5 states merged within 15 states.
      4 states merged within 14 states.
      1 state merged within 15 states.
      2 states merged within 16 states.
      2 states merged within 18 states.
      1 state merged within 20 states.
      1 state merged within 21 states.
      1 state merged within 20 states.
      2 states merged within 20 states.
      1 state merged within 20 states.
      1 state merged within 20 states.
      1 state merged within 20 states.
      3 states merged within 20 states.
      1 state merged within 20 states.
      2 states merged within 19 states.
      2 states merged within 19 states.
      3 states merged within 18 states.
      2 states merged within 18 states.
      1 state merged within 18 states.
      2 states merged within 18 states.
      1 state merged within 18 states.
      2 states merged within 18 states.
      4 states merged within 18 states.
      1 state merged within 18 states.
      3 states merged within 18 states.
      1 state merged within 18 states.
      2 states merged within 17 states.
      2 states merged within 17 states.
      2 states merged within 17 states.
      1 state merged within 16 states.
      2 states merged within 15 states.
      2 states merged within 16 states.
      2 states merged within 17 states.
      2 states merged within 15 states.
      1 state merged within 16 states.
      3 states merged within 18 states.
      1 state merged within 20 states.
      1 state merged within 21 states.
      1 state merged within 20 states.
      2 states merged within 20 states.
      1 state merged within 20 states.
      2 states merged within 19 states.
      3 states merged within 18 states.
      2 states merged within 18 states.
      2 states merged within 18 states.
      2 states merged within 18 states.
      1 state merged within 18 states.
      5 states merged within 18 states.
      1 state merged within 18 states.
      2 states merged within 17 states.
      3 states merged within 17 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      7 states merged within 17 states.
      6 states merged within 16 states.
      1 state merged within 16 states.
      1 state merged within 16 states.
      2 states merged within 16 states.
      1 state merged within 16 states.
      1 state merged within 16 states.
      5 states merged within 16 states.
      1 state merged within 16 states.
      1 state merged within 16 states.
      1 state merged within 16 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 16 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      2 states merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 15 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      4 states merged within 14 states.
      4 states merged within 15 states.
      3 states merged within 16 states.
      4 states merged within 15 states.
      4 states merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 15 states.
      3 states merged within 15 states.
      4 states merged within 15 states.
      1 state merged within 14 states.
      2 states merged within 14 states.
      1 state merged within 15 states.
      2 states merged within 14 states.
      4 states merged within 13 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      3 states merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 12 states.
      1 state merged within 13 states.
      2 states merged within 14 states.
      2 states merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 13 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 14 states.
      2 states merged within 14 states.
      2 states merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      3 states merged within 12 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      3 states merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 11 states.
      3 states merged within 12 states.
      5 states merged within 14 states.
      4 states merged within 16 states.
      4 states merged within 18 states.
      2 states merged within 19 states.
      1 state merged within 19 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 19 states.
      2 states merged within 20 states.
      2 states merged within 19 states.
      1 state merged within 19 states.
      1 state merged within 19 states.
      1 state merged within 18 states.
      2 states merged within 17 states.
      3 states merged within 17 states.
      2 states merged within 16 states.
      2 states merged within 16 states.
      2 states merged within 17 states.
      4 states merged within 19 states.
      2 states merged within 20 states.
      1 state merged within 19 states.
      2 states merged within 19 states.
      2 states merged within 19 states.
      4 states merged within 18 states.
      3 states merged within 17 states.
      1 state merged within 17 states.
      2 states merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 17 states.
      1 state merged within 16 states.
      1 state merged within 16 states.
      3 states merged within 15 states.
      1 state merged within 15 states.
      3 states merged within 15 states.
      2 states merged within 16 states.
      2 states merged within 16 states.
      1 state merged within 16 states.
      2 states merged within 15 states.
      4 states merged within 14 states.
      4 states merged within 15 states.
      4 states merged within 14 states.
      3 states merged within 15 states.
      3 states merged within 17 states.
      1 state merged within 19 states.
      1 state merged within 20 states.
      1 state merged within 19 states.
      1 state merged within 19 states.
      1 state merged within 19 states.
      2 states merged within 18 states.
      2 states merged within 17 states.
      2 states merged within 18 states.
      3 states merged within 20 states.
      2 states merged within 21 states.
      1 state merged within 20 states.
      1 state merged within 20 states.
      1 state merged within 20 states.
      1 state merged within 20 states.
      6 states merged within 20 states.
      2 states merged within 20 states.
      1 state merged within 20 states.
      2 states merged within 19 states.
      3 states merged within 19 states.
      3 states merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      2 states merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      3 states merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 17 states.
      1 state merged within 17 states.
      2 states merged within 17 states.
      3 states merged within 16 states.
      2 states merged within 16 states.
      2 states merged within 17 states.
      2 states merged within 16 states.
      6 states merged within 16 states.
      2 states merged within 17 states.
      2 states merged within 16 states.
      3 states merged within 16 states.
      4 states merged within 18 states.
      3 states merged within 20 states.
      2 states merged within 21 states.
      1 state merged within 20 states.
      3 states merged within 20 states.
      1 state merged within 20 states.
      3 states merged within 19 states.
      3 states merged within 18 states.
      3 states merged within 18 states.
      1 state merged within 18 states.
      2 states merged within 18 states.
      1 state merged within 18 states.
      5 states merged within 18 states.
      1 state merged within 18 states.
      3 states merged within 17 states.
      2 states merged within 17 states.
      2 states merged within 18 states.
      3 states merged within 17 states.
      6 states merged within 16 states.
      2 states merged within 16 states.
      2 states merged within 16 states.
      2 states merged within 16 states.
      1 state merged within 16 states.
      2 states merged within 16 states.
      4 states merged within 16 states.
      1 state merged within 16 states.
      3 states merged within 16 states.
      1 state merged within 16 states.
      2 states merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 16 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      2 states merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 16 states.
      1 state merged within 15 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      5 states merged within 14 states.
      5 states merged within 15 states.
      2 states merged within 16 states.
      6 states merged within 15 states.
      5 states merged within 14 states.
      4 states merged within 13 states.
      2 states merged within 14 states.
      3 states merged within 15 states.
      2 states merged within 15 states.
      1 state merged within 15 states.
      2 states merged within 14 states.
      2 states merged within 14 states.
      3 states merged within 15 states.
      3 states merged within 14 states.
      1 state merged within 13 states.
      2 states merged within 13 states.
      7 states merged within 13 states.
      7 states merged within 14 states.
      3 states merged within 15 states.
      2 states merged within 14 states.
      10 states merged within 14 states.
      5 states merged within 15 states.
      3 states merged within 14 states.
      3 states merged within 13 states.
      1 state merged within 14 states.
      1 state merged within 15 states.
      1 state merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      4 states merged within 12 states.
      2 states merged within 12 states.
      3 states merged within 12 states.
      3 states merged within 13 states.
      5 states merged within 15 states.
      3 states merged within 17 states.
      3 states merged within 19 states.
      2 states merged within 20 states.
      1 state merged within 19 states.
      1 state merged within 19 states.
      1 state merged within 19 states.
      3 states merged within 18 states.
      2 states merged within 17 states.
      1 state merged within 17 states.
      2 states merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 17 states.
      4 states merged within 16 states.
      2 states merged within 17 states.
      2 states merged within 16 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      3 states merged within 16 states.
      3 states merged within 18 states.
      4 states merged within 20 states.
      2 states merged within 21 states.
      1 state merged within 20 states.
      2 states merged within 20 states.
      1 state merged within 20 states.
      1 state merged within 20 states.
      6 states merged within 20 states.
      2 states merged within 19 states.
      3 states merged within 19 states.
      3 states merged within 18 states.
      2 states merged within 18 states.
      1 state merged within 18 states.
      2 states merged within 18 states.
      1 state merged within 18 states.
      3 states merged within 18 states.
      2 states merged within 18 states.
      1 state merged within 18 states.
      2 states merged within 17 states.
      2 states merged within 17 states.
      1 state merged within 18 states.
      2 states merged within 17 states.
      3 states merged within 16 states.
      2 states merged within 16 states.
      2 states merged within 16 states.
      2 states merged within 16 states.
      1 state merged within 16 states.
      2 states merged within 16 states.
      4 states merged within 16 states.
      1 state merged within 16 states.
      3 states merged within 16 states.
      1 state merged within 16 states.
      2 states merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 16 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      2 states merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 14 states.
      3 states merged within 14 states.
      2 states merged within 15 states.
      4 states merged within 16 states.
      1 state merged within 16 states.
      1 state merged within 15 states.
      8 states merged within 14 states.
      7 states merged within 15 states.
      5 states merged within 16 states.
      14 states merged within 15 states.
      8 states merged within 14 states.
      2 states merged within 13 states.
      6 states merged within 15 states.
      2 states merged within 17 states.
      4 states merged within 19 states.
      2 states merged within 20 states.
      1 state merged within 19 states.
      3 states merged within 19 states.
      1 state merged within 19 states.
      1 state merged within 19 states.
      6 states merged within 19 states.
      2 states merged within 18 states.
      3 states merged within 18 states.
      4 states merged within 17 states.
      3 states merged within 17 states.
      2 states merged within 17 states.
      2 states merged within 17 states.
      1 state merged within 17 states.
      3 states merged within 17 states.
      2 states merged within 16 states.
      1 state merged within 16 states.
      2 states merged within 16 states.
      3 states merged within 15 states.
      3 states merged within 15 states.
      3 states merged within 15 states.
      2 states merged within 16 states.
      2 states merged within 15 states.
      3 states merged within 15 states.
      2 states merged within 14 states.
      3 states merged within 14 states.
      1 state merged within 15 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      5 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 14 states.
      1 state merged within 15 states.
      1 state merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 11 states.
      4 states merged within 12 states.
      2 states merged within 13 states.
      2 states merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      3 states merged within 11 states.
      3 states merged within 11 states.
      3 states merged within 11 states.
      1 state merged within 11 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 14 states.
      2 states merged within 13 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 13 states.
      1 state merged within 14 states.
      1 state merged within 13 states.
      2 states merged within 13 states.
      2 states merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 13 states.
      1 state merged within 14 states.
      2 states merged within 13 states.
      2 states merged within 12 states.
      1 state merged within 11 states.
      4 states merged within 11 states.
      3 states merged within 12 states.
      1 state merged within 13 states.
      1 state merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      4 states merged within 12 states.
      3 states merged within 13 states.
      1 state merged within 14 states.
      4 states merged within 13 states.
      4 states merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      1 state merged within 10 states.
      1 state merged within 10 states.
      1 state merged within 10 states.
      4 states merged within 10 states.
      3 states merged within 11 states.
      3 states merged within 12 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      2 states merged within 12 states.
      3 states merged within 13 states.
      4 states merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 12 states.
      2 states merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 12 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      3 states merged within 11 states.
      3 states merged within 12 states.
      2 states merged within 13 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      4 states merged within 12 states.
      3 states merged within 13 states.
      6 states merged within 13 states.
      11 states merged within 13 states.
      1 state merged within 12 states.
      3 states merged within 12 states.
      4 states merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 12 states.
      1 state merged within 11 states.
      3 states merged within 11 states.
      1 state merged within 11 states.
      2 states merged within 12 states.
      1 state merged within 13 states.
      3 states merged within 12 states.
      2 states merged within 11 states.
      3 states merged within 11 states.
      3 states merged within 12 states.
      2 states merged within 13 states.
      3 states merged within 11 states.
      2 states merged within 10 states.
      4 states merged within 10 states.
      2 states merged within 11 states.
      2 states merged within 12 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 13 states.
      3 states merged within 13 states.
      4 states merged within 13 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 13 states.
      2 states merged within 12 states.
      1 state merged within 11 states.
      2 states merged within 11 states.
      3 states merged within 12 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      3 states merged within 12 states.
      3 states merged within 13 states.
      3 states merged within 12 states.
      2 states merged within 11 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      3 states merged within 12 states.
      2 states merged within 13 states.
      2 states merged within 12 states.
      2 states merged within 11 states.
      2 states merged within 10 states.
      6 states merged within 10 states.
      4 states merged within 11 states.
      1 state merged within 12 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      2 states merged within 12 states.
      3 states merged within 13 states.
      2 states merged within 12 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      7 states merged within 11 states.
      3 states merged within 12 states.
      1 state merged within 13 states.
      5 states merged within 12 states.
      5 states merged within 11 states.
      1 state merged within 10 states.
      1 state merged within 9 states.
      2 states merged within 10 states.
      1 state merged within 11 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      1 state merged within 10 states.
      1 state merged within 10 states.
      2 states merged within 9 states.
      2 states merged within 9 states.
      2 states merged within 9 states.
      1 state merged within 10 states.
      2 states merged within 11 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      2 states merged within 10 states.
      2 states merged within 10 states.
      1 state merged within 11 states.
      2 states merged within 12 states.
      2 states merged within 11 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      1 state merged within 10 states.
      2 states merged within 9 states.
      1 state merged within 9 states.
      3 states merged within 9 states.
      1 state merged within 9 states.
      2 states merged within 8 states.
      2 states merged within 8 states.
      1 state merged within 9 states.
      2 states merged within 10 states.
      1 state merged within 11 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      2 states merged within 12 states.
      3 states merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 11 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      1 state merged within 10 states.
      1 state merged within 10 states.
      2 states merged within 10 states.
      3 states merged within 11 states.
      2 states merged within 12 states.
      2 states merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      4 states merged within 11 states.
      3 states merged within 12 states.
      6 states merged within 12 states.
      11 states merged within 12 states.
      1 state merged within 11 states.
      3 states merged within 11 states.
      4 states merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 11 states.
      1 state merged within 10 states.
      2 states merged within 10 states.
      1 state merged within 10 states.
      2 states merged within 11 states.
      1 state merged within 12 states.
      2 states merged within 11 states.
      2 states merged within 10 states.
      1 state merged within 10 states.
      3 states merged within 11 states.
      2 states merged within 12 states.
      2 states merged within 11 states.
      2 states merged within 10 states.
      2 states merged within 9 states.
      1 state merged within 9 states.
      2 states merged within 10 states.
      1 state merged within 11 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      2 states merged within 11 states.
      3 states merged within 12 states.
      2 states merged within 11 states.
      1 state merged within 10 states.
      1 state merged within 10 states.
      3 states merged within 10 states.
      2 states merged within 11 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      2 states merged within 11 states.
      2 states merged within 12 states.
      1 state merged within 11 states.
      1 state merged within 10 states.
      3 states merged within 10 states.
      3 states merged within 11 states.
      2 states merged within 12 states.
      3 states merged within 11 states.
      3 states merged within 10 states.
      2 states merged within 9 states.
      2 states merged within 9 states.
      3 states merged within 10 states.
      1 state merged within 11 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      2 states merged within 11 states.
      3 states merged within 12 states.
      2 states merged within 11 states.
      1 state merged within 10 states.
      1 state merged within 10 states.
      5 states merged within 10 states.
      3 states merged within 11 states.
      1 state merged within 12 states.
      4 states merged within 11 states.
      4 states merged within 10 states.
      1 state merged within 9 states.
      1 state merged within 8 states.
      2 states merged within 9 states.
      1 state merged within 10 states.
      1 state merged within 11 states.
      1 state merged within 10 states.
      1 state merged within 9 states.
      1 state merged within 9 states.
      2 states merged within 8 states.
      2 states merged within 8 states.
      2 states merged within 8 states.
      2 states merged within 8 states.
      3 states merged within 8 states.
      1 state merged within 8 states.
      2 states merged within 7 states.
      1 state merged within 7 states.
      2 states merged within 8 states.
      1 state merged within 9 states.
      1 state merged within 10 states.
      1 state merged within 11 states.
      1 state merged within 12 states.
      [AGsafe] Found a new state violating the property.
      1 state merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 13 states.
      2 states merged within 14 states.
      1 state merged within 15 states.
      1 state merged within 16 states.
      1 state merged within 15 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 13 states.
      2 states merged within 13 states.
      2 states merged within 13 states.
      1 state merged within 14 states.
      2 states merged within 15 states.
      1 state merged within 16 states.
      1 state merged within 15 states.
      2 states merged within 14 states.
      2 states merged within 14 states.
      1 state merged within 15 states.
      2 states merged within 16 states.
      2 states merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 14 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      3 states merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 12 states.
      2 states merged within 12 states.
      2 states merged within 12 states.
      3 states merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 11 states.
      1 state merged within 12 states.
      3 states merged within 14 states.
      1 state merged within 16 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      3 states merged within 15 states.
      3 states merged within 16 states.
      1 state merged within 17 states.
      1 state merged within 16 states.
      2 states merged within 15 states.
      2 states merged within 15 states.
      3 states merged within 16 states.
      3 states merged within 17 states.
      2 states merged within 16 states.
      2 states merged within 16 states.
      2 states merged within 16 states.
      1 state merged within 15 states.
      2 states merged within 14 states.
      2 states merged within 14 states.
      4 states merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 13 states.
      4 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 12 states.
      2 states merged within 12 states.
      2 states merged within 12 states.
      1 state merged within 13 states.
      2 states merged within 14 states.
      2 states merged within 16 states.
      1 state merged within 17 states.
      1 state merged within 16 states.
      2 states merged within 16 states.
      2 states merged within 16 states.
      1 state merged within 15 states.
      2 states merged within 14 states.
      2 states merged within 13 states.
      4 states merged within 14 states.
      3 states merged within 13 states.
      1 state merged within 14 states.
      2 states merged within 15 states.
      1 state merged within 16 states.
      1 state merged within 16 states.
      2 states merged within 14 states.
      2 states merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 14 states.
      1 state merged within 13 states.
      2 states merged within 12 states.
      2 states merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      4 states merged within 12 states.
      2 states merged within 13 states.
      2 states merged within 12 states.
      2 states merged within 11 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      2 states merged within 11 states.
      1 state merged within 12 states.
      4 states merged within 11 states.
      3 states merged within 11 states.
      3 states merged within 11 states.
      1 state merged within 10 states.
      1 state merged within 10 states.
      1 state merged within 11 states.
      3 states merged within 13 states.
      1 state merged within 15 states.
      1 state merged within 17 states.
      1 state merged within 16 states.
      1 state merged within 16 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      2 states merged within 16 states.
      3 states merged within 17 states.
      1 state merged within 18 states.
      1 state merged within 17 states.
      2 states merged within 16 states.
      2 states merged within 16 states.
      1 state merged within 17 states.
      2 states merged within 18 states.
      2 states merged within 17 states.
      1 state merged within 17 states.
      1 state merged within 17 states.
      1 state merged within 16 states.
      2 states merged within 15 states.
      1 state merged within 15 states.
      3 states merged within 15 states.
      1 state merged within 15 states.
      2 states merged within 14 states.
      2 states merged within 14 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      3 states merged within 14 states.
      4 states merged within 16 states.
      1 state merged within 17 states.
      1 state merged within 17 states.
      1 state merged within 16 states.
      1 state merged within 16 states.
      4 states merged within 17 states.
      4 states merged within 18 states.
      2 states merged within 17 states.
      2 states merged within 17 states.
      2 states merged within 17 states.
      2 states merged within 16 states.
      2 states merged within 15 states.
      3 states merged within 15 states.
      4 states merged within 14 states.
      3 states merged within 14 states.
      3 states merged within 15 states.
      2 states merged within 16 states.
      1 state merged within 17 states.
      1 state merged within 17 states.
      2 states merged within 15 states.
      2 states merged within 15 states.
      2 states merged within 15 states.
      4 states merged within 16 states.
      2 states merged within 16 states.
      2 states merged within 15 states.
      1 state merged within 14 states.
      4 states merged within 13 states.
      3 states merged within 13 states.
      2 states merged within 13 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 13 states.
      5 states merged within 13 states.
      2 states merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      4 states merged within 12 states.
      3 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 11 states.
      5 states merged within 12 states.
      2 states merged within 11 states.
      2 states merged within 11 states.
      1 state merged within 12 states.
      2 states merged within 13 states.
      2 states merged within 15 states.
      1 state merged within 16 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      2 states merged within 15 states.
      3 states merged within 16 states.
      1 state merged within 16 states.
      1 state merged within 15 states.
      2 states merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 12 states.
      2 states merged within 13 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 12 states.
      2 states merged within 12 states.
      1 state merged within 13 states.
      2 states merged within 14 states.
      1 state merged within 15 states.
      2 states merged within 16 states.
      1 state merged within 16 states.
      1 state merged within 15 states.
      2 states merged within 13 states.
      2 states merged within 13 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 14 states.
      2 states merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      2 states merged within 11 states.
      2 states merged within 11 states.
      2 states merged within 11 states.
      1 state merged within 11 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      4 states merged within 11 states.
      1 state merged within 11 states.
      2 states merged within 11 states.
      1 state merged within 11 states.
      2 states merged within 10 states.
      1 state merged within 11 states.
      2 states merged within 12 states.
      2 states merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 12 states.
      2 states merged within 12 states.
      2 states merged within 11 states.
      1 state merged within 11 states.
      2 states merged within 12 states.
      3 states merged within 12 states.
      3 states merged within 11 states.
      1 state merged within 11 states.
      2 states merged within 11 states.
      2 states merged within 10 states.
      1 state merged within 11 states.
      2 states merged within 11 states.
      4 states merged within 10 states.
      3 states merged within 10 states.
      5 states merged within 10 states.
      6 states merged within 10 states.
      1 state merged within 9 states.
      1 state merged within 9 states.
      1 state merged within 9 states.
      1 state merged within 10 states.
      3 states merged within 12 states.
      1 state merged within 14 states.
      1 state merged within 16 states.
      1 state merged within 18 states.
      1 state merged within 17 states.
      1 state merged within 17 states.
      1 state merged within 16 states.
      1 state merged within 16 states.
      1 state merged within 16 states.
      1 state merged within 17 states.
      2 states merged within 18 states.
      1 state merged within 19 states.
      1 state merged within 18 states.
      2 states merged within 17 states.
      2 states merged within 17 states.
      1 state merged within 18 states.
      2 states merged within 19 states.
      2 states merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 17 states.
      2 states merged within 16 states.
      1 state merged within 16 states.
      3 states merged within 16 states.
      1 state merged within 16 states.
      2 states merged within 15 states.
      2 states merged within 15 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 15 states.
      5 states merged within 17 states.
      2 states merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 17 states.
      1 state merged within 17 states.
      4 states merged within 18 states.
      4 states merged within 19 states.
      2 states merged within 18 states.
      2 states merged within 18 states.
      2 states merged within 18 states.
      2 states merged within 17 states.
      2 states merged within 16 states.
      4 states merged within 16 states.
      4 states merged within 15 states.
      3 states merged within 15 states.
      1 state merged within 16 states.
      2 states merged within 17 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      2 states merged within 16 states.
      2 states merged within 16 states.
      1 state merged within 16 states.
      2 states merged within 17 states.
      1 state merged within 17 states.
      1 state merged within 16 states.
      1 state merged within 15 states.
      4 states merged within 14 states.
      3 states merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 15 states.
      1 state merged within 15 states.
      2 states merged within 14 states.
      4 states merged within 14 states.
      1 state merged within 15 states.
      1 state merged within 14 states.
      2 states merged within 13 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 12 states.
      4 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      3 states merged within 13 states.
      4 states merged within 15 states.
      2 states merged within 17 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 17 states.
      1 state merged within 17 states.
      2 states merged within 18 states.
      3 states merged within 19 states.
      2 states merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 17 states.
      2 states merged within 16 states.
      2 states merged within 16 states.
      3 states merged within 15 states.
      2 states merged within 15 states.
      4 states merged within 16 states.
      3 states merged within 18 states.
      1 state merged within 19 states.
      1 state merged within 18 states.
      13 states merged within 19 states.
      35 states merged within 20 states.
      58 states merged within 19 states.
      1 state merged within 19 states.
      1 state merged within 19 states.
      18 states merged within 18 states.
      24 states merged within 18 states.
      4 states merged within 17 states.
      3 states merged within 17 states.
      15 states merged within 17 states.
      24 states merged within 17 states.
      7 states merged within 16 states.
      6 states merged within 17 states.
      8 states merged within 19 states.
      6 states merged within 20 states.
      5 states merged within 19 states.
      2 states merged within 19 states.
      1 state merged within 19 states.
      8 states merged within 18 states.
      4 states merged within 18 states.
      4 states merged within 17 states.
      1 state merged within 17 states.
      1 state merged within 17 states.
      6 states merged within 16 states.
      6 states merged within 17 states.
      6 states merged within 17 states.
      1 state merged within 16 states.
      2 states merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      4 states merged within 16 states.
      5 states merged within 16 states.
      1 state merged within 15 states.
      9 states merged within 15 states.
      9 states merged within 16 states.
      6 states merged within 16 states.
      5 states merged within 15 states.
      3 states merged within 14 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      2 states merged within 15 states.
      1 state merged within 15 states.
      2 states merged within 14 states.
      7 states merged within 14 states.
      4 states merged within 15 states.
      11 states merged within 15 states.
      18 states merged within 15 states.
      1 state merged within 14 states.
      6 states merged within 14 states.
      5 states merged within 15 states.
      4 states merged within 15 states.
      1 state merged within 14 states.
      3 states merged within 13 states.
      1 state merged within 13 states.
      3 states merged within 14 states.
      2 states merged within 15 states.
      3 states merged within 17 states.
      2 states merged within 19 states.
      2 states merged within 20 states.
      2 states merged within 19 states.
      2 states merged within 19 states.
      1 state merged within 19 states.
      2 states merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 17 states.
      2 states merged within 17 states.
      3 states merged within 17 states.
      3 states merged within 17 states.
      3 states merged within 16 states.
      1 state merged within 17 states.
      1 state merged within 17 states.
      1 state merged within 16 states.
      1 state merged within 15 states.
      2 states merged within 14 states.
      4 states merged within 15 states.
      2 states merged within 16 states.
      1 state merged within 16 states.
      3 states merged within 15 states.
      3 states merged within 14 states.
      3 states merged within 15 states.
      6 states merged within 17 states.
      3 states merged within 19 states.
      3 states merged within 20 states.
      2 states merged within 19 states.
      2 states merged within 19 states.
      1 state merged within 19 states.
      3 states merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 17 states.
      2 states merged within 17 states.
      3 states merged within 17 states.
      4 states merged within 17 states.
      5 states merged within 16 states.
      3 states merged within 17 states.
      1 state merged within 17 states.
      1 state merged within 16 states.
      3 states merged within 15 states.
      2 states merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      2 states merged within 14 states.
      1 state merged within 15 states.
      1 state merged within 16 states.
      1 state merged within 16 states.
      1 state merged within 15 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 14 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      5 states merged within 13 states.
      5 states merged within 14 states.
      4 states merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 14 states.
      3 states merged within 13 states.
      3 states merged within 13 states.
      2 states merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      3 states merged within 14 states.
      3 states merged within 14 states.
      4 states merged within 14 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      4 states merged within 12 states.
      1 state merged within 13 states.
      6 states merged within 13 states.
      8 states merged within 14 states.
      1 state merged within 14 states.
      4 states merged within 13 states.
      2 states merged within 12 states.
      1 state merged within 13 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      4 states merged within 11 states.
      3 states merged within 12 states.
      3 states merged within 13 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      3 states merged within 13 states.
      2 states merged within 13 states.
      2 states merged within 12 states.
      2 states merged within 12 states.
      3 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      3 states merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      1 state merged within 11 states.
      1 state merged within 11 states.
      4 states merged within 11 states.
      2 states merged within 12 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 13 states.
      2 states merged within 12 states.
      2 states merged within 12 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      3 states merged within 13 states.
      5 states merged within 13 states.
      1 state merged within 12 states.
      1 state merged within 12 states.
      2 states merged within 13 states.
      2 states merged within 13 states.
      1 state merged within 12 states.
      2 states merged within 11 states.
      6 states merged within 11 states.
      4 states merged within 11 states.
      10 states merged within 12 states.
      12 states merged within 13 states.
      3 states merged within 13 states.
      4 states merged within 12 states.
      1 state merged within 11 states.
      4 states merged within 11 states.
      3 states merged within 12 states.
      3 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      2 states merged within 11 states.
      2 states merged within 11 states.
      2 states merged within 10 states.
      1 state merged within 11 states.
      3 states merged within 13 states.
      2 states merged within 15 states.
      2 states merged within 17 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 17 states.
      1 state merged within 17 states.
      1 state merged within 18 states.
      2 states merged within 19 states.
      2 states merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 17 states.
      2 states merged within 16 states.
      2 states merged within 16 states.
      2 states merged within 15 states.
      2 states merged within 15 states.
      2 states merged within 16 states.
      4 states merged within 18 states.
      2 states merged within 19 states.
      1 state merged within 18 states.
      2 states merged within 18 states.
      3 states merged within 19 states.
      2 states merged within 18 states.
      1 state merged within 17 states.
      4 states merged within 17 states.
      3 states merged within 16 states.
      2 states merged within 16 states.
      1 state merged within 16 states.
      2 states merged within 18 states.
      2 states merged within 19 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      2 states merged within 17 states.
      4 states merged within 16 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      3 states merged within 14 states.
      3 states merged within 15 states.
      1 state merged within 15 states.
      4 states merged within 14 states.
      2 states merged within 14 states.
      1 state merged within 15 states.
      2 states merged within 15 states.
      1 state merged within 15 states.
      2 states merged within 14 states.
      5 states merged within 14 states.
      3 states merged within 15 states.
      3 states merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 13 states.
      3 states merged within 14 states.
      3 states merged within 16 states.
      1 state merged within 18 states.
      1 state merged within 19 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 19 states.
      1 state merged within 18 states.
      1 state merged within 17 states.
      2 states merged within 17 states.
      2 states merged within 16 states.
      1 state merged within 16 states.
      2 states merged within 17 states.
      4 states merged within 19 states.
      3 states merged within 20 states.
      10 states merged within 21 states.
      11 states merged within 20 states.
      1 state merged within 19 states.
      11 states merged within 19 states.
      9 states merged within 20 states.
      10 states merged within 21 states.
      10 states merged within 20 states.
      1 state merged within 20 states.
      1 state merged within 20 states.
      8 states merged within 19 states.
      8 states merged within 19 states.
      2 states merged within 18 states.
      3 states merged within 18 states.
      10 states merged within 18 states.
      14 states merged within 18 states.
      17 states merged within 18 states.
      6 states merged within 18 states.
      7 states merged within 19 states.
      1 state merged within 20 states.
      1 state merged within 20 states.
      7 states merged within 18 states.
      2 states merged within 18 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      6 states merged within 17 states.
      5 states merged within 17 states.
      2 states merged within 16 states.
      1 state merged within 16 states.
      1 state merged within 16 states.
      4 states merged within 17 states.
      4 states merged within 17 states.
      5 states merged within 17 states.
      1 state merged within 16 states.
      8 states merged within 16 states.
      7 states merged within 17 states.
      3 states merged within 17 states.
      3 states merged within 16 states.
      2 states merged within 15 states.
      2 states merged within 15 states.
      1 state merged within 16 states.
      2 states merged within 15 states.
      7 states merged within 15 states.
      4 states merged within 16 states.
      2 states merged within 16 states.
      18 states merged within 16 states.
      28 states merged within 16 states.
      19 states merged within 16 states.
      8 states merged within 15 states.
      3 states merged within 15 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      3 states merged within 15 states.
      5 states merged within 17 states.
      3 states merged within 19 states.
      2 states merged within 20 states.
      3 states merged within 21 states.
      4 states merged within 20 states.
      1 state merged within 19 states.
      4 states merged within 19 states.
      6 states merged within 20 states.
      5 states merged within 21 states.
      5 states merged within 20 states.
      1 state merged within 20 states.
      1 state merged within 20 states.
      4 states merged within 19 states.
      3 states merged within 19 states.
      3 states merged within 18 states.
      3 states merged within 18 states.
      3 states merged within 18 states.
      5 states merged within 18 states.
      3 states merged within 18 states.
      2 states merged within 17 states.
      7 states merged within 18 states.
      7 states merged within 19 states.
      2 states merged within 20 states.
      2 states merged within 20 states.
      9 states merged within 19 states.
      4 states merged within 19 states.
      2 states merged within 18 states.
      2 states merged within 18 states.
      2 states merged within 18 states.
      4 states merged within 17 states.
      3 states merged within 17 states.
      2 states merged within 16 states.
      1 state merged within 16 states.
      3 states merged within 16 states.
      2 states merged within 17 states.
      3 states merged within 17 states.
      3 states merged within 17 states.
      1 state merged within 17 states.
      1 state merged within 16 states.
      10 states merged within 16 states.
      9 states merged within 17 states.
      1 state merged within 17 states.
      4 states merged within 16 states.
      4 states merged within 15 states.
      5 states merged within 16 states.
      6 states merged within 17 states.
      1 state merged within 18 states.
      1 state merged within 18 states.
      5 states merged within 16 states.
      2 states merged within 16 states.
      1 state merged within 16 states.
      1 state merged within 16 states.
      1 state merged within 16 states.
      4 states merged within 15 states.
      3 states merged within 15 states.
      2 states merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      3 states merged within 16 states.
      4 states merged within 16 states.
      4 states merged within 16 states.
      1 state merged within 15 states.
      4 states merged within 15 states.
      5 states merged within 16 states.
      3 states merged within 16 states.
      2 states merged within 15 states.
      1 state merged within 14 states.
      6 states merged within 14 states.
      5 states merged within 15 states.
      4 states merged within 16 states.
      3 states merged within 16 states.
      2 states merged within 15 states.
      3 states merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 14 states.
      1 state merged within 14 states.
      1 state merged within 15 states.
      1 state merged within 15 states.
      4 states merged within 15 states.
      4 states merged within 15 states.
      4 states merged within 15 states.
      1 state merged within 14 states.
      4 states merged within 14 states.
      5 states merged within 15 states.
      3 states merged within 15 states.
      2 states merged within 14 states.
      1 state merged within 13 states.
      4 states merged within 13 states.
      5 states merged within 14 states.
      4 states merged within 15 states.
      3 states merged within 15 states.
      4 states merged within 15 states.
      4 states merged within 15 states.
      1 state merged within 14 states.
      8 states merged within 14 states.
      8 states merged within 15 states.
      3 states merged within 15 states.
      4 states merged within 14 states.
      7 states merged within 13 states.
      4 states merged within 13 states.
      4 states merged within 13 states.
      2 states merged within 12 states.
      3 states merged within 12 states.
      1 state merged within 13 states.
      2 states merged within 14 states.
      2 states merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 13 states.
      2 states merged within 13 states.
      3 states merged within 14 states.
      1 state merged within 14 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
      1 state merged within 12 states.
      6 states merged within 12 states.
      5 states merged within 13 states.
      2 states merged within 14 states.
      2 states merged within 13 states.
      1 state merged within 13 states.
    End of Ordering!!! 
    
    
    State space exploration stopped: 3883 states with 4587 transitions in the final state space.
    Exiting explore_queue_bfs!!!
    
      [AGsafe] Algorithm completed after 900.265 seconds.
    
    Final constraint such that the system is correct:
     a >= 0
    & b >= 0
    & c >= 0
    & d >= 0
    & e > f
    & f >= 0
    OR
      f >= e
    & a >= 0
    & b >= 0
    & c >= 0
    & d >= 0
    & e >= 0
    & 4*c + 9*e > d
    OR
      d >= 4*c + 9*e
    & b >= 0
    & c >= 0
    & f >= e
    & e >= 0
    & a > b
    OR
      b >= a
    & a >= 0
    & c + 4*e > b
    & c >= 0
    & d >= 4*c + 9*e
    & e >= 0
    & f >= e
    OR
      b >= a
    & d >= 4*c + 9*e
    & c >= 0
    & f >= e
    & e >= 0
    & a + 3*c + 6*e > 2*d
    This good constraint is an over-approximation of the actual result (or the actual result itself)

    8.801 GiB (i.e., 1181365662 words of size 8)
    
    Result written to file '/media/gia/Data/Example-Models/Pipeline-KP12-3-3/Pipeline-KP12-3-3-queueBFSPRIOR-incl-merge-EF.res'.
    
    ------------------------------------------------------------
    Statistics: State space
    ------------------------------------------------------------
    Number of states                        : 3883
    Number of transitions                   : 4587
    Number of computed states               : 15975
    Total computation time                  : 900.258 seconds
    States/second in state space            : 4.3 (3883/900.258 seconds)
    Computed states/second                  : 17.7 (15975/900.258 seconds)
    Estimated memory                        : 8.801 GiB (i.e., 1181382749 words of size 8)
    
    Generating graphical output to '/media/gia/Data/Example-Models/Pipeline-KP12-3-3/Pipeline-KP12-3-3-queueBFSPRIOR-incl-merge-EF-statespace.jpg'…
    Writing the states description to file '/media/gia/Data/Example-Models/Pipeline-KP12-3-3/Pipeline-KP12-3-3-queueBFSPRIOR-incl-merge-EF-statespace.states'…
    
    Drawing the cartography…
    Plot cartography in 2D projected on parameters a and b to file '/media/gia/Data/Example-Models/Pipeline-KP12-3-3/Pipeline-KP12-3-3-queueBFSPRIOR-incl-merge-EF_cart.png'.
    
    ------------------------------------------------------------
     Statistics: Algorithm counters
    ------------------------------------------------------------
    main algorithm                          : 900.264 seconds
    ------------------------------------------------------------
     Statistics: Parsing counters
    ------------------------------------------------------------
    model parsing                           : 0.004 second
    ------------------------------------------------------------
     Statistics: State computation counters
    ------------------------------------------------------------
    number of state comparisons             : 2200043
    number of constraints comparisons       : 1178650
    number of new states <= old             : 3544
    number of new states >= old             : 0
    StateSpace.merging attempts             : 491163
    StateSpace.merges                       : 8548
    StatesMerging.merging attempts          : 0
    StatesMerging.merges                    : 0
    ------------------------------------------------------------
     Statistics: Graphics-related counters
    ------------------------------------------------------------
    state space drawing                     : 184.286 seconds
    cartography drawing                     : 0.076 second
    ------------------------------------------------------------
     Statistics: Global counter
    ------------------------------------------------------------
    total                                   : 1084.637 seconds

    IMITATOR successfully terminated (after 1084.641 seconds)
    Estimated memory used: 16.425 GiB (i.e., 2204621068 words of size 8)