Generador de sistemas aleatorios con solución entera.

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

Volver a Esto no me cuadra