sigs/20210803_pe.yar

rule AUTO_701dc6168d3ad55b213ed8409d27cf54ee0188caa93a49df0a34 {
    strings:
        $a = {701dc6168d3ad55b213ed8409d27cf54ee0188caa93a49df0a34}
    condition:
        all of them
}

rule AUTO_486a516b516a72574270624a7748786973725175624d704b4e4c {
    strings:
        $a = {486a516b516a72574270624a7748786973725175624d704b4e4c}
    condition:
        all of them
}

rule AUTO_00c233400002354000dc344000343540009239400092394000e2 {
    strings:
        $a = {00c233400002354000dc344000343540009239400092394000e2}
    condition:
        all of them
}

rule AUTO_66626a626a626a7666666e6e66726a727262766e726e6672666e {
    strings:
        $a = {66626a626a626a7666666e6e66726a727262766e726e6672666e}
    condition:
        all of them
}

rule AUTO_9c404000e43d4000003e40003c3e4000ecb341000e5450726f70 {
    strings:
        $a = {9c404000e43d4000003e40003c3e4000ecb341000e5450726f70}
    condition:
        all of them
}

rule AUTO_cff33ccf6064686c70783ccff33c808894a0a8f33ccff3b4b8bc {
    strings:
        $a = {cff33ccf6064686c70783ccff33c808894a0a8f33ccff3b4b8bc}
    condition:
        all of them
}

rule AUTO_00000000000000000000a0d64000b0d64000c0d64000e0d64000 {
    strings:
        $a = {00000000000000000000a0d64000b0d64000c0d64000e0d64000}
    condition:
        all of them
}

rule AUTO_000000650da387216ccdd4216ccdd4216ccdd4af73ded42b6ccd {
    strings:
        $a = {000000650da387216ccdd4216ccdd4216ccdd4af73ded42b6ccd}
    condition:
        all of them
}

rule AUTO_6a6676666672626a627672626262766e6a7262666a3438343038 {
    strings:
        $a = {6a6676666672626a627672626262766e6a7262666a3438343038}
    condition:
        all of them
}

rule AUTO_9090909090909090909090905589e583ec6c5356578d7dfdbe00 {
    strings:
        $a = {9090909090909090909090905589e583ec6c5356578d7dfdbe00}
    condition:
        all of them
}

rule AUTO_62537767516e6c57595777675a47463059554e6f645735726379 {
    strings:
        $a = {62537767516e6c57595777675a47463059554e6f645735726379}
    condition:
        all of them
}

rule AUTO_ccde814c49f77ce6c6d376f7666c863319508f8248429cce6146 {
    strings:
        $a = {ccde814c49f77ce6c6d376f7666c863319508f8248429cce6146}
    condition:
        all of them
}

rule AUTO_7d438b35ec50400085c07e0b8b55e0526a00ffd750ffd633c089 {
    strings:
        $a = {7d438b35ec50400085c07e0b8b55e0526a00ffd750ffd633c089}
    condition:
        all of them
}

rule AUTO_76626e6e6e6e626a626a6e6266626a6e6e6e6672726e66626276 {
    strings:
        $a = {76626e6e6e6e626a626a6e6266626a6e6e6e6672726e66626276}
    condition:
        all of them
}

rule AUTO_0a0a74ff0b0b77ff0b0b77ff0b0b79ff0b0b78ff0b0b77ff0a5c {
    strings:
        $a = {0a0a74ff0b0b77ff0b0b77ff0b0b79ff0b0b78ff0b0b77ff0a5c}
    condition:
        all of them
}

rule AUTO_b8890424e8e057fdff5589e583ec588965e88b4508895df48975 {
    strings:
        $a = {b8890424e8e057fdff5589e583ec588965e88b4508895df48975}
    condition:
        all of them
}

rule AUTO_af52ae6a6690aa6a6690aa6a66c5238febf48ece35c6fde32338 {
    strings:
        $a = {af52ae6a6690aa6a6690aa6a66c5238febf48ece35c6fde32338}
    condition:
        all of them
}

rule AUTO_00d41f4000d81f4000dc1f4000e01f4000e41f4000ec1f4000f8 {
    strings:
        $a = {00d41f4000d81f4000dc1f4000e01f4000e41f4000ec1f4000f8}
    condition:
        all of them
}

rule AUTO_62745767674369574a6c726476436a6453476870656268487464 {
    strings:
        $a = {62745767674369574a6c726476436a6453476870656268487464}
    condition:
        all of them
}

rule AUTO_5f5e5bqqqq5dc3909090909055545d83ec445356578d7dbcbec8 {
    strings:
        $a = {5f5e5b????5dc3909090909055545d83ec445356578d7dbcbec8}
    condition:
        all of them
}

rule AUTO_83c1fcf7d81bc05e23c15b5dc3558bec8b4d10qqc9741f0fb645 {
    strings:
        $a = {83c1fcf7d81bc05e23c15b5dc3558bec8b4d10??c9741f0fb645}
    condition:
        all of them
}

rule AUTO_83c1fcf7d81bc05e23c15b5dc3558bec8b4d1085c9741f0fb645 {
    strings:
        $a = {83c1fcf7d81bc05e23c15b5dc3558bec8b4d1085c9741f0fb645}
    condition:
        all of them
}

rule AUTO_616c696664647272476b72735553536d417468764d796b43794d {
    strings:
        $a = {616c696664647272476b72735553536d417468764d796b43794d}
    condition:
        all of them
}

rule AUTO_6f674f646c6e57724770726764686e62626e6e7453676555724a {
    strings:
        $a = {6f674f646c6e57724770726764686e62626e6e7453676555724a}
    condition:
        all of them
}

rule AUTO_7af3f8348121c24b467e9c10857e9c10857e9c10857e9c10243e {
    strings:
        $a = {7af3f8348121c24b467e9c10857e9c10857e9c10857e9c10243e}
    condition:
        all of them
}

rule AUTO_fa23f8897df88bf923fa8b55f80bd703d38955f08b9528ffffff {
    strings:
        $a = {fa23f8897df88bf923fa8b55f80bd703d38955f08b9528ffffff}
    condition:
        all of them
}

rule AUTO_72644b62676e6c7862686c78546e6267486e7065646961675368 {
    strings:
        $a = {72644b62676e6c7862686c78546e6267486e7065646961675368}
    condition:
        all of them
}

rule AUTO_766272626a66766e62766e767662726a626a72727266626e6276 {
    strings:
        $a = {766272626a66766e62766e767662726a626a72727266626e6276}
    condition:
        all of them
}

rule AUTO_004a75f3a1745740005050ff3574574000e857150000ff057457 {
    strings:
        $a = {004a75f3a1745740005050ff3574574000e857150000ff057457}
    condition:
        all of them
}

rule AUTO_d19029783485dc0f944034897034ff483485ef85eb0f944034ff {
    strings:
        $a = {d19029783485dc0f944034897034ff483485ef85eb0f944034ff}
    condition:
        all of them
}

rule AUTO_3673356434663635647334673635643437676664363834676664 {
    strings:
        $a = {3673356434663635647334673635643437676664363834676664}
    condition:
        all of them
}

rule AUTO_626e6e626e6e76726276626e6e62766e726e666e667272626a76 {
    strings:
        $a = {626e6e626e6e76726276626e6e62766e726e666e667272626a76}
    condition:
        all of them
}

rule AUTO_6a6e76666a6a6272626e626e6e766e626a6e7672667662626262 {
    strings:
        $a = {6a6e76666a6a6272626e626e6e766e626a6e7672667662626262}
    condition:
        all of them
}

rule AUTO_40009070c540009cc54000c0c5400023d18a0688078a46018847 {
    strings:
        $a = {40009070c540009cc54000c0c5400023d18a0688078a46018847}
    condition:
        all of them
}

rule AUTO_ffd66a03a3d0574400ffd683253858440000a3d45744005ec353 {
    strings:
        $a = {ffd66a03a3d0574400ffd683253858440000a3d45744005ec353}
    condition:
        all of them
}

rule AUTO_626272626a6e7672626a6e6262766e7276626a6a7272626a6e76 {
    strings:
        $a = {626272626a6e7672626a6e6262766e7276626a6a7272626a6e76}
    condition:
        all of them
}

rule AUTO_90909090909090909090909055545d83ec205356834df4ff8b5d {
    strings:
        $a = {90909090909090909090909055545d83ec205356834df4ff8b5d}
    condition:
        all of them
}

rule AUTO_b599729d779d729d779d729d779d72c8fe78fff9536114143261 {
    strings:
        $a = {b599729d779d729d779d729d779d72c8fe78fff9536114143261}
    condition:
        all of them
}

rule AUTO_72726e626a6e766a62766e666262766662726e726a6a66767262 {
    strings:
        $a = {72726e626a6e766a62766e666262766662726e726a6a66767262}
    condition:
        all of them
}

rule AUTO_a3dd9dee35659fb82957ac7ddc3640e54ca4965325dc29a7d3c2 {
    strings:
        $a = {a3dd9dee35659fb82957ac7ddc3640e54ca4965325dc29a7d3c2}
    condition:
        all of them
}

rule AUTO_c01eafedeb85be5d142f4aa9bdd9dd8d3eb14a3545886c4411d5 {
    strings:
        $a = {c01eafedeb85be5d142f4aa9bdd9dd8d3eb14a3545886c4411d5}
    condition:
        all of them
}

rule AUTO_4f676a697264646e72467262766253677671676e684746626e53 {
    strings:
        $a = {4f676a697264646e72467262766253677671676e684746626e53}
    condition:
        all of them
}

rule AUTO_6e6876626a6462786a687862626262766e7466726a6a62686878 {
    strings:
        $a = {6e6876626a6462786a687862626262766e7466726a6a62686878}
    condition:
        all of them
}

rule AUTO_ce039779deb4ee4980ba527913a3e74b227b1a777366d15b66f6 {
    strings:
        $a = {ce039779deb4ee4980ba527913a3e74b227b1a777366d15b66f6}
    condition:
        all of them
}

rule AUTO_ff2267400026674000ffffffffd6674000da674000ffffffff5a {
    strings:
        $a = {ff2267400026674000ffffffffd6674000da674000ffffffff5a}
    condition:
        all of them
}

rule AUTO_72666a766e6676766276727676626a6e6e6e666e6a6e6a6a7676 {
    strings:
        $a = {72666a766e6676766276727676626a6e6e6e666e6a6e6a6a7676}
    condition:
        all of them
}

rule AUTO_bc87e59608718b821e26e40b81fa2cc3d3738564be6d1fc8d43e {
    strings:
        $a = {bc87e59608718b821e26e40b81fa2cc3d3738564be6d1fc8d43e}
    condition:
        all of them
}

rule AUTO_dececd9c946666f430f8371bfee0dd3f4b2126bb64e0593feced {
    strings:
        $a = {dececd9c946666f430f8371bfee0dd3f4b2126bb64e0593feced}
    condition:
        all of them
}

rule AUTO_0000000000f4c5450004000000f8104000b03f4000bc3f4000c0 {
    strings:
        $a = {0000000000f4c5450004000000f8104000b03f4000bc3f4000c0}
    condition:
        all of them
}

rule AUTO_45222c226c705375624b65792d3e53595354454d5c5365747570 {
    strings:
        $a = {45222c226c705375624b65792d3e53595354454d5c5365747570}
    condition:
        all of them
}

rule AUTO_62626e666e6a7272626262766a6a6e6e6e66766a666a6a766e62 {
    strings:
        $a = {62626e666e6a7272626262766a6a6e6e6e66766a666a6a766e62}
    condition:
        all of them
}

rule AUTO_62627666666e6272666e766272626a7276766a6272766276726e {
    strings:
        $a = {62627666666e6272666e766272626a7276766a6272766276726e}
    condition:
        all of them
}

rule AUTO_04120e565d1e7ab2fa23b18ab0b29e62ab72c1189613566cf0a3 {
    strings:
        $a = {04120e565d1e7ab2fa23b18ab0b29e62ab72c1189613566cf0a3}
    condition:
        all of them
}

rule AUTO_2e2e2e2e2e2e2e2e2e2e2e2e2e2e2ed1002e2e2e2e2e2e2e2e2e {
    strings:
        $a = {2e2e2e2e2e2e2e2e2e2e2e2e2e2e2ed1002e2e2e2e2e2e2e2e2e}
    condition:
        all of them
}

rule AUTO_4000ff1574a040005dc36a0c6878b54000e86ffcffff33ff4789 {
    strings:
        $a = {4000ff1574a040005dc36a0c6878b54000e86ffcffff33ff4789}
    condition:
        all of them
}

rule AUTO_57bf577e57c957704a70704a687070704a404aca4a574a2e4a0e {
    strings:
        $a = {57bf577e57c957704a70704a687070704a404aca4a574a2e4a0e}
    condition:
        all of them
}

rule AUTO_0f3473f9082173fa3c3e35d20b5552c8213574ea0a1803e36554 {
    strings:
        $a = {0f3473f9082173fa3c3e35d20b5552c8213574ea0a1803e36554}
    condition:
        all of them
}

rule AUTO_59420057a37cd04600ffd6833d74d04600008b3528414200a380 {
    strings:
        $a = {59420057a37cd04600ffd6833d74d04600008b3528414200a380}
    condition:
        all of them
}

rule AUTO_6232854287d15ceab8e464414815e642c49646a8aeb5b7323dea {
    strings:
        $a = {6232854287d15ceab8e464414815e642c49646a8aeb5b7323dea}
    condition:
        all of them
}

rule AUTO_611080fbd41aefece5c22740c02e7228f01fa6a76cb0404b1c27 {
    strings:
        $a = {611080fbd41aefece5c22740c02e7228f01fa6a76cb0404b1c27}
    condition:
        all of them
}

rule AUTO_6c646474707864687478706878686c647474646c74786c786c6c {
    strings:
        $a = {6c646474707864687478706878686c647474646c74786c786c6c}
    condition:
        all of them
}

rule AUTO_64625372726e6257624a55767664415570466f5464656964766a {
    strings:
        $a = {64625372726e6257624a55767664415570466f5464656964766a}
    condition:
        all of them
}

rule AUTO_796e66624a726c7764676e7455626c4a724b5a476865555a484b {
    strings:
        $a = {796e66624a726c7764676e7455626c4a724b5a476865555a484b}
    condition:
        all of them
}

rule AUTO_435465666e686c5762576464555768486e6465657953696c656f {
    strings:
        $a = {435465666e686c5762576464555768486e6465657953696c656f}
    condition:
        all of them
}

rule AUTO_qq00266c54ff6c58ff0460ff9de7aa6c58ff6c78ff4ac26c4cff {
    strings:
        $a = {??00266c54ff6c58ff0460ff9de7aa6c58ff6c78ff4ac26c4cff}
    condition:
        all of them
}

rule AUTO_384815d5d8b35a524b11ad7f7ec9ef23c334b0787c2bfc8e80ff {
    strings:
        $a = {384815d5d8b35a524b11ad7f7ec9ef23c334b0787c2bfc8e80ff}
    condition:
        all of them
}

rule AUTO_535881c4940000005bc38bc055545d83c4e45356578955fc505f {
    strings:
        $a = {535881c4940000005bc38bc055545d83c4e45356578955fc505f}
    condition:
        all of them
}

rule AUTO_76666a6e6a6e6676666a72626e626666727276727676666e6a62 {
    strings:
        $a = {76666a6e6a6e6676666a72626e626666727276727676666e6a62}
    condition:
        all of them
}

rule AUTO_qq3473f9082173fa3c3e35d20b5552c8213774ea0a1249a92f3f {
    strings:
        $a = {??3473f9082173fa3c3e35d20b5552c8213774ea0a1249a92f3f}
    condition:
        all of them
}

rule AUTO_440bfe005bqqqq5dc390909090909055545d83ec20535657c745 {
    strings:
        $a = {440bfe005b????5dc390909090909055545d83ec20535657c745}
    condition:
        all of them
}

rule AUTO_5f5e5b555c5dc3909090909055545d83ec605356578d7da0be0c {
    strings:
        $a = {5f5e5b555c5dc3909090909055545d83ec605356578d7da0be0c}
    condition:
        all of them
}

rule AUTO_qqqqqqqq00176c50ff6c54ff0460ff9de7aaf500010000c27150 {
    strings:
        $a = {????????00176c50ff6c54ff0460ff9de7aaf500010000c27150}
    condition:
        all of them
}

rule AUTO_5f5e5b555c5dc3909090909055545d83ec445356578d7dbcbec8 {
    strings:
        $a = {5f5e5b555c5dc3909090909055545d83ec445356578d7dbcbec8}
    condition:
        all of them
}

rule AUTO_a8795b7ce13fb5d0616d178f1cc59497f71e4adbbaa464725574 {
    strings:
        $a = {a8795b7ce13fb5d0616d178f1cc59497f71e4adbbaa464725574}
    condition:
        all of them
}

rule AUTO_68706a6253536878644d6862437957687246706462727171476d {
    strings:
        $a = {68706a6253536878644d6862437957687246706462727171476d}
    condition:
        all of them
}

rule AUTO_416153624657674d6270646e6e6c65626e416662615764676865 {
    strings:
        $a = {416153624657674d6270646e6e6c65626e416662615764676865}
    condition:
        all of them
}

rule AUTO_00000000000008214000982240000c26400000cbccc8c9d7cfc8 {
    strings:
        $a = {00000000000008214000982240000c26400000cbccc8c9d7cfc8}
    condition:
        all of them
}

rule AUTO_18528b4518508b4d14516aff68782340008b55f452ff15602040 {
    strings:
        $a = {18528b4518508b4d14516aff68782340008b55f452ff15602040}
    condition:
        all of them
}

rule AUTO_7c8e00000c104000d0344000dc344000e0344000e4344000d834 {
    strings:
        $a = {7c8e00000c104000d0344000dc344000e0344000e4344000d834}
    condition:
        all of them
}

rule AUTO_6e666e626a62626a62726e6266626a6666726e6e76626a767262 {
    strings:
        $a = {6e666e626a62626a62726e6266626a6666726e6e76626a767262}
    condition:
        all of them
}

rule AUTO_1e0000ffffffff091e0000ffffffff0b1e0000ffffffff0d1e00 {
    strings:
        $a = {1e0000ffffffff091e0000ffffffff0b1e0000ffffffff0d1e00}
    condition:
        all of them
}

rule AUTO_726666627266767662766e6e76766e6e6e6a6a76766a6e626666 {
    strings:
        $a = {726666627266767662766e6e76766e6e6e6a6a76766a6e626666}
    condition:
        all of them
}

rule AUTO_bb2000000031d2f7f381c28d09000087d3895d28bb8d09000058 {
    strings:
        $a = {bb2000000031d2f7f381c28d09000087d3895d28bb8d09000058}
    condition:
        all of them
}

rule AUTO_626e6e666a6a6272626a66766e7272667662626676727276766e {
    strings:
        $a = {626e6e666a6a6272626a66766e7272667662626676727276766e}
    condition:
        all of them
}

rule AUTO_666272626a667672626a7666626e6a66726e6272766276626a76 {
    strings:
        $a = {666272626a667672626a7666626e6a66726e6272766276626a76}
    condition:
        all of them
}

rule AUTO_66726a6e6e72626a62766e727676766e62626676627272667666 {
    strings:
        $a = {66726a6e6e72626a62766e727676766e62626676627272667666}
    condition:
        all of them
}

rule AUTO_e066f7d020f5660fb3f85966d3e066d3e058f96681fa144a60e8 {
    strings:
        $a = {e066f7d020f5660fb3f85966d3e066d3e058f96681fa144a60e8}
    condition:
        all of them
}

rule AUTO_520000a150c640005050a150c640005050ff3550c64000e8a020 {
    strings:
        $a = {520000a150c640005050a150c640005050ff3550c64000e8a020}
    condition:
        all of them
}

rule AUTO_e3dd8c4b2498a5551e96c3fa21eac0b126b657f2a374614110ac {
    strings:
        $a = {e3dd8c4b2498a5551e96c3fa21eac0b126b657f2a374614110ac}
    condition:
        all of them
}

rule AUTO_72696c535564724d624b4a4a6868726264686d53694d62646b68 {
    strings:
        $a = {72696c535564724d624b4a4a6868726264686d53694d62646b68}
    condition:
        all of them
}

rule AUTO_6e647053676e566e646e4d47536e6c6764486d62766165737164 {
    strings:
        $a = {6e647053676e566e646e4d47536e6c6764486d62766165737164}
    condition:
        all of them
}

rule AUTO_004c4040005040400044404000783d4000943d400090ec410000 {
    strings:
        $a = {004c4040005040400044404000783d4000943d400090ec410000}
    condition:
        all of them
}

rule AUTO_ffb201a1b8484000e834dfffffa3b4984000b8386b4000e84df6 {
    strings:
        $a = {ffb201a1b8484000e834dfffffa3b4984000b8386b4000e84df6}
    condition:
        all of them
}

rule AUTO_6dd5b8681a4a4e6087b8f33888c2a9fc4c8bba7e373185a8635c {
    strings:
        $a = {6dd5b8681a4a4e6087b8f33888c2a9fc4c8bba7e373185a8635c}
    condition:
        all of them
}

rule AUTO_6e6a66626a6e627662766272766e7272766e726e666a66626662 {
    strings:
        $a = {6e6a66626a6e627662766272766e7272766e726e666a66626662}
    condition:
        all of them
}

rule AUTO_6e6a6e666e6a7276626a76766e62726e666a7276666e72626672 {
    strings:
        $a = {6e6a6e666e6a7276626a76766e62726e666a7276666e72626672}
    condition:
        all of them
}

rule AUTO_797a78556a625878514d556655685549726c694d4b744d77506d {
    strings:
        $a = {797a78556a625878514d556655685549726c694d4b744d77506d}
    condition:
        all of them
}

rule AUTO_000000000000000031667233326831326a67343566626a36356a {
    strings:
        $a = {000000000000000031667233326831326a67343566626a36356a}
    condition:
        all of them
}

rule AUTO_57416241696453464a7672627665536472686c72486453686c65 {
    strings:
        $a = {57416241696453464a7672627665536472686c72486453686c65}
    condition:
        all of them
}

rule AUTO_564a6e47676e6672626e65745353696269646f716246534f6468 {
    strings:
        $a = {564a6e47676e6672626e65745353696269646f716246534f6468}
    condition:
        all of them
}

rule AUTO_0053556a006a006a0068b0a140006a006a00ff15503041008b15 {
    strings:
        $a = {0053556a006a006a0068b0a140006a006a00ff15503041008b15}
    condition:
        all of them
}

rule AUTO_48ffffff007d236a5068ec2c40008b954cffffff528b8548ffff {
    strings:
        $a = {48ffffff007d236a5068ec2c40008b954cffffff528b8548ffff}
    condition:
        all of them
}

rule AUTO_45f8ffd78b4df88d444104506a08ff75ecff152c2040008945e4 {
    strings:
        $a = {45f8ffd78b4df88d444104506a08ff75ecff152c2040008945e4}
    condition:
        all of them
}

rule AUTO_676268736e6e62574378544a6a4b7674706e6e72414d63766746 {
    strings:
        $a = {676268736e6e62574378544a6a4b7674706e6e72414d63766746}
    condition:
        all of them
}

rule AUTO_66666a6a6666726a6676727666667272726a6e627662626a626e {
    strings:
        $a = {66666a6a6666726a6676727666667272726a6e627662626a626e}
    condition:
        all of them
}

rule AUTO_645665476448536a644d5773557062626e4a666257416e477072 {
    strings:
        $a = {645665476448536a644d5773557062626e4a666257416e477072}
    condition:
        all of them
}

rule AUTO_6a726e626a76626a62767266766a6a66627262726e6666667276 {
    strings:
        $a = {6a726e626a76626a62767266766a6a66627262726e6666667276}
    condition:
        all of them
}

rule AUTO_72666e72726e76726276626a6e626e727276726662727276766e {
    strings:
        $a = {72666e72726e76726276626a6e626e727276726662727276766e}
    condition:
        all of them
}

rule AUTO_6e76726266726a6a7676726a626e66626a66726e666a6e726e6e {
    strings:
        $a = {6e76726266726a6a7676726a626e66626a66726e666a6e726e6e}
    condition:
        all of them
}

rule AUTO_64684368727267724770646c6e4d724769476e626e5673536273 {
    strings:
        $a = {64684368727267724770646c6e4d724769476e626e5673536273}
    condition:
        all of them
}

rule AUTO_51454e70437a445576484954704b6a74747a78776873684a624a {
    strings:
        $a = {51454e70437a445576484954704b6a74747a78776873684a624a}
    condition:
        all of them
}

rule AUTO_6266766272726e666e6e6e6e62626676726676766e6e666a7272 {
    strings:
        $a = {6266766272726e666e6e6e6e62626676726676766e6e666a7272}
    condition:
        all of them
}

rule AUTO_6e62646256676c72534a644b6557726e684a6573544861747262 {
    strings:
        $a = {6e62646256676c72534a644b6557726e684a6573544861747262}
    condition:
        all of them
}

rule AUTO_25d3aa6a6690aa6a6690aa6a66c5238feb348e16996f55e3236c {
    strings:
        $a = {25d3aa6a6690aa6a6690aa6a66c5238feb348e16996f55e3236c}
    condition:
        all of them
}

rule AUTO_fa8414d877c7bbb67c989421de14a3bbd56ef418cdcdb2444964 {
    strings:
        $a = {fa8414d877c7bbb67c989421de14a3bbd56ef418cdcdb2444964}
    condition:
        all of them
}

rule AUTO_6579627468576972666870534b41764b67676448687272654768 {
    strings:
        $a = {6579627468576972666870534b41764b67676448687272654768}
    condition:
        all of them
}

rule AUTO_2c6f41005b555c5dc390909090909055545d83ec205356578b5d {
    strings:
        $a = {2c6f41005b555c5dc390909090909055545d83ec205356578b5d}
    condition:
        all of them
}

rule AUTO_d6684859420057a314044600ffd6683c59420057a318044600ff {
    strings:
        $a = {d6684859420057a314044600ffd6683c59420057a318044600ff}
    condition:
        all of them
}

rule AUTO_2050ff156c1140005dc36a1068qqqq4700e8e0b5ffff33db8bf3 {
    strings:
        $a = {2050ff156c1140005dc36a1068????4700e8e0b5ffff33db8bf3}
    condition:
        all of them
}

rule AUTO_7dec33c88bc633c72345d403ca8b55dc33c603c181c2bb0a6a76 {
    strings:
        $a = {7dec33c88bc633c72345d403ca8b55dc33c603c181c2bb0a6a76}
    condition:
        all of them
}

rule AUTO_6656476168744357646872626c626c706e6e4679686853577954 {
    strings:
        $a = {6656476168744357646872626c626c706e6e4679686853577954}
    condition:
        all of them
}

rule AUTO_436b576257536c576272686464624b6469675362796c72724848 {
    strings:
        $a = {436b576257536c576272686464624b6469675362796c72724848}
    condition:
        all of them
}

rule AUTO_72646c746864725764766e6c53417073734a54416c76646a666f {
    strings:
        $a = {72646c746864725764766e6c53417073734a54416c76646a666f}
    condition:
        all of them
}

rule AUTO_45fcfeffffff8b45e0e8b5c0ffffc355545d83ec20535657e8f2 {
    strings:
        $a = {45fcfeffffff8b45e0e8b5c0ffffc355545d83ec20535657e8f2}
    condition:
        all of them
}

rule AUTO_34261d36281f36281f35271e35271e35271e36281f36281f3528 {
    strings:
        $a = {34261d36281f36281f35271e35271e35271e36281f36281f3528}
    condition:
        all of them
}

rule AUTO_6e627266726a6272626276766e6e6a626a66766e6a6a66666272 {
    strings:
        $a = {6e627266726a6272626276766e6e6a626a66766e6a6a66666272}
    condition:
        all of them
}

rule AUTO_6e666a6a766e727262766e626672626e667272626e6662766272 {
    strings:
        $a = {6e666a6a766e727262766e626672626e667272626e6662766272}
    condition:
        all of them
}

rule AUTO_72716c73736472766270644a5441705a56646653434d6e726261 {
    strings:
        $a = {72716c73736472766270644a5441705a56646653434d6e726261}
    condition:
        all of them
}

rule AUTO_493473f9082173fa3c3e35d20b5552c8213774ea0a1249a92f3f {
    strings:
        $a = {493473f9082173fa3c3e35d20b5552c8213774ea0a1249a92f3f}
    condition:
        all of them
}

rule AUTO_576c4f6567644357536c53677867686457704872707268646865 {
    strings:
        $a = {576c4f6567644357536c53677867686457704872707268646865}
    condition:
        all of them
}

rule AUTO_24e8604bfdff5589e583ec588965e88b45088d55f4897dfc8955 {
    strings:
        $a = {24e8604bfdff5589e583ec588965e88b45088d55f4897dfc8955}
    condition:
        all of them
}

rule AUTO_66786262666e626a666e786278706a6a746266706c6e68667074 {
    strings:
        $a = {66786262666e626a666e786278706a6a746266706c6e68667074}
    condition:
        all of them
}

rule AUTO_26e3f3436ca50c432676469426760c376cad0c432602669c2676 {
    strings:
        $a = {26e3f3436ca50c432676469426760c376cad0c432602669c2676}
    condition:
        all of them
}

rule AUTO_49420057a394ad4600ffd6833d8cad4600008b3580314200a398 {
    strings:
        $a = {49420057a394ad4600ffd6833d8cad4600008b3580314200a398}
    condition:
        all of them
}

rule AUTO_7807f4f4b98f34ba64d3d61efa66723d4334b3d9acfb7f844110 {
    strings:
        $a = {7807f4f4b98f34ba64d3d61efa66723d4334b3d9acfb7f844110}
    condition:
        all of them
}

rule AUTO_5950ff15501140005dc3558bec568b751033c085f6745e8b4d0c {
    strings:
        $a = {5950ff15501140005dc3558bec568b751033c085f6745e8b4d0c}
    condition:
        all of them
}

rule AUTO_6a6a6a62766a7272626e666276666e6e66666e6e627262666266 {
    strings:
        $a = {6a6a6a62766a7272626e666276666e6e66666e6e627262666266}
    condition:
        all of them
}

rule AUTO_6a6e66626a6e626a6272766262627662726a666a6e666a766e62 {
    strings:
        $a = {6a6e66626a6e626a6272766262627662726a666a6e666a766e62}
    condition:
        all of them
}

rule AUTO_237de4897dfc8bf923fa8b55fc0bd703d38955f88b55948bda8b {
    strings:
        $a = {237de4897dfc8bf923fa8b55fc0bd703d38955f88b55948bda8b}
    condition:
        all of them
}

rule AUTO_6672766a766e766e6a66626e6868746868647878707878786c6c {
    strings:
        $a = {6672766a766e766e6a66626e6868746868647878707878786c6c}
    condition:
        all of them
}

rule AUTO_440bfe005b89ec5dc390909090909055545d83ec20535657c745 {
    strings:
        $a = {440bfe005b89ec5dc390909090909055545d83ec20535657c745}
    condition:
        all of them
}

rule AUTO_766276666a6e666e76766e627662766a6e626e6e666a76727276 {
    strings:
        $a = {766276666a6e666e76766e627662766a6e626e6e666a76727276}
    condition:
        all of them
}

rule AUTO_6843536e6c654741534b5768476e646c4d5557656270645a536e {
    strings:
        $a = {6843536e6c654741534b5768476e646c4d5557656270645a536e}
    condition:
        all of them
}

rule AUTO_04588be55dc23800558bec81ec0c000000c745fc00000000eb10 {
    strings:
        $a = {04588be55dc23800558bec81ec0c000000c745fc00000000eb10}
    condition:
        all of them
}

rule AUTO_64706d6e4343766964574d537062724b624b6a46614d6472536c {
    strings:
        $a = {64706d6e4343766964574d537062724b624b6a46614d6472536c}
    condition:
        all of them
}

rule AUTO_000300590700408f140051a221005dad2d006ab2323b33350100 {
    strings:
        $a = {000300590700408f140051a221005dad2d006ab2323b33350100}
    condition:
        all of them
}

rule AUTO_faffff6a00ff152c2040006a006a0068d02240006a00ff15qqqq {
    strings:
        $a = {faffff6a00ff152c2040006a006a0068d02240006a00ff15????}
    condition:
        all of them
}

rule AUTO_020c28444226401221878abf9f706865757337c22847f2485ed8 {
    strings:
        $a = {020c28444226401221878abf9f706865757337c22847f2485ed8}
    condition:
        all of them
}

rule AUTO_62726a66666a7672627672766a76727276726272626e766a6a6e {
    strings:
        $a = {62726a66666a7672627672766a76727276726272626e766a6a6e}
    condition:
        all of them
}

rule AUTO_ff00266c54ff6c58ff0460ff9de7aa6c58ff6c78ff4ac26c4cff {
    strings:
        $a = {ff00266c54ff6c58ff0460ff9de7aa6c58ff6c78ff4ac26c4cff}
    condition:
        all of them
}

rule AUTO_55706a746e6e6857624b6e6466624a6e656869717353536d7357 {
    strings:
        $a = {55706a746e6e6857624b6e6466624a6e656869717353536d7357}
    condition:
        all of them
}

rule AUTO_d1100000595dc383c02050ff156c1140005dc36a106878934700 {
    strings:
        $a = {d1100000595dc383c02050ff156c1140005dc36a106878934700}
    condition:
        all of them
}

rule AUTO_afb07231925c4026ce2a0c199f5cb2295d234a772f1ddc6df5e2 {
    strings:
        $a = {afb07231925c4026ce2a0c199f5cb2295d234a772f1ddc6df5e2}
    condition:
        all of them
}

rule AUTO_08ff750c8d860020000050ff711cff15e444480081fe32010000 {
    strings:
        $a = {08ff750c8d860020000050ff711cff15e444480081fe32010000}
    condition:
        all of them
}

rule AUTO_28585054506a7857ffd3588bfead83f8ff743d03f856e8qqqq00 {
    strings:
        $a = {28585054506a7857ffd3588bfead83f8ff743d03f856e8????00}
    condition:
        all of them
}

rule AUTO_fc11cb753c17810af5d1ae9b9add378b8721bf871f335c51dcb7 {
    strings:
        $a = {fc11cb753c17810af5d1ae9b9add378b8721bf871f335c51dcb7}
    condition:
        all of them
}

rule AUTO_76766266726e6a6a666a726276766666627272726e62766a6a6e {
    strings:
        $a = {76766266726e6a6a666a726276766666627272726e62766a6a6e}
    condition:
        all of them
}

rule AUTO_28585054506a7857ffd3588bfead83f8ff743d03f856e8540000 {
    strings:
        $a = {28585054506a7857ffd3588bfead83f8ff743d03f856e8540000}
    condition:
        all of them
}

rule AUTO_6e62666e7272666a76766e6a7672626672726a626e7662726236 {
    strings:
        $a = {6e62666e7272666a76766e6a7672626672726a626e7662726236}
    condition:
        all of them
}

rule AUTO_6164686472646672625769535562576e62725767646469655743 {
    strings:
        $a = {6164686472646672625769535562576e62725767646469655743}
    condition:
        all of them
}

rule AUTO_646c70686464787874706478686c72727262666e6e726a766272 {
    strings:
        $a = {646c70686464787874706478686c72727262666e6e726a766272}
    condition:
        all of them
}

rule AUTO_8d85f4b7ffff6800480000506a026a3057ff150c30400085c075 {
    strings:
        $a = {8d85f4b7ffff6800480000506a026a3057ff150c30400085c075}
    condition:
        all of them
}

rule AUTO_qqqqqqqq00266c54ff6c58ff0460ff9de7aa6c58ff6c78ff4ac2 {
    strings:
        $a = {????????00266c54ff6c58ff0460ff9de7aa6c58ff6c78ff4ac2}
    condition:
        all of them
}

rule AUTO_54697062676e577262766e765374687664764362417970467276 {
    strings:
        $a = {54697062676e577262766e765374687664764362417970467276}
    condition:
        all of them
}

rule AUTO_306e66626a626276626a6a6666726a6e6a62726a666a626a6266 {
    strings:
        $a = {306e66626a626276626a6a6666726a6e6a62726a666a626a6266}
    condition:
        all of them
}

rule AUTO_6962705572484d4656747264536472625762466e536a726a6571 {
    strings:
        $a = {6962705572484d4656747264536472625762466e536a726a6571}
    condition:
        all of them
}

rule AUTO_63585257546778676c41624b53467455724e796e5342417a4858 {
    strings:
        $a = {63585257546778676c41624b53467455724e796e5342417a4858}
    condition:
        all of them
}

rule AUTO_626e766666766272627662766e6672666e6e6a6e66766a627662 {
    strings:
        $a = {626e766666766272627662766e6672666e6e6a6e66766a627662}
    condition:
        all of them
}

rule AUTO_b8d64f9484c22e7bcc34091d04294f9499de6ce9b8d6d6e2322f {
    strings:
        $a = {b8d64f9484c22e7bcc34091d04294f9499de6ce9b8d6d6e2322f}
    condition:
        all of them
}

rule AUTO_5511ea1687840e9a68da61331485c03e530068141c4000c3899d {
    strings:
        $a = {5511ea1687840e9a68da61331485c03e530068141c4000c3899d}
    condition:
        all of them
}

rule AUTO_6c706c74686c64686478787464646c78786c646474686470686c {
    strings:
        $a = {6c706c74686c64686478787464646c78786c646474686470686c}
    condition:
        all of them
}

rule AUTO_62654a64667062576e5772647864735574626878675372535453 {
    strings:
        $a = {62654a64667062576e5772647864735574626878675372535453}
    condition:
        all of them
}

rule AUTO_6e7262626a666a7662626e626e626a6a726e7276767266667276 {
    strings:
        $a = {6e7262626a666a7662626e626e626a6a726e7276767266667276}
    condition:
        all of them
}

rule AUTO_7497bc90770c234d8b7df823fa8b55fc0bd703d38955f0e9fe17 {
    strings:
        $a = {7497bc90770c234d8b7df823fa8b55fc0bd703d38955f0e9fe17}
    condition:
        all of them
}

rule AUTO_12fb89febbf2ecd6889dd6bf70f44a3852408eee5ef9c19264bb {
    strings:
        $a = {12fb89febbf2ecd6889dd6bf70f44a3852408eee5ef9c19264bb}
    condition:
        all of them
}

rule AUTO_646e64646864624d626c706872666c746b6e436164536262654a {
    strings:
        $a = {646e64646864624d626c706872666c746b6e436164536262654a}
    condition:
        all of them
}

rule AUTO_6466666272666a6a6a7676626e626a7672726e62726276726e76 {
    strings:
        $a = {6466666272666a6a6a7676626e626a7672726e62726276726e76}
    condition:
        all of them
}

rule AUTO_726a6a666e6a7672626e6e666662666a62726e6a6e72666a6a6e {
    strings:
        $a = {726a6a666e6a7672626e6e666662666a62726e6a6e72666a6a6e}
    condition:
        all of them
}

rule AUTO_00d4ffffff00000000feffffff57ad40005dad40002205931905 {
    strings:
        $a = {00d4ffffff00000000feffffff57ad40005dad40002205931905}
    condition:
        all of them
}

rule AUTO_0727c50efadc1ab4cb17c1b92fc05dd3347bc7596d6237e53afd {
    strings:
        $a = {0727c50efadc1ab4cb17c1b92fc05dd3347bc7596d6237e53afd}
    condition:
        all of them
}

rule AUTO_a62e333c810bd8f0ef0679a544b33a4ed15db677285d722f67e4 {
    strings:
        $a = {a62e333c810bd8f0ef0679a544b33a4ed15db677285d722f67e4}
    condition:
        all of them
}

rule AUTO_c09e1b6346e9405d23dca0b051b24188b3c38e402e99b4c0b01c {
    strings:
        $a = {c09e1b6346e9405d23dca0b051b24188b3c38e402e99b4c0b01c}
    condition:
        all of them
}

rule AUTO_e3e3dffee7e7e7fedcdcdcfed2d0d1ffbdbbbb0dd1cfd0000000 {
    strings:
        $a = {e3e3dffee7e7e7fedcdcdcfed2d0d1ffbdbbbb0dd1cfd0000000}
    condition:
        all of them
}

rule AUTO_65794b6468697057627072556c6e6a72656557626e657157626d {
    strings:
        $a = {65794b6468697057627072556c6e6a72656557626e657157626d}
    condition:
        all of them
}

rule AUTO_8f854ebd3425813e21e378b9214b88fae9bba679a9d67813f549 {
    strings:
        $a = {8f854ebd3425813e21e378b9214b88fae9bba679a9d67813f549}
    condition:
        all of them
}

rule AUTO_6a62726666626a726e766262766262626e72726a667672726a62 {
    strings:
        $a = {6a62726666626a726e766262766262626e72726a667672726a62}
    condition:
        all of them
}

rule AUTO_4a565474684b72724a7064466c4b65626e695363696c6c724f70 {
    strings:
        $a = {4a565474684b72724a7064466c4b65626e695363696c6c724f70}
    condition:
        all of them
}

rule AUTO_70586c737871705a505379507a6e6e6258474d70554a43787361 {
    strings:
        $a = {70586c737871705a505379507a6e6e6258474d70554a43787361}
    condition:
        all of them
}

rule AUTO_75567665736a4e444778444a70624667585765734e48415a5164 {
    strings:
        $a = {75567665736a4e444778444a70624667585765734e48415a5164}
    condition:
        all of them
}

rule AUTO_f0508d45f8505756575757ff73508b1d18qqqq00ff75fcffd385 {
    strings:
        $a = {f0508d45f8505756575757ff73508b1d18????00ff75fcffd385}
    condition:
        all of them
}

rule AUTO_79696a676a654a57624b656270686c7072724854696a626c6668 {
    strings:
        $a = {79696a676a654a57624b656270686c7072724854696a626c6668}
    condition:
        all of them
}

rule AUTO_70476a6a734b726a627670705462626464786353706569575368 {
    strings:
        $a = {70476a6a734b726a627670705462626464786353706569575368}
    condition:
        all of them
}

rule AUTO_b6d80d4f078cf5637c7d3e0b5cb63815b9b8e64f32d39ee83a3c {
    strings:
        $a = {b6d80d4f078cf5637c7d3e0b5cb63815b9b8e64f32d39ee83a3c}
    condition:
        all of them
}

rule AUTO_746456746a556c7062727262556253656b62746e5a654a726264 {
    strings:
        $a = {746456746a556c7062727262556253656b62746e5a654a726264}
    condition:
        all of them
}

rule AUTO_6269647070576869627070686e676c4864646a6c625464555369 {
    strings:
        $a = {6269647070576869627070686e676c4864646a6c625464555369}
    condition:
        all of them
}

rule AUTO_96226b6d923dc78ddc97fedcb0b65cc83dec83596a73e13b4afc {
    strings:
        $a = {96226b6d923dc78ddc97fedcb0b65cc83dec83596a73e13b4afc}
    condition:
        all of them
}

rule AUTO_7272626666726e72627662666e726e767666627262766a726e72 {
    strings:
        $a = {7272626666726e72627662666e726e767666627262766a726e72}
    condition:
        all of them
}

rule AUTO_6d615462786468726468645764696e6c7264734d4757626c6f66 {
    strings:
        $a = {6d615462786468726468645764696e6c7264734d4757626c6f66}
    condition:
        all of them
}

rule AUTO_00595dc383c02050ff15741140005dc36a106898384b00e8e0b5 {
    strings:
        $a = {00595dc383c02050ff15741140005dc36a106898384b00e8e0b5}
    condition:
        all of them
}

rule AUTO_65696e7057487168716e48647464536268646c78674b534a484b {
    strings:
        $a = {65696e7057487168716e48647464536268646c78674b534a484b}
    condition:
        all of them
}

rule AUTO_684b7962556e53576268624b786a4653686257624f647162726c {
    strings:
        $a = {684b7962556e53576268624b786a4653686257624f647162726c}
    condition:
        all of them
}

rule AUTO_74646d644b6e62786257647468536e6e6c55536a726464536247 {
    strings:
        $a = {74646d644b6e62786257647468536e6e6c55536a726464536247}
    condition:
        all of them
}

rule AUTO_6679647468656478626e7253646e704862726c69706d65645371 {
    strings:
        $a = {6679647468656478626e7253646e704862726c69706d65645371}
    condition:
        all of them
}

rule AUTO_5a00ff15a81140005dc36a0c68e0ea4800e8bfacffff33ff4789 {
    strings:
        $a = {5a00ff15a81140005dc36a0c68e0ea4800e8bfacffff33ff4789}
    condition:
        all of them
}

rule AUTO_2b4000ffffffff78694000eb2b4000ffffffff70694000082c40 {
    strings:
        $a = {2b4000ffffffff78694000eb2b4000ffffffff70694000082c40}
    condition:
        all of them
}

rule AUTO_3a4000383a40002c3a4000603740007c3740004ce54100185241 {
    strings:
        $a = {3a4000383a40002c3a4000603740007c3740004ce54100185241}
    condition:
        all of them
}

rule AUTO_7a577a576d666977534a4a6a4e476e4e706270544e4d77725652 {
    strings:
        $a = {7a577a576d666977534a4a6a4e476e4e706270544e4d77725652}
    condition:
        all of them
}

rule AUTO_fafef4bc9d48fa61f4c39da4fa7df4799d87fa88f4ca9d25fab2 {
    strings:
        $a = {fafef4bc9d48fa61f4c39da4fa7df4799d87fa88f4ca9d25fab2}
    condition:
        all of them
}

rule AUTO_6e6e726a6a7672766276626e76766e726a66666a66726a666266 {
    strings:
        $a = {6e6e726a6a7672766276626e76766e726a66666a66726a666266}
    condition:
        all of them
}

rule AUTO_6e7276627262666a6a76726a7672766e6e7676626e6e6a6e6276 {
    strings:
        $a = {6e7276627262666a6a76726a7672766e6e7676626e6e6a6e6276}
    condition:
        all of them
}

rule AUTO_041085c0740c576a00ffd650ff15485204108b7dfc33db85ff74 {
    strings:
        $a = {041085c0740c576a00ffd650ff15485204108b7dfc33db85ff74}
    condition:
        all of them
}

rule AUTO_003c0043003c0043005553455233322e444c4c00005000430050 {
    strings:
        $a = {003c0043003c0043005553455233322e444c4c00005000430050}
    condition:
        all of them
}

rule AUTO_aa5100c1e0068d44010c50ff15741140005dc36a1868f8014600 {
    strings:
        $a = {aa5100c1e0068d44010c50ff15741140005dc36a1868f8014600}
    condition:
        all of them
}

rule AUTO_6572684b574b6857626a486c4b7868486464536269686670654d {
    strings:
        $a = {6572684b574b6857626a486c4b7868486464536269686670654d}
    condition:
        all of them
}

rule AUTO_2f6677077787fffffffffff7807787e70887fff7070777777777 {
    strings:
        $a = {2f6677077787fffffffffff7807787e70887fff7070777777777}
    condition:
        all of them
}

rule AUTO_566278646c686257646c644b72536e6e6c6a6a694a6b676e6573 {
    strings:
        $a = {566278646c686257646c644b72536e6e6c6a6a694a6b676e6573}
    condition:
        all of them
}

rule AUTO_3838343830386a666666626a727672666e666e726676626a7666 {
    strings:
        $a = {3838343830386a666666626a727672666e666e726676626a7666}
    condition:
        all of them
}

rule AUTO_90684700dec1dc45f4dd45f4dc4df4dec1dc0588684700dd5df4 {
    strings:
        $a = {90684700dec1dc45f4dd45f4dc4df4dec1dc0588684700dd5df4}
    condition:
        all of them
}

rule AUTO_2bf30001ebfdc900ff6c50ff6c54ff0460ff9de7aaec390424ff {
    strings:
        $a = {2bf30001ebfdc900ff6c50ff6c54ff0460ff9de7aaec390424ff}
    condition:
        all of them
}

rule AUTO_c10c03c150ff15741140005dc3558bec51a10c925b0083f8fe75 {
    strings:
        $a = {c10c03c150ff15741140005dc3558bec51a10c925b0083f8fe75}
    condition:
        all of them
}

rule AUTO_46627464686e68576276746b4b4665686c6c6772645364564d72 {
    strings:
        $a = {46627464686e68576276746b4b4665686c6c6772645364564d72}
    condition:
        all of them
}

rule AUTO_7068747470646c786a72766672626a6e666a6e72726e726e6e62 {
    strings:
        $a = {7068747470646c786a72766672626a6e666a6e72726e726e6e62}
    condition:
        all of them
}

rule AUTO_6676666a667662726676727676666a766e66726676766e6a7662 {
    strings:
        $a = {6676666a667662726676727676666a766e66726676766e6a7662}
    condition:
        all of them
}

rule AUTO_726e6666666e76726276626e72726276626e7266666e66626e62 {
    strings:
        $a = {726e6666666e76726276626e72726276626e7266666e66626e62}
    condition:
        all of them
}

rule AUTO_000000000000000000000090909090906090b80010400090bb5c {
    strings:
        $a = {000000000000000000000090909090906090b80010400090bb5c}
    condition:
        all of them
}

rule AUTO_626e66726a6e766a62766e666e626a6e6e72766a7272766e6e6a {
    strings:
        $a = {626e66726a6e766a62766e666e626a6e6e72766a7272766e6e6a}
    condition:
        all of them
}

rule AUTO_8d44010c50ff15741140005dc36a1868e8f34800e8ce8effff83 {
    strings:
        $a = {8d44010c50ff15741140005dc36a1868e8f34800e8ce8effff83}
    condition:
        all of them
}

rule AUTO_72666c626a6e767862687062626466706c6864726470686e726c {
    strings:
        $a = {72666c626a6e767862687062626466706c6864726470686e726c}
    condition:
        all of them
}

rule AUTO_6e766a6276667276666e726e76666a627666726a667272766662 {
    strings:
        $a = {6e766a6276667276666e726e76666a627666726a667272766662}
    condition:
        all of them
}

rule AUTO_003cf042003cf042005553455233322e444c4c000050f0420050 {
    strings:
        $a = {003cf042003cf042005553455233322e444c4c000050f0420050}
    condition:
        all of them
}

rule AUTO_6e726e726e6e627266766a667676726e7266666a666e646c6868 {
    strings:
        $a = {6e726e726e6e627266766a667676726e7266666a666e646c6868}
    condition:
        all of them
}

rule AUTO_62767266726272726262766e62726a62726e767662667272766e {
    strings:
        $a = {62767266726272726262766e62726a62726e767662667272766e}
    condition:
        all of them
}

rule AUTO_63637459516a50774e574d625364786c45727954644155514c6c {
    strings:
        $a = {63637459516a50774e574d625364786c45727954644155514c6c}
    condition:
        all of them
}

rule AUTO_6e726e726a6e626a62767266666e6e666272766a6a6e62766272 {
    strings:
        $a = {6e726e726a6e626a62767266666e6e666272766a6a6e62766272}
    condition:
        all of them
}

rule AUTO_6e6a6a6276666a6e6276727666626e7672726a626276666e7262 {
    strings:
        $a = {6e6a6a6276666a6e6276727666626e7672726a626276666e7262}
    condition:
        all of them
}

rule AUTO_555a6e6971726c57644a70626862766454544348545653674368 {
    strings:
        $a = {555a6e6971726c57644a70626862766454544348545653674368}
    condition:
        all of them
}

rule AUTO_6a666276726e6e6e6276626a626e66626a6672766666626a6e78 {
    strings:
        $a = {6a666276726e6e6e6276626a626e66626a6672766666626a6e78}
    condition:
        all of them
}

rule AUTO_647072726965466c76696e685357436c575378784b5a68536a65 {
    strings:
        $a = {647072726965466c76696e685357436c575378784b5a68536a65}
    condition:
        all of them
}

rule AUTO_6a767276666e626a62767262766e766e767272766e766a666e62 {
    strings:
        $a = {6a767276666e626a62767262766e766e767272766e766a666e62}
    condition:
        all of them
}

rule AUTO_8dbd94fbffff68b81eda00b8040b6e10a3a4cf460068b8df4200 {
    strings:
        $a = {8dbd94fbffff68b81eda00b8040b6e10a3a4cf460068b8df4200}
    condition:
        all of them
}

rule AUTO_6e6e6a66704672574156626c6f687264696a6272726464616463 {
    strings:
        $a = {6e6e6a66704672574156626c6f687264696a6272726464616463}
    condition:
        all of them
}

rule AUTO_62726e6a6a7676726672726276626a6e6a6262726e7266626676 {
    strings:
        $a = {62726e6a6a7676726672726276626a6e6a6262726e7266626676}
    condition:
        all of them
}

rule AUTO_0df2a040008755fc2b1578a140006a00b974a4400051bb63a440 {
    strings:
        $a = {0df2a040008755fc2b1578a140006a00b974a4400051bb63a440}
    condition:
        all of them
}

rule AUTO_660fbaf0aa66ffc880f2ddf6da660fc1c066d3e032da3414660f {
    strings:
        $a = {660fbaf0aa66ffc880f2ddf6da660fc1c066d3e032da3414660f}
    condition:
        all of them
}

rule AUTO_00008be55dc23800558bec81ec0c000000c745fc00000000837d {
    strings:
        $a = {00008be55dc23800558bec81ec0c000000c745fc00000000837d}
    condition:
        all of them
}

rule AUTO_dd430057a3c8264600ffd63305c0e4450068a8dd430057a3cc26 {
    strings:
        $a = {dd430057a3c8264600ffd63305c0e4450068a8dd430057a3cc26}
    condition:
        all of them
}

rule AUTO_ff0468400040404000fffffffffc67400070404000fffffffff4 {
    strings:
        $a = {ff0468400040404000fffffffffc67400070404000fffffffff4}
    condition:
        all of them
}

rule AUTO_1040006a0e53ffd65568551140006a1053ffd66a0255ff742420 {
    strings:
        $a = {1040006a0e53ffd65568551140006a1053ffd66a0255ff742420}
    condition:
        all of them
}

rule AUTO_4000e87d4000ec7d4000e07d400090784000ac78400070564600 {
    strings:
        $a = {4000e87d4000ec7d4000e07d400090784000ac78400070564600}
    condition:
        all of them
}

rule AUTO_90909090909081ec9c05000053555657687078400068a8784000 {
    strings:
        $a = {90909090909081ec9c05000053555657687078400068a8784000}
    condition:
        all of them
}

rule AUTO_dcad0221357b799b39e22f2d6219b1de1bfe78853843e52651c7 {
    strings:
        $a = {dcad0221357b799b39e22f2d6219b1de1bfe78853843e52651c7}
    condition:
        all of them
}

rule AUTO_806ca1d71786bf62a378b6fdfbf84b997d1edbfd9fb68854544d {
    strings:
        $a = {806ca1d71786bf62a378b6fdfbf84b997d1edbfd9fb68854544d}
    condition:
        all of them
}

rule AUTO_df4000fedf40006ae040006ae0400023e040006ae040006ae040 {
    strings:
        $a = {df4000fedf40006ae040006ae0400023e040006ae040006ae040}
    condition:
        all of them
}

rule AUTO_6f6f65687266626a666c6e764b4b767165674d646757796c7264 {
    strings:
        $a = {6f6f65687266626a666c6e764b4b767165674d646757796c7264}
    condition:
        all of them
}

rule AUTO_d275d6837d1000751e68448442006a006a5e68548442006a02e8 {
    strings:
        $a = {d275d6837d1000751e68448442006a006a5e68548442006a02e8}
    condition:
        all of them
}

rule AUTO_a052b81bcd824ef1d05ae5d6110f5de9581e9fecdee4e9b8bb35 {
    strings:
        $a = {a052b81bcd824ef1d05ae5d6110f5de9581e9fecdee4e9b8bb35}
    condition:
        all of them
}

rule AUTO_53436e685764724672686e4868556e5353624b6e557664625572 {
    strings:
        $a = {53436e685764724672686e4868556e5353624b6e557664625572}
    condition:
        all of them
}

rule AUTO_6a6676666a6e767262726e66626a726e666a66726e6e6662766e {
    strings:
        $a = {6a6676666a6e767262726e66626a726e666a66726e6e6662766e}
    condition:
        all of them
}

rule AUTO_766e66626a6e626a62727676666e72766e6e6a72727672767662 {
    strings:
        $a = {766e66626a6e626a62727676666e72766e6e6a72727672767662}
    condition:
        all of them
}

rule AUTO_72666666666666727b7b72646664666672667272666672727e72 {
    strings:
        $a = {72666666666666727b7b72646664666672667272666672727e72}
    condition:
        all of them
}

rule AUTO_6868686c6c70646a7874747062666e64786a7276666474766a6a {
    strings:
        $a = {6868686c6c70646a7874747062666e64786a7276666474766a6a}
    condition:
        all of them
}

rule AUTO_qqqqc355545d83ec1053568b750cqqf674188b5d1009db741180 {
    strings:
        $a = {????c355545d83ec1053568b750c??f674188b5d1009db741180}
    condition:
        all of them
}

rule AUTO_00897d50e84cffffff8bb550030000464646893ec385c9741857 {
    strings:
        $a = {00897d50e84cffffff8bb550030000464646893ec385c9741857}
    condition:
        all of them
}

rule AUTO_0050f500d5be1ce323fa8b55fc0bd703d38955f08b9530ffffff {
    strings:
        $a = {0050f500d5be1ce323fa8b55fc0bd703d38955f08b9530ffffff}
    condition:
        all of them
}

rule AUTO_6a6a6a666e6e6676666e7262766e726e6a66626e6672726e6e6a {
    strings:
        $a = {6a6a6a666e6e6676666e7262766e726e6a66626e6672726e6e6a}
    condition:
        all of them
}

rule AUTO_6a6676666e6a6a6a6276726276626e6e6a726e7666666e666e66 {
    strings:
        $a = {6a6676666e6a6a6a6276726276626e6e6a726e7666666e666e66}
    condition:
        all of them
}

rule AUTO_4480f251ef57f74a6b55850d8507f5e8a49e5c8d08ed5c07c550 {
    strings:
        $a = {4480f251ef57f74a6b55850d8507f5e8a49e5c8d08ed5c07c550}
    condition:
        all of them
}

rule AUTO_889372e92b60e957532b6aec2b60e99b64d6b7e818a1a0a0a05f {
    strings:
        $a = {889372e92b60e957532b6aec2b60e99b64d6b7e818a1a0a0a05f}
    condition:
        all of them
}

rule AUTO_6268704770515a7753586e674b536a737769464a4d706e546b61 {
    strings:
        $a = {6268704770515a7753586e674b536a737769464a4d706e546b61}
    condition:
        all of them
}

rule AUTO_005dc355545d83ec1053568b750c09f674188b5d1009db741180 {
    strings:
        $a = {005dc355545d83ec1053568b750c09f674188b5d1009db741180}
    condition:
        all of them
}

rule AUTO_1084e93ef6714dec519d3437fc8d55f086ecbf3373b6fc515060 {
    strings:
        $a = {1084e93ef6714dec519d3437fc8d55f086ecbf3373b6fc515060}
    condition:
        all of them
}

rule AUTO_52525252523ac4766c6c626262585858586262626c6c767699ee {
    strings:
        $a = {52525252523ac4766c6c626262585858586262626c6c767699ee}
    condition:
        all of them
}

rule AUTO_62644a746465674d626e704a62646c6d6c744d706c6464645a56 {
    strings:
        $a = {62644a746465674d626e704a62646c6d6c744d706c6464645a56}
    condition:
        all of them
}

rule AUTO_6e666e6e6e62767266727662627672766e6e6e6a666a6a6a6e62 {
    strings:
        $a = {6e666e6e6e62767266727662627672766e6e6e6a666a6a6a6e62}
    condition:
        all of them
}

rule AUTO_6e667666766e7672627662626a666e766a6272726a7266626a6e {
    strings:
        $a = {6e667666766e7672627662626a666e766a6272726a7266626a6e}
    condition:
        all of them
}

rule AUTO_4b525847556e426e434a444a7844526f724f435174486b464974 {
    strings:
        $a = {4b525847556e426e434a444a7844526f724f435174486b464974}
    condition:
        all of them
}

rule AUTO_5a725a656a6c67434e4b626a57664e44734a6a656c435a645475 {
    strings:
        $a = {5a725a656a6c67434e4b626a57664e44734a6a656c435a645475}
    condition:
        all of them
}

rule AUTO_766a62666a6e6a6e626276626e6272726a6e666a6a6a6e666a6a {
    strings:
        $a = {766a62666a6e6a6e626276626e6272726a6e666a6a6a6e666a6a}
    condition:
        all of them
}

rule AUTO_qq00455854454e4445444b4559004b45595550005343414e434f {
    strings:
        $a = {??00455854454e4445444b4559004b45595550005343414e434f}
    condition:
        all of them
}

rule AUTO_434874766a6e47786267624b54655a646e62686c6e647072696f {
    strings:
        $a = {434874766a6e47786267624b54655a646e62686c6e647072696f}
    condition:
        all of them
}

rule AUTO_007604836d0814a164b84000a36cb840008b4508a380b1400089 {
    strings:
        $a = {007604836d0814a164b84000a36cb840008b4508a380b1400089}
    condition:
        all of them
}

rule AUTO_24d3aa6a6690aa6a6690aa6a666f8f5224d3aa6a6690aa6a6690 {
    strings:
        $a = {24d3aa6a6690aa6a6690aa6a666f8f5224d3aa6a6690aa6a6690}
    condition:
        all of them
}

rule AUTO_6f687c6a6e677c776e677a426e67792c6e6679366e66781f6e66 {
    strings:
        $a = {6f687c6a6e677c776e677a426e67792c6e6679366e66781f6e66}
    condition:
        all of them
}

rule AUTO_4000e87d4000ec7d4000e07d400090784000ac78400034d64e00 {
    strings:
        $a = {4000e87d4000ec7d4000e07d400090784000ac78400034d64e00}
    condition:
        all of them
}

rule AUTO_6664626e6b6c4772645762676e4153536e7256684d654179726c {
    strings:
        $a = {6664626e6b6c4772645762676e4153536e7256684d654179726c}
    condition:
        all of them
}

rule AUTO_00008be55dc20c00558bec81ec0c000000c745fc00000000qqqq {
    strings:
        $a = {00008be55dc20c00558bec81ec0c000000c745fc00000000????}
    condition:
        all of them
}

rule AUTO_6262666e6e6a76726676666a7662726e7262666e72726e766666 {
    strings:
        $a = {6262666e6e6a76726676666a7662726e7262666e72726e766666}
    condition:
        all of them
}

rule AUTO_4a61687261655a486e6d436d6d64736271645746536c78674f69 {
    strings:
        $a = {4a61687261655a486e6d436d6d64736271645746536c78674f69}
    condition:
        all of them
}

rule AUTO_30306474686474746478706c646868786c6c746c787874746470 {
    strings:
        $a = {30306474686474746478706c646868786c6c746c787874746470}
    condition:
        all of them
}

rule AUTO_11bbbb11bb11bb7777bb11bbbb11707711bb7001bbbbbbbb11bb {
    strings:
        $a = {11bbbb11bb11bb7777bb11bbbb11707711bb7001bbbbbbbb11bb}
    condition:
        all of them
}

rule AUTO_6e4c6972576b5a4b6a677362477272577847687843506c4a6574 {
    strings:
        $a = {6e4c6972576b5a4b6a677362477272577847687843506c4a6574}
    condition:
        all of them
}

rule AUTO_716472624b6e4770747867576e4b576d72646561575548784162 {
    strings:
        $a = {716472624b6e4770747867576e4b576d72646561575548784162}
    condition:
        all of them
}

rule AUTO_694a4b70784a66725357704b70626e7048725364734155417868 {
    strings:
        $a = {694a4b70784a66725357704b70626e7048725364734155417868}
    condition:
        all of them
}

rule AUTO_726e66666a6e6e7672666a6e626e6a7672667276666666726676 {
    strings:
        $a = {726e66666a6e6e7672666a6e626e6a7672667276666666726676}
    condition:
        all of them
}

rule AUTO_6a6c5762706e6c6e627064686c64487255554d7948724b687957 {
    strings:
        $a = {6a6c5762706e6c6e627064686c64487255554d7948724b687957}
    condition:
        all of them
}

rule AUTO_90909090909081ec9c0500005355565768607840006898784000 {
    strings:
        $a = {90909090909081ec9c0500005355565768607840006898784000}
    condition:
        all of them
}

rule AUTO_72666e6e6e6a76726a76766272626e6e6a627676726a62766a62 {
    strings:
        $a = {72666e6e6e6a76726a76766272626e6e6a627676726a62766a62}
    condition:
        all of them
}

rule AUTO_766e62626e7666766e766e6276626a7272627666706474787078 {
    strings:
        $a = {766e62626e7666766e766e6276626a7272627666706474787078}
    condition:
        all of them
}

rule AUTO_6a6e6266766a6a6e6a766e62766276727272766e6276766a6272 {
    strings:
        $a = {6a6e6266766a6a6e6a766e62766276727272766e6276766a6272}
    condition:
        all of them
}

rule AUTO_6a6e6272766e62726e7676627662766e6e6662626a6e726a6262 {
    strings:
        $a = {6a6e6272766e62726e7676627662766e6e6662626a6e726a6262}
    condition:
        all of them
}

rule AUTO_7465766455726e72625a64764b55656873656666674f46627055 {
    strings:
        $a = {7465766455726e72625a64764b55656873656666674f46627055}
    condition:
        all of them
}

rule AUTO_400025e940000be940002de94000c030420000000000d3244000 {
    strings:
        $a = {400025e940000be940002de94000c030420000000000d3244000}
    condition:
        all of them
}

rule AUTO_76666e626a6a7672626e766262626a6a766e6e726e6e726e6e72 {
    strings:
        $a = {76666e626a6a7672626e766262626a6a766e6e726e6e726e6e72}
    condition:
        all of them
}

rule AUTO_b99f42c6c5c53ab99fb6c6c5c53ab07fc238bfaac3c5c5b27fc2 {
    strings:
        $a = {b99f42c6c5c53ab99fb6c6c5c53ab07fc238bfaac3c5c5b27fc2}
    condition:
        all of them
}

rule AUTO_6a6662626e6e6272666e76626262726a666a7262766a6e726a6e {
    strings:
        $a = {6a6662626e6e6272666e76626262726a666a7262766a6e726a6e}
    condition:
        all of them
}

rule AUTO_000000000000000000000000906090909090b8001040009090bb {
    strings:
        $a = {000000000000000000000000906090909090b8001040009090bb}
    condition:
        all of them
}

rule AUTO_415362576157536b65626a6c5353627878646c5762575364qq65 {
    strings:
        $a = {415362576157536b65626a6c5353627878646c5762575364??65}
    condition:
        all of them
}

rule AUTO_4400455854454e4445444b4559004b45595550005343414e434f {
    strings:
        $a = {4400455854454e4445444b4559004b45595550005343414e434f}
    condition:
        all of them
}

rule AUTO_qqqq5f5e5b555c5dc390909090909055545d83ec0453568b5d0c {
    strings:
        $a = {????5f5e5b555c5dc390909090909055545d83ec0453568b5d0c}
    condition:
        all of them
}

rule AUTO_05bf000000008bc75a5b595f5ec9c20c00558bec5352565751b8 {
    strings:
        $a = {05bf000000008bc75a5b595f5ec9c20c00558bec5352565751b8}
    condition:
        all of them
}

rule AUTO_ffffff5950ff15581140005dc3558bec568b751033c085f6745e {
    strings:
        $a = {ffffff5950ff15581140005dc3558bec568b751033c085f6745e}
    condition:
        all of them
}

rule AUTO_6a766c7464666c78627276666a6a6266666a6e666e6a6a667262 {
    strings:
        $a = {6a766c7464666c78627276666a6a6266666a6e666e6a6a667262}
    condition:
        all of them
}

rule AUTO_9242b8424242424242b8724b424b724b724b4b724b4b9b9b9b9b {
    strings:
        $a = {9242b8424242424242b8724b424b724b724b4b724b4b9b9b9b9b}
    condition:
        all of them
}

rule AUTO_76e6ead75d16153ec3d4614a73a7dc2d85214a5d1f198928d8f5 {
    strings:
        $a = {76e6ead75d16153ec3d4614a73a7dc2d85214a5d1f198928d8f5}
    condition:
        all of them
}

rule AUTO_415362576157536b65626a6c5353627878646c57625753645565 {
    strings:
        $a = {415362576157536b65626a6c5353627878646c57625753645565}
    condition:
        all of them
}

rule AUTO_5a715353556e576866726c6c64716e79654368727246694d4864 {
    strings:
        $a = {5a715353556e576866726c6c64716e79654368727246694d4864}
    condition:
        all of them
}

rule AUTO_qqqqqq4d626e62786657687355706266747353534d6567727272 {
    strings:
        $a = {??????4d626e62786657687355706266747353534d6567727272}
    condition:
        all of them
}

rule AUTO_6e00000000558bec33c05568b0c3021064ff30648920ff05bcd8 {
    strings:
        $a = {6e00000000558bec33c05568b0c3021064ff30648920ff05bcd8}
    condition:
        all of them
}

rule AUTO_706d56787179484f46654b4b43726c624366577868644b656743 {
    strings:
        $a = {706d56787179484f46654b4b43726c624366577868644b656743}
    condition:
        all of them
}

rule AUTO_003cd042003cd042005553455233322e444c4c000050d0420050 {
    strings:
        $a = {003cd042003cd042005553455233322e444c4c000050d0420050}
    condition:
        all of them
}

rule AUTO_72767266626e767262626e66666e7266666a626666726a766e6e {
    strings:
        $a = {72767266626e767262626e66666e7266666a626666726a766e6e}
    condition:
        all of them
}

rule AUTO_66767276726e6e6e6e66626e626e6e626a62766e6a7662727662 {
    strings:
        $a = {66767276726e6e6e6e66626e626e6e626a62766e6a7662727662}
    condition:
        all of them
}

rule AUTO_000000000000906090909090b80010400090bb5c91400090qqqq {
    strings:
        $a = {000000000000906090909090b80010400090bb5c91400090????}
    condition:
        all of them
}

rule AUTO_6e6666666a6e7676627666726a666e626272726e727276727672 {
    strings:
        $a = {6e6666666a6e7676627666726a666e626272726e727276727672}
    condition:
        all of them
}

rule AUTO_6c6c70687068706874706870686c6c7468646878647068686478 {
    strings:
        $a = {6c6c70687068706874706870686c6c7468646878647068686478}
    condition:
        all of them
}

rule AUTO_766a6a666e6e626a667276626e6a6e666a666a72627262726662 {
    strings:
        $a = {766a6a666e6e626a667276626e6a6e666a666a72627262726662}
    condition:
        all of them
}

rule AUTO_646868787070686a62666e7676726a6266626a6e6662666a6a6e {
    strings:
        $a = {646868787070686a62666e7676726a6266626a6e6662666a6a6e}
    condition:
        all of them
}

rule AUTO_00e9db90030055545d83ec3c5356576a2c8d45c8c745c4300000 {
    strings:
        $a = {00e9db90030055545d83ec3c5356576a2c8d45c8c745c4300000}
    condition:
        all of them
}

rule AUTO_6e6257626a64764d736e53624364486e686e6570436c5766674a {
    strings:
        $a = {6e6257626a64764d736e53624364486e686e6570436c5766674a}
    condition:
        all of them
}

rule AUTO_656e73736e556472646a6c62726e55536c476467676466666553 {
    strings:
        $a = {656e73736e556472646a6c62726e55536c476467676466666553}
    condition:
        all of them
}

rule AUTO_626266666e6a7272626e62766e626266766a6a666e6a6a666a76 {
    strings:
        $a = {626266666e6a7272626e62766e626266766a6a666e6a6a666a76}
    condition:
        all of them
}

rule AUTO_89f05f5e5b555c5dc390909090909055545d83ec0453568b5d0c {
    strings:
        $a = {89f05f5e5b555c5dc390909090909055545d83ec0453568b5d0c}
    condition:
        all of them
}

rule AUTO_686c6c64686468726276766276626e6276726a76726266766a76 {
    strings:
        $a = {686c6c64686468726276766276626e6276726a76726266766a76}
    condition:
        all of them
}

rule AUTO_qqqq0085c075378d45f0508d45f8505756575757ff73508b1d24 {
    strings:
        $a = {????0085c075378d45f0508d45f8505756575757ff73508b1d24}
    condition:
        all of them
}

rule AUTO_c15158c3909055545d83ec1053568b750c33db3bf37415395d10 {
    strings:
        $a = {c15158c3909055545d83ec1053568b750c33db3bf37415395d10}
    condition:
        all of them
}

rule AUTO_ffd66820ec4000ffd66880ec4000ffd668e0ec4000ffd66840ed {
    strings:
        $a = {ffd66820ec4000ffd66880ec4000ffd668e0ec4000ffd66840ed}
    condition:
        all of them
}

rule AUTO_006824bd420057a37cc74600ffd633051c4843006840bd420057 {
    strings:
        $a = {006824bd420057a37cc74600ffd633051c4843006840bd420057}
    condition:
        all of them
}

rule AUTO_3ed69da04185e74d4220829cb00e3c7370e2393ee04829c0bbed {
    strings:
        $a = {3ed69da04185e74d4220829cb00e3c7370e2393ee04829c0bbed}
    condition:
        all of them
}

rule AUTO_66766266766e6a72626a6e6e6662626e6a726e766e6a6e667262 {
    strings:
        $a = {66766266766e6a72626a6e6e6662626e6a726e766e6a6e667262}
    condition:
        all of them
}

rule AUTO_ef0ef3601708244d87341628e71e6a550ee20f23caa1a0361a12 {
    strings:
        $a = {ef0ef3601708244d87341628e71e6a550ee20f23caa1a0361a12}
    condition:
        all of them
}

rule AUTO_e8f08e3add67073f234b0eb0d1762f40437d841451b88ed78138 {
    strings:
        $a = {e8f08e3add67073f234b0eb0d1762f40437d841451b88ed78138}
    condition:
        all of them
}

rule AUTO_7662767666766e726276766a6e666e62726e6e72666e626a6a72 {
    strings:
        $a = {7662767666766e726276766a6e666e62726e6e72666e626a6a72}
    condition:
        all of them
}

rule AUTO_550000a1a0c640005050a1a0c640005050ff35a0c64000e8121f {
    strings:
        $a = {550000a1a0c640005050a1a0c640005050ff35a0c64000e8121f}
    condition:
        all of them
}

rule AUTO_b0430085c075378d45f0508d45f8505756575757ff73508b1d24 {
    strings:
        $a = {b0430085c075378d45f0508d45f8505756575757ff73508b1d24}
    condition:
        all of them
}

rule AUTO_726e6e66726662766276766e76626e62726272666a626a666276 {
    strings:
        $a = {726e6e66726662766276766e76626e62726272666a626a666276}
    condition:
        all of them
}

rule AUTO_6c64766e66626e6e6e666e6666726a6a72627676766a6e726e72 {
    strings:
        $a = {6c64766e66626e6e6e666e6666726a6a72627676766a6e726e72}
    condition:
        all of them
}

rule AUTO_6a7666666a6a626e6262626a6a6e6e767662626e6a6a62626662 {
    strings:
        $a = {6a7666666a6a626e6262626a6a6e6e767662626e6a6a62626662}
    condition:
        all of them
}

rule AUTO_164bffffc9c355545d83ec1053568b750c09f674188b5d1085db {
    strings:
        $a = {164bffffc9c355545d83ec1053568b750c09f674188b5d1085db}
    condition:
        all of them
}

rule AUTO_0050004300500043005553455233322e444c4c00006400430064 {
    strings:
        $a = {0050004300500043005553455233322e444c4c00006400430064}
    condition:
        all of them
}

rule AUTO_7445bf8857400057ff15845240006a286864574000e828080000 {
    strings:
        $a = {7445bf8857400057ff15845240006a286864574000e828080000}
    condition:
        all of them
}

rule AUTO_50e8960f0000590fbfc0c3905589e583ec5c5356578a5d0c8b45 {
    strings:
        $a = {50e8960f0000590fbfc0c3905589e583ec5c5356578a5d0c8b45}
    condition:
        all of them
}

rule AUTO_6e66766e6662626a66786c687870686464686474363638383430 {
    strings:
        $a = {6e66766e6662626a66786c687870686464686474363638383430}
    condition:
        all of them
}

rule AUTO_40444200e82075ffff59c390909090b900474300e946fbffff90 {
    strings:
        $a = {40444200e82075ffff59c390909090b900474300e946fbffff90}
    condition:
        all of them
}

rule AUTO_000000000000000000000000909090906090b80010400090bb5c {
    strings:
        $a = {000000000000000000000000909090906090b80010400090bb5c}
    condition:
        all of them
}

rule AUTO_566a026800000040bfqq21400057ff1534204000568bd88d45c4 {
    strings:
        $a = {566a026800000040bf??21400057ff1534204000568bd88d45c4}
    condition:
        all of them
}

rule AUTO_767262666676766e667276626662726e72666262686874707474 {
    strings:
        $a = {767262666676766e667276626662726e72666262686874707474}
    condition:
        all of them
}

rule AUTO_5ec9c21000558bec5352565751ff7508e8920100008bd0680200 {
    strings:
        $a = {5ec9c21000558bec5352565751ff7508e8920100008bd0680200}
    condition:
        all of them
}

rule AUTO_626868486e48685365624d64686c67474a6e784b626e79796267 {
    strings:
        $a = {626868486e48685365624d64686c67474a6e784b626e79796267}
    condition:
        all of them
}

rule AUTO_ff9c654000b0344000ffffffff9465400020354000ffffffff8c {
    strings:
        $a = {ff9c654000b0344000ffffffff9465400020354000ffffffff8c}
    condition:
        all of them
}

rule AUTO_qqqq0085c075378d45f0508d45f8505756575757ff73508b1dqq {
    strings:
        $a = {????0085c075378d45f0508d45f8505756575757ff73508b1d??}
    condition:
        all of them
}

rule AUTO_726a6a62666278787072646e6c6c646e72703832343438323834 {
    strings:
        $a = {726a6a62666278787072646e6c6c646e72703832343438323834}
    condition:
        all of them
}

rule AUTO_000000906090909090b80010400090bbf87e40009090b98f4e50 {
    strings:
        $a = {000000906090909090b80010400090bbf87e40009090b98f4e50}
    condition:
        all of them
}

rule AUTO_4100fcd5400044d640006ad6400085d640003cd6400041d64000 {
    strings:
        $a = {4100fcd5400044d640006ad6400085d640003cd6400041d64000}
    condition:
        all of them
}

rule AUTO_4000bca44000f0a440001ba5400032a5400040a54000b6e37ee1 {
    strings:
        $a = {4000bca44000f0a440001ba5400032a5400040a54000b6e37ee1}
    condition:
        all of them
}

rule AUTO_6a6a6a626a6676726672626a6676727276666e626e66626e6676 {
    strings:
        $a = {6a6a6a626a6676726672626a6676727276666e626e66626e6676}
    condition:
        all of them
}

rule AUTO_ff7508e8qq2300005d5f5e5b89ec5dc3fc5589e583ec08535657 {
    strings:
        $a = {ff7508e8??2300005d5f5e5b89ec5dc3fc5589e583ec08535657}
    condition:
        all of them
}

rule AUTO_90909090909081ec9c05000053555657687088400068a8884000 {
    strings:
        $a = {90909090909081ec9c05000053555657687088400068a8884000}
    condition:
        all of them
}

rule AUTO_6a6e6a766a6a7276627666726e7672766e726e66646868647870 {
    strings:
        $a = {6a6e6a766a6a7276627666726e7672766e726e66646868647870}
    condition:
        all of them
}

rule AUTO_e068e4974000b8d0104000ffd0ffe0000000180000004c6f6361 {
    strings:
        $a = {e068e4974000b8d0104000ffd0ffe0000000180000004c6f6361}
    condition:
        all of them
}

rule AUTO_5f5e33cd5be8344bffffc9c355545d83ec1053568b750c85f674 {
    strings:
        $a = {5f5e33cd5be8344bffffc9c355545d83ec1053568b750c85f674}
    condition:
        all of them
}

rule AUTO_6e666c6a6e6e74786a7878627068686e78626876647862726e76 {
    strings:
        $a = {6e666c6a6e6e74786a7878627068686e78626876647862726e76}
    condition:
        all of them
}

rule AUTO_000000000000000090909090609090b800104000906a04909090 {
    strings:
        $a = {000000000000000090909090609090b800104000906a04909090}
    condition:
        all of them
}

rule AUTO_0cff3f0500266c54ff6c58ff0460ff9de7aa6c58ff6c78ff4ac2 {
    strings:
        $a = {0cff3f0500266c54ff6c58ff0460ff9de7aa6c58ff6c78ff4ac2}
    condition:
        all of them
}

rule AUTO_6e6c6454637971686e6272625768625372667157616272656563 {
    strings:
        $a = {6e6c6454637971686e6272625768625372667157616272656563}
    condition:
        all of them
}

rule AUTO_6666766a7272667666626e626a7262626a626e72627662626a6a {
    strings:
        $a = {6666766a7272667666626e626a7262626a626e72627662626a6a}
    condition:
        all of them
}

rule AUTO_ccfdffff007d206a506898334000ffb5d0fdffffffb5ccfdffff {
    strings:
        $a = {ccfdffff007d206a506898334000ffb5d0fdffffffb5ccfdffff}
    condition:
        all of them
}

rule AUTO_6e726a626a6a6e72627676626a6e6e626e726666666666767672 {
    strings:
        $a = {6e726a626a6a6e72627676626a6e6e626e726666666666767672}
    condition:
        all of them
}

rule AUTO_686470746c646864647878746c70686c6878686870746c68706c {
    strings:
        $a = {686470746c646864647878746c70686c6878686870746c68706c}
    condition:
        all of them
}

rule AUTO_4f6e664d45674d525644515042426e4a4d47774d55464145764b {
    strings:
        $a = {4f6e664d45674d525644515042426e4a4d47774d55464145764b}
    condition:
        all of them
}

rule AUTO_11bb77bbbb117777111111bb77bbbb117701bb11bbbb70bb1111 {
    strings:
        $a = {11bb77bbbb117777111111bb77bbbb117701bb11bbbb70bb1111}
    condition:
        all of them
}

rule AUTO_6a6e72626a6a7672666a76626e76726e6e76626e626e6e766a66 {
    strings:
        $a = {6a6e72626a6a7672666a76626e76726e6e76626e626e6e766a66}
    condition:
        all of them
}

rule AUTO_00cccccccccc55545d83ec20535657qqqq895df08bd18955e88b {
    strings:
        $a = {00cccccccccc55545d83ec20535657????895df08bd18955e88b}
    condition:
        all of them
}

rule AUTO_72666a6e6e626a6e6262766676766a726e7662626e6e62727676 {
    strings:
        $a = {72666a6e6e626a6e6262766676766a726e7662626e6e62727676}
    condition:
        all of them
}

rule AUTO_c35bqqqq5dc355545d83ec5c53565751518d4dc4e85dfeffff51 {
    strings:
        $a = {c35b????5dc355545d83ec5c53565751518d4dc4e85dfeffff51}
    condition:
        all of them
}

rule AUTO_ff7508e8de2300005d5f5e5b89ec5dc3fc5589e583ec08535657 {
    strings:
        $a = {ff7508e8de2300005d5f5e5b89ec5dc3fc5589e583ec08535657}
    condition:
        all of them
}

rule AUTO_04588be55dc20400558bec81ecqq000000c745fc00000000qqqq {
    strings:
        $a = {04588be55dc20400558bec81ec??000000c745fc00000000????}
    condition:
        all of them
}

rule AUTO_420057a3cc2d4600ffd668a469420057a3d02d4600ffd6689c69 {
    strings:
        $a = {420057a3cc2d4600ffd668a469420057a3d02d4600ffd6689c69}
    condition:
        all of them
}

rule AUTO_667276666a6e6a6e6e7676666262726a6a666a7262766e6a6676 {
    strings:
        $a = {667276666a6e6a6e6e7676666262726a6a666a7262766e6a6676}
    condition:
        all of them
}

rule AUTO_66626e667676626e6e6a76667662766a72626e767276766e7262 {
    strings:
        $a = {66626e667676626e6e6a76667662766a72626e767276766e7262}
    condition:
        all of them
}

rule AUTO_e289854cffffff83bd4cffffff007d236a1468c85540008b8d50 {
    strings:
        $a = {e289854cffffff83bd4cffffff007d236a1468c85540008b8d50}
    condition:
        all of them
}

rule AUTO_767676666a6e72766676626a666272727672726e766e6e666266 {
    strings:
        $a = {767676666a6e72766676626a666272727672726e766e6e666266}
    condition:
        all of them
}

rule AUTO_000000000000000000909090609090b8001040009090bbcc8e40 {
    strings:
        $a = {000000000000000000909090609090b8001040009090bbcc8e40}
    condition:
        all of them
}

rule AUTO_64746c687864686e626e766a666a667272667672766e62727672 {
    strings:
        $a = {64746c687864686e626e766a666a667272667672766e62727672}
    condition:
        all of them
}

rule AUTO_76627666726e6676627262767672626e626a666e6e7272626272 {
    strings:
        $a = {76627666726e6676627262767672626e626a666e6e7272626272}
    condition:
        all of them
}

rule AUTO_6a6a6a66726e627266767662767672766e626262726662667676 {
    strings:
        $a = {6a6a6a66726e627266767662767672766e626262726662667676}
    condition:
        all of them
}

rule AUTO_5e5bqqqq5dc355545d83ec585356578bf9897dc88b47108b4f08 {
    strings:
        $a = {5e5b????5dc355545d83ec585356578bf9897dc88b47108b4f08}
    condition:
        all of them
}

rule AUTO_4d68576c57436857646c57676e707664744f474765434b687155 {
    strings:
        $a = {4d68576c57436857646c57676e707664744f474765434b687155}
    condition:
        all of them
}

rule AUTO_616c6e64646e4a5762576357726655486a65736565684353726a {
    strings:
        $a = {616c6e64646e4a5762576357726655486a65736565684353726a}
    condition:
        all of them
}

rule AUTO_ffe3cd4000e7cd4000feffffff97cd4000abcd4000feffffff00 {
    strings:
        $a = {ffe3cd4000e7cd4000feffffff97cd4000abcd4000feffffff00}
    condition:
        all of them
}

rule AUTO_5f5ec20c00558bec81ec0c000000c745fc000000008965f8b800 {
    strings:
        $a = {5f5ec20c00558bec81ec0c000000c745fc000000008965f8b800}
    condition:
        all of them
}

rule AUTO_6142005ec9c355545d83ec185356576a19e8e9f2ffffff7508e8 {
    strings:
        $a = {6142005ec9c355545d83ec185356576a19e8e9f2ffffff7508e8}
    condition:
        all of them
}

rule AUTO_0000000000648d410004000000c0104000343e4000403e400044 {
    strings:
        $a = {0000000000648d410004000000c0104000343e4000403e400044}
    condition:
        all of them
}

rule AUTO_6a726a6f6a6c6a706a78536a206a74536a6e6a72536a746a6e6a {
    strings:
        $a = {6a726a6f6a6c6a706a78536a206a74536a6e6a72536a746a6e6a}
    condition:
        all of them
}

rule AUTO_be00010000566a08ff7568ff15143040008945583bc30f8464fe {
    strings:
        $a = {be00010000566a08ff7568ff15143040008945583bc30f8464fe}
    condition:
        all of them
}

rule AUTO_64890d00000000595f5e5b8be55dc355545d83ec58535657515f {
    strings:
        $a = {64890d00000000595f5e5b8be55dc355545d83ec58535657515f}
    condition:
        all of them
}

rule AUTO_6e6a6a666a66726e72666a66666a727676667262766662726276 {
    strings:
        $a = {6e6a6a666a66726e72666a66666a727676667262766662726276}
    condition:
        all of them
}

rule AUTO_5b5ec9c3909055545d83ec1053568b750c29db578b7d103bf375 {
    strings:
        $a = {5b5ec9c3909055545d83ec1053568b750c29db578b7d103bf375}
    condition:
        all of them
}

rule AUTO_1fff75fcff155020400056565656ff75fcff155420400085c074 {
    strings:
        $a = {1fff75fcff155020400056565656ff75fcff155420400085c074}
    condition:
        all of them
}

rule AUTO_e55dc2qq00558bec81ec0c000000c745fc000000006801030080 {
    strings:
        $a = {e55dc2??00558bec81ec0c000000c745fc000000006801030080}
    condition:
        all of them
}

rule AUTO_qqfde60800e80200176c50ff6c54ff0460ff9de7aaf500010000 {
    strings:
        $a = {??fde60800e80200176c50ff6c54ff0460ff9de7aaf500010000}
    condition:
        all of them
}

rule AUTO_4000f8354000b4344000ae344000a8344000a23440009c344000 {
    strings:
        $a = {4000f8354000b4344000ae344000a8344000a23440009c344000}
    condition:
        all of them
}

rule AUTO_8b00ffd66a1a57a30026a300ffd66a0457a3acdb4000ffd66a5c {
    strings:
        $a = {8b00ffd66a1a57a30026a300ffd66a0457a3acdb4000ffd66a5c}
    condition:
        all of them
}

rule AUTO_6e726e666a6a76726676767672766a6a72727672626e6e666a66 {
    strings:
        $a = {6e726e666a6a76726676767672766a6a72727672626e6e666a66}
    condition:
        all of them
}

rule AUTO_6c4e6d44756a7a727178776770624264714b4b5371687648486c {
    strings:
        $a = {6c4e6d44756a7a727178776770624264714b4b5371687648486c}
    condition:
        all of them
}

rule AUTO_7c1a6a006846e100006811010000ff761cff1544e441006a0158 {
    strings:
        $a = {7c1a6a006846e100006811010000ff761cff1544e441006a0158}
    condition:
        all of them
}

rule AUTO_c390909090909090906878104000e84636000083c404c3909068 {
    strings:
        $a = {c390909090909090906878104000e84636000083c404c3909068}
    condition:
        all of them
}

rule AUTO_6862030000ff701cff156cb54200834dfcff8d4d08e841edfeff {
    strings:
        $a = {6862030000ff701cff156cb54200834dfcff8d4d08e841edfeff}
    condition:
        all of them
}

rule AUTO_746c646464747870646c78706c64687864646864687464746c6c {
    strings:
        $a = {746c646464747870646c78706c64687864646864687464746c6c}
    condition:
        all of them
}

rule AUTO_62436c65786a5572626c68686e626c64686271536c716c707662 {
    strings:
        $a = {62436c65786a5572626c68686e626c64686271536c716c707662}
    condition:
        all of them
}

rule AUTO_66626a626a6a7672626e62666a626a766e6e6a6e6e6266727272 {
    strings:
        $a = {66626a626a6a7672626e62666a626a766e6e6a6e6e6266727272}
    condition:
        all of them
}

rule AUTO_ff6a04683d4040006a046a0068a03b4000ff3597644000e85204 {
    strings:
        $a = {ff6a04683d4040006a046a0068a03b4000ff3597644000e85204}
    condition:
        all of them
}

rule AUTO_154a5667615177724770657a6761421515fa174a66707d4a737c {
    strings:
        $a = {154a5667615177724770657a6761421515fa174a66707d4a737c}
    condition:
        all of them
}

rule AUTO_3230363036323238726a666e626e66767266766a6676766a6e6a {
    strings:
        $a = {3230363036323238726a666e626e66767266766a6676766a6e6a}
    condition:
        all of them
}

rule AUTO_6e6e6e62666e626e666a727666767266626e76726e7266626a6e {
    strings:
        $a = {6e6e6e62666e626e666a727666767266626e76726e7266626a6e}
    condition:
        all of them
}

rule AUTO_466a6c6e676f62784a72726267626b664b6d41676c73616e7879 {
    strings:
        $a = {466a6c6e676f62784a72726267626b664b6d41676c73616e7879}
    condition:
        all of them
}

rule AUTO_70696c4b727855417370434e766254416e726c55444e56786e78 {
    strings:
        $a = {70696c4b727855417370434e766254416e726c55444e56786e78}
    condition:
        all of them
}

rule AUTO_644b566464785472626c70555747686e546456616c686464645a {
    strings:
        $a = {644b566464785472626c70555747686e546456616c686464645a}
    condition:
        all of them
}

rule AUTO_c939056c9459000f94c15158c3606155545d83ec1053568b750c {
    strings:
        $a = {c939056c9459000f94c15158c3606155545d83ec1053568b750c}
    condition:
        all of them
}

rule AUTO_4200689489420057ffd6688889420057a37c6e4600ffd6687c89 {
    strings:
        $a = {4200689489420057ffd6688889420057a37c6e4600ffd6687c89}
    condition:
        all of them
}

rule AUTO_a3e825a300ffd66a0457a394db4000ffd66a0a57a3cc126a00ff {
    strings:
        $a = {a3e825a300ffd66a0457a394db4000ffd66a0a57a3cc126a00ff}
    condition:
        all of them
}

rule AUTO_0000000000000000qqqq9090909090b800104000qqqqqq909090 {
    strings:
        $a = {0000000000000000????9090909090b800104000??????909090}
    condition:
        all of them
}

rule AUTO_6e6e6e62766e7672627676766a627272766662726e72666a726a {
    strings:
        $a = {6e6e6e62766e7672627676766a627272766662726e72666a726a}
    condition:
        all of them
}

rule AUTO_85c075378d45f0508d45f8505756575757ff73508b1d18a04100 {
    strings:
        $a = {85c075378d45f0508d45f8505756575757ff73508b1d18a04100}
    condition:
        all of them
}

rule AUTO_6a6a6a76626e76726e62666a666e6e666e666a6a667662767662 {
    strings:
        $a = {6a6a6a76626e76726e62666a666e6e666e666a6a667662767662}
    condition:
        all of them
}

rule AUTO_fdfbffff5b3e408d31531156383e8b4ffc57821fb0c234c80c08 {
    strings:
        $a = {fdfbffff5b3e408d31531156383e8b4ffc57821fb0c234c80c08}
    condition:
        all of them
}

rule AUTO_6e626e6a766e6a6e6a6a72627662766e66767662666a6a6a6262 {
    strings:
        $a = {6e626e6a766e6a6e6a6a72627662766e66767662666a6a6a6262}
    condition:
        all of them
}

rule AUTO_2050ff156c1140005dc36a1068987a4700e8e0b5ffff29db8bf3 {
    strings:
        $a = {2050ff156c1140005dc36a1068987a4700e8e0b5ffff29db8bf3}
    condition:
        all of them
}

rule AUTO_726e6e666e6e76726272666262726a626a626e766662726e6a6a {
    strings:
        $a = {726e6e666e6e76726272666262726a626a626e766662726e6a6a}
    condition:
        all of them
}

rule AUTO_6e6e7647784355754b727262536e76676e4a486962646479764d {
    strings:
        $a = {6e6e7647784355754b727262536e76676e4a486962646479764d}
    condition:
        all of them
}

rule AUTO_a3566540006a006a00684d304000ff1556654000506858304000 {
    strings:
        $a = {a3566540006a006a00684d304000ff1556654000506858304000}
    condition:
        all of them
}

rule AUTO_00000054214000e42240006426400000cbccc8c9d7cfc8cdcedb {
    strings:
        $a = {00000054214000e42240006426400000cbccc8c9d7cfc8cdcedb}
    condition:
        all of them
}

rule AUTO_5bc9c3609090909090b80010400090bb5c91400090b972608f43 {
    strings:
        $a = {5bc9c3609090909090b80010400090bb5c91400090b972608f43}
    condition:
        all of them
}

rule AUTO_6a00ff15e8a040006a006a006810b940006a006a008d8de8fdff {
    strings:
        $a = {6a00ff15e8a040006a006a006810b940006a006a008d8de8fdff}
    condition:
        all of them
}

rule AUTO_6e76766a6a6e626a627276666a726a6662726e6e6a72626a6a62 {
    strings:
        $a = {6e76766a6a6e626a627276666a726a6662726e6e6a72626a6a62}
    condition:
        all of them
}

rule AUTO_000000000000000090909090609090b80010400090bb5c914000 {
    strings:
        $a = {000000000000000090909090609090b80010400090bb5c914000}
    condition:
        all of them
}

rule AUTO_57450057a394684600ffd6833d8c684600008b35a0414500a398 {
    strings:
        $a = {57450057a394684600ffd6833d8c684600008b35a0414500a398}
    condition:
        all of them
}

rule AUTO_48349434a634ac34000001004000000060323c34403444344834 {
    strings:
        $a = {48349434a634ac34000001004000000060323c34403444344834}
    condition:
        all of them
}

rule AUTO_4d566a6a646e464d47726468677662666a5757656c4a55696e6a {
    strings:
        $a = {4d566a6a646e464d47726468677662666a5757656c4a55696e6a}
    condition:
        all of them
}

rule AUTO_b74a23fa8b55e40bd703d38955e48b559c8bda8bfae9c4730000 {
    strings:
        $a = {b74a23fa8b55e40bd703d38955e48b559c8bda8bfae9c4730000}
    condition:
        all of them
}

rule AUTO_2050ff156c1140005dc36a106818764700e8e0b5ffff29db535e {
    strings:
        $a = {2050ff156c1140005dc36a106818764700e8e0b5ffff29db535e}
    condition:
        all of them
}

rule AUTO_5364646467617870647267655357746e6e534d48667148706555 {
    strings:
        $a = {5364646467617870647267655357746e6e534d48667148706555}
    condition:
        all of them
}

rule AUTO_4d6e73666c63684f5365644643786e4a57646c726268766d6673 {
    strings:
        $a = {4d6e73666c63684f5365644643786e4a57646c726268766d6673}
    condition:
        all of them
}

rule AUTO_726e6e626e766a76627662726e66726e667262726e76666a6e64 {
    strings:
        $a = {726e6e626e766a76627662726e66726e667262726e76666a6e64}
    condition:
        all of them
}

rule AUTO_786b71714277676a6268444a46644744725572547a6f4c6c5970 {
    strings:
        $a = {786b71714277676a6268444a46644744725572547a6f4c6c5970}
    condition:
        all of them
}

rule AUTO_78786864786e76726a6a6262766e6e6666666666727878686870 {
    strings:
        $a = {78786864786e76726a6a6262766e6e6666666666727878686870}
    condition:
        all of them
}

rule AUTO_704f58595a43664d765758624b647951677a56756167766f6156 {
    strings:
        $a = {704f58595a43664d765758624b647951677a56756167766f6156}
    condition:
        all of them
}

rule AUTO_6e62766a76626272666a76626262767672726e62666662666a76 {
    strings:
        $a = {6e62766a76626272666a76626262767672726e62666662666a76}
    condition:
        all of them
}

rule AUTO_72766e627666726e62626e66666a7676766e666e726e6e726662 {
    strings:
        $a = {72766e627666726e62626e66666a7676766e666e726e6e726662}
    condition:
        all of them
}

rule AUTO_000000000000000000909060909090b80010400090909090906a {
    strings:
        $a = {000000000000000000909060909090b80010400090909090906a}
    condition:
        all of them
}

rule AUTO_b7766562e983145814855037959cf81c387c6ab88164888baa43 {
    strings:
        $a = {b7766562e983145814855037959cf81c387c6ab88164888baa43}
    condition:
        all of them
}

rule AUTO_d275d6837d1000751e68146442006a006a5e68246442006a02e8 {
    strings:
        $a = {d275d6837d1000751e68146442006a006a5e68246442006a02e8}
    condition:
        all of them
}

rule AUTO_5252454e545f55534552222c226c705375624b65792d3e536f66 {
    strings:
        $a = {5252454e545f55534552222c226c705375624b65792d3e536f66}
    condition:
        all of them
}

rule AUTO_746c70626a6e6a7262766a6666626e6e6e666e62667272666676 {
    strings:
        $a = {746c70626a6e6a7262766a6666626e6e6e666e62667272666676}
    condition:
        all of them
}

rule AUTO_666e6266766e626a666a6e627676766e766e726666626a6a7272 {
    strings:
        $a = {666e6266766e626a666a6e627676766e766e726666626a6a7272}
    condition:
        all of them
}

rule AUTO_626e62667272766e72766e6a666a6e6a7262726a66766e6a6676 {
    strings:
        $a = {626e62667272766e72766e6a666a6e6a7262726a66766e6a6676}
    condition:
        all of them
}

rule AUTO_qqqqqqqqqqc355545d83ec1053568b750c09f674188b5d1009db {
    strings:
        $a = {??????????c355545d83ec1053568b750c09f674188b5d1009db}
    condition:
        all of them
}

rule AUTO_6a626666766a6e7262766276726e6266626e6a6e667676767272 {
    strings:
        $a = {6a626666766a6e7262766276726e6266626e6a6e667676767272}
    condition:
        all of them
}

rule AUTO_6e666a62626e627662766272766e726e766a626e6e6a62727266 {
    strings:
        $a = {6e666a62626e627662766272766e726e766a626e6e6a62727266}
    condition:
        all of them
}

rule AUTO_6a6262726e66626a627276666a72727676626e6272726a627662 {
    strings:
        $a = {6a6262726e66626a627276666a72727676626e6272726a627662}
    condition:
        all of them
}

rule AUTO_66766e626a6a7672626a6a62626e726e6a72626e7266626a626e {
    strings:
        $a = {66766e626a6a7672626a6a62626e726e6a72626e7266626a626e}
    condition:
        all of them
}

rule AUTO_0c50ff156c1140005dc36a186808104600e8ce8effff834de4ff {
    strings:
        $a = {0c50ff156c1140005dc36a186808104600e8ce8effff834de4ff}
    condition:
        all of them
}

rule AUTO_76626e6e726e66726276766e6e6a6e667266726a62626a6a7676 {
    strings:
        $a = {76626e6e726e66726276766e6e6a6e667266726a62626a6a7676}
    condition:
        all of them
}

rule AUTO_466c566641646e537972436c61714b745743577253576e785367 {
    strings:
        $a = {466c566641646e537972436c61714b745743577253576e785367}
    condition:
        all of them
}

rule AUTO_010000686c5540008b0350e883efffffa3a4b640006888554000 {
    strings:
        $a = {010000686c5540008b0350e883efffffa3a4b640006888554000}
    condition:
        all of them
}

rule AUTO_6b714543676e4a6a626c70414b626b5057674c457144544e5644 {
    strings:
        $a = {6b714543676e4a6a626c70414b626b5057674c457144544e5644}
    condition:
        all of them
}

rule AUTO_46b696ea4ca968be828e9a38d19fe4c0c81f48a613cf35d660c8 {
    strings:
        $a = {46b696ea4ca968be828e9a38d19fe4c0c81f48a613cf35d660c8}
    condition:
        all of them
}

rule AUTO_4f585a6c78596d6d6c576a6c42674464576e7278666a786a514d {
    strings:
        $a = {4f585a6c78596d6d6c576a6c42674464576e7278666a786a514d}
    condition:
        all of them
}

rule AUTO_100000a15051400085c07458a3503040008b15dc61400085d20f {
    strings:
        $a = {100000a15051400085c07458a3503040008b15dc61400085d20f}
    condition:
        all of them
}

rule AUTO_6e6266666e6e7676626a666c646c6c746c74647870746c647878 {
    strings:
        $a = {6e6266666e6e7676626a666c646c6c746c74647870746c647878}
    condition:
        all of them
}

rule AUTO_656e6962576e4672644b6862664378486a64486c74705753536f {
    strings:
        $a = {656e6962576e4672644b6862664378486a64486c74705753536f}
    condition:
        all of them
}

rule AUTO_5446425270686c6262564b57476e6e684d4772766441514a6356 {
    strings:
        $a = {5446425270686c6262564b57476e6e684d4772766441514a6356}
    condition:
        all of them
}

rule AUTO_68c4fe4000bdd3e090c3c35dd3e040d3e05768e0fe400068dbfe {
    strings:
        $a = {68c4fe4000bdd3e090c3c35dd3e040d3e05768e0fe400068dbfe}
    condition:
        all of them
}

rule AUTO_ff85c0742268984d400053e863ebffffa3bcc6400068a84d4000 {
    strings:
        $a = {ff85c0742268984d400053e863ebffffa3bcc6400068a84d4000}
    condition:
        all of them
}

rule AUTO_62666e6e666a6a7262727666766e7266767272626a7276626276 {
    strings:
        $a = {62666e6e666a6a7262727666766e7266767272626a7276626276}
    condition:
        all of them
}

rule AUTO_70786c6467626457624b6e6c7064726c7264676e6d536e4b645a {
    strings:
        $a = {70786c6467626457624b6e6c7064726c7264676e6d536e4b645a}
    condition:
        all of them
}

rule AUTO_000000000000000000906090909090b800104000909090906a04 {
    strings:
        $a = {000000000000000000906090909090b800104000909090906a04}
    condition:
        all of them
}

rule AUTO_cd5be86df2feffc9c355545d83ec1053568b750c85f674188b5d {
    strings:
        $a = {cd5be86df2feffc9c355545d83ec1053568b750c85f674188b5d}
    condition:
        all of them
}

rule AUTO_736e6c5454556d654b4a675365784b6e68625370676d47676e55 {
    strings:
        $a = {736e6c5454556d654b4a675365784b6e68625370676d47676e55}
    condition:
        all of them
}

rule AUTO_6df2feffc9c355545d83ec1053568b750c09f674188b5d1009db {
    strings:
        $a = {6df2feffc9c355545d83ec1053568b750c09f674188b5d1009db}
    condition:
        all of them
}

rule AUTO_a4c54300997e40001a8e4000877e40002d8e4000ae5f4000b37e {
    strings:
        $a = {a4c54300997e40001a8e4000877e40002d8e4000ae5f4000b37e}
    condition:
        all of them
}

rule AUTO_677375434f6e5357626c4466647155674d6c5042736e56534770 {
    strings:
        $a = {677375434f6e5357626c4466647155674d6c5042736e56534770}
    condition:
        all of them
}

rule AUTO_c2420057a3403d4600ffd6833d283b460002a3443d4600751e68 {
    strings:
        $a = {c2420057a3403d4600ffd6833d283b460002a3443d4600751e68}
    condition:
        all of them
}

rule AUTO_7662626e6a6e626a62767262666e726e6e727266766272726276 {
    strings:
        $a = {7662626e6a6e626a62767262666e726e6e727266766272726276}
    condition:
        all of them
}

rule AUTO_7262666262727672626e62726272666a72626a6e666662766e6a {
    strings:
        $a = {7262666262727672626e62726272666a72626a6e666662766e6a}
    condition:
        all of them
}

rule AUTO_6c6862666a76766e626e6676766e726272626e666a7672626e62 {
    strings:
        $a = {6c6862666a76766e626e6676766e726272626e666a7672626e62}
    condition:
        all of them
}

rule AUTO_7a5677647764484d6276704e4b68574a776c466f78687a494c52 {
    strings:
        $a = {7a5677647764484d6276704e4b68574a776c466f78687a494c52}
    condition:
        all of them
}

rule AUTO_726e6662766e7676626e6666626a6a6e6e626a76666e766a6a6e {
    strings:
        $a = {726e6662766e7676626e6666626a6a6e6e626a76666e766a6a6e}
    condition:
        all of them
}

rule AUTO_7266767676666e7262726e6a666262626e726a6a766e7262626a {
    strings:
        $a = {7266767676666e7262726e6a666262626e726a6a766e7262626a}
    condition:
        all of them
}

rule AUTO_59c390909090b9f8444000ff25e43040009090909090ff25cc30 {
    strings:
        $a = {59c390909090b9f8444000ff25e43040009090909090ff25cc30}
    condition:
        all of them
}

rule AUTO_24fde00f16b1823ee21e6e89b0bbc339b0f39e3ed81c475a8c53 {
    strings:
        $a = {24fde00f16b1823ee21e6e89b0bbc339b0f39e3ed81c475a8c53}
    condition:
        all of them
}

rule AUTO_6672766266666a726672766a6a666e62726272666a666e6a6276 {
    strings:
        $a = {6672766266666a726672766a6a666e62726272666a666e6a6276}
    condition:
        all of them
}

rule AUTO_667666666a72627262766676626272666a6a7672667262666e66 {
    strings:
        $a = {667666666a72627262766676626272666a6a7672667262666e66}
    condition:
        all of them
}

rule AUTO_626e6a666672727262766e666e62726e6a6e72626e7268707870 {
    strings:
        $a = {626e6a666672727262766e666e62726e6a6e72626e7268707870}
    condition:
        all of them
}

rule AUTO_c150ff156c1147005dc3558bec51a17c2e520083f8fe750ae896 {
    strings:
        $a = {c150ff156c1147005dc3558bec51a17c2e520083f8fe750ae896}
    condition:
        all of them
}

rule AUTO_6e6e6a6a766e6e6a6262726676626a6e766e6262666a6e6e666a {
    strings:
        $a = {6e6e6a6a766e6e6a6262726676626a6e766e6262666a6e6e666a}
    condition:
        all of them
}

rule AUTO_66726a626e6e6a76626e72766e626e6e6a6e666a627272666a6e {
    strings:
        $a = {66726a626e6e6a76626e72766e626e6e6a6e666a627272666a6e}
    condition:
        all of them
}

rule AUTO_6e667266726a76726e6a6e62626a6e7272666672666a6a72766a {
    strings:
        $a = {6e667266726a76726e6a6e62626a6e7272666672666a6a72766a}
    condition:
        all of them
}

rule AUTO_c07418837d0cff7416ff750c6aecff7510ff15f0d4480085c075 {
    strings:
        $a = {c07418837d0cff7416ff750c6aecff7510ff15f0d4480085c075}
    condition:
        all of them
}

rule AUTO_5950ff15581140005dc3558bec568b751033c009f6745e8b4d0c {
    strings:
        $a = {5950ff15581140005dc3558bec568b751033c009f6745e8b4d0c}
    condition:
        all of them
}

rule AUTO_4000bdd3e090c3c35dd3e040d3e05768d7cf400068d2cf4000bf {
    strings:
        $a = {4000bdd3e090c3c35dd3e040d3e05768d7cf400068d2cf4000bf}
    condition:
        all of them
}

rule AUTO_56647374626477446b6b6467527b49586b7278434c576a714146 {
    strings:
        $a = {56647374626477446b6b6467527b49586b7278434c576a714146}
    condition:
        all of them
}

rule AUTO_66626a6e6e66626e666a6a7676666a6e6e62766e6e66666a6e6a {
    strings:
        $a = {66626a6e6e66626e666a6a7676666a6e6e62766e6e66666a6e6a}
    condition:
        all of them
}

rule AUTO_000000000000000000000000909060909090b8001040009090bb {
    strings:
        $a = {000000000000000000000000909060909090b8001040009090bb}
    condition:
        all of them
}

rule AUTO_4e430057a314754500ffd6330560344500a31875450068144e43 {
    strings:
        $a = {4e430057a314754500ffd6330560344500a31875450068144e43}
    condition:
        all of them
}

rule AUTO_000000000000000000000090906090909090b800104000bbqqqq {
    strings:
        $a = {000000000000000000000090906090909090b800104000bb????}
    condition:
        all of them
}

rule AUTO_6c466e666564745774786e626b43626e4d6e64644f786e68626c {
    strings:
        $a = {6c466e666564745774786e626b43626e4d6e64644f786e68626c}
    condition:
        all of them
}

rule AUTO_000000000000000090909060909090b800104000906a04909090 {
    strings:
        $a = {000000000000000090909060909090b800104000906a04909090}
    condition:
        all of them
}

rule AUTO_476d6a7068544e70627a444a704e7263764942475758626f4b4a {
    strings:
        $a = {476d6a7068544e70627a444a704e7263764942475758626f4b4a}
    condition:
        all of them
}

rule AUTO_01ebfdc900ff6c50ff6c54ff0460ff9de7aaec390424ff0aqqqq {
    strings:
        $a = {01ebfdc900ff6c50ff6c54ff0460ff9de7aaec390424ff0a????}
    condition:
        all of them
}

rule AUTO_003ca5400040a54000ffffffff00000000bea5400000000000aa {
    strings:
        $a = {003ca5400040a54000ffffffff00000000bea5400000000000aa}
    condition:
        all of them
}

rule AUTO_6a666a6e6276666e66626a6e6666666a6a667272666276767666 {
    strings:
        $a = {6a666a6e6276666e66626a6e6666666a6a667272666276767666}
    condition:
        all of them
}

rule AUTO_5040008d4401f7a3145040006878ba4000ff15044040008b45fc {
    strings:
        $a = {5040008d4401f7a3145040006878ba4000ff15044040008b45fc}
    condition:
        all of them
}

rule AUTO_23fde60800e80200176c50ff6c54ff0460ff9de7aaf500010000 {
    strings:
        $a = {23fde60800e80200176c50ff6c54ff0460ff9de7aaf500010000}
    condition:
        all of them
}

rule AUTO_6e626a6a6e6e726a6676766a6e6e6e62726a726a666e7272726a {
    strings:
        $a = {6e626a6a6e6e726a6676766a6e6e6e62726a726a666e7272726a}
    condition:
        all of them
}

rule AUTO_006a0468a43e40006a046a00689f3b4000ff3547624000e85205 {
    strings:
        $a = {006a0468a43e40006a046a00689f3b4000ff3547624000e85205}
    condition:
        all of them
}

rule AUTO_69656d47675776786468474a6753707067767879716c69746472 {
    strings:
        $a = {69656d47675776786468474a6753707067767879716c69746472}
    condition:
        all of them
}

rule AUTO_6e6a76726e66626a666e7662626a6a7672626e7666626e6a7272 {
    strings:
        $a = {6e6a76726e66626a666e7662626a6a7672626e7666626e6a7272}
    condition:
        all of them
}

rule AUTO_748d444104506a08ff7568ff15143040008945603bc30f8440ff {
    strings:
        $a = {748d444104506a08ff7568ff15143040008945603bc30f8440ff}
    condition:
        all of them
}

rule AUTO_8bc1c355545d83ec1053568b750cqqdb3bf3578b7d1075113bfb {
    strings:
        $a = {8bc1c355545d83ec1053568b750c??db3bf3578b7d1075113bfb}
    condition:
        all of them
}

rule AUTO_154a5667615177724770657a67614215158c144a7c7b7c616170 {
    strings:
        $a = {154a5667615177724770657a67614215158c144a7c7b7c616170}
    condition:
        all of them
}

rule AUTO_70686c6464646c70747064686c6874786c64646868646c687070 {
    strings:
        $a = {70686c6464646c70747064686c6874786c64646868646c687070}
    condition:
        all of them
}

rule AUTO_646c6864747266666a626e6a6e7266666a6a726a62766e6a6e68 {
    strings:
        $a = {646c6864747266666a626e6a6e7266666a6a726a62766e6a6e68}
    condition:
        all of them
}

rule AUTO_4000d1e0a3145040006878ba4000ff1504404000e926ffffffa1 {
    strings:
        $a = {4000d1e0a3145040006878ba4000ff1504404000e926ffffffa1}
    condition:
        all of them
}

rule AUTO_687e654000bdd3e090c3c35dd3e040d3e057689a654000689565 {
    strings:
        $a = {687e654000bdd3e090c3c35dd3e040d3e057689a654000689565}
    condition:
        all of them
}

rule AUTO_6b4879676a795554717076664a62724459725546614f65784a45 {
    strings:
        $a = {6b4879676a795554717076664a62724459725546614f65784a45}
    condition:
        all of them
}

rule AUTO_688e654000bdd3e090c3c35dd3e040d3e05768aa65400068a565 {
    strings:
        $a = {688e654000bdd3e090c3c35dd3e040d3e05768aa65400068a565}
    condition:
        all of them
}

rule AUTO_726a66766e6262666e726e72626e66626a72767666626a6a626e {
    strings:
        $a = {726a66766e6262666e726e72626e66626a72767666626a6a626e}
    condition:
        all of them
}

rule AUTO_76727266666e6a6e6a72726276727666726a766e76666a726672 {
    strings:
        $a = {76727266666e6a6e6a72726276727666726a766e76666a726672}
    condition:
        all of them
}

rule AUTO_6e726a666e6e6a6e62626e666a626276767262666e6e6a72766e {
    strings:
        $a = {6e726a666e6e6a6e62626e666a626276767262666e6e6a72766e}
    condition:
        all of them
}

rule AUTO_000000000000000000909060909090b800104000906a04909090 {
    strings:
        $a = {000000000000000000909060909090b800104000906a04909090}
    condition:
        all of them
}

rule AUTO_555c5dc2080055545d83ec20535657515e8d4de46864954b00e8 {
    strings:
        $a = {555c5dc2080055545d83ec20535657515e8d4de46864954b00e8}
    condition:
        all of them
}

rule AUTO_5356ff151c80400085c074585056ff151880400085c0744c50ff {
    strings:
        $a = {5356ff151c80400085c074585056ff151880400085c0744c50ff}
    condition:
        all of them
}

rule AUTO_6e666e66666e76726a767662766672626a6e6a626266666a6e62 {
    strings:
        $a = {6e666e66666e76726a767662766672626a6e6a626266666a6e62}
    condition:
        all of them
}

rule AUTO_4000bdd3e090c3c35dd3e040d3e05768befe400068b9fe4000bf {
    strings:
        $a = {4000bdd3e090c3c35dd3e040d3e05768befe400068b9fe4000bf}
    condition:
        all of them
}

rule AUTO_8b9ddafaa1f4dd9d1efa27f4e59d5cfa1ef4b99dbafaa9f4339d {
    strings:
        $a = {8b9ddafaa1f4dd9d1efa27f4e59d5cfa1ef4b99dbafaa9f4339d}
    condition:
        all of them
}

rule AUTO_72626e6a6662626a6676626a726e6a6a72626e62666e626e6e6a {
    strings:
        $a = {72626e6a6662626a6676626a726e6a6a72626e62666e626e6e6a}
    condition:
        all of them
}

rule AUTO_6e76727666626276667276626e626e6e6e7262766e726a726e76 {
    strings:
        $a = {6e76727666626276667276626e626e6e6e7262766e726a726e76}
    condition:
        all of them
}

rule AUTO_70184000e87210000059c390909090b91c424000ff25f4314000 {
    strings:
        $a = {70184000e87210000059c390909090b91c424000ff25f4314000}
    condition:
        all of them
}

rule AUTO_qq554764314a576179524864426c6e6268425862764e5565734a {
    strings:
        $a = {??554764314a576179524864426c6e6268425862764e5565734a}
    condition:
        all of them
}

rule AUTO_6e726a6276626a76726e6e6666626a6672766e6272766a72726a {
    strings:
        $a = {6e726a6276626a76726e6e6666626a6672766e6272766a72726a}
    condition:
        all of them
}

rule AUTO_6e6a62666a6a726a66766e7672766262766e7276667266726672 {
    strings:
        $a = {6e6a62666a6a726a66766e7672766262766e7276667266726672}
    condition:
        all of them
}

rule AUTO_726e6a626a6e7276626262726a726e62766e726a6676666e6276 {
    strings:
        $a = {726e6a626a6e7276626262726a726e62766e726a6676666e6276}
    condition:
        all of them
}

rule AUTO_766a7266726a76766276626e6a666e727262666e666662666a6e {
    strings:
        $a = {766a7266726a76766276626e6a666e727262666e666662666a6e}
    condition:
        all of them
}

rule AUTO_72486c6b574a7272626c65686e666e6861624d53486e6c685554 {
    strings:
        $a = {72486c6b574a7272626c65686e666e6861624d53486e6c685554}
    condition:
        all of them
}

rule AUTO_6a666e6e6e6e626a626e76766e6e76666e726e66666e76766672 {
    strings:
        $a = {6a666e6e6e6e626a626e76766e6e76666e726e66666e76766672}
    condition:
        all of them
}

rule AUTO_666a76666e6e6a72626a6e6266626e6e6e6e766a6262666a626a {
    strings:
        $a = {666a76666e6e6a72626a6e6266626e6e6e6e766a6262666a626a}
    condition:
        all of them
}

rule AUTO_6d516a7646667358537151414b47536c364847626b7365325347 {
    strings:
        $a = {6d516a7646667358537151414b47536c364847626b7365325347}
    condition:
        all of them
}

rule AUTO_4200681c85420057ffd6680c85420057a31c504300ffd668fc84 {
    strings:
        $a = {4200681c85420057ffd6680c85420057a31c504300ffd668fc84}
    condition:
        all of them
}

rule AUTO_6a726a6e6a6e626a626a72667662766e6a7262666a726e76726e {
    strings:
        $a = {6a726a6e6a6e626a626a72667662766e6a7262666a726e76726e}
    condition:
        all of them
}

rule AUTO_626a6e626e6e627666727676626272666a6e6e666a626a66626a {
    strings:
        $a = {626a6e626e6e627666727676626272666a6e6e666a626a66626a}
    condition:
        all of them
}

rule AUTO_666a6e62766e667262766e62766e6a7262666266726a6a626266 {
    strings:
        $a = {666a6e62766e667262766e62766e6a7262666266726a6a626266}
    condition:
        all of them
}

rule AUTO_6e666e626666666a6a627662726276766e6e7262766276726666 {
    strings:
        $a = {6e666e626666666a6a627662726276766e6e7262766276726666}
    condition:
        all of them
}

rule AUTO_4c6342436e615578667a55566770564441537364594b72304236 {
    strings:
        $a = {4c6342436e615578667a55566770564441537364594b72304236}
    condition:
        all of them
}

rule AUTO_68697062686c4a576b4b6e646568726e6e6a4172626a654d6672 {
    strings:
        $a = {68697062686c4a576b4b6e646568726e6e6a4172626a654d6672}
    condition:
        all of them
}

rule AUTO_83f801755c8d45fc506a01ff7608ff159484480050e811fdffff {
    strings:
        $a = {83f801755c8d45fc506a01ff7608ff159484480050e811fdffff}
    condition:
        all of them
}

rule AUTO_666a7272666e6272627662766e6e626272726a66726e7666626a {
    strings:
        $a = {666a7272666e6272627662766e6e626272726a66726e7666626a}
    condition:
        all of them
}

rule AUTO_8e34575adb7deb34de5a707d2c34405aaa7d0034365a807d9f34 {
    strings:
        $a = {8e34575adb7deb34de5a707d2c34405aaa7d0034365a807d9f34}
    condition:
        all of them
}

rule AUTO_76726a666e626e6672726a7266666e627266726a666a666a7676 {
    strings:
        $a = {76726a666e626e6672726a7266666e627266726a666a666a7676}
    condition:
        all of them
}

rule AUTO_6a666a626a627672626e766a666e72726a726266766464787470 {
    strings:
        $a = {6a666a626a627672626e766a666e72726a726266766464787470}
    condition:
        all of them
}

rule AUTO_726e6a626e6e6276666e626272766e666a666a72627666766266 {
    strings:
        $a = {726e6a626e6e6276666e626272766e666a666a72627666766266}
    condition:
        all of them
}

rule AUTO_5a6c6e62734b6268666c6e6b6468726c64546e484b6447647072 {
    strings:
        $a = {5a6c6e62734b6268666c6e6b6468726c64546e484b6447647072}
    condition:
        all of them
}

rule AUTO_727266666e6a7672626a766262767662726a766266666e666e76 {
    strings:
        $a = {727266666e6a7672626a766262767662726a766266666e666e76}
    condition:
        all of them
}

rule AUTO_6555684e6e69507059776e7653644e4d4244596c707164557574 {
    strings:
        $a = {6555684e6e69507059776e7653644e4d4244596c707164557574}
    condition:
        all of them
}

rule AUTO_72746c7253794765736c646e61686e685753786568554a5a6c70 {
    strings:
        $a = {72746c7253794765736c646e61686e685753786568554a5a6c70}
    condition:
        all of them
}

rule AUTO_006892100010ff7508e8c20600005d5f5e5b89ec5dc3fc5589e5 {
    strings:
        $a = {006892100010ff7508e8c20600005d5f5e5b89ec5dc3fc5589e5}
    condition:
        all of them
}

rule AUTO_6e726e726676626a667272627666726e626a76766272726a6676 {
    strings:
        $a = {6e726e726676626a667272627666726e626a76766272726a6676}
    condition:
        all of them
}

rule AUTO_000000000000000000000000909090609090b80010400090bb5c {
    strings:
        $a = {000000000000000000000000909090609090b80010400090bb5c}
    condition:
        all of them
}

rule AUTO_000000000000000000000090906090909090b80010400090906a {
    strings:
        $a = {000000000000000000000090906090909090b80010400090906a}
    condition:
        all of them
}

rule AUTO_7276726666626a6e626e726266666a72726e62626276726a3634 {
    strings:
        $a = {7276726666626a6e626e726266666a72726e62626276726a3634}
    condition:
        all of them
}

rule AUTO_0b000000e916000000909090909090b9qq424000e976ffffff90 {
    strings:
        $a = {0b000000e916000000909090909090b9??424000e976ffffff90}
    condition:
        all of them
}

rule AUTO_72766e666a6a7672666a76726666766276626e6e666e66766e6e {
    strings:
        $a = {72766e666a6a7672666a76726666766276626e6e666e66766e6e}
    condition:
        all of them
}

rule AUTO_3c00256c54ff6c58ff0460ff9eaa6c58ff6c78ff4ac26c4cfffc {
    strings:
        $a = {3c00256c54ff6c58ff0460ff9eaa6c58ff6c78ff4ac26c4cfffc}
    condition:
        all of them
}

rule AUTO_6a7276666666626a6e7676666e6276666e62666e666662667276 {
    strings:
        $a = {6a7276666666626a6e7676666e6276666e62666e666662667276}
    condition:
        all of them
}

rule AUTO_qqqqc2qq00558bec81ec2c000000c745fc00000000c745f80000 {
    strings:
        $a = {????c2??00558bec81ec2c000000c745fc00000000c745f80000}
    condition:
        all of them
}

rule AUTO_0000176c50ff6c54ff0460ff9de7aaf500010000c27150ff00qq {
    strings:
        $a = {0000176c50ff6c54ff0460ff9de7aaf500010000c27150ff00??}
    condition:
        all of them
}

rule AUTO_6a726e66766e767262766e6e666a6e7672627666767266727672 {
    strings:
        $a = {6a726e66766e767262766e6e666a6e7672627666767266727672}
    condition:
        all of them
}

rule AUTO_4000bdd3e090c3c35dd3e040d3e05768bdfe400068b8fe4000bf {
    strings:
        $a = {4000bdd3e090c3c35dd3e040d3e05768bdfe400068b8fe4000bf}
    condition:
        all of them
}

rule AUTO_ed1ccb3fcc16566d1409591055545d83ec14535657e90d050000 {
    strings:
        $a = {ed1ccb3fcc16566d1409591055545d83ec14535657e90d050000}
    condition:
        all of them
}

rule AUTO_4b684f53666e624d6770626c647862434353415a6d6c63484174 {
    strings:
        $a = {4b684f53666e624d6770626c647862434353415a6d6c63484174}
    condition:
        all of them
}

rule AUTO_ff83bd54ffffff007d206a5068b4ee4000ffb558ffffffffb554 {
    strings:
        $a = {ff83bd54ffffff007d206a5068b4ee4000ffb558ffffffffb554}
    condition:
        all of them
}

rule AUTO_5e5b8be55dc355545d83ec585356578bf9897dc88b47108b4f08 {
    strings:
        $a = {5e5b8be55dc355545d83ec585356578bf9897dc88b47108b4f08}
    condition:
        all of them
}

rule AUTO_4000bdd3e090c3c35dd3e040d3e05768dbfe400068d6fe4000bf {
    strings:
        $a = {4000bdd3e090c3c35dd3e040d3e05768dbfe400068d6fe4000bf}
    condition:
        all of them
}

rule AUTO_57744a6278687278535364627873786457737165616a6f6c6262 {
    strings:
        $a = {57744a6278687278535364627873786457737165616a6f6c6262}
    condition:
        all of them
}

rule AUTO_6a7278666664727868727662646e767872766278646a6e64786c {
    strings:
        $a = {6a7278666664727868727662646e767872766278646a6e64786c}
    condition:
        all of them
}

rule AUTO_4000bdd3e090c3c35dd3e040d3e05768626e4000685d6e4000bf {
    strings:
        $a = {4000bdd3e090c3c35dd3e040d3e05768626e4000685d6e4000bf}
    condition:
        all of them
}

rule AUTO_6a6276666e6a667262726e62666e72766e62626e6a766672626e {
    strings:
        $a = {6a6276666e6a667262726e62666e72766e62626e6a766672626e}
    condition:
        all of them
}

rule AUTO_6878786468687468647878646c70787868686c7074707068686c {
    strings:
        $a = {6878786468687468647878646c70787868686c7074707068686c}
    condition:
        all of them
}

rule AUTO_9c424000e43f4000004040003c5041000b545468726561644c69 {
    strings:
        $a = {9c424000e43f4000004040003c5041000b545468726561644c69}
    condition:
        all of them
}

rule AUTO_7262766e66726272666e6a6276766a6262766e6a766e6e667662 {
    strings:
        $a = {7262766e66726272666e6a6276766a6262766e6a766e6e667662}
    condition:
        all of them
}

rule AUTO_01ebfdc9acfe6c50ff6c54ff0460ff9de7aaec3904e0fe0a4700 {
    strings:
        $a = {01ebfdc9acfe6c50ff6c54ff0460ff9de7aaec3904e0fe0a4700}
    condition:
        all of them
}

rule AUTO_c975d6837d1000751e68446442006a006a5b68706442006a02e8 {
    strings:
        $a = {c975d6837d1000751e68446442006a006a5b68706442006a02e8}
    condition:
        all of them
}

rule AUTO_7752554f646e4e576270784b76597a6763725673445a4d416a64 {
    strings:
        $a = {7752554f646e4e576270784b76597a6763725673445a4d416a64}
    condition:
        all of them
}

rule AUTO_62627276766e7672766a666e6272727676667672767666726666 {
    strings:
        $a = {62627276766e7672766a666e6272727676667672767666726666}
    condition:
        all of them
}

rule AUTO_66726666766a72766272626a766e6a6e766e6e72766e6a727666 {
    strings:
        $a = {66726666766a72766272626a766e6a6e766e6e72766e6a727666}
    condition:
        all of them
}

rule AUTO_72766e66666e727262726e76666266666e66726e666a626a766e {
    strings:
        $a = {72766e66666e727262726e76666266666e66726e666a626a766e}
    condition:
        all of them
}

rule AUTO_caaa721df80355c08955a8c78558ffffff00000000eb0f8b8558 {
    strings:
        $a = {caaa721df80355c08955a8c78558ffffff00000000eb0f8b8558}
    condition:
        all of them
}

rule AUTO_76726a6666726e6e6262626272726e66766272727676626a726e {
    strings:
        $a = {76726a6666726e6e6262626272726e66766272727676626a726e}
    condition:
        all of them
}

rule AUTO_73696762576555726270656c5370475348535a6446705357656c {
    strings:
        $a = {73696762576555726270656c5370475348535a6446705357656c}
    condition:
        all of them
}

rule AUTO_554f734373556c544e5777677844466a444d56506d52656a675a {
    strings:
        $a = {554f734373556c544e5777677844466a444d56506d52656a675a}
    condition:
        all of them
}

rule AUTO_000000000000000000000000909060909090b80010400090bb5c {
    strings:
        $a = {000000000000000000000000909060909090b80010400090bb5c}
    condition:
        all of them
}

rule AUTO_72726a766a62767262766e6276626e6e6a62666272666a76766e {
    strings:
        $a = {72726a766a62767262766e6276626e6e6a62666272666a76766e}
    condition:
        all of them
}

rule AUTO_6a7666626a70627666706e6c64646e6274646c666c6e626a6e74 {
    strings:
        $a = {6a7666626a70627666706e6c64646e6274646c666c6e626a6e74}
    condition:
        all of them
}

rule AUTO_6828d14000bdd3e090c3c35dd3e040d3e0576844d14000683fd1 {
    strings:
        $a = {6828d14000bdd3e090c3c35dd3e040d3e0576844d14000683fd1}
    condition:
        all of them
}

rule AUTO_58774273555162584a58586770644a6c7368676f785548485173 {
    strings:
        $a = {58774273555162584a58586770644a6c7368676f785548485173}
    condition:
        all of them
}

rule AUTO_652923fa8b55fc0bd703d38955f868270c4200c300136800129d {
    strings:
        $a = {652923fa8b55fc0bd703d38955f868270c4200c300136800129d}
    condition:
        all of them
}

rule AUTO_6a6e6a66666e726e6276627662726e6276666a62666e6a6a626e {
    strings:
        $a = {6a6e6a66666e726e6276627662726e6276666a62666e6a6a626e}
    condition:
        all of them
}

rule AUTO_9090e90b0000009090909090909090909090681cf3400068e0e3 {
    strings:
        $a = {9090e90b0000009090909090909090909090681cf3400068e0e3}
    condition:
        all of them
}

rule AUTO_f0508d45f8505756575757ff73508b1dqqqq4200ff75fcffd385 {
    strings:
        $a = {f0508d45f8505756575757ff73508b1d????4200ff75fcffd385}
    condition:
        all of them
}

rule AUTO_ffff59c3606155545d83ec185356ff750c8d4de8e8a686ffff8b {
    strings:
        $a = {ffff59c3606155545d83ec185356ff750c8d4de8e8a686ffff8b}
    condition:
        all of them
}

rule AUTO_6c52674767785878537064724d496a424378536a504778757365 {
    strings:
        $a = {6c52674767785878537064724d496a424378536a504778757365}
    condition:
        all of them
}

rule AUTO_6a6e62667276767262766276766e726e6a72626e626262626a6e {
    strings:
        $a = {6a6e62667276767262766276766e726e6a72626e626262626a6e}
    condition:
        all of them
}

rule AUTO_07535825ffff00005f5b5ec9c3575f55545d83ec1053568b750c {
    strings:
        $a = {07535825ffff00005f5b5ec9c3575f55545d83ec1053568b750c}
    condition:
        all of them
}

rule AUTO_6e72666e6e6a6272666a726276626a766e66766e626e726a766a {
    strings:
        $a = {6e72666e6e6a6272666a726276626a766e66766e626e726a766a}
    condition:
        all of them
}

rule AUTO_83c40c85c0754a8d45f850ff7650e8102200005985c05975388b {
    strings:
        $a = {83c40c85c0754a8d45f850ff7650e8102200005985c05975388b}
    condition:
        all of them
}

rule AUTO_0000176c50ff6c54ff0460ff9de7aaf500010000c27150ff005c {
    strings:
        $a = {0000176c50ff6c54ff0460ff9de7aaf500010000c27150ff005c}
    condition:
        all of them
}

rule AUTO_666262666a6e626a666a7662626e6a6e6a6672727272766e6e62 {
    strings:
        $a = {666262666a6e626a666a7662626e6a6e6a6672727272766e6e62}
    condition:
        all of them
}

rule AUTO_6a726a626e6a6672626e766276666a626e7662766e626e6e6266 {
    strings:
        $a = {6a726a626e6a6672626e766276666a626e7662766e626e6e6266}
    condition:
        all of them
}

rule AUTO_6e546574616e436a645772626c6265716464696862766c716865 {
    strings:
        $a = {6e546574616e436a645772626c6265716464696862766c716865}
    condition:
        all of them
}

rule AUTO_6667786a6e66686a6e66786a6e67686a6e67786a6676686a6676 {
    strings:
        $a = {6667786a6e66686a6e66786a6e67686a6e67786a6676686a6676}
    condition:
        all of them
}

rule AUTO_18d6b466734e6758664b44765b687a8331b95a975024094de1ea {
    strings:
        $a = {18d6b466734e6758664b44765b687a8331b95a975024094de1ea}
    condition:
        all of them
}

rule AUTO_ff83bd74feffff007d206a5068b87b4000ffb578feffffffb574 {
    strings:
        $a = {ff83bd74feffff007d206a5068b87b4000ffb578feffffffb574}
    condition:
        all of them
}

rule AUTO_6a626a766a6a727262766262726272726e62726a6a6272766e6e {
    strings:
        $a = {6a626a766a6a727262766262726272726e62726a6a6272766e6e}
    condition:
        all of them
}

rule AUTO_000090906090909090b80010400090bbd0c74000b93f5cf51290 {
    strings:
        $a = {000090906090909090b80010400090bbd0c74000b93f5cf51290}
    condition:
        all of them
}

rule AUTO_7272666e6a6e66726272626a6e6672626a62726e6276666a6662 {
    strings:
        $a = {7272666e6a6e66726272626a6e6672626a62726e6276666a6662}
    condition:
        all of them
}

rule AUTO_6848d14000bdd3e090c3c35dd3e040d3e0576864d14000685fd1 {
    strings:
        $a = {6848d14000bdd3e090c3c35dd3e040d3e0576864d14000685fd1}
    condition:
        all of them
}

rule AUTO_4000dab84000101340000b394000ec8a40005bdc4100be5e4000 {
    strings:
        $a = {4000dab84000101340000b394000ec8a40005bdc4100be5e4000}
    condition:
        all of them
}

rule AUTO_6e7266666a6a76666e6e6e62666276667276727662627272726a {
    strings:
        $a = {6e7266666a6a76666e6e6e62666276667276727662627272726a}
    condition:
        all of them
}

rule AUTO_4000bdd3e090c3c35dd3e040d3e05768defe400068d9fe4000bf {
    strings:
        $a = {4000bdd3e090c3c35dd3e040d3e05768defe400068d9fe4000bf}
    condition:
        all of them
}

rule AUTO_666e6e6e6e72626a6a766a62766276627272626a626272626e6e {
    strings:
        $a = {666e6e6e6e72626a6a766a62766276627272626a626272626e6e}
    condition:
        all of them
}

rule AUTO_7672726276626a6a6a666672627666626a62727662626a766662 {
    strings:
        $a = {7672726276626a6a6a666672627666626a62727662626a766662}
    condition:
        all of them
}

rule AUTO_4000bdd3e090c3c35dd3e040d3e0576843674000683e674000bf {
    strings:
        $a = {4000bdd3e090c3c35dd3e040d3e0576843674000683e674000bf}
    condition:
        all of them
}

rule AUTO_6e72556e676e55725572556755676e6e6e676e6e6e556e6e6e68 {
    strings:
        $a = {6e72556e676e55725572556755676e6e6e676e6e6e556e6e6e68}
    condition:
        all of them
}

rule AUTO_6266726a6a62727666766e62666a6e6a76627666766e626a6262 {
    strings:
        $a = {6266726a6a62727666766e62666a6e6a76627666766e626a6262}
    condition:
        all of them
}

rule AUTO_62726a66766e62767672726276626a766e626a6662726a726662 {
    strings:
        $a = {62726a66766e62767672726276626a766e626a6662726a726662}
    condition:
        all of them
}

rule AUTO_76626662626e6e6a626e72667672766e726a6e6e666e76767272 {
    strings:
        $a = {76626662626e6e6a626e72667672766e726a6e6e666e76767272}
    condition:
        all of them
}

rule AUTO_6a4a696455646c5766576853646c7865664153434b5768486964 {
    strings:
        $a = {6a4a696455646c5766576853646c7865664153434b5768486964}
    condition:
        all of them
}

rule AUTO_01ebfdc9ccfe6c50ff6c54ff0460ff9de7aaec390424ff0a7d02 {
    strings:
        $a = {01ebfdc9ccfe6c50ff6c54ff0460ff9de7aaec390424ff0a7d02}
    condition:
        all of them
}

rule AUTO_65676e656c6876466270706c5a64646e67726967787966624a4a {
    strings:
        $a = {65676e656c6876466270706c5a64646e67726967787966624a4a}
    condition:
        all of them
}

rule AUTO_766e666e6e6e7672627276626272726e6662766e62626a666e72 {
    strings:
        $a = {766e666e6e6e7672627276626272726e6662766e62626a666e72}
    condition:
        all of them
}

rule AUTO_6a7676666e76726672666a6262666e626a66726a66727672766a {
    strings:
        $a = {6a7676666e76726672666a6262666e626a66726a66727672766a}
    condition:
        all of them
}

rule AUTO_000000000000000090909060909090b800104000909090906a04 {
    strings:
        $a = {000000000000000090909060909090b800104000909090906a04}
    condition:
        all of them
}

rule AUTO_000000000000000000909090609090b800104000909090906a04 {
    strings:
        $a = {000000000000000000909090609090b800104000909090906a04}
    condition:
        all of them
}

rule AUTO_000000000000000000906090909090b80010400090909090906a {
    strings:
        $a = {000000000000000000906090909090b80010400090909090906a}
    condition:
        all of them
}

rule AUTO_000000000000000000909090609090b800104000906a04909090 {
    strings:
        $a = {000000000000000000909090609090b800104000906a04909090}
    condition:
        all of them
}

rule AUTO_000000000000000000909090609090b80010400090909090906a {
    strings:
        $a = {000000000000000000909090609090b80010400090909090906a}
    condition:
        all of them
}

rule AUTO_6f7148476855754d627244644350686e4e6c6651424642614977 {
    strings:
        $a = {6f7148476855754d627244644350686e4e6c6651424642614977}
    condition:
        all of them
}

rule AUTO_626e666e66626a6a66726666626e6e6272666a62626e66626e62 {
    strings:
        $a = {626e666e66626a6a66726666626e6e6272666a62626e66626e62}
    condition:
        all of them
}

rule AUTO_00cccccccccc55545d83ec205356578bda895df08bd18955e88b {
    strings:
        $a = {00cccccccccc55545d83ec205356578bda895df08bd18955e88b}
    condition:
        all of them
}

rule AUTO_006a005557506a006a0056ff153cd040006a00ff155cd040006a {
    strings:
        $a = {006a005557506a006a0056ff153cd040006a00ff155cd040006a}
    condition:
        all of them
}

rule AUTO_000000000000000000000000906090909090b80010400090906a {
    strings:
        $a = {000000000000000000000000906090909090b80010400090906a}
    condition:
        all of them
}

rule AUTO_000000000000000000000000909060909090b80010400090906a {
    strings:
        $a = {000000000000000000000000909060909090b80010400090906a}
    condition:
        all of them
}

rule AUTO_000000000060909090909090b80010400090bb5c914000b9qqqq {
    strings:
        $a = {000000000060909090909090b80010400090bb5c914000b9????}
    condition:
        all of them
}

rule AUTO_6e6253646b736c78536c6e626c626a705467796c647664464162 {
    strings:
        $a = {6e6253646b736c78536c6e626c626a705467796c647664464162}
    condition:
        all of them
}

rule AUTO_6e666a66666e6a6e667266766a6e6e627662726e626a6e727672 {
    strings:
        $a = {6e666a66666e6a6e667266766a6e6e627662726e626a6e727672}
    condition:
        all of them
}

rule AUTO_687468626a62666a64727676726e6a7662646474707270666a72 {
    strings:
        $a = {687468626a62666a64727676726e6a7662646474707270666a72}
    condition:
        all of them
}

rule AUTO_6e6266666a6e7672626e6e706c747070646c7474686874746874 {
    strings:
        $a = {6e6266666a6e7672626e6e706c747070646c7474686874746874}
    condition:
        all of them
}

rule AUTO_909067e80000000090909058909090056a3e4000902d103e4000 {
    strings:
        $a = {909067e80000000090909058909090056a3e4000902d103e4000}
    condition:
        all of them
}

rule AUTO_000090906090909090b800104000906a04909090905f90909090 {
    strings:
        $a = {000090906090909090b800104000906a04909090905f90909090}
    condition:
        all of them
}

rule AUTO_000000000000000000909090906090b800104000906a04909090 {
    strings:
        $a = {000000000000000000909090906090b800104000906a04909090}
    condition:
        all of them
}

rule AUTO_000000000000000000906090909090b800104000906a04909090 {
    strings:
        $a = {000000000000000000906090909090b800104000906a04909090}
    condition:
        all of them
}

rule AUTO_f0508d45f8505756575757ff73508b1d18c04200ff75fcffd385 {
    strings:
        $a = {f0508d45f8505756575757ff73508b1d18c04200ff75fcffd385}
    condition:
        all of them
}

rule AUTO_45745470725059574c684b7747434a575842704474627441756a {
    strings:
        $a = {45745470725059574c684b7747434a575842704474627441756a}
    condition:
        all of them
}

rule AUTO_6266666e627266666e6a66726e6e6262726a6e7666766e72666a {
    strings:
        $a = {6266666e627266666e6a66726e6e6262726a6e7666766e72666a}
    condition:
        all of them
}

rule AUTO_6e666e6a6e6e6272627666766e6262666e726a76727662667276 {
    strings:
        $a = {6e666e6a6e6e6272627666766e6262666e726a76727662667276}
    condition:
        all of them
}

rule AUTO_6a726e666a72627662766276766e626e666e6a766672726a6e66 {
    strings:
        $a = {6a726e666a72627662766276766e626e666e6a766672726a6e66}
    condition:
        all of them
}

rule AUTO_7078707464646878747870646464787078746874746474686478 {
    strings:
        $a = {7078707464646878747870646464787078746874746474686478}
    condition:
        all of them
}

rule AUTO_49546266436a536a6658766776644679775976794349496d424d {
    strings:
        $a = {49546266436a536a6658766776644679775976794349496d424d}
    condition:
        all of them
}

rule AUTO_qqqq8be55dc20c00558bec81ec0c000000c745fc00000000qqqq {
    strings:
        $a = {????8be55dc20c00558bec81ec0c000000c745fc00000000????}
    condition:
        all of them
}

rule AUTO_b84000ff248d3cb9400090ff248dc0b840009050b840007cb840 {
    strings:
        $a = {b84000ff248d3cb9400090ff248dc0b840009050b840007cb840}
    condition:
        all of them
}

rule AUTO_76666a626a666e726a6e626e72766e6e726262766a6a66667662 {
    strings:
        $a = {76666a626a666e726a6e626e72766e6e726262766a6a66667662}
    condition:
        all of them
}

rule AUTO_726a667666646a726278706a746666746a6e6c76666e646c6678 {
    strings:
        $a = {726a667666646a726278706a746666746a6e6c76666e646c6678}
    condition:
        all of them
}

rule AUTO_666266727276626a626a7262766662667272666e6e766e6a7262 {
    strings:
        $a = {666266727276626a626a7262766662667272666e6e766e6a7262}
    condition:
        all of them
}

rule AUTO_656e644776546c574b6e6862486776766470686c485341657170 {
    strings:
        $a = {656e644776546c574b6e6862486776766470686c485341657170}
    condition:
        all of them
}

rule AUTO_7c1a6a006846e100006811010000ff761cff1550b644006a0158 {
    strings:
        $a = {7c1a6a006846e100006811010000ff761cff1550b644006a0158}
    condition:
        all of them
}

rule AUTO_706255436c70577847627266536c6e686e69475364576d647374 {
    strings:
        $a = {706255436c70577847627266536c6e686e69475364576d647374}
    condition:
        all of them
}

rule AUTO_6e727262726e76766272767470686c6c6878706c647878747470 {
    strings:
        $a = {6e727262726e76766272767470686c6c6878706c647878747470}
    condition:
        all of them
}

rule AUTO_c975d6837d1000751e684c8542006a006a5b68788542006a02e8 {
    strings:
        $a = {c975d6837d1000751e684c8542006a006a5b68788542006a02e8}
    condition:
        all of them
}

rule AUTO_00200c41002e0c4100040000005c104000703c40007c3c400080 {
    strings:
        $a = {00200c41002e0c4100040000005c104000703c40007c3c400080}
    condition:
        all of them
}

rule AUTO_6a626e62766e6e72627662727262727262626672726e76726272 {
    strings:
        $a = {6a626e62766e6e72627662727262727262626672726e76726272}
    condition:
        all of them
}

rule AUTO_8588b75b0083c10c03c150ff15741140005dc3558bec51a14caf {
    strings:
        $a = {8588b75b0083c10c03c150ff15741140005dc3558bec51a14caf}
    condition:
        all of them
}

rule AUTO_6a6672627662726a62626e6e766a6266726e76766a6e66726666 {
    strings:
        $a = {6a6672627662726a62626e6e766a6266726e76766a6e66726666}
    condition:
        all of them
}

rule AUTO_8548cb5b0083c10c03c150ff15741140005dc3558bec51a10cc3 {
    strings:
        $a = {8548cb5b0083c10c03c150ff15741140005dc3558bec51a10cc3}
    condition:
        all of them
}

rule AUTO_40006a406850524000685c52400056ff15985140006a0056ff15 {
    strings:
        $a = {40006a406850524000685c52400056ff15985140006a0056ff15}
    condition:
        all of them
}

rule AUTO_56784a686c5a62716e4b68684d6e536e6c6c646d677257684f62 {
    strings:
        $a = {56784a686c5a62716e4b68684d6e536e6c6c646d677257684f62}
    condition:
        all of them
}

rule AUTO_00566a0233f65656ff152c2040008945fc3bc60f84bb00000053 {
    strings:
        $a = {00566a0233f65656ff152c2040008945fc3bc60f84bb00000053}
    condition:
        all of them
}

rule AUTO_464b744a516e585764426e556764554b484a49585178484d4a52 {
    strings:
        $a = {464b744a516e585764426e556764554b484a49585178484d4a52}
    condition:
        all of them
}

rule AUTO_726e6e66666262666e72726262726a766e6e6a76626a6e727262 {
    strings:
        $a = {726e6e66666262666e72726262726a766e6e6a76626a6e727262}
    condition:
        all of them
}

rule AUTO_6a6c686276767870626c766e76667278766862686e7872687276 {
    strings:
        $a = {6a6c686276767870626c766e76667278766862686e7872687276}
    condition:
        all of them
}

rule AUTO_3cffffff007d206a1468qqqq4000ffb540ffffffffb53cffffff {
    strings:
        $a = {3cffffff007d206a1468????4000ffb540ffffffffb53cffffff}
    condition:
        all of them
}

rule AUTO_566a026800000040bf4021400057ff1534204000568bd88d45c4 {
    strings:
        $a = {566a026800000040bf4021400057ff1534204000568bd88d45c4}
    condition:
        all of them
}

rule AUTO_4344670b0a0b0e3d644b485e42434a5458536c70475356554e5f {
    strings:
        $a = {4344670b0a0b0e3d644b485e42434a5458536c70475356554e5f}
    condition:
        all of them
}

rule AUTO_4000bdd3e090c3c35dd3e040d3e05768526e4000684d6e4000bf {
    strings:
        $a = {4000bdd3e090c3c35dd3e040d3e05768526e4000684d6e4000bf}
    condition:
        all of them
}

rule AUTO_62767666666e6276667276666a6e726666726e76766a62727276 {
    strings:
        $a = {62767666666e6276667276666a6e726666726e76766a62727276}
    condition:
        all of them
}

rule AUTO_68666276626e7676766e76626e6e6e627262766a6e6a766a6a72 {
    strings:
        $a = {68666276626e7676766e76626e6e6e627262766a6e6a766a6a72}
    condition:
        all of them
}

rule AUTO_e2898500ffffff83bd00ffffff007d206a1468d8534000ffb504 {
    strings:
        $a = {e2898500ffffff83bd00ffffff007d206a1468d8534000ffb504}
    condition:
        all of them
}

rule AUTO_ff83bd2cffffff007d206a5068qqqq4000ffb530ffffffffb52c {
    strings:
        $a = {ff83bd2cffffff007d206a5068????4000ffb530ffffffffb52c}
    condition:
        all of them
}

rule AUTO_66766a626a6276726272627676726e6272666a766266666e766a {
    strings:
        $a = {66766a626a6276726272627676726e6272666a766266666e766a}
    condition:
        all of them
}

rule AUTO_11bbbbbb7711bb7711bbbbbbbb110bbb7711bb771111bb0777bb {
    strings:
        $a = {11bbbbbb7711bb7711bbbbbbbb110bbb7711bb771111bb0777bb}
    condition:
        all of them
}

rule AUTO_534b666468567257537664626e4a6e697457646f4b7454544b46 {
    strings:
        $a = {534b666468567257537664626e4a6e697457646f4b7454544b46}
    condition:
        all of them
}

rule AUTO_3371616d3653616a68385962575a385162366772335a7337306e {
    strings:
        $a = {3371616d3653616a68385962575a385162366772335a7337306e}
    condition:
        all of them
}

rule AUTO_4000bdd3e090c3c35dd3e040d3e05768c2d0400068bdd04000bf {
    strings:
        $a = {4000bdd3e090c3c35dd3e040d3e05768c2d0400068bdd04000bf}
    condition:
        all of them
}

rule AUTO_6a6a6e626a6a6276626a626a726e766276626a766a6272626276 {
    strings:
        $a = {6a6a6e626a6a6276626a626a726e766276626a766a6272626276}
    condition:
        all of them
}

rule AUTO_627272666e6a626e76727662766e6a6262727276666238363632 {
    strings:
        $a = {627272666e6a626e76727662766e6a6262727276666238363632}
    condition:
        all of them
}

rule AUTO_514e5174766e684d62706e6e41534b5a544642796b557559774b {
    strings:
        $a = {514e5174766e684d62706e6e41534b5a544642796b557559774b}
    condition:
        all of them
}

rule AUTO_53486464687264724a72654a7078784864697055534162576c6e {
    strings:
        $a = {53486464687264724a72654a7078784864697055534162576c6e}
    condition:
        all of them
}

rule AUTO_6e727266666e62726676766262766c6c7878686c646c68687478 {
    strings:
        $a = {6e727266666e62726676766262766c6c7878686c646c68687478}
    condition:
        all of them
}

rule AUTO_5b5ec9c3565e55545d83ec1053568b750c33db578b7d103bf375 {
    strings:
        $a = {5b5ec9c3565e55545d83ec1053568b750c33db578b7d103bf375}
    condition:
        all of them
}

rule AUTO_6e6e6a626a6e6a6a6a727262766262626a6a6e726a726e726e72 {
    strings:
        $a = {6e6e6a626a6e6a6a6a727262766262626a6a6e726a726e726e72}
    condition:
        all of them
}

rule AUTO_704357626c546e6c556e656a78626e6846646b666868626e726e {
    strings:
        $a = {704357626c546e6c556e656a78626e6846646b666868626e726e}
    condition:
        all of them
}

rule AUTO_767676666a6e627662727662766276726272666e666a72666e6e {
    strings:
        $a = {767676666a6e627662727662766276726272666e666a72666e6e}
    condition:
        all of them
}

rule AUTO_01ebfdc938ff6c54ff0460ff9d6c50ff0460ff9da9eb390418ff {
    strings:
        $a = {01ebfdc938ff6c54ff0460ff9d6c50ff0460ff9da9eb390418ff}
    condition:
        all of them
}

rule AUTO_68d5fe4000bdd3e090c3c35dd3e040d3e05768f1fe400068ecfe {
    strings:
        $a = {68d5fe4000bdd3e090c3c35dd3e040d3e05768f1fe400068ecfe}
    condition:
        all of them
}

rule AUTO_01c36a0158c355545d83ec18535657ff7508e888010000qqqq59 {
    strings:
        $a = {01c36a0158c355545d83ec18535657ff7508e888010000????59}
    condition:
        all of them
}

rule AUTO_000090909060909090b80010400090bb5c91400090b9b04eqqqq {
    strings:
        $a = {000090909060909090b80010400090bb5c91400090b9b04e????}
    condition:
        all of them
}

rule AUTO_556871224000686c224000bdd3e090c3c35dd3e040d3e0576888 {
    strings:
        $a = {556871224000686c224000bdd3e090c3c35dd3e040d3e0576888}
    condition:
        all of them
}

rule AUTO_6e6a6a6662626a76666e7262767666666e6a6672727672726676 {
    strings:
        $a = {6e6a6a6662626a76666e7262767666666e6a6672727672726676}
    condition:
        all of them
}

rule AUTO_909067e80000000090909090589090056a3e4000902d103e4000 {
    strings:
        $a = {909067e80000000090909090589090056a3e4000902d103e4000}
    condition:
        all of them
}

rule AUTO_627662626a6a7672667676627666727266626e6666726e626e66 {
    strings:
        $a = {627662626a6a7672667676627666727266626e6666726e626e66}
    condition:
        all of them
}

rule AUTO_6d714c626c6a76546268644767746374766551484b7073465046 {
    strings:
        $a = {6d714c626c6a76546268644767746374766551484b7073465046}
    condition:
        all of them
}

rule AUTO_626e76726e766a627266726a767262626a66727266726a76666e {
    strings:
        $a = {626e76726e766a627266726a767262626a66727266726a76666e}
    condition:
        all of them
}

rule AUTO_53656c6257666146626e646c55746448706e7472646269696557 {
    strings:
        $a = {53656c6257666146626e646c55746448706e7472646269696557}
    condition:
        all of them
}

rule AUTO_62766a6e6a62626a6272666a62766e7272627666766a76666672 {
    strings:
        $a = {62766a6e6a62626a6272666a62766e7272627666766a76666672}
    condition:
        all of them
}

rule AUTO_c4e807e5f8ff5f5e5bqqqq5dc20c0055545d83ec7c535657515f {
    strings:
        $a = {c4e807e5f8ff5f5e5b????5dc20c0055545d83ec7c535657515f}
    condition:
        all of them
}

rule AUTO_726a76627666766a62766e7276626a6e72627676666e7262766e {
    strings:
        $a = {726a76627666766a62766e7276626a6e72627676666e7262766e}
    condition:
        all of them
}

rule AUTO_726e62666a6e666e666a7262766e62666666626262667262626a {
    strings:
        $a = {726e62666a6e666e666a7262766e62666666626262667262626a}
    condition:
        all of them
}

rule AUTO_61716c536c5a4b57537354535a62686c706e68536272636d5579 {
    strings:
        $a = {61716c536c5a4b57537354535a62686c706e68536272636d5579}
    condition:
        all of them
}

rule AUTO_766e787662686e6266747474746e6e7478666c647468626a6278 {
    strings:
        $a = {766e787662686e6266747474746e6e7478666c647468626a6278}
    condition:
        all of them
}

rule AUTO_56485572736e6464646c72624b624d7364676c6c64704d654a62 {
    strings:
        $a = {56485572736e6464646c72624b624d7364676c6c64704d654a62}
    condition:
        all of them
}

rule AUTO_6a62666a6e6e626a6276726a7666627672766a66666272627672 {
    strings:
        $a = {6a62666a6e6e626a6276726a7666627672766a66666272627672}
    condition:
        all of them
}

rule AUTO_9090909090905589e583ec588965e88b45088d4df489qqqq8b55 {
    strings:
        $a = {9090909090905589e583ec588965e88b45088d4df489????8b55}
    condition:
        all of them
}

rule AUTO_0000000000000000qq9090qq909090b800104000bbqqqq400090 {
    strings:
        $a = {0000000000000000??9090??909090b800104000bb????400090}
    condition:
        all of them
}

rule AUTO_38766e626a66627276766276766e726e6a6e6a6e6e66766a6e62 {
    strings:
        $a = {38766e626a66627276766276766e726e6a6e6a6e6e66766a6e62}
    condition:
        all of them
}

rule AUTO_045dc3558becb93c834000ff15246240005dc3558bec51535657 {
    strings:
        $a = {045dc3558becb93c834000ff15246240005dc3558bec51535657}
    condition:
        all of them
}

rule AUTO_6810d14000bdd3e090c3c35dd3e040d3e057682cd140006827d1 {
    strings:
        $a = {6810d14000bdd3e090c3c35dd3e040d3e057682cd140006827d1}
    condition:
        all of them
}

rule AUTO_6f636c644f576c76645753627664707164726c73616168715770 {
    strings:
        $a = {6f636c644f576c76645753627664707164726c73616168715770}
    condition:
        all of them
}

rule AUTO_6a666a66726a7272626e72766a666e727666726a626e66726e74 {
    strings:
        $a = {6a666a66726a7272626e72766a666e727666726a626e66726e74}
    condition:
        all of them
}

rule AUTO_6862414000bdd3e090c3c35dd3e040d3e057687e414000687941 {
    strings:
        $a = {6862414000bdd3e090c3c35dd3e040d3e057687e414000687941}
    condition:
        all of them
}

rule AUTO_6f626e666a6e6a6a626a72626a626a6e6a66727666766e626a76 {
    strings:
        $a = {6f626e666a6e6a6a626a72626a626a6e6a66727666766e626a76}
    condition:
        all of them
}

rule AUTO_6e666e66666262766a727662666e726e666e667272626a726e6a {
    strings:
        $a = {6e666e66666262766a727662666e726e666e667272626a726e6a}
    condition:
        all of them
}

rule AUTO_cc0943000bc07402ffe06864574000b800114000ffd0ffe00000 {
    strings:
        $a = {cc0943000bc07402ffe06864574000b800114000ffd0ffe00000}
    condition:
        all of them
}

rule AUTO_4000bdd3e090c3c35dd3e040d3e057689f674000689a674000bf {
    strings:
        $a = {4000bdd3e090c3c35dd3e040d3e057689f674000689a674000bf}
    condition:
        all of them
}

rule AUTO_77b077bb7711777710bb11bbbb11bb77111011bb7777117777bb {
    strings:
        $a = {77b077bb7711777710bb11bbbb11bb77111011bb7777117777bb}
    condition:
        all of them
}

rule AUTO_6e7662726e727266726a726e62666e766a667272667676627666 {
    strings:
        $a = {6e7662726e727266726a726e62666e766a667272667676627666}
    condition:
        all of them
}

rule AUTO_6a006a00e89f4400006a006a006a0068404440006a006a00e88b {
    strings:
        $a = {6a006a00e89f4400006a006a006a0068404440006a006a00e88b}
    condition:
        all of them
}

rule AUTO_62766a626a6e66666e72726276626e6e6e727666626a72666672 {
    strings:
        $a = {62766a626a6e66666e72726276626e6e6e727666626a72666672}
    condition:
        all of them
}

rule AUTO_6a626672727672666e666676627262626a66727666626a6a6276 {
    strings:
        $a = {6a626672727672666e666676627262626a66727666626a6a6276}
    condition:
        all of them
}

rule AUTO_6a726e666a6a76726272766a7672766e7272726e6e6666767276 {
    strings:
        $a = {6a726e666a6a76726272766a7672766e7272726e6e6666767276}
    condition:
        all of them
}

rule AUTO_66626a666e627272726e6262667272627266727662766e6a7662 {
    strings:
        $a = {66626a666e627272726e6262667272627266727662766e6a7662}
    condition:
        all of them
}

rule AUTO_5153534a704969574e70444a4753724669756e4d4f4257646a74 {
    strings:
        $a = {5153534a704969574e70444a4753724669756e4d4f4257646a74}
    condition:
        all of them
}

rule AUTO_ff6a0468943f40006a046a0068f13b4000ff3547634000e87204 {
    strings:
        $a = {ff6a0468943f40006a046a0068f13b4000ff3547634000e87204}
    condition:
        all of them
}

rule AUTO_000000909060909090b80010400090bb848e400090b90c73ef57 {
    strings:
        $a = {000000909060909090b80010400090bb848e400090b90c73ef57}
    condition:
        all of them
}

rule AUTO_3040000c304000382e40004c2e40006c014100c8014100fc0141 {
    strings:
        $a = {3040000c304000382e40004c2e40006c014100c8014100fc0141}
    condition:
        all of them
}

rule AUTO_72766e66666a727262767662766e626a766662667276666e7262 {
    strings:
        $a = {72766e66666a727262767662766e626a766662667276666e7262}
    condition:
        all of them
}

rule AUTO_3cffffff007d206a146818404000ffb540ffffffffb53cffffff {
    strings:
        $a = {3cffffff007d206a146818404000ffb540ffffffffb53cffffff}
    condition:
        all of them
}

rule AUTO_6e6e6a66666262726a7676626262766a766a6276626262726e66 {
    strings:
        $a = {6e6e6a66666262726a7676626262766a766a6276626262726e66}
    condition:
        all of them
}

rule AUTO_66626e66666e6a6a66766e62766e626e6666766e6a766a62726e {
    strings:
        $a = {66626e66666e6a6a66766e62766e626e6666766e6a766a62726e}
    condition:
        all of them
}

rule AUTO_6a62666666726e726262626272766a726e6276666a726e727266 {
    strings:
        $a = {6a62666666726e726262626272766a726e6276666a726e727266}
    condition:
        all of them
}

rule AUTO_68795353666e6a46537664694b6c68725771646e7478696e476a {
    strings:
        $a = {68795353666e6a46537664694b6c68725771646e7478696e476a}
    condition:
        all of them
}

rule AUTO_726e66626a726272626a627266666e7672626e6e666672666666 {
    strings:
        $a = {726e66626a726272626a627266666e7672626e6e666672666666}
    condition:
        all of them
}

rule AUTO_685cff4000bdd3e090c3c35dd3e040d3e0576878ff40006873ff {
    strings:
        $a = {685cff4000bdd3e090c3c35dd3e040d3e0576878ff40006873ff}
    condition:
        all of them
}

rule AUTO_14ffffff007d236a5068ec2c40008b9518ffffff528b8514ffff {
    strings:
        $a = {14ffffff007d236a5068ec2c40008b9518ffffff528b8514ffff}
    condition:
        all of them
}

rule AUTO_6c7864687868766e6e62666a6e666e62726a7276666e666a6a6e {
    strings:
        $a = {6c7864687868766e6e62666a6e666e62726a7276666e666a6a6e}
    condition:
        all of them
}

rule AUTO_6e666e66766e6672626a726266626a62726e72666a766272766e {
    strings:
        $a = {6e666e66766e6672626a726266626a62726e72666a766272766e}
    condition:
        all of them
}

rule AUTO_ff83bde0feffff007d206a14682c404000ffb5e4feffffffb5e0 {
    strings:
        $a = {ff83bde0feffff007d206a14682c404000ffb5e4feffffffb5e0}
    condition:
        all of them
}

rule AUTO_73426543676a457759554952594368677851676b66784d477251 {
    strings:
        $a = {73426543676a457759554952594368677851676b66784d477251}
    condition:
        all of them
}

rule AUTO_6a6a62626a6e66666e6a726276626a766e726e746c786c78646c {
    strings:
        $a = {6a6a62626a6e66666e6a726276626a766e726e746c786c78646c}
    condition:
        all of them
}

rule AUTO_6262666a72766e7266626e726676666a7262766e626666726266 {
    strings:
        $a = {6262666a72766e7266626e726676666a7262766e626666726266}
    condition:
        all of them
}

rule AUTO_72626a66666e72726a766e66766e6a66626e727676726a6a7676 {
    strings:
        $a = {72626a66666e72726a766e66766e6a66626e727676726a6a7676}
    condition:
        all of them
}

rule AUTO_6a7676626e6276726e7672627662626e6a72626272766266626e {
    strings:
        $a = {6a7676626e6276726e7672627662626e6a72626272766266626e}
    condition:
        all of them
}

rule AUTO_414157595841575834796a553373556639314346434e52627851 {
    strings:
        $a = {414157595841575834796a553373556639314346434e52627851}
    condition:
        all of them
}

rule AUTO_b8983d4700c3b8b43d4700c3b8d03d4700c3b8ec3d4700c3b808 {
    strings:
        $a = {b8983d4700c3b8b43d4700c3b8d03d4700c3b8ec3d4700c3b808}
    condition:
        all of them
}

rule AUTO_705376546c616c726d7a705462424a4b584e72786553566a5a4d {
    strings:
        $a = {705376546c616c726d7a705462424a4b584e72786553566a5a4d}
    condition:
        all of them
}

rule AUTO_695a6c6d714a7877424a4155516c7a55737a4157775175657374 {
    strings:
        $a = {695a6c6d714a7877424a4155516c7a55737a4157775175657374}
    condition:
        all of them
}

rule AUTO_49420057a390ab4600ffd6685449420057a394ab4600ffd6833d {
    strings:
        $a = {49420057a390ab4600ffd6685449420057a394ab4600ffd6833d}
    condition:
        all of them
}

rule AUTO_000b58420066c54000d26f4100a5c5400029cd400066cd400035 {
    strings:
        $a = {000b58420066c54000d26f4100a5c5400029cd400066cd400035}
    condition:
        all of them
}

rule AUTO_6811010000ff761cff1588424600c7465002000000e90d010000 {
    strings:
        $a = {6811010000ff761cff1588424600c7465002000000e90d010000}
    condition:
        all of them
}

rule AUTO_76626e626a6a626a627662766e766e6e7262766276626e6a666e {
    strings:
        $a = {76626e626a6a626a627662766e766e6e7262766276626e6a666e}
    condition:
        all of them
}

rule AUTO_726a6a62667276726272626a7666626e6e666662726a6e76626e {
    strings:
        $a = {726a6a62667276726272626a7666626e6e666662726a6e76626e}
    condition:
        all of them
}

rule AUTO_66626e72626e62626e72666e766e76666e6a7276666a6e72666e {
    strings:
        $a = {66626e72626e62626e72666e766e76666e6a7276666a6e72666e}
    condition:
        all of them
}

rule AUTO_746872767662626a666a72626a766e667272726e666672627666 {
    strings:
        $a = {746872767662626a666a72626a766e667272726e666672627666}
    condition:
        all of them
}

rule AUTO_7464707468687878646c726276626e6276666a72626a76767272 {
    strings:
        $a = {7464707468687878646c726276626e6276666a72626a76767272}
    condition:
        all of them
}

rule AUTO_7062616e686e70576457726c6a47736e64676669555361477248 {
    strings:
        $a = {7062616e686e70576457726c6a47736e64676669555361477248}
    condition:
        all of them
}

rule AUTO_6e6a62666e6a6a6a627672627666767662726272726e66766a6a {
    strings:
        $a = {6e6a62666e6a6a6a627672627666767662726272726e66766a6a}
    condition:
        all of them
}

rule AUTO_6e6272666a6a7672626e62766a68687470786c64646478706478 {
    strings:
        $a = {6e6272666a6a7672626e62766a68687470786c64646478706478}
    condition:
        all of them
}

rule AUTO_4364546266534d57766c6e477062534b6f78724d6c786c684141 {
    strings:
        $a = {4364546266534d57766c6e477062534b6f78724d6c786c684141}
    condition:
        all of them
}

rule AUTO_6a727662666e7672626a62666a766e6e66666262666272726e76 {
    strings:
        $a = {6a727662666e7672626a62666a766e6e66666262666272726e76}
    condition:
        all of them
}

rule AUTO_6a626a666a6a766e62726e6266626a626a7266726e6a726e6e62 {
    strings:
        $a = {6a626a666a6a766e62726e6266626a626a7266726e6a726e6e62}
    condition:
        all of them
}

rule AUTO_ccfeffff007d206a146828514000ffb5d0feffffffb5ccfeffff {
    strings:
        $a = {ccfeffff007d206a146828514000ffb5d0feffffffb5ccfeffff}
    condition:
        all of them
}

rule AUTO_5040008d440af7a3145040006878ba4000ff15344040008b4d08 {
    strings:
        $a = {5040008d440af7a3145040006878ba4000ff15344040008b4d08}
    condition:
        all of them
}

rule AUTO_000000000000000060909090909090b800104000909090906a04 {
    strings:
        $a = {000000000000000060909090909090b800104000909090906a04}
    condition:
        all of them
}

rule AUTO_000000000000000090909090609090b800104000909090906a04 {
    strings:
        $a = {000000000000000090909090609090b800104000909090906a04}
    condition:
        all of them
}

rule AUTO_000000000000000000909060909090b800104000909090906a04 {
    strings:
        $a = {000000000000000000909060909090b800104000909090906a04}
    condition:
        all of them
}

rule AUTO_000000000000000000906090909090b8001040009090906a0490 {
    strings:
        $a = {000000000000000000906090909090b8001040009090906a0490}
    condition:
        all of them
}

rule AUTO_000000000000000090909060909090b8001040009090906a0490 {
    strings:
        $a = {000000000000000090909060909090b8001040009090906a0490}
    condition:
        all of them
}

rule AUTO_000000000000000000909060909090b8001040009090906a0490 {
    strings:
        $a = {000000000000000000909060909090b8001040009090906a0490}
    condition:
        all of them
}

rule AUTO_6a666a626a6e627662726e76666a72766e6a6662626266666e62 {
    strings:
        $a = {6a666a626a6e627662726e76666a72766e6a6662626266666e62}
    condition:
        all of them
}

rule AUTO_01c36a0158c355545d83ec18535657ff7508e8880100008bf059 {
    strings:
        $a = {01c36a0158c355545d83ec18535657ff7508e8880100008bf059}
    condition:
        all of them
}

rule AUTO_7266626e6a6a666e6a726e6276626e7672627276667276726e6a {
    strings:
        $a = {7266626e6a6a666e6a726e6276626e7672627276667276726e6a}
    condition:
        all of them
}

rule AUTO_6e627662666e7676626e6e6266726a6a726a6262626a666e7666 {
    strings:
        $a = {6e627662666e7676626e6e6266726a6a726a6262626a666e7666}
    condition:
        all of them
}

rule AUTO_000090909060909090b80010400090bb5c91400090b9b04e1f67 {
    strings:
        $a = {000090909060909090b80010400090bb5c91400090b9b04e1f67}
    condition:
        all of them
}

rule AUTO_5a48694b467262536562555647556e6568477256557653786153 {
    strings:
        $a = {5a48694b467262536562555647556e6568477256557653786153}
    condition:
        all of them
}

rule AUTO_000000000000000090909090906090b800104000906a04909090 {
    strings:
        $a = {000000000000000090909090906090b800104000906a04909090}
    condition:
        all of them
}

rule AUTO_000000000000000090909060909090b8001040006a0490909090 {
    strings:
        $a = {000000000000000090909060909090b8001040006a0490909090}
    condition:
        all of them
}

rule AUTO_72727666726a6272766a6a62766e72626a6672726676666a6672 {
    strings:
        $a = {72727666726a6272766a6a62766e72626a6672726676666a6672}
    condition:
        all of them
}

rule AUTO_8be55dc20c0055545d83ec7c535657515f33dbqqc9885dfd4188 {
    strings:
        $a = {8be55dc20c0055545d83ec7c535657515f33db??c9885dfd4188}
    condition:
        all of them
}

rule AUTO_c3908db426000000005589e583ec588965e88b45088d4df4894d {
    strings:
        $a = {c3908db426000000005589e583ec588965e88b45088d4df4894d}
    condition:
        all of them
}

rule AUTO_72666a6e6e6e666e6676726276726a6e6276766e66766e726e66 {
    strings:
        $a = {72666a6e6e6e666e6676726276726a6e6276766e66766e726e66}
    condition:
        all of them
}

rule AUTO_49420057a370ac4600ffd6685449420057a374ac4600ffd6833d {
    strings:
        $a = {49420057a370ac4600ffd6685449420057a374ac4600ffd6833d}
    condition:
        all of them
}

rule AUTO_0f94c15158c355545d83ec1053568b750c29db3bf3578b7d1075 {
    strings:
        $a = {0f94c15158c355545d83ec1053568b750c29db3bf3578b7d1075}
    condition:
        all of them
}

rule AUTO_4b7368645664626c626a4b6653644a796d536e726e694d626965 {
    strings:
        $a = {4b7368645664626c626a4b6653644a796d536e726e694d626965}
    condition:
        all of them
}

rule AUTO_880dqqqq4200e907000000909090909090906870294000e87159 {
    strings:
        $a = {880d????4200e907000000909090909090906870294000e87159}
    condition:
        all of them
}

rule AUTO_36326c6464706c70647868707874686868706864323830343438 {
    strings:
        $a = {36326c6464706c70647868707874686868706864323830343438}
    condition:
        all of them
}

rule AUTO_68fc6e4000bdd3e090c3c35dd3e040d3e05768186f400068136f {
    strings:
        $a = {68fc6e4000bdd3e090c3c35dd3e040d3e05768186f400068136f}
    condition:
        all of them
}

rule AUTO_ff83bd68ffffff007d206a1468qq704000ffb56cffffffffb568 {
    strings:
        $a = {ff83bd68ffffff007d206a1468??704000ffb56cffffffffb568}
    condition:
        all of them
}

rule AUTO_86000059c390909090b9f8d04000e9b6ffffff9090909090906a {
    strings:
        $a = {86000059c390909090b9f8d04000e9b6ffffff9090909090906a}
    condition:
        all of them
}

rule AUTO_cccccccccccc55545d83ec1053568b35qq25a300834dfcffqqqq {
    strings:
        $a = {cccccccccccc55545d83ec1053568b35??25a300834dfcff????}
    condition:
        all of them
}

rule AUTO_6a626a626e6e6e766676766a6662726a726e72666e6e7266666e {
    strings:
        $a = {6a626a626e6e6e766676766a6662726a726e72666e6e7266666e}
    condition:
        all of them
}

rule AUTO_76626262726e66726276726a766e6a666272766e627262727266 {
    strings:
        $a = {76626262726e66726276726a766e6a666272766e627262727266}
    condition:
        all of them
}

rule AUTO_726a6e666a766a726276666262626e7272726666666a6e666666 {
    strings:
        $a = {726a6e666a766a726276666262626e7272726666666a6e666666}
    condition:
        all of them
}

rule AUTO_460485c0740e68008000006a0050ff15184040006a00ffd3566a {
    strings:
        $a = {460485c0740e68008000006a0050ff15184040006a00ffd3566a}
    condition:
        all of them
}

rule AUTO_ffff59c3535b55545d83ec185356ff750c8d4de8e80489ffff8b {
    strings:
        $a = {ffff59c3535b55545d83ec185356ff750c8d4de8e80489ffff8b}
    condition:
        all of them
}

rule AUTO_18504000c1e003a31850400068c0ba4000ff152c40400068b0b6 {
    strings:
        $a = {18504000c1e003a31850400068c0ba4000ff152c40400068b0b6}
    condition:
        all of them
}

rule AUTO_62726a66666e6e7662727266627676666666727662626e72666a {
    strings:
        $a = {62726a66666e6e7662727266627676666666727662626e72666a}
    condition:
        all of them
}

rule AUTO_4773356642686a70796f774e5976494148784a436735366b352b {
    strings:
        $a = {4773356642686a70796f774e5976494148784a436735366b352b}
    condition:
        all of them
}

rule AUTO_747072646e74627264686a78766c70746e62766c767464687076 {
    strings:
        $a = {747072646e74627264686a78766c70746e62766c767464687076}
    condition:
        all of them
}

rule AUTO_666e6a6276727272666662666e6e6a626a66726e6666666a6a66 {
    strings:
        $a = {666e6a6276727272666662666e6e6a626a66726e6666666a6a66}
    condition:
        all of them
}

rule AUTO_766e6a626a7276766276626e6a6e76766662626e766e62726676 {
    strings:
        $a = {766e6a626a7276766276626e6a6e76766662626e766e62726676}
    condition:
        all of them
}

rule AUTO_66766e666a626272627676666a6e72766a667272666e6e627276 {
    strings:
        $a = {66766e666a626272627676666a6e72766a667272666e6e627276}
    condition:
        all of them
}

rule AUTO_6838d14000bdd3e090c3c35dd3e040d3e0576854d14000684fd1 {
    strings:
        $a = {6838d14000bdd3e090c3c35dd3e040d3e0576854d14000684fd1}
    condition:
        all of them
}

rule AUTO_6e624559726147704e44554a70656c666a4b664174724b534f56 {
    strings:
        $a = {6e624559726147704e44554a70656c666a4b664174724b534f56}
    condition:
        all of them
}

rule AUTO_04588be55dc20c00558bec81ec0c000000c745fc000000008965 {
    strings:
        $a = {04588be55dc20c00558bec81ec0c000000c745fc000000008965}
    condition:
        all of them
}

rule AUTO_7272626a76766a6a6a6276726276767272627662626276627666 {
    strings:
        $a = {7272626a76766a6a6a6276726276767272627662626276627666}
    condition:
        all of them
}

rule AUTO_e80e31ffff85ff8be8740c536af0ff761cff1550c648005f8bc5 {
    strings:
        $a = {e80e31ffff85ff8be8740c536af0ff761cff1550c648005f8bc5}
    condition:
        all of them
}

rule AUTO_6a6e5766536e53544b7065555553724174645356534d4b795a76 {
    strings:
        $a = {6a6e5766536e53544b7065555553724174645356534d4b795a76}
    condition:
        all of them
}

rule AUTO_000000000000000000000000909090906090b800104000909090 {
    strings:
        $a = {000000000000000000000000909090906090b800104000909090}
    condition:
        all of them
}

rule AUTO_5470665745437557427872626c536a64727241476750714a7159 {
    strings:
        $a = {5470665745437557427872626c536a64727241476750714a7159}
    condition:
        all of them
}

rule AUTO_6266666e6a6e6a6e62766666726e6e6276667276666a72726e6e {
    strings:
        $a = {6266666e6a6e6a6e62766666726e6e6276667276666a72726e6e}
    condition:
        all of them
}

rule AUTO_626e726666666a7266726e667662726e6a7262626e726a626e72 {
    strings:
        $a = {626e726666666a7266726e667662726e6a7262626e726a626e72}
    condition:
        all of them
}

rule AUTO_746662626e6e6666626a72666c6c78647878746c706474786e6e {
    strings:
        $a = {746662626e6e6666626a72666c6c78647878746c706474786e6e}
    condition:
        all of them
}

rule AUTO_9bfaffe8a812faff59595dc355545d83c4e4535657894df48955 {
    strings:
        $a = {9bfaffe8a812faff59595dc355545d83c4e4535657894df48955}
    condition:
        all of them
}

rule AUTO_ff6c78ffe4f4fffe5d200232040054ff50ff6c78ffe476qq0076 {
    strings:
        $a = {ff6c78ffe4f4fffe5d200232040054ff50ff6c78ffe476??0076}
    condition:
        all of them
}

rule AUTO_8bc1c355545d83ec1053568b750c29db3bf3578b7d1075113bfb {
    strings:
        $a = {8bc1c355545d83ec1053568b750c29db3bf3578b7d1075113bfb}
    condition:
        all of them
}

rule AUTO_53564b43716e41786476474a53736c4177646a7641564c715a77 {
    strings:
        $a = {53564b43716e41786476474a53736c4177646a7641564c715a77}
    condition:
        all of them
}

rule AUTO_77776663414b624a66595a4b5370477047536e72546c53757552 {
    strings:
        $a = {77776663414b624a66595a4b5370477047536e72546c53757552}
    condition:
        all of them
}

rule AUTO_766a6e666e6a7676626a766a726e6e666a667276627664686c74 {
    strings:
        $a = {766a6e666e6a7676626a766a726e6e666a667276627664686c74}
    condition:
        all of them
}

rule AUTO_62727266666a6e726276727666666a6a72626a627266726a626e {
    strings:
        $a = {62727266666a6e726276727666666a6a72626a627266726a626e}
    condition:
        all of them
}

rule AUTO_74746c747064626a627276666262766e666a626a66766a767662 {
    strings:
        $a = {74746c747064626a627276666262766e666a626a66766a767662}
    condition:
        all of them
}

rule AUTO_6e6e6a62726a766a727672627662666e6e726a766e6a766a6e76 {
    strings:
        $a = {6e6e6a62726a766a727672627662666e6e726a766e6a766a6e76}
    condition:
        all of them
}

rule AUTO_5040008d4401f7a31450400068b0ba4000ff1528404000837de0 {
    strings:
        $a = {5040008d4401f7a31450400068b0ba4000ff1528404000837de0}
    condition:
        all of them
}

rule AUTO_74626266666e687862707076766272787268686678727062646e {
    strings:
        $a = {74626266666e687862707076766272787268686678727062646e}
    condition:
        all of them
}

rule AUTO_6e72766266726e7262626a6276726e767662666e6e6a6262666e {
    strings:
        $a = {6e72766266726e7262626a6276726e767662666e6e6a6262666e}
    condition:
        all of them
}

rule AUTO_000000000060909090909090b80010400090bb5c91400090b9qq {
    strings:
        $a = {000000000060909090909090b80010400090bb5c91400090b9??}
    condition:
        all of them
}

rule AUTO_64656470686c644d646857626e6767677243726e65764362746e {
    strings:
        $a = {64656470686c644d646857626e6767677243726e65764362746e}
    condition:
        all of them
}

rule AUTO_000000000000000000000090909060909090b800104000bbqqqq {
    strings:
        $a = {000000000000000000000090909060909090b800104000bb????}
    condition:
        all of them
}

rule AUTO_534f6248704b4754644a766262646c7268736c69624356647267 {
    strings:
        $a = {534f6248704b4754644a766262646c7268736c69624356647267}
    condition:
        all of them
}

rule AUTO_0057ffd668c0c2420057a3383d4600ffd6833d203b460002a33c {
    strings:
        $a = {0057ffd668c0c2420057a3383d4600ffd6833d203b460002a33c}
    condition:
        all of them
}

rule AUTO_4000bdd3e090c3c35dd3e040d3e05768a7ff400068a2ff4000bf {
    strings:
        $a = {4000bdd3e090c3c35dd3e040d3e05768a7ff400068a2ff4000bf}
    condition:
        all of them
}

rule AUTO_706c786478706c787470706470686c64626e6e726e7266666e6a {
    strings:
        $a = {706c786478706c787470706470686c64626e6e726e7266666e6a}
    condition:
        all of them
}

rule AUTO_8d4401f7a3145040006878ba4000ff151c4040008b45fcc9c355 {
    strings:
        $a = {8d4401f7a3145040006878ba4000ff151c4040008b45fcc9c355}
    condition:
        all of them
}

rule AUTO_faffff6a006a006a0068403d40006a006a00ff156880430050ff {
    strings:
        $a = {faffff6a006a006a0068403d40006a006a00ff156880430050ff}
    condition:
        all of them
}

rule AUTO_042418ea430057a30c1c4500ffd650e8ff6cffffc70424fce943 {
    strings:
        $a = {042418ea430057a30c1c4500ffd650e8ff6cffffc70424fce943}
    condition:
        all of them
}

rule AUTO_766e626a666e667266626262666666726a666e72626666766276 {
    strings:
        $a = {766e626a666e667266626262666666726a666e72626666766276}
    condition:
        all of them
}

rule AUTO_6a6a76726e6e626a6a7276627662726e726e6e6e666e6a626666 {
    strings:
        $a = {6a6a76726e6e626a6a7276627662726e726e6e6e666e6a626666}
    condition:
        all of them
}

rule AUTO_66627262766e7676626e62627662727672727272766e666a6262 {
    strings:
        $a = {66627262766e7676626e62627662727672727272766e666a6262}
    condition:
        all of them
}

rule AUTO_0400006a006a006a0068401740006a006a00ff157c3041008b8c {
    strings:
        $a = {0400006a006a006a0068401740006a006a00ff157c3041008b8c}
    condition:
        all of them
}

rule AUTO_726666626a767672626e6e6a7276626272766a6e666e6666626e {
    strings:
        $a = {726666626a767672626e6e6a7276626272766a6e666e6666626e}
    condition:
        all of them
}

rule AUTO_7fc5f77f87f77fb3f71d87a17ff8f72387897fb6f72e87787f58 {
    strings:
        $a = {7fc5f77f87f77fb3f71d87a17ff8f72387897fb6f72e87787f58}
    condition:
        all of them
}

rule AUTO_740750ff1564614b00c3606155545d83ec1853565733db6a0153 {
    strings:
        $a = {740750ff1564614b00c3606155545d83ec1853565733db6a0153}
    condition:
        all of them
}

rule AUTO_7272666e6e6e626a62766e666a666a6a72626e72667874707064 {
    strings:
        $a = {7272666e6e6e626a62766e666a666a6a72626e72667874707064}
    condition:
        all of them
}

rule AUTO_64415666695159576849646a42494a72725370727a55746b6169 {
    strings:
        $a = {64415666695159576849646a42494a72725370727a55746b6169}
    condition:
        all of them
}

rule AUTO_676f636a676f64647271645a65666e4a6e627355674b6c6b4864 {
    strings:
        $a = {676f636a676f64647271645a65666e4a6e627355674b6c6b4864}
    condition:
        all of them
}

rule AUTO_6e6666666e6e626a66726e627662626a66727276666e6e626666 {
    strings:
        $a = {6e6666666e6e626a66726e627662626a66727276666e6e626666}
    condition:
        all of them
}

rule AUTO_363034347064626a626c766664687066706e7268686e66626a74 {
    strings:
        $a = {363034347064626a626c766664687066706e7268686e66626a74}
    condition:
        all of them
}

rule AUTO_797369686c62626d4a574b73706872705a465563726c6e6e4646 {
    strings:
        $a = {797369686c62626d4a574b73706872705a465563726c6e6e4646}
    condition:
        all of them
}

rule AUTO_6a627666666e6a6a666a7262766262766e666272726e6a6e6a66 {
    strings:
        $a = {6a627666666e6a6a666a7262766262766e666272726e6a6e6a66}
    condition:
        all of them
}

rule AUTO_746e6e6a6a76767266727662666e72726e6a6662626a6e726a66 {
    strings:
        $a = {746e6e6a6a76767266727662666e72726e6a6662626a6e726a66}
    condition:
        all of them
}

rule AUTO_e8083200008b005e5dc3606155545d83ec0c5356578b7d0c85ff {
    strings:
        $a = {e8083200008b005e5dc3606155545d83ec0c5356578b7d0c85ff}
    condition:
        all of them
}

rule AUTO_62626a6e6a626276667276626272726a6a626672667276627662 {
    strings:
        $a = {62626a6e6a626276667276626272726a6a626672667276627662}
    condition:
        all of them
}

rule AUTO_6e666e626e6a727662766e766a666662726a666a6e6a62726676 {
    strings:
        $a = {6e666e626e6a727662766e766a666662726a666a6e6a62726676}
    condition:
        all of them
}

rule AUTO_56624d6664687857536e72684d687064546565645564414b7353 {
    strings:
        $a = {56624d6664687857536e72684d687064546565645564414b7353}
    condition:
        all of them
}

rule AUTO_6862030000ff761cff1594b64800ff761cff15dcb548005f5e5b {
    strings:
        $a = {6862030000ff761cff1594b64800ff761cff15dcb548005f5e5b}
    condition:
        all of them
}

rule AUTO_766e6a666e6a6e7262766e6a76627276726e6e766e6e6e766662 {
    strings:
        $a = {766e6a666e6a6e7262766e6a76627276726e6e766e6e6e766662}
    condition:
        all of them
}

rule AUTO_58624a514b6754625766737642576446575970706d5244504a6f {
    strings:
        $a = {58624a514b6754625766737642576446575970706d5244504a6f}
    condition:
        all of them
}

rule AUTO_9090b9b0c54000e9d646000090909090909068f0124000e84a6e {
    strings:
        $a = {9090b9b0c54000e9d646000090909090909068f0124000e84a6e}
    condition:
        all of them
}

rule AUTO_000060909090909090b8001040009090906a0490905f90909090 {
    strings:
        $a = {000060909090909090b8001040009090906a0490905f90909090}
    condition:
        all of them
}

rule AUTO_66726e666a726a72627666766e7272626e626a6672626a363832 {
    strings:
        $a = {66726e666a726a72627666766e7272626e626a6672626a363832}
    condition:
        all of them
}

rule AUTO_756589fa03573c66813a504575598955f48b42780345088945f8 {
    strings:
        $a = {756589fa03573c66813a504575598955f48b42780345088945f8}
    condition:
        all of them
}

rule AUTO_66626e627662666e6a6e666a7666626272626a62667272626272 {
    strings:
        $a = {66626e627662666e6a6e666a7666626272626a62667272626272}
    condition:
        all of them
}

rule AUTO_6a7276766e7272766276626e6e766a626a667272626a76626276 {
    strings:
        $a = {6a7276766e7272766276626e6e766a626a667272626a76626276}
    condition:
        all of them
}

rule AUTO_ff83bd6cffffff007d206a5068585a4000ffb570ffffffffb56c {
    strings:
        $a = {ff83bd6cffffff007d206a5068585a4000ffb570ffffffffb56c}
    condition:
        all of them
}

rule AUTO_000000000000000000000090906090909090b8001040006a0490 {
    strings:
        $a = {000000000000000000000090906090909090b8001040006a0490}
    condition:
        all of them
}

rule AUTO_72626e626e6e626a667672766864786c787470746c6c646c6868 {
    strings:
        $a = {72626e626e6e626a667672766864786c787470746c6c646c6868}
    condition:
        all of them
}

rule AUTO_72726e6a7662626a66727266766276626a7272766a7676766e6e {
    strings:
        $a = {72726e6a7662626a66727266766276626a7272766a7676766e6e}
    condition:
        all of them
}

rule AUTO_6666666e6a766676627266726e6e6e626a666e726a7676667662 {
    strings:
        $a = {6666666e6a766676627266726e6e6e626a666e726a7676667662}
    condition:
        all of them
}

rule AUTO_000000000000000090906090909090b800104000909090906a04 {
    strings:
        $a = {000000000000000090906090909090b800104000909090906a04}
    condition:
        all of them
}

rule AUTO_0000000000000000qq90qqqq909090b80010400090bb38de4000 {
    strings:
        $a = {0000000000000000??90????909090b80010400090bb38de4000}
    condition:
        all of them
}

rule AUTO_6164484e464e6c57426d43554c796e6a46476844556c426f7077 {
    strings:
        $a = {6164484e464e6c57426d43554c796e6a46476844556c426f7077}
    condition:
        all of them
}

rule AUTO_000000000000000000000000909090906090b8001040009090bb {
    strings:
        $a = {000000000000000000000000909090906090b8001040009090bb}
    condition:
        all of them
}

rule AUTO_000000000000000000000000909090609090b8001040009090bb {
    strings:
        $a = {000000000000000000000000909090609090b8001040009090bb}
    condition:
        all of them
}

rule AUTO_000000000090909090609090b80010400090bb548e400090b9cc {
    strings:
        $a = {000000000090909090609090b80010400090bb548e400090b9cc}
    condition:
        all of them
}

rule AUTO_bbbb0011bb77bbbb11bb11bb11bb11bbbb0b0111bb11bb11bb11 {
    strings:
        $a = {bbbb0011bb77bbbb11bb11bb11bb11bbbb0b0111bb11bb11bb11}
    condition:
        all of them
}

rule AUTO_000000000000906090909090b80010400090bb5c91400090b922 {
    strings:
        $a = {000000000000906090909090b80010400090bb5c91400090b922}
    condition:
        all of them
}

rule AUTO_000090906090909090b8001040009090906a04905f9090909090 {
    strings:
        $a = {000090906090909090b8001040009090906a04905f9090909090}
    condition:
        all of them
}

rule AUTO_000000000000000090909090906090b8001040009090906a0490 {
    strings:
        $a = {000000000000000090909090906090b8001040009090906a0490}
    condition:
        all of them
}

rule AUTO_000090906090909090b8001040009090906a0490905f90909090 {
    strings:
        $a = {000090906090909090b8001040009090906a0490905f90909090}
    condition:
        all of them
}

rule AUTO_72726a6a6a6e767662766676726e7272666676766e666262626a {
    strings:
        $a = {72726a6a6a6e767662766676726e7272666676766e666262626a}
    condition:
        all of them
}

rule AUTO_000000589090909090056a3e4000902d103e4000908b18909090 {
    strings:
        $a = {000000589090909090056a3e4000902d103e4000908b18909090}
    condition:
        all of them
}

rule AUTO_cee85056fcff837dfc00740b6a01ff75fcff15500748006a0258 {
    strings:
        $a = {cee85056fcff837dfc00740b6a01ff75fcff15500748006a0258}
    condition:
        all of them
}

rule AUTO_6a6266626a6a6e72667262626662726a666e626a726a726e726a {
    strings:
        $a = {6a6266626a6a6e72667262626662726a666e626a726a726e726a}
    condition:
        all of them
}

rule AUTO_54507448504b4b6e6e4d444e5547734751776f514e50694e6775 {
    strings:
        $a = {54507448504b4b6e6e4d444e5547734751776f514e50694e6775}
    condition:
        all of them
}

rule AUTO_62626a626a6a7276626e626e6e6a6a7272626e66626276726266 {
    strings:
        $a = {62626a626a6a7276626e626e6e6a6a7272626e66626276726266}
    condition:
        all of them
}

rule AUTO_000090909060909090b80010400090bb5c914000b9597b6e1c90 {
    strings:
        $a = {000090909060909090b80010400090bb5c914000b9597b6e1c90}
    condition:
        all of them
}

rule AUTO_6a666a666a7276726272766262726e666a6a766e6a7276726262 {
    strings:
        $a = {6a666a666a7276726272766262726e666a6a766e6a7276726262}
    condition:
        all of them
}

rule AUTO_952252a3b9af40dd5bd3cb9f882747badeff38fac1fa99baafa7 {
    strings:
        $a = {952252a3b9af40dd5bd3cb9f882747badeff38fac1fa99baafa7}
    condition:
        all of them
}

rule AUTO_000000000000000000000060909090909090b80010400090906a {
    strings:
        $a = {000000000000000000000060909090909090b80010400090906a}
    condition:
        all of them
}

rule AUTO_74496a048d4510506a046a005356ff1500104200568bf8ff1520 {
    strings:
        $a = {74496a048d4510506a046a005356ff1500104200568bf8ff1520}
    condition:
        all of them
}

rule AUTO_5368cbb6400068c6b64000bbd3e090c3c35bd3e040d3e0595668 {
    strings:
        $a = {5368cbb6400068c6b64000bbd3e090c3c35bd3e040d3e0595668}
    condition:
        all of them
}

rule AUTO_726e6a666a62626a6672766a766672627266727266726a62766e {
    strings:
        $a = {726e6a666a62626a6672766a766672627266727266726a62766e}
    condition:
        all of them
}

rule AUTO_93fcb00e5fd311a3b900c04f79ad3a55545d83c4cc53565733db {
    strings:
        $a = {93fcb00e5fd311a3b900c04f79ad3a55545d83c4cc53565733db}
    condition:
        all of them
}

rule AUTO_6a66726a6e6a626e6e6a726276767662626e6266727266626266 {
    strings:
        $a = {6a66726a6e6a626e6e6a726276767662626e6266727266626266}
    condition:
        all of them
}

rule AUTO_626e6e766e66626e626a6e6262627666766a626a62666e666a62 {
    strings:
        $a = {626e6e766e66626e626a6e6262627666766a626a62666e666a62}
    condition:
        all of them
}

rule AUTO_686e654668647857536c72536b53727053534778694a48786264 {
    strings:
        $a = {686e654668647857536c72536b53727053534778694a48786264}
    condition:
        all of them
}

rule AUTO_5455716e736b64536e7870666e6e4a67635355677072644a5473 {
    strings:
        $a = {5455716e736b64536e7870666e6e4a67635355677072644a5473}
    condition:
        all of them
}

rule AUTO_0d9d42fa97f4ca9d60fa27f4df9dcdfaf8f47f9d9ffa25f44b9d {
    strings:
        $a = {0d9d42fa97f4ca9d60fa27f4df9dcdfaf8f47f9d9ffa25f44b9d}
    condition:
        all of them
}

rule AUTO_6a6a6e626e6a766e6e6a76626e666a666e666a76667662626e62 {
    strings:
        $a = {6a6a6e626e6a766e6e6a76626e666a666e666a76667662626e62}
    condition:
        all of them
}

rule AUTO_4b54734c6761425766725871554e676465484e4a6951536c6471 {
    strings:
        $a = {4b54734c6761425766725871554e676465484e4a6951536c6471}
    condition:
        all of them
}

rule AUTO_qqqq5dc2100055545d83ec20535657515b8b4d0c6810f94800e8 {
    strings:
        $a = {????5dc2100055545d83ec20535657515b8b4d0c6810f94800e8}
    condition:
        all of them
}

rule AUTO_6662736266627372666a7262666a7272666a7362666a73726662 {
    strings:
        $a = {6662736266627372666a7262666a7272666a7362666a73726662}
    condition:
        all of them
}

rule AUTO_6e6a6a6266666e7262766266666a6a727662726e627662766666 {
    strings:
        $a = {6e6a6a6266666e7262766266666a6a727662726e627662766666}
    condition:
        all of them
}

rule AUTO_6e6e6e666a6a767262766676726a6e62726a76667262766e7666 {
    strings:
        $a = {6e6e6e666a6a767262766676726a6e62726a76667262766e7666}
    condition:
        all of them
}

rule AUTO_66626666666e627262726276667272766a726a6e6e6a6e666e62 {
    strings:
        $a = {66626666666e627262726276667272766a726a6e6e6a6e666e62}
    condition:
        all of them
}

rule AUTO_726c625364747272644a5a6653705762686e654b437043646c79 {
    strings:
        $a = {726c625364747272644a5a6653705762686e654b437043646c79}
    condition:
        all of them
}

rule AUTO_6a006a006a0068781040006a006a00ff1584b242003bf4e80a04 {
    strings:
        $a = {6a006a006a0068781040006a006a00ff1584b242003bf4e80a04}
    condition:
        all of them
}

rule AUTO_6a6272626a72627662766276626672626e6e726e66666a6a626a {
    strings:
        $a = {6a6272626a72627662766276626672626e6e726e66666a6a626a}
    condition:
        all of them
}

rule AUTO_6e6666666e6e6a72627676666e76626e6a72666e666e6e6a6262 {
    strings:
        $a = {6e6666666e6e6a72627676666e76626e6a72666e666e6e6a6262}
    condition:
        all of them
}

rule AUTO_62626e626e76626a627676666266727672766e76626e726a6a62 {
    strings:
        $a = {62626e626e76626a627676666266727672766e76626e726a6a62}
    condition:
        all of them
}

rule AUTO_726e7666726e626a6276766262766a726a766e72666e626a626a {
    strings:
        $a = {726e7666726e626a6276766262766a726a766e72666e626a626a}
    condition:
        all of them
}

rule AUTO_0000000000000000qq909090906090b80010400090bbqqqq4000 {
    strings:
        $a = {0000000000000000??909090906090b80010400090bb????4000}
    condition:
        all of them
}

rule AUTO_400057a370b54000ffd6689870400057a374b54000ffd6689070 {
    strings:
        $a = {400057a370b54000ffd6689870400057a374b54000ffd6689070}
    condition:
        all of them
}

rule AUTO_000000909058909090056a3e400090902d103e400090908b1890 {
    strings:
        $a = {000000909058909090056a3e400090902d103e400090908b1890}
    condition:
        all of them
}

rule AUTO_ff83bd4cfeffff007d206a50685c634000ffb550feffffffb54c {
    strings:
        $a = {ff83bd4cfeffff007d206a50685c634000ffb550feffffffb54c}
    condition:
        all of them
}

rule AUTO_000000000000000000000000906090909090b80010400090bb54 {
    strings:
        $a = {000000000000000000000000906090909090b80010400090bb54}
    condition:
        all of them
}

rule AUTO_045f8b460485c0740e68008000006a0050ff1518404000566a00 {
    strings:
        $a = {045f8b460485c0740e68008000006a0050ff1518404000566a00}
    condition:
        all of them
}

rule AUTO_72726a6a6a62666a66727262766272726e6262766a6a726e6a6e {
    strings:
        $a = {72726a6a6a62666a66727262766272726e6262766a6a726e6a6e}
    condition:
        all of them
}

rule AUTO_666a666a6a6a727266766e6266626e6e6e76666676726e6e6676 {
    strings:
        $a = {666a666a6a6a727266766e6266626e6e6e76666676726e6e6676}
    condition:
        all of them
}

rule AUTO_0b000000e916000000909090909090b9b8424000e976ffffff90 {
    strings:
        $a = {0b000000e916000000909090909090b9b8424000e976ffffff90}
    condition:
        all of them
}

rule AUTO_6e6266626e766276626a626e72766e626a666a6a66766e6a6266 {
    strings:
        $a = {6e6266626e766276626a626e72766e626a666a6a66766e6a6266}
    condition:
        all of them
}

rule AUTO_ff83bd68ffffff007d206a1468a0704000ffb56cffffffffb568 {
    strings:
        $a = {ff83bd68ffffff007d206a1468a0704000ffb56cffffffffb568}
    condition:
        all of them
}

rule AUTO_0fbf0085c07533c745fc090000006a006aff68qq3b4000ff75d4 {
    strings:
        $a = {0fbf0085c07533c745fc090000006a006aff68??3b4000ff75d4}
    condition:
        all of them
}

rule AUTO_6e6a7676666e6272626a6e6276666662766676726a7266626e6e {
    strings:
        $a = {6e6a7676666e6272626a6e6276666662766676726a7266626e6e}
    condition:
        all of them
}

rule AUTO_6e62467057646878667272537362746e6e6c546e746968736c65 {
    strings:
        $a = {6e62467057646878667272537362746e6e6c546e746968736c65}
    condition:
        all of them
}

rule AUTO_6e666a72766e6e727276626a6e666e626a667276766a666a7666 {
    strings:
        $a = {6e666a72766e6e727276626a6e666e626a667276766a666a7666}
    condition:
        all of them
}

rule AUTO_687c6240006a00575355ffd668846240006a00575355ffd66a00 {
    strings:
        $a = {687c6240006a00575355ffd668846240006a00575355ffd66a00}
    condition:
        all of them
}

rule AUTO_646468646474786c6a666e726a76727672627070746c68706c78 {
    strings:
        $a = {646468646474786c6a666e726a76727672627070746c68706c78}
    condition:
        all of them
}

rule AUTO_6272666a666e767262767266626a726e6e6a6a76666a7266726e {
    strings:
        $a = {6272666a666e767262767266626a726e6e6a6a76666a7266726e}
    condition:
        all of them
}

rule AUTO_667662666a6e6272626a6e62626272766e6a66627676726a6a62 {
    strings:
        $a = {667662666a6e6272626a6e62626272766e6a66627676726a6a62}
    condition:
        all of them
}

rule AUTO_356e4d52334675706b653443435077476a664d76797659704f7a {
    strings:
        $a = {356e4d52334675706b653443435077476a664d76797659704f7a}
    condition:
        all of them
}

rule AUTO_6a7666626e6e6a6a767672627662766672726e76726662667662 {
    strings:
        $a = {6a7666626e6e6a6a767672627662766672726e76726662667662}
    condition:
        all of them
}

rule AUTO_6e626262667666727672626a72666e626a666e6e6a7662727262 {
    strings:
        $a = {6e626262667666727672626a72666e626a666e6e6a7662727262}
    condition:
        all of them
}

rule AUTO_6d554a6d4771684d4768706c6c64576470696c537265746c7062 {
    strings:
        $a = {6d554a6d4771684d4768706c6c64576470696c537265746c7062}
    condition:
        all of them
}

rule AUTO_706478687874686868766e766a666e626a6672766662766a6672 {
    strings:
        $a = {706478687874686868766e766a666e626a6672766662766a6672}
    condition:
        all of them
}

rule AUTO_e49dddfa6ef4e59d6cfacbf4df9ddcfa3af4959d9efaddf4679d {
    strings:
        $a = {e49dddfa6ef4e59d6cfacbf4df9ddcfa3af4959d9efaddf4679d}
    condition:
        all of them
}

rule AUTO_62636949437670694e476e57474d6e57724a5747737764705266 {
    strings:
        $a = {62636949437670694e476e57474d6e57724a5747737764705266}
    condition:
        all of them
}

rule AUTO_6e666a626a6e6276627662726a666662726e6a6a6672766e6a72 {
    strings:
        $a = {6e666a626a6e6276627662726a666662726e6a6a6672766e6a72}
    condition:
        all of them
}

rule AUTO_666672626a6262726a766262766e726e6e6a66726e666a626a6a {
    strings:
        $a = {666672626a6262726a766262766e726e6e6a66726e666a626a6a}
    condition:
        all of them
}

rule AUTO_6e6e72626676767262766262766e726a727276666676726e7672 {
    strings:
        $a = {6e6e72626676767262766262766e726a727276666676726e7672}
    condition:
        all of them
}

rule AUTO_6e666a6276627676626e766e627272627266626a6262726e6666 {
    strings:
        $a = {6e666a6276627676626e766e627272627266626a6262726e6666}
    condition:
        all of them
}

rule AUTO_626e6e666a6e6e72626e7262666e72667272626a72626262666e {
    strings:
        $a = {626e6e666a6e6e72626e7262666e72667272626a72626262666e}
    condition:
        all of them
}

rule AUTO_62626e666a72627262766276626a7276766e6e72666e66766a62 {
    strings:
        $a = {62626e666a72627262766276626a7276766e6e72666e66766a62}
    condition:
        all of them
}

rule AUTO_6a726a726666626a6672766276726a66626e6a66726e666e666a {
    strings:
        $a = {6a726a726666626a6672766276726a66626e6a66726e666e666a}
    condition:
        all of them
}

rule AUTO_e55dc21000558bec81ec0c000000c745fc00000000ff75108d45 {
    strings:
        $a = {e55dc21000558bec81ec0c000000c745fc00000000ff75108d45}
    condition:
        all of them
}

rule AUTO_747074746c6c78706464786e6a6272766a7672766672626e6a76 {
    strings:
        $a = {747074746c6c78706464786e6a6272766a7672766672626e6a76}
    condition:
        all of them
}

rule AUTO_6e726e66666a626a626e666a72726e6268647878646870687868 {
    strings:
        $a = {6e726e66666a626a626e666a72726e6268647878646870687868}
    condition:
        all of them
}

rule AUTO_726a6a72726e626a62766a626e6276666e726662626e6e666a66 {
    strings:
        $a = {726a6a72726e626a62766a626e6276666e726662626e6e666a66}
    condition:
        all of them
}

rule AUTO_6a7676666a62626a627276666672766e6e6a6e666e6e7666626e {
    strings:
        $a = {6a7676666a62626a627276666672766e6e6a6e666e6e7666626e}
    condition:
        all of them
}

rule AUTO_54474a6d6e6b4f4d5a74425253586878707168534a5a59695347 {
    strings:
        $a = {54474a6d6e6b4f4d5a74425253586878707168534a5a59695347}
    condition:
        all of them
}

rule AUTO_4e644b466e447858555370764d6372644b534277757178617849 {
    strings:
        $a = {4e644b466e447858555370764d6372644b534277757178617849}
    condition:
        all of them
}

rule AUTO_70bb7077bb11bb77117b11bbbb110b77bb1111bb1177bbbb0177 {
    strings:
        $a = {70bb7077bb11bb77117b11bbbb110b77bb1111bb1177bbbb0177}
    condition:
        all of them
}

rule AUTO_66726a76667262726676666266626a626a6272766276726a666e {
    strings:
        $a = {66726a76667262726676666266626a626a6272766276726a666e}
    condition:
        all of them
}

rule AUTO_4f684a4c75756e6279617357546c72477766726a534778776641 {
    strings:
        $a = {4f684a4c75756e6279617357546c72477766726a534778776641}
    condition:
        all of them
}

rule AUTO_666672626e6e626a6676766262766e66666a62666a6e6a6e7672 {
    strings:
        $a = {666672626e6e626a6676766262766e66666a62666a6e6a6e7672}
    condition:
        all of them
}

rule AUTO_4000bdd3e090c3c35dd3e040d3e057686d6540006868654000bf {
    strings:
        $a = {4000bdd3e090c3c35dd3e040d3e057686d6540006868654000bf}
    condition:
        all of them
}

rule AUTO_726278696468536e626c6553536e6c6e6e626741706762726c70 {
    strings:
        $a = {726278696468536e626c6553536e6c6e6e626741706762726c70}
    condition:
        all of them
}

rule AUTO_6a666a6276666e72626662727266766e6a6e626e7262666e6e62 {
    strings:
        $a = {6a666a6276666e72626662727266766e6a6e626e7262666e6e62}
    condition:
        all of them
}

rule AUTO_626a6e66667662626e666e6a6e6666626e66726a66766276666a {
    strings:
        $a = {626a6e66667662626e666e6a6e6666626e66726a66766276666a}
    condition:
        all of them
}

rule AUTO_64656c6854576872625464784a6543706b4b646e7073536e4865 {
    strings:
        $a = {64656c6854576872625464784a6543706b4b646e7073536e4865}
    condition:
        all of them
}

rule AUTO_6666666a6e6a626a626a7262766262766262626e6e6e7262726a {
    strings:
        $a = {6666666a6e6a626a626a7262766262766262626e6e6e7262726a}
    condition:
        all of them
}

rule AUTO_576866646a705570686e64536474786e626e4a6b646467645541 {
    strings:
        $a = {576866646a705570686e64536474786e626e4a6b646467645541}
    condition:
        all of them
}

rule AUTO_54536a43547378706251594b5664474647414d6b44644f466549 {
    strings:
        $a = {54536a43547378706251594b5664474647414d6b44644f466549}
    condition:
        all of them
}

rule AUTO_00683053400050e8d006000085c059597455682c534000ff75f8 {
    strings:
        $a = {00683053400050e8d006000085c059597455682c534000ff75f8}
    condition:
        all of them
}