test(mlkem_top): KeyGen verified vs NIST KAT count=0..4

Parameterized end-to-end TB (tb_mlkem_kg_katN, +CASE=n) loads d/z/ek/dk from
per-case hex files. All 5 cases pass byte-exact:
  ek == KAT pk (800B), dk == KAT sk (1632B), ~21350 cyc each.
Five independent seeds exercise distinct rejection-sampling paths.
Vectors derived from kat_MLKEM_512.rsp with sk-layout sanity checks
(sk = dk_pke || ek || H(ek) || z).
This commit is contained in:
2026-06-28 02:23:18 +08:00
parent 9824ed8f2c
commit 42d3748ab6
21 changed files with 12242 additions and 0 deletions

View File

@@ -0,0 +1,72 @@
// tb_mlkem_kg_katN_xsim.v - ML-KEM-512 KeyGen vs NIST KAT, case selected by +CASE=n.
// Loads d, z, ek, dk from per-case hex files (no literals via text channel).
// d/z: single 256-bit word ($readmemh, byte0 in [7:0]).
// ek : 800 bytes (== KAT pk). dk: 1632 bytes (== KAT sk).
`timescale 1ns/1ps
module tb_mlkem_kg_katN_xsim;
reg clk=0, rst_n=0, start_i=0;
reg [255:0] d_i, z_i;
wire busy_o, done_o;
reg [3:0] dbg_slot_i=0; reg [7:0] dbg_idx_i=0; wire [11:0] dbg_coeff_o;
reg dbg_byte_sel_i=0; reg [9:0] dbg_byte_idx_i=0; wire [7:0] dbg_byte_o;
reg [11:0] dbg_dk_idx_i=0; wire [7:0] dbg_dk_o;
wire [255:0] dbg_rho_o, dbg_sigma_o;
mlkem_top #(.K(2)) dut (
.clk(clk), .rst_n(rst_n), .d_i(d_i), .z_i(z_i), .start_i(start_i),
.busy_o(busy_o), .done_o(done_o),
.dbg_slot_i(dbg_slot_i), .dbg_idx_i(dbg_idx_i), .dbg_coeff_o(dbg_coeff_o),
.dbg_byte_sel_i(dbg_byte_sel_i), .dbg_byte_idx_i(dbg_byte_idx_i), .dbg_byte_o(dbg_byte_o),
.dbg_dk_idx_i(dbg_dk_idx_i), .dbg_dk_o(dbg_dk_o),
.dbg_rho_o(dbg_rho_o), .dbg_sigma_o(dbg_sigma_o)
);
always #5 clk = ~clk;
reg [255:0] dmem [0:0];
reg [255:0] zmem [0:0];
reg [7:0] ek_gold [0:799];
reg [7:0] dk_gold [0:1631];
integer c, i, errors, casenum;
reg [8*64-1:0] dfile, zfile, ekfile, dkfile;
initial begin
if (!$value$plusargs("CASE=%d", casenum)) casenum = 0;
$sformat(dfile, "sync_rtl/top/TB/vectors/kat_c%0d_d.hex", casenum);
$sformat(zfile, "sync_rtl/top/TB/vectors/kat_c%0d_z.hex", casenum);
$sformat(ekfile, "sync_rtl/top/TB/vectors/kat_c%0d_ek.hex", casenum);
$sformat(dkfile, "sync_rtl/top/TB/vectors/kat_c%0d_dk.hex", casenum);
$readmemh(dfile, dmem);
$readmemh(zfile, zmem);
$readmemh(ekfile, ek_gold);
$readmemh(dkfile, dk_gold);
d_i = dmem[0];
z_i = zmem[0];
rst_n=0; repeat(4) @(posedge clk); rst_n=1; @(posedge clk);
start_i=1; @(posedge clk); start_i=0;
c=0; while(!done_o && c<600000) begin @(posedge clk); c=c+1; end
if(!done_o) begin $display("FAIL case %0d: timeout", casenum); $finish; end
$display("=== KAT case %0d: KeyGen done in %0d cyc ===", casenum, c);
errors = 0;
dbg_byte_sel_i = 1'b0;
for (i = 0; i < 800; i = i + 1) begin
dbg_byte_idx_i = i[9:0]; @(posedge clk); @(posedge clk);
if (dbg_byte_o !== ek_gold[i]) begin
if (errors < 8) $display(" EK[%0d] got=%02x exp=%02x", i, dbg_byte_o, ek_gold[i]);
errors = errors + 1;
end
end
for (i = 0; i < 1632; i = i + 1) begin
dbg_dk_idx_i = i[11:0]; @(posedge clk); @(posedge clk);
if (dbg_dk_o !== dk_gold[i]) begin
if (errors < 8) $display(" DK[%0d] got=%02x exp=%02x", i, dbg_dk_o, dk_gold[i]);
errors = errors + 1;
end
end
if (errors == 0) $display("CASE %0d PASS: ek==KAT.pk (800B), dk==KAT.sk (1632B)", casenum);
else $display("CASE %0d FAIL: %0d byte mismatches", casenum, errors);
$finish;
end
initial begin #40000000; $display("FAIL: global timeout"); $finish; end
endmodule

View File

@@ -0,0 +1 @@
2426f1941779574d3f1b163bd57f7e173e229e630ec7f7073bdf365137c4bb6d

File diff suppressed because it is too large Load Diff

View File

@@ -0,0 +1,800 @@
80
b7
01
00
83
1d
7e
e1
68
f4
73
92
48
31
19
f9
38
63
ec
b0
bc
60
53
12
d3
57
28
87
6b
00
f5
f5
7a
f4
c8
5e
da
97
28
1d
57
43
90
bc
72
56
19
36
68
dc
98
62
53
54
ab
52
b9
bc
e7
81
c5
77
1c
c2
60
99
f6
fb
ac
be
e1
78
4d
19
48
87
73
1f
09
7c
87
e0
82
cb
ea
c5
7d
30
b7
b9
a2
93
87
2c
84
14
66
f2
24
4c
c6
5f
f4
ba
65
3d
67
51
df
a2
20
51
d5
53
36
99
42
c3
1c
29
f9
13
07
af
57
32
92
d6
97
a8
c3
16
12
e0
7b
53
35
cf
08
32
9f
d2
46
bf
2a
32
20
0a
8c
b0
c4
b0
3b
9d
09
c5
ba
1c
39
19
53
9e
92
29
c6
96
92
43
48
28
2f
69
6b
15
25
e5
60
38
06
b4
db
61
8b
3d
c8
63
0c
b2
86
e4
31
17
21
bc
50
31
f2
57
aa
92
5b
f8
09
60
44
5a
a8
d8
e6
97
88
e9
9d
a9
5c
1d
10
cc
3b
e8
58
52
8d
b0
cf
ea
00
3c
74
69
37
80
a6
5a
36
e6
28
43
b3
be
15
40
65
43
d2
2d
83
50
7c
87
b2
78
67
92
c8
0f
a5
62
84
54
a3
10
39
4d
da
4c
2a
b5
94
93
85
02
57
d6
d3
bc
10
71
86
d9
06
27
07
f3
54
e8
1a
1a
10
fc
b7
63
d3
1a
4e
c4
09
aa
24
3e
d2
e5
9b
b1
89
85
5e
b1
65
62
66
bb
37
50
07
85
ea
08
cd
88
c2
22
a8
c5
3a
87
77
ca
b4
2c
9c
23
8a
00
d5
93
69
42
50
26
e9
9d
2a
e6
04
0a
f6
70
90
29
ca
87
89
c8
97
b3
29
fb
a7
48
d6
9c
8a
71
48
c9
5a
bb
0c
71
78
7c
58
f1
2f
21
f2
21
3e
38
92
42
aa
7f
bd
32
0c
12
ac
42
c6
11
60
6c
b8
c1
d1
b4
62
58
86
a1
45
a5
35
bd
65
bd
0d
99
6b
33
0c
16
57
d6
1a
87
e9
04
17
00
32
25
75
98
20
a3
bb
ec
50
5c
da
f1
11
93
22
9a
ae
17
3c
d1
2b
ad
22
a7
a3
0a
76
a9
fa
76
36
c3
d5
aa
48
e1
78
40
12
a0
12
f1
41
68
b7
85
3d
2a
16
f9
0c
a0
2c
c3
3b
20
06
c0
8f
26
c1
5f
ca
29
61
2c
c7
92
e1
cf
02
e1
32
1a
75
a8
10
89
19
86
66
7d
41
48
af
36
e6
5e
1a
59
25
89
02
96
17
73
4c
31
5c
0e
39
b7
51
8c
86
60
cd
c2
65
d0
c8
13
ef
20
a0
43
31
7f
ae
5b
8e
40
54
6e
ec
f7
1d
6c
05
4f
a6
6b
49
40
13
09
be
f3
0f
d5
1a
55
19
75
5d
a9
10
46
89
b2
6f
08
39
15
4c
84
7b
ef
23
65
94
3c
02
49
48
3a
ad
9a
73
67
c9
80
a3
d1
ce
46
d2
00
8a
15
27
5c
a3
bc
a4
83
4e
6f
9a
30
36
c0
cd
80
ba
22
8d
34
b9
78
02
44
d5
c0
cb
e9
07
c6
fb
43
82
4a
9c
07
46
47
16
39
cb
86
18
8c
60
c3
b2
53
21
5c
c9
16
92
bc
d1
49
3d
6a
44
4d
53
64
46
e0
29
68
13
80
01
cc
28
7e
0e
51
8f
3a
a2
5d
8c
3b
95
b3
c3
5c
59
f4
81
9d
48
49
76
02
9a
f0
5a
26
3c
35
33
6b
26
1f
77
b2
cd
c2
93
89
f0
84
c0
4c
bb
37
0c
48
56
2b
5b
50
77
1c
0f
b8
16
90
8e
19
8d
d6
d5
3f
76
e4
8b
f0
42
c2
b1
f8
2a
3a
40
b8
da
f5
1f
46
d7
6f
a4
bc
c9
d3
c8
94
ff
85
0c
0f
aa
32
e0
ac
33
90
1a
4c
79
13
9f
5f
20
41
7e
c1
a1
90
60
70
44
f1
8b
b8
24
cf
35
0c
78
ab
3d
df
3c
2c
86
ca
55
43
f7
15

View File

@@ -0,0 +1 @@
687acf9406694974d383032f7579378f449c75d0560af56cf921ec48404896f6

View File

@@ -0,0 +1 @@
9b68d9d2390fa18739b239a58649393a28f97f6b164ec5e4334f4df864fc9cd6

File diff suppressed because it is too large Load Diff

View File

@@ -0,0 +1,800 @@
de
e7
89
22
bb
8d
a2
f4
76
4d
ca
45
f8
ea
4c
1f
53
0a
1c
57
1d
3a
d1
92
4b
58
96
98
cb
27
19
e0
69
fd
94
3c
14
52
c5
d1
68
b2
b3
57
b2
65
83
1c
01
9c
b3
55
7a
0b
f7
18
7e
4d
10
8b
f7
70
c7
4d
b4
03
89
cc
71
8f
3b
c1
1c
e3
ab
a8
43
66
ab
24
51
94
b9
41
f8
1b
7a
e7
02
41
9b
b9
8d
73
ba
00
37
83
30
6c
7b
3a
36
77
a5
43
a0
10
0c
31
75
e8
c0
20
ca
26
65
12
90
9c
35
50
c4
f6
5c
0e
a3
e2
4a
47
23
7d
9a
4a
0b
5a
e5
88
f9
83
31
1f
aa
36
e8
91
af
8e
a1
b3
08
c8
31
79
24
61
54
c7
65
ac
5b
5a
15
45
6e
19
33
08
00
28
37
d1
43
54
e0
66
a3
4a
44
09
af
bb
15
08
5a
ad
c9
e2
2b
8d
b5
58
3d
45
b0
a4
ac
72
47
4a
2a
b9
4b
79
2e
53
1a
b0
cb
88
2c
13
a4
13
9a
71
ff
a3
78
3b
53
71
78
f3
4e
11
1b
6c
3f
12
0a
76
d4
cd
ce
c4
61
84
30
35
ac
d2
85
ed
62
7d
8b
d2
b0
b9
97
cc
ce
b4
ad
ae
36
15
a7
3b
ba
0a
7c
7b
b9
b1
33
58
bb
51
ff
8a
57
4d
86
b5
00
02
72
cd
27
0a
0a
1b
24
bb
91
75
06
70
1c
2f
44
1f
c5
b7
9d
d4
51
cb
3c
ac
c7
40
12
7b
d4
11
60
4b
da
c4
64
da
1a
2f
83
91
8c
5b
2f
b6
e5
28
4c
97
2b
93
35
7a
83
78
28
b1
13
26
32
bb
6f
7b
fb
be
c3
d9
47
bd
40
3d
86
99
00
66
db
65
53
72
24
34
c7
c0
e3
99
2f
00
9b
b2
38
f7
a6
b3
e5
25
1e
da
94
3a
77
03
fb
a2
89
aa
20
53
a8
57
79
6c
2c
b9
45
49
4c
0b
a7
91
a9
e3
cb
fa
80
0d
89
88
c8
12
19
97
d9
75
b3
d0
35
95
ad
d6
4a
3e
ac
b8
ba
36
a4
d8
b3
bf
dc
11
b7
d5
62
39
08
7c
90
f3
52
c0
ee
c4
08
57
f0
89
cc
fa
7c
9a
68
3a
1d
e3
cd
8f
f2
8b
22
15
3d
de
23
1e
5f
74
80
5d
68
3e
b8
c3
46
ba
16
c7
fe
68
06
4b
20
59
c8
73
8e
5a
c1
9b
64
d4
34
3f
5c
9d
8b
f9
78
03
02
b0
67
6c
20
2a
21
29
2c
c1
5f
c1
58
9a
69
83
8a
d1
ea
3d
0c
37
06
f8
e1
b0
11
f6
12
99
a5
6e
c2
51
50
51
fb
94
73
4b
30
8a
f3
c3
5e
45
ab
fa
dc
12
8f
e6
98
38
aa
37
08
05
14
d6
c3
74
8c
91
6b
d6
55
08
0a
10
35
ff
1a
76
3e
45
0b
56
86
4c
c2
32
af
ee
53
91
9f
f8
89
a8
20
a7
a6
55
86
31
b8
8f
73
18
c0
33
80
0f
30
7c
19
b2
d0
a8
b6
58
82
d8
77
09
79
a5
70
1a
c6
02
f7
1b
72
a2
6b
82
52
5a
a6
7d
77
c7
5e
b6
87
1d
c0
19
b4
65
58
3a
25
0d
b4
70
49
06
18
7e
8d
fb
3b
70
72
69
88
f9
c5
2c
12
26
6c
63
91
d4
92
6c
b7
99
78
00
7c
a4
6e
f6
08
82
80
6f
fd
59
c6
4e
d7
03
33
98
9a
ac
51
86
99
04
40
b8
9c
3c
d1
36
3b
e4
04
70
6d
bb
63
a5
a0
07
a0
fa
c2
61
a0
28
8f
91
6f
af
0a
a4
e9
44
55
2f
10
80
1a
3a
5d
de
26
33
98
01
5c
c3
52
27
bd
17
11
35
62
51
aa
93
5a
89
bc
2e
3d
2c
08
e1
c9
a8
c1
e4
41
6f
30
3b
b7
3b
31
48
58
ca
4c
21
0c
95
92
83
fc
86
5b
02
77
68
c5
d6
04
7f
d3
6d
bc
bc
4e
df
3e
a5
cc
6a
50
cb
05
2b
cd
31

View File

@@ -0,0 +1 @@
a02e20d538b412ff074d121a80b0583e0b54e85b267da0789c5ca565342ee66d

View File

@@ -0,0 +1 @@
905eb1f02ade542733c35132f5a998d3ec80d20ec8ed235bf228081157034763

File diff suppressed because it is too large Load Diff

View File

@@ -0,0 +1,800 @@
f5
e2
4e
4e
14
b6
65
36
65
ca
02
89
a3
72
8c
bb
a2
28
fe
11
67
26
c1
25
1e
99
92
a9
f0
06
09
34
64
5b
26
23
24
ac
b5
c6
b5
7d
26
e3
92
26
e2
2c
f0
c3
3f
7f
f5
a4
d9
79
23
4f
2b
79
49
f5
66
db
66
c3
5b
27
3d
c9
77
8a
64
f2
bc
fe
91
4c
0d
81
52
7d
41
8a
11
25
79
e5
d0
8b
1c
42
95
87
32
34
25
d7
a7
83
51
45
34
57
cd
86
83
45
af
a1
62
18
33
20
02
c9
5d
84
06
c1
49
38
c0
39
69
3d
6c
12
16
af
b9
98
30
99
03
11
09
be
01
93
a1
b6
e1
24
36
10
3f
dd
08
4a
7b
84
38
0a
cc
35
81
78
31
c0
55
8d
4f
80
82
ba
58
b9
17
48
41
a8
40
c2
96
48
53
65
6c
23
27
f7
95
21
32
c6
dd
12
9d
bf
50
23
ce
1b
3a
92
f7
73
6f
c1
95
28
b7
1d
21
a2
7c
3d
7b
74
51
d5
a8
fc
02
a7
86
f7
55
45
d2
45
15
49
bc
95
db
bb
87
72
4f
72
d2
ad
f1
d6
19
b1
b9
43
86
c1
4c
37
12
8c
2c
1c
60
f4
c0
2b
28
cc
53
6c
50
8a
37
0b
a9
a2
f4
61
8c
f1
c6
4f
35
56
84
f2
5a
6e
e9
9d
3f
89
ce
01
36
b4
7d
7b
26
f0
e6
a6
0c
c9
4f
c4
57
38
34
17
2a
3e
fb
84
c9
fb
66
40
1b
76
c9
00
07
e8
f7
b1
9b
51
32
92
13
8b
79
14
7a
36
46
80
db
cb
21
17
62
35
8c
d3
2a
3c
44
72
0d
f6
ba
22
dc
8d
30
19
c0
c4
80
3f
2a
56
7d
9e
bc
6a
5b
c0
12
d1
f6
34
71
98
91
da
13
24
ea
f2
28
37
92
64
b3
da
95
5d
aa
3a
2f
b8
83
68
94
c8
e8
00
06
78
21
41
25
7c
25
4d
90
5a
23
8a
6b
41
ac
3c
76
cb
87
ea
34
27
28
ea
6e
48
bc
66
81
68
42
ff
24
55
e8
5c
67
f8
c4
88
74
f4
69
bd
a5
6f
dd
83
a5
7d
d4
07
67
98
a3
d8
54
ce
40
bc
c6
b3
49
a1
98
fc
6f
a4
71
3c
94
79
49
46
e2
49
20
17
79
70
9a
b7
51
04
59
e2
fa
32
5b
b3
c8
16
b2
af
3d
9c
af
36
fa
5c
21
73
79
cf
eb
79
7a
90
80
fe
23
37
4f
a0
2f
04
7c
77
5c
b4
60
2b
78
59
f7
d7
9c
0a
f7
3f
11
b4
28
47
91
5b
3d
32
46
e1
04
40
31
f6
1b
aa
d9
87
f3
c6
cc
93
28
0b
23
c8
39
0e
48
a2
10
80
92
c7
b4
19
ba
e1
3a
e5
00
67
81
3a
99
b5
da
80
e5
80
05
c6
96
5f
fe
45
3a
e5
73
50
1b
24
21
24
51
52
57
c4
06
27
8c
2f
7f
39
45
74
89
44
45
c6
12
e4
11
4f
0a
60
40
4c
da
97
6f
a6
3b
9a
28
57
81
e0
ab
3d
77
ad
2b
00
2f
1c
88
5e
f7
46
61
02
43
b7
51
ab
4b
ce
a3
88
02
7c
41
06
3b
01
67
91
36
08
73
64
cf
db
13
92
fa
ab
b9
e2
0a
51
77
b9
4b
f5
a3
93
b7
bd
d8
3a
7d
82
34
31
73
b8
78
1b
44
33
44
84
35
4b
71
79
b2
25
aa
be
e9
9f
23
07
95
d1
fb
24
8a
a5
61
5e
85
c0
ad
b4
9b
7f
51
04
71
2b
86
d4
03
4d
45
79
75
d4
1b
7c
88
c0
66
4e
09
1e
47
e9
79
83
03
c3
90
15
83
c1
36
06
ee
d7
88
3a
53
7a
c0
e1
47
06
8b
8c
4a
c0
56
fb
a1
08
ff
10
83
a9
18
6e
c0
5b
33
86
27
a8
dc
e4
3e
5c
41
41
0c
d6
bb
35
a3
30
d2
0b
77
bb
3a
90
34
b4
e3
c4
43
bb
eb
41
b6
69
1f
11
ab
11

View File

@@ -0,0 +1 @@
d026bb15f52e8df87779ff953ccf42a9d5401111c402c448d77cb291bbe6aa1e

View File

@@ -0,0 +1 @@
4c660325d7e121da05bc9389a09fd51d982d8990a27da29834af1930b2c4b089

File diff suppressed because it is too large Load Diff

View File

@@ -0,0 +1,800 @@
36
31
00
8f
71
83
b4
9b
55
f5
c4
b6
43
19
36
a5
cc
87
17
49
cd
95
e8
c6
5f
02
3a
f1
ab
06
13
5c
70
2c
f2
c1
51
12
c1
29
f7
48
93
33
70
10
42
4a
82
c1
79
28
53
8e
93
90
42
45
29
4b
e1
66
5d
cd
f7
a4
68
57
9d
03
d0
cc
50
9b
50
96
f7
a0
43
e4
5c
67
03
62
dc
18
bc
52
45
b0
c6
94
cf
6f
49
21
17
d1
57
74
28
c8
bc
e8
87
1b
78
66
9c
95
1b
07
a8
57
75
11
b0
8b
86
57
36
0b
cb
7a
59
06
0a
23
6b
b3
77
28
87
d9
b6
ff
48
21
bf
f7
54
fb
e8
40
f2
27
4e
81
95
13
9c
47
2d
bb
f9
6a
72
37
1a
30
05
9e
55
ea
84
31
3c
5f
fb
c9
61
27
92
43
69
7c
0d
61
23
cc
a8
36
54
c5
1c
25
e3
4b
c5
ed
63
67
79
89
05
cd
93
4e
21
01
74
fb
17
5e
d0
33
87
da
1c
31
4d
37
34
cb
28
1d
b0
61
1f
eb
a3
85
90
58
4b
41
90
12
a2
34
78
29
51
9a
00
fc
aa
33
67
1e
42
a5
3a
e0
80
7c
11
74
9b
dd
fa
90
b5
05
b8
62
45
6a
b3
cb
ab
9b
42
43
e3
01
5c
05
18
36
bd
b2
33
bb
81
4e
f9
10
29
00
a5
cd
cc
a2
ab
57
f6
bd
af
ba
4b
60
23
09
50
00
b1
9a
cc
11
0e
33
6a
a0
12
ba
6b
91
11
a9
d6
c3
0a
06
a2
db
36
84
25
25
29
7e
44
73
89
a7
90
4d
93
36
0d
64
0d
48
78
0d
fb
64
59
22
d0
a0
5b
88
33
85
78
34
e8
89
a2
41
9c
2b
97
45
3e
3f
ab
cc
f0
64
20
06
c6
a7
ad
c7
a9
86
87
59
ae
11
cd
e6
a6
8a
da
ca
3f
6e
a4
7e
c5
73
a6
4b
89
c7
ad
26
33
ed
57
15
91
71
1d
9d
53
10
e9
d8
3c
69
97
b6
ae
31
7f
3f
c7
01
1a
a0
b9
fc
17
11
56
77
9b
85
ea
47
08
27
6d
dc
f9
6b
b8
00
17
32
40
08
e8
23
55
e7
81
84
fb
98
79
d3
f4
2c
87
d9
56
2d
f3
4c
55
14
6d
42
4a
15
0f
11
12
36
49
53
30
48
08
b6
d5
ba
66
d2
83
2a
a5
32
d0
d4
21
2d
f7
b3
85
47
7e
b5
7a
ae
f2
f3
85
a5
46
60
ae
dc
b4
ed
d9
6e
bd
fb
05
0b
d8
1d
eb
3a
09
aa
fc
a5
11
52
82
ce
74
c4
39
26
24
c9
74
a9
4a
60
12
95
33
02
09
d5
9f
0a
00
33
37
97
90
ae
bb
5b
43
d5
18
06
6a
5a
41
74
93
36
88
a6
41
41
c1
dc
a3
2e
21
a6
79
33
10
b3
1b
e1
9e
72
1b
5a
e5
a8
3b
45
d4
24
ed
02
67
ec
36
3a
8a
95
6a
e6
4b
1c
14
04
70
65
60
27
09
5b
14
85
90
26
0f
90
99
08
dc
82
c4
74
ab
d4
e3
95
4e
54
28
8e
76
05
ee
33
81
c0
c1
b4
53
ba
a2
2b
50
6c
3c
3a
3e
3a
dc
38
51
a5
36
eb
b7
48
3d
52
a3
4c
3c
1d
10
09
76
b3
6a
21
f7
b9
21
82
fa
38
ce
10
b6
90
f5
7e
33
86
1c
34
97
27
a6
d7
9d
f4
56
70
f3
e8
83
44
b4
3d
0b
79
0e
4b
ba
92
bd
60
b4
fd
6a
5e
1c
9b
60
b4
eb
10
b7
11
00
d9
95
58
c9
d1
26
df
79
84
a3
7c
60
a8
49
75
b1
ea
ba
a0
26
29
f4
2b
35
e5
bc
90
7e
09
3e
96
8b
56
d7
d9
1e
a2
a6
26
0c
86
6e
5b
83
cc
ee
54
30
33
45
13
8a
e9
7c
55
f5
78
a6
ec
3b
40
58
b7
d1
e1
4a
c9
2e
37
0c
f7
70
04
2a
d3
f7
15
23
59
22
6c
2c
2a
bc
6b
cb
87
46
2f

View File

@@ -0,0 +1 @@
ceb50eb4b3aef8f26edd5fa3e9a981332e03d08876a872a111510801ebd485b5

View File

@@ -0,0 +1 @@
199df3f68d5bceaff94649482882cac90c9d9d5c0e68b54a0dc2d849aba2458d

File diff suppressed because it is too large Load Diff

View File

@@ -0,0 +1,800 @@
a1
dc
74
33
29
94
bc
28
99
c8
5b
59
a4
d4
3d
2e
f0
8f
5c
1a
a6
7a
48
72
c4
c3
55
d3
66
4f
08
69
9a
8a
e8
5f
17
d7
44
50
b6
28
c5
f3
1b
de
38
47
21
d7
3a
cb
51
ab
cf
b3
61
d8
50
18
4d
92
5e
01
3a
0a
83
52
95
35
c9
b2
62
c7
c4
8f
81
b9
5e
69
3e
24
28
78
d0
16
89
02
c4
1c
14
a8
a3
d5
60
cd
31
04
4b
7e
46
59
c1
c9
cb
4c
18
59
31
97
60
91
55
59
4a
08
8b
9a
82
7b
c4
73
28
46
aa
c3
53
fa
8c
ff
a4
86
a0
d8
4d
36
83
14
e6
59
17
f7
39
8c
6b
d1
2f
22
37
00
b1
7b
88
3b
eb
bd
f1
2c
1a
42
e8
9c
95
85
53
d0
68
6c
f7
68
3c
af
71
24
37
27
af
e2
24
9b
00
97
25
87
33
5f
6b
00
52
cd
21
77
80
0a
4f
a1
22
57
25
e0
8b
95
51
cd
a1
e4
5b
a6
e3
cd
bb
71
73
0c
b7
2a
1f
1c
6c
f1
bc
58
52
0c
9e
52
20
3c
68
95
1c
27
98
52
3c
20
38
ba
68
01
fb
3c
32
1c
f5
ca
21
8c
68
0c
32
0b
34
46
ab
15
3a
3c
4c
d7
cb
ca
35
6b
58
d2
54
b6
a2
4a
67
22
58
d1
a8
bd
36
a8
1b
e9
7b
51
5e
b4
21
22
f3
2a
7d
39
7b
2f
cb
03
99
46
c3
8e
41
b5
b4
c5
76
4c
6c
50
c2
90
a4
05
aa
74
6c
52
7c
51
35
8b
c0
9c
5b
52
da
33
a0
94
6c
9d
8a
2f
0d
a3
ba
7a
24
91
3d
83
b4
d9
09
91
3e
2c
55
bf
b5
02
0f
6c
87
68
82
71
e0
17
88
88
9c
97
b1
2a
b8
89
05
b4
9a
6c
02
d3
40
0b
7a
61
72
fb
b1
06
c0
16
c8
5c
c7
07
3f
a7
88
a8
e3
7f
f2
a2
a7
7d
66
4a
a1
a6
a0
cb
c9
34
2e
68
49
54
95
76
51
46
2c
b2
db
74
02
c6
5a
2e
c9
8d
58
44
1e
57
16
6c
66
4a
8a
75
3a
69
98
7b
19
30
95
90
97
e9
88
c7
da
31
94
24
62
c8
36
28
a8
1b
ce
f6
d4
28
80
f6
03
98
08
c7
27
bc
cc
6d
20
44
39
56
b2
a2
d4
8f
58
a8
79
72
97
cf
e8
e3
29
01
d4
68
f8
05
4a
f6
58
c7
b3
b7
ce
d2
92
c3
86
64
07
c1
a7
79
59
68
1c
25
b4
6c
34
55
71
63
79
19
44
80
36
33
57
23
c1
7b
52
26
07
41
59
21
9f
47
9b
25
53
86
4c
66
53
a0
bc
74
b0
a1
52
16
0b
f8
8b
50
56
5a
47
b5
4a
97
09
47
55
a0
c1
7c
85
66
cd
92
2a
d4
9b
54
ad
75
c5
bd
50
01
6a
50
9d
7e
ca
81
9b
36
11
0c
93
ae
0e
a4
7a
e4
6a
cb
c4
62
71
15
60
0c
b1
23
65
d1
e6
a9
42
41
31
83
4c
4c
4c
72
44
2d
1a
7c
8e
b7
35
1b
27
7b
e6
0b
70
ec
17
01
11
a3
8a
3c
e0
94
4e
24
2c
ea
26
c4
cb
80
c4
33
65
30
45
a7
bf
4d
9a
6f
09
06
30
6c
00
59
f4
2b
51
28
95
c2
ef
74
4d
b5
a7
72
0a
d0
35
3a
66
7d
43
c4
41
9e
61
48
44
18
80
f7
88
a7
8b
d9
47
19
f0
10
d1
42
24
df
c0
68
a1
c6
c6
b4
60
8e
8b
84
0d
7a
62
68
bf
f3
83
b7
00
1b
e6
e6
6f
bf
e7
74
da
4b
9c
9a
01
c5
c6
2c
55
30
81
96
a6
b7
22
04
b5
0a
e3
92
25
c3
1a
8a
ac
c5
9b
e0
9b
a0
33
f4
3d
35
81
35
82
b2
8e
aa
83
9c
70
61
98
14
94
9f
76
8e
11
4b
01
b8
4b
87
87
79
45
82
f8
cd
7f
6f
b0
73
81
77
0e
bb
a5
03
1c
c5

View File

@@ -0,0 +1 @@
d8a6e796ddac221affc15ef4e485b1f6c748a545b7cefc6ab65613797b3cf9a9