for(c<-"D9,D9D\x034'QF+F'+\x03TU'a'+\x03\x05+\x05-To'aD4aD\x07O\xc2\x854a\x16'}akTWn'D4D\x05D4F.b\xc2\x98^TWnD:T}S-T}S\xc2\x92\x07\xc2\xa2'aF+\x07SD\x07O +\x07O\xc2\xa3'oT!'ea,GQ\x034'D4DGU^G`^B D9\x0fS,\x0fU\x10CD9\x1f,H\xc2\x96kFXcQ\x00+\x00'\x05+\x00DGU\"|,G\xc2\x8a{\xc2\x85F\x16Q9Bb,T\xc2\x87xFWj#,Gog{'a\x04";s=":09 \n12345867")print(""+s(c/13)+s(c%13)replace(":","111"))
Note that non-ascii characters in the above source code will be escaped (such as \x9f).