Generador de sistemas aleatorios con solución entera.

13
17
11
7
15
37
9
9
25
2
6
17
72
18
3
8
7
15
1
17
1
21
1
5
6
14
6
13
1
1
9
1
31
4
4
2
4
14
4
20
10
1
6
1
6
30
7
12
22
8
15
6
1
6
23
29
21
5
33
21
6
14
23
4
23
12
6
11
6
22
23
1
14
7
1
45
8
21
19
8
3
44
8
20
20
17
28
5
21
29
1
2
7
3
1
26
27
6
14
25
18
17
13
4
15
7
46
4
11
3
29
9
6
12
9
15
2
4
2
13
41
6
1
13
3
29
3
9
3
35
9
14
18
6
2
14
2
5
2
7
46
13
46
2
27
8
11
35
4
10
38
4
5
11
6
9
1
8
5
10
7
2
8
8
64
3
5
12
9
7
6
2
11
15
23
1
14
9
31
6
5
9
5
6
13
7
12
16
10
20
21
18
7
1
2
20
5
6
9
8
6
5
52
37
3
14
30
13
10
42
9
1
12
5
6
10
9
27
2
9
4
10
16
3
1
10
6
21
20
7
19
43
3
5
35
7
21
19
15
12
25
7
22
1
49
6
6
2
3
17
11
24
6
2
9
5
28
5
33
22
1
4
26
1
21
3
5
16
16
6
18
20
13
5
7
5
3
15
21
41
21
12
23
6
2
1
3
20
24
27
5
3
29
3
29
4
2
38
1
7
13
10
18
5
2
4
8
13
16
13
10
41
16
19
59
10
6
4
50
27
2
4
16
1
48
8
2
6
4
16
5
11
2
15
16
63
34
1
8
14
1
7
2
37
10
9
16
20
29
3
67
22
9
41
7
28
26
13
7
14
8
28
5
7
1
27
10
23
26
10
17
1
7
15
11
8
10
9
7
11
17
14
9
52
38
11
7
44
1
4
4
20
27
3
26
12
10
16
10
11
24
4
18
12
45
24
9
3
2
27
7
52
18
2
12
1
35
3
31
7
20
4
7
3
1
56
8
11
5
1
14
8
2
4
33
5
5
35
37
4
19
47
3
7
7
6
7
2
54
18
45
5
6
6
5
4
1
25
8
16
5
9
31
4
9
21
5
10
7
1
8
3
4
1
4
27
2
7
9
9
3
40
9
8
13
1
8
2
5
28
19
1
54
17
28
3
63
2
25
3
32
21
20
8
6
64
2
8
3
33
2
37
20
19
15
9
7
18
5
22
2
7
44
15
47
13
24
1
10
24
72
6
12
11
9
19
10
9
10
19
9
5
2
17
13
17
6
45
3
23
8
11
13
6
3
2
13
11
3
4
15
4
17
14
7
27
3
10
35
4
16
1
21
15
11
5
4
21
21
5
14
14
43
2
16
1
4
16
35
52
4
2
7
8
1
2
2
26
3
5
13
36
8
3
17
17
12
5
7
21
3
6
10
5
9
48
5
13
1
3
35
12
8
42
3
6
6
46
8
86
3
36
4
1
27
3
33
20
19
6
11
7
3
18
3
8
6
7
21
9
3
30
4
9
10
1
1
16
25
1
13
14
13
30
113
3
3
13
3
13
4
6
3
9
4
29
9
17
51
4
15
31
6
9
7
8
28
10
16
11
3
10
25
2
25
8
6
2
7
22
15
2
2
5
53
22
34
2
35
65
21
7
5
7
5
51
5
13
9
10
9
5
29
7
1
27
18
1
11
2
22
4
13
2
6
18
17
12
35
1
4
107
8
9
35
4
5
4
38
18
21
3
15
1
11
5
8
9
13
4
25
3
17
37
15
5
6
20
7
7
30
6
5
4
1
5
17
9
18
6
1
24
15
4
3
8
10
1
5
4
16
8
4
24
38
9
1
2
13
5
13
7
5
38
18
9
4
7
2
10
10
1
1
10
5
6
13
9
26
6
6
4
14
6
24
7
30
4
4
3
27
12
4
25
1
49
5
26
11
14
65
74
29
5
10
15
10
4
15
8
10
2
2
1
19
5
9
15
33
6
23
16
4
5
16
2
6
50
1
23
14
29
13
4
22
2
5
12
2
20
5
3
44
45
1
18
57
16
15
34
1
19
1
2
6
5
10
3
22
3
21
7
13
57
3
8
13
6
15
4
13
20
11
14
18
1
1
16
42
8
4
9
4
31
9
4
32
11
14
5
4
9
7
32
6
20
5
14
12
14
3
18
4
15
17
2
10
19
12
6
4
7
19
24
22
3
2
35
8
23
2
1
11
22
49
2
3
18
5
14
9
20
1
5
1
40
6
30
37
3
12
26
40
6
14
15
9
4
22
54
70
6
32
1
5
28
4
20
11
23
13
25
49
1
9
3
47
14
1
11
7
6
4
4
9
4
10
6
19
23
1
3
11
10
22
5
6
9
11
36
10
9
1
54
11
1
11
1
63
15
1
7
33
9
3
37
11
4
26
33
2
3
13
4
90
44
15
7
6
10
1
6
9
11
27
56
7
5
4
16
4
30
4
4
13
3
1
11
6
4
30
22
13
6
11
35
19
14
4
8
7
26
7
1
10
23
1
2
1
11
2
3
16
3
37
5
34
13
16
28
2
40
14
13
2
14
7
29
8
14
7
8
9
6
13
6
46
18
7
8
4
6
1
9
44
17
1
6
19
10
34
25
23
25
4
4
13
1
24
3
16
1
12
56
16
2
12
14
12
3
32
8
8
3
6
1
3
11
30
4
43
1
6
6
4
2
11
1
3
2
5
7
18
8
8
14
11
11
13
35
13
1
15
16
2
3
10
3
8
2
16
26
2
14
33
45
6
9
11
20
8
4
8
40
10
5
1
6
9
2
9
8
5
11
11
2
1
7
65
20
1
14
23
19
6
8
11
5
1
1
17
5
3
7
6
22
7
1
25
15
19
1
14
27
1
14
9
1
16
2
1
3
1
31
5
10
6
9
17
23
6
27
6
18
6
2
8
5
28
9
41
4
5
19
18
24
9
29
31
27
3
11
18
19
15
1
16
3
7
12
1
35
1
5
2
10
13
10
3
1
4
7
34
8
26
6
5
19
2
1
6
5
11
9
1
16
19
14
12
6
1
12
32
4
4
2
19
7
5
27
6
2
13
7
2
20
8
12
14
15
2
9
2
6
40
20
4
1
5
3
5
5
10
17
8
11
9
36
4
3
30
2
2
23
11
4
10
21
2
2
1
5
66
8
44
6
15
9
9
11
12
9
33
13
25
1
40
10
1
23
10
4
10
4
14
21
36
15
56
20
34
53
1
4
1
2
27
1
1
10
8
10
27
1
1
23
5
1
4
1
12
2
32
29
7
12
2
21
16
1
6
1
20
53
1
12
4
4
17
3
2
7
2
2
16
13
33
9
9
9
16
7
7
9
14
14
24
16
12
24
7
14
15
6
7
5
16
1
3
14
2
11
3
12
2
21
11
1
34
6
6
38
11
9
1
7
7
10
7
2
6
9
14
9
1
3
38
1
14
7
11
7
2
4
46
13
6
15
13
35
32
7
1
7
5
9
9
12
23
3
1
13
24
18
2
5
6
2
1
4
2
10
54
3
3
14
12
20
30
10
2
1
36
10
6
11
20
2
12
21
29
26
4
11
1
8
35
8
4
7
7
6
73
24
19
7
5
38
34
19
7
32
11
4
25
41
10
19
12
12
11
17
5
3
21
3
14
8
30
10
12
6
7
4
12
19
32
21
10
7
12
11
21
16
25
1
8
5
3
2
18
25
9
40
4
4
4
16
8
16
7
13
26
2
5
9
45
13
1
8
9
21
9
3
4
15
1
41
26
1
24
49
26
18
15
5
6
13
20
3
2
10
13
3
6
4
20
2
29
5
10
19
9
15
9
10
11
7
28
10
3
18
10
5
1
6
4
9
14
19
8
8
4
26
1
5
5
20
18
1
14
26
3
27
14
12
7
89
18
4
12
9
1
4
7
23
17
5
6
11
1
1
26
5
1
16
2
45
5
17
48
12
4
19
6
9
7
12
20
26
43
7
14
32
12
1
24
34
15
4
6
9
6
32
9
1
7
2
12
9
21
4
22
17
2
33
7
10
53
9
41
39
7
16
11
10
25
1
2
11
10
1
32
6
15
9
4
20
23
2
5
23
12
14
10
11
2
7
1
5
12
5
19
1
24
15
4
54
15
1
13
18
33
8
4
6
2
1
28
7
14
3
5
18
8
20
8
3
10
10
12
37
1
14
29
18
5
8
29
1
14
3
23
6
42
6
16
1
2
25
12
33
6
6
12
26
11
3
6
10
14
29
23
6
10
2
32
6
1
1
1
3
15
5
7
3
1
3
29
4
24
2
32
7
18
16
2
13
11
24
16
9
11
7
7
6
1
11
21
1
2
4
21
30
5
4
5
53
23
23
2
18
20
19
2
2
3
11
7
2
49
32
2
6
2
27
10
8
18
1
7
33
8
23
37
13
10
5
2
1
14
1
33
7
12
11
20
1
9
2
1
11
7
49
12
11
50
21
9
1
3
2
4
1
32
6
6
26
5
21
25
1
14
5
31
7
4
28
3
8
15
19
24
27
2
16
5
14
9
15
48
14
4
15
9
25
1
1
51
4
8
4
46
1
12
8
2
9
3
5
13
12
9
13
7
18
1
15
36
40
16
1
11
7
24
11
16
5
14
5
6
2
1
14
13
13
12
26
5
34
91
27
24
10
7
20
7
5
8
8
2
18
12
2
5
2
18
1
9
2
2
19
5
21
11
57
3
4
4
4
10
17
2
6
16
9
29
5
11
1
25
6
2
2
3
7
16
6
6
4
5
8
10
9
22
5
24
11
2
18
1
65
12
8
15
18
1
11
6
10
26
26
26
10
8
29
11
1
15
5
24
14
5
14
3
11
3
13
9
15
25
9
13
10
13
2
5
95
7
31
23
10
47
6
3
2
51
10
4
9
15
2
9
47
13
13
14
9
10
9
3
6
56
30
8
13
13
2
14
15
5
4
2
38
4
25
25
10
6
16
25
5
37
1
20
3
27
1
5
22
1
1
4
12
16
10
24
7
65
3
9
3
9
7
8
16
16
16
85
7
18
29
7
20
3
19
5
9
14
5
14
27
20
14
2
6
14
18
15
24
3
1
22
6
3
14
5
24
4
39
2
9
18
1
16
33
7
3
3
8
16
3
17
2
21
10
30
1
9
30
36
23
9
8
13
1
67
2
8
22
1
17
27
15
5
29
21
3
8
24
12
5
15
50
49
6
2
31
28
20
4
25
10
3
1
9
25
3
51
15
1
5
17
13
12
6
1
15
13
1
27
7
39
11
3
2
31
15
1
6
18
3
37
4
29
1
9
19
4
35
2
30
7
3
2
7
10
43
2
10
2
15
6
15
2
19
15
34
13
6
2
1
3
1
23
6
1
12
5
5
3
5
4
7
12
24
26
3
2
1
6
1
14
19
37
15
7
5
6
5
19
12
3
12
24
4
17
12
7
15
14
6
14
10
5
7
4
1
9
29
40
16
12
8
15
3
49
30
11
1
6
13
6
24
9
23
15
34
1
56
6
15
22
33
24
21
9
15
5
43
1
12
9
13
9
1
1
21
1
14
6
1
3
36
15
31
5
2
20
4
1
9
4
4
14
1
21
27
13
7
42
23
11
10
24
7
2
1
4
1
4
6
4
2
37
30
7
11
13
17
9
11
10
4
4
6
8
19
5
3
4
27
4
11
19
4
14
2
31
4
3
3
9
70
4
26
7
8
16
9
2
13
13
12
15
3
9
22
35
6
10
8
2
1
51
3
20
26
5
13
7
16
1
20
5
30
63
23
8
5
16
37
2
8
6
21
38
13
13
14
4
6
9
8
103
9
18
5
13
8
4
11
2
3
24
1
17
8
16
5
5
8
15
20
9
13
45
8
6
24
1
2
29
47
18
7
7
18
4
44
11
3
8
6
15
5
6
5
10
11
6
24
5
11
72
10
2
5
37
1
22
41
10
6
6
18
5
1
8
12
26
4
6
6
15
14
21
19
8
11
28
21
3
7
10
26
37
10
15
3
11
20
19
9
1
6
16
8
4
13
19
11
2
4
5
19
7
8
20
19
23
6
9
1
2
2
34
10
3
44
14
43
21
7
6
24
35
27
4
1
12
19
4
5
10
5
12
40
6
39
2
4
3
17
6
3
14
7
30
26
5
13
12
6
2
7
12
5
7
1
40
12
4
24
18
10
3
22
7
4
17
6
13
1
5
37
7
3
15
8
2
8
7
19
13
1
3
20
21
6
27
15
2
1
1
8
11
5
12
13
19
6
3
5
2
7
13
4
10
7
6
70
16
6
7
14
2
6
3
1
4
13
10
9
8
6
34
2
13
4
18
21
5
10
71
6
15
1
33
18
20
55
33
25
25
3
38
4
32
8
39
9
15
6
9
11
18
10
3
21
11
10
11
43
2
3
29
6
20
1
21
16
3
10
4
7
13
18
10
12
1
3
16
15
22
6
12
4
17
5
9
3
15
5
8
3
2
54
3
3
6
10
11
6
13
2
1
1
13
8
1
8
18
14
5
24
32
14
17
32
5
15
1
8
18
31
5
3
8
1
1
35
6
23
22
2
40
5
16
14
6
20
19
2
27
6
9
5
12
8
13
22
2
9
10
6
1
10
2
1
13
14
24
48
43
10
6
3
31
9
16
11
6
10
8
7
7
7
6
18
4
21
34
39
1
14
11
2
3
11
12
21
7
29
13
27
20
8
20
70
1
3
3
6
68
5
34
1
18
21
38
1
6
8
34
1
1
11
22
4
25
9
10
18
15
21
12
12
17
18
31
1
7
8
4
27
10
2
8
9
10
8
4
20
43
10
3
10
12
1
10
14
6
3
4
6
15
8
16
30
7
68
22
26
2
2
6
10
25
12
4
4
15
15
18
2
4
21
6
37
1
4
16
21
9
19
13
8
23
9
3
5
2
3
17
12
16
6
3
9
16
3
64
5
8
16
1
44
1
2
5
4
2
29
30
6
29
7
7
8
9
1
1
7
7
6
2
6
8
20
1
17
1
10
13
36
6
26
6
20
10
3
37
17
6
28
12
10
6
19
14
26
12
19
43
18
5
49
17
4
11
7
4
43
10
25
24
59
53
4
25
13
28
156
11
24
2
5
12
9
11
2
18
2
46
1
21
16
1
1
17
23
18
4
23
5
10
3
3
20
1
10
15
13
5
1
20
24
17
13
1
4
9
4
6
8
3
3
2
16
53
20
12
17
9
4
14
11
8
10
14
27
4
14
18
21
2
9
10
27
21
2
4
22
11
12
8
8
1
9
16
60
7
6
26
10
4
24
3
116
20
11
9
14
1
6
11
5
3
11
63
8
8
2
17
9
13
5
6
29
22
2
14
19
4
6
21
22
14
3
43
17
26
18
4
4
9
6
7
11
8
75
9
20
5
12
1
8
31
5
1
13
2
8
26
3
13
21
16
19
7
54
7
36
45
28
30
6
5
13
5
1
8
13
4
43
22
6
21
44
33
28
4
6
12
2
4
1
69
5
11
4
31
11
3
6
10
16
12
19
6
7
23
33
4
10
11
8
1
3
5
1
2
9
16
11
1
38
38
37
1
9
1
1
17
9
12
7
12
8
4
26
3
12
35
6
4
16
7
3
14
2
4
13
3
11
48
1
16
7
10
14
1
7
5
6
8
4
26
8
29
3
9
18
30
7
21
12
5
4
16
19
96
9
1
25
20
34
6
5
2
5
14
25
18
33
10
10
30
3
24
8
3
6
12
9
9
5
10
21
3
29
15
19
7
14
13
11
13
2
91
5
1
37
10
8
19
8
6
1
9
26
2
1
6
5
7
22
2
2
15
9
10
1
12
83
1
22
30
12
14
16
68
17
12
25
4
1
9
45
34
1
40
12
3
22
5
15
22
24
30
18
35
7
14
27
3
20
38
3
6
10
18
11
33
33
18
22
7
2
20
3
2
7
2
8
16
3
20
18
4
9
17
8
21
5
5
15
1
7
3
16
31
1
2
29
8
7
2
1
2
15
8
15
1
3
6
3
1
21
39
27
1
3
35
9
9
18
12
6
7
13
11
32
12
22
7
15
4
2
14
5
24
25
5
12
12
3
3
3
13
11
26
8
9
6
1
2
27
5
1
1
4
14
6
4
54
31
21
17
8
2
6
4
10
13
23
7
3
25
6
21
27
3
25
6
3
2
8
4
5
24
12
38
6
20
9
21
8
2
11
13
3
25
19
4
33
16
29
34
51
3
8
4
1
10
13
8
15
29
7
30
19
46
18
7
13
9
26
4
15
4
33
6
12
58
2
19
23
9
7
29
26
1
11
4
22
1
10
1
66
17
2
7
2
6
16
10
24
13
6
8
20
7
13
10
2
11
1
32
1
22
33
3
21
10
4
33
4
4
11
2
8
11
29
7
1
61
8
34
30
14
8
10
12
11
8
1
11
7
49
27
5
1
9
61
19
52
9
6
8
2
5
6
2
5
23
20
6
10
18
33
5
38
10
6
8
19
8
25
1
1
8
19
14
2
3
11
3
6
1
21
10
13
9
6
14
5
4
35
37
12
1
14
2
6
12
4
3
1
1
11
1
29
13
1
16
3
12
47
28
3
15
1
2
2
11
5
3
15
27
23
10
30
3
10
1
2
12
4
27
36
4
1
7
1
9
9
13
31
3
2
1
30
8
15
3
17
45
4
2
8
22
5
33
1
34
4
18
11
16
45
31
9
2
22
8
7
15
13
5
14
12
15
19
11
11
6
1
16
1
16
14
25
7
74
18
16
46
3
5
18
3
26
21
11
17
6
10
2
9
2
10
1
14
1
4
5
7
12
6
1
21
18
2
1
6
1
9
33
16
1
3
9
26
11
1
4
19
6
3
8
72
12
9
1
22
7
11
2
37
3
12
21
9
7
40
21
16
47
1
14
5
4
10
13
9
3
34
5
9
6
10
15
3
3
5
7
27
4
9
7
31
27
21
2
32
5
34
1
18
21
8
21
4
6
13
24
1
20
10
35
17
1
20
20
23
16
48
10
25
11
11
7
2
4
7
9
32
20
7
4
5
11
5
22
2
6
3
18
46
2
32
10
9
10
4
23
17
45
1
3
9
40
6
13
22
5
2
29
1
6
3
47
6
13
14
4
2
10
8
6
3
17
1
10
4
35
4
3
25
11
31
6
6
11
11
9
36
27
29
1
19
11
36
15
39
7
5
9
17
6
37
23
7
18
37
11
6
10
2
4
60
22
6
15
9
4
3
1
20
4
23
2
41
17
37
7
6
2
2
4
38
25
18
51
38
14
2
8
7
4
1
2
11
7
3
25
46
8
18
4
2
7
1
2
27
34
1
11
2
11
31
22
3
2
2
2
12
5
17
24
6
5
11
12
9
25
20
2
37
2
9
11
69
15
23
8
3
31
16
5
3
1
8
4
3
4
5
35
42
39
10
14
4
2
5
23
32
14
6
15
4
27
15
1
1
11
2
6
22
24
33
4
14
2
4
14
4
35
28
1
23
8
7
3
12
2
22
2
65
42
4
22
13
35
36
1
3
1
10
8
2
5
11
32
12
1
6
41
15
29
2
17
8
1
13
5
21
4
14
34
1
3
12
53
10
41
31
38
6
5
3
20
2
16
6
5
9
6
14
13
5
20
32
5
11
10
14
1
29
2
1
4
15
5
40
2
36
2
6
11
3
5
18
9
4
2
7
7
1
11
5
5
3
18
2
31
4
12
31
7
8
39
20
8
16
3
1
3
12
7
15
18
12
2
32
23
25
2
6
4
2
36
6
14
8
13
13
44
10
7
1
21
9
26
8
2
42
8
21
4
7
10
1
5
1
4
3
20
1
3
11
27
5
10
4
21
13
18
10
23
5
3
35
6
53
12
4
9
19
19
15
4
30
3
47
2
12
5
2
10
19
10
10
2
21
3
40
19
3
4
14
14
18
17
16
2
1
7
9
5
51
18
2
23
7
11
3
3
2
23
13
12
37
18
12
4
6
7
5
4
21
4
19
9
34
21
9
34
14
5
47
7
10
53
40
44
8
15
8
5
37
9
42
26
33
10
4
4
14
16
5
11
3
38
22
25
3
3
1
9
25
8
2
16
5
9
20
4
1
4
17
2
47
24
2
4
19
5
4
14
5
6
31
1
22
18
9
5
26
6
15
27
29
9
2
8
13
2
23
2
3
3
4
2
2
18
35
72
8
4
13
31
2
12
10
7
15
1
1
15
1
10
13
7
6
28
4
5
17
30
7
11
2
26
5
17
3
11
19
2
14
4
6
25
6
2
7
17
36
30
18
7
20
11
3
7
2
10
25
16
61
1
8
6
28
42
10
54
2
8
17
38
3
3
35
2
33
41
1
1
28
15
4
14
7
52
11
26
21
11
5
14
8
2
8
12
22
17
6
13
15
9
6
1
5
16
6
14
51
17
11
7
15
12
1
6
4
3
6
5
8
1
8
6
8
5
16
31
7
3
3
17
1
5
12
5
11
11
33
9
7
3
44
13
10
14
26
4
23
2
25
48
6
33
7
43
15
2
19
3
11
15
1
2
2
1
23
47
8
11
8
2
33
14
16
12
2
1
5
8
10
3
7
3
5
13
2
5
17
12
8
3
44
5
7
1
14
9
4
8
17
9
9
19
13
9
1
18
2
17
4
9
60
5
3
9
31
27
30
56
36
36
13
5
17
5
3
18
22
3
1
15
37
5
13
16
35
7
4
5
6
1
10
18
10
3
30
28
3
20
10
1
6
26
1
2
38
2
12
10
11
3
10
6
14
32
2
16
14
27
11
3
7
2
4
3
17
48
3
6
14
3
14
16
28
16
19
8
21
34
3
7
5
2
4
11
27
11
16
10
17
25
12
1
1
3
4
10
4
9
51
2
11
4
10
4
1
1
23
15
6
9
6
6
15
10
9
9
12
24
7
41
29
1
12
3
3
1
7
3
51
17
22
19
6
1
13
25
17
9
5
23
49
41
8
1
24
3
17
8
20
4
19
6
7
3
46
2
5
6
3
29
6
18
13
2
15
1
2
2
12
11
11
16
2
26
6
14
5
49
11
14
2
13
42
7
17
4
22
58
6
8
9
1
30
3
2
4
9
11
29
3
41
1
50
6
4
16
3
30
20
8
7
40
20
2
8
12
1
11
25
14
3
60
23
13
6
2
9
5
5
22
9
5
12
26
40
5
26
1
1
43
1
2
7
43
24
12
14
17
4
4
8
9
20
1
9
5
8
1
6
3
17
32
22
5
9
15
9
9
7
3
3
17
28
1
15
14
5
33
9
10
35
1
9
6
22
5
15
18
5
4
16
1
31
1
2
55
1
21
21
14
24
18
23
3
9
3
5000 systems generated (not shown)
69621 total loops
1990 loops aborted due to determinant
average loops per system: 13.5262

Volver a Esto no me cuadra