	.file	"385052.c"
	.intel_syntax noprefix
	.text
	.globl	error
	.type	error, @function
error:
.LFB0:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	nop
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
.L2:
	.cfi_endproc
.LFE0:
	.size	error, .-error
	.globl	c
	.bss
	.align 4
	.type	c, @object
	.size	c, 4
c:
	.zero	4
	.globl	c_t
	.align 4
	.type	c_t, @object
	.size	c_t, 4
c_t:
	.zero	4
	.globl	c_req_up
	.align 4
	.type	c_req_up, @object
	.size	c_req_up, 4
c_req_up:
	.zero	4
	.globl	p_in
	.align 4
	.type	p_in, @object
	.size	p_in, 4
p_in:
	.zero	4
	.globl	p_out
	.align 4
	.type	p_out, @object
	.size	p_out, 4
p_out:
	.zero	4
	.globl	wl_st
	.align 4
	.type	wl_st, @object
	.size	wl_st, 4
wl_st:
	.zero	4
	.globl	c1_st
	.align 4
	.type	c1_st, @object
	.size	c1_st, 4
c1_st:
	.zero	4
	.globl	c2_st
	.align 4
	.type	c2_st, @object
	.size	c2_st, 4
c2_st:
	.zero	4
	.globl	wb_st
	.align 4
	.type	wb_st, @object
	.size	wb_st, 4
wb_st:
	.zero	4
	.globl	r_st
	.align 4
	.type	r_st, @object
	.size	r_st, 4
r_st:
	.zero	4
	.globl	wl_i
	.align 4
	.type	wl_i, @object
	.size	wl_i, 4
wl_i:
	.zero	4
	.globl	c1_i
	.align 4
	.type	c1_i, @object
	.size	c1_i, 4
c1_i:
	.zero	4
	.globl	c2_i
	.align 4
	.type	c2_i, @object
	.size	c2_i, 4
c2_i:
	.zero	4
	.globl	wb_i
	.align 4
	.type	wb_i, @object
	.size	wb_i, 4
wb_i:
	.zero	4
	.globl	r_i
	.align 4
	.type	r_i, @object
	.size	r_i, 4
r_i:
	.zero	4
	.globl	wl_pc
	.align 4
	.type	wl_pc, @object
	.size	wl_pc, 4
wl_pc:
	.zero	4
	.globl	c1_pc
	.align 4
	.type	c1_pc, @object
	.size	c1_pc, 4
c1_pc:
	.zero	4
	.globl	c2_pc
	.align 4
	.type	c2_pc, @object
	.size	c2_pc, 4
c2_pc:
	.zero	4
	.globl	wb_pc
	.align 4
	.type	wb_pc, @object
	.size	wb_pc, 4
wb_pc:
	.zero	4
	.globl	e_e
	.align 4
	.type	e_e, @object
	.size	e_e, 4
e_e:
	.zero	4
	.globl	e_f
	.align 4
	.type	e_f, @object
	.size	e_f, 4
e_f:
	.zero	4
	.globl	e_g
	.align 4
	.type	e_g, @object
	.size	e_g, 4
e_g:
	.zero	4
	.globl	e_c
	.align 4
	.type	e_c, @object
	.size	e_c, 4
e_c:
	.zero	4
	.globl	e_p_in
	.align 4
	.type	e_p_in, @object
	.size	e_p_in, 4
e_p_in:
	.zero	4
	.globl	e_wl
	.align 4
	.type	e_wl, @object
	.size	e_wl, 4
e_wl:
	.zero	4
	.globl	d
	.align 4
	.type	d, @object
	.size	d, 4
d:
	.zero	4
	.globl	data
	.align 4
	.type	data, @object
	.size	data, 4
data:
	.zero	4
	.globl	processed
	.align 4
	.type	processed, @object
	.size	processed, 4
processed:
	.zero	4
	.local	t_b
	.comm	t_b,4,4
	.text
	.globl	write_loop
	.type	write_loop, @function
write_loop:
.LFB1:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 16
	mov	eax, DWORD PTR wl_pc[rip]
	test	eax, eax
	je	.L20
	mov	eax, DWORD PTR wl_pc[rip]
	cmp	eax, 2
	je	.L21
	mov	eax, DWORD PTR wl_pc[rip]
	cmp	eax, 1
	je	.L22
	jmp	.L6
.L20:
	nop
.L6:
	mov	DWORD PTR wl_st[rip], 2
	mov	DWORD PTR wl_pc[rip], 1
	mov	DWORD PTR e_wl[rip], 0
	jmp	.L10
.L22:
	nop
.L9:
	mov	DWORD PTR -12[rbp], 0
	mov	eax, 0
	call	rand@PLT
	mov	DWORD PTR -8[rbp], eax
	mov	edi, 1
	mov	eax, 0
	call	assume@PLT
	jmp	.L11
.L15:
	add	DWORD PTR -12[rbp], 1
.L12:
	mov	eax, DWORD PTR d[rip]
	mov	DWORD PTR -4[rbp], eax
	mov	eax, DWORD PTR d[rip]
	mov	DWORD PTR data[rip], eax
	mov	DWORD PTR processed[rip], 0
	mov	DWORD PTR e_f[rip], 1
	mov	eax, DWORD PTR c1_pc[rip]
	cmp	eax, 1
	jne	.L13
	mov	eax, DWORD PTR e_f[rip]
	cmp	eax, 1
	jne	.L13
	mov	DWORD PTR c1_st[rip], 0
.L13:
	mov	eax, DWORD PTR c2_pc[rip]
	cmp	eax, 1
	jne	.L14
	mov	eax, DWORD PTR e_f[rip]
	cmp	eax, 1
	jne	.L14
	mov	DWORD PTR c2_st[rip], 0
.L14:
	mov	DWORD PTR e_f[rip], 2
	mov	DWORD PTR wl_st[rip], 2
	mov	DWORD PTR wl_pc[rip], 2
	mov	eax, DWORD PTR -4[rbp]
	mov	DWORD PTR t_b[rip], eax
	jmp	.L10
.L21:
	nop
.L8:
	mov	eax, DWORD PTR t_b[rip]
	mov	DWORD PTR -4[rbp], eax
	mov	eax, DWORD PTR -4[rbp]
	lea	edx, 1[rax]
	mov	eax, DWORD PTR d[rip]
	cmp	edx, eax
	je	.L11
	mov	eax, DWORD PTR -4[rbp]
	lea	edx, 2[rax]
	mov	eax, DWORD PTR d[rip]
	cmp	edx, eax
	je	.L11
	mov	edi, 0
	mov	eax, 0
	call	assert@PLT
.L11:
	mov	eax, DWORD PTR -12[rbp]
	cmp	eax, DWORD PTR -8[rbp]
	jb	.L15
	nop
.L16:
.L10:
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE1:
	.size	write_loop, .-write_loop
	.globl	compute1
	.type	compute1, @function
compute1:
.LFB2:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 16
	mov	eax, DWORD PTR c1_pc[rip]
	test	eax, eax
	je	.L35
	mov	eax, DWORD PTR c1_pc[rip]
	cmp	eax, 1
	je	.L36
	jmp	.L25
.L35:
	nop
.L25:
	mov	DWORD PTR -8[rbp], 0
	mov	eax, 0
	call	rand@PLT
	mov	DWORD PTR -4[rbp], eax
	mov	edi, 1
	mov	eax, 0
	call	assume@PLT
	jmp	.L27
.L31:
	add	DWORD PTR -8[rbp], 1
.L28:
	mov	DWORD PTR c1_st[rip], 2
	mov	DWORD PTR c1_pc[rip], 1
	jmp	.L29
.L36:
	nop
.L26:
	mov	eax, DWORD PTR processed[rip]
	test	eax, eax
	jne	.L27
	mov	eax, DWORD PTR data[rip]
	add	eax, 1
	mov	DWORD PTR data[rip], eax
	mov	DWORD PTR e_g[rip], 1
	mov	eax, DWORD PTR wb_pc[rip]
	cmp	eax, 1
	jne	.L30
	mov	eax, DWORD PTR e_g[rip]
	cmp	eax, 1
	jne	.L30
	mov	DWORD PTR wb_st[rip], 0
.L30:
	mov	DWORD PTR e_g[rip], 2
.L27:
	mov	eax, DWORD PTR -8[rbp]
	cmp	eax, DWORD PTR -4[rbp]
	jb	.L31
	nop
.L32:
.L29:
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE2:
	.size	compute1, .-compute1
	.globl	compute2
	.type	compute2, @function
compute2:
.LFB3:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 16
	mov	eax, DWORD PTR c2_pc[rip]
	test	eax, eax
	je	.L49
	mov	eax, DWORD PTR c2_pc[rip]
	cmp	eax, 1
	je	.L50
	jmp	.L39
.L49:
	nop
.L39:
	mov	DWORD PTR -8[rbp], 0
	mov	eax, 0
	call	rand@PLT
	mov	DWORD PTR -4[rbp], eax
	mov	edi, 1
	mov	eax, 0
	call	assume@PLT
	jmp	.L41
.L45:
	add	DWORD PTR -8[rbp], 1
.L42:
	mov	DWORD PTR c2_st[rip], 2
	mov	DWORD PTR c2_pc[rip], 1
	jmp	.L43
.L50:
	nop
.L40:
	mov	eax, DWORD PTR processed[rip]
	test	eax, eax
	jne	.L41
	mov	eax, DWORD PTR data[rip]
	add	eax, 1
	mov	DWORD PTR data[rip], eax
	mov	DWORD PTR e_g[rip], 1
	mov	eax, DWORD PTR wb_pc[rip]
	cmp	eax, 1
	jne	.L44
	mov	eax, DWORD PTR e_g[rip]
	cmp	eax, 1
	jne	.L44
	mov	DWORD PTR wb_st[rip], 0
.L44:
	mov	DWORD PTR e_g[rip], 2
.L41:
	mov	eax, DWORD PTR -8[rbp]
	cmp	eax, DWORD PTR -4[rbp]
	jb	.L45
	nop
.L46:
.L43:
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE3:
	.size	compute2, .-compute2
	.globl	write_back
	.type	write_back, @function
write_back:
.LFB4:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 16
	mov	eax, DWORD PTR wb_pc[rip]
	test	eax, eax
	je	.L62
	mov	eax, DWORD PTR wb_pc[rip]
	cmp	eax, 1
	je	.L63
	jmp	.L53
.L62:
	nop
.L53:
	mov	DWORD PTR -8[rbp], 0
	mov	eax, 0
	call	rand@PLT
	mov	DWORD PTR -4[rbp], eax
	mov	edi, 1
	mov	eax, 0
	call	assume@PLT
	jmp	.L55
.L58:
	add	DWORD PTR -8[rbp], 1
.L56:
	mov	DWORD PTR wb_st[rip], 2
	mov	DWORD PTR wb_pc[rip], 1
	jmp	.L57
.L63:
	nop
.L54:
	mov	eax, DWORD PTR data[rip]
	mov	DWORD PTR c_t[rip], eax
	mov	DWORD PTR c_req_up[rip], 1
	mov	DWORD PTR processed[rip], 1
.L55:
	mov	eax, DWORD PTR -8[rbp]
	cmp	eax, DWORD PTR -4[rbp]
	jb	.L58
	nop
.L59:
.L57:
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE4:
	.size	write_back, .-write_back
	.globl	read
	.type	read, @function
read:
.LFB5:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	eax, DWORD PTR c[rip]
	mov	DWORD PTR d[rip], eax
	mov	DWORD PTR e_e[rip], 1
	mov	eax, DWORD PTR wl_pc[rip]
	cmp	eax, 1
	jne	.L69
	mov	eax, DWORD PTR e_wl[rip]
	cmp	eax, 1
	jne	.L70
	mov	DWORD PTR wl_st[rip], 0
	jmp	.L67
.L69:
	nop
	jmp	.L65
.L70:
	nop
.L65:
	mov	eax, DWORD PTR wl_pc[rip]
	cmp	eax, 2
	jne	.L67
	mov	eax, DWORD PTR e_e[rip]
	cmp	eax, 1
	jne	.L67
	mov	DWORD PTR wl_st[rip], 0
.L67:
	mov	DWORD PTR e_e[rip], 2
	mov	DWORD PTR r_st[rip], 2
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE5:
	.size	read, .-read
	.globl	eval
	.type	eval, @function
eval:
.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, 32
	mov	DWORD PTR -28[rbp], 0
	mov	eax, 0
	call	rand@PLT
	mov	DWORD PTR -24[rbp], eax
	mov	edi, 1
	mov	eax, 0
	call	assume@PLT
	jmp	.L72
.L80:
	add	DWORD PTR -28[rbp], 1
.L73:
	mov	eax, DWORD PTR wl_st[rip]
	test	eax, eax
	je	.L74
	mov	eax, DWORD PTR c1_st[rip]
	test	eax, eax
	je	.L74
	mov	eax, DWORD PTR c2_st[rip]
	test	eax, eax
	je	.L74
	mov	eax, DWORD PTR wb_st[rip]
	test	eax, eax
	je	.L74
	mov	eax, DWORD PTR r_st[rip]
	test	eax, eax
	jne	.L82
.L74:
	mov	eax, DWORD PTR wl_st[rip]
	test	eax, eax
	jne	.L76
	mov	eax, 0
	call	rand@PLT
	mov	DWORD PTR -20[rbp], eax
	cmp	DWORD PTR -20[rbp], 0
	je	.L76
	mov	DWORD PTR wl_st[rip], 1
	call	write_loop
.L76:
	mov	eax, DWORD PTR c1_st[rip]
	test	eax, eax
	jne	.L77
	mov	eax, 0
	call	rand@PLT
	mov	DWORD PTR -16[rbp], eax
	cmp	DWORD PTR -16[rbp], 0
	je	.L77
	mov	DWORD PTR c1_st[rip], 1
	call	compute1
.L77:
	mov	eax, DWORD PTR c2_st[rip]
	test	eax, eax
	jne	.L78
	mov	eax, 0
	call	rand@PLT
	mov	DWORD PTR -12[rbp], eax
	cmp	DWORD PTR -12[rbp], 0
	je	.L78
	mov	DWORD PTR c2_st[rip], 1
	call	compute2
.L78:
	mov	eax, DWORD PTR wb_st[rip]
	test	eax, eax
	jne	.L79
	mov	eax, 0
	call	rand@PLT
	mov	DWORD PTR -8[rbp], eax
	cmp	DWORD PTR -8[rbp], 0
	je	.L79
	mov	DWORD PTR wb_st[rip], 1
	call	write_back
.L79:
	mov	eax, DWORD PTR r_st[rip]
	test	eax, eax
	jne	.L72
	mov	eax, 0
	call	rand@PLT
	mov	DWORD PTR -4[rbp], eax
	cmp	DWORD PTR -4[rbp], 0
	je	.L72
	mov	DWORD PTR r_st[rip], 1
	call	read
.L72:
	mov	eax, DWORD PTR -28[rbp]
	cmp	eax, DWORD PTR -24[rbp]
	jb	.L80
	jmp	.L75
.L82:
	nop
.L75:
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE6:
	.size	eval, .-eval
	.globl	start_simulation
	.type	start_simulation, @function
start_simulation:
.LFB7:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 16
	mov	DWORD PTR -8[rbp], 0
	mov	eax, DWORD PTR c_req_up[rip]
	cmp	eax, 1
	jne	.L84
	mov	edx, DWORD PTR c[rip]
	mov	eax, DWORD PTR c_t[rip]
	cmp	edx, eax
	je	.L85
	mov	eax, DWORD PTR c_t[rip]
	mov	DWORD PTR c[rip], eax
	mov	DWORD PTR e_c[rip], 0
.L85:
	mov	DWORD PTR c_req_up[rip], 0
.L84:
	mov	eax, DWORD PTR wl_i[rip]
	cmp	eax, 1
	jne	.L86
	mov	DWORD PTR wl_st[rip], 0
	jmp	.L87
.L86:
	mov	DWORD PTR wl_st[rip], 2
.L87:
	mov	eax, DWORD PTR c1_i[rip]
	cmp	eax, 1
	jne	.L88
	mov	DWORD PTR c1_st[rip], 0
	jmp	.L89
.L88:
	mov	DWORD PTR c1_st[rip], 2
.L89:
	mov	eax, DWORD PTR c2_i[rip]
	cmp	eax, 1
	jne	.L90
	mov	DWORD PTR c2_st[rip], 0
	jmp	.L91
.L90:
	mov	DWORD PTR c2_st[rip], 2
.L91:
	mov	eax, DWORD PTR wb_i[rip]
	cmp	eax, 1
	jne	.L92
	mov	DWORD PTR wb_st[rip], 0
	jmp	.L93
.L92:
	mov	DWORD PTR wb_st[rip], 2
.L93:
	mov	eax, DWORD PTR r_i[rip]
	cmp	eax, 1
	jne	.L94
	mov	DWORD PTR r_st[rip], 0
	jmp	.L95
.L94:
	mov	DWORD PTR r_st[rip], 2
.L95:
	mov	eax, DWORD PTR e_f[rip]
	test	eax, eax
	jne	.L96
	mov	DWORD PTR e_f[rip], 1
.L96:
	mov	eax, DWORD PTR e_g[rip]
	test	eax, eax
	jne	.L97
	mov	DWORD PTR e_g[rip], 1
.L97:
	mov	eax, DWORD PTR e_e[rip]
	test	eax, eax
	jne	.L98
	mov	DWORD PTR e_e[rip], 1
.L98:
	mov	eax, DWORD PTR e_c[rip]
	test	eax, eax
	jne	.L99
	mov	DWORD PTR e_c[rip], 1
.L99:
	mov	eax, DWORD PTR e_wl[rip]
	test	eax, eax
	jne	.L100
	mov	DWORD PTR e_wl[rip], 1
.L100:
	mov	eax, DWORD PTR wl_pc[rip]
	cmp	eax, 1
	jne	.L137
	mov	eax, DWORD PTR e_wl[rip]
	cmp	eax, 1
	jne	.L138
	mov	DWORD PTR wl_st[rip], 0
	jmp	.L103
.L137:
	nop
	jmp	.L101
.L138:
	nop
.L101:
	mov	eax, DWORD PTR wl_pc[rip]
	cmp	eax, 2
	jne	.L103
	mov	eax, DWORD PTR e_e[rip]
	cmp	eax, 1
	jne	.L103
	mov	DWORD PTR wl_st[rip], 0
.L103:
	mov	eax, DWORD PTR c1_pc[rip]
	cmp	eax, 1
	jne	.L104
	mov	eax, DWORD PTR e_f[rip]
	cmp	eax, 1
	jne	.L104
	mov	DWORD PTR c1_st[rip], 0
.L104:
	mov	eax, DWORD PTR c2_pc[rip]
	cmp	eax, 1
	jne	.L105
	mov	eax, DWORD PTR e_f[rip]
	cmp	eax, 1
	jne	.L105
	mov	DWORD PTR c2_st[rip], 0
.L105:
	mov	eax, DWORD PTR wb_pc[rip]
	cmp	eax, 1
	jne	.L106
	mov	eax, DWORD PTR e_g[rip]
	cmp	eax, 1
	jne	.L106
	mov	DWORD PTR wb_st[rip], 0
.L106:
	mov	eax, DWORD PTR e_c[rip]
	cmp	eax, 1
	jne	.L107
	mov	DWORD PTR r_st[rip], 0
.L107:
	mov	eax, DWORD PTR e_e[rip]
	cmp	eax, 1
	jne	.L108
	mov	DWORD PTR e_e[rip], 2
.L108:
	mov	eax, DWORD PTR e_f[rip]
	cmp	eax, 1
	jne	.L109
	mov	DWORD PTR e_f[rip], 2
.L109:
	mov	eax, DWORD PTR e_g[rip]
	cmp	eax, 1
	jne	.L110
	mov	DWORD PTR e_g[rip], 2
.L110:
	mov	eax, DWORD PTR e_c[rip]
	cmp	eax, 1
	jne	.L111
	mov	DWORD PTR e_c[rip], 2
.L111:
	mov	eax, DWORD PTR e_wl[rip]
	cmp	eax, 1
	jne	.L112
	mov	DWORD PTR e_wl[rip], 2
.L112:
	mov	DWORD PTR -12[rbp], 0
	mov	eax, 0
	call	rand@PLT
	mov	DWORD PTR -4[rbp], eax
	mov	edi, 1
	mov	eax, 0
	call	assume@PLT
	jmp	.L113
.L135:
	add	DWORD PTR -12[rbp], 1
.L114:
	mov	DWORD PTR -8[rbp], 1
	call	eval
	mov	DWORD PTR -8[rbp], 2
	mov	eax, DWORD PTR c_req_up[rip]
	cmp	eax, 1
	jne	.L115
	mov	edx, DWORD PTR c[rip]
	mov	eax, DWORD PTR c_t[rip]
	cmp	edx, eax
	je	.L116
	mov	eax, DWORD PTR c_t[rip]
	mov	DWORD PTR c[rip], eax
	mov	DWORD PTR e_c[rip], 0
.L116:
	mov	DWORD PTR c_req_up[rip], 0
.L115:
	mov	DWORD PTR -8[rbp], 3
	mov	eax, DWORD PTR e_f[rip]
	test	eax, eax
	jne	.L117
	mov	DWORD PTR e_f[rip], 1
.L117:
	mov	eax, DWORD PTR e_g[rip]
	test	eax, eax
	jne	.L118
	mov	DWORD PTR e_g[rip], 1
.L118:
	mov	eax, DWORD PTR e_e[rip]
	test	eax, eax
	jne	.L119
	mov	DWORD PTR e_e[rip], 1
.L119:
	mov	eax, DWORD PTR e_c[rip]
	test	eax, eax
	jne	.L120
	mov	DWORD PTR e_c[rip], 1
.L120:
	mov	eax, DWORD PTR e_wl[rip]
	test	eax, eax
	jne	.L121
	mov	DWORD PTR e_wl[rip], 1
.L121:
	mov	eax, DWORD PTR wl_pc[rip]
	cmp	eax, 1
	jne	.L139
	mov	eax, DWORD PTR e_wl[rip]
	cmp	eax, 1
	jne	.L140
	mov	DWORD PTR wl_st[rip], 0
	jmp	.L124
.L139:
	nop
	jmp	.L122
.L140:
	nop
.L122:
	mov	eax, DWORD PTR wl_pc[rip]
	cmp	eax, 2
	jne	.L124
	mov	eax, DWORD PTR e_e[rip]
	cmp	eax, 1
	jne	.L124
	mov	DWORD PTR wl_st[rip], 0
.L124:
	mov	eax, DWORD PTR c1_pc[rip]
	cmp	eax, 1
	jne	.L125
	mov	eax, DWORD PTR e_f[rip]
	cmp	eax, 1
	jne	.L125
	mov	DWORD PTR c1_st[rip], 0
.L125:
	mov	eax, DWORD PTR c2_pc[rip]
	cmp	eax, 1
	jne	.L126
	mov	eax, DWORD PTR e_f[rip]
	cmp	eax, 1
	jne	.L126
	mov	DWORD PTR c2_st[rip], 0
.L126:
	mov	eax, DWORD PTR wb_pc[rip]
	cmp	eax, 1
	jne	.L127
	mov	eax, DWORD PTR e_g[rip]
	cmp	eax, 1
	jne	.L127
	mov	DWORD PTR wb_st[rip], 0
.L127:
	mov	eax, DWORD PTR e_c[rip]
	cmp	eax, 1
	jne	.L128
	mov	DWORD PTR r_st[rip], 0
.L128:
	mov	eax, DWORD PTR e_e[rip]
	cmp	eax, 1
	jne	.L129
	mov	DWORD PTR e_e[rip], 2
.L129:
	mov	eax, DWORD PTR e_f[rip]
	cmp	eax, 1
	jne	.L130
	mov	DWORD PTR e_f[rip], 2
.L130:
	mov	eax, DWORD PTR e_g[rip]
	cmp	eax, 1
	jne	.L131
	mov	DWORD PTR e_g[rip], 2
.L131:
	mov	eax, DWORD PTR e_c[rip]
	cmp	eax, 1
	jne	.L132
	mov	DWORD PTR e_c[rip], 2
.L132:
	mov	eax, DWORD PTR e_wl[rip]
	cmp	eax, 1
	jne	.L133
	mov	DWORD PTR e_wl[rip], 2
.L133:
	mov	eax, DWORD PTR wl_st[rip]
	test	eax, eax
	je	.L113
	mov	eax, DWORD PTR c1_st[rip]
	test	eax, eax
	je	.L113
	mov	eax, DWORD PTR c2_st[rip]
	test	eax, eax
	je	.L113
	mov	eax, DWORD PTR wb_st[rip]
	test	eax, eax
	je	.L113
	mov	eax, DWORD PTR r_st[rip]
	test	eax, eax
	jne	.L141
.L113:
	mov	eax, DWORD PTR -12[rbp]
	cmp	eax, DWORD PTR -4[rbp]
	jb	.L135
	jmp	.L134
.L141:
	nop
.L134:
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE7:
	.size	start_simulation, .-start_simulation
	.globl	main
	.type	main, @function
main:
.LFB8:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 16
	mov	DWORD PTR e_wl[rip], 2
	mov	eax, DWORD PTR e_wl[rip]
	mov	DWORD PTR e_c[rip], eax
	mov	eax, DWORD PTR e_c[rip]
	mov	DWORD PTR e_g[rip], eax
	mov	eax, DWORD PTR e_g[rip]
	mov	DWORD PTR e_f[rip], eax
	mov	eax, DWORD PTR e_f[rip]
	mov	DWORD PTR e_e[rip], eax
	mov	DWORD PTR wl_pc[rip], 0
	mov	DWORD PTR c1_pc[rip], 0
	mov	DWORD PTR c2_pc[rip], 0
	mov	DWORD PTR wb_pc[rip], 0
	mov	DWORD PTR wb_i[rip], 1
	mov	eax, DWORD PTR wb_i[rip]
	mov	DWORD PTR c2_i[rip], eax
	mov	eax, DWORD PTR c2_i[rip]
	mov	DWORD PTR c1_i[rip], eax
	mov	eax, DWORD PTR c1_i[rip]
	mov	DWORD PTR wl_i[rip], eax
	mov	DWORD PTR r_i[rip], 0
	mov	DWORD PTR c_req_up[rip], 0
	mov	DWORD PTR d[rip], 0
	mov	DWORD PTR c[rip], 0
	call	start_simulation
	mov	DWORD PTR -4[rbp], 0
	mov	eax, DWORD PTR -4[rbp]
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE8:
	.size	main, .-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	"385052.c"
	.text
	.align	2
	.global	error
	.syntax unified
	.arm
	.fpu softvfp
	.type	error, %function
error:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	@ link register save eliminated.
	str	fp, [sp, #-4]!
	add	fp, sp, #0
	nop
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
.L2:
	.size	error, .-error
	.comm	c,4,4
	.comm	c_t,4,4
	.comm	c_req_up,4,4
	.comm	p_in,4,4
	.comm	p_out,4,4
	.comm	wl_st,4,4
	.comm	c1_st,4,4
	.comm	c2_st,4,4
	.comm	wb_st,4,4
	.comm	r_st,4,4
	.comm	wl_i,4,4
	.comm	c1_i,4,4
	.comm	c2_i,4,4
	.comm	wb_i,4,4
	.comm	r_i,4,4
	.comm	wl_pc,4,4
	.comm	c1_pc,4,4
	.comm	c2_pc,4,4
	.comm	wb_pc,4,4
	.comm	e_e,4,4
	.comm	e_f,4,4
	.comm	e_g,4,4
	.comm	e_c,4,4
	.comm	e_p_in,4,4
	.comm	e_wl,4,4
	.comm	d,4,4
	.comm	data,4,4
	.comm	processed,4,4
	.local	t_b
	.comm	t_b,4,4
	.align	2
	.global	write_loop
	.syntax unified
	.arm
	.fpu softvfp
	.type	write_loop, %function
write_loop:
	@ args = 0, pretend = 0, frame = 16
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #16
	ldr	r3, .L23
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L20
	ldr	r3, .L23
	ldr	r3, [r3]
	cmp	r3, #2
	beq	.L21
	ldr	r3, .L23
	ldr	r3, [r3]
	cmp	r3, #1
	beq	.L22
	b	.L6
.L20:
	nop
.L6:
	ldr	r3, .L23+4
	mov	r2, #2
	str	r2, [r3]
	ldr	r3, .L23
	mov	r2, #1
	str	r2, [r3]
	ldr	r3, .L23+8
	mov	r2, #0
	str	r2, [r3]
	b	.L16
.L22:
	nop
.L9:
	mov	r3, #0
	str	r3, [fp, #-16]
	bl	rand
	mov	r3, r0
	str	r3, [fp, #-12]
	mov	r0, #1
	bl	assume
	b	.L11
.L15:
	ldr	r3, [fp, #-16]
	add	r3, r3, #1
	str	r3, [fp, #-16]
.L12:
	ldr	r3, .L23+12
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	ldr	r3, .L23+12
	ldr	r3, [r3]
	ldr	r2, .L23+16
	str	r3, [r2]
	ldr	r3, .L23+20
	mov	r2, #0
	str	r2, [r3]
	ldr	r3, .L23+24
	mov	r2, #1
	str	r2, [r3]
	ldr	r3, .L23+28
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L13
	ldr	r3, .L23+24
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L13
	ldr	r3, .L23+32
	mov	r2, #0
	str	r2, [r3]
.L13:
	ldr	r3, .L23+36
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L14
	ldr	r3, .L23+24
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L14
	ldr	r3, .L23+40
	mov	r2, #0
	str	r2, [r3]
.L14:
	ldr	r3, .L23+24
	mov	r2, #2
	str	r2, [r3]
	ldr	r3, .L23+4
	mov	r2, #2
	str	r2, [r3]
	ldr	r3, .L23
	mov	r2, #2
	str	r2, [r3]
	ldr	r2, .L23+44
	ldr	r3, [fp, #-8]
	str	r3, [r2]
	b	.L16
.L21:
	nop
.L8:
	ldr	r3, .L23+44
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	ldr	r3, [fp, #-8]
	add	r2, r3, #1
	ldr	r3, .L23+12
	ldr	r3, [r3]
	cmp	r2, r3
	beq	.L11
	ldr	r3, [fp, #-8]
	add	r2, r3, #2
	ldr	r3, .L23+12
	ldr	r3, [r3]
	cmp	r2, r3
	beq	.L11
	mov	r0, #0
	bl	assert
.L11:
	ldr	r2, [fp, #-16]
	ldr	r3, [fp, #-12]
	cmp	r2, r3
	bcc	.L15
	nop
.L10:
.L16:
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L24:
	.align	2
.L23:
	.word	wl_pc
	.word	wl_st
	.word	e_wl
	.word	d
	.word	data
	.word	processed
	.word	e_f
	.word	c1_pc
	.word	c1_st
	.word	c2_pc
	.word	c2_st
	.word	t_b
	.size	write_loop, .-write_loop
	.align	2
	.global	compute1
	.syntax unified
	.arm
	.fpu softvfp
	.type	compute1, %function
compute1:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	ldr	r3, .L39
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L37
	ldr	r3, .L39
	ldr	r3, [r3]
	cmp	r3, #1
	beq	.L38
	b	.L27
.L37:
	nop
.L27:
	mov	r3, #0
	str	r3, [fp, #-12]
	bl	rand
	mov	r3, r0
	str	r3, [fp, #-8]
	mov	r0, #1
	bl	assume
	b	.L29
.L33:
	ldr	r3, [fp, #-12]
	add	r3, r3, #1
	str	r3, [fp, #-12]
.L30:
	ldr	r3, .L39+4
	mov	r2, #2
	str	r2, [r3]
	ldr	r3, .L39
	mov	r2, #1
	str	r2, [r3]
	b	.L34
.L38:
	nop
.L28:
	ldr	r3, .L39+8
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L29
	ldr	r3, .L39+12
	ldr	r3, [r3]
	add	r3, r3, #1
	ldr	r2, .L39+12
	str	r3, [r2]
	ldr	r3, .L39+16
	mov	r2, #1
	str	r2, [r3]
	ldr	r3, .L39+20
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L32
	ldr	r3, .L39+16
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L32
	ldr	r3, .L39+24
	mov	r2, #0
	str	r2, [r3]
.L32:
	ldr	r3, .L39+16
	mov	r2, #2
	str	r2, [r3]
.L29:
	ldr	r2, [fp, #-12]
	ldr	r3, [fp, #-8]
	cmp	r2, r3
	bcc	.L33
	nop
.L31:
.L34:
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L40:
	.align	2
.L39:
	.word	c1_pc
	.word	c1_st
	.word	processed
	.word	data
	.word	e_g
	.word	wb_pc
	.word	wb_st
	.size	compute1, .-compute1
	.align	2
	.global	compute2
	.syntax unified
	.arm
	.fpu softvfp
	.type	compute2, %function
compute2:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	ldr	r3, .L55
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L53
	ldr	r3, .L55
	ldr	r3, [r3]
	cmp	r3, #1
	beq	.L54
	b	.L43
.L53:
	nop
.L43:
	mov	r3, #0
	str	r3, [fp, #-12]
	bl	rand
	mov	r3, r0
	str	r3, [fp, #-8]
	mov	r0, #1
	bl	assume
	b	.L45
.L49:
	ldr	r3, [fp, #-12]
	add	r3, r3, #1
	str	r3, [fp, #-12]
.L46:
	ldr	r3, .L55+4
	mov	r2, #2
	str	r2, [r3]
	ldr	r3, .L55
	mov	r2, #1
	str	r2, [r3]
	b	.L50
.L54:
	nop
.L44:
	ldr	r3, .L55+8
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L45
	ldr	r3, .L55+12
	ldr	r3, [r3]
	add	r3, r3, #1
	ldr	r2, .L55+12
	str	r3, [r2]
	ldr	r3, .L55+16
	mov	r2, #1
	str	r2, [r3]
	ldr	r3, .L55+20
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L48
	ldr	r3, .L55+16
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L48
	ldr	r3, .L55+24
	mov	r2, #0
	str	r2, [r3]
.L48:
	ldr	r3, .L55+16
	mov	r2, #2
	str	r2, [r3]
.L45:
	ldr	r2, [fp, #-12]
	ldr	r3, [fp, #-8]
	cmp	r2, r3
	bcc	.L49
	nop
.L47:
.L50:
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L56:
	.align	2
.L55:
	.word	c2_pc
	.word	c2_st
	.word	processed
	.word	data
	.word	e_g
	.word	wb_pc
	.word	wb_st
	.size	compute2, .-compute2
	.align	2
	.global	write_back
	.syntax unified
	.arm
	.fpu softvfp
	.type	write_back, %function
write_back:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	ldr	r3, .L70
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L68
	ldr	r3, .L70
	ldr	r3, [r3]
	cmp	r3, #1
	beq	.L69
	b	.L59
.L68:
	nop
.L59:
	mov	r3, #0
	str	r3, [fp, #-12]
	bl	rand
	mov	r3, r0
	str	r3, [fp, #-8]
	mov	r0, #1
	bl	assume
	b	.L61
.L64:
	ldr	r3, [fp, #-12]
	add	r3, r3, #1
	str	r3, [fp, #-12]
.L62:
	ldr	r3, .L70+4
	mov	r2, #2
	str	r2, [r3]
	ldr	r3, .L70
	mov	r2, #1
	str	r2, [r3]
	b	.L65
.L69:
	nop
.L60:
	ldr	r3, .L70+8
	ldr	r3, [r3]
	ldr	r2, .L70+12
	str	r3, [r2]
	ldr	r3, .L70+16
	mov	r2, #1
	str	r2, [r3]
	ldr	r3, .L70+20
	mov	r2, #1
	str	r2, [r3]
.L61:
	ldr	r2, [fp, #-12]
	ldr	r3, [fp, #-8]
	cmp	r2, r3
	bcc	.L64
	nop
.L63:
.L65:
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L71:
	.align	2
.L70:
	.word	wb_pc
	.word	wb_st
	.word	data
	.word	c_t
	.word	c_req_up
	.word	processed
	.size	write_back, .-write_back
	.align	2
	.global	read
	.syntax unified
	.arm
	.fpu softvfp
	.type	read, %function
read:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	@ link register save eliminated.
	str	fp, [sp, #-4]!
	add	fp, sp, #0
	ldr	r3, .L79
	ldr	r3, [r3]
	ldr	r2, .L79+4
	str	r3, [r2]
	ldr	r3, .L79+8
	mov	r2, #1
	str	r2, [r3]
	ldr	r3, .L79+12
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L77
	ldr	r3, .L79+16
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L78
	ldr	r3, .L79+20
	mov	r2, #0
	str	r2, [r3]
	b	.L75
.L77:
	nop
	b	.L73
.L78:
	nop
.L73:
	ldr	r3, .L79+12
	ldr	r3, [r3]
	cmp	r3, #2
	bne	.L75
	ldr	r3, .L79+8
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L75
	ldr	r3, .L79+20
	mov	r2, #0
	str	r2, [r3]
.L75:
	ldr	r3, .L79+8
	mov	r2, #2
	str	r2, [r3]
	ldr	r3, .L79+24
	mov	r2, #2
	str	r2, [r3]
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
.L80:
	.align	2
.L79:
	.word	c
	.word	d
	.word	e_e
	.word	wl_pc
	.word	e_wl
	.word	wl_st
	.word	r_st
	.size	read, .-read
	.align	2
	.global	eval
	.syntax unified
	.arm
	.fpu softvfp
	.type	eval, %function
eval:
	@ args = 0, pretend = 0, frame = 32
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #32
	mov	r3, #0
	str	r3, [fp, #-32]
	bl	rand
	mov	r3, r0
	str	r3, [fp, #-28]
	mov	r0, #1
	bl	assume
	b	.L82
.L90:
	ldr	r3, [fp, #-32]
	add	r3, r3, #1
	str	r3, [fp, #-32]
.L83:
	ldr	r3, .L93
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L84
	ldr	r3, .L93+4
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L84
	ldr	r3, .L93+8
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L84
	ldr	r3, .L93+12
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L84
	ldr	r3, .L93+16
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L92
.L84:
	ldr	r3, .L93
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L86
	bl	rand
	str	r0, [fp, #-24]
	ldr	r3, [fp, #-24]
	cmp	r3, #0
	beq	.L86
	ldr	r3, .L93
	mov	r2, #1
	str	r2, [r3]
	bl	write_loop
.L86:
	ldr	r3, .L93+4
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L87
	bl	rand
	str	r0, [fp, #-20]
	ldr	r3, [fp, #-20]
	cmp	r3, #0
	beq	.L87
	ldr	r3, .L93+4
	mov	r2, #1
	str	r2, [r3]
	bl	compute1
.L87:
	ldr	r3, .L93+8
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L88
	bl	rand
	str	r0, [fp, #-16]
	ldr	r3, [fp, #-16]
	cmp	r3, #0
	beq	.L88
	ldr	r3, .L93+8
	mov	r2, #1
	str	r2, [r3]
	bl	compute2
.L88:
	ldr	r3, .L93+12
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L89
	bl	rand
	str	r0, [fp, #-12]
	ldr	r3, [fp, #-12]
	cmp	r3, #0
	beq	.L89
	ldr	r3, .L93+12
	mov	r2, #1
	str	r2, [r3]
	bl	write_back
.L89:
	ldr	r3, .L93+16
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L82
	bl	rand
	str	r0, [fp, #-8]
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	beq	.L82
	ldr	r3, .L93+16
	mov	r2, #1
	str	r2, [r3]
	bl	read
.L82:
	ldr	r2, [fp, #-32]
	ldr	r3, [fp, #-28]
	cmp	r2, r3
	bcc	.L90
	b	.L85
.L92:
	nop
.L85:
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L94:
	.align	2
.L93:
	.word	wl_st
	.word	c1_st
	.word	c2_st
	.word	wb_st
	.word	r_st
	.size	eval, .-eval
	.align	2
	.global	start_simulation
	.syntax unified
	.arm
	.fpu softvfp
	.type	start_simulation, %function
start_simulation:
	@ args = 0, pretend = 0, frame = 16
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #16
	mov	r3, #0
	str	r3, [fp, #-12]
	ldr	r3, .L154
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L96
	ldr	r3, .L154+4
	ldr	r2, [r3]
	ldr	r3, .L154+8
	ldr	r3, [r3]
	cmp	r2, r3
	beq	.L97
	ldr	r3, .L154+8
	ldr	r3, [r3]
	ldr	r2, .L154+4
	str	r3, [r2]
	ldr	r3, .L154+12
	mov	r2, #0
	str	r2, [r3]
.L97:
	ldr	r3, .L154
	mov	r2, #0
	str	r2, [r3]
.L96:
	ldr	r3, .L154+16
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L98
	ldr	r3, .L154+20
	mov	r2, #0
	str	r2, [r3]
	b	.L99
.L98:
	ldr	r3, .L154+20
	mov	r2, #2
	str	r2, [r3]
.L99:
	ldr	r3, .L154+24
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L100
	ldr	r3, .L154+28
	mov	r2, #0
	str	r2, [r3]
	b	.L101
.L100:
	ldr	r3, .L154+28
	mov	r2, #2
	str	r2, [r3]
.L101:
	ldr	r3, .L154+32
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L102
	ldr	r3, .L154+36
	mov	r2, #0
	str	r2, [r3]
	b	.L103
.L102:
	ldr	r3, .L154+36
	mov	r2, #2
	str	r2, [r3]
.L103:
	ldr	r3, .L154+40
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L104
	ldr	r3, .L154+44
	mov	r2, #0
	str	r2, [r3]
	b	.L105
.L104:
	ldr	r3, .L154+44
	mov	r2, #2
	str	r2, [r3]
.L105:
	ldr	r3, .L154+48
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L106
	ldr	r3, .L154+52
	mov	r2, #0
	str	r2, [r3]
	b	.L107
.L106:
	ldr	r3, .L154+52
	mov	r2, #2
	str	r2, [r3]
.L107:
	ldr	r3, .L154+56
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L108
	ldr	r3, .L154+56
	mov	r2, #1
	str	r2, [r3]
.L108:
	ldr	r3, .L154+60
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L109
	ldr	r3, .L154+60
	mov	r2, #1
	str	r2, [r3]
.L109:
	ldr	r3, .L154+64
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L110
	ldr	r3, .L154+64
	mov	r2, #1
	str	r2, [r3]
.L110:
	ldr	r3, .L154+12
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L111
	ldr	r3, .L154+12
	mov	r2, #1
	str	r2, [r3]
.L111:
	ldr	r3, .L154+68
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L112
	ldr	r3, .L154+68
	mov	r2, #1
	str	r2, [r3]
.L112:
	ldr	r3, .L154+72
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L149
	ldr	r3, .L154+68
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L150
	ldr	r3, .L154+20
	mov	r2, #0
	str	r2, [r3]
	b	.L115
.L149:
	nop
	b	.L113
.L150:
	nop
.L113:
	ldr	r3, .L154+72
	ldr	r3, [r3]
	cmp	r3, #2
	bne	.L115
	ldr	r3, .L154+64
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L115
	ldr	r3, .L154+20
	mov	r2, #0
	str	r2, [r3]
.L115:
	ldr	r3, .L154+76
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L116
	ldr	r3, .L154+56
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L116
	ldr	r3, .L154+28
	mov	r2, #0
	str	r2, [r3]
.L116:
	ldr	r3, .L154+80
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L117
	ldr	r3, .L154+56
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L117
	ldr	r3, .L154+36
	mov	r2, #0
	str	r2, [r3]
.L117:
	ldr	r3, .L154+84
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L118
	ldr	r3, .L154+60
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L118
	ldr	r3, .L154+44
	mov	r2, #0
	str	r2, [r3]
.L118:
	ldr	r3, .L154+12
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L119
	ldr	r3, .L154+52
	mov	r2, #0
	str	r2, [r3]
.L119:
	ldr	r3, .L154+64
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L120
	ldr	r3, .L154+64
	mov	r2, #2
	str	r2, [r3]
.L120:
	ldr	r3, .L154+56
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L121
	ldr	r3, .L154+56
	mov	r2, #2
	str	r2, [r3]
.L121:
	ldr	r3, .L154+60
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L122
	ldr	r3, .L154+60
	mov	r2, #2
	str	r2, [r3]
.L122:
	ldr	r3, .L154+12
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L123
	ldr	r3, .L154+12
	mov	r2, #2
	str	r2, [r3]
.L123:
	ldr	r3, .L154+68
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L124
	ldr	r3, .L154+68
	mov	r2, #2
	str	r2, [r3]
.L124:
	mov	r3, #0
	str	r3, [fp, #-16]
	bl	rand
	mov	r3, r0
	str	r3, [fp, #-8]
	mov	r0, #1
	bl	assume
	b	.L125
.L147:
	ldr	r3, [fp, #-16]
	add	r3, r3, #1
	str	r3, [fp, #-16]
.L126:
	mov	r3, #1
	str	r3, [fp, #-12]
	bl	eval
	mov	r3, #2
	str	r3, [fp, #-12]
	ldr	r3, .L154
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L127
	ldr	r3, .L154+4
	ldr	r2, [r3]
	ldr	r3, .L154+8
	ldr	r3, [r3]
	cmp	r2, r3
	beq	.L128
	ldr	r3, .L154+8
	ldr	r3, [r3]
	ldr	r2, .L154+4
	str	r3, [r2]
	ldr	r3, .L154+12
	mov	r2, #0
	str	r2, [r3]
.L128:
	ldr	r3, .L154
	mov	r2, #0
	str	r2, [r3]
.L127:
	mov	r3, #3
	str	r3, [fp, #-12]
	ldr	r3, .L154+56
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L129
	ldr	r3, .L154+56
	mov	r2, #1
	str	r2, [r3]
.L129:
	ldr	r3, .L154+60
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L130
	ldr	r3, .L154+60
	mov	r2, #1
	str	r2, [r3]
.L130:
	ldr	r3, .L154+64
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L131
	ldr	r3, .L154+64
	mov	r2, #1
	str	r2, [r3]
.L131:
	ldr	r3, .L154+12
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L132
	ldr	r3, .L154+12
	mov	r2, #1
	str	r2, [r3]
.L132:
	ldr	r3, .L154+68
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L133
	ldr	r3, .L154+68
	mov	r2, #1
	str	r2, [r3]
.L133:
	ldr	r3, .L154+72
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L151
	ldr	r3, .L154+68
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L152
	ldr	r3, .L154+20
	mov	r2, #0
	str	r2, [r3]
	b	.L136
.L151:
	nop
	b	.L134
.L152:
	nop
.L134:
	ldr	r3, .L154+72
	ldr	r3, [r3]
	cmp	r3, #2
	bne	.L136
	ldr	r3, .L154+64
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L136
	ldr	r3, .L154+20
	mov	r2, #0
	str	r2, [r3]
.L136:
	ldr	r3, .L154+76
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L137
	ldr	r3, .L154+56
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L137
	ldr	r3, .L154+28
	mov	r2, #0
	str	r2, [r3]
.L137:
	ldr	r3, .L154+80
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L138
	ldr	r3, .L154+56
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L138
	ldr	r3, .L154+36
	mov	r2, #0
	str	r2, [r3]
.L138:
	ldr	r3, .L154+84
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L139
	ldr	r3, .L154+60
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L139
	ldr	r3, .L154+44
	mov	r2, #0
	str	r2, [r3]
.L139:
	ldr	r3, .L154+12
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L140
	ldr	r3, .L154+52
	mov	r2, #0
	str	r2, [r3]
.L140:
	ldr	r3, .L154+64
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L141
	ldr	r3, .L154+64
	mov	r2, #2
	str	r2, [r3]
.L141:
	ldr	r3, .L154+56
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L142
	ldr	r3, .L154+56
	mov	r2, #2
	str	r2, [r3]
.L142:
	ldr	r3, .L154+60
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L143
	ldr	r3, .L154+60
	mov	r2, #2
	str	r2, [r3]
.L143:
	ldr	r3, .L154+12
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L144
	ldr	r3, .L154+12
	mov	r2, #2
	str	r2, [r3]
.L144:
	ldr	r3, .L154+68
	ldr	r3, [r3]
	cmp	r3, #1
	bne	.L145
	ldr	r3, .L154+68
	mov	r2, #2
	str	r2, [r3]
.L145:
	ldr	r3, .L154+20
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L125
	ldr	r3, .L154+28
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L125
	ldr	r3, .L154+36
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L125
	ldr	r3, .L154+44
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L125
	ldr	r3, .L154+52
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L153
.L125:
	ldr	r2, [fp, #-16]
	ldr	r3, [fp, #-8]
	cmp	r2, r3
	bcc	.L147
	b	.L146
.L153:
	nop
.L146:
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L155:
	.align	2
.L154:
	.word	c_req_up
	.word	c
	.word	c_t
	.word	e_c
	.word	wl_i
	.word	wl_st
	.word	c1_i
	.word	c1_st
	.word	c2_i
	.word	c2_st
	.word	wb_i
	.word	wb_st
	.word	r_i
	.word	r_st
	.word	e_f
	.word	e_g
	.word	e_e
	.word	e_wl
	.word	wl_pc
	.word	c1_pc
	.word	c2_pc
	.word	wb_pc
	.size	start_simulation, .-start_simulation
	.align	2
	.global	main
	.syntax unified
	.arm
	.fpu softvfp
	.type	main, %function
main:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	ldr	r3, .L158
	mov	r2, #2
	str	r2, [r3]
	ldr	r3, .L158
	ldr	r3, [r3]
	ldr	r2, .L158+4
	str	r3, [r2]
	ldr	r3, .L158+4
	ldr	r3, [r3]
	ldr	r2, .L158+8
	str	r3, [r2]
	ldr	r3, .L158+8
	ldr	r3, [r3]
	ldr	r2, .L158+12
	str	r3, [r2]
	ldr	r3, .L158+12
	ldr	r3, [r3]
	ldr	r2, .L158+16
	str	r3, [r2]
	ldr	r3, .L158+20
	mov	r2, #0
	str	r2, [r3]
	ldr	r3, .L158+24
	mov	r2, #0
	str	r2, [r3]
	ldr	r3, .L158+28
	mov	r2, #0
	str	r2, [r3]
	ldr	r3, .L158+32
	mov	r2, #0
	str	r2, [r3]
	ldr	r3, .L158+36
	mov	r2, #1
	str	r2, [r3]
	ldr	r3, .L158+36
	ldr	r3, [r3]
	ldr	r2, .L158+40
	str	r3, [r2]
	ldr	r3, .L158+40
	ldr	r3, [r3]
	ldr	r2, .L158+44
	str	r3, [r2]
	ldr	r3, .L158+44
	ldr	r3, [r3]
	ldr	r2, .L158+48
	str	r3, [r2]
	ldr	r3, .L158+52
	mov	r2, #0
	str	r2, [r3]
	ldr	r3, .L158+56
	mov	r2, #0
	str	r2, [r3]
	ldr	r3, .L158+60
	mov	r2, #0
	str	r2, [r3]
	ldr	r3, .L158+64
	mov	r2, #0
	str	r2, [r3]
	bl	start_simulation
	mov	r3, #0
	str	r3, [fp, #-8]
	ldr	r3, [fp, #-8]
	mov	r0, r3
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L159:
	.align	2
.L158:
	.word	e_wl
	.word	e_c
	.word	e_g
	.word	e_f
	.word	e_e
	.word	wl_pc
	.word	c1_pc
	.word	c2_pc
	.word	wb_pc
	.word	wb_i
	.word	c2_i
	.word	c1_i
	.word	wl_i
	.word	r_i
	.word	c_req_up
	.word	d
	.word	c
	.size	main, .-main
	.ident	"GCC: (Ubuntu 9.4.0-1ubuntu1~20.04.2) 9.4.0"
	.section	.note.GNU-stack,"",%progbits
