Generador de sistemas aleatorios con solución entera.

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

Volver a Esto no me cuadra