************************************************************
 *  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:12 UTC)  *
 *                                            HEAD/0999a7d  *
 ************************************************************
 Model: /home/royal/Desktop/experiments/Etienne/S/RCP/RCP.imi
 Mode: parametric non-Zeno emptiness checking (CUB transformation).
 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…
  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 6 states.
 Computing post^3 from 21 states.
 Computing post^4 from 48 states.
 Computing post^5 from 81 states.
 Computing post^6 from 114 states.
 Computing post^7 from 139 states.
 Computing post^8 from 160 states.
 Computing post^9 from 159 states.
 Computing post^10 from 134 states.
 Computing post^11 from 115 states.
   13 states merged within 113 states.
 Computing post^12 from 100 states.
   7 states merged within 139 states.
 Computing post^13 from 132 states.
   48 states merged within 300 states.
 Computing post^14 from 252 states.
   327 states merged within 695 states.
 Computing post^15 from 368 states.
   168 states merged within 712 states.
 Computing post^16 from 544 states.
   171 states merged within 587 states.
 Computing post^17 from 416 states.
   61 states merged within 445 states.
 Computing post^18 from 384 states.
   162 states merged within 583 states.
 Computing post^19 from 424 states.
   90 states merged within 554 states.
 Computing post^20 from 484 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!
   359 states merged within 855 states.
 Computing post^21 from 588 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!
   630 states merged within 1322 states.
 Computing post^22 from 936 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!
   752 states merged within 1490 states.
 Computing post^23 from 992 states.
   847 states merged within 1283 states.
 Computing post^24 from 848 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!
   560 states merged within 864 states.
 Computing post^25 from 656 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!
   467 states merged within 625 states.
 Computing post^26 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] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   551 states merged within 707 states.
 Computing post^27 from 508 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!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   465 states merged within 441 states.
 Computing post^28 from 400 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!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   559 states merged within 503 states.
 Computing post^29 from 404 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!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   [NZCUB] Found a cycle.
   [NZCUB] Non-Zeno cycle found!
   758 states merged within 636 states.
 Computing post^30 from 534 states.
   464 states merged within 404 states.
 Computing post^31 from 316 states.
 
 Fixpoint reached at a depth of 32: 6777 states with 20359 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 948.822 seconds.
 
 Final constraint such that the system is correct:
  p1 > 0
 & p2 > 0
 & rc_fast_min > 0
 & rc_slow_min > 0
 & delay > 0
 & rc_fast_max >= rc_fast_min
 & rc_slow_max >= rc_slow_min
 This good constraint is exact (sound and complete)
 
 Result written to file '/home/royal/Desktop/experiments/Etienne/S/RCP/NZCUBtrans.res'.

 IMITATOR successfully terminated (after 948.824 seconds)