001ebe30
001ebe30Stdlib.Scanf.scan_hex_float:
001ebe30lea r10, [rsp-368]
001ebe38cmp r10, [r14+40]
001ebe3cjb 0x1ecd89
001ebe42
001ebe42loc_1ebe42:
001ebe42sub rsp, 32
001ebe46cmp rax, 1
001ebe4aje 0x1ebf0c
001ebe50mov [rsp+8], rbx
001ebe55mov [rsp], rax
001ebe59mov rax, [rdi+16]
001ebe5dcmp rax, 1
001ebe61jne 0x1ebefc
001ebe67mov [rsp+24], rdi
001ebe6clea r11, [rip+81]
001ebe73push r11
001ebe75push [r14+48]
001ebe79mov [r14+48], rsp
001ebe7dmov rbx, [rdi+48]
001ebe81mov eax, 1
001ebe86mov rdi, [rbx]
001ebe89call rdi
001ebe8bmov rdi, [rsp+40]
001ebe90mov [rdi+8], rax
001ebe94mov [rdi+16], 3
001ebe9cmov rbx, [rdi+24]
001ebea0add rbx, 2
001ebea4mov [rdi+24], rbx
001ebea8cmp rax, 21
001ebeacjne 0x1ebeba
001ebeaemov rax, [rdi+32]
001ebeb2add rax, 2
001ebeb6mov [rdi+32], rax
001ebeba
001ebebaloc_1ebeba:
001ebebapop [r14+48]
001ebebeadd rsp, 8
001ebec2jmp 0x1ebefc
001ebec4lea rbx, [rip+0x14174d]
001ebecbmov rbx, [rbx+88]
001ebecfcmp rax, rbx
001ebed2jne 0x1ebef4
001ebed4mov rdi, [rsp+24]
001ebed9mov [rdi+8], 1
001ebee1mov [rdi+16], 1
001ebee9mov [rdi], 3
001ebef0jmp 0x1ebefc
001ebef2
001ebef2 66 90 f.
001ebef4
001ebef4loc_1ebef4:
001ebef4call caml_reraise_exn
001ebef9nop [rax]
001ebefc
001ebefcloc_1ebefc:
001ebefcmov rax, [rdi]
001ebeffcmp rax, 1
001ebf03jne 0x1ebf0c
001ebf05mov [rsp+24], rdi
001ebf0ajmp 0x1ebf44
001ebf0c
001ebf0cloc_1ebf0c:
001ebf0csub r15, 24
001ebf10cmp r15, [r14]
001ebf13jb 0x1ecd7f
001ebf19
001ebf19loc_1ebf19:
001ebf19lea rax, [r15+8]
001ebf1dmov [rax-8], 2048
001ebf25lea rbx, [rip+0x181254]
001ebf2cmov rbx, [rbx+8]
001ebf30mov [rax], rbx
001ebf33lea rbx, [rip+0x181e76]
001ebf3amov [rax+8], rbx
001ebf3ecall caml_raise_exn
001ebf43nop
001ebf44
001ebf44loc_1ebf44:
001ebf44mov rax, [rsp]
001ebf48mov rbx, rdi
001ebf4bcall Stdlib.Scanf.scan_sign
001ebf50cmp rax, 1
001ebf54je 0x1ec011
001ebf5amov [rsp], rax
001ebf5emov rdi, [rsp+24]
001ebf63mov rax, [rdi+16]
001ebf67cmp rax, 1
001ebf6bjne 0x1ec008
001ebf71mov [rsp+24], rdi
001ebf76lea r11, [rip+83]
001ebf7dpush r11
001ebf7fpush [r14+48]
001ebf83mov [r14+48], rsp
001ebf87mov rbx, [rdi+48]
001ebf8bmov eax, 1
001ebf90mov rdi, [rbx]
001ebf93call rdi
001ebf95mov rdi, [rsp+40]
001ebf9amov [rdi+8], rax
001ebf9emov [rdi+16], 3
001ebfa6mov rbx, [rdi+24]
001ebfaaadd rbx, 2
001ebfaemov [rdi+24], rbx
001ebfb2cmp rax, 21
001ebfb6jne 0x1ebfc4
001ebfb8mov rax, [rdi+32]
001ebfbcadd rax, 2
001ebfc0mov [rdi+32], rax
001ebfc4
001ebfc4loc_1ebfc4:
001ebfc4pop [r14+48]
001ebfc8add rsp, 8
001ebfccjmp 0x1ec008
001ebfce
001ebfce 66 90 f.
001ebfd0lea rbx, [rip+0x141641]
001ebfd7mov rbx, [rbx+88]
001ebfdbcmp rax, rbx
001ebfdejne 0x1ec000
001ebfe0mov rdi, [rsp+24]
001ebfe5mov [rdi+8], 1
001ebfedmov [rdi+16], 1
001ebff5mov [rdi], 3
001ebffcjmp 0x1ec008
001ebffe
001ebffe 66 90 f.
001ec000
001ec000loc_1ec000:
001ec000call caml_reraise_exn
001ec005nop [rax]
001ec008
001ec008loc_1ec008:
001ec008mov rax, [rdi]
001ec00bcmp rax, 1
001ec00fje 0x1ec048
001ec011
001ec011loc_1ec011:
001ec011sub r15, 24
001ec015cmp r15, [r14]
001ec018jb 0x1ecd75
001ec01e
001ec01eloc_1ec01e:
001ec01elea rax, [r15+8]
001ec022mov [rax-8], 2048
001ec02alea rbx, [rip+0x18114f]
001ec031mov rbx, [rbx+8]
001ec035mov [rax], rbx
001ec038lea rbx, [rip+0x181d71]
001ec03fmov [rax+8], rbx
001ec043call caml_raise_exn
001ec048
001ec048loc_1ec048:
001ec048mov rax, [rdi+16]
001ec04ccmp rax, 1
001ec050je 0x1ec05c
001ec052mov rbx, [rdi+8]
001ec056jmp 0x1ec0fb
001ec05b
001ec05b 90 .
001ec05c
001ec05cloc_1ec05c:
001ec05cmov [rsp+24], rdi
001ec061lea r11, [rip+84]
001ec068push r11
001ec06apush [r14+48]
001ec06emov [r14+48], rsp
001ec072mov rbx, [rdi+48]
001ec076mov eax, 1
001ec07bmov rdi, [rbx]
001ec07ecall rdi
001ec080mov rdi, [rsp+40]
001ec085mov [rdi+8], rax
001ec089mov [rdi+16], 3
001ec091mov rbx, [rdi+24]
001ec095add rbx, 2
001ec099mov [rdi+24], rbx
001ec09dcmp rax, 21
001ec0a1jne 0x1ec0af
001ec0a3mov rbx, [rdi+32]
001ec0a7add rbx, 2
001ec0abmov [rdi+32], rbx
001ec0af
001ec0afloc_1ec0af:
001ec0afpop [r14+48]
001ec0b3add rsp, 8
001ec0b7jmp 0x1ec0f8
001ec0b9
001ec0b9 0f 1f 00 ...
001ec0bclea rbx, [rip+0x141555]
001ec0c3mov rbx, [rbx+88]
001ec0c7cmp rax, rbx
001ec0cajne 0x1ec0f0
001ec0ccmov rdi, [rsp+24]
001ec0d1mov [rdi+8], 1
001ec0d9mov [rdi+16], 1
001ec0e1mov [rdi], 3
001ec0e8mov eax, 1
001ec0edjmp 0x1ec0f8
001ec0ef
001ec0ef 90 .
001ec0f0
001ec0f0loc_1ec0f0:
001ec0f0call caml_reraise_exn
001ec0f5nop [rax]
001ec0f8
001ec0f8loc_1ec0f8:
001ec0f8mov rbx, rax
001ec0fb
001ec0fbloc_1ec0fb:
001ec0fbcmp rbx, 157
001ec102jl 0x1ec274
001ec108mov rax, rbx
001ec10badd rax, -158
001ec111cmp rax, 61
001ec115jbe 0x1ec260
001ec11bcmp rax, 65
001ec11fjge 0x1ecbe4
001ec125mov [rsp+24], rdi
001ec12amov rax, [rdi+56]
001ec12ecall Stdlib.Buffer.add_char
001ec133mov rax, [rsp]
001ec137add rax, -2
001ec13bmov rbx, [rsp+24]
001ec140mov [rbx+16], 1
001ec148cmp rax, 1
001ec14cje 0x1ec205
001ec152mov [rsp], rax
001ec156mov rax, [rbx+16]
001ec15acmp rax, 1
001ec15ejne 0x1ec1fc
001ec164mov [rsp+24], rbx
001ec169lea r11, [rip+84]
001ec170push r11
001ec172push [r14+48]
001ec176mov [r14+48], rsp
001ec17amov rbx, [rbx+48]
001ec17emov eax, 1
001ec183mov rdi, [rbx]
001ec186call rdi
001ec188mov rbx, [rsp+40]
001ec18dmov [rbx+8], rax
001ec191mov [rbx+16], 3
001ec199mov rdi, [rbx+24]
001ec19dadd rdi, 2
001ec1a1mov [rbx+24], rdi
001ec1a5cmp rax, 21
001ec1a9jne 0x1ec1b7
001ec1abmov rax, [rbx+32]
001ec1afadd rax, 2
001ec1b3mov [rbx+32], rax
001ec1b7
001ec1b7loc_1ec1b7:
001ec1b7pop [r14+48]
001ec1bbadd rsp, 8
001ec1bfjmp 0x1ec1fc
001ec1c1
001ec1c1 0f 1f 00 ...
001ec1c4lea rbx, [rip+0x14144d]
001ec1cbmov rbx, [rbx+88]
001ec1cfcmp rax, rbx
001ec1d2jne 0x1ec1f4
001ec1d4mov rbx, [rsp+24]
001ec1d9mov [rbx+8], 1
001ec1e1mov [rbx+16], 1
001ec1e9mov [rbx], 3
001ec1f0jmp 0x1ec1fc
001ec1f2
001ec1f2 66 90 f.
001ec1f4
001ec1f4loc_1ec1f4:
001ec1f4call caml_reraise_exn
001ec1f9nop [rax]
001ec1fc
001ec1fcloc_1ec1fc:
001ec1fcmov rax, [rbx]
001ec1ffcmp rax, 1
001ec203je 0x1ec23c
001ec205
001ec205loc_1ec205:
001ec205sub r15, 24
001ec209cmp r15, [r14]
001ec20cjb 0x1ecd6b
001ec212
001ec212loc_1ec212:
001ec212lea rax, [r15+8]
001ec216mov [rax-8], 2048
001ec21elea rbx, [rip+0x180f5b]
001ec225mov rbx, [rbx+8]
001ec229mov [rax], rbx
001ec22clea rbx, [rip+0x181b7d]
001ec233mov [rax+8], rbx
001ec237call caml_raise_exn
001ec23c
001ec23cloc_1ec23c:
001ec23clea rsi, [rip+0x181705]
001ec243lea rax, [rip+0x180f36]
001ec24amov rdi, [rax+152]
001ec251mov rax, [rsp]
001ec255add rsp, 32
001ec259jmp 0x1ebbc0
001ec25e
001ec25e 66 90 f.
001ec260
001ec260loc_1ec260:
001ec260cmp rax, 53
001ec264jne 0x1ecbe4
001ec26amov [rsp+24], rdi
001ec26fjmp 0x1ecc1c
001ec274
001ec274loc_1ec274:
001ec274cmp rbx, 97
001ec278je 0x1ec294
001ec27acmp rbx, 147
001ec281jne 0x1ecbe4
001ec287mov [rsp+24], rdi
001ec28cjmp 0x1ecc1c
001ec291
001ec291 0f 1f 00 ...
001ec294
001ec294loc_1ec294:
001ec294mov [rsp+24], rdi
001ec299mov rax, [rdi+56]
001ec29dcall Stdlib.Buffer.add_char
001ec2a2mov rax, [rsp]
001ec2a6add rax, -2
001ec2aamov rbx, [rsp+24]
001ec2afmov [rbx+16], 1
001ec2b7cmp rax, 1
001ec2bbje 0x1ec378
001ec2c1mov [rsp], rax
001ec2c5mov rax, [rbx+16]
001ec2c9cmp rax, 1
001ec2cdjne 0x1ec368
001ec2d3mov [rsp+24], rbx
001ec2d8lea r11, [rip+81]
001ec2dfpush r11
001ec2e1push [r14+48]
001ec2e5mov [r14+48], rsp
001ec2e9mov rbx, [rbx+48]
001ec2edmov eax, 1
001ec2f2mov rdi, [rbx]
001ec2f5call rdi
001ec2f7mov rbx, [rsp+40]
001ec2fcmov [rbx+8], rax
001ec300mov [rbx+16], 3
001ec308mov rdi, [rbx+24]
001ec30cadd rdi, 2
001ec310mov [rbx+24], rdi
001ec314cmp rax, 21
001ec318jne 0x1ec326
001ec31amov rax, [rbx+32]
001ec31eadd rax, 2
001ec322mov [rbx+32], rax
001ec326
001ec326loc_1ec326:
001ec326pop [r14+48]
001ec32aadd rsp, 8
001ec32ejmp 0x1ec368
001ec330lea rbx, [rip+0x1412e1]
001ec337mov rbx, [rbx+88]
001ec33bcmp rax, rbx
001ec33ejne 0x1ec360
001ec340mov rbx, [rsp+24]
001ec345mov [rbx+8], 1
001ec34dmov [rbx+16], 1
001ec355mov [rbx], 3
001ec35cjmp 0x1ec368
001ec35e
001ec35e 66 90 f.
001ec360
001ec360loc_1ec360:
001ec360call caml_reraise_exn
001ec365nop [rax]
001ec368
001ec368loc_1ec368:
001ec368mov rax, [rbx]
001ec36bcmp rax, 1
001ec36fjne 0x1ec378
001ec371mov [rsp+24], rbx
001ec376jmp 0x1ec3b0
001ec378
001ec378loc_1ec378:
001ec378sub r15, 24
001ec37ccmp r15, [r14]
001ec37fjb 0x1ecd61
001ec385
001ec385loc_1ec385:
001ec385lea rax, [r15+8]
001ec389mov [rax-8], 2048
001ec391lea rbx, [rip+0x180de8]
001ec398mov rbx, [rbx+8]
001ec39cmov [rax], rbx
001ec39flea rbx, [rip+0x181a0a]
001ec3a6mov [rax+8], rbx
001ec3aacall caml_raise_exn
001ec3afnop
001ec3b0
001ec3b0loc_1ec3b0:
001ec3b0lea rsi, [rip+0x181581]
001ec3b7lea rax, [rip+0x180dc2]
001ec3bemov rdi, [rax+152]
001ec3c5mov rax, [rsp]
001ec3c9call Stdlib.Scanf.check_case_insensitive_string
001ec3cemov [rsp], rax
001ec3d2cmp rax, 1
001ec3d6je 0x1ecbd8
001ec3dcmov rsi, [rsp+24]
001ec3e1mov rax, [rsi+16]
001ec3e5cmp rax, 1
001ec3e9jne 0x1ec484
001ec3efmov [rsp+24], rsi
001ec3f4lea r11, [rip+81]
001ec3fbpush r11
001ec3fdpush [r14+48]
001ec401mov [r14+48], rsp
001ec405mov rbx, [rsi+48]
001ec409mov eax, 1
001ec40emov rdi, [rbx]
001ec411call rdi
001ec413mov rsi, [rsp+40]
001ec418mov [rsi+8], rax
001ec41cmov [rsi+16], 3
001ec424mov rbx, [rsi+24]
001ec428add rbx, 2
001ec42cmov [rsi+24], rbx
001ec430cmp rax, 21
001ec434jne 0x1ec442
001ec436mov rax, [rsi+32]
001ec43aadd rax, 2
001ec43emov [rsi+32], rax
001ec442
001ec442loc_1ec442:
001ec442pop [r14+48]
001ec446add rsp, 8
001ec44ajmp 0x1ec484
001ec44clea rbx, [rip+0x1411c5]
001ec453mov rbx, [rbx+88]
001ec457cmp rax, rbx
001ec45ajne 0x1ec47c
001ec45cmov rsi, [rsp+24]
001ec461mov [rsi+8], 1
001ec469mov [rsi+16], 1
001ec471mov [rsi], 3
001ec478jmp 0x1ec484
001ec47a
001ec47a 66 90 f.
001ec47c
001ec47cloc_1ec47c:
001ec47ccall caml_reraise_exn
001ec481nop [rax]
001ec484
001ec484loc_1ec484:
001ec484mov rax, [rsi]
001ec487cmp rax, 1
001ec48bjne 0x1ecbd8
001ec491mov [rsp+24], rsi
001ec496mov rax, [rsi+16]
001ec49acmp rax, 1
001ec49eje 0x1ec4ac
001ec4a0mov rax, [rsi+8]
001ec4a4jmp 0x1ec540
001ec4a9
001ec4a9 0f 1f 00 ...
001ec4ac
001ec4acloc_1ec4ac:
001ec4aclea r11, [rip+81]
001ec4b3push r11
001ec4b5push [r14+48]
001ec4b9mov [r14+48], rsp
001ec4bdmov rbx, [rsi+48]
001ec4c1mov eax, 1
001ec4c6mov rdi, [rbx]
001ec4c9call rdi
001ec4cbmov rsi, [rsp+40]
001ec4d0mov [rsi+8], rax
001ec4d4mov [rsi+16], 3
001ec4dcmov rbx, [rsi+24]
001ec4e0add rbx, 2
001ec4e4mov [rsi+24], rbx
001ec4e8cmp rax, 21
001ec4ecjne 0x1ec4fa
001ec4eemov rbx, [rsi+32]
001ec4f2add rbx, 2
001ec4f6mov [rsi+32], rbx
001ec4fa
001ec4faloc_1ec4fa:
001ec4fapop [r14+48]
001ec4feadd rsp, 8
001ec502jmp 0x1ec540
001ec504lea rbx, [rip+0x14110d]
001ec50bmov rbx, [rbx+88]
001ec50fcmp rax, rbx
001ec512jne 0x1ec538
001ec514mov rsi, [rsp+24]
001ec519mov [rsi+8], 1
001ec521mov [rsi+16], 1
001ec529mov [rsi], 3
001ec530mov eax, 1
001ec535jmp 0x1ec540
001ec537
001ec537 90 .
001ec538
001ec538loc_1ec538:
001ec538call caml_reraise_exn
001ec53dnop [rax]
001ec540
001ec540loc_1ec540:
001ec540add rax, -92
001ec544cmp rax, 69
001ec548jbe 0x1ec554
001ec54acmp rax, 133
001ec550je 0x1ec584
001ec552jmp 0x1ec55e
001ec554
001ec554loc_1ec554:
001ec554add rax, -2
001ec558cmp rax, 65
001ec55cja 0x1ec584
001ec55e
001ec55eloc_1ec55e:
001ec55elea rax, [rip+0x180c1b]
001ec565mov rax, [rax+360]
001ec56cmov rbx, [rax+32]
001ec570mov rax, [rax+24]
001ec574mov rdi, [rsp]
001ec578call Stdlib.Scanf.scan_digit_plus
001ec57dmov [rsp], rax
001ec581jmp 0x1ec58c
001ec583
001ec583 90 .
001ec584
001ec584loc_1ec584:
001ec584mov rax, [rsp]
001ec588mov [rsp], rax
001ec58c
001ec58cloc_1ec58c:
001ec58ccmp rax, 1
001ec590je 0x1ecbcc
001ec596mov rdi, [rsp+24]
001ec59bmov rax, [rdi+16]
001ec59fcmp rax, 1
001ec5a3jne 0x1ec640
001ec5a9mov [rsp+24], rdi
001ec5aelea r11, [rip+83]
001ec5b5push r11
001ec5b7push [r14+48]
001ec5bbmov [r14+48], rsp
001ec5bfmov rbx, [rdi+48]
001ec5c3mov eax, 1
001ec5c8mov rdi, [rbx]
001ec5cbcall rdi
001ec5cdmov rdi, [rsp+40]
001ec5d2mov [rdi+8], rax
001ec5d6mov [rdi+16], 3
001ec5demov rbx, [rdi+24]
001ec5e2add rbx, 2
001ec5e6mov [rdi+24], rbx
001ec5eacmp rax, 21
001ec5eejne 0x1ec5fc
001ec5f0mov rax, [rdi+32]
001ec5f4add rax, 2
001ec5f8mov [rdi+32], rax
001ec5fc
001ec5fcloc_1ec5fc:
001ec5fcpop [r14+48]
001ec600add rsp, 8
001ec604jmp 0x1ec640
001ec606
001ec606 66 90 f.
001ec608lea rbx, [rip+0x141009]
001ec60fmov rbx, [rbx+88]
001ec613cmp rax, rbx
001ec616jne 0x1ec638
001ec618mov rdi, [rsp+24]
001ec61dmov [rdi+8], 1
001ec625mov [rdi+16], 1
001ec62dmov [rdi], 3
001ec634jmp 0x1ec640
001ec636
001ec636 66 90 f.
001ec638
001ec638loc_1ec638:
001ec638call caml_reraise_exn
001ec63dnop [rax]
001ec640
001ec640loc_1ec640:
001ec640mov rax, [rdi]
001ec643cmp rax, 1
001ec647jne 0x1ecbcc
001ec64dmov [rsp+24], rdi
001ec652mov rax, [rdi+16]
001ec656cmp rax, 1
001ec65aje 0x1ec668
001ec65cmov rbx, [rdi+8]
001ec660jmp 0x1ec6ff
001ec665
001ec665 0f 1f 00 ...
001ec668
001ec668loc_1ec668:
001ec668lea r11, [rip+81]
001ec66fpush r11
001ec671push [r14+48]
001ec675mov [r14+48], rsp
001ec679mov rbx, [rdi+48]
001ec67dmov eax, 1
001ec682mov rdi, [rbx]
001ec685call rdi
001ec687mov rdi, [rsp+40]
001ec68cmov [rdi+8], rax
001ec690mov [rdi+16], 3
001ec698mov rbx, [rdi+24]
001ec69cadd rbx, 2
001ec6a0mov [rdi+24], rbx
001ec6a4cmp rax, 21
001ec6a8jne 0x1ec6b6
001ec6aamov rbx, [rdi+32]
001ec6aeadd rbx, 2
001ec6b2mov [rdi+32], rbx
001ec6b6
001ec6b6loc_1ec6b6:
001ec6b6pop [r14+48]
001ec6baadd rsp, 8
001ec6bejmp 0x1ec6fc
001ec6c0lea rbx, [rip+0x140f51]
001ec6c7mov rbx, [rbx+88]
001ec6cbcmp rax, rbx
001ec6cejne 0x1ec6f4
001ec6d0mov rdi, [rsp+24]
001ec6d5mov [rdi+8], 1
001ec6ddmov [rdi+16], 1
001ec6e5mov [rdi], 3
001ec6ecmov eax, 1
001ec6f1jmp 0x1ec6fc
001ec6f3
001ec6f3 90 .
001ec6f4
001ec6f4loc_1ec6f4:
001ec6f4call caml_reraise_exn
001ec6f9nop [rax]
001ec6fc
001ec6fcloc_1ec6fc:
001ec6fcmov rbx, rax
001ec6ff
001ec6ffloc_1ec6ff:
001ec6ffcmp rbx, 93
001ec703je 0x1ec714
001ec705mov rax, [rsp]
001ec709mov [rsp], rax
001ec70djmp 0x1ec901
001ec712
001ec712 66 90 f.
001ec714
001ec714loc_1ec714:
001ec714mov rax, [rdi+56]
001ec718call Stdlib.Buffer.add_char
001ec71dmov rax, [rsp]
001ec721add rax, -2
001ec725mov rsi, [rsp+24]
001ec72amov [rsi+16], 1
001ec732mov [rsp+16], rax
001ec737cmp rax, 1
001ec73bje 0x1ec8f8
001ec741mov rax, [rsi+16]
001ec745cmp rax, 1
001ec749jne 0x1ec7e0
001ec74flea r11, [rip+82]
001ec756push r11
001ec758push [r14+48]
001ec75cmov [r14+48], rsp
001ec760mov rbx, [rsi+48]
001ec764mov eax, 1
001ec769mov rdi, [rbx]
001ec76ccall rdi
001ec76emov rsi, [rsp+40]
001ec773mov [rsi+8], rax
001ec777mov [rsi+16], 3
001ec77fmov rbx, [rsi+24]
001ec783add rbx, 2
001ec787mov [rsi+24], rbx
001ec78bcmp rax, 21
001ec78fjne 0x1ec79d
001ec791mov rax, [rsi+32]
001ec795add rax, 2
001ec799mov [rsi+32], rax
001ec79d
001ec79dloc_1ec79d:
001ec79dpop [r14+48]
001ec7a1add rsp, 8
001ec7a5jmp 0x1ec7e0
001ec7a7
001ec7a7 90 .
001ec7a8lea rbx, [rip+0x140e69]
001ec7afmov rbx, [rbx+88]
001ec7b3cmp rax, rbx
001ec7b6jne 0x1ec7d8
001ec7b8mov rsi, [rsp+24]
001ec7bdmov [rsi+8], 1
001ec7c5mov [rsi+16], 1
001ec7cdmov [rsi], 3
001ec7d4jmp 0x1ec7e0
001ec7d6
001ec7d6 66 90 f.
001ec7d8
001ec7d8loc_1ec7d8:
001ec7d8call caml_reraise_exn
001ec7ddnop [rax]
001ec7e0
001ec7e0loc_1ec7e0:
001ec7e0mov rax, [rsi]
001ec7e3cmp rax, 1
001ec7e7jne 0x1ec8f8
001ec7edmov rax, [rsi+16]
001ec7f1cmp rax, 1
001ec7f5je 0x1ec800
001ec7f7mov rax, [rsi+8]
001ec7fbjmp 0x1ec894
001ec800
001ec800loc_1ec800:
001ec800lea r11, [rip+81]
001ec807push r11
001ec809push [r14+48]
001ec80dmov [r14+48], rsp
001ec811mov rbx, [rsi+48]
001ec815mov eax, 1
001ec81amov rdi, [rbx]
001ec81dcall rdi
001ec81fmov rsi, [rsp+40]
001ec824mov [rsi+8], rax
001ec828mov [rsi+16], 3
001ec830mov rbx, [rsi+24]
001ec834add rbx, 2
001ec838mov [rsi+24], rbx
001ec83ccmp rax, 21
001ec840jne 0x1ec84e
001ec842mov rbx, [rsi+32]
001ec846add rbx, 2
001ec84amov [rsi+32], rbx
001ec84e
001ec84eloc_1ec84e:
001ec84epop [r14+48]
001ec852add rsp, 8
001ec856jmp 0x1ec894
001ec858lea rbx, [rip+0x140db9]
001ec85fmov rbx, [rbx+88]
001ec863cmp rax, rbx
001ec866jne 0x1ec88c
001ec868mov rsi, [rsp+24]
001ec86dmov [rsi+8], 1
001ec875mov [rsi+16], 1
001ec87dmov [rsi], 3
001ec884mov eax, 1
001ec889jmp 0x1ec894
001ec88b
001ec88b 90 .
001ec88c
001ec88cloc_1ec88c:
001ec88ccall caml_reraise_exn
001ec891nop [rax]
001ec894
001ec894loc_1ec894:
001ec894cmp rax, 161
001ec89aje 0x1ec8f0
001ec89ccmp rax, 225
001ec8a2je 0x1ec8f0
001ec8a4mov rdi, [rsp+16]
001ec8a9mov rax, [rsp+8]
001ec8aecmp rdi, rax
001ec8b1jg 0x1ec8bc
001ec8b3mov [rsp], rdi
001ec8b7jmp 0x1ec8c3
001ec8b9
001ec8b9 0f 1f 00 ...
001ec8bc
001ec8bcloc_1ec8bc:
001ec8bcmov rdi, rax
001ec8bfmov [rsp], rdi
001ec8c3
001ec8c3loc_1ec8c3:
001ec8c3lea rax, [rip+0x1808b6]
001ec8camov rax, [rax+360]
001ec8d1mov rbx, [rax+32]
001ec8d5mov rax, [rax+24]
001ec8d9call Stdlib.Scanf.scan_digit_plus
001ec8demov rbx, [rsp]
001ec8e2sub rbx, rax
001ec8e5mov rax, [rsp+16]
001ec8easub rax, rbx
001ec8edjmp 0x1ec8fd
001ec8ef
001ec8ef 90 .
001ec8f0
001ec8f0loc_1ec8f0:
001ec8f0mov rax, [rsp+16]
001ec8f5jmp 0x1ec8fd
001ec8f7
001ec8f7 90 .
001ec8f8
001ec8f8loc_1ec8f8:
001ec8f8mov rax, [rsp+16]
001ec8fd
001ec8fdloc_1ec8fd:
001ec8fdmov [rsp], rax
001ec901
001ec901loc_1ec901:
001ec901cmp rax, 1
001ec905je 0x1ecbc0
001ec90bmov rdi, [rsp+24]
001ec910mov rax, [rdi+16]
001ec914cmp rax, 1
001ec918jne 0x1ec9b4
001ec91emov [rsp+24], rdi
001ec923lea r11, [rip+82]
001ec92apush r11
001ec92cpush [r14+48]
001ec930mov [r14+48], rsp
001ec934mov rbx, [rdi+48]
001ec938mov eax, 1
001ec93dmov rdi, [rbx]
001ec940call rdi
001ec942mov rdi, [rsp+40]
001ec947mov [rdi+8], rax
001ec94bmov [rdi+16], 3
001ec953mov rbx, [rdi+24]
001ec957add rbx, 2
001ec95bmov [rdi+24], rbx
001ec95fcmp rax, 21
001ec963jne 0x1ec971
001ec965mov rax, [rdi+32]
001ec969add rax, 2
001ec96dmov [rdi+32], rax
001ec971
001ec971loc_1ec971:
001ec971pop [r14+48]
001ec975add rsp, 8
001ec979jmp 0x1ec9b4
001ec97b
001ec97b 90 .
001ec97clea rbx, [rip+0x140c95]
001ec983mov rbx, [rbx+88]
001ec987cmp rax, rbx
001ec98ajne 0x1ec9ac
001ec98cmov rdi, [rsp+24]
001ec991mov [rdi+8], 1
001ec999mov [rdi+16], 1
001ec9a1mov [rdi], 3
001ec9a8jmp 0x1ec9b4
001ec9aa
001ec9aa 66 90 f.
001ec9ac
001ec9acloc_1ec9ac:
001ec9accall caml_reraise_exn
001ec9b1nop [rax]
001ec9b4
001ec9b4loc_1ec9b4:
001ec9b4mov rax, [rdi]
001ec9b7cmp rax, 1
001ec9bbjne 0x1ecbc0
001ec9c1mov rax, [rdi+16]
001ec9c5cmp rax, 1
001ec9c9je 0x1ec9d4
001ec9cbmov rbx, [rdi+8]
001ec9cfjmp 0x1eca73
001ec9d4
001ec9d4loc_1ec9d4:
001ec9d4mov [rsp+24], rdi
001ec9d9lea r11, [rip+84]
001ec9e0push r11
001ec9e2push [r14+48]
001ec9e6mov [r14+48], rsp
001ec9eamov rbx, [rdi+48]
001ec9eemov eax, 1
001ec9f3mov rdi, [rbx]
001ec9f6call rdi
001ec9f8mov rdi, [rsp+40]
001ec9fdmov [rdi+8], rax
001eca01mov [rdi+16], 3
001eca09mov rbx, [rdi+24]
001eca0dadd rbx, 2
001eca11mov [rdi+24], rbx
001eca15cmp rax, 21
001eca19jne 0x1eca27
001eca1bmov rbx, [rdi+32]
001eca1fadd rbx, 2
001eca23mov [rdi+32], rbx
001eca27
001eca27loc_1eca27:
001eca27pop [r14+48]
001eca2badd rsp, 8
001eca2fjmp 0x1eca70
001eca31
001eca31 0f 1f 00 ...
001eca34lea rbx, [rip+0x140bdd]
001eca3bmov rbx, [rbx+88]
001eca3fcmp rax, rbx
001eca42jne 0x1eca68
001eca44mov rdi, [rsp+24]
001eca49mov [rdi+8], 1
001eca51mov [rdi+16], 1
001eca59mov [rdi], 3
001eca60mov eax, 1
001eca65jmp 0x1eca70
001eca67
001eca67 90 .
001eca68
001eca68loc_1eca68:
001eca68call caml_reraise_exn
001eca6dnop [rax]
001eca70
001eca70loc_1eca70:
001eca70mov rbx, rax
001eca73
001eca73loc_1eca73:
001eca73cmp rbx, 161
001eca7aje 0x1eca98
001eca7ccmp rbx, 225
001eca83je 0x1eca90
001eca85mov rax, [rsp]
001eca89add rsp, 32
001eca8dret
001eca8e
001eca8e 66 90 f.
001eca90
001eca90loc_1eca90:
001eca90mov [rsp+24], rdi
001eca95jmp 0x1eca9d
001eca97
001eca97 90 .
001eca98
001eca98loc_1eca98:
001eca98mov [rsp+24], rdi
001eca9d
001eca9dloc_1eca9d:
001eca9dmov rax, [rdi+56]
001ecaa1call Stdlib.Buffer.add_char
001ecaa6mov rax, [rsp]
001ecaaaadd rax, -2
001ecaaemov rbx, [rsp+24]
001ecab3mov [rbx+16], 1
001ecabbmov [rsp], rax
001ecabfcmp rax, 1
001ecac3je 0x1ecb71
001ecac9mov rax, [rbx+16]
001ecacdcmp rax, 1
001ecad1jne 0x1ecb68
001ecad7lea r11, [rip+82]
001ecadepush r11
001ecae0push [r14+48]
001ecae4mov [r14+48], rsp
001ecae8mov rbx, [rbx+48]
001ecaecmov eax, 1
001ecaf1mov rdi, [rbx]
001ecaf4call rdi
001ecaf6mov rbx, [rsp+40]
001ecafbmov [rbx+8], rax
001ecaffmov [rbx+16], 3
001ecb07mov rdi, [rbx+24]
001ecb0badd rdi, 2
001ecb0fmov [rbx+24], rdi
001ecb13cmp rax, 21
001ecb17jne 0x1ecb25
001ecb19mov rax, [rbx+32]
001ecb1dadd rax, 2
001ecb21mov [rbx+32], rax
001ecb25
001ecb25loc_1ecb25:
001ecb25pop [r14+48]
001ecb29add rsp, 8
001ecb2djmp 0x1ecb68
001ecb2f
001ecb2f 90 .
001ecb30lea rbx, [rip+0x140ae1]
001ecb37mov rbx, [rbx+88]
001ecb3bcmp rax, rbx
001ecb3ejne 0x1ecb60
001ecb40mov rbx, [rsp+24]
001ecb45mov [rbx+8], 1
001ecb4dmov [rbx+16], 1
001ecb55mov [rbx], 3
001ecb5cjmp 0x1ecb68
001ecb5e
001ecb5e 66 90 f.
001ecb60
001ecb60loc_1ecb60:
001ecb60call caml_reraise_exn
001ecb65nop [rax]
001ecb68
001ecb68loc_1ecb68:
001ecb68mov rax, [rbx]
001ecb6bcmp rax, 1
001ecb6fje 0x1ecba8
001ecb71
001ecb71loc_1ecb71:
001ecb71sub r15, 24
001ecb75cmp r15, [r14]
001ecb78jb 0x1ecd57
001ecb7e
001ecb7eloc_1ecb7e:
001ecb7elea rax, [r15+8]
001ecb82mov [rax-8], 2048
001ecb8alea rbx, [rip+0x1805ef]
001ecb91mov rbx, [rbx+8]
001ecb95mov [rax], rbx
001ecb98lea rbx, [rip+0x181211]
001ecb9fmov [rax+8], rbx
001ecba3call caml_raise_exn
001ecba8
001ecba8loc_1ecba8:
001ecba8mov rax, [rsp]
001ecbaccall Stdlib.Scanf.scan_sign
001ecbb1mov rbx, [rsp+24]
001ecbb6add rsp, 32
001ecbbajmp 0x1ea9a0
001ecbbf
001ecbbf 90 .
001ecbc0
001ecbc0loc_1ecbc0:
001ecbc0mov rax, [rsp]
001ecbc4add rsp, 32
001ecbc8ret
001ecbc9
001ecbc9 0f 1f 00 ...
001ecbcc
001ecbccloc_1ecbcc:
001ecbccmov rax, [rsp]
001ecbd0add rsp, 32
001ecbd4ret
001ecbd5
001ecbd5 0f 1f 00 ...
001ecbd8
001ecbd8loc_1ecbd8:
001ecbd8mov rax, [rsp]
001ecbdcadd rsp, 32
001ecbe0ret
001ecbe1
001ecbe1 0f 1f 00 ...
001ecbe4
001ecbe4loc_1ecbe4:
001ecbe4sub r15, 24
001ecbe8cmp r15, [r14]
001ecbebjb 0x1ecd4d
001ecbf1
001ecbf1loc_1ecbf1:
001ecbf1lea rax, [r15+8]
001ecbf5mov [rax-8], 2048
001ecbfdlea rbx, [rip+0x18057c]
001ecc04mov rbx, [rbx+8]
001ecc08mov [rax], rbx
001ecc0blea rbx, [rip+0x18119e]
001ecc12mov [rax+8], rbx
001ecc16call caml_raise_exn
001ecc1bnop
001ecc1c
001ecc1cloc_1ecc1c:
001ecc1cmov rax, [rdi+56]
001ecc20call Stdlib.Buffer.add_char
001ecc25mov rax, [rsp]
001ecc29add rax, -2
001ecc2dmov rbx, [rsp+24]
001ecc32mov [rbx+16], 1
001ecc3amov [rsp], rax
001ecc3ecmp rax, 1
001ecc42je 0x1eccf1
001ecc48mov rax, [rbx+16]
001ecc4ccmp rax, 1
001ecc50jne 0x1ecce8
001ecc56lea r11, [rip+83]
001ecc5dpush r11
001ecc5fpush [r14+48]
001ecc63mov [r14+48], rsp
001ecc67mov rbx, [rbx+48]
001ecc6bmov eax, 1
001ecc70mov rdi, [rbx]
001ecc73call rdi
001ecc75mov rbx, [rsp+40]
001ecc7amov [rbx+8], rax
001ecc7emov [rbx+16], 3
001ecc86mov rdi, [rbx+24]
001ecc8aadd rdi, 2
001ecc8emov [rbx+24], rdi
001ecc92cmp rax, 21
001ecc96jne 0x1ecca4
001ecc98mov rax, [rbx+32]
001ecc9cadd rax, 2
001ecca0mov [rbx+32], rax
001ecca4
001ecca4loc_1ecca4:
001ecca4pop [r14+48]
001ecca8add rsp, 8
001eccacjmp 0x1ecce8
001eccae
001eccae 66 90 f.
001eccb0lea rbx, [rip+0x140961]
001eccb7mov rbx, [rbx+88]
001eccbbcmp rax, rbx
001eccbejne 0x1ecce0
001eccc0mov rbx, [rsp+24]
001eccc5mov [rbx+8], 1
001ecccdmov [rbx+16], 1
001eccd5mov [rbx], 3
001eccdcjmp 0x1ecce8
001eccde
001eccde 66 90 f.
001ecce0
001ecce0loc_1ecce0:
001ecce0call caml_reraise_exn
001ecce5nop [rax]
001ecce8
001ecce8loc_1ecce8:
001ecce8mov rax, [rbx]
001eccebcmp rax, 1
001eccefje 0x1ecd24
001eccf1
001eccf1loc_1eccf1:
001eccf1sub r15, 24
001eccf5cmp r15, [r14]
001eccf8jb 0x1ecd46
001eccfa
001eccfaloc_1eccfa:
001eccfalea rax, [r15+8]
001eccfemov [rax-8], 2048
001ecd06lea rbx, [rip+0x180473]
001ecd0dmov rbx, [rbx+8]
001ecd11mov [rax], rbx
001ecd14lea rbx, [rip+0x181095]
001ecd1bmov [rax+8], rbx
001ecd1fcall caml_raise_exn
001ecd24
001ecd24loc_1ecd24:
001ecd24lea rsi, [rip+0x180bfd]
001ecd2blea rax, [rip+0x18044e]
001ecd32mov rdi, [rax+152]
001ecd39mov rax, [rsp]
001ecd3dadd rsp, 32
001ecd41jmp 0x1ebbc0
001ecd46
001ecd46loc_1ecd46:
001ecd46call caml_call_gc
001ecd4bjmp 0x1eccfa
001ecd4d
001ecd4dloc_1ecd4d:
001ecd4dcall caml_call_gc
001ecd52jmp 0x1ecbf1
001ecd57
001ecd57loc_1ecd57:
001ecd57call caml_call_gc
001ecd5cjmp 0x1ecb7e
001ecd61
001ecd61loc_1ecd61:
001ecd61call caml_call_gc
001ecd66jmp 0x1ec385
001ecd6b
001ecd6bloc_1ecd6b:
001ecd6bcall caml_call_gc
001ecd70jmp 0x1ec212
001ecd75
001ecd75loc_1ecd75:
001ecd75call caml_call_gc
001ecd7ajmp 0x1ec01e
001ecd7f
001ecd7floc_1ecd7f:
001ecd7fcall caml_call_gc
001ecd84jmp 0x1ebf19
001ecd89
001ecd89loc_1ecd89:
001ecd89push 39
001ecd8bcall caml_call_realloc_stack
001ecd90pop r10
001ecd92jmp 0x1ebe42
001ebe30