// File: /workspace/github_cpp_makefile_star2_O1/mirkat1206[P]Quine-McCluskey-Petrick-Method/main.cpp
// Function: Init(std::basic_ifstream<char, std::char_traits<char>>&, Quine_McCluskey&)
void Init(ifstream &fin, Quine_McCluskey &QM) {
	// input from a file
	char c;
	while( fin>> c ) {
		if( c=='.' )	
			continue;
		if( c=='i' ) {
			int n;
			fin>> n ;
			QM.Set_Num_Var(n);
		}
		else if( c=='m' ) {
			string s;
			stringstream ss;
			getline( fin , s );
			getline( fin , s );
			ss<< s ;
			int n;
			while( ss>> n ) 
				QM.Add_On_Set(n);
		}
		else if( c=='d' ) {
			string s;
			stringstream ss;
			getline( fin , s );
			getline( fin , s );
			ss<< s ;
			int n;
			while( ss>> n ) 
				QM.Add_DC_Set(n);
		}
		else {
			cerr<<"Wrong input format."<< endl;
			exit(-1);
		}
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x1b8, %rsp            # imm = 0x1B8
movq %rsi, %rbx
movq %rdi, %r14
leaq -0x29(%rbp), %rsi
callq 0x2260
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
testb $0x5, 0x20(%rax,%rcx)
jne 0x2b05
leaq -0x1e0(%rbp), %r12
leaq 0x80(%r12), %r13
leaq -0x54(%rbp), %r15
movzbl -0x29(%rbp), %eax
cmpl $0x68, %eax
jg 0x29ef
cmpl $0x2e, %eax
je 0x2ae7
cmpl $0x64, %eax
jne 0x2b17
leaq -0x40(%rbp), %rax
movq %rax, -0x50(%rbp)
movq $0x0, -0x48(%rbp)
movb $0x0, -0x40(%rbp)
movq %r12, %rdi
callq 0x2110
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x21a0
movsbl %al, %edx
movq %r14, %rdi
leaq -0x50(%rbp), %rsi
callq 0x2310
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x21a0
movsbl %al, %edx
movq %r14, %rdi
leaq -0x50(%rbp), %rsi
callq 0x2310
movq -0x50(%rbp), %rsi
movq -0x48(%rbp), %rdx
leaq -0x1d0(%rbp), %rdi
callq 0x2210
movq %r12, %rdi
movq %r15, %rsi
callq 0x20f0
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
testb $0x5, 0x20(%rax,%rcx)
jne 0x2ab7
movl -0x54(%rbp), %esi
movq %rbx, %rdi
callq 0x2e72
jmp 0x29c5
cmpl $0x6d, %eax
je 0x2a1b
cmpl $0x69, %eax
jne 0x2b17
movq %r14, %rdi
movq %r12, %rsi
callq 0x20f0
movl -0x1e0(%rbp), %esi
movq %rbx, %rdi
callq 0x2e34
jmp 0x2ae7
leaq -0x40(%rbp), %rax
movq %rax, -0x50(%rbp)
movq $0x0, -0x48(%rbp)
movb $0x0, -0x40(%rbp)
movq %r12, %rdi
callq 0x2110
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x21a0
movsbl %al, %edx
movq %r14, %rdi
leaq -0x50(%rbp), %rsi
callq 0x2310
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x21a0
movsbl %al, %edx
movq %r14, %rdi
leaq -0x50(%rbp), %rsi
callq 0x2310
movq -0x50(%rbp), %rsi
movq -0x48(%rbp), %rdx
leaq -0x1d0(%rbp), %rdi
callq 0x2210
movq %r12, %rdi
movq %r15, %rsi
callq 0x20f0
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
testb $0x5, 0x20(%rax,%rcx)
jne 0x2ab7
movl -0x54(%rbp), %esi
movq %rbx, %rdi
callq 0x2e3c
jmp 0x2a91
movq %r12, %rdi
movq 0xa4ef(%rip), %rsi      # 0xcfb0
callq 0x2140
movq %r13, %rdi
callq 0x2090
movq -0x50(%rbp), %rdi
leaq -0x40(%rbp), %rax
cmpq %rax, %rdi
je 0x2ae7
movq -0x40(%rbp), %rsi
incq %rsi
callq 0x21d0
movq %r14, %rdi
leaq -0x29(%rbp), %rsi
callq 0x2260
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
testb $0x5, 0x20(%rax,%rcx)
je 0x2930
addq $0x1b8, %rsp            # imm = 0x1B8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0xa4d2(%rip), %rdi      # 0xcff0
leaq 0x65d2(%rip), %rsi      # 0x90f7
callq 0x21b0
movq %rax, %rdi
callq 0x20c0
movl $0xffffffff, %edi       # imm = 0xFFFFFFFF
callq 0x2230
jmp 0x2b3e
movq %rax, %rbx
jmp 0x2b6b
jmp 0x2b49
jmp 0x2b49
jmp 0x2b49
movq %rax, %rbx
movq 0xa45d(%rip), %rsi      # 0xcfb0
leaq -0x1e0(%rbp), %rdi
callq 0x2140
leaq -0x160(%rbp), %rdi
callq 0x2090
movq -0x50(%rbp), %rdi
leaq -0x40(%rbp), %rax
cmpq %rax, %rdi
je 0x2b84
movq -0x40(%rbp), %rsi
incq %rsi
callq 0x21d0
movq %rbx, %rdi
callq 0x22e0