Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(467)

Unified Diff: third_party/WebKit/LayoutTests/fast/js/dfg-arguments-alias-activation-expected.txt

Issue 1814963002: Use process/control messages (instead of RVH messages) for layout tests. Base URL: https://chromium.googlesource.com/chromium/src.git@master
Patch Set: Rebasing... Created 4 years, 3 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
Index: third_party/WebKit/LayoutTests/fast/js/dfg-arguments-alias-activation-expected.txt
diff --git a/third_party/WebKit/LayoutTests/fast/js/dfg-arguments-alias-activation-expected.txt b/third_party/WebKit/LayoutTests/fast/js/dfg-arguments-alias-activation-expected.txt
index 3abe266a8d9c878b9a16bec3f20bcaaf2894ed5f..585b92c330ea94c7e85070a8f46a7fe803579864 100644
--- a/third_party/WebKit/LayoutTests/fast/js/dfg-arguments-alias-activation-expected.txt
+++ b/third_party/WebKit/LayoutTests/fast/js/dfg-arguments-alias-activation-expected.txt
@@ -1,1603 +1,1603 @@
This tests verifies access to captured arguments via an optimized-away arguments object.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
-PASS: f0(1) should be 1 and is.
-PASS: f1(2, 3) should be 3 and is.
-PASS: f2(4) should be 4 and is.
-PASS: f3(5, 6) should be 6 and is.
-PASS: f4(7) should be 7 and is.
-PASS: f5(8, 9) should be 9 and is.
-PASS: f6(10) should be 10 and is.
-PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.
+PASS: f0(1) should be 1 and is.
+PASS: f1(2, 3) should be 3 and is.
+PASS: f2(4) should be 4 and is.
+PASS: f3(5, 6) should be 6 and is.
+PASS: f4(7) should be 7 and is.
+PASS: f5(8, 9) should be 9 and is.
+PASS: f6(10) should be 10 and is.
+PASS: f7(11, 12) should be 12 and is.

Powered by Google App Engine
This is Rietveld 408576698