結果 : python format binary with leading zeros