************************************************************ * IMITATOR 2.9.2-working "Butter Incaberry" * * * * Etienne Andre, Ulrich Kuehne et al. * * 2009 - 2018 * * LSV, ENS de Cachan & CNRS, France * * LIPN, Universite Paris 13, France * * www.imitator.fr * * * * Build: 2402 (2018-06-07 12:48:34 UTC) * * HEAD/0999a7d * ************************************************************ ************************************************************ * IMITATOR 2.9.2-working "Butter Incaberry" * * * * Etienne Andre, Ulrich Kuehne et al. * * 2009 - 2018 * * LSV, ENS de Cachan & CNRS, France * * LIPN, Universite Paris 13, France * * www.imitator.fr * * * * Build: 2402 (2018-06-07 12:48:34 UTC) * * HEAD/0999a7d * ************************************************************ ************************************************************ * IMITATOR 2.9.2-working "Butter Incaberry" * * * * Etienne Andre, Ulrich Kuehne et al. * * 2009 - 2018 * * LSV, ENS de Cachan & CNRS, France * * LIPN, Universite Paris 13, France * * www.imitator.fr * * * * Build: 2402 (2018-06-07 12:48:34 UTC) * * HEAD/0999a7d * ************************************************************ ************************************************************ * IMITATOR 2.9.2-working "Butter Incaberry" * * * * Etienne Andre, Ulrich Kuehne et al. * * 2009 - 2018 * * LSV, ENS de Cachan & CNRS, France * * LIPN, Universite Paris 13, France * * www.imitator.fr * * * * Build: 2402 (2018-06-07 12:48:34 UTC) * * HEAD/0999a7d * ************************************************************ ************************************************************ * IMITATOR 2.9.2-working "Butter Incaberry" * * * * Etienne Andre, Ulrich Kuehne et al. * * 2009 - 2018 * * LSV, ENS de Cachan & CNRS, France * * LIPN, Universite Paris 13, France * * www.imitator.fr * * * * Build: 2402 (2018-06-07 12:48:34 UTC) * * HEAD/0999a7d * ************************************************************ ************************************************************ * IMITATOR 2.9.2-working "Butter Incaberry" * * * * Etienne Andre, Ulrich Kuehne et al. * * 2009 - 2018 * * LSV, ENS de Cachan & CNRS, France * * LIPN, Universite Paris 13, France * * www.imitator.fr * * * * Build: 2402 (2018-06-07 12:48:34 UTC) * * HEAD/0999a7d * ************************************************************ Model: /home/royal/Desktop/experiments/Etienne/6/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. Model: /home/royal/Desktop/experiments/Etienne/6/simop/simop.imi Model: /home/royal/Desktop/experiments/Etienne/6/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. Merging technique of [AFS13] enabled. The result will be written to a file. Model: /home/royal/Desktop/experiments/Etienne/6/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. The result will be written to a file. Merging technique of [AFS13] enabled. The result will be written to a file. Model: /home/royal/Desktop/experiments/Etienne/6/simop/simop.imi Mode: parametric non-Zeno emptiness checking (CUB transformation), distributed version. Model: /home/royal/Desktop/experiments/Etienne/6/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). Considering fixpoint variant with monodirectional inclusion of symbolic zones (instead of equality). 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. 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. Merging technique of [AFS13] enabled. The result will be written to a file. Time elapsing will be applied at the beginning of the computation of a new state. Merging technique of [AFS13] enabled. The result will be written to a file. 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 8 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 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^3 from 24 states. Computing post^2 from 8 states. Computing post^3 from 24 states. Computing post^2 from 7 states. Computing post^3 from 24 states. Computing post^3 from 18 states. Computing post^4 from 35 states. Computing post^4 from 35 states. Computing post^4 from 35 states. Computing post^4 from 23 states. Computing post^5 from 19 states. Computing post^5 from 30 states. Computing post^5 from 29 states. Computing post^5 from 30 states. Computing post^6 from 15 states. Computing post^6 from 18 states.  3 states merged within 13 states. Computing post^7 from 10 states.  1 state merged within 11 states. Computing post^6 from 23 states. Computing post^7 from 10 states.  1 state merged within 6 states. Computing post^8 from 5 states.  3 states merged within 8 states. Computing post^8 from 5 states. Computing post^9 from 6 states. Computing post^9 from 6 states. Computing post^6 from 23 states.  3 states merged within 20 states.  1 state merged within 7 states. Computing post^10 from 6 states. Computing post^10 from 6 states. Computing post^7 from 17 states. Computing post^11 from 6 states. Computing post^11 from 6 states. Computing post^12 from 6 states.  2 states merged within 8 states. Computing post^12 from 6 states.  1 state merged within 9 states. Computing post^8 from 8 states. Computing post^13 from 6 states.  3 states merged within 20 states. Computing post^13 from 6 states. Computing post^14 from 6 states. Computing post^9 from 6 states. Computing post^7 from 17 states.  2 states merged within 8 states. Computing post^14 from 6 states. Computing post^15 from 6 states. Computing post^16 from 6 states. Computing post^10 from 10 states. Computing post^15 from 6 states.  1 state merged within 9 states. Computing post^17 from 6 states. Computing post^8 from 8 states. Computing post^11 from 6 states. Computing post^18 from 6 states.  2 states merged within 8 states. Computing post^16 from 6 states. Computing post^9 from 6 states. Computing post^12 from 10 states. Computing post^19 from 6 states. Computing post^17 from 6 states. Computing post^13 from 6 states. Computing post^10 from 10 states. Computing post^11 from 6 states.  2 states merged within 8 states. Computing post^18 from 6 states. Computing post^20 from 6 states. Computing post^14 from 10 states. Computing post^12 from 10 states. Computing post^19 from 6 states. Computing post^13 from 6 states. Computing post^21 from 6 states.  2 states merged within 8 states. Computing post^15 from 6 states. Computing post^20 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 Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^14 from 10 states. Computing post^22 from 6 states. Computing post^21 from 6 states. Computing post^3 from 18 states. Computing post^15 from 6 states. Computing post^23 from 6 states. Computing post^16 from 10 states.  2 states merged within 8 states. Computing post^22 from 6 states. Computing post^4 from 23 states. Computing post^16 from 10 states. Computing post^17 from 6 states. Computing post^24 from 6 states. Computing post^23 from 6 states. Computing post^17 from 6 states.  2 states merged within 8 states. Computing post^24 from 6 states. Computing post^25 from 6 states. Computing post^18 from 10 states. Computing post^5 from 20 states. Computing post^19 from 6 states. Computing post^25 from 6 states. Computing post^18 from 10 states. Computing post^26 from 6 states.  2 states merged within 8 states. Computing post^26 from 6 states. Computing post^20 from 10 states. Computing post^19 from 6 states. Computing post^6 from 20 states. Computing post^21 from 6 states. Computing post^27 from 6 states. Computing post^27 from 6 states.  3 states merged within 20 states. Computing post^7 from 17 states.  2 states merged within 8 states. Computing post^22 from 10 states. Computing post^28 from 6 states. Computing post^28 from 6 states. Computing post^20 from 10 states.  3 states merged within 11 states. Computing post^8 from 8 states. Computing post^23 from 6 states. Computing post^9 from 6 states. Computing post^29 from 6 states. Computing post^21 from 6 states. Computing post^10 from 10 states. Computing post^29 from 6 states. Computing post^11 from 6 states. Computing post^24 from 10 states. Computing post^22 from 10 states.  2 states merged within 8 states. Computing post^30 from 6 states. Computing post^30 from 6 states. Computing post^12 from 10 states. Computing post^25 from 6 states. Computing post^23 from 6 states. Computing post^13 from 6 states. Computing post^31 from 6 states. Computing post^31 from 6 states. Computing post^14 from 10 states. Computing post^26 from 10 states. Computing post^24 from 10 states. Computing post^15 from 6 states. Computing post^32 from 6 states.  2 states merged within 8 states. Computing post^25 from 6 states. Computing post^32 from 6 states. Computing post^16 from 10 states. Computing post^27 from 6 states. Computing post^33 from 6 states. Computing post^17 from 6 states. Computing post^33 from 6 states. Computing post^34 from 6 states. Computing post^26 from 10 states. Computing post^18 from 10 states. Computing post^28 from 10 states. Computing post^19 from 6 states. Computing post^27 from 6 states.  2 states merged within 8 states. Computing post^35 from 6 states. Computing post^34 from 6 states. Computing post^29 from 6 states. Computing post^20 from 10 states. Computing post^36 from 6 states. Computing post^21 from 6 states. Computing post^35 from 6 states. Computing post^28 from 10 states. Computing post^30 from 10 states. Computing post^37 from 6 states. Computing post^29 from 6 states.  2 states merged within 8 states. Computing post^36 from 6 states. Computing post^31 from 6 states. Computing post^22 from 10 states. Computing post^38 from 6 states. Computing post^37 from 6 states. Computing post^23 from 6 states. Computing post^39 from 6 states. Computing post^30 from 10 states. Computing post^32 from 10 states. Computing post^40 from 6 states. Computing post^33 from 6 states. Computing post^31 from 6 states.  2 states merged within 8 states. Computing post^38 from 6 states. Computing post^24 from 10 states. Computing post^41 from 6 states. Computing post^25 from 6 states. Computing post^34 from 10 states. Computing post^42 from 6 states. Computing post^39 from 6 states. Computing post^26 from 10 states. Computing post^35 from 6 states. Computing post^32 from 10 states. Computing post^27 from 6 states. Computing post^43 from 6 states. Computing post^33 from 6 states.  2 states merged within 8 states. Computing post^40 from 6 states. Computing post^36 from 10 states. Computing post^28 from 10 states. Computing post^29 from 6 states. Computing post^37 from 6 states. Computing post^44 from 6 states. Computing post^34 from 10 states. Computing post^41 from 6 states. Computing post^35 from 6 states. Computing post^30 from 10 states. Computing post^45 from 6 states. Computing post^38 from 10 states. Computing post^31 from 6 states.  2 states merged within 8 states. Computing post^42 from 6 states. Computing post^36 from 10 states. Computing post^46 from 6 states. Computing post^39 from 6 states. Computing post^43 from 6 states. Computing post^37 from 6 states. Computing post^32 from 10 states. Computing post^47 from 6 states. Computing post^40 from 10 states. Computing post^33 from 6 states.  2 states merged within 8 states. Computing post^44 from 6 states. Computing post^41 from 6 states. Computing post^38 from 10 states. Computing post^48 from 6 states. Computing post^34 from 10 states. Computing post^45 from 6 states. Computing post^39 from 6 states. Computing post^35 from 6 states. Computing post^49 from 6 states.  2 states merged within 8 states. Computing post^46 from 6 states. Computing post^42 from 10 states. Computing post^36 from 10 states. Computing post^40 from 10 states. Computing post^50 from 6 states. Computing post^43 from 6 states. Computing post^37 from 6 states. Computing post^47 from 6 states. Computing post^51 from 6 states. Computing post^41 from 6 states. Computing post^38 from 10 states. Computing post^44 from 10 states. Computing post^52 from 6 states.  2 states merged within 8 states. Computing post^48 from 6 states. Computing post^39 from 6 states. Computing post^45 from 6 states. Computing post^53 from 6 states. Computing post^49 from 6 states. Computing post^42 from 10 states. Computing post^40 from 10 states. Computing post^54 from 6 states.  2 states merged within 8 states. Computing post^43 from 6 states. Computing post^50 from 6 states. Computing post^46 from 10 states. Computing post^41 from 6 states. Computing post^55 from 6 states. Computing post^47 from 6 states. Computing post^51 from 6 states. Computing post^44 from 10 states. Computing post^42 from 10 states. Computing post^56 from 6 states. Computing post^43 from 6 states.  2 states merged within 8 states. Computing post^52 from 6 states. Computing post^45 from 6 states. Computing post^48 from 10 states. Computing post^57 from 6 states. Computing post^49 from 6 states. Computing post^53 from 6 states. Computing post^44 from 10 states. Computing post^58 from 6 states. Computing post^45 from 6 states.  2 states merged within 8 states. Computing post^54 from 6 states. Computing post^46 from 10 states. Computing post^55 from 6 states. Computing post^50 from 10 states. Computing post^46 from 10 states. Computing post^59 from 6 states. Computing post^47 from 6 states.  2 states merged within 8 states. Computing post^56 from 6 states. Computing post^51 from 6 states. Computing post^47 from 6 states. Computing post^57 from 6 states. Computing post^60 from 6 states. Computing post^48 from 10 states. Computing post^61 from 6 states. Computing post^52 from 10 states.  2 states merged within 8 states. Computing post^58 from 6 states. Computing post^49 from 6 states. Computing post^48 from 10 states. Computing post^53 from 6 states. Computing post^62 from 6 states. Computing post^59 from 6 states. Computing post^49 from 6 states. Computing post^63 from 6 states. Computing post^54 from 10 states.  2 states merged within 8 states. Computing post^60 from 6 states. Computing post^64 from 6 states. Computing post^55 from 6 states. Computing post^50 from 10 states. Computing post^51 from 6 states. Computing post^65 from 6 states. Computing post^61 from 6 states. Computing post^50 from 10 states. Computing post^66 from 6 states. Computing post^51 from 6 states.  2 states merged within 8 states. Computing post^62 from 6 states. Computing post^52 from 10 states. Computing post^56 from 10 states. Computing post^67 from 6 states. Computing post^63 from 6 states. Computing post^53 from 6 states. Computing post^57 from 6 states. Computing post^68 from 6 states. Computing post^52 from 10 states.  2 states merged within 8 states. Computing post^64 from 6 states. Computing post^53 from 6 states. Computing post^69 from 6 states. Computing post^58 from 10 states. Computing post^65 from 6 states. Computing post^54 from 10 states. Computing post^59 from 6 states. Computing post^70 from 6 states. Computing post^55 from 6 states. Computing post^54 from 10 states.  2 states merged within 8 states. Computing post^66 from 6 states. Computing post^71 from 6 states. Computing post^55 from 6 states. Computing post^60 from 10 states. Computing post^56 from 10 states. Computing post^67 from 6 states. Computing post^72 from 6 states. Computing post^57 from 6 states. Computing post^61 from 6 states. Computing post^56 from 10 states. Computing post^73 from 6 states. Computing post^57 from 6 states.  2 states merged within 8 states. Computing post^68 from 6 states. Computing post^58 from 10 states. Computing post^74 from 6 states. Computing post^69 from 6 states. Computing post^59 from 6 states. Computing post^62 from 10 states. Computing post^58 from 10 states. Computing post^75 from 6 states.  2 states merged within 8 states. Computing post^70 from 6 states. Computing post^63 from 6 states. Computing post^59 from 6 states. Computing post^76 from 6 states. Computing post^60 from 10 states. Computing post^71 from 6 states. Computing post^61 from 6 states. Computing post^64 from 10 states. Computing post^60 from 10 states.  2 states merged within 8 states. Computing post^72 from 6 states. Computing post^77 from 6 states. Computing post^65 from 6 states. Computing post^61 from 6 states. Computing post^73 from 6 states. Computing post^78 from 6 states. Computing post^62 from 10 states. Computing post^62 from 10 states.  2 states merged within 8 states. Computing post^74 from 6 states. Computing post^63 from 6 states. Computing post^66 from 10 states. Computing post^79 from 6 states. Computing post^63 from 6 states. Computing post^75 from 6 states. Computing post^67 from 6 states. Computing post^80 from 6 states. Computing post^64 from 10 states.  2 states merged within 8 states. Computing post^76 from 6 states. Computing post^64 from 10 states. Computing post^65 from 6 states. Computing post^81 from 6 states. Computing post^65 from 6 states. Computing post^77 from 6 states. Computing post^68 from 10 states. Computing post^82 from 6 states. Computing post^69 from 6 states.  2 states merged within 8 states. Computing post^78 from 6 states. Computing post^66 from 10 states. Computing post^83 from 6 states. Computing post^66 from 10 states. Computing post^79 from 6 states. Computing post^70 from 10 states. Computing post^67 from 6 states. Computing post^67 from 6 states. Computing post^84 from 6 states. Computing post^71 from 6 states.  2 states merged within 8 states. Computing post^80 from 6 states. Computing post^85 from 6 states. Computing post^68 from 10 states. Computing post^68 from 10 states. Computing post^81 from 6 states. Computing post^86 from 6 states. Computing post^69 from 6 states. Computing post^72 from 10 states. Computing post^69 from 6 states.  2 states merged within 8 states. Computing post^82 from 6 states. Computing post^73 from 6 states. Computing post^87 from 6 states. Computing post^70 from 10 states. Computing post^83 from 6 states. Computing post^88 from 6 states. Computing post^71 from 6 states. Computing post^70 from 10 states. Computing post^74 from 10 states.  2 states merged within 8 states. Computing post^84 from 6 states. Computing post^89 from 6 states. Computing post^71 from 6 states. Computing post^75 from 6 states. Computing post^90 from 6 states. Computing post^72 from 10 states. Computing post^85 from 6 states. Computing post^72 from 10 states. Computing post^91 from 6 states. Computing post^73 from 6 states. Computing post^73 from 6 states. Computing post^92 from 6 states.  2 states merged within 8 states. Computing post^86 from 6 states. Computing post^76 from 10 states. Computing post^93 from 6 states. Computing post^87 from 6 states. Computing post^74 from 10 states. Computing post^74 from 10 states. Computing post^77 from 6 states. Computing post^94 from 6 states.  2 states merged within 8 states. Computing post^88 from 6 states. Computing post^75 from 6 states. Computing post^75 from 6 states. Computing post^95 from 6 states. Computing post^89 from 6 states. Computing post^96 from 6 states. Computing post^76 from 10 states. Computing post^78 from 10 states.  2 states merged within 8 states. Computing post^90 from 6 states. Computing post^76 from 10 states. Computing post^77 from 6 states. Computing post^79 from 6 states. Computing post^77 from 6 states. Computing post^97 from 6 states. Computing post^91 from 6 states. Computing post^98 from 6 states.  2 states merged within 8 states. Computing post^92 from 6 states. Computing post^78 from 10 states. Computing post^78 from 10 states. Computing post^80 from 10 states. Computing post^79 from 6 states. Computing post^99 from 6 states. Computing post^93 from 6 states. Computing post^79 from 6 states. Computing post^81 from 6 states. Computing post^100 from 6 states.  2 states merged within 8 states. Computing post^94 from 6 states. Computing post^80 from 10 states. Computing post^95 from 6 states. Computing post^101 from 6 states. Computing post^80 from 10 states. Computing post^82 from 10 states. Computing post^81 from 6 states. Computing post^81 from 6 states.  2 states merged within 8 states. Computing post^96 from 6 states. Computing post^102 from 6 states. Computing post^83 from 6 states. Computing post^97 from 6 states. Computing post^103 from 6 states. Computing post^82 from 10 states. Computing post^82 from 10 states.  2 states merged within 8 states. Computing post^98 from 6 states. Computing post^104 from 6 states. Computing post^84 from 10 states. Computing post^83 from 6 states. Computing post^99 from 6 states. Computing post^83 from 6 states. Computing post^105 from 6 states. Computing post^85 from 6 states.  2 states merged within 8 states. Computing post^100 from 6 states. Computing post^106 from 6 states. Computing post^101 from 6 states. Computing post^86 from 10 states. Computing post^107 from 6 states. Computing post^84 from 10 states. Computing post^84 from 10 states. Computing post^87 from 6 states.  2 states merged within 8 states. Computing post^102 from 6 states. Computing post^85 from 6 states. Computing post^85 from 6 states. Computing post^108 from 6 states. Computing post^103 from 6 states. Computing post^88 from 10 states. Computing post^86 from 10 states.  2 states merged within 8 states. Computing post^104 from 6 states. Computing post^89 from 6 states. Computing post^86 from 10 states. Computing post^109 from 6 states. Computing post^87 from 6 states. Computing post^105 from 6 states. Computing post^87 from 6 states. Computing post^110 from 6 states.  2 states merged within 8 states. Computing post^90 from 10 states. Computing post^106 from 6 states. Computing post^88 from 10 states. Computing post^111 from 6 states. Computing post^88 from 10 states. Computing post^91 from 6 states. Computing post^89 from 6 states. Computing post^107 from 6 states. Computing post^112 from 6 states. Computing post^89 from 6 states.  2 states merged within 8 states. Computing post^108 from 6 states. Computing post^113 from 6 states. Computing post^92 from 10 states. Computing post^90 from 10 states. Computing post^90 from 10 states. Computing post^109 from 6 states. Computing post^114 from 6 states. Computing post^93 from 6 states. Computing post^91 from 6 states. Computing post^91 from 6 states.  2 states merged within 8 states. Computing post^115 from 6 states. Computing post^110 from 6 states. Computing post^94 from 10 states. Computing post^92 from 10 states. Computing post^116 from 6 states. Computing post^111 from 6 states. Computing post^92 from 10 states. Computing post^95 from 6 states. Computing post^93 from 6 states. Computing post^93 from 6 states. Computing post^117 from 6 states.  2 states merged within 8 states. Computing post^112 from 6 states. Computing post^118 from 6 states. Computing post^113 from 6 states. Computing post^94 from 10 states. Computing post^96 from 10 states. Computing post^94 from 10 states. Computing post^95 from 6 states. Computing post^97 from 6 states. Computing post^119 from 6 states.  2 states merged within 8 states. Computing post^114 from 6 states. Computing post^95 from 6 states. Computing post^120 from 6 states. Computing post^115 from 6 states. Computing post^96 from 10 states. Computing post^98 from 10 states. Computing post^121 from 6 states. Computing post^96 from 10 states. Computing post^97 from 6 states. Computing post^99 from 6 states.  2 states merged within 8 states. Computing post^116 from 6 states. Computing post^122 from 6 states. Computing post^97 from 6 states. Computing post^117 from 6 states. Computing post^123 from 6 states. Computing post^98 from 10 states. Computing post^100 from 10 states.  2 states merged within 8 states. Computing post^118 from 6 states. Computing post^98 from 10 states. Computing post^124 from 6 states. Computing post^99 from 6 states. Computing post^101 from 6 states. Computing post^99 from 6 states. Computing post^119 from 6 states. Computing post^125 from 6 states. Computing post^100 from 10 states.  2 states merged within 8 states. Computing post^120 from 6 states. Computing post^102 from 10 states. Computing post^126 from 6 states. Computing post^100 from 10 states. Computing post^101 from 6 states. Computing post^103 from 6 states. Computing post^121 from 6 states. Computing post^101 from 6 states. Computing post^127 from 6 states.  2 states merged within 8 states. Computing post^122 from 6 states. Computing post^128 from 6 states. Computing post^102 from 10 states. Computing post^104 from 10 states. Computing post^102 from 10 states. Computing post^103 from 6 states. Computing post^123 from 6 states. Computing post^129 from 6 states. Computing post^105 from 6 states. Computing post^103 from 6 states. Computing post^130 from 6 states.  2 states merged within 8 states. Computing post^124 from 6 states. Computing post^104 from 10 states. Computing post^104 from 10 states. Computing post^106 from 10 states. Computing post^131 from 6 states. Computing post^125 from 6 states. Computing post^105 from 6 states. Computing post^105 from 6 states. Computing post^107 from 6 states. Computing post^132 from 6 states.  2 states merged within 8 states. Computing post^126 from 6 states. Computing post^133 from 6 states. Computing post^106 from 10 states. Computing post^127 from 6 states. Computing post^106 from 10 states. Computing post^108 from 10 states. Computing post^107 from 6 states. Computing post^134 from 6 states. Computing post^107 from 6 states. Computing post^109 from 6 states.  2 states merged within 8 states. Computing post^128 from 6 states. Computing post^135 from 6 states. Computing post^129 from 6 states. Computing post^108 from 10 states. Computing post^108 from 10 states. Computing post^110 from 10 states. Computing post^136 from 6 states. Computing post^109 from 6 states. Computing post^109 from 6 states.  2 states merged within 8 states. Computing post^130 from 6 states. Computing post^111 from 6 states. Computing post^137 from 6 states. Computing post^110 from 10 states. Computing post^138 from 6 states. Computing post^131 from 6 states. Computing post^110 from 10 states. Computing post^112 from 10 states. Computing post^111 from 6 states. Computing post^111 from 6 states.  2 states merged within 8 states. Computing post^132 from 6 states. Computing post^113 from 6 states. Computing post^139 from 6 states. Computing post^133 from 6 states. Computing post^140 from 6 states. Computing post^112 from 10 states. Computing post^112 from 10 states. Computing post^114 from 10 states. Computing post^113 from 6 states.  2 states merged within 8 states. Computing post^134 from 6 states. Computing post^141 from 6 states. Computing post^113 from 6 states. Computing post^115 from 6 states. Computing post^135 from 6 states. Computing post^142 from 6 states. Computing post^114 from 10 states.  2 states merged within 8 states. Computing post^136 from 6 states. Computing post^143 from 6 states. Computing post^115 from 6 states. Computing post^114 from 10 states. Computing post^116 from 10 states. Computing post^137 from 6 states. Computing post^144 from 6 states. Computing post^115 from 6 states. Computing post^117 from 6 states. Computing post^116 from 10 states.  2 states merged within 8 states. Computing post^145 from 6 states. Computing post^138 from 6 states. Computing post^117 from 6 states. Computing post^116 from 10 states. Computing post^118 from 10 states. Computing post^146 from 6 states. Computing post^139 from 6 states. Computing post^117 from 6 states. Computing post^119 from 6 states. Computing post^147 from 6 states.  2 states merged within 8 states. Computing post^140 from 6 states. Computing post^118 from 10 states. Computing post^119 from 6 states. Computing post^148 from 6 states. Computing post^141 from 6 states. Computing post^118 from 10 states. Computing post^120 from 10 states. Computing post^119 from 6 states. Computing post^149 from 6 states. Computing post^121 from 6 states.  2 states merged within 8 states. Computing post^142 from 6 states. Computing post^120 from 10 states. Computing post^150 from 6 states. Computing post^143 from 6 states. Computing post^121 from 6 states. Computing post^120 from 10 states. Computing post^122 from 10 states. Computing post^151 from 6 states.  2 states merged within 8 states. Computing post^144 from 6 states. Computing post^121 from 6 states. Computing post^123 from 6 states. Computing post^122 from 10 states. Computing post^145 from 6 states. Computing post^152 from 6 states. Computing post^123 from 6 states. Computing post^122 from 10 states. Computing post^124 from 10 states.  2 states merged within 8 states. Computing post^146 from 6 states. Computing post^153 from 6 states. Computing post^123 from 6 states. Computing post^125 from 6 states. Computing post^124 from 10 states. Computing post^147 from 6 states. Computing post^154 from 6 states. Computing post^125 from 6 states.  2 states merged within 8 states. Computing post^148 from 6 states. Computing post^124 from 10 states. Computing post^155 from 6 states. Computing post^126 from 10 states. Computing post^125 from 6 states. Computing post^149 from 6 states. Computing post^126 from 10 states. Computing post^127 from 6 states. Computing post^156 from 6 states. Computing post^127 from 6 states.  2 states merged within 8 states. Computing post^150 from 6 states. Computing post^157 from 6 states. Computing post^128 from 10 states. Computing post^151 from 6 states. Computing post^158 from 6 states. Computing post^126 from 10 states. Computing post^128 from 10 states. Computing post^129 from 6 states.  2 states merged within 8 states. Computing post^152 from 6 states. Computing post^129 from 6 states. Computing post^159 from 6 states. Computing post^127 from 6 states. Computing post^153 from 6 states. Computing post^160 from 6 states. Computing post^130 from 10 states.  2 states merged within 8 states. Computing post^154 from 6 states. Computing post^130 from 10 states. Computing post^161 from 6 states. Computing post^131 from 6 states. Computing post^131 from 6 states. Computing post^155 from 6 states. Computing post^162 from 6 states. Computing post^128 from 10 states.  2 states merged within 8 states. Computing post^156 from 6 states. Computing post^163 from 6 states. Computing post^129 from 6 states. Computing post^132 from 10 states. Computing post^157 from 6 states. Computing post^132 from 10 states. Computing post^133 from 6 states. Computing post^164 from 6 states.  2 states merged within 8 states. Computing post^158 from 6 states. Computing post^133 from 6 states. Computing post^159 from 6 states. Computing post^130 from 10 states. Computing post^134 from 10 states. Computing post^165 from 6 states. Computing post^135 from 6 states.  2 states merged within 8 states. Computing post^160 from 6 states. Computing post^131 from 6 states. Computing post^134 from 10 states. Computing post^166 from 6 states. Computing post^135 from 6 states. Computing post^161 from 6 states. Computing post^136 from 10 states.  2 states merged within 8 states. Computing post^162 from 6 states. Computing post^137 from 6 states. Computing post^167 from 6 states. Computing post^136 from 10 states. Computing post^132 from 10 states. Computing post^163 from 6 states. Computing post^137 from 6 states. Computing post^168 from 6 states. Computing post^133 from 6 states. Computing post^138 from 10 states.  2 states merged within 8 states. Computing post^164 from 6 states. Computing post^169 from 6 states. Computing post^139 from 6 states. Computing post^138 from 10 states. Computing post^134 from 10 states. Computing post^165 from 6 states. Computing post^170 from 6 states. Computing post^135 from 6 states. Computing post^139 from 6 states. Computing post^140 from 10 states.  2 states merged within 8 states. Computing post^166 from 6 states. Computing post^171 from 6 states. Computing post^141 from 6 states. Computing post^136 from 10 states. Computing post^167 from 6 states. Computing post^140 from 10 states. Computing post^172 from 6 states. Computing post^142 from 10 states. Computing post^137 from 6 states. Computing post^141 from 6 states.  2 states merged within 8 states. Computing post^168 from 6 states. Computing post^173 from 6 states. Computing post^143 from 6 states. Computing post^169 from 6 states. Computing post^138 from 10 states. Computing post^174 from 6 states. Computing post^142 from 10 states. Computing post^139 from 6 states. Computing post^144 from 10 states.  2 states merged within 8 states. Computing post^170 from 6 states. Computing post^175 from 6 states. Computing post^143 from 6 states. Computing post^145 from 6 states. Computing post^171 from 6 states. Computing post^176 from 6 states. Computing post^140 from 10 states. Computing post^144 from 10 states. Computing post^177 from 6 states.  2 states merged within 8 states. Computing post^172 from 6 states. Computing post^141 from 6 states. Computing post^146 from 10 states. Computing post^145 from 6 states. Computing post^178 from 6 states. Computing post^173 from 6 states. Computing post^147 from 6 states. Computing post^142 from 10 states. Computing post^179 from 6 states.  2 states merged within 8 states. Computing post^174 from 6 states. Computing post^146 from 10 states. Computing post^143 from 6 states. Computing post^148 from 10 states. Computing post^180 from 6 states. Computing post^147 from 6 states. Computing post^149 from 6 states. Computing post^175 from 6 states. Computing post^181 from 6 states. Computing post^144 from 10 states. Computing post^182 from 6 states. Computing post^148 from 10 states. Computing post^150 from 10 states. Computing post^145 from 6 states.  2 states merged within 8 states. Computing post^176 from 6 states. Computing post^149 from 6 states. Computing post^151 from 6 states. Computing post^183 from 6 states. Computing post^184 from 6 states. Computing post^177 from 6 states. Computing post^146 from 10 states. Computing post^150 from 10 states. Computing post^152 from 10 states. Computing post^147 from 6 states. Computing post^185 from 6 states.  2 states merged within 8 states. Computing post^178 from 6 states. Computing post^151 from 6 states. Computing post^153 from 6 states. Computing post^186 from 6 states. Computing post^179 from 6 states. Computing post^148 from 10 states. Computing post^152 from 10 states. Computing post^187 from 6 states. Computing post^149 from 6 states.  2 states merged within 8 states. Computing post^180 from 6 states. Computing post^154 from 10 states. Computing post^153 from 6 states. Computing post^188 from 6 states. Computing post^155 from 6 states. Computing post^181 from 6 states. Computing post^150 from 10 states. Computing post^189 from 6 states. Computing post^154 from 10 states.  2 states merged within 8 states. Computing post^182 from 6 states. Computing post^151 from 6 states. Computing post^156 from 10 states. Computing post^190 from 6 states. Computing post^155 from 6 states. Computing post^183 from 6 states. Computing post^157 from 6 states. Computing post^191 from 6 states. Computing post^152 from 10 states.  2 states merged within 8 states. Computing post^184 from 6 states. Computing post^156 from 10 states. Computing post^192 from 6 states. Computing post^153 from 6 states. Computing post^158 from 10 states. Computing post^185 from 6 states. Computing post^157 from 6 states. Computing post^159 from 6 states. Computing post^193 from 6 states.  2 states merged within 8 states. Computing post^186 from 6 states. Computing post^154 from 10 states. Computing post^194 from 6 states. Computing post^158 from 10 states. Computing post^187 from 6 states. Computing post^155 from 6 states. Computing post^160 from 10 states. Computing post^195 from 6 states. Computing post^159 from 6 states. Computing post^161 from 6 states.  2 states merged within 8 states. Computing post^188 from 6 states. Computing post^196 from 6 states. Computing post^156 from 10 states. Computing post^160 from 10 states. Computing post^157 from 6 states. Computing post^162 from 10 states. Computing post^197 from 6 states. Computing post^189 from 6 states. Computing post^161 from 6 states. Computing post^163 from 6 states. Computing post^198 from 6 states. Computing post^158 from 10 states.  2 states merged within 8 states. Computing post^190 from 6 states. Computing post^199 from 6 states. Computing post^162 from 10 states. Computing post^159 from 6 states. Computing post^164 from 10 states. Computing post^191 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 62.186 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^163 from 6 states. Computing post^165 from 6 states. Computing post^2 from 7 states. Computing post^3 from 18 states.  2 states merged within 8 states. Computing post^192 from 6 states. Computing post^4 from 23 states. Computing post^160 from 10 states. Computing post^5 from 20 states. Computing post^6 from 20 states.  3 states merged within 20 states. Computing post^7 from 17 states. Computing post^166 from 10 states. Computing post^193 from 6 states. Computing post^161 from 6 states. Computing post^164 from 10 states.  3 states merged within 11 states. Computing post^8 from 8 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^167 from 6 states. Computing post^165 from 6 states. Computing post^14 from 10 states. Computing post^15 from 6 states.  2 states merged within 8 states. Computing post^194 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^162 from 10 states. Computing post^20 from 10 states. Computing post^21 from 6 states. Computing post^195 from 6 states. Computing post^22 from 10 states. Computing post^23 from 6 states. Computing post^168 from 10 states. Computing post^163 from 6 states. Computing post^24 from 10 states. Computing post^166 from 10 states. Computing post^25 from 6 states. Computing post^26 from 10 states. Computing post^169 from 6 states. Computing post^27 from 6 states.  2 states merged within 8 states. Computing post^196 from 6 states. Computing post^167 from 6 states. Computing post^28 from 10 states. Computing post^29 from 6 states. Computing post^30 from 10 states. Computing post^31 from 6 states. Computing post^197 from 6 states. Computing post^32 from 10 states. Computing post^164 from 10 states. Computing post^33 from 6 states. Computing post^170 from 10 states. Computing post^34 from 10 states. Computing post^168 from 10 states. Computing post^35 from 6 states. Computing post^165 from 6 states.  2 states merged within 8 states. Computing post^198 from 6 states. Computing post^36 from 10 states. Computing post^171 from 6 states. Computing post^37 from 6 states. Computing post^169 from 6 states. Computing post^38 from 10 states. Computing post^199 from 6 states. Computing post^39 from 6 states. Computing post^40 from 10 states. Computing post^166 from 10 states. Computing post^172 from 10 states. Computing post^170 from 10 states. Computing post^41 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 67.457 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^173 from 6 states. Computing post^42 from 10 states. Computing post^171 from 6 states. Computing post^2 from 8 states. Computing post^43 from 6 states. Computing post^167 from 6 states. Computing post^3 from 24 states. Computing post^4 from 35 states. Computing post^44 from 10 states. Computing post^45 from 6 states. Computing post^5 from 29 states. Computing post^6 from 18 states. Computing post^46 from 10 states.  1 state merged within 11 states. Computing post^7 from 10 states.  3 states merged within 8 states. Computing post^8 from 5 states. Computing post^47 from 6 states. Computing post^174 from 10 states. Computing post^9 from 6 states. Computing post^172 from 10 states.  1 state merged within 7 states. Computing post^10 from 6 states. Computing post^11 from 6 states.  1 state merged within 7 states. Computing post^12 from 6 states. Computing post^168 from 10 states. Computing post^13 from 6 states. Computing post^48 from 10 states.  2 states merged within 8 states. Computing post^14 from 6 states. Computing post^15 from 6 states. Computing post^49 from 6 states.  2 states merged within 8 states. Computing post^16 from 6 states. Computing post^173 from 6 states. Computing post^17 from 6 states. Computing post^175 from 6 states.  2 states merged within 8 states. Computing post^18 from 6 states. Computing post^19 from 6 states. Computing post^50 from 10 states. Computing post^169 from 6 states.  2 states merged within 8 states. Computing post^20 from 6 states. Computing post^51 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.  2 states merged within 8 states. Computing post^24 from 6 states. Computing post^52 from 10 states. Computing post^25 from 6 states. Computing post^53 from 6 states.  2 states merged within 8 states. Computing post^26 from 6 states. Computing post^27 from 6 states. Computing post^176 from 10 states.  2 states merged within 8 states. Computing post^28 from 6 states. Computing post^54 from 10 states. Computing post^29 from 6 states. Computing post^170 from 10 states. Computing post^55 from 6 states.  2 states merged within 8 states. Computing post^30 from 6 states. Computing post^174 from 10 states. Computing post^31 from 6 states. Computing post^177 from 6 states.  2 states merged within 8 states. Computing post^32 from 6 states. Computing post^56 from 10 states. Computing post^33 from 6 states. Computing post^171 from 6 states. Computing post^57 from 6 states. Computing post^175 from 6 states.  2 states merged within 8 states. Computing post^34 from 6 states. Computing post^35 from 6 states. Computing post^58 from 10 states.  2 states merged within 8 states. Computing post^36 from 6 states. Computing post^37 from 6 states. Computing post^59 from 6 states.  2 states merged within 8 states. Computing post^38 from 6 states. Computing post^178 from 10 states. Computing post^39 from 6 states. Computing post^60 from 10 states.  2 states merged within 8 states. Computing post^40 from 6 states. Computing post^61 from 6 states. Computing post^172 from 10 states. Computing post^41 from 6 states. Computing post^176 from 10 states. Computing post^179 from 6 states.  2 states merged within 8 states. Computing post^42 from 6 states. Computing post^62 from 10 states. Computing post^43 from 6 states. Computing post^173 from 6 states.  2 states merged within 8 states. Computing post^63 from 6 states. Computing post^44 from 6 states. Computing post^177 from 6 states. Computing post^45 from 6 states.  2 states merged within 8 states. Computing post^46 from 6 states. Computing post^64 from 10 states. Computing post^47 from 6 states. Computing post^65 from 6 states. Computing post^180 from 10 states.  2 states merged within 8 states. Computing post^48 from 6 states. Computing post^49 from 6 states. Computing post^66 from 10 states.  2 states merged within 8 states. Computing post^50 from 6 states. Computing post^178 from 10 states. Computing post^174 from 10 states. Computing post^181 from 6 states. Computing post^67 from 6 states. Computing post^51 from 6 states.  2 states merged within 8 states. Computing post^52 from 6 states. Computing post^68 from 10 states. Computing post^179 from 6 states. Computing post^175 from 6 states. Computing post^53 from 6 states. Computing post^69 from 6 states.  2 states merged within 8 states. Computing post^54 from 6 states. Computing post^55 from 6 states. Computing post^182 from 10 states. Computing post^70 from 10 states.  2 states merged within 8 states. Computing post^56 from 6 states. Computing post^71 from 6 states. Computing post^57 from 6 states. Computing post^183 from 6 states. Computing post^176 from 10 states. Computing post^180 from 10 states.  2 states merged within 8 states. Computing post^58 from 6 states. Computing post^72 from 10 states. Computing post^59 from 6 states. Computing post^73 from 6 states. Computing post^177 from 6 states.  2 states merged within 8 states. Computing post^60 from 6 states. Computing post^181 from 6 states. Computing post^61 from 6 states. Computing post^74 from 10 states.  2 states merged within 8 states. Computing post^62 from 6 states. Computing post^75 from 6 states. Computing post^184 from 10 states. Computing post^63 from 6 states.  2 states merged within 8 states. Computing post^64 from 6 states. Computing post^76 from 10 states. Computing post^185 from 6 states. Computing post^178 from 10 states. Computing post^65 from 6 states. Computing post^77 from 6 states. Computing post^182 from 10 states.  2 states merged within 8 states. Computing post^66 from 6 states. Computing post^179 from 6 states. Computing post^67 from 6 states. Computing post^78 from 10 states. Computing post^183 from 6 states. Computing post^79 from 6 states.  2 states merged within 8 states. Computing post^68 from 6 states. Computing post^186 from 10 states. Computing post^69 from 6 states. Computing post^80 from 10 states.  2 states merged within 8 states. Computing post^70 from 6 states. Computing post^187 from 6 states. Computing post^81 from 6 states. Computing post^71 from 6 states. Computing post^180 from 10 states. Computing post^184 from 10 states.  2 states merged within 8 states. Computing post^72 from 6 states. Computing post^82 from 10 states. Computing post^181 from 6 states. Computing post^73 from 6 states. Computing post^83 from 6 states. Computing post^188 from 10 states. Computing post^185 from 6 states.  2 states merged within 8 states. Computing post^74 from 6 states. Computing post^75 from 6 states. Computing post^84 from 10 states. Computing post^189 from 6 states. Computing post^85 from 6 states.  2 states merged within 8 states. Computing post^76 from 6 states. Computing post^182 from 10 states. Computing post^77 from 6 states. Computing post^86 from 10 states.  2 states merged within 8 states. Computing post^78 from 6 states. Computing post^183 from 6 states. Computing post^87 from 6 states. Computing post^79 from 6 states. Computing post^190 from 10 states. Computing post^186 from 10 states.  2 states merged within 8 states. Computing post^80 from 6 states. Computing post^88 from 10 states. Computing post^81 from 6 states. Computing post^191 from 6 states. Computing post^187 from 6 states. Computing post^89 from 6 states.  2 states merged within 8 states. Computing post^82 from 6 states. Computing post^184 from 10 states. Computing post^83 from 6 states. Computing post^90 from 10 states. Computing post^185 from 6 states. Computing post^91 from 6 states.  2 states merged within 8 states. Computing post^84 from 6 states. Computing post^192 from 10 states. Computing post^85 from 6 states. Computing post^188 from 10 states. Computing post^92 from 10 states.  2 states merged within 8 states. Computing post^86 from 6 states. Computing post^193 from 6 states. Computing post^93 from 6 states. Computing post^189 from 6 states. Computing post^87 from 6 states. Computing post^186 from 10 states.  2 states merged within 8 states. Computing post^88 from 6 states. Computing post^94 from 10 states. Computing post^89 from 6 states. Computing post^187 from 6 states. Computing post^95 from 6 states. Computing post^194 from 10 states.  2 states merged within 8 states. Computing post^90 from 6 states. Computing post^96 from 10 states. Computing post^91 from 6 states. Computing post^190 from 10 states. Computing post^195 from 6 states. Computing post^97 from 6 states.  2 states merged within 8 states. Computing post^92 from 6 states. Computing post^188 from 10 states. Computing post^93 from 6 states. Computing post^191 from 6 states. Computing post^98 from 10 states.  2 states merged within 8 states. Computing post^94 from 6 states. Computing post^189 from 6 states. Computing post^99 from 6 states. Computing post^196 from 10 states. Computing post^95 from 6 states. Computing post^100 from 10 states.  2 states merged within 8 states. Computing post^96 from 6 states. Computing post^197 from 6 states. Computing post^192 from 10 states. Computing post^101 from 6 states. Computing post^97 from 6 states. Computing post^190 from 10 states.  2 states merged within 8 states. Computing post^98 from 6 states. Computing post^193 from 6 states. Computing post^102 from 10 states. Computing post^191 from 6 states. Computing post^99 from 6 states. Computing post^103 from 6 states. Computing post^198 from 10 states.  2 states merged within 8 states. Computing post^100 from 6 states. Computing post^104 from 10 states. Computing post^199 from 6 states. Computing post^101 from 6 states. Computing post^105 from 6 states. Computing post^194 from 10 states.  2 states merged within 8 states. Computing post^102 from 6 states. Computing post^192 from 10 states. Computing post^103 from 6 states. Computing post^195 from 6 states. Computing post^106 from 10 states. Computing post^193 from 6 states. Computing post^107 from 6 states.  2 states merged within 8 states. Computing post^104 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 86.206 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^105 from 6 states. Computing post^2 from 7 states. Computing post^3 from 18 states. Computing post^108 from 10 states. Computing post^4 from 23 states.  2 states merged within 8 states. Computing post^106 from 6 states. Computing post^5 from 19 states. Computing post^109 from 6 states. Computing post^6 from 15 states. Computing post^196 from 10 states.  3 states merged within 13 states. Computing post^7 from 10 states. Computing post^194 from 10 states.  1 state merged within 6 states. Computing post^8 from 5 states. Computing post^107 from 6 states. Computing post^9 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^13 from 6 states.  2 states merged within 8 states. Computing post^14 from 6 states.  2 states merged within 8 states. Computing post^108 from 6 states. Computing post^15 from 6 states. Computing post^110 from 10 states. Computing post^197 from 6 states. Computing post^195 from 6 states.  2 states merged within 8 states. Computing post^16 from 6 states. Computing post^17 from 6 states.  2 states merged within 8 states. Computing post^18 from 6 states. Computing post^111 from 6 states. Computing post^19 from 6 states. Computing post^109 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.  2 states merged within 8 states. Computing post^24 from 6 states.  2 states merged within 8 states. Computing post^110 from 6 states. Computing post^25 from 6 states. Computing post^112 from 10 states.  2 states merged within 8 states. Computing post^26 from 6 states. Computing post^27 from 6 states. Computing post^111 from 6 states.  2 states merged within 8 states. Computing post^28 from 6 states. Computing post^198 from 10 states. Computing post^113 from 6 states. Computing post^196 from 10 states. Computing post^29 from 6 states.  2 states merged within 8 states. Computing post^30 from 6 states. Computing post^31 from 6 states.  2 states merged within 8 states. Computing post^112 from 6 states.  2 states merged within 8 states. Computing post^32 from 6 states. Computing post^33 from 6 states. Computing post^197 from 6 states. Computing post^199 from 6 states.  2 states merged within 8 states. Computing post^114 from 10 states. Computing post^34 from 6 states. Computing post^113 from 6 states. Computing post^35 from 6 states.  2 states merged within 8 states. Computing post^36 from 6 states. Computing post^115 from 6 states. Computing post^37 from 6 states.  2 states merged within 8 states. Computing post^114 from 6 states.  2 states merged within 8 states. Computing post^38 from 6 states. Computing post^39 from 6 states.  2 states merged within 8 states. Computing post^40 from 6 states. Computing post^115 from 6 states. Computing post^41 from 6 states. Computing post^116 from 10 states. Computing post^198 from 10 states.  2 states merged within 8 states. Computing post^42 from 6 states.  2 states merged within 8 states. Computing post^116 from 6 states. Computing post^43 from 6 states. Computing post^117 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.363 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  2 states merged within 8 states. Computing post^44 from 6 states. Computing post^45 from 6 states. Computing post^117 from 6 states. Computing post^199 from 6 states. Computing post^2 from 8 states. Computing post^3 from 24 states.  2 states merged within 8 states. Computing post^46 from 6 states. Computing post^47 from 6 states. Computing post^118 from 10 states. Computing post^4 from 35 states.  2 states merged within 8 states. Computing post^118 from 6 states.  2 states merged within 8 states. Computing post^48 from 6 states. Computing post^5 from 30 states. Computing post^119 from 6 states. Computing post^49 from 6 states. Computing post^119 from 6 states. Computing post^6 from 23 states.  2 states merged within 8 states. Computing post^50 from 6 states.  3 states merged within 20 states. Computing post^7 from 17 states. Computing post^51 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 91.739 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states.  2 states merged within 8 states. Computing post^52 from 6 states.  2 states merged within 8 states. Computing post^120 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 91.823 seconds. Computing post^3 from 18 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^120 from 10 states. Computing post^53 from 6 states. Computing post^4 from 23 states. Computing post^2 from 8 states.  2 states merged within 8 states. Computing post^5 from 20 states. Computing post^54 from 6 states. Computing post^121 from 6 states. Computing post^121 from 6 states. Computing post^6 from 20 states. Computing post^3 from 24 states. Computing post^55 from 6 states.  3 states merged within 20 states. Computing post^7 from 17 states. Computing post^4 from 35 states.  2 states merged within 8 states. Computing post^56 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 92.525 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states.  2 states merged within 8 states. Computing post^122 from 6 states. Computing post^3 from 18 states. Computing post^57 from 6 states. Computing post^5 from 29 states. Computing post^4 from 23 states. Computing post^6 from 18 states.  2 states merged within 8 states. Computing post^58 from 6 states. Computing post^122 from 10 states. Computing post^5 from 19 states.  1 state merged within 11 states. Computing post^7 from 10 states. Computing post^123 from 6 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 92.941 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^6 from 15 states. Computing post^59 from 6 states. Computing post^2 from 8 states.  3 states merged within 13 states. Computing post^3 from 24 states. Computing post^7 from 10 states. Computing post^123 from 6 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 93.116 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  2 states merged within 8 states. Computing post^2 from 7 states. Computing post^60 from 6 states. Computing post^3 from 18 states. Computing post^4 from 35 states.  2 states merged within 8 states. Computing post^4 from 23 states. Computing post^124 from 6 states. Computing post^61 from 6 states. Computing post^5 from 20 states.  2 states merged within 8 states. Computing post^62 from 6 states. Computing post^6 from 20 states. Computing post^5 from 30 states.  3 states merged within 20 states. Computing post^7 from 17 states. Computing post^125 from 6 states. Computing post^63 from 6 states. Computing post^124 from 10 states. Computing post^6 from 23 states.  3 states merged within 11 states. Computing post^8 from 8 states. Computing post^9 from 6 states.  3 states merged within 20 states. Computing post^10 from 10 states.  2 states merged within 8 states. Computing post^7 from 17 states. Computing post^64 from 6 states. Computing post^11 from 6 states.  1 state merged within 9 states. Computing post^12 from 10 states. Computing post^8 from 8 states. Computing post^9 from 6 states. Computing post^13 from 6 states. Computing post^125 from 6 states. Computing post^10 from 10 states. Computing post^65 from 6 states. Computing post^14 from 10 states. Computing post^11 from 6 states.  2 states merged within 8 states. Computing post^126 from 6 states. Computing post^15 from 6 states. Computing post^12 from 10 states. Computing post^13 from 6 states. Computing post^16 from 10 states. Computing post^17 from 6 states.  2 states merged within 8 states. Computing post^66 from 6 states. Computing post^14 from 10 states. Computing post^15 from 6 states. Computing post^18 from 10 states. Computing post^19 from 6 states. Computing post^16 from 10 states. Computing post^17 from 6 states. Computing post^67 from 6 states. Computing post^20 from 10 states. Computing post^127 from 6 states. Computing post^18 from 10 states. Computing post^21 from 6 states. Computing post^19 from 6 states. Computing post^22 from 10 states. Computing post^126 from 10 states.  2 states merged within 8 states. Computing post^68 from 6 states. Computing post^20 from 10 states. Computing post^23 from 6 states. Computing post^21 from 6 states. Computing post^24 from 10 states. Computing post^22 from 10 states. Computing post^69 from 6 states. Computing post^25 from 6 states. Computing post^23 from 6 states.  2 states merged within 8 states. Computing post^128 from 6 states. Computing post^127 from 6 states. Computing post^24 from 10 states. Computing post^26 from 10 states. Computing post^25 from 6 states.  2 states merged within 8 states. Computing post^70 from 6 states. Computing post^27 from 6 states. Computing post^26 from 10 states. Computing post^27 from 6 states. Computing post^71 from 6 states. Computing post^129 from 6 states. Computing post^28 from 10 states. Computing post^28 from 10 states. Computing post^29 from 6 states. Computing post^29 from 6 states.  2 states merged within 8 states. Computing post^72 from 6 states. Computing post^30 from 10 states. Computing post^30 from 10 states. Computing post^128 from 10 states. Computing post^31 from 6 states. Computing post^31 from 6 states. Computing post^73 from 6 states.  2 states merged within 8 states. Computing post^130 from 6 states. Computing post^32 from 10 states. Computing post^32 from 10 states. Computing post^33 from 6 states. Computing post^33 from 6 states. Computing post^129 from 6 states.  2 states merged within 8 states. Computing post^74 from 6 states. Computing post^34 from 10 states. Computing post^34 from 10 states. Computing post^35 from 6 states. Computing post^35 from 6 states. Computing post^131 from 6 states. Computing post^75 from 6 states. Computing post^36 from 10 states. Computing post^36 from 10 states. Computing post^37 from 6 states. Computing post^37 from 6 states.  2 states merged within 8 states. Computing post^76 from 6 states. Computing post^38 from 10 states. Computing post^38 from 10 states. Computing post^39 from 6 states. Computing post^39 from 6 states.  2 states merged within 8 states. Computing post^132 from 6 states. Computing post^130 from 10 states. Computing post^77 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.  2 states merged within 8 states. Computing post^78 from 6 states. Computing post^131 from 6 states. Computing post^42 from 10 states. Computing post^133 from 6 states. Computing post^42 from 10 states. Computing post^43 from 6 states. Computing post^43 from 6 states. Computing post^79 from 6 states. Computing post^44 from 10 states. Computing post^44 from 10 states. Computing post^45 from 6 states. Computing post^45 from 6 states.  2 states merged within 8 states. Computing post^80 from 6 states.  2 states merged within 8 states. Computing post^134 from 6 states. Computing post^46 from 10 states. Computing post^46 from 10 states. Computing post^47 from 6 states. Computing post^81 from 6 states. Computing post^132 from 10 states. Computing post^47 from 6 states. Computing post^48 from 10 states. Computing post^135 from 6 states. Computing post^48 from 10 states.  2 states merged within 8 states. Computing post^82 from 6 states. Computing post^133 from 6 states. Computing post^49 from 6 states. Computing post^49 from 6 states. Computing post^83 from 6 states. Computing post^50 from 10 states.  2 states merged within 8 states. Computing post^136 from 6 states. Computing post^50 from 10 states. Computing post^51 from 6 states.  2 states merged within 8 states. Computing post^84 from 6 states. Computing post^51 from 6 states. Computing post^52 from 10 states. Computing post^53 from 6 states. Computing post^85 from 6 states. Computing post^134 from 10 states. Computing post^137 from 6 states. Computing post^52 from 10 states. Computing post^54 from 10 states.  2 states merged within 8 states. Computing post^86 from 6 states. Computing post^53 from 6 states. Computing post^55 from 6 states. Computing post^135 from 6 states.  2 states merged within 8 states. Computing post^138 from 6 states. Computing post^87 from 6 states. Computing post^56 from 10 states. Computing post^54 from 10 states. Computing post^57 from 6 states.  2 states merged within 8 states. Computing post^88 from 6 states. Computing post^55 from 6 states. Computing post^58 from 10 states. Computing post^139 from 6 states. Computing post^59 from 6 states. Computing post^89 from 6 states. Computing post^136 from 10 states. Computing post^56 from 10 states. Computing post^60 from 10 states.  2 states merged within 8 states. Computing post^90 from 6 states. Computing post^57 from 6 states.  2 states merged within 8 states. Computing post^140 from 6 states. Computing post^61 from 6 states. Computing post^137 from 6 states. Computing post^91 from 6 states. Computing post^62 from 10 states. Computing post^58 from 10 states. Computing post^63 from 6 states. Computing post^141 from 6 states.  2 states merged within 8 states. Computing post^92 from 6 states. Computing post^59 from 6 states. Computing post^64 from 10 states. Computing post^93 from 6 states. Computing post^65 from 6 states. Computing post^138 from 10 states. Computing post^60 from 10 states.  2 states merged within 8 states. Computing post^142 from 6 states. Computing post^61 from 6 states.  2 states merged within 8 states. Computing post^94 from 6 states. Computing post^66 from 10 states. Computing post^139 from 6 states. Computing post^67 from 6 states. Computing post^62 from 10 states. Computing post^143 from 6 states. Computing post^95 from 6 states. Computing post^63 from 6 states. Computing post^68 from 10 states. Computing post^64 from 10 states.  2 states merged within 8 states. Computing post^69 from 6 states. Computing post^96 from 6 states.  2 states merged within 8 states. Computing post^144 from 6 states. Computing post^65 from 6 states. Computing post^97 from 6 states. Computing post^140 from 10 states. Computing post^70 from 10 states. Computing post^66 from 10 states. Computing post^71 from 6 states. Computing post^67 from 6 states. Computing post^145 from 6 states.  2 states merged within 8 states. Computing post^98 from 6 states. Computing post^141 from 6 states. Computing post^72 from 10 states. Computing post^68 from 10 states. Computing post^73 from 6 states. Computing post^99 from 6 states. Computing post^69 from 6 states.  2 states merged within 8 states. Computing post^146 from 6 states. Computing post^74 from 10 states.  2 states merged within 8 states. Computing post^70 from 10 states. Computing post^100 from 6 states. Computing post^75 from 6 states. Computing post^71 from 6 states. Computing post^142 from 10 states. Computing post^147 from 6 states. Computing post^101 from 6 states. Computing post^72 from 10 states. Computing post^76 from 10 states. Computing post^143 from 6 states. Computing post^73 from 6 states. Computing post^77 from 6 states.  2 states merged within 8 states. Computing post^102 from 6 states.  2 states merged within 8 states. Computing post^148 from 6 states. Computing post^74 from 10 states. Computing post^78 from 10 states. Computing post^75 from 6 states. Computing post^79 from 6 states. Computing post^103 from 6 states. Computing post^149 from 6 states. Computing post^76 from 10 states. Computing post^144 from 10 states. Computing post^80 from 10 states. Computing post^77 from 6 states. Computing post^81 from 6 states.  2 states merged within 8 states. Computing post^104 from 6 states. Computing post^145 from 6 states.  2 states merged within 8 states. Computing post^150 from 6 states. Computing post^78 from 10 states. Computing post^82 from 10 states. Computing post^79 from 6 states. Computing post^83 from 6 states. Computing post^105 from 6 states. Computing post^151 from 6 states. Computing post^80 from 10 states. Computing post^81 from 6 states. Computing post^84 from 10 states.  2 states merged within 8 states. Computing post^106 from 6 states. Computing post^146 from 10 states. Computing post^85 from 6 states.  2 states merged within 8 states. Computing post^152 from 6 states. Computing post^82 from 10 states. Computing post^107 from 6 states. Computing post^83 from 6 states. Computing post^147 from 6 states. Computing post^86 from 10 states. Computing post^87 from 6 states. Computing post^153 from 6 states.  2 states merged within 8 states. Computing post^108 from 6 states. Computing post^84 from 10 states. Computing post^85 from 6 states. Computing post^88 from 10 states. Computing post^109 from 6 states.  2 states merged within 8 states. Computing post^154 from 6 states. Computing post^89 from 6 states. Computing post^148 from 10 states. Computing post^86 from 10 states.  2 states merged within 8 states. Computing post^110 from 6 states. Computing post^87 from 6 states. Computing post^90 from 10 states. Computing post^149 from 6 states. Computing post^155 from 6 states. Computing post^111 from 6 states. Computing post^91 from 6 states. Computing post^88 from 10 states. Computing post^89 from 6 states.  2 states merged within 8 states. Computing post^112 from 6 states. Computing post^92 from 10 states.  2 states merged within 8 states. Computing post^156 from 6 states. Computing post^93 from 6 states. Computing post^90 from 10 states. Computing post^113 from 6 states. Computing post^150 from 10 states. Computing post^91 from 6 states. Computing post^157 from 6 states. Computing post^94 from 10 states.  2 states merged within 8 states. Computing post^114 from 6 states. Computing post^151 from 6 states. Computing post^92 from 10 states. Computing post^95 from 6 states. Computing post^93 from 6 states. Computing post^115 from 6 states.  2 states merged within 8 states. Computing post^158 from 6 states. Computing post^96 from 10 states. Computing post^94 from 10 states.  2 states merged within 8 states. Computing post^116 from 6 states. Computing post^97 from 6 states. Computing post^95 from 6 states. Computing post^152 from 10 states. Computing post^159 from 6 states. Computing post^117 from 6 states. Computing post^98 from 10 states. Computing post^96 from 10 states. Computing post^153 from 6 states. Computing post^99 from 6 states. Computing post^97 from 6 states.  2 states merged within 8 states. Computing post^118 from 6 states.  2 states merged within 8 states. Computing post^160 from 6 states. Computing post^100 from 10 states. Computing post^98 from 10 states. Computing post^119 from 6 states. Computing post^99 from 6 states. Computing post^101 from 6 states. Computing post^161 from 6 states. Computing post^154 from 10 states.  2 states merged within 8 states. Computing post^120 from 6 states. Computing post^100 from 10 states. Computing post^102 from 10 states. Computing post^155 from 6 states. Computing post^101 from 6 states. Computing post^121 from 6 states.  2 states merged within 8 states. Computing post^162 from 6 states. Computing post^103 from 6 states.  2 states merged within 8 states. Computing post^102 from 10 states. Computing post^122 from 6 states. Computing post^163 from 6 states. Computing post^104 from 10 states. Computing post^103 from 6 states. Computing post^105 from 6 states. Computing post^123 from 6 states. Computing post^156 from 10 states. Computing post^104 from 10 states.  2 states merged within 8 states. Computing post^164 from 6 states. Computing post^106 from 10 states.  2 states merged within 8 states. Computing post^124 from 6 states. Computing post^105 from 6 states. Computing post^157 from 6 states. Computing post^107 from 6 states. Computing post^125 from 6 states. Computing post^165 from 6 states. Computing post^106 from 10 states. Computing post^107 from 6 states. Computing post^108 from 10 states.  2 states merged within 8 states. Computing post^126 from 6 states. Computing post^109 from 6 states. Computing post^158 from 10 states.  2 states merged within 8 states. Computing post^166 from 6 states. Computing post^108 from 10 states. Computing post^127 from 6 states. Computing post^109 from 6 states. Computing post^110 from 10 states. Computing post^159 from 6 states. Computing post^167 from 6 states. Computing post^111 from 6 states.  2 states merged within 8 states. Computing post^128 from 6 states. Computing post^110 from 10 states. Computing post^111 from 6 states. Computing post^129 from 6 states. Computing post^112 from 10 states.  2 states merged within 8 states. Computing post^168 from 6 states. Computing post^160 from 10 states. Computing post^113 from 6 states. Computing post^112 from 10 states.  2 states merged within 8 states. Computing post^130 from 6 states. Computing post^113 from 6 states. Computing post^169 from 6 states. Computing post^161 from 6 states. Computing post^114 from 10 states. Computing post^131 from 6 states. Computing post^115 from 6 states. Computing post^114 from 10 states.  2 states merged within 8 states. Computing post^170 from 6 states.  2 states merged within 8 states. Computing post^132 from 6 states. Computing post^115 from 6 states. Computing post^116 from 10 states. Computing post^162 from 10 states. Computing post^133 from 6 states. Computing post^117 from 6 states. Computing post^171 from 6 states. Computing post^116 from 10 states. Computing post^117 from 6 states. Computing post^163 from 6 states.  2 states merged within 8 states. Computing post^134 from 6 states. Computing post^118 from 10 states.  2 states merged within 8 states. Computing post^172 from 6 states. Computing post^135 from 6 states. Computing post^118 from 10 states. Computing post^119 from 6 states. Computing post^119 from 6 states.  2 states merged within 8 states. Computing post^136 from 6 states. Computing post^164 from 10 states. Computing post^137 from 6 states. Computing post^173 from 6 states. Computing post^165 from 6 states. Computing post^120 from 10 states. Computing post^120 from 10 states. Computing post^121 from 6 states.  2 states merged within 8 states. Computing post^138 from 6 states. Computing post^121 from 6 states. Computing post^139 from 6 states. Computing post^122 from 10 states. Computing post^166 from 10 states.  2 states merged within 8 states. Computing post^174 from 6 states. Computing post^123 from 6 states. Computing post^122 from 10 states.  2 states merged within 8 states. Computing post^140 from 6 states. Computing post^167 from 6 states. Computing post^123 from 6 states. Computing post^141 from 6 states. Computing post^124 from 10 states. Computing post^175 from 6 states. Computing post^125 from 6 states. Computing post^124 from 10 states.  2 states merged within 8 states. Computing post^142 from 6 states. Computing post^168 from 10 states. Computing post^125 from 6 states. Computing post^143 from 6 states. Computing post^126 from 10 states.  2 states merged within 8 states. Computing post^176 from 6 states. Computing post^169 from 6 states. Computing post^127 from 6 states.  2 states merged within 8 states. Computing post^144 from 6 states. Computing post^177 from 6 states. Computing post^128 from 10 states. Computing post^126 from 10 states. Computing post^145 from 6 states. Computing post^129 from 6 states. Computing post^170 from 10 states. Computing post^127 from 6 states.  2 states merged within 8 states. Computing post^178 from 6 states.  2 states merged within 8 states. Computing post^146 from 6 states. Computing post^171 from 6 states. Computing post^130 from 10 states. Computing post^147 from 6 states. Computing post^179 from 6 states. Computing post^128 from 10 states. Computing post^131 from 6 states. Computing post^129 from 6 states.  2 states merged within 8 states. Computing post^148 from 6 states. Computing post^132 from 10 states.  2 states merged within 8 states. Computing post^180 from 6 states. Computing post^172 from 10 states. Computing post^133 from 6 states. Computing post^130 from 10 states. Computing post^149 from 6 states. Computing post^131 from 6 states. Computing post^173 from 6 states. Computing post^181 from 6 states.  2 states merged within 8 states. Computing post^150 from 6 states. Computing post^134 from 10 states. Computing post^135 from 6 states. Computing post^132 from 10 states. Computing post^151 from 6 states.  2 states merged within 8 states. Computing post^182 from 6 states. Computing post^133 from 6 states. Computing post^174 from 10 states. Computing post^136 from 10 states.  2 states merged within 8 states. Computing post^152 from 6 states. Computing post^183 from 6 states. Computing post^137 from 6 states. Computing post^134 from 10 states. Computing post^175 from 6 states. Computing post^135 from 6 states. Computing post^153 from 6 states. Computing post^138 from 10 states.  2 states merged within 8 states. Computing post^184 from 6 states. Computing post^139 from 6 states.  2 states merged within 8 states. Computing post^154 from 6 states. Computing post^136 from 10 states. Computing post^176 from 10 states. Computing post^185 from 6 states. Computing post^137 from 6 states. Computing post^155 from 6 states. Computing post^140 from 10 states. Computing post^177 from 6 states. Computing post^141 from 6 states. Computing post^138 from 10 states.  2 states merged within 8 states. Computing post^186 from 6 states.  2 states merged within 8 states. Computing post^156 from 6 states. Computing post^139 from 6 states. Computing post^142 from 10 states. Computing post^157 from 6 states. Computing post^187 from 6 states. Computing post^143 from 6 states. Computing post^178 from 10 states. Computing post^140 from 10 states.  2 states merged within 8 states. Computing post^158 from 6 states. Computing post^141 from 6 states. Computing post^179 from 6 states.  2 states merged within 8 states. Computing post^188 from 6 states. Computing post^144 from 10 states. Computing post^159 from 6 states. Computing post^145 from 6 states. Computing post^142 from 10 states. Computing post^189 from 6 states. Computing post^143 from 6 states.  2 states merged within 8 states. Computing post^160 from 6 states. Computing post^146 from 10 states. Computing post^180 from 10 states. Computing post^147 from 6 states.  2 states merged within 8 states. Computing post^190 from 6 states. Computing post^161 from 6 states. Computing post^144 from 10 states. Computing post^181 from 6 states. Computing post^145 from 6 states. Computing post^148 from 10 states. Computing post^191 from 6 states.  2 states merged within 8 states. Computing post^162 from 6 states. Computing post^149 from 6 states. Computing post^146 from 10 states. Computing post^163 from 6 states. Computing post^182 from 10 states.  2 states merged within 8 states. Computing post^192 from 6 states. Computing post^147 from 6 states. Computing post^150 from 10 states.  2 states merged within 8 states. Computing post^164 from 6 states. Computing post^183 from 6 states. Computing post^151 from 6 states. Computing post^193 from 6 states. Computing post^148 from 10 states. Computing post^165 from 6 states. Computing post^149 from 6 states. Computing post^152 from 10 states.  2 states merged within 8 states. Computing post^194 from 6 states. Computing post^153 from 6 states.  2 states merged within 8 states. Computing post^166 from 6 states. Computing post^184 from 10 states. Computing post^150 from 10 states. Computing post^195 from 6 states. Computing post^167 from 6 states. Computing post^185 from 6 states. Computing post^154 from 10 states. Computing post^151 from 6 states. Computing post^155 from 6 states.  2 states merged within 8 states. Computing post^168 from 6 states.  2 states merged within 8 states. Computing post^196 from 6 states. Computing post^152 from 10 states. Computing post^156 from 10 states. Computing post^169 from 6 states. Computing post^186 from 10 states. Computing post^153 from 6 states. Computing post^157 from 6 states. Computing post^197 from 6 states. Computing post^187 from 6 states.  2 states merged within 8 states. Computing post^170 from 6 states. Computing post^154 from 10 states. Computing post^158 from 10 states.  2 states merged within 8 states. Computing post^198 from 6 states. Computing post^171 from 6 states. Computing post^155 from 6 states. Computing post^159 from 6 states. Computing post^199 from 6 states. Computing post^188 from 10 states.  2 states merged within 8 states. Computing post^172 from 6 states. Computing post^160 from 10 states. Computing post^156 from 10 states. Computing post^189 from 6 states. Computing post^161 from 6 states. Computing post^157 from 6 states. Computing post^173 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 130.801 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 8 states. Computing post^3 from 24 states.  2 states merged within 8 states. Computing post^174 from 6 states. Computing post^4 from 35 states. Computing post^158 from 10 states. Computing post^162 from 10 states. Computing post^5 from 29 states. Computing post^159 from 6 states. Computing post^6 from 18 states. Computing post^190 from 10 states. Computing post^163 from 6 states.  1 state merged within 11 states. Computing post^175 from 6 states. Computing post^7 from 10 states.  3 states merged within 8 states. Computing post^8 from 5 states. Computing post^9 from 6 states. Computing post^10 from 6 states. Computing post^11 from 6 states. Computing post^12 from 6 states. Computing post^13 from 6 states. Computing post^14 from 6 states. Computing post^15 from 6 states. Computing post^191 from 6 states. Computing post^16 from 6 states. Computing post^17 from 6 states.  2 states merged within 8 states. Computing post^176 from 6 states. Computing post^160 from 10 states. Computing post^18 from 6 states. Computing post^164 from 10 states. Computing post^19 from 6 states. Computing post^20 from 6 states. Computing post^21 from 6 states. Computing post^22 from 6 states. Computing post^161 from 6 states. Computing post^23 from 6 states. Computing post^165 from 6 states. Computing post^24 from 6 states. Computing post^25 from 6 states. Computing post^177 from 6 states. Computing post^26 from 6 states. Computing post^27 from 6 states. Computing post^28 from 6 states. Computing post^29 from 6 states. Computing post^192 from 10 states. Computing post^30 from 6 states. Computing post^162 from 10 states. Computing post^166 from 10 states. Computing post^31 from 6 states.  2 states merged within 8 states. Computing post^178 from 6 states. Computing post^32 from 6 states. Computing post^33 from 6 states. Computing post^34 from 6 states. Computing post^163 from 6 states. Computing post^167 from 6 states. Computing post^35 from 6 states. Computing post^193 from 6 states. Computing post^36 from 6 states. Computing post^37 from 6 states. Computing post^179 from 6 states. Computing post^38 from 6 states. Computing post^39 from 6 states. Computing post^40 from 6 states. Computing post^41 from 6 states. Computing post^168 from 10 states. Computing post^164 from 10 states. Computing post^42 from 6 states.  2 states merged within 8 states. Computing post^43 from 6 states. Computing post^180 from 6 states. Computing post^169 from 6 states. Computing post^44 from 6 states. Computing post^165 from 6 states. Computing post^45 from 6 states. Computing post^46 from 6 states. Computing post^194 from 10 states. Computing post^47 from 6 states. Computing post^181 from 6 states. Computing post^48 from 6 states. Computing post^49 from 6 states. Computing post^170 from 10 states. Computing post^50 from 6 states. Computing post^195 from 6 states. Computing post^166 from 10 states. Computing post^51 from 6 states. Computing post^52 from 6 states. Computing post^171 from 6 states.  2 states merged within 8 states. Computing post^182 from 6 states. Computing post^167 from 6 states. Computing post^53 from 6 states. Computing post^54 from 6 states. Computing post^55 from 6 states. Computing post^56 from 6 states. Computing post^183 from 6 states. Computing post^57 from 6 states. Computing post^172 from 10 states. Computing post^58 from 6 states. Computing post^168 from 10 states. Computing post^196 from 10 states. Computing post^59 from 6 states. Computing post^173 from 6 states. Computing post^60 from 6 states. Computing post^169 from 6 states.  2 states merged within 8 states. Computing post^61 from 6 states. Computing post^184 from 6 states. Computing post^62 from 6 states. Computing post^197 from 6 states. Computing post^63 from 6 states. Computing post^64 from 6 states. Computing post^174 from 10 states. Computing post^185 from 6 states. Computing post^65 from 6 states. Computing post^170 from 10 states. Computing post^66 from 6 states. Computing post^175 from 6 states. Computing post^67 from 6 states. Computing post^171 from 6 states. Computing post^68 from 6 states.  2 states merged within 8 states. Computing post^186 from 6 states. Computing post^69 from 6 states. Computing post^198 from 10 states. Computing post^70 from 6 states. Computing post^176 from 10 states. Computing post^71 from 6 states. Computing post^72 from 6 states. Computing post^187 from 6 states. Computing post^172 from 10 states. Computing post^199 from 6 states. Computing post^177 from 6 states. Computing post^73 from 6 states. Computing post^74 from 6 states. Computing post^173 from 6 states. Computing post^75 from 6 states.  2 states merged within 8 states. Computing post^188 from 6 states. Computing post^76 from 6 states. Computing post^178 from 10 states. Computing post^77 from 6 states. Computing post^78 from 6 states. Computing post^174 from 10 states. Computing post^179 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 138.891 seconds. Computing post^189 from 6 states. Computing post^79 from 6 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^80 from 6 states. Computing post^175 from 6 states. Computing post^2 from 7 states. Computing post^81 from 6 states. Computing post^3 from 18 states. Computing post^82 from 6 states. Computing post^4 from 23 states.  2 states merged within 8 states. Computing post^190 from 6 states. Computing post^5 from 19 states. Computing post^83 from 6 states. Computing post^6 from 15 states. Computing post^180 from 10 states.  3 states merged within 13 states. Computing post^7 from 10 states.  1 state merged within 6 states. Computing post^84 from 6 states. Computing post^8 from 5 states. Computing post^9 from 6 states.  1 state merged within 7 states. Computing post^176 from 10 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^85 from 6 states. Computing post^13 from 6 states.  2 states merged within 8 states. Computing post^191 from 6 states. Computing post^14 from 6 states. Computing post^15 from 6 states. Computing post^181 from 6 states. Computing post^86 from 6 states.  2 states merged within 8 states. Computing post^16 from 6 states. Computing post^177 from 6 states. Computing post^17 from 6 states.  2 states merged within 8 states. Computing post^18 from 6 states. Computing post^19 from 6 states. Computing post^87 from 6 states.  2 states merged within 8 states. Computing post^20 from 6 states. Computing post^21 from 6 states. Computing post^88 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^24 from 6 states. Computing post^192 from 6 states. Computing post^89 from 6 states. Computing post^25 from 6 states.  2 states merged within 8 states. Computing post^26 from 6 states. Computing post^27 from 6 states. Computing post^90 from 6 states.  2 states merged within 8 states. Computing post^28 from 6 states. Computing post^178 from 10 states. Computing post^29 from 6 states. Computing post^91 from 6 states.  2 states merged within 8 states. Computing post^30 from 6 states. Computing post^193 from 6 states. Computing post^31 from 6 states.  2 states merged within 8 states. Computing post^32 from 6 states. Computing post^182 from 10 states. Computing post^92 from 6 states. Computing post^33 from 6 states.  2 states merged within 8 states. Computing post^34 from 6 states. Computing post^93 from 6 states. Computing post^35 from 6 states. Computing post^179 from 6 states.  2 states merged within 8 states. Computing post^36 from 6 states. Computing post^94 from 6 states. Computing post^37 from 6 states.  2 states merged within 8 states. Computing post^183 from 6 states. Computing post^194 from 6 states.  2 states merged within 8 states. Computing post^38 from 6 states. Computing post^95 from 6 states. Computing post^39 from 6 states.  2 states merged within 8 states. Computing post^40 from 6 states. Computing post^96 from 6 states. Computing post^41 from 6 states.  2 states merged within 8 states. Computing post^42 from 6 states. Computing post^97 from 6 states. Computing post^43 from 6 states. Computing post^180 from 10 states. Computing post^195 from 6 states.  2 states merged within 8 states. Computing post^44 from 6 states. Computing post^98 from 6 states. Computing post^184 from 10 states. Computing post^45 from 6 states.  2 states merged within 8 states. Computing post^46 from 6 states. Computing post^99 from 6 states. Computing post^181 from 6 states. Computing post^47 from 6 states. Computing post^185 from 6 states. Computing post^100 from 6 states.  2 states merged within 8 states. Computing post^48 from 6 states.  2 states merged within 8 states. Computing post^196 from 6 states. Computing post^49 from 6 states. Computing post^101 from 6 states.  2 states merged within 8 states. Computing post^50 from 6 states. Computing post^51 from 6 states. Computing post^102 from 6 states.  2 states merged within 8 states. Computing post^52 from 6 states. Computing post^182 from 10 states. Computing post^53 from 6 states. Computing post^103 from 6 states. Computing post^186 from 10 states. Computing post^197 from 6 states.  2 states merged within 8 states. Computing post^54 from 6 states. Computing post^104 from 6 states. Computing post^183 from 6 states. Computing post^55 from 6 states. Computing post^187 from 6 states.  2 states merged within 8 states. Computing post^56 from 6 states. Computing post^105 from 6 states. Computing post^57 from 6 states.  2 states merged within 8 states. Computing post^198 from 6 states. Computing post^106 from 6 states.  2 states merged within 8 states. Computing post^58 from 6 states. Computing post^59 from 6 states. Computing post^107 from 6 states.  2 states merged within 8 states. Computing post^60 from 6 states. Computing post^184 from 10 states. Computing post^188 from 10 states. Computing post^108 from 6 states. Computing post^61 from 6 states. Computing post^199 from 6 states.  2 states merged within 8 states. Computing post^62 from 6 states. Computing post^185 from 6 states. Computing post^109 from 6 states. Computing post^189 from 6 states. Computing post^63 from 6 states. Computing post^110 from 6 states.  2 states merged within 8 states. Computing post^64 from 6 states. Computing post^65 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 145.028 seconds. Computing post^111 from 6 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  2 states merged within 8 states. Computing post^66 from 6 states. Computing post^2 from 8 states. Computing post^112 from 6 states. Computing post^67 from 6 states. Computing post^3 from 24 states. Computing post^186 from 10 states. Computing post^190 from 10 states.  2 states merged within 8 states. Computing post^68 from 6 states. Computing post^4 from 35 states. Computing post^113 from 6 states. Computing post^69 from 6 states. Computing post^187 from 6 states. Computing post^191 from 6 states. Computing post^5 from 30 states. Computing post^114 from 6 states.  2 states merged within 8 states. Computing post^70 from 6 states. Computing post^6 from 23 states. Computing post^71 from 6 states. Computing post^115 from 6 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 146.111 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states.  2 states merged within 8 states. Computing post^72 from 6 states. Computing post^116 from 6 states. Computing post^3 from 18 states. Computing post^4 from 23 states. Computing post^73 from 6 states. Computing post^188 from 10 states. Computing post^5 from 20 states. Computing post^117 from 6 states. Computing post^192 from 10 states.  2 states merged within 8 states. Computing post^74 from 6 states. Computing post^6 from 20 states.  3 states merged within 20 states. Computing post^118 from 6 states. Computing post^75 from 6 states. Computing post^7 from 17 states. Computing post^189 from 6 states.  3 states merged within 9 states. Computing post^193 from 6 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 146.763 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 8 states. Computing post^3 from 24 states. Computing post^119 from 6 states.  2 states merged within 8 states. Computing post^76 from 6 states. Computing post^4 from 35 states. Computing post^120 from 6 states. Computing post^5 from 29 states. Computing post^77 from 6 states. Computing post^6 from 18 states.  1 state merged within 11 states. Computing post^121 from 6 states. Computing post^7 from 10 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 147.484 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^194 from 10 states. Computing post^190 from 10 states. Computing post^2 from 7 states.  2 states merged within 8 states. Computing post^78 from 6 states. Computing post^3 from 18 states. Computing post^122 from 6 states. Computing post^4 from 23 states. Computing post^5 from 19 states. Computing post^79 from 6 states. Computing post^191 from 6 states. Computing post^6 from 15 states. Computing post^123 from 6 states. Computing post^195 from 6 states.  3 states merged within 13 states. Computing post^7 from 10 states.  2 states merged within 8 states. Computing post^80 from 6 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 148.012 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 8 states. Computing post^124 from 6 states. Computing post^3 from 24 states. Computing post^81 from 6 states. Computing post^4 from 35 states.  2 states merged within 8 states. Computing post^82 from 6 states. Computing post^125 from 6 states. Computing post^83 from 6 states. Computing post^192 from 10 states. Computing post^126 from 6 states. Computing post^5 from 30 states.  2 states merged within 8 states. Computing post^196 from 10 states. Computing post^84 from 6 states. Computing post^6 from 23 states. Computing post^127 from 6 states. Computing post^85 from 6 states. Computing post^193 from 6 states.  3 states merged within 20 states. Computing post^7 from 17 states.  2 states merged within 8 states.  1 state merged within 9 states. Computing post^197 from 6 states. Computing post^86 from 6 states. Computing post^8 from 8 states. Computing post^128 from 6 states. Computing post^9 from 6 states. Computing post^10 from 10 states. Computing post^11 from 6 states. Computing post^87 from 6 states. Computing post^12 from 10 states. Computing post^13 from 6 states. Computing post^129 from 6 states. Computing post^14 from 10 states. Computing post^15 from 6 states.  2 states merged within 8 states. Computing post^88 from 6 states. Computing post^16 from 10 states. Computing post^17 from 6 states. Computing post^18 from 10 states. Computing post^130 from 6 states. Computing post^89 from 6 states. Computing post^19 from 6 states. Computing post^194 from 10 states. Computing post^20 from 10 states. Computing post^21 from 6 states.  2 states merged within 8 states. Computing post^90 from 6 states. Computing post^198 from 10 states. Computing post^131 from 6 states. Computing post^22 from 10 states. Computing post^23 from 6 states. Computing post^195 from 6 states. Computing post^91 from 6 states. Computing post^24 from 10 states. Computing post^25 from 6 states. Computing post^132 from 6 states. Computing post^199 from 6 states. Computing post^26 from 10 states.  2 states merged within 8 states. Computing post^92 from 6 states. Computing post^27 from 6 states. Computing post^133 from 6 states. Computing post^28 from 10 states. Computing post^93 from 6 states. Computing post^29 from 6 states. Computing post^30 from 10 states. Computing post^134 from 6 states.  2 states merged within 8 states. Computing post^94 from 6 states. Computing post^31 from 6 states. Computing post^196 from 10 states. Computing post^32 from 10 states. Computing post^95 from 6 states. Computing post^33 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 150.739 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^135 from 6 states. Computing post^34 from 10 states.  2 states merged within 8 states. Computing post^96 from 6 states. Computing post^35 from 6 states. Computing post^197 from 6 states. Computing post^136 from 6 states. Computing post^2 from 7 states. Computing post^36 from 10 states. Computing post^97 from 6 states. Computing post^3 from 18 states. Computing post^37 from 6 states. Computing post^4 from 23 states. Computing post^137 from 6 states. Computing post^38 from 10 states.  2 states merged within 8 states. Computing post^98 from 6 states. Computing post^5 from 20 states. Computing post^39 from 6 states. Computing post^6 from 20 states. Computing post^99 from 6 states. Computing post^138 from 6 states. Computing post^40 from 10 states.  3 states merged within 20 states. Computing post^7 from 17 states. Computing post^41 from 6 states.  3 states merged within 11 states. Computing post^8 from 8 states. Computing post^198 from 10 states. Computing post^9 from 6 states.  2 states merged within 8 states. Computing post^100 from 6 states. Computing post^42 from 10 states. Computing post^10 from 10 states. Computing post^139 from 6 states. Computing post^11 from 6 states. Computing post^43 from 6 states. Computing post^12 from 10 states. Computing post^13 from 6 states. Computing post^101 from 6 states. Computing post^14 from 10 states. Computing post^15 from 6 states. Computing post^44 from 10 states. Computing post^140 from 6 states. Computing post^199 from 6 states. Computing post^16 from 10 states. Computing post^45 from 6 states. Computing post^17 from 6 states.  2 states merged within 8 states. Computing post^102 from 6 states. Computing post^18 from 10 states. Computing post^19 from 6 states. Computing post^46 from 10 states. Computing post^141 from 6 states. Computing post^20 from 10 states. Computing post^103 from 6 states. Computing post^47 from 6 states. Computing post^21 from 6 states. Computing post^22 from 10 states. Computing post^23 from 6 states. Computing post^142 from 6 states.  2 states merged within 8 states. Computing post^48 from 10 states. Computing post^104 from 6 states. Computing post^24 from 10 states. Computing post^49 from 6 states. Computing post^25 from 6 states. Computing post^105 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 152.778 seconds. Computing post^26 from 10 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^50 from 10 states. Computing post^27 from 6 states. Computing post^143 from 6 states. Computing post^51 from 6 states. Computing post^28 from 10 states.  2 states merged within 8 states. Computing post^106 from 6 states. Computing post^2 from 8 states. Computing post^29 from 6 states. Computing post^3 from 24 states. Computing post^144 from 6 states. Computing post^52 from 10 states. Computing post^30 from 10 states. Computing post^107 from 6 states. Computing post^31 from 6 states. Computing post^53 from 6 states. Computing post^4 from 35 states. Computing post^32 from 10 states. Computing post^5 from 29 states. Computing post^145 from 6 states. Computing post^33 from 6 states.  2 states merged within 8 states. Computing post^108 from 6 states. Computing post^54 from 10 states. Computing post^6 from 18 states. Computing post^34 from 10 states. Computing post^55 from 6 states.  1 state merged within 11 states. Computing post^7 from 10 states. Computing post^35 from 6 states.  3 states merged within 8 states. Computing post^109 from 6 states. Computing post^8 from 5 states. Computing post^146 from 6 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^36 from 10 states. Computing post^56 from 10 states.  1 state merged within 7 states. Computing post^12 from 6 states. Computing post^13 from 6 states. Computing post^37 from 6 states.  2 states merged within 8 states.  2 states merged within 8 states. Computing post^14 from 6 states. Computing post^57 from 6 states. Computing post^110 from 6 states. Computing post^15 from 6 states. Computing post^147 from 6 states.  2 states merged within 8 states. Computing post^16 from 6 states. Computing post^38 from 10 states. Computing post^17 from 6 states. Computing post^39 from 6 states.  2 states merged within 8 states. Computing post^18 from 6 states. Computing post^111 from 6 states. Computing post^58 from 10 states. Computing post^19 from 6 states.  2 states merged within 8 states. Computing post^20 from 6 states. Computing post^40 from 10 states. Computing post^148 from 6 states. Computing post^59 from 6 states. Computing post^21 from 6 states. Computing post^41 from 6 states.  2 states merged within 8 states. Computing post^22 from 6 states.  2 states merged within 8 states. Computing post^112 from 6 states. Computing post^23 from 6 states. Computing post^42 from 10 states.  2 states merged within 8 states. Computing post^24 from 6 states. Computing post^60 from 10 states. Computing post^149 from 6 states. Computing post^25 from 6 states. Computing post^43 from 6 states. Computing post^113 from 6 states. Computing post^61 from 6 states.  2 states merged within 8 states. Computing post^26 from 6 states. Computing post^27 from 6 states. Computing post^44 from 10 states.  2 states merged within 8 states. Computing post^28 from 6 states. Computing post^45 from 6 states. Computing post^150 from 6 states.  2 states merged within 8 states. Computing post^114 from 6 states. Computing post^62 from 10 states. Computing post^29 from 6 states.  2 states merged within 8 states. Computing post^30 from 6 states. Computing post^63 from 6 states. Computing post^46 from 10 states. Computing post^31 from 6 states. Computing post^115 from 6 states. Computing post^47 from 6 states.  2 states merged within 8 states. Computing post^32 from 6 states. Computing post^151 from 6 states. Computing post^33 from 6 states. Computing post^64 from 10 states. Computing post^48 from 10 states.  2 states merged within 8 states. Computing post^34 from 6 states.  2 states merged within 8 states. Computing post^116 from 6 states. Computing post^65 from 6 states. Computing post^49 from 6 states. Computing post^35 from 6 states. Computing post^152 from 6 states.  2 states merged within 8 states. Computing post^36 from 6 states. Computing post^117 from 6 states. Computing post^50 from 10 states. Computing post^37 from 6 states. Computing post^66 from 10 states. Computing post^51 from 6 states.  2 states merged within 8 states. Computing post^38 from 6 states. Computing post^153 from 6 states. Computing post^67 from 6 states. Computing post^39 from 6 states.  2 states merged within 8 states. Computing post^118 from 6 states. Computing post^52 from 10 states.  2 states merged within 8 states. Computing post^40 from 6 states. Computing post^53 from 6 states. Computing post^41 from 6 states. Computing post^154 from 6 states. Computing post^68 from 10 states. Computing post^119 from 6 states.  2 states merged within 8 states. Computing post^42 from 6 states. Computing post^69 from 6 states. Computing post^54 from 10 states. Computing post^43 from 6 states. Computing post^55 from 6 states. Computing post^155 from 6 states.  2 states merged within 8 states.  2 states merged within 8 states. Computing post^44 from 6 states. Computing post^120 from 6 states. Computing post^70 from 10 states. Computing post^45 from 6 states. Computing post^56 from 10 states.  2 states merged within 8 states. Computing post^71 from 6 states. Computing post^46 from 6 states. Computing post^121 from 6 states. Computing post^156 from 6 states. Computing post^57 from 6 states. Computing post^47 from 6 states.  2 states merged within 8 states. Computing post^48 from 6 states. Computing post^58 from 10 states.  2 states merged within 8 states. Computing post^122 from 6 states. Computing post^72 from 10 states. Computing post^49 from 6 states. Computing post^157 from 6 states. Computing post^59 from 6 states. Computing post^73 from 6 states.  2 states merged within 8 states. Computing post^50 from 6 states. Computing post^123 from 6 states. Computing post^51 from 6 states. Computing post^60 from 10 states. Computing post^158 from 6 states. Computing post^74 from 10 states. Computing post^61 from 6 states.  2 states merged within 8 states. Computing post^52 from 6 states.  2 states merged within 8 states. Computing post^124 from 6 states. Computing post^75 from 6 states. Computing post^53 from 6 states. Computing post^159 from 6 states.  2 states merged within 8 states. Computing post^54 from 6 states. Computing post^62 from 10 states. Computing post^125 from 6 states. Computing post^55 from 6 states. Computing post^63 from 6 states. Computing post^76 from 10 states. Computing post^160 from 6 states. Computing post^77 from 6 states.  2 states merged within 8 states. Computing post^56 from 6 states.  2 states merged within 8 states. Computing post^126 from 6 states. Computing post^64 from 10 states. Computing post^57 from 6 states. Computing post^65 from 6 states. Computing post^127 from 6 states. Computing post^161 from 6 states. Computing post^78 from 10 states.  2 states merged within 8 states. Computing post^58 from 6 states. Computing post^66 from 10 states. Computing post^79 from 6 states. Computing post^59 from 6 states. Computing post^67 from 6 states.  2 states merged within 8 states. Computing post^162 from 6 states. Computing post^128 from 6 states.  2 states merged within 8 states. Computing post^60 from 6 states. Computing post^61 from 6 states. Computing post^80 from 10 states. Computing post^68 from 10 states. Computing post^129 from 6 states. Computing post^163 from 6 states.  2 states merged within 8 states. Computing post^62 from 6 states. Computing post^81 from 6 states. Computing post^69 from 6 states. Computing post^63 from 6 states.  2 states merged within 8 states. Computing post^130 from 6 states. Computing post^164 from 6 states.  2 states merged within 8 states. Computing post^70 from 10 states. Computing post^64 from 6 states. Computing post^82 from 10 states. Computing post^71 from 6 states. Computing post^131 from 6 states. Computing post^83 from 6 states. Computing post^65 from 6 states. Computing post^165 from 6 states.  2 states merged within 8 states. Computing post^66 from 6 states. Computing post^72 from 10 states.  2 states merged within 8 states. Computing post^132 from 6 states. Computing post^84 from 10 states. Computing post^67 from 6 states. Computing post^73 from 6 states. Computing post^166 from 6 states. Computing post^85 from 6 states.  2 states merged within 8 states. Computing post^68 from 6 states. Computing post^133 from 6 states. Computing post^74 from 10 states. Computing post^69 from 6 states. Computing post^75 from 6 states. Computing post^167 from 6 states.  2 states merged within 8 states. Computing post^134 from 6 states. Computing post^86 from 10 states.  2 states merged within 8 states. Computing post^70 from 6 states. Computing post^87 from 6 states. Computing post^71 from 6 states. Computing post^76 from 10 states. Computing post^168 from 6 states. Computing post^135 from 6 states.  2 states merged within 8 states. Computing post^72 from 6 states. Computing post^77 from 6 states. Computing post^88 from 10 states. Computing post^73 from 6 states.  2 states merged within 8 states. Computing post^136 from 6 states. Computing post^169 from 6 states. Computing post^78 from 10 states. Computing post^89 from 6 states.  2 states merged within 8 states. Computing post^74 from 6 states. Computing post^79 from 6 states. Computing post^137 from 6 states. Computing post^75 from 6 states. Computing post^170 from 6 states. Computing post^90 from 10 states.  2 states merged within 8 states. Computing post^76 from 6 states. Computing post^80 from 10 states.  2 states merged within 8 states. Computing post^138 from 6 states. Computing post^91 from 6 states. Computing post^77 from 6 states. Computing post^81 from 6 states. Computing post^171 from 6 states. Computing post^139 from 6 states.  2 states merged within 8 states. Computing post^78 from 6 states. Computing post^92 from 10 states. Computing post^82 from 10 states. Computing post^172 from 6 states. Computing post^79 from 6 states. Computing post^83 from 6 states.  2 states merged within 8 states. Computing post^93 from 6 states. Computing post^140 from 6 states.  2 states merged within 8 states. Computing post^80 from 6 states. Computing post^173 from 6 states. Computing post^141 from 6 states. Computing post^84 from 10 states. Computing post^81 from 6 states. Computing post^94 from 10 states. Computing post^85 from 6 states.  2 states merged within 8 states. Computing post^82 from 6 states. Computing post^174 from 6 states. Computing post^95 from 6 states.  2 states merged within 8 states. Computing post^142 from 6 states. Computing post^83 from 6 states. Computing post^86 from 10 states. Computing post^143 from 6 states.  2 states merged within 8 states. Computing post^175 from 6 states. Computing post^84 from 6 states. Computing post^96 from 10 states. Computing post^87 from 6 states. Computing post^85 from 6 states. Computing post^97 from 6 states.  2 states merged within 8 states. Computing post^144 from 6 states. Computing post^176 from 6 states. Computing post^88 from 10 states.  2 states merged within 8 states. Computing post^86 from 6 states. Computing post^89 from 6 states. Computing post^87 from 6 states. Computing post^98 from 10 states. Computing post^145 from 6 states. Computing post^177 from 6 states. Computing post^99 from 6 states.  2 states merged within 8 states. Computing post^88 from 6 states. Computing post^90 from 10 states. Computing post^178 from 6 states. Computing post^89 from 6 states.  2 states merged within 8 states. Computing post^146 from 6 states. Computing post^91 from 6 states. Computing post^100 from 10 states.  2 states merged within 8 states. Computing post^90 from 6 states. Computing post^147 from 6 states. Computing post^101 from 6 states. Computing post^179 from 6 states. Computing post^92 from 10 states. Computing post^91 from 6 states. Computing post^93 from 6 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^180 from 6 states. Computing post^102 from 10 states. Computing post^93 from 6 states. Computing post^103 from 6 states. Computing post^149 from 6 states. Computing post^94 from 10 states. Computing post^181 from 6 states.  2 states merged within 8 states. Computing post^94 from 6 states. Computing post^95 from 6 states.  2 states merged within 8 states. Computing post^150 from 6 states. Computing post^95 from 6 states. Computing post^104 from 10 states. Computing post^182 from 6 states. Computing post^105 from 6 states.  2 states merged within 8 states. Computing post^96 from 6 states. Computing post^151 from 6 states. Computing post^96 from 10 states. Computing post^183 from 6 states. Computing post^97 from 6 states. Computing post^97 from 6 states.  2 states merged within 8 states. Computing post^152 from 6 states. Computing post^106 from 10 states.  2 states merged within 8 states. Computing post^98 from 6 states. Computing post^184 from 6 states. Computing post^98 from 10 states. Computing post^107 from 6 states. Computing post^99 from 6 states. Computing post^153 from 6 states. Computing post^99 from 6 states.  2 states merged within 8 states. Computing post^100 from 6 states. Computing post^185 from 6 states.  2 states merged within 8 states. Computing post^108 from 10 states. Computing post^154 from 6 states. Computing post^100 from 10 states. Computing post^101 from 6 states. Computing post^109 from 6 states. Computing post^186 from 6 states. Computing post^101 from 6 states. Computing post^155 from 6 states.  2 states merged within 8 states. Computing post^102 from 6 states. Computing post^103 from 6 states. Computing post^187 from 6 states. Computing post^110 from 10 states. Computing post^102 from 10 states.  2 states merged within 8 states. Computing post^156 from 6 states. Computing post^111 from 6 states. Computing post^103 from 6 states.  2 states merged within 8 states. Computing post^104 from 6 states. Computing post^188 from 6 states. Computing post^157 from 6 states. Computing post^105 from 6 states. Computing post^104 from 10 states. Computing post^112 from 10 states. Computing post^189 from 6 states.  2 states merged within 8 states. Computing post^158 from 6 states.  2 states merged within 8 states. Computing post^106 from 6 states. Computing post^105 from 6 states. Computing post^113 from 6 states. Computing post^107 from 6 states. Computing post^190 from 6 states. Computing post^159 from 6 states. Computing post^106 from 10 states.  2 states merged within 8 states. Computing post^108 from 6 states. Computing post^114 from 10 states. Computing post^107 from 6 states.  2 states merged within 8 states. Computing post^160 from 6 states. Computing post^191 from 6 states. Computing post^109 from 6 states. Computing post^115 from 6 states. Computing post^161 from 6 states.  2 states merged within 8 states. Computing post^110 from 6 states. Computing post^192 from 6 states. Computing post^108 from 10 states. Computing post^109 from 6 states. Computing post^116 from 10 states. Computing post^111 from 6 states.  2 states merged within 8 states. Computing post^162 from 6 states. Computing post^193 from 6 states. Computing post^117 from 6 states.  2 states merged within 8 states. Computing post^112 from 6 states. Computing post^110 from 10 states. Computing post^163 from 6 states. Computing post^194 from 6 states. Computing post^111 from 6 states. Computing post^113 from 6 states. Computing post^118 from 10 states.  2 states merged within 8 states. Computing post^164 from 6 states. Computing post^119 from 6 states.  2 states merged within 8 states. Computing post^114 from 6 states. Computing post^195 from 6 states. Computing post^112 from 10 states. Computing post^165 from 6 states. Computing post^115 from 6 states. Computing post^113 from 6 states. Computing post^196 from 6 states. Computing post^120 from 10 states.  2 states merged within 8 states. Computing post^116 from 6 states.  2 states merged within 8 states. Computing post^166 from 6 states. Computing post^121 from 6 states. Computing post^117 from 6 states. Computing post^114 from 10 states. Computing post^197 from 6 states. Computing post^167 from 6 states.  2 states merged within 8 states. Computing post^118 from 6 states. Computing post^122 from 10 states. Computing post^115 from 6 states. Computing post^198 from 6 states. Computing post^119 from 6 states. Computing post^123 from 6 states.  2 states merged within 8 states. Computing post^168 from 6 states.  2 states merged within 8 states. Computing post^120 from 6 states. Computing post^199 from 6 states. Computing post^169 from 6 states. Computing post^116 from 10 states. Computing post^121 from 6 states. Computing post^124 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 171.472 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  2 states merged within 8 states. Computing post^117 from 6 states. Computing post^170 from 6 states.  2 states merged within 8 states. Computing post^122 from 6 states. Computing post^2 from 7 states. Computing post^125 from 6 states. Computing post^3 from 18 states. Computing post^171 from 6 states. Computing post^4 from 23 states. Computing post^123 from 6 states. Computing post^118 from 10 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.  2 states merged within 8 states. Computing post^119 from 6 states. Computing post^124 from 6 states.  1 state merged within 6 states. Computing post^8 from 5 states.  2 states merged within 8 states. Computing post^9 from 6 states. Computing post^172 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^13 from 6 states. Computing post^125 from 6 states.  2 states merged within 8 states. Computing post^14 from 6 states. Computing post^126 from 10 states. Computing post^15 from 6 states.  2 states merged within 8 states. Computing post^173 from 6 states. Computing post^16 from 6 states. Computing post^120 from 10 states. Computing post^17 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^126 from 6 states.  2 states merged within 8 states. Computing post^121 from 6 states. Computing post^20 from 6 states. Computing post^127 from 6 states. Computing post^21 from 6 states.  2 states merged within 8 states. Computing post^22 from 6 states.  2 states merged within 8 states. Computing post^174 from 6 states. Computing post^23 from 6 states.  2 states merged within 8 states. Computing post^24 from 6 states. Computing post^25 from 6 states. Computing post^127 from 6 states.  2 states merged within 8 states. Computing post^26 from 6 states. Computing post^122 from 10 states. Computing post^27 from 6 states. Computing post^175 from 6 states.  2 states merged within 8 states. Computing post^28 from 6 states. Computing post^29 from 6 states. Computing post^128 from 10 states. Computing post^123 from 6 states.  2 states merged within 8 states. Computing post^128 from 6 states.  2 states merged within 8 states. Computing post^30 from 6 states. Computing post^31 from 6 states.  2 states merged within 8 states. Computing post^32 from 6 states.  2 states merged within 8 states. Computing post^176 from 6 states. Computing post^129 from 6 states. Computing post^129 from 6 states. Computing post^33 from 6 states.  2 states merged within 8 states. Computing post^34 from 6 states. Computing post^35 from 6 states. Computing post^177 from 6 states.  2 states merged within 8 states. Computing post^36 from 6 states.  2 states merged within 8 states. Computing post^130 from 6 states. Computing post^37 from 6 states. Computing post^124 from 10 states. Computing post^130 from 10 states.  2 states merged within 8 states. Computing post^38 from 6 states. Computing post^39 from 6 states. Computing post^131 from 6 states.  2 states merged within 8 states. Computing post^178 from 6 states.  2 states merged within 8 states. Computing post^40 from 6 states. Computing post^131 from 6 states. Computing post^41 from 6 states. Computing post^125 from 6 states.  2 states merged within 8 states. Computing post^42 from 6 states.  2 states merged within 8 states. Computing post^132 from 6 states. Computing post^43 from 6 states. Computing post^179 from 6 states.  2 states merged within 8 states. Computing post^44 from 6 states. Computing post^133 from 6 states. Computing post^45 from 6 states. Computing post^132 from 10 states.  2 states merged within 8 states. Computing post^46 from 6 states.  2 states merged within 8 states. Computing post^180 from 6 states. Computing post^47 from 6 states. Computing post^133 from 6 states.  2 states merged within 8 states. Computing post^134 from 6 states.  2 states merged within 8 states. Computing post^48 from 6 states. Computing post^126 from 10 states. Computing post^49 from 6 states. Computing post^181 from 6 states.  2 states merged within 8 states. Computing post^50 from 6 states. Computing post^135 from 6 states. Computing post^127 from 6 states. Computing post^51 from 6 states. Computing post^134 from 10 states.  2 states merged within 8 states. Computing post^52 from 6 states.  2 states merged within 8 states. Computing post^136 from 6 states.  2 states merged within 8 states. Computing post^53 from 6 states. Computing post^182 from 6 states. Computing post^135 from 6 states.  2 states merged within 8 states. Computing post^54 from 6 states. Computing post^128 from 10 states. Computing post^55 from 6 states. Computing post^137 from 6 states. Computing post^183 from 6 states.  2 states merged within 8 states. Computing post^56 from 6 states. Computing post^129 from 6 states. Computing post^57 from 6 states.  2 states merged within 8 states. Computing post^138 from 6 states. Computing post^136 from 10 states.  2 states merged within 8 states. Computing post^58 from 6 states.  2 states merged within 8 states. Computing post^184 from 6 states. Computing post^59 from 6 states. Computing post^137 from 6 states. Computing post^139 from 6 states.  2 states merged within 8 states. Computing post^60 from 6 states. Computing post^130 from 10 states. Computing post^61 from 6 states. Computing post^185 from 6 states. Computing post^131 from 6 states.  2 states merged within 8 states.  2 states merged within 8 states. Computing post^140 from 6 states. Computing post^62 from 6 states. Computing post^63 from 6 states. Computing post^138 from 10 states.  2 states merged within 8 states. Computing post^186 from 6 states.  2 states merged within 8 states. Computing post^141 from 6 states. Computing post^64 from 6 states. Computing post^65 from 6 states. Computing post^139 from 6 states. Computing post^132 from 10 states.  2 states merged within 8 states. Computing post^66 from 6 states. Computing post^187 from 6 states.  2 states merged within 8 states. Computing post^142 from 6 states. Computing post^133 from 6 states. Computing post^67 from 6 states.  2 states merged within 8 states. Computing post^68 from 6 states. Computing post^143 from 6 states. Computing post^140 from 10 states.  2 states merged within 8 states. Computing post^188 from 6 states. Computing post^69 from 6 states. Computing post^134 from 10 states.  2 states merged within 8 states. Computing post^70 from 6 states. Computing post^141 from 6 states.  2 states merged within 8 states. Computing post^144 from 6 states. Computing post^71 from 6 states. Computing post^189 from 6 states. Computing post^135 from 6 states.  2 states merged within 8 states. Computing post^72 from 6 states. Computing post^145 from 6 states. Computing post^73 from 6 states. Computing post^142 from 10 states.  2 states merged within 8 states. Computing post^190 from 6 states.  2 states merged within 8 states. Computing post^74 from 6 states. Computing post^136 from 10 states.  2 states merged within 8 states. Computing post^146 from 6 states. Computing post^143 from 6 states. Computing post^75 from 6 states. Computing post^137 from 6 states. Computing post^191 from 6 states.  2 states merged within 8 states. Computing post^76 from 6 states. Computing post^147 from 6 states. Computing post^77 from 6 states.  2 states merged within 8 states. Computing post^78 from 6 states.  2 states merged within 8 states. Computing post^192 from 6 states. Computing post^144 from 10 states.  2 states merged within 8 states. Computing post^148 from 6 states. Computing post^138 from 10 states. Computing post^79 from 6 states. Computing post^145 from 6 states. Computing post^139 from 6 states.  2 states merged within 8 states. Computing post^149 from 6 states. Computing post^80 from 6 states. Computing post^193 from 6 states. Computing post^81 from 6 states.  2 states merged within 8 states.  2 states merged within 8 states. Computing post^150 from 6 states. Computing post^82 from 6 states.  2 states merged within 8 states. Computing post^194 from 6 states. Computing post^140 from 10 states. Computing post^146 from 10 states. Computing post^83 from 6 states. Computing post^151 from 6 states. Computing post^141 from 6 states.  2 states merged within 8 states. Computing post^84 from 6 states. Computing post^147 from 6 states. Computing post^195 from 6 states. Computing post^85 from 6 states.  2 states merged within 8 states. Computing post^152 from 6 states.  2 states merged within 8 states. Computing post^86 from 6 states.  2 states merged within 8 states. Computing post^196 from 6 states. Computing post^142 from 10 states. Computing post^87 from 6 states. Computing post^148 from 10 states. Computing post^143 from 6 states.  2 states merged within 8 states. Computing post^88 from 6 states. Computing post^153 from 6 states. Computing post^197 from 6 states. Computing post^149 from 6 states. Computing post^89 from 6 states.  2 states merged within 8 states. Computing post^90 from 6 states.  2 states merged within 8 states. Computing post^144 from 10 states. Computing post^198 from 6 states. Computing post^91 from 6 states.  2 states merged within 8 states. Computing post^154 from 6 states. Computing post^150 from 10 states. Computing post^145 from 6 states.  2 states merged within 8 states. Computing post^92 from 6 states. Computing post^199 from 6 states. Computing post^151 from 6 states. Computing post^93 from 6 states. Computing post^155 from 6 states.  2 states merged within 8 states. Computing post^94 from 6 states. Computing post^146 from 10 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 182.518 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^95 from 6 states. Computing post^2 from 8 states. Computing post^147 from 6 states. Computing post^3 from 24 states. Computing post^152 from 10 states.  2 states merged within 8 states. Computing post^96 from 6 states.  2 states merged within 8 states. Computing post^156 from 6 states. Computing post^4 from 35 states. Computing post^97 from 6 states. Computing post^153 from 6 states. Computing post^5 from 30 states.  2 states merged within 8 states. Computing post^98 from 6 states. Computing post^148 from 10 states. Computing post^6 from 23 states.  3 states merged within 20 states. Computing post^7 from 17 states. Computing post^99 from 6 states. Computing post^157 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 183.570 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^149 from 6 states. Computing post^2 from 7 states. Computing post^3 from 18 states.  2 states merged within 8 states. Computing post^154 from 10 states. Computing post^100 from 6 states. Computing post^4 from 23 states. Computing post^5 from 20 states. Computing post^155 from 6 states. Computing post^6 from 20 states. Computing post^101 from 6 states.  2 states merged within 8 states. Computing post^158 from 6 states.  3 states merged within 20 states. Computing post^7 from 17 states. Computing post^150 from 10 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 184.295 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 8 states. Computing post^3 from 24 states.  2 states merged within 8 states. Computing post^102 from 6 states. Computing post^151 from 6 states. Computing post^4 from 35 states. Computing post^103 from 6 states. Computing post^159 from 6 states. Computing post^156 from 10 states. Computing post^5 from 29 states.  2 states merged within 8 states. Computing post^104 from 6 states. Computing post^6 from 18 states. Computing post^157 from 6 states.  1 state merged within 11 states. Computing post^7 from 10 states.  3 states merged within 6 states.  2 states merged within 8 states. Computing post^160 from 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 184.989 seconds. Computing post^152 from 10 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^105 from 6 states. Computing post^3 from 18 states. Computing post^4 from 23 states. Computing post^153 from 6 states.  2 states merged within 8 states. Computing post^106 from 6 states. Computing post^5 from 19 states. Computing post^161 from 6 states. Computing post^6 from 15 states.  3 states merged within 13 states. Computing post^7 from 10 states. Computing post^107 from 6 states.  1 state merged within 4 states. Computing post^158 from 10 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 185.521 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 8 states. Computing post^3 from 24 states.  2 states merged within 8 states. Computing post^162 from 6 states.  2 states merged within 8 states. Computing post^108 from 6 states. Computing post^4 from 35 states. Computing post^159 from 6 states. Computing post^154 from 10 states. Computing post^5 from 30 states. Computing post^109 from 6 states. Computing post^155 from 6 states. Computing post^6 from 23 states. Computing post^163 from 6 states.  3 states merged within 20 states. Computing post^7 from 17 states.  2 states merged within 8 states. Computing post^110 from 6 states.  1 state merged within 10 states. Computing post^8 from 9 states. Computing post^9 from 9 states. Computing post^160 from 10 states. Computing post^10 from 15 states. Computing post^111 from 6 states. Computing post^11 from 9 states.  2 states merged within 8 states. Computing post^164 from 6 states. Computing post^12 from 15 states. Computing post^13 from 9 states. Computing post^156 from 10 states.  2 states merged within 8 states. Computing post^112 from 6 states. Computing post^161 from 6 states. Computing post^14 from 15 states. Computing post^15 from 9 states. Computing post^165 from 6 states. Computing post^113 from 6 states. Computing post^16 from 15 states. Computing post^157 from 6 states. Computing post^17 from 9 states.  2 states merged within 8 states. Computing post^114 from 6 states. Computing post^18 from 15 states.  2 states merged within 8 states. Computing post^166 from 6 states. Computing post^162 from 10 states. Computing post^19 from 9 states. Computing post^20 from 15 states. Computing post^115 from 6 states. Computing post^167 from 6 states. Computing post^163 from 6 states. Computing post^21 from 9 states. Computing post^158 from 10 states. Computing post^22 from 15 states.  2 states merged within 8 states. Computing post^116 from 6 states. Computing post^23 from 9 states. Computing post^159 from 6 states.  2 states merged within 8 states. Computing post^168 from 6 states. Computing post^117 from 6 states. Computing post^24 from 15 states. Computing post^164 from 10 states. Computing post^25 from 9 states. Computing post^169 from 6 states.  2 states merged within 8 states. Computing post^118 from 6 states. Computing post^26 from 15 states. Computing post^165 from 6 states. Computing post^160 from 10 states. Computing post^119 from 6 states. Computing post^27 from 9 states.  2 states merged within 8 states. Computing post^170 from 6 states. Computing post^161 from 6 states. Computing post^28 from 15 states.  2 states merged within 8 states. Computing post^120 from 6 states. Computing post^29 from 9 states. Computing post^171 from 6 states. Computing post^121 from 6 states. Computing post^166 from 10 states. Computing post^30 from 15 states.  2 states merged within 8 states. Computing post^31 from 9 states. Computing post^122 from 6 states. Computing post^162 from 10 states. Computing post^167 from 6 states.  2 states merged within 8 states. Computing post^172 from 6 states. Computing post^123 from 6 states. Computing post^32 from 15 states. Computing post^163 from 6 states. Computing post^33 from 9 states.  2 states merged within 8 states. Computing post^124 from 6 states. Computing post^173 from 6 states. Computing post^34 from 15 states. Computing post^168 from 10 states. Computing post^125 from 6 states. Computing post^35 from 9 states. Computing post^164 from 10 states.  2 states merged within 8 states. Computing post^174 from 6 states. Computing post^169 from 6 states.  2 states merged within 8 states. Computing post^126 from 6 states. Computing post^165 from 6 states. Computing post^36 from 15 states. Computing post^127 from 6 states. Computing post^175 from 6 states. Computing post^37 from 9 states.  2 states merged within 8 states. Computing post^128 from 6 states. Computing post^38 from 15 states. Computing post^170 from 10 states.  2 states merged within 8 states. Computing post^176 from 6 states. Computing post^166 from 10 states. Computing post^39 from 9 states. Computing post^129 from 6 states. Computing post^171 from 6 states. Computing post^167 from 6 states. Computing post^177 from 6 states.  2 states merged within 8 states. Computing post^130 from 6 states. Computing post^40 from 15 states. Computing post^41 from 9 states. Computing post^131 from 6 states.  2 states merged within 8 states. Computing post^178 from 6 states. Computing post^168 from 10 states. Computing post^172 from 10 states.  2 states merged within 8 states. Computing post^132 from 6 states. Computing post^42 from 15 states. Computing post^179 from 6 states. Computing post^43 from 9 states. Computing post^169 from 6 states. Computing post^133 from 6 states. Computing post^173 from 6 states.  2 states merged within 8 states. Computing post^134 from 6 states. Computing post^44 from 15 states.  2 states merged within 8 states. Computing post^180 from 6 states. Computing post^45 from 9 states. Computing post^135 from 6 states. Computing post^170 from 10 states. Computing post^174 from 10 states. Computing post^181 from 6 states.  2 states merged within 8 states. Computing post^136 from 6 states. Computing post^171 from 6 states. Computing post^46 from 15 states. Computing post^175 from 6 states. Computing post^47 from 9 states. Computing post^137 from 6 states.  2 states merged within 8 states. Computing post^182 from 6 states.  2 states merged within 8 states. Computing post^138 from 6 states. Computing post^172 from 10 states. Computing post^48 from 15 states. Computing post^183 from 6 states. Computing post^176 from 10 states. Computing post^139 from 6 states. Computing post^49 from 9 states. Computing post^173 from 6 states.  2 states merged within 8 states. Computing post^184 from 6 states. Computing post^177 from 6 states.  2 states merged within 8 states. Computing post^140 from 6 states. Computing post^50 from 15 states. Computing post^141 from 6 states. Computing post^185 from 6 states. Computing post^51 from 9 states. Computing post^174 from 10 states.  2 states merged within 8 states. Computing post^142 from 6 states. Computing post^178 from 10 states. Computing post^175 from 6 states.  2 states merged within 8 states. Computing post^186 from 6 states. Computing post^52 from 15 states. Computing post^143 from 6 states. Computing post^179 from 6 states. Computing post^53 from 9 states. Computing post^187 from 6 states.  2 states merged within 8 states. Computing post^144 from 6 states. Computing post^176 from 10 states. Computing post^145 from 6 states. Computing post^54 from 15 states.  2 states merged within 8 states. Computing post^188 from 6 states. Computing post^177 from 6 states. Computing post^180 from 10 states. Computing post^55 from 9 states.  2 states merged within 8 states. Computing post^146 from 6 states. Computing post^189 from 6 states. Computing post^181 from 6 states. Computing post^147 from 6 states. Computing post^56 from 15 states.  2 states merged within 8 states. Computing post^148 from 6 states.  2 states merged within 8 states. Computing post^190 from 6 states. Computing post^57 from 9 states. Computing post^178 from 10 states. Computing post^149 from 6 states. Computing post^182 from 10 states. Computing post^191 from 6 states. Computing post^58 from 15 states.  2 states merged within 8 states. Computing post^150 from 6 states. Computing post^183 from 6 states. Computing post^179 from 6 states. Computing post^59 from 9 states.  2 states merged within 8 states. Computing post^192 from 6 states. Computing post^151 from 6 states.  2 states merged within 8 states. Computing post^152 from 6 states. Computing post^193 from 6 states. Computing post^60 from 15 states. Computing post^184 from 10 states. Computing post^180 from 10 states. Computing post^153 from 6 states. Computing post^61 from 9 states. Computing post^185 from 6 states.  2 states merged within 8 states. Computing post^194 from 6 states. Computing post^181 from 6 states.  2 states merged within 8 states. Computing post^154 from 6 states. Computing post^62 from 15 states. Computing post^195 from 6 states. Computing post^155 from 6 states. Computing post^63 from 9 states. Computing post^186 from 10 states. Computing post^182 from 10 states.  2 states merged within 8 states. Computing post^156 from 6 states.  2 states merged within 8 states. Computing post^196 from 6 states. Computing post^187 from 6 states. Computing post^183 from 6 states. Computing post^157 from 6 states. Computing post^64 from 15 states. Computing post^197 from 6 states. Computing post^65 from 9 states.  2 states merged within 8 states. Computing post^158 from 6 states. Computing post^184 from 10 states. Computing post^188 from 10 states.  2 states merged within 8 states. Computing post^198 from 6 states. Computing post^159 from 6 states. Computing post^185 from 6 states. Computing post^66 from 15 states. Computing post^189 from 6 states. Computing post^199 from 6 states.  2 states merged within 8 states. Computing post^160 from 6 states. Computing post^67 from 9 states. Computing post^161 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 200.749 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^186 from 10 states. Computing post^2 from 7 states. Computing post^190 from 10 states.  2 states merged within 8 states. Computing post^3 from 18 states. Computing post^162 from 6 states. Computing post^4 from 23 states. Computing post^187 from 6 states. Computing post^68 from 15 states. Computing post^5 from 20 states. Computing post^191 from 6 states. Computing post^163 from 6 states. Computing post^6 from 20 states. Computing post^69 from 9 states.  3 states merged within 20 states. Computing post^7 from 17 states.  3 states merged within 12 states. Computing post^8 from 9 states.  2 states merged within 8 states. Computing post^164 from 6 states. Computing post^9 from 9 states. Computing post^10 from 15 states. Computing post^11 from 9 states. Computing post^188 from 10 states. Computing post^12 from 15 states. Computing post^165 from 6 states. Computing post^13 from 9 states. Computing post^192 from 10 states. Computing post^70 from 15 states. Computing post^14 from 15 states. Computing post^189 from 6 states. Computing post^15 from 9 states. Computing post^71 from 9 states. Computing post^193 from 6 states. Computing post^16 from 15 states.  2 states merged within 8 states. Computing post^166 from 6 states. Computing post^17 from 9 states. Computing post^18 from 15 states. Computing post^19 from 9 states. Computing post^167 from 6 states. Computing post^190 from 10 states. Computing post^20 from 15 states. Computing post^72 from 15 states. Computing post^21 from 9 states.  2 states merged within 8 states. Computing post^168 from 6 states. Computing post^194 from 10 states. Computing post^22 from 15 states. Computing post^191 from 6 states. Computing post^73 from 9 states. Computing post^23 from 9 states. Computing post^169 from 6 states. Computing post^195 from 6 states. Computing post^24 from 15 states. Computing post^25 from 9 states.  2 states merged within 8 states. Computing post^170 from 6 states. Computing post^192 from 10 states. Computing post^171 from 6 states. Computing post^26 from 15 states. Computing post^196 from 10 states. Computing post^27 from 9 states. Computing post^193 from 6 states. Computing post^74 from 15 states.  2 states merged within 8 states. Computing post^172 from 6 states. Computing post^197 from 6 states. Computing post^28 from 15 states. Computing post^173 from 6 states. Computing post^29 from 9 states. Computing post^75 from 9 states. Computing post^194 from 10 states.  2 states merged within 8 states. Computing post^174 from 6 states. Computing post^30 from 15 states. Computing post^195 from 6 states. Computing post^198 from 10 states. Computing post^175 from 6 states. Computing post^31 from 9 states. Computing post^199 from 6 states.  2 states merged within 8 states. Computing post^176 from 6 states. Computing post^32 from 15 states. Computing post^76 from 15 states. Computing post^196 from 10 states. Computing post^33 from 9 states. Computing post^177 from 6 states. Computing post^197 from 6 states. Computing post^34 from 15 states. Computing post^77 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 206.393 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  2 states merged within 8 states. Computing post^178 from 6 states. Computing post^35 from 9 states. Computing post^2 from 8 states. Computing post^3 from 24 states. Computing post^36 from 15 states. Computing post^179 from 6 states. Computing post^4 from 35 states. Computing post^37 from 9 states. Computing post^5 from 29 states. Computing post^198 from 10 states. Computing post^6 from 18 states.  1 state merged within 11 states.  2 states merged within 8 states. Computing post^180 from 6 states. Computing post^7 from 10 states. Computing post^38 from 15 states.  3 states merged within 9 states. Computing post^8 from 6 states.  1 state merged within 11 states. Computing post^9 from 10 states. Computing post^199 from 6 states. Computing post^39 from 9 states. Computing post^78 from 15 states.  4 states merged within 16 states. Computing post^10 from 12 states.  3 states merged within 18 states. Computing post^11 from 15 states. Computing post^181 from 6 states.  2 states merged within 18 states. Computing post^12 from 16 states. Computing post^79 from 9 states. Computing post^40 from 15 states.  4 states merged within 27 states. Computing post^13 from 23 states. Computing post^41 from 9 states.  2 states merged within 8 states. Computing post^182 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 208.026 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  6 states merged within 32 states. Computing post^14 from 26 states. Computing post^42 from 15 states. Computing post^183 from 6 states. Computing post^2 from 7 states.  4 states merged within 39 states. Computing post^15 from 35 states. Computing post^80 from 15 states. Computing post^43 from 9 states. Computing post^3 from 18 states. Computing post^4 from 23 states.  6 states merged within 42 states.  2 states merged within 8 states. Computing post^5 from 19 states. Computing post^184 from 6 states. Computing post^81 from 9 states. Computing post^16 from 36 states. Computing post^44 from 15 states. Computing post^6 from 15 states. Computing post^45 from 9 states.  3 states merged within 13 states. Computing post^7 from 10 states. Computing post^185 from 6 states.  1 state merged within 7 states. Computing post^8 from 6 states.  7 states merged within 54 states. Computing post^17 from 47 states.  1 state merged within 11 states. Computing post^9 from 10 states. Computing post^46 from 15 states.  1 state merged within 13 states. Computing post^10 from 12 states. Computing post^82 from 15 states.  2 states merged within 8 states. Computing post^186 from 6 states. Computing post^47 from 9 states.  2 states merged within 17 states. Computing post^11 from 15 states. Computing post^83 from 9 states. Computing post^187 from 6 states.  8 states merged within 24 states.  19 states merged within 61 states. Computing post^18 from 42 states. Computing post^12 from 16 states. Computing post^48 from 15 states.  3 states merged within 26 states. Computing post^49 from 9 states. Computing post^13 from 23 states.  2 states merged within 8 states. Computing post^188 from 6 states. Computing post^84 from 15 states.  12 states merged within 67 states.  8 states merged within 34 states. Computing post^19 from 55 states. Computing post^14 from 26 states. Computing post^189 from 6 states. Computing post^50 from 15 states. Computing post^85 from 9 states. Computing post^51 from 9 states.  12 states merged within 47 states. Computing post^15 from 35 states.  2 states merged within 8 states. Computing post^190 from 6 states.  7 states merged within 43 states. Computing post^16 from 36 states. Computing post^52 from 15 states. Computing post^191 from 6 states. Computing post^53 from 9 states. Computing post^86 from 15 states.  24 states merged within 80 states. Computing post^20 from 56 states.  12 states merged within 59 states. Computing post^17 from 47 states.  2 states merged within 8 states. Computing post^192 from 6 states. Computing post^87 from 9 states. Computing post^54 from 15 states. Computing post^193 from 6 states. Computing post^55 from 9 states.  25 states merged within 67 states. Computing post^18 from 42 states.  2 states merged within 8 states. Computing post^194 from 6 states. Computing post^88 from 15 states.  23 states merged within 99 states. Computing post^56 from 15 states. Computing post^21 from 76 states. Computing post^57 from 9 states. Computing post^195 from 6 states. Computing post^89 from 9 states.  17 states merged within 72 states. Computing post^19 from 55 states.  2 states merged within 8 states. Computing post^196 from 6 states. Computing post^58 from 15 states. Computing post^59 from 9 states. Computing post^197 from 6 states. Computing post^90 from 15 states.  24 states merged within 80 states. Computing post^20 from 56 states. Computing post^60 from 15 states. Computing post^91 from 9 states.  2 states merged within 8 states. Computing post^198 from 6 states. Computing post^61 from 9 states.  32 states merged within 117 states. Computing post^22 from 85 states. Computing post^199 from 6 states. Computing post^62 from 15 states. Computing post^92 from 15 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 214.668 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  14 states merged within 90 states. Computing post^21 from 76 states. Computing post^63 from 9 states. Computing post^2 from 8 states. Computing post^3 from 24 states. Computing post^4 from 35 states. Computing post^93 from 9 states. Computing post^64 from 15 states. Computing post^5 from 30 states. Computing post^6 from 23 states. Computing post^65 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 215.693 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^3 from 18 states. Computing post^4 from 23 states. Computing post^94 from 15 states.  25 states merged within 133 states. Computing post^23 from 108 states. Computing post^5 from 20 states. Computing post^66 from 15 states. Computing post^6 from 20 states.  3 states merged within 20 states.  27 states merged within 112 states. Computing post^22 from 85 states. Computing post^7 from 17 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 216.425 seconds. Computing post^67 from 9 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 8 states. Computing post^95 from 9 states. Computing post^3 from 24 states. Computing post^4 from 35 states. Computing post^5 from 29 states. Computing post^6 from 18 states. Computing post^68 from 15 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.  Fixpoint reached at a depth of 9: 128 states with 368 transitions in the final state space.  [NZCUB] Algorithm completed after 217.045 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^3 from 18 states. Computing post^69 from 9 states. Computing post^4 from 23 states. Computing post^96 from 15 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.  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 217.533 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^3 from 19 states. Computing post^97 from 9 states. Computing post^4 from 26 states. Computing post^70 from 15 states. Computing post^5 from 22 states. Computing post^6 from 17 states.  1 state merged within 13 states. Computing post^7 from 12 states. Computing post^71 from 9 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.  24 states merged within 132 states. Computing post^23 from 108 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^17 from 6 states. Computing post^98 from 15 states.  47 states merged within 160 states. Computing post^24 from 113 states. Computing post^18 from 10 states. Computing post^19 from 6 states. Computing post^72 from 15 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^99 from 9 states. Computing post^73 from 9 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^28 from 10 states. Computing post^29 from 6 states. Computing post^30 from 10 states. Computing post^31 from 6 states. Computing post^74 from 15 states. Computing post^32 from 10 states. Computing post^33 from 6 states. Computing post^100 from 15 states. Computing post^75 from 9 states. Computing post^34 from 10 states. Computing post^35 from 6 states. Computing post^36 from 10 states. Computing post^37 from 6 states. Computing post^101 from 9 states. Computing post^38 from 10 states. Computing post^39 from 6 states. Computing post^76 from 15 states. Computing post^40 from 10 states. Computing post^41 from 6 states. Computing post^77 from 9 states.  51 states merged within 164 states. Computing post^42 from 10 states. Computing post^24 from 113 states. Computing post^43 from 6 states. Computing post^44 from 10 states. Computing post^102 from 15 states. Computing post^45 from 6 states. Computing post^46 from 10 states. Computing post^78 from 15 states. Computing post^47 from 6 states. Computing post^103 from 9 states. Computing post^48 from 10 states. Computing post^79 from 9 states. Computing post^49 from 6 states.  66 states merged within 197 states. Computing post^25 from 133 states. Computing post^50 from 10 states. Computing post^51 from 6 states. Computing post^52 from 10 states. Computing post^53 from 6 states. Computing post^80 from 15 states. Computing post^104 from 15 states. Computing post^54 from 10 states. Computing post^55 from 6 states. Computing post^81 from 9 states. Computing post^105 from 9 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^82 from 15 states. Computing post^60 from 10 states. Computing post^61 from 6 states. Computing post^83 from 9 states. Computing post^106 from 15 states. Computing post^62 from 10 states. Computing post^63 from 6 states.  59 states merged within 190 states. Computing post^25 from 133 states. Computing post^107 from 9 states. Computing post^64 from 10 states. Computing post^65 from 6 states. Computing post^84 from 15 states. Computing post^66 from 10 states. Computing post^67 from 6 states. Computing post^85 from 9 states. Computing post^68 from 10 states. Computing post^69 from 6 states. Computing post^108 from 15 states. Computing post^70 from 10 states. Computing post^86 from 15 states. Computing post^71 from 6 states. Computing post^109 from 9 states. Computing post^72 from 10 states. Computing post^87 from 9 states. Computing post^73 from 6 states. Computing post^74 from 10 states. Computing post^75 from 6 states.  86 states merged within 212 states. Computing post^26 from 131 states. Computing post^110 from 15 states. Computing post^76 from 10 states. Computing post^88 from 15 states. Computing post^77 from 6 states. Computing post^89 from 9 states. Computing post^111 from 9 states. Computing post^78 from 10 states. Computing post^79 from 6 states. Computing post^80 from 10 states. Computing post^81 from 6 states. Computing post^90 from 15 states. Computing post^82 from 10 states.  83 states merged within 209 states. Computing post^26 from 131 states. Computing post^83 from 6 states. Computing post^112 from 15 states. Computing post^91 from 9 states. Computing post^84 from 10 states. Computing post^113 from 9 states. Computing post^85 from 6 states.  [NZCUB] Found a cycle. Computing post^86 from 10 states. Computing post^87 from 6 states. Computing post^92 from 15 states. Computing post^88 from 10 states. Computing post^93 from 9 states. Computing post^89 from 6 states. Computing post^114 from 15 states. Computing post^90 from 10 states. Computing post^115 from 9 states. Computing post^91 from 6 states. Computing post^94 from 15 states. Computing post^92 from 10 states. Computing post^93 from 6 states. Computing post^95 from 9 states.  69 states merged within 218 states. Computing post^27 from 154 states. Computing post^94 from 10 states. Computing post^116 from 15 states. Computing post^95 from 6 states. Computing post^96 from 15 states. Computing post^96 from 10 states. Computing post^117 from 9 states. Computing post^97 from 6 states. Computing post^97 from 9 states. Computing post^98 from 10 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time Computing post^99 from 6 states.  64 states merged within 213 states. Computing post^27 from 154 states. Computing post^118 from 15 states. Computing post^100 from 10 states. Computing post^98 from 15 states. Computing post^101 from 6 states. Computing post^99 from 9 states. Computing post^119 from 9 states. Computing post^102 from 10 states. Computing post^103 from 6 states. Computing post^104 from 10 states. Computing post^100 from 15 states. Computing post^105 from 6 states. Computing post^120 from 15 states. Computing post^101 from 9 states. Computing post^106 from 10 states. Computing post^107 from 6 states. Computing post^121 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time Computing post^108 from 10 states. Computing post^102 from 15 states. Computing post^109 from 6 states. Computing post^103 from 9 states. Computing post^110 from 10 states. Computing post^111 from 6 states. Computing post^122 from 15 states. Computing post^112 from 10 states. Computing post^123 from 9 states. Computing post^104 from 15 states. Computing post^113 from 6 states.  104 states merged within 255 states. Computing post^28 from 163 states. Computing post^105 from 9 states. Computing post^114 from 10 states. Computing post^115 from 6 states. Computing post^124 from 15 states. Computing post^116 from 10 states. Computing post^117 from 6 states. Computing post^106 from 15 states.  107 states merged within 258 states. Computing post^28 from 163 states. Computing post^125 from 9 states. Computing post^107 from 9 states. Computing post^118 from 10 states. Computing post^119 from 6 states. Computing post^120 from 10 states. Computing post^108 from 15 states. Computing post^121 from 6 states. Computing post^126 from 15 states. Computing post^109 from 9 states. Computing post^122 from 10 states. Computing post^127 from 9 states. Computing post^123 from 6 states.  [NZCUB] Found a cycle. Computing post^124 from 10 states. Computing post^110 from 15 states. Computing post^125 from 6 states. Computing post^128 from 15 states. Computing post^111 from 9 states. Computing post^126 from 10 states. Computing post^127 from 6 states. Computing post^129 from 9 states. Computing post^128 from 10 states. Computing post^112 from 15 states. Computing post^129 from 6 states. Computing post^113 from 9 states. Computing post^130 from 15 states. Computing post^130 from 10 states. Computing post^131 from 6 states. Computing post^131 from 9 states. Computing post^132 from 10 states. Computing post^114 from 15 states.  108 states merged within 291 states. Computing post^29 from 197 states. Computing post^133 from 6 states. Computing post^115 from 9 states. Computing post^134 from 10 states.  108 states merged within 291 states. Computing post^29 from 197 states. Computing post^135 from 6 states. Computing post^132 from 15 states. Computing post^116 from 15 states. Computing post^136 from 10 states. Computing post^133 from 9 states. Computing post^137 from 6 states. Computing post^117 from 9 states. Computing post^138 from 10 states. Computing post^139 from 6 states. Computing post^134 from 15 states. Computing post^118 from 15 states. Computing post^140 from 10 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time Computing post^141 from 6 states. Computing post^135 from 9 states. Computing post^119 from 9 states. Computing post^142 from 10 states. Computing post^143 from 6 states. Computing post^144 from 10 states. Computing post^145 from 6 states. Computing post^120 from 15 states. Computing post^146 from 10 states. Computing post^136 from 15 states. Computing post^147 from 6 states. Computing post^121 from 9 states. Computing post^137 from 9 states. Computing post^148 from 10 states. Computing post^149 from 6 states. Computing post^122 from 15 states. Computing post^150 from 10 states. Computing post^123 from 9 states. Computing post^138 from 15 states. Computing post^151 from 6 states.  125 states merged within 326 states. Computing post^30 from 214 states. Computing post^139 from 9 states. Computing post^152 from 10 states. Computing post^153 from 6 states. Computing post^124 from 15 states.  129 states merged within 330 states. Computing post^30 from 214 states. Computing post^154 from 10 states. Computing post^125 from 9 states. Computing post^155 from 6 states. Computing post^140 from 15 states. Computing post^156 from 10 states. Computing post^141 from 9 states. Computing post^126 from 15 states. Computing post^157 from 6 states. Computing post^127 from 9 states. Computing post^158 from 10 states. Computing post^159 from 6 states. Computing post^142 from 15 states. Computing post^128 from 15 states. Computing post^143 from 9 states. Computing post^160 from 10 states. Computing post^129 from 9 states. Computing post^161 from 6 states. Computing post^144 from 15 states. Computing post^162 from 10 states. Computing post^130 from 15 states. Computing post^163 from 6 states. Computing post^145 from 9 states. Computing post^131 from 9 states. Computing post^164 from 10 states. Computing post^165 from 6 states. Computing post^132 from 15 states. Computing post^166 from 10 states. Computing post^146 from 15 states. Computing post^167 from 6 states. Computing post^133 from 9 states. Computing post^147 from 9 states. Computing post^168 from 10 states. Computing post^169 from 6 states.  126 states merged within 343 states. Computing post^134 from 15 states. Computing post^31 from 234 states. Computing post^170 from 10 states. Computing post^148 from 15 states. Computing post^171 from 6 states. Computing post^135 from 9 states.  133 states merged within 350 states. Computing post^31 from 234 states. Computing post^149 from 9 states. Computing post^172 from 10 states. Computing post^173 from 6 states. Computing post^136 from 15 states. Computing post^137 from 9 states. Computing post^174 from 10 states. Computing post^150 from 15 states. Computing post^175 from 6 states. Computing post^151 from 9 states. Computing post^176 from 10 states. Computing post^138 from 15 states. Computing post^177 from 6 states. Computing post^139 from 9 states. Computing post^178 from 10 states. Computing post^179 from 6 states. Computing post^152 from 15 states. Computing post^140 from 15 states. Computing post^153 from 9 states. Computing post^180 from 10 states. Computing post^181 from 6 states. Computing post^141 from 9 states. Computing post^182 from 10 states. Computing post^183 from 6 states. Computing post^154 from 15 states. Computing post^142 from 15 states. Computing post^184 from 10 states. Computing post^155 from 9 states. Computing post^143 from 9 states. Computing post^185 from 6 states. Computing post^186 from 10 states. Computing post^187 from 6 states. Computing post^144 from 15 states. Computing post^156 from 15 states. Computing post^145 from 9 states. Computing post^188 from 10 states. Computing post^157 from 9 states. Computing post^189 from 6 states. Computing post^190 from 10 states.  177 states merged within 407 states. Computing post^146 from 15 states. Computing post^32 from 255 states. Computing post^191 from 6 states. Computing post^158 from 15 states. Computing post^147 from 9 states.  196 states merged within 426 states. Computing post^32 from 255 states. Computing post^192 from 10 states. Computing post^159 from 9 states. Computing post^193 from 6 states. Computing post^148 from 15 states. Computing post^194 from 10 states. Computing post^195 from 6 states. Computing post^149 from 9 states. Computing post^160 from 15 states. Computing post^196 from 10 states. Computing post^161 from 9 states. Computing post^197 from 6 states. Computing post^150 from 15 states. Computing post^198 from 10 states. Computing post^151 from 9 states. Computing post^199 from 6 states. Computing post^162 from 15 states.  [NZCUB] Found a cycle.  State space exploration stopped at a depth of 200: 1646 states with 1838 transitions in the final state space.  [NZCUB] Algorithm completed after 271.872 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^163 from 9 states. Computing post^2 from 6 states. Computing post^3 from 14 states. Computing post^152 from 15 states. Computing post^4 from 17 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.  [NZCUB] Found a cycle. Computing post^12 from 10 states. Computing post^13 from 6 states. Computing post^153 from 9 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^20 from 10 states. Computing post^21 from 6 states. Computing post^22 from 10 states. Computing post^164 from 15 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^28 from 10 states. Computing post^29 from 6 states. Computing post^30 from 10 states. Computing post^165 from 9 states. Computing post^31 from 6 states. Computing post^154 from 15 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^37 from 6 states. Computing post^155 from 9 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. Computing post^42 from 10 states. Computing post^43 from 6 states. Computing post^44 from 10 states. Computing post^166 from 15 states. Computing post^45 from 6 states. Computing post^46 from 10 states. Computing post^47 from 6 states. Computing post^156 from 15 states. Computing post^48 from 10 states. Computing post^49 from 6 states. Computing post^50 from 10 states. Computing post^167 from 9 states. Computing post^51 from 6 states. Computing post^52 from 10 states. Computing post^157 from 9 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^60 from 10 states. Computing post^168 from 15 states. Computing post^61 from 6 states. Computing post^62 from 10 states. Computing post^63 from 6 states. Computing post^158 from 15 states. Computing post^169 from 9 states. Computing post^64 from 10 states. Computing post^65 from 6 states. Computing post^66 from 10 states. Computing post^67 from 6 states.  180 states merged within 433 states. Computing post^33 from 275 states. Computing post^68 from 10 states. Computing post^69 from 6 states.  191 states merged within 444 states. Computing post^33 from 275 states. Computing post^159 from 9 states. Computing post^70 from 10 states. Computing post^71 from 6 states. Computing post^72 from 10 states. Computing post^170 from 15 states. Computing post^73 from 6 states. Computing post^74 from 10 states. Computing post^75 from 6 states. Computing post^171 from 9 states. Computing post^76 from 10 states. Computing post^77 from 6 states. Computing post^160 from 15 states. Computing post^78 from 10 states. Computing post^79 from 6 states. Computing post^80 from 10 states. Computing post^161 from 9 states. Computing post^81 from 6 states. Computing post^82 from 10 states. Computing post^83 from 6 states. Computing post^172 from 15 states. Computing post^84 from 10 states. Computing post^85 from 6 states. Computing post^173 from 9 states. Computing post^86 from 10 states. Computing post^87 from 6 states. Computing post^162 from 15 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time Computing post^88 from 10 states. Computing post^89 from 6 states. Computing post^90 from 10 states. Computing post^91 from 6 states. Computing post^163 from 9 states.  [NZCUB] Found a cycle. Computing post^92 from 10 states.  [NZCUB] Cycle found, but in 0-time Computing post^174 from 15 states. Computing post^93 from 6 states. Computing post^94 from 10 states. Computing post^95 from 6 states. Computing post^175 from 9 states. Computing post^96 from 10 states. Computing post^97 from 6 states. Computing post^98 from 10 states. Computing post^99 from 6 states. Computing post^164 from 15 states. Computing post^100 from 10 states. Computing post^101 from 6 states. Computing post^176 from 15 states. Computing post^102 from 10 states. Computing post^165 from 9 states. Computing post^103 from 6 states. Computing post^177 from 9 states. Computing post^104 from 10 states. Computing post^105 from 6 states. Computing post^106 from 10 states. Computing post^107 from 6 states. Computing post^166 from 15 states. Computing post^108 from 10 states. Computing post^109 from 6 states. Computing post^178 from 15 states. Computing post^167 from 9 states. Computing post^110 from 10 states. Computing post^111 from 6 states. Computing post^179 from 9 states. Computing post^112 from 10 states. Computing post^113 from 6 states. Computing post^168 from 15 states. Computing post^114 from 10 states. Computing post^115 from 6 states. Computing post^116 from 10 states. Computing post^169 from 9 states. Computing post^117 from 6 states. Computing post^180 from 15 states.  190 states merged within 450 states. Computing post^34 from 287 states. Computing post^118 from 10 states. Computing post^119 from 6 states. Computing post^181 from 9 states. Computing post^120 from 10 states. Computing post^121 from 6 states. Computing post^170 from 15 states.  168 states merged within 428 states. Computing post^34 from 287 states. Computing post^122 from 10 states. Computing post^123 from 6 states. Computing post^171 from 9 states. Computing post^124 from 10 states. Computing post^125 from 6 states. Computing post^182 from 15 states. Computing post^126 from 10 states. Computing post^127 from 6 states. Computing post^183 from 9 states. Computing post^172 from 15 states. Computing post^128 from 10 states. Computing post^129 from 6 states. Computing post^173 from 9 states. Computing post^130 from 10 states. Computing post^131 from 6 states. Computing post^184 from 15 states. Computing post^132 from 10 states. Computing post^133 from 6 states. Computing post^174 from 15 states. Computing post^185 from 9 states. Computing post^134 from 10 states. Computing post^135 from 6 states. Computing post^175 from 9 states. Computing post^136 from 10 states. Computing post^137 from 6 states.  [NZCUB] Found a cycle. Computing post^186 from 15 states. Computing post^138 from 10 states. Computing post^139 from 6 states. Computing post^176 from 15 states. Computing post^140 from 10 states. Computing post^187 from 9 states. Computing post^141 from 6 states. Computing post^177 from 9 states. Computing post^142 from 10 states. Computing post^143 from 6 states. Computing post^144 from 10 states. Computing post^188 from 15 states. Computing post^145 from 6 states. Computing post^178 from 15 states. Computing post^146 from 10 states. Computing post^189 from 9 states. Computing post^147 from 6 states. Computing post^179 from 9 states. Computing post^148 from 10 states. Computing post^149 from 6 states. Computing post^150 from 10 states. Computing post^151 from 6 states. Computing post^180 from 15 states. Computing post^190 from 15 states. Computing post^152 from 10 states. Computing post^153 from 6 states. Computing post^181 from 9 states. Computing post^191 from 9 states. Computing post^154 from 10 states. Computing post^155 from 6 states. Computing post^156 from 10 states. Computing post^182 from 15 states. Computing post^157 from 6 states. Computing post^192 from 15 states. Computing post^158 from 10 states. Computing post^183 from 9 states. Computing post^159 from 6 states.  194 states merged within 474 states. Computing post^35 from 307 states. Computing post^193 from 9 states. Computing post^160 from 10 states. Computing post^161 from 6 states.  191 states merged within 471 states. Computing post^35 from 307 states. Computing post^184 from 15 states. Computing post^162 from 10 states. Computing post^163 from 6 states. Computing post^185 from 9 states. Computing post^194 from 15 states. Computing post^164 from 10 states. Computing post^165 from 6 states. Computing post^195 from 9 states. Computing post^166 from 10 states. Computing post^167 from 6 states. Computing post^186 from 15 states. Computing post^168 from 10 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time Computing post^169 from 6 states. Computing post^187 from 9 states. Computing post^170 from 10 states. Computing post^196 from 15 states. Computing post^171 from 6 states. Computing post^197 from 9 states. Computing post^172 from 10 states. Computing post^188 from 15 states. Computing post^173 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time Computing post^174 from 10 states. Computing post^189 from 9 states. Computing post^175 from 6 states. Computing post^198 from 15 states. Computing post^176 from 10 states. Computing post^177 from 6 states. Computing post^190 from 15 states. Computing post^199 from 9 states. Computing post^178 from 10 states. Computing post^179 from 6 states. Computing post^191 from 9 states. Computing post^180 from 10 states. Computing post^181 from 6 states. Computing post^182 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 314.785 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^183 from 6 states. Computing post^192 from 15 states. Computing post^2 from 7 states. Computing post^3 from 19 states. Computing post^4 from 26 states. Computing post^5 from 21 states. Computing post^6 from 13 states.  2 states merged within 9 states. Computing post^7 from 7 states. Computing post^184 from 10 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^193 from 9 states.  3 states merged within 15 states. Computing post^11 from 12 states. Computing post^185 from 6 states.  7 states merged within 20 states. Computing post^12 from 13 states.  3 states merged within 21 states. Computing post^13 from 18 states.  7 states merged within 27 states. Computing post^14 from 20 states.  3 states merged within 29 states. Computing post^15 from 26 states. Computing post^186 from 10 states.  7 states merged within 34 states. Computing post^16 from 27 states. Computing post^187 from 6 states.  11 states merged within 46 states. Computing post^17 from 35 states. Computing post^194 from 15 states. Computing post^188 from 10 states.  22 states merged within 55 states. Computing post^18 from 33 states. Computing post^189 from 6 states. Computing post^195 from 9 states.  7 states merged within 50 states. Computing post^19 from 43 states. Computing post^190 from 10 states. Computing post^191 from 6 states.  22 states merged within 67 states. Computing post^20 from 45 states. Computing post^192 from 10 states. Computing post^196 from 15 states. Computing post^193 from 6 states.  18 states merged within 77 states. Computing post^21 from 59 states.  212 states merged within 513 states. Computing post^36 from 334 states. Computing post^197 from 9 states. Computing post^194 from 10 states. Computing post^195 from 6 states.  30 states merged within 95 states. Computing post^22 from 65 states. Computing post^196 from 10 states. Computing post^197 from 6 states.  200 states merged within 501 states. Computing post^36 from 334 states. Computing post^198 from 15 states. Computing post^198 from 10 states. Computing post^199 from 6 states.  21 states merged within 102 states. Computing post^23 from 81 states. Computing post^199 from 9 states.  State space exploration stopped at a depth of 200: 1622 states with 1762 transitions in the final state space.  [NZCUB] Algorithm completed after 323.424 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.  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.  7 states merged within 20 states. Computing post^12 from 13 states.  3 states merged within 21 states. Computing post^13 from 18 states.  8 states merged within 28 states.  State space exploration stopped at a depth of 200: 2419 states with 2615 transitions in the final state space.  [NZCUB] Algorithm completed after 324.516 seconds. Computing post^14 from 20 states. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  38 states merged within 123 states. Computing post^24 from 85 states.  6 states merged within 32 states. Computing post^15 from 26 states.  8 states merged within 35 states. Computing post^2 from 7 states. Computing post^16 from 27 states. Computing post^3 from 19 states. Computing post^4 from 26 states. Computing post^5 from 22 states.  13 states merged within 48 states. Computing post^17 from 35 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. Computing post^10 from 10 states. Computing post^11 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time Computing post^12 from 10 states. Computing post^13 from 6 states. Computing post^14 from 10 states.  19 states merged within 52 states. Computing post^18 from 33 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. Computing post^21 from 6 states. Computing post^22 from 10 states.  12 states merged within 55 states. Computing post^23 from 6 states. Computing post^19 from 43 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^28 from 10 states.  [NZCUB] Found a cycle. Computing post^29 from 6 states. Computing post^30 from 10 states. Computing post^31 from 6 states.  43 states merged within 142 states. Computing post^25 from 101 states. Computing post^32 from 10 states.  21 states merged within 66 states. Computing post^20 from 45 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^37 from 6 states. Computing post^38 from 10 states. Computing post^39 from 6 states. Computing post^40 from 10 states.  19 states merged within 78 states. Computing post^41 from 6 states. Computing post^21 from 59 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^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^51 from 6 states.  32 states merged within 97 states. Computing post^22 from 65 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.  76 states merged within 174 states. Computing post^26 from 102 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^60 from 10 states. Computing post^61 from 6 states.  22 states merged within 103 states. Computing post^23 from 81 states. Computing post^62 from 10 states. Computing post^63 from 6 states. Computing post^64 from 10 states. Computing post^65 from 6 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.  31 states merged within 116 states. Computing post^24 from 85 states. Computing post^72 from 10 states. Computing post^73 from 6 states. Computing post^74 from 10 states.  65 states merged within 180 states. Computing post^27 from 120 states. Computing post^75 from 6 states. Computing post^76 from 10 states. Computing post^77 from 6 states. Computing post^78 from 10 states. Computing post^79 from 6 states. Computing post^80 from 10 states. Computing post^81 from 6 states. Computing post^82 from 10 states.  42 states merged within 141 states. Computing post^25 from 101 states. Computing post^83 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time Computing post^84 from 10 states. Computing post^85 from 6 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^91 from 6 states.  202 states merged within 540 states. Computing post^37 from 375 states. Computing post^92 from 10 states. Computing post^93 from 6 states.  85 states merged within 203 states. Computing post^28 from 127 states. Computing post^94 from 10 states.  60 states merged within 158 states. Computing post^26 from 102 states. Computing post^95 from 6 states. Computing post^96 from 10 states. Computing post^97 from 6 states. Computing post^98 from 10 states. Computing post^99 from 6 states.  212 states merged within 550 states. Computing post^37 from 375 states. Computing post^100 from 10 states. Computing post^101 from 6 states.  [NZCUB] Found a cycle. 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. Computing post^107 from 6 states.  66 states merged within 181 states. Computing post^27 from 120 states. Computing post^108 from 10 states. Computing post^109 from 6 states. Computing post^110 from 10 states.  83 states merged within 222 states. Computing post^29 from 150 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^115 from 6 states. Computing post^116 from 10 states. Computing post^117 from 6 states. Computing post^118 from 10 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time Computing post^119 from 6 states.  96 states merged within 214 states. Computing post^120 from 10 states. Computing post^28 from 127 states. Computing post^121 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time Computing post^122 from 10 states. Computing post^123 from 6 states. Computing post^124 from 10 states. Computing post^125 from 6 states.  [NZCUB] Found a cycle. Computing post^126 from 10 states. Computing post^127 from 6 states.  90 states merged within 242 states. Computing post^30 from 162 states. Computing post^128 from 10 states. Computing post^129 from 6 states. Computing post^130 from 10 states. Computing post^131 from 6 states. Computing post^132 from 10 states. Computing post^133 from 6 states.  77 states merged within 216 states. Computing post^29 from 150 states.  [NZCUB] Found a cycle. Computing post^134 from 10 states. Computing post^135 from 6 states. Computing post^136 from 10 states. Computing post^137 from 6 states. Computing post^138 from 10 states. Computing post^139 from 6 states. Computing post^140 from 10 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time Computing post^141 from 6 states. Computing post^142 from 10 states. Computing post^143 from 6 states. Computing post^144 from 10 states. Computing post^145 from 6 states.  98 states merged within 261 states. Computing post^31 from 176 states. Computing post^146 from 10 states. Computing post^147 from 6 states. Computing post^148 from 10 states. Computing post^149 from 6 states.  101 states merged within 253 states. Computing post^30 from 162 states. Computing post^150 from 10 states. Computing post^151 from 6 states. Computing post^152 from 10 states.  265 states merged within 618 states. Computing post^38 from 393 states. Computing post^153 from 6 states. Computing post^154 from 10 states. Computing post^155 from 6 states. Computing post^156 from 10 states. Computing post^157 from 6 states.  247 states merged within 600 states. Computing post^38 from 393 states. Computing post^158 from 10 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. Computing post^163 from 6 states.  136 states merged within 311 states. Computing post^32 from 193 states.  120 states merged within 283 states. Computing post^31 from 176 states. Computing post^164 from 10 states. Computing post^165 from 6 states. Computing post^166 from 10 states. Computing post^167 from 6 states. Computing post^168 from 10 states. Computing post^169 from 6 states.  [NZCUB] Found a cycle. Computing post^170 from 10 states.  [NZCUB] Found a cycle. Computing post^171 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time 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. Computing post^177 from 6 states. Computing post^178 from 10 states. Computing post^179 from 6 states. Computing post^180 from 10 states.  117 states merged within 292 states. Computing post^32 from 193 states. Computing post^181 from 6 states. Computing post^182 from 10 states.  137 states merged within 330 states. Computing post^33 from 210 states. Computing post^183 from 6 states. Computing post^184 from 10 states. Computing post^185 from 6 states. Computing post^186 from 10 states. Computing post^187 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time Computing post^188 from 10 states. Computing post^189 from 6 states. Computing post^190 from 10 states. Computing post^191 from 6 states. Computing post^192 from 10 states. 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.  124 states merged within 317 states. Computing post^33 from 210 states. Computing post^198 from 10 states. Computing post^199 from 6 states.  260 states merged within 670 states. Computing post^39 from 449 states.  State space exploration stopped at a depth of 200: 1646 states with 1838 transitions in the final state space.  [NZCUB] Algorithm completed after 379.081 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 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.  155 states merged within 356 states. Computing post^34 from 221 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^17 from 6 states. Computing post^18 from 10 states. Computing post^19 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^28 from 10 states. Computing post^29 from 6 states. Computing post^30 from 10 states. Computing post^31 from 6 states.  268 states merged within 678 states. Computing post^39 from 451 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^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. 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^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^51 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^56 from 10 states. Computing post^57 from 6 states. Computing post^58 from 10 states. Computing post^59 from 6 states.  [NZCUB] Found a cycle. Computing post^60 from 10 states. Computing post^61 from 6 states. Computing post^62 from 10 states. Computing post^63 from 6 states. Computing post^64 from 10 states. Computing post^65 from 6 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^72 from 10 states. Computing post^73 from 6 states.  164 states merged within 365 states. Computing post^34 from 221 states. Computing post^74 from 10 states. Computing post^75 from 6 states. Computing post^76 from 10 states. Computing post^77 from 6 states. Computing post^78 from 10 states. Computing post^79 from 6 states. Computing post^80 from 10 states. Computing post^81 from 6 states. Computing post^82 from 10 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time Computing post^83 from 6 states. Computing post^84 from 10 states. Computing post^85 from 6 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.  [NZCUB] Found a cycle.  158 states merged within 374 states. Computing post^35 from 237 states. Computing post^90 from 10 states. Computing post^91 from 6 states. Computing post^92 from 10 states. Computing post^93 from 6 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. Computing post^98 from 10 states. Computing post^99 from 6 states. Computing post^100 from 10 states. Computing post^101 from 6 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. Computing post^107 from 6 states. Computing post^108 from 10 states. Computing post^109 from 6 states. 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^115 from 6 states. Computing post^116 from 10 states. Computing post^117 from 6 states. Computing post^118 from 10 states.  163 states merged within 379 states. Computing post^35 from 237 states. Computing post^119 from 6 states. Computing post^120 from 10 states. Computing post^121 from 6 states. Computing post^122 from 10 states. Computing post^123 from 6 states. Computing post^124 from 10 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^129 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time Computing post^130 from 10 states. Computing post^131 from 6 states.  163 states merged within 393 states. Computing post^36 from 255 states. Computing post^132 from 10 states. Computing post^133 from 6 states.  [NZCUB] Found a cycle. Computing post^134 from 10 states. Computing post^135 from 6 states. Computing post^136 from 10 states.  328 states merged within 726 states. Computing post^40 from 443 states. Computing post^137 from 6 states. Computing post^138 from 10 states. Computing post^139 from 6 states. Computing post^140 from 10 states. Computing post^141 from 6 states. Computing post^142 from 10 states. Computing post^143 from 6 states.  289 states merged within 689 states. Computing post^40 from 445 states. Computing post^144 from 10 states. Computing post^145 from 6 states. Computing post^146 from 10 states.  [NZCUB] Found a cycle. Computing post^147 from 6 states. Computing post^148 from 10 states. Computing post^149 from 6 states. Computing post^150 from 10 states. Computing post^151 from 6 states. Computing post^152 from 10 states. Computing post^153 from 6 states.  181 states merged within 411 states. Computing post^36 from 255 states. Computing post^154 from 10 states. Computing post^155 from 6 states. Computing post^156 from 10 states. Computing post^157 from 6 states. Computing post^158 from 10 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. Computing post^164 from 10 states. Computing post^165 from 6 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle. Computing post^166 from 10 states. Computing post^167 from 6 states.  177 states merged within 433 states. Computing post^37 from 284 states.  [NZCUB] Found a cycle. Computing post^168 from 10 states. Computing post^169 from 6 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. Computing post^177 from 6 states. Computing post^178 from 10 states. Computing post^179 from 6 states. Computing post^180 from 10 states. Computing post^181 from 6 states.  [NZCUB] Found a cycle. Computing post^182 from 10 states. Computing post^183 from 6 states. Computing post^184 from 10 states.  190 states merged within 446 states. Computing post^37 from 284 states. Computing post^185 from 6 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. Computing post^190 from 10 states. Computing post^191 from 6 states. Computing post^192 from 10 states. 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.  269 states merged within 702 states. Computing post^41 from 487 states.  State space exploration stopped at a depth of 200: 1622 states with 1762 transitions in the final state space.  [NZCUB] Algorithm completed after 429.921 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 7 states. Computing post^3 from 19 states.  191 states merged within 457 states. Computing post^38 from 296 states. Computing post^4 from 26 states. Computing post^5 from 21 states. Computing post^6 from 13 states.  2 states merged within 9 states. Computing post^7 from 7 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.  2 states merged within 14 states. Computing post^11 from 12 states.  6 states merged within 19 states. Computing post^12 from 13 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.  4 states merged within 30 states. Computing post^15 from 26 states.  8 states merged within 35 states. Computing post^16 from 27 states.  8 states merged within 43 states. Computing post^17 from 35 states.  15 states merged within 48 states. Computing post^18 from 33 states.  15 states merged within 58 states. Computing post^19 from 43 states.  22 states merged within 67 states. Computing post^20 from 45 states.  13 states merged within 72 states. Computing post^21 from 59 states.  314 states merged within 747 states. Computing post^41 from 487 states.  26 states merged within 91 states. Computing post^22 from 65 states.  24 states merged within 105 states. Computing post^23 from 81 states.  39 states merged within 124 states. Computing post^24 from 85 states.  206 states merged within 472 states. Computing post^38 from 296 states.  41 states merged within 140 states. Computing post^25 from 101 states.  66 states merged within 164 states. Computing post^26 from 102 states.  [NZCUB] Found a cycle.  55 states merged within 170 states. Computing post^27 from 120 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  80 states merged within 198 states. Computing post^28 from 127 states.  218 states merged within 526 states. Computing post^39 from 340 states.  79 states merged within 218 states. Computing post^29 from 150 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  106 states merged within 258 states. Computing post^30 from 162 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  201 states merged within 509 states. Computing post^39 from 338 states.  97 states merged within 260 states. Computing post^31 from 176 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  131 states merged within 306 states. Computing post^32 from 193 states.  360 states merged within 804 states. Computing post^42 from 507 states.  119 states merged within 312 states. Computing post^33 from 210 states.  347 states merged within 791 states. Computing post^42 from 507 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  240 states merged within 548 states. Computing post^40 from 341 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  131 states merged within 332 states. Computing post^34 from 221 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  255 states merged within 561 states. Computing post^40 from 339 states.  [NZCUB] Found a cycle.  147 states merged within 363 states. Computing post^35 from 237 states.  [NZCUB] Found a cycle.  152 states merged within 382 states. Computing post^36 from 255 states.  244 states merged within 579 states. Computing post^41 from 375 states.  162 states merged within 418 states. Computing post^37 from 284 states.  257 states merged within 592 states. Computing post^41 from 375 states.  311 states merged within 808 states. Computing post^43 from 566 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  331 states merged within 828 states. Computing post^43 from 566 states.  206 states merged within 472 states. Computing post^38 from 296 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.  183 states merged within 491 states. Computing post^39 from 339 states.  275 states merged within 619 states. Computing post^42 from 390 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  282 states merged within 626 states. Computing post^42 from 390 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  217 states merged within 524 states. Computing post^40 from 340 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  412 states merged within 948 states. Computing post^44 from 619 states.  234 states merged within 569 states. Computing post^41 from 375 states.  252 states merged within 631 states. Computing post^43 from 431 states.  389 states merged within 925 states. Computing post^44 from 619 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  264 states merged within 643 states. Computing post^43 from 431 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  270 states merged within 614 states. Computing post^42 from 390 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] Cycle found, but in 0-time  237 states merged within 616 states. Computing post^43 from 431 states.  312 states merged within 718 states. Computing post^44 from 468 states.  317 states merged within 723 states. Computing post^44 from 468 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  388 states merged within 950 states. Computing post^45 from 638 states.  335 states merged within 741 states. Computing post^44 from 468 states.  391 states merged within 953 states. Computing post^45 from 638 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  319 states merged within 741 states. Computing post^45 from 481 states.  280 states merged within 702 states. Computing post^45 from 481 states.  335 states merged within 757 states. Computing post^45 from 481 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  328 states merged within 772 states. Computing post^46 from 509 states.  438 states merged within 1029 states. Computing post^46 from 676 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  426 states merged within 1017 states. Computing post^46 from 676 states.  306 states merged within 750 states. Computing post^46 from 509 states.  330 states merged within 774 states. Computing post^46 from 509 states.  [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.  [NZCUB] Found a cycle.  355 states merged within 832 states. Computing post^48 from 545 states.  317 states merged within 786 states. Computing post^47 from 531 states.  442 states merged within 1067 states. Computing post^47 from 705 states.  334 states merged within 803 states. Computing post^47 from 531 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.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  369 states merged within 848 states. Computing post^49 from 565 states.  356 states merged within 833 states. Computing post^48 from 545 states.  365 states merged within 842 states. Computing post^48 from 545 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  425 states merged within 1059 states. Computing post^48 from 720 states.  396 states merged within 906 states. Computing post^50 from 599 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] Cycle found, but in 0-time  439 states merged within 1073 states. Computing post^48 from 720 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  379 states merged within 858 states. Computing post^49 from 565 states.  358 states merged within 923 states. Computing post^51 from 651 states.  388 states merged within 867 states. Computing post^49 from 565 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.  [NZCUB] Cycle found, but in 0-time  522 states merged within 1145 states. Computing post^49 from 739 states.  396 states merged within 972 states. Computing post^52 from 670 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.  391 states merged within 901 states. Computing post^50 from 599 states.  404 states merged within 914 states. Computing post^50 from 599 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  404 states merged within 1009 states. Computing post^53 from 709 states.  504 states merged within 1161 states. Computing post^50 from 778 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  422 states merged within 987 states. Computing post^51 from 651 states.  483 states merged within 1140 states. Computing post^50 from 778 states.  430 states merged within 994 states. Computing post^51 from 651 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  424 states merged within 1020 states. Computing post^54 from 714 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [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.  396 states merged within 973 states. Computing post^52 from 671 states.  479 states merged within 1214 states. Computing post^51 from 848 states.  426 states merged within 1057 states. Computing post^55 from 761 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [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.  472 states merged within 1111 states. Computing post^56 from 785 states.  404 states merged within 1010 states. Computing post^53 from 710 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.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [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.  [NZCUB] Found a cycle.  526 states merged within 1276 states. Computing post^52 from 876 states.  [NZCUB] Found a cycle.  470 states merged within 1158 states. Computing post^57 from 829 states.  [NZCUB] Found a cycle.  462 states merged within 1058 states. Computing post^54 from 714 states.  448 states merged within 1044 states. Computing post^54 from 714 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] Found a cycle.  518 states merged within 1313 states. Computing post^53 from 934 states.  541 states merged within 1239 states. Computing post^58 from 854 states.  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.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  442 states merged within 1073 states. Computing post^55 from 761 states.  434 states merged within 1065 states. Computing post^55 from 761 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.  509 states merged within 1236 states. Computing post^59 from 907 states.  558 states merged within 1347 states. Computing post^54 from 941 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  588 states merged within 1377 states. Computing post^54 from 941 states.  494 states merged within 1134 states. Computing post^56 from 782 states.  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.  578 states merged within 1339 states. Computing post^60 from 964 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  591 states merged within 1430 states. Computing post^55 from 1009 states.  562 states merged within 1401 states. Computing post^55 from 1004 states.  499 states merged within 1186 states. Computing post^57 from 828 states.  480 states merged within 1168 states. Computing post^57 from 829 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  576 states merged within 1335 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.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  676 states merged within 1520 states. Computing post^56 from 1032 states.  548 states merged within 1243 states. Computing post^58 from 853 states.  519 states merged within 1217 states. Computing post^58 from 854 states.  630 states merged within 1402 states. Computing post^62 from 1010 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.  637 states merged within 1478 states. Computing post^56 from 1029 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  634 states merged within 1425 states. Computing post^63 from 1042 states.  516 states merged within 1244 states. Computing post^59 from 908 states.  544 states merged within 1272 states. Computing post^59 from 908 states.  [NZCUB] Found a cycle.  629 states merged within 1526 states. Computing post^57 from 1080 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  626 states merged within 1525 states. Computing post^57 from 1080 states.  [NZCUB] Found a cycle.  658 states merged within 1452 states. Computing post^64 from 1061 states.  604 states merged within 1365 states. Computing post^60 from 964 states.  609 states merged within 1371 states. Computing post^60 from 965 states.  [NZCUB] Found a cycle.  711 states merged within 1614 states. Computing post^58 from 1110 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  682 states merged within 1583 states. Computing post^58 from 1108 states.  712 states merged within 1547 states. Computing post^65 from 1119 states.  597 states merged within 1356 states. Computing post^61 from 975 states.  611 states merged within 1370 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.  692 states merged within 1639 states. Computing post^59 from 1188 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  687 states merged within 1633 states. Computing post^59 from 1187 states.  763 states merged within 1635 states. Computing post^66 from 1170 states.  [NZCUB] Found a cycle.  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.  724 states merged within 1716 states. Computing post^60 from 1266 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  745 states merged within 1646 states. Computing post^67 from 1229 states.  [NZCUB] Found a cycle.  749 states merged within 1740 states. Computing post^60 from 1265 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  683 states merged within 1474 states. Computing post^63 from 1042 states.  690 states merged within 1481 states. Computing post^63 from 1042 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.  804 states merged within 1708 states. Computing post^68 from 1244 states.  780 states merged within 1775 states. Computing post^61 from 1287 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  793 states merged within 1793 states. Computing post^61 from 1287 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  706 states merged within 1500 states. Computing post^64 from 1061 states.  720 states merged within 1514 states. Computing post^64 from 1061 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  819 states merged within 1757 states. Computing post^69 from 1312 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  776 states merged within 1797 states. Computing post^62 from 1332 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  823 states merged within 1844 states. Computing post^62 from 1333 states.  757 states merged within 1592 states. Computing post^65 from 1119 states.  [NZCUB] Found a cycle.  728 states merged within 1563 states. Computing post^65 from 1119 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] Cycle found, but in 0-time  [NZCUB] Found a cycle.  852 states merged within 1781 states. Computing post^70 from 1317 states.  835 states merged within 1875 states. Computing post^63 from 1369 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  866 states merged within 1906 states. Computing post^63 from 1368 states.  786 states merged within 1658 states. Computing post^66 from 1170 states.  745 states merged within 1617 states. Computing post^66 from 1170 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  [NZCUB] Found a cycle.  870 states merged within 1851 states. Computing post^71 from 1375 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  892 states merged within 1929 states. Computing post^64 from 1384 states.  798 states merged within 1701 states. Computing post^67 from 1229 states.  869 states merged within 1905 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.  940 states merged within 1927 states. Computing post^72 from 1399 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  923 states merged within 2010 states. Computing post^65 from 1458 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.  926 states merged within 1923 states. Computing post^73 from 1443 states.  [NZCUB] Found a cycle.  933 states merged within 2020 states. Computing post^65 from 1457 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  942 states merged within 2081 states. Computing post^66 from 1528 states.  863 states merged within 1801 states. Computing post^69 from 1312 states.  978 states merged within 1996 states. Computing post^74 from 1487 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  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.  952 states merged within 2091 states. Computing post^66 from 1529 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [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  1020 states merged within 2198 states. Computing post^67 from 1612 states.  909 states merged within 1838 states. Computing post^70 from 1317 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  867 states merged within 1796 states. Computing post^70 from 1317 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] Found a cycle.  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  902 states merged within 1883 states. Computing post^71 from 1375 states.  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 3815.707 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.  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.  8 states merged within 28 states. Computing post^14 from 20 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.  4 states merged within 39 states. Computing post^17 from 35 states.  19 states merged within 52 states. Computing post^18 from 33 states.  11 states merged within 54 states. Computing post^19 from 43 states.  23 states merged within 68 states. Computing post^20 from 45 states.  11 states merged within 70 states. Computing post^21 from 59 states.  31 states merged within 96 states. Computing post^22 from 65 states.  23 states merged within 104 states. Computing post^23 from 81 states.  38 states merged within 123 states. Computing post^24 from 85 states.  37 states merged within 136 states. Computing post^25 from 101 states.  853 states merged within 1834 states. Computing post^71 from 1375 states.  70 states merged within 168 states. Computing post^26 from 102 states.  [NZCUB] Found a cycle.  55 states merged within 170 states. Computing post^27 from 120 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  84 states merged within 202 states. Computing post^28 from 127 states.  80 states merged within 219 states. Computing post^29 from 150 states.  97 states merged within 249 states. Computing post^30 from 162 states.  86 states merged within 249 states. Computing post^31 from 176 states.  130 states merged within 305 states. Computing post^32 from 193 states.  127 states merged within 320 states. Computing post^33 from 210 states.  137 states merged within 338 states. Computing post^34 from 221 states.  147 states merged within 363 states. Computing post^35 from 237 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  160 states merged within 390 states. Computing post^36 from 255 states.  [NZCUB] Found a cycle.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  154 states merged within 410 states. Computing post^37 from 284 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  188 states merged within 454 states. Computing post^38 from 296 states.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time  187 states merged within 495 states. Computing post^39 from 338 states.  222 states merged within 528 states. Computing post^40 from 339 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 3919.364 seconds. Starting running algorithm NZCUB…  Computing post^1 from 1 state.  227 states merged within 562 states. Computing post^41 from 375 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. 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. 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. 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. 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. Computing post^120 from 5 states. Computing post^121 from 3 states. Computing post^122 from 5 states. Computing post^123 from 3 states.  278 states merged within 622 states. Computing post^42 from 390 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. 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.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time Computing post^142 from 5 states. Computing post^143 from 3 states. Computing post^144 from 5 states. Computing post^145 from 3 states. 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. 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. 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. Computing post^189 from 3 states. Computing post^190 from 5 states. Computing post^191 from 3 states. Computing post^192 from 5 states. Computing post^193 from 3 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: 841 states with 957 transitions in the final state space.  [NZCUB] Algorithm completed after 3950.943 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.  250 states merged within 629 states. Computing post^43 from 431 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. 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. 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.  [NZCUB] Found a cycle.  [NZCUB] Cycle found, but in 0-time 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. 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. 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. 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. 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. 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. Computing post^189 from 3 states. Computing post^190 from 5 states. Computing post^191 from 3 states. Computing post^192 from 5 states. Computing post^193 from 3 states. Computing post^194 from 5 states. Computing post^195 from 3 states. Computing post^196 from 5 states.  292 states merged within 698 states. Computing post^44 from 468 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 3970.389 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.  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.  301 states merged within 723 states. Computing post^45 from 481 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.  [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  97 states merged within 239 states. Computing post^34 from 155 states.