// File: /workspace/github_cpp_makefile_star2_O3/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 $0x1c8, %rsp            # imm = 0x1C8
movq %rsi, %r14
movq %rdi, %r15
leaq -0x29(%rbp), %rsi
callq 0x2260
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
testb $0x5, 0x20(%rax,%rcx)
jne 0x2b0c
leaq -0x1e8(%rbp), %r13
leaq 0x80(%r13), %rax
movq %rax, -0x60(%rbp)
leaq -0x54(%rbp), %rbx
leaq -0x29(%rbp), %r12
movzbl -0x29(%rbp), %eax
cmpl $0x68, %eax
jg 0x29f6
cmpl $0x2e, %eax
je 0x2aef
cmpl $0x64, %eax
jne 0x2b1e
leaq -0x40(%rbp), %rax
movq %rax, -0x50(%rbp)
movq $0x0, -0x48(%rbp)
movb $0x0, -0x40(%rbp)
movq %r13, %rdi
callq 0x2110
movq (%r15), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x21a0
movsbl %al, %edx
movq %r15, %rdi
leaq -0x50(%rbp), %rsi
callq 0x2310
movq (%r15), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x21a0
movsbl %al, %edx
movq %r15, %rdi
leaq -0x50(%rbp), %rsi
callq 0x2310
movq -0x50(%rbp), %rsi
movq -0x48(%rbp), %rdx
leaq -0x1d8(%rbp), %rdi
callq 0x2210
movq %r13, %rdi
movq %rbx, %rsi
callq 0x20f0
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
testb $0x5, 0x20(%rax,%rcx)
jne 0x2abe
movl -0x54(%rbp), %esi
movq %r14, %rdi
callq 0x2e7a
jmp 0x29cc
cmpl $0x6d, %eax
je 0x2a22
cmpl $0x69, %eax
jne 0x2b1e
movq %r15, %rdi
movq %r13, %rsi
callq 0x20f0
movl -0x1e8(%rbp), %esi
movq %r14, %rdi
callq 0x2e3c
jmp 0x2aef
leaq -0x40(%rbp), %rax
movq %rax, -0x50(%rbp)
movq $0x0, -0x48(%rbp)
movb $0x0, -0x40(%rbp)
movq %r13, %rdi
callq 0x2110
movq (%r15), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x21a0
movsbl %al, %edx
movq %r15, %rdi
leaq -0x50(%rbp), %rsi
callq 0x2310
movq (%r15), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x21a0
movsbl %al, %edx
movq %r15, %rdi
leaq -0x50(%rbp), %rsi
callq 0x2310
movq -0x50(%rbp), %rsi
movq -0x48(%rbp), %rdx
leaq -0x1d8(%rbp), %rdi
callq 0x2210
movq %r13, %rdi
movq %rbx, %rsi
callq 0x20f0
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
testb $0x5, 0x20(%rax,%rcx)
jne 0x2abe
movl -0x54(%rbp), %esi
movq %r14, %rdi
callq 0x2e44
jmp 0x2a98
movq %r13, %rdi
movq 0xa4e8(%rip), %rsi      # 0xcfb0
callq 0x2140
movq -0x60(%rbp), %rdi
callq 0x2090
movq -0x50(%rbp), %rdi
leaq -0x40(%rbp), %rax
cmpq %rax, %rdi
je 0x2aef
movq -0x40(%rbp), %rsi
incq %rsi
callq 0x21d0
movq %r15, %rdi
movq %r12, %rsi
callq 0x2260
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
testb $0x5, 0x20(%rax,%rcx)
je 0x2937
addq $0x1c8, %rsp            # imm = 0x1C8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0xa4cb(%rip), %rdi      # 0xcff0
leaq 0x65cb(%rip), %rsi      # 0x90f7
callq 0x21b0
movq %rax, %rdi
callq 0x20c0
movl $0xffffffff, %edi       # imm = 0xFFFFFFFF
callq 0x2230
jmp 0x2b45
movq %rax, %rbx
jmp 0x2b6f
jmp 0x2b50
jmp 0x2b50
jmp 0x2b50
movq %rax, %rbx
movq 0xa456(%rip), %rsi      # 0xcfb0
leaq -0x1e8(%rbp), %rdi
callq 0x2140
movq -0x60(%rbp), %rdi
callq 0x2090
movq -0x50(%rbp), %rdi
leaq -0x40(%rbp), %rax
cmpq %rax, %rdi
je 0x2b88
movq -0x40(%rbp), %rsi
incq %rsi
callq 0x21d0
movq %rbx, %rdi
callq 0x22e0