51_00_os.hex

实时系统的正确性不仅依耐系统计算的逻辑结果

:0A0A55003F065B4F666D7D077F6F63
:06002400013000011B1475
:1002C400E4F513F512F511F510F517F516F515F516
:1002D40014853718AF37EF651860F9853718AF37CD
:1002E400C3EF9518C394644023E5139517FFE512F3
:1002F4009516FEE5119515FDE5109514FCAB13AAB2
:1003040012A911A8101200CD8F198017E51324012A
:10031400F513E43512F512E43511F511E43510F551
:100324001080BBE4F519E51975F005A42447F8E439
:10033400F60519E519B404EEAF37C3EF9518C39465
:1003440064406CE47B64FAF9F8AF13AE12AD11ACFF
:10035400101200CDA804A905AA06AB07C3E513959E
:1003640017FFE5129516FEE5119515FDE510951498
:10037400FC1200CD8F19E530601DAF30EF75F0052C
:10038400A42449F8E6F8A619AF30EF75F005A424C3
:1003940047F8E4F6120640E4F517F516F515F514DA
:1003A400853718AF37EF651860F98537188089E508
:1003B400172401F517E43516F516E43515F515E49B
:0703C4003514F51402033C9F
:10000300120971AF25120A5FAF24120A5FAF2312E0
:100013000A5FAF22120A5F120A237F281208CC80DC
:01002300DFFD
:1001B40075A001AE28AF297C007D0A12005B74553E
:1001C4002FF582740A3EF583E493F5807F021208CA
:1001D400CC75A002AE28AF297C007D0A12005B74A6
:1001E400552DF582740A3CF583E493F5807F021261
:1001F40008CC75A004AE2AAF2B7C007D0A12005BEC
:1002040074552FF582740A3EF583E493F5807F02DA
:100214001208CC75A008AE2AAF2B7C007D0A120010
:100224005B74552DF582740A3CF583E493F5807F65
:10023400021208CC75A010AE2CAF2D7C007D0A12E2
:10024400005B74552FF582740A3EF583E493F580C0
:100254007F021208CC75A020AE2CAF2D7C007D0A45
:1002640012005B74552DF582740A3CF583E493F512
:10027400807F021208CC75A040AE2EAF2F7C007D8B
:100284000A12005B74552FF582740A3EF583E493D9
:10029400F5807F021208CC75A080AE2EAF2F7C00B3
:1002A4007D0A12005B74552DF582740A3CF583E4D3
:1002B40093F5807F021208CCE4F580F5A00201B426
:1007D200E590540FF54460F87F961208CCE544B4D6
:1007E2000E0D751C01E590540FFFBF0EE380F6E578
:1007F20044B40D0D751C02E590540FFFBF0DD1805E
:10080200F6E544B40B0D751C03E590540FFFBF0BC6
:10081200BF80F6E544B4070D751C04E590540F64DF
:0A0822000770AD80F6E4F51C80A617
:10076000E51C60FCB40117E4F51C0529E5297002BD
:1007700005286464452870E8F528F52980E2E51C21
:10078000B40217E4F51C052BE52B7002052A6464FE
:10079000452A70CCF52AF52B80C6E51CB40317E476
:1007A000F51C052DE52D7002052C6464452C70B0F8
:1007B000F52CF52D80AAE51CB404A5E4F51C052F45
:1007C000E52F7002052E6464452E7094F528F529F6
:0207D000808E19
:10082C00C2AFD2ADE4F5C8F5C975CBF575CAEEF516
:10083C002EF52FF52CF52DF52AF52BF528F529128B
:10084C0009EC120A497C027DC4E4FB7FFF1203CB46
:10085C007C077DD2E4FB7F021203CB7C077D60E436
:10086C00FB7F011203CB7C017DB47B27E4FF1203D9
:04087C00CB0209CBD7
:10090F00C2AF0538E539700DE538C394014021D5E4
:10091F00381ED2AF22AF39EF75F005A42447F87611
:10092F0001E538C394014005D53802D2AF12064015
:01093F002295
:1008CC00EF603FC2AF0538E5397010E538C39401CD
:1008DC0040301538E538702AD2AF22AE39EE75F0BB
:1008EC0005A42447F87601AE39EE75F005A424482A
:1008FC00F8A607E538C394014005D53802D2AF12EB
:03090C0006402280
:100880008F40E540700612090F7F0122AF40120829
:10089000CCC2AF0538AF39EF75F005A42448F8E6AF
:1008A000700FE538C394014005D53802D2AF7F0000
:1008B00022AF39EF75F005A42448F8E4F6E538C313
:0C08C00094014005D53802D2AF7F012220
:0C0A4900E4F53AF536F537F535F53822BE
:0203CB00AA077F
:1003CD00C2AF0538E4F532F53174017E00A831086D
:1003DD008005C333CE33CED8F9FFA935E9F582EFC9
:1003ED0055827016853133AF3104A807088002C3DA
:1003FD0033D8FC423575320180070531E531B4043F
:10040D00C8E5327011E538C394014005D53802D2E4
:10041D00AF7E017F0022E53375F01AA42459F5341F
:10042D00E4F531E5342531F8E4F60531E531B41A5A
:10043D00F2E53375F005A42445F8A634AF05A834CC
:10044D00A607E53375F005A42445F806AF04E53499
:10045D0004F8A607E53375F005A42445F8740D26B8
:10046D00F6E53375F005A42446F8A602E53375F0DC
:10047D0005A42448F8E4F6AF03E53375F005A4248C
:10048D0049F8A607E53A600DE53375F005A4244754
:10049D00F8E4F6800EE53375F005A42447F87601EF
:1004AD00853339E538C394014005D53802D2AFAF55
:0304BD00337E008B
:0104C0002219
:0E0A3B008F41120A0AE541B53003E4F530227E
:1005A8008F42C2AF0538E5427015E538C394014063
:1005B80005D53802D2AFE42542FFE43403FE22E534
:1005C80042C39404400DE53894014063D53802D203
:1005D800AF805C74017E00A842088005C333CE3327
:1005E800CED8F9FFAD35EF5D6039E54275F005A469
:1005F8002447F87601AF427401A807088002C33384
:10060800D8FCF45235AF42120A3BE538C394014096
:1006180005D53802D2AFE542B53903120640AF42DC
:100628007E0022E538C394014005D53802D2AFE4F4
:080638002542FFE43402FE221A
:1009CB00AF39EF75F005A42445F874F326F6AF396B
:1009DB00EF75F005A42445F8E6F581D2CAD2AF80B5
:0109EB00FE0D
:10064000C2AFC0E0C0F0C0D0C082C083C000C00153
:10065000C002C003C004C005C006C007AF39EF75B3
:10066000F005A42445F8A681E4F539753F01F53E6F
:10067000E535553F6027E53E75F005A42447F8E6CB
:10068000701BAF39EF75F005A42446F9E53E75F00F
:1006900005A42446F8E6C3975003853E39E53F2577
:1006A000E0F53F053EE53EB404C6AF39EF75F00511
:1006B000A42445F8E6F581D007D006D005D004D0B3
:1006C00003D002D001D000D083D082D0D0D0F0D0DF
:0406D000E0D2AF22A3
:03002B000204C10B
:1004C100C0E0C0F0C0D075D008C2AFC082C083C048
:1004D10000C001C002C003C004C005C006C007C2FD
:1004E100CFE53A7023158115817F01E58124F52F30
:1004F100F8E6FEE58124F32FF8A60E0FBF0EEC758A
:100501003A017536007537000537E5377002053653
:10051100AF39EF75F005A42445F8A6817539007E41
:10052100017F00E5355E604DEF75F005A42448F8C4
:10053100E6601EEF75F005A42448F816EF75F00586
:10054100A42448F8E6700AEF75F005A42447F8766C
:1005510000EF75F005A42447F8E67019AD39ED7583
:10056100F005A42446F9EF75F005A42446F8E6C386
:100571009750028F39EE25E0FE0FBF04A6AE39EE8B
:1005810075F005A42445F8E6F581D007D006D0051D
:10059100D004D003D002D001D000D083D082D2AF1A
:0705A100D0D0D0F0D0E03211
:1009EC00E589540F4420F589759850C2AC43878033
:0E09FC00758DF4758BF4D28ED29CE4F54322F7
:080A5F00C2998F993099FD2224
:10099F00C2AF0538309811AF99C298E538C39401AA
:1009AF004019D53802D2AF22E538C394014005D59E
:0B09BF003802D2AF7F011208CC80D5B7
:0109CA00220A
:060940008B3B8A3C893D5F
:10094600E4FFAB3BAA3CA93D8F8275830012002EC3
:10095600FE600AC299F5993099FD0F80E5ED600AAF
:0A0966007F0D120A5F7F0A120A5F7C
:010970002264
:10097100C2AF0538E5437012E53904F543E538C3E4
:1009810094014019D53816D2AF22E538C3940140FD
:0E09910005D53802D2AF7F011208CC80D322E8
:100A2300C2AF0538E4F543E538C394014005D53832
:080A330002D2AF7F010208CCE2
:100A0A00EF2401FDE433FCE543B5050AE4B5040629
:090A1A00F543EF04FF227F0022E6
:030000000206D421
:0C06D400787FE4F6D8FD7581C002071B9A
:10002E00BB010CE58229F582E5833AF583E0225087
:10003E0006E92582F8E622BBFE06E92582F8E222D1
:0D004E00E58229F582E5833AF583E49322EB
:10005B00C2D5EC30E709B2D5E4C39DFDE49CFCEEC0
:10006B0030E715B2D5E4C39FFFE49EFE12015FC3D8
:10007B00E49DFDE49CFC800312015F30D507C3E4D3
:06008B009FFFE49EFE222F
:1000910075F008758200EF2FFFEE33FECD33CDCC26
:1000A10033CCC58233C5829BED9AEC99E5829840A9
:1000B1000CF582EE9BFEED9AFDEC99FC0FD5F0D686
:1000C100E4CEFBE4CDFAE4CCF9A88222B800C1B9B0
:1000D1000059BA002DEC8BF084CFCECDFCE5F0CBEE
:1000E100F97818EF2FFFEE33FEED33FDEC33FCEB27
:1000F10033FB10D703994004EB99FB0FD8E5E4F9E2
:10010100FA227818EF2FFFEE33FEED33FDEC33FCCE
:10011100C933C910D7059BE99A4007EC9BFCE99AC2
:10012100F90FD8E0E4C9FAE4CCFB2275F010EF2F07
:10013100FFEE33FEED33FDCC33CCC833C810D70707
:100141009BEC9AE899400AED9BFDEC9AFCE899F842
:0E0151000FD5F0DAE4CDFBE4CCFAE4C8F922D5
:1006E00002082CE493A3F8E493A34003F68001F2FC
:1006F00008DFF48029E493A3F85407240CC8C3331B
:10070000C4540F4420C8834004F456800146F6DFE9
:10071000E4800B0102040810204080900024E47E55
:10072000019360BCA3FF543F30E509541FFEE493DE
:10073000A360010ECF54C025E060A840B8E493A3A5
:10074000FAE493A3F8E493A3C8C582C8CAC583CAD0
:10075000F0A3C8C582C8CAC583CADFE9DEE780BE88
:01002A0000D5
:10015F00BC000BBE0029EF8DF084FFADF022E4CC84
:10016F00F875F008EF2FFFEE33FEEC33FCEE9DEC4D
:10017F00984005FCEE9DFE0FD5F0E9E4CEFD22ED93
:10018F00F8F5F0EE8420D21CFEADF075F008EF2FDD
:10019F00FFED33FD4007985006D5F0F222C398FDCE
:0501AF000FD5F0EA226B
:00000001FF