#include <stdio.h>
#include <stdint.h>

int main(void) {
__asmb_line_1:;
	int32_t __asmb_reg_diff = 32;
__asmb_line_2:;
	int32_t __asmb_reg_seq0 = 72;
__asmb_line_3:;
	int32_t __asmb_reg_seq1 = 69;
__asmb_line_4:;
	int32_t __asmb_reg_seq23 = 76;
__asmb_line_5:;
	int32_t __asmb_reg_seq4 = 79;
__asmb_line_6:;
	int32_t __asmb_reg_seq5 = 87;
__asmb_line_7:;
	int32_t __asmb_reg_seq6 = __asmb_reg_seq4;
__asmb_line_8:;
	int32_t __asmb_reg_seq7 = 82;
__asmb_line_9:;
	int32_t __asmb_reg_seq8 = 76;
__asmb_line_10:;
	int32_t __asmb_reg_seq9 = 68;
__asmb_line_11:;
	printf("%c", __asmb_reg_seq0);
__asmb_line_12:;
	__asmb_reg_seq1 += __asmb_reg_diff;
__asmb_line_13:;
	printf("%c", __asmb_reg_seq1);
__asmb_line_14:;
	printf("%c", __asmb_reg_seq23);
__asmb_line_15:;
	printf("%c", __asmb_reg_seq23);
__asmb_line_16:;
	__asmb_reg_seq4 += __asmb_reg_diff;
__asmb_line_17:;
	printf("%c", __asmb_reg_seq4);
__asmb_line_18:;
	printf("%c", 32);
__asmb_line_19:;
	printf("%c", __asmb_reg_seq5);
__asmb_line_20:;
	__asmb_reg_seq6 += __asmb_reg_diff;
__asmb_line_21:;
	printf("%c", __asmb_reg_seq6);
__asmb_line_22:;
	printf("%c", __asmb_reg_seq7);
__asmb_line_23:;
	__asmb_reg_seq8 += __asmb_reg_diff;
__asmb_line_24:;
	printf("%c", __asmb_reg_seq8);
__asmb_line_25:;
	printf("%c", __asmb_reg_seq9);
return 0;
}