// File: /workspace/github_cpp_makefile_star2_O1/kage08[P]RegexLibrary/Resource.cpp
// Function: NFA::step(std::set<unsigned long long, std::less<unsigned long long>, std::allocator<unsigned long long>>&, char)
set<uLong> NFA::step(set<uLong>& initS, char alpha){
  set<uLong> finalS;
  if(alpha=='@') finalS=initS;
  for(uLong u:initS){
    set<uLong> temp;
    for(auto pb:Trans[u]){
      if(pb.first==alpha){
        finalS.insert(pb.second);
        temp.insert(pb.second);
      }
    }
    while(!(temp.size()==0)){
      int v=(*(temp.begin()));
      temp.erase(temp.begin());
      for(auto pb:Trans[v]){
        if(pb.first=='@' && finalS.find(pb.second)==finalS.end()){
          temp.insert(pb.second);finalS.insert(pb.second);}
      }
    }
  }
  return finalS;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x68, %rsp
movq %rdx, %r15
movq %rsi, 0x20(%rsp)
movq %rdi, %rbx
leaq 0x8(%rdi), %rbp
movl $0x0, 0x8(%rdi)
xorl %eax, %eax
movq %rax, 0x10(%rdi)
movq %rbp, 0x18(%rdi)
movq %rbp, 0x20(%rdi)
movq %rax, 0x28(%rdi)
movl %ecx, 0x1c(%rsp)
cmpb $0x40, %cl
jne 0x27d2
movq %rbx, %rdi
movq %r15, %rsi
callq 0x48a0
movq 0x18(%r15), %rax
addq $0x8, %r15
cmpq %r15, %rax
je 0x2965
leaq 0x8(%rsp), %r14
leaq 0x38(%rsp), %r12
movq %r15, 0x28(%rsp)
movq %rax, 0x30(%rsp)
movq 0x20(%rax), %rax
movl $0x0, 0x40(%rsp)
xorl %edx, %edx
movq %rdx, 0x48(%rsp)
leaq 0x40(%rsp), %rcx
movq %rcx, 0x50(%rsp)
movq %rcx, 0x58(%rsp)
movq %rdx, 0x60(%rsp)
movq 0x20(%rsp), %rcx
movq 0x8(%rcx), %rcx
leaq (%rax,%rax,2), %rax
shlq $0x4, %rax
leaq (%rcx,%rax), %r15
addq $0x8, %r15
movq 0x10(%r15), %r13
cmpq %r15, %r13
je 0x2939
movups 0x20(%r13), %xmm0
movaps %xmm0, (%rsp)
movl 0x1c(%rsp), %eax
cmpb %al, (%rsp)
jne 0x2870
movq %rbx, %rdi
leaq 0x8(%rsp), %rsi
callq 0x56ba
movq %r12, %rdi
leaq 0x8(%rsp), %rsi
callq 0x56ba
movq %r13, %rdi
callq 0x21b0
movq %rax, %r13
cmpq %r15, %rax
jne 0x2844
jmp 0x2939
movq 0x50(%rsp), %rsi
movq 0x20(%rsi), %r15
movq %r12, %rdi
callq 0x5764
movslq %r15d, %rax
movq 0x20(%rsp), %rcx
movq 0x8(%rcx), %rcx
leaq (%rax,%rax,2), %rax
shlq $0x4, %rax
leaq (%rcx,%rax), %r15
addq $0x8, %r15
movq 0x10(%r15), %r13
cmpq %r15, %r13
je 0x2939
movups 0x20(%r13), %xmm0
movaps %xmm0, (%rsp)
cmpb $0x40, (%rsp)
jne 0x2929
movq 0x10(%rbx), %rcx
movq %rbp, %rax
testq %rcx, %rcx
je 0x28f6
movq 0x8(%rsp), %rdx
movq %rbp, %rax
xorl %esi, %esi
cmpq %rdx, 0x20(%rcx)
setb %sil
cmovaeq %rcx, %rax
movq 0x10(%rcx,%rsi,8), %rcx
testq %rcx, %rcx
jne 0x28de
movq %rbp, %rcx
cmpq %rbp, %rax
je 0x290e
movq 0x8(%rsp), %rcx
cmpq 0x20(%rax), %rcx
cmovbq %rbp, %rax
movq %rax, %rcx
cmpq %rbp, %rcx
jne 0x2929
movq %r12, %rdi
movq %r14, %rsi
callq 0x56ba
movq %rbx, %rdi
movq %r14, %rsi
callq 0x56ba
movq %r13, %rdi
callq 0x21b0
movq %rax, %r13
cmpq %r15, %rax
jne 0x28bb
cmpq $0x0, 0x60(%rsp)
jne 0x2885
movq %r12, %rdi
callq 0x4850
movq 0x30(%rsp), %rdi
callq 0x21b0
movq 0x28(%rsp), %r15
cmpq %r15, %rax
jne 0x27f2
movq %rbx, %rax
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %r14
jmp 0x298d
jmp 0x2980
jmp 0x2980
movq %rax, %r14
leaq 0x38(%rsp), %rdi
callq 0x4850
movq %rbx, %rdi
callq 0x4850
movq %r14, %rdi
callq 0x2270