[[ "start", ["constant.language.fslLanguage","machine_name :"], ["text"," "], ["string.quoted.double.fslLabel.doublequoted","\"BGP\""], ["text",";"] ],[ "start", ["constant.language.fslLanguage","machine_version :"], ["text"," "], ["constant.numeric","1.0.0"], ["text",";"] ],[ "start" ],[ "start", ["constant.language.fslLanguage","machine_author :"], ["text"," "], ["string.quoted.double.fslLabel.doublequoted","\"John Haugeland \""], ["text",";"] ],[ "start", ["constant.language.fslLanguage","machine_license :"], ["text"," "], ["entity.name.tag.fslLabel.atom","MIT"], ["text",";"] ],[ "start" ],[ "start", ["constant.language.fslLanguage","graph_layout :"], ["text"," "], ["entity.name.tag.fslLabel.atom","dot"], ["text",";"] ],[ "start" ],[ "start" ],[ "start" ],[ "start", ["entity.name.tag.fslLabel.atom","Idle"], ["text"," "], ["constant.character.fslAction","'Invite'"], ["text"," "], ["keyword.control.transition.fslArrow","=>"], ["text"," "], ["entity.name.tag.fslLabel.atom","Invited"], ["text",";"] ],[ "start" ],[ "start", ["entity.name.tag.fslLabel.atom","Invited"], ["text"," "], ["constant.character.fslAction","'Invite, 1xx'"], ["text"," "], ["keyword.control.transition.fslArrow","->"], ["text"," "], ["entity.name.tag.fslLabel.atom","Invited"], ["text",";"] ],[ "start", ["entity.name.tag.fslLabel.atom","Invited"], ["text"," "], ["constant.character.fslAction","'3xx'"], ["text"," "], ["keyword.control.transition.fslArrow","->"], ["text"," "], ["entity.name.tag.fslLabel.atom","Redirecting"], ["text",";"] ],[ "start", ["entity.name.tag.fslLabel.atom","Invited"], ["text"," "], ["constant.character.fslAction","'Cancel'"], ["text"," "], ["keyword.control.transition.fslArrow","->"], ["text"," "], ["entity.name.tag.fslLabel.atom","Cancelling"], ["text",";"] ],[ "start", ["entity.name.tag.fslLabel.atom","Invited"], ["text"," "], ["constant.character.fslAction","'200'"], ["text"," "], ["keyword.control.transition.fslArrow","=>"], ["text"," "], ["entity.name.tag.fslLabel.atom","Accepted"], ["text",";"] ],[ "start", ["entity.name.tag.fslLabel.atom","Invited"], ["text"," "], ["constant.character.fslAction","'407'"], ["text"," "], ["keyword.control.transition.fslArrow","=>"], ["text"," "], ["entity.name.tag.fslLabel.atom","AuthRequested"], ["text",";"] ],[ "start", ["entity.name.tag.fslLabel.atom","Invited"], ["text"," "], ["constant.character.fslAction","'4xx-6xx'"], ["text"," "], ["keyword.control.transition.fslArrow","->"], ["text"," "], ["entity.name.tag.fslLabel.atom","Failed"], ["text",";"] ],[ "start" ],[ "start", ["entity.name.tag.fslLabel.atom","AuthRequested"], ["text"," "], ["constant.character.fslAction","'Ack'"], ["text"," "], ["keyword.control.transition.fslArrow","=>"], ["text"," "], ["entity.name.tag.fslLabel.atom","Invited"], ["text",";"] ],[ "start" ],[ "start", ["entity.name.tag.fslLabel.atom","Redirecting"], ["text"," "], ["constant.character.fslAction","'Act'"], ["text"," "], ["keyword.control.transition.fslArrow","->"], ["text"," "], ["entity.name.tag.fslLabel.atom","Redirected"], ["text",";"] ],[ "start" ],[ "start", ["entity.name.tag.fslLabel.atom","Cancelling"], ["text"," "], ["constant.character.fslAction","'200 (Invite)'"], ["text"," "], ["keyword.control.transition.fslArrow","->"], ["text"," "], ["entity.name.tag.fslLabel.atom","LateCancel"], ["text",";"] ],[ "start", ["entity.name.tag.fslLabel.atom","Cancelling"], ["text"," "], ["constant.character.fslAction","'200 (Cancel)'"], ["text"," "], ["keyword.control.transition.fslArrow","->"], ["text"," "], ["entity.name.tag.fslLabel.atom","Cancelled"], ["text",";"] ],[ "start" ],[ "start", ["entity.name.tag.fslLabel.atom","Accepted"], ["text"," "], ["constant.character.fslAction","'Cancel'"], ["text"," "], ["keyword.control.transition.fslArrow","->"], ["text"," "], ["entity.name.tag.fslLabel.atom","LateCancel"], ["text",";"] ],[ "start", ["entity.name.tag.fslLabel.atom","Accepted"], ["text"," "], ["constant.character.fslAction","'Ack'"], ["text"," "], ["keyword.control.transition.fslArrow","=>"], ["text"," "], ["entity.name.tag.fslLabel.atom","Established"], ["text",";"] ],[ "start" ],[ "start", ["entity.name.tag.fslLabel.atom","Failed"], ["text"," "], ["constant.character.fslAction","'Ack'"], ["text"," "], ["keyword.control.transition.fslArrow","->"], ["text"," "], ["entity.name.tag.fslLabel.atom","Terminated"], ["text",";"] ],[ "start" ],[ "start", ["entity.name.tag.fslLabel.atom","Redirected"], ["text"," "], ["constant.character.fslAction","'Invite'"], ["text"," "], ["keyword.control.transition.fslArrow","->"], ["text"," "], ["entity.name.tag.fslLabel.atom","Invited"], ["text",";"] ],[ "start", ["entity.name.tag.fslLabel.atom","Redirected"], ["text"," "], ["constant.character.fslAction","'Timeout'"], ["text"," "], ["keyword.control.transition.fslArrow","->"], ["text"," "], ["entity.name.tag.fslLabel.atom","Terminated"], ["text",";"] ],[ "start" ],[ "start", ["entity.name.tag.fslLabel.atom","LateCancel"], ["text"," "], ["constant.character.fslAction","'Ack'"], ["text"," "], ["keyword.control.transition.fslArrow","->"], ["text"," "], ["entity.name.tag.fslLabel.atom","Established"], ["text",";"] ],[ "start" ],[ "start", ["entity.name.tag.fslLabel.atom","Cancelled"], ["text"," "], ["constant.character.fslAction","'487'"], ["text"," "], ["keyword.control.transition.fslArrow","->"], ["text"," "], ["entity.name.tag.fslLabel.atom","Failed"], ["text",";"] ],[ "start" ],[ "start", ["entity.name.tag.fslLabel.atom","Established"], ["text"," "], ["constant.character.fslAction","'Invite'"], ["text"," "], ["keyword.control.transition.fslArrow","=>"], ["text"," "], ["entity.name.tag.fslLabel.atom","SessionModifying"], ["text",";"] ],[ "start", ["entity.name.tag.fslLabel.atom","Established"], ["text"," "], ["constant.character.fslAction","'Bye'"], ["text"," "], ["keyword.control.transition.fslArrow","->"], ["text"," "], ["entity.name.tag.fslLabel.atom","Closing"], ["text",";"] ],[ "start" ],[ "start", ["entity.name.tag.fslLabel.atom","SessionModifying"], ["text"," "], ["constant.character.fslAction","'488'"], ["text"," "], ["keyword.control.transition.fslArrow","->"], ["text"," "], ["entity.name.tag.fslLabel.atom","SessionModificationRefused"], ["text",";"] ],[ "start", ["entity.name.tag.fslLabel.atom","SessionModifying"], ["text"," "], ["constant.character.fslAction","'200'"], ["text"," "], ["keyword.control.transition.fslArrow","=>"], ["text"," "], ["entity.name.tag.fslLabel.atom","SessionModified"], ["text",";"] ],[ "start" ],[ "start", ["entity.name.tag.fslLabel.atom","Closing"], ["text"," "], ["constant.character.fslAction","'Bye,Ack,200 (Invite)'"], ["text"," "], ["keyword.control.transition.fslArrow","->"], ["text"," "], ["entity.name.tag.fslLabel.atom","Closing"], ["text",";"] ],[ "start", ["entity.name.tag.fslLabel.atom","Closing"], ["text"," "], ["constant.character.fslAction","'200 (Bye)'"], ["text"," "], ["keyword.control.transition.fslArrow","->"], ["text"," "], ["entity.name.tag.fslLabel.atom","Terminated"], ["text",";"] ],[ "start" ],[ "start", ["entity.name.tag.fslLabel.atom","SessionModificationRefused"], ["text"," "], ["constant.character.fslAction","'Ack'"], ["text"," "], ["keyword.control.transition.fslArrow","->"], ["text"," "], ["entity.name.tag.fslLabel.atom","Established"], ["text",";"] ],[ "start" ],[ "start", ["entity.name.tag.fslLabel.atom","SessionModified"], ["text"," "], ["constant.character.fslAction","'Ack'"], ["text"," "], ["keyword.control.transition.fslArrow","=>"], ["text"," "], ["entity.name.tag.fslLabel.atom","Established"], ["text",";"] ],[ "start", ["entity.name.tag.fslLabel.atom","SessionModified"], ["text"," "], ["constant.character.fslAction","'Bye'"], ["text"," "], ["keyword.control.transition.fslArrow","->"], ["text"," "], ["entity.name.tag.fslLabel.atom","Closing"], ["text",";"] ],[ "start" ]]