// File: kage08[P]RegexLibrary/Resource.cpp
// Function: inputDFA()
NFA inputDFA(){
  int nS;
  std::vector<char> alpha;
  string line;
  cin>>nS;
  getline(cin,line);
  getline(cin,line);
  for(char c:line)
    if(!(c==' '||c=='\n')) alpha.push_back(c);
  NFA ans(nS,alpha);
  getline(cin,line);
  istringstream is {line};
  while(is>>nS){
    ans.acceptStates.insert(nS);
  }
  int p,q; char al;
  uLong ct=0;
  while((ct++)<ans.noStates*ans.alphabet.size() && cin>>p>>q>>al)
    ans.Trans[p].insert(make_pair(al,q));
  return ans;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x2d0, %rsp            # imm = 0x2D0
movq %rdi, -0x260(%rbp)
movq %rdi, %rax
movq %rax, -0x258(%rbp)
movq %rdi, -0x8(%rbp)
leaq -0x28(%rbp), %rdi
callq 0x5460
leaq -0x48(%rbp), %rdi
callq 0x22f0
movq 0x14f6f(%rip), %rdi     # 0x19fd8
leaq -0xc(%rbp), %rsi
callq 0x2130
jmp 0x5074
movq 0x14f5d(%rip), %rdi     # 0x19fd8
leaq -0x48(%rbp), %rsi
callq 0x2060
jmp 0x5086
movq 0x14f4b(%rip), %rdi     # 0x19fd8
leaq -0x48(%rbp), %rsi
callq 0x2060
jmp 0x5098
leaq -0x48(%rbp), %rax
movq %rax, -0x60(%rbp)
movq -0x60(%rbp), %rdi
callq 0x21a0
movq %rax, -0x68(%rbp)
movq -0x60(%rbp), %rdi
callq 0x2110
movq %rax, -0x70(%rbp)
leaq -0x68(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0x6030
testb $0x1, %al
jne 0x50cd
jmp 0x511c
leaq -0x68(%rbp), %rdi
callq 0x6070
movb (%rax), %al
movb %al, -0x71(%rbp)
movsbl -0x71(%rbp), %eax
cmpl $0x20, %eax
je 0x510f
movsbl -0x71(%rbp), %eax
cmpl $0xa, %eax
je 0x510f
leaq -0x28(%rbp), %rdi
leaq -0x71(%rbp), %rsi
callq 0x5f90
jmp 0x50fc
jmp 0x510f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x5400
jmp 0x5111
leaq -0x68(%rbp), %rdi
callq 0x6170
jmp 0x50ba
movq -0x260(%rbp), %rdi
movb $0x0, -0x72(%rbp)
movslq -0xc(%rbp), %rsi
leaq -0x28(%rbp), %rdx
callq 0x2570
jmp 0x5136
movq 0x14e9b(%rip), %rdi     # 0x19fd8
leaq -0x48(%rbp), %rsi
callq 0x2060
jmp 0x5148
leaq -0x1f8(%rbp), %rdi
leaq -0x48(%rbp), %rsi
movl $0x8, %edx
callq 0x2370
jmp 0x515f
jmp 0x5161
leaq -0x1f8(%rbp), %rdi
leaq -0xc(%rbp), %rsi
callq 0x2130
movq %rax, -0x268(%rbp)
jmp 0x517a
movq -0x268(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
callq 0x22c0
movb %al, -0x269(%rbp)
jmp 0x5198
movb -0x269(%rbp), %al
testb $0x1, %al
jne 0x51a4
jmp 0x5222
movq -0x260(%rbp), %rdi
addq $0x20, %rdi
movslq -0xc(%rbp), %rax
movq %rax, -0x200(%rbp)
leaq -0x200(%rbp), %rsi
callq 0x59b0
movb %dl, -0x279(%rbp)
movq %rax, -0x278(%rbp)
jmp 0x51d5
movb -0x279(%rbp), %al
movq -0x278(%rbp), %rcx
movq %rcx, -0x210(%rbp)
movb %al, -0x208(%rbp)
jmp 0x5161
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x53f4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x1f8(%rbp), %rdi
callq 0x20d0
jmp 0x53f4
movq $0x0, -0x228(%rbp)
movq -0x260(%rbp), %rdi
movq -0x228(%rbp), %rax
movq %rax, -0x288(%rbp)
addq $0x1, %rax
movq %rax, -0x228(%rbp)
movq (%rdi), %rax
movq %rax, -0x290(%rbp)
addq $0x50, %rdi
callq 0x6520
movq -0x290(%rbp), %rdx
movq -0x288(%rbp), %rcx
imulq %rax, %rdx
xorl %eax, %eax
cmpq %rdx, %rcx
movb %al, -0x27a(%rbp)
jae 0x5303
movq 0x14d4e(%rip), %rdi     # 0x19fd8
leaq -0x214(%rbp), %rsi
callq 0x2130
movq %rax, -0x298(%rbp)
jmp 0x529f
movq -0x298(%rbp), %rdi
leaq -0x218(%rbp), %rsi
callq 0x2130
movq %rax, -0x2a0(%rbp)
jmp 0x52bb
movq -0x2a0(%rbp), %rdi
leaq -0x219(%rbp), %rsi
callq 0x22e0
movq %rax, -0x2a8(%rbp)
jmp 0x52d7
movq -0x2a8(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
callq 0x22c0
movb %al, -0x2a9(%rbp)
jmp 0x52f5
movb -0x2a9(%rbp), %al
movb %al, -0x27a(%rbp)
jmp 0x5303
movb -0x27a(%rbp), %al
testb $0x1, %al
jne 0x5312
jmp 0x53b0
movq -0x260(%rbp), %rdi
addq $0x8, %rdi
movslq -0x214(%rbp), %rsi
callq 0x5a00
movq %rax, -0x2c0(%rbp)
leaq -0x219(%rbp), %rdi
leaq -0x218(%rbp), %rsi
callq 0x64c0
movq %rax, -0x2b8(%rbp)
jmp 0x534c
movq -0x2b8(%rbp), %rax
movq %rax, -0x240(%rbp)
leaq -0x238(%rbp), %rdi
leaq -0x240(%rbp), %rsi
callq 0x64f0
jmp 0x536f
movq -0x2c0(%rbp), %rdi
leaq -0x238(%rbp), %rsi
callq 0x5a20
movb %dl, -0x2c9(%rbp)
movq %rax, -0x2c8(%rbp)
jmp 0x5391
movb -0x2c9(%rbp), %al
movq -0x2c8(%rbp), %rcx
movq %rcx, -0x250(%rbp)
movb %al, -0x248(%rbp)
jmp 0x522d
movb $0x1, -0x72(%rbp)
leaq -0x1f8(%rbp), %rdi
callq 0x20d0
testb $0x1, -0x72(%rbp)
jne 0x53d2
movq -0x260(%rbp), %rdi
callq 0x5aa0
leaq -0x48(%rbp), %rdi
callq 0x2140
leaq -0x28(%rbp), %rdi
callq 0x5840
movq -0x258(%rbp), %rax
addq $0x2d0, %rsp            # imm = 0x2D0
popq %rbp
retq
movq -0x260(%rbp), %rdi
callq 0x5aa0
leaq -0x48(%rbp), %rdi
callq 0x2140
leaq -0x28(%rbp), %rdi
callq 0x5840
movq -0x50(%rbp), %rdi
callq 0x2380
nopl (%rax,%rax)