Submissions for team Casi Axolotl on problem substrpal SubstrPal