These problems were used to test Otter's experimental splitting rule.
