Generador de sistemas aleatorios con solución entera.

12
1
6
4
2
34
5
4
15
12
7
5
1
40
18
4
7
4
6
4
37
6
3
5
51
3
8
18
15
7
12
38
26
4
54
8
23
47
10
47
27
28
6
23
12
9
12
2
27
2
6
2
22
31
7
13
11
16
4
6
7
10
7
4
52
20
11
14
22
5
3
9
2
12
12
10
4
3
10
3
20
15
23
13
8
23
1
9
3
26
30
5
13
20
3
14
13
8
2
15
1
19
50
8
13
18
4
27
3
27
12
44
3
5
2
6
26
4
27
21
1
9
3
18
4
9
22
4
5
18
3
28
1
2
4
17
11
1
1
15
1
20
2
6
14
35
14
17
3
6
10
9
37
2
26
4
14
3
4
52
6
7
1
7
16
8
23
32
5
6
44
7
8
24
6
20
10
2
16
37
26
5
10
7
3
48
27
6
24
9
10
20
4
19
4
1
10
9
9
22
9
17
1
12
11
3
4
27
7
2
8
19
14
15
1
3
24
10
3
9
16
4
4
21
8
9
13
1
3
7
12
1
11
28
53
2
16
13
4
5
7
1
8
35
7
17
15
11
4
2
9
19
2
20
3
14
11
1
3
12
5
11
3
11
1
22
5
9
3
7
25
1
2
8
13
4
1
47
2
32
18
10
8
1
5
4
3
16
3
2
7
66
22
1
2
16
25
3
7
3
39
22
2
4
32
7
42
42
5
27
17
9
1
8
6
40
23
2
1
20
11
3
15
9
10
33
18
30
9
17
6
26
23
2
7
10
13
3
9
20
1
14
12
11
21
7
1
6
10
20
21
7
24
8
6
2
1
1
6
3
6
37
13
3
13
13
8
4
9
12
19
68
4
22
2
1
13
31
3
26
15
11
38
24
7
24
1
2
2
34
12
24
1
1
22
28
23
6
8
15
39
14
2
2
22
2
10
7
6
3
16
14
12
27
15
7
27
16
18
43
7
25
20
1
39
2
10
2
23
18
15
8
7
1
6
9
8
37
6
1
36
14
1
4
32
23
18
4
1
16
24
9
7
8
11
5
32
15
4
53
5
11
7
22
2
53
7
42
14
46
6
11
37
3
15
10
9
21
5
8
23
22
3
3
1
4
16
20
10
15
17
13
10
11
7
4
21
9
19
25
2
2
2
10
8
20
21
4
7
13
6
15
11
20
6
12
8
28
4
3
1
19
27
9
9
27
7
3
45
36
9
12
25
4
14
29
32
23
14
4
19
6
30
13
11
31
12
17
8
68
4
21
62
1
4
35
6
47
3
11
26
6
23
3
11
5
2
4
17
61
20
9
14
22
13
12
9
37
1
15
22
14
5
13
34
44
1
6
11
10
2
22
29
8
11
2
29
9
8
8
17
11
2
8
4
22
5
16
16
50
10
14
23
12
5
1
16
6
3
1
50
15
4
5
37
75
40
13
1
34
1
2
6
12
22
10
5
4
14
38
12
3
10
32
16
37
34
17
25
28
6
24
16
6
17
4
7
4
4
8
22
2
6
1
12
6
12
3
1
17
5
2
23
13
5
19
15
9
18
1
1
2
1
9
1
4
23
6
2
10
6
23
3
1
17
6
24
3
42
3
11
2
8
25
20
6
53
8
9
16
5
1
39
16
52
4
10
11
13
3
1
1
18
14
9
24
3
13
6
3
16
3
2
24
7
6
36
7
26
13
24
3
14
3
1
16
15
6
5
14
35
12
6
6
9
13
30
3
12
47
46
39
9
3
20
9
3
2
47
2
3
4
5
27
12
4
2
15
3
11
3
1
5
4
25
33
11
23
13
6
16
2
7
6
8
6
25
16
7
21
2
24
10
15
3
12
5
7
1
14
2
13
20
19
2
94
15
6
6
5
12
1
9
1
4
14
1
7
5
9
15
10
22
17
17
4
13
8
7
13
4
19
13
37
4
32
13
54
3
7
8
8
22
103
21
6
19
6
30
26
8
18
3
9
41
3
34
7
5
3
7
17
7
14
5
16
12
9
7
3
9
23
9
15
7
5
1
43
10
56
2
8
31
2
19
22
3
18
31
35
34
15
1
4
1
7
8
2
3
6
41
21
15
1
5
2
8
13
24
16
20
8
42
11
2
6
10
15
6
9
7
34
6
13
11
11
26
19
19
5
13
8
28
7
13
11
6
13
10
10
10
2
25
10
20
7
11
12
15
3
19
18
2
31
2
22
8
1
12
6
3
12
19
2
15
16
13
4
1
1
30
1
1
25
6
2
4
28
14
19
2
15
18
4
27
13
1
4
4
46
2
6
3
3
41
20
3
5
15
25
7
8
10
7
15
4
15
12
2
37
11
47
3
3
24
1
20
6
6
20
32
2
6
3
3
26
2
4
3
15
14
18
9
13
11
12
46
2
12
3
1
9
7
1
10
13
5
13
10
33
6
19
31
26
8
26
4
2
1
40
11
13
5
8
18
9
18
5
13
10
8
2
2
10
24
2
3
16
5
1
9
10
14
15
1
11
12
4
6
13
2
14
3
29
14
8
11
6
11
7
26
5
1
14
18
22
22
9
3
6
5
13
9
21
26
8
45
17
3
10
7
22
6
20
5
4
28
40
9
12
35
7
2
21
4
5
9
9
1
10
8
10
21
15
19
12
30
6
11
26
5
19
4
42
19
5
9
16
18
38
15
47
7
14
6
1
1
11
16
35
17
5
5
1
9
5
13
3
2
1
4
28
17
24
29
5
6
12
1
22
17
50
6
20
4
1
11
16
29
40
58
10
4
14
5
31
10
35
25
36
25
17
12
68
16
6
9
9
42
2
24
5
24
9
15
12
6
26
9
2
20
36
34
18
3
7
35
6
3
18
17
15
12
5
5
4
3
6
5
13
8
13
3
9
11
3
5
6
10
5
6
3
17
39
5
8
20
57
9
6
7
14
6
9
13
38
20
34
22
1
16
6
30
1
11
8
13
18
3
1
1
27
4
13
5
19
33
17
10
27
16
48
27
42
2
1
7
48
24
4
22
27
10
1
11
22
48
32
3
1
5
5
1
7
15
2
15
10
4
8
5
29
2
8
9
11
6
37
21
39
7
9
14
12
7
8
1
3
9
13
4
6
33
17
6
15
6
15
8
15
11
3
2
5
16
4
1
5
29
4
32
3
11
21
4
29
19
10
16
1
45
6
11
1
30
2
72
34
1
14
8
10
18
14
8
4
26
12
11
5
5
13
13
91
6
21
2
9
5
6
1
6
3
2
39
3
2
15
1
47
8
4
10
8
9
45
7
3
11
24
16
5
1
3
9
7
4
31
27
7
2
12
14
24
3
2
6
17
2
13
11
5
20
2
1
2
3
2
4
11
7
30
4
21
5
19
6
10
23
14
15
23
12
6
15
18
24
4
9
16
6
3
31
9
22
11
5
8
59
8
2
8
29
6
14
6
18
7
35
16
51
14
1
26
9
7
3
6
6
11
11
4
9
23
7
9
3
10
2
6
12
31
12
1
12
9
18
6
55
10
14
8
9
20
14
1
18
5
6
20
34
13
27
13
21
13
6
15
27
7
4
6
2
26
21
3
13
7
12
16
50
1
44
9
38
9
21
25
9
4
13
8
7
14
80
16
19
17
1
6
14
10
2
1
9
7
63
6
9
77
6
16
43
34
9
7
9
10
9
10
56
12
16
11
27
7
1
8
1
20
7
17
4
5
1
7
24
6
31
12
23
11
12
1
16
18
22
6
23
16
10
1
4
17
3
52
19
1
29
10
6
2
15
12
16
17
7
4
10
9
31
1
7
5
28
15
1
3
4
3
15
39
10
9
15
1
23
10
6
8
7
8
2
7
26
2
4
7
6
29
11
2
15
1
4
2
25
21
1
1
11
47
3
7
20
18
4
49
5
6
7
19
8
5
9
3
3
16
27
55
2
41
8
2
5
30
3
6
2
29
34
7
15
33
19
7
3
2
4
8
9
13
12
9
22
15
26
7
4
4
12
14
14
9
1
7
3
22
7
10
1
2
5
18
1
2
21
7
30
23
55
1
31
1
6
27
2
33
2
35
2
1
56
17
9
7
26
2
2
4
7
19
6
16
40
28
1
13
8
6
27
22
6
12
35
13
3
20
14
27
33
14
18
3
13
10
7
31
11
29
90
24
8
1
9
11
6
29
3
1
6
5
1
1
8
5
2
16
10
10
3
10
32
7
12
11
3
18
15
1
2
34
24
32
15
9
35
42
10
6
2
1
31
24
28
15
11
9
27
3
3
29
5
4
28
4
33
2
8
13
4
29
58
24
14
2
48
9
10
3
34
9
14
4
1
16
15
13
5
28
26
22
13
5
1
5
22
19
31
6
45
19
16
8
35
35
24
7
31
17
16
12
7
1
9
10
7
2
43
5
2
6
10
10
9
5
8
19
6
9
9
27
13
2
9
15
3
8
18
17
10
12
8
3
18
10
3
11
18
15
42
11
2
1
1
11
15
22
15
4
10
22
28
12
22
10
6
1
21
4
16
9
20
15
11
5
35
15
20
11
12
2
4
4
1
9
18
17
24
6
4
33
59
4
10
5
22
4
6
3
9
20
37
12
48
35
26
50
7
1
4
9
12
30
9
3
7
10
5
11
20
9
3
26
10
4
7
9
7
3
7
5
11
7
3
3
13
12
2
7
5
17
25
15
6
55
4
44
1
10
3
13
4
20
2
16
29
6
7
9
26
7
2
1
21
15
20
1
25
11
2
10
12
13
21
10
6
45
3
14
5
14
6
1
49
4
10
18
22
29
28
34
2
16
6
39
7
8
4
15
1
45
1
24
23
16
7
3
25
75
4
25
18
6
4
14
3
2
22
10
17
4
21
8
20
5
1
7
6
21
14
19
2
42
10
5
7
2
11
16
29
23
1
13
16
21
3
13
4
12
5
7
11
7
8
1
13
14
5
29
7
22
9
20
5
2
3
4
16
8
4
3
19
22
11
16
10
3
1
26
39
13
3
3
6
5
14
24
26
41
7
15
9
36
11
15
55
31
1
31
4
7
22
19
4
21
18
33
17
12
10
17
6
1
15
24
1
4
3
13
24
13
41
20
14
21
1
12
14
16
31
3
9
32
4
5
6
16
2
10
21
56
4
22
14
6
7
3
8
7
27
72
12
9
5
37
8
18
13
5
2
4
7
15
2
12
24
4
10
29
8
12
64
2
4
13
42
5
25
31
7
6
1
57
50
48
26
5
9
2
3
3
14
22
4
48
5
7
2
4
13
6
2
1
9
17
85
4
19
35
11
20
5
2
3
2
6
9
2
25
3
18
5
11
2
4
55
3
3
15
15
12
15
21
2
2
2
12
2
17
11
56
7
15
16
13
3
34
6
1
14
5
8
62
11
28
2
23
2
4
18
14
4
3
16
33
9
34
18
3
2
14
5
74
1
9
4
19
3
14
5
4
39
25
6
9
12
10
5
54
1
7
18
10
8
4
3
13
26
14
3
19
6
15
11
37
22
23
2
9
19
9
6
18
17
44
5
9
27
35
15
22
7
4
5
8
17
26
13
7
16
11
12
1
1
52
24
3
7
40
8
18
4
20
11
5
10
10
3
15
13
34
7
23
18
5
25
1
19
16
17
3
8
5
6
15
7
33
24
5
12
3
8
21
32
9
2
38
14
36
9
5
11
12
39
5
15
6
12
9
24
3
2
2
49
40
8
22
38
5
6
8
18
10
5
12
1
14
14
2
4
4
4
4
4
33
54
2
6
8
25
12
7
8
9
14
5
2
7
7
18
41
8
28
14
5
9
1
16
3
4
27
2
14
15
16
17
16
19
24
12
4
1
8
8
6
10
52
4
27
25
15
10
2
5
18
50
1
21
19
27
7
18
24
1
2
8
3
10
6
25
24
18
10
11
3
19
21
5
25
3
43
26
43
27
1
5
25
9
7
4
7
34
9
1
45
2
5
2
6
47
9
24
23
3
10
10
5
17
7
1
4
5
2
3
9
11
2
14
20
6
11
6
1
20
6
20
16
19
26
11
2
25
6
9
13
3
1
3
16
34
8
7
11
6
8
41
10
5
26
11
29
15
1
8
9
1
25
3
19
12
5
7
11
14
12
57
1
23
6
19
5
28
15
21
13
7
3
2
9
2
9
7
2
14
35
49
1
9
1
1
4
2
6
1
22
38
14
3
7
5
3
22
8
8
39
34
2
5
10
6
4
4
15
33
15
6
22
17
1
24
3
4
11
2
7
2
50
1
2
3
5
20
36
17
19
7
18
8
15
2
5
9
2
4
8
14
31
26
8
12
39
27
5
23
27
25
6
1
5
25
21
8
41
3
5
16
6
21
1
1
5
8
14
26
28
1
31
10
23
6
22
4
11
6
35
20
8
17
7
22
23
6
15
2
22
13
44
41
5
6
31
20
1
5
6
3
3
8
24
5
14
18
13
11
15
8
24
2
11
18
9
20
3
6
46
4
4
7
13
15
27
7
24
27
10
52
13
16
4
10
40
13
1
4
6
2
62
9
13
2
1
10
17
2
19
6
4
1
2
6
24
13
23
11
3
16
10
6
12
1
8
12
5
6
5
10
5
6
21
8
1
1
6
3
10
39
5
6
3
8
11
2
10
16
8
18
5
4
25
32
46
8
9
74
4
4
9
10
2
1
3
13
4
3
29
5
23
19
7
11
12
2
6
6
5
2
11
20
1
14
32
39
12
22
12
1
10
6
9
23
24
15
3
16
12
2
1
2
36
1
10
13
15
95
36
1
36
34
1
16
4
15
17
2
11
6
22
2
12
2
22
1
10
20
2
18
15
2
8
2
1
23
18
10
70
41
8
46
2
9
2
7
8
1
11
43
3
33
2
23
3
23
6
8
9
29
3
2
3
18
5
7
29
8
36
43
9
18
1
4
18
9
6
6
1
10
3
29
8
1
2
11
13
17
44
52
31
2
9
1
5
1
48
2
22
5
1
13
2
31
5
11
31
12
2
5
16
4
1
4
7
1
44
4
1
26
29
13
8
1
1
1
7
6
29
18
7
8
3
21
18
6
52
9
12
13
10
7
5
16
6
8
1
1
2
13
10
14
27
44
21
19
25
12
25
8
2
1
5
6
2
7
12
21
3
22
57
21
7
7
33
11
10
1
3
9
15
9
12
35
9
7
4
35
22
18
16
7
19
7
4
1
5
2
4
15
31
50
14
13
20
16
15
1
6
4
10
15
4
29
3
4
21
1
18
25
3
16
10
8
5
2
12
64
3
42
23
49
4
3
7
5
7
7
10
20
2
5
13
12
33
10
2
10
6
1
5
17
6
9
3
9
10
13
15
9
4
65
4
8
2
18
3
10
8
42
22
38
17
8
4
20
22
12
18
12
2
3
8
7
31
12
61
33
15
32
14
9
13
6
23
8
33
44
6
18
10
20
2
26
37
8
7
21
38
24
15
3
20
22
7
10
6
1
20
33
40
9
5
2
4
1
3
31
11
28
27
26
1
11
15
2
55
16
3
1
1
2
16
28
22
2
6
3
1
16
23
3
8
16
29
48
34
3
28
23
4
9
12
5
6
2
10
20
1
1
17
2
9
2
20
11
15
5
28
3
45
1
6
17
22
12
8
2
6
2
53
6
38
16
16
3
46
4
16
11
9
1
34
4
31
27
2
11
32
7
18
4
22
16
4
45
14
6
28
4
49
1
9
13
4
44
25
6
6
5
4
5
9
12
11
37
21
14
4
1
13
28
13
6
3
7
33
3
20
6
43
5
40
8
1
9
1
35
7
31
8
8
1
22
9
1
2
9
13
18
4
19
1
7
1
17
12
1
2
1
3
9
26
10
59
26
1
12
19
4
33
17
10
35
3
56
35
19
8
9
8
4
16
12
4
5
19
9
1
22
6
15
8
22
12
15
12
12
33
13
7
19
17
55
31
16
2
1
15
30
62
16
4
5
14
7
22
6
9
3
12
3
21
3
10
8
27
11
20
10
2
7
3
14
28
2
4
4
3
13
12
1
3
12
38
4
1
9
4
2
7
6
1
5
10
1
31
1
2
43
26
3
4
11
2
2
14
3
23
12
3
9
74
28
66
10
20
13
16
4
5
14
4
10
18
4
2
15
2
5
22
13
2
2
7
7
30
7
1
6
13
2
17
39
7
10
4
3
25
5
9
2
17
31
1
27
4
22
38
8
43
8
17
9
17
3
3
17
6
1
3
38
7
8
47
14
35
17
19
41
2
27
22
20
5
37
23
32
55
28
4
10
21
4
6
22
4
6
3
14
12
15
6
7
12
1
31
30
6
2
15
7
10
6
2
30
5
18
22
4
14
15
8
20
13
2
25
12
7
40
5
6
18
7
2
31
10
22
16
18
12
10
6
19
5
51
3
3
4
16
8
18
2
9
3
17
4
16
14
3
2
16
18
18
5
38
17
11
3
9
16
9
4
29
30
16
12
15
43
8
3
7
13
25
4
17
4
4
17
9
14
27
27
6
8
1
21
19
11
5
28
3
4
22
5
1
14
5
1
21
4
4
10
34
3
41
19
2
6
4
12
5
1
14
8
2
59
1
4
37
4
5
4
1
6
1
15
12
8
3
3
4
3
36
21
36
29
3
13
2
14
17
34
8
32
7
11
6
4
33
11
29
17
7
2
7
38
27
17
24
13
11
4
4
24
18
1
2
8
1
1
39
1
26
13
15
3
52
10
1
11
19
72
8
6
10
7
24
6
6
21
1
15
11
4
5
4
14
19
17
3
7
18
4
18
1
8
1
5
8
5
18
57
4
21
8
15
26
16
28
24
14
1
17
33
1
4
1
35
4
5
5
22
16
11
30
28
51
5
3
1
53
12
2
18
3
21
19
7
5
4
47
3
10
6
4
13
3
21
4
7
7
9
9
11
12
1
25
5
29
47
2
21
12
22
17
33
12
41
42
20
11
5
1
36
8
11
1
4
13
20
1
1
7
7
22
9
7
9
40
29
6
5
8
31
5
15
11
30
7
9
49
1
16
6
14
4
1
22
23
38
8
11
11
1
5
21
5
28
26
8
35
8
15
3
4
21
22
11
13
30
26
1
16
9
3
4
12
3
10
8
12
7
19
1
4
4
5
10
15
1
2
3
18
8
8
26
2
1
11
9
3
7
4
11
8
24
24
38
22
18
2
7
15
37
6
16
76
7
12
10
17
10
3
33
19
16
30
11
3
21
34
45
3
23
2
6
4
1
12
16
3
2
2
7
2
76
65
18
6
13
7
45
47
9
2
7
13
32
21
36
27
12
65
17
15
7
5
10
14
4
13
13
5
1
43
18
51
6
20
13
7
13
30
4
15
1
5
8
7
33
23
1
2
9
6
7
14
5
22
3
7
5
57
2
1
19
3
62
29
5
2
57
38
17
9
47
9
3
26
7
11
12
38
4
12
4
32
9
16
44
19
24
5
17
1
16
8
2
6
11
8
7
1
10
1
51
24
2
1
35
8
2
7
10
8
3
6
29
18
1
14
11
1
11
8
8
7
6
4
35
24
23
6
33
29
15
10
12
10
2
21
7
5
18
18
3
3
44
6
1
32
10
4
16
15
56
3
11
5
8
18
4
5
24
49
37
4
19
37
3
22
24
11
11
19
2
11
16
13
46
19
3
20
3
21
7
4
2
9
2
3
2
1
25
22
1
21
1
48
10
25
5
13
55
16
15
7
47
18
6
7
8
3
51
10
31
84
5
13
6
12
5
16
10
9
3
20
9
10
25
3
11
17
11
16
60
17
16
9
14
26
13
1
9
29
2
17
5
10
32
1
2
4
10
6
6
8
15
16
5
16
3
2
6
13
12
9
5
2
33
21
10
20
23
20
1
12
17
4
3
6
12
16
14
1
21
12
3
6
10
12
12
8
25
18
14
11
18
30
6
4
1
19
3
12
70
22
3
19
42
5
35
6
31
29
8
4
4
1
3
8
22
8
45
5
2
8
11
20
16
4
4
3
33
18
31
14
19
1
5
10
1
26
11
9
10
9
24
10
5
3
14
9
25
29
9
7
7
22
11
3
38
24
22
2
8
10
13
5
14
1
2
13
4
33
2
4
9
5
5
9
24
5
4
22
47
7
2
7
7
34
9
2
50
6
5
7
8
31
39
4
6
9
8
1
25
1
4
8
6
6
16
8
9
2
10
10
16
6
16
19
7
3
7
7
2
32
5
17
28
2
11
4
5
47
14
4
19
44
9
7
1
19
5
31
5
45
13
27
1
21
48
13
10
2
18
5
29
1
42
2
9
2
8
11
7
16
2
3
12
11
13
38
12
21
27
4
5
1
13
5
78
5
20
8
42
16
13
33
12
9
19
31
20
21
2
25
7
36
23
33
14
14
18
3
2
13
6
24
14
23
46
1
35
28
10
1
1
27
19
24
2
5
28
14
1
28
30
15
19
10
13
7
3
1
25
9
11
2
18
2
7
6
17
12
7
21
16
5
9
11
19
23
2
24
8
29
2
22
14
9
8
4
7
10
28
34
10
7
37
2
14
9
19
5
12
9
31
11
47
5
3
21
11
4
20
5
2
22
8
19
3
29
7
8
5
3
91
22
37
23
18
30
12
16
28
8
2
8
25
5
10
17
1
8
16
1
6
21
22
10
4
7
3
16
50
53
1
4
25
5
11
25
1
5
11
5
27
1
10
14
33
18
14
2
18
17
14
3
1
17
12
3
12
1
1
3
9
9
3
1
26
3
3
21
14
1
11
31
3
34
32
1
12
12
48
30
4
1
20
41
20
98
2
1
9
13
30
37
15
1
6
6
3
2
30
54
2
1
5
31
9
1
7
4
4
1
7
14
4
25
8
21
11
4
16
4
1
2
9
6
11
15
11
9
18
14
4
49
4
32
29
3
1
20
8
1
8
2
3
3
11
53
9
1
11
5
22
8
3
11
4
6
2
17
9
3
40
15
22
4
36
3
7
41
7
3
2
12
23
4
6
14
13
22
2
12
7
4
5
9
6
7
7
6
24
6
7
16
5
26
32
46
2
5
22
4
33
25
6
60
16
1
9
4
6
19
2
28
76
8
1
22
38
29
14
9
32
13
6
36
28
34
36
1
23
15
17
6
18
1
20
9
1
1
16
13
19
22
17
3
9
6
3
3
4
4
4
13
8
18
34
13
11
18
23
2
44
1
6
9
6
29
2
32
3
26
14
10
12
10
2
3
26
17
1
10
22
5
8
42
37
3
3
21
31
15
26
7
5
1
3
10
9
3
8
14
5
3
28
27
20
6
3
18
12
1
1
11
15
33
7
8
4
3
7
35
29
1
11
1
6
11
3
19
24
18
4
4
30
19
16
5000 systems generated (not shown)
71197 total loops
2017 loops aborted due to determinant
average loops per system: 13.836

Volver a Esto no me cuadra