gistfile1.txt

uint x = 0;
        while(l_idx < r_idx && x < 32)
        {
            int mid_idx = (l_idx + r_idx) / 2;            
            int mid_value = input[mid_idx];
            if(x > 11)
            	printf("gid: %d, mine: %d, l_dix: %d, r_idx: %d, mid_idx: %d, mid_value: %d, x: %d\n", gid, mine_value, l_idx, r_idx, mid_idx, mid_value, x);
            if(mid_value > mine_value)  // 1st division
            {
                r_idx = mid_idx;
            }
            else if (mid_value < mine_value)  // 2nd division
            {
                l_idx = mid_value + 1;
            }
            else
            {
                l_idx = mid_idx;
                r_idx = mid_idx;
            }
            x++;
        }