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