Actual android takes about 800MiB, judging from the lineagos flashable zip files.