Chacha20 proof

from Crypto.Cipher import ChaCha20

key = b"\x9E\xE9\x81\xA3\xCB\xFD\x24\x71\x69\xD3\xEE\x3F\x44\x58\x86\x2A\x37\x40\xBB\x06\x63\xB9\x55\xE2\x6F\x9C\x9D\x67\x9C\x48\xB0\x1F"
nonce = b"\x16\xD9\x70\x49\xFE\x34\xA8\x08"
ciphertext = b"\x09\x52\x89\x2D\x39\xA2\x3A\x87\x07\x04\xE7\x12\x7C\x43\x7F\x8E\x85\xE2\x61\x03\x6E\xAB\xBD\xF4\x00\x4C\xAC\x24\x66\x6F\x59\x5C\x40\x59\x28\xCA\x6B\x64\x36\x02\xE2\x79\xB5\xB2\xCF\xA2\x1B\x00\xC7\x2F\x51\x84\x5A\x8D\xB5\xCD\x0E\x72\x18\xC6\x9A\x45\x18\xB1\x60\xCD\x4E\xF8\x63\x1B\xCE\xD0\x7D\x96\x78\x2B\x29\x28\x49\x85\x86\x9B\x4B\xB1\xB8\x59\x85\xC9\x8B\x22\x79\x58\xB3\x92\xBA\x83\x16\xE7\x99\x5A\x97\x43\x85\x33\xA1\xAA\x3B\xE6\x29\x9D\xE7\x34\x17\xDD\xD7\xAA\xF1\x46\x75\x25\xBF\xF4\xAC\xAB\x78\x2A\x65\x03"

decipher = ChaCha20.new(key=key, nonce=nonce)
for c in range(1,10):
    print(f"counter={c}: {decipher.decrypt(ciphertext)}")

counter=1: b"bc\xe0w\x8d\x9e>U\xa8\xf5)3[PUI\xae\x92\xc9+\xfa\xdf\x957fvP\x8d\x9e@\x90+:\xe3\x1e\xa8\x9b\x1e\xa1\xc4kKG\xa9z\xc5\xe7Z.\x91@+\xdb\xd6\xc4\x8b\x05~\x98\x96\xbfDh:\x8b\xc7\x9b\xca\x0c\x03vZ\x98\xe7/9\xcb\xd0\x80-\xeb\xaa\xd51\xa1\xb8e\x10\xb1uZ\x7f\x07|\xe4w\x87\xae\xac\xaf\xc2_V\x150\xac\x82\x95\x89\x11K\x07\xca\x8e\xc8&\x87\x17\xb6\x890y\x1b\xec'\x18\xad\xe5"
counter=2: b'astralconnec.icu/DPowko\x00\xed\xa9e\x10\xaa\xde\xe5\x93X\xe5\xb0\xdd\xa7\xf9\xf1\x80\r\xecy.j\xb2\xad\xec\xff4\x0f\r\xb7L{x\xba\x801\xccd\xf0N\x81\x83\x81q\x95VR\xe1\xff\xb7@\x98\x07tB\xff\xf0\x80\xae\x95*\x94\xce\xc4V\x86P\xb5\x1d\x11\x9e\xfc\x94 \xddp\xd0\x88\x82\xf2\xc6\r\xdf?9A\x8cW\x0f\xbf/%bs\x08\xe45\x9aF\xdbt\xe9\xc2\x0ft'
counter=3: b"U\x07\x8b\x94?\x81]\xa4\x03\xd4B\xdc.}\x15\x0eW&,gE`J\xd2w\x1d=\xec\x11r\x8dd\x8f\x1d'.G\x0c#h\xdf\xc3\x99\xee\n\x89\xcc\xd9CC\xcd\xa8l\xc8ij\x1c\x82\xd2\xda\xeb~\xb1Y\xdd\x16\xa2\x10\xc57\xbbo\x84\xd3\xf1P\x7f\xe9\xd9\xe9\xec\xacz9\r\xe2p\xfb\xd8\x815\xf3~bJ\xbd>\x89\x9f\x19\xca\xc3^d~P\x95RQU\xcdu\xdb\x11\xd5\xde\xccbe\x9e\xa8\x8a\x84\xaa\xa2D\x14\x9e"
counter=4: b'\xd8N;\x1b\t%\x15\x97\xc3f6\x03\xe0\xc2\xfc\x18\xf4\xb3T\xf0\n\xda\x06\xa1\xc3\xf3V\x83Bbr\x90\xeb\x97\xaas\x88\xb0\xefn2r\xa3xy\x85\xcd\xb8?\x8f\xeaNh\xfct=Y\x80\xe5\xe1\xa4\xd9\x90\xb0\xf9\x04BR\xef\xda\x96\xe0\x1c%\x9f\xab(V\x96|_f\xf0\x9d\xb8-\xd2\x0f4\xe9\xd1hd\xa0\x1fS\xdf\x94+%Yt}~T\xa6\xf5"\x02pmxT\xad\x18\xadV\xb9\xf5\xbd;\xc5rSM\x01\xbe^'
counter=5: b'\xcb\xb3\xf7\x85\xc5\xca\xff\xdf\xca\x07\x84]s\xc1\xc1@\x92I\xe7\x043j:\x97[\nlQ\x86d\xa4a\xbb-\xd6\xf6\xdc1\xa2*\xf2\xce\xaeo\x8fSPUy\xd6F@\x1c0J[\x96jA\xbf\xc7\xce\x1dyn\xed\xca\x87\xff\xb2\x11\xbb\x91\x92\x179$\x8c\xa6&\xc9\x18\xc4\x19\x19Y\xb6\x9c\xcdv3\x00;\x94c\xd4\xf5\xc0H\xb7{\xa8g\xef\xba9FK\xbdLv\xa0;\xd9\x80\xe7T\x14\xd5\xb54\x1d\x8b?\xae?/\xb4'
counter=6: b"3\xc7\xa8\x93c(\xd7\xd2k5\x8a\xd2\x83 K\x07\xd5\xb0E3{Z*\x1eg\xef0\n\xcd\x89\x1e\x07\xfczw\x95G\x9f\xe3D\xb3O\xbb\x00\xa8\xe1\xc6\xa8\xf72\x89\x8e\x06.\xf8\x14\xf8\x02E\x83\xfd\xa5B\xbb.\xf0\x88,\x85O'\x8b\xdb{\xe2\xd1\xe9\xd0.'\xc8h\xb1\xdd\x940vGE8\xa8\xafh\xc5\xf1\nT/\x90\xd4\x17$\x14\x03p\xc8F\x9e\x13o\x83v\xd6\x17\x11\r\x02\x1c\xf4/0\xfb\xbb\xfc\xd3b4\x9b"
counter=7: b"\xc4\xb7p\rZb\x11P\x89\x16E\xa6/\xe8\x9d\xb1w\xbe\xe1$(\x9b\x9a\xa8e}\x08\xb6\xf3\x16\xbe\xcaD\xbc$\xa7\xeb\xc1(\xca\xcc<O\x10\xfb\x85\xecj\t\xf4_\xd2'\xdf\x93l-\xcdn\xcb\xe4\xe0\xf6\xaa\xb6\xed\xb2\xcc.Ge\x17\x1dK\x1blX\x13?O\xe2*b\xcc\xcfq\xfb\xcc\x1czf\x87^\x02\n6y\xd1\xbf\xa3\x8f\x82\xa5[i\xf7:\xe2\xbeL\xda\x95\xb6\x93\x9c\xb3(\x86\xb5HJ\x8fO\xe7\x9a\xa9\x1f\xe7"
counter=8: b"\xbe\x88\xc3i\xdd\x00\x1c\xbc4\xe0)\x8e\xcc\xece\x85eW\xefT'\xc9\x1d\xc3\xab\xac\xbb\xb0\xe8jKq}Q\xcc\xf5\xccY\x05\x8d\xc4>}\xdep\x98\xb2h6h7\x1f\xf3\xc3\xa5\xa9\t\\\xac\x17,nOO\xe22\xc4\xf8\x1f\x99\xbad;D\x92&\x9c\x8f>\xe62Z/\x8d\x99\x0cR\xde$\x07\xde\xcd\xc93\x0b^&|\x13\xb9.O\x11\x05`\x85\x7f\xc8\xce\x18\x8cz\xf2\x87'B\x8b\xe2}\xc6.\xf0b(J\xe8r\xe4"
counter=9: b"3\xf2]\xcc\x8d\xb0\xf0\xed\x0c\xb7f\xb0\xb6\xa7o\x8ay\x04\xf7n\xdd\x1f\x0e\xbeN\xd2\xd8\x7fi&P\x94>\xe6\x8ad\xb5\x85\xb7\xff#\xeep\xedK'U\xe5\x90\xfe\xc2\xf2lbm\xe6\xd0\x9f\xaf\xf0\x04\xfb\x9e[\x1c\x88\xbb\xeb\xec<|fADz^\x83\x0b\x19\x19r\x0fw5K\xb9\xfb/\x03\xc1\xd4\xd8\xc6\xd3\x1a\xe4\x98s\xb8\xcc\xa8\xf4\x1f\x90SD\nf\x9c+\r\x8e\xed\xc3^\\\xa1\x852\xad \x01\x7f\xe9\xec\xae\x1d$"