/* misp1.dat (data for misp.mod to illustrate clique cuts) */

/* These data corresponds to the test instance 1dc.128 (graphs from
 * single-deletion-correcting codes) from:
 *
 * N.J.A.Sloane, "Challenge Problems: Independent Sets In Graphs."
 * http://neilsloane.com/doc/graphs.html (June 2013). */

/* Optimal solution is 16. */

data;

param n := 128;

set E := /* 1471 edges */
 1 2
 1 3
 1 5
 1 9
 1 17
 1 33
 1 65
 2 3
 2 4
 2 5
 2 6
 2 9
 2 10
 2 17
 2 18
 2 33
 2 34
 2 65
 2 66
 3 4
 3 5
 3 6
 3 7
 3 9
 3 10
 3 11
 3 17
 3 18
 3 19
 3 33
 3 34
 3 35
 3 65
 3 66
 3 67
 4 6
 4 7
 4 8
 4 10
 4 12
 4 18
 4 20
 4 34
 4 36
 4 66
 4 68
 5 6
 5 7
 5 9
 5 10
 5 11
 5 13
 5 17
 5 19
 5 21
 5 33
 5 35
 5 37
 5 65
 5 67
 5 69
 6 7
 6 8
 6 10
 6 11
 6 12
 6 14
 6 18
 6 19
 6 20
 6 22
 6 34
 6 35
 6 36
 6 38
 6 66
 6 67
 6 68
 6 70
 7 8
 7 11
 7 12
 7 13
 7 14
 7 15
 7 19
 7 20
 7 23
 7 35
 7 36
 7 39
 7 67
 7 68
 7 71
 8 12
 8 14
 8 15
 8 16
 8 20
 8 24
 8 36
 8 40
 8 68
 8 72
 9 10
 9 11
 9 13
 9 17
 9 18
 9 19
 9 21
 9 25
 9 33
 9 37
 9 41
 9 65
 9 69
 9 73
 10 11
 10 12
 10 13
 10 14
 10 18
 10 19
 10 20
 10 21
 10 22
 10 26
 10 34
 10 37
 10 38
 10 42
 10 66
 10 69
 10 70
 10 74
 11 12
 11 13
 11 14
 11 15
 11 19
 11 21
 11 22
 11 23
 11 27
 11 35
 11 37
 11 38
 11 39
 11 43
 11 67
 11 69
 11 70
 11 71
 11 75
 12 14
 12 15
 12 16
 12 20
 12 22
 12 23
 12 24
 12 28
 12 36
 12 38
 12 40
 12 44
 12 68
 12 70
 12 72
 12 76
 13 14
 13 15
 13 21
 13 23
 13 25
 13 26
 13 27
 13 29
 13 37
 13 39
 13 45
 13 69
 13 71
 13 77
 14 15
 14 16
 14 22
 14 23
 14 24
 14 26
 14 27
 14 28
 14 30
 14 38
 14 39
 14 40
 14 46
 14 70
 14 71
 14 72
 14 78
 15 16
 15 23
 15 24
 15 27
 15 29
 15 30
 15 31
 15 39
 15 40
 15 47
 15 71
 15 72
 15 79
 16 24
 16 28
 16 30
 16 31
 16 32
 16 40
 16 48
 16 72
 16 80
 17 18
 17 19
 17 21
 17 25
 17 33
 17 34
 17 35
 17 37
 17 41
 17 49
 17 65
 17 73
 17 81
 18 19
 18 20
 18 21
 18 22
 18 25
 18 26
 18 34
 18 35
 18 36
 18 38
 18 41
 18 42
 18 50
 18 66
 18 73
 18 74
 18 82
 19 20
 19 21
 19 22
 19 23
 19 25
 19 26
 19 27
 19 35
 19 37
 19 38
 19 39
 19 41
 19 42
 19 43
 19 51
 19 67
 19 73
 19 74
 19 75
 19 83
 20 22
 20 23
 20 24
 20 26
 20 28
 20 36
 20 38
 20 39
 20 40
 20 42
 20 44
 20 52
 20 68
 20 74
 20 76
 20 84
 21 22
 21 23
 21 25
 21 26
 21 27
 21 29
 21 37
 21 41
 21 42
 21 43
 21 45
 21 53
 21 69
 21 73
 21 75
 21 77
 21 85
 22 23
 22 24
 22 26
 22 27
 22 28
 22 30
 22 38
 22 42
 22 43
 22 44
 22 46
 22 54
 22 70
 22 74
 22 75
 22 76
 22 78
 22 86
 23 24
 23 27
 23 28
 23 29
 23 30
 23 31
 23 39
 23 43
 23 44
 23 45
 23 46
 23 47
 23 55
 23 71
 23 75
 23 76
 23 79
 23 87
 24 28
 24 30
 24 31
 24 32
 24 40
 24 44
 24 46
 24 47
 24 48
 24 56
 24 72
 24 76
 24 80
 24 88
 25 26
 25 27
 25 29
 25 41
 25 45
 25 49
 25 50
 25 51
 25 53
 25 57
 25 73
 25 77
 25 89
 26 27
 26 28
 26 29
 26 30
 26 42
 26 45
 26 46
 26 50
 26 51
 26 52
 26 54
 26 58
 26 74
 26 77
 26 78
 26 90
 27 28
 27 29
 27 30
 27 31
 27 43
 27 45
 27 46
 27 47
 27 51
 27 53
 27 54
 27 55
 27 59
 27 75
 27 77
 27 78
 27 79
 27 91
 28 30
 28 31
 28 32
 28 44
 28 46
 28 48
 28 52
 28 54
 28 55
 28 56
 28 60
 28 76
 28 78
 28 80
 28 92
 29 30
 29 31
 29 45
 29 47
 29 53
 29 57
 29 58
 29 59
 29 61
 29 77
 29 79
 29 93
 30 31
 30 32
 30 46
 30 47
 30 48
 30 54
 30 58
 30 59
 30 60
 30 62
 30 78
 30 79
 30 80
 30 94
 31 32
 31 47
 31 48
 31 55
 31 59
 31 61
 31 62
 31 63
 31 79
 31 80
 31 95
 32 48
 32 56
 32 60
 32 62
 32 63
 32 64
 32 80
 32 96
 33 34
 33 35
 33 37
 33 41
 33 49
 33 65
 33 66
 33 67
 33 69
 33 73
 33 81
 33 97
 34 35
 34 36
 34 37
 34 38
 34 41
 34 42
 34 49
 34 50
 34 66
 34 67
 34 68
 34 70
 34 74
 34 81
 34 82
 34 98
 35 36
 35 37
 35 38
 35 39
 35 41
 35 42
 35 43
 35 49
 35 50
 35 51
 35 67
 35 69
 35 70
 35 71
 35 75
 35 81
 35 82
 35 83
 35 99
 36 38
 36 39
 36 40
 36 42
 36 44
 36 50
 36 52
 36 68
 36 70
 36 71
 36 72
 36 76
 36 82
 36 84
 36 100
 37 38
 37 39
 37 41
 37 42
 37 43
 37 45
 37 49
 37 51
 37 53
 37 69
 37 73
 37 74
 37 75
 37 77
 37 81
 37 83
 37 85
 37 101
 38 39
 38 40
 38 42
 38 43
 38 44
 38 46
 38 50
 38 51
 38 52
 38 54
 38 70
 38 74
 38 75
 38 76
 38 78
 38 82
 38 83
 38 84
 38 86
 38 102
 39 40
 39 43
 39 44
 39 45
 39 46
 39 47
 39 51
 39 52
 39 55
 39 71
 39 75
 39 77
 39 78
 39 79
 39 83
 39 84
 39 87
 39 103
 40 44
 40 46
 40 47
 40 48
 40 52
 40 56
 40 72
 40 76
 40 78
 40 79
 40 80
 40 84
 40 88
 40 104
 41 42
 41 43
 41 45
 41 49
 41 50
 41 51
 41 53
 41 57
 41 73
 41 81
 41 82
 41 83
 41 85
 41 89
 41 105
 42 43
 42 44
 42 45
 42 46
 42 50
 42 51
 42 52
 42 53
 42 54
 42 58
 42 74
 42 82
 42 83
 42 84
 42 85
 42 86
 42 90
 42 106
 43 44
 43 45
 43 46
 43 47
 43 51
 43 53
 43 54
 43 55
 43 59
 43 75
 43 83
 43 85
 43 86
 43 87
 43 91
 43 107
 44 46
 44 47
 44 48
 44 52
 44 54
 44 55
 44 56
 44 60
 44 76
 44 84
 44 86
 44 87
 44 88
 44 92
 44 108
 45 46
 45 47
 45 53
 45 55
 45 57
 45 58
 45 59
 45 61
 45 77
 45 85
 45 87
 45 89
 45 90
 45 91
 45 93
 45 109
 46 47
 46 48
 46 54
 46 55
 46 56
 46 58
 46 59
 46 60
 46 62
 46 78
 46 86
 46 87
 46 88
 46 90
 46 91
 46 92
 46 94
 46 110
 47 48
 47 55
 47 56
 47 59
 47 61
 47 62
 47 63
 47 79
 47 87
 47 88
 47 91
 47 93
 47 94
 47 95
 47 111
 48 56
 48 60
 48 62
 48 63
 48 64
 48 80
 48 88
 48 92
 48 94
 48 95
 48 96
 48 112
 49 50
 49 51
 49 53
 49 57
 49 81
 49 89
 49 97
 49 98
 49 99
 49 101
 49 105
 49 113
 50 51
 50 52
 50 53
 50 54
 50 57
 50 58
 50 82
 50 89
 50 90
 50 98
 50 99
 50 100
 50 102
 50 106
 50 114
 51 52
 51 53
 51 54
 51 55
 51 57
 51 58
 51 59
 51 83
 51 89
 51 90
 51 91
 51 99
 51 101
 51 102
 51 103
 51 107
 51 115
 52 54
 52 55
 52 56
 52 58
 52 60
 52 84
 52 90
 52 92
 52 100
 52 102
 52 103
 52 104
 52 108
 52 116
 53 54
 53 55
 53 57
 53 58
 53 59
 53 61
 53 85
 53 89
 53 91
 53 93
 53 101
 53 105
 53 106
 53 107
 53 109
 53 117
 54 55
 54 56
 54 58
 54 59
 54 60
 54 62
 54 86
 54 90
 54 91
 54 92
 54 94
 54 102
 54 106
 54 107
 54 108
 54 110
 54 118
 55 56
 55 59
 55 60
 55 61
 55 62
 55 63
 55 87
 55 91
 55 92
 55 95
 55 103
 55 107
 55 109
 55 110
 55 111
 55 119
 56 60
 56 62
 56 63
 56 64
 56 88
 56 92
 56 96
 56 104
 56 108
 56 110
 56 111
 56 112
 56 120
 57 58
 57 59
 57 61
 57 89
 57 93
 57 105
 57 113
 57 114
 57 115
 57 117
 57 121
 58 59
 58 60
 58 61
 58 62
 58 90
 58 93
 58 94
 58 106
 58 114
 58 115
 58 116
 58 118
 58 122
 59 60
 59 61
 59 62
 59 63
 59 91
 59 93
 59 94
 59 95
 59 107
 59 115
 59 117
 59 118
 59 119
 59 123
 60 62
 60 63
 60 64
 60 92
 60 94
 60 96
 60 108
 60 116
 60 118
 60 119
 60 120
 60 124
 61 62
 61 63
 61 93
 61 95
 61 109
 61 117
 61 121
 61 122
 61 123
 61 125
 62 63
 62 64
 62 94
 62 95
 62 96
 62 110
 62 118
 62 122
 62 123
 62 124
 62 126
 63 64
 63 95
 63 96
 63 111
 63 119
 63 123
 63 125
 63 126
 63 127
 64 96
 64 112
 64 120
 64 124
 64 126
 64 127
 64 128
 65 66
 65 67
 65 69
 65 73
 65 81
 65 97
 66 67
 66 68
 66 69
 66 70
 66 73
 66 74
 66 81
 66 82
 66 97
 66 98
 67 68
 67 69
 67 70
 67 71
 67 73
 67 74
 67 75
 67 81
 67 82
 67 83
 67 97
 67 98
 67 99
 68 70
 68 71
 68 72
 68 74
 68 76
 68 82
 68 84
 68 98
 68 100
 69 70
 69 71
 69 73
 69 74
 69 75
 69 77
 69 81
 69 83
 69 85
 69 97
 69 99
 69 101
 70 71
 70 72
 70 74
 70 75
 70 76
 70 78
 70 82
 70 83
 70 84
 70 86
 70 98
 70 99
 70 100
 70 102
 71 72
 71 75
 71 76
 71 77
 71 78
 71 79
 71 83
 71 84
 71 87
 71 99
 71 100
 71 103
 72 76
 72 78
 72 79
 72 80
 72 84
 72 88
 72 100
 72 104
 73 74
 73 75
 73 77
 73 81
 73 82
 73 83
 73 85
 73 89
 73 97
 73 101
 73 105
 74 75
 74 76
 74 77
 74 78
 74 82
 74 83
 74 84
 74 85
 74 86
 74 90
 74 98
 74 101
 74 102
 74 106
 75 76
 75 77
 75 78
 75 79
 75 83
 75 85
 75 86
 75 87
 75 91
 75 99
 75 101
 75 102
 75 103
 75 107
 76 78
 76 79
 76 80
 76 84
 76 86
 76 87
 76 88
 76 92
 76 100
 76 102
 76 104
 76 108
 77 78
 77 79
 77 85
 77 87
 77 89
 77 90
 77 91
 77 93
 77 101
 77 103
 77 109
 78 79
 78 80
 78 86
 78 87
 78 88
 78 90
 78 91
 78 92
 78 94
 78 102
 78 103
 78 104
 78 110
 79 80
 79 87
 79 88
 79 91
 79 93
 79 94
 79 95
 79 103
 79 104
 79 111
 80 88
 80 92
 80 94
 80 95
 80 96
 80 104
 80 112
 81 82
 81 83
 81 85
 81 89
 81 97
 81 98
 81 99
 81 101
 81 105
 81 113
 82 83
 82 84
 82 85
 82 86
 82 89
 82 90
 82 98
 82 99
 82 100
 82 102
 82 105
 82 106
 82 114
 83 84
 83 85
 83 86
 83 87
 83 89
 83 90
 83 91
 83 99
 83 101
 83 102
 83 103
 83 105
 83 106
 83 107
 83 115
 84 86
 84 87
 84 88
 84 90
 84 92
 84 100
 84 102
 84 103
 84 104
 84 106
 84 108
 84 116
 85 86
 85 87
 85 89
 85 90
 85 91
 85 93
 85 101
 85 105
 85 106
 85 107
 85 109
 85 117
 86 87
 86 88
 86 90
 86 91
 86 92
 86 94
 86 102
 86 106
 86 107
 86 108
 86 110
 86 118
 87 88
 87 91
 87 92
 87 93
 87 94
 87 95
 87 103
 87 107
 87 108
 87 109
 87 110
 87 111
 87 119
 88 92
 88 94
 88 95
 88 96
 88 104
 88 108
 88 110
 88 111
 88 112
 88 120
 89 90
 89 91
 89 93
 89 105
 89 109
 89 113
 89 114
 89 115
 89 117
 89 121
 90 91
 90 92
 90 93
 90 94
 90 106
 90 109
 90 110
 90 114
 90 115
 90 116
 90 118
 90 122
 91 92
 91 93
 91 94
 91 95
 91 107
 91 109
 91 110
 91 111
 91 115
 91 117
 91 118
 91 119
 91 123
 92 94
 92 95
 92 96
 92 108
 92 110
 92 112
 92 116
 92 118
 92 119
 92 120
 92 124
 93 94
 93 95
 93 109
 93 111
 93 117
 93 121
 93 122
 93 123
 93 125
 94 95
 94 96
 94 110
 94 111
 94 112
 94 118
 94 122
 94 123
 94 124
 94 126
 95 96
 95 111
 95 112
 95 119
 95 123
 95 125
 95 126
 95 127
 96 112
 96 120
 96 124
 96 126
 96 127
 96 128
 97 98
 97 99
 97 101
 97 105
 97 113
 98 99
 98 100
 98 101
 98 102
 98 105
 98 106
 98 113
 98 114
 99 100
 99 101
 99 102
 99 103
 99 105
 99 106
 99 107
 99 113
 99 114
 99 115
 100 102
 100 103
 100 104
 100 106
 100 108
 100 114
 100 116
 101 102
 101 103
 101 105
 101 106
 101 107
 101 109
 101 113
 101 115
 101 117
 102 103
 102 104
 102 106
 102 107
 102 108
 102 110
 102 114
 102 115
 102 116
 102 118
 103 104
 103 107
 103 108
 103 109
 103 110
 103 111
 103 115
 103 116
 103 119
 104 108
 104 110
 104 111
 104 112
 104 116
 104 120
 105 106
 105 107
 105 109
 105 113
 105 114
 105 115
 105 117
 105 121
 106 107
 106 108
 106 109
 106 110
 106 114
 106 115
 106 116
 106 117
 106 118
 106 122
 107 108
 107 109
 107 110
 107 111
 107 115
 107 117
 107 118
 107 119
 107 123
 108 110
 108 111
 108 112
 108 116
 108 118
 108 119
 108 120
 108 124
 109 110
 109 111
 109 117
 109 119
 109 121
 109 122
 109 123
 109 125
 110 111
 110 112
 110 118
 110 119
 110 120
 110 122
 110 123
 110 124
 110 126
 111 112
 111 119
 111 120
 111 123
 111 125
 111 126
 111 127
 112 120
 112 124
 112 126
 112 127
 112 128
 113 114
 113 115
 113 117
 113 121
 114 115
 114 116
 114 117
 114 118
 114 121
 114 122
 115 116
 115 117
 115 118
 115 119
 115 121
 115 122
 115 123
 116 118
 116 119
 116 120
 116 122
 116 124
 117 118
 117 119
 117 121
 117 122
 117 123
 117 125
 118 119
 118 120
 118 122
 118 123
 118 124
 118 126
 119 120
 119 123
 119 124
 119 125
 119 126
 119 127
 120 124
 120 126
 120 127
 120 128
 121 122
 121 123
 121 125
 122 123
 122 124
 122 125
 122 126
 123 124
 123 125
 123 126
 123 127
 124 126
 124 127
 124 128
 125 126
 125 127
 126 127
 126 128
 127 128
;

end;