Case 1: Precondition violated... OK, Tag: not_before
Case 2: 11, 12, 13, 14, 15, 16, 1, 2, 3, 4
Case 3: 11, 12, 13, 14, 15, 16, 1, 2, 3, 4
Case 4: 1, 11, 12, 13, 14, 15, 16, 2, 3, 4
Case 5: 1, 11, 12, 13, 14, 15, 16, 2, 3, 4
Case 6: 1, 2, 11, 12, 13, 14, 15, 16, 3, 4
Case 7: 1, 2, 3, 11, 12, 13, 14, 15, 16, 4
Case 8: 1, 2, 3, 4, 11, 12, 13, 14, 15, 16
Case 9: 1, 2, 3, 4, 11, 12, 13, 14, 15, 16
Case 10: Precondition violated... OK, Tag: not_after
Execution completed