1.assume.s			1.none.s
f	1	0000000000406430 <operator<<(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, Action const&)>:	f	1	0000000000406430 <operator<<(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, Action const&)>:
	2	0000000000000000: 02    pushq   %r15		2	0000000000000000: 02    pushq   %r15
	3	0000000000000002: 02    pushq   %r14		3	0000000000000002: 02    pushq   %r14
	4	0000000000000004: 02    pushq   %r12		4	0000000000000004: 02    pushq   %r12
	5	0000000000000006: 01    pushq   %rbx		5	0000000000000006: 01    pushq   %rbx
	6	0000000000000007: 01    pushq   %rax		6	0000000000000007: 01    pushq   %rax
	7	0000000000000008: 03    movq    %rsi, %r15		7	0000000000000008: 03    movq    %rsi, %r15
	8	000000000000000b: 03    movq    %rdi, %r14		8	000000000000000b: 03    movq    %rdi, %r14
n	9	000000000000000e: 05    movl    $4615017, %esi	n	9	000000000000000e: 05    movl    $4615801, %esi
	10	0000000000000013: 05    movl    $2, %edx		10	0000000000000013: 05    movl    $2, %edx
t	11	0000000000000018: 05    callq   0x418220 <std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long)>	t	11	0000000000000018: 05    callq   0x418280 <std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long)>
	12	000000000000001d: 02    xorl    %edx, %edx		12	000000000000001d: 03    movq    %rax, %r12
				13	0000000000000020: 03    movl    (%r15), %eax
	13	000000000000001f: 04    cmpl    $0, (%r15)		14	0000000000000023: 03    cmpl    $1, %eax
	14	0000000000000023: 03    sete    %dl
	15	0000000000000026: 05    movl    $4600341, %ecx		15	0000000000000026: 05    movl    $4601127, %ecx
	16	000000000000002b: 05    movl    $4600359, %esi		16	000000000000002b: 05    movl    $4601144, %edx
	17	0000000000000030: 04    cmoveq  %rcx, %rsi		17	0000000000000030: 04    cmoveq  %rcx, %rdx
	18	0000000000000034: 04    orq     $16, %rdx		18	0000000000000034: 02    testl   %eax, %eax
				19	0000000000000036: 05    movl    $4601109, %ebx
				20	000000000000003b: 04    cmovneq %rdx, %rbx
	19	0000000000000038: 03    movq    %rax, %rdi		21	000000000000003f: 03    movq    %rbx, %rdi
				22	0000000000000042: 05    callq   0x404f40 <strlen@plt>
				23	0000000000000047: 03    movq    %r12, %rdi
				24	000000000000004a: 03    movq    %rbx, %rsi
				25	000000000000004d: 03    movq    %rax, %rdx
				26	0000000000000050: 05    callq   0x418280 <std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long)>
				27	0000000000000055: 05    movl    $4714434, %esi
				28	000000000000005a: 05    movl    $1, %edx
				29	000000000000005f: 03    movq    %rax, %rdi
	20	000000000000003b: 05    callq   0x418220 <std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long)>		30	0000000000000062: 05    callq   0x418280 <std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long)>
	21	0000000000000040: 05    movl    $4713650, %esi
	22	0000000000000045: 05    movl    $1, %edx
	23	000000000000004a: 03    movq    %rax, %rdi
	24	000000000000004d: 05    callq   0x418220 <std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long)>
	25	0000000000000052: 03    movq    %rax, %r12		31	0000000000000067: 03    movq    %rax, %r12
	26	0000000000000055: 04    movq    8(%r15), %rax		32	000000000000006a: 04    movq    8(%r15), %rax
	27	0000000000000059: 03    testq   %rax, %rax		33	000000000000006e: 03    testq   %rax, %rax
	28	000000000000005c: 02    je      0x406493 <operator<<(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, Action const&)+0x63>
	29	000000000000005e: 03    movq    (%rax), %rbx
	30	0000000000000061: 02    jmp     0x406498 <operator<<(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, Action const&)+0x68>		34	0000000000000071: 02    je      0x4064a8 <operator<<(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, Action const&)+0x78>
				35	0000000000000073: 03    movq    (%rax), %rbx
				36	0000000000000076: 02    jmp     0x4064ad <operator<<(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, Action const&)+0x7d>
	31	0000000000000063: 05    movl    $4714020, %ebx		37	0000000000000078: 05    movl    $4714804, %ebx
	32	0000000000000068: 03    movq    %rbx, %rdi		38	000000000000007d: 03    movq    %rbx, %rdi
	33	000000000000006b: 05    callq   0x404f40 <strlen@plt>		39	0000000000000080: 05    callq   0x404f40 <strlen@plt>
	34	0000000000000070: 03    movq    %r12, %rdi		40	0000000000000085: 03    movq    %r12, %rdi
	35	0000000000000073: 03    movq    %rbx, %rsi		41	0000000000000088: 03    movq    %rbx, %rsi
	36	0000000000000076: 03    movq    %rax, %rdx		42	000000000000008b: 03    movq    %rax, %rdx
	37	0000000000000079: 05    callq   0x418220 <std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long)>
	38	000000000000007e: 05    movl    $4713650, %esi
	39	0000000000000083: 05    movl    $1, %edx
	40	0000000000000088: 03    movq    %rax, %rdi
	41	000000000000008b: 05    callq   0x418220 <std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long)>		43	000000000000008e: 05    callq   0x418280 <std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long)>
				44	0000000000000093: 05    movl    $4714434, %esi
	42	0000000000000090: 04    movl    16(%r15), %esi		45	0000000000000098: 05    movl    $1, %edx
	43	0000000000000094: 03    movq    %rax, %rdi		46	000000000000009d: 03    movq    %rax, %rdi
	44	0000000000000097: 05    callq   0x4051e0 <_ZNSt3__113basic_ostreamIcNS_11char_traitsIcEEElsEi@plt>
	45	000000000000009c: 05    movl    $4615777, %esi
	46	00000000000000a1: 05    movl    $2, %edx
	47	00000000000000a6: 03    movq    %rax, %rdi
	48	00000000000000a9: 05    callq   0x418220 <std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long)>		47	00000000000000a0: 05    callq   0x418280 <std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long)>
				48	00000000000000a5: 04    movl    16(%r15), %esi
				49	00000000000000a9: 03    movq    %rax, %rdi
				50	00000000000000ac: 05    callq   0x4051e0 <_ZNSt3__113basic_ostreamIcNS_11char_traitsIcEEElsEi@plt>
				51	00000000000000b1: 05    movl    $4616561, %esi
				52	00000000000000b6: 05    movl    $2, %edx
				53	00000000000000bb: 03    movq    %rax, %rdi
				54	00000000000000be: 05    callq   0x418280 <std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long)>
	49	00000000000000ae: 03    movq    %r14, %rax		55	00000000000000c3: 03    movq    %r14, %rax
	50	00000000000000b1: 04    addq    $8, %rsp		56	00000000000000c6: 04    addq    $8, %rsp
	51	00000000000000b5: 01    popq    %rbx		57	00000000000000ca: 01    popq    %rbx
	52	00000000000000b6: 02    popq    %r12		58	00000000000000cb: 02    popq    %r12
	53	00000000000000b8: 02    popq    %r14		59	00000000000000cd: 02    popq    %r14
	54	00000000000000ba: 02    popq    %r15		60	00000000000000cf: 02    popq    %r15
	55	00000000000000bc: 01    retq		61	00000000000000d1: 01    retq
				62	00000000000000d2: 10    nopw    %cs:(%rax,%rax)
	56	00000000000000bd: 03    nopl    (%rax)		63	00000000000000dc: 04    nopl    (%rax)

Legends
Colors  Added  Changed Deleted	Links (f)irst change (n)ext change (t)op