A 25 bytes random binary input string is taken from the fuzzer.
E.g. following is sample random input (hexadecimal)
FDA65B27282D976BFEE101E8F25A9A1D6B67131F265686D452
The first 24 bytes of this binary data is assigned to the memory of the structure variable. And, the last bit of last byte is assigned to peer variable (lastbyte modules 2). In general, the first 4 bytes (FDA65B27) are assigned to the char fields: dst_node, src_node, dst_port, and src_port. Next 4 bytes (282D976B) is assigned to the integer variable sk_state Next 16 bytes are assigned to the array variable: res.
For each run, we generated one random binary string, and provided that sk_state variable is equal to TCP_ESTABLISHED.
functional = "" \ "FDA65B27282D976BFEE101E8F25A9A1D6B67131F265686D452 \ 6524AEAEAEAEAEAEAEAEAEAEAEAEAEAEAEAEAEAEAEAEAEAEAE \ 25252525252525252525252525252525252525252525252525 \ 08E6A2A64A843253C8B4642929B811C8B0F7814FCA6BE02988 \ 08E6A2A64A843253C8B4642929B811C8B0F7819ACA7FFFFFFF \ ECA48CA49ABDC1FED18DE6BB47E43E97A0CFE6F5A12BF7C29C \ 3F3F3F3F3F3F3F3F3F3F3F3F3F3F3F3F3F3F3F3F3F3F40003F \ 625A6262626262626262626262626262626262626262626262 \ F5DBDBDBDBDBDBDBDBDBDBDBDBDBDBD5DBDBDBDBDBDBDBDBDB \ 92E91DD7894A604DB4AC0F4F74F22E5E2B726441B0D0F48787 \ 8A8A8A8A8A8A8A8A8A8A8A8A8A868A8B8B8B8B8B8B8B8B8B8B " expected = [ "FDA65B27_1805069608 24", "6524AEAE_-1364283730 24", "00000000_0 -134", "08E6A2A6_1395819594 24", "00000000_0 -134", "ECA48CA4_-20857446 24", "00000000_0 -134", "625A6262_1650614882 24", "00000000_0 -134", "00000000_0 -134", "00000000_0 -134"]
functional = "" \ "DBEACAB0763B53BD68D065ABC75D7C19B2907D83C3B963B31B \ ED0FC3AF7BDFA886B6595B3FE01453EE079E94BAEBD3B41CB7 \ DC56FEB2328AD54D2EFBE9C9B04CF7B0D3286D69A11DDE5C9F \ 0350D8CDDB295E92FDE553D03C28142E11E9166174C5E9D306 \ 80FFFF228AD556FEB232FBD9E4B04CF7B0D3286D69A11DDE5C \ 740000100000FFDF000ED3C6D3D3FFDF000ED3C6D3D319C231 \ 4E31935E05000000C576635C014837557BC6DDAAB362FC9A96 \ 27BFF79E4ACCE9FF4B83F21BDD9DDBD022ADE9F5FDEA8F32BF \ 1000000000000000000010ADE9F5000000000110ADE9F50000 \ 31935E050028000000000000000010ADE9F5000000000110AD \ FB52ECA905000000912B6FC807F9F32133CE4383A5DA9CD499 \ 31FD356633671B431F7F081BAD077246C2999AE2502154EE67 \ 30B8303030303030000000912B6FC807F9F32133CE4383A52A \ 6FC807F9F32133CE4383A5F32133CE4383A50300016FC807D7 \ FD2D22CC19988BA21822D6F38AF880551C534284E5A179C1EB \ DC24D6DC38DCEBDF414CF1768003585041E87494C4498558F8 \ 8084848484848484848484551C534284E5A17922D6F38AF880 \ AD696969696969696969696969696969696969696969696969" expected = [ "00000000_0 -134", "00000000_0 -134", "00000000_0 -134", "0350D8CD_-1839322661 24", "80FFFF22_-27863670 24", "00000000_0 -134", "4E31935E_5 24", "00000000_0 -134", "10000000_0 24", "00000000_0 -134", "52FBA9EC_5 24", "00000000_0 -134", "30B83030_808464432 24", "00000000_0 -134", "00000000_0 -134", "DC24D6DC_-538190792 24", "80848484_-2071690108 24", "00000000_0 -134"]
functional = "" \ "E4C521FC1219AC36589445322A60CB81CA26C2397382B5867F \ 000202020202020202FB020202020202020202000102E80001 \ 0D0D0D0D0D0D0D0D0D0DF90D0D0D0F0D0D0D0D0D290D0D0D0D \ 36363600003636363636363636363636363636363636103636 \ 000101FFEB80FFEEEBFFE980141714141414141414141714FF \ 101B101010101E1010101010101029101010101010101E1010 \ 34B3C280808080808080808080808080808080801000808080 \ FFBF10000000FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF \ 44C2D5D5D5D5D5D5D5D5FF80D5D5D5D5D5D5D5D5D5D5D5D5D5 \ 018109010101010C01010100E7010101010901010101010101 \ 36E12323232303262323232323232323232323232323232323 \ E1E1E1E1A4A4A4A4A4A4A4A4A4A4A4A4A4A4A4A4A4A4A4A4A4 \ 646464646464646464645C646464646464646464646464641A \ 000000000000000000FFFFFFED0000000000000000000000FF \ 36232323232323232323232323232323232323232323232323 \ 36E142E1E1E1E1E1E1E1E1E1E1E1E1E1E1E1E1E1E1E1E1E1E1 \ 36E1A9CB100029A9A8A9A9A9A9A9A9A9A9A9A9A9A9A9A9A9FC \ 37E1E1E1E1C6E1E1E1E1E1FCE1E1E1E1F4E1E193E1E1E1E3E1 \ 45454545454545458145454545454545454545454569454545 \ 36E14C4C4C4C4C4C4C4C4C4C4C4C4C4C4C4C4C4C4C4C4C4C4C \ CC515151515151515151515151515151515151515151515151 \ 8080EE070C9F1C0501C7D83540CAA70B8665ACACEAC4418610 \ 1D1D1D05E3FF051D1D1D261D1D3A1DB6CFB6B6B6B6B6B6A1B6 \ F5060200648989898989898989898989898989898989898989 \ FF7FFFF97FFFF96E6EEB797979797979797979797979797979 \ F9F9F9F9F9F9F9F930F9F9F9F9F9F9F9F9F9F9F9F9F9F9F9F9 \ 000002004A4A4A4A4A4A4A4A4A4A4AEA4A4A4A4A4A7F6B0000 \ F8166363636363636363626363636363636363636363630000 \ 000101A2A2B1A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2 \ C7C7C7C7C7C7C7C0C7C7C7C70000FFFFC7C7C7C7C7C7C7C7C7 \ F8F8FAD53ED7F8F8F6F8F80642222222221622100022B00D22 \ 17171717171717171717E91717171717171717171717171763 \ FA0A000A0A0A0A0A0A0A0A0A0A0A20000A0A0A0A0A0A0A0A0A \ EEEEEEEEEEEE20EEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEEE \ F80663B0B0B0B2B0B0B080B0B0B0B0B0B0B0A4B09BB0B09FB0 \ 787878787878787878787878787879787878785F7878787878 \ F8000000E80300000000000000000000000000000000000000 \ 7F000000000000000000000000000000000000100000000000 \ CBE8E8E8E8E8E8E8E8E8E8E8E8E8E8E8E8E8E8E8E8E8E8E8E8 \ BABABABABABABAB2BABABABABABABABABABABABABABABABABA \ 8D8D4C4C4C4C4C4C4C4C4C4C4C4C4C4C4C4C4C4C4C4C4C4C4C \ 00000000000000000000040000000000000000001000000000 \ 90909090909090909090909090909090909090908D90829090 \ E50647C2C2E5C2C2C2C2C2C2C2C2C2A5A2C2E5BEC2C2C2C2C2 \ 66666F66060606060606060606060606060606060606060664 \ 9149F345A54A9C7BB47A47AEFDACCE9CE4A57F6EF36F7A039E \ 9149F345A54A9C7BB4B98E710F976CA2B47A47AE86ACCE9CE4 \ 9149F345A54A9C80007A47AEFDACCEB7E4A57F6EF36F82039E \ 9149F345A54A9C7BB47A3BAEFDACCE9CE4A57F6EF36F7AAEAE \ 9149F345A5912FF345A54A9C7BB47A47AEFDACCE9CE4A57F6E \ 91044045FFFFDF7F807A47AEFDACCE99E4A57F00000000039E \ 9149B1AB605DBF3D8FAA73E5C4E476F0FFB4B98E710F976CA2 \ 91686868686868686868686868686868686868684868685268 \ 9149F345A54A9C7BB47A47AEF345A54A9C7BB47A3BAEFDACCE \ 9149F345B07A58AEFDACFF7FE4BC7F6EF36F7A9149F346B07A \ 9149F327A54A9C7BB47A477FFD3BAEFDACCE9CAA686868A57F \ 9149F345A54A9C7BB47A47AEF7ACCE9CE4A57F6EF36F03E89E \ 9149F39149F345A54A9C7BB47A47AEFDAC45A54A9C7BB47A47 \ 9149F5DBF515F5F5F5F5F5F5F5F5F5F4F51000F5F5F5F5F5F5 \ 91BABABABABABABABABABABABABABABABABABABABABABBBABA \ 9149F345A54A9C7BB4BABABABABABABABABABABABABABABABA \ 916F6F6F6F6F6F6F6F6F6F6F6F6F6F6F6F6F6F6F6F6F6F6F6F \ C2C2C2BCC2C2BA03E8BABABABACABAC2C2C2C2C2C2C2C2BA03 \ 000100000000007FFF00000000000000000000000000000000 \ 80000000000000000000000000000000000000002000000000 \ 0010FFFF727272727272727272727272727272727272727272 \ FF727272727272727272727263727261727272727272727272 \ 6565656565656565656565656565656565656565BABAB8BABA \ 1F6D84AFAAB9B0DED9884DF15AB6DEA39FAC5BE540EE76B7D3 \ 6D84AFCDB9B0DE153333333333333333333333333333333333 \ 80333333333337333333D9884DF15AB6DE5C64AFAADED9884D \ 1F6D84AFAA84AFAAB9B0DED9884DF15AB6DEA39FAC5BE54AEE \ ADAAB957574879320F5B85ADAAB95757487932650F5B85ADAA \ 2D6D10FFFFFF80DED9864DF15AB7DEA39FAC5BE540EE76ABD3 \ 1F6D84BFAAB9B0DED9884DF15AB6DEA39FAC5BE541EE76B7D3 \ 1F6D84CFFFB9B0DED9884DDEA39FA15BE5406476B7D3AC5BE5 \ 1F6D84AFAAB9B0DED9884DF15AB6DEA39FAC5BE540EE76B7D3 \ 1F6D8484AFAA0040C7D9884DF16D8484AFAAB96D84BFAAB9B0 \ 1F6D845B1140C75B5B5B5B5B487C5B5B5B5B5F5B5B5B69D368 \ 1F6D8414B3B3B3B3B396969696969696809696969696A39696 \ B9B9B9B9B9B9B9B9B9B9B9B9B9B9B9B9B9B9B9B9B9B9B9B9B9 \ 1F6D1BFFFF0021FFFFFFFFFFFFFFFFFFFFFFFFFF84A5F15AB6 \ 1F6D7171717171717171717171717171717171717171717171 \ 405B5B5B5B5B5B5B5B5B5B5B5B5B5B5B5B5B5B5B5B5B5B5B5B \ 1F0000B9B9B9B9B9B9000004B9D9B9CBB9B9B9B9B9B9B9B9B9 \ 5B5B5B5B5B5B5B5B5B5B5B5B5B5B5B5B5B5B5B5B5B4076B7D3 \ 5B5B5B5B5B5B5B5B5B5B5B5B5B5B5B5B5B5B5B5B5B5B76B7D3 \ 0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A1D0A0A0A0A0A2A \ 00000000000000000000000000000000000000EAFF00000000 \ 0A02000A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A \ 0A0A960A0A0A0A1F0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A \ B9B9B9B9B9B9B9B9B9B9B9B9B9B9B9B9B9B9B9B9B9B9B9B9B9 \ 387D46682D0C272BB7FB4E26C2AA070DCCA491B8DA865C08E6 \ 38862D93CB41408A94D176F383CBCC0C272BB7FB4E26C25F08 \ 387D46683D0C272BB7FB75FFFFFF070DCCA491B8DA865C08E6 \ 387D4693CB41408ACB2D408A944693683D0C272BB7FB75FFFF \ 387D46682D0C252BB7FB4E26C2AA070DCCA49197DA865C08E6 \ 387D46682D0C272BB7FB5B26C2AA070DCCA491B8E3865C08E6 \ 387D2B404040404040404040404040404040404040B7FB4E40 \ 387D46682D2B272BB7FB4E26C2AA070DCCA491BCDA865C08E6 \ 387D46682D0C272BB7FB4E26C3AA070DCCA491B8DA865C08E6 \ 387D46680C272BB7FB4E26C2AA070DCCA4A0B8BD865C08E6E5 \ 387D466891B8DA865C2D0C272BB7FB4E26C2AA070DC87D4668 \ 5DF4B1C4C4C4C4C4C4C4C4C4C4C4C4C4C4C4C4C4C4C4C4C4C4 \ 387D46682D0C272BCCA491B8DA865C08D8F383CBE10C272BB7 \ C2AA07FFCCA491B807FFCCA491B8DA0101010101010186DA38 \ 387D80682D0DCCA477B8DA865A08E6DC5DF4B10ADA864708FF \ 387D46682DFB4E4500E400FFFFFFFFDA865C08A97D5C08387D \ 9801000900081717170A171717171717171717171717178680 \ 387D46682D0C272B0000000000000000000000FEFFFFFF0000 \ ADA5ADAFADADADCCADADADADADADADADADADADADADAD8DAD9C \ 387D4668EBEBEBEBEBEBEBEBEBEBEBEBEBEBEBEBEBEBEBEBEB \ B10A0A0A0A0A8A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A \ 38878787878787878787878787878787878787878787878787 \ 38717171717171717171717171717171107171717171717171 \ 55E6FC5DFCFCFCFCFCFCFCFCFCFCFCFCFCFCFCFCFCFCFCFCFC \ 380A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A \ 1F717171717171717171717171717171717171717171717171 \ FC5DFCFCFCFCFCFCFCFCFCFCFCFCFCFCFCFCFCFCFCFCFCFCFC \ ADADADADADADADADADADADADADADADADADADADADADADADADAD \ 0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A \ 0A0A0A0A0A300A0A0A0A878787878787878787878787878787" expected = [ "00000000_0 -134", "00000000_0 -134", "00000000_0 -134", "36363600_909522432 24", "00000000_0 -134", "101B1010_270405648 24", "34B3C280_-2139062144 24", "00000000_0 -134", "00000000_0 -134", "00000000_0 -134", "00000000_0 -134", "E1E1E1E1_-1532713820 24", "64646464_1684300900 24", "00000000_0 -134", "00000000_0 -134", "00000000_0 -134", "36E1A9CB_-1456930800 24", "00000000_0 -134", "00000000_0 -134", "36E14C4C_1280068684 24", "00000000_0 -134", "8080EE07_85761804 24", "1D1D1D05_486932451 24", "00000000_0 -134", "00000000_0 -134", "00000000_0 -134", "00000200_1246382666 24", "F8166363_1667457891 24", "000101A2_-1566395998 24", "00000000_0 -134", "F8F8FAD5_-117909698 24", "00000000_0 -134", "FA0A000A_168430090 24", "EEEEEEEE_-299831570 24", "F80663B0_-1330466640 24", "78787878_2021161080 24", "F8000000_1000 24", "7F000000_0 24", "CBE8E8E8_-387389208 24", "BABABABA_-1296385350 24", "8D8D4C4C_1280068684 24", "00000000_0 24", "90909090_-1869574000 24", "E50647C2_-1027414590 24", "66666F66_101058054 24", "9149F345_2073840293 24", "9149F345_2073840293 24", "9149F345_-2137240923 24", "9149F345_2073840293 24", "9149F345_-214986331 24", "91044045_2145386495 24", "9149B1AB_1035951456 24", "91686868_1751672936 24", "9149F345_2073840293 24", "9149F345_-1369933136 24", "00000000_0 -134", "9149F345_2073840293 24", "00000000_0 -134", "00000000_0 -134", "91BABABA_-1162167622 24", "9149F345_2073840293 24", "00000000_0 -134", "00000000_0 -134", "00010000_2130706432 24", "80000000_0 24", "0010FFFF_1920103026 24", "FF727272_1920103026 24", "65656565_1701143909 24", "00000000_0 -134", "00000000_0 -134", "00000000_0 -134", "1F6D84AF_-1431337814 24", "ADAAB957_846809175 24", "00000000_0 -134", "00000000_0 -134", "00000000_0 -134", "00000000_0 -134", "1F6D8484_1073785519 24", "1F6D845B_1539784721 24", "1F6D8414_-1280068685 24", "00000000_0 -134", "1F6D1BFF_-14614273 24", "00000000_0 -134", "00000000_0 -134", "00000000_0 -134", "00000000_0 -134", "00000000_0 -134", "0A0A0A0A_168430090 24", "00000000_0 24", "0A02000A_168430090 24", "0A0A960A_520751626 24", "00000000_0 -134", "387D4668_723979309 24", "38862D93_-1975500341 24", "387D4668_723979325 24", "00000000_0 -134", "387D4668_723848237 24", "387D4668_723979309 24", "387D2B40_1077952576 24", "387D4668_723987245 24", "387D4668_723979309 24", "00000000_0 -134", "387D4668_-2032486255 24", "5DF4B1C4_-993737532 24", "00000000_0 -134", "C2AA07FF_-1198414644 24", "00000000_0 -134", "00000000_0 -134", "98010009_387385344 24", "387D4668_723979309 24", "ADA5ADAF_-861033043 24", "00000000_0 -134", "B10A0A0A_176818698 24", "00000000_0 -134", "00000000_0 -134", "55E6FC5D_-50529028 24", "380A0A0A_168430090 24", "00000000_0 -134", "FC5DFCFC_-50529028 24", "00000000_0 -134", "0A0A0A0A_168430090 24", "00000000_0 -134" ]
functional = "" \
"2326CC1DCCB749DA808AEF8BDDB4E812B1888303DE572C9180 \
FF8010DD32B0A38B9969131A0C90F045A38E07BD6F82CB6AFA \
2326CC1DCCB749DA0A8AEF8BDDB4E812B1888303DE572C9180 \
2326CC1DCCB749DA808AEF8BDDB4E812B1888303DEDA0A8AEF \
A449DA808AEF040B0B0B0B0B0B0B0B0B0B0B0B0B0B0B0B0B0B \
2326CC1DCCB7E3DA808AEF8BDDB4EF8BDDB4E812B1888303DE \
2326CC1DCCB749DA808AEF8BDDB4E812B1888303DE4C200000 \
2326CC1DCCB749DA7C8AEF8BDDB4E812B1CC1DCCB749DA7C8A \
23EF8BDDB4E812B1888303BB572C9180FF823F0ADE572C9180 \
230080FFFF0000000000648BF41CE812B1888303DE577A9180 \
2326CC83837C83838383838383838383838383838383838383 \
2326CC1DCC8383838383838383838383838383838383838383 \
231DCBFE543FBCBE49DA96EF8BFFFF8000DFDFDFDFDFDFDFDF \
2326CC1DC28DA805000000543FB4E812B1888303DE572C9180 \
2326CC1DCCB749DA80D3EF8BDDB4E812B18883030000543FBC \
23261DCC1D1DCC96FBFFFFCCEF8BDD93C812B196837F000000 \
23DEDEB4E812B1030303030303030303030303030303030303 \
BE49DA96EF8BFFFF8000DFDFDF00010000DFDFDFDFDF80FFDF \
232A2A2A2A2A2A00102A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A \
23E8E8E8E8E8E8E8E8E8E8E8E8E8E826CC1DCCB749DA808AEF \
2A00102A2A2A2A102A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A \
232A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A \
CCBABABABABABABABABABABABABABABABABABABABABABABABA \
23373737376E37373737373739373737373737373737373737 \
2326CC23232323232323232323232323232323232323232323 \
0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0A0ABB0A0A0A \
AAB47972E37C132A5444428D61DEDA7E7C05D667FA92EBD452 \
F941351CFA3641DD37133DA7746A961C1AE7988515BD712784 \
F9413502FA36FFFF37133DA7526A7F001AE7988504BD711984 \
F9FFFF8000000013D667FA92CFD4527E7C052A544400076832 \
F941351CFABD7127843641DD371339A7746A961C1AE7988515 \
F900810DFF130067FFFFFFFFFF1392CFD4FFFFFF7F2A544800 \
F9A7526A7F001AE7988504988504BD7119843841351C1637AA \
F941351CFA3641DD4141384141414141412141DE414141412F \
F941351CFA3641DD7C132A5444FA3641DD7C132A5444428D61 \
F9413517FA3641DD37133DA7746A96DD37133DA7746A961C1A \
FFFFFFFF3A0020FFFFFFFFFFFFFFFFFFFFFFFFFF2FFFFFFFFF \
F941351FFA3641DD3713988515B071FA3641DD3713278438EB \
F941351CFA3641DD37133DA774746A96DD37133DA7746A961C \
F9F1EBEBEB0000EBEBEBEBEBEBEBEBEBEBEBEBEBFFEBEBEBEB \
FF3A0020FFFF3A0020FFFFFFFFFFFFFFFFFFFFFFFFFF2F0BFF \
3D3D3D3D3D3D3D3D3D3D3D3D3D3D3D3D3D3D3D3D3D3D3D2700 \
F941353A0020FFFF3A0020FFFFFFFFFFFFFFFFFFFFFFFFFF2F \
F9413D3D3D3D3D3D3D3D3D3D3D3D3D3D3D3D27008000232323 \
3D3D3D3D3D80003D3D3D3D3D3D3D3D3D3D3D3D3D3D3D3D2700 \
20FFFFFFFFFFFFFFFFFFFFFFFFFF2FFFFFFFFFFFFFFFFFFF16 \
F941359A9A9A9A9A9A9A9A9A9A9A9A9A9A9A9A9A9A9A9A9A9A \
F9FFFFFFEBB3B3B3B3B3B3B3B3B3B3B3B3B3B3B3B3B3B3B3B3 \
F93D3D3D3D3D3D3D3D3D3D3D3D3D3D3D3D3D3D3D3D3D3D278D \
1CEBEBEBEBEBEBEBEBEBEBFFEBEBEBEB0AEBEBEBEBEBEBEBEB \
6ADE8343050000004E8CC3B867269E928B86EA3E144BBE81FE \
B488AA3CBE587653AF10F9956AC7D31DD51C0452B1D3BF08C4 \
D5B488B488B4889E88AA3CBE587653AF10F995AA3CBE587653 \
D58B10F9B1D3BF00401DC87F0452B1BF951C0452B1D3BF08C4 \
0000002000008B8B8B8B8B8B8B8BE9FFFFFF00000BEC000000 \
D59A9A9A9A9A9A9A9A9A9A9A9A9AB29A9A8C9A9A9A9A9A9A9A \
216CD58B10F9B1D3BF00401DC87F0452B1BF951C0452B1D3BF \
D5539E88AA3CBE587653AF10F9956AC7D81DD51C0952B1D3BF \
F7539E9A8B10F9B1D3BF00401DC87F0452B1BF951C0452B1D3 \
D57F7F7F7F7F7F7F7F7F7F7F7F7F7F7F7F7F7F7F7F7F7F7F7F \
D5538B8BE9FFFFFF0000000000000100D5D57F8B8BE9FFFFFF \
00B488B488B4889E88AA22BE587653AF01B4889E88AA0095AA \
72727272727272727272727272727272727272726572727272 \
D59A9A9A9A9A9A9A9A9A959A9A9A9AA69A6572729A9A9A9A9A \
D56C6C6C7C6C6C6C6C6C6C6C6C6C6C6C6C6C6C6C6C6C6C6C6C \
D5539EE9FFFFFF0000000000000100D5D57F8B8BE9FFFFFF4A \
D5530000000000000000000000000000000000000009000000 \
6C6C6C6C6C6C6C6C6C6C6C6C6C6C6C6C6C6C6C6C6C6C6C6C6C \
6C6C6C6C6C6C6C6C6C6C6C6C6C556C6C6C6C6C6C6C6C6C6C6C \
9A9A9A9A9A9A9A9A9A9A9A9A9A9A9A9A9A9A9A9A929A9A9A9A \
D5373737373737373737373737373737373737373737373737 \
9A9A9A9A9A9A9A9A9A9A9A9A9AB29A9A8C9A9A9A9A9A9A9A9A \
FFFF0000000000000000000000000000000000000000000000 \
82BA4CB46C3F177C8889C75DF0489F16BE3FBE0245EC662844 \
67DB9BDBDBDB0064DBDBDBDBDBDBDBDBDBDBDBDBDBDBDBDBDB \
0AFFFFFFFFFFFF00000000FFFFFFFFFFFFFFFFFFFFFFFFFFFF \
67599B96969696969696969696969696969696969696969696 \
6F6B8D676767724D67675B676767676767676789586767674D \
0000F300000000000000000000000000000000060010000000 \
0909090909090908E809090909090909090909FF0F09090909 \
0707A107070707070707070707070707070707070707070707 \
45454545454545454545454545454545454545454545454545 \
40FFFF007F0383101D03030303030303F80064030000007F03 \
0000E8E8E8E8E8E8E8E8E8E8E8E8E8E8E8E8E8E8E8E8E8E8E8 \
208D8D8D8D8D8D8D8D8D7A8D8D948D8D8D8D8D8D8D8D8D8D8D \
67DBF3E5E5E5E5E5E5E5E5E5E5E5E5E5E5E5E5E5E5E5E5E5E5 \
67C967DB9B8D878DA79D8D8D8D8D8D8D8D8D8D8D8D8D8D8D8D \
00BCBCBCBCBCBCBCBCBCBCBCBCBCBCBCBCBCBCBCBCBCBC0000 \
8D8D8D8D8D8D8D8D8D8D8D8D848D8D8D8D8D8D8D01008D8F8D \
67E2E21EE2E267E2E2FEE2E2E2E2E20080FFE2E267E2E2FEE2 \
6782828282DB5D5D5D5D695D5D5D5D00828282828282692082 \
FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF008000 \
5252525252525252529D525252525252525252525252525252 \
009A9A9A9A9A9A9A9A9A9A9A9A9A9A9A9A9A9A9A9A9A9A9A9A \
8D8D8D8D8D8D8D8D8D8D8D8D80FF8D8D8D8D8D8D8D8D8D8D8D \
675B9A9A9A9A9F9A9A9A9A9A9A9A9A9A9A9A9A9A9A9A9A9A9A \
675B0303030303030303030303030303030303030303030303 \
92558CBF0B2EC8B3B410911605A392DE49B1398A65F6C9C948 \
64646464646464645C646464646464646464645A6464646464 \
11000000000000000000008000006F00000000FFEA000F0000 \
D1818181818181818181818181818181818181818181818181 \
EC1010101010101010101010100610100E1010101010101010 \
E4451045454545454545454545454545454545454545454545 \
E4CACACACACACACACACACACACACACACACACACACACACACACACA \
DE656565656565656565656565436565656565656565656565 \
E4C1C1C1C1FFC1C1C4C1C1C1C1C1C1C1C1C1C1C1C1C1C1C1C1 \
14F92727274127272727272727272727272727272727272727 \
02C1C1C1C1C1C1C1C1C1C1C1C1C1C1C1C1C1C1C1C1C1C168C1 \
AFAFAFAFAFAFAFAFAFAFAFAFAFAFAFAFAFAFAFAFAFAF9BAFAF \
D8450707070707070707454545454545454545454545454544 \
C1C1C1C1C1C1C1C1C1C1C1C1C1C1C1C1E4C1C1C1C1C1C1C1C1 \
D2393939393939393939393939393939393939393939393939 \
E0454545454545454545454545454545454545454545454545 \
E4C1C1C1C1C1C1B8C1C1C1C1C1C1C1C1C1C1C1C1C1C1C1C1C1 \
E4B3B3B3B1B3B3B3B3B3B3D1B3B3B3B340B3B3D1B3B3B3B3B3 \
E4454545454545454545454545454545454545454545454545"
# print("functional ", len(functional.split(" ")))
expected = [
"2326CC1D_-632703028 24", "FF8010DD_-1952206798 24",
"2326CC1D_-632703028 24", "00000000_0 -134",
"00000000_0 -134", "2326CC1D_-622610484 24",
"2326CC1D_-632703028 24", "2326CC1D_-632703028 24",
"23EF8BDD_-1324160844 24", "230080FF_255 24",
"00000000_0 -134", "00000000_0 -134",
"00000000_0 -134", "2326CC1D_94932418 24",
"2326CC1D_-632703028 24", "23261DCC_-1765008099 24",
"00000000_0 -134", "00000000_0 -134",
"232A2A2A_2763306 24", "00000000_0 -134",
"2A00102A_271198762 24", "232A2A2A_707406378 24",
"CCBABABA_-1162167622 24", "00000000_0 -134",
"00000000_0 -134", "0A0A0A0A_168430090 24",
"AAB47972_705920227 24", "F941351C_-582928646 24",
"F9413502_-51462 24", "F9FFFF80_318767104 24",
"00000000_0 -134", "F900810D_1728058367 24",
"F9A7526A_-417726337 24", "00000000_0 -134",
"00000000_0 -134", "F9413517_-582928646 24",
"00000000_0 -134", "00000000_0 -134",
"F941351C_-582928646 24", "00000000_0 -134",
"00000000_0 -134", "3D3D3D3D_1027423549 24",
"00000000_0 -134", "00000000_0 -134",
"3D3D3D3D_1023443005 24", "20FFFFFF_-1 24",
"F941359A_-1701143910 24", "00000000_0 -134",
"00000000_0 -134", "00000000_0 -134",
"6ADE8343_5 24", "B488AA3C_1400264894 24",
"00000000_0 -134", "D58B10F9_12571569 24",
"00000020_-1953824768 24", "D59A9A9A_-1701143910 24",
"00000000_0 -134", "00000000_0 -134",
"00000000_0 -134", "00000000_0 -134",
"00000000_0 -134", "00B488B4_-1635208056 24",
"72727272_1920103026 24", "D59A9A9A_-1701143910 24",
"D56C6C6C_1819044988 24", "D5539EE9_16777215 24",
"D5530000_0 24", "6C6C6C6C_1819044972 24",
"6C6C6C6C_1819044972 24", "9A9A9A9A_-1701143910 24",
"00000000_0 -134", "9A9A9A9A_-1701143910 24",
"FFFF0000_0 24", "82BA4CB4_2081898348 24",
"00000000_0 -134", "00000000_0 -134",
"67599B96_-1768515946 24", "00000000_0 -134",
"0000F300_0 24", "00000000_0 -134",
"00000000_0 -134", "00000000_0 -134",
"00000000_0 -134", "0000E8E8_-387389208 24",
"00000000_0 -134", "00000000_0 -134",
"00000000_0 -134", "00BCBCBC_-1128481604 24",
"00000000_0 -134", "67E2E21E_-496508190 24",
"67828282_1566432130 24", "FFFFFFFF_-1 24",
"52525252_1381126738 24", "009A9A9A_-1701143910 24",
"00000000_0 -134", "675B9A9A_-1700816230 24",
"00000000_0 -134", "92558CBF_-1278726645 24",
"64646464_1684300900 24", "11000000_0 24",
"00000000_0 -134", "EC101010_269488144 24",
"00000000_0 -134", "E4CACACA_-892679478 24",
"00000000_0 -134", "00000000_0 -134",
"00000000_0 -134", "00000000_0 -134",
"00000000_0 -134", "D8450707_117901063 24",
"00000000_0 -134", "00000000_0 -134",
"00000000_0 -134", "00000000_0 -134",
"00000000_0 -134", "00000000_0 -134" ]
entropy = " \ 1FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFD 1FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFC \ 1FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE A8EF039A346AF0FA44A4C14C0712B5CB6FA2868BB03987D608 \ EA6B73E28C47A80A097C5276CA02D0B86F9D135C522EA51C29 2241CBC589CD64A8880882B064E65EE1045DD66F7DA3FDDA8D \ 29DE7C78DFF7C33F235FF23A502F28959A22CB24FD2671F627 A7AC250222B8326AFC0C863C02BAD32A8A5154272672872E3C \ 6AA0CD078839238F9088F5672CE592FC71629BD4637A9DFC81 485EE304A56BB2BB2E49EA9A155A65D1A16D3A6052BFABF6F7 \ 6672559715B30FA2C5B38915F0F4DFB9CF27DC1EFAE1C160A0 D1B5190289786D3E9A936E23E6294491E637DA20B81996AE82 \ F00E81E231E8C7E75C42B0575B619B444E8D1E026895C1D67D 3ED83B00E484EB1B63D455AB04DB541F9F9F4C87F907FE331A \ DECDE24A323D70F08F70BCC95B8CE752B2B0AE1B0E78A13211 114CF3D3B623D69095872F1296FDFDFC0A04F5B8C4B4891F9D \ 1FC08FEA541D8BD7F99679CA17D836E6CD56CAB9597F0C5BCE 394BCF335AC81BEEA92C0CE6B598F7435D98D90465A990570C \ D62920E6DB559D16A27B04311119AC9177495402BB0CE8472D 88721CCEE93D937E03C50791020C216BF84F970111839F3375 \ BD173A9138290919A9160B00183449C512298B88B2D49FBEA9 53B7A0442DD49719380F42CA846CCDB1E0C720E25E241544DE \ 21EA830DA23A9A76EF6C7066EE8E4CA40CDA050D49B67D1A8E A7E207779DED1DAC182C21556DB18087FE09FC8F4BFEEE201E \ 7386D824679C324820A3995DB3B0B8E2AA830850730202CBDC 33219AF3C665BA980BD70623D596B1CE9464501C9307862FEE \ D6E984F4037C9FD8051E5E28AA98A1DB12BA7BEFA897282D50 F8278B946E82CE2A6293110EDAE5A6C4E4337FE2220910ED8D \ B3EE81233194288F5A17E4992BD2F32741976BCEF536AEE66D 87C93F80A2F5F9DD94EFDA7479CE0DAF29BCAEC650822BFCB3 \ 8EBACC99AFF4DB71CF718F9A8DE2C7381AAD4F509D2D48EE47 61DD4C2C48C519A6A6EF9E6B1160D4FA777983759039986D75 \ 3BDB85520FF57E471027DB2C42855FACBB968E2226DC704858 7D23DF29DBF530604DFA13F3EAD6A5918E63C710D2EC1ED6F8 \ FD0B12B195F62B62ECB0CC356922279E4E6FCC546DD833C5CF 2EAC4BFD558A196157FA7D651DB18640E5D91D582BBC64D323 \ F8A334E72C746982C987FAB1E543C9F7DE4352C19FE673C35D DA083498A387BC24FA3FC712558543F4E1667A2F4CC2A7C2F3 \ C7D30529F6D25FCBE87DF83CB062B7334D36A98D1F216277F9 54A4318BBE4C0708FF9DD23DB897226505A50113F64B55F1CF \ D2CC5C1E4BF3E6DED75AF6F890590D6424B931970A5AD96ADB B32660E39A38C658C7193C3BF90AB5091DF1533E8779B06C7F \ 40281198300D4C49A946C69E146CAD5BFAAFFC2A16A6551DA9 D766F446548BAD22279544079139D0AE7E01E358C50A5F55BD \ 3DD1AB226BFBAF4ED5E99A7EF88A6618CBCD6F91F126D4340B 2972955EDFB96A633DDF5CC8754DDCADA32D4A3A28761A7A10 \ FB20CED92519F41661F31B5E586F32C36217C042501D270CCD F01F995C719F6C05EEFEDC952917B0E39ABA479DB0EB0F9E53 \ 769BE8FDC41DB438004D648C86A6774809F9BAEE247A6EC076 CA8D216BB04F1239C6B4B1DD0C0A0AF4358C83E31603E78A7E \ E6EF01F38E24ED4AF8788EC3CD2C0F3B19A3CA0B02D4D0ABF3 "