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