// File: /workspace/github_cpp_makefile_star2_O3/mirkat1206[P]Quine-McCluskey-Petrick-Method/Petrick_Method.cpp
// Function: Petrick_Method::Petrick_Method(std::vector<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::allocator<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>>&, std::vector<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::allocator<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>>&)
Petrick_Method::Petrick_Method(vector<string> &Prime_Impli, vector<string> &On_Set) {
	int size1 = On_Set.size(), size2 = Prime_Impli.size() ;
	for( int i=0 ; i<size1 ; i++ ) {
		vector<string> sum;
		for( int j=0 ; j<size2 ; j++ ) {
			if( is_On_in_Prime_Impli( On_Set[i] , Prime_Impli[j] ) )
				sum.push_back( Prime_Impli[j] ) ;
		}
		POS.push_back( sum );
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x88, %rsp
leaq 0x38(%rdi), %rax
movl $0x0, 0x38(%rdi)
movq $0x0, 0x40(%rdi)
xorps %xmm0, %xmm0
movups %xmm0, (%rdi)
movups %xmm0, 0x10(%rdi)
movups %xmm0, 0x20(%rdi)
movq %rax, 0x48(%rdi)
movq %rax, 0x50(%rdi)
movups %xmm0, 0x58(%rdi)
movups %xmm0, 0x68(%rdi)
movq 0x8(%rdx), %rax
movq %rdx, -0x78(%rbp)
subq (%rdx), %rax
shrq $0x5, %rax
movq %rax, -0x40(%rbp)
testl %eax, %eax
jle 0x5e6b
movq %rsi, %r15
movq 0x8(%rsi), %rdx
subq (%rsi), %rdx
shrq $0x5, %rdx
movl $0x7fffffff, %eax       # imm = 0x7FFFFFFF
andq %rax, -0x40(%rbp)
movq %rdx, -0x68(%rbp)
andq %rax, %rdx
movq %rdx, -0x70(%rbp)
movq $0x0, -0x38(%rbp)
movq %rdi, -0x30(%rbp)
xorps %xmm0, %xmm0
movaps %xmm0, -0x90(%rbp)
movq $0x0, -0x80(%rbp)
cmpl $0x0, -0x68(%rbp)
jle 0x5e38
movq -0x38(%rbp), %r12
shlq $0x5, %r12
xorl %r13d, %r13d
movq -0x78(%rbp), %rax
movq (%rax), %rax
leaq -0x50(%rbp), %rcx
movq %rcx, -0x60(%rbp)
movq (%rax,%r12), %rsi
movq 0x8(%rax,%r12), %rdx
addq %rsi, %rdx
leaq -0x60(%rbp), %rdi
callq 0x3cbc
movq (%r15), %rax
movq %r13, %rbx
shlq $0x5, %rbx
leaq -0xa0(%rbp), %rcx
movq %rcx, -0xb0(%rbp)
movq (%rax,%rbx), %rsi
movq 0x8(%rax,%rbx), %rdx
addq %rsi, %rdx
leaq -0xb0(%rbp), %rdi
callq 0x3cbc
movq -0x58(%rbp), %rax
movq -0xb0(%rbp), %rdi
testl %eax, %eax
jle 0x5ddc
andl $0x7fffffff, %eax       # imm = 0x7FFFFFFF
movq -0x60(%rbp), %rcx
movq %rax, %rdx
negq %rdx
movl $0x1, %esi
xorl %r14d, %r14d
movb -0x1(%rdi,%rsi), %r8b
cmpb $0x2d, %r8b
je 0x5dc3
cmpb -0x1(%rcx,%rsi), %r8b
jne 0x5ddf
cmpq %rax, %rsi
setae %r14b
leaq (%rdx,%rsi), %r8
incq %r8
incq %rsi
cmpq $0x1, %r8
jne 0x5db1
jmp 0x5ddf
movb $0x1, %r14b
leaq -0xa0(%rbp), %rax
cmpq %rax, %rdi
je 0x5dfa
movq -0xa0(%rbp), %rsi
incq %rsi
callq 0x21d0
movq -0x60(%rbp), %rdi
leaq -0x50(%rbp), %rax
cmpq %rax, %rdi
je 0x5e13
movq -0x50(%rbp), %rsi
incq %rsi
callq 0x21d0
testb $0x1, %r14b
je 0x5e2b
addq (%r15), %rbx
leaq -0x90(%rbp), %rdi
movq %rbx, %rsi
callq 0x3c70
incq %r13
cmpq -0x70(%rbp), %r13
jne 0x5d37
movq -0x30(%rbp), %r12
movq %r12, %rdi
leaq -0x90(%rbp), %rbx
movq %rbx, %rsi
callq 0x6c8a
movq %rbx, %rdi
callq 0x2c02
movq -0x38(%rbp), %rcx
incq %rcx
movq %rcx, -0x38(%rbp)
cmpq -0x40(%rbp), %rcx
jne 0x5d10
addq $0x88, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
jmp 0x5ea7
movq %rax, %rbx
movq -0x60(%rbp), %rdi
leaq -0x50(%rbp), %rax
cmpq %rax, %rdi
je 0x5ea3
movq -0x50(%rbp), %rsi
incq %rsi
callq 0x21d0
jmp 0x5ea3
movq %rax, %rbx
movq -0x30(%rbp), %r12
leaq -0x90(%rbp), %rdi
callq 0x2c02
movq 0x60(%r12), %rdi
testq %rdi, %rdi
je 0x5eca
movq 0x70(%r12), %rsi
subq %rdi, %rsi
callq 0x21d0
leaq 0x18(%r12), %r14
leaq 0x30(%r12), %rdi
callq 0x2c70
movq %r14, %rdi
callq 0x6cc6
movq %r12, %rdi
callq 0x6d1c
movq %rbx, %rdi
callq 0x22e0
nop