************************************************************
 *  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/4/simop/simop.imi
 Mode: parametric non-Zeno emptiness checking (CUB transformation), distributed version.
 Considering fixpoint variant with monodirectional inclusion of symbolic zones (instead of equality).
 Time elapsing will be applied at the beginning of the computation of a new state.
 Merging technique of [AFS13] enabled.
 The result will be written to a file.
 Model: /home/royal/Desktop/experiments/Etienne/4/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.
 Model: /home/royal/Desktop/experiments/Etienne/4/simop/simop.imi
 Mode: parametric non-Zeno emptiness checking (CUB transformation), distributed version.
 Considering fixpoint variant with monodirectional inclusion of symbolic zones (instead of equality).
 Time elapsing will be applied at the beginning of the computation of a new state.
 Merging technique of [AFS13] enabled.
 The result will be written to a file.
 The result will be written to a file.
 Model: /home/royal/Desktop/experiments/Etienne/4/simop/simop.imi
 Mode: parametric non-Zeno emptiness checking (CUB transformation), distributed version.
 Considering fixpoint variant with monodirectional inclusion of symbolic zones (instead of equality).
 Time elapsing will be applied at the beginning of the computation of a new state.
 Merging technique of [AFS13] enabled.
 The result will be written to a file.
 Generating the transformed model…
 Generating the transformed model…
 Generating the transformed model…
 Generating the transformed model…
  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…
 
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^1 from 1 state.
 Computing post^2 from 7 states.
 Computing post^2 from 8 states.
 Computing post^3 from 18 states.
 Computing post^3 from 24 states.
 Computing post^4 from 23 states.
  Automaton name: PLC, Number of models: 2
 Automaton name: COM, Number of models: 2
 Automaton name: NET, Number of models: 12
 Automaton name: RIO, Number of models: 1
 Automaton name: ENV, Number of models: 1
 
 Transformation completed
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 8 states.
 Computing post^4 from 35 states.
 Computing post^3 from 24 states.
 Computing post^5 from 20 states.
 Computing post^5 from 29 states.
 Computing post^4 from 35 states.
 Computing post^6 from 20 states.
   3 states merged within 20 states.
 Computing post^7 from 17 states.
 Computing post^6 from 18 states.
   3 states merged within 11 states.
 Computing post^8 from 8 states.
   1 state merged within 11 states.
 Computing post^5 from 30 states.
 Computing post^9 from 6 states.
 Computing post^7 from 10 states.
 Computing post^10 from 10 states.
   3 states merged within 8 states.
 Computing post^8 from 5 states.
 Computing post^11 from 6 states.
 Computing post^12 from 10 states.
 Computing post^6 from 23 states.
 Computing post^9 from 6 states.
 Computing post^10 from 6 states.
 Computing post^13 from 6 states.
 Computing post^11 from 6 states.
   3 states merged within 20 states.
 Computing post^7 from 17 states.
 Computing post^12 from 6 states.
 Computing post^14 from 10 states.
 Computing post^13 from 6 states.
 Computing post^15 from 6 states.
   1 state merged within 9 states.
 Computing post^8 from 8 states.
 Computing post^14 from 6 states.
 Computing post^9 from 6 states.
 Computing post^16 from 10 states.
 Computing post^15 from 6 states.
 Computing post^17 from 6 states.
 Computing post^16 from 6 states.
 Computing post^10 from 10 states.
 Computing post^11 from 6 states.
 Computing post^17 from 6 states.
 Computing post^18 from 10 states.
 Computing post^18 from 6 states.
 Computing post^12 from 10 states.
 Computing post^19 from 6 states.
 Computing post^13 from 6 states.
 Computing post^19 from 6 states.
 Computing post^14 from 10 states.
 Computing post^20 from 6 states.
 Computing post^20 from 10 states.
 Computing post^21 from 6 states.
 Computing post^15 from 6 states.
 Computing post^21 from 6 states.
 Computing post^22 from 10 states.
 Computing post^22 from 6 states.
 Computing post^23 from 6 states.
 Computing post^16 from 10 states.
 Computing post^23 from 6 states.
 Computing post^17 from 6 states.
 Computing post^24 from 10 states.
 Computing post^24 from 6 states.
 Computing post^25 from 6 states.
 Computing post^25 from 6 states.
 Computing post^18 from 10 states.
 Computing post^19 from 6 states.
 Computing post^26 from 10 states.
 Computing post^26 from 6 states.
 Computing post^27 from 6 states.
 Computing post^27 from 6 states.
 Computing post^20 from 10 states.
 Computing post^21 from 6 states.
 Computing post^28 from 10 states.
 Computing post^28 from 6 states.
 Computing post^29 from 6 states.
 Computing post^29 from 6 states.
 Computing post^22 from 10 states.
 Computing post^23 from 6 states.
 Computing post^30 from 10 states.
 Computing post^30 from 6 states.
 Computing post^31 from 6 states.
 Computing post^31 from 6 states.
 Computing post^24 from 10 states.
 Computing post^25 from 6 states.
 Computing post^32 from 6 states.
 Computing post^32 from 10 states.
 Computing post^33 from 6 states.
 Computing post^33 from 6 states.
 Computing post^26 from 10 states.
 Computing post^34 from 6 states.
 Computing post^27 from 6 states.
 Computing post^34 from 10 states.
 Computing post^35 from 6 states.
 Computing post^35 from 6 states.
 Computing post^28 from 10 states.
 Computing post^36 from 6 states.
 Computing post^29 from 6 states.
 Computing post^36 from 10 states.
 Computing post^37 from 6 states.
 Computing post^37 from 6 states.
 Computing post^30 from 10 states.
 Computing post^38 from 6 states.
 Computing post^31 from 6 states.
 Computing post^39 from 6 states.
 Computing post^38 from 10 states.
 Computing post^40 from 6 states.
 Computing post^39 from 6 states.
 Computing post^32 from 10 states.
 Computing post^33 from 6 states.
 Computing post^41 from 6 states.
 Computing post^40 from 10 states.
 Computing post^42 from 6 states.
 Computing post^34 from 10 states.
 Computing post^41 from 6 states.
 Computing post^35 from 6 states.
 Computing post^43 from 6 states.
 Computing post^42 from 10 states.
 Computing post^36 from 10 states.
 Computing post^44 from 6 states.
 Computing post^43 from 6 states.
 Computing post^37 from 6 states.
 Computing post^45 from 6 states.
 Computing post^46 from 6 states.
 Computing post^44 from 10 states.
 Computing post^45 from 6 states.
 Computing post^47 from 6 states.
 Computing post^38 from 10 states.
 Computing post^39 from 6 states.
 Computing post^48 from 6 states.
 Computing post^46 from 10 states.
 Computing post^47 from 6 states.
 Computing post^40 from 10 states.
 Computing post^49 from 6 states.
 Computing post^41 from 6 states.
 Computing post^50 from 6 states.
 Computing post^48 from 10 states.
 Computing post^51 from 6 states.
 Computing post^42 from 10 states.
 Computing post^49 from 6 states.
 Computing post^43 from 6 states.
 Computing post^52 from 6 states.
 Computing post^53 from 6 states.
 Computing post^44 from 10 states.
 Computing post^50 from 10 states.
 Computing post^54 from 6 states.
 Computing post^45 from 6 states.
 Computing post^51 from 6 states.
 Computing post^55 from 6 states.
 Computing post^46 from 10 states.
 Computing post^52 from 10 states.
 Computing post^47 from 6 states.
 Computing post^56 from 6 states.
 Computing post^53 from 6 states.
 Computing post^57 from 6 states.
 Computing post^48 from 10 states.
 Computing post^54 from 10 states.
 Computing post^58 from 6 states.
 Computing post^49 from 6 states.
 Computing post^55 from 6 states.
 Computing post^59 from 6 states.
 Computing post^60 from 6 states.
 Computing post^50 from 10 states.
 Computing post^56 from 10 states.
 Computing post^51 from 6 states.
 Computing post^61 from 6 states.
 Computing post^57 from 6 states.
 Computing post^62 from 6 states.
 Computing post^52 from 10 states.
 Computing post^63 from 6 states.
 Computing post^58 from 10 states.
 Computing post^53 from 6 states.
 Computing post^59 from 6 states.
 Computing post^64 from 6 states.
 Computing post^54 from 10 states.
 Computing post^65 from 6 states.
 Computing post^66 from 6 states.
 Computing post^60 from 10 states.
 Computing post^55 from 6 states.
 Computing post^67 from 6 states.
 Computing post^61 from 6 states.
 Computing post^68 from 6 states.
 Computing post^56 from 10 states.
 Computing post^57 from 6 states.
 Computing post^62 from 10 states.
 Computing post^69 from 6 states.
 Computing post^63 from 6 states.
 Computing post^70 from 6 states.
 Computing post^58 from 10 states.
 Computing post^71 from 6 states.
 Computing post^64 from 10 states.
 Computing post^59 from 6 states.
 Computing post^72 from 6 states.
 Computing post^65 from 6 states.
 Computing post^60 from 10 states.
 Computing post^73 from 6 states.
 Computing post^66 from 10 states.
 Computing post^67 from 6 states.
 Computing post^61 from 6 states.
 Computing post^74 from 6 states.
 Computing post^75 from 6 states.
 Computing post^68 from 10 states.
 Computing post^62 from 10 states.
 Computing post^76 from 6 states.
 Computing post^69 from 6 states.
 Computing post^63 from 6 states.
 Computing post^77 from 6 states.
 Computing post^70 from 10 states.
 Computing post^78 from 6 states.
 Computing post^64 from 10 states.
 Computing post^71 from 6 states.
 Computing post^65 from 6 states.
 Computing post^79 from 6 states.
 Computing post^80 from 6 states.
 Computing post^72 from 10 states.
 Computing post^66 from 10 states.
 Computing post^81 from 6 states.
 Computing post^73 from 6 states.
 Computing post^67 from 6 states.
 Computing post^82 from 6 states.
 Computing post^68 from 10 states.
 Computing post^74 from 10 states.
 Computing post^83 from 6 states.
 Computing post^69 from 6 states.
 Computing post^75 from 6 states.
 Computing post^84 from 6 states.
 Computing post^70 from 10 states.
 Computing post^85 from 6 states.
 Computing post^76 from 10 states.
 Computing post^71 from 6 states.
 Computing post^86 from 6 states.
 Computing post^77 from 6 states.
 Computing post^87 from 6 states.
 Computing post^78 from 10 states.
 Computing post^72 from 10 states.
 Computing post^79 from 6 states.
 Computing post^88 from 6 states.
 Computing post^73 from 6 states.
 Computing post^89 from 6 states.
 Computing post^80 from 10 states.
 Computing post^74 from 10 states.
 Computing post^81 from 6 states.
 Computing post^90 from 6 states.
 Computing post^75 from 6 states.
 Computing post^91 from 6 states.
 Computing post^82 from 10 states.
 Computing post^76 from 10 states.
 Computing post^92 from 6 states.
 Computing post^83 from 6 states.
 Computing post^77 from 6 states.
 Computing post^93 from 6 states.
 Computing post^94 from 6 states.
 Computing post^84 from 10 states.
 Computing post^78 from 10 states.
 Computing post^85 from 6 states.
 Computing post^95 from 6 states.
 Computing post^79 from 6 states.
 Computing post^96 from 6 states.
 Computing post^86 from 10 states.
 Computing post^97 from 6 states.
 Computing post^80 from 10 states.
 Computing post^87 from 6 states.
 Computing post^81 from 6 states.
 Computing post^98 from 6 states.
 Computing post^99 from 6 states.
 Computing post^82 from 10 states.
 Computing post^88 from 10 states.
 Computing post^89 from 6 states.
 Computing post^83 from 6 states.
 Computing post^100 from 6 states.
 Computing post^101 from 6 states.
 Computing post^90 from 10 states.
 Computing post^84 from 10 states.
 Computing post^102 from 6 states.
 Computing post^91 from 6 states.
 Computing post^103 from 6 states.
 Computing post^85 from 6 states.
 Computing post^104 from 6 states.
 Computing post^105 from 6 states.
 Computing post^92 from 10 states.
 Computing post^86 from 10 states.
 Computing post^93 from 6 states.
 Computing post^106 from 6 states.
 Computing post^87 from 6 states.
 Computing post^107 from 6 states.
 Computing post^94 from 10 states.
 Computing post^108 from 6 states.
 Computing post^88 from 10 states.
 Computing post^95 from 6 states.
 Computing post^89 from 6 states.
 Computing post^109 from 6 states.
 Computing post^96 from 10 states.
 Computing post^110 from 6 states.
 Computing post^97 from 6 states.
 Computing post^90 from 10 states.
 Computing post^111 from 6 states.
 Computing post^91 from 6 states.
 Computing post^112 from 6 states.
 Computing post^98 from 10 states.
 Computing post^113 from 6 states.
 Computing post^99 from 6 states.
 Computing post^92 from 10 states.
 Computing post^114 from 6 states.
 Computing post^93 from 6 states.
 Computing post^115 from 6 states.
 Computing post^100 from 10 states.
 Computing post^116 from 6 states.
 Computing post^101 from 6 states.
 Computing post^94 from 10 states.
 Computing post^117 from 6 states.
 Computing post^95 from 6 states.
 Computing post^118 from 6 states.
 Computing post^102 from 10 states.
 Computing post^96 from 10 states.
 Computing post^119 from 6 states.
 Computing post^103 from 6 states.
 Computing post^97 from 6 states.
 Computing post^120 from 6 states.
 Computing post^98 from 10 states.
 Computing post^104 from 10 states.
 Computing post^121 from 6 states.
 Computing post^105 from 6 states.
 Computing post^99 from 6 states.
 Computing post^122 from 6 states.
 Computing post^123 from 6 states.
 Computing post^106 from 10 states.
 Computing post^100 from 10 states.
 Computing post^124 from 6 states.
 Computing post^107 from 6 states.
 Computing post^101 from 6 states.
 Computing post^125 from 6 states.
 Computing post^108 from 10 states.
 Computing post^126 from 6 states.
 Computing post^102 from 10 states.
 Computing post^109 from 6 states.
 Computing post^103 from 6 states.
 Computing post^127 from 6 states.
 Computing post^128 from 6 states.
 Computing post^104 from 10 states.
 Computing post^110 from 10 states.
 Computing post^111 from 6 states.
 Computing post^105 from 6 states.
 Computing post^129 from 6 states.
 Computing post^130 from 6 states.
 Computing post^112 from 10 states.
 Computing post^106 from 10 states.
 Computing post^131 from 6 states.
 Computing post^107 from 6 states.
 Computing post^113 from 6 states.
 Computing post^132 from 6 states.
 Computing post^133 from 6 states.
 Computing post^108 from 10 states.
 Computing post^114 from 10 states.
 Computing post^134 from 6 states.
 Computing post^115 from 6 states.
 Computing post^109 from 6 states.
 Computing post^135 from 6 states.
 Computing post^116 from 10 states.
 Computing post^110 from 10 states.
 Computing post^111 from 6 states.
 Computing post^136 from 6 states.
 Computing post^117 from 6 states.
 Computing post^137 from 6 states.
 Computing post^112 from 10 states.
 Computing post^138 from 6 states.
 Computing post^118 from 10 states.
 Computing post^113 from 6 states.
 Computing post^119 from 6 states.
 Computing post^139 from 6 states.
 Computing post^114 from 10 states.
 Computing post^140 from 6 states.
 Computing post^115 from 6 states.
 Computing post^120 from 10 states.
 Computing post^141 from 6 states.
 Computing post^121 from 6 states.
 Computing post^116 from 10 states.
 Computing post^142 from 6 states.
 Computing post^117 from 6 states.
 Computing post^143 from 6 states.
 Computing post^122 from 10 states.
 Computing post^123 from 6 states.
 Computing post^144 from 6 states.
 Computing post^118 from 10 states.
 Computing post^145 from 6 states.
 Computing post^124 from 10 states.
 Computing post^119 from 6 states.
 Computing post^146 from 6 states.
 Computing post^125 from 6 states.
 Computing post^147 from 6 states.
 Computing post^120 from 10 states.
 Computing post^148 from 6 states.
 Computing post^121 from 6 states.
 Computing post^126 from 10 states.
 Computing post^127 from 6 states.
 Computing post^149 from 6 states.
 Computing post^150 from 6 states.
 Computing post^122 from 10 states.
 Computing post^123 from 6 states.
 Computing post^151 from 6 states.
 Computing post^128 from 10 states.
 Computing post^152 from 6 states.
 Computing post^129 from 6 states.
 Computing post^124 from 10 states.
 Computing post^153 from 6 states.
 Computing post^125 from 6 states.
 Computing post^154 from 6 states.
 Computing post^130 from 10 states.
 Computing post^131 from 6 states.
 Computing post^155 from 6 states.
 Computing post^126 from 10 states.
 Computing post^156 from 6 states.
 Computing post^127 from 6 states.
 Computing post^132 from 10 states.
 Computing post^157 from 6 states.
 Computing post^133 from 6 states.
 Computing post^128 from 10 states.
 Computing post^158 from 6 states.
 Computing post^129 from 6 states.
 Computing post^159 from 6 states.
 Computing post^134 from 10 states.
 Computing post^160 from 6 states.
 Computing post^130 from 10 states.
 Computing post^135 from 6 states.
 Computing post^131 from 6 states.
 Computing post^161 from 6 states.
 Computing post^162 from 6 states.
 Computing post^132 from 10 states.
 Computing post^136 from 10 states.
 Computing post^163 from 6 states.
 Computing post^133 from 6 states.
 Computing post^137 from 6 states.
 Computing post^164 from 6 states.
 Computing post^138 from 10 states.
 Computing post^134 from 10 states.
 Computing post^165 from 6 states.
 Computing post^139 from 6 states.
 Computing post^135 from 6 states.
 Computing post^166 from 6 states.
 Computing post^140 from 10 states.
 Computing post^167 from 6 states.
 Computing post^136 from 10 states.
 Computing post^141 from 6 states.
 Computing post^137 from 6 states.
 Computing post^168 from 6 states.
 Computing post^169 from 6 states.
 Computing post^142 from 10 states.
 Computing post^170 from 6 states.
 Computing post^138 from 10 states.
 Computing post^143 from 6 states.
 Computing post^139 from 6 states.
 Computing post^171 from 6 states.
 Computing post^172 from 6 states.
 Computing post^144 from 10 states.
 Computing post^140 from 10 states.
 Computing post^145 from 6 states.
 Computing post^173 from 6 states.
 Computing post^141 from 6 states.
 Computing post^174 from 6 states.
 Computing post^146 from 10 states.
 Computing post^175 from 6 states.
 Computing post^142 from 10 states.
 Computing post^147 from 6 states.
 Computing post^176 from 6 states.
 Computing post^143 from 6 states.
 Computing post^177 from 6 states.
 Computing post^148 from 10 states.
 Computing post^144 from 10 states.
 Computing post^178 from 6 states.
 Computing post^149 from 6 states.
 Computing post^145 from 6 states.
 Computing post^179 from 6 states.
 Computing post^150 from 10 states.
 Computing post^146 from 10 states.
 Computing post^180 from 6 states.
 Computing post^151 from 6 states.
 Computing post^147 from 6 states.
 Computing post^181 from 6 states.
 Computing post^152 from 10 states.
 Computing post^148 from 10 states.
 Computing post^182 from 6 states.
 Computing post^153 from 6 states.
 Computing post^149 from 6 states.
 Computing post^183 from 6 states.
 Computing post^154 from 10 states.
 Computing post^184 from 6 states.
 Computing post^150 from 10 states.
 Computing post^155 from 6 states.
 Computing post^151 from 6 states.
 Computing post^185 from 6 states.
 Computing post^186 from 6 states.
 Computing post^156 from 10 states.
 Computing post^152 from 10 states.
 Computing post^187 from 6 states.
 Computing post^157 from 6 states.
 Computing post^153 from 6 states.
 Computing post^188 from 6 states.
 Computing post^158 from 10 states.
 Computing post^189 from 6 states.
 Computing post^154 from 10 states.
 Computing post^159 from 6 states.
 Computing post^155 from 6 states.
 Computing post^190 from 6 states.
 Computing post^191 from 6 states.
 Computing post^160 from 10 states.
 Computing post^161 from 6 states.
 Computing post^156 from 10 states.
 Computing post^192 from 6 states.
 Computing post^157 from 6 states.
 Computing post^193 from 6 states.
 Computing post^162 from 10 states.
 Computing post^194 from 6 states.
 Computing post^163 from 6 states.
 Computing post^158 from 10 states.
 Computing post^195 from 6 states.
 Computing post^159 from 6 states.
 Computing post^196 from 6 states.
 Computing post^164 from 10 states.
 Computing post^160 from 10 states.
 Computing post^165 from 6 states.
 Computing post^197 from 6 states.
 Computing post^161 from 6 states.
 Computing post^198 from 6 states.
 Computing post^166 from 10 states.
 Computing post^199 from 6 states.
 Computing post^167 from 6 states.
 Computing post^162 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 71.055 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^163 from 6 states.
 Computing post^5 from 19 states.
 Computing post^6 from 15 states.
 Computing post^168 from 10 states.
   3 states merged within 13 states.
 Computing post^7 from 10 states.
   1 state merged within 6 states.
 Computing post^8 from 5 states.
 Computing post^9 from 6 states.
   1 state merged within 7 states.
 Computing post^10 from 6 states.
 Computing post^11 from 6 states.
   2 states merged within 8 states.
 Computing post^12 from 6 states.
 Computing post^13 from 6 states.
   2 states merged within 8 states.
 Computing post^14 from 6 states.
 Computing post^15 from 6 states.
 Computing post^169 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^19 from 6 states.
   2 states merged within 8 states.
 Computing post^20 from 6 states.
 Computing post^21 from 6 states.
   2 states merged within 8 states.
 Computing post^22 from 6 states.
 Computing post^23 from 6 states.
   2 states merged within 8 states.
 Computing post^164 from 10 states.
 Computing post^24 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.
   2 states merged within 8 states.
 Computing post^28 from 6 states.
 Computing post^29 from 6 states.
   2 states merged within 8 states.
 Computing post^30 from 6 states.
 Computing post^170 from 10 states.
 Computing post^31 from 6 states.
 Computing post^165 from 6 states.
   2 states merged within 8 states.
 Computing post^32 from 6 states.
 Computing post^33 from 6 states.
   2 states merged within 8 states.
 Computing post^34 from 6 states.
 Computing post^171 from 6 states.
 Computing post^35 from 6 states.
   2 states merged within 8 states.
 Computing post^36 from 6 states.
 Computing post^37 from 6 states.
   2 states merged within 8 states.
 Computing post^38 from 6 states.
 Computing post^39 from 6 states.
   2 states merged within 8 states.
 Computing post^40 from 6 states.
 Computing post^41 from 6 states.
   2 states merged within 8 states.
 Computing post^42 from 6 states.
 Computing post^43 from 6 states.
   2 states merged within 8 states.
 Computing post^44 from 6 states.
 Computing post^166 from 10 states.
 Computing post^172 from 10 states.
 Computing post^45 from 6 states.
   2 states merged within 8 states.
 Computing post^46 from 6 states.
 Computing post^47 from 6 states.
 Computing post^173 from 6 states.
   2 states merged within 8 states.
 Computing post^48 from 6 states.
 Computing post^49 from 6 states.
 Computing post^167 from 6 states.
   2 states merged within 8 states.
 Computing post^50 from 6 states.
 Computing post^51 from 6 states.
   2 states merged within 8 states.
 Computing post^52 from 6 states.
 Computing post^53 from 6 states.
   2 states merged within 8 states.
 Computing post^54 from 6 states.
 Computing post^174 from 10 states.
 Computing post^55 from 6 states.
 Computing post^168 from 10 states.
   2 states merged within 8 states.
 Computing post^56 from 6 states.
 Computing post^57 from 6 states.
   2 states merged within 8 states.
 Computing post^58 from 6 states.
 Computing post^175 from 6 states.
 Computing post^169 from 6 states.
 Computing post^59 from 6 states.
   2 states merged within 8 states.
 Computing post^60 from 6 states.
 Computing post^61 from 6 states.
   2 states merged within 8 states.
 Computing post^62 from 6 states.
 Computing post^63 from 6 states.
 Computing post^170 from 10 states.
   2 states merged within 8 states.
 Computing post^64 from 6 states.
 Computing post^176 from 10 states.
 Computing post^65 from 6 states.
 Computing post^171 from 6 states.
   2 states merged within 8 states.
 Computing post^66 from 6 states.
 Computing post^177 from 6 states.
 Computing post^67 from 6 states.
   2 states merged within 8 states.
 Computing post^68 from 6 states.
 Computing post^69 from 6 states.
 Computing post^172 from 10 states.
   2 states merged within 8 states.
 Computing post^70 from 6 states.
 Computing post^178 from 10 states.
 Computing post^71 from 6 states.
 Computing post^173 from 6 states.
 Computing post^179 from 6 states.
   2 states merged within 8 states.
 Computing post^72 from 6 states.
 Computing post^73 from 6 states.
   2 states merged within 8 states.
 Computing post^74 from 6 states.
 Computing post^75 from 6 states.
 Computing post^180 from 10 states.
   2 states merged within 8 states.
 Computing post^76 from 6 states.
 Computing post^77 from 6 states.
 Computing post^181 from 6 states.
   2 states merged within 8 states.
 Computing post^78 from 6 states.
 Computing post^174 from 10 states.
 Computing post^79 from 6 states.
   2 states merged within 8 states.
 Computing post^80 from 6 states.
 Computing post^81 from 6 states.
 Computing post^175 from 6 states.
 Computing post^182 from 10 states.
   2 states merged within 8 states.
 Computing post^82 from 6 states.
 Computing post^83 from 6 states.
 Computing post^183 from 6 states.
   2 states merged within 8 states.
 Computing post^84 from 6 states.
 Computing post^85 from 6 states.
 Computing post^176 from 10 states.
   2 states merged within 8 states.
 Computing post^86 from 6 states.
 Computing post^87 from 6 states.
 Computing post^184 from 10 states.
 Computing post^177 from 6 states.
   2 states merged within 8 states.
 Computing post^88 from 6 states.
 Computing post^185 from 6 states.
 Computing post^89 from 6 states.
   2 states merged within 8 states.
 Computing post^90 from 6 states.
 Computing post^91 from 6 states.
 Computing post^178 from 10 states.
 Computing post^186 from 10 states.
   2 states merged within 8 states.
 Computing post^92 from 6 states.
 Computing post^179 from 6 states.
 Computing post^93 from 6 states.
 Computing post^187 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^96 from 6 states.
 Computing post^180 from 10 states.
 Computing post^97 from 6 states.
 Computing post^188 from 10 states.
   2 states merged within 8 states.
 Computing post^98 from 6 states.
 Computing post^181 from 6 states.
 Computing post^99 from 6 states.
 Computing post^189 from 6 states.
   2 states merged within 8 states.
 Computing post^100 from 6 states.
 Computing post^182 from 10 states.
 Computing post^101 from 6 states.
 Computing post^190 from 10 states.
   2 states merged within 8 states.
 Computing post^102 from 6 states.
 Computing post^191 from 6 states.
 Computing post^183 from 6 states.
 Computing post^103 from 6 states.
   2 states merged within 8 states.
 Computing post^104 from 6 states.
 Computing post^192 from 10 states.
 Computing post^105 from 6 states.
 Computing post^193 from 6 states.
   2 states merged within 8 states.
 Computing post^106 from 6 states.
 Computing post^184 from 10 states.
 Computing post^107 from 6 states.
 Computing post^185 from 6 states.
 Computing post^194 from 10 states.
   2 states merged within 8 states.
 Computing post^108 from 6 states.
 Computing post^195 from 6 states.
 Computing post^109 from 6 states.
   2 states merged within 8 states.
 Computing post^110 from 6 states.
 Computing post^186 from 10 states.
 Computing post^111 from 6 states.
 Computing post^187 from 6 states.
 Computing post^196 from 10 states.
   2 states merged within 8 states.
 Computing post^112 from 6 states.
 Computing post^113 from 6 states.
 Computing post^197 from 6 states.
   2 states merged within 8 states.
 Computing post^114 from 6 states.
 Computing post^115 from 6 states.
 Computing post^188 from 10 states.
   2 states merged within 8 states.
 Computing post^116 from 6 states.
 Computing post^198 from 10 states.
 Computing post^189 from 6 states.
 Computing post^117 from 6 states.
 Computing post^199 from 6 states.
   2 states merged within 8 states.
 Computing post^118 from 6 states.
 Computing post^119 from 6 states.
 Computing post^190 from 10 states.
   2 states merged within 8 states.
 Computing post^120 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 97.063 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^191 from 6 states.
 Computing post^121 from 6 states.
 Computing post^2 from 8 states.
 Computing post^3 from 24 states.
 Computing post^4 from 35 states.
   2 states merged within 8 states.
 Computing post^122 from 6 states.
 Computing post^5 from 30 states.
 Computing post^6 from 23 states.
 Computing post^123 from 6 states.
 Computing post^192 from 10 states.
   3 states merged within 20 states.
 Computing post^7 from 17 states.
   1 state merged within 9 states.
 Computing post^8 from 8 states.
 Computing post^9 from 6 states.
 Computing post^10 from 10 states.
   2 states merged within 8 states.
 Computing post^11 from 6 states.
 Computing post^124 from 6 states.
 Computing post^12 from 10 states.
 Computing post^13 from 6 states.
 Computing post^14 from 10 states.
 Computing post^193 from 6 states.
 Computing post^15 from 6 states.
 Computing post^125 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.
   2 states merged within 8 states.
 Computing post^20 from 10 states.
 Computing post^126 from 6 states.
 Computing post^21 from 6 states.
 Computing post^22 from 10 states.
 Computing post^23 from 6 states.
 Computing post^127 from 6 states.
 Computing post^24 from 10 states.
 Computing post^25 from 6 states.
 Computing post^194 from 10 states.
 Computing post^26 from 10 states.
 Computing post^27 from 6 states.
   2 states merged within 8 states.
 Computing post^128 from 6 states.
 Computing post^28 from 10 states.
 Computing post^29 from 6 states.
 Computing post^129 from 6 states.
 Computing post^195 from 6 states.
 Computing post^30 from 10 states.
 Computing post^31 from 6 states.
 Computing post^32 from 10 states.
   2 states merged within 8 states.
 Computing post^130 from 6 states.
 Computing post^33 from 6 states.
 Computing post^34 from 10 states.
 Computing post^35 from 6 states.
 Computing post^131 from 6 states.
 Computing post^36 from 10 states.
 Computing post^37 from 6 states.
 Computing post^196 from 10 states.
   2 states merged within 8 states.
 Computing post^132 from 6 states.
 Computing post^38 from 10 states.
 Computing post^39 from 6 states.
 Computing post^133 from 6 states.
 Computing post^40 from 10 states.
 Computing post^41 from 6 states.
 Computing post^197 from 6 states.
 Computing post^42 from 10 states.
   2 states merged within 8 states.
 Computing post^134 from 6 states.
 Computing post^43 from 6 states.
 Computing post^44 from 10 states.
 Computing post^135 from 6 states.
 Computing post^45 from 6 states.
   2 states merged within 8 states.
 Computing post^136 from 6 states.
 Computing post^198 from 10 states.
 Computing post^46 from 10 states.
 Computing post^47 from 6 states.
 Computing post^137 from 6 states.
 Computing post^48 from 10 states.
 Computing post^199 from 6 states.
 Computing post^49 from 6 states.
   2 states merged within 8 states.
 Computing post^138 from 6 states.
 Computing post^50 from 10 states.
 Computing post^51 from 6 states.
 Computing post^139 from 6 states.
 Computing post^52 from 10 states.
 Computing post^53 from 6 states.
   2 states merged within 8 states.
 Computing post^140 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 104.951 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^54 from 10 states.
 Computing post^141 from 6 states.
 Computing post^55 from 6 states.
 Computing post^2 from 7 states.
 Computing post^3 from 18 states.
 Computing post^56 from 10 states.
   2 states merged within 8 states.
 Computing post^142 from 6 states.
 Computing post^4 from 23 states.
 Computing post^57 from 6 states.
 Computing post^5 from 20 states.
 Computing post^6 from 20 states.
 Computing post^143 from 6 states.
 Computing post^58 from 10 states.
   3 states merged within 20 states.
 Computing post^7 from 17 states.
   3 states merged within 11 states.
 Computing post^8 from 8 states.
 Computing post^59 from 6 states.
 Computing post^9 from 6 states.
 Computing post^10 from 10 states.
 Computing post^11 from 6 states.
 Computing post^12 from 10 states.
 Computing post^13 from 6 states.
   2 states merged within 8 states.
 Computing post^144 from 6 states.
 Computing post^14 from 10 states.
 Computing post^60 from 10 states.
 Computing post^15 from 6 states.
 Computing post^16 from 10 states.
 Computing post^61 from 6 states.
 Computing post^17 from 6 states.
 Computing post^18 from 10 states.
 Computing post^145 from 6 states.
 Computing post^19 from 6 states.
 Computing post^20 from 10 states.
 Computing post^62 from 10 states.
 Computing post^21 from 6 states.
 Computing post^22 from 10 states.
 Computing post^63 from 6 states.
 Computing post^23 from 6 states.
   2 states merged within 8 states.
 Computing post^146 from 6 states.
 Computing post^24 from 10 states.
 Computing post^25 from 6 states.
 Computing post^64 from 10 states.
 Computing post^26 from 10 states.
 Computing post^147 from 6 states.
 Computing post^27 from 6 states.
 Computing post^65 from 6 states.
 Computing post^28 from 10 states.
 Computing post^29 from 6 states.
 Computing post^30 from 10 states.
 Computing post^66 from 10 states.
   2 states merged within 8 states.
 Computing post^148 from 6 states.
 Computing post^31 from 6 states.
 Computing post^67 from 6 states.
 Computing post^32 from 10 states.
 Computing post^33 from 6 states.
 Computing post^149 from 6 states.
 Computing post^34 from 10 states.
 Computing post^68 from 10 states.
 Computing post^35 from 6 states.
 Computing post^69 from 6 states.
   2 states merged within 8 states.
 Computing post^150 from 6 states.
 Computing post^36 from 10 states.
 Computing post^37 from 6 states.
 Computing post^70 from 10 states.
 Computing post^38 from 10 states.
 Computing post^151 from 6 states.
 Computing post^39 from 6 states.
 Computing post^71 from 6 states.
 Computing post^40 from 10 states.
 Computing post^41 from 6 states.
 Computing post^72 from 10 states.
   2 states merged within 8 states.
 Computing post^152 from 6 states.
 Computing post^42 from 10 states.
 Computing post^73 from 6 states.
 Computing post^43 from 6 states.
 Computing post^153 from 6 states.
 Computing post^44 from 10 states.
 Computing post^45 from 6 states.
 Computing post^74 from 10 states.
 Computing post^75 from 6 states.
 Computing post^46 from 10 states.
   2 states merged within 8 states.
 Computing post^154 from 6 states.
 Computing post^47 from 6 states.
 Computing post^48 from 10 states.
 Computing post^76 from 10 states.
 Computing post^155 from 6 states.
 Computing post^49 from 6 states.
 Computing post^77 from 6 states.
 Computing post^50 from 10 states.
 Computing post^51 from 6 states.
   2 states merged within 8 states.
 Computing post^156 from 6 states.
 Computing post^78 from 10 states.
 Computing post^52 from 10 states.
 Computing post^79 from 6 states.
 Computing post^53 from 6 states.
 Computing post^157 from 6 states.
 Computing post^54 from 10 states.
 Computing post^80 from 10 states.
 Computing post^55 from 6 states.
   2 states merged within 8 states.
 Computing post^158 from 6 states.
 Computing post^81 from 6 states.
 Computing post^56 from 10 states.
 Computing post^57 from 6 states.
 Computing post^159 from 6 states.
 Computing post^58 from 10 states.
 Computing post^82 from 10 states.
   2 states merged within 8 states.
 Computing post^160 from 6 states.
 Computing post^59 from 6 states.
 Computing post^83 from 6 states.
 Computing post^60 from 10 states.
 Computing post^161 from 6 states.
 Computing post^61 from 6 states.
 Computing post^84 from 10 states.
 Computing post^62 from 10 states.
 Computing post^85 from 6 states.
   2 states merged within 8 states.
 Computing post^162 from 6 states.
 Computing post^63 from 6 states.
 Computing post^86 from 10 states.
 Computing post^64 from 10 states.
 Computing post^163 from 6 states.
 Computing post^65 from 6 states.
 Computing post^87 from 6 states.
 Computing post^66 from 10 states.
 Computing post^67 from 6 states.
 Computing post^88 from 10 states.
   2 states merged within 8 states.
 Computing post^164 from 6 states.
 Computing post^89 from 6 states.
 Computing post^68 from 10 states.
 Computing post^165 from 6 states.
 Computing post^69 from 6 states.
 Computing post^90 from 10 states.
 Computing post^70 from 10 states.
 Computing post^91 from 6 states.
   2 states merged within 8 states.
 Computing post^166 from 6 states.
 Computing post^71 from 6 states.
 Computing post^167 from 6 states.
 Computing post^92 from 10 states.
 Computing post^72 from 10 states.
 Computing post^73 from 6 states.
 Computing post^93 from 6 states.
   2 states merged within 8 states.
 Computing post^168 from 6 states.
 Computing post^74 from 10 states.
 Computing post^94 from 10 states.
 Computing post^75 from 6 states.
 Computing post^169 from 6 states.
 Computing post^95 from 6 states.
 Computing post^76 from 10 states.
 Computing post^77 from 6 states.
   2 states merged within 8 states.
 Computing post^170 from 6 states.
 Computing post^96 from 10 states.
 Computing post^97 from 6 states.
 Computing post^78 from 10 states.
 Computing post^171 from 6 states.
 Computing post^79 from 6 states.
 Computing post^98 from 10 states.
   2 states merged within 8 states.
 Computing post^172 from 6 states.
 Computing post^80 from 10 states.
 Computing post^99 from 6 states.
 Computing post^81 from 6 states.
 Computing post^173 from 6 states.
 Computing post^82 from 10 states.
 Computing post^83 from 6 states.
 Computing post^100 from 10 states.
   2 states merged within 8 states.
 Computing post^174 from 6 states.
 Computing post^101 from 6 states.
 Computing post^84 from 10 states.
 Computing post^175 from 6 states.
 Computing post^85 from 6 states.
 Computing post^102 from 10 states.
 Computing post^86 from 10 states.
   2 states merged within 8 states.
 Computing post^176 from 6 states.
 Computing post^87 from 6 states.
 Computing post^103 from 6 states.
 Computing post^177 from 6 states.
 Computing post^88 from 10 states.
 Computing post^104 from 10 states.
 Computing post^89 from 6 states.
 Computing post^105 from 6 states.
   2 states merged within 8 states.
 Computing post^178 from 6 states.
 Computing post^90 from 10 states.
 Computing post^91 from 6 states.
 Computing post^106 from 10 states.
 Computing post^179 from 6 states.
 Computing post^107 from 6 states.
 Computing post^92 from 10 states.
   2 states merged within 8 states.
 Computing post^180 from 6 states.
 Computing post^93 from 6 states.
 Computing post^108 from 10 states.
 Computing post^181 from 6 states.
 Computing post^94 from 10 states.
 Computing post^109 from 6 states.
 Computing post^95 from 6 states.
   2 states merged within 8 states.
 Computing post^182 from 6 states.
 Computing post^110 from 10 states.
 Computing post^96 from 10 states.
 Computing post^97 from 6 states.
 Computing post^111 from 6 states.
 Computing post^183 from 6 states.
 Computing post^98 from 10 states.
   2 states merged within 8 states.
 Computing post^184 from 6 states.
 Computing post^112 from 10 states.
 Computing post^99 from 6 states.
 Computing post^113 from 6 states.
 Computing post^185 from 6 states.
 Computing post^100 from 10 states.
 Computing post^101 from 6 states.
 Computing post^114 from 10 states.
   2 states merged within 8 states.
 Computing post^186 from 6 states.
 Computing post^115 from 6 states.
 Computing post^102 from 10 states.
 Computing post^187 from 6 states.
 Computing post^103 from 6 states.
 Computing post^116 from 10 states.
   2 states merged within 8 states.
 Computing post^188 from 6 states.
 Computing post^117 from 6 states.
 Computing post^104 from 10 states.
 Computing post^105 from 6 states.
 Computing post^189 from 6 states.
 Computing post^118 from 10 states.
 Computing post^119 from 6 states.
 Computing post^106 from 10 states.
   2 states merged within 8 states.
 Computing post^190 from 6 states.
 Computing post^107 from 6 states.
 Computing post^120 from 10 states.
 Computing post^191 from 6 states.
 Computing post^121 from 6 states.
 Computing post^108 from 10 states.
   2 states merged within 8 states.
 Computing post^192 from 6 states.
 Computing post^109 from 6 states.
 Computing post^122 from 10 states.
 Computing post^193 from 6 states.
 Computing post^123 from 6 states.
 Computing post^110 from 10 states.
 Computing post^111 from 6 states.
   2 states merged within 8 states.
 Computing post^194 from 6 states.
 Computing post^124 from 10 states.
 Computing post^112 from 10 states.
 Computing post^125 from 6 states.
 Computing post^195 from 6 states.
 Computing post^113 from 6 states.
   2 states merged within 8 states.
 Computing post^196 from 6 states.
 Computing post^114 from 10 states.
 Computing post^126 from 10 states.
 Computing post^115 from 6 states.
 Computing post^197 from 6 states.
 Computing post^127 from 6 states.
 Computing post^116 from 10 states.
   2 states merged within 8 states.
 Computing post^198 from 6 states.
 Computing post^117 from 6 states.
 Computing post^128 from 10 states.
 Computing post^199 from 6 states.
 Computing post^129 from 6 states.
 Computing post^118 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 135.851 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^119 from 6 states.
 Computing post^2 from 8 states.
 Computing post^3 from 24 states.
 Computing post^130 from 10 states.
 Computing post^4 from 35 states.
 Computing post^5 from 29 states.
 Computing post^131 from 6 states.
 Computing post^120 from 10 states.
 Computing post^6 from 18 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^121 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.
   1 state merged within 7 states.
 Computing post^12 from 6 states.
 Computing post^13 from 6 states.
   2 states merged within 8 states.
 Computing post^14 from 6 states.
 Computing post^15 from 6 states.
   2 states merged within 8 states.
 Computing post^132 from 10 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^19 from 6 states.
 Computing post^122 from 10 states.
   2 states merged within 8 states.
 Computing post^20 from 6 states.
 Computing post^133 from 6 states.
 Computing post^21 from 6 states.
   2 states merged within 8 states.
 Computing post^22 from 6 states.
 Computing post^123 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.
   2 states merged within 8 states.
 Computing post^26 from 6 states.
 Computing post^27 from 6 states.
   2 states merged within 8 states.
 Computing post^28 from 6 states.
 Computing post^134 from 10 states.
 Computing post^29 from 6 states.
 Computing post^124 from 10 states.
   2 states merged within 8 states.
 Computing post^30 from 6 states.
 Computing post^31 from 6 states.
 Computing post^135 from 6 states.
   2 states merged within 8 states.
 Computing post^32 from 6 states.
 Computing post^125 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.
   2 states merged within 8 states.
 Computing post^36 from 6 states.
 Computing post^37 from 6 states.
 Computing post^136 from 10 states.
 Computing post^126 from 10 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^127 from 6 states.
 Computing post^137 from 6 states.
 Computing post^41 from 6 states.
   2 states merged within 8 states.
 Computing post^42 from 6 states.
 Computing post^43 from 6 states.
   2 states merged within 8 states.
 Computing post^44 from 6 states.
 Computing post^128 from 10 states.
 Computing post^45 from 6 states.
 Computing post^138 from 10 states.
   2 states merged within 8 states.
 Computing post^46 from 6 states.
 Computing post^129 from 6 states.
 Computing post^47 from 6 states.
 Computing post^139 from 6 states.
   2 states merged within 8 states.
 Computing post^48 from 6 states.
 Computing post^49 from 6 states.
   2 states merged within 8 states.
 Computing post^50 from 6 states.
 Computing post^130 from 10 states.
 Computing post^51 from 6 states.
   2 states merged within 8 states.
 Computing post^52 from 6 states.
 Computing post^140 from 10 states.
 Computing post^131 from 6 states.
 Computing post^53 from 6 states.
   2 states merged within 8 states.
 Computing post^54 from 6 states.
 Computing post^141 from 6 states.
 Computing post^55 from 6 states.
   2 states merged within 8 states.
 Computing post^56 from 6 states.
 Computing post^132 from 10 states.
 Computing post^57 from 6 states.
 Computing post^133 from 6 states.
   2 states merged within 8 states.
 Computing post^58 from 6 states.
 Computing post^142 from 10 states.
 Computing post^59 from 6 states.
 Computing post^143 from 6 states.
   2 states merged within 8 states.
 Computing post^60 from 6 states.
 Computing post^134 from 10 states.
 Computing post^61 from 6 states.
   2 states merged within 8 states.
 Computing post^62 from 6 states.
 Computing post^135 from 6 states.
 Computing post^63 from 6 states.
 Computing post^144 from 10 states.
   2 states merged within 8 states.
 Computing post^64 from 6 states.
 Computing post^65 from 6 states.
 Computing post^145 from 6 states.
 Computing post^136 from 10 states.
   2 states merged within 8 states.
 Computing post^66 from 6 states.
 Computing post^67 from 6 states.
 Computing post^137 from 6 states.
   2 states merged within 8 states.
 Computing post^68 from 6 states.
 Computing post^69 from 6 states.
 Computing post^146 from 10 states.
   2 states merged within 8 states.
 Computing post^70 from 6 states.
 Computing post^138 from 10 states.
 Computing post^147 from 6 states.
 Computing post^71 from 6 states.
   2 states merged within 8 states.
 Computing post^139 from 6 states.
 Computing post^72 from 6 states.
 Computing post^73 from 6 states.
   2 states merged within 8 states.
 Computing post^74 from 6 states.
 Computing post^148 from 10 states.
 Computing post^75 from 6 states.
 Computing post^140 from 10 states.
 Computing post^149 from 6 states.
   2 states merged within 8 states.
 Computing post^76 from 6 states.
 Computing post^141 from 6 states.
 Computing post^77 from 6 states.
   2 states merged within 8 states.
 Computing post^78 from 6 states.
 Computing post^79 from 6 states.
 Computing post^150 from 10 states.
 Computing post^142 from 10 states.
   2 states merged within 8 states.
 Computing post^80 from 6 states.
 Computing post^151 from 6 states.
 Computing post^143 from 6 states.
 Computing post^81 from 6 states.
   2 states merged within 8 states.
 Computing post^82 from 6 states.
 Computing post^83 from 6 states.
 Computing post^152 from 10 states.
 Computing post^144 from 10 states.
   2 states merged within 8 states.
 Computing post^84 from 6 states.
 Computing post^153 from 6 states.
 Computing post^145 from 6 states.
 Computing post^85 from 6 states.
   2 states merged within 8 states.
 Computing post^86 from 6 states.
 Computing post^87 from 6 states.
 Computing post^146 from 10 states.
 Computing post^154 from 10 states.
   2 states merged within 8 states.
 Computing post^88 from 6 states.
 Computing post^147 from 6 states.
 Computing post^89 from 6 states.
 Computing post^155 from 6 states.
   2 states merged within 8 states.
 Computing post^90 from 6 states.
 Computing post^91 from 6 states.
 Computing post^148 from 10 states.
 Computing post^156 from 10 states.
   2 states merged within 8 states.
 Computing post^92 from 6 states.
 Computing post^149 from 6 states.
 Computing post^93 from 6 states.
 Computing post^157 from 6 states.
   2 states merged within 8 states.
 Computing post^94 from 6 states.
 Computing post^95 from 6 states.
 Computing post^150 from 10 states.
   2 states merged within 8 states.
 Computing post^96 from 6 states.
 Computing post^158 from 10 states.
 Computing post^151 from 6 states.
 Computing post^97 from 6 states.
 Computing post^159 from 6 states.
   2 states merged within 8 states.
 Computing post^98 from 6 states.
 Computing post^99 from 6 states.
 Computing post^152 from 10 states.
   2 states merged within 8 states.
 Computing post^100 from 6 states.
 Computing post^153 from 6 states.
 Computing post^160 from 10 states.
 Computing post^101 from 6 states.
 Computing post^161 from 6 states.
   2 states merged within 8 states.
 Computing post^102 from 6 states.
 Computing post^154 from 10 states.
 Computing post^103 from 6 states.
 Computing post^155 from 6 states.
   2 states merged within 8 states.
 Computing post^104 from 6 states.
 Computing post^162 from 10 states.
 Computing post^105 from 6 states.
 Computing post^163 from 6 states.
   2 states merged within 8 states.
 Computing post^106 from 6 states.
 Computing post^156 from 10 states.
 Computing post^107 from 6 states.
 Computing post^157 from 6 states.
   2 states merged within 8 states.
 Computing post^108 from 6 states.
 Computing post^164 from 10 states.
 Computing post^109 from 6 states.
 Computing post^165 from 6 states.
 Computing post^158 from 10 states.
   2 states merged within 8 states.
 Computing post^110 from 6 states.
 Computing post^159 from 6 states.
 Computing post^111 from 6 states.
 Computing post^166 from 10 states.
   2 states merged within 8 states.
 Computing post^112 from 6 states.
 Computing post^113 from 6 states.
 Computing post^167 from 6 states.
 Computing post^160 from 10 states.
   2 states merged within 8 states.
 Computing post^114 from 6 states.
 Computing post^161 from 6 states.
 Computing post^115 from 6 states.
   2 states merged within 8 states.
 Computing post^116 from 6 states.
 Computing post^168 from 10 states.
 Computing post^162 from 10 states.
 Computing post^117 from 6 states.
 Computing post^169 from 6 states.
 Computing post^163 from 6 states.
   2 states merged within 8 states.
 Computing post^118 from 6 states.
 Computing post^119 from 6 states.
   2 states merged within 8 states.
 Computing post^120 from 6 states.
 Computing post^164 from 10 states.
 Computing post^170 from 10 states.
 Computing post^121 from 6 states.
 Computing post^171 from 6 states.
 Computing post^165 from 6 states.
   2 states merged within 8 states.
 Computing post^122 from 6 states.
 Computing post^123 from 6 states.
 Computing post^166 from 10 states.
   2 states merged within 8 states.
 Computing post^124 from 6 states.
 Computing post^172 from 10 states.
 Computing post^167 from 6 states.
 Computing post^125 from 6 states.
 Computing post^173 from 6 states.
   2 states merged within 8 states.
 Computing post^126 from 6 states.
 Computing post^127 from 6 states.
 Computing post^168 from 10 states.
 Computing post^174 from 10 states.
   2 states merged within 8 states.
 Computing post^128 from 6 states.
 Computing post^169 from 6 states.
 Computing post^175 from 6 states.
 Computing post^129 from 6 states.
   2 states merged within 8 states.
 Computing post^130 from 6 states.
 Computing post^170 from 10 states.
 Computing post^131 from 6 states.
 Computing post^176 from 10 states.
 Computing post^171 from 6 states.
 Computing post^177 from 6 states.
   2 states merged within 8 states.
 Computing post^132 from 6 states.
 Computing post^133 from 6 states.
 Computing post^172 from 10 states.
   2 states merged within 8 states.
 Computing post^134 from 6 states.
 Computing post^173 from 6 states.
 Computing post^178 from 10 states.
 Computing post^135 from 6 states.
 Computing post^179 from 6 states.
   2 states merged within 8 states.
 Computing post^136 from 6 states.
 Computing post^174 from 10 states.
 Computing post^137 from 6 states.
 Computing post^175 from 6 states.
 Computing post^180 from 10 states.
   2 states merged within 8 states.
 Computing post^138 from 6 states.
 Computing post^181 from 6 states.
 Computing post^139 from 6 states.
 Computing post^176 from 10 states.
   2 states merged within 8 states.
 Computing post^140 from 6 states.
 Computing post^177 from 6 states.
 Computing post^182 from 10 states.
 Computing post^141 from 6 states.
 Computing post^183 from 6 states.
   2 states merged within 8 states.
 Computing post^142 from 6 states.
 Computing post^178 from 10 states.
 Computing post^143 from 6 states.
 Computing post^184 from 10 states.
 Computing post^179 from 6 states.
 Computing post^185 from 6 states.
   2 states merged within 8 states.
 Computing post^144 from 6 states.
 Computing post^145 from 6 states.
   2 states merged within 8 states.
 Computing post^146 from 6 states.
 Computing post^180 from 10 states.
 Computing post^186 from 10 states.
 Computing post^147 from 6 states.
 Computing post^181 from 6 states.
 Computing post^187 from 6 states.
   2 states merged within 8 states.
 Computing post^148 from 6 states.
 Computing post^149 from 6 states.
 Computing post^188 from 10 states.
 Computing post^182 from 10 states.
   2 states merged within 8 states.
 Computing post^150 from 6 states.
 Computing post^189 from 6 states.
 Computing post^151 from 6 states.
 Computing post^183 from 6 states.
   2 states merged within 8 states.
 Computing post^152 from 6 states.
 Computing post^190 from 10 states.
 Computing post^153 from 6 states.
 Computing post^184 from 10 states.
 Computing post^191 from 6 states.
   2 states merged within 8 states.
 Computing post^154 from 6 states.
 Computing post^185 from 6 states.
 Computing post^155 from 6 states.
 Computing post^192 from 10 states.
 Computing post^193 from 6 states.
 Computing post^186 from 10 states.
   2 states merged within 8 states.
 Computing post^156 from 6 states.
 Computing post^187 from 6 states.
 Computing post^157 from 6 states.
   2 states merged within 8 states.
 Computing post^194 from 10 states.
 Computing post^158 from 6 states.
 Computing post^159 from 6 states.
 Computing post^195 from 6 states.
 Computing post^188 from 10 states.
   2 states merged within 8 states.
 Computing post^160 from 6 states.
 Computing post^189 from 6 states.
 Computing post^161 from 6 states.
 Computing post^196 from 10 states.
 Computing post^197 from 6 states.
   2 states merged within 8 states.
 Computing post^162 from 6 states.
 Computing post^190 from 10 states.
 Computing post^191 from 6 states.
 Computing post^163 from 6 states.
 Computing post^198 from 10 states.
   2 states merged within 8 states.
 Computing post^164 from 6 states.
 Computing post^192 from 10 states.
 Computing post^199 from 6 states.
 Computing post^165 from 6 states.
 Computing post^193 from 6 states.
   2 states merged within 8 states.
 Computing post^166 from 6 states.
 Computing post^167 from 6 states.
 Computing post^194 from 10 states.
 
 State space exploration stopped at a depth of 200: 1682 states with 1950 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 183.112 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^168 from 6 states.
 Computing post^195 from 6 states.
 Computing post^3 from 18 states.
 Computing post^4 from 23 states.
 Computing post^5 from 19 states.
 Computing post^6 from 15 states.
 Computing post^169 from 6 states.
   3 states merged within 13 states.
 Computing post^7 from 10 states.
   1 state merged within 6 states.
 Computing post^8 from 5 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.
 Computing post^15 from 6 states.
   2 states merged within 8 states.
   2 states merged within 8 states.
 Computing post^170 from 6 states.
 Computing post^16 from 6 states.
 Computing post^196 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^20 from 6 states.
 Computing post^197 from 6 states.
 Computing post^21 from 6 states.
   2 states merged within 8 states.
 Computing post^22 from 6 states.
 Computing post^171 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.
   2 states merged within 8 states.
 Computing post^26 from 6 states.
 Computing post^27 from 6 states.
   2 states merged within 8 states.
 Computing post^28 from 6 states.
 Computing post^29 from 6 states.
   2 states merged within 8 states.
 Computing post^30 from 6 states.
 Computing post^31 from 6 states.
 Computing post^198 from 10 states.
   2 states merged within 8 states.
 Computing post^172 from 6 states.
   2 states merged within 8 states.
 Computing post^32 from 6 states.
 Computing post^33 from 6 states.
   2 states merged within 8 states.
 Computing post^34 from 6 states.
 Computing post^199 from 6 states.
 Computing post^35 from 6 states.
   2 states merged within 8 states.
 Computing post^36 from 6 states.
 Computing post^37 from 6 states.
   2 states merged within 8 states.
 Computing post^38 from 6 states.
 Computing post^173 from 6 states.
 Computing post^39 from 6 states.
   2 states merged within 8 states.
 Computing post^40 from 6 states.
 Computing post^41 from 6 states.
   2 states merged within 8 states.
 Computing post^42 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 187.605 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^43 from 6 states.
 Computing post^2 from 8 states.
   2 states merged within 8 states.
 Computing post^44 from 6 states.
   2 states merged within 8 states.
 Computing post^174 from 6 states.
 Computing post^45 from 6 states.
 Computing post^3 from 24 states.
   2 states merged within 8 states.
 Computing post^46 from 6 states.
 Computing post^4 from 35 states.
 Computing post^47 from 6 states.
   2 states merged within 8 states.
 Computing post^48 from 6 states.
 Computing post^5 from 30 states.
 Computing post^49 from 6 states.
 Computing post^175 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 188.972 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^3 from 18 states.
 Computing post^52 from 6 states.
 Computing post^4 from 23 states.
   2 states merged within 8 states.
 Computing post^176 from 6 states.
 Computing post^53 from 6 states.
 Computing post^5 from 20 states.
   2 states merged within 8 states.
 Computing post^54 from 6 states.
 Computing post^6 from 20 states.
 Computing post^55 from 6 states.
   3 states merged within 20 states.
 Computing post^7 from 17 states.
 Computing post^177 from 6 states.
   3 states merged within 9 states.
   2 states merged within 8 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 189.812 seconds.
 Computing post^56 from 6 states.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 8 states.
 Computing post^3 from 24 states.
 Computing post^57 from 6 states.
 Computing post^4 from 35 states.
   2 states merged within 8 states.
 Computing post^58 from 6 states.
 Computing post^5 from 29 states.
 Computing post^59 from 6 states.
   2 states merged within 8 states.
 Computing post^178 from 6 states.
 Computing post^6 from 18 states.
   1 state merged within 11 states.
   2 states merged within 8 states.
 Computing post^60 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 190.592 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 7 states.
 Computing post^61 from 6 states.
 Computing post^3 from 18 states.
 Computing post^4 from 23 states.
 Computing post^179 from 6 states.
   2 states merged within 8 states.
 Computing post^62 from 6 states.
 Computing post^5 from 19 states.
 Computing post^6 from 15 states.
 Computing post^63 from 6 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 191.275 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 8 states.
   2 states merged within 8 states.
 Computing post^64 from 6 states.
 Computing post^3 from 24 states.
 Computing post^65 from 6 states.
 Computing post^4 from 35 states.
 Computing post^5 from 30 states.
   2 states merged within 8 states.
 Computing post^66 from 6 states.
   2 states merged within 8 states.
 Computing post^6 from 23 states.
 Computing post^180 from 6 states.
 Computing post^67 from 6 states.
   3 states merged within 20 states.
 Computing post^7 from 17 states.
   1 state merged within 9 states.
 Computing post^8 from 8 states.
 Computing post^9 from 6 states.
   2 states merged within 8 states.
 Computing post^68 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^69 from 6 states.
 Computing post^14 from 10 states.
 Computing post^181 from 6 states.
 Computing post^15 from 6 states.
 Computing post^16 from 10 states.
 Computing post^17 from 6 states.
   2 states merged within 8 states.
 Computing post^70 from 6 states.
 Computing post^18 from 10 states.
 Computing post^19 from 6 states.
 Computing post^20 from 10 states.
 Computing post^71 from 6 states.
 Computing post^21 from 6 states.
 Computing post^22 from 10 states.
 Computing post^23 from 6 states.
   2 states merged within 8 states.
 Computing post^182 from 6 states.
   2 states merged within 8 states.
 Computing post^72 from 6 states.
 Computing post^24 from 10 states.
 Computing post^25 from 6 states.
 Computing post^26 from 10 states.
 Computing post^73 from 6 states.
 Computing post^27 from 6 states.
 Computing post^28 from 10 states.
   2 states merged within 8 states.
 Computing post^74 from 6 states.
 Computing post^29 from 6 states.
 Computing post^183 from 6 states.
 Computing post^30 from 10 states.
 Computing post^31 from 6 states.
 Computing post^75 from 6 states.
 Computing post^32 from 10 states.
 Computing post^33 from 6 states.
   2 states merged within 8 states.
 Computing post^76 from 6 states.
 Computing post^34 from 10 states.
 Computing post^35 from 6 states.
   2 states merged within 8 states.
 Computing post^184 from 6 states.
 Computing post^77 from 6 states.
 Computing post^36 from 10 states.
 Computing post^37 from 6 states.
   2 states merged within 8 states.
 Computing post^78 from 6 states.
 Computing post^38 from 10 states.
 Computing post^39 from 6 states.
 Computing post^79 from 6 states.
 Computing post^185 from 6 states.
 Computing post^40 from 10 states.
 Computing post^41 from 6 states.
   2 states merged within 8 states.
 Computing post^80 from 6 states.
 Computing post^42 from 10 states.
 Computing post^43 from 6 states.
 Computing post^81 from 6 states.
 Computing post^44 from 10 states.
   2 states merged within 8 states.
 Computing post^186 from 6 states.
 Computing post^45 from 6 states.
   2 states merged within 8 states.
 Computing post^82 from 6 states.
 Computing post^46 from 10 states.
 Computing post^83 from 6 states.
 Computing post^47 from 6 states.
 Computing post^187 from 6 states.
   2 states merged within 8 states.
 Computing post^84 from 6 states.
 Computing post^48 from 10 states.
 Computing post^49 from 6 states.
 Computing post^85 from 6 states.
 Computing post^50 from 10 states.
 Computing post^51 from 6 states.
   2 states merged within 8 states.
 Computing post^86 from 6 states.
   2 states merged within 8 states.
 Computing post^188 from 6 states.
 Computing post^52 from 10 states.
 Computing post^53 from 6 states.
 Computing post^87 from 6 states.
 Computing post^54 from 10 states.
   2 states merged within 8 states.
 Computing post^88 from 6 states.
 Computing post^55 from 6 states.
 Computing post^189 from 6 states.
 Computing post^89 from 6 states.
 Computing post^56 from 10 states.
 Computing post^57 from 6 states.
   2 states merged within 8 states.
 Computing post^90 from 6 states.
 Computing post^58 from 10 states.
   2 states merged within 8 states.
 Computing post^190 from 6 states.
 Computing post^59 from 6 states.
 Computing post^91 from 6 states.
 Computing post^60 from 10 states.
   2 states merged within 8 states.
 Computing post^92 from 6 states.
 Computing post^61 from 6 states.
 Computing post^191 from 6 states.
 Computing post^93 from 6 states.
 Computing post^62 from 10 states.
 Computing post^63 from 6 states.
   2 states merged within 8 states.
 Computing post^94 from 6 states.
 Computing post^64 from 10 states.
 Computing post^65 from 6 states.
 Computing post^95 from 6 states.
   2 states merged within 8 states.
 Computing post^192 from 6 states.
 Computing post^66 from 10 states.
   2 states merged within 8 states.
 Computing post^96 from 6 states.
 Computing post^67 from 6 states.
 Computing post^97 from 6 states.
 Computing post^68 from 10 states.
 Computing post^193 from 6 states.
 Computing post^69 from 6 states.
   2 states merged within 8 states.
 Computing post^98 from 6 states.
 Computing post^70 from 10 states.
 Computing post^99 from 6 states.
 Computing post^71 from 6 states.
   2 states merged within 8 states.
 Computing post^194 from 6 states.
   2 states merged within 8 states.
 Computing post^100 from 6 states.
 Computing post^72 from 10 states.
 Computing post^73 from 6 states.
 Computing post^101 from 6 states.
 Computing post^195 from 6 states.
 Computing post^74 from 10 states.
   2 states merged within 8 states.
 Computing post^102 from 6 states.
 Computing post^75 from 6 states.
 Computing post^103 from 6 states.
 Computing post^76 from 10 states.
 Computing post^77 from 6 states.
   2 states merged within 8 states.
 Computing post^196 from 6 states.
   2 states merged within 8 states.
 Computing post^104 from 6 states.
 Computing post^78 from 10 states.
 Computing post^105 from 6 states.
 Computing post^79 from 6 states.
 Computing post^197 from 6 states.
   2 states merged within 8 states.
 Computing post^106 from 6 states.
 Computing post^80 from 10 states.
 Computing post^81 from 6 states.
 Computing post^107 from 6 states.
 Computing post^82 from 10 states.
   2 states merged within 8 states.
 Computing post^198 from 6 states.
   2 states merged within 8 states.
 Computing post^108 from 6 states.
 Computing post^83 from 6 states.
 Computing post^109 from 6 states.
 Computing post^84 from 10 states.
 Computing post^199 from 6 states.
 Computing post^85 from 6 states.
   2 states merged within 8 states.
 Computing post^110 from 6 states.
 Computing post^86 from 10 states.
 Computing post^111 from 6 states.
 Computing post^87 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 203.538 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
   2 states merged within 8 states.
 Computing post^112 from 6 states.
 Computing post^2 from 7 states.
 Computing post^3 from 18 states.
 Computing post^4 from 23 states.
 Computing post^88 from 10 states.
 Computing post^113 from 6 states.
 Computing post^5 from 20 states.
 Computing post^89 from 6 states.
 Computing post^6 from 20 states.
   3 states merged within 20 states.
 Computing post^7 from 17 states.
   3 states merged within 11 states.
 Computing post^8 from 8 states.
 Computing post^9 from 6 states.
 Computing post^90 from 10 states.
 Computing post^10 from 10 states.
 Computing post^11 from 6 states.
   2 states merged within 8 states.
 Computing post^114 from 6 states.
 Computing post^12 from 10 states.
 Computing post^91 from 6 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^92 from 10 states.
 Computing post^19 from 6 states.
 Computing post^115 from 6 states.
 Computing post^20 from 10 states.
 Computing post^93 from 6 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^94 from 10 states.
   2 states merged within 8 states.
 Computing post^116 from 6 states.
 Computing post^26 from 10 states.
 Computing post^27 from 6 states.
 Computing post^95 from 6 states.
 Computing post^28 from 10 states.
 Computing post^29 from 6 states.
 Computing post^117 from 6 states.
 Computing post^30 from 10 states.
 Computing post^31 from 6 states.
 Computing post^96 from 10 states.
 Computing post^32 from 10 states.
   2 states merged within 8 states.
 Computing post^118 from 6 states.
 Computing post^33 from 6 states.
 Computing post^97 from 6 states.
 Computing post^34 from 10 states.
 Computing post^35 from 6 states.
 Computing post^119 from 6 states.
 Computing post^36 from 10 states.
 Computing post^37 from 6 states.
 Computing post^38 from 10 states.
 Computing post^98 from 10 states.
 Computing post^39 from 6 states.
   2 states merged within 8 states.
 Computing post^120 from 6 states.
 Computing post^40 from 10 states.
 Computing post^99 from 6 states.
 Computing post^41 from 6 states.
 Computing post^121 from 6 states.
 Computing post^42 from 10 states.
 Computing post^43 from 6 states.
 Computing post^44 from 10 states.
   2 states merged within 8 states.
 Computing post^122 from 6 states.
 Computing post^100 from 10 states.
 Computing post^45 from 6 states.
 Computing post^46 from 10 states.
 Computing post^123 from 6 states.
 Computing post^101 from 6 states.
 Computing post^47 from 6 states.
 Computing post^48 from 10 states.
 Computing post^49 from 6 states.
   2 states merged within 8 states.
 Computing post^124 from 6 states.
 Computing post^50 from 10 states.
 Computing post^102 from 10 states.
 Computing post^51 from 6 states.
 Computing post^125 from 6 states.
 Computing post^52 from 10 states.
 Computing post^103 from 6 states.
 Computing post^53 from 6 states.
   2 states merged within 8 states.
 Computing post^126 from 6 states.
 Computing post^54 from 10 states.
 Computing post^55 from 6 states.
 Computing post^127 from 6 states.
 Computing post^104 from 10 states.
 Computing post^56 from 10 states.
 Computing post^57 from 6 states.
 Computing post^105 from 6 states.
   2 states merged within 8 states.
 Computing post^128 from 6 states.
 Computing post^58 from 10 states.
 Computing post^106 from 10 states.
 Computing post^129 from 6 states.
 Computing post^59 from 6 states.
 Computing post^107 from 6 states.
 Computing post^60 from 10 states.
   2 states merged within 8 states.
 Computing post^130 from 6 states.
 Computing post^61 from 6 states.
 Computing post^108 from 10 states.
 Computing post^109 from 6 states.
 Computing post^131 from 6 states.
 Computing post^62 from 10 states.
 Computing post^63 from 6 states.
 Computing post^64 from 10 states.
   2 states merged within 8 states.
 Computing post^132 from 6 states.
 Computing post^110 from 10 states.
 Computing post^65 from 6 states.
 Computing post^111 from 6 states.
 Computing post^66 from 10 states.
 Computing post^133 from 6 states.
 Computing post^67 from 6 states.
 Computing post^112 from 10 states.
   2 states merged within 8 states.
 Computing post^134 from 6 states.
 Computing post^113 from 6 states.
 Computing post^68 from 10 states.
 Computing post^69 from 6 states.
 Computing post^135 from 6 states.
 Computing post^114 from 10 states.
 Computing post^115 from 6 states.
 Computing post^70 from 10 states.
   2 states merged within 8 states.
 Computing post^136 from 6 states.
 Computing post^71 from 6 states.
 Computing post^137 from 6 states.
 Computing post^116 from 10 states.
 Computing post^117 from 6 states.
 Computing post^72 from 10 states.
   2 states merged within 8 states.
 Computing post^138 from 6 states.
 Computing post^73 from 6 states.
 Computing post^118 from 10 states.
 Computing post^139 from 6 states.
 Computing post^74 from 10 states.
 Computing post^119 from 6 states.
 Computing post^75 from 6 states.
   2 states merged within 8 states.
 Computing post^140 from 6 states.
 Computing post^76 from 10 states.
 Computing post^120 from 10 states.
 Computing post^77 from 6 states.
 Computing post^141 from 6 states.
 Computing post^121 from 6 states.
 Computing post^78 from 10 states.
 Computing post^79 from 6 states.
   2 states merged within 8 states.
 Computing post^142 from 6 states.
 Computing post^122 from 10 states.
 Computing post^80 from 10 states.
 Computing post^81 from 6 states.
 Computing post^123 from 6 states.
 Computing post^143 from 6 states.
 Computing post^82 from 10 states.
 Computing post^83 from 6 states.
 Computing post^124 from 10 states.
   2 states merged within 8 states.
 Computing post^144 from 6 states.
 Computing post^84 from 10 states.
 Computing post^125 from 6 states.
 Computing post^145 from 6 states.
 Computing post^85 from 6 states.
 Computing post^86 from 10 states.
 Computing post^126 from 10 states.
   2 states merged within 8 states.
 Computing post^146 from 6 states.
 Computing post^87 from 6 states.
 Computing post^127 from 6 states.
 Computing post^147 from 6 states.
 Computing post^88 from 10 states.
 Computing post^89 from 6 states.
 Computing post^128 from 10 states.
   2 states merged within 8 states.
 Computing post^148 from 6 states.
 Computing post^90 from 10 states.
 Computing post^129 from 6 states.
 Computing post^91 from 6 states.
 Computing post^149 from 6 states.
 Computing post^92 from 10 states.
 Computing post^130 from 10 states.
 Computing post^93 from 6 states.
   2 states merged within 8 states.
 Computing post^150 from 6 states.
 Computing post^131 from 6 states.
 Computing post^94 from 10 states.
 Computing post^151 from 6 states.
 Computing post^95 from 6 states.
 Computing post^132 from 10 states.
 Computing post^96 from 10 states.
 Computing post^133 from 6 states.
   2 states merged within 8 states.
 Computing post^152 from 6 states.
 Computing post^97 from 6 states.
 Computing post^153 from 6 states.
 Computing post^98 from 10 states.
 Computing post^134 from 10 states.
 Computing post^99 from 6 states.
 Computing post^135 from 6 states.
   2 states merged within 8 states.
 Computing post^154 from 6 states.
 Computing post^100 from 10 states.
 Computing post^101 from 6 states.
 Computing post^155 from 6 states.
 Computing post^136 from 10 states.
 Computing post^102 from 10 states.
 Computing post^137 from 6 states.
   2 states merged within 8 states.
 Computing post^156 from 6 states.
 Computing post^103 from 6 states.
 Computing post^104 from 10 states.
 Computing post^138 from 10 states.
 Computing post^157 from 6 states.
 Computing post^105 from 6 states.
 Computing post^139 from 6 states.
   2 states merged within 8 states.
 Computing post^158 from 6 states.
 Computing post^106 from 10 states.
 Computing post^107 from 6 states.
 Computing post^140 from 10 states.
 Computing post^159 from 6 states.
 Computing post^141 from 6 states.
   2 states merged within 8 states.
 Computing post^160 from 6 states.
 Computing post^108 from 10 states.
 Computing post^142 from 10 states.
 Computing post^109 from 6 states.
 Computing post^161 from 6 states.
 Computing post^143 from 6 states.
 Computing post^110 from 10 states.
   2 states merged within 8 states.
 Computing post^162 from 6 states.
 Computing post^111 from 6 states.
 Computing post^144 from 10 states.
 Computing post^145 from 6 states.
 Computing post^163 from 6 states.
 Computing post^112 from 10 states.
 Computing post^113 from 6 states.
   2 states merged within 8 states.
 Computing post^164 from 6 states.
 Computing post^146 from 10 states.
 Computing post^114 from 10 states.
 Computing post^147 from 6 states.
 Computing post^165 from 6 states.
 Computing post^115 from 6 states.
 Computing post^116 from 10 states.
   2 states merged within 8 states.
 Computing post^166 from 6 states.
 Computing post^148 from 10 states.
 Computing post^117 from 6 states.
 Computing post^149 from 6 states.
 Computing post^167 from 6 states.
 Computing post^118 from 10 states.
 Computing post^119 from 6 states.
   2 states merged within 8 states.
 Computing post^168 from 6 states.
 Computing post^150 from 10 states.
 Computing post^120 from 10 states.
 Computing post^151 from 6 states.
 Computing post^169 from 6 states.
 Computing post^121 from 6 states.
 Computing post^152 from 10 states.
 Computing post^122 from 10 states.
   2 states merged within 8 states.
 Computing post^170 from 6 states.
 Computing post^123 from 6 states.
 Computing post^153 from 6 states.
 Computing post^171 from 6 states.
 Computing post^124 from 10 states.
 Computing post^154 from 10 states.
 Computing post^125 from 6 states.
   2 states merged within 8 states.
 Computing post^172 from 6 states.
 Computing post^155 from 6 states.
 Computing post^126 from 10 states.
 Computing post^173 from 6 states.
 Computing post^127 from 6 states.
 Computing post^156 from 10 states.
 Computing post^157 from 6 states.
   2 states merged within 8 states.
 Computing post^128 from 10 states.
 Computing post^174 from 6 states.
 Computing post^129 from 6 states.
 Computing post^175 from 6 states.
 Computing post^158 from 10 states.
 Computing post^130 from 10 states.
 Computing post^131 from 6 states.
 Computing post^159 from 6 states.
   2 states merged within 8 states.
 Computing post^176 from 6 states.
 Computing post^132 from 10 states.
 Computing post^177 from 6 states.
 Computing post^160 from 10 states.
 Computing post^133 from 6 states.
 Computing post^161 from 6 states.
   2 states merged within 8 states.
 Computing post^178 from 6 states.
 Computing post^134 from 10 states.
 Computing post^135 from 6 states.
 Computing post^162 from 10 states.
 Computing post^179 from 6 states.
 Computing post^163 from 6 states.
   2 states merged within 8 states.
 Computing post^180 from 6 states.
 Computing post^136 from 10 states.
 Computing post^164 from 10 states.
 Computing post^181 from 6 states.
 Computing post^137 from 6 states.
 Computing post^165 from 6 states.
   2 states merged within 8 states.
 Computing post^182 from 6 states.
 Computing post^138 from 10 states.
 Computing post^166 from 10 states.
 Computing post^139 from 6 states.
 Computing post^183 from 6 states.
 Computing post^167 from 6 states.
 Computing post^140 from 10 states.
   2 states merged within 8 states.
 Computing post^184 from 6 states.
 Computing post^141 from 6 states.
 Computing post^168 from 10 states.
 Computing post^185 from 6 states.
 Computing post^142 from 10 states.
 Computing post^169 from 6 states.
 Computing post^143 from 6 states.
   2 states merged within 8 states.
 Computing post^186 from 6 states.
 Computing post^170 from 10 states.
 Computing post^144 from 10 states.
 Computing post^187 from 6 states.
 Computing post^171 from 6 states.
 Computing post^145 from 6 states.
   2 states merged within 8 states.
 Computing post^188 from 6 states.
 Computing post^146 from 10 states.
 Computing post^172 from 10 states.
 Computing post^147 from 6 states.
 Computing post^173 from 6 states.
 Computing post^189 from 6 states.
 Computing post^148 from 10 states.
 Computing post^149 from 6 states.
 Computing post^174 from 10 states.
   2 states merged within 8 states.
 Computing post^190 from 6 states.
 Computing post^175 from 6 states.
 Computing post^150 from 10 states.
 Computing post^191 from 6 states.
 Computing post^151 from 6 states.
 Computing post^176 from 10 states.
   2 states merged within 8 states.
 Computing post^192 from 6 states.
 Computing post^177 from 6 states.
 Computing post^152 from 10 states.
 Computing post^153 from 6 states.
 Computing post^193 from 6 states.
 Computing post^178 from 10 states.
 Computing post^154 from 10 states.
   2 states merged within 8 states.
 Computing post^194 from 6 states.
 Computing post^179 from 6 states.
 Computing post^155 from 6 states.
 Computing post^195 from 6 states.
   2 states merged within 8 states.
 Computing post^196 from 6 states.
 Computing post^180 from 10 states.
 Computing post^156 from 10 states.
 Computing post^181 from 6 states.
 Computing post^197 from 6 states.
 Computing post^157 from 6 states.
 Computing post^182 from 10 states.
   2 states merged within 8 states.
 Computing post^198 from 6 states.
 Computing post^158 from 10 states.
 Computing post^183 from 6 states.
 Computing post^159 from 6 states.
 Computing post^199 from 6 states.
 Computing post^184 from 10 states.
 Computing post^160 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 245.158 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^161 from 6 states.
 Computing post^2 from 8 states.
 Computing post^185 from 6 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^162 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^9 from 6 states.
 Computing post^186 from 10 states.
 Computing post^10 from 6 states.
 Computing post^11 from 6 states.
 Computing post^12 from 6 states.
 Computing post^163 from 6 states.
 Computing post^13 from 6 states.
 Computing post^14 from 6 states.
 Computing post^15 from 6 states.
 Computing post^16 from 6 states.
 Computing post^187 from 6 states.
 Computing post^17 from 6 states.
 Computing post^18 from 6 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^23 from 6 states.
 Computing post^164 from 10 states.
 Computing post^24 from 6 states.
 Computing post^25 from 6 states.
 Computing post^26 from 6 states.
 Computing post^27 from 6 states.
 Computing post^165 from 6 states.
 Computing post^28 from 6 states.
 Computing post^188 from 10 states.
 Computing post^29 from 6 states.
 Computing post^30 from 6 states.
 Computing post^31 from 6 states.
 Computing post^32 from 6 states.
 Computing post^189 from 6 states.
 Computing post^33 from 6 states.
 Computing post^34 from 6 states.
 Computing post^35 from 6 states.
 Computing post^166 from 10 states.
 Computing post^36 from 6 states.
 Computing post^37 from 6 states.
 Computing post^38 from 6 states.
 Computing post^39 from 6 states.
 Computing post^167 from 6 states.
 Computing post^40 from 6 states.
 Computing post^41 from 6 states.
 Computing post^190 from 10 states.
 Computing post^42 from 6 states.
 Computing post^43 from 6 states.
 Computing post^44 from 6 states.
 Computing post^168 from 10 states.
 Computing post^191 from 6 states.
 Computing post^45 from 6 states.
 Computing post^169 from 6 states.
 Computing post^46 from 6 states.
 Computing post^47 from 6 states.
 Computing post^48 from 6 states.
 Computing post^49 from 6 states.
 Computing post^50 from 6 states.
 Computing post^192 from 10 states.
 Computing post^170 from 10 states.
 Computing post^51 from 6 states.
 Computing post^52 from 6 states.
 Computing post^193 from 6 states.
 Computing post^171 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^57 from 6 states.
 Computing post^172 from 10 states.
 Computing post^58 from 6 states.
 Computing post^59 from 6 states.
 Computing post^60 from 6 states.
 Computing post^194 from 10 states.
 Computing post^173 from 6 states.
 Computing post^61 from 6 states.
 Computing post^62 from 6 states.
 Computing post^63 from 6 states.
 Computing post^195 from 6 states.
 Computing post^64 from 6 states.
 Computing post^65 from 6 states.
 Computing post^174 from 10 states.
 Computing post^66 from 6 states.
 Computing post^67 from 6 states.
 Computing post^175 from 6 states.
 Computing post^68 from 6 states.
 Computing post^69 from 6 states.
 Computing post^70 from 6 states.
 Computing post^196 from 10 states.
 Computing post^71 from 6 states.
 Computing post^72 from 6 states.
 Computing post^176 from 10 states.
 Computing post^197 from 6 states.
 Computing post^73 from 6 states.
 Computing post^74 from 6 states.
 Computing post^177 from 6 states.
 Computing post^75 from 6 states.
 Computing post^76 from 6 states.
 Computing post^77 from 6 states.
 Computing post^198 from 10 states.
 Computing post^78 from 6 states.
 Computing post^178 from 10 states.
 Computing post^79 from 6 states.
 Computing post^199 from 6 states.
 Computing post^80 from 6 states.
 Computing post^81 from 6 states.
 Computing post^179 from 6 states.
 Computing post^82 from 6 states.
 Computing post^83 from 6 states.
 Computing post^84 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 255.282 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^85 from 6 states.
 Computing post^2 from 7 states.
 Computing post^86 from 6 states.
 Computing post^3 from 18 states.
 Computing post^4 from 23 states.
 Computing post^87 from 6 states.
 Computing post^180 from 10 states.
 Computing post^5 from 19 states.
 Computing post^88 from 6 states.
 Computing post^6 from 15 states.
   3 states merged within 13 states.
 Computing post^7 from 10 states.
   1 state merged within 6 states.
 Computing post^8 from 5 states.
 Computing post^9 from 6 states.
 Computing post^89 from 6 states.
   1 state merged within 7 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^181 from 6 states.
 Computing post^13 from 6 states.
 Computing post^90 from 6 states.
   2 states merged within 8 states.
 Computing post^14 from 6 states.
 Computing post^15 from 6 states.
   2 states merged within 8 states.
 Computing post^16 from 6 states.
 Computing post^17 from 6 states.
 Computing post^91 from 6 states.
   2 states merged within 8 states.
 Computing post^18 from 6 states.
 Computing post^19 from 6 states.
   2 states merged within 8 states.
 Computing post^20 from 6 states.
 Computing post^92 from 6 states.
 Computing post^21 from 6 states.
   2 states merged within 8 states.
 Computing post^22 from 6 states.
 Computing post^23 from 6 states.
 Computing post^93 from 6 states.
   2 states merged within 8 states.
 Computing post^24 from 6 states.
 Computing post^25 from 6 states.
 Computing post^182 from 10 states.
 Computing post^94 from 6 states.
   2 states merged within 8 states.
 Computing post^26 from 6 states.
 Computing post^27 from 6 states.
   2 states merged within 8 states.
 Computing post^28 from 6 states.
 Computing post^95 from 6 states.
 Computing post^29 from 6 states.
 Computing post^183 from 6 states.
   2 states merged within 8 states.
 Computing post^30 from 6 states.
 Computing post^96 from 6 states.
 Computing post^31 from 6 states.
   2 states merged within 8 states.
 Computing post^32 from 6 states.
 Computing post^33 from 6 states.
 Computing post^97 from 6 states.
   2 states merged within 8 states.
 Computing post^34 from 6 states.
 Computing post^35 from 6 states.
 Computing post^98 from 6 states.
   2 states merged within 8 states.
 Computing post^36 from 6 states.
 Computing post^37 from 6 states.
 Computing post^184 from 10 states.
 Computing post^99 from 6 states.
   2 states merged within 8 states.
 Computing post^38 from 6 states.
 Computing post^39 from 6 states.
 Computing post^100 from 6 states.
   2 states merged within 8 states.
 Computing post^185 from 6 states.
 Computing post^40 from 6 states.
 Computing post^41 from 6 states.
 Computing post^101 from 6 states.
   2 states merged within 8 states.
 Computing post^42 from 6 states.
 Computing post^43 from 6 states.
 Computing post^102 from 6 states.
   2 states merged within 8 states.
 Computing post^44 from 6 states.
 Computing post^103 from 6 states.
 Computing post^45 from 6 states.
   2 states merged within 8 states.
 Computing post^46 from 6 states.
 Computing post^186 from 10 states.
 Computing post^104 from 6 states.
 Computing post^47 from 6 states.
   2 states merged within 8 states.
 Computing post^48 from 6 states.
 Computing post^105 from 6 states.
 Computing post^49 from 6 states.
 Computing post^187 from 6 states.
   2 states merged within 8 states.
 Computing post^50 from 6 states.
 Computing post^106 from 6 states.
 Computing post^51 from 6 states.
   2 states merged within 8 states.
 Computing post^52 from 6 states.
 Computing post^107 from 6 states.
 Computing post^53 from 6 states.
 Computing post^108 from 6 states.
   2 states merged within 8 states.
 Computing post^54 from 6 states.
 Computing post^188 from 10 states.
 Computing post^55 from 6 states.
 Computing post^109 from 6 states.
   2 states merged within 8 states.
 Computing post^56 from 6 states.
 Computing post^57 from 6 states.
 Computing post^110 from 6 states.
 Computing post^189 from 6 states.
   2 states merged within 8 states.
 Computing post^58 from 6 states.
 Computing post^111 from 6 states.
 Computing post^59 from 6 states.
   2 states merged within 8 states.
 Computing post^60 from 6 states.
 Computing post^112 from 6 states.
 Computing post^61 from 6 states.
   2 states merged within 8 states.
 Computing post^62 from 6 states.
 Computing post^113 from 6 states.
 Computing post^190 from 10 states.
 Computing post^63 from 6 states.
   2 states merged within 8 states.
 Computing post^64 from 6 states.
 Computing post^114 from 6 states.
 Computing post^191 from 6 states.
 Computing post^65 from 6 states.
   2 states merged within 8 states.
 Computing post^66 from 6 states.
 Computing post^115 from 6 states.
 Computing post^67 from 6 states.
 Computing post^116 from 6 states.
   2 states merged within 8 states.
 Computing post^68 from 6 states.
 Computing post^69 from 6 states.
 Computing post^117 from 6 states.
 Computing post^192 from 10 states.
   2 states merged within 8 states.
 Computing post^70 from 6 states.
 Computing post^118 from 6 states.
 Computing post^71 from 6 states.
 Computing post^193 from 6 states.
   2 states merged within 8 states.
 Computing post^119 from 6 states.
 Computing post^72 from 6 states.
 Computing post^73 from 6 states.
 Computing post^120 from 6 states.
   2 states merged within 8 states.
 Computing post^74 from 6 states.
 Computing post^75 from 6 states.
 Computing post^121 from 6 states.
   2 states merged within 8 states.
 Computing post^194 from 10 states.
 Computing post^76 from 6 states.
 Computing post^122 from 6 states.
 Computing post^77 from 6 states.
 Computing post^195 from 6 states.
 Computing post^123 from 6 states.
   2 states merged within 8 states.
 Computing post^78 from 6 states.
 Computing post^79 from 6 states.
 Computing post^124 from 6 states.
   2 states merged within 8 states.
 Computing post^80 from 6 states.
 Computing post^125 from 6 states.
 Computing post^81 from 6 states.
 Computing post^196 from 10 states.
   2 states merged within 8 states.
 Computing post^126 from 6 states.
 Computing post^82 from 6 states.
 Computing post^83 from 6 states.
 Computing post^127 from 6 states.
 Computing post^197 from 6 states.
   2 states merged within 8 states.
 Computing post^84 from 6 states.
 Computing post^128 from 6 states.
 Computing post^85 from 6 states.
   2 states merged within 8 states.
 Computing post^86 from 6 states.
 Computing post^129 from 6 states.
 Computing post^87 from 6 states.
 Computing post^130 from 6 states.
 Computing post^198 from 10 states.
   2 states merged within 8 states.
 Computing post^88 from 6 states.
 Computing post^131 from 6 states.
 Computing post^89 from 6 states.
 Computing post^199 from 6 states.
 Computing post^132 from 6 states.
   2 states merged within 8 states.
 Computing post^90 from 6 states.
 Computing post^91 from 6 states.
 Computing post^133 from 6 states.
   2 states merged within 8 states.
 Computing post^92 from 6 states.
 Computing post^134 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 265.934 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^93 from 6 states.
 Computing post^2 from 8 states.
 Computing post^135 from 6 states.
   2 states merged within 8 states.
 Computing post^94 from 6 states.
 Computing post^3 from 24 states.
 Computing post^95 from 6 states.
 Computing post^4 from 35 states.
 Computing post^136 from 6 states.
 Computing post^5 from 30 states.
   2 states merged within 8 states.
 Computing post^96 from 6 states.
 Computing post^137 from 6 states.
 Computing post^6 from 23 states.
 Computing post^97 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 267.021 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^138 from 6 states.
 Computing post^2 from 7 states.
   2 states merged within 8 states.
 Computing post^98 from 6 states.
 Computing post^3 from 18 states.
 Computing post^4 from 23 states.
 Computing post^99 from 6 states.
 Computing post^139 from 6 states.
 Computing post^5 from 20 states.
 Computing post^6 from 20 states.
   2 states merged within 8 states.
 Computing post^100 from 6 states.
   3 states merged within 20 states.
 Computing post^7 from 17 states.
 Computing post^140 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 267.736 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 8 states.
 Computing post^101 from 6 states.
 Computing post^3 from 24 states.
 Computing post^141 from 6 states.
 Computing post^4 from 35 states.
   2 states merged within 8 states.
 Computing post^102 from 6 states.
 Computing post^5 from 29 states.
 Computing post^142 from 6 states.
 Computing post^103 from 6 states.
 Computing post^6 from 18 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 268.449 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^104 from 6 states.
 Computing post^143 from 6 states.
 Computing post^3 from 18 states.
 Computing post^4 from 23 states.
 Computing post^105 from 6 states.
 Computing post^5 from 19 states.
 Computing post^144 from 6 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.
   2 states merged within 8 states.
 Computing post^8 from 3 states.
 Computing post^106 from 6 states.
 
 Fixpoint reached at a depth of 9: 96 states with 264 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 269.012 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^145 from 6 states.
 Computing post^107 from 6 states.
 Computing post^4 from 35 states.
 Computing post^146 from 6 states.
 Computing post^5 from 30 states.
   2 states merged within 8 states.
 Computing post^108 from 6 states.
 Computing post^6 from 23 states.
 Computing post^109 from 6 states.
   3 states merged within 20 states.
 Computing post^7 from 17 states.
 Computing post^147 from 6 states.
   1 state merged within 9 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.
   2 states merged within 8 states.
 Computing post^110 from 6 states.
 Computing post^12 from 10 states.
 Computing post^148 from 6 states.
 Computing post^13 from 6 states.
 Computing post^14 from 10 states.
 Computing post^15 from 6 states.
 Computing post^111 from 6 states.
 Computing post^16 from 10 states.
 Computing post^17 from 6 states.
 Computing post^149 from 6 states.
 Computing post^18 from 10 states.
 Computing post^19 from 6 states.
   2 states merged within 8 states.
 Computing post^112 from 6 states.
 Computing post^20 from 10 states.
 Computing post^21 from 6 states.
 Computing post^150 from 6 states.
 Computing post^22 from 10 states.
 Computing post^113 from 6 states.
 Computing post^23 from 6 states.
 Computing post^24 from 10 states.
 Computing post^25 from 6 states.
 Computing post^151 from 6 states.
   2 states merged within 8 states.
 Computing post^114 from 6 states.
 Computing post^26 from 10 states.
 Computing post^27 from 6 states.
 Computing post^152 from 6 states.
 Computing post^28 from 10 states.
 Computing post^115 from 6 states.
 Computing post^29 from 6 states.
 Computing post^30 from 10 states.
   2 states merged within 8 states.
 Computing post^31 from 6 states.
 Computing post^116 from 6 states.
 Computing post^153 from 6 states.
 Computing post^32 from 10 states.
 Computing post^33 from 6 states.
 Computing post^117 from 6 states.
 Computing post^154 from 6 states.
 Computing post^34 from 10 states.
 Computing post^35 from 6 states.
   2 states merged within 8 states.
 Computing post^118 from 6 states.
 Computing post^36 from 10 states.
 Computing post^155 from 6 states.
 Computing post^37 from 6 states.
 Computing post^119 from 6 states.
 Computing post^38 from 10 states.
 Computing post^156 from 6 states.
 Computing post^39 from 6 states.
   2 states merged within 8 states.
 Computing post^120 from 6 states.
 Computing post^40 from 10 states.
 Computing post^41 from 6 states.
 Computing post^157 from 6 states.
 Computing post^121 from 6 states.
 Computing post^42 from 10 states.
 Computing post^43 from 6 states.
 Computing post^158 from 6 states.
   2 states merged within 8 states.
 Computing post^44 from 10 states.
 Computing post^122 from 6 states.
 Computing post^45 from 6 states.
 Computing post^159 from 6 states.
 Computing post^46 from 10 states.
 Computing post^123 from 6 states.
 Computing post^47 from 6 states.
 Computing post^160 from 6 states.
 Computing post^48 from 10 states.
 Computing post^49 from 6 states.
   2 states merged within 8 states.
 Computing post^124 from 6 states.
 Computing post^161 from 6 states.
 Computing post^50 from 10 states.
 Computing post^125 from 6 states.
 Computing post^51 from 6 states.
 Computing post^162 from 6 states.
 Computing post^52 from 10 states.
   2 states merged within 8 states.
 Computing post^126 from 6 states.
 Computing post^53 from 6 states.
 Computing post^163 from 6 states.
 Computing post^127 from 6 states.
 Computing post^54 from 10 states.
 Computing post^55 from 6 states.
 Computing post^164 from 6 states.
   2 states merged within 8 states.
 Computing post^128 from 6 states.
 Computing post^56 from 10 states.
 Computing post^129 from 6 states.
 Computing post^57 from 6 states.
 Computing post^165 from 6 states.
 Computing post^58 from 10 states.
   2 states merged within 8 states.
 Computing post^130 from 6 states.
 Computing post^59 from 6 states.
 Computing post^166 from 6 states.
 Computing post^131 from 6 states.
 Computing post^60 from 10 states.
 Computing post^167 from 6 states.
 Computing post^61 from 6 states.
   2 states merged within 8 states.
 Computing post^132 from 6 states.
 Computing post^62 from 10 states.
 Computing post^168 from 6 states.
 Computing post^133 from 6 states.
 Computing post^63 from 6 states.
   2 states merged within 8 states.
 Computing post^134 from 6 states.
 Computing post^169 from 6 states.
 Computing post^64 from 10 states.
 Computing post^135 from 6 states.
 Computing post^65 from 6 states.
 Computing post^170 from 6 states.
   2 states merged within 8 states.
 Computing post^136 from 6 states.
 Computing post^66 from 10 states.
 Computing post^67 from 6 states.
 Computing post^137 from 6 states.
 Computing post^171 from 6 states.
 Computing post^68 from 10 states.
   2 states merged within 8 states.
 Computing post^138 from 6 states.
 Computing post^69 from 6 states.
 Computing post^172 from 6 states.
 Computing post^139 from 6 states.
 Computing post^70 from 10 states.
 Computing post^173 from 6 states.
 Computing post^71 from 6 states.
   2 states merged within 8 states.
 Computing post^140 from 6 states.
 Computing post^174 from 6 states.
 Computing post^72 from 10 states.
 Computing post^141 from 6 states.
 Computing post^73 from 6 states.
 Computing post^175 from 6 states.
   2 states merged within 8 states.
 Computing post^142 from 6 states.
 Computing post^74 from 10 states.
 Computing post^75 from 6 states.
 Computing post^143 from 6 states.
 Computing post^176 from 6 states.
   2 states merged within 8 states.
 Computing post^144 from 6 states.
 Computing post^76 from 10 states.
 Computing post^77 from 6 states.
 Computing post^177 from 6 states.
 Computing post^145 from 6 states.
 Computing post^78 from 10 states.
 Computing post^178 from 6 states.
 Computing post^79 from 6 states.
 Computing post^179 from 6 states.
   2 states merged within 8 states.
 Computing post^146 from 6 states.
 Computing post^80 from 10 states.
 Computing post^147 from 6 states.
 Computing post^81 from 6 states.
 Computing post^180 from 6 states.
 Computing post^82 from 10 states.
   2 states merged within 8 states.
 Computing post^148 from 6 states.
 Computing post^83 from 6 states.
 Computing post^181 from 6 states.
 Computing post^149 from 6 states.
 Computing post^84 from 10 states.
 Computing post^182 from 6 states.
 Computing post^85 from 6 states.
   2 states merged within 8 states.
 Computing post^150 from 6 states.
 Computing post^183 from 6 states.
 Computing post^151 from 6 states.
 Computing post^86 from 10 states.
 Computing post^87 from 6 states.
   2 states merged within 8 states.
 Computing post^152 from 6 states.
 Computing post^184 from 6 states.
 Computing post^88 from 10 states.
 Computing post^153 from 6 states.
 Computing post^185 from 6 states.
 Computing post^89 from 6 states.
 Computing post^90 from 10 states.
   2 states merged within 8 states.
 Computing post^154 from 6 states.
 Computing post^186 from 6 states.
 Computing post^91 from 6 states.
 Computing post^155 from 6 states.
 Computing post^187 from 6 states.
 Computing post^92 from 10 states.
 Computing post^93 from 6 states.
   2 states merged within 8 states.
 Computing post^156 from 6 states.
 Computing post^188 from 6 states.
 Computing post^157 from 6 states.
 Computing post^94 from 10 states.
 Computing post^189 from 6 states.
 Computing post^95 from 6 states.
   2 states merged within 8 states.
 Computing post^158 from 6 states.
 Computing post^96 from 10 states.
 Computing post^190 from 6 states.
 Computing post^97 from 6 states.
 Computing post^159 from 6 states.
 Computing post^191 from 6 states.
   2 states merged within 8 states.
 Computing post^160 from 6 states.
 Computing post^98 from 10 states.
 Computing post^99 from 6 states.
 Computing post^192 from 6 states.
 Computing post^161 from 6 states.
   2 states merged within 8 states.
 Computing post^162 from 6 states.
 Computing post^193 from 6 states.
 Computing post^100 from 10 states.
 Computing post^101 from 6 states.
 Computing post^194 from 6 states.
 Computing post^163 from 6 states.
 Computing post^102 from 10 states.
 Computing post^195 from 6 states.
   2 states merged within 8 states.
 Computing post^164 from 6 states.
 Computing post^103 from 6 states.
 Computing post^196 from 6 states.
 Computing post^165 from 6 states.
 Computing post^104 from 10 states.
 Computing post^197 from 6 states.
 Computing post^105 from 6 states.
   2 states merged within 8 states.
 Computing post^166 from 6 states.
 Computing post^198 from 6 states.
 Computing post^167 from 6 states.
 Computing post^106 from 10 states.
 Computing post^107 from 6 states.
 Computing post^199 from 6 states.
   2 states merged within 8 states.
 Computing post^168 from 6 states.
 Computing post^108 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 289.897 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^169 from 6 states.
 Computing post^109 from 6 states.
 Computing post^2 from 7 states.
 Computing post^3 from 18 states.
 Computing post^4 from 23 states.
   2 states merged within 8 states.
 Computing post^170 from 6 states.
 Computing post^5 from 20 states.
 Computing post^6 from 20 states.
 Computing post^110 from 10 states.
   3 states merged within 20 states.
 Computing post^7 from 17 states.
 Computing post^171 from 6 states.
 Computing post^111 from 6 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^14 from 10 states.
 Computing post^15 from 6 states.
 Computing post^16 from 10 states.
 Computing post^112 from 10 states.
   2 states merged within 8 states.
 Computing post^172 from 6 states.
 Computing post^17 from 6 states.
 Computing post^18 from 10 states.
 Computing post^19 from 6 states.
 Computing post^113 from 6 states.
 Computing post^20 from 10 states.
 Computing post^21 from 6 states.
 Computing post^173 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^114 from 10 states.
 Computing post^26 from 10 states.
   2 states merged within 8 states.
 Computing post^174 from 6 states.
 Computing post^27 from 6 states.
 Computing post^115 from 6 states.
 Computing post^28 from 10 states.
 Computing post^29 from 6 states.
 Computing post^175 from 6 states.
 Computing post^30 from 10 states.
 Computing post^31 from 6 states.
 Computing post^32 from 10 states.
 Computing post^33 from 6 states.
 Computing post^34 from 10 states.
 Computing post^35 from 6 states.
 Computing post^116 from 10 states.
   2 states merged within 8 states.
 Computing post^176 from 6 states.
 Computing post^36 from 10 states.
 Computing post^37 from 6 states.
 Computing post^117 from 6 states.
 Computing post^38 from 10 states.
 Computing post^39 from 6 states.
 Computing post^177 from 6 states.
 Computing post^40 from 10 states.
 Computing post^41 from 6 states.
 Computing post^118 from 10 states.
   2 states merged within 8 states.
 Computing post^178 from 6 states.
 Computing post^119 from 6 states.
 Computing post^42 from 10 states.
 Computing post^43 from 6 states.
 Computing post^179 from 6 states.
 Computing post^120 from 10 states.
 Computing post^44 from 10 states.
 Computing post^45 from 6 states.
 Computing post^121 from 6 states.
 Computing post^46 from 10 states.
   2 states merged within 8 states.
 Computing post^180 from 6 states.
 Computing post^47 from 6 states.
 Computing post^122 from 10 states.
 Computing post^48 from 10 states.
 Computing post^123 from 6 states.
 Computing post^181 from 6 states.
 Computing post^49 from 6 states.
 Computing post^50 from 10 states.
 Computing post^51 from 6 states.
   2 states merged within 8 states.
 Computing post^182 from 6 states.
 Computing post^52 from 10 states.
 Computing post^124 from 10 states.
 Computing post^53 from 6 states.
 Computing post^125 from 6 states.
 Computing post^183 from 6 states.
 Computing post^54 from 10 states.
 Computing post^55 from 6 states.
 Computing post^56 from 10 states.
   2 states merged within 8 states.
 Computing post^184 from 6 states.
 Computing post^126 from 10 states.
 Computing post^57 from 6 states.
 Computing post^127 from 6 states.
 Computing post^185 from 6 states.
 Computing post^58 from 10 states.
 Computing post^59 from 6 states.
   2 states merged within 8 states.
 Computing post^186 from 6 states.
 Computing post^128 from 10 states.
 Computing post^60 from 10 states.
 Computing post^61 from 6 states.
 Computing post^129 from 6 states.
 Computing post^187 from 6 states.
 Computing post^62 from 10 states.
 Computing post^63 from 6 states.
   2 states merged within 8 states.
 Computing post^188 from 6 states.
 Computing post^130 from 10 states.
 Computing post^64 from 10 states.
 Computing post^131 from 6 states.
 Computing post^65 from 6 states.
 Computing post^189 from 6 states.
 Computing post^132 from 10 states.
 Computing post^66 from 10 states.
   2 states merged within 8 states.
 Computing post^190 from 6 states.
 Computing post^67 from 6 states.
 Computing post^133 from 6 states.
 Computing post^191 from 6 states.
 Computing post^68 from 10 states.
 Computing post^69 from 6 states.
 Computing post^134 from 10 states.
   2 states merged within 8 states.
 Computing post^192 from 6 states.
 Computing post^70 from 10 states.
 Computing post^135 from 6 states.
 Computing post^71 from 6 states.
 Computing post^193 from 6 states.
 Computing post^72 from 10 states.
 Computing post^136 from 10 states.
 Computing post^73 from 6 states.
   2 states merged within 8 states.
 Computing post^194 from 6 states.
 Computing post^137 from 6 states.
 Computing post^74 from 10 states.
 Computing post^75 from 6 states.
 Computing post^195 from 6 states.
 Computing post^138 from 10 states.
 Computing post^76 from 10 states.
   2 states merged within 8 states.
 Computing post^196 from 6 states.
 Computing post^77 from 6 states.
 Computing post^139 from 6 states.
 Computing post^197 from 6 states.
 Computing post^78 from 10 states.
 Computing post^79 from 6 states.
   2 states merged within 8 states.
 Computing post^198 from 6 states.
 Computing post^80 from 10 states.
 Computing post^81 from 6 states.
 Computing post^140 from 10 states.
 Computing post^199 from 6 states.
 Computing post^82 from 10 states.
 Computing post^141 from 6 states.
 Computing post^83 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 304.195 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 8 states.
 Computing post^84 from 10 states.
 Computing post^3 from 24 states.
 Computing post^142 from 10 states.
 Computing post^85 from 6 states.
 Computing post^4 from 35 states.
 Computing post^143 from 6 states.
 Computing post^5 from 29 states.
 Computing post^6 from 18 states.
 Computing post^86 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^9 from 6 states.
   1 state merged within 7 states.
 Computing post^10 from 6 states.
 Computing post^11 from 6 states.
 Computing post^87 from 6 states.
   1 state merged within 7 states.
 Computing post^12 from 6 states.
 Computing post^13 from 6 states.
   2 states merged within 8 states.
 Computing post^14 from 6 states.
 Computing post^15 from 6 states.
 Computing post^144 from 10 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^88 from 10 states.
 Computing post^19 from 6 states.
   2 states merged within 8 states.
 Computing post^20 from 6 states.
 Computing post^145 from 6 states.
 Computing post^21 from 6 states.
 Computing post^89 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^25 from 6 states.
   2 states merged within 8 states.
 Computing post^26 from 6 states.
 Computing post^90 from 10 states.
 Computing post^27 from 6 states.
   2 states merged within 8 states.
 Computing post^28 from 6 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^31 from 6 states.
   2 states merged within 8 states.
 Computing post^32 from 6 states.
 Computing post^146 from 10 states.
 Computing post^33 from 6 states.
 Computing post^92 from 10 states.
   2 states merged within 8 states.
 Computing post^34 from 6 states.
 Computing post^35 from 6 states.
 Computing post^93 from 6 states.
   2 states merged within 8 states.
 Computing post^36 from 6 states.
 Computing post^37 from 6 states.
 Computing post^147 from 6 states.
   2 states merged within 8 states.
 Computing post^38 from 6 states.
 Computing post^39 from 6 states.
 Computing post^94 from 10 states.
   2 states merged within 8 states.
 Computing post^40 from 6 states.
 Computing post^41 from 6 states.
 Computing post^95 from 6 states.
   2 states merged within 8 states.
 Computing post^42 from 6 states.
 Computing post^43 from 6 states.
   2 states merged within 8 states.
 Computing post^44 from 6 states.
 Computing post^45 from 6 states.
 Computing post^148 from 10 states.
 Computing post^96 from 10 states.
   2 states merged within 8 states.
 Computing post^46 from 6 states.
 Computing post^47 from 6 states.
 Computing post^149 from 6 states.
 Computing post^97 from 6 states.
   2 states merged within 8 states.
 Computing post^48 from 6 states.
 Computing post^49 from 6 states.
   2 states merged within 8 states.
 Computing post^50 from 6 states.
 Computing post^51 from 6 states.
 Computing post^98 from 10 states.
   2 states merged within 8 states.
 Computing post^52 from 6 states.
 Computing post^150 from 10 states.
 Computing post^99 from 6 states.
 Computing post^53 from 6 states.
   2 states merged within 8 states.
 Computing post^54 from 6 states.
 Computing post^151 from 6 states.
 Computing post^55 from 6 states.
 Computing post^100 from 10 states.
   2 states merged within 8 states.
 Computing post^56 from 6 states.
 Computing post^101 from 6 states.
 Computing post^57 from 6 states.
   2 states merged within 8 states.
 Computing post^58 from 6 states.
 Computing post^152 from 10 states.
 Computing post^59 from 6 states.
 Computing post^102 from 10 states.
   2 states merged within 8 states.
 Computing post^60 from 6 states.
 Computing post^103 from 6 states.
 Computing post^153 from 6 states.
 Computing post^61 from 6 states.
   2 states merged within 8 states.
 Computing post^62 from 6 states.
 Computing post^104 from 10 states.
 Computing post^63 from 6 states.
 Computing post^105 from 6 states.
   2 states merged within 8 states.
 Computing post^64 from 6 states.
 Computing post^154 from 10 states.
 Computing post^65 from 6 states.
   2 states merged within 8 states.
 Computing post^66 from 6 states.
 Computing post^155 from 6 states.
 Computing post^106 from 10 states.
 Computing post^67 from 6 states.
 Computing post^107 from 6 states.
   2 states merged within 8 states.
 Computing post^68 from 6 states.
 Computing post^69 from 6 states.
 Computing post^108 from 10 states.
   2 states merged within 8 states.
 Computing post^70 from 6 states.
 Computing post^156 from 10 states.
 Computing post^71 from 6 states.
 Computing post^109 from 6 states.
 Computing post^157 from 6 states.
   2 states merged within 8 states.
 Computing post^72 from 6 states.
 Computing post^73 from 6 states.
 Computing post^110 from 10 states.
   2 states merged within 8 states.
 Computing post^74 from 6 states.
 Computing post^111 from 6 states.
 Computing post^75 from 6 states.
 Computing post^158 from 10 states.
   2 states merged within 8 states.
 Computing post^76 from 6 states.
 Computing post^159 from 6 states.
 Computing post^112 from 10 states.
 Computing post^77 from 6 states.
 Computing post^113 from 6 states.
   2 states merged within 8 states.
 Computing post^78 from 6 states.
 Computing post^79 from 6 states.
   2 states merged within 8 states.
 Computing post^80 from 6 states.
 Computing post^114 from 10 states.
 Computing post^160 from 10 states.
 Computing post^81 from 6 states.
 Computing post^115 from 6 states.
 Computing post^161 from 6 states.
   2 states merged within 8 states.
 Computing post^82 from 6 states.
 Computing post^83 from 6 states.
 Computing post^116 from 10 states.
   2 states merged within 8 states.
 Computing post^84 from 6 states.
 Computing post^117 from 6 states.
 Computing post^162 from 10 states.
 Computing post^85 from 6 states.
   2 states merged within 8 states.
 Computing post^86 from 6 states.
 Computing post^163 from 6 states.
 Computing post^118 from 10 states.
 Computing post^87 from 6 states.
 Computing post^119 from 6 states.
   2 states merged within 8 states.
 Computing post^88 from 6 states.
 Computing post^89 from 6 states.
 Computing post^164 from 10 states.
 Computing post^120 from 10 states.
   2 states merged within 8 states.
 Computing post^90 from 6 states.
 Computing post^165 from 6 states.
 Computing post^121 from 6 states.
 Computing post^91 from 6 states.
   2 states merged within 8 states.
 Computing post^92 from 6 states.
 Computing post^93 from 6 states.
 Computing post^122 from 10 states.
 Computing post^166 from 10 states.
 Computing post^123 from 6 states.
   2 states merged within 8 states.
 Computing post^94 from 6 states.
 Computing post^95 from 6 states.
 Computing post^167 from 6 states.
   2 states merged within 8 states.
 Computing post^124 from 10 states.
 Computing post^96 from 6 states.
 Computing post^97 from 6 states.
 Computing post^125 from 6 states.
   2 states merged within 8 states.
 Computing post^98 from 6 states.
 Computing post^168 from 10 states.
 Computing post^99 from 6 states.
 Computing post^126 from 10 states.
 Computing post^169 from 6 states.
 Computing post^127 from 6 states.
   2 states merged within 8 states.
 Computing post^100 from 6 states.
 Computing post^101 from 6 states.
   2 states merged within 8 states.
 Computing post^128 from 10 states.
 Computing post^102 from 6 states.
 Computing post^170 from 10 states.
 Computing post^129 from 6 states.
 Computing post^103 from 6 states.
 Computing post^171 from 6 states.
   2 states merged within 8 states.
 Computing post^104 from 6 states.
 Computing post^130 from 10 states.
 Computing post^105 from 6 states.
 Computing post^131 from 6 states.
   2 states merged within 8 states.
 Computing post^106 from 6 states.
 Computing post^172 from 10 states.
 Computing post^107 from 6 states.
 Computing post^132 from 10 states.
 Computing post^173 from 6 states.
   2 states merged within 8 states.
 Computing post^108 from 6 states.
 Computing post^133 from 6 states.
 Computing post^109 from 6 states.
   2 states merged within 8 states.
 Computing post^110 from 6 states.
 Computing post^134 from 10 states.
 Computing post^174 from 10 states.
 Computing post^111 from 6 states.
 Computing post^135 from 6 states.
 Computing post^175 from 6 states.
   2 states merged within 8 states.
 Computing post^112 from 6 states.
 Computing post^113 from 6 states.
 Computing post^136 from 10 states.
   2 states merged within 8 states.
 Computing post^114 from 6 states.
 Computing post^115 from 6 states.
 Computing post^137 from 6 states.
 Computing post^176 from 10 states.
   2 states merged within 8 states.
 Computing post^116 from 6 states.
 Computing post^117 from 6 states.
 Computing post^177 from 6 states.
   2 states merged within 8 states.
 Computing post^118 from 6 states.
 Computing post^138 from 10 states.
 Computing post^119 from 6 states.
 Computing post^139 from 6 states.
   2 states merged within 8 states.
 Computing post^120 from 6 states.
 Computing post^178 from 10 states.
 Computing post^179 from 6 states.
 Computing post^121 from 6 states.
 Computing post^140 from 10 states.
   2 states merged within 8 states.
 Computing post^122 from 6 states.
 Computing post^141 from 6 states.
 Computing post^123 from 6 states.
 Computing post^180 from 10 states.
   2 states merged within 8 states.
 Computing post^124 from 6 states.
 Computing post^181 from 6 states.
 Computing post^142 from 10 states.
 Computing post^125 from 6 states.
 Computing post^143 from 6 states.
   2 states merged within 8 states.
 Computing post^126 from 6 states.
 Computing post^182 from 10 states.
 Computing post^127 from 6 states.
 Computing post^144 from 10 states.
 Computing post^145 from 6 states.
 Computing post^183 from 6 states.
   2 states merged within 8 states.
 Computing post^128 from 6 states.
 Computing post^129 from 6 states.
 Computing post^146 from 10 states.
   2 states merged within 8 states.
 Computing post^130 from 6 states.
 Computing post^184 from 10 states.
 Computing post^147 from 6 states.
 Computing post^131 from 6 states.
 Computing post^185 from 6 states.
   2 states merged within 8 states.
 Computing post^132 from 6 states.
 Computing post^148 from 10 states.
 Computing post^133 from 6 states.
 Computing post^149 from 6 states.
   2 states merged within 8 states.
 Computing post^186 from 10 states.
 Computing post^134 from 6 states.
 Computing post^135 from 6 states.
 Computing post^150 from 10 states.
 Computing post^187 from 6 states.
 Computing post^151 from 6 states.
   2 states merged within 8 states.
 Computing post^136 from 6 states.
 Computing post^137 from 6 states.
 Computing post^188 from 10 states.
 Computing post^152 from 10 states.
 Computing post^153 from 6 states.
 Computing post^189 from 6 states.
   2 states merged within 8 states.
 Computing post^138 from 6 states.
 Computing post^139 from 6 states.
 Computing post^154 from 10 states.
 Computing post^190 from 10 states.
   2 states merged within 8 states.
 Computing post^140 from 6 states.
 Computing post^155 from 6 states.
 Computing post^141 from 6 states.
 Computing post^191 from 6 states.
 Computing post^156 from 10 states.
   2 states merged within 8 states.
 Computing post^142 from 6 states.
 Computing post^157 from 6 states.
 Computing post^143 from 6 states.
 Computing post^192 from 10 states.
   2 states merged within 8 states.
 Computing post^144 from 6 states.
 Computing post^193 from 6 states.
 Computing post^158 from 10 states.
 Computing post^145 from 6 states.
 Computing post^159 from 6 states.
   2 states merged within 8 states.
 Computing post^146 from 6 states.
 Computing post^194 from 10 states.
 Computing post^147 from 6 states.
 Computing post^160 from 10 states.
 Computing post^195 from 6 states.
 Computing post^161 from 6 states.
   2 states merged within 8 states.
 Computing post^148 from 6 states.
 Computing post^149 from 6 states.
 Computing post^162 from 10 states.
 Computing post^196 from 10 states.
   2 states merged within 8 states.
 Computing post^150 from 6 states.
 Computing post^163 from 6 states.
 Computing post^151 from 6 states.
 Computing post^197 from 6 states.
   2 states merged within 8 states.
 Computing post^152 from 6 states.
 Computing post^164 from 10 states.
 Computing post^165 from 6 states.
 Computing post^153 from 6 states.
 Computing post^198 from 10 states.
   2 states merged within 8 states.
 Computing post^154 from 6 states.
 Computing post^199 from 6 states.
 Computing post^166 from 10 states.
 Computing post^155 from 6 states.
 Computing post^167 from 6 states.
   2 states merged within 8 states.
 Computing post^156 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 334.569 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^157 from 6 states.
 Computing post^168 from 10 states.
 Computing post^2 from 7 states.
 Computing post^3 from 18 states.
 Computing post^4 from 23 states.
 Computing post^169 from 6 states.
   2 states merged within 8 states.
 Computing post^158 from 6 states.
 Computing post^5 from 19 states.
 Computing post^6 from 15 states.
   3 states merged within 13 states.
 Computing post^7 from 10 states.
   1 state merged within 6 states.
 Computing post^8 from 5 states.
 Computing post^9 from 6 states.
   2 states merged within 8 states.
 Computing post^10 from 6 states.
 Computing post^159 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.
 Computing post^15 from 6 states.
   2 states merged within 8 states.
 Computing post^170 from 10 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.
   2 states merged within 8 states.
 Computing post^160 from 6 states.
 Computing post^19 from 6 states.
   2 states merged within 8 states.
 Computing post^20 from 6 states.
 Computing post^171 from 6 states.
 Computing post^21 from 6 states.
   2 states merged within 8 states.
 Computing post^22 from 6 states.
 Computing post^23 from 6 states.
 Computing post^161 from 6 states.
   2 states merged within 8 states.
 Computing post^24 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.
   2 states merged within 8 states.
 Computing post^28 from 6 states.
   2 states merged within 8 states.
 Computing post^162 from 6 states.
 Computing post^29 from 6 states.
 Computing post^172 from 10 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.
 Computing post^33 from 6 states.
 Computing post^173 from 6 states.
 Computing post^163 from 6 states.
   2 states merged within 8 states.
 Computing post^34 from 6 states.
 Computing post^35 from 6 states.
   2 states merged within 8 states.
 Computing post^36 from 6 states.
 Computing post^37 from 6 states.
   2 states merged within 8 states.
 Computing post^164 from 6 states.
   2 states merged within 8 states.
 Computing post^38 from 6 states.
 Computing post^39 from 6 states.
 Computing post^174 from 10 states.
   2 states merged within 8 states.
 Computing post^40 from 6 states.
 Computing post^165 from 6 states.
 Computing post^41 from 6 states.
   2 states merged within 8 states.
 Computing post^42 from 6 states.
 Computing post^175 from 6 states.
 Computing post^43 from 6 states.
   2 states merged within 8 states.
 Computing post^44 from 6 states.
   2 states merged within 8 states.
 Computing post^166 from 6 states.
 Computing post^45 from 6 states.
   2 states merged within 8 states.
 Computing post^46 from 6 states.
 Computing post^47 from 6 states.
 Computing post^167 from 6 states.
   2 states merged within 8 states.
 Computing post^48 from 6 states.
 Computing post^176 from 10 states.
 Computing post^49 from 6 states.
   2 states merged within 8 states.
 Computing post^50 from 6 states.
 Computing post^177 from 6 states.
   2 states merged within 8 states.
 Computing post^168 from 6 states.
 Computing post^51 from 6 states.
   2 states merged within 8 states.
 Computing post^52 from 6 states.
 Computing post^53 from 6 states.
 Computing post^169 from 6 states.
   2 states merged within 8 states.
 Computing post^54 from 6 states.
 Computing post^55 from 6 states.
 Computing post^178 from 10 states.
   2 states merged within 8 states.
 Computing post^170 from 6 states.
   2 states merged within 8 states.
 Computing post^56 from 6 states.
 Computing post^57 from 6 states.
 Computing post^179 from 6 states.
   2 states merged within 8 states.
 Computing post^58 from 6 states.
 Computing post^171 from 6 states.
 Computing post^59 from 6 states.
   2 states merged within 8 states.
 Computing post^60 from 6 states.
   2 states merged within 8 states.
 Computing post^172 from 6 states.
 Computing post^61 from 6 states.
 Computing post^180 from 10 states.
   2 states merged within 8 states.
 Computing post^62 from 6 states.
 Computing post^63 from 6 states.
 Computing post^181 from 6 states.
 Computing post^173 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.
 Computing post^174 from 6 states.
   2 states merged within 8 states.
 Computing post^66 from 6 states.
 Computing post^67 from 6 states.
 Computing post^182 from 10 states.
   2 states merged within 8 states.
 Computing post^68 from 6 states.
 Computing post^69 from 6 states.
 Computing post^183 from 6 states.
 Computing post^175 from 6 states.
   2 states merged within 8 states.
 Computing post^70 from 6 states.
 Computing post^71 from 6 states.
   2 states merged within 8 states.
 Computing post^72 from 6 states.
 Computing post^73 from 6 states.
   2 states merged within 8 states.
 Computing post^184 from 10 states.
 Computing post^176 from 6 states.
   2 states merged within 8 states.
 Computing post^74 from 6 states.
 Computing post^75 from 6 states.
 Computing post^185 from 6 states.
   2 states merged within 8 states.
 Computing post^76 from 6 states.
 Computing post^77 from 6 states.
 Computing post^177 from 6 states.
   2 states merged within 8 states.
 Computing post^78 from 6 states.
 Computing post^79 from 6 states.
 Computing post^186 from 10 states.
   2 states merged within 8 states.
 Computing post^178 from 6 states.
   2 states merged within 8 states.
 Computing post^80 from 6 states.
 Computing post^187 from 6 states.
 Computing post^81 from 6 states.
 Computing post^179 from 6 states.
   2 states merged within 8 states.
 Computing post^82 from 6 states.
 Computing post^83 from 6 states.
   2 states merged within 8 states.
 Computing post^180 from 6 states.
 Computing post^188 from 10 states.
   2 states merged within 8 states.
 Computing post^84 from 6 states.
 Computing post^85 from 6 states.
   2 states merged within 8 states.
 Computing post^86 from 6 states.
 Computing post^189 from 6 states.
 Computing post^181 from 6 states.
 Computing post^87 from 6 states.
   2 states merged within 8 states.
 Computing post^88 from 6 states.
 Computing post^89 from 6 states.
   2 states merged within 8 states.
 Computing post^182 from 6 states.
   2 states merged within 8 states.
 Computing post^90 from 6 states.
 Computing post^91 from 6 states.
 Computing post^183 from 6 states.
   2 states merged within 8 states.
 Computing post^92 from 6 states.
 Computing post^190 from 10 states.
 Computing post^93 from 6 states.
   2 states merged within 8 states.
 Computing post^94 from 6 states.
   2 states merged within 8 states.
 Computing post^184 from 6 states.
 Computing post^191 from 6 states.
 Computing post^95 from 6 states.
   2 states merged within 8 states.
 Computing post^96 from 6 states.
 Computing post^185 from 6 states.
 Computing post^97 from 6 states.
   2 states merged within 8 states.
 Computing post^98 from 6 states.
   2 states merged within 8 states.
 Computing post^186 from 6 states.
 Computing post^192 from 10 states.
 Computing post^99 from 6 states.
   2 states merged within 8 states.
 Computing post^100 from 6 states.
 Computing post^187 from 6 states.
 Computing post^193 from 6 states.
 Computing post^101 from 6 states.
   2 states merged within 8 states.
 Computing post^102 from 6 states.
   2 states merged within 8 states.
 Computing post^188 from 6 states.
 Computing post^103 from 6 states.
 Computing post^194 from 10 states.
 Computing post^189 from 6 states.
   2 states merged within 8 states.
 Computing post^104 from 6 states.
 Computing post^195 from 6 states.
 Computing post^105 from 6 states.
   2 states merged within 8 states.
 Computing post^190 from 6 states.
   2 states merged within 8 states.
 Computing post^106 from 6 states.
 Computing post^107 from 6 states.
 Computing post^191 from 6 states.
 Computing post^196 from 10 states.
   2 states merged within 8 states.
 Computing post^108 from 6 states.
 Computing post^109 from 6 states.
 Computing post^197 from 6 states.
   2 states merged within 8 states.
 Computing post^192 from 6 states.
   2 states merged within 8 states.
 Computing post^110 from 6 states.
 Computing post^111 from 6 states.
 Computing post^193 from 6 states.
   2 states merged within 8 states.
 Computing post^112 from 6 states.
 Computing post^198 from 10 states.
 Computing post^113 from 6 states.
   2 states merged within 8 states.
 Computing post^194 from 6 states.
 Computing post^199 from 6 states.
   2 states merged within 8 states.
 Computing post^114 from 6 states.
 Computing post^195 from 6 states.
 Computing post^115 from 6 states.
   2 states merged within 8 states.
 Computing post^116 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 352.248 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
   2 states merged within 8 states.
 Computing post^196 from 6 states.
 Computing post^117 from 6 states.
 Computing post^2 from 8 states.
 Computing post^3 from 24 states.
   2 states merged within 8 states.
 Computing post^118 from 6 states.
 Computing post^197 from 6 states.
 Computing post^4 from 35 states.
 Computing post^119 from 6 states.
 Computing post^5 from 30 states.
   2 states merged within 8 states.
 Computing post^120 from 6 states.
 Computing post^6 from 23 states.
   2 states merged within 8 states.
 Computing post^198 from 6 states.
   3 states merged within 20 states.
 Computing post^7 from 17 states.
 Computing post^121 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 353.411 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.
   2 states merged within 8 states.
 Computing post^122 from 6 states.
 Computing post^199 from 6 states.
 Computing post^5 from 20 states.
 Computing post^123 from 6 states.
 Computing post^6 from 20 states.
   3 states merged within 20 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 354.101 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
   2 states merged within 8 states.
 Computing post^2 from 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 354.137 seconds.
   2 states merged within 8 states.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^124 from 6 states.
 Computing post^3 from 24 states.
 Computing post^2 from 7 states.
 Computing post^4 from 35 states.
 Computing post^125 from 6 states.
 Computing post^3 from 18 states.
 Computing post^4 from 23 states.
 Computing post^5 from 29 states.
 Computing post^6 from 18 states.
 Computing post^5 from 19 states.
   2 states merged within 8 states.
 Computing post^126 from 6 states.
   1 state merged within 11 states.
 Computing post^7 from 10 states.
 Computing post^6 from 15 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 354.835 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^2 from 8 states.
   3 states merged within 13 states.
 Computing post^7 from 10 states.
 Computing post^3 from 24 states.
   1 state merged within 4 states.
 Computing post^8 from 3 states.
 Computing post^127 from 6 states.
 
 Fixpoint reached at a depth of 9: 96 states with 264 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 354.953 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 35 states.
 Computing post^4 from 23 states.
   2 states merged within 8 states.
 Computing post^5 from 20 states.
 Computing post^128 from 6 states.
 Computing post^5 from 30 states.
 Computing post^6 from 23 states.
 Computing post^6 from 20 states.
   3 states merged within 20 states.
   3 states merged within 20 states.
 Computing post^129 from 6 states.
 Computing post^7 from 17 states.
 Computing post^7 from 17 states.
   3 states merged within 12 states.
   1 state merged within 10 states.
 Computing post^8 from 9 states.
 Computing post^8 from 9 states.
 Computing post^9 from 9 states.
 Computing post^9 from 9 states.
 Computing post^10 from 15 states.
 Computing post^10 from 15 states.
 Computing post^11 from 9 states.
   2 states merged within 8 states.
 Computing post^11 from 9 states.
 Computing post^130 from 6 states.
 Computing post^12 from 15 states.
 Computing post^12 from 15 states.
 Computing post^13 from 9 states.
 Computing post^13 from 9 states.
 Computing post^131 from 6 states.
 Computing post^14 from 15 states.
 Computing post^14 from 15 states.
 Computing post^15 from 9 states.
 Computing post^15 from 9 states.
   2 states merged within 8 states.
 Computing post^16 from 15 states.
 Computing post^132 from 6 states.
 Computing post^16 from 15 states.
 Computing post^17 from 9 states.
 Computing post^17 from 9 states.
 Computing post^18 from 15 states.
 Computing post^133 from 6 states.
 Computing post^18 from 15 states.
 Computing post^19 from 9 states.
 Computing post^19 from 9 states.
 Computing post^20 from 15 states.
 Computing post^20 from 15 states.
   2 states merged within 8 states.
 Computing post^134 from 6 states.
 Computing post^21 from 9 states.
 Computing post^21 from 9 states.
 Computing post^22 from 15 states.
 Computing post^135 from 6 states.
 Computing post^22 from 15 states.
 Computing post^23 from 9 states.
 Computing post^23 from 9 states.
   2 states merged within 8 states.
 Computing post^136 from 6 states.
 Computing post^24 from 15 states.
 Computing post^24 from 15 states.
 Computing post^25 from 9 states.
 Computing post^25 from 9 states.
 Computing post^137 from 6 states.
 Computing post^26 from 15 states.
 Computing post^26 from 15 states.
 Computing post^27 from 9 states.
 Computing post^27 from 9 states.
   2 states merged within 8 states.
 Computing post^138 from 6 states.
 Computing post^28 from 15 states.
 Computing post^28 from 15 states.
 Computing post^139 from 6 states.
 Computing post^29 from 9 states.
 Computing post^29 from 9 states.
 Computing post^30 from 15 states.
   2 states merged within 8 states.
 Computing post^140 from 6 states.
 Computing post^30 from 15 states.
 Computing post^31 from 9 states.
 Computing post^31 from 9 states.
 Computing post^141 from 6 states.
 Computing post^32 from 15 states.
 Computing post^32 from 15 states.
 Computing post^33 from 9 states.
 Computing post^33 from 9 states.
   2 states merged within 8 states.
 Computing post^142 from 6 states.
 Computing post^34 from 15 states.
 Computing post^143 from 6 states.
 Computing post^34 from 15 states.
 Computing post^35 from 9 states.
 Computing post^35 from 9 states.
   2 states merged within 8 states.
 Computing post^144 from 6 states.
 Computing post^36 from 15 states.
 Computing post^36 from 15 states.
 Computing post^37 from 9 states.
 Computing post^145 from 6 states.
 Computing post^37 from 9 states.
 Computing post^38 from 15 states.
   2 states merged within 8 states.
 Computing post^146 from 6 states.
 Computing post^38 from 15 states.
 Computing post^39 from 9 states.
 Computing post^39 from 9 states.
 Computing post^147 from 6 states.
 Computing post^40 from 15 states.
 Computing post^40 from 15 states.
   2 states merged within 8 states.
 Computing post^148 from 6 states.
 Computing post^41 from 9 states.
 Computing post^41 from 9 states.
 Computing post^149 from 6 states.
 Computing post^42 from 15 states.
 Computing post^42 from 15 states.
   2 states merged within 8 states.
 Computing post^150 from 6 states.
 Computing post^43 from 9 states.
 Computing post^43 from 9 states.
 Computing post^151 from 6 states.
 Computing post^44 from 15 states.
 Computing post^44 from 15 states.
 Computing post^45 from 9 states.
   2 states merged within 8 states.
 Computing post^152 from 6 states.
 Computing post^45 from 9 states.
 Computing post^153 from 6 states.
 Computing post^46 from 15 states.
 Computing post^46 from 15 states.
 Computing post^47 from 9 states.
 Computing post^47 from 9 states.
   2 states merged within 8 states.
 Computing post^154 from 6 states.
 Computing post^155 from 6 states.
 Computing post^48 from 15 states.
 Computing post^48 from 15 states.
 Computing post^49 from 9 states.
 Computing post^49 from 9 states.
   2 states merged within 8 states.
 Computing post^156 from 6 states.
 Computing post^157 from 6 states.
 Computing post^50 from 15 states.
 Computing post^50 from 15 states.
 Computing post^51 from 9 states.
   2 states merged within 8 states.
 Computing post^51 from 9 states.
 Computing post^158 from 6 states.
 Computing post^159 from 6 states.
 Computing post^52 from 15 states.
 Computing post^52 from 15 states.
 Computing post^53 from 9 states.
   2 states merged within 8 states.
 Computing post^160 from 6 states.
 Computing post^53 from 9 states.
 Computing post^161 from 6 states.
 Computing post^54 from 15 states.
 Computing post^54 from 15 states.
   2 states merged within 8 states.
 Computing post^162 from 6 states.
 Computing post^55 from 9 states.
 Computing post^55 from 9 states.
 Computing post^163 from 6 states.
 Computing post^56 from 15 states.
   2 states merged within 8 states.
 Computing post^164 from 6 states.
 Computing post^57 from 9 states.
 Computing post^56 from 15 states.
 Computing post^165 from 6 states.
 Computing post^57 from 9 states.
 Computing post^58 from 15 states.
   2 states merged within 8 states.
 Computing post^166 from 6 states.
 Computing post^59 from 9 states.
 Computing post^167 from 6 states.
 Computing post^58 from 15 states.
 Computing post^60 from 15 states.
   2 states merged within 8 states.
 Computing post^168 from 6 states.
 Computing post^59 from 9 states.
 Computing post^61 from 9 states.
 Computing post^169 from 6 states.
 Computing post^62 from 15 states.
   2 states merged within 8 states.
 Computing post^170 from 6 states.
 Computing post^60 from 15 states.
 Computing post^63 from 9 states.
 Computing post^171 from 6 states.
 Computing post^61 from 9 states.
 Computing post^64 from 15 states.
   2 states merged within 8 states.
 Computing post^172 from 6 states.
 Computing post^62 from 15 states.
 Computing post^65 from 9 states.
 Computing post^173 from 6 states.
 Computing post^63 from 9 states.
   2 states merged within 8 states.
 Computing post^174 from 6 states.
 Computing post^64 from 15 states.
 Computing post^175 from 6 states.
 Computing post^66 from 15 states.
 Computing post^65 from 9 states.
   2 states merged within 8 states.
 Computing post^176 from 6 states.
 Computing post^67 from 9 states.
 Computing post^177 from 6 states.
 Computing post^66 from 15 states.
 Computing post^67 from 9 states.
   2 states merged within 8 states.
 Computing post^178 from 6 states.
 Computing post^68 from 15 states.
 Computing post^69 from 9 states.
 Computing post^179 from 6 states.
 Computing post^68 from 15 states.
   2 states merged within 8 states.
 Computing post^180 from 6 states.
 Computing post^69 from 9 states.
 Computing post^70 from 15 states.
 Computing post^181 from 6 states.
 Computing post^71 from 9 states.
 Computing post^70 from 15 states.
   2 states merged within 8 states.
 Computing post^182 from 6 states.
 Computing post^71 from 9 states.
 Computing post^72 from 15 states.
 Computing post^183 from 6 states.
 Computing post^73 from 9 states.
   2 states merged within 8 states.
 Computing post^184 from 6 states.
 Computing post^72 from 15 states.
 Computing post^185 from 6 states.
 Computing post^73 from 9 states.
 Computing post^74 from 15 states.
 Computing post^75 from 9 states.
   2 states merged within 8 states.
 Computing post^186 from 6 states.
 Computing post^74 from 15 states.
 Computing post^187 from 6 states.
 Computing post^76 from 15 states.
 Computing post^75 from 9 states.
   2 states merged within 8 states.
 Computing post^188 from 6 states.
 Computing post^77 from 9 states.
 Computing post^189 from 6 states.
 Computing post^76 from 15 states.
 Computing post^78 from 15 states.
 Computing post^77 from 9 states.
   2 states merged within 8 states.
 Computing post^190 from 6 states.
 Computing post^79 from 9 states.
 Computing post^191 from 6 states.
 Computing post^78 from 15 states.
   2 states merged within 8 states.
 Computing post^192 from 6 states.
 Computing post^80 from 15 states.
 Computing post^79 from 9 states.
 Computing post^193 from 6 states.
 Computing post^81 from 9 states.
   2 states merged within 8 states.
 Computing post^194 from 6 states.
 Computing post^80 from 15 states.
 Computing post^82 from 15 states.
 Computing post^195 from 6 states.
 Computing post^81 from 9 states.
 Computing post^83 from 9 states.
   2 states merged within 8 states.
 Computing post^196 from 6 states.
 Computing post^82 from 15 states.
 Computing post^197 from 6 states.
 Computing post^84 from 15 states.
 Computing post^83 from 9 states.
   2 states merged within 8 states.
 Computing post^198 from 6 states.
 Computing post^85 from 9 states.
 Computing post^199 from 6 states.
 Computing post^84 from 15 states.
 Computing post^86 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 380.075 seconds.
 Starting running algorithm NZCUB…
 
 Computing post^1 from 1 state.
 Computing post^85 from 9 states.
 Computing post^2 from 8 states.
 Computing post^87 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.
   1 state merged within 11 states.
 Computing post^7 from 10 states.
   3 states merged within 9 states.
 Computing post^8 from 6 states.
 Computing post^86 from 15 states.
   1 state merged within 11 states.
 Computing post^9 from 10 states.
   4 states merged within 16 states.
 Computing post^10 from 12 states.
 Computing post^88 from 15 states.
   3 states merged within 18 states.
 Computing post^11 from 15 states.
 Computing post^87 from 9 states.
   2 states merged within 18 states.
 Computing post^12 from 16 states.
 Computing post^89 from 9 states.
   4 states merged within 27 states.
 Computing post^13 from 23 states.
   6 states merged within 32 states.
 Computing post^14 from 26 states.
   4 states merged within 39 states.
 Computing post^15 from 35 states.
 Computing post^88 from 15 states.
 Computing post^90 from 15 states.
   6 states merged within 42 states.
 Computing post^16 from 36 states.
 Computing post^89 from 9 states.
 Computing post^91 from 9 states.
   7 states merged within 54 states.
 Computing post^17 from 47 states.
 Computing post^90 from 15 states.
 Computing post^92 from 15 states.
   19 states merged within 61 states.
 Computing post^18 from 42 states.
 Computing post^91 from 9 states.
 Computing post^93 from 9 states.
   12 states merged within 67 states.
 Computing post^19 from 55 states.
 Computing post^92 from 15 states.
 Computing post^94 from 15 states.
 Computing post^93 from 9 states.
 Computing post^95 from 9 states.
   24 states merged within 80 states.
 Computing post^20 from 56 states.
 Computing post^94 from 15 states.
 Computing post^96 from 15 states.
 Computing post^95 from 9 states.
   23 states merged within 99 states.
 Computing post^97 from 9 states.
 Computing post^21 from 76 states.
 Computing post^96 from 15 states.
 Computing post^98 from 15 states.
 Computing post^97 from 9 states.
 Computing post^99 from 9 states.
   32 states merged within 117 states.
 Computing post^22 from 85 states.
 Computing post^100 from 15 states.
 Computing post^98 from 15 states.
 Computing post^101 from 9 states.
 Computing post^99 from 9 states.
 Computing post^102 from 15 states.
 Computing post^100 from 15 states.
 Computing post^103 from 9 states.
   25 states merged within 133 states.
 Computing post^23 from 108 states.
 Computing post^101 from 9 states.
 Computing post^104 from 15 states.
 Computing post^102 from 15 states.
 Computing post^105 from 9 states.
 Computing post^103 from 9 states.
 Computing post^106 from 15 states.
 Computing post^104 from 15 states.
 Computing post^107 from 9 states.
   47 states merged within 160 states.
 Computing post^24 from 113 states.
 Computing post^105 from 9 states.
 Computing post^108 from 15 states.
 Computing post^106 from 15 states.
 Computing post^109 from 9 states.
 Computing post^107 from 9 states.
 Computing post^110 from 15 states.
 Computing post^108 from 15 states.
 Computing post^111 from 9 states.
 Computing post^109 from 9 states.
   66 states merged within 197 states.
 Computing post^25 from 133 states.
 Computing post^110 from 15 states.
 Computing post^112 from 15 states.
 Computing post^111 from 9 states.
 Computing post^113 from 9 states.
 Computing post^114 from 15 states.
 Computing post^112 from 15 states.
 Computing post^115 from 9 states.
 Computing post^113 from 9 states.
 Computing post^116 from 15 states.
 Computing post^114 from 15 states.
 Computing post^117 from 9 states.
 Computing post^115 from 9 states.
   86 states merged within 212 states.
 Computing post^26 from 131 states.
 Computing post^118 from 15 states.
 Computing post^116 from 15 states.
 Computing post^119 from 9 states.
 Computing post^117 from 9 states.
 Computing post^120 from 15 states.
 Computing post^118 from 15 states.
   [NZCUB] Found a cycle.
 Computing post^121 from 9 states.
 Computing post^119 from 9 states.
 Computing post^122 from 15 states.
 Computing post^120 from 15 states.
 Computing post^123 from 9 states.
 Computing post^121 from 9 states.
   69 states merged within 218 states.
 Computing post^27 from 154 states.
 Computing post^124 from 15 states.
 Computing post^122 from 15 states.
 Computing post^125 from 9 states.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
 Computing post^123 from 9 states.
 Computing post^126 from 15 states.
 Computing post^124 from 15 states.
 Computing post^127 from 9 states.
 Computing post^125 from 9 states.
 Computing post^128 from 15 states.
 Computing post^126 from 15 states.
 Computing post^129 from 9 states.
 Computing post^127 from 9 states.
 Computing post^130 from 15 states.
   104 states merged within 255 states.
 Computing post^28 from 163 states.
 Computing post^131 from 9 states.
 Computing post^128 from 15 states.
 Computing post^129 from 9 states.
 Computing post^132 from 15 states.
 Computing post^133 from 9 states.
 Computing post^130 from 15 states.
 Computing post^131 from 9 states.
 Computing post^134 from 15 states.
 Computing post^135 from 9 states.
 Computing post^132 from 15 states.
 Computing post^133 from 9 states.
 Computing post^136 from 15 states.
 Computing post^137 from 9 states.
 Computing post^134 from 15 states.
 Computing post^135 from 9 states.
 Computing post^138 from 15 states.
   108 states merged within 291 states.
 Computing post^29 from 197 states.
 Computing post^139 from 9 states.
 Computing post^136 from 15 states.
 Computing post^137 from 9 states.
 Computing post^140 from 15 states.
 Computing post^141 from 9 states.
 Computing post^138 from 15 states.
 Computing post^139 from 9 states.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
 Computing post^142 from 15 states.
 Computing post^143 from 9 states.
 Computing post^140 from 15 states.
 Computing post^141 from 9 states.
 Computing post^144 from 15 states.
 Computing post^145 from 9 states.
 Computing post^142 from 15 states.
 Computing post^143 from 9 states.
 Computing post^146 from 15 states.
   125 states merged within 326 states.
 Computing post^30 from 214 states.
 Computing post^147 from 9 states.
 Computing post^144 from 15 states.
 Computing post^145 from 9 states.
 Computing post^148 from 15 states.
 Computing post^149 from 9 states.
 Computing post^146 from 15 states.
 Computing post^150 from 15 states.
 Computing post^147 from 9 states.
 Computing post^151 from 9 states.
 Computing post^148 from 15 states.
 Computing post^152 from 15 states.
 Computing post^149 from 9 states.
 Computing post^153 from 9 states.
 Computing post^150 from 15 states.
 Computing post^154 from 15 states.
 Computing post^151 from 9 states.
 Computing post^155 from 9 states.
 Computing post^152 from 15 states.
   126 states merged within 343 states.
 Computing post^31 from 234 states.
 Computing post^156 from 15 states.
 Computing post^153 from 9 states.
 Computing post^157 from 9 states.
 Computing post^154 from 15 states.
 Computing post^158 from 15 states.
 Computing post^155 from 9 states.
 Computing post^159 from 9 states.
 Computing post^156 from 15 states.
 Computing post^160 from 15 states.
 Computing post^157 from 9 states.
 Computing post^161 from 9 states.
 Computing post^158 from 15 states.
 Computing post^162 from 15 states.
 Computing post^159 from 9 states.
 Computing post^163 from 9 states.
 Computing post^160 from 15 states.
 Computing post^164 from 15 states.
 Computing post^161 from 9 states.
 Computing post^165 from 9 states.
 Computing post^162 from 15 states.
   177 states merged within 407 states.
 Computing post^32 from 255 states.
 Computing post^166 from 15 states.
 Computing post^163 from 9 states.
 Computing post^167 from 9 states.
 Computing post^164 from 15 states.
 Computing post^168 from 15 states.
 Computing post^165 from 9 states.
 Computing post^169 from 9 states.
 Computing post^166 from 15 states.
 Computing post^170 from 15 states.
   [NZCUB] Found a cycle.
 Computing post^167 from 9 states.
 Computing post^171 from 9 states.
 Computing post^168 from 15 states.
 Computing post^172 from 15 states.
 Computing post^169 from 9 states.
 Computing post^173 from 9 states.
 Computing post^170 from 15 states.
 Computing post^174 from 15 states.
 Computing post^171 from 9 states.
 Computing post^175 from 9 states.
 Computing post^172 from 15 states.
 Computing post^176 from 15 states.
 Computing post^173 from 9 states.
   191 states merged within 444 states.
 Computing post^33 from 275 states.
 Computing post^177 from 9 states.
 Computing post^174 from 15 states.
 Computing post^178 from 15 states.
 Computing post^175 from 9 states.
 Computing post^179 from 9 states.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
 Computing post^176 from 15 states.
 Computing post^180 from 15 states.
 Computing post^177 from 9 states.
 Computing post^181 from 9 states.
 Computing post^178 from 15 states.
 Computing post^182 from 15 states.
 Computing post^179 from 9 states.
 Computing post^183 from 9 states.
 Computing post^180 from 15 states.
 Computing post^184 from 15 states.
 Computing post^181 from 9 states.
 Computing post^185 from 9 states.
 Computing post^182 from 15 states.
 Computing post^186 from 15 states.
 Computing post^183 from 9 states.
 Computing post^187 from 9 states.
   168 states merged within 428 states.
 Computing post^34 from 287 states.
 Computing post^188 from 15 states.
 Computing post^184 from 15 states.
 Computing post^189 from 9 states.
 Computing post^185 from 9 states.
 Computing post^190 from 15 states.
 Computing post^186 from 15 states.
 Computing post^191 from 9 states.
 Computing post^187 from 9 states.
 Computing post^192 from 15 states.
 Computing post^188 from 15 states.
   [NZCUB] Found a cycle.
 Computing post^193 from 9 states.
 Computing post^189 from 9 states.
 Computing post^194 from 15 states.
 Computing post^190 from 15 states.
 Computing post^195 from 9 states.
 Computing post^191 from 9 states.
 Computing post^196 from 15 states.
 Computing post^192 from 15 states.
 Computing post^197 from 9 states.
 Computing post^193 from 9 states.
 Computing post^198 from 15 states.
 Computing post^194 from 15 states.
 Computing post^199 from 9 states.
 Computing post^195 from 9 states.
   191 states merged within 471 states.
 Computing post^35 from 307 states.
 
 State space exploration stopped at a depth of 200: 2419 states with 2615 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 478.476 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^196 from 15 states.
 Computing post^4 from 23 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 7 states.
 Computing post^8 from 6 states.
   1 state merged within 11 states.
 Computing post^9 from 10 states.
   1 state merged within 13 states.
 Computing post^10 from 12 states.
   2 states merged within 17 states.
 Computing post^11 from 15 states.
   8 states merged within 24 states.
 Computing post^12 from 16 states.
   3 states merged within 26 states.
 Computing post^197 from 9 states.
 Computing post^13 from 23 states.
   8 states merged within 34 states.
 Computing post^14 from 26 states.
   12 states merged within 47 states.
 Computing post^15 from 35 states.
   7 states merged within 43 states.
 Computing post^16 from 36 states.
   12 states merged within 59 states.
 Computing post^17 from 47 states.
 Computing post^198 from 15 states.
   25 states merged within 67 states.
 Computing post^18 from 42 states.
 Computing post^199 from 9 states.
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
   17 states merged within 72 states.
 Computing post^19 from 55 states.
   24 states merged within 80 states.
 Computing post^20 from 56 states.
 
 State space exploration stopped at a depth of 200: 2451 states with 2719 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 484.449 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^4 from 35 states.
   14 states merged within 90 states.
 Computing post^21 from 76 states.
 Computing post^5 from 30 states.
 Computing post^6 from 23 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 485.601 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^5 from 20 states.
 Computing post^6 from 20 states.
   3 states merged within 20 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 486.297 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^4 from 35 states.
 Computing post^5 from 29 states.
   27 states merged within 112 states.
 Computing post^22 from 85 states.
 Computing post^6 from 18 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 487.037 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^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 487.591 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^4 from 26 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.
   1 state merged within 7 states.
 Computing post^8 from 6 states.
 Computing post^9 from 6 states.
 Computing post^10 from 10 states.
 Computing post^11 from 6 states.
 Computing post^12 from 10 states.
 Computing post^13 from 6 states.
 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.
   24 states merged within 132 states.
 Computing post^23 from 108 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.
 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.
   51 states merged within 164 states.
 Computing post^24 from 113 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.
   200 states merged within 501 states.
 Computing post^36 from 334 states.
 Computing post^60 from 10 states.
 Computing post^61 from 6 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^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.
 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.
   83 states merged within 209 states.
 Computing post^26 from 131 states.
 Computing post^80 from 10 states.
 Computing post^81 from 6 states.
 Computing post^82 from 10 states.
 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.
 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.
   64 states merged within 213 states.
 Computing post^27 from 154 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.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
 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.
   107 states merged within 258 states.
 Computing post^28 from 163 states.
 Computing post^116 from 10 states.
 Computing post^117 from 6 states.
 Computing post^118 from 10 states.
 Computing post^119 from 6 states.
 Computing post^120 from 10 states.
 Computing post^121 from 6 states.
   [NZCUB] Found a cycle.
 Computing post^122 from 10 states.
 Computing post^123 from 6 states.
 Computing post^124 from 10 states.
   212 states merged within 550 states.
 Computing post^37 from 375 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.
 Computing post^130 from 10 states.
 Computing post^131 from 6 states.
 Computing post^132 from 10 states.
 Computing post^133 from 6 states.
 Computing post^134 from 10 states.
 Computing post^135 from 6 states.
   108 states merged within 291 states.
 Computing post^29 from 197 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.
 Computing post^141 from 6 states.
 Computing post^142 from 10 states.
 Computing post^143 from 6 states.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
 Computing post^144 from 10 states.
 Computing post^145 from 6 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.
 Computing post^150 from 10 states.
 Computing post^151 from 6 states.
 Computing post^152 from 10 states.
 Computing post^153 from 6 states.
 Computing post^154 from 10 states.
   129 states merged within 330 states.
 Computing post^30 from 214 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.
 Computing post^163 from 6 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.
 Computing post^170 from 10 states.
 Computing post^171 from 6 states.
 Computing post^172 from 10 states.
 Computing post^173 from 6 states.
   133 states merged within 350 states.
 Computing post^31 from 234 states.
 Computing post^174 from 10 states.
 Computing post^175 from 6 states.
   247 states merged within 600 states.
 Computing post^38 from 393 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.
 Computing post^182 from 10 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.
 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.
   196 states merged within 426 states.
 Computing post^32 from 255 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.
 
 State space exploration stopped at a depth of 200: 1646 states with 1838 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 543.357 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.
 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.
   [NZCUB] Found a cycle.
 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^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.
 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.
   180 states merged within 433 states.
 Computing post^33 from 275 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.
 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.
 Computing post^83 from 6 states.
   268 states merged within 678 states.
 Computing post^39 from 451 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.
 Computing post^90 from 10 states.
 Computing post^91 from 6 states.
 Computing post^92 from 10 states.
 Computing post^93 from 6 states.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
 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.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
 Computing post^115 from 6 states.
 Computing post^116 from 10 states.
 Computing post^117 from 6 states.
 Computing post^118 from 10 states.
 Computing post^119 from 6 states.
   190 states merged within 450 states.
 Computing post^34 from 287 states.
   [NZCUB] Found a cycle.
 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.
 Computing post^130 from 10 states.
 Computing post^131 from 6 states.
 Computing post^132 from 10 states.
 Computing post^133 from 6 states.
 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.
 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.
 Computing post^146 from 10 states.
 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.
 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.
   194 states merged within 474 states.
 Computing post^35 from 307 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.
 Computing post^164 from 10 states.
   289 states merged within 689 states.
 Computing post^40 from 445 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.
   [NZCUB] Cycle found, but in 0-time
 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.
 Computing post^182 from 10 states.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
 Computing post^183 from 6 states.
   [NZCUB] Found a cycle.
 Computing post^184 from 10 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.
   212 states merged within 513 states.
 Computing post^36 from 334 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.
 
 State space exploration stopped at a depth of 200: 1622 states with 1762 transitions in the final state space.
 
   [NZCUB] Algorithm completed after 596.244 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^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.
   3 states merged within 15 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.
   7 states merged within 27 states.
 Computing post^14 from 20 states.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
   3 states merged within 29 states.
 Computing post^15 from 26 states.
   7 states merged within 34 states.
 Computing post^16 from 27 states.
   11 states merged within 46 states.
 Computing post^17 from 35 states.
   [NZCUB] Found a cycle.
   22 states merged within 55 states.
 Computing post^18 from 33 states.
   7 states merged within 50 states.
 Computing post^19 from 43 states.
   22 states merged within 67 states.
 Computing post^20 from 45 states.
   18 states merged within 77 states.
 Computing post^21 from 59 states.
   30 states merged within 95 states.
 Computing post^22 from 65 states.
   21 states merged within 102 states.
 Computing post^23 from 81 states.
   38 states merged within 123 states.
 Computing post^24 from 85 states.
   314 states merged within 747 states.
 Computing post^41 from 487 states.
   43 states merged within 142 states.
 Computing post^25 from 101 states.
   202 states merged within 540 states.
 Computing post^37 from 375 states.
   76 states merged within 174 states.
 Computing post^26 from 102 states.
   65 states merged within 180 states.
 Computing post^27 from 120 states.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
   85 states merged within 203 states.
 Computing post^28 from 127 states.
   [NZCUB] Found a cycle.
   83 states merged within 222 states.
 Computing post^29 from 150 states.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
   265 states merged within 618 states.
 Computing post^38 from 393 states.
   90 states merged within 242 states.
 Computing post^30 from 162 states.
   [NZCUB] Found a cycle.
   98 states merged within 261 states.
 Computing post^31 from 176 states.
   347 states merged within 791 states.
 Computing post^42 from 507 states.
   136 states merged within 311 states.
 Computing post^32 from 193 states.
   [NZCUB] Found a cycle.
   260 states merged within 670 states.
 Computing post^39 from 449 states.
   137 states merged within 330 states.
 Computing post^33 from 210 states.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
   155 states merged within 356 states.
 Computing post^34 from 221 states.
   [NZCUB] Found a cycle.
   158 states merged within 374 states.
 Computing post^35 from 237 states.
   331 states merged within 828 states.
 Computing post^43 from 566 states.
   328 states merged within 726 states.
 Computing post^40 from 443 states.
   163 states merged within 393 states.
 Computing post^36 from 255 states.
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
   [NZCUB] Found a cycle.
   177 states merged within 433 states.
 Computing post^37 from 284 states.
   [NZCUB] Found a cycle.
   269 states merged within 702 states.
 Computing post^41 from 487 states.
   191 states merged within 457 states.
 Computing post^38 from 296 states.
   389 states merged within 925 states.
 Computing post^44 from 619 states.
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   218 states merged within 526 states.
 Computing post^39 from 340 states.
   360 states merged within 804 states.
 Computing post^42 from 507 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.
   240 states merged within 548 states.
 Computing post^40 from 341 states.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
   [NZCUB] Found a cycle.
   391 states merged within 953 states.
 Computing post^45 from 638 states.
   311 states merged within 808 states.
 Computing post^43 from 566 states.
   244 states merged within 579 states.
 Computing post^41 from 375 states.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   275 states merged within 619 states.
 Computing post^42 from 390 states.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
   426 states merged within 1017 states.
 Computing post^46 from 676 states.
   412 states merged within 948 states.
 Computing post^44 from 619 states.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
   [NZCUB] Found a cycle.
   252 states merged within 631 states.
 Computing post^43 from 431 states.
   388 states merged within 950 states.
 Computing post^45 from 638 states.
   312 states merged within 718 states.
 Computing post^44 from 468 states.
   [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] Found a cycle.
   319 states merged within 741 states.
 Computing post^45 from 481 states.
   [NZCUB] Found a cycle.
   438 states merged within 1029 states.
 Computing post^46 from 676 states.
   [NZCUB] Found a cycle.
   439 states merged within 1073 states.
 Computing post^48 from 720 states.
   306 states merged within 750 states.
 Computing post^46 from 509 states.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   442 states merged within 1067 states.
 Computing post^47 from 705 states.
   317 states merged within 786 states.
 Computing post^47 from 531 states.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
   [NZCUB] Found a cycle.
   513 states merged within 1136 states.
 Computing post^49 from 739 states.
   356 states merged within 833 states.
 Computing post^48 from 545 states.
   425 states merged within 1059 states.
 Computing post^48 from 720 states.
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
   [NZCUB] Found a cycle.
   379 states merged within 858 states.
 Computing post^49 from 565 states.
   483 states merged within 1140 states.
 Computing post^50 from 778 states.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   522 states merged within 1145 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.
   [NZCUB] Found a cycle.
   523 states merged within 1258 states.
 Computing post^51 from 848 states.
   504 states merged within 1161 states.
 Computing post^50 from 778 states.
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
   422 states merged within 987 states.
 Computing post^51 from 651 states.
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
   [NZCUB] Found a cycle.
   526 states merged within 1276 states.
 Computing post^52 from 876 states.
   479 states merged within 1214 states.
 Computing post^51 from 848 states.
   422 states merged within 999 states.
 Computing post^52 from 671 states.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   431 states merged within 1037 states.
 Computing post^53 from 710 states.
   520 states merged within 1270 states.
 Computing post^52 from 876 states.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
   [NZCUB] Found a cycle.
   516 states merged within 1311 states.
 Computing post^53 from 934 states.
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   448 states merged within 1044 states.
 Computing post^54 from 714 states.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
   [NZCUB] Found a cycle.
   518 states merged within 1313 states.
 Computing post^53 from 934 states.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
   [NZCUB] Found a cycle.
   588 states merged within 1377 states.
 Computing post^54 from 941 states.
   434 states merged within 1065 states.
 Computing post^55 from 761 states.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
   558 states merged within 1347 states.
 Computing post^54 from 941 states.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
   562 states merged within 1401 states.
 Computing post^55 from 1004 states.
   527 states merged within 1168 states.
 Computing post^56 from 787 states.
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   591 states merged within 1430 states.
 Computing post^55 from 1009 states.
   [NZCUB] Found a cycle.
   480 states merged within 1168 states.
 Computing post^57 from 829 states.
   [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.
   676 states merged within 1520 states.
 Computing post^56 from 1032 states.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
   [NZCUB] Found a cycle.
   519 states merged within 1217 states.
 Computing post^58 from 854 states.
   [NZCUB] Found a cycle.
   626 states merged within 1525 states.
 Computing post^57 from 1080 states.
   [NZCUB] Found a cycle.
   629 states merged within 1526 states.
 Computing post^57 from 1080 states.
   544 states merged within 1272 states.
 Computing post^59 from 908 states.
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
   682 states merged within 1583 states.
 Computing post^58 from 1108 states.
   609 states merged within 1371 states.
 Computing post^60 from 965 states.
   711 states merged within 1614 states.
 Computing post^58 from 1110 states.
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   687 states merged within 1633 states.
 Computing post^59 from 1187 states.
   611 states merged within 1370 states.
 Computing post^61 from 975 states.
   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] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
   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
   749 states merged within 1740 states.
 Computing post^60 from 1265 states.
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
   724 states merged within 1716 states.
 Computing post^60 from 1266 states.
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
   [NZCUB] Found a cycle.
   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.
   793 states merged within 1793 states.
 Computing post^61 from 1287 states.
   780 states merged within 1775 states.
 Computing post^61 from 1287 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.
   [NZCUB] Found a cycle.
   720 states merged within 1514 states.
 Computing post^64 from 1061 states.
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
   823 states merged within 1844 states.
 Computing post^62 from 1333 states.
   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.
   [NZCUB] Found a cycle.
   728 states merged within 1563 states.
 Computing post^65 from 1119 states.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
   [NZCUB] Found a cycle.
   866 states merged within 1906 states.
 Computing post^63 from 1368 states.
   835 states merged within 1875 states.
 Computing post^63 from 1369 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.
   745 states merged within 1617 states.
 Computing post^66 from 1170 states.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
   [NZCUB] Found a cycle.
   892 states merged within 1929 states.
 Computing post^64 from 1384 states.
   869 states merged within 1905 states.
 Computing post^64 from 1384 states.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
   782 states merged within 1683 states.
 Computing post^67 from 1229 states.
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   923 states merged within 2010 states.
 Computing post^65 from 1458 states.
   933 states merged within 2020 states.
 Computing post^65 from 1457 states.
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   875 states merged within 1779 states.
 Computing post^68 from 1244 states.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
   [NZCUB] Found a cycle.
   942 states merged within 2081 states.
 Computing post^66 from 1528 states.
   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.
   820 states merged within 1758 states.
 Computing post^69 from 1313 states.
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   1020 states merged within 2198 states.
 Computing post^67 from 1612 states.
   [NZCUB] Found a cycle.
   [NZCUB] Cycle found, but in 0-time
   995 states merged within 2173 states.
 Computing post^67 from 1611 states.
   [NZCUB] Found a cycle.
   [NZCUB] Found a cycle.
   867 states merged within 1796 states.
 Computing post^70 from 1317 states.