Generador de sistemas aleatorios con solución entera.

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

Volver a Esto no me cuadra