// File: syusui-s[P]old_rpn_language/./element.h
// Function: is_op(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>)
bool is_op(std::string input){
	std::string op[]={
		// 二項演算子
		"+","-","*","/","mod",
		// 単項演算子
		"abs","pm","1/x","inv",
		// 指数関数
		"pow","^2","^3","sqrt","cbrt",
		// 対数関数
		"lg","ln","log",
		// 三角関数
		"sin","cos","tan","csc","sec","cot",
		// IO
		"print"
	};
	unsigned int i,n=sizeof(op)/sizeof(op[0]);

	for(i=0;i<n;i++){
		if(input==op[i]) return true;
	}

	return false;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x500, %rsp            # imm = 0x500
movq %rdi, -0x368(%rbp)
movq %rdi, -0x10(%rbp)
movb $0x1, -0x344(%rbp)
leaq -0x310(%rbp), %rax
movq %rax, -0x360(%rbp)
movq %rax, -0x318(%rbp)
leaq -0x319(%rbp), %rdi
movq %rdi, -0x358(%rbp)
callq 0x33c0
movq -0x360(%rbp), %rdi
movq -0x358(%rbp), %rdx
leaq 0x5b9d(%rip), %rsi      # 0xa107
callq 0x9180
jmp 0x4571
leaq -0x2f0(%rbp), %rax
movq %rax, -0x378(%rbp)
movq %rax, -0x318(%rbp)
leaq -0x32d(%rbp), %rdi
movq %rdi, -0x370(%rbp)
callq 0x33c0
movq -0x378(%rbp), %rdi
movq -0x370(%rbp), %rdx
leaq 0x5b5b(%rip), %rsi      # 0xa109
callq 0x9180
jmp 0x45b5
leaq -0x2d0(%rbp), %rax
movq %rax, -0x388(%rbp)
movq %rax, -0x318(%rbp)
leaq -0x32e(%rbp), %rdi
movq %rdi, -0x380(%rbp)
callq 0x33c0
movq -0x388(%rbp), %rdi
movq -0x380(%rbp), %rdx
leaq 0x5b19(%rip), %rsi      # 0xa10b
callq 0x9180
jmp 0x45f9
leaq -0x2b0(%rbp), %rax
movq %rax, -0x398(%rbp)
movq %rax, -0x318(%rbp)
leaq -0x32f(%rbp), %rdi
movq %rdi, -0x390(%rbp)
callq 0x33c0
movq -0x398(%rbp), %rdi
movq -0x390(%rbp), %rdx
leaq 0x5ad7(%rip), %rsi      # 0xa10d
callq 0x9180
jmp 0x463d
leaq -0x290(%rbp), %rax
movq %rax, -0x3a8(%rbp)
movq %rax, -0x318(%rbp)
leaq -0x330(%rbp), %rdi
movq %rdi, -0x3a0(%rbp)
callq 0x33c0
movq -0x3a8(%rbp), %rdi
movq -0x3a0(%rbp), %rdx
leaq 0x5a95(%rip), %rsi      # 0xa10f
callq 0x9180
jmp 0x4681
leaq -0x270(%rbp), %rax
movq %rax, -0x3b8(%rbp)
movq %rax, -0x318(%rbp)
leaq -0x331(%rbp), %rdi
movq %rdi, -0x3b0(%rbp)
callq 0x33c0
movq -0x3b8(%rbp), %rdi
movq -0x3b0(%rbp), %rdx
leaq 0x5a55(%rip), %rsi      # 0xa113
callq 0x9180
jmp 0x46c5
leaq -0x250(%rbp), %rax
movq %rax, -0x3c8(%rbp)
movq %rax, -0x318(%rbp)
leaq -0x332(%rbp), %rdi
movq %rdi, -0x3c0(%rbp)
callq 0x33c0
movq -0x3c8(%rbp), %rdi
movq -0x3c0(%rbp), %rdx
leaq 0x5a15(%rip), %rsi      # 0xa117
callq 0x9180
jmp 0x4709
leaq -0x230(%rbp), %rax
movq %rax, -0x3d8(%rbp)
movq %rax, -0x318(%rbp)
leaq -0x333(%rbp), %rdi
movq %rdi, -0x3d0(%rbp)
callq 0x33c0
movq -0x3d8(%rbp), %rdi
movq -0x3d0(%rbp), %rdx
leaq 0x59d4(%rip), %rsi      # 0xa11a
callq 0x9180
jmp 0x474d
leaq -0x210(%rbp), %rax
movq %rax, -0x3e8(%rbp)
movq %rax, -0x318(%rbp)
leaq -0x334(%rbp), %rdi
movq %rdi, -0x3e0(%rbp)
callq 0x33c0
movq -0x3e8(%rbp), %rdi
movq -0x3e0(%rbp), %rdx
leaq 0x5994(%rip), %rsi      # 0xa11e
callq 0x9180
jmp 0x4791
leaq -0x1f0(%rbp), %rax
movq %rax, -0x3f8(%rbp)
movq %rax, -0x318(%rbp)
leaq -0x335(%rbp), %rdi
movq %rdi, -0x3f0(%rbp)
callq 0x33c0
movq -0x3f8(%rbp), %rdi
movq -0x3f0(%rbp), %rdx
leaq 0x5954(%rip), %rsi      # 0xa122
callq 0x9180
jmp 0x47d5
leaq -0x1d0(%rbp), %rax
movq %rax, -0x408(%rbp)
movq %rax, -0x318(%rbp)
leaq -0x336(%rbp), %rdi
movq %rdi, -0x400(%rbp)
callq 0x33c0
movq -0x408(%rbp), %rdi
movq -0x400(%rbp), %rdx
leaq 0x5914(%rip), %rsi      # 0xa126
callq 0x9180
jmp 0x4819
leaq -0x1b0(%rbp), %rax
movq %rax, -0x418(%rbp)
movq %rax, -0x318(%rbp)
leaq -0x337(%rbp), %rdi
movq %rdi, -0x410(%rbp)
callq 0x33c0
movq -0x418(%rbp), %rdi
movq -0x410(%rbp), %rdx
leaq 0x58d3(%rip), %rsi      # 0xa129
callq 0x9180
jmp 0x485d
leaq -0x190(%rbp), %rax
movq %rax, -0x428(%rbp)
movq %rax, -0x318(%rbp)
leaq -0x338(%rbp), %rdi
movq %rdi, -0x420(%rbp)
callq 0x33c0
movq -0x428(%rbp), %rdi
movq -0x420(%rbp), %rdx
leaq 0x5892(%rip), %rsi      # 0xa12c
callq 0x9180
jmp 0x48a1
leaq -0x170(%rbp), %rax
movq %rax, -0x438(%rbp)
movq %rax, -0x318(%rbp)
leaq -0x339(%rbp), %rdi
movq %rdi, -0x430(%rbp)
callq 0x33c0
movq -0x438(%rbp), %rdi
movq -0x430(%rbp), %rdx
leaq 0x5853(%rip), %rsi      # 0xa131
callq 0x9180
jmp 0x48e5
leaq -0x150(%rbp), %rax
movq %rax, -0x448(%rbp)
movq %rax, -0x318(%rbp)
leaq -0x33a(%rbp), %rdi
movq %rdi, -0x440(%rbp)
callq 0x33c0
movq -0x448(%rbp), %rdi
movq -0x440(%rbp), %rdx
leaq 0x5814(%rip), %rsi      # 0xa136
callq 0x9180
jmp 0x4929
leaq -0x130(%rbp), %rax
movq %rax, -0x458(%rbp)
movq %rax, -0x318(%rbp)
leaq -0x33b(%rbp), %rdi
movq %rdi, -0x450(%rbp)
callq 0x33c0
movq -0x458(%rbp), %rdi
movq -0x450(%rbp), %rdx
leaq 0x57d3(%rip), %rsi      # 0xa139
callq 0x9180
jmp 0x496d
leaq -0x110(%rbp), %rax
movq %rax, -0x468(%rbp)
movq %rax, -0x318(%rbp)
leaq -0x33c(%rbp), %rdi
movq %rdi, -0x460(%rbp)
callq 0x33c0
movq -0x468(%rbp), %rdi
movq -0x460(%rbp), %rdx
leaq 0x5792(%rip), %rsi      # 0xa13c
callq 0x9180
jmp 0x49b1
leaq -0xf0(%rbp), %rax
movq %rax, -0x478(%rbp)
movq %rax, -0x318(%rbp)
leaq -0x33d(%rbp), %rdi
movq %rdi, -0x470(%rbp)
callq 0x33c0
movq -0x478(%rbp), %rdi
movq -0x470(%rbp), %rdx
leaq 0x5752(%rip), %rsi      # 0xa140
callq 0x9180
jmp 0x49f5
leaq -0xd0(%rbp), %rax
movq %rax, -0x488(%rbp)
movq %rax, -0x318(%rbp)
leaq -0x33e(%rbp), %rdi
movq %rdi, -0x480(%rbp)
callq 0x33c0
movq -0x488(%rbp), %rdi
movq -0x480(%rbp), %rdx
leaq 0x5712(%rip), %rsi      # 0xa144
callq 0x9180
jmp 0x4a39
leaq -0xb0(%rbp), %rax
movq %rax, -0x498(%rbp)
movq %rax, -0x318(%rbp)
leaq -0x33f(%rbp), %rdi
movq %rdi, -0x490(%rbp)
callq 0x33c0
movq -0x498(%rbp), %rdi
movq -0x490(%rbp), %rdx
leaq 0x56d2(%rip), %rsi      # 0xa148
callq 0x9180
jmp 0x4a7d
leaq -0x90(%rbp), %rax
movq %rax, -0x4a8(%rbp)
movq %rax, -0x318(%rbp)
leaq -0x340(%rbp), %rdi
movq %rdi, -0x4a0(%rbp)
callq 0x33c0
movq -0x4a8(%rbp), %rdi
movq -0x4a0(%rbp), %rdx
leaq 0x5692(%rip), %rsi      # 0xa14c
callq 0x9180
jmp 0x4ac1
leaq -0x70(%rbp), %rax
movq %rax, -0x4b8(%rbp)
movq %rax, -0x318(%rbp)
leaq -0x341(%rbp), %rdi
movq %rdi, -0x4b0(%rbp)
callq 0x33c0
movq -0x4b8(%rbp), %rdi
movq -0x4b0(%rbp), %rdx
leaq 0x5655(%rip), %rsi      # 0xa150
callq 0x9180
jmp 0x4b02
leaq -0x50(%rbp), %rax
movq %rax, -0x4c8(%rbp)
movq %rax, -0x318(%rbp)
leaq -0x342(%rbp), %rdi
movq %rdi, -0x4c0(%rbp)
callq 0x33c0
movq -0x4c8(%rbp), %rdi
movq -0x4c0(%rbp), %rdx
leaq 0x5618(%rip), %rsi      # 0xa154
callq 0x9180
jmp 0x4b43
leaq -0x30(%rbp), %rax
movq %rax, -0x4d8(%rbp)
movq %rax, -0x318(%rbp)
leaq -0x343(%rbp), %rdi
movq %rdi, -0x4d0(%rbp)
callq 0x33c0
movq -0x4d8(%rbp), %rdi
movq -0x4d0(%rbp), %rdx
leaq 0x55db(%rip), %rsi      # 0xa158
callq 0x9180
jmp 0x4b84
movb $0x0, -0x344(%rbp)
leaq -0x343(%rbp), %rdi
callq 0x3280
leaq -0x342(%rbp), %rdi
callq 0x3280
leaq -0x341(%rbp), %rdi
callq 0x3280
leaq -0x340(%rbp), %rdi
callq 0x3280
leaq -0x33f(%rbp), %rdi
callq 0x3280
leaq -0x33e(%rbp), %rdi
callq 0x3280
leaq -0x33d(%rbp), %rdi
callq 0x3280
leaq -0x33c(%rbp), %rdi
callq 0x3280
leaq -0x33b(%rbp), %rdi
callq 0x3280
leaq -0x33a(%rbp), %rdi
callq 0x3280
leaq -0x339(%rbp), %rdi
callq 0x3280
leaq -0x338(%rbp), %rdi
callq 0x3280
leaq -0x337(%rbp), %rdi
callq 0x3280
leaq -0x336(%rbp), %rdi
callq 0x3280
leaq -0x335(%rbp), %rdi
callq 0x3280
leaq -0x334(%rbp), %rdi
callq 0x3280
leaq -0x333(%rbp), %rdi
callq 0x3280
leaq -0x332(%rbp), %rdi
callq 0x3280
leaq -0x331(%rbp), %rdi
callq 0x3280
leaq -0x330(%rbp), %rdi
callq 0x3280
leaq -0x32f(%rbp), %rdi
callq 0x3280
leaq -0x32e(%rbp), %rdi
callq 0x3280
leaq -0x32d(%rbp), %rdi
callq 0x3280
leaq -0x319(%rbp), %rdi
callq 0x3280
movl $0x18, -0x34c(%rbp)
movl $0x0, -0x348(%rbp)
movl -0x348(%rbp), %eax
cmpl -0x34c(%rbp), %eax
jae 0x50b4
movq -0x368(%rbp), %rdi
movl -0x348(%rbp), %eax
leaq -0x310(%rbp), %rsi
shlq $0x5, %rax
addq %rax, %rsi
callq 0x9230
testb $0x1, %al
jne 0x4cfa
jmp 0x509e
movb $0x1, -0x1(%rbp)
movl $0x1, -0x350(%rbp)
jmp 0x50c2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x328(%rbp)
movl %eax, -0x32c(%rbp)
jmp 0x5038
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x328(%rbp)
movl %eax, -0x32c(%rbp)
jmp 0x502c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x328(%rbp)
movl %eax, -0x32c(%rbp)
jmp 0x5020
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x328(%rbp)
movl %eax, -0x32c(%rbp)
jmp 0x5014
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x328(%rbp)
movl %eax, -0x32c(%rbp)
jmp 0x5008
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x328(%rbp)
movl %eax, -0x32c(%rbp)
jmp 0x4ffc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x328(%rbp)
movl %eax, -0x32c(%rbp)
jmp 0x4ff0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x328(%rbp)
movl %eax, -0x32c(%rbp)
jmp 0x4fe4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x328(%rbp)
movl %eax, -0x32c(%rbp)
jmp 0x4fd8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x328(%rbp)
movl %eax, -0x32c(%rbp)
jmp 0x4fcc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x328(%rbp)
movl %eax, -0x32c(%rbp)
jmp 0x4fc0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x328(%rbp)
movl %eax, -0x32c(%rbp)
jmp 0x4fb4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x328(%rbp)
movl %eax, -0x32c(%rbp)
jmp 0x4fa8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x328(%rbp)
movl %eax, -0x32c(%rbp)
jmp 0x4f9c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x328(%rbp)
movl %eax, -0x32c(%rbp)
jmp 0x4f90
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x328(%rbp)
movl %eax, -0x32c(%rbp)
jmp 0x4f84
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x328(%rbp)
movl %eax, -0x32c(%rbp)
jmp 0x4f78
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x328(%rbp)
movl %eax, -0x32c(%rbp)
jmp 0x4f6c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x328(%rbp)
movl %eax, -0x32c(%rbp)
jmp 0x4f60
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x328(%rbp)
movl %eax, -0x32c(%rbp)
jmp 0x4f54
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x328(%rbp)
movl %eax, -0x32c(%rbp)
jmp 0x4f48
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x328(%rbp)
movl %eax, -0x32c(%rbp)
jmp 0x4f3c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x328(%rbp)
movl %eax, -0x32c(%rbp)
jmp 0x4f30
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x328(%rbp)
movl %eax, -0x32c(%rbp)
leaq -0x343(%rbp), %rdi
callq 0x3280
leaq -0x342(%rbp), %rdi
callq 0x3280
leaq -0x341(%rbp), %rdi
callq 0x3280
leaq -0x340(%rbp), %rdi
callq 0x3280
leaq -0x33f(%rbp), %rdi
callq 0x3280
leaq -0x33e(%rbp), %rdi
callq 0x3280
leaq -0x33d(%rbp), %rdi
callq 0x3280
leaq -0x33c(%rbp), %rdi
callq 0x3280
leaq -0x33b(%rbp), %rdi
callq 0x3280
leaq -0x33a(%rbp), %rdi
callq 0x3280
leaq -0x339(%rbp), %rdi
callq 0x3280
leaq -0x338(%rbp), %rdi
callq 0x3280
leaq -0x337(%rbp), %rdi
callq 0x3280
leaq -0x336(%rbp), %rdi
callq 0x3280
leaq -0x335(%rbp), %rdi
callq 0x3280
leaq -0x334(%rbp), %rdi
callq 0x3280
leaq -0x333(%rbp), %rdi
callq 0x3280
leaq -0x332(%rbp), %rdi
callq 0x3280
leaq -0x331(%rbp), %rdi
callq 0x3280
leaq -0x330(%rbp), %rdi
callq 0x3280
leaq -0x32f(%rbp), %rdi
callq 0x3280
leaq -0x32e(%rbp), %rdi
callq 0x3280
leaq -0x32d(%rbp), %rdi
callq 0x3280
leaq -0x319(%rbp), %rdi
callq 0x3280
testb $0x1, -0x344(%rbp)
jne 0x504f
jmp 0x509c
movq -0x318(%rbp), %rax
leaq -0x310(%rbp), %rcx
cmpq %rax, %rcx
movq %rax, -0x4e0(%rbp)
je 0x509a
movq -0x4e0(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0x4e8(%rbp)
callq 0x3448
movq -0x4e8(%rbp), %rax
leaq -0x310(%rbp), %rcx
cmpq %rcx, %rax
movq %rax, -0x4e0(%rbp)
jne 0x5069
jmp 0x509c
jmp 0x511c
jmp 0x50a0
movl -0x348(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x348(%rbp)
jmp 0x4cbf
movb $0x0, -0x1(%rbp)
movl $0x1, -0x350(%rbp)
leaq -0x310(%rbp), %rax
movq %rax, -0x4f8(%rbp)
addq $0x300, %rax            # imm = 0x300
movq %rax, -0x4f0(%rbp)
movq -0x4f0(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0x500(%rbp)
callq 0x3448
movq -0x4f8(%rbp), %rcx
movq -0x500(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x4f0(%rbp)
jne 0x50dd
movb -0x1(%rbp), %al
andb $0x1, %al
addq $0x500, %rsp            # imm = 0x500
popq %rbp
retq
movq -0x328(%rbp), %rdi
callq 0x33b0
nopl (%rax,%rax)