帝国領侵攻作戦のときの第１３艦隊の規模ってどのぐらいだろう？

イゼルローン要塞攻略戦後、第１３艦隊は第２艦隊を編入して正規の１個艦隊に昇格したはずだけど、
その割には帝国領侵攻作戦でC戦区での戦いで対峙したキルヒアイス艦隊の規模が４倍というのはちょっと。
仮に第１３艦隊が１万２千隻としたらキルヒアイス艦隊は５万隻ぐらいになって規模が大きすぎるし、
アムリッツァ後の１０万隻の追撃戦でキルヒアイス艦隊はその３割ということで約３万隻となり数が合わない。

もしかして、第１３艦隊って第２艦隊を加えても８０００隻ぐらいだったということ？w