В одной не­боль­шой стра­не Ин­ди­ви­ду­аль­ные Но­ме­ра На­ло­гоп­ла­тель­щи­ков пред­став­ля­ют собой целые числа от 1 до 4000. На неко­тором пред­при­я­тии в этой стра­не ра­бо­та­ют 300 че­ло­век. Глав­ный бух­гал­тер этого пред­при­я­тия пе­ре­пи­са­ла ИНН всех со­труд­ни­ков по­сле­до­ва­тель­но без раз­де­ли­те­лей в один файл, при этом ис­поль­зо­ва­лось пред­став­ле­ние целых чисел с оди­на­ко­вым ми­ни­маль­но воз­мож­ным ко­ли­че­ством бит. Каков объем по­лу­чив­ше­го­ся файла?