// File: DoubleString[P]RtConverter/src/Rtklib/rtcm3e.cpp
// Function: bamboo::encode_rtcm3(bamboo::rtcm_t*, int, int)
extern int encode_rtcm3(rtcm_t *rtcm, int type, int sync)
{
    int ret=0;
    
    trace(3,"encode_rtcm3: type=%d sync=%d\n",type,sync);
    
    switch (type) {
        case 1001: ret=encode_type1001(rtcm,sync);     break;
        case 1002: ret=encode_type1002(rtcm,sync);     break;
        case 1003: ret=encode_type1003(rtcm,sync);     break;
        case 1004: ret=encode_type1004(rtcm,sync);     break;
        case 1005: ret=encode_type1005(rtcm,sync);     break;
        case 1006: ret=encode_type1006(rtcm,sync);     break;
        case 1007: ret=encode_type1007(rtcm,sync);     break;
        case 1008: ret=encode_type1008(rtcm,sync);     break;
        case 1009: ret=encode_type1009(rtcm,sync);     break;
        case 1010: ret=encode_type1010(rtcm,sync);     break;
        case 1011: ret=encode_type1011(rtcm,sync);     break;
        case 1012: ret=encode_type1012(rtcm,sync);     break;
        case 1019: ret=encode_type1019(rtcm,sync);     break;
        case 1020: ret=encode_type1020(rtcm,sync);     break;
        case 1033: ret=encode_type1033(rtcm,sync);     break;
        case 1042: ret=encode_type1042(rtcm,sync);     break;
        case 1044: ret=encode_type1044(rtcm,sync);     break;
        case 1045: ret=encode_type1045(rtcm,sync);     break;
        case 1046: ret=encode_type1046(rtcm,sync);     break;
        case   63: ret=encode_type63  (rtcm,sync);     break; /* draft */
        case 1057: ret=encode_ssr1(rtcm,SYS_GPS,sync); break;
        case 1058: ret=encode_ssr2(rtcm,SYS_GPS,sync); break;
        case 1059: ret=encode_ssr3(rtcm,SYS_GPS,sync); break;
        case 1060: ret=encode_ssr4(rtcm,SYS_GPS,sync); break;
        case 1061: ret=encode_ssr5(rtcm,SYS_GPS,sync); break;
        case 1062: ret=encode_ssr6(rtcm,SYS_GPS,sync); break;
        case 1063: ret=encode_ssr1(rtcm,SYS_GLO,sync); break;
        case 1064: ret=encode_ssr2(rtcm,SYS_GLO,sync); break;
        case 1065: ret=encode_ssr3(rtcm,SYS_GLO,sync); break;
        case 1066: ret=encode_ssr4(rtcm,SYS_GLO,sync); break;
        case 1067: ret=encode_ssr5(rtcm,SYS_GLO,sync); break;
        case 1068: ret=encode_ssr6(rtcm,SYS_GLO,sync); break;
        case 1071: ret=encode_msm1(rtcm,SYS_GPS,sync); break;
        case 1072: ret=encode_msm2(rtcm,SYS_GPS,sync); break;
        case 1073: ret=encode_msm3(rtcm,SYS_GPS,sync); break;
        case 1074: ret=encode_msm4(rtcm,SYS_GPS,sync); break;
        case 1075: ret=encode_msm5(rtcm,SYS_GPS,sync); break;
        case 1076: ret=encode_msm6(rtcm,SYS_GPS,sync); break;
        case 1077: ret=encode_msm7(rtcm,SYS_GPS,sync); break;
        case 1081: ret=encode_msm1(rtcm,SYS_GLO,sync); break;
        case 1082: ret=encode_msm2(rtcm,SYS_GLO,sync); break;
        case 1083: ret=encode_msm3(rtcm,SYS_GLO,sync); break;
        case 1084: ret=encode_msm4(rtcm,SYS_GLO,sync); break;
        case 1085: ret=encode_msm5(rtcm,SYS_GLO,sync); break;
        case 1086: ret=encode_msm6(rtcm,SYS_GLO,sync); break;
        case 1087: ret=encode_msm7(rtcm,SYS_GLO,sync); break;
        case 1091: ret=encode_msm1(rtcm,SYS_GAL,sync); break;
        case 1092: ret=encode_msm2(rtcm,SYS_GAL,sync); break;
        case 1093: ret=encode_msm3(rtcm,SYS_GAL,sync); break;
        case 1094: ret=encode_msm4(rtcm,SYS_GAL,sync); break;
        case 1095: ret=encode_msm5(rtcm,SYS_GAL,sync); break;
        case 1096: ret=encode_msm6(rtcm,SYS_GAL,sync); break;
        case 1097: ret=encode_msm7(rtcm,SYS_GAL,sync); break;
        case 1101: ret=encode_msm1(rtcm,SYS_SBS,sync); break;
        case 1102: ret=encode_msm2(rtcm,SYS_SBS,sync); break;
        case 1103: ret=encode_msm3(rtcm,SYS_SBS,sync); break;
        case 1104: ret=encode_msm4(rtcm,SYS_SBS,sync); break;
        case 1105: ret=encode_msm5(rtcm,SYS_SBS,sync); break;
        case 1106: ret=encode_msm6(rtcm,SYS_SBS,sync); break;
        case 1107: ret=encode_msm7(rtcm,SYS_SBS,sync); break;
        case 1111: ret=encode_msm1(rtcm,SYS_QZS,sync); break;
        case 1112: ret=encode_msm2(rtcm,SYS_QZS,sync); break;
        case 1113: ret=encode_msm3(rtcm,SYS_QZS,sync); break;
        case 1114: ret=encode_msm4(rtcm,SYS_QZS,sync); break;
        case 1115: ret=encode_msm5(rtcm,SYS_QZS,sync); break;
        case 1116: ret=encode_msm6(rtcm,SYS_QZS,sync); break;
        case 1117: ret=encode_msm7(rtcm,SYS_QZS,sync); break;
        case 1121: ret=encode_msm1(rtcm,SYS_CMP,sync); break;
        case 1122: ret=encode_msm2(rtcm,SYS_CMP,sync); break;
        case 1123: ret=encode_msm3(rtcm,SYS_CMP,sync); break;
        case 1124: ret=encode_msm4(rtcm,SYS_CMP,sync); break;
        case 1125: ret=encode_msm5(rtcm,SYS_CMP,sync); break;
        case 1126: ret=encode_msm6(rtcm,SYS_CMP,sync); break;
        case 1127: ret=encode_msm7(rtcm,SYS_CMP,sync); break;
        case 1240: ret=encode_ssr1(rtcm,SYS_GAL,sync); break;
        case 1241: ret=encode_ssr2(rtcm,SYS_GAL,sync); break;
        case 1242: ret=encode_ssr3(rtcm,SYS_GAL,sync); break;
        case 1243: ret=encode_ssr4(rtcm,SYS_GAL,sync); break;
        case 1244: ret=encode_ssr5(rtcm,SYS_GAL,sync); break;
        case 1245: ret=encode_ssr6(rtcm,SYS_GAL,sync); break;
        case 1246: ret=encode_ssr1(rtcm,SYS_QZS,sync); break;
        case 1247: ret=encode_ssr2(rtcm,SYS_QZS,sync); break;
        case 1248: ret=encode_ssr3(rtcm,SYS_QZS,sync); break;
        case 1249: ret=encode_ssr4(rtcm,SYS_QZS,sync); break;
        case 1250: ret=encode_ssr5(rtcm,SYS_QZS,sync); break;
        case 1251: ret=encode_ssr6(rtcm,SYS_QZS,sync); break;
        case 1252: ret=encode_ssr1(rtcm,SYS_SBS,sync); break;
        case 1253: ret=encode_ssr2(rtcm,SYS_SBS,sync); break;
        case 1254: ret=encode_ssr3(rtcm,SYS_SBS,sync); break;
        case 1255: ret=encode_ssr4(rtcm,SYS_SBS,sync); break;
        case 1256: ret=encode_ssr5(rtcm,SYS_SBS,sync); break;
        case 1257: ret=encode_ssr6(rtcm,SYS_SBS,sync); break;
        case 1258: ret=encode_ssr1(rtcm,SYS_CMP,sync); break;
        case 1259: ret=encode_ssr2(rtcm,SYS_CMP,sync); break;
        case 1260: ret=encode_ssr3(rtcm,SYS_CMP,sync); break;
        case 1261: ret=encode_ssr4(rtcm,SYS_CMP,sync); break;
        case 1262: ret=encode_ssr5(rtcm,SYS_CMP,sync); break;
        case 1263: ret=encode_ssr6(rtcm,SYS_CMP,sync); break;
        case   11: ret=encode_ssr7(rtcm,SYS_GPS,sync); break; /* tentative */
        case   12: ret=encode_ssr7(rtcm,SYS_GAL,sync); break; /* tentative */
        case   13: ret=encode_ssr7(rtcm,SYS_QZS,sync); break; /* tentative */
        case   14: ret=encode_ssr7(rtcm,SYS_CMP,sync); break; /* tentative */
    }
    if (ret>0) {
        type-=1000;
        if      (   1<=type&&type<= 299) rtcm->nmsg3[type    ]++; /* 1001-1299 */
        else if (1000<=type&&type<=1099) rtcm->nmsg3[type-700]++; /* 2000-2099 */
        else rtcm->nmsg3[0]++;
    }
    return ret;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x20, %rsp
movq %rdi, -0x8(%rbp)
movl %esi, -0xc(%rbp)
movl %edx, -0x10(%rbp)
movl $0x0, -0x14(%rbp)
movl -0xc(%rbp), %edx
movl -0x10(%rbp), %ecx
leaq 0x459ba(%rip), %rsi     # 0xc2590
xorl %eax, %eax
movl $0x3, %edi
callq 0x8b980
movl -0xc(%rbp), %eax
movl %eax, -0x18(%rbp)
subl $0xb, %eax
je 0x7db66
jmp 0x7cbf3
movl -0x18(%rbp), %eax
subl $0xc, %eax
je 0x7db7c
jmp 0x7cc01
movl -0x18(%rbp), %eax
subl $0xd, %eax
je 0x7db92
jmp 0x7cc0f
movl -0x18(%rbp), %eax
subl $0xe, %eax
je 0x7dba8
jmp 0x7cc1d
movl -0x18(%rbp), %eax
subl $0x3f, %eax
je 0x7d3ba
jmp 0x7cc2b
movl -0x18(%rbp), %eax
subl $0x3e9, %eax            # imm = 0x3E9
je 0x7d23e
jmp 0x7cc3b
movl -0x18(%rbp), %eax
subl $0x3ea, %eax            # imm = 0x3EA
je 0x7d252
jmp 0x7cc4b
movl -0x18(%rbp), %eax
subl $0x3eb, %eax            # imm = 0x3EB
je 0x7d266
jmp 0x7cc5b
movl -0x18(%rbp), %eax
subl $0x3ec, %eax            # imm = 0x3EC
je 0x7d27a
jmp 0x7cc6b
movl -0x18(%rbp), %eax
subl $0x3ed, %eax            # imm = 0x3ED
je 0x7d28e
jmp 0x7cc7b
movl -0x18(%rbp), %eax
subl $0x3ee, %eax            # imm = 0x3EE
je 0x7d2a2
jmp 0x7cc8b
movl -0x18(%rbp), %eax
subl $0x3ef, %eax            # imm = 0x3EF
je 0x7d2b6
jmp 0x7cc9b
movl -0x18(%rbp), %eax
subl $0x3f0, %eax            # imm = 0x3F0
je 0x7d2ca
jmp 0x7ccab
movl -0x18(%rbp), %eax
subl $0x3f1, %eax            # imm = 0x3F1
je 0x7d2de
jmp 0x7ccbb
movl -0x18(%rbp), %eax
subl $0x3f2, %eax            # imm = 0x3F2
je 0x7d2f2
jmp 0x7cccb
movl -0x18(%rbp), %eax
subl $0x3f3, %eax            # imm = 0x3F3
je 0x7d306
jmp 0x7ccdb
movl -0x18(%rbp), %eax
subl $0x3f4, %eax            # imm = 0x3F4
je 0x7d31a
jmp 0x7cceb
movl -0x18(%rbp), %eax
subl $0x3fb, %eax            # imm = 0x3FB
je 0x7d32e
jmp 0x7ccfb
movl -0x18(%rbp), %eax
subl $0x3fc, %eax            # imm = 0x3FC
je 0x7d342
jmp 0x7cd0b
movl -0x18(%rbp), %eax
subl $0x409, %eax            # imm = 0x409
je 0x7d356
jmp 0x7cd1b
movl -0x18(%rbp), %eax
subl $0x412, %eax            # imm = 0x412
je 0x7d36a
jmp 0x7cd2b
movl -0x18(%rbp), %eax
subl $0x414, %eax            # imm = 0x414
je 0x7d37e
jmp 0x7cd3b
movl -0x18(%rbp), %eax
subl $0x415, %eax            # imm = 0x415
je 0x7d392
jmp 0x7cd4b
movl -0x18(%rbp), %eax
subl $0x416, %eax            # imm = 0x416
je 0x7d3a6
jmp 0x7cd5b
movl -0x18(%rbp), %eax
subl $0x421, %eax            # imm = 0x421
je 0x7d3ce
jmp 0x7cd6b
movl -0x18(%rbp), %eax
subl $0x422, %eax            # imm = 0x422
je 0x7d3e7
jmp 0x7cd7b
movl -0x18(%rbp), %eax
subl $0x423, %eax            # imm = 0x423
je 0x7d400
jmp 0x7cd8b
movl -0x18(%rbp), %eax
subl $0x424, %eax            # imm = 0x424
je 0x7d419
jmp 0x7cd9b
movl -0x18(%rbp), %eax
subl $0x425, %eax            # imm = 0x425
je 0x7d432
jmp 0x7cdab
movl -0x18(%rbp), %eax
subl $0x426, %eax            # imm = 0x426
je 0x7d44b
jmp 0x7cdbb
movl -0x18(%rbp), %eax
subl $0x427, %eax            # imm = 0x427
je 0x7d464
jmp 0x7cdcb
movl -0x18(%rbp), %eax
subl $0x428, %eax            # imm = 0x428
je 0x7d47d
jmp 0x7cddb
movl -0x18(%rbp), %eax
subl $0x429, %eax            # imm = 0x429
je 0x7d496
jmp 0x7cdeb
movl -0x18(%rbp), %eax
subl $0x42a, %eax            # imm = 0x42A
je 0x7d4af
jmp 0x7cdfb
movl -0x18(%rbp), %eax
subl $0x42b, %eax            # imm = 0x42B
je 0x7d4c8
jmp 0x7ce0b
movl -0x18(%rbp), %eax
subl $0x42c, %eax            # imm = 0x42C
je 0x7d4e1
jmp 0x7ce1b
movl -0x18(%rbp), %eax
subl $0x42f, %eax            # imm = 0x42F
je 0x7d4fa
jmp 0x7ce2b
movl -0x18(%rbp), %eax
subl $0x430, %eax            # imm = 0x430
je 0x7d513
jmp 0x7ce3b
movl -0x18(%rbp), %eax
subl $0x431, %eax            # imm = 0x431
je 0x7d52c
jmp 0x7ce4b
movl -0x18(%rbp), %eax
subl $0x432, %eax            # imm = 0x432
je 0x7d545
jmp 0x7ce5b
movl -0x18(%rbp), %eax
subl $0x433, %eax            # imm = 0x433
je 0x7d55e
jmp 0x7ce6b
movl -0x18(%rbp), %eax
subl $0x434, %eax            # imm = 0x434
je 0x7d577
jmp 0x7ce7b
movl -0x18(%rbp), %eax
subl $0x435, %eax            # imm = 0x435
je 0x7d590
jmp 0x7ce8b
movl -0x18(%rbp), %eax
subl $0x439, %eax            # imm = 0x439
je 0x7d5a9
jmp 0x7ce9b
movl -0x18(%rbp), %eax
subl $0x43a, %eax            # imm = 0x43A
je 0x7d5c2
jmp 0x7ceab
movl -0x18(%rbp), %eax
subl $0x43b, %eax            # imm = 0x43B
je 0x7d5db
jmp 0x7cebb
movl -0x18(%rbp), %eax
subl $0x43c, %eax            # imm = 0x43C
je 0x7d5f4
jmp 0x7cecb
movl -0x18(%rbp), %eax
subl $0x43d, %eax            # imm = 0x43D
je 0x7d60d
jmp 0x7cedb
movl -0x18(%rbp), %eax
subl $0x43e, %eax            # imm = 0x43E
je 0x7d626
jmp 0x7ceeb
movl -0x18(%rbp), %eax
subl $0x43f, %eax            # imm = 0x43F
je 0x7d63f
jmp 0x7cefb
movl -0x18(%rbp), %eax
subl $0x443, %eax            # imm = 0x443
je 0x7d658
jmp 0x7cf0b
movl -0x18(%rbp), %eax
subl $0x444, %eax            # imm = 0x444
je 0x7d671
jmp 0x7cf1b
movl -0x18(%rbp), %eax
subl $0x445, %eax            # imm = 0x445
je 0x7d68a
jmp 0x7cf2b
movl -0x18(%rbp), %eax
subl $0x446, %eax            # imm = 0x446
je 0x7d6a3
jmp 0x7cf3b
movl -0x18(%rbp), %eax
subl $0x447, %eax            # imm = 0x447
je 0x7d6bc
jmp 0x7cf4b
movl -0x18(%rbp), %eax
subl $0x448, %eax            # imm = 0x448
je 0x7d6d5
jmp 0x7cf5b
movl -0x18(%rbp), %eax
subl $0x449, %eax            # imm = 0x449
je 0x7d6ee
jmp 0x7cf6b
movl -0x18(%rbp), %eax
subl $0x44d, %eax            # imm = 0x44D
je 0x7d707
jmp 0x7cf7b
movl -0x18(%rbp), %eax
subl $0x44e, %eax            # imm = 0x44E
je 0x7d720
jmp 0x7cf8b
movl -0x18(%rbp), %eax
subl $0x44f, %eax            # imm = 0x44F
je 0x7d739
jmp 0x7cf9b
movl -0x18(%rbp), %eax
subl $0x450, %eax            # imm = 0x450
je 0x7d752
jmp 0x7cfab
movl -0x18(%rbp), %eax
subl $0x451, %eax            # imm = 0x451
je 0x7d76b
jmp 0x7cfbb
movl -0x18(%rbp), %eax
subl $0x452, %eax            # imm = 0x452
je 0x7d784
jmp 0x7cfcb
movl -0x18(%rbp), %eax
subl $0x453, %eax            # imm = 0x453
je 0x7d79d
jmp 0x7cfdb
movl -0x18(%rbp), %eax
subl $0x457, %eax            # imm = 0x457
je 0x7d7b6
jmp 0x7cfeb
movl -0x18(%rbp), %eax
subl $0x458, %eax            # imm = 0x458
je 0x7d7cf
jmp 0x7cffb
movl -0x18(%rbp), %eax
subl $0x459, %eax            # imm = 0x459
je 0x7d7e8
jmp 0x7d00b
movl -0x18(%rbp), %eax
subl $0x45a, %eax            # imm = 0x45A
je 0x7d801
jmp 0x7d01b
movl -0x18(%rbp), %eax
subl $0x45b, %eax            # imm = 0x45B
je 0x7d81a
jmp 0x7d02b
movl -0x18(%rbp), %eax
subl $0x45c, %eax            # imm = 0x45C
je 0x7d833
jmp 0x7d03b
movl -0x18(%rbp), %eax
subl $0x45d, %eax            # imm = 0x45D
je 0x7d84c
jmp 0x7d04b
movl -0x18(%rbp), %eax
subl $0x461, %eax            # imm = 0x461
je 0x7d865
jmp 0x7d05b
movl -0x18(%rbp), %eax
subl $0x462, %eax            # imm = 0x462
je 0x7d87e
jmp 0x7d06b
movl -0x18(%rbp), %eax
subl $0x463, %eax            # imm = 0x463
je 0x7d897
jmp 0x7d07b
movl -0x18(%rbp), %eax
subl $0x464, %eax            # imm = 0x464
je 0x7d8b0
jmp 0x7d08b
movl -0x18(%rbp), %eax
subl $0x465, %eax            # imm = 0x465
je 0x7d8c9
jmp 0x7d09b
movl -0x18(%rbp), %eax
subl $0x466, %eax            # imm = 0x466
je 0x7d8e2
jmp 0x7d0ab
movl -0x18(%rbp), %eax
subl $0x467, %eax            # imm = 0x467
je 0x7d8fb
jmp 0x7d0bb
movl -0x18(%rbp), %eax
subl $0x4d8, %eax            # imm = 0x4D8
je 0x7d914
jmp 0x7d0cb
movl -0x18(%rbp), %eax
subl $0x4d9, %eax            # imm = 0x4D9
je 0x7d92d
jmp 0x7d0db
movl -0x18(%rbp), %eax
subl $0x4da, %eax            # imm = 0x4DA
je 0x7d946
jmp 0x7d0eb
movl -0x18(%rbp), %eax
subl $0x4db, %eax            # imm = 0x4DB
je 0x7d95f
jmp 0x7d0fb
movl -0x18(%rbp), %eax
subl $0x4dc, %eax            # imm = 0x4DC
je 0x7d978
jmp 0x7d10b
movl -0x18(%rbp), %eax
subl $0x4dd, %eax            # imm = 0x4DD
je 0x7d991
jmp 0x7d11b
movl -0x18(%rbp), %eax
subl $0x4de, %eax            # imm = 0x4DE
je 0x7d9aa
jmp 0x7d12b
movl -0x18(%rbp), %eax
subl $0x4df, %eax            # imm = 0x4DF
je 0x7d9c3
jmp 0x7d13b
movl -0x18(%rbp), %eax
subl $0x4e0, %eax            # imm = 0x4E0
je 0x7d9dc
jmp 0x7d14b
movl -0x18(%rbp), %eax
subl $0x4e1, %eax            # imm = 0x4E1
je 0x7d9f5
jmp 0x7d15b
movl -0x18(%rbp), %eax
subl $0x4e2, %eax            # imm = 0x4E2
je 0x7da0e
jmp 0x7d16b
movl -0x18(%rbp), %eax
subl $0x4e3, %eax            # imm = 0x4E3
je 0x7da27
jmp 0x7d17b
movl -0x18(%rbp), %eax
subl $0x4e4, %eax            # imm = 0x4E4
je 0x7da40
jmp 0x7d18b
movl -0x18(%rbp), %eax
subl $0x4e5, %eax            # imm = 0x4E5
je 0x7da59
jmp 0x7d19b
movl -0x18(%rbp), %eax
subl $0x4e6, %eax            # imm = 0x4E6
je 0x7da72
jmp 0x7d1ab
movl -0x18(%rbp), %eax
subl $0x4e7, %eax            # imm = 0x4E7
je 0x7da8b
jmp 0x7d1bb
movl -0x18(%rbp), %eax
subl $0x4e8, %eax            # imm = 0x4E8
je 0x7daa4
jmp 0x7d1cb
movl -0x18(%rbp), %eax
subl $0x4e9, %eax            # imm = 0x4E9
je 0x7dabd
jmp 0x7d1db
movl -0x18(%rbp), %eax
subl $0x4ea, %eax            # imm = 0x4EA
je 0x7dad6
jmp 0x7d1eb
movl -0x18(%rbp), %eax
subl $0x4eb, %eax            # imm = 0x4EB
je 0x7daef
jmp 0x7d1fb
movl -0x18(%rbp), %eax
subl $0x4ec, %eax            # imm = 0x4EC
je 0x7db08
jmp 0x7d20b
movl -0x18(%rbp), %eax
subl $0x4ed, %eax            # imm = 0x4ED
je 0x7db21
jmp 0x7d21b
movl -0x18(%rbp), %eax
subl $0x4ee, %eax            # imm = 0x4EE
je 0x7db3a
jmp 0x7d22b
movl -0x18(%rbp), %eax
subl $0x4ef, %eax            # imm = 0x4EF
je 0x7db50
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %esi
callq 0x7dc60
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %esi
callq 0x7ded0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %esi
callq 0x7e190
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %esi
callq 0x7e4a0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %esi
callq 0x7e820
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %esi
callq 0x7ea70
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %esi
callq 0x7ed70
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %esi
callq 0x7eef0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %esi
callq 0x7f130
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %esi
callq 0x7f3d0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %esi
callq 0x7f6d0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %esi
callq 0x7fa20
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %esi
callq 0x7fde0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %esi
callq 0x807b0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %esi
callq 0x811e0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %esi
callq 0x81650
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %esi
callq 0x82010
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %esi
callq 0x829d0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %esi
callq 0x833a0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %esi
callq 0x83df0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x1, %esi
callq 0x847b0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x1, %esi
callq 0x84d90
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x1, %esi
callq 0x85140
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x1, %esi
callq 0x855a0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x1, %esi
callq 0x85cb0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x1, %esi
callq 0x85f50
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x4, %esi
callq 0x847b0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x4, %esi
callq 0x84d90
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x4, %esi
callq 0x85140
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x4, %esi
callq 0x855a0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x4, %esi
callq 0x85cb0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x4, %esi
callq 0x85f50
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x1, %esi
callq 0x86210
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x1, %esi
callq 0x86340
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x1, %esi
callq 0x864c0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x1, %esi
callq 0x86670
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x1, %esi
callq 0x86870
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x1, %esi
callq 0x86ae0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x1, %esi
callq 0x86ce0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x4, %esi
callq 0x86210
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x4, %esi
callq 0x86340
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x4, %esi
callq 0x864c0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x4, %esi
callq 0x86670
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x4, %esi
callq 0x86870
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x4, %esi
callq 0x86ae0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x4, %esi
callq 0x86ce0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x8, %esi
callq 0x86210
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x8, %esi
callq 0x86340
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x8, %esi
callq 0x864c0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x8, %esi
callq 0x86670
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x8, %esi
callq 0x86870
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x8, %esi
callq 0x86ae0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x8, %esi
callq 0x86ce0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x2, %esi
callq 0x86210
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x2, %esi
callq 0x86340
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x2, %esi
callq 0x864c0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x2, %esi
callq 0x86670
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x2, %esi
callq 0x86870
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x2, %esi
callq 0x86ae0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x2, %esi
callq 0x86ce0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x10, %esi
callq 0x86210
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x10, %esi
callq 0x86340
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x10, %esi
callq 0x864c0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x10, %esi
callq 0x86670
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x10, %esi
callq 0x86870
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x10, %esi
callq 0x86ae0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x10, %esi
callq 0x86ce0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x20, %esi
callq 0x86210
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x20, %esi
callq 0x86340
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x20, %esi
callq 0x864c0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x20, %esi
callq 0x86670
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x20, %esi
callq 0x86870
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x20, %esi
callq 0x86ae0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x20, %esi
callq 0x86ce0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x8, %esi
callq 0x847b0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x8, %esi
callq 0x84d90
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x8, %esi
callq 0x85140
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x8, %esi
callq 0x855a0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x8, %esi
callq 0x85cb0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x8, %esi
callq 0x85f50
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x10, %esi
callq 0x847b0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x10, %esi
callq 0x84d90
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x10, %esi
callq 0x85140
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x10, %esi
callq 0x855a0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x10, %esi
callq 0x85cb0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x10, %esi
callq 0x85f50
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x2, %esi
callq 0x847b0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x2, %esi
callq 0x84d90
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x2, %esi
callq 0x85140
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x2, %esi
callq 0x855a0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x2, %esi
callq 0x85cb0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x2, %esi
callq 0x85f50
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x20, %esi
callq 0x847b0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x20, %esi
callq 0x84d90
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x20, %esi
callq 0x85140
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x20, %esi
callq 0x855a0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x20, %esi
callq 0x85cb0
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x20, %esi
callq 0x85f50
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x1, %esi
callq 0x86f50
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x8, %esi
callq 0x86f50
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x10, %esi
callq 0x86f50
movl %eax, -0x14(%rbp)
jmp 0x7dbbc
movq -0x8(%rbp), %rdi
movl -0x10(%rbp), %edx
movl $0x20, %esi
callq 0x86f50
movl %eax, -0x14(%rbp)
cmpl $0x0, -0x14(%rbp)
jle 0x7dc4c
movl -0xc(%rbp), %eax
subl $0x3e8, %eax            # imm = 0x3E8
movl %eax, -0xc(%rbp)
movl $0x1, %eax
cmpl -0xc(%rbp), %eax
jg 0x7dbff
cmpl $0x12b, -0xc(%rbp)      # imm = 0x12B
jg 0x7dbff
movq -0x8(%rbp), %rax
movslq -0xc(%rbp), %rcx
movl 0x9f708(%rax,%rcx,4), %edx
addl $0x1, %edx
movl %edx, 0x9f708(%rax,%rcx,4)
jmp 0x7dc4a
movl $0x3e8, %eax            # imm = 0x3E8
cmpl -0xc(%rbp), %eax
jg 0x7dc35
cmpl $0x44b, -0xc(%rbp)      # imm = 0x44B
jg 0x7dc35
movq -0x8(%rbp), %rax
movl -0xc(%rbp), %ecx
subl $0x2bc, %ecx            # imm = 0x2BC
movslq %ecx, %rcx
movl 0x9f708(%rax,%rcx,4), %edx
addl $0x1, %edx
movl %edx, 0x9f708(%rax,%rcx,4)
jmp 0x7dc48
movq -0x8(%rbp), %rax
movl 0x9f708(%rax), %ecx
addl $0x1, %ecx
movl %ecx, 0x9f708(%rax)
jmp 0x7dc4a
jmp 0x7dc4c
movl -0x14(%rbp), %eax
addq $0x20, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)