// File: DoubleString[P]RtConverter/src/Rtklib/rtcm3.cpp
// Function: bamboo::decode_rtcm3(bamboo::rtcm_t*)
extern int decode_rtcm3(rtcm_t *rtcm)
{
    double tow;
    int ret=0,type=getbitu(rtcm->buff,24,12),week;
    
    trace(3,"decode_rtcm3: len=%3d type=%d\n",rtcm->len,type);
    
    if (rtcm->outtype) {
        sprintf(rtcm->msgtype,"RTCM %4d (%4d):",type,rtcm->len);
    }
    /* real-time input option */
    if (strstr(rtcm->opt,"-RT_INP")) {
        tow=time2gpst(utc2gpst(timeget()),&week);
        rtcm->time=gpst2time(week,floor(tow));
    }
    switch (type) {
        case 1001: ret=decode_type1001(rtcm); break; /* not supported */
        case 1002: ret=decode_type1002(rtcm); break;
        case 1003: ret=decode_type1003(rtcm); break; /* not supported */
        case 1004: ret=decode_type1004(rtcm); break;
        case 1005: ret=decode_type1005(rtcm); break;
        case 1006: ret=decode_type1006(rtcm); break;
        case 1007: ret=decode_type1007(rtcm); break;
        case 1008: ret=decode_type1008(rtcm); break;
        case 1009: ret=decode_type1009(rtcm); break; /* not supported */
        case 1010: ret=decode_type1010(rtcm); break;
        case 1011: ret=decode_type1011(rtcm); break; /* not supported */
        case 1012: ret=decode_type1012(rtcm); break;
        case 1013: ret=decode_type1013(rtcm); break; /* not supported */
        case 1019: ret=decode_type1019(rtcm); break;
        case 1020: ret=decode_type1020(rtcm); break;
        case 1021: ret=decode_type1021(rtcm); break; /* not supported */
        case 1022: ret=decode_type1022(rtcm); break; /* not supported */
        case 1023: ret=decode_type1023(rtcm); break; /* not supported */
        case 1024: ret=decode_type1024(rtcm); break; /* not supported */
        case 1025: ret=decode_type1025(rtcm); break; /* not supported */
        case 1026: ret=decode_type1026(rtcm); break; /* not supported */
        case 1027: ret=decode_type1027(rtcm); break; /* not supported */
        case 1029: ret=decode_type1029(rtcm); break;
        case 1030: ret=decode_type1030(rtcm); break; /* not supported */
        case 1031: ret=decode_type1031(rtcm); break; /* not supported */
        case 1032: ret=decode_type1032(rtcm); break; /* not supported */
        case 1033: ret=decode_type1033(rtcm); break;
        case 1034: ret=decode_type1034(rtcm); break; /* not supported */
        case 1035: ret=decode_type1035(rtcm); break; /* not supported */
        case 1037: ret=decode_type1037(rtcm); break; /* not supported */
        case 1038: ret=decode_type1038(rtcm); break; /* not supported */
        case 1039: ret=decode_type1039(rtcm); break; /* not supported */
        case 1044: ret=decode_type1044(rtcm); break;
        case 1045: ret=decode_type1045(rtcm); break;
        case 1046: ret=decode_type1046(rtcm); break;
        case   63: ret=decode_type1042(rtcm); break; /* RTCM draft */
        case 1042: ret=decode_type1042(rtcm); break;
        case 1057: ret=decode_ssr1(rtcm,SYS_GPS); break;
        case 1058: ret=decode_ssr2(rtcm,SYS_GPS); break;
        case 1059: ret=decode_ssr3(rtcm,SYS_GPS); break;
        case 1060: ret=decode_ssr4(rtcm,SYS_GPS); break;
        case 1061: ret=decode_ssr5(rtcm,SYS_GPS); break;
        case 1062: ret=decode_ssr6(rtcm,SYS_GPS); break;
        case 1063: ret=decode_ssr1(rtcm,SYS_GLO); break;
        case 1064: ret=decode_ssr2(rtcm,SYS_GLO); break;
        case 1065: ret=decode_ssr3(rtcm,SYS_GLO); break;
        case 1066: ret=decode_ssr4(rtcm,SYS_GLO); break;
        case 1067: ret=decode_ssr5(rtcm,SYS_GLO); break;
        case 1068: ret=decode_ssr6(rtcm,SYS_GLO); break;
        case 1071: ret=decode_msm0(rtcm,SYS_GPS); break; /* not supported */
        case 1072: ret=decode_msm0(rtcm,SYS_GPS); break; /* not supported */
        case 1073: ret=decode_msm0(rtcm,SYS_GPS); break; /* not supported */
        case 1074: ret=decode_msm4(rtcm,SYS_GPS); break;
        case 1075: ret=decode_msm5(rtcm,SYS_GPS); break;
        case 1076: ret=decode_msm6(rtcm,SYS_GPS); break;
        case 1077: ret=decode_msm7(rtcm,SYS_GPS); break;
        case 1081: ret=decode_msm0(rtcm,SYS_GLO); break; /* not supported */
        case 1082: ret=decode_msm0(rtcm,SYS_GLO); break; /* not supported */
        case 1083: ret=decode_msm0(rtcm,SYS_GLO); break; /* not supported */
        case 1084: ret=decode_msm4(rtcm,SYS_GLO); break;
        case 1085: ret=decode_msm5(rtcm,SYS_GLO); break;
        case 1086: ret=decode_msm6(rtcm,SYS_GLO); break;
        case 1087: ret=decode_msm7(rtcm,SYS_GLO); break;
        case 1091: ret=decode_msm0(rtcm,SYS_GAL); break; /* not supported */
        case 1092: ret=decode_msm0(rtcm,SYS_GAL); break; /* not supported */
        case 1093: ret=decode_msm0(rtcm,SYS_GAL); break; /* not supported */
        case 1094: ret=decode_msm4(rtcm,SYS_GAL); break;
        case 1095: ret=decode_msm5(rtcm,SYS_GAL); break;
        case 1096: ret=decode_msm6(rtcm,SYS_GAL); break;
        case 1097: ret=decode_msm7(rtcm,SYS_GAL); break;
        case 1101: ret=decode_msm0(rtcm,SYS_SBS); break; /* not supported */
        case 1102: ret=decode_msm0(rtcm,SYS_SBS); break; /* not supported */
        case 1103: ret=decode_msm0(rtcm,SYS_SBS); break; /* not supported */
        case 1104: ret=decode_msm4(rtcm,SYS_SBS); break;
        case 1105: ret=decode_msm5(rtcm,SYS_SBS); break;
        case 1106: ret=decode_msm6(rtcm,SYS_SBS); break;
        case 1107: ret=decode_msm7(rtcm,SYS_SBS); break;
        case 1111: ret=decode_msm0(rtcm,SYS_QZS); break; /* not supported */
        case 1112: ret=decode_msm0(rtcm,SYS_QZS); break; /* not supported */
        case 1113: ret=decode_msm0(rtcm,SYS_QZS); break; /* not supported */
        case 1114: ret=decode_msm4(rtcm,SYS_QZS); break;
        case 1115: ret=decode_msm5(rtcm,SYS_QZS); break;
        case 1116: ret=decode_msm6(rtcm,SYS_QZS); break;
        case 1117: ret=decode_msm7(rtcm,SYS_QZS); break;
        case 1121: ret=decode_msm0(rtcm,SYS_CMP); break; /* not supported */
        case 1122: ret=decode_msm0(rtcm,SYS_CMP); break; /* not supported */
        case 1123: ret=decode_msm0(rtcm,SYS_CMP); break; /* not supported */
        case 1124: ret=decode_msm4(rtcm,SYS_CMP); break;
        case 1125: ret=decode_msm5(rtcm,SYS_CMP); break;
        case 1126: ret=decode_msm6(rtcm,SYS_CMP); break;
        case 1127: ret=decode_msm7(rtcm,SYS_CMP); break;
        case 1230: ret=decode_type1230(rtcm);     break; /* not supported */
        case 1240: ret=decode_ssr1(rtcm,SYS_GAL); break;
        case 1241: ret=decode_ssr2(rtcm,SYS_GAL); break;
        case 1242: ret=decode_ssr3(rtcm,SYS_GAL); break;
        case 1243: ret=decode_ssr4(rtcm,SYS_GAL); break;
        case 1244: ret=decode_ssr5(rtcm,SYS_GAL); break;
        case 1245: ret=decode_ssr6(rtcm,SYS_GAL); break;
        case 1246: ret=decode_ssr1(rtcm,SYS_QZS); break;
        case 1247: ret=decode_ssr2(rtcm,SYS_QZS); break;
        case 1248: ret=decode_ssr3(rtcm,SYS_QZS); break;
        case 1249: ret=decode_ssr4(rtcm,SYS_QZS); break;
        case 1250: ret=decode_ssr5(rtcm,SYS_QZS); break;
        case 1251: ret=decode_ssr6(rtcm,SYS_QZS); break;
        case 1252: ret=decode_ssr1(rtcm,SYS_SBS); break;
        case 1253: ret=decode_ssr2(rtcm,SYS_SBS); break;
        case 1254: ret=decode_ssr3(rtcm,SYS_SBS); break;
        case 1255: ret=decode_ssr4(rtcm,SYS_SBS); break;
        case 1256: ret=decode_ssr5(rtcm,SYS_SBS); break;
        case 1257: ret=decode_ssr6(rtcm,SYS_SBS); break;
        case 1258: ret=decode_ssr1(rtcm,SYS_CMP); break;
        case 1259: ret=decode_ssr2(rtcm,SYS_CMP); break;
        case 1260: ret=decode_ssr3(rtcm,SYS_CMP); break;
        case 1261: ret=decode_ssr4(rtcm,SYS_CMP); break;
        case 1262: ret=decode_ssr5(rtcm,SYS_CMP); break;
        case 1263: ret=decode_ssr6(rtcm,SYS_CMP); break;
        case   11: ret=decode_ssr7(rtcm,SYS_GLO); break; /* tentative */
        case   12: ret=decode_ssr7(rtcm,SYS_GAL); break; /* tentative */
        case   13: ret=decode_ssr7(rtcm,SYS_QZS); break; /* tentative */
        case   14: ret=decode_ssr7(rtcm,SYS_CMP); 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 $0x60, %rsp
movq %rdi, -0x8(%rbp)
movl $0x0, -0x14(%rbp)
movq -0x8(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl $0x18, %esi
movl $0xc, %edx
callq 0x8bfc0
movl %eax, -0x18(%rbp)
movq -0x8(%rbp), %rax
movl 0x9f0c0(%rax), %edx
movl -0x18(%rbp), %ecx
movl $0x3, %edi
leaq 0x5355c(%rip), %rsi     # 0xc1135
movb $0x0, %al
callq 0x8b980
movq -0x8(%rbp), %rax
cmpl $0x0, 0xc(%rax)
je 0x6dc10
movq -0x8(%rbp), %rdi
addq $0x9b9d0, %rdi          # imm = 0x9B9D0
movl -0x18(%rbp), %edx
movq -0x8(%rbp), %rax
movl 0x9f0c0(%rax), %ecx
leaq 0x5354b(%rip), %rsi     # 0xc1154
movb $0x0, %al
callq 0x9150
movq -0x8(%rbp), %rdi
addq $0x9fd48, %rdi          # imm = 0x9FD48
leaq 0x53542(%rip), %rsi     # 0xc1164
callq 0x91b0
cmpq $0x0, %rax
je 0x6dc9e
callq 0x8e920
movq %rax, -0x40(%rbp)
movsd %xmm0, -0x38(%rbp)
movq -0x40(%rbp), %rdi
movsd -0x38(%rbp), %xmm0
callq 0x8f0a0
movq %rax, -0x30(%rbp)
movsd %xmm0, -0x28(%rbp)
movq -0x30(%rbp), %rdi
movsd -0x28(%rbp), %xmm0
leaq -0x1c(%rbp), %rsi
callq 0x8e540
movsd %xmm0, -0x10(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x54(%rbp)
movsd -0x10(%rbp), %xmm0
callq 0x9c90
movl -0x54(%rbp), %edi
callq 0x8e4a0
movq %rax, -0x50(%rbp)
movsd %xmm0, -0x48(%rbp)
movq -0x8(%rbp), %rax
movq -0x50(%rbp), %rcx
movq %rcx, 0x10(%rax)
movq -0x48(%rbp), %rcx
movq %rcx, 0x18(%rax)
movl -0x18(%rbp), %eax
movl %eax, -0x58(%rbp)
subl $0xb, %eax
je 0x6ed4b
jmp 0x6dcaf
movl -0x58(%rbp), %eax
subl $0xc, %eax
je 0x6ed5e
jmp 0x6dcbd
movl -0x58(%rbp), %eax
subl $0xd, %eax
je 0x6ed71
jmp 0x6dccb
movl -0x58(%rbp), %eax
subl $0xe, %eax
je 0x6ed84
jmp 0x6dcd9
movl -0x58(%rbp), %eax
subl $0x3f, %eax
je 0x6e66d
jmp 0x6dce7
movl -0x58(%rbp), %eax
subl $0x3e9, %eax            # imm = 0x3E9
je 0x6e41a
jmp 0x6dcf7
movl -0x58(%rbp), %eax
subl $0x3ea, %eax            # imm = 0x3EA
je 0x6e42b
jmp 0x6dd07
movl -0x58(%rbp), %eax
subl $0x3eb, %eax            # imm = 0x3EB
je 0x6e43c
jmp 0x6dd17
movl -0x58(%rbp), %eax
subl $0x3ec, %eax            # imm = 0x3EC
je 0x6e44d
jmp 0x6dd27
movl -0x58(%rbp), %eax
subl $0x3ed, %eax            # imm = 0x3ED
je 0x6e45e
jmp 0x6dd37
movl -0x58(%rbp), %eax
subl $0x3ee, %eax            # imm = 0x3EE
je 0x6e46f
jmp 0x6dd47
movl -0x58(%rbp), %eax
subl $0x3ef, %eax            # imm = 0x3EF
je 0x6e480
jmp 0x6dd57
movl -0x58(%rbp), %eax
subl $0x3f0, %eax            # imm = 0x3F0
je 0x6e491
jmp 0x6dd67
movl -0x58(%rbp), %eax
subl $0x3f1, %eax            # imm = 0x3F1
je 0x6e4a2
jmp 0x6dd77
movl -0x58(%rbp), %eax
subl $0x3f2, %eax            # imm = 0x3F2
je 0x6e4b3
jmp 0x6dd87
movl -0x58(%rbp), %eax
subl $0x3f3, %eax            # imm = 0x3F3
je 0x6e4c4
jmp 0x6dd97
movl -0x58(%rbp), %eax
subl $0x3f4, %eax            # imm = 0x3F4
je 0x6e4d5
jmp 0x6dda7
movl -0x58(%rbp), %eax
subl $0x3f5, %eax            # imm = 0x3F5
je 0x6e4e6
jmp 0x6ddb7
movl -0x58(%rbp), %eax
subl $0x3fb, %eax            # imm = 0x3FB
je 0x6e4f7
jmp 0x6ddc7
movl -0x58(%rbp), %eax
subl $0x3fc, %eax            # imm = 0x3FC
je 0x6e508
jmp 0x6ddd7
movl -0x58(%rbp), %eax
subl $0x3fd, %eax            # imm = 0x3FD
je 0x6e519
jmp 0x6dde7
movl -0x58(%rbp), %eax
subl $0x3fe, %eax            # imm = 0x3FE
je 0x6e52a
jmp 0x6ddf7
movl -0x58(%rbp), %eax
subl $0x3ff, %eax            # imm = 0x3FF
je 0x6e53b
jmp 0x6de07
movl -0x58(%rbp), %eax
subl $0x400, %eax            # imm = 0x400
je 0x6e54c
jmp 0x6de17
movl -0x58(%rbp), %eax
subl $0x401, %eax            # imm = 0x401
je 0x6e55d
jmp 0x6de27
movl -0x58(%rbp), %eax
subl $0x402, %eax            # imm = 0x402
je 0x6e56e
jmp 0x6de37
movl -0x58(%rbp), %eax
subl $0x403, %eax            # imm = 0x403
je 0x6e57f
jmp 0x6de47
movl -0x58(%rbp), %eax
subl $0x405, %eax            # imm = 0x405
je 0x6e590
jmp 0x6de57
movl -0x58(%rbp), %eax
subl $0x406, %eax            # imm = 0x406
je 0x6e5a1
jmp 0x6de67
movl -0x58(%rbp), %eax
subl $0x407, %eax            # imm = 0x407
je 0x6e5b2
jmp 0x6de77
movl -0x58(%rbp), %eax
subl $0x408, %eax            # imm = 0x408
je 0x6e5c3
jmp 0x6de87
movl -0x58(%rbp), %eax
subl $0x409, %eax            # imm = 0x409
je 0x6e5d4
jmp 0x6de97
movl -0x58(%rbp), %eax
subl $0x40a, %eax            # imm = 0x40A
je 0x6e5e5
jmp 0x6dea7
movl -0x58(%rbp), %eax
subl $0x40b, %eax            # imm = 0x40B
je 0x6e5f6
jmp 0x6deb7
movl -0x58(%rbp), %eax
subl $0x40d, %eax            # imm = 0x40D
je 0x6e607
jmp 0x6dec7
movl -0x58(%rbp), %eax
subl $0x40e, %eax            # imm = 0x40E
je 0x6e618
jmp 0x6ded7
movl -0x58(%rbp), %eax
subl $0x40f, %eax            # imm = 0x40F
je 0x6e629
jmp 0x6dee7
movl -0x58(%rbp), %eax
subl $0x412, %eax            # imm = 0x412
je 0x6e67e
jmp 0x6def7
movl -0x58(%rbp), %eax
subl $0x414, %eax            # imm = 0x414
je 0x6e63a
jmp 0x6df07
movl -0x58(%rbp), %eax
subl $0x415, %eax            # imm = 0x415
je 0x6e64b
jmp 0x6df17
movl -0x58(%rbp), %eax
subl $0x416, %eax            # imm = 0x416
je 0x6e65c
jmp 0x6df27
movl -0x58(%rbp), %eax
subl $0x421, %eax            # imm = 0x421
je 0x6e68f
jmp 0x6df37
movl -0x58(%rbp), %eax
subl $0x422, %eax            # imm = 0x422
je 0x6e6a5
jmp 0x6df47
movl -0x58(%rbp), %eax
subl $0x423, %eax            # imm = 0x423
je 0x6e6bb
jmp 0x6df57
movl -0x58(%rbp), %eax
subl $0x424, %eax            # imm = 0x424
je 0x6e6d1
jmp 0x6df67
movl -0x58(%rbp), %eax
subl $0x425, %eax            # imm = 0x425
je 0x6e6e7
jmp 0x6df77
movl -0x58(%rbp), %eax
subl $0x426, %eax            # imm = 0x426
je 0x6e6fd
jmp 0x6df87
movl -0x58(%rbp), %eax
subl $0x427, %eax            # imm = 0x427
je 0x6e713
jmp 0x6df97
movl -0x58(%rbp), %eax
subl $0x428, %eax            # imm = 0x428
je 0x6e729
jmp 0x6dfa7
movl -0x58(%rbp), %eax
subl $0x429, %eax            # imm = 0x429
je 0x6e73f
jmp 0x6dfb7
movl -0x58(%rbp), %eax
subl $0x42a, %eax            # imm = 0x42A
je 0x6e755
jmp 0x6dfc7
movl -0x58(%rbp), %eax
subl $0x42b, %eax            # imm = 0x42B
je 0x6e76b
jmp 0x6dfd7
movl -0x58(%rbp), %eax
subl $0x42c, %eax            # imm = 0x42C
je 0x6e781
jmp 0x6dfe7
movl -0x58(%rbp), %eax
subl $0x42f, %eax            # imm = 0x42F
je 0x6e797
jmp 0x6dff7
movl -0x58(%rbp), %eax
subl $0x430, %eax            # imm = 0x430
je 0x6e7ad
jmp 0x6e007
movl -0x58(%rbp), %eax
subl $0x431, %eax            # imm = 0x431
je 0x6e7c3
jmp 0x6e017
movl -0x58(%rbp), %eax
subl $0x432, %eax            # imm = 0x432
je 0x6e7d9
jmp 0x6e027
movl -0x58(%rbp), %eax
subl $0x433, %eax            # imm = 0x433
je 0x6e7ef
jmp 0x6e037
movl -0x58(%rbp), %eax
subl $0x434, %eax            # imm = 0x434
je 0x6e805
jmp 0x6e047
movl -0x58(%rbp), %eax
subl $0x435, %eax            # imm = 0x435
je 0x6e81b
jmp 0x6e057
movl -0x58(%rbp), %eax
subl $0x439, %eax            # imm = 0x439
je 0x6e831
jmp 0x6e067
movl -0x58(%rbp), %eax
subl $0x43a, %eax            # imm = 0x43A
je 0x6e847
jmp 0x6e077
movl -0x58(%rbp), %eax
subl $0x43b, %eax            # imm = 0x43B
je 0x6e85d
jmp 0x6e087
movl -0x58(%rbp), %eax
subl $0x43c, %eax            # imm = 0x43C
je 0x6e873
jmp 0x6e097
movl -0x58(%rbp), %eax
subl $0x43d, %eax            # imm = 0x43D
je 0x6e889
jmp 0x6e0a7
movl -0x58(%rbp), %eax
subl $0x43e, %eax            # imm = 0x43E
je 0x6e89f
jmp 0x6e0b7
movl -0x58(%rbp), %eax
subl $0x43f, %eax            # imm = 0x43F
je 0x6e8b5
jmp 0x6e0c7
movl -0x58(%rbp), %eax
subl $0x443, %eax            # imm = 0x443
je 0x6e8cb
jmp 0x6e0d7
movl -0x58(%rbp), %eax
subl $0x444, %eax            # imm = 0x444
je 0x6e8e1
jmp 0x6e0e7
movl -0x58(%rbp), %eax
subl $0x445, %eax            # imm = 0x445
je 0x6e8f7
jmp 0x6e0f7
movl -0x58(%rbp), %eax
subl $0x446, %eax            # imm = 0x446
je 0x6e90d
jmp 0x6e107
movl -0x58(%rbp), %eax
subl $0x447, %eax            # imm = 0x447
je 0x6e923
jmp 0x6e117
movl -0x58(%rbp), %eax
subl $0x448, %eax            # imm = 0x448
je 0x6e939
jmp 0x6e127
movl -0x58(%rbp), %eax
subl $0x449, %eax            # imm = 0x449
je 0x6e94f
jmp 0x6e137
movl -0x58(%rbp), %eax
subl $0x44d, %eax            # imm = 0x44D
je 0x6e965
jmp 0x6e147
movl -0x58(%rbp), %eax
subl $0x44e, %eax            # imm = 0x44E
je 0x6e97b
jmp 0x6e157
movl -0x58(%rbp), %eax
subl $0x44f, %eax            # imm = 0x44F
je 0x6e991
jmp 0x6e167
movl -0x58(%rbp), %eax
subl $0x450, %eax            # imm = 0x450
je 0x6e9a7
jmp 0x6e177
movl -0x58(%rbp), %eax
subl $0x451, %eax            # imm = 0x451
je 0x6e9bd
jmp 0x6e187
movl -0x58(%rbp), %eax
subl $0x452, %eax            # imm = 0x452
je 0x6e9d3
jmp 0x6e197
movl -0x58(%rbp), %eax
subl $0x453, %eax            # imm = 0x453
je 0x6e9e9
jmp 0x6e1a7
movl -0x58(%rbp), %eax
subl $0x457, %eax            # imm = 0x457
je 0x6e9ff
jmp 0x6e1b7
movl -0x58(%rbp), %eax
subl $0x458, %eax            # imm = 0x458
je 0x6ea15
jmp 0x6e1c7
movl -0x58(%rbp), %eax
subl $0x459, %eax            # imm = 0x459
je 0x6ea2b
jmp 0x6e1d7
movl -0x58(%rbp), %eax
subl $0x45a, %eax            # imm = 0x45A
je 0x6ea41
jmp 0x6e1e7
movl -0x58(%rbp), %eax
subl $0x45b, %eax            # imm = 0x45B
je 0x6ea57
jmp 0x6e1f7
movl -0x58(%rbp), %eax
subl $0x45c, %eax            # imm = 0x45C
je 0x6ea6d
jmp 0x6e207
movl -0x58(%rbp), %eax
subl $0x45d, %eax            # imm = 0x45D
je 0x6ea83
jmp 0x6e217
movl -0x58(%rbp), %eax
subl $0x461, %eax            # imm = 0x461
je 0x6ea99
jmp 0x6e227
movl -0x58(%rbp), %eax
subl $0x462, %eax            # imm = 0x462
je 0x6eaaf
jmp 0x6e237
movl -0x58(%rbp), %eax
subl $0x463, %eax            # imm = 0x463
je 0x6eac5
jmp 0x6e247
movl -0x58(%rbp), %eax
subl $0x464, %eax            # imm = 0x464
je 0x6eadb
jmp 0x6e257
movl -0x58(%rbp), %eax
subl $0x465, %eax            # imm = 0x465
je 0x6eaf1
jmp 0x6e267
movl -0x58(%rbp), %eax
subl $0x466, %eax            # imm = 0x466
je 0x6eb07
jmp 0x6e277
movl -0x58(%rbp), %eax
subl $0x467, %eax            # imm = 0x467
je 0x6eb1d
jmp 0x6e287
movl -0x58(%rbp), %eax
subl $0x4ce, %eax            # imm = 0x4CE
je 0x6eb33
jmp 0x6e297
movl -0x58(%rbp), %eax
subl $0x4d8, %eax            # imm = 0x4D8
je 0x6eb44
jmp 0x6e2a7
movl -0x58(%rbp), %eax
subl $0x4d9, %eax            # imm = 0x4D9
je 0x6eb5a
jmp 0x6e2b7
movl -0x58(%rbp), %eax
subl $0x4da, %eax            # imm = 0x4DA
je 0x6eb70
jmp 0x6e2c7
movl -0x58(%rbp), %eax
subl $0x4db, %eax            # imm = 0x4DB
je 0x6eb86
jmp 0x6e2d7
movl -0x58(%rbp), %eax
subl $0x4dc, %eax            # imm = 0x4DC
je 0x6eb9c
jmp 0x6e2e7
movl -0x58(%rbp), %eax
subl $0x4dd, %eax            # imm = 0x4DD
je 0x6ebb2
jmp 0x6e2f7
movl -0x58(%rbp), %eax
subl $0x4de, %eax            # imm = 0x4DE
je 0x6ebc8
jmp 0x6e307
movl -0x58(%rbp), %eax
subl $0x4df, %eax            # imm = 0x4DF
je 0x6ebde
jmp 0x6e317
movl -0x58(%rbp), %eax
subl $0x4e0, %eax            # imm = 0x4E0
je 0x6ebf4
jmp 0x6e327
movl -0x58(%rbp), %eax
subl $0x4e1, %eax            # imm = 0x4E1
je 0x6ec0a
jmp 0x6e337
movl -0x58(%rbp), %eax
subl $0x4e2, %eax            # imm = 0x4E2
je 0x6ec20
jmp 0x6e347
movl -0x58(%rbp), %eax
subl $0x4e3, %eax            # imm = 0x4E3
je 0x6ec36
jmp 0x6e357
movl -0x58(%rbp), %eax
subl $0x4e4, %eax            # imm = 0x4E4
je 0x6ec4c
jmp 0x6e367
movl -0x58(%rbp), %eax
subl $0x4e5, %eax            # imm = 0x4E5
je 0x6ec62
jmp 0x6e377
movl -0x58(%rbp), %eax
subl $0x4e6, %eax            # imm = 0x4E6
je 0x6ec78
jmp 0x6e387
movl -0x58(%rbp), %eax
subl $0x4e7, %eax            # imm = 0x4E7
je 0x6ec8e
jmp 0x6e397
movl -0x58(%rbp), %eax
subl $0x4e8, %eax            # imm = 0x4E8
je 0x6eca4
jmp 0x6e3a7
movl -0x58(%rbp), %eax
subl $0x4e9, %eax            # imm = 0x4E9
je 0x6ecba
jmp 0x6e3b7
movl -0x58(%rbp), %eax
subl $0x4ea, %eax            # imm = 0x4EA
je 0x6ecd0
jmp 0x6e3c7
movl -0x58(%rbp), %eax
subl $0x4eb, %eax            # imm = 0x4EB
je 0x6ece6
jmp 0x6e3d7
movl -0x58(%rbp), %eax
subl $0x4ec, %eax            # imm = 0x4EC
je 0x6ecfc
jmp 0x6e3e7
movl -0x58(%rbp), %eax
subl $0x4ed, %eax            # imm = 0x4ED
je 0x6ed12
jmp 0x6e3f7
movl -0x58(%rbp), %eax
subl $0x4ee, %eax            # imm = 0x4EE
je 0x6ed25
jmp 0x6e407
movl -0x58(%rbp), %eax
subl $0x4ef, %eax            # imm = 0x4EF
je 0x6ed38
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x6ee30
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x6ee90
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x6f2b0
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x6f310
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x6f980
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x6fbf0
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x6ff00
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x700f0
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x703a0
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x70400
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x70860
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x708c0
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x70f90
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x70fa0
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x71a70
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x724e0
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x72510
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x72540
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x72570
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x725a0
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x725d0
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x72600
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x72630
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x72860
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x72890
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x728c0
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x728f0
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x72fe0
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x73010
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x73040
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x73070
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x730a0
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x730d0
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x73b70
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x745d0
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x750e0
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x750e0
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x1, %esi
callq 0x75c00
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x1, %esi
callq 0x76220
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x1, %esi
callq 0x76590
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x1, %esi
callq 0x76b30
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x1, %esi
callq 0x77370
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x1, %esi
callq 0x77640
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x4, %esi
callq 0x75c00
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x4, %esi
callq 0x76220
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x4, %esi
callq 0x76590
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x4, %esi
callq 0x76b30
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x4, %esi
callq 0x77370
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x4, %esi
callq 0x77640
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x1, %esi
callq 0x77920
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x1, %esi
callq 0x77920
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x1, %esi
callq 0x77920
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x1, %esi
callq 0x779c0
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x1, %esi
callq 0x77fc0
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x1, %esi
callq 0x78790
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x1, %esi
callq 0x78d90
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x4, %esi
callq 0x77920
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x4, %esi
callq 0x77920
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x4, %esi
callq 0x77920
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x4, %esi
callq 0x779c0
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x4, %esi
callq 0x77fc0
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x4, %esi
callq 0x78790
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x4, %esi
callq 0x78d90
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x8, %esi
callq 0x77920
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x8, %esi
callq 0x77920
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x8, %esi
callq 0x77920
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x8, %esi
callq 0x779c0
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x8, %esi
callq 0x77fc0
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x8, %esi
callq 0x78790
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x8, %esi
callq 0x78d90
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x2, %esi
callq 0x77920
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x2, %esi
callq 0x77920
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x2, %esi
callq 0x77920
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x2, %esi
callq 0x779c0
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x2, %esi
callq 0x77fc0
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x2, %esi
callq 0x78790
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x2, %esi
callq 0x78d90
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x10, %esi
callq 0x77920
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x10, %esi
callq 0x77920
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x10, %esi
callq 0x77920
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x10, %esi
callq 0x779c0
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x10, %esi
callq 0x77fc0
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x10, %esi
callq 0x78790
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x10, %esi
callq 0x78d90
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x20, %esi
callq 0x77920
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x20, %esi
callq 0x77920
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x20, %esi
callq 0x77920
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x20, %esi
callq 0x779c0
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x20, %esi
callq 0x77fc0
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x20, %esi
callq 0x78790
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x20, %esi
callq 0x78d90
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
callq 0x79560
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x8, %esi
callq 0x75c00
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x8, %esi
callq 0x76220
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x8, %esi
callq 0x76590
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x8, %esi
callq 0x76b30
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x8, %esi
callq 0x77370
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x8, %esi
callq 0x77640
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x10, %esi
callq 0x75c00
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x10, %esi
callq 0x76220
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x10, %esi
callq 0x76590
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x10, %esi
callq 0x76b30
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x10, %esi
callq 0x77370
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x10, %esi
callq 0x77640
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x2, %esi
callq 0x75c00
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x2, %esi
callq 0x76220
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x2, %esi
callq 0x76590
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x2, %esi
callq 0x76b30
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x2, %esi
callq 0x77370
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x2, %esi
callq 0x77640
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x20, %esi
callq 0x75c00
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x20, %esi
callq 0x76220
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x20, %esi
callq 0x76590
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x20, %esi
callq 0x76b30
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x20, %esi
callq 0x77370
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x20, %esi
callq 0x77640
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x4, %esi
callq 0x79590
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x8, %esi
callq 0x79590
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x10, %esi
callq 0x79590
movl %eax, -0x14(%rbp)
jmp 0x6ed95
movq -0x8(%rbp), %rdi
movl $0x20, %esi
callq 0x79590
movl %eax, -0x14(%rbp)
cmpl $0x0, -0x14(%rbp)
jl 0x6ee25
movl -0x18(%rbp), %eax
subl $0x3e8, %eax            # imm = 0x3E8
movl %eax, -0x18(%rbp)
movl $0x1, %eax
cmpl -0x18(%rbp), %eax
jg 0x6edd8
cmpl $0x12b, -0x18(%rbp)     # imm = 0x12B
jg 0x6edd8
movq -0x8(%rbp), %rax
movslq -0x18(%rbp), %rcx
movl 0x9f708(%rax,%rcx,4), %edx
addl $0x1, %edx
movl %edx, 0x9f708(%rax,%rcx,4)
jmp 0x6ee23
movl $0x3e8, %eax            # imm = 0x3E8
cmpl -0x18(%rbp), %eax
jg 0x6ee0e
cmpl $0x44b, -0x18(%rbp)     # imm = 0x44B
jg 0x6ee0e
movq -0x8(%rbp), %rax
movl -0x18(%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 0x6ee21
movq -0x8(%rbp), %rax
movl 0x9f708(%rax), %ecx
addl $0x1, %ecx
movl %ecx, 0x9f708(%rax)
jmp 0x6ee23
jmp 0x6ee25
movl -0x14(%rbp), %eax
addq $0x60, %rsp
popq %rbp
retq
nop