Extended solution counts to 702113.