Dichotomic_search loading ...