	.file	"26774.c"
	.intel_syntax noprefix
	.text
	.globl	s_intersect
	.type	s_intersect, @function
s_intersect:
.LFB0:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	DWORD PTR -4[rbp], edi
	mov	DWORD PTR -8[rbp], esi
	mov	eax, DWORD PTR -4[rbp]
	and	eax, DWORD PTR -8[rbp]
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE0:
	.size	s_intersect, .-s_intersect
	.globl	s_union
	.type	s_union, @function
s_union:
.LFB1:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	DWORD PTR -4[rbp], edi
	mov	DWORD PTR -8[rbp], esi
	mov	eax, DWORD PTR -4[rbp]
	or	eax, DWORD PTR -8[rbp]
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE1:
	.size	s_union, .-s_union
	.globl	s_diff
	.type	s_diff, @function
s_diff:
.LFB2:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	DWORD PTR -4[rbp], edi
	mov	DWORD PTR -8[rbp], esi
	mov	eax, DWORD PTR -8[rbp]
	not	eax
	and	eax, DWORD PTR -4[rbp]
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE2:
	.size	s_diff, .-s_diff
	.globl	s_comp
	.type	s_comp, @function
s_comp:
.LFB3:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	DWORD PTR -4[rbp], edi
	mov	eax, DWORD PTR -4[rbp]
	not	eax
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE3:
	.size	s_comp, .-s_comp
	.globl	s_equal
	.type	s_equal, @function
s_equal:
.LFB4:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	DWORD PTR -4[rbp], edi
	mov	DWORD PTR -8[rbp], esi
	mov	eax, DWORD PTR -4[rbp]
	cmp	eax, DWORD PTR -8[rbp]
	sete	al
	movzx	eax, al
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE4:
	.size	s_equal, .-s_equal
	.globl	s_subset
	.type	s_subset, @function
s_subset:
.LFB5:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	DWORD PTR -4[rbp], edi
	mov	DWORD PTR -8[rbp], esi
	mov	eax, DWORD PTR -8[rbp]
	not	eax
	and	eax, DWORD PTR -4[rbp]
	test	eax, eax
	sete	al
	movzx	eax, al
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE5:
	.size	s_subset, .-s_subset
	.globl	s_propsubset
	.type	s_propsubset, @function
s_propsubset:
.LFB6:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 8
	mov	DWORD PTR -4[rbp], edi
	mov	DWORD PTR -8[rbp], esi
	mov	edx, DWORD PTR -8[rbp]
	mov	eax, DWORD PTR -4[rbp]
	mov	esi, edx
	mov	edi, eax
	call	s_subset
	test	eax, eax
	je	.L14
	mov	edx, DWORD PTR -8[rbp]
	mov	eax, DWORD PTR -4[rbp]
	mov	esi, edx
	mov	edi, eax
	call	s_equal
	test	eax, eax
	jne	.L14
	mov	eax, 1
	jmp	.L16
.L14:
	mov	eax, 0
.L16:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE6:
	.size	s_propsubset, .-s_propsubset
	.globl	s_empty
	.type	s_empty, @function
s_empty:
.LFB7:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	DWORD PTR -4[rbp], edi
	cmp	DWORD PTR -4[rbp], 0
	sete	al
	movzx	eax, al
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE7:
	.size	s_empty, .-s_empty
	.globl	s_element_of
	.type	s_element_of, @function
s_element_of:
.LFB8:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	DWORD PTR -4[rbp], edi
	mov	DWORD PTR -8[rbp], esi
	mov	eax, DWORD PTR -8[rbp]
	mov	edx, 1
	mov	ecx, eax
	sal	edx, cl
	mov	eax, edx
	and	eax, DWORD PTR -4[rbp]
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE8:
	.size	s_element_of, .-s_element_of
	.globl	s_add
	.type	s_add, @function
s_add:
.LFB9:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	QWORD PTR -8[rbp], rdi
	mov	DWORD PTR -12[rbp], esi
	mov	rax, QWORD PTR -8[rbp]
	mov	edx, DWORD PTR [rax]
	mov	eax, DWORD PTR -12[rbp]
	mov	esi, 1
	mov	ecx, eax
	sal	esi, cl
	mov	eax, esi
	or	edx, eax
	mov	rax, QWORD PTR -8[rbp]
	mov	DWORD PTR [rax], edx
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE9:
	.size	s_add, .-s_add
	.globl	s_remove
	.type	s_remove, @function
s_remove:
.LFB10:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	QWORD PTR -8[rbp], rdi
	mov	DWORD PTR -12[rbp], esi
	mov	rax, QWORD PTR -8[rbp]
	mov	edx, DWORD PTR [rax]
	mov	eax, DWORD PTR -12[rbp]
	mov	esi, 1
	mov	ecx, eax
	sal	esi, cl
	mov	eax, esi
	not	eax
	and	edx, eax
	mov	rax, QWORD PTR -8[rbp]
	mov	DWORD PTR [rax], edx
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE10:
	.size	s_remove, .-s_remove
	.globl	s_num_elements
	.type	s_num_elements, @function
s_num_elements:
.LFB11:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	DWORD PTR -20[rbp], edi
	mov	DWORD PTR -4[rbp], 0
	jmp	.L24
.L26:
	mov	eax, DWORD PTR -20[rbp]
	and	eax, 1
	test	eax, eax
	je	.L25
	add	DWORD PTR -4[rbp], 1
.L25:
	shr	DWORD PTR -20[rbp]
.L24:
	cmp	DWORD PTR -20[rbp], 0
	jne	.L26
	mov	eax, DWORD PTR -4[rbp]
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE11:
	.size	s_num_elements, .-s_num_elements
	.globl	s_print
	.type	s_print, @function
s_print:
.LFB12:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 32
	mov	DWORD PTR -20[rbp], edi
	mov	DWORD PTR -4[rbp], 0
	jmp	.L29
.L32:
	mov	eax, DWORD PTR -20[rbp]
	and	eax, 1
	test	eax, eax
	je	.L30
	mov	eax, 49
	jmp	.L31
.L30:
	mov	eax, 48
.L31:
	mov	edi, eax
	call	putchar@PLT
	shr	DWORD PTR -20[rbp]
	add	DWORD PTR -4[rbp], 1
.L29:
	cmp	DWORD PTR -4[rbp], 31
	jle	.L32
	mov	edi, 10
	call	putchar@PLT
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE12:
	.size	s_print, .-s_print
	.section	.rodata
.LC0:
	.string	"the_stack_data/26774.c"
.LC1:
	.string	"s_empty(A) && s_empty(B)"
.LC2:
	.string	"s_element_of(A, i)"
.LC3:
	.string	"!s_element_of(A, i)"
.LC4:
	.string	"s_element_of(B, i)"
.LC5:
	.string	"!s_element_of(B, i)"
.LC6:
	.string	"!s_empty(A) && !s_empty(B)"
.LC7:
	.string	"A     = "
.LC8:
	.string	"B     = "
.LC9:
	.string	"A U B = "
.LC10:
	.string	"A ^ B = "
.LC11:
	.string	"A \\ B = "
.LC12:
	.string	"~A    = "
.LC13:
	.string	"|A|   = %d\n"
.LC14:
	.string	"|B|   = %d\n"
	.align 8
.LC15:
	.string	"s_num_elements(s_union(A, B)) == s_num_elements(A) + s_num_elements(B) - s_num_elements(s_intersect(A, B))"
.LC16:
	.string	"s_subset(A,A)"
.LC17:
	.string	"!s_propsubset(A,A)"
	.align 8
.LC18:
	.string	"s_subset(A, s_union(A, B)) && s_propsubset(A, s_union(A,B))"
.LC19:
	.string	"new A = "
	.text
	.globl	main
	.type	main, @function
main:
.LFB13:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	push	r12
	push	rbx
	sub	rsp, 32
	.cfi_offset 12, -24
	.cfi_offset 3, -32
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -24[rbp], rax
	xor	eax, eax
	mov	DWORD PTR -36[rbp], 0
	mov	DWORD PTR -32[rbp], 0
	mov	eax, DWORD PTR -36[rbp]
	mov	edi, eax
	call	s_empty
	test	eax, eax
	je	.L34
	mov	eax, DWORD PTR -32[rbp]
	mov	edi, eax
	call	s_empty
	test	eax, eax
	jne	.L57
.L34:
	lea	rcx, __PRETTY_FUNCTION__.0[rip]
	mov	edx, 100
	lea	rsi, .LC0[rip]
	lea	rdi, .LC1[rip]
	call	__assert_fail@PLT
.L57:
	mov	DWORD PTR -28[rbp], 0
	jmp	.L36
.L37:
	mov	edx, DWORD PTR -28[rbp]
	lea	rax, -36[rbp]
	mov	esi, edx
	mov	rdi, rax
	call	s_add
	add	DWORD PTR -28[rbp], 6
.L36:
	cmp	DWORD PTR -28[rbp], 31
	jle	.L37
	mov	DWORD PTR -28[rbp], 0
	jmp	.L38
.L39:
	mov	edx, DWORD PTR -28[rbp]
	lea	rax, -32[rbp]
	mov	esi, edx
	mov	rdi, rax
	call	s_add
	add	DWORD PTR -28[rbp], 4
.L38:
	cmp	DWORD PTR -28[rbp], 31
	jle	.L39
	mov	DWORD PTR -28[rbp], 0
	jmp	.L40
.L45:
	mov	ecx, DWORD PTR -28[rbp]
	movsx	rax, ecx
	imul	rax, rax, 715827883
	shr	rax, 32
	mov	esi, ecx
	sar	esi, 31
	mov	edx, eax
	sub	edx, esi
	mov	eax, edx
	add	eax, eax
	add	eax, edx
	add	eax, eax
	sub	ecx, eax
	mov	edx, ecx
	test	edx, edx
	jne	.L41
	mov	eax, DWORD PTR -36[rbp]
	mov	edx, DWORD PTR -28[rbp]
	mov	esi, edx
	mov	edi, eax
	call	s_element_of
	test	eax, eax
	jne	.L42
	lea	rcx, __PRETTY_FUNCTION__.0[rip]
	mov	edx, 110
	lea	rsi, .LC0[rip]
	lea	rdi, .LC2[rip]
	call	__assert_fail@PLT
.L41:
	mov	eax, DWORD PTR -36[rbp]
	mov	edx, DWORD PTR -28[rbp]
	mov	esi, edx
	mov	edi, eax
	call	s_element_of
	test	eax, eax
	je	.L42
	lea	rcx, __PRETTY_FUNCTION__.0[rip]
	mov	edx, 112
	lea	rsi, .LC0[rip]
	lea	rdi, .LC3[rip]
	call	__assert_fail@PLT
.L42:
	mov	eax, DWORD PTR -28[rbp]
	and	eax, 3
	test	eax, eax
	jne	.L43
	mov	eax, DWORD PTR -32[rbp]
	mov	edx, DWORD PTR -28[rbp]
	mov	esi, edx
	mov	edi, eax
	call	s_element_of
	test	eax, eax
	jne	.L44
	lea	rcx, __PRETTY_FUNCTION__.0[rip]
	mov	edx, 115
	lea	rsi, .LC0[rip]
	lea	rdi, .LC4[rip]
	call	__assert_fail@PLT
.L43:
	mov	eax, DWORD PTR -32[rbp]
	mov	edx, DWORD PTR -28[rbp]
	mov	esi, edx
	mov	edi, eax
	call	s_element_of
	test	eax, eax
	je	.L44
	lea	rcx, __PRETTY_FUNCTION__.0[rip]
	mov	edx, 117
	lea	rsi, .LC0[rip]
	lea	rdi, .LC5[rip]
	call	__assert_fail@PLT
.L44:
	add	DWORD PTR -28[rbp], 1
.L40:
	cmp	DWORD PTR -28[rbp], 31
	jle	.L45
	mov	eax, DWORD PTR -36[rbp]
	mov	edi, eax
	call	s_empty
	test	eax, eax
	jne	.L46
	mov	eax, DWORD PTR -32[rbp]
	mov	edi, eax
	call	s_empty
	test	eax, eax
	je	.L58
.L46:
	lea	rcx, __PRETTY_FUNCTION__.0[rip]
	mov	edx, 120
	lea	rsi, .LC0[rip]
	lea	rdi, .LC6[rip]
	call	__assert_fail@PLT
.L58:
	lea	rdi, .LC7[rip]
	mov	eax, 0
	call	printf@PLT
	mov	eax, DWORD PTR -36[rbp]
	mov	edi, eax
	call	s_print
	lea	rdi, .LC8[rip]
	mov	eax, 0
	call	printf@PLT
	mov	eax, DWORD PTR -32[rbp]
	mov	edi, eax
	call	s_print
	lea	rdi, .LC9[rip]
	mov	eax, 0
	call	printf@PLT
	mov	edx, DWORD PTR -32[rbp]
	mov	eax, DWORD PTR -36[rbp]
	mov	esi, edx
	mov	edi, eax
	call	s_union
	mov	edi, eax
	call	s_print
	lea	rdi, .LC10[rip]
	mov	eax, 0
	call	printf@PLT
	mov	edx, DWORD PTR -32[rbp]
	mov	eax, DWORD PTR -36[rbp]
	mov	esi, edx
	mov	edi, eax
	call	s_intersect
	mov	edi, eax
	call	s_print
	lea	rdi, .LC11[rip]
	mov	eax, 0
	call	printf@PLT
	mov	edx, DWORD PTR -32[rbp]
	mov	eax, DWORD PTR -36[rbp]
	mov	esi, edx
	mov	edi, eax
	call	s_diff
	mov	edi, eax
	call	s_print
	lea	rdi, .LC12[rip]
	mov	eax, 0
	call	printf@PLT
	mov	eax, DWORD PTR -36[rbp]
	mov	edi, eax
	call	s_comp
	mov	edi, eax
	call	s_print
	mov	eax, DWORD PTR -36[rbp]
	mov	edi, eax
	call	s_num_elements
	mov	esi, eax
	lea	rdi, .LC13[rip]
	mov	eax, 0
	call	printf@PLT
	mov	eax, DWORD PTR -32[rbp]
	mov	edi, eax
	call	s_num_elements
	mov	esi, eax
	lea	rdi, .LC14[rip]
	mov	eax, 0
	call	printf@PLT
	mov	edx, DWORD PTR -32[rbp]
	mov	eax, DWORD PTR -36[rbp]
	mov	esi, edx
	mov	edi, eax
	call	s_union
	mov	edi, eax
	call	s_num_elements
	mov	ebx, eax
	mov	eax, DWORD PTR -36[rbp]
	mov	edi, eax
	call	s_num_elements
	mov	r12d, eax
	mov	eax, DWORD PTR -32[rbp]
	mov	edi, eax
	call	s_num_elements
	add	r12d, eax
	mov	edx, DWORD PTR -32[rbp]
	mov	eax, DWORD PTR -36[rbp]
	mov	esi, edx
	mov	edi, eax
	call	s_intersect
	mov	edi, eax
	call	s_num_elements
	mov	edx, eax
	mov	eax, r12d
	sub	eax, edx
	cmp	ebx, eax
	je	.L48
	lea	rcx, __PRETTY_FUNCTION__.0[rip]
	mov	edx, 129
	lea	rsi, .LC0[rip]
	lea	rdi, .LC15[rip]
	call	__assert_fail@PLT
.L48:
	mov	edx, DWORD PTR -36[rbp]
	mov	eax, DWORD PTR -36[rbp]
	mov	esi, edx
	mov	edi, eax
	call	s_subset
	test	eax, eax
	jne	.L49
	lea	rcx, __PRETTY_FUNCTION__.0[rip]
	mov	edx, 132
	lea	rsi, .LC0[rip]
	lea	rdi, .LC16[rip]
	call	__assert_fail@PLT
.L49:
	mov	edx, DWORD PTR -36[rbp]
	mov	eax, DWORD PTR -36[rbp]
	mov	esi, edx
	mov	edi, eax
	call	s_propsubset
	test	eax, eax
	je	.L50
	lea	rcx, __PRETTY_FUNCTION__.0[rip]
	mov	edx, 133
	lea	rsi, .LC0[rip]
	lea	rdi, .LC17[rip]
	call	__assert_fail@PLT
.L50:
	mov	edx, DWORD PTR -32[rbp]
	mov	eax, DWORD PTR -36[rbp]
	mov	esi, edx
	mov	edi, eax
	call	s_union
	mov	edx, eax
	mov	eax, DWORD PTR -36[rbp]
	mov	esi, edx
	mov	edi, eax
	call	s_subset
	test	eax, eax
	je	.L51
	mov	edx, DWORD PTR -32[rbp]
	mov	eax, DWORD PTR -36[rbp]
	mov	esi, edx
	mov	edi, eax
	call	s_union
	mov	edx, eax
	mov	eax, DWORD PTR -36[rbp]
	mov	esi, edx
	mov	edi, eax
	call	s_propsubset
	test	eax, eax
	jne	.L59
.L51:
	lea	rcx, __PRETTY_FUNCTION__.0[rip]
	mov	edx, 134
	lea	rsi, .LC0[rip]
	lea	rdi, .LC18[rip]
	call	__assert_fail@PLT
.L59:
	mov	DWORD PTR -28[rbp], 0
	jmp	.L53
.L54:
	mov	edx, DWORD PTR -28[rbp]
	lea	rax, -36[rbp]
	mov	esi, edx
	mov	rdi, rax
	call	s_remove
	add	DWORD PTR -28[rbp], 4
.L53:
	cmp	DWORD PTR -28[rbp], 31
	jle	.L54
	lea	rdi, .LC19[rip]
	mov	eax, 0
	call	printf@PLT
	mov	eax, DWORD PTR -36[rbp]
	mov	edi, eax
	call	s_print
	mov	eax, 0
	mov	rbx, QWORD PTR -24[rbp]
	sub	rbx, QWORD PTR fs:40
	je	.L56
	call	__stack_chk_fail@PLT
.L56:
	add	rsp, 32
	pop	rbx
	pop	r12
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE13:
	.size	main, .-main
	.section	.rodata
	.type	__PRETTY_FUNCTION__.0, @object
	.size	__PRETTY_FUNCTION__.0, 5
__PRETTY_FUNCTION__.0:
	.string	"main"
	.ident	"GCC: (Ubuntu 10.5.0-1ubuntu1~20.04) 10.5.0"
	.section	.note.GNU-stack,"",@progbits
	.section	.note.gnu.property,"a"
	.align 8
	.long	 1f - 0f
	.long	 4f - 1f
	.long	 5
0:
	.string	 "GNU"
1:
	.align 8
	.long	 0xc0000002
	.long	 3f - 2f
2:
	.long	 0x3
3:
	.align 8
4:

	.arch armv5t
	.eabi_attribute 20, 1
	.eabi_attribute 21, 1
	.eabi_attribute 23, 3
	.eabi_attribute 24, 1
	.eabi_attribute 25, 1
	.eabi_attribute 26, 2
	.eabi_attribute 30, 6
	.eabi_attribute 34, 0
	.eabi_attribute 18, 4
	.file	"26774.c"
	.text
	.align	2
	.global	s_intersect
	.syntax unified
	.arm
	.fpu softvfp
	.type	s_intersect, %function
s_intersect:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	@ link register save eliminated.
	str	fp, [sp, #-4]!
	add	fp, sp, #0
	sub	sp, sp, #12
	str	r0, [fp, #-8]
	str	r1, [fp, #-12]
	ldr	r2, [fp, #-8]
	ldr	r3, [fp, #-12]
	and	r3, r3, r2
	mov	r0, r3
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
	.size	s_intersect, .-s_intersect
	.align	2
	.global	s_union
	.syntax unified
	.arm
	.fpu softvfp
	.type	s_union, %function
s_union:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	@ link register save eliminated.
	str	fp, [sp, #-4]!
	add	fp, sp, #0
	sub	sp, sp, #12
	str	r0, [fp, #-8]
	str	r1, [fp, #-12]
	ldr	r2, [fp, #-8]
	ldr	r3, [fp, #-12]
	orr	r3, r2, r3
	mov	r0, r3
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
	.size	s_union, .-s_union
	.align	2
	.global	s_diff
	.syntax unified
	.arm
	.fpu softvfp
	.type	s_diff, %function
s_diff:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	@ link register save eliminated.
	str	fp, [sp, #-4]!
	add	fp, sp, #0
	sub	sp, sp, #12
	str	r0, [fp, #-8]
	str	r1, [fp, #-12]
	ldr	r3, [fp, #-12]
	mvn	r2, r3
	ldr	r3, [fp, #-8]
	and	r3, r3, r2
	mov	r0, r3
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
	.size	s_diff, .-s_diff
	.align	2
	.global	s_comp
	.syntax unified
	.arm
	.fpu softvfp
	.type	s_comp, %function
s_comp:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	@ link register save eliminated.
	str	fp, [sp, #-4]!
	add	fp, sp, #0
	sub	sp, sp, #12
	str	r0, [fp, #-8]
	ldr	r3, [fp, #-8]
	mvn	r3, r3
	mov	r0, r3
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
	.size	s_comp, .-s_comp
	.align	2
	.global	s_equal
	.syntax unified
	.arm
	.fpu softvfp
	.type	s_equal, %function
s_equal:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	@ link register save eliminated.
	str	fp, [sp, #-4]!
	add	fp, sp, #0
	sub	sp, sp, #12
	str	r0, [fp, #-8]
	str	r1, [fp, #-12]
	ldr	r2, [fp, #-8]
	ldr	r3, [fp, #-12]
	cmp	r2, r3
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
	.size	s_equal, .-s_equal
	.align	2
	.global	s_subset
	.syntax unified
	.arm
	.fpu softvfp
	.type	s_subset, %function
s_subset:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	@ link register save eliminated.
	str	fp, [sp, #-4]!
	add	fp, sp, #0
	sub	sp, sp, #12
	str	r0, [fp, #-8]
	str	r1, [fp, #-12]
	ldr	r3, [fp, #-12]
	mvn	r2, r3
	ldr	r3, [fp, #-8]
	and	r3, r3, r2
	cmp	r3, #0
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
	.size	s_subset, .-s_subset
	.align	2
	.global	s_propsubset
	.syntax unified
	.arm
	.fpu softvfp
	.type	s_propsubset, %function
s_propsubset:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	str	r0, [fp, #-8]
	str	r1, [fp, #-12]
	ldr	r1, [fp, #-12]
	ldr	r0, [fp, #-8]
	bl	s_subset
	mov	r3, r0
	cmp	r3, #0
	beq	.L14
	ldr	r1, [fp, #-12]
	ldr	r0, [fp, #-8]
	bl	s_equal
	mov	r3, r0
	cmp	r3, #0
	bne	.L14
	mov	r3, #1
	b	.L16
.L14:
	mov	r3, #0
.L16:
	mov	r0, r3
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	s_propsubset, .-s_propsubset
	.align	2
	.global	s_empty
	.syntax unified
	.arm
	.fpu softvfp
	.type	s_empty, %function
s_empty:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	@ link register save eliminated.
	str	fp, [sp, #-4]!
	add	fp, sp, #0
	sub	sp, sp, #12
	str	r0, [fp, #-8]
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
	.size	s_empty, .-s_empty
	.align	2
	.global	s_element_of
	.syntax unified
	.arm
	.fpu softvfp
	.type	s_element_of, %function
s_element_of:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	@ link register save eliminated.
	str	fp, [sp, #-4]!
	add	fp, sp, #0
	sub	sp, sp, #12
	str	r0, [fp, #-8]
	str	r1, [fp, #-12]
	mov	r2, #1
	ldr	r3, [fp, #-12]
	lsl	r3, r2, r3
	mov	r2, r3
	ldr	r3, [fp, #-8]
	and	r3, r3, r2
	mov	r0, r3
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
	.size	s_element_of, .-s_element_of
	.align	2
	.global	s_add
	.syntax unified
	.arm
	.fpu softvfp
	.type	s_add, %function
s_add:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	@ link register save eliminated.
	str	fp, [sp, #-4]!
	add	fp, sp, #0
	sub	sp, sp, #12
	str	r0, [fp, #-8]
	str	r1, [fp, #-12]
	ldr	r3, [fp, #-8]
	ldr	r3, [r3]
	mov	r1, #1
	ldr	r2, [fp, #-12]
	lsl	r2, r1, r2
	orr	r2, r3, r2
	ldr	r3, [fp, #-8]
	str	r2, [r3]
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
	.size	s_add, .-s_add
	.align	2
	.global	s_remove
	.syntax unified
	.arm
	.fpu softvfp
	.type	s_remove, %function
s_remove:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	@ link register save eliminated.
	str	fp, [sp, #-4]!
	add	fp, sp, #0
	sub	sp, sp, #12
	str	r0, [fp, #-8]
	str	r1, [fp, #-12]
	ldr	r3, [fp, #-8]
	ldr	r3, [r3]
	mov	r1, #1
	ldr	r2, [fp, #-12]
	lsl	r2, r1, r2
	mvn	r2, r2
	and	r2, r2, r3
	ldr	r3, [fp, #-8]
	str	r2, [r3]
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
	.size	s_remove, .-s_remove
	.align	2
	.global	s_num_elements
	.syntax unified
	.arm
	.fpu softvfp
	.type	s_num_elements, %function
s_num_elements:
	@ args = 0, pretend = 0, frame = 16
	@ frame_needed = 1, uses_anonymous_args = 0
	@ link register save eliminated.
	str	fp, [sp, #-4]!
	add	fp, sp, #0
	sub	sp, sp, #20
	str	r0, [fp, #-16]
	mov	r3, #0
	str	r3, [fp, #-8]
	b	.L24
.L26:
	ldr	r3, [fp, #-16]
	and	r3, r3, #1
	cmp	r3, #0
	beq	.L25
	ldr	r3, [fp, #-8]
	add	r3, r3, #1
	str	r3, [fp, #-8]
.L25:
	ldr	r3, [fp, #-16]
	lsr	r3, r3, #1
	str	r3, [fp, #-16]
.L24:
	ldr	r3, [fp, #-16]
	cmp	r3, #0
	bne	.L26
	ldr	r3, [fp, #-8]
	mov	r0, r3
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
	.size	s_num_elements, .-s_num_elements
	.align	2
	.global	s_print
	.syntax unified
	.arm
	.fpu softvfp
	.type	s_print, %function
s_print:
	@ args = 0, pretend = 0, frame = 16
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #16
	str	r0, [fp, #-16]
	mov	r3, #0
	str	r3, [fp, #-8]
	b	.L29
.L32:
	ldr	r3, [fp, #-16]
	and	r3, r3, #1
	cmp	r3, #0
	beq	.L30
	mov	r3, #49
	b	.L31
.L30:
	mov	r3, #48
.L31:
	mov	r0, r3
	bl	putchar
	ldr	r3, [fp, #-16]
	lsr	r3, r3, #1
	str	r3, [fp, #-16]
	ldr	r3, [fp, #-8]
	add	r3, r3, #1
	str	r3, [fp, #-8]
.L29:
	ldr	r3, [fp, #-8]
	cmp	r3, #31
	ble	.L32
	mov	r0, #10
	bl	putchar
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	s_print, .-s_print
	.section	.rodata
	.align	2
.LC0:
	.ascii	"the_stack_data/26774.c\000"
	.align	2
.LC1:
	.ascii	"s_empty(A) && s_empty(B)\000"
	.align	2
.LC2:
	.ascii	"s_element_of(A, i)\000"
	.align	2
.LC3:
	.ascii	"!s_element_of(A, i)\000"
	.align	2
.LC4:
	.ascii	"s_element_of(B, i)\000"
	.align	2
.LC5:
	.ascii	"!s_element_of(B, i)\000"
	.align	2
.LC6:
	.ascii	"!s_empty(A) && !s_empty(B)\000"
	.align	2
.LC7:
	.ascii	"A     = \000"
	.align	2
.LC8:
	.ascii	"B     = \000"
	.align	2
.LC9:
	.ascii	"A U B = \000"
	.align	2
.LC10:
	.ascii	"A ^ B = \000"
	.align	2
.LC11:
	.ascii	"A \\ B = \000"
	.align	2
.LC12:
	.ascii	"~A    = \000"
	.align	2
.LC13:
	.ascii	"|A|   = %d\012\000"
	.align	2
.LC14:
	.ascii	"|B|   = %d\012\000"
	.align	2
.LC15:
	.ascii	"s_num_elements(s_union(A, B)) == s_num_elements(A) "
	.ascii	"+ s_num_elements(B) - s_num_elements(s_intersect(A,"
	.ascii	" B))\000"
	.align	2
.LC16:
	.ascii	"s_subset(A,A)\000"
	.align	2
.LC17:
	.ascii	"!s_propsubset(A,A)\000"
	.align	2
.LC18:
	.ascii	"s_subset(A, s_union(A, B)) && s_propsubset(A, s_uni"
	.ascii	"on(A,B))\000"
	.align	2
.LC19:
	.ascii	"new A = \000"
	.align	2
.LC20:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	main
	.syntax unified
	.arm
	.fpu softvfp
	.type	main, %function
main:
	@ args = 0, pretend = 0, frame = 16
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, r5, fp, lr}
	add	fp, sp, #12
	sub	sp, sp, #16
	ldr	r3, .L60
	ldr	r3, [r3]
	str	r3, [fp, #-16]
	mov	r3,#0
	mov	r3, #0
	str	r3, [fp, #-28]
	mov	r3, #0
	str	r3, [fp, #-24]
	ldr	r3, [fp, #-28]
	mov	r0, r3
	bl	s_empty
	mov	r3, r0
	cmp	r3, #0
	beq	.L34
	ldr	r3, [fp, #-24]
	mov	r0, r3
	bl	s_empty
	mov	r3, r0
	cmp	r3, #0
	bne	.L57
.L34:
	ldr	r3, .L60+4
	mov	r2, #100
	ldr	r1, .L60+8
	ldr	r0, .L60+12
	bl	__assert_fail
.L57:
	mov	r3, #0
	str	r3, [fp, #-20]
	b	.L36
.L37:
	sub	r3, fp, #28
	ldr	r1, [fp, #-20]
	mov	r0, r3
	bl	s_add
	ldr	r3, [fp, #-20]
	add	r3, r3, #6
	str	r3, [fp, #-20]
.L36:
	ldr	r3, [fp, #-20]
	cmp	r3, #31
	ble	.L37
	mov	r3, #0
	str	r3, [fp, #-20]
	b	.L38
.L39:
	sub	r3, fp, #24
	ldr	r1, [fp, #-20]
	mov	r0, r3
	bl	s_add
	ldr	r3, [fp, #-20]
	add	r3, r3, #4
	str	r3, [fp, #-20]
.L38:
	ldr	r3, [fp, #-20]
	cmp	r3, #31
	ble	.L39
	mov	r3, #0
	str	r3, [fp, #-20]
	b	.L40
.L45:
	ldr	r1, [fp, #-20]
	ldr	r3, .L60+16
	smull	r0, r2, r3, r1
	asr	r3, r1, #31
	sub	r2, r2, r3
	mov	r3, r2
	lsl	r3, r3, #1
	add	r3, r3, r2
	lsl	r3, r3, #1
	sub	r2, r1, r3
	cmp	r2, #0
	bne	.L41
	ldr	r3, [fp, #-28]
	ldr	r1, [fp, #-20]
	mov	r0, r3
	bl	s_element_of
	mov	r3, r0
	cmp	r3, #0
	bne	.L42
	ldr	r3, .L60+4
	mov	r2, #110
	ldr	r1, .L60+8
	ldr	r0, .L60+20
	bl	__assert_fail
.L41:
	ldr	r3, [fp, #-28]
	ldr	r1, [fp, #-20]
	mov	r0, r3
	bl	s_element_of
	mov	r3, r0
	cmp	r3, #0
	beq	.L42
	ldr	r3, .L60+4
	mov	r2, #112
	ldr	r1, .L60+8
	ldr	r0, .L60+24
	bl	__assert_fail
.L42:
	ldr	r3, [fp, #-20]
	and	r3, r3, #3
	cmp	r3, #0
	bne	.L43
	ldr	r3, [fp, #-24]
	ldr	r1, [fp, #-20]
	mov	r0, r3
	bl	s_element_of
	mov	r3, r0
	cmp	r3, #0
	bne	.L44
	ldr	r3, .L60+4
	mov	r2, #115
	ldr	r1, .L60+8
	ldr	r0, .L60+28
	bl	__assert_fail
.L43:
	ldr	r3, [fp, #-24]
	ldr	r1, [fp, #-20]
	mov	r0, r3
	bl	s_element_of
	mov	r3, r0
	cmp	r3, #0
	beq	.L44
	ldr	r3, .L60+4
	mov	r2, #117
	ldr	r1, .L60+8
	ldr	r0, .L60+32
	bl	__assert_fail
.L44:
	ldr	r3, [fp, #-20]
	add	r3, r3, #1
	str	r3, [fp, #-20]
.L40:
	ldr	r3, [fp, #-20]
	cmp	r3, #31
	ble	.L45
	ldr	r3, [fp, #-28]
	mov	r0, r3
	bl	s_empty
	mov	r3, r0
	cmp	r3, #0
	bne	.L46
	ldr	r3, [fp, #-24]
	mov	r0, r3
	bl	s_empty
	mov	r3, r0
	cmp	r3, #0
	beq	.L58
.L46:
	ldr	r3, .L60+4
	mov	r2, #120
	ldr	r1, .L60+8
	ldr	r0, .L60+36
	bl	__assert_fail
.L58:
	ldr	r0, .L60+40
	bl	printf
	ldr	r3, [fp, #-28]
	mov	r0, r3
	bl	s_print
	ldr	r0, .L60+44
	bl	printf
	ldr	r3, [fp, #-24]
	mov	r0, r3
	bl	s_print
	ldr	r0, .L60+48
	bl	printf
	ldr	r3, [fp, #-28]
	ldr	r2, [fp, #-24]
	mov	r1, r2
	mov	r0, r3
	bl	s_union
	mov	r3, r0
	mov	r0, r3
	bl	s_print
	ldr	r0, .L60+52
	bl	printf
	ldr	r3, [fp, #-28]
	ldr	r2, [fp, #-24]
	mov	r1, r2
	mov	r0, r3
	bl	s_intersect
	mov	r3, r0
	mov	r0, r3
	bl	s_print
	ldr	r0, .L60+56
	bl	printf
	ldr	r3, [fp, #-28]
	ldr	r2, [fp, #-24]
	mov	r1, r2
	mov	r0, r3
	bl	s_diff
	mov	r3, r0
	mov	r0, r3
	bl	s_print
	ldr	r0, .L60+60
	bl	printf
	ldr	r3, [fp, #-28]
	mov	r0, r3
	bl	s_comp
	mov	r3, r0
	mov	r0, r3
	bl	s_print
	ldr	r3, [fp, #-28]
	mov	r0, r3
	bl	s_num_elements
	mov	r3, r0
	mov	r1, r3
	ldr	r0, .L60+64
	bl	printf
	ldr	r3, [fp, #-24]
	mov	r0, r3
	bl	s_num_elements
	mov	r3, r0
	mov	r1, r3
	ldr	r0, .L60+68
	bl	printf
	ldr	r3, [fp, #-28]
	ldr	r2, [fp, #-24]
	mov	r1, r2
	mov	r0, r3
	bl	s_union
	mov	r3, r0
	mov	r0, r3
	bl	s_num_elements
	mov	r5, r0
	ldr	r3, [fp, #-28]
	mov	r0, r3
	bl	s_num_elements
	mov	r4, r0
	ldr	r3, [fp, #-24]
	mov	r0, r3
	bl	s_num_elements
	mov	r3, r0
	add	r4, r4, r3
	ldr	r3, [fp, #-28]
	ldr	r2, [fp, #-24]
	mov	r1, r2
	mov	r0, r3
	bl	s_intersect
	mov	r3, r0
	mov	r0, r3
	bl	s_num_elements
	mov	r3, r0
	sub	r3, r4, r3
	cmp	r5, r3
	beq	.L48
	ldr	r3, .L60+4
	mov	r2, #129
	ldr	r1, .L60+8
	ldr	r0, .L60+72
	bl	__assert_fail
.L48:
	ldr	r3, [fp, #-28]
	ldr	r2, [fp, #-28]
	mov	r1, r2
	mov	r0, r3
	bl	s_subset
	mov	r3, r0
	cmp	r3, #0
	bne	.L49
	ldr	r3, .L60+4
	mov	r2, #132
	ldr	r1, .L60+8
	ldr	r0, .L60+76
	bl	__assert_fail
.L49:
	ldr	r3, [fp, #-28]
	ldr	r2, [fp, #-28]
	mov	r1, r2
	mov	r0, r3
	bl	s_propsubset
	mov	r3, r0
	cmp	r3, #0
	beq	.L50
	ldr	r3, .L60+4
	mov	r2, #133
	ldr	r1, .L60+8
	ldr	r0, .L60+80
	bl	__assert_fail
.L50:
	ldr	r4, [fp, #-28]
	ldr	r3, [fp, #-28]
	ldr	r2, [fp, #-24]
	mov	r1, r2
	mov	r0, r3
	bl	s_union
	mov	r3, r0
	mov	r1, r3
	mov	r0, r4
	bl	s_subset
	mov	r3, r0
	cmp	r3, #0
	beq	.L51
	ldr	r4, [fp, #-28]
	ldr	r3, [fp, #-28]
	ldr	r2, [fp, #-24]
	mov	r1, r2
	mov	r0, r3
	bl	s_union
	mov	r3, r0
	mov	r1, r3
	mov	r0, r4
	bl	s_propsubset
	mov	r3, r0
	cmp	r3, #0
	bne	.L59
.L51:
	ldr	r3, .L60+4
	mov	r2, #134
	ldr	r1, .L60+8
	ldr	r0, .L60+84
	bl	__assert_fail
.L59:
	mov	r3, #0
	str	r3, [fp, #-20]
	b	.L53
.L54:
	sub	r3, fp, #28
	ldr	r1, [fp, #-20]
	mov	r0, r3
	bl	s_remove
	ldr	r3, [fp, #-20]
	add	r3, r3, #4
	str	r3, [fp, #-20]
.L53:
	ldr	r3, [fp, #-20]
	cmp	r3, #31
	ble	.L54
	ldr	r0, .L60+88
	bl	printf
	ldr	r3, [fp, #-28]
	mov	r0, r3
	bl	s_print
	mov	r3, #0
	ldr	r2, .L60
	ldr	r1, [r2]
	ldr	r2, [fp, #-16]
	eors	r1, r2, r1
	mov	r2, #0
	beq	.L56
	bl	__stack_chk_fail
.L56:
	mov	r0, r3
	sub	sp, fp, #12
	@ sp needed
	pop	{r4, r5, fp, pc}
.L61:
	.align	2
.L60:
	.word	.LC20
	.word	__PRETTY_FUNCTION__.4677
	.word	.LC0
	.word	.LC1
	.word	715827883
	.word	.LC2
	.word	.LC3
	.word	.LC4
	.word	.LC5
	.word	.LC6
	.word	.LC7
	.word	.LC8
	.word	.LC9
	.word	.LC10
	.word	.LC11
	.word	.LC12
	.word	.LC13
	.word	.LC14
	.word	.LC15
	.word	.LC16
	.word	.LC17
	.word	.LC18
	.word	.LC19
	.size	main, .-main
	.section	.rodata
	.align	2
	.type	__PRETTY_FUNCTION__.4677, %object
	.size	__PRETTY_FUNCTION__.4677, 5
__PRETTY_FUNCTION__.4677:
	.ascii	"main\000"
	.ident	"GCC: (Ubuntu 9.4.0-1ubuntu1~20.04.2) 9.4.0"
	.section	.note.GNU-stack,"",%progbits
