002f33dc
002f33dc 60 75 60 05 `u`.
002f33e0 50 03 00 38 P..8
002f33e4
002f33e4 SwitchTable
002f33e4 0x368 0x300 0x1d8 0x204 0x308 0x225 0x128 0x254
002f3424 0x1c4 0x364 0x2d8 0x2d0 0x270 0x2c0 0x24c
002f345c
002f345c 28 3d b8 04 (=..
002f3460
002f3460 string "lexing.ml",0
002f346a
002f346a string "saver.ml",0
002f3473
002f3473 string "saveUtils.ml",0
002f3480
002f3480 string "latexmacros.ml",0
002f348f
002f348f string "printf.ml",0
002f3499
002f3499 string "bytes.ml",0
002f34a2
002f34a2 string "string.ml",0
002f34ac
002f34ac string "doOut.ml",0
002f34b5
002f34b5 string "subst.mll",0
002f34bf
002f34bf string "subst.ml",0
002f34c8
002f34c8 string "lexstate.ml",0
002f34d4
002f34d4 ce ff ff ff 53 74 64 6c 69 62 5f 5f ....Stdlib__
002f34e0 53 74 72 69 6e 67 2e 69 6e 64 65 78 00 00 00 00 String.index....
002f34f0 c5 ff ff ff 53 75 62 73 74 2e 73 75 62 73 74 5f ....Subst.subst_
002f3500 61 72 67 5f 6c 69 73 74 00 00 00 00 67 ff ff ff arg_list....g...
002f3510 53 61 76 65 55 74 69 6c 73 2e 67 65 74 5f 65 63 SaveUtils.get_ec
002f3520 68 6f 00 00 91 ff ff ff 53 75 62 73 74 2e 73 75 ho......Subst.su
002f3530 62 73 74 5f 65 78 70 6e 5f 62 6f 64 79 00 00 00 bst_expn_body...
002f3540 20 ff ff ff 53 74 64 6c 69 62 5f 5f 4c 65 78 69 ...Stdlib__Lexi
002f3550 6e 67 2e 73 75 62 5f 6c 65 78 65 6d 65 00 00 00 ng.sub_lexeme...
002f3560 55 ff ff ff 53 75 62 73 74 2e 73 68 61 72 70 5f U...Subst.sharp_
002f3570 69 6e 73 69 64 65 5f 6c 69 73 74 00 f7 fe ff ff inside_list.....
002f3580 53 61 76 65 55 74 69 6c 73 2e 73 74 61 72 74 5f SaveUtils.start_
002f3590 65 63 68 6f 00 00 00 00 e8 fe ff ff 4c 61 74 65 echo........Late
002f35a0 78 6d 61 63 72 6f 73 2e 67 65 74 5f 73 61 76 65 xmacros.get_save
002f35b0 64 5f 6d 61 63 72 6f 00 10 ff ff ff 4c 65 78 73 d_macro.....Lexs
002f35c0 74 61 74 65 2e 73 61 76 65 5f 6f 70 74 00 00 00 tate.save_opt...
002f35d0 e5 fe ff ff 53 75 62 73 74 2e 64 6f 5f 64 6f 5f ....Subst.do_do_
002f35e0 73 75 62 73 74 5f 74 68 69 73 00 00 d3 fe ff ff subst_this......
002f35f0 53 75 62 73 74 2e 64 6f 5f 74 72 61 6e 73 6c 61 Subst.do_transla
002f3600 74 65 00 00 c4 fe ff ff 4c 65 78 73 74 61 74 65 te......Lexstate
002f3610 2e 70 72 65 72 72 5f 61 72 67 73 00 99 fe ff ff .prerr_args.....
002f3620 53 75 62 73 74 2e 73 75 62 73 74 5f 62 6f 64 79 Subst.subst_body
002f3630 00 00 00 00 65 fe ff ff 53 74 64 6c 69 62 5f 5f ....e...Stdlib__
002f3640 42 79 74 65 73 2e 73 75 62 5f 73 74 72 69 6e 67 Bytes.sub_string
002f3650 00 00 00 00 61 fe ff ff 53 75 62 73 74 2e 64 6f ....a...Subst.do
002f3660 5f 73 75 62 73 74 5f 74 68 69 73 5f 6c 69 73 74 _subst_this_list
002f3670 00 00 00 00 41 fe ff ff 53 75 62 73 74 2e 5f 5f ....A...Subst.__
002f3680 6f 63 61 6d 6c 5f 6c 65 78 5f 64 6f 5f 74 72 61 ocaml_lex_do_tra
002f3690 6e 73 6c 61 74 65 5f 72 65 63 2e 28 66 75 6e 29 nslate_rec.(fun)
002f36a0 00 00 00 00 11 fe ff ff 53 75 62 73 74 2e 74 72 ........Subst.tr
002f36b0 61 6e 73 6c 61 74 65 00 d7 fd ff ff 53 74 64 6c anslate.....Stdl
002f36c0 69 62 5f 5f 50 72 69 6e 74 66 2e 65 70 72 69 6e ib__Printf.eprin
002f36d0 74 66 00 00 d8 fd ff ff 44 6f 4f 75 74 2e 4d 61 tf......DoOut.Ma
002f36e0 6b 65 2e 63 72 65 61 74 65 5f 62 75 66 66 00 00 ke.create_buff..
002f36f0 cf fd ff ff 53 75 62 73 74 2e 5f 5f 6f 63 61 6d ....Subst.__ocam
002f3700 6c 5f 6c 65 78 5f 73 75 62 73 74 5f 72 65 63 00 l_lex_subst_rec.
002f3710 a5 fd ff ff 53 75 62 73 74 2e 5f 5f 6f 63 61 6d ....Subst.__ocam
002f3720 6c 5f 6c 65 78 5f 73 75 62 73 74 5f 72 65 63 00 l_lex_subst_rec.
002f3730 85 fd ff ff 53 75 62 73 74 2e 64 6f 5f 64 6f 5f ....Subst.do_do_
002f3740 73 75 62 73 74 5f 74 68 69 73 5f 6c 69 73 74 00 subst_this_list.
002f3750 65 fd ff ff 53 75 62 73 74 2e 73 75 62 73 74 5f e...Subst.subst_
002f3760 61 72 67 00 06 fd ff ff 53 61 76 65 72 2e 4d 61 arg.....Saver.Ma
002f3770 6b 65 2e 61 72 67 00 00 3d fd ff ff 53 75 62 73 ke.arg..=...Subs
002f3780 74 2e 73 75 62 73 74 5f 65 78 70 6e 5f 61 72 67 t.subst_expn_arg
002f3790 00 00 00 00 2b fd ff ff 53 75 62 73 74 2e 5f 5f ....+...Subst.__
002f37a0 6f 63 61 6d 6c 5f 6c 65 78 5f 64 6f 5f 74 72 61 ocaml_lex_do_tra
002f37b0 6e 73 6c 61 nsla
002f37b4
002f37b4 SwitchTable
002f37b4 0x6365 0xff7 0xf6dc0 0x7 0x15f100 0xbf7 0x15f270 0x5
002f37f4 0xbf7 0x15f350 0x5 0xbf7 0x15f3d0 0x5 0xff7 0xf7020
002f3834 0x7 0x15f430 0xff7 0xf7020 0x7 0x15f3f0 0xff7 0xf7020
002f3874 0x7 0x15f4a0 0xff7 0xf7020 0x7 0x15f460 0xff7 0xf7020
002f38b4 0x7 0x15f810 0xff7 0xf7020 0x7 0x15f4b0 0xbf7 0x15fb60
002f38f4 0x5 0xbf7 0x15f980 0x5 0xff7 0xf7020 0x7 0x15fca0
002f3934 0xbf7 0x160070 0x5 0xbf7 0x15fef0 0x5 0xbf7 0x1603f0
002f3974 0x5 0xbf7 0x160250 0x5 0xbf7 0x1600b0 0x5 0xff7
002f39b4 0xf7020 0x7 0x160660 0xbf7 0x160630 0x5 0xff7 0xf7020
002f39f4 0x7 0x160690 0xff7 0xf68c0 0x7 0x1606d0 0xbf7 0x161990
002f3a34 0x5 0xbf7 0x1617b0 0x5 0xbf7 0x161720 0x5 0xbf7
002f3a74 0x161680 0x5 0xbf7 0x1615b0 0x5 0xbf7 0x161440 0x5
002f3ab4 0xbf7 0x1612c0 0x5 0xbf7 0x161210 0x5 0xbf7 0x161170
002f3af4 0x5 0xbf7 0x161110 0x5 0xbf7 0x160fd0 0x5 0xbf7
002f3b34 0x160f20 0x5 0xbf7 0x160e30 0x5 0xbf7 0x160d40 0x5
002f3b74 0xbf7 0x160ca0 0x5 0xbf7 0x160bc0 0x5 0xbf7 0x160b00
002f3bb4 0x5 0xbf7 0x1609f0 0x5 0xbf7 0x1608a0 0x5 0xbf7
002f3bf4 0x1607e0 0x5 0xbf7 0x161c30 0x5 0xff7 0xf7020 0x7
002f3c34 0x161c10 0xff7 0xf6f30 0x7 0x161c50 0xbf7 0x161da0 0x5
002f3c74 0xbf7 0x161dd0 0x5 0xbf7 0x161e00 0x5 0xbf7 0x161e30
002f3cb4 0x5 0xff7 0xf68c0 0x7 0x161ec0 0xbf7 0x15ef50 0x5
002f3cf4 0xbf7 0x15efa0 0x5 0xff7 0xf6dc0 0x7 0x15f020 0x1ab00
002f3d34 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002f3d74 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002f3db4 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002f3df4 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002f3e34 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002f3e74 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002f3eb4 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002f3ef4 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002f3f34 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002f3f74 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002f3fb4 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002f3ff4 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002f4034 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002f4074 0x1 0x1 0x2f3d38
002f408c
002f408c 00 00 00 00 ....
002f4090 00 00 00 00 ....
002f4094
002f4094 SwitchTable
002f4094 0x700 0x1 0x17fc
002f40ac
002f40ac 00 00 00 00 ....
002f40b0
002f40b0 string "Bad character in unicode entity: ",0
002f40d2
002f40d2 00 00 00 00 00 06 fc 0f 00 00 00 00 00 00 ..............
002f40e0
002f40e0 ; OutUnicode.Failed ← 0x161f8b
002f40e0 4f 75 74 55 6e 69 63 6f 64 65 2e 46 OutUnicode.F
002f40ec
002f40ec SwitchTable
002f40ec 0x64 0xb00 0x2f4200 0x2f4118 0x7fc
002f4100
002f4100 PointerTable ← camlLatexscan.translate_put_unicode_1519 camlLatexscan.put_unicode_default_2193 camlOutUnicode.show_271
002f4100 0x2f4200 0x2f4118
002f4114
002f4114 00 00 00 00 ....
002f4118
002f4118 ; U+%04X
002f4118 55 2b 25 30 U+%0
002f411c
002f411c SwitchTable
002f411c 0xb00
002f4124
002f4124 00 00 00 00 ....
002f4128
002f4128 PointerTable ← camlOutUnicode.html_put_949
002f4128 0x2f4150 0x2f4140
002f4138
002f4138 fc 07 00 00 00 00 00 00 ........
002f4140
002f4140 ; &#X%X;
002f4140 26 23 58 25 &#X%
002f4144
002f4144 SwitchTable
002f4144 0xb0b 0x2f41a8 0x2f4168 0x1304 0x11 0x1 0x1 0x2f4190
002f4184 0xb0c 0x77 0x1 0x7fc
002f4150
002f4150 PointerTable
002f4150 0x2f41a8 0x2f4168
002f41a4
002f41a4 00 00 00 00 ....
002f41a8
002f41a8 string "&#X",0
002f41ac
002f41ac 00 00 00 04 ....
002f41b0 fc 07 00 00 00 00 00 00 ........
002f41b8
002f41b8 string "&",0 ← 0x161cd4
002f41be
002f41be 00 02 ..
002f41c0 fc 07 00 00 00 00 00 00 ........
002f41c8
002f41c8 string ">",0 ← 0x161cac
002f41cd
002f41cd 00 00 03 ...
002f41d0 fc 07 00 00 00 00 00 00 ........
002f41d8
002f41d8 string "<" ← 0x161c99
002f41dc
002f41dc SwitchTable
002f41dc 0xb00
002f41e4
002f41e4 00 00 00 00 ....
002f41e8
002f41e8 PointerTable ← camlOutUnicode.open_mapping_785
002f41e8 0x2f4248 0x2f4218
002f41f8
002f41f8 0b 0b 00 00 00 00 00 00 ........
002f4200
002f4200 PointerTable
002f4200 0x2f45d8 0x2f4340
002f4210
002f4210 fc 17 00 00 00 00 00 00 ........
002f4218
002f4218 ; Error '%s' while opening mapping: %s
002f4218 45 72 72 6f 72 20 27 25 Error '%
002f4220 73 27 20 77 68 69 6c 65 20 6f 70 65 6e 69 6e 67 s' while opening
002f4230 20 6d 61 70 70 69 6e 67 3a 20 25 73 mapping: %s
002f423c
002f423c SwitchTable
002f423c 0xb0b 0x2f4450 0x2f4260 0xb02 0x1 0x2f4278 0xb0b 0x2f4290
002f427c 0x2f43f8 0x13fc
002f4248
002f4248 PointerTable
002f4248 0x2f4450 0x2f4260
002f4278
002f4278 PointerTable
002f4278 0x2f4290 0x2f43f8 0x13fc
002f4290
002f4290 ; ' while opening mapping:
002f4290 27 20 77 68 69 6c 65 20 6f 70 65 6e 69 6e 67 20 ' while opening
002f42a0 6d 61 70 70 mapp
002f42a4
002f42a4 SwitchTable
002f42a4 0x20 0xb00 0x2f42f8 0x2f42d0 0x13fc
002f42b8
002f42b8 PointerTable ← camlOutUnicode.open_mapping_785
002f42b8 0x2f42f8 0x2f42d0 0x13fc
002f42d0
002f42d0 string "Cannot find mapping: %s\n",0
002f42e9
002f42e9 00 00 00 ...
002f42ec
002f42ec SwitchTable
002f42ec 0xb0b 0x2f4310 0x2f43f8 0xffc
002f42f8
002f42f8 PointerTable
002f42f8 0x2f4310 0x2f43f8
002f430c
002f430c 00 00 00 00 ....
002f4310
002f4310 string "Cannot find mapping: ",0
002f4326
002f4326 00 02 fc 07 00 00 00 00 00 00 ..........
002f4330
002f4330 ; Mapping ← 0x15fe2d 0x15ff9f 0x160019
002f4330 4d 61 70 70 Mapp
002f4334
002f4334 SwitchTable
002f4334 0x1304 0x11 0x2f4478 0x1 0x1 0xb00 0x2f43b0 0x2f4380
002f4374 0x17fc
002f4368
002f4368 PointerTable ← camlOutUnicode.read_mapping_714
002f4368 0x2f43b0 0x2f4380
002f437c
002f437c 00 00 00 00 ....
002f4380
002f4380 ; Error '%s' while loading mapping: %s
002f4380 45 72 72 6f 72 20 27 25 73 27 20 77 68 69 6c 65 Error '%s' while
002f4390 20 6c 6f 61 64 69 6e 67 20 6d 61 70 70 69 6e 67 loading mapping
002f43a0 3a 20 25 73 : %s
002f43a4
002f43a4 SwitchTable
002f43a4 0xb0b 0x2f4450 0x2f43c8 0xb02 0x1 0x2f43e0 0xb0b 0x2f4428
002f43e4 0x2f43f8 0xb02 0x1 0x2f4410 0xb0c 0x15 0x1 0x13fc
002f43b0
002f43b0 PointerTable
002f43b0 0x2f4450 0x2f43c8
002f43e0
002f43e0 PointerTable
002f43e0 0x2f4428 0x2f43f8
002f4424
002f4424 00 00 00 00 ....
002f4428
002f4428 string "' while loading mapping: ",0
002f4442
002f4442 00 00 00 00 00 06 fc 07 00 00 00 00 00 00 ..............
002f4450
002f4450 string "Error '",0
002f4458
002f4458 SwitchTable
002f4458 0xb00 0x2f44a0 0x2f4490 0xb00 0x5 0x9 0x7fc
002f4460
002f4460 PointerTable ← camlOutUnicode.read_mapping_714
002f4460 0x2f44a0 0x2f4490
002f4490
002f4490 ; %i %i
002f4490 20 25 69 20 %i
002f4494
002f4494 SwitchTable
002f4494 0xb0c 0x41 0x2f44b8 0x1304 0x7 0x1 0x1 0x2f44e0
002f44d4 0xb0c 0x41 0x2f44f8 0x1304 0x7 0x1 0x1 0x1
002f4514 0x13fc
002f451c
002f451c 00 00 00 00 ....
002f4520
002f4520 string "OutUnicode.CannotTranslate",0 ← 0x16208c
002f453b
002f453b 00 00 00 00 05 .....
002f4540 fc 17 00 00 00 00 00 00 ........
002f4548
002f4548 ; Cannot parse unicode entity: empty ← 0x15f2c0
002f4548 43 61 6e 6e 6f 74 20 70 Cannot p
002f4550 61 72 73 65 20 75 6e 69 63 6f 64 65 20 65 6e 74 arse unicode ent
002f4560 69 74 79 3a ity:
002f4564
002f4564 SwitchTable
002f4564 0x7974 0xb00 0x2f45c0 0x2f4590 0x17fc
002f4578
002f4578 PointerTable ← camlOutUnicode.bad_char_311
002f4578 0x2f45c0 0x2f4590
002f458c
002f458c 00 00 00 00 ....
002f4590
002f4590 string "Bad character in unicode entity: %c",0
002f45b4
002f45b4 SwitchTable
002f45b4 0xb0b 0x2f40b0 0x2f40a0 0x7fc 0x2b55
002f45c0
002f45c0 PointerTable
002f45c0 0x2f40b0 0x2f40a0
002f45dc
002f45dc 00 00 00 05 ....
002f45e0 00 00 00 00 00 00 00 00 00 00 00 00 ............
002f45ec
002f45ec SwitchTable
002f45ec 0x62 0x162789 0x90 0x1621be 0x92
002f4614
002f4614 02 00 00 00 ....
002f4618
002f4618 SwitchTable
002f4618 0x162080 0x10092 0x161f7f 0x10092 0x161ef2
002f4640
002f4640 31 00 05 00 00 00 08 00 10 00 18 00 20 00 00 00 1........... ...
002f4650 c8 09 00 00 00 00 00 00 60 1d 16 00 00 00 00 00 ........`.......
002f4660 21 00 01 00 08 00 00 00 90 08 00 00 00 00 00 00 !...............
002f4670 54 1d 16 00 00 00 00 00 21 00 02 00 00 00 08 00 T.......!.......
002f4680 78 08 00 00 00 00 00 00 24 1d 16 00 00 00 00 00 x.......$.......
002f4690 31 00 02 00 10 00 18 00 d8 07 00 00 00 00 00 00 1...............
002f46a0 17 1d 16 00 00 00 00 00 31 00 03 00 10 00 18 00 ........1.......
002f46b0 20 00 00 00 44 09 00 00 8a 1d 16 00 00 00 00 00 ...D...........
002f46c0 22 00 03 00 03 00 05 00 07 00 00 00 00 00 00 00 "...............
002f46d0 90 07 16 00 00 00 00 00 29 00 02 00 00 00 18 00 ........).......
002f46e0 78 09 00 00 00 00 00 00 7d 07 16 00 00 00 00 00 x.......}.......
002f46f0 29 00 03 00 08 00 10 00 18 00 00 00 ac 07 00 00 )...............
002f4700 3d 07 16 00 00 00 00 00 39 00 04 00 10 00 18 00 =.......9.......
002f4710 20 00 28 00 2c 09 00 00 33 07 16 00 00 00 00 00 .(.,...3.......
002f4720 39 00 04 00 10 00 18 00 20 00 28 00 dc 07 00 00 9....... .(.....
002f4730 24 07 16 00 00 00 00 00 39 00 04 00 10 00 18 00 $.......9.......
002f4740 20 00 28 00 64 08 00 00 be 07 16 00 00 00 00 00 .(.d...........
002f4750 2a 00 08 00 00 00 01 00 03 00 05 00 08 00 0b 00 *...............
002f4760 10 00 18 00 00 00 00 00 c9 06 16 00 00 00 00 00 ................
002f4770 0a 00 02 00 01 00 05 00 00 00 00 00 00 00 00 00 ................
002f4780 80 06 16 00 00 00 00 00 0a 00 02 00 01 00 03 00 ................
002f4790 00 00 00 00 00 00 00 00 50 06 16 00 00 00 00 00 ........P.......
002f47a0 0a 00 01 00 01 00 00 00 ee 05 16 00 00 00 00 00 ................
002f47b0 19 00 00 00 84 08 00 00 ........
002f47b8
002f47b8 SwitchTable
002f47b8 0x1605c5 0x10019 0x6f8 0x1605bc 0x10019 0x780 0x1605ae
002f47f0
002f47f0 19 00 01 00 08 00 00 00 ........
002f47f8
002f47f8 SwitchTable
002f47f8 0x670 0x16059d 0x10019 0x7c8 0x16041a 0x10019 0x798 0x1603b5
002f4838
002f4838 19 00 00 00 9c 06 00 00 ........
002f4840
002f4840 SwitchTable
002f4840 0x1603ac 0x10019 0x7e0 0x16039e
002f4860
002f4860 19 00 01 00 08 00 00 00 ........
002f4868
002f4868 SwitchTable
002f4868 0x6f0 0x16038d 0x10019 0x720 0x16027a 0x10019 0x700 0x160215
002f48a8
002f48a8 19 00 00 00 44 06 00 00 ....D...
002f48b0
002f48b0 SwitchTable
002f48b0 0x16020c 0x10019 0x690 0x1601fe
002f48d0
002f48d0 19 00 01 00 08 00 00 00 ........
002f48d8
002f48d8 SwitchTable
002f48d8 0x6b8 0x1601ed 0x10019 0x598 0x1600da 0x10019 0x558 0x160090
002f4918 0x18 0x16004e
002f4928
002f4928 1a 00 00 00 01 01 00 00 ........
002f4930 f7 ff 15 00 00 00 00 00 19 00 00 00 cc 06 00 00 ................
002f4940 f2 ff 15 00 00 00 00 00 19 00 00 00 6c 06 00 00 ............l...
002f4950 e1 ff 15 00 00 00 00 00 19 00 02 00 00 00 08 00 ................
002f4960 58 06 00 00 00 00 00 00 55 00 16 00 00 00 00 00 X.......U.......
002f4970 1a 00 00 00 01 01 00 00 79 ff 15 00 00 00 00 00 ........y.......
002f4980 19 00 00 00 8c 06 00 00 74 ff 15 00 00 00 00 00 ........t.......
002f4990 19 00 00 00 4c 05 00 00 ....L...
002f4998
002f4998 SwitchTable
002f4998 0x15ff68 0x10019 0x538 0x15ff34
002f49b8
002f49b8 29 00 01 00 10 00 00 00 ).......
002f49c0 08 05 00 00 00 00 00 00 20 ff 15 00 00 00 00 00 ........ .......
002f49d0 29 00 01 00 10 00 00 00 50 06 00 00 00 00 00 00 ).......P.......
002f49e0 e4 fe 15 00 00 00 00 00 0a 00 03 00 01 00 03 00 ................
002f49f0 05 00 02 01 01 00 00 00 62 fe 15 00 00 00 00 00 ........b.......
002f4a00 2a 00 00 00 01 01 00 00 0b fe 15 00 00 00 00 00 *...............
002f4a10 29 00 00 00 24 05 00 00 06 fe 15 00 00 00 00 00 )...$...........
002f4a20 29 00 00 00 fc 05 00 00 f5 fd 15 00 00 00 00 00 )...............
002f4a30 29 00 02 00 00 00 08 00 e8 05 00 00 00 00 00 00 )...............
002f4a40 98 fd 15 00 00 00 00 00 39 00 03 00 10 00 18 00 ........9.......
002f4a50 20 00 00 00 dc 04 00 00 8b fd 15 00 00 00 00 00 ...............
002f4a60 39 00 04 00 10 00 18 00 20 00 28 00 dc 04 00 00 9....... .(.....
002f4a70 69 fe 15 00 00 00 00 00 3a 00 03 00 10 00 18 00 i.......:.......
002f4a80 20 00 01 03 00 00 00 00 0c fd 15 00 00 00 00 00 ...............
002f4a90 29 00 02 00 00 00 10 00 e8 04 00 00 00 00 00 00 )...............
002f4aa0 73 fe 15 00 00 00 00 00 2a 00 02 00 00 00 05 00 s.......*.......
002f4ab0
002f4ab0 SwitchTable
002f4ab0 0x2 0x15fc2c 0x1001a 0x15fbe1
002f4ad0
002f4ad0 19 00 01 00 08 00 00 00 f8 03 00 00 00 00 00 00 ................
002f4ae0 33 fc 15 00 00 00 00 00 1a 00 03 00 00 00 01 00 3...............
002f4af0 08 00 01 03 ....
002f4af4
002f4af4 SwitchTable
002f4af4 0x15fb90 0x10019 0x460 0x15fb00 0x21
002f4b1c
002f4b1c 64 03 00 00 d...
002f4b20 f6 fa 15 00 00 00 00 00 21 00 01 00 10 00 00 00 ........!.......
002f4b30 48 04 00 00 00 00 00 00 90 fa 15 00 00 00 00 00 H...............
002f4b40 19 00 02 00 00 00 08 00 ........
002f4b48
002f4b48 SwitchTable
002f4b48 0x348 0x15fa51 0x1001a 0x15fa06
002f4b68
002f4b68 19 00 01 00 08 00 00 00 ........
002f4b70 78 03 00 00 00 00 00 00 58 fa 15 00 00 00 00 00 x.......X.......
002f4b80 1a 00 03 00 00 00 01 00 08 00 01 03 ............
002f4b8c
002f4b8c SwitchTable
002f4b8c 0x15f9b5 0x10018 0x15f952 0x10019
002f4bac
002f4bac 08 00 00 00 ....
002f4bb0 40 04 00 00 00 00 00 00 3f f9 15 00 00 00 00 00 @.......?.......
002f4bc0 19 00 02 00 00 00 08 00 f0 02 00 00 00 00 00 00 ................
002f4bd0 35 f9 15 00 00 00 00 00 19 00 02 00 00 00 08 00 5...............
002f4be0 00 04 00 00 00 00 00 00 1a f9 15 00 00 00 00 00 ................
002f4bf0 19 00 02 00 00 00 08 00 78 03 00 00 00 00 00 00 ........x.......
002f4c00 10 f9 15 00 00 00 00 00 19 00 02 00 00 00 08 00 ................
002f4c10 f0 02 00 00 00 00 00 00 f5 f8 15 00 00 00 00 00 ................
002f4c20 19 00 02 00 00 00 08 00 78 02 00 00 00 00 00 00 ........x.......
002f4c30 eb f8 15 00 00 00 00 00 19 00 02 00 00 00 08 00 ................
002f4c40 e0 02 00 00 00 00 00 00 bb f8 15 00 00 00 00 00 ................
002f4c50 19 00 02 00 00 00 08 00 a8 03 00 00 00 00 00 00 ................
002f4c60 9b f8 15 00 00 00 00 00 19 00 02 00 00 00 08 00 ................
002f4c70 b8 02 00 00 00 00 00 00 64 f8 15 00 00 00 00 00 ........d.......
002f4c80 19 00 02 00 00 00 08 00 60 03 00 00 00 00 00 00 ........`.......
002f4c90 65 f9 15 00 00 00 00 00 1a 00 02 00 01 00 03 00 e...............
002f4ca0 00 00 00 00 00 00 00 00 86 f7 15 00 00 00 00 00 ................
002f4cb0 29 00 01 00 10 00 00 00 e0 01 00 00 00 00 00 00 )...............
002f4cc0 7f f6 15 00 00 00 00 00 29 00 02 00 00 00 10 00 ........).......
002f4cd0 70 02 00 00 00 00 00 00 6c f6 15 00 00 00 00 00 p.......l.......
002f4ce0 29 00 02 00 08 00 10 00 30 02 00 00 00 00 00 00 ).......0.......
002f4cf0 3b f5 15 00 00 00 00 00 29 00 03 00 00 00 10 00 ;.......).......
002f4d00 18 00 00 00 cc 02 00 00 28 f5 15 00 00 00 00 00 ........(.......
002f4d10 29 00 03 00 08 00 10 00 18 00 00 00 94 01 00 00 )...............
002f4d20 14 f5 15 00 00 00 00 00 29 00 02 00 08 00 10 00 ........).......
002f4d30 98 02 00 00 00 00 00 00 91 f4 15 00 00 00 00 00 ................
002f4d40 0a 00 02 00 01 00 03 00 00 00 00 00 00 00 00 00 ................
002f4d50 21 f4 15 00 00 00 00 00 0a 00 02 00 01 00 03 00 !...............
002f4d60 00 00 00 00 00 00 00 00 9f f3 15 00 00 00 00 00 ................
002f4d70 09 00 00 00 dc 02 00 00 74 f3 15 00 00 00 00 00 ........t.......
002f4d80 19 00 00 00 f4 00 00 00 3a f3 15 00 00 00 00 00 ........:.......
002f4d90 0a 00 00 00 01 01 00 00 e8 f1 15 00 00 00 00 00 ................
002f4da0 29 00 04 00 00 00 08 00 10 00 18 00 ac 00 00 00 )...............
002f4db0 4d f2 15 00 00 00 00 00 2a 00 04 00 01 00 03 00 M.......*.......
002f4dc0 05 00 07 00 00 00 00 00 97 f0 15 00 00 00 00 00 ................
002f4dd0 29 00 04 00 00 00 08 00 10 00 18 00 34 01 00 00 )...........4...
002f4de0 d9 f0 15 00 00 00 00 00 2a 00 04 00 01 00 03 00 ........*.......
002f4df0
002f4df0 SwitchTable
002f4df0 0x70005 0x15f00d 0x10012 0x15efce
002f4e10
002f4e10 11 00 00 00 34 02 00 00 ....4...
002f4e18
002f4e18 SwitchTable
002f4e18 0x15efc2 0x10011 0x220 0x15ef77 0x10011 0x170 0x15ef8c
002f4e20
002f4e20 PointerTable
002f4e20 0x10011 0x220
002f4e38
002f4e38 PointerTable
002f4e38 0x10011 0x170
002f4e50
002f4e50 12 00 01 00 01 00 00 00 ........
002f4e58
002f4e58 SwitchTable
002f4e58 0x44c 0x41c 0x23c 0x3d0 0x300 0x380 0x3f4 0x370
002f4e98 0x3c0 0x27c 0x414 0x3a8 0x264 0x1e4 0x364 0x45c
002f4ed8 0x430 0x27c 0x2f4 0x38c 0x348 0x21c 0x3b4 0x1f4
002f4f18 0x340 0x1fc 0x1f4
002f4f30
002f4f30 10 02 00 90 68 19 21 05 08 02 00 7c ....h.!....|
002f4f3c
002f4f3c SwitchTable
002f4f3c 0x318 0x3a4 0x32c 0x3b0 0x144 0x3c4 0x1ac 0x288
002f4f7c 0x22d 0x154 0x2ec 0x370 0x368 0x314 0x328
002f4fb4
002f4fb4 30 35 70 00 a4 01 00 30 05p....0
002f4fbc
002f4fbc SwitchTable
002f4fbc 0xe4 0x290 0x288 0xcc 0x13c 0x134 0x12c 0x8c
002f4ffc 0x11c
002f5004
002f5004 d0 11 20 04 54 01 00 7c a1 18 db 05 .. .T..|....
002f5010 4c 01 00 4c c8 19 b9 05 78 01 00 00 f8 c9 b8 1c L..L....x.......
002f5020 20 01 00 30 ..0
002f5024
002f5024 SwitchTable
002f5024 0x134 0x2d8 0x6c 0x27c 0x7c 0x128 0x264
002f505c
002f505c 90 20 40 08 . @.
002f5060
002f5060 string "stdlib.ml",0
002f506a
002f506a string "outUnicode.ml",0
002f5078
002f5078 string "scanf.ml",0
002f5081
002f5081 00 00 00 e6 ff ff ff 4f 75 74 55 6e 69 63 6f .......OutUnico
002f5090 64 65 2e 74 72 61 6e 73 6c 61 74 65 5f 6f 75 74 de.translate_out
002f50a0 00 00 00 00 c6 ff ff ff 4f 75 74 55 6e 69 63 6f ........OutUnico
002f50b0 64 65 2e 73 65 74 5f 74 72 61 6e 73 6c 61 74 6f de.set_translato
002f50c0 72 73 00 00 a6 ff ff ff 4f 75 74 55 6e 69 63 6f rs......OutUnico
002f50d0 64 65 2e 62 61 64 5f 63 68 61 72 00 9c ff ff ff de.bad_char.....
002f50e0 53 74 64 6c 69 62 5f 5f 53 63 61 6e 66 2e 53 63 Stdlib__Scanf.Sc
002f50f0 61 6e 6e 69 6e 67 2e 66 72 6f 6d 5f 63 68 61 6e anning.from_chan
002f5100 6e 65 6c 00 66 ff ff ff 4f 75 74 55 6e 69 63 6f nel.f...OutUnico
002f5110 64 65 2e 70 61 72 73 65 31 30 00 00 4e ff ff ff de.parse10..N...
002f5120 4f 75 74 55 6e 69 63 6f 64 65 2e 74 72 61 6e 73 OutUnicode.trans
002f5130 6c 61 74 65 5f 75 74 66 38 5f 6f 75 74 00 00 00 late_utf8_out...
002f5140 2a ff ff ff 4f 75 74 55 6e 69 63 6f 64 65 2e 72 *...OutUnicode.r
002f5150 65 61 64 5f 6d 61 70 70 69 6e 67 00 0e ff ff ff ead_mapping.....
002f5160 4f 75 74 55 6e 69 63 6f 64 65 2e 6f 70 65 6e 5f OutUnicode.open_
002f5170 6d 61 70 70 69 6e 67 00 f2 fe ff ff 4f 75 74 55 mapping.....OutU
002f5180 6e 69 63 6f 64 65 2e 70 61 72 73 65 00 00 00 00 nicode.parse....
002f5190 da fe ff ff 4f 75 74 55 6e 69 63 6f 64 65 2e 6f ....OutUnicode.o
002f51a0 6e 5f 65 6e 74 69 74 79 00 00 00 00 cc fe ff ff n_entity........
002f51b0 53 74 64 6c 69 62 5f 5f 53 63 61 6e 66 2e 53 63 Stdlib__Scanf.Sc
002f51c0 61 6e 6e 69 6e 67 2e 66 72 6f 6d 5f 69 63 5f 72 anning.from_ic_r
002f51d0 61 69 73 65 5f 61 74 5f 65 6e 64 00 8e fe ff ff aise_at_end.....
002f51e0 4f 75 74 55 6e 69 63 6f 64 65 2e 6d 61 6b 65 5f OutUnicode.make_
002f51f0 6f 75 74 5f 74 72 61 6e 73 6c 61 74 6f 72 00 00 out_translator..
002f5200 6a fe ff ff 4f 75 74 55 6e 69 63 6f 64 65 2e 6d j...OutUnicode.m
002f5210 61 6b 65 5f 6f 75 74 5f 74 72 61 6e 73 6c 61 74 ake_out_translat
002f5220 6f 72 2e 28 66 75 6e 29 00 00 00 00 34 fe ff ff or.(fun)....4...
002f5230 53 74 64 6c 69 62 2e 6f 70 65 6e 5f 69 6e 00 00 Stdlib.open_in..
002f5240 2a fe ff ff 4f 75 74 55 6e 69 63 6f 64 65 2e 68 *...OutUnicode.h
002f5250 74 6d 6c 5f 70 75 74 00 12 fe ff ff 4f 75 74 55 tml_put.....OutU
002f5260 6e 69 63 6f 64 65 2e 74 72 61 6e 73 6c 61 74 65 nicode.translate
002f5270 5f 75 74 66 38 5f 69 6e 00 00 00 00 ee fd ff ff _utf8_in........
002f5280 4f 75 74 55 6e 69 63 6f 64 65 2e 73 65 74 5f 6f OutUnicode.set_o
002f5290 75 74 70 75 74 5f 74 72 61 6e 73 6c 61 74 6f 72 utput_translator
002f52a0 00 00 00 00 c6 fd ff ff 4f 75 74 55 6e 69 63 6f ........OutUnico
002f52b0 64 65 2e 70 61 72 73 65 31 36 00 00 ae fd ff ff de.parse16......
002f52c0 4f 75 74 55 6e 69 63 6f 64 65 2e 61 70 70 6c 79 OutUnicode.apply
002f52d0 5f 61 63 63 65 6e 74 00 92 fd ff ff 4f 75 74 55 _accent.....OutU
002f52e0 6e 69 63 6f 64 65 2e 73 68 6f 77 00 8c fd ff ff nicode.show.....
002f52f0 53 74 64 6c 69 62 5f 5f 53 63 61 6e 66 2e 62 73 Stdlib__Scanf.bs
002f5300 63 61 6e 66 00 00 00 00 62 fd ff ff 4f 75 74 55 canf....b...OutU
002f5310 6e 69 63 6f 64 65 2e 73 65 74 5f 69 6e 70 75 74 nicode.set_input
002f5320 5f 74 72 61 6e 73 6c 61 74 6f 72 00 3e fd ff ff _translator.>...
002f5330 4f 75 74 55 6e 69 63 6f 64 65 2e 6d 61 6b 65 5f OutUnicode.make_
002f5340 69 6e 5f 74 72 61 6e 73 6c 61 74 6f 72 00 00 00 in_translator...
002f5350
002f5350 SwitchTable uint64_t
002f5350 0xbf7 0x163d50 0x5 0xff7 0xf7080 0x7 0x165740 0xff7
002f5390 0xf7080 0x7 0x1656e0 0xbf7 0x165430 0x5 0xbf7 0x165140
002f53d0 0x5 0xbf7 0x165010 0x5 0xbf7 0x164ee0 0x5 0xbf7
002f5410 0x163ce0 0x5 0xbf7 0x163dd0 0x5 0xff7 0xf7080 0x7
002f5450 0x1646c0 0xbf7 0x164940 0x5 0xbf7 0x164890 0x5 0xbf7
002f5490 0x164840 0x5 0xbf7 0x1653f0 0x5 0xbf7 0x165200 0x5
002f54d0 0xbf7 0x165100 0x5 0xbf7 0x164fd0 0x5 0xbf7 0x164ea0
002f5510 0x5 0xbf7 0x164e20 0x5 0xbf7 0x164cf0 0x5 0xbf7
002f5550 0x164ce0 0x5 0xbf7 0x164cd0 0x5 0xbf7 0x163920 0x5
002f5590 0xbf7 0x163a20 0x5 0xbf7 0x1639e0 0x5 0xbf7 0x1639d0
002f55d0 0x5 0xbf7 0x1639c0 0x5 0xff7 0xf7020 0x7 0x163980
002f5610 0xbf7 0x163940 0x5 0xff7 0xf70f0 0x7 0x163ae0 0xbf7
002f5650 0x163a60 0x5 0xbf7 0x163b90 0x5 0xbf7 0x163c50 0x5
002f5690 0xbf7 0x163d60 0x5 0xff7 0xf7020 0x7 0x163e40 0x37f7
002f56d0 0x162f30 0x1b 0xcf9 0xf7020 0x15 0x162f50 0x1cf9 0x163780
002f5710 0xd 0x28f9 0xf7020 0x7 0x1637a0 0xff7 0xf68c0 0x7
002f5750 0x1645a0 0xff7 0xf7020 0x7 0x164680 0xbf7 0x1646b0 0x5
002f5790 0xbf7 0x164770 0x5 0xbf7 0x1649a0 0x5 0xbf7 0x165750
002f57d0 0x5 0xff7 0xf7020 0x7 0x165770 0xbf7 0x165a40 0x5
002f5810 0xbf7 0x165a60 0x5 0xbf7 0x165a80 0x5 0xbf7 0x165ce0
002f5850 0x5 0x9700 0x1 0x1 0x1 0x1 0x1 0x1
002f5890 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002f58d0 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002f5910 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002f5950 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x2f5860