Pgadmin Binary Search Leetcode Solution Python Github