#include <stdio.h>
#include <stdlib.h>

void _ctx_iface(__int128 s, int i) {
  int c = (((s & ((__int128)0x1FULL << i * 5)) >> i * 5) + 65);
  printf("%c", c);
 }

int main() {
  for (int i=0; i<17; i++) {
     _ctx_iface(0x79481E6BBCC01223 + ((__int128)0x1222DC << 64), i);
  }
}