Generador de sistemas aleatorios con solución entera.

6
15
24
8
2
2
12
3
10
1
23
1
2
6
3
33
4
4
14
6
5
26
36
19
3
30
5
10
12
10
8
11
2
21
18
33
12
6
3
6
2
51
24
5
20
16
1
7
7
5
36
35
38
24
62
4
2
5
6
1
14
7
17
12
10
2
9
7
12
12
29
3
2
10
6
14
12
1
16
8
91
8
18
23
17
30
5
9
2
7
9
19
2
9
11
36
63
8
25
19
53
14
36
6
4
9
7
18
8
13
13
18
10
45
2
10
17
60
15
2
2
3
1
23
30
3
70
9
25
3
15
5
4
16
4
8
17
20
5
2
20
17
8
5
16
63
13
14
5
1
8
14
37
4
22
2
4
14
2
2
13
58
16
20
2
1
3
13
12
4
17
2
2
9
7
51
38
2
2
5
17
7
5
8
27
2
1
18
21
3
1
25
9
6
16
4
1
7
30
1
4
2
13
1
7
6
6
4
1
1
11
1
30
6
4
1
6
1
60
41
2
1
15
6
33
7
4
13
15
11
6
4
2
3
10
13
45
18
12
8
8
5
19
3
14
19
10
28
43
2
5
34
31
19
10
4
21
11
31
10
10
1
15
3
17
5
26
6
52
13
2
23
3
1
9
6
17
3
16
6
36
16
1
5
4
21
1
5
7
4
3
3
31
5
4
5
3
5
3
29
1
18
14
1
8
34
3
21
7
6
4
24
19
11
4
22
16
21
5
2
19
8
2
12
27
3
2
8
4
7
2
27
7
15
8
38
5
7
1
48
32
2
28
14
18
4
51
6
14
5
32
10
30
37
1
5
31
2
26
8
4
4
8
9
6
16
3
15
34
1
5
3
5
14
15
1
21
9
8
24
28
43
9
9
10
5
16
8
1
2
5
26
5
7
2
53
16
16
24
7
1
21
47
6
13
35
1
8
12
7
2
8
3
32
30
6
35
22
8
4
9
27
20
1
2
19
4
12
7
15
12
14
1
4
19
17
18
9
24
17
3
2
8
6
13
4
6
14
36
2
7
10
12
23
20
1
2
2
53
8
15
7
1
2
15
20
4
62
7
2
11
58
26
3
31
2
13
6
13
3
27
2
3
6
28
1
2
29
6
13
27
5
12
1
31
28
13
13
4
12
15
4
2
15
23
6
9
33
11
12
1
7
5
9
3
13
21
9
8
14
5
10
3
2
12
20
42
27
16
6
33
1
10
3
51
14
7
4
39
20
10
29
21
2
23
9
5
5
21
2
6
6
27
6
6
4
2
30
22
4
4
12
19
10
22
14
2
13
6
8
9
5
4
6
6
10
2
5
10
43
20
4
1
3
11
1
2
13
31
23
9
3
10
11
19
6
7
10
11
22
4
35
21
7
17
7
18
18
20
16
4
21
8
8
4
21
10
7
28
25
54
4
1
9
28
18
34
17
18
21
7
24
16
15
4
31
6
6
28
6
8
14
33
23
20
39
29
13
35
20
3
8
27
24
11
9
20
1
42
1
4
58
2
43
7
22
11
6
30
6
6
15
4
4
26
21
30
25
6
12
23
6
4
28
2
2
1
17
1
6
2
47
1
1
13
2
1
4
44
1
11
5
27
7
13
8
5
3
8
4
11
2
3
43
9
16
12
28
2
8
20
20
1
50
17
29
8
4
25
18
7
27
58
29
1
7
6
8
15
5
10
20
27
12
3
20
25
10
20
7
30
5
9
31
21
42
8
1
38
6
10
10
75
15
2
37
9
46
2
2
7
9
19
6
20
11
5
16
13
4
4
43
60
5
2
8
9
10
17
9
6
5
12
14
59
13
31
9
11
6
14
2
5
2
1
20
22
45
3
11
5
1
7
8
26
3
3
7
16
2
13
1
43
5
2
34
6
19
38
13
34
5
2
19
52
17
13
1
15
8
28
9
21
8
7
49
1
23
32
3
5
14
2
18
29
3
5
8
64
39
2
4
4
13
3
3
15
16
10
10
4
3
16
8
3
1
21
9
4
8
30
8
18
8
46
11
9
2
25
1
2
8
22
27
14
4
7
20
5
17
3
19
8
28
43
3
19
63
35
9
13
6
1
8
13
12
8
12
12
5
3
12
8
30
17
4
4
8
12
9
1
3
9
2
24
7
16
8
1
5
4
7
16
17
34
2
30
16
12
1
3
16
7
21
5
10
3
3
41
2
2
10
3
14
2
10
6
6
4
14
6
18
21
32
11
9
26
24
20
6
14
64
26
8
19
17
9
17
1
7
6
5
29
12
26
19
7
7
27
6
7
2
3
8
31
3
10
1
1
19
11
6
17
27
18
6
14
2
21
42
2
21
4
10
1
4
25
7
37
22
45
1
33
12
32
27
9
15
17
2
10
14
6
1
43
10
3
13
15
10
13
5
18
3
3
16
15
13
2
4
9
32
9
1
10
1
13
47
11
12
23
4
19
3
1
14
10
24
4
2
6
9
4
17
28
28
1
4
13
31
1
3
14
6
4
2
5
30
22
37
26
6
9
12
44
14
8
42
63
1
11
7
4
20
14
7
35
5
1
6
22
19
6
16
19
13
20
20
12
3
14
13
11
22
7
14
2
4
5
6
15
5
1
2
49
10
11
12
14
2
13
1
17
7
19
5
14
7
11
2
40
30
39
5
1
13
88
9
9
5
4
15
10
6
1
9
16
12
1
29
8
17
5
2
12
8
7
2
8
15
4
4
7
6
37
12
36
11
17
6
6
7
4
7
6
17
12
27
45
6
47
11
7
15
17
23
1
6
13
18
29
33
8
22
8
15
16
16
1
22
7
8
1
13
5
23
2
5
4
1
4
50
34
16
3
7
7
44
7
4
41
14
12
4
50
15
49
12
3
8
6
3
11
1
5
15
3
29
1
1
6
12
67
4
1
21
5
29
3
11
12
1
1
7
22
33
5
18
2
8
24
1
29
14
6
50
6
13
50
44
22
6
13
6
11
7
6
23
32
17
5
18
21
1
7
21
18
8
13
20
2
2
8
2
24
9
3
1
4
7
11
5
10
12
4
5
45
1
12
3
8
22
24
5
16
1
28
5
6
45
14
13
51
11
17
11
7
1
41
26
17
11
7
23
4
73
3
26
4
3
8
1
10
7
4
10
6
24
11
2
8
20
15
2
9
25
21
9
3
42
17
5
1
34
32
12
36
6
34
10
6
38
28
7
20
27
32
13
1
16
5
14
12
7
5
23
1
8
17
27
2
2
4
8
44
3
74
2
3
12
8
5
9
12
14
2
45
7
23
11
3
5
6
8
15
9
29
5
1
3
5
3
5
6
1
2
25
12
3
9
3
3
1
25
73
9
9
5
8
32
9
1
52
3
2
26
10
7
15
2
3
1
18
11
12
22
26
2
2
3
52
9
1
9
13
3
33
1
27
2
15
19
3
1
8
25
1
1
2
14
1
19
18
31
1
27
3
9
10
9
4
5
7
38
75
24
11
3
2
6
30
5
37
5
5
7
29
6
11
23
5
49
20
18
5
3
4
25
7
7
8
5
3
2
15
2
11
7
6
2
7
7
2
26
9
17
8
3
23
11
2
4
4
3
22
16
8
34
3
39
12
16
16
12
9
5
3
37
12
16
23
11
25
8
7
20
19
16
12
2
19
26
5
5
13
8
29
33
18
37
8
17
7
6
8
47
27
7
17
16
6
9
23
7
15
24
1
3
24
12
80
8
4
13
12
32
38
21
9
17
23
8
25
14
13
11
3
18
2
26
1
4
1
5
3
3
6
2
58
11
37
36
13
19
1
35
15
28
52
13
12
23
2
18
29
17
2
8
4
23
8
2
25
7
18
2
13
1
7
33
9
26
3
1
7
5
32
19
20
2
5
19
13
2
1
9
8
4
19
4
10
9
14
18
13
14
49
36
3
9
16
6
48
3
10
17
27
18
3
20
6
9
22
32
20
8
11
56
1
6
11
1
20
16
2
2
19
14
30
15
57
30
8
6
37
6
4
22
18
1
6
25
9
9
14
4
26
29
22
10
6
2
24
5
3
7
5
4
2
44
25
11
14
27
2
8
2
8
10
1
27
10
8
6
1
6
3
1
3
10
14
9
15
1
10
12
8
3
3
4
2
41
12
4
1
1
9
1
4
2
50
5
14
9
19
43
1
41
11
9
8
22
6
65
9
1
5
14
5
11
25
1
2
52
3
16
41
16
28
16
3
11
28
10
14
9
9
1
12
5
1
29
26
10
5
14
5
3
4
9
5
24
37
12
9
28
8
7
28
13
9
5
2
9
2
3
5
5
4
24
29
13
2
80
11
15
3
29
42
2
9
8
2
29
14
13
5
11
26
11
1
20
8
4
9
25
2
20
4
9
42
7
4
37
2
4
7
25
7
1
26
5
2
13
7
6
6
10
30
12
1
16
3
7
20
50
5
20
1
14
2
13
5
1
3
6
13
8
10
2
4
7
36
12
7
10
11
22
23
37
3
13
10
9
7
39
11
20
27
21
23
10
6
20
9
7
32
6
16
5
19
28
31
18
6
9
20
20
37
17
8
15
14
12
2
38
30
16
8
20
3
20
14
12
8
6
1
15
8
42
6
12
2
3
4
12
1
9
42
3
2
8
20
5
6
20
10
8
24
26
17
5
3
7
5
9
5
24
3
17
2
12
7
1
25
12
10
5
45
9
23
41
1
5
3
15
2
1
45
9
14
32
4
5
3
5
6
9
1
6
19
10
1
15
44
49
7
12
3
8
1
12
14
2
21
1
6
9
5
21
5
1
46
5
7
7
3
24
56
1
72
2
27
14
8
5
4
2
15
5
3
1
3
10
21
29
23
6
11
13
6
9
4
6
41
1
4
54
6
3
16
7
4
1
25
1
1
1
6
2
3
2
15
77
32
12
1
3
7
6
3
15
6
19
1
16
7
6
5
10
8
4
12
14
1
21
34
5
9
33
17
3
6
36
10
1
4
13
30
5
11
8
27
11
2
2
15
19
4
7
22
102
7
8
7
7
40
8
13
5
16
15
5
5
11
3
57
20
12
16
5
19
1
5
8
6
4
6
1
6
12
16
4
11
1
9
19
13
11
4
5
3
27
5
11
32
4
28
27
70
2
41
8
19
14
6
18
2
1
5
1
4
7
5
4
3
17
18
9
9
37
1
45
3
22
8
1
17
7
16
6
6
1
3
19
15
3
14
16
2
22
31
16
2
15
31
21
15
13
1
5
5
30
19
14
12
17
3
25
17
36
29
10
28
3
16
31
5
3
51
40
29
8
10
18
25
19
8
1
8
7
4
22
23
6
48
14
13
3
17
22
3
8
1
3
49
4
56
4
8
25
3
6
3
43
9
19
8
25
12
1
24
1
10
2
11
8
14
3
9
1
4
16
4
9
11
4
5
34
6
37
7
12
13
68
4
11
13
1
12
32
2
34
14
18
1
7
5
21
8
10
5
7
33
6
16
1
3
17
24
4
1
22
10
56
21
10
31
6
9
22
5
12
44
10
10
1
18
7
6
12
2
14
2
25
5
26
7
6
15
21
4
7
8
65
1
4
3
11
1
6
7
32
18
19
42
45
10
30
18
2
13
2
13
13
2
4
1
9
30
10
10
6
16
17
6
3
12
11
8
39
1
5
4
28
14
3
22
6
19
3
18
4
7
13
4
2
10
29
3
31
20
7
1
2
29
6
4
13
22
5
3
3
10
8
2
5
5
11
29
18
13
1
26
24
34
22
2
9
32
18
7
5
2
9
4
28
36
9
18
8
11
3
17
30
4
19
8
7
2
4
28
8
4
1
2
3
34
13
7
2
4
12
19
26
3
22
7
37
12
76
9
7
28
2
19
18
4
6
8
8
5
3
36
14
40
5
13
21
11
13
3
45
3
13
1
2
10
13
6
1
16
20
15
22
2
8
16
4
5
10
1
18
4
1
4
4
26
7
4
36
2
29
8
3
15
9
15
11
10
33
38
8
5
2
27
3
20
4
16
11
26
1
4
47
40
4
3
6
4
1
2
2
38
17
26
2
3
25
46
18
11
4
12
3
48
20
33
48
16
45
16
10
23
17
14
6
5
3
15
35
5
7
3
11
1
12
26
2
2
9
6
1
13
31
3
54
14
7
9
4
3
13
18
2
9
43
7
4
40
4
13
22
3
7
3
12
30
1
43
7
11
19
30
7
14
2
1
20
12
10
23
5
24
13
2
7
2
9
17
7
16
19
13
6
17
2
2
26
1
9
5
13
27
4
3
27
7
4
10
5
2
22
19
6
14
9
1
24
5
15
4
5
8
36
21
1
32
5
3
6
4
57
27
6
6
7
16
7
15
5
3
8
8
3
12
8
14
10
5
12
12
7
2
4
10
40
6
20
4
4
6
21
2
4
1
12
10
8
4
4
14
34
16
29
7
6
15
13
7
2
1
24
11
10
2
34
5
11
9
16
35
10
8
18
1
25
4
5
8
6
14
3
26
4
4
7
1
9
15
37
39
42
10
8
4
22
9
18
2
5
10
10
2
12
23
47
2
5
5
1
28
2
40
11
9
13
29
2
5
7
2
4
35
15
32
5
18
47
28
19
19
14
5
9
2
12
1
20
2
4
2
9
7
4
16
4
2
12
16
10
5
35
12
13
3
1
4
22
9
1
4
11
75
11
88
8
7
5
11
10
1
2
11
19
11
4
7
2
20
30
9
37
9
7
16
4
29
6
8
5
18
31
35
4
19
16
11
10
1
12
8
1
11
19
32
39
8
5
18
56
2
2
3
6
2
8
6
12
6
7
7
3
13
5
7
65
6
4
13
5
18
3
13
26
7
13
3
12
7
1
16
38
16
10
3
9
7
12
3
31
7
12
31
3
4
52
80
3
6
57
8
12
11
5
24
4
18
1
11
7
1
12
54
1
10
10
11
14
11
10
33
1
5
2
13
28
23
22
2
7
2
4
13
9
1
19
9
8
7
6
14
21
6
8
17
10
65
12
5
15
1
2
12
28
9
4
8
26
2
4
21
15
14
26
7
4
7
2
5
18
10
3
1
10
30
8
9
4
10
6
8
12
24
11
4
17
20
1
23
10
23
7
6
31
10
16
20
22
34
13
50
21
2
16
12
6
3
1
3
64
8
3
14
20
4
5
3
9
2
1
4
2
11
1
5
3
4
5
14
6
19
7
6
8
37
4
35
2
1
30
7
23
3
6
9
8
40
82
17
3
25
26
1
1
10
1
8
8
4
14
20
3
4
12
13
3
39
14
23
1
8
3
2
2
36
8
16
21
10
9
11
14
5
8
12
5
4
6
23
63
3
5
5
1
36
20
3
11
4
39
5
10
32
27
33
8
13
1
68
13
13
18
10
28
51
11
2
17
6
12
47
20
38
16
3
6
26
9
4
2
17
9
86
4
14
11
22
27
9
2
4
10
4
18
14
55
41
5
2
20
2
9
21
3
3
21
4
8
5
23
3
22
20
4
45
24
45
5
31
8
3
9
16
25
3
10
1
23
23
2
2
9
4
23
9
17
17
30
12
3
7
23
6
34
3
38
7
5
7
3
7
4
8
5
7
7
1
19
9
13
1
9
19
17
1
6
23
6
12
1
4
53
1
16
28
12
6
6
20
5
28
11
9
16
26
3
16
25
25
2
8
25
12
15
5
19
8
25
8
9
6
6
2
23
9
36
3
3
7
21
2
6
2
4
27
10
45
16
8
9
21
8
6
22
36
13
23
16
9
2
7
3
23
18
24
13
3
1
7
14
2
15
5
25
8
11
31
43
16
14
12
17
22
5
7
23
16
16
47
13
1
11
11
8
12
25
9
63
5
2
7
7
4
16
2
14
19
14
1
15
9
6
2
3
34
18
4
5
28
50
8
3
19
17
2
22
2
18
6
4
43
2
5
2
4
33
38
20
3
13
7
7
2
15
3
11
12
6
18
27
9
12
2
28
4
2
12
5
7
5
23
3
10
10
51
23
19
10
2
26
18
7
11
3
14
13
35
8
7
5
18
16
18
23
2
16
9
42
32
3
18
7
15
8
1
3
13
8
42
34
19
22
17
11
10
57
4
8
5
1
19
14
3
7
12
15
28
23
4
24
18
16
8
19
1
18
8
21
5
28
33
27
33
31
3
35
5
35
22
22
5
5
1
5
2
12
22
5
6
11
35
2
3
11
5
28
1
4
6
6
27
1
3
7
33
14
10
11
8
46
2
3
37
5
4
16
7
11
6
27
13
23
34
12
26
1
47
33
3
4
3
17
11
31
19
49
21
19
8
11
15
8
18
37
4
20
3
16
4
8
3
9
8
4
42
11
5
3
7
17
50
13
2
3
16
4
1
5
45
27
8
13
25
28
2
19
2
10
42
2
8
8
2
2
43
12
10
14
5
9
7
5
16
6
20
3
25
26
29
14
19
11
14
59
6
29
8
14
3
1
20
2
17
1
5
63
1
33
2
10
21
1
2
1
27
12
21
8
18
38
12
10
12
21
1
20
3
4
10
2
64
12
3
20
13
24
31
4
4
34
63
1
1
8
33
1
7
9
30
6
37
34
8
12
3
2
2
20
12
14
4
9
19
8
37
6
1
29
9
3
11
5
14
3
20
3
12
21
12
3
3
1
19
10
1
23
42
2
8
1
6
28
17
15
21
1
13
22
9
65
3
10
17
11
6
76
9
13
22
10
32
7
32
14
12
5
29
30
7
2
17
20
29
29
12
11
6
13
9
1
9
1
39
7
18
1
14
2
3
11
50
18
22
23
2
4
2
37
53
12
4
34
2
3
11
5
4
95
23
1
1
10
10
6
3
3
4
6
20
9
8
3
11
1
13
12
2
8
9
19
2
15
6
11
12
6
7
6
2
20
20
3
26
1
7
3
6
6
4
15
56
6
20
18
14
4
53
8
29
6
16
10
15
26
12
23
6
7
20
21
3
25
11
32
43
10
33
7
2
7
7
17
35
17
7
6
5
39
2
12
1
3
21
34
6
9
8
14
24
17
77
10
15
3
15
10
1
9
4
9
9
9
8
8
40
40
4
14
25
4
4
3
2
10
24
5
9
18
39
5
17
10
4
2
26
15
11
3
2
5
49
2
41
9
8
14
46
9
2
1
9
6
42
13
7
3
6
6
9
11
11
6
7
28
18
14
10
10
7
6
3
12
4
2
33
42
10
14
3
7
7
49
1
3
37
33
7
30
3
27
20
7
1
12
2
2
5
4
5
3
4
25
8
7
10
15
2
41
24
6
4
2
14
2
43
8
1
3
10
3
27
14
19
9
14
1
7
6
9
4
15
14
11
1
9
9
1
8
17
20
9
7
30
7
1
10
21
20
19
12
6
2
50
7
17
1
20
11
3
34
8
20
1
2
4
1
5
6
11
48
3
11
44
37
7
1
3
1
13
1
5
4
9
5
39
15
69
35
9
5
24
3
5
11
1
20
20
15
43
15
5
9
20
6
1
5
1
16
3
5
17
1
1
5
6
17
2
10
22
1
1
17
18
11
13
22
1
60
6
46
1
6
12
13
2
12
25
77
4
3
37
20
20
8
13
62
14
5
1
17
16
3
24
2
6
14
13
5
26
5
4
14
24
1
4
8
23
21
35
2
1
14
52
1
3
23
12
15
13
34
15
3
3
5
2
39
15
24
11
8
58
23
7
14
34
33
3
1
4
17
4
17
2
14
2
15
33
10
48
2
1
15
7
5
6
3
39
20
4
41
7
28
19
3
9
9
9
41
8
33
2
2
33
4
20
20
4
19
33
1
22
4
1
1
4
9
2
5
15
7
18
2
32
23
7
1
4
13
9
12
19
20
2
4
20
11
37
3
12
14
10
4
17
21
42
10
22
15
10
3
8
13
11
2
19
3
12
24
8
1
30
17
1
10
2
1
5
2
13
4
21
9
37
7
29
10
19
8
15
6
4
7
23
19
9
5
17
20
18
9
7
2
9
37
31
4
25
2
10
8
10
2
3
2
3
9
5
2
37
14
1
7
23
10
15
8
53
5
7
11
5
31
5
13
20
14
33
6
21
22
11
5
2
6
19
13
28
14
2
2
4
11
17
33
6
10
9
2
23
3
4
2
28
5
24
2
9
1
3
19
9
4
4
11
42
12
14
3
11
1
3
1
57
2
15
14
3
10
7
17
32
1
16
2
53
2
14
44
4
4
6
11
6
38
2
21
4
2
33
18
7
1
43
17
20
9
12
5
21
14
22
8
3
13
39
3
5
15
8
33
6
3
30
6
18
6
10
9
7
6
14
15
3
2
6
7
23
5
12
16
23
1
1
13
38
4
41
6
10
19
21
15
1
15
11
28
3
11
18
3
1
3
1
23
9
33
18
6
6
3
9
11
5
62
13
9
13
9
22
7
1
10
39
7
8
2
23
24
3
2
22
9
13
5
25
24
4
24
35
4
27
4
22
35
10
8
7
19
3
1
1
7
3
21
6
68
13
18
9
7
20
4
25
2
47
11
36
10
6
9
13
27
2
2
2
18
3
7
18
4
12
3
3
16
1
2
11
1
9
1
7
8
1
3
18
1
3
7
10
16
3
5
21
26
35
8
1
2
12
15
21
10
17
5
8
21
15
8
8
18
34
13
42
8
2
7
3
1
11
38
13
115
28
10
12
35
2
7
14
11
2
37
7
9
3
15
39
3
22
8
23
12
1
11
4
1
10
12
9
2
18
4
4
27
3
14
5
5
3
9
6
9
1
7
15
1
3
1
6
5
1
9
13
1
20
8
2
44
15
9
47
40
3
7
1
7
3
19
14
19
25
2
6
6
12
28
1
6
5
5
1
8
14
3
57
28
9
35
10
4
4
7
2
2
10
30
17
1
10
42
2
23
3
12
4
22
27
9
44
2
35
8
37
11
1
2
15
1
3
13
36
5
11
8
20
21
10
29
14
9
1
3
13
21
40
14
11
4
21
6
24
8
6
23
7
5
14
20
12
4
8
30
2
24
34
2
11
3
19
4
11
9
1
2
3
44
3
6
3
46
5
25
14
23
3
9
28
5
17
3
12
40
2
3
10
36
2
14
32
1
17
5
23
4
5
13
17
1
2
15
3
8
7
13
1
58
18
15
20
3
3
20
12
1
1
5
15
8
44
4
2
4
17
25
25
15
10
11
18
37
27
7
3
20
19
24
8
9
1
13
7
52
23
16
8
5
9
9
4
1
1
18
8
27
49
5
5
18
14
4
9
10
11
8
55
64
1
1
9
12
18
7
31
2
8
3
23
1
9
1
4
15
54
15
7
23
26
4
3
30
4
2
31
2
22
45
33
4
2
16
3
62
3
7
8
6
28
25
4
5000 systems generated (not shown)
70117 total loops
1990 loops aborted due to determinant
average loops per system: 13.6254

Volver a Esto no me cuadra