<all test cases combined in Integers4>