************************************************************
 *  IMITATOR 2.9.2-working "Butter Incaberry"               *
 *                                                          *
 *                     Etienne Andre, Ulrich Kuehne et al.  *
 *                                             2009 - 2018  *
 *                       LSV, ENS de Cachan & CNRS, France  *
 *                       LIPN, Universite Paris 13, France  *
 *                                         www.imitator.fr  *
 *                                                          *
 *                   Build: 2402 (2018-06-07 12:48:34 UTC)  *
 *                                            HEAD/0999a7d  *
 ************************************************************
 Model: /home/royal/Desktop/experiments/Etienne/4/RCP/RCP.imi
 Mode: parametric non-Zeno emptiness checking (CUB transformation), distributed version.
 Considering fixpoint variant with monodirectional inclusion of symbolic zones (instead of equality).
 Time elapsing will be applied at the beginning of the computation of a new state.
 Merging technique of [AFS13] enabled.
 The result will be written to a file.
 ************************************************************
 *  IMITATOR 2.9.2-working "Butter Incaberry"               *
 *                                                          *
 *                     Etienne Andre, Ulrich Kuehne et al.  *
 *                                             2009 - 2018  *
 *                       LSV, ENS de Cachan & CNRS, France  *
 *                       LIPN, Universite Paris 13, France  *
 *                                         www.imitator.fr  *
 *                                                          *
 *                   Build: 2402 (2018-06-07 12:48:34 UTC)  *
 *                                            HEAD/0999a7d  *
 ************************************************************
 Model: /home/royal/Desktop/experiments/Etienne/4/RCP/RCP.imi
 Mode: parametric non-Zeno emptiness checking (CUB transformation), distributed version.
 Considering fixpoint variant with monodirectional inclusion of symbolic zones (instead of equality).
 Time elapsing will be applied at the beginning of the computation of a new state.
 Merging technique of [AFS13] enabled.
 The result will be written to a file.
 ************************************************************
 *  IMITATOR 2.9.2-working "Butter Incaberry"               *
 *                                                          *
 *                     Etienne Andre, Ulrich Kuehne et al.  *
 *                                             2009 - 2018  *
 *                       LSV, ENS de Cachan & CNRS, France  *
 *                       LIPN, Universite Paris 13, France  *
 *                                         www.imitator.fr  *
 *                                                          *
 *                   Build: 2402 (2018-06-07 12:48:34 UTC)  *
 *                                            HEAD/0999a7d  *
 ************************************************************
 Model: /home/royal/Desktop/experiments/Etienne/4/RCP/RCP.imi
 Mode: parametric non-Zeno emptiness checking (CUB transformation), distributed version.
 Considering fixpoint variant with monodirectional inclusion of symbolic zones (instead of equality).
 Time elapsing will be applied at the beginning of the computation of a new state.
 Merging technique of [AFS13] enabled.
 The result will be written to a file.
 ************************************************************
 *  IMITATOR 2.9.2-working "Butter Incaberry"               *
 *                                                          *
 *                     Etienne Andre, Ulrich Kuehne et al.  *
 *                                             2009 - 2018  *
 *                       LSV, ENS de Cachan & CNRS, France  *
 *                       LIPN, Universite Paris 13, France  *
 *                                         www.imitator.fr  *
 *                                                          *
 *                   Build: 2402 (2018-06-07 12:48:34 UTC)  *
 *                                            HEAD/0999a7d  *
 ************************************************************
 Model: /home/royal/Desktop/experiments/Etienne/4/RCP/RCP.imi
 Mode: parametric non-Zeno emptiness checking (CUB transformation), distributed version.
 Considering fixpoint variant with monodirectional inclusion of symbolic zones (instead of equality).
 Time elapsing will be applied at the beginning of the computation of a new state.
 Merging technique of [AFS13] enabled.
 The result will be written to a file.
 This model is an L/U-PTA:
 - lower-bound parameters {rc_fast_min, rc_slow_min}
 - upper-bound parameters {rc_fast_max, delay, p1, rc_slow_max, p2}
 Generating the transformed model…
 This model is an L/U-PTA:
 - lower-bound parameters {rc_fast_min, rc_slow_min}
 - upper-bound parameters {rc_fast_max, delay, p1, rc_slow_max, p2}
 This model is an L/U-PTA:
 - lower-bound parameters {rc_fast_min, rc_slow_min}
 - upper-bound parameters {rc_fast_max, delay, p1, rc_slow_max, p2}
 Generating the transformed model…
 Generating the transformed model…
 This model is an L/U-PTA:
 - lower-bound parameters {rc_fast_min, rc_slow_min}
 - upper-bound parameters {rc_fast_max, delay, p1, rc_slow_max, p2}
 Generating the transformed model…
  Automaton name: node1, Number of models: 2
 Automaton name: node2, Number of models: 1
 Automaton name: wire12, Number of models: 1
 Automaton name: wire21, Number of models: 1
 Automaton name: s1o, Number of models: 1
 
 Transformation completed
  Automaton name: node1, Number of models: 2
 Automaton name: node2, Number of models: 1
 Automaton name: wire12, Number of models: 1
 Automaton name: wire21, Number of models: 1
 Automaton name: s1o, Number of models: 1
 
 Transformation completed

 IMITATOR successfully terminated (after 0.860 second)

  Automaton name: node1, Number of models: 2
 Automaton name: node2, Number of models: 1
 Automaton name: wire12, Number of models: 1
 Automaton name: wire21, Number of models: 1
 Automaton name: s1o, Number of models: 1
 
 Transformation completed
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 5 states.
 Computing post^3 from 10 states.
  Automaton name: node1, Number of models: 2
 Automaton name: node2, Number of models: 1
 Automaton name: wire12, Number of models: 1
 Automaton name: wire21, Number of models: 1
 Automaton name: s1o, Number of models: 1
 
 Transformation completed
 Computing post^4 from 18 states.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 6 states.
 Computing post^5 from 29 states.
 Computing post^3 from 14 states.
 Computing post^4 from 24 states.
 Computing post^6 from 29 states.
 Computing post^5 from 37 states.
   7 states merged within 39 states.
 Computing post^7 from 32 states.
 Computing post^6 from 38 states.
   8 states merged within 68 states.
 Computing post^8 from 60 states.
   11 states merged within 47 states.
 Computing post^7 from 36 states.
   4 states merged within 68 states.
 Computing post^8 from 64 states.
   21 states merged within 145 states.
 Computing post^9 from 124 states.
   22 states merged within 150 states.
 Computing post^9 from 128 states.
   162 states merged within 346 states.
 Computing post^10 from 184 states.
   166 states merged within 350 states.
 Computing post^10 from 184 states.
   89 states merged within 361 states.
 Computing post^11 from 272 states.
   69 states merged within 341 states.
 Computing post^11 from 272 states.
   71 states merged within 279 states.
 Computing post^12 from 208 states.
   80 states merged within 288 states.
 Computing post^12 from 208 states.
   25 states merged within 201 states.
 Computing post^13 from 176 states.
   18 states merged within 226 states.
 Computing post^13 from 208 states.
   76 states merged within 275 states.
 Computing post^14 from 200 states.
   36 states merged within 228 states.
 Computing post^15 from 200 states.
   86 states merged within 308 states.
 Computing post^14 from 224 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   54 states merged within 326 states.
 Computing post^15 from 284 states.
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   209 states merged within 421 states.
 Computing post^16 from 256 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   197 states merged within 481 states.
 Computing post^16 from 332 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   322 states merged within 630 states.
 Computing post^17 from 428 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   322 states merged within 708 states.
 Computing post^17 from 510 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   356 states merged within 731 states.
 Computing post^18 from 500 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   385 states merged within 607 states.
 Computing post^19 from 424 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   366 states merged within 733 states.
 Computing post^18 from 494 states.
   271 states merged within 423 states.
 Computing post^20 from 328 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   446 states merged within 664 states.
 Computing post^19 from 424 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   279 states merged within 431 states.
 Computing post^20 from 328 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   212 states merged within 290 states.
 Computing post^21 from 238 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   261 states merged within 336 states.
 Computing post^22 from 239 states.
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   248 states merged within 328 states.
 Computing post^21 from 272 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   302 states merged within 382 states.
 Computing post^22 from 266 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   196 states merged within 188 states.
 Computing post^23 from 168 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   270 states merged within 254 states.
 Computing post^23 from 232 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   236 states merged within 212 states.
 Computing post^24 from 172 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   350 states merged within 282 states.
 Computing post^25 from 228 states.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   230 states merged within 194 states.
 Computing post^26 from 156 states.
 
 Fixpoint reached at a depth of 27: 2825 states with 8420 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 727.688 seconds.

 IMITATOR successfully terminated (after 727.717 seconds)

   315 states merged within 281 states.
 Computing post^24 from 232 states.
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   418 states merged within 350 states.
 Computing post^25 from 304 states.
   232 states merged within 196 states.
 Computing post^26 from 158 states.
 
 Fixpoint reached at a depth of 27: 3127 states with 9040 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 915.625 seconds.

 IMITATOR successfully terminated (after 915.717 seconds)

 
 Final constraint such that the system is correct:
  p1 > 0
 & p2 > 0
 & rc_slow_min > 0
 & delay > 0
 & rc_fast_min > 0
 & rc_slow_max >= rc_slow_min
 & rc_fast_max >= rc_fast_min
 This good constraint is exact (sound and complete)
 
 Result written to file '/home/royal/Desktop/experiments/Etienne/4/RCP/NZCUBtransdist.res'.

 IMITATOR successfully terminated (after 915.721 seconds)