************************************************************ * IMITATOR 2.9.2-working "Butter Incaberry" * * * * Etienne Andre, Ulrich Kuehne et al. * * 2009 - 2018 * * LSV, ENS de Cachan & CNRS, France * * LIPN, Universite Paris 13, France * * www.imitator.fr * * * * Build: 2402 (2018-06-07 12:48:34 UTC) * * HEAD/0999a7d * ************************************************************ Model: /home/royal/Desktop/experiments/Etienne/6/AndOr/AndOr.imi Mode: parametric non-Zeno emptiness checking (CUB transformation), distributed version. Considering fixpoint variant with monodirectional inclusion of symbolic zones (instead of equality). Time elapsing will be applied at the beginning of the computation of a new state. Merging technique of [AFS13] enabled. The result will be written to a file. ************************************************************ * IMITATOR 2.9.2-working "Butter Incaberry" * * * * Etienne Andre, Ulrich Kuehne et al. * * 2009 - 2018 * * LSV, ENS de Cachan & CNRS, France * * LIPN, Universite Paris 13, France * * www.imitator.fr * * * * Build: 2402 (2018-06-07 12:48:34 UTC) * * HEAD/0999a7d * ************************************************************ Model: /home/royal/Desktop/experiments/Etienne/6/AndOr/AndOr.imi Mode: parametric non-Zeno emptiness checking (CUB transformation), distributed version. Considering fixpoint variant with monodirectional inclusion of symbolic zones (instead of equality). Time elapsing will be applied at the beginning of the computation of a new state. Merging technique of [AFS13] enabled. The result will be written to a file. ************************************************************ * IMITATOR 2.9.2-working "Butter Incaberry" * * * * Etienne Andre, Ulrich Kuehne et al. * * 2009 - 2018 * * LSV, ENS de Cachan & CNRS, France * * LIPN, Universite Paris 13, France * * www.imitator.fr * * * * Build: 2402 (2018-06-07 12:48:34 UTC) * * HEAD/0999a7d * ************************************************************ Model: /home/royal/Desktop/experiments/Etienne/6/AndOr/AndOr.imi Mode: parametric non-Zeno emptiness checking (CUB transformation), distributed version. Considering fixpoint variant with monodirectional inclusion of symbolic zones (instead of equality). Time elapsing will be applied at the beginning of the computation of a new state. Merging technique of [AFS13] enabled. The result will be written to a file. ************************************************************ * IMITATOR 2.9.2-working "Butter Incaberry" * * * * Etienne Andre, Ulrich Kuehne et al. * * 2009 - 2018 * * LSV, ENS de Cachan & CNRS, France * * LIPN, Universite Paris 13, France * * www.imitator.fr * * * * Build: 2402 (2018-06-07 12:48:34 UTC) * * HEAD/0999a7d * ************************************************************ Model: /home/royal/Desktop/experiments/Etienne/6/AndOr/AndOr.imi Mode: parametric non-Zeno emptiness checking (CUB transformation), distributed version. Considering fixpoint variant with monodirectional inclusion of symbolic zones (instead of equality). Time elapsing will be applied at the beginning of the computation of a new state. Merging technique of [AFS13] enabled. The result will be written to a file. ************************************************************ * IMITATOR 2.9.2-working "Butter Incaberry" * * * * Etienne Andre, Ulrich Kuehne et al. * * 2009 - 2018 * * LSV, ENS de Cachan & CNRS, France * * LIPN, Universite Paris 13, France * * www.imitator.fr * * * * Build: 2402 (2018-06-07 12:48:34 UTC) * * HEAD/0999a7d * ************************************************************ ************************************************************ * IMITATOR 2.9.2-working "Butter Incaberry" * * * * Etienne Andre, Ulrich Kuehne et al. * * 2009 - 2018 * * LSV, ENS de Cachan & CNRS, France * * LIPN, Universite Paris 13, France * * www.imitator.fr * * * * Build: 2402 (2018-06-07 12:48:34 UTC) * * HEAD/0999a7d * ************************************************************ Model: /home/royal/Desktop/experiments/Etienne/6/AndOr/AndOr.imi Mode: parametric non-Zeno emptiness checking (CUB transformation), distributed version. Considering fixpoint variant with monodirectional inclusion of symbolic zones (instead of equality). Time elapsing will be applied at the beginning of the computation of a new state. Merging technique of [AFS13] enabled. Model: /home/royal/Desktop/experiments/Etienne/6/AndOr/AndOr.imi Mode: parametric non-Zeno emptiness checking (CUB transformation), distributed version. Considering fixpoint variant with monodirectional inclusion of symbolic zones (instead of equality). The result will be written to a file. 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 {dAnd_l, dA_High_l, dB_High_l, dOr_l, dA_Low_l, dB_Low_l} - upper-bound parameters {dA_High_u, dAnd_u, dOr_u, dB_High_u, p1, p2, dA_Low_u, dB_Low_u} Generating the transformed model… This model is an L/U-PTA: - lower-bound parameters {dAnd_l, dA_High_l, dB_High_l, dOr_l, dA_Low_l, dB_Low_l} - upper-bound parameters {dA_High_u, dAnd_u, dOr_u, dB_High_u, p1, p2, dA_Low_u, dB_Low_u} Generating the transformed model… This model is an L/U-PTA: - lower-bound parameters {dAnd_l, dA_High_l, dB_High_l, dOr_l, dA_Low_l, dB_Low_l} - upper-bound parameters {dA_High_u, dAnd_u, dOr_u, dB_High_u, p1, p2, dA_Low_u, dB_Low_u} Generating the transformed model… This model is an L/U-PTA: - lower-bound parameters {dAnd_l, dA_High_l, dB_High_l, dOr_l, dA_Low_l, dB_Low_l} - upper-bound parameters {dA_High_u, dAnd_u, dOr_u, dB_High_u, p1, p2, dA_Low_u, dB_Low_u} Generating the transformed model… This model is an L/U-PTA: - lower-bound parameters {dAnd_l, dA_High_l, dB_High_l, dOr_l, dA_Low_l, dB_Low_l} - upper-bound parameters {dA_High_u, dAnd_u, dOr_u, dB_High_u, p1, p2, dA_Low_u, dB_Low_u} Generating the transformed model… This model is an L/U-PTA: - lower-bound parameters {dAnd_l, dA_High_l, dB_High_l, dOr_l, dA_Low_l, dB_Low_l} - upper-bound parameters {dA_High_u, dAnd_u, dOr_u, dB_High_u, p1, p2, dA_Low_u, dB_Low_u} Generating the transformed model…  Automaton name: input, Number of models: 1 Automaton name: andGate, Number of models: 2 Automaton name: orGate, Number of models: 2 Automaton name: automatically_generated_observer, Number of models: 1  Transformation completed  Automaton name: input, Number of models: 1 Automaton name: andGate, Number of models: 2 Automaton name: orGate, Number of models: 2 Automaton name: automatically_generated_observer, Number of models: 1  Transformation completed Starting running algorithm NZCUB…  Computing post^1 from 1 state.  Automaton name: input, Number of models: 1 Automaton name: andGate, Number of models: 2 Automaton name: orGate, Number of models: 2 Automaton name: automatically_generated_observer, Number of models: 1  Transformation completed IMITATOR successfully terminated (after 1.100 seconds)  Automaton name: input, Number of models: 1 Automaton name: andGate, Number of models: 2 Automaton name: orGate, Number of models: 2 Automaton name: automatically_generated_observer, Number of models: 1  Transformation completed Starting running algorithm NZCUB…  Computing post^1 from 1 state.  Automaton name: input, Number of models: 1 Automaton name: andGate, Number of models: 2 Automaton name: orGate, Number of models: 2 Automaton name: automatically_generated_observer, Number of models: 1  Transformation completed Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 5 states.  Automaton name: input, Number of models: 1 Automaton name: andGate, Number of models: 2 Automaton name: orGate, Number of models: 2 Automaton name: automatically_generated_observer, Number of models: 1  Transformation completed Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 5 states. Computing post^2 from 5 states. Computing post^3 from 9 states. Computing post^3 from 9 states. Computing post^2 from 5 states. Computing post^4 from 7 states. Computing post^4 from 7 states. Computing post^5 from 2 states. Computing post^3 from 9 states. Computing post^5 from 2 states. Computing post^6 from 2 states. Computing post^6 from 4 states. Computing post^7 from 6 states. Computing post^4 from 7 states.  2 states merged within 10 states. Computing post^5 from 2 states. Computing post^7 from 8 states. Computing post^8 from 9 states. Computing post^6 from 4 states. Computing post^3 from 9 states.  2 states merged within 10 states. Computing post^7 from 8 states. Computing post^4 from 7 states. Computing post^8 from 9 states. Computing post^5 from 2 states. Computing post^6 from 2 states.  8 states merged within 28 states. Computing post^7 from 6 states. Computing post^9 from 20 states. Computing post^8 from 17 states. Computing post^8 from 17 states.  4 states merged within 26 states. Computing post^9 from 22 states.  2 states merged within 26 states. Computing post^10 from 24 states.  17 states merged within 39 states.  11 states merged within 37 states. Computing post^9 from 22 states. Computing post^9 from 26 states.  5 states merged within 35 states. Computing post^10 from 30 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 26 states. Computing post^10 from 24 states.  4 states merged within 40 states. Computing post^11 from 36 states.  9 states merged within 39 states. Computing post^10 from 30 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  8 states merged within 60 states. Computing post^11 from 52 states.  14 states merged within 50 states. Computing post^11 from 36 states.  12 states merged within 48 states. Computing post^12 from 36 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  26 states merged within 78 states. Computing post^11 from 52 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  22 states merged within 70 states. Computing post^12 from 48 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  20 states merged within 80 states.  [NZCUB] Non-Zeno cycle found! Computing post^12 from 60 states.  9 states merged within 91 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found! Computing post^13 from 82 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] Found a cycle.  [NZCUB] Non-Zeno cycle found!  44 states merged within 116 states. Computing post^12 from 72 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  15 states merged within 95 states. Computing post^13 from 80 states.  2 states merged within 70 states. Computing post^14 from 68 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] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  11 states merged within 79 states. Computing post^14 from 68 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  24 states merged within 108 states. Computing post^13 from 84 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!  50 states merged within 134 states. Computing post^13 from 84 states.  30 states merged within 139 states. Computing post^15 from 109 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 100 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  20 states merged within 116 states. Computing post^15 from 96 states. Computing post^14 from 96 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!  11 states merged within 107 states. Computing post^14 from 96 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  18 states merged within 134 states. Computing post^16 from 116 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  45 states merged within 158 states. Computing post^16 from 115 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] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  56 states merged within 190 states. Computing post^15 from 134 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] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  60 states merged within 208 states.  [NZCUB] Non-Zeno cycle found! Computing post^15 from 148 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!  23 states merged within 225 states. Computing post^17 from 202 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] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  43 states merged within 203 states. Computing post^17 from 164 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  28 states merged within 185 states. Computing post^18 from 157 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  79 states merged within 222 states. Computing post^16 from 147 states.  68 states merged within 220 states. Computing post^16 from 152 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  35 states merged within 184 states. Computing post^18 from 149 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] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  64 states merged within 272 states. Computing post^17 from 212 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  91 states merged within 352 states. Computing post^17 from 261 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  48 states merged within 254 states. Computing post^19 from 210 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  28 states merged within 299 states. Computing post^19 from 275 states.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  69 states merged within 306 states. Computing post^18 from 237 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  38 states merged within 252 states. Computing post^20 from 214 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!  40 states merged within 207 states. Computing post^20 from 167 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] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  75 states merged within 284 states. Computing post^18 from 209 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] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  49 states merged within 297 states. Computing post^21 from 252 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  75 states merged within 432 states. Computing post^21 from 357 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.