((time 0.013049)(op(Switch 0))) ((time 0.013081)(op(Label 0 console_xen.get_initial_console))) ((time 0.013181)(op(Label 0 console_xen.get_initial_console))) ((time 0.013215)(op(Reads 0 -1))) ((time 0.013316)(op(Label 0"create XenStore"))) ((time 0.013366)(op(Creates 0 1 Condition))) ((time 0.013373)(op(Creates 0 2 Try))) ((time 0.013377)(op(Creates 0 3 Bind))) ((time 0.013396)(op(Label 3 after-chn-1))) ((time 0.013398)(op(Creates 0 4 Bind))) ((time 0.013401)(op(Creates 0 5 Bind))) ((time 0.013403)(op(Creates 0 6 Bind))) ((time 0.013405)(op(Creates 0 7 Bind))) ((time 0.013408)(op(Creates 0 8 Try))) ((time 0.013410)(op(Creates 0 9 Bind))) ((time 0.013416)(op(Reads 0 -1))) ((time 0.013438)(op(Creates 0 10 Wait))) ((time 0.013441)(op(Reads 0 -1))) ((time 0.013521)(op(Reads 0 -1))) ((time 0.013525)(op(Creates 0 11 Bind))) ((time 0.013528)(op(Creates 0 12 Try))) ((time 0.013530)(op(Creates 0 13 Bind))) ((time 0.013532)(op(Creates 0 14 Bind))) ((time 0.013534)(op(Creates 0 15 Bind))) ((time 0.013536)(op(Creates 0 16 Bind))) ((time 0.013540)(op(Creates 0 17 Join))) ((time 0.013546)(op(Creates 0 18 Join))) ((time 0.013673)(op(Resolves 0 1()))) ((time 0.013679)(op(Reads 2 1))) ((time 0.013683)(op(Reads 2 -1))) ((time 0.013686)(op(Resolves 2 2()))) ((time 0.013688)(op(Reads 3 2))) ((time 0.013691)(op(Resolves 3 3()))) ((time 0.013694)(op(Reads 4 3))) ((time 0.013697)(op(Resolves 4 4()))) ((time 0.013699)(op(Reads 5 4))) ((time 0.013702)(op(Label 5"Xs.read waiting"))) ((time 0.013711)(op(Creates 5 19 Condition))) ((time 0.013715)(op(Creates 5 20 Try))) ((time 0.013717)(op(Creates 5 21 Bind))) ((time 0.013728)(op(Label 21 after-chn-1))) ((time 0.013730)(op(Creates 5 22 Bind))) ((time 0.013732)(op(Creates 5 23 Bind))) ((time 0.013735)(op(Becomes 5 23))) ((time 0.013740)(op(Switch 0))) ((time 0.013846)(op(Resolves 0 19()))) ((time 0.013850)(op(Reads 20 19))) ((time 0.013853)(op(Reads 20 -1))) ((time 0.013855)(op(Resolves 20 20()))) ((time 0.013857)(op(Reads 21 20))) ((time 0.013859)(op(Resolves 21 21()))) ((time 0.013862)(op(Reads 22 21))) ((time 0.013864)(op(Resolves 22 22()))) ((time 0.013866)(op(Reads 5 22))) ((time 0.013868)(op(Label 5"Xs.read waiting"))) ((time 0.013891)(op(Resolves 5 5()))) ((time 0.013894)(op(Reads 6 5))) ((time 0.013929)(op(Resolves 6 6()))) ((time 0.013933)(op(Reads 7 6))) ((time 0.013936)(op(Resolves 7 7()))) ((time 0.013938)(op(Reads 8 7))) ((time 0.013942)(op(Resolves 8 8()))) ((time 0.013943)(op(Reads 9 8))) ((time 0.013947)(op(Reads 9 -1))) ((time 0.013957)(op(Reads 9 -1))) ((time 0.013961)(op(Resolves 9 10()))) ((time 0.013980)(op(Label 9 after-chn-1))) ((time 0.013982)(op(Label 9"Xs.read waiting"))) ((time 0.013987)(op(Creates 9 24 Condition))) ((time 0.013990)(op(Creates 9 25 Try))) ((time 0.013993)(op(Creates 9 26 Bind))) ((time 0.013998)(op(Label 26 after-chn-1))) ((time 0.014000)(op(Creates 9 27 Bind))) ((time 0.014003)(op(Creates 9 28 Bind))) ((time 0.014005)(op(Creates 9 29 Bind))) ((time 0.014007)(op(Creates 9 30 Bind))) ((time 0.014010)(op(Creates 9 31 Try))) ((time 0.014012)(op(Creates 9 32 Bind))) ((time 0.014014)(op(Becomes 9 32))) ((time 0.014018)(op(Reads 11 10))) ((time 0.014021)(op(Reads 11 -1))) ((time 0.014029)(op(Reads 11 -1))) ((time 0.014044)(op(Resolves 11 11()))) ((time 0.014061)(op(Reads 12 11))) ((time 0.014064)(op(Resolves 12 12()))) ((time 0.014066)(op(Reads 13 12))) ((time 0.014071)(op(Resolves 13 13()))) ((time 0.014073)(op(Reads 14 13))) ((time 0.014149)(op(Reads 14 -1))) ((time 0.014155)(op(Reads 14 -1))) ((time 0.014184)(op(Creates 14 33 Wait))) ((time 0.014187)(op(Reads 14 -1))) ((time 0.014234)(op(Reads 14 -1))) ((time 0.014239)(op(Creates 14 34 Bind))) ((time 0.014243)(op(Creates 14 35 Map))) ((time 0.014246)(op(Creates 14 36 Bind))) ((time 0.014249)(op(Creates 14 37 Bind))) ((time 0.014252)(op(Creates 14 38 Try))) ((time 0.014256)(op(Becomes 14 38))) ((time 0.014260)(op(Switch 0))) ((time 0.014375)(op(Resolves 0 24()))) ((time 0.014379)(op(Reads 25 24))) ((time 0.014382)(op(Reads 25 -1))) ((time 0.014385)(op(Resolves 25 25()))) ((time 0.014388)(op(Reads 26 25))) ((time 0.014392)(op(Resolves 26 26()))) ((time 0.014394)(op(Reads 27 26))) ((time 0.014397)(op(Resolves 27 27()))) ((time 0.014399)(op(Reads 28 27))) ((time 0.014402)(op(Label 28"Xs.read waiting"))) ((time 0.014411)(op(Creates 28 39 Condition))) ((time 0.014415)(op(Creates 28 40 Try))) ((time 0.014417)(op(Creates 28 41 Bind))) ((time 0.014428)(op(Label 41 after-chn-1))) ((time 0.014431)(op(Creates 28 42 Bind))) ((time 0.014434)(op(Creates 28 43 Bind))) ((time 0.014436)(op(Becomes 28 43))) ((time 0.014439)(op(Switch 0))) ((time 0.014546)(op(Resolves 0 39()))) ((time 0.014549)(op(Reads 40 39))) ((time 0.014552)(op(Reads 40 -1))) ((time 0.014555)(op(Resolves 40 40()))) ((time 0.014557)(op(Reads 41 40))) ((time 0.014560)(op(Resolves 41 41()))) ((time 0.014563)(op(Reads 42 41))) ((time 0.014565)(op(Resolves 42 42()))) ((time 0.014568)(op(Reads 28 42))) ((time 0.014569)(op(Label 28"Xs.read waiting"))) ((time 0.014591)(op(Resolves 28 28()))) ((time 0.014594)(op(Reads 29 28))) ((time 0.014624)(op(Resolves 29 29()))) ((time 0.014627)(op(Reads 30 29))) ((time 0.014630)(op(Resolves 30 30()))) ((time 0.014632)(op(Reads 31 30))) ((time 0.014635)(op(Resolves 31 31()))) ((time 0.014637)(op(Reads 9 31))) ((time 0.014640)(op(Reads 9 -1))) ((time 0.014647)(op(Reads 9 -1))) ((time 0.014650)(op(Resolves 9 33()))) ((time 0.014666)(op(Label 9 after-chn-1))) ((time 0.014669)(op(Label 9"Xs.read waiting"))) ((time 0.014674)(op(Creates 9 44 Condition))) ((time 0.014677)(op(Creates 9 45 Try))) ((time 0.014679)(op(Creates 9 46 Bind))) ((time 0.014684)(op(Label 46 after-chn-1))) ((time 0.014686)(op(Creates 9 47 Bind))) ((time 0.014688)(op(Creates 9 48 Bind))) ((time 0.014690)(op(Creates 9 49 Bind))) ((time 0.014693)(op(Creates 9 50 Bind))) ((time 0.014695)(op(Creates 9 51 Try))) ((time 0.014697)(op(Creates 9 52 Bind))) ((time 0.014699)(op(Becomes 9 52))) ((time 0.014703)(op(Reads 34 33))) ((time 0.014706)(op(Reads 34 -1))) ((time 0.014712)(op(Reads 34 -1))) ((time 0.014719)(op(Resolves 34 34()))) ((time 0.014722)(op(Reads 35 34))) ((time 0.014726)(op(Resolves 35 35()))) ((time 0.014728)(op(Reads 36 35))) ((time 0.014811)(op(Label 36 Gntshr.get))) ((time 0.014942)(op(Label 36 Gntshr.grant_access))) ((time 0.014987)(op(Label 36 Gntshr.get))) ((time 0.015085)(op(Label 36 Gntshr.grant_access))) ((time 0.015133)(op(Creates 36 53 Wait))) ((time 0.015137)(op(Reads 36 -1))) ((time 0.015186)(op(Reads 36 -1))) ((time 0.015190)(op(Creates 36 54 Bind))) ((time 0.015193)(op(Creates 36 55 Bind))) ((time 0.015196)(op(Becomes 36 55))) ((time 0.015200)(op(Switch 0))) ((time 0.015314)(op(Resolves 0 44()))) ((time 0.015318)(op(Reads 45 44))) ((time 0.015321)(op(Reads 45 -1))) ((time 0.015323)(op(Resolves 45 45()))) ((time 0.015325)(op(Reads 46 45))) ((time 0.015328)(op(Resolves 46 46()))) ((time 0.015331)(op(Reads 47 46))) ((time 0.015333)(op(Resolves 47 47()))) ((time 0.015335)(op(Reads 48 47))) ((time 0.015337)(op(Label 48"Xs.read waiting"))) ((time 0.015345)(op(Creates 48 56 Condition))) ((time 0.015348)(op(Creates 48 57 Try))) ((time 0.015351)(op(Creates 48 58 Bind))) ((time 0.015360)(op(Label 58 after-chn-1))) ((time 0.015362)(op(Creates 48 59 Bind))) ((time 0.015364)(op(Creates 48 60 Bind))) ((time 0.015366)(op(Becomes 48 60))) ((time 0.015370)(op(Switch 0))) ((time 0.015489)(op(Resolves 0 56()))) ((time 0.015493)(op(Reads 57 56))) ((time 0.015495)(op(Reads 57 -1))) ((time 0.015497)(op(Resolves 57 57()))) ((time 0.015499)(op(Reads 58 57))) ((time 0.015502)(op(Resolves 58 58()))) ((time 0.015504)(op(Reads 59 58))) ((time 0.015506)(op(Resolves 59 59()))) ((time 0.015509)(op(Reads 48 59))) ((time 0.015511)(op(Label 48"Xs.read waiting"))) ((time 0.015539)(op(Resolves 48 48()))) ((time 0.015543)(op(Reads 49 48))) ((time 0.015571)(op(Resolves 49 49()))) ((time 0.015574)(op(Reads 50 49))) ((time 0.015578)(op(Resolves 50 50()))) ((time 0.015580)(op(Reads 51 50))) ((time 0.015582)(op(Resolves 51 51()))) ((time 0.015584)(op(Reads 9 51))) ((time 0.015588)(op(Reads 9 -1))) ((time 0.015595)(op(Reads 9 -1))) ((time 0.015598)(op(Resolves 9 53()))) ((time 0.015614)(op(Label 9 after-chn-1))) ((time 0.015617)(op(Label 9"Xs.read waiting"))) ((time 0.015622)(op(Creates 9 61 Condition))) ((time 0.015625)(op(Creates 9 62 Try))) ((time 0.015627)(op(Creates 9 63 Bind))) ((time 0.015632)(op(Label 63 after-chn-1))) ((time 0.015633)(op(Creates 9 64 Bind))) ((time 0.015636)(op(Creates 9 65 Bind))) ((time 0.015638)(op(Creates 9 66 Bind))) ((time 0.015640)(op(Creates 9 67 Bind))) ((time 0.015642)(op(Creates 9 68 Try))) ((time 0.015645)(op(Creates 9 69 Bind))) ((time 0.015647)(op(Becomes 9 69))) ((time 0.015651)(op(Reads 54 53))) ((time 0.015653)(op(Reads 54 -1))) ((time 0.015659)(op(Reads 54 -1))) ((time 0.015667)(op(Resolves 54 54()))) ((time 0.015669)(op(Reads 36 54))) ((time 0.015679)(op(Creates 36 70 Wait))) ((time 0.015682)(op(Reads 36 -1))) ((time 0.015724)(op(Reads 36 -1))) ((time 0.015727)(op(Creates 36 71 Bind))) ((time 0.015730)(op(Creates 36 72 Map))) ((time 0.015732)(op(Creates 36 73 Bind))) ((time 0.015735)(op(Creates 36 74 Bind))) ((time 0.015737)(op(Becomes 36 74))) ((time 0.015740)(op(Switch 0))) ((time 0.015852)(op(Resolves 0 61()))) ((time 0.015855)(op(Reads 62 61))) ((time 0.015858)(op(Reads 62 -1))) ((time 0.015861)(op(Resolves 62 62()))) ((time 0.015863)(op(Reads 63 62))) ((time 0.015865)(op(Resolves 63 63()))) ((time 0.015868)(op(Reads 64 63))) ((time 0.015870)(op(Resolves 64 64()))) ((time 0.015872)(op(Reads 65 64))) ((time 0.015874)(op(Label 65"Xs.read waiting"))) ((time 0.015881)(op(Creates 65 75 Condition))) ((time 0.015884)(op(Creates 65 76 Try))) ((time 0.015886)(op(Creates 65 77 Bind))) ((time 0.015894)(op(Label 77 after-chn-1))) ((time 0.015896)(op(Creates 65 78 Bind))) ((time 0.015898)(op(Creates 65 79 Bind))) ((time 0.015900)(op(Becomes 65 79))) ((time 0.015903)(op(Switch 0))) ((time 0.016008)(op(Resolves 0 75()))) ((time 0.016010)(op(Reads 76 75))) ((time 0.016013)(op(Reads 76 -1))) ((time 0.016015)(op(Resolves 76 76()))) ((time 0.016017)(op(Reads 77 76))) ((time 0.016019)(op(Resolves 77 77()))) ((time 0.016022)(op(Reads 78 77))) ((time 0.016024)(op(Resolves 78 78()))) ((time 0.016026)(op(Reads 65 78))) ((time 0.016028)(op(Label 65"Xs.read waiting"))) ((time 0.016055)(op(Resolves 65 65()))) ((time 0.016058)(op(Reads 66 65))) ((time 0.016081)(op(Resolves 66 66()))) ((time 0.016084)(op(Reads 67 66))) ((time 0.016086)(op(Resolves 67 67()))) ((time 0.016088)(op(Reads 68 67))) ((time 0.016090)(op(Resolves 68 68()))) ((time 0.016093)(op(Reads 9 68))) ((time 0.016095)(op(Reads 9 -1))) ((time 0.016102)(op(Reads 9 -1))) ((time 0.016105)(op(Resolves 9 70()))) ((time 0.016118)(op(Label 9 after-chn-1))) ((time 0.016122)(op(Label 9"Xs.read waiting"))) ((time 0.016127)(op(Creates 9 80 Condition))) ((time 0.016129)(op(Creates 9 81 Try))) ((time 0.016132)(op(Creates 9 82 Bind))) ((time 0.016136)(op(Label 82 after-chn-1))) ((time 0.016138)(op(Creates 9 83 Bind))) ((time 0.016140)(op(Creates 9 84 Bind))) ((time 0.016142)(op(Creates 9 85 Bind))) ((time 0.016144)(op(Creates 9 86 Bind))) ((time 0.016147)(op(Creates 9 87 Try))) ((time 0.016149)(op(Creates 9 88 Bind))) ((time 0.016151)(op(Becomes 9 88))) ((time 0.016155)(op(Reads 71 70))) ((time 0.016157)(op(Reads 71 -1))) ((time 0.016163)(op(Reads 71 -1))) ((time 0.016169)(op(Resolves 71 71()))) ((time 0.016171)(op(Reads 72 71))) ((time 0.016183)(op(Resolves 72 72()))) ((time 0.016185)(op(Reads 73 72))) ((time 0.016188)(op(Resolves 73 73()))) ((time 0.016191)(op(Reads 36 73))) ((time 0.016334)(op(Creates 36 89 Wait))) ((time 0.016341)(op(Reads 36 -1))) ((time 0.016382)(op(Reads 36 -1))) ((time 0.016386)(op(Creates 36 90 Bind))) ((time 0.016389)(op(Creates 36 91 Bind))) ((time 0.016391)(op(Creates 36 92 Bind))) ((time 0.016394)(op(Becomes 36 92))) ((time 0.016398)(op(Switch 0))) ((time 0.016620)(op(Resolves 0 80()))) ((time 0.016624)(op(Reads 81 80))) ((time 0.016627)(op(Reads 81 -1))) ((time 0.016629)(op(Resolves 81 81()))) ((time 0.016631)(op(Reads 82 81))) ((time 0.016633)(op(Resolves 82 82()))) ((time 0.016636)(op(Reads 83 82))) ((time 0.016639)(op(Resolves 83 83()))) ((time 0.016641)(op(Reads 84 83))) ((time 0.016643)(op(Label 84"Xs.read waiting"))) ((time 0.016652)(op(Creates 84 93 Condition))) ((time 0.016656)(op(Creates 84 94 Try))) ((time 0.016658)(op(Creates 84 95 Bind))) ((time 0.016668)(op(Label 95 after-chn-1))) ((time 0.016670)(op(Creates 84 96 Bind))) ((time 0.016673)(op(Creates 84 97 Bind))) ((time 0.016675)(op(Becomes 84 97))) ((time 0.016678)(op(Switch 0))) ((time 0.016784)(op(Switch -1))) ((time 0.016804)(op(Switch 0))) ((time 0.016811)(op(Switch -1))) ((time 0.017274)(op(Switch 0))) ((time 0.017290)(op(Resolves 0 93()))) ((time 0.017295)(op(Reads 94 93))) ((time 0.017299)(op(Reads 94 -1))) ((time 0.017303)(op(Resolves 94 94()))) ((time 0.017306)(op(Reads 95 94))) ((time 0.017310)(op(Resolves 95 95()))) ((time 0.017312)(op(Reads 96 95))) ((time 0.017315)(op(Resolves 96 96()))) ((time 0.017318)(op(Reads 84 96))) ((time 0.017320)(op(Label 84"Xs.read waiting"))) ((time 0.017359)(op(Resolves 84 84()))) ((time 0.017363)(op(Reads 85 84))) ((time 0.017408)(op(Resolves 85 85()))) ((time 0.017412)(op(Reads 86 85))) ((time 0.017415)(op(Resolves 86 86()))) ((time 0.017417)(op(Reads 87 86))) ((time 0.017420)(op(Resolves 87 87()))) ((time 0.017423)(op(Reads 9 87))) ((time 0.017427)(op(Reads 9 -1))) ((time 0.017438)(op(Reads 9 -1))) ((time 0.017442)(op(Resolves 9 89()))) ((time 0.017467)(op(Label 9 after-chn-1))) ((time 0.017471)(op(Label 9"Xs.read waiting"))) ((time 0.017476)(op(Creates 9 98 Condition))) ((time 0.017480)(op(Creates 9 99 Try))) ((time 0.017484)(op(Creates 9 100 Bind))) ((time 0.017489)(op(Label 100 after-chn-1))) ((time 0.017491)(op(Creates 9 101 Bind))) ((time 0.017493)(op(Creates 9 102 Bind))) ((time 0.017495)(op(Creates 9 103 Bind))) ((time 0.017497)(op(Creates 9 104 Bind))) ((time 0.017500)(op(Creates 9 105 Try))) ((time 0.017502)(op(Creates 9 106 Bind))) ((time 0.017505)(op(Becomes 9 106))) ((time 0.017510)(op(Reads 90 89))) ((time 0.017513)(op(Reads 90 -1))) ((time 0.017519)(op(Reads 90 -1))) ((time 0.017530)(op(Resolves 90 90()))) ((time 0.017533)(op(Reads 91 90))) ((time 0.017550)(op(Creates 91 107 Wait))) ((time 0.017553)(op(Reads 91 -1))) ((time 0.017607)(op(Reads 91 -1))) ((time 0.017610)(op(Creates 91 108 Bind))) ((time 0.017613)(op(Creates 91 109 Bind))) ((time 0.017615)(op(Creates 91 110 Bind))) ((time 0.017617)(op(Creates 91 111 Bind))) ((time 0.017619)(op(Creates 91 112 Bind))) ((time 0.017622)(op(Creates 91 113 Bind))) ((time 0.017624)(op(Creates 91 114 Bind))) ((time 0.017626)(op(Creates 91 115 Bind))) ((time 0.017628)(op(Becomes 91 115))) ((time 0.017631)(op(Switch 0))) ((time 0.017748)(op(Resolves 0 98()))) ((time 0.017752)(op(Reads 99 98))) ((time 0.017755)(op(Reads 99 -1))) ((time 0.017758)(op(Resolves 99 99()))) ((time 0.017761)(op(Reads 100 99))) ((time 0.017764)(op(Resolves 100 100()))) ((time 0.017766)(op(Reads 101 100))) ((time 0.017769)(op(Resolves 101 101()))) ((time 0.017771)(op(Reads 102 101))) ((time 0.017773)(op(Label 102"Xs.read waiting"))) ((time 0.017782)(op(Creates 102 116 Condition))) ((time 0.017786)(op(Creates 102 117 Try))) ((time 0.017788)(op(Creates 102 118 Bind))) ((time 0.017797)(op(Label 118 after-chn-1))) ((time 0.017799)(op(Creates 102 119 Bind))) ((time 0.017801)(op(Creates 102 120 Bind))) ((time 0.017804)(op(Becomes 102 120))) ((time 0.017807)(op(Switch 0))) ((time 0.017912)(op(Switch -1))) ((time 0.017923)(op(Switch 0))) ((time 0.017929)(op(Switch -1))) ((time 0.018275)(op(Switch 0))) ((time 0.018288)(op(Resolves 0 116()))) ((time 0.018291)(op(Reads 117 116))) ((time 0.018295)(op(Reads 117 -1))) ((time 0.018298)(op(Resolves 117 117()))) ((time 0.018300)(op(Reads 118 117))) ((time 0.018304)(op(Resolves 118 118()))) ((time 0.018306)(op(Reads 119 118))) ((time 0.018309)(op(Resolves 119 119()))) ((time 0.018311)(op(Reads 102 119))) ((time 0.018313)(op(Label 102"Xs.read waiting"))) ((time 0.018340)(op(Resolves 102 102()))) ((time 0.018344)(op(Reads 103 102))) ((time 0.018379)(op(Resolves 103 103()))) ((time 0.018383)(op(Reads 104 103))) ((time 0.018386)(op(Resolves 104 104()))) ((time 0.018389)(op(Reads 105 104))) ((time 0.018391)(op(Resolves 105 105()))) ((time 0.018394)(op(Reads 9 105))) ((time 0.018397)(op(Reads 9 -1))) ((time 0.018404)(op(Reads 9 -1))) ((time 0.018407)(op(Resolves 9 107()))) ((time 0.018426)(op(Label 9 after-chn-1))) ((time 0.018429)(op(Label 9"Xs.read waiting"))) ((time 0.018435)(op(Creates 9 121 Condition))) ((time 0.018438)(op(Creates 9 122 Try))) ((time 0.018441)(op(Creates 9 123 Bind))) ((time 0.018446)(op(Label 123 after-chn-1))) ((time 0.018448)(op(Creates 9 124 Bind))) ((time 0.018450)(op(Creates 9 125 Bind))) ((time 0.018452)(op(Creates 9 126 Bind))) ((time 0.018454)(op(Creates 9 127 Bind))) ((time 0.018457)(op(Creates 9 128 Try))) ((time 0.018459)(op(Creates 9 129 Bind))) ((time 0.018461)(op(Becomes 9 129))) ((time 0.018466)(op(Reads 108 107))) ((time 0.018469)(op(Reads 108 -1))) ((time 0.018474)(op(Reads 108 -1))) ((time 0.018481)(op(Resolves 108 108()))) ((time 0.018483)(op(Reads 109 108))) ((time 0.018494)(op(Creates 109 130 Wait))) ((time 0.018497)(op(Reads 109 -1))) ((time 0.018541)(op(Reads 109 -1))) ((time 0.018545)(op(Creates 109 131 Bind))) ((time 0.018548)(op(Becomes 109 131))) ((time 0.018551)(op(Switch 0))) ((time 0.018662)(op(Resolves 0 121()))) ((time 0.018665)(op(Reads 122 121))) ((time 0.018668)(op(Reads 122 -1))) ((time 0.018671)(op(Resolves 122 122()))) ((time 0.018673)(op(Reads 123 122))) ((time 0.018675)(op(Resolves 123 123()))) ((time 0.018677)(op(Reads 124 123))) ((time 0.018680)(op(Resolves 124 124()))) ((time 0.018682)(op(Reads 125 124))) ((time 0.018684)(op(Label 125"Xs.read waiting"))) ((time 0.018690)(op(Creates 125 132 Condition))) ((time 0.018693)(op(Creates 125 133 Try))) ((time 0.018695)(op(Creates 125 134 Bind))) ((time 0.018703)(op(Label 134 after-chn-1))) ((time 0.018705)(op(Creates 125 135 Bind))) ((time 0.018707)(op(Creates 125 136 Bind))) ((time 0.018709)(op(Becomes 125 136))) ((time 0.018712)(op(Switch 0))) ((time 0.018817)(op(Switch -1))) ((time 0.018828)(op(Switch 0))) ((time 0.018833)(op(Switch -1))) ((time 0.019098)(op(Switch 0))) ((time 0.019106)(op(Resolves 0 132()))) ((time 0.019109)(op(Reads 133 132))) ((time 0.019113)(op(Reads 133 -1))) ((time 0.019115)(op(Resolves 133 133()))) ((time 0.019117)(op(Reads 134 133))) ((time 0.019120)(op(Resolves 134 134()))) ((time 0.019123)(op(Reads 135 134))) ((time 0.019125)(op(Resolves 135 135()))) ((time 0.019127)(op(Reads 125 135))) ((time 0.019129)(op(Label 125"Xs.read waiting"))) ((time 0.019155)(op(Resolves 125 125()))) ((time 0.019159)(op(Reads 126 125))) ((time 0.019186)(op(Resolves 126 126()))) ((time 0.019189)(op(Reads 127 126))) ((time 0.019191)(op(Resolves 127 127()))) ((time 0.019193)(op(Reads 128 127))) ((time 0.019196)(op(Resolves 128 128()))) ((time 0.019198)(op(Reads 9 128))) ((time 0.019200)(op(Reads 9 -1))) ((time 0.019207)(op(Reads 9 -1))) ((time 0.019211)(op(Resolves 9 130()))) ((time 0.019228)(op(Label 9 after-chn-1))) ((time 0.019231)(op(Label 9"Xs.read waiting"))) ((time 0.019236)(op(Creates 9 137 Condition))) ((time 0.019239)(op(Creates 9 138 Try))) ((time 0.019241)(op(Creates 9 139 Bind))) ((time 0.019246)(op(Label 139 after-chn-1))) ((time 0.019248)(op(Creates 9 140 Bind))) ((time 0.019250)(op(Creates 9 141 Bind))) ((time 0.019253)(op(Creates 9 142 Bind))) ((time 0.019255)(op(Creates 9 143 Bind))) ((time 0.019257)(op(Creates 9 144 Try))) ((time 0.019260)(op(Creates 9 145 Bind))) ((time 0.019262)(op(Becomes 9 145))) ((time 0.019266)(op(Reads 109 130))) ((time 0.019268)(op(Reads 109 -1))) ((time 0.019273)(op(Reads 109 -1))) ((time 0.019280)(op(Resolves 109 109()))) ((time 0.019283)(op(Reads 110 109))) ((time 0.019294)(op(Creates 110 146 Wait))) ((time 0.019296)(op(Reads 110 -1))) ((time 0.019334)(op(Reads 110 -1))) ((time 0.019338)(op(Creates 110 147 Bind))) ((time 0.019341)(op(Becomes 110 147))) ((time 0.019343)(op(Switch 0))) ((time 0.019455)(op(Resolves 0 137()))) ((time 0.019459)(op(Reads 138 137))) ((time 0.019462)(op(Reads 138 -1))) ((time 0.019465)(op(Resolves 138 138()))) ((time 0.019467)(op(Reads 139 138))) ((time 0.019469)(op(Resolves 139 139()))) ((time 0.019472)(op(Reads 140 139))) ((time 0.019474)(op(Resolves 140 140()))) ((time 0.019476)(op(Reads 141 140))) ((time 0.019478)(op(Label 141"Xs.read waiting"))) ((time 0.019486)(op(Creates 141 148 Condition))) ((time 0.019488)(op(Creates 141 149 Try))) ((time 0.019491)(op(Creates 141 150 Bind))) ((time 0.019497)(op(Label 150 after-chn-1))) ((time 0.019499)(op(Creates 141 151 Bind))) ((time 0.019501)(op(Creates 141 152 Bind))) ((time 0.019504)(op(Becomes 141 152))) ((time 0.019506)(op(Switch 0))) ((time 0.019622)(op(Switch -1))) ((time 0.019630)(op(Switch 0))) ((time 0.019636)(op(Switch -1))) ((time 0.019906)(op(Switch 0))) ((time 0.019915)(op(Resolves 0 148()))) ((time 0.019919)(op(Reads 149 148))) ((time 0.019924)(op(Reads 149 -1))) ((time 0.019926)(op(Resolves 149 149()))) ((time 0.019928)(op(Reads 150 149))) ((time 0.019931)(op(Resolves 150 150()))) ((time 0.019933)(op(Reads 151 150))) ((time 0.019936)(op(Resolves 151 151()))) ((time 0.019938)(op(Reads 141 151))) ((time 0.019940)(op(Label 141"Xs.read waiting"))) ((time 0.019964)(op(Resolves 141 141()))) ((time 0.019968)(op(Reads 142 141))) ((time 0.019994)(op(Resolves 142 142()))) ((time 0.019997)(op(Reads 143 142))) ((time 0.020001)(op(Resolves 143 143()))) ((time 0.020003)(op(Reads 144 143))) ((time 0.020005)(op(Resolves 144 144()))) ((time 0.020007)(op(Reads 9 144))) ((time 0.020010)(op(Reads 9 -1))) ((time 0.020017)(op(Reads 9 -1))) ((time 0.020020)(op(Resolves 9 146()))) ((time 0.020036)(op(Label 9 after-chn-1))) ((time 0.020039)(op(Label 9"Xs.read waiting"))) ((time 0.020044)(op(Creates 9 153 Condition))) ((time 0.020047)(op(Creates 9 154 Try))) ((time 0.020050)(op(Creates 9 155 Bind))) ((time 0.020056)(op(Label 155 after-chn-1))) ((time 0.020058)(op(Creates 9 156 Bind))) ((time 0.020061)(op(Creates 9 157 Bind))) ((time 0.020064)(op(Creates 9 158 Bind))) ((time 0.020067)(op(Creates 9 159 Bind))) ((time 0.020069)(op(Creates 9 160 Try))) ((time 0.020072)(op(Creates 9 161 Bind))) ((time 0.020075)(op(Becomes 9 161))) ((time 0.020080)(op(Reads 110 146))) ((time 0.020083)(op(Reads 110 -1))) ((time 0.020089)(op(Reads 110 -1))) ((time 0.020096)(op(Resolves 110 110()))) ((time 0.020099)(op(Reads 111 110))) ((time 0.020107)(op(Creates 111 162 Wait))) ((time 0.020111)(op(Reads 111 -1))) ((time 0.020150)(op(Reads 111 -1))) ((time 0.020154)(op(Creates 111 163 Bind))) ((time 0.020157)(op(Becomes 111 163))) ((time 0.020160)(op(Switch 0))) ((time 0.020269)(op(Switch -1))) ((time 0.020448)(op(Switch 0))) ((time 0.020466)(op(Resolves 0 153()))) ((time 0.020470)(op(Reads 154 153))) ((time 0.020473)(op(Reads 154 -1))) ((time 0.020477)(op(Resolves 154 154()))) ((time 0.020479)(op(Reads 155 154))) ((time 0.020483)(op(Resolves 155 155()))) ((time 0.020485)(op(Reads 156 155))) ((time 0.020488)(op(Resolves 156 156()))) ((time 0.020491)(op(Reads 157 156))) ((time 0.020494)(op(Label 157"Xs.read waiting"))) ((time 0.020508)(op(Creates 157 164 Condition))) ((time 0.020512)(op(Creates 157 165 Try))) ((time 0.020515)(op(Creates 157 166 Bind))) ((time 0.020527)(op(Label 166 after-chn-1))) ((time 0.020529)(op(Creates 157 167 Bind))) ((time 0.020532)(op(Creates 157 168 Bind))) ((time 0.020535)(op(Becomes 157 168))) ((time 0.020538)(op(Switch 0))) ((time 0.020645)(op(Switch -1))) ((time 0.020795)(op(Switch 0))) ((time 0.020804)(op(Resolves 0 164()))) ((time 0.020807)(op(Reads 165 164))) ((time 0.020811)(op(Reads 165 -1))) ((time 0.020813)(op(Resolves 165 165()))) ((time 0.020815)(op(Reads 166 165))) ((time 0.020818)(op(Resolves 166 166()))) ((time 0.020820)(op(Reads 167 166))) ((time 0.020823)(op(Resolves 167 167()))) ((time 0.020825)(op(Reads 157 167))) ((time 0.020828)(op(Label 157"Xs.read waiting"))) ((time 0.020857)(op(Resolves 157 157()))) ((time 0.020861)(op(Reads 158 157))) ((time 0.020893)(op(Resolves 158 158()))) ((time 0.020896)(op(Reads 159 158))) ((time 0.020900)(op(Resolves 159 159()))) ((time 0.020902)(op(Reads 160 159))) ((time 0.020905)(op(Resolves 160 160()))) ((time 0.020908)(op(Reads 9 160))) ((time 0.020911)(op(Reads 9 -1))) ((time 0.020920)(op(Reads 9 -1))) ((time 0.020923)(op(Resolves 9 162()))) ((time 0.020941)(op(Label 9 after-chn-1))) ((time 0.020944)(op(Label 9"Xs.read waiting"))) ((time 0.020949)(op(Creates 9 169 Condition))) ((time 0.020952)(op(Creates 9 170 Try))) ((time 0.020955)(op(Creates 9 171 Bind))) ((time 0.020960)(op(Label 171 after-chn-1))) ((time 0.020962)(op(Creates 9 172 Bind))) ((time 0.020964)(op(Creates 9 173 Bind))) ((time 0.020966)(op(Creates 9 174 Bind))) ((time 0.020968)(op(Creates 9 175 Bind))) ((time 0.020971)(op(Creates 9 176 Try))) ((time 0.020973)(op(Creates 9 177 Bind))) ((time 0.020975)(op(Becomes 9 177))) ((time 0.020988)(op(Reads 111 162))) ((time 0.020992)(op(Reads 111 -1))) ((time 0.020998)(op(Reads 111 -1))) ((time 0.021006)(op(Resolves 111 111()))) ((time 0.021009)(op(Reads 112 111))) ((time 0.021020)(op(Creates 112 178 Wait))) ((time 0.021023)(op(Reads 112 -1))) ((time 0.021065)(op(Reads 112 -1))) ((time 0.021070)(op(Creates 112 179 Bind))) ((time 0.021072)(op(Becomes 112 179))) ((time 0.021075)(op(Switch 0))) ((time 0.021186)(op(Resolves 0 169()))) ((time 0.021190)(op(Reads 170 169))) ((time 0.021193)(op(Reads 170 -1))) ((time 0.021195)(op(Resolves 170 170()))) ((time 0.021197)(op(Reads 171 170))) ((time 0.021200)(op(Resolves 171 171()))) ((time 0.021202)(op(Reads 172 171))) ((time 0.021205)(op(Resolves 172 172()))) ((time 0.021207)(op(Reads 173 172))) ((time 0.021209)(op(Label 173"Xs.read waiting"))) ((time 0.021217)(op(Creates 173 180 Condition))) ((time 0.021220)(op(Creates 173 181 Try))) ((time 0.021222)(op(Creates 173 182 Bind))) ((time 0.021229)(op(Label 182 after-chn-1))) ((time 0.021231)(op(Creates 173 183 Bind))) ((time 0.021233)(op(Creates 173 184 Bind))) ((time 0.021235)(op(Becomes 173 184))) ((time 0.021238)(op(Switch 0))) ((time 0.021343)(op(Switch -1))) ((time 0.021352)(op(Switch 0))) ((time 0.021358)(op(Switch -1))) ((time 0.021649)(op(Switch 0))) ((time 0.021660)(op(Resolves 0 180()))) ((time 0.021663)(op(Reads 181 180))) ((time 0.021667)(op(Reads 181 -1))) ((time 0.021669)(op(Resolves 181 181()))) ((time 0.021672)(op(Reads 182 181))) ((time 0.021674)(op(Resolves 182 182()))) ((time 0.021677)(op(Reads 183 182))) ((time 0.021679)(op(Resolves 183 183()))) ((time 0.021681)(op(Reads 173 183))) ((time 0.021683)(op(Label 173"Xs.read waiting"))) ((time 0.021707)(op(Resolves 173 173()))) ((time 0.021710)(op(Reads 174 173))) ((time 0.021737)(op(Resolves 174 174()))) ((time 0.021741)(op(Reads 175 174))) ((time 0.021744)(op(Resolves 175 175()))) ((time 0.021746)(op(Reads 176 175))) ((time 0.021748)(op(Resolves 176 176()))) ((time 0.021751)(op(Reads 9 176))) ((time 0.021754)(op(Reads 9 -1))) ((time 0.021762)(op(Reads 9 -1))) ((time 0.021765)(op(Resolves 9 178()))) ((time 0.021779)(op(Label 9 after-chn-1))) ((time 0.021782)(op(Label 9"Xs.read waiting"))) ((time 0.021788)(op(Creates 9 185 Condition))) ((time 0.021790)(op(Creates 9 186 Try))) ((time 0.021793)(op(Creates 9 187 Bind))) ((time 0.021797)(op(Label 187 after-chn-1))) ((time 0.021799)(op(Creates 9 188 Bind))) ((time 0.021801)(op(Creates 9 189 Bind))) ((time 0.021804)(op(Creates 9 190 Bind))) ((time 0.021806)(op(Creates 9 191 Bind))) ((time 0.021808)(op(Creates 9 192 Try))) ((time 0.021811)(op(Creates 9 193 Bind))) ((time 0.021813)(op(Becomes 9 193))) ((time 0.021816)(op(Reads 112 178))) ((time 0.021819)(op(Reads 112 -1))) ((time 0.021824)(op(Reads 112 -1))) ((time 0.021830)(op(Resolves 112 112()))) ((time 0.021833)(op(Reads 113 112))) ((time 0.021840)(op(Creates 113 194 Wait))) ((time 0.021843)(op(Reads 113 -1))) ((time 0.021883)(op(Reads 113 -1))) ((time 0.021886)(op(Creates 113 195 Bind))) ((time 0.021889)(op(Becomes 113 195))) ((time 0.021892)(op(Switch 0))) ((time 0.022003)(op(Resolves 0 185()))) ((time 0.022007)(op(Reads 186 185))) ((time 0.022011)(op(Reads 186 -1))) ((time 0.022013)(op(Resolves 186 186()))) ((time 0.022015)(op(Reads 187 186))) ((time 0.022017)(op(Resolves 187 187()))) ((time 0.022020)(op(Reads 188 187))) ((time 0.022022)(op(Resolves 188 188()))) ((time 0.022024)(op(Reads 189 188))) ((time 0.022026)(op(Label 189"Xs.read waiting"))) ((time 0.022033)(op(Creates 189 196 Condition))) ((time 0.022036)(op(Creates 189 197 Try))) ((time 0.022038)(op(Creates 189 198 Bind))) ((time 0.022046)(op(Label 198 after-chn-1))) ((time 0.022048)(op(Creates 189 199 Bind))) ((time 0.022051)(op(Creates 189 200 Bind))) ((time 0.022053)(op(Becomes 189 200))) ((time 0.022055)(op(Switch 0))) ((time 0.022160)(op(Switch -1))) ((time 0.022169)(op(Switch 0))) ((time 0.022175)(op(Switch -1))) ((time 0.022466)(op(Switch 0))) ((time 0.022476)(op(Resolves 0 196()))) ((time 0.022479)(op(Reads 197 196))) ((time 0.022482)(op(Reads 197 -1))) ((time 0.022485)(op(Resolves 197 197()))) ((time 0.022487)(op(Reads 198 197))) ((time 0.022490)(op(Resolves 198 198()))) ((time 0.022492)(op(Reads 199 198))) ((time 0.022494)(op(Resolves 199 199()))) ((time 0.022496)(op(Reads 189 199))) ((time 0.022498)(op(Label 189"Xs.read waiting"))) ((time 0.022522)(op(Resolves 189 189()))) ((time 0.022526)(op(Reads 190 189))) ((time 0.022552)(op(Resolves 190 190()))) ((time 0.022555)(op(Reads 191 190))) ((time 0.022557)(op(Resolves 191 191()))) ((time 0.022559)(op(Reads 192 191))) ((time 0.022561)(op(Resolves 192 192()))) ((time 0.022564)(op(Reads 9 192))) ((time 0.022567)(op(Reads 9 -1))) ((time 0.022573)(op(Reads 9 -1))) ((time 0.022576)(op(Resolves 9 194()))) ((time 0.022590)(op(Label 9 after-chn-1))) ((time 0.022593)(op(Label 9"Xs.read waiting"))) ((time 0.022598)(op(Creates 9 201 Condition))) ((time 0.022601)(op(Creates 9 202 Try))) ((time 0.022604)(op(Creates 9 203 Bind))) ((time 0.022608)(op(Label 203 after-chn-1))) ((time 0.022610)(op(Creates 9 204 Bind))) ((time 0.022612)(op(Creates 9 205 Bind))) ((time 0.022615)(op(Creates 9 206 Bind))) ((time 0.022617)(op(Creates 9 207 Bind))) ((time 0.022619)(op(Creates 9 208 Try))) ((time 0.022621)(op(Creates 9 209 Bind))) ((time 0.022623)(op(Becomes 9 209))) ((time 0.022627)(op(Reads 113 194))) ((time 0.022630)(op(Reads 113 -1))) ((time 0.022635)(op(Reads 113 -1))) ((time 0.022641)(op(Resolves 113 113()))) ((time 0.022645)(op(Reads 114 113))) ((time 0.022653)(op(Creates 114 210 Wait))) ((time 0.022656)(op(Reads 114 -1))) ((time 0.022694)(op(Reads 114 -1))) ((time 0.022698)(op(Creates 114 211 Bind))) ((time 0.022700)(op(Becomes 114 211))) ((time 0.022703)(op(Switch 0))) ((time 0.022814)(op(Resolves 0 201()))) ((time 0.022818)(op(Reads 202 201))) ((time 0.022821)(op(Reads 202 -1))) ((time 0.022823)(op(Resolves 202 202()))) ((time 0.022825)(op(Reads 203 202))) ((time 0.022827)(op(Resolves 203 203()))) ((time 0.022830)(op(Reads 204 203))) ((time 0.022832)(op(Resolves 204 204()))) ((time 0.022834)(op(Reads 205 204))) ((time 0.022836)(op(Label 205"Xs.read waiting"))) ((time 0.022844)(op(Creates 205 212 Condition))) ((time 0.022847)(op(Creates 205 213 Try))) ((time 0.022849)(op(Creates 205 214 Bind))) ((time 0.022856)(op(Label 214 after-chn-1))) ((time 0.022858)(op(Creates 205 215 Bind))) ((time 0.022860)(op(Creates 205 216 Bind))) ((time 0.022862)(op(Becomes 205 216))) ((time 0.022865)(op(Switch 0))) ((time 0.022968)(op(Resolves 0 212()))) ((time 0.022970)(op(Reads 213 212))) ((time 0.022973)(op(Reads 213 -1))) ((time 0.022975)(op(Resolves 213 213()))) ((time 0.022977)(op(Reads 214 213))) ((time 0.022980)(op(Resolves 214 214()))) ((time 0.022982)(op(Reads 215 214))) ((time 0.022984)(op(Resolves 215 215()))) ((time 0.022986)(op(Reads 205 215))) ((time 0.022988)(op(Label 205"Xs.read waiting"))) ((time 0.023010)(op(Resolves 205 205()))) ((time 0.023013)(op(Reads 206 205))) ((time 0.023038)(op(Resolves 206 206()))) ((time 0.023041)(op(Reads 207 206))) ((time 0.023044)(op(Resolves 207 207()))) ((time 0.023047)(op(Reads 208 207))) ((time 0.023049)(op(Resolves 208 208()))) ((time 0.023051)(op(Reads 9 208))) ((time 0.023054)(op(Reads 9 -1))) ((time 0.023061)(op(Reads 9 -1))) ((time 0.023063)(op(Resolves 9 210()))) ((time 0.023076)(op(Label 9 after-chn-1))) ((time 0.023078)(op(Label 9"Xs.read waiting"))) ((time 0.023083)(op(Creates 9 217 Condition))) ((time 0.023086)(op(Creates 9 218 Try))) ((time 0.023088)(op(Creates 9 219 Bind))) ((time 0.023092)(op(Label 219 after-chn-1))) ((time 0.023094)(op(Creates 9 220 Bind))) ((time 0.023096)(op(Creates 9 221 Bind))) ((time 0.023098)(op(Creates 9 222 Bind))) ((time 0.023100)(op(Creates 9 223 Bind))) ((time 0.023103)(op(Creates 9 224 Try))) ((time 0.023105)(op(Creates 9 225 Bind))) ((time 0.023108)(op(Becomes 9 225))) ((time 0.023111)(op(Reads 114 210))) ((time 0.023114)(op(Reads 114 -1))) ((time 0.023119)(op(Reads 114 -1))) ((time 0.023125)(op(Resolves 114 114()))) ((time 0.023128)(op(Reads 91 114))) ((time 0.023137)(op(Creates 91 226 Wait))) ((time 0.023140)(op(Reads 91 -1))) ((time 0.023176)(op(Reads 91 -1))) ((time 0.023179)(op(Creates 91 227 Bind))) ((time 0.023182)(op(Creates 91 228 Bind))) ((time 0.023184)(op(Creates 91 229 Try))) ((time 0.023186)(op(Becomes 91 229))) ((time 0.023188)(op(Switch 0))) ((time 0.023297)(op(Resolves 0 217()))) ((time 0.023301)(op(Reads 218 217))) ((time 0.023303)(op(Reads 218 -1))) ((time 0.023306)(op(Resolves 218 218()))) ((time 0.023308)(op(Reads 219 218))) ((time 0.023311)(op(Resolves 219 219()))) ((time 0.023313)(op(Reads 220 219))) ((time 0.023316)(op(Resolves 220 220()))) ((time 0.023318)(op(Reads 221 220))) ((time 0.023320)(op(Label 221"Xs.read waiting"))) ((time 0.023326)(op(Creates 221 230 Condition))) ((time 0.023329)(op(Creates 221 231 Try))) ((time 0.023332)(op(Creates 221 232 Bind))) ((time 0.023340)(op(Label 232 after-chn-1))) ((time 0.023343)(op(Creates 221 233 Bind))) ((time 0.023345)(op(Creates 221 234 Bind))) ((time 0.023347)(op(Becomes 221 234))) ((time 0.023350)(op(Switch 0))) ((time 0.023455)(op(Switch -1))) ((time 0.023466)(op(Switch 0))) ((time 0.023472)(op(Switch -1))) ((time 0.023660)(op(Switch 0))) ((time 0.023671)(op(Resolves 0 230()))) ((time 0.023674)(op(Reads 231 230))) ((time 0.023677)(op(Reads 231 -1))) ((time 0.023679)(op(Resolves 231 231()))) ((time 0.023682)(op(Reads 232 231))) ((time 0.023684)(op(Resolves 232 232()))) ((time 0.023686)(op(Reads 233 232))) ((time 0.023689)(op(Resolves 233 233()))) ((time 0.023691)(op(Reads 221 233))) ((time 0.023693)(op(Label 221"Xs.read waiting"))) ((time 0.023713)(op(Resolves 221 221()))) ((time 0.023716)(op(Reads 222 221))) ((time 0.023748)(op(Resolves 222 222()))) ((time 0.023761)(op(Reads 223 222))) ((time 0.023764)(op(Resolves 223 223()))) ((time 0.023766)(op(Reads 224 223))) ((time 0.023769)(op(Resolves 224 224()))) ((time 0.023771)(op(Reads 9 224))) ((time 0.023775)(op(Reads 9 -1))) ((time 0.023781)(op(Reads 9 -1))) ((time 0.023785)(op(Resolves 9 226()))) ((time 0.023803)(op(Label 9 after-chn-1))) ((time 0.023806)(op(Label 9"Xs.read waiting"))) ((time 0.023812)(op(Creates 9 235 Condition))) ((time 0.023816)(op(Creates 9 236 Try))) ((time 0.023819)(op(Creates 9 237 Bind))) ((time 0.023823)(op(Label 237 after-chn-1))) ((time 0.023825)(op(Creates 9 238 Bind))) ((time 0.023827)(op(Creates 9 239 Bind))) ((time 0.023830)(op(Creates 9 240 Bind))) ((time 0.023832)(op(Creates 9 241 Bind))) ((time 0.023834)(op(Creates 9 242 Try))) ((time 0.023836)(op(Creates 9 243 Bind))) ((time 0.023839)(op(Becomes 9 243))) ((time 0.023843)(op(Reads 227 226))) ((time 0.023846)(op(Reads 227 -1))) ((time 0.023851)(op(Reads 227 -1))) ((time 0.023858)(op(Resolves 227 227()))) ((time 0.023860)(op(Reads 228 227))) ((time 0.023864)(op(Resolves 228 228()))) ((time 0.023866)(op(Reads 91 228))) ((time 0.023868)(op(Resolves 91 91()))) ((time 0.023871)(op(Reads 36 91))) ((time 0.023878)(op(Creates 36 244 Wait))) ((time 0.023881)(op(Reads 36 -1))) ((time 0.023915)(op(Reads 36 -1))) ((time 0.023919)(op(Creates 36 245 Bind))) ((time 0.023921)(op(Creates 36 246 Bind))) ((time 0.023924)(op(Creates 36 247 Bind))) ((time 0.023926)(op(Becomes 36 247))) ((time 0.023929)(op(Switch 0))) ((time 0.024039)(op(Switch -1))) ((time 0.024234)(op(Switch 0))) ((time 0.024245)(op(Resolves 0 235()))) ((time 0.024250)(op(Reads 236 235))) ((time 0.024254)(op(Reads 236 -1))) ((time 0.024257)(op(Resolves 236 236()))) ((time 0.024259)(op(Reads 237 236))) ((time 0.024262)(op(Resolves 237 237()))) ((time 0.024264)(op(Reads 238 237))) ((time 0.024267)(op(Resolves 238 238()))) ((time 0.024269)(op(Reads 239 238))) ((time 0.024271)(op(Label 239"Xs.read waiting"))) ((time 0.024282)(op(Creates 239 248 Condition))) ((time 0.024285)(op(Creates 239 249 Try))) ((time 0.024288)(op(Creates 239 250 Bind))) ((time 0.024297)(op(Label 250 after-chn-1))) ((time 0.024299)(op(Creates 239 251 Bind))) ((time 0.024301)(op(Creates 239 252 Bind))) ((time 0.024304)(op(Becomes 239 252))) ((time 0.024307)(op(Switch 0))) ((time 0.024413)(op(Switch -1))) ((time 0.024864)(op(Switch 0))) ((time 0.024880)(op(Resolves 0 248()))) ((time 0.024885)(op(Reads 249 248))) ((time 0.024889)(op(Reads 249 -1))) ((time 0.024892)(op(Resolves 249 249()))) ((time 0.024895)(op(Reads 250 249))) ((time 0.024898)(op(Resolves 250 250()))) ((time 0.024900)(op(Reads 251 250))) ((time 0.024903)(op(Resolves 251 251()))) ((time 0.024905)(op(Reads 239 251))) ((time 0.024907)(op(Label 239"Xs.read waiting"))) ((time 0.024928)(op(Resolves 239 239()))) ((time 0.024931)(op(Reads 240 239))) ((time 0.024972)(op(Resolves 240 240()))) ((time 0.024976)(op(Reads 241 240))) ((time 0.024979)(op(Resolves 241 241()))) ((time 0.024981)(op(Reads 242 241))) ((time 0.024983)(op(Resolves 242 242()))) ((time 0.024986)(op(Reads 9 242))) ((time 0.024989)(op(Reads 9 -1))) ((time 0.024999)(op(Reads 9 -1))) ((time 0.025003)(op(Resolves 9 244()))) ((time 0.025027)(op(Label 9 after-chn-1))) ((time 0.025031)(op(Label 9"Xs.read waiting"))) ((time 0.025036)(op(Creates 9 253 Condition))) ((time 0.025039)(op(Creates 9 254 Try))) ((time 0.025042)(op(Creates 9 255 Bind))) ((time 0.025046)(op(Label 255 after-chn-1))) ((time 0.025048)(op(Creates 9 256 Bind))) ((time 0.025050)(op(Creates 9 257 Bind))) ((time 0.025053)(op(Creates 9 258 Bind))) ((time 0.025055)(op(Creates 9 259 Bind))) ((time 0.025057)(op(Creates 9 260 Try))) ((time 0.025060)(op(Creates 9 261 Bind))) ((time 0.025062)(op(Becomes 9 261))) ((time 0.025066)(op(Reads 245 244))) ((time 0.025069)(op(Reads 245 -1))) ((time 0.025077)(op(Reads 245 -1))) ((time 0.025088)(op(Resolves 245 245()))) ((time 0.025091)(op(Reads 246 245))) ((time 0.025134)(op(Creates 246 262 Wait))) ((time 0.025137)(op(Reads 246 -1))) ((time 0.025195)(op(Reads 246 -1))) ((time 0.025198)(op(Creates 246 263 Bind))) ((time 0.025201)(op(Creates 246 264 Bind))) ((time 0.025203)(op(Creates 246 265 Try))) ((time 0.025206)(op(Creates 246 266 Bind))) ((time 0.025208)(op(Creates 246 267 Bind))) ((time 0.025211)(op(Becomes 246 267))) ((time 0.025214)(op(Switch 0))) ((time 0.025327)(op(Switch -1))) ((time 0.025403)(op(Switch 0))) ((time 0.025415)(op(Resolves 0 253()))) ((time 0.025419)(op(Reads 254 253))) ((time 0.025423)(op(Reads 254 -1))) ((time 0.025426)(op(Resolves 254 254()))) ((time 0.025428)(op(Reads 255 254))) ((time 0.025431)(op(Resolves 255 255()))) ((time 0.025433)(op(Reads 256 255))) ((time 0.025436)(op(Resolves 256 256()))) ((time 0.025438)(op(Reads 257 256))) ((time 0.025439)(op(Label 257"Xs.read waiting"))) ((time 0.025449)(op(Creates 257 268 Condition))) ((time 0.025452)(op(Creates 257 269 Try))) ((time 0.025455)(op(Creates 257 270 Bind))) ((time 0.025467)(op(Label 270 after-chn-1))) ((time 0.025469)(op(Creates 257 271 Bind))) ((time 0.025475)(op(Creates 257 272 Bind))) ((time 0.025477)(op(Becomes 257 272))) ((time 0.025481)(op(Switch 0))) ((time 0.025587)(op(Resolves 0 268()))) ((time 0.025590)(op(Reads 269 268))) ((time 0.025593)(op(Reads 269 -1))) ((time 0.025595)(op(Resolves 269 269()))) ((time 0.025597)(op(Reads 270 269))) ((time 0.025600)(op(Resolves 270 270()))) ((time 0.025602)(op(Reads 271 270))) ((time 0.025604)(op(Resolves 271 271()))) ((time 0.025606)(op(Reads 257 271))) ((time 0.025608)(op(Label 257"Xs.read waiting"))) ((time 0.025622)(op(Resolves 257 257()))) ((time 0.025626)(op(Reads 258 257))) ((time 0.025657)(op(Resolves 258 258()))) ((time 0.025660)(op(Reads 259 258))) ((time 0.025663)(op(Resolves 259 259()))) ((time 0.025665)(op(Reads 260 259))) ((time 0.025667)(op(Resolves 260 260()))) ((time 0.025670)(op(Reads 9 260))) ((time 0.025674)(op(Reads 9 -1))) ((time 0.025681)(op(Reads 9 -1))) ((time 0.025684)(op(Resolves 9 262()))) ((time 0.025698)(op(Label 9 after-chn-1))) ((time 0.025702)(op(Label 9"Xs.read waiting"))) ((time 0.025707)(op(Creates 9 273 Condition))) ((time 0.025710)(op(Creates 9 274 Try))) ((time 0.025713)(op(Creates 9 275 Bind))) ((time 0.025717)(op(Label 275 after-chn-1))) ((time 0.025719)(op(Creates 9 276 Bind))) ((time 0.025721)(op(Creates 9 277 Bind))) ((time 0.025724)(op(Creates 9 278 Bind))) ((time 0.025726)(op(Creates 9 279 Bind))) ((time 0.025728)(op(Creates 9 280 Try))) ((time 0.025730)(op(Creates 9 281 Bind))) ((time 0.025733)(op(Becomes 9 281))) ((time 0.025737)(op(Reads 263 262))) ((time 0.025739)(op(Reads 263 -1))) ((time 0.025744)(op(Reads 263 -1))) ((time 0.025751)(op(Resolves 263 263()))) ((time 0.025753)(op(Reads 264 263))) ((time 0.025757)(op(Resolves 264 264()))) ((time 0.025759)(op(Reads 265 264))) ((time 0.025761)(op(Resolves 265 265()))) ((time 0.025763)(op(Reads 266 265))) ((time 0.025789)(op(Creates 266 282 Wait))) ((time 0.025792)(op(Reads 266 -1))) ((time 0.025827)(op(Reads 266 -1))) ((time 0.025830)(op(Creates 266 283 Bind))) ((time 0.025833)(op(Creates 266 284 Bind))) ((time 0.025835)(op(Creates 266 285 Try))) ((time 0.025838)(op(Creates 266 286 Bind))) ((time 0.025840)(op(Becomes 266 286))) ((time 0.025843)(op(Switch 0))) ((time 0.025952)(op(Switch -1))) ((time 0.025960)(op(Switch 0))) ((time 0.025966)(op(Switch -1))) ((time 0.026175)(op(Switch 0))) ((time 0.026186)(op(Resolves 0 273()))) ((time 0.026190)(op(Reads 274 273))) ((time 0.026195)(op(Reads 274 -1))) ((time 0.026198)(op(Resolves 274 274()))) ((time 0.026200)(op(Reads 275 274))) ((time 0.026203)(op(Resolves 275 275()))) ((time 0.026205)(op(Reads 276 275))) ((time 0.026208)(op(Resolves 276 276()))) ((time 0.026210)(op(Reads 277 276))) ((time 0.026212)(op(Label 277"Xs.read waiting"))) ((time 0.026221)(op(Creates 277 287 Condition))) ((time 0.026224)(op(Creates 277 288 Try))) ((time 0.026227)(op(Creates 277 289 Bind))) ((time 0.026241)(op(Label 289 after-chn-1))) ((time 0.026243)(op(Creates 277 290 Bind))) ((time 0.026245)(op(Creates 277 291 Bind))) ((time 0.026248)(op(Becomes 277 291))) ((time 0.026251)(op(Switch 0))) ((time 0.026389)(op(Resolves 0 287()))) ((time 0.026392)(op(Reads 288 287))) ((time 0.026395)(op(Reads 288 -1))) ((time 0.026398)(op(Resolves 288 288()))) ((time 0.026400)(op(Reads 289 288))) ((time 0.026402)(op(Resolves 289 289()))) ((time 0.026405)(op(Reads 290 289))) ((time 0.026407)(op(Resolves 290 290()))) ((time 0.026409)(op(Reads 277 290))) ((time 0.026411)(op(Label 277"Xs.read waiting"))) ((time 0.026427)(op(Resolves 277 277()))) ((time 0.026429)(op(Reads 278 277))) ((time 0.026457)(op(Resolves 278 278()))) ((time 0.026460)(op(Reads 279 278))) ((time 0.026463)(op(Resolves 279 279()))) ((time 0.026465)(op(Reads 280 279))) ((time 0.026468)(op(Resolves 280 280()))) ((time 0.026470)(op(Reads 9 280))) ((time 0.026473)(op(Reads 9 -1))) ((time 0.026481)(op(Reads 9 -1))) ((time 0.026484)(op(Resolves 9 282()))) ((time 0.026498)(op(Label 9 after-chn-1))) ((time 0.026501)(op(Label 9"Xs.read waiting"))) ((time 0.026506)(op(Creates 9 292 Condition))) ((time 0.026509)(op(Creates 9 293 Try))) ((time 0.026512)(op(Creates 9 294 Bind))) ((time 0.026516)(op(Label 294 after-chn-1))) ((time 0.026518)(op(Creates 9 295 Bind))) ((time 0.026520)(op(Creates 9 296 Bind))) ((time 0.026522)(op(Creates 9 297 Bind))) ((time 0.026533)(op(Creates 9 298 Bind))) ((time 0.026535)(op(Creates 9 299 Try))) ((time 0.026537)(op(Creates 9 300 Bind))) ((time 0.026540)(op(Becomes 9 300))) ((time 0.026544)(op(Reads 283 282))) ((time 0.026547)(op(Reads 283 -1))) ((time 0.026552)(op(Reads 283 -1))) ((time 0.026558)(op(Resolves 283 283()))) ((time 0.026561)(op(Reads 284 283))) ((time 0.026564)(op(Resolves 284 284()))) ((time 0.026566)(op(Reads 285 284))) ((time 0.026568)(op(Resolves 285 285()))) ((time 0.026570)(op(Reads 266 285))) ((time 0.026595)(op(Creates 266 301 Wait))) ((time 0.026598)(op(Reads 266 -1))) ((time 0.026626)(op(Reads 266 -1))) ((time 0.026629)(op(Creates 266 302 Bind))) ((time 0.026632)(op(Creates 266 303 Bind))) ((time 0.026634)(op(Creates 266 304 Try))) ((time 0.026636)(op(Creates 266 305 Bind))) ((time 0.026639)(op(Becomes 266 305))) ((time 0.026641)(op(Switch 0))) ((time 0.026750)(op(Switch -1))) ((time 0.026758)(op(Switch 0))) ((time 0.026764)(op(Switch -1))) ((time 0.026847)(op(Switch 0))) ((time 0.026858)(op(Resolves 0 292()))) ((time 0.026861)(op(Reads 293 292))) ((time 0.026865)(op(Reads 293 -1))) ((time 0.026867)(op(Resolves 293 293()))) ((time 0.026869)(op(Reads 294 293))) ((time 0.026872)(op(Resolves 294 294()))) ((time 0.026874)(op(Reads 295 294))) ((time 0.026877)(op(Resolves 295 295()))) ((time 0.026879)(op(Reads 296 295))) ((time 0.026881)(op(Label 296"Xs.read waiting"))) ((time 0.026889)(op(Creates 296 306 Condition))) ((time 0.026892)(op(Creates 296 307 Try))) ((time 0.026895)(op(Creates 296 308 Bind))) ((time 0.026904)(op(Label 308 after-chn-1))) ((time 0.026910)(op(Creates 296 309 Bind))) ((time 0.026912)(op(Creates 296 310 Bind))) ((time 0.026915)(op(Becomes 296 310))) ((time 0.026917)(op(Switch 0))) ((time 0.027023)(op(Resolves 0 306()))) ((time 0.027025)(op(Reads 307 306))) ((time 0.027028)(op(Reads 307 -1))) ((time 0.027031)(op(Resolves 307 307()))) ((time 0.027032)(op(Reads 308 307))) ((time 0.027035)(op(Resolves 308 308()))) ((time 0.027037)(op(Reads 309 308))) ((time 0.027039)(op(Resolves 309 309()))) ((time 0.027041)(op(Reads 296 309))) ((time 0.027043)(op(Label 296"Xs.read waiting"))) ((time 0.027058)(op(Resolves 296 296()))) ((time 0.027060)(op(Reads 297 296))) ((time 0.027086)(op(Resolves 297 297()))) ((time 0.027089)(op(Reads 298 297))) ((time 0.027092)(op(Resolves 298 298()))) ((time 0.027094)(op(Reads 299 298))) ((time 0.027096)(op(Resolves 299 299()))) ((time 0.027098)(op(Reads 9 299))) ((time 0.027101)(op(Reads 9 -1))) ((time 0.027109)(op(Reads 9 -1))) ((time 0.027112)(op(Resolves 9 301()))) ((time 0.027125)(op(Label 9 after-chn-1))) ((time 0.027128)(op(Label 9"Xs.read waiting"))) ((time 0.027134)(op(Creates 9 311 Condition))) ((time 0.027136)(op(Creates 9 312 Try))) ((time 0.027139)(op(Creates 9 313 Bind))) ((time 0.027143)(op(Label 313 after-chn-1))) ((time 0.027146)(op(Creates 9 314 Bind))) ((time 0.027148)(op(Creates 9 315 Bind))) ((time 0.027150)(op(Creates 9 316 Bind))) ((time 0.027152)(op(Creates 9 317 Bind))) ((time 0.027154)(op(Creates 9 318 Try))) ((time 0.027157)(op(Creates 9 319 Bind))) ((time 0.027159)(op(Becomes 9 319))) ((time 0.027163)(op(Reads 302 301))) ((time 0.027166)(op(Reads 302 -1))) ((time 0.027170)(op(Reads 302 -1))) ((time 0.027176)(op(Resolves 302 302()))) ((time 0.027178)(op(Reads 303 302))) ((time 0.027181)(op(Resolves 303 303()))) ((time 0.027183)(op(Reads 304 303))) ((time 0.027186)(op(Resolves 304 304()))) ((time 0.027188)(op(Reads 266 304))) ((time 0.027209)(op(Creates 266 320 Wait))) ((time 0.027212)(op(Reads 266 -1))) ((time 0.027242)(op(Reads 266 -1))) ((time 0.027245)(op(Creates 266 321 Bind))) ((time 0.027248)(op(Creates 266 322 Bind))) ((time 0.027251)(op(Creates 266 323 Try))) ((time 0.027253)(op(Creates 266 324 Bind))) ((time 0.027256)(op(Becomes 266 324))) ((time 0.027259)(op(Switch 0))) ((time 0.027366)(op(Switch -1))) ((time 0.027375)(op(Switch 0))) ((time 0.027381)(op(Switch -1))) ((time 0.027541)(op(Switch 0))) ((time 0.027552)(op(Resolves 0 311()))) ((time 0.027556)(op(Reads 312 311))) ((time 0.027559)(op(Reads 312 -1))) ((time 0.027561)(op(Resolves 312 312()))) ((time 0.027563)(op(Reads 313 312))) ((time 0.027566)(op(Resolves 313 313()))) ((time 0.027568)(op(Reads 314 313))) ((time 0.027571)(op(Resolves 314 314()))) ((time 0.027573)(op(Reads 315 314))) ((time 0.027575)(op(Label 315"Xs.read waiting"))) ((time 0.027582)(op(Creates 315 325 Condition))) ((time 0.027585)(op(Creates 315 326 Try))) ((time 0.027588)(op(Creates 315 327 Bind))) ((time 0.027597)(op(Label 327 after-chn-1))) ((time 0.027599)(op(Creates 315 328 Bind))) ((time 0.027601)(op(Creates 315 329 Bind))) ((time 0.027603)(op(Becomes 315 329))) ((time 0.027606)(op(Switch 0))) ((time 0.027715)(op(Resolves 0 325()))) ((time 0.027718)(op(Reads 326 325))) ((time 0.027720)(op(Reads 326 -1))) ((time 0.027722)(op(Resolves 326 326()))) ((time 0.027724)(op(Reads 327 326))) ((time 0.027727)(op(Resolves 327 327()))) ((time 0.027729)(op(Reads 328 327))) ((time 0.027731)(op(Resolves 328 328()))) ((time 0.027733)(op(Reads 315 328))) ((time 0.027735)(op(Label 315"Xs.read waiting"))) ((time 0.027749)(op(Resolves 315 315()))) ((time 0.027752)(op(Reads 316 315))) ((time 0.027778)(op(Resolves 316 316()))) ((time 0.027781)(op(Reads 317 316))) ((time 0.027784)(op(Resolves 317 317()))) ((time 0.027786)(op(Reads 318 317))) ((time 0.027788)(op(Resolves 318 318()))) ((time 0.027791)(op(Reads 9 318))) ((time 0.027794)(op(Reads 9 -1))) ((time 0.027801)(op(Reads 9 -1))) ((time 0.027804)(op(Resolves 9 320()))) ((time 0.027818)(op(Label 9 after-chn-1))) ((time 0.027821)(op(Label 9"Xs.read waiting"))) ((time 0.027826)(op(Creates 9 330 Condition))) ((time 0.027829)(op(Creates 9 331 Try))) ((time 0.027832)(op(Creates 9 332 Bind))) ((time 0.027836)(op(Label 332 after-chn-1))) ((time 0.027838)(op(Creates 9 333 Bind))) ((time 0.027840)(op(Creates 9 334 Bind))) ((time 0.027842)(op(Creates 9 335 Bind))) ((time 0.027844)(op(Creates 9 336 Bind))) ((time 0.027846)(op(Creates 9 337 Try))) ((time 0.027849)(op(Creates 9 338 Bind))) ((time 0.027851)(op(Becomes 9 338))) ((time 0.027855)(op(Reads 321 320))) ((time 0.027858)(op(Reads 321 -1))) ((time 0.027863)(op(Reads 321 -1))) ((time 0.027869)(op(Resolves 321 321()))) ((time 0.027872)(op(Reads 322 321))) ((time 0.027875)(op(Resolves 322 322()))) ((time 0.027877)(op(Reads 323 322))) ((time 0.027879)(op(Resolves 323 323()))) ((time 0.027881)(op(Reads 266 323))) ((time 0.027900)(op(Creates 266 339 Wait))) ((time 0.027903)(op(Reads 266 -1))) ((time 0.027941)(op(Reads 266 -1))) ((time 0.027945)(op(Creates 266 340 Bind))) ((time 0.027947)(op(Creates 266 341 Bind))) ((time 0.027950)(op(Creates 266 342 Try))) ((time 0.027952)(op(Creates 266 343 Bind))) ((time 0.027955)(op(Becomes 266 343))) ((time 0.027958)(op(Switch 0))) ((time 0.028066)(op(Switch -1))) ((time 0.028075)(op(Switch 0))) ((time 0.028080)(op(Switch -1))) ((time 0.028265)(op(Switch 0))) ((time 0.028277)(op(Resolves 0 330()))) ((time 0.028280)(op(Reads 331 330))) ((time 0.028284)(op(Reads 331 -1))) ((time 0.028287)(op(Resolves 331 331()))) ((time 0.028289)(op(Reads 332 331))) ((time 0.028292)(op(Resolves 332 332()))) ((time 0.028294)(op(Reads 333 332))) ((time 0.028296)(op(Resolves 333 333()))) ((time 0.028298)(op(Reads 334 333))) ((time 0.028300)(op(Label 334"Xs.read waiting"))) ((time 0.028308)(op(Creates 334 344 Condition))) ((time 0.028311)(op(Creates 334 345 Try))) ((time 0.028314)(op(Creates 334 346 Bind))) ((time 0.028323)(op(Label 346 after-chn-1))) ((time 0.028325)(op(Creates 334 347 Bind))) ((time 0.028327)(op(Creates 334 348 Bind))) ((time 0.028329)(op(Becomes 334 348))) ((time 0.028332)(op(Switch 0))) ((time 0.028445)(op(Resolves 0 344()))) ((time 0.028447)(op(Reads 345 344))) ((time 0.028450)(op(Reads 345 -1))) ((time 0.028452)(op(Resolves 345 345()))) ((time 0.028454)(op(Reads 346 345))) ((time 0.028457)(op(Resolves 346 346()))) ((time 0.028459)(op(Reads 347 346))) ((time 0.028461)(op(Resolves 347 347()))) ((time 0.028463)(op(Reads 334 347))) ((time 0.028465)(op(Label 334"Xs.read waiting"))) ((time 0.028478)(op(Resolves 334 334()))) ((time 0.028480)(op(Reads 335 334))) ((time 0.028504)(op(Resolves 335 335()))) ((time 0.028507)(op(Reads 336 335))) ((time 0.028510)(op(Resolves 336 336()))) ((time 0.028512)(op(Reads 337 336))) ((time 0.028514)(op(Resolves 337 337()))) ((time 0.028516)(op(Reads 9 337))) ((time 0.028519)(op(Reads 9 -1))) ((time 0.028526)(op(Reads 9 -1))) ((time 0.028529)(op(Resolves 9 339()))) ((time 0.028544)(op(Label 9 after-chn-1))) ((time 0.028547)(op(Label 9"Xs.read waiting"))) ((time 0.028552)(op(Creates 9 349 Condition))) ((time 0.028555)(op(Creates 9 350 Try))) ((time 0.028558)(op(Creates 9 351 Bind))) ((time 0.028562)(op(Label 351 after-chn-1))) ((time 0.028564)(op(Creates 9 352 Bind))) ((time 0.028566)(op(Creates 9 353 Bind))) ((time 0.028568)(op(Creates 9 354 Bind))) ((time 0.028570)(op(Creates 9 355 Bind))) ((time 0.028572)(op(Creates 9 356 Try))) ((time 0.028575)(op(Creates 9 357 Bind))) ((time 0.028577)(op(Becomes 9 357))) ((time 0.028581)(op(Reads 340 339))) ((time 0.028583)(op(Reads 340 -1))) ((time 0.028588)(op(Reads 340 -1))) ((time 0.028619)(op(Resolves 340 340("Xs_protocol.Enoent(\"read\")")))) ((time 0.028623)(op(Reads 341 340))) ((time 0.028635)(op(Resolves 341 341("Xs_protocol.Enoent(\"read\")")))) ((time 0.028638)(op(Reads 342 341))) ((time 0.028641)(op(Resolves 342 342()))) ((time 0.028644)(op(Reads 266 342))) ((time 0.028646)(op(Resolves 266 266()))) ((time 0.028648)(op(Reads 246 266))) ((time 0.028656)(op(Creates 246 358 Wait))) ((time 0.028660)(op(Reads 246 -1))) ((time 0.028688)(op(Reads 246 -1))) ((time 0.028692)(op(Creates 246 359 Bind))) ((time 0.028694)(op(Creates 246 360 Bind))) ((time 0.028697)(op(Creates 246 361 Try))) ((time 0.028699)(op(Becomes 246 361))) ((time 0.028702)(op(Switch 0))) ((time 0.028810)(op(Resolves 0 349()))) ((time 0.028813)(op(Reads 350 349))) ((time 0.028816)(op(Reads 350 -1))) ((time 0.028819)(op(Resolves 350 350()))) ((time 0.028821)(op(Reads 351 350))) ((time 0.028824)(op(Resolves 351 351()))) ((time 0.028826)(op(Reads 352 351))) ((time 0.028828)(op(Resolves 352 352()))) ((time 0.028830)(op(Reads 353 352))) ((time 0.028832)(op(Label 353"Xs.read waiting"))) ((time 0.028840)(op(Creates 353 362 Condition))) ((time 0.028843)(op(Creates 353 363 Try))) ((time 0.028845)(op(Creates 353 364 Bind))) ((time 0.028855)(op(Label 364 after-chn-1))) ((time 0.028857)(op(Creates 353 365 Bind))) ((time 0.028859)(op(Creates 353 366 Bind))) ((time 0.028861)(op(Becomes 353 366))) ((time 0.028864)(op(Switch 0))) ((time 0.028970)(op(Switch -1))) ((time 0.028981)(op(Switch 0))) ((time 0.028988)(op(Resolves 0 362()))) ((time 0.028991)(op(Reads 363 362))) ((time 0.028995)(op(Reads 363 -1))) ((time 0.028997)(op(Resolves 363 363()))) ((time 0.028999)(op(Reads 364 363))) ((time 0.029002)(op(Resolves 364 364()))) ((time 0.029004)(op(Reads 365 364))) ((time 0.029006)(op(Resolves 365 365()))) ((time 0.029008)(op(Reads 353 365))) ((time 0.029010)(op(Label 353"Xs.read waiting"))) ((time 0.029023)(op(Resolves 353 353()))) ((time 0.029027)(op(Reads 354 353))) ((time 0.029050)(op(Resolves 354 354()))) ((time 0.029054)(op(Reads 355 354))) ((time 0.029058)(op(Resolves 355 355()))) ((time 0.029060)(op(Reads 356 355))) ((time 0.029062)(op(Resolves 356 356()))) ((time 0.029064)(op(Reads 9 356))) ((time 0.029066)(op(Reads 9 -1))) ((time 0.029074)(op(Reads 9 -1))) ((time 0.029078)(op(Resolves 9 358()))) ((time 0.029092)(op(Label 9 after-chn-1))) ((time 0.029095)(op(Label 9"Xs.read waiting"))) ((time 0.029100)(op(Creates 9 367 Condition))) ((time 0.029103)(op(Creates 9 368 Try))) ((time 0.029105)(op(Creates 9 369 Bind))) ((time 0.029110)(op(Label 369 after-chn-1))) ((time 0.029112)(op(Creates 9 370 Bind))) ((time 0.029114)(op(Creates 9 371 Bind))) ((time 0.029116)(op(Creates 9 372 Bind))) ((time 0.029119)(op(Creates 9 373 Bind))) ((time 0.029121)(op(Creates 9 374 Try))) ((time 0.029123)(op(Creates 9 375 Bind))) ((time 0.029125)(op(Becomes 9 375))) ((time 0.029129)(op(Reads 359 358))) ((time 0.029132)(op(Reads 359 -1))) ((time 0.029137)(op(Reads 359 -1))) ((time 0.029144)(op(Resolves 359 359()))) ((time 0.029146)(op(Reads 360 359))) ((time 0.029150)(op(Resolves 360 360()))) ((time 0.029152)(op(Reads 246 360))) ((time 0.029154)(op(Resolves 246 246()))) ((time 0.029157)(op(Reads 36 246))) ((time 0.029194)(op(Resolves 36 36()))) ((time 0.029198)(op(Reads 37 36))) ((time 0.029206)(op(Label 37 Gntshr.get))) ((time 0.029210)(op(Label 37 Gntshr.get))) ((time 0.029212)(op(Label 37 Gntshr.get))) ((time 0.029214)(op(Label 37 Gntshr.get))) ((time 0.029216)(op(Label 37 Gntshr.get))) ((time 0.029218)(op(Label 37 Gntshr.get))) ((time 0.029220)(op(Label 37 Gntshr.get))) ((time 0.029222)(op(Label 37 Gntshr.get))) ((time 0.029224)(op(Label 37 Gntshr.get))) ((time 0.029227)(op(Label 37 Gntshr.get))) ((time 0.029229)(op(Label 37 Gntshr.get))) ((time 0.029231)(op(Label 37 Gntshr.get))) ((time 0.029233)(op(Label 37 Gntshr.get))) ((time 0.029235)(op(Label 37 Gntshr.get))) ((time 0.029237)(op(Label 37 Gntshr.get))) ((time 0.029239)(op(Label 37 Gntshr.get))) ((time 0.029241)(op(Label 37 Gntshr.get))) ((time 0.029243)(op(Label 37 Gntshr.get))) ((time 0.029245)(op(Label 37 Gntshr.get))) ((time 0.029248)(op(Label 37 Gntshr.get))) ((time 0.029250)(op(Label 37 Gntshr.get))) ((time 0.029252)(op(Label 37 Gntshr.get))) ((time 0.029254)(op(Label 37 Gntshr.get))) ((time 0.029256)(op(Label 37 Gntshr.get))) ((time 0.029258)(op(Label 37 Gntshr.get))) ((time 0.029260)(op(Label 37 Gntshr.get))) ((time 0.029262)(op(Label 37 Gntshr.get))) ((time 0.029264)(op(Label 37 Gntshr.get))) ((time 0.029266)(op(Label 37 Gntshr.get))) ((time 0.029269)(op(Label 37 Gntshr.get))) ((time 0.029271)(op(Label 37 Gntshr.get))) ((time 0.029273)(op(Label 37 Gntshr.get))) ((time 0.029275)(op(Label 37 Gntshr.get))) ((time 0.029277)(op(Label 37 Gntshr.get))) ((time 0.029279)(op(Label 37 Gntshr.get))) ((time 0.029281)(op(Label 37 Gntshr.get))) ((time 0.029283)(op(Label 37 Gntshr.get))) ((time 0.029285)(op(Label 37 Gntshr.get))) ((time 0.029288)(op(Label 37 Gntshr.get))) ((time 0.029290)(op(Label 37 Gntshr.get))) ((time 0.029292)(op(Label 37 Gntshr.get))) ((time 0.029294)(op(Label 37 Gntshr.get))) ((time 0.029296)(op(Label 37 Gntshr.get))) ((time 0.029307)(op(Label 37 Gntshr.get))) ((time 0.029310)(op(Label 37 Gntshr.get))) ((time 0.029312)(op(Label 37 Gntshr.get))) ((time 0.029314)(op(Label 37 Gntshr.get))) ((time 0.029316)(op(Label 37 Gntshr.get))) ((time 0.029318)(op(Label 37 Gntshr.get))) ((time 0.029320)(op(Label 37 Gntshr.get))) ((time 0.029322)(op(Label 37 Gntshr.get))) ((time 0.029325)(op(Label 37 Gntshr.get))) ((time 0.029327)(op(Label 37 Gntshr.get))) ((time 0.029329)(op(Label 37 Gntshr.get))) ((time 0.029331)(op(Label 37 Gntshr.get))) ((time 0.029333)(op(Label 37 Gntshr.get))) ((time 0.029335)(op(Label 37 Gntshr.get))) ((time 0.029337)(op(Label 37 Gntshr.get))) ((time 0.029339)(op(Label 37 Gntshr.get))) ((time 0.029342)(op(Label 37 Gntshr.get))) ((time 0.029344)(op(Label 37 Gntshr.get))) ((time 0.029346)(op(Label 37 Gntshr.get))) ((time 0.029348)(op(Label 37 Gntshr.get))) ((time 0.029350)(op(Label 37 Gntshr.get))) ((time 0.029352)(op(Label 37 Gntshr.get))) ((time 0.029355)(op(Label 37 Gntshr.get))) ((time 0.029357)(op(Label 37 Gntshr.get))) ((time 0.029359)(op(Label 37 Gntshr.get))) ((time 0.029361)(op(Label 37 Gntshr.get))) ((time 0.029363)(op(Label 37 Gntshr.get))) ((time 0.029365)(op(Label 37 Gntshr.get))) ((time 0.029367)(op(Label 37 Gntshr.get))) ((time 0.029370)(op(Label 37 Gntshr.get))) ((time 0.029372)(op(Label 37 Gntshr.get))) ((time 0.029374)(op(Label 37 Gntshr.get))) ((time 0.029376)(op(Label 37 Gntshr.get))) ((time 0.029378)(op(Label 37 Gntshr.get))) ((time 0.029380)(op(Label 37 Gntshr.get))) ((time 0.029382)(op(Label 37 Gntshr.get))) ((time 0.029384)(op(Label 37 Gntshr.get))) ((time 0.029387)(op(Label 37 Gntshr.get))) ((time 0.029389)(op(Label 37 Gntshr.get))) ((time 0.029391)(op(Label 37 Gntshr.get))) ((time 0.029393)(op(Label 37 Gntshr.get))) ((time 0.029395)(op(Label 37 Gntshr.get))) ((time 0.029397)(op(Label 37 Gntshr.get))) ((time 0.029399)(op(Label 37 Gntshr.get))) ((time 0.029401)(op(Label 37 Gntshr.get))) ((time 0.029403)(op(Label 37 Gntshr.get))) ((time 0.029405)(op(Label 37 Gntshr.get))) ((time 0.029407)(op(Label 37 Gntshr.get))) ((time 0.029410)(op(Label 37 Gntshr.get))) ((time 0.029412)(op(Label 37 Gntshr.get))) ((time 0.029414)(op(Label 37 Gntshr.get))) ((time 0.029416)(op(Label 37 Gntshr.get))) ((time 0.029418)(op(Label 37 Gntshr.get))) ((time 0.029420)(op(Label 37 Gntshr.get))) ((time 0.029422)(op(Label 37 Gntshr.get))) ((time 0.029425)(op(Label 37 Gntshr.get))) ((time 0.029427)(op(Label 37 Gntshr.get))) ((time 0.029429)(op(Label 37 Gntshr.get))) ((time 0.029431)(op(Label 37 Gntshr.get))) ((time 0.029433)(op(Label 37 Gntshr.get))) ((time 0.029435)(op(Label 37 Gntshr.get))) ((time 0.029437)(op(Label 37 Gntshr.get))) ((time 0.029439)(op(Label 37 Gntshr.get))) ((time 0.029441)(op(Label 37 Gntshr.get))) ((time 0.029443)(op(Label 37 Gntshr.get))) ((time 0.029446)(op(Label 37 Gntshr.get))) ((time 0.029448)(op(Label 37 Gntshr.get))) ((time 0.029450)(op(Label 37 Gntshr.get))) ((time 0.029452)(op(Label 37 Gntshr.get))) ((time 0.029454)(op(Label 37 Gntshr.get))) ((time 0.029456)(op(Label 37 Gntshr.get))) ((time 0.029458)(op(Label 37 Gntshr.get))) ((time 0.029460)(op(Label 37 Gntshr.get))) ((time 0.029462)(op(Label 37 Gntshr.get))) ((time 0.029465)(op(Label 37 Gntshr.get))) ((time 0.029467)(op(Label 37 Gntshr.get))) ((time 0.029469)(op(Label 37 Gntshr.get))) ((time 0.029471)(op(Label 37 Gntshr.get))) ((time 0.029473)(op(Label 37 Gntshr.get))) ((time 0.029475)(op(Label 37 Gntshr.get))) ((time 0.029477)(op(Label 37 Gntshr.get))) ((time 0.029479)(op(Label 37 Gntshr.get))) ((time 0.029481)(op(Label 37 Gntshr.get))) ((time 0.029483)(op(Label 37 Gntshr.get))) ((time 0.029486)(op(Label 37 Gntshr.get))) ((time 0.029488)(op(Label 37 Gntshr.get))) ((time 0.029490)(op(Label 37 Gntshr.get))) ((time 0.029492)(op(Label 37 Gntshr.get))) ((time 0.029494)(op(Label 37 Gntshr.get))) ((time 0.029496)(op(Label 37 Gntshr.get))) ((time 0.029498)(op(Label 37 Gntshr.get))) ((time 0.029501)(op(Label 37 Gntshr.get))) ((time 0.029503)(op(Label 37 Gntshr.get))) ((time 0.029505)(op(Label 37 Gntshr.get))) ((time 0.029507)(op(Label 37 Gntshr.get))) ((time 0.029509)(op(Label 37 Gntshr.get))) ((time 0.029511)(op(Label 37 Gntshr.get))) ((time 0.029513)(op(Label 37 Gntshr.get))) ((time 0.029515)(op(Label 37 Gntshr.get))) ((time 0.029517)(op(Label 37 Gntshr.get))) ((time 0.029520)(op(Label 37 Gntshr.get))) ((time 0.029522)(op(Label 37 Gntshr.get))) ((time 0.029524)(op(Label 37 Gntshr.get))) ((time 0.029526)(op(Label 37 Gntshr.get))) ((time 0.029528)(op(Label 37 Gntshr.get))) ((time 0.029530)(op(Label 37 Gntshr.get))) ((time 0.029532)(op(Label 37 Gntshr.get))) ((time 0.029535)(op(Label 37 Gntshr.get))) ((time 0.029537)(op(Label 37 Gntshr.get))) ((time 0.029539)(op(Label 37 Gntshr.get))) ((time 0.029541)(op(Label 37 Gntshr.get))) ((time 0.029543)(op(Label 37 Gntshr.get))) ((time 0.029545)(op(Label 37 Gntshr.get))) ((time 0.029547)(op(Label 37 Gntshr.get))) ((time 0.029549)(op(Label 37 Gntshr.get))) ((time 0.029552)(op(Label 37 Gntshr.get))) ((time 0.029554)(op(Label 37 Gntshr.get))) ((time 0.029556)(op(Label 37 Gntshr.get))) ((time 0.029558)(op(Label 37 Gntshr.get))) ((time 0.029560)(op(Label 37 Gntshr.get))) ((time 0.029563)(op(Label 37 Gntshr.get))) ((time 0.029565)(op(Label 37 Gntshr.get))) ((time 0.029567)(op(Label 37 Gntshr.get))) ((time 0.029570)(op(Label 37 Gntshr.get))) ((time 0.029572)(op(Label 37 Gntshr.get))) ((time 0.029574)(op(Label 37 Gntshr.get))) ((time 0.029576)(op(Label 37 Gntshr.get))) ((time 0.029578)(op(Label 37 Gntshr.get))) ((time 0.029580)(op(Label 37 Gntshr.get))) ((time 0.029583)(op(Label 37 Gntshr.get))) ((time 0.029585)(op(Label 37 Gntshr.get))) ((time 0.029587)(op(Label 37 Gntshr.get))) ((time 0.029589)(op(Label 37 Gntshr.get))) ((time 0.029591)(op(Label 37 Gntshr.get))) ((time 0.029593)(op(Label 37 Gntshr.get))) ((time 0.029595)(op(Label 37 Gntshr.get))) ((time 0.029597)(op(Label 37 Gntshr.get))) ((time 0.029600)(op(Label 37 Gntshr.get))) ((time 0.029602)(op(Label 37 Gntshr.get))) ((time 0.029604)(op(Label 37 Gntshr.get))) ((time 0.029606)(op(Label 37 Gntshr.get))) ((time 0.029608)(op(Label 37 Gntshr.get))) ((time 0.029610)(op(Label 37 Gntshr.get))) ((time 0.029612)(op(Label 37 Gntshr.get))) ((time 0.029615)(op(Label 37 Gntshr.get))) ((time 0.029617)(op(Label 37 Gntshr.get))) ((time 0.029619)(op(Label 37 Gntshr.get))) ((time 0.029621)(op(Label 37 Gntshr.get))) ((time 0.029623)(op(Label 37 Gntshr.get))) ((time 0.029625)(op(Label 37 Gntshr.get))) ((time 0.029627)(op(Label 37 Gntshr.get))) ((time 0.029629)(op(Label 37 Gntshr.get))) ((time 0.029631)(op(Label 37 Gntshr.get))) ((time 0.029634)(op(Label 37 Gntshr.get))) ((time 0.029636)(op(Label 37 Gntshr.get))) ((time 0.029638)(op(Label 37 Gntshr.get))) ((time 0.029640)(op(Label 37 Gntshr.get))) ((time 0.029642)(op(Label 37 Gntshr.get))) ((time 0.029644)(op(Label 37 Gntshr.get))) ((time 0.029646)(op(Label 37 Gntshr.get))) ((time 0.029648)(op(Label 37 Gntshr.get))) ((time 0.029650)(op(Label 37 Gntshr.get))) ((time 0.029652)(op(Label 37 Gntshr.get))) ((time 0.029654)(op(Label 37 Gntshr.get))) ((time 0.029656)(op(Label 37 Gntshr.get))) ((time 0.029659)(op(Label 37 Gntshr.get))) ((time 0.029661)(op(Label 37 Gntshr.get))) ((time 0.029663)(op(Label 37 Gntshr.get))) ((time 0.029666)(op(Label 37 Gntshr.get))) ((time 0.029668)(op(Label 37 Gntshr.get))) ((time 0.029670)(op(Label 37 Gntshr.get))) ((time 0.029672)(op(Label 37 Gntshr.get))) ((time 0.029674)(op(Label 37 Gntshr.get))) ((time 0.029676)(op(Label 37 Gntshr.get))) ((time 0.029678)(op(Label 37 Gntshr.get))) ((time 0.029680)(op(Label 37 Gntshr.get))) ((time 0.029682)(op(Label 37 Gntshr.get))) ((time 0.029685)(op(Label 37 Gntshr.get))) ((time 0.029687)(op(Label 37 Gntshr.get))) ((time 0.029689)(op(Label 37 Gntshr.get))) ((time 0.029691)(op(Label 37 Gntshr.get))) ((time 0.029693)(op(Label 37 Gntshr.get))) ((time 0.029695)(op(Label 37 Gntshr.get))) ((time 0.029697)(op(Label 37 Gntshr.get))) ((time 0.029699)(op(Label 37 Gntshr.get))) ((time 0.029701)(op(Label 37 Gntshr.get))) ((time 0.029704)(op(Label 37 Gntshr.get))) ((time 0.029706)(op(Label 37 Gntshr.get))) ((time 0.029708)(op(Label 37 Gntshr.get))) ((time 0.029710)(op(Label 37 Gntshr.get))) ((time 0.029712)(op(Label 37 Gntshr.get))) ((time 0.029714)(op(Label 37 Gntshr.get))) ((time 0.029717)(op(Label 37 Gntshr.get))) ((time 0.029719)(op(Label 37 Gntshr.get))) ((time 0.029721)(op(Label 37 Gntshr.get))) ((time 0.029723)(op(Label 37 Gntshr.get))) ((time 0.029726)(op(Label 37 Gntshr.get))) ((time 0.029728)(op(Label 37 Gntshr.get))) ((time 0.029732)(op(Label 37 Gntshr.get))) ((time 0.029734)(op(Label 37 Gntshr.get))) ((time 0.029736)(op(Label 37 Gntshr.get))) ((time 0.029738)(op(Label 37 Gntshr.get))) ((time 0.029740)(op(Label 37 Gntshr.get))) ((time 0.029742)(op(Label 37 Gntshr.get))) ((time 0.029744)(op(Label 37 Gntshr.get))) ((time 0.029746)(op(Label 37 Gntshr.get))) ((time 0.029749)(op(Label 37 Gntshr.get))) ((time 0.029751)(op(Label 37 Gntshr.get))) ((time 0.029753)(op(Label 37 Gntshr.get))) ((time 0.029756)(op(Label 37 Gntshr.get))) ((time 0.029758)(op(Label 37 Gntshr.get))) ((time 0.029760)(op(Label 37 Gntshr.get))) ((time 0.029763)(op(Label 37 Gntshr.get))) ((time 0.031502)(op(Label 37 Gntshr.grant_access))) ((time 0.031525)(op(Label 37 Gntshr.grant_access))) ((time 0.031529)(op(Label 37 Gntshr.grant_access))) ((time 0.031533)(op(Label 37 Gntshr.grant_access))) ((time 0.031536)(op(Label 37 Gntshr.grant_access))) ((time 0.031539)(op(Label 37 Gntshr.grant_access))) ((time 0.031542)(op(Label 37 Gntshr.grant_access))) ((time 0.031544)(op(Label 37 Gntshr.grant_access))) ((time 0.031547)(op(Label 37 Gntshr.grant_access))) ((time 0.031550)(op(Label 37 Gntshr.grant_access))) ((time 0.031553)(op(Label 37 Gntshr.grant_access))) ((time 0.031556)(op(Label 37 Gntshr.grant_access))) ((time 0.031559)(op(Label 37 Gntshr.grant_access))) ((time 0.031562)(op(Label 37 Gntshr.grant_access))) ((time 0.031565)(op(Label 37 Gntshr.grant_access))) ((time 0.031568)(op(Label 37 Gntshr.grant_access))) ((time 0.031570)(op(Label 37 Gntshr.grant_access))) ((time 0.031574)(op(Label 37 Gntshr.grant_access))) ((time 0.031578)(op(Label 37 Gntshr.grant_access))) ((time 0.031581)(op(Label 37 Gntshr.grant_access))) ((time 0.031585)(op(Label 37 Gntshr.grant_access))) ((time 0.031588)(op(Label 37 Gntshr.grant_access))) ((time 0.031591)(op(Label 37 Gntshr.grant_access))) ((time 0.031594)(op(Label 37 Gntshr.grant_access))) ((time 0.031597)(op(Label 37 Gntshr.grant_access))) ((time 0.031601)(op(Label 37 Gntshr.grant_access))) ((time 0.031604)(op(Label 37 Gntshr.grant_access))) ((time 0.031607)(op(Label 37 Gntshr.grant_access))) ((time 0.031610)(op(Label 37 Gntshr.grant_access))) ((time 0.031614)(op(Label 37 Gntshr.grant_access))) ((time 0.031616)(op(Label 37 Gntshr.grant_access))) ((time 0.031619)(op(Label 37 Gntshr.grant_access))) ((time 0.031622)(op(Label 37 Gntshr.grant_access))) ((time 0.031640)(op(Label 37 Gntshr.grant_access))) ((time 0.031644)(op(Label 37 Gntshr.grant_access))) ((time 0.031648)(op(Label 37 Gntshr.grant_access))) ((time 0.031651)(op(Label 37 Gntshr.grant_access))) ((time 0.031654)(op(Label 37 Gntshr.grant_access))) ((time 0.031657)(op(Label 37 Gntshr.grant_access))) ((time 0.031661)(op(Label 37 Gntshr.grant_access))) ((time 0.031664)(op(Label 37 Gntshr.grant_access))) ((time 0.031667)(op(Label 37 Gntshr.grant_access))) ((time 0.031671)(op(Label 37 Gntshr.grant_access))) ((time 0.031674)(op(Label 37 Gntshr.grant_access))) ((time 0.031677)(op(Label 37 Gntshr.grant_access))) ((time 0.031681)(op(Label 37 Gntshr.grant_access))) ((time 0.031684)(op(Label 37 Gntshr.grant_access))) ((time 0.031687)(op(Label 37 Gntshr.grant_access))) ((time 0.031690)(op(Label 37 Gntshr.grant_access))) ((time 0.031693)(op(Label 37 Gntshr.grant_access))) ((time 0.031697)(op(Label 37 Gntshr.grant_access))) ((time 0.031700)(op(Label 37 Gntshr.grant_access))) ((time 0.031704)(op(Label 37 Gntshr.grant_access))) ((time 0.031707)(op(Label 37 Gntshr.grant_access))) ((time 0.031710)(op(Label 37 Gntshr.grant_access))) ((time 0.031713)(op(Label 37 Gntshr.grant_access))) ((time 0.031716)(op(Label 37 Gntshr.grant_access))) ((time 0.031719)(op(Label 37 Gntshr.grant_access))) ((time 0.031723)(op(Label 37 Gntshr.grant_access))) ((time 0.031726)(op(Label 37 Gntshr.grant_access))) ((time 0.031729)(op(Label 37 Gntshr.grant_access))) ((time 0.031733)(op(Label 37 Gntshr.grant_access))) ((time 0.031737)(op(Label 37 Gntshr.grant_access))) ((time 0.031741)(op(Label 37 Gntshr.grant_access))) ((time 0.031744)(op(Label 37 Gntshr.grant_access))) ((time 0.031765)(op(Label 37 Gntshr.grant_access))) ((time 0.031769)(op(Label 37 Gntshr.grant_access))) ((time 0.031773)(op(Label 37 Gntshr.grant_access))) ((time 0.031776)(op(Label 37 Gntshr.grant_access))) ((time 0.031780)(op(Label 37 Gntshr.grant_access))) ((time 0.031783)(op(Label 37 Gntshr.grant_access))) ((time 0.031786)(op(Label 37 Gntshr.grant_access))) ((time 0.031789)(op(Label 37 Gntshr.grant_access))) ((time 0.031792)(op(Label 37 Gntshr.grant_access))) ((time 0.031796)(op(Label 37 Gntshr.grant_access))) ((time 0.031799)(op(Label 37 Gntshr.grant_access))) ((time 0.031802)(op(Label 37 Gntshr.grant_access))) ((time 0.031805)(op(Label 37 Gntshr.grant_access))) ((time 0.031808)(op(Label 37 Gntshr.grant_access))) ((time 0.031812)(op(Label 37 Gntshr.grant_access))) ((time 0.031815)(op(Label 37 Gntshr.grant_access))) ((time 0.031818)(op(Label 37 Gntshr.grant_access))) ((time 0.031821)(op(Label 37 Gntshr.grant_access))) ((time 0.031825)(op(Label 37 Gntshr.grant_access))) ((time 0.031828)(op(Label 37 Gntshr.grant_access))) ((time 0.031831)(op(Label 37 Gntshr.grant_access))) ((time 0.031835)(op(Label 37 Gntshr.grant_access))) ((time 0.031838)(op(Label 37 Gntshr.grant_access))) ((time 0.031841)(op(Label 37 Gntshr.grant_access))) ((time 0.031844)(op(Label 37 Gntshr.grant_access))) ((time 0.031847)(op(Label 37 Gntshr.grant_access))) ((time 0.031851)(op(Label 37 Gntshr.grant_access))) ((time 0.031854)(op(Label 37 Gntshr.grant_access))) ((time 0.031857)(op(Label 37 Gntshr.grant_access))) ((time 0.031860)(op(Label 37 Gntshr.grant_access))) ((time 0.031864)(op(Label 37 Gntshr.grant_access))) ((time 0.031867)(op(Label 37 Gntshr.grant_access))) ((time 0.031870)(op(Label 37 Gntshr.grant_access))) ((time 0.031873)(op(Label 37 Gntshr.grant_access))) ((time 0.031875)(op(Label 37 Gntshr.grant_access))) ((time 0.031878)(op(Label 37 Gntshr.grant_access))) ((time 0.031881)(op(Label 37 Gntshr.grant_access))) ((time 0.031884)(op(Label 37 Gntshr.grant_access))) ((time 0.031887)(op(Label 37 Gntshr.grant_access))) ((time 0.031890)(op(Label 37 Gntshr.grant_access))) ((time 0.031893)(op(Label 37 Gntshr.grant_access))) ((time 0.031896)(op(Label 37 Gntshr.grant_access))) ((time 0.031899)(op(Label 37 Gntshr.grant_access))) ((time 0.031902)(op(Label 37 Gntshr.grant_access))) ((time 0.031906)(op(Label 37 Gntshr.grant_access))) ((time 0.031909)(op(Label 37 Gntshr.grant_access))) ((time 0.031913)(op(Label 37 Gntshr.grant_access))) ((time 0.031916)(op(Label 37 Gntshr.grant_access))) ((time 0.031919)(op(Label 37 Gntshr.grant_access))) ((time 0.031922)(op(Label 37 Gntshr.grant_access))) ((time 0.031925)(op(Label 37 Gntshr.grant_access))) ((time 0.031929)(op(Label 37 Gntshr.grant_access))) ((time 0.031932)(op(Label 37 Gntshr.grant_access))) ((time 0.031935)(op(Label 37 Gntshr.grant_access))) ((time 0.031938)(op(Label 37 Gntshr.grant_access))) ((time 0.031941)(op(Label 37 Gntshr.grant_access))) ((time 0.031945)(op(Label 37 Gntshr.grant_access))) ((time 0.031948)(op(Label 37 Gntshr.grant_access))) ((time 0.031952)(op(Label 37 Gntshr.grant_access))) ((time 0.031955)(op(Label 37 Gntshr.grant_access))) ((time 0.031958)(op(Label 37 Gntshr.grant_access))) ((time 0.031961)(op(Label 37 Gntshr.grant_access))) ((time 0.031964)(op(Label 37 Gntshr.grant_access))) ((time 0.031967)(op(Label 37 Gntshr.grant_access))) ((time 0.032004)(op(Label 37 Gntshr.grant_access))) ((time 0.032007)(op(Label 37 Gntshr.grant_access))) ((time 0.032011)(op(Label 37 Gntshr.grant_access))) ((time 0.032013)(op(Label 37 Gntshr.grant_access))) ((time 0.032016)(op(Label 37 Gntshr.grant_access))) ((time 0.032019)(op(Label 37 Gntshr.grant_access))) ((time 0.032022)(op(Label 37 Gntshr.grant_access))) ((time 0.032025)(op(Label 37 Gntshr.grant_access))) ((time 0.032028)(op(Label 37 Gntshr.grant_access))) ((time 0.032031)(op(Label 37 Gntshr.grant_access))) ((time 0.032034)(op(Label 37 Gntshr.grant_access))) ((time 0.032037)(op(Label 37 Gntshr.grant_access))) ((time 0.032040)(op(Label 37 Gntshr.grant_access))) ((time 0.032043)(op(Label 37 Gntshr.grant_access))) ((time 0.032046)(op(Label 37 Gntshr.grant_access))) ((time 0.032049)(op(Label 37 Gntshr.grant_access))) ((time 0.032052)(op(Label 37 Gntshr.grant_access))) ((time 0.032054)(op(Label 37 Gntshr.grant_access))) ((time 0.032057)(op(Label 37 Gntshr.grant_access))) ((time 0.032060)(op(Label 37 Gntshr.grant_access))) ((time 0.032063)(op(Label 37 Gntshr.grant_access))) ((time 0.032066)(op(Label 37 Gntshr.grant_access))) ((time 0.032070)(op(Label 37 Gntshr.grant_access))) ((time 0.032083)(op(Label 37 Gntshr.grant_access))) ((time 0.032086)(op(Label 37 Gntshr.grant_access))) ((time 0.032089)(op(Label 37 Gntshr.grant_access))) ((time 0.032093)(op(Label 37 Gntshr.grant_access))) ((time 0.032095)(op(Label 37 Gntshr.grant_access))) ((time 0.032099)(op(Label 37 Gntshr.grant_access))) ((time 0.032102)(op(Label 37 Gntshr.grant_access))) ((time 0.032105)(op(Label 37 Gntshr.grant_access))) ((time 0.032108)(op(Label 37 Gntshr.grant_access))) ((time 0.032111)(op(Label 37 Gntshr.grant_access))) ((time 0.032115)(op(Label 37 Gntshr.grant_access))) ((time 0.032118)(op(Label 37 Gntshr.grant_access))) ((time 0.032121)(op(Label 37 Gntshr.grant_access))) ((time 0.032124)(op(Label 37 Gntshr.grant_access))) ((time 0.032127)(op(Label 37 Gntshr.grant_access))) ((time 0.032130)(op(Label 37 Gntshr.grant_access))) ((time 0.032133)(op(Label 37 Gntshr.grant_access))) ((time 0.032136)(op(Label 37 Gntshr.grant_access))) ((time 0.032140)(op(Label 37 Gntshr.grant_access))) ((time 0.032143)(op(Label 37 Gntshr.grant_access))) ((time 0.032147)(op(Label 37 Gntshr.grant_access))) ((time 0.032150)(op(Label 37 Gntshr.grant_access))) ((time 0.032153)(op(Label 37 Gntshr.grant_access))) ((time 0.032156)(op(Label 37 Gntshr.grant_access))) ((time 0.032159)(op(Label 37 Gntshr.grant_access))) ((time 0.032163)(op(Label 37 Gntshr.grant_access))) ((time 0.032166)(op(Label 37 Gntshr.grant_access))) ((time 0.032170)(op(Label 37 Gntshr.grant_access))) ((time 0.032173)(op(Label 37 Gntshr.grant_access))) ((time 0.032176)(op(Label 37 Gntshr.grant_access))) ((time 0.032179)(op(Label 37 Gntshr.grant_access))) ((time 0.032182)(op(Label 37 Gntshr.grant_access))) ((time 0.032186)(op(Label 37 Gntshr.grant_access))) ((time 0.032189)(op(Label 37 Gntshr.grant_access))) ((time 0.032192)(op(Label 37 Gntshr.grant_access))) ((time 0.032195)(op(Label 37 Gntshr.grant_access))) ((time 0.032198)(op(Label 37 Gntshr.grant_access))) ((time 0.032202)(op(Label 37 Gntshr.grant_access))) ((time 0.032205)(op(Label 37 Gntshr.grant_access))) ((time 0.032208)(op(Label 37 Gntshr.grant_access))) ((time 0.032211)(op(Label 37 Gntshr.grant_access))) ((time 0.032214)(op(Label 37 Gntshr.grant_access))) ((time 0.032218)(op(Label 37 Gntshr.grant_access))) ((time 0.032221)(op(Label 37 Gntshr.grant_access))) ((time 0.032225)(op(Label 37 Gntshr.grant_access))) ((time 0.032228)(op(Label 37 Gntshr.grant_access))) ((time 0.032231)(op(Label 37 Gntshr.grant_access))) ((time 0.032234)(op(Label 37 Gntshr.grant_access))) ((time 0.032237)(op(Label 37 Gntshr.grant_access))) ((time 0.032240)(op(Label 37 Gntshr.grant_access))) ((time 0.032243)(op(Label 37 Gntshr.grant_access))) ((time 0.032246)(op(Label 37 Gntshr.grant_access))) ((time 0.032249)(op(Label 37 Gntshr.grant_access))) ((time 0.032252)(op(Label 37 Gntshr.grant_access))) ((time 0.032255)(op(Label 37 Gntshr.grant_access))) ((time 0.032258)(op(Label 37 Gntshr.grant_access))) ((time 0.032261)(op(Label 37 Gntshr.grant_access))) ((time 0.032264)(op(Label 37 Gntshr.grant_access))) ((time 0.032267)(op(Label 37 Gntshr.grant_access))) ((time 0.032270)(op(Label 37 Gntshr.grant_access))) ((time 0.032273)(op(Label 37 Gntshr.grant_access))) ((time 0.032276)(op(Label 37 Gntshr.grant_access))) ((time 0.032279)(op(Label 37 Gntshr.grant_access))) ((time 0.032282)(op(Label 37 Gntshr.grant_access))) ((time 0.032285)(op(Label 37 Gntshr.grant_access))) ((time 0.032288)(op(Label 37 Gntshr.grant_access))) ((time 0.032291)(op(Label 37 Gntshr.grant_access))) ((time 0.032294)(op(Label 37 Gntshr.grant_access))) ((time 0.032297)(op(Label 37 Gntshr.grant_access))) ((time 0.032300)(op(Label 37 Gntshr.grant_access))) ((time 0.032303)(op(Label 37 Gntshr.grant_access))) ((time 0.032305)(op(Label 37 Gntshr.grant_access))) ((time 0.032308)(op(Label 37 Gntshr.grant_access))) ((time 0.032311)(op(Label 37 Gntshr.grant_access))) ((time 0.032314)(op(Label 37 Gntshr.grant_access))) ((time 0.032317)(op(Label 37 Gntshr.grant_access))) ((time 0.032320)(op(Label 37 Gntshr.grant_access))) ((time 0.032323)(op(Label 37 Gntshr.grant_access))) ((time 0.032326)(op(Label 37 Gntshr.grant_access))) ((time 0.032329)(op(Label 37 Gntshr.grant_access))) ((time 0.032332)(op(Label 37 Gntshr.grant_access))) ((time 0.032335)(op(Label 37 Gntshr.grant_access))) ((time 0.032338)(op(Label 37 Gntshr.grant_access))) ((time 0.032341)(op(Label 37 Gntshr.grant_access))) ((time 0.032344)(op(Label 37 Gntshr.grant_access))) ((time 0.032346)(op(Label 37 Gntshr.grant_access))) ((time 0.032349)(op(Label 37 Gntshr.grant_access))) ((time 0.032352)(op(Label 37 Gntshr.grant_access))) ((time 0.032355)(op(Label 37 Gntshr.grant_access))) ((time 0.032358)(op(Label 37 Gntshr.grant_access))) ((time 0.032361)(op(Label 37 Gntshr.grant_access))) ((time 0.032364)(op(Label 37 Gntshr.grant_access))) ((time 0.032367)(op(Label 37 Gntshr.grant_access))) ((time 0.032370)(op(Label 37 Gntshr.grant_access))) ((time 0.032374)(op(Label 37 Gntshr.grant_access))) ((time 0.032377)(op(Label 37 Gntshr.grant_access))) ((time 0.032381)(op(Label 37 Gntshr.grant_access))) ((time 0.032384)(op(Label 37 Gntshr.grant_access))) ((time 0.032387)(op(Label 37 Gntshr.grant_access))) ((time 0.032390)(op(Label 37 Gntshr.grant_access))) ((time 0.032394)(op(Label 37 Gntshr.grant_access))) ((time 0.032397)(op(Label 37 Gntshr.grant_access))) ((time 0.032400)(op(Label 37 Gntshr.grant_access))) ((time 0.032404)(op(Label 37 Gntshr.grant_access))) ((time 0.032437)(op(Creates 37 376 Condition))) ((time 0.032445)(op(Creates 37 377 Try))) ((time 0.032448)(op(Creates 37 378 Bind))) ((time 0.032470)(op(Label 378 after-chn-4))) ((time 0.032472)(op(Creates 37 379 Bind))) ((time 0.032475)(op(Creates 37 380 Bind))) ((time 0.032482)(op(Resolves 37 37()))) ((time 0.032487)(op(Reads 14 37))) ((time 0.032491)(op(Resolves 14 14()))) ((time 0.032493)(op(Reads 15 14))) ((time 0.032564)(op(Label 15 ethif.connect))) ((time 0.033154)(op(Creates 15 381 Task))) ((time 0.033395)(op(Reads 15 -1))) ((time 0.033404)(op(Label 15 Gntshr.get))) ((time 0.033409)(op(Label 15 Gntshr.grant_access))) ((time 0.033419)(op(Creates 15 382 Task))) ((time 0.033421)(op(Label 382 ring.write))) ((time 0.033436)(op(Creates 15 383 Bind))) ((time 0.033440)(op(Creates 15 384 Try))) ((time 0.033453)(op(Creates 15 385 Bind))) ((time 0.033456)(op(Creates 15 386 Try))) ((time 0.033470)(op(Creates 15 387 Try))) ((time 0.033473)(op(Creates 15 388 Bind))) ((time 0.033475)(op(Creates 15 389 Bind))) ((time 0.033477)(op(Creates 15 390 Bind))) ((time 0.033481)(op(Becomes 15 390))) ((time 0.033487)(op(Switch 0))) ((time 0.033716)(op(Switch -1))) ((time 0.033728)(op(Switch 0))) ((time 0.033735)(op(Switch -1))) ((time 0.034781)(op(Switch 0))) ((time 0.034816)(op(Resolves 0 376()))) ((time 0.034821)(op(Reads 377 376))) ((time 0.034827)(op(Reads 377 -1))) ((time 0.034830)(op(Resolves 377 377()))) ((time 0.034833)(op(Reads 378 377))) ((time 0.034837)(op(Resolves 378 378()))) ((time 0.034840)(op(Reads 379 378))) ((time 0.034854)(op(Resolves 379 379()))) ((time 0.034857)(op(Reads 380 379))) ((time 0.034872)(op(Label 380"ring.poll ack_responses"))) ((time 0.034887)(op(Resolves 380 382()))) ((time 0.034891)(op(Reads 383 382))) ((time 0.034894)(op(Label 383 Gntshr.end_access))) ((time 0.034900)(op(Label 383 Gntshr.put))) ((time 0.034904)(op(Resolves 383 383()))) ((time 0.034906)(op(Reads 384 383))) ((time 0.034909)(op(Resolves 384 384()))) ((time 0.034911)(op(Reads 385 384))) ((time 0.034914)(op(Resolves 385 385()))) ((time 0.034916)(op(Reads 386 385))) ((time 0.034918)(op(Resolves 386 386()))) ((time 0.034920)(op(Reads 387 386))) ((time 0.034925)(op(Reads 387 -1))) ((time 0.034928)(op(Resolves 387 387()))) ((time 0.034930)(op(Reads 388 387))) ((time 0.034933)(op(Resolves 388 388()))) ((time 0.034935)(op(Reads 389 388))) ((time 0.034941)(op(Reads 389 -1))) ((time 0.034943)(op(Resolves 389 389()))) ((time 0.034946)(op(Reads 15 389))) ((time 0.035014)(op(Resolves 15 15()))) ((time 0.035018)(op(Reads 16 15))) ((time 0.035041)(op(Creates 16 391 Task))) ((time 0.035044)(op(Label 391 sleep))) ((time 0.035050)(op(Creates 16 392 Bind))) ((time 0.035053)(op(Becomes 16 392))) ((time 0.035058)(op(Switch 380))) ((time 0.035065)(op(Creates 380 393 Condition))) ((time 0.035070)(op(Creates 380 394 Try))) ((time 0.035072)(op(Creates 380 395 Bind))) ((time 0.035089)(op(Label 395 after-chn-4))) ((time 0.035091)(op(Creates 380 396 Bind))) ((time 0.035093)(op(Creates 380 397 Bind))) ((time 0.035095)(op(Becomes 380 397))) ((time 0.035098)(op(Switch 0))) ((time 0.035211)(op(Switch -1))) ((time 0.042909)(op(Switch 0))) ((time 0.042936)(op(Resolves 0 391()))) ((time 0.042943)(op(Reads 16 391))) ((time 0.043152)(op(Reads 16 -1))) ((time 0.043162)(op(Label 16 Gntshr.get))) ((time 0.043181)(op(Label 16 Gntshr.grant_access))) ((time 0.043195)(op(Creates 16 398 Task))) ((time 0.043198)(op(Label 398 ring.write))) ((time 0.043212)(op(Creates 16 399 Bind))) ((time 0.043215)(op(Creates 16 400 Try))) ((time 0.043236)(op(Creates 16 401 Bind))) ((time 0.043239)(op(Creates 16 402 Try))) ((time 0.043241)(op(Creates 16 403 Try))) ((time 0.043244)(op(Creates 16 404 Bind))) ((time 0.043247)(op(Creates 16 405 Map))) ((time 0.043249)(op(Creates 16 406 Bind))) ((time 0.043252)(op(Creates 16 407 Bind))) ((time 0.043254)(op(Creates 16 408 Bind))) ((time 0.043256)(op(Creates 16 409 Bind))) ((time 0.043261)(op(Becomes 16 409))) ((time 0.043265)(op(Switch 0))) ((time 0.043428)(op(Resolves 0 393()))) ((time 0.043433)(op(Reads 394 393))) ((time 0.043437)(op(Reads 394 -1))) ((time 0.043440)(op(Resolves 394 394()))) ((time 0.043443)(op(Reads 395 394))) ((time 0.043446)(op(Resolves 395 395()))) ((time 0.043449)(op(Reads 396 395))) ((time 0.043453)(op(Resolves 396 396()))) ((time 0.043456)(op(Reads 380 396))) ((time 0.043466)(op(Label 380"ring.poll ack_responses"))) ((time 0.043476)(op(Resolves 380 398()))) ((time 0.043479)(op(Reads 399 398))) ((time 0.043482)(op(Label 399 Gntshr.end_access))) ((time 0.043487)(op(Label 399 Gntshr.put))) ((time 0.043491)(op(Resolves 399 399()))) ((time 0.043493)(op(Reads 400 399))) ((time 0.043495)(op(Resolves 400 400()))) ((time 0.043497)(op(Reads 401 400))) ((time 0.043500)(op(Resolves 401 401()))) ((time 0.043502)(op(Reads 402 401))) ((time 0.043504)(op(Resolves 402 402()))) ((time 0.043506)(op(Reads 403 402))) ((time 0.043509)(op(Reads 403 -1))) ((time 0.043512)(op(Resolves 403 403()))) ((time 0.043514)(op(Reads 404 403))) ((time 0.043517)(op(Creates 404 410 Condition))) ((time 0.043522)(op(Creates 404 411 Try))) ((time 0.043524)(op(Becomes 404 411))) ((time 0.043527)(op(Switch 380))) ((time 0.043531)(op(Creates 380 412 Condition))) ((time 0.043533)(op(Creates 380 413 Try))) ((time 0.043536)(op(Creates 380 414 Bind))) ((time 0.043550)(op(Label 414 after-chn-4))) ((time 0.043552)(op(Creates 380 415 Bind))) ((time 0.043554)(op(Creates 380 416 Bind))) ((time 0.043557)(op(Becomes 380 416))) ((time 0.043559)(op(Switch 0))) ((time 0.043676)(op(Switch -1))) ((time 0.043687)(op(Switch 0))) ((time 0.043694)(op(Switch -1))) ((time 0.043928)(op(Switch 0))) ((time 0.043947)(op(Resolves 0 412()))) ((time 0.043952)(op(Reads 413 412))) ((time 0.043956)(op(Reads 413 -1))) ((time 0.043959)(op(Resolves 413 413()))) ((time 0.043961)(op(Reads 414 413))) ((time 0.043965)(op(Resolves 414 414()))) ((time 0.043968)(op(Reads 415 414))) ((time 0.043971)(op(Resolves 415 415()))) ((time 0.043974)(op(Reads 380 415))) ((time 0.043994)(op(Label 380 Gntshr.end_access))) ((time 0.044000)(op(Label 380 Gntshr.put))) ((time 0.044009)(op(Label 380 ethif.input))) ((time 0.044013)(op(Label 380 arpv4.input))) ((time 0.044170)(op(Resolves 380 410()))) ((time 0.044180)(op(Reads 380 -1))) ((time 0.044189)(op(Creates 380 417 Condition))) ((time 0.044194)(op(Creates 380 418 Try))) ((time 0.044197)(op(Creates 380 419 Bind))) ((time 0.044205)(op(Label 419 after-chn-4))) ((time 0.044208)(op(Creates 380 420 Bind))) ((time 0.044210)(op(Creates 380 421 Bind))) ((time 0.044213)(op(Becomes 380 421))) ((time 0.044220)(op(Reads 404 410))) ((time 0.044223)(op(Reads 404 -1))) ((time 0.044231)(op(Resolves 404 404()))) ((time 0.044233)(op(Reads 405 404))) ((time 0.044237)(op(Resolves 405 405()))) ((time 0.044239)(op(Reads 406 405))) ((time 0.044254)(op(Resolves 406 406()))) ((time 0.044257)(op(Reads 407 406))) ((time 0.044275)(op(Label 407 ethif.writev))) ((time 0.044279)(op(Reads 407 -1))) ((time 0.044286)(op(Label 407 Gntshr.get))) ((time 0.044289)(op(Label 407 Gntshr.grant_access))) ((time 0.044296)(op(Creates 407 422 Task))) ((time 0.044299)(op(Label 422 ring.write))) ((time 0.044309)(op(Creates 407 423 Bind))) ((time 0.044312)(op(Creates 407 424 Try))) ((time 0.044316)(op(Label 407 Gntshr.get))) ((time 0.044319)(op(Label 407 Gntshr.grant_access))) ((time 0.044322)(op(Creates 407 425 Task))) ((time 0.044324)(op(Label 425 ring.write))) ((time 0.044328)(op(Creates 407 426 Bind))) ((time 0.044330)(op(Creates 407 427 Try))) ((time 0.044350)(op(Reads 407 -1))) ((time 0.044354)(op(Resolves 407 407()))) ((time 0.044356)(op(Reads 408 407))) ((time 0.044359)(op(Increases 408 packets 1))) ((time 0.044401)(op(Label 408 ethif.writev))) ((time 0.044405)(op(Reads 408 -1))) ((time 0.044409)(op(Label 408 Gntshr.get))) ((time 0.044411)(op(Label 408 Gntshr.grant_access))) ((time 0.044416)(op(Creates 408 428 Task))) ((time 0.044418)(op(Label 428 ring.write))) ((time 0.044423)(op(Creates 408 429 Bind))) ((time 0.044426)(op(Creates 408 430 Try))) ((time 0.044429)(op(Label 408 Gntshr.get))) ((time 0.044431)(op(Label 408 Gntshr.grant_access))) ((time 0.044435)(op(Creates 408 431 Task))) ((time 0.044437)(op(Label 431 ring.write))) ((time 0.044440)(op(Creates 408 432 Bind))) ((time 0.044443)(op(Creates 408 433 Try))) ((time 0.044448)(op(Reads 408 -1))) ((time 0.044450)(op(Increases 408 packets 1))) ((time 0.044472)(op(Label 408 ethif.writev))) ((time 0.044476)(op(Reads 408 -1))) ((time 0.044480)(op(Label 408 Gntshr.get))) ((time 0.044482)(op(Label 408 Gntshr.grant_access))) ((time 0.044486)(op(Creates 408 434 Task))) ((time 0.044488)(op(Label 434 ring.write))) ((time 0.044493)(op(Creates 408 435 Bind))) ((time 0.044495)(op(Creates 408 436 Try))) ((time 0.044498)(op(Label 408 Gntshr.get))) ((time 0.044500)(op(Label 408 Gntshr.grant_access))) ((time 0.044503)(op(Creates 408 437 Task))) ((time 0.044505)(op(Label 437 ring.write))) ((time 0.044508)(op(Creates 408 438 Bind))) ((time 0.044511)(op(Creates 408 439 Try))) ((time 0.044516)(op(Reads 408 -1))) ((time 0.044518)(op(Increases 408 packets 1))) ((time 0.044536)(op(Label 408 ethif.writev))) ((time 0.044539)(op(Reads 408 -1))) ((time 0.044543)(op(Label 408 Gntshr.get))) ((time 0.044546)(op(Label 408 Gntshr.grant_access))) ((time 0.044550)(op(Creates 408 440 Task))) ((time 0.044566)(op(Label 440 ring.write))) ((time 0.044571)(op(Creates 408 441 Bind))) ((time 0.044574)(op(Creates 408 442 Try))) ((time 0.044576)(op(Label 408 Gntshr.get))) ((time 0.044578)(op(Label 408 Gntshr.grant_access))) ((time 0.044581)(op(Creates 408 443 Task))) ((time 0.044584)(op(Label 443 ring.write))) ((time 0.044587)(op(Creates 408 444 Bind))) ((time 0.044589)(op(Creates 408 445 Try))) ((time 0.044594)(op(Reads 408 -1))) ((time 0.044597)(op(Increases 408 packets 1))) ((time 0.044621)(op(Label 408 ethif.writev))) ((time 0.044625)(op(Reads 408 -1))) ((time 0.044630)(op(Label 408 Gntshr.get))) ((time 0.044633)(op(Label 408 Gntshr.grant_access))) ((time 0.044637)(op(Creates 408 446 Task))) ((time 0.044639)(op(Label 446 ring.write))) ((time 0.044643)(op(Creates 408 447 Bind))) ((time 0.044646)(op(Creates 408 448 Try))) ((time 0.044648)(op(Label 408 Gntshr.get))) ((time 0.044650)(op(Label 408 Gntshr.grant_access))) ((time 0.044654)(op(Creates 408 449 Task))) ((time 0.044656)(op(Label 449 ring.write))) ((time 0.044660)(op(Creates 408 450 Bind))) ((time 0.044662)(op(Creates 408 451 Try))) ((time 0.044668)(op(Reads 408 -1))) ((time 0.044670)(op(Increases 408 packets 1))) ((time 0.044691)(op(Label 408 ethif.writev))) ((time 0.044694)(op(Reads 408 -1))) ((time 0.044698)(op(Label 408 Gntshr.get))) ((time 0.044701)(op(Label 408 Gntshr.grant_access))) ((time 0.044704)(op(Creates 408 452 Task))) ((time 0.044706)(op(Label 452 ring.write))) ((time 0.044711)(op(Creates 408 453 Bind))) ((time 0.044714)(op(Creates 408 454 Try))) ((time 0.044717)(op(Label 408 Gntshr.get))) ((time 0.044719)(op(Label 408 Gntshr.grant_access))) ((time 0.044723)(op(Creates 408 455 Task))) ((time 0.044724)(op(Label 455 ring.write))) ((time 0.044728)(op(Creates 408 456 Bind))) ((time 0.044730)(op(Creates 408 457 Try))) ((time 0.044735)(op(Reads 408 -1))) ((time 0.044737)(op(Increases 408 packets 1))) ((time 0.044758)(op(Label 408 ethif.writev))) ((time 0.044761)(op(Reads 408 -1))) ((time 0.044764)(op(Label 408 Gntshr.get))) ((time 0.044766)(op(Label 408 Gntshr.grant_access))) ((time 0.044770)(op(Creates 408 458 Task))) ((time 0.044772)(op(Label 458 ring.write))) ((time 0.044777)(op(Creates 408 459 Bind))) ((time 0.044779)(op(Creates 408 460 Try))) ((time 0.044782)(op(Label 408 Gntshr.get))) ((time 0.044784)(op(Label 408 Gntshr.grant_access))) ((time 0.044788)(op(Creates 408 461 Task))) ((time 0.044789)(op(Label 461 ring.write))) ((time 0.044793)(op(Creates 408 462 Bind))) ((time 0.044795)(op(Creates 408 463 Try))) ((time 0.044800)(op(Reads 408 -1))) ((time 0.044802)(op(Increases 408 packets 1))) ((time 0.044819)(op(Label 408 ethif.writev))) ((time 0.044822)(op(Reads 408 -1))) ((time 0.044825)(op(Label 408 Gntshr.get))) ((time 0.044828)(op(Label 408 Gntshr.grant_access))) ((time 0.044831)(op(Creates 408 464 Task))) ((time 0.044833)(op(Label 464 ring.write))) ((time 0.044838)(op(Creates 408 465 Bind))) ((time 0.044841)(op(Creates 408 466 Try))) ((time 0.044843)(op(Label 408 Gntshr.get))) ((time 0.044845)(op(Label 408 Gntshr.grant_access))) ((time 0.044849)(op(Creates 408 467 Task))) ((time 0.044850)(op(Label 467 ring.write))) ((time 0.044854)(op(Creates 408 468 Bind))) ((time 0.044857)(op(Creates 408 469 Try))) ((time 0.044862)(op(Reads 408 -1))) ((time 0.044864)(op(Increases 408 packets 1))) ((time 0.044883)(op(Label 408 ethif.writev))) ((time 0.044886)(op(Reads 408 -1))) ((time 0.044890)(op(Label 408 Gntshr.get))) ((time 0.044892)(op(Label 408 Gntshr.grant_access))) ((time 0.044895)(op(Creates 408 470 Task))) ((time 0.044897)(op(Label 470 ring.write))) ((time 0.044903)(op(Creates 408 471 Bind))) ((time 0.044905)(op(Creates 408 472 Try))) ((time 0.044907)(op(Label 408 Gntshr.get))) ((time 0.044909)(op(Label 408 Gntshr.grant_access))) ((time 0.044913)(op(Creates 408 473 Task))) ((time 0.044915)(op(Label 473 ring.write))) ((time 0.044919)(op(Creates 408 474 Bind))) ((time 0.044921)(op(Creates 408 475 Try))) ((time 0.044927)(op(Reads 408 -1))) ((time 0.044929)(op(Increases 408 packets 1))) ((time 0.044947)(op(Label 408 ethif.writev))) ((time 0.044950)(op(Reads 408 -1))) ((time 0.044954)(op(Label 408 Gntshr.get))) ((time 0.044956)(op(Label 408 Gntshr.grant_access))) ((time 0.044960)(op(Creates 408 476 Task))) ((time 0.044962)(op(Label 476 ring.write))) ((time 0.044967)(op(Creates 408 477 Bind))) ((time 0.044970)(op(Creates 408 478 Try))) ((time 0.044973)(op(Label 408 Gntshr.get))) ((time 0.044975)(op(Label 408 Gntshr.grant_access))) ((time 0.044978)(op(Creates 408 479 Task))) ((time 0.044980)(op(Label 479 ring.write))) ((time 0.044984)(op(Creates 408 480 Bind))) ((time 0.044986)(op(Creates 408 481 Try))) ((time 0.045007)(op(Reads 408 -1))) ((time 0.045011)(op(Increases 408 packets 1))) ((time 0.045014)(op(Resolves 408 408()))) ((time 0.045019)(op(Reads 16 408))) ((time 0.045022)(op(Creates 16 482 Task))) ((time 0.045024)(op(Label 482 sleep))) ((time 0.045030)(op(Creates 16 483 Bind))) ((time 0.045036)(op(Becomes 16 483))) ((time 0.045041)(op(Switch 0))) ((time 0.045159)(op(Resolves 0 417()))) ((time 0.045164)(op(Reads 418 417))) ((time 0.045167)(op(Reads 418 -1))) ((time 0.045170)(op(Resolves 418 418()))) ((time 0.045172)(op(Reads 419 418))) ((time 0.045176)(op(Resolves 419 419()))) ((time 0.045178)(op(Reads 420 419))) ((time 0.045181)(op(Resolves 420 420()))) ((time 0.045184)(op(Reads 380 420))) ((time 0.045188)(op(Label 380 Gntshr.get))) ((time 0.045203)(op(Label 380 Gntshr.grant_access))) ((time 0.045214)(op(Label 380"ring.poll ack_responses"))) ((time 0.045224)(op(Resolves 380 422()))) ((time 0.045226)(op(Reads 423 422))) ((time 0.045229)(op(Label 423 Gntshr.end_access))) ((time 0.045233)(op(Label 423 Gntshr.put))) ((time 0.045236)(op(Resolves 423 423()))) ((time 0.045239)(op(Reads 424 423))) ((time 0.045241)(op(Resolves 424 424()))) ((time 0.045243)(op(Switch 380))) ((time 0.045246)(op(Label 380"ring.poll ack_responses"))) ((time 0.045250)(op(Resolves 380 428()))) ((time 0.045252)(op(Reads 429 428))) ((time 0.045254)(op(Label 429 Gntshr.end_access))) ((time 0.045256)(op(Label 429 Gntshr.put))) ((time 0.045259)(op(Resolves 429 429()))) ((time 0.045261)(op(Reads 430 429))) ((time 0.045263)(op(Resolves 430 430()))) ((time 0.045265)(op(Switch 380))) ((time 0.045268)(op(Label 380"ring.poll ack_responses"))) ((time 0.045271)(op(Resolves 380 434()))) ((time 0.045274)(op(Reads 435 434))) ((time 0.045275)(op(Label 435 Gntshr.end_access))) ((time 0.045277)(op(Label 435 Gntshr.put))) ((time 0.045280)(op(Resolves 435 435()))) ((time 0.045281)(op(Reads 436 435))) ((time 0.045283)(op(Resolves 436 436()))) ((time 0.045285)(op(Switch 380))) ((time 0.045288)(op(Label 380"ring.poll ack_responses"))) ((time 0.045291)(op(Resolves 380 440()))) ((time 0.045294)(op(Reads 441 440))) ((time 0.045308)(op(Label 441 Gntshr.end_access))) ((time 0.045311)(op(Label 441 Gntshr.put))) ((time 0.045313)(op(Resolves 441 441()))) ((time 0.045316)(op(Reads 442 441))) ((time 0.045318)(op(Resolves 442 442()))) ((time 0.045320)(op(Switch 380))) ((time 0.045323)(op(Label 380"ring.poll ack_responses"))) ((time 0.045329)(op(Resolves 380 446()))) ((time 0.045332)(op(Reads 447 446))) ((time 0.045334)(op(Label 447 Gntshr.end_access))) ((time 0.045336)(op(Label 447 Gntshr.put))) ((time 0.045338)(op(Resolves 447 447()))) ((time 0.045340)(op(Reads 448 447))) ((time 0.045342)(op(Resolves 448 448()))) ((time 0.045344)(op(Switch 380))) ((time 0.045350)(op(Creates 380 484 Condition))) ((time 0.045354)(op(Creates 380 485 Try))) ((time 0.045356)(op(Creates 380 486 Bind))) ((time 0.045372)(op(Label 486 after-chn-4))) ((time 0.045374)(op(Creates 380 487 Bind))) ((time 0.045376)(op(Creates 380 488 Bind))) ((time 0.045378)(op(Becomes 380 488))) ((time 0.045382)(op(Switch 0))) ((time 0.045492)(op(Switch -1))) ((time 0.045504)(op(Switch 0))) ((time 0.045515)(op(Resolves 0 484()))) ((time 0.045518)(op(Reads 485 484))) ((time 0.045522)(op(Reads 485 -1))) ((time 0.045524)(op(Resolves 485 485()))) ((time 0.045526)(op(Reads 486 485))) ((time 0.045528)(op(Resolves 486 486()))) ((time 0.045531)(op(Reads 487 486))) ((time 0.045534)(op(Resolves 487 487()))) ((time 0.045536)(op(Reads 380 487))) ((time 0.045541)(op(Label 380"ring.poll ack_responses"))) ((time 0.045546)(op(Resolves 380 452()))) ((time 0.045549)(op(Reads 453 452))) ((time 0.045551)(op(Label 453 Gntshr.end_access))) ((time 0.045554)(op(Label 453 Gntshr.put))) ((time 0.045556)(op(Resolves 453 453()))) ((time 0.045558)(op(Reads 454 453))) ((time 0.045560)(op(Resolves 454 454()))) ((time 0.045562)(op(Switch 380))) ((time 0.045566)(op(Creates 380 489 Condition))) ((time 0.045569)(op(Creates 380 490 Try))) ((time 0.045571)(op(Creates 380 491 Bind))) ((time 0.045577)(op(Label 491 after-chn-4))) ((time 0.045579)(op(Creates 380 492 Bind))) ((time 0.045581)(op(Creates 380 493 Bind))) ((time 0.045584)(op(Becomes 380 493))) ((time 0.045587)(op(Switch 0))) ((time 0.045698)(op(Resolves 0 489()))) ((time 0.045701)(op(Reads 490 489))) ((time 0.045705)(op(Reads 490 -1))) ((time 0.045707)(op(Resolves 490 490()))) ((time 0.045709)(op(Reads 491 490))) ((time 0.045711)(op(Resolves 491 491()))) ((time 0.045713)(op(Reads 492 491))) ((time 0.045716)(op(Resolves 492 492()))) ((time 0.045718)(op(Reads 380 492))) ((time 0.045723)(op(Label 380"ring.poll ack_responses"))) ((time 0.045728)(op(Resolves 380 458()))) ((time 0.045731)(op(Reads 459 458))) ((time 0.045733)(op(Label 459 Gntshr.end_access))) ((time 0.045735)(op(Label 459 Gntshr.put))) ((time 0.045738)(op(Resolves 459 459()))) ((time 0.045740)(op(Reads 460 459))) ((time 0.045742)(op(Resolves 460 460()))) ((time 0.045744)(op(Switch 380))) ((time 0.045746)(op(Label 380"ring.poll ack_responses"))) ((time 0.045750)(op(Resolves 380 464()))) ((time 0.045752)(op(Reads 465 464))) ((time 0.045753)(op(Label 465 Gntshr.end_access))) ((time 0.045756)(op(Label 465 Gntshr.put))) ((time 0.045758)(op(Resolves 465 465()))) ((time 0.045760)(op(Reads 466 465))) ((time 0.045762)(op(Resolves 466 466()))) ((time 0.045764)(op(Switch 380))) ((time 0.045766)(op(Label 380"ring.poll ack_responses"))) ((time 0.045769)(op(Resolves 380 470()))) ((time 0.045771)(op(Reads 471 470))) ((time 0.045773)(op(Label 471 Gntshr.end_access))) ((time 0.045775)(op(Label 471 Gntshr.put))) ((time 0.045777)(op(Resolves 471 471()))) ((time 0.045779)(op(Reads 472 471))) ((time 0.045781)(op(Resolves 472 472()))) ((time 0.045783)(op(Switch 380))) ((time 0.045785)(op(Label 380"ring.poll ack_responses"))) ((time 0.045789)(op(Resolves 380 476()))) ((time 0.045791)(op(Reads 477 476))) ((time 0.045793)(op(Label 477 Gntshr.end_access))) ((time 0.045795)(op(Label 477 Gntshr.put))) ((time 0.045797)(op(Resolves 477 477()))) ((time 0.045799)(op(Reads 478 477))) ((time 0.045801)(op(Resolves 478 478()))) ((time 0.045803)(op(Switch 380))) ((time 0.045806)(op(Creates 380 494 Condition))) ((time 0.045809)(op(Creates 380 495 Try))) ((time 0.045812)(op(Creates 380 496 Bind))) ((time 0.045818)(op(Label 496 after-chn-4))) ((time 0.045820)(op(Creates 380 497 Bind))) ((time 0.045822)(op(Creates 380 498 Bind))) ((time 0.045824)(op(Becomes 380 498))) ((time 0.045827)(op(Switch 0))) ((time 0.045951)(op(Switch -1))) ((time 0.045958)(op(Switch 0))) ((time 0.045963)(op(Switch -1))) ((time 0.046356)(op(Switch 0))) ((time 0.046383)(op(Resolves 0 494()))) ((time 0.046387)(op(Reads 495 494))) ((time 0.046391)(op(Reads 495 -1))) ((time 0.046395)(op(Resolves 495 495()))) ((time 0.046397)(op(Reads 496 495))) ((time 0.046400)(op(Resolves 496 496()))) ((time 0.046403)(op(Reads 497 496))) ((time 0.046407)(op(Resolves 497 497()))) ((time 0.046410)(op(Reads 380 497))) ((time 0.046420)(op(Label 380"ring.poll ack_responses"))) ((time 0.046431)(op(Resolves 380 425()))) ((time 0.046434)(op(Reads 426 425))) ((time 0.046437)(op(Label 426 Gntshr.end_access))) ((time 0.046442)(op(Label 426 Gntshr.put))) ((time 0.046445)(op(Resolves 426 426()))) ((time 0.046447)(op(Reads 427 426))) ((time 0.046450)(op(Resolves 427 427()))) ((time 0.046453)(op(Switch 380))) ((time 0.046455)(op(Label 380"ring.poll ack_responses"))) ((time 0.046459)(op(Resolves 380 431()))) ((time 0.046462)(op(Reads 432 431))) ((time 0.046464)(op(Label 432 Gntshr.end_access))) ((time 0.046466)(op(Label 432 Gntshr.put))) ((time 0.046468)(op(Resolves 432 432()))) ((time 0.046471)(op(Reads 433 432))) ((time 0.046473)(op(Resolves 433 433()))) ((time 0.046475)(op(Switch 380))) ((time 0.046477)(op(Label 380"ring.poll ack_responses"))) ((time 0.046481)(op(Resolves 380 437()))) ((time 0.046483)(op(Reads 438 437))) ((time 0.046485)(op(Label 438 Gntshr.end_access))) ((time 0.046487)(op(Label 438 Gntshr.put))) ((time 0.046489)(op(Resolves 438 438()))) ((time 0.046491)(op(Reads 439 438))) ((time 0.046493)(op(Resolves 439 439()))) ((time 0.046499)(op(Switch 380))) ((time 0.046502)(op(Label 380"ring.poll ack_responses"))) ((time 0.046506)(op(Resolves 380 443()))) ((time 0.046509)(op(Reads 444 443))) ((time 0.046510)(op(Label 444 Gntshr.end_access))) ((time 0.046512)(op(Label 444 Gntshr.put))) ((time 0.046515)(op(Resolves 444 444()))) ((time 0.046517)(op(Reads 445 444))) ((time 0.046519)(op(Resolves 445 445()))) ((time 0.046521)(op(Switch 380))) ((time 0.046524)(op(Label 380"ring.poll ack_responses"))) ((time 0.046528)(op(Resolves 380 449()))) ((time 0.046530)(op(Reads 450 449))) ((time 0.046532)(op(Label 450 Gntshr.end_access))) ((time 0.046534)(op(Label 450 Gntshr.put))) ((time 0.046536)(op(Resolves 450 450()))) ((time 0.046538)(op(Reads 451 450))) ((time 0.046540)(op(Resolves 451 451()))) ((time 0.046542)(op(Switch 380))) ((time 0.046545)(op(Label 380"ring.poll ack_responses"))) ((time 0.046549)(op(Resolves 380 455()))) ((time 0.046551)(op(Reads 456 455))) ((time 0.046553)(op(Label 456 Gntshr.end_access))) ((time 0.046555)(op(Label 456 Gntshr.put))) ((time 0.046557)(op(Resolves 456 456()))) ((time 0.046560)(op(Reads 457 456))) ((time 0.046562)(op(Resolves 457 457()))) ((time 0.046564)(op(Switch 380))) ((time 0.046566)(op(Label 380"ring.poll ack_responses"))) ((time 0.046569)(op(Resolves 380 461()))) ((time 0.046571)(op(Reads 462 461))) ((time 0.046573)(op(Label 462 Gntshr.end_access))) ((time 0.046575)(op(Label 462 Gntshr.put))) ((time 0.046577)(op(Resolves 462 462()))) ((time 0.046579)(op(Reads 463 462))) ((time 0.046581)(op(Resolves 463 463()))) ((time 0.046583)(op(Switch 380))) ((time 0.046586)(op(Label 380"ring.poll ack_responses"))) ((time 0.046589)(op(Resolves 380 467()))) ((time 0.046592)(op(Reads 468 467))) ((time 0.046594)(op(Label 468 Gntshr.end_access))) ((time 0.046596)(op(Label 468 Gntshr.put))) ((time 0.046598)(op(Resolves 468 468()))) ((time 0.046600)(op(Reads 469 468))) ((time 0.046602)(op(Resolves 469 469()))) ((time 0.046604)(op(Switch 380))) ((time 0.046606)(op(Label 380"ring.poll ack_responses"))) ((time 0.046610)(op(Resolves 380 473()))) ((time 0.046613)(op(Reads 474 473))) ((time 0.046614)(op(Label 474 Gntshr.end_access))) ((time 0.046616)(op(Label 474 Gntshr.put))) ((time 0.046618)(op(Resolves 474 474()))) ((time 0.046621)(op(Reads 475 474))) ((time 0.046623)(op(Resolves 475 475()))) ((time 0.046625)(op(Switch 380))) ((time 0.046627)(op(Label 380"ring.poll ack_responses"))) ((time 0.046630)(op(Resolves 380 479()))) ((time 0.046633)(op(Reads 480 479))) ((time 0.046635)(op(Label 480 Gntshr.end_access))) ((time 0.046637)(op(Label 480 Gntshr.put))) ((time 0.046639)(op(Resolves 480 480()))) ((time 0.046641)(op(Reads 481 480))) ((time 0.046643)(op(Resolves 481 481()))) ((time 0.046645)(op(Switch 380))) ((time 0.046651)(op(Creates 380 499 Condition))) ((time 0.046655)(op(Creates 380 500 Try))) ((time 0.046658)(op(Creates 380 501 Bind))) ((time 0.046673)(op(Label 501 after-chn-4))) ((time 0.046675)(op(Creates 380 502 Bind))) ((time 0.046677)(op(Creates 380 503 Bind))) ((time 0.046680)(op(Becomes 380 503))) ((time 0.046685)(op(Switch 0))) ((time 0.046793)(op(Resolves 0 499()))) ((time 0.046796)(op(Reads 500 499))) ((time 0.046798)(op(Reads 500 -1))) ((time 0.046801)(op(Resolves 500 500()))) ((time 0.046803)(op(Reads 501 500))) ((time 0.046805)(op(Resolves 501 501()))) ((time 0.046807)(op(Reads 502 501))) ((time 0.046810)(op(Resolves 502 502()))) ((time 0.046812)(op(Reads 380 502))) ((time 0.046825)(op(Label 380 Gntshr.end_access))) ((time 0.046827)(op(Label 380 Gntshr.put)))