def stream_60

qasim-bend-kit@0.1.0.2 · proof/AES_NistCtrProof.bend:71

import Base
import qasim-bend-kit@0.1.0.2/proof/AES_NistCtr2BlockProof.bend as B2
import qasim-bend-kit@0.1.0.2/proof/AES_NistCtr3BlockProof.bend as B3
import qasim-bend-kit@0.1.0.2/proof/AES_NistCtr4BlockProof.bend as B4
import qasim-bend-kit@0.1.0.2/proof/AES_NistCtr5BlockProof.bend as B5

71def stream_60() -> List<&2, U32>:
72    List.append(&2, U32, B2.result(), List.append(&2, U32, B3.result(), List.append(&2, U32, B4.result(), List.take(&2, U32, B5.result(), 12n))))