[
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "c",
		"state": "probing",
		"func": "reset_sync:entry"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "c",
		"state": "probing",
		"func": "reset_sync:exit"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "b",
		"state": "probing",
		"func": "reset_sync:entry"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "b",
		"state": "probing",
		"func": "reset_sync:exit"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "a",
		"state": "probing",
		"func": "reset_sync:entry"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "a",
		"state": "probing",
		"func": "reset_sync:exit"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "c",
		"state": "probing",
		"func": "reset_sync:entry"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "c",
		"state": "probing",
		"func": "reset_sync:exit"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "c",
		"state": "probing",
		"func": "reset_sync:entry"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "c",
		"state": "probing",
		"func": "reset_sync:exit"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "c",
		"state": "probing",
		"func": "sync_start:entry"
	}
 },
{
 	"sys": "mon",
 	"type": "store_sync_requester",
 	"infos": {
		"mon": "c",
		"state": "synchronizing sync(requester state start )",
		"mark": "sync_start",
		"mark_info": "okay",
		"role": "requester",
		"sync_state": "start",
		"leader": "a",
		"provider": "a"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "c",
		"state": "synchronizing sync(requester state start )",
		"func": "sync_start:exit"
	}
 },
{
 	"sys": "mon",
 	"type": "msg_sync",
 	"infos": {
		"mon": "a",
		"state": "leader",
		"mark": "handle_sync",
		"from": "c",
		"op": "start"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "a",
		"state": "leader",
		"func": "handle_sync_start:entry"
	}
 },
{
 	"sys": "mon",
 	"type": "store_sync",
 	"infos": {
		"mon": "a",
		"state": "leader",
		"mark": "handle_sync_start",
		"role": "",
		"sync_state": "none"
	}
 },
{
 	"sys": "mon",
 	"type": "msg_sync",
 	"infos": {
		"mon": "c",
		"state": "synchronizing sync(requester state start )",
		"mark": "handle_sync",
		"from": "a",
		"op": "start_reply"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "c",
		"state": "synchronizing sync(requester state start )",
		"func": "handle_sync_start_reply:entry"
	}
 },
{
 	"sys": "mon",
 	"type": "store_sync_requester",
 	"infos": {
		"mon": "c",
		"state": "synchronizing sync(requester state start )",
		"mark": "handle_sync_start_reply",
		"mark_info": "okay",
		"role": "requester",
		"sync_state": "start",
		"leader": "a",
		"provider": "a"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "c",
		"state": "synchronizing sync(requester state start )",
		"func": "sync_send_heartbeat:entry"
	}
 },
{
 	"sys": "mon",
 	"type": "store_sync",
 	"infos": {
		"mon": "c",
		"state": "synchronizing sync(requester state start )",
		"mark": "sync_send_heartbeat",
		"role": "requester",
		"sync_state": "start"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "c",
		"state": "synchronizing sync(requester state start )",
		"func": "sync_send_heartbeat:exit"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "c",
		"state": "synchronizing sync(requester state start )",
		"func": "sync_start_chunks:entry"
	}
 },
{
 	"sys": "mon",
 	"type": "store_sync_requester",
 	"infos": {
		"mon": "c",
		"state": "synchronizing sync(requester state chunks )",
		"mark": "sync_start_chunks",
		"mark_info": "okay",
		"role": "requester",
		"sync_state": "chunks",
		"leader": "a",
		"provider": "a"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "c",
		"state": "synchronizing sync(requester state chunks )",
		"func": "sync_start_chunks:exit"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "c",
		"state": "synchronizing sync(requester state chunks )",
		"func": "handle_sync_start_reply:exit"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "a",
		"state": "leader sync(leader state none )",
		"func": "handle_sync_start:exit"
	}
 },
{
 	"sys": "mon",
 	"type": "msg_sync",
 	"infos": {
		"mon": "a",
		"state": "leader sync(leader state none )",
		"mark": "handle_sync",
		"from": "c",
		"op": "heartbeat"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "a",
		"state": "leader sync(leader state none )",
		"func": "handle_sync_heartbeat:entry"
	}
 },
{
 	"sys": "mon",
 	"type": "store_sync",
 	"infos": {
		"mon": "a",
		"state": "leader sync(leader state none )",
		"mark": "handle_sync_heartbeat",
		"role": "leader",
		"sync_state": "none"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "a",
		"state": "leader sync(leader state none )",
		"func": "sync_send_heartbeat:entry"
	}
 },
{
 	"sys": "mon",
 	"type": "store_sync",
 	"infos": {
		"mon": "a",
		"state": "leader sync(leader state none )",
		"mark": "sync_send_heartbeat",
		"role": "leader",
		"sync_state": "none"
	}
 },
{
 	"sys": "mon",
 	"type": "msg_sync",
 	"infos": {
		"mon": "c",
		"state": "synchronizing sync(requester state chunks )",
		"mark": "handle_sync",
		"from": "a",
		"op": "heartbeat_reply"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "c",
		"state": "synchronizing sync(requester state chunks )",
		"func": "handle_sync_heartbeat_reply:entry"
	}
 },
{
 	"sys": "mon",
 	"type": "store_sync",
 	"infos": {
		"mon": "c",
		"state": "synchronizing sync(requester state chunks )",
		"mark": "handle_sync_heartbeat_reply",
		"role": "requester",
		"sync_state": "chunks"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "c",
		"state": "synchronizing sync(requester state chunks )",
		"func": "handle_sync_heartbeat_reply:exit"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "a",
		"state": "leader sync(leader state none )",
		"func": "sync_send_heartbeat:exit"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "a",
		"state": "leader sync(leader state none )",
		"func": "handle_sync_heartbeat:exit"
	}
 },
{
 	"sys": "mon",
 	"type": "msg_sync",
 	"infos": {
		"mon": "a",
		"state": "leader sync(leader state none )",
		"mark": "handle_sync",
		"from": "c",
		"op": "start_chunks"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "a",
		"state": "leader sync(leader state none )",
		"func": "handle_sync_start_chunks:entry"
	}
 },
{
 	"sys": "mon",
 	"type": "store_sync",
 	"infos": {
		"mon": "a",
		"state": "leader sync(leader state none )",
		"mark": "handle_sync_start_chunks",
		"role": "leader",
		"sync_state": "none"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "a",
		"state": "leader sync(leader|provider state none )",
		"func": "sync_send_chunks:entry"
	}
 },
{
 	"sys": "mon",
 	"type": "store_sync",
 	"infos": {
		"mon": "a",
		"state": "leader sync(leader|provider state none )",
		"mark": "sync_send_chunks",
		"role": "leader|provider",
		"sync_state": "none"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "a",
		"state": "leader sync(leader|provider state none )",
		"func": "sync_send_chunks:exit"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "a",
		"state": "leader sync(leader|provider state none )",
		"func": "handle_sync_start_chunks:exit"
	}
 },
{
 	"sys": "mon",
 	"type": "msg_sync",
 	"infos": {
		"mon": "c",
		"state": "synchronizing sync(requester state chunks )",
		"mark": "handle_sync",
		"from": "a",
		"op": "chunk"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "c",
		"state": "synchronizing sync(requester state chunks )",
		"func": "handle_sync_chunk:entry"
	}
 },
{
 	"sys": "mon",
 	"type": "msg_sync",
 	"infos": {
		"mon": "a",
		"state": "leader sync(leader|provider state none )",
		"mark": "handle_sync",
		"from": "c",
		"op": "chunk_reply"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "a",
		"state": "leader sync(leader|provider state none )",
		"func": "handle_sync_chunk_reply:entry"
	}
 },
{
 	"sys": "mon",
 	"type": "store_sync",
 	"infos": {
		"mon": "a",
		"state": "leader sync(leader|provider state none )",
		"mark": "handle_sync_chunk_reply",
		"role": "leader|provider",
		"sync_state": "none"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "a",
		"state": "leader sync(leader|provider state none )",
		"func": "sync_send_chunks:entry"
	}
 },
{
 	"sys": "mon",
 	"type": "store_sync",
 	"infos": {
		"mon": "a",
		"state": "leader sync(leader|provider state none )",
		"mark": "sync_send_chunks",
		"role": "leader|provider",
		"sync_state": "none"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "a",
		"state": "leader sync(leader|provider state none )",
		"func": "sync_send_chunks:exit"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "a",
		"state": "leader sync(leader|provider state none )",
		"func": "handle_sync_chunk_reply:exit"
	}
 },
{
 	"sys": "mon",
 	"type": "store_sync_requester",
 	"infos": {
		"mon": "c",
		"state": "synchronizing sync(requester state chunks )",
		"mark": "handle_sync_chunk",
		"mark_info": "okay",
		"role": "requester",
		"sync_state": "chunks",
		"leader": "a",
		"provider": "a"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "c",
		"state": "synchronizing sync(requester state chunks )",
		"func": "handle_sync_chunk:exit"
	}
 },
{
 	"sys": "mon",
 	"type": "msg_sync",
 	"infos": {
		"mon": "c",
		"state": "synchronizing sync(requester state chunks )",
		"mark": "handle_sync",
		"from": "a",
		"op": "chunk"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "c",
		"state": "synchronizing sync(requester state chunks )",
		"func": "handle_sync_chunk:entry"
	}
 },
{
 	"sys": "mon",
 	"type": "msg_sync",
 	"infos": {
		"mon": "a",
		"state": "leader sync(leader|provider state none )",
		"mark": "handle_sync",
		"from": "c",
		"op": "chunk_reply"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "a",
		"state": "leader sync(leader|provider state none )",
		"func": "handle_sync_chunk_reply:entry"
	}
 },
{
 	"sys": "mon",
 	"type": "store_sync",
 	"infos": {
		"mon": "a",
		"state": "leader sync(leader|provider state none )",
		"mark": "handle_sync_chunk_reply",
		"role": "leader|provider",
		"sync_state": "none"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "a",
		"state": "leader sync(leader|provider state none )",
		"func": "sync_provider_cleanup:entry"
	}
 },
{
 	"sys": "mon",
 	"type": "store_sync",
 	"infos": {
		"mon": "a",
		"state": "leader sync(leader|provider state none )",
		"mark": "sync_provider_cleanup",
		"role": "leader|provider",
		"sync_state": "none"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "a",
		"state": "leader sync(leader state none )",
		"func": "sync_provider_cleanup:exit"
	}
 },
{
 	"sys": "mon",
 	"type": "store_sync_requester",
 	"infos": {
		"mon": "c",
		"state": "synchronizing sync(requester state chunks )",
		"mark": "handle_sync_chunk",
		"mark_info": "okay",
		"role": "requester",
		"sync_state": "chunks",
		"leader": "a",
		"provider": "a"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "c",
		"state": "synchronizing sync(requester state chunks )",
		"func": "handle_sync_chunk:exit"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "c",
		"state": "synchronizing sync(requester state chunks )",
		"func": "sync_stop:entry"
	}
 },
{
 	"sys": "mon",
 	"type": "store_sync_requester",
 	"infos": {
		"mon": "c",
		"state": "synchronizing sync(requester state stop )",
		"mark": "sync_stop",
		"mark_info": "okay",
		"role": "requester",
		"sync_state": "stop",
		"leader": "a",
		"provider": ""
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "c",
		"state": "synchronizing sync(requester state stop )",
		"func": "sync_stop:exit"
	}
 },
{
 	"sys": "mon",
 	"type": "msg_sync",
 	"infos": {
		"mon": "a",
		"state": "leader sync(leader state none )",
		"mark": "handle_sync",
		"from": "c",
		"op": "finish"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "a",
		"state": "leader sync(leader state none )",
		"func": "handle_sync_finish:entry"
	}
 },
{
 	"sys": "mon",
 	"type": "store_sync",
 	"infos": {
		"mon": "a",
		"state": "leader sync(leader state none )",
		"mark": "handle_sync_finish",
		"role": "leader",
		"sync_state": "none"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "a",
		"state": "leader sync(leader state none )",
		"func": "sync_finish:entry"
	}
 },
{
 	"sys": "mon",
 	"type": "store_sync",
 	"infos": {
		"mon": "a",
		"state": "leader sync(leader state none )",
		"mark": "sync_finish",
		"role": "leader",
		"sync_state": "none"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "a",
		"state": "leader",
		"func": "sync_finish:exit"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "a",
		"state": "leader",
		"func": "handle_sync_finish:exit"
	}
 },
{
 	"sys": "mon",
 	"type": "msg_sync",
 	"infos": {
		"mon": "c",
		"state": "synchronizing sync(requester state stop )",
		"mark": "handle_sync",
		"from": "a",
		"op": "finish_reply"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "c",
		"state": "synchronizing sync(requester state stop )",
		"func": "handle_sync_finish_reply:entry"
	}
 },
{
 	"sys": "mon",
 	"type": "store_sync",
 	"infos": {
		"mon": "c",
		"state": "synchronizing sync(requester state stop )",
		"mark": "handle_sync_finish_reply",
		"role": "requester",
		"sync_state": "stop"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "c",
		"state": "synchronizing",
		"func": "handle_sync_finish_reply:exit"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "c",
		"state": "synchronizing",
		"func": "reset_sync:entry"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "c",
		"state": "synchronizing",
		"func": "reset_sync:exit"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "c",
		"state": "electing",
		"func": "reset_sync:entry"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "c",
		"state": "electing",
		"func": "reset_sync:exit"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "c",
		"state": "electing",
		"func": "reset_sync:entry"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "c",
		"state": "electing",
		"func": "reset_sync:exit"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "c",
		"state": "electing",
		"func": "reset_sync:entry"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "c",
		"state": "electing",
		"func": "reset_sync:exit"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "a",
		"state": "leader",
		"func": "reset_sync:entry"
	}
 },
{
 	"sys": "mon",
 	"type": "function",
 	"infos": {
		"mon": "a",
		"state": "leader",
		"func": "reset_sync:exit"
	}
 }]