###############################################################################
# pdi.txt
# This file was auto-generated by aeadtvgen v1.0.3
###############################################################################
# Parameter:
#
# add_partial            - False
# block_size             - 48
# block_size_ad          - 48
# ciph_exp               - False
# ciph_exp_noext         - False
# gen_custom_mode        - 0
# io (W,SW)              - [48, 48]
# key_size               - 96
# lib_name               - simonjambu96v2
# max_ad                 - 80
# max_block_per_sgmt     - 9999
# max_d                  - 80
# max_io_per_line        - 8
# min_ad                 - 0
# min_d                  - 0
# msg_format             - ['npub', 'ad', 'data', 'tag']
# npub_size              - 48
# nsec_size              - 0
# offline                - False
# reverse_ciph           - False
# tag_size               - 48
###############################################################################

#### Authenticated Encryption
#### MsgID=  1, KeyID=  1 Ad Size =    0, Pt Size =    0
# Instruction: Opcode=Activate Key
INS = 700000000000
# Instruction: Opcode=Authenticated Encryption
INS = 200000000000
# Info :                     Npub, EOI=1 EOT=1, Last=0, Length=6 bytes
HDR = D60000060000
DAT = B0B1B2B3B4B5
# Info :          Associated Data, EOI=0 EOT=1, Last=0, Length=0 bytes
HDR = 120000000000
# Info :                Plaintext, EOI=0 EOT=1, Last=1, Length=0 bytes
HDR = 430000000000

#### Authenticated Decryption
#### MsgID=  2, KeyID=  1 Ad Size =    0, Ct Size =    0
# Instruction: Opcode=Authenticated Decryption
INS = 300000000000
# Info :                     Npub, EOI=1 EOT=1, Last=0, Length=6 bytes
HDR = D60000060000
DAT = B0B1B2B3B4B5
# Info :          Associated Data, EOI=0 EOT=1, Last=0, Length=0 bytes
HDR = 120000000000
# Info :               Ciphertext, EOI=0 EOT=1, Last=0, Length=0 bytes
HDR = 520000000000
# Info :                      Tag, EOI=0 EOT=1, Last=1, Length=6 bytes
HDR = 830000060000
DAT = 8AF39CD92E3F

#### Authenticated Encryption
#### MsgID=  3, KeyID=  2 Ad Size =    1, Pt Size =    0
# Instruction: Opcode=Activate Key
INS = 700000000000
# Instruction: Opcode=Authenticated Encryption
INS = 200000000000
# Info :                     Npub, EOI=0 EOT=1, Last=0, Length=6 bytes
HDR = D20000060000
DAT = B0B1B2B3B4B5
# Info :          Associated Data, EOI=1 EOT=1, Last=0, Length=1 bytes
HDR = 160000010000
DAT = A00000000000
# Info :                Plaintext, EOI=0 EOT=1, Last=1, Length=0 bytes
HDR = 430000000000

#### Authenticated Decryption
#### MsgID=  4, KeyID=  2 Ad Size =    1, Ct Size =    0
# Instruction: Opcode=Authenticated Decryption
INS = 300000000000
# Info :                     Npub, EOI=0 EOT=1, Last=0, Length=6 bytes
HDR = D20000060000
DAT = B0B1B2B3B4B5
# Info :          Associated Data, EOI=1 EOT=1, Last=0, Length=1 bytes
HDR = 160000010000
DAT = A00000000000
# Info :               Ciphertext, EOI=0 EOT=1, Last=0, Length=0 bytes
HDR = 520000000000
# Info :                      Tag, EOI=0 EOT=1, Last=1, Length=6 bytes
HDR = 830000060000
DAT = 17698A768AFB

#### Authenticated Encryption
#### MsgID=  5, KeyID=  3 Ad Size =    0, Pt Size =    1
# Instruction: Opcode=Activate Key
INS = 700000000000
# Instruction: Opcode=Authenticated Encryption
INS = 200000000000
# Info :                     Npub, EOI=0 EOT=1, Last=0, Length=6 bytes
HDR = D20000060000
DAT = B0B1B2B3B4B5
# Info :          Associated Data, EOI=0 EOT=1, Last=0, Length=0 bytes
HDR = 120000000000
# Info :                Plaintext, EOI=1 EOT=1, Last=1, Length=1 bytes
HDR = 470000010000
DAT = FF0000000000

#### Authenticated Decryption
#### MsgID=  6, KeyID=  3 Ad Size =    0, Ct Size =    1
# Instruction: Opcode=Authenticated Decryption
INS = 300000000000
# Info :                     Npub, EOI=0 EOT=1, Last=0, Length=6 bytes
HDR = D20000060000
DAT = B0B1B2B3B4B5
# Info :          Associated Data, EOI=0 EOT=1, Last=0, Length=0 bytes
HDR = 120000000000
# Info :               Ciphertext, EOI=1 EOT=1, Last=0, Length=1 bytes
HDR = 560000010000
DAT = C00000000000
# Info :                      Tag, EOI=0 EOT=1, Last=1, Length=6 bytes
HDR = 830000060000
DAT = 6BA308C8CD94

#### Authenticated Encryption
#### MsgID=  7, KeyID=  4 Ad Size =    1, Pt Size =    1
# Instruction: Opcode=Activate Key
INS = 700000000000
# Instruction: Opcode=Authenticated Encryption
INS = 200000000000
# Info :                     Npub, EOI=0 EOT=1, Last=0, Length=6 bytes
HDR = D20000060000
DAT = B0B1B2B3B4B5
# Info :          Associated Data, EOI=0 EOT=1, Last=0, Length=1 bytes
HDR = 120000010000
DAT = A00000000000
# Info :                Plaintext, EOI=1 EOT=1, Last=1, Length=1 bytes
HDR = 470000010000
DAT = FF0000000000

#### Authenticated Decryption
#### MsgID=  8, KeyID=  4 Ad Size =    1, Ct Size =    1
# Instruction: Opcode=Authenticated Decryption
INS = 300000000000
# Info :                     Npub, EOI=0 EOT=1, Last=0, Length=6 bytes
HDR = D20000060000
DAT = B0B1B2B3B4B5
# Info :          Associated Data, EOI=0 EOT=1, Last=0, Length=1 bytes
HDR = 120000010000
DAT = A00000000000
# Info :               Ciphertext, EOI=1 EOT=1, Last=0, Length=1 bytes
HDR = 560000010000
DAT = 8F0000000000
# Info :                      Tag, EOI=0 EOT=1, Last=1, Length=6 bytes
HDR = 830000060000
DAT = 22A38D764F9F

#### Authenticated Encryption
#### MsgID=  9, KeyID=  5 Ad Size =    6, Pt Size =    6
# Instruction: Opcode=Activate Key
INS = 700000000000
# Instruction: Opcode=Authenticated Encryption
INS = 200000000000
# Info :                     Npub, EOI=0 EOT=1, Last=0, Length=6 bytes
HDR = D20000060000
DAT = B0B1B2B3B4B5
# Info :          Associated Data, EOI=0 EOT=1, Last=0, Length=6 bytes
HDR = 120000060000
DAT = A0A1A2A3A4A5
# Info :                Plaintext, EOI=1 EOT=1, Last=1, Length=6 bytes
HDR = 470000060000
DAT = FF0001020304

#### Authenticated Decryption
#### MsgID= 10, KeyID=  5 Ad Size =    6, Ct Size =    6
# Instruction: Opcode=Authenticated Decryption
INS = 300000000000
# Info :                     Npub, EOI=0 EOT=1, Last=0, Length=6 bytes
HDR = D20000060000
DAT = B0B1B2B3B4B5
# Info :          Associated Data, EOI=0 EOT=1, Last=0, Length=6 bytes
HDR = 120000060000
DAT = A0A1A2A3A4A5
# Info :               Ciphertext, EOI=1 EOT=1, Last=0, Length=6 bytes
HDR = 560000060000
DAT = 6160478F2D58
# Info :                      Tag, EOI=0 EOT=1, Last=1, Length=6 bytes
HDR = 830000060000
DAT = 7DB6B0868482

#### Authenticated Encryption
#### MsgID= 11, KeyID=  6 Ad Size =    5, Pt Size =    5
# Instruction: Opcode=Activate Key
INS = 700000000000
# Instruction: Opcode=Authenticated Encryption
INS = 200000000000
# Info :                     Npub, EOI=0 EOT=1, Last=0, Length=6 bytes
HDR = D20000060000
DAT = B0B1B2B3B4B5
# Info :          Associated Data, EOI=0 EOT=1, Last=0, Length=5 bytes
HDR = 120000050000
DAT = A0A1A2A3A400
# Info :                Plaintext, EOI=1 EOT=1, Last=1, Length=5 bytes
HDR = 470000050000
DAT = FF0001020300

#### Authenticated Decryption
#### MsgID= 12, KeyID=  6 Ad Size =    5, Ct Size =    5
# Instruction: Opcode=Authenticated Decryption
INS = 300000000000
# Info :                     Npub, EOI=0 EOT=1, Last=0, Length=6 bytes
HDR = D20000060000
DAT = B0B1B2B3B4B5
# Info :          Associated Data, EOI=0 EOT=1, Last=0, Length=5 bytes
HDR = 120000050000
DAT = A0A1A2A3A400
# Info :               Ciphertext, EOI=1 EOT=1, Last=0, Length=5 bytes
HDR = 560000050000
DAT = 52010362BA00
# Info :                      Tag, EOI=0 EOT=1, Last=1, Length=6 bytes
HDR = 830000060000
DAT = 64CB1D7867FD

#### Authenticated Encryption
#### MsgID= 13, KeyID=  7 Ad Size =    7, Pt Size =    7
# Instruction: Opcode=Activate Key
INS = 700000000000
# Instruction: Opcode=Authenticated Encryption
INS = 200000000000
# Info :                     Npub, EOI=0 EOT=1, Last=0, Length=6 bytes
HDR = D20000060000
DAT = B0B1B2B3B4B5
# Info :          Associated Data, EOI=0 EOT=1, Last=0, Length=7 bytes
HDR = 120000070000
DAT = A0A1A2A3A4A5A60000000000
# Info :                Plaintext, EOI=1 EOT=1, Last=1, Length=7 bytes
HDR = 470000070000
DAT = FF0001020304050000000000

#### Authenticated Decryption
#### MsgID= 14, KeyID=  7 Ad Size =    7, Ct Size =    7
# Instruction: Opcode=Authenticated Decryption
INS = 300000000000
# Info :                     Npub, EOI=0 EOT=1, Last=0, Length=6 bytes
HDR = D20000060000
DAT = B0B1B2B3B4B5
# Info :          Associated Data, EOI=0 EOT=1, Last=0, Length=7 bytes
HDR = 120000070000
DAT = A0A1A2A3A4A5A60000000000
# Info :               Ciphertext, EOI=1 EOT=1, Last=0, Length=7 bytes
HDR = 560000070000
DAT = 07B3EE8910D5D90000000000
# Info :                      Tag, EOI=0 EOT=1, Last=1, Length=6 bytes
HDR = 830000060000
DAT = 647E4DD70850

#### Authenticated Encryption
#### MsgID= 15, KeyID=  8 Ad Size =   12, Pt Size =   12
# Instruction: Opcode=Activate Key
INS = 700000000000
# Instruction: Opcode=Authenticated Encryption
INS = 200000000000
# Info :                     Npub, EOI=0 EOT=1, Last=0, Length=6 bytes
HDR = D20000060000
DAT = B0B1B2B3B4B5
# Info :          Associated Data, EOI=0 EOT=1, Last=0, Length=12 bytes
HDR = 1200000C0000
DAT = A0A1A2A3A4A5A6A7A8A9AAAB
# Info :                Plaintext, EOI=1 EOT=1, Last=1, Length=12 bytes
HDR = 4700000C0000
DAT = FF000102030405060708090A

#### Authenticated Decryption
#### MsgID= 16, KeyID=  8 Ad Size =   12, Ct Size =   12
# Instruction: Opcode=Authenticated Decryption
INS = 300000000000
# Info :                     Npub, EOI=0 EOT=1, Last=0, Length=6 bytes
HDR = D20000060000
DAT = B0B1B2B3B4B5
# Info :          Associated Data, EOI=0 EOT=1, Last=0, Length=12 bytes
HDR = 1200000C0000
DAT = A0A1A2A3A4A5A6A7A8A9AAAB
# Info :               Ciphertext, EOI=1 EOT=1, Last=0, Length=12 bytes
HDR = 5600000C0000
DAT = 1D8D8516457DD144F587CD11
# Info :                      Tag, EOI=0 EOT=1, Last=1, Length=6 bytes
HDR = 830000060000
DAT = 8904906498B4

#### Authenticated Encryption
#### MsgID= 17, KeyID=  9 Ad Size =   18, Pt Size =   18
# Instruction: Opcode=Activate Key
INS = 700000000000
# Instruction: Opcode=Authenticated Encryption
INS = 200000000000
# Info :                     Npub, EOI=0 EOT=1, Last=0, Length=6 bytes
HDR = D20000060000
DAT = B0B1B2B3B4B5
# Info :          Associated Data, EOI=0 EOT=1, Last=0, Length=18 bytes
HDR = 120000120000
DAT = A0A1A2A3A4A5A6A7A8A9AAABACADAEAFB0B1
# Info :                Plaintext, EOI=1 EOT=1, Last=1, Length=18 bytes
HDR = 470000120000
DAT = FF000102030405060708090A0B0C0D0E0F10

#### Authenticated Decryption
#### MsgID= 18, KeyID=  9 Ad Size =   18, Ct Size =   18
# Instruction: Opcode=Authenticated Decryption
INS = 300000000000
# Info :                     Npub, EOI=0 EOT=1, Last=0, Length=6 bytes
HDR = D20000060000
DAT = B0B1B2B3B4B5
# Info :          Associated Data, EOI=0 EOT=1, Last=0, Length=18 bytes
HDR = 120000120000
DAT = A0A1A2A3A4A5A6A7A8A9AAABACADAEAFB0B1
# Info :               Ciphertext, EOI=1 EOT=1, Last=0, Length=18 bytes
HDR = 560000120000
DAT = E8F3ADBC098A0DD3292B852A60152291F692
# Info :                      Tag, EOI=0 EOT=1, Last=1, Length=6 bytes
HDR = 830000060000
DAT = 39C1686E0834

#### Authenticated Encryption
#### MsgID= 19, KeyID= 10 Ad Size =   24, Pt Size =   24
# Instruction: Opcode=Activate Key
INS = 700000000000
# Instruction: Opcode=Authenticated Encryption
INS = 200000000000
# Info :                     Npub, EOI=0 EOT=1, Last=0, Length=6 bytes
HDR = D20000060000
DAT = B0B1B2B3B4B5
# Info :          Associated Data, EOI=0 EOT=1, Last=0, Length=24 bytes
HDR = 120000180000
DAT = A0A1A2A3A4A5A6A7A8A9AAABACADAEAFB0B1B2B3B4B5B6B7
# Info :                Plaintext, EOI=1 EOT=1, Last=1, Length=24 bytes
HDR = 470000180000
DAT = FF000102030405060708090A0B0C0D0E0F10111213141516

#### Authenticated Decryption
#### MsgID= 20, KeyID= 10 Ad Size =   24, Ct Size =   24
# Instruction: Opcode=Authenticated Decryption
INS = 300000000000
# Info :                     Npub, EOI=0 EOT=1, Last=0, Length=6 bytes
HDR = D20000060000
DAT = B0B1B2B3B4B5
# Info :          Associated Data, EOI=0 EOT=1, Last=0, Length=24 bytes
HDR = 120000180000
DAT = A0A1A2A3A4A5A6A7A8A9AAABACADAEAFB0B1B2B3B4B5B6B7
# Info :               Ciphertext, EOI=1 EOT=1, Last=0, Length=24 bytes
HDR = 560000180000
DAT = EA9E03BDDF76925C0A1FB5002FB4F3F16F371B525B3BB3F2
# Info :                      Tag, EOI=0 EOT=1, Last=1, Length=6 bytes
HDR = 830000060000
DAT = F1159D57890C

###EOF
