int igetup;
clock ddd2;
const delta2 1 ;
clock zup;
clock uuu1;
clock ddd1;
const delta1 1 ;
clock z;
clock y;
clock x;
int doublezero;
int r;
int p;
int m;
int leng;
int c;
int i;
broadcast chan down;
chan finalZero;
chan up;
chan outlast_is_1;
chan inlast_is_1;
chan outlast_is_0;
chan inlast_is_0;
chan getup;
chan notReady_getup;
chan ready_getup;
multAsapWatchergetup
multAsapWatchergetup1
multAsapWatchergetup2
multAsapWatchergetup3
GWlast_is_0getup
Exit_GWlast_is_0getup1108
Exit_GWlast_is_0getup1107
Exit_GWlast_is_0getup1106
Enter_GWlast_is_0getup1_on_getup
Exit_GWlast_is_0getup0103
Enter_GWlast_is_0getup0_on_getup
GWlast_is_0getup0
GWlast_is_0getup1
GWlast_is_0getup2S72
GWlast_is_0getup2S73
GWlast_is_0getup3
GWlast_is_1getup
Exit_GWlast_is_1getup1117
Exit_GWlast_is_1getup1116
Exit_GWlast_is_1getup1115
Exit_GWlast_is_1getup1114
Enter_GWlast_is_1getup1_on_getup
Exit_GWlast_is_1getup0111
Enter_GWlast_is_1getup0_on_getup
GWlast_is_1getup0
GWlast_is_1getup1
GWlast_is_1getup2S57
GWlast_is_1getup2S58
GWlast_is_1getup2S59
GWlast_is_1getup3
EWup
Exit_EWup2120
Enter_EWup2_on_getup
EWup0
EWup1
EWup2
checkOutput
Exit_check125
Exit_check124
Exit_check123
Enter_check_on_getup
check
treating
cerror
receiver
Exit_last_is_0S75145
Exit_last_is_0S75144
Enter_last_is_0S75_on_getup
Exit_last_is_0S74141
Exit_last_is_0S74140
Enter_last_is_0S74_on_getup
Exit_last_is_1S61137
Exit_last_is_1S61136
Exit_last_is_1S61135
Enter_last_is_1S61_on_getup
Exit_last_is_1S60132
Exit_last_is_1S60131
Exit_last_is_1S60130
Enter_last_is_1S60_on_getup
Enter_idle2_on_getup
Postlast_is_0Nr3
Postlast_is_0Nr2
Postlast_is_0Nr1
Inlast_is_0
PreInlast_is_0
Postlast_is_1Nr5
Postlast_is_1Nr4
Postlast_is_1Nr3
Postlast_is_1Nr2
Postlast_is_1Nr1
Inlast_is_1
PreInlast_is_1
Inidle2
idle2
last_is_1S60
last_is_1S61
last_is_0S74
last_is_0S75
sender
InwaitingZero
InzeroSent
InwaitingOne
InoneSent
Inidle
idleS79
idleS80
oneSentS82
oneSentS83
oneSentS84
oneSentS85
waitingOneS87
waitingOneS88
waitingOneS89
zeroSentS91
zeroSentS92
zeroSentS93
zeroSentS94
waitingZeroS96
waitingZeroS97
waitingZeroS98
random
ran
system multAsapWatchergetup, GWlast_is_0getup, GWlast_is_1getup, EWup, checkOutput, receiver, sender, random;