digraph g {

	s0 [shape="circle" label="0"];
	s1 [shape="circle" label="1"];
	s2 [shape="circle" label="2"];
	s3 [shape="circle" label="3"];
	s4 [shape="circle" label="4"];
	s5 [shape="circle" label="5"];
	s6 [shape="circle" label="6"];
	s7 [shape="circle" label="7"];
	s8 [shape="circle" label="8"];
	s0 -> s1 [label="Mapper.connect() / * OK IMAPrev1"];
	s0 -> s0 [label="CAPABILITY / Mapper: Exception"];
	s0 -> s0 [label="LOGOUT / Mapper: Exception"];
	s0 -> s0 [label="LOGIN #username# #password# / Mapper: Exception"];
	s0 -> s0 [label="SELECT INBOX / Mapper: Exception"];
	s0 -> s0 [label="EXAMINE INBOX / Mapper: Exception"];
	s0 -> s0 [label="COPY 1 NonExistentFolder / Mapper: Exception"];
	s0 -> s0 [label="STARTTLS / Mapper: Exception"];
	s0 -> s0 [label="LIST \"\" * / Mapper: Exception"];
	s0 -> s0 [label="LIST \"\" % / Mapper: Exception"];
	s0 -> s0 [label="LIST \"\" \"\" / Mapper: Exception"];
	s0 -> s0 [label="LSUB \"\" * / Mapper: Exception"];
	s0 -> s0 [label="LSUB \"\" % / Mapper: Exception"];
	s0 -> s0 [label="CLOSE / Mapper: Exception"];
	s0 -> s0 [label="EXPUNGE / Mapper: Exception"];
	s0 -> s0 [label="COPY 1 INBOX / Mapper: Exception"];
	s0 -> s0 [label="APPEND INBOX (\\Seen) #size# #message# / Mapper: Exception"];
	s0 -> s0 [label="CHECK / Mapper: Exception"];
	s0 -> s0 [label="SEARCH RETURN SEEN / Mapper: Exception"];
	s0 -> s0 [label="FETCH 1 FULL BODY.PEEK[1.TEXT] / Mapper: Exception"];
	s0 -> s0 [label="STORE 1 FLAGS.SILENT (\\Seen) / Mapper: Exception"];
	s0 -> s0 [label="NOOP / Mapper: Exception"];
	s0 -> s0 [label="AUTHENTICATE \"PLAIN\" / Mapper: Exception"];
	s0 -> s0 [label="STATUS INBOX (MESSAGES RECENT UIDNEXT UIDVALIDITY UNSEEN) / Mapper: Exception"];
	s0 -> s0 [label="APPEND NonExistentFolder #size# #message# / Mapper: Exception"];
	s0 -> s0 [label="CREATE INBOX / Mapper: Exception"];
	s0 -> s0 [label="DELETE INBOX / Mapper: Exception"];
	s0 -> s0 [label="UID SEARCH SEEN / Mapper: Exception"];
	s0 -> s0 [label="UID FETCH #NonExistentUID# BODY / Mapper: Exception"];
	s0 -> s0 [label="LIST \"myForthMailbox.\" \"sub*\" / Mapper: Exception"];
	s0 -> s0 [label="LSUB \"\" \"myForthMailbox.%\" / Mapper: Exception"];
	s0 -> s0 [label="UID COPY #UID# INBOX / Mapper: Exception"];
	s0 -> s0 [label="UID FETCH #UID# BODY / Mapper: Exception"];
	s0 -> s0 [label="UID STORE #UID# +FLAGS (\\Seen) / Mapper: Exception"];
	s1 -> s1 [label="Mapper.connect() / #tag# BAD Unknown or NULL command"];
	s1 -> s1 [label="CAPABILITY / * CAPABILITY IMAP4 IMAP4rev1 CHILDREN IDLE QUOTA SORT ACL STARTTLS NAMESPACE RIGHTS=texk #tag# OK CAPABILITY completed"];
	s1 -> s2 [label="LOGOUT / * BYE Have a nice day #tag# OK Logout completed"];
	s1 -> s1 [label="LOGIN #username# #password# / #tag# BAD STARTTLS is required."];
	s1 -> s1 [label="SELECT INBOX / #tag# NO Authenticate first"];
	s1 -> s1 [label="EXAMINE INBOX / #tag# NO Authenticate first"];
	s1 -> s1 [label="COPY 1 NonExistentFolder / #tag# NO Authenticate first"];
	s1 -> s3 [label="STARTTLS / #tag# OK Begin TLS negotiation now"];
	s1 -> s1 [label="LIST \"\" * / #tag# NO Authenticate first"];
	s1 -> s1 [label="LIST \"\" % / #tag# NO Authenticate first"];
	s1 -> s1 [label="LIST \"\" \"\" / #tag# NO Authenticate first"];
	s1 -> s1 [label="LSUB \"\" * / #tag# NO Authenticate first"];
	s1 -> s1 [label="LSUB \"\" % / #tag# NO Authenticate first"];
	s1 -> s1 [label="CLOSE / #tag# NO Authenticate first"];
	s1 -> s1 [label="EXPUNGE / #tag# NO Authenticate first"];
	s1 -> s1 [label="COPY 1 INBOX / #tag# NO Authenticate first"];
	s1 -> s1 [label="APPEND INBOX (\\Seen) #size# #message# / #tag# NO Authenticate first"];
	s1 -> s1 [label="CHECK / #tag# NO Authenticate first"];
	s1 -> s1 [label="SEARCH RETURN SEEN / #tag# NO Authenticate first"];
	s1 -> s1 [label="FETCH 1 FULL BODY.PEEK[1.TEXT] / #tag# NO Authenticate first"];
	s1 -> s1 [label="STORE 1 FLAGS.SILENT (\\Seen) / #tag# NO Authenticate first"];
	s1 -> s1 [label="NOOP / #tag# OK NOOP completed"];
	s1 -> s1 [label="AUTHENTICATE \"PLAIN\" / #tag# NO Unsupported authentication mechanism."];
	s1 -> s1 [label="STATUS INBOX (MESSAGES RECENT UIDNEXT UIDVALIDITY UNSEEN) / #tag# NO Authenticate first"];
	s1 -> s1 [label="APPEND NonExistentFolder #size# #message# / #tag# NO Authenticate first"];
	s1 -> s1 [label="CREATE INBOX / #tag# NO Authenticate first"];
	s1 -> s1 [label="DELETE INBOX / #tag# NO Authenticate first"];
	s1 -> s1 [label="UID SEARCH SEEN / #tag# NO Authenticate first"];
	s1 -> s1 [label="UID FETCH #NonExistentUID# BODY / #tag# NO Authenticate first"];
	s1 -> s1 [label="LIST \"myForthMailbox.\" \"sub*\" / #tag# NO Authenticate first"];
	s1 -> s1 [label="LSUB \"\" \"myForthMailbox.%\" / #tag# NO Authenticate first"];
	s1 -> s1 [label="UID COPY #UID# INBOX / #tag# NO Authenticate first"];
	s1 -> s1 [label="UID FETCH #UID# BODY / #tag# NO Authenticate first"];
	s1 -> s1 [label="UID STORE #UID# +FLAGS (\\Seen) / #tag# NO Authenticate first"];
	s2 -> s2 [label="Mapper.connect() / Mapper: Exception"];
	s2 -> s2 [label="CAPABILITY / Mapper: Exception"];
	s2 -> s2 [label="LOGOUT / Mapper: Exception"];
	s2 -> s2 [label="LOGIN #username# #password# / Mapper: Exception"];
	s2 -> s2 [label="SELECT INBOX / Mapper: Exception"];
	s2 -> s2 [label="EXAMINE INBOX / Mapper: Exception"];
	s2 -> s2 [label="COPY 1 NonExistentFolder / Mapper: Exception"];
	s2 -> s2 [label="STARTTLS / Mapper: Exception"];
	s2 -> s2 [label="LIST \"\" * / Mapper: Exception"];
	s2 -> s2 [label="LIST \"\" % / Mapper: Exception"];
	s2 -> s2 [label="LIST \"\" \"\" / Mapper: Exception"];
	s2 -> s2 [label="LSUB \"\" * / Mapper: Exception"];
	s2 -> s2 [label="LSUB \"\" % / Mapper: Exception"];
	s2 -> s2 [label="CLOSE / Mapper: Exception"];
	s2 -> s2 [label="EXPUNGE / Mapper: Exception"];
	s2 -> s2 [label="COPY 1 INBOX / Mapper: Exception"];
	s2 -> s2 [label="APPEND INBOX (\\Seen) #size# #message# / Mapper: Exception"];
	s2 -> s2 [label="CHECK / Mapper: Exception"];
	s2 -> s2 [label="SEARCH RETURN SEEN / Mapper: Exception"];
	s2 -> s2 [label="FETCH 1 FULL BODY.PEEK[1.TEXT] / Mapper: Exception"];
	s2 -> s2 [label="STORE 1 FLAGS.SILENT (\\Seen) / Mapper: Exception"];
	s2 -> s2 [label="NOOP / Mapper: Exception"];
	s2 -> s2 [label="AUTHENTICATE \"PLAIN\" / Mapper: Exception"];
	s2 -> s2 [label="STATUS INBOX (MESSAGES RECENT UIDNEXT UIDVALIDITY UNSEEN) / Mapper: Exception"];
	s2 -> s2 [label="APPEND NonExistentFolder #size# #message# / Mapper: Exception"];
	s2 -> s2 [label="CREATE INBOX / Mapper: Exception"];
	s2 -> s2 [label="DELETE INBOX / Mapper: Exception"];
	s2 -> s2 [label="UID SEARCH SEEN / Mapper: Exception"];
	s2 -> s2 [label="UID FETCH #NonExistentUID# BODY / Mapper: Exception"];
	s2 -> s2 [label="LIST \"myForthMailbox.\" \"sub*\" / Mapper: Exception"];
	s2 -> s2 [label="LSUB \"\" \"myForthMailbox.%\" / Mapper: Exception"];
	s2 -> s2 [label="UID COPY #UID# INBOX / Mapper: Exception"];
	s2 -> s2 [label="UID FETCH #UID# BODY / Mapper: Exception"];
	s2 -> s2 [label="UID STORE #UID# +FLAGS (\\Seen) / Mapper: Exception"];
	s3 -> s3 [label="Mapper.connect() / #tag# BAD Unknown or NULL command"];
	s3 -> s3 [label="CAPABILITY / * CAPABILITY IMAP4 IMAP4rev1 CHILDREN IDLE QUOTA SORT ACL STARTTLS NAMESPACE RIGHTS=texk #tag# OK CAPABILITY completed"];
	s3 -> s2 [label="LOGOUT / * BYE Have a nice day #tag# OK Logout completed"];
	s3 -> s4 [label="LOGIN #username# #password# / #tag# OK LOGIN completed"];
	s3 -> s3 [label="SELECT INBOX / #tag# NO Authenticate first"];
	s3 -> s3 [label="EXAMINE INBOX / #tag# NO Authenticate first"];
	s3 -> s3 [label="COPY 1 NonExistentFolder / #tag# NO Authenticate first"];
	s3 -> s3 [label="STARTTLS / #tag# OK Begin TLS negotiation now"];
	s3 -> s3 [label="LIST \"\" * / #tag# NO Authenticate first"];
	s3 -> s3 [label="LIST \"\" % / #tag# NO Authenticate first"];
	s3 -> s3 [label="LIST \"\" \"\" / #tag# NO Authenticate first"];
	s3 -> s3 [label="LSUB \"\" * / #tag# NO Authenticate first"];
	s3 -> s3 [label="LSUB \"\" % / #tag# NO Authenticate first"];
	s3 -> s3 [label="CLOSE / #tag# NO Authenticate first"];
	s3 -> s3 [label="EXPUNGE / #tag# NO Authenticate first"];
	s3 -> s3 [label="COPY 1 INBOX / #tag# NO Authenticate first"];
	s3 -> s3 [label="APPEND INBOX (\\Seen) #size# #message# / #tag# NO Authenticate first"];
	s3 -> s3 [label="CHECK / #tag# NO Authenticate first"];
	s3 -> s3 [label="SEARCH RETURN SEEN / #tag# NO Authenticate first"];
	s3 -> s3 [label="FETCH 1 FULL BODY.PEEK[1.TEXT] / #tag# NO Authenticate first"];
	s3 -> s3 [label="STORE 1 FLAGS.SILENT (\\Seen) / #tag# NO Authenticate first"];
	s3 -> s3 [label="NOOP / #tag# OK NOOP completed"];
	s3 -> s3 [label="AUTHENTICATE \"PLAIN\" / #tag# NO Unsupported authentication mechanism."];
	s3 -> s3 [label="STATUS INBOX (MESSAGES RECENT UIDNEXT UIDVALIDITY UNSEEN) / #tag# NO Authenticate first"];
	s3 -> s3 [label="APPEND NonExistentFolder #size# #message# / #tag# NO Authenticate first"];
	s3 -> s3 [label="CREATE INBOX / #tag# NO Authenticate first"];
	s3 -> s3 [label="DELETE INBOX / #tag# NO Authenticate first"];
	s3 -> s3 [label="UID SEARCH SEEN / #tag# NO Authenticate first"];
	s3 -> s3 [label="UID FETCH #NonExistentUID# BODY / #tag# NO Authenticate first"];
	s3 -> s3 [label="LIST \"myForthMailbox.\" \"sub*\" / #tag# NO Authenticate first"];
	s3 -> s3 [label="LSUB \"\" \"myForthMailbox.%\" / #tag# NO Authenticate first"];
	s3 -> s3 [label="UID COPY #UID# INBOX / #tag# NO Authenticate first"];
	s3 -> s3 [label="UID FETCH #UID# BODY / #tag# NO Authenticate first"];
	s3 -> s3 [label="UID STORE #UID# +FLAGS (\\Seen) / #tag# NO Authenticate first"];
	s4 -> s4 [label="Mapper.connect() / #tag# BAD Unknown or NULL command"];
	s4 -> s4 [label="CAPABILITY / * CAPABILITY IMAP4 IMAP4rev1 CHILDREN IDLE QUOTA SORT ACL STARTTLS NAMESPACE RIGHTS=texk #tag# OK CAPABILITY completed"];
	s4 -> s2 [label="LOGOUT / * BYE Have a nice day #tag# OK Logout completed"];
	s4 -> s4 [label="LOGIN #username# #password# / #tag# OK LOGIN completed"];
	s4 -> s5 [label="SELECT INBOX / * #number# EXISTS * #number# RECENT * FLAGS (\\Deleted \\Seen \\Draft \\Answered \\Flagged) * OK [UIDVALIDITY 1733393595] current uidvalidity * OK [UIDNEXT #UIDNext#] next uid * OK [PERMANENTFLAGS (\\Deleted \\Seen \\Draft \\Answered \\Flagged)] limited #tag# OK [READ-WRITE] SELECT completed"];
	s4 -> s6 [label="EXAMINE INBOX / * #number# EXISTS * #number# RECENT * FLAGS (\\Deleted \\Seen \\Draft \\Answered \\Flagged) * OK [UIDVALIDITY 1733393595] current uidvalidity * OK [UIDNEXT #UIDNext#] next uid * OK [PERMANENTFLAGS ()] limited #tag# OK [READ-ONLY] EXAMINE completed"];
	s4 -> s4 [label="COPY 1 NonExistentFolder / #tag# NO No folder selected."];
	s4 -> s4 [label="STARTTLS / #tag# OK Begin TLS negotiation now"];
	s4 -> s4 [label="LIST \"\" * / * LIST (\\HasNoChildren) \".\" \"INBOX\" * LIST (\\HasChildren) \".\" \"myForthMailbox\" * LIST (\\HasNoChildren) \".\" \"myForthMailbox.subfolder2\" * LIST (\\HasNoChildren) \".\" \"myForthMailbox.anotherSubfolder\" #tag# OK LIST completed"];
	s4 -> s4 [label="LIST \"\" % / * LIST (\\HasNoChildren) \".\" \"INBOX\" * LIST (\\HasChildren) \".\" \"myForthMailbox\" #tag# OK LIST completed"];
	s4 -> s4 [label="LIST \"\" \"\" / * LIST (\\Noselect) \".\" \"\" #tag# OK LIST completed"];
	s4 -> s4 [label="LSUB \"\" * / * LSUB (\\HasNoChildren) \".\" \"INBOX\" * LSUB (\\HasNoChildren) \".\" \"myForthMailbox.anotherSubfolder\" #tag# OK LSUB completed"];
	s4 -> s4 [label="LSUB \"\" % / * LSUB (\\HasNoChildren) \".\" \"INBOX\" #tag# OK LSUB completed"];
	s4 -> s4 [label="CLOSE / #tag# BAD No folder selected."];
	s4 -> s4 [label="EXPUNGE / #tag# NO No folder selected."];
	s4 -> s4 [label="COPY 1 INBOX / #tag# NO No folder selected."];
	s4 -> s4 [label="APPEND INBOX (\\Seen) #size# #message# / #tag# OK APPEND completed"];
	s4 -> s4 [label="CHECK / #tag# OK CHECK completed"];
	s4 -> s4 [label="SEARCH RETURN SEEN / #tag# NO No folder selected."];
	s4 -> s4 [label="FETCH 1 FULL BODY.PEEK[1.TEXT] / #tag# NO No folder selected."];
	s4 -> s4 [label="STORE 1 FLAGS.SILENT (\\Seen) / #tag# NO No folder selected."];
	s4 -> s4 [label="NOOP / #tag# OK NOOP completed"];
	s4 -> s4 [label="AUTHENTICATE \"PLAIN\" / #tag# NO Unsupported authentication mechanism."];
	s4 -> s4 [label="STATUS INBOX (MESSAGES RECENT UIDNEXT UIDVALIDITY UNSEEN) / * STATUS \"INBOX\" (MESSAGES #number# UNSEEN #number# RECENT #number# UIDNEXT #UIDNext# UIDVALIDITY 1733393595) #tag# OK Status completed"];
	s4 -> s4 [label="APPEND NonExistentFolder #size# #message# / #tag# NO [TRYCREATE] Folder could not be found."];
	s4 -> s4 [label="CREATE INBOX / #tag# NO Folder already exists."];
	s4 -> s4 [label="DELETE INBOX / #tag# NO You cannot delete the inbox."];
	s4 -> s4 [label="UID SEARCH SEEN / #tag# NO No folder selected."];
	s4 -> s4 [label="UID FETCH #NonExistentUID# BODY / #tag# NO No folder selected."];
	s4 -> s4 [label="LIST \"myForthMailbox.\" \"sub*\" / * LIST (\\HasNoChildren) \".\" \"myForthMailbox.subfolder2\" #tag# OK LIST completed"];
	s4 -> s4 [label="LSUB \"\" \"myForthMailbox.%\" / * LSUB (\\HasNoChildren) \".\" \"myForthMailbox.anotherSubfolder\" #tag# OK LSUB completed"];
	s4 -> s4 [label="UID COPY #UID# INBOX / #tag# NO No folder selected."];
	s4 -> s4 [label="UID FETCH #UID# BODY / #tag# NO No folder selected."];
	s4 -> s4 [label="UID STORE #UID# +FLAGS (\\Seen) / #tag# NO No folder selected."];
	s5 -> s5 [label="Mapper.connect() / #tag# BAD Unknown or NULL command"];
	s5 -> s5 [label="CAPABILITY / * CAPABILITY IMAP4 IMAP4rev1 CHILDREN IDLE QUOTA SORT ACL STARTTLS NAMESPACE RIGHTS=texk #tag# OK CAPABILITY completed"];
	s5 -> s2 [label="LOGOUT / * BYE Have a nice day #tag# OK Logout completed"];
	s5 -> s5 [label="LOGIN #username# #password# / #tag# OK LOGIN completed"];
	s5 -> s5 [label="SELECT INBOX / * #number# EXISTS * #number# RECENT * FLAGS (\\Deleted \\Seen \\Draft \\Answered \\Flagged) * OK [UIDVALIDITY 1733393595] current uidvalidity * OK [UIDNEXT #UIDNext#] next uid * OK [PERMANENTFLAGS (\\Deleted \\Seen \\Draft \\Answered \\Flagged)] limited #tag# OK [READ-WRITE] SELECT completed"];
	s5 -> s6 [label="EXAMINE INBOX / * #number# EXISTS * #number# RECENT * FLAGS (\\Deleted \\Seen \\Draft \\Answered \\Flagged) * OK [UIDVALIDITY 1733393595] current uidvalidity * OK [UIDNEXT #UIDNext#] next uid * OK [PERMANENTFLAGS ()] limited #tag# OK [READ-ONLY] EXAMINE completed"];
	s5 -> s7 [label="COPY 1 NonExistentFolder / #tag# NO Can't find mailbox with that name."];
	s5 -> s5 [label="STARTTLS / #tag# OK Begin TLS negotiation now"];
	s5 -> s5 [label="LIST \"\" * / * LIST (\\HasNoChildren) \".\" \"INBOX\" * LIST (\\HasChildren) \".\" \"myForthMailbox\" * LIST (\\HasNoChildren) \".\" \"myForthMailbox.subfolder2\" * LIST (\\HasNoChildren) \".\" \"myForthMailbox.anotherSubfolder\" #tag# OK LIST completed"];
	s5 -> s5 [label="LIST \"\" % / * LIST (\\HasNoChildren) \".\" \"INBOX\" * LIST (\\HasChildren) \".\" \"myForthMailbox\" #tag# OK LIST completed"];
	s5 -> s5 [label="LIST \"\" \"\" / * LIST (\\Noselect) \".\" \"\" #tag# OK LIST completed"];
	s5 -> s5 [label="LSUB \"\" * / * LSUB (\\HasNoChildren) \".\" \"INBOX\" * LSUB (\\HasNoChildren) \".\" \"myForthMailbox.anotherSubfolder\" #tag# OK LSUB completed"];
	s5 -> s5 [label="LSUB \"\" % / * LSUB (\\HasNoChildren) \".\" \"INBOX\" #tag# OK LSUB completed"];
	s5 -> s4 [label="CLOSE / #tag# OK CLOSE completed"];
	s5 -> s5 [label="EXPUNGE / #tag# OK EXPUNGE Completed"];
	s5 -> s5 [label="COPY 1 INBOX / #tag# OK COPY completed"];
	s5 -> s5 [label="APPEND INBOX (\\Seen) #size# #message# / * #number# EXISTS * #number# RECENT #tag# OK APPEND completed"];
	s5 -> s5 [label="CHECK / #tag# OK CHECK completed"];
	s5 -> s5 [label="SEARCH RETURN SEEN / * SEARCH #numbers# #tag# OK Search completed"];
	s5 -> s5 [label="FETCH 1 FULL BODY.PEEK[1.TEXT] / * 1 FETCH (RFC822.SIZE 516 FLAGS (\\Seen) INTERNALDATE \" #date#\" ENVELOPE (\"Mon, 9 Dec #tag# 15:24:53 +0100\" \"#subject#()\" #senderEmail#\" NIL #recipient# #senderDomain#)) #senderEmail#\" NIL #recipient# #senderDomain#)) #senderEmail#\" NIL #recipient# #senderDomain#)) #senderEmail#\" NIL #recipient# #senderDomain#)) NIL NIL NIL \"<758348212.0.1733754293508@LAPTOP-K9RCHRDP>\") BODYSTRUCTURE (\"TEXT\" \"PLAIN\" (\"CHARSET\" \"UTF-8\") NIL \"#subject#()\" \"7bit\" 47 2) BODY[1.TEXT] {47} #emailContent#). ) #tag# OK FETCH completed"];
	s5 -> s5 [label="STORE 1 FLAGS.SILENT (\\Seen) / #tag# OK STORE completed"];
	s5 -> s5 [label="NOOP / #tag# OK NOOP completed"];
	s5 -> s5 [label="AUTHENTICATE \"PLAIN\" / #tag# NO Unsupported authentication mechanism."];
	s5 -> s5 [label="STATUS INBOX (MESSAGES RECENT UIDNEXT UIDVALIDITY UNSEEN) / * STATUS \"INBOX\" (MESSAGES #number# UNSEEN #number# RECENT #number# UIDNEXT #UIDNext# UIDVALIDITY 1733393595) #tag# OK Status completed"];
	s5 -> s5 [label="APPEND NonExistentFolder #size# #message# / #tag# NO [TRYCREATE] Folder could not be found."];
	s5 -> s5 [label="CREATE INBOX / #tag# NO Folder already exists."];
	s5 -> s5 [label="DELETE INBOX / #tag# NO You cannot delete the inbox."];
	s5 -> s5 [label="UID SEARCH SEEN / * SEARCH #numbers# #tag# OK UID completed"];
	s5 -> s5 [label="UID FETCH #NonExistentUID# BODY / #tag# OK UID completed"];
	s5 -> s5 [label="LIST \"myForthMailbox.\" \"sub*\" / * LIST (\\HasNoChildren) \".\" \"myForthMailbox.subfolder2\" #tag# OK LIST completed"];
	s5 -> s5 [label="LSUB \"\" \"myForthMailbox.%\" / * LSUB (\\HasNoChildren) \".\" \"myForthMailbox.anotherSubfolder\" #tag# OK LSUB completed"];
	s5 -> s5 [label="UID COPY #UID# INBOX / #tag# OK UID completed"];
	s5 -> s5 [label="UID FETCH #UID# BODY / * 1 FETCH (UID #UID# #tag# (\"TEXT\" \"PLAIN\" (\"CHARSET\" \"UTF-8\") NIL \"#subject#()\" \"7bit\" 47 2)) #tag# OK UID completed"];
	s5 -> s5 [label="UID STORE #UID# +FLAGS (\\Seen) / * 1 FETCH (FLAGS (\\Seen) UID #UID#) #tag# OK UID completed"];
	s6 -> s6 [label="Mapper.connect() / #tag# BAD Unknown or NULL command"];
	s6 -> s6 [label="CAPABILITY / * CAPABILITY IMAP4 IMAP4rev1 CHILDREN IDLE QUOTA SORT ACL STARTTLS NAMESPACE RIGHTS=texk #tag# OK CAPABILITY completed"];
	s6 -> s2 [label="LOGOUT / * BYE Have a nice day #tag# OK Logout completed"];
	s6 -> s6 [label="LOGIN #username# #password# / #tag# OK LOGIN completed"];
	s6 -> s5 [label="SELECT INBOX / * #number# EXISTS * #number# RECENT * FLAGS (\\Deleted \\Seen \\Draft \\Answered \\Flagged) * OK [UIDVALIDITY 1733393595] current uidvalidity * OK [UIDNEXT #UIDNext#] next uid * OK [PERMANENTFLAGS (\\Deleted \\Seen \\Draft \\Answered \\Flagged)] limited #tag# OK [READ-WRITE] SELECT completed"];
	s6 -> s6 [label="EXAMINE INBOX / * #number# EXISTS * #number# RECENT * FLAGS (\\Deleted \\Seen \\Draft \\Answered \\Flagged) * OK [UIDVALIDITY 1733393595] current uidvalidity * OK [UIDNEXT #UIDNext#] next uid * OK [PERMANENTFLAGS ()] limited #tag# OK [READ-ONLY] EXAMINE completed"];
	s6 -> s7 [label="COPY 1 NonExistentFolder / #tag# NO Can't find mailbox with that name."];
	s6 -> s6 [label="STARTTLS / #tag# OK Begin TLS negotiation now"];
	s6 -> s6 [label="LIST \"\" * / * LIST (\\HasNoChildren) \".\" \"INBOX\" * LIST (\\HasChildren) \".\" \"myForthMailbox\" * LIST (\\HasNoChildren) \".\" \"myForthMailbox.subfolder2\" * LIST (\\HasNoChildren) \".\" \"myForthMailbox.anotherSubfolder\" #tag# OK LIST completed"];
	s6 -> s6 [label="LIST \"\" % / * LIST (\\HasNoChildren) \".\" \"INBOX\" * LIST (\\HasChildren) \".\" \"myForthMailbox\" #tag# OK LIST completed"];
	s6 -> s6 [label="LIST \"\" \"\" / * LIST (\\Noselect) \".\" \"\" #tag# OK LIST completed"];
	s6 -> s6 [label="LSUB \"\" * / * LSUB (\\HasNoChildren) \".\" \"INBOX\" * LSUB (\\HasNoChildren) \".\" \"myForthMailbox.anotherSubfolder\" #tag# OK LSUB completed"];
	s6 -> s6 [label="LSUB \"\" % / * LSUB (\\HasNoChildren) \".\" \"INBOX\" #tag# OK LSUB completed"];
	s6 -> s8 [label="CLOSE / #tag# OK CLOSE completed"];
	s6 -> s6 [label="EXPUNGE / #tag# NO Expunge command on read-only folder."];
	s6 -> s6 [label="COPY 1 INBOX / #tag# OK COPY completed"];
	s6 -> s6 [label="APPEND INBOX (\\Seen) #size# #message# / * #number# EXISTS * #number# RECENT #tag# OK APPEND completed"];
	s6 -> s6 [label="CHECK / #tag# OK CHECK completed"];
	s6 -> s6 [label="SEARCH RETURN SEEN / * SEARCH #numbers# #tag# OK Search completed"];
	s6 -> s6 [label="FETCH 1 FULL BODY.PEEK[1.TEXT] / * 1 FETCH (RFC822.SIZE 516 FLAGS (\\Seen) INTERNALDATE \" #date#\" ENVELOPE (\"Mon, 9 Dec #tag# 15:24:53 +0100\" \"#subject#()\" #senderEmail#\" NIL #recipient# #senderDomain#)) #senderEmail#\" NIL #recipient# #senderDomain#)) #senderEmail#\" NIL #recipient# #senderDomain#)) #senderEmail#\" NIL #recipient# #senderDomain#)) NIL NIL NIL \"<758348212.0.1733754293508@LAPTOP-K9RCHRDP>\") BODYSTRUCTURE (\"TEXT\" \"PLAIN\" (\"CHARSET\" \"UTF-8\") NIL \"#subject#()\" \"7bit\" 47 2) BODY[1.TEXT] {47} #emailContent#). ) #tag# OK FETCH completed"];
	s6 -> s6 [label="STORE 1 FLAGS.SILENT (\\Seen) / #tag# NO Store command on read-only folder."];
	s6 -> s6 [label="NOOP / #tag# OK NOOP completed"];
	s6 -> s6 [label="AUTHENTICATE \"PLAIN\" / #tag# NO Unsupported authentication mechanism."];
	s6 -> s6 [label="STATUS INBOX (MESSAGES RECENT UIDNEXT UIDVALIDITY UNSEEN) / * STATUS \"INBOX\" (MESSAGES #number# UNSEEN #number# RECENT #number# UIDNEXT #UIDNext# UIDVALIDITY 1733393595) #tag# OK Status completed"];
	s6 -> s6 [label="APPEND NonExistentFolder #size# #message# / #tag# NO [TRYCREATE] Folder could not be found."];
	s6 -> s6 [label="CREATE INBOX / #tag# NO Folder already exists."];
	s6 -> s6 [label="DELETE INBOX / #tag# NO You cannot delete the inbox."];
	s6 -> s6 [label="UID SEARCH SEEN / * SEARCH #numbers# #tag# OK UID completed"];
	s6 -> s6 [label="UID FETCH #NonExistentUID# BODY / #tag# OK UID completed"];
	s6 -> s6 [label="LIST \"myForthMailbox.\" \"sub*\" / * LIST (\\HasNoChildren) \".\" \"myForthMailbox.subfolder2\" #tag# OK LIST completed"];
	s6 -> s6 [label="LSUB \"\" \"myForthMailbox.%\" / * LSUB (\\HasNoChildren) \".\" \"myForthMailbox.anotherSubfolder\" #tag# OK LSUB completed"];
	s6 -> s6 [label="UID COPY #UID# INBOX / #tag# OK UID completed"];
	s6 -> s6 [label="UID FETCH #UID# BODY / * 1 FETCH (UID #UID# #tag# (\"TEXT\" \"PLAIN\" (\"CHARSET\" \"UTF-8\") NIL \"#subject#()\" \"7bit\" 47 2)) #tag# OK UID completed"];
	s6 -> s6 [label="UID STORE #UID# +FLAGS (\\Seen) / #tag# NO Store command on read-only folder."];
	s7 -> s7 [label="Mapper.connect() / sink state"];
	s7 -> s7 [label="CAPABILITY / sink state"];
	s7 -> s7 [label="LOGOUT / sink state"];
	s7 -> s7 [label="LOGIN #username# #password# / sink state"];
	s7 -> s7 [label="SELECT INBOX / sink state"];
	s7 -> s7 [label="EXAMINE INBOX / sink state"];
	s7 -> s7 [label="COPY 1 NonExistentFolder / sink state"];
	s7 -> s7 [label="STARTTLS / sink state"];
	s7 -> s7 [label="LIST \"\" * / sink state"];
	s7 -> s7 [label="LIST \"\" % / sink state"];
	s7 -> s7 [label="LIST \"\" \"\" / sink state"];
	s7 -> s7 [label="LSUB \"\" * / sink state"];
	s7 -> s7 [label="LSUB \"\" % / sink state"];
	s7 -> s7 [label="CLOSE / sink state"];
	s7 -> s7 [label="EXPUNGE / sink state"];
	s7 -> s7 [label="COPY 1 INBOX / sink state"];
	s7 -> s7 [label="APPEND INBOX (\\Seen) #size# #message# / sink state"];
	s7 -> s7 [label="CHECK / sink state"];
	s7 -> s7 [label="SEARCH RETURN SEEN / sink state"];
	s7 -> s7 [label="FETCH 1 FULL BODY.PEEK[1.TEXT] / sink state"];
	s7 -> s7 [label="STORE 1 FLAGS.SILENT (\\Seen) / sink state"];
	s7 -> s7 [label="NOOP / sink state"];
	s7 -> s7 [label="AUTHENTICATE \"PLAIN\" / sink state"];
	s7 -> s7 [label="STATUS INBOX (MESSAGES RECENT UIDNEXT UIDVALIDITY UNSEEN) / sink state"];
	s7 -> s7 [label="APPEND NonExistentFolder #size# #message# / sink state"];
	s7 -> s7 [label="CREATE INBOX / sink state"];
	s7 -> s7 [label="DELETE INBOX / sink state"];
	s7 -> s7 [label="UID SEARCH SEEN / sink state"];
	s7 -> s7 [label="UID FETCH #NonExistentUID# BODY / sink state"];
	s7 -> s7 [label="LIST \"myForthMailbox.\" \"sub*\" / sink state"];
	s7 -> s7 [label="LSUB \"\" \"myForthMailbox.%\" / sink state"];
	s7 -> s7 [label="UID COPY #UID# INBOX / sink state"];
	s7 -> s7 [label="UID FETCH #UID# BODY / sink state"];
	s7 -> s7 [label="UID STORE #UID# +FLAGS (\\Seen) / sink state"];
	s8 -> s8 [label="Mapper.connect() / #tag# BAD Unknown or NULL command"];
	s8 -> s8 [label="CAPABILITY / * CAPABILITY IMAP4 IMAP4rev1 CHILDREN IDLE QUOTA SORT ACL STARTTLS NAMESPACE RIGHTS=texk #tag# OK CAPABILITY completed"];
	s8 -> s2 [label="LOGOUT / * BYE Have a nice day #tag# OK Logout completed"];
	s8 -> s8 [label="LOGIN #username# #password# / #tag# OK LOGIN completed"];
	s8 -> s5 [label="SELECT INBOX / * #number# EXISTS * #number# RECENT * FLAGS (\\Deleted \\Seen \\Draft \\Answered \\Flagged) * OK [UIDVALIDITY 1733393595] current uidvalidity * OK [UIDNEXT #UIDNext#] next uid * OK [PERMANENTFLAGS (\\Deleted \\Seen \\Draft \\Answered \\Flagged)] limited #tag# OK [READ-WRITE] SELECT completed"];
	s8 -> s6 [label="EXAMINE INBOX / * #number# EXISTS * #number# RECENT * FLAGS (\\Deleted \\Seen \\Draft \\Answered \\Flagged) * OK [UIDVALIDITY 1733393595] current uidvalidity * OK [UIDNEXT #UIDNext#] next uid * OK [PERMANENTFLAGS ()] limited #tag# OK [READ-ONLY] EXAMINE completed"];
	s8 -> s8 [label="COPY 1 NonExistentFolder / #tag# NO No folder selected."];
	s8 -> s8 [label="STARTTLS / #tag# OK Begin TLS negotiation now"];
	s8 -> s8 [label="LIST \"\" * / * LIST (\\HasNoChildren) \".\" \"INBOX\" * LIST (\\HasChildren) \".\" \"myForthMailbox\" * LIST (\\HasNoChildren) \".\" \"myForthMailbox.subfolder2\" * LIST (\\HasNoChildren) \".\" \"myForthMailbox.anotherSubfolder\" #tag# OK LIST completed"];
	s8 -> s8 [label="LIST \"\" % / * LIST (\\HasNoChildren) \".\" \"INBOX\" * LIST (\\HasChildren) \".\" \"myForthMailbox\" #tag# OK LIST completed"];
	s8 -> s8 [label="LIST \"\" \"\" / * LIST (\\Noselect) \".\" \"\" #tag# OK LIST completed"];
	s8 -> s8 [label="LSUB \"\" * / * LSUB (\\HasNoChildren) \".\" \"INBOX\" * LSUB (\\HasNoChildren) \".\" \"myForthMailbox.anotherSubfolder\" #tag# OK LSUB completed"];
	s8 -> s8 [label="LSUB \"\" % / * LSUB (\\HasNoChildren) \".\" \"INBOX\" #tag# OK LSUB completed"];
	s8 -> s8 [label="CLOSE / #tag# BAD No folder selected."];
	s8 -> s8 [label="EXPUNGE / #tag# NO Expunge command on read-only folder."];
	s8 -> s8 [label="COPY 1 INBOX / #tag# NO No folder selected."];
	s8 -> s8 [label="APPEND INBOX (\\Seen) #size# #message# / #tag# OK APPEND completed"];
	s8 -> s8 [label="CHECK / #tag# OK CHECK completed"];
	s8 -> s8 [label="SEARCH RETURN SEEN / #tag# NO No folder selected."];
	s8 -> s8 [label="FETCH 1 FULL BODY.PEEK[1.TEXT] / #tag# NO No folder selected."];
	s8 -> s8 [label="STORE 1 FLAGS.SILENT (\\Seen) / #tag# NO No folder selected."];
	s8 -> s8 [label="NOOP / #tag# OK NOOP completed"];
	s8 -> s8 [label="AUTHENTICATE \"PLAIN\" / #tag# NO Unsupported authentication mechanism."];
	s8 -> s8 [label="STATUS INBOX (MESSAGES RECENT UIDNEXT UIDVALIDITY UNSEEN) / * STATUS \"INBOX\" (MESSAGES #number# UNSEEN #number# RECENT #number# UIDNEXT #UIDNext# UIDVALIDITY 1733393595) #tag# OK Status completed"];
	s8 -> s8 [label="APPEND NonExistentFolder #size# #message# / #tag# NO [TRYCREATE] Folder could not be found."];
	s8 -> s8 [label="CREATE INBOX / #tag# NO Folder already exists."];
	s8 -> s8 [label="DELETE INBOX / #tag# NO You cannot delete the inbox."];
	s8 -> s8 [label="UID SEARCH SEEN / #tag# NO No folder selected."];
	s8 -> s8 [label="UID FETCH #NonExistentUID# BODY / #tag# NO No folder selected."];
	s8 -> s8 [label="LIST \"myForthMailbox.\" \"sub*\" / * LIST (\\HasNoChildren) \".\" \"myForthMailbox.subfolder2\" #tag# OK LIST completed"];
	s8 -> s8 [label="LSUB \"\" \"myForthMailbox.%\" / * LSUB (\\HasNoChildren) \".\" \"myForthMailbox.anotherSubfolder\" #tag# OK LSUB completed"];
	s8 -> s8 [label="UID COPY #UID# INBOX / #tag# NO No folder selected."];
	s8 -> s8 [label="UID FETCH #UID# BODY / #tag# NO No folder selected."];
	s8 -> s8 [label="UID STORE #UID# +FLAGS (\\Seen) / #tag# NO No folder selected."];

__start0 [label="" shape="none" width="0" height="0"];
__start0 -> s0;

}