Seahorn Publishing on SplitClub