2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
02
03
04
05
06
07
08
09
10
11
12
26
27
28
01
02
06
07
08
09
10
12
13
14
16
19
20
21
22
23
24
26
27
28
29
31
01
02
03
04
05
06
07
08
10
11
12
16
18
19
20
21
23
24
25
26
02
03
07
09
10
12
14
15
18
19
20
22
23
24
25
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
18
19
20
21
22
23
24
25
26
27
28
29
30
02
03
04
05
06
09
10
11
12
13
15
18
19
20
25
27
02
06
14
16
17
19
22
23
24
27
28
29
30
31
01
03
04
05
06
07
08
09
10
11
12
13
15
16
18
19
20
21
26
27
28
29
30
01
02
03
04
05
06
09
10
11
12
13
14
15
16
17
18
22
23
24
25
27
29
03
04
05
08
09
10
11
14
15
17
19
23
26
27
28
29
30
03
05
06
13
14
15
16
17
18
20
21
01
02
03
04
05
06
07
08
09
10
11
12
02
07
08
11
12
14
18
22
24
28
29
30
31
04
05
06
07
08
11
12
13
14
16
17
18
21
22
23
24
25
26
27
28
29
02
03
04
05
06
07
10
11
12
13
14
17
18
19
20
21
25
28
01
02
03
07
09
10
14
15
16
23
24
25
26
28
29
30
01
02
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
06
07
08
09
10
11
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
30
01
02
03
04
05
07
08
09
10
11
12
13
15
16
17
18
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
16
17
18
19
20
21
23
24
25
26
27
28
29
01
03
04
05
06
07
08
09
10
11
12
14
15
16
17
18
19
20
21
22
23
24
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
04
05
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
18
19
20
21
22
23
24
25
26
27
28
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
23
24
25
26
27
28
29
30
31
01
02
03
04
06
07
08
09
10
12
13
14
15
16
17
18
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
22
23
24
25
26
29
30
02
03
04
05
06
07
08
09
10
13
15
16
17
18
20
21
22
23
24
26
27
28
29
30
31
01
02
03
04
05
06
07
09
10
11
12
13
14
17
18
19
20
21
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
15
16
17
18
21
22
23
24
25
27
28
30
01
02
03
04
05
06
07
08
09
11
13
14
15
16
18
19
20
21
22
23
24
25
26
27
29
30
31
01
02
03
04
05
07
08
09
11
12
14
15
16
17
18
19
20
21
22
23
24
25
26
27
30
01
02
03
04
07
08
09
10
11
14
15
16
17
18
19
20
23
25
28
30
31
01
02
03
04
05
06
07
08
09
10
11
12
03
04
05
06
07
11
12
14
15
18
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
08
09
11
12
14
15
18
19
21
23
25
26
02
03
04
05
06
07
09
10
11
12
14
15
19
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
08
09
10
11
12
13
15
16
19
20
21
22
24
26
27
28
29
30
03
06
09
10
11
12
14
15
17
18
19
21
22
25
26
27
28
30
01
02
03
04
08
09
10
11
13
15
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
05
07
08
13
14
15
19
20
21
22
23
25
26
27
28
29
30
31
02
03
04
05
06
08
09
10
11
12
13
15
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
06
07
08
09
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
03
04
05
06
07
08
09
10
11
12
13
14
15
18
19
20
22
24
25
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
13
14
16
17
18
19
22
23
24
25
26
28
29
01
02
03
07
08
09
10
14
15
16
17
21
22
23
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
03
04
05
06
10
11
13
15
16
18
19
20
21
22
23
24
25
26
27
28
31
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
21
22
23
24
25
01
02
03
04
06
07
08
09
10
11
12
14
15
16
17
21
22
23
25
28
29
31
01
04
07
08
11
14
15
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
03
06
07
08
10
11
13
14
15
16
17
19
20
21
22
23
24
27
29
30
31
01
02
03
04
05
06
10
11
12
13
17
18
19
20
22
24
25
27
28
04
06
07
09
10
11
12
13
14
16
18
19
20
23
24
26
27
29
03
07
08
09
11
12
14
15
16
17
20
25
26
27
28
05
08
09
13
15
17
20
21
23
29
01
02
04
09
12
16
17
22
23
25
26
30
02
05
06
08
09
10
15
17
18
20
22
23
25
26
27
28
30
08
10
11
12
13
14
17
18
19
20
21
24
25
26
28
30
31
01
06
07
14
16
17
21
22
23
24
25
28
29
30
02
05
07
09
12
13
14
15
16
20
21
22
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
29
30
01
02
03
04
05
06
07
08
09
10
11
14
15
16
17
18
19
20
21
22
23
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
03
04
05
07
08
10
11
13
14
15
18
19
20
21
22
25
26
27
28
31
01
02
03
04
08
09
10
14
16
17
18
23
24
28
01
03
05
08
09
10
11
12
15
16
17
18
19
20
22
23
24
25
26
27
30
31
01
03
04
05
06
07
08
09
10
11
12
13
14
15
16
18
20
21
22
23
24
25
26
27
28
29
30
03
04
07
09
10
11
12
13
14
15
17
18
19
20
21
25
26
27
28
29
30
31
01
02
03
04
05
07
08
09
10
11
12
14
15
16
17
18
21
22
23
24
25
26
27
28
29
30
01
02
03
05
06
07
12
13
14
15
16
17
18
19
20
21
23
26
27
28
29
30
31
04
05
06
08
09
10
12
13
14
17
18
20
25
26
27
28
31
01
03
06
10
11
13
14
15
16
18
19
20
21
22
23
24
25
27
28
29
30
01
02
03
05
06
07
08
10
11
12
13
14
15
19
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
08
09
10
11
12
13
14
15
16
17
18
20
21
22
23
24
25
26
27
28
29
30
01
02
03
09
10
12
13
14
15
16
17
18
19
20
21
22
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
01
02
03
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
24
25
26
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
01
02
03
04
05
06
07
08
09
10
11
12
14
15
16
18
19
20
21
22
23
24
25
26
28
29
31
01
04
05
06
07
08
10
11
12
13
14
16
19
20
21
22
25
26
27
28
29
03
04
05
06
07
09
10
11
12
13
15
16
17
19
20
24
25
31
01
02
03
04
05
06
07
08
09
10
13
14
15
16
17
20
21
22
23
24
25
26
27
28
29
01
04
05
06
07
11
12
13
15
17
19
20
21
22
24
25
26
27
28
29
01
03
05
06
08
09
10
11
12
13
15
16
17
18
19
20
21
23
26
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
15
16
17
18
19
23
25
26
27
28
29
30
01
02
04
05
06
07
09
10
11
12
13
14
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
02
03
04
06
07
08
09
10
11
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
29
30
31
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
03
04
05
06
07
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
29
02
03
04
05
09
10
11
12
16
17
18
19
21
22
23
25
26
29
30
31
01
02
04
06
07
12
13
14
15
16
17
19
20
21
22
23
27
28
29
30
02
03
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
23
24
25
26
27
28
30
31
01
02
03
04
05
06
07
08
11
13
14
16
17
20
21
23
24
28
29
30
31
01
04
05
06
07
08
10
11
12
13
14
15
17
19
20
21
22
23
25
26
27
29
30
01
02
03
04
05
06
07
08
09
10
11
12
14
16
17
18
19
20
21
23
24
25
26
27
29
30
31
03
04
06
07
08
09
10
11
13
14
15
16
20
21
22
23
24
25
27
28
29
30
01
02
03
04
05
06
07
08
09
10
11
12
14
15
17
18
19
20
21
23
26
27
28
29
01
02
03
04
01
02
03
04
05
08
09
10
11
12
16
17
19
21
22
23
25
26
30
31
01
03
04
05
06
07
08
09
10
11
12
16
17
18
19
20
21
22
25
26
27
28
29
01
02
03
04
05
06
07
08
11
13
14
15
18
19
20
21
22
24
25
26
28
29
01
03
04
05
09
10
12
14
15
16
17
18
19
20
21
22
23
24
26
27
07:41
<
vstinner
>
salut
13:47
<
alain_afpy
>
Prix BlueHats de la DINUM -
https://discuss.afpy.org/t/prix-bluehats-de-la-dinum/2031