------------------------SDT2SimulatorTrace----------------------------------------------------ObjectName----------------------------------------ObjectType----------------------------------------!%&()LinkEndpoints--------------------------------!%()HeadingText----------------------------------- SimulatorTrace-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------16-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------()[8(! SimulatorTrace)]}--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------&()[w(!GMSC)]}-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------()[(! ,! !(d)[ (! 6|,!% |Consumer10_1_21!( |process Consumer10)][ (! 6,!$ Consumer9_1_20!' !%()HeadingText-----------------------------------!%()PageOrder-------------------------------------1---------------------------------------------------------------------------------------------------- ------------!%&()LinkEndpoints----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- ------------------------------------process Consumer9)][ (! 6,!$ Consumer8_1_19!' process Consumer8)][ (! 6,!$ Consumer7_1_18!' process Consumer7 )][ ~(! 6,!$ Consumer6_1_17!' process Consumer6)][ }(! 6,!$ Consumer5_1_16!' process Consumer5)][ |(! 6, !$ Consumer4_1_15!' process Consumer4)][ {(! 6,!$ Consumer3_1_14!' process Consumer3)][ z(! 6 ,!$  Consumer2_1_13!' process Consumer2)][ y(! 6 ,!#  Consumer_1_12!& process Consumer)][ x(! 6 ,! Io_1_11!  process Io)][ w(! 6 ,!% Producer10_1_10!( process Producer10)][ v(! 6 ,!#  Producer9_1_9!' process Producer9)][ u (! 6,!#  Producer8_1_8!' process Producer8)][ t(! 6,!#  Producer7_1_7!' process Producer7)][ s(! 6,!#  Producer6_1_6!' process Producer6)][ r(! 6,!#  Producer5_1_5!' process Producer5)][ q(! 6,!#  Producer4_1_4!' process Producer4)][ p(! 6,!#  Producer3_1_3!' process Producer3)][ o(! 6,!#  Producer2_1_2!' process Producer2)][ n(! 6,!"  Producer_1_1!& process Producer)][ m(! 6,! env_0)][k(! ,)][D (!"|cc|!|,!|,!!H#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),119(40,170),1,1)!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),131(60,90),1,1)!I !* bcoolTimes(2000.0000))][D (!"ZZ!~,!~,!!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer6.spr(1),119(40,170),1,1)!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer6.spr(1),131(60,90),1,1)!I !* UZcoolTimes(1911.0000))][D (!"RR!,!,!!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr(1),119(40,170),1,1)!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr(1),131(60,90),1,1)!I !* QcoolTimes(1721.0000))][D I(!"}}}}!{,!{,!J!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),119(40,170),1,1)!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),131(60,90),1,1)!I !* K}coolTimes(1100.0000))][D S(!"  !r,!r,!T!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),122(40,155),3,1)!H#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),134(55,85),1,1)!I !+ walkingTime(987.0000))][D 1(!" $w $w P P!z ,!z ,!2!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),119(40,175),1,1)!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),131(60,95),1,1)!I !* vcoolTimes(1050.0000))][D (!"KK!|,!|,!!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),119(35,170),1,1)!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),131(55,90),1,1)!I !* }KcoolTimes(1566.0000))][D (!"oo!},!},!!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),119(40,170),1,1)!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),131(60,90),1,1)!I !* ocoolTimes(1025.0000))][D ;(!"yy!p,!p,!<!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),122(40,155),3,1)!H#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),134(55,85),1,1)!I !+ ywalkingTime(966.0000))][D u(!"VEVE22!,!,!v!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),119(40,170),1,1)!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),131(60,90),1,1)!I !* $EcoolTimes(1520.0000))][D (!"[r&[r&ُُ!n,!n,! !F#SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),179(45,160),3,1)!E#SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),143(60,90),1,1)!I !+ )rwalkingTime(950.0000))][D (!" Lh Lh Ǝ Ǝ!y ,!y ,!!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),167(45,175),1,1)!E#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),137(65,95),1,1)!I !* hcoolTimes(1000.0000))][D (!"e e !o,!o,!!I#SDTREF(SDL,C:\temp\LAB8Concurency3 \ProducerOf2.spr(1),122(35,160),3,1)!H#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),134(50,90),1,1)!I !+ wewalkingTime(866.0000))][D (!" *] *] !w ,!w! ,!!J#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),122(40,155),3,1)!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),134(55,85),1,1)!I !+ \walkingTime(908.0000))][D (!""jj!q,!q,!!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),122(45,155),3,1)!H#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),134(60,85),1,1)!I !+ #jwalkingTime(812.0000))][D ](!">>44!,!,!^!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),119(40,170),1,1)!F#SDTREF(SDL,C:\temp\LAB8Concurenc$y3\Consumer7.spr(1),131(60,90),1,1)!I !* >coolTimes(1403.0000))][D (!"RNRN!!!u,!u,!!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1)%,122(45,155),3,1)!H#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),134(60,85),1,1)!I !+  NwalkingTime(998.0000))][D (!" T T  !v ,!v ,!!&I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),122(45,155),3,1)!H#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),134(60,85),1,1)!I !+ yTwalkingTime(777.0000))][D g(!"AA'!s,!s,!h!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),122(45,155),3,1)!H#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),134(60,85),1,1)!I !, nAwalk(ingTime(1001.0000))][D (!"GG!t,!t,!!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),122(45,155),3,1)!H#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr)(1),134(60,85),1,1)!I !+ GwalkingTime(861.0000))][D 5(!"X4X4zz!{,!{,!6!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),119(40,170),1,1)*!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),131(60,90),1,1)!I !* &4coolTimes(1100.0000))][D (!" * * 6t 6t!z ,!z ,!!G#SDTREF(SDL,C:+\temp\LAB8Concurency3\Consumer2.spr(1),119(40,175),1,1)!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),131(60,95),1,1)!I !* *coolTimes(1050.0000))][D ?(!"66#s#s!r,,!r,!@!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),122(40,155),3,1)!H#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),134(55,85),1,1)!I !+ 6walkingTime(987.0000))][D -(!"Z#Z#ll!},!},!!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),119(40,170),1,1)!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),131(60,90),1,1)!I .!* (#coolTimes(1025.0000))][D (!"#(#(kk!p,!p,!!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),122(40,155),3,1)!H#SDTREF(SDL,C:\temp\LA/B8Concurency3\ProducerOf3.spr(1),134(55,85),1,1)!I !+ 'walkingTime(966.0000))][D (!"   ` `!y ,!y ,!!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Cons0umer.spr(1),167(45,175),1,1)!E#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),137(65,95),1,1)!I !* coolTimes(1000.0000))][D (!"|_|_!|,!|,!1!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),137(40,35),5,1)!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),131(60,90),1,1)!I !* PcoolTimes(2000.0000))][D (!"K&K&2]]!n,!n,!!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),179(45,160),3,1)!E#SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),143(60,90),1,1)!I !+ walking3Time(950.0000))][& N(! G; O[!w ,!x ,!O!J#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),131(30,105),1,1)!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),128(30,50),1,1)!" 4; requestWrite!* `;10, 22, Producer10:1)][D (!"WW!~,!~,!!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer6.spr(1),137(40,35),5,1)!F5#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer6.spr(1),131(60,90),1,1)!I !* hcoolTimes(1911.0000))][D (!"|.|.VV!q,!q,! !I#SDTREF(SDL,C:\t6emp\LAB8Concurency3\ProducerOf4.spr(1),122(45,155),3,1)!H#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),134(60,85),1,1)!I !+ J.walkingTime(812.0000))][D (!"  sUsU!o7,!o,!!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),122(35,160),3,1)!H#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),134(50,90),1,1)!I !+ rwalkingTime(866.0000))][& 8J(! 4: R!v ,!x ,!K!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),131(35,105),1,1)!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),128(30,50),1,1)!" : re9questWrite!( M:9, 96, Producer9:1)][D (!"OO!,!,!!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr(1),137(40,35),5,1)!F#SDTREF(SDL,C:\te:mp\LAB8Concurency3\Consumer8.spr(1),131(60,90),1,1)!I !* \coolTimes(1721.0000))][& F(!!9 wL!u,!x ,!G!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1);,131(35,105),1,1)!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),128(30,50),1,1)!" 8 requestWrite!( :98, 68, Producer8:1)][D (!"HH!|,!|<,!!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),137(35,35),5,1)!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),131(55,90),1,1)!I !* tcoolTimes(1566.0000))][& B(!8 =F!t,!x ,!C!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),131(35,105),1,1)!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),128(30,50),1,1)!" 7 requestWrite!( '8>7, 65, Producer7:1)][D (!"hBhB!,!,!!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),137(40,35),5,1)!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9?.spr(1),131(60,90),1,1)!I !* VcoolTimes(1520.0000))][& `(! @@!x ,!m,!a!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),137(30,70),1,1)!) ?@producerXWroteItemY! )@6, 69)][D (!"<<!,!,!!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),137(40,35),5,1)!F#SDTREF(SDL,C:\Atemp\LAB8Concurency3\Consumer7.spr(1),131(60,90),1,1)!I !* bcoolTimes(1403.0000))][D (!" A A : :!w ,!w ,!!I#SDTREF(SDL,C:\temp\LAB8Concurency3\BProducerOf10.spr(1),140(30,30),5,1)!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),134(55,85),1,1)!I !,  walkingTime(1140.0000))][D (!" G G 9 9!v ,!vC ,!!H#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),140(35,30),5,1)!H#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),134(60,85),1,1)!I !,  walkingTime(1133.0000))][D (!"DMM88!u,!u,!!H#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),140(35,30),5,1)!H#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),134(60,85),1,1)!I !, EwalkingTime(1121.0000))][D (!"SS77!t,!t,!!H#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),140(35,30),5,1)!H#SDTREF(SDL,C:\temp\LAB8ConcurencFy3\ProducerOf7.spr(1),134(60,85),1,1)!I !, !walkingTime(1105.0000))][D (!"  j1j1!{,!{,!!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(G1),137(40,35),5,1)!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),131(60,90),1,1)!I !* z coolTimes(1100.0000))][D (!"YYW0W0!s,!s,!!HH#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),140(35,30),5,1)!H#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),134(60,85),1,1)!I !, 'walkingTime(1077.0000))][D (!"__D/ID/!r,!r,!!H#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),140(30,30),5,1)!H#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),134(55,85),1,1)!I !, -walkingJTime(1069.0000))][D (!"ee++!q,!q,!!H#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),140(35,30),5,1)!H#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),K134(60,85),1,1)!I !, 3walkingTime(1055.0000))][D (!" 5% 5%!z ,!z ,!!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),137(40,40),5,1)!FL#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),131(60,95),1,1)!I !* coolTimes(1050.0000))][D (!"kk"$"$!p,!p,!!H#SDTREF(SDL,C:\temMp\LAB8Concurency3\ProducerOf3.spr(1),140(30,30),5,1)!H#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),134(55,85),1,1)!I !, 9walkingTime(1050.0000))][D (!"l l !}N,!},!!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),137(40,35),5,1)!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),131(60,90),1,1)!I !* ncoolTimes(1025.0000))][ O(! 6!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),176(55,180),1,1)!o,!  SiDLing)][ i(! 6k)][& (! Y!x ,!o,!P!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),182(55,85),1,1)!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),125(50,140),1,1)!" _ approveWrite)][ (! 6 !@#SDTREF(SDL,C:\temp\LAB8ConcuQrency3\Io.spr(1),134(60,110),1,1)!x ,! Phase2)][& (! !x ,!m,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),137(30,70),1,1)!) RproducerXWroteItemY! -2, 85)][& (! !o,!x ,!!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),131(25,110),1,1)!?#SDTREF(SDL,C:\temp\LAB8SConcurency3\Io.spr(1),128(30,50),1,1)!"  requestWrite!( 2, 85, Producer2:1)][ (! 6L!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),128(50,125),1,1)!o,!" Tn ForcedToWait)][D (!"q q !o,!o,!!H#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),140(35,40),5,1)!H#SDTREF(SDL,C:\temp\LAB8Concurency3\ProdUucerOf2.spr(1),134(50,90),1,1)!I !, ?walkingTime(1001.0000))][ (! 6 9!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),173(65,200),1,1)!y ,! [SiDLing)][& V(!  !x ,!y ,!!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),191(40,170),1,1)!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),155(50,155),1,1)!!  approveRWead! 41)][ (! 6 &!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),176(60,190),1,1)!x ,! HPhase1)][& (! ^^!x ,!m,X!!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),170(30,155),1,1)!( ,consumerXReadItemY! w1, 41)][& (!  !y ,!x ,!!F#SDTRYEF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),143(50,115),1,1)!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),146(35,135),1,1)!! v requestRead!#  1, Consumer:1)][ (! 6!F#SDTREF(SDZL,C:\temp\LAB8Concurency3\Producer.spr(1),176(65,185),1,1)!n,! SiDLing)][& (! 8!x ,!n,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),182(55[,85),1,1)!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),158(60,140),1,1)!"  approveWrite)][ (! 6 !@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),134(60,110),1,1)!x ,! \Phase2)][& (! !x ,!m,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),137(30,70),1,1)!) producerXWroteItemY! 1, 41)][& ](! p!n,!x ,!!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),149(35,110),1,1)!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),128(30,50),1,1)!" c request^Write!' 1, 41, Producer:1)][ (! 6 !F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),149(65,135),1,1)!y ,!  ForcedWait)][D (!" ] _]!y ,!y ,!!E#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),122(45,40),5,1)!E#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),137(65,95),1,1)!I !* coolTimes(1000.`0000))][ (! 6!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),167(60,125),1,1)!n,!"  ForcedToWait)][D (!"w&w&JJ!n,!n,a!!E#SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),125(35,35),5,1)!E#SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),143(60,90),1,1)!I !, EwalkingTime(1000.0000))][ (! 6|!Gb#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),134(60,70),1,1)!|,! |SiDLing)][ (! 6!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),134(60,70),1,1)!,! cSiDLing)][ (! 6!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr(1),134(60,70),1,1)!,! SiDLing)][ (! 6!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Condsumer7.spr(1),134(60,70),1,1)!,! SiDLing)][ (! 6!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer6.spr(1),134(60,70),1,1)!~,! SiDLing)][ (! e6!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),134(60,70),1,1)!},!  SiDLing)][ (! 6!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),134(55,70),1,1)!|f,! SiDLing)][ (! 6 !F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),134(60,70),1,1)!{,! SiDLing)][ (! 6 !F#SDTREF(SDL,C:\temp\LAgB8Concurency3\Consumer2.spr(1),134(60,75),1,1)!z ,!  SiDLing)][ (! 6  !E#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),131(65,75),1,1)!y ,! % SiDLing)h][ (! 6 !?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),122(60,35),1,1)!x ,! + Phase1)][ (! 6 !I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),137(60,65),1,1)!iw ,! SiDLing)][ (! 6 !H#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),137(65,65),1,1)!v ,! SiDLing)][ (! 6!H#SDTREF(SjDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),137(65,65),1,1)!u,! SiDLing)][ (! 6!H#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),137(65,65),1,1)!t,! kSiDLing)][ (! 6!H#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),137(65,65),1,1)!s,! SiDLing)][ (! 6!H#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerlOf5.spr(1),137(60,65),1,1)!r,! SiDLing)][ (! 6!H#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),137(65,65),1,1)!q,! SiDLing)][ (! m6!H#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),137(60,65),1,1)!p,! SiDLing)][ (! 6!H#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),137(55,70),1,1)!on,! SiDLing)][ (! 6!E#SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),134(65,70),1,1)!n,! SiDLing)][9l(! 62!E)[8(!-o Simulation trace generated by SDL Simulator)]][j(! 6)][& &(!0 ?!s,!x ,!'!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),131(35,105),1,1)!?#SDTREF(pSDL,C:\temp\LAB8Concurency3\Io.spr(1),128(30,50),1,1)!" p0 requestWrite!( 06, 69, Producer6:1)][ _(! 6H?!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),116(60,195),1,1)!q,! j?SiDLing)][& Y(! =>!x ,!,!Z!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),191(40,170),1,1)!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),12r2(45,150),1,1)!! = approveRead! >80)][ \(! 6 5>!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),176(60,190),1,1)!x ,! W>Phase1)][& V(! sm=m=!x ,!m,!W!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),170(30,155),1,1)!( ;=consumerXReadItemY! =7, 80)][& R(!Z< "=!t,!x ,!S!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),128(45,110),1,1)!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),146(35,135),1,1)!! u(< requestRead!$ us<7, Consumuer7:1)][ U(! 6<!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),125(60,130),1,1)!,! < ForcedWait)][ Q(! 6 ;!J#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1v),128(55,120),1,1)!w ,!" ; ForcedToWait)][ M(! 6 :!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),128(60,120),1,1)!v ,!" : ForcedToWait)][ I(!w 6l9!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),128(60,120),1,1)!u,!" 9 ForcedToWait)][ E(! 6Y8!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),128(60,120),1,1x)!t,!" {8 ForcedToWait)][ A(! 6F7!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),119(60,180),1,1)!r,! h7SiDLing)][& ;(! 56y!x ,!r,!<!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),182(55,85),1,1)!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),125(55,135),1,1)!" 5 approveWrite)][ >(! 6z 36!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),134(60,110),1,1)!x ,! U6Phase2)][& 8(! k5k5!x ,!m,!9!?#SDTREF(SDL,C:\temp\LAB8Concurency3{\Io.spr(1),137(30,70),1,1)!) 95producerXWroteItemY! 55, 80)][& "(!/ 5!r,!x ,!#!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),131(|30,105),1,1)!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),128(30,50),1,1)!" ]/ requestWrite!( /5, 80, Producer5:1)][ 7(! 64!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),116}(60,195),1,1)!{,! 4SiDLing)][& 1(! E3 4!x ,!{,!2!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),191(40,170),1,1)!G#SDTREF(SDL,C:\temp\LAB8Conc~urency3\Consumer3.spr(1),122(45,150),1,1)!! 3 approveRead! ^338)][ 4(! 6 3!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),176(60,190),1,1)!x ,! 3Phase1)][& .(! 22!x ,!m,!/!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),170(30,155),1,1)!( 2consumerXReadItemY! 23, 38)][& *(!1 }2!{,!x ,!+!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),128(45,110),1,1)!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),146(35,135),1,1)!! 1 requestRead!$ 13, Consumer3:1)][ -(! 62!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),125(60,130),1,1)!{,! "2 ForcedWait)][ )(! 60!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),128(60,120),1,1)!s,!" 1 ForcedToWait)][ %(! 6/!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),128(55,120),1,1)!r,!" / ForcedToWait)][ !(! 6.!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),119(65,180),1,1)!q,! .SiDLing)][& (! i-1.!x ,!q,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),182(55,85),1,1)!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),125(60,135),1,1)!" 7- approveWrite)][ (! 6 -!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),134(60,110),1,1)!x ,! -Phase2)][& (! ,,!x ,!m,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),137(30,70),1,1)!) ,producerXWroteItemY! -4, 38)][& (!+ ,!q,!x ,!!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),131(35,105),1,1)!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),128(30,50),1,1)!" + requestWrite!( +4, 38, Producer4:1)][ (! 6$,!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),128(60,120),1,1)!q,!" F, ForcedToWait)][ (! 6 +!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),116(60,200),1,1)!z ,! 3+SiDLing)][& (! ) {*!x ,!z ,!!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),191(40,170),1,1)!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),122(45,155),1,1)!! ) approveRead! )72)][ (! 6 )!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),176(60,190),1,1)!x ,! *Phase1)][& (! 6)6)!x ,!m,! !@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),170(30,155),1,1)!( )consumerXReadItemY! O)2, 72)][& (! % (!z ,!x ,!!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),128(45,115),1,1)!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),146(35,135),1,1)!! N% requestRead!$ %2, Consumer2:1)][ (! 6n(!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),119(60,180),1,1)!p,! (SiDLing)][& (! ''!x ,!p,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),182(55,85),1,1)!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),125(55,135),1,1)!" & approveWrite)][ (! 6 ['!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),134(60,110),1,1)!x ,! }'Phase2)][& (! &&!x ,!m,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),137(30,70),1,1)!) a&producerXWroteItemY! &3, 72)][& (!m$ H&!p,!x ,!!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),131(30,105),1,1)!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),128(30,50),1,1)!" ;$ requestWrite!( $3, 72, Producer3:1)][ (! 6 %!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),125(60,135),1,1)!z ,! % ForcedWait)][ (! 6$!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),128(55,120),1,1)!p,!" $ ForcedToWait)][ (! 6#!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),116(60,195),1,1)!},! #SiDLing)][& (! G"#!x ,!},!!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),191(40,170),1,1)!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),122(45,150),1,1)!! " approveRead! `"85)][ (! 6 "!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),176(60,190),1,1)!x ,! "Phase1)][& (! !!!x ,!m,!!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),170(30,155),1,1)!( !consumerXReadItemY! !5, 85)][& (! !!},!x ,!!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),128(45,110),1,1)!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),146(35,135),1,1)!!   requestRead!$  5, Consumer5:1)][ (! 6!!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),125(60,130),1,1)!},! $! ForcedWait)][& (!=^ p!n,!x ,!!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),149(35,110),1,1)!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),128(30,50),1,1)!"  ^ requestWrite!' V^1, 49, Producer:1)][& (!V i!q,!x ,!!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),131(35,105),1,1)!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),128(30,50),1,1)!" V requestWrite!( V4, 61, Producer4:1)][& (!U c!o,!x ,!!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),131(25,110),1,1)!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),128(30,50),1,1)!" U requestWrite!( U2, 67, Producer2:1)][& (!|P_ +a!|,!x ,!!H#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),128(45,110),1,1)!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),146(35,135),1,1)!! c_ requestRead!& ci_10, Consumer10:1)][ (! 6|_!H#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),125(60,130),1,1)!|,! |_ ForcedWait)][ (! 6^!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),167(60,125),1,1)!n,!" ^ ForcedToWait)][ (! 6 u]!J#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),119(60,180),1,1)!w ,! ]SiDLing)][& (! \ \!x ,!w ,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),182(55,85),1,1)!J#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),125(55,135),1,1)!" [ approveWrite)][ (! 6 b\!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),134(60,110),1,1)!x ,! \Phase2)][& (! [[!x ,!m,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),137(30,70),1,1)!) h[producerXWroteItemY! [10, 22)][ (! 6Z!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer6.spr(1),116(60,195),1,1)!~,! ZSiDLing)][& (! tYW ForcedToWait)][ (! 6 V!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),128(50,125),1,1)!o,!" +V ForcedToWait)][ (! 6 T!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),119(65,180),1,1)!v ,! USiDLing)][& (! S `T!x ,!v ,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),182(55,85),1,1)!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),125(60,135),1,1)!" fS approveWrite)][ (! 6 S!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),134(60,110),1,1)!x ,! TPhase2)][& (! SS!x ,!m,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),137(30,70),1,1)!) RproducerXWroteItemY! 4S9, 96)][ (! 6SR!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr(1),116(60,195),1,1)!,! uRSiDLing)][& (! PQ!x ,!,!!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),191(40,170),1,1)!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr(1),122(45,150),1,1)!! P approveRead! Q68)][ (! 6 @Q!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),176(60,190),1,1)!x ,! bQPhase1)][& (! xPxP!x ,!m,!!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),170(30,155),1,1)!( FPconsumerXReadItemY! P8, 68)][& (!eO -P!,!x ,!!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr(1),128(45,110),1,1)!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),146(35,135),1,1)!! o3O requestRead!$ o~O8, Consumer8:1)][ (! 6O!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr(1),125(60,130),1,1)!,! O ForcedWait)][ (! 6N!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),119(65,180),1,1)!u,! NSiDLing)][& (! ?MN!x ,!u,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),182(55,85),1,1)!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),125(60,135),1,1)!"  M approveWrite)][ (! 6 M!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),134(60,110),1,1)!x ,! MPhase2)][& (! LL!x ,!m,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),137(30,70),1,1)!) LproducerXWroteItemY! L8, 68)][ (! 6K!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),116(55,195),1,1)!|,! LSiDLing)][& (! JdK!x ,!|,!!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),191(40,170),1,1)!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),122(40,150),1,1)!! jJ approveRead! J65)][ (! 6 J!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),176(60,190),1,1)!x ,! KPhase1)][& (! JJ!x ,!m,!!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),170(30,155),1,1)!( IconsumerXReadItemY! 8J4, 65)][& (! I I!|,!x ,!!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),128(40,110),1,1)!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),146(35,135),1,1)!! H requestRead!$ %I4, Consumer4:1)][ (! 6WI!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),125(55,130),1,1)!|,! yI ForcedWait)][ (! 6DH!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),119(65,180),1,1)!t,! fHSiDLing)][& {(! FG!x ,!t,!|!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),182(55,85),1,1)!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),125(60,135),1,1)!" F approveWrite)][ ~(! 6 1G!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),134(60,110),1,1)!x ,! SGPhase2)][& x(! iFiF!x ,!m,!y!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),137(30,70),1,1)!) 7FproducerXWroteItemY! F7, 65)][ w(! 6E!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),116(60,195),1,1)!,! ESiDLing)][& q(! CD E!x ,!,!r!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),191(40,170),1,1)!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),122(45,150),1,1)!! D approveRead! \D69)][ t(! 6 D!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),176(60,190),1,1)!x ,! DPhase1)][& n(! CC!x ,!m,!o!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),170(30,155),1,1)!( CconsumerXReadItemY! C9, 69)][& j(!B {C!,!x ,!k!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),128(45,110),1,1)!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),146(35,135),1,1)!! iB requestRead!$ iB9, Consumer9:1)][ m(! 6B!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),125(60,130),1,1)!,!  C ForcedWait)][ i(! 6A!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),119(65,180),1,1)!s,!  BSiDLing)][& c(! @UA!x ,!s,!d!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),182(55,85),1,1)!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),125(60,135),1,1)!" [@ approveWrite)][ f(! 6 @!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),134(60,110),1,1)!x ,! @Phase2)][& O(! !x ,!r,!P!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),182(55,85),1,1)!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),125(55,135),1,1)!" ~ approveWrite)][ R(! 6 X!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),134(60,110),1,1)!x ,! zPhase2)][& L(! ~~!x ,!m,!M!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),137(30,70),1,1)!) ^~producerXWroteItemY! ~5, 63)][& "(!ns E~!r,!x ,!#!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),131(30,105),1,1)!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),128(30,50),1,1)!" (!z {!{,!x ,!?!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),128(45,110),1,1)!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),146(35,135),1,1)!! z requestRead!$ z3, Consumer3:1)][ A(! 6%{!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),125(60,130),1,1)!{,! G{ ForcedWait)][ =(! 6z!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),119(60,180),1,1)!p,! 4zSiDLing)][& 7(! x|y!x ,!p,!8!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),182(55,85),1,1)!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),125(55,135),1,1)!" x approveWrite)][ :(! 6 x!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),134(60,110),1,1)!x ,! !yPhase2)][& 4(! 7x7x!x ,!m,!5!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),137(30,70),1,1)!) xproducerXWroteItemY! Px3, 51)][& (!l w!p,!x ,!!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),131(30,105),1,1)!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),128(30,50),1,1)!" k requestWrite!( l3, 51, Producer3:1)][ 3(! 6 ow!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),116(60,200),1,1)!z ,! wSiDLing)][& -(! v v!x ,!z ,!.!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),191(40,170),1,1)!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),122(45,155),1,1)!! u approveRead! *v49)][ 0(! 6 \v!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),176(60,190),1,1)!x ,! ~vPhase1)][& *(! uu!x ,!m,!+!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),170(30,155),1,1)!( buconsumerXReadItemY! u2, 49)][& &(! t Iu!z ,!x ,!'!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),128(45,115),1,1)!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),146(35,135),1,1)!! Ot requestRead!$ t2, Consumer2:1)][ )(! 6 t!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),125(60,135),1,1)!z ,! t ForcedWait)][ %(! 6s!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),128(55,120),1,1)!r,!" s ForcedToWait)][ !(! 6r!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),176(65,185),1,1)!n,! rSiDLing)][& (! Hqr!x ,!n,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),182(55,85),1,1)!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),158(60,140),1,1)!" q approveWrite)][ (! 6 q!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),134(60,110),1,1)!x ,! qPhase2)][& (! pp!x ,!m,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),137(30,70),1,1)!) pproducerXWroteItemY! p1, 49)][ (! 6p!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),116(60,195),1,1)!},! %pSiDLing)][& (! nmo!x ,!},!!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),191(40,170),1,1)!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),122(45,150),1,1)!! sn approveRead! n61)][ (! 6 n!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),176(60,190),1,1)!x ,! oPhase1)][& (! (n(n!x ,!m,!!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),170(30,155),1,1)!( mconsumerXReadItemY! An5, 61)][& (!m m!},!x ,! !G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),128(45,110),1,1)!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),146(35,135),1,1)!! l requestRead!$ .m5, Consumer5:1)][ (! 6`m!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),125(60,130),1,1)!},! m ForcedWait)][ (! 6Ml!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),128(55,120),1,1)!p,!" ol ForcedToWait)][ (! 6:k!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),119(65,180),1,1)!q,! \kSiDLing)][& (! ij!x ,!q,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),182(55,85),1,1)!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),125(60,135),1,1)!" i approveWrite)][ (! 6 'j!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),134(60,110),1,1)!x ,! IjPhase2)][& (! _i_i!x ,!m,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),137(30,70),1,1)!) -iproducerXWroteItemY! xi4, 61)][ (! 6 h!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),173(65,200),1,1)!y ,! hSiDLing)][& (! 9g h!x ,!y ,!!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),191(40,170),1,1)!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),155(50,155),1,1)!! g approveRead! Rg67)][ (! 6 g!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),176(60,190),1,1)!x ,! gPhase1)][& (! ff!x ,!m,!!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),170(30,155),1,1)!( fconsumerXReadItemY! f1, 67)][& (! c` qf!y ,!x ,!!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),143(50,115),1,1)!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),146(35,135),1,1)!! 1` requestRead!# |` 1, Consumer:1)][ (! 6e!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),176(55,180),1,1)!o,! fSiDLing)][& (! d^e!x ,!o,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),182(55,85),1,1)!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),125(50,140),1,1)!" dd approveWrite)][ (! 6 d!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),134(60,110),1,1)!x ,! ePhase2)][& (! dd!x ,!m,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),137(30,70),1,1)!) cproducerXWroteItemY! 2d2, 67)][ (! 6|Qc!H#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),116(60,195),1,1)!|,! |scSiDLing)][& (! a|b!x ,!|,!!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),191(40,170),1,1)!H#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),122(45,150),1,1)!! a approveRead! b22)][ (! 6 >b!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),176(60,190),1,1)!x ,! `bPhase1)][& (! vava!x ,!m,!!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),170(30,155),1,1)!( DaconsumerXReadItemY! a10, 22)][ (! 6 `!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),149(65,135),1,1)!y ,! ` ForcedWait)][D (!"  uu!,!,!!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),119(40,170),1,1)!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),131(60,90),1,1)!I !* coolTimes(1520.0000))][D (!"!{,!{,!!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),119(40,170),1,1)!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),131(60,90),1,1)!I !* xcoolTimes(1100.0000))][D ;(!"&&  !n,!n,!<!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),179(45,160),3,1)!E#SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),143(60,90),1,1)!I !+ twalkingTime(950.0000))][D q(!"""!,!,!r!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),119(40,170),1,1)!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),131(60,90),1,1)!I !* coolTimes(1403.0000))][D (!" > > W W!z ,!z ,!!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),119(40,175),1,1)!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),131(60,95),1,1)!I !* coolTimes(1050.0000))][D #(!"M M DD!o,!o,!$!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),122(35,160),3,1)!H#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),134(50,90),1,1)!I !+ walkingTime(866.0000))][& B(! ̿ !v ,!x ,!C!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),131(35,105),1,1)!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),128(30,50),1,1)!" requestWrite!( 9, 31, Producer9:1)][D (!"!},!},!!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),119(40,170),1,1)!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),131(60,90),1,1)!I !* ZcoolTimes(1025.0000))][D (!"//!u,!u,!!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),122(45,155),3,1)!H#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),134(60,85),1,1)!I !+ walkingTime(998.0000))][D (!" !w ,!w ,!!J#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),122(40,155),3,1)!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),134(55,85),1,1)!I !+ walkingTime(908.0000))][D (!"jj!s,!s,!!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),122(45,155),3,1)!H#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),134(60,85),1,1)!I !, 8walkingTime(1001.0000))][& >(! !t,!x ,!?!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),131(35,105),1,1)!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),128(30,50),1,1)!"  requestWrite!( Ҿ7, 60, Producer7:1)][& (! !r,!x ,! !I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),131(30,105),1,1)!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),128(30,50),1,1)!" ° requestWrite!(  5, 90, Producer5:1)][D (!" ǒ ǒ  !y ,!y ,!!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),167(45,175),1,1)!E#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),137(65,95),1,1)!I !* coolTimes(1000.0000))][D (!"!q,!q,!!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),122(45,155),3,1)!H#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),134(60,85),1,1)!I !+ VwalkingTime(812.0000))][& (!֜ J!p,!x ,!!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),131(30,105),1,1)!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),128(30,50),1,1)!"  requestWrite!( 3, 52, Producer3:1)][D (!" Û Û !v ,!v ,!!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),122(45,155),3,1)!H#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),134(60,85),1,1)!I !+ walkingTime(777.0000))][D {(!"ŊŊnn!t,!t,!|!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),122(45,155),3,1)!H#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),134(60,85),1,1)!I !+ walkingTime(861.0000))][& (!$ ˻!n,!x ,!!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),149(35,110),1,1)!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),128(30,50),1,1)!"  requestWrite!' =1, 64, Producer:1)][& (! r!o,!x ,!!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),131(25,110),1,1)!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),128(30,50),1,1)!" ̍ requestWrite!( 2, 71, Producer2:1)][& (! !w ,!x ,!!J#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),131(30,105),1,1)!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),128(30,50),1,1)!" requestWrite!* 10, 83, Producer10:1)][& ~(!؋ !q,!x ,!!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),131(35,105),1,1)!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),128(30,50),1,1)!"  requestWrite!( 4, 60, Producer4:1)][& b(!l T!u,!x ,!c!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),131(35,105),1,1)!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),128(30,50),1,1)!" : requestWrite!( 8, 24, Producer8:1)][& (! yA!x ,!},!!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),191(40,170),1,1)!G#SDTREF(SDL,C:\temp\LAB8Concurenc y3\Consumer5.spr(1),122(45,150),1,1)!! G approveRead! 80)][ (! 6 ğ!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),176(60,190),1,1)!x ,! Phase1)][ & (! !x ,!m,!!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),170(30,155),1,1)!( ʞconsumerXReadItemY! 5, 80)][& (! !},!x ,!!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),128(45,110),1,1)!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),146(35,135),1,1)!!  requestRead!$  5, Consumer5:1)][ (! 64!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),125(60,130),1,1)!},! V ForcedWait)][ (! 6!!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),128(55,120),1,1)!p,!" C ForcedToWait)][ (! 6 !I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),119(65,180),1,1)!v ,! 0SiDLing)][& (! x!x ,!v ,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),182(55,85),1,1)!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),125(60,135),1,1)!" ~ approveWrite)][ (! 6 !@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),134(60,110),1,1)!x ,! Phase2)][& (! 33!x ,!m,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),137(30,70),1,1)!) producerXWroteItemY! L9, 80)][& ^(! Y !v ,!x ,!_!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),131(35,105),1,1)!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),128(30,50),1,1)!" ' requestWrite!( r9, 80, Producer9:1)][ (! 6k!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),116(60,195),1,1)!,! SiDLing)][& (! ՘!x ,!,!!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),191(40,170),1,1)!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),122(45,150),1,1)!! ۗ approveRead! &87)][ (! 6 X!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),176(60,190),1,1)!x ,! zPhase1)][& (! !x ,!m,!!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),170(30,155),1,1)!( ^consumerXReadItemY! 9, 87)][& (!} E!,!x ,!!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),128(45,110),1,1)!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),146(35,135),1,1)!! iK requestRead!$ i9, Consumer9:1)][ (! 6Ȗ!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),125(60,130),1,1)!,!  ForcedWait)][ (! 6!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),119(65,180),1,1)!s,! וSiDLing)][& (! W!x ,!s,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),182(55,85),1,1)!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),125(60,135),1,1)!" % approveWrite)][ (! 6 !@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),134(60,110),1,1)!x ,! ĔPhase2)][& (! ړړ!x ,!m,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),137(30,70),1,1)!) producerXWroteItemY! 6, 87)][& Z(!F !s,!x ,![!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),131(35,105),1,1)!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),128(30,50),1,1)!"  requestWrite!( _6, 87, Producer6:1)][ (! 6 !F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),173(65,200),1,1)!y ,! 4SiDLing)][& (! |!x ,!y ,!!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),191(40,170),1,1)!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),155(50,155),1,1)!! approveRead!  ͑66)][ (! 6 !@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),176(60,190),1,1)!x ,! !Phase1)][& (! 77!x ,!m,!!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),170(30,155),1,1)!( consumerXReadItemY! P1, 66)][& (!  !y ,!x ,!!F#SDTREF(SDL,C:\ temp\LAB8Concurency3\Consumer.spr(1),143(50,115),1,1)!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),146(35,135),1,1)!! ߎ requestRead!# * 1, Consumer:1)][ (! 6o!F#SDTREF(SDL,C:\temp\!LAB8Concurency3\Producer.spr(1),167(60,125),1,1)!n,!"  ForcedToWait)][ (! 6 \!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),149(65,135),1,1)!y ,! ~ "ForcedWait)][ (! 6I!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),128(50,125),1,1)!o,!" k ForcedToWait)][ (! 6 6!J#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerO#f10.spr(1),128(55,120),1,1)!w ,!" X ForcedToWait)][ (! 6#!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),128(60,120),1,1)!q,!" E ForcedToWait)][ }$(! 6!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),119(65,180),1,1)!t,! 2SiDLing)][& w(! z!x ,!t,!x!?#SDTREF(S%DL,C:\temp\LAB8Concurency3\Io.spr(1),182(55,85),1,1)!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),125(60,135),1,1)!"  approveWrite)][ z(! 6 !@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),134(6&0,110),1,1)!x ,! Phase2)][& t(! 55!x ,!m,!u!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),137(30,70),1,1)!) producerXWro'teItemY! N7, 66)][& V(!3 !t,!x ,!W!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),131(35,105),1,1)!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),(128(30,50),1,1)!"  requestWrite!( L7, 66, Producer7:1)][ s(! 6m!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),116(60,195),1,1)!,! SiDLin)g)][& m(! ׇ!x ,!,!n!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),191(40,170),1,1)!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),122(45,150),1,1)!! ݆ *approveRead! (63)][ p(! 6 Z!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),176(60,190),1,1)!x ,! |Phase1)][& j(! !x ,!+m,!k!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),170(30,155),1,1)!( `consumerXReadItemY! 7, 63)][& f(! G!,!x ,!g!,G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),128(45,110),1,1)!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),146(35,135),1,1)!! uM requestRead!$ u7, Consumer7:1)][ i(! 6ʅ!G-#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),125(60,130),1,1)!,!  ForcedWait)][ e(! 6!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),128(60,120),1,1)!u,!". ل ForcedToWait)][ a(! 6 !I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),128(60,120),1,1)!v ,!" ƃ ForcedToWait)][ ](! 6!I#SDTREF(SDL,C:\tem/p\LAB8Concurency3\ProducerOf6.spr(1),128(60,120),1,1)!s,!"  ForcedToWait)][ Y(! 6~!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),128(60,120),1,1)!t,!" 0 ForcedToWait)][ U(! 6k!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),119(60,180),1,1)!r,! SiDLing)][ A(! 6!I#SDTREF(SDL,C:\temp\LAB8Concurency3\Prod1ucerOf7.spr(1),128(60,120),1,1)!t,!" & ForcedToWait)][ =(! 6!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),176(65,185),1,1)!n,! SiDLing)][& 72(! [!x ,!n,!8!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),182(55,85),1,1)!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),158(60,140),1,1)!" a approveWri3te)][ :(! 6 ޼!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),134(60,110),1,1)!x ,! Phase2)][& 4(! !x ,!m,!5!?#SDTREF(SDL4,C:\temp\LAB8Concurency3\Io.spr(1),137(30,70),1,1)!) producerXWroteItemY! /1, 64)][ 3(! 6N!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr(1),116(60,195),1,1)!,!5 pSiDLing)][D 1(!"!,!,!2!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr(1),119(40,170),1,1)!I !* ѺcoolTimes(61721.0000))][& -(! !x ,!,!.!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),191(40,170),1,1)!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr(1),122(45,150),1,1)!! 7 approveRead! 71)][ 0(! 6 ;!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),176(60,190),1,1)!x ,! ]Phase1)][& *(! ss!x ,8!m,!+!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),170(30,155),1,1)!( AconsumerXReadItemY! 8, 71)][& &(!` (!,!x ,!9'!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr(1),128(45,110),1,1)!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),146(35,135),1,1)!! o. requestRead!$ oy8, Consumer8:1)][ )(! 6:!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer8.spr(1),125(60,130),1,1)!,! ͸ ForcedWait)][ %(! 6!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),176(55,180),1,1)!o;,! SiDLing)][& (! :!x ,!o,! !?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),182(55,85),1,1)!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1)<,125(50,140),1,1)!"  approveWrite)][ "(! 6 !@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),134(60,110),1,1)!x ,! Phase2)][& (! !x =,!m,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),137(30,70),1,1)!) producerXWroteItemY! ֵ2, 71)][ (! 6!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Co>nsumer3.spr(1),116(60,195),1,1)!{,! SiDLing)][& (! _!x ,!{,!!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),191(40,170),1,1)!G#SDTREF(SD?L,C:\temp\LAB8Concurency3\Consumer3.spr(1),122(45,150),1,1)!! e approveRead! 83)][ (! 6 !@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),176(60,190),1,1)!x ,! @Phase1)][& (! !x ,!m,!!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),170(30,155),1,1)!( consumerXReadItemY! 33, 83)][&A (! ϲ!{,!x ,!!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),128(45,110),1,1)!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),146(35,135),1,1)!! ձ reBquestRead!$  3, Consumer3:1)][ (! 6R!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),125(60,130),1,1)!{,! t ForcedWait)][ (! 6?!I#SDTREF(SCDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),128(55,120),1,1)!r,!" a ForcedToWait)][ (! 6 ,!J#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),119(60,180),1,1)!w ,! DNSiDLing)][& (! ή !x ,!w ,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),182(55,85),1,1)!J#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),125(55,135),1,E1)!"  approveWrite)][ (! 6 !@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),134(60,110),1,1)!x ,! ;Phase2)][& (! QQ!x ,!mF,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),137(30,70),1,1)!) producerXWroteItemY! j10, 83)][ (! 6 !G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1)G,116(60,200),1,1)!z ,! SiDLing)][& (! + !x ,!z ,!!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),191(40,170),1,1)!G#SDTREF(SDL,C:\temp\LAB8HConcurency3\Consumer2.spr(1),122(45,155),1,1)!! approveRead! D60)][ (! 6 v!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),176(60,190),1,1)!x ,! IPhase1)][& (! !x ,!m,!!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),170(30,155),1,1)!( |consumerXReadItemY! ǫ2, 60)][& (!J c!z ,!x ,!!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),128(45,115),1,1)!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),146(35,135),1,1)!! i requestRead!$K 2, Consumer2:1)][ (! 6 !G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),125(60,135),1,1)!z ,!  ForcedWait)][ (! 6ө!I#SDTREF(SDL,C:\temp\LABL8Concurency3\ProducerOf4.spr(1),119(65,180),1,1)!q,! SiDLing)][& (! u=!x ,!q,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),182(55,85),1,1)!MI#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),125(60,135),1,1)!" C approveWrite)][ (! 6 !@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),134(60,110),1,1)!x ,! NPhase2)][& (! !x ,!m,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),137(30,70),1,1)!) ƧproducerXWroteItemY! 4, 60)][ (O! 60!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),116(55,195),1,1)!|,! RSiDLing)][D (!"!|,!|,!!G#SDPTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),119(35,170),1,1)!I !* coolTimes(1566.0000))][& (! ҥ!x ,!|,!!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.Qspr(1),191(40,170),1,1)!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),122(40,150),1,1)!! approveRead! 24)][ (! 6 !@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),176(60,1R90),1,1)!x ,! ?Phase1)][& (! UU!x ,!m,!!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),170(30,155),1,1)!( #consumerXReadIStemY! n4, 24)][& (!B !|,!x ,!!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),128(40,110),1,1)!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),146(3T5,135),1,1)!!  requestRead!$ [4, Consumer4:1)][ (! 6!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer4.spr(1),125(55,130),1,1)!|,!  ForcedWait)][ U(! 6z!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),119(65,180),1,1)!u,! SiDLing)][& (! !x ,!u,!!?#SDTREF(VSDL,C:\temp\LAB8Concurency3\Io.spr(1),182(55,85),1,1)!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),125(60,135),1,1)!"  approveWrite)][ (! 6 g!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),134(W60,110),1,1)!x ,! Phase2)][& (! !x ,!m,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),137(30,70),1,1)!) mproducerXWrXoteItemY! 8, 24)][ (! 6נ!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),116(60,195),1,1)!},! SiDLing)][& (!  !w ,!Yx ,!!J#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),131(30,105),1,1)!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),128(30,50),1,1)!" requestWrite!* )10, 94, ProduceZr10:1)][& (! f!s,!x ,!!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),131(35,105),1,1)!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),128(30,50),1,1)!" [ requestWrite!( 6, 49, Producer6:1)][& ^(!8 !q,!x ,!_!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),131(35,105),1,1)!?#SDTREF(SDL,C:\temp\\LAB8Concurency3\Io.spr(1),128(30,50),1,1)!"  requestWrite!( Q4, 99, Producer4:1)][& (! j!z ,!x ,!!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Co]nsumer2.spr(1),128(45,115),1,1)!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),146(35,135),1,1)!! p requestRead!$ 2, Consumer2:1)][ (! 6 !G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consu^mer2.spr(1),125(60,135),1,1)!z ,!  ForcedWait)][ (! 6!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),128(50,125),1,1)!o,!"  ForcedToWait)][& _(!Z!o,!k!!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf2.spr(1),131(25,110),1,1)!" ] requestWrite!( 2, 11, Producer2:1)][: (!` 6k!7 ~!/* Not yet consumed by */ Io_1_11)][ (! 6 !I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),119(65,180),1,1)!v ,! SiDLing)][D (!"a | | | |!v ,!v ,!!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),122(45,155),3,1)!I !+ JwalkingTime(777.0000))][& (! i 1!bx ,!v ,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),182(55,85),1,1)!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),125(60,135),1,1)!" 7 approveWrite)][ (! 6 c!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),134(60,110),1,1)!x ,! Phase2)][& (! !x ,!m,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Ido.spr(1),137(30,70),1,1)!) producerXWroteItemY! 9, 31)][ (! 6$!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),116(60,195),1,1)!},! FSiDeLing)][D (!"!},!},!!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),119(40,170),1,1)!I !* coolTimes(1025.0000))][& (!f !x ,!},!!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),191(40,170),1,1)!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer5.spr(1),122(45,150),1,1)!! approveRead!g 60)][ (! 6 !@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),176(60,190),1,1)!x ,! 3Phase1)][& (! II!x ,!m,!h!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),170(30,155),1,1)!( consumerXReadItemY! b5, 60)][& (!6 !},!x ,!!G#SDTREF(SDLi,C:\temp\LAB8Concurency3\Consumer5.spr(1),128(45,110),1,1)!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),146(35,135),1,1)!!  requestRead!$ O5, Consumer5:1)][ (! 6!G#SDTREF(SDL,C:j\temp\LAB8Concurency3\Consumer5.spr(1),125(60,130),1,1)!},!  ForcedWait)][ (! 6n!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),128(60,120),1,1)!u,!" k ForcedToWait)][& (!#6 #!u,!G #!!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf8.spr(1),131(35,105),1,1)!"  requestWrite!( <8, 23,l Producer8:1)][: (! 6G #!7 c !/* Not yet consumed by */ Io_1_11)][ (! 6 [!J#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),128(55,120),1,1)!w ,!" } FmorcedToWait)][ (! 6H!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),128(60,120),1,1)!s,!" j ForcedToWait)][ (! 65!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducernOf7.spr(1),119(65,180),1,1)!t,! WSiDLing)][D (!"!t,!t,!!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf7.spr(1),122(45,155),o3,1)!I !+ walkingTime(861.0000))][& (! !x ,!t,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),182(55,85),1,1)!I#SDTREF(SDL,C:\temp\LAB8Concurenpcy3\ProducerOf7.spr(1),125(60,135),1,1)!"  approveWrite)][ (! 6 "!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),134(60,110),1,1)!x ,! DPhase2)][& (! ZqZ!x ,!m,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),137(30,70),1,1)!) (producerXWroteItemY! s7, 60)][ (! 6 !F#SDTREF(SDL,C:\tremp\LAB8Concurency3\Consumer.spr(1),173(65,200),1,1)!y ,! SiDLing)][D (!" G G G G!y ,!y ,!!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumser.spr(1),167(45,175),1,1)!I !* coolTimes(1000.0000))][& (! 4 !x ,!y ,!!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),191(40,170),1,1)!F#SDTREF(SDtL,C:\temp\LAB8Concurency3\Consumer.spr(1),155(50,155),1,1)!!  approveRead! M90)][ (! 6 !@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),176(60,190),1,1)!x ,! uPhase1)][& ~(! !x ,!m,!!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),170(30,155),1,1)!( consumerXReadItemY! 1, 90)][& vf(! ^ l!y ,!x ,!g!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),143(50,115),1,1)!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),146(35,135),1,1)!! , requwestRead!# w 1, Consumer:1)][ }(! 6!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),119(60,180),1,1)!r,! SiDLing)][D {(!"x!r,!r,!|!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),122(40,155),3,1)!I !+ rwalkingTime(987.0000))][& w(! Y!x ,!ry,!x!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),182(55,85),1,1)!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf5.spr(1),125(55,135),1,1)!" _ approveWrite)][ z(! 6 !@#SDTREF(SDL,C:\ztemp\LAB8Concurency3\Io.spr(1),134(60,110),1,1)!x ,! Phase2)][& t(! !x ,!m,!u!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),137(30,70),1,1)!){ producerXWroteItemY! -5, 90)][ s(! 6|L!H#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),116(60,195),1,1)!|,! |nSiDLing)][D q(!"|||!|,!|,!r!H#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),119(40,170),1,1)!I !* coolTimes(2000.0000))][& m(! |!}x ,!|,!n!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),191(40,170),1,1)!H#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),122(45,150),1,1)!! approveRead! ~52)][ p(! 6 9!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),176(60,190),1,1)!x ,! [Phase1)][& j(! qq!x ,!m,!k!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),170(30,155),1,1)!( ?consumerXReadItemY! 10, 52)][& b(!|K &!|,!x ,!c!H#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),128(45,110),1,1)!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),146(35,135),1,1)!! c requestRead!& cd10, Consumer10:1)][ i(! 6 !F#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer.spr(1),149(65,135),1,1)!y ,!  ForcedWait)][ e(! 6|!H#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer10.spr(1),125(60,130),1,1)!|,! | ForcedWait)][ a(! 6!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),128(60,120),1,1)!q,!"  ForcedToWait)][ ](! 6p!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),119(60,180),1,1)!p,! SiDLing)][D [(!"%%%%!p,!p,!\!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),122(40,155),3,1)!I !+ walkingTime(966.0000))][& W(! !x ,!p,!X!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),182(55,85),1,1)!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf3.spr(1),125(55,135),1,1)!"  approveWrite)][ Z(! 6 ]!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),134(60,110),1,1)!x ,! Phase2)][& T(! !x ,!m,!U!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),137(30,70),1,1)!) cproducerXWroteItemY! 3, 52)][ S(! 6!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer6.spr(1),116(60,195),1,1)!~,! SiDLing)][D Q(!"!~,!~,!R!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer6.spr(1),119(40,170),1,1)!I !* PcoolTimes(1911.0000))][& M(! o7!x ,!~,!N!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),191(40,170),1,1)!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer6.spr(1),122(45,150),1,1)!! = approveRead! 64)][ P(! 6 !@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),176(60,190),1,1)!x ,! Phase1)][& J(! !x ,!m,!K!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),170(30,155),1,1)!( consumerXReadItemY! 6, 64)][& F(! !~,!x ,!G!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer6.spr(1),128(45,110),1,1)!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),146(35,135),1,1)!! { requestRead!$ {6, Consumer6:1)][ I(! 6*!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer6.spr(1),125(60,130),1,1)!~,! L ForcedWait)][ E(! 6 !I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf9.spr(1),128(60,120),1,1)!v ,!" 9 ForcedToWait)][ (! 6 !@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),176(60,190),1,1)!x ,! Phase1)][& (! P$ P!x ,!5 P!!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),191(40,170),1,1)!!  approveRead! i94)][: (! 65 P!> Q ?(/* Not yet consumed by */ Consumer9_1_20)][& (! !x ,!m,! !@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),170(30,155),1,1)!( consumerXReadItemY! 9, 94)][& (! !,!x ,!!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),128(45,110),1,1)!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),146(35,135),1,1)!! i requestRead!$ i9, Consumer9:1)][ (! 6 !G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer9.spr(1),125(60,130),1,1)!,! - ForcedWait)][ (! 6 !J#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),119(60,180),1,1)!w ,! SiDLing)][D (!" !w ,!w ,!!J#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),122(40,155),3,1)!I !+ {walkingTime(908.0000))][& (! b!x ,!w ,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),182(55,85),1,1)!J#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf10.spr(1),125(55,135),1,1)!" h approveWrite)][ (! 6 !@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),134(60,110),1,1)!x ,! Phase2)][& (! !x ,!m,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),137(30,70),1,1)!) producerXWroteItemY! 610, 94)][ (! 6U!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),116(60,195),1,1)!{,! wSiDLing)][D (!"    !{,!{,!!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),119(40,170),1,1)!I !* coolTimes(1100.0000))][& (! !x ,!{,!!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),191(40,170),1,1)!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),122(45,150),1,1)!! approveRead! 49)][ (! 6 B!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),176(60,190),1,1)!x ,! dPhase1)][& (! zz!x ,!m,!!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),170(30,155),1,1)!( HconsumerXReadItemY! 3, 49)][& (!g /!{,!x ,!!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),128(45,110),1,1)!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),146(35,135),1,1)!! 5 requestRead!$ 3, Consumer3:1)][ (! 6!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer3.spr(1),125(60,130),1,1)!{,!  ForcedWait)][ (! 6!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),167(60,125),1,1)!n,!"  ForcedToWait)][& (!T`T!n,!qT!!F#SDTREF(SDL,C:\temp\LAB8Concurency3\Producer.spr(1),149(35,110),1,1)!" " requestWrite!' m1, 25, Producer:1)][: (! 6qT!7 C!/* Not yet consumed by */ Io_1_11)][ (! 6!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),119(65,180),1,1)!s,! SiDLing)][D (!"AAAA!s,!s,!!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),122(45,155),3,1)!I !, walkingTime(1001.0000))][& (! .!x ,!s,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),182(55,85),1,1)!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf6.spr(1),125(60,135),1,1)!"  approveWrite)][ (! 6 y!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),134(60,110),1,1)!x ,! Phase2)][& (! !x ,!m,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),137(30,70),1,1)!) producerXWroteItemY! 6, 49)][ (! 6!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),116(60,195),1,1)!,!  SiDLing)][D (!"!,!,!!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),119(40,170),1,1)!I !* lcoolTimes(1403.0000))][& (! S!x ,!,!!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),191(40,170),1,1)!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),122(45,150),1,1)!! Y approveRead! 99)][ (! 6 !@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),176(60,190),1,1)!x ,! Phase1)][& (! !x ,!m,!!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),170(30,155),1,1)!( consumerXReadItemY! '7, 99)][& (! !,!x ,!!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),128(45,110),1,1)!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),146(35,135),1,1)!! u requestRead!$ u7, Consumer7:1)][ (! 6F!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer7.spr(1),125(60,130),1,1)!,! h ForcedWait)][ (! 63!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),119(65,180),1,1)!q,! USiDLing)][D (!"!q,!q,!!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),122(45,155),3,1)!I !+ walkingTime(812.0000))][& (! !x ,!q,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),182(55,85),1,1)!I#SDTREF(SDL,C:\temp\LAB8Concurency3\ProducerOf4.spr(1),125(60,135),1,1)!"  approveWrite)][ (! 6 !@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),134(60,110),1,1)!x ,! BPhase2)][& (! XX!x ,!m,!!?#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),137(30,70),1,1)!) &producerXWroteItemY! q4, 99)][ (! 6 !G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),116(60,200),1,1)!z ,! SiDLing)][D (!" E E E E!z ,!z ,!!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),119(40,175),1,1)!I !* coolTimes(1050.0000))][& (! 2 !x ,!z ,!!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),191(40,170),1,1)!G#SDTREF(SDL,C:\temp\LAB8Concurency3\Consumer2.spr(1),122(45,155),1,1)!! approveRead! K31)][ (! 6 }!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),176(60,190),1,1)!x ,! Phase1)][& (! !x ,!m,!!@#SDTREF(SDL,C:\temp\LAB8Concurency3\Io.spr(1),170(30,155),1,1)!( consumerXReadItemY! 2, 31)]]}------------------------------------------------------------------------------------------------------------------(!4)[!(! 1!!!3)]}-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------E