--- /srv/rebuilderd/tmp/rebuilderdf4kiu1/inputs/libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_riscv64.deb +++ /srv/rebuilderd/tmp/rebuilderdf4kiu1/out/libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_riscv64.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2025-12-28 00:29:25.000000 debian-binary │ --rw-r--r-- 0 0 0 70368 2025-12-28 00:29:25.000000 control.tar.xz │ --rw-r--r-- 0 0 0 56866256 2025-12-28 00:29:25.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 70364 2025-12-28 00:29:25.000000 control.tar.xz │ +-rw-r--r-- 0 0 0 56867136 2025-12-28 00:29:25.000000 data.tar.xz ├── control.tar.xz │ ├── control.tar │ │ ├── ./md5sums │ │ │ ├── ./md5sums │ │ │ │┄ Files differ ├── data.tar.xz │ ├── data.tar │ │ ├── file list │ │ │ @@ -263,15 +263,15 @@ │ │ │ -rw-r--r-- 0 root (0) root (0) 33603 2025-12-28 00:29:25.000000 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq-core/clib/polyMap.cmt │ │ │ -rw-r--r-- 0 root (0) root (0) 16558 2025-12-28 00:29:25.000000 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq-core/clib/polyMap.cmti │ │ │ -rw-r--r-- 0 root (0) root (0) 1388 2025-12-28 00:29:25.000000 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq-core/clib/polyMap.cmx │ │ │ -rw-r--r-- 0 root (0) root (0) 2367 2025-12-28 00:29:25.000000 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq-core/clib/polyMap.ml │ │ │ -rw-r--r-- 0 root (0) root (0) 1740 2025-12-28 00:29:25.000000 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq-core/clib/polyMap.mli │ │ │ -rw-r--r-- 0 root (0) root (0) 3615 2025-12-28 00:29:25.000000 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq-core/clib/predicate.cmi │ │ │ -rw-r--r-- 0 root (0) root (0) 52065 2025-12-28 00:29:25.000000 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq-core/clib/predicate.cmt │ │ │ --rw-r--r-- 0 root (0) root (0) 21516 2025-12-28 00:29:25.000000 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq-core/clib/predicate.cmti │ │ │ +-rw-r--r-- 0 root (0) root (0) 21507 2025-12-28 00:29:25.000000 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq-core/clib/predicate.cmti │ │ │ -rw-r--r-- 0 root (0) root (0) 2006 2025-12-28 00:29:25.000000 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq-core/clib/predicate.cmx │ │ │ -rw-r--r-- 0 root (0) root (0) 3830 2025-12-28 00:29:25.000000 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq-core/clib/predicate.ml │ │ │ -rw-r--r-- 0 root (0) root (0) 2744 2025-12-28 00:29:25.000000 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq-core/clib/predicate.mli │ │ │ -rw-r--r-- 0 root (0) root (0) 1555 2025-12-28 00:29:25.000000 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq-core/clib/range.cmi │ │ │ -rw-r--r-- 0 root (0) root (0) 38650 2025-12-28 00:29:25.000000 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq-core/clib/range.cmt │ │ │ -rw-r--r-- 0 root (0) root (0) 10786 2025-12-28 00:29:25.000000 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq-core/clib/range.cmti │ │ │ -rw-r--r-- 0 root (0) root (0) 1277 2025-12-28 00:29:25.000000 ./usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq-core/clib/range.cmx │ │ ├── ./usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq-core/clib/predicate.cmti │ │ │┄ Command `'ocamlobjinfo {}'` failed with exit code 2. Standard output: │ │ │┄ File /srv/rebuilderd/tmp/diffoscope_bareu873_out/tmpgaiu1z2j_DebTarContainer/0/269.cmti │ │ │┄ […] │ │ │ @@ -221,15 +221,15 @@ │ │ │ 00000dc0: 2653 7464 6c69 6290 308d 797b dbce 78b0 &Stdlib.0.y{..x. │ │ │ 00000dd0: 2196 f512 4ffd f821 f4a0 a038 4361 6d6c !...O..!...8Caml │ │ │ 00000de0: 696e 7465 726e 616c 466f 726d 6174 4261 internalFormatBa │ │ │ 00000df0: 7369 6373 9030 d36f dcde 5aeb 0f32 74fc sics.0.o..Z..2t. │ │ │ 00000e00: de2c a4b1 0edd 4084 95a6 be00 0000 0400 .,....@......... │ │ │ 00000e10: 0000 0200 0000 0500 0000 05a0 9040 4043 .............@@C │ │ │ 00000e20: 616d 6c31 3939 3954 3033 3684 95a6 be00 aml1999T036..... │ │ │ -00000e30: 0045 cd00 000b 5400 002e f700 002c 9308 .E....T......,.. │ │ │ +00000e30: 0045 c400 000b 5100 002e ef00 002c 8c08 .E....Q......,.. │ │ │ 00000e40: 0000 4300 2950 7265 6469 6361 7465 92b0 ..C.)Predicate.. │ │ │ 00000e50: a0b0 9eb0 a02a 6f63 616d 6c2e 7465 7874 .....*ocaml.text │ │ │ 00000e60: b0c0 265f 6e6f 6e65 5f40 4000 ff04 0241 ..&_none_@@....A │ │ │ 00000e70: 90a0 a0a0 c091 a0b2 0975 2049 6e66 696e .........u Infin │ │ │ 00000e80: 6974 6520 7365 7473 206f 7665 7220 6120 ite sets over a │ │ │ 00000e90: 6368 6f73 656e 205b 4f72 6465 7265 6454 chosen [OrderedT │ │ │ 00000ea0: 7970 655d 2e0a 0a20 2020 2041 6c6c 206f ype]... All o │ │ │ @@ -237,1109 +237,1109 @@ │ │ │ 00000ec0: 6574 7320 6172 6520 7075 7265 6c79 2061 ets are purely a │ │ │ 00000ed0: 7070 6c69 6361 7469 7665 2028 6e6f 2073 pplicative (no s │ │ │ 00000ee0: 6964 652d 6566 6665 6374 7329 2e0a 20b0 ide-effects).. . │ │ │ 00000ef0: c032 636c 6962 2f70 7265 6469 6361 7465 .2clib/predicate │ │ │ 00000f00: 2e6d 6c69 4140 40c0 0402 4400 7700 7a40 .mliA@@...D.w.z@ │ │ │ 00000f10: 4004 0404 0440 4040 0404 4004 0408 0000 @....@@@..@..... │ │ │ 00000f20: 3300 a040 4004 0104 0104 0104 0104 0104 3..@@........... │ │ │ -00000f30: 0104 0140 abab a7b2 b2b2 b2b2 b2b2 b2b2 ...@............ │ │ │ -00000f40: b2b2 b2b2 b1b1 b1b1 b1b1 b1b1 b1b1 b1b1 ................ │ │ │ -00000f50: b1b1 b1b1 b1b1 b1b1 b140 a323 696e 7441 .........@.#intA │ │ │ -00000f60: 0800 003b 0040 4090 4041 4040 4040 4004 ...;.@@.@A@@@@@. │ │ │ -00000f70: 3b40 4140 9204 04a3 2463 6861 7242 0800 ;@A@....$charB.. │ │ │ -00000f80: 003b 0040 4004 0541 4040 4040 4004 3f40 .;.@@..A@@@@@.?@ │ │ │ -00000f90: 4140 9204 03a3 2673 7472 696e 6751 0800 A@....&stringQ.. │ │ │ -00000fa0: 003b 0040 4004 0941 4040 4040 4004 4340 .;.@@..A@@@@@.C@ │ │ │ -00000fb0: 4040 9204 03a3 2562 7974 6573 4308 0000 @@....%bytesC... │ │ │ -00000fc0: 3b00 4040 040d 4140 4040 4040 0447 4040 ;.@@..A@@@@@.G@@ │ │ │ -00000fd0: 4092 0403 a325 666c 6f61 7444 0800 003b @....%floatD...; │ │ │ -00000fe0: 0040 4004 1141 4040 4040 4004 4b40 4040 .@@..A@@@@@.K@@@ │ │ │ -00000ff0: 9204 03a3 2462 6f6f 6c45 0800 003b 0040 ....$boolE...;.@ │ │ │ -00001000: 40a2 a0e0 a325 6661 6c73 6563 9040 4004 @....%falsec.@@. │ │ │ -00001010: 5540 9204 03a0 e0a3 2474 7275 6564 9040 U@......$trued.@ │ │ │ -00001020: 4004 5b40 9204 0340 4041 4040 4040 4004 @.[@...@@A@@@@@. │ │ │ -00001030: 5c40 4140 9204 10a3 2475 6e69 7446 0800 \@A@....$unitF.. │ │ │ -00001040: 003b 0040 40a2 a0e0 a322 2829 6590 4040 .;.@@...."()e.@@ │ │ │ -00001050: 0466 4092 0403 4040 4140 4040 4040 0467 .f@...@@A@@@@@.g │ │ │ -00001060: 4041 4092 040a a323 6578 6e47 0800 003b @A@....#exnG...; │ │ │ -00001070: 0040 4040 4140 4040 4040 046b 4040 4092 .@@@A@@@@@.k@@@. │ │ │ -00001080: 0403 a323 6566 6648 0800 003b 00a0 c090 ...#effH...;.... │ │ │ -00001090: 4002 05f5 e100 404f 4041 4041 40a0 7f40 @.....@O@A@A@..@ │ │ │ -000010a0: a040 4040 4004 7440 4040 9204 08a3 2c63 .@@@@.t@@@....,c │ │ │ -000010b0: 6f6e 7469 6e75 6174 696f 6e49 0800 003b ontinuationI...; │ │ │ -000010c0: 00a0 c090 4002 05f5 e100 4051 a0c0 9040 ....@.....@Q...@ │ │ │ -000010d0: 0205 f5e1 0040 5040 4204 4441 40a0 6ea0 .....@P@B.DA@.n. │ │ │ -000010e0: 5940 a040 a040 4040 4004 8240 4040 9204 Y@.@.@@@@..@@@.. │ │ │ -000010f0: 0da3 2561 7272 6179 4a08 0000 3b00 a0c0 ..%arrayJ...;... │ │ │ -00001100: 9040 0205 f5e1 0040 5240 4104 4f41 40a0 .@.....@R@A.OA@. │ │ │ -00001110: 7f40 a040 4040 4004 8b40 4040 9204 08a3 .@.@@@@..@@@.... │ │ │ -00001120: 246c 6973 744b 0800 003b 00a0 c090 4002 $listK...;....@. │ │ │ -00001130: 05f5 e100 4053 4041 a2a0 e0a3 225b 5d66 ....@S@A...."[]f │ │ │ -00001140: 9040 4004 9840 9204 03a0 e0a3 223a 3a67 .@@..@......"::g │ │ │ -00001150: 90a0 040f a0c0 b390 0417 a004 1440 9040 .............@.@ │ │ │ -00001160: 0205 f5e1 0040 5440 4004 a540 9204 0a40 .....@T@@..@...@ │ │ │ -00001170: 4041 40a0 5940 a040 4040 4004 a840 4040 @A@.Y@.@@@@..@@@ │ │ │ -00001180: 9204 1ca3 266f 7074 696f 6e4c 0800 003b ....&optionL...; │ │ │ -00001190: 00a0 c090 4002 05f5 e100 4056 4041 a2a0 ....@.....@V@A.. │ │ │ -000011a0: e0a3 244e 6f6e 6568 9040 4004 b540 9204 ..$Noneh.@@..@.. │ │ │ -000011b0: 03a0 e0a3 2453 6f6d 6569 90a0 040f 4040 ....$Somei....@@ │ │ │ -000011c0: 04bc 4092 0404 4040 4140 a059 40a0 4040 ..@...@@A@.Y@.@@ │ │ │ -000011d0: 4040 04bf 4040 4092 0416 a329 6e61 7469 @@..@@@....)nati │ │ │ -000011e0: 7665 696e 744d 0800 003b 0040 4004 8941 veintM...;.@@..A │ │ │ -000011f0: 4040 4040 4004 c340 4040 9204 03a3 2569 @@@@@..@@@....%i │ │ │ -00001200: 6e74 3332 4e08 0000 3b00 4040 048d 4140 nt32N...;.@@..A@ │ │ │ -00001210: 4040 4040 04c7 4040 4092 0403 a325 696e @@@@..@@@....%in │ │ │ -00001220: 7436 344f 0800 003b 0040 4004 9141 4040 t64O...;.@@..A@@ │ │ │ -00001230: 4040 4004 cb40 4040 9204 03a3 266c 617a @@@..@@@....&laz │ │ │ -00001240: 795f 7450 0800 003b 00a0 c090 4002 05f5 y_tP...;....@... │ │ │ -00001250: e100 4058 4041 0498 4140 a059 40a0 4040 ..@X@A..A@.Y@.@@ │ │ │ -00001260: 4040 04d4 4040 4092 0408 a335 6578 7465 @@..@@@....5exte │ │ │ -00001270: 6e73 696f 6e5f 636f 6e73 7472 7563 746f nsion_constructo │ │ │ -00001280: 7252 0800 003b 0040 4004 9e41 4040 4040 rR...;.@@..A@@@@ │ │ │ -00001290: 4004 d840 4040 9204 03a3 2a66 6c6f 6174 @..@@@....*float │ │ │ -000012a0: 6172 7261 7953 0800 003b 0040 4004 a241 arrayS...;.@@..A │ │ │ -000012b0: 4040 4040 4004 dc40 4040 9204 03a3 2669 @@@@@..@@@....&i │ │ │ -000012c0: 6172 7261 7954 0800 003b 00a0 c090 4002 arrayT...;....@. │ │ │ -000012d0: 05f5 e100 4059 4041 04a9 4140 a059 40a0 ....@Y@A..A@.Y@. │ │ │ -000012e0: 4040 4040 04e5 4040 4092 0408 a32a 6174 @@@@..@@@....*at │ │ │ -000012f0: 6f6d 6963 5f6c 6f63 5508 0000 3b00 a0c0 omic_locU...;... │ │ │ -00001300: 9040 0205 f5e1 0040 5a40 4104 b241 40a0 .@.....@Z@A..A@. │ │ │ -00001310: 7f40 a040 4040 4004 ee40 4040 9204 08a3 .@.@@@@..@@@.... │ │ │ -00001320: 2e41 7373 6572 745f 6661 696c 7572 6560 .Assert_failure` │ │ │ -00001330: 0800 0023 0090 048b 4090 a0c0 92a0 a040 ...#....@......@ │ │ │ -00001340: c0b3 9004 bc40 9040 0205 f5e1 0040 4aa0 .....@.@.....@J. │ │ │ -00001350: a040 c0b3 9004 cb40 9040 0205 f5e1 0040 .@.....@.@.....@ │ │ │ -00001360: 40a0 a040 0406 4002 05f5 e100 405b 4040 @..@..@.....@[@@ │ │ │ -00001370: 4105 0105 a0b0 a03d 6f63 616d 6c2e 7761 A......=ocaml.wa │ │ │ -00001380: 726e 5f6f 6e5f 6c69 7465 7261 6c5f 7061 rn_on_literal_pa │ │ │ -00001390: 7474 6572 6e05 0109 04cf 0501 0940 9204 ttern........@.. │ │ │ -000013a0: 1aa3 3044 6976 6973 696f 6e5f 6279 5f7a ..0Division_by_z │ │ │ -000013b0: 6572 6f5d 0800 0023 0004 1b40 9040 4041 ero]...#...@.@@A │ │ │ -000013c0: 0501 0ea0 b0a0 0409 0501 1104 d705 0111 ................ │ │ │ -000013d0: 4092 0407 a32b 456e 645f 6f66 5f66 696c @....+End_of_fil │ │ │ -000013e0: 655c 0800 0023 0004 2340 9040 4041 0501 e\...#..#@.@@A.. │ │ │ -000013f0: 16a0 b0a0 0411 0501 1904 df05 0119 4092 ..............@. │ │ │ -00001400: 0407 a327 4661 696c 7572 6559 0800 0023 ...'FailureY...# │ │ │ -00001410: 0004 2b40 90a0 0426 4040 4105 011f a0b0 ..+@...&@@A..... │ │ │ -00001420: a004 1a05 0122 04e8 0501 2240 9204 08a3 ....."...."@.... │ │ │ -00001430: 3049 6e76 616c 6964 5f61 7267 756d 656e 0Invalid_argumen │ │ │ -00001440: 7458 0800 0023 0004 3440 90a0 042f 4040 tX...#..4@.../@@ │ │ │ -00001450: 4105 0128 a0b0 a004 2305 012b 04f1 0501 A..(....#..+.... │ │ │ -00001460: 2b40 9204 08a3 2d4d 6174 6368 5f66 6169 +@....-Match_fai │ │ │ -00001470: 6c75 7265 5608 0000 2300 043d 4090 a0c0 lureV...#..=@... │ │ │ -00001480: 92a0 a040 043c a0a0 4004 38a0 a040 043a ...@.<..@.8..@.: │ │ │ -00001490: 4002 05f5 e100 4061 4040 4105 0139 a0b0 @.....@a@@A..9.. │ │ │ -000014a0: a004 3405 013c 0501 0205 013c 4092 0410 ..4..<.....<@... │ │ │ -000014b0: a329 4e6f 745f 666f 756e 645a 0800 0023 .)Not_foundZ...# │ │ │ -000014c0: 0004 4e40 9040 4041 0501 41a0 b0a0 043c ..N@.@@A..A....< │ │ │ -000014d0: 0501 4405 010a 0501 4440 9204 07a3 2d4f ..D.....D@....-O │ │ │ -000014e0: 7574 5f6f 665f 6d65 6d6f 7279 5708 0000 ut_of_memoryW... │ │ │ -000014f0: 2300 0456 4090 4040 4105 0149 a0b0 a004 #..V@.@@A..I.... │ │ │ -00001500: 4405 014c 0501 1205 014c 4092 0407 a32e D..L.....L@..... │ │ │ -00001510: 5374 6163 6b5f 6f76 6572 666c 6f77 5e08 Stack_overflow^. │ │ │ -00001520: 0000 2300 045e 4090 4040 4105 0151 a0b0 ..#..^@.@@A..Q.. │ │ │ -00001530: a004 4c05 0154 0501 1a05 0154 4092 0407 ..L..T.....T@... │ │ │ -00001540: a32e 5379 735f 626c 6f63 6b65 645f 696f ..Sys_blocked_io │ │ │ -00001550: 5f08 0000 2300 0466 4090 4040 4105 0159 _...#..f@.@@A..Y │ │ │ -00001560: a0b0 a004 5405 015c 0501 2205 015c 4092 ....T..\.."..\@. │ │ │ -00001570: 0407 a329 5379 735f 6572 726f 725b 0800 ...)Sys_error[.. │ │ │ -00001580: 0023 0004 6e40 90a0 0469 4040 4105 0162 .#..n@...i@@A..b │ │ │ -00001590: a0b0 a004 5d05 0165 0501 2b05 0165 4092 ....]..e..+..e@. │ │ │ -000015a0: 0408 a33a 556e 6465 6669 6e65 645f 7265 ...:Undefined_re │ │ │ -000015b0: 6375 7273 6976 655f 6d6f 6475 6c65 6108 cursive_modulea. │ │ │ -000015c0: 0000 2300 0477 4090 a0c0 92a0 a040 0476 ..#..w@......@.v │ │ │ -000015d0: a0a0 4004 72a0 a040 0474 4002 05f5 e100 ..@.r..@.t@..... │ │ │ -000015e0: 4068 4040 4105 0173 a0b0 a004 6e05 0176 @h@@A..s....n..v │ │ │ -000015f0: 0501 3c05 0176 4092 0410 a33a 436f 6e74 ..<..v@....:Cont │ │ │ -00001600: 696e 7561 7469 6f6e 5f61 6c72 6561 6479 inuation_already │ │ │ -00001610: 5f74 616b 656e 6208 0000 2300 0488 4090 _takenb...#...@. │ │ │ -00001620: 4040 4105 017b a0b0 a004 7605 017e 0501 @@A..{....v..~.. │ │ │ -00001630: 4405 017e 4092 0407 9092 2653 7464 6c69 D..~@.....&Stdli │ │ │ -00001640: 6292 2349 6e74 9226 4f70 7469 6f6e 4041 b.#Int.&Option@A │ │ │ -00001650: 0501 7aa0 b098 e0b1 2b4f 7264 6572 6564 ..z.....+Ordered │ │ │ -00001660: 5479 7065 0101 1442 a004 02b0 c005 0181 Type...B........ │ │ │ -00001670: 4701 00aa 0100 b6c0 0501 8247 0100 aa01 G..........G.... │ │ │ -00001680: 00c1 40b1 0501 9a42 4090 d091 b0a0 b0a1 ..@....B@....... │ │ │ -00001690: 41a0 0800 002b 00b1 2174 0101 1241 a004 A....+..!t...A.. │ │ │ -000016a0: 02b0 c005 0191 4901 00ca 0100 d3c0 0501 ......I......... │ │ │ -000016b0: 9249 0100 ca01 00d4 4040 0800 003b 0040 .I......@@...;.@ │ │ │ -000016c0: 4090 4041 4040 4040 40b0 c005 0196 4901 @.@A@@@@@.....I. │ │ │ -000016d0: 00ca 0100 ce04 0540 a0b0 a029 6f63 616d .......@...)ocam │ │ │ -000016e0: 6c2e 646f 6305 01a8 90a0 a0a0 c091 a0b2 l.doc........... │ │ │ -000016f0: 0954 2054 6865 2074 7970 6520 6f66 2074 .T The type of t │ │ │ -00001700: 6865 2065 6c65 6d65 6e74 7320 696e 2074 he elements in t │ │ │ -00001710: 6865 2073 6574 2e0a 0a20 2020 2020 2020 he set... │ │ │ -00001720: 2054 6865 2063 686f 7365 6e20 5b74 5d20 The chosen [t] │ │ │ -00001730: 7b62 206d 7573 7420 6265 2069 6e66 696e {b must be infin │ │ │ -00001740: 6974 657d 2e20 b0c0 0501 a54a 0100 d501 ite}. .....J.... │ │ │ -00001750: 00d9 c005 01a6 4c01 0103 0101 3240 4004 ......L.....2@@. │ │ │ -00001760: 0304 0340 4040 0403 4004 0340 4040 b105 ...@@@..@..@@@.. │ │ │ -00001770: 01be 4040 4040 4140 0413 a0b0 a004 1105 ..@@@@A@........ │ │ │ -00001780: 01b8 90a0 a0a0 c091 a0b2 0410 040f 4004 ..............@. │ │ │ -00001790: 0f04 0f40 4040 040f 4004 0f40 4008 0000 ...@@@..@..@@... │ │ │ -000017a0: 3300 0501 b005 01b0 0501 b005 01b0 0501 3............... │ │ │ -000017b0: b005 01b0 0501 b005 01b0 4005 01af 4041 ..........@...@A │ │ │ -000017c0: b004 1f04 2340 a0b0 90f0 a027 636f 6d70 ....#@.....'comp │ │ │ -000017d0: 6172 6501 0113 a004 02b0 c005 01bd 4e01 are...........N. │ │ │ -000017e0: 0134 0101 3cc0 0501 be4e 0101 3401 0143 .4..<....N..4..C │ │ │ -000017f0: 40d0 b140 d0b3 9004 37a0 9021 74b0 c005 @..@....7..!t... │ │ │ -00001800: 01c8 4e01 0134 0101 46c0 0501 c94e 0101 ..N..4..F....N.. │ │ │ -00001810: 3401 0147 4040 c0b3 0409 4090 4002 05f5 4..G@@....@.@... │ │ │ -00001820: e100 4001 059f 0800 0033 0005 01ca 0501 ..@......3...... │ │ │ -00001830: ca05 01ca 0501 ca05 01ca 0501 ca05 01ca ................ │ │ │ -00001840: 0501 ca40 b105 01ca 0442 043c 4041 b004 ...@.....B.<@A.. │ │ │ -00001850: 0804 0740 40d0 b140 d0b3 9004 48a0 9021 ...@@..@....H..! │ │ │ -00001860: 74b0 c005 01d9 4e01 0134 0101 4bc0 0501 t.....N..4..K... │ │ │ -00001870: da4e 0101 3401 014c 4040 c0b3 0409 4090 .N..4..L@@....@. │ │ │ -00001880: 4002 05f5 e100 4001 05a0 0411 b004 0604 @.....@......... │ │ │ -00001890: 0540 40d0 b390 0501 b8a0 9023 696e 74b0 .@@........#int. │ │ │ -000018a0: c005 01e6 4e01 0134 0101 50c0 0501 e74e ....N..4..P....N │ │ │ -000018b0: 0101 3401 0153 4040 c0b3 0409 4090 4002 ..4..S@@....@.@. │ │ │ -000018c0: 05f5 e100 4001 05a1 041e b004 0604 0540 ....@..........@ │ │ │ -000018d0: 40c0 c140 0413 0406 4002 05f5 e100 4001 @..@....@.....@. │ │ │ -000018e0: 05a2 0421 b004 1604 0840 40c0 c140 0427 ...!.....@@..@.' │ │ │ -000018f0: 0405 4002 05f5 e100 4001 05a3 0424 b004 ..@.....@....$.. │ │ │ -00001900: 2a04 0b40 40d0 0404 40b0 c005 01f4 4e01 *..@@...@.....N. │ │ │ -00001910: 0134 0101 3804 0e40 a0b0 045e 90a0 a0a0 .4..8..@...^.... │ │ │ -00001920: c091 a0b2 0a00 0001 4520 4120 746f 7461 ........E A tota │ │ │ -00001930: 6c20 6f72 6465 7269 6e67 2066 756e 6374 l ordering funct │ │ │ -00001940: 696f 6e20 6f76 6572 2074 6865 2073 6574 ion over the set │ │ │ -00001950: 2065 6c65 6d65 6e74 732e 0a20 2020 2020 elements.. │ │ │ -00001960: 2020 2054 6869 7320 6973 2061 2074 776f This is a two │ │ │ -00001970: 2d61 7267 756d 656e 7420 6675 6e63 7469 -argument functi │ │ │ -00001980: 6f6e 205b 665d 2073 7563 6820 7468 6174 on [f] such that │ │ │ -00001990: 3a0a 2020 2020 2020 2020 2d20 5b66 2065 :. - [f e │ │ │ -000019a0: 3120 6532 5d20 6973 207a 6572 6f20 6966 1 e2] is zero if │ │ │ -000019b0: 2074 6865 2065 6c65 6d65 6e74 7320 5b65 the elements [e │ │ │ -000019c0: 315d 2061 6e64 205b 6532 5d20 6172 6520 1] and [e2] are │ │ │ -000019d0: 6571 7561 6c2c 0a20 2020 2020 2020 202d equal,. - │ │ │ -000019e0: 205b 6620 6531 2065 325d 2069 7320 7374 [f e1 e2] is st │ │ │ -000019f0: 7269 6374 6c79 206e 6567 6174 6976 6520 rictly negative │ │ │ -00001a00: 6966 205b 6531 5d20 6973 2073 6d61 6c6c if [e1] is small │ │ │ -00001a10: 6572 2074 6861 6e20 5b65 325d 2c0a 2020 er than [e2],. │ │ │ -00001a20: 2020 2020 2020 2d20 616e 6420 5b66 2065 - and [f e │ │ │ -00001a30: 3120 6532 5d20 6973 2073 7472 6963 746c 1 e2] is strictl │ │ │ -00001a40: 7920 706f 7369 7469 7665 2069 6620 5b65 y positive if [e │ │ │ -00001a50: 315d 2069 7320 6772 6561 7465 7220 7468 1] is greater th │ │ │ -00001a60: 616e 205b 6532 5d2e 0a20 2020 2020 b0c0 an [e2].. .. │ │ │ -00001a70: 0502 014f 0101 5401 0158 c005 0202 5401 ...O..T..X....T. │ │ │ -00001a80: 029b 0102 a240 4004 0304 0340 4040 0403 .....@@....@@@.. │ │ │ -00001a90: 4004 0340 b105 021a 4140 40b0 0411 041e @..@....A@@..... │ │ │ -00001aa0: 40a0 b0a0 046e 0502 1590 a0a0 a0c0 91a0 @....n.......... │ │ │ -00001ab0: b204 1104 1040 0410 0410 4040 4004 1040 .....@....@@@..@ │ │ │ -00001ac0: 0410 4004 4304 1d40 a0c1 0485 047f 4140 ..@.C..@......A@ │ │ │ -00001ad0: a0b0 045b 0422 4040 0800 0033 0005 0211 ...[."@@...3.... │ │ │ -00001ae0: 0502 1105 0211 0502 1105 0211 0502 1105 ................ │ │ │ -00001af0: 0211 0502 1140 b004 4804 5d04 2440 4191 .....@..H.].$@A. │ │ │ -00001b00: 0407 0800 0033 0005 0214 0502 1405 0214 .....3.......... │ │ │ -00001b10: 0502 1405 0214 0502 1405 0214 0502 1440 ...............@ │ │ │ -00001b20: 0502 1340 41b0 c005 0219 4801 00c4 0100 ...@A.....H..... │ │ │ -00001b30: c6c0 0502 1a55 0102 a301 02a8 4040 a0b0 .....U......@@.. │ │ │ -00001b40: a004 8405 022b 90a0 a0a0 c091 a0b2 0928 .....+.........( │ │ │ -00001b50: 2049 6e70 7574 2073 6967 6e61 7475 7265 Input signature │ │ │ -00001b60: 206f 6620 7468 6520 6675 6e63 746f 7220 of the functor │ │ │ -00001b70: 5b4d 616b 655d 2e20 b0c0 0502 2846 007c [Make]. ....(F.| │ │ │ -00001b80: 007c c005 0229 4600 7c01 00a9 4040 0403 .|...)F.|...@@.. │ │ │ -00001b90: 0403 4040 4004 0340 0403 40b0 c005 022b ..@@@..@..@....+ │ │ │ -00001ba0: 4701 00aa 0100 aa04 1240 0502 29b0 0402 G........@..)... │ │ │ -00001bb0: 0413 40a0 b098 e0b1 2153 0101 2745 a004 ..@.....!S..'E.. │ │ │ -00001bc0: 02b0 c005 0235 5701 02aa 0102 b6c0 0502 .....5W......... │ │ │ -00001bd0: 3657 0102 aa01 02b7 40b1 0502 4e55 4090 6W......@...NU@. │ │ │ -00001be0: d091 b0a0 b0a1 41a0 0800 002b 00b1 2365 ......A....+..#e │ │ │ -00001bf0: 6c74 0101 1543 a004 02b0 c005 0245 5901 lt...C.......EY. │ │ │ -00001c00: 02c0 0102 c9c0 0502 4659 0102 c001 02cc ........FY...... │ │ │ -00001c10: 4040 0800 003b 0040 4004 b441 4040 4040 @@...;.@@..A@@@@ │ │ │ -00001c20: 40b0 c005 0249 5901 02c0 0102 c404 0440 @....IY........@ │ │ │ -00001c30: a0b0 04b3 90a0 a0a0 c091 a0b2 0926 2054 .............& T │ │ │ -00001c40: 6865 2074 7970 6520 6f66 2074 6865 2065 he type of the e │ │ │ -00001c50: 6c65 6d65 6e74 7320 696e 2074 6865 2073 lements in the s │ │ │ -00001c60: 6574 2e20 b0c0 0502 565a 0102 cd01 02d1 et. ....VZ...... │ │ │ -00001c70: c005 0257 5a01 02cd 0102 fc40 4004 0304 ...WZ......@@... │ │ │ -00001c80: 0340 4040 0403 4004 0340 4040 b105 026f .@@@..@..@@@...o │ │ │ -00001c90: 4340 4040 4140 0411 a0b0 a004 c205 0269 C@@@A@.........i │ │ │ -00001ca0: 90a0 a0a0 c091 a0b2 0410 040f 4004 0f04 ............@... │ │ │ -00001cb0: 0f40 4040 040f 4004 0f40 4008 0000 3300 .@@@..@..@@...3. │ │ │ -00001cc0: 0502 6105 0261 0502 6105 0261 0502 6105 ..a..a..a..a..a. │ │ │ -00001cd0: 0261 0502 6105 0261 40b4 0502 6104 e9c0 .a..a..a@...a... │ │ │ -00001ce0: 9091 a0c1 04de 04d8 4140 a0b0 04b4 047b ........A@.....{ │ │ │ -00001cf0: 4040 a0b0 04d6 90a0 a0a0 c091 a0b2 0451 @@.............Q │ │ │ -00001d00: 0450 4004 5004 5040 4040 0450 4004 5040 .P@.P.P@@@.P@.P@ │ │ │ -00001d10: 044d 04f4 4041 b004 2f04 3240 a0b0 a141 .M..@A../.2@...A │ │ │ -00001d20: a008 0000 2b00 b121 7401 0116 44a0 0402 ....+..!t...D... │ │ │ -00001d30: b0c0 0502 815c 0102 fe01 0307 c005 0282 .....\.......... │ │ │ -00001d40: 5c01 02fe 0103 0840 4008 0000 3b00 4040 \......@@...;.@@ │ │ │ -00001d50: 04f0 4140 4040 4040 b0c0 0502 855c 0102 ..A@@@@@.....\.. │ │ │ -00001d60: fe01 0302 0404 40a0 b004 ef90 a0a0 a0c0 ......@......... │ │ │ -00001d70: 91a0 b233 2054 6865 2074 7970 6520 6f66 ...3 The type of │ │ │ -00001d80: 2073 6574 732e 20b0 c005 0292 5d01 0309 sets. .....]... │ │ │ -00001d90: 0103 0dc0 0502 935d 0103 0901 0325 4040 .......].....%@@ │ │ │ -00001da0: 0403 0403 4040 4004 0340 0403 4040 40b1 ....@@@..@..@@@. │ │ │ -00001db0: 0502 ab44 4040 4041 4004 11a0 b0a0 04fe ...D@@@A@....... │ │ │ -00001dc0: 0502 a590 a0a0 a0c0 91a0 b204 1004 0f40 ...............@ │ │ │ -00001dd0: 040f 040f 4040 4004 0f40 040f 4040 0800 ....@@@..@..@@.. │ │ │ -00001de0: 0033 0005 029d 0502 9d05 029d 0502 9d05 .3.............. │ │ │ -00001df0: 029d 0502 9d05 029d 0502 9d40 b104 3d04 ...........@..=. │ │ │ -00001e00: 6104 5b40 41b0 041e 0421 40a0 b090 f0a0 a.[@A....!@..... │ │ │ -00001e10: 2565 6d70 7479 0101 17a0 0402 b0c0 0502 %empty.......... │ │ │ -00001e20: ab5f 0103 2701 032f c005 02ac 5f01 0327 ._..'../...._..' │ │ │ -00001e30: 0103 3440 d0b3 9004 33a0 9021 74b0 c005 ..4@....3..!t... │ │ │ -00001e40: 02b4 5f01 0327 0103 36c0 0502 b55f 0103 .._..'..6...._.. │ │ │ -00001e50: 2701 0337 4040 c0b3 0409 4090 4002 05f5 '..7@@....@.@... │ │ │ -00001e60: e100 4001 05a4 0800 0033 0005 02b6 0502 ..@......3...... │ │ │ -00001e70: b605 02b6 0502 b605 02b6 0502 b605 02b6 ................ │ │ │ -00001e80: 0502 b640 b104 1a04 3e04 3840 41b0 0408 ...@....>.8@A... │ │ │ -00001e90: 0407 4040 d004 0740 b0c0 0502 be5f 0103 ..@@...@....._.. │ │ │ -00001ea0: 2701 032b 040a 40a0 b005 0128 90a0 a0a0 '..+..@....(.... │ │ │ -00001eb0: c091 a0b2 3020 5468 6520 656d 7074 7920 ....0 The empty │ │ │ -00001ec0: 7365 742e 20b0 c005 02cb 6001 0338 0103 set. .....`..8.. │ │ │ -00001ed0: 3cc0 0502 cc60 0103 3801 0351 4040 0403 <....`..8..Q@@.. │ │ │ -00001ee0: 0403 4040 4004 0340 0403 40b1 0502 e445 ..@@@..@..@....E │ │ │ -00001ef0: 4040 b004 1104 1a40 a0b0 a005 0138 0502 @@.....@.....8.. │ │ │ -00001f00: df90 a0a0 a0c0 91a0 b204 1104 1040 0410 .............@.. │ │ │ -00001f10: 0410 4040 4004 1040 0410 4004 2104 1da0 ..@@@..@..@.!... │ │ │ -00001f20: b090 f0a0 2466 756c 6c01 0118 a004 02b0 ....$full....... │ │ │ -00001f30: c005 02e2 6201 0353 0103 5bc0 0502 e362 ....b..S..[....b │ │ │ -00001f40: 0103 5301 035f 40d0 b390 046a a090 2174 ..S.._@....j..!t │ │ │ -00001f50: b0c0 0502 eb62 0103 5301 0361 c005 02ec .....b..S..a.... │ │ │ -00001f60: 6201 0353 0103 6240 40c0 b304 0940 9040 b..S..b@@....@.@ │ │ │ -00001f70: 0205 f5e1 0040 0105 a508 0000 3300 0502 .....@......3... │ │ │ -00001f80: ed05 02ed 0502 ed05 02ed 0502 ed05 02ed ................ │ │ │ -00001f90: 0502 ed05 02ed 40b0 0438 044b 0436 4041 ......@..8.K.6@A │ │ │ -00001fa0: b004 0804 0740 40d0 0407 40b0 c005 02f5 .....@@...@..... │ │ │ -00001fb0: 6201 0353 0103 5704 0a40 a0b0 0501 5f90 b..S..W..@...._. │ │ │ -00001fc0: a0a0 a0c0 91a0 b209 2a20 5468 6520 7365 ........* The se │ │ │ -00001fd0: 7420 6f66 2061 6c6c 2065 6c65 6d65 6e74 t of all element │ │ │ -00001fe0: 7320 286f 6620 7479 7065 205b 656c 6d5d s (of type [elm] │ │ │ -00001ff0: 292e 20b0 c005 0302 6301 0363 0103 67c0 ). .....c..c..g. │ │ │ -00002000: 0503 0363 0103 6301 0396 4040 0403 0403 ...c..c...@@.... │ │ │ -00002010: 4040 4004 0340 0403 40b1 0503 1b46 4040 @@@..@..@....F@@ │ │ │ -00002020: b004 1104 1a40 a0b0 a005 016f 0503 1690 .....@.....o.... │ │ │ -00002030: a0a0 a0c0 91a0 b204 1104 1040 0410 0410 ...........@.... │ │ │ -00002040: 4040 4004 1040 0410 4004 2104 1da0 b090 @@@..@..@.!..... │ │ │ -00002050: f0a0 2869 735f 656d 7074 7901 0119 a004 ..(is_empty..... │ │ │ -00002060: 02b0 c005 0319 6501 0398 0103 a0c0 0503 ......e......... │ │ │ -00002070: 1a65 0103 9801 03a8 40d0 b140 d0b3 9004 .e......@..@.... │ │ │ -00002080: a3a0 9021 74b0 c005 0324 6501 0398 0103 ...!t....$e..... │ │ │ -00002090: aac0 0503 2565 0103 9801 03ab 4040 c0b3 ....%e......@@.. │ │ │ -000020a0: 0409 4090 4002 05f5 e100 4001 05a6 0800 ..@.@.....@..... │ │ │ -000020b0: 0033 0005 0326 0503 2605 0326 0503 2605 .3...&..&..&..&. │ │ │ -000020c0: 0326 0503 2605 0326 0503 2640 b004 3a04 .&..&..&..&@..:. │ │ │ -000020d0: 4d04 3840 41b0 0408 0407 4040 d0b3 9005 M.8@A.....@@.... │ │ │ -000020e0: 02f0 a090 2462 6f6f 6cb0 c005 0333 6501 ....$bool....3e. │ │ │ -000020f0: 0398 0103 afc0 0503 3465 0103 9801 03b3 ........4e...... │ │ │ -00002100: 4040 c0b3 0409 4090 4002 05f5 e100 4001 @@....@.@.....@. │ │ │ -00002110: 05a7 040f b004 0604 0540 40c0 c140 0415 .........@@..@.. │ │ │ -00002120: 0406 4002 05f5 e100 4001 05a8 0412 b004 ..@.....@....... │ │ │ -00002130: 1804 0840 40d0 0404 40b0 c005 033e 6501 ...@@...@....>e. │ │ │ -00002140: 0398 0103 9c04 0b40 a0b0 0501 a890 a0a0 .......@........ │ │ │ -00002150: a0c0 91a0 b209 2520 5465 7374 2077 6865 ......% Test whe │ │ │ -00002160: 7468 6572 2061 2073 6574 2069 7320 656d ther a set is em │ │ │ -00002170: 7074 7920 6f72 206e 6f74 2e20 b0c0 0503 pty or not. .... │ │ │ -00002180: 4b66 0103 b401 03b8 c005 034c 6601 03b4 Kf.........Lf... │ │ │ -00002190: 0103 e240 4004 0304 0340 4040 0403 4004 ...@@....@@@..@. │ │ │ -000021a0: 0340 b105 0364 4740 40b0 0411 041b 40a0 .@...dG@@.....@. │ │ │ -000021b0: b0a0 0501 b805 035f 90a0 a0a0 c091 a0b2 ......._........ │ │ │ -000021c0: 0411 0410 4004 1004 1040 4040 0410 4004 ....@....@@@..@. │ │ │ -000021d0: 1040 0431 041d a0b0 90f0 a027 6973 5f66 .@.1.......'is_f │ │ │ -000021e0: 756c 6c01 011a a004 02b0 c005 0362 6801 ull..........bh. │ │ │ -000021f0: 03e4 0103 ecc0 0503 6368 0103 e401 03f3 ........ch...... │ │ │ -00002200: 40d0 b140 d0b3 9004 eca0 9021 74b0 c005 @..@.......!t... │ │ │ -00002210: 036d 6801 03e4 0103 f5c0 0503 6e68 0103 .mh.........nh.. │ │ │ -00002220: e401 03f6 4040 c0b3 0409 4090 4002 05f5 ....@@....@.@... │ │ │ -00002230: e100 4001 05a9 0800 0033 0005 036f 0503 ..@......3...o.. │ │ │ -00002240: 6f05 036f 0503 6f05 036f 0503 6f05 036f o..o..o..o..o..o │ │ │ -00002250: 0503 6f40 b004 4a04 5f04 3840 41b0 0408 ..o@..J._.8@A... │ │ │ -00002260: 0407 4040 d0b3 9005 0339 a090 2462 6f6f ..@@.....9..$boo │ │ │ -00002270: 6cb0 c005 037c 6801 03e4 0103 fac0 0503 l....|h......... │ │ │ -00002280: 7d68 0103 e401 03fe 4040 c0b3 0409 4090 }h......@@....@. │ │ │ -00002290: 4002 05f5 e100 4001 05aa 040f b004 0604 @.....@......... │ │ │ -000022a0: 0540 40c0 c140 0415 0406 4002 05f5 e100 .@@..@....@..... │ │ │ -000022b0: 4001 05ab 0412 b004 1804 0840 40d0 0404 @..........@@... │ │ │ -000022c0: 40b0 c005 0387 6801 03e4 0103 e804 0b40 @.....h........@ │ │ │ -000022d0: a0b0 0501 f190 a0a0 a0c0 91a0 b209 3420 ..............4 │ │ │ -000022e0: 5465 7374 2077 6865 7468 6572 2061 2073 Test whether a s │ │ │ -000022f0: 6574 2063 6f6e 7461 696e 7320 7468 6520 et contains the │ │ │ -00002300: 7768 6f6c 6520 7479 7065 206f 7220 6e6f whole type or no │ │ │ -00002310: 742e 20b0 c005 0394 6901 03ff 0104 03c0 t. .....i....... │ │ │ -00002320: 0503 9569 0103 ff01 043c 4040 0403 0403 ...i.....<@@.... │ │ │ -00002330: 4040 4004 0340 0403 40b1 0503 ad48 4040 @@@..@..@....H@@ │ │ │ -00002340: b004 1104 1b40 a0b0 a005 0201 0503 a890 .....@.......... │ │ │ -00002350: a0a0 a0c0 91a0 b204 1104 1040 0410 0410 ...........@.... │ │ │ -00002360: 4040 4004 1040 0410 4004 3104 1da0 b090 @@@..@..@.1..... │ │ │ -00002370: f0a0 236d 656d 0101 1ba0 0402 b0c0 0503 ..#mem.......... │ │ │ -00002380: ab6b 0104 3e01 0446 c005 03ac 6b01 043e .k..>..F....k..> │ │ │ -00002390: 0104 4940 d0b1 40d0 b390 0501 71a0 9023 ..I@..@.....q..# │ │ │ -000023a0: 656c 74b0 c005 03b6 6b01 043e 0104 4bc0 elt.....k..>..K. │ │ │ -000023b0: 0503 b76b 0104 3e01 044e 4040 c0b3 0409 ...k..>..N@@.... │ │ │ -000023c0: 4090 4002 05f5 e100 4001 05ac 0800 0033 @.@.....@......3 │ │ │ -000023d0: 0005 03b8 0503 b805 03b8 0503 b805 03b8 ................ │ │ │ -000023e0: 0503 b805 03b8 0503 b840 b004 4a04 5f04 .........@..J._. │ │ │ -000023f0: 3840 41b0 0408 0407 4040 d0b1 40d0 b390 8@A.....@@..@... │ │ │ -00002400: 0501 46a0 9021 74b0 c005 03c7 6b01 043e ..F..!t.....k..> │ │ │ -00002410: 0104 52c0 0503 c86b 0104 3e01 0453 4040 ..R....k..>..S@@ │ │ │ -00002420: c0b3 0409 4090 4002 05f5 e100 4001 05ad ....@.@.....@... │ │ │ -00002430: 0411 b004 0604 0540 40d0 b390 0503 91a0 .......@@....... │ │ │ -00002440: 9024 626f 6f6c b0c0 0503 d46b 0104 3e01 .$bool.....k..>. │ │ │ -00002450: 0457 c005 03d5 6b01 043e 0104 5b40 40c0 .W....k..>..[@@. │ │ │ -00002460: b304 0940 9040 0205 f5e1 0040 0105 ae04 ...@.@.....@.... │ │ │ -00002470: 1eb0 0406 0405 4040 c0c1 4004 1304 0640 ......@@..@....@ │ │ │ -00002480: 0205 f5e1 0040 0105 af04 21b0 0416 0408 .....@....!..... │ │ │ -00002490: 4040 c0c1 4004 2704 0540 0205 f5e1 0040 @@..@.'..@.....@ │ │ │ -000024a0: 0105 b004 24b0 042a 040b 4040 d004 0440 ....$..*..@@...@ │ │ │ -000024b0: b0c0 0503 e26b 0104 3e01 0442 040e 40a0 .....k..>..B..@. │ │ │ -000024c0: b005 024c 90a0 a0a0 c091 a0b2 0935 205b ...L.........5 [ │ │ │ -000024d0: 6d65 6d20 7820 735d 2074 6573 7473 2077 mem x s] tests w │ │ │ -000024e0: 6865 7468 6572 205b 785d 2062 656c 6f6e hether [x] belon │ │ │ -000024f0: 6773 2074 6f20 7468 6520 7365 7420 5b73 gs to the set [s │ │ │ -00002500: 5d2e 20b0 c005 03ef 6c01 045c 0104 60c0 ]. .....l..\..`. │ │ │ -00002510: 0503 f06c 0104 5c01 049a 4040 0403 0403 ...l..\...@@.... │ │ │ -00002520: 4040 4004 0340 0403 40b1 0504 0849 4040 @@@..@..@....I@@ │ │ │ -00002530: b004 1104 1e40 a0b0 a005 025c 0504 0390 .....@.....\.... │ │ │ -00002540: a0a0 a0c0 91a0 b204 1104 1040 0410 0410 ...........@.... │ │ │ -00002550: 4040 4004 1040 0410 4004 4304 1da0 b090 @@@..@..@.C..... │ │ │ -00002560: f0a0 2973 696e 676c 6574 6f6e 0101 1ca0 ..)singleton.... │ │ │ -00002570: 0402 b0c0 0504 066e 0104 9c01 04a4 c005 .......n........ │ │ │ -00002580: 0407 6e01 049c 0104 ad40 d0b1 40d0 b390 ..n......@..@... │ │ │ -00002590: 0501 cca0 9023 656c 74b0 c005 0411 6e01 .....#elt.....n. │ │ │ -000025a0: 049c 0104 afc0 0504 126e 0104 9c01 04b2 .........n...... │ │ │ -000025b0: 4040 c0b3 0409 4090 4002 05f5 e100 4001 @@....@.@.....@. │ │ │ -000025c0: 05b1 0800 0033 0005 0413 0504 1305 0413 .....3.......... │ │ │ -000025d0: 0504 1305 0413 0504 1305 0413 0504 1340 ...............@ │ │ │ -000025e0: b004 5c04 7104 3840 41b0 0408 0407 4040 ..\.q.8@A.....@@ │ │ │ -000025f0: d0b3 9005 019f a090 2174 b0c0 0504 206e ........!t.... n │ │ │ -00002600: 0104 9c01 04b6 c005 0421 6e01 049c 0104 .........!n..... │ │ │ -00002610: b740 40c0 b304 0940 9040 0205 f5e1 0040 .@@....@.@.....@ │ │ │ -00002620: 0105 b204 0fb0 0406 0405 4040 c0c1 4004 ..........@@..@. │ │ │ -00002630: 1504 0640 0205 f5e1 0040 0105 b304 12b0 ...@.....@...... │ │ │ -00002640: 0418 0408 4040 d004 0440 b0c0 0504 2b6e ....@@...@....+n │ │ │ -00002650: 0104 9c01 04a0 040b 40a0 b005 0295 90a0 ........@....... │ │ │ -00002660: a0a0 c091 a0b2 0940 205b 7369 6e67 6c65 .......@ [single │ │ │ -00002670: 746f 6e20 785d 2072 6574 7572 6e73 2074 ton x] returns t │ │ │ -00002680: 6865 206f 6e65 2d65 6c65 6d65 6e74 2073 he one-element s │ │ │ -00002690: 6574 2063 6f6e 7461 696e 696e 6720 6f6e et containing on │ │ │ -000026a0: 6c79 205b 785d 2e20 b0c0 0504 386f 0104 ly [x]. ....8o.. │ │ │ -000026b0: b801 04bc c005 0439 6f01 04b8 0105 0140 .......9o......@ │ │ │ -000026c0: 4004 0304 0340 4040 0403 4004 0340 b105 @....@@@..@..@.. │ │ │ -000026d0: 0451 4a40 40b0 0411 041b 40a0 b0a0 0502 .QJ@@.....@..... │ │ │ -000026e0: a505 044c 90a0 a0a0 c091 a0b2 0411 0410 ...L............ │ │ │ -000026f0: 4004 1004 1040 4040 0410 4004 1040 0431 @....@@@..@..@.1 │ │ │ -00002700: 041d a0b0 90f0 a023 6164 6401 011d a004 .......#add..... │ │ │ -00002710: 02b0 c005 044f 7101 0503 0105 0bc0 0504 .....Oq......... │ │ │ -00002720: 5071 0105 0301 050e 40d0 b140 d0b3 9005 Pq......@..@.... │ │ │ -00002730: 0215 a090 2365 6c74 b0c0 0504 5a71 0105 ....#elt....Zq.. │ │ │ -00002740: 0301 0510 c005 045b 7101 0503 0105 1340 .......[q......@ │ │ │ -00002750: 40c0 b304 0940 9040 0205 f5e1 0040 0105 @....@.@.....@.. │ │ │ -00002760: b408 0000 3300 0504 5c05 045c 0504 5c05 ....3...\..\..\. │ │ │ -00002770: 045c 0504 5c05 045c 0504 5c05 045c 40b0 .\..\..\..\..\@. │ │ │ -00002780: 044a 045f 0438 4041 b004 0804 0740 40d0 .J._.8@A.....@@. │ │ │ -00002790: b140 d0b3 9005 01ea a090 2174 b0c0 0504 .@........!t.... │ │ │ -000027a0: 6b71 0105 0301 0517 c005 046c 7101 0503 kq.........lq... │ │ │ -000027b0: 0105 1840 40c0 b304 0940 9040 0205 f5e1 ...@@....@.@.... │ │ │ -000027c0: 0040 0105 b504 11b0 0406 0405 4040 d0b3 .@..........@@.. │ │ │ -000027d0: 9005 01f7 a090 2174 b0c0 0504 7871 0105 ......!t....xq.. │ │ │ -000027e0: 0301 051c c005 0479 7101 0503 0105 1d40 .......yq......@ │ │ │ -000027f0: 40c0 b304 0940 9040 0205 f5e1 0040 0105 @....@.@.....@.. │ │ │ -00002800: b604 1eb0 0406 0405 4040 c0c1 4004 1304 ........@@..@... │ │ │ -00002810: 0640 0205 f5e1 0040 0105 b704 21b0 0416 .@.....@....!... │ │ │ -00002820: 0408 4040 c0c1 4004 2704 0540 0205 f5e1 ..@@..@.'..@.... │ │ │ -00002830: 0040 0105 b804 24b0 042a 040b 4040 d004 .@....$..*..@@.. │ │ │ -00002840: 0440 b0c0 0504 8671 0105 0301 0507 040e .@.....q........ │ │ │ -00002850: 40a0 b005 02f0 90a0 a0a0 c091 a0b2 0986 @............... │ │ │ -00002860: 205b 6164 6420 7820 735d 2072 6574 7572 [add x s] retur │ │ │ -00002870: 6e73 2061 2073 6574 2063 6f6e 7461 696e ns a set contain │ │ │ -00002880: 696e 6720 616c 6c20 656c 656d 656e 7473 ing all elements │ │ │ -00002890: 206f 6620 5b73 5d2c 0a20 2020 2020 2020 of [s],. │ │ │ -000028a0: 2070 6c75 7320 5b78 5d2e 2049 6620 5b78 plus [x]. If [x │ │ │ -000028b0: 5d20 7761 7320 616c 7265 6164 7920 696e ] was already in │ │ │ -000028c0: 205b 735d 2c20 7468 656e 205b 735d 2069 [s], then [s] i │ │ │ -000028d0: 7320 7265 7475 726e 6564 2075 6e63 6861 s returned uncha │ │ │ -000028e0: 6e67 6564 2e20 b0c0 0504 9372 0105 1e01 nged. .....r.... │ │ │ -000028f0: 0522 c005 0494 7301 055e 0105 ad40 4004 ."....s..^...@@. │ │ │ -00002900: 0304 0340 4040 0403 4004 0340 b105 04ac ...@@@..@..@.... │ │ │ -00002910: 4b40 40b0 0411 041e 40a0 b0a0 0503 0005 K@@.....@....... │ │ │ -00002920: 04a7 90a0 a0a0 c091 a0b2 0411 0410 4004 ..............@. │ │ │ -00002930: 1004 1040 4040 0410 4004 1040 0443 041d ...@@@..@..@.C.. │ │ │ -00002940: a0b0 90f0 a026 7265 6d6f 7665 0101 1ea0 .....&remove.... │ │ │ -00002950: 0402 b0c0 0504 aa75 0105 af01 05b7 c005 .......u........ │ │ │ -00002960: 04ab 7501 05af 0105 bd40 d0b1 40d0 b390 ..u......@..@... │ │ │ -00002970: 0502 70a0 9023 656c 74b0 c005 04b5 7501 ..p..#elt.....u. │ │ │ -00002980: 05af 0105 bfc0 0504 b675 0105 af01 05c2 .........u...... │ │ │ -00002990: 4040 c0b3 0409 4090 4002 05f5 e100 4001 @@....@.@.....@. │ │ │ -000029a0: 05b9 0800 0033 0005 04b7 0504 b705 04b7 .....3.......... │ │ │ -000029b0: 0504 b705 04b7 0504 b705 04b7 0504 b740 ...............@ │ │ │ -000029c0: b004 5c04 7104 3840 41b0 0408 0407 4040 ..\.q.8@A.....@@ │ │ │ -000029d0: d0b1 40d0 b390 0502 45a0 9021 74b0 c005 ..@.....E..!t... │ │ │ -000029e0: 04c6 7501 05af 0105 c6c0 0504 c775 0105 ..u..........u.. │ │ │ -000029f0: af01 05c7 4040 c0b3 0409 4090 4002 05f5 ....@@....@.@... │ │ │ -00002a00: e100 4001 05ba 0411 b004 0604 0540 40d0 ..@..........@@. │ │ │ -00002a10: b390 0502 52a0 9021 74b0 c005 04d3 7501 ....R..!t.....u. │ │ │ -00002a20: 05af 0105 cbc0 0504 d475 0105 af01 05cc .........u...... │ │ │ -00002a30: 4040 c0b3 0409 4090 4002 05f5 e100 4001 @@....@.@.....@. │ │ │ -00002a40: 05bb 041e b004 0604 0540 40c0 c140 0413 .........@@..@.. │ │ │ -00002a50: 0406 4002 05f5 e100 4001 05bc 0421 b004 ..@.....@....!.. │ │ │ -00002a60: 1604 0840 40c0 c140 0427 0405 4002 05f5 ...@@..@.'..@... │ │ │ -00002a70: e100 4001 05bd 0424 b004 2a04 0b40 40d0 ..@....$..*..@@. │ │ │ -00002a80: 0404 40b0 c005 04e1 7501 05af 0105 b304 ..@.....u....... │ │ │ -00002a90: 0e40 a0b0 0503 4b90 a0a0 a0c0 91a0 b209 .@....K......... │ │ │ -00002aa0: 8b20 5b72 656d 6f76 6520 7820 735d 2072 . [remove x s] r │ │ │ -00002ab0: 6574 7572 6e73 2061 2073 6574 2063 6f6e eturns a set con │ │ │ -00002ac0: 7461 696e 696e 6720 616c 6c20 656c 656d taining all elem │ │ │ -00002ad0: 656e 7473 206f 6620 5b73 5d2c 0a20 2020 ents of [s],. │ │ │ -00002ae0: 2020 2020 2020 2020 2065 7863 6570 7420 except │ │ │ -00002af0: 5b78 5d2e 2049 6620 5b78 5d20 7761 7320 [x]. If [x] was │ │ │ -00002b00: 6e6f 7420 696e 205b 735d 2c20 7468 656e not in [s], then │ │ │ -00002b10: 205b 735d 2069 7320 7265 7475 726e 6564 [s] is returned │ │ │ -00002b20: 2075 6e63 6861 6e67 6564 2e20 b0c0 0504 unchanged. .... │ │ │ -00002b30: ee76 0105 cd01 05d5 c005 04ef 7701 0614 .v..........w... │ │ │ -00002b40: 0106 6540 4004 0304 0340 4040 0403 4004 ..e@@....@@@..@. │ │ │ -00002b50: 0340 b105 0507 4c40 40b0 0411 041e 40a0 .@....L@@.....@. │ │ │ -00002b60: b0a0 0503 5b05 0502 90a0 a0a0 c091 a0b2 ....[........... │ │ │ -00002b70: 0411 0410 4004 1004 1040 4040 0410 4004 ....@....@@@..@. │ │ │ -00002b80: 1040 0443 041d a0b0 90f0 a025 756e 696f .@.C.......%unio │ │ │ -00002b90: 6e01 011f a004 02b0 c005 0505 7901 0667 n...........y..g │ │ │ -00002ba0: 0106 6fc0 0505 0679 0106 6701 0674 40d0 ..o....y..g..t@. │ │ │ -00002bb0: b140 d0b3 9005 028f a090 2174 b0c0 0505 .@........!t.... │ │ │ -00002bc0: 1079 0106 6701 0676 c005 0511 7901 0667 .y..g..v....y..g │ │ │ -00002bd0: 0106 7740 40c0 b304 0940 9040 0205 f5e1 ..w@@....@.@.... │ │ │ -00002be0: 0040 0105 be08 0000 3300 0505 1205 0512 .@......3....... │ │ │ -00002bf0: 0505 1205 0512 0505 1205 0512 0505 1205 ................ │ │ │ -00002c00: 0512 40b0 045c 0471 0438 4041 b004 0804 ..@..\.q.8@A.... │ │ │ -00002c10: 0740 40d0 b140 d0b3 9005 02a0 a090 2174 .@@..@........!t │ │ │ -00002c20: b0c0 0505 2179 0106 6701 067b c005 0522 ....!y..g..{..." │ │ │ -00002c30: 7901 0667 0106 7c40 40c0 b304 0940 9040 y..g..|@@....@.@ │ │ │ -00002c40: 0205 f5e1 0040 0105 bf04 11b0 0406 0405 .....@.......... │ │ │ -00002c50: 4040 d0b3 9005 02ad a090 2174 b0c0 0505 @@........!t.... │ │ │ -00002c60: 2e79 0106 6701 0680 c005 052f 7901 0667 .y..g....../y..g │ │ │ -00002c70: 0106 8140 40c0 b304 0940 9040 0205 f5e1 ...@@....@.@.... │ │ │ -00002c80: 0040 0105 c004 1eb0 0406 0405 4040 c0c1 .@..........@@.. │ │ │ -00002c90: 4004 1304 0640 0205 f5e1 0040 0105 c104 @....@.....@.... │ │ │ -00002ca0: 21b0 0416 0408 4040 c0c1 4004 2704 0540 !.....@@..@.'..@ │ │ │ -00002cb0: 0205 f5e1 0040 0105 c204 24b0 042a 040b .....@....$..*.. │ │ │ -00002cc0: 4040 d004 0440 b0c0 0505 3c79 0106 6701 @@...@......@.... │ │ │ -00003830: 0040 0105 e004 3bb0 0441 041e 4040 d004 .@....;..A..@@.. │ │ │ -00003840: 0440 b0c0 0507 6300 4d01 0852 0108 5604 .@....c.M..R..V. │ │ │ -00003850: 2140 a0b0 0505 cd90 a0a0 a0c0 91a0 b209 !@.............. │ │ │ -00003860: b620 4769 7665 7320 6120 6669 6e69 7465 . Gives a finite │ │ │ -00003870: 2072 6570 7265 7365 6e74 6174 696f 6e20 representation │ │ │ -00003880: 6f66 2074 6865 2070 7265 6469 6361 7465 of the predicate │ │ │ -00003890: 3a20 6966 2074 6865 0a20 2020 2020 2020 : if the. │ │ │ -000038a0: 2020 2020 626f 6f6c 6561 6e20 6973 2066 boolean is f │ │ │ -000038b0: 616c 7365 2c20 7468 656e 2074 6865 2070 alse, then the p │ │ │ -000038c0: 7265 6469 6361 7465 2069 7320 6769 7665 redicate is give │ │ │ -000038d0: 6e20 696e 2065 7874 656e 7369 6f6e 2e0a n in extension.. │ │ │ -000038e0: 2020 2020 2020 2020 2020 2069 6620 6974 if it │ │ │ -000038f0: 2069 7320 7472 7565 2c20 7468 656e 2074 is true, then t │ │ │ -00003900: 6865 2063 6f6d 706c 656d 656e 7420 6973 he complement is │ │ │ -00003910: 2067 6976 656e 20b0 c005 0770 004e 0108 given ....p.N.. │ │ │ -00003920: 7901 0881 c005 0771 0050 0109 0301 093c y......q.P.....< │ │ │ -00003930: 4040 0403 0403 4040 4004 0340 0403 40b1 @@....@@@..@..@. │ │ │ -00003940: 0507 8953 4040 b004 1104 3140 a0b0 a005 ...S@@....1@.... │ │ │ -00003950: 05dd 0507 8490 a0a0 a0c0 91a0 b204 1104 ................ │ │ │ -00003960: 1040 0410 0410 4040 4004 1040 0410 4004 .@....@@@..@..@. │ │ │ -00003970: 5a04 1da0 b090 f0a0 2969 735f 6669 6e69 Z.......)is_fini │ │ │ -00003980: 7465 0101 26a0 0402 b0c0 0507 8700 5201 te..&.........R. │ │ │ -00003990: 093e 0109 46c0 0507 8800 5201 093e 0109 .>..F.....R..>.. │ │ │ -000039a0: 4f40 d0b1 40d0 b390 0505 11a0 9021 74b0 O@..@........!t. │ │ │ -000039b0: c005 0792 0052 0109 3e01 0952 c005 0793 .....R..>..R.... │ │ │ -000039c0: 0052 0109 3e01 0953 4040 c0b3 0409 4090 .R..>..S@@....@. │ │ │ -000039d0: 4002 05f5 e100 4001 05e1 0800 0033 0005 @.....@......3.. │ │ │ -000039e0: 0794 0507 9405 0794 0507 9405 0794 0507 ................ │ │ │ -000039f0: 9405 0794 0507 9440 b004 7304 8804 3840 .......@..s...8@ │ │ │ -00003a00: 41b0 0408 0407 4040 d0b3 9005 075e a090 A.....@@.....^.. │ │ │ -00003a10: 2462 6f6f 6cb0 c005 07a1 0052 0109 3e01 $bool......R..>. │ │ │ -00003a20: 0957 c005 07a2 0052 0109 3e01 095b 4040 .W.....R..>..[@@ │ │ │ -00003a30: c0b3 0409 4090 4002 05f5 e100 4001 05e2 ....@.@.....@... │ │ │ -00003a40: 040f b004 0604 0540 40c0 c140 0415 0406 .......@@..@.... │ │ │ -00003a50: 4002 05f5 e100 4001 05e3 0412 b004 1804 @.....@......... │ │ │ -00003a60: 0840 40d0 0404 40b0 c005 07ac 0052 0109 .@@...@......R.. │ │ │ -00003a70: 3e01 0942 040b 40a0 b005 0616 90a0 a0a0 >..B..@......... │ │ │ -00003a80: c091 a0b2 09c1 205b 7472 7565 5d20 6966 ...... [true] if │ │ │ -00003a90: 2074 6865 2070 7265 6469 6361 7465 2063 the predicate c │ │ │ -00003aa0: 616e 2062 6520 6769 7665 6e20 6173 2061 an be given as a │ │ │ -00003ab0: 2066 696e 6974 6520 7365 7420 2869 6620 finite set (if │ │ │ -00003ac0: 5b65 6c74 5d0a 2020 2020 2020 2069 7320 [elt]. is │ │ │ -00003ad0: 6120 6669 6e69 7465 2074 7970 652c 2077 a finite type, w │ │ │ -00003ae0: 6520 6361 6e20 6861 7665 205b 6973 5f66 e can have [is_f │ │ │ -00003af0: 696e 6974 6520 7820 3d20 6661 6c73 655d inite x = false] │ │ │ -00003b00: 2079 6574 205b 785d 2069 730a 2020 2020 yet [x] is. │ │ │ -00003b10: 2020 2066 696e 6974 652c 2062 7574 2077 finite, but w │ │ │ -00003b20: 6520 646f 6e27 7420 6b6e 6f77 2068 6f77 e don't know how │ │ │ -00003b30: 2074 6f20 6c69 7374 2069 7473 2065 6c65 to list its ele │ │ │ -00003b40: 6d65 6e74 7329 20b0 c005 07b9 0053 0109 ments) ......S.. │ │ │ -00003b50: 5c01 0960 c005 07ba 0055 0109 e901 0a26 \..`.....U.....& │ │ │ -00003b60: 4040 0403 0403 4040 4004 0340 0403 40b1 @@....@@@..@..@. │ │ │ -00003b70: 0507 d254 4040 b004 1104 1b40 a0b0 a005 ...T@@.....@.... │ │ │ -00003b80: 0626 0507 cd90 a0a0 a0c0 91a0 b204 1104 .&.............. │ │ │ -00003b90: 1040 0410 0410 4040 4004 1040 0410 4004 .@....@@@..@..@. │ │ │ -00003ba0: 3104 1d40 a0c1 0505 8905 0583 4140 a0c1 1..@........A@.. │ │ │ -00003bb0: 0505 4f05 0549 4140 a0b0 0505 2705 0512 ..O..IA@....'... │ │ │ -00003bc0: 40a0 b005 04f2 0504 dd40 a0b0 0504 bd05 @........@...... │ │ │ -00003bd0: 0496 40a0 b005 0476 0504 4f40 a0b0 0504 ..@....v..O@.... │ │ │ -00003be0: 2f05 03f6 40a0 b005 03d6 0503 af40 a0b0 /...@........@.. │ │ │ -00003bf0: 0503 8f05 0356 40a0 b005 0336 0502 fd40 .....V@....6...@ │ │ │ -00003c00: a0b0 0502 dd05 02a4 40a0 b005 0284 0502 ........@....... │ │ │ -00003c10: 4b40 a0b0 0502 2b05 01f2 40a0 b005 01d2 K@....+...@..... │ │ │ -00003c20: 0501 ab40 a0b0 0501 8b05 0152 40a0 b005 ...@.......R@... │ │ │ -00003c30: 0132 04f9 40a0 b004 d904 8940 a0b0 0469 .2..@......@...i │ │ │ -00003c40: 0442 4040 0800 0033 0005 07e9 0507 e905 .B@@...3........ │ │ │ -00003c50: 07e9 0507 e905 07e9 0507 e905 07e9 0507 ................ │ │ │ -00003c60: e940 b004 5604 6b04 4440 4191 0427 0800 .@..V.k.D@A..'.. │ │ │ -00003c70: 0033 0005 07ec 0507 ec05 07ec 0507 ec05 .3.............. │ │ │ -00003c80: 07ec 0507 ec05 07ec 0507 ec40 0505 8b40 ...........@...@ │ │ │ -00003c90: 41b0 c005 07f1 5801 02ba 0102 bcc0 0507 A.....X......... │ │ │ -00003ca0: f200 5601 0a27 010a 2c40 4040 b0c0 0507 ..V..'..,@@@.... │ │ │ -00003cb0: f457 0102 aa01 02aa 0403 4008 0000 3300 .W........@...3. │ │ │ -00003cc0: 0507 f205 07f2 0507 f205 07f2 0507 f205 ................ │ │ │ -00003cd0: 07f2 0507 f205 07f2 4005 0591 4041 b004 ........@...@A.. │ │ │ -00003ce0: 0304 0540 a0b0 95f0 90b1 244d 616b 6501 ...@......$Make. │ │ │ -00003cf0: 013c 46a0 9004 03b0 c005 0801 0059 010a .@.@ │ │ │ -00004090: 0205 f5e1 0040 0106 6240 0205 f5e1 0040 .....@..b@.....@ │ │ │ -000040a0: 0106 6140 0505 3005 052e 0505 2040 a0b0 ..a@..0..... @.. │ │ │ -000040b0: a005 0511 0101 30d0 c0c1 40c0 b390 043d ......0...@....= │ │ │ -000040c0: 4090 4002 05f5 e100 4001 0660 c0c1 40c0 @.@.....@..`..@. │ │ │ -000040d0: b304 2f40 9040 0205 f5e1 0040 0106 5fc0 ../@.@.....@.._. │ │ │ -000040e0: b305 04f8 4090 4002 05f5 e100 4001 065e ....@.@.....@..^ │ │ │ -000040f0: 4002 05f5 e100 4001 065d 4002 05f5 e100 @.....@..]@..... │ │ │ -00004100: 4001 065c 4005 04e7 0504 e505 04d7 40a0 @..\@.........@. │ │ │ -00004110: b0a0 0504 c801 0131 d0c0 c140 c0b3 0412 .......1...@.... │ │ │ -00004120: 4090 4002 05f5 e100 4001 065b c0b3 043e @.@.....@..[...> │ │ │ -00004130: 4090 4002 05f5 e100 4001 065a 4002 05f5 @.@.....@..Z@... │ │ │ -00004140: e100 4001 0659 4005 04aa 0504 a805 049a ..@..Y@......... │ │ │ -00004150: 40a0 b0a0 0504 8b01 0132 d0c0 c140 c0b3 @........2...@.. │ │ │ -00004160: 041e 4090 4002 05f5 e100 4001 0658 c0c1 ..@.@.....@..X.. │ │ │ -00004170: 40c0 b304 4c40 9040 0205 f5e1 0040 0106 @...L@.@.....@.. │ │ │ -00004180: 57c0 b304 4f40 9040 0205 f5e1 0040 0106 W...O@.@.....@.. │ │ │ -00004190: 5640 0205 f5e1 0040 0106 5540 0205 f5e1 V@.....@..U@.... │ │ │ -000041a0: 0040 0106 5440 0504 6005 045e 0504 5040 .@..T@..`..^..P@ │ │ │ -000041b0: a0b0 a005 0441 0101 33d0 c0c1 40c0 b304 .....A..3...@... │ │ │ -000041c0: 2f40 9040 0205 f5e1 0040 0106 53c0 c140 /@.@.....@..S..@ │ │ │ -000041d0: c0b3 045d 4090 4002 05f5 e100 4001 0652 ...]@.@.....@..R │ │ │ -000041e0: c0b3 0460 4090 4002 05f5 e100 4001 0651 ...`@.@.....@..Q │ │ │ -000041f0: 4002 05f5 e100 4001 0650 4002 05f5 e100 @.....@..P@..... │ │ │ -00004200: 4001 064f 4005 0416 0504 1405 0406 40a0 @..O@.........@. │ │ │ -00004210: b0a0 0503 f701 0134 d0c0 c140 c0b3 0469 .......4...@...i │ │ │ -00004220: 4090 4002 05f5 e100 4001 064e c0c1 40c0 @.@.....@..N..@. │ │ │ -00004230: b304 6e40 9040 0205 f5e1 0040 0106 4dc0 ..n@.@.....@..M. │ │ │ -00004240: b304 7140 9040 0205 f5e1 0040 0106 4c40 ..q@.@.....@..L@ │ │ │ -00004250: 0205 f5e1 0040 0106 4b40 0205 f5e1 0040 .....@..K@.....@ │ │ │ -00004260: 0106 4a40 0503 cc05 03ca 0503 bc40 a0b0 ..J@.........@.. │ │ │ -00004270: a005 03ad 0101 35d0 c0c1 40c0 b304 7a40 ......5...@...z@ │ │ │ -00004280: 9040 0205 f5e1 0040 0106 49c0 c140 c0b3 .@.....@..I..@.. │ │ │ -00004290: 047f 4090 4002 05f5 e100 4001 0648 c0b3 ..@.@.....@..H.. │ │ │ -000042a0: 0482 4090 4002 05f5 e100 4001 0647 4002 ..@.@.....@..G@. │ │ │ -000042b0: 05f5 e100 4001 0646 4002 05f5 e100 4001 ....@..F@.....@. │ │ │ -000042c0: 0645 4005 0382 0503 8005 0372 40a0 b0a0 .E@........r@... │ │ │ -000042d0: 0503 6301 0136 d0c0 c140 c0b3 048b 4090 ..c..6...@....@. │ │ │ -000042e0: 4002 05f5 e100 4001 0644 c0c1 40c0 b304 @.....@..D..@... │ │ │ -000042f0: 9040 9040 0205 f5e1 0040 0106 43c0 b304 .@.@.....@..C... │ │ │ -00004300: 9340 9040 0205 f5e1 0040 0106 4240 0205 .@.@.....@..B@.. │ │ │ -00004310: f5e1 0040 0106 4140 0205 f5e1 0040 0106 ...@..A@.....@.. │ │ │ -00004320: 4040 0503 3805 0336 0503 2840 a0b0 a005 @@..8..6..(@.... │ │ │ -00004330: 0319 0101 37d0 c0c1 40c0 b304 9c40 9040 ....7...@....@.@ │ │ │ -00004340: 0205 f5e1 0040 0106 3fc0 b304 9f40 9040 .....@..?....@.@ │ │ │ -00004350: 0205 f5e1 0040 0106 3e40 0205 f5e1 0040 .....@..>@.....@ │ │ │ -00004360: 0106 3d40 0502 fb05 02f9 0502 eb40 a0b0 ..=@.........@.. │ │ │ -00004370: a005 02dc 0101 38d0 c0c1 40c0 b304 a840 ......8...@....@ │ │ │ -00004380: 9040 0205 f5e1 0040 0106 3cc0 c140 c0b3 .@.....@..<..@.. │ │ │ -00004390: 04ad 4090 4002 05f5 e100 4001 063b c0b3 ..@.@.....@..;.. │ │ │ -000043a0: 0502 c240 9040 0205 f5e1 0040 0106 3a40 ...@.@.....@..:@ │ │ │ -000043b0: 0205 f5e1 0040 0106 3940 0205 f5e1 0040 .....@..9@.....@ │ │ │ -000043c0: 0106 3840 0502 b105 02af 0502 a140 a0b0 ..8@.........@.. │ │ │ -000043d0: a005 0292 0101 39d0 c0c1 40c0 b304 b940 ......9...@....@ │ │ │ -000043e0: 9040 0205 f5e1 0040 0106 37c0 c140 c0b3 .@.....@..7..@.. │ │ │ -000043f0: 04be 4090 4002 05f5 e100 4001 0636 c0b3 ..@.@.....@..6.. │ │ │ -00004400: 0502 7840 9040 0205 f5e1 0040 0106 3540 ..x@.@.....@..5@ │ │ │ -00004410: 0205 f5e1 0040 0106 3440 0205 f5e1 0040 .....@..4@.....@ │ │ │ -00004420: 0106 3340 0502 6705 0265 0502 5740 a0b0 ..3@..g..e..W@.. │ │ │ -00004430: a005 0248 0101 3ad0 c0c1 40c0 b304 ca40 ...H..:...@....@ │ │ │ -00004440: 9040 0205 f5e1 0040 0106 32c0 92a0 a040 .@.....@..2....@ │ │ │ -00004450: c0b3 0502 3840 9040 0205 f5e1 0040 0106 ....8@.@.....@.. │ │ │ -00004460: 2fa0 a040 c0b3 0502 2ea0 c0b3 04b0 4090 /..@..........@. │ │ │ -00004470: 4002 05f5 e100 4001 0631 4090 4002 05f5 @.....@..1@.@... │ │ │ -00004480: e100 4001 0630 4002 05f5 e100 4001 062e ..@..0@.....@... │ │ │ -00004490: 4002 05f5 e100 4001 062d 4005 020e 0502 @.....@..-@..... │ │ │ -000044a0: 0c05 01fe 40a0 b0a0 0501 ef01 013b d0c0 ....@........;.. │ │ │ -000044b0: c140 c0b3 04e3 4090 4002 05f5 e100 4001 .@....@.@.....@. │ │ │ -000044c0: 062c c0b3 0501 df40 9040 0205 f5e1 0040 .,.....@.@.....@ │ │ │ -000044d0: 0106 2b40 0205 f5e1 0040 0106 2a40 0501 ..+@.....@..*@.. │ │ │ -000044e0: d105 01cf 0501 c140 4005 012d b005 0131 .......@@..-...1 │ │ │ -000044f0: 0501 1040 40a2 a005 0178 0501 6705 0100 ...@@....x..g... │ │ │ -00004500: 0800 0033 0005 097c 0509 7c05 097c 0509 ...3...|..|..|.. │ │ │ -00004510: 7c05 097c 0509 7c05 097c 0509 7c40 0501 |..|..|..|..|@.. │ │ │ -00004520: 6640 41b0 c005 0981 0059 010a 7c01 0a88 f@A......Y..|... │ │ │ -00004530: c005 0982 0059 010a 7c01 0ab7 4040 a0b0 .....Y..|...@@.. │ │ │ -00004540: a005 07ec 0509 9390 a0a0 a0c0 91a0 b209 ................ │ │ │ -00004550: 4820 5468 6520 5b4d 616b 655d 2066 756e H The [Make] fun │ │ │ -00004560: 6374 6f72 2063 6f6e 7374 7275 6374 7320 ctor constructs │ │ │ -00004570: 616e 2069 6d70 6c65 6d65 6e74 6174 696f an implementatio │ │ │ -00004580: 6e20 666f 7220 616e 7920 5b4f 7264 6572 n for any [Order │ │ │ -00004590: 6564 5479 7065 5d2e 20b0 c005 0990 0058 edType]. ......X │ │ │ -000045a0: 010a 2e01 0a2e c005 0991 0058 010a 2e01 ...........X.... │ │ │ -000045b0: 0a7b 4040 0403 0403 4040 4004 0340 0403 .{@@....@@@..@.. │ │ │ -000045c0: 40b0 c005 0993 0059 010a 7c01 0a7c 0412 @......Y..|..|.. │ │ │ -000045d0: 4004 15b0 0402 0413 4040 a0b4 0508 1ac0 @.......@@...... │ │ │ -000045e0: 9005 0783 0507 2c05 076f 0508 1640 a0b4 ......,..o...@.. │ │ │ -000045f0: 0507 6ac0 9005 01af 4005 01aa 0507 6640 ..j.....@.....f@ │ │ │ -00004600: a0d3 0501 a340 c004 23a0 b005 0809 90a0 .....@..#....... │ │ │ -00004610: a0a0 c091 a0b2 041c 041b 4004 1b04 1b40 ..........@....@ │ │ │ -00004620: 4040 041b 4004 1b40 0418 0501 a740 4040 @@..@..@.....@@@ │ │ │ -00004630: 0800 0033 0005 09a7 0509 a705 09a7 0509 ...3............ │ │ │ -00004640: a705 09a7 0509 a705 09a7 0509 a740 c305 .............@.. │ │ │ -00004650: 0192 0501 b040 c0a2 a005 01a8 9005 019f .....@.......... │ │ │ -00004660: 91a0 c105 0131 0501 3041 40a0 c105 0129 .....1..0A@....) │ │ │ -00004670: 0501 2841 40a0 b005 0126 0501 2540 a0b0 ..(A@....&..%@.. │ │ │ -00004680: 0501 2005 011f 40a0 b005 011b 0501 1a40 .. ...@........@ │ │ │ -00004690: a0b0 0501 1105 0110 40a0 b005 0107 0501 ........@....... │ │ │ -000046a0: 0640 a0b0 04f7 04f6 40a0 b004 ed04 ec40 .@......@......@ │ │ │ -000046b0: a0b0 04de 04dd 40a0 b004 cf04 ce40 a0b0 ......@......@.. │ │ │ -000046c0: 04c0 04bf 40a0 b004 b104 b040 a0b0 04a2 ....@......@.... │ │ │ -000046d0: 04a1 40a0 b004 9804 9740 a0b0 0489 0488 ..@......@...... │ │ │ -000046e0: 40a0 b004 7a04 7940 a0b0 0463 0462 4040 @...z.y@...c.b@@ │ │ │ -000046f0: 0435 0443 0501 d240 4140 a0a0 0976 2a20 .5.C...@A@...v* │ │ │ -00004700: 496e 6669 6e69 7465 2073 6574 7320 6f76 Infinite sets ov │ │ │ -00004710: 6572 2061 2063 686f 7365 6e20 5b4f 7264 er a chosen [Ord │ │ │ -00004720: 6572 6564 5479 7065 5d2e 0a0a 2020 2020 eredType]... │ │ │ -00004730: 416c 6c20 6f70 6572 6174 696f 6e73 206f All operations o │ │ │ -00004740: 7665 7220 7365 7473 2061 7265 2070 7572 ver sets are pur │ │ │ -00004750: 656c 7920 6170 706c 6963 6174 6976 6520 ely applicative │ │ │ -00004760: 286e 6f20 7369 6465 2d65 6666 6563 7473 (no side-effects │ │ │ -00004770: 292e 0a20 0509 d9a0 a009 292a 2049 6e70 ).. ......)* Inp │ │ │ -00004780: 7574 2073 6967 6e61 7475 7265 206f 6620 ut signature of │ │ │ -00004790: 7468 6520 6675 6e63 746f 7220 5b4d 616b the functor [Mak │ │ │ -000047a0: 655d 2e20 0507 b4a0 a009 552a 2054 6865 e]. ......U* The │ │ │ -000047b0: 2074 7970 6520 6f66 2074 6865 2065 6c65 type of the ele │ │ │ -000047c0: 6d65 6e74 7320 696e 2074 6865 2073 6574 ments in the set │ │ │ -000047d0: 2e0a 0a20 2020 2020 2020 2054 6865 2063 ... The c │ │ │ -000047e0: 686f 7365 6e20 5b74 5d20 7b62 206d 7573 hosen [t] {b mus │ │ │ -000047f0: 7420 6265 2069 6e66 696e 6974 657d 2e20 t be infinite}. │ │ │ -00004800: 0508 3aa0 a00a 0000 0146 2a20 4120 746f ..:......F* A to │ │ │ -00004810: 7461 6c20 6f72 6465 7269 6e67 2066 756e tal ordering fun │ │ │ -00004820: 6374 696f 6e20 6f76 6572 2074 6865 2073 ction over the s │ │ │ -00004830: 6574 2065 6c65 6d65 6e74 732e 0a20 2020 et elements.. │ │ │ -00004840: 2020 2020 2054 6869 7320 6973 2061 2074 This is a t │ │ │ -00004850: 776f 2d61 7267 756d 656e 7420 6675 6e63 wo-argument func │ │ │ -00004860: 7469 6f6e 205b 665d 2073 7563 6820 7468 tion [f] such th │ │ │ -00004870: 6174 3a0a 2020 2020 2020 2020 2d20 5b66 at:. - [f │ │ │ -00004880: 2065 3120 6532 5d20 6973 207a 6572 6f20 e1 e2] is zero │ │ │ -00004890: 6966 2074 6865 2065 6c65 6d65 6e74 7320 if the elements │ │ │ -000048a0: 5b65 315d 2061 6e64 205b 6532 5d20 6172 [e1] and [e2] ar │ │ │ -000048b0: 6520 6571 7561 6c2c 0a20 2020 2020 2020 e equal,. │ │ │ -000048c0: 202d 205b 6620 6531 2065 325d 2069 7320 - [f e1 e2] is │ │ │ -000048d0: 7374 7269 6374 6c79 206e 6567 6174 6976 strictly negativ │ │ │ -000048e0: 6520 6966 205b 6531 5d20 6973 2073 6d61 e if [e1] is sma │ │ │ -000048f0: 6c6c 6572 2074 6861 6e20 5b65 325d 2c0a ller than [e2],. │ │ │ -00004900: 2020 2020 2020 2020 2d20 616e 6420 5b66 - and [f │ │ │ -00004910: 2065 3120 6532 5d20 6973 2073 7472 6963 e1 e2] is stric │ │ │ -00004920: 746c 7920 706f 7369 7469 7665 2069 6620 tly positive if │ │ │ -00004930: 5b65 315d 2069 7320 6772 6561 7465 7220 [e1] is greater │ │ │ -00004940: 7468 616e 205b 6532 5d2e 0a20 2020 2020 than [e2].. │ │ │ -00004950: 0507 e1a0 a009 272a 2054 6865 2074 7970 ......'* The typ │ │ │ -00004960: 6520 6f66 2074 6865 2065 6c65 6d65 6e74 e of the element │ │ │ -00004970: 7320 696e 2074 6865 2073 6574 2e20 0507 s in the set. .. │ │ │ -00004980: 8fa0 a034 2a20 5468 6520 7479 7065 206f ...4* The type o │ │ │ -00004990: 6620 7365 7473 2e20 0507 56a0 a031 2a20 f sets. ..V..1* │ │ │ -000049a0: 5468 6520 656d 7074 7920 7365 742e 2005 The empty set. . │ │ │ -000049b0: 0720 a0a0 092b 2a20 5468 6520 7365 7420 . ...+* The set │ │ │ -000049c0: 6f66 2061 6c6c 2065 6c65 6d65 6e74 7320 of all elements │ │ │ -000049d0: 286f 6620 7479 7065 205b 656c 6d5d 292e (of type [elm]). │ │ │ -000049e0: 2005 06ec a0a0 0926 2a20 5465 7374 2077 ......&* Test w │ │ │ -000049f0: 6865 7468 6572 2061 2073 6574 2069 7320 hether a set is │ │ │ -00004a00: 656d 7074 7920 6f72 206e 6f74 2e20 0506 empty or not. .. │ │ │ -00004a10: a6a0 a009 352a 2054 6573 7420 7768 6574 ....5* Test whet │ │ │ -00004a20: 6865 7220 6120 7365 7420 636f 6e74 6169 her a set contai │ │ │ -00004a30: 6e73 2074 6865 2077 686f 6c65 2074 7970 ns the whole typ │ │ │ -00004a40: 6520 6f72 206e 6f74 2e20 0506 60a0 a009 e or not. ..`... │ │ │ -00004a50: 362a 205b 6d65 6d20 7820 735d 2074 6573 6* [mem x s] tes │ │ │ -00004a60: 7473 2077 6865 7468 6572 205b 785d 2062 ts whether [x] b │ │ │ -00004a70: 656c 6f6e 6773 2074 6f20 7468 6520 7365 elongs to the se │ │ │ -00004a80: 7420 5b73 5d2e 2005 0608 a0a0 0941 2a20 t [s]. ......A* │ │ │ -00004a90: 5b73 696e 676c 6574 6f6e 2078 5d20 7265 [singleton x] re │ │ │ -00004aa0: 7475 726e 7320 7468 6520 6f6e 652d 656c turns the one-el │ │ │ -00004ab0: 656d 656e 7420 7365 7420 636f 6e74 6169 ement set contai │ │ │ -00004ac0: 6e69 6e67 206f 6e6c 7920 5b78 5d2e 2005 ning only [x]. . │ │ │ -00004ad0: 05c2 a0a0 0987 2a20 5b61 6464 2078 2073 ......* [add x s │ │ │ -00004ae0: 5d20 7265 7475 726e 7320 6120 7365 7420 ] returns a set │ │ │ -00004af0: 636f 6e74 6169 6e69 6e67 2061 6c6c 2065 containing all e │ │ │ -00004b00: 6c65 6d65 6e74 7320 6f66 205b 735d 2c0a lements of [s],. │ │ │ -00004b10: 2020 2020 2020 2020 706c 7573 205b 785d plus [x] │ │ │ -00004b20: 2e20 4966 205b 785d 2077 6173 2061 6c72 . If [x] was alr │ │ │ -00004b30: 6561 6479 2069 6e20 5b73 5d2c 2074 6865 eady in [s], the │ │ │ -00004b40: 6e20 5b73 5d20 6973 2072 6574 7572 6e65 n [s] is returne │ │ │ -00004b50: 6420 756e 6368 616e 6765 642e 2005 056a d unchanged. ..j │ │ │ -00004b60: a0a0 098c 2a20 5b72 656d 6f76 6520 7820 ....* [remove x │ │ │ -00004b70: 735d 2072 6574 7572 6e73 2061 2073 6574 s] returns a set │ │ │ -00004b80: 2063 6f6e 7461 696e 696e 6720 616c 6c20 containing all │ │ │ -00004b90: 656c 656d 656e 7473 206f 6620 5b73 5d2c elements of [s], │ │ │ -00004ba0: 0a20 2020 2020 2020 2020 2020 2065 7863 . exc │ │ │ -00004bb0: 6570 7420 5b78 5d2e 2049 6620 5b78 5d20 ept [x]. If [x] │ │ │ -00004bc0: 7761 7320 6e6f 7420 696e 205b 735d 2c20 was not in [s], │ │ │ -00004bd0: 7468 656e 205b 735d 2069 7320 7265 7475 then [s] is retu │ │ │ -00004be0: 726e 6564 2075 6e63 6861 6e67 6564 2e20 rned unchanged. │ │ │ -00004bf0: 0505 12a0 a02d 2a20 5365 7420 756e 696f .....-* Set unio │ │ │ -00004c00: 6e2e 2005 04ba a0a0 342a 2053 6574 2069 n. .....4* Set i │ │ │ -00004c10: 6e74 6572 7365 6374 696f 6e2e 2005 0462 ntersection. ..b │ │ │ -00004c20: a0a0 322a 2053 6574 2064 6966 6665 7265 ..2* Set differe │ │ │ -00004c30: 6e63 652e 2005 040a a0a0 322a 2053 6574 nce. .....2* Set │ │ │ -00004c40: 2063 6f6d 706c 656d 656e 742e 2005 03c4 complement. ... │ │ │ -00004c50: a0a0 0969 2a20 5b65 7175 616c 2073 3120 ...i* [equal s1 │ │ │ -00004c60: 7332 5d20 7465 7374 7320 7768 6574 6865 s2] tests whethe │ │ │ -00004c70: 7220 7468 6520 7365 7473 205b 7331 5d20 r the sets [s1] │ │ │ -00004c80: 616e 6420 5b73 325d 2061 7265 0a20 2020 and [s2] are. │ │ │ -00004c90: 2020 2020 2065 7175 616c 2c20 7468 6174 equal, that │ │ │ -00004ca0: 2069 732c 2063 6f6e 7461 696e 2065 7175 is, contain equ │ │ │ -00004cb0: 616c 2065 6c65 6d65 6e74 732e 2005 036c al elements. ..l │ │ │ -00004cc0: a0a0 0955 2a20 5b73 7562 7365 7420 7331 ...U* [subset s1 │ │ │ -00004cd0: 2073 325d 2074 6573 7473 2077 6865 7468 s2] tests wheth │ │ │ -00004ce0: 6572 2074 6865 2073 6574 205b 7331 5d20 er the set [s1] │ │ │ -00004cf0: 6973 2061 2073 7562 7365 7420 6f66 0a20 is a subset of. │ │ │ -00004d00: 2020 2020 2020 2020 2020 2074 6865 2073 the s │ │ │ -00004d10: 6574 205b 7332 5d2e 2005 0314 a0a0 09b7 et [s2]. ....... │ │ │ -00004d20: 2a20 4769 7665 7320 6120 6669 6e69 7465 * Gives a finite │ │ │ -00004d30: 2072 6570 7265 7365 6e74 6174 696f 6e20 representation │ │ │ -00004d40: 6f66 2074 6865 2070 7265 6469 6361 7465 of the predicate │ │ │ -00004d50: 3a20 6966 2074 6865 0a20 2020 2020 2020 : if the. │ │ │ -00004d60: 2020 2020 626f 6f6c 6561 6e20 6973 2066 boolean is f │ │ │ -00004d70: 616c 7365 2c20 7468 656e 2074 6865 2070 alse, then the p │ │ │ -00004d80: 7265 6469 6361 7465 2069 7320 6769 7665 redicate is give │ │ │ -00004d90: 6e20 696e 2065 7874 656e 7369 6f6e 2e0a n in extension.. │ │ │ -00004da0: 2020 2020 2020 2020 2020 2069 6620 6974 if it │ │ │ -00004db0: 2069 7320 7472 7565 2c20 7468 656e 2074 is true, then t │ │ │ -00004dc0: 6865 2063 6f6d 706c 656d 656e 7420 6973 he complement is │ │ │ -00004dd0: 2067 6976 656e 2005 02a5 a0a0 09c2 2a20 given .......* │ │ │ -00004de0: 5b74 7275 655d 2069 6620 7468 6520 7072 [true] if the pr │ │ │ -00004df0: 6564 6963 6174 6520 6361 6e20 6265 2067 edicate can be g │ │ │ -00004e00: 6976 656e 2061 7320 6120 6669 6e69 7465 iven as a finite │ │ │ -00004e10: 2073 6574 2028 6966 205b 656c 745d 0a20 set (if [elt]. │ │ │ -00004e20: 2020 2020 2020 6973 2061 2066 696e 6974 is a finit │ │ │ -00004e30: 6520 7479 7065 2c20 7765 2063 616e 2068 e type, we can h │ │ │ -00004e40: 6176 6520 5b69 735f 6669 6e69 7465 2078 ave [is_finite x │ │ │ -00004e50: 203d 2066 616c 7365 5d20 7965 7420 5b78 = false] yet [x │ │ │ -00004e60: 5d20 6973 0a20 2020 2020 2020 6669 6e69 ] is. fini │ │ │ -00004e70: 7465 2c20 6275 7420 7765 2064 6f6e 2774 te, but we don't │ │ │ -00004e80: 206b 6e6f 7720 686f 7720 746f 206c 6973 know how to lis │ │ │ -00004e90: 7420 6974 7320 656c 656d 656e 7473 2920 t its elements) │ │ │ -00004ea0: 0502 5fa0 a009 492a 2054 6865 205b 4d61 .._...I* The [Ma │ │ │ -00004eb0: 6b65 5d20 6675 6e63 746f 7220 636f 6e73 ke] functor cons │ │ │ -00004ec0: 7472 7563 7473 2061 6e20 696d 706c 656d tructs an implem │ │ │ -00004ed0: 656e 7461 7469 6f6e 2066 6f72 2061 6e79 entation for any │ │ │ -00004ee0: 205b 4f72 6465 7265 6454 7970 655d 2e20 [OrderedType]. │ │ │ -00004ef0: 048b 4008 0000 5300 332f 7573 722f 6269 ..@...S.3/usr/bi │ │ │ -00004f00: 6e2f 6f63 616d 6c63 2e6f 7074 222d 7723 n/ocamlc.opt"-w# │ │ │ -00004f10: 2d34 3022 2d67 2a2d 6269 6e2d 616e 6e6f -40"-g*-bin-anno │ │ │ -00004f20: 7436 2d62 696e 2d61 6e6e 6f74 2d6f 6363 t6-bin-annot-occ │ │ │ -00004f30: 7572 7265 6e63 6573 222d 4934 636c 6962 urrences"-I4clib │ │ │ -00004f40: 2f2e 636c 6962 2e6f 626a 732f 6279 7465 /.clib.objs/byte │ │ │ -00004f50: 222d 4909 2a2f 7573 722f 6c69 622f 7269 "-I.*/usr/lib/ri │ │ │ -00004f60: 7363 7636 342d 6c69 6e75 782d 676e 752f scv64-linux-gnu/ │ │ │ -00004f70: 6f63 616d 6c2f 352e 342e 302f 7374 7222 ocaml/5.4.0/str" │ │ │ -00004f80: 2d49 092e 2f75 7372 2f6c 6962 2f72 6973 -I../usr/lib/ris │ │ │ -00004f90: 6376 3634 2d6c 696e 7578 2d67 6e75 2f6f cv64-linux-gnu/o │ │ │ -00004fa0: 6361 6d6c 2f35 2e34 2e30 2f74 6872 6561 caml/5.4.0/threa │ │ │ -00004fb0: 6473 222d 4909 2b2f 7573 722f 6c69 622f ds"-I.+/usr/lib/ │ │ │ -00004fc0: 7269 7363 7636 342d 6c69 6e75 782d 676e riscv64-linux-gn │ │ │ -00004fd0: 752f 6f63 616d 6c2f 352e 342e 302f 756e u/ocaml/5.4.0/un │ │ │ -00004fe0: 6978 2e2d 6e6f 2d61 6c69 6173 2d64 6570 ix.-no-alias-dep │ │ │ -00004ff0: 7322 2d6f 0922 636c 6962 2f2e 636c 6962 s"-o."clib/.clib │ │ │ -00005000: 2e6f 626a 732f 6279 7465 2f70 7265 6469 .objs/byte/predi │ │ │ -00005010: 6361 7465 2e63 6d69 222d 6325 2d69 6e74 cate.cmi"-c%-int │ │ │ -00005020: 6605 0a2d 9005 0a2e 2f2f 776f 726b 7370 f..-....//worksp │ │ │ -00005030: 6163 655f 726f 6f74 a0a0 20a0 0412 a004 ace_root.. ..... │ │ │ -00005040: 11a0 0410 a004 0fa0 0926 2f75 7372 2f6c .........&/usr/l │ │ │ -00005050: 6962 2f72 6973 6376 3634 2d6c 696e 7578 ib/riscv64-linux │ │ │ -00005060: 2d67 6e75 2f6f 6361 6d6c 2f35 2e34 2e30 -gnu/ocaml/5.4.0 │ │ │ -00005070: 4040 9030 92c2 996a b1c7 e38d 7d15 5737 @@.0...j....}.W7 │ │ │ -00005080: 2a74 58bb 0800 0033 0005 0a38 050a 3805 *tX....3...8..8. │ │ │ -00005090: 0a38 050a 3805 0a38 050a 3805 0a38 050a .8..8..8..8..8.. │ │ │ -000050a0: 3840 050a 3740 40a0 a038 4361 6d6c 696e 8@..7@@..8Camlin │ │ │ -000050b0: 7465 726e 616c 466f 726d 6174 4261 7369 ternalFormatBasi │ │ │ -000050c0: 6373 9030 d36f dcde 5aeb 0f32 74fc de2c cs.0.o..Z..2t.., │ │ │ -000050d0: a4b1 0edd a0a0 050a 5990 3016 6ac0 678e ........Y.0.j.g. │ │ │ -000050e0: c28c bacb 1be0 0bd0 4f2b b0a0 a005 08d3 ........O+...... │ │ │ -000050f0: 9030 8d79 7bdb ce78 b021 96f5 124f fdf8 .0.y{..x.!...O.. │ │ │ -00005100: 21f4 4090 3016 6ac0 678e c28c bacb 1be0 !.@.0.j.g....... │ │ │ -00005110: 0bd0 4f2b b041 c058 0800 0043 00b0 0507 ..O+.A.X...C.... │ │ │ -00005120: 4a90 0507 7240 40b0 0502 4d96 0502 57b0 J...r@@...M...W. │ │ │ -00005130: 0504 5190 0504 9d40 b005 02e2 9005 0345 ..Q....@.......E │ │ │ -00005140: 40b0 0502 9b90 0502 d5b0 0503 b390 0503 @............... │ │ │ -00005150: ffb0 0505 0f90 0505 5bb0 0505 c790 0506 ........[....... │ │ │ -00005160: 1340 b005 08db 9905 08e3 40b0 0507 1390 .@........@..... │ │ │ -00005170: 0507 4d40 40b0 0504 1890 0504 52b0 0506 ..M@@.......R... │ │ │ -00005180: 7390 0506 bfb0 0508 bf92 0508 db40 40b0 s............@@. │ │ │ -00005190: 0504 c290 0505 0eb0 0507 d692 0507 ef40 ...............@ │ │ │ -000051a0: b005 01fe 9205 020d b005 036e 9005 03ba ...........n.... │ │ │ -000051b0: b005 07a3 9005 07cb 40b0 0506 3890 0506 ........@...8... │ │ │ -000051c0: 7240 b005 081c 9205 0835 40b0 0505 8690 r@.......5@..... │ │ │ -000051d0: 0505 d2b0 0508 7590 0508 c140 b005 06e4 ......u....@.... │ │ │ -000051e0: 9005 071e b005 0845 9905 084d 4040 5040 .......E...M@@P@ │ │ │ -000051f0: a0a0 a090 0502 0b05 020a 9005 022e a0a0 ................ │ │ │ -00005200: a0a1 0407 a005 021e 0502 0c05 020a 9390 ................ │ │ │ -00005210: 0502 35a0 a0a0 9005 0243 0502 4290 0508 ..5......C..B... │ │ │ -00005220: 57a0 a0a0 9005 027e 0502 7d90 0509 10a0 W......~..}..... │ │ │ -00005230: a0a0 9005 0307 0503 0690 0508 04a0 a0a0 ................ │ │ │ -00005240: 9005 0352 0503 5190 0508 45a0 a0a0 9005 ...R..Q...E..... │ │ │ -00005250: 0383 0503 8290 0508 0ea0 a0a0 9005 03d2 ................ │ │ │ -00005260: 0503 d190 0508 13a0 a0a0 9005 03e8 0503 ................ │ │ │ -00005270: e790 0508 18a0 a0a0 9005 0437 0504 3690 ...........7..6. │ │ │ -00005280: 0508 1da0 a0a0 9005 044d 0504 4c90 0508 .........M..L... │ │ │ -00005290: 22a0 a0a0 9005 048c 0504 8b90 0508 27a0 ".............'. │ │ │ -000052a0: a0a0 9005 04a0 0504 9f90 0508 2ca0 a0a0 ............,... │ │ │ -000052b0: 9005 04e2 0504 e190 0508 31a0 a0a0 9005 ..........1..... │ │ │ -000052c0: 04f4 0504 f390 0508 36a0 a0a0 9005 050a ........6....... │ │ │ -000052d0: 0505 0990 0508 3ba0 a0a0 9005 054c 0505 ......;......L.. │ │ │ -000052e0: 4b90 0508 40a0 a0a0 9005 055e 0505 5d90 K...@......^..]. │ │ │ -000052f0: 0508 45a0 a0a0 9005 0574 0505 7390 0508 ..E......t..s... │ │ │ -00005300: 4aa0 a0a0 9005 05b6 0505 b590 0508 4fa0 J.............O. │ │ │ -00005310: a0a0 9005 05c8 0505 c790 0508 54a0 a0a0 ............T... │ │ │ -00005320: 9005 05de 0505 dd90 0508 59a0 a0a0 9005 ..........Y..... │ │ │ -00005330: 0620 0506 1f90 0508 5ea0 a0a0 9005 0632 . ......^......2 │ │ │ -00005340: 0506 3190 0508 63a0 a0a0 9005 0648 0506 ..1...c......H.. │ │ │ -00005350: 4790 0508 a4a0 a0a0 9005 068a 0506 8990 G............... │ │ │ -00005360: 0508 6da0 a0a0 9005 069c 0506 9b90 0508 ..m............. │ │ │ -00005370: 72a0 a0a0 9005 06b2 0506 b190 0508 b3a0 r............... │ │ │ -00005380: a0a0 9005 06f1 0506 f090 0508 7ca0 a0a0 ............|... │ │ │ -00005390: 9005 0705 0507 0490 0508 bda0 a0a0 9005 ................ │ │ │ -000053a0: 0754 0507 5390 0508 86a0 a0a0 9005 076a .T..S..........j │ │ │ -000053b0: 0507 6990 0508 c7a0 a0a0 9005 07b8 0507 ..i............. │ │ │ -000053c0: b790 0508 90a0 a0a0 9005 0806 0508 0590 ................ │ │ │ -000053d0: 0508 95a0 a0a0 9005 0844 0508 4390 0508 .........D..C... │ │ │ -000053e0: 9aa0 a0a0 9005 0880 0508 7f90 0508 9fa0 ................ │ │ │ -000053f0: a0a0 9005 0960 0509 5f90 0509 91a0 a0a0 .....`.._....... │ │ │ -00005400: 9005 0976 0509 7590 0509 9640 ...v..u....@ │ │ │ +00000f30: 0104 0140 aba7 b2b2 b2b2 b2b2 b2b2 b2b2 ...@............ │ │ │ +00000f40: b2b2 b2b1 b1b1 b1b1 b1b1 b1b1 b1b1 b1b1 ................ │ │ │ +00000f50: b1b1 b1b1 b1b1 b1b1 40a3 2369 6e74 4108 ........@.#intA. │ │ │ +00000f60: 0000 3b00 4040 9040 4140 4040 4040 043a ..;.@@.@A@@@@@.: │ │ │ +00000f70: 4041 4092 0404 a324 6368 6172 4208 0000 @A@....$charB... │ │ │ +00000f80: 3b00 4040 0405 4140 4040 4040 043e 4041 ;.@@..A@@@@@.>@A │ │ │ +00000f90: 4092 0403 a326 7374 7269 6e67 5108 0000 @....&stringQ... │ │ │ +00000fa0: 3b00 4040 0409 4140 4040 4040 0442 4040 ;.@@..A@@@@@.B@@ │ │ │ +00000fb0: 4092 0403 a325 6279 7465 7343 0800 003b @....%bytesC...; │ │ │ +00000fc0: 0040 4004 0d41 4040 4040 4004 4640 4040 .@@..A@@@@@.F@@@ │ │ │ +00000fd0: 9204 03a3 2566 6c6f 6174 4408 0000 3b00 ....%floatD...;. │ │ │ +00000fe0: 4040 0411 4140 4040 4040 044a 4040 4092 @@..A@@@@@.J@@@. │ │ │ +00000ff0: 0403 a324 626f 6f6c 4508 0000 3b00 4040 ...$boolE...;.@@ │ │ │ +00001000: a2a0 e0a3 2566 616c 7365 6390 4040 0454 ....%falsec.@@.T │ │ │ +00001010: 4092 0403 a0e0 a324 7472 7565 6490 4040 @......$trued.@@ │ │ │ +00001020: 045a 4092 0403 4040 4140 4040 4040 045b .Z@...@@A@@@@@.[ │ │ │ +00001030: 4041 4092 0410 a324 756e 6974 4608 0000 @A@....$unitF... │ │ │ +00001040: 3b00 4040 a2a0 e0a3 2228 2965 9040 4004 ;.@@...."()e.@@. │ │ │ +00001050: 6540 9204 0340 4041 4040 4040 4004 6640 e@...@@A@@@@@.f@ │ │ │ +00001060: 4140 9204 0aa3 2365 786e 4708 0000 3b00 A@....#exnG...;. │ │ │ +00001070: 4040 4041 4040 4040 4004 6a40 4040 9204 @@@A@@@@@.j@@@.. │ │ │ +00001080: 03a3 2365 6666 4808 0000 3b00 a0c0 9040 ..#effH...;....@ │ │ │ +00001090: 0205 f5e1 0040 4f40 4140 4140 a07f 40a0 .....@O@A@A@..@. │ │ │ +000010a0: 4040 4040 0473 4040 4092 0408 a32c 636f @@@@.s@@@....,co │ │ │ +000010b0: 6e74 696e 7561 7469 6f6e 4908 0000 3b00 ntinuationI...;. │ │ │ +000010c0: a0c0 9040 0205 f5e1 0040 51a0 c090 4002 ...@.....@Q...@. │ │ │ +000010d0: 05f5 e100 4050 4042 0444 4140 a06e a059 ....@P@B.DA@.n.Y │ │ │ +000010e0: 40a0 40a0 4040 4040 0481 4040 4092 040d @.@.@@@@..@@@... │ │ │ +000010f0: a325 6172 7261 794a 0800 003b 00a0 c090 .%arrayJ...;.... │ │ │ +00001100: 4002 05f5 e100 4052 4041 044f 4140 a07f @.....@R@A.OA@.. │ │ │ +00001110: 40a0 4040 4040 048a 4040 4092 0408 a324 @.@@@@..@@@....$ │ │ │ +00001120: 6c69 7374 4b08 0000 3b00 a0c0 9040 0205 listK...;....@.. │ │ │ +00001130: f5e1 0040 5340 41a2 a0e0 a322 5b5d 6690 ...@S@A...."[]f. │ │ │ +00001140: 4040 0497 4092 0403 a0e0 a322 3a3a 6790 @@..@......"::g. │ │ │ +00001150: a004 0fa0 c0b3 9004 17a0 0414 4090 4002 ............@.@. │ │ │ +00001160: 05f5 e100 4054 4040 04a4 4092 040a 4040 ....@T@@..@...@@ │ │ │ +00001170: 4140 a059 40a0 4040 4040 04a7 4040 4092 A@.Y@.@@@@..@@@. │ │ │ +00001180: 041c a326 6f70 7469 6f6e 4c08 0000 3b00 ...&optionL...;. │ │ │ +00001190: a0c0 9040 0205 f5e1 0040 5640 41a2 a0e0 ...@.....@V@A... │ │ │ +000011a0: a324 4e6f 6e65 6890 4040 04b4 4092 0403 .$Noneh.@@..@... │ │ │ +000011b0: a0e0 a324 536f 6d65 6990 a004 0f40 4004 ...$Somei....@@. │ │ │ +000011c0: bb40 9204 0440 4041 40a0 5940 a040 4040 .@...@@A@.Y@.@@@ │ │ │ +000011d0: 4004 be40 4040 9204 16a3 296e 6174 6976 @..@@@....)nativ │ │ │ +000011e0: 6569 6e74 4d08 0000 3b00 4040 0489 4140 eintM...;.@@..A@ │ │ │ +000011f0: 4040 4040 04c2 4040 4092 0403 a325 696e @@@@..@@@....%in │ │ │ +00001200: 7433 324e 0800 003b 0040 4004 8d41 4040 t32N...;.@@..A@@ │ │ │ +00001210: 4040 4004 c640 4040 9204 03a3 2569 6e74 @@@..@@@....%int │ │ │ +00001220: 3634 4f08 0000 3b00 4040 0491 4140 4040 64O...;.@@..A@@@ │ │ │ +00001230: 4040 04ca 4040 4092 0403 a326 6c61 7a79 @@..@@@....&lazy │ │ │ +00001240: 5f74 5008 0000 3b00 a0c0 9040 0205 f5e1 _tP...;....@.... │ │ │ +00001250: 0040 5840 4104 9841 40a0 5940 a040 4040 .@X@A..A@.Y@.@@@ │ │ │ +00001260: 4004 d340 4040 9204 08a3 3565 7874 656e @..@@@....5exten │ │ │ +00001270: 7369 6f6e 5f63 6f6e 7374 7275 6374 6f72 sion_constructor │ │ │ +00001280: 5208 0000 3b00 4040 049e 4140 4040 4040 R...;.@@..A@@@@@ │ │ │ +00001290: 04d7 4040 4092 0403 a32a 666c 6f61 7461 ..@@@....*floata │ │ │ +000012a0: 7272 6179 5308 0000 3b00 4040 04a2 4140 rrayS...;.@@..A@ │ │ │ +000012b0: 4040 4040 04db 4040 4092 0403 a326 6961 @@@@..@@@....&ia │ │ │ +000012c0: 7272 6179 5408 0000 3b00 a0c0 9040 0205 rrayT...;....@.. │ │ │ +000012d0: f5e1 0040 5940 4104 a941 40a0 5940 a040 ...@Y@A..A@.Y@.@ │ │ │ +000012e0: 4040 4004 e440 4040 9204 08a3 2a61 746f @@@..@@@....*ato │ │ │ +000012f0: 6d69 635f 6c6f 6355 0800 003b 00a0 c090 mic_locU...;.... │ │ │ +00001300: 4002 05f5 e100 405a 4041 04b2 4140 a07f @.....@Z@A..A@.. │ │ │ +00001310: 40a0 4040 4040 04ed 4040 4092 0408 a32e @.@@@@..@@@..... │ │ │ +00001320: 4173 7365 7274 5f66 6169 6c75 7265 6008 Assert_failure`. │ │ │ +00001330: 0000 2300 9004 8b40 90a0 c092 a0a0 40c0 ..#....@......@. │ │ │ +00001340: b390 04bc 4090 4002 05f5 e100 404a a0a0 ....@.@.....@J.. │ │ │ +00001350: 40c0 b390 04cb 4090 4002 05f5 e100 4040 @.....@.@.....@@ │ │ │ +00001360: a0a0 4004 0640 0205 f5e1 0040 5b40 4041 ..@..@.....@[@@A │ │ │ +00001370: 0501 04a0 b0a0 3d6f 6361 6d6c 2e77 6172 ......=ocaml.war │ │ │ +00001380: 6e5f 6f6e 5f6c 6974 6572 616c 5f70 6174 n_on_literal_pat │ │ │ +00001390: 7465 726e 0501 0804 cf05 0108 4092 041a tern........@... │ │ │ +000013a0: a330 4469 7669 7369 6f6e 5f62 795f 7a65 .0Division_by_ze │ │ │ +000013b0: 726f 5d08 0000 2300 041b 4090 4040 4105 ro]...#...@.@@A. │ │ │ +000013c0: 010d a0b0 a004 0905 0110 04d7 0501 1040 ...............@ │ │ │ +000013d0: 9204 07a3 2b45 6e64 5f6f 665f 6669 6c65 ....+End_of_file │ │ │ +000013e0: 5c08 0000 2300 0423 4090 4040 4105 0115 \...#..#@.@@A... │ │ │ +000013f0: a0b0 a004 1105 0118 04df 0501 1840 9204 .............@.. │ │ │ +00001400: 07a3 2746 6169 6c75 7265 5908 0000 2300 ..'FailureY...#. │ │ │ +00001410: 042b 4090 a004 2640 4041 0501 1ea0 b0a0 .+@...&@@A...... │ │ │ +00001420: 041a 0501 2104 e805 0121 4092 0408 a330 ....!....!@....0 │ │ │ +00001430: 496e 7661 6c69 645f 6172 6775 6d65 6e74 Invalid_argument │ │ │ +00001440: 5808 0000 2300 0434 4090 a004 2f40 4041 X...#..4@.../@@A │ │ │ +00001450: 0501 27a0 b0a0 0423 0501 2a04 f105 012a ..'....#..*....* │ │ │ +00001460: 4092 0408 a32d 4d61 7463 685f 6661 696c @....-Match_fail │ │ │ +00001470: 7572 6556 0800 0023 0004 3d40 90a0 c092 ureV...#..=@.... │ │ │ +00001480: a0a0 4004 3ca0 a040 0438 a0a0 4004 3a40 ..@.<..@.8..@.:@ │ │ │ +00001490: 0205 f5e1 0040 6140 4041 0501 38a0 b0a0 .....@a@@A..8... │ │ │ +000014a0: 0434 0501 3b05 0102 0501 3b40 9204 10a3 .4..;.....;@.... │ │ │ +000014b0: 294e 6f74 5f66 6f75 6e64 5a08 0000 2300 )Not_foundZ...#. │ │ │ +000014c0: 044e 4090 4040 4105 0140 a0b0 a004 3c05 .N@.@@A..@....<. │ │ │ +000014d0: 0143 0501 0a05 0143 4092 0407 a32d 4f75 .C.....C@....-Ou │ │ │ +000014e0: 745f 6f66 5f6d 656d 6f72 7957 0800 0023 t_of_memoryW...# │ │ │ +000014f0: 0004 5640 9040 4041 0501 48a0 b0a0 0444 ..V@.@@A..H....D │ │ │ +00001500: 0501 4b05 0112 0501 4b40 9204 07a3 2e53 ..K.....K@.....S │ │ │ +00001510: 7461 636b 5f6f 7665 7266 6c6f 775e 0800 tack_overflow^.. │ │ │ +00001520: 0023 0004 5e40 9040 4041 0501 50a0 b0a0 .#..^@.@@A..P... │ │ │ +00001530: 044c 0501 5305 011a 0501 5340 9204 07a3 .L..S.....S@.... │ │ │ +00001540: 2e53 7973 5f62 6c6f 636b 6564 5f69 6f5f .Sys_blocked_io_ │ │ │ +00001550: 0800 0023 0004 6640 9040 4041 0501 58a0 ...#..f@.@@A..X. │ │ │ +00001560: b0a0 0454 0501 5b05 0122 0501 5b40 9204 ...T..[.."..[@.. │ │ │ +00001570: 07a3 2953 7973 5f65 7272 6f72 5b08 0000 ..)Sys_error[... │ │ │ +00001580: 2300 046e 4090 a004 6940 4041 0501 61a0 #..n@...i@@A..a. │ │ │ +00001590: b0a0 045d 0501 6405 012b 0501 6440 9204 ...]..d..+..d@.. │ │ │ +000015a0: 08a3 3a55 6e64 6566 696e 6564 5f72 6563 ..:Undefined_rec │ │ │ +000015b0: 7572 7369 7665 5f6d 6f64 756c 6561 0800 ursive_modulea.. │ │ │ +000015c0: 0023 0004 7740 90a0 c092 a0a0 4004 76a0 .#..w@......@.v. │ │ │ +000015d0: a040 0472 a0a0 4004 7440 0205 f5e1 0040 .@.r..@.t@.....@ │ │ │ +000015e0: 6840 4041 0501 72a0 b0a0 046e 0501 7505 h@@A..r....n..u. │ │ │ +000015f0: 013c 0501 7540 9204 10a3 3a43 6f6e 7469 .<..u@....:Conti │ │ │ +00001600: 6e75 6174 696f 6e5f 616c 7265 6164 795f nuation_already_ │ │ │ +00001610: 7461 6b65 6e62 0800 0023 0004 8840 9040 takenb...#...@.@ │ │ │ +00001620: 4041 0501 7aa0 b0a0 0476 0501 7d05 0144 @A..z....v..}..D │ │ │ +00001630: 0501 7d40 9204 0790 9226 5374 646c 6962 ..}@.....&Stdlib │ │ │ +00001640: 9223 496e 7440 4105 0177 a0b0 98e0 b12b .#Int@A..w.....+ │ │ │ +00001650: 4f72 6465 7265 6454 7970 6501 0114 42a0 OrderedType...B. │ │ │ +00001660: 0402 b0c0 0501 7e47 0100 aa01 00b6 c005 ......~G........ │ │ │ +00001670: 017f 4701 00aa 0100 c140 b105 0197 4240 ..G......@....B@ │ │ │ +00001680: 90d0 91b0 a0b0 a141 a008 0000 2b00 b121 .......A....+..! │ │ │ +00001690: 7401 0112 41a0 0402 b0c0 0501 8e49 0100 t...A........I.. │ │ │ +000016a0: ca01 00d3 c005 018f 4901 00ca 0100 d440 ........I......@ │ │ │ +000016b0: 4008 0000 3b00 4040 9040 4140 4040 4040 @...;.@@.@A@@@@@ │ │ │ +000016c0: b0c0 0501 9349 0100 ca01 00ce 0405 40a0 .....I........@. │ │ │ +000016d0: b0a0 296f 6361 6d6c 2e64 6f63 0501 a590 ..)ocaml.doc.... │ │ │ +000016e0: a0a0 a0c0 91a0 b209 5420 5468 6520 7479 ........T The ty │ │ │ +000016f0: 7065 206f 6620 7468 6520 656c 656d 656e pe of the elemen │ │ │ +00001700: 7473 2069 6e20 7468 6520 7365 742e 0a0a ts in the set... │ │ │ +00001710: 2020 2020 2020 2020 5468 6520 6368 6f73 The chos │ │ │ +00001720: 656e 205b 745d 207b 6220 6d75 7374 2062 en [t] {b must b │ │ │ +00001730: 6520 696e 6669 6e69 7465 7d2e 20b0 c005 e infinite}. ... │ │ │ +00001740: 01a2 4a01 00d5 0100 d9c0 0501 a34c 0101 ..J..........L.. │ │ │ +00001750: 0301 0132 4040 0403 0403 4040 4004 0340 ...2@@....@@@..@ │ │ │ +00001760: 0403 4040 40b1 0501 bb40 4040 4041 4004 ..@@@....@@@@A@. │ │ │ +00001770: 13a0 b0a0 0411 0501 b590 a0a0 a0c0 91a0 ................ │ │ │ +00001780: b204 1004 0f40 040f 040f 4040 4004 0f40 .....@....@@@..@ │ │ │ +00001790: 040f 4040 0800 0033 0005 01ad 0501 ad05 ..@@...3........ │ │ │ +000017a0: 01ad 0501 ad05 01ad 0501 ad05 01ad 0501 ................ │ │ │ +000017b0: ad40 0501 ac40 41b0 041f 0423 40a0 b090 .@...@A....#@... │ │ │ +000017c0: f0a0 2763 6f6d 7061 7265 0101 13a0 0402 ..'compare...... │ │ │ +000017d0: b0c0 0501 ba4e 0101 3401 013c c005 01bb .....N..4..<.... │ │ │ +000017e0: 4e01 0134 0101 4340 d0b1 40d0 b390 0437 N..4..C@..@....7 │ │ │ +000017f0: a090 2174 b0c0 0501 c54e 0101 3401 0146 ..!t.....N..4..F │ │ │ +00001800: c005 01c6 4e01 0134 0101 4740 40c0 b304 ....N..4..G@@... │ │ │ +00001810: 0940 9040 0205 f5e1 0040 0105 9f08 0000 .@.@.....@...... │ │ │ +00001820: 3300 0501 c705 01c7 0501 c705 01c7 0501 3............... │ │ │ +00001830: c705 01c7 0501 c705 01c7 40b1 0501 c704 ..........@..... │ │ │ +00001840: 4204 3c40 41b0 0408 0407 4040 d0b1 40d0 B.<@A.....@@..@. │ │ │ +00001850: b390 0448 a090 2174 b0c0 0501 d64e 0101 ...H..!t.....N.. │ │ │ +00001860: 3401 014b c005 01d7 4e01 0134 0101 4c40 4..K....N..4..L@ │ │ │ +00001870: 40c0 b304 0940 9040 0205 f5e1 0040 0105 @....@.@.....@.. │ │ │ +00001880: a004 11b0 0406 0405 4040 d0b3 9005 01b6 ........@@...... │ │ │ +00001890: a090 2369 6e74 b0c0 0501 e34e 0101 3401 ..#int.....N..4. │ │ │ +000018a0: 0150 c005 01e4 4e01 0134 0101 5340 40c0 .P....N..4..S@@. │ │ │ +000018b0: b304 0940 9040 0205 f5e1 0040 0105 a104 ...@.@.....@.... │ │ │ +000018c0: 1eb0 0406 0405 4040 c0c1 4004 1304 0640 ......@@..@....@ │ │ │ +000018d0: 0205 f5e1 0040 0105 a204 21b0 0416 0408 .....@....!..... │ │ │ +000018e0: 4040 c0c1 4004 2704 0540 0205 f5e1 0040 @@..@.'..@.....@ │ │ │ +000018f0: 0105 a304 24b0 042a 040b 4040 d004 0440 ....$..*..@@...@ │ │ │ +00001900: b0c0 0501 f14e 0101 3401 0138 040e 40a0 .....N..4..8..@. │ │ │ +00001910: b004 5e90 a0a0 a0c0 91a0 b20a 0000 0145 ..^............E │ │ │ +00001920: 2041 2074 6f74 616c 206f 7264 6572 696e A total orderin │ │ │ +00001930: 6720 6675 6e63 7469 6f6e 206f 7665 7220 g function over │ │ │ +00001940: 7468 6520 7365 7420 656c 656d 656e 7473 the set elements │ │ │ +00001950: 2e0a 2020 2020 2020 2020 5468 6973 2069 .. This i │ │ │ +00001960: 7320 6120 7477 6f2d 6172 6775 6d65 6e74 s a two-argument │ │ │ +00001970: 2066 756e 6374 696f 6e20 5b66 5d20 7375 function [f] su │ │ │ +00001980: 6368 2074 6861 743a 0a20 2020 2020 2020 ch that:. │ │ │ +00001990: 202d 205b 6620 6531 2065 325d 2069 7320 - [f e1 e2] is │ │ │ +000019a0: 7a65 726f 2069 6620 7468 6520 656c 656d zero if the elem │ │ │ +000019b0: 656e 7473 205b 6531 5d20 616e 6420 5b65 ents [e1] and [e │ │ │ +000019c0: 325d 2061 7265 2065 7175 616c 2c0a 2020 2] are equal,. │ │ │ +000019d0: 2020 2020 2020 2d20 5b66 2065 3120 6532 - [f e1 e2 │ │ │ +000019e0: 5d20 6973 2073 7472 6963 746c 7920 6e65 ] is strictly ne │ │ │ +000019f0: 6761 7469 7665 2069 6620 5b65 315d 2069 gative if [e1] i │ │ │ +00001a00: 7320 736d 616c 6c65 7220 7468 616e 205b s smaller than [ │ │ │ +00001a10: 6532 5d2c 0a20 2020 2020 2020 202d 2061 e2],. - a │ │ │ +00001a20: 6e64 205b 6620 6531 2065 325d 2069 7320 nd [f e1 e2] is │ │ │ +00001a30: 7374 7269 6374 6c79 2070 6f73 6974 6976 strictly positiv │ │ │ +00001a40: 6520 6966 205b 6531 5d20 6973 2067 7265 e if [e1] is gre │ │ │ +00001a50: 6174 6572 2074 6861 6e20 5b65 325d 2e0a ater than [e2].. │ │ │ +00001a60: 2020 2020 20b0 c005 01fe 4f01 0154 0101 .....O..T.. │ │ │ +00001a70: 58c0 0501 ff54 0102 9b01 02a2 4040 0403 X....T......@@.. │ │ │ +00001a80: 0403 4040 4004 0340 0403 40b1 0502 1741 ..@@@..@..@....A │ │ │ +00001a90: 4040 b004 1104 1e40 a0b0 a004 6e05 0212 @@.....@....n... │ │ │ +00001aa0: 90a0 a0a0 c091 a0b2 0411 0410 4004 1004 ............@... │ │ │ +00001ab0: 1040 4040 0410 4004 1040 0443 041d 40a0 .@@@..@..@.C..@. │ │ │ +00001ac0: c104 8504 7f41 40a0 b004 5b04 2240 4008 .....A@...[."@@. │ │ │ +00001ad0: 0000 3300 0502 0e05 020e 0502 0e05 020e ..3............. │ │ │ +00001ae0: 0502 0e05 020e 0502 0e05 020e 40b0 0448 ............@..H │ │ │ +00001af0: 045d 0424 4041 9104 0708 0000 3300 0502 .].$@A......3... │ │ │ +00001b00: 1105 0211 0502 1105 0211 0502 1105 0211 ................ │ │ │ +00001b10: 0502 1105 0211 4005 0210 4041 b0c0 0502 ......@...@A.... │ │ │ +00001b20: 1648 0100 c401 00c6 c005 0217 5501 02a3 .H..........U... │ │ │ +00001b30: 0102 a840 40a0 b0a0 0484 0502 2890 a0a0 ...@@.......(... │ │ │ +00001b40: a0c0 91a0 b209 2820 496e 7075 7420 7369 ......( Input si │ │ │ +00001b50: 676e 6174 7572 6520 6f66 2074 6865 2066 gnature of the f │ │ │ +00001b60: 756e 6374 6f72 205b 4d61 6b65 5d2e 20b0 unctor [Make]. . │ │ │ +00001b70: c005 0225 4600 7c00 7cc0 0502 2646 007c ...%F.|.|...&F.| │ │ │ +00001b80: 0100 a940 4004 0304 0340 4040 0403 4004 ...@@....@@@..@. │ │ │ +00001b90: 0340 b0c0 0502 2847 0100 aa01 00aa 0412 .@....(G........ │ │ │ +00001ba0: 4005 0226 b004 0204 1340 a0b0 98e0 b121 @..&.....@.....! │ │ │ +00001bb0: 5301 0127 45a0 0402 b0c0 0502 3257 0102 S..'E.......2W.. │ │ │ +00001bc0: aa01 02b6 c005 0233 5701 02aa 0102 b740 .......3W......@ │ │ │ +00001bd0: b105 024b 5540 90d0 91b0 a0b0 a141 a008 ...KU@.......A.. │ │ │ +00001be0: 0000 2b00 b123 656c 7401 0115 43a0 0402 ..+..#elt...C... │ │ │ +00001bf0: b0c0 0502 4259 0102 c001 02c9 c005 0243 ....BY.........C │ │ │ +00001c00: 5901 02c0 0102 cc40 4008 0000 3b00 4040 Y......@@...;.@@ │ │ │ +00001c10: 04b4 4140 4040 4040 b0c0 0502 4659 0102 ..A@@@@@....FY.. │ │ │ +00001c20: c001 02c4 0404 40a0 b004 b390 a0a0 a0c0 ......@......... │ │ │ +00001c30: 91a0 b209 2620 5468 6520 7479 7065 206f ....& The type o │ │ │ +00001c40: 6620 7468 6520 656c 656d 656e 7473 2069 f the elements i │ │ │ +00001c50: 6e20 7468 6520 7365 742e 20b0 c005 0253 n the set. ....S │ │ │ +00001c60: 5a01 02cd 0102 d1c0 0502 545a 0102 cd01 Z.........TZ.... │ │ │ +00001c70: 02fc 4040 0403 0403 4040 4004 0340 0403 ..@@....@@@..@.. │ │ │ +00001c80: 4040 40b1 0502 6c43 4040 4041 4004 11a0 @@@...lC@@@A@... │ │ │ +00001c90: b0a0 04c2 0502 6690 a0a0 a0c0 91a0 b204 ......f......... │ │ │ +00001ca0: 1004 0f40 040f 040f 4040 4004 0f40 040f ...@....@@@..@.. │ │ │ +00001cb0: 4040 0800 0033 0005 025e 0502 5e05 025e @@...3...^..^..^ │ │ │ +00001cc0: 0502 5e05 025e 0502 5e05 025e 0502 5e40 ..^..^..^..^..^@ │ │ │ +00001cd0: b405 025e 04e9 c090 91a0 c104 de04 d841 ...^...........A │ │ │ +00001ce0: 40a0 b004 b404 7b40 40a0 b004 d690 a0a0 @.....{@@....... │ │ │ +00001cf0: a0c0 91a0 b204 5104 5040 0450 0450 4040 ......Q.P@.P.P@@ │ │ │ +00001d00: 4004 5040 0450 4004 4d04 f440 41b0 042f @.P@.P@.M..@A../ │ │ │ +00001d10: 0432 40a0 b0a1 41a0 0800 002b 00b1 2174 .2@...A....+..!t │ │ │ +00001d20: 0101 1644 a004 02b0 c005 027e 5c01 02fe ...D.......~\... │ │ │ +00001d30: 0103 07c0 0502 7f5c 0102 fe01 0308 4040 .......\......@@ │ │ │ +00001d40: 0800 003b 0040 4004 f041 4040 4040 40b0 ...;.@@..A@@@@@. │ │ │ +00001d50: c005 0282 5c01 02fe 0103 0204 0440 a0b0 ....\........@.. │ │ │ +00001d60: 04ef 90a0 a0a0 c091 a0b2 3320 5468 6520 ..........3 The │ │ │ +00001d70: 7479 7065 206f 6620 7365 7473 2e20 b0c0 type of sets. .. │ │ │ +00001d80: 0502 8f5d 0103 0901 030d c005 0290 5d01 ...]..........]. │ │ │ +00001d90: 0309 0103 2540 4004 0304 0340 4040 0403 ....%@@....@@@.. │ │ │ +00001da0: 4004 0340 4040 b105 02a8 4440 4040 4140 @..@@@....D@@@A@ │ │ │ +00001db0: 0411 a0b0 a004 fe05 02a2 90a0 a0a0 c091 ................ │ │ │ +00001dc0: a0b2 0410 040f 4004 0f04 0f40 4040 040f ......@....@@@.. │ │ │ +00001dd0: 4004 0f40 4008 0000 3300 0502 9a05 029a @..@@...3....... │ │ │ +00001de0: 0502 9a05 029a 0502 9a05 029a 0502 9a05 ................ │ │ │ +00001df0: 029a 40b1 043d 0461 045b 4041 b004 1e04 ..@..=.a.[@A.... │ │ │ +00001e00: 2140 a0b0 90f0 a025 656d 7074 7901 0117 !@.....%empty... │ │ │ +00001e10: a004 02b0 c005 02a8 5f01 0327 0103 2fc0 ........_..'../. │ │ │ +00001e20: 0502 a95f 0103 2701 0334 40d0 b390 0433 ..._..'..4@....3 │ │ │ +00001e30: a090 2174 b0c0 0502 b15f 0103 2701 0336 ..!t....._..'..6 │ │ │ +00001e40: c005 02b2 5f01 0327 0103 3740 40c0 b304 ...._..'..7@@... │ │ │ +00001e50: 0940 9040 0205 f5e1 0040 0105 a408 0000 .@.@.....@...... │ │ │ +00001e60: 3300 0502 b305 02b3 0502 b305 02b3 0502 3............... │ │ │ +00001e70: b305 02b3 0502 b305 02b3 40b1 041a 043e ..........@....> │ │ │ +00001e80: 0438 4041 b004 0804 0740 40d0 0407 40b0 .8@A.....@@...@. │ │ │ +00001e90: c005 02bb 5f01 0327 0103 2b04 0a40 a0b0 ...._..'..+..@.. │ │ │ +00001ea0: 0501 2890 a0a0 a0c0 91a0 b230 2054 6865 ..(........0 The │ │ │ +00001eb0: 2065 6d70 7479 2073 6574 2e20 b0c0 0502 empty set. .... │ │ │ +00001ec0: c860 0103 3801 033c c005 02c9 6001 0338 .`..8..<....`..8 │ │ │ +00001ed0: 0103 5140 4004 0304 0340 4040 0403 4004 ..Q@@....@@@..@. │ │ │ +00001ee0: 0340 b105 02e1 4540 40b0 0411 041a 40a0 .@....E@@.....@. │ │ │ +00001ef0: b0a0 0501 3805 02dc 90a0 a0a0 c091 a0b2 ....8........... │ │ │ +00001f00: 0411 0410 4004 1004 1040 4040 0410 4004 ....@....@@@..@. │ │ │ +00001f10: 1040 0421 041d a0b0 90f0 a024 6675 6c6c .@.!.......$full │ │ │ +00001f20: 0101 18a0 0402 b0c0 0502 df62 0103 5301 ...........b..S. │ │ │ +00001f30: 035b c005 02e0 6201 0353 0103 5f40 d0b3 .[....b..S.._@.. │ │ │ +00001f40: 9004 6aa0 9021 74b0 c005 02e8 6201 0353 ..j..!t.....b..S │ │ │ +00001f50: 0103 61c0 0502 e962 0103 5301 0362 4040 ..a....b..S..b@@ │ │ │ +00001f60: c0b3 0409 4090 4002 05f5 e100 4001 05a5 ....@.@.....@... │ │ │ +00001f70: 0800 0033 0005 02ea 0502 ea05 02ea 0502 ...3............ │ │ │ +00001f80: ea05 02ea 0502 ea05 02ea 0502 ea40 b004 .............@.. │ │ │ +00001f90: 3804 4b04 3640 41b0 0408 0407 4040 d004 8.K.6@A.....@@.. │ │ │ +00001fa0: 0740 b0c0 0502 f262 0103 5301 0357 040a .@.....b..S..W.. │ │ │ +00001fb0: 40a0 b005 015f 90a0 a0a0 c091 a0b2 092a @...._.........* │ │ │ +00001fc0: 2054 6865 2073 6574 206f 6620 616c 6c20 The set of all │ │ │ +00001fd0: 656c 656d 656e 7473 2028 6f66 2074 7970 elements (of typ │ │ │ +00001fe0: 6520 5b65 6c6d 5d29 2e20 b0c0 0502 ff63 e [elm]). .....c │ │ │ +00001ff0: 0103 6301 0367 c005 0300 6301 0363 0103 ..c..g....c..c.. │ │ │ +00002000: 9640 4004 0304 0340 4040 0403 4004 0340 .@@....@@@..@..@ │ │ │ +00002010: b105 0318 4640 40b0 0411 041a 40a0 b0a0 ....F@@.....@... │ │ │ +00002020: 0501 6f05 0313 90a0 a0a0 c091 a0b2 0411 ..o............. │ │ │ +00002030: 0410 4004 1004 1040 4040 0410 4004 1040 ..@....@@@..@..@ │ │ │ +00002040: 0421 041d a0b0 90f0 a028 6973 5f65 6d70 .!.......(is_emp │ │ │ +00002050: 7479 0101 19a0 0402 b0c0 0503 1665 0103 ty...........e.. │ │ │ +00002060: 9801 03a0 c005 0317 6501 0398 0103 a840 ........e......@ │ │ │ +00002070: d0b1 40d0 b390 04a3 a090 2174 b0c0 0503 ..@.......!t.... │ │ │ +00002080: 2165 0103 9801 03aa c005 0322 6501 0398 !e........."e... │ │ │ +00002090: 0103 ab40 40c0 b304 0940 9040 0205 f5e1 ...@@....@.@.... │ │ │ +000020a0: 0040 0105 a608 0000 3300 0503 2305 0323 .@......3...#..# │ │ │ +000020b0: 0503 2305 0323 0503 2305 0323 0503 2305 ..#..#..#..#..#. │ │ │ +000020c0: 0323 40b0 043a 044d 0438 4041 b004 0804 .#@..:.M.8@A.... │ │ │ +000020d0: 0740 40d0 b390 0502 eea0 9024 626f 6f6c .@@........$bool │ │ │ +000020e0: b0c0 0503 3065 0103 9801 03af c005 0331 ....0e.........1 │ │ │ +000020f0: 6501 0398 0103 b340 40c0 b304 0940 9040 e......@@....@.@ │ │ │ +00002100: 0205 f5e1 0040 0105 a704 0fb0 0406 0405 .....@.......... │ │ │ +00002110: 4040 c0c1 4004 1504 0640 0205 f5e1 0040 @@..@....@.....@ │ │ │ +00002120: 0105 a804 12b0 0418 0408 4040 d004 0440 ..........@@...@ │ │ │ +00002130: b0c0 0503 3b65 0103 9801 039c 040b 40a0 ....;e........@. │ │ │ +00002140: b005 01a8 90a0 a0a0 c091 a0b2 0925 2054 .............% T │ │ │ +00002150: 6573 7420 7768 6574 6865 7220 6120 7365 est whether a se │ │ │ +00002160: 7420 6973 2065 6d70 7479 206f 7220 6e6f t is empty or no │ │ │ +00002170: 742e 20b0 c005 0348 6601 03b4 0103 b8c0 t. ....Hf....... │ │ │ +00002180: 0503 4966 0103 b401 03e2 4040 0403 0403 ..If......@@.... │ │ │ +00002190: 4040 4004 0340 0403 40b1 0503 6147 4040 @@@..@..@...aG@@ │ │ │ +000021a0: b004 1104 1b40 a0b0 a005 01b8 0503 5c90 .....@........\. │ │ │ +000021b0: a0a0 a0c0 91a0 b204 1104 1040 0410 0410 ...........@.... │ │ │ +000021c0: 4040 4004 1040 0410 4004 3104 1da0 b090 @@@..@..@.1..... │ │ │ +000021d0: f0a0 2769 735f 6675 6c6c 0101 1aa0 0402 ..'is_full...... │ │ │ +000021e0: b0c0 0503 5f68 0103 e401 03ec c005 0360 ...._h.........` │ │ │ +000021f0: 6801 03e4 0103 f340 d0b1 40d0 b390 04ec h......@..@..... │ │ │ +00002200: a090 2174 b0c0 0503 6a68 0103 e401 03f5 ..!t....jh...... │ │ │ +00002210: c005 036b 6801 03e4 0103 f640 40c0 b304 ...kh......@@... │ │ │ +00002220: 0940 9040 0205 f5e1 0040 0105 a908 0000 .@.@.....@...... │ │ │ +00002230: 3300 0503 6c05 036c 0503 6c05 036c 0503 3...l..l..l..l.. │ │ │ +00002240: 6c05 036c 0503 6c05 036c 40b0 044a 045f l..l..l..l@..J._ │ │ │ +00002250: 0438 4041 b004 0804 0740 40d0 b390 0503 .8@A.....@@..... │ │ │ +00002260: 37a0 9024 626f 6f6c b0c0 0503 7968 0103 7..$bool....yh.. │ │ │ +00002270: e401 03fa c005 037a 6801 03e4 0103 fe40 .......zh......@ │ │ │ +00002280: 40c0 b304 0940 9040 0205 f5e1 0040 0105 @....@.@.....@.. │ │ │ +00002290: aa04 0fb0 0406 0405 4040 c0c1 4004 1504 ........@@..@... │ │ │ +000022a0: 0640 0205 f5e1 0040 0105 ab04 12b0 0418 .@.....@........ │ │ │ +000022b0: 0408 4040 d004 0440 b0c0 0503 8468 0103 ..@@...@.....h.. │ │ │ +000022c0: e401 03e8 040b 40a0 b005 01f1 90a0 a0a0 ......@......... │ │ │ +000022d0: c091 a0b2 0934 2054 6573 7420 7768 6574 .....4 Test whet │ │ │ +000022e0: 6865 7220 6120 7365 7420 636f 6e74 6169 her a set contai │ │ │ +000022f0: 6e73 2074 6865 2077 686f 6c65 2074 7970 ns the whole typ │ │ │ +00002300: 6520 6f72 206e 6f74 2e20 b0c0 0503 9169 e or not. .....i │ │ │ +00002310: 0103 ff01 0403 c005 0392 6901 03ff 0104 ..........i..... │ │ │ +00002320: 3c40 4004 0304 0340 4040 0403 4004 0340 <@@....@@@..@..@ │ │ │ +00002330: b105 03aa 4840 40b0 0411 041b 40a0 b0a0 ....H@@.....@... │ │ │ +00002340: 0502 0105 03a5 90a0 a0a0 c091 a0b2 0411 ................ │ │ │ +00002350: 0410 4004 1004 1040 4040 0410 4004 1040 ..@....@@@..@..@ │ │ │ +00002360: 0431 041d a0b0 90f0 a023 6d65 6d01 011b .1.......#mem... │ │ │ +00002370: a004 02b0 c005 03a8 6b01 043e 0104 46c0 ........k..>..F. │ │ │ +00002380: 0503 a96b 0104 3e01 0449 40d0 b140 d0b3 ...k..>..I@..@.. │ │ │ +00002390: 9005 0171 a090 2365 6c74 b0c0 0503 b36b ...q..#elt.....k │ │ │ +000023a0: 0104 3e01 044b c005 03b4 6b01 043e 0104 ..>..K....k..>.. │ │ │ +000023b0: 4e40 40c0 b304 0940 9040 0205 f5e1 0040 N@@....@.@.....@ │ │ │ +000023c0: 0105 ac08 0000 3300 0503 b505 03b5 0503 ......3......... │ │ │ +000023d0: b505 03b5 0503 b505 03b5 0503 b505 03b5 ................ │ │ │ +000023e0: 40b0 044a 045f 0438 4041 b004 0804 0740 @..J._.8@A.....@ │ │ │ +000023f0: 40d0 b140 d0b3 9005 0146 a090 2174 b0c0 @..@.....F..!t.. │ │ │ +00002400: 0503 c46b 0104 3e01 0452 c005 03c5 6b01 ...k..>..R....k. │ │ │ +00002410: 043e 0104 5340 40c0 b304 0940 9040 0205 .>..S@@....@.@.. │ │ │ +00002420: f5e1 0040 0105 ad04 11b0 0406 0405 4040 ...@..........@@ │ │ │ +00002430: d0b3 9005 038f a090 2462 6f6f 6cb0 c005 ........$bool... │ │ │ +00002440: 03d1 6b01 043e 0104 57c0 0503 d26b 0104 ..k..>..W....k.. │ │ │ +00002450: 3e01 045b 4040 c0b3 0409 4090 4002 05f5 >..[@@....@.@... │ │ │ +00002460: e100 4001 05ae 041e b004 0604 0540 40c0 ..@..........@@. │ │ │ +00002470: c140 0413 0406 4002 05f5 e100 4001 05af .@....@.....@... │ │ │ +00002480: 0421 b004 1604 0840 40c0 c140 0427 0405 .!.....@@..@.'.. │ │ │ +00002490: 4002 05f5 e100 4001 05b0 0424 b004 2a04 @.....@....$..*. │ │ │ +000024a0: 0b40 40d0 0404 40b0 c005 03df 6b01 043e .@@...@.....k..> │ │ │ +000024b0: 0104 4204 0e40 a0b0 0502 4c90 a0a0 a0c0 ..B..@....L..... │ │ │ +000024c0: 91a0 b209 3520 5b6d 656d 2078 2073 5d20 ....5 [mem x s] │ │ │ +000024d0: 7465 7374 7320 7768 6574 6865 7220 5b78 tests whether [x │ │ │ +000024e0: 5d20 6265 6c6f 6e67 7320 746f 2074 6865 ] belongs to the │ │ │ +000024f0: 2073 6574 205b 735d 2e20 b0c0 0503 ec6c set [s]. .....l │ │ │ +00002500: 0104 5c01 0460 c005 03ed 6c01 045c 0104 ..\..`....l..\.. │ │ │ +00002510: 9a40 4004 0304 0340 4040 0403 4004 0340 .@@....@@@..@..@ │ │ │ +00002520: b105 0405 4940 40b0 0411 041e 40a0 b0a0 ....I@@.....@... │ │ │ +00002530: 0502 5c05 0400 90a0 a0a0 c091 a0b2 0411 ..\............. │ │ │ +00002540: 0410 4004 1004 1040 4040 0410 4004 1040 ..@....@@@..@..@ │ │ │ +00002550: 0443 041d a0b0 90f0 a029 7369 6e67 6c65 .C.......)single │ │ │ +00002560: 746f 6e01 011c a004 02b0 c005 0403 6e01 ton...........n. │ │ │ +00002570: 049c 0104 a4c0 0504 046e 0104 9c01 04ad .........n...... │ │ │ +00002580: 40d0 b140 d0b3 9005 01cc a090 2365 6c74 @..@........#elt │ │ │ +00002590: b0c0 0504 0e6e 0104 9c01 04af c005 040f .....n.......... │ │ │ +000025a0: 6e01 049c 0104 b240 40c0 b304 0940 9040 n......@@....@.@ │ │ │ +000025b0: 0205 f5e1 0040 0105 b108 0000 3300 0504 .....@......3... │ │ │ +000025c0: 1005 0410 0504 1005 0410 0504 1005 0410 ................ │ │ │ +000025d0: 0504 1005 0410 40b0 045c 0471 0438 4041 ......@..\.q.8@A │ │ │ +000025e0: b004 0804 0740 40d0 b390 0501 9fa0 9021 .....@@........! │ │ │ +000025f0: 74b0 c005 041d 6e01 049c 0104 b6c0 0504 t.....n......... │ │ │ +00002600: 1e6e 0104 9c01 04b7 4040 c0b3 0409 4090 .n......@@....@. │ │ │ +00002610: 4002 05f5 e100 4001 05b2 040f b004 0604 @.....@......... │ │ │ +00002620: 0540 40c0 c140 0415 0406 4002 05f5 e100 .@@..@....@..... │ │ │ +00002630: 4001 05b3 0412 b004 1804 0840 40d0 0404 @..........@@... │ │ │ +00002640: 40b0 c005 0428 6e01 049c 0104 a004 0b40 @....(n........@ │ │ │ +00002650: a0b0 0502 9590 a0a0 a0c0 91a0 b209 4020 ..............@ │ │ │ +00002660: 5b73 696e 676c 6574 6f6e 2078 5d20 7265 [singleton x] re │ │ │ +00002670: 7475 726e 7320 7468 6520 6f6e 652d 656c turns the one-el │ │ │ +00002680: 656d 656e 7420 7365 7420 636f 6e74 6169 ement set contai │ │ │ +00002690: 6e69 6e67 206f 6e6c 7920 5b78 5d2e 20b0 ning only [x]. . │ │ │ +000026a0: c005 0435 6f01 04b8 0104 bcc0 0504 366f ...5o.........6o │ │ │ +000026b0: 0104 b801 0501 4040 0403 0403 4040 4004 ......@@....@@@. │ │ │ +000026c0: 0340 0403 40b1 0504 4e4a 4040 b004 1104 .@..@...NJ@@.... │ │ │ +000026d0: 1b40 a0b0 a005 02a5 0504 4990 a0a0 a0c0 .@........I..... │ │ │ +000026e0: 91a0 b204 1104 1040 0410 0410 4040 4004 .......@....@@@. │ │ │ +000026f0: 1040 0410 4004 3104 1da0 b090 f0a0 2361 .@..@.1.......#a │ │ │ +00002700: 6464 0101 1da0 0402 b0c0 0504 4c71 0105 dd..........Lq.. │ │ │ +00002710: 0301 050b c005 044d 7101 0503 0105 0e40 .......Mq......@ │ │ │ +00002720: d0b1 40d0 b390 0502 15a0 9023 656c 74b0 ..@........#elt. │ │ │ +00002730: c005 0457 7101 0503 0105 10c0 0504 5871 ...Wq.........Xq │ │ │ +00002740: 0105 0301 0513 4040 c0b3 0409 4090 4002 ......@@....@.@. │ │ │ +00002750: 05f5 e100 4001 05b4 0800 0033 0005 0459 ....@......3...Y │ │ │ +00002760: 0504 5905 0459 0504 5905 0459 0504 5905 ..Y..Y..Y..Y..Y. │ │ │ +00002770: 0459 0504 5940 b004 4a04 5f04 3840 41b0 .Y..Y@..J._.8@A. │ │ │ +00002780: 0408 0407 4040 d0b1 40d0 b390 0501 eaa0 ....@@..@....... │ │ │ +00002790: 9021 74b0 c005 0468 7101 0503 0105 17c0 .!t....hq....... │ │ │ +000027a0: 0504 6971 0105 0301 0518 4040 c0b3 0409 ..iq......@@.... │ │ │ +000027b0: 4090 4002 05f5 e100 4001 05b5 0411 b004 @.@.....@....... │ │ │ +000027c0: 0604 0540 40d0 b390 0501 f7a0 9021 74b0 ...@@........!t. │ │ │ +000027d0: c005 0475 7101 0503 0105 1cc0 0504 7671 ...uq.........vq │ │ │ +000027e0: 0105 0301 051d 4040 c0b3 0409 4090 4002 ......@@....@.@. │ │ │ +000027f0: 05f5 e100 4001 05b6 041e b004 0604 0540 ....@..........@ │ │ │ +00002800: 40c0 c140 0413 0406 4002 05f5 e100 4001 @..@....@.....@. │ │ │ +00002810: 05b7 0421 b004 1604 0840 40c0 c140 0427 ...!.....@@..@.' │ │ │ +00002820: 0405 4002 05f5 e100 4001 05b8 0424 b004 ..@.....@....$.. │ │ │ +00002830: 2a04 0b40 40d0 0404 40b0 c005 0483 7101 *..@@...@.....q. │ │ │ +00002840: 0503 0105 0704 0e40 a0b0 0502 f090 a0a0 .......@........ │ │ │ +00002850: a0c0 91a0 b209 8620 5b61 6464 2078 2073 ....... [add x s │ │ │ +00002860: 5d20 7265 7475 726e 7320 6120 7365 7420 ] returns a set │ │ │ +00002870: 636f 6e74 6169 6e69 6e67 2061 6c6c 2065 containing all e │ │ │ +00002880: 6c65 6d65 6e74 7320 6f66 205b 735d 2c0a lements of [s],. │ │ │ +00002890: 2020 2020 2020 2020 706c 7573 205b 785d plus [x] │ │ │ +000028a0: 2e20 4966 205b 785d 2077 6173 2061 6c72 . If [x] was alr │ │ │ +000028b0: 6561 6479 2069 6e20 5b73 5d2c 2074 6865 eady in [s], the │ │ │ +000028c0: 6e20 5b73 5d20 6973 2072 6574 7572 6e65 n [s] is returne │ │ │ +000028d0: 6420 756e 6368 616e 6765 642e 20b0 c005 d unchanged. ... │ │ │ +000028e0: 0490 7201 051e 0105 22c0 0504 9173 0105 ..r....."....s.. │ │ │ +000028f0: 5e01 05ad 4040 0403 0403 4040 4004 0340 ^...@@....@@@..@ │ │ │ +00002900: 0403 40b1 0504 a94b 4040 b004 1104 1e40 ..@....K@@.....@ │ │ │ +00002910: a0b0 a005 0300 0504 a490 a0a0 a0c0 91a0 ................ │ │ │ +00002920: b204 1104 1040 0410 0410 4040 4004 1040 .....@....@@@..@ │ │ │ +00002930: 0410 4004 4304 1da0 b090 f0a0 2672 656d ..@.C.......&rem │ │ │ +00002940: 6f76 6501 011e a004 02b0 c005 04a7 7501 ove...........u. │ │ │ +00002950: 05af 0105 b7c0 0504 a875 0105 af01 05bd .........u...... │ │ │ +00002960: 40d0 b140 d0b3 9005 0270 a090 2365 6c74 @..@.....p..#elt │ │ │ +00002970: b0c0 0504 b275 0105 af01 05bf c005 04b3 .....u.......... │ │ │ +00002980: 7501 05af 0105 c240 40c0 b304 0940 9040 u......@@....@.@ │ │ │ +00002990: 0205 f5e1 0040 0105 b908 0000 3300 0504 .....@......3... │ │ │ +000029a0: b405 04b4 0504 b405 04b4 0504 b405 04b4 ................ │ │ │ +000029b0: 0504 b405 04b4 40b0 045c 0471 0438 4041 ......@..\.q.8@A │ │ │ +000029c0: b004 0804 0740 40d0 b140 d0b3 9005 0245 .....@@..@.....E │ │ │ +000029d0: a090 2174 b0c0 0504 c375 0105 af01 05c6 ..!t.....u...... │ │ │ +000029e0: c005 04c4 7501 05af 0105 c740 40c0 b304 ....u......@@... │ │ │ +000029f0: 0940 9040 0205 f5e1 0040 0105 ba04 11b0 .@.@.....@...... │ │ │ +00002a00: 0406 0405 4040 d0b3 9005 0252 a090 2174 ....@@.....R..!t │ │ │ +00002a10: b0c0 0504 d075 0105 af01 05cb c005 04d1 .....u.......... │ │ │ +00002a20: 7501 05af 0105 cc40 40c0 b304 0940 9040 u......@@....@.@ │ │ │ +00002a30: 0205 f5e1 0040 0105 bb04 1eb0 0406 0405 .....@.......... │ │ │ +00002a40: 4040 c0c1 4004 1304 0640 0205 f5e1 0040 @@..@....@.....@ │ │ │ +00002a50: 0105 bc04 21b0 0416 0408 4040 c0c1 4004 ....!.....@@..@. │ │ │ +00002a60: 2704 0540 0205 f5e1 0040 0105 bd04 24b0 '..@.....@....$. │ │ │ +00002a70: 042a 040b 4040 d004 0440 b0c0 0504 de75 .*..@@...@.....u │ │ │ +00002a80: 0105 af01 05b3 040e 40a0 b005 034b 90a0 ........@....K.. │ │ │ +00002a90: a0a0 c091 a0b2 098b 205b 7265 6d6f 7665 ........ [remove │ │ │ +00002aa0: 2078 2073 5d20 7265 7475 726e 7320 6120 x s] returns a │ │ │ +00002ab0: 7365 7420 636f 6e74 6169 6e69 6e67 2061 set containing a │ │ │ +00002ac0: 6c6c 2065 6c65 6d65 6e74 7320 6f66 205b ll elements of [ │ │ │ +00002ad0: 735d 2c0a 2020 2020 2020 2020 2020 2020 s],. │ │ │ +00002ae0: 6578 6365 7074 205b 785d 2e20 4966 205b except [x]. If [ │ │ │ +00002af0: 785d 2077 6173 206e 6f74 2069 6e20 5b73 x] was not in [s │ │ │ +00002b00: 5d2c 2074 6865 6e20 5b73 5d20 6973 2072 ], then [s] is r │ │ │ +00002b10: 6574 7572 6e65 6420 756e 6368 616e 6765 eturned unchange │ │ │ +00002b20: 642e 20b0 c005 04eb 7601 05cd 0105 d5c0 d. .....v....... │ │ │ +00002b30: 0504 ec77 0106 1401 0665 4040 0403 0403 ...w.....e@@.... │ │ │ +00002b40: 4040 4004 0340 0403 40b1 0505 044c 4040 @@@..@..@....L@@ │ │ │ +00002b50: b004 1104 1e40 a0b0 a005 035b 0504 ff90 .....@.....[.... │ │ │ +00002b60: a0a0 a0c0 91a0 b204 1104 1040 0410 0410 ...........@.... │ │ │ +00002b70: 4040 4004 1040 0410 4004 4304 1da0 b090 @@@..@..@.C..... │ │ │ +00002b80: f0a0 2575 6e69 6f6e 0101 1fa0 0402 b0c0 ..%union........ │ │ │ +00002b90: 0505 0279 0106 6701 066f c005 0503 7901 ...y..g..o....y. │ │ │ +00002ba0: 0667 0106 7440 d0b1 40d0 b390 0502 8fa0 .g..t@..@....... │ │ │ +00002bb0: 9021 74b0 c005 050d 7901 0667 0106 76c0 .!t.....y..g..v. │ │ │ +00002bc0: 0505 0e79 0106 6701 0677 4040 c0b3 0409 ...y..g..w@@.... │ │ │ +00002bd0: 4090 4002 05f5 e100 4001 05be 0800 0033 @.@.....@......3 │ │ │ +00002be0: 0005 050f 0505 0f05 050f 0505 0f05 050f ................ │ │ │ +00002bf0: 0505 0f05 050f 0505 0f40 b004 5c04 7104 .........@..\.q. │ │ │ +00002c00: 3840 41b0 0408 0407 4040 d0b1 40d0 b390 8@A.....@@..@... │ │ │ +00002c10: 0502 a0a0 9021 74b0 c005 051e 7901 0667 .....!t.....y..g │ │ │ +00002c20: 0106 7bc0 0505 1f79 0106 6701 067c 4040 ..{....y..g..|@@ │ │ │ +00002c30: c0b3 0409 4090 4002 05f5 e100 4001 05bf ....@.@.....@... │ │ │ +00002c40: 0411 b004 0604 0540 40d0 b390 0502 ada0 .......@@....... │ │ │ +00002c50: 9021 74b0 c005 052b 7901 0667 0106 80c0 .!t....+y..g.... │ │ │ +00002c60: 0505 2c79 0106 6701 0681 4040 c0b3 0409 ..,y..g...@@.... │ │ │ +00002c70: 4090 4002 05f5 e100 4001 05c0 041e b004 @.@.....@....... │ │ │ +00002c80: 0604 0540 40c0 c140 0413 0406 4002 05f5 ...@@..@....@... │ │ │ +00002c90: e100 4001 05c1 0421 b004 1604 0840 40c0 ..@....!.....@@. │ │ │ +00002ca0: c140 0427 0405 4002 05f5 e100 4001 05c2 .@.'..@.....@... │ │ │ +00002cb0: 0424 b004 2a04 0b40 40d0 0404 40b0 c005 .$..*..@@...@... │ │ │ +00002cc0: 0539 7901 0667 0106 6b04 0e40 a0b0 0503 .9y..g..k..@.... │ │ │ +00002cd0: a690 a0a0 a0c0 91a0 b22c 2053 6574 2075 ........., Set u │ │ │ +00002ce0: 6e69 6f6e 2e20 b0c0 0505 467a 0106 8201 nion. ....Fz.... │ │ │ +00002cf0: 0686 c005 0547 7a01 0682 0106 9740 4004 .....Gz......@@. │ │ │ +00002d00: 0304 0340 4040 0403 4004 0340 b105 055f ...@@@..@..@..._ │ │ │ +00002d10: 4d40 40b0 0411 041e 40a0 b0a0 0503 b605 M@@.....@....... │ │ │ +00002d20: 055a 90a0 a0a0 c091 a0b2 0411 0410 4004 .Z............@. │ │ │ +00002d30: 1004 1040 4040 0410 4004 1040 0443 041d ...@@@..@..@.C.. │ │ │ +00002d40: a0b0 90f0 a025 696e 7465 7201 0120 a004 .....%inter.. .. │ │ │ +00002d50: 02b0 c005 055d 7c01 0699 0106 a1c0 0505 .....]|......... │ │ │ +00002d60: 5e7c 0106 9901 06a6 40d0 b140 d0b3 9005 ^|......@..@.... │ │ │ +00002d70: 02ea a090 2174 b0c0 0505 687c 0106 9901 ....!t....h|.... │ │ │ +00002d80: 06a8 c005 0569 7c01 0699 0106 a940 40c0 .....i|......@@. │ │ │ +00002d90: b304 0940 9040 0205 f5e1 0040 0105 c308 ...@.@.....@.... │ │ │ +00002da0: 0000 3300 0505 6a05 056a 0505 6a05 056a ..3...j..j..j..j │ │ │ +00002db0: 0505 6a05 056a 0505 6a05 056a 40b0 045c ..j..j..j..j@..\ │ │ │ +00002dc0: 0471 0438 4041 b004 0804 0740 40d0 b140 .q.8@A.....@@..@ │ │ │ +00002dd0: d0b3 9005 02fb a090 2174 b0c0 0505 797c ........!t....y| │ │ │ +00002de0: 0106 9901 06ad c005 057a 7c01 0699 0106 .........z|..... │ │ │ +00002df0: ae40 40c0 b304 0940 9040 0205 f5e1 0040 .@@....@.@.....@ │ │ │ +00002e00: 0105 c404 11b0 0406 0405 4040 d0b3 9005 ..........@@.... │ │ │ +00002e10: 0308 a090 2174 b0c0 0505 867c 0106 9901 ....!t.....|.... │ │ │ +00002e20: 06b2 c005 0587 7c01 0699 0106 b340 40c0 ......|......@@. │ │ │ +00002e30: b304 0940 9040 0205 f5e1 0040 0105 c504 ...@.@.....@.... │ │ │ +00002e40: 1eb0 0406 0405 4040 c0c1 4004 1304 0640 ......@@..@....@ │ │ │ +00002e50: 0205 f5e1 0040 0105 c604 21b0 0416 0408 .....@....!..... │ │ │ +00002e60: 4040 c0c1 4004 2704 0540 0205 f5e1 0040 @@..@.'..@.....@ │ │ │ +00002e70: 0105 c704 24b0 042a 040b 4040 d004 0440 ....$..*..@@...@ │ │ │ +00002e80: b0c0 0505 947c 0106 9901 069d 040e 40a0 .....|........@. │ │ │ +00002e90: b005 0401 90a0 a0a0 c091 a0b2 3320 5365 ............3 Se │ │ │ +00002ea0: 7420 696e 7465 7273 6563 7469 6f6e 2e20 t intersection. │ │ │ +00002eb0: b0c0 0505 a17d 0106 b401 06b8 c005 05a2 .....}.......... │ │ │ +00002ec0: 7d01 06b4 0106 d040 4004 0304 0340 4040 }......@@....@@@ │ │ │ +00002ed0: 0403 4004 0340 b105 05ba 4e40 40b0 0411 ..@..@....N@@... │ │ │ +00002ee0: 041e 40a0 b0a0 0504 1105 05b5 90a0 a0a0 ..@............. │ │ │ +00002ef0: c091 a0b2 0411 0410 4004 1004 1040 4040 ........@....@@@ │ │ │ +00002f00: 0410 4004 1040 0443 041d a0b0 90f0 a024 ..@..@.C.......$ │ │ │ +00002f10: 6469 6666 0101 21a0 0402 b0c0 0505 b87f diff..!......... │ │ │ +00002f20: 0106 d201 06da c005 05b9 7f01 06d2 0106 ................ │ │ │ +00002f30: de40 d0b1 40d0 b390 0503 45a0 9021 74b0 .@..@.....E..!t. │ │ │ +00002f40: c005 05c3 7f01 06d2 0106 e0c0 0505 c47f ................ │ │ │ +00002f50: 0106 d201 06e1 4040 c0b3 0409 4090 4002 ......@@....@.@. │ │ │ +00002f60: 05f5 e100 4001 05c8 0800 0033 0005 05c5 ....@......3.... │ │ │ +00002f70: 0505 c505 05c5 0505 c505 05c5 0505 c505 ................ │ │ │ +00002f80: 05c5 0505 c540 b004 5c04 7104 3840 41b0 .....@..\.q.8@A. │ │ │ +00002f90: 0408 0407 4040 d0b1 40d0 b390 0503 56a0 ....@@..@.....V. │ │ │ +00002fa0: 9021 74b0 c005 05d4 7f01 06d2 0106 e5c0 .!t............. │ │ │ +00002fb0: 0505 d57f 0106 d201 06e6 4040 c0b3 0409 ..........@@.... │ │ │ +00002fc0: 4090 4002 05f5 e100 4001 05c9 0411 b004 @.@.....@....... │ │ │ +00002fd0: 0604 0540 40d0 b390 0503 63a0 9021 74b0 ...@@.....c..!t. │ │ │ +00002fe0: c005 05e1 7f01 06d2 0106 eac0 0505 e27f ................ │ │ │ +00002ff0: 0106 d201 06eb 4040 c0b3 0409 4090 4002 ......@@....@.@. │ │ │ +00003000: 05f5 e100 4001 05ca 041e b004 0604 0540 ....@..........@ │ │ │ +00003010: 40c0 c140 0413 0406 4002 05f5 e100 4001 @..@....@.....@. │ │ │ +00003020: 05cb 0421 b004 1604 0840 40c0 c140 0427 ...!.....@@..@.' │ │ │ +00003030: 0405 4002 05f5 e100 4001 05cc 0424 b004 ..@.....@....$.. │ │ │ +00003040: 2a04 0b40 40d0 0404 40b0 c005 05ef 7f01 *..@@...@....... │ │ │ +00003050: 06d2 0106 d604 0e40 a0b0 0504 5c90 a0a0 .......@....\... │ │ │ +00003060: a0c0 91a0 b231 2053 6574 2064 6966 6665 .....1 Set diffe │ │ │ +00003070: 7265 6e63 652e 20b0 c005 05fc 0040 0106 rence. ......@.. │ │ │ +00003080: ec01 06f0 c005 05fd 0040 0106 ec01 0706 .........@...... │ │ │ +00003090: 4040 0403 0403 4040 4004 0340 0403 40b1 @@....@@@..@..@. │ │ │ +000030a0: 0506 154f 4040 b004 1104 1e40 a0b0 a005 ...O@@.....@.... │ │ │ +000030b0: 046c 0506 1090 a0a0 a0c0 91a0 b204 1104 .l.............. │ │ │ +000030c0: 1040 0410 0410 4040 4004 1040 0410 4004 .@....@@@..@..@. │ │ │ +000030d0: 4304 1da0 b090 f0a0 2a63 6f6d 706c 656d C.......*complem │ │ │ +000030e0: 656e 7401 0122 a004 02b0 c005 0613 0042 ent..".........B │ │ │ +000030f0: 0107 0801 0710 c005 0614 0042 0107 0801 ...........B.... │ │ │ +00003100: 071a 40d0 b140 d0b3 9005 03a0 a090 2174 ..@..@........!t │ │ │ +00003110: b0c0 0506 1e00 4201 0708 0107 1cc0 0506 ......B......... │ │ │ +00003120: 1f00 4201 0708 0107 1d40 40c0 b304 0940 ..B......@@....@ │ │ │ +00003130: 9040 0205 f5e1 0040 0105 cd08 0000 3300 .@.....@......3. │ │ │ +00003140: 0506 2005 0620 0506 2005 0620 0506 2005 .. .. .. .. .. . │ │ │ +00003150: 0620 0506 2005 0620 40b0 045c 0471 0438 . .. .. @..\.q.8 │ │ │ +00003160: 4041 b004 0804 0740 40d0 b390 0503 afa0 @A.....@@....... │ │ │ +00003170: 9021 74b0 c005 062d 0042 0107 0801 0721 .!t....-.B.....! │ │ │ +00003180: c005 062e 0042 0107 0801 0722 4040 c0b3 .....B....."@@.. │ │ │ +00003190: 0409 4090 4002 05f5 e100 4001 05ce 040f ..@.@.....@..... │ │ │ +000031a0: b004 0604 0540 40c0 c140 0415 0406 4002 .....@@..@....@. │ │ │ +000031b0: 05f5 e100 4001 05cf 0412 b004 1804 0840 ....@..........@ │ │ │ +000031c0: 40d0 0404 40b0 c005 0638 0042 0107 0801 @...@....8.B.... │ │ │ +000031d0: 070c 040b 40a0 b005 04a5 90a0 a0a0 c091 ....@........... │ │ │ +000031e0: a0b2 3120 5365 7420 636f 6d70 6c65 6d65 ..1 Set compleme │ │ │ +000031f0: 6e74 2e20 b0c0 0506 4500 4301 0723 0107 nt. ....E.C..#.. │ │ │ +00003200: 27c0 0506 4600 4301 0723 0107 3d40 4004 '...F.C..#..=@@. │ │ │ +00003210: 0304 0340 4040 0403 4004 0340 b105 065e ...@@@..@..@...^ │ │ │ +00003220: 5040 40b0 0411 041b 40a0 b0a0 0504 b505 P@@.....@....... │ │ │ +00003230: 0659 90a0 a0a0 c091 a0b2 0411 0410 4004 .Y............@. │ │ │ +00003240: 1004 1040 4040 0410 4004 1040 0431 041d ...@@@..@..@.1.. │ │ │ +00003250: a0b0 90f0 a025 6571 7561 6c01 0123 a004 .....%equal..#.. │ │ │ +00003260: 02b0 c005 065c 0045 0107 3f01 0747 c005 .....\.E..?..G.. │ │ │ +00003270: 065d 0045 0107 3f01 074c 40d0 b140 d0b3 .].E..?..L@..@.. │ │ │ +00003280: 9005 03e9 a090 2174 b0c0 0506 6700 4501 ......!t....g.E. │ │ │ +00003290: 073f 0107 4ec0 0506 6800 4501 073f 0107 .?..N...h.E..?.. │ │ │ +000032a0: 4f40 40c0 b304 0940 9040 0205 f5e1 0040 O@@....@.@.....@ │ │ │ +000032b0: 0105 d008 0000 3300 0506 6905 0669 0506 ......3...i..i.. │ │ │ +000032c0: 6905 0669 0506 6905 0669 0506 6905 0669 i..i..i..i..i..i │ │ │ +000032d0: 40b0 044a 045f 0438 4041 b004 0804 0740 @..J._.8@A.....@ │ │ │ +000032e0: 40d0 b140 d0b3 9005 03fa a090 2174 b0c0 @..@........!t.. │ │ │ +000032f0: 0506 7800 4501 073f 0107 53c0 0506 7900 ..x.E..?..S...y. │ │ │ +00003300: 4501 073f 0107 5440 40c0 b304 0940 9040 E..?..T@@....@.@ │ │ │ +00003310: 0205 f5e1 0040 0105 d104 11b0 0406 0405 .....@.......... │ │ │ +00003320: 4040 d0b3 9005 0643 a090 2462 6f6f 6cb0 @@.....C..$bool. │ │ │ +00003330: c005 0685 0045 0107 3f01 0758 c005 0686 .....E..?..X.... │ │ │ +00003340: 0045 0107 3f01 075c 4040 c0b3 0409 4090 .E..?..\@@....@. │ │ │ +00003350: 4002 05f5 e100 4001 05d2 041e b004 0604 @.....@......... │ │ │ +00003360: 0540 40c0 c140 0413 0406 4002 05f5 e100 .@@..@....@..... │ │ │ +00003370: 4001 05d3 0421 b004 1604 0840 40c0 c140 @....!.....@@..@ │ │ │ +00003380: 0427 0405 4002 05f5 e100 4001 05d4 0424 .'..@.....@....$ │ │ │ +00003390: b004 2a04 0b40 40d0 0404 40b0 c005 0693 ..*..@@...@..... │ │ │ +000033a0: 0045 0107 3f01 0743 040e 40a0 b005 0500 .E..?..C..@..... │ │ │ +000033b0: 90a0 a0a0 c091 a0b2 0968 205b 6571 7561 .........h [equa │ │ │ +000033c0: 6c20 7331 2073 325d 2074 6573 7473 2077 l s1 s2] tests w │ │ │ +000033d0: 6865 7468 6572 2074 6865 2073 6574 7320 hether the sets │ │ │ +000033e0: 5b73 315d 2061 6e64 205b 7332 5d20 6172 [s1] and [s2] ar │ │ │ +000033f0: 650a 2020 2020 2020 2020 6571 7561 6c2c e. equal, │ │ │ +00003400: 2074 6861 7420 6973 2c20 636f 6e74 6169 that is, contai │ │ │ +00003410: 6e20 6571 7561 6c20 656c 656d 656e 7473 n equal elements │ │ │ +00003420: 2e20 b0c0 0506 a000 4601 075d 0107 61c0 . ......F..]..a. │ │ │ +00003430: 0506 a100 4701 079c 0107 ce40 4004 0304 ....G......@@... │ │ │ +00003440: 0340 4040 0403 4004 0340 b105 06b9 5140 .@@@..@..@....Q@ │ │ │ +00003450: 40b0 0411 041e 40a0 b0a0 0505 1005 06b4 @.....@......... │ │ │ +00003460: 90a0 a0a0 c091 a0b2 0411 0410 4004 1004 ............@... │ │ │ +00003470: 1040 4040 0410 4004 1040 0443 041d a0b0 .@@@..@..@.C.... │ │ │ +00003480: 90f0 a026 7375 6273 6574 0101 24a0 0402 ...&subset..$... │ │ │ +00003490: b0c0 0506 b700 4901 07d0 0107 d8c0 0506 ......I......... │ │ │ +000034a0: b800 4901 07d0 0107 de40 d0b1 40d0 b390 ..I......@..@... │ │ │ +000034b0: 0504 44a0 9021 74b0 c005 06c2 0049 0107 ..D..!t......I.. │ │ │ +000034c0: d001 07e0 c005 06c3 0049 0107 d001 07e1 .........I...... │ │ │ +000034d0: 4040 c0b3 0409 4090 4002 05f5 e100 4001 @@....@.@.....@. │ │ │ +000034e0: 05d5 0800 0033 0005 06c4 0506 c405 06c4 .....3.......... │ │ │ +000034f0: 0506 c405 06c4 0506 c405 06c4 0506 c440 ...............@ │ │ │ +00003500: b004 5c04 7104 3840 41b0 0408 0407 4040 ..\.q.8@A.....@@ │ │ │ +00003510: d0b1 40d0 b390 0504 55a0 9021 74b0 c005 ..@.....U..!t... │ │ │ +00003520: 06d3 0049 0107 d001 07e5 c005 06d4 0049 ...I...........I │ │ │ +00003530: 0107 d001 07e6 4040 c0b3 0409 4090 4002 ......@@....@.@. │ │ │ +00003540: 05f5 e100 4001 05d6 0411 b004 0604 0540 ....@..........@ │ │ │ +00003550: 40d0 b390 0506 9ea0 9024 626f 6f6c b0c0 @........$bool.. │ │ │ +00003560: 0506 e000 4901 07d0 0107 eac0 0506 e100 ....I........... │ │ │ +00003570: 4901 07d0 0107 ee40 40c0 b304 0940 9040 I......@@....@.@ │ │ │ +00003580: 0205 f5e1 0040 0105 d704 1eb0 0406 0405 .....@.......... │ │ │ +00003590: 4040 c0c1 4004 1304 0640 0205 f5e1 0040 @@..@....@.....@ │ │ │ +000035a0: 0105 d804 21b0 0416 0408 4040 c0c1 4004 ....!.....@@..@. │ │ │ +000035b0: 2704 0540 0205 f5e1 0040 0105 d904 24b0 '..@.....@....$. │ │ │ +000035c0: 042a 040b 4040 d004 0440 b0c0 0506 ee00 .*..@@...@...... │ │ │ +000035d0: 4901 07d0 0107 d404 0e40 a0b0 0505 5b90 I........@....[. │ │ │ +000035e0: a0a0 a0c0 91a0 b209 5420 5b73 7562 7365 ........T [subse │ │ │ +000035f0: 7420 7331 2073 325d 2074 6573 7473 2077 t s1 s2] tests w │ │ │ +00003600: 6865 7468 6572 2074 6865 2073 6574 205b hether the set [ │ │ │ +00003610: 7331 5d20 6973 2061 2073 7562 7365 7420 s1] is a subset │ │ │ +00003620: 6f66 0a20 2020 2020 2020 2020 2020 2074 of. t │ │ │ +00003630: 6865 2073 6574 205b 7332 5d2e 20b0 c005 he set [s2]. ... │ │ │ +00003640: 06fb 004a 0107 ef01 07f7 c005 06fc 004b ...J...........K │ │ │ +00003650: 0108 3401 0850 4040 0403 0403 4040 4004 ..4..P@@....@@@. │ │ │ +00003660: 0340 0403 40b1 0507 1452 4040 b004 1104 .@..@....R@@.... │ │ │ +00003670: 1e40 a0b0 a005 056b 0507 0f90 a0a0 a0c0 .@.....k........ │ │ │ +00003680: 91a0 b204 1104 1040 0410 0410 4040 4004 .......@....@@@. │ │ │ +00003690: 1040 0410 4004 4304 1da0 b090 f0a0 2865 .@..@.C.......(e │ │ │ +000036a0: 6c65 6d65 6e74 7301 0125 a004 02b0 c005 lements..%...... │ │ │ +000036b0: 0712 004d 0108 5201 085a c005 0713 004d ...M..R..Z.....M │ │ │ +000036c0: 0108 5201 0862 40d0 b140 d0b3 9005 049f ..R..b@..@...... │ │ │ +000036d0: a090 2174 b0c0 0507 1d00 4d01 0852 0108 ..!t......M..R.. │ │ │ +000036e0: 64c0 0507 1e00 4d01 0852 0108 6540 40c0 d.....M..R..e@@. │ │ │ +000036f0: b304 0940 9040 0205 f5e1 0040 0105 da08 ...@.@.....@.... │ │ │ +00003700: 0000 3300 0507 1f05 071f 0507 1f05 071f ..3............. │ │ │ +00003710: 0507 1f05 071f 0507 1f05 071f 40b0 045c ............@..\ │ │ │ +00003720: 0471 0438 4041 b004 0804 0740 40d0 92a0 .q.8@A.....@@... │ │ │ +00003730: a040 d0b3 9005 06ee a090 2462 6f6f 6cb0 .@........$bool. │ │ │ +00003740: c005 0730 004d 0108 5201 0869 c005 0731 ...0.M..R..i...1 │ │ │ +00003750: 004d 0108 5201 086d 4040 c0b3 0409 4090 .M..R..m@@....@. │ │ │ +00003760: 4002 05f5 e100 4001 05db 0413 b004 0604 @.....@......... │ │ │ +00003770: 0540 40a0 a040 d0b3 9005 06bd a090 246c .@@..@........$l │ │ │ +00003780: 6973 74b0 c005 073f 004d 0108 5201 0874 ist....?.M..R..t │ │ │ +00003790: c005 0740 004d 0108 5201 0878 40a0 d0b3 ...@.M..R..x@... │ │ │ +000037a0: 9005 0507 a090 2365 6c74 b0c0 0507 4900 ......#elt....I. │ │ │ +000037b0: 4d01 0852 0108 70c0 0507 4a00 4d01 0852 M..R..p...J.M..R │ │ │ +000037c0: 0108 7340 40c0 b304 0940 9040 0205 f5e1 ..s@@....@.@.... │ │ │ +000037d0: 0040 0105 dc04 2cb0 0406 0405 4040 40c0 .@....,.....@@@. │ │ │ +000037e0: b304 17a0 0407 4090 4002 05f5 e100 4001 ......@.@.....@. │ │ │ +000037f0: 05de 0431 b004 0b04 1440 4040 c092 a0a0 ...1.....@@@.... │ │ │ +00003800: 4004 26a0 a040 040b 4002 05f5 e100 4001 @.&..@..@.....@. │ │ │ +00003810: 05df 0438 b004 2b04 1b40 40c0 c140 043e ...8..+..@@..@.> │ │ │ +00003820: 0409 4002 05f5 e100 4001 05e0 043b b004 ..@.....@....;.. │ │ │ +00003830: 4104 1e40 40d0 0404 40b0 c005 0760 004d A..@@...@....`.M │ │ │ +00003840: 0108 5201 0856 0421 40a0 b005 05cd 90a0 ..R..V.!@....... │ │ │ +00003850: a0a0 c091 a0b2 09b6 2047 6976 6573 2061 ........ Gives a │ │ │ +00003860: 2066 696e 6974 6520 7265 7072 6573 656e finite represen │ │ │ +00003870: 7461 7469 6f6e 206f 6620 7468 6520 7072 tation of the pr │ │ │ +00003880: 6564 6963 6174 653a 2069 6620 7468 650a edicate: if the. │ │ │ +00003890: 2020 2020 2020 2020 2020 2062 6f6f 6c65 boole │ │ │ +000038a0: 616e 2069 7320 6661 6c73 652c 2074 6865 an is false, the │ │ │ +000038b0: 6e20 7468 6520 7072 6564 6963 6174 6520 n the predicate │ │ │ +000038c0: 6973 2067 6976 656e 2069 6e20 6578 7465 is given in exte │ │ │ +000038d0: 6e73 696f 6e2e 0a20 2020 2020 2020 2020 nsion.. │ │ │ +000038e0: 2020 6966 2069 7420 6973 2074 7275 652c if it is true, │ │ │ +000038f0: 2074 6865 6e20 7468 6520 636f 6d70 6c65 then the comple │ │ │ +00003900: 6d65 6e74 2069 7320 6769 7665 6e20 b0c0 ment is given .. │ │ │ +00003910: 0507 6d00 4e01 0879 0108 81c0 0507 6e00 ..m.N..y......n. │ │ │ +00003920: 5001 0903 0109 3c40 4004 0304 0340 4040 P.....<@@....@@@ │ │ │ +00003930: 0403 4004 0340 b105 0786 5340 40b0 0411 ..@..@....S@@... │ │ │ +00003940: 0431 40a0 b0a0 0505 dd05 0781 90a0 a0a0 .1@............. │ │ │ +00003950: c091 a0b2 0411 0410 4004 1004 1040 4040 ........@....@@@ │ │ │ +00003960: 0410 4004 1040 045a 041d a0b0 90f0 a029 ..@..@.Z.......) │ │ │ +00003970: 6973 5f66 696e 6974 6501 0126 a004 02b0 is_finite..&.... │ │ │ +00003980: c005 0784 0052 0109 3e01 0946 c005 0785 .....R..>..F.... │ │ │ +00003990: 0052 0109 3e01 094f 40d0 b140 d0b3 9005 .R..>..O@..@.... │ │ │ +000039a0: 0511 a090 2174 b0c0 0507 8f00 5201 093e ....!t......R..> │ │ │ +000039b0: 0109 52c0 0507 9000 5201 093e 0109 5340 ..R.....R..>..S@ │ │ │ +000039c0: 40c0 b304 0940 9040 0205 f5e1 0040 0105 @....@.@.....@.. │ │ │ +000039d0: e108 0000 3300 0507 9105 0791 0507 9105 ....3........... │ │ │ +000039e0: 0791 0507 9105 0791 0507 9105 0791 40b0 ..............@. │ │ │ +000039f0: 0473 0488 0438 4041 b004 0804 0740 40d0 .s...8@A.....@@. │ │ │ +00003a00: b390 0507 5ca0 9024 626f 6f6c b0c0 0507 ....\..$bool.... │ │ │ +00003a10: 9e00 5201 093e 0109 57c0 0507 9f00 5201 ..R..>..W.....R. │ │ │ +00003a20: 093e 0109 5b40 40c0 b304 0940 9040 0205 .>..[@@....@.@.. │ │ │ +00003a30: f5e1 0040 0105 e204 0fb0 0406 0405 4040 ...@..........@@ │ │ │ +00003a40: c0c1 4004 1504 0640 0205 f5e1 0040 0105 ..@....@.....@.. │ │ │ +00003a50: e304 12b0 0418 0408 4040 d004 0440 b0c0 ........@@...@.. │ │ │ +00003a60: 0507 a900 5201 093e 0109 4204 0b40 a0b0 ....R..>..B..@.. │ │ │ +00003a70: 0506 1690 a0a0 a0c0 91a0 b209 c120 5b74 ............. [t │ │ │ +00003a80: 7275 655d 2069 6620 7468 6520 7072 6564 rue] if the pred │ │ │ +00003a90: 6963 6174 6520 6361 6e20 6265 2067 6976 icate can be giv │ │ │ +00003aa0: 656e 2061 7320 6120 6669 6e69 7465 2073 en as a finite s │ │ │ +00003ab0: 6574 2028 6966 205b 656c 745d 0a20 2020 et (if [elt]. │ │ │ +00003ac0: 2020 2020 6973 2061 2066 696e 6974 6520 is a finite │ │ │ +00003ad0: 7479 7065 2c20 7765 2063 616e 2068 6176 type, we can hav │ │ │ +00003ae0: 6520 5b69 735f 6669 6e69 7465 2078 203d e [is_finite x = │ │ │ +00003af0: 2066 616c 7365 5d20 7965 7420 5b78 5d20 false] yet [x] │ │ │ +00003b00: 6973 0a20 2020 2020 2020 6669 6e69 7465 is. finite │ │ │ +00003b10: 2c20 6275 7420 7765 2064 6f6e 2774 206b , but we don't k │ │ │ +00003b20: 6e6f 7720 686f 7720 746f 206c 6973 7420 now how to list │ │ │ +00003b30: 6974 7320 656c 656d 656e 7473 2920 b0c0 its elements) .. │ │ │ +00003b40: 0507 b600 5301 095c 0109 60c0 0507 b700 ....S..\..`..... │ │ │ +00003b50: 5501 09e9 010a 2640 4004 0304 0340 4040 U.....&@@....@@@ │ │ │ +00003b60: 0403 4004 0340 b105 07cf 5440 40b0 0411 ..@..@....T@@... │ │ │ +00003b70: 041b 40a0 b0a0 0506 2605 07ca 90a0 a0a0 ..@.....&....... │ │ │ +00003b80: c091 a0b2 0411 0410 4004 1004 1040 4040 ........@....@@@ │ │ │ +00003b90: 0410 4004 1040 0431 041d 40a0 c105 0589 ..@..@.1..@..... │ │ │ +00003ba0: 0505 8341 40a0 c105 054f 0505 4941 40a0 ...A@....O..IA@. │ │ │ +00003bb0: b005 0527 0505 1240 a0b0 0504 f205 04dd ...'...@........ │ │ │ +00003bc0: 40a0 b005 04bd 0504 9640 a0b0 0504 7605 @........@....v. │ │ │ +00003bd0: 044f 40a0 b005 042f 0503 f640 a0b0 0503 .O@..../...@.... │ │ │ +00003be0: d605 03af 40a0 b005 038f 0503 5640 a0b0 ....@.......V@.. │ │ │ +00003bf0: 0503 3605 02fd 40a0 b005 02dd 0502 a440 ..6...@........@ │ │ │ +00003c00: a0b0 0502 8405 024b 40a0 b005 022b 0501 .......K@....+.. │ │ │ +00003c10: f240 a0b0 0501 d205 01ab 40a0 b005 018b .@........@..... │ │ │ +00003c20: 0501 5240 a0b0 0501 3204 f940 a0b0 04d9 ..R@....2..@.... │ │ │ +00003c30: 0489 40a0 b004 6904 4240 4008 0000 3300 ..@...i.B@@...3. │ │ │ +00003c40: 0507 e605 07e6 0507 e605 07e6 0507 e605 ................ │ │ │ +00003c50: 07e6 0507 e605 07e6 40b0 0456 046b 0444 ........@..V.k.D │ │ │ +00003c60: 4041 9104 2708 0000 3300 0507 e905 07e9 @A..'...3....... │ │ │ +00003c70: 0507 e905 07e9 0507 e905 07e9 0507 e905 ................ │ │ │ +00003c80: 07e9 4005 058b 4041 b0c0 0507 ee58 0102 ..@...@A.....X.. │ │ │ +00003c90: ba01 02bc c005 07ef 0056 010a 2701 0a2c .........V..'.., │ │ │ +00003ca0: 4040 40b0 c005 07f1 5701 02aa 0102 aa04 @@@.....W....... │ │ │ +00003cb0: 0340 0800 0033 0005 07ef 0507 ef05 07ef .@...3.......... │ │ │ +00003cc0: 0507 ef05 07ef 0507 ef05 07ef 0507 ef40 ...............@ │ │ │ +00003cd0: 0505 9140 41b0 0403 0405 40a0 b095 f090 ...@A.....@..... │ │ │ +00003ce0: b124 4d61 6b65 0101 3c46 a090 0403 b0c0 .$Make..@.@.....@..b │ │ │ +00004090: 4002 05f5 e100 4001 0661 4005 0530 0505 @.....@..a@..0.. │ │ │ +000040a0: 2e05 0520 40a0 b0a0 0505 1101 0130 d0c0 ... @........0.. │ │ │ +000040b0: c140 c0b3 9004 3d40 9040 0205 f5e1 0040 .@....=@.@.....@ │ │ │ +000040c0: 0106 60c0 c140 c0b3 042f 4090 4002 05f5 ..`..@.../@.@... │ │ │ +000040d0: e100 4001 065f c0b3 0504 f840 9040 0205 ..@.._.....@.@.. │ │ │ +000040e0: f5e1 0040 0106 5e40 0205 f5e1 0040 0106 ...@..^@.....@.. │ │ │ +000040f0: 5d40 0205 f5e1 0040 0106 5c40 0504 e705 ]@.....@..\@.... │ │ │ +00004100: 04e5 0504 d740 a0b0 a005 04c8 0101 31d0 .....@........1. │ │ │ +00004110: c0c1 40c0 b304 1240 9040 0205 f5e1 0040 ..@....@.@.....@ │ │ │ +00004120: 0106 5bc0 b304 3e40 9040 0205 f5e1 0040 ..[...>@.@.....@ │ │ │ +00004130: 0106 5a40 0205 f5e1 0040 0106 5940 0504 ..Z@.....@..Y@.. │ │ │ +00004140: aa05 04a8 0504 9a40 a0b0 a005 048b 0101 .......@........ │ │ │ +00004150: 32d0 c0c1 40c0 b304 1e40 9040 0205 f5e1 2...@....@.@.... │ │ │ +00004160: 0040 0106 58c0 c140 c0b3 044c 4090 4002 .@..X..@...L@.@. │ │ │ +00004170: 05f5 e100 4001 0657 c0b3 044f 4090 4002 ....@..W...O@.@. │ │ │ +00004180: 05f5 e100 4001 0656 4002 05f5 e100 4001 ....@..V@.....@. │ │ │ +00004190: 0655 4002 05f5 e100 4001 0654 4005 0460 .U@.....@..T@..` │ │ │ +000041a0: 0504 5e05 0450 40a0 b0a0 0504 4101 0133 ..^..P@.....A..3 │ │ │ +000041b0: d0c0 c140 c0b3 042f 4090 4002 05f5 e100 ...@.../@.@..... │ │ │ +000041c0: 4001 0653 c0c1 40c0 b304 5d40 9040 0205 @..S..@...]@.@.. │ │ │ +000041d0: f5e1 0040 0106 52c0 b304 6040 9040 0205 ...@..R...`@.@.. │ │ │ +000041e0: f5e1 0040 0106 5140 0205 f5e1 0040 0106 ...@..Q@.....@.. │ │ │ +000041f0: 5040 0205 f5e1 0040 0106 4f40 0504 1605 P@.....@..O@.... │ │ │ +00004200: 0414 0504 0640 a0b0 a005 03f7 0101 34d0 .....@........4. │ │ │ +00004210: c0c1 40c0 b304 6940 9040 0205 f5e1 0040 ..@...i@.@.....@ │ │ │ +00004220: 0106 4ec0 c140 c0b3 046e 4090 4002 05f5 ..N..@...n@.@... │ │ │ +00004230: e100 4001 064d c0b3 0471 4090 4002 05f5 ..@..M...q@.@... │ │ │ +00004240: e100 4001 064c 4002 05f5 e100 4001 064b ..@..L@.....@..K │ │ │ +00004250: 4002 05f5 e100 4001 064a 4005 03cc 0503 @.....@..J@..... │ │ │ +00004260: ca05 03bc 40a0 b0a0 0503 ad01 0135 d0c0 ....@........5.. │ │ │ +00004270: c140 c0b3 047a 4090 4002 05f5 e100 4001 .@...z@.@.....@. │ │ │ +00004280: 0649 c0c1 40c0 b304 7f40 9040 0205 f5e1 .I..@....@.@.... │ │ │ +00004290: 0040 0106 48c0 b304 8240 9040 0205 f5e1 .@..H....@.@.... │ │ │ +000042a0: 0040 0106 4740 0205 f5e1 0040 0106 4640 .@..G@.....@..F@ │ │ │ +000042b0: 0205 f5e1 0040 0106 4540 0503 8205 0380 .....@..E@...... │ │ │ +000042c0: 0503 7240 a0b0 a005 0363 0101 36d0 c0c1 ..r@.....c..6... │ │ │ +000042d0: 40c0 b304 8b40 9040 0205 f5e1 0040 0106 @....@.@.....@.. │ │ │ +000042e0: 44c0 c140 c0b3 0490 4090 4002 05f5 e100 D..@....@.@..... │ │ │ +000042f0: 4001 0643 c0b3 0493 4090 4002 05f5 e100 @..C....@.@..... │ │ │ +00004300: 4001 0642 4002 05f5 e100 4001 0641 4002 @..B@.....@..A@. │ │ │ +00004310: 05f5 e100 4001 0640 4005 0338 0503 3605 ....@..@@..8..6. │ │ │ +00004320: 0328 40a0 b0a0 0503 1901 0137 d0c0 c140 .(@........7...@ │ │ │ +00004330: c0b3 049c 4090 4002 05f5 e100 4001 063f ....@.@.....@..? │ │ │ +00004340: c0b3 049f 4090 4002 05f5 e100 4001 063e ....@.@.....@..> │ │ │ +00004350: 4002 05f5 e100 4001 063d 4005 02fb 0502 @.....@..=@..... │ │ │ +00004360: f905 02eb 40a0 b0a0 0502 dc01 0138 d0c0 ....@........8.. │ │ │ +00004370: c140 c0b3 04a8 4090 4002 05f5 e100 4001 .@....@.@.....@. │ │ │ +00004380: 063c c0c1 40c0 b304 ad40 9040 0205 f5e1 .<..@....@.@.... │ │ │ +00004390: 0040 0106 3bc0 b305 02c2 4090 4002 05f5 .@..;.....@.@... │ │ │ +000043a0: e100 4001 063a 4002 05f5 e100 4001 0639 ..@..:@.....@..9 │ │ │ +000043b0: 4002 05f5 e100 4001 0638 4005 02b1 0502 @.....@..8@..... │ │ │ +000043c0: af05 02a1 40a0 b0a0 0502 9201 0139 d0c0 ....@........9.. │ │ │ +000043d0: c140 c0b3 04b9 4090 4002 05f5 e100 4001 .@....@.@.....@. │ │ │ +000043e0: 0637 c0c1 40c0 b304 be40 9040 0205 f5e1 .7..@....@.@.... │ │ │ +000043f0: 0040 0106 36c0 b305 0278 4090 4002 05f5 .@..6....x@.@... │ │ │ +00004400: e100 4001 0635 4002 05f5 e100 4001 0634 ..@..5@.....@..4 │ │ │ +00004410: 4002 05f5 e100 4001 0633 4005 0267 0502 @.....@..3@..g.. │ │ │ +00004420: 6505 0257 40a0 b0a0 0502 4801 013a d0c0 e..W@.....H..:.. │ │ │ +00004430: c140 c0b3 04ca 4090 4002 05f5 e100 4001 .@....@.@.....@. │ │ │ +00004440: 0632 c092 a0a0 40c0 b305 0238 4090 4002 .2....@....8@.@. │ │ │ +00004450: 05f5 e100 4001 062f a0a0 40c0 b305 022e ....@../..@..... │ │ │ +00004460: a0c0 b304 b040 9040 0205 f5e1 0040 0106 .....@.@.....@.. │ │ │ +00004470: 3140 9040 0205 f5e1 0040 0106 3040 0205 1@.@.....@..0@.. │ │ │ +00004480: f5e1 0040 0106 2e40 0205 f5e1 0040 0106 ...@...@.....@.. │ │ │ +00004490: 2d40 0502 0e05 020c 0501 fe40 a0b0 a005 -@.........@.... │ │ │ +000044a0: 01ef 0101 3bd0 c0c1 40c0 b304 e340 9040 ....;...@....@.@ │ │ │ +000044b0: 0205 f5e1 0040 0106 2cc0 b305 01df 4090 .....@..,.....@. │ │ │ +000044c0: 4002 05f5 e100 4001 062b 4002 05f5 e100 @.....@..+@..... │ │ │ +000044d0: 4001 062a 4005 01d1 0501 cf05 01c1 4040 @..*@.........@@ │ │ │ +000044e0: 0501 2db0 0501 3105 0110 4040 a2a0 0501 ..-...1...@@.... │ │ │ +000044f0: 7805 0167 0501 0008 0000 3300 0509 7905 x..g......3...y. │ │ │ +00004500: 0979 0509 7905 0979 0509 7905 0979 0509 .y..y..y..y..y.. │ │ │ +00004510: 7905 0979 4005 0166 4041 b0c0 0509 7e00 y..y@..f@A....~. │ │ │ +00004520: 5901 0a7c 010a 88c0 0509 7f00 5901 0a7c Y..|........Y..| │ │ │ +00004530: 010a b740 40a0 b0a0 0507 ec05 0990 90a0 ...@@........... │ │ │ +00004540: a0a0 c091 a0b2 0948 2054 6865 205b 4d61 .......H The [Ma │ │ │ +00004550: 6b65 5d20 6675 6e63 746f 7220 636f 6e73 ke] functor cons │ │ │ +00004560: 7472 7563 7473 2061 6e20 696d 706c 656d tructs an implem │ │ │ +00004570: 656e 7461 7469 6f6e 2066 6f72 2061 6e79 entation for any │ │ │ +00004580: 205b 4f72 6465 7265 6454 7970 655d 2e20 [OrderedType]. │ │ │ +00004590: b0c0 0509 8d00 5801 0a2e 010a 2ec0 0509 ......X......... │ │ │ +000045a0: 8e00 5801 0a2e 010a 7b40 4004 0304 0340 ..X.....{@@....@ │ │ │ +000045b0: 4040 0403 4004 0340 b0c0 0509 9000 5901 @@..@..@......Y. │ │ │ +000045c0: 0a7c 010a 7c04 1240 0415 b004 0204 1340 .|..|..@.......@ │ │ │ +000045d0: 40a0 b405 081a c090 0507 8305 072c 0507 @............,.. │ │ │ +000045e0: 6f05 0816 40a0 b405 076a c090 0501 af40 o...@....j.....@ │ │ │ +000045f0: 0501 aa05 0766 40a0 d305 01a3 40c0 0423 .....f@.....@..# │ │ │ +00004600: a0b0 0508 0990 a0a0 a0c0 91a0 b204 1c04 ................ │ │ │ +00004610: 1b40 041b 041b 4040 4004 1b40 041b 4004 .@....@@@..@..@. │ │ │ +00004620: 1805 01a7 4040 4008 0000 3300 0509 a405 ....@@@...3..... │ │ │ +00004630: 09a4 0509 a405 09a4 0509 a405 09a4 0509 ................ │ │ │ +00004640: a405 09a4 40c3 0501 9205 01b0 40c0 a2a0 ....@.......@... │ │ │ +00004650: 0501 a890 0501 9f91 a0c1 0501 3105 0130 ............1..0 │ │ │ +00004660: 4140 a0c1 0501 2905 0128 4140 a0b0 0501 A@....)..(A@.... │ │ │ +00004670: 2605 0125 40a0 b005 0120 0501 1f40 a0b0 &..%@.... ...@.. │ │ │ +00004680: 0501 1b05 011a 40a0 b005 0111 0501 1040 ......@........@ │ │ │ +00004690: a0b0 0501 0705 0106 40a0 b004 f704 f640 ........@......@ │ │ │ +000046a0: a0b0 04ed 04ec 40a0 b004 de04 dd40 a0b0 ......@......@.. │ │ │ +000046b0: 04cf 04ce 40a0 b004 c004 bf40 a0b0 04b1 ....@......@.... │ │ │ +000046c0: 04b0 40a0 b004 a204 a140 a0b0 0498 0497 ..@......@...... │ │ │ +000046d0: 40a0 b004 8904 8840 a0b0 047a 0479 40a0 @......@...z.y@. │ │ │ +000046e0: b004 6304 6240 4004 3504 4305 01d2 4041 ..c.b@@.5.C...@A │ │ │ +000046f0: 40a0 a009 762a 2049 6e66 696e 6974 6520 @...v* Infinite │ │ │ +00004700: 7365 7473 206f 7665 7220 6120 6368 6f73 sets over a chos │ │ │ +00004710: 656e 205b 4f72 6465 7265 6454 7970 655d en [OrderedType] │ │ │ +00004720: 2e0a 0a20 2020 2041 6c6c 206f 7065 7261 ... All opera │ │ │ +00004730: 7469 6f6e 7320 6f76 6572 2073 6574 7320 tions over sets │ │ │ +00004740: 6172 6520 7075 7265 6c79 2061 7070 6c69 are purely appli │ │ │ +00004750: 6361 7469 7665 2028 6e6f 2073 6964 652d cative (no side- │ │ │ +00004760: 6566 6665 6374 7329 2e0a 2005 09d6 a0a0 effects).. ..... │ │ │ +00004770: 0929 2a20 496e 7075 7420 7369 676e 6174 .)* Input signat │ │ │ +00004780: 7572 6520 6f66 2074 6865 2066 756e 6374 ure of the funct │ │ │ +00004790: 6f72 205b 4d61 6b65 5d2e 2005 07b4 a0a0 or [Make]. ..... │ │ │ +000047a0: 0955 2a20 5468 6520 7479 7065 206f 6620 .U* The type of │ │ │ +000047b0: 7468 6520 656c 656d 656e 7473 2069 6e20 the elements in │ │ │ +000047c0: 7468 6520 7365 742e 0a0a 2020 2020 2020 the set... │ │ │ +000047d0: 2020 5468 6520 6368 6f73 656e 205b 745d The chosen [t] │ │ │ +000047e0: 207b 6220 6d75 7374 2062 6520 696e 6669 {b must be infi │ │ │ +000047f0: 6e69 7465 7d2e 2005 083a a0a0 0a00 0001 nite}. ..:...... │ │ │ +00004800: 462a 2041 2074 6f74 616c 206f 7264 6572 F* A total order │ │ │ +00004810: 696e 6720 6675 6e63 7469 6f6e 206f 7665 ing function ove │ │ │ +00004820: 7220 7468 6520 7365 7420 656c 656d 656e r the set elemen │ │ │ +00004830: 7473 2e0a 2020 2020 2020 2020 5468 6973 ts.. This │ │ │ +00004840: 2069 7320 6120 7477 6f2d 6172 6775 6d65 is a two-argume │ │ │ +00004850: 6e74 2066 756e 6374 696f 6e20 5b66 5d20 nt function [f] │ │ │ +00004860: 7375 6368 2074 6861 743a 0a20 2020 2020 such that:. │ │ │ +00004870: 2020 202d 205b 6620 6531 2065 325d 2069 - [f e1 e2] i │ │ │ +00004880: 7320 7a65 726f 2069 6620 7468 6520 656c s zero if the el │ │ │ +00004890: 656d 656e 7473 205b 6531 5d20 616e 6420 ements [e1] and │ │ │ +000048a0: 5b65 325d 2061 7265 2065 7175 616c 2c0a [e2] are equal,. │ │ │ +000048b0: 2020 2020 2020 2020 2d20 5b66 2065 3120 - [f e1 │ │ │ +000048c0: 6532 5d20 6973 2073 7472 6963 746c 7920 e2] is strictly │ │ │ +000048d0: 6e65 6761 7469 7665 2069 6620 5b65 315d negative if [e1] │ │ │ +000048e0: 2069 7320 736d 616c 6c65 7220 7468 616e is smaller than │ │ │ +000048f0: 205b 6532 5d2c 0a20 2020 2020 2020 202d [e2],. - │ │ │ +00004900: 2061 6e64 205b 6620 6531 2065 325d 2069 and [f e1 e2] i │ │ │ +00004910: 7320 7374 7269 6374 6c79 2070 6f73 6974 s strictly posit │ │ │ +00004920: 6976 6520 6966 205b 6531 5d20 6973 2067 ive if [e1] is g │ │ │ +00004930: 7265 6174 6572 2074 6861 6e20 5b65 325d reater than [e2] │ │ │ +00004940: 2e0a 2020 2020 2005 07e1 a0a0 0927 2a20 .. ......'* │ │ │ +00004950: 5468 6520 7479 7065 206f 6620 7468 6520 The type of the │ │ │ +00004960: 656c 656d 656e 7473 2069 6e20 7468 6520 elements in the │ │ │ +00004970: 7365 742e 2005 078f a0a0 342a 2054 6865 set. .....4* The │ │ │ +00004980: 2074 7970 6520 6f66 2073 6574 732e 2005 type of sets. . │ │ │ +00004990: 0756 a0a0 312a 2054 6865 2065 6d70 7479 .V..1* The empty │ │ │ +000049a0: 2073 6574 2e20 0507 20a0 a009 2b2a 2054 set. .. ...+* T │ │ │ +000049b0: 6865 2073 6574 206f 6620 616c 6c20 656c he set of all el │ │ │ +000049c0: 656d 656e 7473 2028 6f66 2074 7970 6520 ements (of type │ │ │ +000049d0: 5b65 6c6d 5d29 2e20 0506 eca0 a009 262a [elm]). ......&* │ │ │ +000049e0: 2054 6573 7420 7768 6574 6865 7220 6120 Test whether a │ │ │ +000049f0: 7365 7420 6973 2065 6d70 7479 206f 7220 set is empty or │ │ │ +00004a00: 6e6f 742e 2005 06a6 a0a0 0935 2a20 5465 not. ......5* Te │ │ │ +00004a10: 7374 2077 6865 7468 6572 2061 2073 6574 st whether a set │ │ │ +00004a20: 2063 6f6e 7461 696e 7320 7468 6520 7768 contains the wh │ │ │ +00004a30: 6f6c 6520 7479 7065 206f 7220 6e6f 742e ole type or not. │ │ │ +00004a40: 2005 0660 a0a0 0936 2a20 5b6d 656d 2078 ..`...6* [mem x │ │ │ +00004a50: 2073 5d20 7465 7374 7320 7768 6574 6865 s] tests whethe │ │ │ +00004a60: 7220 5b78 5d20 6265 6c6f 6e67 7320 746f r [x] belongs to │ │ │ +00004a70: 2074 6865 2073 6574 205b 735d 2e20 0506 the set [s]. .. │ │ │ +00004a80: 08a0 a009 412a 205b 7369 6e67 6c65 746f ....A* [singleto │ │ │ +00004a90: 6e20 785d 2072 6574 7572 6e73 2074 6865 n x] returns the │ │ │ +00004aa0: 206f 6e65 2d65 6c65 6d65 6e74 2073 6574 one-element set │ │ │ +00004ab0: 2063 6f6e 7461 696e 696e 6720 6f6e 6c79 containing only │ │ │ +00004ac0: 205b 785d 2e20 0505 c2a0 a009 872a 205b [x]. .......* [ │ │ │ +00004ad0: 6164 6420 7820 735d 2072 6574 7572 6e73 add x s] returns │ │ │ +00004ae0: 2061 2073 6574 2063 6f6e 7461 696e 696e a set containin │ │ │ +00004af0: 6720 616c 6c20 656c 656d 656e 7473 206f g all elements o │ │ │ +00004b00: 6620 5b73 5d2c 0a20 2020 2020 2020 2070 f [s],. p │ │ │ +00004b10: 6c75 7320 5b78 5d2e 2049 6620 5b78 5d20 lus [x]. If [x] │ │ │ +00004b20: 7761 7320 616c 7265 6164 7920 696e 205b was already in [ │ │ │ +00004b30: 735d 2c20 7468 656e 205b 735d 2069 7320 s], then [s] is │ │ │ +00004b40: 7265 7475 726e 6564 2075 6e63 6861 6e67 returned unchang │ │ │ +00004b50: 6564 2e20 0505 6aa0 a009 8c2a 205b 7265 ed. ..j....* [re │ │ │ +00004b60: 6d6f 7665 2078 2073 5d20 7265 7475 726e move x s] return │ │ │ +00004b70: 7320 6120 7365 7420 636f 6e74 6169 6e69 s a set containi │ │ │ +00004b80: 6e67 2061 6c6c 2065 6c65 6d65 6e74 7320 ng all elements │ │ │ +00004b90: 6f66 205b 735d 2c0a 2020 2020 2020 2020 of [s],. │ │ │ +00004ba0: 2020 2020 6578 6365 7074 205b 785d 2e20 except [x]. │ │ │ +00004bb0: 4966 205b 785d 2077 6173 206e 6f74 2069 If [x] was not i │ │ │ +00004bc0: 6e20 5b73 5d2c 2074 6865 6e20 5b73 5d20 n [s], then [s] │ │ │ +00004bd0: 6973 2072 6574 7572 6e65 6420 756e 6368 is returned unch │ │ │ +00004be0: 616e 6765 642e 2005 0512 a0a0 2d2a 2053 anged. .....-* S │ │ │ +00004bf0: 6574 2075 6e69 6f6e 2e20 0504 baa0 a034 et union. .....4 │ │ │ +00004c00: 2a20 5365 7420 696e 7465 7273 6563 7469 * Set intersecti │ │ │ +00004c10: 6f6e 2e20 0504 62a0 a032 2a20 5365 7420 on. ..b..2* Set │ │ │ +00004c20: 6469 6666 6572 656e 6365 2e20 0504 0aa0 difference. .... │ │ │ +00004c30: a032 2a20 5365 7420 636f 6d70 6c65 6d65 .2* Set compleme │ │ │ +00004c40: 6e74 2e20 0503 c4a0 a009 692a 205b 6571 nt. ......i* [eq │ │ │ +00004c50: 7561 6c20 7331 2073 325d 2074 6573 7473 ual s1 s2] tests │ │ │ +00004c60: 2077 6865 7468 6572 2074 6865 2073 6574 whether the set │ │ │ +00004c70: 7320 5b73 315d 2061 6e64 205b 7332 5d20 s [s1] and [s2] │ │ │ +00004c80: 6172 650a 2020 2020 2020 2020 6571 7561 are. equa │ │ │ +00004c90: 6c2c 2074 6861 7420 6973 2c20 636f 6e74 l, that is, cont │ │ │ +00004ca0: 6169 6e20 6571 7561 6c20 656c 656d 656e ain equal elemen │ │ │ +00004cb0: 7473 2e20 0503 6ca0 a009 552a 205b 7375 ts. ..l...U* [su │ │ │ +00004cc0: 6273 6574 2073 3120 7332 5d20 7465 7374 bset s1 s2] test │ │ │ +00004cd0: 7320 7768 6574 6865 7220 7468 6520 7365 s whether the se │ │ │ +00004ce0: 7420 5b73 315d 2069 7320 6120 7375 6273 t [s1] is a subs │ │ │ +00004cf0: 6574 206f 660a 2020 2020 2020 2020 2020 et of. │ │ │ +00004d00: 2020 7468 6520 7365 7420 5b73 325d 2e20 the set [s2]. │ │ │ +00004d10: 0503 14a0 a009 b72a 2047 6976 6573 2061 .......* Gives a │ │ │ +00004d20: 2066 696e 6974 6520 7265 7072 6573 656e finite represen │ │ │ +00004d30: 7461 7469 6f6e 206f 6620 7468 6520 7072 tation of the pr │ │ │ +00004d40: 6564 6963 6174 653a 2069 6620 7468 650a edicate: if the. │ │ │ +00004d50: 2020 2020 2020 2020 2020 2062 6f6f 6c65 boole │ │ │ +00004d60: 616e 2069 7320 6661 6c73 652c 2074 6865 an is false, the │ │ │ +00004d70: 6e20 7468 6520 7072 6564 6963 6174 6520 n the predicate │ │ │ +00004d80: 6973 2067 6976 656e 2069 6e20 6578 7465 is given in exte │ │ │ +00004d90: 6e73 696f 6e2e 0a20 2020 2020 2020 2020 nsion.. │ │ │ +00004da0: 2020 6966 2069 7420 6973 2074 7275 652c if it is true, │ │ │ +00004db0: 2074 6865 6e20 7468 6520 636f 6d70 6c65 then the comple │ │ │ +00004dc0: 6d65 6e74 2069 7320 6769 7665 6e20 0502 ment is given .. │ │ │ +00004dd0: a5a0 a009 c22a 205b 7472 7565 5d20 6966 .....* [true] if │ │ │ +00004de0: 2074 6865 2070 7265 6469 6361 7465 2063 the predicate c │ │ │ +00004df0: 616e 2062 6520 6769 7665 6e20 6173 2061 an be given as a │ │ │ +00004e00: 2066 696e 6974 6520 7365 7420 2869 6620 finite set (if │ │ │ +00004e10: 5b65 6c74 5d0a 2020 2020 2020 2069 7320 [elt]. is │ │ │ +00004e20: 6120 6669 6e69 7465 2074 7970 652c 2077 a finite type, w │ │ │ +00004e30: 6520 6361 6e20 6861 7665 205b 6973 5f66 e can have [is_f │ │ │ +00004e40: 696e 6974 6520 7820 3d20 6661 6c73 655d inite x = false] │ │ │ +00004e50: 2079 6574 205b 785d 2069 730a 2020 2020 yet [x] is. │ │ │ +00004e60: 2020 2066 696e 6974 652c 2062 7574 2077 finite, but w │ │ │ +00004e70: 6520 646f 6e27 7420 6b6e 6f77 2068 6f77 e don't know how │ │ │ +00004e80: 2074 6f20 6c69 7374 2069 7473 2065 6c65 to list its ele │ │ │ +00004e90: 6d65 6e74 7329 2005 025f a0a0 0949 2a20 ments) .._...I* │ │ │ +00004ea0: 5468 6520 5b4d 616b 655d 2066 756e 6374 The [Make] funct │ │ │ +00004eb0: 6f72 2063 6f6e 7374 7275 6374 7320 616e or constructs an │ │ │ +00004ec0: 2069 6d70 6c65 6d65 6e74 6174 696f 6e20 implementation │ │ │ +00004ed0: 666f 7220 616e 7920 5b4f 7264 6572 6564 for any [Ordered │ │ │ +00004ee0: 5479 7065 5d2e 2004 8b40 0800 0053 0033 Type]. ..@...S.3 │ │ │ +00004ef0: 2f75 7372 2f62 696e 2f6f 6361 6d6c 632e /usr/bin/ocamlc. │ │ │ +00004f00: 6f70 7422 2d77 232d 3430 222d 672a 2d62 opt"-w#-40"-g*-b │ │ │ +00004f10: 696e 2d61 6e6e 6f74 362d 6269 6e2d 616e in-annot6-bin-an │ │ │ +00004f20: 6e6f 742d 6f63 6375 7272 656e 6365 7322 not-occurrences" │ │ │ +00004f30: 2d49 3463 6c69 622f 2e63 6c69 622e 6f62 -I4clib/.clib.ob │ │ │ +00004f40: 6a73 2f62 7974 6522 2d49 092a 2f75 7372 js/byte"-I.*/usr │ │ │ +00004f50: 2f6c 6962 2f72 6973 6376 3634 2d6c 696e /lib/riscv64-lin │ │ │ +00004f60: 7578 2d67 6e75 2f6f 6361 6d6c 2f35 2e34 ux-gnu/ocaml/5.4 │ │ │ +00004f70: 2e30 2f73 7472 222d 4909 2e2f 7573 722f .0/str"-I../usr/ │ │ │ +00004f80: 6c69 622f 7269 7363 7636 342d 6c69 6e75 lib/riscv64-linu │ │ │ +00004f90: 782d 676e 752f 6f63 616d 6c2f 352e 342e x-gnu/ocaml/5.4. │ │ │ +00004fa0: 302f 7468 7265 6164 7322 2d49 092b 2f75 0/threads"-I.+/u │ │ │ +00004fb0: 7372 2f6c 6962 2f72 6973 6376 3634 2d6c sr/lib/riscv64-l │ │ │ +00004fc0: 696e 7578 2d67 6e75 2f6f 6361 6d6c 2f35 inux-gnu/ocaml/5 │ │ │ +00004fd0: 2e34 2e30 2f75 6e69 782e 2d6e 6f2d 616c .4.0/unix.-no-al │ │ │ +00004fe0: 6961 732d 6465 7073 222d 6f09 2263 6c69 ias-deps"-o."cli │ │ │ +00004ff0: 622f 2e63 6c69 622e 6f62 6a73 2f62 7974 b/.clib.objs/byt │ │ │ +00005000: 652f 7072 6564 6963 6174 652e 636d 6922 e/predicate.cmi" │ │ │ +00005010: 2d63 252d 696e 7466 050a 2a90 050a 2b2f -c%-intf..*...+/ │ │ │ +00005020: 2f77 6f72 6b73 7061 6365 5f72 6f6f 74a0 /workspace_root. │ │ │ +00005030: a020 a004 12a0 0411 a004 10a0 040f a009 . .............. │ │ │ +00005040: 262f 7573 722f 6c69 622f 7269 7363 7636 &/usr/lib/riscv6 │ │ │ +00005050: 342d 6c69 6e75 782d 676e 752f 6f63 616d 4-linux-gnu/ocam │ │ │ +00005060: 6c2f 352e 342e 3040 4090 3092 c299 6ab1 l/5.4.0@@.0...j. │ │ │ +00005070: c7e3 8d7d 1557 372a 7458 bb08 0000 3300 ...}.W7*tX....3. │ │ │ +00005080: 050a 3505 0a35 050a 3505 0a35 050a 3505 ..5..5..5..5..5. │ │ │ +00005090: 0a35 050a 3505 0a35 4005 0a34 4040 a0a0 .5..5..5@..4@@.. │ │ │ +000050a0: 3843 616d 6c69 6e74 6572 6e61 6c46 6f72 8CamlinternalFor │ │ │ +000050b0: 6d61 7442 6173 6963 7390 30d3 6fdc de5a matBasics.0.o..Z │ │ │ +000050c0: eb0f 3274 fcde 2ca4 b10e dda0 a005 0a56 ..2t..,........V │ │ │ +000050d0: 9030 166a c067 8ec2 8cba cb1b e00b d04f .0.j.g.........O │ │ │ +000050e0: 2bb0 a0a0 0508 d190 308d 797b dbce 78b0 +.......0.y{..x. │ │ │ +000050f0: 2196 f512 4ffd f821 f440 9030 166a c067 !...O..!.@.0.j.g │ │ │ +00005100: 8ec2 8cba cb1b e00b d04f 2bb0 41c0 5808 .........O+.A.X. │ │ │ +00005110: 0000 4300 b005 074a 9005 0772 4040 b005 ..C....J...r@@.. │ │ │ +00005120: 024d 9605 0257 b005 0451 9005 049d 40b0 .M...W...Q....@. │ │ │ +00005130: 0502 e290 0503 4540 b005 029b 9005 02d5 ......E@........ │ │ │ +00005140: b005 03b3 9005 03ff b005 050f 9005 055b ...............[ │ │ │ +00005150: b005 05c7 9005 0613 40b0 0508 db99 0508 ........@....... │ │ │ +00005160: e340 b005 0713 9005 074d 4040 b005 0418 .@.......M@@.... │ │ │ +00005170: 9005 0452 b005 0673 9005 06bf b005 08bf ...R...s........ │ │ │ +00005180: 9205 08db 4040 b005 04c2 9005 050e b005 ....@@.......... │ │ │ +00005190: 07d6 9205 07ef 40b0 0501 fe92 0502 0db0 ......@......... │ │ │ +000051a0: 0503 6e90 0503 bab0 0507 a390 0507 cb40 ..n............@ │ │ │ +000051b0: b005 0638 9005 0672 40b0 0508 1c92 0508 ...8...r@....... │ │ │ +000051c0: 3540 b005 0586 9005 05d2 b005 0875 9005 5@...........u.. │ │ │ +000051d0: 08c1 40b0 0506 e490 0507 1eb0 0508 4599 ..@...........E. │ │ │ +000051e0: 0508 4d40 4050 40a0 a0a0 9005 020b 0502 ..M@@P@......... │ │ │ +000051f0: 0a90 0502 2ea0 a0a0 a104 07a0 0502 1e05 ................ │ │ │ +00005200: 020c 0502 0a93 9005 0235 a0a0 a090 0502 .........5...... │ │ │ +00005210: 4305 0242 9005 0857 a0a0 a090 0502 7e05 C..B...W......~. │ │ │ +00005220: 027d 9005 0910 a0a0 a090 0503 0705 0306 .}.............. │ │ │ +00005230: 9005 0804 a0a0 a090 0503 5205 0351 9005 ..........R..Q.. │ │ │ +00005240: 0845 a0a0 a090 0503 8305 0382 9005 080e .E.............. │ │ │ +00005250: a0a0 a090 0503 d205 03d1 9005 0813 a0a0 ................ │ │ │ +00005260: a090 0503 e805 03e7 9005 0818 a0a0 a090 ................ │ │ │ +00005270: 0504 3705 0436 9005 081d a0a0 a090 0504 ..7..6.......... │ │ │ +00005280: 4d05 044c 9005 0822 a0a0 a090 0504 8c05 M..L..."........ │ │ │ +00005290: 048b 9005 0827 a0a0 a090 0504 a005 049f .....'.......... │ │ │ +000052a0: 9005 082c a0a0 a090 0504 e205 04e1 9005 ...,............ │ │ │ +000052b0: 0831 a0a0 a090 0504 f405 04f3 9005 0836 .1.............6 │ │ │ +000052c0: a0a0 a090 0505 0a05 0509 9005 083b a0a0 .............;.. │ │ │ +000052d0: a090 0505 4c05 054b 9005 0840 a0a0 a090 ....L..K...@.... │ │ │ +000052e0: 0505 5e05 055d 9005 0845 a0a0 a090 0505 ..^..]...E...... │ │ │ +000052f0: 7405 0573 9005 084a a0a0 a090 0505 b605 t..s...J........ │ │ │ +00005300: 05b5 9005 084f a0a0 a090 0505 c805 05c7 .....O.......... │ │ │ +00005310: 9005 0854 a0a0 a090 0505 de05 05dd 9005 ...T............ │ │ │ +00005320: 0859 a0a0 a090 0506 2005 061f 9005 085e .Y...... ......^ │ │ │ +00005330: a0a0 a090 0506 3205 0631 9005 0863 a0a0 ......2..1...c.. │ │ │ +00005340: a090 0506 4805 0647 9005 08a4 a0a0 a090 ....H..G........ │ │ │ +00005350: 0506 8a05 0689 9005 086d a0a0 a090 0506 .........m...... │ │ │ +00005360: 9c05 069b 9005 0872 a0a0 a090 0506 b205 .......r........ │ │ │ +00005370: 06b1 9005 08b3 a0a0 a090 0506 f105 06f0 ................ │ │ │ +00005380: 9005 087c a0a0 a090 0507 0505 0704 9005 ...|............ │ │ │ +00005390: 08bd a0a0 a090 0507 5405 0753 9005 0886 ........T..S.... │ │ │ +000053a0: a0a0 a090 0507 6a05 0769 9005 08c7 a0a0 ......j..i...... │ │ │ +000053b0: a090 0507 b805 07b7 9005 0890 a0a0 a090 ................ │ │ │ +000053c0: 0508 0605 0805 9005 0895 a0a0 a090 0508 ................ │ │ │ +000053d0: 4405 0843 9005 089a a0a0 a090 0508 8005 D..C............ │ │ │ +000053e0: 087f 9005 089f a0a0 a090 0509 6005 095f ............`.._ │ │ │ +000053f0: 9005 0991 a0a0 a090 0509 7605 0975 9005 ..........v..u.. │ │ │ +00005400: 0996 40 ..@