************************************************************ * IMITATOR 2.9.2-working "Butter Incaberry" * * * * Etienne Andre, Ulrich Kuehne et al. * * 2009 - 2018 * * LSV, ENS de Cachan & CNRS, France * * LIPN, Universite Paris 13, France * * www.imitator.fr * * * * Build: 2402 (2018-06-07 12:48:12 UTC) * * HEAD/0999a7d * ************************************************************ Model: /home/royal/Desktop/experiments/Etienne/S/coffee/coffee.imi Mode: parametric non-Zeno emptiness checking (CUB transformation). Considering fixpoint variant with monodirectional inclusion of symbolic zones (instead of equality). Time elapsing will be applied at the beginning of the computation of a new state. Merging technique of [AFS13] enabled. The result will be written to a file. Generating the transformed model…  Automaton name: machine, Number of models: 5  Transformation completed Starting running algorithm NZCUB…  Computing post^1 from 1 state. Computing post^2 from 5 states. Computing post^3 from 5 states. Computing post^4 from 15 states.  2 states merged within 7 states. Computing post^5 from 5 states.  2 states merged within 9 states. Computing post^6 from 7 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  2 states merged within 11 states. Computing post^7 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  3 states merged within 11 states. Computing post^8 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^9 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^10 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^11 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^12 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^13 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^14 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^15 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^16 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^17 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^18 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^19 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^20 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^21 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^22 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^23 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^24 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^25 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^26 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^27 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^28 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^29 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^30 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^31 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^32 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^33 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^34 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^35 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^36 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^37 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^38 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^39 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^40 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^41 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^42 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^43 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^44 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^45 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^46 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^47 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^48 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^49 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^50 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^51 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^52 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^53 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^54 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^55 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^56 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^57 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^58 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^59 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^60 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^61 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^62 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^63 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^64 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^65 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^66 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^67 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^68 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^69 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^70 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^71 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^72 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^73 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^74 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^75 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^76 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^77 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^78 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^79 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^80 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^81 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^82 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^83 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^84 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^85 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^86 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^87 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^88 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^89 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^90 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^91 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^92 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^93 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^94 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^95 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^96 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^97 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^98 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^99 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^100 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^101 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^102 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^103 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^104 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^105 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^106 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^107 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^108 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^109 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^110 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^111 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^112 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^113 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^114 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^115 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^116 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^117 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^118 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^119 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^120 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^121 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^122 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^123 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^124 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^125 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^126 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^127 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^128 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^129 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^130 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^131 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^132 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^133 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^134 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^135 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^136 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^137 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^138 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^139 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^140 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^141 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^142 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^143 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^144 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^145 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^146 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^147 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^148 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^149 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^150 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^151 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^152 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^153 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^154 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^155 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^156 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^157 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^158 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^159 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^160 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^161 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^162 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^163 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^164 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^165 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^166 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^167 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^168 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^169 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^170 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^171 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^172 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^173 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^174 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^175 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^176 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^177 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^178 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^179 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^180 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^181 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^182 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^183 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^184 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^185 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^186 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^187 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^188 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^189 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^190 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^191 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^192 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^193 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^194 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^195 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^196 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^197 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^198 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states. Computing post^199 from 9 states.  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  [NZCUB] Found a cycle.  [NZCUB] Non-Zeno cycle found!  4 states merged within 11 states.  State space exploration stopped at a depth of 200: 1399 states with 2761 transitions in the final state space.  [NZCUB] Algorithm completed after 345.370 seconds.  Final constraint such that the system is correct:  p1 > 0 & 2*p9 >= p2 & p2 >= p1 & p11 > 0 & p4 > 0 & p9 + p11 >= p2 & p9 >= p1 & p10 >= p2 & p3 >= p2 OR p9 >= p2 & p1 > 0 & p2 > 0 & p4 > 0 & p11 >= p2 & p10 >= p2 & p3 >= p2 OR p1 > 0 & p2 >= 2*p1 & p9 >= p1 & 2*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 3*p1 & p9 >= p1 & 3*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 4*p1 & p9 >= p1 & 4*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 5*p1 & p9 >= p1 & 5*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 6*p1 & p9 >= p1 & 6*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 7*p1 & p9 >= p1 & 7*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 8*p1 & p9 >= p1 & 8*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 9*p1 & p9 >= p1 & 9*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 10*p1 & p9 >= p1 & 10*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 11*p1 & p9 >= p1 & 11*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 12*p1 & p9 >= p1 & 12*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 13*p1 & p9 >= p1 & 13*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 14*p1 & p9 >= p1 & 14*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 15*p1 & p9 >= p1 & 15*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 16*p1 & p9 >= p1 & 16*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 17*p1 & p9 >= p1 & 17*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 18*p1 & p9 >= p1 & 18*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 19*p1 & p9 >= p1 & 19*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 20*p1 & p9 >= p1 & 20*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 21*p1 & p9 >= p1 & 21*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 22*p1 & p9 >= p1 & 22*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 23*p1 & p9 >= p1 & 23*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 24*p1 & p9 >= p1 & 24*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 25*p1 & p9 >= p1 & 25*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 26*p1 & p9 >= p1 & 26*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 27*p1 & p9 >= p1 & 27*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 28*p1 & p9 >= p1 & 28*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 29*p1 & p9 >= p1 & 29*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 30*p1 & p9 >= p1 & 30*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 31*p1 & p9 >= p1 & 31*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 32*p1 & p9 >= p1 & 32*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 33*p1 & p9 >= p1 & 33*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 34*p1 & p9 >= p1 & 34*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 35*p1 & p9 >= p1 & 35*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 36*p1 & p9 >= p1 & 36*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 37*p1 & p9 >= p1 & 37*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 38*p1 & p9 >= p1 & 38*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 39*p1 & p9 >= p1 & 39*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 40*p1 & p9 >= p1 & 40*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 41*p1 & p9 >= p1 & 41*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 42*p1 & p9 >= p1 & 42*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 43*p1 & p9 >= p1 & 43*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 44*p1 & p9 >= p1 & 44*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 45*p1 & p9 >= p1 & 45*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 46*p1 & p9 >= p1 & 46*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 47*p1 & p9 >= p1 & 47*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 48*p1 & p9 >= p1 & 48*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 49*p1 & p9 >= p1 & 49*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 50*p1 & p9 >= p1 & 50*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 51*p1 & p9 >= p1 & 51*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 52*p1 & p9 >= p1 & 52*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 53*p1 & p9 >= p1 & 53*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 54*p1 & p9 >= p1 & 54*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 55*p1 & p9 >= p1 & 55*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 56*p1 & p9 >= p1 & 56*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 57*p1 & p9 >= p1 & 57*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 58*p1 & p9 >= p1 & 58*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 59*p1 & p9 >= p1 & 59*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 60*p1 & p9 >= p1 & 60*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 61*p1 & p9 >= p1 & 61*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 62*p1 & p9 >= p1 & 62*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 63*p1 & p9 >= p1 & 63*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 64*p1 & p9 >= p1 & 64*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 65*p1 & p9 >= p1 & 65*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 66*p1 & p9 >= p1 & 66*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 67*p1 & p9 >= p1 & 67*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 68*p1 & p9 >= p1 & 68*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 69*p1 & p9 >= p1 & 69*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 70*p1 & p9 >= p1 & 70*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 71*p1 & p9 >= p1 & 71*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 72*p1 & p9 >= p1 & 72*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 73*p1 & p9 >= p1 & 73*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 74*p1 & p9 >= p1 & 74*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 75*p1 & p9 >= p1 & 75*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 76*p1 & p9 >= p1 & 76*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 77*p1 & p9 >= p1 & 77*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 78*p1 & p9 >= p1 & 78*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 79*p1 & p9 >= p1 & 79*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 80*p1 & p9 >= p1 & 80*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 81*p1 & p9 >= p1 & 81*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 82*p1 & p9 >= p1 & 82*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 83*p1 & p9 >= p1 & 83*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 84*p1 & p9 >= p1 & 84*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 85*p1 & p9 >= p1 & 85*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 86*p1 & p9 >= p1 & 86*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 87*p1 & p9 >= p1 & 87*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 88*p1 & p9 >= p1 & 88*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 89*p1 & p9 >= p1 & 89*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 90*p1 & p9 >= p1 & 90*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 91*p1 & p9 >= p1 & 91*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 92*p1 & p9 >= p1 & 92*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 93*p1 & p9 >= p1 & 93*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 94*p1 & p9 >= p1 & 94*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 95*p1 & p9 >= p1 & 95*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 96*p1 & p9 >= p1 & 96*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 97*p1 & p9 >= p1 & 97*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 98*p1 & p9 >= p1 & 98*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 99*p1 & p9 >= p1 & 99*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 100*p1 & p9 >= p1 & 100*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 101*p1 & p9 >= p1 & 101*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 102*p1 & p9 >= p1 & 102*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 103*p1 & p9 >= p1 & 103*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 104*p1 & p9 >= p1 & 104*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 105*p1 & p9 >= p1 & 105*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 106*p1 & p9 >= p1 & 106*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 107*p1 & p9 >= p1 & 107*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 108*p1 & p9 >= p1 & 108*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 109*p1 & p9 >= p1 & 109*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 110*p1 & p9 >= p1 & 110*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 111*p1 & p9 >= p1 & 111*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 112*p1 & p9 >= p1 & 112*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 113*p1 & p9 >= p1 & 113*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 114*p1 & p9 >= p1 & 114*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 115*p1 & p9 >= p1 & 115*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 116*p1 & p9 >= p1 & 116*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 117*p1 & p9 >= p1 & 117*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 118*p1 & p9 >= p1 & 118*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 119*p1 & p9 >= p1 & 119*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 120*p1 & p9 >= p1 & 120*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 121*p1 & p9 >= p1 & 121*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 122*p1 & p9 >= p1 & 122*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 123*p1 & p9 >= p1 & 123*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 124*p1 & p9 >= p1 & 124*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 125*p1 & p9 >= p1 & 125*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 126*p1 & p9 >= p1 & 126*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 127*p1 & p9 >= p1 & 127*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 128*p1 & p9 >= p1 & 128*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 129*p1 & p9 >= p1 & 129*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 130*p1 & p9 >= p1 & 130*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 131*p1 & p9 >= p1 & 131*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 132*p1 & p9 >= p1 & 132*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 133*p1 & p9 >= p1 & 133*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 134*p1 & p9 >= p1 & 134*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 135*p1 & p9 >= p1 & 135*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 136*p1 & p9 >= p1 & 136*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 137*p1 & p9 >= p1 & 137*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 138*p1 & p9 >= p1 & 138*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 139*p1 & p9 >= p1 & 139*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 140*p1 & p9 >= p1 & 140*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 141*p1 & p9 >= p1 & 141*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 142*p1 & p9 >= p1 & 142*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 143*p1 & p9 >= p1 & 143*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 144*p1 & p9 >= p1 & 144*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 145*p1 & p9 >= p1 & 145*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 146*p1 & p9 >= p1 & 146*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 147*p1 & p9 >= p1 & 147*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 148*p1 & p9 >= p1 & 148*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 149*p1 & p9 >= p1 & 149*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 150*p1 & p9 >= p1 & 150*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 151*p1 & p9 >= p1 & 151*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 152*p1 & p9 >= p1 & 152*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 153*p1 & p9 >= p1 & 153*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 154*p1 & p9 >= p1 & 154*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 155*p1 & p9 >= p1 & 155*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 156*p1 & p9 >= p1 & 156*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 157*p1 & p9 >= p1 & 157*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 158*p1 & p9 >= p1 & 158*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 159*p1 & p9 >= p1 & 159*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 160*p1 & p9 >= p1 & 160*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 161*p1 & p9 >= p1 & 161*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 162*p1 & p9 >= p1 & 162*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 163*p1 & p9 >= p1 & 163*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 164*p1 & p9 >= p1 & 164*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 165*p1 & p9 >= p1 & 165*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 166*p1 & p9 >= p1 & 166*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 167*p1 & p9 >= p1 & 167*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 168*p1 & p9 >= p1 & 168*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 169*p1 & p9 >= p1 & 169*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 170*p1 & p9 >= p1 & 170*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 171*p1 & p9 >= p1 & 171*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 172*p1 & p9 >= p1 & 172*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 173*p1 & p9 >= p1 & 173*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 174*p1 & p9 >= p1 & 174*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 175*p1 & p9 >= p1 & 175*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 176*p1 & p9 >= p1 & 176*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 177*p1 & p9 >= p1 & 177*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 178*p1 & p9 >= p1 & 178*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 179*p1 & p9 >= p1 & 179*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 180*p1 & p9 >= p1 & 180*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 181*p1 & p9 >= p1 & 181*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 182*p1 & p9 >= p1 & 182*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 183*p1 & p9 >= p1 & 183*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 184*p1 & p9 >= p1 & 184*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 185*p1 & p9 >= p1 & 185*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 186*p1 & p9 >= p1 & 186*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 187*p1 & p9 >= p1 & 187*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 188*p1 & p9 >= p1 & 188*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 189*p1 & p9 >= p1 & 189*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 190*p1 & p9 >= p1 & 190*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 191*p1 & p9 >= p1 & 191*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 192*p1 & p9 >= p1 & 192*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 OR 194*p9 >= p2 & p2 >= p1 & p9 >= p1 & p1 > 0 & p11 >= p9 & p10 >= p2 & p4 > 0 & p3 >= p2 OR p1 > 0 & p2 >= 193*p1 & p9 >= p1 & 193*p9 + p11 >= p2 & p11 > 0 & p9 > p11 & p10 >= p2 & p4 > 0 & p3 >= p2 This good constraint is an under-approximation of the actual result (or the actual result itself)  Result written to file '/home/royal/Desktop/experiments/Etienne/S/coffee/NZCUBtrans.res'. IMITATOR successfully terminated (after 346.331 seconds)