プロパティにエンコ日が記載されないかぎりエンコかそうでないかは単体ではわからんもの
fabのエンコは経験したことないからよく知らないけどここでの話を見てる限りはビットレートにばらつきがありそう
気になるなら再度ダウンロードして比較してみ？
エンコじゃならビットレートもファイルサイズも同じになる
ダウンロード中にＰＣに負荷かけてたらデータ飛んでファイルサイズが違う時もあるから注意