csma256.cta

很好的一本书

                         TRANS { SYNC #begin56;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin57;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin58;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin59;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin60;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin61;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin62;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin63;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin64;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin65;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin66;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin67;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin68;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin69;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin70;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin71;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin72;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin73;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin74;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin75;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin76;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin77;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin78;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin79;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin80;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin81;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin82;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin83;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin84;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin85;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin86;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin87;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin88;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin89;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin90;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin91;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin92;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin93;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin94;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin95;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin96;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin97;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin98;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin99;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin100;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin101;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin102;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin103;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin104;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin105;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin106;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin107;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin108;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin109;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin110;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin111;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin112;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin113;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin114;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin115;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin116;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin117;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin118;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin119;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin120;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin121;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin122;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin123;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin124;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin125;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin126;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin127;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin128;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin129;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin130;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin131;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin132;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin133;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin134;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin135;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin136;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin137;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin138;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin139;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin140;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin141;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin142;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin143;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin144;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin145;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin146;
                                 DO x' = 0;
                                 GOTO transmit;
                               }