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