1 signed __int64 __fastcall sub_4006FD(__int64 a1)

 2 {

 3   signed int i; // [rsp+14h] [rbp-24h]

 4   const char *v3; // [rsp+18h] [rbp-20h]

 5   const char *v4; // [rsp+20h] [rbp-18h]

 6   const char *v5; // [rsp+28h] [rbp-10h]

 7

 8   v3 = "Dufhbmf";

 9   v4 = "pG`imos";

10   v5 = "ewUglpt";

11   for ( i = 0; i <= 11; ++i )

12   {

13     if ( (&v3)[i % 3][2 * (i / 3)] - *(char *)(i + a1) != 1 )

14       return 1LL;

15   }

16   return 0LL;

17 }

 1 v3 = "Dufhbmf";

 2 v4 = "pG`imos";

 3 v5 = "ewUglpt";

 4 v3=v3+v4+v5

 5 x=''

 6 for i in range(12):

 7   t=v3[(i%3)*7+(2*int(i/3))]

 8   x+=chr(ord(t)-1)

 9

10 print(x)