¬íysrjava.util.LinkedList )S]J`ˆ"xpwsrLOGIC.ObjectSaved^¬Ï‚×tLnometLjava/lang/String;LsavetLLOGIC/ObjectList;xptcanaissrLOGIC.ObjectList¢Õª7 ³žIdefaultrenameNumberL channelListtLjava/util/List;L contractListq~L instanceListq~LprocessosAuxiliaresq~LtypeListq~xpsq~wsr LOGIC.Channel‡p^9MÙ0FLflagq~Lnameq~Ltypeq~xpptrdsq~wsrLOGIC.Datatype€lT\\ Ldatatypeq~xr LOGIC.Type [ÍKÖàÀLnomeq~Ltipoq~xpt Directiontdatatypesq~wsrLOGIC.DatatypeElementEoЯŸ èÚLnameq~Ltypeq~xptreqtsq~tackq~xsrLOGIC.IntervalType;Å×ï‚çàŒImaxImimxq~tValuet intervaloxsq~ ptwrtsq~wq~q~xsq~ ptwritesq~wsq~tCellIdq~q~q~xsq~ ptreadsq~wq~%q~q~xsq~ ptinputsq~wq~xsq~ ptoutputsq~wq~xsq~ ptwrt_isq~wq~%q~q~xsq~ ptrd_isq~wq~%q~q~xxsq~wxsq~wxq~sq~wq~q~q~%xsq~tcontractsq~sq~wsq~ tintrdsq~wsq~t Directiontdatatypesq~wsq~treqtsq~tackq~Gxsq~tValuet intervaloxsq~ q~>twrtsq~wq~Aq~Jxsq~ ptwritesq~wsq~tCellIdq~Lq~Aq~Jxsq~ ptreadsq~wq~Sq~Aq~Jxsq~ ptinputsq~wq~Jxsq~ ptoutputsq~wq~Jxsq~ tcctwrt_isq~wq~Sq~Aq~Jxsq~ q~_trd_isq~wq~Sq~Aq~Jxxsq~wsrLOGIC.Contract±é"~ d¡O ZflagLbehaviorq~Lchannelq~Leventsq~Linq~Lnameq~Loutq~L protocolostLjava/util/LinkedList;Ltypeq~xpt@Cell = wrt.req?x -> wrt.ack.x -> rd.req?dumb -> rd.ack!x -> Cellsq~wq~Mq~=q~^q~bxsq~w srLOGIC.EventChannel wÇ¢?ËäLchanneltLLOGIC/Channel;Leventoq~Lsufixoq~xpq~Mtwrt.reqt.reqsq~lq~=trd.reqt.reqsq~lq~Mtwrt.ackt.acksq~lq~=trd.ackt.acksq~lq~^twrt_i.1t.1sq~lq~^twrt_i.2t.2sq~lq~^twrt_i.2t.2sq~lq~btrd_i.1t.1sq~lq~^twrt_i.2t.2xsq~wq~nq~qxtCellsq~wq~tq~wxsq~wxsq~wxxsq~wxq~Gsq~wq~Aq~Jq~Sxsq~t teste dalaysq~sq~wsq~ tintrdsq~wsq~t Directiontdatatypesq~wsq~treqtsq~tackq~žxsq~tValuet intervaloxsq~ q~•twrtsq~wq~˜q~¡xsq~ ptwritesq~wsq~tCellIdq~£q~˜q~¡xsq~ ptreadsq~wq~ªq~˜q~¡xsq~ ptinputsq~wq~¡xsq~ ptoutputsq~wq~¡xsq~ tcctwrt_isq~wq~ªq~˜q~¡xsq~ q~¶trd_isq~wq~ªq~˜q~¡xxsq~wsq~ft@Cell = wrt.req?x -> wrt.ack.x -> rd.req?dumb -> rd.ack!x -> Cellsq~wq~¤q~”q~µq~¹xsq~wsq~lq~µtwrt_i.1t.1xsq~wsq~lq~¤twrt.reqt.reqsq~lq~”trd.reqt.reqxtCellsq~wsq~lq~¤twrt.ackt.acksq~lq~”trd.ackt.ackxsq~wsrLOGIC.Protocolsx¡gLcChannelq~Lcanalq~mL dualProtocolq~Lprotocolq~xptwrt_i.1q~µtq~×xsq~wxxsq~wxq~žsq~wq~˜q~¡q~ªxsq~tcellsq~sq~wsq~ tintrdsq~wsq~t Directiontdatatypesq~wsq~treqtsq~tackq~éxsq~tValuet intervaloxsq~ q~àtwrtsq~wq~ãq~ìxsq~ ptwritesq~wsq~tCellIdq~îq~ãq~ìxsq~ ptreadsq~wq~õq~ãq~ìxsq~ ptinputsq~wq~ìxsq~ ptoutputsq~wq~ìxsq~ tcctwrt_isq~wq~õq~ãq~ìxsq~ q~trd_isq~wq~õq~ãq~ìxxsq~wsq~ft@Cell = wrt.req?x -> wrt.ack.x -> rd.req?dumb -> rd.ack!x -> Cellsq~wq~ïq~ßq~q~xsq~wsq~lq~twrt_i.2t.2sq~lq~twrt_i.3t.3sq~lq~trd_i.1t.1sq~lq~trd_i.2t.2sq~lq~trd_i.3t.3xsq~wsq~lq~ïtwrt.reqt.reqsq~lq~ßtrd.reqt.reqxtCellsq~wsq~lq~ïtwrt.ackt.acksq~lq~ßtrd.ackt.ackxsq~wsq~Ôtwrt_i.1q~tq~-sq~Ôtwrt_i.2q~tq~0sq~Ôtwrt_i.3q~q~0q~0sq~Ôtrd_i.1q~q~0q~0sq~Ôtrd_i.2q~q~0q~0sq~Ôtrd_i.3q~q~0q~0xsq~wxxsq~wxq~ésq~wq~ãq~ìq~õxx