// File: /workspace/github_cpp_makefile_star2_O3/davinash[P]regex/src/regex.cpp
// Function: RegEx::PrintTable(std::vector<RegExState*, std::allocator<RegExState*>>&)
void RegEx::PrintTable(Table &table) {
	std::string TableString;
	for(int i = 0; i < (int)table.size(); ++i) {
		RegExState *pState = table[i];
		if(pState->m_bAcceptingState) {
			TableString += "\t" + pState->getStringID() + "\t\n";
		}
	}
	TableString += "\n";
	for( int i = 0; i < (int)table.size(); ++i) {
		RegExState *pState = table[i];
		std::vector<RegExState*> State;
		pState->GetTransition(EPSILON, State);
		for(int j = 0; j < (int)State.size(); ++j) {
			TableString += "\t" + pState->getStringID() + " -> " + State[j]->getStringID();
			TableString += "\t[label = \"epsilon \"]\n";
		}
		std::set<char>::iterator iter;
		for(iter = m_InputSet.begin(); iter != m_InputSet.end(); ++iter) {
			pState->GetTransition(*iter, State);
			for(int j = 0; j < (int)State.size(); ++j) {
				TableString += "\t" + pState->getStringID() + " -> " + State[j]->getStringID();
				std::stringstream out;
				out << *iter;
				TableString += "\t[label = \"" + out.str() + " \"]\n";
			}
		}
	}
	std::cout << TableString;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x268, %rsp            # imm = 0x268
movq %rdi, 0xc8(%rsp)
leaq 0xb8(%rsp), %rax
movq %rax, -0x10(%rax)
movq $0x0, -0x8(%rax)
movb $0x0, (%rax)
movq (%rsi), %rax
movq %rsi, 0x98(%rsp)
movq 0x8(%rsi), %rcx
movq %rcx, %rdx
subq %rax, %rdx
shrq $0x3, %rdx
leaq 0x10(%rsp), %rbx
leaq 0x30(%rsp), %r15
testl %edx, %edx
jle 0x6fe3
xorl %ebp, %ebp
leaq 0x20(%rsp), %r14
movq %rsp, %r12
leaq 0xa8(%rsp), %r13
movq (%rax,%rbp,8), %rsi
cmpb $0x1, 0x6c(%rsi)
jne 0x6fca
movq %r14, %rdi
callq 0x968e
movl $0x1, %r8d
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
leaq 0x3747(%rip), %rcx      # 0xa5f0
callq 0x21a0
movq %rbx, (%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x6ecf
movq %rdx, (%rsp)
movq (%rcx), %rdx
movq %rdx, 0x10(%rsp)
jmp 0x6ed5
movups (%rcx), %xmm0
movups %xmm0, (%rbx)
movq 0x8(%rax), %rdx
movq %rdx, 0x8(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq %r12, %rdi
leaq 0x36fb(%rip), %rsi      # 0xa5f2
callq 0x2280
leaq 0xf0(%rsp), %rsi
movq %rsi, 0xe0(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x6f30
movq %rdx, 0xe0(%rsp)
movq (%rcx), %rdx
movq %rdx, 0xf0(%rsp)
jmp 0x6f36
movups (%rcx), %xmm0
movups %xmm0, (%rsi)
movq 0x8(%rax), %rdx
movq %rdx, 0xe8(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0xe0(%rsp), %rsi
movq 0xe8(%rsp), %rdx
movq %r13, %rdi
callq 0x2050
movq 0xe0(%rsp), %rdi
leaq 0xf0(%rsp), %rax
cmpq %rax, %rdi
je 0x6f8e
movq 0xf0(%rsp), %rsi
incq %rsi
callq 0x2160
movq (%rsp), %rdi
cmpq %rbx, %rdi
je 0x6fa4
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x2160
movq 0x20(%rsp), %rdi
cmpq %r15, %rdi
je 0x6fbb
movq 0x30(%rsp), %rsi
incq %rsi
callq 0x2160
movq 0x98(%rsp), %rcx
movq (%rcx), %rax
movq 0x8(%rcx), %rcx
incq %rbp
movq %rcx, %rdx
subq %rax, %rdx
shrq $0x3, %rdx
movslq %edx, %rdx
cmpq %rdx, %rbp
jl 0x6e7f
leaq 0x3609(%rip), %rsi      # 0xa5f3
leaq 0xa8(%rsp), %rdi
callq 0x2280
movq 0x98(%rsp), %rcx
movq (%rcx), %rax
movq 0x8(%rcx), %rcx
subq %rax, %rcx
shrq $0x3, %rcx
testl %ecx, %ecx
jle 0x7739
movq 0xc8(%rsp), %rcx
addq $0xd8, %rcx
movq %rcx, 0xd0(%rsp)
xorl %edx, %edx
leaq 0x78(%rsp), %r14
movq %rdx, 0xd8(%rsp)
movq (%rax,%rdx,8), %rdi
xorps %xmm0, %xmm0
movaps %xmm0, 0x60(%rsp)
movq $0x0, 0x70(%rsp)
movq %rdi, 0xa0(%rsp)
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
leaq 0x60(%rsp), %rdx
callq 0x9552
movq 0x60(%rsp), %rbp
movq 0x68(%rsp), %rax
subq %rbp, %rax
shrq $0x3, %rax
testl %eax, %eax
jle 0x72de
xorl %r12d, %r12d
movq %r14, %rdi
movq 0xa0(%rsp), %rsi
callq 0x968e
movl $0x1, %r8d
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
leaq 0x3549(%rip), %rcx      # 0xa5f0
callq 0x21a0
movq %r15, 0x20(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x70cf
movq %rdx, 0x20(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x30(%rsp)
jmp 0x70d6
movups (%rcx), %xmm0
movups %xmm0, (%r15)
leaq 0xf0(%rsp), %r13
movq 0x8(%rax), %rdx
movq %rdx, 0x28(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x20(%rsp), %rdi
leaq 0x34f3(%rip), %rsi      # 0xa5f5
callq 0x2280
movq %rbx, (%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x7128
movq %rdx, (%rsp)
movq (%rcx), %rdx
movq %rdx, 0x10(%rsp)
jmp 0x712e
movups (%rcx), %xmm0
movups %xmm0, (%rbx)
movq 0x8(%rax), %rdx
movq %rdx, 0x8(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x60(%rsp), %rax
movq (%rax,%r12,8), %rsi
leaq 0x40(%rsp), %rdi
callq 0x968e
movq (%rsp), %rcx
movl $0xf, %edi
cmpq %rbx, %rcx
je 0x716c
movq 0x10(%rsp), %rdi
movq 0x8(%rsp), %r8
movq 0x40(%rsp), %rsi
movq 0x48(%rsp), %rdx
leaq (%rdx,%r8), %rax
cmpq %rdi, %rax
jbe 0x719d
movl $0xf, %edi
leaq 0x50(%rsp), %r9
cmpq %r9, %rsi
je 0x7198
movq 0x50(%rsp), %rdi
cmpq %rdi, %rax
jbe 0x71a7
movq %rsp, %rdi
callq 0x2050
jmp 0x71b5
leaq 0x40(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x21a0
movq %r13, 0xe0(%rsp)
movq (%rax), %rdx
leaq 0x10(%rax), %rcx
cmpq %rcx, %rdx
je 0x71de
movq %rdx, 0xe0(%rsp)
movq (%rcx), %rdx
movq %rdx, 0xf0(%rsp)
jmp 0x71e6
movups (%rcx), %xmm0
movups %xmm0, (%r13)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0xe8(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
movq 0xe0(%rsp), %rsi
movq 0xe8(%rsp), %rdx
leaq 0xa8(%rsp), %rdi
callq 0x2050
movq 0xe0(%rsp), %rdi
cmpq %r13, %rdi
je 0x7240
movq 0xf0(%rsp), %rsi
incq %rsi
callq 0x2160
movq 0x40(%rsp), %rdi
leaq 0x50(%rsp), %rax
cmpq %rax, %rdi
je 0x725c
movq 0x50(%rsp), %rsi
incq %rsi
callq 0x2160
movq (%rsp), %rdi
cmpq %rbx, %rdi
je 0x7272
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x2160
movq 0x20(%rsp), %rdi
cmpq %r15, %rdi
je 0x7289
movq 0x30(%rsp), %rsi
incq %rsi
callq 0x2160
movq 0x78(%rsp), %rdi
leaq 0x88(%rsp), %rax
cmpq %rax, %rdi
je 0x72ab
movq 0x88(%rsp), %rsi
incq %rsi
callq 0x2160
leaq 0xa8(%rsp), %rdi
leaq 0x3340(%rip), %rsi      # 0xa5fa
callq 0x2280
incq %r12
movq 0x60(%rsp), %rbp
movq 0x68(%rsp), %rax
subq %rbp, %rax
shrq $0x3, %rax
cltq
cmpq %rax, %r12
jl 0x7083
movq 0xc8(%rsp), %rax
movq 0xe8(%rax), %r13
cmpq 0xd0(%rsp), %r13
je 0x76f7
movsbl 0x20(%r13), %esi
movq 0xa0(%rsp), %rdi
leaq 0x60(%rsp), %rdx
callq 0x9552
movq 0x60(%rsp), %rbp
movq 0x68(%rsp), %rax
subq %rbp, %rax
shrq $0x3, %rax
testl %eax, %eax
jle 0x76de
xorl %r12d, %r12d
movq %r14, %rdi
movq 0xa0(%rsp), %rsi
callq 0x968e
movl $0x1, %r8d
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
leaq 0x329e(%rip), %rcx      # 0xa5f0
callq 0x21a0
movq %r15, 0x20(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x737a
movq %rdx, 0x20(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x30(%rsp)
jmp 0x7381
movups (%rcx), %xmm0
movups %xmm0, (%r15)
leaq 0xf0(%rsp), %rbp
movq 0x8(%rax), %rdx
movq %rdx, 0x28(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x20(%rsp), %rdi
leaq 0x3248(%rip), %rsi      # 0xa5f5
callq 0x2280
movq %rbx, (%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x73d3
movq %rdx, (%rsp)
movq (%rcx), %rdx
movq %rdx, 0x10(%rsp)
jmp 0x73d9
movups (%rcx), %xmm0
movups %xmm0, (%rbx)
movq 0x8(%rax), %rdx
movq %rdx, 0x8(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x60(%rsp), %rax
movq (%rax,%r12,8), %rsi
leaq 0x40(%rsp), %rdi
callq 0x968e
movq (%rsp), %rcx
movl $0xf, %edi
cmpq %rbx, %rcx
je 0x7417
movq 0x10(%rsp), %rdi
movq 0x8(%rsp), %r8
movq 0x40(%rsp), %rsi
movq 0x48(%rsp), %rdx
leaq (%rdx,%r8), %rax
cmpq %rdi, %rax
jbe 0x7448
movl $0xf, %edi
leaq 0x50(%rsp), %r9
cmpq %r9, %rsi
je 0x7443
movq 0x50(%rsp), %rdi
cmpq %rdi, %rax
jbe 0x7452
movq %rsp, %rdi
callq 0x2050
jmp 0x7460
leaq 0x40(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x21a0
movq %rbp, 0xe0(%rsp)
movq (%rax), %rdx
leaq 0x10(%rax), %rcx
cmpq %rcx, %rdx
je 0x7489
movq %rdx, 0xe0(%rsp)
movq (%rcx), %rdx
movq %rdx, 0xf0(%rsp)
jmp 0x7490
movups (%rcx), %xmm0
movups %xmm0, (%rbp)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0xe8(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
movq 0xe0(%rsp), %rsi
movq 0xe8(%rsp), %rdx
leaq 0xa8(%rsp), %rdi
callq 0x2050
movq 0xe0(%rsp), %rdi
cmpq %rbp, %rdi
je 0x74ea
movq 0xf0(%rsp), %rsi
incq %rsi
callq 0x2160
movq 0x40(%rsp), %rdi
leaq 0x50(%rsp), %rax
cmpq %rax, %rdi
je 0x7506
movq 0x50(%rsp), %rsi
incq %rsi
callq 0x2160
movq (%rsp), %rdi
cmpq %rbx, %rdi
je 0x751c
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x2160
movq 0x20(%rsp), %rdi
cmpq %r15, %rdi
je 0x7533
movq 0x30(%rsp), %rsi
incq %rsi
callq 0x2160
movq 0x78(%rsp), %rdi
leaq 0x88(%rsp), %rax
cmpq %rax, %rdi
je 0x7555
movq 0x88(%rsp), %rsi
incq %rsi
callq 0x2160
leaq 0xe0(%rsp), %rdi
callq 0x20e0
movb 0x20(%r13), %al
movb %al, (%rsp)
movl $0x1, %edx
leaq 0xf0(%rsp), %rdi
movq %rsp, %rsi
callq 0x21b0
movq %r14, %rdi
leaq 0xf8(%rsp), %rsi
callq 0x2210
movl $0xb, %r8d
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
leaq 0x306f(%rip), %rcx      # 0xa611
callq 0x21a0
movq %r15, 0x20(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x75ca
movq %rdx, 0x20(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x30(%rsp)
jmp 0x75d1
movups (%rcx), %xmm0
movups %xmm0, (%r15)
movq 0x8(%rax), %rdx
movq %rdx, 0x28(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x20(%rsp), %rdi
leaq 0x3017(%rip), %rsi      # 0xa60c
callq 0x2280
movq %rbx, (%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x761b
movq %rdx, (%rsp)
movq (%rcx), %rdx
movq %rdx, 0x10(%rsp)
jmp 0x7621
movups (%rcx), %xmm0
movups %xmm0, (%rbx)
movq 0x8(%rax), %rdx
movq %rdx, 0x8(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
leaq 0xa8(%rsp), %rdi
callq 0x2050
movq (%rsp), %rdi
cmpq %rbx, %rdi
je 0x7665
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x2160
movq 0x20(%rsp), %rdi
cmpq %r15, %rdi
je 0x767c
movq 0x30(%rsp), %rsi
incq %rsi
callq 0x2160
movq 0x78(%rsp), %rdi
leaq 0x88(%rsp), %rax
cmpq %rax, %rdi
je 0x769e
movq 0x88(%rsp), %rsi
incq %rsi
callq 0x2160
leaq 0xe0(%rsp), %rdi
movq 0x6913(%rip), %rsi      # 0xdfc0
callq 0x2100
leaq 0x160(%rsp), %rdi
callq 0x2060
incq %r12
movq 0x60(%rsp), %rbp
movq 0x68(%rsp), %rax
subq %rbp, %rax
shrq $0x3, %rax
cltq
cmpq %rax, %r12
jl 0x732e
movq %r13, %rdi
callq 0x21c0
movq %rax, %r13
cmpq 0xd0(%rsp), %rax
jne 0x72fb
testq %rbp, %rbp
je 0x770c
movq 0x70(%rsp), %rsi
subq %rbp, %rsi
movq %rbp, %rdi
callq 0x2160
movq 0xd8(%rsp), %rdx
incq %rdx
movq 0x98(%rsp), %rcx
movq (%rcx), %rax
movq 0x8(%rcx), %rcx
subq %rax, %rcx
shrq $0x3, %rcx
movslq %ecx, %rcx
cmpq %rcx, %rdx
jl 0x7033
movq 0xa8(%rsp), %rsi
movq 0xb0(%rsp), %rdx
movq 0x6888(%rip), %rdi      # 0xdfd8
callq 0x21b0
movq 0xa8(%rsp), %rdi
leaq 0xb8(%rsp), %rax
cmpq %rax, %rdi
je 0x777a
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x2160
addq $0x268, %rsp            # imm = 0x268
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x778e
movq %rax, %r14
jmp 0x7983
movq %rax, %r14
jmp 0x77c3
movq %rax, %r14
movq 0xe0(%rsp), %rdi
leaq 0xf0(%rsp), %rax
cmpq %rax, %rdi
je 0x77c3
movq 0xf0(%rsp), %rsi
incq %rsi
callq 0x2160
movq (%rsp), %rdi
cmpq %rbx, %rdi
je 0x77de
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x2160
jmp 0x77de
movq %rax, %r14
movq 0x20(%rsp), %rdi
cmpq %r15, %rdi
je 0x7983
movq 0x30(%rsp), %rsi
incq %rsi
jmp 0x797e
jmp 0x7905
jmp 0x7905
jmp 0x7930
jmp 0x7905
jmp 0x7860
movq %rax, %r14
movq 0xe0(%rsp), %rdi
cmpq %r13, %rdi
jne 0x7849
jmp 0x78d1
jmp 0x7905
jmp 0x7872
jmp 0x78ce
movq %rax, %r14
jmp 0x7893
movq %rax, %r14
movq 0xe0(%rsp), %rdi
cmpq %rbp, %rdi
je 0x78d1
movq 0xf0(%rsp), %rsi
incq %rsi
callq 0x2160
jmp 0x78d1
jmp 0x790a
movq %rax, %r14
jmp 0x78ed
jmp 0x7905
movq %rax, %r14
jmp 0x78aa
movq %rax, %r14
jmp 0x794a
movq %rax, %r14
movq (%rsp), %rdi
cmpq %rbx, %rdi
je 0x7893
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x2160
movq 0x20(%rsp), %rdi
cmpq %r15, %rdi
je 0x78aa
movq 0x30(%rsp), %rsi
incq %rsi
callq 0x2160
movq 0x78(%rsp), %rdi
leaq 0x88(%rsp), %rax
cmpq %rax, %rdi
je 0x790d
movq 0x88(%rsp), %rsi
incq %rsi
callq 0x2160
jmp 0x790d
movq %rax, %r14
movq 0x40(%rsp), %rdi
leaq 0x50(%rsp), %rax
cmpq %rax, %rdi
je 0x78ed
movq 0x50(%rsp), %rsi
incq %rsi
callq 0x2160
movq (%rsp), %rdi
cmpq %rbx, %rdi
je 0x7933
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x2160
jmp 0x7933
movq %rax, %r14
jmp 0x796c
movq %rax, %r14
movq 0x66ac(%rip), %rsi      # 0xdfc0
leaq 0xe0(%rsp), %rdi
callq 0x2100
leaq 0x160(%rsp), %rdi
callq 0x2060
jmp 0x796c
movq %rax, %r14
movq 0x20(%rsp), %rdi
cmpq %r15, %rdi
je 0x794a
movq 0x30(%rsp), %rsi
incq %rsi
callq 0x2160
movq 0x78(%rsp), %rdi
leaq 0x88(%rsp), %rax
cmpq %rax, %rdi
je 0x796c
movq 0x88(%rsp), %rsi
incq %rsi
callq 0x2160
movq 0x60(%rsp), %rdi
testq %rdi, %rdi
je 0x7983
movq 0x70(%rsp), %rsi
subq %rdi, %rsi
callq 0x2160
movq 0xa8(%rsp), %rdi
leaq 0xb8(%rsp), %rax
cmpq %rax, %rdi
je 0x79a8
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x2160
movq %r14, %rdi
callq 0x2260