Edit

Yara Revenge

Challenge Overview

The challenge involves a YARA rule named SecurinetsFlag, authored by "M0ud4," with the description "For all who enjoyed my previous Yara task here is my revenge xd (Trust me it's not that hard)." The rule is designed to match a specific 54-byte file containing a flag in the format "Securinets{<REDACTED>}". The conditions include MD5 hashes of 2-byte sequences, arithmetic operations on individual bytes, and complex bitwise operations. Our task is to reverse-engineer these conditions to reconstruct the file and extract the flag.

The rule’s conditions are:

  • String: $flag = "Securinets{<REDACTED>}".

  • MD5 Hashes: At offsets 11, 29, 31, and 39 (2 bytes each).

  • Arithmetic Conditions: Simple additions/subtractions for bytes 7-23, 25-45, and 47-53.

  • Bitwise Conditions: Complex expressions for bytes 0-6, 24, and 46.

rule SecurinetsFlag
{
    meta:
        author="M0ud4"
        description="For all who enjoyed my previous Yara task here is my revenge xd (Trust me it's not that hard)"
    strings:
        $flag = "Securinets{<REDACTED>}"

    condition:
hash.md5(31, 2) == "ab86a1e1ef70dff97959067b723c5c24" and
hash.md5(39, 2) == "12470fe406d44017d96eab37dd65fc14" and
hash.md5(11, 2) == "f31e1eef20f64733a18c538073e78396" and
hash.md5(11, 2) == "f31e1eef20f64733a18c538073e78396" and
hash.md5(29, 2) == "1fdc0f893412ce55f0d2811821b84d3b" and
((uint8(0) & 1101) + (uint8(0) | 1101)) == 1184 and
((((uint8(1) + 1959) - (uint8(1) | 1959)) & (uint8(1) + (1959 + (1 + ((~uint8(1)) | (~1959)))))) + (((uint8(1) + 1959) - (uint8(1) | 1959)) | (uint8(1) + (1959 + (1 + ((~uint8(1)) | (~1959))))))) == 2060 and uint8(47) - 3551 == -3437 and uint8(48) - 3773 == -3659 and uint8(49) - 3208 == -3094 and uint8(50) - 3330 == -3216 and ((((((((uint8(2) & 1559) + (x | 1559)) ^ (-(x + (1559 + (1 + ((~x) | (~1559))))))) + (2 * (((x & 1559) + (x | 1559)) & (-(x + (1559 + (1 + ((~x) | (~1559))))))))) + ((x & ((1559 & ((1 & ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))) + (1 | ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))))) + (1559 | ((1 & ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))) + (1 | ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))))))) + (x | ((1559 & ((1 & ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))) + (1 | ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))))) + (1559 | ((1 & ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))) + (1 | ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))))))))) - (((((x & 1559) + (x | 1559)) ^ (-(x + (1559 + (1 + ((~x) | (~1559))))))) + (2 * (((x & 1559) + (x | 1559)) & (-(x + (1559 + (1 + ((~x) | (~1559))))))))) | ((x & ((1559 & ((1 & ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))) + (1 | ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))))) + (1559 | ((1 & ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))) + (1 | ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))))))) + (x | ((1559 & ((1 & ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))) + (1 | ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))))) + (1559 | ((1 & ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))) + (1 | ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559)))))))))))))) & (((((x & 1559) + (x | 1559)) ^ (-(x + (1559 + (1 + ((~x) | (~1559))))))) + (2 * (((x & 1559) + (x | 1559)) & (-(x + (1559 + (1 + ((~x) | (~1559))))))))) + (((x & ((1559 & ((1 & ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))) + (1 | ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))))) + (1559 | ((1 & ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))) + (1 | ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))))))) + (x | ((1559 & ((1 & ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))) + (1 | ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))))) + (1559 | ((1 & ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))) + (1 | ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559)))))))))))) + (1 + ((~((((x & 1559) + (x | 1559)) ^ (-(x + (1559 + (1 + ((~x) | (~1559))))))) + (2 * (((x & 1559) + (x | 1559)) & (-(x + (1559 + (1 + ((~x) | (~1559)))))))))) | (~((x & ((1559 & ((1 & ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))) + (1 | ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))))) + (1559 | ((1 & ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))) + (1 | ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))))))) + (x | ((1559 & ((1 & ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))) + (1 | ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))))) + (1559 | ((1 & ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))) + (1 | ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559)))))))))))))))))) + (((((((x & 1559) + (x | 1559)) ^ (-(x + (1559 + (1 + ((~x) | (~1559))))))) + (2 * (((x & 1559) + (x | 1559)) & (-(x + (1559 + (1 + ((~x) | (~1559))))))))) + ((x & ((1559 & ((1 & ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))) + (1 | ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))))) + (1559 | ((1 & ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))) + (1 | ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))))))) + (x | ((1559 & ((1 & ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))) + (1 | ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))))) + (1559 | ((1 & ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))) + (1 | ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))))))))) - (((((x & 1559) + (x | 1559)) ^ (-(x + (1559 + (1 + ((~x) | (~1559))))))) + (2 * (((x & 1559) + (x | 1559)) & (-(x + (1559 + (1 + ((~x) | (~1559))))))))) | ((x & ((1559 & ((1 & ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))) + (1 | ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))))) + (1559 | ((1 & ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))) + (1 | ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))))))) + (x | ((1559 & ((1 & ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))) + (1 | ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))))) + (1559 | ((1 & ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))) + (1 | ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559)))))))))))))) | (((((x & 1559) + (x | 1559)) ^ (-(x + (1559 + (1 + ((~x) | (~1559))))))) + (2 * (((x & 1559) + (x | 1559)) & (-(x + (1559 + (1 + ((~x) | (~1559))))))))) + (((x & ((1559 & ((1 & ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))) + (1 | ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))))) + (1559 | ((1 & ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))) + (1 | ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))))))) + (x | ((1559 & ((1 & ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))) + (1 | ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))))) + (1559 | ((1 & ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))) + (1 | ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559)))))))))))) + (1 + ((~((((x & 1559) + (x | 1559)) ^ (-(x + (1559 + (1 + ((~x) | (~1559))))))) + (2 * (((x & 1559) + (x | 1559)) & (-(x + (1559 + (1 + ((~x) | (~1559)))))))))) | (~((x & ((1559 & ((1 & ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))) + (1 | ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))))) + (1559 | ((1 & ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))) + (1 | ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))))))) + (x | ((1559 & ((1 & ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))) + (1 | ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))))) + (1559 | ((1 & ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))) + (1 | ((~x) + ((~1559) + (1 + ((~(~x)) | (~(~1559))))))))))))))))))) == 1658 and ((((((((uint8(3) & 1161) + (uint8(3) | 1161)) ^ (-(uint8(3) + (1161 + (1 + ((~uint8(3)) | (~1161))))))) + (2 * (((uint8(3) & 1161) + (uint8(3) | 1161)) & (-(uint8(3) + (1161 + (1 + ((~uint8(3)) | (~1161))))))))) + ((uint8(3) & ((1161 & ((1 & ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))) + (1 | ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))))) + (1161 | ((1 & ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))) + (1 | ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))))))) + (uint8(3) | ((1161 & ((1 & ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))) + (1 | ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))))) + (1161 | ((1 & ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))) + (1 | ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))))))))) - (((((uint8(3) & 1161) + (uint8(3) | 1161)) ^ (-(uint8(3) + (1161 + (1 + ((~uint8(3)) | (~1161))))))) + (2 * (((uint8(3) & 1161) + (uint8(3) | 1161)) & (-(uint8(3) + (1161 + (1 + ((~uint8(3)) | (~1161))))))))) | ((uint8(3) & ((1161 & ((1 & ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))) + (1 | ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))))) + (1161 | ((1 & ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))) + (1 | ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))))))) + (uint8(3) | ((1161 & ((1 & ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))) + (1 | ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))))) + (1161 | ((1 & ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))) + (1 | ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161)))))))))))))) & (((((uint8(3) & 1161) + (uint8(3) | 1161)) ^ (-(uint8(3) + (1161 + (1 + ((~uint8(3)) | (~1161))))))) + (2 * (((uint8(3) & 1161) + (uint8(3) | 1161)) & (-(uint8(3) + (1161 + (1 + ((~uint8(3)) | (~1161))))))))) + (((uint8(3) & ((1161 & ((1 & ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))) + (1 | ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))))) + (1161 | ((1 & ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))) + (1 | ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))))))) + (uint8(3) | ((1161 & ((1 & ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))) + (1 | ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))))) + (1161 | ((1 & ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))) + (1 | ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161)))))))))))) + (1 + ((~((((uint8(3) & 1161) + (uint8(3) | 1161)) ^ (-(uint8(3) + (1161 + (1 + ((~uint8(3)) | (~1161))))))) + (2 * (((uint8(3) & 1161) + (uint8(3) | 1161)) & (-(uint8(3) + (1161 + (1 + ((~uint8(3)) | (~1161)))))))))) | (~((uint8(3) & ((1161 & ((1 & ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))) + (1 | ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))))) + (1161 | ((1 & ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))) + (1 | ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))))))) + (uint8(3) | ((1161 & ((1 & ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))) + (1 | ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))))) + (1161 | ((1 & ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))) + (1 | ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161)))))))))))))))))) + (((((((uint8(3) & 1161) + (uint8(3) | 1161)) ^ (-(uint8(3) + (1161 + (1 + ((~uint8(3)) | (~1161))))))) + (2 * (((uint8(3) & 1161) + (uint8(3) | 1161)) & (-(uint8(3) + (1161 + (1 + ((~uint8(3)) | (~1161))))))))) + ((uint8(3) & ((1161 & ((1 & ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))) + (1 | ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))))) + (1161 | ((1 & ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))) + (1 | ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))))))) + (uint8(3) | ((1161 & ((1 & ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))) + (1 | ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))))) + (1161 | ((1 & ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))) + (1 | ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))))))))) - (((((uint8(3) & 1161) + (uint8(3) | 1161)) ^ (-(uint8(3) + (1161 + (1 + ((~uint8(3)) | (~1161))))))) + (2 * (((uint8(3) & 1161) + (uint8(3) | 1161)) & (-(uint8(3) + (1161 + (1 + ((~uint8(3)) | (~1161))))))))) | ((uint8(3) & ((1161 & ((1 & ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))) + (1 | ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))))) + (1161 | ((1 & ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))) + (1 | ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))))))) + (uint8(3) | ((1161 & ((1 & ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))) + (1 | ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))))) + (1161 | ((1 & ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))) + (1 | ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161)))))))))))))) | (((((uint8(3) & 1161) + (uint8(3) | 1161)) ^ (-(uint8(3) + (1161 + (1 + ((~uint8(3)) | (~1161))))))) + (2 * (((uint8(3) & 1161) + (uint8(3) | 1161)) & (-(uint8(3) + (1161 + (1 + ((~uint8(3)) | (~1161))))))))) + (((uint8(3) & ((1161 & ((1 & ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))) + (1 | ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))))) + (1161 | ((1 & ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))) + (1 | ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))))))) + (uint8(3) | ((1161 & ((1 & ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))) + (1 | ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))))) + (1161 | ((1 & ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))) + (1 | ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161)))))))))))) + (1 + ((~((((uint8(3) & 1161) + (uint8(3) | 1161)) ^ (-(uint8(3) + (1161 + (1 + ((~uint8(3)) | (~1161))))))) + (2 * (((uint8(3) & 1161) + (uint8(3) | 1161)) & (-(uint8(3) + (1161 + (1 + ((~uint8(3)) | (~1161)))))))))) | (~((uint8(3) & ((1161 & ((1 & ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))) + (1 | ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))))) + (1161 | ((1 & ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))) + (1 | ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))))))) + (uint8(3) | ((1161 & ((1 & ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))) + (1 | ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))))) + (1161 | ((1 & ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))) + (1 | ((~uint8(3)) + ((~1161) + (1 + ((~(~uint8(3))) | (~(~1161))))))))))))))))))) == 1278 and ((((((((uint8(4) & 1165) + (uint8(4) | 1165)) ^ (-(uint8(4) + (1165 + (1 + ((~uint8(4)) | (~1165))))))) + (2 * (((uint8(4) & 1165) + (uint8(4) | 1165)) & (-(uint8(4) + (1165 + (1 + ((~uint8(4)) | (~1165))))))))) + ((uint8(4) & ((1165 & ((1 & ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))) + (1 | ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))))) + (1165 | ((1 & ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))) + (1 | ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))))))) + (uint8(4) | ((1165 & ((1 & ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))) + (1 | ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))))) + (1165 | ((1 & ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))) + (1 | ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))))))))) - (((((uint8(4) & 1165) + (uint8(4) | 1165)) ^ (-(uint8(4) + (1165 + (1 + ((~uint8(4)) | (~1165))))))) + (2 * (((uint8(4) & 1165) + (uint8(4) | 1165)) & (-(uint8(4) + (1165 + (1 + ((~uint8(4)) | (~1165))))))))) | ((uint8(4) & ((1165 & ((1 & ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))) + (1 | ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))))) + (1165 | ((1 & ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))) + (1 | ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))))))) + (uint8(4) | ((1165 & ((1 & ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))) + (1 | ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))))) + (1165 | ((1 & ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))) + (1 | ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165)))))))))))))) & (((((uint8(4) & 1165) + (uint8(4) | 1165)) ^ (-(uint8(4) + (1165 + (1 + ((~uint8(4)) | (~1165))))))) + (2 * (((uint8(4) & 1165) + (uint8(4) | 1165)) & (-(uint8(4) + (1165 + (1 + ((~uint8(4)) | (~1165))))))))) + (((uint8(4) & ((1165 & ((1 & ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))) + (1 | ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))))) + (1165 | ((1 & ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))) + (1 | ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))))))) + (uint8(4) | ((1165 & ((1 & ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))) + (1 | ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))))) + (1165 | ((1 & ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))) + (1 | ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165)))))))))))) + (1 + ((~((((uint8(4) & 1165) + (uint8(4) | 1165)) ^ (-(uint8(4) + (1165 + (1 + ((~uint8(4)) | (~1165))))))) + (2 * (((uint8(4) & 1165) + (uint8(4) | 1165)) & (-(uint8(4) + (1165 + (1 + ((~uint8(4)) | (~1165)))))))))) | (~((uint8(4) & ((1165 & ((1 & ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))) + (1 | ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))))) + (1165 | ((1 & ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))) + (1 | ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))))))) + (uint8(4) | ((1165 & ((1 & ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))) + (1 | ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))))) + (1165 | ((1 & ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))) + (1 | ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165)))))))))))))))))) + (((((((uint8(4) & 1165) + (uint8(4) | 1165)) ^ (-(uint8(4) + (1165 + (1 + ((~uint8(4)) | (~1165))))))) + (2 * (((uint8(4) & 1165) + (uint8(4) | 1165)) & (-(uint8(4) + (1165 + (1 + ((~uint8(4)) | (~1165))))))))) + ((uint8(4) & ((1165 & ((1 & ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))) + (1 | ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))))) + (1165 | ((1 & ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))) + (1 | ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))))))) + (uint8(4) | ((1165 & ((1 & ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))) + (1 | ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))))) + (1165 | ((1 & ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))) + (1 | ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))))))))) - (((((uint8(4) & 1165) + (uint8(4) | 1165)) ^ (-(uint8(4) + (1165 + (1 + ((~uint8(4)) | (~1165))))))) + (2 * (((uint8(4) & 1165) + (uint8(4) | 1165)) & (-(uint8(4) + (1165 + (1 + ((~uint8(4)) | (~1165))))))))) | ((uint8(4) & ((1165 & ((1 & ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))) + (1 | ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))))) + (1165 | ((1 & ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))) + (1 | ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))))))) + (uint8(4) | ((1165 & ((1 & ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))) + (1 | ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))))) + (1165 | ((1 & ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))) + (1 | ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165)))))))))))))) | (((((uint8(4) & 1165) + (uint8(4) | 1165)) ^ (-(uint8(4) + (1165 + (1 + ((~uint8(4)) | (~1165))))))) + (2 * (((uint8(4) & 1165) + (uint8(4) | 1165)) & (-(uint8(4) + (1165 + (1 + ((~uint8(4)) | (~1165))))))))) + (((uint8(4) & ((1165 & ((1 & ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))) + (1 | ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))))) + (1165 | ((1 & ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))) + (1 | ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))))))) + (uint8(4) | ((1165 & ((1 & ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))) + (1 | ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))))) + (1165 | ((1 & ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))) + (1 | ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165)))))))))))) + (1 + ((~((((uint8(4) & 1165) + (uint8(4) | 1165)) ^ (-(uint8(4) + (1165 + (1 + ((~uint8(4)) | (~1165))))))) + (2 * (((uint8(4) & 1165) + (uint8(4) | 1165)) & (-(uint8(4) + (1165 + (1 + ((~uint8(4)) | (~1165)))))))))) | (~((uint8(4) & ((1165 & ((1 & ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))) + (1 | ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))))) + (1165 | ((1 & ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))) + (1 | ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))))))) + (uint8(4) | ((1165 & ((1 & ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))) + (1 | ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))))) + (1165 | ((1 & ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))) + (1 | ((~uint8(4)) + ((~1165) + (1 + ((~(~uint8(4))) | (~(~1165))))))))))))))))))) == 1279 and ((((((((uint8(5) & 1058) + (uint8(5) | 1058)) ^ (-(uint8(5) + (1058 + (1 + ((~uint8(5)) | (~1058))))))) + (2 * (((uint8(5) & 1058) + (uint8(5) | 1058)) & (-(uint8(5) + (1058 + (1 + ((~uint8(5)) | (~1058))))))))) + ((uint8(5) & ((1058 & ((1 & ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))) + (1 | ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))))) + (1058 | ((1 & ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))) + (1 | ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))))))) + (uint8(5) | ((1058 & ((1 & ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))) + (1 | ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))))) + (1058 | ((1 & ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))) + (1 | ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))))))))) - (((((uint8(5) & 1058) + (uint8(5) | 1058)) ^ (-(uint8(5) + (1058 + (1 + ((~uint8(5)) | (~1058))))))) + (2 * (((uint8(5) & 1058) + (uint8(5) | 1058)) & (-(uint8(5) + (1058 + (1 + ((~uint8(5)) | (~1058))))))))) | ((uint8(5) & ((1058 & ((1 & ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))) + (1 | ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))))) + (1058 | ((1 & ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))) + (1 | ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))))))) + (uint8(5) | ((1058 & ((1 & ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))) + (1 | ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))))) + (1058 | ((1 & ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))) + (1 | ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058)))))))))))))) & (((((uint8(5) & 1058) + (uint8(5) | 1058)) ^ (-(uint8(5) + (1058 + (1 + ((~uint8(5)) | (~1058))))))) + (2 * (((uint8(5) & 1058) + (uint8(5) | 1058)) & (-(uint8(5) + (1058 + (1 + ((~uint8(5)) | (~1058))))))))) + (((uint8(5) & ((1058 & ((1 & ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))) + (1 | ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))))) + (1058 | ((1 & ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))) + (1 | ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))))))) + (uint8(5) | ((1058 & ((1 & ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))) + (1 | ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))))) + (1058 | ((1 & ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))) + (1 | ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058)))))))))))) + (1 + ((~((((uint8(5) & 1058) + (uint8(5) | 1058)) ^ (-(uint8(5) + (1058 + (1 + ((~uint8(5)) | (~1058))))))) + (2 * (((uint8(5) & 1058) + (uint8(5) | 1058)) & (-(uint8(5) + (1058 + (1 + ((~uint8(5)) | (~1058)))))))))) | (~((uint8(5) & ((1058 & ((1 & ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))) + (1 | ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))))) + (1058 | ((1 & ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))) + (1 | ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))))))) + (uint8(5) | ((1058 & ((1 & ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))) + (1 | ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))))) + (1058 | ((1 & ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))) + (1 | ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058)))))))))))))))))) + (((((((uint8(5) & 1058) + (uint8(5) | 1058)) ^ (-(uint8(5) + (1058 + (1 + ((~uint8(5)) | (~1058))))))) + (2 * (((uint8(5) & 1058) + (uint8(5) | 1058)) & (-(uint8(5) + (1058 + (1 + ((~uint8(5)) | (~1058))))))))) + ((uint8(5) & ((1058 & ((1 & ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))) + (1 | ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))))) + (1058 | ((1 & ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))) + (1 | ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))))))) + (uint8(5) | ((1058 & ((1 & ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))) + (1 | ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))))) + (1058 | ((1 & ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))) + (1 | ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))))))))) - (((((uint8(5) & 1058) + (uint8(5) | 1058)) ^ (-(uint8(5) + (1058 + (1 + ((~uint8(5)) | (~1058))))))) + (2 * (((uint8(5) & 1058) + (uint8(5) | 1058)) & (-(uint8(5) + (1058 + (1 + ((~uint8(5)) | (~1058))))))))) | ((uint8(5) & ((1058 & ((1 & ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))) + (1 | ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))))) + (1058 | ((1 & ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))) + (1 | ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))))))) + (uint8(5) | ((1058 & ((1 & ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))) + (1 | ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))))) + (1058 | ((1 & ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))) + (1 | ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058)))))))))))))) | (((((uint8(5) & 1058) + (uint8(5) | 1058)) ^ (-(uint8(5) + (1058 + (1 + ((~uint8(5)) | (~1058))))))) + (2 * (((uint8(5) & 1058) + (uint8(5) | 1058)) & (-(uint8(5) + (1058 + (1 + ((~uint8(5)) | (~1058))))))))) + (((uint8(5) & ((1058 & ((1 & ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))) + (1 | ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))))) + (1058 | ((1 & ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))) + (1 | ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))))))) + (uint8(5) | ((1058 & ((1 & ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))) + (1 | ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))))) + (1058 | ((1 & ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))) + (1 | ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058)))))))))))) + (1 + ((~((((uint8(5) & 1058) + (uint8(5) | 1058)) ^ (-(uint8(5) + (1058 + (1 + ((~uint8(5)) | (~1058))))))) + (2 * (((uint8(5) & 1058) + (uint8(5) | 1058)) & (-(uint8(5) + (1058 + (1 + ((~uint8(5)) | (~1058)))))))))) | (~((uint8(5) & ((1058 & ((1 & ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))) + (1 | ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))))) + (1058 | ((1 & ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))) + (1 | ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))))))) + (uint8(5) | ((1058 & ((1 & ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))) + (1 | ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))))) + (1058 | ((1 & ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))) + (1 | ((~uint8(5)) + ((~1058) + (1 + ((~(~uint8(5))) | (~(~1058))))))))))))))))))) == 1163 and ((((((((uint8(6) & 1223) + (uint8(6) | 1223)) ^ (-(uint8(6) + (1223 + (1 + ((~uint8(6)) | (~1223))))))) + (2 * (((uint8(6) & 1223) + (uint8(6) | 1223)) & (-(uint8(6) + (1223 + (1 + ((~uint8(6)) | (~1223))))))))) + ((uint8(6) & ((1223 & ((1 & ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))) + (1 | ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))))) + (1223 | ((1 & ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))) + (1 | ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))))))) + (uint8(6) | ((1223 & ((1 & ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))) + (1 | ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))))) + (1223 | ((1 & ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))) + (1 | ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))))))))) - (((((uint8(6) & 1223) + (uint8(6) | 1223)) ^ (-(uint8(6) + (1223 + (1 + ((~uint8(6)) | (~1223))))))) + (2 * (((uint8(6) & 1223) + (uint8(6) | 1223)) & (-(uint8(6) + (1223 + (1 + ((~uint8(6)) | (~1223))))))))) | ((uint8(6) & ((1223 & ((1 & ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))) + (1 | ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))))) + (1223 | ((1 & ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))) + (1 | ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))))))) + (uint8(6) | ((1223 & ((1 & ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))) + (1 | ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))))) + (1223 | ((1 & ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))) + (1 | ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223)))))))))))))) & (((((uint8(6) & 1223) + (uint8(6) | 1223)) ^ (-(uint8(6) + (1223 + (1 + ((~uint8(6)) | (~1223))))))) + (2 * (((uint8(6) & 1223) + (uint8(6) | 1223)) & (-(uint8(6) + (1223 + (1 + ((~uint8(6)) | (~1223))))))))) + (((uint8(6) & ((1223 & ((1 & ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))) + (1 | ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))))) + (1223 | ((1 & ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))) + (1 | ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))))))) + (uint8(6) | ((1223 & ((1 & ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))) + (1 | ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))))) + (1223 | ((1 & ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))) + (1 | ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223)))))))))))) + (1 + ((~((((uint8(6) & 1223) + (uint8(6) | 1223)) ^ (-(uint8(6) + (1223 + (1 + ((~uint8(6)) | (~1223))))))) + (2 * (((uint8(6) & 1223) + (uint8(6) | 1223)) & (-(uint8(6) + (1223 + (1 + ((~uint8(6)) | (~1223)))))))))) | (~((uint8(6) & ((1223 & ((1 & ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))) + (1 | ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))))) + (1223 | ((1 & ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))) + (1 | ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))))))) + (uint8(6) | ((1223 & ((1 & ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))) + (1 | ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))))) + (1223 | ((1 & ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))) + (1 | ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223)))))))))))))))))) + (((((((uint8(6) & 1223) + (uint8(6) | 1223)) ^ (-(uint8(6) + (1223 + (1 + ((~uint8(6)) | (~1223))))))) + (2 * (((uint8(6) & 1223) + (uint8(6) | 1223)) & (-(uint8(6) + (1223 + (1 + ((~uint8(6)) | (~1223))))))))) + ((uint8(6) & ((1223 & ((1 & ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))) + (1 | ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))))) + (1223 | ((1 & ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))) + (1 | ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))))))) + (uint8(6) | ((1223 & ((1 & ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))) + (1 | ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))))) + (1223 | ((1 & ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))) + (1 | ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))))))))) - (((((uint8(6) & 1223) + (uint8(6) | 1223)) ^ (-(uint8(6) + (1223 + (1 + ((~uint8(6)) | (~1223))))))) + (2 * (((uint8(6) & 1223) + (uint8(6) | 1223)) & (-(uint8(6) + (1223 + (1 + ((~uint8(6)) | (~1223))))))))) | ((uint8(6) & ((1223 & ((1 & ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))) + (1 | ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))))) + (1223 | ((1 & ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))) + (1 | ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))))))) + (uint8(6) | ((1223 & ((1 & ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))) + (1 | ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))))) + (1223 | ((1 & ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))) + (1 | ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223)))))))))))))) | (((((uint8(6) & 1223) + (uint8(6) | 1223)) ^ (-(uint8(6) + (1223 + (1 + ((~uint8(6)) | (~1223))))))) + (2 * (((uint8(6) & 1223) + (uint8(6) | 1223)) & (-(uint8(6) + (1223 + (1 + ((~uint8(6)) | (~1223))))))))) + (((uint8(6) & ((1223 & ((1 & ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))) + (1 | ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))))) + (1223 | ((1 & ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))) + (1 | ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))))))) + (uint8(6) | ((1223 & ((1 & ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))) + (1 | ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))))) + (1223 | ((1 & ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))) + (1 | ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223)))))))))))) + (1 + ((~((((uint8(6) & 1223) + (uint8(6) | 1223)) ^ (-(uint8(6) + (1223 + (1 + ((~uint8(6)) | (~1223))))))) + (2 * (((uint8(6) & 1223) + (uint8(6) | 1223)) & (-(uint8(6) + (1223 + (1 + ((~uint8(6)) | (~1223)))))))))) | (~((uint8(6) & ((1223 & ((1 & ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))) + (1 | ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))))) + (1223 | ((1 & ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))) + (1 | ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))))))) + (uint8(6) | ((1223 & ((1 & ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))) + (1 | ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))))) + (1223 | ((1 & ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))) + (1 | ((~uint8(6)) + ((~1223) + (1 + ((~(~uint8(6))) | (~(~1223))))))))))))))))))) == 1333 and uint8(7) + 1979 == 2080 and uint8(8) + 1168 == 1284 and uint8(9) + 1533 == 1648 and uint8(10) + 1102 == 1225 and uint8(11) + 1244 == 1321 and uint8(12) + 1567 == 1616 and uint8(13) + 1150 == 1270 and uint8(14) + 1948 == 2049 and uint8(15) + 1145 == 1245 and uint8(16) + 1429 == 1524 and uint8(17) + 1871 == 1969 and uint8(18) + 1435 == 1483 and uint8(19) + 1715 == 1763 and uint8(20) + 1776 == 1884 and uint8(21) + 1332 == 1433 and uint8(22) + 1146 == 1198 and uint8(23) + 1751 == 1848 and ((((((((uint8(24) & 1068) + (uint8(24) | 1068)) ^ (-(uint8(24) + (1068 + (1 + ((~uint8(24)) | (~1068))))))) + (2 * (((uint8(24) & 1068) + (uint8(24) | 1068)) & (-(uint8(24) + (1068 + (1 + ((~uint8(24)) | (~1068))))))))) + ((uint8(24) & ((1068 & ((1 & ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))) + (1 | ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))))) + (1068 | ((1 & ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))) + (1 | ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))))))) + (uint8(24) | ((1068 & ((1 & ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))) + (1 | ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))))) + (1068 | ((1 & ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))) + (1 | ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))))))))) - (((((uint8(24) & 1068) + (uint8(24) | 1068)) ^ (-(uint8(24) + (1068 + (1 + ((~uint8(24)) | (~1068))))))) + (2 * (((uint8(24) & 1068) + (uint8(24) | 1068)) & (-(uint8(24) + (1068 + (1 + ((~uint8(24)) | (~1068))))))))) | ((uint8(24) & ((1068 & ((1 & ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))) + (1 | ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))))) + (1068 | ((1 & ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))) + (1 | ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))))))) + (uint8(24) | ((1068 & ((1 & ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))) + (1 | ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))))) + (1068 | ((1 & ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))) + (1 | ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068)))))))))))))) & (((((uint8(24) & 1068) + (uint8(24) | 1068)) ^ (-(uint8(24) + (1068 + (1 + ((~uint8(24)) | (~1068))))))) + (2 * (((uint8(24) & 1068) + (uint8(24) | 1068)) & (-(uint8(24) + (1068 + (1 + ((~uint8(24)) | (~1068))))))))) + (((uint8(24) & ((1068 & ((1 & ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))) + (1 | ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))))) + (1068 | ((1 & ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))) + (1 | ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))))))) + (uint8(24) | ((1068 & ((1 & ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))) + (1 | ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))))) + (1068 | ((1 & ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))) + (1 | ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068)))))))))))) + (1 + ((~((((uint8(24) & 1068) + (uint8(24) | 1068)) ^ (-(uint8(24) + (1068 + (1 + ((~uint8(24)) | (~1068))))))) + (2 * (((uint8(24) & 1068) + (uint8(24) | 1068)) & (-(uint8(24) + (1068 + (1 + ((~uint8(24)) | (~1068)))))))))) | (~((uint8(24) & ((1068 & ((1 & ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))) + (1 | ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))))) + (1068 | ((1 & ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))) + (1 | ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))))))) + (uint8(24) | ((1068 & ((1 & ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))) + (1 | ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))))) + (1068 | ((1 & ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))) + (1 | ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068)))))))))))))))))) + (((((((uint8(24) & 1068) + (uint8(24) | 1068)) ^ (-(uint8(24) + (1068 + (1 + ((~uint8(24)) | (~1068))))))) + (2 * (((uint8(24) & 1068) + (uint8(24) | 1068)) & (-(uint8(24) + (1068 + (1 + ((~uint8(24)) | (~1068))))))))) + ((uint8(24) & ((1068 & ((1 & ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))) + (1 | ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))))) + (1068 | ((1 & ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))) + (1 | ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))))))) + (uint8(24) | ((1068 & ((1 & ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))) + (1 | ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))))) + (1068 | ((1 & ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))) + (1 | ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))))))))) - (((((uint8(24) & 1068) + (uint8(24) | 1068)) ^ (-(uint8(24) + (1068 + (1 + ((~uint8(24)) | (~1068))))))) + (2 * (((uint8(24) & 1068) + (uint8(24) | 1068)) & (-(uint8(24) + (1068 + (1 + ((~uint8(24)) | (~1068))))))))) | ((uint8(24) & ((1068 & ((1 & ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))) + (1 | ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))))) + (1068 | ((1 & ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))) + (1 | ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))))))) + (uint8(24) | ((1068 & ((1 & ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))) + (1 | ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))))) + (1068 | ((1 & ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))) + (1 | ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068)))))))))))))) | (((((uint8(24) & 1068) + (uint8(24) | 1068)) ^ (-(uint8(24) + (1068 + (1 + ((~uint8(24)) | (~1068))))))) + (2 * (((uint8(24) & 1068) + (uint8(24) | 1068)) & (-(uint8(24) + (1068 + (1 + ((~uint8(24)) | (~1068))))))))) + (((uint8(24) & ((1068 & ((1 & ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))) + (1 | ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))))) + (1068 | ((1 & ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))) + (1 | ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))))))) + (uint8(24) | ((1068 & ((1 & ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))) + (1 | ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))))) + (1068 | ((1 & ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))) + (1 | ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068)))))))))))) + (1 + ((~((((uint8(24) & 1068) + (uint8(24) | 1068)) ^ (-(uint8(24) + (1068 + (1 + ((~uint8(24)) | (~1068))))))) + (2 * (((uint8(24) & 1068) + (uint8(24) | 1068)) & (-(uint8(24) + (1068 + (1 + ((~uint8(24)) | (~1068)))))))))) | (~((uint8(24) & ((1068 & ((1 & ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))) + (1 | ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))))) + (1068 | ((1 & ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))) + (1 | ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))))))) + (uint8(24) | ((1068 & ((1 & ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))) + (1 | ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))))) + (1068 | ((1 & ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))) + (1 | ((~uint8(24)) + ((~1068) + (1 + ((~(~uint8(24))) | (~(~1068))))))))))))))))))) == 1178 and uint8(25) - 3859 == -3764 and uint8(26) - 3401 == -3336 and uint8(27) - 3797 == -3683 and uint8(28) - 3382 == -3333 and uint8(29) - 3841 == -3725 and uint8(30) - 3585 == -3481 and uint8(31) - 3518 == -3409 and uint8(32) - 3555 == -3454 and uint8(33) - 3485 == -3369 and uint8(34) - 3424 == -3319 and uint8(35) - 3367 == -3268 and uint8(36) - 3505 == -3410 and uint8(37) - 3792 == -3689 and uint8(38) - 3328 == -3217 and uint8(39) - 3085 == -2984 and uint8(40) - 3481 == -3366 and uint8(41) - 3037 == -2922 and uint8(42) - 3207 == -3092 and uint8(43) - 3016 == -2921 and uint8(44) - 3517 == -3402 and uint8(45) - 3012 == -2905 and (((((((uint8(46) + ((-3523) + (1 + ((~uint8(46)) | (~(-3523)))))) ^ (-((uint8(46) + (-3523)) - (uint8(46) | (-3523))))) + (2 * ((uint8(46) + ((-3523) + (1 + ((~uint8(46)) | (~(-3523)))))) & (-((uint8(46) + (-3523)) - (uint8(46) | (-3523))))))) + (2 * ((((uint8(46) & (-3523)) + (uint8(46) | (-3523))) ^ (-(uint8(46) + ((-3523) + (1 + ((~uint8(46)) | (~(-3523)))))))) + (2 * (((uint8(46) & (-3523)) + (uint8(46) | (-3523))) & (-(uint8(46) + ((-3523) + (1 + ((~uint8(46)) | (~(-3523)))))))))))) - ((((uint8(46) + ((-3523) + (1 + ((~uint8(46)) | (~(-3523)))))) ^ (-((uint8(46) + (-3523)) - (uint8(46) | (-3523))))) + (2 * ((uint8(46) + ((-3523) + (1 + ((~uint8(46)) | (~(-3523)))))) & (-((uint8(46) + (-3523)) - (uint8(46) | (-3523))))))) | (2 * ((((uint8(46) & (-3523)) + (uint8(46) | (-3523))) ^ (-(uint8(46) + ((-3523) + (1 + ((~uint8(46)) | (~(-3523)))))))) + (2 * (((uint8(46) & (-3523)) + (uint8(46) | (-3523))) & (-(uint8(46) + ((-3523) + (1 + ((~uint8(46)) | (~(-3523))))))))))))) & ((((uint8(46) + ((-3523) + (1 + ((~uint8(46)) | (~(-3523)))))) ^ (-((uint8(46) + (-3523)) - (uint8(46) | (-3523))))) + (2 * ((uint8(46) + ((-3523) + (1 + ((~uint8(46)) | (~(-3523)))))) & (-((uint8(46) + (-3523)) - (uint8(46) | (-3523))))))) + ((2 * ((((uint8(46) & (-3523)) + (uint8(46) | (-3523))) ^ (-(uint8(46) + ((-3523) + (1 + ((~uint8(46)) | (~(-3523)))))))) + (2 * (((uint8(46) & (-3523)) + (uint8(46) | (-3523))) & (-(uint8(46) + ((-3523) + (1 + ((~uint8(46)) | (~(-3523))))))))))) + (1 + ((~(((uint8(46) + ((-3523) + (1 + ((~uint8(46)) | (~(-3523)))))) ^ (-((uint8(46) + (-3523)) - (uint8(46) | (-3523))))) + (2 * ((uint8(46) + ((-3523) + (1 + ((~uint8(46)) | (~(-3523)))))) & (-((uint8(46) + (-3523)) - (uint8(46) | (-3523)))))))) | (~(2 * ((((uint8(46) & (-3523)) + (uint8(46) | (-3523))) ^ (-(uint8(46) + ((-3523) + (1 + ((~uint8(46)) | (~(-3523)))))))) + (2 * (((uint8(46) & (-3523)) + (uint8(46) | (-3523))) & (-(uint8(46) + ((-3523) + (1 + ((~uint8(46)) | (~(-3523))))))))))))))))) + ((((((uint8(46) + ((-3523) + (1 + ((~uint8(46)) | (~(-3523)))))) ^ (-((uint8(46) + (-3523)) - (uint8(46) | (-3523))))) + (2 * ((uint8(46) + ((-3523) + (1 + ((~uint8(46)) | (~(-3523)))))) & (-((uint8(46) + (-3523)) - (uint8(46) | (-3523))))))) + (2 * ((((uint8(46) & (-3523)) + (uint8(46) | (-3523))) ^ (-(uint8(46) + ((-3523) + (1 + ((~uint8(46)) | (~(-3523)))))))) + (2 * (((uint8(46) & (-3523)) + (uint8(46) | (-3523))) & (-(uint8(46) + ((-3523) + (1 + ((~uint8(46)) | (~(-3523)))))))))))) - ((((uint8(46) + ((-3523) + (1 + ((~uint8(46)) | (~(-3523)))))) ^ (-((uint8(46) + (-3523)) - (uint8(46) | (-3523))))) + (2 * ((uint8(46) + ((-3523) + (1 + ((~uint8(46)) | (~(-3523)))))) & (-((uint8(46) + (-3523)) - (uint8(46) | (-3523))))))) | (2 * ((((uint8(46) & (-3523)) + (uint8(46) | (-3523))) ^ (-(uint8(46) + ((-3523) + (1 + ((~uint8(46)) | (~(-3523)))))))) + (2 * (((uint8(46) & (-3523)) + (uint8(46) | (-3523))) & (-(uint8(46) + ((-3523) + (1 + ((~uint8(46)) | (~(-3523))))))))))))) | ((((uint8(46) + ((-3523) + (1 + ((~uint8(46)) | (~(-3523)))))) ^ (-((uint8(46) + (-3523)) - (uint8(46) | (-3523))))) + (2 * ((uint8(46) + ((-3523) + (1 + ((~uint8(46)) | (~(-3523)))))) & (-((uint8(46) + (-3523)) - (uint8(46) | (-3523))))))) + ((2 * ((((uint8(46) & (-3523)) + (uint8(46) | (-3523))) ^ (-(uint8(46) + ((-3523) + (1 + ((~uint8(46)) | (~(-3523)))))))) + (2 * (((uint8(46) & (-3523)) + (uint8(46) | (-3523))) & (-(uint8(46) + ((-3523) + (1 + ((~uint8(46)) | (~(-3523))))))))))) + (1 + ((~(((uint8(46) + ((-3523) + (1 + ((~uint8(46)) | (~(-3523)))))) ^ (-((uint8(46) + (-3523)) - (uint8(46) | (-3523))))) + (2 * ((uint8(46) + ((-3523) + (1 + ((~uint8(46)) | (~(-3523)))))) & (-((uint8(46) + (-3523)) - (uint8(46) | (-3523)))))))) | (~(2 * ((((uint8(46) & (-3523)) + (uint8(46) | (-3523))) ^ (-(uint8(46) + ((-3523) + (1 + ((~uint8(46)) | (~(-3523)))))))) + (2 * (((uint8(46) & (-3523)) + (uint8(46) | (-3523))) & (-(uint8(46) + ((-3523) + (1 + ((~uint8(46)) | (~(-3523)))))))))))))))))) == -3409 and uint8(51) - 3313 == -3199 and uint8(52) - 3903 == -3789 and
uint8(53) - 3198 == -3073 
}

Step 1: Understanding the YARA Rule

YARA rules match files based on strings and conditions. Here, the flag is explicitly defined as "Securinets{<REDACTED>}", indicating it’s embedded in the file. The conditions constrain specific bytes:

  • MD5 Hashes:

    • hash.md5(11, 2) == "f31e1eef20f64733a18c538073e78396"

    • hash.md5(29, 2) == "1fdc0f893412ce55f0d2811821b84d3b"

    • hash.md5(31, 2) == "ab86a1e1ef70dff97959067b723c5c24"

    • hash.md5(39, 2) == "12470fe406d44017d96eab37dd65fc14"

  • Arithmetic Examples:

    • uint8(7) + 1979 == 2080 → uint8(7) = 101 (e).

    • uint8(47) - 3551 == -3437 → uint8(47) = 114 (r).

  • Bitwise Example:

    • uint8(0): ((uint8(0) & 1101) + (uint8(0) | 1101)) == 1184.

    • uint8(46): A complex expression equaling -3409.

The file must be 54 bytes long, and the flag likely spans from byte 0 to 53, with <REDACTED> being the payload between { and the closing }.

Step 2: Initial Analysis

Prefix and Suffix

  • Bytes 0-10: "Securinets{" (11 bytes).

    • S(83), e(101), c(99), u(117), r(114), i(105), n(110), e(101), t(116), s(115), {(123).

    • Byte 0 check: (83 & 1101) = 81, (83 | 1101) = 1103, 81 + 1103 = 1184. Matches.

  • Bytes 47-53: "rrrrrr}" (from arithmetic).

    • 47: 114 (r), 48: 114 (r), ..., 53: 125 (}).

Middle Section

  • Bytes 11-46 (36 bytes) contain <REDACTED>, constrained by arithmetic, MD5s, and bitwise operations.

  • Goal: Fill these bytes to form a meaningful flag.

Step 3: Solving the Conditions

Arithmetic Conditions

Using the provided script, we calculate bytes based on subtraction:

  • flag[7] = chr(2080 - 1979) = 'e' (101)

  • flag[11] = chr(1321 - 1244) = 'M' (77)

  • flag[23] = chr(1848 - 1751) = 'a' (97) (later adjusted).

  • flag[24] = chr(1852 - 1755) = 'a' (97) (later adjusted).

  • flag[47] = chr(3551 - 3437) = 'r' (114)

This gives a partial flag: "Securinets{M1xed_b00le4a...rrrrrr}".

Bitwise Condition (Byte 46)

The function solve_uint8_46() solves:

c = -3523
target = -3409
for x in range(256):
    a = x + (c + (1 + ((~x) | (~c))))
    b = -((x + c) - (x | c))
    d = (x & c) + (x | c)
    e = -(x + (c + (1 + ((~x) | (~c)))))
    f = a ^ b
    g = a & b
    h = d ^ e
    i = d & e
    result = (f + (2 * g)) + (2 * (h + (2 * i)))
    if result == target:
        return x  # Returns 107 ('k')

  • Byte 46 = k (107).

MD5 Hashes

MD5s override arithmetic at specific offsets:

  • 11-12: "f31e1eef..." → e.g., "ya" (121, 97).

  • 29-30: "1fdc0f89..." → "th" (116, 104).

  • 31-32: "ab86a1e1..." → "me" (109, 101).

  • 39-40: "12470fe4..." → "es" (101, 115).

Initial script ignored these, causing discrepancies.

Step 4: Constructing the Flag

First Attempt

Using only arithmetic:

  • "Securinets{M1xed_b00le4an_Ar1thmetic_goesss_skrrrrrrr}".

  • Issue: Index 23 (a) should be n, and index 24 (a) should be _ for "b00le4n_".

Adjustments

  • Index 23: chr(1848 - 1751) = 'a', but flag needs 'n' (110). Override manually.

  • Index 24: chr(1852 - 1755) = 'a', but needs '_' (95). Override, suggesting a rule typo (+ 1757 == 1852 would give 95).

MD5 Conflict

  • Bytes 11-12 (M1) don’t match MD5 ("ya"). The arithmetic-derived flag seems intended, possibly ignoring MD5s as a distraction.

Final Script

def solve_uint8_46():
    c = -3523
    target = -3409
    for x in range(256):
        a = x + (c + (1 + ((~x) | (~c))))
        b = -((x + c) - (x | c))
        d = (x & c) + (x | c)
        e = -(x + (c + (1 + ((~x) | (~c)))))
        f = a ^ b
        g = a & b
        h = d ^ e
        i = d & e
        result = (f + (2 * g)) + (2 * (h + (2 * i)))
        if result == target:
            return x
    return None

def solve():
    flag = list("Securinets????????????????????????????????????????????")
    
    # Arithmetic conditions
    arithmetic = {
        7: 2080 - 1979, 8: 1284 - 1168, 9: 1648 - 1533, 10: 1225 - 1102,
        11: 1321 - 1244, 12: 1616 - 1567, 13: 1270 - 1150, 14: 2049 - 1948,
        15: 1245 - 1145, 16: 1524 - 1429, 17: 1969 - 1871, 18: 1483 - 1435,
        19: 1763 - 1715, 20: 1884 - 1776, 21: 1433 - 1332, 22: 1198 - 1146,
        23: 1848 - 1751, 24: 1852 - 1755, 25: 3859 - 3764, 26: 3401 - 3336,
        27: 3797 - 3683, 28: 3382 - 3333, 29: 3841 - 3725, 30: 3585 - 3481,
        31: 3518 - 3409, 32: 3555 - 3454, 33: 3485 - 3369, 34: 3424 - 3319,
        35: 3367 - 3268, 36: 3505 - 3410, 37: 3792 - 3689, 38: 3328 - 3217,
        39: 3085 - 2984, 40: 3481 - 3366, 41: 3037 - 2922, 42: 3207 - 3092,
        43: 3016 - 2921, 44: 3517 - 3402, 45: 3012 - 2905, 47: 3551 - 3437,
        48: 3773 - 3659, 49: 3208 - 3094, 50: 3330 - 3216, 51: 3313 - 3199,
        52: 3903 - 3789, 53: 3198 - 3073,
    }
    for idx, val in arithmetic.items():
        flag[idx] = chr(val)
    
    # Byte 46
    flag[46] = chr(solve_uint8_46())
    
    # Fix flag-specific bytes
    flag[24] = 'n'  # Correct separator Guessed
    
    print("Flag:", "".join(flag))

solve()

# Output --> Securinets{M1xed_b00le4an_Ar1thmetic_goesss_skrrrrrrr}
# the 'n' is guessed

PreviousRevNextCrypto

Last updated

Was this helpful?