************************************************************ * 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/8/simop/simop.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/8/simop/simop.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/8/simop/simop.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/8/simop/simop.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/8/simop/simop.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/8/simop/simop.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/8/simop/simop.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/8/simop/simop.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. Generating the transformed model… Generating the transformed model… Generating the transformed model… Generating the transformed model… Generating the transformed model… Generating the transformed model… Generating the transformed model… Generating the transformed model…  Automaton name: PLC, Number of models: 2 Automaton name: COM, Number of models: 2 Automaton name: NET, Number of models: 12 Automaton name: RIO, Number of models: 1 Automaton name: ENV, Number of models: 1  Transformation completed  Automaton name: PLC, Number of models: 2 Automaton name: COM, Number of models: 2 Automaton name: NET, Number of models: 12 Automaton name: RIO, Number of models: 1 Automaton name: ENV, Number of models: 1  Transformation completed  Automaton name: PLC, Number of models: 2 Automaton name: COM, Number of models: 2 Automaton name: NET, Number of models: 12 Automaton name: RIO, Number of models: 1 Automaton name: ENV, Number of models: 1  Transformation completed Starting running algorithm NZCUB…  Computing post^1 from 1 state. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^2 from 8 states.  Automaton name: PLC, Number of models: 2 Automaton name: COM, Number of models: 2 Automaton name: NET, Number of models: 12 Automaton name: RIO, Number of models: 1 Automaton name: ENV, Number of models: 1  Transformation completed Computing post^3 from 18 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  Automaton name: PLC, Number of models: 2 Automaton name: COM, Number of models: 2 Automaton name: NET, Number of models: 12 Automaton name: RIO, Number of models: 1 Automaton name: ENV, Number of models: 1  Transformation completed Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^2 from 8 states. Computing post^3 from 24 states. Computing post^3 from 18 states. Computing post^4 from 23 states.  Automaton name: PLC, Number of models: 2 Automaton name: COM, Number of models: 2 Automaton name: NET, Number of models: 12 Automaton name: RIO, Number of models: 1 Automaton name: ENV, Number of models: 1  Transformation completed Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^3 from 24 states. Computing post^2 from 7 states. Computing post^4 from 35 states. Computing post^5 from 20 states. Computing post^4 from 23 states. Computing post^3 from 18 states. Computing post^6 from 20 states. Computing post^5 from 20 states. Computing post^4 from 23 states.  3 states merged within 20 states. Computing post^7 from 17 states. Computing post^4 from 35 states.  Automaton name: PLC, Number of models: 2 Automaton name: COM, Number of models: 2 Automaton name: NET, Number of models: 12 Automaton name: RIO, Number of models: 1 Automaton name: ENV, Number of models: 1  Transformation completed Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^5 from 30 states. Computing post^2 from 8 states.  3 states merged within 11 states. Computing post^8 from 8 states. Computing post^5 from 19 states. Computing post^6 from 20 states. Computing post^9 from 6 states. Computing post^3 from 24 states. Computing post^6 from 15 states. Computing post^10 from 10 states. Computing post^6 from 23 states. Computing post^11 from 6 states.  3 states merged within 13 states. Computing post^7 from 10 states. Computing post^5 from 30 states.  3 states merged within 20 states. Computing post^4 from 35 states. Computing post^7 from 17 states.  1 state merged within 6 states. Computing post^12 from 10 states. Computing post^8 from 5 states.  3 states merged within 20 states. Computing post^9 from 6 states. Computing post^7 from 17 states. Computing post^13 from 6 states.  1 state merged within 7 states. Computing post^10 from 6 states.  3 states merged within 11 states.  1 state merged within 9 states. Computing post^11 from 6 states. Computing post^8 from 8 states. Computing post^14 from 10 states. Computing post^8 from 8 states. Computing post^9 from 6 states.  2 states merged within 8 states. Computing post^12 from 6 states. Computing post^9 from 6 states. Computing post^5 from 29 states. Computing post^15 from 6 states. Computing post^6 from 23 states. Computing post^13 from 6 states. Computing post^10 from 10 states. Computing post^10 from 10 states. Computing post^11 from 6 states.  2 states merged within 8 states. Computing post^14 from 6 states. Computing post^11 from 6 states. Computing post^16 from 10 states. Computing post^6 from 18 states. Computing post^15 from 6 states. Computing post^17 from 6 states. Computing post^12 from 10 states. Computing post^12 from 10 states.  1 state merged within 11 states.  3 states merged within 20 states.  2 states merged within 8 states. Computing post^7 from 10 states. Computing post^13 from 6 states. Computing post^16 from 6 states.  Automaton name: PLC, Number of models: 2 Automaton name: COM, Number of models: 2 Automaton name: NET, Number of models: 12 Automaton name: RIO, Number of models: 1 Automaton name: ENV, Number of models: 1  Transformation completed Computing post^13 from 6 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^7 from 17 states. Computing post^2 from 8 states.  3 states merged within 8 states. Computing post^8 from 5 states. Computing post^18 from 10 states. Computing post^17 from 6 states. Computing post^14 from 10 states. Computing post^9 from 6 states. Computing post^14 from 10 states. Computing post^19 from 6 states.  1 state merged within 9 states. Computing post^3 from 24 states.  2 states merged within 8 states. Computing post^18 from 6 states. Computing post^15 from 6 states. Computing post^10 from 6 states. Computing post^8 from 8 states. Computing post^15 from 6 states. Computing post^9 from 6 states. Computing post^11 from 6 states. Computing post^19 from 6 states. Computing post^20 from 10 states. Computing post^16 from 10 states. Computing post^16 from 10 states. Computing post^12 from 6 states. Computing post^10 from 10 states.  2 states merged within 8 states. Computing post^21 from 6 states. Computing post^20 from 6 states. Computing post^17 from 6 states. Computing post^11 from 6 states. Computing post^4 from 35 states. Computing post^13 from 6 states. Computing post^17 from 6 states. Computing post^14 from 6 states. Computing post^21 from 6 states. Computing post^12 from 10 states. Computing post^18 from 10 states. Computing post^22 from 10 states. Computing post^18 from 10 states. Computing post^15 from 6 states. Computing post^13 from 6 states.  2 states merged within 8 states. Computing post^22 from 6 states. Computing post^19 from 6 states. Computing post^23 from 6 states. Computing post^19 from 6 states. Computing post^16 from 6 states. Computing post^5 from 29 states. Computing post^23 from 6 states. Computing post^14 from 10 states. Computing post^17 from 6 states. Computing post^15 from 6 states. Computing post^20 from 10 states. Computing post^20 from 10 states.  2 states merged within 8 states. Computing post^24 from 6 states. Computing post^18 from 6 states. Computing post^24 from 10 states. Computing post^21 from 6 states. Computing post^21 from 6 states. Computing post^16 from 10 states. Computing post^6 from 18 states. Computing post^19 from 6 states. Computing post^25 from 6 states. Computing post^25 from 6 states. Computing post^17 from 6 states.  1 state merged within 11 states. Computing post^20 from 6 states. Computing post^7 from 10 states. Computing post^22 from 10 states. Computing post^22 from 10 states.  3 states merged within 8 states. Computing post^8 from 5 states. Computing post^21 from 6 states. Computing post^26 from 10 states. Computing post^23 from 6 states.  2 states merged within 8 states. Computing post^18 from 10 states. Computing post^26 from 6 states. Computing post^9 from 6 states. Computing post^23 from 6 states. Computing post^19 from 6 states. Computing post^22 from 6 states.  1 state merged within 7 states. Computing post^27 from 6 states. Computing post^10 from 6 states. Computing post^11 from 6 states. Computing post^24 from 10 states. Computing post^23 from 6 states. Computing post^27 from 6 states.  1 state merged within 7 states. Computing post^12 from 6 states. Computing post^24 from 10 states. Computing post^20 from 10 states. Computing post^25 from 6 states. Computing post^24 from 6 states. Computing post^28 from 10 states. Computing post^13 from 6 states. Computing post^25 from 6 states. Computing post^21 from 6 states.  2 states merged within 8 states. Computing post^14 from 6 states.  2 states merged within 8 states. Computing post^28 from 6 states. Computing post^29 from 6 states. Computing post^25 from 6 states. Computing post^15 from 6 states. Computing post^26 from 10 states. Computing post^22 from 10 states. Computing post^26 from 6 states. Computing post^29 from 6 states.  2 states merged within 8 states. Computing post^26 from 10 states. Computing post^16 from 6 states. Computing post^27 from 6 states. Computing post^23 from 6 states. Computing post^30 from 10 states. Computing post^17 from 6 states. Computing post^27 from 6 states. Computing post^27 from 6 states.  2 states merged within 8 states. Computing post^30 from 6 states.  2 states merged within 8 states. Computing post^31 from 6 states. Computing post^18 from 6 states. Computing post^28 from 6 states. Computing post^28 from 10 states. Computing post^31 from 6 states. Computing post^24 from 10 states. Computing post^19 from 6 states. Computing post^28 from 10 states. Computing post^29 from 6 states. Computing post^29 from 6 states. Computing post^25 from 6 states.  2 states merged within 8 states. Computing post^20 from 6 states.  2 states merged within 8 states. Computing post^32 from 6 states. Computing post^32 from 10 states. Computing post^29 from 6 states. Computing post^30 from 6 states. Computing post^21 from 6 states. Computing post^33 from 6 states. Computing post^33 from 6 states. Computing post^30 from 10 states. Computing post^26 from 10 states.  2 states merged within 8 states. Computing post^31 from 6 states. Computing post^22 from 6 states. Computing post^30 from 10 states.  2 states merged within 8 states. Computing post^34 from 6 states. Computing post^31 from 6 states. Computing post^27 from 6 states. Computing post^23 from 6 states. Computing post^32 from 6 states. Computing post^31 from 6 states. Computing post^34 from 10 states. Computing post^35 from 6 states.  2 states merged within 8 states. Computing post^24 from 6 states. Computing post^33 from 6 states. Computing post^28 from 10 states. Computing post^35 from 6 states. Computing post^32 from 10 states. Computing post^25 from 6 states.  2 states merged within 8 states. Computing post^36 from 6 states. Computing post^29 from 6 states. Computing post^32 from 10 states. Computing post^33 from 6 states. Computing post^34 from 6 states.  2 states merged within 8 states. Computing post^26 from 6 states. Computing post^37 from 6 states. Computing post^33 from 6 states. Computing post^35 from 6 states. Computing post^27 from 6 states. Computing post^30 from 10 states. Computing post^34 from 10 states. Computing post^36 from 10 states.  2 states merged within 8 states. Computing post^38 from 6 states. Computing post^36 from 6 states.  2 states merged within 8 states. Computing post^28 from 6 states. Computing post^31 from 6 states. Computing post^35 from 6 states. Computing post^34 from 10 states. Computing post^37 from 6 states. Computing post^39 from 6 states. Computing post^29 from 6 states. Computing post^37 from 6 states. Computing post^35 from 6 states.  2 states merged within 8 states. Computing post^30 from 6 states.  2 states merged within 8 states. Computing post^38 from 6 states. Computing post^40 from 6 states. Computing post^32 from 10 states. Computing post^36 from 10 states. Computing post^38 from 10 states. Computing post^33 from 6 states. Computing post^31 from 6 states. Computing post^39 from 6 states. Computing post^41 from 6 states. Computing post^37 from 6 states. Computing post^36 from 10 states. Computing post^39 from 6 states.  2 states merged within 8 states. Computing post^32 from 6 states. Computing post^40 from 6 states. Computing post^37 from 6 states.  2 states merged within 8 states. Computing post^42 from 6 states. Computing post^34 from 10 states. Computing post^33 from 6 states. Computing post^38 from 10 states. Computing post^40 from 10 states. Computing post^41 from 6 states. Computing post^43 from 6 states. Computing post^35 from 6 states. Computing post^39 from 6 states.  2 states merged within 8 states. Computing post^34 from 6 states. Computing post^41 from 6 states. Computing post^38 from 10 states. Computing post^42 from 6 states.  2 states merged within 8 states. Computing post^44 from 6 states. Computing post^39 from 6 states. Computing post^36 from 10 states. Computing post^35 from 6 states. Computing post^43 from 6 states. Computing post^42 from 10 states. Computing post^37 from 6 states. Computing post^40 from 10 states. Computing post^44 from 6 states. Computing post^45 from 6 states. Computing post^43 from 6 states.  2 states merged within 8 states. Computing post^40 from 10 states. Computing post^36 from 6 states. Computing post^45 from 6 states. Computing post^41 from 6 states.  2 states merged within 8 states. Computing post^41 from 6 states. Computing post^38 from 10 states. Computing post^46 from 6 states. Computing post^37 from 6 states. Computing post^46 from 6 states. Computing post^39 from 6 states. Computing post^44 from 10 states. Computing post^47 from 6 states.  2 states merged within 8 states. Computing post^38 from 6 states. Computing post^47 from 6 states. Computing post^45 from 6 states. Computing post^42 from 10 states. Computing post^42 from 10 states. Computing post^39 from 6 states.  2 states merged within 8 states. Computing post^48 from 6 states. Computing post^40 from 10 states. Computing post^48 from 6 states. Computing post^43 from 6 states. Computing post^43 from 6 states. Computing post^41 from 6 states.  2 states merged within 8 states. Computing post^40 from 6 states. Computing post^49 from 6 states. Computing post^46 from 10 states. Computing post^49 from 6 states. Computing post^47 from 6 states. Computing post^44 from 10 states. Computing post^44 from 10 states. Computing post^41 from 6 states. Computing post^50 from 6 states. Computing post^42 from 10 states.  2 states merged within 8 states. Computing post^45 from 6 states. Computing post^50 from 6 states. Computing post^45 from 6 states.  2 states merged within 8 states. Computing post^42 from 6 states. Computing post^43 from 6 states. Computing post^48 from 10 states. Computing post^51 from 6 states. Computing post^43 from 6 states. Computing post^51 from 6 states. Computing post^46 from 10 states. Computing post^49 from 6 states. Computing post^46 from 10 states. Computing post^44 from 10 states. Computing post^52 from 6 states.  2 states merged within 8 states. Computing post^44 from 6 states. Computing post^47 from 6 states. Computing post^47 from 6 states.  2 states merged within 8 states. Computing post^52 from 6 states. Computing post^45 from 6 states. Computing post^45 from 6 states. Computing post^53 from 6 states. Computing post^50 from 10 states. Computing post^53 from 6 states. Computing post^48 from 10 states. Computing post^51 from 6 states.  2 states merged within 8 states. Computing post^54 from 6 states. Computing post^46 from 6 states. Computing post^48 from 10 states. Computing post^46 from 10 states.  2 states merged within 8 states. Computing post^54 from 6 states. Computing post^49 from 6 states. Computing post^49 from 6 states. Computing post^47 from 6 states. Computing post^55 from 6 states. Computing post^47 from 6 states. Computing post^55 from 6 states. Computing post^52 from 10 states. Computing post^56 from 6 states.  2 states merged within 8 states. Computing post^48 from 6 states. Computing post^50 from 10 states. Computing post^53 from 6 states.  2 states merged within 8 states. Computing post^56 from 6 states. Computing post^50 from 10 states. Computing post^48 from 10 states. Computing post^49 from 6 states. Computing post^51 from 6 states. Computing post^57 from 6 states. Computing post^51 from 6 states. Computing post^57 from 6 states. Computing post^49 from 6 states.  2 states merged within 8 states. Computing post^58 from 6 states. Computing post^50 from 6 states. Computing post^54 from 10 states.  2 states merged within 8 states. Computing post^52 from 10 states. Computing post^58 from 6 states. Computing post^51 from 6 states. Computing post^59 from 6 states. Computing post^55 from 6 states. Computing post^52 from 10 states. Computing post^50 from 10 states. Computing post^53 from 6 states. Computing post^59 from 6 states.  2 states merged within 8 states. Computing post^60 from 6 states. Computing post^52 from 6 states. Computing post^53 from 6 states. Computing post^51 from 6 states. Computing post^56 from 10 states. Computing post^53 from 6 states.  2 states merged within 8 states. Computing post^60 from 6 states. Computing post^61 from 6 states. Computing post^54 from 10 states. Computing post^57 from 6 states. Computing post^54 from 10 states. Computing post^52 from 10 states. Computing post^61 from 6 states.  2 states merged within 8 states. Computing post^62 from 6 states. Computing post^54 from 6 states. Computing post^55 from 6 states. Computing post^55 from 6 states. Computing post^53 from 6 states. Computing post^55 from 6 states. Computing post^63 from 6 states.  2 states merged within 8 states. Computing post^62 from 6 states. Computing post^58 from 10 states. Computing post^56 from 10 states. Computing post^64 from 6 states.  2 states merged within 8 states. Computing post^56 from 6 states. Computing post^63 from 6 states. Computing post^59 from 6 states. Computing post^54 from 10 states. Computing post^56 from 10 states. Computing post^57 from 6 states. Computing post^57 from 6 states. Computing post^65 from 6 states.  2 states merged within 8 states. Computing post^55 from 6 states. Computing post^57 from 6 states. Computing post^64 from 6 states. Computing post^60 from 10 states.  2 states merged within 8 states. Computing post^66 from 6 states. Computing post^58 from 6 states. Computing post^65 from 6 states. Computing post^58 from 10 states. Computing post^61 from 6 states. Computing post^56 from 10 states. Computing post^58 from 10 states. Computing post^59 from 6 states. Computing post^59 from 6 states. Computing post^67 from 6 states.  2 states merged within 8 states. Computing post^66 from 6 states. Computing post^57 from 6 states. Computing post^59 from 6 states. Computing post^68 from 6 states.  2 states merged within 8 states. Computing post^60 from 6 states. Computing post^67 from 6 states. Computing post^62 from 10 states. Computing post^60 from 10 states. Computing post^69 from 6 states. Computing post^61 from 6 states. Computing post^63 from 6 states.  2 states merged within 8 states. Computing post^68 from 6 states. Computing post^58 from 10 states. Computing post^61 from 6 states. Computing post^60 from 10 states. Computing post^70 from 6 states.  2 states merged within 8 states. Computing post^62 from 6 states. Computing post^59 from 6 states. Computing post^69 from 6 states. Computing post^61 from 6 states. Computing post^64 from 10 states. Computing post^71 from 6 states. Computing post^63 from 6 states. Computing post^62 from 10 states.  2 states merged within 8 states. Computing post^70 from 6 states. Computing post^65 from 6 states. Computing post^63 from 6 states.  2 states merged within 8 states. Computing post^64 from 6 states. Computing post^60 from 10 states. Computing post^72 from 6 states. Computing post^71 from 6 states. Computing post^62 from 10 states. Computing post^65 from 6 states. Computing post^61 from 6 states. Computing post^66 from 10 states. Computing post^73 from 6 states.  2 states merged within 8 states. Computing post^72 from 6 states. Computing post^64 from 10 states. Computing post^63 from 6 states.  2 states merged within 8 states. Computing post^66 from 6 states. Computing post^74 from 6 states. Computing post^67 from 6 states. Computing post^65 from 6 states. Computing post^62 from 10 states. Computing post^73 from 6 states. Computing post^67 from 6 states. Computing post^75 from 6 states. Computing post^63 from 6 states. Computing post^66 from 10 states.  2 states merged within 8 states. Computing post^68 from 6 states. Computing post^76 from 6 states. Computing post^64 from 10 states.  2 states merged within 8 states. Computing post^74 from 6 states. Computing post^67 from 6 states. Computing post^69 from 6 states. Computing post^68 from 10 states. Computing post^64 from 10 states. Computing post^65 from 6 states. Computing post^77 from 6 states. Computing post^75 from 6 states. Computing post^65 from 6 states.  2 states merged within 8 states. Computing post^70 from 6 states. Computing post^69 from 6 states. Computing post^78 from 6 states. Computing post^68 from 10 states.  2 states merged within 8 states. Computing post^76 from 6 states. Computing post^66 from 10 states. Computing post^71 from 6 states. Computing post^69 from 6 states. Computing post^79 from 6 states. Computing post^77 from 6 states. Computing post^66 from 10 states. Computing post^67 from 6 states. Computing post^70 from 10 states.  2 states merged within 8 states. Computing post^72 from 6 states. Computing post^80 from 6 states. Computing post^67 from 6 states.  2 states merged within 8 states. Computing post^78 from 6 states. Computing post^71 from 6 states. Computing post^70 from 10 states. Computing post^73 from 6 states. Computing post^81 from 6 states. Computing post^68 from 10 states. Computing post^79 from 6 states. Computing post^71 from 6 states. Computing post^68 from 10 states.  2 states merged within 8 states. Computing post^69 from 6 states. Computing post^74 from 6 states. Computing post^82 from 6 states. Computing post^72 from 10 states.  2 states merged within 8 states. Computing post^80 from 6 states. Computing post^69 from 6 states. Computing post^75 from 6 states. Computing post^83 from 6 states. Computing post^73 from 6 states. Computing post^72 from 10 states. Computing post^81 from 6 states. Computing post^70 from 10 states. Computing post^73 from 6 states. Computing post^84 from 6 states.  2 states merged within 8 states. Computing post^76 from 6 states. Computing post^70 from 10 states. Computing post^71 from 6 states.  2 states merged within 8 states. Computing post^82 from 6 states. Computing post^74 from 10 states. Computing post^77 from 6 states. Computing post^85 from 6 states. Computing post^71 from 6 states. Computing post^74 from 10 states. Computing post^75 from 6 states. Computing post^83 from 6 states. Computing post^86 from 6 states.  2 states merged within 8 states. Computing post^72 from 10 states. Computing post^78 from 6 states. Computing post^75 from 6 states. Computing post^72 from 10 states.  2 states merged within 8 states. Computing post^84 from 6 states. Computing post^73 from 6 states. Computing post^79 from 6 states. Computing post^87 from 6 states. Computing post^76 from 10 states. Computing post^73 from 6 states. Computing post^85 from 6 states. Computing post^76 from 10 states. Computing post^77 from 6 states.  2 states merged within 8 states. Computing post^80 from 6 states. Computing post^88 from 6 states. Computing post^74 from 10 states. Computing post^77 from 6 states.  2 states merged within 8 states. Computing post^86 from 6 states. Computing post^81 from 6 states. Computing post^74 from 10 states. Computing post^75 from 6 states. Computing post^89 from 6 states. Computing post^75 from 6 states. Computing post^87 from 6 states.  2 states merged within 8 states. Computing post^82 from 6 states. Computing post^78 from 10 states. Computing post^78 from 10 states. Computing post^90 from 6 states. Computing post^79 from 6 states. Computing post^76 from 10 states. Computing post^83 from 6 states. Computing post^79 from 6 states. Computing post^76 from 10 states. Computing post^91 from 6 states. Computing post^77 from 6 states.  2 states merged within 8 states. Computing post^88 from 6 states.  2 states merged within 8 states. Computing post^84 from 6 states. Computing post^77 from 6 states. Computing post^92 from 6 states. Computing post^80 from 10 states. Computing post^89 from 6 states. Computing post^80 from 10 states. Computing post^78 from 10 states. Computing post^85 from 6 states. Computing post^93 from 6 states. Computing post^81 from 6 states.  2 states merged within 8 states. Computing post^90 from 6 states. Computing post^81 from 6 states. Computing post^78 from 10 states. Computing post^79 from 6 states. Computing post^94 from 6 states. Computing post^91 from 6 states. Computing post^79 from 6 states. Computing post^82 from 10 states. Computing post^82 from 10 states.  2 states merged within 8 states. Computing post^86 from 6 states.  2 states merged within 8 states. Computing post^92 from 6 states. Computing post^95 from 6 states. Computing post^80 from 10 states. Computing post^83 from 6 states. Computing post^83 from 6 states. Computing post^80 from 10 states. Computing post^93 from 6 states. Computing post^96 from 6 states. Computing post^81 from 6 states. Computing post^81 from 6 states. Computing post^87 from 6 states.  2 states merged within 8 states. Computing post^97 from 6 states. Computing post^94 from 6 states. Computing post^84 from 10 states. Computing post^84 from 10 states. Computing post^82 from 10 states.  2 states merged within 8 states. Computing post^88 from 6 states. Computing post^85 from 6 states. Computing post^98 from 6 states. Computing post^95 from 6 states. Computing post^85 from 6 states. Computing post^82 from 10 states. Computing post^83 from 6 states. Computing post^89 from 6 states. Computing post^83 from 6 states. Computing post^99 from 6 states.  2 states merged within 8 states. Computing post^96 from 6 states. Computing post^86 from 10 states. Computing post^84 from 10 states.  2 states merged within 8 states. Computing post^90 from 6 states. Computing post^87 from 6 states. Computing post^84 from 10 states. Computing post^97 from 6 states. Computing post^100 from 6 states. Computing post^86 from 10 states. Computing post^85 from 6 states. Computing post^85 from 6 states. Computing post^91 from 6 states.  2 states merged within 8 states. Computing post^98 from 6 states. Computing post^101 from 6 states. Computing post^88 from 10 states. Computing post^87 from 6 states.  2 states merged within 8 states. Computing post^92 from 6 states. Computing post^99 from 6 states. Computing post^89 from 6 states. Computing post^86 from 10 states. Computing post^86 from 10 states. Computing post^87 from 6 states. Computing post^102 from 6 states. Computing post^93 from 6 states. Computing post^87 from 6 states.  2 states merged within 8 states. Computing post^100 from 6 states. Computing post^90 from 10 states. Computing post^88 from 10 states. Computing post^103 from 6 states. Computing post^101 from 6 states.  2 states merged within 8 states. Computing post^94 from 6 states. Computing post^88 from 10 states. Computing post^91 from 6 states. Computing post^89 from 6 states.  2 states merged within 8 states. Computing post^102 from 6 states. Computing post^104 from 6 states. Computing post^88 from 10 states. Computing post^95 from 6 states. Computing post^89 from 6 states. Computing post^105 from 6 states.  2 states merged within 8 states. Computing post^96 from 6 states. Computing post^89 from 6 states. Computing post^90 from 10 states. Computing post^103 from 6 states. Computing post^106 from 6 states. Computing post^91 from 6 states. Computing post^92 from 10 states. Computing post^97 from 6 states. Computing post^93 from 6 states. Computing post^90 from 10 states. Computing post^107 from 6 states.  2 states merged within 8 states. Computing post^104 from 6 states. Computing post^92 from 10 states.  2 states merged within 8 states. Computing post^98 from 6 states. Computing post^91 from 6 states. Computing post^108 from 6 states. Computing post^90 from 10 states. Computing post^93 from 6 states. Computing post^94 from 10 states. Computing post^99 from 6 states. Computing post^105 from 6 states. Computing post^109 from 6 states. Computing post^95 from 6 states. Computing post^92 from 10 states.  2 states merged within 8 states. Computing post^91 from 6 states. Computing post^100 from 6 states. Computing post^94 from 10 states. Computing post^110 from 6 states. Computing post^93 from 6 states. Computing post^95 from 6 states.  2 states merged within 8 states. Computing post^106 from 6 states. Computing post^101 from 6 states. Computing post^111 from 6 states. Computing post^96 from 10 states. Computing post^97 from 6 states.  2 states merged within 8 states. Computing post^112 from 6 states. Computing post^102 from 6 states. Computing post^107 from 6 states. Computing post^96 from 10 states. Computing post^92 from 10 states. Computing post^94 from 10 states. Computing post^103 from 6 states. Computing post^113 from 6 states. Computing post^97 from 6 states.  2 states merged within 8 states. Computing post^108 from 6 states. Computing post^98 from 10 states. Computing post^93 from 6 states. Computing post^114 from 6 states. Computing post^95 from 6 states.  2 states merged within 8 states. Computing post^104 from 6 states. Computing post^99 from 6 states. Computing post^109 from 6 states. Computing post^98 from 10 states. Computing post^115 from 6 states. Computing post^105 from 6 states. Computing post^94 from 10 states. Computing post^99 from 6 states.  2 states merged within 8 states. Computing post^110 from 6 states. Computing post^96 from 10 states. Computing post^116 from 6 states. Computing post^100 from 10 states. Computing post^95 from 6 states.  2 states merged within 8 states. Computing post^106 from 6 states. Computing post^111 from 6 states. Computing post^97 from 6 states. Computing post^101 from 6 states. Computing post^100 from 10 states. Computing post^117 from 6 states. Computing post^107 from 6 states.  2 states merged within 8 states. Computing post^112 from 6 states. Computing post^101 from 6 states. Computing post^96 from 10 states. Computing post^118 from 6 states. Computing post^98 from 10 states.  2 states merged within 8 states. Computing post^108 from 6 states. Computing post^102 from 10 states. Computing post^113 from 6 states. Computing post^99 from 6 states. Computing post^103 from 6 states. Computing post^97 from 6 states. Computing post^119 from 6 states. Computing post^109 from 6 states. Computing post^102 from 10 states.  2 states merged within 8 states. Computing post^114 from 6 states. Computing post^103 from 6 states. Computing post^120 from 6 states. Computing post^115 from 6 states.  2 states merged within 8 states. Computing post^110 from 6 states. Computing post^100 from 10 states. Computing post^104 from 10 states. Computing post^121 from 6 states. Computing post^111 from 6 states.  2 states merged within 8 states. Computing post^116 from 6 states. Computing post^101 from 6 states. Computing post^105 from 6 states. Computing post^98 from 10 states. Computing post^104 from 10 states. Computing post^122 from 6 states. Computing post^117 from 6 states.  2 states merged within 8 states. Computing post^112 from 6 states. Computing post^105 from 6 states. Computing post^99 from 6 states. Computing post^123 from 6 states. Computing post^106 from 10 states. Computing post^102 from 10 states.  2 states merged within 8 states. Computing post^118 from 6 states. Computing post^113 from 6 states. Computing post^107 from 6 states. Computing post^103 from 6 states. Computing post^124 from 6 states. Computing post^119 from 6 states. Computing post^106 from 10 states. Computing post^100 from 10 states.  2 states merged within 8 states. Computing post^114 from 6 states. Computing post^107 from 6 states. Computing post^125 from 6 states. Computing post^101 from 6 states.  2 states merged within 8 states. Computing post^120 from 6 states. Computing post^115 from 6 states. Computing post^104 from 10 states. Computing post^108 from 10 states. Computing post^126 from 6 states. Computing post^121 from 6 states. Computing post^105 from 6 states. Computing post^109 from 6 states. Computing post^102 from 10 states. Computing post^108 from 10 states.  2 states merged within 8 states. Computing post^116 from 6 states. Computing post^127 from 6 states.  2 states merged within 8 states. Computing post^122 from 6 states. Computing post^103 from 6 states. Computing post^109 from 6 states. Computing post^110 from 10 states. Computing post^106 from 10 states. Computing post^128 from 6 states. Computing post^123 from 6 states. Computing post^117 from 6 states. Computing post^111 from 6 states. Computing post^107 from 6 states. Computing post^129 from 6 states. Computing post^104 from 10 states. Computing post^110 from 10 states.  2 states merged within 8 states. Computing post^124 from 6 states.  2 states merged within 8 states. Computing post^118 from 6 states. Computing post^111 from 6 states. Computing post^105 from 6 states. Computing post^130 from 6 states. Computing post^112 from 10 states. Computing post^108 from 10 states. Computing post^119 from 6 states. Computing post^125 from 6 states. Computing post^131 from 6 states. Computing post^113 from 6 states. Computing post^109 from 6 states. Computing post^112 from 10 states. Computing post^106 from 10 states.  2 states merged within 8 states. Computing post^120 from 6 states. Computing post^132 from 6 states. Computing post^107 from 6 states.  2 states merged within 8 states. Computing post^126 from 6 states. Computing post^113 from 6 states. Computing post^121 from 6 states. Computing post^114 from 10 states. Computing post^110 from 10 states. Computing post^133 from 6 states. Computing post^127 from 6 states. Computing post^115 from 6 states. Computing post^111 from 6 states.  2 states merged within 8 states. Computing post^122 from 6 states. Computing post^134 from 6 states. Computing post^108 from 10 states. Computing post^114 from 10 states.  2 states merged within 8 states. Computing post^128 from 6 states. Computing post^123 from 6 states. Computing post^109 from 6 states. Computing post^115 from 6 states. Computing post^135 from 6 states. Computing post^116 from 10 states. Computing post^112 from 10 states. Computing post^129 from 6 states.  2 states merged within 8 states. Computing post^136 from 6 states. Computing post^124 from 6 states. Computing post^117 from 6 states. Computing post^113 from 6 states. Computing post^116 from 10 states. Computing post^110 from 10 states.  2 states merged within 8 states. Computing post^130 from 6 states. Computing post^125 from 6 states. Computing post^137 from 6 states. Computing post^117 from 6 states. Computing post^111 from 6 states. Computing post^131 from 6 states. Computing post^118 from 10 states. Computing post^138 from 6 states.  2 states merged within 8 states. Computing post^126 from 6 states. Computing post^114 from 10 states. Computing post^119 from 6 states.  2 states merged within 8 states. Computing post^132 from 6 states. Computing post^115 from 6 states. Computing post^139 from 6 states. Computing post^118 from 10 states. Computing post^127 from 6 states. Computing post^112 from 10 states. Computing post^133 from 6 states. Computing post^113 from 6 states. Computing post^140 from 6 states. Computing post^120 from 10 states.  2 states merged within 8 states. Computing post^128 from 6 states. Computing post^119 from 6 states. Computing post^116 from 10 states.  2 states merged within 8 states. Computing post^134 from 6 states. Computing post^141 from 6 states. Computing post^121 from 6 states. Computing post^129 from 6 states. Computing post^135 from 6 states. Computing post^117 from 6 states. Computing post^142 from 6 states. Computing post^120 from 10 states.  2 states merged within 8 states. Computing post^130 from 6 states.  2 states merged within 8 states. Computing post^136 from 6 states. Computing post^122 from 10 states. Computing post^121 from 6 states. Computing post^114 from 10 states. Computing post^143 from 6 states. Computing post^131 from 6 states. Computing post^123 from 6 states. Computing post^137 from 6 states. Computing post^144 from 6 states. Computing post^115 from 6 states.  2 states merged within 8 states. Computing post^132 from 6 states. Computing post^122 from 10 states. Computing post^118 from 10 states.  2 states merged within 8 states. Computing post^138 from 6 states. Computing post^145 from 6 states. Computing post^123 from 6 states. Computing post^124 from 10 states. Computing post^133 from 6 states. Computing post^139 from 6 states. Computing post^146 from 6 states. Computing post^119 from 6 states. Computing post^116 from 10 states. Computing post^125 from 6 states.  2 states merged within 8 states. Computing post^134 from 6 states.  2 states merged within 8 states. Computing post^140 from 6 states. Computing post^147 from 6 states. Computing post^117 from 6 states. Computing post^124 from 10 states. Computing post^135 from 6 states. Computing post^120 from 10 states. Computing post^141 from 6 states. Computing post^125 from 6 states. Computing post^126 from 10 states. Computing post^148 from 6 states. Computing post^121 from 6 states. Computing post^127 from 6 states.  2 states merged within 8 states. Computing post^136 from 6 states. Computing post^118 from 10 states.  2 states merged within 8 states. Computing post^142 from 6 states. Computing post^149 from 6 states. Computing post^126 from 10 states. Computing post^119 from 6 states. Computing post^137 from 6 states. Computing post^143 from 6 states. Computing post^150 from 6 states. Computing post^122 from 10 states. Computing post^127 from 6 states. Computing post^128 from 10 states.  2 states merged within 8 states. Computing post^138 from 6 states.  2 states merged within 8 states. Computing post^144 from 6 states. Computing post^123 from 6 states. Computing post^151 from 6 states. Computing post^129 from 6 states. Computing post^120 from 10 states. Computing post^139 from 6 states. Computing post^145 from 6 states. Computing post^128 from 10 states. Computing post^152 from 6 states. Computing post^121 from 6 states. Computing post^129 from 6 states. Computing post^124 from 10 states. Computing post^130 from 10 states.  2 states merged within 8 states. Computing post^140 from 6 states.  2 states merged within 8 states. Computing post^146 from 6 states. Computing post^153 from 6 states. Computing post^125 from 6 states. Computing post^131 from 6 states. Computing post^122 from 10 states. Computing post^141 from 6 states. Computing post^147 from 6 states. Computing post^154 from 6 states. Computing post^130 from 10 states. Computing post^123 from 6 states.  2 states merged within 8 states. Computing post^142 from 6 states.  2 states merged within 8 states. Computing post^131 from 6 states. Computing post^148 from 6 states. Computing post^126 from 10 states. Computing post^132 from 10 states. Computing post^155 from 6 states. Computing post^127 from 6 states. Computing post^143 from 6 states. Computing post^149 from 6 states. Computing post^133 from 6 states. Computing post^124 from 10 states. Computing post^156 from 6 states. Computing post^132 from 10 states.  2 states merged within 8 states. Computing post^144 from 6 states. Computing post^125 from 6 states. Computing post^128 from 10 states. Computing post^133 from 6 states. Computing post^157 from 6 states.  2 states merged within 8 states. Computing post^150 from 6 states. Computing post^145 from 6 states. Computing post^129 from 6 states. Computing post^134 from 10 states. Computing post^158 from 6 states. Computing post^126 from 10 states.  2 states merged within 8 states. Computing post^146 from 6 states. Computing post^151 from 6 states. Computing post^135 from 6 states. Computing post^134 from 10 states. Computing post^127 from 6 states. Computing post^159 from 6 states. Computing post^147 from 6 states.  2 states merged within 8 states. Computing post^152 from 6 states. Computing post^135 from 6 states. Computing post^130 from 10 states. Computing post^160 from 6 states. Computing post^136 from 10 states.  2 states merged within 8 states. Computing post^148 from 6 states. Computing post^128 from 10 states. Computing post^153 from 6 states. Computing post^131 from 6 states. Computing post^137 from 6 states. Computing post^161 from 6 states. Computing post^136 from 10 states. Computing post^129 from 6 states. Computing post^149 from 6 states.  2 states merged within 8 states. Computing post^154 from 6 states. Computing post^137 from 6 states. Computing post^162 from 6 states. Computing post^155 from 6 states. Computing post^138 from 10 states.  2 states merged within 8 states. Computing post^150 from 6 states. Computing post^132 from 10 states. Computing post^130 from 10 states. Computing post^163 from 6 states. Computing post^138 from 10 states. Computing post^139 from 6 states. Computing post^133 from 6 states.  2 states merged within 8 states. Computing post^131 from 6 states. Computing post^156 from 6 states. Computing post^151 from 6 states. Computing post^164 from 6 states. Computing post^139 from 6 states. Computing post^157 from 6 states.  2 states merged within 8 states. Computing post^152 from 6 states. Computing post^165 from 6 states. Computing post^140 from 10 states. Computing post^132 from 10 states. Computing post^134 from 10 states.  2 states merged within 8 states. Computing post^158 from 6 states. Computing post^153 from 6 states. Computing post^140 from 10 states. Computing post^166 from 6 states. Computing post^141 from 6 states. Computing post^133 from 6 states. Computing post^135 from 6 states. Computing post^141 from 6 states. Computing post^159 from 6 states.  2 states merged within 8 states. Computing post^154 from 6 states. Computing post^167 from 6 states. Computing post^142 from 10 states.  2 states merged within 8 states. Computing post^160 from 6 states. Computing post^134 from 10 states. Computing post^136 from 10 states. Computing post^155 from 6 states. Computing post^168 from 6 states. Computing post^142 from 10 states. Computing post^143 from 6 states. Computing post^135 from 6 states. Computing post^137 from 6 states. Computing post^161 from 6 states.  2 states merged within 8 states. Computing post^169 from 6 states. Computing post^156 from 6 states. Computing post^143 from 6 states.  2 states merged within 8 states. Computing post^162 from 6 states. Computing post^170 from 6 states. Computing post^157 from 6 states. Computing post^144 from 10 states. Computing post^136 from 10 states. Computing post^138 from 10 states. Computing post^144 from 10 states. Computing post^163 from 6 states. Computing post^145 from 6 states. Computing post^137 from 6 states. Computing post^171 from 6 states.  2 states merged within 8 states. Computing post^158 from 6 states. Computing post^139 from 6 states. Computing post^145 from 6 states.  2 states merged within 8 states. Computing post^164 from 6 states. Computing post^172 from 6 states. Computing post^159 from 6 states. Computing post^146 from 10 states. Computing post^138 from 10 states. Computing post^165 from 6 states. Computing post^140 from 10 states. Computing post^173 from 6 states. Computing post^147 from 6 states.  2 states merged within 8 states. Computing post^160 from 6 states. Computing post^139 from 6 states. Computing post^146 from 10 states. Computing post^141 from 6 states.  2 states merged within 8 states. Computing post^166 from 6 states. Computing post^174 from 6 states. Computing post^161 from 6 states. Computing post^147 from 6 states. Computing post^167 from 6 states. Computing post^148 from 10 states. Computing post^175 from 6 states. Computing post^140 from 10 states. Computing post^142 from 10 states.  2 states merged within 8 states. Computing post^162 from 6 states. Computing post^149 from 6 states. Computing post^141 from 6 states. Computing post^176 from 6 states.  2 states merged within 8 states. Computing post^148 from 10 states. Computing post^168 from 6 states. Computing post^143 from 6 states. Computing post^163 from 6 states. Computing post^149 from 6 states. Computing post^169 from 6 states. Computing post^177 from 6 states. Computing post^150 from 10 states. Computing post^142 from 10 states.  2 states merged within 8 states. Computing post^164 from 6 states. Computing post^144 from 10 states. Computing post^178 from 6 states.  2 states merged within 8 states. Computing post^170 from 6 states. Computing post^151 from 6 states. Computing post^150 from 10 states. Computing post^143 from 6 states. Computing post^145 from 6 states. Computing post^165 from 6 states. Computing post^171 from 6 states. Computing post^179 from 6 states. Computing post^151 from 6 states. Computing post^152 from 10 states.  2 states merged within 8 states. Computing post^166 from 6 states. Computing post^180 from 6 states.  2 states merged within 8 states. Computing post^172 from 6 states. Computing post^144 from 10 states. Computing post^146 from 10 states. Computing post^153 from 6 states. Computing post^145 from 6 states. Computing post^152 from 10 states. Computing post^167 from 6 states. Computing post^181 from 6 states. Computing post^173 from 6 states. Computing post^147 from 6 states. Computing post^153 from 6 states. Computing post^182 from 6 states.  2 states merged within 8 states. Computing post^168 from 6 states.  2 states merged within 8 states. Computing post^174 from 6 states. Computing post^154 from 10 states. Computing post^146 from 10 states. Computing post^148 from 10 states. Computing post^155 from 6 states. Computing post^169 from 6 states. Computing post^183 from 6 states. Computing post^175 from 6 states. Computing post^154 from 10 states. Computing post^147 from 6 states. Computing post^149 from 6 states. Computing post^184 from 6 states. Computing post^155 from 6 states.  2 states merged within 8 states. Computing post^170 from 6 states.  2 states merged within 8 states. Computing post^176 from 6 states. Computing post^156 from 10 states. Computing post^148 from 10 states. Computing post^185 from 6 states. Computing post^171 from 6 states. Computing post^177 from 6 states. Computing post^157 from 6 states. Computing post^150 from 10 states. Computing post^156 from 10 states. Computing post^149 from 6 states. Computing post^186 from 6 states. Computing post^151 from 6 states.  2 states merged within 8 states. Computing post^172 from 6 states.  2 states merged within 8 states. Computing post^178 from 6 states. Computing post^157 from 6 states. Computing post^158 from 10 states. Computing post^187 from 6 states. Computing post^173 from 6 states. Computing post^179 from 6 states. Computing post^150 from 10 states. Computing post^159 from 6 states. Computing post^152 from 10 states. Computing post^188 from 6 states. Computing post^158 from 10 states. Computing post^151 from 6 states.  2 states merged within 8 states. Computing post^180 from 6 states.  2 states merged within 8 states. Computing post^174 from 6 states. Computing post^153 from 6 states. Computing post^159 from 6 states. Computing post^189 from 6 states. Computing post^181 from 6 states. Computing post^175 from 6 states. Computing post^160 from 10 states. Computing post^152 from 10 states. Computing post^190 from 6 states. Computing post^161 from 6 states.  2 states merged within 8 states. Computing post^176 from 6 states. Computing post^154 from 10 states. Computing post^153 from 6 states.  2 states merged within 8 states. Computing post^182 from 6 states. Computing post^191 from 6 states. Computing post^155 from 6 states. Computing post^160 from 10 states. Computing post^177 from 6 states. Computing post^183 from 6 states. Computing post^162 from 10 states. Computing post^192 from 6 states. Computing post^161 from 6 states. Computing post^154 from 10 states.  2 states merged within 8 states. Computing post^178 from 6 states. Computing post^163 from 6 states.  2 states merged within 8 states. Computing post^184 from 6 states. Computing post^156 from 10 states. Computing post^193 from 6 states. Computing post^155 from 6 states. Computing post^179 from 6 states. Computing post^157 from 6 states. Computing post^185 from 6 states. Computing post^162 from 10 states. Computing post^194 from 6 states. Computing post^164 from 10 states. Computing post^163 from 6 states.  2 states merged within 8 states. Computing post^180 from 6 states. Computing post^156 from 10 states.  2 states merged within 8 states. Computing post^186 from 6 states. Computing post^195 from 6 states. Computing post^165 from 6 states. Computing post^158 from 10 states. Computing post^157 from 6 states. Computing post^181 from 6 states. Computing post^196 from 6 states. Computing post^187 from 6 states. Computing post^159 from 6 states. Computing post^164 from 10 states. Computing post^166 from 10 states.  2 states merged within 8 states. Computing post^182 from 6 states. Computing post^197 from 6 states.  2 states merged within 8 states. Computing post^188 from 6 states. Computing post^165 from 6 states. Computing post^158 from 10 states. Computing post^167 from 6 states. Computing post^183 from 6 states. Computing post^198 from 6 states. Computing post^189 from 6 states. Computing post^159 from 6 states. Computing post^160 from 10 states. Computing post^166 from 10 states. Computing post^161 from 6 states. Computing post^199 from 6 states.  2 states merged within 8 states. Computing post^184 from 6 states.  2 states merged within 8 states. Computing post^190 from 6 states. Computing post^168 from 10 states. Computing post^167 from 6 states. Computing post^160 from 10 states.  State space exploration stopped at a depth of 200: 1282 states with 1714 transitions in the final state space.  [NZCUB] Algorithm completed after 60.347 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^169 from 6 states. Computing post^191 from 6 states. Computing post^185 from 6 states. Computing post^2 from 7 states. Computing post^161 from 6 states. Computing post^162 from 10 states. Computing post^3 from 18 states. Computing post^4 from 23 states.  2 states merged within 8 states. Computing post^192 from 6 states. Computing post^168 from 10 states. Computing post^163 from 6 states.  2 states merged within 8 states. Computing post^186 from 6 states. Computing post^5 from 19 states. Computing post^6 from 15 states.  3 states merged within 13 states. Computing post^7 from 10 states. Computing post^169 from 6 states.  1 state merged within 6 states. Computing post^8 from 5 states. Computing post^193 from 6 states. Computing post^9 from 6 states. Computing post^170 from 10 states.  2 states merged within 8 states. Computing post^10 from 6 states. Computing post^162 from 10 states. Computing post^11 from 6 states.  2 states merged within 8 states. Computing post^12 from 6 states. Computing post^13 from 6 states.  2 states merged within 8 states. Computing post^14 from 6 states. Computing post^187 from 6 states. Computing post^15 from 6 states.  2 states merged within 8 states. Computing post^16 from 6 states. Computing post^171 from 6 states. Computing post^17 from 6 states. Computing post^164 from 10 states. Computing post^163 from 6 states.  2 states merged within 8 states. Computing post^18 from 6 states.  2 states merged within 8 states. Computing post^194 from 6 states. Computing post^19 from 6 states.  2 states merged within 8 states. Computing post^20 from 6 states. Computing post^21 from 6 states.  2 states merged within 8 states. Computing post^22 from 6 states. Computing post^23 from 6 states. Computing post^165 from 6 states.  2 states merged within 8 states. Computing post^188 from 6 states. Computing post^170 from 10 states.  2 states merged within 8 states. Computing post^24 from 6 states. Computing post^25 from 6 states. Computing post^195 from 6 states.  2 states merged within 8 states. Computing post^26 from 6 states. Computing post^27 from 6 states.  2 states merged within 8 states. Computing post^28 from 6 states. Computing post^164 from 10 states. Computing post^171 from 6 states. Computing post^29 from 6 states. Computing post^189 from 6 states.  2 states merged within 8 states. Computing post^30 from 6 states. Computing post^172 from 10 states. Computing post^31 from 6 states.  2 states merged within 8 states. Computing post^196 from 6 states.  2 states merged within 8 states. Computing post^32 from 6 states. Computing post^165 from 6 states. Computing post^33 from 6 states. Computing post^173 from 6 states.  2 states merged within 8 states. Computing post^34 from 6 states. Computing post^35 from 6 states.  2 states merged within 8 states. Computing post^190 from 6 states. Computing post^197 from 6 states.  2 states merged within 8 states. Computing post^36 from 6 states. Computing post^166 from 10 states. Computing post^172 from 10 states. Computing post^37 from 6 states.  2 states merged within 8 states. Computing post^38 from 6 states. Computing post^39 from 6 states. Computing post^191 from 6 states. Computing post^167 from 6 states.  2 states merged within 8 states. Computing post^40 from 6 states. Computing post^173 from 6 states. Computing post^166 from 10 states.  2 states merged within 8 states. Computing post^198 from 6 states. Computing post^41 from 6 states. Computing post^174 from 10 states.  2 states merged within 8 states. Computing post^42 from 6 states. Computing post^43 from 6 states. Computing post^167 from 6 states.  2 states merged within 8 states.  2 states merged within 8 states. Computing post^192 from 6 states. Computing post^44 from 6 states. Computing post^175 from 6 states. Computing post^45 from 6 states.  2 states merged within 8 states. Computing post^46 from 6 states. Computing post^199 from 6 states. Computing post^168 from 10 states. Computing post^174 from 10 states. Computing post^47 from 6 states. Computing post^193 from 6 states.  2 states merged within 8 states. Computing post^48 from 6 states. Computing post^49 from 6 states. Computing post^169 from 6 states. Computing post^175 from 6 states.  2 states merged within 8 states. Computing post^50 from 6 states.  2 states merged within 8 states.  State space exploration stopped at a depth of 200: 1250 states with 1610 transitions in the final state space.  [NZCUB] Algorithm completed after 65.705 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^51 from 6 states. Computing post^2 from 8 states.  2 states merged within 8 states. Computing post^194 from 6 states. Computing post^3 from 24 states.  2 states merged within 8 states. Computing post^52 from 6 states. Computing post^176 from 10 states. Computing post^4 from 35 states. Computing post^53 from 6 states. Computing post^168 from 10 states.  2 states merged within 8 states. Computing post^54 from 6 states. Computing post^5 from 30 states. Computing post^195 from 6 states. Computing post^176 from 10 states. Computing post^55 from 6 states. Computing post^6 from 23 states. Computing post^170 from 10 states.  2 states merged within 8 states. Computing post^56 from 6 states. Computing post^177 from 6 states.  3 states merged within 20 states. Computing post^7 from 17 states. Computing post^169 from 6 states. Computing post^57 from 6 states.  1 state merged within 7 states. Computing post^8 from 6 states. Computing post^177 from 6 states.  Fixpoint reached at a depth of 9: 144 states with 412 transitions in the final state space.  [NZCUB] Algorithm completed after 66.851 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^3 from 18 states.  2 states merged within 8 states. Computing post^58 from 6 states. Computing post^171 from 6 states.  2 states merged within 8 states. Computing post^196 from 6 states. Computing post^4 from 23 states. Computing post^59 from 6 states. Computing post^5 from 20 states.  2 states merged within 8 states. Computing post^6 from 20 states. Computing post^60 from 6 states.  3 states merged within 20 states. Computing post^7 from 17 states. Computing post^61 from 6 states. Computing post^197 from 6 states.  3 states merged within 9 states. Computing post^8 from 6 states.  Fixpoint reached at a depth of 9: 112 states with 308 transitions in the final state space.  [NZCUB] Algorithm completed after 67.720 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^170 from 10 states. Computing post^2 from 8 states.  2 states merged within 8 states. Computing post^62 from 6 states. Computing post^3 from 24 states. Computing post^178 from 10 states. Computing post^63 from 6 states. Computing post^4 from 35 states. Computing post^178 from 10 states. Computing post^171 from 6 states.  2 states merged within 8 states. Computing post^64 from 6 states. Computing post^5 from 29 states. Computing post^179 from 6 states.  2 states merged within 8 states. Computing post^198 from 6 states. Computing post^6 from 18 states. Computing post^65 from 6 states.  1 state merged within 11 states. Computing post^7 from 10 states.  3 states merged within 6 states. Computing post^8 from 3 states. Computing post^179 from 6 states.  Fixpoint reached at a depth of 9: 128 states with 368 transitions in the final state space.  [NZCUB] Algorithm completed after 68.444 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^172 from 10 states.  2 states merged within 8 states. Computing post^66 from 6 states. Computing post^3 from 18 states. Computing post^4 from 23 states. Computing post^67 from 6 states. Computing post^5 from 19 states. Computing post^199 from 6 states. Computing post^6 from 15 states.  2 states merged within 8 states. Computing post^173 from 6 states.  3 states merged within 13 states. Computing post^68 from 6 states. Computing post^7 from 10 states.  1 state merged within 4 states. Computing post^8 from 3 states.  Fixpoint reached at a depth of 9: 96 states with 264 transitions in the final state space.  [NZCUB] Algorithm completed after 68.994 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 8 states. Computing post^172 from 10 states. Computing post^3 from 24 states. Computing post^180 from 10 states. Computing post^69 from 6 states. Computing post^4 from 35 states.  2 states merged within 8 states. Computing post^70 from 6 states.  2 states merged within 8 states.  State space exploration stopped at a depth of 200: 1282 states with 1714 transitions in the final state space.  [NZCUB] Algorithm completed after 69.423 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^5 from 30 states. Computing post^180 from 10 states. Computing post^181 from 6 states. Computing post^71 from 6 states. Computing post^6 from 23 states. Computing post^2 from 7 states. Computing post^3 from 18 states.  3 states merged within 20 states. Computing post^7 from 17 states. Computing post^173 from 6 states.  2 states merged within 8 states. Computing post^72 from 6 states. Computing post^4 from 23 states.  1 state merged within 9 states. Computing post^8 from 8 states. Computing post^9 from 6 states. Computing post^174 from 10 states. Computing post^5 from 20 states. Computing post^10 from 10 states. Computing post^11 from 6 states. Computing post^73 from 6 states. Computing post^12 from 10 states. Computing post^181 from 6 states. Computing post^6 from 20 states. Computing post^13 from 6 states. Computing post^14 from 10 states.  3 states merged within 20 states. Computing post^15 from 6 states. Computing post^7 from 17 states.  2 states merged within 8 states. Computing post^74 from 6 states.  3 states merged within 11 states. Computing post^8 from 8 states. Computing post^16 from 10 states. Computing post^9 from 6 states. Computing post^17 from 6 states. Computing post^175 from 6 states. Computing post^10 from 10 states. Computing post^11 from 6 states. Computing post^18 from 10 states. Computing post^19 from 6 states. Computing post^12 from 10 states. Computing post^75 from 6 states. Computing post^182 from 10 states. Computing post^13 from 6 states. Computing post^20 from 10 states. Computing post^14 from 10 states. Computing post^21 from 6 states. Computing post^15 from 6 states. Computing post^16 from 10 states. Computing post^22 from 10 states.  2 states merged within 8 states. Computing post^76 from 6 states. Computing post^17 from 6 states. Computing post^174 from 10 states. Computing post^23 from 6 states. Computing post^18 from 10 states. Computing post^19 from 6 states. Computing post^24 from 10 states. Computing post^25 from 6 states. Computing post^77 from 6 states. Computing post^183 from 6 states. Computing post^20 from 10 states. Computing post^182 from 10 states. Computing post^21 from 6 states. Computing post^26 from 10 states. Computing post^22 from 10 states. Computing post^27 from 6 states. Computing post^23 from 6 states.  2 states merged within 8 states. Computing post^78 from 6 states. Computing post^175 from 6 states. Computing post^28 from 10 states. Computing post^24 from 10 states. Computing post^29 from 6 states. Computing post^25 from 6 states. Computing post^176 from 10 states. Computing post^79 from 6 states. Computing post^183 from 6 states. Computing post^26 from 10 states. Computing post^30 from 10 states. Computing post^27 from 6 states. Computing post^31 from 6 states. Computing post^28 from 10 states. Computing post^32 from 10 states. Computing post^29 from 6 states.  2 states merged within 8 states. Computing post^80 from 6 states. Computing post^33 from 6 states. Computing post^30 from 10 states. Computing post^177 from 6 states. Computing post^31 from 6 states. Computing post^34 from 10 states. Computing post^184 from 10 states. Computing post^81 from 6 states. Computing post^35 from 6 states. Computing post^32 from 10 states. Computing post^33 from 6 states. Computing post^36 from 10 states. Computing post^37 from 6 states. Computing post^176 from 10 states.  2 states merged within 8 states. Computing post^34 from 10 states. Computing post^82 from 6 states. Computing post^35 from 6 states. Computing post^185 from 6 states. Computing post^38 from 10 states. Computing post^184 from 10 states. Computing post^36 from 10 states. Computing post^39 from 6 states. Computing post^83 from 6 states. Computing post^37 from 6 states. Computing post^40 from 10 states. Computing post^177 from 6 states. Computing post^38 from 10 states. Computing post^41 from 6 states.  2 states merged within 8 states. Computing post^84 from 6 states. Computing post^39 from 6 states. Computing post^178 from 10 states. Computing post^42 from 10 states. Computing post^185 from 6 states. Computing post^40 from 10 states. Computing post^85 from 6 states. Computing post^43 from 6 states. Computing post^41 from 6 states. Computing post^42 from 10 states. Computing post^44 from 10 states.  2 states merged within 8 states. Computing post^86 from 6 states. Computing post^43 from 6 states. Computing post^45 from 6 states. Computing post^179 from 6 states. Computing post^186 from 10 states. Computing post^44 from 10 states. Computing post^46 from 10 states. Computing post^87 from 6 states. Computing post^45 from 6 states. Computing post^47 from 6 states. Computing post^178 from 10 states. Computing post^46 from 10 states.  2 states merged within 8 states. Computing post^88 from 6 states. Computing post^48 from 10 states. Computing post^47 from 6 states. Computing post^187 from 6 states. Computing post^49 from 6 states. Computing post^186 from 10 states. Computing post^48 from 10 states. Computing post^89 from 6 states. Computing post^50 from 10 states. Computing post^49 from 6 states. Computing post^179 from 6 states. Computing post^51 from 6 states.  2 states merged within 8 states. Computing post^90 from 6 states. Computing post^180 from 10 states. Computing post^187 from 6 states. Computing post^52 from 10 states. Computing post^50 from 10 states. Computing post^53 from 6 states. Computing post^51 from 6 states. Computing post^91 from 6 states. Computing post^52 from 10 states. Computing post^181 from 6 states. Computing post^54 from 10 states. Computing post^53 from 6 states. Computing post^55 from 6 states. Computing post^188 from 10 states. Computing post^54 from 10 states. Computing post^56 from 10 states.  2 states merged within 8 states. Computing post^92 from 6 states. Computing post^180 from 10 states. Computing post^55 from 6 states. Computing post^57 from 6 states. Computing post^188 from 10 states. Computing post^56 from 10 states. Computing post^58 from 10 states. Computing post^57 from 6 states. Computing post^93 from 6 states. Computing post^59 from 6 states. Computing post^181 from 6 states. Computing post^189 from 6 states. Computing post^58 from 10 states. Computing post^189 from 6 states. Computing post^182 from 10 states. Computing post^59 from 6 states. Computing post^60 from 10 states. Computing post^61 from 6 states.  2 states merged within 8 states. Computing post^94 from 6 states. Computing post^60 from 10 states. Computing post^61 from 6 states. Computing post^62 from 10 states. Computing post^183 from 6 states. Computing post^95 from 6 states. Computing post^63 from 6 states. Computing post^62 from 10 states. Computing post^63 from 6 states.  2 states merged within 8 states. Computing post^96 from 6 states. Computing post^64 from 10 states. Computing post^182 from 10 states. Computing post^190 from 10 states. Computing post^65 from 6 states. Computing post^64 from 10 states. Computing post^190 from 10 states. Computing post^65 from 6 states. Computing post^97 from 6 states. Computing post^66 from 10 states. Computing post^183 from 6 states. Computing post^66 from 10 states. Computing post^67 from 6 states. Computing post^191 from 6 states.  2 states merged within 8 states. Computing post^98 from 6 states. Computing post^191 from 6 states. Computing post^184 from 10 states. Computing post^67 from 6 states. Computing post^68 from 10 states. Computing post^99 from 6 states. Computing post^68 from 10 states. Computing post^69 from 6 states. Computing post^69 from 6 states. Computing post^185 from 6 states.  2 states merged within 8 states. Computing post^100 from 6 states. Computing post^70 from 10 states. Computing post^70 from 10 states. Computing post^71 from 6 states. Computing post^71 from 6 states. Computing post^101 from 6 states. Computing post^184 from 10 states. Computing post^192 from 10 states. Computing post^192 from 10 states. Computing post^72 from 10 states. Computing post^72 from 10 states.  2 states merged within 8 states. Computing post^102 from 6 states. Computing post^73 from 6 states. Computing post^73 from 6 states. Computing post^185 from 6 states. Computing post^193 from 6 states. Computing post^193 from 6 states. Computing post^103 from 6 states. Computing post^74 from 10 states. Computing post^186 from 10 states. Computing post^74 from 10 states. Computing post^75 from 6 states. Computing post^75 from 6 states.  2 states merged within 8 states. Computing post^104 from 6 states. Computing post^76 from 10 states. Computing post^187 from 6 states. Computing post^76 from 10 states. Computing post^105 from 6 states. Computing post^77 from 6 states. Computing post^77 from 6 states. Computing post^78 from 10 states. Computing post^186 from 10 states.  2 states merged within 8 states. Computing post^106 from 6 states. Computing post^194 from 10 states. Computing post^194 from 10 states. Computing post^79 from 6 states. Computing post^78 from 10 states. Computing post^107 from 6 states. Computing post^79 from 6 states. Computing post^80 from 10 states. Computing post^187 from 6 states. Computing post^195 from 6 states. Computing post^195 from 6 states. Computing post^81 from 6 states.  2 states merged within 8 states. Computing post^108 from 6 states. Computing post^188 from 10 states. Computing post^80 from 10 states. Computing post^82 from 10 states. Computing post^81 from 6 states. Computing post^109 from 6 states. Computing post^83 from 6 states. Computing post^82 from 10 states.  2 states merged within 8 states. Computing post^110 from 6 states. Computing post^189 from 6 states. Computing post^84 from 10 states. Computing post^83 from 6 states. Computing post^196 from 10 states. Computing post^188 from 10 states. Computing post^85 from 6 states. Computing post^196 from 10 states. Computing post^111 from 6 states. Computing post^84 from 10 states. Computing post^86 from 10 states. Computing post^85 from 6 states.  2 states merged within 8 states. Computing post^112 from 6 states. Computing post^197 from 6 states. Computing post^189 from 6 states. Computing post^87 from 6 states. Computing post^197 from 6 states. Computing post^113 from 6 states. Computing post^86 from 10 states. Computing post^88 from 10 states. Computing post^87 from 6 states. Computing post^89 from 6 states.  2 states merged within 8 states. Computing post^114 from 6 states. Computing post^88 from 10 states. Computing post^90 from 10 states. Computing post^115 from 6 states. Computing post^89 from 6 states. Computing post^91 from 6 states. Computing post^190 from 10 states. Computing post^198 from 10 states. Computing post^198 from 10 states. Computing post^190 from 10 states.  2 states merged within 8 states. Computing post^116 from 6 states. Computing post^90 from 10 states. Computing post^92 from 10 states. Computing post^91 from 6 states. Computing post^191 from 6 states. Computing post^199 from 6 states. Computing post^93 from 6 states. Computing post^199 from 6 states. Computing post^117 from 6 states. Computing post^92 from 10 states. Computing post^94 from 10 states.  2 states merged within 8 states. Computing post^118 from 6 states. Computing post^191 from 6 states. Computing post^93 from 6 states. Computing post^95 from 6 states. Computing post^119 from 6 states. Computing post^96 from 10 states. Computing post^94 from 10 states.  State space exploration stopped at a depth of 200: 1650 states with 1846 transitions in the final state space.  [NZCUB] Algorithm completed after 83.603 seconds. Computing post^192 from 10 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^97 from 6 states.  State space exploration stopped at a depth of 200: 1650 states with 1846 transitions in the final state space.  [NZCUB] Algorithm completed after 83.620 seconds. Computing post^95 from 6 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  2 states merged within 8 states. Computing post^120 from 6 states. Computing post^2 from 8 states. Computing post^2 from 7 states. Computing post^3 from 18 states. Computing post^98 from 10 states. Computing post^96 from 10 states. Computing post^121 from 6 states. Computing post^4 from 23 states. Computing post^3 from 24 states. Computing post^193 from 6 states. Computing post^99 from 6 states. Computing post^5 from 19 states. Computing post^97 from 6 states. Computing post^4 from 35 states. Computing post^6 from 15 states.  3 states merged within 13 states. Computing post^192 from 10 states. Computing post^7 from 10 states.  1 state merged within 6 states. Computing post^8 from 5 states.  2 states merged within 8 states. Computing post^122 from 6 states. Computing post^5 from 29 states. Computing post^9 from 6 states.  1 state merged within 7 states. Computing post^10 from 6 states. Computing post^11 from 6 states. Computing post^6 from 18 states.  2 states merged within 8 states. Computing post^12 from 6 states. Computing post^100 from 10 states. Computing post^98 from 10 states. Computing post^13 from 6 states.  1 state merged within 11 states. Computing post^7 from 10 states.  2 states merged within 8 states. Computing post^14 from 6 states.  3 states merged within 8 states. Computing post^8 from 5 states. Computing post^15 from 6 states. Computing post^9 from 6 states. Computing post^101 from 6 states.  2 states merged within 8 states. Computing post^16 from 6 states. Computing post^123 from 6 states. Computing post^10 from 6 states. Computing post^99 from 6 states. Computing post^17 from 6 states. Computing post^11 from 6 states. Computing post^193 from 6 states. Computing post^12 from 6 states.  2 states merged within 8 states. Computing post^18 from 6 states. Computing post^13 from 6 states. Computing post^19 from 6 states. Computing post^14 from 6 states.  2 states merged within 8 states. Computing post^20 from 6 states. Computing post^15 from 6 states. Computing post^21 from 6 states. Computing post^16 from 6 states. Computing post^17 from 6 states.  2 states merged within 8 states. Computing post^22 from 6 states.  2 states merged within 8 states. Computing post^18 from 6 states. Computing post^124 from 6 states. Computing post^23 from 6 states. Computing post^19 from 6 states. Computing post^100 from 10 states. Computing post^102 from 10 states. Computing post^194 from 10 states.  2 states merged within 8 states. Computing post^24 from 6 states. Computing post^20 from 6 states. Computing post^25 from 6 states. Computing post^21 from 6 states.  2 states merged within 8 states. Computing post^22 from 6 states. Computing post^101 from 6 states. Computing post^26 from 6 states. Computing post^103 from 6 states. Computing post^23 from 6 states. Computing post^27 from 6 states. Computing post^125 from 6 states. Computing post^24 from 6 states.  2 states merged within 8 states. Computing post^28 from 6 states. Computing post^25 from 6 states. Computing post^29 from 6 states. Computing post^26 from 6 states.  2 states merged within 8 states. Computing post^30 from 6 states. Computing post^27 from 6 states. Computing post^195 from 6 states. Computing post^31 from 6 states. Computing post^28 from 6 states. Computing post^104 from 10 states. Computing post^102 from 10 states.  2 states merged within 8 states. Computing post^32 from 6 states. Computing post^29 from 6 states.  2 states merged within 8 states. Computing post^126 from 6 states. Computing post^33 from 6 states. Computing post^30 from 6 states. Computing post^194 from 10 states. Computing post^105 from 6 states. Computing post^103 from 6 states.  2 states merged within 8 states. Computing post^34 from 6 states. Computing post^31 from 6 states. Computing post^35 from 6 states.  2 states merged within 8 states. Computing post^36 from 6 states. Computing post^127 from 6 states. Computing post^32 from 6 states. Computing post^33 from 6 states. Computing post^37 from 6 states. Computing post^106 from 10 states. Computing post^34 from 6 states. Computing post^104 from 10 states.  2 states merged within 8 states. Computing post^38 from 6 states. Computing post^35 from 6 states. Computing post^39 from 6 states. Computing post^107 from 6 states. Computing post^36 from 6 states.  2 states merged within 8 states. Computing post^128 from 6 states. Computing post^195 from 6 states.  2 states merged within 8 states. Computing post^40 from 6 states. Computing post^37 from 6 states. Computing post^105 from 6 states. Computing post^41 from 6 states. Computing post^38 from 6 states.  2 states merged within 8 states. Computing post^42 from 6 states. Computing post^39 from 6 states. Computing post^40 from 6 states. Computing post^43 from 6 states. Computing post^129 from 6 states. Computing post^108 from 10 states. Computing post^196 from 10 states. Computing post^41 from 6 states.  2 states merged within 8 states. Computing post^44 from 6 states. Computing post^106 from 10 states. Computing post^42 from 6 states. Computing post^45 from 6 states. Computing post^109 from 6 states. Computing post^43 from 6 states.  2 states merged within 8 states. Computing post^46 from 6 states. Computing post^107 from 6 states. Computing post^44 from 6 states.  2 states merged within 8 states. Computing post^130 from 6 states. Computing post^47 from 6 states. Computing post^45 from 6 states.  2 states merged within 8 states. Computing post^48 from 6 states. Computing post^197 from 6 states. Computing post^46 from 6 states. Computing post^110 from 10 states. Computing post^49 from 6 states. Computing post^47 from 6 states. Computing post^131 from 6 states. Computing post^196 from 10 states. Computing post^108 from 10 states.  2 states merged within 8 states. Computing post^50 from 6 states. Computing post^48 from 6 states. Computing post^111 from 6 states. Computing post^51 from 6 states. Computing post^49 from 6 states. Computing post^109 from 6 states.  2 states merged within 8 states. Computing post^52 from 6 states. Computing post^50 from 6 states. Computing post^53 from 6 states. Computing post^51 from 6 states.  2 states merged within 8 states. Computing post^132 from 6 states. Computing post^112 from 10 states. Computing post^52 from 6 states.  2 states merged within 8 states. Computing post^197 from 6 states. Computing post^54 from 6 states. Computing post^53 from 6 states. Computing post^55 from 6 states. Computing post^110 from 10 states. Computing post^113 from 6 states. Computing post^54 from 6 states. Computing post^133 from 6 states.  2 states merged within 8 states. Computing post^56 from 6 states. Computing post^55 from 6 states. Computing post^111 from 6 states. Computing post^57 from 6 states. Computing post^198 from 10 states. Computing post^56 from 6 states.  2 states merged within 8 states. Computing post^58 from 6 states. Computing post^57 from 6 states. Computing post^114 from 10 states.  2 states merged within 8 states. Computing post^59 from 6 states. Computing post^134 from 6 states. Computing post^58 from 6 states.  2 states merged within 8 states. Computing post^60 from 6 states. Computing post^115 from 6 states. Computing post^112 from 10 states. Computing post^59 from 6 states. Computing post^199 from 6 states. Computing post^60 from 6 states. Computing post^61 from 6 states. Computing post^135 from 6 states. Computing post^113 from 6 states. Computing post^61 from 6 states. Computing post^198 from 10 states.  2 states merged within 8 states. Computing post^62 from 6 states. Computing post^62 from 6 states. Computing post^63 from 6 states. Computing post^116 from 10 states. Computing post^63 from 6 states.  2 states merged within 8 states. Computing post^64 from 6 states.  2 states merged within 8 states. Computing post^136 from 6 states. Computing post^117 from 6 states. Computing post^114 from 10 states. Computing post^64 from 6 states. Computing post^65 from 6 states. Computing post^199 from 6 states. Computing post^65 from 6 states. Computing post^115 from 6 states.  2 states merged within 8 states. Computing post^66 from 6 states. Computing post^66 from 6 states. Computing post^137 from 6 states. Computing post^67 from 6 states. Computing post^67 from 6 states. Computing post^118 from 10 states.  2 states merged within 8 states. Computing post^68 from 6 states.  State space exploration stopped at a depth of 200: 1682 states with 1950 transitions in the final state space.  [NZCUB] Algorithm completed after 90.026 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^68 from 6 states. Computing post^119 from 6 states. Computing post^69 from 6 states. Computing post^116 from 10 states. Computing post^69 from 6 states.  2 states merged within 8 states. Computing post^138 from 6 states.  2 states merged within 8 states. Computing post^70 from 6 states. Computing post^2 from 8 states. Computing post^70 from 6 states. Computing post^117 from 6 states. Computing post^3 from 24 states. Computing post^71 from 6 states. Computing post^71 from 6 states. Computing post^4 from 35 states. Computing post^139 from 6 states.  2 states merged within 8 states. Computing post^72 from 6 states. Computing post^72 from 6 states. Computing post^120 from 10 states.  State space exploration stopped at a depth of 200: 1682 states with 1950 transitions in the final state space.  [NZCUB] Algorithm completed after 90.684 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^5 from 30 states. Computing post^73 from 6 states. Computing post^73 from 6 states. Computing post^118 from 10 states. Computing post^2 from 7 states. Computing post^121 from 6 states. Computing post^6 from 23 states. Computing post^74 from 6 states.  2 states merged within 8 states. Computing post^74 from 6 states.  2 states merged within 8 states. Computing post^140 from 6 states. Computing post^119 from 6 states.  3 states merged within 20 states. Computing post^3 from 18 states. Computing post^75 from 6 states. Computing post^7 from 17 states. Computing post^75 from 6 states.  1 state merged within 7 states. Computing post^4 from 23 states. Computing post^8 from 6 states.  Fixpoint reached at a depth of 9: 144 states with 412 transitions in the final state space.  [NZCUB] Algorithm completed after 91.219 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^76 from 6 states. Computing post^2 from 8 states.  2 states merged within 8 states. Computing post^76 from 6 states. Computing post^3 from 24 states. Computing post^5 from 20 states. Computing post^141 from 6 states. Computing post^122 from 10 states. Computing post^77 from 6 states. Computing post^77 from 6 states. Computing post^6 from 20 states. Computing post^4 from 35 states. Computing post^78 from 6 states. Computing post^120 from 10 states.  3 states merged within 20 states. Computing post^7 from 17 states. Computing post^123 from 6 states.  2 states merged within 8 states. Computing post^78 from 6 states. Computing post^5 from 29 states.  3 states merged within 9 states. Computing post^8 from 6 states.  Fixpoint reached at a depth of 9: 112 states with 308 transitions in the final state space.  [NZCUB] Algorithm completed after 91.675 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^79 from 6 states. Computing post^2 from 7 states. Computing post^6 from 18 states. Computing post^3 from 18 states. Computing post^121 from 6 states. Computing post^79 from 6 states.  2 states merged within 8 states. Computing post^142 from 6 states.  1 state merged within 11 states. Computing post^7 from 10 states. Computing post^80 from 6 states. Computing post^4 from 23 states.  3 states merged within 6 states. Computing post^8 from 3 states.  Fixpoint reached at a depth of 9: 128 states with 368 transitions in the final state space.  [NZCUB] Algorithm completed after 91.880 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 8 states.  2 states merged within 8 states. Computing post^80 from 6 states. Computing post^5 from 19 states. Computing post^3 from 24 states. Computing post^81 from 6 states. Computing post^124 from 10 states. Computing post^6 from 15 states. Computing post^81 from 6 states.  3 states merged within 13 states. Computing post^7 from 10 states. Computing post^4 from 35 states. Computing post^143 from 6 states.  1 state merged within 4 states. Computing post^8 from 3 states. Computing post^82 from 6 states.  Fixpoint reached at a depth of 9: 96 states with 264 transitions in the final state space.  [NZCUB] Algorithm completed after 92.190 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^125 from 6 states. Computing post^3 from 18 states. Computing post^122 from 10 states.  2 states merged within 8 states. Computing post^82 from 6 states. Computing post^5 from 30 states. Computing post^83 from 6 states. Computing post^4 from 23 states. Computing post^6 from 23 states. Computing post^123 from 6 states. Computing post^5 from 20 states. Computing post^84 from 6 states. Computing post^83 from 6 states.  3 states merged within 20 states.  2 states merged within 8 states. Computing post^144 from 6 states. Computing post^7 from 17 states. Computing post^6 from 20 states.  1 state merged within 9 states. Computing post^8 from 8 states. Computing post^85 from 6 states.  2 states merged within 8 states.  3 states merged within 20 states. Computing post^84 from 6 states. Computing post^9 from 6 states. Computing post^7 from 17 states. Computing post^126 from 10 states. Computing post^10 from 10 states. Computing post^11 from 6 states.  3 states merged within 11 states. Computing post^8 from 8 states. Computing post^9 from 6 states. Computing post^86 from 6 states. Computing post^12 from 10 states. Computing post^85 from 6 states. Computing post^13 from 6 states. Computing post^10 from 10 states. Computing post^11 from 6 states. Computing post^127 from 6 states. Computing post^14 from 10 states. Computing post^145 from 6 states. Computing post^124 from 10 states. Computing post^12 from 10 states. Computing post^15 from 6 states. Computing post^13 from 6 states. Computing post^87 from 6 states.  2 states merged within 8 states. Computing post^16 from 10 states. Computing post^86 from 6 states. Computing post^14 from 10 states. Computing post^17 from 6 states. Computing post^15 from 6 states. Computing post^125 from 6 states. Computing post^88 from 6 states. Computing post^16 from 10 states. Computing post^18 from 10 states. Computing post^17 from 6 states. Computing post^87 from 6 states. Computing post^19 from 6 states. Computing post^18 from 10 states. Computing post^20 from 10 states. Computing post^19 from 6 states. Computing post^89 from 6 states. Computing post^21 from 6 states.  2 states merged within 8 states. Computing post^146 from 6 states. Computing post^128 from 10 states.  2 states merged within 8 states. Computing post^20 from 10 states. Computing post^88 from 6 states. Computing post^22 from 10 states. Computing post^21 from 6 states. Computing post^23 from 6 states. Computing post^90 from 6 states. Computing post^22 from 10 states. Computing post^89 from 6 states. Computing post^23 from 6 states. Computing post^24 from 10 states. Computing post^129 from 6 states. Computing post^126 from 10 states. Computing post^25 from 6 states. Computing post^91 from 6 states. Computing post^24 from 10 states. Computing post^147 from 6 states. Computing post^25 from 6 states. Computing post^26 from 10 states.  2 states merged within 8 states. Computing post^90 from 6 states. Computing post^27 from 6 states. Computing post^26 from 10 states. Computing post^92 from 6 states. Computing post^127 from 6 states. Computing post^27 from 6 states. Computing post^28 from 10 states. Computing post^91 from 6 states. Computing post^29 from 6 states. Computing post^28 from 10 states. Computing post^93 from 6 states. Computing post^130 from 10 states. Computing post^29 from 6 states. Computing post^30 from 10 states.  2 states merged within 8 states. Computing post^148 from 6 states.  2 states merged within 8 states. Computing post^92 from 6 states. Computing post^31 from 6 states. Computing post^30 from 10 states. Computing post^94 from 6 states. Computing post^31 from 6 states. Computing post^131 from 6 states. Computing post^32 from 10 states. Computing post^93 from 6 states. Computing post^128 from 10 states. Computing post^32 from 10 states. Computing post^33 from 6 states. Computing post^95 from 6 states. Computing post^33 from 6 states. Computing post^34 from 10 states. Computing post^149 from 6 states.  2 states merged within 8 states. Computing post^94 from 6 states. Computing post^129 from 6 states. Computing post^34 from 10 states. Computing post^96 from 6 states. Computing post^35 from 6 states. Computing post^35 from 6 states. Computing post^95 from 6 states. Computing post^36 from 10 states. Computing post^97 from 6 states. Computing post^36 from 10 states. Computing post^132 from 10 states. Computing post^37 from 6 states. Computing post^37 from 6 states.  2 states merged within 8 states. Computing post^96 from 6 states. Computing post^98 from 6 states.  2 states merged within 8 states. Computing post^38 from 10 states. Computing post^150 from 6 states. Computing post^38 from 10 states. Computing post^133 from 6 states. Computing post^39 from 6 states. Computing post^130 from 10 states. Computing post^39 from 6 states. Computing post^97 from 6 states. Computing post^99 from 6 states. Computing post^40 from 10 states. Computing post^40 from 10 states. Computing post^41 from 6 states. Computing post^41 from 6 states. Computing post^131 from 6 states.  2 states merged within 8 states. Computing post^98 from 6 states. Computing post^151 from 6 states. Computing post^42 from 10 states. Computing post^42 from 10 states. Computing post^100 from 6 states. Computing post^99 from 6 states. Computing post^43 from 6 states. Computing post^134 from 10 states. Computing post^43 from 6 states. Computing post^44 from 10 states. Computing post^44 from 10 states.  2 states merged within 8 states. Computing post^135 from 6 states. Computing post^100 from 6 states. Computing post^45 from 6 states. Computing post^45 from 6 states.  2 states merged within 8 states. Computing post^101 from 6 states. Computing post^152 from 6 states. Computing post^132 from 10 states. Computing post^101 from 6 states. Computing post^46 from 10 states. Computing post^102 from 6 states. Computing post^46 from 10 states. Computing post^133 from 6 states. Computing post^47 from 6 states. Computing post^47 from 6 states.  2 states merged within 8 states. Computing post^102 from 6 states. Computing post^153 from 6 states. Computing post^103 from 6 states. Computing post^48 from 10 states. Computing post^136 from 10 states. Computing post^49 from 6 states. Computing post^48 from 10 states. Computing post^103 from 6 states. Computing post^104 from 6 states. Computing post^49 from 6 states. Computing post^50 from 10 states. Computing post^137 from 6 states. Computing post^134 from 10 states.  2 states merged within 8 states. Computing post^105 from 6 states. Computing post^104 from 6 states. Computing post^51 from 6 states. Computing post^50 from 10 states.  2 states merged within 8 states. Computing post^154 from 6 states. Computing post^51 from 6 states. Computing post^106 from 6 states. Computing post^52 from 10 states. Computing post^105 from 6 states. Computing post^135 from 6 states. Computing post^53 from 6 states. Computing post^52 from 10 states. Computing post^107 from 6 states. Computing post^53 from 6 states. Computing post^155 from 6 states. Computing post^138 from 10 states.  2 states merged within 8 states. Computing post^106 from 6 states. Computing post^54 from 10 states. Computing post^108 from 6 states. Computing post^55 from 6 states. Computing post^54 from 10 states. Computing post^139 from 6 states. Computing post^107 from 6 states. Computing post^136 from 10 states. Computing post^55 from 6 states. Computing post^109 from 6 states.  2 states merged within 8 states. Computing post^156 from 6 states.  2 states merged within 8 states. Computing post^108 from 6 states. Computing post^56 from 10 states. Computing post^137 from 6 states. Computing post^56 from 10 states. Computing post^110 from 6 states. Computing post^57 from 6 states. Computing post^109 from 6 states. Computing post^57 from 6 states. Computing post^140 from 10 states. Computing post^111 from 6 states. Computing post^157 from 6 states. Computing post^58 from 10 states. Computing post^141 from 6 states. Computing post^58 from 10 states. Computing post^59 from 6 states.  2 states merged within 8 states. Computing post^110 from 6 states. Computing post^59 from 6 states. Computing post^112 from 6 states. Computing post^138 from 10 states. Computing post^60 from 10 states. Computing post^111 from 6 states. Computing post^60 from 10 states.  2 states merged within 8 states. Computing post^61 from 6 states. Computing post^158 from 6 states. Computing post^61 from 6 states. Computing post^139 from 6 states. Computing post^142 from 10 states.  2 states merged within 8 states. Computing post^112 from 6 states. Computing post^113 from 6 states. Computing post^62 from 10 states. Computing post^62 from 10 states. Computing post^143 from 6 states. Computing post^63 from 6 states. Computing post^113 from 6 states. Computing post^159 from 6 states. Computing post^63 from 6 states. Computing post^114 from 6 states. Computing post^64 from 10 states.  2 states merged within 8 states. Computing post^114 from 6 states. Computing post^140 from 10 states. Computing post^64 from 10 states. Computing post^65 from 6 states. Computing post^65 from 6 states. Computing post^115 from 6 states.  2 states merged within 8 states. Computing post^160 from 6 states. Computing post^141 from 6 states. Computing post^144 from 10 states. Computing post^115 from 6 states. Computing post^66 from 10 states. Computing post^66 from 10 states. Computing post^67 from 6 states. Computing post^67 from 6 states.  2 states merged within 8 states. Computing post^116 from 6 states. Computing post^145 from 6 states. Computing post^116 from 6 states. Computing post^161 from 6 states. Computing post^117 from 6 states. Computing post^68 from 10 states. Computing post^68 from 10 states. Computing post^142 from 10 states. Computing post^69 from 6 states. Computing post^69 from 6 states. Computing post^117 from 6 states.  2 states merged within 8 states. Computing post^118 from 6 states. Computing post^146 from 10 states. Computing post^143 from 6 states. Computing post^70 from 10 states. Computing post^119 from 6 states. Computing post^71 from 6 states. Computing post^147 from 6 states. Computing post^118 from 6 states.  2 states merged within 8 states. Computing post^162 from 6 states. Computing post^70 from 10 states.  2 states merged within 8 states. Computing post^120 from 6 states. Computing post^72 from 10 states. Computing post^144 from 10 states. Computing post^71 from 6 states. Computing post^73 from 6 states. Computing post^119 from 6 states. Computing post^121 from 6 states. Computing post^163 from 6 states. Computing post^148 from 10 states. Computing post^145 from 6 states. Computing post^74 from 10 states.  2 states merged within 8 states. Computing post^122 from 6 states. Computing post^149 from 6 states. Computing post^120 from 6 states. Computing post^75 from 6 states. Computing post^72 from 10 states. Computing post^123 from 6 states. Computing post^73 from 6 states.  2 states merged within 8 states. Computing post^164 from 6 states. Computing post^76 from 10 states. Computing post^146 from 10 states. Computing post^121 from 6 states. Computing post^77 from 6 states.  2 states merged within 8 states. Computing post^124 from 6 states. Computing post^74 from 10 states. Computing post^150 from 10 states. Computing post^147 from 6 states. Computing post^75 from 6 states. Computing post^165 from 6 states. Computing post^125 from 6 states. Computing post^78 from 10 states. Computing post^122 from 6 states. Computing post^151 from 6 states. Computing post^79 from 6 states. Computing post^76 from 10 states.  2 states merged within 8 states. Computing post^126 from 6 states. Computing post^77 from 6 states. Computing post^80 from 10 states.  2 states merged within 8 states. Computing post^123 from 6 states. Computing post^166 from 6 states. Computing post^148 from 10 states. Computing post^127 from 6 states. Computing post^81 from 6 states. Computing post^152 from 10 states. Computing post^78 from 10 states. Computing post^149 from 6 states. Computing post^124 from 6 states.  2 states merged within 8 states. Computing post^128 from 6 states. Computing post^79 from 6 states. Computing post^82 from 10 states. Computing post^167 from 6 states. Computing post^153 from 6 states. Computing post^83 from 6 states. Computing post^129 from 6 states. Computing post^80 from 10 states. Computing post^125 from 6 states. Computing post^81 from 6 states. Computing post^150 from 10 states. Computing post^84 from 10 states.  2 states merged within 8 states. Computing post^130 from 6 states.  2 states merged within 8 states. Computing post^168 from 6 states. Computing post^85 from 6 states. Computing post^154 from 10 states. Computing post^151 from 6 states. Computing post^126 from 6 states. Computing post^131 from 6 states. Computing post^82 from 10 states. Computing post^155 from 6 states. Computing post^83 from 6 states. Computing post^86 from 10 states. Computing post^169 from 6 states.  2 states merged within 8 states. Computing post^132 from 6 states. Computing post^87 from 6 states. Computing post^127 from 6 states. Computing post^84 from 10 states. Computing post^152 from 10 states. Computing post^133 from 6 states. Computing post^85 from 6 states. Computing post^88 from 10 states. Computing post^156 from 10 states.  2 states merged within 8 states. Computing post^170 from 6 states. Computing post^128 from 6 states. Computing post^89 from 6 states. Computing post^153 from 6 states.  2 states merged within 8 states. Computing post^134 from 6 states. Computing post^157 from 6 states. Computing post^86 from 10 states. Computing post^129 from 6 states. Computing post^135 from 6 states. Computing post^87 from 6 states. Computing post^90 from 10 states. Computing post^171 from 6 states. Computing post^91 from 6 states. Computing post^130 from 6 states.  2 states merged within 8 states. Computing post^136 from 6 states. Computing post^88 from 10 states. Computing post^158 from 10 states. Computing post^131 from 6 states. Computing post^92 from 10 states. Computing post^89 from 6 states. Computing post^137 from 6 states.  2 states merged within 8 states. Computing post^154 from 10 states. Computing post^172 from 6 states. Computing post^93 from 6 states. Computing post^159 from 6 states. Computing post^132 from 6 states. Computing post^90 from 10 states. Computing post^155 from 6 states. Computing post^94 from 10 states. Computing post^133 from 6 states.  2 states merged within 8 states. Computing post^91 from 6 states. Computing post^138 from 6 states. Computing post^173 from 6 states. Computing post^95 from 6 states. Computing post^160 from 10 states. Computing post^134 from 6 states. Computing post^92 from 10 states. Computing post^139 from 6 states. Computing post^161 from 6 states. Computing post^135 from 6 states. Computing post^96 from 10 states. Computing post^93 from 6 states. Computing post^156 from 10 states.  2 states merged within 8 states. Computing post^174 from 6 states. Computing post^97 from 6 states. Computing post^136 from 6 states. Computing post^157 from 6 states. Computing post^94 from 10 states.  2 states merged within 8 states. Computing post^140 from 6 states. Computing post^137 from 6 states. Computing post^175 from 6 states. Computing post^98 from 10 states. Computing post^162 from 10 states. Computing post^95 from 6 states. Computing post^99 from 6 states. Computing post^138 from 6 states. Computing post^163 from 6 states. Computing post^141 from 6 states. Computing post^158 from 10 states. Computing post^96 from 10 states. Computing post^139 from 6 states.  2 states merged within 8 states. Computing post^100 from 10 states. Computing post^176 from 6 states. Computing post^97 from 6 states. Computing post^159 from 6 states. Computing post^101 from 6 states.  2 states merged within 8 states. Computing post^142 from 6 states. Computing post^140 from 6 states. Computing post^164 from 10 states. Computing post^98 from 10 states. Computing post^177 from 6 states. Computing post^143 from 6 states. Computing post^141 from 6 states. Computing post^102 from 10 states. Computing post^99 from 6 states. Computing post^165 from 6 states. Computing post^103 from 6 states. Computing post^160 from 10 states. Computing post^142 from 6 states.  2 states merged within 8 states. Computing post^144 from 6 states.  2 states merged within 8 states. Computing post^178 from 6 states. Computing post^100 from 10 states. Computing post^161 from 6 states. Computing post^143 from 6 states. Computing post^104 from 10 states. Computing post^145 from 6 states. Computing post^101 from 6 states. Computing post^105 from 6 states. Computing post^166 from 10 states. Computing post^144 from 6 states.  2 states merged within 8 states. Computing post^146 from 6 states. Computing post^179 from 6 states. Computing post^167 from 6 states. Computing post^145 from 6 states. Computing post^102 from 10 states. Computing post^106 from 10 states. Computing post^162 from 10 states. Computing post^147 from 6 states. Computing post^103 from 6 states. Computing post^107 from 6 states. Computing post^146 from 6 states. Computing post^163 from 6 states.  2 states merged within 8 states. Computing post^180 from 6 states.  2 states merged within 8 states. Computing post^148 from 6 states. Computing post^147 from 6 states. Computing post^168 from 10 states. Computing post^104 from 10 states. Computing post^108 from 10 states. Computing post^149 from 6 states. Computing post^105 from 6 states. Computing post^109 from 6 states. Computing post^148 from 6 states. Computing post^181 from 6 states. Computing post^169 from 6 states. Computing post^164 from 10 states.  2 states merged within 8 states. Computing post^150 from 6 states. Computing post^149 from 6 states. Computing post^110 from 10 states. Computing post^106 from 10 states. Computing post^165 from 6 states. Computing post^151 from 6 states. Computing post^111 from 6 states.  2 states merged within 8 states. Computing post^182 from 6 states. Computing post^107 from 6 states. Computing post^150 from 6 states. Computing post^170 from 10 states.  2 states merged within 8 states. Computing post^152 from 6 states. Computing post^151 from 6 states. Computing post^112 from 10 states. Computing post^171 from 6 states. Computing post^108 from 10 states. Computing post^183 from 6 states. Computing post^166 from 10 states. Computing post^153 from 6 states. Computing post^113 from 6 states. Computing post^152 from 6 states. Computing post^109 from 6 states. Computing post^167 from 6 states. Computing post^153 from 6 states.  2 states merged within 8 states. Computing post^154 from 6 states. Computing post^114 from 10 states. Computing post^172 from 10 states.  2 states merged within 8 states. Computing post^184 from 6 states. Computing post^110 from 10 states. Computing post^115 from 6 states. Computing post^154 from 6 states. Computing post^111 from 6 states. Computing post^173 from 6 states. Computing post^168 from 10 states. Computing post^155 from 6 states. Computing post^185 from 6 states. Computing post^155 from 6 states. Computing post^116 from 10 states. Computing post^112 from 10 states. Computing post^169 from 6 states. Computing post^156 from 6 states. Computing post^117 from 6 states. Computing post^113 from 6 states. Computing post^174 from 10 states. Computing post^157 from 6 states.  2 states merged within 8 states. Computing post^156 from 6 states. Computing post^118 from 10 states.  2 states merged within 8 states. Computing post^186 from 6 states. Computing post^175 from 6 states. Computing post^114 from 10 states. Computing post^158 from 6 states. Computing post^119 from 6 states. Computing post^170 from 10 states. Computing post^157 from 6 states. Computing post^115 from 6 states. Computing post^171 from 6 states. Computing post^159 from 6 states.  2 states merged within 8 states. Computing post^158 from 6 states. Computing post^187 from 6 states. Computing post^120 from 10 states. Computing post^176 from 10 states. Computing post^160 from 6 states. Computing post^116 from 10 states. Computing post^121 from 6 states. Computing post^159 from 6 states. Computing post^177 from 6 states. Computing post^117 from 6 states. Computing post^161 from 6 states. Computing post^172 from 10 states.  2 states merged within 8 states. Computing post^188 from 6 states. Computing post^122 from 10 states.  2 states merged within 8 states. Computing post^160 from 6 states. Computing post^162 from 6 states. Computing post^118 from 10 states. Computing post^173 from 6 states. Computing post^178 from 10 states. Computing post^123 from 6 states. Computing post^161 from 6 states. Computing post^119 from 6 states. Computing post^189 from 6 states. Computing post^163 from 6 states. Computing post^179 from 6 states. Computing post^164 from 6 states.  2 states merged within 8 states. Computing post^162 from 6 states. Computing post^120 from 10 states. Computing post^174 from 10 states.  2 states merged within 8 states. Computing post^190 from 6 states. Computing post^163 from 6 states. Computing post^121 from 6 states. Computing post^165 from 6 states. Computing post^124 from 10 states. Computing post^175 from 6 states. Computing post^180 from 10 states. Computing post^166 from 6 states. Computing post^125 from 6 states. Computing post^191 from 6 states. Computing post^122 from 10 states.  2 states merged within 8 states. Computing post^164 from 6 states. Computing post^181 from 6 states. Computing post^167 from 6 states. Computing post^123 from 6 states. Computing post^126 from 10 states. Computing post^176 from 10 states. Computing post^165 from 6 states. Computing post^168 from 6 states.  2 states merged within 8 states. Computing post^192 from 6 states. Computing post^127 from 6 states. Computing post^177 from 6 states. Computing post^182 from 10 states.  2 states merged within 8 states. Computing post^166 from 6 states. Computing post^124 from 10 states. Computing post^169 from 6 states. Computing post^125 from 6 states. Computing post^128 from 10 states. Computing post^183 from 6 states. Computing post^193 from 6 states. Computing post^167 from 6 states. Computing post^170 from 6 states. Computing post^129 from 6 states. Computing post^178 from 10 states.  2 states merged within 8 states. Computing post^168 from 6 states. Computing post^126 from 10 states. Computing post^171 from 6 states.  2 states merged within 8 states. Computing post^194 from 6 states. Computing post^127 from 6 states. Computing post^130 from 10 states. Computing post^184 from 10 states. Computing post^179 from 6 states. Computing post^169 from 6 states. Computing post^172 from 6 states. Computing post^131 from 6 states. Computing post^185 from 6 states. Computing post^195 from 6 states. Computing post^173 from 6 states.  2 states merged within 8 states. Computing post^170 from 6 states. Computing post^128 from 10 states. Computing post^132 from 10 states. Computing post^180 from 10 states. Computing post^129 from 6 states. Computing post^174 from 6 states. Computing post^171 from 6 states. Computing post^133 from 6 states. Computing post^186 from 10 states.  2 states merged within 8 states. Computing post^196 from 6 states. Computing post^181 from 6 states. Computing post^175 from 6 states.  2 states merged within 8 states. Computing post^172 from 6 states. Computing post^130 from 10 states. Computing post^187 from 6 states. Computing post^134 from 10 states. Computing post^176 from 6 states. Computing post^131 from 6 states. Computing post^173 from 6 states. Computing post^197 from 6 states. Computing post^135 from 6 states. Computing post^177 from 6 states. Computing post^182 from 10 states.  2 states merged within 8 states. Computing post^174 from 6 states. Computing post^132 from 10 states. Computing post^188 from 10 states.  2 states merged within 8 states. Computing post^178 from 6 states. Computing post^183 from 6 states. Computing post^198 from 6 states. Computing post^136 from 10 states. Computing post^133 from 6 states. Computing post^175 from 6 states. Computing post^189 from 6 states. Computing post^137 from 6 states. Computing post^179 from 6 states.  2 states merged within 8 states. Computing post^176 from 6 states. Computing post^199 from 6 states. Computing post^134 from 10 states. Computing post^180 from 6 states. Computing post^184 from 10 states. Computing post^138 from 10 states. Computing post^177 from 6 states. Computing post^135 from 6 states. Computing post^190 from 10 states. Computing post^139 from 6 states. Computing post^185 from 6 states. Computing post^181 from 6 states.  2 states merged within 8 states.  State space exploration stopped at a depth of 200: 1250 states with 1610 transitions in the final state space.  [NZCUB] Algorithm completed after 119.942 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^191 from 6 states.  2 states merged within 8 states. Computing post^178 from 6 states. Computing post^2 from 8 states. Computing post^182 from 6 states. Computing post^136 from 10 states. Computing post^3 from 24 states. Computing post^140 from 10 states. Computing post^4 from 35 states. Computing post^137 from 6 states. Computing post^141 from 6 states. Computing post^183 from 6 states. Computing post^179 from 6 states. Computing post^5 from 29 states. Computing post^6 from 18 states. Computing post^192 from 10 states. Computing post^186 from 10 states.  1 state merged within 11 states. Computing post^7 from 10 states.  3 states merged within 8 states. Computing post^184 from 6 states. Computing post^8 from 5 states. Computing post^9 from 6 states.  1 state merged within 7 states. Computing post^10 from 6 states.  2 states merged within 8 states. Computing post^180 from 6 states. Computing post^138 from 10 states. Computing post^11 from 6 states.  1 state merged within 7 states. Computing post^12 from 6 states. Computing post^193 from 6 states. Computing post^142 from 10 states. Computing post^13 from 6 states. Computing post^187 from 6 states.  2 states merged within 8 states. Computing post^14 from 6 states. Computing post^15 from 6 states.  2 states merged within 8 states. Computing post^139 from 6 states. Computing post^16 from 6 states. Computing post^185 from 6 states. Computing post^17 from 6 states. Computing post^143 from 6 states. Computing post^181 from 6 states.  2 states merged within 8 states. Computing post^18 from 6 states. Computing post^19 from 6 states.  2 states merged within 8 states. Computing post^20 from 6 states. Computing post^21 from 6 states. Computing post^186 from 6 states.  2 states merged within 8 states. Computing post^22 from 6 states. Computing post^23 from 6 states.  2 states merged within 8 states.  2 states merged within 8 states. Computing post^182 from 6 states. Computing post^24 from 6 states. Computing post^194 from 10 states. Computing post^25 from 6 states. Computing post^140 from 10 states. Computing post^144 from 10 states.  2 states merged within 8 states. Computing post^26 from 6 states. Computing post^188 from 10 states. Computing post^27 from 6 states. Computing post^187 from 6 states.  2 states merged within 8 states. Computing post^28 from 6 states. Computing post^141 from 6 states. Computing post^145 from 6 states. Computing post^183 from 6 states. Computing post^195 from 6 states. Computing post^29 from 6 states.  2 states merged within 8 states. Computing post^30 from 6 states. Computing post^189 from 6 states. Computing post^31 from 6 states. Computing post^188 from 6 states.  2 states merged within 8 states. Computing post^32 from 6 states. Computing post^33 from 6 states.  2 states merged within 8 states. Computing post^184 from 6 states.  2 states merged within 8 states. Computing post^34 from 6 states. Computing post^146 from 10 states. Computing post^142 from 10 states. Computing post^35 from 6 states. Computing post^189 from 6 states.  2 states merged within 8 states. Computing post^36 from 6 states. Computing post^196 from 10 states. Computing post^185 from 6 states. Computing post^37 from 6 states. Computing post^147 from 6 states. Computing post^143 from 6 states.  2 states merged within 8 states. Computing post^38 from 6 states. Computing post^39 from 6 states. Computing post^190 from 6 states. Computing post^197 from 6 states.  2 states merged within 8 states. Computing post^40 from 6 states. Computing post^190 from 10 states.  2 states merged within 8 states. Computing post^186 from 6 states. Computing post^41 from 6 states.  2 states merged within 8 states. Computing post^42 from 6 states. Computing post^148 from 10 states. Computing post^191 from 6 states. Computing post^144 from 10 states. Computing post^43 from 6 states. Computing post^191 from 6 states.  2 states merged within 8 states. Computing post^44 from 6 states. Computing post^187 from 6 states. Computing post^149 from 6 states. Computing post^45 from 6 states. Computing post^145 from 6 states. Computing post^192 from 6 states.  2 states merged within 8 states. Computing post^46 from 6 states. Computing post^198 from 10 states. Computing post^47 from 6 states.  2 states merged within 8 states. Computing post^188 from 6 states.  2 states merged within 8 states. Computing post^48 from 6 states. Computing post^49 from 6 states. Computing post^193 from 6 states. Computing post^150 from 10 states. Computing post^199 from 6 states. Computing post^192 from 10 states. Computing post^146 from 10 states.  2 states merged within 8 states. Computing post^50 from 6 states. Computing post^189 from 6 states. Computing post^51 from 6 states. Computing post^151 from 6 states. Computing post^194 from 6 states. Computing post^147 from 6 states.  2 states merged within 8 states. Computing post^52 from 6 states. Computing post^193 from 6 states. Computing post^53 from 6 states.  2 states merged within 8 states. Computing post^190 from 6 states.  2 states merged within 8 states. Computing post^54 from 6 states. Computing post^195 from 6 states.  State space exploration stopped at a depth of 200: 1650 states with 1846 transitions in the final state space.  [NZCUB] Algorithm completed after 124.947 seconds. Computing post^55 from 6 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^152 from 10 states.  2 states merged within 8 states. Computing post^56 from 6 states. Computing post^148 from 10 states. Computing post^191 from 6 states. Computing post^153 from 6 states. Computing post^57 from 6 states. Computing post^196 from 6 states. Computing post^2 from 7 states. Computing post^3 from 18 states. Computing post^149 from 6 states. Computing post^194 from 10 states.  2 states merged within 8 states. Computing post^58 from 6 states. Computing post^4 from 23 states. Computing post^59 from 6 states. Computing post^5 from 19 states.  2 states merged within 8 states. Computing post^192 from 6 states. Computing post^6 from 15 states. Computing post^197 from 6 states.  2 states merged within 8 states. Computing post^60 from 6 states.  3 states merged within 13 states. Computing post^7 from 10 states. Computing post^195 from 6 states.  1 state merged within 6 states. Computing post^8 from 5 states. Computing post^154 from 10 states. Computing post^9 from 6 states. Computing post^61 from 6 states.  2 states merged within 8 states. Computing post^10 from 6 states. Computing post^11 from 6 states.  2 states merged within 8 states. Computing post^12 from 6 states. Computing post^193 from 6 states. Computing post^150 from 10 states. Computing post^13 from 6 states.  2 states merged within 8 states. Computing post^198 from 6 states. Computing post^62 from 6 states.  2 states merged within 8 states. Computing post^14 from 6 states. Computing post^155 from 6 states. Computing post^15 from 6 states.  2 states merged within 8 states. Computing post^16 from 6 states. Computing post^63 from 6 states. Computing post^17 from 6 states. Computing post^151 from 6 states.  2 states merged within 8 states. Computing post^18 from 6 states. Computing post^19 from 6 states.  2 states merged within 8 states. Computing post^64 from 6 states.  2 states merged within 8 states. Computing post^20 from 6 states.  2 states merged within 8 states. Computing post^194 from 6 states. Computing post^199 from 6 states. Computing post^21 from 6 states. Computing post^65 from 6 states.  2 states merged within 8 states. Computing post^22 from 6 states. Computing post^196 from 10 states. Computing post^23 from 6 states.  2 states merged within 8 states. Computing post^24 from 6 states.  2 states merged within 8 states. Computing post^156 from 10 states. Computing post^66 from 6 states. Computing post^25 from 6 states. Computing post^195 from 6 states.  2 states merged within 8 states. Computing post^26 from 6 states.  State space exploration stopped at a depth of 200: 1282 states with 1714 transitions in the final state space.  [NZCUB] Algorithm completed after 126.817 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^67 from 6 states. Computing post^152 from 10 states. Computing post^27 from 6 states. Computing post^197 from 6 states. Computing post^157 from 6 states.  2 states merged within 8 states. Computing post^28 from 6 states. Computing post^2 from 8 states.  2 states merged within 8 states. Computing post^68 from 6 states. Computing post^29 from 6 states. Computing post^3 from 24 states.  2 states merged within 8 states. Computing post^30 from 6 states. Computing post^153 from 6 states. Computing post^69 from 6 states. Computing post^31 from 6 states.  2 states merged within 8 states. Computing post^196 from 6 states. Computing post^4 from 35 states.  2 states merged within 8 states. Computing post^32 from 6 states.  2 states merged within 8 states. Computing post^70 from 6 states. Computing post^33 from 6 states.  2 states merged within 8 states. Computing post^34 from 6 states. Computing post^5 from 30 states. Computing post^158 from 10 states. Computing post^71 from 6 states. Computing post^35 from 6 states. Computing post^197 from 6 states. Computing post^6 from 23 states.  2 states merged within 8 states. Computing post^36 from 6 states. Computing post^198 from 10 states.  2 states merged within 8 states. Computing post^72 from 6 states. Computing post^154 from 10 states.  3 states merged within 20 states. Computing post^37 from 6 states. Computing post^159 from 6 states. Computing post^7 from 17 states.  2 states merged within 8 states. Computing post^38 from 6 states.  1 state merged within 7 states. Computing post^8 from 6 states.  Fixpoint reached at a depth of 9: 144 states with 412 transitions in the final state space.  [NZCUB] Algorithm completed after 127.838 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^73 from 6 states. Computing post^2 from 7 states. Computing post^39 from 6 states. Computing post^3 from 18 states. Computing post^155 from 6 states.  2 states merged within 8 states. Computing post^198 from 6 states. Computing post^199 from 6 states.  2 states merged within 8 states. Computing post^40 from 6 states.  2 states merged within 8 states. Computing post^74 from 6 states. Computing post^4 from 23 states. Computing post^41 from 6 states. Computing post^5 from 20 states. Computing post^75 from 6 states.  2 states merged within 8 states. Computing post^42 from 6 states. Computing post^6 from 20 states. Computing post^160 from 10 states. Computing post^43 from 6 states. Computing post^199 from 6 states.  2 states merged within 8 states. Computing post^76 from 6 states.  3 states merged within 20 states.  2 states merged within 8 states. Computing post^44 from 6 states. Computing post^7 from 17 states.  3 states merged within 9 states. Computing post^8 from 6 states. Computing post^45 from 6 states.  Fixpoint reached at a depth of 9: 112 states with 308 transitions in the final state space.  [NZCUB] Algorithm completed after 128.474 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 8 states. Computing post^77 from 6 states. Computing post^161 from 6 states. Computing post^156 from 10 states. Computing post^3 from 24 states.  2 states merged within 8 states. Computing post^46 from 6 states.  2 states merged within 8 states. Computing post^47 from 6 states. Computing post^78 from 6 states.  State space exploration stopped at a depth of 200: 1682 states with 1950 transitions in the final state space.  [NZCUB] Algorithm completed after 128.702 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^4 from 35 states.  2 states merged within 8 states.  State space exploration stopped at a depth of 200: 1250 states with 1610 transitions in the final state space.  [NZCUB] Algorithm completed after 128.730 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^157 from 6 states.  2 states merged within 8 states. Computing post^48 from 6 states. Computing post^79 from 6 states. Computing post^5 from 29 states. Computing post^2 from 7 states. Computing post^49 from 6 states. Computing post^2 from 8 states. Computing post^3 from 24 states. Computing post^6 from 18 states.  2 states merged within 8 states. Computing post^3 from 18 states. Computing post^50 from 6 states.  2 states merged within 8 states. Computing post^80 from 6 states.  1 state merged within 11 states. Computing post^162 from 10 states. Computing post^7 from 10 states.  3 states merged within 6 states. Computing post^8 from 3 states. Computing post^4 from 35 states. Computing post^4 from 23 states.  Fixpoint reached at a depth of 9: 128 states with 368 transitions in the final state space.  [NZCUB] Algorithm completed after 129.135 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^51 from 6 states. Computing post^2 from 7 states. Computing post^3 from 18 states. Computing post^81 from 6 states. Computing post^5 from 19 states.  2 states merged within 8 states. Computing post^52 from 6 states. Computing post^4 from 23 states. Computing post^163 from 6 states. Computing post^5 from 30 states. Computing post^6 from 15 states. Computing post^158 from 10 states. Computing post^53 from 6 states.  3 states merged within 13 states. Computing post^7 from 10 states. Computing post^5 from 20 states.  2 states merged within 8 states. Computing post^82 from 6 states. Computing post^6 from 23 states.  1 state merged within 4 states. Computing post^8 from 3 states.  Fixpoint reached at a depth of 9: 96 states with 264 transitions in the final state space.  [NZCUB] Algorithm completed after 129.488 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 8 states. Computing post^6 from 20 states.  2 states merged within 8 states. Computing post^54 from 6 states.  3 states merged within 20 states. Computing post^3 from 24 states. Computing post^7 from 17 states. Computing post^83 from 6 states.  3 states merged within 20 states. Computing post^7 from 17 states. Computing post^159 from 6 states. Computing post^55 from 6 states.  1 state merged within 10 states. Computing post^8 from 9 states.  3 states merged within 12 states. Computing post^4 from 35 states. Computing post^8 from 9 states. Computing post^9 from 9 states. Computing post^9 from 9 states.  2 states merged within 8 states. Computing post^56 from 6 states.  2 states merged within 8 states. Computing post^84 from 6 states. Computing post^10 from 15 states. Computing post^10 from 15 states. Computing post^5 from 29 states. Computing post^11 from 9 states. Computing post^164 from 10 states. Computing post^11 from 9 states. Computing post^57 from 6 states. Computing post^6 from 18 states. Computing post^12 from 15 states. Computing post^12 from 15 states.  1 state merged within 11 states.  2 states merged within 8 states. Computing post^7 from 10 states. Computing post^13 from 9 states. Computing post^58 from 6 states. Computing post^85 from 6 states. Computing post^13 from 9 states.  3 states merged within 9 states. Computing post^8 from 6 states. Computing post^165 from 6 states.  1 state merged within 11 states. Computing post^9 from 10 states. Computing post^59 from 6 states. Computing post^14 from 15 states. Computing post^14 from 15 states.  4 states merged within 16 states. Computing post^15 from 9 states. Computing post^160 from 10 states. Computing post^10 from 12 states.  2 states merged within 8 states. Computing post^86 from 6 states. Computing post^15 from 9 states.  2 states merged within 8 states. Computing post^60 from 6 states.  3 states merged within 18 states. Computing post^11 from 15 states. Computing post^16 from 15 states. Computing post^87 from 6 states. Computing post^16 from 15 states. Computing post^17 from 9 states.  2 states merged within 18 states. Computing post^61 from 6 states. Computing post^12 from 16 states. Computing post^161 from 6 states. Computing post^17 from 9 states. Computing post^18 from 15 states.  2 states merged within 8 states.  2 states merged within 8 states. Computing post^88 from 6 states. Computing post^62 from 6 states.  4 states merged within 27 states. Computing post^18 from 15 states. Computing post^13 from 23 states. Computing post^19 from 9 states. Computing post^166 from 10 states. Computing post^19 from 9 states. Computing post^63 from 6 states. Computing post^89 from 6 states.  6 states merged within 32 states. Computing post^20 from 15 states. Computing post^14 from 26 states.  2 states merged within 8 states. Computing post^64 from 6 states. Computing post^20 from 15 states. Computing post^21 from 9 states. Computing post^167 from 6 states. Computing post^21 from 9 states.  2 states merged within 8 states. Computing post^90 from 6 states. Computing post^65 from 6 states. Computing post^162 from 10 states. Computing post^22 from 15 states.  4 states merged within 39 states. Computing post^15 from 35 states.  2 states merged within 8 states. Computing post^66 from 6 states. Computing post^22 from 15 states. Computing post^91 from 6 states. Computing post^23 from 9 states. Computing post^23 from 9 states. Computing post^67 from 6 states. Computing post^163 from 6 states. Computing post^24 from 15 states.  2 states merged within 8 states. Computing post^92 from 6 states.  6 states merged within 42 states. Computing post^16 from 36 states.  2 states merged within 8 states. Computing post^68 from 6 states. Computing post^24 from 15 states. Computing post^168 from 10 states. Computing post^25 from 9 states. Computing post^25 from 9 states. Computing post^93 from 6 states. Computing post^69 from 6 states.  2 states merged within 8 states. Computing post^70 from 6 states. Computing post^169 from 6 states.  2 states merged within 8 states. Computing post^94 from 6 states. Computing post^26 from 15 states.  7 states merged within 54 states. Computing post^17 from 47 states. Computing post^71 from 6 states. Computing post^27 from 9 states. Computing post^26 from 15 states. Computing post^164 from 10 states. Computing post^95 from 6 states. Computing post^27 from 9 states.  2 states merged within 8 states. Computing post^72 from 6 states. Computing post^28 from 15 states. Computing post^73 from 6 states. Computing post^165 from 6 states.  2 states merged within 8 states. Computing post^96 from 6 states. Computing post^29 from 9 states. Computing post^28 from 15 states. Computing post^170 from 10 states.  2 states merged within 8 states. Computing post^74 from 6 states. Computing post^29 from 9 states. Computing post^97 from 6 states.  19 states merged within 61 states. Computing post^18 from 42 states. Computing post^75 from 6 states. Computing post^30 from 15 states. Computing post^171 from 6 states. Computing post^30 from 15 states.  2 states merged within 8 states. Computing post^31 from 9 states. Computing post^98 from 6 states.  2 states merged within 8 states. Computing post^76 from 6 states. Computing post^31 from 9 states. Computing post^166 from 10 states. Computing post^77 from 6 states. Computing post^99 from 6 states. Computing post^32 from 15 states.  2 states merged within 8 states. Computing post^78 from 6 states. Computing post^32 from 15 states.  12 states merged within 67 states. Computing post^33 from 9 states. Computing post^167 from 6 states.  2 states merged within 8 states. Computing post^100 from 6 states. Computing post^19 from 55 states. Computing post^33 from 9 states. Computing post^79 from 6 states. Computing post^172 from 10 states. Computing post^101 from 6 states.  2 states merged within 8 states. Computing post^80 from 6 states. Computing post^34 from 15 states. Computing post^34 from 15 states. Computing post^173 from 6 states. Computing post^81 from 6 states.  2 states merged within 8 states. Computing post^102 from 6 states. Computing post^35 from 9 states. Computing post^35 from 9 states.  2 states merged within 8 states. Computing post^82 from 6 states. Computing post^103 from 6 states. Computing post^168 from 10 states. Computing post^83 from 6 states. Computing post^36 from 15 states. Computing post^36 from 15 states.  2 states merged within 8 states. Computing post^37 from 9 states. Computing post^104 from 6 states.  2 states merged within 8 states.  24 states merged within 80 states. Computing post^84 from 6 states. Computing post^37 from 9 states. Computing post^20 from 56 states. Computing post^174 from 10 states. Computing post^169 from 6 states. Computing post^85 from 6 states. Computing post^105 from 6 states. Computing post^38 from 15 states. Computing post^175 from 6 states. Computing post^38 from 15 states.  2 states merged within 8 states. Computing post^86 from 6 states. Computing post^39 from 9 states.  2 states merged within 8 states. Computing post^106 from 6 states. Computing post^39 from 9 states. Computing post^87 from 6 states. Computing post^107 from 6 states. Computing post^170 from 10 states.  2 states merged within 8 states. Computing post^88 from 6 states. Computing post^40 from 15 states. Computing post^40 from 15 states.  2 states merged within 8 states. Computing post^41 from 9 states. Computing post^108 from 6 states. Computing post^89 from 6 states. Computing post^176 from 10 states.  23 states merged within 99 states. Computing post^41 from 9 states. Computing post^171 from 6 states.  2 states merged within 8 states. Computing post^90 from 6 states. Computing post^21 from 76 states. Computing post^109 from 6 states. Computing post^177 from 6 states. Computing post^42 from 15 states. Computing post^91 from 6 states. Computing post^42 from 15 states.  2 states merged within 8 states. Computing post^110 from 6 states. Computing post^43 from 9 states.  2 states merged within 8 states. Computing post^92 from 6 states. Computing post^43 from 9 states. Computing post^111 from 6 states. Computing post^172 from 10 states. Computing post^93 from 6 states. Computing post^44 from 15 states. Computing post^178 from 10 states.  2 states merged within 8 states.  2 states merged within 8 states. Computing post^112 from 6 states. Computing post^94 from 6 states. Computing post^44 from 15 states. Computing post^173 from 6 states. Computing post^45 from 9 states. Computing post^95 from 6 states. Computing post^179 from 6 states. Computing post^45 from 9 states. Computing post^113 from 6 states.  2 states merged within 8 states. Computing post^96 from 6 states. Computing post^46 from 15 states.  2 states merged within 8 states. Computing post^114 from 6 states. Computing post^97 from 6 states. Computing post^46 from 15 states. Computing post^47 from 9 states. Computing post^174 from 10 states. Computing post^115 from 6 states.  32 states merged within 117 states. Computing post^22 from 85 states. Computing post^47 from 9 states.  2 states merged within 8 states. Computing post^98 from 6 states. Computing post^180 from 10 states. Computing post^99 from 6 states. Computing post^175 from 6 states.  2 states merged within 8 states. Computing post^116 from 6 states. Computing post^48 from 15 states. Computing post^181 from 6 states. Computing post^48 from 15 states.  2 states merged within 8 states. Computing post^100 from 6 states. Computing post^49 from 9 states. Computing post^117 from 6 states. Computing post^49 from 9 states. Computing post^101 from 6 states.  2 states merged within 8 states. Computing post^118 from 6 states.  2 states merged within 8 states. Computing post^50 from 15 states. Computing post^102 from 6 states. Computing post^176 from 10 states. Computing post^182 from 10 states. Computing post^51 from 9 states. Computing post^103 from 6 states. Computing post^119 from 6 states. Computing post^177 from 6 states. Computing post^50 from 15 states. Computing post^183 from 6 states.  2 states merged within 8 states. Computing post^104 from 6 states. Computing post^51 from 9 states.  2 states merged within 8 states. Computing post^120 from 6 states. Computing post^52 from 15 states. Computing post^105 from 6 states. Computing post^121 from 6 states. Computing post^53 from 9 states.  2 states merged within 8 states. Computing post^106 from 6 states. Computing post^52 from 15 states. Computing post^178 from 10 states.  25 states merged within 133 states. Computing post^23 from 108 states. Computing post^184 from 10 states.  2 states merged within 8 states. Computing post^122 from 6 states. Computing post^107 from 6 states. Computing post^53 from 9 states. Computing post^179 from 6 states. Computing post^54 from 15 states.  2 states merged within 8 states. Computing post^123 from 6 states. Computing post^108 from 6 states. Computing post^185 from 6 states. Computing post^55 from 9 states. Computing post^109 from 6 states.  2 states merged within 8 states. Computing post^124 from 6 states. Computing post^54 from 15 states.  2 states merged within 8 states. Computing post^110 from 6 states. Computing post^125 from 6 states. Computing post^55 from 9 states. Computing post^56 from 15 states. Computing post^111 from 6 states. Computing post^180 from 10 states. Computing post^186 from 10 states.  2 states merged within 8 states. Computing post^126 from 6 states. Computing post^57 from 9 states.  2 states merged within 8 states. Computing post^112 from 6 states. Computing post^181 from 6 states. Computing post^187 from 6 states. Computing post^56 from 15 states. Computing post^113 from 6 states. Computing post^127 from 6 states. Computing post^57 from 9 states. Computing post^58 from 15 states.  2 states merged within 8 states. Computing post^114 from 6 states.  2 states merged within 8 states. Computing post^128 from 6 states. Computing post^59 from 9 states. Computing post^115 from 6 states. Computing post^188 from 10 states. Computing post^182 from 10 states. Computing post^129 from 6 states. Computing post^58 from 15 states.  2 states merged within 8 states. Computing post^116 from 6 states. Computing post^189 from 6 states. Computing post^183 from 6 states.  2 states merged within 8 states. Computing post^130 from 6 states. Computing post^59 from 9 states. Computing post^60 from 15 states. Computing post^117 from 6 states.  47 states merged within 160 states. Computing post^24 from 113 states. Computing post^61 from 9 states. Computing post^131 from 6 states.  2 states merged within 8 states. Computing post^118 from 6 states. Computing post^60 from 15 states. Computing post^119 from 6 states.  2 states merged within 8 states. Computing post^132 from 6 states. Computing post^190 from 10 states. Computing post^184 from 10 states. Computing post^61 from 9 states. Computing post^62 from 15 states.  2 states merged within 8 states. Computing post^120 from 6 states. Computing post^133 from 6 states. Computing post^191 from 6 states. Computing post^185 from 6 states. Computing post^63 from 9 states. Computing post^121 from 6 states.  2 states merged within 8 states. Computing post^134 from 6 states.  2 states merged within 8 states. Computing post^122 from 6 states. Computing post^62 from 15 states. Computing post^135 from 6 states. Computing post^64 from 15 states. Computing post^123 from 6 states. Computing post^192 from 10 states. Computing post^63 from 9 states. Computing post^186 from 10 states. Computing post^65 from 9 states.  2 states merged within 8 states. Computing post^136 from 6 states.  2 states merged within 8 states. Computing post^124 from 6 states. Computing post^193 from 6 states. Computing post^187 from 6 states. Computing post^125 from 6 states. Computing post^137 from 6 states. Computing post^64 from 15 states. Computing post^66 from 15 states.  2 states merged within 8 states. Computing post^126 from 6 states. Computing post^65 from 9 states.  2 states merged within 8 states. Computing post^138 from 6 states. Computing post^194 from 10 states. Computing post^67 from 9 states. Computing post^127 from 6 states. Computing post^139 from 6 states. Computing post^188 from 10 states.  2 states merged within 8 states. Computing post^128 from 6 states. Computing post^195 from 6 states.  2 states merged within 8 states. Computing post^189 from 6 states. Computing post^140 from 6 states. Computing post^66 from 15 states. Computing post^129 from 6 states. Computing post^68 from 15 states. Computing post^67 from 9 states. Computing post^141 from 6 states.  66 states merged within 197 states. Computing post^25 from 133 states. Computing post^69 from 9 states.  2 states merged within 8 states. Computing post^130 from 6 states. Computing post^196 from 10 states.  2 states merged within 8 states. Computing post^142 from 6 states. Computing post^190 from 10 states. Computing post^131 from 6 states. Computing post^197 from 6 states. Computing post^68 from 15 states. Computing post^70 from 15 states. Computing post^143 from 6 states.  2 states merged within 8 states. Computing post^132 from 6 states. Computing post^191 from 6 states. Computing post^69 from 9 states. Computing post^71 from 9 states.  2 states merged within 8 states. Computing post^144 from 6 states. Computing post^133 from 6 states. Computing post^145 from 6 states. Computing post^198 from 10 states.  2 states merged within 8 states. Computing post^134 from 6 states. Computing post^72 from 15 states. Computing post^192 from 10 states. Computing post^70 from 15 states. Computing post^135 from 6 states.  2 states merged within 8 states. Computing post^199 from 6 states. Computing post^146 from 6 states. Computing post^73 from 9 states. Computing post^193 from 6 states.  2 states merged within 8 states. Computing post^136 from 6 states. Computing post^147 from 6 states. Computing post^71 from 9 states. Computing post^137 from 6 states.  2 states merged within 8 states. Computing post^148 from 6 states.  State space exploration stopped at a depth of 200: 1650 states with 1846 transitions in the final state space.  [NZCUB] Algorithm completed after 147.144 seconds. Computing post^74 from 15 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  2 states merged within 8 states. Computing post^138 from 6 states. Computing post^72 from 15 states. Computing post^194 from 10 states. Computing post^149 from 6 states. Computing post^2 from 7 states. Computing post^3 from 18 states. Computing post^139 from 6 states. Computing post^4 from 23 states. Computing post^75 from 9 states. Computing post^73 from 9 states. Computing post^5 from 19 states. Computing post^195 from 6 states.  2 states merged within 8 states. Computing post^6 from 15 states. Computing post^150 from 6 states.  3 states merged within 13 states. Computing post^7 from 10 states.  2 states merged within 8 states. Computing post^140 from 6 states.  1 state merged within 7 states. Computing post^8 from 6 states.  1 state merged within 11 states. Computing post^9 from 10 states.  1 state merged within 13 states. Computing post^10 from 12 states. Computing post^151 from 6 states. Computing post^141 from 6 states.  2 states merged within 17 states. Computing post^11 from 15 states.  8 states merged within 24 states. Computing post^12 from 16 states. Computing post^74 from 15 states.  2 states merged within 8 states. Computing post^152 from 6 states.  2 states merged within 8 states. Computing post^142 from 6 states. Computing post^196 from 10 states.  3 states merged within 26 states. Computing post^13 from 23 states. Computing post^76 from 15 states. Computing post^75 from 9 states. Computing post^143 from 6 states.  8 states merged within 34 states.  86 states merged within 212 states. Computing post^26 from 131 states. Computing post^153 from 6 states. Computing post^14 from 26 states. Computing post^197 from 6 states. Computing post^77 from 9 states.  12 states merged within 47 states. Computing post^15 from 35 states.  2 states merged within 8 states. Computing post^144 from 6 states.  2 states merged within 8 states. Computing post^154 from 6 states. Computing post^76 from 15 states. Computing post^145 from 6 states.  7 states merged within 43 states. Computing post^16 from 36 states. Computing post^155 from 6 states. Computing post^77 from 9 states. Computing post^78 from 15 states. Computing post^198 from 10 states.  2 states merged within 8 states. Computing post^146 from 6 states.  12 states merged within 59 states. Computing post^17 from 47 states.  2 states merged within 8 states. Computing post^156 from 6 states. Computing post^79 from 9 states. Computing post^199 from 6 states. Computing post^147 from 6 states. Computing post^157 from 6 states. Computing post^78 from 15 states.  2 states merged within 8 states. Computing post^148 from 6 states.  25 states merged within 67 states. Computing post^18 from 42 states.  2 states merged within 8 states. Computing post^158 from 6 states. Computing post^80 from 15 states. Computing post^149 from 6 states. Computing post^79 from 9 states.  State space exploration stopped at a depth of 200: 1682 states with 1950 transitions in the final state space.  [NZCUB] Algorithm completed after 150.998 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^159 from 6 states. Computing post^81 from 9 states.  [NZCUB] Found a cycle.  2 states merged within 8 states. Computing post^150 from 6 states. Computing post^2 from 8 states. Computing post^3 from 24 states.  17 states merged within 72 states. Computing post^19 from 55 states.  2 states merged within 8 states. Computing post^151 from 6 states. Computing post^160 from 6 states. Computing post^4 from 35 states. Computing post^80 from 15 states. Computing post^5 from 30 states. Computing post^161 from 6 states.  2 states merged within 8 states. Computing post^152 from 6 states. Computing post^82 from 15 states. Computing post^6 from 23 states. Computing post^81 from 9 states.  3 states merged within 20 states. Computing post^7 from 17 states.  1 state merged within 7 states. Computing post^8 from 6 states.  Fixpoint reached at a depth of 9: 144 states with 412 transitions in the final state space.  [NZCUB] Algorithm completed after 152.126 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^153 from 6 states. Computing post^83 from 9 states. Computing post^3 from 18 states.  2 states merged within 8 states. Computing post^162 from 6 states. Computing post^4 from 23 states.  24 states merged within 80 states. Computing post^20 from 56 states. Computing post^5 from 20 states.  2 states merged within 8 states. Computing post^154 from 6 states. Computing post^6 from 20 states. Computing post^163 from 6 states.  3 states merged within 20 states. Computing post^7 from 17 states. Computing post^82 from 15 states.  3 states merged within 9 states. Computing post^8 from 6 states.  Fixpoint reached at a depth of 9: 112 states with 308 transitions in the final state space.  [NZCUB] Algorithm completed after 152.780 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 8 states. Computing post^155 from 6 states. Computing post^3 from 24 states. Computing post^84 from 15 states.  2 states merged within 8 states. Computing post^164 from 6 states. Computing post^4 from 35 states. Computing post^83 from 9 states.  2 states merged within 8 states. Computing post^5 from 29 states. Computing post^156 from 6 states. Computing post^85 from 9 states. Computing post^6 from 18 states. Computing post^165 from 6 states.  1 state merged within 11 states. Computing post^7 from 10 states.  69 states merged within 218 states. Computing post^27 from 154 states.  3 states merged within 6 states. Computing post^8 from 3 states.  Fixpoint reached at a depth of 9: 128 states with 368 transitions in the final state space.  [NZCUB] Algorithm completed after 153.447 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^157 from 6 states.  14 states merged within 90 states. Computing post^21 from 76 states. Computing post^3 from 18 states. Computing post^4 from 23 states. Computing post^5 from 19 states.  2 states merged within 8 states. Computing post^166 from 6 states. Computing post^6 from 15 states. Computing post^84 from 15 states.  2 states merged within 8 states.  3 states merged within 13 states. Computing post^158 from 6 states. Computing post^7 from 10 states.  1 state merged within 4 states. Computing post^8 from 3 states.  Fixpoint reached at a depth of 9: 96 states with 264 transitions in the final state space.  [NZCUB] Algorithm completed after 153.924 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^86 from 15 states. Computing post^3 from 19 states. Computing post^167 from 6 states. Computing post^4 from 26 states. Computing post^85 from 9 states. Computing post^159 from 6 states. Computing post^5 from 22 states. Computing post^87 from 9 states. Computing post^6 from 17 states.  1 state merged within 13 states. Computing post^7 from 12 states.  1 state merged within 7 states. Computing post^8 from 6 states. Computing post^9 from 6 states.  2 states merged within 8 states. Computing post^168 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  2 states merged within 8 states. Computing post^10 from 10 states. Computing post^160 from 6 states. Computing post^11 from 6 states. Computing post^12 from 10 states. Computing post^13 from 6 states. Computing post^14 from 10 states. Computing post^15 from 6 states. Computing post^16 from 10 states. Computing post^169 from 6 states. Computing post^161 from 6 states. Computing post^17 from 6 states. Computing post^86 from 15 states. Computing post^18 from 10 states. Computing post^19 from 6 states. Computing post^88 from 15 states. Computing post^20 from 10 states.  27 states merged within 112 states. Computing post^22 from 85 states. Computing post^21 from 6 states. Computing post^22 from 10 states.  2 states merged within 8 states. Computing post^162 from 6 states. Computing post^87 from 9 states. Computing post^23 from 6 states.  2 states merged within 8 states. Computing post^170 from 6 states. Computing post^24 from 10 states. Computing post^89 from 9 states. Computing post^25 from 6 states. Computing post^26 from 10 states. Computing post^163 from 6 states. Computing post^27 from 6 states. Computing post^28 from 10 states. Computing post^171 from 6 states. Computing post^29 from 6 states. Computing post^30 from 10 states.  2 states merged within 8 states. Computing post^164 from 6 states. Computing post^31 from 6 states. Computing post^88 from 15 states. Computing post^90 from 15 states.  2 states merged within 8 states. Computing post^172 from 6 states. Computing post^32 from 10 states. Computing post^165 from 6 states. Computing post^33 from 6 states. Computing post^89 from 9 states. Computing post^91 from 9 states. Computing post^34 from 10 states. Computing post^173 from 6 states.  2 states merged within 8 states. Computing post^35 from 6 states. Computing post^166 from 6 states. Computing post^36 from 10 states. Computing post^167 from 6 states. Computing post^37 from 6 states.  2 states merged within 8 states. Computing post^174 from 6 states.  24 states merged within 132 states. Computing post^23 from 108 states. Computing post^38 from 10 states. Computing post^90 from 15 states. Computing post^92 from 15 states. Computing post^39 from 6 states.  2 states merged within 8 states. Computing post^168 from 6 states. Computing post^175 from 6 states. Computing post^40 from 10 states. Computing post^91 from 9 states. Computing post^93 from 9 states. Computing post^41 from 6 states. Computing post^169 from 6 states.  2 states merged within 8 states. Computing post^176 from 6 states. Computing post^42 from 10 states. Computing post^43 from 6 states.  2 states merged within 8 states. Computing post^170 from 6 states. Computing post^44 from 10 states. Computing post^45 from 6 states. Computing post^177 from 6 states. Computing post^46 from 10 states. Computing post^171 from 6 states. Computing post^94 from 15 states. Computing post^92 from 15 states. Computing post^47 from 6 states. Computing post^48 from 10 states.  2 states merged within 8 states. Computing post^49 from 6 states. Computing post^178 from 6 states. Computing post^95 from 9 states.  2 states merged within 8 states. Computing post^93 from 9 states. Computing post^172 from 6 states.  104 states merged within 255 states. Computing post^28 from 163 states. Computing post^50 from 10 states. Computing post^51 from 6 states. Computing post^179 from 6 states. Computing post^173 from 6 states. Computing post^52 from 10 states. Computing post^53 from 6 states. Computing post^54 from 10 states.  2 states merged within 8 states. Computing post^174 from 6 states.  2 states merged within 8 states. Computing post^180 from 6 states. Computing post^96 from 15 states. Computing post^55 from 6 states. Computing post^94 from 15 states.  51 states merged within 164 states. Computing post^24 from 113 states. Computing post^56 from 10 states. Computing post^175 from 6 states. Computing post^181 from 6 states. Computing post^57 from 6 states. Computing post^97 from 9 states. Computing post^95 from 9 states. Computing post^58 from 10 states.  2 states merged within 8 states. Computing post^59 from 6 states. Computing post^176 from 6 states.  2 states merged within 8 states. Computing post^182 from 6 states. Computing post^60 from 10 states. Computing post^61 from 6 states. Computing post^177 from 6 states. Computing post^183 from 6 states. Computing post^98 from 15 states. Computing post^62 from 10 states. Computing post^96 from 15 states. Computing post^63 from 6 states.  2 states merged within 8 states. Computing post^178 from 6 states. Computing post^99 from 9 states. Computing post^64 from 10 states.  2 states merged within 8 states. Computing post^184 from 6 states. Computing post^97 from 9 states. Computing post^65 from 6 states. Computing post^179 from 6 states. Computing post^66 from 10 states. Computing post^185 from 6 states. Computing post^67 from 6 states.  2 states merged within 8 states. Computing post^180 from 6 states. Computing post^68 from 10 states. Computing post^100 from 15 states. Computing post^69 from 6 states.  2 states merged within 8 states. Computing post^186 from 6 states. Computing post^98 from 15 states. Computing post^181 from 6 states. Computing post^70 from 10 states. Computing post^101 from 9 states. Computing post^71 from 6 states. Computing post^187 from 6 states. Computing post^99 from 9 states.  2 states merged within 8 states. Computing post^182 from 6 states. Computing post^72 from 10 states. Computing post^73 from 6 states. Computing post^183 from 6 states.  2 states merged within 8 states. Computing post^188 from 6 states.  59 states merged within 190 states. Computing post^25 from 133 states. Computing post^74 from 10 states. Computing post^102 from 15 states. Computing post^75 from 6 states. Computing post^189 from 6 states.  2 states merged within 8 states. Computing post^184 from 6 states. Computing post^76 from 10 states. Computing post^103 from 9 states. Computing post^100 from 15 states. Computing post^185 from 6 states. Computing post^77 from 6 states.  2 states merged within 8 states. Computing post^190 from 6 states. Computing post^78 from 10 states.  2 states merged within 8 states. Computing post^186 from 6 states. Computing post^101 from 9 states. Computing post^79 from 6 states. Computing post^191 from 6 states. Computing post^80 from 10 states. Computing post^187 from 6 states. Computing post^104 from 15 states. Computing post^81 from 6 states.  2 states merged within 8 states. Computing post^192 from 6 states.  2 states merged within 8 states. Computing post^105 from 9 states. Computing post^188 from 6 states. Computing post^82 from 10 states. Computing post^193 from 6 states. Computing post^83 from 6 states. Computing post^102 from 15 states.  108 states merged within 291 states. Computing post^29 from 197 states. Computing post^189 from 6 states. Computing post^84 from 10 states. Computing post^103 from 9 states.  2 states merged within 8 states. Computing post^194 from 6 states. Computing post^85 from 6 states.  2 states merged within 8 states. Computing post^190 from 6 states. Computing post^106 from 15 states. Computing post^86 from 10 states. Computing post^195 from 6 states. Computing post^87 from 6 states. Computing post^191 from 6 states. Computing post^107 from 9 states. Computing post^88 from 10 states.  2 states merged within 8 states. Computing post^196 from 6 states. Computing post^104 from 15 states. Computing post^89 from 6 states.  2 states merged within 8 states. Computing post^192 from 6 states. Computing post^197 from 6 states. Computing post^105 from 9 states. Computing post^90 from 10 states. Computing post^193 from 6 states. Computing post^91 from 6 states. Computing post^108 from 15 states.  83 states merged within 209 states. Computing post^26 from 131 states.  2 states merged within 8 states. Computing post^198 from 6 states.  2 states merged within 8 states. Computing post^194 from 6 states. Computing post^92 from 10 states. Computing post^93 from 6 states. Computing post^109 from 9 states. Computing post^199 from 6 states. Computing post^195 from 6 states. Computing post^106 from 15 states. Computing post^94 from 10 states. Computing post^95 from 6 states.  2 states merged within 8 states.  State space exploration stopped at a depth of 200: 1282 states with 1714 transitions in the final state space.  [NZCUB] Algorithm completed after 167.708 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^107 from 9 states.  2 states merged within 8 states.  [NZCUB] Found a cycle. Computing post^196 from 6 states.  [NZCUB] Cycle found, but in 0-time Computing post^2 from 6 states. Computing post^96 from 10 states. Computing post^3 from 14 states. Computing post^110 from 15 states. Computing post^4 from 17 states. Computing post^97 from 6 states. Computing post^5 from 15 states. Computing post^6 from 15 states.  1 state merged within 13 states. Computing post^7 from 12 states.  3 states merged within 9 states. Computing post^8 from 6 states. Computing post^9 from 6 states. Computing post^98 from 10 states. Computing post^10 from 10 states. Computing post^111 from 9 states. Computing post^11 from 6 states. Computing post^12 from 10 states. Computing post^197 from 6 states. Computing post^13 from 6 states. Computing post^99 from 6 states. Computing post^14 from 10 states. Computing post^15 from 6 states. Computing post^16 from 10 states. Computing post^17 from 6 states. Computing post^18 from 10 states. Computing post^19 from 6 states. Computing post^100 from 10 states. Computing post^20 from 10 states. Computing post^21 from 6 states. Computing post^101 from 6 states. Computing post^108 from 15 states. Computing post^22 from 10 states. Computing post^23 from 6 states.  2 states merged within 8 states. Computing post^24 from 10 states. Computing post^198 from 6 states. Computing post^25 from 6 states. Computing post^112 from 15 states. Computing post^26 from 10 states. Computing post^102 from 10 states. Computing post^27 from 6 states. Computing post^28 from 10 states. Computing post^103 from 6 states. Computing post^29 from 6 states. Computing post^113 from 9 states. Computing post^30 from 10 states. Computing post^109 from 9 states. Computing post^31 from 6 states. Computing post^199 from 6 states. Computing post^32 from 10 states. Computing post^33 from 6 states. Computing post^104 from 10 states. Computing post^34 from 10 states. Computing post^35 from 6 states. Computing post^105 from 6 states.  2 states merged within 8 states.  State space exploration stopped at a depth of 200: 1250 states with 1610 transitions in the final state space.  [NZCUB] Algorithm completed after 170.270 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^36 from 10 states. Computing post^37 from 6 states. Computing post^2 from 7 states. Computing post^38 from 10 states. Computing post^106 from 10 states. Computing post^3 from 19 states. Computing post^39 from 6 states. Computing post^114 from 15 states. Computing post^4 from 26 states. Computing post^107 from 6 states. Computing post^40 from 10 states. Computing post^5 from 21 states. Computing post^41 from 6 states. Computing post^6 from 13 states.  2 states merged within 9 states. Computing post^7 from 7 states.  64 states merged within 213 states. Computing post^27 from 154 states.  1 state merged within 5 states. Computing post^8 from 4 states. Computing post^42 from 10 states. Computing post^9 from 7 states.  2 states merged within 11 states. Computing post^43 from 6 states. Computing post^110 from 15 states. Computing post^10 from 9 states. Computing post^115 from 9 states. Computing post^108 from 10 states.  3 states merged within 15 states. Computing post^11 from 12 states. Computing post^44 from 10 states.  7 states merged within 20 states. Computing post^12 from 13 states. Computing post^45 from 6 states. Computing post^109 from 6 states.  3 states merged within 21 states. Computing post^13 from 18 states. Computing post^46 from 10 states. Computing post^111 from 9 states. Computing post^47 from 6 states.  7 states merged within 27 states. Computing post^14 from 20 states. Computing post^110 from 10 states.  3 states merged within 29 states. Computing post^15 from 26 states. Computing post^48 from 10 states. Computing post^111 from 6 states. Computing post^49 from 6 states.  7 states merged within 34 states. Computing post^16 from 27 states. Computing post^116 from 15 states.  125 states merged within 326 states. Computing post^30 from 214 states. Computing post^50 from 10 states. Computing post^112 from 10 states.  11 states merged within 46 states. Computing post^51 from 6 states. Computing post^17 from 35 states. Computing post^112 from 15 states. Computing post^113 from 6 states. Computing post^117 from 9 states. Computing post^52 from 10 states. Computing post^53 from 6 states.  22 states merged within 55 states. Computing post^18 from 33 states. Computing post^54 from 10 states. Computing post^113 from 9 states. Computing post^55 from 6 states. Computing post^114 from 10 states. Computing post^115 from 6 states. Computing post^56 from 10 states. Computing post^57 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time Computing post^58 from 10 states.  7 states merged within 50 states. Computing post^59 from 6 states. Computing post^19 from 43 states. Computing post^116 from 10 states. Computing post^118 from 15 states. Computing post^117 from 6 states. Computing post^60 from 10 states. Computing post^114 from 15 states. Computing post^61 from 6 states. Computing post^62 from 10 states. Computing post^118 from 10 states. Computing post^63 from 6 states. Computing post^115 from 9 states. Computing post^119 from 9 states.  22 states merged within 67 states. Computing post^20 from 45 states. Computing post^119 from 6 states. Computing post^64 from 10 states. Computing post^65 from 6 states. Computing post^66 from 10 states. Computing post^120 from 10 states. Computing post^67 from 6 states. Computing post^121 from 6 states. Computing post^68 from 10 states.  18 states merged within 77 states. Computing post^21 from 59 states. Computing post^69 from 6 states. Computing post^116 from 15 states. Computing post^120 from 15 states. Computing post^122 from 10 states. Computing post^70 from 10 states. Computing post^123 from 6 states. Computing post^117 from 9 states. Computing post^121 from 9 states. Computing post^71 from 6 states. Computing post^124 from 10 states. Computing post^72 from 10 states.  107 states merged within 258 states. Computing post^28 from 163 states. Computing post^73 from 6 states. Computing post^125 from 6 states.  30 states merged within 95 states. Computing post^22 from 65 states. Computing post^74 from 10 states. Computing post^75 from 6 states. Computing post^126 from 10 states. Computing post^76 from 10 states. Computing post^127 from 6 states. Computing post^77 from 6 states. Computing post^122 from 15 states. Computing post^118 from 15 states. Computing post^78 from 10 states. Computing post^79 from 6 states. Computing post^128 from 10 states. Computing post^119 from 9 states. Computing post^123 from 9 states. Computing post^129 from 6 states. Computing post^80 from 10 states. Computing post^81 from 6 states. Computing post^82 from 10 states.  21 states merged within 102 states. Computing post^23 from 81 states. Computing post^130 from 10 states. Computing post^83 from 6 states. Computing post^131 from 6 states.  [NZCUB] Found a cycle. Computing post^84 from 10 states. Computing post^124 from 15 states. Computing post^120 from 15 states. Computing post^85 from 6 states. Computing post^132 from 10 states. Computing post^86 from 10 states. Computing post^133 from 6 states. Computing post^125 from 9 states. Computing post^121 from 9 states. Computing post^87 from 6 states. Computing post^88 from 10 states. Computing post^134 from 10 states. Computing post^89 from 6 states. Computing post^135 from 6 states. Computing post^90 from 10 states. Computing post^91 from 6 states. Computing post^126 from 15 states. Computing post^122 from 15 states. Computing post^136 from 10 states. Computing post^92 from 10 states. Computing post^137 from 6 states. Computing post^93 from 6 states. Computing post^127 from 9 states. Computing post^123 from 9 states.  38 states merged within 123 states. Computing post^24 from 85 states. Computing post^94 from 10 states. Computing post^95 from 6 states. Computing post^138 from 10 states. Computing post^139 from 6 states. Computing post^96 from 10 states.  126 states merged within 343 states. Computing post^31 from 234 states. Computing post^97 from 6 states. Computing post^128 from 15 states. Computing post^124 from 15 states. Computing post^140 from 10 states. Computing post^98 from 10 states. Computing post^141 from 6 states. Computing post^99 from 6 states. Computing post^129 from 9 states. Computing post^125 from 9 states. Computing post^100 from 10 states.  108 states merged within 291 states. Computing post^29 from 197 states. Computing post^101 from 6 states. Computing post^142 from 10 states. Computing post^143 from 6 states. Computing post^102 from 10 states. Computing post^103 from 6 states. Computing post^130 from 15 states.  43 states merged within 142 states. Computing post^25 from 101 states. Computing post^144 from 10 states. Computing post^126 from 15 states. Computing post^104 from 10 states. Computing post^145 from 6 states. Computing post^105 from 6 states. Computing post^131 from 9 states. Computing post^127 from 9 states. Computing post^106 from 10 states. Computing post^146 from 10 states. Computing post^107 from 6 states. Computing post^147 from 6 states. Computing post^108 from 10 states. Computing post^109 from 6 states. Computing post^132 from 15 states. Computing post^148 from 10 states. Computing post^128 from 15 states. Computing post^110 from 10 states. Computing post^149 from 6 states. Computing post^133 from 9 states. Computing post^111 from 6 states. Computing post^129 from 9 states. Computing post^112 from 10 states. Computing post^150 from 10 states. Computing post^113 from 6 states. Computing post^151 from 6 states. Computing post^114 from 10 states. Computing post^134 from 15 states. Computing post^115 from 6 states.  76 states merged within 174 states. Computing post^26 from 102 states. Computing post^152 from 10 states. Computing post^153 from 6 states. Computing post^135 from 9 states. Computing post^130 from 15 states. Computing post^116 from 10 states. Computing post^117 from 6 states. Computing post^131 from 9 states. Computing post^154 from 10 states. Computing post^118 from 10 states. Computing post^155 from 6 states. Computing post^119 from 6 states. Computing post^136 from 15 states. Computing post^120 from 10 states. Computing post^156 from 10 states. Computing post^121 from 6 states. Computing post^157 from 6 states. Computing post^137 from 9 states. Computing post^132 from 15 states. Computing post^122 from 10 states. Computing post^123 from 6 states. Computing post^158 from 10 states. Computing post^133 from 9 states. Computing post^159 from 6 states. Computing post^124 from 10 states. Computing post^125 from 6 states. Computing post^138 from 15 states.  129 states merged within 330 states. Computing post^30 from 214 states. Computing post^160 from 10 states. Computing post^126 from 10 states.  65 states merged within 180 states. Computing post^27 from 120 states. Computing post^139 from 9 states. Computing post^161 from 6 states. Computing post^127 from 6 states. Computing post^134 from 15 states. Computing post^128 from 10 states. Computing post^162 from 10 states. Computing post^129 from 6 states. Computing post^135 from 9 states. Computing post^163 from 6 states. Computing post^140 from 15 states. Computing post^130 from 10 states.  177 states merged within 407 states. Computing post^32 from 255 states. Computing post^131 from 6 states. Computing post^164 from 10 states. Computing post^141 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time Computing post^132 from 10 states. Computing post^165 from 6 states. Computing post^136 from 15 states. Computing post^133 from 6 states. Computing post^137 from 9 states. Computing post^166 from 10 states. Computing post^134 from 10 states. Computing post^135 from 6 states. Computing post^167 from 6 states. Computing post^142 from 15 states. Computing post^136 from 10 states. Computing post^168 from 10 states. Computing post^137 from 6 states. Computing post^143 from 9 states. Computing post^169 from 6 states. Computing post^138 from 15 states. Computing post^138 from 10 states.  85 states merged within 203 states. Computing post^139 from 6 states. Computing post^28 from 127 states. Computing post^139 from 9 states. Computing post^170 from 10 states. Computing post^171 from 6 states. Computing post^144 from 15 states. Computing post^140 from 10 states. Computing post^141 from 6 states. Computing post^145 from 9 states. Computing post^172 from 10 states. Computing post^140 from 15 states. Computing post^173 from 6 states. Computing post^142 from 10 states. Computing post^143 from 6 states. Computing post^141 from 9 states.  [NZCUB] Found a cycle. Computing post^174 from 10 states.  [NZCUB] Found a cycle. Computing post^146 from 15 states. Computing post^175 from 6 states. Computing post^144 from 10 states. Computing post^145 from 6 states. Computing post^147 from 9 states. Computing post^176 from 10 states. Computing post^146 from 10 states. Computing post^142 from 15 states. Computing post^177 from 6 states. Computing post^147 from 6 states. Computing post^143 from 9 states. Computing post^148 from 10 states. Computing post^178 from 10 states. Computing post^149 from 6 states. Computing post^148 from 15 states. Computing post^179 from 6 states.  133 states merged within 350 states. Computing post^31 from 234 states. Computing post^150 from 10 states. Computing post^149 from 9 states.  83 states merged within 222 states. Computing post^29 from 150 states. Computing post^151 from 6 states. Computing post^180 from 10 states. Computing post^144 from 15 states. Computing post^181 from 6 states. Computing post^152 from 10 states. Computing post^145 from 9 states. Computing post^153 from 6 states. Computing post^150 from 15 states. Computing post^182 from 10 states. Computing post^154 from 10 states. Computing post^183 from 6 states. Computing post^155 from 6 states. Computing post^151 from 9 states. Computing post^146 from 15 states. Computing post^156 from 10 states. Computing post^184 from 10 states. Computing post^157 from 6 states. Computing post^185 from 6 states. Computing post^147 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time Computing post^152 from 15 states. Computing post^158 from 10 states. Computing post^186 from 10 states. Computing post^159 from 6 states. Computing post^153 from 9 states. Computing post^187 from 6 states. Computing post^160 from 10 states. Computing post^148 from 15 states. Computing post^161 from 6 states.  191 states merged within 444 states. Computing post^188 from 10 states. Computing post^33 from 275 states. Computing post^149 from 9 states. Computing post^162 from 10 states. Computing post^189 from 6 states. Computing post^154 from 15 states. Computing post^163 from 6 states. Computing post^190 from 10 states. Computing post^155 from 9 states. Computing post^164 from 10 states.  90 states merged within 242 states. Computing post^30 from 162 states. Computing post^165 from 6 states. Computing post^191 from 6 states. Computing post^150 from 15 states. Computing post^166 from 10 states. Computing post^151 from 9 states. Computing post^192 from 10 states. Computing post^167 from 6 states. Computing post^156 from 15 states. Computing post^193 from 6 states. Computing post^168 from 10 states. Computing post^157 from 9 states. Computing post^169 from 6 states. Computing post^194 from 10 states. Computing post^152 from 15 states.  [NZCUB] Found a cycle. Computing post^195 from 6 states. Computing post^170 from 10 states. Computing post^171 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time Computing post^153 from 9 states. Computing post^158 from 15 states. Computing post^196 from 10 states. Computing post^197 from 6 states. Computing post^172 from 10 states. Computing post^159 from 9 states. Computing post^173 from 6 states. Computing post^198 from 10 states.  196 states merged within 426 states. Computing post^32 from 255 states. Computing post^154 from 15 states. Computing post^174 from 10 states. Computing post^199 from 6 states. Computing post^175 from 6 states. Computing post^155 from 9 states. Computing post^160 from 15 states. Computing post^176 from 10 states.  State space exploration stopped at a depth of 200: 1646 states with 1838 transitions in the final state space.  [NZCUB] Algorithm completed after 208.503 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^177 from 6 states. Computing post^161 from 9 states. Computing post^2 from 6 states. Computing post^3 from 14 states. Computing post^4 from 17 states. Computing post^5 from 14 states. Computing post^6 from 11 states.  1 state merged within 8 states. Computing post^7 from 7 states.  2 states merged within 6 states. Computing post^8 from 4 states. Computing post^9 from 7 states.  1 state merged within 10 states. Computing post^10 from 9 states.  2 states merged within 14 states. Computing post^11 from 12 states. Computing post^178 from 10 states.  7 states merged within 20 states. Computing post^12 from 13 states. Computing post^156 from 15 states.  3 states merged within 21 states. Computing post^179 from 6 states. Computing post^13 from 18 states.  8 states merged within 28 states. Computing post^14 from 20 states.  98 states merged within 261 states. Computing post^31 from 176 states.  6 states merged within 32 states. Computing post^15 from 26 states. Computing post^162 from 15 states. Computing post^157 from 9 states.  8 states merged within 35 states. Computing post^16 from 27 states. Computing post^180 from 10 states. Computing post^181 from 6 states.  13 states merged within 48 states. Computing post^17 from 35 states. Computing post^163 from 9 states.  19 states merged within 52 states. Computing post^18 from 33 states. Computing post^182 from 10 states. Computing post^183 from 6 states. Computing post^158 from 15 states.  12 states merged within 55 states. Computing post^19 from 43 states. Computing post^164 from 15 states. Computing post^184 from 10 states. Computing post^159 from 9 states. Computing post^185 from 6 states.  21 states merged within 66 states. Computing post^20 from 45 states. Computing post^165 from 9 states.  [NZCUB] Found a cycle. Computing post^186 from 10 states. Computing post^187 from 6 states.  19 states merged within 78 states. Computing post^21 from 59 states. Computing post^160 from 15 states. Computing post^188 from 10 states. Computing post^166 from 15 states. Computing post^161 from 9 states. Computing post^189 from 6 states. Computing post^167 from 9 states.  32 states merged within 97 states. Computing post^22 from 65 states. Computing post^190 from 10 states.  168 states merged within 428 states. Computing post^34 from 287 states. Computing post^191 from 6 states. Computing post^162 from 15 states. Computing post^192 from 10 states. Computing post^168 from 15 states.  22 states merged within 103 states. Computing post^23 from 81 states. Computing post^193 from 6 states. Computing post^163 from 9 states. Computing post^169 from 9 states. Computing post^194 from 10 states. Computing post^195 from 6 states. Computing post^164 from 15 states. Computing post^196 from 10 states.  31 states merged within 116 states. Computing post^24 from 85 states. Computing post^170 from 15 states. Computing post^197 from 6 states. Computing post^165 from 9 states.  136 states merged within 311 states. Computing post^32 from 193 states. Computing post^171 from 9 states. Computing post^198 from 10 states.  180 states merged within 433 states. Computing post^33 from 275 states. Computing post^199 from 6 states. Computing post^166 from 15 states.  State space exploration stopped at a depth of 200: 1622 states with 1762 transitions in the final state space.  [NZCUB] Algorithm completed after 219.365 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^172 from 15 states. Computing post^2 from 7 states. Computing post^3 from 19 states.  42 states merged within 141 states. Computing post^25 from 101 states. Computing post^167 from 9 states. Computing post^4 from 26 states. Computing post^5 from 22 states. Computing post^6 from 17 states. Computing post^173 from 9 states.  1 state merged within 13 states. Computing post^7 from 12 states.  1 state merged within 7 states. Computing post^8 from 6 states. Computing post^9 from 6 states. Computing post^10 from 10 states. Computing post^11 from 6 states. Computing post^12 from 10 states. Computing post^13 from 6 states.  [NZCUB] Found a cycle. Computing post^14 from 10 states. Computing post^15 from 6 states. Computing post^16 from 10 states. Computing post^17 from 6 states. Computing post^18 from 10 states. Computing post^19 from 6 states. Computing post^20 from 10 states.  [NZCUB] Found a cycle. Computing post^21 from 6 states. Computing post^22 from 10 states. Computing post^23 from 6 states. Computing post^24 from 10 states. Computing post^25 from 6 states. Computing post^168 from 15 states. Computing post^26 from 10 states. Computing post^27 from 6 states. Computing post^28 from 10 states. Computing post^29 from 6 states. Computing post^174 from 15 states. Computing post^30 from 10 states. Computing post^31 from 6 states. Computing post^32 from 10 states. Computing post^33 from 6 states. Computing post^169 from 9 states. Computing post^34 from 10 states. Computing post^35 from 6 states. Computing post^175 from 9 states. Computing post^36 from 10 states. Computing post^37 from 6 states. Computing post^38 from 10 states. Computing post^39 from 6 states. Computing post^40 from 10 states. Computing post^41 from 6 states.  60 states merged within 158 states. Computing post^26 from 102 states. Computing post^42 from 10 states. Computing post^43 from 6 states. Computing post^44 from 10 states. Computing post^45 from 6 states. Computing post^170 from 15 states. Computing post^46 from 10 states. Computing post^47 from 6 states. Computing post^176 from 15 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time Computing post^48 from 10 states. Computing post^49 from 6 states. Computing post^171 from 9 states. Computing post^50 from 10 states. Computing post^51 from 6 states. Computing post^177 from 9 states. Computing post^52 from 10 states. Computing post^53 from 6 states. Computing post^54 from 10 states. Computing post^55 from 6 states. Computing post^56 from 10 states. Computing post^57 from 6 states. Computing post^58 from 10 states. Computing post^59 from 6 states. Computing post^172 from 15 states. Computing post^60 from 10 states. Computing post^178 from 15 states. Computing post^61 from 6 states. Computing post^62 from 10 states. Computing post^63 from 6 states. Computing post^173 from 9 states.  66 states merged within 181 states. Computing post^27 from 120 states. Computing post^64 from 10 states. Computing post^179 from 9 states. Computing post^65 from 6 states.  137 states merged within 330 states. Computing post^33 from 210 states. Computing post^66 from 10 states. Computing post^67 from 6 states. Computing post^68 from 10 states. Computing post^69 from 6 states. Computing post^70 from 10 states. Computing post^71 from 6 states. Computing post^174 from 15 states. Computing post^180 from 15 states. Computing post^72 from 10 states. Computing post^73 from 6 states. Computing post^74 from 10 states. Computing post^175 from 9 states. Computing post^75 from 6 states. Computing post^181 from 9 states. Computing post^76 from 10 states. Computing post^77 from 6 states. Computing post^78 from 10 states.  191 states merged within 471 states. Computing post^35 from 307 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time Computing post^79 from 6 states. Computing post^80 from 10 states. Computing post^81 from 6 states. Computing post^176 from 15 states. Computing post^182 from 15 states. Computing post^82 from 10 states. Computing post^83 from 6 states.  96 states merged within 214 states. Computing post^28 from 127 states. Computing post^84 from 10 states. Computing post^177 from 9 states. Computing post^183 from 9 states. Computing post^85 from 6 states.  190 states merged within 450 states. Computing post^34 from 287 states. Computing post^86 from 10 states. Computing post^87 from 6 states. Computing post^88 from 10 states. Computing post^89 from 6 states. Computing post^90 from 10 states. Computing post^178 from 15 states. Computing post^184 from 15 states. Computing post^91 from 6 states.  [NZCUB] Found a cycle. Computing post^92 from 10 states. Computing post^93 from 6 states. Computing post^179 from 9 states. Computing post^185 from 9 states. Computing post^94 from 10 states. Computing post^95 from 6 states. Computing post^96 from 10 states. Computing post^97 from 6 states.  [NZCUB] Found a cycle. Computing post^98 from 10 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time Computing post^99 from 6 states. Computing post^186 from 15 states. Computing post^180 from 15 states. Computing post^100 from 10 states. Computing post^101 from 6 states.  77 states merged within 216 states. Computing post^29 from 150 states. Computing post^187 from 9 states. Computing post^181 from 9 states. Computing post^102 from 10 states. Computing post^103 from 6 states. Computing post^104 from 10 states. Computing post^105 from 6 states. Computing post^106 from 10 states.  155 states merged within 356 states. Computing post^34 from 221 states. Computing post^107 from 6 states. Computing post^188 from 15 states. Computing post^182 from 15 states. Computing post^108 from 10 states. Computing post^109 from 6 states. Computing post^189 from 9 states. Computing post^183 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time Computing post^110 from 10 states. Computing post^111 from 6 states. Computing post^112 from 10 states. Computing post^113 from 6 states. Computing post^114 from 10 states. Computing post^190 from 15 states. Computing post^115 from 6 states. Computing post^184 from 15 states. Computing post^116 from 10 states. Computing post^191 from 9 states. Computing post^117 from 6 states. Computing post^185 from 9 states. Computing post^118 from 10 states. Computing post^119 from 6 states.  101 states merged within 253 states. Computing post^30 from 162 states. Computing post^120 from 10 states. Computing post^121 from 6 states. Computing post^192 from 15 states.  [NZCUB] Found a cycle. Computing post^122 from 10 states. Computing post^186 from 15 states. Computing post^123 from 6 states. Computing post^193 from 9 states. Computing post^124 from 10 states. Computing post^187 from 9 states. Computing post^125 from 6 states. Computing post^126 from 10 states. Computing post^127 from 6 states. Computing post^128 from 10 states. Computing post^194 from 15 states. Computing post^129 from 6 states. Computing post^188 from 15 states. Computing post^130 from 10 states. Computing post^195 from 9 states. Computing post^131 from 6 states. Computing post^189 from 9 states. Computing post^132 from 10 states. Computing post^133 from 6 states.  194 states merged within 474 states. Computing post^35 from 307 states.  200 states merged within 501 states. Computing post^36 from 334 states. Computing post^134 from 10 states. Computing post^196 from 15 states. Computing post^135 from 6 states. Computing post^136 from 10 states. Computing post^190 from 15 states. Computing post^197 from 9 states. Computing post^137 from 6 states.  120 states merged within 283 states. Computing post^31 from 176 states. Computing post^191 from 9 states. Computing post^138 from 10 states.  158 states merged within 374 states. Computing post^35 from 237 states. Computing post^139 from 6 states. Computing post^140 from 10 states. Computing post^141 from 6 states. Computing post^198 from 15 states. Computing post^142 from 10 states. Computing post^192 from 15 states. Computing post^199 from 9 states. Computing post^143 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time Computing post^193 from 9 states. Computing post^144 from 10 states. Computing post^145 from 6 states. Computing post^146 from 10 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time Computing post^147 from 6 states.  State space exploration stopped at a depth of 200: 2419 states with 2615 transitions in the final state space.  [NZCUB] Algorithm completed after 250.047 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^148 from 10 states. Computing post^2 from 6 states. Computing post^3 from 14 states. Computing post^194 from 15 states. Computing post^4 from 17 states. Computing post^149 from 6 states. Computing post^5 from 15 states. Computing post^6 from 15 states.  1 state merged within 13 states. Computing post^7 from 12 states.  3 states merged within 9 states. Computing post^8 from 6 states. Computing post^9 from 6 states. Computing post^10 from 10 states. Computing post^11 from 6 states. Computing post^12 from 10 states. Computing post^13 from 6 states. Computing post^14 from 10 states. Computing post^15 from 6 states. Computing post^150 from 10 states. Computing post^16 from 10 states. Computing post^17 from 6 states. Computing post^195 from 9 states. Computing post^18 from 10 states. Computing post^19 from 6 states. Computing post^151 from 6 states. Computing post^20 from 10 states. Computing post^21 from 6 states. Computing post^22 from 10 states. Computing post^23 from 6 states. Computing post^24 from 10 states. Computing post^25 from 6 states. Computing post^26 from 10 states. Computing post^27 from 6 states. Computing post^152 from 10 states. Computing post^28 from 10 states. Computing post^29 from 6 states. Computing post^30 from 10 states. Computing post^153 from 6 states. Computing post^31 from 6 states. Computing post^32 from 10 states. Computing post^33 from 6 states. Computing post^34 from 10 states. Computing post^35 from 6 states. Computing post^36 from 10 states. Computing post^154 from 10 states. Computing post^37 from 6 states. Computing post^38 from 10 states. Computing post^196 from 15 states. Computing post^39 from 6 states. Computing post^155 from 6 states. Computing post^40 from 10 states. Computing post^41 from 6 states. Computing post^42 from 10 states. Computing post^43 from 6 states. Computing post^156 from 10 states. Computing post^44 from 10 states. Computing post^197 from 9 states.  117 states merged within 292 states. Computing post^32 from 193 states. Computing post^45 from 6 states. Computing post^157 from 6 states. Computing post^46 from 10 states. Computing post^47 from 6 states. Computing post^48 from 10 states. Computing post^49 from 6 states. Computing post^50 from 10 states. Computing post^158 from 10 states. Computing post^51 from 6 states. Computing post^159 from 6 states. Computing post^52 from 10 states. Computing post^53 from 6 states. Computing post^54 from 10 states. Computing post^55 from 6 states. Computing post^160 from 10 states. Computing post^56 from 10 states. Computing post^57 from 6 states. Computing post^198 from 15 states. Computing post^161 from 6 states. Computing post^58 from 10 states. Computing post^59 from 6 states. Computing post^60 from 10 states. Computing post^61 from 6 states. Computing post^162 from 10 states. Computing post^199 from 9 states. Computing post^62 from 10 states. Computing post^63 from 6 states. Computing post^163 from 6 states. Computing post^64 from 10 states. Computing post^65 from 6 states. Computing post^66 from 10 states. Computing post^164 from 10 states. Computing post^67 from 6 states. Computing post^165 from 6 states. Computing post^68 from 10 states. Computing post^69 from 6 states. Computing post^70 from 10 states. Computing post^71 from 6 states. Computing post^166 from 10 states. Computing post^72 from 10 states.  State space exploration stopped at a depth of 200: 2451 states with 2719 transitions in the final state space.  [NZCUB] Algorithm completed after 258.211 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^73 from 6 states. Computing post^167 from 6 states. Computing post^74 from 10 states. Computing post^2 from 7 states. Computing post^75 from 6 states. Computing post^3 from 19 states. Computing post^4 from 26 states. Computing post^5 from 21 states. Computing post^76 from 10 states. Computing post^168 from 10 states. Computing post^6 from 13 states.  2 states merged within 9 states. Computing post^7 from 7 states. Computing post^77 from 6 states.  1 state merged within 5 states. Computing post^8 from 4 states. Computing post^9 from 7 states.  2 states merged within 11 states. Computing post^10 from 9 states. Computing post^169 from 6 states.  2 states merged within 14 states. Computing post^11 from 12 states. Computing post^78 from 10 states.  6 states merged within 19 states. Computing post^12 from 13 states.  163 states merged within 393 states. Computing post^36 from 255 states. Computing post^79 from 6 states.  4 states merged within 22 states. Computing post^13 from 18 states.  7 states merged within 27 states. Computing post^14 from 20 states. Computing post^80 from 10 states.  4 states merged within 30 states. Computing post^15 from 26 states. Computing post^170 from 10 states. Computing post^81 from 6 states.  8 states merged within 35 states. Computing post^16 from 27 states.  212 states merged within 513 states. Computing post^36 from 334 states. Computing post^171 from 6 states. Computing post^82 from 10 states.  8 states merged within 43 states. Computing post^17 from 35 states. Computing post^83 from 6 states.  15 states merged within 48 states. Computing post^18 from 33 states. Computing post^84 from 10 states. Computing post^85 from 6 states. Computing post^172 from 10 states.  15 states merged within 58 states. Computing post^19 from 43 states. Computing post^173 from 6 states. Computing post^86 from 10 states. Computing post^87 from 6 states. Computing post^88 from 10 states.  22 states merged within 67 states. Computing post^20 from 45 states. Computing post^89 from 6 states. Computing post^174 from 10 states. Computing post^175 from 6 states. Computing post^90 from 10 states. Computing post^91 from 6 states.  13 states merged within 72 states. Computing post^21 from 59 states.  124 states merged within 317 states. Computing post^33 from 210 states. Computing post^92 from 10 states.  212 states merged within 550 states. Computing post^37 from 375 states. Computing post^93 from 6 states. Computing post^176 from 10 states. Computing post^177 from 6 states. Computing post^94 from 10 states.  26 states merged within 91 states. Computing post^22 from 65 states. Computing post^95 from 6 states. Computing post^96 from 10 states. Computing post^97 from 6 states. Computing post^178 from 10 states. Computing post^179 from 6 states. Computing post^98 from 10 states.  24 states merged within 105 states. Computing post^23 from 81 states. Computing post^99 from 6 states. Computing post^100 from 10 states.  [NZCUB] Found a cycle. Computing post^180 from 10 states. Computing post^101 from 6 states. Computing post^181 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time Computing post^102 from 10 states.  39 states merged within 124 states. Computing post^24 from 85 states. Computing post^103 from 6 states. Computing post^182 from 10 states. Computing post^183 from 6 states. Computing post^104 from 10 states. Computing post^105 from 6 states.  [NZCUB] Found a cycle. Computing post^184 from 10 states. Computing post^106 from 10 states. Computing post^107 from 6 states. Computing post^185 from 6 states.  41 states merged within 140 states. Computing post^25 from 101 states. Computing post^108 from 10 states. Computing post^109 from 6 states. Computing post^186 from 10 states. Computing post^110 from 10 states. Computing post^187 from 6 states. Computing post^111 from 6 states. Computing post^112 from 10 states. Computing post^113 from 6 states. Computing post^188 from 10 states. Computing post^189 from 6 states. Computing post^114 from 10 states.  66 states merged within 164 states. Computing post^26 from 102 states. Computing post^115 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time Computing post^190 from 10 states. Computing post^116 from 10 states. Computing post^117 from 6 states. Computing post^191 from 6 states. Computing post^118 from 10 states. Computing post^119 from 6 states. Computing post^192 from 10 states. Computing post^120 from 10 states. Computing post^193 from 6 states. Computing post^121 from 6 states.  55 states merged within 170 states. Computing post^27 from 120 states. Computing post^122 from 10 states. Computing post^194 from 10 states. Computing post^123 from 6 states.  164 states merged within 365 states. Computing post^34 from 221 states. Computing post^195 from 6 states. Computing post^124 from 10 states. Computing post^125 from 6 states. Computing post^196 from 10 states. Computing post^126 from 10 states. Computing post^197 from 6 states. Computing post^127 from 6 states.  177 states merged within 433 states. Computing post^37 from 284 states.  80 states merged within 198 states. Computing post^28 from 127 states. Computing post^198 from 10 states. Computing post^128 from 10 states. Computing post^129 from 6 states. Computing post^199 from 6 states. Computing post^130 from 10 states. Computing post^131 from 6 states.  State space exploration stopped at a depth of 200: 1646 states with 1838 transitions in the final state space.  [NZCUB] Algorithm completed after 274.143 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 6 states. Computing post^132 from 10 states. Computing post^3 from 14 states. Computing post^4 from 17 states. Computing post^5 from 14 states. Computing post^133 from 6 states. Computing post^6 from 11 states.  1 state merged within 8 states. Computing post^7 from 7 states.  2 states merged within 6 states. Computing post^8 from 4 states. Computing post^9 from 7 states. Computing post^10 from 9 states.  2 states merged within 14 states. Computing post^11 from 12 states.  5 states merged within 18 states. Computing post^12 from 13 states.  4 states merged within 22 states. Computing post^13 from 18 states. Computing post^134 from 10 states.  8 states merged within 28 states. Computing post^14 from 20 states. Computing post^135 from 6 states.  8 states merged within 34 states. Computing post^15 from 26 states.  5 states merged within 32 states. Computing post^16 from 27 states.  79 states merged within 218 states. Computing post^29 from 150 states. Computing post^136 from 10 states.  4 states merged within 39 states. Computing post^17 from 35 states. Computing post^137 from 6 states.  19 states merged within 52 states. Computing post^18 from 33 states.  202 states merged within 540 states. Computing post^37 from 375 states. Computing post^138 from 10 states.  11 states merged within 54 states. Computing post^19 from 43 states. Computing post^139 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  23 states merged within 68 states. Computing post^20 from 45 states. Computing post^140 from 10 states. Computing post^141 from 6 states.  11 states merged within 70 states. Computing post^21 from 59 states. Computing post^142 from 10 states. Computing post^143 from 6 states.  31 states merged within 96 states. Computing post^22 from 65 states. Computing post^144 from 10 states.  [NZCUB] Found a cycle. Computing post^145 from 6 states.  106 states merged within 258 states. Computing post^30 from 162 states. Computing post^146 from 10 states.  23 states merged within 104 states. Computing post^23 from 81 states. Computing post^147 from 6 states. Computing post^148 from 10 states. Computing post^149 from 6 states.  38 states merged within 123 states. Computing post^24 from 85 states. Computing post^150 from 10 states. Computing post^151 from 6 states. Computing post^152 from 10 states.  163 states merged within 379 states. Computing post^35 from 237 states. Computing post^153 from 6 states.  247 states merged within 600 states. Computing post^38 from 393 states.  37 states merged within 136 states. Computing post^25 from 101 states. Computing post^154 from 10 states. Computing post^155 from 6 states.  97 states merged within 260 states. Computing post^31 from 176 states. Computing post^156 from 10 states. Computing post^157 from 6 states. Computing post^158 from 10 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  70 states merged within 168 states. Computing post^26 from 102 states. Computing post^159 from 6 states. Computing post^160 from 10 states. Computing post^161 from 6 states. Computing post^162 from 10 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time Computing post^163 from 6 states.  55 states merged within 170 states. Computing post^27 from 120 states. Computing post^164 from 10 states.  [NZCUB] Found a cycle. Computing post^165 from 6 states. Computing post^166 from 10 states.  131 states merged within 306 states. Computing post^32 from 193 states. Computing post^167 from 6 states.  191 states merged within 457 states. Computing post^38 from 296 states.  [NZCUB] Found a cycle. Computing post^168 from 10 states. Computing post^169 from 6 states.  84 states merged within 202 states. Computing post^28 from 127 states. Computing post^170 from 10 states. Computing post^171 from 6 states. Computing post^172 from 10 states. Computing post^173 from 6 states. Computing post^174 from 10 states. Computing post^175 from 6 states. Computing post^176 from 10 states.  80 states merged within 219 states. Computing post^29 from 150 states. Computing post^177 from 6 states.  119 states merged within 312 states. Computing post^33 from 210 states. Computing post^178 from 10 states. Computing post^179 from 6 states. Computing post^180 from 10 states.  181 states merged within 411 states. Computing post^36 from 255 states. Computing post^181 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time Computing post^182 from 10 states. Computing post^183 from 6 states.  97 states merged within 249 states. Computing post^30 from 162 states. Computing post^184 from 10 states. Computing post^185 from 6 states.  265 states merged within 618 states. Computing post^38 from 393 states. Computing post^186 from 10 states. Computing post^187 from 6 states. Computing post^188 from 10 states. Computing post^189 from 6 states.  131 states merged within 332 states. Computing post^34 from 221 states. Computing post^190 from 10 states. Computing post^191 from 6 states.  86 states merged within 249 states. Computing post^31 from 176 states. Computing post^192 from 10 states.  [NZCUB] Found a cycle. Computing post^193 from 6 states. Computing post^194 from 10 states. Computing post^195 from 6 states. Computing post^196 from 10 states. Computing post^197 from 6 states. Computing post^198 from 10 states. Computing post^199 from 6 states.  130 states merged within 305 states. Computing post^32 from 193 states.  State space exploration stopped at a depth of 200: 1622 states with 1762 transitions in the final state space.  [NZCUB] Algorithm completed after 302.651 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 6 states. Computing post^3 from 14 states. Computing post^4 from 17 states. Computing post^5 from 14 states. Computing post^6 from 11 states. Computing post^7 from 7 states.  2 states merged within 5 states. Computing post^8 from 3 states. Computing post^9 from 3 states. Computing post^10 from 5 states. Computing post^11 from 3 states. Computing post^12 from 5 states. Computing post^13 from 3 states. Computing post^14 from 5 states. Computing post^15 from 3 states. Computing post^16 from 5 states. Computing post^17 from 3 states. Computing post^18 from 5 states. Computing post^19 from 3 states. Computing post^20 from 5 states. Computing post^21 from 3 states. Computing post^22 from 5 states. Computing post^23 from 3 states. Computing post^24 from 5 states. Computing post^25 from 3 states. Computing post^26 from 5 states. Computing post^27 from 3 states. Computing post^28 from 5 states. Computing post^29 from 3 states.  147 states merged within 363 states. Computing post^35 from 237 states. Computing post^30 from 5 states. Computing post^31 from 3 states. Computing post^32 from 5 states. Computing post^33 from 3 states. Computing post^34 from 5 states. Computing post^35 from 3 states. Computing post^36 from 5 states. Computing post^37 from 3 states. Computing post^38 from 5 states. Computing post^39 from 3 states.  218 states merged within 526 states. Computing post^39 from 340 states. Computing post^40 from 5 states. Computing post^41 from 3 states. Computing post^42 from 5 states. Computing post^43 from 3 states. Computing post^44 from 5 states. Computing post^45 from 3 states. Computing post^46 from 5 states. Computing post^47 from 3 states. Computing post^48 from 5 states. Computing post^49 from 3 states. Computing post^50 from 5 states. Computing post^51 from 3 states. Computing post^52 from 5 states.  268 states merged within 678 states. Computing post^53 from 3 states. Computing post^39 from 451 states. Computing post^54 from 5 states. Computing post^55 from 3 states. Computing post^56 from 5 states. Computing post^57 from 3 states. Computing post^58 from 5 states. Computing post^59 from 3 states. Computing post^60 from 5 states. Computing post^61 from 3 states. Computing post^62 from 5 states. Computing post^63 from 3 states. Computing post^64 from 5 states. Computing post^65 from 3 states. Computing post^66 from 5 states. Computing post^67 from 3 states. Computing post^68 from 5 states. Computing post^69 from 3 states. Computing post^70 from 5 states. Computing post^71 from 3 states. Computing post^72 from 5 states. Computing post^73 from 3 states. Computing post^74 from 5 states. Computing post^75 from 3 states. Computing post^76 from 5 states. Computing post^77 from 3 states. Computing post^78 from 5 states.  190 states merged within 446 states. Computing post^79 from 3 states. Computing post^37 from 284 states. Computing post^80 from 5 states. Computing post^81 from 3 states. Computing post^82 from 5 states. Computing post^83 from 3 states. Computing post^84 from 5 states. Computing post^85 from 3 states. Computing post^86 from 5 states.  127 states merged within 320 states. Computing post^33 from 210 states. Computing post^87 from 3 states. Computing post^88 from 5 states. Computing post^89 from 3 states. Computing post^90 from 5 states. Computing post^91 from 3 states. Computing post^92 from 5 states. Computing post^93 from 3 states. Computing post^94 from 5 states. Computing post^95 from 3 states. Computing post^96 from 5 states. Computing post^97 from 3 states. Computing post^98 from 5 states. Computing post^99 from 3 states. Computing post^100 from 5 states. Computing post^101 from 3 states. Computing post^102 from 5 states. Computing post^103 from 3 states. Computing post^104 from 5 states. Computing post^105 from 3 states. Computing post^106 from 5 states. Computing post^107 from 3 states. Computing post^108 from 5 states. Computing post^109 from 3 states. Computing post^110 from 5 states. Computing post^111 from 3 states. Computing post^112 from 5 states. Computing post^113 from 3 states. Computing post^114 from 5 states. Computing post^115 from 3 states. Computing post^116 from 5 states. Computing post^117 from 3 states. Computing post^118 from 5 states. Computing post^119 from 3 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time Computing post^120 from 5 states. Computing post^121 from 3 states. Computing post^122 from 5 states. Computing post^123 from 3 states. Computing post^124 from 5 states.  152 states merged within 382 states. Computing post^36 from 255 states. Computing post^125 from 3 states. Computing post^126 from 5 states. Computing post^127 from 3 states.  [NZCUB] Found a cycle. Computing post^128 from 5 states. Computing post^129 from 3 states. Computing post^130 from 5 states. Computing post^131 from 3 states. Computing post^132 from 5 states. Computing post^133 from 3 states. Computing post^134 from 5 states. Computing post^135 from 3 states. Computing post^136 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  137 states merged within 338 states. Computing post^34 from 221 states. Computing post^137 from 3 states. Computing post^138 from 5 states. Computing post^139 from 3 states. Computing post^140 from 5 states. Computing post^141 from 3 states. Computing post^142 from 5 states. Computing post^143 from 3 states. Computing post^144 from 5 states. Computing post^145 from 3 states.  [NZCUB] Found a cycle. Computing post^146 from 5 states. Computing post^147 from 3 states. Computing post^148 from 5 states. Computing post^149 from 3 states. Computing post^150 from 5 states. Computing post^151 from 3 states. Computing post^152 from 5 states. Computing post^153 from 3 states. Computing post^154 from 5 states. Computing post^155 from 3 states. Computing post^156 from 5 states. Computing post^157 from 3 states. Computing post^158 from 5 states. Computing post^159 from 3 states. Computing post^160 from 5 states. Computing post^161 from 3 states. Computing post^162 from 5 states. Computing post^163 from 3 states.  260 states merged within 670 states. Computing post^39 from 449 states. Computing post^164 from 5 states. Computing post^165 from 3 states. Computing post^166 from 5 states. Computing post^167 from 3 states. Computing post^168 from 5 states. Computing post^169 from 3 states. Computing post^170 from 5 states. Computing post^171 from 3 states. Computing post^172 from 5 states. Computing post^173 from 3 states. Computing post^174 from 5 states. Computing post^175 from 3 states.  147 states merged within 363 states. Computing post^35 from 237 states. Computing post^176 from 5 states.  162 states merged within 418 states. Computing post^37 from 284 states. Computing post^177 from 3 states. Computing post^178 from 5 states. Computing post^179 from 3 states. Computing post^180 from 5 states. Computing post^181 from 3 states. Computing post^182 from 5 states. Computing post^183 from 3 states. Computing post^184 from 5 states. Computing post^185 from 3 states. Computing post^186 from 5 states. Computing post^187 from 3 states.  206 states merged within 472 states. Computing post^38 from 296 states. Computing post^188 from 5 states. Computing post^189 from 3 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time Computing post^190 from 5 states. Computing post^191 from 3 states. Computing post^192 from 5 states. Computing post^193 from 3 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time Computing post^194 from 5 states. Computing post^195 from 3 states. Computing post^196 from 5 states. Computing post^197 from 3 states. Computing post^198 from 5 states. Computing post^199 from 3 states.  240 states merged within 548 states. Computing post^40 from 341 states.  State space exploration stopped at a depth of 200: 841 states with 957 transitions in the final state space.  [NZCUB] Algorithm completed after 323.839 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 5 states. Computing post^3 from 10 states. Computing post^4 from 11 states. Computing post^5 from 10 states. Computing post^6 from 10 states.  1 state merged within 8 states. Computing post^7 from 7 states.  2 states merged within 5 states. Computing post^8 from 3 states. Computing post^9 from 3 states. Computing post^10 from 5 states. Computing post^11 from 3 states. Computing post^12 from 5 states. Computing post^13 from 3 states. Computing post^14 from 5 states. Computing post^15 from 3 states. Computing post^16 from 5 states. Computing post^17 from 3 states. Computing post^18 from 5 states. Computing post^19 from 3 states. Computing post^20 from 5 states. Computing post^21 from 3 states. Computing post^22 from 5 states. Computing post^23 from 3 states. Computing post^24 from 5 states. Computing post^25 from 3 states. Computing post^26 from 5 states. Computing post^27 from 3 states. Computing post^28 from 5 states. Computing post^29 from 3 states. Computing post^30 from 5 states. Computing post^31 from 3 states. Computing post^32 from 5 states. Computing post^33 from 3 states. Computing post^34 from 5 states. Computing post^35 from 3 states. Computing post^36 from 5 states. Computing post^37 from 3 states. Computing post^38 from 5 states. Computing post^39 from 3 states. Computing post^40 from 5 states. Computing post^41 from 3 states. Computing post^42 from 5 states. Computing post^43 from 3 states. Computing post^44 from 5 states. Computing post^45 from 3 states. Computing post^46 from 5 states. Computing post^47 from 3 states. Computing post^48 from 5 states. Computing post^49 from 3 states. Computing post^50 from 5 states. Computing post^51 from 3 states. Computing post^52 from 5 states. Computing post^53 from 3 states. Computing post^54 from 5 states. Computing post^55 from 3 states. Computing post^56 from 5 states. Computing post^57 from 3 states.  160 states merged within 390 states. Computing post^36 from 255 states. Computing post^58 from 5 states. Computing post^59 from 3 states. Computing post^60 from 5 states.  [NZCUB] Found a cycle. Computing post^61 from 3 states.  [NZCUB] Cycle found, but in 0-time Computing post^62 from 5 states. Computing post^63 from 3 states. Computing post^64 from 5 states. Computing post^65 from 3 states. Computing post^66 from 5 states. Computing post^67 from 3 states. Computing post^68 from 5 states. Computing post^69 from 3 states. Computing post^70 from 5 states. Computing post^71 from 3 states. Computing post^72 from 5 states. Computing post^73 from 3 states. Computing post^74 from 5 states. Computing post^75 from 3 states. Computing post^76 from 5 states. Computing post^77 from 3 states. Computing post^78 from 5 states. Computing post^79 from 3 states. Computing post^80 from 5 states. Computing post^81 from 3 states. Computing post^82 from 5 states. Computing post^83 from 3 states. Computing post^84 from 5 states. Computing post^85 from 3 states. Computing post^86 from 5 states. Computing post^87 from 3 states. Computing post^88 from 5 states. Computing post^89 from 3 states. Computing post^90 from 5 states. Computing post^91 from 3 states.  206 states merged within 472 states. Computing post^38 from 296 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time Computing post^92 from 5 states. Computing post^93 from 3 states. Computing post^94 from 5 states. Computing post^95 from 3 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time Computing post^96 from 5 states. Computing post^97 from 3 states. Computing post^98 from 5 states. Computing post^99 from 3 states. Computing post^100 from 5 states. Computing post^101 from 3 states. Computing post^102 from 5 states. Computing post^103 from 3 states. Computing post^104 from 5 states. Computing post^105 from 3 states. Computing post^106 from 5 states. Computing post^107 from 3 states. Computing post^108 from 5 states. Computing post^109 from 3 states. Computing post^110 from 5 states. Computing post^111 from 3 states.  289 states merged within 689 states. Computing post^40 from 445 states. Computing post^112 from 5 states. Computing post^113 from 3 states. Computing post^114 from 5 states. Computing post^115 from 3 states. Computing post^116 from 5 states. Computing post^117 from 3 states.  [NZCUB] Found a cycle. Computing post^118 from 5 states. Computing post^119 from 3 states. Computing post^120 from 5 states. Computing post^121 from 3 states. Computing post^122 from 5 states. Computing post^123 from 3 states. Computing post^124 from 5 states. Computing post^125 from 3 states. Computing post^126 from 5 states. Computing post^127 from 3 states. Computing post^128 from 5 states. Computing post^129 from 3 states. Computing post^130 from 5 states. Computing post^131 from 3 states. Computing post^132 from 5 states. Computing post^133 from 3 states. Computing post^134 from 5 states. Computing post^135 from 3 states.  154 states merged within 410 states. Computing post^37 from 284 states. Computing post^136 from 5 states. Computing post^137 from 3 states. Computing post^138 from 5 states. Computing post^139 from 3 states. Computing post^140 from 5 states. Computing post^141 from 3 states. Computing post^142 from 5 states. Computing post^143 from 3 states. Computing post^144 from 5 states. Computing post^145 from 3 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time Computing post^146 from 5 states. Computing post^147 from 3 states. Computing post^148 from 5 states. Computing post^149 from 3 states. Computing post^150 from 5 states. Computing post^151 from 3 states. Computing post^152 from 5 states. Computing post^153 from 3 states. Computing post^154 from 5 states. Computing post^155 from 3 states. Computing post^156 from 5 states. Computing post^157 from 3 states. Computing post^158 from 5 states. Computing post^159 from 3 states. Computing post^160 from 5 states. Computing post^161 from 3 states. Computing post^162 from 5 states. Computing post^163 from 3 states. Computing post^164 from 5 states.  201 states merged within 509 states. Computing post^39 from 338 states. Computing post^165 from 3 states. Computing post^166 from 5 states. Computing post^167 from 3 states. Computing post^168 from 5 states. Computing post^169 from 3 states. Computing post^170 from 5 states.  183 states merged within 491 states. Computing post^39 from 339 states. Computing post^171 from 3 states. Computing post^172 from 5 states. Computing post^173 from 3 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time Computing post^174 from 5 states. Computing post^175 from 3 states.  [NZCUB] Found a cycle. Computing post^176 from 5 states. Computing post^177 from 3 states. Computing post^178 from 5 states. Computing post^179 from 3 states. Computing post^180 from 5 states. Computing post^181 from 3 states. Computing post^182 from 5 states. Computing post^183 from 3 states. Computing post^184 from 5 states. Computing post^185 from 3 states. Computing post^186 from 5 states. Computing post^187 from 3 states. Computing post^188 from 5 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time Computing post^189 from 3 states. Computing post^190 from 5 states. Computing post^191 from 3 states.  188 states merged within 454 states. Computing post^38 from 296 states. Computing post^192 from 5 states. Computing post^193 from 3 states.  328 states merged within 726 states. Computing post^40 from 443 states. Computing post^194 from 5 states. Computing post^195 from 3 states. Computing post^196 from 5 states. Computing post^197 from 3 states. Computing post^198 from 5 states. Computing post^199 from 3 states.  State space exploration stopped at a depth of 200: 825 states with 909 transitions in the final state space.  [NZCUB] Algorithm completed after 343.516 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 6 states. Computing post^3 from 14 states. Computing post^4 from 17 states. Computing post^5 from 13 states. Computing post^6 from 8 states.  1 state merged within 5 states. Computing post^7 from 4 states. Computing post^8 from 2 states. Computing post^9 from 4 states. Computing post^10 from 6 states. Computing post^11 from 9 states.  2 states merged within 12 states. Computing post^12 from 10 states.  4 states merged within 17 states. Computing post^13 from 13 states.  7 states merged within 21 states. Computing post^14 from 14 states.  6 states merged within 23 states. Computing post^15 from 17 states.  4 states merged within 22 states. Computing post^16 from 18 states.  244 states merged within 579 states. Computing post^41 from 375 states.  3 states merged within 26 states. Computing post^17 from 23 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  11 states merged within 35 states. Computing post^18 from 24 states.  8 states merged within 39 states. Computing post^19 from 31 states.  17 states merged within 51 states. Computing post^20 from 34 states.  15 states merged within 57 states. Computing post^21 from 42 states.  21 states merged within 66 states. Computing post^22 from 45 states.  25 states merged within 79 states. Computing post^23 from 54 states.  29 states merged within 86 states. Computing post^24 from 57 states.  35 states merged within 102 states. Computing post^25 from 69 states.  217 states merged within 524 states. Computing post^40 from 340 states.  49 states merged within 119 states. Computing post^26 from 73 states.  187 states merged within 495 states. Computing post^39 from 338 states.  49 states merged within 130 states. Computing post^27 from 86 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  56 states merged within 141 states. Computing post^28 from 91 states.  61 states merged within 156 states. Computing post^29 from 103 states.  255 states merged within 561 states. Computing post^40 from 339 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  63 states merged within 166 states. Computing post^30 from 110 states.  314 states merged within 747 states. Computing post^41 from 487 states.  68 states merged within 177 states. Computing post^31 from 118 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  234 states merged within 569 states. Computing post^41 from 375 states.  222 states merged within 528 states. Computing post^40 from 339 states.  72 states merged within 192 states. Computing post^32 from 131 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  89 states merged within 222 states. Computing post^33 from 145 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  275 states merged within 619 states. Computing post^42 from 390 states.  269 states merged within 702 states. Computing post^41 from 487 states.  97 states merged within 239 states. Computing post^34 from 155 states.  227 states merged within 562 states. Computing post^41 from 375 states.  107 states merged within 259 states. Computing post^35 from 167 states.  270 states merged within 614 states. Computing post^42 from 390 states.  257 states merged within 592 states. Computing post^41 from 375 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  125 states merged within 284 states. Computing post^36 from 176 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  117 states merged within 291 states. Computing post^37 from 193 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  278 states merged within 622 states. Computing post^42 from 390 states.  347 states merged within 791 states. Computing post^42 from 507 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  237 states merged within 616 states. Computing post^43 from 431 states.  128 states merged within 307 states. Computing post^38 from 199 states.  252 states merged within 631 states. Computing post^43 from 431 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  135 states merged within 341 states. Computing post^39 from 227 states.  282 states merged within 626 states. Computing post^42 from 390 states.  360 states merged within 804 states. Computing post^42 from 507 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  250 states merged within 629 states. Computing post^43 from 431 states.  155 states merged within 369 states. Computing post^40 from 235 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  335 states merged within 741 states. Computing post^44 from 468 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  175 states merged within 412 states. Computing post^41 from 263 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  292 states merged within 698 states. Computing post^44 from 468 states.  312 states merged within 718 states. Computing post^44 from 468 states.  187 states merged within 431 states. Computing post^42 from 273 states.  331 states merged within 828 states. Computing post^43 from 566 states.  264 states merged within 643 states. Computing post^43 from 431 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  280 states merged within 702 states. Computing post^45 from 481 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  311 states merged within 808 states. Computing post^43 from 566 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  178 states merged within 439 states. Computing post^43 from 296 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  301 states merged within 723 states. Computing post^45 from 481 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  195 states merged within 471 states. Computing post^44 from 317 states.  328 states merged within 772 states. Computing post^46 from 509 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  317 states merged within 723 states. Computing post^44 from 468 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  319 states merged within 741 states. Computing post^45 from 481 states.  299 states merged within 743 states. Computing post^46 from 509 states.  217 states merged within 499 states. Computing post^45 from 324 states.  389 states merged within 925 states. Computing post^44 from 619 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  309 states merged within 778 states. Computing post^47 from 531 states.  239 states merged within 536 states. Computing post^46 from 342 states.  412 states merged within 948 states. Computing post^44 from 619 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  326 states merged within 795 states. Computing post^47 from 531 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  335 states merged within 757 states. Computing post^45 from 481 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  224 states merged within 537 states. Computing post^47 from 357 states.  306 states merged within 750 states. Computing post^46 from 509 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  355 states merged within 832 states. Computing post^48 from 545 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  328 states merged within 805 states. Computing post^48 from 545 states.  249 states merged within 569 states. Computing post^48 from 370 states.  391 states merged within 953 states. Computing post^45 from 638 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  388 states merged within 950 states. Computing post^45 from 638 states.  330 states merged within 774 states. Computing post^46 from 509 states.  262 states merged within 597 states. Computing post^49 from 391 states.  369 states merged within 848 states. Computing post^49 from 565 states.  317 states merged within 786 states. Computing post^47 from 531 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  397 states merged within 876 states. Computing post^49 from 565 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  284 states merged within 647 states. Computing post^50 from 420 states.  396 states merged within 906 states. Computing post^50 from 599 states.  426 states merged within 1017 states. Computing post^46 from 676 states.  334 states merged within 803 states. Computing post^47 from 531 states.  373 states merged within 883 states. Computing post^50 from 599 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  438 states merged within 1029 states. Computing post^46 from 676 states.  285 states merged within 682 states. Computing post^51 from 454 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  356 states merged within 833 states. Computing post^48 from 545 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  358 states merged within 923 states. Computing post^51 from 651 states.  286 states merged within 688 states. Computing post^52 from 464 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  384 states merged within 950 states. Computing post^51 from 651 states.  365 states merged within 842 states. Computing post^48 from 545 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  454 states merged within 1079 states. Computing post^47 from 705 states.  [NZCUB] Found a cycle.  442 states merged within 1067 states. Computing post^47 from 705 states.  379 states merged within 858 states. Computing post^49 from 565 states.  293 states merged within 708 states. Computing post^53 from 484 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  396 states merged within 972 states. Computing post^52 from 670 states.  383 states merged within 959 states. Computing post^52 from 670 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  388 states merged within 867 states. Computing post^49 from 565 states.  316 states merged within 719 states. Computing post^54 from 487 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  391 states merged within 901 states. Computing post^50 from 599 states.  404 states merged within 1009 states. Computing post^53 from 709 states.  406 states merged within 1011 states. Computing post^53 from 709 states.  439 states merged within 1073 states. Computing post^48 from 720 states.  425 states merged within 1059 states. Computing post^48 from 720 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  306 states merged within 728 states. Computing post^55 from 517 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  404 states merged within 914 states. Computing post^50 from 599 states.  [NZCUB] Found a cycle.  424 states merged within 1020 states. Computing post^54 from 714 states.  343 states merged within 781 states. Computing post^56 from 540 states.  444 states merged within 1040 states. Computing post^54 from 714 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  422 states merged within 987 states. Computing post^51 from 651 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  522 states merged within 1145 states. Computing post^49 from 739 states.  513 states merged within 1136 states. Computing post^49 from 739 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  430 states merged within 994 states. Computing post^51 from 651 states.  350 states merged within 827 states. Computing post^57 from 578 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  426 states merged within 1057 states. Computing post^55 from 761 states.  440 states merged within 1071 states. Computing post^55 from 761 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  422 states merged within 999 states. Computing post^52 from 671 states.  375 states merged within 869 states. Computing post^58 from 599 states.  504 states merged within 1161 states. Computing post^50 from 778 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  483 states merged within 1140 states. Computing post^50 from 778 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  396 states merged within 973 states. Computing post^52 from 671 states.  472 states merged within 1111 states. Computing post^56 from 785 states.  460 states merged within 1101 states. Computing post^56 from 783 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  387 states merged within 899 states. Computing post^59 from 631 states.  431 states merged within 1037 states. Computing post^53 from 710 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  479 states merged within 1214 states. Computing post^51 from 848 states.  457 states merged within 1143 states. Computing post^57 from 829 states.  470 states merged within 1158 states. Computing post^57 from 829 states.  404 states merged within 1010 states. Computing post^53 from 710 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  523 states merged within 1258 states. Computing post^51 from 848 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  422 states merged within 951 states. Computing post^60 from 663 states.  448 states merged within 1044 states. Computing post^54 from 714 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  505 states merged within 1204 states. Computing post^58 from 855 states.  541 states merged within 1239 states. Computing post^58 from 854 states.  [NZCUB] Found a cycle.  462 states merged within 1058 states. Computing post^54 from 714 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  520 states merged within 1270 states. Computing post^52 from 876 states.  [NZCUB] Found a cycle.  410 states merged within 926 states. Computing post^61 from 663 states.  526 states merged within 1276 states. Computing post^52 from 876 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  434 states merged within 1065 states. Computing post^55 from 761 states.  522 states merged within 1250 states. Computing post^59 from 908 states.  509 states merged within 1236 states. Computing post^59 from 907 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  458 states merged within 981 states. Computing post^62 from 689 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  442 states merged within 1073 states. Computing post^55 from 761 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  518 states merged within 1313 states. Computing post^53 from 934 states.  [NZCUB] Found a cycle.  516 states merged within 1311 states. Computing post^53 from 934 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  447 states merged within 989 states. Computing post^63 from 716 states.  599 states merged within 1359 states. Computing post^60 from 964 states.  578 states merged within 1339 states. Computing post^60 from 964 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  527 states merged within 1168 states. Computing post^56 from 787 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  494 states merged within 1134 states. Computing post^56 from 782 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  558 states merged within 1347 states. Computing post^54 from 941 states.  588 states merged within 1377 states. Computing post^54 from 941 states.  487 states merged within 1040 states. Computing post^64 from 739 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  593 states merged within 1351 states. Computing post^61 from 975 states.  576 states merged within 1335 states. Computing post^61 from 975 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  480 states merged within 1168 states. Computing post^57 from 829 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  499 states merged within 1186 states. Computing post^57 from 828 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  513 states merged within 1096 states. Computing post^65 from 781 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  591 states merged within 1430 states. Computing post^55 from 1009 states.  630 states merged within 1401 states. Computing post^62 from 1010 states.  562 states merged within 1401 states. Computing post^55 from 1004 states.  630 states merged within 1402 states. Computing post^62 from 1010 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  519 states merged within 1217 states. Computing post^58 from 854 states.  548 states merged within 1243 states. Computing post^58 from 853 states.  [NZCUB] Found a cycle.  512 states merged within 1117 states. Computing post^66 from 811 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  653 states merged within 1444 states. Computing post^63 from 1042 states.  676 states merged within 1520 states. Computing post^56 from 1032 states.  634 states merged within 1425 states. Computing post^63 from 1042 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  637 states merged within 1478 states. Computing post^56 from 1029 states.  [NZCUB] Found a cycle.  544 states merged within 1272 states. Computing post^59 from 908 states.  566 states merged within 1190 states. Computing post^67 from 847 states.  516 states merged within 1244 states. Computing post^59 from 908 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  659 states merged within 1453 states. Computing post^64 from 1061 states.  658 states merged within 1452 states. Computing post^64 from 1061 states.  629 states merged within 1526 states. Computing post^57 from 1080 states.  626 states merged within 1525 states. Computing post^57 from 1080 states.  570 states merged within 1187 states. Computing post^68 from 852 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  609 states merged within 1371 states. Computing post^60 from 965 states.  604 states merged within 1365 states. Computing post^60 from 964 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  714 states merged within 1549 states. Computing post^65 from 1119 states.  712 states merged within 1547 states. Computing post^65 from 1119 states.  711 states merged within 1614 states. Computing post^58 from 1110 states.  565 states merged within 1204 states. Computing post^69 from 896 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  682 states merged within 1583 states. Computing post^58 from 1108 states.  [NZCUB] Found a cycle.  611 states merged within 1370 states. Computing post^61 from 975 states.  597 states merged within 1356 states. Computing post^61 from 975 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  700 states merged within 1572 states. Computing post^66 from 1170 states.  763 states merged within 1635 states. Computing post^66 from 1170 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  598 states merged within 1245 states. Computing post^70 from 911 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  692 states merged within 1639 states. Computing post^59 from 1188 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  687 states merged within 1633 states. Computing post^59 from 1187 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  657 states merged within 1429 states. Computing post^62 from 1010 states.  641 states merged within 1412 states. Computing post^62 from 1009 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  766 states merged within 1667 states. Computing post^67 from 1229 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  745 states merged within 1646 states. Computing post^67 from 1229 states.  601 states merged within 1282 states. Computing post^71 from 953 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  724 states merged within 1716 states. Computing post^60 from 1266 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  683 states merged within 1474 states. Computing post^63 from 1042 states.  [NZCUB] Found a cycle.  690 states merged within 1481 states. Computing post^63 from 1042 states.  749 states merged within 1740 states. Computing post^60 from 1265 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  794 states merged within 1698 states. Computing post^68 from 1244 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  661 states merged within 1349 states. Computing post^72 from 975 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  804 states merged within 1708 states. Computing post^68 from 1244 states.  [NZCUB] Found a cycle.  780 states merged within 1775 states. Computing post^61 from 1287 states.  706 states merged within 1500 states. Computing post^64 from 1061 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  801 states merged within 1739 states. Computing post^69 from 1313 states.  [NZCUB] Found a cycle.  720 states merged within 1514 states. Computing post^64 from 1061 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  665 states merged within 1358 states. Computing post^73 from 1000 states.  793 states merged within 1793 states. Computing post^61 from 1287 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  819 states merged within 1757 states. Computing post^69 from 1312 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  776 states merged within 1797 states. Computing post^62 from 1332 states.  710 states merged within 1410 states. Computing post^74 from 1031 states.  757 states merged within 1592 states. Computing post^65 from 1119 states.  851 states merged within 1780 states. Computing post^70 from 1317 states.  728 states merged within 1563 states. Computing post^65 from 1119 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  852 states merged within 1781 states. Computing post^70 from 1317 states.  823 states merged within 1844 states. Computing post^62 from 1333 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  714 states merged within 1423 states. Computing post^75 from 1056 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  850 states merged within 1831 states. Computing post^71 from 1375 states.  786 states merged within 1658 states. Computing post^66 from 1170 states.  835 states merged within 1875 states. Computing post^63 from 1369 states.  745 states merged within 1617 states. Computing post^66 from 1170 states.  870 states merged within 1851 states. Computing post^71 from 1375 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  866 states merged within 1906 states. Computing post^63 from 1368 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  747 states merged within 1475 states. Computing post^76 from 1089 states.  929 states merged within 1916 states. Computing post^72 from 1397 states.  798 states merged within 1701 states. Computing post^67 from 1229 states.  940 states merged within 1927 states. Computing post^72 from 1399 states.  892 states merged within 1929 states. Computing post^64 from 1384 states.  782 states merged within 1683 states. Computing post^67 from 1229 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  869 states merged within 1905 states. Computing post^64 from 1384 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  758 states merged within 1515 states. Computing post^77 from 1120 states.  934 states merged within 1931 states. Computing post^73 from 1441 states.  926 states merged within 1923 states. Computing post^73 from 1443 states.  817 states merged within 1721 states. Computing post^68 from 1244 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  875 states merged within 1779 states. Computing post^68 from 1244 states.  [NZCUB] Found a cycle.  923 states merged within 2010 states. Computing post^65 from 1458 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  805 states merged within 1573 states. Computing post^78 from 1161 states.  933 states merged within 2020 states. Computing post^65 from 1457 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  976 states merged within 1994 states. Computing post^74 from 1491 states.  978 states merged within 1996 states. Computing post^74 from 1487 states.  863 states merged within 1801 states. Computing post^69 from 1312 states.  820 states merged within 1758 states. Computing post^69 from 1313 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  942 states merged within 2081 states. Computing post^66 from 1528 states.  [NZCUB] Found a cycle.  805 states merged within 1594 states. Computing post^79 from 1199 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  952 states merged within 2091 states. Computing post^66 from 1529 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  979 states merged within 2033 states. Computing post^75 from 1542 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  995 states merged within 2045 states. Computing post^75 from 1539 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  909 states merged within 1838 states. Computing post^70 from 1317 states.  867 states merged within 1796 states. Computing post^70 from 1317 states.  844 states merged within 1647 states. Computing post^80 from 1229 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  1020 states merged within 2198 states. Computing post^67 from 1612 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  1050 states merged within 2120 states. Computing post^76 from 1586 states.  995 states merged within 2173 states. Computing post^67 from 1611 states.  [NZCUB] Found a cycle.  1019 states merged within 2088 states. Computing post^76 from 1585 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  860 states merged within 1681 states. Computing post^81 from 1270 states.  902 states merged within 1883 states. Computing post^71 from 1375 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  853 states merged within 1834 states. Computing post^71 from 1375 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  1041 states merged within 2231 states.  State space exploration stopped at a depth of 68: 27615 states with 58081 transitions in the final state space.  [NZCUB] Algorithm completed after 3800.435 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 5 states. Computing post^3 from 10 states. Computing post^4 from 11 states. Computing post^5 from 9 states. Computing post^6 from 7 states.  1 state merged within 5 states. Computing post^7 from 4 states.  1 state merged within 3 states. Computing post^8 from 2 states. Computing post^9 from 4 states. Computing post^10 from 6 states. Computing post^11 from 9 states.  2 states merged within 12 states. Computing post^12 from 10 states.  4 states merged within 17 states. Computing post^13 from 13 states.  7 states merged within 21 states. Computing post^14 from 14 states.  6 states merged within 23 states. Computing post^15 from 17 states.  4 states merged within 22 states. Computing post^16 from 18 states.  3 states merged within 26 states. Computing post^17 from 23 states.  11 states merged within 35 states. Computing post^18 from 24 states.  8 states merged within 39 states. Computing post^19 from 31 states.  17 states merged within 51 states. Computing post^20 from 34 states.  15 states merged within 57 states. Computing post^21 from 42 states.  21 states merged within 66 states. Computing post^22 from 45 states.  25 states merged within 79 states. Computing post^23 from 54 states.  29 states merged within 86 states. Computing post^24 from 57 states.  35 states merged within 102 states. Computing post^25 from 69 states.  49 states merged within 119 states. Computing post^26 from 73 states.  49 states merged within 130 states. Computing post^27 from 86 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  56 states merged within 141 states. Computing post^28 from 91 states.  61 states merged within 156 states. Computing post^29 from 103 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  63 states merged within 166 states. Computing post^30 from 110 states.  68 states merged within 177 states. Computing post^31 from 118 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  72 states merged within 192 states. Computing post^32 from 131 states.  89 states merged within 222 states. Computing post^33 from 145 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  97 states merged within 239 states. Computing post^34 from 155 states.  1058 states merged within 2129 states. Computing post^77 from 1609 states.  107 states merged within 259 states. Computing post^35 from 167 states.  125 states merged within 284 states. Computing post^36 from 176 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  117 states merged within 291 states. Computing post^37 from 193 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  128 states merged within 307 states. Computing post^38 from 199 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  135 states merged within 341 states. Computing post^39 from 227 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  155 states merged within 369 states. Computing post^40 from 235 states.  175 states merged within 412 states. Computing post^41 from 263 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  1028 states merged within 2219 states.  State space exploration stopped at a depth of 68: 27649 states with 58183 transitions in the final state space.  [NZCUB] Algorithm completed after 3890.436 seconds. IMITATOR successfully terminated (after 3890.438 seconds)  187 states merged within 431 states. Computing post^42 from 273 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  178 states merged within 439 states. Computing post^43 from 296 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  1057 states merged within 2140 states.  State space exploration stopped at a depth of 77: 30143 states with 63933 transitions in the final state space.  [NZCUB] Algorithm completed after 3910.629 seconds. IMITATOR successfully terminated (after 3910.630 seconds)  195 states merged within 471 states. Computing post^44 from 317 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  217 states merged within 499 states. Computing post^45 from 324 states.  239 states merged within 536 states. Computing post^46 from 342 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  224 states merged within 537 states. Computing post^47 from 357 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  249 states merged within 569 states. Computing post^48 from 370 states.  897 states merged within 1704 states.  State space exploration stopped at a depth of 82: 24765 states with 53163 transitions in the final state space.  [NZCUB] Algorithm completed after 3970.839 seconds. IMITATOR successfully terminated (after 3970.839 seconds)  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  262 states merged within 597 states. Computing post^49 from 391 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time