sigs/20210803_elf.yar

rule AUTO_0101814885d074d3403871f8488d41f8744e403871f9488d5001 {
    strings:
        $a = {0101814885d074d3403871f8488d41f8744e403871f9488d5001}
    condition:
        all of them
}

rule AUTO_89d629c5c74424340008000089e8c1f8058d04018b4c24386689 {
    strings:
        $a = {89d629c5c74424340008000089e8c1f8058d04018b4c24386689}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605qqqq {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605????}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqqqq08e8047ffbf783c410c605qq {
    strings:
        $a = {00000085c0741083ec0c68??????08e8047ffbf783c410c605??}
    condition:
        all of them
}

rule AUTO_006c6962632f737973646570732f6c696e75782f693338362fqq {
    strings:
        $a = {006c6962632f737973646570732f6c696e75782f693338362f??}
    condition:
        all of them
}

rule AUTO_9dffffff83c40c3d00100000755c6800100000568b550c52e89f {
    strings:
        $a = {9dffffff83c40c3d00100000755c6800100000568b550c52e89f}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqqqq08e8047ffbf783c410c605e0 {
    strings:
        $a = {00000085c0741083ec0c68??????08e8047ffbf783c410c605e0}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqqqq08e8047ffbf783c410c60540 {
    strings:
        $a = {00000085c0741083ec0c68??????08e8047ffbf783c410c60540}
    condition:
        all of them
}

rule AUTO_qqqqqqqqe98500000048ffc6881748ffc78a1601db750a8b1e48 {
    strings:
        $a = {????????e98500000048ffc6881748ffc78a1601db750a8b1e48}
    condition:
        all of them
}

rule AUTO_dbb7770085c074102b0c68qqqq16e8047ffbf783c410c68b7d6f {
    strings:
        $a = {dbb7770085c074102b0c68????16e8047ffbf783c410c68b7d6f}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqq0508e8047ffbf783c410c605qq {
    strings:
        $a = {00000085c0741083ec0c68????0508e8047ffbf783c410c605??}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqqqq08e8047ffbf783c410c60560 {
    strings:
        $a = {00000085c0741083ec0c68??????08e8047ffbf783c410c60560}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605qqqq050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605????050801}
    condition:
        all of them
}

rule AUTO_191919191919191919195c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c {
    strings:
        $a = {191919191919191919195c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c}
    condition:
        all of them
}

rule AUTO_00d4000000d4800408d480040820000000200000000400000004 {
    strings:
        $a = {00d4000000d4800408d480040820000000200000000400000004}
    condition:
        all of them
}

rule AUTO_qq89ef66c704240200c74424040808080866c74424020035e8qq {
    strings:
        $a = {??89ef66c704240200c74424040808080866c74424020035e8??}
    condition:
        all of them
}

rule AUTO_076e6f2e4142feb66ddb492d15670d6827680564796e73796dd9 {
    strings:
        $a = {076e6f2e4142feb66ddb492d15670d6827680564796e73796dd9}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqqqq08e8047ffbf783c410c60500 {
    strings:
        $a = {00000085c0741083ec0c68??????08e8047ffbf783c410c60500}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqqqq08e8047ffbf783c410c60520 {
    strings:
        $a = {00000085c0741083ec0c68??????08e8047ffbf783c410c60520}
    condition:
        all of them
}

rule AUTO_ebb8420085c074102b0c68qqqq16e8047ffbf783b1efedf7c410 {
    strings:
        $a = {ebb8420085c074102b0c68????16e8047ffbf783b1efedf7c410}
    condition:
        all of them
}

rule AUTO_0000000000000000000000340020000300280000000000010000 {
    strings:
        $a = {0000000000000000000000340020000300280000000000010000}
    condition:
        all of them
}

rule AUTO_0000000034002000020028000000000001000000000000000010 {
    strings:
        $a = {0000000034002000020028000000000001000000000000000010}
    condition:
        all of them
}

rule AUTO_3400000000000000000000003400200001000000000000000100 {
    strings:
        $a = {3400000000000000000000003400200001000000000000000100}
    condition:
        all of them
}

rule AUTO_f808740de9ac00000048ffc6881748ffc78a1601db750a8b1e48 {
    strings:
        $a = {f808740de9ac00000048ffc6881748ffc78a1601db750a8b1e48}
    condition:
        all of them
}

rule AUTO_bbb8420085c074102b0c68qqqq16e8047ffbf783c462dfdbef10 {
    strings:
        $a = {bbb8420085c074102b0c68????16e8047ffbf783c462dfdbef10}
    condition:
        all of them
}

rule AUTO_fbb7df760085c01fc70424qqqq15e8057ffbf7c60534dff9fdfe {
    strings:
        $a = {fbb7df760085c01fc70424????15e8057ffbf7c60534dff9fdfe}
    condition:
        all of them
}

rule AUTO_25732c2068617368426c6f636b3d25732900000000qqqqqqqqqq {
    strings:
        $a = {25732c2068617368426c6f636b3d25732900000000??????????}
    condition:
        all of them
}

rule AUTO_qq006c6962632f737973646570732f6c696e75782f7838365f36 {
    strings:
        $a = {??006c6962632f737973646570732f6c696e75782f7838365f36}
    condition:
        all of them
}

rule AUTO_0085c076ffdbdb7410560c68qqqq2ce8047ffbf783c410c60571 {
    strings:
        $a = {0085c076ffdbdb7410560c68????2ce8047ffbf783c410c60571}
    condition:
        all of them
}

rule AUTO_000400000003000000d4000000d4800408d48004081300000013 {
    strings:
        $a = {000400000003000000d4000000d4800408d48004081300000013}
    condition:
        all of them
}

rule AUTO_004883fb054c0f44e24883c010488b58f84885db742f4889ea48 {
    strings:
        $a = {004883fb054c0f44e24883c010488b58f84885db742f4889ea48}
    condition:
        all of them
}

rule AUTO_01d248f7d04831d04c85c87454403871f8488d41f8746c403871 {
    strings:
        $a = {01d248f7d04831d04c85c87454403871f8488d41f8746c403871}
    condition:
        all of them
}

rule AUTO_400048c7c12014400048c7c749134000e8d7fefffff490904883 {
    strings:
        $a = {400048c7c12014400048c7c749134000e8d7fefffff490904883}
    condition:
        all of them
}

rule AUTO_fddfbebd85c074102b0c68qqqq16e8047ffbf783c410c60558ec {
    strings:
        $a = {fddfbebd85c074102b0c68????16e8047ffbf783c410c60558ec}
    condition:
        all of them
}

rule AUTO_00000000000000000000000000400038000100qq000000000001 {
    strings:
        $a = {00000000000000000000000000400038000100??000000000001}
    condition:
        all of them
}

rule AUTO_0000000000000000000000000040003800010000000000000001 {
    strings:
        $a = {0000000000000000000000000040003800010000000000000001}
    condition:
        all of them
}

rule AUTO_2d73796d626f6c732e68002f7573722f7372632f62732f425549 {
    strings:
        $a = {2d73796d626f6c732e68002f7573722f7372632f62732f425549}
    condition:
        all of them
}

rule AUTO_f766440fdbf166450feff766440feff866440fdbf966440feff8 {
    strings:
        $a = {f766440fdbf166450feff766440feff866440fdbf966440feff8}
    condition:
        all of them
}

rule AUTO_94qq000094800408948004082000000020000000040000000400 {
    strings:
        $a = {94??000094800408948004082000000020000000040000000400}
    condition:
        all of them
}

rule AUTO_e2f195423e85bff81914af04a937e9ff31f8d95f7dd833118cd1 {
    strings:
        $a = {e2f195423e85bff81914af04a937e9ff31f8d95f7dd833118cd1}
    condition:
        all of them
}

rule AUTO_150000000031dbb8d4ffffffc7040216000000e99bfcffff8d55 {
    strings:
        $a = {150000000031dbb8d4ffffffc7040216000000e99bfcffff8d55}
    condition:
        all of them
}

rule AUTO_dfc70517d8060001000000488d401048890504d80600e8dff5ff {
    strings:
        $a = {dfc70517d8060001000000488d401048890504d80600e8dff5ff}
    condition:
        all of them
}

rule AUTO_e80fb7d0488d85c0dfffff89d64889c7e8qqqqffff488b55c866 {
    strings:
        $a = {e80fb7d0488d85c0dfffff89d64889c7e8????ffff488b55c866}
    condition:
        all of them
}

rule AUTO_0057e8qqqq000083c40c66c1cb0868001000006a008d44242781 {
    strings:
        $a = {0057e8????000083c40c66c1cb0868001000006a008d44242781}
    condition:
        all of them
}

rule AUTO_e845fcffff4889c74b8d34344c89eae846fcffff4c896d00488b {
    strings:
        $a = {e845fcffff4889c74b8d34344c89eae846fcffff4c896d00488b}
    condition:
        all of them
}

rule AUTO_6c6c29002d63007368002f62696e2f7368000000000000000000 {
    strings:
        $a = {6c6c29002d63007368002f62696e2f7368000000000000000000}
    condition:
        all of them
}

rule AUTO_5424104889442410488b4510483345300f165424100f299424qq {
    strings:
        $a = {5424104889442410488b4510483345300f165424100f299424??}
    condition:
        all of them
}

rule AUTO_73fb04660f6fc366410feffd660f73f804660f6fe0660fefc366 {
    strings:
        $a = {73fb04660f6fc366410feffd660f73f804660f6fe0660fefc366}
    condition:
        all of them
}

rule AUTO_0085c074edfeb7b710560c68qqqq2ce8047ffbf783c410c60571 {
    strings:
        $a = {0085c074edfeb7b710560c68????2ce8047ffbf783c410c60571}
    condition:
        all of them
}

rule AUTO_006c696268656c6c6f2d6a6e692e736f000000030000000b0000 {
    strings:
        $a = {006c696268656c6c6f2d6a6e692e736f000000030000000b0000}
    condition:
        all of them
}

rule AUTO_00010101010101814885d07454403871f8488d41f87470403871 {
    strings:
        $a = {00010101010101814885d07454403871f8488d41f87470403871}
    condition:
        all of them
}

rule AUTO_0c1313140271434443504b0d1711150c111422006f4d584b4e4e {
    strings:
        $a = {0c1313140271434443504b0d1711150c111422006f4d584b4e4e}
    condition:
        all of them
}

rule AUTO_400048c7c18014400048c7c7ac134000e8d7fefffff490904883 {
    strings:
        $a = {400048c7c18014400048c7c7ac134000e8d7fefffff490904883}
    condition:
        all of them
}

rule AUTO_68747470733a5c2f5c2f656c70726f2d676d62682e6465222c22 {
    strings:
        $a = {68747470733a5c2f5c2f656c70726f2d676d62682e6465222c22}
    condition:
        all of them
}

rule AUTO_0085c03eeebbbf7dc70424qqqq2ae8057ffbf7c6056901c9c38d {
    strings:
        $a = {0085c03eeebbbf7dc70424????2ae8057ffbf7c6056901c9c38d}
    condition:
        all of them
}

rule AUTO_2d73796d626f6c732e68002f7573722f7372632f6275696c642f {
    strings:
        $a = {2d73796d626f6c732e68002f7573722f7372632f6275696c642f}
    condition:
        all of them
}

rule AUTO_c705f7d7060001000000488d4010488905e4d70600e8dff5ffff {
    strings:
        $a = {c705f7d7060001000000488d4010488905e4d70600e8dff5ffff}
    condition:
        all of them
}

rule AUTO_c0eb0fb8f8ffffff65c7001600000083c8ff5b5e5f5dc3575653 {
    strings:
        $a = {c0eb0fb8f8ffffff65c7001600000083c8ff5b5e5f5dc3575653}
    condition:
        all of them
}

rule AUTO_0085c07410dbfd6f6f560c68qqqq2ce8047ffbf783c410c60571 {
    strings:
        $a = {0085c07410dbfd6f6f560c68????2ce8047ffbf783c410c60571}
    condition:
        all of them
}

rule AUTO_b76fef0085c074102b0c68qqqq16e8047ffbf783c410c60516fb {
    strings:
        $a = {b76fef0085c074102b0c68????16e8047ffbf783c410c60516fb}
    condition:
        all of them
}

rule AUTO_086b96ecfff7d28b59f48d0c1821510c581f2b1309fb983d8954 {
    strings:
        $a = {086b96ecfff7d28b59f48d0c1821510c581f2b1309fb983d8954}
    condition:
        all of them
}

rule AUTO_ddc96aae710a2831a0d02c9a1508104a084e643b08b0624e2645 {
    strings:
        $a = {ddc96aae710a2831a0d02c9a1508104a084e643b08b0624e2645}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0608e8057ffbf7c6056025060801 {
    strings:
        $a = {00000085c0740cc70424????0608e8057ffbf7c6056025060801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6056085050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6056085050801}
    condition:
        all of them
}

rule AUTO_c12014400048c7c7qqqq4000e8d7fefffff490904883ec08488b {
    strings:
        $a = {c12014400048c7c7????4000e8d7fefffff490904883ec08488b}
    condition:
        all of them
}

rule AUTO_c12014400048c7c748134000e8d7fefffff490904883ec08488b {
    strings:
        $a = {c12014400048c7c748134000e8d7fefffff490904883ec08488b}
    condition:
        all of them
}

rule AUTO_0085c07410b6fbdfde560c68qqqq2ce8047ffbf783c410c60571 {
    strings:
        $a = {0085c07410b6fbdfde560c68????2ce8047ffbf783c410c60571}
    condition:
        all of them
}

rule AUTO_qq0070776e6564002f726f6f74002f62696e2f6261736800qqqq {
    strings:
        $a = {??0070776e6564002f726f6f74002f62696e2f6261736800????}
    condition:
        all of them
}

rule AUTO_74696f6e2f7868746d6c2b786d6c2c202a2f2a0d0a0041636365 {
    strings:
        $a = {74696f6e2f7868746d6c2b786d6c2c202a2f2a0d0a0041636365}
    condition:
        all of them
}

rule AUTO_7370656e642061742025642c2068617368426c6f636b3d25732c {
    strings:
        $a = {7370656e642061742025642c2068617368426c6f636b3d25732c}
    condition:
        all of them
}

rule AUTO_00dfbffdb685c01fc70424qqqq15e8057ffbf7c6053401fbceef {
    strings:
        $a = {00dfbffdb685c01fc70424????15e8057ffbf7c6053401fbceef}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605qqqq060801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605????060801}
    condition:
        all of them
}

rule AUTO_25730a002d63007368002f62696e2f736800000000000000qqqq {
    strings:
        $a = {25730a002d63007368002f62696e2f736800000000000000????}
    condition:
        all of them
}

rule AUTO_85bbffededc07410560c68qqqq2ce8047ffbf783c410c6057101 {
    strings:
        $a = {85bbffededc07410560c68????2ce8047ffbf783c410c6057101}
    condition:
        all of them
}

rule AUTO_51013eaa8a504e058c0461170650f515716b842c8919ffffffff {
    strings:
        $a = {51013eaa8a504e058c0461170650f515716b842c8919ffffffff}
    condition:
        all of them
}

rule AUTO_ffdbb7770085c074102b0c68qqqq16e8047ffbf783c410c68b7d {
    strings:
        $a = {ffdbb7770085c074102b0c68????16e8047ffbf783c410c68b7d}
    condition:
        all of them
}

rule AUTO_0f73fa04660f6fc2660fefd4660f73f804660f6fe2660fefe066 {
    strings:
        $a = {0f73fa04660f6fc2660fefd4660f73f804660f6fe2660fefe066}
    condition:
        all of them
}

rule AUTO_488d5001488b45e84883c0014889d64889c7e8f7feffff85c074 {
    strings:
        $a = {488d5001488b45e84883c0014889d64889c7e8f7feffff85c074}
    condition:
        all of them
}

rule AUTO_b7df760085c01fc70424qqqq15e8057ffbf7c60534dff9fdfe01 {
    strings:
        $a = {b7df760085c01fc70424????15e8057ffbf7c60534dff9fdfe01}
    condition:
        all of them
}

rule AUTO_ddfff6f685c07410560c68qqqq2ce8047ffbf783c410c6057101 {
    strings:
        $a = {ddfff6f685c07410560c68????2ce8047ffbf783c410c6057101}
    condition:
        all of them
}

rule AUTO_44246c83e80c890424e826070300893424e8af2b04008db42600 {
    strings:
        $a = {44246c83e80c890424e826070300893424e8af2b04008db42600}
    condition:
        all of them
}

rule AUTO_0085c074106df7bfbd560c68qqqq2ce8047ffbf783c410c60571 {
    strings:
        $a = {0085c074106df7bfbd560c68????2ce8047ffbf783c410c60571}
    condition:
        all of them
}

rule AUTO_d27985b8qqffffff65c7001600000090bfffffffffbaffffffff {
    strings:
        $a = {d27985b8??ffffff65c7001600000090bfffffffffbaffffffff}
    condition:
        all of them
}

rule AUTO_6c241048897c2410488b7810483378300f166c241048890c2448 {
    strings:
        $a = {6c241048897c2410488b7810483378300f166c241048890c2448}
    condition:
        all of them
}

rule AUTO_qq66410f73qq0466410f6fc4660f73f804660f6fc866440fefe0 {
    strings:
        $a = {??66410f73??0466410f6fc4660f73f804660f6fc866440fefe0}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605e052050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605e052050801}
    condition:
        all of them
}

rule AUTO_020fb7d0488d85c0efffff89d64889c7e8qqqqffff488b55e066 {
    strings:
        $a = {020fb7d0488d85c0efffff89d64889c7e8????ffff488b55e066}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605a040 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605a040}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6058083050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6058083050801}
    condition:
        all of them
}

rule AUTO_74792c20627965210a002f62696e2f73680000000000qqqqqqqq {
    strings:
        $a = {74792c20627965210a002f62696e2f73680000000000????????}
    condition:
        all of them
}

rule AUTO_0057e8qqqqffff83c40c66c1cb0868001000006a008d44242781 {
    strings:
        $a = {0057e8????ffff83c40c66c1cb0868001000006a008d44242781}
    condition:
        all of them
}

rule AUTO_2c00000000000000000000003400200001000000000000000080 {
    strings:
        $a = {2c00000000000000000000003400200001000000000000000080}
    condition:
        all of them
}

rule AUTO_895d088b5dfcc9e9qqqqfdffb8e8ffffff65c70016000000b8ff {
    strings:
        $a = {895d088b5dfcc9e9????fdffb8e8ffffff65c70016000000b8ff}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c60540qq {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c60540??}
    condition:
        all of them
}

rule AUTO_0000000000000000000000340020000200000000000000010000 {
    strings:
        $a = {0000000000000000000000340020000200000000000000010000}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c60560f0050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c60560f0050801}
    condition:
        all of them
}

rule AUTO_c1qqqq400048c7c7ab134000e8d7fefffff490904883ec08488b {
    strings:
        $a = {c1????400048c7c7ab134000e8d7fefffff490904883ec08488b}
    condition:
        all of them
}

rule AUTO_00d4000000d4800408d480040844000000440000000400000004 {
    strings:
        $a = {00d4000000d4800408d480040844000000440000000400000004}
    condition:
        all of them
}

rule AUTO_48ffc6881748ffc78a1601db750a8b1e4883eefc11db8a1672e6 {
    strings:
        $a = {48ffc6881748ffc78a1601db750a8b1e4883eefc11db8a1672e6}
    condition:
        all of them
}

rule AUTO_51013eaa8a504e058c0461170650f515716b842cffffffff8919 {
    strings:
        $a = {51013eaa8a504e058c0461170650f515716b842cffffffff8919}
    condition:
        all of them
}

rule AUTO_626c6520746f207772697465207368656c6c636f6465005b2b5d {
    strings:
        $a = {626c6520746f207772697465207368656c6c636f6465005b2b5d}
    condition:
        all of them
}

rule AUTO_6d6661207c6700226c002266005c4a5c5c4640412f5c5b4e5d5b {
    strings:
        $a = {6d6661207c6700226c002266005c4a5c5c4640412f5c5b4e5d5b}
    condition:
        all of them
}

rule AUTO_51013eaa8a504e058c0461170650f515716b842c89ffffffff19 {
    strings:
        $a = {51013eaa8a504e058c0461170650f515716b842c89ffffffff19}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c60580b3050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c60580b3050801}
    condition:
        all of them
}

rule AUTO_73204e5420qq2eqq29204170706c655765624b69742f3533362e {
    strings:
        $a = {73204e5420??2e??29204170706c655765624b69742f3533362e}
    condition:
        all of them
}

rule AUTO_aa66410f73fd0466410f6fc4660f73f804660f6fc866440fefe0 {
    strings:
        $a = {aa66410f73fd0466410f6fc4660f73f804660f6fc866440fefe0}
    condition:
        all of them
}

rule AUTO_qq0fb7d0488d85c0dfffff89d64889c7e8qqqqffff488b55d866 {
    strings:
        $a = {??0fb7d0488d85c0dfffff89d64889c7e8????ffff488b55d866}
    condition:
        all of them
}

rule AUTO_efdf7edb0085c01fc70424qqqq15e8057ffbf7c605347de7f7fb {
    strings:
        $a = {efdf7edb0085c01fc70424????15e8057ffbf7c605347de7f7fb}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0608e8057ffbf7c605e057060801 {
    strings:
        $a = {00000085c0740cc70424????0608e8057ffbf7c605e057060801}
    condition:
        all of them
}

rule AUTO_3b295b42004838636847566d48784b52646a56534f31344d7667 {
    strings:
        $a = {3b295b42004838636847566d48784b52646a56534f31344d7667}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c60540a1 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c60540a1}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605a0a8050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605a0a8050801}
    condition:
        all of them
}

rule AUTO_73204e5420352e3129204170706c655765624b69742f3533362e {
    strings:
        $a = {73204e5420352e3129204170706c655765624b69742f3533362e}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605e032 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605e032}
    condition:
        all of them
}

rule AUTO_45284889442410488b4510483345300f165c2410488944241048 {
    strings:
        $a = {45284889442410488b4510483345300f165c2410488944241048}
    condition:
        all of them
}

rule AUTO_1c83f803742bb8e8ffffff65c70016000000b8ffffffff5b5e5f {
    strings:
        $a = {1c83f803742bb8e8ffffff65c70016000000b8ffffffff5b5e5f}
    condition:
        all of them
}

rule AUTO_68b08404086840840408515668e4830408e8cffffffff4909090 {
    strings:
        $a = {68b08404086840840408515668e4830408e8cffffffff4909090}
    condition:
        all of them
}

rule AUTO_df44cc49d1e14c29cfb6c0bf2c6073788a40883c333b883851e4 {
    strings:
        $a = {df44cc49d1e14c29cfb6c0bf2c6073788a40883c333b883851e4}
    condition:
        all of them
}

rule AUTO_6e6974007368656c6c636f6465005f5f6273735f737461727400 {
    strings:
        $a = {6e6974007368656c6c636f6465005f5f6273735f737461727400}
    condition:
        all of them
}

rule AUTO_5f6877007368656c6c636f6465005f5f6273735f737461727400 {
    strings:
        $a = {5f6877007368656c6c636f6465005f5f6273735f737461727400}
    condition:
        all of them
}

rule AUTO_6e6b00667472756e63617465002d69007368002f62696e2f7368 {
    strings:
        $a = {6e6b00667472756e63617465002d69007368002f62696e2f7368}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605a0e4050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605a0e4050801}
    condition:
        all of them
}

rule AUTO_6c002d690062617368002f62696e2f626173680000qq2d2d2d2d {
    strings:
        $a = {6c002d690062617368002f62696e2f626173680000??2d2d2d2d}
    condition:
        all of them
}

rule AUTO_0502qqqq060003ef030105050abb050c0859050506660681051e {
    strings:
        $a = {0502????060003ef030105050abb050c0859050506660681051e}
    condition:
        all of them
}

rule AUTO_2d73796d626f6c732e68002e2e2f737973646570732f756e6978 {
    strings:
        $a = {2d73796d626f6c732e68002e2e2f737973646570732f756e6978}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqq0608e8047ffbf783c410c60520 {
    strings:
        $a = {00000085c0741083ec0c68????0608e8047ffbf783c410c60520}
    condition:
        all of them
}

rule AUTO_0f6fc2660f70c9ff660fefd3660f73f804660f6fdf660f73fb04 {
    strings:
        $a = {0f6fc2660f70c9ff660fefd3660f73f804660f6fdf660f73fb04}
    condition:
        all of them
}

rule AUTO_c1d014400048c7c706144000e8d7fefffff466900f1f4000b8qq {
    strings:
        $a = {c1d014400048c7c706144000e8d7fefffff466900f1f4000b8??}
    condition:
        all of them
}

rule AUTO_6fdfde0085c074102b0c68qqqq16e8047ffbf783c410c6052cf6 {
    strings:
        $a = {6fdfde0085c074102b0c68????16e8047ffbf783c410c6052cf6}
    condition:
        all of them
}

rule AUTO_006c696268656c6c6f2d6a6e692e736f00000000000000000300 {
    strings:
        $a = {006c696268656c6c6f2d6a6e692e736f00000000000000000300}
    condition:
        all of them
}

rule AUTO_qq020fb7d0488d85c0efffff89d64889c7e8qqqqffff488b55qq {
    strings:
        $a = {??020fb7d0488d85c0efffff89d64889c7e8????ffff488b55??}
    condition:
        all of them
}

rule AUTO_2d73796d626f6c732e68002f7573722f7372632f7061636b6167 {
    strings:
        $a = {2d73796d626f6c732e68002f7573722f7372632f7061636b6167}
    condition:
        all of them
}

rule AUTO_6d7028706174682c20222f62696e2f7375222929207b0a756e6c {
    strings:
        $a = {6d7028706174682c20222f62696e2f7375222929207b0a756e6c}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605qq67050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605??67050801}
    condition:
        all of them
}

rule AUTO_741c83f803742bb8e4ffffff65c70016000000b8ffffffff5b5e {
    strings:
        $a = {741c83f803742bb8e4ffffff65c70016000000b8ffffffff5b5e}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c6800qq0508e8e47efbf783c410c605qq {
    strings:
        $a = {00000085c0741083ec0c6800??0508e8e47efbf783c410c605??}
    condition:
        all of them
}

rule AUTO_006c696268656c6c6f2d6a6e692e736f00000000030000000a00 {
    strings:
        $a = {006c696268656c6c6f2d6a6e692e736f00000000030000000a00}
    condition:
        all of them
}

rule AUTO_8031c050682f2f7368682f62696e89e3505389e199b00bcd80qq {
    strings:
        $a = {8031c050682f2f7368682f62696e89e3505389e199b00bcd80??}
    condition:
        all of them
}

rule AUTO_6c2e736f006c696268656c6c6f2d6a6e692e736f0003000000qq {
    strings:
        $a = {6c2e736f006c696268656c6c6f2d6a6e692e736f0003000000??}
    condition:
        all of them
}

rule AUTO_02qqqqqq0003fc030105050abb050c0859050506660681037008 {
    strings:
        $a = {02??????0003fc030105050abb050c0859050506660681037008}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605e0f3050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605e0f3050801}
    condition:
        all of them
}

rule AUTO_1089c385c0791cf7db506a0468qq8304086a01e8qqfeffff891c {
    strings:
        $a = {1089c385c0791cf7db506a0468??8304086a01e8??feffff891c}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605a0d4 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605a0d4}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqq0608e8047ffbf783c410c60580 {
    strings:
        $a = {00000085c0741083ec0c68????0608e8047ffbf783c410c60580}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqq0408e8047ffbf783c410c605c0 {
    strings:
        $a = {00000085c0741083ec0c68????0408e8047ffbf783c410c605c0}
    condition:
        all of them
}

rule AUTO_ddebb8420085c01fc70424qqqq15e8057ffbf7c6053bbfdf7f34 {
    strings:
        $a = {ddebb8420085c01fc70424????15e8057ffbf7c6053bbfdf7f34}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c6880710508e8047ffbf783c410c605qqqq {
    strings:
        $a = {000085c0741083ec0c6880710508e8047ffbf783c410c605????}
    condition:
        all of them
}

rule AUTO_qq66c74424100200c74424140808080866c74424120035506a10 {
    strings:
        $a = {??66c74424100200c74424140808080866c74424120035506a10}
    condition:
        all of them
}

rule AUTO_410f73fa04488d9000001000660f73f804660f6fc866440fefc8 {
    strings:
        $a = {410f73fa04488d9000001000660f73f804660f6fc866440fefc8}
    condition:
        all of them
}

rule AUTO_qq0fb7d0488d85e0dfffff89d64889c7e8qqqqffff89c2488b85 {
    strings:
        $a = {??0fb7d0488d85e0dfffff89d64889c7e8????ffff89c2488b85}
    condition:
        all of them
}

rule AUTO_1066410f6fc2440f294c2430660f73f804660f6fc866440fefd0 {
    strings:
        $a = {1066410f6fc2440f294c2430660f73f804660f6fc866440fefd0}
    condition:
        all of them
}

rule AUTO_83c4085bc303000000010002005368656c6c636f646520qq656e {
    strings:
        $a = {83c4085bc303000000010002005368656c6c636f646520??656e}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c6054081 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c6054081}
    condition:
        all of them
}

rule AUTO_e80fb7d0488d85b0dfffff89d64889c7e8qqqqffff488b55c066 {
    strings:
        $a = {e80fb7d0488d85b0dfffff89d64889c7e8????ffff488b55c066}
    condition:
        all of them
}

rule AUTO_000200010000006000000060800408608004080a0000000a0000 {
    strings:
        $a = {000200010000006000000060800408608004080a0000000a0000}
    condition:
        all of them
}

rule AUTO_ffqqqqqq688ce45ce4d05c68515607f407a2f451d18d5c345cb9 {
    strings:
        $a = {ff??????688ce45ce4d05c68515607f407a2f451d18d5c345cb9}
    condition:
        all of them
}

rule AUTO_85c03e76dffdffc70424qqqq2608e8057ffbf7c6056901c9c38d {
    strings:
        $a = {85c03e76dffdffc70424????2608e8057ffbf7c6056901c9c38d}
    condition:
        all of them
}

rule AUTO_cddd0156183fffa7f7d77dd7dfb83e43689459fcb43b2fecbf25 {
    strings:
        $a = {cddd0156183fffa7f7d77dd7dfb83e43689459fcb43b2fecbf25}
    condition:
        all of them
}

rule AUTO_6c0d0a0073680d0a0063642025732f0d0a002f62696e2f627573 {
    strings:
        $a = {6c0d0a0073680d0a0063642025732f0d0a002f62696e2f627573}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqq0508e8qqqqfbf783c410c605qq {
    strings:
        $a = {00000085c0741083ec0c68????0508e8????fbf783c410c605??}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c60560a5050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c60560a5050801}
    condition:
        all of them
}

rule AUTO_0085c074106df7bfbd560c68e0762ce8047ffbf783c410c60571 {
    strings:
        $a = {0085c074106df7bfbd560c68e0762ce8047ffbf783c410c60571}
    condition:
        all of them
}

rule AUTO_70c0aa660f73f904660f6fd966440fefe0660f73fb04660fefcb {
    strings:
        $a = {70c0aa660f73f904660f6fd966440fefe0660f73fb04660fefcb}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqq0608e8047ffbf783c410c605a0 {
    strings:
        $a = {00000085c0741083ec0c68????0608e8047ffbf783c410c605a0}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605qq31 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605??31}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqq0608e8047ffbf783c410c60500 {
    strings:
        $a = {00000085c0741083ec0c68????0608e8047ffbf783c410c60500}
    condition:
        all of them
}

rule AUTO_0502qqqq060003ff030105050abb050c08590505066606810370 {
    strings:
        $a = {0502????060003ff030105050abb050c08590505066606810370}
    condition:
        all of them
}

rule AUTO_74qq66c74424100200c74424140808080866c744241200358d5c {
    strings:
        $a = {74??66c74424100200c74424140808080866c744241200358d5c}
    condition:
        all of them
}

rule AUTO_e80fb7d0488d85c0dfffff89d64889c7e8qqqqffff89c2488b45 {
    strings:
        $a = {e80fb7d0488d85c0dfffff89d64889c7e8????ffff89c2488b45}
    condition:
        all of them
}

rule AUTO_51013eaa8a504e058c0461170650f515716b842c89196affffff {
    strings:
        $a = {51013eaa8a504e058c0461170650f515716b842c89196affffff}
    condition:
        all of them
}

rule AUTO_70dcaa660f73f804660feff8660f73f80466440fefc3660feff8 {
    strings:
        $a = {70dcaa660f73f804660feff8660f73f80466440fefc3660feff8}
    condition:
        all of them
}

rule AUTO_f77ffbf685c074102b0c68qqqq16e8047ffbf783c410c6053862 {
    strings:
        $a = {f77ffbf685c074102b0c68????16e8047ffbf783c410c6053862}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605a070 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605a070}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605c094050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605c094050801}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqq0508e8qq7efbf783c410c605qq {
    strings:
        $a = {00000085c0741083ec0c68????0508e8??7efbf783c410c605??}
    condition:
        all of them
}

rule AUTO_00000085c0740cc704247c320508e8057ffbf7c6056045050801 {
    strings:
        $a = {00000085c0740cc704247c320508e8057ffbf7c6056045050801}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqq0608e8047ffbf783c410c605c0 {
    strings:
        $a = {00000085c0741083ec0c68????0608e8047ffbf783c410c605c0}
    condition:
        all of them
}

rule AUTO_0085c01fc70424qqqq15e8057ffbf7c60534dff9fdfe01c9c38d {
    strings:
        $a = {0085c01fc70424????15e8057ffbf7c60534dff9fdfe01c9c38d}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqq0408e8047ffbf783c410c60540 {
    strings:
        $a = {00000085c0741083ec0c68????0408e8047ffbf783c410c60540}
    condition:
        all of them
}

rule AUTO_qq0fb7d0488d85c0dfffff89d64889c7e8qqqqffff488b55e066 {
    strings:
        $a = {??0fb7d0488d85c0dfffff89d64889c7e8????ffff488b55e066}
    condition:
        all of them
}

rule AUTO_745266c74424100200c74424140808080866c744241200358d5c {
    strings:
        $a = {745266c74424100200c74424140808080866c744241200358d5c}
    condition:
        all of them
}

rule AUTO_0057e8qqqqqq0083c40c66c1cb0868001000006a008d44242781 {
    strings:
        $a = {0057e8??????0083c40c66c1cb0868001000006a008d44242781}
    condition:
        all of them
}

rule AUTO_b7ef420085c074102b0c68qqqq16e8047ffbf783c410c68b7d6f {
    strings:
        $a = {b7ef420085c074102b0c68????16e8047ffbf783c410c68b7d6f}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqq0408e8047ffbf783c410c60520 {
    strings:
        $a = {00000085c0741083ec0c68????0408e8047ffbf783c410c60520}
    condition:
        all of them
}

rule AUTO_00000085c0740cc704243c540508e8057ffbf7c6056067050801 {
    strings:
        $a = {00000085c0740cc704243c540508e8057ffbf7c6056067050801}
    condition:
        all of them
}

rule AUTO_7610c7c0f8ffffff65c7000c00000083c8ff5bc3e8qqqqffff81 {
    strings:
        $a = {7610c7c0f8ffffff65c7000c00000083c8ff5bc3e8????ffff81}
    condition:
        all of them
}

rule AUTO_0094qqqqqq948004089480040820000000200000000400000004 {
    strings:
        $a = {0094??????948004089480040820000000200000000400000004}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qq450508e8057ffbf7c605a058050801 {
    strings:
        $a = {00000085c0740cc70424??450508e8057ffbf7c605a058050801}
    condition:
        all of them
}

rule AUTO_qq0fb7d0488d85c0efffff89d64889c7e8qqqqffff89c2488b45 {
    strings:
        $a = {??0fb7d0488d85c0efffff89d64889c7e8????ffff89c2488b45}
    condition:
        all of them
}

rule AUTO_c19016400048c7c7d4154000e8b7fefffff4660f1f440000b8qq {
    strings:
        $a = {c19016400048c7c7d4154000e8b7fefffff4660f1f440000b8??}
    condition:
        all of them
}

rule AUTO_8bqq24qq85ed752785f6740eb8f8ffffff65c70016000000eb7a {
    strings:
        $a = {8b??24??85ed752785f6740eb8f8ffffff65c70016000000eb7a}
    condition:
        all of them
}

rule AUTO_000012000a00f8050000c0840000600000001100160031020000 {
    strings:
        $a = {000012000a00f8050000c0840000600000001100160031020000}
    condition:
        all of them
}

rule AUTO_f30f7e5424204889442420488b4510483345300f165424200f29 {
    strings:
        $a = {f30f7e5424204889442420488b4510483345300f165424200f29}
    condition:
        all of them
}

rule AUTO_c300660f70d8aa66410f6fc4660f73f804660f6fc866440fefe0 {
    strings:
        $a = {c300660f70d8aa66410f6fc4660f73f804660f6fc866440fefe0}
    condition:
        all of them
}

rule AUTO_83c410c64406060066c74406046573c704062f66696c83ec088d {
    strings:
        $a = {83c410c64406060066c74406046573c704062f66696c83ec088d}
    condition:
        all of them
}

rule AUTO_6a0156e8ad89ffff83c41085c07516515668990f070857e889eb {
    strings:
        $a = {6a0156e8ad89ffff83c41085c07516515668990f070857e889eb}
    condition:
        all of them
}

rule AUTO_ffdbb7770085c074102b0c68qqqq16e8e47efbf783c410c68b7d {
    strings:
        $a = {ffdbb7770085c074102b0c68????16e8e47efbf783c410c68b7d}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605c052 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605c052}
    condition:
        all of them
}

rule AUTO_00000034002000020028000800qq000100000000000000008004 {
    strings:
        $a = {00000034002000020028000800??000100000000000000008004}
    condition:
        all of them
}

rule AUTO_6c002d690062617368002f62696e2f6261736800000000qqqqqq {
    strings:
        $a = {6c002d690062617368002f62696e2f6261736800000000??????}
    condition:
        all of them
}

rule AUTO_e80fb7d0488d85c0efffff89d64889c7e8qqqqffff488b55e866 {
    strings:
        $a = {e80fb7d0488d85c0efffff89d64889c7e8????ffff488b55e866}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqq0408e8047ffbf783c410c60580 {
    strings:
        $a = {00000085c0741083ec0c68????0408e8047ffbf783c410c60580}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6058093050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6058093050801}
    condition:
        all of them
}

rule AUTO_ddebb8420085c074102b0c68qqqq16e8047ffbf783b1efedf7c4 {
    strings:
        $a = {ddebb8420085c074102b0c68????16e8047ffbf783b1efedf7c4}
    condition:
        all of them
}

rule AUTO_85c07410dbfd6f6f560c68qqqq2ce8047ffbf783c410c6057101 {
    strings:
        $a = {85c07410dbfd6f6f560c68????2ce8047ffbf783c410c6057101}
    condition:
        all of them
}

rule AUTO_400048c7c11014400048c7c7qq134000e8d7fefffff490904883 {
    strings:
        $a = {400048c7c11014400048c7c7??134000e8d7fefffff490904883}
    condition:
        all of them
}

rule AUTO_00000085c0740cc7042464b00508e8057ffbf7c605c008060801 {
    strings:
        $a = {00000085c0740cc7042464b00508e8057ffbf7c605c008060801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c60560a5 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c60560a5}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605a007060801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605a007060801}
    condition:
        all of them
}

rule AUTO_qqqqqqqqqq31dbcd8031d252686e2f7368682f2f626989e35253 {
    strings:
        $a = {??????????31dbcd8031d252686e2f7368682f2f626989e35253}
    condition:
        all of them
}

rule AUTO_5424104889442410488b4510483345300f165424100f29842410 {
    strings:
        $a = {5424104889442410488b4510483345300f165424100f29842410}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c6860750508e8047ffbf783c410c605qqqq {
    strings:
        $a = {000085c0741083ec0c6860750508e8047ffbf783c410c605????}
    condition:
        all of them
}

rule AUTO_6f74207368656c6c21002f62696e2f62617368005b2d5d206578 {
    strings:
        $a = {6f74207368656c6c21002f62696e2f62617368005b2d5d206578}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqq0508e8e47efbf783c410c60560 {
    strings:
        $a = {00000085c0741083ec0c68????0508e8e47efbf783c410c60560}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605qq04060801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605??04060801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605a0d3 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605a0d3}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68a4710508e8047ffbf783c410c6052087 {
    strings:
        $a = {000085c0741083ec0c68a4710508e8047ffbf783c410c6052087}
    condition:
        all of them
}

rule AUTO_00000085c0740cc7042400600508e8e57efbf7c605qq68050801 {
    strings:
        $a = {00000085c0740cc7042400600508e8e57efbf7c605??68050801}
    condition:
        all of them
}

rule AUTO_20454749443a25640a0062696e2f7368002f62696e2f7368006e {
    strings:
        $a = {20454749443a25640a0062696e2f7368002f62696e2f7368006e}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqq0408e8047ffbf783c410c60560 {
    strings:
        $a = {00000085c0741083ec0c68????0408e8047ffbf783c410c60560}
    condition:
        all of them
}

rule AUTO_020fb7d0488d85c0efffff89d64889c7e8qqqqffff488b55d066 {
    strings:
        $a = {020fb7d0488d85c0efffff89d64889c7e8????ffff488b55d066}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c60560f8 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c60560f8}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605e073050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605e073050801}
    condition:
        all of them
}

rule AUTO_qqf30f7e4424104889442410488b4510483345300f16442410qq {
    strings:
        $a = {??f30f7e4424104889442410488b4510483345300f16442410??}
    condition:
        all of them
}

rule AUTO_000085c0740cc70424qqqq0508e8057ffbf7c6052074050801c9 {
    strings:
        $a = {000085c0740cc70424????0508e8057ffbf7c6052074050801c9}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c6058053 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c6058053}
    condition:
        all of them
}

rule AUTO_f30f7e6c241048897c2410488b7e1048337e300f166c24104889 {
    strings:
        $a = {f30f7e6c241048897c2410488b7e1048337e300f166c24104889}
    condition:
        all of them
}

rule AUTO_007ffff6db85c01fc70424qqqq15e8057ffbf7c6053401c9c3ef {
    strings:
        $a = {007ffff6db85c01fc70424????15e8057ffbf7c6053401c9c3ef}
    condition:
        all of them
}

rule AUTO_qq0021736574756964283029002d7368002f62696e2f62617368 {
    strings:
        $a = {??0021736574756964283029002d7368002f62696e2f62617368}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6058033050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6058033050801}
    condition:
        all of them
}

rule AUTO_bbb8420085c074102b0c68qqqq0408e8047ffbf783c410c60516 {
    strings:
        $a = {bbb8420085c074102b0c68????0408e8047ffbf783c410c60516}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605qqf3 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605??f3}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqq0508e8f57efbf783c410c605c0 {
    strings:
        $a = {00000085c0741083ec0c68????0508e8f57efbf783c410c605c0}
    condition:
        all of them
}

rule AUTO_31c0ebc948c7c0d0ffffff64c7000c000000b8ffffffffebb40f {
    strings:
        $a = {31c0ebc948c7c0d0ffffff64c7000c000000b8ffffffffebb40f}
    condition:
        all of them
}

rule AUTO_0085c0f7dddfbe3ec70424qqqq2ae8057ffbf7c6056901c9c38d {
    strings:
        $a = {0085c0f7dddfbe3ec70424????2ae8057ffbf7c6056901c9c38d}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c60560d4050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c60560d4050801}
    condition:
        all of them
}

rule AUTO_0089c766c704240200c74424040808080866c74424020035e8qq {
    strings:
        $a = {0089c766c704240200c74424040808080866c74424020035e8??}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0408e8047ffbf783c410c605qqqq {
    strings:
        $a = {000085c0741083ec0c68????0408e8047ffbf783c410c605????}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605c0a5050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605c0a5050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68e4ad0508e8047ffbf783c410c60560f8 {
    strings:
        $a = {000085c0741083ec0c68e4ad0508e8047ffbf783c410c60560f8}
    condition:
        all of them
}

rule AUTO_0000000085c0740cc70424qqqq0508e8057ffbf7c60540530508 {
    strings:
        $a = {0000000085c0740cc70424????0508e8057ffbf7c60540530508}
    condition:
        all of them
}

rule AUTO_1089c385c0791cf7db506a0468qqqq04086a01e8e7feffff891c {
    strings:
        $a = {1089c385c0791cf7db506a0468????04086a01e8e7feffff891c}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424dc450508e8057ffbf7c605qqqq050801 {
    strings:
        $a = {00000085c0740cc70424dc450508e8057ffbf7c605????050801}
    condition:
        all of them
}

rule AUTO_8b74241485ed752785f6740eb8f8ffffff65c70016000000eb7a {
    strings:
        $a = {8b74241485ed752785f6740eb8f8ffffff65c70016000000eb7a}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6054058050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6054058050801}
    condition:
        all of them
}

rule AUTO_2e736f006c696268656c6c6f2d6a6e692e736f0000030000000c {
    strings:
        $a = {2e736f006c696268656c6c6f2d6a6e692e736f0000030000000c}
    condition:
        all of them
}

rule AUTO_660fefdf660f73ff04660fefdf660f73ff04660feffb660feff8 {
    strings:
        $a = {660fefdf660f73ff04660fefdf660f73ff04660feffb660feff8}
    condition:
        all of them
}

rule AUTO_00000085c0740cc7042424730608e8057ffbf7c6052091060801 {
    strings:
        $a = {00000085c0740cc7042424730608e8057ffbf7c6052091060801}
    condition:
        all of them
}

rule AUTO_0000000089e583ec0885c0740cc70424e49f1108e8457ef5f7b8 {
    strings:
        $a = {0000000089e583ec0885c0740cc70424e49f1108e8457ef5f7b8}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqq0508e8e47efbf783c410c605qq {
    strings:
        $a = {00000085c0741083ec0c68????0508e8e47efbf783c410c605??}
    condition:
        all of them
}

rule AUTO_qqqqqqqq514889e66a105a6a2a580f056a035e48ffce6a21580f {
    strings:
        $a = {????????514889e66a105a6a2a580f056a035e48ffce6a21580f}
    condition:
        all of them
}

rule AUTO_ff7fdb0085c01fc70424qqqq0508e8057ffbf7c6053401c9c3ef {
    strings:
        $a = {ff7fdb0085c01fc70424????0508e8057ffbf7c6053401c9c3ef}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c60520qq {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c60520??}
    condition:
        all of them
}

rule AUTO_617465002d69007368002f62696e2f7368000000000000000000 {
    strings:
        $a = {617465002d69007368002f62696e2f7368000000000000000000}
    condition:
        all of them
}

rule AUTO_qq002f62696e2f7368002f62696e2f62617368000304151a0d5c {
    strings:
        $a = {??002f62696e2f7368002f62696e2f62617368000304151a0d5c}
    condition:
        all of them
}

rule AUTO_8d8800002000440f294c2430660f73f804660f6fc866440fefd0 {
    strings:
        $a = {8d8800002000440f294c2430660f73f804660f6fc866440fefd0}
    condition:
        all of them
}

rule AUTO_260083c40831c05b5e5f5dc3b8qqffffff65c7000c000000b8ff {
    strings:
        $a = {260083c40831c05b5e5f5dc3b8??ffffff65c7000c000000b8ff}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424545d2108e8057ffbf7c605e0ec210801 {
    strings:
        $a = {00000085c0740cc70424545d2108e8057ffbf7c605e0ec210801}
    condition:
        all of them
}

rule AUTO_ffff83c410b800000000eb4e83ec0468001000006a008d85f0ef {
    strings:
        $a = {ffff83c410b800000000eb4e83ec0468001000006a008d85f0ef}
    condition:
        all of them
}

rule AUTO_697465207368656c6c636f6465005b2b5d2057616974696e6720 {
    strings:
        $a = {697465207368656c6c636f6465005b2b5d2057616974696e6720}
    condition:
        all of them
}

rule AUTO_0b049c190b5f7343d3120e216c1f172156d484c70d9058383410 {
    strings:
        $a = {0b049c190b5f7343d3120e216c1f172156d484c70d9058383410}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c60540c5050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c60540c5050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6054083050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6054083050801}
    condition:
        all of them
}

rule AUTO_b7d0488d85c0efffff89d64889c7e871fdffff488b55d0668942 {
    strings:
        $a = {b7d0488d85c0efffff89d64889c7e871fdffff488b55d0668942}
    condition:
        all of them
}

rule AUTO_c10015400048c7c7qq144000e8e7fefffff490904883ec08488b {
    strings:
        $a = {c10015400048c7c7??144000e8e7fefffff490904883ec08488b}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68c46c1308e8357efbf783c410c9c355 {
    strings:
        $a = {00000085c0741083ec0c68c46c1308e8357efbf783c410c9c355}
    condition:
        all of them
}

rule AUTO_qqqqqq4889442410488b4710483347300f167c24104889442410 {
    strings:
        $a = {??????4889442410488b4710483347300f167c24104889442410}
    condition:
        all of them
}

rule AUTO_206275736821007368002f62696e2f73680000004e6f206c7563 {
    strings:
        $a = {206275736821007368002f62696e2f73680000004e6f206c7563}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605qq07060801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605??07060801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6058063050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6058063050801}
    condition:
        all of them
}

rule AUTO_b7400266d1e80fb7d0488d85b0efffff89d64889c7e8qqqqffff {
    strings:
        $a = {b7400266d1e80fb7d0488d85b0efffff89d64889c7e8????ffff}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqfa0508e8057ffbf7c605qqqq060801 {
    strings:
        $a = {00000085c0740cc70424??fa0508e8057ffbf7c605????060801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605a0d3050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605a0d3050801}
    condition:
        all of them
}

rule AUTO_400048c7c11014400048c7c734134000e8d7fefffff490904883 {
    strings:
        $a = {400048c7c11014400048c7c734134000e8d7fefffff490904883}
    condition:
        all of them
}

rule AUTO_69640073797363616c6c00706f7374006c6962632e736f2e3600 {
    strings:
        $a = {69640073797363616c6c00706f7374006c6962632e736f2e3600}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605a055 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605a055}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605a008060801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605a008060801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c6820410508e8047ffbf783c410c6058053 {
    strings:
        $a = {000085c0741083ec0c6820410508e8047ffbf783c410c6058053}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c6860750508e8047ffbf783c410c6050086 {
    strings:
        $a = {000085c0741083ec0c6860750508e8047ffbf783c410c6050086}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c6898420508e8047ffbf783c410c6058055 {
    strings:
        $a = {000085c0741083ec0c6898420508e8047ffbf783c410c6058055}
    condition:
        all of them
}

rule AUTO_24208b4c243c8b542474eb858d0540784208890424e8109ffdff {
    strings:
        $a = {24208b4c243c8b542474eb858d0540784208890424e8109ffdff}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6056095050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6056095050801}
    condition:
        all of them
}

rule AUTO_400048c7c1b016400048c7c7qq114000e87ffefffff490904883 {
    strings:
        $a = {400048c7c1b016400048c7c7??114000e87ffefffff490904883}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605e071 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605e071}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605a093050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605a093050801}
    condition:
        all of them
}

rule AUTO_006c696268656c6c6f2d6a6e692e736f00000000000003000000 {
    strings:
        $a = {006c696268656c6c6f2d6a6e692e736f00000000000003000000}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c6820410508e8047ffbf783c410c605c051 {
    strings:
        $a = {000085c0741083ec0c6820410508e8047ffbf783c410c605c051}
    condition:
        all of them
}

rule AUTO_656c665f6c6962002f62696e2f62617368006d616c6c6f63005c {
    strings:
        $a = {656c665f6c6962002f62696e2f62617368006d616c6c6f63005c}
    condition:
        all of them
}

rule AUTO_384989ed4c89f54c21e34d21fd4c21d548336c24b04c31fb4d89 {
    strings:
        $a = {384989ed4c89f54c21e34d21fd4c21d548336c24b04c31fb4d89}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424dc450508e8057ffbf7c605e058050801 {
    strings:
        $a = {00000085c0740cc70424dc450508e8057ffbf7c605e058050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605e039 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605e039}
    condition:
        all of them
}

rule AUTO_c04353qq50b05acd8031c050682f2f7368682f62696e89e35054 {
    strings:
        $a = {c04353??50b05acd8031c050682f2f7368682f62696e89e35054}
    condition:
        all of them
}

rule AUTO_6c6c29002d63007368002f62696e2f7368000000000000ffffff {
    strings:
        $a = {6c6c29002d63007368002f62696e2f7368000000000000ffffff}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605e042 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605e042}
    condition:
        all of them
}

rule AUTO_qq04000048ba5c5c5c5c5c5c5c5c488993580400004889936004 {
    strings:
        $a = {??04000048ba5c5c5c5c5c5c5c5c488993580400004889936004}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c60560d4 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c60560d4}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6054043050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6054043050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605e052 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605e052}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68e4940508e8047ffbf783c410c60560a5 {
    strings:
        $a = {000085c0741083ec0c68e4940508e8047ffbf783c410c60560a5}
    condition:
        all of them
}

rule AUTO_0a002f62696e2f7368002f62696e2f6261736800506174683d00 {
    strings:
        $a = {0a002f62696e2f7368002f62696e2f6261736800506174683d00}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqq0508e8057ffbf783c410c605qq {
    strings:
        $a = {00000085c0741083ec0c68????0508e8057ffbf783c410c605??}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c6840290508e8047ffbf783c410c605e039 {
    strings:
        $a = {000085c0741083ec0c6840290508e8047ffbf783c410c605e039}
    condition:
        all of them
}

rule AUTO_ffdbb7770085c074102b0c68003016e8e47efbf783c410c68b7d {
    strings:
        $a = {ffdbb7770085c074102b0c68003016e8e47efbf783c410c68b7d}
    condition:
        all of them
}

rule AUTO_66d1e80fb7d0488d85e0dfffff89d64889c7e8e4fbffff488b95 {
    strings:
        $a = {66d1e80fb7d0488d85e0dfffff89d64889c7e8e4fbffff488b95}
    condition:
        all of them
}

rule AUTO_696e672073752077697468207368656c6c636f64652e00737500 {
    strings:
        $a = {696e672073752077697468207368656c6c636f64652e00737500}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c6800670508e8047ffbf783c410c605e071 {
    strings:
        $a = {000085c0741083ec0c6800670508e8047ffbf783c410c605e071}
    condition:
        all of them
}

rule AUTO_617274007368656c6c636f6465005f5f6273735f737461727400 {
    strings:
        $a = {617274007368656c6c636f6465005f5f6273735f737461727400}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c6056085 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c6056085}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605a020050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605a020050801}
    condition:
        all of them
}

rule AUTO_20726f6f7421007368002f62696e2f736800000000011b033bqq {
    strings:
        $a = {20726f6f7421007368002f62696e2f736800000000011b033b??}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c60520c5050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c60520c5050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605a060050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605a060050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605e072 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605e072}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68a4860508e8047ffbf783c410c605qqqq {
    strings:
        $a = {000085c0741083ec0c68a4860508e8047ffbf783c410c605????}
    condition:
        all of them
}

rule AUTO_020fb7d0488d85e0efffff89d64889c7e8qqqqffff89c2488b85 {
    strings:
        $a = {020fb7d0488d85e0efffff89d64889c7e8????ffff89c2488b85}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605qqc4 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605??c4}
    condition:
        all of them
}

rule AUTO_0c7563b8f8ffffff65c7001600000083c8ffeb578b43088b530c {
    strings:
        $a = {0c7563b8f8ffffff65c7001600000083c8ffeb578b43088b530c}
    condition:
        all of them
}

rule AUTO_c1qq16400048c7c791134000e89ffefffff490904883ec08488b {
    strings:
        $a = {c1??16400048c7c791134000e89ffefffff490904883ec08488b}
    condition:
        all of them
}

rule AUTO_c0741083ec0c68qqqq0408ffd083c4108d7600c9c390905589e5 {
    strings:
        $a = {c0741083ec0c68????0408ffd083c4108d7600c9c390905589e5}
    condition:
        all of them
}

rule AUTO_c043535250b05acd8031c050682f2f7368682f62696e89e35054 {
    strings:
        $a = {c043535250b05acd8031c050682f2f7368682f62696e89e35054}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605e022050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605e022050801}
    condition:
        all of them
}

rule AUTO_30406f70656e7373682e636f6d2c7373682d7273612c7373682d {
    strings:
        $a = {30406f70656e7373682e636f6d2c7373682d7273612c7373682d}
    condition:
        all of them
}

rule AUTO_25732c2068617368426c6f636b3d2573290000qqqq6164426c6f {
    strings:
        $a = {25732c2068617368426c6f636b3d2573290000????6164426c6f}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605a0a2 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605a0a2}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqfa0508e8057ffbf7c605qq52060801 {
    strings:
        $a = {00000085c0740cc70424??fa0508e8057ffbf7c605??52060801}
    condition:
        all of them
}

rule AUTO_f76fbfed0085c01fc70424qqqq15e8057ffbf7c60534bef3fbfd {
    strings:
        $a = {f76fbfed0085c01fc70424????15e8057ffbf7c60534bef3fbfd}
    condition:
        all of them
}

rule AUTO_c1d013400048c7c709134000e8e7fefffff4660f1f440000b8qq {
    strings:
        $a = {c1d013400048c7c709134000e8e7fefffff4660f1f440000b8??}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605qqc1 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605??c1}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68a07a0508e8047ffbf783c410c605a081 {
    strings:
        $a = {000085c0741083ec0c68a07a0508e8047ffbf783c410c605a081}
    condition:
        all of them
}

rule AUTO_45e00fb740020fb7d0488d85c0efffff89d64889c7e8qqqqffff {
    strings:
        $a = {45e00fb740020fb7d0488d85c0efffff89d64889c7e8????ffff}
    condition:
        all of them
}

rule AUTO_5c75405c683a5c775c24002f62696e2f62617368002f62696e2f {
    strings:
        $a = {5c75405c683a5c775c24002f62696e2f62617368002f62696e2f}
    condition:
        all of them
}

rule AUTO_c0740cc704243cqq0508e8057ffbf7c605qqqq050801c9c38db6 {
    strings:
        $a = {c0740cc704243c??0508e8057ffbf7c605????050801c9c38db6}
    condition:
        all of them
}

rule AUTO_64283029002d7368002f62696e2f62617368000000qqqqqqqqqq {
    strings:
        $a = {64283029002d7368002f62696e2f62617368000000??????????}
    condition:
        all of them
}

rule AUTO_73f804660f70c9ff660fefd8660f73f804660f6ff8660feffb66 {
    strings:
        $a = {73f804660f70c9ff660fefd8660f73f804660f6ff8660feffb66}
    condition:
        all of them
}

rule AUTO_c031c331c1b046cd8031c050686e2f7368682f2f626989e35089 {
    strings:
        $a = {c031c331c1b046cd8031c050686e2f7368682f2f626989e35089}
    condition:
        all of them
}

rule AUTO_dfc608660f70c8ff660f6fc3660f73f804660f6fe0660fefc366 {
    strings:
        $a = {dfc608660f70c8ff660f6fc3660f73f804660f6fe0660fefc366}
    condition:
        all of them
}

rule AUTO_000085c0740cc70424qqqq0508e8057ffbf7c6052054050801c9 {
    strings:
        $a = {000085c0740cc70424????0508e8057ffbf7c6052054050801c9}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c60520qq060801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c60520??060801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c60560e4050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c60560e4050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605a0a5050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605a0a5050801}
    condition:
        all of them
}

rule AUTO_49c7c04013400048c7c15013400048c7c739104000e807ffffff {
    strings:
        $a = {49c7c04013400048c7c15013400048c7c739104000e807ffffff}
    condition:
        all of them
}

rule AUTO_eeebb8000085c01fc70424qqqq15e8057ffbf7c6053bbfdf7f34 {
    strings:
        $a = {eeebb8000085c01fc70424????15e8057ffbf7c6053bbfdf7f34}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605a0a7050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605a0a7050801}
    condition:
        all of them
}

rule AUTO_791c50f7db6a0468qq8304086a01e8eafeffff891c24e87cfeff {
    strings:
        $a = {791c50f7db6a0468??8304086a01e8eafeffff891c24e87cfeff}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605a040050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605a040050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605e063050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605e063050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605c095 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605c095}
    condition:
        all of them
}

rule AUTO_656f66287368656c6c636f6465293d25640a0000000000000000 {
    strings:
        $a = {656f66287368656c6c636f6465293d25640a0000000000000000}
    condition:
        all of them
}

rule AUTO_400048c7c1qqqq400048c7c7d9104000e8e7fefffff490904883 {
    strings:
        $a = {400048c7c1????400048c7c7d9104000e8e7fefffff490904883}
    condition:
        all of them
}

rule AUTO_ab00000089442450894c24288d0580cf73088904248b44247489 {
    strings:
        $a = {ab00000089442450894c24288d0580cf73088904248b44247489}
    condition:
        all of them
}

rule AUTO_c11014400048c7c733134000e8d7fefffff490904883ec08488b {
    strings:
        $a = {c11014400048c7c733134000e8d7fefffff490904883ec08488b}
    condition:
        all of them
}

rule AUTO_64283029002d7368002f62696e2f62617368006d61696e00qqqq {
    strings:
        $a = {64283029002d7368002f62696e2f62617368006d61696e00????}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605a056 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605a056}
    condition:
        all of them
}

rule AUTO_ffffffb8b01e0d0885c0740d83ec0c68040b0f08ffd083c410c6 {
    strings:
        $a = {ffffffb8b01e0d0885c0740d83ec0c68040b0f08ffd083c410c6}
    condition:
        all of them
}

rule AUTO_d1e80fb7d0488d85c0dfffff89d64889c7e8qqqqffff488b55d8 {
    strings:
        $a = {d1e80fb7d0488d85c0dfffff89d64889c7e8????ffff488b55d8}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605e0a5050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605e0a5050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c6058093 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c6058093}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605a041 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605a041}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605e020050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605e020050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc7042484900508e8057ffbf7c605a0a7050801 {
    strings:
        $a = {00000085c0740cc7042484900508e8057ffbf7c605a0a7050801}
    condition:
        all of them
}

rule AUTO_45d00fb740020fb7d0488d85c0efffff89d64889c7e8qqqqffff {
    strings:
        $a = {45d00fb740020fb7d0488d85c0efffff89d64889c7e8????ffff}
    condition:
        all of them
}

rule AUTO_c44889ef488b05qqqq0600488d401048894308e8661afeff4c89 {
    strings:
        $a = {c44889ef488b05????0600488d401048894308e8661afeff4c89}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqq0508e8e47efbf783c410c60540 {
    strings:
        $a = {00000085c0741083ec0c68????0508e8e47efbf783c410c60540}
    condition:
        all of them
}

rule AUTO_02507d060003fc030105050abb050c0859050506660681037008 {
    strings:
        $a = {02507d060003fc030105050abb050c0859050506660681037008}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605e042050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605e042050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c60580a4050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c60580a4050801}
    condition:
        all of them
}

rule AUTO_656c665f6c6962002f62696e2f62617368000a5b2d5d20464149 {
    strings:
        $a = {656c665f6c6962002f62696e2f62617368000a5b2d5d20464149}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6056098050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6056098050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605a072 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605a072}
    condition:
        all of them
}

rule AUTO_f804660f70c9ff66440fefd8660f73f80466410fefc3660fefc1 {
    strings:
        $a = {f804660f70c9ff66440fefd8660f73f80466410fefc3660fefc1}
    condition:
        all of them
}

rule AUTO_be7d73450085c074102b0c68qqqq16e8047ffbec7bfbfdf783c4 {
    strings:
        $a = {be7d73450085c074102b0c68????16e8047ffbec7bfbfdf783c4}
    condition:
        all of them
}

rule AUTO_8f89431831c05a5b5e5fc9c3b8e8ffffff65c70016000000b8ff {
    strings:
        $a = {8f89431831c05a5b5e5fc9c3b8e8ffffff65c70016000000b8ff}
    condition:
        all of them
}

rule AUTO_0000000085c0741083ec0c68qqqq0408e87b78fbf783c410c9c3 {
    strings:
        $a = {0000000085c0741083ec0c68????0408e87b78fbf783c410c9c3}
    condition:
        all of them
}

rule AUTO_66202520737a29203d3d2030005368656c6c636f646520617420 {
    strings:
        $a = {66202520737a29203d3d2030005368656c6c636f646520617420}
    condition:
        all of them
}

rule AUTO_qq00556e6b6e6f776e202573205368656c6c636f646520284275 {
    strings:
        $a = {??00556e6b6e6f776e202573205368656c6c636f646520284275}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c60580a3050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c60580a3050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqqqq08e8047ffbf783c410c605qqqq {
    strings:
        $a = {000085c0741083ec0c68??????08e8047ffbf783c410c605????}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6054094050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6054094050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6054067050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6054067050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605qq63 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605??63}
    condition:
        all of them
}

rule AUTO_61696e002d69007368002f62696e2f736800000000qqqqqqqqqq {
    strings:
        $a = {61696e002d69007368002f62696e2f736800000000??????????}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605c052050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605c052050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605e073 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605e073}
    condition:
        all of them
}

rule AUTO_c1qq14400048c7c7940b4000e8cffefffff490904883ec08488b {
    strings:
        $a = {c1??14400048c7c7940b4000e8cffefffff490904883ec08488b}
    condition:
        all of them
}

rule AUTO_63ffffff31c0ebc948c7c0qqffffff64c7000c000000b8ffffff {
    strings:
        $a = {63ffffff31c0ebc948c7c0??ffffff64c7000c000000b8ffffff}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6058074050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6058074050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605a074050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605a074050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605c0qq {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605c0??}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c6800500508e8f57efbf783c410c605c0 {
    strings:
        $a = {00000085c0741083ec0c6800500508e8f57efbf783c410c605c0}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6056073050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6056073050801}
    condition:
        all of them
}

rule AUTO_660f1f84000000000048c7c0b0ffffff64c7000c000000b8ffff {
    strings:
        $a = {660f1f84000000000048c7c0b0ffffff64c7000c000000b8ffff}
    condition:
        all of them
}

rule AUTO_qqqqqqqq682f2f7368682f62696e89e3505389e1b00bcd8000qq {
    strings:
        $a = {????????682f2f7368682f62696e89e3505389e1b00bcd8000??}
    condition:
        all of them
}

rule AUTO_3fcd804979f9b00b52682f2f7368682f62696e89e3525389e1cd {
    strings:
        $a = {3fcd804979f9b00b52682f2f7368682f62696e89e3525389e1cd}
    condition:
        all of them
}

rule AUTO_00000085c0740cc704246cd50408e8057ffbf7c605e0e6040801 {
    strings:
        $a = {00000085c0740cc704246cd50408e8057ffbf7c605e0e6040801}
    condition:
        all of them
}

rule AUTO_3375284889442408488b4510483345300f165c24084889442408 {
    strings:
        $a = {3375284889442408488b4510483345300f165c24084889442408}
    condition:
        all of them
}

rule AUTO_746865207368656c6c636f64653a200d0a257354696d652e4d61 {
    strings:
        $a = {746865207368656c6c636f64653a200d0a257354696d652e4d61}
    condition:
        all of them
}

rule AUTO_0085c0fbee6fdf3ec70424qqqq2ae8057ffbf7c6056901c9c38d {
    strings:
        $a = {0085c0fbee6fdf3ec70424????2ae8057ffbf7c6056901c9c38d}
    condition:
        all of them
}

rule AUTO_85c076ffdbdb7410560c68qqqq2ce8047ffbf783c410c6057101 {
    strings:
        $a = {85c076ffdbdb7410560c68????2ce8047ffbf783c410c6057101}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6056094050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6056094050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c6058054 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c6058054}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605a030050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605a030050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqc00508e8057ffbf7c605602a060801 {
    strings:
        $a = {00000085c0740cc70424??c00508e8057ffbf7c605602a060801}
    condition:
        all of them
}

rule AUTO_ffff0fb740020fb7d0488d85e0efffff89d64889c7e8qqqqffff {
    strings:
        $a = {ffff0fb740020fb7d0488d85e0efffff89d64889c7e8????ffff}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6050084050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6050084050801}
    condition:
        all of them
}

rule AUTO_000085c0740cc70424qqqq0508e8057ffbf7c605e042050801c9 {
    strings:
        $a = {000085c0740cc70424????0508e8057ffbf7c605e042050801c9}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c6820290508e8047ffbf783c410c605qqqq {
    strings:
        $a = {000085c0741083ec0c6820290508e8047ffbf783c410c605????}
    condition:
        all of them
}

rule AUTO_00000085c0740cc7042400700508e8e57efbf7c605qqqq050801 {
    strings:
        $a = {00000085c0740cc7042400700508e8e57efbf7c605????050801}
    condition:
        all of them
}

rule AUTO_0000000085c0740cc70424qqqq0508e8057ffbf7c605c0830508 {
    strings:
        $a = {0000000085c0740cc70424????0508e8057ffbf7c605c0830508}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605qq55 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605??55}
    condition:
        all of them
}

rule AUTO_qqqqqq007368656c6c636f6465005f5f64736f5f68616e646c65 {
    strings:
        $a = {??????007368656c6c636f6465005f5f64736f5f68616e646c65}
    condition:
        all of them
}

rule AUTO_0073797374656d0d0a002f62696e2f62757379626f782046424f {
    strings:
        $a = {0073797374656d0d0a002f62696e2f62757379626f782046424f}
    condition:
        all of them
}

rule AUTO_63ffffff31c0ebc948c7c0c8ffffff64c7000c000000b8ffffff {
    strings:
        $a = {63ffffff31c0ebc948c7c0c8ffffff64c7000c000000b8ffffff}
    condition:
        all of them
}

rule AUTO_5804000048ba5c5c5c5c5c5c5c5c488910488950084889501048 {
    strings:
        $a = {5804000048ba5c5c5c5c5c5c5c5c488910488950084889501048}
    condition:
        all of them
}

rule AUTO_c16013400048c7c7e5104000e8e7fefffff490904883ec08488b {
    strings:
        $a = {c16013400048c7c7e5104000e8e7fefffff490904883ec08488b}
    condition:
        all of them
}

rule AUTO_01d248f7d04831d04985c17454403871f8488d41f8746c403871 {
    strings:
        $a = {01d248f7d04831d04985c17454403871f8488d41f8746c403871}
    condition:
        all of them
}

rule AUTO_0f73fb04660f6ce8660f6fc3660f73f804660f6fe0660fefc366 {
    strings:
        $a = {0f73fb04660f6ce8660f6fc3660f73f804660f6fe0660fefc366}
    condition:
        all of them
}

rule AUTO_f050545268f084040868908404085156683b840408e8bfffffff {
    strings:
        $a = {f050545268f084040868908404085156683b840408e8bfffffff}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605e0b2 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605e0b2}
    condition:
        all of them
}

rule AUTO_20f30f7e6c24204889442420488b4510483345300f166c24200f {
    strings:
        $a = {20f30f7e6c24204889442420488b4510483345300f166c24200f}
    condition:
        all of them
}

rule AUTO_6c6c29002d63007368002f62696e2f73680000000000ffffffff {
    strings:
        $a = {6c6c29002d63007368002f62696e2f73680000000000ffffffff}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605c041 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605c041}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqq0508e8147ffbf783c410c605qq {
    strings:
        $a = {00000085c0741083ec0c68????0508e8147ffbf783c410c605??}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c6880400508e8047ffbf783c410c605qqqq {
    strings:
        $a = {000085c0741083ec0c6880400508e8047ffbf783c410c605????}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68204f0508e8047ffbf783c410c6054051 {
    strings:
        $a = {000085c0741083ec0c68204f0508e8047ffbf783c410c6054051}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6058064050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6058064050801}
    condition:
        all of them
}

rule AUTO_006c696268656c6c6f2d6a6e692e736f00000000030000000c00 {
    strings:
        $a = {006c696268656c6c6f2d6a6e692e736f00000000030000000c00}
    condition:
        all of them
}

rule AUTO_00000085c0740cc7042400a00508e8e57efbf7c605qqqq050801 {
    strings:
        $a = {00000085c0740cc7042400a00508e8e57efbf7c605????050801}
    condition:
        all of them
}

rule AUTO_0000000085c0740cc70424qq160608e8057ffbf7c60560250608 {
    strings:
        $a = {0000000085c0740cc70424??160608e8057ffbf7c60560250608}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c60540a1050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c60540a1050801}
    condition:
        all of them
}

rule AUTO_1f1f1f1f1f1f1f1f1f1f5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c {
    strings:
        $a = {1f1f1f1f1f1f1f1f1f1f5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c}
    condition:
        all of them
}

rule AUTO_qqqqqq002f726f6f74002f62696e2f626173680000000000qqqq {
    strings:
        $a = {??????002f726f6f74002f62696e2f626173680000000000????}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6054053050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6054053050801}
    condition:
        all of them
}

rule AUTO_000000000000000000000063656e746f73002f62696e2f736800 {
    strings:
        $a = {000000000000000000000063656e746f73002f62696e2f736800}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605c068 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605c068}
    condition:
        all of them
}

rule AUTO_000085c0740cc70424qqqq0608e8057ffbf7c605a046060801c9 {
    strings:
        $a = {000085c0740cc70424????0608e8057ffbf7c605a046060801c9}
    condition:
        all of them
}

rule AUTO_6c2e736f006c696268656c6c6f2d6a6e692e736f00030000005c {
    strings:
        $a = {6c2e736f006c696268656c6c6f2d6a6e692e736f00030000005c}
    condition:
        all of them
}

rule AUTO_000085c0740cc70424a4d50508e8057ffbf7c605a0e4050801c9 {
    strings:
        $a = {000085c0740cc70424a4d50508e8057ffbf7c605a0e4050801c9}
    condition:
        all of them
}

rule AUTO_0000000000qq000000010002005368656c6c636f6465204c656e {
    strings:
        $a = {0000000000??000000010002005368656c6c636f6465204c656e}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c6050023 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c6050023}
    condition:
        all of them
}

rule AUTO_006e636f72726563740073680d0a002f62696e2f62757379626f {
    strings:
        $a = {006e636f72726563740073680d0a002f62696e2f62757379626f}
    condition:
        all of them
}

rule AUTO_0000000085c0741083ec0c68e8900408e87b78fbf783c410c9c3 {
    strings:
        $a = {0000000085c0741083ec0c68e8900408e87b78fbf783c410c9c3}
    condition:
        all of them
}

rule AUTO_000046000000480000004a000000b62c46bf056924208d89e391 {
    strings:
        $a = {000046000000480000004a000000b62c46bf056924208d89e391}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c6840a20508e8047ffbf783c410c605e0b2 {
    strings:
        $a = {000085c0741083ec0c6840a20508e8047ffbf783c410c605e0b2}
    condition:
        all of them
}

rule AUTO_b066505153b30389e1cd8052686e2f7368682f2f626989e35253 {
    strings:
        $a = {b066505153b30389e1cd8052686e2f7368682f2f626989e35253}
    condition:
        all of them
}

rule AUTO_8d95e0efffff488d85e0ebffff4889d64889c7e8e3f0ffff83bd {
    strings:
        $a = {8d95e0efffff488d85e0ebffff4889d64889c7e8e3f0ffff83bd}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6052095050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6052095050801}
    condition:
        all of them
}

rule AUTO_b7bbb8420085c01fc70424qqqq15e8057ffbf7c605777ebfff34 {
    strings:
        $a = {b7bbb8420085c01fc70424????15e8057ffbf7c605777ebfff34}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424245b0508e8057ffbf7c6058063050801 {
    strings:
        $a = {00000085c0740cc70424245b0508e8057ffbf7c6058063050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605e0a3050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605e0a3050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c60500e9050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c60500e9050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6056053050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6056053050801}
    condition:
        all of them
}

rule AUTO_6720726f6f74207368656c6c002f62696e2f62617368006e6f74 {
    strings:
        $a = {6720726f6f74207368656c6c002f62696e2f62617368006e6f74}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605qqf8050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605??f8050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c6050049 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c6050049}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605a042 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605a042}
    condition:
        all of them
}

rule AUTO_ffdfde0085c074102b0c68qqqq0508e8047ffbf783c410c60538 {
    strings:
        $a = {ffdfde0085c074102b0c68????0508e8047ffbf783c410c60538}
    condition:
        all of them
}

rule AUTO_000000b8qqffffffc704020c000000baffffffffebdf90909090 {
    strings:
        $a = {000000b8??ffffffc704020c000000baffffffffebdf90909090}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqqqq08e8047ffbf783c410c60580 {
    strings:
        $a = {00000085c0741083ec0c68??????08e8047ffbf783c410c60580}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605e084050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605e084050801}
    condition:
        all of them
}

rule AUTO_85c03e76dffdffc70424c4872608e8057ffbf7c6056901c9c38d {
    strings:
        $a = {85c03e76dffdffc70424c4872608e8057ffbf7c6056901c9c38d}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c60540c4 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c60540c4}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605a070050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605a070050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c6056043 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c6056043}
    condition:
        all of them
}

rule AUTO_ebb8420085c074102b0c68qqqq0408e8047ffbf783c410c68b7d {
    strings:
        $a = {ebb8420085c074102b0c68????0408e8047ffbf783c410c68b7d}
    condition:
        all of them
}

rule AUTO_qqqqqqqq002d7368002f62696e2f6261736800000000011b033b {
    strings:
        $a = {????????002d7368002f62696e2f6261736800000000011b033b}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qq650508e8047ffbf783c410c605qq77 {
    strings:
        $a = {000085c0741083ec0c68??650508e8047ffbf783c410c605??77}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqc40508e8057ffbf7c605qqqq050801 {
    strings:
        $a = {00000085c0740cc70424??c40508e8057ffbf7c605????050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68bc420508e8047ffbf783c410c605a055 {
    strings:
        $a = {000085c0741083ec0c68bc420508e8047ffbf783c410c605a055}
    condition:
        all of them
}

rule AUTO_00000085c0740cc7042460f40508e8057ffbf7c605c04c060801 {
    strings:
        $a = {00000085c0740cc7042460f40508e8057ffbf7c605c04c060801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc7042444qq0508e8057ffbf7c605qqqq050801 {
    strings:
        $a = {00000085c0740cc7042444??0508e8057ffbf7c605????050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605e008060801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605e008060801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6050075050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6050075050801}
    condition:
        all of them
}

rule AUTO_qqqqqq007368656c6c636f6465005f5f7374617400736574656e {
    strings:
        $a = {??????007368656c6c636f6465005f5f7374617400736574656e}
    condition:
        all of them
}

rule AUTO_000000000000000000005b2a205368656c6c636f646520666f75 {
    strings:
        $a = {000000000000000000005b2a205368656c6c636f646520666f75}
    condition:
        all of them
}

rule AUTO_f805740de99300000048ffc6881748ffc78a1601db750a8b1e48 {
    strings:
        $a = {f805740de99300000048ffc6881748ffc78a1601db750a8b1e48}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c60580c5050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c60580c5050801}
    condition:
        all of them
}

rule AUTO_24388b4424304889542438488b5110483351300f167424384889 {
    strings:
        $a = {24388b4424304889542438488b5110483351300f167424384889}
    condition:
        all of them
}

rule AUTO_006b656570616c697665406f70656e7373682e636f6d00257320 {
    strings:
        $a = {006b656570616c697665406f70656e7373682e636f6d00257320}
    condition:
        all of them
}

rule AUTO_696b654d61634f5358294170706c655765624b69742f3533362e {
    strings:
        $a = {696b654d61634f5358294170706c655765624b69742f3533362e}
    condition:
        all of them
}

rule AUTO_322e30007368656c6c636f6465005f5f73746174006c616e6775 {
    strings:
        $a = {322e30007368656c6c636f6465005f5f73746174006c616e6775}
    condition:
        all of them
}

rule AUTO_c1fdff8d052b0c4308890424c74424040a000000e820c2fdff8b {
    strings:
        $a = {c1fdff8d052b0c4308890424c74424040a000000e820c2fdff8b}
    condition:
        all of them
}

rule AUTO_0000003400200002002800090008000100000000000000008004 {
    strings:
        $a = {0000003400200002002800090008000100000000000000008004}
    condition:
        all of them
}

rule AUTO_2020202020202020202020202068617368426c6f636b3d25732c {
    strings:
        $a = {2020202020202020202020202068617368426c6f636b3d25732c}
    condition:
        all of them
}

rule AUTO_c7c1b00b400048c7c7b90a4000e827fffffff490904883ec0848 {
    strings:
        $a = {c7c1b00b400048c7c7b90a4000e827fffffff490904883ec0848}
    condition:
        all of them
}

rule AUTO_0085bbffededc07410560c68qqqq2ce8047ffbf783c410c60571 {
    strings:
        $a = {0085bbffededc07410560c68????2ce8047ffbf783c410c60571}
    condition:
        all of them
}

rule AUTO_0000000085c0740cc70424qqqq0508e8057ffbf7c60520530508 {
    strings:
        $a = {0000000085c0740cc70424????0508e8057ffbf7c60520530508}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c60500c5050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c60500c5050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605e032050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605e032050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605e0qq050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605e0??050801}
    condition:
        all of them
}

rule AUTO_c1a035400048c7c7qqqq4000e817fefffff4660f1f440000b8bf {
    strings:
        $a = {c1a035400048c7c7????4000e817fefffff4660f1f440000b8bf}
    condition:
        all of them
}

rule AUTO_0b5be9bdfeffff908d742600b8qqffffff65c70016000000b8ff {
    strings:
        $a = {0b5be9bdfeffff908d742600b8??ffffff65c70016000000b8ff}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68e0560508e8047ffbf783c410c605qqqq {
    strings:
        $a = {000085c0741083ec0c68e0560508e8047ffbf783c410c605????}
    condition:
        all of them
}

rule AUTO_ffb76fef0085c074102b0c68qqqq16e8047ffbf783c410c60516 {
    strings:
        $a = {ffb76fef0085c074102b0c68????16e8047ffbf783c410c60516}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605a0a3050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605a0a3050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c6880750508e8047ffbf783c410c605qqqq {
    strings:
        $a = {000085c0741083ec0c6880750508e8047ffbf783c410c605????}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qq320508e8047ffbf783c410c605qqqq {
    strings:
        $a = {000085c0741083ec0c68??320508e8047ffbf783c410c605????}
    condition:
        all of them
}

rule AUTO_c1qq1a400048c7c7d9154000e8c7fefffff490904883ec08488b {
    strings:
        $a = {c1??1a400048c7c7d9154000e8c7fefffff490904883ec08488b}
    condition:
        all of them
}

rule AUTO_85c07410b6fbdfde560c68qqqq2ce8047ffbf783c410c6057101 {
    strings:
        $a = {85c07410b6fbdfde560c68????2ce8047ffbf783c410c6057101}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424c0f90508e8057ffbf7c605qqqq060801 {
    strings:
        $a = {00000085c0740cc70424c0f90508e8057ffbf7c605????060801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6058068050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6058068050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605a0c4 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605a0c4}
    condition:
        all of them
}

rule AUTO_c1qq0f400048c7c77b0c4000e8f7fefffff490904883ec08488b {
    strings:
        $a = {c1??0f400048c7c77b0c4000e8f7fefffff490904883ec08488b}
    condition:
        all of them
}

rule AUTO_000085c0740cc70424qqqq0508e8057ffbf7c605a007060801c9 {
    strings:
        $a = {000085c0740cc70424????0508e8057ffbf7c605a007060801c9}
    condition:
        all of them
}

rule AUTO_d1e80fb7d0488d85d0dfffff89d64889c7e8qqfcffff488b55f0 {
    strings:
        $a = {d1e80fb7d0488d85d0dfffff89d64889c7e8??fcffff488b55f0}
    condition:
        all of them
}

rule AUTO_19b80000000085c0741083ec0c68qqqq0408ffd083c4108d7600 {
    strings:
        $a = {19b80000000085c0741083ec0c68????0408ffd083c4108d7600}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c6800qq0508e8057ffbf783c410c605a0 {
    strings:
        $a = {00000085c0741083ec0c6800??0508e8057ffbf783c410c605a0}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605e093050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605e093050801}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c6800qq0508e8e47efbf783c410c605e0 {
    strings:
        $a = {00000085c0741083ec0c6800??0508e8e47efbf783c410c605e0}
    condition:
        all of them
}

rule AUTO_c1d04a400048c7c7c1444000e82ffdfffff490904883ec08488b {
    strings:
        $a = {c1d04a400048c7c7c1444000e82ffdfffff490904883ec08488b}
    condition:
        all of them
}

rule AUTO_0000008b550c3b5485b475e3b8e4ffffff65c7001600000031ff {
    strings:
        $a = {0000008b550c3b5485b475e3b8e4ffffff65c7001600000031ff}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c6052088 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c6052088}
    condition:
        all of them
}

rule AUTO_edbbb8420085c074102b0c68e0qq16e8047ffbf783c462dfdbef {
    strings:
        $a = {edbbb8420085c074102b0c68e0??16e8047ffbf783c462dfdbef}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605qqb1 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605??b1}
    condition:
        all of them
}

rule AUTO_697468207368656c6c636f64652e00qqqq005b2b5d2045786563 {
    strings:
        $a = {697468207368656c6c636f64652e00????005b2b5d2045786563}
    condition:
        all of them
}

rule AUTO_400048c7c1c014400048c7c703144000e8d7fefffff4660f1f44 {
    strings:
        $a = {400048c7c1c014400048c7c703144000e8d7fefffff4660f1f44}
    condition:
        all of them
}

rule AUTO_e689df66c704240200c74424040808080866c74424020035e8qq {
    strings:
        $a = {e689df66c704240200c74424040808080866c74424020035e8??}
    condition:
        all of them
}

rule AUTO_53b0015050b004cd8031c050686e2f7368682f2f626989e35053 {
    strings:
        $a = {53b0015050b004cd8031c050686e2f7368682f2f626989e35053}
    condition:
        all of them
}

rule AUTO_85d275ebb80000000085c0740cc70424ccb00408e85575fbf7c6 {
    strings:
        $a = {85d275ebb80000000085c0740cc70424ccb00408e85575fbf7c6}
    condition:
        all of them
}

rule AUTO_000085c07410edfe37db560c68qq2ce8047ffbf783c410c60571 {
    strings:
        $a = {000085c07410edfe37db560c68??2ce8047ffbf783c410c60571}
    condition:
        all of them
}

rule AUTO_6c6520746f20637265617465207368656c6c636f64652066696c {
    strings:
        $a = {6c6520746f20637265617465207368656c6c636f64652066696c}
    condition:
        all of them
}

rule AUTO_746d702f6861786861782f752f62617368000000000000000072 {
    strings:
        $a = {746d702f6861786861782f752f62617368000000000000000072}
    condition:
        all of them
}

rule AUTO_400048c7c17015400048c7c7fd124000e8d7fefffff490904883 {
    strings:
        $a = {400048c7c17015400048c7c7fd124000e8d7fefffff490904883}
    condition:
        all of them
}

rule AUTO_0000000085c0740cc70424qqqq0508e8057ffbf7c605c0a60508 {
    strings:
        $a = {0000000085c0740cc70424????0508e8057ffbf7c605c0a60508}
    condition:
        all of them
}

rule AUTO_0000000085c0740cc70424qqqq0508e8057ffbf7c605c0550508 {
    strings:
        $a = {0000000085c0740cc70424????0508e8057ffbf7c605c0550508}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6054074050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6054074050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605qqa4050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605??a4050801}
    condition:
        all of them
}

rule AUTO_652829002d69007368002f62696e2f7368000000000000000000 {
    strings:
        $a = {652829002d69007368002f62696e2f7368000000000000000000}
    condition:
        all of them
}

rule AUTO_000085c0740cc70424qqqq0508e8057ffbf7c605e078050801c9 {
    strings:
        $a = {000085c0740cc70424????0508e8057ffbf7c605e078050801c9}
    condition:
        all of them
}

rule AUTO_00000085c0740cc7042440400508e8057ffbf7c6050052050801 {
    strings:
        $a = {00000085c0740cc7042440400508e8057ffbf7c6050052050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424e4qq0508e8057ffbf7c605qqqq050801 {
    strings:
        $a = {00000085c0740cc70424e4??0508e8057ffbf7c605????050801}
    condition:
        all of them
}

rule AUTO_000000e9a800000083fd02751c807b01057516c605qqqq200001 {
    strings:
        $a = {000000e9a800000083fd02751c807b01057516c605????200001}
    condition:
        all of them
}

rule AUTO_b8420085c074102b0c68qqqq0408e8047ffbf783c410c68b7d6f {
    strings:
        $a = {b8420085c074102b0c68????0408e8047ffbf783c410c68b7d6f}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqqqq08e8047ffbf783c410c6054011 {
    strings:
        $a = {000085c0741083ec0c68??????08e8047ffbf783c410c6054011}
    condition:
        all of them
}

rule AUTO_6c6c20666f756e6421002f62696e2f7361736800736173682073 {
    strings:
        $a = {6c6c20666f756e6421002f62696e2f7361736800736173682073}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c6056044 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c6056044}
    condition:
        all of them
}

rule AUTO_0085fffeedb7c01fc70424qqqq15e8057ffbf7c6053401c9c38d {
    strings:
        $a = {0085fffeedb7c01fc70424????15e8057ffbf7c6053401c9c38d}
    condition:
        all of them
}

rule AUTO_f8c5797fe8e8fbqqqqffc5f96f4c2410c5796fe8c5797fe0e8e8 {
    strings:
        $a = {f8c5797fe8e8fb????ffc5f96f4c2410c5796fe8c5797fe0e8e8}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6054091050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6054091050801}
    condition:
        all of them
}

rule AUTO_000085c0740cc70424qqqq0508e8057ffbf7c605a016060801c9 {
    strings:
        $a = {000085c0740cc70424????0508e8057ffbf7c605a016060801c9}
    condition:
        all of them
}

rule AUTO_d1e80fb7d0488d85b0efffff89d64889c7e8qqqqffff488b55c0 {
    strings:
        $a = {d1e80fb7d0488d85b0efffff89d64889c7e8????ffff488b55c0}
    condition:
        all of them
}

rule AUTO_000085c0740cc70424qq0f0608e8057ffbf7c6052015060801c9 {
    strings:
        $a = {000085c0740cc70424??0f0608e8057ffbf7c6052015060801c9}
    condition:
        all of them
}

rule AUTO_ff1d4f83688ce45ce4d05c68515607f407a2f451d18d5c345cb9 {
    strings:
        $a = {ff1d4f83688ce45ce4d05c68515607f407a2f451d18d5c345cb9}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68c0150508e8047ffbf783c410c605qqqq {
    strings:
        $a = {000085c0741083ec0c68c0150508e8047ffbf783c410c605????}
    condition:
        all of them
}

rule AUTO_5789e143cd8085c079194e743d68a2000000586a006a0589e331 {
    strings:
        $a = {5789e143cd8085c079194e743d68a2000000586a006a0589e331}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c6800qq0508e8d57efbf783c410c60560 {
    strings:
        $a = {00000085c0741083ec0c6800??0508e8d57efbf783c410c60560}
    condition:
        all of them
}

rule AUTO_000085c0740cc70424qqqq0508e8057ffbf7c605a002060801c9 {
    strings:
        $a = {000085c0740cc70424????0508e8057ffbf7c605a002060801c9}
    condition:
        all of them
}

rule AUTO_00000085c0740cc7042424a10508e8057ffbf7c605e008060801 {
    strings:
        $a = {00000085c0740cc7042424a10508e8057ffbf7c605e008060801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc7042420690508e8057ffbf7c6056073050801 {
    strings:
        $a = {00000085c0740cc7042420690508e8057ffbf7c6056073050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c6050065 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c6050065}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6056063050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6056063050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605c016060801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605c016060801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c6050088 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c6050088}
    condition:
        all of them
}

rule AUTO_5054526890a7040868a0a704085156686b9f0408e8effdfffff4 {
    strings:
        $a = {5054526890a7040868a0a704085156686b9f0408e8effdfffff4}
    condition:
        all of them
}

rule AUTO_697468207368656c6c636f64652e002564005b2b5d2045786563 {
    strings:
        $a = {697468207368656c6c636f64652e002564005b2b5d2045786563}
    condition:
        all of them
}

rule AUTO_50545268809104086890910408515668ec8e0408e887fefffff4 {
    strings:
        $a = {50545268809104086890910408515668ec8e0408e887fefffff4}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605002e060801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605002e060801}
    condition:
        all of them
}

rule AUTO_0000000085c0740cc7042400d00508e8e57efbf7c605qqqq0508 {
    strings:
        $a = {0000000085c0740cc7042400d00508e8e57efbf7c605????0508}
    condition:
        all of them
}

rule AUTO_542460488b5110483351300f1674246048899c24c80000004889 {
    strings:
        $a = {542460488b5110483351300f1674246048899c24c80000004889}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68e46f0508e8047ffbf783c410c6056075 {
    strings:
        $a = {000085c0741083ec0c68e46f0508e8047ffbf783c410c6056075}
    condition:
        all of them
}

rule AUTO_ffffe979fdffffbff85b4000e856e7ffffb8ffffffffe965fdff {
    strings:
        $a = {ffffe979fdffffbff85b4000e856e7ffffb8ffffffffe965fdff}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c60520a5050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c60520a5050801}
    condition:
        all of them
}

rule AUTO_f050545268f084040868808404085156683c840408e8cfffffff {
    strings:
        $a = {f050545268f084040868808404085156683c840408e8cfffffff}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6058013050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6058013050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6050033050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6050033050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqec0408e8057ffbf7c605a0f1040801 {
    strings:
        $a = {00000085c0740cc70424??ec0408e8057ffbf7c605a0f1040801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605qq84 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605??84}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c60580qqqq0801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c60580????0801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c60580c3050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c60580c3050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605a062 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605a062}
    condition:
        all of them
}

rule AUTO_63006c6962632f737973646570732f6c696e75782f693338362f {
    strings:
        $a = {63006c6962632f737973646570732f6c696e75782f693338362f}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqq0508e8f57efbf783c410c605a0 {
    strings:
        $a = {00000085c0741083ec0c68????0508e8f57efbf783c410c605a0}
    condition:
        all of them
}

rule AUTO_0085c0740d685c060808e8b509fbf783c4048b1d4806080883c3 {
    strings:
        $a = {0085c0740d685c060808e8b509fbf783c4048b1d4806080883c3}
    condition:
        all of them
}

rule AUTO_c074a68d0580113d088904248b442424894424048d0509354308 {
    strings:
        $a = {c074a68d0580113d088904248b442424894424048d0509354308}
    condition:
        all of them
}

rule AUTO_68ac8604085156682e860408e83ffffffff490905589e55350e8 {
    strings:
        $a = {68ac8604085156682e860408e83ffffffff490905589e55350e8}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c60580f3050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c60580f3050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c60540d4050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c60540d4050801}
    condition:
        all of them
}

rule AUTO_084883c408c3000000010002005368656c6c636f6465204c656e {
    strings:
        $a = {084883c408c3000000010002005368656c6c636f6465204c656e}
    condition:
        all of them
}

rule AUTO_ffff4883c408c30000010002005368656c6c636f6465204c656e {
    strings:
        $a = {ffff4883c408c30000010002005368656c6c636f6465204c656e}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6056088050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6056088050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605e0a6050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605e0a6050801}
    condition:
        all of them
}

rule AUTO_0892850408a2850408b2850408c2850408000000000100000010 {
    strings:
        $a = {0892850408a2850408b2850408c2850408000000000100000010}
    condition:
        all of them
}

rule AUTO_00000085c0740cc7042424qq0508e8057ffbf7c605qqqq050801 {
    strings:
        $a = {00000085c0740cc7042424??0508e8057ffbf7c605????050801}
    condition:
        all of them
}

rule AUTO_0000000085c0740cc70424qqqq0508e8057ffbf7c605qq830508 {
    strings:
        $a = {0000000085c0740cc70424????0508e8057ffbf7c605??830508}
    condition:
        all of them
}

rule AUTO_c15010400048c7c7qq0d4000e8effefffff490904883ec08488b {
    strings:
        $a = {c15010400048c7c7??0d4000e8effefffff490904883ec08488b}
    condition:
        all of them
}

rule AUTO_ddb8000085c074102b0c68qqqq0408e8047ffbf783c410c60516 {
    strings:
        $a = {ddb8000085c074102b0c68????0408e8047ffbf783c410c60516}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c6056041 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c6056041}
    condition:
        all of them
}

rule AUTO_20726f6f7421007368002f62696e2f73680000000000000000qq {
    strings:
        $a = {20726f6f7421007368002f62696e2f73680000000000000000??}
    condition:
        all of them
}

rule AUTO_25732c2068617368426c6f636b3d257329000025733a20436865 {
    strings:
        $a = {25732c2068617368426c6f636b3d257329000025733a20436865}
    condition:
        all of them
}

rule AUTO_1089c385c0791cf7db506a0468qq8304086a01e8f0feffff891c {
    strings:
        $a = {1089c385c0791cf7db506a0468??8304086a01e8f0feffff891c}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0408e8047ffbf783c410c605a0e0 {
    strings:
        $a = {000085c0741083ec0c68????0408e8047ffbf783c410c605a0e0}
    condition:
        all of them
}

rule AUTO_0000000085c0740cc70424c4qq0508e8057ffbf7c60520390608 {
    strings:
        $a = {0000000085c0740cc70424c4??0508e8057ffbf7c60520390608}
    condition:
        all of them
}

rule AUTO_0266d1e80fb7d0488d8590dfffff89d64889c7e8qqfcffff488b {
    strings:
        $a = {0266d1e80fb7d0488d8590dfffff89d64889c7e8??fcffff488b}
    condition:
        all of them
}

rule AUTO_000085c0740cc7042404e20508e8057ffbf7c605a002060801c9 {
    strings:
        $a = {000085c0740cc7042404e20508e8057ffbf7c605a002060801c9}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0608e8057ffbf7c6058023060801 {
    strings:
        $a = {00000085c0740cc70424????0608e8057ffbf7c6058023060801}
    condition:
        all of them
}

rule AUTO_10f30f7e4424104889442410488b4510483345300f16442410f3 {
    strings:
        $a = {10f30f7e4424104889442410488b4510483345300f16442410f3}
    condition:
        all of them
}

rule AUTO_0073656e6466696c6500706f7374006c6962632e736f2e36005f {
    strings:
        $a = {0073656e6466696c6500706f7374006c6962632e736f2e36005f}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68e45e0508e8047ffbf783c410c6050065 {
    strings:
        $a = {000085c0741083ec0c68e45e0508e8047ffbf783c410c6050065}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qq840508e8047ffbf783c410c605qq95 {
    strings:
        $a = {000085c0741083ec0c68??840508e8047ffbf783c410c605??95}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605c050 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605c050}
    condition:
        all of them
}

rule AUTO_6361746500736f636b6574002d69007368002f62696e2f736800 {
    strings:
        $a = {6361746500736f636b6574002d69007368002f62696e2f736800}
    condition:
        all of them
}

rule AUTO_010002006661696c65640a002d69007368002f62696e2f736800 {
    strings:
        $a = {010002006661696c65640a002d69007368002f62696e2f736800}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqq0508e8147ffbf783c410c60560 {
    strings:
        $a = {00000085c0741083ec0c68????0508e8147ffbf783c410c60560}
    condition:
        all of them
}

rule AUTO_c15015400048c7c7qqqq4000e8c7fefffff490904883ec08488b {
    strings:
        $a = {c15015400048c7c7????4000e8c7fefffff490904883ec08488b}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qq5b0508e8047ffbf783c410c6058062 {
    strings:
        $a = {000085c0741083ec0c68??5b0508e8047ffbf783c410c6058062}
    condition:
        all of them
}

rule AUTO_000085c0740cc7042404ff0508e8057ffbf7c6052006060801c9 {
    strings:
        $a = {000085c0740cc7042404ff0508e8057ffbf7c6052006060801c9}
    condition:
        all of them
}

rule AUTO_e80fb7d0488d85d0dfffff89d64889c7e8qqfcffff488b55f066 {
    strings:
        $a = {e80fb7d0488d85d0dfffff89d64889c7e8??fcffff488b55f066}
    condition:
        all of them
}

rule AUTO_b066505153b30389e1cd8052682f2f7368682f62696e89e35253 {
    strings:
        $a = {b066505153b30389e1cd8052682f2f7368682f62696e89e35253}
    condition:
        all of them
}

rule AUTO_6967676572006d6d617000706f7374006c6962632e736f2e3600 {
    strings:
        $a = {6967676572006d6d617000706f7374006c6962632e736f2e3600}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c60500d3 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c60500d3}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c60540b3050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c60540b3050801}
    condition:
        all of them
}

rule AUTO_e689df66c704240200c74424040808080866c74424020035e869 {
    strings:
        $a = {e689df66c704240200c74424040808080866c74424020035e869}
    condition:
        all of them
}

rule AUTO_697468207368656c6c636f64652e00256400000000005b2b5d20 {
    strings:
        $a = {697468207368656c6c636f64652e00256400000000005b2b5d20}
    condition:
        all of them
}

rule AUTO_c14014400048c7c755124000e827fffffff4660f1f440000b8c7 {
    strings:
        $a = {c14014400048c7c755124000e827fffffff4660f1f440000b8c7}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424bc450508e8057ffbf7c605a058050801 {
    strings:
        $a = {00000085c0740cc70424bc450508e8057ffbf7c605a058050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc7042464d50508e8057ffbf7c605002e060801 {
    strings:
        $a = {00000085c0740cc7042464d50508e8057ffbf7c605002e060801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc7042464b00508e8057ffbf7c60580c5050801 {
    strings:
        $a = {00000085c0740cc7042464b00508e8057ffbf7c60580c5050801}
    condition:
        all of them
}

rule AUTO_4b030000b80000000085c0740cc704242cc90b08e836e0f8f78b {
    strings:
        $a = {4b030000b80000000085c0740cc704242cc90b08e836e0f8f78b}
    condition:
        all of them
}

rule AUTO_4889dfe8qqqqfdffeba348c7c0c8ffffff64c70016000000488b {
    strings:
        $a = {4889dfe8????fdffeba348c7c0c8ffffff64c70016000000488b}
    condition:
        all of them
}

rule AUTO_c7c06013400048c7c17013400048c7c7qqqq4000e8e7fefffff4 {
    strings:
        $a = {c7c06013400048c7c17013400048c7c7????4000e8e7fefffff4}
    condition:
        all of them
}

rule AUTO_49c7c07015400048c7c10015400048c7c7bd0b4000e807ffffff {
    strings:
        $a = {49c7c07015400048c7c10015400048c7c7bd0b4000e807ffffff}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6052066050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6052066050801}
    condition:
        all of them
}

rule AUTO_6c6c29002d63007368002f62696e2f736800000000ffffffffff {
    strings:
        $a = {6c6c29002d63007368002f62696e2f736800000000ffffffffff}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605qq85050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605??85050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c60580b2 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c60580b2}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0608e8057ffbf7c6054050070801 {
    strings:
        $a = {00000085c0740cc70424????0608e8057ffbf7c6054050070801}
    condition:
        all of them
}

rule AUTO_0085befbdbb7c03ec70424qqqq2ae8057ffbf7c6056901c9c38d {
    strings:
        $a = {0085befbdbb7c03ec70424????2ae8057ffbf7c6056901c9c38d}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qq610508e8047ffbf783c410c605qqqq {
    strings:
        $a = {000085c0741083ec0c68??610508e8047ffbf783c410c605????}
    condition:
        all of them
}

rule AUTO_2025642062797465207368656c6c636f6465202a2f0a0022005c {
    strings:
        $a = {2025642062797465207368656c6c636f6465202a2f0a0022005c}
    condition:
        all of them
}

rule AUTO_000000000000ebqq5931c050682f2f7368682f62696e89e35066 {
    strings:
        $a = {000000000000eb??5931c050682f2f7368682f62696e89e35066}
    condition:
        all of them
}

rule AUTO_c1qqqq400048c7c791454000e807fdfffff490904883ec08488b {
    strings:
        $a = {c1????400048c7c791454000e807fdfffff490904883ec08488b}
    condition:
        all of them
}

rule AUTO_0fb7d0488d85c0efffff89d64889c7e8qqqqffff488b55qq6689 {
    strings:
        $a = {0fb7d0488d85c0efffff89d64889c7e8????ffff488b55??6689}
    condition:
        all of them
}

rule AUTO_ff740985d27e0583fa407e1db8e4ffffff65c70016000000b8ff {
    strings:
        $a = {ff740985d27e0583fa407e1db8e4ffffff65c70016000000b8ff}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605e056 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605e056}
    condition:
        all of them
}

rule AUTO_d11d4f83688ce45ce4d05c68515607f407a2f451d1ffffffff8d {
    strings:
        $a = {d11d4f83688ce45ce4d05c68515607f407a2f451d1ffffffff8d}
    condition:
        all of them
}

rule AUTO_20706f696e74657220746f207368656c6c636f64650a73797374 {
    strings:
        $a = {20706f696e74657220746f207368656c6c636f64650a73797374}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605a031050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605a031050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605qq54 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605??54}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6058085050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6058085050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605a0a0050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605a0a0050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c60580e3050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c60580e3050801}
    condition:
        all of them
}

rule AUTO_f685c053741083ec0c68a00e8a08e83370fbf783c4108b1d18f0 {
    strings:
        $a = {f685c053741083ec0c68a00e8a08e83370fbf783c4108b1d18f0}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6058053050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6058053050801}
    condition:
        all of them
}

rule AUTO_0fb7d0488d85f0efffff89d64889c7e8qqqqffff89c2488b85c8 {
    strings:
        $a = {0fb7d0488d85f0efffff89d64889c7e8????ffff89c2488b85c8}
    condition:
        all of them
}

rule AUTO_45d00fb740020fb7d0488d85b0efffff89d64889c7e8qqf9ffff {
    strings:
        $a = {45d00fb740020fb7d0488d85b0efffff89d64889c7e8??f9ffff}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605e043050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605e043050801}
    condition:
        all of them
}

rule AUTO_c15010400048c7c7d50d4000e8effefffff490904883ec08488b {
    strings:
        $a = {c15010400048c7c7d50d4000e8effefffff490904883ec08488b}
    condition:
        all of them
}

rule AUTO_c0741083ec0c6848d40a08e8857efbf783c410c60500e10a0801 {
    strings:
        $a = {c0741083ec0c6848d40a08e8857efbf783c410c60500e10a0801}
    condition:
        all of them
}

rule AUTO_6b6574002d69007368002f62696e2f7368000000000000000000 {
    strings:
        $a = {6b6574002d69007368002f62696e2f7368000000000000000000}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6054045050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6054045050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605e082050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605e082050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qq280508e8047ffbf783c410c605qq39 {
    strings:
        $a = {000085c0741083ec0c68??280508e8047ffbf783c410c605??39}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605a050050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605a050050801}
    condition:
        all of them
}

rule AUTO_c18014400048c7c7c2134000e8d7fefffff4660f1f440000b8qq {
    strings:
        $a = {c18014400048c7c7c2134000e8d7fefffff4660f1f440000b8??}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605a052 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605a052}
    condition:
        all of them
}

rule AUTO_0266d1e80fb7d0488d8590dfffff89d64889c7e88ffcffff488b {
    strings:
        $a = {0266d1e80fb7d0488d8590dfffff89d64889c7e88ffcffff488b}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c6800qq0508e8qqqqfbf783c410c605a0 {
    strings:
        $a = {00000085c0741083ec0c6800??0508e8????fbf783c410c605a0}
    condition:
        all of them
}

rule AUTO_5424104889442410488b4510483345300f165424100f29942470 {
    strings:
        $a = {5424104889442410488b4510483345300f165424100f29942470}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605c0a4050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605c0a4050801}
    condition:
        all of them
}

rule AUTO_0031dbb8qqffffffc704020c000000e958feffff8b45d483e804 {
    strings:
        $a = {0031dbb8??ffffffc704020c000000e958feffff8b45d483e804}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c687c950b08e8717efbf783c410c605c0 {
    strings:
        $a = {00000085c0741083ec0c687c950b08e8717efbf783c410c605c0}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605a057050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605a057050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605c0qq050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605c0??050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605qq72050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605??72050801}
    condition:
        all of them
}

rule AUTO_000000000003000000010002005368656c6c636f6465204c656e {
    strings:
        $a = {000000000003000000010002005368656c6c636f6465204c656e}
    condition:
        all of them
}

rule AUTO_706f6e736500737368002f62696e2f7368007265616c70617468 {
    strings:
        $a = {706f6e736500737368002f62696e2f7368007265616c70617468}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qq430508e8047ffbf783c410c605qq55 {
    strings:
        $a = {000085c0741083ec0c68??430508e8047ffbf783c410c605??55}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c683ca60408e86b76fbf783c410c9c390 {
    strings:
        $a = {00000085c0741083ec0c683ca60408e86b76fbf783c410c9c390}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605qq53 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605??53}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c6056061 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c6056061}
    condition:
        all of them
}

rule AUTO_400048c7c1e017400048c7c7fd164000e84ffefffff490904883 {
    strings:
        $a = {400048c7c1e017400048c7c7fd164000e84ffefffff490904883}
    condition:
        all of them
}

rule AUTO_c15015400048c7c745104000e8c7fefffff490904883ec08488b {
    strings:
        $a = {c15015400048c7c745104000e8c7fefffff490904883ec08488b}
    condition:
        all of them
}

rule AUTO_c19015400048c7c7cc144000e8d7fefffff4660f1f440000b8qq {
    strings:
        $a = {c19015400048c7c7cc144000e8d7fefffff4660f1f440000b8??}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c6820610508e8047ffbf783c410c605qqqq {
    strings:
        $a = {000085c0741083ec0c6820610508e8047ffbf783c410c605????}
    condition:
        all of them
}

rule AUTO_007507b800000000eb6c83ec0468001000006a008d85f4efffff {
    strings:
        $a = {007507b800000000eb6c83ec0468001000006a008d85f4efffff}
    condition:
        all of them
}

rule AUTO_0000000085c0740cc70424qqqq0608e8057ffbf7c60520450608 {
    strings:
        $a = {0000000085c0740cc70424????0608e8057ffbf7c60520450608}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqq0508e8057ffbf783c410c60500 {
    strings:
        $a = {00000085c0741083ec0c68????0508e8057ffbf783c410c60500}
    condition:
        all of them
}

rule AUTO_49c7c0a010400048c7c1b010400048c7c78d0d4000e8affeffff {
    strings:
        $a = {49c7c0a010400048c7c1b010400048c7c78d0d4000e8affeffff}
    condition:
        all of them
}

rule AUTO_6bb7ef420085c074102b0c682616e8047ffbf783b1efedf7c410 {
    strings:
        $a = {6bb7ef420085c074102b0c682616e8047ffbf783b1efedf7c410}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qq550508e8057ffbf7c605a068050801 {
    strings:
        $a = {00000085c0740cc70424??550508e8057ffbf7c605a068050801}
    condition:
        all of them
}

rule AUTO_d1e80fb7d0488d8590dfffff89d64889c7e8b1fcffff488b55b8 {
    strings:
        $a = {d1e80fb7d0488d8590dfffff89d64889c7e8b1fcffff488b55b8}
    condition:
        all of them
}

rule AUTO_64283029002d7368002f62696e2f6261736800736865657000qq {
    strings:
        $a = {64283029002d7368002f62696e2f6261736800736865657000??}
    condition:
        all of them
}

rule AUTO_49c7c0c034400048c7c1d034400048c7c7322a4000e8affdffff {
    strings:
        $a = {49c7c0c034400048c7c1d034400048c7c7322a4000e8affdffff}
    condition:
        all of them
}

rule AUTO_f0505452689084040868a08404085156684c840408e8cfffffff {
    strings:
        $a = {f0505452689084040868a08404085156684c840408e8cfffffff}
    condition:
        all of them
}

rule AUTO_73f804660f70c9aa660fefe0660f73f804660f6ff1660fefe066 {
    strings:
        $a = {73f804660f70c9aa660fefe0660f73f804660f6ff1660fefe066}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424547c0608e8057ffbf7c605c094060801 {
    strings:
        $a = {00000085c0740cc70424547c0608e8057ffbf7c605c094060801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68e0040508e8047ffbf783c410c605e015 {
    strings:
        $a = {000085c0741083ec0c68e0040508e8047ffbf783c410c605e015}
    condition:
        all of them
}

rule AUTO_01ca48f7d04831d04c85c074e5403871f8488d41f8744a403871 {
    strings:
        $a = {01ca48f7d04831d04c85c074e5403871f8488d41f8744a403871}
    condition:
        all of them
}

rule AUTO_0000000085c0740cc704244c720508e8e57efbf7c605c07a0508 {
    strings:
        $a = {0000000085c0740cc704244c720508e8e57efbf7c605c07a0508}
    condition:
        all of them
}

rule AUTO_400048c7c16017400048c7c7qq164000e867fefffff490904883 {
    strings:
        $a = {400048c7c16017400048c7c7??164000e867fefffff490904883}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0608e8057ffbf7c605a025060801 {
    strings:
        $a = {00000085c0740cc70424????0608e8057ffbf7c605a025060801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424e4ab0508e8057ffbf7c605qqqq050801 {
    strings:
        $a = {00000085c0740cc70424e4ab0508e8057ffbf7c605????050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c6050033 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c6050033}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6052003060801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6052003060801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0408e8057ffbf7c605a0e0040801 {
    strings:
        $a = {00000085c0740cc70424????0408e8057ffbf7c605a0e0040801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605a054050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605a054050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605qq52060801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605??52060801}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqq0508e85b73fbf783c410c60580 {
    strings:
        $a = {00000085c0741083ec0c68????0508e85b73fbf783c410c60580}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0608e8057ffbf7c6056058060801 {
    strings:
        $a = {00000085c0740cc70424????0608e8057ffbf7c6056058060801}
    condition:
        all of them
}

rule AUTO_260083c40c31c05b5e5f5dc3b8d4ffffff65c7000c000000b8ff {
    strings:
        $a = {260083c40c31c05b5e5f5dc3b8d4ffffff65c7000c000000b8ff}
    condition:
        all of them
}

rule AUTO_0000000085c0740cc70424qqqq0508e8057ffbf7c605c0530508 {
    strings:
        $a = {0000000085c0740cc70424????0508e8057ffbf7c605c0530508}
    condition:
        all of them
}

rule AUTO_8d85c0fffeff89d64889c7e8qqfcffff488b55e06689420ac785 {
    strings:
        $a = {8d85c0fffeff89d64889c7e8??fcffff488b55e06689420ac785}
    condition:
        all of them
}

rule AUTO_617465002d69007368002f62696e2f7368000000000000ffffff {
    strings:
        $a = {617465002d69007368002f62696e2f7368000000000000ffffff}
    condition:
        all of them
}

rule AUTO_74792c20627965210a002f62696e2f7368000000000000qqqqff {
    strings:
        $a = {74792c20627965210a002f62696e2f7368000000000000????ff}
    condition:
        all of them
}

rule AUTO_c16019400048c7c78b184000e867fefffff4660f1f440000b8qq {
    strings:
        $a = {c16019400048c7c78b184000e867fefffff4660f1f440000b8??}
    condition:
        all of them
}

rule AUTO_c19033400048c7c77a2b4000e857fdfffff490904883ec08488b {
    strings:
        $a = {c19033400048c7c77a2b4000e857fdfffff490904883ec08488b}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605qq11 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605??11}
    condition:
        all of them
}

rule AUTO_00000085c0740cc7042424a40508e8057ffbf7c605qqqqqq0801 {
    strings:
        $a = {00000085c0740cc7042424a40508e8057ffbf7c605??????0801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605e092050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605e092050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c60540b1050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c60540b1050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605e0eb050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605e0eb050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c60580d3050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c60580d3050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605a021 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605a021}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605e0e3 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605e0e3}
    condition:
        all of them
}

rule AUTO_6c002d690062617368002f62696e2f6261736800002d2d2d2d2d {
    strings:
        $a = {6c002d690062617368002f62696e2f6261736800002d2d2d2d2d}
    condition:
        all of them
}

rule AUTO_c1500f400048c7c77f0c4000e8effefffff490904883ec08488b {
    strings:
        $a = {c1500f400048c7c77f0c4000e8effefffff490904883ec08488b}
    condition:
        all of them
}

rule AUTO_6f74207368656c6c21002f62696e2f7368000000005b2d5d2066 {
    strings:
        $a = {6f74207368656c6c21002f62696e2f7368000000005b2d5d2066}
    condition:
        all of them
}

rule AUTO_0005000000e9a800000083fd02751c807b01057516c605qqqq20 {
    strings:
        $a = {0005000000e9a800000083fd02751c807b01057516c605????20}
    condition:
        all of them
}

rule AUTO_c1004d400048c7c775454000e8b7fdfffff4660f1f440000b8qq {
    strings:
        $a = {c1004d400048c7c775454000e8b7fdfffff4660f1f440000b8??}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c60580a4 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c60580a4}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqq0508e8147ffbf783c410c60520 {
    strings:
        $a = {00000085c0741083ec0c68????0508e8147ffbf783c410c60520}
    condition:
        all of them
}

rule AUTO_742025733b63686d6f64202b73202573002f62696e2f7368005c {
    strings:
        $a = {742025733b63686d6f64202b73202573002f62696e2f7368005c}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6058094050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6058094050801}
    condition:
        all of them
}

rule AUTO_400048c7c1qqqq400048c7c7540a4000e807fffffff490904883 {
    strings:
        $a = {400048c7c1????400048c7c7540a4000e807fffffff490904883}
    condition:
        all of them
}

rule AUTO_1085c089c3791c50f7db6a0468qq8304086a01e8e7feffff891c {
    strings:
        $a = {1085c089c3791c50f7db6a0468??8304086a01e8e7feffff891c}
    condition:
        all of them
}

rule AUTO_c1001a400048c7c7d9154000e8c7fefffff490904883ec08488b {
    strings:
        $a = {c1001a400048c7c7d9154000e8c7fefffff490904883ec08488b}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c60500e5050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c60500e5050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c6056021 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c6056021}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605c083 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605c083}
    condition:
        all of them
}

rule AUTO_2d73796d626f6c732e68002f7573722f7372632f726564686174 {
    strings:
        $a = {2d73796d626f6c732e68002f7573722f7372632f726564686174}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6058003060801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6058003060801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c6054043 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c6054043}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6058039050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6058039050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6058066050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6058066050801}
    condition:
        all of them
}

rule AUTO_efd8660f73f80466440fefd8660f73f80466440fefd866440fef {
    strings:
        $a = {efd8660f73f80466440fefd8660f73f80466440fefd866440fef}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0608e8057ffbf7c605e033060801 {
    strings:
        $a = {00000085c0740cc70424????0608e8057ffbf7c605e033060801}
    condition:
        all of them
}

rule AUTO_f050545268308904086800890408515668ca870408e8e3feffff {
    strings:
        $a = {f050545268308904086800890408515668ca870408e8e3feffff}
    condition:
        all of them
}

rule AUTO_72315f73746174650073736c5f68656c6c6f5f73736c76335f74 {
    strings:
        $a = {72315f73746174650073736c5f68656c6c6f5f73736c76335f74}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605a0d4050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605a0d4050801}
    condition:
        all of them
}

rule AUTO_d1b03fcd804180f90375f652686e2f7368682f2f626989e35253 {
    strings:
        $a = {d1b03fcd804180f90375f652686e2f7368682f2f626989e35253}
    condition:
        all of them
}

rule AUTO_qq6cqq0d0a0073797374656d0d0a002f62696e2f62757379626f {
    strings:
        $a = {??6c??0d0a0073797374656d0d0a002f62696e2f62757379626f}
    condition:
        all of them
}

rule AUTO_1085c0740cc7042460cc0a08e8a174fbf78b1d14b00a0885db74 {
    strings:
        $a = {1085c0740cc7042460cc0a08e8a174fbf78b1d14b00a0885db74}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c60580a3 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c60580a3}
    condition:
        all of them
}

rule AUTO_ffb7770085c074102b0c68qqqq0408e8047ffbf783c410c60558 {
    strings:
        $a = {ffb7770085c074102b0c68????0408e8047ffbf783c410c60558}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c6820840508e8047ffbf783c410c605e095 {
    strings:
        $a = {000085c0741083ec0c6820840508e8047ffbf783c410c605e095}
    condition:
        all of them
}

rule AUTO_c3000000000000006c6f63616c686f7374002f62696e2f736800 {
    strings:
        $a = {c3000000000000006c6f63616c686f7374002f62696e2f736800}
    condition:
        all of them
}

rule AUTO_0a007368656c6c0d0a0073680d0a002f62696e2f62757379626f {
    strings:
        $a = {0a007368656c6c0d0a0073680d0a002f62696e2f62757379626f}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68807c0508e8047ffbf783c410c605a081 {
    strings:
        $a = {000085c0741083ec0c68807c0508e8047ffbf783c410c605a081}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqe60408e8047ffbf783c410c60540f8 {
    strings:
        $a = {000085c0741083ec0c68??e60408e8047ffbf783c410c60540f8}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6050093050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6050093050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605a012 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605a012}
    condition:
        all of them
}

rule AUTO_d11d4f83688ce45ce4d05c68515607f407a2f451ffffffffd18d {
    strings:
        $a = {d11d4f83688ce45ce4d05c68515607f407a2f451ffffffffd18d}
    condition:
        all of them
}

rule AUTO_00000085c0740cc7042424qq0508e8057ffbf7c605a0e7050801 {
    strings:
        $a = {00000085c0740cc7042424??0508e8057ffbf7c605a0e7050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c6052043 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c6052043}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c60560d6050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c60560d6050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6050076050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6050076050801}
    condition:
        all of them
}

rule AUTO_qq003132330070002f726f6f74002f62696e2f62617368006e65 {
    strings:
        $a = {??003132330070002f726f6f74002f62696e2f62617368006e65}
    condition:
        all of them
}

rule AUTO_0000000085c0740cc70424qqqq0508e8057ffbf7c605e0830508 {
    strings:
        $a = {0000000085c0740cc70424????0508e8057ffbf7c605e0830508}
    condition:
        all of them
}

rule AUTO_f050545268b889040868648904085156680f870408e87fffffff {
    strings:
        $a = {f050545268b889040868648904085156680f870408e87fffffff}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605c082 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605c082}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68c0560508e8047ffbf783c410c605qqqq {
    strings:
        $a = {000085c0741083ec0c68c0560508e8047ffbf783c410c605????}
    condition:
        all of them
}

rule AUTO_0fb7d0488d85c0efffff89d64889c7e805e7ffff488b55c86689 {
    strings:
        $a = {0fb7d0488d85c0efffff89d64889c7e805e7ffff488b55c86689}
    condition:
        all of them
}

rule AUTO_ff0fb740020fb7d0488d85e0efffff89d64889c7e8qqqqffff89 {
    strings:
        $a = {ff0fb740020fb7d0488d85e0efffff89d64889c7e8????ffff89}
    condition:
        all of them
}

rule AUTO_897dfc85f67405803e007525b8e8ffffff65c70016000000b8ff {
    strings:
        $a = {897dfc85f67405803e007525b8e8ffffff65c70016000000b8ff}
    condition:
        all of them
}

rule AUTO_7419b80000000085c0741083ec0c6844a30408e80f78fbf783c4 {
    strings:
        $a = {7419b80000000085c0741083ec0c6844a30408e80f78fbf783c4}
    condition:
        all of them
}

rule AUTO_006563686f202723212f62696e2f6261736827203e3e202f6574 {
    strings:
        $a = {006563686f202723212f62696e2f6261736827203e3e202f6574}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424ec230508e8057ffbf7c6050037050801 {
    strings:
        $a = {00000085c0740cc70424ec230508e8057ffbf7c6050037050801}
    condition:
        all of them
}

rule AUTO_8955005b5e5f5dc38d742600b8e8ffffff65c70016000000b8ff {
    strings:
        $a = {8955005b5e5f5dc38d742600b8e8ffffff65c70016000000b8ff}
    condition:
        all of them
}

rule AUTO_666f70735f6c736d5f7368656c6c636f646500706f6c6c404047 {
    strings:
        $a = {666f70735f6c736d5f7368656c6c636f646500706f6c6c404047}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68e0350508e8047ffbf783c410c605qqqq {
    strings:
        $a = {000085c0741083ec0c68e0350508e8047ffbf783c410c605????}
    condition:
        all of them
}

rule AUTO_000000b8d0ffffffc7040216000000baffffffffebb5b8d0ffff {
    strings:
        $a = {000000b8d0ffffffc7040216000000baffffffffebb5b8d0ffff}
    condition:
        all of them
}

rule AUTO_f30f7e7424604889542460488b5110483351300f167424604889 {
    strings:
        $a = {f30f7e7424604889542460488b5110483351300f167424604889}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c6058042 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c6058042}
    condition:
        all of them
}

rule AUTO_837d10007f2083ec04ff750c687fca0408ff7508e8e5e2ffff83 {
    strings:
        $a = {837d10007f2083ec04ff750c687fca0408ff7508e8e5e2ffff83}
    condition:
        all of them
}

rule AUTO_d1e80fb7d0488d85b0efffff89d64889c7e830fcffff488b55b8 {
    strings:
        $a = {d1e80fb7d0488d85b0efffff89d64889c7e830fcffff488b55b8}
    condition:
        all of them
}

rule AUTO_49c7c0c014400048c7c15014400048c7c7qq114000e807ffffff {
    strings:
        $a = {49c7c0c014400048c7c15014400048c7c7??114000e807ffffff}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605qq95050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605??95050801}
    condition:
        all of them
}

rule AUTO_c9b3qqb102b03fcd8031c050686e2f7368682f2f626989e331d2 {
    strings:
        $a = {c9b3??b102b03fcd8031c050686e2f7368682f2f626989e331d2}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c60560b4050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c60560b4050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6056054050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6056054050801}
    condition:
        all of them
}

rule AUTO_fe6fdfde0085c074102b0c68qqqq16e8047ffbf783c410c6052c {
    strings:
        $a = {fe6fdfde0085c074102b0c68????16e8047ffbf783c410c6052c}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c6800qq0508e8qqqqfbf783c410c605e0 {
    strings:
        $a = {00000085c0741083ec0c6800??0508e8????fbf783c410c605e0}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6058073050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6058073050801}
    condition:
        all of them
}

rule AUTO_25732c2068617368426c6f636b3d257329000000000000000052 {
    strings:
        $a = {25732c2068617368426c6f636b3d257329000000000000000052}
    condition:
        all of them
}

rule AUTO_c19014400048c7c7c7134000e8d7fefffff4660f1f440000b8qq {
    strings:
        $a = {c19014400048c7c7c7134000e8d7fefffff4660f1f440000b8??}
    condition:
        all of them
}

rule AUTO_652829002d69007368002f62696e2f73680000000000000000ff {
    strings:
        $a = {652829002d69007368002f62696e2f73680000000000000000ff}
    condition:
        all of them
}

rule AUTO_61696e002d69007368002f62696e2f73680000000000000000ff {
    strings:
        $a = {61696e002d69007368002f62696e2f73680000000000000000ff}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0608e8057ffbf7c605406b060801 {
    strings:
        $a = {00000085c0740cc70424????0608e8057ffbf7c605406b060801}
    condition:
        all of them
}

rule AUTO_000085c0740cc70424qqqq0508e8057ffbf7c605qqqq050801c9 {
    strings:
        $a = {000085c0740cc70424????0508e8057ffbf7c605????050801c9}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605c071 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605c071}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605e0a4050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605e0a4050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c6880070508e8047ffbf783c410c605qqqq {
    strings:
        $a = {000085c0741083ec0c6880070508e8047ffbf783c410c605????}
    condition:
        all of them
}

rule AUTO_68408704086850870408515668qq860408e82bfffffff4909090 {
    strings:
        $a = {68408704086850870408515668??860408e82bfffffff4909090}
    condition:
        all of them
}

rule AUTO_0000000085c0740cc70424a0f90508e8057ffbf7c605c0510608 {
    strings:
        $a = {0000000085c0740cc70424a0f90508e8057ffbf7c605c0510608}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605a023 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605a023}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c60500e5 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c60500e5}
    condition:
        all of them
}

rule AUTO_000000e9e000000083fd02751c807b01057516c605qqqq200001 {
    strings:
        $a = {000000e9e000000083fd02751c807b01057516c605????200001}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605e062 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605e062}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605e061 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605e061}
    condition:
        all of them
}

rule AUTO_e80fb7d0488d85f0dfffff89d64889c7e8qqqqffff89c2488b85 {
    strings:
        $a = {e80fb7d0488d85f0dfffff89d64889c7e8????ffff89c2488b85}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c60560a8050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c60560a8050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqff0408e8047ffbf783c410c605qqqq {
    strings:
        $a = {000085c0741083ec0c68??ff0408e8047ffbf783c410c605????}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68d4qq1e08e8047ffbf783c410c60500 {
    strings:
        $a = {00000085c0741083ec0c68d4??1e08e8047ffbf783c410c60500}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6056006060801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6056006060801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqfa0408e8047ffbf783c410c605qqqq {
    strings:
        $a = {000085c0741083ec0c68??fa0408e8047ffbf783c410c605????}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605c0b4 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605c0b4}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605a0b5 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605a0b5}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqq0508e8qq7efbf783c410c605e0 {
    strings:
        $a = {00000085c0741083ec0c68????0508e8??7efbf783c410c605e0}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68a0290508e8047ffbf783c410c605a031 {
    strings:
        $a = {000085c0741083ec0c68a0290508e8047ffbf783c410c605a031}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c6054048 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c6054048}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqq0508e8f57efbf783c410c60520 {
    strings:
        $a = {00000085c0741083ec0c68????0508e8f57efbf783c410c60520}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6052068050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6052068050801}
    condition:
        all of them
}

rule AUTO_c0740cc70424a47a0508e8057ffbf7c605a084050801c9c38db6 {
    strings:
        $a = {c0740cc70424a47a0508e8057ffbf7c605a084050801c9c38db6}
    condition:
        all of them
}

rule AUTO_ebb8000085c074102b0c68qqqq16e8047ffbf783b1efedf7c410 {
    strings:
        $a = {ebb8000085c074102b0c68????16e8047ffbf783b1efedf7c410}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6054048060801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6054048060801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c6058075 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c6058075}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c6056033 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c6056033}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605c010 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605c010}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68e0900508e8047ffbf783c410c605qqqq {
    strings:
        $a = {000085c0741083ec0c68e0900508e8047ffbf783c410c605????}
    condition:
        all of them
}

rule AUTO_00000085c0740cc7042440f50508e8057ffbf7c6056004060801 {
    strings:
        $a = {00000085c0740cc7042440f50508e8057ffbf7c6056004060801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c6820230508e8047ffbf783c410c605qqqq {
    strings:
        $a = {000085c0741083ec0c6820230508e8047ffbf783c410c605????}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c60580e2050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c60580e2050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605a054 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605a054}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqq0508e8147ffbf783c410c605c0 {
    strings:
        $a = {00000085c0741083ec0c68????0508e8147ffbf783c410c605c0}
    condition:
        all of them
}

rule AUTO_63686f776e206e6f206a75747375210a002f62696e2f6c73202d {
    strings:
        $a = {63686f776e206e6f206a75747375210a002f62696e2f6c73202d}
    condition:
        all of them
}

rule AUTO_0000003400200001002800080005000100000000000000008004 {
    strings:
        $a = {0000003400200001002800080005000100000000000000008004}
    condition:
        all of them
}

rule AUTO_0000000085c0740cc70424qqqq0508e8057ffbf7c60520830508 {
    strings:
        $a = {0000000085c0740cc70424????0508e8057ffbf7c60520830508}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6052084050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6052084050801}
    condition:
        all of them
}

rule AUTO_qqqqqq00777269746500706f7374006c6962632e736f2e36005f {
    strings:
        $a = {??????00777269746500706f7374006c6962632e736f2e36005f}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqd60508e8057ffbf7c60540b6060801 {
    strings:
        $a = {00000085c0740cc70424??d60508e8057ffbf7c60540b6060801}
    condition:
        all of them
}

rule AUTO_c1e015400048c7c71d154000e8b7fefffff4660f1f440000b8qq {
    strings:
        $a = {c1e015400048c7c71d154000e8b7fefffff4660f1f440000b8??}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qq930508e8057ffbf7c605qqqq050801 {
    strings:
        $a = {00000085c0740cc70424??930508e8057ffbf7c605????050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6050095050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6050095050801}
    condition:
        all of them
}

rule AUTO_04e889de010085db740cc704242cdc1108e8d9b6f4f78b5dc485 {
    strings:
        $a = {04e889de010085db740cc704242cdc1108e8d9b6f4f78b5dc485}
    condition:
        all of them
}

rule AUTO_400048c7c13017400048c7c7ab114000e8qqfefffff4660f1f44 {
    strings:
        $a = {400048c7c13017400048c7c7ab114000e8??fefffff4660f1f44}
    condition:
        all of them
}

rule AUTO_4883c008488b10488d85e0ebffff4889d64889c7e8qqqqffffc7 {
    strings:
        $a = {4883c008488b10488d85e0ebffff4889d64889c7e8????ffffc7}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605c072 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605c072}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6056065050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6056065050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605a071 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605a071}
    condition:
        all of them
}

rule AUTO_0000000000000000000000340020000300000000000000010000 {
    strings:
        $a = {0000000000000000000000340020000300000000000000010000}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqe60408e8047ffbf783c410c60560f8 {
    strings:
        $a = {000085c0741083ec0c68??e60408e8047ffbf783c410c60560f8}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qq4f0608e8057ffbf7c6054051060801 {
    strings:
        $a = {00000085c0740cc70424??4f0608e8057ffbf7c6054051060801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc7042420010608e8057ffbf7c605qq59060801 {
    strings:
        $a = {00000085c0740cc7042420010608e8057ffbf7c605??59060801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68a0430508e8047ffbf783c410c6050055 {
    strings:
        $a = {000085c0741083ec0c68a0430508e8047ffbf783c410c6050055}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605e0b3050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605e0b3050801}
    condition:
        all of them
}

rule AUTO_7665725f636572740083qq000073736c5f68656c6c6f5f73697a {
    strings:
        $a = {7665725f636572740083??000073736c5f68656c6c6f5f73697a}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c60500e4 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c60500e4}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qq210508e8047ffbf783c410c6052032 {
    strings:
        $a = {000085c0741083ec0c68??210508e8047ffbf783c410c6052032}
    condition:
        all of them
}

rule AUTO_e80fb7d0488d85c0dfffff89d64889c7e8qqqqffff488b55e866 {
    strings:
        $a = {e80fb7d0488d85c0dfffff89d64889c7e8????ffff488b55e866}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6050039050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6050039050801}
    condition:
        all of them
}

rule AUTO_000085c0740cc70424qqqq0508e8057ffbf7c605qq74050801c9 {
    strings:
        $a = {000085c0740cc70424????0508e8057ffbf7c605??74050801c9}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0608e8057ffbf7c605qqqq060801 {
    strings:
        $a = {00000085c0740cc70424????0608e8057ffbf7c605????060801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605a098 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605a098}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605qq33 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605??33}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qq070508e8057ffbf7c605qqqq050801 {
    strings:
        $a = {00000085c0740cc70424??070508e8057ffbf7c605????050801}
    condition:
        all of them
}

rule AUTO_0fb740020fb7d0488d85c0fffeff89d64889c7e8qqfcffff488b {
    strings:
        $a = {0fb740020fb7d0488d85c0fffeff89d64889c7e8??fcffff488b}
    condition:
        all of them
}

rule AUTO_00000085c0740cc7042424f30508e8057ffbf7c605c016060801 {
    strings:
        $a = {00000085c0740cc7042424f30508e8057ffbf7c605c016060801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424447a0508e8057ffbf7c605408e050801 {
    strings:
        $a = {00000085c0740cc70424447a0508e8057ffbf7c605408e050801}
    condition:
        all of them
}

rule AUTO_7420666f726b207074792c20627965210a002f62696e2f736800 {
    strings:
        $a = {7420666f726b207074792c20627965210a002f62696e2f736800}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c60580d4050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c60580d4050801}
    condition:
        all of them
}

rule AUTO_0000000085c0740cc7042444d40508e8057ffbf7c605c0e80508 {
    strings:
        $a = {0000000085c0740cc7042444d40508e8057ffbf7c605c0e80508}
    condition:
        all of them
}

rule AUTO_617274007368656c6c636f6465005f656e64007374646f757440 {
    strings:
        $a = {617274007368656c6c636f6465005f656e64007374646f757440}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605c0a1 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605c0a1}
    condition:
        all of them
}

rule AUTO_c349b03fcd8041e2f4b00b51686e2f7368682f2f626989e35153 {
    strings:
        $a = {c349b03fcd8041e2f4b00b51686e2f7368682f2f626989e35153}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605c042050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605c042050801}
    condition:
        all of them
}

rule AUTO_0a003132330070002f726f6f74002f62696e2f62617368006e65 {
    strings:
        $a = {0a003132330070002f726f6f74002f62696e2f62617368006e65}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qq4b0608e8057ffbf7c605e055060801 {
    strings:
        $a = {00000085c0740cc70424??4b0608e8057ffbf7c605e055060801}
    condition:
        all of them
}

rule AUTO_400048c7c1d013400048c7c75a114000e8dffefffff490904883 {
    strings:
        $a = {400048c7c1d013400048c7c75a114000e8dffefffff490904883}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6058084050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6058084050801}
    condition:
        all of them
}

rule AUTO_000085c0740cc70424qqqq0508e8057ffbf7c6050068050801c9 {
    strings:
        $a = {000085c0740cc70424????0508e8057ffbf7c6050068050801c9}
    condition:
        all of them
}

rule AUTO_cd804131c0b03fcd8031db53686e2f7368682f2f626989e38d54 {
    strings:
        $a = {cd804131c0b03fcd8031db53686e2f7368682f2f626989e38d54}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0408e8047ffbf783c410c605a000 {
    strings:
        $a = {000085c0741083ec0c68????0408e8047ffbf783c410c605a000}
    condition:
        all of them
}

rule AUTO_00000085c0740cc7042484d70508e8057ffbf7c605e0f5050801 {
    strings:
        $a = {00000085c0740cc7042484d70508e8057ffbf7c605e0f5050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605c082050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605c082050801}
    condition:
        all of them
}

rule AUTO_c0740cc70424qqqq0508e8057ffbf7c605a012050801c9c38db6 {
    strings:
        $a = {c0740cc70424????0508e8057ffbf7c605a012050801c9c38db6}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6050077050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6050077050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605e051 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605e051}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c6820ce0508e8047ffbf783c410c60500d3 {
    strings:
        $a = {000085c0741083ec0c6820ce0508e8047ffbf783c410c60500d3}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c60580d8050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c60580d8050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c6058063 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c6058063}
    condition:
        all of them
}

rule AUTO_0048c7c1qqqq400048c7c75d114000e8a7fefffff4660f1f4400 {
    strings:
        $a = {0048c7c1????400048c7c75d114000e8a7fefffff4660f1f4400}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c6880310508e8047ffbf783c410c6052042 {
    strings:
        $a = {000085c0741083ec0c6880310508e8047ffbf783c410c6052042}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c681cqq0508e8047ffbf783c410c6056048 {
    strings:
        $a = {000085c0741083ec0c681c??0508e8047ffbf783c410c6056048}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68e4930508e8047ffbf783c410c605qqqq {
    strings:
        $a = {000085c0741083ec0c68e4930508e8047ffbf783c410c605????}
    condition:
        all of them
}

rule AUTO_00000085c0740cc7042404c10508e8057ffbf7c605802a060801 {
    strings:
        $a = {00000085c0740cc7042404c10508e8057ffbf7c605802a060801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6056062050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6056062050801}
    condition:
        all of them
}

rule AUTO_68408a040868f889040851566837870408e85ffffffff4909055 {
    strings:
        $a = {68408a040868f889040851566837870408e85ffffffff4909055}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68e0f00508e8047ffbf783c410c6054049 {
    strings:
        $a = {000085c0741083ec0c68e0f00508e8047ffbf783c410c6054049}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c6854qq1e08e8047ffbf783c410c60580 {
    strings:
        $a = {00000085c0741083ec0c6854??1e08e8047ffbf783c410c60580}
    condition:
        all of them
}

rule AUTO_f050545268bc900408686890040851566838880408e80fffffff {
    strings:
        $a = {f050545268bc900408686890040851566838880408e80fffffff}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqd40508e8057ffbf7c605a0e8050801 {
    strings:
        $a = {00000085c0740cc70424??d40508e8057ffbf7c605a0e8050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c6820420508e8047ffbf783c410c6052055 {
    strings:
        $a = {000085c0741083ec0c6820420508e8047ffbf783c410c6052055}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68e0350508e8047ffbf783c410c6058046 {
    strings:
        $a = {000085c0741083ec0c68e0350508e8047ffbf783c410c6058046}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c6820770508e8047ffbf783c410c605c087 {
    strings:
        $a = {000085c0741083ec0c6820770508e8047ffbf783c410c605c087}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c6824db0508e8047ffbf783c410c60580f0 {
    strings:
        $a = {000085c0741083ec0c6824db0508e8047ffbf783c410c60580f0}
    condition:
        all of them
}

rule AUTO_6e203420312e353229204170706c655765624b69742f3533362e {
    strings:
        $a = {6e203420312e353229204170706c655765624b69742f3533362e}
    condition:
        all of them
}

rule AUTO_696c645f7368656c6c636f64655f6c696e75785f783836005f44 {
    strings:
        $a = {696c645f7368656c6c636f64655f6c696e75785f783836005f44}
    condition:
        all of them
}

rule AUTO_3130300073746f69002f62696e2f626173682000616c676f006a {
    strings:
        $a = {3130300073746f69002f62696e2f626173682000616c676f006a}
    condition:
        all of them
}

rule AUTO_4424488d0586c74308890424c7442404110000008d44243c8944 {
    strings:
        $a = {4424488d0586c74308890424c7442404110000008d44243c8944}
    condition:
        all of them
}

rule AUTO_e1b06650515389e143cd8052682f2f7368682f62696e89e35253 {
    strings:
        $a = {e1b06650515389e143cd8052682f2f7368682f62696e89e35253}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqq1808e8047ffbf783c410c60500 {
    strings:
        $a = {00000085c0741083ec0c68????1808e8047ffbf783c410c60500}
    condition:
        all of them
}

rule AUTO_786563202e2f696e736572745f7368656c6c636f64652025695c {
    strings:
        $a = {786563202e2f696e736572745f7368656c6c636f64652025695c}
    condition:
        all of them
}

rule AUTO_7612c7c0f8ffffff65c7001600000083c8ffeb11525250ff7424 {
    strings:
        $a = {7612c7c0f8ffffff65c7001600000083c8ffeb11525250ff7424}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605c043 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605c043}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6054033050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6054033050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c6056024 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c6056024}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605qqe9050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605??e9050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605c024 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605c024}
    condition:
        all of them
}

rule AUTO_0f70d9aa660f6fc4410f2911660f73f804660f6fc8660fefc466 {
    strings:
        $a = {0f70d9aa660f6fc4410f2911660f73f804660f6fc8660fefc466}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605e053050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605e053050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qq430508e8057ffbf7c6054057050801 {
    strings:
        $a = {00000085c0740cc70424??430508e8057ffbf7c6054057050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c6820qq0508e8047ffbf783c410c60540f1 {
    strings:
        $a = {000085c0741083ec0c6820??0508e8047ffbf783c410c60540f1}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68e0f60508e8047ffbf783c410c605qqqq {
    strings:
        $a = {000085c0741083ec0c68e0f60508e8047ffbf783c410c605????}
    condition:
        all of them
}

rule AUTO_b7dfee420085c01fc70424qqqq15e8057ffbf7c60534dff9fdfe {
    strings:
        $a = {b7dfee420085c01fc70424????15e8057ffbf7c60534dff9fdfe}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c60580f3 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c60580f3}
    condition:
        all of them
}

rule AUTO_74792c20627965210a002f62696e2f73680000000000000000ff {
    strings:
        $a = {74792c20627965210a002f62696e2f73680000000000000000ff}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qq9b0508e8047ffbf783c410c605qqqq {
    strings:
        $a = {000085c0741083ec0c68??9b0508e8047ffbf783c410c605????}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c6880030508e8047ffbf783c410c605qqqq {
    strings:
        $a = {000085c0741083ec0c6880030508e8047ffbf783c410c605????}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605a0b8050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605a0b8050801}
    condition:
        all of them
}

rule AUTO_0000000085c0740cc70424qqqq0508e8057ffbf7c60520760508 {
    strings:
        $a = {0000000085c0740cc70424????0508e8057ffbf7c60520760508}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqq0408e88f79fbf783c410c9c390 {
    strings:
        $a = {00000085c0741083ec0c68????0408e88f79fbf783c410c9c390}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqqqq08e8047ffbf783c410c6058003 {
    strings:
        $a = {000085c0741083ec0c68??????08e8047ffbf783c410c6058003}
    condition:
        all of them
}

rule AUTO_edb7bbb8420085c01fc70424qqqq15e8057ffbf7c605777ebfff {
    strings:
        $a = {edb7bbb8420085c01fc70424????15e8057ffbf7c605777ebfff}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605a0d8050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605a0d8050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68a0420508e8047ffbf783c410c6054053 {
    strings:
        $a = {000085c0741083ec0c68a0420508e8047ffbf783c410c6054053}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c6056094 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c6056094}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqff0508e8057ffbf7c605qqqq060801 {
    strings:
        $a = {00000085c0740cc70424??ff0508e8057ffbf7c605????060801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qq100508e8057ffbf7c6054021050801 {
    strings:
        $a = {00000085c0740cc70424??100508e8057ffbf7c6054021050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c6820d30508e8047ffbf783c410c60500e5 {
    strings:
        $a = {000085c0741083ec0c6820d30508e8047ffbf783c410c60500e5}
    condition:
        all of them
}

rule AUTO_006c696268656c6c6f2d6a6e692e736f00000000030000000e00 {
    strings:
        $a = {006c696268656c6c6f2d6a6e692e736f00000000030000000e00}
    condition:
        all of them
}

rule AUTO_006c696268656c6c6f2d6a6e692e736f000000030000000a0000 {
    strings:
        $a = {006c696268656c6c6f2d6a6e692e736f000000030000000a0000}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6054066050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6054066050801}
    condition:
        all of them
}

rule AUTO_6564002f726f6f74002f62696e2f6261736800000000506c6561 {
    strings:
        $a = {6564002f726f6f74002f62696e2f6261736800000000506c6561}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605e030050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605e030050801}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68d4a71e08e8047ffbf783c410c60500 {
    strings:
        $a = {00000085c0741083ec0c68d4a71e08e8047ffbf783c410c60500}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqq0508e8e47efbf783c410c605c0 {
    strings:
        $a = {00000085c0741083ec0c68????0508e8e47efbf783c410c605c0}
    condition:
        all of them
}

rule AUTO_00000085c0740cc7042460070508e8057ffbf7c605c018050801 {
    strings:
        $a = {00000085c0740cc7042460070508e8057ffbf7c605c018050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c60520b6 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c60520b6}
    condition:
        all of them
}

rule AUTO_0085c03edd777ffbc70424qqqq2ae8057ffbf7c6056901c9c38d {
    strings:
        $a = {0085c03edd777ffbc70424????2ae8057ffbf7c6056901c9c38d}
    condition:
        all of them
}

rule AUTO_68726f6f742f657865637665207368656c6c636f64650a002573 {
    strings:
        $a = {68726f6f742f657865637665207368656c6c636f64650a002573}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68a0060508e8047ffbf783c410c605qqqq {
    strings:
        $a = {000085c0741083ec0c68a0060508e8047ffbf783c410c605????}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqqq0508e8e47efbf783c410c60520 {
    strings:
        $a = {00000085c0741083ec0c68????0508e8e47efbf783c410c60520}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c6884b30508e8047ffbf783c410c605qqqq {
    strings:
        $a = {000085c0741083ec0c6884b30508e8047ffbf783c410c605????}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68a4b30508e8047ffbf783c410c605e0qq {
    strings:
        $a = {000085c0741083ec0c68a4b30508e8047ffbf783c410c605e0??}
    condition:
        all of them
}

rule AUTO_000085c0740cc70424qqqq0508e8057ffbf7c605a008060801c9 {
    strings:
        $a = {000085c0740cc70424????0508e8057ffbf7c605a008060801c9}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c6840900508e8047ffbf783c410c605qqqq {
    strings:
        $a = {000085c0741083ec0c6840900508e8047ffbf783c410c605????}
    condition:
        all of them
}

rule AUTO_00000085c0740cc7042444qq0508e8057ffbf7c605qqb4050801 {
    strings:
        $a = {00000085c0740cc7042444??0508e8057ffbf7c605??b4050801}
    condition:
        all of them
}

rule AUTO_696e645f7368656c6c636f6465005f5a54494e396e6570656e74 {
    strings:
        $a = {696e645f7368656c6c636f6465005f5a54494e396e6570656e74}
    condition:
        all of them
}

rule AUTO_000085c0740cc70424qqqq0508e8057ffbf7c60520c5050801c9 {
    strings:
        $a = {000085c0740cc70424????0508e8057ffbf7c60520c5050801c9}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6054063050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6054063050801}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c6844ba0508e8047ffbf783c410c605qqqq {
    strings:
        $a = {000085c0741083ec0c6844ba0508e8047ffbf783c410c605????}
    condition:
        all of them
}

rule AUTO_ddb8000085c074102b0c6860fc0408e8047ffbf783c410c60516 {
    strings:
        $a = {ddb8000085c074102b0c6860fc0408e8047ffbf783c410c60516}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c6052038 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c6052038}
    condition:
        all of them
}

rule AUTO_75726e20303b207d0a002f62696e2f7368000000000000000000 {
    strings:
        $a = {75726e20303b207d0a002f62696e2f7368000000000000000000}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68e4720508e8047ffbf783c410c605qqqq {
    strings:
        $a = {000085c0741083ec0c68e4720508e8047ffbf783c410c605????}
    condition:
        all of them
}

rule AUTO_00000085c0741083ec0c68qqa60408e8cb75fbf783c41089ec5d {
    strings:
        $a = {00000085c0741083ec0c68??a60408e8cb75fbf783c41089ec5d}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6058044050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6058044050801}
    condition:
        all of them
}

rule AUTO_qqqqqqqqqq006f6666736574007368656c6c636f64655f627566 {
    strings:
        $a = {??????????006f6666736574007368656c6c636f64655f627566}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c6056008 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c6056008}
    condition:
        all of them
}

rule AUTO_000085c0740cc70424qqqq0508e8057ffbf7c605e052050801c9 {
    strings:
        $a = {000085c0740cc70424????0508e8057ffbf7c605e052050801c9}
    condition:
        all of them
}

rule AUTO_c0740cc7042444a40508e8057ffbf7c605a0qqqq0801c9c38db6 {
    strings:
        $a = {c0740cc7042444a40508e8057ffbf7c605a0????0801c9c38db6}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qqqq0508e8047ffbf783c410c605c0a2 {
    strings:
        $a = {000085c0741083ec0c68????0508e8047ffbf783c410c605c0a2}
    condition:
        all of them
}

rule AUTO_000085c0741083ec0c68qq230508e8047ffbf783c410c605qqqq {
    strings:
        $a = {000085c0741083ec0c68??230508e8047ffbf783c410c605????}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c605c048060801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c605c048060801}
    condition:
        all of them
}

rule AUTO_00005c0000005e00000060000000b62c46bf056924208d89e391 {
    strings:
        $a = {00005c0000005e00000060000000b62c46bf056924208d89e391}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c60560e6050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c60560e6050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc7042440810508e8057ffbf7c6050095050801 {
    strings:
        $a = {00000085c0740cc7042440810508e8057ffbf7c6050095050801}
    condition:
        all of them
}

rule AUTO_00000085c0740cc70424qqqq0508e8057ffbf7c6054088050801 {
    strings:
        $a = {00000085c0740cc70424????0508e8057ffbf7c6054088050801}
    condition:
        all of them
}