priorities 1. TryingConnect->H 1. TryingConnect->H 2. TryingConnect->Initial 2. TryingConnect->Initial 1. TryingConnect->H->2. TryingConnect->Initial pseudo0 1. TryingConnect->H->pseudo0 2. TryingConnect->Initial->pseudo0 5. GettingRoomNumber->GettingRoomNumber 5. GettingRoomNumber->GettingRoomNumber 6. GettingRoomNumber->JoiningOrJoined 6. GettingRoomNumber->JoiningOrJoined 5. GettingRoomNumber->GettingRoomNumber->6. GettingRoomNumber->JoiningOrJoined 5. GettingRoomNumber->GettingRoomNumber->pseudo0 7. GettingRoomNumber->GettingRoomNumber 7. GettingRoomNumber->GettingRoomNumber 6. GettingRoomNumber->JoiningOrJoined->7. GettingRoomNumber->GettingRoomNumber 6. GettingRoomNumber->JoiningOrJoined->pseudo0 8. GettingRoomNumber->GettingRoomNumber 8. GettingRoomNumber->GettingRoomNumber 7. GettingRoomNumber->GettingRoomNumber->8. GettingRoomNumber->GettingRoomNumber 7. GettingRoomNumber->GettingRoomNumber->pseudo0 8. GettingRoomNumber->GettingRoomNumber->pseudo0 11. Initial->EnteringMessage 11. Initial->EnteringMessage 12. Initial->Leaving 12. Initial->Leaving 11. Initial->EnteringMessage->12. Initial->Leaving 11. Initial->EnteringMessage->pseudo0 12. Initial->Leaving->pseudo0 13. EnteringMessage->EnteringMessage 13. EnteringMessage->EnteringMessage 14. EnteringMessage->Initial 14. EnteringMessage->Initial 13. EnteringMessage->EnteringMessage->14. EnteringMessage->Initial 13. EnteringMessage->EnteringMessage->pseudo0 15. EnteringMessage->EnteringMessage 15. EnteringMessage->EnteringMessage 14. EnteringMessage->Initial->15. EnteringMessage->EnteringMessage 14. EnteringMessage->Initial->pseudo0 15. EnteringMessage->EnteringMessage->pseudo0 18. ExpectingAnswer->Pinging 18. ExpectingAnswer->Pinging 19. ExpectingAnswer->Initial 19. ExpectingAnswer->Initial 18. ExpectingAnswer->Pinging->19. ExpectingAnswer->Initial pseudo1 18. ExpectingAnswer->Pinging->pseudo1 19. ExpectingAnswer->Initial->pseudo1 3. Connected->Connecting 3. Connected->Connecting 3. Connected->Connecting->5. GettingRoomNumber->GettingRoomNumber 3. Connected->Connecting->6. GettingRoomNumber->JoiningOrJoined 3. Connected->Connecting->7. GettingRoomNumber->GettingRoomNumber 3. Connected->Connecting->8. GettingRoomNumber->GettingRoomNumber 3. Connected->Connecting->11. Initial->EnteringMessage 3. Connected->Connecting->12. Initial->Leaving 3. Connected->Connecting->13. EnteringMessage->EnteringMessage 3. Connected->Connecting->14. EnteringMessage->Initial 3. Connected->Connecting->15. EnteringMessage->EnteringMessage 4. NotJoined->GettingRoomNumber 4. NotJoined->GettingRoomNumber 3. Connected->Connecting->4. NotJoined->GettingRoomNumber 9. Leaving->NotJoined 9. Leaving->NotJoined 3. Connected->Connecting->9. Leaving->NotJoined 10. Joining->H 10. Joining->H 3. Connected->Connecting->10. Joining->H 3. Connected->Connecting->pseudo0 4. NotJoined->GettingRoomNumber->pseudo0 9. Leaving->NotJoined->pseudo0 10. Joining->H->pseudo0 pseudo0->18. ExpectingAnswer->Pinging pseudo0->19. ExpectingAnswer->Initial 16. Initial->Pinging 16. Initial->Pinging pseudo0->16. Initial->Pinging 17. Pinging->ExpectingAnswer 17. Pinging->ExpectingAnswer pseudo0->17. Pinging->ExpectingAnswer 0. Initial->TryingConnect 0. Initial->TryingConnect 0. Initial->TryingConnect->pseudo0 16. Initial->Pinging->pseudo1 17. Pinging->ExpectingAnswer->pseudo1 20. Receiving->Receiving 20. Receiving->Receiving pseudo1->20. Receiving->Receiving