1 files changed, 3857 insertions, 0 deletions
diff --git a/glpk-5.0/examples/misp2.dat b/glpk-5.0/examples/misp2.dat
new file mode 100644
index 0000000..c9a6116
--- /dev/null
+++ b/glpk-5.0/examples/misp2.dat
@@ -0,0 +1,3857 @@
+/* misp2.dat (data for misp.mod to illustrate clique cuts) */
+
+/* These data corresponds to the test instance 1dc.256 (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 30. */
+
+data;
+
+param n := 256;
+
+set E := /* 3839 edges */
+ 1 2
+ 1 3
+ 1 5
+ 1 9
+ 1 17
+ 1 33
+ 1 65
+ 1 129
+ 2 3
+ 2 4
+ 2 5
+ 2 6
+ 2 9
+ 2 10
+ 2 17
+ 2 18
+ 2 33
+ 2 34
+ 2 65
+ 2 66
+ 2 129
+ 2 130
+ 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
+ 3 129
+ 3 130
+ 3 131
+ 4 6
+ 4 7
+ 4 8
+ 4 10
+ 4 12
+ 4 18
+ 4 20
+ 4 34
+ 4 36
+ 4 66
+ 4 68
+ 4 130
+ 4 132
+ 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
+ 5 129
+ 5 131
+ 5 133
+ 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
+ 6 130
+ 6 131
+ 6 132
+ 6 134
+ 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
+ 7 131
+ 7 132
+ 7 135
+ 8 12
+ 8 14
+ 8 15
+ 8 16
+ 8 20
+ 8 24
+ 8 36
+ 8 40
+ 8 68
+ 8 72
+ 8 132
+ 8 136
+ 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
+ 9 129
+ 9 133
+ 9 137
+ 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
+ 10 130
+ 10 133
+ 10 134
+ 10 138
+ 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
+ 11 131
+ 11 133
+ 11 134
+ 11 135
+ 11 139
+ 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
+ 12 132
+ 12 134
+ 12 136
+ 12 140
+ 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
+ 13 133
+ 13 135
+ 13 141
+ 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
+ 14 134
+ 14 135
+ 14 136
+ 14 142
+ 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
+ 15 135
+ 15 136
+ 15 143
+ 16 24
+ 16 28
+ 16 30
+ 16 31
+ 16 32
+ 16 40
+ 16 48
+ 16 72
+ 16 80
+ 16 136
+ 16 144
+ 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
+ 17 129
+ 17 137
+ 17 145
+ 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
+ 18 130
+ 18 137
+ 18 138
+ 18 146
+ 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
+ 19 131
+ 19 137
+ 19 138
+ 19 139
+ 19 147
+ 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
+ 20 132
+ 20 138
+ 20 140
+ 20 148
+ 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
+ 21 133
+ 21 137
+ 21 139
+ 21 141
+ 21 149
+ 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
+ 22 134
+ 22 138
+ 22 139
+ 22 140
+ 22 142
+ 22 150
+ 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
+ 23 135
+ 23 139
+ 23 140
+ 23 143
+ 23 151
+ 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
+ 24 136
+ 24 140
+ 24 144
+ 24 152
+ 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
+ 25 137
+ 25 141
+ 25 153
+ 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
+ 26 138
+ 26 141
+ 26 142
+ 26 154
+ 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
+ 27 139
+ 27 141
+ 27 142
+ 27 143
+ 27 155
+ 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
+ 28 140
+ 28 142
+ 28 144
+ 28 156
+ 29 30
+ 29 31
+ 29 45
+ 29 47
+ 29 53
+ 29 57
+ 29 58
+ 29 59
+ 29 61
+ 29 77
+ 29 79
+ 29 93
+ 29 141
+ 29 143
+ 29 157
+ 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
+ 30 142
+ 30 143
+ 30 144
+ 30 158
+ 31 32
+ 31 47
+ 31 48
+ 31 55
+ 31 59
+ 31 61
+ 31 62
+ 31 63
+ 31 79
+ 31 80
+ 31 95
+ 31 143
+ 31 144
+ 31 159
+ 32 48
+ 32 56
+ 32 60
+ 32 62
+ 32 63
+ 32 64
+ 32 80
+ 32 96
+ 32 144
+ 32 160
+ 33 34
+ 33 35
+ 33 37
+ 33 41
+ 33 49
+ 33 65
+ 33 66
+ 33 67
+ 33 69
+ 33 73
+ 33 81
+ 33 97
+ 33 129
+ 33 145
+ 33 161
+ 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
+ 34 130
+ 34 145
+ 34 146
+ 34 162
+ 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
+ 35 131
+ 35 145
+ 35 146
+ 35 147
+ 35 163
+ 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
+ 36 132
+ 36 146
+ 36 148
+ 36 164
+ 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
+ 37 133
+ 37 145
+ 37 147
+ 37 149
+ 37 165
+ 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
+ 38 134
+ 38 146
+ 38 147
+ 38 148
+ 38 150
+ 38 166
+ 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
+ 39 135
+ 39 147
+ 39 148
+ 39 151
+ 39 167
+ 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
+ 40 136
+ 40 148
+ 40 152
+ 40 168
+ 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
+ 41 137
+ 41 145
+ 41 149
+ 41 153
+ 41 169
+ 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
+ 42 138
+ 42 146
+ 42 149
+ 42 150
+ 42 154
+ 42 170
+ 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
+ 43 139
+ 43 147
+ 43 149
+ 43 150
+ 43 151
+ 43 155
+ 43 171
+ 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
+ 44 140
+ 44 148
+ 44 150
+ 44 152
+ 44 156
+ 44 172
+ 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
+ 45 141
+ 45 149
+ 45 151
+ 45 157
+ 45 173
+ 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
+ 46 142
+ 46 150
+ 46 151
+ 46 152
+ 46 158
+ 46 174
+ 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
+ 47 143
+ 47 151
+ 47 152
+ 47 159
+ 47 175
+ 48 56
+ 48 60
+ 48 62
+ 48 63
+ 48 64
+ 48 80
+ 48 88
+ 48 92
+ 48 94
+ 48 95
+ 48 96
+ 48 112
+ 48 144
+ 48 152
+ 48 160
+ 48 176
+ 49 50
+ 49 51
+ 49 53
+ 49 57
+ 49 81
+ 49 89
+ 49 97
+ 49 98
+ 49 99
+ 49 101
+ 49 105
+ 49 113
+ 49 145
+ 49 153
+ 49 177
+ 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
+ 50 146
+ 50 153
+ 50 154
+ 50 178
+ 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
+ 51 147
+ 51 153
+ 51 154
+ 51 155
+ 51 179
+ 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
+ 52 148
+ 52 154
+ 52 156
+ 52 180
+ 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
+ 53 149
+ 53 153
+ 53 155
+ 53 157
+ 53 181
+ 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
+ 54 150
+ 54 154
+ 54 155
+ 54 156
+ 54 158
+ 54 182
+ 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
+ 55 151
+ 55 155
+ 55 156
+ 55 159
+ 55 183
+ 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
+ 56 152
+ 56 156
+ 56 160
+ 56 184
+ 57 58
+ 57 59
+ 57 61
+ 57 89
+ 57 93
+ 57 105
+ 57 113
+ 57 114
+ 57 115
+ 57 117
+ 57 121
+ 57 153
+ 57 157
+ 57 185
+ 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
+ 58 154
+ 58 157
+ 58 158
+ 58 186
+ 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
+ 59 155
+ 59 157
+ 59 158
+ 59 159
+ 59 187
+ 60 62
+ 60 63
+ 60 64
+ 60 92
+ 60 94
+ 60 96
+ 60 108
+ 60 116
+ 60 118
+ 60 119
+ 60 120
+ 60 124
+ 60 156
+ 60 158
+ 60 160
+ 60 188
+ 61 62
+ 61 63
+ 61 93
+ 61 95
+ 61 109
+ 61 117
+ 61 121
+ 61 122
+ 61 123
+ 61 125
+ 61 157
+ 61 159
+ 61 189
+ 62 63
+ 62 64
+ 62 94
+ 62 95
+ 62 96
+ 62 110
+ 62 118
+ 62 122
+ 62 123
+ 62 124
+ 62 126
+ 62 158
+ 62 159
+ 62 160
+ 62 190
+ 63 64
+ 63 95
+ 63 96
+ 63 111
+ 63 119
+ 63 123
+ 63 125
+ 63 126
+ 63 127
+ 63 159
+ 63 160
+ 63 191
+ 64 96
+ 64 112
+ 64 120
+ 64 124
+ 64 126
+ 64 127
+ 64 128
+ 64 160
+ 64 192
+ 65 66
+ 65 67
+ 65 69
+ 65 73
+ 65 81
+ 65 97
+ 65 129
+ 65 130
+ 65 131
+ 65 133
+ 65 137
+ 65 145
+ 65 161
+ 65 193
+ 66 67
+ 66 68
+ 66 69
+ 66 70
+ 66 73
+ 66 74
+ 66 81
+ 66 82
+ 66 97
+ 66 98
+ 66 130
+ 66 131
+ 66 132
+ 66 134
+ 66 138
+ 66 146
+ 66 161
+ 66 162
+ 66 194
+ 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
+ 67 131
+ 67 133
+ 67 134
+ 67 135
+ 67 139
+ 67 147
+ 67 161
+ 67 162
+ 67 163
+ 67 195
+ 68 70
+ 68 71
+ 68 72
+ 68 74
+ 68 76
+ 68 82
+ 68 84
+ 68 98
+ 68 100
+ 68 132
+ 68 134
+ 68 135
+ 68 136
+ 68 140
+ 68 148
+ 68 162
+ 68 164
+ 68 196
+ 69 70
+ 69 71
+ 69 73
+ 69 74
+ 69 75
+ 69 77
+ 69 81
+ 69 83
+ 69 85
+ 69 97
+ 69 99
+ 69 101
+ 69 133
+ 69 137
+ 69 138
+ 69 139
+ 69 141
+ 69 149
+ 69 161
+ 69 163
+ 69 165
+ 69 197
+ 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
+ 70 134
+ 70 138
+ 70 139
+ 70 140
+ 70 142
+ 70 150
+ 70 162
+ 70 163
+ 70 164
+ 70 166
+ 70 198
+ 71 72
+ 71 75
+ 71 76
+ 71 77
+ 71 78
+ 71 79
+ 71 83
+ 71 84
+ 71 87
+ 71 99
+ 71 100
+ 71 103
+ 71 135
+ 71 139
+ 71 141
+ 71 142
+ 71 143
+ 71 151
+ 71 163
+ 71 164
+ 71 167
+ 71 199
+ 72 76
+ 72 78
+ 72 79
+ 72 80
+ 72 84
+ 72 88
+ 72 100
+ 72 104
+ 72 136
+ 72 140
+ 72 142
+ 72 143
+ 72 144
+ 72 152
+ 72 164
+ 72 168
+ 72 200
+ 73 74
+ 73 75
+ 73 77
+ 73 81
+ 73 82
+ 73 83
+ 73 85
+ 73 89
+ 73 97
+ 73 101
+ 73 105
+ 73 137
+ 73 145
+ 73 146
+ 73 147
+ 73 149
+ 73 153
+ 73 161
+ 73 165
+ 73 169
+ 73 201
+ 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
+ 74 138
+ 74 146
+ 74 147
+ 74 148
+ 74 150
+ 74 154
+ 74 162
+ 74 165
+ 74 166
+ 74 170
+ 74 202
+ 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
+ 75 139
+ 75 147
+ 75 149
+ 75 150
+ 75 151
+ 75 155
+ 75 163
+ 75 165
+ 75 166
+ 75 167
+ 75 171
+ 75 203
+ 76 78
+ 76 79
+ 76 80
+ 76 84
+ 76 86
+ 76 87
+ 76 88
+ 76 92
+ 76 100
+ 76 102
+ 76 104
+ 76 108
+ 76 140
+ 76 148
+ 76 150
+ 76 151
+ 76 152
+ 76 156
+ 76 164
+ 76 166
+ 76 168
+ 76 172
+ 76 204
+ 77 78
+ 77 79
+ 77 85
+ 77 87
+ 77 89
+ 77 90
+ 77 91
+ 77 93
+ 77 101
+ 77 103
+ 77 109
+ 77 141
+ 77 149
+ 77 153
+ 77 154
+ 77 155
+ 77 157
+ 77 165
+ 77 167
+ 77 173
+ 77 205
+ 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
+ 78 142
+ 78 150
+ 78 154
+ 78 155
+ 78 156
+ 78 158
+ 78 166
+ 78 167
+ 78 168
+ 78 174
+ 78 206
+ 79 80
+ 79 87
+ 79 88
+ 79 91
+ 79 93
+ 79 94
+ 79 95
+ 79 103
+ 79 104
+ 79 111
+ 79 143
+ 79 151
+ 79 155
+ 79 157
+ 79 158
+ 79 159
+ 79 167
+ 79 168
+ 79 175
+ 79 207
+ 80 88
+ 80 92
+ 80 94
+ 80 95
+ 80 96
+ 80 104
+ 80 112
+ 80 144
+ 80 152
+ 80 156
+ 80 158
+ 80 159
+ 80 160
+ 80 168
+ 80 176
+ 80 208
+ 81 82
+ 81 83
+ 81 85
+ 81 89
+ 81 97
+ 81 98
+ 81 99
+ 81 101
+ 81 105
+ 81 113
+ 81 145
+ 81 161
+ 81 162
+ 81 163
+ 81 165
+ 81 169
+ 81 177
+ 81 209
+ 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
+ 82 146
+ 82 162
+ 82 163
+ 82 164
+ 82 166
+ 82 169
+ 82 170
+ 82 178
+ 82 210
+ 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
+ 83 147
+ 83 163
+ 83 165
+ 83 166
+ 83 167
+ 83 169
+ 83 170
+ 83 171
+ 83 179
+ 83 211
+ 84 86
+ 84 87
+ 84 88
+ 84 90
+ 84 92
+ 84 100
+ 84 102
+ 84 103
+ 84 104
+ 84 106
+ 84 108
+ 84 116
+ 84 148
+ 84 164
+ 84 166
+ 84 167
+ 84 168
+ 84 170
+ 84 172
+ 84 180
+ 84 212
+ 85 86
+ 85 87
+ 85 89
+ 85 90
+ 85 91
+ 85 93
+ 85 101
+ 85 105
+ 85 106
+ 85 107
+ 85 109
+ 85 117
+ 85 149
+ 85 165
+ 85 169
+ 85 170
+ 85 171
+ 85 173
+ 85 181
+ 85 213
+ 86 87
+ 86 88
+ 86 90
+ 86 91
+ 86 92
+ 86 94
+ 86 102
+ 86 106
+ 86 107
+ 86 108
+ 86 110
+ 86 118
+ 86 150
+ 86 166
+ 86 170
+ 86 171
+ 86 172
+ 86 174
+ 86 182
+ 86 214
+ 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
+ 87 151
+ 87 167
+ 87 171
+ 87 172
+ 87 173
+ 87 174
+ 87 175
+ 87 183
+ 87 215
+ 88 92
+ 88 94
+ 88 95
+ 88 96
+ 88 104
+ 88 108
+ 88 110
+ 88 111
+ 88 112
+ 88 120
+ 88 152
+ 88 168
+ 88 172
+ 88 174
+ 88 175
+ 88 176
+ 88 184
+ 88 216
+ 89 90
+ 89 91
+ 89 93
+ 89 105
+ 89 109
+ 89 113
+ 89 114
+ 89 115
+ 89 117
+ 89 121
+ 89 153
+ 89 169
+ 89 173
+ 89 177
+ 89 178
+ 89 179
+ 89 181
+ 89 185
+ 89 217
+ 90 91
+ 90 92
+ 90 93
+ 90 94
+ 90 106
+ 90 109
+ 90 110
+ 90 114
+ 90 115
+ 90 116
+ 90 118
+ 90 122
+ 90 154
+ 90 170
+ 90 173
+ 90 174
+ 90 178
+ 90 179
+ 90 180
+ 90 182
+ 90 186
+ 90 218
+ 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
+ 91 155
+ 91 171
+ 91 173
+ 91 174
+ 91 175
+ 91 179
+ 91 181
+ 91 182
+ 91 183
+ 91 187
+ 91 219
+ 92 94
+ 92 95
+ 92 96
+ 92 108
+ 92 110
+ 92 112
+ 92 116
+ 92 118
+ 92 119
+ 92 120
+ 92 124
+ 92 156
+ 92 172
+ 92 174
+ 92 176
+ 92 180
+ 92 182
+ 92 183
+ 92 184
+ 92 188
+ 92 220
+ 93 94
+ 93 95
+ 93 109
+ 93 111
+ 93 117
+ 93 121
+ 93 122
+ 93 123
+ 93 125
+ 93 157
+ 93 173
+ 93 175
+ 93 181
+ 93 185
+ 93 186
+ 93 187
+ 93 189
+ 93 221
+ 94 95
+ 94 96
+ 94 110
+ 94 111
+ 94 112
+ 94 118
+ 94 122
+ 94 123
+ 94 124
+ 94 126
+ 94 158
+ 94 174
+ 94 175
+ 94 176
+ 94 182
+ 94 186
+ 94 187
+ 94 188
+ 94 190
+ 94 222
+ 95 96
+ 95 111
+ 95 112
+ 95 119
+ 95 123
+ 95 125
+ 95 126
+ 95 127
+ 95 159
+ 95 175
+ 95 176
+ 95 183
+ 95 187
+ 95 189
+ 95 190
+ 95 191
+ 95 223
+ 96 112
+ 96 120
+ 96 124
+ 96 126
+ 96 127
+ 96 128
+ 96 160
+ 96 176
+ 96 184
+ 96 188
+ 96 190
+ 96 191
+ 96 192
+ 96 224
+ 97 98
+ 97 99
+ 97 101
+ 97 105
+ 97 113
+ 97 161
+ 97 177
+ 97 193
+ 97 194
+ 97 195
+ 97 197
+ 97 201
+ 97 209
+ 97 225
+ 98 99
+ 98 100
+ 98 101
+ 98 102
+ 98 105
+ 98 106
+ 98 113
+ 98 114
+ 98 162
+ 98 177
+ 98 178
+ 98 194
+ 98 195
+ 98 196
+ 98 198
+ 98 202
+ 98 210
+ 98 226
+ 99 100
+ 99 101
+ 99 102
+ 99 103
+ 99 105
+ 99 106
+ 99 107
+ 99 113
+ 99 114
+ 99 115
+ 99 163
+ 99 177
+ 99 178
+ 99 179
+ 99 195
+ 99 197
+ 99 198
+ 99 199
+ 99 203
+ 99 211
+ 99 227
+ 100 102
+ 100 103
+ 100 104
+ 100 106
+ 100 108
+ 100 114
+ 100 116
+ 100 164
+ 100 178
+ 100 180
+ 100 196
+ 100 198
+ 100 199
+ 100 200
+ 100 204
+ 100 212
+ 100 228
+ 101 102
+ 101 103
+ 101 105
+ 101 106
+ 101 107
+ 101 109
+ 101 113
+ 101 115
+ 101 117
+ 101 165
+ 101 177
+ 101 179
+ 101 181
+ 101 197
+ 101 201
+ 101 202
+ 101 203
+ 101 205
+ 101 213
+ 101 229
+ 102 103
+ 102 104
+ 102 106
+ 102 107
+ 102 108
+ 102 110
+ 102 114
+ 102 115
+ 102 116
+ 102 118
+ 102 166
+ 102 178
+ 102 179
+ 102 180
+ 102 182
+ 102 198
+ 102 202
+ 102 203
+ 102 204
+ 102 206
+ 102 214
+ 102 230
+ 103 104
+ 103 107
+ 103 108
+ 103 109
+ 103 110
+ 103 111
+ 103 115
+ 103 116
+ 103 119
+ 103 167
+ 103 179
+ 103 180
+ 103 183
+ 103 199
+ 103 203
+ 103 205
+ 103 206
+ 103 207
+ 103 215
+ 103 231
+ 104 108
+ 104 110
+ 104 111
+ 104 112
+ 104 116
+ 104 120
+ 104 168
+ 104 180
+ 104 184
+ 104 200
+ 104 204
+ 104 206
+ 104 207
+ 104 208
+ 104 216
+ 104 232
+ 105 106
+ 105 107
+ 105 109
+ 105 113
+ 105 114
+ 105 115
+ 105 117
+ 105 121
+ 105 169
+ 105 177
+ 105 181
+ 105 185
+ 105 201
+ 105 209
+ 105 210
+ 105 211
+ 105 213
+ 105 217
+ 105 233
+ 106 107
+ 106 108
+ 106 109
+ 106 110
+ 106 114
+ 106 115
+ 106 116
+ 106 117
+ 106 118
+ 106 122
+ 106 170
+ 106 178
+ 106 181
+ 106 182
+ 106 186
+ 106 202
+ 106 210
+ 106 211
+ 106 212
+ 106 214
+ 106 218
+ 106 234
+ 107 108
+ 107 109
+ 107 110
+ 107 111
+ 107 115
+ 107 117
+ 107 118
+ 107 119
+ 107 123
+ 107 171
+ 107 179
+ 107 181
+ 107 182
+ 107 183
+ 107 187
+ 107 203
+ 107 211
+ 107 213
+ 107 214
+ 107 215
+ 107 219
+ 107 235
+ 108 110
+ 108 111
+ 108 112
+ 108 116
+ 108 118
+ 108 119
+ 108 120
+ 108 124
+ 108 172
+ 108 180
+ 108 182
+ 108 184
+ 108 188
+ 108 204
+ 108 212
+ 108 214
+ 108 215
+ 108 216
+ 108 220
+ 108 236
+ 109 110
+ 109 111
+ 109 117
+ 109 119
+ 109 121
+ 109 122
+ 109 123
+ 109 125
+ 109 173
+ 109 181
+ 109 183
+ 109 189
+ 109 205
+ 109 213
+ 109 217
+ 109 218
+ 109 219
+ 109 221
+ 109 237
+ 110 111
+ 110 112
+ 110 118
+ 110 119
+ 110 120
+ 110 122
+ 110 123
+ 110 124
+ 110 126
+ 110 174
+ 110 182
+ 110 183
+ 110 184
+ 110 190
+ 110 206
+ 110 214
+ 110 218
+ 110 219
+ 110 220
+ 110 222
+ 110 238
+ 111 112
+ 111 119
+ 111 120
+ 111 123
+ 111 125
+ 111 126
+ 111 127
+ 111 175
+ 111 183
+ 111 184
+ 111 191
+ 111 207
+ 111 215
+ 111 219
+ 111 221
+ 111 222
+ 111 223
+ 111 239
+ 112 120
+ 112 124
+ 112 126
+ 112 127
+ 112 128
+ 112 176
+ 112 184
+ 112 192
+ 112 208
+ 112 216
+ 112 220
+ 112 222
+ 112 223
+ 112 224
+ 112 240
+ 113 114
+ 113 115
+ 113 117
+ 113 121
+ 113 177
+ 113 185
+ 113 209
+ 113 225
+ 113 226
+ 113 227
+ 113 229
+ 113 233
+ 113 241
+ 114 115
+ 114 116
+ 114 117
+ 114 118
+ 114 121
+ 114 122
+ 114 178
+ 114 185
+ 114 186
+ 114 210
+ 114 226
+ 114 227
+ 114 228
+ 114 230
+ 114 234
+ 114 242
+ 115 116
+ 115 117
+ 115 118
+ 115 119
+ 115 121
+ 115 122
+ 115 123
+ 115 179
+ 115 185
+ 115 186
+ 115 187
+ 115 211
+ 115 227
+ 115 229
+ 115 230
+ 115 231
+ 115 235
+ 115 243
+ 116 118
+ 116 119
+ 116 120
+ 116 122
+ 116 124
+ 116 180
+ 116 186
+ 116 188
+ 116 212
+ 116 228
+ 116 230
+ 116 231
+ 116 232
+ 116 236
+ 116 244
+ 117 118
+ 117 119
+ 117 121
+ 117 122
+ 117 123
+ 117 125
+ 117 181
+ 117 185
+ 117 187
+ 117 189
+ 117 213
+ 117 229
+ 117 233
+ 117 234
+ 117 235
+ 117 237
+ 117 245
+ 118 119
+ 118 120
+ 118 122
+ 118 123
+ 118 124
+ 118 126
+ 118 182
+ 118 186
+ 118 187
+ 118 188
+ 118 190
+ 118 214
+ 118 230
+ 118 234
+ 118 235
+ 118 236
+ 118 238
+ 118 246
+ 119 120
+ 119 123
+ 119 124
+ 119 125
+ 119 126
+ 119 127
+ 119 183
+ 119 187
+ 119 188
+ 119 191
+ 119 215
+ 119 231
+ 119 235
+ 119 237
+ 119 238
+ 119 239
+ 119 247
+ 120 124
+ 120 126
+ 120 127
+ 120 128
+ 120 184
+ 120 188
+ 120 192
+ 120 216
+ 120 232
+ 120 236
+ 120 238
+ 120 239
+ 120 240
+ 120 248
+ 121 122
+ 121 123
+ 121 125
+ 121 185
+ 121 189
+ 121 217
+ 121 233
+ 121 241
+ 121 242
+ 121 243
+ 121 245
+ 121 249
+ 122 123
+ 122 124
+ 122 125
+ 122 126
+ 122 186
+ 122 189
+ 122 190
+ 122 218
+ 122 234
+ 122 242
+ 122 243
+ 122 244
+ 122 246
+ 122 250
+ 123 124
+ 123 125
+ 123 126
+ 123 127
+ 123 187
+ 123 189
+ 123 190
+ 123 191
+ 123 219
+ 123 235
+ 123 243
+ 123 245
+ 123 246
+ 123 247
+ 123 251
+ 124 126
+ 124 127
+ 124 128
+ 124 188
+ 124 190
+ 124 192
+ 124 220
+ 124 236
+ 124 244
+ 124 246
+ 124 247
+ 124 248
+ 124 252
+ 125 126
+ 125 127
+ 125 189
+ 125 191
+ 125 221
+ 125 237
+ 125 245
+ 125 249
+ 125 250
+ 125 251
+ 125 253
+ 126 127
+ 126 128
+ 126 190
+ 126 191
+ 126 192
+ 126 222
+ 126 238
+ 126 246
+ 126 250
+ 126 251
+ 126 252
+ 126 254
+ 127 128
+ 127 191
+ 127 192
+ 127 223
+ 127 239
+ 127 247
+ 127 251
+ 127 253
+ 127 254
+ 127 255
+ 128 192
+ 128 224
+ 128 240
+ 128 248
+ 128 252
+ 128 254
+ 128 255
+ 128 256
+ 129 130
+ 129 131
+ 129 133
+ 129 137
+ 129 145
+ 129 161
+ 129 193
+ 130 131
+ 130 132
+ 130 133
+ 130 134
+ 130 137
+ 130 138
+ 130 145
+ 130 146
+ 130 161
+ 130 162
+ 130 193
+ 130 194
+ 131 132
+ 131 133
+ 131 134
+ 131 135
+ 131 137
+ 131 138
+ 131 139
+ 131 145
+ 131 146
+ 131 147
+ 131 161
+ 131 162
+ 131 163
+ 131 193
+ 131 194
+ 131 195
+ 132 134
+ 132 135
+ 132 136
+ 132 138
+ 132 140
+ 132 146
+ 132 148
+ 132 162
+ 132 164
+ 132 194
+ 132 196
+ 133 134
+ 133 135
+ 133 137
+ 133 138
+ 133 139
+ 133 141
+ 133 145
+ 133 147
+ 133 149
+ 133 161
+ 133 163
+ 133 165
+ 133 193
+ 133 195
+ 133 197
+ 134 135
+ 134 136
+ 134 138
+ 134 139
+ 134 140
+ 134 142
+ 134 146
+ 134 147
+ 134 148
+ 134 150
+ 134 162
+ 134 163
+ 134 164
+ 134 166
+ 134 194
+ 134 195
+ 134 196
+ 134 198
+ 135 136
+ 135 139
+ 135 140
+ 135 141
+ 135 142
+ 135 143
+ 135 147
+ 135 148
+ 135 151
+ 135 163
+ 135 164
+ 135 167
+ 135 195
+ 135 196
+ 135 199
+ 136 140
+ 136 142
+ 136 143
+ 136 144
+ 136 148
+ 136 152
+ 136 164
+ 136 168
+ 136 196
+ 136 200
+ 137 138
+ 137 139
+ 137 141
+ 137 145
+ 137 146
+ 137 147
+ 137 149
+ 137 153
+ 137 161
+ 137 165
+ 137 169
+ 137 193
+ 137 197
+ 137 201
+ 138 139
+ 138 140
+ 138 141
+ 138 142
+ 138 146
+ 138 147
+ 138 148
+ 138 149
+ 138 150
+ 138 154
+ 138 162
+ 138 165
+ 138 166
+ 138 170
+ 138 194
+ 138 197
+ 138 198
+ 138 202
+ 139 140
+ 139 141
+ 139 142
+ 139 143
+ 139 147
+ 139 149
+ 139 150
+ 139 151
+ 139 155
+ 139 163
+ 139 165
+ 139 166
+ 139 167
+ 139 171
+ 139 195
+ 139 197
+ 139 198
+ 139 199
+ 139 203
+ 140 142
+ 140 143
+ 140 144
+ 140 148
+ 140 150
+ 140 151
+ 140 152
+ 140 156
+ 140 164
+ 140 166
+ 140 168
+ 140 172
+ 140 196
+ 140 198
+ 140 200
+ 140 204
+ 141 142
+ 141 143
+ 141 149
+ 141 151
+ 141 153
+ 141 154
+ 141 155
+ 141 157
+ 141 165
+ 141 167
+ 141 173
+ 141 197
+ 141 199
+ 141 205
+ 142 143
+ 142 144
+ 142 150
+ 142 151
+ 142 152
+ 142 154
+ 142 155
+ 142 156
+ 142 158
+ 142 166
+ 142 167
+ 142 168
+ 142 174
+ 142 198
+ 142 199
+ 142 200
+ 142 206
+ 143 144
+ 143 151
+ 143 152
+ 143 155
+ 143 157
+ 143 158
+ 143 159
+ 143 167
+ 143 168
+ 143 175
+ 143 199
+ 143 200
+ 143 207
+ 144 152
+ 144 156
+ 144 158
+ 144 159
+ 144 160
+ 144 168
+ 144 176
+ 144 200
+ 144 208
+ 145 146
+ 145 147
+ 145 149
+ 145 153
+ 145 161
+ 145 162
+ 145 163
+ 145 165
+ 145 169
+ 145 177
+ 145 193
+ 145 201
+ 145 209
+ 146 147
+ 146 148
+ 146 149
+ 146 150
+ 146 153
+ 146 154
+ 146 162
+ 146 163
+ 146 164
+ 146 166
+ 146 169
+ 146 170
+ 146 178
+ 146 194
+ 146 201
+ 146 202
+ 146 210
+ 147 148
+ 147 149
+ 147 150
+ 147 151
+ 147 153
+ 147 154
+ 147 155
+ 147 163
+ 147 165
+ 147 166
+ 147 167
+ 147 169
+ 147 170
+ 147 171
+ 147 179
+ 147 195
+ 147 201
+ 147 202
+ 147 203
+ 147 211
+ 148 150
+ 148 151
+ 148 152
+ 148 154
+ 148 156
+ 148 164
+ 148 166
+ 148 167
+ 148 168
+ 148 170
+ 148 172
+ 148 180
+ 148 196
+ 148 202
+ 148 204
+ 148 212
+ 149 150
+ 149 151
+ 149 153
+ 149 154
+ 149 155
+ 149 157
+ 149 165
+ 149 169
+ 149 170
+ 149 171
+ 149 173
+ 149 181
+ 149 197
+ 149 201
+ 149 203
+ 149 205
+ 149 213
+ 150 151
+ 150 152
+ 150 154
+ 150 155
+ 150 156
+ 150 158
+ 150 166
+ 150 170
+ 150 171
+ 150 172
+ 150 174
+ 150 182
+ 150 198
+ 150 202
+ 150 203
+ 150 204
+ 150 206
+ 150 214
+ 151 152
+ 151 155
+ 151 156
+ 151 157
+ 151 158
+ 151 159
+ 151 167
+ 151 171
+ 151 172
+ 151 173
+ 151 174
+ 151 175
+ 151 183
+ 151 199
+ 151 203
+ 151 204
+ 151 207
+ 151 215
+ 152 156
+ 152 158
+ 152 159
+ 152 160
+ 152 168
+ 152 172
+ 152 174
+ 152 175
+ 152 176
+ 152 184
+ 152 200
+ 152 204
+ 152 208
+ 152 216
+ 153 154
+ 153 155
+ 153 157
+ 153 169
+ 153 173
+ 153 177
+ 153 178
+ 153 179
+ 153 181
+ 153 185
+ 153 201
+ 153 205
+ 153 217
+ 154 155
+ 154 156
+ 154 157
+ 154 158
+ 154 170
+ 154 173
+ 154 174
+ 154 178
+ 154 179
+ 154 180
+ 154 182
+ 154 186
+ 154 202
+ 154 205
+ 154 206
+ 154 218
+ 155 156
+ 155 157
+ 155 158
+ 155 159
+ 155 171
+ 155 173
+ 155 174
+ 155 175
+ 155 179
+ 155 181
+ 155 182
+ 155 183
+ 155 187
+ 155 203
+ 155 205
+ 155 206
+ 155 207
+ 155 219
+ 156 158
+ 156 159
+ 156 160
+ 156 172
+ 156 174
+ 156 176
+ 156 180
+ 156 182
+ 156 183
+ 156 184
+ 156 188
+ 156 204
+ 156 206
+ 156 208
+ 156 220
+ 157 158
+ 157 159
+ 157 173
+ 157 175
+ 157 181
+ 157 185
+ 157 186
+ 157 187
+ 157 189
+ 157 205
+ 157 207
+ 157 221
+ 158 159
+ 158 160
+ 158 174
+ 158 175
+ 158 176
+ 158 182
+ 158 186
+ 158 187
+ 158 188
+ 158 190
+ 158 206
+ 158 207
+ 158 208
+ 158 222
+ 159 160
+ 159 175
+ 159 176
+ 159 183
+ 159 187
+ 159 189
+ 159 190
+ 159 191
+ 159 207
+ 159 208
+ 159 223
+ 160 176
+ 160 184
+ 160 188
+ 160 190
+ 160 191
+ 160 192
+ 160 208
+ 160 224
+ 161 162
+ 161 163
+ 161 165
+ 161 169
+ 161 177
+ 161 193
+ 161 194
+ 161 195
+ 161 197
+ 161 201
+ 161 209
+ 161 225
+ 162 163
+ 162 164
+ 162 165
+ 162 166
+ 162 169
+ 162 170
+ 162 177
+ 162 178
+ 162 194
+ 162 195
+ 162 196
+ 162 198
+ 162 202
+ 162 209
+ 162 210
+ 162 226
+ 163 164
+ 163 165
+ 163 166
+ 163 167
+ 163 169
+ 163 170
+ 163 171
+ 163 177
+ 163 178
+ 163 179
+ 163 195
+ 163 197
+ 163 198
+ 163 199
+ 163 203
+ 163 209
+ 163 210
+ 163 211
+ 163 227
+ 164 166
+ 164 167
+ 164 168
+ 164 170
+ 164 172
+ 164 178
+ 164 180
+ 164 196
+ 164 198
+ 164 199
+ 164 200
+ 164 204
+ 164 210
+ 164 212
+ 164 228
+ 165 166
+ 165 167
+ 165 169
+ 165 170
+ 165 171
+ 165 173
+ 165 177
+ 165 179
+ 165 181
+ 165 197
+ 165 201
+ 165 202
+ 165 203
+ 165 205
+ 165 209
+ 165 211
+ 165 213
+ 165 229
+ 166 167
+ 166 168
+ 166 170
+ 166 171
+ 166 172
+ 166 174
+ 166 178
+ 166 179
+ 166 180
+ 166 182
+ 166 198
+ 166 202
+ 166 203
+ 166 204
+ 166 206
+ 166 210
+ 166 211
+ 166 212
+ 166 214
+ 166 230
+ 167 168
+ 167 171
+ 167 172
+ 167 173
+ 167 174
+ 167 175
+ 167 179
+ 167 180
+ 167 183
+ 167 199
+ 167 203
+ 167 205
+ 167 206
+ 167 207
+ 167 211
+ 167 212
+ 167 215
+ 167 231
+ 168 172
+ 168 174
+ 168 175
+ 168 176
+ 168 180
+ 168 184
+ 168 200
+ 168 204
+ 168 206
+ 168 207
+ 168 208
+ 168 212
+ 168 216
+ 168 232
+ 169 170
+ 169 171
+ 169 173
+ 169 177
+ 169 178
+ 169 179
+ 169 181
+ 169 185
+ 169 201
+ 169 209
+ 169 210
+ 169 211
+ 169 213
+ 169 217
+ 169 233
+ 170 171
+ 170 172
+ 170 173
+ 170 174
+ 170 178
+ 170 179
+ 170 180
+ 170 181
+ 170 182
+ 170 186
+ 170 202
+ 170 210
+ 170 211
+ 170 212
+ 170 213
+ 170 214
+ 170 218
+ 170 234
+ 171 172
+ 171 173
+ 171 174
+ 171 175
+ 171 179
+ 171 181
+ 171 182
+ 171 183
+ 171 187
+ 171 203
+ 171 211
+ 171 213
+ 171 214
+ 171 215
+ 171 219
+ 171 235
+ 172 174
+ 172 175
+ 172 176
+ 172 180
+ 172 182
+ 172 183
+ 172 184
+ 172 188
+ 172 204
+ 172 212
+ 172 214
+ 172 215
+ 172 216
+ 172 220
+ 172 236
+ 173 174
+ 173 175
+ 173 181
+ 173 183
+ 173 185
+ 173 186
+ 173 187
+ 173 189
+ 173 205
+ 173 213
+ 173 215
+ 173 217
+ 173 218
+ 173 219
+ 173 221
+ 173 237
+ 174 175
+ 174 176
+ 174 182
+ 174 183
+ 174 184
+ 174 186
+ 174 187
+ 174 188
+ 174 190
+ 174 206
+ 174 214
+ 174 215
+ 174 216
+ 174 218
+ 174 219
+ 174 220
+ 174 222
+ 174 238
+ 175 176
+ 175 183
+ 175 184
+ 175 187
+ 175 189
+ 175 190
+ 175 191
+ 175 207
+ 175 215
+ 175 216
+ 175 219
+ 175 221
+ 175 222
+ 175 223
+ 175 239
+ 176 184
+ 176 188
+ 176 190
+ 176 191
+ 176 192
+ 176 208
+ 176 216
+ 176 220
+ 176 222
+ 176 223
+ 176 224
+ 176 240
+ 177 178
+ 177 179
+ 177 181
+ 177 185
+ 177 209
+ 177 217
+ 177 225
+ 177 226
+ 177 227
+ 177 229
+ 177 233
+ 177 241
+ 178 179
+ 178 180
+ 178 181
+ 178 182
+ 178 185
+ 178 186
+ 178 210
+ 178 217
+ 178 218
+ 178 226
+ 178 227
+ 178 228
+ 178 230
+ 178 234
+ 178 242
+ 179 180
+ 179 181
+ 179 182
+ 179 183
+ 179 185
+ 179 186
+ 179 187
+ 179 211
+ 179 217
+ 179 218
+ 179 219
+ 179 227
+ 179 229
+ 179 230
+ 179 231
+ 179 235
+ 179 243
+ 180 182
+ 180 183
+ 180 184
+ 180 186
+ 180 188
+ 180 212
+ 180 218
+ 180 220
+ 180 228
+ 180 230
+ 180 231
+ 180 232
+ 180 236
+ 180 244
+ 181 182
+ 181 183
+ 181 185
+ 181 186
+ 181 187
+ 181 189
+ 181 213
+ 181 217
+ 181 219
+ 181 221
+ 181 229
+ 181 233
+ 181 234
+ 181 235
+ 181 237
+ 181 245
+ 182 183
+ 182 184
+ 182 186
+ 182 187
+ 182 188
+ 182 190
+ 182 214
+ 182 218
+ 182 219
+ 182 220
+ 182 222
+ 182 230
+ 182 234
+ 182 235
+ 182 236
+ 182 238
+ 182 246
+ 183 184
+ 183 187
+ 183 188
+ 183 189
+ 183 190
+ 183 191
+ 183 215
+ 183 219
+ 183 220
+ 183 223
+ 183 231
+ 183 235
+ 183 237
+ 183 238
+ 183 239
+ 183 247
+ 184 188
+ 184 190
+ 184 191
+ 184 192
+ 184 216
+ 184 220
+ 184 224
+ 184 232
+ 184 236
+ 184 238
+ 184 239
+ 184 240
+ 184 248
+ 185 186
+ 185 187
+ 185 189
+ 185 217
+ 185 221
+ 185 233
+ 185 241
+ 185 242
+ 185 243
+ 185 245
+ 185 249
+ 186 187
+ 186 188
+ 186 189
+ 186 190
+ 186 218
+ 186 221
+ 186 222
+ 186 234
+ 186 242
+ 186 243
+ 186 244
+ 186 246
+ 186 250
+ 187 188
+ 187 189
+ 187 190
+ 187 191
+ 187 219
+ 187 221
+ 187 222
+ 187 223
+ 187 235
+ 187 243
+ 187 245
+ 187 246
+ 187 247
+ 187 251
+ 188 190
+ 188 191
+ 188 192
+ 188 220
+ 188 222
+ 188 224
+ 188 236
+ 188 244
+ 188 246
+ 188 247
+ 188 248
+ 188 252
+ 189 190
+ 189 191
+ 189 221
+ 189 223
+ 189 237
+ 189 245
+ 189 249
+ 189 250
+ 189 251
+ 189 253
+ 190 191
+ 190 192
+ 190 222
+ 190 223
+ 190 224
+ 190 238
+ 190 246
+ 190 250
+ 190 251
+ 190 252
+ 190 254
+ 191 192
+ 191 223
+ 191 224
+ 191 239
+ 191 247
+ 191 251
+ 191 253
+ 191 254
+ 191 255
+ 192 224
+ 192 240
+ 192 248
+ 192 252
+ 192 254
+ 192 255
+ 192 256
+ 193 194
+ 193 195
+ 193 197
+ 193 201
+ 193 209
+ 193 225
+ 194 195
+ 194 196
+ 194 197
+ 194 198
+ 194 201
+ 194 202
+ 194 209
+ 194 210
+ 194 225
+ 194 226
+ 195 196
+ 195 197
+ 195 198
+ 195 199
+ 195 201
+ 195 202
+ 195 203
+ 195 209
+ 195 210
+ 195 211
+ 195 225
+ 195 226
+ 195 227
+ 196 198
+ 196 199
+ 196 200
+ 196 202
+ 196 204
+ 196 210
+ 196 212
+ 196 226
+ 196 228
+ 197 198
+ 197 199
+ 197 201
+ 197 202
+ 197 203
+ 197 205
+ 197 209
+ 197 211
+ 197 213
+ 197 225
+ 197 227
+ 197 229
+ 198 199
+ 198 200
+ 198 202
+ 198 203
+ 198 204
+ 198 206
+ 198 210
+ 198 211
+ 198 212
+ 198 214
+ 198 226
+ 198 227
+ 198 228
+ 198 230
+ 199 200
+ 199 203
+ 199 204
+ 199 205
+ 199 206
+ 199 207
+ 199 211
+ 199 212
+ 199 215
+ 199 227
+ 199 228
+ 199 231
+ 200 204
+ 200 206
+ 200 207
+ 200 208
+ 200 212
+ 200 216
+ 200 228
+ 200 232
+ 201 202
+ 201 203
+ 201 205
+ 201 209
+ 201 210
+ 201 211
+ 201 213
+ 201 217
+ 201 225
+ 201 229
+ 201 233
+ 202 203
+ 202 204
+ 202 205
+ 202 206
+ 202 210
+ 202 211
+ 202 212
+ 202 213
+ 202 214
+ 202 218
+ 202 226
+ 202 229
+ 202 230
+ 202 234
+ 203 204
+ 203 205
+ 203 206
+ 203 207
+ 203 211
+ 203 213
+ 203 214
+ 203 215
+ 203 219
+ 203 227
+ 203 229
+ 203 230
+ 203 231
+ 203 235
+ 204 206
+ 204 207
+ 204 208
+ 204 212
+ 204 214
+ 204 215
+ 204 216
+ 204 220
+ 204 228
+ 204 230
+ 204 232
+ 204 236
+ 205 206
+ 205 207
+ 205 213
+ 205 215
+ 205 217
+ 205 218
+ 205 219
+ 205 221
+ 205 229
+ 205 231
+ 205 237
+ 206 207
+ 206 208
+ 206 214
+ 206 215
+ 206 216
+ 206 218
+ 206 219
+ 206 220
+ 206 222
+ 206 230
+ 206 231
+ 206 232
+ 206 238
+ 207 208
+ 207 215
+ 207 216
+ 207 219
+ 207 221
+ 207 222
+ 207 223
+ 207 231
+ 207 232
+ 207 239
+ 208 216
+ 208 220
+ 208 222
+ 208 223
+ 208 224
+ 208 232
+ 208 240
+ 209 210
+ 209 211
+ 209 213
+ 209 217
+ 209 225
+ 209 226
+ 209 227
+ 209 229
+ 209 233
+ 209 241
+ 210 211
+ 210 212
+ 210 213
+ 210 214
+ 210 217
+ 210 218
+ 210 226
+ 210 227
+ 210 228
+ 210 230
+ 210 233
+ 210 234
+ 210 242
+ 211 212
+ 211 213
+ 211 214
+ 211 215
+ 211 217
+ 211 218
+ 211 219
+ 211 227
+ 211 229
+ 211 230
+ 211 231
+ 211 233
+ 211 234
+ 211 235
+ 211 243
+ 212 214
+ 212 215
+ 212 216
+ 212 218
+ 212 220
+ 212 228
+ 212 230
+ 212 231
+ 212 232
+ 212 234
+ 212 236
+ 212 244
+ 213 214
+ 213 215
+ 213 217
+ 213 218
+ 213 219
+ 213 221
+ 213 229
+ 213 233
+ 213 234
+ 213 235
+ 213 237
+ 213 245
+ 214 215
+ 214 216
+ 214 218
+ 214 219
+ 214 220
+ 214 222
+ 214 230
+ 214 234
+ 214 235
+ 214 236
+ 214 238
+ 214 246
+ 215 216
+ 215 219
+ 215 220
+ 215 221
+ 215 222
+ 215 223
+ 215 231
+ 215 235
+ 215 236
+ 215 237
+ 215 238
+ 215 239
+ 215 247
+ 216 220
+ 216 222
+ 216 223
+ 216 224
+ 216 232
+ 216 236
+ 216 238
+ 216 239
+ 216 240
+ 216 248
+ 217 218
+ 217 219
+ 217 221
+ 217 233
+ 217 237
+ 217 241
+ 217 242
+ 217 243
+ 217 245
+ 217 249
+ 218 219
+ 218 220
+ 218 221
+ 218 222
+ 218 234
+ 218 237
+ 218 238
+ 218 242
+ 218 243
+ 218 244
+ 218 246
+ 218 250
+ 219 220
+ 219 221
+ 219 222
+ 219 223
+ 219 235
+ 219 237
+ 219 238
+ 219 239
+ 219 243
+ 219 245
+ 219 246
+ 219 247
+ 219 251
+ 220 222
+ 220 223
+ 220 224
+ 220 236
+ 220 238
+ 220 240
+ 220 244
+ 220 246
+ 220 247
+ 220 248
+ 220 252
+ 221 222
+ 221 223
+ 221 237
+ 221 239
+ 221 245
+ 221 249
+ 221 250
+ 221 251
+ 221 253
+ 222 223
+ 222 224
+ 222 238
+ 222 239
+ 222 240
+ 222 246
+ 222 250
+ 222 251
+ 222 252
+ 222 254
+ 223 224
+ 223 239
+ 223 240
+ 223 247
+ 223 251
+ 223 253
+ 223 254
+ 223 255
+ 224 240
+ 224 248
+ 224 252
+ 224 254
+ 224 255
+ 224 256
+ 225 226
+ 225 227
+ 225 229
+ 225 233
+ 225 241
+ 226 227
+ 226 228
+ 226 229
+ 226 230
+ 226 233
+ 226 234
+ 226 241
+ 226 242
+ 227 228
+ 227 229
+ 227 230
+ 227 231
+ 227 233
+ 227 234
+ 227 235
+ 227 241
+ 227 242
+ 227 243
+ 228 230
+ 228 231
+ 228 232
+ 228 234
+ 228 236
+ 228 242
+ 228 244
+ 229 230
+ 229 231
+ 229 233
+ 229 234
+ 229 235
+ 229 237
+ 229 241
+ 229 243
+ 229 245
+ 230 231
+ 230 232
+ 230 234
+ 230 235
+ 230 236
+ 230 238
+ 230 242
+ 230 243
+ 230 244
+ 230 246
+ 231 232
+ 231 235
+ 231 236
+ 231 237
+ 231 238
+ 231 239
+ 231 243
+ 231 244
+ 231 247
+ 232 236
+ 232 238
+ 232 239
+ 232 240
+ 232 244
+ 232 248
+ 233 234
+ 233 235
+ 233 237
+ 233 241
+ 233 242
+ 233 243
+ 233 245
+ 233 249
+ 234 235
+ 234 236
+ 234 237
+ 234 238
+ 234 242
+ 234 243
+ 234 244
+ 234 245
+ 234 246
+ 234 250
+ 235 236
+ 235 237
+ 235 238
+ 235 239
+ 235 243
+ 235 245
+ 235 246
+ 235 247
+ 235 251
+ 236 238
+ 236 239
+ 236 240
+ 236 244
+ 236 246
+ 236 247
+ 236 248
+ 236 252
+ 237 238
+ 237 239
+ 237 245
+ 237 247
+ 237 249
+ 237 250
+ 237 251
+ 237 253
+ 238 239
+ 238 240
+ 238 246
+ 238 247
+ 238 248
+ 238 250
+ 238 251
+ 238 252
+ 238 254
+ 239 240
+ 239 247
+ 239 248
+ 239 251
+ 239 253
+ 239 254
+ 239 255
+ 240 248
+ 240 252
+ 240 254
+ 240 255
+ 240 256
+ 241 242
+ 241 243
+ 241 245
+ 241 249
+ 242 243
+ 242 244
+ 242 245
+ 242 246
+ 242 249
+ 242 250
+ 243 244
+ 243 245
+ 243 246
+ 243 247
+ 243 249
+ 243 250
+ 243 251
+ 244 246
+ 244 247
+ 244 248
+ 244 250
+ 244 252
+ 245 246
+ 245 247
+ 245 249
+ 245 250
+ 245 251
+ 245 253
+ 246 247
+ 246 248
+ 246 250
+ 246 251
+ 246 252
+ 246 254
+ 247 248
+ 247 251
+ 247 252
+ 247 253
+ 247 254
+ 247 255
+ 248 252
+ 248 254
+ 248 255
+ 248 256
+ 249 250
+ 249 251
+ 249 253
+ 250 251
+ 250 252
+ 250 253
+ 250 254
+ 251 252
+ 251 253
+ 251 254
+ 251 255
+ 252 254
+ 252 255
+ 252 256
+ 253 254
+ 253 255
+ 254 255
+ 254 256
+ 255 256
+;
+
+end;