src/third_party/WebKit/LayoutTests/fast/js/dfg-arguments-alias-activation-expected.txt

   1 This tests verifies access to captured arguments via an optimized-away arguments object.
   2
   3 PASS: f0(1) should be 1 and is.\r
   4 PASS: f1(2, 3) should be 3 and is.\r
   5 PASS: f2(4) should be 4 and is.\r
   6 PASS: f3(5, 6) should be 6 and is.\r
   7 PASS: f4(7) should be 7 and is.\r
   8 PASS: f5(8, 9) should be 9 and is.\r
   9 PASS: f6(10) should be 10 and is.\r
  10 PASS: f7(11, 12) should be 12 and is.\r
  11 PASS: f0(1) should be 1 and is.\r
  12 PASS: f1(2, 3) should be 3 and is.\r
  13 PASS: f2(4) should be 4 and is.\r
  14 PASS: f3(5, 6) should be 6 and is.\r
  15 PASS: f4(7) should be 7 and is.\r
  16 PASS: f5(8, 9) should be 9 and is.\r
  17 PASS: f6(10) should be 10 and is.\r
  18 PASS: f7(11, 12) should be 12 and is.\r
  19 PASS: f0(1) should be 1 and is.\r
  20 PASS: f1(2, 3) should be 3 and is.\r
  21 PASS: f2(4) should be 4 and is.\r
  22 PASS: f3(5, 6) should be 6 and is.\r
  23 PASS: f4(7) should be 7 and is.\r
  24 PASS: f5(8, 9) should be 9 and is.\r
  25 PASS: f6(10) should be 10 and is.\r
  26 PASS: f7(11, 12) should be 12 and is.\r
  27 PASS: f0(1) should be 1 and is.\r
  28 PASS: f1(2, 3) should be 3 and is.\r
  29 PASS: f2(4) should be 4 and is.\r
  30 PASS: f3(5, 6) should be 6 and is.\r
  31 PASS: f4(7) should be 7 and is.\r
  32 PASS: f5(8, 9) should be 9 and is.\r
  33 PASS: f6(10) should be 10 and is.\r
  34 PASS: f7(11, 12) should be 12 and is.\r
  35 PASS: f0(1) should be 1 and is.\r
  36 PASS: f1(2, 3) should be 3 and is.\r
  37 PASS: f2(4) should be 4 and is.\r
  38 PASS: f3(5, 6) should be 6 and is.\r
  39 PASS: f4(7) should be 7 and is.\r
  40 PASS: f5(8, 9) should be 9 and is.\r
  41 PASS: f6(10) should be 10 and is.\r
  42 PASS: f7(11, 12) should be 12 and is.\r
  43 PASS: f0(1) should be 1 and is.\r
  44 PASS: f1(2, 3) should be 3 and is.\r
  45 PASS: f2(4) should be 4 and is.\r
  46 PASS: f3(5, 6) should be 6 and is.\r
  47 PASS: f4(7) should be 7 and is.\r
  48 PASS: f5(8, 9) should be 9 and is.\r
  49 PASS: f6(10) should be 10 and is.\r
  50 PASS: f7(11, 12) should be 12 and is.\r
  51 PASS: f0(1) should be 1 and is.\r
  52 PASS: f1(2, 3) should be 3 and is.\r
  53 PASS: f2(4) should be 4 and is.\r
  54 PASS: f3(5, 6) should be 6 and is.\r
  55 PASS: f4(7) should be 7 and is.\r
  56 PASS: f5(8, 9) should be 9 and is.\r
  57 PASS: f6(10) should be 10 and is.\r
  58 PASS: f7(11, 12) should be 12 and is.\r
  59 PASS: f0(1) should be 1 and is.\r
  60 PASS: f1(2, 3) should be 3 and is.\r
  61 PASS: f2(4) should be 4 and is.\r
  62 PASS: f3(5, 6) should be 6 and is.\r
  63 PASS: f4(7) should be 7 and is.\r
  64 PASS: f5(8, 9) should be 9 and is.\r
  65 PASS: f6(10) should be 10 and is.\r
  66 PASS: f7(11, 12) should be 12 and is.\r
  67 PASS: f0(1) should be 1 and is.\r
  68 PASS: f1(2, 3) should be 3 and is.\r
  69 PASS: f2(4) should be 4 and is.\r
  70 PASS: f3(5, 6) should be 6 and is.\r
  71 PASS: f4(7) should be 7 and is.\r
  72 PASS: f5(8, 9) should be 9 and is.\r
  73 PASS: f6(10) should be 10 and is.\r
  74 PASS: f7(11, 12) should be 12 and is.\r
  75 PASS: f0(1) should be 1 and is.\r
  76 PASS: f1(2, 3) should be 3 and is.\r
  77 PASS: f2(4) should be 4 and is.\r
  78 PASS: f3(5, 6) should be 6 and is.\r
  79 PASS: f4(7) should be 7 and is.\r
  80 PASS: f5(8, 9) should be 9 and is.\r
  81 PASS: f6(10) should be 10 and is.\r
  82 PASS: f7(11, 12) should be 12 and is.\r
  83 PASS: f0(1) should be 1 and is.\r
  84 PASS: f1(2, 3) should be 3 and is.\r
  85 PASS: f2(4) should be 4 and is.\r
  86 PASS: f3(5, 6) should be 6 and is.\r
  87 PASS: f4(7) should be 7 and is.\r
  88 PASS: f5(8, 9) should be 9 and is.\r
  89 PASS: f6(10) should be 10 and is.\r
  90 PASS: f7(11, 12) should be 12 and is.\r
  91 PASS: f0(1) should be 1 and is.\r
  92 PASS: f1(2, 3) should be 3 and is.\r
  93 PASS: f2(4) should be 4 and is.\r
  94 PASS: f3(5, 6) should be 6 and is.\r
  95 PASS: f4(7) should be 7 and is.\r
  96 PASS: f5(8, 9) should be 9 and is.\r
  97 PASS: f6(10) should be 10 and is.\r
  98 PASS: f7(11, 12) should be 12 and is.\r
  99 PASS: f0(1) should be 1 and is.\r
 100 PASS: f1(2, 3) should be 3 and is.\r
 101 PASS: f2(4) should be 4 and is.\r
 102 PASS: f3(5, 6) should be 6 and is.\r
 103 PASS: f4(7) should be 7 and is.\r
 104 PASS: f5(8, 9) should be 9 and is.\r
 105 PASS: f6(10) should be 10 and is.\r
 106 PASS: f7(11, 12) should be 12 and is.\r
 107 PASS: f0(1) should be 1 and is.\r
 108 PASS: f1(2, 3) should be 3 and is.\r
 109 PASS: f2(4) should be 4 and is.\r
 110 PASS: f3(5, 6) should be 6 and is.\r
 111 PASS: f4(7) should be 7 and is.\r
 112 PASS: f5(8, 9) should be 9 and is.\r
 113 PASS: f6(10) should be 10 and is.\r
 114 PASS: f7(11, 12) should be 12 and is.\r
 115 PASS: f0(1) should be 1 and is.\r
 116 PASS: f1(2, 3) should be 3 and is.\r
 117 PASS: f2(4) should be 4 and is.\r
 118 PASS: f3(5, 6) should be 6 and is.\r
 119 PASS: f4(7) should be 7 and is.\r
 120 PASS: f5(8, 9) should be 9 and is.\r
 121 PASS: f6(10) should be 10 and is.\r
 122 PASS: f7(11, 12) should be 12 and is.\r
 123 PASS: f0(1) should be 1 and is.\r
 124 PASS: f1(2, 3) should be 3 and is.\r
 125 PASS: f2(4) should be 4 and is.\r
 126 PASS: f3(5, 6) should be 6 and is.\r
 127 PASS: f4(7) should be 7 and is.\r
 128 PASS: f5(8, 9) should be 9 and is.\r
 129 PASS: f6(10) should be 10 and is.\r
 130 PASS: f7(11, 12) should be 12 and is.\r
 131 PASS: f0(1) should be 1 and is.\r
 132 PASS: f1(2, 3) should be 3 and is.\r
 133 PASS: f2(4) should be 4 and is.\r
 134 PASS: f3(5, 6) should be 6 and is.\r
 135 PASS: f4(7) should be 7 and is.\r
 136 PASS: f5(8, 9) should be 9 and is.\r
 137 PASS: f6(10) should be 10 and is.\r
 138 PASS: f7(11, 12) should be 12 and is.\r
 139 PASS: f0(1) should be 1 and is.\r
 140 PASS: f1(2, 3) should be 3 and is.\r
 141 PASS: f2(4) should be 4 and is.\r
 142 PASS: f3(5, 6) should be 6 and is.\r
 143 PASS: f4(7) should be 7 and is.\r
 144 PASS: f5(8, 9) should be 9 and is.\r
 145 PASS: f6(10) should be 10 and is.\r
 146 PASS: f7(11, 12) should be 12 and is.\r
 147 PASS: f0(1) should be 1 and is.\r
 148 PASS: f1(2, 3) should be 3 and is.\r
 149 PASS: f2(4) should be 4 and is.\r
 150 PASS: f3(5, 6) should be 6 and is.\r
 151 PASS: f4(7) should be 7 and is.\r
 152 PASS: f5(8, 9) should be 9 and is.\r
 153 PASS: f6(10) should be 10 and is.\r
 154 PASS: f7(11, 12) should be 12 and is.\r
 155 PASS: f0(1) should be 1 and is.\r
 156 PASS: f1(2, 3) should be 3 and is.\r
 157 PASS: f2(4) should be 4 and is.\r
 158 PASS: f3(5, 6) should be 6 and is.\r
 159 PASS: f4(7) should be 7 and is.\r
 160 PASS: f5(8, 9) should be 9 and is.\r
 161 PASS: f6(10) should be 10 and is.\r
 162 PASS: f7(11, 12) should be 12 and is.\r
 163 PASS: f0(1) should be 1 and is.\r
 164 PASS: f1(2, 3) should be 3 and is.\r
 165 PASS: f2(4) should be 4 and is.\r
 166 PASS: f3(5, 6) should be 6 and is.\r
 167 PASS: f4(7) should be 7 and is.\r
 168 PASS: f5(8, 9) should be 9 and is.\r
 169 PASS: f6(10) should be 10 and is.\r
 170 PASS: f7(11, 12) should be 12 and is.\r
 171 PASS: f0(1) should be 1 and is.\r
 172 PASS: f1(2, 3) should be 3 and is.\r
 173 PASS: f2(4) should be 4 and is.\r
 174 PASS: f3(5, 6) should be 6 and is.\r
 175 PASS: f4(7) should be 7 and is.\r
 176 PASS: f5(8, 9) should be 9 and is.\r
 177 PASS: f6(10) should be 10 and is.\r
 178 PASS: f7(11, 12) should be 12 and is.\r
 179 PASS: f0(1) should be 1 and is.\r
 180 PASS: f1(2, 3) should be 3 and is.\r
 181 PASS: f2(4) should be 4 and is.\r
 182 PASS: f3(5, 6) should be 6 and is.\r
 183 PASS: f4(7) should be 7 and is.\r
 184 PASS: f5(8, 9) should be 9 and is.\r
 185 PASS: f6(10) should be 10 and is.\r
 186 PASS: f7(11, 12) should be 12 and is.\r
 187 PASS: f0(1) should be 1 and is.\r
 188 PASS: f1(2, 3) should be 3 and is.\r
 189 PASS: f2(4) should be 4 and is.\r
 190 PASS: f3(5, 6) should be 6 and is.\r
 191 PASS: f4(7) should be 7 and is.\r
 192 PASS: f5(8, 9) should be 9 and is.\r
 193 PASS: f6(10) should be 10 and is.\r
 194 PASS: f7(11, 12) should be 12 and is.\r
 195 PASS: f0(1) should be 1 and is.\r
 196 PASS: f1(2, 3) should be 3 and is.\r
 197 PASS: f2(4) should be 4 and is.\r
 198 PASS: f3(5, 6) should be 6 and is.\r
 199 PASS: f4(7) should be 7 and is.\r
 200 PASS: f5(8, 9) should be 9 and is.\r
 201 PASS: f6(10) should be 10 and is.\r
 202 PASS: f7(11, 12) should be 12 and is.\r
 203 PASS: f0(1) should be 1 and is.\r
 204 PASS: f1(2, 3) should be 3 and is.\r
 205 PASS: f2(4) should be 4 and is.\r
 206 PASS: f3(5, 6) should be 6 and is.\r
 207 PASS: f4(7) should be 7 and is.\r
 208 PASS: f5(8, 9) should be 9 and is.\r
 209 PASS: f6(10) should be 10 and is.\r
 210 PASS: f7(11, 12) should be 12 and is.\r
 211 PASS: f0(1) should be 1 and is.\r
 212 PASS: f1(2, 3) should be 3 and is.\r
 213 PASS: f2(4) should be 4 and is.\r
 214 PASS: f3(5, 6) should be 6 and is.\r
 215 PASS: f4(7) should be 7 and is.\r
 216 PASS: f5(8, 9) should be 9 and is.\r
 217 PASS: f6(10) should be 10 and is.\r
 218 PASS: f7(11, 12) should be 12 and is.\r
 219 PASS: f0(1) should be 1 and is.\r
 220 PASS: f1(2, 3) should be 3 and is.\r
 221 PASS: f2(4) should be 4 and is.\r
 222 PASS: f3(5, 6) should be 6 and is.\r
 223 PASS: f4(7) should be 7 and is.\r
 224 PASS: f5(8, 9) should be 9 and is.\r
 225 PASS: f6(10) should be 10 and is.\r
 226 PASS: f7(11, 12) should be 12 and is.\r
 227 PASS: f0(1) should be 1 and is.\r
 228 PASS: f1(2, 3) should be 3 and is.\r
 229 PASS: f2(4) should be 4 and is.\r
 230 PASS: f3(5, 6) should be 6 and is.\r
 231 PASS: f4(7) should be 7 and is.\r
 232 PASS: f5(8, 9) should be 9 and is.\r
 233 PASS: f6(10) should be 10 and is.\r
 234 PASS: f7(11, 12) should be 12 and is.\r
 235 PASS: f0(1) should be 1 and is.\r
 236 PASS: f1(2, 3) should be 3 and is.\r
 237 PASS: f2(4) should be 4 and is.\r
 238 PASS: f3(5, 6) should be 6 and is.\r
 239 PASS: f4(7) should be 7 and is.\r
 240 PASS: f5(8, 9) should be 9 and is.\r
 241 PASS: f6(10) should be 10 and is.\r
 242 PASS: f7(11, 12) should be 12 and is.\r
 243 PASS: f0(1) should be 1 and is.\r
 244 PASS: f1(2, 3) should be 3 and is.\r
 245 PASS: f2(4) should be 4 and is.\r
 246 PASS: f3(5, 6) should be 6 and is.\r
 247 PASS: f4(7) should be 7 and is.\r
 248 PASS: f5(8, 9) should be 9 and is.\r
 249 PASS: f6(10) should be 10 and is.\r
 250 PASS: f7(11, 12) should be 12 and is.\r
 251 PASS: f0(1) should be 1 and is.\r
 252 PASS: f1(2, 3) should be 3 and is.\r
 253 PASS: f2(4) should be 4 and is.\r
 254 PASS: f3(5, 6) should be 6 and is.\r
 255 PASS: f4(7) should be 7 and is.\r
 256 PASS: f5(8, 9) should be 9 and is.\r
 257 PASS: f6(10) should be 10 and is.\r
 258 PASS: f7(11, 12) should be 12 and is.\r
 259 PASS: f0(1) should be 1 and is.\r
 260 PASS: f1(2, 3) should be 3 and is.\r
 261 PASS: f2(4) should be 4 and is.\r
 262 PASS: f3(5, 6) should be 6 and is.\r
 263 PASS: f4(7) should be 7 and is.\r
 264 PASS: f5(8, 9) should be 9 and is.\r
 265 PASS: f6(10) should be 10 and is.\r
 266 PASS: f7(11, 12) should be 12 and is.\r
 267 PASS: f0(1) should be 1 and is.\r
 268 PASS: f1(2, 3) should be 3 and is.\r
 269 PASS: f2(4) should be 4 and is.\r
 270 PASS: f3(5, 6) should be 6 and is.\r
 271 PASS: f4(7) should be 7 and is.\r
 272 PASS: f5(8, 9) should be 9 and is.\r
 273 PASS: f6(10) should be 10 and is.\r
 274 PASS: f7(11, 12) should be 12 and is.\r
 275 PASS: f0(1) should be 1 and is.\r
 276 PASS: f1(2, 3) should be 3 and is.\r
 277 PASS: f2(4) should be 4 and is.\r
 278 PASS: f3(5, 6) should be 6 and is.\r
 279 PASS: f4(7) should be 7 and is.\r
 280 PASS: f5(8, 9) should be 9 and is.\r
 281 PASS: f6(10) should be 10 and is.\r
 282 PASS: f7(11, 12) should be 12 and is.\r
 283 PASS: f0(1) should be 1 and is.\r
 284 PASS: f1(2, 3) should be 3 and is.\r
 285 PASS: f2(4) should be 4 and is.\r
 286 PASS: f3(5, 6) should be 6 and is.\r
 287 PASS: f4(7) should be 7 and is.\r
 288 PASS: f5(8, 9) should be 9 and is.\r
 289 PASS: f6(10) should be 10 and is.\r
 290 PASS: f7(11, 12) should be 12 and is.\r
 291 PASS: f0(1) should be 1 and is.\r
 292 PASS: f1(2, 3) should be 3 and is.\r
 293 PASS: f2(4) should be 4 and is.\r
 294 PASS: f3(5, 6) should be 6 and is.\r
 295 PASS: f4(7) should be 7 and is.\r
 296 PASS: f5(8, 9) should be 9 and is.\r
 297 PASS: f6(10) should be 10 and is.\r
 298 PASS: f7(11, 12) should be 12 and is.\r
 299 PASS: f0(1) should be 1 and is.\r
 300 PASS: f1(2, 3) should be 3 and is.\r
 301 PASS: f2(4) should be 4 and is.\r
 302 PASS: f3(5, 6) should be 6 and is.\r
 303 PASS: f4(7) should be 7 and is.\r
 304 PASS: f5(8, 9) should be 9 and is.\r
 305 PASS: f6(10) should be 10 and is.\r
 306 PASS: f7(11, 12) should be 12 and is.\r
 307 PASS: f0(1) should be 1 and is.\r
 308 PASS: f1(2, 3) should be 3 and is.\r
 309 PASS: f2(4) should be 4 and is.\r
 310 PASS: f3(5, 6) should be 6 and is.\r
 311 PASS: f4(7) should be 7 and is.\r
 312 PASS: f5(8, 9) should be 9 and is.\r
 313 PASS: f6(10) should be 10 and is.\r
 314 PASS: f7(11, 12) should be 12 and is.\r
 315 PASS: f0(1) should be 1 and is.\r
 316 PASS: f1(2, 3) should be 3 and is.\r
 317 PASS: f2(4) should be 4 and is.\r
 318 PASS: f3(5, 6) should be 6 and is.\r
 319 PASS: f4(7) should be 7 and is.\r
 320 PASS: f5(8, 9) should be 9 and is.\r
 321 PASS: f6(10) should be 10 and is.\r
 322 PASS: f7(11, 12) should be 12 and is.\r
 323 PASS: f0(1) should be 1 and is.\r
 324 PASS: f1(2, 3) should be 3 and is.\r
 325 PASS: f2(4) should be 4 and is.\r
 326 PASS: f3(5, 6) should be 6 and is.\r
 327 PASS: f4(7) should be 7 and is.\r
 328 PASS: f5(8, 9) should be 9 and is.\r
 329 PASS: f6(10) should be 10 and is.\r
 330 PASS: f7(11, 12) should be 12 and is.\r
 331 PASS: f0(1) should be 1 and is.\r
 332 PASS: f1(2, 3) should be 3 and is.\r
 333 PASS: f2(4) should be 4 and is.\r
 334 PASS: f3(5, 6) should be 6 and is.\r
 335 PASS: f4(7) should be 7 and is.\r
 336 PASS: f5(8, 9) should be 9 and is.\r
 337 PASS: f6(10) should be 10 and is.\r
 338 PASS: f7(11, 12) should be 12 and is.\r
 339 PASS: f0(1) should be 1 and is.\r
 340 PASS: f1(2, 3) should be 3 and is.\r
 341 PASS: f2(4) should be 4 and is.\r
 342 PASS: f3(5, 6) should be 6 and is.\r
 343 PASS: f4(7) should be 7 and is.\r
 344 PASS: f5(8, 9) should be 9 and is.\r
 345 PASS: f6(10) should be 10 and is.\r
 346 PASS: f7(11, 12) should be 12 and is.\r
 347 PASS: f0(1) should be 1 and is.\r
 348 PASS: f1(2, 3) should be 3 and is.\r
 349 PASS: f2(4) should be 4 and is.\r
 350 PASS: f3(5, 6) should be 6 and is.\r
 351 PASS: f4(7) should be 7 and is.\r
 352 PASS: f5(8, 9) should be 9 and is.\r
 353 PASS: f6(10) should be 10 and is.\r
 354 PASS: f7(11, 12) should be 12 and is.\r
 355 PASS: f0(1) should be 1 and is.\r
 356 PASS: f1(2, 3) should be 3 and is.\r
 357 PASS: f2(4) should be 4 and is.\r
 358 PASS: f3(5, 6) should be 6 and is.\r
 359 PASS: f4(7) should be 7 and is.\r
 360 PASS: f5(8, 9) should be 9 and is.\r
 361 PASS: f6(10) should be 10 and is.\r
 362 PASS: f7(11, 12) should be 12 and is.\r
 363 PASS: f0(1) should be 1 and is.\r
 364 PASS: f1(2, 3) should be 3 and is.\r
 365 PASS: f2(4) should be 4 and is.\r
 366 PASS: f3(5, 6) should be 6 and is.\r
 367 PASS: f4(7) should be 7 and is.\r
 368 PASS: f5(8, 9) should be 9 and is.\r
 369 PASS: f6(10) should be 10 and is.\r
 370 PASS: f7(11, 12) should be 12 and is.\r
 371 PASS: f0(1) should be 1 and is.\r
 372 PASS: f1(2, 3) should be 3 and is.\r
 373 PASS: f2(4) should be 4 and is.\r
 374 PASS: f3(5, 6) should be 6 and is.\r
 375 PASS: f4(7) should be 7 and is.\r
 376 PASS: f5(8, 9) should be 9 and is.\r
 377 PASS: f6(10) should be 10 and is.\r
 378 PASS: f7(11, 12) should be 12 and is.\r
 379 PASS: f0(1) should be 1 and is.\r
 380 PASS: f1(2, 3) should be 3 and is.\r
 381 PASS: f2(4) should be 4 and is.\r
 382 PASS: f3(5, 6) should be 6 and is.\r
 383 PASS: f4(7) should be 7 and is.\r
 384 PASS: f5(8, 9) should be 9 and is.\r
 385 PASS: f6(10) should be 10 and is.\r
 386 PASS: f7(11, 12) should be 12 and is.\r
 387 PASS: f0(1) should be 1 and is.\r
 388 PASS: f1(2, 3) should be 3 and is.\r
 389 PASS: f2(4) should be 4 and is.\r
 390 PASS: f3(5, 6) should be 6 and is.\r
 391 PASS: f4(7) should be 7 and is.\r
 392 PASS: f5(8, 9) should be 9 and is.\r
 393 PASS: f6(10) should be 10 and is.\r
 394 PASS: f7(11, 12) should be 12 and is.\r
 395 PASS: f0(1) should be 1 and is.\r
 396 PASS: f1(2, 3) should be 3 and is.\r
 397 PASS: f2(4) should be 4 and is.\r
 398 PASS: f3(5, 6) should be 6 and is.\r
 399 PASS: f4(7) should be 7 and is.\r
 400 PASS: f5(8, 9) should be 9 and is.\r
 401 PASS: f6(10) should be 10 and is.\r
 402 PASS: f7(11, 12) should be 12 and is.\r
 403 PASS: f0(1) should be 1 and is.\r
 404 PASS: f1(2, 3) should be 3 and is.\r
 405 PASS: f2(4) should be 4 and is.\r
 406 PASS: f3(5, 6) should be 6 and is.\r
 407 PASS: f4(7) should be 7 and is.\r
 408 PASS: f5(8, 9) should be 9 and is.\r
 409 PASS: f6(10) should be 10 and is.\r
 410 PASS: f7(11, 12) should be 12 and is.\r
 411 PASS: f0(1) should be 1 and is.\r
 412 PASS: f1(2, 3) should be 3 and is.\r
 413 PASS: f2(4) should be 4 and is.\r
 414 PASS: f3(5, 6) should be 6 and is.\r
 415 PASS: f4(7) should be 7 and is.\r
 416 PASS: f5(8, 9) should be 9 and is.\r
 417 PASS: f6(10) should be 10 and is.\r
 418 PASS: f7(11, 12) should be 12 and is.\r
 419 PASS: f0(1) should be 1 and is.\r
 420 PASS: f1(2, 3) should be 3 and is.\r
 421 PASS: f2(4) should be 4 and is.\r
 422 PASS: f3(5, 6) should be 6 and is.\r
 423 PASS: f4(7) should be 7 and is.\r
 424 PASS: f5(8, 9) should be 9 and is.\r
 425 PASS: f6(10) should be 10 and is.\r
 426 PASS: f7(11, 12) should be 12 and is.\r
 427 PASS: f0(1) should be 1 and is.\r
 428 PASS: f1(2, 3) should be 3 and is.\r
 429 PASS: f2(4) should be 4 and is.\r
 430 PASS: f3(5, 6) should be 6 and is.\r
 431 PASS: f4(7) should be 7 and is.\r
 432 PASS: f5(8, 9) should be 9 and is.\r
 433 PASS: f6(10) should be 10 and is.\r
 434 PASS: f7(11, 12) should be 12 and is.\r
 435 PASS: f0(1) should be 1 and is.\r
 436 PASS: f1(2, 3) should be 3 and is.\r
 437 PASS: f2(4) should be 4 and is.\r
 438 PASS: f3(5, 6) should be 6 and is.\r
 439 PASS: f4(7) should be 7 and is.\r
 440 PASS: f5(8, 9) should be 9 and is.\r
 441 PASS: f6(10) should be 10 and is.\r
 442 PASS: f7(11, 12) should be 12 and is.\r
 443 PASS: f0(1) should be 1 and is.\r
 444 PASS: f1(2, 3) should be 3 and is.\r
 445 PASS: f2(4) should be 4 and is.\r
 446 PASS: f3(5, 6) should be 6 and is.\r
 447 PASS: f4(7) should be 7 and is.\r
 448 PASS: f5(8, 9) should be 9 and is.\r
 449 PASS: f6(10) should be 10 and is.\r
 450 PASS: f7(11, 12) should be 12 and is.\r
 451 PASS: f0(1) should be 1 and is.\r
 452 PASS: f1(2, 3) should be 3 and is.\r
 453 PASS: f2(4) should be 4 and is.\r
 454 PASS: f3(5, 6) should be 6 and is.\r
 455 PASS: f4(7) should be 7 and is.\r
 456 PASS: f5(8, 9) should be 9 and is.\r
 457 PASS: f6(10) should be 10 and is.\r
 458 PASS: f7(11, 12) should be 12 and is.\r
 459 PASS: f0(1) should be 1 and is.\r
 460 PASS: f1(2, 3) should be 3 and is.\r
 461 PASS: f2(4) should be 4 and is.\r
 462 PASS: f3(5, 6) should be 6 and is.\r
 463 PASS: f4(7) should be 7 and is.\r
 464 PASS: f5(8, 9) should be 9 and is.\r
 465 PASS: f6(10) should be 10 and is.\r
 466 PASS: f7(11, 12) should be 12 and is.\r
 467 PASS: f0(1) should be 1 and is.\r
 468 PASS: f1(2, 3) should be 3 and is.\r
 469 PASS: f2(4) should be 4 and is.\r
 470 PASS: f3(5, 6) should be 6 and is.\r
 471 PASS: f4(7) should be 7 and is.\r
 472 PASS: f5(8, 9) should be 9 and is.\r
 473 PASS: f6(10) should be 10 and is.\r
 474 PASS: f7(11, 12) should be 12 and is.\r
 475 PASS: f0(1) should be 1 and is.\r
 476 PASS: f1(2, 3) should be 3 and is.\r
 477 PASS: f2(4) should be 4 and is.\r
 478 PASS: f3(5, 6) should be 6 and is.\r
 479 PASS: f4(7) should be 7 and is.\r
 480 PASS: f5(8, 9) should be 9 and is.\r
 481 PASS: f6(10) should be 10 and is.\r
 482 PASS: f7(11, 12) should be 12 and is.\r
 483 PASS: f0(1) should be 1 and is.\r
 484 PASS: f1(2, 3) should be 3 and is.\r
 485 PASS: f2(4) should be 4 and is.\r
 486 PASS: f3(5, 6) should be 6 and is.\r
 487 PASS: f4(7) should be 7 and is.\r
 488 PASS: f5(8, 9) should be 9 and is.\r
 489 PASS: f6(10) should be 10 and is.\r
 490 PASS: f7(11, 12) should be 12 and is.\r
 491 PASS: f0(1) should be 1 and is.\r
 492 PASS: f1(2, 3) should be 3 and is.\r
 493 PASS: f2(4) should be 4 and is.\r
 494 PASS: f3(5, 6) should be 6 and is.\r
 495 PASS: f4(7) should be 7 and is.\r
 496 PASS: f5(8, 9) should be 9 and is.\r
 497 PASS: f6(10) should be 10 and is.\r
 498 PASS: f7(11, 12) should be 12 and is.\r
 499 PASS: f0(1) should be 1 and is.\r
 500 PASS: f1(2, 3) should be 3 and is.\r
 501 PASS: f2(4) should be 4 and is.\r
 502 PASS: f3(5, 6) should be 6 and is.\r
 503 PASS: f4(7) should be 7 and is.\r
 504 PASS: f5(8, 9) should be 9 and is.\r
 505 PASS: f6(10) should be 10 and is.\r
 506 PASS: f7(11, 12) should be 12 and is.\r
 507 PASS: f0(1) should be 1 and is.\r
 508 PASS: f1(2, 3) should be 3 and is.\r
 509 PASS: f2(4) should be 4 and is.\r
 510 PASS: f3(5, 6) should be 6 and is.\r
 511 PASS: f4(7) should be 7 and is.\r
 512 PASS: f5(8, 9) should be 9 and is.\r
 513 PASS: f6(10) should be 10 and is.\r
 514 PASS: f7(11, 12) should be 12 and is.\r
 515 PASS: f0(1) should be 1 and is.\r
 516 PASS: f1(2, 3) should be 3 and is.\r
 517 PASS: f2(4) should be 4 and is.\r
 518 PASS: f3(5, 6) should be 6 and is.\r
 519 PASS: f4(7) should be 7 and is.\r
 520 PASS: f5(8, 9) should be 9 and is.\r
 521 PASS: f6(10) should be 10 and is.\r
 522 PASS: f7(11, 12) should be 12 and is.\r
 523 PASS: f0(1) should be 1 and is.\r
 524 PASS: f1(2, 3) should be 3 and is.\r
 525 PASS: f2(4) should be 4 and is.\r
 526 PASS: f3(5, 6) should be 6 and is.\r
 527 PASS: f4(7) should be 7 and is.\r
 528 PASS: f5(8, 9) should be 9 and is.\r
 529 PASS: f6(10) should be 10 and is.\r
 530 PASS: f7(11, 12) should be 12 and is.\r
 531 PASS: f0(1) should be 1 and is.\r
 532 PASS: f1(2, 3) should be 3 and is.\r
 533 PASS: f2(4) should be 4 and is.\r
 534 PASS: f3(5, 6) should be 6 and is.\r
 535 PASS: f4(7) should be 7 and is.\r
 536 PASS: f5(8, 9) should be 9 and is.\r
 537 PASS: f6(10) should be 10 and is.\r
 538 PASS: f7(11, 12) should be 12 and is.\r
 539 PASS: f0(1) should be 1 and is.\r
 540 PASS: f1(2, 3) should be 3 and is.\r
 541 PASS: f2(4) should be 4 and is.\r
 542 PASS: f3(5, 6) should be 6 and is.\r
 543 PASS: f4(7) should be 7 and is.\r
 544 PASS: f5(8, 9) should be 9 and is.\r
 545 PASS: f6(10) should be 10 and is.\r
 546 PASS: f7(11, 12) should be 12 and is.\r
 547 PASS: f0(1) should be 1 and is.\r
 548 PASS: f1(2, 3) should be 3 and is.\r
 549 PASS: f2(4) should be 4 and is.\r
 550 PASS: f3(5, 6) should be 6 and is.\r
 551 PASS: f4(7) should be 7 and is.\r
 552 PASS: f5(8, 9) should be 9 and is.\r
 553 PASS: f6(10) should be 10 and is.\r
 554 PASS: f7(11, 12) should be 12 and is.\r
 555 PASS: f0(1) should be 1 and is.\r
 556 PASS: f1(2, 3) should be 3 and is.\r
 557 PASS: f2(4) should be 4 and is.\r
 558 PASS: f3(5, 6) should be 6 and is.\r
 559 PASS: f4(7) should be 7 and is.\r
 560 PASS: f5(8, 9) should be 9 and is.\r
 561 PASS: f6(10) should be 10 and is.\r
 562 PASS: f7(11, 12) should be 12 and is.\r
 563 PASS: f0(1) should be 1 and is.\r
 564 PASS: f1(2, 3) should be 3 and is.\r
 565 PASS: f2(4) should be 4 and is.\r
 566 PASS: f3(5, 6) should be 6 and is.\r
 567 PASS: f4(7) should be 7 and is.\r
 568 PASS: f5(8, 9) should be 9 and is.\r
 569 PASS: f6(10) should be 10 and is.\r
 570 PASS: f7(11, 12) should be 12 and is.\r
 571 PASS: f0(1) should be 1 and is.\r
 572 PASS: f1(2, 3) should be 3 and is.\r
 573 PASS: f2(4) should be 4 and is.\r
 574 PASS: f3(5, 6) should be 6 and is.\r
 575 PASS: f4(7) should be 7 and is.\r
 576 PASS: f5(8, 9) should be 9 and is.\r
 577 PASS: f6(10) should be 10 and is.\r
 578 PASS: f7(11, 12) should be 12 and is.\r
 579 PASS: f0(1) should be 1 and is.\r
 580 PASS: f1(2, 3) should be 3 and is.\r
 581 PASS: f2(4) should be 4 and is.\r
 582 PASS: f3(5, 6) should be 6 and is.\r
 583 PASS: f4(7) should be 7 and is.\r
 584 PASS: f5(8, 9) should be 9 and is.\r
 585 PASS: f6(10) should be 10 and is.\r
 586 PASS: f7(11, 12) should be 12 and is.\r
 587 PASS: f0(1) should be 1 and is.\r
 588 PASS: f1(2, 3) should be 3 and is.\r
 589 PASS: f2(4) should be 4 and is.\r
 590 PASS: f3(5, 6) should be 6 and is.\r
 591 PASS: f4(7) should be 7 and is.\r
 592 PASS: f5(8, 9) should be 9 and is.\r
 593 PASS: f6(10) should be 10 and is.\r
 594 PASS: f7(11, 12) should be 12 and is.\r
 595 PASS: f0(1) should be 1 and is.\r
 596 PASS: f1(2, 3) should be 3 and is.\r
 597 PASS: f2(4) should be 4 and is.\r
 598 PASS: f3(5, 6) should be 6 and is.\r
 599 PASS: f4(7) should be 7 and is.\r
 600 PASS: f5(8, 9) should be 9 and is.\r
 601 PASS: f6(10) should be 10 and is.\r
 602 PASS: f7(11, 12) should be 12 and is.\r
 603 PASS: f0(1) should be 1 and is.\r
 604 PASS: f1(2, 3) should be 3 and is.\r
 605 PASS: f2(4) should be 4 and is.\r
 606 PASS: f3(5, 6) should be 6 and is.\r
 607 PASS: f4(7) should be 7 and is.\r
 608 PASS: f5(8, 9) should be 9 and is.\r
 609 PASS: f6(10) should be 10 and is.\r
 610 PASS: f7(11, 12) should be 12 and is.\r
 611 PASS: f0(1) should be 1 and is.\r
 612 PASS: f1(2, 3) should be 3 and is.\r
 613 PASS: f2(4) should be 4 and is.\r
 614 PASS: f3(5, 6) should be 6 and is.\r
 615 PASS: f4(7) should be 7 and is.\r
 616 PASS: f5(8, 9) should be 9 and is.\r
 617 PASS: f6(10) should be 10 and is.\r
 618 PASS: f7(11, 12) should be 12 and is.\r
 619 PASS: f0(1) should be 1 and is.\r
 620 PASS: f1(2, 3) should be 3 and is.\r
 621 PASS: f2(4) should be 4 and is.\r
 622 PASS: f3(5, 6) should be 6 and is.\r
 623 PASS: f4(7) should be 7 and is.\r
 624 PASS: f5(8, 9) should be 9 and is.\r
 625 PASS: f6(10) should be 10 and is.\r
 626 PASS: f7(11, 12) should be 12 and is.\r
 627 PASS: f0(1) should be 1 and is.\r
 628 PASS: f1(2, 3) should be 3 and is.\r
 629 PASS: f2(4) should be 4 and is.\r
 630 PASS: f3(5, 6) should be 6 and is.\r
 631 PASS: f4(7) should be 7 and is.\r
 632 PASS: f5(8, 9) should be 9 and is.\r
 633 PASS: f6(10) should be 10 and is.\r
 634 PASS: f7(11, 12) should be 12 and is.\r
 635 PASS: f0(1) should be 1 and is.\r
 636 PASS: f1(2, 3) should be 3 and is.\r
 637 PASS: f2(4) should be 4 and is.\r
 638 PASS: f3(5, 6) should be 6 and is.\r
 639 PASS: f4(7) should be 7 and is.\r
 640 PASS: f5(8, 9) should be 9 and is.\r
 641 PASS: f6(10) should be 10 and is.\r
 642 PASS: f7(11, 12) should be 12 and is.\r
 643 PASS: f0(1) should be 1 and is.\r
 644 PASS: f1(2, 3) should be 3 and is.\r
 645 PASS: f2(4) should be 4 and is.\r
 646 PASS: f3(5, 6) should be 6 and is.\r
 647 PASS: f4(7) should be 7 and is.\r
 648 PASS: f5(8, 9) should be 9 and is.\r
 649 PASS: f6(10) should be 10 and is.\r
 650 PASS: f7(11, 12) should be 12 and is.\r
 651 PASS: f0(1) should be 1 and is.\r
 652 PASS: f1(2, 3) should be 3 and is.\r
 653 PASS: f2(4) should be 4 and is.\r
 654 PASS: f3(5, 6) should be 6 and is.\r
 655 PASS: f4(7) should be 7 and is.\r
 656 PASS: f5(8, 9) should be 9 and is.\r
 657 PASS: f6(10) should be 10 and is.\r
 658 PASS: f7(11, 12) should be 12 and is.\r
 659 PASS: f0(1) should be 1 and is.\r
 660 PASS: f1(2, 3) should be 3 and is.\r
 661 PASS: f2(4) should be 4 and is.\r
 662 PASS: f3(5, 6) should be 6 and is.\r
 663 PASS: f4(7) should be 7 and is.\r
 664 PASS: f5(8, 9) should be 9 and is.\r
 665 PASS: f6(10) should be 10 and is.\r
 666 PASS: f7(11, 12) should be 12 and is.\r
 667 PASS: f0(1) should be 1 and is.\r
 668 PASS: f1(2, 3) should be 3 and is.\r
 669 PASS: f2(4) should be 4 and is.\r
 670 PASS: f3(5, 6) should be 6 and is.\r
 671 PASS: f4(7) should be 7 and is.\r
 672 PASS: f5(8, 9) should be 9 and is.\r
 673 PASS: f6(10) should be 10 and is.\r
 674 PASS: f7(11, 12) should be 12 and is.\r
 675 PASS: f0(1) should be 1 and is.\r
 676 PASS: f1(2, 3) should be 3 and is.\r
 677 PASS: f2(4) should be 4 and is.\r
 678 PASS: f3(5, 6) should be 6 and is.\r
 679 PASS: f4(7) should be 7 and is.\r
 680 PASS: f5(8, 9) should be 9 and is.\r
 681 PASS: f6(10) should be 10 and is.\r
 682 PASS: f7(11, 12) should be 12 and is.\r
 683 PASS: f0(1) should be 1 and is.\r
 684 PASS: f1(2, 3) should be 3 and is.\r
 685 PASS: f2(4) should be 4 and is.\r
 686 PASS: f3(5, 6) should be 6 and is.\r
 687 PASS: f4(7) should be 7 and is.\r
 688 PASS: f5(8, 9) should be 9 and is.\r
 689 PASS: f6(10) should be 10 and is.\r
 690 PASS: f7(11, 12) should be 12 and is.\r
 691 PASS: f0(1) should be 1 and is.\r
 692 PASS: f1(2, 3) should be 3 and is.\r
 693 PASS: f2(4) should be 4 and is.\r
 694 PASS: f3(5, 6) should be 6 and is.\r
 695 PASS: f4(7) should be 7 and is.\r
 696 PASS: f5(8, 9) should be 9 and is.\r
 697 PASS: f6(10) should be 10 and is.\r
 698 PASS: f7(11, 12) should be 12 and is.\r
 699 PASS: f0(1) should be 1 and is.\r
 700 PASS: f1(2, 3) should be 3 and is.\r
 701 PASS: f2(4) should be 4 and is.\r
 702 PASS: f3(5, 6) should be 6 and is.\r
 703 PASS: f4(7) should be 7 and is.\r
 704 PASS: f5(8, 9) should be 9 and is.\r
 705 PASS: f6(10) should be 10 and is.\r
 706 PASS: f7(11, 12) should be 12 and is.\r
 707 PASS: f0(1) should be 1 and is.\r
 708 PASS: f1(2, 3) should be 3 and is.\r
 709 PASS: f2(4) should be 4 and is.\r
 710 PASS: f3(5, 6) should be 6 and is.\r
 711 PASS: f4(7) should be 7 and is.\r
 712 PASS: f5(8, 9) should be 9 and is.\r
 713 PASS: f6(10) should be 10 and is.\r
 714 PASS: f7(11, 12) should be 12 and is.\r
 715 PASS: f0(1) should be 1 and is.\r
 716 PASS: f1(2, 3) should be 3 and is.\r
 717 PASS: f2(4) should be 4 and is.\r
 718 PASS: f3(5, 6) should be 6 and is.\r
 719 PASS: f4(7) should be 7 and is.\r
 720 PASS: f5(8, 9) should be 9 and is.\r
 721 PASS: f6(10) should be 10 and is.\r
 722 PASS: f7(11, 12) should be 12 and is.\r
 723 PASS: f0(1) should be 1 and is.\r
 724 PASS: f1(2, 3) should be 3 and is.\r
 725 PASS: f2(4) should be 4 and is.\r
 726 PASS: f3(5, 6) should be 6 and is.\r
 727 PASS: f4(7) should be 7 and is.\r
 728 PASS: f5(8, 9) should be 9 and is.\r
 729 PASS: f6(10) should be 10 and is.\r
 730 PASS: f7(11, 12) should be 12 and is.\r
 731 PASS: f0(1) should be 1 and is.\r
 732 PASS: f1(2, 3) should be 3 and is.\r
 733 PASS: f2(4) should be 4 and is.\r
 734 PASS: f3(5, 6) should be 6 and is.\r
 735 PASS: f4(7) should be 7 and is.\r
 736 PASS: f5(8, 9) should be 9 and is.\r
 737 PASS: f6(10) should be 10 and is.\r
 738 PASS: f7(11, 12) should be 12 and is.\r
 739 PASS: f0(1) should be 1 and is.\r
 740 PASS: f1(2, 3) should be 3 and is.\r
 741 PASS: f2(4) should be 4 and is.\r
 742 PASS: f3(5, 6) should be 6 and is.\r
 743 PASS: f4(7) should be 7 and is.\r
 744 PASS: f5(8, 9) should be 9 and is.\r
 745 PASS: f6(10) should be 10 and is.\r
 746 PASS: f7(11, 12) should be 12 and is.\r
 747 PASS: f0(1) should be 1 and is.\r
 748 PASS: f1(2, 3) should be 3 and is.\r
 749 PASS: f2(4) should be 4 and is.\r
 750 PASS: f3(5, 6) should be 6 and is.\r
 751 PASS: f4(7) should be 7 and is.\r
 752 PASS: f5(8, 9) should be 9 and is.\r
 753 PASS: f6(10) should be 10 and is.\r
 754 PASS: f7(11, 12) should be 12 and is.\r
 755 PASS: f0(1) should be 1 and is.\r
 756 PASS: f1(2, 3) should be 3 and is.\r
 757 PASS: f2(4) should be 4 and is.\r
 758 PASS: f3(5, 6) should be 6 and is.\r
 759 PASS: f4(7) should be 7 and is.\r
 760 PASS: f5(8, 9) should be 9 and is.\r
 761 PASS: f6(10) should be 10 and is.\r
 762 PASS: f7(11, 12) should be 12 and is.\r
 763 PASS: f0(1) should be 1 and is.\r
 764 PASS: f1(2, 3) should be 3 and is.\r
 765 PASS: f2(4) should be 4 and is.\r
 766 PASS: f3(5, 6) should be 6 and is.\r
 767 PASS: f4(7) should be 7 and is.\r
 768 PASS: f5(8, 9) should be 9 and is.\r
 769 PASS: f6(10) should be 10 and is.\r
 770 PASS: f7(11, 12) should be 12 and is.\r
 771 PASS: f0(1) should be 1 and is.\r
 772 PASS: f1(2, 3) should be 3 and is.\r
 773 PASS: f2(4) should be 4 and is.\r
 774 PASS: f3(5, 6) should be 6 and is.\r
 775 PASS: f4(7) should be 7 and is.\r
 776 PASS: f5(8, 9) should be 9 and is.\r
 777 PASS: f6(10) should be 10 and is.\r
 778 PASS: f7(11, 12) should be 12 and is.\r
 779 PASS: f0(1) should be 1 and is.\r
 780 PASS: f1(2, 3) should be 3 and is.\r
 781 PASS: f2(4) should be 4 and is.\r
 782 PASS: f3(5, 6) should be 6 and is.\r
 783 PASS: f4(7) should be 7 and is.\r
 784 PASS: f5(8, 9) should be 9 and is.\r
 785 PASS: f6(10) should be 10 and is.\r
 786 PASS: f7(11, 12) should be 12 and is.\r
 787 PASS: f0(1) should be 1 and is.\r
 788 PASS: f1(2, 3) should be 3 and is.\r
 789 PASS: f2(4) should be 4 and is.\r
 790 PASS: f3(5, 6) should be 6 and is.\r
 791 PASS: f4(7) should be 7 and is.\r
 792 PASS: f5(8, 9) should be 9 and is.\r
 793 PASS: f6(10) should be 10 and is.\r
 794 PASS: f7(11, 12) should be 12 and is.\r
 795 PASS: f0(1) should be 1 and is.\r
 796 PASS: f1(2, 3) should be 3 and is.\r
 797 PASS: f2(4) should be 4 and is.\r
 798 PASS: f3(5, 6) should be 6 and is.\r
 799 PASS: f4(7) should be 7 and is.\r
 800 PASS: f5(8, 9) should be 9 and is.\r
 801 PASS: f6(10) should be 10 and is.\r
 802 PASS: f7(11, 12) should be 12 and is.\r
 803 PASS: f0(1) should be 1 and is.\r
 804 PASS: f1(2, 3) should be 3 and is.\r
 805 PASS: f2(4) should be 4 and is.\r
 806 PASS: f3(5, 6) should be 6 and is.\r
 807 PASS: f4(7) should be 7 and is.\r
 808 PASS: f5(8, 9) should be 9 and is.\r
 809 PASS: f6(10) should be 10 and is.\r
 810 PASS: f7(11, 12) should be 12 and is.\r
 811 PASS: f0(1) should be 1 and is.\r
 812 PASS: f1(2, 3) should be 3 and is.\r
 813 PASS: f2(4) should be 4 and is.\r
 814 PASS: f3(5, 6) should be 6 and is.\r
 815 PASS: f4(7) should be 7 and is.\r
 816 PASS: f5(8, 9) should be 9 and is.\r
 817 PASS: f6(10) should be 10 and is.\r
 818 PASS: f7(11, 12) should be 12 and is.\r
 819 PASS: f0(1) should be 1 and is.\r
 820 PASS: f1(2, 3) should be 3 and is.\r
 821 PASS: f2(4) should be 4 and is.\r
 822 PASS: f3(5, 6) should be 6 and is.\r
 823 PASS: f4(7) should be 7 and is.\r
 824 PASS: f5(8, 9) should be 9 and is.\r
 825 PASS: f6(10) should be 10 and is.\r
 826 PASS: f7(11, 12) should be 12 and is.\r
 827 PASS: f0(1) should be 1 and is.\r
 828 PASS: f1(2, 3) should be 3 and is.\r
 829 PASS: f2(4) should be 4 and is.\r
 830 PASS: f3(5, 6) should be 6 and is.\r
 831 PASS: f4(7) should be 7 and is.\r
 832 PASS: f5(8, 9) should be 9 and is.\r
 833 PASS: f6(10) should be 10 and is.\r
 834 PASS: f7(11, 12) should be 12 and is.\r
 835 PASS: f0(1) should be 1 and is.\r
 836 PASS: f1(2, 3) should be 3 and is.\r
 837 PASS: f2(4) should be 4 and is.\r
 838 PASS: f3(5, 6) should be 6 and is.\r
 839 PASS: f4(7) should be 7 and is.\r
 840 PASS: f5(8, 9) should be 9 and is.\r
 841 PASS: f6(10) should be 10 and is.\r
 842 PASS: f7(11, 12) should be 12 and is.\r
 843 PASS: f0(1) should be 1 and is.\r
 844 PASS: f1(2, 3) should be 3 and is.\r
 845 PASS: f2(4) should be 4 and is.\r
 846 PASS: f3(5, 6) should be 6 and is.\r
 847 PASS: f4(7) should be 7 and is.\r
 848 PASS: f5(8, 9) should be 9 and is.\r
 849 PASS: f6(10) should be 10 and is.\r
 850 PASS: f7(11, 12) should be 12 and is.\r
 851 PASS: f0(1) should be 1 and is.\r
 852 PASS: f1(2, 3) should be 3 and is.\r
 853 PASS: f2(4) should be 4 and is.\r
 854 PASS: f3(5, 6) should be 6 and is.\r
 855 PASS: f4(7) should be 7 and is.\r
 856 PASS: f5(8, 9) should be 9 and is.\r
 857 PASS: f6(10) should be 10 and is.\r
 858 PASS: f7(11, 12) should be 12 and is.\r
 859 PASS: f0(1) should be 1 and is.\r
 860 PASS: f1(2, 3) should be 3 and is.\r
 861 PASS: f2(4) should be 4 and is.\r
 862 PASS: f3(5, 6) should be 6 and is.\r
 863 PASS: f4(7) should be 7 and is.\r
 864 PASS: f5(8, 9) should be 9 and is.\r
 865 PASS: f6(10) should be 10 and is.\r
 866 PASS: f7(11, 12) should be 12 and is.\r
 867 PASS: f0(1) should be 1 and is.\r
 868 PASS: f1(2, 3) should be 3 and is.\r
 869 PASS: f2(4) should be 4 and is.\r
 870 PASS: f3(5, 6) should be 6 and is.\r
 871 PASS: f4(7) should be 7 and is.\r
 872 PASS: f5(8, 9) should be 9 and is.\r
 873 PASS: f6(10) should be 10 and is.\r
 874 PASS: f7(11, 12) should be 12 and is.\r
 875 PASS: f0(1) should be 1 and is.\r
 876 PASS: f1(2, 3) should be 3 and is.\r
 877 PASS: f2(4) should be 4 and is.\r
 878 PASS: f3(5, 6) should be 6 and is.\r
 879 PASS: f4(7) should be 7 and is.\r
 880 PASS: f5(8, 9) should be 9 and is.\r
 881 PASS: f6(10) should be 10 and is.\r
 882 PASS: f7(11, 12) should be 12 and is.\r
 883 PASS: f0(1) should be 1 and is.\r
 884 PASS: f1(2, 3) should be 3 and is.\r
 885 PASS: f2(4) should be 4 and is.\r
 886 PASS: f3(5, 6) should be 6 and is.\r
 887 PASS: f4(7) should be 7 and is.\r
 888 PASS: f5(8, 9) should be 9 and is.\r
 889 PASS: f6(10) should be 10 and is.\r
 890 PASS: f7(11, 12) should be 12 and is.\r
 891 PASS: f0(1) should be 1 and is.\r
 892 PASS: f1(2, 3) should be 3 and is.\r
 893 PASS: f2(4) should be 4 and is.\r
 894 PASS: f3(5, 6) should be 6 and is.\r
 895 PASS: f4(7) should be 7 and is.\r
 896 PASS: f5(8, 9) should be 9 and is.\r
 897 PASS: f6(10) should be 10 and is.\r
 898 PASS: f7(11, 12) should be 12 and is.\r
 899 PASS: f0(1) should be 1 and is.\r
 900 PASS: f1(2, 3) should be 3 and is.\r
 901 PASS: f2(4) should be 4 and is.\r
 902 PASS: f3(5, 6) should be 6 and is.\r
 903 PASS: f4(7) should be 7 and is.\r
 904 PASS: f5(8, 9) should be 9 and is.\r
 905 PASS: f6(10) should be 10 and is.\r
 906 PASS: f7(11, 12) should be 12 and is.\r
 907 PASS: f0(1) should be 1 and is.\r
 908 PASS: f1(2, 3) should be 3 and is.\r
 909 PASS: f2(4) should be 4 and is.\r
 910 PASS: f3(5, 6) should be 6 and is.\r
 911 PASS: f4(7) should be 7 and is.\r
 912 PASS: f5(8, 9) should be 9 and is.\r
 913 PASS: f6(10) should be 10 and is.\r
 914 PASS: f7(11, 12) should be 12 and is.\r
 915 PASS: f0(1) should be 1 and is.\r
 916 PASS: f1(2, 3) should be 3 and is.\r
 917 PASS: f2(4) should be 4 and is.\r
 918 PASS: f3(5, 6) should be 6 and is.\r
 919 PASS: f4(7) should be 7 and is.\r
 920 PASS: f5(8, 9) should be 9 and is.\r
 921 PASS: f6(10) should be 10 and is.\r
 922 PASS: f7(11, 12) should be 12 and is.\r
 923 PASS: f0(1) should be 1 and is.\r
 924 PASS: f1(2, 3) should be 3 and is.\r
 925 PASS: f2(4) should be 4 and is.\r
 926 PASS: f3(5, 6) should be 6 and is.\r
 927 PASS: f4(7) should be 7 and is.\r
 928 PASS: f5(8, 9) should be 9 and is.\r
 929 PASS: f6(10) should be 10 and is.\r
 930 PASS: f7(11, 12) should be 12 and is.\r
 931 PASS: f0(1) should be 1 and is.\r
 932 PASS: f1(2, 3) should be 3 and is.\r
 933 PASS: f2(4) should be 4 and is.\r
 934 PASS: f3(5, 6) should be 6 and is.\r
 935 PASS: f4(7) should be 7 and is.\r
 936 PASS: f5(8, 9) should be 9 and is.\r
 937 PASS: f6(10) should be 10 and is.\r
 938 PASS: f7(11, 12) should be 12 and is.\r
 939 PASS: f0(1) should be 1 and is.\r
 940 PASS: f1(2, 3) should be 3 and is.\r
 941 PASS: f2(4) should be 4 and is.\r
 942 PASS: f3(5, 6) should be 6 and is.\r
 943 PASS: f4(7) should be 7 and is.\r
 944 PASS: f5(8, 9) should be 9 and is.\r
 945 PASS: f6(10) should be 10 and is.\r
 946 PASS: f7(11, 12) should be 12 and is.\r
 947 PASS: f0(1) should be 1 and is.\r
 948 PASS: f1(2, 3) should be 3 and is.\r
 949 PASS: f2(4) should be 4 and is.\r
 950 PASS: f3(5, 6) should be 6 and is.\r
 951 PASS: f4(7) should be 7 and is.\r
 952 PASS: f5(8, 9) should be 9 and is.\r
 953 PASS: f6(10) should be 10 and is.\r
 954 PASS: f7(11, 12) should be 12 and is.\r
 955 PASS: f0(1) should be 1 and is.\r
 956 PASS: f1(2, 3) should be 3 and is.\r
 957 PASS: f2(4) should be 4 and is.\r
 958 PASS: f3(5, 6) should be 6 and is.\r
 959 PASS: f4(7) should be 7 and is.\r
 960 PASS: f5(8, 9) should be 9 and is.\r
 961 PASS: f6(10) should be 10 and is.\r
 962 PASS: f7(11, 12) should be 12 and is.\r
 963 PASS: f0(1) should be 1 and is.\r
 964 PASS: f1(2, 3) should be 3 and is.\r
 965 PASS: f2(4) should be 4 and is.\r
 966 PASS: f3(5, 6) should be 6 and is.\r
 967 PASS: f4(7) should be 7 and is.\r
 968 PASS: f5(8, 9) should be 9 and is.\r
 969 PASS: f6(10) should be 10 and is.\r
 970 PASS: f7(11, 12) should be 12 and is.\r
 971 PASS: f0(1) should be 1 and is.\r
 972 PASS: f1(2, 3) should be 3 and is.\r
 973 PASS: f2(4) should be 4 and is.\r
 974 PASS: f3(5, 6) should be 6 and is.\r
 975 PASS: f4(7) should be 7 and is.\r
 976 PASS: f5(8, 9) should be 9 and is.\r
 977 PASS: f6(10) should be 10 and is.\r
 978 PASS: f7(11, 12) should be 12 and is.\r
 979 PASS: f0(1) should be 1 and is.\r
 980 PASS: f1(2, 3) should be 3 and is.\r
 981 PASS: f2(4) should be 4 and is.\r
 982 PASS: f3(5, 6) should be 6 and is.\r
 983 PASS: f4(7) should be 7 and is.\r
 984 PASS: f5(8, 9) should be 9 and is.\r
 985 PASS: f6(10) should be 10 and is.\r
 986 PASS: f7(11, 12) should be 12 and is.\r
 987 PASS: f0(1) should be 1 and is.\r
 988 PASS: f1(2, 3) should be 3 and is.\r
 989 PASS: f2(4) should be 4 and is.\r
 990 PASS: f3(5, 6) should be 6 and is.\r
 991 PASS: f4(7) should be 7 and is.\r
 992 PASS: f5(8, 9) should be 9 and is.\r
 993 PASS: f6(10) should be 10 and is.\r
 994 PASS: f7(11, 12) should be 12 and is.\r
 995 PASS: f0(1) should be 1 and is.\r
 996 PASS: f1(2, 3) should be 3 and is.\r
 997 PASS: f2(4) should be 4 and is.\r
 998 PASS: f3(5, 6) should be 6 and is.\r
 999 PASS: f4(7) should be 7 and is.\r
1000 PASS: f5(8, 9) should be 9 and is.\r
1001 PASS: f6(10) should be 10 and is.\r
1002 PASS: f7(11, 12) should be 12 and is.\r
1003 PASS: f0(1) should be 1 and is.\r
1004 PASS: f1(2, 3) should be 3 and is.\r
1005 PASS: f2(4) should be 4 and is.\r
1006 PASS: f3(5, 6) should be 6 and is.\r
1007 PASS: f4(7) should be 7 and is.\r
1008 PASS: f5(8, 9) should be 9 and is.\r
1009 PASS: f6(10) should be 10 and is.\r
1010 PASS: f7(11, 12) should be 12 and is.\r
1011 PASS: f0(1) should be 1 and is.\r
1012 PASS: f1(2, 3) should be 3 and is.\r
1013 PASS: f2(4) should be 4 and is.\r
1014 PASS: f3(5, 6) should be 6 and is.\r
1015 PASS: f4(7) should be 7 and is.\r
1016 PASS: f5(8, 9) should be 9 and is.\r
1017 PASS: f6(10) should be 10 and is.\r
1018 PASS: f7(11, 12) should be 12 and is.\r
1019 PASS: f0(1) should be 1 and is.\r
1020 PASS: f1(2, 3) should be 3 and is.\r
1021 PASS: f2(4) should be 4 and is.\r
1022 PASS: f3(5, 6) should be 6 and is.\r
1023 PASS: f4(7) should be 7 and is.\r
1024 PASS: f5(8, 9) should be 9 and is.\r
1025 PASS: f6(10) should be 10 and is.\r
1026 PASS: f7(11, 12) should be 12 and is.\r
1027 PASS: f0(1) should be 1 and is.\r
1028 PASS: f1(2, 3) should be 3 and is.\r
1029 PASS: f2(4) should be 4 and is.\r
1030 PASS: f3(5, 6) should be 6 and is.\r
1031 PASS: f4(7) should be 7 and is.\r
1032 PASS: f5(8, 9) should be 9 and is.\r
1033 PASS: f6(10) should be 10 and is.\r
1034 PASS: f7(11, 12) should be 12 and is.\r
1035 PASS: f0(1) should be 1 and is.\r
1036 PASS: f1(2, 3) should be 3 and is.\r
1037 PASS: f2(4) should be 4 and is.\r
1038 PASS: f3(5, 6) should be 6 and is.\r
1039 PASS: f4(7) should be 7 and is.\r
1040 PASS: f5(8, 9) should be 9 and is.\r
1041 PASS: f6(10) should be 10 and is.\r
1042 PASS: f7(11, 12) should be 12 and is.\r
1043 PASS: f0(1) should be 1 and is.\r
1044 PASS: f1(2, 3) should be 3 and is.\r
1045 PASS: f2(4) should be 4 and is.\r
1046 PASS: f3(5, 6) should be 6 and is.\r
1047 PASS: f4(7) should be 7 and is.\r
1048 PASS: f5(8, 9) should be 9 and is.\r
1049 PASS: f6(10) should be 10 and is.\r
1050 PASS: f7(11, 12) should be 12 and is.\r
1051 PASS: f0(1) should be 1 and is.\r
1052 PASS: f1(2, 3) should be 3 and is.\r
1053 PASS: f2(4) should be 4 and is.\r
1054 PASS: f3(5, 6) should be 6 and is.\r
1055 PASS: f4(7) should be 7 and is.\r
1056 PASS: f5(8, 9) should be 9 and is.\r
1057 PASS: f6(10) should be 10 and is.\r
1058 PASS: f7(11, 12) should be 12 and is.\r
1059 PASS: f0(1) should be 1 and is.\r
1060 PASS: f1(2, 3) should be 3 and is.\r
1061 PASS: f2(4) should be 4 and is.\r
1062 PASS: f3(5, 6) should be 6 and is.\r
1063 PASS: f4(7) should be 7 and is.\r
1064 PASS: f5(8, 9) should be 9 and is.\r
1065 PASS: f6(10) should be 10 and is.\r
1066 PASS: f7(11, 12) should be 12 and is.\r
1067 PASS: f0(1) should be 1 and is.\r
1068 PASS: f1(2, 3) should be 3 and is.\r
1069 PASS: f2(4) should be 4 and is.\r
1070 PASS: f3(5, 6) should be 6 and is.\r
1071 PASS: f4(7) should be 7 and is.\r
1072 PASS: f5(8, 9) should be 9 and is.\r
1073 PASS: f6(10) should be 10 and is.\r
1074 PASS: f7(11, 12) should be 12 and is.\r
1075 PASS: f0(1) should be 1 and is.\r
1076 PASS: f1(2, 3) should be 3 and is.\r
1077 PASS: f2(4) should be 4 and is.\r
1078 PASS: f3(5, 6) should be 6 and is.\r
1079 PASS: f4(7) should be 7 and is.\r
1080 PASS: f5(8, 9) should be 9 and is.\r
1081 PASS: f6(10) should be 10 and is.\r
1082 PASS: f7(11, 12) should be 12 and is.\r
1083 PASS: f0(1) should be 1 and is.\r
1084 PASS: f1(2, 3) should be 3 and is.\r
1085 PASS: f2(4) should be 4 and is.\r
1086 PASS: f3(5, 6) should be 6 and is.\r
1087 PASS: f4(7) should be 7 and is.\r
1088 PASS: f5(8, 9) should be 9 and is.\r
1089 PASS: f6(10) should be 10 and is.\r
1090 PASS: f7(11, 12) should be 12 and is.\r
1091 PASS: f0(1) should be 1 and is.\r
1092 PASS: f1(2, 3) should be 3 and is.\r
1093 PASS: f2(4) should be 4 and is.\r
1094 PASS: f3(5, 6) should be 6 and is.\r
1095 PASS: f4(7) should be 7 and is.\r
1096 PASS: f5(8, 9) should be 9 and is.\r
1097 PASS: f6(10) should be 10 and is.\r
1098 PASS: f7(11, 12) should be 12 and is.\r
1099 PASS: f0(1) should be 1 and is.\r
1100 PASS: f1(2, 3) should be 3 and is.\r
1101 PASS: f2(4) should be 4 and is.\r
1102 PASS: f3(5, 6) should be 6 and is.\r
1103 PASS: f4(7) should be 7 and is.\r
1104 PASS: f5(8, 9) should be 9 and is.\r
1105 PASS: f6(10) should be 10 and is.\r
1106 PASS: f7(11, 12) should be 12 and is.\r
1107 PASS: f0(1) should be 1 and is.\r
1108 PASS: f1(2, 3) should be 3 and is.\r
1109 PASS: f2(4) should be 4 and is.\r
1110 PASS: f3(5, 6) should be 6 and is.\r
1111 PASS: f4(7) should be 7 and is.\r
1112 PASS: f5(8, 9) should be 9 and is.\r
1113 PASS: f6(10) should be 10 and is.\r
1114 PASS: f7(11, 12) should be 12 and is.\r
1115 PASS: f0(1) should be 1 and is.\r
1116 PASS: f1(2, 3) should be 3 and is.\r
1117 PASS: f2(4) should be 4 and is.\r
1118 PASS: f3(5, 6) should be 6 and is.\r
1119 PASS: f4(7) should be 7 and is.\r
1120 PASS: f5(8, 9) should be 9 and is.\r
1121 PASS: f6(10) should be 10 and is.\r
1122 PASS: f7(11, 12) should be 12 and is.\r
1123 PASS: f0(1) should be 1 and is.\r
1124 PASS: f1(2, 3) should be 3 and is.\r
1125 PASS: f2(4) should be 4 and is.\r
1126 PASS: f3(5, 6) should be 6 and is.\r
1127 PASS: f4(7) should be 7 and is.\r
1128 PASS: f5(8, 9) should be 9 and is.\r
1129 PASS: f6(10) should be 10 and is.\r
1130 PASS: f7(11, 12) should be 12 and is.\r
1131 PASS: f0(1) should be 1 and is.\r
1132 PASS: f1(2, 3) should be 3 and is.\r
1133 PASS: f2(4) should be 4 and is.\r
1134 PASS: f3(5, 6) should be 6 and is.\r
1135 PASS: f4(7) should be 7 and is.\r
1136 PASS: f5(8, 9) should be 9 and is.\r
1137 PASS: f6(10) should be 10 and is.\r
1138 PASS: f7(11, 12) should be 12 and is.\r
1139 PASS: f0(1) should be 1 and is.\r
1140 PASS: f1(2, 3) should be 3 and is.\r
1141 PASS: f2(4) should be 4 and is.\r
1142 PASS: f3(5, 6) should be 6 and is.\r
1143 PASS: f4(7) should be 7 and is.\r
1144 PASS: f5(8, 9) should be 9 and is.\r
1145 PASS: f6(10) should be 10 and is.\r
1146 PASS: f7(11, 12) should be 12 and is.\r
1147 PASS: f0(1) should be 1 and is.\r
1148 PASS: f1(2, 3) should be 3 and is.\r
1149 PASS: f2(4) should be 4 and is.\r
1150 PASS: f3(5, 6) should be 6 and is.\r
1151 PASS: f4(7) should be 7 and is.\r
1152 PASS: f5(8, 9) should be 9 and is.\r
1153 PASS: f6(10) should be 10 and is.\r
1154 PASS: f7(11, 12) should be 12 and is.\r
1155 PASS: f0(1) should be 1 and is.\r
1156 PASS: f1(2, 3) should be 3 and is.\r
1157 PASS: f2(4) should be 4 and is.\r
1158 PASS: f3(5, 6) should be 6 and is.\r
1159 PASS: f4(7) should be 7 and is.\r
1160 PASS: f5(8, 9) should be 9 and is.\r
1161 PASS: f6(10) should be 10 and is.\r
1162 PASS: f7(11, 12) should be 12 and is.\r
1163 PASS: f0(1) should be 1 and is.\r
1164 PASS: f1(2, 3) should be 3 and is.\r
1165 PASS: f2(4) should be 4 and is.\r
1166 PASS: f3(5, 6) should be 6 and is.\r
1167 PASS: f4(7) should be 7 and is.\r
1168 PASS: f5(8, 9) should be 9 and is.\r
1169 PASS: f6(10) should be 10 and is.\r
1170 PASS: f7(11, 12) should be 12 and is.\r
1171 PASS: f0(1) should be 1 and is.\r
1172 PASS: f1(2, 3) should be 3 and is.\r
1173 PASS: f2(4) should be 4 and is.\r
1174 PASS: f3(5, 6) should be 6 and is.\r
1175 PASS: f4(7) should be 7 and is.\r
1176 PASS: f5(8, 9) should be 9 and is.\r
1177 PASS: f6(10) should be 10 and is.\r
1178 PASS: f7(11, 12) should be 12 and is.\r
1179 PASS: f0(1) should be 1 and is.\r
1180 PASS: f1(2, 3) should be 3 and is.\r
1181 PASS: f2(4) should be 4 and is.\r
1182 PASS: f3(5, 6) should be 6 and is.\r
1183 PASS: f4(7) should be 7 and is.\r
1184 PASS: f5(8, 9) should be 9 and is.\r
1185 PASS: f6(10) should be 10 and is.\r
1186 PASS: f7(11, 12) should be 12 and is.\r
1187 PASS: f0(1) should be 1 and is.\r
1188 PASS: f1(2, 3) should be 3 and is.\r
1189 PASS: f2(4) should be 4 and is.\r
1190 PASS: f3(5, 6) should be 6 and is.\r
1191 PASS: f4(7) should be 7 and is.\r
1192 PASS: f5(8, 9) should be 9 and is.\r
1193 PASS: f6(10) should be 10 and is.\r
1194 PASS: f7(11, 12) should be 12 and is.\r
1195 PASS: f0(1) should be 1 and is.\r
1196 PASS: f1(2, 3) should be 3 and is.\r
1197 PASS: f2(4) should be 4 and is.\r
1198 PASS: f3(5, 6) should be 6 and is.\r
1199 PASS: f4(7) should be 7 and is.\r
1200 PASS: f5(8, 9) should be 9 and is.\r
1201 PASS: f6(10) should be 10 and is.\r
1202 PASS: f7(11, 12) should be 12 and is.\r
1203 PASS: f0(1) should be 1 and is.\r
1204 PASS: f1(2, 3) should be 3 and is.\r
1205 PASS: f2(4) should be 4 and is.\r
1206 PASS: f3(5, 6) should be 6 and is.\r
1207 PASS: f4(7) should be 7 and is.\r
1208 PASS: f5(8, 9) should be 9 and is.\r
1209 PASS: f6(10) should be 10 and is.\r
1210 PASS: f7(11, 12) should be 12 and is.\r
1211 PASS: f0(1) should be 1 and is.\r
1212 PASS: f1(2, 3) should be 3 and is.\r
1213 PASS: f2(4) should be 4 and is.\r
1214 PASS: f3(5, 6) should be 6 and is.\r
1215 PASS: f4(7) should be 7 and is.\r
1216 PASS: f5(8, 9) should be 9 and is.\r
1217 PASS: f6(10) should be 10 and is.\r
1218 PASS: f7(11, 12) should be 12 and is.\r
1219 PASS: f0(1) should be 1 and is.\r
1220 PASS: f1(2, 3) should be 3 and is.\r
1221 PASS: f2(4) should be 4 and is.\r
1222 PASS: f3(5, 6) should be 6 and is.\r
1223 PASS: f4(7) should be 7 and is.\r
1224 PASS: f5(8, 9) should be 9 and is.\r
1225 PASS: f6(10) should be 10 and is.\r
1226 PASS: f7(11, 12) should be 12 and is.\r
1227 PASS: f0(1) should be 1 and is.\r
1228 PASS: f1(2, 3) should be 3 and is.\r
1229 PASS: f2(4) should be 4 and is.\r
1230 PASS: f3(5, 6) should be 6 and is.\r
1231 PASS: f4(7) should be 7 and is.\r
1232 PASS: f5(8, 9) should be 9 and is.\r
1233 PASS: f6(10) should be 10 and is.\r
1234 PASS: f7(11, 12) should be 12 and is.\r
1235 PASS: f0(1) should be 1 and is.\r
1236 PASS: f1(2, 3) should be 3 and is.\r
1237 PASS: f2(4) should be 4 and is.\r
1238 PASS: f3(5, 6) should be 6 and is.\r
1239 PASS: f4(7) should be 7 and is.\r
1240 PASS: f5(8, 9) should be 9 and is.\r
1241 PASS: f6(10) should be 10 and is.\r
1242 PASS: f7(11, 12) should be 12 and is.\r
1243 PASS: f0(1) should be 1 and is.\r
1244 PASS: f1(2, 3) should be 3 and is.\r
1245 PASS: f2(4) should be 4 and is.\r
1246 PASS: f3(5, 6) should be 6 and is.\r
1247 PASS: f4(7) should be 7 and is.\r
1248 PASS: f5(8, 9) should be 9 and is.\r
1249 PASS: f6(10) should be 10 and is.\r
1250 PASS: f7(11, 12) should be 12 and is.\r
1251 PASS: f0(1) should be 1 and is.\r
1252 PASS: f1(2, 3) should be 3 and is.\r
1253 PASS: f2(4) should be 4 and is.\r
1254 PASS: f3(5, 6) should be 6 and is.\r
1255 PASS: f4(7) should be 7 and is.\r
1256 PASS: f5(8, 9) should be 9 and is.\r
1257 PASS: f6(10) should be 10 and is.\r
1258 PASS: f7(11, 12) should be 12 and is.\r
1259 PASS: f0(1) should be 1 and is.\r
1260 PASS: f1(2, 3) should be 3 and is.\r
1261 PASS: f2(4) should be 4 and is.\r
1262 PASS: f3(5, 6) should be 6 and is.\r
1263 PASS: f4(7) should be 7 and is.\r
1264 PASS: f5(8, 9) should be 9 and is.\r
1265 PASS: f6(10) should be 10 and is.\r
1266 PASS: f7(11, 12) should be 12 and is.\r
1267 PASS: f0(1) should be 1 and is.\r
1268 PASS: f1(2, 3) should be 3 and is.\r
1269 PASS: f2(4) should be 4 and is.\r
1270 PASS: f3(5, 6) should be 6 and is.\r
1271 PASS: f4(7) should be 7 and is.\r
1272 PASS: f5(8, 9) should be 9 and is.\r
1273 PASS: f6(10) should be 10 and is.\r
1274 PASS: f7(11, 12) should be 12 and is.\r
1275 PASS: f0(1) should be 1 and is.\r
1276 PASS: f1(2, 3) should be 3 and is.\r
1277 PASS: f2(4) should be 4 and is.\r
1278 PASS: f3(5, 6) should be 6 and is.\r
1279 PASS: f4(7) should be 7 and is.\r
1280 PASS: f5(8, 9) should be 9 and is.\r
1281 PASS: f6(10) should be 10 and is.\r
1282 PASS: f7(11, 12) should be 12 and is.\r
1283 PASS: f0(1) should be 1 and is.\r
1284 PASS: f1(2, 3) should be 3 and is.\r
1285 PASS: f2(4) should be 4 and is.\r
1286 PASS: f3(5, 6) should be 6 and is.\r
1287 PASS: f4(7) should be 7 and is.\r
1288 PASS: f5(8, 9) should be 9 and is.\r
1289 PASS: f6(10) should be 10 and is.\r
1290 PASS: f7(11, 12) should be 12 and is.\r
1291 PASS: f0(1) should be 1 and is.\r
1292 PASS: f1(2, 3) should be 3 and is.\r
1293 PASS: f2(4) should be 4 and is.\r
1294 PASS: f3(5, 6) should be 6 and is.\r
1295 PASS: f4(7) should be 7 and is.\r
1296 PASS: f5(8, 9) should be 9 and is.\r
1297 PASS: f6(10) should be 10 and is.\r
1298 PASS: f7(11, 12) should be 12 and is.\r
1299 PASS: f0(1) should be 1 and is.\r
1300 PASS: f1(2, 3) should be 3 and is.\r
1301 PASS: f2(4) should be 4 and is.\r
1302 PASS: f3(5, 6) should be 6 and is.\r
1303 PASS: f4(7) should be 7 and is.\r
1304 PASS: f5(8, 9) should be 9 and is.\r
1305 PASS: f6(10) should be 10 and is.\r
1306 PASS: f7(11, 12) should be 12 and is.\r
1307 PASS: f0(1) should be 1 and is.\r
1308 PASS: f1(2, 3) should be 3 and is.\r
1309 PASS: f2(4) should be 4 and is.\r
1310 PASS: f3(5, 6) should be 6 and is.\r
1311 PASS: f4(7) should be 7 and is.\r
1312 PASS: f5(8, 9) should be 9 and is.\r
1313 PASS: f6(10) should be 10 and is.\r
1314 PASS: f7(11, 12) should be 12 and is.\r
1315 PASS: f0(1) should be 1 and is.\r
1316 PASS: f1(2, 3) should be 3 and is.\r
1317 PASS: f2(4) should be 4 and is.\r
1318 PASS: f3(5, 6) should be 6 and is.\r
1319 PASS: f4(7) should be 7 and is.\r
1320 PASS: f5(8, 9) should be 9 and is.\r
1321 PASS: f6(10) should be 10 and is.\r
1322 PASS: f7(11, 12) should be 12 and is.\r
1323 PASS: f0(1) should be 1 and is.\r
1324 PASS: f1(2, 3) should be 3 and is.\r
1325 PASS: f2(4) should be 4 and is.\r
1326 PASS: f3(5, 6) should be 6 and is.\r
1327 PASS: f4(7) should be 7 and is.\r
1328 PASS: f5(8, 9) should be 9 and is.\r
1329 PASS: f6(10) should be 10 and is.\r
1330 PASS: f7(11, 12) should be 12 and is.\r
1331 PASS: f0(1) should be 1 and is.\r
1332 PASS: f1(2, 3) should be 3 and is.\r
1333 PASS: f2(4) should be 4 and is.\r
1334 PASS: f3(5, 6) should be 6 and is.\r
1335 PASS: f4(7) should be 7 and is.\r
1336 PASS: f5(8, 9) should be 9 and is.\r
1337 PASS: f6(10) should be 10 and is.\r
1338 PASS: f7(11, 12) should be 12 and is.\r
1339 PASS: f0(1) should be 1 and is.\r
1340 PASS: f1(2, 3) should be 3 and is.\r
1341 PASS: f2(4) should be 4 and is.\r
1342 PASS: f3(5, 6) should be 6 and is.\r
1343 PASS: f4(7) should be 7 and is.\r
1344 PASS: f5(8, 9) should be 9 and is.\r
1345 PASS: f6(10) should be 10 and is.\r
1346 PASS: f7(11, 12) should be 12 and is.\r
1347 PASS: f0(1) should be 1 and is.\r
1348 PASS: f1(2, 3) should be 3 and is.\r
1349 PASS: f2(4) should be 4 and is.\r
1350 PASS: f3(5, 6) should be 6 and is.\r
1351 PASS: f4(7) should be 7 and is.\r
1352 PASS: f5(8, 9) should be 9 and is.\r
1353 PASS: f6(10) should be 10 and is.\r
1354 PASS: f7(11, 12) should be 12 and is.\r
1355 PASS: f0(1) should be 1 and is.\r
1356 PASS: f1(2, 3) should be 3 and is.\r
1357 PASS: f2(4) should be 4 and is.\r
1358 PASS: f3(5, 6) should be 6 and is.\r
1359 PASS: f4(7) should be 7 and is.\r
1360 PASS: f5(8, 9) should be 9 and is.\r
1361 PASS: f6(10) should be 10 and is.\r
1362 PASS: f7(11, 12) should be 12 and is.\r
1363 PASS: f0(1) should be 1 and is.\r
1364 PASS: f1(2, 3) should be 3 and is.\r
1365 PASS: f2(4) should be 4 and is.\r
1366 PASS: f3(5, 6) should be 6 and is.\r
1367 PASS: f4(7) should be 7 and is.\r
1368 PASS: f5(8, 9) should be 9 and is.\r
1369 PASS: f6(10) should be 10 and is.\r
1370 PASS: f7(11, 12) should be 12 and is.\r
1371 PASS: f0(1) should be 1 and is.\r
1372 PASS: f1(2, 3) should be 3 and is.\r
1373 PASS: f2(4) should be 4 and is.\r
1374 PASS: f3(5, 6) should be 6 and is.\r
1375 PASS: f4(7) should be 7 and is.\r
1376 PASS: f5(8, 9) should be 9 and is.\r
1377 PASS: f6(10) should be 10 and is.\r
1378 PASS: f7(11, 12) should be 12 and is.\r
1379 PASS: f0(1) should be 1 and is.\r
1380 PASS: f1(2, 3) should be 3 and is.\r
1381 PASS: f2(4) should be 4 and is.\r
1382 PASS: f3(5, 6) should be 6 and is.\r
1383 PASS: f4(7) should be 7 and is.\r
1384 PASS: f5(8, 9) should be 9 and is.\r
1385 PASS: f6(10) should be 10 and is.\r
1386 PASS: f7(11, 12) should be 12 and is.\r
1387 PASS: f0(1) should be 1 and is.\r
1388 PASS: f1(2, 3) should be 3 and is.\r
1389 PASS: f2(4) should be 4 and is.\r
1390 PASS: f3(5, 6) should be 6 and is.\r
1391 PASS: f4(7) should be 7 and is.\r
1392 PASS: f5(8, 9) should be 9 and is.\r
1393 PASS: f6(10) should be 10 and is.\r
1394 PASS: f7(11, 12) should be 12 and is.\r
1395 PASS: f0(1) should be 1 and is.\r
1396 PASS: f1(2, 3) should be 3 and is.\r
1397 PASS: f2(4) should be 4 and is.\r
1398 PASS: f3(5, 6) should be 6 and is.\r
1399 PASS: f4(7) should be 7 and is.\r
1400 PASS: f5(8, 9) should be 9 and is.\r
1401 PASS: f6(10) should be 10 and is.\r
1402 PASS: f7(11, 12) should be 12 and is.\r
1403 PASS: f0(1) should be 1 and is.\r
1404 PASS: f1(2, 3) should be 3 and is.\r
1405 PASS: f2(4) should be 4 and is.\r
1406 PASS: f3(5, 6) should be 6 and is.\r
1407 PASS: f4(7) should be 7 and is.\r
1408 PASS: f5(8, 9) should be 9 and is.\r
1409 PASS: f6(10) should be 10 and is.\r
1410 PASS: f7(11, 12) should be 12 and is.\r
1411 PASS: f0(1) should be 1 and is.\r
1412 PASS: f1(2, 3) should be 3 and is.\r
1413 PASS: f2(4) should be 4 and is.\r
1414 PASS: f3(5, 6) should be 6 and is.\r
1415 PASS: f4(7) should be 7 and is.\r
1416 PASS: f5(8, 9) should be 9 and is.\r
1417 PASS: f6(10) should be 10 and is.\r
1418 PASS: f7(11, 12) should be 12 and is.\r
1419 PASS: f0(1) should be 1 and is.\r
1420 PASS: f1(2, 3) should be 3 and is.\r
1421 PASS: f2(4) should be 4 and is.\r
1422 PASS: f3(5, 6) should be 6 and is.\r
1423 PASS: f4(7) should be 7 and is.\r
1424 PASS: f5(8, 9) should be 9 and is.\r
1425 PASS: f6(10) should be 10 and is.\r
1426 PASS: f7(11, 12) should be 12 and is.\r
1427 PASS: f0(1) should be 1 and is.\r
1428 PASS: f1(2, 3) should be 3 and is.\r
1429 PASS: f2(4) should be 4 and is.\r
1430 PASS: f3(5, 6) should be 6 and is.\r
1431 PASS: f4(7) should be 7 and is.\r
1432 PASS: f5(8, 9) should be 9 and is.\r
1433 PASS: f6(10) should be 10 and is.\r
1434 PASS: f7(11, 12) should be 12 and is.\r
1435 PASS: f0(1) should be 1 and is.\r
1436 PASS: f1(2, 3) should be 3 and is.\r
1437 PASS: f2(4) should be 4 and is.\r
1438 PASS: f3(5, 6) should be 6 and is.\r
1439 PASS: f4(7) should be 7 and is.\r
1440 PASS: f5(8, 9) should be 9 and is.\r
1441 PASS: f6(10) should be 10 and is.\r
1442 PASS: f7(11, 12) should be 12 and is.\r
1443 PASS: f0(1) should be 1 and is.\r
1444 PASS: f1(2, 3) should be 3 and is.\r
1445 PASS: f2(4) should be 4 and is.\r
1446 PASS: f3(5, 6) should be 6 and is.\r
1447 PASS: f4(7) should be 7 and is.\r
1448 PASS: f5(8, 9) should be 9 and is.\r
1449 PASS: f6(10) should be 10 and is.\r
1450 PASS: f7(11, 12) should be 12 and is.\r
1451 PASS: f0(1) should be 1 and is.\r
1452 PASS: f1(2, 3) should be 3 and is.\r
1453 PASS: f2(4) should be 4 and is.\r
1454 PASS: f3(5, 6) should be 6 and is.\r
1455 PASS: f4(7) should be 7 and is.\r
1456 PASS: f5(8, 9) should be 9 and is.\r
1457 PASS: f6(10) should be 10 and is.\r
1458 PASS: f7(11, 12) should be 12 and is.\r
1459 PASS: f0(1) should be 1 and is.\r
1460 PASS: f1(2, 3) should be 3 and is.\r
1461 PASS: f2(4) should be 4 and is.\r
1462 PASS: f3(5, 6) should be 6 and is.\r
1463 PASS: f4(7) should be 7 and is.\r
1464 PASS: f5(8, 9) should be 9 and is.\r
1465 PASS: f6(10) should be 10 and is.\r
1466 PASS: f7(11, 12) should be 12 and is.\r
1467 PASS: f0(1) should be 1 and is.\r
1468 PASS: f1(2, 3) should be 3 and is.\r
1469 PASS: f2(4) should be 4 and is.\r
1470 PASS: f3(5, 6) should be 6 and is.\r
1471 PASS: f4(7) should be 7 and is.\r
1472 PASS: f5(8, 9) should be 9 and is.\r
1473 PASS: f6(10) should be 10 and is.\r
1474 PASS: f7(11, 12) should be 12 and is.\r
1475 PASS: f0(1) should be 1 and is.\r
1476 PASS: f1(2, 3) should be 3 and is.\r
1477 PASS: f2(4) should be 4 and is.\r
1478 PASS: f3(5, 6) should be 6 and is.\r
1479 PASS: f4(7) should be 7 and is.\r
1480 PASS: f5(8, 9) should be 9 and is.\r
1481 PASS: f6(10) should be 10 and is.\r
1482 PASS: f7(11, 12) should be 12 and is.\r
1483 PASS: f0(1) should be 1 and is.\r
1484 PASS: f1(2, 3) should be 3 and is.\r
1485 PASS: f2(4) should be 4 and is.\r
1486 PASS: f3(5, 6) should be 6 and is.\r
1487 PASS: f4(7) should be 7 and is.\r
1488 PASS: f5(8, 9) should be 9 and is.\r
1489 PASS: f6(10) should be 10 and is.\r
1490 PASS: f7(11, 12) should be 12 and is.\r
1491 PASS: f0(1) should be 1 and is.\r
1492 PASS: f1(2, 3) should be 3 and is.\r
1493 PASS: f2(4) should be 4 and is.\r
1494 PASS: f3(5, 6) should be 6 and is.\r
1495 PASS: f4(7) should be 7 and is.\r
1496 PASS: f5(8, 9) should be 9 and is.\r
1497 PASS: f6(10) should be 10 and is.\r
1498 PASS: f7(11, 12) should be 12 and is.\r
1499 PASS: f0(1) should be 1 and is.\r
1500 PASS: f1(2, 3) should be 3 and is.\r
1501 PASS: f2(4) should be 4 and is.\r
1502 PASS: f3(5, 6) should be 6 and is.\r
1503 PASS: f4(7) should be 7 and is.\r
1504 PASS: f5(8, 9) should be 9 and is.\r
1505 PASS: f6(10) should be 10 and is.\r
1506 PASS: f7(11, 12) should be 12 and is.\r
1507 PASS: f0(1) should be 1 and is.\r
1508 PASS: f1(2, 3) should be 3 and is.\r
1509 PASS: f2(4) should be 4 and is.\r
1510 PASS: f3(5, 6) should be 6 and is.\r
1511 PASS: f4(7) should be 7 and is.\r
1512 PASS: f5(8, 9) should be 9 and is.\r
1513 PASS: f6(10) should be 10 and is.\r
1514 PASS: f7(11, 12) should be 12 and is.\r
1515 PASS: f0(1) should be 1 and is.\r
1516 PASS: f1(2, 3) should be 3 and is.\r
1517 PASS: f2(4) should be 4 and is.\r
1518 PASS: f3(5, 6) should be 6 and is.\r
1519 PASS: f4(7) should be 7 and is.\r
1520 PASS: f5(8, 9) should be 9 and is.\r
1521 PASS: f6(10) should be 10 and is.\r
1522 PASS: f7(11, 12) should be 12 and is.\r
1523 PASS: f0(1) should be 1 and is.\r
1524 PASS: f1(2, 3) should be 3 and is.\r
1525 PASS: f2(4) should be 4 and is.\r
1526 PASS: f3(5, 6) should be 6 and is.\r
1527 PASS: f4(7) should be 7 and is.\r
1528 PASS: f5(8, 9) should be 9 and is.\r
1529 PASS: f6(10) should be 10 and is.\r
1530 PASS: f7(11, 12) should be 12 and is.\r
1531 PASS: f0(1) should be 1 and is.\r
1532 PASS: f1(2, 3) should be 3 and is.\r
1533 PASS: f2(4) should be 4 and is.\r
1534 PASS: f3(5, 6) should be 6 and is.\r
1535 PASS: f4(7) should be 7 and is.\r
1536 PASS: f5(8, 9) should be 9 and is.\r
1537 PASS: f6(10) should be 10 and is.\r
1538 PASS: f7(11, 12) should be 12 and is.\r
1539 PASS: f0(1) should be 1 and is.\r
1540 PASS: f1(2, 3) should be 3 and is.\r
1541 PASS: f2(4) should be 4 and is.\r
1542 PASS: f3(5, 6) should be 6 and is.\r
1543 PASS: f4(7) should be 7 and is.\r
1544 PASS: f5(8, 9) should be 9 and is.\r
1545 PASS: f6(10) should be 10 and is.\r
1546 PASS: f7(11, 12) should be 12 and is.\r
1547 PASS: f0(1) should be 1 and is.\r
1548 PASS: f1(2, 3) should be 3 and is.\r
1549 PASS: f2(4) should be 4 and is.\r
1550 PASS: f3(5, 6) should be 6 and is.\r
1551 PASS: f4(7) should be 7 and is.\r
1552 PASS: f5(8, 9) should be 9 and is.\r
1553 PASS: f6(10) should be 10 and is.\r
1554 PASS: f7(11, 12) should be 12 and is.\r
1555 PASS: f0(1) should be 1 and is.\r
1556 PASS: f1(2, 3) should be 3 and is.\r
1557 PASS: f2(4) should be 4 and is.\r
1558 PASS: f3(5, 6) should be 6 and is.\r
1559 PASS: f4(7) should be 7 and is.\r
1560 PASS: f5(8, 9) should be 9 and is.\r
1561 PASS: f6(10) should be 10 and is.\r
1562 PASS: f7(11, 12) should be 12 and is.\r
1563 PASS: f0(1) should be 1 and is.\r
1564 PASS: f1(2, 3) should be 3 and is.\r
1565 PASS: f2(4) should be 4 and is.\r
1566 PASS: f3(5, 6) should be 6 and is.\r
1567 PASS: f4(7) should be 7 and is.\r
1568 PASS: f5(8, 9) should be 9 and is.\r
1569 PASS: f6(10) should be 10 and is.\r
1570 PASS: f7(11, 12) should be 12 and is.\r
1571 PASS: f0(1) should be 1 and is.\r
1572 PASS: f1(2, 3) should be 3 and is.\r
1573 PASS: f2(4) should be 4 and is.\r
1574 PASS: f3(5, 6) should be 6 and is.\r
1575 PASS: f4(7) should be 7 and is.\r
1576 PASS: f5(8, 9) should be 9 and is.\r
1577 PASS: f6(10) should be 10 and is.\r
1578 PASS: f7(11, 12) should be 12 and is.\r
1579 PASS: f0(1) should be 1 and is.\r
1580 PASS: f1(2, 3) should be 3 and is.\r
1581 PASS: f2(4) should be 4 and is.\r
1582 PASS: f3(5, 6) should be 6 and is.\r
1583 PASS: f4(7) should be 7 and is.\r
1584 PASS: f5(8, 9) should be 9 and is.\r
1585 PASS: f6(10) should be 10 and is.\r
1586 PASS: f7(11, 12) should be 12 and is.\r
1587 PASS: f0(1) should be 1 and is.\r
1588 PASS: f1(2, 3) should be 3 and is.\r
1589 PASS: f2(4) should be 4 and is.\r
1590 PASS: f3(5, 6) should be 6 and is.\r
1591 PASS: f4(7) should be 7 and is.\r
1592 PASS: f5(8, 9) should be 9 and is.\r
1593 PASS: f6(10) should be 10 and is.\r
1594 PASS: f7(11, 12) should be 12 and is.\r
1595 PASS: f0(1) should be 1 and is.\r
1596 PASS: f1(2, 3) should be 3 and is.\r
1597 PASS: f2(4) should be 4 and is.\r
1598 PASS: f3(5, 6) should be 6 and is.\r
1599 PASS: f4(7) should be 7 and is.\r
1600 PASS: f5(8, 9) should be 9 and is.\r
1601 PASS: f6(10) should be 10 and is.\r
1602 PASS: f7(11, 12) should be 12 and is.\r
1603