Break the vault

In this session, your mission will be to find the password required by the challenge vault (from Hackropole).

Hexdump

As usual, here is the summary of the basic reverse-engineering information.

tip

Do not forget to look at the .plt disassembly.

note

• The main does not return, it directly calls directly exit (thus, you can not use <main> return).
• The function tcgetattr and tcsetattr can be stubbed to simply return 0.

00000000000000100000002000000030000000400000005000000060000000700000008000000090000000a0000000b0000000c0000000d0000000e0000000f000000100000001100000012000000130000001400000015000000160000001700000018000000190000001a0000001b0000001c0000001d0000001e0000001f000000200000002100000022000000230000002400000025000000260000002700000028000000290000002a0000002b0000002c0000002d0000002e0000002f000000300000003100000032000000330000003400000035000000360000003700000038000000390000003a0000003b0000003c0000003d0000003e0000003f000000400000004100000042000000430000004400000045000000460000004700000048000000490000004a0000004b0000004c0000004d0000004e0000004f000000500000005100000052000000530000005400000055000000560000005700000058000000590000005a0000005b0000005c0000005d0000005e0000005f000000600000006100000062000000630000006400000065000000660000006700000068000000690000006a0000006b0000006c0000006d0000006e0000006f000000700000007100000072000000730000007400000075000000760000007700000078000000790000007a0000007b0000007c0000007d0000007e0000007f000000800000008100000082000000830000008400000085000000860000008700000088000000890000008a0000008b0000008c0000008d0000008e0000008f000000900000009100000092000000930000009400000095000000960000009700000098000000990000009a0000009b0000009c0000009d0000009e0000009f000000a0000000a1000000a2000000a3000000a4000000a5000000a6000000a7000000a8000000a9000000aa000000ab000000ac000000ad000000ae000000af000000b0000000b1000000b2000000b3000000b4000000b5000000b6000000b7000000b8000000b9000000ba000000bb000000bc000000bd000000be000000bf000000c0000000c1000000c2000000c3000000c4000000c5000000c6000000c7000000c8000000c9000000ca000000cb000000cc000000cd000000ce000000cf000000d0000000d1000000d2000000d3000000d4000000d5000000d6000000d7000000d8000000d9000000da000000db000000dc000000dd000000de000000df000000e0000000e1000000e2000000e3000000e4000000e5000000e6000000e7000000e8000000e9000000ea000000eb000000ec000000ed000000ee000000ef000000f0000000f1000000f2000000f3000000f4000000f5000000f6000000f7000000f8000000f9000000fa000000fb000000fc000000fd000000fe000000ff000001000000010100000102000001030000010400000105000001060000010700000108000001090000010a0000010b0000010c0000010d0000010e0000010f000001100000011100000112000001130000011400000115000001160000011700000118000001190000011a0000011b0000011c0000011d0000011e0000011f000001200000012100000122000001230000012400000125000001260000012700000128000001290000012a0000012b0000012c0000012d0000012e0000012f000001300000013100000132000001330000013400000135000001360000013700000138000001390000013a0000013b0000013c0000013d0000013e0000013f000001400000014100000142000001430000014400000145000001460000014700000148000001490000014a0000014b0000014c0000014d0000014e0000014f000001500000015100000152000001530000015400000155000001560000015700000158000001590000015a0000015b0000015c0000015d0000015e0000015f000001600000016100000162000001630000016400000165000001660000016700000168000001690000016a0000016b0000016c0000016d0000016e0000016f000001700000017100000172000001730000017400000175000001760000017700000178000001790000017a0000017b0000017c0000017d0000017e0000017f000001800000018100000182000001830000018400000185000001860000018700000188000001890000018a0000018b0000018c0000018d0000018e0000018f000001900000019100000192000001930000019400000195000001960000019700000198000001990000019a0000019b0000019c0000019d0000019e0000019f000001a0000001a1000001a2000001a3000001a4000001a5000001a6000001a7000001a8000001a9000001aa000001ab000001ac000001ad000001ae000001af000001b0000001b1000001b2000001b3000001b4000001b5000001b6000001b7000001b8000001b9000001ba000001bb000001bc000001bd000001be000001bf000001c0000001c1000001c2000001c3000001c4000001c5000001c6000001c7000001c8000001c9000001ca000001cb000001cc000001cd000001ce000001cf000001d0000001d1000001d2000001d3000001d4000001d5000001d6000001d7000001d8000001d9000001da000001db000001dc000001dd000001de000001df000001e0000001e1000001e2000001e3000001e4000001e5000001e6000001e7000001e8000001e9000001ea000001eb000001ec000001ed000001ee000001ef000001f0000001f1000001f2000001f3000001f4000001f5000001f6000001f7000001f8000001f9000001fa000001fb000001fc000001fd000001fe000001ff000002000000020100000202000002030000020400000205000002060000020700000208000002090000020a0000020b0000020c0000020d0000020e0000020f000002100000021100000212000002130000021400000215000002160000021700000218000002190000021a0000021b0000021c0000021d0000021e0000021f000002200000022100000222000002230000022400000225000002260000022700000228000002290000022a0000022b0000022c0000022d0000022e0000022f000002300000023100000232000002330000023400000235000002360000023700000238000002390000023a0000023b0000023c0000023d0000023e0000023f000002400000024100000242000002430000024400000245000002460000024700000248000002490000024a0000024b0000024c0000024d0000024e0000024f000002500000025100000252000002530000025400000255000002560000025700000258000002590000025a0000025b0000025c0000025d0000025e0000025f000002600000026100000262000002630000026400000265000002660000026700000268000002690000026a0000026b0000026c0000026d0000026e0000026f000002700000027100000272000002730000027400000275000002760000027700000278000002790000027a0000027b0000027c0000027d0000027e0000027f000002800000028100000282000002830000028400000285000002860000028700000288000002890000028a0000028b0000028c0000028d0000028e0000028f000002900000029100000292000002930000029400000295000002960000029700000298000002990000029a0000029b0000029c0000029d0000029e0000029f000002a0000002a1000002a2000002a3000002a4000002a5000002a6000002a7000002a8000002a9000002aa000002ab000002ac000002ad000002ae000002af000002b0000002b1000002b2000002b3000002b4000002b5000002b6000002b7000002b8000002b9000002ba000002bb000002bc000002bd000002be000002bf000002c0000002c1000002c2000002c3000002c4000002c5000002c6000002c7000002c8000002c9000002ca000002cb000002cc000002cd000002ce000002cf000002d0000002d1000002d2000002d3000002d4000002d5000002d6000002d7000002d8000002d9000002da000002db000002dc000002dd000002de000002df000002e0000002e1000002e2000002e3000002e4000002e5000002e6000002e7000002e8000002e9000002ea000002eb000002ec000002ed000002ee000002ef000002f0000002f1000002f2000002f3000002f4000002f5000002f6000002f7000002f8000002f9000002fa000002fb000002fc000002fd000002fe000002ff000003000000030100000302000003030000030400000305000003060000030700000308000003090000030a0000030b0000030c0000030d0000030e0000030f000003100000031100000312000003130000031400000315000003160000031700000318000003190000031a0000031b0000031c0000031d0000031e0000031f00000320000003210

7f45 4c46 0201 0100 0000 0000 0000 0000 0300 3e00 0100 0000 1008 0000 0000 0000 4000 0000 0000 0000 e02a 0000 0000 0000 0000 0000 4000 3800 0900 4000 1d00 1c00 0600 0000 0400 0000 4000 0000 0000 0000 4000 0000 0000 0000 4000 0000 0000 0000 f801 0000 0000 0000 f801 0000 0000 0000 0800 0000 0000 0000 0300 0000 0400 0000 3802 0000 0000 0000 3802 0000 0000 0000 3802 0000 0000 0000 1c00 0000 0000 0000 1c00 0000 0000 0000 0100 0000 0000 0000 0100 0000 0500 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 d80e 0000 0000 0000 d80e 0000 0000 0000 0000 2000 0000 0000 0100 0000 0600 0000 781d 0000 0000 0000 781d 2000 0000 0000 781d 2000 0000 0000 a002 0000 0000 0000 5003 0000 0000 0000 0000 2000 0000 0000 0200 0000 0600 0000 881d 0000 0000 0000 881d 2000 0000 0000 881d 2000 0000 0000 f001 0000 0000 0000 f001 0000 0000 0000 0800 0000 0000 0000 0400 0000 0400 0000 5402 0000 0000 0000 5402 0000 0000 0000 5402 0000 0000 0000 4400 0000 0000 0000 4400 0000 0000 0000 0400 0000 0000 0000 50e5 7464 0400 0000 6c0d 0000 0000 0000 6c0d 0000 0000 0000 6c0d 0000 0000 0000 4400 0000 0000 0000 4400 0000 0000 0000 0400 0000 0000 0000 51e5 7464 0600 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 1000 0000 0000 0000 52e5 7464 0400 0000 781d 0000 0000 0000 781d 2000 0000 0000 781d 2000 0000 0000 8802 0000 0000 0000 8802 0000 0000 0000 0100 0000 0000 0000 2f6c 6962 3634 2f6c 642d 6c69 6e75 782d 7838 362d 3634 2e73 6f2e 3200 0400 0000 1000 0000 0100 0000 474e 5500 0000 0000 0300 0000 0200 0000 0000 0000 0400 0000 1400 0000 0300 0000 474e 5500 29f7 2609 e9d0 7b04 8545 e636 9473 8662 fea2 48da 0200 0000 0f00 0000 0100 0000 0600 0000 0001 0000 0001 1002 0f00 0000 1000 0000 291d 8c1c 39f2 8b1c 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 1c00 0000 1200 0000 0000 0000 0000 0000 0000 0000 0000 0000 8900 0000 2000 0000 0000 0000 0000 0000 0000 0000 0000 0000 1700 0000 1200 0000 0000 0000 0000 0000 0000 0000 0000 0000 2400 0000 1200 0000 0000 0000 0000 0000 0000 0000 0000 0000 6b00 0000 1200 0000 0000 0000 0000 0000 0000 0000 0000 0000 2b00 0000 1200 0000 0000 0000 0000 0000 0000 0000 0000 0000 a500 0000 2000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0b00 0000 1200 0000 0000 0000 0000 0000 0000 0000 0000 0000 5200 0000 1200 0000 0000 0000 0000 0000 0000 0000 0000 0000 3300 0000 1200 0000 0000 0000 0000 0000 0000 0000 0000 0000 1200 0000 1200 0000 0000 0000 0000 0000 0000 0000 0000 0000 4b00 0000 1200 0000 0000 0000 0000 0000 0000 0000 0000 0000 b400 0000 2000 0000 0000 0000 0000 0000 0000 0000 0000 0000 5c00 0000 2200 0000 0000 0000 0000 0000 0000 0000 0000 0000 3d00 0000 1100 1800 2020 2000 0000 0000 0800 0000 0000 0000 4400 0000 1100 1800 4020 2000 0000 0000 0800 0000 0000 0000 006c 6962 632e 736f 2e36 0066 666c 7573 6800 6578 6974 0070 7574 7300 7075 7463 6861 7200 7072 696e 7466 0067 6574 6368 6172 0074 6373 6574 6174 7472 0073 7464 6f75 7400 7374 6465 7272 0066 7772 6974 6500 7463 6765 7461 7474 7200 5f5f 6378 615f 6669 6e61 6c69 7a65 005f 5f6c 6962 635f 7374 6172 745f 6d61 696e 0047 4c49 4243 5f32 2e32 2e35 005f 4954 4d5f 6465 7265 6769 7374 6572 544d 436c 6f6e 6554 6162 6c65 005f 5f67 6d6f 6e5f 7374 6172 745f 5f00 5f49 544d 5f72 6567 6973 7465 7254 4d43 6c6f 6e65 5461 626c 6500 0000 0200 0000 0200 0200 0200 0200 0000 0200 0200 0200 0200 0200 0000 0200 0200 0200 0100 0100 0100 0000 1000 0000 0000 0000 751a 6909 0000 0200 7d00 0000 0000 0000 781d 2000 0000 0000 0800 0000 0000 0000 1009 0000 0000 0000 801d 2000 0000 0000 0800 0000 0000 0000 d008 0000 0000 0000 0820 2000 0000 0000 0800 0000 0000 0000 0820 2000 0000 0000 1020 2000 0000 0000 0800 0000 0000 0000 780c 0000 0000 0000 d81f 2000 0000 0000 0600 0000 0200 0000 0000 0000 0000 0000 e01f 2000 0000 0000 0600 0000 0500 0000 0000 0000 0000 0000 e81f 2000 0000 0000 0600 0000 0700 0000 0000 0000 0000 0000 f01f 2000 0000 0000 0600 0000 0d00 0000 0000 0000 0000 0000 f81f 2000 0000 0000 0600 0000 0e00 0000 0000 0000 0000 0000 2020 2000 0000 0000 0500 0000 0f00 0000 0000 0000 0000 0000 4020 2000 0000 0000 0500 0000 1000 0000 0000 0000 0000 0000 901f 2000 0000 0000 0700 0000 0100 0000 0000 0000 0000 0000 981f 2000 0000 0000 0700 0000 0300 0000 0000 0000 0000 0000 a01f 2000 0000 0000 0700 0000 0400 0000 0000 0000 0000 0000 a81f 2000 0000 0000 0700 0000 0600 0000 0000 0000 0000 0000 b01f 2000 0000 0000 0700 0000 0800 0000 0000 0000 0000 0000 b81f 2000 0000 0000 0700 0000 0900 0000 0000 0000 0000 0000 c01f 2000 0000 0000 0700 0000 0a00 0000 0000 0000 0000 0000 c81f 2000 0000 0000 0700 0000 0b00 0000 0000 0000 0000 0000 d01f 2000 0000 0000 0700 0000 0c00 0000 0000 0000 0000 0000 4883 ec08 488b 0595 1820 0048 85c0 7402 ffd0 4883 c408 c300 ff35 1a18 2000 ff25 1c18 2000 0f1f 4000 ff25 1a18 2000 6800 0000 00e9 e0ff ffff ff25 1218 2000 6801 0000 00e9 d0ff ffff ff25 0a18 2000 6802 0000 00e9 c0ff ffff ff25 0218 2000 6803 0000 00e9 b0ff ffff ff25 fa17 2000 6804 0000 00e9 a0ff ffff ff25 f217 2000 6805 0000 00e9 90ff ffff ff25 ea17 2000 6806 0000 00e9 80ff ffff ff25 e217 2000 6807 0000 00e9 70ff ffff ff25 da17 2000 6808 0000 00e9 60ff ffff ff25 f217 2000 6690 0000 0000 0000 0000 31ed 4989 d15e 4889 e248 83e4 f050 544c 8d05 3a04 0000 488d 0dc3 0300 0048 8d3d 3201 0000 ff15 a617 2000 f40f 1f44 0000 488d 3dd1 1720 0055 488d 05c9 1720 0048 39f8 4889 e574 1948 8b05 7a17 2000 4885 c074 0d5d ffe0 662e 0f1f 8400 0000 0000 5dc3 0f1f 4000 662e 0f1f 8400 0000 0000 488d 3d91 1720 0048 8d35 8a17 2000 5548 29fe 4889 e548 c1fe 0348 89f0 48c1 e83f 4801 c648 d1fe 7418 488b 0541 1720 0048 85c0 740c 5dff e066 0f1f 8400 0000 0000 5dc3 0f1f 4000 662e 0f1f 8400 0000 0000 803d 7117 2000 0075 2f48 833d 1717 2000 0055 4889 e574 0c48 8b3d 1a17 2000 e80d ffff ffe8 48ff ffff c605 4917 2000 015d c30f 1f80 0000 0000 f3c3 660f 1f44 0000 5548 89e5 5de9 66ff ffff 5548 89e5 897d fc89 f088 45f8 488b 35e3 1620 008b 45fc 8d48 0aba cdcc cccc 89c8 f7e2 c1ea 0589 d0c1 e002 01d0 c1e0 0329 c189 ca89 d048 01f0 0fb6 000f bed0 0fb6 45f8 39c2 0f94 c00f b6c0 5dc3 5548 89e5 4881 ecb0 0000 0089 bd5c ffff ff48 89b5 50ff ffff 6448 8b04 2528 0000 0048 8945 f831 c0c7 8564 ffff ff00 0000 00c7 8568 ffff ff01 0000 00c7 856c ffff ff00 0000 0048 8d85 70ff ffff 4889 c6bf 0000 0000 e801 feff ff83 f8ff 752a 488b 0575 1620 0048 89c1 ba09 0000 00be 0100 0000 488d 3dc2 0200 00e8 0cfe ffff bfff ffff ffe8 f2fd ffff 488b 8570 ffff ff48 8b95 78ff ffff 4889 45b0 4889 55b8 488b 4580 488b 5588 4889 45c0 4889 55c8 488b 4590 488b 5598 4889 45d0 4889 55d8 488b 45a0 4889 45e0 8b45 a889 45e8 8b85 7cff ffff 83e0 f789 857c ffff ff48 8d85 70ff ffff 4889 c2be 0200 0000 bf00 0000 00e8 76fd ffff 83f8 ff75 2a48 8b05 da15 2000 4889 c1ba 0900 0000 be01 0000 0048 8d3d 3102 0000 e871 fdff ffbf ffff ffff e857 fdff ff48 8d3d 2802 0000 e8eb fcff ff48 8d3d 4402 0000 b800 0000 00e8 eafc ffff 488b 0573 1520 0048 89c7 e8fb fcff ffe9 9600 0000 bf0a 0000 00e8 acfc ffff 9048 8d45 b048 89c2 be00 0000 00bf 0000 0000 e8f5 fcff ff83 f8ff 0f85 af00 0000 e980 0000 000f b695 63ff ffff 8b85 64ff ffff 89d6 89c7 e81b feff ff21 8568 ffff ff83 bd68 ffff ff01 753b 0fb6 8563 ffff ff01 856c ffff ff8b 8d64 ffff ffba 1f85 eb51 89c8 f7e2 89d0 c1e8 056b c064 29c1 89c8 0fb6 9563 ffff ff89 c148 8d05 1a15 2000 8814 0183 8564 ffff ff01 e84b fcff ff88 8563 ffff ff80 bd63 ffff ff0a 7585 e951 ffff ff48 8b05 d014 2000 4889 c1ba 0900 0000 be01 0000 0048 8d3d 2701 0000 e867 fcff ffbf ffff ffff e84d fcff ff83 bd68 ffff ff01 750c 81bd 6cff ffff 0b0b 0000 7416 488d 3d59 0100 00e8 ccfb ffff bfff ffff ffe8 22fc ffff 488d 3d72 0100 00e8 b6fb ffff 488d 358f 1420 0048 8d3d 7701 0000 b800 0000 00e8 aefb ffff bf00 0000 00e8 f4fb ffff 0f1f 4000 4157 4156 4989 d741 5541 544c 8d25 7611 2000 5548 8d2d 7611 2000 5341 89fd 4989 f64c 29e5 4883 ec08 48c1 fd03 e827 fbff ff48 85ed 7420 31db 0f1f 8400 0000 0000 4c89 fa4c 89f6 4489 ef41 ff14 dc48 83c3 0148 39dd 75ea 4883 c408 5b5d 415c 415d 415e 415f c390 662e 0f1f 8400 0000 0000 f3c3 0000 4883 ec08 4883 c408 c300 0000 0100 0200 0000 0000 6238 3764 6533 3937 6531 3334 3662 6336 3035 6265 3465 6438 3336 3161 3638 6133 6439 3734 3866 6339 0074 6367 6574 6174 7472 0074 6373 6574 6174 7472 0000 0000 3d2d 3d2d 3d2d 3d20 5665 7279 2073 6563 7572 6520 7661 756c 7420 3d2d 3d2d 3d2d 3d00 0000 0000 0000 506c 6561 7365 2065 6e74 6572 2079 6f75 2076 6572 7920 7365 6375 7265 2070 6173 7377 6f72 643a 2000 5772 6f6e 6720 7061 7373 776f 7264 3a20 6175 7468 6f72 6974 6965 7320 6861 7665 2062 6565 6e20 616c 6572 7465 6421 005c 6f2f 2041 6363 6573 7320 6772 616e 7465 6421 205c 6f2f 0048 6572 6520 6973 2079 6f75 7220 666c 6167 3a20 4543 5343 7b25 737d 0a00 011b 033b 4000 0000 0700 0000 f4f9 ffff 8c00 0000 94fa ffff b400 0000 a4fa ffff 5c00 0000 aefb ffff cc00 0000 fafb ffff ec00 0000 84fe ffff 0c01 0000 f4fe ffff 5401 0000 1400 0000 0000 0000 017a 5200 0178 1001 1b0c 0708 9001 0710 1400 0000 1c00 0000 40fa ffff 2b00 0000 0000 0000 0000 0000 1400 0000 0000 0000 017a 5200 0178 1001 1b0c 0708 9001 0000 2400 0000 1c00 0000 60f9 ffff a000 0000 000e 1046 0e18 4a0f 0b77 0880 003f 1a3b 2a33 2422 0000 0000 1400 0000 4400 0000 d8f9 ffff 0800 0000 0000 0000 0000 0000 1c00 0000 5c00 0000 dafa ffff 4c00 0000 0041 0e10 8602 430d 0602 470c 0708 0000 1c00 0000 7c00 0000 06fb ffff 8602 0000 0041 0e10 8602 430d 0600 0000 0000 0000 4400 0000 9c00 0000 70fd ffff 6500 0000 0042 0e10 8f02 420e 188e 0345 0e20 8d04 420e 288c 0548 0e30 8606 480e 3883 074d 0e40 720e 3841 0e30 410e 2842 0e20 420e 1842 0e10 420e 0800 1000 0000 e400 0000 98fd ffff 0200 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 1009 0000 0000 0000 d008 0000 0000 0000 0100 0000 0000 0000 0100 0000 0000 0000 0c00 0000 0000 0000 4807 0000 0000 0000 0d00 0000 0000 0000 640c 0000 0000 0000 1900 0000 0000 0000 781d 2000 0000 0000 1b00 0000 0000 0000 0800 0000 0000 0000 1a00 0000 0000 0000 801d 2000 0000 0000 1c00 0000 0000 0000 0800 0000 0000 0000 f5fe ff6f 0000 0000 9802 0000 0000 0000 0500 0000 0000 0000 5804 0000 0000 0000 0600 0000 0000 0000 c002 0000 0000 0000 0a00 0000 0000 0000 ce00 0000 0000 0000 0b00 0000 0000 0000 1800 0000 0000 0000 1500 0000 0000 0000 0000 0000 0000 0000 0300 0000 0000 0000 781f 2000 0000 0000 0200 0000 0000 0000 d800 0000 0000 0000 1400 0000 0000 0000 0700 0000 0000 0000 1700 0000 0000 0000 7006 0000 0000 0000 0700 0000 0000 0000 6805 0000 0000 0000 0800 0000 0000 0000 0801 0000 0000 0000 0900 0000 0000 0000 1800 0000 0000 0000 1e00 0000 0000 0000 0800 0000 0000 0000 fbff ff6f 0000 0000 0100 0008 0000 0000 feff ff6f 0000 0000 4805 0000 0000 0000 ffff ff6f 0000 0000 0100 0000 0000 0000 f0ff ff6f 0000 0000 2605 0000 0000 0000 f9ff ff6f 0000 0000 0400 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 881d 2000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 7607 0000 0000 0000 8607 0000 0000 0000 9607 0000 0000 0000 a607 0000 0000 0000 b607 0000 0000 0000 c607 0000 0000 0000 d607 0000 0000 0000 e607 0000 0000 0000 f607 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0820 2000 0000 0000 780c 0000 0000 0000 4743 433a 2028 5562 756e 7475 2037 2e33 2e30 2d32 3775 6275 6e74 7531 7e31 382e 3034 2920 372e 332e 3000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0100 0000 0200 0e00 4008 0000 0000 0000 0000 0000 0000 0000 0300 0000 0200 0e00 8008 0000 0000 0000 0000 0000 0000 0000 1600 0000 0200 0e00 d008 0000 0000 0000 0000 0000 0000 0000 2c00 0000 0100 1800 4820 2000 0000 0000 0100 0000 0000 0000 3b00 0000 0100 1400 801d 2000 0000 0000 0000 0000 0000 0000 6200 0000 0200 0e00 1009 0000 0000 0000 0000 0000 0000 0000 6e00 0000 0100 1300 781d 2000 0000 0000 0000 0000 0000 0000 8d00 0000 0100 1700 1020 2000 0000 0000 0800 0000 0000 0000 9600 0000 0100 1800 6020 2000 0000 0000 6400 0000 0000 0000 9b00 0000 0100 1200 d40e 0000 0000 0000 0000 0000 0000 0000 a900 0000 0000 1300 801d 2000 0000 0000 0000 0000 0000 0000 ba00 0000 0100 1500 881d 2000 0000 0000 0000 0000 0000 0000 c300 0000 0000 1300 781d 2000 0000 0000 0000 0000 0000 0000 d600 0000 0000 1100 6c0d 0000 0000 0000 0000 0000 0000 0000 e900 0000 0100 1600 781f 2000 0000 0000 0000 0000 0000 0000 0000 0000 0300 0100 3802 0000 0000 0000 0000 0000 0000 0000 0000 0000 0300 0200 5402 0000 0000 0000 0000 0000 0000 0000 0000 0000 0300 0300 7402 0000 0000 0000 0000 0000 0000 0000 0000 0000 0300 0400 9802 0000 0000 0000 0000 0000 0000 0000 0000 0000 0300 0500 c002 0000 0000 0000 0000 0000 0000 0000 0000 0000 0300 0600 5804 0000 0000 0000 0000 0000 0000 0000 0000 0000 0300 0700 2605 0000 0000 0000 0000 0000 0000 0000 0000 0000 0300 0800 4805 0000 0000 0000 0000 0000 0000 0000 0000 0000 0300 0900 6805 0000 0000 0000 0000 0000 0000 0000 0000 0000 0300 0a00 7006 0000 0000 0000 0000 0000 0000 0000 0000 0000 0300 0b00 4807 0000 0000 0000 0000 0000 0000 0000 0000 0000 0300 0c00 6007 0000 0000 0000 0000 0000 0000 0000 0000 0000 0300 0d00 0008 0000 0000 0000 0000 0000 0000 0000 0000 0000 0300 0e00 1008 0000 0000 0000 0000 0000 0000 0000 0000 0000 0300 0f00 640c 0000 0000 0000 0000 0000 0000 0000 0000 0000 0300 1000 700c 0000 0000 0000 0000 0000 0000 0000 0000 0000 0300 1100 6c0d 0000 0000 0000 0000 0000 0000 0000 0000 0000 0300 1200 b00d 0000 0000 0000 0000 0000 0000 0000 0000 0000 0300 1300 781d 2000 0000 0000 0000 0000 0000 0000 0000 0000 0300 1400 801d 2000 0000 0000 0000 0000 0000 0000 0000 0000 0300 1500 881d 2000 0000 0000 0000 0000 0000 0000 0000 0000 0300 1600 781f 2000 0000 0000 0000 0000 0000 0000 0000 0000 0300 1700 0020 2000 0000 0000 0000 0000 0000 0000 0000 0000 0300 1800 2020 2000 0000 0000 0000 0000 0000 0000 0000 0000 0300 1900 0000 0000 0000 0000 0000 0000 0000 0000 ff00 0000 1200 0e00 600c 0000 0000 0000 0200 0000 0000 0000 0f01 0000 1200 0000 0000 0000 0000 0000 0000 0000 0000 0000 2401 0000 2000 0000 0000 0000 0000 0000 0000 0000 0000 0000 4001 0000 1100 1800 2020 2000 0000 0000 0800 0000 0000 0000 ad01 0000 2000 1700 0020 2000 0000 0000 0000 0000 0000 0000 5401 0000 1200 0000 0000 0000 0000 0000 0000 0000 0000 0000 6601 0000 1000 1700 1820 2000 0000 0000 0000 0000 0000 0000 0901 0000 1200 0f00 640c 0000 0000 0000 0000 0000 0000 0000 6d01 0000 1200 0000 0000 0000 0000 0000 0000 0000 0000 0000 8101 0000 1200 0000 0000 0000 0000 0000 0000 0000 0000 0000 a001 0000 1200 0e00 1a09 0000 0000 0000 4c00 0000 0000 0000 ab01 0000 1000 1700 0020 2000 0000 0000 0000 0000 0000 0000 b801 0000 1200 0000 0000 0000 0000 0000 0000 0000 0000 0000 cd01 0000 2000 0000 0000 0000 0000 0000 0000 0000 0000 0000 dc01 0000 1102 1700 0820 2000 0000 0000 0000 0000 0000 0000 e901 0000 1100 1000 700c 0000 0000 0000 0400 0000 0000 0000 f801 0000 1200 0e00 f00b 0000 0000 0000 6500 0000 0000 0000 0802 0000 1200 0000 0000 0000 0000 0000 0000 0000 0000 0000 b500 0000 1000 1800 c820 2000 0000 0000 0000 0000 0000 0000 b101 0000 1200 0e00 1008 0000 0000 0000 2b00 0000 0000 0000 1c02 0000 1000 1800 1820 2000 0000 0000 0000 0000 0000 0000 2802 0000 1200 0e00 6609 0000 0000 0000 8602 0000 0000 0000 2d02 0000 1200 0000 0000 0000 0000 0000 0000 0000 0000 0000 4402 0000 1200 0000 0000 0000 0000 0000 0000 0000 0000 0000 5b02 0000 1200 0000 0000 0000 0000 0000 0000 0000 0000 0000 6d02 0000 1200 0000 0000 0000 0000 0000 0000 0000 0000 0000 8102 0000 1102 1700 1820 2000 0000 0000 0000 0000 0000 0000 8d02 0000 2000 0000 0000 0000 0000 0000 0000 0000 0000 0000 a702 0000 2200 0000 0000 0000 0000 0000 0000 0000 0000 0000 0202 0000 1200 0b00 4807 0000 0000 0000 0000 0000 0000 0000 c302 0000 1100 1800 4020 2000 0000 0000 0800 0000 0000 0000 0064 6572 6567 6973 7465 725f 746d 5f63 6c6f 6e65 7300 5f5f 646f 5f67 6c6f 6261 6c5f 6474 6f72 735f 6175 7800 636f 6d70 6c65 7465 642e 3736 3936 005f 5f64 6f5f 676c 6f62 616c 5f64 746f 7273 5f61 7578 5f66 696e 695f 6172 7261 795f 656e 7472 7900 6672 616d 655f 6475 6d6d 7900 5f5f 6672 616d 655f 6475 6d6d 795f 696e 6974 5f61 7272 6179 5f65 6e74 7279 0070 6173 7377 6f72 6400 666c 6167 005f 5f46 5241 4d45 5f45 4e44 5f5f 005f 5f69 6e69 745f 6172 7261 795f 656e 6400 5f44 594e 414d 4943 005f 5f69 6e69 745f 6172 7261 795f 7374 6172 7400 5f5f 474e 555f 4548 5f46 5241 4d45 5f48 4452 005f 474c 4f42 414c 5f4f 4646 5345 545f 5441 424c 455f 005f 5f6c 6962 635f 6373 755f 6669 6e69 0070 7574 6368 6172 4040 474c 4942 435f 322e 322e 3500 5f49 544d 5f64 6572 6567 6973 7465 7254 4d43 6c6f 6e65 5461 626c 6500 7374 646f 7574 4040 474c 4942 435f 322e 322e 3500 7075 7473 4040 474c 4942 435f 322e 322e 3500 5f65 6461 7461 0070 7269 6e74 6640 4047 4c49 4243 5f32 2e32 2e35 005f 5f6c 6962 635f 7374 6172 745f 6d61 696e 4040 474c 4942 435f 322e 322e 3500 6368 6563 6b5f 6368 6172 005f 5f64 6174 615f 7374 6172 7400 6765 7463 6861 7240 4047 4c49 4243 5f32 2e32 2e35 005f 5f67 6d6f 6e5f 7374 6172 745f 5f00 5f5f 6473 6f5f 6861 6e64 6c65 005f 494f 5f73 7464 696e 5f75 7365 6400 5f5f 6c69 6263 5f63 7375 5f69 6e69 7400 6666 6c75 7368 4040 474c 4942 435f 322e 322e 3500 5f5f 6273 735f 7374 6172 7400 6d61 696e 0074 6367 6574 6174 7472 4040 474c 4942 435f 322e 322e 3500 7463 7365 7461 7474 7240 4047 4c49 4243 5f32 2e32 2e35 0065 7869 7440 4047 4c49 4243 5f32 2e32 2e35 0066 7772 6974 6540 4047 4c49 4243 5f32 2e32 2e35 005f 5f54 4d43 5f45 4e44 5f5f 005f 4954 4d5f 7265 6769 7374 6572 544d 436c 6f6e 6554 6162 6c65 005f 5f63 7861 5f66 696e 616c 697a 6540 4047 4c49 4243 5f32 2e32 2e35 0073 7464 6572 7240 4047 4c49 4243 5f32 2e32 2e35 0000 2e73 796d 7461 6200 2e73 7472 7461 6200 2e73 6873 7472 7461 6200 2e69 6e74 6572 7000 2e6e 6f74 652e 4142 492d 7461 6700 2e6e 6f74 652e 676e 752e 6275 696c 642d 6964 002e 676e 752e 6861 7368 002e 6479 6e73 796d 002e 6479 6e73 7472 002e 676e 752e 7665 7273 696f 6e00 2e67 6e75 2e76 6572 7369 6f6e 5f72 002e 7265 6c61 2e64 796e 002e 7265 6c61 2e70 6c74 002e 696e 6974 002e 706c 742e 676f 7400 2e74 6578 7400 2e66 696e 6900 2e72 6f64 6174 6100 2e65 685f 6672 616d 655f 6864 7200 2e65 685f 6672 616d 6500 2e69 6e69 745f 6172 7261 7900 2e66 696e 695f 6172 7261 7900 2e64 796e 616d 6963 002e 6461 7461 002e 6273 7300 2e63 6f6d 6d65 6e74 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 1b00 0000 0100 0000 0200 0000 0000 0000 3802 0000 0000 0000 3802 0000 0000 0000 1c00 0000 0000 0000 0000 0000 0000 0000 0100 0000 0000 0000 0000 0000 0000 0000 2300 0000 0700 0000 0200 0000 0000 0000 5402 0000 0000 0000 5402 0000 0000 0000 2000 0000 0000 0000 0000 0000 0000 0000 0400 0000 0000 0000 0000 0000 0000 0000 3100 0000 0700 0000 0200 0000 0000 0000 7402 0000 0000 0000 7402 0000 0000 0000 2400 0000 0000 0000 0000 0000 0000 0000 0400 0000 0000 0000 0000 0000 0000 0000 4400 0000 f6ff ff6f 0200 0000 0000 0000 9802 0000 0000 0000 9802 0000 0000 0000 2800 0000 0000 0000 0500 0000 0000 0000 0800 0000 0000 0000 0000 0000 0000 0000 4e00 0000 0b00 0000 0200 0000 0000 0000 c002 0000 0000 0000 c002 0000 0000 0000 9801 0000 0000 0000 0600 0000 0100 0000 0800 0000 0000 0000 1800 0000 0000 0000 5600 0000 0300 0000 0200 0000 0000 0000 5804 0000 0000 0000 5804 0000 0000 0000 ce00 0000 0000 0000 0000 0000 0000 0000 0100 0000 0000 0000 0000 0000 0000 0000 5e00 0000 ffff ff6f 0200 0000 0000 0000 2605 0000 0000 0000 2605 0000 0000 0000 2200 0000 0000 0000 0500 0000 0000 0000 0200 0000 0000 0000 0200 0000 0000 0000 6b00 0000 feff ff6f 0200 0000 0000 0000 4805 0000 0000 0000 4805 0000 0000 0000 2000 0000 0000 0000 0600 0000 0100 0000 0800 0000 0000 0000 0000 0000 0000 0000 7a00 0000 0400 0000 0200 0000 0000 0000 6805 0000 0000 0000 6805 0000 0000 0000 0801 0000 0000 0000 0500 0000 0000 0000 0800 0000 0000 0000 1800 0000 0000 0000 8400 0000 0400 0000 4200 0000 0000 0000 7006 0000 0000 0000 7006 0000 0000 0000 d800 0000 0000 0000 0500 0000 1600 0000 0800 0000 0000 0000 1800 0000 0000 0000 8e00 0000 0100 0000 0600 0000 0000 0000 4807 0000 0000 0000 4807 0000 0000 0000 1700 0000 0000 0000 0000 0000 0000 0000 0400 0000 0000 0000 0000 0000 0000 0000 8900 0000 0100 0000 0600 0000 0000 0000 6007 0000 0000 0000 6007 0000 0000 0000 a000 0000 0000 0000 0000 0000 0000 0000 1000 0000 0000 0000 1000 0000 0000 0000 9400 0000 0100 0000 0600 0000 0000 0000 0008 0000 0000 0000 0008 0000 0000 0000 0800 0000 0000 0000 0000 0000 0000 0000 0800 0000 0000 0000 0800 0000 0000 0000 9d00 0000 0100 0000 0600 0000 0000 0000 1008 0000 0000 0000 1008 0000 0000 0000 5204 0000 0000 0000 0000 0000 0000 0000 1000 0000 0000 0000 0000 0000 0000 0000 a300 0000 0100 0000 0600 0000 0000 0000 640c 0000 0000 0000 640c 0000 0000 0000 0900 0000 0000 0000 0000 0000 0000 0000 0400 0000 0000 0000 0000 0000 0000 0000 a900 0000 0100 0000 0200 0000 0000 0000 700c 0000 0000 0000 700c 0000 0000 0000 fc00 0000 0000 0000 0000 0000 0000 0000 0800 0000 0000 0000 0000 0000 0000 0000 b100 0000 0100 0000 0200 0000 0000 0000 6c0d 0000 0000 0000 6c0d 0000 0000 0000 4400 0000 0000 0000 0000 0000 0000 0000 0400 0000 0000 0000 0000 0000 0000 0000 bf00 0000 0100 0000 0200 0000 0000 0000 b00d 0000 0000 0000 b00d 0000 0000 0000 2801 0000 0000 0000 0000 0000 0000 0000 0800 0000 0000 0000 0000 0000 0000 0000 c900 0000 0e00 0000 0300 0000 0000 0000 781d 2000 0000 0000 781d 0000 0000 0000 0800 0000 0000 0000 0000 0000 0000 0000 0800 0000 0000 0000 0800 0000 0000 0000 d500 0000 0f00 0000 0300 0000 0000 0000 801d 2000 0000 0000 801d 0000 0000 0000 0800 0000 0000 0000 0000 0000 0000 0000 0800 0000 0000 0000 0800 0000 0000 0000 e100 0000 0600 0000 0300 0000 0000 0000 881d 2000 0000 0000 881d 0000 0000 0000 f001 0000 0000 0000 0600 0000 0000 0000 0800 0000 0000 0000 1000 0000 0000 0000 9800 0000 0100 0000 0300 0000 0000 0000 781f 2000 0000 0000 781f 0000 0000 0000 8800 0000 0000 0000 0000 0000 0000 0000 0800 0000 0000 0000 0800 0000 0000 0000 ea00 0000 0100 0000 0300 0000 0000 0000 0020 2000 0000 0000 0020 0000 0000 0000 1800 0000 0000 0000 0000 0000 0000 0000 0800 0000 0000 0000 0000 0000 0000 0000 f000 0000 0800 0000 0300 0000 0000 0000 2020 2000 0000 0000 1820 0000 0000 0000 a800 0000 0000 0000 0000 0000 0000 0000 2000 0000 0000 0000 0000 0000 0000 0000 f500 0000 0100 0000 3000 0000 0000 0000 0000 0000 0000 0000 1820 0000 0000 0000 2a00 0000 0000 0000 0000 0000 0000 0000 0100 0000 0000 0000 0100 0000 0000 0000 0100 0000 0200 0000 0000 0000 0000 0000 0000 0000 0000 0000 4820 0000 0000 0000 c006 0000 0000 0000 1b00 0000 2900 0000 0800 0000 0000 0000 1800 0000 0000 0000 0900 0000 0300 0000 0000 0000 0000 0000 0000 0000 0000 0000 0827 0000 0000 0000 d702 0000 0000 0000 0000 0000 0000 0000 0100 0000 0000 0000 0000 0000 0000 0000 1100 0000 0300 0000 0000 0000 0000 0000 0000 0000 0000 0000 df29 0000 0000 0000 fe00 0000 0000 0000 0000 0000 0000 0000 0100 0000 0000 0000 0000 0000 0000 0000

Legend
Headers Magic
Code Instructions
Read-Only Data Strings
Data Other Sections

Headers

ELF Header:
  Class:               ELF64                        
  Data:                2's complement, little endian
  Type:                DYN                          
  OS/ABI:              Linux - GNU                  
  Kernel Version:      3.2.0                        
  Machine:             x86                          
  Entry point address: 0x810                        

Section Headers:
  [Nr] Name           Type       Addr             Off    Size   ES Flg Lk Inf
  Al
  [ 0]                NULL       0000000000000000 000000 000000 00      0   0
   0
  [ 1] .interp        PROGBITS   0000000000000238 000238 00001c 00   A  0   0
   1
  [ 2] .note.ABI-tag  NOTE       0000000000000254 000254 000020 00   A  0   0
   4
  [ 3] .note.gnu.b... NOTE       0000000000000274 000274 000024 00   A  0   0
   4
  [ 4] .gnu.hash      GNU_HASH   0000000000000298 000298 000028 00   A  5   0
   8
  [ 5] .dynsym        DYNSYM     00000000000002c0 0002c0 000198 18   A  6   1
   8
  [ 6] .dynstr        STRTAB     0000000000000458 000458 0000ce 00   A  0   0
   1
  [ 7] .gnu.version   VERSYM     0000000000000526 000526 000022 02   A  5   0
   2
  [ 8] .gnu.version_r VERNEED    0000000000000548 000548 000020 00   A  6   1
   8
  [ 9] .rela.dyn      RELA       0000000000000568 000568 000108 18   A  5   0
   8
  [10] .rela.plt      RELA       0000000000000670 000670 0000d8 18  AI  5  22
   8
  [11] .init          PROGBITS   0000000000000748 000748 000017 00  AX  0   0
   4
  [12] .plt           PROGBITS   0000000000000760 000760 0000a0 10  AX  0   0
  16
  [13] .plt.got       PROGBITS   0000000000000800 000800 000008 08  AX  0   0
   8
  [14] .text          PROGBITS   0000000000000810 000810 000452 00  AX  0   0
  16
  [15] .fini          PROGBITS   0000000000000c64 000c64 000009 00  AX  0   0
   4
  [16] .rodata        PROGBITS   0000000000000c70 000c70 0000fc 00   A  0   0
   8
  [17] .eh_frame_hdr  PROGBITS   0000000000000d6c 000d6c 000044 00   A  0   0
   4
  [18] .eh_frame      PROGBITS   0000000000000db0 000db0 000128 00   A  0   0
   8
  [19] .init_array    INIT_ARRAY 0000000000201d78 001d78 000008 08  WA  0   0
   8
  [20] .fini_array    FINI_ARRAY 0000000000201d80 001d80 000008 08  WA  0   0
   8
  [21] .dynamic       DYNAMIC    0000000000201d88 001d88 0001f0 10  WA  6   0
   8
  [22] .got           PROGBITS   0000000000201f78 001f78 000088 08  WA  0   0
   8
  [23] .data          PROGBITS   0000000000202000 002000 000018 00  WA  0   0
   8
  [24] .bss           NOBITS     0000000000202020 002018 0000a8 00  WA  0   0
  32
  [25] .comment       PROGBITS   0000000000000000 002018 00002a 01  MS  0   0
   1
  [26] .symtab        SYMTAB     0000000000000000 002048 0006c0 18     27  41
   8
  [27] .strtab        STRTAB     0000000000000000 002708 0002d7 00      0   0
   1
  [28] .shstrtab      STRTAB     0000000000000000 0029df 0000fe 00      0   0
   1
Key to Flags:
  W (write), A (alloc), X (execute), M (merge), S (strings), I (info),
  L (link order), G (group), T (TLS), O (extra OS processing required)

Symbol table '.dynsym' contains 17 entries:
  Num:            Value Size Type   Bind   Section Name             
    0: 0000000000000000    0 NOTYPE LOCAL  UND                      
    1: 0000000000000000    0 FUNC   GLOBAL UND     putchar          
    2: 0000000000000000    0 NOTYPE WEAK   UND     _ITM_deregiste...
    3: 0000000000000000    0 FUNC   GLOBAL UND     puts             
    4: 0000000000000000    0 FUNC   GLOBAL UND     printf           
    5: 0000000000000000    0 FUNC   GLOBAL UND     __libc_start_main
    6: 0000000000000000    0 FUNC   GLOBAL UND     getchar          
    7: 0000000000000000    0 NOTYPE WEAK   UND     __gmon_start__   
    8: 0000000000000000    0 FUNC   GLOBAL UND     fflush           
    9: 0000000000000000    0 FUNC   GLOBAL UND     tcgetattr        
   10: 0000000000000000    0 FUNC   GLOBAL UND     tcsetattr        
   11: 0000000000000000    0 FUNC   GLOBAL UND     exit             
   12: 0000000000000000    0 FUNC   GLOBAL UND     fwrite           
   13: 0000000000000000    0 NOTYPE WEAK   UND     _ITM_registerT...
   14: 0000000000000000    0 FUNC   WEAK   UND     __cxa_finalize   
   15: 0000000000202020    8 OBJECT GLOBAL .bss    stdout           
   16: 0000000000202040    8 OBJECT GLOBAL .bss    stderr           

Symbol table '.symtab' contains 72 entries:
  Num:            Value Size Type    Bind   Section       
  Name                
    0: 0000000000000000    0 NOTYPE  LOCAL  UND           
                      
    1: 0000000000000840    0 FUNC    LOCAL  .text         
  deregister_tm_clones
    2: 0000000000000880    0 FUNC    LOCAL  .text         
  register_tm_clones  
    3: 00000000000008d0    0 FUNC    LOCAL  .text         
  __do_global_dtors...
    4: 0000000000202048    1 OBJECT  LOCAL  .bss          
  completed.7696      
    5: 0000000000201d80    0 OBJECT  LOCAL  .fini_array   
  __do_global_dtors...
    6: 0000000000000910    0 FUNC    LOCAL  .text         
  frame_dummy         
    7: 0000000000201d78    0 OBJECT  LOCAL  .init_array   
  __frame_dummy_ini...
    8: 0000000000202010    8 OBJECT  LOCAL  .data         
  password            
    9: 0000000000202060  100 OBJECT  LOCAL  .bss          
  flag                
   10: 0000000000000ed4    0 OBJECT  LOCAL  .eh_frame     
  __FRAME_END__       
   11: 0000000000201d80    0 NOTYPE  LOCAL  .init_array   
  __init_array_end    
   12: 0000000000201d88    0 OBJECT  LOCAL  .dynamic      
  _DYNAMIC            
   13: 0000000000201d78    0 NOTYPE  LOCAL  .init_array   
  __init_array_start  
   14: 0000000000000d6c    0 NOTYPE  LOCAL  .eh_frame_hdr 
  __GNU_EH_FRAME_HDR  
   15: 0000000000201f78    0 OBJECT  LOCAL  .got          
  _GLOBAL_OFFSET_TA...
   16: 0000000000000238    0 SECTION LOCAL  .interp       
                      
   17: 0000000000000254    0 SECTION LOCAL  .note.ABI-tag 
                      
   18: 0000000000000274    0 SECTION LOCAL  .note.gnu.b...
                      
   19: 0000000000000298    0 SECTION LOCAL  .gnu.hash     
                      
   20: 00000000000002c0    0 SECTION LOCAL  .dynsym       
                      
   21: 0000000000000458    0 SECTION LOCAL  .dynstr       
                      
   22: 0000000000000526    0 SECTION LOCAL  .gnu.version  
                      
   23: 0000000000000548    0 SECTION LOCAL  .gnu.version_r
                      
   24: 0000000000000568    0 SECTION LOCAL  .rela.dyn     
                      
   25: 0000000000000670    0 SECTION LOCAL  .rela.plt     
                      
   26: 0000000000000748    0 SECTION LOCAL  .init         
                      
   27: 0000000000000760    0 SECTION LOCAL  .plt          
                      
   28: 0000000000000800    0 SECTION LOCAL  .plt.got      
                      
   29: 0000000000000810    0 SECTION LOCAL  .text         
                      
   30: 0000000000000c64    0 SECTION LOCAL  .fini         
                      
   31: 0000000000000c70    0 SECTION LOCAL  .rodata       
                      
   32: 0000000000000d6c    0 SECTION LOCAL  .eh_frame_hdr 
                      
   33: 0000000000000db0    0 SECTION LOCAL  .eh_frame     
                      
   34: 0000000000201d78    0 SECTION LOCAL  .init_array   
                      
   35: 0000000000201d80    0 SECTION LOCAL  .fini_array   
                      
   36: 0000000000201d88    0 SECTION LOCAL  .dynamic      
                      
   37: 0000000000201f78    0 SECTION LOCAL  .got          
                      
   38: 0000000000202000    0 SECTION LOCAL  .data         
                      
   39: 0000000000202020    0 SECTION LOCAL  .bss          
                      
   40: 0000000000000000    0 SECTION LOCAL  .comment      
                      
   41: 0000000000000c60    2 FUNC    GLOBAL .text         
  __libc_csu_fini     
   42: 0000000000000000    0 FUNC    GLOBAL UND           
  putchar@@GLIBC_2.2.5
   43: 0000000000000000    0 NOTYPE  WEAK   UND           
  _ITM_deregisterTM...
   44: 0000000000202020    8 OBJECT  GLOBAL .bss          
  stdout@@GLIBC_2.2.5 
   45: 0000000000202000    0 NOTYPE  WEAK   .data         
  data_start          
   46: 0000000000000000    0 FUNC    GLOBAL UND           
  puts@@GLIBC_2.2.5   
   47: 0000000000202018    0 NOTYPE  GLOBAL .data         
  _edata              
   48: 0000000000000c64    0 FUNC    GLOBAL .fini         
  _fini               
   49: 0000000000000000    0 FUNC    GLOBAL UND           
  printf@@GLIBC_2.2.5 
   50: 0000000000000000    0 FUNC    GLOBAL UND           
  __libc_start_main...
   51: 000000000000091a   76 FUNC    GLOBAL .text         
  check_char          
   52: 0000000000202000    0 NOTYPE  GLOBAL .data         
  __data_start        
   53: 0000000000000000    0 FUNC    GLOBAL UND           
  getchar@@GLIBC_2.2.5
   54: 0000000000000000    0 NOTYPE  WEAK   UND           
  __gmon_start__      
   55: 0000000000202008    0 OBJECT  GLOBAL .data         
  __dso_handle        
   56: 0000000000000c70    4 OBJECT  GLOBAL .rodata       
  _IO_stdin_used      
   57: 0000000000000bf0  101 FUNC    GLOBAL .text         
  __libc_csu_init     
   58: 0000000000000000    0 FUNC    GLOBAL UND           
  fflush@@GLIBC_2.2.5 
   59: 00000000002020c8    0 NOTYPE  GLOBAL .bss          
  _end                
   60: 0000000000000810   43 FUNC    GLOBAL .text         
  _start              
   61: 0000000000202018    0 NOTYPE  GLOBAL .bss          
  __bss_start         
   62: 0000000000000966  646 FUNC    GLOBAL .text         
  main                
   63: 0000000000000000    0 FUNC    GLOBAL UND           
  tcgetattr@@GLIBC_...
   64: 0000000000000000    0 FUNC    GLOBAL UND           
  tcsetattr@@GLIBC_...
   65: 0000000000000000    0 FUNC    GLOBAL UND           
  exit@@GLIBC_2.2.5   
   66: 0000000000000000    0 FUNC    GLOBAL UND           
  fwrite@@GLIBC_2.2.5 
   67: 0000000000202018    0 OBJECT  GLOBAL .data         
  __TMC_END__         
   68: 0000000000000000    0 NOTYPE  WEAK   UND           
  _ITM_registerTMCl...
   69: 0000000000000000    0 FUNC    WEAK   UND           
  __cxa_finalize@@G...
   70: 0000000000000748    0 FUNC    GLOBAL .init         
  _init               
   71: 0000000000202040    8 OBJECT  GLOBAL .bss          
  stderr@@GLIBC_2.2.5

Disassembly

Disassembly of section .init:
00000748 <_init>:
  000748:
48 83 ec 08 
sub $0x8,%rsp
0: %%0<64> := (rsp<64> - 8<64>);
1: %%1<1> :=
 (0x8000000000000000 = (0x8000000000000000 & (! (rsp<64>) & %%0<64>)));
2: %%2<1> :=
 !
 ((((%%0<64>{0} ^ %%0<64>{4}) ^ (%%0<64>{2} ^ %%0<64>{6})) ^
   ((%%0<64>{1} ^ %%0<64>{5}) ^ (%%0<64>{3} ^ %%0<64>{7}))));
3: %%3<1> := undef;
4: %%4<1> := (0<64> = %%0<64>);
5: %%5<1> := (%%0<64> <s 0<64>);
6: %%6<1> :=
 (0x8000000000000000 = (0x8000000000000000 & (rsp<64> & ! (%%0<64>))));
7: rsp<64> := %%0<64>;
8: of<1> := %%6<1>;
9: sf<1> := %%5<1>;
10: zf<1> := %%4<1>;
11: af<1> := %%3<1>;
12: pf<1> := %%2<1>;
13: cf<1> := %%1<1>;
14: goto (0x00074c, 0) 
  00074c:
48 8b 05 95 18 20 00 
mov 0x201895(%rip),%rax
0: %%0<64> := @[0x0000000000201fe8,<-,8];
1: rax<64> := %%0<64>;
2: goto (0x000753, 0) 
  000753:
48 85 c0 
test %rax,%rax
0: %%0<1> :=
 !
 ((((rax<64>{0} ^ rax<64>{4}) ^ (rax<64>{2} ^ rax<64>{6})) ^
   ((rax<64>{1} ^ rax<64>{5}) ^ (rax<64>{3} ^ rax<64>{7}))));
1: %%1<1> := undef;
2: %%2<1> := (0<64> = rax<64>);
3: %%3<1> := (rax<64> <s 0<64>);
4: of<1> := 0<1>;
5: sf<1> := %%3<1>;
6: zf<1> := %%2<1>;
7: af<1> := %%1<1>;
8: pf<1> := %%0<1>;
9: cf<1> := 0<1>;
10: goto (0x000756, 0) 
  000756:
74 02 
je 0x75a
0: if zf<1> goto 2 else goto 1
1: goto (0x000758, 0) 
2: goto (0x00075a, 0) 
  000758:
ff d0 
call *%rax
0: %%0<64> := (rsp<64> - 8<64>);
1: %%1<64> := rax<64>;
2: @[%%0<64>,<-,8] := 1882<64>;
3: rsp<64> := %%0<64>;
4: goto %%1<64> #call with return address @ (0x00075a, 0)
  00075a:
48 83 c4 08 
add $0x8,%rsp
0: %%0<64> := (rsp<64> + 8<64>);
1: %%1<1> :=
 (0x8000000000000000 = (0x8000000000000000 & (rsp<64> & ! (%%0<64>))));
2: %%2<1> :=
 !
 ((((%%0<64>{0} ^ %%0<64>{4}) ^ (%%0<64>{2} ^ %%0<64>{6})) ^
   ((%%0<64>{1} ^ %%0<64>{5}) ^ (%%0<64>{3} ^ %%0<64>{7}))));
3: %%3<1> := undef;
4: %%4<1> := (0<64> = %%0<64>);
5: %%5<1> := (%%0<64> <s 0<64>);
6: %%6<1> :=
 (0x8000000000000000 = (0x8000000000000000 & (! (rsp<64>) & %%0<64>)));
7: rsp<64> := %%0<64>;
8: of<1> := %%6<1>;
9: sf<1> := %%5<1>;
10: zf<1> := %%4<1>;
11: af<1> := %%3<1>;
12: pf<1> := %%2<1>;
13: cf<1> := %%1<1>;
14: goto (0x00075e, 0) 
  00075e:
c3 
ret
0: %%0<64> := (rsp<64> + 8<64>);
1: %%1<64> := @[rsp<64>,<-,8];
2: rsp<64> := %%0<64>;
3: goto %%1<64> #return
Disassembly of section .plt:
  000760:
ff 35 1a 18 20 00 
pushq 0x20181a(%rip)
0: %%0<64> := (rsp<64> - 8<64>);
1: %%1<64> := @[0x0000000000201f80,<-,8];
2: @[%%0<64>,<-,8] := %%1<64>;
3: rsp<64> := %%0<64>;
4: goto (0x000766, 0) 
  000766:
ff 25 1c 18 20 00 
jmp *0x20181c(%rip)
0: %%0<64> := @[0x0000000000201f88,<-,8];
1: goto %%0<64> 
  00076c:
0f 1f 40 00 
nop
0: goto (0x000770, 0) 
00000770 <putchar@plt>:
  000770:
ff 25 1a 18 20 00 
jmp *0x20181a(%rip)
0: %%0<64> := @[0x0000000000201f90,<-,8];
1: goto %%0<64> 
  000776:
68 00 00 00 00 
pushq $0x0
0: %%0<64> := (rsp<64> - 8<64>);
1: @[%%0<64>,<-,8] := 0<64>;
2: rsp<64> := %%0<64>;
3: goto (0x00077b, 0) 
  00077b:
e9 e0 ff ff ff 
jmp 0x760
0: goto (0x000760, 0) 
00000780 <puts@plt>:
  000780:
ff 25 12 18 20 00 
jmp *0x201812(%rip)
0: %%0<64> := @[0x0000000000201f98,<-,8];
1: goto %%0<64> 
  000786:
68 01 00 00 00 
pushq $0x1
0: %%0<64> := (rsp<64> - 8<64>);
1: @[%%0<64>,<-,8] := 1<64>;
2: rsp<64> := %%0<64>;
3: goto (0x00078b, 0) 
  00078b:
e9 d0 ff ff ff 
jmp 0x760
0: goto (0x000760, 0) 
00000790 <printf@plt>:
  000790:
ff 25 0a 18 20 00 
jmp *0x20180a(%rip)
0: %%0<64> := @[0x0000000000201fa0,<-,8];
1: goto %%0<64> 
  000796:
68 02 00 00 00 
pushq $0x2
0: %%0<64> := (rsp<64> - 8<64>);
1: @[%%0<64>,<-,8] := 2<64>;
2: rsp<64> := %%0<64>;
3: goto (0x00079b, 0) 
  00079b:
e9 c0 ff ff ff 
jmp 0x760
0: goto (0x000760, 0) 
000007a0 <getchar@plt>:
  0007a0:
ff 25 02 18 20 00 
jmp *0x201802(%rip)
0: %%0<64> := @[0x0000000000201fa8,<-,8];
1: goto %%0<64> 
  0007a6:
68 03 00 00 00 
pushq $0x3
0: %%0<64> := (rsp<64> - 8<64>);
1: @[%%0<64>,<-,8] := 3<64>;
2: rsp<64> := %%0<64>;
3: goto (0x0007ab, 0) 
  0007ab:
e9 b0 ff ff ff 
jmp 0x760
0: goto (0x000760, 0) 
000007b0 <fflush@plt>:
  0007b0:
ff 25 fa 17 20 00 
jmp *0x2017fa(%rip)
0: %%0<64> := @[0x0000000000201fb0,<-,8];
1: goto %%0<64> 
  0007b6:
68 04 00 00 00 
pushq $0x4
0: %%0<64> := (rsp<64> - 8<64>);
1: @[%%0<64>,<-,8] := 4<64>;
2: rsp<64> := %%0<64>;
3: goto (0x0007bb, 0) 
  0007bb:
e9 a0 ff ff ff 
jmp 0x760
0: goto (0x000760, 0) 
000007c0 <tcgetattr@plt>:
  0007c0:
ff 25 f2 17 20 00 
jmp *0x2017f2(%rip)
0: %%0<64> := @[0x0000000000201fb8,<-,8];
1: goto %%0<64> 
  0007c6:
68 05 00 00 00 
pushq $0x5
0: %%0<64> := (rsp<64> - 8<64>);
1: @[%%0<64>,<-,8] := 5<64>;
2: rsp<64> := %%0<64>;
3: goto (0x0007cb, 0) 
  0007cb:
e9 90 ff ff ff 
jmp 0x760
0: goto (0x000760, 0) 
000007d0 <tcsetattr@plt>:
  0007d0:
ff 25 ea 17 20 00 
jmp *0x2017ea(%rip)
0: %%0<64> := @[0x0000000000201fc0,<-,8];
1: goto %%0<64> 
  0007d6:
68 06 00 00 00 
pushq $0x6
0: %%0<64> := (rsp<64> - 8<64>);
1: @[%%0<64>,<-,8] := 6<64>;
2: rsp<64> := %%0<64>;
3: goto (0x0007db, 0) 
  0007db:
e9 80 ff ff ff 
jmp 0x760
0: goto (0x000760, 0) 
000007e0 <exit@plt>:
  0007e0:
ff 25 e2 17 20 00 
jmp *0x2017e2(%rip)
0: %%0<64> := @[0x0000000000201fc8,<-,8];
1: goto %%0<64> 
  0007e6:
68 07 00 00 00 
pushq $0x7
0: %%0<64> := (rsp<64> - 8<64>);
1: @[%%0<64>,<-,8] := 7<64>;
2: rsp<64> := %%0<64>;
3: goto (0x0007eb, 0) 
  0007eb:
e9 70 ff ff ff 
jmp 0x760
0: goto (0x000760, 0) 
000007f0 <fwrite@plt>:
  0007f0:
ff 25 da 17 20 00 
jmp *0x2017da(%rip)
0: %%0<64> := @[0x0000000000201fd0,<-,8];
1: goto %%0<64> 
  0007f6:
68 08 00 00 00 
pushq $0x8
0: %%0<64> := (rsp<64> - 8<64>);
1: @[%%0<64>,<-,8] := 8<64>;
2: rsp<64> := %%0<64>;
3: goto (0x0007fb, 0) 
  0007fb:
e9 60 ff ff ff 
jmp 0x760
0: goto (0x000760, 0) 
Disassembly of section .plt.got:
  000800:
ff 25 f2 17 20 00 
jmp *0x2017f2(%rip)
0: %%0<64> := @[0x0000000000201ff8,<-,8];
1: goto %%0<64> 
  000806:
66 90 
nop
0: goto (0x000808, 0) 
Disassembly of section .text:
00000810 <_start>:
  000810:
31 ed 
xor %ebp,%ebp
0: %%0<1> := undef;
1: rbp<64> := 0<64>;
2: of<1> := 0<1>;
3: sf<1> := 0<1>;
4: zf<1> := -1<1>;
5: af<1> := %%0<1>;
6: pf<1> := -1<1>;
7: cf<1> := 0<1>;
8: goto (0x000812, 0) 
  000812:
49 89 d1 
mov %rdx,%r9
0: %%0<64> := rdx<64>;
1: r9<64> := %%0<64>;
2: goto (0x000815, 0) 
  000815:
5e 
pop %rsi
0: %%0<64> := (rsp<64> + 8<64>);
1: %%1<64> := @[rsp<64>,<-,8];
2: rsi<64> := %%1<64>;
3: rsp<64> := %%0<64>;
4: goto (0x000816, 0) 
  000816:
48 89 e2 
mov %rsp,%rdx
0: %%0<64> := rsp<64>;
1: rdx<64> := %%0<64>;
2: goto (0x000819, 0) 
  000819:
48 83 e4 f0 
and $0xfffffffffffffff0,%rsp
0: %%0<64> := (-16<64> & rsp<64>);
1: %%1<1> := ! (((rsp<64>{4} ^ rsp<64>{6}) ^ (rsp<64>{5} ^ rsp<64>{7})));
2: %%2<1> := undef;
3: %%3<1> := (0<64> = %%0<64>);
4: %%4<1> := (%%0<64> <s 0<64>);
5: rsp<64> := %%0<64>;
6: of<1> := 0<1>;
7: sf<1> := %%4<1>;
8: zf<1> := %%3<1>;
9: af<1> := %%2<1>;
10: pf<1> := %%1<1>;
11: cf<1> := 0<1>;
12: goto (0x00081d, 0) 
  00081d:
50 
push %rax
0: %%0<64> := (rsp<64> - 8<64>);
1: %%1<64> := rax<64>;
2: @[%%0<64>,<-,8] := %%1<64>;
3: rsp<64> := %%0<64>;
4: goto (0x00081e, 0) 
  00081e:
54 
push %rsp
0: %%0<64> := (rsp<64> - 8<64>);
1: %%1<64> := rsp<64>;
2: @[%%0<64>,<-,8] := %%1<64>;
3: rsp<64> := %%0<64>;
4: goto (0x00081f, 0) 
  00081f:
4c 8d 05 3a 04 00 00 
lea 0x43a(%rip),%r8
0: r8<64> := 3168<64>;
1: goto (0x000826, 0) 
  000826:
48 8d 0d c3 03 00 00 
lea 0x3c3(%rip),%rcx
0: rcx<64> := 3056<64>;
1: goto (0x00082d, 0) 
  00082d:
48 8d 3d 32 01 00 00 
lea 0x132(%rip),%rdi
0: rdi<64> := 2406<64>;
1: goto (0x000834, 0) 
  000834:
ff 15 a6 17 20 00 
call *0x2017a6(%rip)
0: %%0<64> := (rsp<64> - 8<64>);
1: %%1<64> := @[0x0000000000201fe0,<-,8];
2: @[%%0<64>,<-,8] := 2106<64>;
3: rsp<64> := %%0<64>;
4: goto %%1<64> #call with return address @ (0x00083a, 0)
  00083a:
f4 
hlt
0: #unsupported hlt
  00083b:
0f 1f 44 00 00 
nop
0: goto (0x000840, 0) 
00000840 <deregister_tm_clones>:
  000840:
48 8d 3d d1 17 20 00 
lea 0x2017d1(%rip),%rdi
0: rdi<64> := 0x0000000000202018;
1: goto (0x000847, 0) 
  000847:
55 
push %rbp
0: %%0<64> := (rsp<64> - 8<64>);
1: %%1<64> := rbp<64>;
2: @[%%0<64>,<-,8] := %%1<64>;
3: rsp<64> := %%0<64>;
4: goto (0x000848, 0) 
  000848:
48 8d 05 c9 17 20 00 
lea 0x2017c9(%rip),%rax
0: rax<64> := 0x0000000000202018;
1: goto (0x00084f, 0) 
  00084f:
48 39 f8 
cmp %rdi,%rax
0: %%0<64> := ! (rax<64>);
1: %%1<64> := (rax<64> - rdi<64>);
2: %%2<64> := ! (%%1<64>);
3: %%3<64> := (%%0<64> & rdi<64>);
4: %%4<1> :=
 (0x8000000000000000 =
  (0x8000000000000000 &
   (((%%0<64> | rdi<64>) & %%1<64>) | (%%3<64> & %%2<64>))));
5: %%5<1> :=
 !
 ((((%%1<64>{0} ^ %%1<64>{4}) ^ (%%1<64>{2} ^ %%1<64>{6})) ^
   ((%%1<64>{1} ^ %%1<64>{5}) ^ (%%1<64>{3} ^ %%1<64>{7}))));
6: %%6<1> := undef;
7: %%7<1> := (0<64> = %%1<64>);
8: %%8<1> := (%%1<64> <s 0<64>);
9: %%9<1> :=
 (0x8000000000000000 =
  (0x8000000000000000 &
   (((rax<64> & ! (rdi<64>)) & %%2<64>) | (%%3<64> & %%1<64>))));
10: of<1> := %%9<1>;
11: sf<1> := %%8<1>;
12: zf<1> := %%7<1>;
13: af<1> := %%6<1>;
14: pf<1> := %%5<1>;
15: cf<1> := %%4<1>;
16: goto (0x000852, 0) 
  000852:
48 89 e5 
mov %rsp,%rbp
0: %%0<64> := rsp<64>;
1: rbp<64> := %%0<64>;
2: goto (0x000855, 0) 
  000855:
74 19 
je 0x870
0: if zf<1> goto 2 else goto 1
1: goto (0x000857, 0) 
2: goto (0x000870, 0) 
  000857:
48 8b 05 7a 17 20 00 
mov 0x20177a(%rip),%rax
0: %%0<64> := @[0x0000000000201fd8,<-,8];
1: rax<64> := %%0<64>;
2: goto (0x00085e, 0) 
  00085e:
48 85 c0 
test %rax,%rax
0: %%0<1> :=
 !
 ((((rax<64>{0} ^ rax<64>{4}) ^ (rax<64>{2} ^ rax<64>{6})) ^
   ((rax<64>{1} ^ rax<64>{5}) ^ (rax<64>{3} ^ rax<64>{7}))));
1: %%1<1> := undef;
2: %%2<1> := (0<64> = rax<64>);
3: %%3<1> := (rax<64> <s 0<64>);
4: of<1> := 0<1>;
5: sf<1> := %%3<1>;
6: zf<1> := %%2<1>;
7: af<1> := %%1<1>;
8: pf<1> := %%0<1>;
9: cf<1> := 0<1>;
10: goto (0x000861, 0) 
  000861:
74 0d 
je 0x870
0: if zf<1> goto 2 else goto 1
1: goto (0x000863, 0) 
2: goto (0x000870, 0) 
  000863:
5d 
pop %rbp
0: %%0<64> := (rsp<64> + 8<64>);
1: %%1<64> := @[rsp<64>,<-,8];
2: rbp<64> := %%1<64>;
3: rsp<64> := %%0<64>;
4: goto (0x000864, 0) 
  000864:
ff e0 
jmp *%rax
0: %%0<64> := rax<64>;
1: goto %%0<64> 
  000866:
66 2e 0f 1f 84 00 00 00 00 00 
nop
0: goto (0x000870, 0) 
  000870:
5d 
pop %rbp
0: %%0<64> := (rsp<64> + 8<64>);
1: %%1<64> := @[rsp<64>,<-,8];
2: rbp<64> := %%1<64>;
3: rsp<64> := %%0<64>;
4: goto (0x000871, 0) 
  000871:
c3 
ret
0: %%0<64> := (rsp<64> + 8<64>);
1: %%1<64> := @[rsp<64>,<-,8];
2: rsp<64> := %%0<64>;
3: goto %%1<64> #return
  000872:
0f 1f 40 00 
nop
0: goto (0x000876, 0) 
  000876:
66 2e 0f 1f 84 00 00 00 00 00 
nop
0: goto (0x000880, 0) 
00000880 <register_tm_clones>:
  000880:
48 8d 3d 91 17 20 00 
lea 0x201791(%rip),%rdi
0: rdi<64> := 0x0000000000202018;
1: goto (0x000887, 0) 
  000887:
48 8d 35 8a 17 20 00 
lea 0x20178a(%rip),%rsi
0: rsi<64> := 0x0000000000202018;
1: goto (0x00088e, 0) 
  00088e:
55 
push %rbp
0: %%0<64> := (rsp<64> - 8<64>);
1: %%1<64> := rbp<64>;
2: @[%%0<64>,<-,8] := %%1<64>;
3: rsp<64> := %%0<64>;
4: goto (0x00088f, 0) 
  00088f:
48 29 fe 
sub %rdi,%rsi
0: %%0<64> := ! (rsi<64>);
1: %%1<64> := (rsi<64> - rdi<64>);
2: %%2<64> := ! (%%1<64>);
3: %%3<64> := (%%0<64> & rdi<64>);
4: %%4<1> :=
 (0x8000000000000000 =
  (0x8000000000000000 &
   (((%%0<64> | rdi<64>) & %%1<64>) | (%%3<64> & %%2<64>))));
5: %%5<1> :=
 !
 ((((%%1<64>{0} ^ %%1<64>{4}) ^ (%%1<64>{2} ^ %%1<64>{6})) ^
   ((%%1<64>{1} ^ %%1<64>{5}) ^ (%%1<64>{3} ^ %%1<64>{7}))));
6: %%6<1> := undef;
7: %%7<1> := (0<64> = %%1<64>);
8: %%8<1> := (%%1<64> <s 0<64>);
9: %%9<1> :=
 (0x8000000000000000 =
  (0x8000000000000000 &
   (((rsi<64> & ! (rdi<64>)) & %%2<64>) | (%%3<64> & %%1<64>))));
10: rsi<64> := %%1<64>;
11: of<1> := %%9<1>;
12: sf<1> := %%8<1>;
13: zf<1> := %%7<1>;
14: af<1> := %%6<1>;
15: pf<1> := %%5<1>;
16: cf<1> := %%4<1>;
17: goto (0x000892, 0) 
  000892:
48 89 e5 
mov %rsp,%rbp
0: %%0<64> := rsp<64>;
1: rbp<64> := %%0<64>;
2: goto (0x000895, 0) 
  000895:
48 c1 fe 03 
sar $0x3,%rsi
0: %%0<64> := (rsi<64> asr 3<64>);
1: %%1<1> := rsi<64>{2};
2: %%2<1> :=
 !
 ((((rsi<64>{3} ^ rsi<64>{7}) ^ (rsi<64>{5} ^ rsi<64>{9})) ^
   ((rsi<64>{4} ^ rsi<64>{8}) ^ (rsi<64>{6} ^ rsi<64>{10}))));
3: %%3<1> := undef;
4: %%4<1> := (0<64> = %%0<64>);
5: %%5<1> := (%%0<64> <s 0<64>);
6: %%6<1> := undef;
7: rsi<64> := %%0<64>;
8: of<1> := %%6<1>;
9: sf<1> := %%5<1>;
10: zf<1> := %%4<1>;
11: af<1> := %%3<1>;
12: pf<1> := %%2<1>;
13: cf<1> := %%1<1>;
14: goto (0x000899, 0) 
  000899:
48 89 f0 
mov %rsi,%rax
0: %%0<64> := rsi<64>;
1: rax<64> := %%0<64>;
2: goto (0x00089c, 0) 
  00089c:
48 c1 e8 3f 
shr $0x3f,%rax
0: %%0<64> := (rax<64> lsr 63<64>);
1: %%1<1> := rax<64>{62};
2: %%2<1> := ! (rax<64>{63});
3: %%3<1> := undef;
4: %%4<1> := (0<64> = %%0<64>);
5: %%5<1> := (%%0<64> <s 0<64>);
6: %%6<1> := undef;
7: rax<64> := %%0<64>;
8: of<1> := %%6<1>;
9: sf<1> := %%5<1>;
10: zf<1> := %%4<1>;
11: af<1> := %%3<1>;
12: pf<1> := %%2<1>;
13: cf<1> := %%1<1>;
14: goto (0x0008a0, 0) 
  0008a0:
48 01 c6 
add %rax,%rsi
0: %%0<64> := (rsi<64> & rax<64>);
1: %%1<64> := (rsi<64> + rax<64>);
2: %%2<64> := ! (%%1<64>);
3: %%3<1> :=
 (0x8000000000000000 =
  (0x8000000000000000 &
   (((rsi<64> | rax<64>) & %%2<64>) | (%%0<64> & %%1<64>))));
4: %%4<1> :=
 !
 ((((%%1<64>{0} ^ %%1<64>{4}) ^ (%%1<64>{2} ^ %%1<64>{6})) ^
   ((%%1<64>{1} ^ %%1<64>{5}) ^ (%%1<64>{3} ^ %%1<64>{7}))));
5: %%5<1> := undef;
6: %%6<1> := (0<64> = %%1<64>);
7: %%7<1> := (%%1<64> <s 0<64>);
8: %%8<1> :=
 (0x8000000000000000 =
  (0x8000000000000000 &
   ((%%0<64> & %%2<64>) | ((! (rsi<64>) & ! (rax<64>)) & %%1<64>))));
9: rsi<64> := %%1<64>;
10: of<1> := %%8<1>;
11: sf<1> := %%7<1>;
12: zf<1> := %%6<1>;
13: af<1> := %%5<1>;
14: pf<1> := %%4<1>;
15: cf<1> := %%3<1>;
16: goto (0x0008a3, 0) 
  0008a3:
48 d1 fe 
sar $0x1,%rsi
0: %%0<64> := (rsi<64> asr 1<64>);
1: %%1<1> := (0<64> <> (1<64> & rsi<64>));
2: %%2<1> :=
 !
 ((((rsi<64>{1} ^ rsi<64>{5}) ^ (rsi<64>{3} ^ rsi<64>{7})) ^
   ((rsi<64>{2} ^ rsi<64>{6}) ^ (rsi<64>{4} ^ rsi<64>{8}))));
3: %%3<1> := undef;
4: %%4<1> := (0<64> = %%0<64>);
5: %%5<1> := (%%0<64> <s 0<64>);
6: rsi<64> := %%0<64>;
7: of<1> := 0<1>;
8: sf<1> := %%5<1>;
9: zf<1> := %%4<1>;
10: af<1> := %%3<1>;
11: pf<1> := %%2<1>;
12: cf<1> := %%1<1>;
13: goto (0x0008a6, 0) 
  0008a6:
74 18 
je 0x8c0
0: if zf<1> goto 2 else goto 1
1: goto (0x0008a8, 0) 
2: goto (0x0008c0, 0) 
  0008a8:
48 8b 05 41 17 20 00 
mov 0x201741(%rip),%rax
0: %%0<64> := @[0x0000000000201ff0,<-,8];
1: rax<64> := %%0<64>;
2: goto (0x0008af, 0) 
  0008af:
48 85 c0 
test %rax,%rax
0: %%0<1> :=
 !
 ((((rax<64>{0} ^ rax<64>{4}) ^ (rax<64>{2} ^ rax<64>{6})) ^
   ((rax<64>{1} ^ rax<64>{5}) ^ (rax<64>{3} ^ rax<64>{7}))));
1: %%1<1> := undef;
2: %%2<1> := (0<64> = rax<64>);
3: %%3<1> := (rax<64> <s 0<64>);
4: of<1> := 0<1>;
5: sf<1> := %%3<1>;
6: zf<1> := %%2<1>;
7: af<1> := %%1<1>;
8: pf<1> := %%0<1>;
9: cf<1> := 0<1>;
10: goto (0x0008b2, 0) 
  0008b2:
74 0c 
je 0x8c0
0: if zf<1> goto 2 else goto 1
1: goto (0x0008b4, 0) 
2: goto (0x0008c0, 0) 
  0008b4:
5d 
pop %rbp
0: %%0<64> := (rsp<64> + 8<64>);
1: %%1<64> := @[rsp<64>,<-,8];
2: rbp<64> := %%1<64>;
3: rsp<64> := %%0<64>;
4: goto (0x0008b5, 0) 
  0008b5:
ff e0 
jmp *%rax
0: %%0<64> := rax<64>;
1: goto %%0<64> 
  0008b7:
66 0f 1f 84 00 00 00 00 00 
nop
0: goto (0x0008c0, 0) 
  0008c0:
5d 
pop %rbp
0: %%0<64> := (rsp<64> + 8<64>);
1: %%1<64> := @[rsp<64>,<-,8];
2: rbp<64> := %%1<64>;
3: rsp<64> := %%0<64>;
4: goto (0x0008c1, 0) 
  0008c1:
c3 
ret
0: %%0<64> := (rsp<64> + 8<64>);
1: %%1<64> := @[rsp<64>,<-,8];
2: rsp<64> := %%0<64>;
3: goto %%1<64> #return
  0008c2:
0f 1f 40 00 
nop
0: goto (0x0008c6, 0) 
  0008c6:
66 2e 0f 1f 84 00 00 00 00 00 
nop
0: goto (0x0008d0, 0) 
000008d0 <__do_global_dtors_aux>:
  0008d0:
80 3d 71 17 20 00 00 
cmpb $0x0,0x201771(%rip)
0: %%0<8> := @[0x0000000000202048,<-,1];
1: %%1<8> := %%0<8>;
2: %%2<1> := (-128<8> = (-128<8> & (! (%%0<8>) & %%1<8>)));
3: %%3<1> :=
 !
 ((((%%1<8>{0} ^ %%1<8>{4}) ^ (%%1<8>{2} ^ %%1<8>{6})) ^
   ((%%1<8>{1} ^ %%1<8>{5}) ^ (%%1<8>{3} ^ %%1<8>{7}))));
4: %%4<1> := undef;
5: %%5<1> := (0<8> = %%1<8>);
6: %%6<1> := (%%1<8> <s 0<8>);
7: %%7<1> := (-128<8> = (-128<8> & (%%0<8> & ! (%%1<8>))));
8: of<1> := %%7<1>;
9: sf<1> := %%6<1>;
10: zf<1> := %%5<1>;
11: af<1> := %%4<1>;
12: pf<1> := %%3<1>;
13: cf<1> := %%2<1>;
14: goto (0x0008d7, 0) 
  0008d7:
75 2f 
jne 0x908
0: if ! (zf<1>) goto 2 else goto 1
1: goto (0x0008d9, 0) 
2: goto (0x000908, 0) 
  0008d9:
48 83 3d 17 17 20 00 00 
cmpq $0x0,0x201717(%rip)
0: %%0<64> := @[0x0000000000201ff8,<-,8];
1: %%1<64> := %%0<64>;
2: %%2<1> :=
 (0x8000000000000000 = (0x8000000000000000 & (! (%%0<64>) & %%1<64>)));
3: %%3<1> :=
 !
 ((((%%1<64>{0} ^ %%1<64>{4}) ^ (%%1<64>{2} ^ %%1<64>{6})) ^
   ((%%1<64>{1} ^ %%1<64>{5}) ^ (%%1<64>{3} ^ %%1<64>{7}))));
4: %%4<1> := undef;
5: %%5<1> := (0<64> = %%1<64>);
6: %%6<1> := (%%1<64> <s 0<64>);
7: %%7<1> :=
 (0x8000000000000000 = (0x8000000000000000 & (%%0<64> & ! (%%1<64>))));
8: of<1> := %%7<1>;
9: sf<1> := %%6<1>;
10: zf<1> := %%5<1>;
11: af<1> := %%4<1>;
12: pf<1> := %%3<1>;
13: cf<1> := %%2<1>;
14: goto (0x0008e1, 0) 
  0008e1:
55 
push %rbp
0: %%0<64> := (rsp<64> - 8<64>);
1: %%1<64> := rbp<64>;
2: @[%%0<64>,<-,8] := %%1<64>;
3: rsp<64> := %%0<64>;
4: goto (0x0008e2, 0) 
  0008e2:
48 89 e5 
mov %rsp,%rbp
0: %%0<64> := rsp<64>;
1: rbp<64> := %%0<64>;
2: goto (0x0008e5, 0) 
  0008e5:
74 0c 
je 0x8f3
0: if zf<1> goto 2 else goto 1
1: goto (0x0008e7, 0) 
2: goto (0x0008f3, 0) 
  0008e7:
48 8b 3d 1a 17 20 00 
mov 0x20171a(%rip),%rdi
0: %%0<64> := @[0x0000000000202008,<-,8];
1: rdi<64> := %%0<64>;
2: goto (0x0008ee, 0) 
  0008ee:
e8 0d ff ff ff 
call 0x800
0: %%0<64> := (rsp<64> - 8<64>);
1: @[%%0<64>,<-,8] := 2291<64>;
2: rsp<64> := %%0<64>;
3: goto (0x000800, 0) #call with return address @ (0x0008f3, 0)
  0008f3:
e8 48 ff ff ff 
call 0x840
0: %%0<64> := (rsp<64> - 8<64>);
1: @[%%0<64>,<-,8] := 2296<64>;
2: rsp<64> := %%0<64>;
3: goto (0x000840, 0) #call with return address @ (0x0008f8, 0)
  0008f8:
c6 05 49 17 20 00 01 
movb $0x1,0x201749(%rip)
0: @[0x0000000000202048,<-,1] := 1<8>;
1: goto (0x0008ff, 0) 
  0008ff:
5d 
pop %rbp
0: %%0<64> := (rsp<64> + 8<64>);
1: %%1<64> := @[rsp<64>,<-,8];
2: rbp<64> := %%1<64>;
3: rsp<64> := %%0<64>;
4: goto (0x000900, 0) 
  000900:
c3 
ret
0: %%0<64> := (rsp<64> + 8<64>);
1: %%1<64> := @[rsp<64>,<-,8];
2: rsp<64> := %%0<64>;
3: goto %%1<64> #return
  000901:
0f 1f 80 00 00 00 00 
nop
0: goto (0x000908, 0) 
  000908:
f3 c3 
ret
0: %%0<64> := (rsp<64> + 8<64>);
1: %%1<64> := @[rsp<64>,<-,8];
2: rsp<64> := %%0<64>;
3: goto %%1<64> #return
  00090a:
66 0f 1f 44 00 00 
nop
0: goto (0x000910, 0) 
00000910 <frame_dummy>:
  000910:
55 
push %rbp
0: %%0<64> := (rsp<64> - 8<64>);
1: %%1<64> := rbp<64>;
2: @[%%0<64>,<-,8] := %%1<64>;
3: rsp<64> := %%0<64>;
4: goto (0x000911, 0) 
  000911:
48 89 e5 
mov %rsp,%rbp
0: %%0<64> := rsp<64>;
1: rbp<64> := %%0<64>;
2: goto (0x000914, 0) 
  000914:
5d 
pop %rbp
0: %%0<64> := (rsp<64> + 8<64>);
1: %%1<64> := @[rsp<64>,<-,8];
2: rbp<64> := %%1<64>;
3: rsp<64> := %%0<64>;
4: goto (0x000915, 0) 
  000915:
e9 66 ff ff ff 
jmp 0x880
0: goto (0x000880, 0) 
0000091a <check_char>:
  00091a:
55 
push %rbp
0: %%0<64> := (rsp<64> - 8<64>);
1: %%1<64> := rbp<64>;
2: @[%%0<64>,<-,8] := %%1<64>;
3: rsp<64> := %%0<64>;
4: goto (0x00091b, 0) 
  00091b:
48 89 e5 
mov %rsp,%rbp
0: %%0<64> := rsp<64>;
1: rbp<64> := %%0<64>;
2: goto (0x00091e, 0) 
  00091e:
89 7d fc 
mov %edi,-0x4(%rbp)
0: %%0<32> := rdi<64>{31..0};
1: %%1<64> := (rbp<64> + -4<64>);
2: @[%%1<64>,<-,4] := %%0<32>;
3: goto (0x000921, 0) 
  000921:
89 f0 
mov %esi,%eax
0: %%0<64> := (0x00000000ffffffff & rsi<64>);
1: rax<64> := %%0<64>;
2: goto (0x000923, 0) 
  000923:
88 45 f8 
mov %al,-0x8(%rbp)
0: %%0<8> := rax<64>{7..0};
1: %%1<64> := (rbp<64> + -8<64>);
2: @[%%1<64>,<-,1] := %%0<8>;
3: goto (0x000926, 0) 
  000926:
48 8b 35 e3 16 20 00 
mov 0x2016e3(%rip),%rsi
0: %%0<64> := @[0x0000000000202010,<-,8];
1: rsi<64> := %%0<64>;
2: goto (0x00092d, 0) 
  00092d:
8b 45 fc 
mov -0x4(%rbp),%eax
0: %%0<64> := (uext64 @[(rbp<64> + -4<64>),<-,4]);
1: rax<64> := %%0<64>;
2: goto (0x000930, 0) 
  000930:
8d 48 0a 
lea 0xa(%rax),%ecx
0: %%0<64> := (0x00000000ffffffff & (rax<64> + 10<64>));
1: rcx<64> := %%0<64>;
2: goto (0x000933, 0) 
  000933:
ba cd cc cc cc 
mov $0xcccccccd,%edx
0: rdx<64> := 0x00000000cccccccd;
1: goto (0x000938, 0) 
  000938:
89 c8 
mov %ecx,%eax
0: %%0<64> := (0x00000000ffffffff & rcx<64>);
1: rax<64> := %%0<64>;
2: goto (0x00093a, 0) 
  00093a:
f7 e2 
mul %edx
0: %%0<64> := ((0x00000000ffffffff & rax<64>) * (0x00000000ffffffff & rdx<64>));
1: %%1<64> := (0x00000000ffffffff & %%0<64>);
2: %%2<1> := (%%1<64> <> %%0<64>);
3: %%3<1> := undef;
4: %%4<1> := undef;
5: %%5<1> := undef;
6: %%6<1> := undef;
7: %%7<64> := (%%0<64> lsr 32<64>);
8: rdx<64> := %%7<64>;
9: rax<64> := %%1<64>;
10: of<1> := %%2<1>;
11: sf<1> := %%6<1>;
12: zf<1> := %%5<1>;
13: af<1> := %%4<1>;
14: pf<1> := %%3<1>;
15: cf<1> := %%2<1>;
16: goto (0x00093c, 0) 
  00093c:
c1 ea 05 
shr $0x5,%edx
0: %%0<32> := (uext32 rdx<64>{31..5});
1: %%1<1> := rdx<64>{4};
2: %%2<1> :=
 !
 ((((rdx<64>{5} ^ rdx<64>{9}) ^ (rdx<64>{7} ^ rdx<64>{11})) ^
   ((rdx<64>{6} ^ rdx<64>{10}) ^ (rdx<64>{8} ^ rdx<64>{12}))));
3: %%3<1> := undef;
4: %%4<1> := (0<32> = %%0<32>);
5: %%5<1> := (%%0<32> <s 0<32>);
6: %%6<1> := undef;
7: %%7<64> := (uext64 rdx<64>{31..5});
8: rdx<64> := %%7<64>;
9: of<1> := %%6<1>;
10: sf<1> := %%5<1>;
11: zf<1> := %%4<1>;
12: af<1> := %%3<1>;
13: pf<1> := %%2<1>;
14: cf<1> := %%1<1>;
15: goto (0x00093f, 0) 
  00093f:
89 d0 
mov %edx,%eax
0: %%0<64> := (0x00000000ffffffff & rdx<64>);
1: rax<64> := %%0<64>;
2: goto (0x000941, 0) 
  000941:
c1 e0 02 
shl $0x2,%eax
0: %%0<32> := rax<64>{31..0};
1: %%1<32> := (%%0<32> lsl 2<32>);
2: %%2<1> := (0<32> <> (0x80000000 & (%%0<32> lsl 1<32>)));
3: %%3<1> :=
 !
 (((rax<64>{2} ^ (rax<64>{0} ^ rax<64>{4})) ^
   (rax<64>{3} ^ (rax<64>{1} ^ rax<64>{5}))));
4: %%4<1> := undef;
5: %%5<1> := (0<32> = %%1<32>);
6: %%6<1> := (%%1<32> <s 0<32>);
7: %%7<1> := undef;
8: %%8<64> := (uext64 %%1<32>);
9: rax<64> := %%8<64>;
10: of<1> := %%7<1>;
11: sf<1> := %%6<1>;
12: zf<1> := %%5<1>;
13: af<1> := %%4<1>;
14: pf<1> := %%3<1>;
15: cf<1> := %%2<1>;
16: goto (0x000944, 0) 
  000944:
01 d0 
add %edx,%eax
0: %%0<32> := rax<64>{31..0};
1: %%1<32> := rdx<64>{31..0};
2: %%2<32> := (%%0<32> & %%1<32>);
3: %%3<32> := (%%0<32> + %%1<32>);
4: %%4<32> := ! (%%3<32>);
5: %%5<1> :=
 (0x80000000 =
  (0x80000000 & (((%%0<32> | %%1<32>) & %%4<32>) | (%%2<32> & %%3<32>))));
6: %%6<1> :=
 !
 ((((%%3<32>{0} ^ %%3<32>{4}) ^ (%%3<32>{2} ^ %%3<32>{6})) ^
   ((%%3<32>{1} ^ %%3<32>{5}) ^ (%%3<32>{3} ^ %%3<32>{7}))));
7: %%7<1> := undef;
8: %%8<1> := (0<32> = %%3<32>);
9: %%9<1> := (%%3<32> <s 0<32>);
10: %%10<1> :=
 (0x80000000 =
  (0x80000000 &
   ((%%2<32> & %%4<32>) | ((! (%%0<32>) & ! (%%1<32>)) & %%3<32>))));
11: %%11<64> := (uext64 %%3<32>);
12: rax<64> := %%11<64>;
13: of<1> := %%10<1>;
14: sf<1> := %%9<1>;
15: zf<1> := %%8<1>;
16: af<1> := %%7<1>;
17: pf<1> := %%6<1>;
18: cf<1> := %%5<1>;
19: goto (0x000946, 0) 
  000946:
c1 e0 03 
shl $0x3,%eax
0: %%0<32> := rax<64>{31..0};
1: %%1<32> := (%%0<32> lsl 3<32>);
2: %%2<1> := (0<32> <> (0x80000000 & (%%0<32> lsl 2<32>)));
3: %%3<1> :=
 ! (((rax<64>{1} ^ rax<64>{3}) ^ (rax<64>{2} ^ (rax<64>{0} ^ rax<64>{4}))));
4: %%4<1> := undef;
5: %%5<1> := (0<32> = %%1<32>);
6: %%6<1> := (%%1<32> <s 0<32>);
7: %%7<1> := undef;
8: %%8<64> := (uext64 %%1<32>);
9: rax<64> := %%8<64>;
10: of<1> := %%7<1>;
11: sf<1> := %%6<1>;
12: zf<1> := %%5<1>;
13: af<1> := %%4<1>;
14: pf<1> := %%3<1>;
15: cf<1> := %%2<1>;
16: goto (0x000949, 0) 
  000949:
29 c1 
sub %eax,%ecx
0: %%0<32> := rax<64>{31..0};
1: %%1<32> := rcx<64>{31..0};
2: %%2<32> := ! (%%1<32>);
3: %%3<32> := (%%1<32> - %%0<32>);
4: %%4<32> := ! (%%3<32>);
5: %%5<32> := (%%2<32> & %%0<32>);
6: %%6<1> :=
 (0x80000000 =
  (0x80000000 & (((%%2<32> | %%0<32>) & %%3<32>) | (%%5<32> & %%4<32>))));
7: %%7<1> :=
 !
 ((((%%3<32>{0} ^ %%3<32>{4}) ^ (%%3<32>{2} ^ %%3<32>{6})) ^
   ((%%3<32>{1} ^ %%3<32>{5}) ^ (%%3<32>{3} ^ %%3<32>{7}))));
8: %%8<1> := undef;
9: %%9<1> := (0<32> = %%3<32>);
10: %%10<1> := (%%3<32> <s 0<32>);
11: %%11<1> :=
 (0x80000000 =
  (0x80000000 & (((%%1<32> & ! (%%0<32>)) & %%4<32>) | (%%5<32> & %%3<32>))))
 ;
12: %%12<64> := (uext64 %%3<32>);
13: rcx<64> := %%12<64>;
14: of<1> := %%11<1>;
15: sf<1> := %%10<1>;
16: zf<1> := %%9<1>;
17: af<1> := %%8<1>;
18: pf<1> := %%7<1>;
19: cf<1> := %%6<1>;
20: goto (0x00094b, 0) 
  00094b:
89 ca 
mov %ecx,%edx
0: %%0<64> := (0x00000000ffffffff & rcx<64>);
1: rdx<64> := %%0<64>;
2: goto (0x00094d, 0) 
  00094d:
89 d0 
mov %edx,%eax
0: %%0<64> := (0x00000000ffffffff & rdx<64>);
1: rax<64> := %%0<64>;
2: goto (0x00094f, 0) 
  00094f:
48 01 f0 
add %rsi,%rax
0: %%0<64> := (rax<64> & rsi<64>);
1: %%1<64> := (rax<64> + rsi<64>);
2: %%2<64> := ! (%%1<64>);
3: %%3<1> :=
 (0x8000000000000000 =
  (0x8000000000000000 &
   (((rax<64> | rsi<64>) & %%2<64>) | (%%0<64> & %%1<64>))));
4: %%4<1> :=
 !
 ((((%%1<64>{0} ^ %%1<64>{4}) ^ (%%1<64>{2} ^ %%1<64>{6})) ^
   ((%%1<64>{1} ^ %%1<64>{5}) ^ (%%1<64>{3} ^ %%1<64>{7}))));
5: %%5<1> := undef;
6: %%6<1> := (0<64> = %%1<64>);
7: %%7<1> := (%%1<64> <s 0<64>);
8: %%8<1> :=
 (0x8000000000000000 =
  (0x8000000000000000 &
   ((%%0<64> & %%2<64>) | ((! (rax<64>) & ! (rsi<64>)) & %%1<64>))));
9: rax<64> := %%1<64>;
10: of<1> := %%8<1>;
11: sf<1> := %%7<1>;
12: zf<1> := %%6<1>;
13: af<1> := %%5<1>;
14: pf<1> := %%4<1>;
15: cf<1> := %%3<1>;
16: goto (0x000952, 0) 
  000952:
0f b6 00 
movzbl (%rax),%eax
0: %%0<64> := (uext64 @[rax<64>,<-,1]);
1: rax<64> := %%0<64>;
2: goto (0x000955, 0) 
  000955:
0f be d0 
movsbl %al,%edx
0: %%0<64> := (uext64 (sext32 rax<64>{7..0}));
1: rdx<64> := %%0<64>;
2: goto (0x000958, 0) 
  000958:
0f b6 45 f8 
movzbl -0x8(%rbp),%eax
0: %%0<64> := (uext64 @[(rbp<64> + -8<64>),<-,1]);
1: rax<64> := %%0<64>;
2: goto (0x00095c, 0) 
  00095c:
39 c2 
cmp %eax,%edx
0: %%0<32> := rax<64>{31..0};
1: %%1<32> := rdx<64>{31..0};
2: %%2<32> := ! (%%1<32>);
3: %%3<32> := (%%1<32> - %%0<32>);
4: %%4<32> := ! (%%3<32>);
5: %%5<32> := (%%2<32> & %%0<32>);
6: %%6<1> :=
 (0x80000000 =
  (0x80000000 & (((%%2<32> | %%0<32>) & %%3<32>) | (%%5<32> & %%4<32>))));
7: %%7<1> :=
 !
 ((((%%3<32>{0} ^ %%3<32>{4}) ^ (%%3<32>{2} ^ %%3<32>{6})) ^
   ((%%3<32>{1} ^ %%3<32>{5}) ^ (%%3<32>{3} ^ %%3<32>{7}))));
8: %%8<1> := undef;
9: %%9<1> := (0<32> = %%3<32>);
10: %%10<1> := (%%3<32> <s 0<32>);
11: %%11<1> :=
 (0x80000000 =
  (0x80000000 & (((%%1<32> & ! (%%0<32>)) & %%4<32>) | (%%5<32> & %%3<32>))))
 ;
12: of<1> := %%11<1>;
13: sf<1> := %%10<1>;
14: zf<1> := %%9<1>;
15: af<1> := %%8<1>;
16: pf<1> := %%7<1>;
17: cf<1> := %%6<1>;
18: goto (0x00095e, 0) 
  00095e:
0f 94 c0 
sete %al
0: %%0<8> := (uext8 zf<1>);
1: rax<64>{0, 7} := %%0<8>;
2: goto (0x000961, 0) 
  000961:
0f b6 c0 
movzbl %al,%eax
0: %%0<64> := (255<64> & rax<64>);
1: rax<64> := %%0<64>;
2: goto (0x000964, 0) 
  000964:
5d 
pop %rbp
0: %%0<64> := (rsp<64> + 8<64>);
1: %%1<64> := @[rsp<64>,<-,8];
2: rbp<64> := %%1<64>;
3: rsp<64> := %%0<64>;
4: goto (0x000965, 0) 
  000965:
c3 
ret
0: %%0<64> := (rsp<64> + 8<64>);
1: %%1<64> := @[rsp<64>,<-,8];
2: rsp<64> := %%0<64>;
3: goto %%1<64> #return
00000966 <main>:
  000966:
55 
push %rbp
0: %%0<64> := (rsp<64> - 8<64>);
1: %%1<64> := rbp<64>;
2: @[%%0<64>,<-,8] := %%1<64>;
3: rsp<64> := %%0<64>;
4: goto (0x000967, 0) 
  000967:
48 89 e5 
mov %rsp,%rbp
0: %%0<64> := rsp<64>;
1: rbp<64> := %%0<64>;
2: goto (0x00096a, 0) 
  00096a:
48 81 ec b0 00 00 00 
sub $0xb0,%rsp
0: %%0<64> := (rsp<64> - 176<64>);
1: %%1<1> :=
 (0x8000000000000000 = (0x8000000000000000 & (! (rsp<64>) & %%0<64>)));
2: %%2<1> :=
 !
 ((((%%0<64>{0} ^ %%0<64>{4}) ^ (%%0<64>{2} ^ %%0<64>{6})) ^
   ((%%0<64>{1} ^ %%0<64>{5}) ^ (%%0<64>{3} ^ %%0<64>{7}))));
3: %%3<1> := undef;
4: %%4<1> := (0<64> = %%0<64>);
5: %%5<1> := (%%0<64> <s 0<64>);
6: %%6<1> :=
 (0x8000000000000000 = (0x8000000000000000 & (rsp<64> & ! (%%0<64>))));
7: rsp<64> := %%0<64>;
8: of<1> := %%6<1>;
9: sf<1> := %%5<1>;
10: zf<1> := %%4<1>;
11: af<1> := %%3<1>;
12: pf<1> := %%2<1>;
13: cf<1> := %%1<1>;
14: goto (0x000971, 0) 
  000971:
89 bd 5c ff ff ff 
mov %edi,-0xa4(%rbp)
0: %%0<32> := rdi<64>{31..0};
1: %%1<64> := (rbp<64> + -164<64>);
2: @[%%1<64>,<-,4] := %%0<32>;
3: goto (0x000977, 0) 
  000977:
48 89 b5 50 ff ff ff 
mov %rsi,-0xb0(%rbp)
0: %%0<64> := rsi<64>;
1: %%1<64> := (rbp<64> + -176<64>);
2: @[%%1<64>,<-,8] := %%0<64>;
3: goto (0x00097e, 0) 
  00097e:
64 48 8b 04 25 28 00 00 00 
mov %fs:0x28,%rax
0: %%0<64> := @[(fs_base<64> + 40<64>),<-,8];
1: rax<64> := %%0<64>;
2: goto (0x000987, 0) 
  000987:
48 89 45 f8 
mov %rax,-0x8(%rbp)
0: %%0<64> := rax<64>;
1: %%1<64> := (rbp<64> + -8<64>);
2: @[%%1<64>,<-,8] := %%0<64>;
3: goto (0x00098b, 0) 
  00098b:
31 c0 
xor %eax,%eax
0: %%0<1> := undef;
1: rax<64> := 0<64>;
2: of<1> := 0<1>;
3: sf<1> := 0<1>;
4: zf<1> := -1<1>;
5: af<1> := %%0<1>;
6: pf<1> := -1<1>;
7: cf<1> := 0<1>;
8: goto (0x00098d, 0) 
  00098d:
c7 85 64 ff ff ff 00 00 00 00 
movl $0x0,-0x9c(%rbp)
0: %%0<64> := (rbp<64> + -156<64>);
1: @[%%0<64>,<-,4] := 0<32>;
2: goto (0x000997, 0) 
  000997:
c7 85 68 ff ff ff 01 00 00 00 
movl $0x1,-0x98(%rbp)
0: %%0<64> := (rbp<64> + -152<64>);
1: @[%%0<64>,<-,4] := 1<32>;
2: goto (0x0009a1, 0) 
  0009a1:
c7 85 6c ff ff ff 00 00 00 00 
movl $0x0,-0x94(%rbp)
0: %%0<64> := (rbp<64> + -148<64>);
1: @[%%0<64>,<-,4] := 0<32>;
2: goto (0x0009ab, 0) 
  0009ab:
48 8d 85 70 ff ff ff 
lea -0x90(%rbp),%rax
0: %%0<64> := (rbp<64> + -144<64>);
1: rax<64> := %%0<64>;
2: goto (0x0009b2, 0) 
  0009b2:
48 89 c6 
mov %rax,%rsi
0: %%0<64> := rax<64>;
1: rsi<64> := %%0<64>;
2: goto (0x0009b5, 0) 
  0009b5:
bf 00 00 00 00 
mov $0x0,%edi
0: rdi<64> := 0<64>;
1: goto (0x0009ba, 0) 
  0009ba:
e8 01 fe ff ff 
call 0x7c0
0: %%0<64> := (rsp<64> - 8<64>);
1: @[%%0<64>,<-,8] := 2495<64>;
2: rsp<64> := %%0<64>;
3: goto (0x0007c0, 0) #call with return address @ (0x0009bf, 0)
  0009bf:
83 f8 ff 
cmp $0xffffffff,%eax
0: %%0<32> := rax<64>{31..0};
1: %%1<32> := ! (%%0<32>);
2: %%2<32> := (%%0<32> - -1<32>);
3: %%3<1> := (0x80000000 = (0x80000000 & (%%2<32> | (%%1<32> & ! (%%2<32>)))));
4: %%4<1> :=
 !
 ((((%%2<32>{0} ^ %%2<32>{4}) ^ (%%2<32>{2} ^ %%2<32>{6})) ^
   ((%%2<32>{1} ^ %%2<32>{5}) ^ (%%2<32>{3} ^ %%2<32>{7}))));
5: %%5<1> := undef;
6: %%6<1> := (0<32> = %%2<32>);
7: %%7<1> := (%%2<32> <s 0<32>);
8: %%8<1> := (0x80000000 = (0x80000000 & (%%1<32> & %%2<32>)));
9: of<1> := %%8<1>;
10: sf<1> := %%7<1>;
11: zf<1> := %%6<1>;
12: af<1> := %%5<1>;
13: pf<1> := %%4<1>;
14: cf<1> := %%3<1>;
15: goto (0x0009c2, 0) 
  0009c2:
75 2a 
jne 0x9ee
0: if ! (zf<1>) goto 2 else goto 1
1: goto (0x0009c4, 0) 
2: goto (0x0009ee, 0) 
  0009c4:
48 8b 05 75 16 20 00 
mov 0x201675(%rip),%rax
0: %%0<64> := @[0x0000000000202040,<-,8];
1: rax<64> := %%0<64>;
2: goto (0x0009cb, 0) 
  0009cb:
48 89 c1 
mov %rax,%rcx
0: %%0<64> := rax<64>;
1: rcx<64> := %%0<64>;
2: goto (0x0009ce, 0) 
  0009ce:
ba 09 00 00 00 
mov $0x9,%edx
0: rdx<64> := 9<64>;
1: goto (0x0009d3, 0) 
  0009d3:
be 01 00 00 00 
mov $0x1,%esi
0: rsi<64> := 1<64>;
1: goto (0x0009d8, 0) 
  0009d8:
48 8d 3d c2 02 00 00 
lea 0x2c2(%rip),%rdi
0: rdi<64> := 3233<64>;
1: goto (0x0009df, 0) 
  0009df:
e8 0c fe ff ff 
call 0x7f0
0: %%0<64> := (rsp<64> - 8<64>);
1: @[%%0<64>,<-,8] := 2532<64>;
2: rsp<64> := %%0<64>;
3: goto (0x0007f0, 0) #call with return address @ (0x0009e4, 0)
  0009e4:
bf ff ff ff ff 
mov $0xffffffff,%edi
0: rdi<64> := 0x00000000ffffffff;
1: goto (0x0009e9, 0) 
  0009e9:
e8 f2 fd ff ff 
call 0x7e0
0: %%0<64> := (rsp<64> - 8<64>);
1: @[%%0<64>,<-,8] := 2542<64>;
2: rsp<64> := %%0<64>;
3: goto (0x0007e0, 0) #call with return address @ (0x0009ee, 0)
  0009ee:
48 8b 85 70 ff ff ff 
mov -0x90(%rbp),%rax
0: %%0<64> := @[(rbp<64> + -144<64>),<-,8];
1: rax<64> := %%0<64>;
2: goto (0x0009f5, 0) 
  0009f5:
48 8b 95 78 ff ff ff 
mov -0x88(%rbp),%rdx
0: %%0<64> := @[(rbp<64> + -136<64>),<-,8];
1: rdx<64> := %%0<64>;
2: goto (0x0009fc, 0) 
  0009fc:
48 89 45 b0 
mov %rax,-0x50(%rbp)
0: %%0<64> := rax<64>;
1: %%1<64> := (rbp<64> + -80<64>);
2: @[%%1<64>,<-,8] := %%0<64>;
3: goto (0x000a00, 0) 
  000a00:
48 89 55 b8 
mov %rdx,-0x48(%rbp)
0: %%0<64> := rdx<64>;
1: %%1<64> := (rbp<64> + -72<64>);
2: @[%%1<64>,<-,8] := %%0<64>;
3: goto (0x000a04, 0) 
  000a04:
48 8b 45 80 
mov -0x80(%rbp),%rax
0: %%0<64> := @[(rbp<64> + -128<64>),<-,8];
1: rax<64> := %%0<64>;
2: goto (0x000a08, 0) 
  000a08:
48 8b 55 88 
mov -0x78(%rbp),%rdx
0: %%0<64> := @[(rbp<64> + -120<64>),<-,8];
1: rdx<64> := %%0<64>;
2: goto (0x000a0c, 0) 
  000a0c:
48 89 45 c0 
mov %rax,-0x40(%rbp)
0: %%0<64> := rax<64>;
1: %%1<64> := (rbp<64> + -64<64>);
2: @[%%1<64>,<-,8] := %%0<64>;
3: goto (0x000a10, 0) 
  000a10:
48 89 55 c8 
mov %rdx,-0x38(%rbp)
0: %%0<64> := rdx<64>;
1: %%1<64> := (rbp<64> + -56<64>);
2: @[%%1<64>,<-,8] := %%0<64>;
3: goto (0x000a14, 0) 
  000a14:
48 8b 45 90 
mov -0x70(%rbp),%rax
0: %%0<64> := @[(rbp<64> + -112<64>),<-,8];
1: rax<64> := %%0<64>;
2: goto (0x000a18, 0) 
  000a18:
48 8b 55 98 
mov -0x68(%rbp),%rdx
0: %%0<64> := @[(rbp<64> + -104<64>),<-,8];
1: rdx<64> := %%0<64>;
2: goto (0x000a1c, 0) 
  000a1c:
48 89 45 d0 
mov %rax,-0x30(%rbp)
0: %%0<64> := rax<64>;
1: %%1<64> := (rbp<64> + -48<64>);
2: @[%%1<64>,<-,8] := %%0<64>;
3: goto (0x000a20, 0) 
  000a20:
48 89 55 d8 
mov %rdx,-0x28(%rbp)
0: %%0<64> := rdx<64>;
1: %%1<64> := (rbp<64> + -40<64>);
2: @[%%1<64>,<-,8] := %%0<64>;
3: goto (0x000a24, 0) 
  000a24:
48 8b 45 a0 
mov -0x60(%rbp),%rax
0: %%0<64> := @[(rbp<64> + -96<64>),<-,8];
1: rax<64> := %%0<64>;
2: goto (0x000a28, 0) 
  000a28:
48 89 45 e0 
mov %rax,-0x20(%rbp)
0: %%0<64> := rax<64>;
1: %%1<64> := (rbp<64> + -32<64>);
2: @[%%1<64>,<-,8] := %%0<64>;
3: goto (0x000a2c, 0) 
  000a2c:
8b 45 a8 
mov -0x58(%rbp),%eax
0: %%0<64> := (uext64 @[(rbp<64> + -88<64>),<-,4]);
1: rax<64> := %%0<64>;
2: goto (0x000a2f, 0) 
  000a2f:
89 45 e8 
mov %eax,-0x18(%rbp)
0: %%0<32> := rax<64>{31..0};
1: %%1<64> := (rbp<64> + -24<64>);
2: @[%%1<64>,<-,4] := %%0<32>;
3: goto (0x000a32, 0) 
  000a32:
8b 85 7c ff ff ff 
mov -0x84(%rbp),%eax
0: %%0<64> := (uext64 @[(rbp<64> + -132<64>),<-,4]);
1: rax<64> := %%0<64>;
2: goto (0x000a38, 0) 
  000a38:
83 e0 f7 
and $0xfffffff7,%eax
0: %%0<32> := (-9<32> & rax<64>{31..0});
1: %%1<1> :=
 !
 ((((rax<64>{0} ^ rax<64>{4}) ^ (rax<64>{2} ^ rax<64>{6})) ^
   ((rax<64>{1} ^ rax<64>{5}) ^ rax<64>{7})));
2: %%2<1> := undef;
3: %%3<1> := (0<32> = %%0<32>);
4: %%4<1> := (%%0<32> <s 0<32>);
5: %%5<64> := (uext64 %%0<32>);
6: rax<64> := %%5<64>;
7: of<1> := 0<1>;
8: sf<1> := %%4<1>;
9: zf<1> := %%3<1>;
10: af<1> := %%2<1>;
11: pf<1> := %%1<1>;
12: cf<1> := 0<1>;
13: goto (0x000a3b, 0) 
  000a3b:
89 85 7c ff ff ff 
mov %eax,-0x84(%rbp)
0: %%0<32> := rax<64>{31..0};
1: %%1<64> := (rbp<64> + -132<64>);
2: @[%%1<64>,<-,4] := %%0<32>;
3: goto (0x000a41, 0) 
  000a41:
48 8d 85 70 ff ff ff 
lea -0x90(%rbp),%rax
0: %%0<64> := (rbp<64> + -144<64>);
1: rax<64> := %%0<64>;
2: goto (0x000a48, 0) 
  000a48:
48 89 c2 
mov %rax,%rdx
0: %%0<64> := rax<64>;
1: rdx<64> := %%0<64>;
2: goto (0x000a4b, 0) 
  000a4b:
be 02 00 00 00 
mov $0x2,%esi
0: rsi<64> := 2<64>;
1: goto (0x000a50, 0) 
  000a50:
bf 00 00 00 00 
mov $0x0,%edi
0: rdi<64> := 0<64>;
1: goto (0x000a55, 0) 
  000a55:
e8 76 fd ff ff 
call 0x7d0
0: %%0<64> := (rsp<64> - 8<64>);
1: @[%%0<64>,<-,8] := 2650<64>;
2: rsp<64> := %%0<64>;
3: goto (0x0007d0, 0) #call with return address @ (0x000a5a, 0)
  000a5a:
83 f8 ff 
cmp $0xffffffff,%eax
0: %%0<32> := rax<64>{31..0};
1: %%1<32> := ! (%%0<32>);
2: %%2<32> := (%%0<32> - -1<32>);
3: %%3<1> := (0x80000000 = (0x80000000 & (%%2<32> | (%%1<32> & ! (%%2<32>)))));
4: %%4<1> :=
 !
 ((((%%2<32>{0} ^ %%2<32>{4}) ^ (%%2<32>{2} ^ %%2<32>{6})) ^
   ((%%2<32>{1} ^ %%2<32>{5}) ^ (%%2<32>{3} ^ %%2<32>{7}))));
5: %%5<1> := undef;
6: %%6<1> := (0<32> = %%2<32>);
7: %%7<1> := (%%2<32> <s 0<32>);
8: %%8<1> := (0x80000000 = (0x80000000 & (%%1<32> & %%2<32>)));
9: of<1> := %%8<1>;
10: sf<1> := %%7<1>;
11: zf<1> := %%6<1>;
12: af<1> := %%5<1>;
13: pf<1> := %%4<1>;
14: cf<1> := %%3<1>;
15: goto (0x000a5d, 0) 
  000a5d:
75 2a 
jne 0xa89
0: if ! (zf<1>) goto 2 else goto 1
1: goto (0x000a5f, 0) 
2: goto (0x000a89, 0) 
  000a5f:
48 8b 05 da 15 20 00 
mov 0x2015da(%rip),%rax
0: %%0<64> := @[0x0000000000202040,<-,8];
1: rax<64> := %%0<64>;
2: goto (0x000a66, 0) 
  000a66:
48 89 c1 
mov %rax,%rcx
0: %%0<64> := rax<64>;
1: rcx<64> := %%0<64>;
2: goto (0x000a69, 0) 
  000a69:
ba 09 00 00 00 
mov $0x9,%edx
0: rdx<64> := 9<64>;
1: goto (0x000a6e, 0) 
  000a6e:
be 01 00 00 00 
mov $0x1,%esi
0: rsi<64> := 1<64>;
1: goto (0x000a73, 0) 
  000a73:
48 8d 3d 31 02 00 00 
lea 0x231(%rip),%rdi
0: rdi<64> := 3243<64>;
1: goto (0x000a7a, 0) 
  000a7a:
e8 71 fd ff ff 
call 0x7f0
0: %%0<64> := (rsp<64> - 8<64>);
1: @[%%0<64>,<-,8] := 2687<64>;
2: rsp<64> := %%0<64>;
3: goto (0x0007f0, 0) #call with return address @ (0x000a7f, 0)
  000a7f:
bf ff ff ff ff 
mov $0xffffffff,%edi
0: rdi<64> := 0x00000000ffffffff;
1: goto (0x000a84, 0) 
  000a84:
e8 57 fd ff ff 
call 0x7e0
0: %%0<64> := (rsp<64> - 8<64>);
1: @[%%0<64>,<-,8] := 2697<64>;
2: rsp<64> := %%0<64>;
3: goto (0x0007e0, 0) #call with return address @ (0x000a89, 0)
  000a89:
48 8d 3d 28 02 00 00 
lea 0x228(%rip),%rdi
0: rdi<64> := 3256<64>;
1: goto (0x000a90, 0) 
  000a90:
e8 eb fc ff ff 
call 0x780
0: %%0<64> := (rsp<64> - 8<64>);
1: @[%%0<64>,<-,8] := 2709<64>;
2: rsp<64> := %%0<64>;
3: goto (0x000780, 0) #call with return address @ (0x000a95, 0)
  000a95:
48 8d 3d 44 02 00 00 
lea 0x244(%rip),%rdi
0: rdi<64> := 3296<64>;
1: goto (0x000a9c, 0) 
  000a9c:
b8 00 00 00 00 
mov $0x0,%eax
0: rax<64> := 0<64>;
1: goto (0x000aa1, 0) 
  000aa1:
e8 ea fc ff ff 
call 0x790
0: %%0<64> := (rsp<64> - 8<64>);
1: @[%%0<64>,<-,8] := 2726<64>;
2: rsp<64> := %%0<64>;
3: goto (0x000790, 0) #call with return address @ (0x000aa6, 0)
  000aa6:
48 8b 05 73 15 20 00 
mov 0x201573(%rip),%rax
0: %%0<64> := @[0x0000000000202020,<-,8];
1: rax<64> := %%0<64>;
2: goto (0x000aad, 0) 
  000aad:
48 89 c7 
mov %rax,%rdi
0: %%0<64> := rax<64>;
1: rdi<64> := %%0<64>;
2: goto (0x000ab0, 0) 
  000ab0:
e8 fb fc ff ff 
call 0x7b0
0: %%0<64> := (rsp<64> - 8<64>);
1: @[%%0<64>,<-,8] := 2741<64>;
2: rsp<64> := %%0<64>;
3: goto (0x0007b0, 0) #call with return address @ (0x000ab5, 0)
  000ab5:
e9 96 00 00 00 
jmp 0xb50
0: goto (0x000b50, 0) 
  000aba:
bf 0a 00 00 00 
mov $0xa,%edi
0: rdi<64> := 10<64>;
1: goto (0x000abf, 0) 
  000abf:
e8 ac fc ff ff 
call 0x770
0: %%0<64> := (rsp<64> - 8<64>);
1: @[%%0<64>,<-,8] := 2756<64>;
2: rsp<64> := %%0<64>;
3: goto (0x000770, 0) #call with return address @ (0x000ac4, 0)
  000ac4:
90 
nop
0: goto (0x000ac5, 0) 
  000ac5:
48 8d 45 b0 
lea -0x50(%rbp),%rax
0: %%0<64> := (rbp<64> + -80<64>);
1: rax<64> := %%0<64>;
2: goto (0x000ac9, 0) 
  000ac9:
48 89 c2 
mov %rax,%rdx
0: %%0<64> := rax<64>;
1: rdx<64> := %%0<64>;
2: goto (0x000acc, 0) 
  000acc:
be 00 00 00 00 
mov $0x0,%esi
0: rsi<64> := 0<64>;
1: goto (0x000ad1, 0) 
  000ad1:
bf 00 00 00 00 
mov $0x0,%edi
0: rdi<64> := 0<64>;
1: goto (0x000ad6, 0) 
  000ad6:
e8 f5 fc ff ff 
call 0x7d0
0: %%0<64> := (rsp<64> - 8<64>);
1: @[%%0<64>,<-,8] := 2779<64>;
2: rsp<64> := %%0<64>;
3: goto (0x0007d0, 0) #call with return address @ (0x000adb, 0)
  000adb:
83 f8 ff 
cmp $0xffffffff,%eax
0: %%0<32> := rax<64>{31..0};
1: %%1<32> := ! (%%0<32>);
2: %%2<32> := (%%0<32> - -1<32>);
3: %%3<1> := (0x80000000 = (0x80000000 & (%%2<32> | (%%1<32> & ! (%%2<32>)))));
4: %%4<1> :=
 !
 ((((%%2<32>{0} ^ %%2<32>{4}) ^ (%%2<32>{2} ^ %%2<32>{6})) ^
   ((%%2<32>{1} ^ %%2<32>{5}) ^ (%%2<32>{3} ^ %%2<32>{7}))));
5: %%5<1> := undef;
6: %%6<1> := (0<32> = %%2<32>);
7: %%7<1> := (%%2<32> <s 0<32>);
8: %%8<1> := (0x80000000 = (0x80000000 & (%%1<32> & %%2<32>)));
9: of<1> := %%8<1>;
10: sf<1> := %%7<1>;
11: zf<1> := %%6<1>;
12: af<1> := %%5<1>;
13: pf<1> := %%4<1>;
14: cf<1> := %%3<1>;
15: goto (0x000ade, 0) 
  000ade:
0f 85 af 00 00 00 
jne 0xb93
0: if ! (zf<1>) goto 2 else goto 1
1: goto (0x000ae4, 0) 
2: goto (0x000b93, 0) 
  000ae4:
e9 80 00 00 00 
jmp 0xb69
0: goto (0x000b69, 0) 
  000ae9:
0f b6 95 63 ff ff ff 
movzbl -0x9d(%rbp),%edx
0: %%0<64> := (uext64 @[(rbp<64> + -157<64>),<-,1]);
1: rdx<64> := %%0<64>;
2: goto (0x000af0, 0) 
  000af0:
8b 85 64 ff ff ff 
mov -0x9c(%rbp),%eax
0: %%0<64> := (uext64 @[(rbp<64> + -156<64>),<-,4]);
1: rax<64> := %%0<64>;
2: goto (0x000af6, 0) 
  000af6:
89 d6 
mov %edx,%esi
0: %%0<64> := (0x00000000ffffffff & rdx<64>);
1: rsi<64> := %%0<64>;
2: goto (0x000af8, 0) 
  000af8:
89 c7 
mov %eax,%edi
0: %%0<64> := (0x00000000ffffffff & rax<64>);
1: rdi<64> := %%0<64>;
2: goto (0x000afa, 0) 
  000afa:
e8 1b fe ff ff 
call 0x91a
0: %%0<64> := (rsp<64> - 8<64>);
1: @[%%0<64>,<-,8] := 2815<64>;
2: rsp<64> := %%0<64>;
3: goto (0x00091a, 0) #call with return address @ (0x000aff, 0)
  000aff:
21 85 68 ff ff ff 
and %eax,-0x98(%rbp)
0: %%0<64> := (rbp<64> + -152<64>);
1: %%1<32> := @[%%0<64>,<-,4];
2: %%2<32> := (%%1<32> & rax<64>{31..0});
3: %%3<1> :=
 !
 (((((%%1<32>{0} & rax<64>{0}) ^ (%%1<32>{4} & rax<64>{4})) ^
    ((%%1<32>{2} & rax<64>{2}) ^ (%%1<32>{6} & rax<64>{6}))) ^
   (((%%1<32>{1} & rax<64>{1}) ^ (%%1<32>{5} & rax<64>{5})) ^
    ((%%1<32>{3} & rax<64>{3}) ^ (%%1<32>{7} & rax<64>{7})))));
4: %%4<1> := undef;
5: %%5<1> := (0<32> = %%2<32>);
6: %%6<1> := (%%2<32> <s 0<32>);
7: @[%%0<64>,<-,4] := %%2<32>;
8: of<1> := 0<1>;
9: sf<1> := %%6<1>;
10: zf<1> := %%5<1>;
11: af<1> := %%4<1>;
12: pf<1> := %%3<1>;
13: cf<1> := 0<1>;
14: goto (0x000b05, 0) 
  000b05:
83 bd 68 ff ff ff 01 
cmpl $0x1,-0x98(%rbp)
0: %%0<32> := @[(rbp<64> + -152<64>),<-,4];
1: %%1<32> := (%%0<32> - 1<32>);
2: %%2<1> := (0x80000000 = (0x80000000 & (! (%%0<32>) & %%1<32>)));
3: %%3<1> :=
 !
 ((((%%1<32>{0} ^ %%1<32>{4}) ^ (%%1<32>{2} ^ %%1<32>{6})) ^
   ((%%1<32>{1} ^ %%1<32>{5}) ^ (%%1<32>{3} ^ %%1<32>{7}))));
4: %%4<1> := undef;
5: %%5<1> := (0<32> = %%1<32>);
6: %%6<1> := (%%1<32> <s 0<32>);
7: %%7<1> := (0x80000000 = (0x80000000 & (%%0<32> & ! (%%1<32>))));
8: of<1> := %%7<1>;
9: sf<1> := %%6<1>;
10: zf<1> := %%5<1>;
11: af<1> := %%4<1>;
12: pf<1> := %%3<1>;
13: cf<1> := %%2<1>;
14: goto (0x000b0c, 0) 
  000b0c:
75 3b 
jne 0xb49
0: if ! (zf<1>) goto 2 else goto 1
1: goto (0x000b0e, 0) 
2: goto (0x000b49, 0) 
  000b0e:
0f b6 85 63 ff ff ff 
movzbl -0x9d(%rbp),%eax
0: %%0<64> := (uext64 @[(rbp<64> + -157<64>),<-,1]);
1: rax<64> := %%0<64>;
2: goto (0x000b15, 0) 
  000b15:
01 85 6c ff ff ff 
add %eax,-0x94(%rbp)
0: %%0<32> := rax<64>{31..0};
1: %%1<64> := (rbp<64> + -148<64>);
2: %%2<32> := @[%%1<64>,<-,4];
3: %%3<32> := (%%2<32> & %%0<32>);
4: %%4<32> := (%%2<32> + %%0<32>);
5: %%5<32> := ! (%%4<32>);
6: %%6<1> :=
 (0x80000000 =
  (0x80000000 & (((%%2<32> | %%0<32>) & %%5<32>) | (%%3<32> & %%4<32>))));
7: %%7<1> :=
 !
 ((((%%4<32>{0} ^ %%4<32>{4}) ^ (%%4<32>{2} ^ %%4<32>{6})) ^
   ((%%4<32>{1} ^ %%4<32>{5}) ^ (%%4<32>{3} ^ %%4<32>{7}))));
8: %%8<1> := undef;
9: %%9<1> := (0<32> = %%4<32>);
10: %%10<1> := (%%4<32> <s 0<32>);
11: %%11<1> :=
 (0x80000000 =
  (0x80000000 &
   ((%%3<32> & %%5<32>) | ((! (%%2<32>) & ! (%%0<32>)) & %%4<32>))));
12: @[%%1<64>,<-,4] := %%4<32>;
13: of<1> := %%11<1>;
14: sf<1> := %%10<1>;
15: zf<1> := %%9<1>;
16: af<1> := %%8<1>;
17: pf<1> := %%7<1>;
18: cf<1> := %%6<1>;
19: goto (0x000b1b, 0) 
  000b1b:
8b 8d 64 ff ff ff 
mov -0x9c(%rbp),%ecx
0: %%0<64> := (uext64 @[(rbp<64> + -156<64>),<-,4]);
1: rcx<64> := %%0<64>;
2: goto (0x000b21, 0) 
  000b21:
ba 1f 85 eb 51 
mov $0x51eb851f,%edx
0: rdx<64> := 0x0000000051eb851f;
1: goto (0x000b26, 0) 
  000b26:
89 c8 
mov %ecx,%eax
0: %%0<64> := (0x00000000ffffffff & rcx<64>);
1: rax<64> := %%0<64>;
2: goto (0x000b28, 0) 
  000b28:
f7 e2 
mul %edx
0: %%0<64> := ((0x00000000ffffffff & rax<64>) * (0x00000000ffffffff & rdx<64>));
1: %%1<64> := (0x00000000ffffffff & %%0<64>);
2: %%2<1> := (%%1<64> <> %%0<64>);
3: %%3<1> := undef;
4: %%4<1> := undef;
5: %%5<1> := undef;
6: %%6<1> := undef;
7: %%7<64> := (%%0<64> lsr 32<64>);
8: rdx<64> := %%7<64>;
9: rax<64> := %%1<64>;
10: of<1> := %%2<1>;
11: sf<1> := %%6<1>;
12: zf<1> := %%5<1>;
13: af<1> := %%4<1>;
14: pf<1> := %%3<1>;
15: cf<1> := %%2<1>;
16: goto (0x000b2a, 0) 
  000b2a:
89 d0 
mov %edx,%eax
0: %%0<64> := (0x00000000ffffffff & rdx<64>);
1: rax<64> := %%0<64>;
2: goto (0x000b2c, 0) 
  000b2c:
c1 e8 05 
shr $0x5,%eax
0: %%0<32> := (uext32 rax<64>{31..5});
1: %%1<1> := rax<64>{4};
2: %%2<1> :=
 !
 ((((rax<64>{5} ^ rax<64>{9}) ^ (rax<64>{7} ^ rax<64>{11})) ^
   ((rax<64>{6} ^ rax<64>{10}) ^ (rax<64>{8} ^ rax<64>{12}))));
3: %%3<1> := undef;
4: %%4<1> := (0<32> = %%0<32>);
5: %%5<1> := (%%0<32> <s 0<32>);
6: %%6<1> := undef;
7: %%7<64> := (uext64 rax<64>{31..5});
8: rax<64> := %%7<64>;
9: of<1> := %%6<1>;
10: sf<1> := %%5<1>;
11: zf<1> := %%4<1>;
12: af<1> := %%3<1>;
13: pf<1> := %%2<1>;
14: cf<1> := %%1<1>;
15: goto (0x000b2f, 0) 
  000b2f:
6b c0 64 
imul $0x64,%eax,%eax
0: %%0<64> := (100<64> * (sext64 rax<64>{31..0}));
1: %%1<1> := ((sext64 %%0<64>{31..0}) <> %%0<64>);
2: %%2<1> := undef;
3: %%3<1> := undef;
4: %%4<1> := undef;
5: %%5<1> := (%%0<64>{31..0} <s 0<32>);
6: %%6<64> := (0x00000000ffffffff & %%0<64>);
7: rax<64> := %%6<64>;
8: of<1> := %%1<1>;
9: sf<1> := %%5<1>;
10: zf<1> := %%4<1>;
11: af<1> := %%3<1>;
12: pf<1> := %%2<1>;
13: cf<1> := %%1<1>;
14: goto (0x000b32, 0) 
  000b32:
29 c1 
sub %eax,%ecx
0: %%0<32> := rax<64>{31..0};
1: %%1<32> := rcx<64>{31..0};
2: %%2<32> := ! (%%1<32>);
3: %%3<32> := (%%1<32> - %%0<32>);
4: %%4<32> := ! (%%3<32>);
5: %%5<32> := (%%2<32> & %%0<32>);
6: %%6<1> :=
 (0x80000000 =
  (0x80000000 & (((%%2<32> | %%0<32>) & %%3<32>) | (%%5<32> & %%4<32>))));
7: %%7<1> :=
 !
 ((((%%3<32>{0} ^ %%3<32>{4}) ^ (%%3<32>{2} ^ %%3<32>{6})) ^
   ((%%3<32>{1} ^ %%3<32>{5}) ^ (%%3<32>{3} ^ %%3<32>{7}))));
8: %%8<1> := undef;
9: %%9<1> := (0<32> = %%3<32>);
10: %%10<1> := (%%3<32> <s 0<32>);
11: %%11<1> :=
 (0x80000000 =
  (0x80000000 & (((%%1<32> & ! (%%0<32>)) & %%4<32>) | (%%5<32> & %%3<32>))))
 ;
12: %%12<64> := (uext64 %%3<32>);
13: rcx<64> := %%12<64>;
14: of<1> := %%11<1>;
15: sf<1> := %%10<1>;
16: zf<1> := %%9<1>;
17: af<1> := %%8<1>;
18: pf<1> := %%7<1>;
19: cf<1> := %%6<1>;
20: goto (0x000b34, 0) 
  000b34:
89 c8 
mov %ecx,%eax
0: %%0<64> := (0x00000000ffffffff & rcx<64>);
1: rax<64> := %%0<64>;
2: goto (0x000b36, 0) 
  000b36:
0f b6 95 63 ff ff ff 
movzbl -0x9d(%rbp),%edx
0: %%0<64> := (uext64 @[(rbp<64> + -157<64>),<-,1]);
1: rdx<64> := %%0<64>;
2: goto (0x000b3d, 0) 
  000b3d:
89 c1 
mov %eax,%ecx
0: %%0<64> := (0x00000000ffffffff & rax<64>);
1: rcx<64> := %%0<64>;
2: goto (0x000b3f, 0) 
  000b3f:
48 8d 05 1a 15 20 00 
lea 0x20151a(%rip),%rax
0: rax<64> := 0x0000000000202060;
1: goto (0x000b46, 0) 
  000b46:
88 14 01 
mov %dl,(%rcx,%rax,1)
0: %%0<8> := rdx<64>{7..0};
1: %%1<64> := (rcx<64> + rax<64>);
2: @[%%1<64>,<-,1] := %%0<8>;
3: goto (0x000b49, 0) 
  000b49:
83 85 64 ff ff ff 01 
addl $0x1,-0x9c(%rbp)
0: %%0<64> := (rbp<64> + -156<64>);
1: %%1<32> := @[%%0<64>,<-,4];
2: %%2<32> := (%%1<32> + 1<32>);
3: %%3<1> := (0x80000000 = (0x80000000 & (%%1<32> & ! (%%2<32>))));
4: %%4<1> :=
 !
 ((((%%2<32>{0} ^ %%2<32>{4}) ^ (%%2<32>{2} ^ %%2<32>{6})) ^
   ((%%2<32>{1} ^ %%2<32>{5}) ^ (%%2<32>{3} ^ %%2<32>{7}))));
5: %%5<1> := undef;
6: %%6<1> := (0<32> = %%2<32>);
7: %%7<1> := (%%2<32> <s 0<32>);
8: %%8<1> := (0x80000000 = (0x80000000 & (! (%%1<32>) & %%2<32>)));
9: @[%%0<64>,<-,4] := %%2<32>;
10: of<1> := %%8<1>;
11: sf<1> := %%7<1>;
12: zf<1> := %%6<1>;
13: af<1> := %%5<1>;
14: pf<1> := %%4<1>;
15: cf<1> := %%3<1>;
16: goto (0x000b50, 0) 
  000b50:
e8 4b fc ff ff 
call 0x7a0
0: %%0<64> := (rsp<64> - 8<64>);
1: @[%%0<64>,<-,8] := 2901<64>;
2: rsp<64> := %%0<64>;
3: goto (0x0007a0, 0) #call with return address @ (0x000b55, 0)
  000b55:
88 85 63 ff ff ff 
mov %al,-0x9d(%rbp)
0: %%0<8> := rax<64>{7..0};
1: %%1<64> := (rbp<64> + -157<64>);
2: @[%%1<64>,<-,1] := %%0<8>;
3: goto (0x000b5b, 0) 
  000b5b:
80 bd 63 ff ff ff 0a 
cmpb $0xa,-0x9d(%rbp)
0: %%0<8> := @[(rbp<64> + -157<64>),<-,1];
1: %%1<8> := (%%0<8> - 10<8>);
2: %%2<1> := (-128<8> = (-128<8> & (! (%%0<8>) & %%1<8>)));
3: %%3<1> :=
 !
 ((((%%1<8>{0} ^ %%1<8>{4}) ^ (%%1<8>{2} ^ %%1<8>{6})) ^
   ((%%1<8>{1} ^ %%1<8>{5}) ^ (%%1<8>{3} ^ %%1<8>{7}))));
4: %%4<1> := undef;
5: %%5<1> := (0<8> = %%1<8>);
6: %%6<1> := (%%1<8> <s 0<8>);
7: %%7<1> := (-128<8> = (-128<8> & (%%0<8> & ! (%%1<8>))));
8: of<1> := %%7<1>;
9: sf<1> := %%6<1>;
10: zf<1> := %%5<1>;
11: af<1> := %%4<1>;
12: pf<1> := %%3<1>;
13: cf<1> := %%2<1>;
14: goto (0x000b62, 0) 
  000b62:
75 85 
jne 0xae9
0: if ! (zf<1>) goto 2 else goto 1
1: goto (0x000b64, 0) 
2: goto (0x000ae9, 0) 
  000b64:
e9 51 ff ff ff 
jmp 0xaba
0: goto (0x000aba, 0) 
  000b69:
48 8b 05 d0 14 20 00 
mov 0x2014d0(%rip),%rax
0: %%0<64> := @[0x0000000000202040,<-,8];
1: rax<64> := %%0<64>;
2: goto (0x000b70, 0) 
  000b70:
48 89 c1 
mov %rax,%rcx
0: %%0<64> := rax<64>;
1: rcx<64> := %%0<64>;
2: goto (0x000b73, 0) 
  000b73:
ba 09 00 00 00 
mov $0x9,%edx
0: rdx<64> := 9<64>;
1: goto (0x000b78, 0) 
  000b78:
be 01 00 00 00 
mov $0x1,%esi
0: rsi<64> := 1<64>;
1: goto (0x000b7d, 0) 
  000b7d:
48 8d 3d 27 01 00 00 
lea 0x127(%rip),%rdi
0: rdi<64> := 3243<64>;
1: goto (0x000b84, 0) 
  000b84:
e8 67 fc ff ff 
call 0x7f0
0: %%0<64> := (rsp<64> - 8<64>);
1: @[%%0<64>,<-,8] := 2953<64>;
2: rsp<64> := %%0<64>;
3: goto (0x0007f0, 0) #call with return address @ (0x000b89, 0)
  000b89:
bf ff ff ff ff 
mov $0xffffffff,%edi
0: rdi<64> := 0x00000000ffffffff;
1: goto (0x000b8e, 0) 
  000b8e:
e8 4d fc ff ff 
call 0x7e0
0: %%0<64> := (rsp<64> - 8<64>);
1: @[%%0<64>,<-,8] := 2963<64>;
2: rsp<64> := %%0<64>;
3: goto (0x0007e0, 0) #call with return address @ (0x000b93, 0)
  000b93:
83 bd 68 ff ff ff 01 
cmpl $0x1,-0x98(%rbp)
0: %%0<32> := @[(rbp<64> + -152<64>),<-,4];
1: %%1<32> := (%%0<32> - 1<32>);
2: %%2<1> := (0x80000000 = (0x80000000 & (! (%%0<32>) & %%1<32>)));
3: %%3<1> :=
 !
 ((((%%1<32>{0} ^ %%1<32>{4}) ^ (%%1<32>{2} ^ %%1<32>{6})) ^
   ((%%1<32>{1} ^ %%1<32>{5}) ^ (%%1<32>{3} ^ %%1<32>{7}))));
4: %%4<1> := undef;
5: %%5<1> := (0<32> = %%1<32>);
6: %%6<1> := (%%1<32> <s 0<32>);
7: %%7<1> := (0x80000000 = (0x80000000 & (%%0<32> & ! (%%1<32>))));
8: of<1> := %%7<1>;
9: sf<1> := %%6<1>;
10: zf<1> := %%5<1>;
11: af<1> := %%4<1>;
12: pf<1> := %%3<1>;
13: cf<1> := %%2<1>;
14: goto (0x000b9a, 0) 
  000b9a:
75 0c 
jne 0xba8
0: if ! (zf<1>) goto 2 else goto 1
1: goto (0x000b9c, 0) 
2: goto (0x000ba8, 0) 
  000b9c:
81 bd 6c ff ff ff 0b 0b 00 00 
cmpl $0xb0b,-0x94(%rbp)
0: %%0<32> := @[(rbp<64> + -148<64>),<-,4];
1: %%1<32> := (%%0<32> - 2827<32>);
2: %%2<1> := (0x80000000 = (0x80000000 & (! (%%0<32>) & %%1<32>)));
3: %%3<1> :=
 !
 ((((%%1<32>{0} ^ %%1<32>{4}) ^ (%%1<32>{2} ^ %%1<32>{6})) ^
   ((%%1<32>{1} ^ %%1<32>{5}) ^ (%%1<32>{3} ^ %%1<32>{7}))));
4: %%4<1> := undef;
5: %%5<1> := (0<32> = %%1<32>);
6: %%6<1> := (%%1<32> <s 0<32>);
7: %%7<1> := (0x80000000 = (0x80000000 & (%%0<32> & ! (%%1<32>))));
8: of<1> := %%7<1>;
9: sf<1> := %%6<1>;
10: zf<1> := %%5<1>;
11: af<1> := %%4<1>;
12: pf<1> := %%3<1>;
13: cf<1> := %%2<1>;
14: goto (0x000ba6, 0) 
  000ba6:
74 16 
je 0xbbe
0: if zf<1> goto 2 else goto 1
1: goto (0x000ba8, 0) 
2: goto (0x000bbe, 0) 
  000ba8:
48 8d 3d 59 01 00 00 
lea 0x159(%rip),%rdi
0: rdi<64> := 3336<64>;
1: goto (0x000baf, 0) 
  000baf:
e8 cc fb ff ff 
call 0x780
0: %%0<64> := (rsp<64> - 8<64>);
1: @[%%0<64>,<-,8] := 2996<64>;
2: rsp<64> := %%0<64>;
3: goto (0x000780, 0) #call with return address @ (0x000bb4, 0)
  000bb4:
bf ff ff ff ff 
mov $0xffffffff,%edi
0: rdi<64> := 0x00000000ffffffff;
1: goto (0x000bb9, 0) 
  000bb9:
e8 22 fc ff ff 
call 0x7e0
0: %%0<64> := (rsp<64> - 8<64>);
1: @[%%0<64>,<-,8] := 3006<64>;
2: rsp<64> := %%0<64>;
3: goto (0x0007e0, 0) #call with return address @ (0x000bbe, 0)
  000bbe:
48 8d 3d 72 01 00 00 
lea 0x172(%rip),%rdi
0: rdi<64> := 3383<64>;
1: goto (0x000bc5, 0) 
  000bc5:
e8 b6 fb ff ff 
call 0x780
0: %%0<64> := (rsp<64> - 8<64>);
1: @[%%0<64>,<-,8] := 3018<64>;
2: rsp<64> := %%0<64>;
3: goto (0x000780, 0) #call with return address @ (0x000bca, 0)
  000bca:
48 8d 35 8f 14 20 00 
lea 0x20148f(%rip),%rsi
0: rsi<64> := 0x0000000000202060;
1: goto (0x000bd1, 0) 
  000bd1:
48 8d 3d 77 01 00 00 
lea 0x177(%rip),%rdi
0: rdi<64> := 3407<64>;
1: goto (0x000bd8, 0) 
  000bd8:
b8 00 00 00 00 
mov $0x0,%eax
0: rax<64> := 0<64>;
1: goto (0x000bdd, 0) 
  000bdd:
e8 ae fb ff ff 
call 0x790
0: %%0<64> := (rsp<64> - 8<64>);
1: @[%%0<64>,<-,8] := 3042<64>;
2: rsp<64> := %%0<64>;
3: goto (0x000790, 0) #call with return address @ (0x000be2, 0)
  000be2:
bf 00 00 00 00 
mov $0x0,%edi
0: rdi<64> := 0<64>;
1: goto (0x000be7, 0) 
  000be7:
e8 f4 fb ff ff 
call 0x7e0
0: %%0<64> := (rsp<64> - 8<64>);
1: @[%%0<64>,<-,8] := 3052<64>;
2: rsp<64> := %%0<64>;
3: goto (0x0007e0, 0) #call with return address @ (0x000bec, 0)
  000bec:
0f 1f 40 00 
nop
0: goto (0x000bf0, 0) 
00000bf0 <__libc_csu_init>:
  000bf0:
41 57 
push %r15
0: %%0<64> := (rsp<64> - 8<64>);
1: %%1<64> := r15<64>;
2: @[%%0<64>,<-,8] := %%1<64>;
3: rsp<64> := %%0<64>;
4: goto (0x000bf2, 0) 
  000bf2:
41 56 
push %r14
0: %%0<64> := (rsp<64> - 8<64>);
1: %%1<64> := r14<64>;
2: @[%%0<64>,<-,8] := %%1<64>;
3: rsp<64> := %%0<64>;
4: goto (0x000bf4, 0) 
  000bf4:
49 89 d7 
mov %rdx,%r15
0: %%0<64> := rdx<64>;
1: r15<64> := %%0<64>;
2: goto (0x000bf7, 0) 
  000bf7:
41 55 
push %r13
0: %%0<64> := (rsp<64> - 8<64>);
1: %%1<64> := r13<64>;
2: @[%%0<64>,<-,8] := %%1<64>;
3: rsp<64> := %%0<64>;
4: goto (0x000bf9, 0) 
  000bf9:
41 54 
push %r12
0: %%0<64> := (rsp<64> - 8<64>);
1: %%1<64> := r12<64>;
2: @[%%0<64>,<-,8] := %%1<64>;
3: rsp<64> := %%0<64>;
4: goto (0x000bfb, 0) 
  000bfb:
4c 8d 25 76 11 20 00 
lea 0x201176(%rip),%r12
0: r12<64> := 0x0000000000201d78;
1: goto (0x000c02, 0) 
  000c02:
55 
push %rbp
0: %%0<64> := (rsp<64> - 8<64>);
1: %%1<64> := rbp<64>;
2: @[%%0<64>,<-,8] := %%1<64>;
3: rsp<64> := %%0<64>;
4: goto (0x000c03, 0) 
  000c03:
48 8d 2d 76 11 20 00 
lea 0x201176(%rip),%rbp
0: rbp<64> := 0x0000000000201d80;
1: goto (0x000c0a, 0) 
  000c0a:
53 
push %rbx
0: %%0<64> := (rsp<64> - 8<64>);
1: %%1<64> := rbx<64>;
2: @[%%0<64>,<-,8] := %%1<64>;
3: rsp<64> := %%0<64>;
4: goto (0x000c0b, 0) 
  000c0b:
41 89 fd 
mov %edi,%r13d
0: %%0<64> := (0x00000000ffffffff & rdi<64>);
1: r13<64> := %%0<64>;
2: goto (0x000c0e, 0) 
  000c0e:
49 89 f6 
mov %rsi,%r14
0: %%0<64> := rsi<64>;
1: r14<64> := %%0<64>;
2: goto (0x000c11, 0) 
  000c11:
4c 29 e5 
sub %r12,%rbp
0: %%0<64> := ! (rbp<64>);
1: %%1<64> := (rbp<64> - r12<64>);
2: %%2<64> := ! (%%1<64>);
3: %%3<64> := (%%0<64> & r12<64>);
4: %%4<1> :=
 (0x8000000000000000 =
  (0x8000000000000000 &
   (((%%0<64> | r12<64>) & %%1<64>) | (%%3<64> & %%2<64>))));
5: %%5<1> :=
 !
 ((((%%1<64>{0} ^ %%1<64>{4}) ^ (%%1<64>{2} ^ %%1<64>{6})) ^
   ((%%1<64>{1} ^ %%1<64>{5}) ^ (%%1<64>{3} ^ %%1<64>{7}))));
6: %%6<1> := undef;
7: %%7<1> := (0<64> = %%1<64>);
8: %%8<1> := (%%1<64> <s 0<64>);
9: %%9<1> :=
 (0x8000000000000000 =
  (0x8000000000000000 &
   (((rbp<64> & ! (r12<64>)) & %%2<64>) | (%%3<64> & %%1<64>))));
10: rbp<64> := %%1<64>;
11: of<1> := %%9<1>;
12: sf<1> := %%8<1>;
13: zf<1> := %%7<1>;
14: af<1> := %%6<1>;
15: pf<1> := %%5<1>;
16: cf<1> := %%4<1>;
17: goto (0x000c14, 0) 
  000c14:
48 83 ec 08 
sub $0x8,%rsp
0: %%0<64> := (rsp<64> - 8<64>);
1: %%1<1> :=
 (0x8000000000000000 = (0x8000000000000000 & (! (rsp<64>) & %%0<64>)));
2: %%2<1> :=
 !
 ((((%%0<64>{0} ^ %%0<64>{4}) ^ (%%0<64>{2} ^ %%0<64>{6})) ^
   ((%%0<64>{1} ^ %%0<64>{5}) ^ (%%0<64>{3} ^ %%0<64>{7}))));
3: %%3<1> := undef;
4: %%4<1> := (0<64> = %%0<64>);
5: %%5<1> := (%%0<64> <s 0<64>);
6: %%6<1> :=
 (0x8000000000000000 = (0x8000000000000000 & (rsp<64> & ! (%%0<64>))));
7: rsp<64> := %%0<64>;
8: of<1> := %%6<1>;
9: sf<1> := %%5<1>;
10: zf<1> := %%4<1>;
11: af<1> := %%3<1>;
12: pf<1> := %%2<1>;
13: cf<1> := %%1<1>;
14: goto (0x000c18, 0) 
  000c18:
48 c1 fd 03 
sar $0x3,%rbp
0: %%0<64> := (rbp<64> asr 3<64>);
1: %%1<1> := rbp<64>{2};
2: %%2<1> :=
 !
 ((((rbp<64>{3} ^ rbp<64>{7}) ^ (rbp<64>{5} ^ rbp<64>{9})) ^
   ((rbp<64>{4} ^ rbp<64>{8}) ^ (rbp<64>{6} ^ rbp<64>{10}))));
3: %%3<1> := undef;
4: %%4<1> := (0<64> = %%0<64>);
5: %%5<1> := (%%0<64> <s 0<64>);
6: %%6<1> := undef;
7: rbp<64> := %%0<64>;
8: of<1> := %%6<1>;
9: sf<1> := %%5<1>;
10: zf<1> := %%4<1>;
11: af<1> := %%3<1>;
12: pf<1> := %%2<1>;
13: cf<1> := %%1<1>;
14: goto (0x000c1c, 0) 
  000c1c:
e8 27 fb ff ff 
call 0x748
0: %%0<64> := (rsp<64> - 8<64>);
1: @[%%0<64>,<-,8] := 3105<64>;
2: rsp<64> := %%0<64>;
3: goto (0x000748, 0) #call with return address @ (0x000c21, 0)
  000c21:
48 85 ed 
test %rbp,%rbp
0: %%0<1> :=
 !
 ((((rbp<64>{0} ^ rbp<64>{4}) ^ (rbp<64>{2} ^ rbp<64>{6})) ^
   ((rbp<64>{1} ^ rbp<64>{5}) ^ (rbp<64>{3} ^ rbp<64>{7}))));
1: %%1<1> := undef;
2: %%2<1> := (0<64> = rbp<64>);
3: %%3<1> := (rbp<64> <s 0<64>);
4: of<1> := 0<1>;
5: sf<1> := %%3<1>;
6: zf<1> := %%2<1>;
7: af<1> := %%1<1>;
8: pf<1> := %%0<1>;
9: cf<1> := 0<1>;
10: goto (0x000c24, 0) 
  000c24:
74 20 
je 0xc46
0: if zf<1> goto 2 else goto 1
1: goto (0x000c26, 0) 
2: goto (0x000c46, 0) 
  000c26:
31 db 
xor %ebx,%ebx
0: %%0<1> := undef;
1: rbx<64> := 0<64>;
2: of<1> := 0<1>;
3: sf<1> := 0<1>;
4: zf<1> := -1<1>;
5: af<1> := %%0<1>;
6: pf<1> := -1<1>;
7: cf<1> := 0<1>;
8: goto (0x000c28, 0) 
  000c28:
0f 1f 84 00 00 00 00 00 
nop
0: goto (0x000c30, 0) 
  000c30:
4c 89 fa 
mov %r15,%rdx
0: %%0<64> := r15<64>;
1: rdx<64> := %%0<64>;
2: goto (0x000c33, 0) 
  000c33:
4c 89 f6 
mov %r14,%rsi
0: %%0<64> := r14<64>;
1: rsi<64> := %%0<64>;
2: goto (0x000c36, 0) 
  000c36:
44 89 ef 
mov %r13d,%edi
0: %%0<64> := (0x00000000ffffffff & r13<64>);
1: rdi<64> := %%0<64>;
2: goto (0x000c39, 0) 
  000c39:
41 ff 14 dc 
call *(%r12,%rbx,8)
0: %%0<64> := (rsp<64> - 8<64>);
1: %%1<64> := @[(r12<64> + (rbx<64> lsl 3<64>)),<-,8];
2: @[%%0<64>,<-,8] := 3133<64>;
3: rsp<64> := %%0<64>;
4: goto %%1<64> #call with return address @ (0x000c3d, 0)
  000c3d:
48 83 c3 01 
add $0x1,%rbx
0: %%0<64> := (rbx<64> + 1<64>);
1: %%1<1> :=
 (0x8000000000000000 = (0x8000000000000000 & (rbx<64> & ! (%%0<64>))));
2: %%2<1> :=
 !
 ((((%%0<64>{0} ^ %%0<64>{4}) ^ (%%0<64>{2} ^ %%0<64>{6})) ^
   ((%%0<64>{1} ^ %%0<64>{5}) ^ (%%0<64>{3} ^ %%0<64>{7}))));
3: %%3<1> := undef;
4: %%4<1> := (0<64> = %%0<64>);
5: %%5<1> := (%%0<64> <s 0<64>);
6: %%6<1> :=
 (0x8000000000000000 = (0x8000000000000000 & (! (rbx<64>) & %%0<64>)));
7: rbx<64> := %%0<64>;
8: of<1> := %%6<1>;
9: sf<1> := %%5<1>;
10: zf<1> := %%4<1>;
11: af<1> := %%3<1>;
12: pf<1> := %%2<1>;
13: cf<1> := %%1<1>;
14: goto (0x000c41, 0) 
  000c41:
48 39 dd 
cmp %rbx,%rbp
0: %%0<64> := ! (rbp<64>);
1: %%1<64> := (rbp<64> - rbx<64>);
2: %%2<64> := ! (%%1<64>);
3: %%3<64> := (%%0<64> & rbx<64>);
4: %%4<1> :=
 (0x8000000000000000 =
  (0x8000000000000000 &
   (((%%0<64> | rbx<64>) & %%1<64>) | (%%3<64> & %%2<64>))));
5: %%5<1> :=
 !
 ((((%%1<64>{0} ^ %%1<64>{4}) ^ (%%1<64>{2} ^ %%1<64>{6})) ^
   ((%%1<64>{1} ^ %%1<64>{5}) ^ (%%1<64>{3} ^ %%1<64>{7}))));
6: %%6<1> := undef;
7: %%7<1> := (0<64> = %%1<64>);
8: %%8<1> := (%%1<64> <s 0<64>);
9: %%9<1> :=
 (0x8000000000000000 =
  (0x8000000000000000 &
   (((rbp<64> & ! (rbx<64>)) & %%2<64>) | (%%3<64> & %%1<64>))));
10: of<1> := %%9<1>;
11: sf<1> := %%8<1>;
12: zf<1> := %%7<1>;
13: af<1> := %%6<1>;
14: pf<1> := %%5<1>;
15: cf<1> := %%4<1>;
16: goto (0x000c44, 0) 
  000c44:
75 ea 
jne 0xc30
0: if ! (zf<1>) goto 2 else goto 1
1: goto (0x000c46, 0) 
2: goto (0x000c30, 0) 
  000c46:
48 83 c4 08 
add $0x8,%rsp
0: %%0<64> := (rsp<64> + 8<64>);
1: %%1<1> :=
 (0x8000000000000000 = (0x8000000000000000 & (rsp<64> & ! (%%0<64>))));
2: %%2<1> :=
 !
 ((((%%0<64>{0} ^ %%0<64>{4}) ^ (%%0<64>{2} ^ %%0<64>{6})) ^
   ((%%0<64>{1} ^ %%0<64>{5}) ^ (%%0<64>{3} ^ %%0<64>{7}))));
3: %%3<1> := undef;
4: %%4<1> := (0<64> = %%0<64>);
5: %%5<1> := (%%0<64> <s 0<64>);
6: %%6<1> :=
 (0x8000000000000000 = (0x8000000000000000 & (! (rsp<64>) & %%0<64>)));
7: rsp<64> := %%0<64>;
8: of<1> := %%6<1>;
9: sf<1> := %%5<1>;
10: zf<1> := %%4<1>;
11: af<1> := %%3<1>;
12: pf<1> := %%2<1>;
13: cf<1> := %%1<1>;
14: goto (0x000c4a, 0) 
  000c4a:
5b 
pop %rbx
0: %%0<64> := @[rsp<64>,<-,8];
1: %%1<64> := (rsp<64> + 8<64>);
2: rsp<64> := %%1<64>;
3: rbx<64> := %%0<64>;
4: goto (0x000c4b, 0) 
  000c4b:
5d 
pop %rbp
0: %%0<64> := (rsp<64> + 8<64>);
1: %%1<64> := @[rsp<64>,<-,8];
2: rbp<64> := %%1<64>;
3: rsp<64> := %%0<64>;
4: goto (0x000c4c, 0) 
  000c4c:
41 5c 
pop %r12
0: %%0<64> := (rsp<64> + 8<64>);
1: %%1<64> := @[rsp<64>,<-,8];
2: r12<64> := %%1<64>;
3: rsp<64> := %%0<64>;
4: goto (0x000c4e, 0) 
  000c4e:
41 5d 
pop %r13
0: %%0<64> := (rsp<64> + 8<64>);
1: %%1<64> := @[rsp<64>,<-,8];
2: r13<64> := %%1<64>;
3: rsp<64> := %%0<64>;
4: goto (0x000c50, 0) 
  000c50:
41 5e 
pop %r14
0: %%0<64> := (rsp<64> + 8<64>);
1: %%1<64> := @[rsp<64>,<-,8];
2: r14<64> := %%1<64>;
3: rsp<64> := %%0<64>;
4: goto (0x000c52, 0) 
  000c52:
41 5f 
pop %r15
0: %%0<64> := (rsp<64> + 8<64>);
1: %%1<64> := @[rsp<64>,<-,8];
2: r15<64> := %%1<64>;
3: rsp<64> := %%0<64>;
4: goto (0x000c54, 0) 
  000c54:
c3 
ret
0: %%0<64> := (rsp<64> + 8<64>);
1: %%1<64> := @[rsp<64>,<-,8];
2: rsp<64> := %%0<64>;
3: goto %%1<64> #return
  000c55:
90 
nop
0: goto (0x000c56, 0) 
  000c56:
66 2e 0f 1f 84 00 00 00 00 00 
nop
0: goto (0x000c60, 0) 
00000c60 <__libc_csu_fini>:
  000c60:
f3 c3 
ret
0: %%0<64> := (rsp<64> + 8<64>);
1: %%1<64> := @[rsp<64>,<-,8];
2: rsp<64> := %%0<64>;
3: goto %%1<64> #return
Disassembly of section .fini:
00000c64 <_fini>:
  000c64:
48 83 ec 08 
sub $0x8,%rsp
0: %%0<64> := (rsp<64> - 8<64>);
1: %%1<1> :=
 (0x8000000000000000 = (0x8000000000000000 & (! (rsp<64>) & %%0<64>)));
2: %%2<1> :=
 !
 ((((%%0<64>{0} ^ %%0<64>{4}) ^ (%%0<64>{2} ^ %%0<64>{6})) ^
   ((%%0<64>{1} ^ %%0<64>{5}) ^ (%%0<64>{3} ^ %%0<64>{7}))));
3: %%3<1> := undef;
4: %%4<1> := (0<64> = %%0<64>);
5: %%5<1> := (%%0<64> <s 0<64>);
6: %%6<1> :=
 (0x8000000000000000 = (0x8000000000000000 & (rsp<64> & ! (%%0<64>))));
7: rsp<64> := %%0<64>;
8: of<1> := %%6<1>;
9: sf<1> := %%5<1>;
10: zf<1> := %%4<1>;
11: af<1> := %%3<1>;
12: pf<1> := %%2<1>;
13: cf<1> := %%1<1>;
14: goto (0x000c68, 0) 
  000c68:
48 83 c4 08 
add $0x8,%rsp
0: %%0<64> := (rsp<64> + 8<64>);
1: %%1<1> :=
 (0x8000000000000000 = (0x8000000000000000 & (rsp<64> & ! (%%0<64>))));
2: %%2<1> :=
 !
 ((((%%0<64>{0} ^ %%0<64>{4}) ^ (%%0<64>{2} ^ %%0<64>{6})) ^
   ((%%0<64>{1} ^ %%0<64>{5}) ^ (%%0<64>{3} ^ %%0<64>{7}))));
3: %%3<1> := undef;
4: %%4<1> := (0<64> = %%0<64>);
5: %%5<1> := (%%0<64> <s 0<64>);
6: %%6<1> :=
 (0x8000000000000000 = (0x8000000000000000 & (! (rsp<64>) & %%0<64>)));
7: rsp<64> := %%0<64>;
8: of<1> := %%6<1>;
9: sf<1> := %%5<1>;
10: zf<1> := %%4<1>;
11: af<1> := %%3<1>;
12: pf<1> := %%2<1>;
13: cf<1> := %%1<1>;
14: goto (0x000c6c, 0) 
  000c6c:
c3 
ret
0: %%0<64> := (rsp<64> + 8<64>);
1: %%1<64> := @[rsp<64>,<-,8];
2: rsp<64> := %%0<64>;
3: goto %%1<64> #return

Your solution

# Enter your script here # starting from ... # ... # reach ... # cut at ...

# Enter your script here
# starting from ...
# ...
# reach ...
# cut at ...

Output

Proposed solution

n<64> := -1
replace <getchar@plt> () by
  n := n + 1
  return uext64 stdin[n]
end

replace <fflush@plt>, <fwrite@plt>, <printf@plt>, <putchar@plt>, <puts@plt> by
  return
end

replace <tcgetattr@plt>, <tcsetattr@plt> by
  return 0
end

halt at <exit@plt>

load sections .rodata, .data from file
starting from <main>
with concrete stack pointer

reach <puts@plt> (str) such that @[str, 24] = '\\o/ Access granted! \\o/'z
                       then print c string stdin

Browser

Output

Command-line

Download or copy the content of the script in the file vault_script_1.ini, then run the following command.

binsec -sse -sse-script vault_script_1.ini -sse-depth 10000 vault

Output

[sse:info] Load section .data (0x0000000000202000, 0x18)
[sse:info] Load section .rodata (0x0000000000000c70, 0xfc)
[sse:info] TTY: press [space] to switch between log and monitor modes.
[sse:result] Path 82 reached address 0x00000780 (<puts@plt>) (0 to go)
[sse:result] C string stdin[0<64>, *] : "346bc605be4ed8361a68a3d9748fc9b87de397e1\n"
[sse:info] SMT queries
         Preprocessing simplifications
           total          375
           true           45
           false          122
           constant enum  208
         
         Satisfiability queries
           total          81
           sat            81
           unsat          0
           unknown        0
           time           0.14
           average        0.00
         
       Exploration
         total paths                      82
         completed/cut paths              40
         pending paths                    42
         stale paths                      0
         failed assertions                0
         branching points                 414
         max path depth                   2313
         visited instructions (unrolled)  3073
         visited instructions (static)    148