sigs/20210803_macho.yar

rule AUTO_774772333130506d727a303030303037330030303042677b3030 {
    strings:
        $a = {774772333130506d727a303030303037330030303042677b3030}
    condition:
        all of them
}

rule AUTO_000000000f44c8438b451c3b187ce131d283c42c89d05b5e5fc9 {
    strings:
        $a = {000000000f44c8438b451c3b187ce131d283c42c89d05b5e5fc9}
    condition:
        all of them
}

rule AUTO_005c800100607fa3eb78388004107c0200507c0026707c00f9d6 {
    strings:
        $a = {005c800100607fa3eb78388004107c0200507c0026707c00f9d6}
    condition:
        all of them
}

rule AUTO_6c65316a6f574e33303030303033330030727a4143473357727c {
    strings:
        $a = {6c65316a6f574e33303030303033330030727a4143473357727c}
    condition:
        all of them
}

rule AUTO_4674aefc6316f33c2fd488f7e59066c9779a9a5eba1531e0fa27 {
    strings:
        $a = {4674aefc6316f33c2fd488f7e59066c9779a9a5eba1531e0fa27}
    condition:
        all of them
}

rule AUTO_5b5ec9c35589e5575689d65383ec3c8965d8894dd489442404a1 {
    strings:
        $a = {5b5ec9c35589e5575689d65383ec3c8965d8894dd489442404a1}
    condition:
        all of them
}

rule AUTO_6dbf8155d44cd4194c8118243c143c30141826795f355f4c35qq {
    strings:
        $a = {6dbf8155d44cd4194c8118243c143c30141826795f355f4c35??}
    condition:
        all of them
}

rule AUTO_6dbf8155d44cd4194c8118243c143c30141826795f355f4c3526 {
    strings:
        $a = {6dbf8155d44cd4194c8118243c143c30141826795f355f4c3526}
    condition:
        all of them
}

rule AUTO_498b7708498b4f2048bf89888888888888884889c848f7e748c1 {
    strings:
        $a = {498b7708498b4f2048bf89888888888888884889c848f7e748c1}
    condition:
        all of them
}

rule AUTO_6e3a64776e4c4f6e3a64776e434f6e3a64776e524f6e3a646973 {
    strings:
        $a = {6e3a64776e4c4f6e3a64776e434f6e3a64776e524f6e3a646973}
    condition:
        all of them
}

rule AUTO_556e6b6e6f776e206e6574776f726b2073706563696669656420 {
    strings:
        $a = {556e6b6e6f776e206e6574776f726b2073706563696669656420}
    condition:
        all of them
}

rule AUTO_10a05b1557a88b1702f9a89be8d58c96a7484291e5ec3dc8ac52 {
    strings:
        $a = {10a05b1557a88b1702f9a89be8d58c96a7484291e5ec3dc8ac52}
    condition:
        all of them
}

rule AUTO_6564526f77496e646578657346726f6d44696374696f6e617279 {
    strings:
        $a = {6564526f77496e646578657346726f6d44696374696f6e617279}
    condition:
        all of them
}

rule AUTO_0000004589e04431e84183e5f8c1e81941c1e5044131c5428d04 {
    strings:
        $a = {0000004589e04431e84183e5f8c1e81941c1e5044131c5428d04}
    condition:
        all of them
}

rule AUTO_b67935471c8696d9d19331642c8675533a08837754a7a65defad {
    strings:
        $a = {b67935471c8696d9d19331642c8675533a08837754a7a65defad}
    condition:
        all of them
}

rule AUTO_4ecf960ba4c0529b52b3ea8097afc14b069a46d35d141ca01e5b {
    strings:
        $a = {4ecf960ba4c0529b52b3ea8097afc14b069a46d35d141ca01e5b}
    condition:
        all of them
}

rule AUTO_qqqqqq005f6b4c5353686172656446696c654c6973744974656d {
    strings:
        $a = {??????005f6b4c5353686172656446696c654c6973744974656d}
    condition:
        all of them
}

rule AUTO_5641554154534883ec484d89c44889c84889d14989f64989fd49 {
    strings:
        $a = {5641554154534883ec484d89c44889c84889d14989f64989fd49}
    condition:
        all of them
}

rule AUTO_0000888ba90100008893aa0100004088b3ab01000031c08883ac {
    strings:
        $a = {0000888ba90100008893aa0100004088b3ab01000031c08883ac}
    condition:
        all of them
}

rule AUTO_098c88c14342a531a4a416248ef5ab313cb1317515e458ac7bb7 {
    strings:
        $a = {098c88c14342a531a4a416248ef5ab313cb1317515e458ac7bb7}
    condition:
        all of them
}

rule AUTO_00cd011e685758d7567c62c9273cc615a93d01022fe169b54a11 {
    strings:
        $a = {00cd011e685758d7567c62c9273cc615a93d01022fe169b54a11}
    condition:
        all of them
}

rule AUTO_10498b4e2048be89888888888888884889c848f7e64939dc0f84 {
    strings:
        $a = {10498b4e2048be89888888888888884889c848f7e64939dc0f84}
    condition:
        all of them
}

rule AUTO_65726e616c446f776e4c6f616455726c466f724272616e643a5d {
    strings:
        $a = {65726e616c446f776e4c6f616455726c466f724272616e643a5d}
    condition:
        all of them
}

rule AUTO_40224e535461626c6556696577222c5674626c466f6c64657200 {
    strings:
        $a = {40224e535461626c6556696577222c5674626c466f6c64657200}
    condition:
        all of them
}

rule AUTO_774772333130506d727a3030303030373300337c49567c6a3030 {
    strings:
        $a = {774772333130506d727a3030303030373300337c49567c6a3030}
    condition:
        all of them
}

rule AUTO_696e2e6f005f6d61696e00494e446f776e6c6f616465722e6d00 {
    strings:
        $a = {696e2e6f005f6d61696e00494e446f776e6c6f616465722e6d00}
    condition:
        all of them
}

rule AUTO_qqqqqqqqqq686f77557064617465547261636b65724e6f746966 {
    strings:
        $a = {??????????686f77557064617465547261636b65724e6f746966}
    condition:
        all of them
}

rule AUTO_05a5a3a937d20513e93ed6ea6aec9bdc36e576a753b30f0646d1 {
    strings:
        $a = {05a5a3a937d20513e93ed6ea6aec9bdc36e576a753b30f0646d1}
    condition:
        all of them
}

rule AUTO_e02a4c020b884dec0fb64dec488b55e0884c15ed48ff45e0488b {
    strings:
        $a = {e02a4c020b884dec0fb64dec488b55e0884c15ed48ff45e0488b}
    condition:
        all of them
}

rule AUTO_ad7fb7a349037faa777c09e06ab361165179116d52b42f2640be {
    strings:
        $a = {ad7fb7a349037faa777c09e06ab361165179116d52b42f2640be}
    condition:
        all of them
}

rule AUTO_4e534f75746c696e6556696577222c566f5669657700544022qq {
    strings:
        $a = {4e534f75746c696e6556696577222c566f5669657700544022??}
    condition:
        all of them
}

rule AUTO_56c43138bac8bc65c88c83e80035d06e7c47652a7689d008ad15 {
    strings:
        $a = {56c43138bac8bc65c88c83e80035d06e7c47652a7689d008ad15}
    condition:
        all of them
}

rule AUTO_656d6170686f726549443a0076323440303a385e693136006d53 {
    strings:
        $a = {656d6170686f726549443a0076323440303a385e693136006d53}
    condition:
        all of them
}

rule AUTO_7374616c6c6572004943446f776e6c6f6164657244656c656761 {
    strings:
        $a = {7374616c6c6572004943446f776e6c6f6164657244656c656761}
    condition:
        all of them
}

rule AUTO_646f776e6c6f6164733a256420646f776e6c6f61646572733a25 {
    strings:
        $a = {646f776e6c6f6164733a256420646f776e6c6f61646572733a25}
    condition:
        all of them
}

rule AUTO_5440224e535461626c6556696577222c5674626c46696c746572 {
    strings:
        $a = {5440224e535461626c6556696577222c5674626c46696c746572}
    condition:
        all of them
}

rule AUTO_61676572497341637469766564005f434b65726e656c4d616e61 {
    strings:
        $a = {61676572497341637469766564005f434b65726e656c4d616e61}
    condition:
        all of them
}

rule AUTO_653a5d002b5b446f776e6c6f61644f626a656374207765627363 {
    strings:
        $a = {653a5d002b5b446f776e6c6f61644f626a656374207765627363}
    condition:
        all of them
}

rule AUTO_75696c642f416e6162656c5061636b6167652f6275696c642f73 {
    strings:
        $a = {75696c642f416e6162656c5061636b6167652f6275696c642f73}
    condition:
        all of them
}

rule AUTO_0000f490909090554889e54881ec6020000089f8488b0d742300 {
    strings:
        $a = {0000f490909090554889e54881ec6020000089f8488b0d742300}
    condition:
        all of them
}

rule AUTO_0000ffe0e800000000588b804b220000ffe05589e55383ec04e8 {
    strings:
        $a = {0000ffe0e800000000588b804b220000ffe05589e55383ec04e8}
    condition:
        all of them
}

rule AUTO_40224e53496d61676556696577222c566170706c65617743596b {
    strings:
        $a = {40224e53496d61676556696577222c566170706c65617743596b}
    condition:
        all of them
}

rule AUTO_74696f6e3131646f776e6c6f616455726c4576005f5f5a4e3133 {
    strings:
        $a = {74696f6e3131646f776e6c6f616455726c4576005f5f5a4e3133}
    condition:
        all of them
}

rule AUTO_4d49706741594b6b425a5953654d6b61704142484d5a43634444 {
    strings:
        $a = {4d49706741594b6b425a5953654d6b61704142484d5a43634444}
    condition:
        all of them
}

rule AUTO_40224e535461626c6556696577222c564b4c4a4a536e79317634 {
    strings:
        $a = {40224e535461626c6556696577222c564b4c4a4a536e79317634}
    condition:
        all of them
}

rule AUTO_7710498b4f2048be89888888888888884889c848f7e648c1ea04 {
    strings:
        $a = {7710498b4f2048be89888888888888884889c848f7e648c1ea04}
    condition:
        all of them
}

rule AUTO_75715631684a4c53354765546733464632396f33756e38696d64 {
    strings:
        $a = {75715631684a4c53354765546733464632396f33756e38696d64}
    condition:
        all of them
}

rule AUTO_qqqqqqqq466f6e745363616c655570446f776e4b6579005f6b5a {
    strings:
        $a = {????????466f6e745363616c655570446f776e4b6579005f6b5a}
    condition:
        all of them
}

rule AUTO_70646c71396e4a47305920706b6d706462775335515177643a6e {
    strings:
        $a = {70646c71396e4a47305920706b6d706462775335515177643a6e}
    condition:
        all of them
}

rule AUTO_qqqqc8bfbfbfe6afa7a7afa4ade6aba7a5c8acadaea9bda4bc97 {
    strings:
        $a = {????c8bfbfbfe6afa7a7afa4ade6aba7a5c8acadaea9bda4bc97}
    condition:
        all of them
}

rule AUTO_qqqqqqqq44656c6567617465433573686f776e53627670577664 {
    strings:
        $a = {????????44656c6567617465433573686f776e53627670577664}
    condition:
        all of them
}

rule AUTO_5440224e535461626c6556696577222c56696e6e766372517353 {
    strings:
        $a = {5440224e535461626c6556696577222c56696e6e766372517353}
    condition:
        all of them
}

rule AUTO_5440224e535461626c6556696577222c566d6e6c646248365577 {
    strings:
        $a = {5440224e535461626c6556696577222c566d6e6c646248365577}
    condition:
        all of them
}

rule AUTO_e7816a12eaa8566c8694edf6e8d735e1ec6547ba8e462ca6145f {
    strings:
        $a = {e7816a12eaa8566c8694edf6e8d735e1ec6547ba8e462ca6145f}
    condition:
        all of them
}

rule AUTO_40224e53496d61676556696577222c56696e6e76636a7664695a {
    strings:
        $a = {40224e53496d61676556696577222c56696e6e76636a7664695a}
    condition:
        all of them
}

rule AUTO_656256696577222c5677656256696577547261636b0074696d65 {
    strings:
        $a = {656256696577222c5677656256696577547261636b0074696d65}
    condition:
        all of them
}

rule AUTO_baa4c8bfbfbfe6afa7a7afa4ade6aba7a5c8acadaea9bda4bc97 {
    strings:
        $a = {baa4c8bfbfbfe6afa7a7afa4ade6aba7a5c8acadaea9bda4bc97}
    condition:
        all of them
}

rule AUTO_b8f2e7e7bfbfbfe6afa7a7afa4ade6aba7a5c88b8e8abda6aca4 {
    strings:
        $a = {b8f2e7e7bfbfbfe6afa7a7afa4ade6aba7a5c88b8e8abda6aca4}
    condition:
        all of them
}

rule AUTO_3a00676574496e7465726e616c446f776e4c6f616455726c0067 {
    strings:
        $a = {3a00676574496e7465726e616c446f776e4c6f616455726c0067}
    condition:
        all of them
}

rule AUTO_9067f47b4044f31b250f53004084bbb3765b3a7f409415c3d5c1 {
    strings:
        $a = {9067f47b4044f31b250f53004084bbb3765b3a7f409415c3d5c1}
    condition:
        all of them
}

rule AUTO_6b5a4255466f6e745363616c655570446f776e4b6579005f6b5a {
    strings:
        $a = {6b5a4255466f6e745363616c655570446f776e4b6579005f6b5a}
    condition:
        all of them
}

rule AUTO_35ef110300c88035e9110300c88035e3110300c88035dd110300 {
    strings:
        $a = {35ef110300c88035e9110300c88035e3110300c88035dd110300}
    condition:
        all of them
}

rule AUTO_2f005653446f776e6c6f616465722e6d002f55736572732fqqqq {
    strings:
        $a = {2f005653446f776e6c6f616465722e6d002f55736572732f????}
    condition:
        all of them
}

rule AUTO_005440223c4943446f776e6c6f6164657244656c65676174653e {
    strings:
        $a = {005440223c4943446f776e6c6f6164657244656c65676174653e}
    condition:
        all of them
}

rule AUTO_qqqqqq0073657453656d6170686f726549443a0076313240303a {
    strings:
        $a = {??????0073657453656d6170686f726549443a0076313240303a}
    condition:
        all of them
}

rule AUTO_5440224e535461626c6556696577222c56696e6e76636b547051 {
    strings:
        $a = {5440224e535461626c6556696577222c56696e6e76636b547051}
    condition:
        all of them
}

rule AUTO_656256696577222c5677656256696577547261636b53696c656e {
    strings:
        $a = {656256696577222c5677656256696577547261636b53696c656e}
    condition:
        all of them
}

rule AUTO_ffff488b354a4f02004889cfff1511fa01004889c7e81f4d0100 {
    strings:
        $a = {ffff488b354a4f02004889cfff1511fa01004889c7e81f4d0100}
    condition:
        all of them
}

rule AUTO_354a6a0000328035446a00007580353e6a00001f8035386a0000 {
    strings:
        $a = {354a6a0000328035446a00007580353e6a00001f8035386a0000}
    condition:
        all of them
}

rule AUTO_656256696577222c5677656256696577547261636b002f757372 {
    strings:
        $a = {656256696577222c5677656256696577547261636b002f757372}
    condition:
        all of them
}

rule AUTO_6973206669656c6420746f2073686f77206e756d626572206f66 {
    strings:
        $a = {6973206669656c6420746f2073686f77206e756d626572206f66}
    condition:
        all of them
}

rule AUTO_qqqqqqqqqq007274626068546f726e536262626a66006569766d {
    strings:
        $a = {??????????007274626068546f726e536262626a66006569766d}
    condition:
        all of them
}

rule AUTO_3141707044656c6567617465433573686f776e53627657766400 {
    strings:
        $a = {3141707044656c6567617465433573686f776e53627657766400}
    condition:
        all of them
}

rule AUTO_f2e7e7bfbfbfe6afa7a7afa4ade6aba7a5c8a0bcbcb8f2e7e7bf {
    strings:
        $a = {f2e7e7bfbfbfe6afa7a7afa4ade6aba7a5c8a0bcbcb8f2e7e7bf}
    condition:
        all of them
}

rule AUTO_742e6f002b5b446f776e6c6f61644f626a656374207765625363 {
    strings:
        $a = {742e6f002b5b446f776e6c6f61644f626a656374207765625363}
    condition:
        all of them
}

rule AUTO_344b727a3162653a007365744f696f6473706c4a77566c6d666c {
    strings:
        $a = {344b727a3162653a007365744f696f6473706c4a77566c6d666c}
    condition:
        all of them
}

rule AUTO_756e740073686f77557064617465547261636b65724e6f746966 {
    strings:
        $a = {756e740073686f77557064617465547261636b65724e6f746966}
    condition:
        all of them
}

rule AUTO_6b575149323869776e43303030303033330030734732364d3179 {
    strings:
        $a = {6b575149323869776e43303030303033330030734732364d3179}
    condition:
        all of them
}

rule AUTO_656256696577222c5677656256696577547261636b00qqqqqq00 {
    strings:
        $a = {656256696577222c5677656256696577547261636b00??????00}
    condition:
        all of them
}

rule AUTO_8b5f08498b4f2048be89888888888888884889c848f7e64d8b77 {
    strings:
        $a = {8b5f08498b4f2048be89888888888888884889c848f7e64d8b77}
    condition:
        all of them
}

rule AUTO_2f005653446f776e6c6f616465722e6d002f4d6163696e746f73 {
    strings:
        $a = {2f005653446f776e6c6f616465722e6d002f4d6163696e746f73}
    condition:
        all of them
}

rule AUTO_556f776675007274626068546f726e536262626a66006569766d {
    strings:
        $a = {556f776675007274626068546f726e536262626a66006569766d}
    condition:
        all of them
}

rule AUTO_65723a0073686f77557064617465547261636b657246726f6d49 {
    strings:
        $a = {65723a0073686f77557064617465547261636b657246726f6d49}
    condition:
        all of them
}

rule AUTO_e187500908a764f8b81ebf1215ad8fcc54c75ee514b3d44ff4be {
    strings:
        $a = {e187500908a764f8b81ebf1215ad8fcc54c75ee514b3d44ff4be}
    condition:
        all of them
}

rule AUTO_6d653a0073657453656d6170686f726549443a0076313240303a {
    strings:
        $a = {6d653a0073657453656d6170686f726549443a0076313240303a}
    condition:
        all of them
}

rule AUTO_646f776e4c4f6e3a646f776e434f6e3a64776e524f6e3a646973 {
    strings:
        $a = {646f776e4c4f6e3a646f776e434f6e3a64776e524f6e3a646973}
    condition:
        all of them
}

rule AUTO_005440224e5354616256696577222c565244435877436a4b326c {
    strings:
        $a = {005440224e5354616256696577222c565244435877436a4b326c}
    condition:
        all of them
}

rule AUTO_fdefa4a90af1dc15687f001efe3b5762343a7de05e39f9c46941 {
    strings:
        $a = {fdefa4a90af1dc15687f001efe3b5762343a7de05e39f9c46941}
    condition:
        all of them
}

rule AUTO_40224e53496d61676556696577222c564b4c4a4a536853434c42 {
    strings:
        $a = {40224e53496d61676556696577222c564b4c4a4a536853434c42}
    condition:
        all of them
}

rule AUTO_516770495a51753a007365744f696f647370654b4b3448304372 {
    strings:
        $a = {516770495a51753a007365744f696f647370654b4b3448304372}
    condition:
        all of them
}

rule AUTO_4e534f626a656374004943446f776e6c6f6164657244656c6567 {
    strings:
        $a = {4e534f626a656374004943446f776e6c6f6164657244656c6567}
    condition:
        all of them
}

rule AUTO_7a724256005440224e5356696577222c56524443586e44766f7a {
    strings:
        $a = {7a724256005440224e5356696577222c56524443586e44766f7a}
    condition:
        all of them
}

rule AUTO_70647a374f397172684520706b6d706465777276544a34315d00 {
    strings:
        $a = {70647a374f397172684520706b6d706465777276544a34315d00}
    condition:
        all of them
}

rule AUTO_6f726d616c2f693338362f5653446f776e6c6f616465722e6f00 {
    strings:
        $a = {6f726d616c2f693338362f5653446f776e6c6f616465722e6f00}
    condition:
        all of them
}

rule AUTO_696f6e0031004d4b557064617465547261636b65724167656e74 {
    strings:
        $a = {696f6e0031004d4b557064617465547261636b65724167656e74}
    condition:
        all of them
}

rule AUTO_746f61005f6b4c5353686172656446696c654c6973744974656d {
    strings:
        $a = {746f61005f6b4c5353686172656446696c654c6973744974656d}
    condition:
        all of them
}

rule AUTO_2f005653446f776e6c6f616465722e6d002f55736572732f6f72 {
    strings:
        $a = {2f005653446f776e6c6f616465722e6d002f55736572732f6f72}
    condition:
        all of them
}

rule AUTO_6c705332685755303548535546484b30743352564276536d5578 {
    strings:
        $a = {6c705332685755303548535546484b30743352564276536d5578}
    condition:
        all of them
}

rule AUTO_534b336a6b697664303030303032330030586a4e495032586433 {
    strings:
        $a = {534b336a6b697664303030303032330030586a4e495032586433}
    condition:
        all of them
}

rule AUTO_4e534f75746c696e6556696577222c566f566965770054402262 {
    strings:
        $a = {4e534f75746c696e6556696577222c566f566965770054402262}
    condition:
        all of them
}

rule AUTO_726e616c446f776e4c6f616455726c5d002b5b55736572496e66 {
    strings:
        $a = {726e616c446f776e4c6f616455726c5d002b5b55736572496e66}
    condition:
        all of them
}

rule AUTO_656256696577222c5677656256696577547261636b004e534175 {
    strings:
        $a = {656256696577222c5677656256696577547261636b004e534175}
    condition:
        all of them
}

rule AUTO_5440224e535461626c6556696577222c56696e6e76636a4f5976 {
    strings:
        $a = {5440224e535461626c6556696577222c56696e6e76636a4f5976}
    condition:
        all of them
}

rule AUTO_c8784b16422be11658136ab66b7c191842c3c31cbca5ebd03771 {
    strings:
        $a = {c8784b16422be11658136ab66b7c191842c3c31cbca5ebd03771}
    condition:
        all of them
}

rule AUTO_2f005653446f776e6c6f616465722e6d002f566f6c756d65732f {
    strings:
        $a = {2f005653446f776e6c6f616465722e6d002f566f6c756d65732f}
    condition:
        all of them
}

rule AUTO_00100000316a6f574e33303030303033330030727a4143473357 {
    strings:
        $a = {00100000316a6f574e33303030303033330030727a4143473357}
    condition:
        all of them
}

rule AUTO_4e534f75746c696e6556696577222c566170706c656a764a6b67 {
    strings:
        $a = {4e534f75746c696e6556696577222c566170706c656a764a6b67}
    condition:
        all of them
}

rule AUTO_656256696577222c566449574635006c7a737968005440224e53 {
    strings:
        $a = {656256696577222c566449574635006c7a737968005440224e53}
    condition:
        all of them
}

rule AUTO_656256696577222c5677656256696577547261636b0073747269 {
    strings:
        $a = {656256696577222c5677656256696577547261636b0073747269}
    condition:
        all of them
}

rule AUTO_35ee190000ea8035e81900003b8035e2190000a48035dc190000 {
    strings:
        $a = {35ee190000ea8035e81900003b8035e2190000a48035dc190000}
    condition:
        all of them
}

rule AUTO_5b7244887357888baa010000b26888937001000044889bd30100 {
    strings:
        $a = {5b7244887357888baa010000b26888937001000044889bd30100}
    condition:
        all of them
}

rule AUTO_1105ef1500008035f81500009b8035f21500008c8035ec150000 {
    strings:
        $a = {1105ef1500008035f81500009b8035f21500008c8035ec150000}
    condition:
        all of them
}

rule AUTO_88bb770200008883b7020000b2bb8893fc0100004488abdd0100 {
    strings:
        $a = {88bb770200008883b7020000b2bb8893fc0100004488abdd0100}
    condition:
        all of them
}

rule AUTO_35ed160000778035e7160000128035e1160000348035db160000 {
    strings:
        $a = {35ed160000778035e7160000128035e1160000348035db160000}
    condition:
        all of them
}

rule AUTO_5244316871575a53303030303033330030303042677b30303030 {
    strings:
        $a = {5244316871575a53303030303033330030303042677b30303030}
    condition:
        all of them
}

rule AUTO_1d00001280358f1d0000a78035891d0000fc8035831d00008a80 {
    strings:
        $a = {1d00001280358f1d0000a78035891d0000fc8035831d00008a80}
    condition:
        all of them
}

rule AUTO_a68893d2010000888b3c020000b28b8893b40100004488abdc00 {
    strings:
        $a = {a68893d2010000888b3c020000b28b8893b40100004488abdc00}
    condition:
        all of them
}

rule AUTO_35851100002b80357f1100004380357911000072803573110000 {
    strings:
        $a = {35851100002b80357f1100004380357911000072803573110000}
    condition:
        all of them
}

rule AUTO_02000066c783f2020000bee08893160100004488632e4088b3a7 {
    strings:
        $a = {02000066c783f2020000bee08893160100004488632e4088b3a7}
    condition:
        all of them
}

rule AUTO_301d941d000080358e1d0000448035881d0000c98035821d0000 {
    strings:
        $a = {301d941d000080358e1d0000448035881d0000c98035821d0000}
    condition:
        all of them
}

rule AUTO_88bb26010000b2b28893fe0100004088b37a010000884b68888b {
    strings:
        $a = {88bb26010000b2b28893fe0100004088b37a010000884b68888b}
    condition:
        all of them
}

rule AUTO_8300020000a6888b7e030000b2b48893700100004488ab090100 {
    strings:
        $a = {8300020000a6888b7e030000b2b48893700100004488ab090100}
    condition:
        all of them
}

rule AUTO_160000fc8035c71600004d8035c1160000748035bb16000068b0 {
    strings:
        $a = {160000fc8035c71600004d8035c1160000748035bb16000068b0}
    condition:
        all of them
}

rule AUTO_abb60200004488ab41020000b28b889370010000b29a88933401 {
    strings:
        $a = {abb60200004488ab41020000b28b889370010000b29a88933401}
    condition:
        all of them
}

rule AUTO_6639656b33414f57666930303030303333000000000030326476 {
    strings:
        $a = {6639656b33414f57666930303030303333000000000030326476}
    condition:
        all of them
}

rule AUTO_88437a884b04888357020000b2b98893740100004488ab040200 {
    strings:
        $a = {88437a884b04888357020000b2b98893740100004488ab040200}
    condition:
        all of them
}

rule AUTO_889376010000b2a48893430100004488abf00100008883dd0100 {
    strings:
        $a = {889376010000b2a48893430100004488abf00100008883dd0100}
    condition:
        all of them
}

rule AUTO_3504120000738035fe110000cc8035f8110000478035f2110000 {
    strings:
        $a = {3504120000738035fe110000cc8035f8110000478035f2110000}
    condition:
        all of them
}

rule AUTO_35381d0000068035321d0000ab80352c1d0000c48035261d0000 {
    strings:
        $a = {35381d0000068035321d0000ab80352c1d0000c48035261d0000}
    condition:
        all of them
}

rule AUTO_7a1d0000738035741d0000ec80356e1d0000658035681d00001f {
    strings:
        $a = {7a1d0000738035741d0000ec80356e1d0000658035681d00001f}
    condition:
        all of them
}

rule AUTO_35ee190000858035e8190000628035e21900003b8035dc190000 {
    strings:
        $a = {35ee190000858035e8190000628035e21900003b8035dc190000}
    condition:
        all of them
}

rule AUTO_02000040b6b64088b3a8010000b2ab8893ff0100004488ab5c01 {
    strings:
        $a = {02000040b6b64088b3a8010000b2ab8893ff0100004488ab5c01}
    condition:
        all of them
}

rule AUTO_35bf1900009a8035b9190000a78035b4190000ab8035ae190000 {
    strings:
        $a = {35bf1900009a8035b9190000a78035b4190000ab8035ae190000}
    condition:
        all of them
}

rule AUTO_008883a8020000888b1d020000b28688932f0100004488bbf200 {
    strings:
        $a = {008883a8020000888b1d020000b28688932f0100004488bbf200}
    condition:
        all of them
}

rule AUTO_35ba1100005f8035b41100005d8035ae110000628035a8110000 {
    strings:
        $a = {35ba1100005f8035b41100005d8035ae110000628035a8110000}
    condition:
        all of them
}

rule AUTO_4488b3c2000000888b8d000000b2898893640100004488abe800 {
    strings:
        $a = {4488b3c2000000888b8d000000b2898893640100004488abe800}
    condition:
        all of them
}

rule AUTO_11056511000080356e110000ee80356811000045803562110000 {
    strings:
        $a = {11056511000080356e110000ee80356811000045803562110000}
    condition:
        all of them
}

rule AUTO_353b110000b98035351100007180352f110000bc803529110000 {
    strings:
        $a = {353b110000b98035351100007180352f110000bc803529110000}
    condition:
        all of them
}

rule AUTO_359a190000928035941900000880358e190000bc803588190000 {
    strings:
        $a = {359a190000928035941900000880358e190000bc803588190000}
    condition:
        all of them
}

rule AUTO_6c65316a6f574e33303030303033330030727a41434733000f84 {
    strings:
        $a = {6c65316a6f574e33303030303033330030727a41434733000f84}
    condition:
        all of them
}

rule AUTO_35d9110000058035d31100002b8035cd110000f68035c7110000 {
    strings:
        $a = {35d9110000058035d31100002b8035cd110000f68035c7110000}
    condition:
        all of them
}

rule AUTO_888b18020000888b30020000b2bb8893ae0100004488bb540100 {
    strings:
        $a = {888b18020000888b30020000b2bb8893ae0100004488bb540100}
    condition:
        all of them
}

rule AUTO_88b30e010000888311020000b23a8893dc0100004488abea0100 {
    strings:
        $a = {88b30e010000888311020000b23a8893dc0100004488abea0100}
    condition:
        all of them
}

rule AUTO_359a1100001e8035941100005580358f110000e4803589110000 {
    strings:
        $a = {359a1100001e8035941100005580358f110000e4803589110000}
    condition:
        all of them
}

rule AUTO_8b17020000b2b48893530100004488a394010000884b1666c783 {
    strings:
        $a = {8b17020000b2b48893530100004488a394010000884b1666c783}
    condition:
        all of them
}

rule AUTO_00888b35020000b28b8893790100004488b305020000888b7402 {
    strings:
        $a = {00888b35020000b28b8893790100004488b305020000888b7402}
    condition:
        all of them
}

rule AUTO_8b95000000b2a48893380100004488b3d70100008883dd020000 {
    strings:
        $a = {8b95000000b2a48893380100004488b3d70100008883dd020000}
    condition:
        all of them
}

rule AUTO_7a6e6871314157626d36303030303033330030303042677b3030 {
    strings:
        $a = {7a6e6871314157626d36303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_7a323033306a685742533030303030333300315a307974503331 {
    strings:
        $a = {7a323033306a685742533030303030333300315a307974503331}
    condition:
        all of them
}

rule AUTO_4a6c6631314f4b574948303030303033330030303042677b3030 {
    strings:
        $a = {4a6c6631314f4b574948303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_40224e53496d61676556696577222c5674706c736b646850474a {
    strings:
        $a = {40224e53496d61676556696577222c5674706c736b646850474a}
    condition:
        all of them
}

rule AUTO_00000041b7ac888313020000b28688935d0100004488a3ad0100 {
    strings:
        $a = {00000041b7ac888313020000b28688935d0100004488a3ad0100}
    condition:
        all of them
}

rule AUTO_00888b760100008883d4000000b2688893b60100004488abf800 {
    strings:
        $a = {00888b760100008883d4000000b2688893b60100004488abf800}
    condition:
        all of them
}

rule AUTO_889315010000888be7020000b28b8893de0100004088b37d0200 {
    strings:
        $a = {889315010000888be7020000b28b8893de0100004088b37d0200}
    condition:
        all of them
}

rule AUTO_3005b81100008035b21100002b8035ac110000768035a6110000 {
    strings:
        $a = {3005b81100008035b21100002b8035ac110000768035a6110000}
    condition:
        all of them
}

rule AUTO_110000f68035e3110000c48035dd1100008c8035d81100007f80 {
    strings:
        $a = {110000f68035e3110000c48035dd1100008c8035d81100007f80}
    condition:
        all of them
}

rule AUTO_727a6f32336a53574953303030303033330030303042677b3030 {
    strings:
        $a = {727a6f32336a53574953303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_8b700300004088b33a020000b2a588930b0100004488b36d0200 {
    strings:
        $a = {8b700300004088b33a020000b2a588930b0100004488b36d0200}
    condition:
        all of them
}

rule AUTO_ab86000000b2ab8893500100004488ab550100004488ab520100 {
    strings:
        $a = {ab86000000b2ab8893500100004488ab550100004488ab520100}
    condition:
        all of them
}

rule AUTO_8805878b00008035818b00003180357b8b0000c98035758b0000 {
    strings:
        $a = {8805878b00008035818b00003180357b8b0000c98035758b0000}
    condition:
        all of them
}

rule AUTO_8b99000000b26f88935301000044887b524488ab9f0200008843 {
    strings:
        $a = {8b99000000b26f88935301000044887b524488ab9f0200008843}
    condition:
        all of them
}

rule AUTO_35d5110000e18035cf110000388035c9110000498035c3110000 {
    strings:
        $a = {35d5110000e18035cf110000388035c9110000498035c3110000}
    condition:
        all of them
}

rule AUTO_6e48636a33614f574331303030303032330030303042677b3030 {
    strings:
        $a = {6e48636a33614f574331303030303032330030303042677b3030}
    condition:
        all of them
}

rule AUTO_8bb7020000b288889398020000b2908893f00100004488b30b02 {
    strings:
        $a = {8bb7020000b288889398020000b2908893f00100004488b30b02}
    condition:
        all of them
}

rule AUTO_35841100006a80357e110000788035781100007a803572110000 {
    strings:
        $a = {35841100006a80357e110000788035781100007a803572110000}
    condition:
        all of them
}

rule AUTO_4488ab0c020000888b8a020000b2868893770100004488934f02 {
    strings:
        $a = {4488ab0c020000888b8a020000b2868893770100004488934f02}
    condition:
        all of them
}

rule AUTO_0000dd8035812b00003c80357b2b00004a8035752b0000313005 {
    strings:
        $a = {0000dd8035812b00003c80357b2b00004a8035752b0000313005}
    condition:
        all of them
}

rule AUTO_888382000000b2aa88938b0100004488b33d0100008883360100 {
    strings:
        $a = {888382000000b2aa88938b0100004488b33d0100008883360100}
    condition:
        all of them
}

rule AUTO_00000088436b888bb7000000b2688893b60100004488ab1c0100 {
    strings:
        $a = {00000088436b888bb7000000b2688893b60100004488ab1c0100}
    condition:
        all of them
}

rule AUTO_656256696577222c5677656256696577547261636b00782d6363 {
    strings:
        $a = {656256696577222c5677656256696577547261636b00782d6363}
    condition:
        all of them
}

rule AUTO_833c010000b2a48893070100004488ab4b010000888b89010000 {
    strings:
        $a = {833c010000b2a48893070100004488ab4b010000888b89010000}
    condition:
        all of them
}

rule AUTO_88a3a3010000888bbe020000b28e88939a0100004488ab4b0100 {
    strings:
        $a = {88a3a3010000888bbe020000b28e88939a0100004488ab4b0100}
    condition:
        all of them
}

rule AUTO_35b4110000918035ae110000e08035a8110000228035a2110000 {
    strings:
        $a = {35b4110000918035ae110000e08035a8110000228035a2110000}
    condition:
        all of them
}

rule AUTO_377c6778313677574431303030303033330030303042677b3030 {
    strings:
        $a = {377c6778313677574431303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_303dcc1900008035c61900002a8035c01900006d8035ba190000 {
    strings:
        $a = {303dcc1900008035c61900002a8035c01900006d8035ba190000}
    condition:
        all of them
}

rule AUTO_41424e5933616b5649593030303030333300315a307974503331 {
    strings:
        $a = {41424e5933616b5649593030303030333300315a307974503331}
    condition:
        all of them
}

rule AUTO_8883f300000044888bad000000b26e8893bb0100004488abdc00 {
    strings:
        $a = {8883f300000044888bad000000b26e8893bb0100004488abdc00}
    condition:
        all of them
}

rule AUTO_666b33707c575259303030303033330030303042677b30303030 {
    strings:
        $a = {666b33707c575259303030303033330030303042677b30303030}
    condition:
        all of them
}

rule AUTO_70446f3133416d7c4356303030303033330030303042677b3030 {
    strings:
        $a = {70446f3133416d7c4356303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_888b880000008883c6020000b2a88893b90100004088b3c70100 {
    strings:
        $a = {888b880000008883c6020000b2a88893b90100004088b3c70100}
    condition:
        all of them
}

rule AUTO_0000884372b2888893dc0100004488b379010000888bcc010000 {
    strings:
        $a = {0000884372b2888893dc0100004488b379010000888bcc010000}
    condition:
        all of them
}

rule AUTO_3553160000a280354d160000e480354716000010803541160000 {
    strings:
        $a = {3553160000a280354d160000e480354716000010803541160000}
    condition:
        all of them
}

rule AUTO_00888bee010000888b26020000b2a488933a0300004488aba502 {
    strings:
        $a = {00888bee010000888b26020000b2a488933a0300004488aba502}
    condition:
        all of them
}

rule AUTO_4c6e4677336177764e75303030303033330030303042677b3030 {
    strings:
        $a = {4c6e4677336177764e75303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_1b00002080358b1b00000a8035851b00007c80357f1b0000c580 {
    strings:
        $a = {1b00002080358b1b00000a8035851b00007c80357f1b0000c580}
    condition:
        all of them
}

rule AUTO_5b5941b0864488b39f020000b2aa8893eb0100004488ab6f0100 {
    strings:
        $a = {5b5941b0864488b39f020000b2aa8893eb0100004488ab6f0100}
    condition:
        all of them
}

rule AUTO_7a4249613161584b6d70303030303033330030303042677b3030 {
    strings:
        $a = {7a4249613161584b6d70303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_11054c2a00008035552a00001680354f2a0000c48035492a0000 {
    strings:
        $a = {11054c2a00008035552a00001680354f2a0000c48035492a0000}
    condition:
        all of them
}

rule AUTO_b6930000a08035b0930000168035aa930000888035a49300007b {
    strings:
        $a = {b6930000a08035b0930000168035aa930000888035a49300007b}
    condition:
        all of them
}

rule AUTO_0000884b214488932f020000b29088938a0100004488b3060100 {
    strings:
        $a = {0000884b214488932f020000b29088938a0100004488b3060100}
    condition:
        all of them
}

rule AUTO_704d346a33627c725a75303030303033330030303044776a3030 {
    strings:
        $a = {704d346a33627c725a75303030303033330030303044776a3030}
    condition:
        all of them
}

rule AUTO_b58e4488ab19020000884328b2ab88937401000044884b064488 {
    strings:
        $a = {b58e4488ab19020000884328b2ab88937401000044884b064488}
    condition:
        all of them
}

rule AUTO_567749443361776f6d48303030303033330030303042677b3030 {
    strings:
        $a = {567749443361776f6d48303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_88bb7b0200008883c5020000b29c88937c0100004488b3130100 {
    strings:
        $a = {88bb7b0200008883c5020000b29c88937c0100004488b3130100}
    condition:
        all of them
}

rule AUTO_6d57496b314f6c576734303030303033330030303042677b3030 {
    strings:
        $a = {6d57496b314f6c576734303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_68002d5b4d4b557064617465547261636b6572526573756c7473 {
    strings:
        $a = {68002d5b4d4b557064617465547261636b6572526573756c7473}
    condition:
        all of them
}

rule AUTO_00488b8550ffffff488b351d6a03004889c14889cf488b95b8fe {
    strings:
        $a = {00488b8550ffffff488b351d6a03004889c14889cf488b95b8fe}
    condition:
        all of them
}

rule AUTO_35b5190000a98035af190000a78035a9190000af8035a3190000 {
    strings:
        $a = {35b5190000a98035af190000a78035a9190000af8035a3190000}
    condition:
        all of them
}

rule AUTO_888314020000b2ac8893d70100004488b3a001000044888b4f02 {
    strings:
        $a = {888314020000b2ac8893d70100004488b3a001000044888b4f02}
    condition:
        all of them
}

rule AUTO_426c0054402257656256696577222c5667756172646a77744b68 {
    strings:
        $a = {426c0054402257656256696577222c5667756172646a77744b68}
    condition:
        all of them
}

rule AUTO_00888b34010000888bf3020000b2868893660100004488ab7a01 {
    strings:
        $a = {00888b34010000888bf3020000b2868893660100004488ab7a01}
    condition:
        all of them
}

rule AUTO_88ab490100008883a0020000b28e88934c0100004088b3030200 {
    strings:
        $a = {88ab490100008883a0020000b28e88934c0100004088b3030200}
    condition:
        all of them
}

rule AUTO_30158e1500008035881500002b803582150000bc80357c150000 {
    strings:
        $a = {30158e1500008035881500002b803582150000bc80357c150000}
    condition:
        all of them
}

rule AUTO_646d59316c4b57666530303030303333005f31366354484a6e00 {
    strings:
        $a = {646d59316c4b57666530303030303333005f31366354484a6e00}
    condition:
        all of them
}

rule AUTO_88b3ae02000044888b00020000b26f8893a70100004088b3a600 {
    strings:
        $a = {88b3ae02000044888b00020000b26f8893a70100004088b3a600}
    condition:
        all of them
}

rule AUTO_03000041b3b344889b52020000b2b488936e0100004488abdc01 {
    strings:
        $a = {03000041b3b344889b52020000b2b488936e0100004488abdc01}
    condition:
        all of them
}

rule AUTO_64324379316a6d776659303030303033330030303042677b3030 {
    strings:
        $a = {64324379316a6d776659303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_0940887b7e4488b3c9020000b2688893b601000044889bb00100 {
    strings:
        $a = {0940887b7e4488b3c9020000b2688893b601000044889bb00100}
    condition:
        all of them
}

rule AUTO_6570376b31336d574431303030303033330030303042677b3030 {
    strings:
        $a = {6570376b31336d574431303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_000041b2b44488bb90020000b2908893b301000044888b7d0100 {
    strings:
        $a = {000041b2b44488bb90020000b2908893b301000044888b7d0100}
    condition:
        all of them
}

rule AUTO_784f3464317a77576753303030303033330030303042677b3030 {
    strings:
        $a = {784f3464317a77576753303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_35942a00003380358e2a0000898035882a00006c8035822a0000 {
    strings:
        $a = {35942a00003380358e2a0000898035882a00006c8035822a0000}
    condition:
        all of them
}

rule AUTO_49675433336a7b574876303030303033330030303042677b3030 {
    strings:
        $a = {49675433336a7b574876303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_8b21020000b2888893ad0100004088b37c020000b2ab8893ce01 {
    strings:
        $a = {8b21020000b2888893ad0100004088b37c020000b2ab8893ce01}
    condition:
        all of them
}

rule AUTO_8883dc010000668993a1000000b29c8893840100004488936e02 {
    strings:
        $a = {8883dc010000668993a1000000b29c8893840100004488936e02}
    condition:
        all of them
}

rule AUTO_0000884b18b29788939b000000b2aa8893790100004488939200 {
    strings:
        $a = {0000884b18b29788939b000000b2aa8893790100004488939200}
    condition:
        all of them
}

rule AUTO_8893f60200004488b39e030000b2a988930d0100004488a35302 {
    strings:
        $a = {8893f60200004488b39e030000b2a988930d0100004488a35302}
    condition:
        all of them
}

rule AUTO_88bbe40000008883b8000000b2948893d70100004488b3770100 {
    strings:
        $a = {88bbe40000008883b8000000b2948893d70100004488b3770100}
    condition:
        all of them
}

rule AUTO_b2bf889398020000b2bd885346b2b28893a80100004488ab0d02 {
    strings:
        $a = {b2bf889398020000b2bd885346b2b28893a80100004488ab0d02}
    condition:
        all of them
}

rule AUTO_67677359334f714b7539303030303033330030303042677b3030 {
    strings:
        $a = {67677359334f714b7539303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_888b1602000088832f020000b2888893520100004088b3630200 {
    strings:
        $a = {888b1602000088832f020000b2888893520100004088b3630200}
    condition:
        all of them
}

rule AUTO_888b10020000888390020000b2a98893a80100004088b39f0100 {
    strings:
        $a = {888b10020000888390020000b2a98893a80100004088b39f0100}
    condition:
        all of them
}

rule AUTO_11888bf50000008883b8000000b2ab8893290100004488b3b700 {
    strings:
        $a = {11888bf50000008883b8000000b2ab8893290100004488b3b700}
    condition:
        all of them
}

rule AUTO_30051319000080350d190000cc8035071900004b803501190000 {
    strings:
        $a = {30051319000080350d190000cc8035071900004b803501190000}
    condition:
        all of them
}

rule AUTO_8883be030000b2a98893230100004488b3cf0300008883420100 {
    strings:
        $a = {8883be030000b2a98893230100004488b3cf0300008883420100}
    condition:
        all of them
}

rule AUTO_0088832a020000888be1000000b28b8893d80100004488a3dc00 {
    strings:
        $a = {0088832a020000888be1000000b28b8893d80100004488a3dc00}
    condition:
        all of them
}

rule AUTO_674f59315a68627253303030303033330025732f256400636f6d {
    strings:
        $a = {674f59315a68627253303030303033330025732f256400636f6d}
    condition:
        all of them
}

rule AUTO_88931f0200004088bb01020000b28988939b0100004488a37902 {
    strings:
        $a = {88931f0200004088bb01020000b28988939b0100004488a37902}
    condition:
        all of them
}

rule AUTO_888b690200008883a9000000b26e8893bb0100004488ab480100 {
    strings:
        $a = {888b690200008883a9000000b26e8893bb0100004488ab480100}
    condition:
        all of them
}

rule AUTO_44888bb70000008883e6000000b28b8893b7010000448893de01 {
    strings:
        $a = {44888bb70000008883e6000000b28b8893b7010000448893de01}
    condition:
        all of them
}

rule AUTO_008893f9010000888368010000b2688893700100004088bba400 {
    strings:
        $a = {008893f9010000888368010000b2688893700100004088bba400}
    condition:
        all of them
}

rule AUTO_9902000088435d888b7b020000b2bc8893cc0100004488533db2 {
    strings:
        $a = {9902000088435d888b7b020000b2bc8893cc0100004488533db2}
    condition:
        all of them
}

rule AUTO_4a4c6d41334177574869303030303033330030303042677b3030 {
    strings:
        $a = {4a4c6d41334177574869303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_78437b4c313277725265303030303033330030303042677b3030 {
    strings:
        $a = {78437b4c313277725265303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_354b19000036803545190000c480353f19000085803539190000 {
    strings:
        $a = {354b19000036803545190000c480353f19000085803539190000}
    condition:
        all of them
}

rule AUTO_4355474a336c504b7631303030303033330030303042677b3030 {
    strings:
        $a = {4355474a336c504b7631303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_35ba2a00002a8035b42a0000d08035ae2a0000a58035a82a0000 {
    strings:
        $a = {35ba2a00002a8035b42a0000d08035ae2a0000a58035a82a0000}
    condition:
        all of them
}

rule AUTO_888be5000000888312020000b28b8893da0100004488aba30100 {
    strings:
        $a = {888be5000000888312020000b28b8893da0100004488aba30100}
    condition:
        all of them
}

rule AUTO_6d49337a77577848303030303033330030303042677b30303030 {
    strings:
        $a = {6d49337a77577848303030303033330030303042677b30303030}
    condition:
        all of them
}

rule AUTO_30053316000080352d1600001180352716000053803521160000 {
    strings:
        $a = {30053316000080352d1600001180352716000053803521160000}
    condition:
        all of them
}

rule AUTO_b200000088834a01000088431bb2bb88935d0100004488931e01 {
    strings:
        $a = {b200000088834a01000088431bb2bb88935d0100004488931e01}
    condition:
        all of them
}

rule AUTO_4a486c3175546b5549314f6357497a3030303030333300303030 {
    strings:
        $a = {4a486c3175546b5549314f6357497a3030303030333300303030}
    condition:
        all of them
}

rule AUTO_384a3543334161576634303030303033330030303042677b3030 {
    strings:
        $a = {384a3543334161576634303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_bb35020000b28b889369010000448893a8010000888b92000000 {
    strings:
        $a = {bb35020000b28b889369010000448893a8010000888b92000000}
    condition:
        all of them
}

rule AUTO_9e030000b26588937a020000b25b8893610100004488ab940100 {
    strings:
        $a = {9e030000b26588937a020000b25b8893610100004488ab940100}
    condition:
        all of them
}

rule AUTO_616a7856337c71356653303030303033330030303042677b3030 {
    strings:
        $a = {616a7856337c71356653303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_88abe7020000b2688893b60100004488b306030000b27088939f {
    strings:
        $a = {88abe7020000b2688893b60100004488b306030000b27088939f}
    condition:
        all of them
}

rule AUTO_888b19020000b2b388531940b6954088b3cf0100008883370100 {
    strings:
        $a = {888b19020000b2b388531940b6954088b3cf0100008883370100}
    condition:
        all of them
}

rule AUTO_8bbf000000b2878893740100004488b3d701000088830c010000 {
    strings:
        $a = {8bbf000000b2878893740100004488b3d701000088830c010000}
    condition:
        all of them
}

rule AUTO_35a21900007280359c1900008880359619000047803590190000 {
    strings:
        $a = {35a21900007280359c1900008880359619000047803590190000}
    condition:
        all of them
}

rule AUTO_514533314f4a4731303030303033330030303042677b30303030 {
    strings:
        $a = {514533314f4a4731303030303033330030303042677b30303030}
    condition:
        all of them
}

rule AUTO_888b8a020000888b4b010000b2bb88938b010000448883040100 {
    strings:
        $a = {888b8a020000888b4b010000b2bb88938b010000448883040100}
    condition:
        all of them
}

rule AUTO_68677761334168575855303030303033330030303042677b3030 {
    strings:
        $a = {68677761334168575855303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_83d800000044888333010000b2b28893e70100004488abd50100 {
    strings:
        $a = {83d800000044888333010000b2b28893e70100004488abd50100}
    condition:
        all of them
}

rule AUTO_88b3c6020000888bc8000000b2688893700100004088b39e0300 {
    strings:
        $a = {88b3c6020000888bc8000000b2688893700100004088b39e0300}
    condition:
        all of them
}

rule AUTO_00488b8550ffffff488b35b41101004889c14889cf488b95a8fe {
    strings:
        $a = {00488b8550ffffff488b35b41101004889c14889cf488b95a8fe}
    condition:
        all of them
}

rule AUTO_224e535363726f6c6c56696577222c566170706c656861487132 {
    strings:
        $a = {224e535363726f6c6c56696577222c566170706c656861487132}
    condition:
        all of them
}

rule AUTO_497c3970313268576662303030303033330030303042677b3030 {
    strings:
        $a = {497c3970313268576662303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_00888388020000888b8f020000b2b288936701000044888b9500 {
    strings:
        $a = {00888388020000888b8f020000b2b288936701000044888b9500}
    condition:
        all of them
}

rule AUTO_5440224e53496d61676556696577222c566764706c696a545366 {
    strings:
        $a = {5440224e53496d61676556696577222c566764706c696a545366}
    condition:
        all of them
}

rule AUTO_01000041b79f8883a9020000b2948893650300004488b3040100 {
    strings:
        $a = {01000041b79f8883a9020000b2948893650300004488b3040100}
    condition:
        all of them
}

rule AUTO_884339884b37888b9e020000b2898893760100004488a31f0100 {
    strings:
        $a = {884339884b37888b9e020000b2898893760100004488a31f0100}
    condition:
        all of them
}

rule AUTO_35941d00008b80358e1d0000328035881d00002e8035821d0000 {
    strings:
        $a = {35941d00008b80358e1d0000328035881d00002e8035821d0000}
    condition:
        all of them
}

rule AUTO_8893e1000000b26e8893bb0100004488b37d010000888baa0000 {
    strings:
        $a = {8893e1000000b26e8893bb0100004488b37d010000888baa0000}
    condition:
        all of them
}

rule AUTO_0000884b7ab298889367020000b2b28893fe01000044886b6bb2 {
    strings:
        $a = {0000884b7ab298889367020000b2b28893fe01000044886b6bb2}
    condition:
        all of them
}

rule AUTO_35621d00008d80355c1d00001f8035561d0000708035501d0000 {
    strings:
        $a = {35621d00008d80355c1d00001f8035561d0000708035501d0000}
    condition:
        all of them
}

rule AUTO_356e73493336775750563030303030333300315a307974503331 {
    strings:
        $a = {356e73493336775750563030303030333300315a307974503331}
    condition:
        all of them
}

rule AUTO_35ba150000a28035b5150000d08035af150000b38035a9150000 {
    strings:
        $a = {35ba150000a28035b5150000d08035af150000b38035a9150000}
    condition:
        all of them
}

rule AUTO_4b5441b1b144888bc7000000b2948893cc0100004488ab6f0100 {
    strings:
        $a = {4b5441b1b144888bc7000000b2948893cc0100004488ab6f0100}
    condition:
        all of them
}

rule AUTO_35871600006b8035811600008d80357b1600004d803575160000 {
    strings:
        $a = {35871600006b8035811600008d80357b1600004d803575160000}
    condition:
        all of them
}

rule AUTO_53626873314d444b6556303030303033330030303042677b3030 {
    strings:
        $a = {53626873314d444b6556303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_4c4d476131726b4b4c48303030303033330030303042677b3030 {
    strings:
        $a = {4c4d476131726b4b4c48303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_02000040b728b22c8893b30100004488b34b020000888bdf0000 {
    strings:
        $a = {02000040b728b22c8893b30100004488b34b020000888bdf0000}
    condition:
        all of them
}

rule AUTO_4b525345314f68575756303030303033330030303042677b3030 {
    strings:
        $a = {4b525345314f68575756303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_35e7190000c38035e1190000ed8035db1900007a8035d6190000 {
    strings:
        $a = {35e7190000c38035e1190000ed8035db1900007a8035d6190000}
    condition:
        all of them
}

rule AUTO_008883fc00000088836f020000b26f88936a0100004488a38e00 {
    strings:
        $a = {008883fc00000088836f020000b26f88936a0100004488a38e00}
    condition:
        all of them
}

rule AUTO_35ed1b0000f08035e71b0000648035e11b0000708035db1b0000 {
    strings:
        $a = {35ed1b0000f08035e71b0000648035e11b0000708035db1b0000}
    condition:
        all of them
}

rule AUTO_3512110000bd80350c1100001f803506110000d2803500110000 {
    strings:
        $a = {3512110000bd80350c1100001f803506110000d2803500110000}
    condition:
        all of them
}

rule AUTO_888b28020000b29a88933f0100004488b38a0100008883c70100 {
    strings:
        $a = {888b28020000b29a88933f0100004488b38a0100008883c70100}
    condition:
        all of them
}

rule AUTO_99000000b2908893d7000000b28688933a01000044884b6ab29b {
    strings:
        $a = {99000000b2908893d7000000b28688933a01000044884b6ab29b}
    condition:
        all of them
}

rule AUTO_a1888321030000888b84020000b2bc8893e7010000448893cb02 {
    strings:
        $a = {a1888321030000888b84020000b2bc8893e7010000448893cb02}
    condition:
        all of them
}

rule AUTO_774772333130506d727a303030303037330033716b6e6c553055 {
    strings:
        $a = {774772333130506d727a303030303037330033716b6e6c553055}
    condition:
        all of them
}

rule AUTO_899bdf000000b2bb88932f0100004488b36e0100008883c90100 {
    strings:
        $a = {899bdf000000b2bb88932f0100004488b36e0100008883c90100}
    condition:
        all of them
}

rule AUTO_4488a3a2020000888b54020000b22c8893b3010000448883b800 {
    strings:
        $a = {4488a3a2020000888b54020000b22c8893b3010000448883b800}
    condition:
        all of them
}

rule AUTO_11058b1100008035941100007580358e110000a7803588110000 {
    strings:
        $a = {11058b1100008035941100007580358e110000a7803588110000}
    condition:
        all of them
}

rule AUTO_8bd1020000b28488930d0100004088b379010000448893bb0100 {
    strings:
        $a = {8bd1020000b28488930d0100004088b379010000448893bb0100}
    condition:
        all of them
}

rule AUTO_00888bcf000000888bd8000000b28b88930d0100004488aba300 {
    strings:
        $a = {00888bcf000000888bd8000000b28b88930d0100004488aba300}
    condition:
        all of them
}

rule AUTO_000041b0a944888378020000b2898893310100004088b3bb0100 {
    strings:
        $a = {000041b0a944888378020000b2898893310100004088b3bb0100}
    condition:
        all of them
}

rule AUTO_6e5256553368716d667a303030303033330030303042677b3030 {
    strings:
        $a = {6e5256553368716d667a303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_4488bb83030000888b71020000b26f88936a0100004488ab8a00 {
    strings:
        $a = {4488bb83030000888b71020000b26f88936a0100004488ab8a00}
    condition:
        all of them
}

rule AUTO_3c010000884b0e8883c1020000b2868893000100004488abee00 {
    strings:
        $a = {3c010000884b0e8883c1020000b2868893000100004488abee00}
    condition:
        all of them
}

rule AUTO_88933c010000448883bf020000b28f88936c0100004488abeb00 {
    strings:
        $a = {88933c010000448883bf020000b28f88936c0100004488abeb00}
    condition:
        all of them
}

rule AUTO_66c74312706f44889368020000b2258893990100004488938d02 {
    strings:
        $a = {66c74312706f44889368020000b2258893990100004488938d02}
    condition:
        all of them
}

rule AUTO_9288839601000088837d020000b2888893e30100004488abd202 {
    strings:
        $a = {9288839601000088837d020000b2888893e30100004488abd202}
    condition:
        all of them
}

rule AUTO_4b4c4559314a6b5772613030303030333300315a307974503331 {
    strings:
        $a = {4b4c4559314a6b5772613030303030333300315a307974503331}
    condition:
        all of them
}

rule AUTO_888b74020000888b6e020000b2aa8893280100004088b3a60100 {
    strings:
        $a = {888b74020000888b6e020000b2aa8893280100004088b3a60100}
    condition:
        all of them
}

rule AUTO_6c71336f3333676d7256303030303033330030303042677b3030 {
    strings:
        $a = {6c71336f3333676d7256303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_35b51900005c8035af190000e88035a9190000858035a3190000 {
    strings:
        $a = {35b51900005c8035af190000e88035a9190000858035a3190000}
    condition:
        all of them
}

rule AUTO_008883aa020000888bf3020000b2a98893da01000044889b4203 {
    strings:
        $a = {008883aa020000888bf3020000b2a98893da01000044889b4203}
    condition:
        all of them
}

rule AUTO_6e6761497a6d714e7573646177576f5669756a646f466a397970 {
    strings:
        $a = {6e6761497a6d714e7573646177576f5669756a646f466a397970}
    condition:
        all of them
}

rule AUTO_300d6019000080355a190000cc8035541900000180354e190000 {
    strings:
        $a = {300d6019000080355a190000cc8035541900000180354e190000}
    condition:
        all of them
}

rule AUTO_35ed1d0000aa8035e71d0000838035e11d0000958035db1d0000 {
    strings:
        $a = {35ed1d0000aa8035e71d0000838035e11d0000958035db1d0000}
    condition:
        all of them
}

rule AUTO_83f20000004088b3c7020000b2908893f5010000448883e60100 {
    strings:
        $a = {83f20000004088b3c7020000b2908893f5010000448883e60100}
    condition:
        all of them
}

rule AUTO_888388020000b2b68893ef0100004488b347010000888b1c0100 {
    strings:
        $a = {888388020000b2b68893ef0100004488b347010000888b1c0100}
    condition:
        all of them
}

rule AUTO_4488a34b010000889302020000b2688893700100004088731088 {
    strings:
        $a = {4488a34b010000889302020000b2688893700100004088731088}
    condition:
        all of them
}

rule AUTO_6a71783333324a4b5a36303030303033330030303042677b3030 {
    strings:
        $a = {6a71783333324a4b5a36303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_88931d01000044888be4000000b2bb8893110100004488930a02 {
    strings:
        $a = {88931d01000044888be4000000b2bb8893110100004488930a02}
    condition:
        all of them
}

rule AUTO_888b18010000888b02020000b2b288936a0100004488a3570100 {
    strings:
        $a = {888b18010000888b02020000b2b288936a0100004488a3570100}
    condition:
        all of them
}

rule AUTO_8306020000b2b98893b1020000b2ab8893c10100004488abdf00 {
    strings:
        $a = {8306020000b2b98893b1020000b2ab8893c10100004488abdf00}
    condition:
        all of them
}

rule AUTO_35c0190000ee8035ba1900007c8035b4190000728035ae190000 {
    strings:
        $a = {35c0190000ee8035ba1900007c8035b4190000728035ae190000}
    condition:
        all of them
}

rule AUTO_35501100000880354a11000085803544110000ad80353e110000 {
    strings:
        $a = {35501100000880354a11000085803544110000ad80353e110000}
    condition:
        all of them
}

rule AUTO_5767476b337935574a6e303030303033330030303042677b3030 {
    strings:
        $a = {5767476b337935574a6e303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_01000041b26f88830f020000b2ab8893190300004488b3b50100 {
    strings:
        $a = {01000041b26f88830f020000b2ab8893190300004488b3b50100}
    condition:
        all of them
}

rule AUTO_bb880100004488aba0010000b2688893700100004488ab8a0100 {
    strings:
        $a = {bb880100004488aba0010000b2688893700100004488ab8a0100}
    condition:
        all of them
}

rule AUTO_83310100009d888b6f010000b28688934f0100004488abd80100 {
    strings:
        $a = {83310100009d888b6f010000b28688934f0100004488abd80100}
    condition:
        all of them
}

rule AUTO_6c4a77566c6d666c007365744f696f6473706c4a77566c6d666c {
    strings:
        $a = {6c4a77566c6d666c007365744f696f6473706c4a77566c6d666c}
    condition:
        all of them
}

rule AUTO_00000073686f77557064617465547261636b65724e6f74696669 {
    strings:
        $a = {00000073686f77557064617465547261636b65724e6f74696669}
    condition:
        all of them
}

rule AUTO_666d776a316150353456303030303034330030303042677b3030 {
    strings:
        $a = {666d776a316150353456303030303034330030303042677b3030}
    condition:
        all of them
}

rule AUTO_0000b0a48883fb020000b26f8893a70100004088bbe101000044 {
    strings:
        $a = {0000b0a48883fb020000b26f8893a70100004088bbe101000044}
    condition:
        all of them
}

rule AUTO_77776731313257574970303030303033330030303042677b3030 {
    strings:
        $a = {77776731313257574970303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_88bb3201000088833e020000b29a8893230100004488ab460100 {
    strings:
        $a = {88bb3201000088833e020000b29a8893230100004488ab460100}
    condition:
        all of them
}

rule AUTO_1d0000da80356e1d0000a68035681d00009f8035621d0000f180 {
    strings:
        $a = {1d0000da80356e1d0000a68035681d00009f8035621d0000f180}
    condition:
        all of them
}

rule AUTO_88b3dd01000044889384000000b2b28893770100004088b3cf00 {
    strings:
        $a = {88b3dd01000044889384000000b2b28893770100004088b3cf00}
    condition:
        all of them
}

rule AUTO_8b87000000b2bd8893d1000000b2a48893700100004488a3bc00 {
    strings:
        $a = {8b87000000b2bd8893d1000000b2a48893700100004488a3bc00}
    condition:
        all of them
}

rule AUTO_352f190000928035291900001d803523190000dd80351d190000 {
    strings:
        $a = {352f190000928035291900001d803523190000dd80351d190000}
    condition:
        all of them
}

rule AUTO_5440224e53496d61676556696577222c5671756f6a636a765954 {
    strings:
        $a = {5440224e53496d61676556696577222c5671756f6a636a765954}
    condition:
        all of them
}

rule AUTO_02000041b599888ba0010000b28e8893c60100004488835d0100 {
    strings:
        $a = {02000041b599888ba0010000b28e8893c60100004488835d0100}
    condition:
        all of them
}

rule AUTO_7a4f33314b35476e303030303033330030303042677b30303030 {
    strings:
        $a = {7a4f33314b35476e303030303033330030303042677b30303030}
    condition:
        all of them
}

rule AUTO_88932401000088832d020000b2b988935a0100004488a3170100 {
    strings:
        $a = {88932401000088832d020000b2b988935a0100004488a3170100}
    condition:
        all of them
}

rule AUTO_45344e7c334b724b6634303030303033330030303042677b3030 {
    strings:
        $a = {45344e7c334b724b6634303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_8883a0010000888360020000b2938893d701000044888b460200 {
    strings:
        $a = {8883a0010000888360020000b2938893d701000044888b460200}
    condition:
        all of them
}

rule AUTO_3503120000c28035fd110000b68035f7110000e08035f1110000 {
    strings:
        $a = {3503120000c28035fd110000b68035f7110000e08035f1110000}
    condition:
        all of them
}

rule AUTO_83780100004488ab3c020000b2b28893610100004088b3cb0000 {
    strings:
        $a = {83780100004488ab3c020000b2b28893610100004088b3cb0000}
    condition:
        all of them
}

rule AUTO_00888bf1000000888b11020000b2978893230100004488a3f800 {
    strings:
        $a = {00888bf1000000888b11020000b2978893230100004488a3f800}
    condition:
        all of them
}

rule AUTO_39674d37336133573431303030303033330030303042677b3030 {
    strings:
        $a = {39674d37336133573431303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_35466133315a41575a56303030303033330030303042677b3030 {
    strings:
        $a = {35466133315a41575a56303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_35e1110000928035db1100002a8035d51100007f8035cf110000 {
    strings:
        $a = {35e1110000928035db1100002a8035d51100007f8035cf110000}
    condition:
        all of them
}

rule AUTO_656256696577222c5677656256696577547261636b0000010000 {
    strings:
        $a = {656256696577222c5677656256696577547261636b0000010000}
    condition:
        all of them
}

rule AUTO_004088bbfa000000b2bc8893b10100004088b37903000041b5b1 {
    strings:
        $a = {004088bbfa000000b2bc8893b10100004088b37903000041b5b1}
    condition:
        all of them
}

rule AUTO_010000889307020000b2ad8893c501000044888bef010000888b {
    strings:
        $a = {010000889307020000b2ad8893c501000044888bef010000888b}
    condition:
        all of them
}

rule AUTO_7a6e7753316a68574959303030303033330025732f256400636f {
    strings:
        $a = {7a6e7753316a68574959303030303033330025732f256400636f}
    condition:
        all of them
}

rule AUTO_3578110000f38035721100005180356c110000f8803566110000 {
    strings:
        $a = {3578110000f38035721100005180356c110000f8803566110000}
    condition:
        all of them
}

rule AUTO_88938b000000888b57020000b2898893e40100004488a3470100 {
    strings:
        $a = {88938b000000888b57020000b2898893e40100004488a3470100}
    condition:
        all of them
}

rule AUTO_444f7c4a33414f6a5231303030303033330030303042677b3030 {
    strings:
        $a = {444f7c4a33414f6a5231303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_73564e3431336b625239303030303033330030303042677b3030 {
    strings:
        $a = {73564e3431336b625239303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_514b5234314d4b7c4376303030303033330030303042677b3030 {
    strings:
        $a = {514b5234314d4b7c4376303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_000041b5ac4488ab98000000b28b8893790100004088b3ff0200 {
    strings:
        $a = {000041b5ac4488ab98000000b28b8893790100004088b3ff0200}
    condition:
        all of them
}

rule AUTO_000040b6864088b3b6020000b29288937e0100004088b35e0300 {
    strings:
        $a = {000040b6864088b3b6020000b29288937e0100004088b35e0300}
    condition:
        all of them
}

rule AUTO_35a2190000a180359c1900004880359719000081803591190000 {
    strings:
        $a = {35a2190000a180359c1900004880359719000081803591190000}
    condition:
        all of them
}

rule AUTO_35020000884366888bfc020000b2b688939c0100004088b3a600 {
    strings:
        $a = {35020000884366888bfc020000b2b688939c0100004088b3a600}
    condition:
        all of them
}

rule AUTO_3145507a314c457a683330326b6d667a30303030303233003033 {
    strings:
        $a = {3145507a314c457a683330326b6d667a30303030303233003033}
    condition:
        all of them
}

rule AUTO_35711100005480356c110000588035661100004d803560110000 {
    strings:
        $a = {35711100005480356c110000588035661100004d803560110000}
    condition:
        all of them
}

rule AUTO_b2b488530ab28888934e0100004488ab84010000888bb5010000 {
    strings:
        $a = {b2b488530ab28888934e0100004488ab84010000888bb5010000}
    condition:
        all of them
}

rule AUTO_888bbf020000b2b28893f10100004488ab1e010000b25f88938a {
    strings:
        $a = {888bbf020000b2b28893f10100004488ab1e010000b25f88938a}
    condition:
        all of them
}

rule AUTO_4b6730793361644b4e34303030303033330030303042677b3030 {
    strings:
        $a = {4b6730793361644b4e34303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_02000088831203000041b7a1b26888937001000040b668884b58 {
    strings:
        $a = {02000088831203000041b7a1b26888937001000040b668884b58}
    condition:
        all of them
}

rule AUTO_35df2a0000248035d92a0000c38035d32a0000b68035cd2a0000 {
    strings:
        $a = {35df2a0000248035d92a0000c38035d32a0000b68035cd2a0000}
    condition:
        all of them
}

rule AUTO_353b110000e88035351100003780352f1100004780352a110000 {
    strings:
        $a = {353b110000e88035351100003780352f1100004780352a110000}
    condition:
        all of them
}

rule AUTO_888b60020000b2958893a4010000448893d70100004488abb600 {
    strings:
        $a = {888b60020000b2958893a4010000448893d70100004488abb600}
    condition:
        all of them
}

rule AUTO_00888bbc010000888b0b010000b28e8893630100004488aba800 {
    strings:
        $a = {00888bbc010000888b0b010000b28e8893630100004488aba800}
    condition:
        all of them
}

rule AUTO_35e4110000818035de1100008f8035d8110000cd8035d2110000 {
    strings:
        $a = {35e4110000818035de1100008f8035d8110000cd8035d2110000}
    condition:
        all of them
}

rule AUTO_4b354b70316a547c5234303030303033330030303042677b3030 {
    strings:
        $a = {4b354b70316a547c5234303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_35b0190000778035aa190000d08035a4190000f980359e190000 {
    strings:
        $a = {35b0190000778035aa190000d08035a4190000f980359e190000}
    condition:
        all of them
}

rule AUTO_6e346d593346686e5a59303030303033330030303042677b3030 {
    strings:
        $a = {6e346d593346686e5a59303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_6246746e31706157727a303030303033330030303042677b3030 {
    strings:
        $a = {6246746e31706157727a303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_8bea000000b2e08893db0100004088b35b02000040b68b888378 {
    strings:
        $a = {8bea000000b2e08893db0100004088b35b02000040b68b888378}
    condition:
        all of them
}

rule AUTO_45324b0054402257656256696577222c56696e6e76636a374161 {
    strings:
        $a = {45324b0054402257656256696577222c56696e6e76636a374161}
    condition:
        all of them
}

rule AUTO_77736153735778316270754b62306a4b6f78726e716c70736356 {
    strings:
        $a = {77736153735778316270754b62306a4b6f78726e716c70736356}
    condition:
        all of them
}

rule AUTO_a688938e020000888389000000b2a48893620100004488839600 {
    strings:
        $a = {a688938e020000888389000000b2a48893620100004488839600}
    condition:
        all of them
}

rule AUTO_6c41676978596c577246777765627732794e766a6c626247624e {
    strings:
        $a = {6c41676978596c577246777765627732794e766a6c626247624e}
    condition:
        all of them
}

rule AUTO_5968787031336b576658303030303033330030303042677b3030 {
    strings:
        $a = {5968787031336b576658303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_448883a50100008883f0020000b2b388937e0100004488a3ba00 {
    strings:
        $a = {448883a50100008883f0020000b2b388937e0100004488a3ba00}
    condition:
        all of them
}

rule AUTO_878893b1020000888353020000b2b28893f70100004488b3bd02 {
    strings:
        $a = {878893b1020000888353020000b2b28893f70100004488b3bd02}
    condition:
        all of them
}

rule AUTO_88b3ec010000888b66020000b2b48893ad0100004088b3040200 {
    strings:
        $a = {88b3ec010000888b66020000b2b48893ad0100004088b3040200}
    condition:
        all of them
}

rule AUTO_37646a7332614b57553630303030303333000000000030326476 {
    strings:
        $a = {37646a7332614b57553630303030303333000000000030326476}
    condition:
        all of them
}

rule AUTO_3015fc1900008035f6190000318035f0190000148035ea190000 {
    strings:
        $a = {3015fc1900008035f6190000318035f0190000148035ea190000}
    condition:
        all of them
}

rule AUTO_6655336a4b574836303030303033330030303042677b30303030 {
    strings:
        $a = {6655336a4b574836303030303033330030303042677b30303030}
    condition:
        all of them
}

rule AUTO_000041b09f44888324020000b2bc88938b010000448883790100 {
    strings:
        $a = {000041b09f44888324020000b2bc88938b010000448883790100}
    condition:
        all of them
}

rule AUTO_4088b3c60100008883ee020000b2948893570100004488ab1e03 {
    strings:
        $a = {4088b3c60100008883ee020000b2948893570100004488ab1e03}
    condition:
        all of them
}

rule AUTO_888354030000b2b388938401000044888b15010000b2988893cc {
    strings:
        $a = {888354030000b2b388938401000044888b15010000b2988893cc}
    condition:
        all of them
}

rule AUTO_35332a00006080352d2a0000d08035272a0000548035212a0000 {
    strings:
        $a = {35332a00006080352d2a0000d08035272a0000548035212a0000}
    condition:
        all of them
}

rule AUTO_8bfc030000b2aa889378020000b2af8893f10100004488ab8e00 {
    strings:
        $a = {8bfc030000b2aa889378020000b2af8893f10100004488ab8e00}
    condition:
        all of them
}

rule AUTO_6e2e68002d5b4d4b557064617465547261636b65725570646174 {
    strings:
        $a = {6e2e68002d5b4d4b557064617465547261636b65725570646174}
    condition:
        all of them
}

rule AUTO_88a3aa020000888359020000b2bb8893250100004488ab8d0200 {
    strings:
        $a = {88a3aa020000888359020000b2bb8893250100004488ab8d0200}
    condition:
        all of them
}

rule AUTO_888bff020000b28b8893950100004488ab0401000088835f0200 {
    strings:
        $a = {888bff020000b28b8893950100004488ab0401000088835f0200}
    condition:
        all of them
}

rule AUTO_36787a49314f51576d71303030303033330030303042677b3030 {
    strings:
        $a = {36787a49314f51576d71303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_6f657b55316c71627253303030303033330030303042677b3030 {
    strings:
        $a = {6f657b55316c71627253303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_357a1d0000e48035741d00002a80356e1d00001d8035681d0000 {
    strings:
        $a = {357a1d0000e48035741d00002a80356e1d00001d8035681d0000}
    condition:
        all of them
}

rule AUTO_611d00005b80355b1d0000308035551d00003480354f1d0000b4 {
    strings:
        $a = {611d00005b80355b1d0000308035551d00003480354f1d0000b4}
    condition:
        all of them
}

rule AUTO_8893d402000088830c020000b2a78893840100004488ab680100 {
    strings:
        $a = {8893d402000088830c020000b2a78893840100004488ab680100}
    condition:
        all of them
}

rule AUTO_3035dc1600008035d71600006e8035d1160000778035cb160000 {
    strings:
        $a = {3035dc1600008035d71600006e8035d1160000778035cb160000}
    condition:
        all of them
}

rule AUTO_30255d15000080355715000031803551150000c480354b150000 {
    strings:
        $a = {30255d15000080355715000031803551150000c480354b150000}
    condition:
        all of them
}

rule AUTO_888b1102000088838b010000b28988937a0100004488b3e50200 {
    strings:
        $a = {888b1102000088838b010000b28988937a0100004488b3e50200}
    condition:
        all of them
}

rule AUTO_35766e0000138035706e00001f80356a6e00002e8035646e0000 {
    strings:
        $a = {35766e0000138035706e00001f80356a6e00002e8035646e0000}
    condition:
        all of them
}

rule AUTO_303df81d00008035f21d0000318035ec1d0000258035e61d0000 {
    strings:
        $a = {303df81d00008035f21d0000318035ec1d0000258035e61d0000}
    condition:
        all of them
}

rule AUTO_00888393010000888b4f020000b2888893f40100004488633a88 {
    strings:
        $a = {00888393010000888b4f020000b2888893f40100004488633a88}
    condition:
        all of them
}

rule AUTO_020000884377888398000000b2ab88931b0100004488ab530100 {
    strings:
        $a = {020000884377888398000000b2ab88931b0100004488ab530100}
    condition:
        all of them
}

rule AUTO_884b2d884b3c888b4d010000b28688936c0100004088b3690100 {
    strings:
        $a = {884b2d884b3c888b4d010000b28688936c0100004088b3690100}
    condition:
        all of them
}

rule AUTO_35dd190000768035d7190000198035d1190000938035cb190000 {
    strings:
        $a = {35dd190000768035d7190000198035d1190000938035cb190000}
    condition:
        all of them
}

rule AUTO_40224e535461626c6556696577222c566170706c65786a315542 {
    strings:
        $a = {40224e535461626c6556696577222c566170706c65786a315542}
    condition:
        all of them
}

rule AUTO_742e6d002b5b446f776e6c6f61644f626a6563742069734b6579 {
    strings:
        $a = {742e6d002b5b446f776e6c6f61644f626a6563742069734b6579}
    condition:
        all of them
}

rule AUTO_8488931d020000888ba2000000b2898893a80100004488932f02 {
    strings:
        $a = {8488931d020000888ba2000000b2898893a80100004488932f02}
    condition:
        all of them
}

rule AUTO_14010000b2a08893a0020000b26e8893bb0100004488b3950200 {
    strings:
        $a = {14010000b2a08893a0020000b26e8893bb0100004488b3950200}
    condition:
        all of them
}

rule AUTO_303d7311000080356d1100001c8035671100004a803561110000 {
    strings:
        $a = {303d7311000080356d1100001c8035671100004a803561110000}
    condition:
        all of them
}

rule AUTO_45316e33313368355556303030303033330030303042677b3030 {
    strings:
        $a = {45316e33313368355556303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_888b90020000888b57020000b2868893fb0100004488b3eb0100 {
    strings:
        $a = {888b90020000888b57020000b2868893fb0100004488b3eb0100}
    condition:
        all of them
}

rule AUTO_6972577a31334b577555303030303033330030303042677b3030 {
    strings:
        $a = {6972577a31334b577555303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_00b26e885306448893db020000b22c8893b3010000448893cc02 {
    strings:
        $a = {00b26e885306448893db020000b22c8893b3010000448893cc02}
    condition:
        all of them
}

rule AUTO_35741100005180356e11000056803568110000cd803562110000 {
    strings:
        $a = {35741100005180356e11000056803568110000cd803562110000}
    condition:
        all of them
}

rule AUTO_40b6ac4088732a888b14020000b28b88931701000044889b8f00 {
    strings:
        $a = {40b6ac4088732a888b14020000b28b88931701000044889b8f00}
    condition:
        all of them
}

rule AUTO_b8888370010000888bf7000000b28b88939b0100004488a3c000 {
    strings:
        $a = {b8888370010000888bf7000000b28b88939b0100004488a3c000}
    condition:
        all of them
}

rule AUTO_358a19000010803585190000a680357f190000cc803579190000 {
    strings:
        $a = {358a19000010803585190000a680357f190000cc803579190000}
    condition:
        all of them
}

rule AUTO_35fe160000f08035f8160000228035f21600009b8035ec160000 {
    strings:
        $a = {35fe160000f08035f8160000228035f21600009b8035ec160000}
    condition:
        all of them
}

rule AUTO_8339030000b296889361020000b2ab8893320100004488a33e01 {
    strings:
        $a = {8339030000b296889361020000b2ab8893320100004488a33e01}
    condition:
        all of them
}

rule AUTO_888329020000b2898893700100004488b32f0300008883530200 {
    strings:
        $a = {888329020000b2898893700100004488b32f0300008883530200}
    condition:
        all of them
}

rule AUTO_281d0000f48035221d0000b980351c1d0000c48035161d000014 {
    strings:
        $a = {281d0000f48035221d0000b980351c1d0000c48035161d000014}
    condition:
        all of them
}

rule AUTO_b300006680359ab30000e4803594b300003380358eb300006d30 {
    strings:
        $a = {b300006680359ab30000e4803594b300003380358eb300006d30}
    condition:
        all of them
}

rule AUTO_656256696577222c56626c626464416b4c37643678004e534175 {
    strings:
        $a = {656256696577222c56626c626464416b4c37643678004e534175}
    condition:
        all of them
}

rule AUTO_8893d1000000b2bc8893ef0000004488ab5501000040b7a04088 {
    strings:
        $a = {8893d1000000b2bc8893ef0000004488ab5501000040b7a04088}
    condition:
        all of them
}

rule AUTO_88abf0000000888b37020000b28b8893240100004488abe50200 {
    strings:
        $a = {88abf0000000888b37020000b28b8893240100004488abe50200}
    condition:
        all of them
}

rule AUTO_02000041b1b744888ba9030000b2bc88937e0100004488b3b200 {
    strings:
        $a = {02000041b1b744888ba9030000b2bc88937e0100004488b3b200}
    condition:
        all of them
}

rule AUTO_35722a00008780356c2a00005d8035662a0000ba8035602a0000 {
    strings:
        $a = {35722a00008780356c2a00005d8035662a0000ba8035602a0000}
    condition:
        all of them
}

rule AUTO_fd020000b2a38893f1010000b28988937c0100004088b3db0100 {
    strings:
        $a = {fd020000b2a38893f1010000b28988937c0100004088b3db0100}
    condition:
        all of them
}

rule AUTO_664b4a5633304b7c6659303030303033330030303042677b3030 {
    strings:
        $a = {664b4a5633304b7c6659303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_3050546131434f7b5258303030303033330030303042677b3030 {
    strings:
        $a = {3050546131434f7b5258303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_884b51884b334088bbf7000000b2958893ae0100004488ab4a02 {
    strings:
        $a = {884b51884b334088bbf7000000b2958893ae0100004488ab4a02}
    condition:
        all of them
}

rule AUTO_888ba8000000888b8b020000b29488936101000044888ba30100 {
    strings:
        $a = {888ba8000000888b8b020000b29488936101000044888ba30100}
    condition:
        all of them
}

rule AUTO_11053b1100008035441100008d80353e110000c4803538110000 {
    strings:
        $a = {11053b1100008035441100008d80353e110000c4803538110000}
    condition:
        all of them
}

rule AUTO_88836a02000088837f020000b2b78893790100004488ab7f0100 {
    strings:
        $a = {88836a02000088837f020000b2b78893790100004488ab7f0100}
    condition:
        all of them
}

rule AUTO_358b110000528035851100003580357f11000086803579110000 {
    strings:
        $a = {358b110000528035851100003580357f11000086803579110000}
    condition:
        all of them
}

rule AUTO_8ba0020000b28b8893c70100004488935e01000044886b468883 {
    strings:
        $a = {8ba0020000b28b8893c70100004488935e01000044886b468883}
    condition:
        all of them
}

rule AUTO_300d491900008035431900005380353d190000c1803537190000 {
    strings:
        $a = {300d491900008035431900005380353d190000c1803537190000}
    condition:
        all of them
}

rule AUTO_8883eb000000b2868893890100004488b30a0100008883f40000 {
    strings:
        $a = {8883eb000000b2868893890100004488b30a0100008883f40000}
    condition:
        all of them
}

rule AUTO_784c42593332306d6664303030303033330030303042677b3030 {
    strings:
        $a = {784c42593332306d6664303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_35a91100008a8035a41100006880359e1100005b803598110000 {
    strings:
        $a = {35a91100008a8035a41100006880359e1100005b803598110000}
    condition:
        all of them
}

rule AUTO_72620054402257656256696577222c564b4c4a4a536a33634343 {
    strings:
        $a = {72620054402257656256696577222c564b4c4a4a536a33634343}
    condition:
        all of them
}

rule AUTO_5705001300000f11057e1d00008035871d00005b8035811d0000 {
    strings:
        $a = {5705001300000f11057e1d00008035871d00005b8035811d0000}
    condition:
        all of them
}

rule AUTO_4e4d503133686a4a5a34303030303033330030303042677b3030 {
    strings:
        $a = {4e4d503133686a4a5a34303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_352d110000fe803528110000b98035221100009a80351c110000 {
    strings:
        $a = {352d110000fe803528110000b98035221100009a80351c110000}
    condition:
        all of them
}

rule AUTO_576b6d4a313357575259303030303033330030303042677b3030 {
    strings:
        $a = {576b6d4a313357575259303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_65696768743a007365744d64686d70614e6a526a35676a3a0073 {
    strings:
        $a = {65696768743a007365744d64686d70614e6a526a35676a3a0073}
    condition:
        all of them
}

rule AUTO_6d39484b33616257506e303030303033330030303042677b3030 {
    strings:
        $a = {6d39484b33616257506e303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_6e4f544933615057587a30303030303333005f313669534a566c {
    strings:
        $a = {6e4f544933615057587a30303030303333005f313669534a566c}
    condition:
        all of them
}

rule AUTO_0088437d66c783de0100002020b2688893b60100004488a39402 {
    strings:
        $a = {0088437d66c783de0100002020b2688893b60100004488a39402}
    condition:
        all of them
}

rule AUTO_38333361504a7933303030303033330025732f256400636f6d2e {
    strings:
        $a = {38333361504a7933303030303033330025732f256400636f6d2e}
    condition:
        all of them
}

rule AUTO_00003e8035b81d0000118035b21d00004a8035ac1d0000ec8035 {
    strings:
        $a = {00003e8035b81d0000118035b21d00004a8035ac1d0000ec8035}
    condition:
        all of them
}

rule AUTO_ee1d0000b28035e81d00003a8035e21d0000c48035dc1d00005a {
    strings:
        $a = {ee1d0000b28035e81d00003a8035e21d0000c48035dc1d00005a}
    condition:
        all of them
}

rule AUTO_888b2b0200008883c7000000b26e8893bb0100004488ab290100 {
    strings:
        $a = {888b2b0200008883c7000000b26e8893bb0100004488ab290100}
    condition:
        all of them
}

rule AUTO_d80000358035c2d800004d8035bcd800009a8035b6d800002080 {
    strings:
        $a = {d80000358035c2d800004d8035bcd800009a8035b6d800002080}
    condition:
        all of them
}

rule AUTO_88938c000000b28b88935e0100004488b3ac01000041b1974488 {
    strings:
        $a = {88938c000000b28b88935e0100004488b3ac01000041b1974488}
    condition:
        all of them
}

rule AUTO_4d4f32736a496564303030303033330030303044776a30303030 {
    strings:
        $a = {4d4f32736a496564303030303033330030303044776a30303030}
    condition:
        all of them
}

rule AUTO_300d6d190000803567190000bf8035611900004780355c190000 {
    strings:
        $a = {300d6d190000803567190000bf8035611900004780355c190000}
    condition:
        all of them
}

rule AUTO_11000064803553110000a680354d1100001e8035481100003e80 {
    strings:
        $a = {11000064803553110000a680354d1100001e8035481100003e80}
    condition:
        all of them
}

rule AUTO_387633616a774356303030303033330030303042677b30303030 {
    strings:
        $a = {387633616a774356303030303033330030303042677b30303030}
    condition:
        all of them
}

rule AUTO_02000041b6ac4488b301020000b29a8893d7010000448893fc00 {
    strings:
        $a = {02000041b6ac4488b301020000b29a8893d7010000448893fc00}
    condition:
        all of them
}

rule AUTO_93fe000000b28e88938b0100004088bbaf01000040b797888bd7 {
    strings:
        $a = {93fe000000b28e88938b0100004088bbaf01000040b797888bd7}
    condition:
        all of them
}

rule AUTO_1b00001e8035731b00003880356d1b0000108035671b0000f280 {
    strings:
        $a = {1b00001e8035731b00003880356d1b0000108035671b0000f280}
    condition:
        all of them
}

rule AUTO_000040b6a84088b3c1000000b2908893de0100004488bb690100 {
    strings:
        $a = {000040b6a84088b3c1000000b2908893de0100004488bb690100}
    condition:
        all of them
}

rule AUTO_0088832f0200008883a3000000b2848893460100004488937502 {
    strings:
        $a = {0088832f0200008883a3000000b2848893460100004488937502}
    condition:
        all of them
}

rule AUTO_358719000021803581190000b080357b19000062803575190000 {
    strings:
        $a = {358719000021803581190000b080357b19000062803575190000}
    condition:
        all of them
}

rule AUTO_57714a68426555695574706a4d705668576c4a6251704e796b67 {
    strings:
        $a = {57714a68426555695574706a4d705668576c4a6251704e796b67}
    condition:
        all of them
}

rule AUTO_889307020000b2688893b60100004088b32301000088835b0100 {
    strings:
        $a = {889307020000b2688893b60100004088b32301000088835b0100}
    condition:
        all of them
}

rule AUTO_7430413844656c6567617465433573686f776e53627670577664 {
    strings:
        $a = {7430413844656c6567617465433573686f776e53627670577664}
    condition:
        all of them
}

rule AUTO_0000888b7e030000b2ab88937901000044888bdf01000040b7b9 {
    strings:
        $a = {0000888b7e030000b2ab88937901000044888bdf01000040b7b9}
    condition:
        all of them
}

rule AUTO_83d8010000a18b8883b9010000b2868893520100004488abd000 {
    strings:
        $a = {83d8010000a18b8883b9010000b2868893520100004488abd000}
    condition:
        all of them
}

rule AUTO_571d00008035601d00005380355a1d0000d78035541d00007240 {
    strings:
        $a = {571d00008035601d00005380355a1d0000d78035541d00007240}
    condition:
        all of them
}

rule AUTO_889b1f0200008883e2000000b2a888931d0100004088b39b0100 {
    strings:
        $a = {889b1f0200008883e2000000b2a888931d0100004088b39b0100}
    condition:
        all of them
}

rule AUTO_3560110000c480355a11000070803555110000a280354f110000 {
    strings:
        $a = {3560110000c480355a11000070803555110000a280354f110000}
    condition:
        all of them
}

rule AUTO_35fb090000608035f5090000568035ef090000a38035e9090000 {
    strings:
        $a = {35fb090000608035f5090000568035ef090000a38035e9090000}
    condition:
        all of them
}

rule AUTO_88bbbc00000088833a020000b25b8893610100004488ab060200 {
    strings:
        $a = {88bbbc00000088833a020000b25b8893610100004488ab060200}
    condition:
        all of them
}

rule AUTO_01000044888b23010000884301b2688893700100004488bbbf00 {
    strings:
        $a = {01000044888b23010000884301b2688893700100004488bbbf00}
    condition:
        all of them
}

rule AUTO_774772333130506d727a303030303037330032334f6549663168 {
    strings:
        $a = {774772333130506d727a303030303037330032334f6549663168}
    condition:
        all of them
}

rule AUTO_b7b1884b7944888b28020000b2ab8893680100004488abc20100 {
    strings:
        $a = {b7b1884b7944888b28020000b2ab8893680100004488abc20100}
    condition:
        all of them
}

rule AUTO_35941d0000de80358e1d0000f98035881d00009a0f1005821d00 {
    strings:
        $a = {35941d0000de80358e1d0000f98035881d00009a0f1005821d00}
    condition:
        all of them
}

rule AUTO_35ee1900001e8035e8190000c98035e2190000648035dc190000 {
    strings:
        $a = {35ee1900001e8035e8190000c98035e2190000648035dc190000}
    condition:
        all of them
}

rule AUTO_29054011000080354911000088803543110000b680353d110000 {
    strings:
        $a = {29054011000080354911000088803543110000b680353d110000}
    condition:
        all of them
}

rule AUTO_00000040b6824088b399030000b2bc889311010000448893b901 {
    strings:
        $a = {00000040b6824088b399030000b2bc889311010000448893b901}
    condition:
        all of them
}

rule AUTO_8bc9000000b2ab88932e0100004488b3df01000041b59c4488ab {
    strings:
        $a = {8bc9000000b2ab88932e0100004488b3df01000041b59c4488ab}
    condition:
        all of them
}

rule AUTO_000044886b258883a7020000b2898893700100004488ab270100 {
    strings:
        $a = {000044886b258883a7020000b2898893700100004488ab270100}
    condition:
        all of them
}

rule AUTO_359a1502002e803594150200c480358e150200a7803588150200 {
    strings:
        $a = {359a1502002e803594150200c480358e150200a7803588150200}
    condition:
        all of them
}

rule AUTO_636231437b4b786e303030303033330030303042677b30303030 {
    strings:
        $a = {636231437b4b786e303030303033330030303042677b30303030}
    condition:
        all of them
}

rule AUTO_746d37316a5457487a303030303033330025732f256400636f6d {
    strings:
        $a = {746d37316a5457487a303030303033330025732f256400636f6d}
    condition:
        all of them
}

rule AUTO_0041b272b2b48893f8020000b26888937001000044889b900100 {
    strings:
        $a = {0041b272b2b48893f8020000b26888937001000044889b900100}
    condition:
        all of them
}

rule AUTO_11055511000080355e110000998035581100002c803552110000 {
    strings:
        $a = {11055511000080355e110000998035581100002c803552110000}
    condition:
        all of them
}

rule AUTO_888396010000888b90000000b29488933a0100004088b3030200 {
    strings:
        $a = {888396010000888b90000000b29488933a0100004088b3030200}
    condition:
        all of them
}

rule AUTO_357e19000077803578190000db8035721900004780356c190000 {
    strings:
        $a = {357e19000077803578190000db8035721900004780356c190000}
    condition:
        all of them
}

rule AUTO_3529110000498035231100001280351d110000a5803517110000 {
    strings:
        $a = {3529110000498035231100001280351d110000a5803517110000}
    condition:
        all of them
}

rule AUTO_9391000000b2908893090100004088b3de0100008883fe000000 {
    strings:
        $a = {9391000000b2908893090100004088b3de0100008883fe000000}
    condition:
        all of them
}

rule AUTO_5556336c6a35676e303030303033330030303042677b30303030 {
    strings:
        $a = {5556336c6a35676e303030303033330030303042677b30303030}
    condition:
        all of them
}

rule AUTO_008883e3010000888bbb000000b2958893b20100004488ab8c02 {
    strings:
        $a = {008883e3010000888bbb000000b2958893b20100004488ab8c02}
    condition:
        all of them
}

rule AUTO_435088835a020000b2b2889318010000448893cc010000888387 {
    strings:
        $a = {435088835a020000b2b2889318010000448893cc010000888387}
    condition:
        all of them
}

rule AUTO_b3ce010000b2688893b60100004488abcc010000448883920100 {
    strings:
        $a = {b3ce010000b2688893b60100004488abcc010000448883920100}
    condition:
        all of them
}

rule AUTO_889378020000b2bb8893190100004488b38e0100008883ea0000 {
    strings:
        $a = {889378020000b2bb8893190100004488b38e0100008883ea0000}
    condition:
        all of them
}

rule AUTO_0b01000041b3b9888b09020000b28e8893c80100004488ab8000 {
    strings:
        $a = {0b01000041b3b9888b09020000b28e8893c80100004488ab8000}
    condition:
        all of them
}

rule AUTO_00888300030000888b83030000b28e88937e0100004488abab00 {
    strings:
        $a = {00888300030000888b83030000b28e88937e0100004488abab00}
    condition:
        all of them
}

rule AUTO_83f102000044889bc3020000b28e8893280100004488b3970100 {
    strings:
        $a = {83f102000044889bc3020000b28e8893280100004488b3970100}
    condition:
        all of them
}

rule AUTO_000041b0b14488838a020000b2aa88934c0100004088b3340100 {
    strings:
        $a = {000041b0b14488838a020000b2aa88934c0100004088b3340100}
    condition:
        all of them
}

rule AUTO_664489430c4088bb84020000b2ab8893610100004488ab570100 {
    strings:
        $a = {664489430c4088bb84020000b2ab8893610100004488ab570100}
    condition:
        all of them
}

rule AUTO_358e11000055803588110000bc8035821100007280357c110000 {
    strings:
        $a = {358e11000055803588110000bc8035821100007280357c110000}
    condition:
        all of them
}

rule AUTO_02000041b0b444888368030000b28b8893ac0100004488abfe00 {
    strings:
        $a = {02000041b0b444888368030000b28b8893ac0100004488abfe00}
    condition:
        all of them
}

rule AUTO_594d6b31316169574c69303030303033330030303042677b3030 {
    strings:
        $a = {594d6b31316169574c69303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_359a110000928035941100004c80358e110000ac803588110000 {
    strings:
        $a = {359a110000928035941100004c80358e110000ac803588110000}
    condition:
        all of them
}

rule AUTO_38767b56334133577934303030303033330030303042677b3030 {
    strings:
        $a = {38767b56334133577934303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_62676749616d6e4e6d7378616a57785668757464774676396e70 {
    strings:
        $a = {62676749616d6e4e6d7378616a57785668757464774676396e70}
    condition:
        all of them
}

rule AUTO_35c4190000738035be190000e18035b8190000278035b2190000 {
    strings:
        $a = {35c4190000738035be190000e18035b8190000278035b2190000}
    condition:
        all of them
}

rule AUTO_30446e6532324f4b6676303030303033330030303042677b3030 {
    strings:
        $a = {30446e6532324f4b6676303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_358b110000608035851100001280357f1100008c803579110000 {
    strings:
        $a = {358b110000608035851100001280357f1100008c803579110000}
    condition:
        all of them
}

rule AUTO_08010000884b34888b29020000b2b2889358010000448883e600 {
    strings:
        $a = {08010000884b34888b29020000b2b2889358010000448883e600}
    condition:
        all of them
}

rule AUTO_63020000885341888335020000b2bd8893bb0100004088b3c800 {
    strings:
        $a = {63020000885341888335020000b2bd8893bb0100004088b3c800}
    condition:
        all of them
}

rule AUTO_2167a6fe6b86c7a476523c80fa9f8c326b3d96f4e85a59dab4ec {
    strings:
        $a = {2167a6fe6b86c7a476523c80fa9f8c326b3d96f4e85a59dab4ec}
    condition:
        all of them
}

rule AUTO_2503000041b3a9888b88020000b2b28893e4010000b2b1889322 {
    strings:
        $a = {2503000041b3a9888b88020000b2b28893e4010000b2b1889322}
    condition:
        all of them
}

rule AUTO_3574110000d580356e110000578035681100004c803562110000 {
    strings:
        $a = {3574110000d580356e110000578035681100004c803562110000}
    condition:
        all of them
}

rule AUTO_7363556831616b574e6e303030303033330030303042677b3030 {
    strings:
        $a = {7363556831616b574e6e303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_b3ac020000448893eb000000b2688893700100004488abaf0100 {
    strings:
        $a = {b3ac020000448893eb000000b2688893700100004488abaf0100}
    condition:
        all of them
}

rule AUTO_02000040b62d4088b31a020000b26888937001000044888bf600 {
    strings:
        $a = {02000040b62d4088b31a020000b26888937001000044888bf600}
    condition:
        all of them
}

rule AUTO_756f4b763333514b6d39303030303033330030303042677b3030 {
    strings:
        $a = {756f4b763333514b6d39303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_3592190000da80358c190000d08035861900005d803580190000 {
    strings:
        $a = {3592190000da80358c190000d08035861900005d803580190000}
    condition:
        all of them
}

rule AUTO_5475477b31616b4b5533303030303033330030303042677b3030 {
    strings:
        $a = {5475477b31616b4b5533303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_5a4c48333361504b3159303030303033330030303042677b3030 {
    strings:
        $a = {5a4c48333361504b3159303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_110000188035c2110000588035bc110000b08035b61100004d80 {
    strings:
        $a = {110000188035c2110000588035bc110000b08035b61100004d80}
    condition:
        all of them
}

rule AUTO_008883100200008883ed000000b2b68893c10100004488ab4102 {
    strings:
        $a = {008883100200008883ed000000b2b68893c10100004488ab4102}
    condition:
        all of them
}

rule AUTO_5538676d317c79575856303030303033330025732f256400636f {
    strings:
        $a = {5538676d317c79575856303030303033330025732f256400636f}
    condition:
        all of them
}

rule AUTO_302d4e190000803548190000b98035421900005280353c190000 {
    strings:
        $a = {302d4e190000803548190000b98035421900005280353c190000}
    condition:
        all of them
}

rule AUTO_35e51100006b8035df110000bf8035d91100002c8035d3110000 {
    strings:
        $a = {35e51100006b8035df110000bf8035d91100002c8035d3110000}
    condition:
        all of them
}

rule AUTO_676231794f4a4e75303030303033330030303042677b30303030 {
    strings:
        $a = {676231794f4a4e75303030303033330030303042677b30303030}
    condition:
        all of them
}

rule AUTO_888bad0100008883a4020000b2b98893310100004488bbcd0100 {
    strings:
        $a = {888bad0100008883a4020000b2b98893310100004488bbcd0100}
    condition:
        all of them
}

rule AUTO_35721100004480356c1100007c8035661100009a803560110000 {
    strings:
        $a = {35721100004480356c1100007c8035661100009a803560110000}
    condition:
        all of them
}

rule AUTO_4488a324020000888344020000b26888937001000044888bd800 {
    strings:
        $a = {4488a324020000888344020000b26888937001000044888bd800}
    condition:
        all of them
}

rule AUTO_40888ba80100008883cc000000b2bb8893580100004488abf302 {
    strings:
        $a = {40888ba80100008883cc000000b2bb8893580100004488abf302}
    condition:
        all of them
}

rule AUTO_3564150300f780355e150300038035581503009b803552150300 {
    strings:
        $a = {3564150300f780355e150300038035581503009b803552150300}
    condition:
        all of them
}

rule AUTO_8893d7000000888340020000b2ae8893700100004488ab120100 {
    strings:
        $a = {8893d7000000888340020000b2ae8893700100004488ab120100}
    condition:
        all of them
}

rule AUTO_b2b4885351b28d88934f020000b2868893d40100004488932e02 {
    strings:
        $a = {b2b4885351b28d88934f020000b2868893d40100004488932e02}
    condition:
        all of them
}

rule AUTO_41b0b64488437d8883d7020000b2bc8893a0010000448893df01 {
    strings:
        $a = {41b0b64488437d8883d7020000b2bc8893a0010000448893df01}
    condition:
        all of them
}

rule AUTO_888b81010000888be0020000b2928893e30100004488934a0100 {
    strings:
        $a = {888b81010000888be0020000b2928893e30100004488934a0100}
    condition:
        all of them
}

rule AUTO_000044886b364088b300010000b29588936c010000448893af00 {
    strings:
        $a = {000044886b364088b300010000b29588936c010000448893af00}
    condition:
        all of them
}

rule AUTO_35fd110000088035f7110000718035f1110000b98035eb110000 {
    strings:
        $a = {35fd110000088035f7110000718035f1110000b98035eb110000}
    condition:
        all of them
}

rule AUTO_888b71010000888b0c030000b2878893700100004088b3610100 {
    strings:
        $a = {888b71010000888b0c030000b2878893700100004088b3610100}
    condition:
        all of them
}

rule AUTO_4345644d70337a49716578303030303031330030303044776a30 {
    strings:
        $a = {4345644d70337a49716578303030303031330030303044776a30}
    condition:
        all of them
}

rule AUTO_8993ef020000888b50020000b28b8893d70100004088b3060300 {
    strings:
        $a = {8993ef020000888b50020000b28b8893d70100004088b3060300}
    condition:
        all of them
}

rule AUTO_4e49307132434f4a676e3030303030333300315a307974503331 {
    strings:
        $a = {4e49307132434f4a676e3030303030333300315a307974503331}
    condition:
        all of them
}

rule AUTO_8b35e15d20004889c14889cf488b95f0feffff488b8de8feffff {
    strings:
        $a = {8b35e15d20004889c14889cf488b95f0feffff488b8de8feffff}
    condition:
        all of them
}

rule AUTO_303d791100008035731100003980356d1100008a803567110000 {
    strings:
        $a = {303d791100008035731100003980356d1100008a803567110000}
    condition:
        all of them
}

rule AUTO_35a4110000ee80359e110000c180359811000014803592110000 {
    strings:
        $a = {35a4110000ee80359e110000c180359811000014803592110000}
    condition:
        all of them
}

rule AUTO_88bbf00000008883a4000000b2868893870100004488ab060100 {
    strings:
        $a = {88bbf00000008883a4000000b2868893870100004488ab060100}
    condition:
        all of them
}

rule AUTO_888b27010000888bfa000000b28e8893410100004488b3bb0100 {
    strings:
        $a = {888b27010000888bfa000000b28e8893410100004488b3bb0100}
    condition:
        all of them
}

rule AUTO_928893a9020000888386020000b2908893140100004488635441 {
    strings:
        $a = {928893a9020000888386020000b2908893140100004488635441}
    condition:
        all of them
}

rule AUTO_6477573433616d4b6665303030303033330030303042677b3030 {
    strings:
        $a = {6477573433616d4b6665303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_35942500004980358e250000868035882500001f803582250000 {
    strings:
        $a = {35942500004980358e250000868035882500001f803582250000}
    condition:
        all of them
}

rule AUTO_1b0000708035551b00003c80354f1b0000128035491b00001880 {
    strings:
        $a = {1b0000708035551b00003c80354f1b0000128035491b00001880}
    condition:
        all of them
}

rule AUTO_448893a5000000888bdc030000b2b48893b00100004488b3e700 {
    strings:
        $a = {448893a5000000888bdc030000b2b48893b00100004488b3e700}
    condition:
        all of them
}

rule AUTO_35d0110000738035cb1100005d8035c5110000228035bf110000 {
    strings:
        $a = {35d0110000738035cb1100005d8035c5110000228035bf110000}
    condition:
        all of them
}

rule AUTO_36686d4633327c576d70303030303033330030303042677b3030 {
    strings:
        $a = {36686d4633327c576d70303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_00004488731a8883b6010000b28b8893c70100004488ab300100 {
    strings:
        $a = {00004488731a8883b6010000b28b8893c70100004488ab300100}
    condition:
        all of them
}

rule AUTO_35ed090000928035e7090000938035e1090000168035db090000 {
    strings:
        $a = {35ed090000928035e7090000938035e1090000168035db090000}
    condition:
        all of them
}

rule AUTO_4488b3eb000000888bf5000000b2998893ff0100004488ab9801 {
    strings:
        $a = {4488b3eb000000888bf5000000b2998893ff0100004488ab9801}
    condition:
        all of them
}

rule AUTO_8893c2020000b2898893600100004488b3cc010000888ba00100 {
    strings:
        $a = {8893c2020000b2898893600100004488b3cc010000888ba00100}
    condition:
        all of them
}

rule AUTO_88938801000088838a000000b2ae8893790100004488b3300200 {
    strings:
        $a = {88938801000088838a000000b2ae8893790100004488b3300200}
    condition:
        all of them
}

rule AUTO_83300200004088b3b2010000b2a78893700100004488b3d00100 {
    strings:
        $a = {83300200004088b3b2010000b2a78893700100004488b3d00100}
    condition:
        all of them
}

rule AUTO_7b4c4778336172685272303030303033330030303042677b3030 {
    strings:
        $a = {7b4c4778336172685272303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_8883c70000008883d5010000b2688893700100004088b36e0100 {
    strings:
        $a = {8883c70000008883d5010000b2688893700100004088b36e0100}
    condition:
        all of them
}

rule AUTO_88839a000000b28b8893da0100004488833b010000888bd40000 {
    strings:
        $a = {88839a000000b28b8893da0100004488833b010000888bd40000}
    condition:
        all of them
}

rule AUTO_008883a2010000888b18020000b2bc88932c0100004488abf000 {
    strings:
        $a = {008883a2010000888b18020000b2bc88932c0100004488abf000}
    condition:
        all of them
}

rule AUTO_6651545233766b576659303030303033330030303042677b3030 {
    strings:
        $a = {6651545233766b576659303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_35c81500007b8035c2150000b08035bc1500004b8035b6150000 {
    strings:
        $a = {35c81500007b8035c2150000b08035bc1500004b8035b6150000}
    condition:
        all of them
}

rule AUTO_656256696577222c5677656256696577547261636b0070726566 {
    strings:
        $a = {656256696577222c5677656256696577547261636b0070726566}
    condition:
        all of them
}

rule AUTO_43573733326143576d31303030303033330030303042677b3030 {
    strings:
        $a = {43573733326143576d31303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_888309010000888b0a020000b28f8893760100004088b3690200 {
    strings:
        $a = {888309010000888b0a020000b28f8893760100004088b3690200}
    condition:
        all of them
}

rule AUTO_358b190000df8035851900001080357f19000048803579190000 {
    strings:
        $a = {358b190000df8035851900001080357f19000048803579190000}
    condition:
        all of them
}

rule AUTO_3452516b31617b4a554f303030303033330030303042677b3030 {
    strings:
        $a = {3452516b31617b4a554f303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_359a110000968035941100006880358e11000038803588110000 {
    strings:
        $a = {359a110000968035941100006880358e11000038803588110000}
    condition:
        all of them
}

rule AUTO_35911b0000a980358b1b0000388035851b0000e080357f1b0000 {
    strings:
        $a = {35911b0000a980358b1b0000388035851b0000e080357f1b0000}
    condition:
        all of them
}

rule AUTO_448883980100008883c7000000b2ab88936e010000448893c702 {
    strings:
        $a = {448883980100008883c7000000b2ab88936e010000448893c702}
    condition:
        all of them
}

rule AUTO_32884b3cb1a0888bd6020000b2738893da0100004088b3120200 {
    strings:
        $a = {32884b3cb1a0888bd6020000b2738893da0100004088b3120200}
    condition:
        all of them
}

rule AUTO_188883d701000088833a020000b284889367010000448893b000 {
    strings:
        $a = {188883d701000088833a020000b284889367010000448893b000}
    condition:
        all of them
}

rule AUTO_888b21010000888bb2030000b2a48893680100004488b3ad0100 {
    strings:
        $a = {888b21010000888bb2030000b2a48893680100004488b3ad0100}
    condition:
        all of them
}

rule AUTO_0000884b6ab2b38893b0010000b28b8893a70100004488abda00 {
    strings:
        $a = {0000884b6ab2b38893b0010000b28b8893a70100004488abda00}
    condition:
        all of them
}

rule AUTO_8883cd010000b2ab8893b10100004488b33b0200008883df0100 {
    strings:
        $a = {8883cd010000b2ab8893b10100004488b33b0200008883df0100}
    condition:
        all of them
}

rule AUTO_00888bc1010000888310020000b2998893ba0100004088b3d900 {
    strings:
        $a = {00888bc1010000888310020000b2998893ba0100004088b3d900}
    condition:
        all of them
}

rule AUTO_888be7020000b2898893a50100004488b3920200008883dc0200 {
    strings:
        $a = {888be7020000b2898893a50100004488b3920200008883dc0200}
    condition:
        all of them
}

rule AUTO_301dba1100008035b41100008f8035ae110000168035a8110000 {
    strings:
        $a = {301dba1100008035b41100008f8035ae110000168035a8110000}
    condition:
        all of them
}

rule AUTO_35dd160000b48035d7160000208035d1160000888035cb160000 {
    strings:
        $a = {35dd160000b48035d7160000208035d1160000888035cb160000}
    condition:
        all of them
}

rule AUTO_3589190000968035831900008380357d1900008f803577190000 {
    strings:
        $a = {3589190000968035831900008380357d1900008f803577190000}
    condition:
        all of them
}

rule AUTO_3576110000fc8035701100005080356a110000f3803564110000 {
    strings:
        $a = {3576110000fc8035701100005080356a110000f3803564110000}
    condition:
        all of them
}

rule AUTO_88837d020000b2b28893f801000044888ba40100004488abfb00 {
    strings:
        $a = {88837d020000b2b28893f801000044888ba40100004488abfb00}
    condition:
        all of them
}

rule AUTO_0b030000b2b1889315020000b2a78893700100004488ab5d0100 {
    strings:
        $a = {0b030000b2b1889315020000b2a78893700100004488ab5d0100}
    condition:
        all of them
}

rule AUTO_0db71d00008035b11d00005e8035ab1d0000888035a51d0000be {
    strings:
        $a = {0db71d00008035b11d00005e8035ab1d0000888035a51d0000be}
    condition:
        all of them
}

rule AUTO_831102000044888372020000b2888893eb0100004488b3370100 {
    strings:
        $a = {831102000044888372020000b2888893eb0100004488b3370100}
    condition:
        all of them
}

rule AUTO_1105f61100008035ff1100002a8035f9110000b68035f3110000 {
    strings:
        $a = {1105f61100008035ff1100002a8035f9110000b68035f3110000}
    condition:
        all of them
}

rule AUTO_0000888b3f010000b2b688536cb2868893fb0100004488ab5e02 {
    strings:
        $a = {0000888b3f010000b2b688536cb2868893fb0100004488ab5e02}
    condition:
        all of them
}

rule AUTO_8590feffff488b35203a01004889c14889cf488b9590fdffff48 {
    strings:
        $a = {8590feffff488b35203a01004889c14889cf488b9590fdffff48}
    condition:
        all of them
}

rule AUTO_35ed110000aa8035e71100000a8035e1110000d78035db110000 {
    strings:
        $a = {35ed110000aa8035e71100000a8035e1110000d78035db110000}
    condition:
        all of them
}

rule AUTO_5440224e535461626c6556696577222c56785a384654444f4800 {
    strings:
        $a = {5440224e535461626c6556696577222c56785a384654444f4800}
    condition:
        all of them
}

rule AUTO_434c475033414f626665303030303033330030303042677b3030 {
    strings:
        $a = {434c475033414f626665303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_0088832a020000888387020000b29488937e0100004488ab8d00 {
    strings:
        $a = {0088832a020000888387020000b29488937e0100004488ab8d00}
    condition:
        all of them
}

rule AUTO_6e6736623333504b6d6e303030303033330025732f256400636f {
    strings:
        $a = {6e6736623333504b6d6e303030303033330025732f256400636f}
    condition:
        all of them
}

rule AUTO_544635774f51007365744f696f6473706243544635774f513a00 {
    strings:
        $a = {544635774f51007365744f696f6473706243544635774f513a00}
    condition:
        all of them
}

rule AUTO_00888bfc02000088830e020000b2b48893fe0100004488b39300 {
    strings:
        $a = {00888bfc02000088830e020000b2b48893fe0100004488b39300}
    condition:
        all of them
}

rule AUTO_000040b69a4088b3ad000000b28688939401000044887b6db2bb {
    strings:
        $a = {000040b69a4088b3ad000000b28688939401000044887b6db2bb}
    condition:
        all of them
}

rule AUTO_000040b7b9b28b8893b30100004088b35e020000888b8d020000 {
    strings:
        $a = {000040b7b9b28b8893b30100004088b35e020000888b8d020000}
    condition:
        all of them
}

rule AUTO_300d5e150000803558150000768035521500009680354c150000 {
    strings:
        $a = {300d5e150000803558150000768035521500009680354c150000}
    condition:
        all of them
}

rule AUTO_1d00008c8035811d0000d480357b1d0000bc8035751d0000c080 {
    strings:
        $a = {1d00008c8035811d0000d480357b1d0000bc8035751d0000c080}
    condition:
        all of them
}

rule AUTO_4a6c41593167686d7265303030303033330030303042677b3030 {
    strings:
        $a = {4a6c41593167686d7265303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_97885303b2b38893b4000000b2b48893e301000044886b0bb2a4 {
    strings:
        $a = {97885303b2b38893b4000000b2b48893e301000044886b0bb2a4}
    condition:
        all of them
}

rule AUTO_7877666b33335457577a303030303033330030303042677b3030 {
    strings:
        $a = {7877666b33335457577a303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_3549110000a2803543110000a380353e110000a5803538110000 {
    strings:
        $a = {3549110000a2803543110000a380353e110000a5803538110000}
    condition:
        all of them
}

rule AUTO_88b34e010000b2b28893b10100004088b34d02000041b0874488 {
    strings:
        $a = {88b34e010000b2b28893b10100004088b34d02000041b0874488}
    condition:
        all of them
}

rule AUTO_b263448853658883f4010000b2688893b60100004488ab260100 {
    strings:
        $a = {b263448853658883f4010000b2688893b60100004488ab260100}
    condition:
        all of them
}

rule AUTO_00008883f1000000b2748893c40100004488abcc010000408873 {
    strings:
        $a = {00008883f1000000b2748893c40100004488abcc010000408873}
    condition:
        all of them
}

rule AUTO_35911100008b80358b1100008a8035851100006d80357f110000 {
    strings:
        $a = {35911100008b80358b1100008a8035851100006d80357f110000}
    condition:
        all of them
}

rule AUTO_888b9d000000b2a78893d70100004488b371010000b2bd885327 {
    strings:
        $a = {888b9d000000b2a78893d70100004488b371010000b2bd885327}
    condition:
        all of them
}

rule AUTO_11057c1100008035851100008680357f1100005f803579110000 {
    strings:
        $a = {11057c1100008035851100008680357f1100005f803579110000}
    condition:
        all of them
}

rule AUTO_353a1900007e803534190000c480352e19000078803528190000 {
    strings:
        $a = {353a1900007e803534190000c480352e19000078803528190000}
    condition:
        all of them
}

rule AUTO_008883f2000000888bfb020000b28e889398010000448893aa01 {
    strings:
        $a = {008883f2000000888bfb020000b28e889398010000448893aa01}
    condition:
        all of them
}

rule AUTO_300dbc1100008035b61100003b8035b0110000ef8035aa110000 {
    strings:
        $a = {300dbc1100008035b61100003b8035b0110000ef8035aa110000}
    condition:
        all of them
}

rule AUTO_6738466933324f4b747a303030303033330030303042677b3030 {
    strings:
        $a = {6738466933324f4b747a303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_00888b0b010000888baf020000b2888893d80100004488932002 {
    strings:
        $a = {00888b0b010000888baf020000b2888893d80100004488932002}
    condition:
        all of them
}

rule AUTO_35b6150000818035b0150000148035aa150000bc8035a4150000 {
    strings:
        $a = {35b6150000818035b0150000148035aa150000bc8035a4150000}
    condition:
        all of them
}

rule AUTO_bc8893ae00000088832a020000b2ad8893f50100004488abfc02 {
    strings:
        $a = {bc8893ae00000088832a020000b2ad8893f50100004488abfc02}
    condition:
        all of them
}

rule AUTO_601d00001b80355b1d00009c8035551d00000980354f1d0000b1 {
    strings:
        $a = {601d00001b80355b1d00009c8035551d00000980354f1d0000b1}
    condition:
        all of them
}

rule AUTO_8bf9020000b2a98893e7000000b2bf88931d0100004488abad00 {
    strings:
        $a = {8bf9020000b2a98893e7000000b2bf88931d0100004488abad00}
    condition:
        all of them
}

rule AUTO_888b60030000b2aa8893190100004488b32e010000888b4c0200 {
    strings:
        $a = {888b60030000b2aa8893190100004488b32e010000888b4c0200}
    condition:
        all of them
}

rule AUTO_40224e535461626c6556696577222c5661707a524b4639776769 {
    strings:
        $a = {40224e535461626c6556696577222c5661707a524b4639776769}
    condition:
        all of them
}

rule AUTO_354a150000618035441500008a80353e1500003c803538150000 {
    strings:
        $a = {354a150000618035441500008a80353e1500003c803538150000}
    condition:
        all of them
}

rule AUTO_8883490200006689b38c000000b2978893760100004488b39200 {
    strings:
        $a = {8883490200006689b38c000000b2978893760100004488b39200}
    condition:
        all of them
}

rule AUTO_35ed110000d98035e7110000698035e1110000148035db110000 {
    strings:
        $a = {35ed110000d98035e7110000698035e1110000148035db110000}
    condition:
        all of them
}

rule AUTO_35d9110000c98035d3110000e88035cd110000b68035c7110000 {
    strings:
        $a = {35d9110000c98035d3110000e88035cd110000b68035c7110000}
    condition:
        all of them
}

rule AUTO_774e4a53313230575a75303030303033330030303042677b3030 {
    strings:
        $a = {774e4a53313230575a75303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_88bb2f0200008883e7020000b2aa88930001000044889b590200 {
    strings:
        $a = {88bb2f0200008883e7020000b2aa88930001000044889b590200}
    condition:
        all of them
}

rule AUTO_58737856336b545772563030303030333300315a307974503331 {
    strings:
        $a = {58737856336b545772563030303030333300315a307974503331}
    condition:
        all of them
}

rule AUTO_35531900002480354d19000082803547190000b6803541190000 {
    strings:
        $a = {35531900002480354d19000082803547190000b6803541190000}
    condition:
        all of them
}

rule AUTO_f84f1c0c2dfed17ed504c3ab4201315d5b72b3e5833cfb89f73e {
    strings:
        $a = {f84f1c0c2dfed17ed504c3ab4201315d5b72b3e5833cfb89f73e}
    condition:
        all of them
}

rule AUTO_4488ab0e030000888322010000b2bb8893860100004488ab8300 {
    strings:
        $a = {4488ab0e030000888322010000b2bb8893860100004488ab8300}
    condition:
        all of them
}

rule AUTO_88bb88000000b2b288937e0100004088b32d01000041b4b1888b {
    strings:
        $a = {88bb88000000b2b288937e0100004088b32d01000041b4b1888b}
    condition:
        all of them
}

rule AUTO_0000888352020000b2bb8893090100004488b350020000888b26 {
    strings:
        $a = {0000888352020000b2bb8893090100004488b350020000888b26}
    condition:
        all of them
}

rule AUTO_435a6c7933326b6d52783030303030333300315a307974503331 {
    strings:
        $a = {435a6c7933326b6d52783030303030333300315a307974503331}
    condition:
        all of them
}

rule AUTO_8893a6010000888b6c010000b28e88933a0100004488ab940100 {
    strings:
        $a = {8893a6010000888b6c010000b28e88933a0100004488ab940100}
    condition:
        all of them
}

rule AUTO_00009ae0b29188933f020000b28e8893280100004488ab390200 {
    strings:
        $a = {00009ae0b29188933f020000b28e8893280100004488ab390200}
    condition:
        all of them
}

rule AUTO_889b5e010000888bdf020000b28e8893d70000004488b35d0200 {
    strings:
        $a = {889b5e010000888bdf020000b28e8893d70000004488b35d0200}
    condition:
        all of them
}

rule AUTO_0088537041b4208883b7020000b2888893ef0100004488abaa00 {
    strings:
        $a = {0088537041b4208883b7020000b2888893ef0100004488abaa00}
    condition:
        all of them
}

rule AUTO_88b383020000888bfb010000b2888893b40100004488abb60100 {
    strings:
        $a = {88b383020000888bfb010000b2888893b40100004488abb60100}
    condition:
        all of them
}

rule AUTO_51495933515157426e303030303033330030303042677b303030 {
    strings:
        $a = {51495933515157426e303030303033330030303042677b303030}
    condition:
        all of them
}

rule AUTO_00b28588534db28b8893400100004488abd8010000888ba60200 {
    strings:
        $a = {00b28588534db28b8893400100004488abd8010000888ba60200}
    condition:
        all of them
}

rule AUTO_303d7415000080356e150000b1803568150000a1803562150000 {
    strings:
        $a = {303d7415000080356e150000b1803568150000a1803562150000}
    condition:
        all of them
}

rule AUTO_05d8fb0500488b3559bf05004889c14889cf488b95e0feffff48 {
    strings:
        $a = {05d8fb0500488b3559bf05004889c14889cf488b95e0feffff48}
    condition:
        all of them
}

rule AUTO_35e11900004c8035db190000fc8035d51900000b8035d0190000 {
    strings:
        $a = {35e11900004c8035db190000fc8035d51900000b8035d0190000}
    condition:
        all of them
}

rule AUTO_6c68557b31367b4b6656303030303033330030303042677b3030 {
    strings:
        $a = {6c68557b31367b4b6656303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_9362020000b2688893b6010000448893100100004488bb4d0200 {
    strings:
        $a = {9362020000b2688893b6010000448893100100004488bb4d0200}
    condition:
        all of them
}

rule AUTO_6d5278713146504b676c303030303033330030303042677b3030 {
    strings:
        $a = {6d5278713146504b676c303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_bb6d020000b28e8893d1010000448893fe0100008853338883d6 {
    strings:
        $a = {bb6d020000b28e8893d1010000448893fe0100008853338883d6}
    condition:
        all of them
}

rule AUTO_44886b7ab28d8893d6010000b2a48893bb0100004488a39d0100 {
    strings:
        $a = {44886b7ab28d8893d6010000b2a48893bb0100004488a39d0100}
    condition:
        all of them
}

rule AUTO_1d00009a80353b1d00002a8035351d00009c80352f1d00006780 {
    strings:
        $a = {1d00009a80353b1d00002a8035351d00009c80352f1d00006780}
    condition:
        all of them
}

rule AUTO_888b9b0100008883a8020000b2908893b10100004488abb30100 {
    strings:
        $a = {888b9b0100008883a8020000b2908893b10100004488abb30100}
    condition:
        all of them
}

rule AUTO_35ab2a0000e78035a52a00003c80359f2a0000388035992a0000 {
    strings:
        $a = {35ab2a0000e78035a52a00003c80359f2a0000388035992a0000}
    condition:
        all of them
}

rule AUTO_425364333168696d7236303030303033330030303042677b3030 {
    strings:
        $a = {425364333168696d7236303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_35c81100000b8035c2110000878035bc110000468035b6110000 {
    strings:
        $a = {35c81100000b8035c2110000878035bc110000468035b6110000}
    condition:
        all of them
}

rule AUTO_00888b220100008883d0000000b2978893d1010000448893d902 {
    strings:
        $a = {00888b220100008883d0000000b2978893d1010000448893d902}
    condition:
        all of them
}

rule AUTO_888beb0000008883ba000000b2ab8893700100004488a35e0100 {
    strings:
        $a = {888beb0000008883ba000000b2ab8893700100004488a35e0100}
    condition:
        all of them
}

rule AUTO_8893d5010000b28b8893d80100004088b3a201000066c74318a1 {
    strings:
        $a = {8893d5010000b28b8893d80100004088b3a201000066c74318a1}
    condition:
        all of them
}

rule AUTO_0000888b5c010000b2938893760100004488abf301000088831b {
    strings:
        $a = {0000888b5c010000b2938893760100004488abf301000088831b}
    condition:
        all of them
}

rule AUTO_83020100009ae08883df000000b2848893b30100004488abde00 {
    strings:
        $a = {83020100009ae08883df000000b2848893b30100004488abde00}
    condition:
        all of them
}

rule AUTO_3576530200648035705302005280356a5302007d803564530200 {
    strings:
        $a = {3576530200648035705302005280356a5302007d803564530200}
    condition:
        all of them
}

rule AUTO_7b336e3533794f4b5557303030303033330030303042677b3030 {
    strings:
        $a = {7b336e3533794f4b5557303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_300dd91d00008035d31d0000558035cd1d0000d18035c71d0000 {
    strings:
        $a = {300dd91d00008035d31d0000558035cd1d0000d18035c71d0000}
    condition:
        all of them
}

rule AUTO_356e220000c48035682200002b8035622200007a80355c220000 {
    strings:
        $a = {356e220000c48035682200002b8035622200007a80355c220000}
    condition:
        all of them
}

rule AUTO_35af110000448035a9110000298035a31100005280359d110000 {
    strings:
        $a = {35af110000448035a9110000298035a31100005280359d110000}
    condition:
        all of them
}

rule AUTO_00488b8528ffffff488b352a2003004889c14889cf488b95a8fe {
    strings:
        $a = {00488b8528ffffff488b352a2003004889c14889cf488b95a8fe}
    condition:
        all of them
}

rule AUTO_48888b4d010000888b16020000b286889300010000448893fa00 {
    strings:
        $a = {48888b4d010000888b16020000b286889300010000448893fa00}
    condition:
        all of them
}

rule AUTO_01000066c78383010000316cb26e8893bb0100004088b31c0200 {
    strings:
        $a = {01000066c78383010000316cb26e8893bb0100004088b31c0200}
    condition:
        all of them
}

rule AUTO_000041b39b44889bea000000b2bc88937701000044887b694488 {
    strings:
        $a = {000041b39b44889bea000000b2bc88937701000044887b694488}
    condition:
        all of them
}

rule AUTO_6c4b4c59334c77575a313030303030333300306d77504e6f3359 {
    strings:
        $a = {6c4b4c59334c77575a313030303030333300306d77504e6f3359}
    condition:
        all of them
}

rule AUTO_8883db0100008883ea010000b28988932c0100004488b3c80100 {
    strings:
        $a = {8883db0100008883ea010000b28988932c0100004488b3c80100}
    condition:
        all of them
}

rule AUTO_3537110000a38035321100001380352c11000094803526110000 {
    strings:
        $a = {3537110000a38035321100001380352c11000094803526110000}
    condition:
        all of them
}

rule AUTO_301dbb1900008035b5190000d78035af190000d48035a9190000 {
    strings:
        $a = {301dbb1900008035b5190000d78035af190000d48035a9190000}
    condition:
        all of them
}

rule AUTO_35621900007580355c1900005d80355619000073803550190000 {
    strings:
        $a = {35621900007580355c1900005d80355619000073803550190000}
    condition:
        all of them
}

rule AUTO_4488ab43020000888b46020000b2948893b401000044886b42b2 {
    strings:
        $a = {4488ab43020000888b46020000b2948893b401000044886b42b2}
    condition:
        all of them
}

rule AUTO_796f686f3341447b5256303030303033330030303042677b3030 {
    strings:
        $a = {796f686f3341447b5256303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_888b3b020000448883c6020000b2888893940100004488a36e03 {
    strings:
        $a = {888b3b020000448883c6020000b2888893940100004488a36e03}
    condition:
        all of them
}

rule AUTO_8883fe020000888377020000b2b78893170100004488abe40200 {
    strings:
        $a = {8883fe020000888377020000b2b78893170100004488abe40200}
    condition:
        all of them
}

rule AUTO_00008be0884b0188834f020000b2ab8893f4010000448893f601 {
    strings:
        $a = {00008be0884b0188834f020000b2ab8893f4010000448893f601}
    condition:
        all of them
}

rule AUTO_6f39747633614b4e6734303030303033330030303042677b3030 {
    strings:
        $a = {6f39747633614b4e6734303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_69686269336138425565303030303033330030303042677b3030 {
    strings:
        $a = {69686269336138425565303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_16000004803503160000d28035fd150000c78035f71500005280 {
    strings:
        $a = {16000004803503160000d28035fd150000c78035f71500005280}
    condition:
        all of them
}

rule AUTO_000041b68c4488b3a6000000b2ab8893a80100004488ab0b0100 {
    strings:
        $a = {000041b68c4488b3a6000000b2ab8893a80100004488ab0b0100}
    condition:
        all of them
}

rule AUTO_35ba1900000b8035b4190000ea8035ae190000448035a8190000 {
    strings:
        $a = {35ba1900000b8035b4190000ea8035ae190000448035a8190000}
    condition:
        all of them
}

rule AUTO_6263773331614257726c303030303033330030303042677b3030 {
    strings:
        $a = {6263773331614257726c303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_888b0c020000b2a98893e70100004488ab770100004488532141 {
    strings:
        $a = {888b0c020000b2a98893e70100004488ab770100004488532141}
    condition:
        all of them
}

rule AUTO_3563110d009580355d110d00e7803557110d0048803551110d00 {
    strings:
        $a = {3563110d009580355d110d00e7803557110d0048803551110d00}
    condition:
        all of them
}

rule AUTO_526c424a33337c6d664e303030303033330030303042677b3030 {
    strings:
        $a = {526c424a33337c6d664e303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_88b3900200008883d5010000b26e8893bb0100004088b30d0100 {
    strings:
        $a = {88b3900200008883d5010000b26e8893bb0100004088b30d0100}
    condition:
        all of them
}

rule AUTO_4274336344575a7a3030303030333300315a3079745033313664 {
    strings:
        $a = {4274336344575a7a3030303030333300315a3079745033313664}
    condition:
        all of them
}

rule AUTO_ab6f010000b06588837a020000b2688893700100004488abce00 {
    strings:
        $a = {ab6f010000b06588837a020000b2688893700100004488abce00}
    condition:
        all of them
}

rule AUTO_0000884b314088b315020000b29c8893eb0100004088b3e20100 {
    strings:
        $a = {0000884b314088b315020000b29c8893eb0100004088b3e20100}
    condition:
        all of them
}

rule AUTO_888365010000888304020000b2868893160100004488ab540200 {
    strings:
        $a = {888365010000888304020000b2868893160100004488ab540200}
    condition:
        all of them
}

rule AUTO_88832a020000b2ab8893ed0100004488abb30100008883ac0100 {
    strings:
        $a = {88832a020000b2ab8893ed0100004488abb30100008883ac0100}
    condition:
        all of them
}

rule AUTO_888357010000888b78020000b2978893e30100004488a3ce0100 {
    strings:
        $a = {888357010000888b78020000b2978893e30100004488a3ce0100}
    condition:
        all of them
}

rule AUTO_74746572004943446f776e6c6f6164657244656c656761746500 {
    strings:
        $a = {74746572004943446f776e6c6f6164657244656c656761746500}
    condition:
        all of them
}

rule AUTO_3573110000b580356d1100007280356711000033803561110000 {
    strings:
        $a = {3573110000b580356d1100007280356711000033803561110000}
    condition:
        all of them
}

rule AUTO_b3fb010000b292889352030000b23a88930a0100004488b3eb00 {
    strings:
        $a = {b3fb010000b292889352030000b23a88930a0100004488b3eb00}
    condition:
        all of them
}

rule AUTO_35c8190000908035c2190000688035bc190000758035b6190000 {
    strings:
        $a = {35c8190000908035c2190000688035bc190000758035b6190000}
    condition:
        all of them
}

rule AUTO_5175704b326b3057527a303030303033330030303042677b3030 {
    strings:
        $a = {5175704b326b3057527a303030303033330030303042677b3030}
    condition:
        all of them
}

rule AUTO_3503120000fc8035fd1100003b8035f7110000848035f1110000 {
    strings:
        $a = {3503120000fc8035fd1100003b8035f7110000848035f1110000}
    condition:
        all of them
}

rule AUTO_886b7c884b36888300020000b2838893990100004488b3200200 {
    strings:
        $a = {886b7c884b36888300020000b2838893990100004488b3200200}
    condition:
        all of them
}

rule AUTO_67010000b0e08883ee000000b2a18893c70100004488ab040100 {
    strings:
        $a = {67010000b0e08883ee000000b2a18893c70100004488ab040100}
    condition:
        all of them
}

rule AUTO_000041b1ae44888b7a020000b28988934e0100004488abbc0100 {
    strings:
        $a = {000041b1ae44888b7a020000b28988934e0100004488abbc0100}
    condition:
        all of them
}

rule AUTO_35b2ae8853658883ac000000b28b8893940100004488ab030100 {
    strings:
        $a = {35b2ae8853658883ac000000b28b8893940100004488ab030100}
    condition:
        all of them
}

rule AUTO_ab02020000448883d1010000b22c8893b30100004088b3910100 {
    strings:
        $a = {ab02020000448883d1010000b22c8893b30100004088b3910100}
    condition:
        all of them
}

rule AUTO_eb000000b298889330030000b286889374010000448893110100 {
    strings:
        $a = {eb000000b298889330030000b286889374010000448893110100}
    condition:
        all of them
}

rule AUTO_1105ab2e00008035b42e0000328035ae2e0000208035a82e0000 {
    strings:
        $a = {1105ab2e00008035b42e0000328035ae2e0000208035a82e0000}
    condition:
        all of them
}

rule AUTO_3587190000088035811900003480357b1900002b803575190000 {
    strings:
        $a = {3587190000088035811900003480357b1900002b803575190000}
    condition:
        all of them
}

rule AUTO_37030000bab2b7889328030000b2688893700100004488bbd700 {
    strings:
        $a = {37030000bab2b7889328030000b2688893700100004488bbd700}
    condition:
        all of them
}

rule AUTO_88abfe000000b29c8893520100004488b34e010000888b0e0200 {
    strings:
        $a = {88abfe000000b29c8893520100004488b34e010000888b0e0200}
    condition:
        all of them
}

rule AUTO_889327020000888b5f010000b2688893700100004488ab1d0200 {
    strings:
        $a = {889327020000888b5f010000b2688893700100004488ab1d0200}
    condition:
        all of them
}

rule AUTO_888bb40100008883f9000000b2bb8893bb0100004088b3ac0100 {
    strings:
        $a = {888bb40100008883f9000000b2bb8893bb0100004088b3ac0100}
    condition:
        all of them
}

rule AUTO_000088434744888335020000b2af8893a50100004488abb00100 {
    strings:
        $a = {000088434744888335020000b2af8893a50100004488abb00100}
    condition:
        all of them
}

rule AUTO_00d0950c0001000000f0950c0001000000e013030001000000a0 {
    strings:
        $a = {00d0950c0001000000f0950c0001000000e013030001000000a0}
    condition:
        all of them
}