2021 长安杯 Re
忙了半天，就肝了两个Re，其中一个还是比赛结束后才出的，菜的令人发指，呜呜呜！！！
1、Fantasy
apk逆向，查了一下，没有加固，直接在 jadx-gui 当中打开，可以看到核心算法都在Java层，这就比较舒服：
在check函数当中，wow 、ahhhhh 分别是一个 32 x 32 、 32 x 1 的数组，至于后面的校验算法，看着唬人，一番化简之后就没什么了：
public int check(String to_check) {
int[][] wow = {
new int[]{89, 88, 60, 91, 74, 111, 84, 96, 111, 124, 102, 95, 106, 126, 80, 122, 55, 125, 57, 32, 61, 96, 98, 106, 36, 113, 79, 86, 43, 71, 91, 117},
new int[]{100, 113, 38, 112, 78, 74, 44, 64, 37, 81, 40, 35, 78, 41, 46, 54, 82, 92, 46, 64, 73, 45, 43, 120, 58, 127, 123, 53, 58, 112, 37, 119},
new int[]{96, 53, 32, 75, 113, 62, 37, 65, 69, 76, 118, 97, 33, 121, 63, 87, 78, 113, 103, 88, 50, 60, 92, 53, 50, 60, 45, 121, 41, 69, 84, 122},
new int[]{82, 125, 67, 38, 112, 121, 118, 74, 48, 37, 108, 42, 59, 112, 85, 41, 103, 75, 34, 89, 37, 74, 124, 40, 62, 36, 114, 127, 91, 51, 110, 63},
new int[]{99, 35, 49, 36, 108, 56, 36, 70, 80, 78, 114, 76, 73, 78, 104, 56, 48, 47, 69, 62, 97, 47, 74, 62, 39, 90, 97, 56, 114, 90, 47, 111},
new int[]{117, 87, 70, 32, 110, 43, 60, 127, 114, 119, 117, 71, 59, 90, 55, 72, 46, 48, 63, 66, 110, 108, 111, 35, 43, 113, 124, 91, 45, 81, 64, 67},
new int[]{64, 114, 50, 54, 94, 60, 127, 81, 92, 101, 78, 91, 68, 72, 95, 92, 48, 91, 34, 37, 77, 62, 74, 122, 75, 37, 127, 66, 90, 86, 67, 115},
new int[]{77, 80, 71, 61, 124, 79, 124, 111, 109, 121, 119, 52, 82, 100, 109, 57, 76, 99, 61, 37, 94, 113, 49, 72, 84, 96, 88, 106, 55, 123, 63, 57},
new int[]{90, 73, 75, 44, 104, 111, 78, 53, 82, 97, 76, 33, 92, 73, 113, 124, 101, 57, 94, 34, 76, 103, 48, 79, 74, 58, 76, 86, 65, 83, 89, 81},
new int[]{78, 100, 109, 36, 83, 98, 109, 98, 39, 73, 61, 94, 32, 107, 59, 84, 100, 86, 95, 43, 75, 78, 70, 73, 85, 99, 121, 91, 116, 65, 78, 64},
new int[]{110, 109, 98, 40, 77, 57, 105, 75, 111, 51, 49, 36, 82, 42, 38, 95, 97, 81, 47, 93, 100, 52, 75, 65, 68, 110, 90, 46, 73, 113, 36, 98},
new int[]{77, 77, 126, 126, 107, 63, 108, 38, 103, 86, 79, 101, 117, 41, 117, 115, 61, 47, 100, 93, 89, 36, 111, 116, 87, 96, 125, 82, 88, 84, 68, 100},
new int[]{57, 53, 84, 116, 104, 127, 48, 115, 99, 124, 70, 92, 101, 120, 39, 125, 60, 127, 45, 76, 66, 66, 78, 71, 114, 104, 61, 33, 95, 123, 75, 75},
new int[]{44, 120, 39, 117, 58, 65, 52, 91, 62, 57, 89, 43, 79, 39, 55, 42, 88, 92, 37, 47, 88, 44, 34, 97, 38, 67, 109, 40, 92, 101, 33, 100},
new int[]{51, 86, 114, 62, 44, 42, 83, 120, 73, 113, 99, 39, 112, 92, 34, 120, 58, 110, 56, 81, 75, 88, 53, 116, 102, 126, 112, 40, 72, 64, 76, 52},
new int[]{110, 34, 95, 67, 35, 56, 38, 84, 124, 103, 49, 70, 105, 122, 125, 38, 97, 71, 49, 122, 104, 126, 112, 113, 65, 70, 80, 105, 97, 74, 123, 46},
new int[]{87, 58, 49, 63, 86, 95, 111, 85, 75, 40, 63, 86, 43, 117, 66, 54, 92, 118, 76, 68, 40, 97, 102, 81, 117, 55, 34, 86, 70, 86, 84, 64},
new int[]{40, 87, 88, 72, 55, 116, 112, 52, 70, 80, 34, 49, 125, 65, 33, 106, 121, 111, 100, 116, 119, 36, 116, 66, 36, 72, 96, 82, 32, 87, 114, 115},
new int[]{34, 43, 121, 56, 88, 116, 75, 90, 92, 110, 89, 115, 115, 103, 100, 72, 42, 84, 116, 40, 115, 84, 68, 125, 92, 37, 47, 116, 110, 40, 124, 38},
new int[]{33, 93, 39, 44, 69, 54, 86, 59, 80, 92, 35, 45, 103, 96, 51, 111, 58, 79, 51, 124, 45, 59, 121, 36, 46, 114, 41, 34, 110, 100, 65, 41},
new int[]{71, 70, 106, 46, 51, 66, 66, 78, 100, 102, 55, 42, 88, 113, 33, 51, 65, 73, 127, 117, 108, 84, 121, 110, 123, 101, 40, 57, 63, 113, 90, 100},
new int[]{72, 86, 41, 125, 49, 67, 63, 127, 52, 106, 77, 49, 63, 70, 84, 87, 99, 63, 39, 122, 105, 62, 46, 123, 108, 127, 40, 89, 83, 79, 48, 62},
new int[]{49, 83, 46, 113, 119, 39, 109, 96, 101, 73, 82, 124, 109, 93, 48, 82, 96, 126, 105, 37, 90, 86, 116, 115, 53, 32, 106, 92, 33, 53, 119, 68},
new int[]{67, 105, 109, 65, 36, 64, 33, 119, 116, 35, 61, 55, 70, 117, 120, 105, 98, 37, 83, 64, 88, 119, 55, 33, 56, 44, 46, 84, 86, 49, 78, 93},
new int[]{34, 97, 100, 33, 71, 109, 71, 93, 104, 39, 70, 53, 96, 109, 119, 73, 58, 111, 122, 125, 91, 66, 70, 75, 43, 42, 48, 85, 62, 97, 94, 97},
new int[]{119, 96, 75, 59, 115, 33, 99, 51, 56, 49, 84, 45, 112, 60, 87, 117, 66, 106, 113, 59, 105, 40, 94, 87, 93, 64, 52, 39, 109, 93, 120, 33},
new int[]{115, 113, 50, 95, 42, 88, 119, 59, 86, 127, 79, 89, 107, 45, 64, 112, 68, 102, 45, 39, 63, 95, 35, 119, 38, 110, 43, 56, 67, 124, 106, 125},
new int[]{78, 83, 98, 86, 50, 68, 73, 52, 49, 97, 60, 84, 54, 118, 91, 100, 44, 97, 97, 96, 127, 79, 94, 77, 76, 118, 49, 111, 87, 125, 73, 77},
new int[]{103, 45, 119, 36, 94, 99, 81, 35, 97, 51, 107, 110, 120, 71, 64, 88, 83, 33, 120, 89, 114, 36, 110, 80, 85, 40, 105, 37, 66, 73, 91, 59},
new int[]{122, 56, 111, 52, 33, 118, 89, 105, 61, 117, 60, 123, 125, 52, 63, 57, 124, 109, 64, 47, 52, 98, 96, 60, 86, 45, 51, 86, 123, 70, 104, 110},
new int[]{51, 127, 85, 43, 79, 44, 118, 89, 78, 95, 87, 103, 33, 44, 102, 100, 40, 40, 55, 58, 43, 76, 115, 81, 68, 123, 69, 48, 66, 74, 83, 119},
new int[]{79, 55, 88, 105, 81, 104, 105, 100, 46, 34, 87, 68, 36, 74, 48, 70, 57, 39, 125, 80, 102, 61, 127, 82, 90, 85, 120, 35, 126, 60, 105, 104}
};
int[] ahhhhh = {
195075, 164766, 168447, 176014, 161107, 175809, 178310, 189827, 181204, 182314, 168177, 196996, 185129, 152876, 171067, 185573,
166900, 184588, 182162, 148593, 180204, 169933, 182766, 166651, 178856, 175376, 187367, 182885, 177145, 189716, 169531, 178924
};
int ohh = 0;
for ( ohh = 0; ohh < 32; ohh++) {
int thats = 0;
for (int gooood = 0; gooood < 32; gooood++) {
int its = to_check.charAt(gooood) & 255;
thats = its*wow[ohh][gooood];
}
if (ahhhhh[ohh] != thats) {
break;
}
}
return ohh;
}
到这里就含明显了，就是一个32元一次方程组，flag 分别与 wow 中的每一行元素逐位相乘并累加，结果要与ahhhhh当中的值一致，用 z3 把结果跑出来就有flag了：
# -*- coding: utf-8 -*-
"""
Spyder Editor
This is a temporary script file.
"""
from z3 import *
v1 = Int('v1')
v2 = Int('v2')
v3 = Int('v3')
v4 = Int('v4')
v5 = Int('v5')
v6 = Int('v6')
v7 = Int('v7')
v8 = Int('v8')
v9 = Int('v9')
v10 = Int('v10')
v11 = Int('v11')
v12 = Int('v12')
v13 = Int('v13')
v14 = Int('v14')
v15 = Int('v15')
v16 = Int('v16')
v17 = Int('v17')
v18 = Int('v18')
v19 = Int('v19')
v20 = Int('v20')
v21 = Int('v21')
v22 = Int('v22')
v23 = Int('v23')
v24 = Int('v24')
v25 = Int('v25')
v26 = Int('v26')
v27 = Int('v27')
v28 = Int('v28')
v29 = Int('v29')
v30 = Int('v30')
v31 = Int('v31')
v32 = Int('v32')
cha = ["v1","v2","v3","v4","v5","v6","v7","v8","v9","v10","v11","v12","v13","v14","v15","v16","v17","v18","v19","v20","v21","v22","v23","v24","v25","v26","v27","v28","v29","v30","v31","v32"]
s = Solver()
s.add(89 * v1 + 88 * v2 + 60 * v3 + 91 * v4 + 74 * v5 + 111 * v6 + 84 * v7 + 96 * v8 + 111 * v9 + 124 * v10 + 102 * v11 + 95 * v12 + 106 * v13 + 126 * v14 + 80 * v15 + 122 * v16 + 55 * v17 + 125 * v18 + 57 * v19 + 32 * v20 + 61 * v21 + 96 * v22 + 98 * v23 + 106 * v24 + 36 * v25 + 113 * v26 + 79 * v27 + 86 * v28 + 43 * v29 + 71 * v30 + 91 * v31 + 117 * v32 == 195075)
s.add(100 * v1 + 113 * v2 + 38 * v3 + 112 * v4 + 78 * v5 + 74 * v6 + 44 * v7 + 64 * v8 + 37 * v9 + 81 * v10 + 40 * v11 + 35 * v12 + 78 * v13 + 41 * v14 + 46 * v15 + 54 * v16 + 82 * v17 + 92 * v18 + 46 * v19 + 64 * v20 + 73 * v21 + 45 * v22 + 43 * v23 + 120 * v24 + 58 * v25 + 127 * v26 + 123 * v27 + 53 * v28 + 58 * v29 + 112 * v30 + 37 * v31 + 119 * v32 == 164766)
s.add(96 * v1 + 53 * v2 + 32 * v3 + 75 * v4 + 113 * v5 + 62 * v6 + 37 * v7 + 65 * v8 + 69 * v9 + 76 * v10 + 118 * v11 + 97 * v12 + 33 * v13 + 121 * v14 + 63 * v15 + 87 * v16 + 78 * v17 + 113 * v18 + 103 * v19 + 88 * v20 + 50 * v21 + 60 * v22 + 92 * v23 + 53 * v24 + 50 * v25 + 60 * v26 + 45 * v27 + 121 * v28 + 41 * v29 + 69 * v30 + 84 * v31 + 122 * v32 == 168447)
s.add(82 * v1 + 125 * v2 + 67 * v3 + 38 * v4 + 112 * v5 + 121 * v6 + 118 * v7 + 74 * v8 + 48 * v9 + 37 * v10 + 108 * v11 + 42 * v12 + 59 * v13 + 112 * v14 + 85 * v15 + 41 * v16 + 103 * v17 + 75 * v18 + 34 * v19 + 89 * v20 + 37 * v21 + 74 * v22 + 124 * v23 + 40 * v24 + 62 * v25 + 36 * v26 + 114 * v27 + 127 * v28 + 91 * v29 + 51 * v30 + 110 * v31 + 63 * v32 == 176014)
s.add(99 * v1 + 35 * v2 + 49 * v3 + 36 * v4 + 108 * v5 + 56 * v6 + 36 * v7 + 70 * v8 + 80 * v9 + 78 * v10 + 114 * v11 + 76 * v12 + 73 * v13 + 78 * v14 + 104 * v15 + 56 * v16 + 48 * v17 + 47 * v18 + 69 * v19 + 62 * v20 + 97 * v21 + 47 * v22 + 74 * v23 + 62 * v24 + 39 * v25 + 90 * v26 + 97 * v27 + 56 * v28 + 114 * v29 + 90 * v30 + 47 * v31 + 111 * v32 == 161107)
s.add(117 * v1 + 87 * v2 + 70 * v3 + 32 * v4 + 110 * v5 + 43 * v6 + 60 * v7 + 127 * v8 + 114 * v9 + 119 * v10 + 117 * v11 + 71 * v12 + 59 * v13 + 90 * v14 + 55 * v15 + 72 * v16 + 46 * v17 + 48 * v18 + 63 * v19 + 66 * v20 + 110 * v21 + 108 * v22 + 111 * v23 + 35 * v24 + 43 * v25 + 113 * v26 + 124 * v27 + 91 * v28 + 45 * v29 + 81 * v30 + 64 * v31 + 67 * v32 == 175809)
s.add(64 * v1 + 114 * v2 + 50 * v3 + 54 * v4 + 94 * v5 + 60 * v6 + 127 * v7 + 81 * v8 + 92 * v9 + 101 * v10 + 78 * v11 + 91 * v12 + 68 * v13 + 72 * v14 + 95 * v15 + 92 * v16 + 48 * v17 + 91 * v18 + 34 * v19 + 37 * v20 + 77 * v21 + 62 * v22 + 74 * v23 + 122 * v24 + 75 * v25 + 37 * v26 + 127 * v27 + 66 * v28 + 90 * v29 + 86 * v30 + 67 * v31 + 115 * v32 == 178310)
s.add(77 * v1 + 80 * v2 + 71 * v3 + 61 * v4 + 124 * v5 + 79 * v6 + 124 * v7 + 111 * v8 + 109 * v9 + 121 * v10 + 119 * v11 + 52 * v12 + 82 * v13 + 100 * v14 + 109 * v15 + 57 * v16 + 76 * v17 + 99 * v18 + 61 * v19 + 37 * v20 + 94 * v21 + 113 * v22 + 49 * v23 + 72 * v24 + 84 * v25 + 96 * v26 + 88 * v27 + 106 * v28 + 55 * v29 + 123 * v30 + 63 * v31 + 57 * v32 == 189827)
s.add(90 * v1 + 73 * v2 + 75 * v3 + 44 * v4 + 104 * v5 + 111 * v6 + 78 * v7 + 53 * v8 + 82 * v9 + 97 * v10 + 76 * v11 + 33 * v12 + 92 * v13 + 73 * v14 + 113 * v15 + 124 * v16 + 101 * v17 + 57 * v18 + 94 * v19 + 34 * v20 + 76 * v21 + 103 * v22 + 48 * v23 + 79 * v24 + 74 * v25 + 58 * v26 + 76 * v27 + 86 * v28 + 65 * v29 + 83 * v30 + 89 * v31 + 81 * v32 == 181204)
s.add(78 * v1 + 100 * v2 + 109 * v3 + 36 * v4 + 83 * v5 + 98 * v6 + 109 * v7 + 98 * v8 + 39 * v9 + 73 * v10 + 61 * v11 + 94 * v12 + 32 * v13 + 107 * v14 + 59 * v15 + 84 * v16 + 100 * v17 + 86 * v18 + 95 * v19 + 43 * v20 + 75 * v21 + 78 * v22 + 70 * v23 + 73 * v24 + 85 * v25 + 99 * v26 + 121 * v27 + 91 * v28 + 116 * v29 + 65 * v30 + 78 * v31 + 64 * v32 == 182314)
s.add(110 * v1 + 109 * v2 + 98 * v3 + 40 * v4 + 77 * v5 + 57 * v6 + 105 * v7 + 75 * v8 + 111 * v9 + 51 * v10 + 49 * v11 + 36 * v12 + 82 * v13 + 42 * v14 + 38 * v15 + 95 * v16 + 97 * v17 + 81 * v18 + 47 * v19 + 93 * v20 + 100 * v21 + 52 * v22 + 75 * v23 + 65 * v24 + 68 * v25 + 110 * v26 + 90 * v27 + 46 * v28 + 73 * v29 + 113 * v30 + 36 * v31 + 98 * v32 == 168177)
s.add(77 * v1 + 77 * v2 + 126 * v3 + 126 * v4 + 107 * v5 + 63 * v6 + 108 * v7 + 38 * v8 + 103 * v9 + 86 * v10 + 79 * v11 + 101 * v12 + 117 * v13 + 41 * v14 + 117 * v15 + 115 * v16 + 61 * v17 + 47 * v18 + 100 * v19 + 93 * v20 + 89 * v21 + 36 * v22 + 111 * v23 + 116 * v24 + 87 * v25 + 96 * v26 + 125 * v27 + 82 * v28 + 88 * v29 + 84 * v30 + 68 * v31 + 100 * v32 == 196996)
s.add(57 * v1 + 53 * v2 + 84 * v3 + 116 * v4 + 104 * v5 + 127 * v6 + 48 * v7 + 115 * v8 + 99 * v9 + 124 * v10 + 70 * v11 + 92 * v12 + 101 * v13 + 120 * v14 + 39 * v15 + 125 * v16 + 60 * v17 + 127 * v18 + 45 * v19 + 76 * v20 + 66 * v21 + 66 * v22 + 78 * v23 + 71 * v24 + 114 * v25 + 104 * v26 + 61 * v27 + 33 * v28 + 95 * v29 + 123 * v30 + 75 * v31 + 75 * v32 == 185129)
s.add(44 * v1 + 120 * v2 + 39 * v3 + 117 * v4 + 58 * v5 + 65 * v6 + 52 * v7 + 91 * v8 + 62 * v9 + 57 * v10 + 89 * v11 + 43 * v12 + 79 * v13 + 39 * v14 + 55 * v15 + 42 * v16 + 88 * v17 + 92 * v18 + 37 * v19 + 47 * v20 + 88 * v21 + 44 * v22 + 34 * v23 + 97 * v24 + 38 * v25 + 67 * v26 + 109 * v27 + 40 * v28 + 92 * v29 + 101 * v30 + 33 * v31 + 100 * v32 == 152876)
s.add(51 * v1 + 86 * v2 + 114 * v3 + 62 * v4 + 44 * v5 + 42 * v6 + 83 * v7 + 120 * v8 + 73 * v9 + 113 * v10 + 99 * v11 + 39 * v12 + 112 * v13 + 92 * v14 + 34 * v15 + 120 * v16 + 58 * v17 + 110 * v18 + 56 * v19 + 81 * v20 + 75 * v21 + 88 * v22 + 53 * v23 + 116 * v24 + 102 * v25 + 126 * v26 + 112 * v27 + 40 * v28 + 72 * v29 + 64 * v30 + 76 * v31 + 52 * v32 == 171067)
s.add(110 * v1 + 34 * v2 + 95 * v3 + 67 * v4 + 35 * v5 + 56 * v6 + 38 * v7 + 84 * v8 + 124 * v9 + 103 * v10 + 49 * v11 + 70 * v12 + 105 * v13 + 122 * v14 + 125 * v15 + 38 * v16 + 97 * v17 + 71 * v18 + 49 * v19 + 122 * v20 + 104 * v21 + 126 * v22 + 112 * v23 + 113 * v24 + 65 * v25 + 70 * v26 + 80 * v27 + 105 * v28 + 97 * v29 + 74 * v30 + 123 * v31 + 46 * v32 == 185573)
s.add(87 * v1 + 58 * v2 + 49 * v3 + 63 * v4 + 86 * v5 + 95 * v6 + 111 * v7 + 85 * v8 + 75 * v9 + 40 * v10 + 63 * v11 + 86 * v12 + 43 * v13 + 117 * v14 + 66 * v15 + 54 * v16 + 92 * v17 + 118 * v18 + 76 * v19 + 68 * v20 + 40 * v21 + 97 * v22 + 102 * v23 + 81 * v24 + 117 * v25 + 55 * v26 + 34 * v27 + 86 * v28 + 70 * v29 + 86 * v30 + 84 * v31 + 64 * v32 == 166900)
s.add(40 * v1 + 87 * v2 + 88 * v3 + 72 * v4 + 55 * v5 + 116 * v6 + 112 * v7 + 52 * v8 + 70 * v9 + 80 * v10 + 34 * v11 + 49 * v12 + 125 * v13 + 65 * v14 + 33 * v15 + 106 * v16 + 121 * v17 + 111 * v18 + 100 * v19 + 116 * v20 + 119 * v21 + 36 * v22 + 116 * v23 + 66 * v24 + 36 * v25 + 72 * v26 + 96 * v27 + 82 * v28 + 32 * v29 + 87 * v30 + 114 * v31 + 115 * v32 == 184588)
s.add(34 * v1 + 43 * v2 + 121 * v3 + 56 * v4 + 88 * v5 + 116 * v6 + 75 * v7 + 90 * v8 + 92 * v9 + 110 * v10 + 89 * v11 + 115 * v12 + 115 * v13 + 103 * v14 + 100 * v15 + 72 * v16 + 42 * v17 + 84 * v18 + 116 * v19 + 40 * v20 + 115 * v21 + 84 * v22 + 68 * v23 + 125 * v24 + 92 * v25 + 37 * v26 + 47 * v27 + 116 * v28 + 110 * v29 + 40 * v30 + 124 * v31 + 38 * v32 == 182162)
s.add(33 * v1 + 93 * v2 + 39 * v3 + 44 * v4 + 69 * v5 + 54 * v6 + 86 * v7 + 59 * v8 + 80 * v9 + 92 * v10 + 35 * v11 + 45 * v12 + 103 * v13 + 96 * v14 + 51 * v15 + 111 * v16 + 58 * v17 + 79 * v18 + 51 * v19 + 124 * v20 + 45 * v21 + 59 * v22 + 121 * v23 + 36 * v24 + 46 * v25 + 114 * v26 + 41 * v27 + 34 * v28 + 110 * v29 + 100 * v30 + 65 * v31 + 41 * v32 == 148593)
s.add(71 * v1 + 70 * v2 + 106 * v3 + 46 * v4 + 51 * v5 + 66 * v6 + 66 * v7 + 78 * v8 + 100 * v9 + 102 * v10 + 55 * v11 + 42 * v12 + 88 * v13 + 113 * v14 + 33 * v15 + 51 * v16 + 65 * v17 + 73 * v18 + 127 * v19 + 117 * v20 + 108 * v21 + 84 * v22 + 121 * v23 + 110 * v24 + 123 * v25 + 101 * v26 + 40 * v27 + 57 * v28 + 63 * v29 + 113 * v30 + 90 * v31 + 100 * v32 == 180204)
s.add(72 * v1 + 86 * v2 + 41 * v3 + 125 * v4 + 49 * v5 + 67 * v6 + 63 * v7 + 127 * v8 + 52 * v9 + 106 * v10 + 77 * v11 + 49 * v12 + 63 * v13 + 70 * v14 + 84 * v15 + 87 * v16 + 99 * v17 + 63 * v18 + 39 * v19 + 122 * v20 + 105 * v21 + 62 * v22 + 46 * v23 + 123 * v24 + 108 * v25 + 127 * v26 + 40 * v27 + 89 * v28 + 83 * v29 + 79 * v30 + 48 * v31 + 62 * v32 == 169933)
s.add(49 * v1 + 83 * v2 + 46 * v3 + 113 * v4 + 119 * v5 + 39 * v6 + 109 * v7 + 96 * v8 + 101 * v9 + 73 * v10 + 82 * v11 + 124 * v12 + 109 * v13 + 93 * v14 + 48 * v15 + 82 * v16 + 96 * v17 + 126 * v18 + 105 * v19 + 37 * v20 + 90 * v21 + 86 * v22 + 116 * v23 + 115 * v24 + 53 * v25 + 32 * v26 + 106 * v27 + 92 * v28 + 33 * v29 + 53 * v30 + 119 * v31 + 68 * v32 == 182766)
s.add(67 * v1 + 105 * v2 + 109 * v3 + 65 * v4 + 36 * v5 + 64 * v6 + 33 * v7 + 119 * v8 + 116 * v9 + 35 * v10 + 61 * v11 + 55 * v12 + 70 * v13 + 117 * v14 + 120 * v15 + 105 * v16 + 98 * v17 + 37 * v18 + 83 * v19 + 64 * v20 + 88 * v21 + 119 * v22 + 55 * v23 + 33 * v24 + 56 * v25 + 44 * v26 + 46 * v27 + 84 * v28 + 86 * v29 + 49 * v30 + 78 * v31 + 93 * v32 == 166651)
s.add(34 * v1 + 97 * v2 + 100 * v3 + 33 * v4 + 71 * v5 + 109 * v6 + 71 * v7 + 93 * v8 + 104 * v9 + 39 * v10 + 70 * v11 + 53 * v12 + 96 * v13 + 109 * v14 + 119 * v15 + 73 * v16 + 58 * v17 + 111 * v18 + 122 * v19 + 125 * v20 + 91 * v21 + 66 * v22 + 70 * v23 + 75 * v24 + 43 * v25 + 42 * v26 + 48 * v27 + 85 * v28 + 62 * v29 + 97 * v30 + 94 * v31 + 97 * v32 == 178856)
s.add(119 * v1 + 96 * v2 + 75 * v3 + 59 * v4 + 115 * v5 + 33 * v6 + 99 * v7 + 51 * v8 + 56 * v9 + 49 * v10 + 84 * v11 + 45 * v12 + 112 * v13 + 60 * v14 + 87 * v15 + 117 * v16 + 66 * v17 + 106 * v18 + 113 * v19 + 59 * v20 + 105 * v21 + 40 * v22 + 94 * v23 + 87 * v24 + 93 * v25 + 64 * v26 + 52 * v27 + 39 * v28 + 109 * v29 + 93 * v30 + 120 * v31 + 33 * v32 == 175376)
s.add(115 * v1 + 113 * v2 + 50 * v3 + 95 * v4 + 42 * v5 + 88 * v6 + 119 * v7 + 59 * v8 + 86 * v9 + 127 * v10 + 79 * v11 + 89 * v12 + 107 * v13 + 45 * v14 + 64 * v15 + 112 * v16 + 68 * v17 + 102 * v18 + 45 * v19 + 39 * v20 + 63 * v21 + 95 * v22 + 35 * v23 + 119 * v24 + 38 * v25 + 110 * v26 + 43 * v27 + 56 * v28 + 67 * v29 + 124 * v30 + 106 * v31 + 125 * v32 == 187367)
s.add(78 * v1 + 83 * v2 + 98 * v3 + 86 * v4 + 50 * v5 + 68 * v6 + 73 * v7 + 52 * v8 + 49 * v9 + 97 * v10 + 60 * v11 + 84 * v12 + 54 * v13 + 118 * v14 + 91 * v15 + 100 * v16 + 44 * v17 + 97 * v18 + 97 * v19 + 96 * v20 + 127 * v21 + 79 * v22 + 94 * v23 + 77 * v24 + 76 * v25 + 118 * v26 + 49 * v27 + 111 * v28 + 87 * v29 + 125 * v30 + 73 * v31 + 77 * v32 == 182885)
s.add(103 * v1 + 45 * v2 + 119 * v3 + 36 * v4 + 94 * v5 + 99 * v6 + 81 * v7 + 35 * v8 + 97 * v9 + 51 * v10 + 107 * v11 + 110 * v12 + 120 * v13 + 71 * v14 + 64 * v15 + 88 * v16 + 83 * v17 + 33 * v18 + 120 * v19 + 89 * v20 + 114 * v21 + 36 * v22 + 110 * v23 + 80 * v24 + 85 * v25 + 40 * v26 + 105 * v27 + 37 * v28 + 66 * v29 + 73 * v30 + 91 * v31 + 59 * v32 == 177145)
s.add(122 * v1 + 56 * v2 + 111 * v3 + 52 * v4 + 33 * v5 + 118 * v6 + 89 * v7 + 105 * v8 + 61 * v9 + 117 * v10 + 60 * v11 + 123 * v12 + 125 * v13 + 52 * v14 + 63 * v15 + 57 * v16 + 124 * v17 + 109 * v18 + 64 * v19 + 47 * v20 + 52 * v21 + 98 * v22 + 96 * v23 + 60 * v24 + 86 * v25 + 45 * v26 + 51 * v27 + 86 * v28 + 123 * v29 + 70 * v30 + 104 * v31 + 110 * v32 == 189716)
s.add(51 * v1 + 127 * v2 + 85 * v3 + 43 * v4 + 79 * v5 + 44 * v6 + 118 * v7 + 89 * v8 + 78 * v9 + 95 * v10 + 87 * v11 + 103 * v12 + 33 * v13 + 44 * v14 + 102 * v15 + 100 * v16 + 40 * v17 + 40 * v18 + 55 * v19 + 58 * v20 + 43 * v21 + 76 * v22 + 115 * v23 + 81 * v24 + 68 * v25 + 123 * v26 + 69 * v27 + 48 * v28 + 66 * v29 + 74 * v30 + 83 * v31 + 119 * v32 == 169531)
s.add(79 * v1 + 55 * v2 + 88 * v3 + 105 * v4 + 81 * v5 + 104 * v6 + 105 * v7 + 100 * v8 + 46 * v9 + 34 * v10 + 87 * v11 + 68 * v12 + 36 * v13 + 74 * v14 + 48 * v15 + 70 * v16 + 57 * v17 + 39 * v18 + 125 * v19 + 80 * v20 + 102 * v21 + 61 * v22 + 127 * v23 + 82 * v24 + 90 * v25 + 85 * v26 + 120 * v27 + 35 * v28 + 126 * v29 + 60 * v30 + 105 * v31 + 104 * v32 == 178924)
sk = ""
if s.check() == sat:
result = s.model()
sk = str(result)
dict = {}
sk = sk.replace(",", "").replace("]", ",").replace("[", "")
for i in sk.split("\n"):
if i == "":
continue
temp = i.replace(",","").strip().split(" = ")
dict[temp[0]] = temp[1]
print("flag{",end="")
for i in cha:
print(chr(eval(dict[i])),end="")
print("}")
# FLAG：flag{fd954d994c4955f5e9c0901460b38aee}
代码写的烂了点，也别嫌弃。
2、virture
IDA载入程序，没找到main函数，也没有发现目标字符串。从 start 往下跟，找到这个sub_4017E0()：
跟进 sub_401840 ，switch 加 while 1 循环，好家伙，绝对是 VM 没跑了：
再看了一下这个switch，30多个指令，2万多个字节的 opcode，我那一刻人都是麻的，但没办法，题还得肝，只能是硬着头皮往下分析。
按照个人习惯，第一步是，把opcode一条条的分割开来，这样方便阅读：
这题倒是没有我想象的那么丧心病狂，三十几个指令到头来只用到了十来个的样子
| 指令 | 作用 |
|---|---|
| 0x01 | 加法运算 |
| 0x02 | 乘法运算 |
| 0x09 | 转移指令，相当于 mov reg ， Dword |
| 0x0d | 异或运算 |
| 0x12 | 转移指令，相当于 mov [addr] , reg |
| 0x13 | 转移指令，相当于 mov reg ， Dword |
| 0x15 | 字符输出，相当于 putchar() |
| 0x16 | 字符输入，相当于 getchar() |
| 0x17 | 没摸清楚，可以确定的是有个比较的功能 |
| 0x1b | 退出，相当于 exit() |
| 0x20 | 条件跳转，但在那种条件下跳转不明 |
| 0x21 | 不等于跳转，相当于 jne |
程序的流程大概如下：
- 输出字符串 “Please input the key:”
- 接收32个字符的输入
- 检测输入是否合法
- 32 轮校验
我们重点来看校验这个部分，下面第一轮的校验指令，剩余的31轮除了参数不同，方法都一样：
09 01 00 00 00 00 mov num_32 , Dword 0
13 00 00 00 00 00 load char flag[00]
09 02 3e 00 00 00 load char 3e >
02 00 02 temp = 0x3e * flag[00]
01 01 00 num_32 += temp
13 00 01 00 00 00 load char flag[01]
09 02 21 00 00 00 load char 21 !
02 00 02 temp = 0x21 * flag[01]
01 01 00 num_32 += temp
13 00 02 00 00 00 load char flag[02]
09 02 33 00 00 00 load char 33 3
02 00 02 temp = 0x33 * flag[02]
01 01 00 num_32 += temp
13 00 03 00 00 00 load char flag[03]
09 02 68 00 00 00 load char 68 h
02 00 02 temp = 0x68 * flag[03]
01 01 00 num_32 += temp
13 00 04 00 00 00 load char flag[04]
09 02 2a 00 00 00 load char 2a *
02 00 02 temp = 0x2a * flag[04]
01 01 00 num_32 += temp
13 00 05 00 00 00 load char flag[05]
09 02 25 00 00 00 load char 25 %
02 00 02 temp = 0x25 * flag[05]
01 01 00 num_32 += temp
13 00 06 00 00 00 load char flag[06]
09 02 50 00 00 00 load char 50 P
02 00 02 temp = 0x50 * flag[06]
01 01 00 num_32 += temp
13 00 07 00 00 00 load char flag[07]
09 02 42 00 00 00 load char 42 B
02 00 02 temp = 0x42 * flag[07]
01 01 00 num_32 += temp
13 00 08 00 00 00 load char flag[08]
09 02 2e 00 00 00 load char 2e .
02 00 02 temp = 0x2e * flag[08]
01 01 00 num_32 += temp
13 00 09 00 00 00 load char flag[09]
09 02 77 00 00 00 load char 77 w
02 00 02 temp = 0x77 * flag[09]
01 01 00 num_32 += temp
13 00 0a 00 00 00 load char flag[0a]
09 02 3f 00 00 00 load char 3f ?
02 00 02 temp = 0x3f * flag[0a]
01 01 00 num_32 += temp
13 00 0b 00 00 00 load char flag[0b]
09 02 5d 00 00 00 load char 5d ]
02 00 02 temp = 0x5d * flag[0b]
01 01 00 num_32 += temp
13 00 0c 00 00 00 load char flag[0c]
09 02 28 00 00 00 load char 28 (
02 00 02 temp = 0x28 * flag[0c]
01 01 00 num_32 += temp
13 00 0d 00 00 00 load char flag[0d]
09 02 5f 00 00 00 load char 5f _
02 00 02 temp = 0x5f * flag[0d]
01 01 00 num_32 += temp
13 00 0e 00 00 00 load char flag[0e]
09 02 45 00 00 00 load char 45 E
02 00 02 temp = 0x45 * flag[0e]
01 01 00 num_32 += temp
13 00 0f 00 00 00 load char flag[0f]
09 02 69 00 00 00 load char 69 i
02 00 02 temp = 0x69 * flag[0f]
01 01 00 num_32 += temp
13 00 10 00 00 00 load char flag[10]
09 02 36 00 00 00 load char 36 6
02 00 02 temp = 0x36 * flag[10]
01 01 00 num_32 += temp
13 00 11 00 00 00 load char flag[11]
09 02 24 00 00 00 load char 24 $
02 00 02 temp = 0x24 * flag[11]
01 01 00 num_32 += temp
13 00 12 00 00 00 load char flag[12]
09 02 5d 00 00 00 load char 5d ]
02 00 02 temp = 0x5d * flag[12]
01 01 00 num_32 += temp
13 00 13 00 00 00 load char flag[13]
09 02 35 00 00 00 load char 35 5
02 00 02 temp = 0x35 * flag[13]
01 01 00 num_32 += temp
13 00 14 00 00 00 load char flag[14]
09 02 42 00 00 00 load char 42 B
02 00 02 temp = 0x42 * flag[14]
01 01 00 num_32 += temp
13 00 15 00 00 00 load char flag[15]
09 02 43 00 00 00 load char 43 C
02 00 02 temp = 0x43 * flag[15]
01 01 00 num_32 += temp
13 00 16 00 00 00 load char flag[16]
09 02 3e 00 00 00 load char 3e >
02 00 02 temp = 0x3e * flag[16]
01 01 00 num_32 += temp
13 00 17 00 00 00 load char flag[17]
09 02 41 00 00 00 load char 41 A
02 00 02 temp = 0x41 * flag[17]
01 01 00 num_32 += temp
13 00 18 00 00 00 load char flag[18]
09 02 50 00 00 00 load char 50 P
02 00 02 temp = 0x50 * flag[18]
01 01 00 num_32 += temp
13 00 19 00 00 00 load char flag[19]
09 02 75 00 00 00 load char 75 u
02 00 02 temp = 0x75 * flag[19]
01 01 00 num_32 += temp
13 00 1a 00 00 00 load char flag[1a]
09 02 32 00 00 00 load char 32 2
02 00 02 temp = 0x32 * flag[1a]
01 01 00 num_32 += temp
13 00 1b 00 00 00 load char flag[1b]
09 02 2b 00 00 00 load char 2b +
02 00 02 temp = 0x2b * flag[1b]
01 01 00 num_32 += temp
13 00 1c 00 00 00 load char flag[1c]
09 02 24 00 00 00 load char 24 $
02 00 02 temp = 0x24 * flag[1c]
01 01 00 num_32 += temp
13 00 1d 00 00 00 load char flag[1d]
09 02 6b 00 00 00 load char 6b k
02 00 02 temp = 0x6b * flag[1d]
01 01 00 num_32 += temp
13 00 1e 00 00 00 load char flag[1e]
09 02 6c 00 00 00 load char 6c l
02 00 02 temp = 0x6c * flag[1e]
01 01 00 num_32 += temp
13 00 1f 00 00 00 load char flag[1f]
09 02 6f 00 00 00 load char 6f o
02 00 02 temp = 0x6f * flag[1f]
01 01 00 num_32 += temp
0d 01 89 1d 24 ac num_32 ^= Dword 0xac241d89
09 00 92 86 26 ac load Dword 0xac268692
17 00 01 cmp 0xac268692 , num_32
21 e7 4f 00 00 jne exit()
到这里应该能看出来了，和上一题一样，还是一个 32元一次方程，只是从 Java版换成了 VM 版，就离谱，出题人得是多好这一口！
再之后就简单了，将相关的参数提取出来，套用上面的脚本再跑一遍 z3 就是了：
# -*- coding: utf-8 -*-
"""
Spyder Editor
This is a temporary script file.
"""
from z3 import *
value1 = [
0xac241d89,0x3c748602,0xd050dee3,0x6437ffd9,
0x0d6f5ae8,0x8d08a075,0xbb43561f,0xa10913ca,
0x0d647c66,0x61cb01dd,0x51f6cf38,0x86009a31,
0xfb6afa06,0x26dfaeeb,0x76b24695,0xf3fde9a0,
0xd8934cc7,0xf1aa539d,0xac6ddc1d,0xf0caaf80,
0xf3401aff,0x980a0d4c,0x26e3a3bc,0x410f94d2,
0x738c4f02,0xa39ebcfe,0x64399bab,0xc7ac872a,
0xdc577d43,0xf82afcfd,0x993d28fc,0xb5aaf6b5]
value2 = [
0xac268692,0x3c7639ab,0xd053e7d4,0x64358e07,
0x0d6c5c0a,0x8d0a4298,0xbb405f60,0xa10a1755,
0x0d66dd24,0x61c9e122,0x51f4aad8,0x86023671,
0xfb681443,0x26dd5538,0x76b17016,0xf3ff3d06,
0xd891a50f,0xf1a8e0e8,0xac6f3e04,0xf0c8014b,
0xf342a73a,0x9808cfeb,0x26e1269a,0x410d7bec,
0x738e895c,0xa39c7998,0x643b4245,0xc7ae4d47,
0xdc55acf7,0xf82815ad,0x993fe1e1,0xb5a9c95c]
num_32 = []
for i in range(32):
num_32.append(value1[i]^value2[i])
cha = ["v1","v2","v3","v4","v5","v6","v7","v8","v9","v10","v11","v12","v13","v14","v15","v16","v17","v18","v19","v20","v21","v22","v23","v24","v25","v26","v27","v28","v29","v30","v31","v32"]
tab = [
[62, 33, 51, 104, 42, 37, 80, 66, 46, 119, 63, 93, 40, 95, 69, 105, 54, 36, 93, 53, 66, 67, 62, 65, 80, 117, 50, 43, 36, 107, 108, 111],
[ 91, 72, 76, 37, 63, 111, 56, 51, 95, 54, 98, 125, 34, 49, 34, 94, 62, 65, 69, 98, 97, 109, 88, 61, 63, 58, 126, 66, 117, 51, 98, 84],
[ 105, 78, 82, 62, 119, 118, 88, 66, 97, 100, 86, 43, 124, 93, 70, 123, 116, 40, 93, 121, 95, 104, 86, 58, 122, 120, 101, 38, 123, 99, 49, 66],
[ 67, 34, 108, 65, 70, 37, 65, 38, 88, 54, 97, 62, 82, 51, 63, 59, 126, 33, 91, 47, 106, 36, 77, 35, 77, 114, 71, 57, 36, 111, 62, 62],
[ 83, 66, 38, 59, 124, 73, 120, 119, 82, 79, 36, 106, 74, 120, 124, 116, 71, 120, 43, 89, 61, 114, 124, 64, 97, 92, 71, 76, 43, 93, 38, 96],
[ 86, 77, 79, 65, 79, 47, 116, 35, 34, 91, 68, 54, 80, 42, 34, 95, 56, 105, 54, 126, 118, 60, 98, 119, 103, 121, 90, 42, 105, 100, 101, 87],
[ 70, 114, 91, 34, 116, 84, 123, 80, 124, 49, 41, 110, 107, 109, 99, 64, 74, 107, 88, 43, 105, 122, 60, 87, 68, 127, 83, 56, 75, 83, 48, 42],
[ 83, 122, 47, 116, 79, 73, 54, 57, 38, 34, 125, 52, 110, 105, 124, 80, 124, 92, 117, 98, 93, 89, 95, 87, 49, 125, 84, 36, 80, 74, 106, 117],
[ 97, 71, 81, 53, 97, 55, 54, 72, 45, 87, 113, 99, 126, 36, 47, 55, 41, 83, 106, 71, 60, 97, 74, 52, 82, 68, 71, 35, 85, 114, 39, 72],
[ 70, 109, 76, 82, 74, 105, 96, 94, 85, 74, 72, 75, 57, 106, 99, 80, 107, 36, 78, 95, 96, 43, 51, 124, 98, 99, 58, 107, 90, 61, 43, 71],
[ 52, 58, 46, 111, 78, 41, 39, 47, 105, 44, 43, 45, 37, 69, 125, 35, 104, 63, 34, 50, 117, 66, 89, 55, 56, 106, 83, 123, 72, 42, 62, 97],
[ 109, 103, 106, 80, 58, 45, 100, 51, 109, 76, 66, 103, 61, 48, 37, 93, 50, 45, 105, 97, 45, 77, 38, 114, 69, 121, 85, 77, 53, 55, 38, 37],
[ 90, 45, 47, 124, 64, 97, 84, 52, 83, 39, 100, 122, 101, 57, 83, 53, 82, 123, 122, 83, 102, 60, 61, 77, 109, 59, 123, 85, 54, 98, 101, 72],
[ 95, 102, 105, 116, 70, 49, 94, 114, 106, 63, 58, 37, 74, 113, 112, 64, 115, 35, 89, 64, 90, 98, 41, 94, 48, 119, 59, 81, 122, 99, 80, 124],
[ 33, 107, 67, 107, 48, 118, 81, 113, 58, 127, 125, 40, 123, 76, 117, 109, 66, 90, 107, 34, 95, 119, 76, 99, 117, 85, 117, 48, 47, 120, 70, 76],
[ 52, 90, 76, 55, 119, 103, 34, 34, 47, 54, 84, 93, 61, 48, 118, 115, 72, 56, 66, 116, 110, 119, 122, 85, 75, 67, 98, 104, 93, 51, 36, 110],
[ 32, 72, 111, 41, 78, 44, 122, 66, 46, 118, 42, 98, 112, 75, 113, 78, 105, 78, 124, 67, 124, 106, 86, 79, 38, 112, 51, 95, 108, 35, 36, 44],
[ 53, 73, 69, 102, 64, 53, 104, 100, 34, 72, 96, 69, 49, 122, 102, 39, 119, 57, 49, 42, 61, 121, 39, 84, 124, 61, 125, 115, 57, 47, 116, 47],
[ 110, 70, 62, 114, 84, 107, 46, 106, 99, 96, 74, 52, 121, 58, 127, 37, 106, 77, 116, 112, 118, 59, 50, 113, 56, 83, 74, 46, 42, 43, 50, 66],
[ 69, 71, 55, 77, 84, 67, 123, 98, 120, 124, 105, 122, 88, 57, 99, 39, 35, 67, 42, 43, 41, 92, 103, 46, 84, 38, 43, 83, 33, 87, 79, 39],
[ 41, 49, 91, 71, 122, 83, 69, 82, 45, 92, 94, 114, 50, 58, 48, 66, 109, 88, 62, 63, 121, 46, 41, 91, 107, 104, 125, 35, 119, 41, 71, 50],
[ 67, 93, 83, 62, 127, 91, 103, 37, 62, 34, 72, 111, 112, 33, 93, 119, 112, 81, 57, 112, 64, 73, 120, 36, 63, 53, 76, 48, 106, 111, 44, 122],
[ 116, 85, 120, 43, 81, 55, 115, 62, 102, 34, 38, 88, 36, 76, 35, 114, 97, 127, 60, 75, 73, 34, 52, 77, 42, 56, 93, 49, 76, 125, 56, 73],
[ 77, 111, 116, 34, 85, 42, 37, 38, 89, 65, 115, 121, 116, 103, 108, 106, 126, 86, 107, 125, 110, 48, 60, 87, 35, 53, 100, 101, 50, 117, 56, 65],
[ 103, 34, 77, 46, 44, 86, 124, 109, 77, 90, 50, 127, 40, 77, 39, 103, 84, 112, 89, 56, 96, 82, 36, 44, 88, 58, 72, 38, 89, 54, 123, 87],
[ 43, 48, 54, 45, 79, 88, 33, 54, 103, 100, 54, 49, 127, 108, 116, 87, 127, 121, 117, 93, 60, 101, 108, 50, 32, 36, 76, 55, 111, 61, 47, 121],
[ 113, 114, 113, 50, 122, 111, 120, 50, 122, 35, 102, 90, 89, 42, 62, 60, 86, 95, 43, 72, 114, 78, 82, 53, 70, 93, 118, 34, 87, 96, 62, 57],
[ 67, 104, 82, 72, 109, 117, 53, 39, 85, 97, 33, 82, 59, 39, 102, 37, 103, 39, 104, 71, 86, 43, 108, 123, 37, 125, 107, 56, 96, 119, 36, 108],
[ 91, 64, 43, 97, 46, 105, 49, 68, 68, 109, 33, 54, 90, 103, 117, 98, 52, 96, 32, 97, 87, 66, 72, 118, 66, 76, 87, 83, 53, 119, 90, 119],
[ 65, 53, 85, 84, 94, 82, 77, 70, 68, 97, 94, 86, 124, 54, 38, 52, 50, 124, 92, 64, 74, 85, 45, 94, 97, 110, 49, 123, 76, 56, 89, 120],
[ 109, 114, 33, 33, 76, 41, 61, 48, 41, 123, 65, 59, 85, 32, 127, 97, 98, 114, 87, 32, 67, 68, 108, 120, 116, 63, 109, 54, 92, 72, 72, 32],
[ 68, 84, 102, 97, 121, 127, 110, 126, 90, 109, 54, 60, 126, 86, 98, 92, 48, 103, 75, 124, 103, 119, 52, 84, 84, 91, 94, 44, 124, 76, 57, 99]
]
v1 = Int('v1')
v2 = Int('v2')
v3 = Int('v3')
v4 = Int('v4')
v5 = Int('v5')
v6 = Int('v6')
v7 = Int('v7')
v8 = Int('v8')
v9 = Int('v9')
v10 = Int('v10')
v11 = Int('v11')
v12 = Int('v12')
v13 = Int('v13')
v14 = Int('v14')
v15 = Int('v15')
v16 = Int('v16')
v17 = Int('v17')
v18 = Int('v18')
v19 = Int('v19')
v20 = Int('v20')
v21 = Int('v21')
v22 = Int('v22')
v23 = Int('v23')
v24 = Int('v24')
v25 = Int('v25')
v26 = Int('v26')
v27 = Int('v27')
v28 = Int('v28')
v29 = Int('v29')
v30 = Int('v30')
v31 = Int('v31')
v32 = Int('v32')
s = Solver()
s.add(62 * v1 + 33 * v2 + 51 * v3 + 104 * v4 + 42 * v5 + 37 * v6 + 80 * v7 + 66 * v8 + 46 * v9 + 119 * v10 + 63 * v11 + 93 * v12 + 40 * v13 + 95 * v14 + 69 * v15 + 105 * v16 + 54 * v17 + 36 * v18 + 93 * v19 + 53 * v20 + 66 * v21 + 67 * v22 + 62 * v23 + 65 * v24 + 80 * v25 + 117 * v26 + 50 * v27 + 43 * v28 + 36 * v29 + 107 * v30 + 108 * v31 + 111 * v32 == 170779)
s.add(91 * v1 + 72 * v2 + 76 * v3 + 37 * v4 + 63 * v5 + 111 * v6 + 56 * v7 + 51 * v8 + 95 * v9 + 54 * v10 + 98 * v11 + 125 * v12 + 34 * v13 + 49 * v14 + 34 * v15 + 94 * v16 + 62 * v17 + 65 * v18 + 69 * v19 + 98 * v20 + 97 * v21 + 109 * v22 + 88 * v23 + 61 * v24 + 63 * v25 + 58 * v26 + 126 * v27 + 66 * v28 + 117 * v29 + 51 * v30 + 98 * v31 + 84 * v32 == 180137)
s.add(105 * v1 + 78 * v2 + 82 * v3 + 62 * v4 + 119 * v5 + 118 * v6 + 88 * v7 + 66 * v8 + 97 * v9 + 100 * v10 + 86 * v11 + 43 * v12 + 124 * v13 + 93 * v14 + 70 * v15 + 123 * v16 + 116 * v17 + 40 * v18 + 93 * v19 + 121 * v20 + 95 * v21 + 104 * v22 + 86 * v23 + 58 * v24 + 122 * v25 + 120 * v26 + 101 * v27 + 38 * v28 + 123 * v29 + 99 * v30 + 49 * v31 + 66 * v32 == 211255)
s.add(67 * v1 + 34 * v2 + 108 * v3 + 65 * v4 + 70 * v5 + 37 * v6 + 65 * v7 + 38 * v8 + 88 * v9 + 54 * v10 + 97 * v11 + 62 * v12 + 82 * v13 + 51 * v14 + 63 * v15 + 59 * v16 + 126 * v17 + 33 * v18 + 91 * v19 + 47 * v20 + 106 * v21 + 36 * v22 + 77 * v23 + 35 * v24 + 77 * v25 + 114 * v26 + 71 * v27 + 57 * v28 + 36 * v29 + 111 * v30 + 62 * v31 + 62 * v32 == 160222)
s.add(83 * v1 + 66 * v2 + 38 * v3 + 59 * v4 + 124 * v5 + 73 * v6 + 120 * v7 + 119 * v8 + 82 * v9 + 79 * v10 + 36 * v11 + 106 * v12 + 74 * v13 + 120 * v14 + 124 * v15 + 116 * v16 + 71 * v17 + 120 * v18 + 43 * v19 + 89 * v20 + 61 * v21 + 114 * v22 + 124 * v23 + 64 * v24 + 97 * v25 + 92 * v26 + 71 * v27 + 76 * v28 + 43 * v29 + 93 * v30 + 38 * v31 + 96 * v32 == 198370)
s.add(86 * v1 + 77 * v2 + 79 * v3 + 65 * v4 + 79 * v5 + 47 * v6 + 116 * v7 + 35 * v8 + 34 * v9 + 91 * v10 + 68 * v11 + 54 * v12 + 80 * v13 + 42 * v14 + 34 * v15 + 95 * v16 + 56 * v17 + 105 * v18 + 54 * v19 + 126 * v20 + 118 * v21 + 60 * v22 + 98 * v23 + 119 * v24 + 103 * v25 + 121 * v26 + 90 * v27 + 42 * v28 + 105 * v29 + 100 * v30 + 101 * v31 + 87 * v32 == 189165)
s.add(70 * v1 + 114 * v2 + 91 * v3 + 34 * v4 + 116 * v5 + 84 * v6 + 123 * v7 + 80 * v8 + 124 * v9 + 49 * v10 + 41 * v11 + 110 * v12 + 107 * v13 + 109 * v14 + 99 * v15 + 64 * v16 + 74 * v17 + 107 * v18 + 88 * v19 + 43 * v20 + 105 * v21 + 122 * v22 + 60 * v23 + 87 * v24 + 68 * v25 + 127 * v26 + 83 * v27 + 56 * v28 + 75 * v29 + 83 * v30 + 48 * v31 + 42 * v32 == 199039)
s.add(83 * v1 + 122 * v2 + 47 * v3 + 116 * v4 + 79 * v5 + 73 * v6 + 54 * v7 + 57 * v8 + 38 * v9 + 34 * v10 + 125 * v11 + 52 * v12 + 110 * v13 + 105 * v14 + 124 * v15 + 80 * v16 + 124 * v17 + 92 * v18 + 117 * v19 + 98 * v20 + 93 * v21 + 89 * v22 + 95 * v23 + 87 * v24 + 49 * v25 + 125 * v26 + 84 * v27 + 36 * v28 + 80 * v29 + 74 * v30 + 106 * v31 + 117 * v32 == 197791)
s.add(97 * v1 + 71 * v2 + 81 * v3 + 53 * v4 + 97 * v5 + 55 * v6 + 54 * v7 + 72 * v8 + 45 * v9 + 87 * v10 + 113 * v11 + 99 * v12 + 126 * v13 + 36 * v14 + 47 * v15 + 55 * v16 + 41 * v17 + 83 * v18 + 106 * v19 + 71 * v20 + 60 * v21 + 97 * v22 + 74 * v23 + 52 * v24 + 82 * v25 + 68 * v26 + 71 * v27 + 35 * v28 + 85 * v29 + 114 * v30 + 39 * v31 + 72 * v32 == 172354)
s.add(70 * v1 + 109 * v2 + 76 * v3 + 82 * v4 + 74 * v5 + 105 * v6 + 96 * v7 + 94 * v8 + 85 * v9 + 74 * v10 + 72 * v11 + 75 * v12 + 57 * v13 + 106 * v14 + 99 * v15 + 80 * v16 + 107 * v17 + 36 * v18 + 78 * v19 + 95 * v20 + 96 * v21 + 43 * v22 + 51 * v23 + 124 * v24 + 98 * v25 + 99 * v26 + 58 * v27 + 107 * v28 + 90 * v29 + 61 * v30 + 43 * v31 + 71 * v32 == 188671)
s.add(52 * v1 + 58 * v2 + 46 * v3 + 111 * v4 + 78 * v5 + 41 * v6 + 39 * v7 + 47 * v8 + 105 * v9 + 44 * v10 + 43 * v11 + 45 * v12 + 37 * v13 + 69 * v14 + 125 * v15 + 35 * v16 + 104 * v17 + 63 * v18 + 34 * v19 + 50 * v20 + 117 * v21 + 66 * v22 + 89 * v23 + 55 * v24 + 56 * v25 + 106 * v26 + 83 * v27 + 123 * v28 + 72 * v29 + 42 * v30 + 62 * v31 + 97 * v32 == 157152)
s.add(109 * v1 + 103 * v2 + 106 * v3 + 80 * v4 + 58 * v5 + 45 * v6 + 100 * v7 + 51 * v8 + 109 * v9 + 76 * v10 + 66 * v11 + 103 * v12 + 61 * v13 + 48 * v14 + 37 * v15 + 93 * v16 + 50 * v17 + 45 * v18 + 105 * v19 + 97 * v20 + 45 * v21 + 77 * v22 + 38 * v23 + 114 * v24 + 69 * v25 + 121 * v26 + 85 * v27 + 77 * v28 + 53 * v29 + 55 * v30 + 38 * v31 + 37 * v32 == 175168)
s.add(90 * v1 + 45 * v2 + 47 * v3 + 124 * v4 + 64 * v5 + 97 * v6 + 84 * v7 + 52 * v8 + 83 * v9 + 39 * v10 + 100 * v11 + 122 * v12 + 101 * v13 + 57 * v14 + 83 * v15 + 53 * v16 + 82 * v17 + 123 * v18 + 122 * v19 + 83 * v20 + 102 * v21 + 60 * v22 + 61 * v23 + 77 * v24 + 109 * v25 + 59 * v26 + 123 * v27 + 85 * v28 + 54 * v29 + 98 * v30 + 101 * v31 + 72 * v32 == 192069)
s.add(95 * v1 + 102 * v2 + 105 * v3 + 116 * v4 + 70 * v5 + 49 * v6 + 94 * v7 + 114 * v8 + 106 * v9 + 63 * v10 + 58 * v11 + 37 * v12 + 74 * v13 + 113 * v14 + 112 * v15 + 64 * v16 + 115 * v17 + 35 * v18 + 89 * v19 + 64 * v20 + 90 * v21 + 98 * v22 + 41 * v23 + 94 * v24 + 48 * v25 + 119 * v26 + 59 * v27 + 81 * v28 + 122 * v29 + 99 * v30 + 80 * v31 + 124 * v32 == 195539)
s.add(33 * v1 + 107 * v2 + 67 * v3 + 107 * v4 + 48 * v5 + 118 * v6 + 81 * v7 + 113 * v8 + 58 * v9 + 127 * v10 + 125 * v11 + 40 * v12 + 123 * v13 + 76 * v14 + 117 * v15 + 109 * v16 + 66 * v17 + 90 * v18 + 107 * v19 + 34 * v20 + 95 * v21 + 119 * v22 + 76 * v23 + 99 * v24 + 117 * v25 + 85 * v26 + 117 * v27 + 48 * v28 + 47 * v29 + 120 * v30 + 70 * v31 + 76 * v32 == 210563)
s.add(52 * v1 + 90 * v2 + 76 * v3 + 55 * v4 + 119 * v5 + 103 * v6 + 34 * v7 + 34 * v8 + 47 * v9 + 54 * v10 + 84 * v11 + 93 * v12 + 61 * v13 + 48 * v14 + 118 * v15 + 115 * v16 + 72 * v17 + 56 * v18 + 66 * v19 + 116 * v20 + 110 * v21 + 119 * v22 + 122 * v23 + 85 * v24 + 75 * v25 + 67 * v26 + 98 * v27 + 104 * v28 + 93 * v29 + 51 * v30 + 36 * v31 + 110 * v32 == 185510)
s.add(32 * v1 + 72 * v2 + 111 * v3 + 41 * v4 + 78 * v5 + 44 * v6 + 122 * v7 + 66 * v8 + 46 * v9 + 118 * v10 + 42 * v11 + 98 * v12 + 112 * v13 + 75 * v14 + 113 * v15 + 78 * v16 + 105 * v17 + 78 * v18 + 124 * v19 + 67 * v20 + 124 * v21 + 106 * v22 + 86 * v23 + 79 * v24 + 38 * v25 + 112 * v26 + 51 * v27 + 95 * v28 + 108 * v29 + 35 * v30 + 36 * v31 + 44 * v32 == 190920)
s.add(53 * v1 + 73 * v2 + 69 * v3 + 102 * v4 + 64 * v5 + 53 * v6 + 104 * v7 + 100 * v8 + 34 * v9 + 72 * v10 + 96 * v11 + 69 * v12 + 49 * v13 + 122 * v14 + 102 * v15 + 39 * v16 + 119 * v17 + 57 * v18 + 49 * v19 + 42 * v20 + 61 * v21 + 121 * v22 + 39 * v23 + 84 * v24 + 124 * v25 + 61 * v26 + 125 * v27 + 115 * v28 + 57 * v29 + 47 * v30 + 116 * v31 + 47 * v32 == 177013)
s.add(110 * v1 + 70 * v2 + 62 * v3 + 114 * v4 + 84 * v5 + 107 * v6 + 46 * v7 + 106 * v8 + 99 * v9 + 96 * v10 + 74 * v11 + 52 * v12 + 121 * v13 + 58 * v14 + 127 * v15 + 37 * v16 + 106 * v17 + 77 * v18 + 116 * v19 + 112 * v20 + 118 * v21 + 59 * v22 + 50 * v23 + 113 * v24 + 56 * v25 + 83 * v26 + 74 * v27 + 46 * v28 + 42 * v29 + 43 * v30 + 50 * v31 + 66 * v32 == 188953)
s.add(69 * v1 + 71 * v2 + 55 * v3 + 77 * v4 + 84 * v5 + 67 * v6 + 123 * v7 + 98 * v8 + 120 * v9 + 124 * v10 + 105 * v11 + 122 * v12 + 88 * v13 + 57 * v14 + 99 * v15 + 39 * v16 + 35 * v17 + 67 * v18 + 42 * v19 + 43 * v20 + 41 * v21 + 92 * v22 + 103 * v23 + 46 * v24 + 84 * v25 + 38 * v26 + 43 * v27 + 83 * v28 + 33 * v29 + 87 * v30 + 79 * v31 + 39 * v32 == 175819)
s.add(41 * v1 + 49 * v2 + 91 * v3 + 71 * v4 + 122 * v5 + 83 * v6 + 69 * v7 + 82 * v8 + 45 * v9 + 92 * v10 + 94 * v11 + 114 * v12 + 50 * v13 + 58 * v14 + 48 * v15 + 66 * v16 + 109 * v17 + 88 * v18 + 62 * v19 + 63 * v20 + 121 * v21 + 46 * v22 + 41 * v23 + 91 * v24 + 107 * v25 + 104 * v26 + 125 * v27 + 35 * v28 + 119 * v29 + 41 * v30 + 71 * v31 + 50 * v32 == 179653)
s.add(67 * v1 + 93 * v2 + 83 * v3 + 62 * v4 + 127 * v5 + 91 * v6 + 103 * v7 + 37 * v8 + 62 * v9 + 34 * v10 + 72 * v11 + 111 * v12 + 112 * v13 + 33 * v14 + 93 * v15 + 119 * v16 + 112 * v17 + 81 * v18 + 57 * v19 + 112 * v20 + 64 * v21 + 73 * v22 + 120 * v23 + 36 * v24 + 63 * v25 + 53 * v26 + 76 * v27 + 48 * v28 + 106 * v29 + 111 * v30 + 44 * v31 + 122 * v32 == 180903)
s.add(116 * v1 + 85 * v2 + 120 * v3 + 43 * v4 + 81 * v5 + 55 * v6 + 115 * v7 + 62 * v8 + 102 * v9 + 34 * v10 + 38 * v11 + 88 * v12 + 36 * v13 + 76 * v14 + 35 * v15 + 114 * v16 + 97 * v17 + 127 * v18 + 60 * v19 + 75 * v20 + 73 * v21 + 34 * v22 + 52 * v23 + 77 * v24 + 42 * v25 + 56 * v26 + 93 * v27 + 49 * v28 + 76 * v29 + 125 * v30 + 56 * v31 + 73 * v32 == 165158)
s.add(77 * v1 + 111 * v2 + 116 * v3 + 34 * v4 + 85 * v5 + 42 * v6 + 37 * v7 + 38 * v8 + 89 * v9 + 65 * v10 + 115 * v11 + 121 * v12 + 116 * v13 + 103 * v14 + 108 * v15 + 106 * v16 + 126 * v17 + 86 * v18 + 107 * v19 + 125 * v20 + 110 * v21 + 48 * v22 + 60 * v23 + 87 * v24 + 35 * v25 + 53 * v26 + 100 * v27 + 101 * v28 + 50 * v29 + 117 * v30 + 56 * v31 + 65 * v32 == 192318)
s.add(103 * v1 + 34 * v2 + 77 * v3 + 46 * v4 + 44 * v5 + 86 * v6 + 124 * v7 + 109 * v8 + 77 * v9 + 90 * v10 + 50 * v11 + 127 * v12 + 40 * v13 + 77 * v14 + 39 * v15 + 103 * v16 + 84 * v17 + 112 * v18 + 89 * v19 + 56 * v20 + 96 * v21 + 82 * v22 + 36 * v23 + 44 * v24 + 88 * v25 + 58 * v26 + 72 * v27 + 38 * v28 + 89 * v29 + 54 * v30 + 123 * v31 + 87 * v32 == 181854)
s.add(43 * v1 + 48 * v2 + 54 * v3 + 45 * v4 + 79 * v5 + 88 * v6 + 33 * v7 + 54 * v8 + 103 * v9 + 100 * v10 + 54 * v11 + 49 * v12 + 127 * v13 + 108 * v14 + 116 * v15 + 87 * v16 + 127 * v17 + 121 * v18 + 117 * v19 + 93 * v20 + 60 * v21 + 101 * v22 + 108 * v23 + 50 * v24 + 32 * v25 + 36 * v26 + 76 * v27 + 55 * v28 + 111 * v29 + 61 * v30 + 47 * v31 + 121 * v32 == 181606)
s.add(113 * v1 + 114 * v2 + 113 * v3 + 50 * v4 + 122 * v5 + 111 * v6 + 120 * v7 + 50 * v8 + 122 * v9 + 35 * v10 + 102 * v11 + 90 * v12 + 89 * v13 + 42 * v14 + 62 * v15 + 60 * v16 + 86 * v17 + 95 * v18 + 43 * v19 + 72 * v20 + 114 * v21 + 78 * v22 + 82 * v23 + 53 * v24 + 70 * v25 + 93 * v26 + 118 * v27 + 34 * v28 + 87 * v29 + 96 * v30 + 62 * v31 + 57 * v32 == 186862)
s.add(67 * v1 + 104 * v2 + 82 * v3 + 72 * v4 + 109 * v5 + 117 * v6 + 53 * v7 + 39 * v8 + 85 * v9 + 97 * v10 + 33 * v11 + 82 * v12 + 59 * v13 + 39 * v14 + 102 * v15 + 37 * v16 + 103 * v17 + 39 * v18 + 104 * v19 + 71 * v20 + 86 * v21 + 43 * v22 + 108 * v23 + 123 * v24 + 37 * v25 + 125 * v26 + 107 * v27 + 56 * v28 + 96 * v29 + 119 * v30 + 36 * v31 + 108 * v32 == 182893)
s.add(91 * v1 + 64 * v2 + 43 * v3 + 97 * v4 + 46 * v5 + 105 * v6 + 49 * v7 + 68 * v8 + 68 * v9 + 109 * v10 + 33 * v11 + 54 * v12 + 90 * v13 + 103 * v14 + 117 * v15 + 98 * v16 + 52 * v17 + 96 * v18 + 32 * v19 + 97 * v20 + 87 * v21 + 66 * v22 + 72 * v23 + 118 * v24 + 66 * v25 + 76 * v26 + 87 * v27 + 83 * v28 + 53 * v29 + 119 * v30 + 90 * v31 + 119 * v32 == 184756)
s.add(65 * v1 + 53 * v2 + 85 * v3 + 84 * v4 + 94 * v5 + 82 * v6 + 77 * v7 + 70 * v8 + 68 * v9 + 97 * v10 + 94 * v11 + 86 * v12 + 124 * v13 + 54 * v14 + 38 * v15 + 52 * v16 + 50 * v17 + 124 * v18 + 92 * v19 + 64 * v20 + 74 * v21 + 85 * v22 + 45 * v23 + 94 * v24 + 97 * v25 + 110 * v26 + 49 * v27 + 123 * v28 + 76 * v29 + 56 * v30 + 89 * v31 + 120 * v32 == 190800)
s.add(109 * v1 + 114 * v2 + 33 * v3 + 33 * v4 + 76 * v5 + 41 * v6 + 61 * v7 + 48 * v8 + 41 * v9 + 123 * v10 + 65 * v11 + 59 * v12 + 85 * v13 + 32 * v14 + 127 * v15 + 97 * v16 + 98 * v17 + 114 * v18 + 87 * v19 + 32 * v20 + 67 * v21 + 68 * v22 + 108 * v23 + 120 * v24 + 116 * v25 + 63 * v26 + 109 * v27 + 54 * v28 + 92 * v29 + 72 * v30 + 72 * v31 + 32 * v32 == 182557)
s.add(68 * v1 + 84 * v2 + 102 * v3 + 97 * v4 + 121 * v5 + 127 * v6 + 110 * v7 + 126 * v8 + 90 * v9 + 109 * v10 + 54 * v11 + 60 * v12 + 126 * v13 + 86 * v14 + 98 * v15 + 92 * v16 + 48 * v17 + 103 * v18 + 75 * v19 + 124 * v20 + 103 * v21 + 119 * v22 + 52 * v23 + 84 * v24 + 84 * v25 + 91 * v26 + 94 * v27 + 44 * v28 + 124 * v29 + 76 * v30 + 57 * v31 + 99 * v32 == 212969)
sk = ""
if s.check() == sat:
result = s.model()
sk = str(result)
else:
print("Error")
dict = {}
sk = sk.replace(",", "").replace("]", ",").replace("[", "")
for i in sk.split("\n"):
if i == "":
continue
temp = i.replace(",","").strip().split(" = ")
dict[temp[0]] = temp[1]
print("flag{",end="")
for i in cha:
print(chr(eval(dict[i])),end="")
print("}")
# FLAG : flag{1772353aef6cd53c34c3decfdd2762c4}
3、VP
从整体结构上看，和上一题 Virtual 差不多，就是指令的功能有些不同，然后opcode的体量大了亿点点，说真的，40多万字节的opcode，真就是生平所见。
不多说，首先还是分割opcode和分析指令集功能：
| 指令 | 作用 |
|---|---|
| 0x01 | 加法运算 |
| 0x04 | 异或运算 |
| 0x06 | 或运算 |
| 0x09 | 取值，可看作mov |
| 0x0a | 异或运算 |
| 0x0b | 加法运算 |
| 0x0c | 乘法运算 |
| 0x0e | 异或运算 |
| 0x12 | 位运算 相当于 << |
| 0x13 | 转移指令 |
| 0x14 | 转移指令 |
| 0x15 | 转移指令 |
| 0x16 | 字符输出，相当于 getchar() |
| 0x17 | 字符输入，相当于 putchar() |
| 0x18 | 比较指令，相当于 cmp |
| 0x1b | 赋值 |
| 0x1f | 条件跳转，不符合直接退出的那种 |
| 0x27 | 跳转指令，相当于jmp |
给一个分析过的一个指令片段吧，能帮着理解一下：
// rsi 可以看作是一个基地址
17 00 输入一个字符到 rsi[2+0]
13 00 00 00 00 00 拷贝字符到 0x46A0C0 处
0b 00 d0 ff ff ff rsi[2+0] -48
18 00 02 判断 rsi[2+0] 是否为 0 或 1
1f 91 63 02 00 不是的话就退出
0b 06 01 00 00 00 rsi[2+6] + 1 加当前的轮次
01 06 00 rsi[2+6] += rsi[2+0]
1b 90 00 00 00 x = 0x90
1a 05 rsi[2+5] = x
0a 03 d6 6a 58 ed rsi[2+3] = 0xed586ad6
04 03 06 rsi[2+3] ^= rsi[2+6]
0e 03 fb 74 a2 c7 rsi[2+3] ^= 0xc7a274fb
0e 03 2d 1e fa 2a rsi[2+3] ^= 0x2afa1e2d
0c 03 04 00 00 00 rsi[2+3] *= 4
01 05 03 rsi[2+5] += rsi[2+3]
09 04 05 rsi[2+4] = [0x46c0a0 + rsi[2+5]]
01 07 04 rsi[2+7] += rsi[2+4]
12 00 07 00 00 00 rsi[2+0] <<= 7
14 03 80 00 00 00 rsi[2+3] = [0x46c0a0 + 0x80]
06 00 03 rsi[2+0] |= rsi[2+3]
13 80 00 00 00 00 [0x46c0a0 + 0x80] = rsi[2+0]
// 其实有些步骤是可以省略掉的，比如 0xed586ad6 ^ 0xc7a274fb ^ 0x2afa1e2d 直接等于零，后面也是类似
VM这种东西是没法静态分析出来的，但我第一下调试的时候人都傻了，一开始是在函数里面单步，后来在switch那里打了个断，然后点运行，一直到手都点麻了还没看到输出的字符，一时间心态炸裂。
后面有去看了一下分割出来的opcode，对着伪代码打了些标注：
一开始进行了大量的赋值和跳转操作，整的跟花指令似的，清点了一下大概是八千多个赋值，算上花指令我要点差不多 16000 多次运行。
把前面的赋值和跳转屏蔽掉：
现在看着正常多了：
这里是对接受和处理输入的分析，它的输入只接受 0 或者 1，这个调一下就能知道。
他这里对flag的接受有0x80次也就是128位，每一轮都有自己的处理，大体上一致，只是有些数据会变：
比如 12 指令 这里，他最终的目的是配合 06 指令，把flag从字符串转化为二进制数，例如：“11111111” ==>> 0b11111111 也就是 0xFF。
因为flag的接受轮次比较多，很难说每次都手动的去调试，这里用 Unicorn 辅助调试：
from ctypes import addressof
from unicorn import *
from unicorn.x86_const import *
from capstone import *
import binascii
vp_base = 0x401000 # 程序加载的地址
vp_opcode_base = 0x405000 # 输入的地址
vp_stack_base = 0x670000
with open("vp_opcode.bin", "rb") as f:
vp_opcode = f.read() # 读取 vm 运行所需的 opcode 指令
f.close()
with open("vp_code.bin", "rb") as f:
x64_code = f.read() # 读取 vp.exe 的指令
f.close()
with open("vp_stack.bin", "rb") as f:
vp_stack = f.read() # 从 x64dbg 里面dump出来的现成的栈上的数据
f.close()
xxx = [b'\x00', b'\x01', b'\x02', b'\x03', b'\x04', b'\x05', b'\x06', b'\x07', b'\x08', b'\x09', b'\x0a', b'\x0b',
b'\x0c', b'\x0d', b'\x0e', b'\x0f', b'\x10', b'\x11', b'\x12', b'\x13', b'\x14', b'\x15', b'\x16', b'\x17',
b'\x18', b'\x19', b'\x1a', b'\x1b', b'\x1c', b'\x1d', b'\x1e', b'\x1f', b'\x20', b'\x21', b'\x22', b'\x23',
b'\x24', b'\x25', b'\x26', b'\x27', b'\x28', b'\x29', b'\x2a', b'\x2b', b'\x2c', b'\x2d', b'\x2e', b'\x2f',
b'\x30', b'\x31', b'\x32', b'\x33', b'\x34', b'\x35', b'\x36', b'\x37', b'\x38', b'\x39', b'\x3a', b'\x3b',
b'\x3c', b'\x3d', b'\x3e', b'\x3f', b'\x40', b'\x41', b'\x42', b'\x43', b'\x44', b'\x45', b'\x46', b'\x47',
b'\x48', b'\x49', b'\x4a', b'\x4b', b'\x4c', b'\x4d', b'\x4e', b'\x4f', b'\x50', b'\x51', b'\x52', b'\x53',
b'\x54', b'\x55', b'\x56', b'\x57', b'\x58', b'\x59', b'\x5a', b'\x5b', b'\x5c', b'\x5d', b'\x5e', b'\x5f',
b'\x60', b'\x61', b'\x62', b'\x63', b'\x64', b'\x65', b'\x66', b'\x67', b'\x68', b'\x69', b'\x6a', b'\x6b',
b'\x6c', b'\x6d', b'\x6e', b'\x6f', b'\x70', b'\x71', b'\x72', b'\x73', b'\x74', b'\x75', b'\x76', b'\x77',
b'\x78', b'\x79', b'\x7a', b'\x7b', b'\x7c', b'\x7d']
cmp_list = []
rsi_2_6 = []
rsi_2_5 = []
class Unidbg:
def __init__(self, flag, except_hit):
self.except_hit = except_hit
self.hit = 0
self.flag = flag
self.success = False
self.fff = False
self.code_hook = True
mu = Uc(UC_ARCH_X86, UC_MODE_64)
# 程序基址为 0x401000，分配 8 MB内存
mu.mem_map(0x400000, 0x300000)
mu.mem_write(vp_base, x64_code)
# 程序基址为 0x405020，分配 8 MB内存
# mu.mem_map(vp_opcode_base, 0x63000)
mu.mem_write(vp_opcode_base, vp_opcode)
# 程序栈基址为 0x670000，分配 64 KB内存
# mu.mem_map(vp_stack_base, 0x10000)
mu.mem_write(vp_stack_base + 0xA000, vp_stack)
# 设置寄存器的值
mu.reg_write(UC_X86_REG_RAX, 0x0000C35000000000)
mu.reg_write(UC_X86_REG_RBX, 0)
mu.reg_write(UC_X86_REG_RCX, 0x67FDA0)
mu.reg_write(UC_X86_REG_RDX, 0xB56AE0)
mu.reg_write(UC_X86_REG_RSI, 0)
mu.reg_write(UC_X86_REG_RDI, 0)
mu.reg_write(UC_X86_REG_RBP, 0x67FDF0)
mu.reg_write(UC_X86_REG_RSP, 0x67FD78)
mu.reg_write(UC_X86_REG_RIP, 0x401840)
mu.hook_add(UC_HOOK_CODE, self.hook_function_scanf, begin=0x401C82, end=0x401C9D)
mu.hook_add(UC_HOOK_CODE, self.hook_function_putchar, begin=0x401C26, end=0x401C1f)
mu.hook_add(UC_HOOK_CODE, self.hook_code, begin=0x401882, end=0x401884)
# mu.hook_add(UC_HOOK_CODE, self.trace)
# mu.hook_add(UC_HOOK_CODE, self.hook_emu_exit, begin=0x401BF9, end=0x401BFC)
mu.hook_add(UC_HOOK_CODE, self.vp_hook_case18_cmp, begin=0x4019E9, end=0x4019ED)
# patch putchar()
mu.mem_write(0x401C2A, b'\x90\x90\x90\x90\x90')
# patch scanf()
mu.mem_write(0x401C98, b'\x90\x90\x90\x90\x90')
self.mu = mu
self.md = Cs(CS_ARCH_X86, CS_MODE_64)
def solve(self):
try:
self.mu.emu_start(0x401840, 0x402090)
except:
pass
if self.hit > self.except_hit:
self.success = True
return self.success
def trace(self, mu, address, size, data):
if self.fff == False:
return
disasm = self.md.disasm(mu.mem_read(address, size), address)
for i in disasm:
print(i)
def hook_emu_exit(self, mu, address, size, user_data):
if address == 0x401BF9:
pass
# print(self.flag,self.hit)
pass
def vp_hook_case18_cmp(self, mu, address, size, user_data):
if address == 0x4019E9:
v1 = binascii.b2a_hex(mu.mem_read(0x67FDA0 + 8 + mu.reg_read(UC_X86_REG_RAX) * 4, 4))
v2 = binascii.b2a_hex(mu.mem_read(0x67FDA0 + 8 + mu.reg_read(UC_X86_REG_RDX) * 4, 4))
print("cmp ", v1, ",", v2)
cmp_list.append("cmp " + v1.decode() + "," + v2.decode())
v3 = binascii.b2a_hex(mu.mem_read(0x67FDC0, 4))
rsi_2_6.append(v3)
v4 = binascii.b2a_hex(mu.mem_read(0x67FDC0-4, 4))
rsi_2_5.append(v4)
pass
def hook_function_putchar(self, mu, address, size, user_data):
if address == 0x401C2A:
char = mu.reg_read(UC_X86_REG_RCX)
if char == ord(":"):
self.code_hook = False
print(chr(char), end="")
if char == ord("."):
pass
# print("\n",self.flag, self.hit)
def hook_function_scanf(self, mu, address, size, user_data):
y = hex(address)
x = address
if address == 0x401C98:
try:
mu.mem_write(0x67FDA8, xxx[self.flag[self.hit]])
self.hit += 1
except UcError as e:
print(e)
# print(self.flag, binascii.b2a_hex(self.mu.mem_read(0x67FDA8, 4)))
def hook_code(self, mu, address, size, user_data):
code = mu.reg_read(UC_X86_REG_RAX)
if code != 0x27 and code != 0x15 and self.code_hook != True:
print(" " + hex(code)[2:])
# for s in range(6):
# print(hex(0x67FDA0+16*s)[2:].upper(), end=" ")
# hex_mem = binascii.b2a_hex(self.mu.mem_read(0x67FDA0+16*s, 16)).decode()
# for k in range(0,32,2):
# print(hex_mem[k:k+2],end=" ")
# print()
# print("=================================================================================")
if code == 0x17:
print(binascii.b2a_hex(self.mu.mem_read(0x401c98, 32)).decode(), self.hit)
self.fff = True
flag = b'10' * 64
Unidbg(bytes(flag), 127).solve()
for i in cmp_list:
print(i)
最后面打印出来的是 在 18 指令执行是所对比的双方数据：
所以到这一步的逻辑转化为python代码就是：
from opcode_s_s_s import num_tab
# num_tab ： 最开始的那一堆数据，就是用大量 15 指令赋值的那些
right_x7 = 0x18ad2
print(hex(right_x7))
flag = b'11' * 64
x6 = 0
x7 = 0x87
for i in range(128):
x6 = x6 + i + flag[i] - 48 + 1
x5 = 0x90
x5 += x6 * 4
x4 = num_tab[x5 // 4]
x7 += x4
print(hex(x7))
if x7 != right_x7:
exit(0)
得，逆向逆到这里成算法题了，尝试着形象一点看待这个题目：
发现还是不会，听说是贪心算法，但搞不来，有没有那个老哥会的帮个忙，这里把 num_tab 奉上：
num_tab = [
0x0 ,0x0 ,0x0 ,0x0 ,0x0 ,0x0 ,0x0 ,0x0 ,0x0 ,0x0 ,0x0 ,0x0 ,0x0 ,0x0 ,0x0 ,0x0 ,0x0 ,0x0 ,0x0 ,0x0 ,0x0 ,0x0 ,0x0 ,0x0 ,0x0 ,0x0 ,0x0 ,0x0 ,0x0 ,0x0 ,0x0 ,0x0 ,0x0 ,0x0 ,0x0 ,0x0 ,0x87 ,0x396 ,0x3a8 ,0x3e4 ,0x365 ,0x80 ,0x1ff ,0x33b ,0x2ed ,0x114 ,0x88 ,0x36c ,0x3a8 ,0x3c1 ,0x18d ,0x264 ,0x29e ,0x347 ,0x2e1 ,0x36a ,0x2eb ,0x9c ,0x219 ,0x37e ,0x336 ,0x115 ,0x370 ,
0x378 ,0x1fe ,0x30f ,0x30f ,0x23c ,0x1be ,0x361 ,0xa6 ,0x181 ,0xca ,0x347 ,0x11f ,0x3b6 ,0x184 ,0x2b3 ,0xd3 ,0x158 ,0x15d ,0x1cd ,0x3c9 ,0x156 ,0x19e ,0x1b3 ,0x260 ,0x1c6 ,0x136 ,0x294 ,0x2fc ,0x22d ,0x197 ,0x15f ,0x3a3 ,0x154 ,0x3b1 ,0xa1 ,0x36d ,0xba ,0xcd ,0x351 ,0x2c5 ,0x3ad ,0x32c ,0x357 ,0x307 ,0x115 ,0x28a ,0x15d ,0x2e9 ,0x392 ,0x104 ,0x204 ,0x187 ,0x226 ,0x1fa ,0x1f3 ,0xd2 ,0x334 ,0x397 ,0x17a ,0xf7 ,0x2ac ,0x327 ,0xa7 ,0x201 ,
0xc9 ,0x279 ,0x187 ,0x16f ,0x82 ,0x25b ,0x17b ,0xd4 ,0x260 ,0x188 ,0x1bb ,0x3c7 ,0xf7 ,0x26c ,0x38f ,0x3b1 ,0xc9 ,0x159 ,0x1df ,0x17d ,0x273 ,0x1a8 ,0x143 ,0x27c ,0xca ,0x30a ,0x357 ,0x342 ,0x1f1 ,0x190 ,0x291 ,0x377 ,0x1e8 ,0x30d ,0x19b ,0x3d2 ,0xb3 ,0x184 ,0x3df ,0x15b ,0x29e ,0x276 ,0x311 ,0x1ca ,0x309 ,0x7d ,0x26d ,0x304 ,0x399 ,0xbc ,0x26c ,0x39c ,0x142 ,0x209 ,0x3a1 ,0x33d ,0x3e3 ,0xbb ,0x178 ,0x20c ,0x28f ,0x1e4 ,0x326 ,0x2c6 ,
0x360 ,0xf9 ,0x27d ,0x340 ,0x1ef ,0x144 ,0x2f0 ,0x1df ,0x31b ,0x281 ,0x338 ,0x246 ,0x12c ,0x2c3 ,0x222 ,0x3ca ,0x22f ,0xfb ,0x146 ,0x15c ,0x26f ,0x2ce ,0x117 ,0x1b3 ,0x321 ,0x20e ,0x372 ,0x1f5 ,0x3b3 ,0x18e ,0x3c1 ,0x267 ,0x3ad ,0x371 ,0xb4 ,0x2ca ,0x80 ,0x86 ,0x3bc ,0xfc ,0x326 ,0x282 ,0x36b ,0x1a9 ,0x23a ,0x3c7 ,0x34c ,0x301 ,0x8e ,0x259 ,0x3c6 ,0x2ff ,0x15e ,0x27f ,0x322 ,0x102 ,0x205 ,0x389 ,0x302 ,0x234 ,0x330 ,0x3b2 ,0x2fb ,0x331 ,
0x1e7 ,0xd5 ,0x1a4 ,0x2aa ,0x283 ,0xd1 ,0x24c ,0x307 ,0x391 ,0x2fc ,0x3b7 ,0x155 ,0x3b5 ,0x17a ,0x335 ,0x206 ,0x3a2 ,0x38c ,0x37a ,0x3be ,0x373 ,0x112 ,0x381 ,0x1f3 ,0x338 ,0x2c6 ,0x265 ,0x1d0 ,0x132 ,0x266 ,0x220 ,0x1db ,0xbc ,0x160 ,0x256 ,0xe4 ,0x112 ,0x3d4 ,0x2d9 ,0x1af ,0x105 ,0xe2 ,0x38b ,0x2f9 ,0x1c1 ,0x3bc ,0xe7 ,0x25e ,0x10e ,0x384 ,0x158 ,0x18e ,0x1eb ,0x24d ,0x385 ,0x2b2 ,0x117 ,0xb0 ,0x173 ,0x2a3 ,0x1a2 ,0x36c ,0x3bb ,0x346 ,
0x351 ,0xe3 ,0x220 ,0x107 ,0x299 ,0xe6 ,0xa3 ,0x3dd ,0x23d ,0x324 ,0x24b ,0xdc ,0x3d5 ,0x284 ,0x3b8 ,0xad ,0x24c ,0x1a8 ,0x1ac ,0x1dd ,0x2a1 ,0x360 ,0x3aa ,0x239 ,0x162 ,0x3d6 ,0x256 ,0x1a1 ,0x3c7 ,0x16b ,0x392 ,0x2fe ,0xf7 ,0x1d1 ,0x14d ,0x324 ,0x2d4 ,0x2bf ,0x1b6 ,0x108 ,0x106 ,0x17d ,0x1b6 ,0x1f5 ,0x1cd ,0x204 ,0xbe ,0x237 ,0x2d4 ,0x31b ,0x9e ,0x2c1 ,0x22d ,0x8c ,0xb8 ,0x312 ,0x30a ,0x1cd ,0xc6 ,0xe5 ,0x28a ,0x140 ,0xe7 ,0x16c ,
0x343 ,0x1c9 ,0x1f7 ,0x218 ,0x106 ,0x291 ,0x2ac ,0x192 ,0x1e7 ,0x356 ,0x16c ,0x21b ,0x22a ,0x188 ,0x371 ,0x269 ,0x387 ,0xa5 ,0xe2 ,0x183 ,0x2e7 ,0x170 ,0x334 ,0x101 ,0x191 ,0x1d0 ,0x3a9 ,0x1bd ,0x1e2 ,0x129 ,0x1ff ,0x16a ,0x124 ,0x38a ,0x373 ,0x364 ,0x2d6 ,0x267 ,0x24b ,0xfe ,0x25e ,0x219 ,0x32c ,0x3e7 ,0x168 ,0x180 ,0x32e ,0x202 ,0x39e ,0x142 ,0x3b4 ,0x24c ,0x212 ,0xad ,0x3d1 ,0xff ,0x290 ,0x131 ,0x136 ,0x310 ,0x1a0 ,0x16c ,0x3cf ,0xc2 ,
0x184 ,0x26a ,0x276 ,0x235 ,0x15f ,0x299 ,0x214 ,0x88 ,0x131 ,0xce ,0x199 ,0x1fa ,0xf5 ,0x18e ,0x269 ,0x379 ,0x13b ,0x303 ,0xdb ,0x23f ,0xdc ,0xc6 ,0x299 ,0x95 ,0x3bf ,0x35e ,0x397 ,0x9c ,0x35b ,0x304 ,0x2ec ,0xa6 ,0x2ea ,0x2ee ,0x2e5 ,0xba ,0x83 ,0x9e ,0x1ee ,0xc4 ,0x30c ,0x251 ,0x3a2 ,0x1ce ,0x260 ,0xbc ,0xd8 ,0x24c ,0x13b ,0x33e ,0x329 ,0x34c ,0x268 ,0xd6 ,0x225 ,0x17f ,0x164 ,0x1c7 ,0x2b9 ,0x2ff ,0x173 ,0xcc ,0x140 ,0xf0 ,
0x2f3 ,0x20a ,0x370 ,0x267 ,0x3c1 ,0x1df ,0x2a5 ,0x391 ,0x196 ,0x146 ,0x286 ,0x1bd ,0x213 ,0x9c ,0x140 ,0x2f1 ,0x2de ,0x204 ,0x1f8 ,0x129 ,0x189 ,0x235 ,0x255 ,0x237 ,0x1a0 ,0x255 ,0x35f ,0x3c3 ,0xfe ,0x28b ,0x27a ,0x1db ,0x95 ,0x1a3 ,0x278 ,0x1b2 ,0x2ac ,0x357 ,0x139 ,0x1ac ,0x22a ,0x16c ,0x210 ,0x3b0 ,0x1a0 ,0x186 ,0xd6 ,0x9d ,0x393 ,0x2b7 ,0xc4 ,0x248 ,0x143 ,0x203 ,0x2de ,0x291 ,0x32b ,0xaa ,0x224 ,0x3df ,0x33e ,0x12e ,0xe8 ,0x1d6 ,
0x3d8 ,0x30b ,0x244 ,0x18d ,0x93 ,0x222 ,0x3ad ,0x9c ,0x3e3 ,0x388 ,0xce ,0x14b ,0x379 ,0x260 ,0x207 ,0xd3 ,0x1bb ,0x38c ,0x33b ,0x2e1 ,0x1d9 ,0x307 ,0x3e3 ,0x3bc ,0x1e5 ,0x17d ,0x34a ,0x1a0 ,0x1e9 ,0x83 ,0x258 ,0x202 ,0xe2 ,0x2f3 ,0x3da ,0x38b ,0x3e6 ,0x1d1 ,0x251 ,0x37e ,0x227 ,0xbb ,0x35a ,0x395 ,0x181 ,0x14e ,0xf9 ,0x144 ,0x81 ,0x11f ,0x2b2 ,0x97 ,0x173 ,0x84 ,0x27f ,0x8a ,0x194 ,0x2dd ,0x291 ,0x2e7 ,0x336 ,0x252 ,0x18e ,0x264 ,
0x94 ,0x392 ,0x290 ,0xfb ,0x2af ,0xf0 ,0x1ed ,0x33e ,0x1e7 ,0x3c2 ,0x3e5 ,0x7d ,0xd9 ,0x130 ,0x290 ,0x192 ,0xc5 ,0x104 ,0x2ac ,0xe3 ,0xe9 ,0x3b1 ,0x96 ,0x3cf ,0x1d7 ,0x139 ,0x379 ,0x35d ,0x3dd ,0x7e ,0x18d ,0x36e ,0x218 ,0x386 ,0x15c ,0x3c5 ,0x382 ,0xe0 ,0x179 ,0x2cb ,0x2fb ,0xf4 ,0xe4 ,0x322 ,0xfc ,0x1af ,0x2fe ,0x1de ,0x2b1 ,0x11c ,0x1a3 ,0x341 ,0x1cd ,0x38e ,0x21e ,0x3da ,0x30e ,0x3b2 ,0xc8 ,0x144 ,0x25a ,0x16a ,0x303 ,0x200 ,
0x94 ,0x1ec ,0x2f1 ,0x253 ,0x3db ,0x21f ,0x312 ,0x27e ,0x259 ,0xa0 ,0x1d8 ,0x141 ,0x87 ,0x3aa ,0x159 ,0x374 ,0x159 ,0x3a4 ,0xf9 ,0x37f ,0x175 ,0x223 ,0x367 ,0x36b ,0x328 ,0x2d1 ,0x135 ,0x3bf ,0x1b1 ,0x245 ,0x357 ,0x3a5 ,0x367 ,0x21d ,0x3d9 ,0x3d9 ,0x396 ,0x1df ,0x8d ,0x28c ,0x1cc ,0x32b ,0x93 ,0x167 ,0xe0 ,0x8a ,0x27b ,0x160 ,0x3ba ,0x389 ,0x1f0 ,0x3e2 ,0x82 ,0x135 ,0x32a ,0x3cd ,0x278 ,0x1ff ,0x2ee ,0x1e1 ,0x2f4 ,0x21c ,0x1e0 ,0x8d ,
0x21b ,0x115 ,0x1f3 ,0x208 ,0x280 ,0x3d1 ,0x279 ,0x2b2 ,0x7d ,0x3a4 ,0x1c4 ,0x122 ,0x139 ,0x83 ,0x35a ,0x3a4 ,0x14b ,0x308 ,0x204 ,0x332 ,0x3ad ,0x108 ,0x30d ,0xf7 ,0x174 ,0x12e ,0x127 ,0x172 ,0x2bc ,0x288 ,0x330 ,0x2f2 ,0x3b1 ,0x125 ,0x100 ,0x15d ,0x197 ,0x31e ,0x387 ,0x193 ,0x20e ,0x3be ,0x1dd ,0x1c7 ,0x11a ,0x168 ,0x3a0 ,0x255 ,0x22b ,0x18d ,0x25c ,0x364 ,0x1e5 ,0x2a5 ,0x284 ,0x257 ,0x380 ,0x396 ,0xe7 ,0x7e ,0x270 ,0x39f ,0x2af ,0x2de ,
0x278 ,0xf7 ,0x28b ,0x399 ,0x183 ,0x258 ,0x169 ,0x12a ,0x13d ,0x254 ,0x118 ,0xb1 ,0x173 ,0x38b ,0xcb ,0x137 ,0x219 ,0x24c ,0x1ef ,0x396 ,0x277 ,0x1d4 ,0x345 ,0x1b1 ,0x1b0 ,0x303 ,0xd5 ,0x132 ,0x90 ,0x2a6 ,0x86 ,0x371 ,0xf9 ,0x281 ,0x38e ,0xb4 ,0x23a ,0x1d1 ,0x1f9 ,0x211 ,0x198 ,0x368 ,0xc7 ,0xc5 ,0x346 ,0x213 ,0x31c ,0x344 ,0x281 ,0x20d ,0x381 ,0x121 ,0x28a ,0x8c ,0x1bd ,0x1ee ,0x1da ,0x1ad ,0x2ed ,0x2eb ,0xd5 ,0x133 ,0x2c0 ,0x288 ,
0x3d1 ,0x392 ,0x36d ,0xe6 ,0x248 ,0x35c ,0x16f ,0x3e0 ,0x1d1 ,0x277 ,0x272 ,0x25a ,0x1d4 ,0x1dc ,0x1c8 ,0x24d ,0x2b7 ,0x253 ,0x3e6 ,0x30b ,0x86 ,0x3a2 ,0xba ,0x80 ,0x3ba ,0x21c ,0xd0 ,0x366 ,0x2df ,0x138 ,0x196 ,0x13b ,0x82 ,0xf6 ,0x3e3 ,0xc2 ,0x84 ,0x12d ,0x25d ,0xc2 ,0x2f8 ,0x380 ,0x38f ,0x222 ,0x3d8 ,0x382 ,0x150 ,0xc2 ,0x13b ,0x320 ,0x8c ,0x3bd ,0x1b3 ,0x188 ,0x10e ,0x23f ,0x219 ,0x16b ,0x28a ,0x275 ,0xd6 ,0x1fa ,0x279 ,0x3b0 ,
0x238 ,0x3c9 ,0x107 ,0xd0 ,0x2d6 ,0x1ca ,0xc0 ,0x312 ,0x1aa ,0x374 ,0x376 ,0x28b ,0x10b ,0x17d ,0x31d ,0x119 ,0x335 ,0x19a ,0x2f6 ,0x37b ,0x17b ,0x1a5 ,0x240 ,0x2e5 ,0x337 ,0x1b9 ,0x1d1 ,0x2d5 ,0x26e ,0x15a ,0x19f ,0xd1 ,0x1d9 ,0x3e2 ,0x2b4 ,0x39e ,0xa5 ,0x29f ,0x196 ,0x2e9 ,0x3e6 ,0x169 ,0x382 ,0x315 ,0x2b7 ,0x158 ,0x28e ,0x211 ,0xcc ,0xf0 ,0x1fb ,0x329 ,0x32b ,0x339 ,0x34a ,0x2c2 ,0x3dc ,0x171 ,0x27a ,0x241 ,0x336 ,0x145 ,0x216 ,0x331 ,
0x18a ,0x297 ,0x10c ,0x156 ,0x7e ,0xa6 ,0x2e8 ,0x249 ,0x1a6 ,0x371 ,0xd9 ,0x344 ,0x29e ,0x1ff ,0x3d7 ,0x212 ,0x2a7 ,0x12c ,0x38b ,0x2ea ,0x2cc ,0x189 ,0x2fd ,0x20f ,0x2d9 ,0xdd ,0x94 ,0xd9 ,0x278 ,0x346 ,0xc9 ,0x259 ,0xad ,0x138 ,0x256 ,0x305 ,0x19b ,0x188 ,0x27f ,0xb7 ,0x98 ,0x157 ,0x2b8 ,0x2e2 ,0xf8 ,0x225 ,0x3cf ,0x86 ,0x1cb ,0x3d0 ,0x2a6 ,0x357 ,0x1ba ,0x1ff ,0x324 ,0x86 ,0x188 ,0x2ae ,0x3de ,0x28e ,0xb9 ,0xae ,0x2c0 ,0x1a1 ,
0xec ,0x18d ,0xa4 ,0x3c0 ,0x1e9 ,0x2d7 ,0x318 ,0x36b ,0x299 ,0x3a1 ,0x310 ,0x3d9 ,0x2d4 ,0x253 ,0x1f7 ,0x20c ,0x331 ,0x210 ,0x35a ,0x2b8 ,0x33f ,0x2e0 ,0x377 ,0xb4 ,0x126 ,0x29a ,0x171 ,0x3e0 ,0x12a ,0x1ff ,0x2d7 ,0x12d ,0x347 ,0x16b ,0x142 ,0x23a ,0xbc ,0x337 ,0x384 ,0x31b ,0x336 ,0x1e6 ,0x31f ,0x1f0 ,0x2cc ,0x25a ,0x2ec ,0x314 ,0xef ,0x196 ,0x218 ,0x3e5 ,0x1e3 ,0x295 ,0x3b0 ,0x383 ,0x357 ,0x3e4 ,0x3a5 ,0x33e ,0x352 ,0x347 ,0x24d ,0x115 ,
0x2cf ,0x20c ,0x2b5 ,0xd1 ,0x379 ,0x18e ,0x3d8 ,0x261 ,0x2f0 ,0xf9 ,0x2ca ,0x1e8 ,0x341 ,0x2b7 ,0x1c0 ,0x345 ,0x1bd ,0x1cc ,0x9c ,0x7d ,0x1ea ,0x156 ,0x2d4 ,0xf1 ,0x3ba ,0x1b4 ,0x319 ,0x3c5 ,0x1e5 ,0x345 ,0x372 ,0x218 ,0x33f ,0x116 ,0x3db ,0x3aa ,0xc0 ,0x2f3 ,0x19d ,0x280 ,0x2b6 ,0x38c ,0x140 ,0x1eb ,0x352 ,0x207 ,0x2bd ,0x17e ,0x1ab ,0x321 ,0x2f1 ,0x277 ,0x89 ,0x37a ,0xfa ,0x1b8 ,0x1f1 ,0x280 ,0x19f ,0x2f6 ,0x3e6 ,0x371 ,0x2d0 ,0x8c ,
0xe4 ,0x39c ,0x3e0 ,0x10f ,0xe1 ,0x340 ,0x114 ,0x2d0 ,0x264 ,0x100 ,0x26b ,0x35f ,0x8d ,0x193 ,0x322 ,0x2c1 ,0x392 ,0x2da ,0x29f ,0x2dc ,0x21e ,0x274 ,0x27e ,0xc0 ,0x2fe ,0x155 ,0x2a3 ,0xb5 ,0x17a ,0x2eb ,0xb9 ,0x2c1 ,0x270 ,0x189 ,0x3db ,0x121 ,0x3d5 ,0x38a ,0x32a ,0x244 ,0x2ed ,0x29a ,0x203 ,0x2df ,0x3be ,0x35f ,0x13f ,0x3c1 ,0x20e ,0xbb ,0x374 ,0x3b1 ,0x3ca ,0x2d2 ,0x2f4 ,0x191 ,0x22d ,0x8b ,0x1cd ,0x11b ,0x391 ,0x31b ,0x286 ,0x31a ,
0x1b8 ,0x233 ,0xee ,0x236 ,0x3a4 ,0x2e0 ,0x14f ,0x250 ,0x1e6 ,0x1e9 ,0x3c0 ,0x3c2 ,0x3ca ,0x162 ,0x317 ,0x189 ,0x2dd ,0xbb ,0x28b ,0x304 ,0x212 ,0x3b0 ,0x350 ,0xc7 ,0x271 ,0x28b ,0x235 ,0x17f ,0x34c ,0x1b0 ,0x330 ,0x3a0 ,0x16d ,0x125 ,0x7e ,0x195 ,0x11d ,0x127 ,0xab ,0x393 ,0x108 ,0x32b ,0x2ad ,0xbe ,0x27c ,0x3c1 ,0x139 ,0x1e9 ,0x1cd ,0x311 ,0x259 ,0x301 ,0x1da ,0x38e ,0x1e2 ,0x3a5 ,0x35e ,0x356 ,0x1d3 ,0x289 ,0x2d9 ,0x1ac ,0x8a ,0x346 ,
0x2b1 ,0x24b ,0x100 ,0x185 ,0x12b ,0xb3 ,0x2f9 ,0x243 ,0x32f ,0xbb ,0x3b9 ,0x3e1 ,0x358 ,0x1d4 ,0x19e ,0x103 ,0x8c ,0x198 ,0xd9 ,0x144 ,0x32e ,0x216 ,0x1be ,0x1b9 ,0x15c ,0x363 ,0x125 ,0x257 ,0x321 ,0xca ,0x23c ,0x2e3 ,0x2a1 ,0x141 ,0x3e7 ,0x148 ,0x20b ,0x316 ,0x3dd ,0x2fc ,0x32b ,0x2d2 ,0x306 ,0x13a ,0x3c8 ,0x156 ,0x306 ,0x285 ,0x11b ,0x3ca ,0x39b ,0x2b0 ,0x3e2 ,0x168 ,0xbc ,0x1cd ,0x3cd ,0x38c ,0x320 ,0xbc ,0x362 ,0x28e ,0x268 ,0x1f9 ,
0x354 ,0x328 ,0x151 ,0x106 ,0x2fe ,0x1b2 ,0x3d9 ,0x2c2 ,0x3bb ,0x3ae ,0x2b3 ,0x150 ,0x26a ,0x318 ,0x33a ,0x20a ,0xfd ,0x20e ,0x8f ,0x1f1 ,0x298 ,0x2fb ,0x281 ,0x364 ,0x381 ,0x38f ,0x149 ,0x335 ,0x105 ,0x109 ,0x1d3 ,0x2af ,0x1cb ,0x2cd ,0xb4 ,0x349 ,0x1ac ,0x9b ,0x2bc ,0x1a8 ,0x11f ,0x242 ,0x33f ,0x10b ,0x2a7 ,0x248 ,0xb6 ,0x3a4 ,0x236 ,0x30d ,0x90 ,0xa7 ,0xf0 ,0x102 ,0x2ae ,0x171 ,0x38d ,0x272 ,0x15e ,0x308 ,0x21d ,0x345 ,0x109 ,0x31f ,
0x121 ,0x274 ,0xf3 ,0xb2 ,0x9c ,0x8b ,0x1cd ,0x27e ,0xff ,0x1ee ,0x8f ,0x88 ,0x103 ,0x2fc ,0x2ea ,0x13e ,0x89 ,0x16e ,0x3cb ,0x25f ,0xee ,0x1c3 ,0xd6 ,0x3a4 ,0x2f8 ,0x1e1 ,0x1b6 ,0x176 ,0x1a7 ,0x25b ,0x1d1 ,0x296 ,0x171 ,0x325 ,0x9b ,0xd1 ,0x207 ,0x255 ,0x2b5 ,0x1df ,0x290 ,0x215 ,0x2b9 ,0x2ac ,0x3d4 ,0xd4 ,0x32a ,0x399 ,0x220 ,0x2e8 ,0x291 ,0xe4 ,0x3a8 ,0x157 ,0x1b4 ,0x84 ,0x3a5 ,0x298 ,0x36e ,0x3d6 ,0xf1 ,0xd9 ,0x178 ,0x89 ,
0x19a ,0x10e ,0x256 ,0x3d4 ,0x2dc ,0x312 ,0x19c ,0x296 ,0x222 ,0x170 ,0x2e9 ,0x194 ,0x80 ,0x3b8 ,0x342 ,0x3bd ,0x30c ,0x146 ,0x236 ,0x24d ,0x257 ,0x289 ,0x99 ,0x3d5 ,0x97 ,0x1ca ,0x23e ,0x22e ,0x187 ,0x36a ,0x1b6 ,0x381 ,0x9b ,0x1b2 ,0x12c ,0x345 ,0x16b ,0x2da ,0x2f9 ,0x1fb ,0x38f ,0xdd ,0x31a ,0xcb ,0x224 ,0x3a0 ,0x385 ,0x362 ,0xad ,0x1da ,0x1b0 ,0x16d ,0x2d5 ,0x1c4 ,0x2d5 ,0x215 ,0xed ,0x357 ,0x99 ,0x1e9 ,0x108 ,0x2e4 ,0x3a3 ,0x19f ,
0x359 ,0x233 ,0x2df ,0x1aa ,0x28e ,0x3ba ,0xec ,0x222 ,0x235 ,0x91 ,0x33d ,0x3a0 ,0x145 ,0x25d ,0x213 ,0x3d0 ,0xc5 ,0x27a ,0x14f ,0x342 ,0x279 ,0x2df ,0x330 ,0x274 ,0x155 ,0xef ,0x39f ,0x2f2 ,0x39c ,0x15b ,0x104 ,0x2cc ,0x26f ,0x1e6 ,0x3dc ,0xfd ,0x1c5 ,0x302 ,0xf8 ,0x2fb ,0x1b5 ,0x1b1 ,0x1a3 ,0x134 ,0x12a ,0x2a3 ,0x296 ,0x1d9 ,0x311 ,0x246 ,0x150 ,0x2da ,0x38e ,0x1bc ,0x387 ,0x7d ,0x3a2 ,0x122 ,0x133 ,0x112 ,0x129 ,0x228 ,0x97 ,0x34c ,
0x196 ,0x301 ,0x20a ,0xbd ,0x146 ,0x17c ,0x157 ,0x335 ,0x222 ,0xea ,0x15b ,0x17d ,0x23a ,0x34e ,0x107 ,0xbc ,0x240 ,0x3c6 ,0x2c2 ,0x2b0 ,0x3ad ,0x2ab ,0x3e0 ,0x338 ,0x34b ,0x2dd ,0x174 ,0x126 ,0x1b6 ,0x28f ,0x243 ,0x218 ,0x288 ,0x14b ,0x190 ,0x7e ,0x248 ,0x149 ,0x185 ,0x393 ,0x224 ,0x29d ,0x133 ,0x319 ,0x22a ,0x311 ,0x278 ,0x22c ,0x346 ,0x1a2 ,0x3c6 ,0x27a ,0x307 ,0x207 ,0x7f ,0x1b9 ,0x21a ,0xfe ,0x2fb ,0xe4 ,0x272 ,0x39c ,0x260 ,0x2f2 ,
0x27e ,0x277 ,0x1ef ,0x32e ,0x2a7 ,0x362 ,0x23a ,0x369 ,0x225 ,0x34e ,0x295 ,0x96 ,0x210 ,0x355 ,0x22c ,0x3e0 ,0x1e6 ,0x9c ,0x1e1 ,0x24f ,0x3cf ,0xc4 ,0xc6 ,0x176 ,0x187 ,0xf4 ,0x80 ,0x3b8 ,0xba ,0x2ce ,0x162 ,0x3ae ,0xa6 ,0x2f3 ,0x2fb ,0x243 ,0x329 ,0x185 ,0x309 ,0x1f9 ,0x162 ,0x99 ,0x378 ,0x84 ,0x370 ,0x13c ,0x122 ,0x1aa ,0x21f ,0x171 ,0x287 ,0x2e6 ,0xf4 ,0x1e6 ,0x109 ,0x225 ,0x3b2 ,0x327 ,0xac ,0x153 ,0x338 ,0x10c ,0x350 ,0x10b ,
0x31c ,0x22f ,0x11a ,0x1f9 ,0x20b ,0x37b ,0xbe ,0xa2 ,0x1df ,0x249 ,0x164 ,0x1b2 ,0x242 ,0x26f ,0x241 ,0x2ea ,0x250 ,0x1c8 ,0x100 ,0x20b ,0x3b7 ,0x1d5 ,0x1fe ,0x38d ,0x95 ,0x19b ,0x22b ,0x217 ,0x325 ,0x11c ,0xa3 ,0x212 ,0x306 ,0x1bd ,0x31c ,0x1b3 ,0x316 ,0x127 ,0x249 ,0x34d ,0x165 ,0x7d ,0x2a1 ,0x3cc ,0x381 ,0x163 ,0x193 ,0x326 ,0x253 ,0x224 ,0xd4 ,0x104 ,0x14c ,0x171 ,0x34f ,0x283 ,0x2a1 ,0x177 ,0xc0 ,0x380 ,0x1a5 ,0x146 ,0x275 ,0x395 ,
0x312 ,0x275 ,0x30f ,0xbb ,0x37d ,0xd3 ,0x8c ,0x25c ,0x10b ,0x3a4 ,0x225 ,0x37d ,0x7e ,0x3e4 ,0x20a ,0x1a1 ,0x346 ,0x13b ,0x189 ,0x188 ,0x272 ,0x390 ,0x214 ,0x9b ,0x293 ,0x3b6 ,0x149 ,0x2e5 ,0x2a0 ,0x2e2 ,0x2be ,0x30d ,0x13e ,0x126 ,0x252 ,0x294 ,0x36d ,0x2fa ,0x15b ,0x214 ,0x235 ,0x271 ,0x1b0 ,0x371 ,0x249 ,0x20d ,0x1ba ,0xe9 ,0x1d7 ,0x2fc ,0xe3 ,0x114 ,0x136 ,0x1cb ,0xa9 ,0x209 ,0x1aa ,0xd9 ,0x116 ,0x1fc ,0x177 ,0x2d4 ,0x2fc ,0x2ca ,
0x17d ,0x21d ,0x2f5 ,0x3b1 ,0x1f3 ,0x167 ,0x1a7 ,0x2fb ,0xb8 ,0x155 ,0x277 ,0x1f4 ,0x149 ,0xcf ,0xf8 ,0x249 ,0x31d ,0x14a ,0x2de ,0x31a ,0x381 ,0x388 ,0x2b3 ,0x399 ,0x29a ,0x365 ,0x1ab ,0xce ,0x36a ,0x37b ,0x177 ,0xc8 ,0x1f8 ,0x196 ,0x36f ,0x389 ,0x31d ,0x20e ,0x366 ,0xdc ,0xb0 ,0xc0 ,0x99 ,0x38c ,0x2fe ,0x18f ,0x3e8 ,0x2c2 ,0x2f7 ,0xf2 ,0xc9 ,0x237 ,0x159 ,0x1ac ,0x236 ,0x1d2 ,0x22c ,0x1d0 ,0x9c ,0x168 ,0x295 ,0x294 ,0x324 ,0x270 ,
0xa7 ,0x312 ,0x28c ,0x9e ,0xc9 ,0x159 ,0x2cf ,0x35f ,0x18f ,0x1c9 ,0x155 ,0x2ac ,0x109 ,0xd0 ,0x358 ,0x194 ,0x163 ,0x3d9 ,0x35e ,0x29c ,0xd3 ,0xe7 ,0x339 ,0xe0 ,0x3b9 ,0xe4 ,0x27a ,0x14f ,0x3a2 ,0x35c ,0x266 ,0x1e0 ,0x312 ,0x290 ,0x8a ,0x305 ,0x17b ,0x2b3 ,0x190 ,0x349 ,0x272 ,0x230 ,0x36e ,0x2a5 ,0x292 ,0x167 ,0x204 ,0x27e ,0x1b1 ,0x3c5 ,0x1ae ,0x32b ,0x144 ,0x92 ,0x16d ,0x1f1 ,0x332 ,0xd8 ,0x1e0 ,0x11c ,0x200 ,0x3c7 ,0x27d ,0x13a ,
0x3b6 ,0x3c1 ,0x187 ,0x397 ,0x36e ,0x221 ,0xb4 ,0xf5 ,0xa1 ,0x1b4 ,0x1ac ,0x336 ,0x294 ,0x9e ,0x1ca ,0x355 ,0x249 ,0x17d ,0x2b3 ,0x1c3 ,0xb4 ,0x392 ,0x2e0 ,0x3be ,0x318 ,0xe8 ,0x188 ,0x3ce ,0x245 ,0x3af ,0xc0 ,0x15a ,0x33d ,0x24a ,0x2a7 ,0xc9 ,0x279 ,0x270 ,0x23b ,0x316 ,0x15d ,0x114 ,0x351 ,0xea ,0x2ad ,0x24e ,0x143 ,0x30e ,0x22b ,0x20b ,0x2fa ,0x35d ,0x2e5 ,0x3ad ,0x36f ,0x318 ,0x102 ,0x37f ,0x2dc ,0xe3 ,0x334 ,0x204 ,0x2d5 ,0x274 ,
0x2a9 ,0xef ,0x11b ,0x13f ,0x95 ,0x1b0 ,0x2c3 ,0x162 ,0x172 ,0x21c ,0x37e ,0xcb ,0x204 ,0x259 ,0x328 ,0x13e ,0x24e ,0xeb ,0x257 ,0x301 ,0x2a1 ,0x391 ,0xe6 ,0x189 ,0x308 ,0x37f ,0x120 ,0x250 ,0x1f8 ,0xff ,0xa5 ,0x2cb ,0x3d4 ,0x275 ,0x2ec ,0x22b ,0xcd ,0x327 ,0x228 ,0x230 ,0x132 ,0x19a ,0x39c ,0x3b1 ,0x143 ,0x340 ,0x3a6 ,0x279 ,0x1ad ,0x248 ,0x186 ,0x369 ,0x2bc ,0x269 ,0x10c ,0x1d5 ,0x2d3 ,0xce ,0x15f ,0x15e ,0x285 ,0x280 ,0x22b ,0x2be ,
0x268 ,0xdc ,0x30f ,0x2f5 ,0x213 ,0x29b ,0x18b ,0x118 ,0x27c ,0x3c3 ,0xbd ,0x28e ,0x84 ,0x2c2 ,0x238 ,0x356 ,0x32d ,0x2e3 ,0x14e ,0x298 ,0x1e2 ,0x1ee ,0x15d ,0xd2 ,0xcd ,0x117 ,0xbb ,0x1bf ,0x15d ,0x319 ,0x377 ,0x3a4 ,0x246 ,0x2a7 ,0x334 ,0x7f ,0x288 ,0xbc ,0x1c4 ,0xf7 ,0xd4 ,0x34c ,0x1e9 ,0x253 ,0x24e ,0x1d2 ,0x193 ,0x140 ,0xc2 ,0x37e ,0x255 ,0x39e ,0x1a6 ,0x37f ,0x1ec ,0xaa ,0x225 ,0x287 ,0x91 ,0x28b ,0x11e ,0x3af ,0x179 ,0x36a ,
0x91 ,0x184 ,0x1c6 ,0xe5 ,0x1d3 ,0x2ce ,0x303 ,0x204 ,0x318 ,0x301 ,0x153 ,0x33f ,0x306 ,0x1de ,0x3cc ,0x1fa ,0xe7 ,0xa2 ,0x260 ,0xd8 ,0x99 ,0x203 ,0x1ef ,0x212 ,0x1d1 ,0x278 ,0x16d ,0x282 ,0x20c ,0x18c ,0x339 ,0x2fb ,0x2e8 ,0x8f ,0x28a ,0x292 ,0x242 ,0x368 ,0xbd ,0x1fe ,0x3e4 ,0x23b ,0x265 ,0x2aa ,0x149 ,0x207 ,0x353 ,0x24c ,0x29c ,0x1ca ,0xf5 ,0x88 ,0x105 ,0x1ee ,0x3c7 ,0x1af ,0x29b ,0x223 ,0x222 ,0x319 ,0x340 ,0x24b ,0xab ,0x140 ,
0x29e ,0x21a ,0x143 ,0xb7 ,0x2be ,0xd2 ,0x1d5 ,0x30c ,0x1e3 ,0x25a ,0x171 ,0x330 ,0xba ,0x135 ,0x2ed ,0x245 ,0x272 ,0x188 ,0x22f ,0x2ab ,0x3b5 ,0x2c6 ,0x291 ,0x25c ,0x238 ,0x1f7 ,0x1a6 ,0x3ab ,0x196 ,0x12d ,0x3b5 ,0xfa ,0x1d1 ,0x2c3 ,0x189 ,0xf1 ,0x23a ,0x20f ,0x29d ,0xa7 ,0x177 ,0x352 ,0x2ff ,0x1e0 ,0x243 ,0xa0 ,0x3bc ,0x9f ,0x1e6 ,0x210 ,0x172 ,0x8c ,0x95 ,0x28f ,0x97 ,0x2fe ,0xd4 ,0x1d0 ,0x2cd ,0x25e ,0x2bb ,0x219 ,0x3dc ,0x364 ,
0x1e7 ,0x36f ,0x14d ,0x173 ,0x314 ,0x3dd ,0x3c2 ,0x138 ,0x179 ,0x3e6 ,0x21d ,0x1e3 ,0xbc ,0x191 ,0xf4 ,0x3b0 ,0x85 ,0x2df ,0xb7 ,0x33a ,0x273 ,0x24d ,0x347 ,0x250 ,0x2f0 ,0x3ac ,0x1f1 ,0x2c2 ,0x27e ,0x170 ,0xe3 ,0x169 ,0x2f1 ,0xfb ,0x19b ,0x2ca ,0x37b ,0x1f0 ,0x16f ,0x39d ,0x2f0 ,0x2ff ,0x273 ,0x2c5 ,0x1ff ,0x26f ,0xaf ,0x222 ,0xaa ,0x100 ,0x12f ,0x2eb ,0x2db ,0x152 ,0x32f ,0x215 ,0x1a5 ,0x2e4 ,0xee ,0x3d8 ,0x159 ,0xbb ,0x3e6 ,0x138 ,
0xb8 ,0x194 ,0x206 ,0x7d ,0x3bc ,0x278 ,0x212 ,0x339 ,0x324 ,0xcd ,0x25c ,0xd2 ,0x189 ,0xc7 ,0x24d ,0x266 ,0x244 ,0x175 ,0x2be ,0xaf ,0x297 ,0x1d7 ,0x190 ,0x2d5 ,0x151 ,0x16c ,0x3d8 ,0x399 ,0x12b ,0x3a0 ,0x168 ,0x12d ,0x255 ,0x145 ,0x183 ,0x2df ,0x25f ,0x2f5 ,0x2b9 ,0xa3 ,0xfc ,0x34e ,0x2d5 ,0x15c ,0xcc ,0x3c0 ,0x222 ,0x276 ,0x21e ,0x18a ,0x14f ,0x1e6 ,0x234 ,0xbc ,0xf4 ,0x30b ,0x37d ,0x160 ,0x2c6 ,0x2f9 ,0x347 ,0x2b6 ,0x20e ,0x229 ,
0x144 ,0x8d ,0x263 ,0x2cf ,0x34e ,0x151 ,0x177 ,0xdf ,0x2a2 ,0x319 ,0x1d2 ,0x22c ,0x1fb ,0x198 ,0x17b ,0x119 ,0x1fe ,0x336 ,0x3c3 ,0xce ,0x284 ,0x39b ,0x222 ,0x261 ,0x2fe ,0x128 ,0x252 ,0x2eb ,0x1b7 ,0x1fc ,0xa5 ,0x38e ,0x1c5 ,0x80 ,0x382 ,0x3b1 ,0x2f5 ,0x1eb ,0xc7 ,0x3e5 ,0xea ,0x16b ,0x3a1 ,0x118 ,0xe7 ,0x199 ,0x295 ,0x3bc ,0xbd ,0x1f0 ,0x34e ,0x1cb ,0x201 ,0xa0 ,0x299 ,0x368 ,0x262 ,0x2c4 ,0x299 ,0x36a ,0x2b6 ,0x9e ,0x1cc ,0x1a5 ,
0x265 ,0x2ba ,0x2d5 ,0x345 ,0x34e ,0x194 ,0x93 ,0x115 ,0x34b ,0x27d ,0x82 ,0xa2 ,0x29f ,0x17c ,0x131 ,0x104 ,0x381 ,0x3b9 ,0x26e ,0x1fb ,0xb2 ,0x3d1 ,0x34e ,0x271 ,0x274 ,0x214 ,0x206 ,0xf3 ,0x2f4 ,0x1dc ,0x237 ,0x374 ,0x3d4 ,0x1b5 ,0x16f ,0xb2 ,0x14e ,0x2fa ,0x300 ,0x223 ,0x2dd ,0x2dd ,0x1cc ,0x2a7 ,0x2db ,0xba ,0x92 ,0x103 ,0x332 ,0x104 ,0x1d4 ,0x287 ,0x8a ,0x242 ,0x174 ,0xe3 ,0x1fa ,0x9c ,0x212 ,0x15d ,0x222 ,0x364 ,0x90 ,0x140 ,
0x338 ,0x35a ,0x22b ,0xda ,0xb7 ,0x18c ,0x1cf ,0xb5 ,0x2c8 ,0x333 ,0x23d ,0x3b4 ,0x31f ,0x1fe ,0x29c ,0xa4 ,0x87 ,0x397 ,0x292 ,0x237 ,0x217 ,0x1a5 ,0x279 ,0x354 ,0x126 ,0x2c8 ,0x12e ,0x2d0 ,0xaf ,0x28d ,0x3c6 ,0xbc ,0x3cf ,0x341 ,0xe1 ,0x234 ,0x200 ,0x13e ,0x27d ,0x155 ,0x1e4 ,0x397 ,0x1d4 ,0x316 ,0x8d ,0xcf ,0x297 ,0x266 ,0x38c ,0x22d ,0x32d ,0x3cf ,0x341 ,0x1c7 ,0x302 ,0x203 ,0x14b ,0x3cb ,0x124 ,0x174 ,0x1b0 ,0x28e ,0x30a ,0xf4 ,
0x28d ,0x3a7 ,0x250 ,0x113 ,0x145 ,0x84 ,0xd4 ,0x1e0 ,0x2b9 ,0x216 ,0x335 ,0x26c ,0x26b ,0xdc ,0x180 ,0x3a1 ,0x30a ,0xf8 ,0x214 ,0x1a0 ,0x1c7 ,0x2ea ,0x191 ,0x143 ,0xa5 ,0x215 ,0x2e9 ,0x1a1 ,0x99 ,0x80 ,0x30a ,0x330 ,0x3e2 ,0x15f ,0x36f ,0x295 ,0x322 ,0x1c5 ,0x2cd ,0x96 ,0x2f4 ,0x3a3 ,0x1de ,0x363 ,0x2b0 ,0x3d2 ,0xd0 ,0x1ff ,0x229 ,0x323 ,0xb7 ,0x23b ,0x360 ,0x347 ,0x3de ,0x164 ,0x19d ,0x1b5 ,0x251 ,0x295 ,0xdc ,0x113 ,0x372 ,0x1e8 ,
0x285 ,0x35d ,0x3d4 ,0x133 ,0x1f6 ,0x2e0 ,0x317 ,0x8e ,0x235 ,0x189 ,0x8b ,0x205 ,0x348 ,0x14f ,0x120 ,0x12d ,0x253 ,0x1f1 ,0x3a5 ,0x282 ,0x9f ,0x151 ,0x1ac ,0x30f ,0x28d ,0x34e ,0x2b1 ,0x13c ,0x199 ,0x2e8 ,0x2a8 ,0x2a8 ,0x3d5 ,0x98 ,0x32a ,0x1e9 ,0xe7 ,0x16a ,0x146 ,0x3a3 ,0x315 ,0x1e0 ,0x17b ,0x226 ,0x273 ,0x29e ,0x2b4 ,0x270 ,0x3e4 ,0x24d ,0xcd ,0x2bd ,0x3a2 ,0x21b ,0x3be ,0x263 ,0x17e ,0x166 ,0xd3 ,0x1f5 ,0x2ac ,0x18f ,0x2ee ,0x186 ,
0x13d ,0x247 ,0x22e ,0x242 ,0x28d ,0x37d ,0x2de ,0xea ,0xa7 ,0x20a ,0x250 ,0x2c3 ,0x24f ,0x20a ,0x17b ,0x146 ,0x342 ,0x2e3 ,0x3d1 ,0x260 ,0x12c ,0x16a ,0xd6 ,0x1e4 ,0x96 ,0x1b3 ,0x1e3 ,0x345 ,0x182 ,0x328 ,0x3e4 ,0x395 ,0x377 ,0x224 ,0xbe ,0x29b ,0x1a5 ,0x289 ,0x3b7 ,0x348 ,0x130 ,0x30a ,0xed ,0x316 ,0x1f2 ,0x22c ,0xfa ,0x1ba ,0x304 ,0xdd ,0x278 ,0x1a5 ,0x177 ,0x10d ,0x1f9 ,0xea ,0x323 ,0x3b5 ,0x22b ,0x388 ,0x26b ,0x1e5 ,0x2ca ,0x155 ,
0x136 ,0xb8 ,0x233 ,0x274 ,0x3bb ,0x227 ,0x271 ,0x2ae ,0x154 ,0x2f5 ,0x374 ,0x219 ,0x284 ,0x1bb ,0x397 ,0x215 ,0x1a0 ,0x32a ,0x9c ,0x293 ,0x116 ,0x298 ,0x2e1 ,0x114 ,0xc1 ,0x3d8 ,0x229 ,0x9b ,0x327 ,0x165 ,0x376 ,0x2cb ,0x21c ,0x1f8 ,0x35e ,0x3ca ,0x1c3 ,0xf0 ,0x223 ,0xb5 ,0x376 ,0x1e0 ,0x252 ,0x336 ,0x235 ,0x106 ,0x82 ,0x173 ,0x204 ,0x1d5 ,0x2f8 ,0x2ed ,0x119 ,0x21a ,0xba ,0x135 ,0x3cb ,0x157 ,0x2da ,0x103 ,0x36d ,0xd3 ,0x1a6 ,0x27d ,
0x2ac ,0x373 ,0x132 ,0x2ea ,0x284 ,0xee ,0x14a ,0x24a ,0x12d ,0x299 ,0xca ,0x304 ,0xa3 ,0x16a ,0x31c ,0x179 ,0x2fa ,0x1e1 ,0x23a ,0x379 ,0x382 ,0x313 ,0x36f ,0x23a ,0x2c7 ,0x99 ,0x2fb ,0x222 ,0x23c ,0x14e ,0xbf ,0x383 ,0x2b4 ,0x31d ,0x88 ,0x380 ,0x397 ,0x278 ,0x1b2 ,0x285 ,0x2b5 ,0xe0 ,0x2e8 ,0x333 ,0x338 ,0x124 ,0x97 ,0x1f6 ,0x107 ,0x1fd ,0x1cd ,0x15a ,0x219 ,0x14c ,0x169 ,0x3d7 ,0xa6 ,0x22c ,0x3b9 ,0x251 ,0x17a ,0x3b8 ,0x216 ,0x2ae ,
0x1b2 ,0x1e3 ,0x361 ,0x2ab ,0x26b ,0x1b8 ,0x24b ,0x3b0 ,0x34f ,0x313 ,0x174 ,0x21d ,0x2e3 ,0x1e8 ,0x106 ,0x96 ,0x2c8 ,0x293 ,0x13b ,0x26d ,0x219 ,0x168 ,0x350 ,0x28f ,0x36d ,0x1f7 ,0x29e ,0x314 ,0x3da ,0x37a ,0xa2 ,0x389 ,0x370 ,0x25d ,0x9a ,0x1a6 ,0x131 ,0xc0 ,0x3b7 ,0x23c ,0x16b ,0x165 ,0x2c1 ,0xfd ,0x189 ,0x1bc ,0x3e2 ,0x3ab ,0x395 ,0x339 ,0x116 ,0x2b0 ,0x23b ,0xa9 ,0x291 ,0x20e ,0x30e ,0xf0 ,0x141 ,0x38b ,0x15c ,0x30a ,0x32e ,0x232 ,
0x33b ,0x212 ,0x3d0 ,0x316 ,0x12f ,0x338 ,0x89 ,0x81 ,0x324 ,0x120 ,0x1d6 ,0x22e ,0x35e ,0x351 ,0x186 ,0x35a ,0x15a ,0x202 ,0x32f ,0x262 ,0x1a5 ,0x1a5 ,0x221 ,0x1b7 ,0x16d ,0x30a ,0x97 ,0x38d ,0x241 ,0x1ec ,0x210 ,0x19b ,0x266 ,0x299 ,0x2cf ,0x3d8 ,0xed ,0x2e4 ,0x2cd ,0x18e ,0x380 ,0x2ed ,0x23b ,0x2ea ,0xea ,0x328 ,0x254 ,0x9b ,0x261 ,0xb8 ,0x2dc ,0x1a8 ,0x386 ,0x388 ,0x24e ,0x17f ,0x20b ,0x25e ,0x165 ,0x141 ,0x2bf ,0x165 ,0x2a9 ,0x276 ,
0x332 ,0xbb ,0x28c ,0x273 ,0x307 ,0x28b ,0x1ac ,0x36e ,0xcd ,0x242 ,0x3b5 ,0x1c1 ,0x2ad ,0x3da ,0x198 ,0x2ff ,0x1ac ,0x253 ,0x2f3 ,0x2a2 ,0x30b ,0x2f2 ,0x2c5 ,0x2a5 ,0x3b4 ,0x3a8 ,0x36b ,0x2a6 ,0xf8 ,0x35b ,0x1c4 ,0x2c5 ,0x3bd ,0x2f5 ,0x2f0 ,0x9a ,0x1a6 ,0x208 ,0x125 ,0x2fc ,0x160 ,0xca ,0x32d ,0x221 ,0xe9 ,0x139 ,0x3ce ,0x353 ,0x368 ,0xfb ,0x1c3 ,0x322 ,0x211 ,0x22b ,0x90 ,0x320 ,0x307 ,0xdf ,0x33c ,0x166 ,0x148 ,0x392 ,0x13c ,0x9f ,
0x1e5 ,0x24e ,0x288 ,0x344 ,0x236 ,0x8c ,0xc0 ,0x18d ,0x372 ,0x2be ,0x211 ,0xc1 ,0x36c ,0x1fa ,0xdf ,0x1bf ,0x272 ,0x13f ,0x9d ,0x2c5 ,0x270 ,0x8f ,0x3c5 ,0x20e ,0x39c ,0x3ab ,0x2a0 ,0x25b ,0x127 ,0x24b ,0xfe ,0x107 ,0x311 ,0x318 ,0x3ce ,0x174 ,0x36e ,0x197 ,0x1eb ,0xce ,0x11e ,0x3dd ,0x2fb ,0x2bb ,0xcd ,0xd4 ,0x27a ,0x193 ,0x1c1 ,0x14d ,0x177 ,0x208 ,0xa3 ,0x1af ,0x201 ,0x37d ,0xd7 ,0x2a4 ,0x391 ,0x82 ,0x198 ,0x196 ,0x2eb ,0x15e ,
0x23f ,0x11d ,0x141 ,0x19f ,0x113 ,0x1a7 ,0x178 ,0x23b ,0x144 ,0x8f ,0x1c1 ,0x287 ,0x39a ,0x235 ,0x32e ,0xd1 ,0xcb ,0x19b ,0x148 ,0xc5 ,0x286 ,0xca ,0x2bc ,0x2b9 ,0x236 ,0x24f ,0x351 ,0x3d7 ,0x222 ,0x28c ,0x313 ,0x13f ,0x3d7 ,0x218 ,0xde ,0x142 ,0x3e2 ,0x2f2 ,0x29e ,0x2a2 ,0x3ad ,0x11b ,0x23a ,0x3b8 ,0x144 ,0x1cd ,0x338 ,0xf6 ,0x132 ,0x3a2 ,0x345 ,0x1f9 ,0x240 ,0x34a ,0x292 ,0x2bb ,0x27a ,0x335 ,0x2e8 ,0x302 ,0x1e6 ,0x37f ,0x2fc ,0x98 ,
0x2ed ,0xea ,0x299 ,0x1bc ,0x351 ,0x122 ,0x3a0 ,0x3d6 ,0x20a ,0x2db ,0x1b7 ,0x1a5 ,0x322 ,0x2c2 ,0x2e0 ,0x3b3 ,0x173 ,0x3c8 ,0x3bb ,0x17e ,0xce ,0x165 ,0x31f ,0x2c7 ,0x29e ,0x80 ,0x156 ,0x34d ,0x3e7 ,0x99 ,0xeb ,0xde ,0x385 ,0x84 ,0x1d3 ,0x25e ,0x22b ,0x25d ,0x1e3 ,0x18c ,0xdf ,0x3d1 ,0x131 ,0xf3 ,0x155 ,0xa9 ,0x265 ,0x1af ,0xea ,0x320 ,0x8f ,0x37f ,0x3cd ,0x277 ,0xc9 ,0x1c1 ,0x1c2 ,0x37c ,0x3c6 ,0x31e ,0x21f ,0x20d ,0x1a9 ,0x138 ,
0x96 ,0x297 ,0x2fa ,0x1e4 ,0x187 ,0x231 ,0x28b ,0x320 ,0x1e7 ,0x3de ,0xf5 ,0x158 ,0x130 ,0x151 ,0x1d5 ,0x3ce ,0x219 ,0x1f4 ,0x39a ,0x386 ,0x1b5 ,0x2fe ,0x347 ,0x171 ,0x7e ,0x23d ,0x10a ,0x39c ,0x3cc ,0x127 ,0xa2 ,0x25e ,0x16e ,0x8a ,0xca ,0x390 ,0x2af ,0x1b4 ,0x173 ,0x20c ,0xfc ,0x20e ,0x270 ,0x285 ,0x3e8 ,0x196 ,0x3cc ,0x33f ,0x3a8 ,0x186 ,0x2f0 ,0x32e ,0xb1 ,0xbd ,0x18e ,0x86 ,0x35a ,0x2f4 ,0x2e1 ,0x101 ,0x34c ,0x2ec ,0x197 ,0x1c6 ,
0x1c8 ,0x32d ,0x3c8 ,0x187 ,0x3d8 ,0x9f ,0x311 ,0x2cf ,0xa7 ,0x1ce ,0x307 ,0x1f3 ,0x1c7 ,0x374 ,0xdf ,0x254 ,0xf1 ,0x8b ,0x38b ,0x242 ,0x338 ,0x1f5 ,0xc1 ,0x16e ,0x2fc ,0xb6 ,0x96 ,0x1b0 ,0xd9 ,0x255 ,0x352 ,0x2fa ,0x2d5 ,0xa2 ,0x8a ,0x80 ,0x3c8 ,0x2f0 ,0x122 ,0x2a1 ,0x34d ,0x3a4 ,0x10e ,0x372 ,0xdf ,0x357 ,0x16e ,0x295 ,0x2c8 ,0x21e ,0x130 ,0x17d ,0x3c0 ,0x33e ,0x320 ,0xed ,0x22c ,0x198 ,0x396 ,0x286 ,0x14f ,0x123 ,0x2d9 ,0x233 ,
0x266 ,0x370 ,0x38a ,0x1f8 ,0x2d6 ,0x1fc ,0x2f6 ,0x1bd ,0x259 ,0x206 ,0x14b ,0x380 ,0x2ba ,0x3e3 ,0x316 ,0x97 ,0x1a9 ,0x26a ,0x2cb ,0x273 ,0x3cf ,0x102 ,0x124 ,0xed ,0x1a2 ,0xc2 ,0x131 ,0x384 ,0x10a ,0xdb ,0xed ,0x179 ,0x169 ,0x3e6 ,0x396 ,0x15d ,0x1b2 ,0x133 ,0x361 ,0xf4 ,0x26b ,0x3a5 ,0x29b ,0x1eb ,0x2da ,0x24d ,0x18f ,0x186 ,0x321 ,0x160 ,0xb1 ,0x83 ,0x3e1 ,0x35d ,0x258 ,0x2fc ,0x24f ,0x322 ,0x15d ,0x191 ,0x21e ,0x36a ,0x1cc ,0xcb ,
0x34c ,0x230 ,0x202 ,0x3cb ,0x2e0 ,0x1d0 ,0xbe ,0x1ee ,0x1f5 ,0x97 ,0x359 ,0x1bf ,0x3ba ,0x13c ,0x219 ,0x1c8 ,0x1da ,0x2af ,0x330 ,0x24b ,0x218 ,0x257 ,0xe5 ,0x98 ,0x31e ,0x3a5 ,0x36d ,0x344 ,0x13d ,0x2f2 ,0x2b8 ,0xca ,0x1c6 ,0x2b7 ,0x152 ,0x146 ,0x18b ,0x372 ,0x18d ,0xe5 ,0x215 ,0xf7 ,0x305 ,0xc9 ,0x2a3 ,0x366 ,0x322 ,0x221 ,0xbb ,0x1c9 ,0x123 ,0xc9 ,0x27f ,0x326 ,0x324 ,0x277 ,0x166 ,0x180 ,0x151 ,0x1f1 ,0x2a4 ,0x29e ,0x1d8 ,0x309 ,
0x349 ,0x113 ,0x266 ,0x14a ,0x279 ,0xe1 ,0x2c8 ,0x1c8 ,0x3b5 ,0x97 ,0x314 ,0x1c4 ,0x167 ,0xcc ,0xca ,0x25c ,0x352 ,0x287 ,0x281 ,0x2e6 ,0x38f ,0x3d2 ,0xce ,0x1b4 ,0x274 ,0x3cf ,0x307 ,0x240 ,0x29e ,0x17a ,0x160 ,0x8c ,0x20f ,0x34e ,0x2de ,0x3c6 ,0x106 ,0x313 ,0x2fd ,0x30c ,0x367 ,0x248 ,0x2d4 ,0x16c ,0x34e ,0x2d6 ,0xc2 ,0x9e ,0x234 ,0x145 ,0x38a ,0x14e ,0x1ea ,0x8e ,0x3ce ,0xc5 ,0x33e ,0x246 ,0x1f3 ,0x21f ,0xb4 ,0x24f ,0x27c ,0x106 ,
0x1f6 ,0x1b3 ,0xd0 ,0x18a ,0x115 ,0x17e ,0x178 ,0x21f ,0xbe ,0x201 ,0xbc ,0x224 ,0xc6 ,0x22a ,0x126 ,0x19a ,0x3ae ,0xd2 ,0x276 ,0x1eb ,0x2c6 ,0x3de ,0x80 ,0xe5 ,0xc9 ,0x38d ,0x3af ,0x3cf ,0x246 ,0x2bf ,0x147 ,0x16e ,0xcb ,0x348 ,0x34e ,0x8b ,0x1fb ,0x33f ,0x2a6 ,0x103 ,0x1d5 ,0x1cc ,0x9c ,0x2e8 ,0xfd ,0x2b6 ,0x2f3 ,0x3e2 ,0x1bd ,0xf9 ,0x2a4 ,0x336 ,0x34f ,0x342 ,0x83 ,0x359 ,0x15b ,0xa1 ,0x3b4 ,0x3c6 ,0x2e0 ,0x230 ,0x2d9 ,0x38f ,
0xca ,0x3d4 ,0x3b9 ,0x1c1 ,0x1fe ,0x3d7 ,0x21b ,0x38c ,0x281 ,0x3df ,0x370 ,0x86 ,0x372 ,0x33b ,0x249 ,0x296 ,0x18c ,0x141 ,0xcd ,0x2fb ,0x366 ,0x142 ,0x2ad ,0x340 ,0x3c0 ,0x310 ,0x388 ,0x7f ,0x7e ,0x298 ,0x385 ,0xa6 ,0x251 ,0x148 ,0x392 ,0xd6 ,0x31d ,0x14c ,0x84 ,0x29c ,0x296 ,0x3b6 ,0xa0 ,0x7d ,0x249 ,0x2e0 ,0x34a ,0x18e ,0x2a9 ,0x1c1 ,0x184 ,0x397 ,0x1fd ,0x8a ,0x27f ,0x194 ,0xec ,0x136 ,0x303 ,0x9b ,0x1bd ,0x245 ,0xea ,0x1a3 ,
0xf2 ,0x13e ,0x1b9 ,0xd4 ,0x354 ,0x391 ,0x323 ,0x2a1 ,0x16c ,0xfe ,0x37d ,0x18c ,0x2e2 ,0x17d ,0x1bd ,0x3ca ,0x34a ,0x3b4 ,0x3be ,0x22c ,0x206 ,0x207 ,0xc5 ,0x2aa ,0x2cc ,0x3a6 ,0xaf ,0x337 ,0x2ac ,0x3c1 ,0x362 ,0x197 ,0x352 ,0x394 ,0x1e5 ,0x7e ,0x1fa ,0x286 ,0x2c7 ,0x375 ,0x118 ,0x26f ,0x1bd ,0x7f ,0x351 ,0x10f ,0xd9 ,0x23d ,0x20c ,0xf6 ,0xf0 ,0x31c ,0x310 ,0x18b ,0x33d ,0x28c ,0x8a ,0x9f ,0x1d3 ,0x133 ,0x1cc ,0x25f ,0x3a4 ,0x349 ,
0x34b ,0x202 ,0x1f7 ,0x95 ,0x2b0 ,0x244 ,0x36d ,0x24a ,0x3b4 ,0x2f5 ,0x390 ,0xe8 ,0x134 ,0xce ,0x1a5 ,0x216 ,0x380 ,0x1cb ,0x2a1 ,0x2d7 ,0x2b6 ,0x171 ,0x1d1 ,0x83 ,0x18a ,0x2bd ,0x272 ,0x123 ,0x199 ,0x96 ,0x173 ,0x188 ,0x3d0 ,0x324 ,0x347 ,0x121 ,0x15b ,0x1f7 ,0x35a ,0x176 ,0x36d ,0x305 ,0x20f ,0x2a9 ,0x213 ,0x385 ,0x3af ,0x2bb ,0x1dc ,0xbf ,0x116 ,0x3a4 ,0x338 ,0x2d9 ,0x31f ,0x337 ,0xee ,0x175 ,0x32b ,0xb2 ,0x129 ,0x2d8 ,0x3a1 ,0x3e0 ,
0x178 ,0x26e ,0xb7 ,0x398 ,0x14f ,0xfb ,0x257 ,0x296 ,0x29b ,0x1b4 ,0x332 ,0xc3 ,0x2a7 ,0xd6 ,0x2a6 ,0x16f ,0xaf ,0x3a2 ,0x20c ,0x1c1 ,0x82 ,0x1ac ,0x1e1 ,0x13c ,0x1ef ,0x22e ,0x375 ,0x349 ,0x347 ,0x181 ,0x289 ,0x111 ,0x2e7 ,0x346 ,0x3c6 ,0x26f ,0x2ff ,0x164 ,0xed ,0x17c ,0x2c1 ,0x380 ,0xe7 ,0x27f ,0x1bd ,0xc5 ,0x20f ,0x192 ,0x90 ,0xc2 ,0x33b ,0x2a6 ,0x14c ,0x26d ,0x3d0 ,0x300 ,0x207 ,0x32e ,0x294 ,0x2c7 ,0x2be ,0xfc ,0x14f ,0xa2 ,
0x3e2 ,0x3b4 ,0x117 ,0x382 ,0x243 ,0x12e ,0x20c ,0x299 ,0x101 ,0x16e ,0xe0 ,0x35e ,0x1e4 ,0x3c6 ,0x17d ,0x272 ,0x315 ,0x371 ,0xd5 ,0x267 ,0x111 ,0x208 ,0x331 ,0x371 ,0x2c8 ,0x89 ,0xd6 ,0x28f ,0x23d ,0x2d7 ,0x9c ,0x3ca ,0x283 ,0x345 ,0x290 ,0x1d9 ,0x38d ,0x7e ,0x3d9 ,0x2b7 ,0x393 ,0x3b4 ,0x238 ,0x22c ,0x82 ,0x111 ,0x10f ,0x2e2 ,0x1ed ,0x388 ,0x2a3 ,0x21b ,0x2fb ,0x243 ,0x379 ,0x1a1 ,0x199 ,0x3c2 ,0x13c ,0x12f ,0xc4 ,0x264 ,0x352 ,0x304 ,
0xd4 ,0x132 ,0x184 ,0x1af ,0x376 ,0xe2 ,0x3b9 ,0x1aa ,0x2f0 ,0x35a ,0x2e8 ,0x332 ,0xc5 ,0x15f ,0xbb ,0x1b6 ,0x34e ,0xd8 ,0x2e8 ,0x289 ,0xd4 ,0x2c5 ,0x227 ,0x96 ,0x1b6 ,0x366 ,0x24b ,0x2cd ,0x38e ,0x352 ,0x27c ,0x1b8 ,0xf8 ,0x2c2 ,0x3be ,0x34d ,0x3be ,0xc5 ,0x304 ,0x25f ,0x11b ,0x222 ,0x27b ,0x26a ,0x29d ,0x2b3 ,0x3e5 ,0xfc ,0xf9 ,0xfd ,0x141 ,0x1a0 ,0x14a ,0x399 ,0x21c ,0x30d ,0x2cd ,0x2fe ,0x126 ,0x224 ,0x32a ,0x3c0 ,0x178 ,0xc8 ,
0xde ,0x141 ,0xbb ,0x150 ,0x39a ,0x2d1 ,0x23a ,0x1a4 ,0x88 ,0x10d ,0x156 ,0x305 ,0x3ab ,0x339 ,0x39c ,0xad ,0x210 ,0x2ad ,0x120 ,0x1de ,0x290 ,0xe1 ,0x145 ,0xf9 ,0x36b ,0xea ,0x188 ,0x265 ,0x23c ,0x1bd ,0x16b ,0x93 ,0x315 ,0x352 ,0x2fd ,0x39d ,0x261 ,0x1fc ,0x341 ,0x3d9 ,0x333 ,0x130 ,0x95 ,0x1aa ,0x207 ,0x182 ,0x114 ,0x274 ,0x267 ,0x1bc ,0x19c ,0x168 ,0x30f ,0x113 ,0x184 ,0x3d2 ,0xf8 ,0x168 ,0x29b ,0x162 ,0x334 ,0x2be ,0x34a ,0x33b ,
0x81 ,0x19e ,0x249 ,0x1e2 ,0x3e2 ,0x1e7 ,0x25c ,0x336 ,0x199 ,0x39d ,0x361 ,0x15f ,0x8b ,0x2e9 ,0x296 ,0x2f4 ,0x254 ,0x34c ,0xc8 ,0x165 ,0x29e ,0x3d0 ,0x286 ,0x26a ,0x3b0 ,0x87 ,0x1a6 ,0xd9 ,0x341 ,0x1b4 ,0x22a ,0x1ee ,0x98 ,0x3bf ,0x1cf ,0x2a9 ,0x130 ,0x35c ,0x361 ,0x20f ,0xe5 ,0x282 ,0x1b3 ,0x3a1 ,0x12b ,0x323 ,0x25e ,0x2c9 ,0x1dd ,0x30e ,0x2ef ,0x2ba ,0x1c9 ,0x23a ,0xf2 ,0x114 ,0x277 ,0x8c ,0x21a ,0x3b9 ,0x168 ,0x329 ,0x183 ,0xda ,
0x359 ,0x191 ,0x2f1 ,0x27f ,0x290 ,0x2ac ,0x36d ,0x348 ,0x2ec ,0x306 ,0x3c4 ,0x32f ,0x2c8 ,0x2d4 ,0x19f ,0x7f ,0x2a9 ,0x1e8 ,0xf2 ,0x2f9 ,0x137 ,0x1a3 ,0x2ea ,0x18f ,0x2db ,0x350 ,0x19e ,0x17c ,0x20d ,0x2b4 ,0x36a ,0x1c1 ,0x35f ,0x24d ,0x2a7 ,0x3c4 ,0x287 ,0xcd ,0x2a3 ,0x1d2 ,0x2dc ,0x2b8 ,0x1ee ,0xe9 ,0x2de ,0x25a ,0xd6 ,0xb4 ,0x91 ,0x1f8 ,0x17e ,0xc8 ,0xe9 ,0x24c ,0x300 ,0x20e ,0x3e4 ,0xca ,0x156 ,0x389 ,0xc0 ,0x319 ,0xb3 ,0xcf ,
0x2b2 ,0x236 ,0x36b ,0x158 ,0x3e7 ,0x89 ,0x142 ,0x1a6 ,0x1a0 ,0x202 ,0xd1 ,0x3d2 ,0x169 ,0x257 ,0x238 ,0x34b ,0x1b0 ,0x13d ,0xb1 ,0x2dd ,0x1bf ,0x340 ,0x3cc ,0x206 ,0xcc ,0x2dd ,0x20b ,0x33f ,0x2e5 ,0x25a ,0x111 ,0x3de ,0x397 ,0x24d ,0x1b7 ,0x2d9 ,0x38e ,0x2d0 ,0x2d3 ,0x15c ,0x24a ,0x231 ,0x1ec ,0x16e ,0x12e ,0xdf ,0xc5 ,0x21d ,0x26b ,0x296 ,0x23c ,0x38b ,0xd5 ,0x27c ,0x234 ,0x162 ,0x144 ,0x20e ,0x380 ,0x175 ,0x35e ,0x2fb ,0x1d4 ,0x337 ,
0x2f7 ,0x19b ,0xe8 ,0x22b ,0x342 ,0x184 ,0x176 ,0x1ce ,0x2b0 ,0xe7 ,0x282 ,0x263 ,0x247 ,0x34c ,0x24e ,0xff ,0x8d ,0x2e4 ,0x12d ,0x23e ,0x303 ,0x32d ,0x321 ,0x38c ,0x10f ,0x3ba ,0x3bb ,0x3a5 ,0x315 ,0xfb ,0x231 ,0x372 ,0x316 ,0x3c1 ,0x240 ,0x3c2 ,0x21c ,0x378 ,0x20a ,0x335 ,0x2c0 ,0x39a ,0x3a1 ,0x19f ,0x284 ,0x282 ,0x307 ,0x34e ,0x131 ,0x182 ,0xf4 ,0x22e ,0x283 ,0x7f ,0x276 ,0x89 ,0x212 ,0x39b ,0x147 ,0x2b6 ,0x124 ,0x3da ,0x1a9 ,0x3e2 ,
0x390 ,0x2aa ,0x3b1 ,0x300 ,0x239 ,0xba ,0xbb ,0x2db ,0xc7 ,0x34b ,0x1f2 ,0x12d ,0x323 ,0x2cb ,0x35a ,0x16d ,0x2be ,0x276 ,0x2df ,0x19e ,0x1be ,0x114 ,0x123 ,0xf0 ,0x1da ,0xd5 ,0x3c5 ,0x318 ,0x251 ,0x2eb ,0x3ab ,0xa0 ,0x162 ,0x2b2 ,0x3de ,0x144 ,0xcf ,0x19b ,0x169 ,0x265 ,0x207 ,0x1e1 ,0x2bf ,0x135 ,0x3c5 ,0x209 ,0x2a8 ,0x39f ,0x1e7 ,0x20b ,0x211 ,0x263 ,0x93 ,0x177 ,0x378 ,0x21b ,0x237 ,0xa1 ,0x160 ,0xb6 ,0x33d ,0x267 ,0x186 ,0x363 ,
0x3cd ,0x179 ,0x16d ,0xf0 ,0x110 ,0xa0 ,0x205 ,0x330 ,0x87 ,0x352 ,0x1a2 ,0x2f4 ,0x2fb ,0x32b ,0xb8 ,0xb1 ,0x12a ,0xc8 ,0x197 ,0x39c ,0x151 ,0x99 ,0x27b ,0x2b4 ,0x33e ,0x2ae ,0x147 ,0x381 ,0x2e7 ,0x1d4 ,0x3d7 ,0x26b ,0x10b ,0x181 ,0x29c ,0x12f ,0x2e1 ,0x3d8 ,0x3cb ,0x38a ,0x3c3 ,0x3c8 ,0x8b ,0x15b ,0xca ,0x295 ,0x399 ,0x352 ,0x292 ,0x16d ,0x110 ,0x2dc ,0x15b ,0x133 ,0x253 ,0x2be ,0x11c ,0xd5 ,0x1d6 ,0x262 ,0x277 ,0xcb ,0x345 ,0x342 ,
0x2e8 ,0x3b5 ,0x109 ,0x3d3 ,0x11c ,0x3d2 ,0x282 ,0x143 ,0x12b ,0x2c5 ,0x1a1 ,0x3b6 ,0x11e ,0x12d ,0x9b ,0x212 ,0x1b3 ,0x145 ,0x8b ,0x322 ,0x2dd ,0x1c0 ,0x1b9 ,0x12e ,0x229 ,0x294 ,0x10b ,0x173 ,0x2b6 ,0x1f5 ,0x228 ,0x239 ,0x31e ,0x23d ,0x3c2 ,0x3da ,0x38e ,0x1cc ,0x3c5 ,0x205 ,0x32c ,0x2c8 ,0x179 ,0x127 ,0x3c7 ,0x153 ,0x30a ,0x35e ,0x2bb ,0x327 ,0x3ad ,0x309 ,0x2e4 ,0x2b1 ,0x139 ,0x113 ,0x189 ,0xcc ,0x3cc ,0x37d ,0xf8 ,0xee ,0x3aa ,0xed ,
0x1f0 ,0xd3 ,0xc2 ,0xfe ,0x2f6 ,0x2e2 ,0x38f ,0x1c6 ,0x363 ,0x21a ,0xb7 ,0xe2 ,0x23e ,0x367 ,0x94 ,0x1b9 ,0x21d ,0x37c ,0x1e2 ,0xf6 ,0x319 ,0x2f4 ,0xa1 ,0x27f ,0x9d ,0x356 ,0x3b2 ,0x19d ,0x2cb ,0x3ab ,0x36e ,0x1e7 ,0x385 ,0x279 ,0x397 ,0x25a ,0x338 ,0x2ed ,0x37f ,0x80 ,0xa1 ,0x186 ,0x1f6 ,0xfa ,0x86 ,0x26b ,0x143 ,0x1e5 ,0x358 ,0x1e8 ,0x2b5 ,0x2f3 ,0x22d ,0x337 ,0x2d4 ,0x1af ,0x316 ,0x145 ,0x9a ,0x39c ,0xb9 ,0x224 ,0x3c4 ,0x3de ,
0x3e7 ,0x33b ,0x23a ,0x1e4 ,0x388 ,0x94 ,0x21a ,0x126 ,0x2ec ,0xcd ,0x128 ,0x367 ,0x32e ,0x227 ,0x1da ,0x350 ,0x2b2 ,0x192 ,0x95 ,0x2ad ,0x8e ,0x278 ,0x11f ,0x10e ,0x24c ,0xb0 ,0x328 ,0x220 ,0x212 ,0x268 ,0xf5 ,0x3c8 ,0xe7 ,0x167 ,0x10a ,0xa8 ,0x1e1 ,0x11f ,0x2d5 ,0x350 ,0xff ,0x160 ,0x28c ,0x108 ,0xe6 ,0x129 ,0x355 ,0x1d7 ,0x200 ,0x233 ,0x2d0 ,0xc0 ,0x35c ,0x2f3 ,0x1bf ,0x3e3 ,0x214 ,0x3c6 ,0x356 ,0x136 ,0xd6 ,0x33b ,0x258 ,0x323 ,
0xb5 ,0x388 ,0x260 ,0x3cc ,0x26a ,0x315 ,0xd7 ,0x331 ,0x1af ,0x1a3 ,0x276 ,0x381 ,0x353 ,0x283 ,0xa9 ,0x127 ,0x1f3 ,0x39c ,0x15b ,0x22c ,0x325 ,0xb5 ,0x137 ,0x392 ,0x2cc ,0x30c ,0x359 ,0x209 ,0xa8 ,0x2f1 ,0x2e0 ,0x131 ,0x173 ,0xaf ,0x2ec ,0xd0 ,0x286 ,0x3a2 ,0x2e8 ,0x10d ,0x31a ,0x3c6 ,0x200 ,0x290 ,0x234 ,0xd6 ,0x15c ,0x21f ,0xe4 ,0x2b8 ,0x279 ,0x12f ,0x38a ,0x23f ,0x18c ,0xd3 ,0xb4 ,0x3dd ,0x1d9 ,0xd0 ,0x16a ,0x252 ,0x1c3 ,0xb6 ,
0x2cb ,0x1fe ,0x1f7 ,0x231 ,0x35d ,0x226 ,0x3ad ,0x207 ,0x9f ,0x161 ,0xcc ,0x3d2 ,0x2c6 ,0x3a5 ,0x163 ,0x2b1 ,0x134 ,0x339 ,0x2cb ,0x3ce ,0x282 ,0x2a5 ,0x299 ,0x30c ,0x9a ,0xe6 ,0x31b ,0x22c ,0x2ed ,0x2e6 ,0x190 ,0x2b5 ,0x38c ,0x262 ,0x18f ,0x2b7 ,0x334 ,0x20c ,0x17a ,0x333 ,0x20b ,0x37b ,0x1a3 ,0x97 ,0x27f ,0xec ,0x9e ,0x279 ,0x3b2 ,0x177 ,0x258 ,0x163 ,0x130 ,0x3e6 ,0x280 ,0xc4 ,0x3ce ,0x1df ,0x116 ,0x3d5 ,0xc8 ,0x195 ,0x27c ,0x1a8 ,
0x243 ,0xdb ,0x19e ,0x394 ,0x23f ,0x246 ,0x324 ,0x267 ,0x7d ,0x256 ,0x37b ,0x341 ,0x352 ,0x3a4 ,0x93 ,0x3e5 ,0x171 ,0x83 ,0x39f ,0xef ,0x28b ,0x196 ,0xa3 ,0x279 ,0x2b1 ,0x230 ,0xab ,0x207 ,0x205 ,0x23f ,0x8e ,0x146 ,0x2b5 ,0x105 ,0x302 ,0x1e4 ,0x1c7 ,0x1d9 ,0xb1 ,0x126 ,0x8f ,0x1d7 ,0x1ea ,0x85 ,0x1e5 ,0x313 ,0x39a ,0x335 ,0x301 ,0x1f2 ,0x399 ,0x299 ,0x1e7 ,0x159 ,0x12e ,0x157 ,0x323 ,0x27c ,0x386 ,0x1c0 ,0x2f8 ,0x130 ,0xe9 ,0x349 ,
0x2db ,0x1a6 ,0x274 ,0x27f ,0x1d4 ,0x3bd ,0x305 ,0x20b ,0x23f ,0x33a ,0x19b ,0x100 ,0x279 ,0x38e ,0x290 ,0x22e ,0x38f ,0x348 ,0x228 ,0x380 ,0x82 ,0x236 ,0x1c3 ,0x1c2 ,0x1bf ,0x28e ,0x128 ,0x310 ,0x36e ,0x2ed ,0x207 ,0x15f ,0x346 ,0x120 ,0x2d3 ,0x2cf ,0xb0 ,0x3aa ,0x1d5 ,0x35f ,0x2f3 ,0xc3 ,0x375 ,0x110 ,0x2d2 ,0x2ce ,0x171 ,0x291 ,0x237 ,0x30f ,0x2b3 ,0xb6 ,0x1ba ,0x17a ,0x1ff ,0x2a1 ,0x1bd ,0x1e4 ,0x25d ,0x200 ,0x371 ,0x28e ,0x266 ,0x1a3 ,
0xca ,0x261 ,0x307 ,0x3ad ,0x2eb ,0xd7 ,0x152 ,0x240 ,0x1aa ,0x133 ,0x2f7 ,0x351 ,0x341 ,0x3e0 ,0x386 ,0x388 ,0x125 ,0xc6 ,0x3a5 ,0x26a ,0x266 ,0x224 ,0x165 ,0xb6 ,0x123 ,0x1eb ,0xc8 ,0x39a ,0x126 ,0x9f ,0x20f ,0x2f9 ,0x2af ,0x112 ,0xf4 ,0x170 ,0x1fb ,0xc8 ,0x32d ,0x24a ,0x3b4 ,0x2a6 ,0x2a7 ,0x32c ,0xae ,0x168 ,0xab ,0x29b ,0x395 ,0x18b ,0x2b6 ,0xea ,0x110 ,0x385 ,0x88 ,0xa7 ,0x1e3 ,0x107 ,0x184 ,0xb3 ,0xf4 ,0x390 ,0x327 ,0x1e2 ,
0x241 ,0x246 ,0xa0 ,0x37a ,0xfd ,0x1e1 ,0x275 ,0x3cf ,0x3be ,0x2f2 ,0x87 ,0x2e9 ,0x24e ,0x1bc ,0x2e9 ,0x2b7 ,0x202 ,0x3c8 ,0x177 ,0x19f ,0x8d ,0x224 ,0x182 ,0x130 ,0xef ,0x13e ,0x18a ,0x2a9 ,0x374 ,0x2c9 ,0x9e ,0x2bc ,0x2d9 ,0x2a5 ,0x11b ,0x1be ,0xd3 ,0x24f ,0x22e ,0x1b5 ,0x356 ,0x184 ,0x285 ,0x360 ,0xc1 ,0x283 ,0xbd ,0x2f4 ,0xf5 ,0x373 ,0x214 ,0xdf ,0x304 ,0xb5 ,0x29e ,0x26c ,0x3a8 ,0x18e ,0x1eb ,0x88 ,0xb4 ,0x3e4 ,0x1d3 ,0x17a ,
0x25a ,0x170 ,0x2f6 ,0x23f ,0x160 ,0xd6 ,0x395 ,0x1b2 ,0x93 ,0x100 ,0x18b ,0x110 ,0x3e8 ,0x1a8 ,0x361 ,0xc3 ,0x1b3 ,0x131 ,0x19d ,0x1b0 ,0x2ac ,0x2f0 ,0x379 ,0x272 ,0x355 ,0x151 ,0x246 ,0x2aa ,0xd4 ,0x1fc ,0xe1 ,0x304 ,0x366 ,0x24d ,0x24d ,0x3ab ,0x2f1 ,0x143 ,0x3c7 ,0x19f ,0x3c9 ,0x1b7 ,0xbd ,0x3a0 ,0x29d ,0x116 ,0x1b5 ,0x1f6 ,0x183 ,0x2c1 ,0x14d ,0x227 ,0x37d ,0x25a ,0x390 ,0x161 ,0x169 ,0x383 ,0x290 ,0x3c0 ,0x119 ,0xbf ,0x27b ,0x372 ,
0xa1 ,0x8b ,0x286 ,0x2b5 ,0x2ab ,0x2db ,0x2b4 ,0xaa ,0x244 ,0x3a8 ,0x1f8 ,0x7f ,0x17f ,0x21d ,0x245 ,0x114 ,0x155 ,0x16f ,0x142 ,0x19d ,0x2d9 ,0x82 ,0x2fb ,0x29e ,0x1bb ,0x11b ,0xb0 ,0x336 ,0x28a ,0x299 ,0x145 ,0x343 ,0x2c3 ,0x315 ,0xb2 ,0xc6 ,0x1e8 ,0x3c3 ,0x3b8 ,0x20c ,0xb0 ,0x227 ,0x394 ,0x1e4 ,0x2f9 ,0x30e ,0x3da ,0x37b ,0x1b3 ,0x1ab ,0x3e7 ,0xd9 ,0x1bb ,0x2bb ,0x190 ,0x1d6 ,0xcc ,0x1f9 ,0x184 ,0x300 ,0x205 ,0x8e ,0x7e ,0x152 ,
0x291 ,0x394 ,0x3b9 ,0x139 ,0x2a4 ,0x30a ,0x37a ,0x1b7 ,0x2bb ,0x2fe ,0x28c ,0x299 ,0x1f2 ,0x1c8 ,0x1af ,0x319 ,0x288 ,0x283 ,0x9f ,0xa4 ,0x325 ,0xc2 ,0x299 ,0x7d ,0x2c3 ,0x252 ,0x35d ,0xad ,0xb0 ,0x1e0 ,0x396 ,0x2df ,0x3e3 ,0x263 ,0x380 ,0x36f ,0xf0 ,0x27f ,0x1dd ,0xb3 ,0x1ce ,0x375 ,0x85 ,0x141 ,0x3a9 ,0xa5 ,0x323 ,0x12c ,0x371 ,0x34b ,0xba ,0x36f ,0x1f1 ,0x30b ,0x33f ,0x195 ,0x1d4 ,0x352 ,0xeb ,0x300 ,0x1f9 ,0x295 ,0x14e ,0x2d0 ,
0x2d5 ,0x34e ,0x3e8 ,0x16d ,0xd3 ,0x2b3 ,0x199 ,0x159 ,0xa7 ,0x20f ,0xad ,0x202 ,0x110 ,0x3c9 ,0x2d2 ,0x377 ,0x107 ,0x14d ,0xaa ,0x2be ,0x1cb ,0x1d4 ,0x37d ,0x1dc ,0x304 ,0x2dd ,0x1de ,0x2a9 ,0x17d ,0x19b ,0xf8 ,0x332 ,0x169 ,0x24d ,0x13c ,0x119 ,0xb3 ,0x27f ,0x244 ,0x372 ,0x35b ,0x166 ,0x1f2 ,0x172 ,0x1d3 ,0x3b8 ,0x100 ,0xc5 ,0x3a4 ,0x3e2 ,0x380 ,0x34e ,0x368 ,0xac ,0xb4 ,0x2c8 ,0x2b9 ,0xd8 ,0x2fa ,0x115 ,0x316 ,0x1dd ,0x231 ,0x280 ,
0x23c ,0x132 ,0x356 ,0x248 ,0x9c ,0x1c5 ,0x1ae ,0x2c1 ,0x23f ,0x88 ,0x127 ,0x2c8 ,0x322 ,0x13b ,0x36e ,0x116 ,0x3ab ,0xd4 ,0x33f ,0x390 ,0x223 ,0x96 ,0x269 ,0x1ef ,0x312 ,0x38f ,0x29e ,0x2ab ,0x213 ,0x2a3 ,0x1b6 ,0x366 ,0x7d ,0x36e ,0xd3 ,0x3de ,0xb1 ,0xf8 ,0x147 ,0x121 ,0x1b8 ,0x23e ,0x143 ,0x208 ,0x27d ,0x19d ,0x279 ,0x22f ,0x335 ,0x176 ,0xe9 ,0x2f3 ,0xbe ,0x3ab ,0x1bc ,0x3c3 ,0x352 ,0x159 ,0x380 ,0x3d8 ,0xee ,0x108 ,0x303 ,0xd9 ,
0xab ,0x3a8 ,0xe1 ,0x340 ,0x153 ,0x398 ,0x126 ,0x13b ,0x1c3 ,0x329 ,0x305 ,0x1a7 ,0x276 ,0x2b1 ,0x3cd ,0x385 ,0x27a ,0x3da ,0x35b ,0x1ac ,0x248 ,0x126 ,0x212 ,0x1f4 ,0x26b ,0x2ef ,0x2a1 ,0x22e ,0x3e3 ,0xfb ,0x2fd ,0x270 ,0x334 ,0x1cf ,0x3d0 ,0xf6 ,0xb2 ,0x35e ,0x19a ,0x333 ,0x10f ,0x293 ,0x18c ,0x354 ,0x24f ,0x229 ,0x185 ,0x1a6 ,0xce ,0x3dc ,0x12e ,0x17f ,0x248 ,0x35a ,0x37f ,0x33c ,0x306 ,0x359 ,0x1ea ,0x345 ,0x25e ,0x90 ,0xf5 ,0x178 ,
0x38e ,0x28f ,0x277 ,0x3b6 ,0x154 ,0x129 ,0x13f ,0x36a ,0xdd ,0x2c3 ,0x176 ,0x90 ,0xf7 ,0x10a ,0x13f ,0xfb ,0x267 ,0x2ef ,0x1b1 ,0x22f ,0x24f ,0x106 ,0xe8 ,0xac ,0x1db ,0x376 ,0xf1 ,0x2f8 ,0x235 ,0x1f7 ,0x80 ,0x330 ,0x2c8 ,0x3e0 ,0x147 ,0x3be ,0xac ,0x2e7 ,0x16f ,0x97 ,0x3b1 ,0x15e ,0x3da ,0x101 ,0x36f ,0x2a0 ,0x130 ,0x1b5 ,0x228 ,0x1e4 ,0xc5 ,0x391 ,0x30e ,0x25e ,0x211 ,0x215 ,0xa2 ,0x3e1 ,0x341 ,0x83 ,0xb9 ,0x13f ,0x118 ,0x25f ,
0x1d3 ,0x3c6 ,0xb5 ,0x198 ,0x3ab ,0x298 ,0xdd ,0x225 ,0x3d2 ,0x2e1 ,0x2ab ,0xb4 ,0x146 ,0x247 ,0x2d0 ,0x2de ,0x82 ,0xdf ,0x2be ,0x131 ,0x209 ,0x10c ,0x2cb ,0x39b ,0xb4 ,0x213 ,0x102 ,0x1da ,0x184 ,0x89 ,0x3df ,0x39d ,0xb0 ,0x17e ,0x1af ,0x2f0 ,0x218 ,0x321 ,0x114 ,0x16e ,0x1e2 ,0x184 ,0x18e ,0x235 ,0x32a ,0x287 ,0x28c ,0x89 ,0xad ,0x3cc ,0x28b ,0x295 ,0x1b9 ,0x3e5 ,0x316 ,0x14e ,0x344 ,0x9f ,0x17e ,0x16f ,0x322 ,0x37d ,0x2f7 ,0x193 ,
0x1df ,0x29f ,0x177 ,0x359 ,0x1b6 ,0xad ,0x268 ,0x28a ,0x242 ,0x298 ,0x33b ,0x9b ,0x3d7 ,0x389 ,0xae ,0x275 ,0x2ec ,0x32e ,0x389 ,0x3c2 ,0x12c ,0x16f ,0x1e2 ,0x207 ,0x3d7 ,0x231 ,0x3a6 ,0xc8 ,0x167 ,0x3a7 ,0x2ca ,0x109 ,0x189 ,0x3d4 ,0xa0 ,0xd2 ,0x11d ,0x35d ,0x2fc ,0x26f ,0x2df ,0x3e1 ,0x3c9 ,0x143 ,0x1f4 ,0x3df ,0x350 ,0xe3 ,0x313 ,0x3d1 ,0xf0 ,0x273 ,0x149 ,0x251 ,0x1ef ,0x23f ,0x3a2 ,0x2a0 ,0x211 ,0x1d3 ,0x143 ,0x373 ,0x13f ,0x1c1 ,
0x3cc ,0x2ba ,0x168 ,0x94 ,0x304 ,0x25b ,0x85 ,0x34f ,0x3ce ,0x2d5 ,0x2dc ,0x2ba ,0x202 ,0x282 ,0x1cb ,0x270 ,0x243 ,0xc7 ,0x203 ,0x2c4 ,0x8f ,0x220 ,0x354 ,0xcf ,0x249 ,0x371 ,0x2ae ,0x252 ,0xaf ,0x2fb ,0x187 ,0x9d ,0x123 ,0x2d2 ,0x2cb ,0x189 ,0x35b ,0x316 ,0x18e ,0x12e ,0x14d ,0x28c ,0x34b ,0x243 ,0x1f5 ,0x19d ,0x102 ,0x323 ,0x184 ,0xbe ,0x2d9 ,0x17e ,0x12b ,0x20c ,0x237 ,0x355 ,0xde ,0x159 ,0x1d8 ,0x3cb ,0xfc ,0xc9 ,0x166 ,0x2cb ,
0x164 ,0x100 ,0x3e0 ,0x34d ,0x18d ,0x132 ,0x1bb ,0x1c3 ,0x2ba ,0x338 ,0x23f ,0x24b ,0x287 ,0xf2 ,0xcc ,0x198 ,0x1b2 ,0xb4 ,0xe9 ,0x365 ,0x1d6 ,0x279 ,0x341 ,0xf4 ,0x197 ,0xfd ,0xc9 ,0x330 ,0x182 ,0x2e9 ,0x2ca ,0x317 ,0x303 ,0x2cc ,0x26e ,0x140 ,0x144 ,0xb9 ,0x25b ,0x317 ,0x3b7 ,0x360 ,0x3e8 ,0x20d ,0x3b8 ,0x32b ,0xc6 ,0x108 ,0x380 ,0x1a6 ,0x3d0 ,0x18f ,0x1f7 ,0x3bd ,0x25b ,0x25e ,0x1e5 ,0x3aa ,0x199 ,0x196 ,0x138 ,0x3e5 ,0x2a2 ,0x10f ,
0x2e8 ,0x31d ,0x16a ,0x2c2 ,0x8c ,0x33c ,0x198 ,0x269 ,0x3cb ,0xac ,0x17d ,0x3d4 ,0x215 ,0x242 ,0x392 ,0x333 ,0x1b1 ,0x1f1 ,0x306 ,0x26d ,0xfc ,0x98 ,0x3ad ,0x2f9 ,0x335 ,0x1bf ,0x328 ,0x281 ,0x20b ,0xb0 ,0x1be ,0x1b6 ,0x2f1 ,0x110 ,0xdf ,0xe7 ,0x10e ,0x258 ,0x162 ,0x1b0 ,0x31f ,0x365 ,0x14b ,0x268 ,0x1ee ,0x2b6 ,0x13b ,0x284 ,0x1c8 ,0x27c ,0x3ab ,0x27c ,0x14a ,0x378 ,0x2f1 ,0x1e3 ,0x253 ,0x277 ,0xdd ,0x323 ,0x2f9 ,0x306 ,0x34d ,0x98 ,
0x358 ,0xae ,0x188 ,0x135 ,0x271 ,0x7e ,0x1c0 ,0x118 ,0x146 ,0x337 ,0x2b5 ,0xeb ,0x7e ,0x212 ,0x3a8 ,0x190 ,0x30c ,0x378 ,0x21a ,0x21d ,0xc2 ,0x89 ,0x1c7 ,0x1ea ,0x30b ,0x1a7 ,0x1b1 ,0x2a3 ,0xce ,0x339 ,0x2f1 ,0xd6 ,0x207 ,0x1b8 ,0x1f7 ,0x3a1 ,0x294 ,0x286 ,0x1c5 ,0x2b0 ,0x104 ,0x1c3 ,0x153 ,0x2d6 ,0x2de ,0x33c ,0x302 ,0x1cb ,0x12d ,0x37d ,0x242 ,0x83 ,0x1f6 ,0x386 ,0x1af ,0x2c3 ,0x249 ,0x91 ,0xda ,0x3c6 ,0x17d ,0x3c5 ,0x296 ,0x23c ,
0x2b2 ,0xe6 ,0x1c7 ,0x21a ,0x130 ,0x298 ,0x112 ,0x1a1 ,0xac ,0x114 ,0x295 ,0xa5 ,0x2c8 ,0x265 ,0x1a4 ,0x38c ,0x1d5 ,0x1f2 ,0x1f7 ,0xc1 ,0x212 ,0x37c ,0x274 ,0x3ae ,0x89 ,0x17b ,0x372 ,0x271 ,0x80 ,0x369 ,0x166 ,0x3ae ,0x106 ,0xba ,0x17a ,0x306 ,0x369 ,0xdc ,0x3c5 ,0x1fe ,0x23e ,0x326 ,0x11b ,0x3a5 ,0x2a1 ,0x113 ,0x366 ,0x185 ,0x39f ,0x118 ,0x36b ,0x3b3 ,0x8c ,0x14c ,0x318 ,0x33d ,0x26e ,0xad ,0x1a3 ,0x1f8 ,0x26c ,0x3c1 ,0x1da ,0x180 ,
0x1d4 ,0x24b ,0x213 ,0x130 ,0xc4 ,0x220 ,0x318 ,0x190 ,0x3db ,0x1a8 ,0x3c8 ,0x12a ,0x2b2 ,0x31a ,0x225 ,0x2f2 ,0x306 ,0x36e ,0xbe ,0x3db ,0xb4 ,0x2da ,0x1d2 ,0x357 ,0x1c6 ,0x2aa ,0x85 ,0x35c ,0xf9 ,0x193 ,0xee ,0x2a9 ,0x32e ,0xda ,0x2bf ,0x154 ,0x1df ,0x175 ,0x1f8 ,0x115 ,0x18d ,0x1f7 ,0x1b8 ,0xbb ,0x21e ,0x2af ,0x2d6 ,0x344 ,0x124 ,0x10e ,0x3a7 ,0x3b6 ,0x173 ,0x1af ,0x268 ,0x2b6 ,0x21b ,0x3b6 ,0x336 ,0x228 ,0xba ,0x27f ,0x258 ,0x3d3 ,
0x35b ,0x2bf ,0x1ff ,0x2c3 ,0x277 ,0x268 ,0x38b ,0x10b ,0x1f3 ,0xea ,0x2e9 ,0x191 ,0x14c ,0x18b ,0xda ,0x83 ,0x20e ,0x12e ,0x3a7 ,0x12f ,0x3c7 ,0x97 ,0x1f4 ,0x20c ,0x303 ,0x36a ,0xbb ,0x96 ,0x200 ,0x328 ,0x2fe ,0x130 ,0x111 ,0x217 ,0x1c4 ,0x216 ,0x7d ,0x236 ,0xb0 ,0xcd ,0x8e ,0x258 ,0x308 ,0x101 ,0x14d ,0x15a ,0x3be ,0xa5 ,0x1ff ,0xea ,0x2fb ,0x321 ,0x3de ,0x1c7 ,0x1f3 ,0x27c ,0x174 ,0x1be ,0x184 ,0x353 ,0xf2 ,0x1e7 ,0x292 ,0xdc ,
0xe1 ,0xe5 ,0x3dd ,0x29e ,0xd7 ,0x192 ,0x34c ,0x191 ,0x1e2 ,0x1ac ,0x105 ,0x37f ,0x2dc ,0x297 ,0x20c ,0x319 ,0x233 ,0x14c ,0x282 ,0x3c1 ,0x11c ,0x3d9 ,0x3ce ,0x295 ,0x30a ,0x354 ,0x200 ,0x128 ,0x1f1 ,0xca ,0x304 ,0x39a ,0x100 ,0x319 ,0x1f4 ,0x1b4 ,0x2cb ,0x37d ,0xba ,0x382 ,0x2ff ,0x1e2 ,0x1ff ,0x369 ,0x39f ,0x170 ,0xab ,0x1e1 ,0x2e9 ,0x399 ,0x315 ,0x3be ,0x25f ,0x26b ,0x2cd ,0x248 ,0x1b2 ,0x398 ,0x23c ,0x330 ,0x30c ,0x154 ,0x2dd ,0x258 ,
0x3e2 ,0xcc ,0x219 ,0x312 ,0x1b0 ,0x215 ,0x1c3 ,0x1b6 ,0x2e7 ,0x1a1 ,0x126 ,0x30f ,0x223 ,0x23b ,0x117 ,0xa9 ,0x220 ,0x123 ,0x147 ,0x2c8 ,0x277 ,0x2b4 ,0x9a ,0x11c ,0x29c ,0x26b ,0x127 ,0x109 ,0x1e5 ,0x1d7 ,0xcb ,0x344 ,0x2f1 ,0x83 ,0x3b2 ,0x9e ,0x1c3 ,0x179 ,0x13f ,0x3e2 ,0xc8 ,0x18b ,0x350 ,0x269 ,0x116 ,0x1eb ,0x20c ,0x182 ,0x181 ,0x299 ,0x28a ,0x1c2 ,0x186 ,0xd0 ,0x1cf ,0x3de ,0x214 ,0x1db ,0x210 ,0x14a ,0x2b4 ,0x2c4 ,0x20d ,0x2c5 ,
0x3c2 ,0x210 ,0x109 ,0x2de ,0x278 ,0x28d ,0x2ff ,0x396 ,0x3b3 ,0x2db ,0x2e1 ,0xf6 ,0x3e4 ,0xa0 ,0x3d6 ,0x185 ,0x145 ,0x2f1 ,0x1ef ,0x230 ,0x131 ,0x256 ,0x2fd ,0x28b ,0x3d0 ,0xb9 ,0x33e ,0x229 ,0x315 ,0x308 ,0x131 ,0xf1 ,0x345 ,0x198 ,0x1bd ,0x2f0 ,0x8e ,0x2ee ,0x38a ,0x35a ,0x197 ,0x2f3 ,0x84 ,0x1bf ,0x3df ,0x174 ,0x1bd ,0x2e2 ,0x1b7 ,0x1c4 ,0x324 ,0xf6 ,0x29c ,0x2a1 ,0x1c3 ,0xbd ,0x103 ,0x2d4 ,0x361 ,0xb3 ,0x379 ,0x1f0 ,0x25e ,0x211 ,
0x1b7 ,0x107 ,0x281 ,0x33b ,0x3b3 ,0x12c ,0x1fd ,0x376 ,0x18d ,0x117 ,0x8d ,0x2ab ,0x349 ,0x351 ,0xbe ,0x3e7 ,0x3cb ,0x35c ,0x33e ,0x334 ,0x10d ,0x36a ,0x21a ,0x195 ,0x1db ,0x1b6 ,0x2e5 ,0x9a ,0x331 ,0x159 ,0x2ca ,0x14a ,0x300 ,0x399 ,0x2c4 ,0x289 ,0x81 ,0x3c9 ,0x30f ,0x124 ,0xb9 ,0x386 ,0x17d ,0x33f ,0x1b1 ,0xf4 ,0x3ad ,0x334 ,0xb2 ,0x114 ,0x1f6 ,0x1eb ,0x19e ,0xcb ,0x21e ,0x26f ,0x207 ,0x137 ,0xb2 ,0xb0 ,0x264 ,0x21c ,0x15f ,0x3d5 ,
0x3b2 ,0x346 ,0x1f9 ,0x3de ,0x1ea ,0x28a ,0x1db ,0x3b6 ,0x33b ,0x1a6 ,0x268 ,0x213 ,0x101 ,0x249 ,0x21f ,0x302 ,0x2b9 ,0x1ca ,0x2f5 ,0x3ad ,0x9b ,0x367 ,0x39a ,0x97 ,0x1c5 ,0x30b ,0xfc ,0x257 ,0x204 ,0x2d0 ,0xad ,0x282 ,0x2f6 ,0x97 ,0x159 ,0x14b ,0x143 ,0x366 ,0x324 ,0x383 ,0x2e3 ,0x24a ,0x382 ,0x28d ,0x29a ,0x127 ,0x3ce ,0x3af ,0x2a9 ,0x117 ,0x397 ,0x3c1 ,0xdb ,0x142 ,0x130 ,0x29a ,0x2f2 ,0x2b7 ,0x324 ,0x1fb ,0x204 ,0x2ec ,0x301 ,0x195 ,
0x15d ,0x3ba ,0x9e ,0x308 ,0x23c ,0x162 ,0x1aa ,0x213 ,0xf5 ,0x274 ,0x20a ,0xb1 ,0x356 ,0x282 ,0x344 ,0x1cc ,0x2a8 ,0xf1 ,0x282 ,0x18b ,0x2db ,0x2b4 ,0x93 ,0x2ce ,0x32f ,0xe5 ,0x2fa ,0x346 ,0x270 ,0x16e ,0x3e1 ,0x349 ,0x371 ,0x33b ,0x20c ,0x2f6 ,0x37f ,0x1f1 ,0x2fc ,0x187 ,0x1f5 ,0x3bd ,0x14f ,0x364 ,0x3bc ,0xe7 ,0x82 ,0x2d9 ,0x1a5 ,0xaf ,0xfc ,0xec ,0x301 ,0x13f ,0xb3 ,0x3ce ,0x130 ,0x188 ,0x299 ,0x126 ,0x1a0 ,0x23d ,0x88 ,0x233 ,
0x283 ,0x155 ,0x22e ,0x241 ,0x2cf ,0x17c ,0x16c ,0x107 ,0x366 ,0x303 ,0x1c6 ,0x21c ,0xc1 ,0x261 ,0x22d ,0x273 ,0x376 ,0x3c8 ,0x27b ,0xd4 ,0x2e4 ,0x1db ,0x26d ,0x2f1 ,0x2fd ,0x3e2 ,0x2e7 ,0xce ,0x3ac ,0x167 ,0x2fe ,0x17d ,0x241 ,0x187 ,0xa4 ,0x343 ,0x9c ,0xd2 ,0x24b ,0xb5 ,0x1b2 ,0x15f ,0x2bd ,0xdf ,0x387 ,0x206 ,0x371 ,0x10e ,0x335 ,0x29b ,0x3b9 ,0xa9 ,0x18c ,0x25f ,0x1ab ,0x131 ,0x1ae ,0x196 ,0x366 ,0x1c8 ,0x13c ,0x212 ,0x1ae ,0x1ba ,
0xa7 ,0x1b9 ,0x307 ,0xd9 ,0x3dc ,0x351 ,0x374 ,0x2a6 ,0x370 ,0x1bf ,0x96 ,0x21a ,0x11c ,0x38f ,0x397 ,0x2f3 ,0x126 ,0x2f4 ,0x35b ,0x346 ,0x2a8 ,0x337 ,0x36f ,0x180 ,0x2d0 ,0x10f ,0x178 ,0x15e ,0x3b8 ,0x20e ,0x38f ,0x2e9 ,0x1f3 ,0x223 ,0x18a ,0x117 ,0x14d ,0x3a5 ,0x293 ,0x341 ,0x29a ,0x1ab ,0x254 ,0xd3 ,0x174 ,0x1ed ,0x172 ,0x206 ,0x1d0 ,0x178 ,0xec ,0x231 ,0x31b ,0x235 ,0x116 ,0x35b ,0x277 ,0x38f ,0x2e5 ,0x20d ,0x3d4 ,0x21d ,0x113 ,0x186 ,
0x2a3 ,0x1d5 ,0x197 ,0x2d9 ,0x2e8 ,0x2f5 ,0x2bf ,0x2f9 ,0x155 ,0x1a5 ,0x2be ,0x8c ,0xc0 ,0xc3 ,0x27e ,0x2d3 ,0x35e ,0x152 ,0x308 ,0x396 ,0x28c ,0x370 ,0x2b0 ,0x17a ,0x260 ,0xed ,0x287 ,0x3c4 ,0x2e2 ,0x3c7 ,0xff ,0x338 ,0x29a ,0x1c7 ,0xa5 ,0x2d6 ,0x1cc ,0x29a ,0x260 ,0x1db ,0x3d8 ,0x227 ,0x2ed ,0x1e5 ,0x2ee ,0x217 ,0x212 ,0x207 ,0x32b ,0xad ,0x3af ,0x10d ,0x2b5 ,0x1e3 ,0x37d ,0x289 ,0x2a6 ,0x2b5 ,0x2a7 ,0x135 ,0x101 ,0x1d1 ,0x27c ,0x21b ,
0x35f ,0x2ba ,0x2a5 ,0x354 ,0x321 ,0xea ,0x371 ,0x144 ,0x1d5 ,0x1a8 ,0x2ca ,0x39c ,0x3da ,0x2cf ,0x284 ,0x140 ,0x35d ,0x2fa ,0x3bc ,0x208 ,0x352 ,0xff ,0x2e5 ,0x2fe ,0xbb ,0x22f ,0x3b1 ,0x2c6 ,0x25f ,0x32d ,0x18d ,0x28c ,0x3d4 ,0x2b4 ,0x2a2 ,0x126 ,0x337 ,0x1ad ,0x320 ,0x2a6 ,0xa0 ,0xe2 ,0x238 ,0x8c ,0x266 ,0x193 ,0xa6 ,0x164 ,0x30d ,0x122 ,0x21c ,0x3e3 ,0xf0 ,0x109 ,0x2b2 ,0x99 ,0x93 ,0x1f9 ,0x264 ,0x14e ,0x318 ,0x251 ,0x105 ,0x359 ,
0xb0 ,0x17b ,0x1ab ,0x25c ,0x3ab ,0x1ab ,0x260 ,0x11b ,0x14e ,0x24e ,0x3b1 ,0x1fc ,0x33a ,0x2b6 ,0x2ee ,0x218 ,0x2de ,0x92 ,0x1bf ,0x3b9 ,0x334 ,0xe9 ,0x35e ,0x226 ,0x148 ,0x32d ,0x26a ,0x99 ,0x99 ,0x13a ,0x2fe ,0x1b2 ,0x17f ,0x2d3 ,0x3c7 ,0x3c2 ,0x35f ,0x134 ,0xa4 ,0x3e1 ,0x365 ,0x34f ,0x18c ,0x105 ,0x346 ,0x331 ,0x248 ,0x205 ,0x11e ,0x32c ,0x138 ,0x2b6 ,0xfa ,0x120 ,0xe7 ,0xe5 ,0x243 ,0x375 ,0xe8 ,0xea ,0x1e4 ,0x316 ,0x1f6 ,0x3a0 ,
0x1b5 ,0x1b1 ,0x175 ,0x301 ,0x314 ,0x28f ,0x254 ,0x307 ,0x17d ,0x97 ,0x2f1 ,0x113 ,0x2cf ,0x182 ,0x1cf ,0x16b ,0x17e ,0x2f4 ,0x16f ,0x3d2 ,0x192 ,0x140 ,0x187 ,0x237 ,0x30d ,0x347 ,0x2c6 ,0x15e ,0xbd ,0x28e ,0xe4 ,0x210 ,0x311 ,0x25e ,0x1fb ,0x13b ,0x8c ,0x2a9 ,0x30c ,0x167 ,0x156 ,0x3a0 ,0x29f ,0x332 ,0x39d ,0x122 ,0x14a ,0x99 ,0x131 ,0x35c ,0xc1 ,0x394 ,0x2e5 ,0x186 ,0x290 ,0x15b ,0x3c3 ,0x26f ,0x21c ,0x27c ,0x228 ,0x169 ,0x19f ,0xdb ,
0x2e5 ,0x125 ,0x1e7 ,0x81 ,0x278 ,0x3a8 ,0x2d9 ,0x206 ,0x381 ,0x360 ,0x278 ,0x103 ,0x314 ,0x35f ,0xd7 ,0xc2 ,0x3bf ,0xa0 ,0x240 ,0x1e3 ,0x16e ,0x34e ,0x323 ,0x199 ,0x184 ,0x32a ,0x3a1 ,0x174 ,0x3ca ,0x3e1 ,0x163 ,0x295 ,0x38c ,0x138 ,0x2c4 ,0xdd ,0x268 ,0x9d ,0x2fe ,0x18d ,0x2f2 ,0x22a ,0x276 ,0x1cd ,0x298 ,0x379 ,0x253 ,0x1c6 ,0x27e ,0x25e ,0x2fd ,0x9c ,0x37d ,0x187 ,0x2e6 ,0x378 ,0x34b ,0x126 ,0x2c0 ,0x273 ,0x27b ,0x329 ,0x1e5 ,0xa5 ,
0x229 ,0x357 ,0x308 ,0x1c1 ,0x309 ,0x255 ,0x215 ,0x38f ,0x184 ,0xdc ,0x255 ,0x93 ,0x130 ,0xcb ,0x235 ,0xc2 ,0x1f1 ,0x1df ,0x36c ,0x23b ,0xbf ,0x3b9 ,0xe6 ,0xd5 ,0x1c4 ,0x1f3 ,0x151 ,0x35f ,0x1f6 ,0x222 ,0x261 ,0x348 ,0x263 ,0x35f ,0xca ,0x250 ,0xb2 ,0x347 ,0x160 ,0x2b9 ,0x32b ,0xa1 ,0xd5 ,0x130 ,0x2ac ,0xa0 ,0x266 ,0x370 ,0x2ea ,0x1a9 ,0x1a6 ,0xfb ,0x2f4 ,0x201 ,0x2c1 ,0x179 ,0x166 ,0xe8 ,0x2fa ,0x34f ,0x2f6 ,0x28c ,0x1d8 ,0x2a1 ,
0x368 ,0x27e ,0x37d ,0x1b0 ,0x2cf ,0x386 ,0x10c ,0x8f ,0x371 ,0x24e ,0x81 ,0x323 ,0x35e ,0x31b ,0x321 ,0x20d ,0x2da ,0x339 ,0x200 ,0x31e ,0x3af ,0x34a ,0x7d ,0x24d ,0x250 ,0x171 ,0x3c3 ,0x343 ,0x2a8 ,0x261 ,0x182 ,0x2a1 ,0x169 ,0x2df ,0x159 ,0x12f ,0x37c ,0x210 ,0x210 ,0x2a3 ,0x1bd ,0x133 ,0x7f ,0x37b ,0x318 ,0x2a3 ,0x228 ,0x271 ,0xbc ,0x2e8 ,0x37a ,0x2b1 ,0x26f ,0x1f8 ,0x12c ,0x1a0 ,0x396 ,0x27d ,0x252 ,0x1ab ,0x399 ,0xbc ,0x142 ,0x2cf ,
0x9e ,0xb4 ,0x241 ,0x24b ,0x35b ,0x31a ,0x190 ,0x173 ,0x310 ,0x1c3 ,0x2a4 ,0xd8 ,0x306 ,0x2bd ,0x1aa ,0xf1 ,0x39a ,0xbd ,0x222 ,0x220 ,0x35c ,0x210 ,0x34b ,0xef ,0xce ,0x1b9 ,0x10b ,0x250 ,0x32e ,0x2f0 ,0x11e ,0x3c6 ,0xd8 ,0x1ac ,0x29f ,0x159 ,0x1be ,0x39f ,0xe4 ,0x154 ,0x28e ,0x305 ,0x3ac ,0x331 ,0xef ,0x215 ,0x1d8 ,0x320 ,0x374 ,0x2da ,0x13a ,0x151 ,0x177 ,0x214 ,0x274 ,0x2bc ,0x289 ,0xb7 ,0x3a6 ,0x31e ,0x14e ,0x19d ,0x1ab ,0x1e3 ,
0xed ,0x1bd ,0x1b8 ,0xc8 ,0xd6 ,0x2af ,0x179 ,0x152 ,0x98 ,0x13c ,0x1ba ,0x118 ,0x3a9 ,0x2cf ,0x1f2 ,0xf6 ,0x30d ,0x9a ,0x290 ,0x209 ,0x286 ,0x31f ,0x129 ,0x8c ,0xfa ,0x1d4 ,0x37a ,0x39f ,0xe5 ,0x214 ,0x222 ,0x344 ,0x3c6 ,0x103 ,0x32e ,0x256 ,0x10e ,0x383 ,0x114 ,0x1f6 ,0x1e0 ,0x91 ,0x274 ,0x3da ,0x328 ,0x2ec ,0x120 ,0x18b ,0x116 ,0x216 ,0x2d3 ,0x17b ,0xbe ,0x383 ,0x2b0 ,0x1ae ,0x228 ,0x127 ,0x1ea ,0x3b7 ,0x218 ,0x2e8 ,0x2ac ,0x1ee ,
0x375 ,0x254 ,0x2de ,0x3cf ,0x298 ,0x2d6 ,0x3c9 ,0x11d ,0x396 ,0x2a6 ,0xfa ,0x25b ,0x37d ,0x172 ,0x3e1 ,0x2c2 ,0xb5 ,0x22e ,0x157 ,0xe4 ,0xcf ,0x3aa ,0xdc ,0x29c ,0x13f ,0x214 ,0x255 ,0x367 ,0x23e ,0x20c ,0x2b2 ,0x82 ,0x382 ,0x206 ,0x2f2 ,0x30e ,0x1ed ,0x117 ,0x1ff ,0x25b ,0x1d5 ,0x1b7 ,0x353 ,0x24b ,0x1ab ,0x22e ,0x2a6 ,0x163 ,0x2f3 ,0x1f1 ,0x10d ,0x2d4 ,0x1e6 ,0x9f ,0xe2 ,0x205 ,0x2c6 ,0x1f9 ,0x20c ,0xfc ,0x1e8 ,0x211 ,0x392 ,0x322 ,
0x30c ,0x1f4 ,0x23d ,0x38a ,0x17b ,0x30a ,0xd1 ,0x2f2 ,0xf1 ,0x380 ,0x32b ,0x138 ,0x139 ,0x2fe ,0x1d1 ,0x2a8 ,0x2c4 ,0x15a ,0xa9 ,0x3c2 ,0x113 ,0x1b4 ,0x268 ,0x27f ,0x249 ,0x1d3 ,0x19b ,0x3af ,0x26e ,0x189 ,0x1cd ,0x3c3 ,0xa0 ,0x1d9 ,0x122 ,0xdc ,0x29b ,0x105 ,0x3e8 ,0x91 ,0x2d3 ,0x150 ,0x203 ,0x36e ,0x1de ,0x8f ,0x255 ,0x382 ,0xb0 ,0x200 ,0x2b7 ,0x32a ,0xe7 ,0x111 ,0x287 ,0x330 ,0x3a9 ,0x3a2 ,0x1ce ,0x18b ,0x2fa ,0x29f ,0x345 ,0xa1 ,
0x18f ,0x37a ,0x1d9 ,0x3b3 ,0x2f8 ,0x280 ,0x152 ,0x226 ,0x3d5 ,0x37f ,0x2ac ,0xa0 ,0x127 ,0x2f6 ,0x81 ,0x228 ,0x240 ,0xb3 ,0x3e6 ,0x135 ,0x2f4 ,0x2bf ,0x3d9 ,0x3d9 ,0x269 ,0x22a ,0x3d7 ,0x397 ,0x188 ,0x372 ,0x2c2 ,0xdc ,0x2d1 ,0x320 ,0xde ,0x3be ,0xcd ,0x292 ,0x29c ,0x2fa ,0x28f ,0x127 ,0x8c ,0x23b ,0x2ba ,0x1a0 ,0x281 ,0x363 ,0x35b ,0x9b ,0x7d ,0x1a6 ,0x222 ,0x2b8 ,0xef ,0x27f ,0x3da ,0x192 ,0x3bc ,0x366 ,0xe7 ,0x267 ,0x2bb ,0x111 ,
0x1ff ,0x214 ,0x86 ,0x11a ,0xa7 ,0x9f ,0xce ,0x372 ,0x2e9 ,0x25c ,0x286 ,0xb8 ,0x191 ,0x10c ,0x1f6 ,0x18d ,0x38f ,0x203 ,0x2f8 ,0x3aa ,0x298 ,0x292 ,0x3af ,0x1c7 ,0x28b ,0x32b ,0x121 ,0x1af ,0x235 ,0x242 ,0x28b ,0x2ce ,0xd0 ,0x38e ,0x312 ,0xfb ,0xa1 ,0xad ,0x2a1 ,0x28a ,0x159 ,0x16e ,0xaa ,0xe6 ,0x3e3 ,0x234 ,0x12e ,0x14e ,0x100 ,0x24a ,0xc7 ,0x307 ,0x32d ,0x33b ,0x2eb ,0x1fd ,0xfa ,0x216 ,0x10d ,0x378 ,0x368 ,0x2ba ,0x9b ,0x2e8 ,
0x86 ,0xca ,0x2b8 ,0xde ,0x34d ,0x33e ,0x179 ,0x127 ,0x294 ,0xea ,0x9a ,0x3d2 ,0x112 ,0x162 ,0x31d ,0x16a ,0x2ad ,0xfa ,0x121 ,0x32f ,0x240 ,0xf2 ,0x2b7 ,0x30f ,0x1f3 ,0x120 ,0x3cc ,0x93 ,0x30b ,0x3c7 ,0x2a8 ,0x302 ,0x22b ,0x146 ,0x3a9 ,0x395 ,0x281 ,0x3e0 ,0x358 ,0x371 ,0x1b3 ,0x1d1 ,0x1f9 ,0x3a2 ,0x274 ,0x2e1 ,0x1a4 ,0x2cf ,0x1b9 ,0x239 ,0x174 ,0x3c9 ,0x1e4 ,0x389 ,0x1b7 ,0x36e ,0xea ,0x39e ,0xae ,0x3aa ,0x17e ,0x150 ,0x283 ,0x317 ,
0x140 ,0x32e ,0x3c4 ,0x368 ,0x8d ,0xea ,0x1a6 ,0x243 ,0x36f ,0x3ae ,0xc6 ,0x39e ,0x36e ,0x24b ,0x132 ,0x3dd ,0xbb ,0x2d0 ,0x109 ,0x2ba ,0x2f0 ,0x202 ,0x177 ,0x37f ,0x169 ,0x282 ,0x37e ,0x88 ,0x37d ,0x117 ,0x393 ,0x113 ,0x1f0 ,0x333 ,0x2ba ,0x17c ,0x161 ,0x3bc ,0x253 ,0x257 ,0x357 ,0x316 ,0x1a1 ,0xcc ,0x144 ,0x112 ,0x373 ,0x208 ,0x1cb ,0x339 ,0x2bc ,0x13e ,0x23c ,0x165 ,0x38d ,0xbb ,0x27f ,0xa2 ,0xe3 ,0x2af ,0x277 ,0x2a2 ,0x113 ,0x12e ,
0x12a ,0x2a2 ,0x284 ,0x83 ,0x194 ,0x13d ,0x95 ,0x2d4 ,0x273 ,0x20a ,0x2c7 ,0x201 ,0x2c7 ,0x350 ,0x163 ,0x35b ,0x1e0 ,0x135 ,0x201 ,0xdd ,0x3b8 ,0x20c ,0x285 ,0x3c3 ,0x138 ,0x218 ,0x1da ,0x1a8 ,0x371 ,0x239 ,0xe9 ,0x1a4 ,0x188 ,0x21c ,0x360 ,0xad ,0xef ,0xd8 ,0xa7 ,0x1ac ,0x31f ,0x28a ,0x2cd ,0x18c ,0x225 ,0x37d ,0x2c0 ,0x2d7 ,0x2fe ,0x114 ,0x333 ,0x119 ,0x275 ,0x1fd ,0x13a ,0x2cf ,0x250 ,0x238 ,0x20d ,0x84 ,0x1ff ,0x156 ,0x107 ,0x119 ,
0x325 ,0x140 ,0x132 ,0x211 ,0x10d ,0x262 ,0x35f ,0x123 ,0x93 ,0x3e1 ,0x89 ,0xcb ,0x294 ,0xad ,0x1ea ,0x2d7 ,0x313 ,0x242 ,0x2a7 ,0x85 ,0x103 ,0x358 ,0x13d ,0x2ed ,0x340 ,0x3d0 ,0x315 ,0xdf ,0x142 ,0xb6 ,0x374 ,0xe4 ,0x89 ,0x22f ,0x2c9 ,0x2d0 ,0x22a ,0xe2 ,0xb0 ,0xaf ,0x33e ,0x2a7 ,0x2e9 ,0x2b0 ,0x301 ,0xb3 ,0x36c ,0x3cf ,0x2d7 ,0x1ce ,0x2c2 ,0x332 ,0x3c0 ,0x219 ,0xdc ,0x3bd ,0x1da ,0xc7 ,0x2dc ,0x1f3 ,0x33b ,0x25b ,0x14f ,0x3b5 ,
0xa8 ,0x231 ,0x149 ,0x392 ,0x20f ,0x12f ,0x394 ,0x214 ,0x352 ,0x310 ,0x1ee ,0x1b8 ,0x273 ,0x30f ,0x362 ,0x2b0 ,0x103 ,0x15e ,0x31a ,0x3dc ,0x298 ,0x3cc ,0x1c4 ,0x14b ,0x2e1 ,0x172 ,0x142 ,0xbf ,0x252 ,0x2dd ,0x160 ,0x19d ,0xee ,0x35b ,0xa9 ,0x10c ,0x9d ,0x304 ,0x1aa ,0x2f7 ,0x89 ,0x3bd ,0x3be ,0x148 ,0x30e ,0x14b ,0x228 ,0x232 ,0x3bf ,0x197 ,0x179 ,0x157 ,0x27a ,0x36a ,0x2bd ,0x1b8 ,0x1e2 ,0x380 ,0x39b ,0x29a ,0x277 ,0x13f ,0x11a ,0x270 ,
0xb4 ,0x384 ,0x1c0 ,0x108 ,0x169 ,0x88 ,0x289 ,0xbf ,0xad ,0x265 ,0x3c2 ,0xf6 ,0x32a ,0x2bd ,0x9e ,0x377 ,0x126 ,0x113 ,0x3df ,0x396 ,0x35d ,0xc6 ,0xdb ,0x2f5 ,0x2ef ,0xc2 ,0x170 ,0x206 ,0xc9 ,0x14f ,0x2e3 ,0x2e5 ,0x33a ,0x124 ,0x29e ,0x385 ,0x18f ,0x308 ,0x1f8 ,0x356 ,0x357 ,0x33f ,0x14e ,0x218 ,0x141 ,0x312 ,0x318 ,0xab ,0x34f ,0x103 ,0x1be ,0x39e ,0x357 ,0x3c0 ,0xfb ,0x2a6 ,0xe4 ,0x3be ,0x395 ,0x108 ,0x2d2 ,0x3a7 ,0x251 ,0xa3 ,
0x1cf ,0x299 ,0x12a ,0x1da ,0x2a0 ,0x393 ,0x35c ,0x325 ,0x2c1 ,0x132 ,0x3a9 ,0x97 ,0x1d0 ,0x362 ,0x24e ,0x1d6 ,0x27f ,0x17a ,0x3d7 ,0x87 ,0x1f6 ,0x2f1 ,0x119 ,0x182 ,0x25a ,0x33e ,0x18f ,0x397 ,0x33c ,0x2ab ,0xb6 ,0xab ,0x3a5 ,0xc4 ,0x37d ,0x92 ,0x2f0 ,0x18b ,0x3bf ,0x2ba ,0x2b7 ,0x21d ,0x19e ,0x2ff ,0x1a4 ,0x219 ,0x2b3 ,0x330 ,0x3dc ,0x10c ,0x301 ,0x2a7 ,0x378 ,0x25d ,0x37e ,0x14a ,0x241 ,0x32c ,0x32b ,0x28e ,0x16b ,0x105 ,0x18a ,0x28f ,
0x143 ,0x3a7 ,0x398 ,0x1ff ,0x34c ,0x294 ,0x12c ,0xc2 ,0x2b4 ,0x1eb ,0x3bd ,0x3c6 ,0x304 ,0x1e0 ,0x1b7 ,0x378 ,0xea ,0x1cc ,0x12b ,0x3d7 ,0x343 ,0x28c ,0x219 ,0xc1 ,0x204 ,0x2ec ,0x3c3 ,0x3d9 ,0x378 ,0x19c ,0x332 ,0x2cb ,0x173 ,0x358 ,0x35e ,0x3df ,0x3c5 ,0x8f ,0x368 ,0x192 ,0x3b2 ,0x3de ,0x37a ,0x225 ,0x11d ,0x33c ,0x29d ,0x152 ,0x366 ,0x2ae ,0x291 ,0xff ,0x2eb ,0x28c ,0x3e0 ,0x377 ,0x129 ,0x2f7 ,0x2c5 ,0x210 ,0x2cc ,0x173 ,0x371 ,0x241 ,
0x157 ,0x311 ,0x3c0 ,0x271 ,0x31f ,0x29d ,0x80 ,0x266 ,0xd2 ,0x160 ,0x9b ,0x107 ,0x20f ,0xcb ,0xa8 ,0xf0 ,0x332 ,0x252 ,0x272 ,0xff ,0x34d ,0x2e6 ,0x13e ,0x262 ,0x1e9 ,0x20e ,0x309 ,0x210 ,0x380 ,0x114 ,0x3cb ,0x1c1 ,0x234 ,0x222 ,0x3e7 ,0xe4 ,0xa6 ,0x147 ,0x93 ,0x22e ,0x294 ,0x396 ,0x115 ,0x2b6 ,0x369 ,0x110 ,0x298 ,0x343 ,0x2cc ,0x1de ,0xdb ,0x313 ,0x251 ,0x3b3 ,0x290 ,0x1b1 ,0x29a ,0x334 ,0x1f7 ,0xf0 ,0xa5 ,0xa3 ,0x2ff ,0xc9 ,
0xae ,0x108 ,0x3a9 ,0x8b ,0x367 ,0x22a ,0xfe ,0x2d5 ,0x2c9 ,0x3ca ,0x1ae ,0x1d0 ,0x88 ,0xba ,0x2c2 ,0x130 ,0x303 ,0x1fe ,0x359 ,0x206 ,0x17a ,0x281 ,0x284 ,0x1b1 ,0x18c ,0x15f ,0x3c0 ,0x289 ,0x282 ,0x23e ,0x132 ,0x2fc ,0x39e ,0xa5 ,0x385 ,0x3de ,0x35a ,0x36f ,0x1b0 ,0xae ,0x248 ,0x1bd ,0xf3 ,0x21a ,0x1e1 ,0x16a ,0xa7 ,0xfa ,0x331 ,0x340 ,0x8b ,0x192 ,0x26a ,0xbb ,0x248 ,0x1a7 ,0x1cf ,0x364 ,0x102 ,0x37c ,0x93 ,0x18b ,0x26c ,0x3b2 ,
0x1b2 ,0x187 ,0x2d5 ,0x142 ,0x1cd ,0xd5 ,0x2c5 ,0x246 ,0x2e7 ,0x88 ,0x203 ,0x3aa ,0x35c ,0x36f ,0x141 ,0x103 ,0x2ea ,0x377 ,0x20d ,0x172 ,0x2d6 ,0x140 ,0x15f ,0x21e ,0x336 ,0x198 ,0x155 ,0x9f ,0x32a ,0x3ae ,0x297 ,0x2e7 ,0x36f ,0x1a8 ,0x21a ,0x17f ,0x289 ,0xbf ,0x2d5 ,0x1be ,0x3e4 ,0x1b6 ,0xfd ,0x25d ,0x32e ,0x373 ,0x155 ,0x26c ,0x2cd ,0x23f ,0x119 ,0x12f ,0x1e5 ,0x3b8 ,0xd5 ,0x2ec ,0x2d0 ,0x185 ,0xf0 ,0x3bf ,0x37e ,0x317 ,0x1b3 ,0x3df ,
0x24a ,0x38e ,0x18b ,0xd8 ,0x336 ,0x3b5 ,0x172 ,0x37b ,0x3aa ,0x3c5 ,0x371 ,0x2ec ,0x300 ,0xd6 ,0x2a7 ,0x317 ,0x88 ,0x22c ,0x108 ,0x208 ,0x151 ,0x14e ,0x25c ,0x2e5 ,0x2bc ,0x263 ,0x197 ,0x2a3 ,0x2f5 ,0x2af ,0x30d ,0x20e ,0xee ,0x19a ,0x1b8 ,0x119 ,0x325 ,0x2e6 ,0x386 ,0x263 ,0x36e ,0x19c ,0x28f ,0x144 ,0x385 ,0x1db ,0xfd ,0x390 ,0x3aa ,0x396 ,0xc8 ,0x133 ,0xf6 ,0x22c ,0x125 ,0x206 ,0x2b8 ,0x2bf ,0xa8 ,0x3e1 ,0x15d ,0xd5 ,0x253 ,0x3c8 ,
0x10d ,0x32a ,0x314 ,0x15f ,0x282 ,0x2dd ,0xf9 ,0x238 ,0x130 ,0x175 ,0x374 ,0x3b7 ,0xbe ,0xa2 ,0x2a2 ,0xe9 ,0x1e7 ,0x1c8 ,0x132 ,0x37c ,0x251 ,0x25c ,0x33c ,0x3cf ,0x1b5 ,0x10c ,0x31a ,0x2dd ,0x204 ,0x294 ,0x337 ,0x3ca ,0x3a7 ,0x3a6 ,0x97 ,0x12b ,0x363 ,0x167 ,0x28e ,0x267 ,0x93 ,0x3a8 ,0x108 ,0x34c ,0x17c ,0x2f8 ,0x353 ,0x326 ,0x31a ,0x398 ,0x3b8 ,0x3c9 ,0xbe ,0x81 ,0x30a ,0x222 ,0x1ae ,0x3e0 ,0x305 ,0x2e8 ,0x2c7 ,0x333 ,0x290 ,0x1aa ,
0x130 ,0x27a ,0x86 ,0x3ad ,0x3e4 ,0x18e ,0x17c ,0x21b ,0x2cd ,0x2c4 ,0x23a ,0xe0 ,0x9e ,0x310 ,0x138 ,0x1e6 ,0x34a ,0x397 ,0x285 ,0x31f ,0x18c ,0x366 ,0x1d2 ,0x354 ,0x84 ,0x2bf ,0x254 ,0x1a7 ,0x324 ,0x2e0 ,0x161 ,0x29a ,0x2e7 ,0x20b ,0x191 ,0xcc ,0x143 ,0x319
]
892
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
