Em hãy tính xem đến năm 2017, sau 43 năm tham dự, đội tuyển quốc gia VN đạt được bao nhiêu HCV, bao nhiêu HCB tại Olympic Toán học Quốc tế?