首页
论坛
专栏
课程

[原创] 第五题:丛林的秘密

2019-6-24 11:57 613

[原创] 第五题:丛林的秘密

2019-6-24 11:57
613
signed int __fastcall Java_com_example_assemgogogo_gogogoJNI_check_key(_JNIEnv *a1, int a2, int a3)
{
  _JNIEnv *v3; // r5
  int v4; // r6
  signed int v5; // r8
  int v6; // r0
  int v7; // r4
  unsigned int v8; // r5
  int v9; // r0
  int v10; // r1
  int v11; // r0

  v3 = a1;
  v4 = a3;
  v5 = 0;
  v6 = ((int (__fastcall *)(_JNIEnv *, int, _DWORD))a1->functions->GetStringUTFChars)(a1, a3, 0);
  if ( !v6 )
    return v5;
  v7 = v6;
  ((void (__fastcall *)(_JNIEnv *, int, int))v3->functions->ReleaseStringUTFChars)(v3, v4, v6);
  srand(0x32u);
  v8 = 0;
  while ( v8 <= 0x1F )
  {
    v9 = rand();
    v10 = *(unsigned __int8 *)(v7 + v8);
    v11 = v9 % 128 - (unsigned __int8)aD584a68d4e213d[v8++];
    if ( v10 != (v11 != 0) )
      return 0;
  }
  close(sock_fd_g);
  v5 = 1;
  return v5;
}

 this.button1.setOnClickListener(new OnClickListener() {
            public void onClick(View view) {
                if (gogogoJNI.check_key(MainActivity.this.eText1.getText().toString()) == 1) {
                    MainActivity.this.txView1.setText("Congratulations!");
                } else {
                    MainActivity.this.txView1.setText("Not Correct!");
                }
            }
        });

无安卓8.1环境, 原来想静态人肉分析, 输入的字符和 \x01, \x00 比较, 明显无解。 
注意到 inti_proc 启动httpserver,  同时以 0x00004004为基地址, xor key是 0x67, 长度是 0x67u, 解密一片内存。
idapython直接dump下来,

text = get_bytes(0x00004004, 0x85F3)
ret = []
for i in range(len(text)):
    ret.append(chr(ord(text[i]) ^ 0x67))
    
print ''.join(ret)
    

得到

<!DOCTYPE html>
<html>
<head>
    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
    <meta charset="utf-8">
    <style>
        body {
            background-color: rgb(255, 255, 255);
        }
    </style>
</head>
<script>


    var instance;

    WebAssembly.compile(new Uint8Array(`
00 61 73 6D 01 00 00 00 01 1B 05 60 00 00 60 04
7F 7F 7F 7F 01 7F 60 02 7F 7F 01 7F 60 01 7F 01
7F 60 00 01 7F 03 0E 0D 00 01 01 01 01 01 01 01
01 02 03 04 04 04 05 01 70 01 01 01 05 03 01 00
02 06 15 03 7F 01 41 D0 89 04 0B 7F 00 41 D0 89
04 0B 7F 00 41 CC 09 0B 07 57 06 06 6D 65 6D 6F
72 79 02 00 0B 5F 5F 68 65 61 70 5F 62 61 73 65
03 01 0A 5F 5F 64 61 74 61 5F 65 6E 64 03 02 0E
73 65 74 5F 69 6E 70 75 74 5F 66 6C 61 67 00 09
12 73 65 74 5F 69 6E 70 75 74 5F 66 6C 61 67 5F
6C 65 6E 00 0A 09 63 68 65 63 6B 5F 6B 65 79 00
0B 0A F7 51 0D 02 00 0B 81 03 01 0D 7F 20 01 2D
00 00 22 04 41 18 74 41 18 75 21 05 20 02 2D 00
00 22 06 41 18 74 41 18 75 21 07 20 00 2D 00 00
22 08 41 18 74 41 18 75 21 09 41 01 21 0A 41 01
21 0B 02 40 20 08 0D 00 20 07 41 91 1A 71 41 0C
72 20 05 20 05 6C 47 21 0B 0B 20 04 20 08 71 20
06 72 21 0C 02 40 20 03 2C 00 00 22 0D 41 04 6A
20 09 47 0D 00 20 04 20 06 6A 20 0D 6A 41 E2 00
71 41 00 47 21 0A 0B 20 0C 41 00 47 21 04 41 01
21 0E 02 40 20 07 41 20 6A 20 05 71 0D 00 20 07
20 09 6A 20 05 6A 41 E2 00 6A 20 0D 6C 41 00 47
21 0E 0B 41 00 21 0C 02 40 41 01 20 0A 20 04 6A
22 0F 20 0B 20 04 6A 20 0E 20 0A 6A 22 0A 46 1B
22 0B 45 0D 00 20 0A 20 04 6A 41 01 6A 21 10 41
00 21 04 41 01 21 0A 20 0B 21 0C 03 40 20 04 20
0C 6A 22 0C 45 0D 01 20 04 20 10 6A 21 04 20 0A
41 10 49 21 0B 20 0A 41 01 6A 21 0A 20 0B 0D 00
0B 0B 02 40 20 07 20 09 6A 20 05 6A 20 0D 6A 41
7F 46 0D 00 20 00 20 08 41 18 73 3A 00 00 20 01
20 01 2D 00 00 41 09 73 3A 00 00 20 02 20 02 2D
00 00 41 03 73 3A 00 00 20 03 20 03 2D 00 00 41
EB 00 73 3A 00 00 20 00 2C 00 00 41 F0 00 73 0F
0B 20 0F 20 0D 20 08 71 41 00 47 20 06 41 00 47
20 0D 41 53 47 72 20 09 41 00 20 0D 6B 47 72 72
6A 20 0E 6A 20 0C 6A 41 01 6A 0B C6 03 01 0D 7F
20 01 2D 00 00 22 04 41 18 74 21 05 20 02 2D 00
00 22 06 41 18 74 41 18 75 21 07 20 00 2D 00 00
22 08 41 18 74 21 09 41 01 21 0A 41 01 21 0B 02
40 02 40 02 40 20 08 45 0D 00 20 05 41 18 75 21
0C 20 09 41 18 75 21 0D 20 06 45 0D 01 0C 02 0B
20 07 41 D9 02 71 20 04 41 DB 00 73 41 18 74 41
18 75 47 21 0B 20 05 41 18 75 21 0C 20 09 41 18
75 21 0D 20 06 0D 01 0B 41 16 20 0C 41 A5 02 6A
6F 20 0D 47 21 0A 0B 41 01 21 0E 41 01 21 0F 02
40 02 40 02 40 02 40 02 40 20 03 2C 00 00 22 10
41 0E 6A 20 0D 46 0D 00 20 07 41 C2 02 6A 20 0C
71 45 0D 01 0C 02 0B 20 04 20 06 6A 20 10 6A 41
03 76 41 01 71 21 0F 20 07 41 C2 02 6A 20 0C 71
0D 01 0B 20 07 20 0D 6A 20 0C 6A 41 5A 47 21 0E
41 01 21 04 20 06 0D 02 0C 01 0B 41 01 21 04 20
06 0D 01 0B 20 10 41 05 6A 41 00 20 10 6B 47 0D
00 20 10 20 08 71 41 00 47 21 04 0B 41 00 21 05
02 40 20 0A 20 0B 6A 20 04 20 0E 6A 46 0D 00 20
0F 20 0B 6A 22 0B 45 0D 00 20 0F 20 0A 6A 21 09
41 01 21 06 20 0B 21 05 03 40 20 09 20 05 6A 20
06 41 7F 6A 6C 20 05 6A 22 05 45 0D 01 20 06 41
10 49 21 0B 20 06 41 01 6A 21 06 20 0B 0D 00 0B
0B 02 40 20 07 20 0D 6A 20 0C 6A 20 10 6A 41 7F
46 0D 00 20 00 20 08 41 01 73 3A 00 00 20 01 20
01 2D 00 00 41 DA 00 73 3A 00 00 20 02 20 02 2D
00 00 41 32 73 3A 00 00 20 03 20 03 2D 00 00 41
D7 00 73 3A 00 00 20 00 2C 00 00 41 E4 00 73 0F
0B 20 0F 20 0A 6A 20 0E 6A 20 04 6A 20 05 6A 41
01 6A 0B EE 02 01 0D 7F 20 00 2D 00 00 22 04 41
18 74 41 18 75 21 05 20 01 2C 00 00 21 06 20 02
2C 00 00 21 07 02 40 02 40 20 04 45 0D 00 41 01
21 08 0C 01 0B 20 06 20 06 6C 41 0C 73 20 07 47
21 08 0B 20 03 2C 00 00 22 09 41 04 6A 20 06 20
07 6A 22 0A 20 09 6A 71 20 05 73 21 0B 20 06 20
04 71 20 07 72 41 FF 01 71 22 0C 41 00 47 21 0D
41 01 21 0E 02 40 20 07 41 20 6A 20 06 71 0D 00
20 0A 20 05 6A 20 09 6C 41 00 47 21 0E 0B 41 00
21 0F 02 40 41 00 20 07 20 05 6C 20 09 6C 20 07
41 CE 00 6C 20 05 41 C5 00 6C 6A 71 22 10 6B 20
0B 41 00 20 0C 1B 20 0D 6A 20 08 20 0D 6A 20 0E
20 0B 6A 22 08 46 1B 22 0B 45 0D 00 20 08 20 10
6A 21 0E 41 01 21 06 20 0B 21 0F 03 40 20 0E 20
0F 6A 20 06 41 7F 6A 41 01 76 6C 20 0F 6A 22 0F
45 0D 01 20 06 41 10 49 21 0B 20 06 41 01 6A 21
06 20 0B 0D 00 0B 0B 02 40 20 0A 20 05 6A 20 09
6A 41 7F 46 0D 00 20 00 20 04 41 30 73 3A 00 00
20 01 20 01 2D 00 00 41 DD 00 73 3A 00 00 20 02
20 02 2D 00 00 41 C0 00 73 3A 00 00 20 03 20 03
2D 00 00 41 C6 00 73 3A 00 00 20 00 2C 00 00 41
E6 00 73 0F 0B 20 08 20 0D 6A 20 10 6A 20 09 20
07 72 41 00 47 20 05 41 00 20 09 6B 47 72 6A 20
0F 6A 0B AF 03 01 0D 7F 20 00 2D 00 00 22 04 41
18 74 21 05 20 02 2C 00 00 21 06 41 01 21 07 02
40 02 40 02 40 02 40 20 04 45 0D 00 20 05 41 18
75 21 08 20 06 45 0D 01 0C 02 0B 20 06 41 91 1A
71 41 0C 72 20 01 2C 00 00 22 07 20 07 6C 47 21
07 20 05 41 18 75 21 08 20 06 0D 01 0B 41 00 21
05 02 40 20 01 2C 00 00 22 09 41 69 46 0D 00 20
03 2D 00 00 41 00 47 21 05 0B 20 09 20 05 6B 20
08 71 41 00 47 21 0A 0C 01 0B 20 01 2C 00 00 21
09 41 01 21 0A 0B 41 01 21 0B 41 01 21 05 02 40
20 03 2C 00 00 22 0C 41 04 6A 20 08 47 0D 00 20
09 20 06 6A 41 00 20 0C 6B 47 21 05 0B 02 40 20
06 41 20 6A 20 09 71 0D 00 20 09 20 06 6A 20 08
6A 20 0C 6C 41 00 47 21 0B 0B 02 40 02 40 20 0B
20 08 20 06 6C 20 0C 6C 20 06 41 03 74 20 08 41
C5 00 6C 6A 71 22 0D 20 0B 47 72 20 05 20 0D 6C
20 0A 6A 20 0A 20 07 6A 20 05 20 0B 6A 46 1B 22
0E 45 0D 00 20 0A 20 05 6A 20 0D 6A 20 0B 6A 21
0F 41 00 21 05 41 01 21 07 03 40 20 05 20 0E 6A
22 0E 45 0D 02 20 05 20 0F 6A 21 05 20 07 41 F0
00 49 21 10 20 07 41 01 6A 21 07 20 10 0D 00 0C
02 0B 0B 41 00 21 0E 0B 02 40 20 09 20 06 6A 20
08 6A 20 0C 6A 41 7F 46 0D 00 20 00 20 04 41 2B
73 3A 00 00 20 01 20 01 2D 00 00 41 C6 00 73 3A
00 00 20 02 20 02 2D 00 00 41 D6 00 73 3A 00 00
20 03 20 03 2D 00 00 41 3D 73 3A 00 00 20 00 2C
00 00 41 E0 00 73 0F 0B 20 0D 20 0A 6A 20 0B 6A
20 0E 6A 0B E6 02 01 0C 7F 20 01 2D 00 00 22 04
41 18 74 41 18 75 21 05 20 02 2D 00 00 22 06 41
18 74 41 18 75 21 07 20 00 2D 00 00 22 08 41 18
74 41 18 75 21 09 41 01 21 0A 41 01 21 0B 02 40
20 08 0D 00 20 05 20 05 6C 41 0C 73 20 07 41 91
1A 71 47 21 0B 0B 20 04 20 08 71 20 06 72 21 0C
02 40 20 03 2C 00 00 22 0D 41 04 6A 20 09 47 0D
00 20 04 20 06 6A 20 0D 6A 41 E2 00 71 41 00 47
21 0A 0B 20 0C 41 00 47 21 04 41 01 21 0E 02 40
20 05 41 00 20 07 6B 47 0D 00 20 09 41 E2 00 6A
20 0D 6C 41 00 47 21 0E 0B 41 00 21 03 02 40 41
01 20 0A 20 04 6A 22 0F 20 0B 20 04 6A 20 0E 20
0A 6A 22 0A 46 1B 22 0B 45 0D 00 20 0A 20 04 6A
41 01 6A 21 0C 41 00 21 04 41 01 21 0A 20 0B 21
03 03 40 20 04 20 03 6A 22 03 45 0D 01 20 04 20
0C 6A 21 04 20 0A 41 10 49 21 0B 20 0A 41 01 6A
21 0A 20 0B 0D 00 0B 0B 02 40 20 07 20 09 6A 20
05 6A 20 0D 6A 41 7F 46 0D 00 20 00 20 08 41 02
73 3A 00 00 20 01 20 01 2D 00 00 41 C3 00 73 3A
00 00 20 02 20 02 2D 00 00 41 17 73 3A 00 00 20
00 2C 00 00 41 90 01 73 0F 0B 20 0F 20 0D 20 06
72 41 FF 01 71 41 00 47 20 09 41 00 20 0D 6B 47
72 6A 20 0E 6A 20 03 6A 41 01 6A 0B B0 02 01 0C
7F 41 00 21 04 02 40 20 03 2C 00 00 22 05 20 00
2C 00 00 22 06 6C 20 01 2C 00 00 22 07 20 02 2D
00 00 22 08 41 18 74 41 18 75 22 09 6A 22 0A 72
41 00 47 22 0B 20 0B 20 09 20 06 6C 22 0C 20 0C
6C 20 05 6C 22 0D 47 72 20 0A 20 05 6A 20 05 71
20 06 73 22 0C 20 0D 6C 20 08 41 00 47 22 0E 6A
20 06 41 FF 01 71 41 00 47 20 07 20 07 6C 20 09
47 72 20 0E 6A 20 0C 20 0B 6A 22 0F 46 1B 22 0B
45 0D 00 20 0F 20 0E 6A 20 0D 6A 21 0C 41 00 21
07 41 01 21 09 20 0B 21 04 03 40 20 07 20 04 6A
22 04 45 0D 01 20 07 20 0C 6A 21 07 20 09 41 10
49 21 0B 20 09 41 01 6A 21 09 20 0B 0D 00 0B 0B
02 40 20 0A 20 06 6A 20 05 6A 41 7F 46 0D 00 20
00 20 06 41 32 73 3A 00 00 20 01 20 01 2D 00 00
41 D3 00 73 3A 00 00 20 02 20 02 2D 00 00 41 1F
73 3A 00 00 20 03 20 03 2D 00 00 41 26 73 3A 00
00 20 00 2C 00 00 41 C5 00 73 0F 0B 20 0F 20 0E
6A 20 0D 6A 20 05 20 08 72 41 FF 01 71 41 00 47
20 06 41 00 20 05 6B 47 72 6A 20 04 6A 0B FD 02
01 0C 7F 20 01 2D 00 00 22 04 41 18 74 41 18 75
21 05 20 02 2D 00 00 22 06 41 18 74 41 18 75 21
07 20 00 2D 00 00 22 08 41 18 74 41 18 75 21 09
41 01 21 02 41 01 21 0A 02 40 20 08 0D 00 20 07
41 91 1A 71 41 0C 72 20 05 20 05 6C 47 21 0A 0B
20 04 20 08 71 20 06 72 21 0B 02 40 20 03 2C 00
00 22 0C 41 04 6A 20 09 47 0D 00 20 04 20 06 6A
20 0C 6A 41 E2 00 71 41 00 47 21 02 0B 20 0B 41
00 47 21 04 41 01 21 0D 02 40 20 07 41 20 6A 20
05 71 0D 00 20 07 20 09 6A 20 05 6A 41 E2 00 6A
20 0C 6C 41 00 47 21 0D 0B 41 00 21 0B 02 40 41
01 20 04 41 01 73 20 0D 1B 20 02 20 04 6A 22 0E
20 0A 20 04 6A 20 02 20 0D 6A 46 1B 22 0A 45 0D
00 41 02 41 01 20 0D 1B 20 02 6A 20 04 6A 21 0F
41 00 21 04 41 01 21 02 20 0A 21 0B 03 40 20 04
20 0B 6A 22 0B 45 0D 01 20 04 20 0F 6A 21 04 20
02 41 10 49 21 0A 20 02 41 01 6A 21 02 20 0A 0D
00 0B 0B 02 40 20 07 20 09 6A 20 05 6A 20 0C 6A
41 7F 46 0D 00 20 00 20 08 41 2A 73 3A 00 00 20
01 20 01 2D 00 00 41 01 73 3A 00 00 20 03 20 03
2D 00 00 41 10 73 3A 00 00 20 00 2C 00 00 41 32
73 0F 0B 20 0E 20 0C 20 08 71 41 00 47 20 06 41
00 47 20 0C 41 53 47 72 20 09 41 00 20 0C 6B 47
72 72 6A 20 0D 6A 20 0B 6A 41 01 6A 0B F1 02 01
0C 7F 20 01 2D 00 00 22 04 41 18 74 41 18 75 21
05 20 02 2D 00 00 22 06 41 18 74 41 18 75 21 07
20 00 2D 00 00 22 08 41 18 74 41 18 75 21 09 41
01 21 0A 41 01 21 0B 02 40 20 08 0D 00 20 07 41
91 1A 71 41 0C 72 20 05 20 05 6C 47 21 0B 0B 20
04 20 08 71 20 06 72 21 0C 02 40 20 03 2C 00 00
22 0D 41 04 6A 20 09 47 0D 00 20 04 20 06 6A 20
0D 6A 41 E2 00 71 41 00 47 21 0A 0B 20 0C 41 00
47 21 0E 41 01 21 04 02 40 20 07 41 20 6A 20 05
71 0D 00 20 07 20 09 6A 20 05 6A 41 E2 00 6A 20
0D 6C 41 00 47 21 04 0B 41 00 21 03 02 40 41 01
20 0B 20 0E 6A 22 0B 20 0B 20 04 20 0A 6A 22 0F
46 1B 22 0B 45 0D 00 20 0F 20 0E 6A 41 01 6A 21
0C 41 00 21 04 41 01 21 0A 20 0B 21 03 03 40 20
04 20 03 6A 22 03 45 0D 01 20 04 20 0C 6A 21 04
20 0A 41 10 49 21 0B 20 0A 41 01 6A 21 0A 20 0B
0D 00 0B 0B 02 40 20 07 20 09 6A 20 05 6A 20 0D
6A 41 7F 46 0D 00 20 00 20 08 41 10 73 3A 00 00
20 01 20 01 2D 00 00 41 1E 73 3A 00 00 20 02 20
02 2D 00 00 41 C0 00 73 3A 00 00 20 00 2C 00 00
41 C4 00 73 0F 0B 20 0F 20 0E 6A 20 0D 20 08 71
41 00 47 20 06 41 00 47 20 0D 41 53 47 72 20 09
41 00 20 0D 6B 47 72 72 6A 20 03 6A 41 01 6A 0B
12 00 20 01 41 80 88 80 80 00 6A 20 00 3A 00 00
41 00 0B 0F 00 41 00 20 00 36 02 C8 89 80 80 00
41 00 0B 80 02 00 41 80 88 80 80 00 41 81 88 80
80 00 41 82 88 80 80 00 41 83 88 80 80 00 10 81
80 80 80 00 1A 41 84 88 80 80 00 41 85 88 80 80
00 41 86 88 80 80 00 41 87 88 80 80 00 10 82 80
80 80 00 1A 41 88 88 80 80 00 41 89 88 80 80 00
41 8A 88 80 80 00 41 8B 88 80 80 00 10 83 80 80
80 00 1A 41 8C 88 80 80 00 41 8D 88 80 80 00 41
8E 88 80 80 00 41 8F 88 80 80 00 10 84 80 80 80
00 1A 41 90 88 80 80 00 41 91 88 80 80 00 41 92
88 80 80 00 41 93 88 80 80 00 10 85 80 80 80 00
1A 41 94 88 80 80 00 41 95 88 80 80 00 41 96 88
80 80 00 41 97 88 80 80 00 10 86 80 80 80 00 1A
41 98 88 80 80 00 41 99 88 80 80 00 41 9A 88 80
80 00 41 9B 88 80 80 00 10 87 80 80 80 00 1A 41
9C 88 80 80 00 41 9D 88 80 80 00 41 9E 88 80 80
00 41 9F 88 80 80 00 10 88 80 80 80 00 1A 10 8C
80 80 80 00 0B D4 37 01 48 7F 41 00 21 00 02 40
41 00 2C 00 9E 88 80 80 00 22 01 41 30 6C 41 00
2C 00 9F 88 80 80 00 22 02 41 AE 01 6C 6A 41 00
2C 00 81 88 80 80 00 22 03 41 EF 00 6C 41 00 2C
00 80 88 80 80 00 22 04 41 EC 00 6C 6A 41 00 2C
00 82 88 80 80 00 22 05 41 DC 00 6C 6A 41 00 2C
00 83 88 80 80 00 22 06 41 C2 01 6C 6A 41 00 2C
00 84 88 80 80 00 22 07 41 FC 00 6C 6A 41 00 2C
00 85 88 80 80 00 22 08 41 F0 01 6C 22 09 6A 41
00 2C 00 86 88 80 80 00 22 0A 41 FE 00 6C 6A 41
00 2C 00 87 88 80 80 00 22 0B 41 D1 00 6C 6A 41
00 2C 00 88 88 80 80 00 22 0C 41 90 01 6C 6A 41
00 2C 00 89 88 80 80 00 22 0D 41 E7 00 6C 6A 41
00 2C 00 8A 88 80 80 00 22 0E 41 A1 01 6C 6A 41
00 2C 00 8B 88 80 80 00 22 0F 41 32 6C 6A 41 00
2C 00 8C 88 80 80 00 22 10 41 C3 00 6C 22 11 6A
41 00 2C 00 8D 88 80 80 00 22 12 41 0F 6C 6A 41
00 2C 00 8E 88 80 80 00 22 13 41 FF 00 6C 6A 41
00 2C 00 8F 88 80 80 00 22 14 41 E8 01 6C 6A 41
00 2C 00 90 88 80 80 00 22 15 41 BC 01 6C 6A 41
00 2C 00 91 88 80 80 00 22 16 41 13 6C 6A 41 00
2C 00 92 88 80 80 00 22 17 41 E9 01 6C 6A 41 00
2C 00 93 88 80 80 00 22 18 41 99 01 6C 6A 41 00
2C 00 94 88 80 80 00 22 19 41 E7 01 6C 6A 41 00
2C 00 95 88 80 80 00 22 1A 41 28 6C 6A 41 00 2C
00 96 88 80 80 00 22 1B 41 F0 00 6C 6A 41 00 2C
00 97 88 80 80 00 22 1C 41 EA 00 6C 6A 41 00 2C
00 98 88 80 80 00 22 1D 41 87 01 6C 22 1E 6A 41
00 2C 00 99 88 80 80 00 22 1F 41 DA 00 6C 22 20
6A 41 00 2C 00 9A 88 80 80 00 22 21 41 C3 00 6C
6A 41 00 2C 00 9B 88 80 80 00 22 22 41 14 6C 6A
41 00 2C 00 9C 88 80 80 00 22 23 41 F8 01 6C 22
24 6A 41 00 2C 00 9D 88 80 80 00 22 25 41 2D 6C
6A 6A 41 D8 F8 15 47 0D 00 20 01 41 0D 6C 20 02
41 E5 00 6C 6A 20 03 41 CE 00 6C 20 04 41 E3 01
6C 6A 20 05 41 C3 01 6C 6A 20 06 41 D1 00 6C 6A
20 07 41 0A 6C 6A 20 08 41 F8 01 6C 6A 20 0A 41
BA 01 6C 6A 20 0B 41 AB 01 6C 22 26 6A 20 0C 41
94 01 6C 6A 20 0D 41 C2 01 6C 6A 20 0E 41 28 6C
22 27 6A 20 0F 41 B4 01 6C 22 28 6A 20 10 41 11
6C 6A 20 12 41 D4 01 6C 6A 20 13 41 E8 00 6C 6A
20 14 41 DA 00 6C 6A 20 15 41 B2 01 6C 6A 20 16
41 1A 6C 6A 20 17 41 E1 01 6C 22 29 6A 20 18 41
D1 01 6C 6A 20 19 41 05 74 22 2A 6A 20 1A 41 A9
01 6C 6A 20 1B 41 DE 00 6C 6A 20 1C 41 9C 01 6C
6A 20 1D 41 9A 01 6C 22 2B 6A 20 1F 41 38 6C 6A
20 21 41 F4 01 6C 6A 20 22 41 95 01 6C 6A 20 23
41 F8 00 6C 6A 20 25 41 83 01 6C 6A 6A 41 BA D3
17 47 0D 00 20 01 41 F0 01 6C 20 02 41 35 6C 6A
20 03 41 2C 6C 20 04 41 D3 00 6C 6A 20 05 41 DF
00 6C 6A 20 06 41 83 01 6C 6A 20 07 41 1E 6C 6A
20 08 41 37 6C 6A 20 0A 41 2E 6C 6A 20 0B 41 24
6C 6A 20 0C 41 C3 00 6C 22 2C 6A 20 0D 41 ED 00
6C 6A 20 0E 41 C5 00 6C 6A 20 10 41 03 74 6A 20
12 41 F8 01 6C 6A 20 13 41 28 6C 6A 20 14 41 9A
01 6C 6A 20 16 41 D6 00 6C 6A 20 15 20 0F 6A 41
FB 01 6C 6A 20 17 41 F0 00 6C 6A 20 18 41 09 6C
6A 20 19 41 AE 01 6C 6A 20 1A 41 C5 01 6C 6A 20
1B 41 26 6C 6A 20 1C 41 0E 6C 6A 20 1D 41 CA 01
6C 6A 20 1F 41 3C 6C 6A 20 21 41 F5 00 6C 6A 20
22 41 BC 01 6C 6A 20 23 41 88 01 6C 22 2D 6A 20
25 41 91 01 6C 6A 6A 41 AF B3 12 47 0D 00 20 01
20 16 6A 41 EA 01 6C 20 02 20 25 6A 41 19 6C 6A
20 03 41 A2 01 6C 20 04 41 98 01 6C 6A 20 05 41
F0 00 6C 6A 20 06 41 39 6C 6A 20 07 41 E6 00 6C
6A 20 08 41 B6 01 6C 6A 20 0A 41 0A 6C 6A 20 0B
41 8B 01 6C 6A 20 0C 41 1E 6C 6A 20 0D 41 07 6C
22 2E 6A 20 0E 41 91 01 6C 6A 20 0F 41 FF 00 6C
6A 20 10 41 94 01 6C 6A 20 12 41 05 6C 6A 20 13
41 A5 01 6C 6A 20 14 41 ED 00 6C 6A 20 15 41 EE
00 6C 6A 20 17 41 F1 00 6C 6A 20 18 41 21 6C 6A
20 19 41 C0 01 6C 6A 20 1A 41 2D 6C 6A 20 1B 41
C1 00 6C 6A 20 1C 41 E9 00 6C 6A 20 1D 41 8C 01
6C 6A 20 1F 41 F4 00 6C 6A 20 21 41 23 6C 6A 20
22 41 30 6C 6A 20 23 41 9B 01 6C 6A 6A 41 E5 8C
12 47 0D 00 20 01 41 D2 00 6C 22 2F 20 02 41 F1
00 6C 6A 20 03 41 BD 01 6C 20 04 41 E5 00 6C 6A
20 05 41 EC 01 6C 6A 20 06 41 F6 00 6C 6A 20 07
41 8D 01 6C 6A 20 08 41 94 01 6C 6A 20 0A 41 C5
01 6C 6A 20 0B 41 07 6C 6A 20 0D 41 E8 00 6C 6A
20 0E 41 2D 6C 6A 20 0F 41 82 01 6C 6A 20 10 41
27 6C 6A 20 12 41 A4 01 6C 6A 20 13 41 D8 00 6C
6A 20 14 41 F1 01 6C 6A 20 16 41 EB 00 6C 6A 20
15 20 0C 6A 41 EC 00 6C 6A 20 17 41 CC 00 6C 6A
20 18 41 22 6C 22 30 6A 20 19 41 D2 01 6C 6A 20
1A 41 1D 6C 6A 20 1B 41 9C 01 6C 6A 20 1C 41 DA
00 6C 6A 20 1D 41 8B 01 6C 6A 20 1F 41 97 01 6C
6A 20 21 41 0A 6C 6A 20 22 41 E1 00 6C 22 31 6A
20 23 41 D1 01 6C 6A 20 25 41 2E 6C 6A 6A 41 C2
83 15 47 0D 00 20 01 41 B3 01 6C 20 02 20 15 6A
41 C8 00 6C 6A 20 03 41 0D 6C 20 04 41 B6 01 6C
6A 20 05 41 32 6C 6A 20 06 41 E6 00 6C 6A 20 07
41 9B 01 6C 22 32 6A 20 08 41 E6 01 6C 22 33 6A
20 0A 41 03 6C 6A 20 0B 41 E1 01 6C 6A 20 0C 41
ED 01 6C 6A 20 0D 41 A3 01 6C 6A 20 0E 41 26 6C
6A 20 0F 41 B0 01 6C 6A 20 10 41 F3 00 6C 6A 20
12 41 E9 00 6C 6A 20 13 41 CB 01 6C 6A 20 14 41
1A 6C 6A 20 16 41 EF 00 6C 6A 20 17 41 E0 00 6C
6A 20 18 41 F0 01 6C 6A 20 19 41 8B 01 6C 22 34
6A 20 1A 41 F5 00 6C 6A 20 1B 41 99 01 6C 6A 20
1C 41 F8 00 6C 6A 20 1D 41 97 01 6C 6A 20 1F 41
19 6C 6A 20 21 41 31 6C 6A 20 22 41 DA 00 6C 6A
20 23 41 E2 00 6C 6A 20 25 41 07 6C 6A 6A 41 8C
96 15 47 0D 00 20 01 41 9C 01 6C 20 02 41 3D 6C
6A 20 03 41 96 01 6C 20 04 41 AA 01 6C 6A 20 07
41 EE 00 6C 6A 20 08 41 E3 00 6C 22 35 6A 20 0A
41 FF 00 6C 6A 20 0B 20 06 6A 41 E5 00 6C 6A 20
0C 41 CB 01 6C 6A 20 0D 41 D1 01 6C 6A 20 0F 41
E4 00 6C 6A 20 10 20 05 6A 41 E2 01 6C 6A 20 12
41 BA 01 6C 6A 20 13 41 FC 01 6C 6A 20 14 41 27
6C 6A 20 15 41 C1 00 6C 6A 20 16 41 C3 00 6C 22
36 6A 20 29 6A 20 18 41 AE 01 6C 6A 20 19 6A 20
1B 41 D6 01 6C 6A 20 1A 20 0E 6A 41 BB 01 6C 6A
20 1C 41 16 6C 6A 20 1D 41 CA 00 6C 22 29 6A 20
1F 41 E3 00 6C 6A 20 21 41 81 01 6C 6A 20 22 41
FE 01 6C 6A 20 23 41 0D 6C 22 37 6A 20 25 41 E1
00 6C 6A 6A 41 F6 CC 17 47 0D 00 20 01 41 9A 01
6C 20 02 41 F5 00 6C 6A 20 03 41 D8 00 6C 20 04
6A 20 05 41 F6 00 6C 6A 20 06 41 E8 01 6C 6A 20
07 41 3C 6C 6A 20 08 41 FC 01 6C 6A 20 0A 41 85
01 6C 6A 20 0B 41 B1 01 6C 6A 20 0C 41 B9 01 6C
6A 20 0D 41 DE 01 6C 6A 20 0E 41 05 74 6A 20 0F
41 30 6C 6A 20 10 6A 20 12 41 F2 01 6C 6A 20 13
41 F0 01 6C 6A 20 14 41 DA 01 6C 6A 20 15 41 D1
00 6C 6A 20 16 41 16 6C 6A 20 17 41 C9 00 6C 6A
20 18 41 AB 01 6C 6A 20 34 6A 20 1A 41 C8 00 6C
6A 20 1B 41 EA 00 6C 6A 20 1C 41 3E 6C 6A 20 1D
41 9C 01 6C 6A 20 1F 41 86 01 6C 6A 20 21 41 DC
01 6C 6A 20 22 41 13 6C 6A 20 23 41 CD 00 6C 6A
20 25 41 DE 00 6C 6A 6A 41 FB A3 15 47 0D 00 20
01 41 DC 01 6C 20 02 41 97 01 6C 6A 20 03 41 AD
01 6C 20 04 41 BD 01 6C 6A 20 05 41 29 6C 6A 20
06 41 27 6C 6A 20 07 41 1A 6C 6A 20 08 41 E8 01
6C 6A 20 0A 41 CB 00 6C 22 38 6A 20 0B 41 CB 00
6C 6A 20 0C 41 DF 00 6C 6A 20 2E 6A 20 0E 41 F5
00 6C 6A 20 0F 41 E0 00 6C 22 34 6A 20 10 41 D3
01 6C 6A 20 12 41 82 01 6C 6A 20 13 41 E4 01 6C
6A 20 14 41 8F 01 6C 6A 20 15 41 DB 00 6C 6A 20
16 41 F7 01 6C 22 2E 6A 20 17 41 2B 6C 6A 20 18
41 FA 00 6C 6A 20 19 41 83 01 6C 6A 20 1A 41 34
6C 6A 20 1B 41 30 6C 6A 20 1C 41 1D 6C 6A 20 1D
41 EF 00 6C 6A 20 1F 41 26 6C 6A 20 21 41 13 6C
6A 20 22 41 F2 01 6C 6A 20 23 41 A2 01 6C 6A 20
25 41 C6 00 6C 6A 6A 41 D4 AB 13 47 0D 00 20 01
41 E7 01 6C 20 02 41 DC 00 6C 6A 20 03 41 88 01
6C 20 04 41 EC 01 6C 6A 20 05 41 93 01 6C 6A 20
06 41 E8 00 6C 22 39 6A 20 07 41 CF 00 6C 6A 20
08 41 CC 01 6C 6A 20 0A 41 DC 01 6C 6A 20 0B 41
19 6C 6A 20 0C 41 26 6C 6A 20 0D 41 E9 01 6C 6A
20 0E 41 A5 01 6C 6A 20 0F 41 14 6C 6A 20 10 41
AE 01 6C 6A 20 12 41 F8 00 6C 6A 20 13 41 D6 01
6C 6A 20 14 41 12 6C 6A 20 15 41 E9 01 6C 22 3A
6A 20 16 41 F7 00 6C 6A 20 17 41 F4 01 6C 6A 20
18 41 8F 01 6C 6A 20 19 41 FE 00 6C 6A 20 1A 41
E2 01 6C 6A 20 1B 41 CD 00 6C 6A 20 1C 41 21 6C
6A 20 1D 41 BD 01 6C 6A 20 1F 41 05 6C 6A 20 21
41 96 01 6C 6A 20 22 41 A0 01 6C 6A 20 23 41 0E
6C 6A 20 25 41 F0 00 6C 22 3B 6A 6A 41 8C DF 16
47 0D 00 20 01 41 32 6C 20 02 41 CB 01 6C 6A 20
03 41 26 6C 20 04 41 BF 01 6C 6A 20 05 41 C1 01
6C 6A 20 06 41 FA 01 6C 6A 20 07 41 D4 01 6C 6A
20 08 41 AF 01 6C 6A 20 0A 41 27 6C 6A 20 0B 41
DE 00 6C 22 3C 6A 20 0C 41 B7 01 6C 6A 20 0D 41
AC 01 6C 6A 20 0E 41 AB 01 6C 6A 20 0F 41 A3 01
6C 6A 20 10 41 81 01 6C 6A 20 12 41 A5 01 6C 6A
20 13 41 06 74 6A 20 14 41 AA 01 6C 22 3D 6A 20
15 41 C7 01 6C 6A 20 17 41 A7 01 6C 6A 20 19 41
D8 01 6C 6A 20 18 20 16 6A 22 3E 41 01 74 6A 20
1A 41 FC 01 6C 22 3F 6A 20 1B 41 B8 01 6C 6A 20
1C 41 BB 01 6C 6A 20 1D 41 E1 00 6C 6A 20 1F 41
ED 00 6C 6A 20 21 41 E2 00 6C 6A 20 22 41 87 01
6C 22 40 6A 20 23 41 C0 01 6C 6A 20 25 41 D8 00
6C 6A 6A 41 AE 9B 19 47 0D 00 20 01 41 2B 6C 20
02 41 C4 01 6C 6A 20 03 41 D1 00 6C 20 04 41 CB
01 6C 6A 20 05 41 FC 01 6C 6A 20 39 6A 20 07 41
F8 01 6C 6A 20 08 41 9C 01 6C 6A 20 0A 41 C7 01
6C 6A 20 0B 41 2E 6C 6A 20 0D 41 F0 01 6C 6A 20
0E 41 95 01 6C 6A 20 0F 41 9B 01 6C 22 41 6A 20
10 41 E6 00 6C 6A 20 12 41 DF 00 6C 6A 20 13 41
33 6C 6A 20 16 41 3E 6C 6A 20 17 41 3A 6C 22 39
6A 20 14 20 0C 6A 20 15 6A 41 D0 01 6C 6A 20 18
41 F5 00 6C 6A 20 19 41 C8 00 6C 6A 20 1A 41 17
6C 6A 20 1B 41 C1 01 6C 22 42 6A 20 1C 41 C1 01
6C 6A 20 1D 41 E2 01 6C 6A 20 1F 41 D9 01 6C 6A
20 21 41 EA 00 6C 6A 20 22 41 93 01 6C 6A 20 2D
6A 20 25 41 04 74 6A 6A 41 F5 94 1A 47 0D 00 20
01 41 D0 00 6C 20 02 41 31 6C 6A 20 03 41 C5 00
6C 20 04 41 90 01 6C 6A 20 05 41 E0 01 6C 6A 20
06 41 EB 00 6C 6A 20 07 41 E1 01 6C 6A 20 08 41
D3 00 6C 22 2D 6A 20 0A 41 0F 6C 6A 20 0B 41 0A
6C 6A 20 0C 41 D6 01 6C 6A 20 0D 41 98 01 6C 6A
20 0E 41 18 6C 6A 20 0F 41 88 01 6C 6A 20 10 41
A5 01 6C 6A 20 12 41 D0 01 6C 6A 20 13 41 26 6C
6A 20 14 41 C3 00 6C 22 43 6A 20 15 41 C9 01 6C
6A 20 16 41 B4 01 6C 6A 20 17 41 9E 01 6C 6A 20
18 41 CB 00 6C 6A 20 19 41 EF 00 6C 6A 20 1A 41
C1 00 6C 6A 20 1B 41 D3 01 6C 6A 20 1C 41 DC 01
6C 6A 20 1E 6A 20 1F 41 FD 00 6C 22 1E 6A 20 21
41 D8 01 6C 6A 20 22 41 E9 00 6C 6A 20 23 41 FA
00 6C 6A 20 3B 6A 6A 41 9C D6 16 47 0D 00 20 01
41 CC 00 6C 20 02 41 81 01 6C 6A 20 03 41 C4 00
6C 20 04 41 8F 01 6C 6A 20 05 41 FF 00 6C 22 44
6A 20 06 41 33 6C 6A 20 08 41 D8 00 6C 6A 20 0A
41 99 01 6C 6A 20 0B 41 09 6C 6A 20 0C 41 95 01
6C 22 3B 6A 20 0D 41 EB 00 6C 6A 20 0E 41 B2 01
6C 6A 20 0F 41 A6 01 6C 6A 20 10 41 BE 01 6C 22
45 6A 20 12 41 B1 01 6C 6A 20 13 41 E3 00 6C 6A
20 14 41 C7 00 6C 6A 20 15 41 3F 6C 22 46 6A 20
16 41 E9 01 6C 6A 20 39 6A 20 18 41 84 01 6C 6A
20 19 41 ED 00 6C 6A 20 1A 41 CB 00 6C 6A 20 1C
41 DF 00 6C 22 39 6A 20 1B 20 07 6A 41 98 01 6C
6A 20 29 6A 20 1F 41 C3 01 6C 22 29 6A 20 21 41
DA 00 6C 6A 20 22 41 FB 01 6C 6A 20 23 41 CD 01
6C 6A 20 25 41 03 74 6A 6A 41 80 B5 15 47 0D 00
20 01 41 1F 6C 20 02 41 E6 00 6C 6A 20 03 41 92
01 6C 20 04 41 D1 01 6C 6A 20 05 41 3B 6C 6A 20
06 41 26 6C 6A 20 07 41 28 6C 6A 20 08 41 38 6C
6A 20 0A 41 B6 01 6C 6A 20 0B 41 F5 01 6C 6A 20
2C 6A 20 0D 41 CA 01 6C 6A 20 0E 41 B1 01 6C 6A
20 10 41 1A 6C 6A 20 12 41 FE 00 6C 6A 20 13 41
A1 01 6C 6A 20 14 41 DF 00 6C 6A 20 15 41 85 01
6C 6A 20 16 41 FB 00 6C 6A 20 17 41 A3 01 6C 6A
20 18 41 1E 6C 22 47 6A 20 19 41 D8 00 6C 6A 20
1A 41 DB 01 6C 6A 20 1B 41 05 6C 22 2C 6A 20 1C
41 D6 00 6C 6A 20 1F 41 9C 01 6C 6A 20 1D 20 0F
6A 41 B7 01 6C 6A 20 21 41 FD 01 6C 6A 20 31 6A
20 23 41 2B 6C 6A 20 25 41 07 74 6A 6A 41 C8 B4
14 47 0D 00 20 01 41 DB 00 6C 20 02 41 88 01 6C
6A 20 03 41 DF 01 6C 20 04 41 92 01 6C 6A 20 05
41 89 01 6C 6A 20 06 41 E4 01 6C 6A 20 07 41 E2
01 6C 6A 20 08 41 9B 01 6C 6A 20 0A 41 AA 01 6C
6A 20 0B 41 DC 00 6C 6A 20 0C 41 CD 00 6C 6A 20
0D 41 11 6C 6A 20 0E 41 16 6C 6A 20 0F 41 07 74
6A 20 10 41 14 6C 6A 20 12 41 AB 01 6C 6A 20 13
41 8E 01 6C 22 31 6A 20 3D 6A 20 15 41 C0 01 6C
6A 20 16 41 31 6C 6A 20 17 41 C8 01 6C 6A 20 18
41 B2 01 6C 6A 20 19 41 9A 01 6C 6A 20 1A 41 2A
6C 6A 20 2C 6A 20 1C 41 9F 01 6C 6A 20 1D 41 FB
01 6C 6A 20 1F 41 98 01 6C 6A 20 21 41 07 6C 22
2C 6A 20 22 41 F7 01 6C 6A 20 23 41 91 01 6C 6A
20 25 41 27 6C 6A 6A 41 E6 AE 17 47 0D 00 20 01
41 F9 00 6C 20 02 20 0B 6A 41 CD 01 6C 6A 20 03
41 CC 01 6C 20 04 41 A9 01 6C 6A 20 05 41 F4 01
6C 6A 20 06 41 1A 6C 6A 20 07 41 CD 00 6C 6A 20
08 41 86 01 6C 6A 20 0A 41 DD 01 6C 6A 20 3B 6A
20 0D 41 2F 6C 6A 20 0E 6A 20 0F 41 C5 01 6C 6A
20 10 41 D2 00 6C 6A 20 12 41 C3 01 6C 6A 20 13
41 FB 00 6C 6A 20 14 41 DB 01 6C 6A 20 15 41 F4
00 6C 6A 20 16 41 D0 00 6C 6A 20 17 41 0D 6C 6A
20 18 41 E7 01 6C 6A 20 19 41 AD 01 6C 6A 20 1A
41 C0 01 6C 6A 20 1B 41 DC 01 6C 6A 20 1C 41 E0
01 6C 6A 20 1D 41 EC 00 6C 6A 20 1F 41 E8 00 6C
6A 20 21 41 38 6C 6A 20 22 41 98 01 6C 6A 20 23
41 D4 00 6C 6A 20 25 41 E2 01 6C 6A 6A 41 C0 D2
19 47 0D 00 20 01 41 C9 00 6C 20 02 41 DF 00 6C
6A 20 03 41 2D 6C 20 04 41 B8 01 6C 22 3B 6A 20
05 41 B0 01 6C 6A 20 08 41 A1 01 6C 6A 20 0A 41
8E 01 6C 6A 20 26 6A 20 0C 41 D7 01 6C 6A 20 0D
41 D3 00 6C 6A 20 0E 41 E9 01 6C 6A 20 0F 41 B8
01 6C 6A 20 10 41 AB 01 6C 6A 20 12 41 B6 01 6C
6A 20 13 20 06 6A 41 FE 00 6C 6A 20 14 41 EF 00
6C 6A 20 15 20 07 6A 41 F6 00 6C 6A 20 36 6A 20
17 41 DC 00 6C 6A 20 18 41 DB 01 6C 6A 20 19 41
C6 00 6C 6A 20 3F 6A 20 1B 41 C2 01 6C 6A 20 1C
41 15 6C 6A 20 1D 41 F5 01 6C 6A 20 1F 41 CC 01
6C 6A 20 21 41 30 6C 6A 20 22 41 96 01 6C 6A 20
23 41 27 6C 6A 20 25 41 D5 00 6C 6A 6A 41 D7 C6
18 47 0D 00 20 01 41 AA 01 6C 22 26 20 02 41 F8
00 6C 6A 20 03 41 E0 01 6C 20 04 41 30 6C 6A 20
05 41 A4 01 6C 22 36 6A 20 06 41 8A 01 6C 6A 20
07 41 DC 00 6C 6A 20 08 41 03 6C 6A 20 0A 41 BF
01 6C 6A 20 3C 6A 20 0C 41 13 6C 6A 20 0D 41 32
6C 6A 20 0E 41 22 6C 6A 20 0F 41 A7 01 6C 6A 20
10 41 CB 00 6C 6A 20 12 41 C8 00 6C 6A 20 13 41
EE 01 6C 6A 20 14 41 0F 6C 6A 20 15 41 EF 00 6C
6A 20 16 41 D8 01 6C 6A 20 17 41 D4 00 6C 6A 20
18 41 28 6C 6A 20 19 41 91 01 6C 6A 20 1A 41 F0
00 6C 6A 20 1B 41 8C 01 6C 6A 20 1C 41 CC 01 6C
6A 20 2B 6A 20 29 6A 20 21 41 AF 01 6C 6A 20 22
41 FA 01 6C 6A 20 23 41 CA 01 6C 6A 20 25 41 A9
01 6C 6A 6A 41 F8 B2 16 47 0D 00 20 26 20 02 41
C4 00 6C 6A 20 05 41 BD 01 6C 20 04 41 F0 00 6C
6A 20 06 41 32 6C 6A 20 07 41 F7 01 6C 6A 20 09
6A 20 0A 41 A4 01 6C 6A 20 0B 41 05 6C 6A 20 0C
41 8B 01 6C 6A 20 0D 41 38 6C 6A 20 0E 20 03 6A
41 13 6C 6A 20 0F 41 02 74 6A 20 10 41 17 6C 6A
20 13 41 E0 00 6C 6A 20 14 41 FE 01 6C 6A 20 46
6A 20 2E 6A 20 17 41 95 01 6C 6A 20 18 41 B7 01
6C 6A 20 19 41 07 74 6A 20 1A 41 93 01 6C 6A 20
1B 41 D5 01 6C 6A 20 1C 41 F3 01 6C 6A 20 1D 20
12 6A 22 09 41 AC 01 6C 6A 20 1F 41 90 01 6C 6A
20 21 41 F6 01 6C 6A 20 22 41 19 6C 6A 20 23 41
EA 00 6C 6A 20 25 41 B0 01 6C 6A 6A 41 8D BF 17
47 0D 00 20 02 41 1F 6C 20 01 20 1D 6A 41 29 6C
6A 20 03 41 16 6C 20 3B 6A 20 05 41 B7 01 6C 6A
20 06 41 07 74 6A 20 07 41 95 01 6C 6A 20 0A 41
E3 01 6C 6A 20 0B 41 F1 00 6C 6A 20 0C 41 C1 00
6C 6A 20 0D 41 9F 01 6C 6A 20 0E 41 CA 00 6C 6A
20 0F 41 AA 01 6C 6A 20 10 41 BA 01 6C 6A 20 12
20 08 6A 41 AE 01 6C 6A 20 13 41 D3 01 6C 6A 20
14 6A 20 16 41 9C 01 6C 6A 20 17 41 FD 01 6C 6A
20 18 20 15 6A 41 DF 01 6C 6A 20 19 41 F1 01 6C
6A 20 3F 6A 20 1B 41 94 01 6C 6A 20 1C 41 DD 00
6C 6A 20 1E 6A 20 21 41 1B 6C 6A 20 22 41 88 01
6C 6A 20 23 41 CE 00 6C 6A 20 25 41 F8 01 6C 6A
6A 41 F3 F9 19 47 0D 00 20 2F 20 02 41 27 6C 6A
20 03 41 ED 01 6C 20 04 41 9B 01 6C 6A 20 05 41
F2 01 6C 6A 20 07 41 91 01 6C 6A 20 35 6A 20 0A
41 EF 01 6C 6A 20 0C 41 03 6C 6A 20 0D 41 2B 6C
6A 20 0E 41 2E 6C 6A 20 41 6A 20 10 41 D0 01 6C
6A 20 12 41 CB 00 6C 6A 20 14 41 B5 01 6C 6A 20
15 41 C5 01 6C 6A 20 16 20 13 6A 41 8C 01 6C 6A
20 17 20 06 6A 41 0A 6C 6A 20 18 41 AA 01 6C 6A
20 19 41 8E 01 6C 6A 20 1A 41 D4 01 6C 6A 20 1B
41 BA 01 6C 6A 20 1C 41 1B 6C 6A 20 1D 20 0B 6A
41 E9 00 6C 6A 20 1F 41 F6 00 6C 6A 20 21 41 C6
01 6C 6A 20 22 41 F3 01 6C 6A 20 37 6A 20 25 41
F1 00 6C 22 1E 6A 6A 41 C2 DB 16 47 0D 00 20 02
41 32 6C 20 01 20 1C 6A 41 88 01 6C 6A 20 03 41
CE 01 6C 20 04 41 CF 01 6C 6A 20 44 6A 20 06 41
3A 6C 6A 20 07 41 DB 00 6C 6A 20 0A 41 07 6C 6A
20 0B 41 11 6C 6A 20 0C 41 3F 6C 6A 20 0D 41 B4
01 6C 6A 20 27 6A 20 34 6A 20 10 41 CA 01 6C 6A
20 12 41 B9 01 6C 6A 20 13 41 C4 00 6C 6A 20 14
41 C8 00 6C 6A 20 15 41 F0 01 6C 6A 20 16 41 24
6C 6A 20 17 41 8B 01 6C 6A 20 18 41 C7 01 6C 6A
20 19 41 CC 00 6C 6A 20 1A 41 E5 01 6C 6A 20 1B
41 9F 01 6C 6A 20 1D 41 DE 00 6C 6A 20 1F 41 13
6C 6A 20 21 41 03 6C 6A 20 23 41 2D 6C 6A 20 22
20 08 6A 41 D7 00 6C 6A 20 25 41 06 6C 6A 6A 41
A5 94 12 47 0D 00 20 01 41 DA 00 6C 20 02 41 0C
6C 6A 20 03 41 D7 01 6C 20 04 41 F3 00 6C 6A 20
05 41 28 6C 22 29 6A 20 06 41 A6 01 6C 6A 20 07
41 D7 00 6C 6A 20 2D 6A 20 0A 41 CA 00 6C 6A 20
0B 41 CA 01 6C 6A 20 0D 41 95 01 6C 6A 20 0E 41
F2 00 6C 6A 20 0F 41 CC 00 6C 6A 20 10 41 CC 01
6C 6A 20 12 41 DA 01 6C 6A 20 13 41 3F 6C 6A 20
14 41 FB 00 6C 6A 20 15 41 09 6C 6A 20 16 41 AC
01 6C 6A 20 17 41 26 6C 6A 20 18 41 8A 01 6C 6A
20 19 41 23 6C 6A 20 1A 41 C8 01 6C 6A 20 1B 41
DD 01 6C 22 26 6A 20 1C 41 90 01 6C 6A 20 1F 41
EC 00 6C 6A 20 21 6A 20 1D 20 0C 6A 41 EB 01 6C
6A 20 22 41 F5 01 6C 6A 20 23 41 99 01 6C 6A 20
25 41 B8 01 6C 6A 6A 41 F7 DB 16 47 0D 00 20 01
41 F2 00 6C 20 02 41 24 6C 6A 20 03 41 BE 01 6C
20 04 41 FB 00 6C 6A 20 05 41 37 6C 6A 20 06 41
B4 01 6C 6A 20 07 41 D4 00 6C 6A 20 08 41 E7 01
6C 6A 20 0A 41 D1 00 6C 6A 20 0B 41 F4 00 6C 6A
20 0C 41 3D 6C 6A 20 0D 41 03 6C 6A 20 0E 41 DE
00 6C 6A 20 45 6A 20 12 41 BB 01 6C 6A 20 31 6A
20 14 41 3E 6C 6A 20 15 41 E1 01 6C 6A 20 16 41
F0 01 6C 6A 20 17 41 B3 01 6C 6A 20 18 41 96 01
6C 6A 20 19 41 CD 00 6C 6A 20 1B 41 C4 01 6C 6A
20 1A 20 0F 6A 41 D5 00 6C 6A 20 1C 41 0C 6C 6A
20 1D 41 90 01 6C 6A 20 1F 41 FA 00 6C 6A 20 21
41 1C 6C 6A 20 22 41 E0 01 6C 6A 20 24 6A 20 25
41 8F 01 6C 6A 6A 41 A1 CD 16 47 0D 00 20 01 41
BE 01 6C 20 02 20 0F 6A 41 FA 00 6C 6A 20 03 41
CA 01 6C 20 04 41 01 74 6A 20 29 6A 20 06 41 E0
01 6C 6A 20 07 41 9A 01 6C 6A 20 08 41 C1 00 6C
6A 20 0B 41 F1 01 6C 6A 20 0C 41 0D 6C 6A 20 0D
41 D5 01 6C 6A 20 0E 41 B0 01 6C 6A 20 10 20 0A
6A 41 1E 6C 6A 20 13 41 0E 6C 6A 20 14 41 BF 01
6C 6A 20 15 41 D0 00 6C 6A 20 16 41 F4 00 6C 6A
20 17 41 CA 00 6C 6A 20 18 41 C6 00 6C 6A 20 2A
6A 20 1A 41 BD 01 6C 6A 20 1B 41 CC 00 6C 6A 20
39 6A 20 1F 41 E7 00 6C 6A 20 09 41 9E 01 6C 6A
20 2C 6A 20 22 41 C9 01 6C 6A 20 23 41 CC 01 6C
6A 20 25 41 DB 00 6C 6A 6A 41 C4 99 13 47 0D 00
20 01 41 05 6C 20 02 41 B0 01 6C 6A 20 03 41 9A
01 6C 20 04 41 2A 6C 6A 20 05 41 DF 01 6C 6A 20
06 41 A5 01 6C 6A 20 32 6A 20 08 41 E5 00 6C 6A
20 38 6A 20 0B 41 DF 00 6C 6A 20 0C 41 FD 01 6C
6A 20 0D 41 0E 6C 6A 20 0E 41 9E 01 6C 6A 20 0F
41 C7 01 6C 6A 20 10 41 EE 00 6C 6A 20 12 41 D9
00 6C 6A 20 13 41 CD 01 6C 6A 20 14 41 CA 01 6C
6A 20 16 41 A2 01 6C 6A 20 17 41 C3 00 6C 6A 20
47 6A 20 19 41 F3 00 6C 6A 20 1B 41 1B 6C 6A 20
1A 20 15 6A 41 D3 00 6C 6A 20 1C 41 1F 6C 6A 20
1D 41 F6 00 6C 6A 20 1F 41 A0 01 6C 6A 20 21 41
F8 01 6C 6A 20 22 41 C2 00 6C 6A 20 23 41 D8 00
6C 6A 20 25 41 2C 6C 6A 6A 41 D6 F2 13 47 0D 00
20 02 41 D4 00 6C 20 01 20 15 6A 41 FD 00 6C 6A
20 03 41 A8 01 6C 20 04 41 22 6C 6A 20 06 41 A0
01 6C 6A 20 07 41 F3 01 6C 6A 20 08 41 29 6C 6A
20 0A 41 92 01 6C 6A 20 0C 41 3E 6C 6A 20 0D 41
EB 01 6C 6A 20 0E 41 B9 01 6C 6A 20 28 6A 20 10
41 0A 6C 6A 20 12 41 96 01 6C 6A 20 14 41 8C 01
6C 6A 20 16 41 F2 00 6C 6A 20 17 41 23 6C 6A 20
30 6A 20 19 41 26 6C 6A 20 1A 41 FB 00 6C 6A 20
1B 41 A3 01 6C 6A 20 1D 41 05 6C 6A 20 1C 20 13
6A 41 D0 01 6C 6A 20 1F 20 0B 6A 41 1D 6C 6A 20
21 41 CF 01 6C 6A 20 22 41 EF 00 6C 6A 20 23 20
05 6A 41 C8 00 6C 6A 20 25 41 C1 00 6C 6A 6A 41
90 DF 12 47 0D 00 20 01 41 8C 01 6C 20 02 41 C5
01 6C 6A 20 03 41 0B 6C 20 04 41 12 6C 6A 20 06
41 AF 01 6C 6A 20 07 41 2C 6C 6A 20 08 41 07 74
6A 20 0A 41 05 74 6A 20 0B 41 E4 00 6C 6A 20 0D
41 F4 00 6C 6A 20 0E 41 FD 01 6C 6A 20 0F 41 D5
01 6C 6A 20 11 6A 20 12 41 04 74 6A 20 13 41 AB
01 6C 6A 20 14 41 B2 01 6C 6A 20 16 41 07 6C 6A
20 17 41 A2 01 6C 6A 20 18 41 98 01 6C 6A 20 19
41 CE 00 6C 6A 20 1A 41 A7 01 6C 6A 20 1B 41 B1
01 6C 6A 20 1C 20 15 6A 41 E1 00 6C 6A 20 1D 20
05 6A 41 1A 6C 6A 20 1F 41 9B 01 6C 6A 20 21 41
FF 00 6C 6A 20 22 20 0C 6A 41 15 6C 6A 20 23 41
F3 01 6C 6A 20 25 41 BC 01 6C 6A 6A 41 A4 D6 13
47 0D 00 20 01 41 98 01 6C 20 02 20 22 6A 41 07
6C 6A 20 03 41 EE 00 6C 20 04 41 8C 01 6C 6A 20
36 6A 20 06 41 D0 01 6C 6A 20 07 41 C8 00 6C 6A
20 08 41 F1 00 6C 6A 20 0A 41 09 6C 6A 20 0B 41
2F 6C 6A 20 0C 41 B3 01 6C 6A 20 0D 41 A6 01 6C
6A 20 0E 41 33 6C 6A 20 0F 41 22 6C 6A 20 10 41
DB 00 6C 6A 20 12 41 B8 01 6C 6A 20 13 41 D9 00
6C 6A 20 14 41 A2 01 6C 6A 20 3A 6A 20 17 41 9C
01 6C 6A 20 19 41 F4 01 6C 6A 20 3E 41 FF 00 6C
6A 20 1A 41 B7 01 6C 6A 20 42 6A 20 1C 41 8A 01
6C 6A 20 1D 41 F2 01 6C 6A 20 20 6A 20 21 41 C1
01 6C 6A 20 23 41 FC 01 6C 6A 20 1E 6A 6A 41 AC
9E 17 47 0D 00 20 01 41 C5 01 6C 20 02 20 05 6A
41 CB 00 6C 6A 20 03 41 E9 00 6C 20 04 41 85 01
6C 6A 20 06 41 92 01 6C 6A 20 07 41 AD 01 6C 6A
20 08 41 1B 6C 6A 20 0A 41 E1 00 6C 6A 20 0B 41
8E 01 6C 6A 20 0C 41 A4 01 6C 6A 20 0D 41 0F 6C
6A 20 0E 41 0A 6C 6A 20 0F 41 B1 01 6C 6A 20 10
41 EF 01 6C 6A 20 12 41 8D 01 6C 6A 20 13 41 BD
01 6C 6A 20 43 6A 20 15 41 99 01 6C 6A 20 16 41
EC 00 6C 6A 20 17 41 CE 01 6C 6A 20 18 41 D2 01
6C 6A 20 19 41 AB 01 6C 6A 20 3F 6A 20 1B 41 D4
00 6C 6A 20 1C 41 F9 01 6C 6A 20 1D 41 07 6C 6A
20 1F 41 A8 01 6C 6A 20 21 41 E4 00 6C 6A 20 22
41 1E 6C 6A 20 23 41 C4 01 6C 22 08 6A 20 25 41
F4 01 6C 6A 6A 41 F3 80 18 47 0D 00 20 01 41 35
6C 20 02 41 CF 00 6C 6A 20 03 41 DD 01 6C 20 04
41 93 01 6C 6A 20 05 41 39 6C 6A 20 06 41 BA 01
6C 6A 20 07 41 C5 00 6C 6A 20 33 6A 20 0A 41 A7
01 6C 6A 20 0B 41 03 6C 6A 20 0C 41 DC 01 6C 6A
20 0D 41 3F 6C 6A 20 0F 41 EB 01 6C 6A 20 10 41
9C 01 6C 6A 20 12 41 92 01 6C 6A 20 13 41 CB 00
6C 6A 20 14 41 C6 01 6C 6A 20 15 41 CC 01 6C 6A
20 16 41 C5 01 6C 6A 20 17 41 3B 6C 6A 20 18 41
3D 6C 6A 20 19 41 B3 01 6C 6A 20 1A 41 2F 6C 6A
20 26 6A 20 1C 41 FF 00 6C 6A 20 1D 41 D2 01 6C
6A 20 21 41 F1 01 6C 6A 20 1F 20 0E 6A 41 DA 01
6C 6A 20 40 6A 20 08 6A 20 25 41 B9 01 6C 6A 6A
41 D7 A1 1A 46 21 00 0B 20 00 0B 0B D4 01 01 00
41 80 08 0B CC 01 00 00 00 00 00 00 00 00 00 00
00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
00 00 00 83 01 04 6E 61 6D 65 01 7C 0D 00 11 5F
5F 77 61 73 6D 5F 63 61 6C 6C 5F 63 74 6F 72 73
01 01 6F 02 02 6F 6F 03 03 6F 6F 6F 04 04 6F 6F
6F 6F 05 05 6F 6F 6F 6F 6F 06 06 6F 6F 6F 6F 6F
6F 07 07 6F 6F 6F 6F 6F 6F 6F 08 08 6F 6F 6F 6F
6F 6F 6F 6F 09 0E 73 65 74 5F 69 6E 70 75 74 5F
66 6C 61 67 0A 12 73 65 74 5F 69 6E 70 75 74 5F
66 6C 61 67 5F 6C 65 6E 0B 09 63 68 65 63 6B 5F
6B 65 79 0C 03 78 78 78
`.trim().split(/[\s\r\n]+/g).map(str => parseInt(str, 16))
    )).then(module => {
        new WebAssembly.instantiate(module).then(results => {
            instance = results;
        }).catch(console.error);
    })

    function check_flag() {
        var value = document.getElementById("key_value").value;
        if (value.length != 32) {
            document.getElementById("tips").innerHTML = "Not Correct!";
            return;
        }
        instance.exports.set_input_flag_len(value.length);
        for (var ii = 0; ii < value.length; ii++) {
            instance.exports.set_input_flag(value[ii].charCodeAt(), ii);
        }
        var ret = instance.exports.check_key();

        if (ret == 1) {
            document.getElementById("tips").innerHTML = "Congratulations!"
        }
        else {
            document.getElementById("tips").innerHTML = "Not Correct!"
        }
    }
</script>
<body>
<div>Key: <input id="key_value" type="text" name="key" style="width:60%" ;="" value=""> <input type="submit"
                                                                                               value="check"
                                                                                               onclick="check_flag()">
</div>
<div><label id="tips"></label></div>

</body>
</html>
原来是披着安卓的wasm题目, 将bytearray的数组用010写入文件, 用wasm2c翻译成c源码,
https://github.com/WebAssembly/wabt/tree/master/wasm2c

 wasm2c ~/1.wasm -o  ~/1.c

直接有了c的逻辑(见附件),主要逻辑就是,输入的字符,和固定的数组xor后,要满足一定的公式。
但是翻译出来的代码比较多,用编译器编译成二进制文件,再用ida分析这个bin文件,F5整理公式,z3一把all in, z3脚本如下

from z3 import *

v1024 = Int('v1024')
v1025 = Int('v1025')
v1026 = Int('v1026')
v1027 = Int('v1027')
v1028 = Int('v1028')
v1029 = Int('v1029')
v1030 = Int('v1030')
v1031 = Int('v1031')
v1032 = Int('v1032')
v1033 = Int('v1033')
v1034 = Int('v1034')
v1035 = Int('v1035')
v1036 = Int('v1036')
v1037 = Int('v1037')
v1038 = Int('v1038')
v1039 = Int('v1039')
v1040 = Int('v1040')
v1041 = Int('v1041')
v1042 = Int('v1042')
v1043 = Int('v1043')
v1044 = Int('v1044')
v1045 = Int('v1045')
v1046 = Int('v1046')
v1047 = Int('v1047')
v1048 = Int('v1048')
v1049 = Int('v1049')
v1050 = Int('v1050')
v1051 = Int('v1051')
v1052 = Int('v1052')
v1053 = Int('v1053')
v1054 = Int('v1054')
v1055 = Int('v1055')

v1 = 252 * v1045;

s = Solver()
s.add(v1024 >= 0, v1024 <= 0xff)
s.add(v1025 >= 0, v1025 <= 0xff)
s.add(v1026 >= 0, v1026 <= 0xff)
s.add(v1027 >= 0, v1027 <= 0xff)
s.add(v1028 >= 0, v1028 <= 0xff)
s.add(v1029 >= 0, v1029 <= 0xff)
s.add(v1030 >= 0, v1030 <= 0xff)
s.add(v1031 >= 0, v1031 <= 0xff)
s.add(v1032 >= 0, v1032 <= 0xff)
s.add(v1033 >= 0, v1033 <= 0xff)
s.add(v1034 >= 0, v1034 <= 0xff)
s.add(v1035 >= 0, v1035 <= 0xff)
s.add(v1036 >= 0, v1036 <= 0xff)
s.add(v1037 >= 0, v1037 <= 0xff)
s.add(v1038 >= 0, v1038 <= 0xff)
s.add(v1039 >= 0, v1039 <= 0xff)
s.add(v1040 >= 0, v1040 <= 0xff)
s.add(v1041 >= 0, v1041 <= 0xff)
s.add(v1042 >= 0, v1042 <= 0xff)
s.add(v1043 >= 0, v1043 <= 0xff)
s.add(v1044 >= 0, v1044 <= 0xff)
s.add(v1045 >= 0, v1045 <= 0xff)
s.add(v1046 >= 0, v1046 <= 0xff)
s.add(v1047 >= 0, v1047 <= 0xff)
s.add(v1048 >= 0, v1048 <= 0xff)
s.add(v1049 >= 0, v1049 <= 0xff)
s.add(v1050 >= 0, v1050 <= 0xff)
s.add(v1051 >= 0, v1051 <= 0xff)
s.add(v1052 >= 0, v1052 <= 0xff)
s.add(v1053 >= 0, v1053 <= 0xff)
s.add(v1054 >= 0, v1054 <= 0xff)
s.add(v1055 >= 0, v1055 <= 0xff)

s.add(48 * v1054
      + 174 * v1055
      + 111 * v1025
      + 108 * v1024
      + 92 * v1026
      + 194 * v1027
      + 124 * v1028
      + 240 * v1029
      + 126 * v1030
      + 81 * v1031
      + 144 * v1032
      + 103 * v1033
      + 161 * v1034
      + 50 * v1035
      + 67 * v1036
      + 15 * v1037
      + 127 * v1038
      + 232 * v1039
      + 188 * v1040
      + 19 * v1041
      + 233 * v1042
      + 153 * v1043
      + 231 * v1044
      + 40 * v1045
      + 112 * v1046
      + 106 * v1047
      + 135 * v1048
      + 90 * v1049
      + 67 * v1050
      + 20 * v1051
      + 248 * v1052
      + 45 * v1053 == 359512)

s.add(13 * v1054
      + 101 * v1055
      + 78 * v1025
      + 227 * v1024
      + 195 * v1026
      + 81 * v1027
      + 10 * v1028
      + 248 * v1029
      + 186 * v1030
      + 171 * v1031
      + 148 * v1032
      + 194 * v1033
      + 40 * v1034
      + 180 * v1035
      + 17 * v1036
      + 212 * v1037
      + 104 * v1038
      + 90 * v1039
      + 178 * v1040
      + 26 * v1041
      + 225 * v1042
      + 209 * v1043
      + 32 * v1044
      + 169 * v1045
      + 94 * v1046
      + 156 * v1047
      + 154 * v1048
      + 56 * v1049
      + 244 * v1050
      + 149 * v1051
      + 120 * v1052
      + 131 * v1053 == 387514)

s.add(240 * v1054
      + 53 * v1055
      + 44 * v1025
      + 83 * v1024
      + 95 * v1026
      + 131 * v1027
      + 30 * v1028
      + 55 * v1029
      + 46 * v1030
      + 36 * v1031
      + 67 * v1032
      + 109 * v1033
      + 69 * v1034
      + 8 * v1036
      + 248 * v1037
      + 40 * v1038
      + 154 * v1039
      + 86 * v1041
      + 251 * (v1040 + v1035)
      + 112 * v1042
      + 9 * v1043
      + 174 * v1044
      + 197 * v1045
      + 38 * v1046
      + 14 * v1047
      + 202 * v1048
      + 60 * v1049
      + 117 * v1050
      + 188 * v1051
      + 136 * v1052
      + 145 * v1053 == 301487)

s.add(234 * (v1054 + v1041)
      + 25 * (v1055 + v1053)
      + 162 * v1025
      + 152 * v1024
      + 112 * v1026
      + 57 * v1027
      + 102 * v1028
      + 182 * v1029
      + 10 * v1030
      + 139 * v1031
      + 30 * v1032
      + 7 * v1033
      + 145 * v1034
      + 127 * v1035
      + 148 * v1036
      + 5 * v1037
      + 165 * v1038
      + 109 * v1039
      + 110 * v1040
      + 113 * v1042
      + 33 * v1043
      + 192 * v1044
      + 45 * v1045
      + 65 * v1046
      + 105 * v1047
      + 140 * v1048
      + 116 * v1049
      + 35 * v1050
      + 48 * v1051
      + 155 * v1052 == 296549)

s.add(82 * v1054
      + 113 * v1055
      + 189 * v1025
      + 101 * v1024
      + 236 * v1026
      + 118 * v1027
      + 141 * v1028
      + 148 * v1029
      + 197 * v1030
      + 7 * v1031
      + 104 * v1033
      + 45 * v1034
      + 130 * v1035
      + 39 * v1036
      + 164 * v1037
      + 88 * v1038
      + 241 * v1039
      + 107 * v1041
      + 108 * (v1040 + v1032)
      + 76 * v1042
      + 34 * v1043
      + 210 * v1044
      + 29 * v1045
      + 156 * v1046
      + 90 * v1047
      + 139 * v1048
      + 151 * v1049
      + 10 * v1050
      + 97 * v1051
      + 209 * v1052
      + 46 * v1053 == 344514)

s.add(179 * v1054
      + 72 * (v1055 + v1040)
      + 13 * v1025
      + 182 * v1024
      + 50 * v1026
      + 102 * v1027
      + 155 * v1028
      + 230 * v1029
      + 3 * v1030
      + 225 * v1031
      + 237 * v1032
      + 163 * v1033
      + 38 * v1034
      + 176 * v1035
      + 115 * v1036
      + 105 * v1037
      + 203 * v1038
      + 26 * v1039
      + 111 * v1041
      + 96 * v1042
      + 240 * v1043
      + 139 * v1044
      + 117 * v1045
      + 153 * v1046
      + 120 * v1047
      + 151 * v1048
      + 25 * v1049
      + 49 * v1050
      + 90 * v1051
      + 98 * v1052
      + 7 * v1053 == 346892)

s.add(156 * v1054
      + 61 * v1055
      + 150 * v1025
      + 170 * v1024
      + 110 * v1028
      + 99 * v1029
      + 127 * v1030
      + 101 * (v1031 + v1027)
      + 203 * v1032
      + 209 * v1033
      + 100 * v1035
      + 226 * (v1036 + v1026)
      + 186 * v1037
      + 252 * v1038
      + 39 * v1039
      + 65 * v1040
      + 67 * v1041
      + 225 * v1042
      + 174 * v1043
      + v1044
      + 214 * v1046
      + 187 * (v1045 + v1034)
      + 22 * v1047
      + 74 * v1048
      + 99 * v1049
      + 129 * v1050
      + 254 * v1051
      + 13 * v1052
      + 97 * v1053 == 386678)

s.add(154 * v1054
      + 117 * v1055
      + 88 * v1025
      + v1024
      + 118 * v1026
      + 232 * v1027
      + 60 * v1028
      + 252 * v1029
      + 133 * v1030
      + 177 * v1031
      + 185 * v1032
      + 222 * v1033
      + 32 * v1034
      + 48 * v1035
      + v1036
      + 242 * v1037
      + 240 * v1038
      + 218 * v1039
      + 81 * v1040
      + 22 * v1041
      + 73 * v1042
      + 171 * v1043
      + 139 * v1044
      + 72 * v1045
      + 106 * v1046
      + 62 * v1047
      + 156 * v1048
      + 134 * v1049
      + 220 * v1050
      + 19 * v1051
      + 77 * v1052
      + 94 * v1053 == 348667)

s.add(220 * v1054
      + 151 * v1055
      + 173 * v1025
      + 189 * v1024
      + 41 * v1026
      + 39 * v1027
      + 26 * v1028
      + 232 * v1029
      + 75 * v1030
      + 75 * v1031
      + 95 * v1032
      + 7 * v1033
      + 117 * v1034
      + 96 * v1035
      + 211 * v1036
      + 130 * v1037
      + 228 * v1038
      + 143 * v1039
      + 91 * v1040
      + 247 * v1041
      + 43 * v1042
      + 122 * v1043
      + 131 * v1044
      + 52 * v1045
      + 48 * v1046
      + 29 * v1047
      + 111 * v1048
      + 38 * v1049
      + 19 * v1050
      + 242 * v1051
      + 162 * v1052
      + 70 * v1053 == 316884)

s.add(231 * v1054
      + 92 * v1055
      + 136 * v1025
      + 236 * v1024
      + 147 * v1026
      + 104 * v1027
      + 79 * v1028
      + 204 * v1029
      + 220 * v1030
      + 25 * v1031
      + 38 * v1032
      + 233 * v1033
      + 165 * v1034
      + 20 * v1035
      + 174 * v1036
      + 120 * v1037
      + 214 * v1038
      + 18 * v1039
      + 233 * v1040
      + 119 * v1041
      + 244 * v1042
      + 143 * v1043
      + 126 * v1044
      + 226 * v1045
      + 77 * v1046
      + 33 * v1047
      + 189 * v1048
      + 5 * v1049
      + 150 * v1050
      + 160 * v1051
      + 14 * v1052
      + 112 * v1053 == 372620)

s.add(50 * v1054
      + 203 * v1055
      + 38 * v1025
      + 191 * v1024
      + 193 * v1026
      + 250 * v1027
      + 212 * v1028
      + 175 * v1029
      + 39 * v1030
      + 94 * v1031
      + 183 * v1032
      + 172 * v1033
      + 171 * v1034
      + 163 * v1035
      + 129 * v1036
      + 165 * v1037
      + (v1038 * (2**6))
      + 170 * v1039
      + 199 * v1040
      + 167 * v1042
      + 216 * v1044
      + 2 * (v1043 + v1041)
      + 252 * v1045
      + 184 * v1046
      + 187 * v1047
      + 97 * v1048
      + 109 * v1049
      + 98 * v1050
      + 135 * v1051
      + 192 * v1052
      + 88 * v1053 == 413102)

s.add(43 * v1054
      + 196 * v1055
      + 81 * v1025
      + 203 * v1024
      + 252 * v1026
      + 104 * v1027
      + 248 * v1028
      + 156 * v1029
      + 199 * v1030
      + 46 * v1031
      + 240 * v1033
      + 149 * v1034
      + 155 * v1035
      + 102 * v1036
      + 95 * v1037
      + 51 * v1038
      + 62 * v1041
      + 58 * v1042
      + 208 * (v1039 + v1032 + v1040)
      + 117 * v1043
      + 72 * v1044
      + 23 * v1045
      + 193 * v1046
      + 193 * v1047
      + 226 * v1048
      + 217 * v1049
      + 106 * v1050
      + 147 * v1051
      + 136 * v1052
      + 16 * v1053 == 428661)

s.add(80 * v1054
      + 49 * v1055
      + 69 * v1025
      + 144 * v1024
      + 224 * v1026
      + 107 * v1027
      + 225 * v1028
      + 83 * v1029
      + 15 * v1030
      + 10 * v1031
      + 214 * v1032
      + 152 * v1033
      + 24 * v1034
      + 136 * v1035
      + 165 * v1036
      + 208 * v1037
      + 38 * v1038
      + 67 * v1039
      + 201 * v1040
      + 180 * v1041
      + 158 * v1042
      + 75 * v1043
      + 111 * v1044
      + 65 * v1045
      + 211 * v1046
      + 220 * v1047
      + 135 * v1048
      + 125 * v1049
      + 216 * v1050
      + 105 * v1051
      + 122 * v1052
      + 112 * v1053 == 371484)

s.add(76 * v1054
      + 129 * v1055
      + 68 * v1025
      + 143 * v1024
      + 127 * v1026
      + 51 * v1027
      + 88 * v1029
      + 153 * v1030
      + 9 * v1031
      + 149 * v1032
      + 107 * v1033
      + 178 * v1034
      + 166 * v1035
      + 190 * v1036
      + 177 * v1037
      + 99 * v1038
      + 71 * v1039
      + 63 * v1040
      + 233 * v1041
      + 58 * v1042
      + 132 * v1043
      + 109 * v1044
      + 75 * v1045
      + 95 * v1047
      + 152 * (v1046 + v1028)
      + 74 * v1048
      + 195 * v1049
      + 90 * v1050
      + 251 * v1051
      + 205 * v1052
      + 8 * v1053 == 350848)

s.add(31 * v1054
      + 102 * v1055
      + 146 * v1025
      + 209 * v1024
      + 59 * v1026
      + 38 * v1027
      + 40 * v1028
      + 56 * v1029
      + 182 * v1030
      + 245 * v1031
      + 67 * v1032
      + 202 * v1033
      + 177 * v1034
      + 26 * v1036
      + 126 * v1037
      + 161 * v1038
      + 95 * v1039
      + 133 * v1040
      + 123 * v1041
      + 163 * v1042
      + 30 * v1043
      + 88 * v1044
      + 219 * v1045
      + 5 * v1046
      + 86 * v1047
      + 156 * v1049
      + 183 * (v1048 + v1035)
      + 253 * v1050
      + 97 * v1051
      + 43 * v1052
      + (v1053 * (2**7)) == 334408)

s.add(91 * v1054
      + 136 * v1055
      + 223 * v1025
      + 146 * v1024
      + 137 * v1026
      + 228 * v1027
      + 226 * v1028
      + 155 * v1029
      + 170 * v1030
      + 92 * v1031
      + 77 * v1032
      + 17 * v1033
      + 22 * v1034
      + (v1035 * (2**7))
      + 20 * v1036
      + 171 * v1037
      + 142 * v1038
      + 170 * v1039
      + 192 * v1040
      + 49 * v1041
      + 200 * v1042
      + 178 * v1043
      + 154 * v1044
      + 42 * v1045
      + 5 * v1046
      + 159 * v1047
      + 251 * v1048
      + 152 * v1049
      + 7 * v1050
      + 247 * v1051
      + 145 * v1052
      + 39 * v1053 == 382822)

s.add(121 * v1054
      + 205 * (v1055 + v1031)
      + 204 * v1025
      + 169 * v1024
      + 244 * v1026
      + 26 * v1027
      + 77 * v1028
      + 134 * v1029
      + 221 * v1030
      + 149 * v1032
      + 47 * v1033
      + v1034
      + 197 * v1035
      + 82 * v1036
      + 195 * v1037
      + 123 * v1038
      + 219 * v1039
      + 116 * v1040
      + 80 * v1041
      + 13 * v1042
      + 231 * v1043
      + 173 * v1044
      + 192 * v1045
      + 220 * v1046
      + 224 * v1047
      + 108 * v1048
      + 104 * v1049
      + 56 * v1050
      + 152 * v1051
      + 84 * v1052
      + 226 * v1053 == 420160)

s.add(73 * v1054
      + 95 * v1055
      + 45 * v1025
      + 184 * v1024
      + 176 * v1026
      + 161 * v1029
      + 142 * v1030
      + 171 * v1031
      + 215 * v1032
      + 83 * v1033
      + 233 * v1034
      + 184 * v1035
      + 171 * v1036
      + 182 * v1037
      + 126 * (v1038 + v1027)
      + 111 * v1039
      + 118 * (v1040 + v1028)
      + 67 * v1041
      + 92 * v1042
      + 219 * v1043
      + 70 * v1044
      + v1
      + 194 * v1046
      + 21 * v1047
      + 245 * v1048
      + 204 * v1049
      + 48 * v1050
      + 150 * v1051
      + 39 * v1052
      + 85 * v1053 == 402263)

s.add(170 * v1054
      + 120 * v1055
      + 224 * v1025
      + 48 * v1024
      + 164 * v1026
      + 138 * v1027
      + 92 * v1028
      + 3 * v1029
      + 191 * v1030
      + 94 * v1031
      + 19 * v1032
      + 50 * v1033
      + 34 * v1034
      + 167 * v1035
      + 75 * v1036
      + 72 * v1037
      + 238 * v1038
      + 15 * v1039
      + 111 * v1040
      + 216 * v1041
      + 84 * v1042
      + 40 * v1043
      + 145 * v1044
      + 112 * v1045
      + 140 * v1046
      + 204 * v1047
      + 154 * v1048
      + 195 * v1049
      + 175 * v1050
      + 250 * v1051
      + 202 * v1052
      + 169 * v1053 == 366968)

s.add(170 * v1054
      + 68 * v1055
      + 189 * v1026
      + 112 * v1024
      + 50 * v1027
      + 247 * v1028
      + 240 * v1029
      + 164 * v1030
      + 5 * v1031
      + 139 * v1032
      + 56 * v1033
      + 19 * (v1034 + v1025)
      + 4 * v1035
      + 23 * v1036
      + 96 * v1038
      + 254 * v1039
      + 63 * v1040
      + 247 * v1041
      + 149 * v1042
      + 183 * v1043
      + (v1044 * (2**7))
      + 147 * v1045
      + 213 * v1046
      + 243 * v1047
      + 172 * (v1048 + v1037)
      + 144 * v1049
      + 246 * v1050
      + 25 * v1051
      + 106 * v1052
      + 176 * v1053 == 384909)

s.add(31 * v1055
      + 41 * (v1054 + v1048)
      + 22 * v1025
      + 184 * v1024
      + 183 * v1026
      + (v1027 * (2**7))
      + 149 * v1028
      + 227 * v1030
      + 113 * v1031
      + 65 * v1032
      + 159 * v1033
      + 74 * v1034
      + 170 * v1035
      + 186 * v1036
      + 174 * (v1037 + v1029)
      + 211 * v1038
      + v1039
      + 156 * v1041
      + 253 * v1042
      + 223 * (v1043 + v1040)
      + 241 * v1044
      + v1
      + 148 * v1046
      + 93 * v1047
      + 125 * v1049
      + 27 * v1050
      + 136 * v1051
      + 78 * v1052
      + 248 * v1053 == 425203)

s.add(82 * v1054
      + 39 * v1055
      + 237 * v1025
      + 155 * v1024
      + 242 * v1026
      + 145 * v1028
      + 99 * v1029
      + 239 * v1030
      + 3 * v1032
      + 43 * v1033
      + 46 * v1034
      + 155 * v1035
      + 208 * v1036
      + 75 * v1037
      + 181 * v1039
      + 197 * v1040
      + 140 * (v1041 + v1038)
      + 10 * (v1042 + v1027)
      + 170 * v1043
      + 142 * v1044
      + 212 * v1045
      + 186 * v1046
      + 27 * v1047
      + 105 * (v1048 + v1031)
      + 118 * v1049
      + 198 * v1050
      + 243 * v1051
      + 13 * v1052
      + 113 * v1053 == 372162)

s.add(50 * v1055
       + 136 * (v1054 + v1047)
       + 206 * v1025
       + 207 * v1024
       + 127 * v1026
       + 58 * v1027
       + 91 * v1028
       + 7 * v1030
       + 17 * v1031
       + 63 * v1032
       + 180 * v1033
       + 40 * v1034
       + 96 * v1035
       + 202 * v1036
       + 185 * v1037
       + 68 * v1038
       + 72 * v1039
       + 240 * v1040
       + 36 * v1041
       + 139 * v1042
       + 199 * v1043
       + 76 * v1044
       + 229 * v1045
       + 159 * v1046
       + 94 * v1048
       + 19 * v1049
       + 3 * v1050
       + 45 * v1052
       + 87 * (v1051 + v1029)
       + 6 * v1053 == 297509)

s.add(90 * v1054
       + 12 * v1055
       + 215 * v1025
       + 115 * v1024
       + 40 * v1026
       + 166 * v1027
       + 87 * v1028
       + 83 * v1029
       + 74 * v1030
       + 202 * v1031
       + 149 * v1033
       + 114 * v1034
       + 76 * v1035
       + 204 * v1036
       + 218 * v1037
       + 63 * v1038
       + 123 * v1039
       + 9 * v1040
       + 172 * v1041
       + 38 * v1042
       + 138 * v1043
       + 35 * v1044
       + 200 * v1045
       + 221 * v1046
       + 144 * v1047
       + 108 * v1049
       + v1050
       + 235 * (v1048 + v1032)
       + 245 * v1051
       + 153 * v1052
       + 184 * v1053 == 372215)

s.add(114 * v1054
       + 36 * v1055
       + 190 * v1025
       + 123 * v1024
       + 55 * v1026
       + 180 * v1027
       + 84 * v1028
       + 231 * v1029
       + 81 * v1030
       + 116 * v1031
       + 61 * v1032
       + 3 * v1033
       + 94 * v1034
       + 190 * v1036
       + 187 * v1037
       + 142 * v1038
       + 62 * v1039
       + 225 * v1040
       + 240 * v1041
       + 179 * v1042
       + 150 * v1043
       + 77 * v1044
       + 196 * v1046
       + 85 * (v1045 + v1035)
       + 12 * v1047
       + 144 * v1048
       + 122 * v1049
       + 28 * v1050
       + 224 * v1051
       + 248 * v1052
       + 143 * v1053 == 370337)

s.add(190 * v1054
       + 122 * (v1055 + v1035)
       + 202 * v1025
       + 2 * v1024
       + 40 * v1026
       + 224 * v1027
       + 154 * v1028
       + 65 * v1029
       + 241 * v1031
       + 13 * v1032
       + 213 * v1033
       + 176 * v1034
       + 30 * (v1036 + v1030)
       + 14 * v1038
       + 191 * v1039
       + 80 * v1040
       + 116 * v1041
       + 74 * v1042
       + 70 * v1043
       + 32 * v1044
       + 189 * v1045
       + 76 * v1046
       + 95 * v1047
       + 103 * v1049
       + 158 * (v1048 + v1037)
       + 7 * v1050
       + 201 * v1051
       + 204 * v1052
       + 91 * v1053 == 314564)

s.add(5 * v1054
       + 176 * v1055
       + 154 * v1025
       + 42 * v1024
       + 223 * v1026
       + 165 * v1027
       + 155 * v1028
       + 101 * v1029
       + 75 * v1030
       + 95 * v1031
       + 253 * v1032
       + 14 * v1033
       + 158 * v1034
       + 199 * v1035
       + 110 * v1036
       + 89 * v1037
       + 205 * v1038
       + 202 * v1039
       + 162 * v1041
       + 67 * v1042
       + 30 * v1043
       + 115 * v1044
       + 27 * v1046
       + 83 * (v1045 + v1040)
       + 31 * v1047
       + 118 * v1048
       + 160 * v1049
       + 248 * v1050
       + 66 * v1051
       + 88 * v1052
       + 44 * v1053 == 325974)

s.add(84 * v1055
       + 125 * (v1054 + v1040)
       + 168 * v1025
       + 34 * v1024
       + 160 * v1027
       + 243 * v1028
       + 41 * v1029
       + 146 * v1030
       + 62 * v1032
       + 235 * v1033
       + 185 * v1034
       + 180 * v1035
       + 10 * v1036
       + 150 * v1037
       + 140 * v1039
       + 114 * v1041
       + 35 * v1042
       + 34 * v1043
       + 38 * v1044
       + 123 * v1045
       + 163 * v1046
       + 5 * v1048
       + 208 * (v1047 + v1038)
       + 29 * (v1049 + v1031)
       + 207 * v1050
       + 111 * v1051
       + 72 * (v1052 + v1026)
       + 65 * v1053 == 307088)

s.add(140 * v1054
       + 197 * v1055
       + 11 * v1025
       + 18 * v1024
       + 175 * v1027
       + 44 * v1028
       + v1029 * (2**7)
       + 32 * v1030
       + 100 * v1031
       + 116 * v1033
       + 253 * v1034
       + 213 * v1035
       + 67 * v1036
       + 16 * v1037
       + 171 * v1038
       + 178 * v1039
       + 7 * v1041
       + 162 * v1042
       + 152 * v1043
       + 78 * v1044
       + 167 * v1045
       + 177 * v1046
       + 97 * (v1047 + v1040)
       + 26 * (v1048 + v1026)
       + 155 * v1049
       + 127 * v1050
       + 21 * (v1051 + v1032)
       + 243 * v1052
       + 188 * v1053 == 322340)

s.add(152 * v1054
       + 7 * (v1055 + v1051)
       + 110 * v1025
       + 140 * v1024
       + 164 * v1026
       + 208 * v1027
       + 72 * v1028
       + 113 * v1029
       + 9 * v1030
       + 47 * v1031
       + 179 * v1032
       + 166 * v1033
       + 51 * v1034
       + 34 * v1035
       + 91 * v1036
       + 184 * v1037
       + 89 * v1038
       + 162 * v1039
       + 233 * v1040
       + 156 * v1042
       + 244 * v1044
       + 127 * (v1043 + v1041)
       + 183 * v1045
       + 193 * v1046
       + 138 * v1047
       + 242 * v1048
       + 90 * v1049
       + 193 * v1050
       + 252 * v1052
       + 113 * v1053 == 380716)

s.add(197 * v1054
       + 75 * (v1055 + v1026)
       + 105 * v1025
       + 133 * v1024
       + 146 * v1027
       + 173 * v1028
       + 27 * v1029
       + 97 * v1030
       + 142 * v1031
       + 164 * v1032
       + 15 * v1033
       + 10 * v1034
       + 177 * v1035
       + 239 * v1036
       + 141 * v1037
       + 189 * v1038
       + 67 * v1039
       + 153 * v1040
       + 108 * v1041
       + 206 * v1042
       + 210 * v1043
       + 171 * v1044
       + v1
       + 84 * v1046
       + 249 * v1047
       + 7 * v1048
       + 168 * v1049
       + 100 * v1050
       + 30 * v1051
       + 196 * v1052
       + 244 * v1053 == 393331)

s.add(53 * v1054
          + 79 * v1055
          + 221 * v1025
          + 147 * v1024
          + 57 * v1026
          + 186 * v1027
          + 69 * v1028
          + 230 * v1029
          + 167 * v1030
          + 3 * v1031
          + 220 * v1032
          + 63 * v1033
          + 235 * v1035
          + 156 * v1036
          + 146 * v1037
          + 75 * v1038
          + 198 * v1039
          + 204 * v1040
          + 197 * v1041
          + 59 * v1042
          + 61 * v1043
          + 179 * v1044
          + 47 * v1045
          + 221 * v1046
          + 127 * v1047
          + 210 * v1048
          + 241 * v1050
          + 218 * (v1049 + v1034)
          + 135 * v1051
          + 196 * v1052
          + 185 * v1053 == 430295)

print(s.check())

m = s.model()
print(m)

再整理z3的输出
import binascii

xx = '''
v1038 = 101,
 v1042 = 100,
 v1032 = 95,
 v1029 = 105,
 v1044 = 95,
 v1045 = 49,
 v1024 = 83,
 v1053 = 108,
 v1033 = 108,
 v1030 = 109,
 v1043 = 101,
 v1026 = 109,
 v1039 = 95,
 v1036 = 116,
 v1054 = 51,
 v1027 = 51,
 v1028 = 116,
 v1031 = 101,
 v1035 = 116,
 v1041 = 48,
 v1047 = 95,
 v1048 = 117,
 v1025 = 48,
 v1052 = 117,
 v1034 = 49,
 v1049 = 115,
 v1055 = 51,
 v1037 = 49,
 v1051 = 102,
 v1040 = 99,
 v1046 = 115,
 v1050 = 51
 '''

xor_key = '''
18 09 03 6b 01 5a 32 57 30 5d 40 46 2b 46 56 3d 
02 43 17 00 32 53 1f 26 2a 01 00 10 10 1e 40 00
'''.replace('\n', '').replace(' ', '')
xor_key = bytearray.fromhex(xor_key)



xor_key_info = {}
for line in xx.strip().split('\n'):
    li = line.strip().replace(',', '').replace(' ', '').split('=')
    xor_key_info[li[0]] = int(li[1])

print(xor_key_info)

ret = []
for index,value in enumerate(xor_key):
    name = 'v%d' % (1024 + index)
    ret.append(chr(xor_key_info[name] ^ value))

print(''.join(ret))

得到最终的key  K9nXu3_2o1q2_w3bassembly_r3vers3


[公告]安全服务和外包项目请将项目需求发到看雪企服平台:https://qifu.kanxue.com

最后于 2019-6-24 13:16 被vmtest编辑 ,原因:
上传的附件:
  • 1.c (86.90kb,3次下载)
  • 1.h (1.26kb,2次下载)
最新回复 (0)
游客
登录 | 注册 方可回帖
返回