/usr/bin/diffoscope --html /srv/reproducible-results/rbuild-debian/tmp.bkXhpcBrDS/hol88_2.02.19940316-35.diffoscope.html --text /srv/reproducible-results/rbuild-debian/tmp.bkXhpcBrDS/hol88_2.02.19940316-35.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/tmp.bkXhpcBrDS/hol88_2.02.19940316-35.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/tmp.bkXhpcBrDS/b1/hol88_2.02.19940316-35_armhf.changes /srv/reproducible-results/rbuild-debian/tmp.bkXhpcBrDS/b2/hol88_2.02.19940316-35

⊟

119 MB

/srv/reproducible-results/rbuild-debian/tmp.bkXhpcBrDS/b1/hol88_2.02.19940316-35_armhf.changes vs.

/srv/reproducible-results/rbuild-debian/tmp.bkXhpcBrDS/b2/hol88_2.02.19940316-35_armhf.changes ¶

⊟

1.24 KB

Files ¶

⊟

1.06 MB

hol88-doc_2.02.19940316-35_all.deb ¶

⊟

452 B

file list ¶

⊟

98.0 B

control.tar.xz ¶

⊟

70.0 B

control.tar ¶

⊟

48.0 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

1.06 MB

data.tar.xz ¶

⊟

1.06 MB

data.tar ¶

⊟

3.7 KB

file list ¶

⊟

881 B

⊟

516 KB

Command `ps2ascii «TEMP»/diffoscope_imosd60l/tmpcfwo9id0/71d054f9-0ad4-412c-96c1-feb7610fe029` failed with exit code 1. Standard output: GPL Ghostscript 9.27: Unrecoverable error, exit code 1

⊟

919 B

⊟

805 B

⊟

560 KB

Command `ps2ascii «TEMP»/diffoscope_imosd60l/tmpz04ihq4z/ddbaf7ad-dbb5-4e48-bfa7-677af45d6512` failed with exit code 1. Standard output: GPL Ghostscript 9.27: Unrecoverable error, exit code 1

⊟

1.58 KB

⊟

1.46 KB

⊟

1.54 KB

⊟

1.57 KB

⊟

1.46 KB

⊟

1.5 KB

⊟

1.39 KB

⊟

1.93 MB

hol88-library_2.02.19940316-35_armhf.deb ¶

⊟

452 B

file list ¶

⊟

673 B

control.tar.xz ¶

⊟

645 B

control.tar ¶

⊟

575 B

./control ¶

⊟

48.0 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

1.93 MB

data.tar.xz ¶

⊟

1.93 MB

data.tar ¶

⊟

35.1 KB

file list ¶

⊟

39.5 KB

./usr/lib/hol88-2.02.19940316/Library/abs_theory/abs_theory_ml.o ¶

⊟

39.4 KB

strings --all {} ¶

⊟

13.2 KB

./usr/lib/hol88-2.02.19940316/Library/arith/arith_cons_ml.o ¶

⊟

13.1 KB

strings --all {} ¶

⊟

14.9 KB

./usr/lib/hol88-2.02.19940316/Library/arith/decls_ml.o ¶

⊟

14.8 KB

strings --all {} ¶

⊟

6.98 KB

./usr/lib/hol88-2.02.19940316/Library/arith/exists_arith_ml.o ¶

⊟

6.86 KB

strings --all {} ¶

⊟

6.44 KB

./usr/lib/hol88-2.02.19940316/Library/arith/gen_arith_ml.o ¶

⊟

6.33 KB

strings --all {} ¶

⊟

2.33 KB

./usr/lib/hol88-2.02.19940316/Library/arith/instance_ml.o ¶

⊟

2.21 KB

strings --all {} ¶

⊟

2.79 KB

./usr/lib/hol88-2.02.19940316/Library/arith/int_extra_ml.o ¶

⊟

2.67 KB

strings --all {} ¶

⊟

17.0 KB

./usr/lib/hol88-2.02.19940316/Library/arith/norm_arith_ml.o ¶

⊟

16.9 KB

strings --all {} ¶

⊟

5.02 KB

./usr/lib/hol88-2.02.19940316/Library/arith/norm_bool_ml.o ¶

⊟

4.91 KB

strings --all {} ¶

⊟

5.47 KB

./usr/lib/hol88-2.02.19940316/Library/arith/norm_ineqs_ml.o ¶

⊟

5.35 KB

strings --all {} ¶

⊟

4.81 KB

./usr/lib/hol88-2.02.19940316/Library/arith/prenex_ml.o ¶

⊟

4.7 KB

strings --all {} ¶

⊟

10.1 KB

./usr/lib/hol88-2.02.19940316/Library/arith/qconv_ml.o ¶

⊟

10.0 KB

strings --all {} ¶

⊟

9.54 KB

./usr/lib/hol88-2.02.19940316/Library/arith/rationals_ml.o ¶

⊟

9.43 KB

strings --all {} ¶

⊟

9.37 KB

./usr/lib/hol88-2.02.19940316/Library/arith/sol_ranges_ml.o ¶

⊟

9.25 KB

strings --all {} ¶

⊟

18.2 KB

./usr/lib/hol88-2.02.19940316/Library/arith/solve_ineqs_ml.o ¶

⊟

18.1 KB

strings --all {} ¶

⊟

9.69 KB

./usr/lib/hol88-2.02.19940316/Library/arith/solve_ml.o ¶

⊟

9.58 KB

strings --all {} ¶

⊟

7.55 KB

./usr/lib/hol88-2.02.19940316/Library/arith/streams_ml.o ¶

⊟

7.45 KB

strings --all {} ¶

⊟

1.58 KB

./usr/lib/hol88-2.02.19940316/Library/arith/string_extra_ml.o ¶

⊟

1.46 KB

strings --all {} ¶

⊟

4.67 KB

./usr/lib/hol88-2.02.19940316/Library/arith/sub_and_cond_ml.o ¶

⊟

4.55 KB

strings --all {} ¶

⊟

24.9 KB

./usr/lib/hol88-2.02.19940316/Library/arith/sup-inf_ml.o ¶

⊟

24.8 KB

strings --all {} ¶

⊟

10.2 KB

./usr/lib/hol88-2.02.19940316/Library/arith/term_coeffs_ml.o ¶

⊟

10.1 KB

strings --all {} ¶

⊟

15.1 KB

./usr/lib/hol88-2.02.19940316/Library/finite_sets/fset_conv_ml.o ¶

⊟

14.9 KB

strings --all {} ¶

⊟

4.37 KB

./usr/lib/hol88-2.02.19940316/Library/finite_sets/set_ind_ml.o ¶

⊟

4.25 KB

strings --all {} ¶

⊟

69.0 KB

./usr/lib/hol88-2.02.19940316/Library/ind_defs/ind-defs_ml.o ¶

⊟

68.9 KB

strings --all {} ¶

⊟

393 B

./usr/lib/hol88-2.02.19940316/Library/ind_defs/ind_defs_ml.o ¶

⊟

273 B

strings --all {} ¶

⊟

5.52 KB

./usr/lib/hol88-2.02.19940316/Library/latex-hol/filters_ml.o ¶

⊟

5.4 KB

strings --all {} ¶

⊟

23.3 KB

./usr/lib/hol88-2.02.19940316/Library/latex-hol/formaters_ml.o ¶

⊟

23.2 KB

strings --all {} ¶

⊟

7.46 KB

./usr/lib/hol88-2.02.19940316/Library/latex-hol/hol_trees_ml.o ¶

⊟

7.34 KB

strings --all {} ¶

⊟

4.49 KB

./usr/lib/hol88-2.02.19940316/Library/latex-hol/latex_sets_pp_ml.o ¶

⊟

4.36 KB

strings --all {} ¶

⊟

18.6 KB

./usr/lib/hol88-2.02.19940316/Library/latex-hol/latex_term_pp_ml.o ¶

⊟

18.4 KB

strings --all {} ¶

⊟

5.28 KB

./usr/lib/hol88-2.02.19940316/Library/latex-hol/latex_thm_pp_ml.o ¶

⊟

5.16 KB

strings --all {} ¶

⊟

8.15 KB

./usr/lib/hol88-2.02.19940316/Library/latex-hol/latex_type_pp_ml.o ¶

⊟

8.02 KB

strings --all {} ¶

⊟

2.83 KB

./usr/lib/hol88-2.02.19940316/Library/latex-hol/precedence_ml.o ¶

⊟

2.71 KB

strings --all {} ¶

⊟

4.94 KB

./usr/lib/hol88-2.02.19940316/Library/more_arithmetic/num_convs_ml.o ¶

⊟

4.81 KB

strings --all {} ¶

⊟

4.4 KB

./usr/lib/hol88-2.02.19940316/Library/more_arithmetic/num_tac_ml.o ¶

⊟

4.27 KB

strings --all {} ¶

⊟

99.6 KB

./usr/lib/hol88-2.02.19940316/Library/numeral/numeral_rules_ml.o ¶

⊟

99.4 KB

strings --all {} ¶

⊟

14.0 KB

./usr/lib/hol88-2.02.19940316/Library/pair/all_ml.o ¶

⊟

13.9 KB

strings --all {} ¶

⊟

19.8 KB

./usr/lib/hol88-2.02.19940316/Library/pair/basic_ml.o ¶

⊟

19.7 KB

strings --all {} ¶

⊟

5.91 KB

./usr/lib/hol88-2.02.19940316/Library/pair/both1_ml.o ¶

⊟

5.8 KB

strings --all {} ¶

⊟

21.5 KB

./usr/lib/hol88-2.02.19940316/Library/pair/both2_ml.o ¶

⊟

21.4 KB

strings --all {} ¶

⊟

25.9 KB

./usr/lib/hol88-2.02.19940316/Library/pair/conv_ml.o ¶

⊟

25.8 KB

strings --all {} ¶

⊟

19.1 KB

./usr/lib/hol88-2.02.19940316/Library/pair/exi_ml.o ¶

⊟

19.0 KB

strings --all {} ¶

⊟

1010 B

./usr/lib/hol88-2.02.19940316/Library/pair/pair_ml.o ¶

⊟

909 B

strings --all {} ¶

⊟

18.1 KB

./usr/lib/hol88-2.02.19940316/Library/pair/syn_ml.o ¶

⊟

18.0 KB

strings --all {} ¶

⊟

28.0 KB

./usr/lib/hol88-2.02.19940316/Library/parser/general_ml.o ¶

⊟

27.9 KB

strings --all {} ¶

⊟

86.5 KB

./usr/lib/hol88-2.02.19940316/Library/parser/parser_ml.o ¶

⊟

86.4 KB

strings --all {} ¶

⊟

17.1 KB

./usr/lib/hol88-2.02.19940316/Library/pred_sets/fset_conv_ml.o ¶

⊟

17.0 KB

strings --all {} ¶

⊟

11.4 KB

./usr/lib/hol88-2.02.19940316/Library/pred_sets/gspec_ml.o ¶

⊟

11.3 KB

strings --all {} ¶

⊟

4.57 KB

./usr/lib/hol88-2.02.19940316/Library/pred_sets/set_ind_ml.o ¶

⊟

4.45 KB

strings --all {} ¶

⊟

15.1 KB

./usr/lib/hol88-2.02.19940316/Library/prettyp/PP_hol/hol_term_pp_ml.o ¶

⊟

14.9 KB

strings --all {} ¶

⊟

5.31 KB

./usr/lib/hol88-2.02.19940316/Library/prettyp/PP_hol/hol_thm_pp_ml.o ¶

⊟

5.18 KB

strings --all {} ¶

⊟

7.39 KB

./usr/lib/hol88-2.02.19940316/Library/prettyp/PP_hol/hol_trees_ml.o ¶

⊟

7.26 KB

strings --all {} ¶

⊟

8.14 KB

./usr/lib/hol88-2.02.19940316/Library/prettyp/PP_hol/hol_type_pp_ml.o ¶

⊟

8.0 KB

strings --all {} ¶

⊟

1.69 KB

./usr/lib/hol88-2.02.19940316/Library/prettyp/PP_hol/link_to_hol_ml.o ¶

⊟

1.56 KB

strings --all {} ¶

⊟

9.11 KB

./usr/lib/hol88-2.02.19940316/Library/prettyp/PP_hol/new_printers_ml.o ¶

⊟

8.98 KB

strings --all {} ¶

⊟

2.26 KB

./usr/lib/hol88-2.02.19940316/Library/prettyp/PP_hol/precedence_ml.o ¶

⊟

2.13 KB

strings --all {} ¶

⊟

2.28 KB

./usr/lib/hol88-2.02.19940316/Library/prettyp/PP_parser/PP_to_ML_ml.o ¶

⊟

2.15 KB

strings --all {} ¶

⊟

61.1 KB

./usr/lib/hol88-2.02.19940316/Library/prettyp/PP_parser/convert_ml.o ¶

⊟

61.0 KB

strings --all {} ¶

⊟

27.0 KB

./usr/lib/hol88-2.02.19940316/Library/prettyp/PP_parser/generate_ml.o ¶

⊟

26.8 KB

strings --all {} ¶

⊟

21.5 KB

./usr/lib/hol88-2.02.19940316/Library/prettyp/PP_parser/lex_ml.o ¶

⊟

21.3 KB

strings --all {} ¶

⊟

26.7 KB

./usr/lib/hol88-2.02.19940316/Library/prettyp/PP_parser/pp_lang1_pp_ml.o ¶

⊟

26.6 KB

strings --all {} ¶

⊟

31.9 KB

./usr/lib/hol88-2.02.19940316/Library/prettyp/PP_parser/pp_lang2_pp_ml.o ¶

⊟

31.8 KB

strings --all {} ¶

⊟

96.1 KB

./usr/lib/hol88-2.02.19940316/Library/prettyp/PP_parser/syntax_ml.o ¶

⊟

96.0 KB

strings --all {} ¶

⊟

31.6 KB

./usr/lib/hol88-2.02.19940316/Library/prettyp/PP_printer/boxes_ml.o ¶

⊟

31.5 KB

strings --all {} ¶

⊟

7.07 KB

./usr/lib/hol88-2.02.19940316/Library/prettyp/PP_printer/boxtostring_ml.o ¶

⊟

6.93 KB

strings --all {} ¶

⊟

5.55 KB

./usr/lib/hol88-2.02.19940316/Library/prettyp/PP_printer/extents_ml.o ¶

⊟

5.42 KB

strings --all {} ¶

⊟

15.1 KB

./usr/lib/hol88-2.02.19940316/Library/prettyp/PP_printer/print_ml.o ¶

⊟

15.0 KB

strings --all {} ¶

⊟

2.25 KB

./usr/lib/hol88-2.02.19940316/Library/prettyp/PP_printer/ptree_ml.o ¶

⊟

2.12 KB

strings --all {} ¶

⊟

11.3 KB

./usr/lib/hol88-2.02.19940316/Library/prettyp/PP_printer/strings_ml.o ¶

⊟

11.2 KB

strings --all {} ¶

⊟

43.7 KB

./usr/lib/hol88-2.02.19940316/Library/prettyp/PP_printer/treematch_ml.o ¶

⊟

43.6 KB

strings --all {} ¶

⊟

52.8 KB

./usr/lib/hol88-2.02.19940316/Library/prettyp/PP_printer/treetobox_ml.o ¶

⊟

52.7 KB

strings --all {} ¶

⊟

26.3 KB

./usr/lib/hol88-2.02.19940316/Library/prettyp/PP_printer/utils_ml.o ¶

⊟

26.2 KB

strings --all {} ¶

⊟

4.16 KB

./usr/lib/hol88-2.02.19940316/Library/record_proof/dummy_funs_ml.o ¶

⊟

4.03 KB

strings --all {} ¶

⊟

50.8 KB

./usr/lib/hol88-2.02.19940316/Library/record_proof/proof_rec_ml.o ¶

⊟

50.7 KB

strings --all {} ¶

⊟

14.7 KB

./usr/lib/hol88-2.02.19940316/Library/reduce/arithconv_ml.o ¶

⊟

14.6 KB

strings --all {} ¶

⊟

5.96 KB

./usr/lib/hol88-2.02.19940316/Library/reduce/boolconv_ml.o ¶

⊟

5.85 KB

strings --all {} ¶

⊟

3.55 KB

./usr/lib/hol88-2.02.19940316/Library/reduce/reduce_ml.o ¶

⊟

3.44 KB

strings --all {} ¶

⊟

18.8 KB

./usr/lib/hol88-2.02.19940316/Library/res_quan/cond_rewr_ml.o ¶

⊟

18.7 KB

strings --all {} ¶

⊟

34.3 KB

./usr/lib/hol88-2.02.19940316/Library/res_quan/res_rules_ml.o ¶

⊟

34.1 KB

strings --all {} ¶

⊟

17.1 KB

./usr/lib/hol88-2.02.19940316/Library/sets/fset_conv_ml.o ¶

⊟

17.0 KB

strings --all {} ¶

⊟

11.3 KB

./usr/lib/hol88-2.02.19940316/Library/sets/gspec_ml.o ¶

⊟

11.2 KB

strings --all {} ¶

⊟

4.55 KB

./usr/lib/hol88-2.02.19940316/Library/sets/set_ind_ml.o ¶

⊟

4.45 KB

strings --all {} ¶

⊟

3.46 KB

./usr/lib/hol88-2.02.19940316/Library/string/ascii_ml.o ¶

⊟

3.35 KB

strings --all {} ¶

⊟

2.33 KB

./usr/lib/hol88-2.02.19940316/Library/string/string_ml.o ¶

⊟

2.22 KB

strings --all {} ¶

⊟

4.2 KB

./usr/lib/hol88-2.02.19940316/Library/string/string_rules_ml.o ¶

⊟

4.08 KB

strings --all {} ¶

⊟

2.36 KB

./usr/lib/hol88-2.02.19940316/Library/string/stringconv_ml.o ¶

⊟

2.25 KB

strings --all {} ¶

⊟

26.4 KB

./usr/lib/hol88-2.02.19940316/Library/taut/taut_check_ml.o ¶

⊟

26.3 KB

strings --all {} ¶

⊟

7.23 KB

./usr/lib/hol88-2.02.19940316/Library/trs/extract_ml.o ¶

⊟

7.13 KB

strings --all {} ¶

⊟

27.1 KB

./usr/lib/hol88-2.02.19940316/Library/trs/matching_ml.o ¶

⊟

27.0 KB

strings --all {} ¶

⊟

9.99 KB

./usr/lib/hol88-2.02.19940316/Library/trs/name_ml.o ¶

⊟

9.89 KB

strings --all {} ¶

⊟

12.3 KB

./usr/lib/hol88-2.02.19940316/Library/trs/search_ml.o ¶

⊟

12.2 KB

strings --all {} ¶

⊟

2.07 KB

./usr/lib/hol88-2.02.19940316/Library/trs/sets_ml.o ¶

⊟

1.97 KB

strings --all {} ¶

⊟

20.4 KB

./usr/lib/hol88-2.02.19940316/Library/trs/sidecond_ml.o ¶

⊟

20.3 KB

strings --all {} ¶

⊟

28.5 KB

./usr/lib/hol88-2.02.19940316/Library/trs/struct_ml.o ¶

⊟

28.4 KB

strings --all {} ¶

⊟

873 B

./usr/lib/hol88-2.02.19940316/Library/trs/thmkind_ml.o ¶

⊟

765 B

strings --all {} ¶

⊟

12.2 KB

./usr/lib/hol88-2.02.19940316/Library/trs/user_ml.o ¶

⊟

12.1 KB

strings --all {} ¶

⊟

45.6 KB

./usr/lib/hol88-2.02.19940316/Library/unwind/unwinding_ml.o ¶

⊟

45.5 KB

strings --all {} ¶

⊟

18.3 KB

./usr/lib/hol88-2.02.19940316/Library/window/basic_close_ml.o ¶

⊟

18.2 KB

strings --all {} ¶

⊟

13.9 KB

./usr/lib/hol88-2.02.19940316/Library/window/eq_close_ml.o ¶

⊟

13.8 KB

strings --all {} ¶

⊟

25.1 KB

./usr/lib/hol88-2.02.19940316/Library/window/hol_ext_ml.o ¶

⊟

25.0 KB

strings --all {} ¶

⊟

35.7 KB

./usr/lib/hol88-2.02.19940316/Library/window/imp_close_ml.o ¶

⊟

35.6 KB

strings --all {} ¶

⊟

50.6 KB

./usr/lib/hol88-2.02.19940316/Library/window/inter_ml.o ¶

⊟

50.5 KB

strings --all {} ¶

⊟

578 B

./usr/lib/hol88-2.02.19940316/Library/window/load_code_ml.o ¶

⊟

460 B

strings --all {} ¶

⊟

1.19 KB

./usr/lib/hol88-2.02.19940316/Library/window/load_window_ml.o ¶

⊟

1.08 KB

strings --all {} ¶

⊟

16.1 KB

./usr/lib/hol88-2.02.19940316/Library/window/ml_ext_ml.o ¶

⊟

16.0 KB

strings --all {} ¶

⊟

30.8 KB

./usr/lib/hol88-2.02.19940316/Library/window/tables_ml.o ¶

⊟

30.7 KB

strings --all {} ¶

⊟

6.84 KB

./usr/lib/hol88-2.02.19940316/Library/window/tactic_ml.o ¶

⊟

6.73 KB

strings --all {} ¶

⊟

2.04 KB

./usr/lib/hol88-2.02.19940316/Library/window/thms_ml.o ¶

⊟

1.94 KB

strings --all {} ¶

⊟

49.4 KB

./usr/lib/hol88-2.02.19940316/Library/window/win_ml.o ¶

⊟

49.3 KB

strings --all {} ¶

⊟

1.48 KB

./usr/lib/hol88-2.02.19940316/Library/window/window_ml.o ¶

⊟

1.38 KB

strings --all {} ¶

⊟

5.27 KB

./usr/lib/hol88-2.02.19940316/Library/window/xlabel_ml.o ¶

⊟

5.16 KB

strings --all {} ¶

⊟

26.8 KB

./usr/lib/hol88-2.02.19940316/Library/word/word_convs_ml.o ¶

⊟

26.7 KB

strings --all {} ¶

⊟

318 KB

hol88-source_2.02.19940316-35_all.deb ¶

⊟

452 B

file list ¶

⊟

98.0 B

control.tar.xz ¶

⊟

70.0 B

control.tar ¶

⊟

48.0 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

318 KB

data.tar.xz ¶

⊟

318 KB

data.tar ¶

⊟

1.53 KB

⊟

677 B

⊟

535 B

⊟

58.2 KB

⊟

20.2 KB

⊟

5.19 KB

⊟

5.72 KB

⊟

892 B

⊟

176 KB

⊟

9.85 KB

⊟

3.96 KB

⊟

1.69 KB

⊟

14.1 KB

⊟

7.94 KB

⊟

6.74 KB

⊟

4.15 KB

⊟

115 MB

hol88_2.02.19940316-35_armhf.deb ¶

⊟

367 B

file list ¶

⊟

98.0 B

control.tar.xz ¶

⊟

70.0 B

control.tar ¶

⊟

48.0 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

115 MB

data.tar.xz ¶

⊟

115 MB

data.tar ¶

⊟

41.9 MB

./usr/lib/hol88-2.02.19940316/basic-hol ¶

⊟

227 KB

strings --all {} ¶

⊟

41.6 MB

objdump --line-numbers --disassemble --demangle --reloc --section=.data {} ¶

⊟

68.4 MB

./usr/lib/hol88-2.02.19940316/hol ¶

⊟

471 KB

strings --all {} ¶

⊟

68.0 MB

objdump --line-numbers --disassemble --demangle --reloc --section=.data {} ¶

⊟

4.99 MB

./usr/lib/hol88-2.02.19940316/hol-lcf ¶

⊟

36.3 KB

strings --all {} ¶

⊟

4.96 MB

objdump --line-numbers --disassemble --demangle --reloc --section=.data {} ¶


Offset 1, 10 lines modified		Offset 1, 10 lines modified

1	·d074d9af80232e4bc484c88028bfe9c2·24736·math·optional·hol88-contrib-help_2.02.19940316-35_all.deb	1	·d074d9af80232e4bc484c88028bfe9c2·24736·math·optional·hol88-contrib-help_2.02.19940316-35_all.deb
2	·b30b018ff66a29a0dbc7e71e3a95e38c·728068·math·optional·hol88-contrib-source_2.02.19940316-35_all.deb	2	·b30b018ff66a29a0dbc7e71e3a95e38c·728068·math·optional·hol88-contrib-source_2.02.19940316-35_all.deb
3	·874~~118ca9f672~~c~~23271e0427670~~a~~3f78~~·1055~~708~~·doc·optional·hol88-doc_2.02.19940316-35_all.deb	3	·924a3cf7330c6cdfa95af86b2acaa130·1055684·doc·optional·hol88-doc_2.02.19940316-35_all.deb
4	·7eaacee0ce003d1b3b96b867b30abe16·210720·math·optional·hol88-help_2.02.19940316-35_all.deb	4	·7eaacee0ce003d1b3b96b867b30abe16·210720·math·optional·hol88-help_2.02.19940316-35_all.deb
5	·94d85d526c4e1d309b90180f1014067e·228488·math·optional·hol88-library-help_2.02.19940316-35_all.deb	5	·94d85d526c4e1d309b90180f1014067e·228488·math·optional·hol88-library-help_2.02.19940316-35_all.deb
6	·0bad14b311dfcbc352674d6f4de6aac8·418340·math·optional·hol88-library-source_2.02.19940316-35_all.deb	6	·0bad14b311dfcbc352674d6f4de6aac8·418340·math·optional·hol88-library-source_2.02.19940316-35_all.deb
7	·~~04e~~3b0~~2f9d~~728a684~~80b~~ae7fadb~~ac75~~6·358~~2900~~·math·optional·hol88-library_2.02.19940316-35_armhf.deb	7	·5901085767a5041a2ac4fe780bd53962·3583864·math·optional·hol88-library_2.02.19940316-35_armhf.deb
8	·~~861a34c2bc~~67341b09~~805ba0b24a~~7339·295376·math·optional·hol88-source_2.02.19940316-35_all.deb	8	·1d7ef9531b6d349ba199272da4c887bd·295384·math·optional·hol88-source_2.02.19940316-35_all.deb
9	·~~429955fe5~~2~~b4e73bb44~~06~~9fd6f4e~~6~~d06~~·5463~~956~~·math·optional·hol88_2.02.19940316-35_armhf.deb	9	·a105c89aca2db52ecf170e549a90649f·5453492·math·optional·hol88_2.02.19940316-35_armhf.deb


Offset 1, 3 lines modified		Offset 1, 3 lines modified
1	-rw-r--r--···0········0········0········4·2017-08-29·22:52:36.000000·debian-binary	1	-rw-r--r--···0········0········0········4·2017-08-29·22:52:36.000000·debian-binary
2	-rw-r--r--···0········0········0·····1232·2017-08-29·22:52:36.000000·control.tar.xz	2	-rw-r--r--···0········0········0·····1236·2017-08-29·22:52:36.000000·control.tar.xz
3	-rw-r--r--···0········0········0··1054284·2017-08-29·22:52:36.000000·data.tar.xz	3	-rw-r--r--···0········0········0··1054256·2017-08-29·22:52:36.000000·data.tar.xz


Offset 1, 10 lines modified		Offset 1, 10 lines modified
00000000:·f702·0183·92c0·1c3b·0000·0000·03e8·1b20··.......;.......·		00000000:·f702·0183·92c0·1c3b·0000·0000·03e8·1b20··.......;.......·
00000010:·5465·5820·6f75·7470·7574·2032·3032·302e··TeX·output·2020.		00000010:·5465·5820·6f75·7470·7574·2032·3032·302e··TeX·output·2020.
00000020:·3036·2e31·373a·3233·3432·8b00·0000·0100··06.17:2342......		00000020:·3036·2e31·393a·3032·3034·8b00·0000·0100··06.19:0204......
00000030:·0000·0000·0000·0000·0000·0000·0000·0000··................		00000030:·0000·0000·0000·0000·0000·0000·0000·0000··................
00000040:·0000·0000·0000·0000·0000·0000·0000·0000··................		00000040:·0000·0000·0000·0000·0000·0000·0000·0000··................
00000050:·0000·00ff·ffff·ffa0·0276·ef02·8da0·fd86··.........v......		00000050:·0000·00ff·ffff·ffa0·0276·ef02·8da0·fd86··.........v......
00000060:·d70b·a002·5b28·f58d·a0fe·b76b·a68d·8d92··....[(.....k....		00000060:·d70b·a002·5b28·f58d·a0fe·b76b·a68d·8d92··....[(.....k....
00000070:·0096·f106·a5ff·4b53·34ef·4d70·733a·3a5b··......KS4.Mps::[		00000070:·0096·f106·a5ff·4b53·34ef·4d70·733a·3a5b··......KS4.Mps::[
00000080:·6265·6769·6e5d·2031·3038·3933·3435·3320··begin]·10893453·		00000080:·6265·6769·6e5d·2031·3038·3933·3435·3320··begin]·10893453·
00000090:·3131·3834·3037·3136·2038·3432·3030·3635··11840716·8420065		00000090:·3131·3834·3037·3136·2038·3432·3030·3635··11840716·8420065


Offset 19, 3827 lines modified		Offset 19, 3827 lines modified
00000120:·e882·af4e·9e9d·5e7c·73f6·3f7d·ce89·0f5a··...N..^\|s.?}...Z		00000120:·e882·af4e·9e9d·5e7c·73f6·3f7d·ce89·0f5a··...N..^\|s.?}...Z
00000130:·9e3e·98ce·9ff8·d5f3·e277·f3bf·fde1·ab6f··.>.......w.....o		00000130:·9e3e·98ce·9ff8·d5f3·e277·f3bf·fde1·ab6f··.>.......w.....o
00000140:·fefb·e9f7·3efd·f7bb·4f7e·fae9·a7cf·2fb6··....>...O~..../.		00000140:·fefb·e9f7·3efd·f7bb·4f7e·fae9·a7cf·2fb6··....>...O~..../.
00000150:·919e·be3a·fdfc·fef9·934f·f7d7·f893·93a7··...:.....O......		00000150:·919e·be3a·fdfc·fef9·934f·f7d7·f893·93a7··...:.....O......
00000160:·0ffe·78f6·f474·3f55·d783·de5f·f1d5·c9c5··..x..t?U..._....		00000160:·0ffe·78f6·f474·3f55·d783·de5f·f1d5·c9c5··..x..t?U..._....
00000170:·c993·d3cb·d30b·1ef4·e0d9·d9ff·ab29·cbfd··.............)..		00000170:·c993·d3cb·d30b·1ef4·e0d9·d9ff·ab29·cbfd··.............)..
00000180:·37df·9cbf·b8b8·cfcf·76df·9efe·6977·fee2··7.......v...iw..		00000180:·37df·9cbf·b8b8·cfcf·76df·9efe·6977·fee2··7.......v...iw..
00000190:·f2d9·0b27·3596·9f97·cde7·a1fd·7d4c·7944··...'5.......~~}LyD~~		00000190:·f2d9·0b27·3596·9f97·cde7·a1ff·3d7f·49d7··...'5.......=.I.
000001a0:·~~e3e9~~·~~c3b3~~·a75f·~~5d9c~~·~~dff~~f·~~e6f4~~·f2f7·~~bbcb~~··....._].........		000001a0:·78fa·f0ec·e957·17e7·f7bf·39bd·fcfd·eef2··x....W....9.....
000001b0:·~~d397~~·~~9f3~~f·~~bb38~~·~~77d4~~·~~c5ef~~·fe53·~~718f~~·~~9fce~~··...?.~~8w.~~...Sq...		000001b0:·f4e5·e7cf·2ece·1d75·f1bb·ff54·dce3·a7f3··.......u...T....
000001c0:·67f7·~~2f77~~·~~a92c~~·770f·f~~ce3~~·~~c1e9~~·~~0fbb~~·~~c387~~··g./w.~~,w~~.........		000001c0:·d9fd·cb5d·2acb·dd03·ff78·70fa·c3ee·f0e1··...]*....xp.....
000001d0:·dffb·~~d37b~~·5f5e·~~f1d9~~·cffc·~~776f~~·~~bcfa~~·~~feec~~··...~~{_^.~~...wo..~~..~~		000001d0:·f7fe·f4de·9757·7cf6·33ff·dd1b·afbe·3f7b··.....W\|.3.....?{
000001e0:·~~e903~~·~~2ff9~~·f~~9cb~~·~~7bdf~~·5~~c9d~~·~~bebc~~·ff88·3ffe··../...~~{.\.~~....?.		000001e0:·fac0·4b7e·fef2·de37·57a7·2fef·3fe2·8f3f··..K~...7W./.?..?
000001f0:·74f5·4df1·~~e5c~~f·~~e3bd~~·e1ea·c18b~~·67bc·~~7efb·~~·t.M~~..~~..~~.....g.~.		000001f0:·5d7d·537c·f9f3·786f·b87a·f0e2·19af·df7e··]}S\|..xo.z.....~
00000200:·f5d5·~~e5c5~~·c9d3·e78f·~~5925~~·be3e·7bfe·f~~8f9··~~...~~..~~...Y%.>{~~..~~.		00000200:·7d75·7971·f2f4·f963·5689·afcf·9e3f·7ebe··}uyq...cV....?~.
00000210:·~~ee87~~·~~93c7~~·~~cf4f~~·~~775f~~·~~defb~~·~~f139~~·~~33b6~~·~~0b61~~··.....Ow_..~~.93~~..a		00000210:·fbe1·e4f1·f3d3·dd97·f77e·7cce·8ced·42d8··.........~\|...B.
00000220:·~~d7c6~~·~~dd93~~·~~178f~~·~~f9e4~~·~~51fe~~·~~a4fb~~·~~bce6~~·a~~362~~··....~~...~~.Q......b		00000220:·b571·f7e4·c563·3e79·943f·e93e·aff9·a8d8··.q...c>y.?.>....
00000230:·~~fbe8~~·~~3113~~·~~f2ec~~·f~~18b~~·~~e77d~~·~~799~~5·7f97·9ffd··~~..1~~.~~..~~..~~.}y~~.....		00000230:·3e7a·cc84·3c7b·fce2·795f·5ee5·dfe5·67ff··>z..<{..y_^...g.
00000240:·~~4f30~~·~~cdd9~~·~~d32b~~·~~ef76~~·f55d·~~b93b~~·~~ba26~~·~~ec3e~~··~~O0.~~..+.~~v.]~~.;.&.>		00000240:·134c·73f6·f4ca·bb5d·7d57·ee8e·ae09·bbcf··.Ls....]}W......
00000250:·~~0b3~~f·5~~f7d~~·~~1676~~·~~e1e7~~·~~b31f~~·~~4e7d~~·~~4e59~~·~~30bc~~··.~~?_}~~.v....~~N}NY0~~.		00000250:·c2cf·579f·855d·f8f9·ec87·539f·5316·0cef··..W..]....S.S...
00000260:·3fdf·3f7f·~~7af~~f·~~e492~~·~~cf7c~~·~~d8d7~~·~~a7cf~~·~~cf1f~~··?.?.~~z.~~..~~.\|~~......		00000260:·cff7·cf9f·de3f·b9e4·331f·f6f5·e9f3·f3c7··.....?..3.......
00000270:·bf90·~~7918~~·~~e68f~~·7ef2·~~6f6f~~·~~7cf4~~·~~f4f4~~·~~e1ee~~··~~..y~~...~.~~oo\|...~~..		00000270:·2f64·1e86·f9a3·9ffc·db1b·1f3d·3d7d·b87b··/d.........==}.{
00000280:·b90b·~~b4cb~~·~~cf28~~·~~8e9e~~·~~707c~~·~~29b~~f·~~f4e~~a·~~6d20~~··.....(..~~p\|)~~..~~.m·~~		00000280:·ee02·edf2·338a·a327·1c5f·ca2f·bd7a·1b88··....3..'._./.z..
00000290:·~~d25b~~·~~eef2~~·3c5c·~~1d5d~~·~~f3d9~~·~~fea2~~·~~3cb6~~·3ca8··.[..<~~\.]~~....<.<.		00000290:·f496·bb3c·0f57·47d7·7cb6·bf28·8f2d·0faa··...<.WG.\|..(.-..
000002a0:·~~f24~~0·dab7·~~5f4b~~·~~d0d~~1·b5c7·~~f7d~~e·6e7a·~~f875~~··.@..~~_K.~~.....nz.u		000002a0:·3c90·f6ed·d712·7474·edf1·bdb7·9b1e·7e1d··<.....tt......~.
000002b0:·~~d89d~~·~~3c78~~·~~901f~~·~~f1ed~~·~~d7df~~·154f·~~4e2e~~·~~2fce~~··..~~<x.~~......ON./.		000002b0:·7627·0f1e·e447·7cfb·f577·c593·93cb·8bb3··v'...G\|..w......
000002c0:·~~5eee~~·~~eeb~~f·~~b8b8~~·80c5·~~b677~~·~~57c3~~·~~6ed8~~·~~5dc8~~··^........wW.n.].		000002c0:·97bb·fb2f·2e2e·60b1·eddd·d5b0·1b76·1732··.../..`......v.2
000002d0:·~~ccbb~~·~~e72f~~·~~bedf~~·~~9d7c~~·ff7c·~~c7e2~~·f37f·~~61f7~~··.../..~~.\|~~.\|....a.		000002d0:·f3ee·f98b·ef77·27df·3fdf·b1f8·fc5f·d83d··.....w'.?...._.=
000002e0:·~~f8f2~~·2a7f·~~c1d3~~·~~7efe~~·~~e1fc~~·~~e2e4~~·f~~1e3~~·~~edc2~~··..*...~...~~..~~....		000002e0:·bebc·ca5f·f0b4·9f7f·38bf·3879·fc78·bbb0··..._....8.8y.x..
000002f0:·~~4262~~·f7bf·f1cf·3f3f·3fdd·~~df8c~~·a5fa·~~27c7~~··Bb....~~???~~.~~..~~..~~'.~~		000002f0:·90d8·fd6f·fcf3·cfcf·4ff7·3763·a9fe·c931··...o....O.7c...1
00000300:·~~cc1c~~·~~3c3b~~·~~bdda~~·~~96ed~~·~~f202~~·~~1973~~·~~6df~~f·~~0926~~··..~~<;~~.......sm..&		00000300:·3307·cf4e·afb6·65bb·bc40·c65c·db7f·8249··3..N..e..@.\...I
00000310:·~~7d71~~·f2f8·~~87d3~~·~~d307~~·5~~7c5~~·f~~3cb~~·~~93cb~~·~~17cf~~··~~}q.~~.....W.......		00000310:·5f9c·3cfe·e1f4·f4c1·55f1·fcf2·e4f2·c573··_.<.....U......s
00000320:·~~e596~~·~~7b37~~·~~1f6f~~·~~d7c2~~·825e·7dff·~~fcd9~~·~~d9e9~~··..{7.o...~~^}.~~.~~..~~.		00000320:·b9e5·decd·c7db·b5b0·a057·df3f·7f76·76fa··.........W.?.vv.
00000330:·f~~3ab~~·7bff·~~8fed~~·~~8fdd~~·~~9ff8~~·~~70fd~~·~~e2e4~~·f~~2bb~~··..{.....~~..p~~.....		00000330:·fcea·deff·63fb·63f7·273e·5cbf·38b9·fc2e··....c.c.'>\.8...
00000340:·~~90c5~~·~~edb3~~·fcf2·~~e7e2~~·~~cb7b~~·~~eb38~~·~~7e57~~·~~e6cf~~··.........{.8~W..		00000340:·6471·fb2c·bffc·b9f8·f2de·3a8e·df95·f9b3··dq.,......:.....
00000350:·~~ca3~~f·7f79·ef~~e9·5~~3fe·~~f8f2~~·~~de1f~~·~~96ed~~·~~f5fe~~··.?.y..~~S.~~....~~..~~..		00000350:·f2cf·5fde·7bfa·943f·bebc·f787·657b·bd7f··.._.{..?....e{..
00000360:·~~e545~~·~~7e7d~~·f~~0c3~~·~~6797~~·~~2767~~·~~8faf~~·~~fcbe~~·~~dbb8~~··~~.E~}~~..g.'g......		00000360:·7991·5f1f·fcf0·d9e5·c9d9·e32b·bfef·362e··y._........+..6.
00000370:·f~~4cb~~·~~1d7~~f·~~67f6~~·~~2cee~~·~~29a~~a·~~dfbe~~·~~7a76~~·~~ba4b~~··....g.,.)...zv.K		00000370:·fd72·c7df·993d·8b7b·8aea·b7af·9e9d·ee12··.r...=.{........
00000380:·~~5ceb~~·~~9b2f~~·b6a9·~~fae1~~·~~e9e5~~·~~c5cb~~·f~~d47~~·23a2··\..~~/.~~.~~....~~...G#.		00000380:·d7fa·e68b·6daa·7e78·7a79·f172·ffd1·88a8··....m.~xzy.r....
00000390:·~~bee3~~·~~61fc~~·~~f039~~·~~5f3e~~·~~7d78~~·effb·~~1356~~·~~e34f~~··..~~a.~~.9~~_>}x~~...V.O		00000390:·ef78·183f·7cce·974f·1fde·fbfe·84d5·f8d3··.x.?\|..O........
000003a0:·~~bb93~~·~~8b8b~~·9357·~~c5bd~~·~~f18c~~·5~~f21~~·~~7b7~~f·~~ba37~~··.....~~W...~~.~~_!{~~..7		000003a0:·eee4·e2e2·e455·716f·3ce3·57c8·de9f·ee8d··.....Uqo<.W.....
000003b0:·~~be38~~·~~7bfc~~·~~607a~~·~~7472~~·~~71e5~~·3ff9·~~dde9~~·~~0573~~··.8{.`~~ztrq~~.~~?...~~.s		000003b0:·2fce·1e3f·981e·9d5c·5cf9·4f7e·777a·c1dc··/..?...\\.O~wz..
000003c0:·~~b33c~~·~~bd7~~f·a~~ece~~·~~d849~~·~~dd97~~·~~0ae9~~·~~6eb8~~·baf7··~~.<~~...~~..I~~....n...		000003c0:·2c4f·ef9f·ab33·7652·f7a5·42ba·1bae·eefd··,O...3vR..B.....
000003d0:·~~c3f9~~·~~f98e~~·19f~~c·8~~1~~47·~~fc1c·~~8b7c~~·~~b31d~~·~~63e6~~··.......G...\|..c.		000003d0:·707e·be63·067f·e011·3fc7·22df·6cc7·98f9··p~.c....?.".l...
000003e0:·~~9f1f~~·~~79f4~~·~~eef1~~·~~f9c9~~·~~0386~~·00ad·~~4ccc~~·613c··..y..~~...~~..~~..L~~.a<		000003e0:·e747·1ebd·7b7c·7ef2·8021·402b·1373·18cf··.G..{\|~..!@+.s..
000003f0:·~~df31~~·~~19cf~~·7fd8·~~8fec~~·~~ca3~~f·~~037~~f·~~6ed4~~·~~3a49~~··~~.1~~.......?..n.~~:I~~		000003f0:·774c·c6f3·1ff6·23bb·f2cf·c09f·1bb5·4ed2··wL....#.......N.
00000400:·~~bb2f~~·~~8bfd~~·~~88b9~~·f0c1·0fcf·~~af60~~·06af·f~~ad3~~··.~~/...~~.....~~.`~~....		00000400:·eecb·623f·622e·7cf0·c3f3·2b98·c1ab·feb4··..b?b.\|...+.....
00000410:·~~76cd~~·77f9·~~b7e5~~·~~8e17~~·~~5936~~·~~cfdc~~·~~eee6~~·~~07cb~~··v.w....~~.Y6.~~.....		00000410:·5df3·5dfe·6db9·e345·96cd·33b7·bbf9·c172··].].m..E..3....r
00000420:·d5b3·f~~367~~·~~3e71~~·~~2810~~·~~1bd4~~·~~8ab4~~·5dd3·~~38de~~··...g~~>q(~~....~~.]~~.8.		00000420:·f5ec·fc99·4f1c·0ac4·06b5·226d·d734·8ef7··....O....."m.4..
00000430:·~~9b7e~~·~~ba9a~~·~~207d~~·~~f7f8~~·~~f4e9~~·~~c3cb~~·~~47bb~~·~~3a73~~··.~..·}......G.~~:s~~		00000430:·a69f·ae26·48df·3d3e·7dfa·f0f2·d1ae·ce9c··...&H.=>}.......
00000440:·~~cec3~~·~~d3fc~~·d5a3·~~d7be~~·aa0e·5f15·~~7ef7~~·~~f22~~a··.........._.~..*		00000440:·f3f0·347f·f5e8·b5af·aac3·5785·dfbd·bc0a··..4.......W.....
00000450:·~~44b4~~·f7d1·~~f7e9~~·~~f0bd~~·a~~f5e~~·~~f2e~~a·~~b59f~~·~~c7eb~~··D...~~...~~..^......		00000450:·11ed·7df4·7d3a·7cef·ab97·bc7a·ede7·f1fa··..}.}:\|....z....
00000460:·~~af43~~·~~6cf3~~·~~2505~~·~~d73c~~·~~78f9~~·~~da45~~·~~e1f8~~·f~~167~~··.~~Cl.%~~.~~.<x~~.~~.E..~~.g		00000460:·eb10·db7c·49c1·350f·5ebe·7651·387e·fcd9··...\|I.5.^.vQ8~..
00000470:·~~db57~~·~~97ac~~·~~e5bd~~·~~6d9~~5·f~~c93~~·515e·~~3973~~·~~5c94~~··.~~W....m.~~.~~.Q^9s\~~.		00000470:·f6d5·256b·796f·5b25·ff64·9457·ce1c·17e5··..%kyo[%.d.W....
00000480:·~~6790~~·ff8a·~~4d34~~·~~be94~~·~~b925~~·~~fb7a~~·9dae·9e~~9f·~~·g...M4.~~..%~~.z....		00000480:·19e4·bf62·138d·2f65·6ec9·be5e·a7ab·e727··...b../en..^...'
00000490:·fc28·1f04·~~381c~~·~~8ef~~f·~~6637~~·~~6ceb~~·~~2c1~~5·~~7187~~··.(..8...~~f7l.,~~.q.		00000490:·3fca·0701·0e87·e3bf·d90d·db3a·4b45·dca1··?..........:KE..
000004a0:·~~ee3a~~·~~7d99~~·fffe·~~e666~~·c5f3·~~db7c~~·~~731e~~·f~~ea7~~··.~~:}~~....f..~~.\|s~~...		000004a0:·bb4e·5fe6·bfbf·b959·f1fc·36df·9c87·ff69··.N_....Y..6....i
000004b0:·~~1d93~~·~~7758~~·~~2706~~·~~fb92~~·~~d7e9~~·~~e56e~~·~~7ab5~~·~~9b1e~~··..~~wX'~~......nz...		000004b0:·c7e4·1dd6·89c1·bee4·757a·b99b·5eed·a647··........uz..^..G
000004c0:·~~654a~~·7df3·~~537e~~·~~f8f4~~·aa60·~~52ef~~·~~9fdc~~·7f74··eJ}.S~...`R....t		000004c0:·9952·dffc·941f·3ebd·2a98·d4fb·27f7·1f9d··.R....>.*...'...
000004d0:·~~fae0~~·f~~4c7~~·b3fb·a~~77e~~·~~c15~~5·~~8ac1~~·~~0d9b~~·7ff6··~~..~~.....~~~.U..~~....		000004d0:·3e38·fdf1·ecfe·a95f·7095·6270·c3e6·9f7d··>8....._p.bp...}
000004e0:·79f0·37f9·a7af·~~769f~~·~~e7e1~~·~~fef9~~·6a3a·~~fbf9~~··y.7...v.....~~j:..~~		000004e0:·1efc·4dfe·e9ab·dde7·79b8·7fbe·9ace·7e3e··..M.....y.....~>
000004f0:·~~ec09~~·2afe·~~c9c9~~·f3bf·~~1417~~·~~a7cf~~·~~b193~~·a70c··..*.............		000004f0:·7b82·8a7f·72f2·fc2f·c5c5·e973·ece4·2903··{...r../...s..).
00000500:·~~64be~~·~~ba77~~·ff3e·~~34dc~~·~~3a05~~·7f56·~~6f3c~~·~~7d7a~~··d..w.>4.:..~~Vo<}z~~		00000500:·99af·eedd·bf0f·0db7·4ec1·9fd5·1b4f·9fde··........N....O..
00000510:·~~331e~~·~~2e9~~5·5095·f~~ed3~~·~~a76f~~·~~8ec7~~·~~6fbe~~·~~d965~~··3.~~..P~~....o..o..e		00000510:·8c87·4b25·54a5·fff4·e99b·e3f1·9b6f·7699··..K%T........ov.
00000520:·~~d6e2~~·~~b7c3~~·~~9b13~~·~~3e5c~~·~~cfc6~~·37db·02fe·~~9035~~··......>\..7..~~..5~~		00000520:·b5f8·edf0·e684·0fd7·b3f1·cdb6·803f·648d··.............?d.
00000530:·~~0ef7~~·2a7c·~~cc81~~·59fd·~~ef30~~·d5e3·~~bd3~~f·5~~cf1~~··..*\|..Y.~~.0~~...~~?\.~~		00000530:·c3bd·0a1f·7360·56ff·3b4c·f578·ef0f·573c··....s`V.;L.x..W<
00000540:·~~c8ed~~·~~edcc~~·~~dbef~~·~~cf9f~~·5~~dbd~~·~~787e~~·~~7a91~~·~~f50~~0··~~...~~....~~.].x~z..~~.		00000540:·727b·3bf3·f6fb·f367·572f·9e9f·5e64·3dc0··r{;....gW/..^d=.
00000550:·~~6f3e~~·~~7b74~~·7efe·~~97dd~~·~~5f9e~~·~~9ef~~f·~~f4f4~~·aa38··o>~~{t~~~..._.....~~.8~~		00000550:·9bcf·1e9d·9fff·65f7·97a7·e73f·3dbd·2a0e··......e....?=.*.
00000560:·~~bce7~~·~~6ef7~~·bef9·~~c32e~~·~~2fcb~~·~~97bb~~·~~4d87~~·~~e7b9~~··..n...../...M...		00000560:·efb9·dbbd·6ffe·b0cb·cbf2·e56e·d3e1·796e··....o......n..yn
00000570:·~~7972~~·f~~ee3~~·~~e9e5~~·~~f9bd~~·7fdb·~~dda6~~·~~d7a0~~·~~2f64~~··yr.~~....~~.......~~/d~~		00000570:·9e9c·ff78·7a79·7eef·df76·b7e9·35e8·0b99··...xzy~..v..5...
00000580:·~~ba86~~·~~ac3c~~·~~b3ca~~·2ab7·~~0fb2~~·~~3e94~~·04c0·~~844a~~··...<..*...>....J		00000580:·ae21·2bcf·acb2·caed·83ac·0f25·0130·a192··.!+........%.0..
00000590:·~~eede~~·fffd·~~6f3~~f·5~~fdd~~·fbfa·~~df0e~~·~~fa35~~·~~4b9c~~··....~~o?_~~.....~~.5K~~.		00000590:·bbf7·7fff·dbcf·57f7·befe·b783·7ecd·12a7··......W.....~...
000005a0:·~~364c~~·~~29e0~~·3f24·~~f714~~·420b·~~88d8~~·~~4ff4~~·~~ee9a~~··6~~L)~~.?$..B...O...		000005a0:·0d53·0af8·0fc9·3d85·d002·22f6·13bd·bb26··.S....=..."....&
000005b0:·~~e8d3~~·~~d789~~·~~3ebd~~·~~a179~~·f7fc·d1f9·~~4f1a~~·~~619~~5··...~~.>.~~.y....O~~.a~~.		000005b0:·faf4·75a2·4f6f·68de·3d7f·74fe·9346·58a5··..u.Ooh.=.t..FX.
000005c0:·~~22e~~a·~~eee2~~·~~f2a~~a·~~b8fe~~·~~597e~~·7ffc·~~c39b~~·~~0ff2~~··".......Y~......		000005c0:·88ba·bbb8·bc2a·ae7f·96df·1fff·f0e6·833c··.....*.........<
000005d0:·~~e4c1~~·~~41c7~~·4afd·~~4ff7~~·~~8edf~~·~~14a1~~·~~cc96~~·f~~6c7~~··~~..A~~.J.O..~~...~~....		000005d0:·7970·d0b1·52ff·d3bd·e337·4528·b3a5·fdf1··yp..R....7E(....
000005e0:·~~7b98~~·~~7078~~·80af·5528·~~b16e~~·~~365~~5·~~c42c~~·~~c5bd~~··{.px..U(.~~n6U.,.~~.		000005e0:·1e26·1c1e·e06b·154a·ac9b·4d15·314b·71af··.&...k.J..M.1Kq.
000005f0:·~~8a62~~·~~c881~~·~~2fe~~a·~~2b2f~~·8095·~~77a9~~·~~29f3~~·~~d0c1~~··.b../.~~+/~~.~~.w~~.)~~...~~		000005f0:·a218·72e0·8bfa·ca0b·60e5·5d6a·ca3c·7470··..r.....`.]j.<tp
00000600:·3955·~~b12d~~·dffd·~~1f2f~~·9ef3·~~4fd6~~·~~2fe~~a·~~f93c~~··9U.-.../..O.~~/.~~.<		00000600:·4e55·6ccb·77ff·c78b·e7fc·93f5·8b7a·3e0f··NUl.w........z>.
00000610:·eca6·~~6ebb~~·~~f079~~·~~dbe4~~·~~c76c~~·~~36e5~~·~~4faf~~·7fb8··..n..y..~~.l6~~.O...		00000610:·bba9·db2e·7cde·36f9·319b·4df9·d3eb·1f6e··....\|.6.1.M....n
00000620:·~~19dd~~·3ffd·~~fc65~~·~~71ef~~·~~c199~~·~~ccae~~·~~857d~~·~~f0e~~a··..?.~~.eq..~~.~~..~~.}..		00000620:·46f7·4f3f·7f59·dc7b·7026·b36b·611f·bc7a··F.O?.Y.{p&.ka..z
00000630:·d5d5·cd5b·~~75cf~~·~~abcb~~·~~ed83~~·~~70f8~~·~~e072~~·7f45··~~..~~.[u.....p..r.E		00000630:·7575·f356·ddf3·ea72·fb20·1c3e·b8dc·5f11··uu.V...r.·.>.._.
00000640:·~~bcfe~~·~~607~~f·~~452~~a·~~b60f~~·9e5d·~~6d5f~~·9ffe·~~8fab~~··..`.E*..~~.]m_~~....		00000640:·af3f·d85f·918a·ed83·6757·dbd7·a7ff·e3ea··.?._....gW......
00000650:·~~cffa~~·~~1229~~·~~c454~~·~~9ce6~~·~~d9dc~~·~~5db~~f·~~fd39~~·~~5f93~~··...).T..~~..]~~..9_.		00000650:·b3be·440a·3115·a779·3677·d76f·7fce·d7a4··..D.1..y6w.o....
00000660:·~~6eb~~f·~~a638~~·~~5ce3~~·fbfd·a~~21e~~·~~5ebe~~·bcf7·f~~55b~~··n..8\.....~~^.~~...[		00000660:·dbaf·290e·d7f8·7ebf·a887·972f·ef7d·fd96··..)...~..../.}..
00000670:·~~36e4~~·~~cb7b~~·~~e37c~~·~~8e70~~·~~3335~~·~~fb59~~·~~e32~~a·c41~~6·~~·6..{.\|.~~p35~~.Y.*..		00000670:·0df9·f2de·389f·23dc·4ccd·7ed6·b80a·b1c5··....8.#.L.~.....
00000680:·~~dbf2~~·f~~5ab~~·~~ac63~~·ffed·~~0aba~~·befe·~~b77b~~·3f5e··.....c.......~~{?^~~		00000680:·b67c·fd2a·ebd8·7fbb·82ae·afff·edde·8f57··.\|.*...........W
00000690:·~~f9c9~~·~~9ffc~~·f~~64f~~·~~bb7~~f·~~fb79~~·~~dcdd~~·~~98b1~~·~~3dd0~~··.....O...y.~~...=~~.		00000690:·7ef2·27bf·fdd3·eedf·7e1e·7737·666c·0f74··~.'.....~.w7fl.t
000006a0:·~~0117~~·~~3d78~~·~~c1bb~~·~~9f1e~~·~~9d5e~~·9caa·~~468b~~·0c3f··..=x.....^..F..?		000006a0:·c045·0f5e·f0ee·a747·a717·a7aa·d122·c38f··.E.^...G....."..
000006b0:·befb·~~643e~~·~~7bfe~~·~~ecf1~~·~~c9ab~~·~~4f3~~f·~~f9f2~~·f~~44f~~··..~~d>{..~~...O?...O		000006b0:·ef3e·99cf·9e3f·7b7c·f2ea·d34f·be3c·fdd3··.>...?{\|...O.<..
000006c0:·~~df7e~~·~~fac9~~·~~1f11~~·~~c18b~~·ff7e·~~7106~~·~~26db~~·~~85e6~~··.~~~.~~.~~..~~...~q.~~&.~~..		000006c0:·b79f·7ef2·4744·f0e2·bf5f·9c81·c976·a1b9··..~.GD..._...v..
000006d0:·~~1e8~~0·~~ecd3~~·3f5f·~~5d4b~~·~~d8e1~~·2efb·~~b78f~~·~~11b~~f··....~~?_]K.~~.......		000006d0:·0720·fbf4·cf57·d712·76b8·cbfe·ed63·c4af··.·...W..v....c..
000006e0:·~~e28d~~·a~~ff6~~·~~0c9d~~·~~5fe0~~·eab3·~~a7dc~~·~~e947~~·4030··...~~..~~._...~~..~~.~~G@0~~		000006e0:·78e3·ab3d·43e7·17b8·faec·2977·fa11·10cc··x..=C.....)w....
000006f0:·~~33e2~~·~~fa65~~·~~4b7a~~·~~faf2~~·~~4cec~~·f~~2b3~~·~~9f1c~~·~~26a0~~··3..~~eKz~~..L.....~~&.~~		000006f0:·8cb8·7ed9·929e·be3c·13bb·fcec·2787·0928··..~....<....'..(
00000700:·~~d82c~~·f~~9cf~~·~~7b58~~·~~b467~~·~~794c~~·~~d1d~~5·d5c3·~~2c62~~··.,..{X.~~gyL~~....~~,b~~		00000700:·364b·fef3·1e16·ed59·1e53·7475·f530·8bd8··6K.....Y.Stu.0..
00000710:·~~df7e~~·~~9d35~~·0eff·cf5f·~~4161~~·~~cf8~~0·~~8621~~·~~33f4~~··.~~~.5~~...~~_Aa~~...!3.		00000710:·b75f·678d·c3ff·f357·50d8·33a0·61c8·0c7d··._g....WP.3.a..}
00000720:·~~0d83~~·~~3985~~·5~~785~~·~~9376~~·~~a383~~·~~760f~~·~~0f4a~~·~~e8e7~~··.~~.9~~.W..v..v..J..		00000720:·c360·4ee1·55e1·a4dd·e8a0·ddc3·8312·faf9··.`N.U...........
00000730:·~~5bef~~·~~b4fd~~·~~7ebb~~·~~9777~~·~~bdb9~~·5~~371~~·~~f5ce~~·~~3bed~~··~~[..~~.~..~~w.~~.Sq..~~;.~~		00000730:·d63b·6dbf·dfee·e55d·6fee·545c·bdf3·4e7b··.;m....]o.T\..N{
00000740:·~~a91b~~·~~91d0~~·~~fd3d~~·~~9f9e~~·~~2253~~·~~97a~~a·~~48d0~~·~~2143~~··.~~...~~.=.."S..H.!C		00000740:·ea46·2474·7fcf·a7a7·c8d4·a52a·1274·c850··.F$t.......*.t.P
00000750:·~~7972~~·~~8443~~·~~8a9b~~·3f77·~~6737~~·~~176c~~·6a42·0~~260~~··yr.C..~~?wg7~~.~~ljB~~.`		00000750:·9e1c·e190·e2e6·cfdd·d9cd·059b·9a90·0018··................
00000760:·~~94c7~~·~~58b3~~·~~4ba1~~·~~2bc4~~·~~68fa~~·~~0e1f~~·~~f06d~~·~~b684~~··.~~.X~~.K.+.h....m..		00000760:·e531·d6ec·52e8·0a31·9abe·c307·7c9b·2d61··.1..R..1....\|.-a
00000770:·~~c5e1~~·~~831f~~·~~ce50~~·f~~e0f~~·~~6f14~~·~~ebc9~~·d576·~~1f39~~··.....P..~~o..~~..v.9		00000770:·71f8·e087·3394·ffc3·1bc5·7a72·b5dd·478e··q...3.....zr..G.
00000780:·~~f6f4~~·~~f1e5~~·~~49e6~~·~~8b0c~~·~~2986~~·f~~d07~~·7ff2·f~~e87~~··.~~...I~~..~~.)~~.......		00000780:·3d7d·7c79·92f9·2243·8a61·ffc1·9fbc·ffe1··=}\|y.."C.a......
00000790:·~~8b8a~~·~~7b5f~~·5c7d·~~b37b~~·b6db·~~be52~~·~~e2f6~~·b6f5··..~~{_\}~~.{...R....		00000790:·a2e2·de17·57df·ec9e·edb6·af94·b8bd·6dfd··....W.........m.
000007a0:·~~fbfc~~·~~f1fe~~·cdfd·abcf·aadd·~~17de~~·~~f2e~~a·~~b394~~··................		000007a0:·3e7f·bc7f·73ff·eab3·6af7·85b7·bcfa·2ce5··>...s...j.....,.
000007b0:·ff38·~~bdfa~~·~~2ce6~~·3f7e·~~108d~~·~~7ea1~~·~~bd7b~~·~~785~~5··~~.8~~..,.?~.~~.~~~..{xU		000007b0:·3f4e·af3e·8bf9·8f1f·44a3·5f68·ef1e·5e95··?N.>....D._h..^.
000007c0:·~~e64f~~·1e5d·~~85fc~~·~~7a76~~·b55d·f1ff·~~bdda~~·7ef2··.~~O.].~~.~~zv.]~~....~.		000007c0:·f993·4757·21bf·9e5d·6d57·fc7f·afb6·9ffc··..GW!..]mW......
000007d0:·~~97ab~~·~~ed1e~~·3f5d·~~1d3d~~·ffde·~~e3ab~~·~~673b~~·6efe··....~~?].=~~....~~g;n~~.		000007d0:·e56a·bbc7·4f57·47cf·bff7·f8ea·d98e·9bff··.j..OWG.........
000007e0:·~~137~~f·~~3eb9~~·~~7a56~~·~~707b~~·ff7c·eaa7·~~31f~~f·79ee··..>.z~~Vp{~~.\|..1.y.		000007e0:·c49f·4fae·9e15·dcde·3f9f·fa69·cc7f·9efb··..O.....?..i....
000007f0:·~~9f21~~·ff09·~~cbec~~·~~b6b~~f·2ef8·~~6bfb~~·~~fa39~~·7f6d··~~.!~~........k..9.m		000007f0:·67c8·7fc2·32bb·edaf·0bfe·dabe·7ece·5fdb··g...2.......~._.
00000800:·bfb9·~~e4af~~·~~ed46~~·~~2faf~~·00c5·~~df1c~~·~~3de4~~·1524··.....~~F/.~~.~~..~~.=..$		00000800:·6f2e·f96b·bbd1·cb2b·40f1·3747·0f79·0509··o..k...+@.7G.y..
00000810:·~~c4cd~~·~~4e3e~~·~~db9d~~·~~6485~~·~~0e62~~·fbe6·~~9bbd~~·~~b276~~··..~~N>..d~~..b.....v		00000810:·71b3·93cf·7627·59a1·83d8·bef9·66af·ac1d··q...v'Y.....f...
00000820:·~~3c7c~~·c0fb·~~eb79~~·~~94d3~~·~~8acd~~·~~d3d9~~·f~~b13~~·~~b7b9~~··<\|...y..........		00000820:·0f1f·f0fe·7a1e·e5b4·62f3·74f6·fec4·6dee··....z...b.t...m.
00000830:·~~17cf~~·~~9e1f~~·~~3b18~~·~~afbb~~·~~1217~~·3f5c·~~0149~~·~~1e64~~··....;.....~~?\.I~~.d		00000830:·c5b3·e7c7·0ec6·ebae·c4c5·0f57·4092·0719··...........W@...
00000840:·~~4882~~·~~b370~~·~~6394~~·~~9ce4~~·~~1b49~~·~~64b2~~·~~b27a~~·~~bbb7~~··H..pc...~~.Id~~..z..		00000840:·92e0·2cdc·1825·27f9·4612·99ac·acde·eead··..,..%'.F.......
00000850:·~~fe61~~·~~6669~~·~~7771~~·~~d376~~·f7fe·~~dbd3~~·~~b3f~~f·~~f1e2~~··.~~afiwq~~.v........		00000850:·7f98·59da·5ddc·b4dd·bdff·f6f4·ec7f·bc38··..Y.]..........8
00000860:·~~74fb~~·0ca4·~~9afd~~·~~92ab~~·~~83a2~~·~~dfcb~~·~~c826~~·~~22df~~··~~t.~~...........~~&".~~		00000860:·dd3e·03a9·66bf·e4ea·a0e8·f732·b289·c877··.>..f......2...w
00000870:·~~edef~~·0019·~~8d33~~·~~e530~~·~~81be~~·a7f7·~~0f62~~·~~571f~~··.~~...~~.~~3.0~~.....bW.		00000870:·fb3b·4046·e34c·394c·a0ef·e9fd·83d8·d587··.;@F.L9L........
00000880:·~~3e7d~~·0d80·bfe1·~~1268~~·6b0e·~~18eb~~·~~1a65~~·~~9605~~··>}.....hk....e..		00000880:·4f5f·03e0·6fb8·04da·9a03·c6ba·4699·6581··O_..o.......F.e.
00000890:·~~16f5~~·~~de17~~·~~a768~~·9bfb·~~cfb7~~·~~9b69~~·~~6f6e~~·~~a8df~~··.....h.....~~ion~~..		00000890:·45bd·f7c5·29da·e6fe·f3ed·66da·9b1b·ea77··E...).....f....w
000008a0:·1da0·~~e2d~~5·~~f625~~·~~e3cc~~·f65c·~~317~~f·~~787a~~·7130··....~~.%.~~.~~.\1~~.~~xzq0~~		000008a0:·07a8·78b5·7dc9·38b3·3d57·cc1f·9e5e·1c0c··..x.}.8.=W...^..
000008b0:·~~e8c5~~·~~9ef0~~·~~bd49~~·~~f6b2~~·5~~26d~~·~~e158~~·aebe·~~3b0c~~··..~~...I~~..~~Rm.X~~..;.		000008b0:·7ab1·277c·6f92·bdac·545b·3896·abef·0ec3··z.'\|o...T[8.....
000008c0:·~~e7e~~a·0~~8d0~~·~~6e26~~·~~50c2~~·~~0e4f~~·~~cf9f~~·~~147e~~·~~e254~~··....~~n&P~~..~~O.~~..~.T		000008c0:·b93a·02b4·9b09·94b0·c3d3·f327·859f·3815··.:.........'..8.
000008d0:·bc~~36·~~0~~387·~~6bae·~~29dd~~·~~5bd8~~·~~4ce~~7·e9de·~~8bbb~~··.6..k~~.)~~.[.L.....		000008d0:·afcd·c0e1·9a6b·4af7·1636·d379·baf7·e2ae··.....kJ..6.y....
000008e0:·~~3acc~~·~~74a6~~·~~b0b8~~·~~f754~~·~~4f53~~·~~fad0~~·~~447b~~·0~~5b4~~··:.t.~~..~~.TOS..D{..		000008e0:·0e33·9d29·2cee·3dd5·d394·3e34·d15e·016d··.3.),.=...>4.^.m
000008f0:·~~8d50~~·a~~21e~~·~~9f5f~~·cff2·7707·~~f8f0~~·~~c64d~~·~~8f21~~··.P..._..w....M.!		000008f0:·2394·a8c7·e7d7·b3fc·dd01·3ebc·71d3·63c8··#.........>.q.c.
00000900:·~~67ba~~·~~9ee1~~·~~2727~~·7fc9·~~1fdd~~·~~dba3~~·5~~0c1~~·f~~19f~~··g...~~''.~~....~~.P.~~..		00000900:·99ae·67f8·c9c9·5ff2·47f7·f628·5470·fc67··..g..._.G..(Tp.g
Max diff block lines reached; -1/527648 bytes (-0.00%) of diff not shown.


Offset 10, 22 lines modified		Offset 10, 22 lines modified
10	-rw-r--r--···0·root·········(0)·root·········(0)·····5971·1991-06-20·13:46:02.000000·./usr/share/doc/hol88-doc/Manual/Covers/LANTERN.ps.gz	10	-rw-r--r--···0·root·········(0)·root·········(0)·····5971·1991-06-20·13:46:02.000000·./usr/share/doc/hol88-doc/Manual/Covers/LANTERN.ps.gz
11	-rw-r--r--···0·root·········(0)·root·········(0)·····2284·1991-09-29·15:35:56.000000·./usr/share/doc/hol88-doc/Manual/Covers/LIBRARIES.ps.gz	11	-rw-r--r--···0·root·········(0)·root·········(0)·····2284·1991-09-29·15:35:56.000000·./usr/share/doc/hol88-doc/Manual/Covers/LIBRARIES.ps.gz
12	-rw-r--r--···0·root·········(0)·root·········(0)·····2284·1991-09-29·12:19:37.000000·./usr/share/doc/hol88-doc/Manual/Covers/REFERENCE.ps.gz	12	-rw-r--r--···0·root·········(0)·root·········(0)·····2284·1991-09-29·12:19:37.000000·./usr/share/doc/hol88-doc/Manual/Covers/REFERENCE.ps.gz
13	-rw-r--r--···0·root·········(0)·root·········(0)·····2284·1991-09-29·12:20:00.000000·./usr/share/doc/hol88-doc/Manual/Covers/TUTORIAL.ps.gz	13	-rw-r--r--···0·root·········(0)·root·········(0)·····2284·1991-09-29·12:20:00.000000·./usr/share/doc/hol88-doc/Manual/Covers/TUTORIAL.ps.gz
14	-rw-r--r--···0·root·········(0)·root·········(0)·····2437·1991-06-20·13:46:07.000000·./usr/share/doc/hol88-doc/Manual/Covers/arms.ps.gz	14	-rw-r--r--···0·root·········(0)·root·········(0)·····2437·1991-06-20·13:46:07.000000·./usr/share/doc/hol88-doc/Manual/Covers/arms.ps.gz
15	-rw-r--r--···0·root·········(0)·root·········(0)·····2259·1991-06-20·13:46:02.000000·./usr/share/doc/hol88-doc/Manual/Covers/dsto.ps.gz	15	-rw-r--r--···0·root·········(0)·root·········(0)·····2259·1991-06-20·13:46:02.000000·./usr/share/doc/hol88-doc/Manual/Covers/dsto.ps.gz
16	-rw-r--r--···0·root·········(0)·root·········(0)·····1816·2017-08-29·22:52:36.000000·./usr/share/doc/hol88-doc/Manual/Covers/endpages.dvi	16	-rw-r--r--···0·root·········(0)·root·········(0)·····1816·2017-08-29·22:52:36.000000·./usr/share/doc/hol88-doc/Manual/Covers/endpages.dvi
17	-rw-r--r--···0·root·········(0)·root·········(0)····61511·2017-08-29·22:52:36.000000·./usr/share/doc/hol88-doc/Manual/Covers/endpages.ps.gz	17	-rw-r--r--···0·root·········(0)·root·········(0)····61510·2017-08-29·22:52:36.000000·./usr/share/doc/hol88-doc/Manual/Covers/endpages.ps.gz
18	-rw-r--r--···0·root·········(0)·root·········(0)······918·2017-08-29·22:52:36.000000·./usr/share/doc/hol88-doc/Manual/Covers/titlepages.dvi.gz	18	-rw-r--r--···0·root·········(0)·root·········(0)······917·2017-08-29·22:52:36.000000·./usr/share/doc/hol88-doc/Manual/Covers/titlepages.dvi.gz
19	-rw-r--r--···0·root·········(0)·root·········(0)····66731·2017-08-29·22:52:36.000000·./usr/share/doc/hol88-doc/Manual/Covers/titlepages.ps.gz	19	-rw-r--r--···0·root·········(0)·root·········(0)····66731·2017-08-29·22:52:36.000000·./usr/share/doc/hol88-doc/Manual/Covers/titlepages.ps.gz
20	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2017-08-29·22:52:36.000000·./usr/share/doc/hol88-doc/Manual/Description/	20	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2017-08-29·22:52:36.000000·./usr/share/doc/hol88-doc/Manual/Description/
21	-rw-r--r--···0·root·········(0)·root·········(0)···368540·2017-08-29·22:52:36.000000·./usr/share/doc/hol88-doc/Manual/Description/description.dvi.gz	21	-rw-r--r--···0·root·········(0)·root·········(0)···368541·2017-08-29·22:52:36.000000·./usr/share/doc/hol88-doc/Manual/Description/description.dvi.gz
22	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2017-08-29·22:52:36.000000·./usr/share/doc/hol88-doc/Manual/Guide/	22	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2017-08-29·22:52:36.000000·./usr/share/doc/hol88-doc/Manual/Guide/
23	-rw-r--r--···0·root·········(0)·root·········(0)····73078·1993-09-28·10:51:26.000000·./usr/share/doc/hol88-doc/Manual/Guide/guide.ps.gz	23	-rw-r--r--···0·root·········(0)·root·········(0)····73078·1993-09-28·10:51:26.000000·./usr/share/doc/hol88-doc/Manual/Guide/guide.ps.gz
24	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2017-08-29·22:52:36.000000·./usr/share/doc/hol88-doc/Manual/Libraries/	24	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2017-08-29·22:52:36.000000·./usr/share/doc/hol88-doc/Manual/Libraries/
25	-rw-r--r--···0·root·········(0)·root·········(0)·····2232·2017-08-29·22:52:36.000000·./usr/share/doc/hol88-doc/Manual/Libraries/libraries.dvi	25	-rw-r--r--···0·root·········(0)·root·········(0)·····2232·2017-08-29·22:52:36.000000·./usr/share/doc/hol88-doc/Manual/Libraries/libraries.dvi
26	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2017-08-29·22:52:36.000000·./usr/share/doc/hol88-doc/Manual/Reference/	26	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2017-08-29·22:52:36.000000·./usr/share/doc/hol88-doc/Manual/Reference/
27	-rw-r--r--···0·root·········(0)·root·········(0)···343917·2017-08-29·22:52:36.000000·./usr/share/doc/hol88-doc/Manual/Reference/reference.dvi.gz	27	-rw-r--r--···0·root·········(0)·root·········(0)···343915·2017-08-29·22:52:36.000000·./usr/share/doc/hol88-doc/Manual/Reference/reference.dvi.gz
28	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2017-08-29·22:52:36.000000·./usr/share/doc/hol88-doc/Manual/Tutorial/	28	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2017-08-29·22:52:36.000000·./usr/share/doc/hol88-doc/Manual/Tutorial/
29	-rw-r--r--···0·root·········(0)·root·········(0)···114472·2017-08-29·22:52:36.000000·./usr/share/doc/hol88-doc/Manual/Tutorial/tutorial.dvi.gz	29	-rw-r--r--···0·root·········(0)·root·········(0)···114471·2017-08-29·22:52:36.000000·./usr/share/doc/hol88-doc/Manual/Tutorial/tutorial.dvi.gz
30	-rw-r--r--···0·root·········(0)·root·········(0)·····1820·2017-08-29·22:52:36.000000·./usr/share/doc/hol88-doc/changelog.Debian.gz	30	-rw-r--r--···0·root·········(0)·root·········(0)·····1820·2017-08-29·22:52:36.000000·./usr/share/doc/hol88-doc/changelog.Debian.gz
31	-rw-r--r--···0·root·········(0)·root·········(0)·····1124·2010-11-05·16:09:32.000000·./usr/share/doc/hol88-doc/copyright	31	-rw-r--r--···0·root·········(0)·root·········(0)·····1124·2010-11-05·16:09:32.000000·./usr/share/doc/hol88-doc/copyright


Offset 1, 19 lines modified		Offset 1, 19 lines modified
00000000:·f702·0183·92c0·1c3b·0000·0000·03e8·1b20··.......;.......·		00000000:·f702·0183·92c0·1c3b·0000·0000·03e8·1b20··.......;.......·
00000010:·5465·5820·6f75·7470·7574·2032·3032·302e··TeX·output·2020.		00000010:·5465·5820·6f75·7470·7574·2032·3032·302e··TeX·output·2020.
00000020:·3036·2e31·373a·3233·3431·8b00·0000·0100··06.17:~~2341~~......		00000020:·3036·2e31·393a·3032·3033·8b00·0000·0100··06.19:0203......
00000030:·0000·0000·0000·0000·0000·0000·0000·0000··................		00000030:·0000·0000·0000·0000·0000·0000·0000·0000··................
00000040:·0000·0000·0000·0000·0000·0000·0000·0000··................		00000040:·0000·0000·0000·0000·0000·0000·0000·0000··................
00000050:·0000·00ff·ffff·ffa0·02cc·0555·8da0·fd46··...........U...F		00000050:·0000·00ff·ffff·ffa0·02cc·0555·8da0·fd46··...........U...F
00000060:·d30e·a002·942f·df8d·a0fd·6cd0·218d·9112··...../....l.!...		00000060:·d30e·a002·942f·df8d·a0fd·6cd0·218d·9112··...../....l.!...
00000070:·c761·f30f·c2d6·4ea0·000c·0000·000c·0000··.a....N.........		00000070:·c761·f30f·c2d6·4ea0·000c·0000·000c·0000··.a....N.........
00000080:·0006·636d·6278·3132·ba56·4552·5349·4f4e··..cmbx12.VERSION		00000080:·0006·636d·6278·3132·ba56·4552·5349·4f4e··..cmbx12.VERSION
00000090:·9604·8000·3293·2866·6f72·9348·4f4c·3838··....2.(for.HOL88		00000090:·9604·8000·3293·2866·6f72·9348·4f4c·3838··....2.(for.HOL88
000000a0:·2e32·2e30·2992·00c9·1208·4a75·6e65·9331··.2.0).....June.1		000000a0:·2e32·2e30·2992·00c9·1208·4a75·6e65·9331··.2.0).....June.1
000000b0:·372c·9332·3032·308e·a000·ccfe·898d·9200··7,.2020.........		000000b0:·392c·9332·3032·308e·a000·ccfe·898d·9200··9,.2020.........
000000c0:·8b24·aef3·11c2·d64e·a000·18e1·4800·0c00··.$.....N....H...		000000c0:·8b24·aef3·11c2·d64e·a000·18e1·4800·0c00··.$.....N....H...
000000d0:·0000·0663·6d62·7831·32bc·5468·6596·0954··...cmbx12.The..T		000000d0:·0000·0663·6d62·7831·32bc·5468·6596·0954··...cmbx12.The..T
000000e0:·7b48·4f4c·9353·7973·7465·6d8e·9f1f·72d9··{HOL.System...r.		000000e0:·7b48·4f4c·9353·7973·7465·6d8e·9f1f·72d9··{HOL.System...r.
000000f0:·8d92·00a3·896f·f313·c2d6·4ea0·0014·bd71··.....o....N....q		000000f0:·8d92·00a3·896f·f313·c2d6·4ea0·0014·bd71··.....o....N....q
00000100:·000c·0000·0006·636d·6278·3132·be44·4553··......cmbx12.DES		00000100:·000c·0000·0006·636d·6278·3132·be44·4553··......cmbx12.DES
00000110:·4352·4950·5449·4f4e·8ea0·0180·a8d1·8d8d··CRIPTION........		00000110:·4352·4950·5449·4f4e·8ea0·0180·a8d1·8d8d··CRIPTION........
00000120:·8d9e·e663·8d8d·913a·5b62·f30e·58ab·510b··...c...:[b..X.Q.		00000120:·8d9e·e663·8d8d·913a·5b62·f30e·58ab·510b··...c...:[b..X.Q.


Offset 1, 18 lines modified		Offset 1, 18 lines modified
00000000:·f702·0183·92c0·1c3b·0000·0000·03e8·1b20··.......;.......·		00000000:·f702·0183·92c0·1c3b·0000·0000·03e8·1b20··.......;.......·
00000010:·5465·5820·6f75·7470·7574·2032·3032·302e··TeX·output·2020.		00000010:·5465·5820·6f75·7470·7574·2032·3032·302e··TeX·output·2020.
00000020:·3036·2e31·373a·3233·3430·8b00·0000·0100··06.17:~~2340~~......		00000020:·3036·2e31·393a·3032·3033·8b00·0000·0100··06.19:0203......
00000030:·0000·0000·0000·0000·0000·0000·0000·0000··................		00000030:·0000·0000·0000·0000·0000·0000·0000·0000··................
00000040:·0000·0000·0000·0000·0000·0000·0000·0000··................		00000040:·0000·0000·0000·0000·0000·0000·0000·0000··................
00000050:·0000·00ff·ffff·ffa0·02cc·0555·8da0·fd46··...........U...F		00000050:·0000·00ff·ffff·ffa0·02cc·0555·8da0·fd46··...........U...F
00000060:·d30e·a002·942f·df8d·a0fd·6cd0·218d·9112··...../....l.!...		00000060:·d30e·a002·942f·df8d·a0fd·6cd0·218d·9112··...../....l.!...
00000070:·c761·f30f·c2d6·4ea0·000c·0000·000c·0000··.a....N.........		00000070:·c761·f30f·c2d6·4ea0·000c·0000·000c·0000··.a....N.........
00000080:·0006·636d·6278·3132·ba56·4552·5349·4f4e··..cmbx12.VERSION		00000080:·0006·636d·6278·3132·ba56·4552·5349·4f4e··..cmbx12.VERSION
00000090:·9604·8000·3292·012c·43d0·4a75·6e65·9331··....2..,C.June.1		00000090:·9604·8000·3292·012c·43d0·4a75·6e65·9331··....2..,C.June.1
000000a0:·372c·9332·3032·308e·a000·cc53·dd8d·9200··7,.2020....S....		000000a0:·392c·9332·3032·308e·a000·cc53·dd8d·9200··9,.2020....S....
000000b0:·8b24·aef3·11c2·d64e·a000·18e1·4800·0c00··.$.....N....H...		000000b0:·8b24·aef3·11c2·d64e·a000·18e1·4800·0c00··.$.....N....H...
000000c0:·0000·0663·6d62·7831·32bc·5468·6596·0954··...cmbx12.The..T		000000c0:·0000·0663·6d62·7831·32bc·5468·6596·0954··...cmbx12.The..T
000000d0:·7b48·4f4c·9353·7973·7465·6d8e·9f1f·72d9··{HOL.System...r.		000000d0:·7b48·4f4c·9353·7973·7465·6d8e·9f1f·72d9··{HOL.System...r.
000000e0:·8d92·00b7·94ab·f313·c2d6·4ea0·0014·bd71··..........N....q		000000e0:·8d92·00b7·94ab·f313·c2d6·4ea0·0014·bd71··..........N....q
000000f0:·000c·0000·0006·636d·6278·3132·be54·5554··......cmbx12.TUT		000000f0:·000c·0000·0006·636d·6278·3132·be54·5554··......cmbx12.TUT
00000100:·4f52·4941·4c8e·a001·80a8·d18d·8d8d·9ee6··ORIAL...........		00000100:·4f52·4941·4c8e·a001·80a8·d18d·8d8d·9ee6··ORIAL...........
00000110:·638d·8d91·3a5b·62f3·0e58·ab51·0b00·0c00··c...:[b..X.Q....		00000110:·638d·8d91·3a5b·62f3·0e58·ab51·0b00·0c00··c...:[b..X.Q....


Offset 1, 13 lines modified		Offset 1, 13 lines modified
1	Package:·hol88-library	1	Package:·hol88-library
2	Source:·hol88	2	Source:·hol88
3	Version:·2.02.19940316-35	3	Version:·2.02.19940316-35
4	Architecture:·armhf	4	Architecture:·armhf
5	Maintainer:·Camm·Maguire·<camm@debian.org>	5	Maintainer:·Camm·Maguire·<camm@debian.org>
6	Installed-Size:·20065	6	Installed-Size:·20063
7	Section:·math	7	Section:·math
8	Priority:·optional	8	Priority:·optional
9	Description:·Higher·Order·Logic,·binary·library·modules	9	Description:·Higher·Order·Logic,·binary·library·modules
10	·The·HOL·System·is·an·environment·for·interactive·theorem·proving·in·a	10	·The·HOL·System·is·an·environment·for·interactive·theorem·proving·in·a
11	·higher-order·logic.·Its·most·outstanding·feature·is·its·high·degree	11	·higher-order·logic.·Its·most·outstanding·feature·is·its·high·degree
12	·of·programmability·through·the·meta-language·ML.·The·system·has·a	12	·of·programmability·through·the·meta-language·ML.·The·system·has·a
13	·wide·variety·of·uses·from·formalizing·pure·mathematics·to	13	·wide·variety·of·uses·from·formalizing·pure·mathematics·to


Offset 2580, 15 lines modified		Offset 2580, 15 lines modified
2580	,QUOTE!	2580	,QUOTE!
2581	G1669	2581	G1669
2582	-SETVV	2582	-SETVV
2583	,QUOTE	2583	,QUOTE
2584	loading·abs_theory»	2584	loading·abs_theory»
2585	-SETVV	2585	-SETVV
2586	,QUOTE	2586	,QUOTE
2587	FUN%779~~5%121~~	2587	FUN%7944%70
2588	,PROGN»	2588	,PROGN»
2589	-SETVV	2589	-SETVV
2590	,QUOTE	2590	,QUOTE
2591	MK-NULLTYP»	2591	MK-NULLTYP»
2592	-SETVV	2592	-SETVV
2593	,QUOTE	2593	,QUOTE
2594	MK-SEQ»	2594	MK-SEQ»
Offset 2606, 74 lines modified		Offset 2606, 74 lines modified
2606	,QUOTE	2606	,QUOTE
2607	ML-LIBRARY_PATHNAME»	2607	ML-LIBRARY_PATHNAME»
2608	-SETVV	2608	-SETVV
2609	,QUOTE	2609	,QUOTE
2610	/abs_theory/help/entries/»	2610	/abs_theory/help/entries/»
2611	-SETVV	2611	-SETVV
2612	,QUOTE	2612	,QUOTE
2613	FUN%779~~5%114~~»	2613	FUN%7944%63»
2614	-SETVV	2614	-SETVV
2615	,QUOTE	2615	,QUOTE
2616	ML-HELP_SEARCH_PATH»	2616	ML-HELP_SEARCH_PATH»
2617	-SETVV	2617	-SETVV
2618	,QUOTE	2618	,QUOTE
2619	FUN%9~~005~~%33»	2619	FUN%724%52»
2620	-SETVV	2620	-SETVV
2621	,QUOTE	2621	,QUOTE
2622	ML-SET_HELP_SEARCH_PATH	2622	ML-SET_HELP_SEARCH_PATH
2623	EVTMLOP	2623	EVTMLOP
2624	,QUOTE	2624	,QUOTE
2625	MK-BEGIN	2625	MK-BEGIN
2626	abs_theory	2626	abs_theory
2627	,PROGN»	2627	,PROGN»
2628	-SETVV	2628	-SETVV
2629	,QUOTE	2629	,QUOTE
2630	ML-MK_CONST»	2630	ML-MK_CONST»
2631	,QUOTE	2631	,QUOTE
2632	FUN%5671%~~594~~	2632	FUN%3689%619
2633	,DEBUG	2633	,DEBUG
2634	,QUOTE	2634	,QUOTE
2635	FUN%5671%~~594~~	2635	FUN%3689%619
2636	,QUOTE	2636	,QUOTE
2637	,PROGN»	2637	,PROGN»
2638	-SETVV	2638	-SETVV
2639	,QUOTE	2639	,QUOTE
2640	CONCAT»	2640	CONCAT»
2641	,QUOTE	2641	,QUOTE
2642	FUN%5671%~~595~~	2642	FUN%3689%620
2643	,DEBUG	2643	,DEBUG
2644	,QUOTE	2644	,QUOTE
2645	FUN%5671%~~595~~	2645	FUN%3689%620
2646	,QUOTE	2646	,QUOTE
2647	,PROGN»	2647	,PROGN»
2648	-SETVV	2648	-SETVV
2649	,QUOTE	2649	,QUOTE
2650	ML-INT_OF_STRING»	2650	ML-INT_OF_STRING»
2651	,QUOTE	2651	,QUOTE
2652	FUN%5671%~~596~~	2652	FUN%3689%621
2653	,DEBUG	2653	,DEBUG
2654	,QUOTE	2654	,QUOTE
2655	FUN%5671%~~596~~	2655	FUN%3689%621
2656	,QUOTE	2656	,QUOTE
2657	,PROGN»	2657	,PROGN»
2658	,QUOTE	2658	,QUOTE
2659	FUN%5671%~~597~~	2659	FUN%3689%622
2660	,DEBUG	2660	,DEBUG
2661	,QUOTE	2661	,QUOTE
2662	FUN%5671%~~597~~	2662	FUN%3689%622
2663	,QUOTE	2663	,QUOTE
2664	,PROGN»	2664	,PROGN»
2665	-SETVV	2665	-SETVV
2666	,QUOTE	2666	,QUOTE
2667	ML-DEST_CONST»	2667	ML-DEST_CONST»
2668	,QUOTE	2668	,QUOTE
2669	FUN%5671%~~598~~	2669	FUN%3689%623
2670	,DEBUG	2670	,DEBUG
2671	,QUOTE	2671	,QUOTE
2672	FUN%5671%~~598~~	2672	FUN%3689%623
2673	,QUOTE	2673	,QUOTE
2674	,PROGN»	2674	,PROGN»
2675	-SETVV	2675	-SETVV
2676	,QUOTE»	2676	,QUOTE»
2677	MK-PRODTYP»	2677	MK-PRODTYP»
2678	» MK-FUNTYP	2678	» MK-FUNTYP
2679	» MK-INTTYP	2679	» MK-INTTYP
Offset 2693, 16 lines modified		Offset 2693, 16 lines modified
2693	MK-TERMTYP	2693	MK-TERMTYP
2694	» MK-INTTYP»	2694	» MK-INTTYP»
2695	-SETVV	2695	-SETVV
2696	,QUOTE	2696	,QUOTE
2697	MK-LET»	2697	MK-LET»
2698	-SETVV	2698	-SETVV
2699	,QUOTE	2699	,QUOTE
2700	MK-LET%int_to_term%~~592~~	2700	MK-LET%int_to_term%617
2701	MK-LET%term_to_int%~~593~~»	2701	MK-LET%term_to_int%618»
2702	-SETVV	2702	-SETVV
2703	-MFSFUN	2703	-MFSFUN
2704	,QUOTE!	2704	,QUOTE!
2705	G1671	2705	G1671
2706	-SETVV	2706	-SETVV
2707	,QUOTE	2707	,QUOTE
2708	EVALUATION»	2708	EVALUATION»
Offset 2713, 81 lines modified		Offset 2713, 81 lines modified
2713	,QUOTE	2713	,QUOTE
2714	» Q-MK_TYPE»	2714	» Q-MK_TYPE»
2715	-SETVV	2715	-SETVV
2716	,QUOTE	2716	,QUOTE
2717	QTRAP»	2717	QTRAP»
2718	-SETVV	2718	-SETVV
2719	,QUOTE	2719	,QUOTE
2720	FUN%5671%~~594~~	2720	FUN%3689%619
2721	mk_const»	2721	mk_const»
2722	-SETVV	2722	-SETVV
2723	,QUOTE	2723	,QUOTE
2724	FUN%7~~795~~%166»	2724	FUN%7944%115»
2725	-SETVV	2725	-SETVV
2726	,QUOTE	2726	,QUOTE
2727	FUN%779~~5%146~~»	2727	FUN%7944%95»
2728	-SETVV	2728	-SETVV
2729	,QUOTE	2729	,QUOTE
2730	FUN%5671%~~595~~	2730	FUN%3689%620
2731	string_of_int»	2731	string_of_int»
Max diff block lines reached; 38612/40302 bytes (95.81%) of diff not shown.


Offset 1094, 78 lines modified		Offset 1094, 78 lines modified
1094	.comment	1094	.comment
1095	.note.GNU-stack	1095	.note.GNU-stack
1096	.rel.debug_frame	1096	.rel.debug_frame
1097	.ARM.attributes	1097	.ARM.attributes
1098	COMMON-LISP-USER	1098	COMMON-LISP-USER
1099	SYSTEMSPUTPROP	1099	SYSTEMSPUTPROP
1100	COMMON-LISPQUOTE	1100	COMMON-LISPQUOTE
1101	FUN%4892%~~614~~	1101	FUN%54%583
1102	-QUOTE	1102	-QUOTE
1103	» CURRYBIND	1103	» CURRYBIND
1104	-QUOTE	1104	-QUOTE
1105	,SPUTPROP	1105	,SPUTPROP
1106	-QUOTE	1106	-QUOTE
1107	FUN%4892%~~615~~	1107	FUN%54%584
1108	-QUOTE	1108	-QUOTE
1109	» CURRYBIND	1109	» CURRYBIND
1110	-QUOTE	1110	-QUOTE
1111	,SPUTPROP	1111	,SPUTPROP
1112	-QUOTE	1112	-QUOTE
1113	FUN%4892%~~616~~	1113	FUN%54%585
1114	-QUOTE	1114	-QUOTE
1115	» CURRYBIND	1115	» CURRYBIND
1116	-QUOTE	1116	-QUOTE
1117	FUN%4892%~~615~~	1117	FUN%54%584
1118	-PROGN»	1118	-PROGN»
1119	,SETVV	1119	,SETVV
1120	-QUOTE	1120	-QUOTE
1121	EVALUATION»	1121	EVALUATION»
1122	,SETVV	1122	,SETVV
1123	-QUOTE	1123	-QUOTE
1124	ML-MK_CONST»	1124	ML-MK_CONST»
1125	,SETVV	1125	,SETVV
1126	-QUOTE	1126	-QUOTE
1127	ML-MK_COMB»	1127	ML-MK_COMB»
1128	,SETVV	1128	,SETVV
1129	-QUOTE	1129	-QUOTE
1130	-ATOM»	1130	-ATOM»
1131	-QUOTE	1131	-QUOTE
1132	FUN%4892%~~614~~	1132	FUN%54%583
1133	-DEBUG	1133	-DEBUG
1134	-QUOTE	1134	-QUOTE
1135	FUN%4892%~~614~~	1135	FUN%54%583
1136	-QUOTE	1136	-QUOTE
1137	-PROGN»	1137	-PROGN»
1138	,SETVV	1138	,SETVV
1139	-QUOTE	1139	-QUOTE
1140	num»	1140	num»
1141	,SETVV	1141	,SETVV
1142	-QUOTE	1142	-QUOTE
1143	» Q-MK_TYPE»	1143	» Q-MK_TYPE»
1144	,SETVV	1144	,SETVV
1145	-QUOTE	1145	-QUOTE
1146	fun»	1146	fun»
1147	,SETVV	1147	,SETVV
1148	-QUOTE	1148	-QUOTE
1149	FUN%4892%~~614~~»	1149	FUN%54%583»
1150	-QUOTE	1150	-QUOTE
1151	FUN%4892%~~615~~	1151	FUN%54%584
1152	-DEBUG	1152	-DEBUG
1153	-QUOTE	1153	-QUOTE
1154	FUN%4892%~~615~~	1154	FUN%54%584
1155	-QUOTE	1155	-QUOTE
1156	-PROGN»	1156	-PROGN»
1157	,SETVV	1157	,SETVV
1158	-QUOTE	1158	-QUOTE
1159	FUN%4892%~~615~~»	1159	FUN%54%584»
1160	-QUOTE	1160	-QUOTE
1161	FUN%4892%~~616~~	1161	FUN%54%585
1162	-DEBUG	1162	-DEBUG
1163	-QUOTE	1163	-QUOTE
1164	FUN%4892%~~616~~	1164	FUN%54%585
1165	-QUOTE	1165	-QUOTE
1166	-PROGN»	1166	-PROGN»
1167	,SETVV	1167	,SETVV
1168	-QUOTE»	1168	-QUOTE»
1169	» MK-FUNTYP	1169	» MK-FUNTYP
1170	» MK-TOKTYP»	1170	» MK-TOKTYP»
1171	» MK-FUNTYP	1171	» MK-FUNTYP
Offset 1189, 28 lines modified		Offset 1189, 28 lines modified
1189	MK-TERMTYP	1189	MK-TERMTYP
1190	MK-TERMTYP»	1190	MK-TERMTYP»
1191	,SETVV	1191	,SETVV
1192	-QUOTE	1192	-QUOTE
1193	MK-LET»	1193	MK-LET»
1194	,SETVV	1194	,SETVV
1195	-QUOTE	1195	-QUOTE
1196	MK-LET%mk_arith_op%~~613~~»	1196	MK-LET%mk_arith_op%582»
1197	,SETVV	1197	,SETVV
1198	,SETVV	1198	,SETVV
1199	-QUOTE	1199	-QUOTE
1200	EXECUTE	1200	EXECUTE
1201	,MFSFUN	1201	,MFSFUN
1202	-QUOTE!	1202	-QUOTE!
1203	G1666	1203	G1666
1204	,SETVV	1204	,SETVV
1205	-QUOTE	1205	-QUOTE
1206	mk_arith_op»	1206	mk_arith_op»
1207	,SETVV	1207	,SETVV
1208	-QUOTE	1208	-QUOTE
1209	FUN%4892%~~616~~	1209	FUN%54%585
1210	-PROGN»	1210	-PROGN»
1211	,SETVV	1211	,SETVV
1212	-QUOTE»	1212	-QUOTE»
1213	MK-PRODTYP»	1213	MK-PRODTYP»
1214	» MK-FUNTYP»	1214	» MK-FUNTYP»
1215	MK-PRODTYP	1215	MK-PRODTYP
1216	MK-TERMTYP	1216	MK-TERMTYP
Offset 1246, 17 lines modified		Offset 1246, 17 lines modified
1246	» MK-FUNTYP»	1246	» MK-FUNTYP»
1247	MK-PRODTYP	1247	MK-PRODTYP
1248	MK-TERMTYP	1248	MK-TERMTYP
1249	MK-TERMTYP	1249	MK-TERMTYP
1250	MK-TERMTYP»	1250	MK-TERMTYP»
1251	,SETVV	1251	,SETVV
1252	-QUOTE	1252	-QUOTE
1253	MK-LET%mk_plus%~~617~~	1253	MK-LET%mk_plus%586
1254	MK-LET%mk_minus%~~618~~	1254	MK-LET%mk_minus%587
1255	MK-LET%mk_mult%~~619~~»	1255	MK-LET%mk_mult%588»
1256	,SETVV	1256	,SETVV
1257	,MFSFUN	1257	,MFSFUN
1258	-QUOTE!	1258	-QUOTE!
1259	G1667	1259	G1667
1260	,SETVV	1260	,SETVV
1261	-QUOTE	1261	-QUOTE
1262	mk_plus»	1262	mk_plus»
Offset 1275, 108 lines modified		Offset 1275, 108 lines modified
1275	,SETVV	1275	,SETVV
Max diff block lines reached; 11706/13358 bytes (87.63%) of diff not shown.


Offset 1058, 40 lines modified		Offset 1058, 40 lines modified
1058	ONE_PLUS	1058	ONE_PLUS
1059	» MK-THMTYP»	1059	» MK-THMTYP»
1060	-SETVV	1060	-SETVV
1061	,QUOTE	1061	,QUOTE
1062	» MK-LETREF»	1062	» MK-LETREF»
1063	-SETVV	1063	-SETVV
1064	,QUOTE	1064	,QUOTE
1065	MK-LETREF%ONE_PLUS%592»	1065	MK-LETREF%ONE_PLUS%590»
1066	-SETVV	1066	-SETVV
1067	-SETVV	1067	-SETVV
1068	,QUOTE	1068	,QUOTE
1069	EXECUTE	1069	EXECUTE
1070	-MFSFUN	1070	-MFSFUN
1071	,QUOTE!	1071	,QUOTE!
1072	G1653	1072	G1653
1073	-SETVV	1073	-SETVV
1074	,QUOTE	1074	,QUOTE
1075	ONE_PLUS»	1075	ONE_PLUS»
1076	-SETVV	1076	-SETVV
1077	,QUOTE	1077	,QUOTE
1078	MK-LET%TRUTH%151	1078	MK-LET%TRUTH%118
1079	,PROGN»	1079	,PROGN»
1080	-SETVV	1080	-SETVV
1081	,QUOTE	1081	,QUOTE
1082	» MK-THMTYP»	1082	» MK-THMTYP»
1083	-SETVV	1083	-SETVV
1084	,QUOTE	1084	,QUOTE
1085	» MK-LETREF	1085	» MK-LETREF
1086	» ZERO_PLUS	1086	» ZERO_PLUS
1087	» MK-THMTYP»	1087	» MK-THMTYP»
1088	-SETVV	1088	-SETVV
1089	,QUOTE	1089	,QUOTE
1090	MK-LETREF%ZERO_PLUS%593»	1090	MK-LETREF%ZERO_PLUS%591»
1091	-SETVV	1091	-SETVV
1092	-MFSFUN	1092	-MFSFUN
1093	,QUOTE!	1093	,QUOTE!
1094	G1654	1094	G1654
1095	-SETVV	1095	-SETVV
1096	,QUOTE	1096	,QUOTE
1097	» ZERO_PLUS	1097	» ZERO_PLUS
Offset 1102, 15 lines modified		Offset 1102, 15 lines modified
1102	-SETVV	1102	-SETVV
1103	,QUOTE	1103	,QUOTE
1104	» MK-LETREF	1104	» MK-LETREF
1105	» PLUS_ZERO	1105	» PLUS_ZERO
1106	» MK-THMTYP»	1106	» MK-THMTYP»
1107	-SETVV	1107	-SETVV
1108	,QUOTE	1108	,QUOTE
1109	MK-LETREF%PLUS_ZERO%594»	1109	MK-LETREF%PLUS_ZERO%592»
1110	-SETVV	1110	-SETVV
1111	-MFSFUN	1111	-MFSFUN
1112	,QUOTE!	1112	,QUOTE!
1113	G1655	1113	G1655
1114	-SETVV	1114	-SETVV
1115	,QUOTE	1115	,QUOTE
1116	» PLUS_ZERO	1116	» PLUS_ZERO
Offset 1121, 15 lines modified		Offset 1121, 15 lines modified
1121	-SETVV	1121	-SETVV
1122	,QUOTE	1122	,QUOTE
1123	» MK-LETREF	1123	» MK-LETREF
1124	SUC_ADD1	1124	SUC_ADD1
1125	» MK-THMTYP»	1125	» MK-THMTYP»
1126	-SETVV	1126	-SETVV
1127	,QUOTE	1127	,QUOTE
1128	MK-LETREF%SUC_ADD1%595»	1128	MK-LETREF%SUC_ADD1%593»
1129	-SETVV	1129	-SETVV
1130	-MFSFUN	1130	-MFSFUN
1131	,QUOTE!	1131	,QUOTE!
1132	G1656	1132	G1656
1133	-SETVV	1133	-SETVV
1134	,QUOTE	1134	,QUOTE
1135	SUC_ADD1	1135	SUC_ADD1
Offset 1140, 15 lines modified		Offset 1140, 15 lines modified
1140	-SETVV	1140	-SETVV
1141	,QUOTE	1141	,QUOTE
1142	» MK-LETREF	1142	» MK-LETREF
1143	SUC_ADD2	1143	SUC_ADD2
1144	» MK-THMTYP»	1144	» MK-THMTYP»
1145	-SETVV	1145	-SETVV
1146	,QUOTE	1146	,QUOTE
1147	MK-LETREF%SUC_ADD2%596»	1147	MK-LETREF%SUC_ADD2%594»
1148	-SETVV	1148	-SETVV
1149	-MFSFUN	1149	-MFSFUN
1150	,QUOTE!	1150	,QUOTE!
1151	G1657	1151	G1657
1152	-SETVV	1152	-SETVV
1153	,QUOTE	1153	,QUOTE
1154	SUC_ADD2	1154	SUC_ADD2
Offset 1159, 15 lines modified		Offset 1159, 15 lines modified
1159	-SETVV	1159	-SETVV
1160	,QUOTE	1160	,QUOTE
1161	» MK-LETREF	1161	» MK-LETREF
1162	» ZERO_MULT	1162	» ZERO_MULT
1163	» MK-THMTYP»	1163	» MK-THMTYP»
1164	-SETVV	1164	-SETVV
1165	,QUOTE	1165	,QUOTE
1166	MK-LETREF%ZERO_MULT%597»	1166	MK-LETREF%ZERO_MULT%595»
1167	-SETVV	1167	-SETVV
1168	-MFSFUN	1168	-MFSFUN
1169	,QUOTE!	1169	,QUOTE!
1170	G1658	1170	G1658
1171	-SETVV	1171	-SETVV
1172	,QUOTE	1172	,QUOTE
1173	» ZERO_MULT	1173	» ZERO_MULT
Offset 1178, 15 lines modified		Offset 1178, 15 lines modified
1178	-SETVV	1178	-SETVV
1179	,QUOTE	1179	,QUOTE
1180	» MK-LETREF	1180	» MK-LETREF
1181	ONE_MULT	1181	ONE_MULT
1182	» MK-THMTYP»	1182	» MK-THMTYP»
1183	-SETVV	1183	-SETVV
1184	,QUOTE	1184	,QUOTE
1185	MK-LETREF%ONE_MULT%598»	1185	MK-LETREF%ONE_MULT%596»
1186	-SETVV	1186	-SETVV
1187	-MFSFUN	1187	-MFSFUN
1188	,QUOTE!	1188	,QUOTE!
1189	G1659	1189	G1659
1190	-SETVV	1190	-SETVV
1191	,QUOTE	1191	,QUOTE
1192	ONE_MULT	1192	ONE_MULT
Offset 1197, 15 lines modified		Offset 1197, 15 lines modified
1197	-SETVV	1197	-SETVV
1198	,QUOTE	1198	,QUOTE
1199	» MK-LETREF	1199	» MK-LETREF
1200	» MULT_ZERO	1200	» MULT_ZERO
1201	» MK-THMTYP»	1201	» MK-THMTYP»
1202	-SETVV	1202	-SETVV
Max diff block lines reached; 13514/15118 bytes (89.39%) of diff not shown.


Offset 762, 57 lines modified		Offset 762, 57 lines modified
762	.comment	762	.comment
763	.note.GNU-stack	763	.note.GNU-stack
764	.rel.debug_frame	764	.rel.debug_frame
765	.ARM.attributes	765	.ARM.attributes
766	COMMON-LISP-USER	766	COMMON-LISP-USER
767	SYSTEMSPUTPROP	767	SYSTEMSPUTPROP
768	COMMON-LISPQUOTE	768	COMMON-LISPQUOTE
769	FUN%9309%649	769	FUN%9503%650
770	-QUOTE	770	-QUOTE
771	» CURRYBIND	771	» CURRYBIND
772	-QUOTE	772	-QUOTE
773	-PROGN»	773	-PROGN»
774	,SETVV	774	,SETVV
775	-QUOTE	775	-QUOTE
776	MK-LET%is_suc%663»	776	MK-LET%is_suc%632»
777	,SETVV	777	,SETVV
778	-QUOTE	778	-QUOTE
779	FUN%7~~795~~%168»	779	FUN%7944%117»
780	,SETVV	780	,SETVV
781	-QUOTE	781	-QUOTE
782	MK-LET%SUC_CONV%650»	782	MK-LET%SUC_CONV%628»
783	,SETVV	783	,SETVV
784	-QUOTE	784	-QUOTE
785	FUN%2~~920~~%~~569~~»	785	FUN%2294%650»
786	,SETVV	786	,SETVV
787	-QUOTE	787	-QUOTE
788	FUN%2~~920~~%~~551~~»	788	FUN%2294%632»
789	,SETVV	789	,SETVV
790	-QUOTE	790	-QUOTE
791	MK-LET%is_plus%~~629~~»	791	MK-LET%is_plus%598»
792	,SETVV	792	,SETVV
793	-QUOTE	793	-QUOTE
794	MK-LET%ADD_CONV%678»	794	MK-LET%ADD_CONV%656»
795	,SETVV	795	,SETVV
796	-QUOTE	796	-QUOTE
797	FUN%2~~920~~%~~578~~»	797	FUN%2294%659»
798	,SETVV	798	,SETVV
799	-QUOTE	799	-QUOTE
800	MK-LET%is_mult%631»	800	MK-LET%is_mult%600»
801	,SETVV	801	,SETVV
802	-QUOTE	802	-QUOTE
803	MK-LET%MUL_CONV%689»	803	MK-LET%MUL_CONV%667»
804	,SETVV	804	,SETVV
805	-QUOTE	805	-QUOTE
806	FUN%2~~920~~%~~549~~»	806	FUN%2294%630»
807	-QUOTE	807	-QUOTE
808	FUN%9309%649	808	FUN%9503%650
809	-DEBUG	809	-DEBUG
810	-QUOTE	810	-QUOTE
811	FUN%9309%649	811	FUN%9503%650
812	-QUOTE	812	-QUOTE
813	-PROGN»	813	-PROGN»
814	,SETVV	814	,SETVV
815	-QUOTE»	815	-QUOTE»
816	» MK-FUNTYP	816	» MK-FUNTYP
817	MK-TERMTYP	817	MK-TERMTYP
818	» MK-THMTYP»	818	» MK-THMTYP»
Offset 824, 70 lines modified		Offset 824, 70 lines modified
824	MK-TERMTYP	824	MK-TERMTYP
825	» MK-THMTYP»	825	» MK-THMTYP»
826	,SETVV	826	,SETVV
827	-QUOTE	827	-QUOTE
828	» MK-LETREC»	828	» MK-LETREC»
829	,SETVV	829	,SETVV
830	-QUOTE	830	-QUOTE
831	MK-LETREC%NUM_REDUCE_QCONV%648»	831	MK-LETREC%NUM_REDUCE_QCONV%649»
832	,SETVV	832	,SETVV
833	,SETVV	833	,SETVV
834	-QUOTE	834	-QUOTE
835	EXECUTE	835	EXECUTE
836	,MFSFUN	836	,MFSFUN
837	-QUOTE!	837	-QUOTE!
838	G1662	838	G1662
839	,SETVV	839	,SETVV
840	-QUOTE	840	-QUOTE
841	FUN%9309%649»	841	FUN%9503%650»
842	,SETVV	842	,SETVV
843	-QUOTE	843	-QUOTE
844	NUM_REDUCE_QCONV	844	NUM_REDUCE_QCONV
845	,SPUTPROP	845	,SPUTPROP
846	-QUOTE	846	-QUOTE
847	FUN%9309%651	847	FUN%9503%652
848	-QUOTE	848	-QUOTE
849	» CURRYBIND	849	» CURRYBIND
850	-QUOTE	850	-QUOTE
851	-PROGN»	851	-PROGN»
852	,SETVV	852	,SETVV
853	-QUOTE	853	-QUOTE
854	MK-LET%is_eq%167»	854	MK-LET%is_eq%182»
855	,SETVV	855	,SETVV
856	-QUOTE	856	-QUOTE
857	MK-LET%NEQ_CONV%594»	857	MK-LET%NEQ_CONV%572»
858	,SETVV	858	,SETVV
859	-QUOTE	859	-QUOTE
860	MK-LET%is_leq%653»	860	MK-LET%is_leq%622»
861	,SETVV	861	,SETVV
862	-QUOTE	862	-QUOTE
863	MK-LET%LE_CONV%623»	863	MK-LET%LE_CONV%601»
864	,SETVV	864	,SETVV
865	-QUOTE	865	-QUOTE
866	MK-LET%is_less%652»	866	MK-LET%is_less%621»
867	,SETVV	867	,SETVV
868	-QUOTE	868	-QUOTE
869	MK-LET%LT_CONV%~~602~~»	869	MK-LET%LT_CONV%580»
870	,SETVV	870	,SETVV
871	-QUOTE	871	-QUOTE
872	MK-LET%is_geq%655»	872	MK-LET%is_geq%624»
873	,SETVV	873	,SETVV
874	-QUOTE	874	-QUOTE
875	MK-LET%GE_CONV%630»	875	MK-LET%GE_CONV%608»
876	,SETVV	876	,SETVV
877	-QUOTE	877	-QUOTE
878	MK-LET%is_great%654»	878	MK-LET%is_great%623»
879	,SETVV	879	,SETVV
880	-QUOTE	880	-QUOTE
881	MK-LET%GT_CONV%~~609~~»	881	MK-LET%GT_CONV%587»
882	-QUOTE	882	-QUOTE
883	FUN%9309%651	883	FUN%9503%652
884	-DEBUG	884	-DEBUG
885	-QUOTE	885	-QUOTE
886	FUN%9309%651	886	FUN%9503%652
887	-QUOTE	887	-QUOTE
888	-PROGN»	888	-PROGN»
889	,SETVV	889	,SETVV
890	-QUOTE»	890	-QUOTE»
891	» MK-FUNTYP	891	» MK-FUNTYP
892	MK-TERMTYP	892	MK-TERMTYP
Max diff block lines reached; 4949/6990 bytes (70.80%) of diff not shown.


Offset 876, 85 lines modified		Offset 876, 85 lines modified
876	.comment	876	.comment
877	.note.GNU-stack	877	.note.GNU-stack
878	.rel.debug_frame	878	.rel.debug_frame
879	.ARM.attributes	879	.ARM.attributes
880	COMMON-LISP-USER	880	COMMON-LISP-USER
881	SYSTEMSPUTPROP	881	SYSTEMSPUTPROP
882	COMMON-LISPQUOTE	882	COMMON-LISPQUOTE
883	FUN%5567%~~707~~	883	FUN%17%664
884	-QUOTE	884	-QUOTE
885	» CURRYBIND	885	» CURRYBIND
886	-QUOTE	886	-QUOTE
887	,SPUTPROP	887	,SPUTPROP
888	-QUOTE	888	-QUOTE
889	FUN%5567%~~708~~	889	FUN%17%665
890	-QUOTE	890	-QUOTE
891	» CURRYBIND	891	» CURRYBIND
892	-QUOTE	892	-QUOTE
893	-PROGN»	893	-PROGN»
894	,SETVV	894	,SETVV
895	-QUOTE	895	-QUOTE
896	» ML-IS_VAR»	896	» ML-IS_VAR»
897	,SETVV	897	,SETVV
898	-QUOTE	898	-QUOTE
899	ML-IS_CONST»	899	ML-IS_CONST»
900	,SETVV	900	,SETVV
901	-QUOTE	901	-QUOTE
902	FUN%4892%667»	902	FUN%54%636»
903	,SETVV	903	,SETVV
904	-QUOTE	904	-QUOTE
905	EVALUATION»	905	EVALUATION»
906	,SETVV	906	,SETVV
907	-QUOTE	907	-QUOTE
908	fail»	908	fail»
909	,SETVV	909	,SETVV
910	-QUOTE	910	-QUOTE
911	-NOT»	911	-NOT»
912	,SETVV	912	,SETVV
913	-QUOTE	913	-QUOTE
914	FUN%4892%665»	914	FUN%54%634»
915	,SETVV	915	,SETVV
916	-QUOTE	916	-QUOTE
917	MK-LET%is_suc%663»	917	MK-LET%is_suc%632»
918	,SETVV	918	,SETVV
919	-QUOTE	919	-QUOTE
920	FUN%7~~795~~%168»	920	FUN%7944%117»
921	,SETVV	921	,SETVV
922	-QUOTE	922	-QUOTE
923	FUN%~~7416~~%308»	923	FUN%2068%323»
924	,SETVV	924	,SETVV
925	-QUOTE	925	-QUOTE
926	FUN%5567%~~707~~»	926	FUN%17%664»
927	,SETVV	927	,SETVV
928	-QUOTE	928	-QUOTE
929	-ATOM»	929	-ATOM»
930	,SETVV	930	,SETVV
931	-QUOTE	931	-QUOTE
932	MK-LET%is_plus%~~629~~»	932	MK-LET%is_plus%598»
933	,SETVV	933	,SETVV
934	-QUOTE	934	-QUOTE
935	MK-LET%arg1%674»	935	MK-LET%arg1%643»
936	,SETVV	936	,SETVV
937	-QUOTE	937	-QUOTE
938	FUN%7~~795~~%123»	938	FUN%7944%72»
939	,SETVV	939	,SETVV
940	-QUOTE	940	-QUOTE
941	MK-LET%is_mult%631»	941	MK-LET%is_mult%600»
942	-QUOTE	942	-QUOTE
943	FUN%5567%~~707~~	943	FUN%17%664
944	-DEBUG	944	-DEBUG
945	-QUOTE	945	-QUOTE
946	FUN%5567%~~707~~	946	FUN%17%664
947	-QUOTE	947	-QUOTE
948	-PROGN»	948	-PROGN»
949	-QUOTE	949	-QUOTE
950	FUN%5567%~~708~~	950	FUN%17%665
951	-DEBUG	951	-DEBUG
952	-QUOTE	952	-QUOTE
953	FUN%5567%~~708~~	953	FUN%17%665
954	-QUOTE	954	-QUOTE
955	-PROGN»	955	-PROGN»
956	,SETVV	956	,SETVV
957	-QUOTE»	957	-QUOTE»
958	» MK-FUNTYP	958	» MK-FUNTYP
959	MK-TERMTYP	959	MK-TERMTYP
960	MK-BOOLTYP»	960	MK-BOOLTYP»
Offset 966, 49 lines modified		Offset 966, 49 lines modified
966	MK-TERMTYP	966	MK-TERMTYP
967	MK-BOOLTYP»	967	MK-BOOLTYP»
968	,SETVV	968	,SETVV
969	-QUOTE	969	-QUOTE
970	MK-LET»	970	MK-LET»
971	,SETVV	971	,SETVV
972	-QUOTE	972	-QUOTE
973	MK-LET%contains_var%~~706~~»	973	MK-LET%contains_var%663»
974	,SETVV	974	,SETVV
975	,SETVV	975	,SETVV
976	-QUOTE	976	-QUOTE
977	EXECUTE	977	EXECUTE
978	,MFSFUN	978	,MFSFUN
979	-QUOTE!	979	-QUOTE!
980	G1671	980	G1671
981	,SETVV	981	,SETVV
982	-QUOTE	982	-QUOTE
983	contains_var»	983	contains_var»
984	,SETVV	984	,SETVV
985	-QUOTE	985	-QUOTE
986	FUN%5567%~~708~~	986	FUN%17%665
987	,SPUTPROP	987	,SPUTPROP
988	-QUOTE	988	-QUOTE
989	FUN%5567%~~710~~	989	FUN%17%667
990	-QUOTE	990	-QUOTE
991	» CURRYBIND	991	» CURRYBIND
992	-QUOTE	992	-QUOTE
993	-PROGN»	993	-PROGN»
994	,SETVV	994	,SETVV
995	-QUOTE	995	-QUOTE
996	MK-LET%dest_mult%~~628~~»	996	MK-LET%dest_mult%597»
997	,SETVV	997	,SETVV
998	-QUOTE	998	-QUOTE
999	FUN%4892%~~622~~»	999	FUN%54%591»
1000	,SETVV	1000	,SETVV
1001	-QUOTE	1001	-QUOTE
1002	is_linear_mult»	1002	is_linear_mult»
1003	-QUOTE	1003	-QUOTE
1004	FUN%5567%~~710~~	1004	FUN%17%667
1005	-DEBUG	1005	-DEBUG
1006	-QUOTE	1006	-QUOTE
Max diff block lines reached; 4711/6450 bytes (73.04%) of diff not shown.


Offset 449, 132 lines modified		Offset 449, 132 lines modified
449	.comment	449	.comment
450	.note.GNU-stack	450	.note.GNU-stack
451	.rel.debug_frame	451	.rel.debug_frame
452	.ARM.attributes	452	.ARM.attributes
453	COMMON-LISP-USER	453	COMMON-LISP-USER
454	SYSTEMSPUTPROP	454	SYSTEMSPUTPROP
455	COMMON-LISPQUOTE	455	COMMON-LISPQUOTE
456	FUN%~~2152~~%574	456	FUN%5918%547
457	-QUOTE	457	-QUOTE
458	» CURRYBIND	458	» CURRYBIND
459	-QUOTE	459	-QUOTE
460	,SPUTPROP	460	,SPUTPROP
461	-QUOTE	461	-QUOTE
462	FUN%~~2152~~%575	462	FUN%5918%548
463	-QUOTE	463	-QUOTE
464	» CURRYBIND	464	» CURRYBIND
465	-QUOTE	465	-QUOTE
466	FUN%~~2152~~%574	466	FUN%5918%547
467	,SPUTPROP	467	,SPUTPROP
468	-QUOTE	468	-QUOTE
469	FUN%~~2152~~%576	469	FUN%5918%549
470	-QUOTE	470	-QUOTE
471	» CURRYBIND	471	» CURRYBIND
472	-QUOTE	472	-QUOTE
473	FUN%~~2152~~%575	473	FUN%5918%548
474	-PROGN»	474	-PROGN»
475	,SETVV	475	,SETVV
476	-QUOTE	476	-QUOTE
477	MK-LETREC%strip_forall%254»	477	MK-LETREC%strip_forall%269»
478	,SETVV	478	,SETVV
479	-QUOTE	479	-QUOTE
480	FUN%~~7416~~%255»	480	FUN%2068%270»
481	,SETVV	481	,SETVV
482	-QUOTE	482	-QUOTE
483	%AP»	483	%AP»
484	,SETVV	484	,SETVV
485	-QUOTE	485	-QUOTE
486	FUN%9~~005~~%38»	486	FUN%724%57»
487	,SETVV	487	,SETVV
488	-QUOTE	488	-QUOTE
489	FUN%~~2152~~%577	489	FUN%5918%550
490	genvar	490	genvar
491	FUN%~~2152~~%578	491	FUN%5918%551
492	type_of»	492	type_of»
493	,SETVV	493	,SETVV
494	-QUOTE	494	-QUOTE
495	FUN%779~~5%124~~»	495	FUN%7944%73»
496	,SETVV	496	,SETVV
497	-QUOTE	497	-QUOTE
498	FUN%~~3646~~%51»	498	FUN%9353%58»
499	,SETVV	499	,SETVV
500	-QUOTE	500	-QUOTE
501	MK-LETREC%combine%41»	501	MK-LETREC%combine%60»
502	,SETVV	502	,SETVV
503	-QUOTE	503	-QUOTE
504	FUN%9~~005~~%42»	504	FUN%724%61»
505	,SETVV	505	,SETVV
506	-QUOTE	506	-QUOTE
507	FUN%~~7416~~%178»	507	FUN%2068%193»
508	,SETVV	508	,SETVV
509	-QUOTE	509	-QUOTE
510	FUN%~~7416~~%237»	510	FUN%2068%252»
511	,SETVV	511	,SETVV
512	-QUOTE	512	-QUOTE
513	FUN%~~2177~~%153»	513	FUN%1681%120»
514	,SETVV	514	,SETVV
515	-QUOTE	515	-QUOTE
516	FUN%~~2177~~%158»	516	FUN%1681%125»
517	,SETVV	517	,SETVV
518	-QUOTE	518	-QUOTE
519	MK-LET%GENL%165»	519	MK-LET%GENL%132»
520	,SETVV	520	,SETVV
521	-QUOTE	521	-QUOTE
522	FUN%9~~005~~%10»	522	FUN%724%29»
523	,SETVV	523	,SETVV
524	-QUOTE	524	-QUOTE
525	MK-LET%EQT_INTRO%160»	525	MK-LET%EQT_INTRO%127»
526	,SETVV	526	,SETVV
527	-QUOTE	527	-QUOTE
528	FUN%~~2177~~%161»	528	FUN%1681%128»
529	-QUOTE	529	-QUOTE
530	FUN%~~2152~~%574	530	FUN%5918%547
531	-DEBUG	531	-DEBUG
532	-QUOTE	532	-QUOTE
533	FUN%~~2152~~%574	533	FUN%5918%547
534	-QUOTE	534	-QUOTE
535	-PROGN»	535	-PROGN»
536	,SETVV	536	,SETVV
537	-QUOTE	537	-QUOTE
538	FUN%~~2152~~%574»	538	FUN%5918%547»
539	-QUOTE	539	-QUOTE
540	FUN%~~2152~~%575	540	FUN%5918%548
541	-DEBUG	541	-DEBUG
542	-QUOTE	542	-QUOTE
543	FUN%~~2152~~%575	543	FUN%5918%548
544	-QUOTE	544	-QUOTE
545	-PROGN»	545	-PROGN»
546	,SETVV	546	,SETVV
547	-QUOTE	547	-QUOTE
548	FUN%~~2152~~%575»	548	FUN%5918%548»
549	-QUOTE	549	-QUOTE
550	FUN%~~2152~~%576	550	FUN%5918%549
551	-DEBUG	551	-DEBUG
552	-QUOTE	552	-QUOTE
553	FUN%~~2152~~%576	553	FUN%5918%549
554	-QUOTE	554	-QUOTE
555	-PROGN»	555	-PROGN»
556	,SETVV	556	,SETVV
557	-QUOTE	557	-QUOTE
558	» ML-GENVAR»	558	» ML-GENVAR»
559	-QUOTE	559	-QUOTE
560	FUN%~~2152~~%577	560	FUN%5918%550
561	-DEBUG	561	-DEBUG
562	-QUOTE	562	-QUOTE
563	FUN%~~2152~~%577	563	FUN%5918%550
564	-QUOTE	564	-QUOTE
565	-PROGN»	565	-PROGN»
566	,SETVV	566	,SETVV
567	-QUOTE	567	-QUOTE
568	ML-TYPE_OF»	568	ML-TYPE_OF»
569	-QUOTE	569	-QUOTE
570	FUN%~~2152~~%578	570	FUN%5918%551
571	-DEBUG	571	-DEBUG
572	-QUOTE	572	-QUOTE
573	FUN%~~2152~~%578	573	FUN%5918%551
574	-QUOTE	574	-QUOTE
575	-PROGN»	575	-PROGN»
Max diff block lines reached; 328/2236 bytes (14.67%) of diff not shown.


Offset 19, 4153 lines modified		Offset 19, 4153 lines modified
00000120:·b7df·5ffe·9b9a·382d·f861·b83e·ef6e·deea··.._...8-.a.>.n..		00000120:·b7df·5ffe·9b9a·382d·f861·b83e·ef6e·deea··.._...8-.a.>.n..
00000130:·a73b·f3bb·fe5f·befa·f6fb·ffbd·7aa5·86bf··.;..._......z...		00000130:·a73b·f3bb·fe5f·befa·f6fb·ffbd·7aa5·86bf··.;..._......z...
00000140:·ccbe·f8e5·975f·5ede·4ec3·5c7d·5cbd·3cbb··....._^.N.\}\.<.		00000140:·ccbe·f8e5·975f·5ede·4ec3·5c7d·5cbd·3cbb··....._^.N.\}\.<.
00000150:·79fb·fbf9·1e3d·727a·7dfe·87cb·ebd5·4ca7··y....=rz}.....L.		00000150:·79fb·fbf9·1e3d·727a·7dfe·87cb·ebd5·4ca7··y....=rz}.....L.
00000160:·c588·e77b·be3d·bd3d·7dbb·ba5f·ddd2·d4f9··...{.=.=}.._....		00000160:·c588·e77b·be3d·bd3d·7dbb·ba5f·ddd2·d4f9··...{.=.=}.._....
00000170:·bbcb·ff77·65ed·fccb·f737·ef6f·cf78·30fb··...we....7.o.x0.		00000170:·bbcb·ff77·65ed·fccb·f737·ef6f·cf78·30fb··...we....7.o.x0.
00000180:·61f5·a7ec·e6fd·fdbb·f7a2·696e·5fda·eaa5··a.........in_...		00000180:·61f5·a7ec·e6fd·fdbb·f7a2·696e·5fda·eaa5··a.........in_...
00000190:·0b5f·e~~63e~~·~~0da7~~·~~5dbd~~·~~bebc~~·~~fef6~~·~~f6e6~~·ecfb··._.>..]....~~...~~..		00000190:·abbf·e493·7ad6·ae5e·5f5e·7f7b·7b73·f6fd··....z..^_^.{{s..
000001a0:·~~d53d~~·~~045d~~·~~7d78~~·~~f9ee~~·~~f646~~·~~4336~~·bffb·~~6fe6~~··.=.~~]}x...FC6~~..~~o.~~		000001a0:·ea1e·82ae·3ebc·7c77·7ba3·219b·dffd·3773··....>.\|w{.!...7s
000001b0:·~~8447~~·f~~bcb~~·~~b3fb~~·~~cc5b~~·~~9b9d~~·~~ebc3~~·~~f9ea~~·~~225b~~··.G.....[....~~.."[~~		000001b0:·c2a3·fde5·d97d·e6ad·cdce·f5e1·7c75·91ad··.....}......\|u..
000001c0:·5f7c·~~a547~~·~~4fbe~~·~~79e~~0·~~daaf~~·f~~c77~~·~~d23e~~·~~bcba~~··_\|.GO.~~y.~~...~~w.>..~~		000001c0:·2fbe·d2a3·27df·3c70·ed57·fe3b·691f·5e5d··/...'.<p.W.;i.^]
000001d0:·~~bc3e~~·~~d72d~~·bf7e·73f2·f~~dc3~~·~~eac3~~·~~d91b~~·3efc··.>.-.~s.......>.		000001d0:·5e9f·eb96·5fbf·39f9·fe61·f5e1·ec0d·1ffe··^..._.9..a......
000001e0:·~~e9e1~~·7bf3·~~cdaf~~·~~ed49~~·~~f370~~·fefe·~~1d7~~f·7ff8··..{....~~I.p~~....~~..~~		000001e0:·f4f0·bdf9·e6d7·f6a4·7938·7fff·8ebf·3f7c··........y8....?\|
000001f0:·~~eee1~~·~~fef6~~·~~f4fa~~·~~ee8a~~·~~29e2~~·~~e7cb~~·~~bbab~~·~~bbec~~··...~~....~~.).....~~..~~		000001f0:·f770·7f7b·7a7d·77c5·14f1·f3e5·ddd5·5d76··.p.{z}w.......]v
00000200:·~~e2f4~~·~~ea6e~~·~~957d~~·73f2·f~~31d~~·~~34cb~~·~~9ccb~~·~~429e~~··~~...n~~.}s...~~4.~~.~~.B~~.		00000200:·717a·75b7·cabe·39f9·f90e·9a65·ce65·21cf··qzu...9....e.e!.
00000210:·~~bd7d~~·7fc5·~~9537~~·~~e94a~~·~~7c59~~·~~72c9~~·~~4c97~~·~~ae2~~0··.}...7.~~J\|Yr~~.L.~~.·~~		00000210:·debe·bfe2·ca9b·7425·be2c·b964·a64b·5790··......t%.,.d.KW.
00000220:·~~c9bb~~·abf7·~~77b5~~·~~7d48~~·~~cfa5~~·b6ff·0~~19e~~·~~b9bc~~··....w.}H......~~..~~		00000220:·e4dd·d5fb·bbda·3ea4·e752·dbff·00cf·5c5e··......>..R....\^
00000230:·~~7ed0~~·~~db1e~~·~~7eb4~~·~~d9e2~~·~~1e97~~·~~bd70~~·bf3e·~~bc70~~··~...~......p.>.p		00000230:·3fe8·6d0f·3fda·6c71·8fcb·5eb8·5f1f·5eb8··?.m.?.lq..^._.^.
00000240:·99fb·~~f5f2~~·~~62a5~~·~~76ac~~·~~6178~~·3f9d·~~dd5c~~·9f9d··...~~.b~~.~~v.ax?~~..\..		00000240:·ccfd·7a79·b152·3bd6·30bc·9fce·6eae·cf4e··..zy.R;.0...n..N
00000250:·~~de73~~·~~4d8d~~·~~7db7~~·~~babb~~·~~b97a~~·~~2fce~~·~~6198~~·3feb··.sM.~~}.~~..~~.z/~~.a.~~?.~~		00000250:·efb9·a6c6·be5b·dddd·5cbd·17e7·30cc·9f75··.....[..\...0..u
00000260:·~~cab~~f·~~ec5d~~·~~ba5e~~·~~bdce~~·~~ee34~~·~~4559~~·~~6ac3~~·~~2c5a~~··...].^~~..~~.~~4EYj~~.,Z		00000260:·e55f·f62e·5daf·5e67·779a·a22c·b561·162d··._..].^gw..,.a.-
00000270:·~~58de~~·~~ca93~~·~~ba7b~~·~~1a88~~·f~~a6b~~·~~b344~~·~~8787~~·~~c53d~~··~~X.~~...{...k.D...=		00000270:·2c6f·e549·dd3d·0d44·fdb5·59a2·c3c3·e29e··,o.I.=.D..Y.....
00000280:·~~2fe6~~·~~9bd2~~·~~d8d2~~·a0ec·~~ba6b~~·3f7c·~~a70e~~·~~2dee~~··/.~~.....~~..~~k?\|~~..-.		00000280:·17f3·4d69·6c69·5076·ddb5·1fbe·5387·16f7··..MiliPv....S...
00000290:·~~5dbe~~·~~7b7a~~·e9fa·~~6997~~·~~9d9e~~·9fa7·~~267e~~·~~f8ee~~··].~~{z.~~.i....~~.&~.~~.		00000290:·2edf·3dbd·74fd·b4cb·4ecf·cf53·133f·7cf7··..=.t...N..S.?\|.
000002a0:·~~47f3~~·~~f6f4~~·~~fef6~~·f~~243~~·~~76f6~~·~~fef6~~·~~1626~~·~~9bbe~~··~~G...~~...~~Cv.~~...~~&.~~.		000002a0:·a379·7b7a·7f7b·f921·3b7b·7f7b·0b93·4ddf··.y{z.{.!;{.{..M.
000002b0:·~~3d34~~·~~5993~~·~~dd8a~~·~~93b3~~·bbf7·~~afb2~~·~~d357~~·~~7719~~··~~=4Y~~..........Ww.		000002b0:·1e9a·acc9·6ec5·c9d9·ddfb·57d9·e9ab·bb8c··....n.....W.....
000002c0:·~~93cf~~·ffb9·~~ecea~~·f~~e21~~·~~fd4~~0·~~6bb~~f·~~5edc~~·~~dc9e~~··...~~..~~..!.@~~k.^...~~		000002c0:·c9e7·ff5c·7675·ff90·7ea0·b55f·2f6e·6e4f··...\vu..~.._/nnO
000002d0:·~~5e5d~~·~~4d37~~·~~1a75~~·~~767e~~·~~461~~f·7fba·~~5bcd~~·~~2f63~~··~~^]M7~~.~~uv~F~~...[.~~/c~~		000002d0:·afae·a61b·8d3a·3b3f·a38f·3fdd·ade6·9731··.....:;?..?....1
000002e0:·aafe·~~4163~~·~~8606~~·~~ef56~~·~~0fd3~~·~~b4dd~~·df22·609a··..Ac...V....~~."`~~.		000002e0:·55ff·a031·4383·77ab·8769·daee·6f11·30cd··U..1C.w..i..o.0.
000002f0:·~~db7~~f·804d·df9f·~~5e5d~~·~~ac56~~·e70f·~~e6ee~~·~~fef4~~··...M..^].V......		000002f0:·ed3f·c0a6·ef4f·af2e·56ab·f307·7377·7f7a··.?...O..V...sw.z
00000300:·fefd·~~9db8~~·~~e564~~·~~7b79~~·~~ba17~~·~~16d4~~·~~dd67~~·~~37ef~~··....~~.d{y~~.....~~g7.~~		00000300:·fffe·4edc·72b2·bd3c·dd0b·0bea·eeb3·9b77··..N.r..<.......w
00000310:·~~2e57~~·~~770f~~·27ff·~~afe9~~·43f6·~~272e~~·~~8e5~~f·9fde··.Ww.'...C.'..~~_.~~.		00000310:·97ab·bb87·93ff·d7f4·21fb·1317·c7af·4fef··........!.....O.
00000320:·ffe8·~~92ac~~·~~bd48~~·7f7e·~~32d~~f·~~9c8c~~·6dfb·~~a34d~~··....~~.H~~.~2...m..M		00000320:·7f74·49d6·5ea4·3f3f·996f·4ec6·b6fd·d1a6··.tI.^.??.oN.....
00000330:·~~d7ec~~·~~4fd~~f·~~9c5c~~·5ff3·~~e19b~~·~~93af~~·~~86e9~~·~~efd9~~··..~~O.~~.\_.........		00000330:·6bf6·a76f·4eae·aff9·f0cd·c957·c3f4·f7ec··k..oN......W....
00000340:·f~~d6d~~·f~~a7b~~·~~7ef1~~·~~e2fe~~·~~f4f2~~·~~ea41~~·bfc7·~~894b~~··.m.~~{~..~~.~~..~~.A...K		00000340:·fe36·fd3d·bf78·717f·7a79·f5a0·dfe3·c4a5··.6.=.xq.zy......
00000350:·bfc9·~~f89c~~·~~d8d3~~·~~9c48~~·~~4e7~~f·~~f8f8~~·~~6e95~~·~~79ee~~··.~~...~~.~~..HN...n~~.y.		00000350:·df64·7c4e·ec69·4e24·a73f·7c7c·b7ca·3cf7··.d\|N.iN$.?\|\|..<.
00000360:·~~d597~~·~~af27~~·~~525d~~·~~5cd~~f·df7e·~~982f~~·~~b5c8~~·~~7946~~··...~~'R]\~~.~~.~~~.~~/.~~.yF		00000360:·eacb·d713·a92e·aeef·6f3f·cc97·5ae4·3ca3··........o?..Z.<.
00000370:·~~633~~c~~·78~~c7·~~8fd~~7·af4f·~~5e9~~d·3~~21b·7~~fca·~~4e6f~~··c<x....O^.2..~~.No~~		00000370:·311e·bce3·c7eb·d727·af4e·998d·3f65·a7b7··1......'.N..?e..


Offset 1, 149 lines modified		Offset 1, 149 lines modified
1	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2017-08-29·22:52:36.000000·./	1	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2017-08-29·22:52:36.000000·./
2	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2017-08-29·22:52:36.000000·./usr/	2	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2017-08-29·22:52:36.000000·./usr/
3	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2017-08-29·22:52:36.000000·./usr/lib/	3	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2017-08-29·22:52:36.000000·./usr/lib/
4	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/	4	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/
5	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/	5	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/
6	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/abs_theory/	6	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/abs_theory/
7	-rw-r--r--···0·root·········(0)·root·········(0)···293~~915~~·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/abs_theory/abs_theory_ml.o	7	-rw-r--r--···0·root·········(0)·root·········(0)···293892·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/abs_theory/abs_theory_ml.o
8	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/	8	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/
9	-rw-r--r--···0·root·········(0)·root·········(0)···128~~591~~·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/arith_cons_ml.o	9	-rw-r--r--···0·root·········(0)·root·········(0)···128376·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/arith_cons_ml.o
10	-rw-r--r--···0·root·········(0)·root·········(0)···131755·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/decls_ml.o	10	-rw-r--r--···0·root·········(0)·root·········(0)···131754·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/decls_ml.o
11	-rw-r--r--···0·root·········(0)·root·········(0)····69618·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/exists_arith_ml.o	11	-rw-r--r--···0·root·········(0)·root·········(0)····69612·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/exists_arith_ml.o
12	-rw-r--r--···0·root·········(0)·root·········(0)····85798·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/gen_arith_ml.o	12	-rw-r--r--···0·root·········(0)·root·········(0)····85713·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/gen_arith_ml.o
13	-rw-r--r--···0·root·········(0)·root·········(0)····31870·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/instance_ml.o	13	-rw-r--r--···0·root·········(0)·root·········(0)····31866·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/instance_ml.o
14	-rw-r--r--···0·root·········(0)·root·········(0)····46500·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/int_extra_ml.o	14	-rw-r--r--···0·root·········(0)·root·········(0)····46500·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/int_extra_ml.o
15	-rw-r--r--···0·root·········(0)·root·········(0)···198765·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/norm_arith_ml.o	15	-rw-r--r--···0·root·········(0)·root·········(0)···198749·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/norm_arith_ml.o
16	-rw-r--r--···0·root·········(0)·root·········(0)····64245·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/norm_bool_ml.o	16	-rw-r--r--···0·root·········(0)·root·········(0)····64244·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/norm_bool_ml.o
17	-rw-r--r--···0·root·········(0)·root·········(0)····68092·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/norm_ineqs_ml.o	17	-rw-r--r--···0·root·········(0)·root·········(0)····68082·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/norm_ineqs_ml.o
18	-rw-r--r--···0·root·········(0)·root·········(0)····51775·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/prenex_ml.o	18	-rw-r--r--···0·root·········(0)·root·········(0)····51774·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/prenex_ml.o
19	-rw-r--r--···0·root·········(0)·root·········(0)···115165·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/qconv_ml.o	19	-rw-r--r--···0·root·········(0)·root·········(0)···115164·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/qconv_ml.o
20	-rw-r--r--···0·root·········(0)·root·········(0)····91048·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/rationals_ml.o	20	-rw-r--r--···0·root·········(0)·root·········(0)····91048·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/rationals_ml.o
21	-rw-r--r--···0·root·········(0)·root·········(0)···128082·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/sol_ranges_ml.o	21	-rw-r--r--···0·root·········(0)·root·········(0)···128075·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/sol_ranges_ml.o
22	-rw-r--r--···0·root·········(0)·root·········(0)···186125·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/solve_ineqs_ml.o	22	-rw-r--r--···0·root·········(0)·root·········(0)···186106·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/solve_ineqs_ml.o
23	-rw-r--r--···0·root·········(0)·root·········(0)····96~~670~~·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/solve_ml.o	23	-rw-r--r--···0·root·········(0)·root·········(0)····96815·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/solve_ml.o
24	-rw-r--r--···0·root·········(0)·root·········(0)····69363·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/streams_ml.o	24	-rw-r--r--···0·root·········(0)·root·········(0)····69361·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/streams_ml.o
25	-rw-r--r--···0·root·········(0)·root·········(0)····27932·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/string_extra_ml.o	25	-rw-r--r--···0·root·········(0)·root·········(0)····27932·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/string_extra_ml.o
26	-rw-r--r--···0·root·········(0)·root·········(0)····62159·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/sub_and_cond_ml.o	26	-rw-r--r--···0·root·········(0)·root·········(0)····62154·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/sub_and_cond_ml.o
27	-rw-r--r--···0·root·········(0)·root·········(0)···246~~780~~·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/sup-inf_ml.o	27	-rw-r--r--···0·root·········(0)·root·········(0)···246542·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/sup-inf_ml.o
28	-rw-r--r--···0·root·········(0)·root·········(0)···121787·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/term_coeffs_ml.o	28	-rw-r--r--···0·root·········(0)·root·········(0)···121767·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/arith/term_coeffs_ml.o
29	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/finite_sets/	29	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/finite_sets/
30	-rw-r--r--···0·root·········(0)·root·········(0)···215869·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/finite_sets/fset_conv_ml.o	30	-rw-r--r--···0·root·········(0)·root·········(0)···215863·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/finite_sets/fset_conv_ml.o
31	-rw-r--r--···0·root·········(0)·root·········(0)····61576·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/finite_sets/set_ind_ml.o	31	-rw-r--r--···0·root·········(0)·root·········(0)····61546·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/finite_sets/set_ind_ml.o
32	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/ind_defs/	32	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/ind_defs/
33	-rw-r--r--···0·root·········(0)·root·········(0)···689043·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/ind_defs/ind-defs_ml.o	33	-rw-r--r--···0·root·········(0)·root·········(0)···689013·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/ind_defs/ind-defs_ml.o
34	-rw-r--r--···0·root·········(0)·root·········(0)····21722·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/ind_defs/ind_defs_ml.o	34	-rw-r--r--···0·root·········(0)·root·········(0)····21721·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/ind_defs/ind_defs_ml.o
35	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/latex-hol/	35	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/latex-hol/
36	-rw-r--r--···0·root·········(0)·root·········(0)····64883·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/latex-hol/filters_ml.o	36	-rw-r--r--···0·root·········(0)·root·········(0)····64878·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/latex-hol/filters_ml.o
37	-rw-r--r--···0·root·········(0)·root·········(0)···165346·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/latex-hol/formaters_ml.o	37	-rw-r--r--···0·root·········(0)·root·········(0)···165338·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/latex-hol/formaters_ml.o
38	-rw-r--r--···0·root·········(0)·root·········(0)····79089·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/latex-hol/hol_trees_ml.o	38	-rw-r--r--···0·root·········(0)·root·········(0)····79088·2017-08-29·22:52:36.000000·./usr/lib/hol88-2.02.19940316/Library/latex-hol/hol_trees_ml.o


Offset 1770, 72 lines modified		Offset 1770, 72 lines modified
1770	.comment	1770	.comment
1771	.note.GNU-stack	1771	.note.GNU-stack
1772	.rel.debug_frame	1772	.rel.debug_frame
1773	.ARM.attributes	1773	.ARM.attributes
1774	COMMON-LISP-USER	1774	COMMON-LISP-USER
1775	SYSTEMSPUTPROP	1775	SYSTEMSPUTPROP
1776	COMMON-LISPQUOTE	1776	COMMON-LISPQUOTE
1777	FUN%5777%~~599~~	1777	FUN%4472%601
1778	-QUOTE	1778	-QUOTE
1779	» CURRYBIND	1779	» CURRYBIND
1780	-QUOTE	1780	-QUOTE
1781	-PROGN»	1781	-PROGN»
1782	,SETVV	1782	,SETVV
1783	-QUOTE	1783	-QUOTE
1784	EVALUATION»	1784	EVALUATION»
1785	,SETVV	1785	,SETVV
1786	-QUOTE	1786	-QUOTE
1787	MK-LET%is_plus%~~629~~»	1787	MK-LET%is_plus%598»
1788	,SETVV	1788	,SETVV
1789	-QUOTE	1789	-QUOTE
1790	FUN%7~~795~~%168»	1790	FUN%7944%117»
1791	,SETVV	1791	,SETVV
1792	-QUOTE	1792	-QUOTE
1793	MK-LET%arg1%674»	1793	MK-LET%arg1%643»
1794	,SETVV	1794	,SETVV
1795	-QUOTE	1795	-QUOTE
1796	FUN%7~~795~~%123»	1796	FUN%7944%72»
1797	,SETVV	1797	,SETVV
1798	-QUOTE	1798	-QUOTE
1799	ML-IS_CONST»	1799	ML-IS_CONST»
1800	,SETVV	1800	,SETVV
1801	-QUOTE	1801	-QUOTE
1802	FUN%~~7416~~%308»	1802	FUN%2068%323»
1803	,SETVV	1803	,SETVV
1804	-QUOTE	1804	-QUOTE
1805	MK-LET%ADD_CONV%~~429~~»	1805	MK-LET%ADD_CONV%387»
1806	,SETVV	1806	,SETVV
1807	-QUOTE	1807	-QUOTE


Offset 595, 57 lines modified		Offset 595, 57 lines modified
595	.comment	595	.comment
596	.note.GNU-stack	596	.note.GNU-stack
597	.rel.debug_frame	597	.rel.debug_frame
598	.ARM.attributes	598	.ARM.attributes
599	COMMON-LISP-USER	599	COMMON-LISP-USER
600	SYSTEMSPUTPROP	600	SYSTEMSPUTPROP
601	COMMON-LISPQUOTE	601	COMMON-LISPQUOTE
602	FUN%3483%605	602	FUN%6181%610
603	-QUOTE	603	-QUOTE
604	» CURRYBIND	604	» CURRYBIND
605	-QUOTE	605	-QUOTE
606	-PROGN»	606	-PROGN»
607	,SETVV	607	,SETVV
608	-QUOTE	608	-QUOTE
609	EVALUATION»	609	EVALUATION»
610	,SETVV	610	,SETVV
611	-QUOTE	611	-QUOTE
612	MK-LET%dest_eq%131»	612	MK-LET%dest_eq%146»
613	,SETVV	613	,SETVV
614	-QUOTE	614	-QUOTE
615	FUN%~~7416~~%133»	615	FUN%2068%148»
616	,SETVV	616	,SETVV
617	-QUOTE	617	-QUOTE
618	MK-LET%is_forall%161»	618	MK-LET%is_forall%176»
619	,SETVV	619	,SETVV
620	-QUOTE	620	-QUOTE
621	FUN%7~~795~~%168»	621	FUN%7944%117»
622	,SETVV	622	,SETVV
623	-QUOTE	623	-QUOTE
624	MK-LET%is_exists%162»	624	MK-LET%is_exists%177»
625	,SETVV	625	,SETVV
626	-QUOTE	626	-QUOTE
627	MK-LET%EQ_IMP_THM%198»	627	MK-LET%EQ_IMP_THM%114»
628	,SETVV	628	,SETVV
629	-QUOTE	629	-QUOTE
630	FUN%~~2177~~%158»	630	FUN%1681%125»
631	,SETVV	631	,SETVV
632	-QUOTE	632	-QUOTE


Offset 540, 24 lines modified		Offset 540, 24 lines modified
540	.comment	540	.comment
541	.note.GNU-stack	541	.note.GNU-stack
542	.rel.debug_frame	542	.rel.debug_frame
543	.ARM.attributes	543	.ARM.attributes
544	COMMON-LISP-USER	544	COMMON-LISP-USER
545	SYSTEMSPUTPROP	545	SYSTEMSPUTPROP
546	COMMON-LISPQUOTE	546	COMMON-LISPQUOTE
547	FUN%~~9029~~%~~551~~	547	FUN%3173%602
548	-QUOTE	548	-QUOTE
549	» CURRYBIND	549	» CURRYBIND
550	-QUOTE	550	-QUOTE
551	-PROGN»	551	-PROGN»
552	-QUOTE	552	-QUOTE
553	FUN%~~9029~~%~~551~~	553	FUN%3173%602
554	-DEBUG	554	-DEBUG
555	-QUOTE	555	-QUOTE
556	FUN%~~9029~~%~~551~~	556	FUN%3173%602
557	-QUOTE	557	-QUOTE
558	-PROGN»	558	-PROGN»
559	,SETVV	559	,SETVV
560	-QUOTE»	560	-QUOTE»
561	» MK-FUNTYP	561	» MK-FUNTYP
562	» MK-INTTYP	562	» MK-INTTYP
563	» MK-INTTYP»	563	» MK-INTTYP»
Offset 568, 28 lines modified		Offset 568, 28 lines modified
568	» MK-INTTYP	568	» MK-INTTYP
569	» MK-INTTYP»	569	» MK-INTTYP»
570	,SETVV	570	,SETVV
571	-QUOTE	571	-QUOTE
572	MK-LET»	572	MK-LET»
573	,SETVV	573	,SETVV
574	-QUOTE	574	-QUOTE
575	MK-LET%abs%~~550~~»	575	MK-LET%abs%601»
576	,SETVV	576	,SETVV
577	,SETVV	577	,SETVV
578	-QUOTE	578	-QUOTE
579	EXECUTE	579	EXECUTE
580	,MFSFUN	580	,MFSFUN
581	-QUOTE!	581	-QUOTE!
582	G1660	582	G1660
583	,SETVV	583	,SETVV
584	-QUOTE	584	-QUOTE
585	abs»	585	abs»
586	,SETVV	586	,SETVV
587	-QUOTE	587	-QUOTE
588	FUN%~~9029~~%~~551~~	588	FUN%3173%602
589	-PROGN»	589	-PROGN»
590	,SETVV	590	,SETVV
591	-QUOTE	591	-QUOTE
592	MK-NULLTYP»	592	MK-NULLTYP»
593	,SETVV	593	,SETVV
594	-QUOTE	594	-QUOTE
595	MK-APPN»	595	MK-APPN»
Offset 601, 44 lines modified		Offset 601, 44 lines modified
601	-QUOTE	601	-QUOTE
602	mod»	602	mod»
603	,SETVV	603	,SETVV
604	-QUOTE	604	-QUOTE
605	ML-ML_CURRIED_INFIX	605	ML-ML_CURRIED_INFIX
606	,SPUTPROP	606	,SPUTPROP
607	-QUOTE	607	-QUOTE
608	FUN%~~9029~~%~~553~~	608	FUN%3173%604
609	-QUOTE	609	-QUOTE
610	» CURRYBIND	610	» CURRYBIND
611	-QUOTE	611	-QUOTE
612	,SPUTPROP	612	,SPUTPROP
613	-QUOTE	613	-QUOTE
614	FUN%~~9029~~%~~554~~	614	FUN%3173%605
615	-QUOTE	615	-QUOTE
616	» CURRYBIND	616	» CURRYBIND
617	-QUOTE	617	-QUOTE
618	FUN%~~9029~~%~~553~~	618	FUN%3173%604
619	-PROGN»	619	-PROGN»
620	,SETVV	620	,SETVV
621	-QUOTE	621	-QUOTE
622	INTDIV»	622	INTDIV»
623	-QUOTE	623	-QUOTE
624	FUN%~~9029~~%~~553~~	624	FUN%3173%604
625	-DEBUG	625	-DEBUG
626	-QUOTE	626	-QUOTE
627	FUN%~~9029~~%~~553~~	627	FUN%3173%604
628	-QUOTE	628	-QUOTE
629	-PROGN»	629	-PROGN»
630	,SETVV	630	,SETVV
631	-QUOTE	631	-QUOTE
632	FUN%~~9029~~%~~553~~»	632	FUN%3173%604»
633	-QUOTE	633	-QUOTE
634	FUN%~~9029~~%~~554~~	634	FUN%3173%605
635	-DEBUG	635	-DEBUG
636	-QUOTE	636	-QUOTE
637	FUN%~~9029~~%~~554~~	637	FUN%3173%605
638	-QUOTE	638	-QUOTE
639	-PROGN»	639	-PROGN»
640	,SETVV	640	,SETVV
641	-QUOTE»	641	-QUOTE»
642	» MK-FUNTYP	642	» MK-FUNTYP
643	» MK-INTTYP»	643	» MK-INTTYP»
644	» MK-FUNTYP	644	» MK-FUNTYP
Offset 650, 65 lines modified		Offset 650, 65 lines modified
650	» MK-FUNTYP	650	» MK-FUNTYP
651	» MK-INTTYP»	651	» MK-INTTYP»
652	» MK-FUNTYP	652	» MK-FUNTYP
653	» MK-INTTYP	653	» MK-INTTYP
654	» MK-INTTYP»	654	» MK-INTTYP»
655	,SETVV	655	,SETVV
656	-QUOTE	656	-QUOTE
657	MK-LET%mod%~~552~~»	657	MK-LET%mod%603»
658	,SETVV	658	,SETVV
659	,MFSFUN	659	,MFSFUN
660	-QUOTE!	660	-QUOTE!
661	G1662	661	G1662
662	,SETVV	662	,SETVV
663	-QUOTE	663	-QUOTE
664	FUN%~~9029~~%~~554~~	664	FUN%3173%605
665	,SPUTPROP	665	,SPUTPROP
666	-QUOTE	666	-QUOTE
667	FUN%~~9029~~%~~556~~	667	FUN%3173%607
668	-QUOTE	668	-QUOTE
669	» CURRYBIND	669	» CURRYBIND
670	-QUOTE	670	-QUOTE
671	,SPUTPROP	671	,SPUTPROP
672	-QUOTE	672	-QUOTE
673	FUN%~~9029~~%~~557~~	673	FUN%3173%608
674	-QUOTE	674	-QUOTE
675	» CURRYBIND	675	» CURRYBIND
676	-QUOTE	676	-QUOTE
677	-PROGN»	677	-PROGN»
Max diff block lines reached; 1088/2707 bytes (40.19%) of diff not shown.


Offset 777, 92 lines modified		Offset 777, 92 lines modified
777	.comment	777	.comment
778	.note.GNU-stack	778	.note.GNU-stack
779	.rel.debug_frame	779	.rel.debug_frame
780	.ARM.attributes	780	.ARM.attributes
781	COMMON-LISP-USER	781	COMMON-LISP-USER
782	SYSTEMSPUTPROP	782	SYSTEMSPUTPROP
783	COMMON-LISPQUOTE	783	COMMON-LISPQUOTE
784	FUN%~~249~~1%614	784	FUN%9871%601
785	-QUOTE	785	-QUOTE
786	» CURRYBIND	786	» CURRYBIND
787	-QUOTE	787	-QUOTE
788	,SPUTPROP	788	,SPUTPROP
789	-QUOTE	789	-QUOTE
790	FUN%~~249~~1%613	790	FUN%9871%600
791	-QUOTE	791	-QUOTE
792	» CURRYBIND	792	» CURRYBIND
793	-QUOTE	793	-QUOTE
794	FUN%~~249~~1%614	794	FUN%9871%601
795	-PROGN»	795	-PROGN»
796	,SETVV	796	,SETVV
797	-QUOTE	797	-QUOTE
798	EVALUATION»	798	EVALUATION»
799	,SETVV	799	,SETVV
800	-QUOTE	800	-QUOTE
801	%AP»	801	%AP»
802	,SETVV	802	,SETVV
803	-QUOTE	803	-QUOTE
804	FUN%2~~920~~%~~549~~»	804	FUN%2294%630»
805	,SETVV	805	,SETVV
806	-QUOTE	806	-QUOTE
807	MK-LET%is_neg%169»	807	MK-LET%is_neg%184»
808	,SETVV	808	,SETVV
809	-QUOTE	809	-QUOTE
810	FUN%7~~795~~%168»	810	FUN%7944%117»
811	,SETVV	811	,SETVV
812	-QUOTE	812	-QUOTE
813	FUN%~~249~~1%613»	813	FUN%9871%600»
814	,SETVV	814	,SETVV
815	-QUOTE	815	-QUOTE
816	FUN%2~~920~~%~~568~~»	816	FUN%2294%649»
817	,SETVV	817	,SETVV
818	-QUOTE	818	-QUOTE
819	MK-LET%is_eq%167»	819	MK-LET%is_eq%182»
820	,SETVV	820	,SETVV
821	-QUOTE	821	-QUOTE
822	MK-LETREF%EQ_EXPAND_CONV%614»	822	MK-LETREF%EQ_EXPAND_CONV%612»
823	,SETVV	823	,SETVV
824	-QUOTE	824	-QUOTE
825	FUN%2~~920~~%~~578~~»	825	FUN%2294%659»
826	,SETVV	826	,SETVV
827	-QUOTE	827	-QUOTE
828	FUN%2~~920~~%~~551~~»	828	FUN%2294%632»
829	,SETVV	829	,SETVV
830	-QUOTE	830	-QUOTE
831	MK-LET%is_imp%166»	831	MK-LET%is_imp%181»
832	,SETVV	832	,SETVV
833	-QUOTE	833	-QUOTE
834	MK-LETREF%IMP_EXPAND_CONV%615»	834	MK-LETREF%IMP_EXPAND_CONV%613»
835	,SETVV	835	,SETVV
836	-QUOTE	836	-QUOTE
837	FUN%2~~920~~%~~577~~»	837	FUN%2294%658»
838	,SETVV	838	,SETVV
839	-QUOTE	839	-QUOTE
840	-ATOM»	840	-ATOM»
841	,SETVV	841	,SETVV
842	-QUOTE	842	-QUOTE
843	EQ_IMP_ELIM_QCONV»	843	EQ_IMP_ELIM_QCONV»
844	,SETVV	844	,SETVV
845	-QUOTE	845	-QUOTE
846	FUN%2~~920~~%~~543~~»	846	FUN%2294%624»
847	-QUOTE	847	-QUOTE
848	FUN%~~249~~1%614	848	FUN%9871%601
849	-DEBUG	849	-DEBUG
850	-QUOTE	850	-QUOTE
851	FUN%~~249~~1%614	851	FUN%9871%601
852	-QUOTE	852	-QUOTE
853	-PROGN»	853	-PROGN»
854	,SETVV	854	,SETVV
855	-QUOTE	855	-QUOTE
856	FUN%~~249~~1%614»	856	FUN%9871%601»
857	-QUOTE	857	-QUOTE
858	FUN%~~249~~1%613	858	FUN%9871%600
859	-DEBUG	859	-DEBUG
860	-QUOTE	860	-QUOTE
861	FUN%~~249~~1%613	861	FUN%9871%600
862	-QUOTE	862	-QUOTE
863	-PROGN»	863	-PROGN»
864	,SETVV	864	,SETVV
865	-QUOTE»	865	-QUOTE»
866	» MK-FUNTYP»	866	» MK-FUNTYP»
867	» MK-FUNTYP	867	» MK-FUNTYP
868	MK-TERMTYP	868	MK-TERMTYP
Offset 882, 92 lines modified		Offset 882, 92 lines modified
882	MK-TERMTYP	882	MK-TERMTYP
883	» MK-THMTYP»	883	» MK-THMTYP»
884	,SETVV	884	,SETVV
885	-QUOTE	885	-QUOTE
886	» MK-LETREC»	886	» MK-LETREC»
887	,SETVV	887	,SETVV
888	-QUOTE	888	-QUOTE
889	MK-LETREC%EQ_IMP_ELIM_QCONV%~~612~~»	889	MK-LETREC%EQ_IMP_ELIM_QCONV%599»
890	,SETVV	890	,SETVV
891	,SETVV	891	,SETVV
892	-QUOTE	892	-QUOTE
893	EXECUTE	893	EXECUTE
894	,MFSFUN	894	,MFSFUN
895	-QUOTE!	895	-QUOTE!
896	G1664	896	G1664
897	,SPUTPROP	897	,SPUTPROP
898	-QUOTE	898	-QUOTE
899	FUN%~~249~~1%617	899	FUN%9871%604
900	-QUOTE	900	-QUOTE
901	» CURRYBIND	901	» CURRYBIND
902	-QUOTE	902	-QUOTE
903	,SPUTPROP	903	,SPUTPROP
904	-QUOTE	904	-QUOTE
905	FUN%~~249~~1%618	905	FUN%9871%605
906	-QUOTE	906	-QUOTE
907	» CURRYBIND	907	» CURRYBIND
908	-QUOTE	908	-QUOTE
909	FUN%~~249~~1%617	909	FUN%9871%604
910	,SPUTPROP	910	,SPUTPROP
911	-QUOTE	911	-QUOTE
912	FUN%~~249~~1%616	912	FUN%9871%603
913	-QUOTE	913	-QUOTE
914	» CURRYBIND	914	» CURRYBIND
915	-QUOTE	915	-QUOTE
Max diff block lines reached; 3088/4997 bytes (61.80%) of diff not shown.


Offset 736, 77 lines modified		Offset 736, 77 lines modified
736	.comment	736	.comment
737	.note.GNU-stack	737	.note.GNU-stack
738	.rel.debug_frame	738	.rel.debug_frame
739	.ARM.attributes	739	.ARM.attributes
740	COMMON-LISP-USER	740	COMMON-LISP-USER
741	SYSTEMSPUTPROP	741	SYSTEMSPUTPROP
742	COMMON-LISPQUOTE	742	COMMON-LISPQUOTE
743	FUN%6182%~~604~~	743	FUN%4141%570
744	-QUOTE	744	-QUOTE
745	» CURRYBIND	745	» CURRYBIND
746	-QUOTE	746	-QUOTE
747	,SPUTPROP	747	,SPUTPROP
748	-QUOTE	748	-QUOTE
749	FUN%6182%~~605~~	749	FUN%4141%571
750	-QUOTE	750	-QUOTE
751	» CURRYBIND	751	» CURRYBIND
752	-QUOTE	752	-QUOTE
753	FUN%6182%~~604~~	753	FUN%4141%570
754	-PROGN»	754	-PROGN»
755	,SETVV	755	,SETVV
756	-QUOTE	756	-QUOTE
757	EVALUATION»	757	EVALUATION»
758	,SETVV	758	,SETVV
759	-QUOTE	759	-QUOTE
760	MK-LET%dest_leq%649»	760	MK-LET%dest_leq%618»
761	,SETVV	761	,SETVV
762	-QUOTE	762	-QUOTE
763	FUN%4892%644»	763	FUN%54%613»
764	,SETVV	764	,SETVV
765	-QUOTE	765	-QUOTE
766	MK-LET%mk_plus%~~617~~»	766	MK-LET%mk_plus%586»
767	,SETVV	767	,SETVV
768	-QUOTE	768	-QUOTE
769	FUN%4892%~~614~~»	769	FUN%54%583»
770	,SETVV	770	,SETVV
771	-QUOTE	771	-QUOTE
772	MK-LET%mk_leq%639»	772	MK-LET%mk_leq%608»
773	,SETVV	773	,SETVV
774	-QUOTE	774	-QUOTE
775	FUN%4892%635»	775	FUN%54%604»
776	,SETVV	776	,SETVV
777	-QUOTE	777	-QUOTE
778	MK-LETREF%LEQ_PLUS_CONV%648»	778	MK-LETREF%LEQ_PLUS_CONV%646»
779	,SETVV	779	,SETVV
780	-QUOTE	780	-QUOTE
781	%AP»	781	%AP»
782	,SETVV	782	,SETVV
783	-QUOTE	783	-QUOTE
784	FUN%~~2177~~%133»	784	FUN%1681%100»
785	,SETVV	785	,SETVV
786	-QUOTE	786	-QUOTE
787	-ATOM»	787	-ATOM»
788	,SETVV	788	,SETVV
789	-QUOTE	789	-QUOTE
790	ADD_TERM_TO_LEQ_CONV»	790	ADD_TERM_TO_LEQ_CONV»
791	-QUOTE	791	-QUOTE
792	FUN%6182%~~604~~	792	FUN%4141%570
793	-DEBUG	793	-DEBUG
794	-QUOTE	794	-QUOTE
795	FUN%6182%~~604~~	795	FUN%4141%570
796	-QUOTE	796	-QUOTE
797	-PROGN»	797	-PROGN»
798	,SETVV	798	,SETVV
799	-QUOTE	799	-QUOTE
800	FUN%6182%~~604~~»	800	FUN%4141%570»
801	-QUOTE	801	-QUOTE
802	FUN%6182%~~605~~	802	FUN%4141%571
803	-DEBUG	803	-DEBUG
804	-QUOTE	804	-QUOTE
805	FUN%6182%~~605~~	805	FUN%4141%571
806	-QUOTE	806	-QUOTE
807	-PROGN»	807	-PROGN»
808	,SETVV	808	,SETVV
809	-QUOTE»	809	-QUOTE»
810	» MK-FUNTYP	810	» MK-FUNTYP
811	MK-TERMTYP»	811	MK-TERMTYP»
812	» MK-FUNTYP	812	» MK-FUNTYP
Offset 822, 108 lines modified		Offset 822, 108 lines modified
822	MK-TERMTYP	822	MK-TERMTYP
823	» MK-THMTYP»	823	» MK-THMTYP»
824	,SETVV	824	,SETVV
825	-QUOTE	825	-QUOTE
826	MK-LET»	826	MK-LET»
827	,SETVV	827	,SETVV
828	-QUOTE	828	-QUOTE
829	MK-LET%ADD_TERM_TO_LEQ_CONV%~~603~~»	829	MK-LET%ADD_TERM_TO_LEQ_CONV%569»
830	,SETVV	830	,SETVV
831	,SETVV	831	,SETVV
832	-QUOTE	832	-QUOTE
833	EXECUTE	833	EXECUTE
834	,MFSFUN	834	,MFSFUN
835	-QUOTE!	835	-QUOTE!
836	G1663	836	G1663
837	,SETVV	837	,SETVV
838	-QUOTE	838	-QUOTE
839	FUN%6182%~~605~~	839	FUN%4141%571
840	,SPUTPROP	840	,SPUTPROP
841	-QUOTE	841	-QUOTE
842	FUN%6182%~~607~~	842	FUN%4141%573
843	-QUOTE	843	-QUOTE
844	» CURRYBIND	844	» CURRYBIND
845	-QUOTE	845	-QUOTE
846	,SPUTPROP	846	,SPUTPROP
847	-QUOTE	847	-QUOTE
848	FUN%6182%~~608~~	848	FUN%4141%574
849	-QUOTE	849	-QUOTE
850	» CURRYBIND	850	» CURRYBIND
851	-QUOTE	851	-QUOTE
852	,SPUTPROP	852	,SPUTPROP
853	-QUOTE	853	-QUOTE
854	FUN%6182%~~609~~	854	FUN%4141%575
855	-QUOTE	855	-QUOTE
856	» CURRYBIND	856	» CURRYBIND
857	-QUOTE	857	-QUOTE
858	-PROGN»	858	-PROGN»
859	,SETVV	859	,SETVV
860	-QUOTE	860	-QUOTE
861	MK-LET%ALL_QCONV%~~548~~»	861	MK-LET%ALL_QCONV%629»
862	,SETVV	862	,SETVV
863	-QUOTE	863	-QUOTE
864	ML-HD»	864	ML-HD»
865	,SETVV	865	,SETVV
866	-QUOTE	866	-QUOTE
867	MK-LET%term_of_int%670»	867	MK-LET%term_of_int%639»
868	,SETVV	868	,SETVV
869	-QUOTE	869	-QUOTE
870	FUN%4892%671»	870	FUN%54%640»
Max diff block lines reached; 3613/5451 bytes (66.28%) of diff not shown.


Offset 989, 15 lines modified		Offset 989, 15 lines modified
989	qconv	989	qconv
990	» MK-TOKTYP»	990	» MK-TOKTYP»
991	-SETVV	991	-SETVV
992	,QUOTE	992	,QUOTE
993	MK-LET»	993	MK-LET»
994	-SETVV	994	-SETVV
995	,QUOTE	995	,QUOTE
996	MK-LET%qconv%~~541~~»	996	MK-LET%qconv%622»
997	-SETVV	997	-SETVV
998	-SETVV	998	-SETVV
999	,QUOTE	999	,QUOTE
1000	EXECUTE	1000	EXECUTE
1001	-MFSFUN	1001	-MFSFUN
1002	,QUOTE!	1002	,QUOTE!
1003	G1669	1003	G1669
Offset 1005, 47 lines modified		Offset 1005, 47 lines modified
1005	,QUOTE	1005	,QUOTE
1006	qconv»	1006	qconv»
1007	-SETVV	1007	-SETVV
1008	,QUOTE	1008	,QUOTE
1009	QCONV	1009	QCONV
1010	-SPUTPROP	1010	-SPUTPROP
1011	,QUOTE	1011	,QUOTE
1012	FUN%2~~920~~%~~543~~	1012	FUN%2294%624
1013	,QUOTE	1013	,QUOTE
1014	» CURRYBIND	1014	» CURRYBIND
1015	,QUOTE	1015	,QUOTE
1016	-SPUTPROP	1016	-SPUTPROP
1017	,QUOTE	1017	,QUOTE
1018	FUN%2~~920~~%~~544~~	1018	FUN%2294%625
1019	,QUOTE	1019	,QUOTE
1020	» CURRYBIND	1020	» CURRYBIND
1021	,QUOTE	1021	,QUOTE
1022	FUN%2~~920~~%~~543~~	1022	FUN%2294%624
1023	,PROGN»	1023	,PROGN»
1024	-SETVV	1024	-SETVV
1025	,QUOTE	1025	,QUOTE
1026	,EQUAL»	1026	,EQUAL»
1027	-SETVV	1027	-SETVV
1028	,QUOTE	1028	,QUOTE
1029	EVALUATION»	1029	EVALUATION»
1030	,QUOTE	1030	,QUOTE
1031	FUN%2~~920~~%~~543~~	1031	FUN%2294%624
1032	,DEBUG	1032	,DEBUG
1033	,QUOTE	1033	,QUOTE
1034	FUN%2~~920~~%~~543~~	1034	FUN%2294%624
1035	,QUOTE	1035	,QUOTE
1036	,PROGN»	1036	,PROGN»
1037	-SETVV	1037	-SETVV
1038	,QUOTE	1038	,QUOTE
1039	FUN%2~~920~~%~~543~~»	1039	FUN%2294%624»
1040	,QUOTE	1040	,QUOTE
1041	FUN%2~~920~~%~~544~~	1041	FUN%2294%625
1042	,DEBUG	1042	,DEBUG
1043	,QUOTE	1043	,QUOTE
1044	FUN%2~~920~~%~~544~~	1044	FUN%2294%625
1045	,QUOTE	1045	,QUOTE
1046	,PROGN»	1046	,PROGN»
1047	-SETVV	1047	-SETVV
1048	,QUOTE»	1048	,QUOTE»
1049	» MK-FUNTYP	1049	» MK-FUNTYP
1050	» MK-TOKTYP»	1050	» MK-TOKTYP»
1051	» MK-FUNTYP	1051	» MK-FUNTYP
Offset 1056, 66 lines modified		Offset 1056, 66 lines modified
1056	» qfailwith	1056	» qfailwith
1057	» MK-FUNTYP	1057	» MK-FUNTYP
1058	» MK-TOKTYP»	1058	» MK-TOKTYP»
1059	» MK-FUNTYP	1059	» MK-FUNTYP
1060	» MK-TOKTYP	1060	» MK-TOKTYP
1061	-SETVV	1061	-SETVV
1062	,QUOTE	1062	,QUOTE
1063	MK-LET%qfailwith%~~542~~»	1063	MK-LET%qfailwith%623»
1064	-SETVV	1064	-SETVV
1065	-MFSFUN	1065	-MFSFUN
1066	,QUOTE!	1066	,QUOTE!
1067	G1670	1067	G1670
1068	-SETVV	1068	-SETVV
1069	,QUOTE	1069	,QUOTE
1070	» qfailwith»	1070	» qfailwith»
1071	-SETVV	1071	-SETVV
1072	,QUOTE	1072	,QUOTE
1073	FUN%2~~920~~%~~544~~	1073	FUN%2294%625
1074	-SPUTPROP	1074	-SPUTPROP
1075	,QUOTE	1075	,QUOTE
1076	FUN%2~~920~~%~~546~~	1076	FUN%2294%627
1077	,QUOTE	1077	,QUOTE
1078	» CURRYBIND	1078	» CURRYBIND
1079	,QUOTE	1079	,QUOTE
1080	-SPUTPROP	1080	-SPUTPROP
1081	,QUOTE	1081	,QUOTE
1082	FUN%2~~920~~%~~547~~	1082	FUN%2294%628
1083	,QUOTE	1083	,QUOTE
1084	» CURRYBIND	1084	» CURRYBIND
1085	,QUOTE	1085	,QUOTE
1086	FUN%2~~920~~%~~546~~	1086	FUN%2294%627
1087	,PROGN»	1087	,PROGN»
1088	-SETVV	1088	-SETVV
1089	,QUOTE	1089	,QUOTE
1090	%AP»	1090	%AP»
1091	-SETVV	1091	-SETVV
1092	,QUOTE	1092	,QUOTE
1093	,ATOM»	1093	,ATOM»
1094	-SETVV	1094	-SETVV
1095	,QUOTE	1095	,QUOTE
1096	,EQL»	1096	,EQL»
1097	-SETVV	1097	-SETVV
1098	,QUOTE	1098	,QUOTE
1099	FUN%18~~17%9~~3»	1099	FUN%9184%123»
1100	,QUOTE	1100	,QUOTE
1101	FUN%2~~920~~%~~546~~	1101	FUN%2294%627
1102	,DEBUG	1102	,DEBUG
1103	,QUOTE	1103	,QUOTE
1104	FUN%2~~920~~%~~546~~	1104	FUN%2294%627
1105	,QUOTE	1105	,QUOTE
1106	,PROGN»	1106	,PROGN»
1107	-SETVV	1107	-SETVV
1108	,QUOTE	1108	,QUOTE
1109	FUN%2~~920~~%~~546~~»	1109	FUN%2294%627»
1110	,QUOTE	1110	,QUOTE
1111	FUN%2~~920~~%~~547~~	1111	FUN%2294%628
1112	,DEBUG	1112	,DEBUG
1113	,QUOTE	1113	,QUOTE
1114	FUN%2~~920~~%~~547~~	1114	FUN%2294%628
1115	,QUOTE	1115	,QUOTE
1116	,PROGN»	1116	,PROGN»
1117	-SETVV	1117	-SETVV
1118	,QUOTE»	1118	,QUOTE»
Max diff block lines reached; 8647/10248 bytes (84.38%) of diff not shown.


Offset 859, 674 lines modified		Offset 859, 674 lines modified
859	.note.GNU-stack	859	.note.GNU-stack
860	.rel.debug_frame	860	.rel.debug_frame
861	.ARM.attributes	861	.ARM.attributes
862	COMMON-LISP-USER	862	COMMON-LISP-USER
863	COMMON-LISPPROGN	863	COMMON-LISPPROGN
864	SYSTEMSPUTPROP	864	SYSTEMSPUTPROP
865	,QUOTE	865	,QUOTE
866	ABS%rat%569	866	ABS%rat%572
867	,QUOTE	867	,QUOTE
868	ARITY	868	ARITY
869	,QUOTE	869	,QUOTE
870	-SPUTPROP	870	-SPUTPROP
871	,QUOTE	871	,QUOTE
872	ABS%rat%569	872	ABS%rat%572
873	,QUOTE	873	,QUOTE
874	» ABSTYNAME	874	» ABSTYNAME
875	,QUOTE	875	,QUOTE
876	-SPUTPROP	876	-SPUTPROP
877	,QUOTE	877	,QUOTE
878	FUN%7148%579	878	FUN%5344%582
879	,QUOTE	879	,QUOTE
880	» CURRYBIND	880	» CURRYBIND
881	,QUOTE	881	,QUOTE
882	-SPUTPROP	882	-SPUTPROP
883	,QUOTE	883	,QUOTE
884	FUN%7148%580	884	FUN%5344%583
885	,QUOTE	885	,QUOTE
886	» CURRYBIND	886	» CURRYBIND
887	,QUOTE	887	,QUOTE
888	-SPUTPROP	888	-SPUTPROP
889	,QUOTE	889	,QUOTE
890	FUN%7148%581	890	FUN%5344%584
891	,QUOTE	891	,QUOTE
892	» CURRYBIND	892	» CURRYBIND
893	,QUOTE	893	,QUOTE
894	-SPUTPROP	894	-SPUTPROP
895	,QUOTE	895	,QUOTE
896	FUN%7148%582	896	FUN%5344%585
897	,QUOTE	897	,QUOTE
898	» CURRYBIND	898	» CURRYBIND
899	,QUOTE	899	,QUOTE
900	-SPUTPROP	900	-SPUTPROP
901	,QUOTE	901	,QUOTE
902	FUN%7148%583	902	FUN%5344%586
903	,QUOTE	903	,QUOTE
904	» CURRYBIND	904	» CURRYBIND
905	,QUOTE	905	,QUOTE
906	-SPUTPROP	906	-SPUTPROP
907	,QUOTE	907	,QUOTE
908	FUN%7148%584	908	FUN%5344%587
909	,QUOTE	909	,QUOTE
910	» CURRYBIND	910	» CURRYBIND
911	,QUOTE	911	,QUOTE
912	FUN%7148%583	912	FUN%5344%586
913	-SPUTPROP	913	-SPUTPROP
914	,QUOTE	914	,QUOTE
915	FUN%7148%585	915	FUN%5344%588
916	,QUOTE	916	,QUOTE
917	» CURRYBIND	917	» CURRYBIND
918	,QUOTE	918	,QUOTE
919	-SPUTPROP	919	-SPUTPROP
920	,QUOTE	920	,QUOTE
921	FUN%7148%586	921	FUN%5344%589
922	,QUOTE	922	,QUOTE
923	» CURRYBIND	923	» CURRYBIND
924	,QUOTE	924	,QUOTE
925	FUN%7148%585	925	FUN%5344%588
926	-SPUTPROP	926	-SPUTPROP
927	,QUOTE	927	,QUOTE
928	FUN%7148%587	928	FUN%5344%590
929	,QUOTE	929	,QUOTE
930	» CURRYBIND	930	» CURRYBIND
931	,QUOTE	931	,QUOTE
932	-SPUTPROP	932	-SPUTPROP
933	,QUOTE	933	,QUOTE
934	FUN%7148%588	934	FUN%5344%591
935	,QUOTE	935	,QUOTE
936	» CURRYBIND	936	» CURRYBIND
937	,QUOTE	937	,QUOTE
938	FUN%7148%587	938	FUN%5344%590
939	-SPUTPROP	939	-SPUTPROP
940	,QUOTE	940	,QUOTE
941	FUN%7148%589	941	FUN%5344%592
942	,QUOTE	942	,QUOTE
943	» CURRYBIND	943	» CURRYBIND
944	,QUOTE	944	,QUOTE
945	-SPUTPROP	945	-SPUTPROP
946	,QUOTE	946	,QUOTE
947	FUN%7148%590	947	FUN%5344%593
948	,QUOTE	948	,QUOTE
949	» CURRYBIND	949	» CURRYBIND
950	,QUOTE	950	,QUOTE
951	FUN%7148%589	951	FUN%5344%592
952	-SPUTPROP	952	-SPUTPROP
953	,QUOTE	953	,QUOTE
954	FUN%7148%591	954	FUN%5344%594
955	,QUOTE	955	,QUOTE
956	» CURRYBIND	956	» CURRYBIND
957	,QUOTE	957	,QUOTE
958	,PROGN»	958	,PROGN»
959	-SETVV	959	-SETVV
960	,QUOTE	960	,QUOTE
961	EVALUATION»	961	EVALUATION»
962	-SETVV	962	-SETVV
963	,QUOTE	963	,QUOTE
964	,EQUAL»	964	,EQUAL»
965	-SETVV	965	-SETVV
966	,QUOTE	966	,QUOTE
967	-SETVV	967	-SETVV
968	,QUOTE	968	,QUOTE
969	FUN%~~9029~~%~~551~~»	969	FUN%3173%602»
970	-SETVV	970	-SETVV
971	,QUOTE	971	,QUOTE
972	FUN%~~9029~~%~~557~~»	972	FUN%3173%608»
973	-SETVV	973	-SETVV
974	,QUOTE	974	,QUOTE
975	INTDIV»	975	INTDIV»
976	-SETVV	976	-SETVV
977	,QUOTE	977	,QUOTE
978	,ATOM»	978	,ATOM»
979	-SETVV	979	-SETVV
980	,QUOTE	980	,QUOTE
981	Rat»	981	Rat»
982	,QUOTE	982	,QUOTE
983	FUN%7148%579	983	FUN%5344%582
984	,DEBUG	984	,DEBUG
985	,QUOTE	985	,QUOTE
Max diff block lines reached; 7950/9625 bytes (82.60%) of diff not shown.


Offset 1022, 25 lines modified		Offset 1022, 25 lines modified
1022	.comment	1022	.comment
1023	.note.GNU-stack	1023	.note.GNU-stack
1024	.rel.debug_frame	1024	.rel.debug_frame
1025	.ARM.attributes	1025	.ARM.attributes
1026	COMMON-LISP-USER	1026	COMMON-LISP-USER
1027	SYSTEMSPUTPROP	1027	SYSTEMSPUTPROP
1028	COMMON-LISPQUOTE	1028	COMMON-LISPQUOTE
1029	FUN%~~2097~~%~~619~~	1029	FUN%7306%535
1030	-QUOTE	1030	-QUOTE
1031	» CURRYBIND	1031	» CURRYBIND
1032	-QUOTE	1032	-QUOTE
1033	,SPUTPROP	1033	,SPUTPROP
1034	-QUOTE	1034	-QUOTE
1035	FUN%~~2097~~%~~620~~	1035	FUN%7306%536
1036	-QUOTE	1036	-QUOTE
1037	» CURRYBIND	1037	» CURRYBIND
1038	-QUOTE	1038	-QUOTE
1039	FUN%~~2097~~%~~619~~	1039	FUN%7306%535
1040	-PROGN»	1040	-PROGN»
1041	,SETVV	1041	,SETVV
1042	-QUOTE	1042	-QUOTE
1043	EVALUATION»	1043	EVALUATION»
1044	,SETVV	1044	,SETVV
1045	-QUOTE	1045	-QUOTE
1046	-ATOM»	1046	-ATOM»
Offset 1060, 379 lines modified		Offset 1060, 379 lines modified
1060	-QUOTE	1060	-QUOTE
1061	Bound»	1061	Bound»
1062	,SETVV	1062	,SETVV
1063	-QUOTE	1063	-QUOTE
1064	Pos_inf»	1064	Pos_inf»
1065	,SETVV	1065	,SETVV
1066	-QUOTE	1066	-QUOTE
1067	FUN%7148%602»	1067	FUN%5344%605»
1068	,SETVV	1068	,SETVV
1069	-QUOTE	1069	-QUOTE
1070	pattern»	1070	pattern»
1071	,SETVV	1071	,SETVV
1072	-QUOTE	1072	-QUOTE
1073	less_bound»	1073	less_bound»
1074	-QUOTE	1074	-QUOTE
1075	FUN%~~2097~~%~~619~~	1075	FUN%7306%535
1076	-DEBUG	1076	-DEBUG
1077	-QUOTE	1077	-QUOTE
1078	FUN%~~2097~~%~~619~~	1078	FUN%7306%535
1079	-QUOTE	1079	-QUOTE
1080	-PROGN»	1080	-PROGN»
1081	,SETVV	1081	,SETVV
1082	-QUOTE	1082	-QUOTE
1083	FUN%~~2097~~%~~619~~»	1083	FUN%7306%535»
1084	-QUOTE	1084	-QUOTE
1085	FUN%~~2097~~%~~620~~	1085	FUN%7306%536
1086	-DEBUG	1086	-DEBUG
1087	-QUOTE	1087	-QUOTE
1088	FUN%~~2097~~%~~620~~	1088	FUN%7306%536
1089	-QUOTE	1089	-QUOTE
1090	-PROGN»	1090	-PROGN»
1091	,SETVV	1091	,SETVV
1092	-QUOTE»	1092	-QUOTE»
1093	» MK-FUNTYP	1093	» MK-FUNTYP
1094	CONC%bound%596»	1094	CONC%bound%577»
1095	» MK-FUNTYP	1095	» MK-FUNTYP
1096	CONC%bound%596	1096	CONC%bound%577
1097	MK-BOOLTYP»	1097	MK-BOOLTYP»
1098	,SETVV	1098	,SETVV
1099	-QUOTE	1099	-QUOTE
1100	-LET	1100	-LET
1101	less_bound	1101	less_bound
1102	» MK-FUNTYP	1102	» MK-FUNTYP
1103	CONC%bound%596»	1103	CONC%bound%577»
1104	» MK-FUNTYP	1104	» MK-FUNTYP
1105	CONC%bound%596	1105	CONC%bound%577
1106	MK-BOOLTYP»	1106	MK-BOOLTYP»
1107	,SETVV	1107	,SETVV
1108	-QUOTE	1108	-QUOTE
1109	MK-LET»	1109	MK-LET»
1110	,SETVV	1110	,SETVV
1111	-QUOTE	1111	-QUOTE
1112	MK-LET%less_bound%~~618~~»	1112	MK-LET%less_bound%534»
1113	,SETVV	1113	,SETVV
1114	,SETVV	1114	,SETVV
1115	-QUOTE	1115	-QUOTE
1116	EXECUTE	1116	EXECUTE
1117	,MFSFUN	1117	,MFSFUN
1118	-QUOTE!	1118	-QUOTE!
1119	G1669	1119	G1669
1120	,SETVV	1120	,SETVV
1121	-QUOTE	1121	-QUOTE
1122	FUN%~~2097~~%~~620~~	1122	FUN%7306%536
1123	,SPUTPROP	1123	,SPUTPROP
1124	-QUOTE	1124	-QUOTE
1125	FUN%~~2097~~%~~622~~	1125	FUN%7306%538
1126	-QUOTE	1126	-QUOTE
1127	» CURRYBIND	1127	» CURRYBIND
1128	-QUOTE	1128	-QUOTE
1129	-PROGN»	1129	-PROGN»
1130	,SETVV	1130	,SETVV
1131	-QUOTE	1131	-QUOTE
1132	MK-LET%rat_zero%~~599~~»	1132	MK-LET%rat_zero%602»
1133	,SETVV	1133	,SETVV
1134	-QUOTE	1134	-QUOTE
1135	is_neg_bound»	1135	is_neg_bound»
1136	-QUOTE	1136	-QUOTE
1137	FUN%~~2097~~%~~622~~	1137	FUN%7306%538
1138	-DEBUG	1138	-DEBUG
1139	-QUOTE	1139	-QUOTE
1140	FUN%~~2097~~%~~622~~	1140	FUN%7306%538
1141	-QUOTE	1141	-QUOTE
1142	-PROGN»	1142	-PROGN»
1143	,SETVV	1143	,SETVV
1144	-QUOTE»	1144	-QUOTE»
1145	» MK-FUNTYP	1145	» MK-FUNTYP
1146	CONC%bound%596	1146	CONC%bound%577
1147	MK-BOOLTYP»	1147	MK-BOOLTYP»
1148	,SETVV	1148	,SETVV
1149	-QUOTE	1149	-QUOTE
1150	-LET	1150	-LET
1151	is_neg_bound	1151	is_neg_bound
1152	» MK-FUNTYP	1152	» MK-FUNTYP
1153	CONC%bound%596	1153	CONC%bound%577
1154	MK-BOOLTYP»	1154	MK-BOOLTYP»
1155	,SETVV	1155	,SETVV
1156	-QUOTE	1156	-QUOTE
1157	MK-LET%is_neg_bound%~~621~~»	1157	MK-LET%is_neg_bound%537»
1158	,SETVV	1158	,SETVV
1159	,MFSFUN	1159	,MFSFUN
1160	-QUOTE!	1160	-QUOTE!
Max diff block lines reached; 7686/9442 bytes (81.40%) of diff not shown.


Offset 1755, 94 lines modified		Offset 1755, 94 lines modified
1755	.comment	1755	.comment
1756	.note.GNU-stack	1756	.note.GNU-stack
1757	.rel.debug_frame	1757	.rel.debug_frame
1758	.ARM.attributes	1758	.ARM.attributes
1759	COMMON-LISP-USER	1759	COMMON-LISP-USER
1760	SYSTEMSPUTPROP	1760	SYSTEMSPUTPROP
1761	COMMON-LISPQUOTE	1761	COMMON-LISPQUOTE
1762	FUN%~~732~~5%547	1762	FUN%6945%574
1763	-QUOTE	1763	-QUOTE
1764	» CURRYBIND	1764	» CURRYBIND
1765	-QUOTE	1765	-QUOTE
1766	,SPUTPROP	1766	,SPUTPROP
1767	-QUOTE	1767	-QUOTE
1768	FUN%~~732~~5%548	1768	FUN%6945%575
1769	-QUOTE	1769	-QUOTE
1770	» CURRYBIND	1770	» CURRYBIND
1771	-QUOTE	1771	-QUOTE
1772	-PROGN»	1772	-PROGN»
1773	,SETVV	1773	,SETVV
1774	-QUOTE	1774	-QUOTE
1775	FUN%~~7416~~%308»	1775	FUN%2068%323»
1776	,SETVV	1776	,SETVV
1777	-QUOTE	1777	-QUOTE
1778	MK-LET%is_mult%631»	1778	MK-LET%is_mult%600»
1779	,SETVV	1779	,SETVV
1780	-QUOTE	1780	-QUOTE
1781	FUN%7~~795~~%168»	1781	FUN%7944%117»
1782	,SETVV	1782	,SETVV
1783	-QUOTE	1783	-QUOTE
1784	MK-LETREC%FAST_MULT_CONV%610»	1784	MK-LETREC%FAST_MULT_CONV%612»
1785	,SETVV	1785	,SETVV
1786	-QUOTE	1786	-QUOTE
1787	FUN%2~~920~~%~~569~~»	1787	FUN%2294%650»
1788	,SETVV	1788	,SETVV
1789	-QUOTE	1789	-QUOTE
1790	FUN%2~~920~~%~~572~~»	1790	FUN%2294%653»
1791	,SETVV	1791	,SETVV
1792	-QUOTE	1792	-QUOTE
1793	MK-LETREF%MULT_ASSOC_CONV%634»	1793	MK-LETREF%MULT_ASSOC_CONV%632»
1794	,SETVV	1794	,SETVV
1795	-QUOTE	1795	-QUOTE
1796	FUN%2~~920~~%~~551~~»	1796	FUN%2294%632»
1797	,SETVV	1797	,SETVV
1798	-QUOTE	1798	-QUOTE
1799	FUN%2~~920~~%~~552~~»	1799	FUN%2294%633»
1800	,SETVV	1800	,SETVV
1801	-QUOTE	1801	-QUOTE
1802	#MK-LETREF%LEFT_ADD_DISTRIB_CONV%632»	1802	#MK-LETREF%LEFT_ADD_DISTRIB_CONV%630»
1803	-QUOTE	1803	-QUOTE
1804	FUN%~~732~~5%547	1804	FUN%6945%574
1805	-DEBUG	1805	-DEBUG
1806	-QUOTE	1806	-QUOTE
1807	FUN%~~732~~5%547	1807	FUN%6945%574
1808	-QUOTE	1808	-QUOTE
1809	-PROGN»	1809	-PROGN»
1810	,SETVV	1810	,SETVV
1811	-QUOTE	1811	-QUOTE
1812	EVALUATION»	1812	EVALUATION»
1813	,SETVV	1813	,SETVV
1814	-QUOTE	1814	-QUOTE
1815	FUN%~~732~~5%547»	1815	FUN%6945%574»
1816	,SETVV	1816	,SETVV
1817	-QUOTE	1817	-QUOTE
1818	ML-IS_CONST»	1818	ML-IS_CONST»
1819	,SETVV	1819	,SETVV
1820	-QUOTE	1820	-QUOTE
1821	FUN%5777%611»	1821	FUN%4472%613»
1822	,SETVV	1822	,SETVV
1823	-QUOTE	1823	-QUOTE
1824	MK-LET%arg1%674»	1824	MK-LET%arg1%643»
1825	,SETVV	1825	,SETVV
1826	-QUOTE	1826	-QUOTE
1827	FUN%7~~795~~%123»	1827	FUN%7944%72»
1828	,SETVV	1828	,SETVV
1829	-QUOTE	1829	-QUOTE
1830	-ATOM»	1830	-ATOM»
1831	,SETVV	1831	,SETVV
1832	-QUOTE	1832	-QUOTE
1833	CONST_TIMES_ARITH_QCONV»	1833	CONST_TIMES_ARITH_QCONV»
1834	,SETVV	1834	,SETVV
1835	-QUOTE	1835	-QUOTE
1836	FUN%2~~920~~%~~543~~»	1836	FUN%2294%624»
1837	-QUOTE	1837	-QUOTE
1838	FUN%~~732~~5%548	1838	FUN%6945%575
1839	-DEBUG	1839	-DEBUG
1840	-QUOTE	1840	-QUOTE
1841	FUN%~~732~~5%548	1841	FUN%6945%575
1842	-QUOTE	1842	-QUOTE
1843	-PROGN»	1843	-PROGN»
1844	,SETVV	1844	,SETVV
1845	-QUOTE»	1845	-QUOTE»
1846	» MK-FUNTYP	1846	» MK-FUNTYP
1847	MK-TERMTYP	1847	MK-TERMTYP
1848	» MK-THMTYP»	1848	» MK-THMTYP»
Offset 1854, 165 lines modified		Offset 1854, 165 lines modified
1854	MK-TERMTYP	1854	MK-TERMTYP
1855	» MK-THMTYP»	1855	» MK-THMTYP»
1856	,SETVV	1856	,SETVV
1857	-QUOTE	1857	-QUOTE
1858	MK-LET»	1858	MK-LET»
1859	,SETVV	1859	,SETVV
1860	-QUOTE	1860	-QUOTE
1861	"MK-LET%CONST_TIMES_ARITH_QCONV%546»	1861	"MK-LET%CONST_TIMES_ARITH_QCONV%573»
1862	,SETVV	1862	,SETVV
1863	,SETVV	1863	,SETVV
1864	-QUOTE	1864	-QUOTE
1865	EXECUTE	1865	EXECUTE
1866	,MFSFUN	1866	,MFSFUN
1867	-QUOTE!	1867	-QUOTE!
1868	G1681	1868	G1681
1869	,SETVV	1869	,SETVV
1870	-QUOTE	1870	-QUOTE
1871	FUN%~~732~~5%548	1871	FUN%6945%575
1872	,SPUTPROP	1872	,SPUTPROP
1873	-QUOTE	1873	-QUOTE
1874	FUN%~~732~~5%550	1874	FUN%6945%577
1875	-QUOTE	1875	-QUOTE
1876	» CURRYBIND	1876	» CURRYBIND
1877	-QUOTE	1877	-QUOTE
1878	,SPUTPROP	1878	,SPUTPROP
1879	-QUOTE	1879	-QUOTE
1880	FUN%~~732~~5%551	1880	FUN%6945%578
1881	-QUOTE	1881	-QUOTE
1882	» CURRYBIND	1882	» CURRYBIND
1883	-QUOTE	1883	-QUOTE
1884	,SPUTPROP	1884	,SPUTPROP
1885	-QUOTE	1885	-QUOTE
Max diff block lines reached; 16531/18478 bytes (89.46%) of diff not shown.


Offset 994, 223 lines modified		Offset 994, 223 lines modified
994	.comment	994	.comment
995	.note.GNU-stack	995	.note.GNU-stack
996	.rel.debug_frame	996	.rel.debug_frame
997	.ARM.attributes	997	.ARM.attributes
998	COMMON-LISP-USER	998	COMMON-LISP-USER
999	SYSTEMSPUTPROP	999	SYSTEMSPUTPROP
1000	COMMON-LISPQUOTE	1000	COMMON-LISPQUOTE
1001	FUN%55%577	1001	FUN%6639%568
1002	-QUOTE	1002	-QUOTE
1003	» CURRYBIND	1003	» CURRYBIND
1004	-QUOTE	1004	-QUOTE
1005	,SPUTPROP	1005	,SPUTPROP
1006	-QUOTE	1006	-QUOTE
1007	FUN%55%578	1007	FUN%6639%569
1008	-QUOTE	1008	-QUOTE
1009	» CURRYBIND	1009	» CURRYBIND
1010	-QUOTE	1010	-QUOTE
1011	,SPUTPROP	1011	,SPUTPROP
1012	-QUOTE	1012	-QUOTE
1013	FUN%55%579	1013	FUN%6639%570
1014	-QUOTE	1014	-QUOTE
1015	» CURRYBIND	1015	» CURRYBIND
1016	-QUOTE	1016	-QUOTE
1017	,SPUTPROP	1017	,SPUTPROP
1018	-QUOTE	1018	-QUOTE
1019	FUN%55%580	1019	FUN%6639%571
1020	-QUOTE	1020	-QUOTE
1021	» CURRYBIND	1021	» CURRYBIND
1022	-QUOTE	1022	-QUOTE
1023	,SPUTPROP	1023	,SPUTPROP
1024	-QUOTE	1024	-QUOTE
1025	FUN%55%581	1025	FUN%6639%572
1026	-QUOTE	1026	-QUOTE
1027	» CURRYBIND	1027	» CURRYBIND
1028	-QUOTE	1028	-QUOTE
1029	FUN%55%580	1029	FUN%6639%571
1030	,SPUTPROP	1030	,SPUTPROP
1031	-QUOTE	1031	-QUOTE
1032	FUN%55%582	1032	FUN%6639%573
1033	-QUOTE	1033	-QUOTE
1034	» CURRYBIND	1034	» CURRYBIND
1035	-QUOTE	1035	-QUOTE
1036	-PROGN»	1036	-PROGN»
1037	,SETVV	1037	,SETVV
1038	-QUOTE	1038	-QUOTE
1039	-NULL»	1039	-NULL»
1040	-QUOTE	1040	-QUOTE
1041	FUN%55%577	1041	FUN%6639%568
1042	-DEBUG	1042	-DEBUG
1043	-QUOTE	1043	-QUOTE
1044	FUN%55%577	1044	FUN%6639%568
1045	-QUOTE	1045	-QUOTE
1046	-PROGN»	1046	-PROGN»
1047	-QUOTE	1047	-QUOTE
1048	FUN%55%578	1048	FUN%6639%569
1049	-DEBUG	1049	-DEBUG
1050	-QUOTE	1050	-QUOTE
1051	FUN%55%578	1051	FUN%6639%569
1052	-QUOTE	1052	-QUOTE
1053	-PROGN»	1053	-PROGN»
1054	,SETVV	1054	,SETVV
1055	-QUOTE	1055	-QUOTE
1056	$MK-LETREF%ZERO_LESS_EQ_ONE_TIMES%607»	1056	$MK-LETREF%ZERO_LESS_EQ_ONE_TIMES%605»
1057	,SETVV	1057	,SETVV
1058	-QUOTE	1058	-QUOTE
1059	MK-LET%mk_num_var%672»	1059	MK-LET%mk_num_var%641»
1060	,SETVV	1060	,SETVV
1061	-QUOTE	1061	-QUOTE
1062	FUN%4892%673»	1062	FUN%54%642»
1063	,SETVV	1063	,SETVV
1064	-QUOTE	1064	-QUOTE
1065	FUN%~~2177~~%155»	1065	FUN%1681%122»
1066	-QUOTE	1066	-QUOTE
1067	FUN%55%579	1067	FUN%6639%570
1068	-DEBUG	1068	-DEBUG
1069	-QUOTE	1069	-QUOTE
1070	FUN%55%579	1070	FUN%6639%570
1071	-QUOTE	1071	-QUOTE
1072	-PROGN»	1072	-PROGN»
1073	,SETVV	1073	,SETVV
1074	-QUOTE	1074	-QUOTE
1075	FUN%1817%107»	1075	FUN%9184%137»
1076	,SETVV	1076	,SETVV
1077	-QUOTE	1077	-QUOTE
1078	#MK-LETREF%IMP_IMP_CONJ_IMP_CONV%617»	1078	#MK-LETREF%IMP_IMP_CONJ_IMP_CONV%615»
1079	,SETVV	1079	,SETVV
1080	-QUOTE	1080	-QUOTE
1081	FUN%5421%193»	1081	FUN%4425%160»
1082	-QUOTE	1082	-QUOTE
1083	FUN%55%580	1083	FUN%6639%571
1084	-DEBUG	1084	-DEBUG
1085	-QUOTE	1085	-QUOTE
1086	FUN%55%580	1086	FUN%6639%571
1087	-QUOTE	1087	-QUOTE
1088	-PROGN»	1088	-PROGN»
1089	,SETVV	1089	,SETVV
1090	-QUOTE	1090	-QUOTE
1091	FUN%55%580»	1091	FUN%6639%571»
1092	-QUOTE	1092	-QUOTE
1093	FUN%55%581	1093	FUN%6639%572
1094	-DEBUG	1094	-DEBUG
1095	-QUOTE	1095	-QUOTE
1096	FUN%55%581	1096	FUN%6639%572
1097	-QUOTE	1097	-QUOTE
1098	-PROGN»	1098	-PROGN»
1099	,SETVV	1099	,SETVV
1100	-QUOTE	1100	-QUOTE
1101	EVALUATION»	1101	EVALUATION»
1102	,SETVV	1102	,SETVV
1103	-QUOTE	1103	-QUOTE
1104	MK-LETREC%conjuncts%248»	1104	MK-LETREC%conjuncts%263»
1105	,SETVV	1105	,SETVV
1106	-QUOTE	1106	-QUOTE
1107	FUN%~~7416~~%249»	1107	FUN%2068%264»
1108	,SETVV	1108	,SETVV
1109	-QUOTE	1109	-QUOTE
1110	MK-LET%coeffs_of_leq%~~626~~»	1110	MK-LET%coeffs_of_leq%592»
1111	,SETVV	1111	,SETVV
1112	-QUOTE	1112	-QUOTE
1113	FUN%~~3646~~%51»	1113	FUN%9353%58»
1114	,SETVV	1114	,SETVV
1115	-QUOTE	1115	-QUOTE
1116	FUN%55%577»	1116	FUN%6639%568»
1117	,SETVV	1117	,SETVV
1118	-QUOTE	1118	-QUOTE
1119	FUN%~~3646~~%66»	1119	FUN%9353%73»
1120	,SETVV	1120	,SETVV
Max diff block lines reached; 7860/9782 bytes (80.35%) of diff not shown.


Offset 715, 78 lines modified		Offset 715, 78 lines modified
715	.note.GNU-stack	715	.note.GNU-stack
716	.rel.debug_frame	716	.rel.debug_frame
717	.ARM.attributes	717	.ARM.attributes
718	COMMON-LISP-USER	718	COMMON-LISP-USER
719	COMMON-LISPPROGN	719	COMMON-LISPPROGN
720	SYSTEMSPUTPROP	720	SYSTEMSPUTPROP
721	,QUOTE	721	,QUOTE
722	CONC%stream%576	722	CONC%stream%568
723	,QUOTE	723	,QUOTE
724	ARITY	724	ARITY
725	,QUOTE	725	,QUOTE
726	-SPUTPROP	726	-SPUTPROP
727	,QUOTE	727	,QUOTE
728	CONC%stream%576	728	CONC%stream%568
729	,QUOTE	729	,QUOTE
730	TYNAME	730	TYNAME
731	,QUOTE	731	,QUOTE
732	stream	732	stream
733	,PROGN»	733	,PROGN»
734	-SETVV	734	-SETVV
735	,QUOTE»	735	,QUOTE»
736	» MK-FUNTYP»	736	» MK-FUNTYP»
737	MK-PRODTYP	737	MK-PRODTYP
738	» MK-FUNTYP	738	» MK-FUNTYP
739	MK-NULLTYP	739	MK-NULLTYP
740	CONC%stream%576	740	CONC%stream%568
741	CONC%stream%576	741	CONC%stream%568
742	-SETVV	742	-SETVV
743	,QUOTE	743	,QUOTE
744	CONSTRUCTORS	744	CONSTRUCTORS
745	Stream	745	Stream
746	» MK-FUNTYP»	746	» MK-FUNTYP»
747	MK-PRODTYP	747	MK-PRODTYP
748	» MK-FUNTYP	748	» MK-FUNTYP
749	MK-NULLTYP	749	MK-NULLTYP
750	CONC%stream%576	750	CONC%stream%568
751	CONC%stream%576	751	CONC%stream%568
752	-SETVV	752	-SETVV
753	,QUOTE	753	,QUOTE
754	stream	754	stream
755	CONC%stream%576»	755	CONC%stream%568»
756	-SETVV	756	-SETVV
757	,QUOTE	757	,QUOTE
758	MK-RECTYPE»	758	MK-RECTYPE»
759	-SETVV	759	-SETVV
760	-SETVV	760	-SETVV
761	,QUOTE	761	,QUOTE
762	EXECUTE	762	EXECUTE
763	-MFSFUN	763	-MFSFUN
764	,QUOTE!	764	,QUOTE!
765	G1658	765	G1658
766	-SPUTPROP	766	-SPUTPROP
767	,QUOTE	767	,QUOTE
768	FUN%~~2255~~%579	768	FUN%5840%571
769	,QUOTE	769	,QUOTE
770	» CURRYBIND	770	» CURRYBIND
771	,QUOTE	771	,QUOTE
772	-SPUTPROP	772	-SPUTPROP
773	,QUOTE	773	,QUOTE
774	FUN%~~2255~~%580	774	FUN%5840%572
775	,QUOTE	775	,QUOTE
776	» CURRYBIND	776	» CURRYBIND
777	,QUOTE	777	,QUOTE
778	FUN%~~2255~~%579	778	FUN%5840%571
779	-SPUTPROP	779	-SPUTPROP
780	,QUOTE	780	,QUOTE
781	FUN%~~2255~~%578	781	FUN%5840%570
782	,QUOTE	782	,QUOTE
783	» CURRYBIND	783	» CURRYBIND
784	,QUOTE	784	,QUOTE
785	FUN%~~2255~~%580	785	FUN%5840%572
786	,PROGN»	786	,PROGN»
787	-SETVV	787	-SETVV
788	,QUOTE	788	,QUOTE
789	%AP»	789	%AP»
790	-SETVV	790	-SETVV
791	,QUOTE	791	,QUOTE
792	,CONSP»	792	,CONSP»
Offset 794, 321 lines modified		Offset 794, 321 lines modified
794	,QUOTE	794	,QUOTE
795	,EQL»	795	,EQL»
796	-SETVV	796	-SETVV
797	,QUOTE	797	,QUOTE
798	Stream»	798	Stream»
799	-SETVV	799	-SETVV
800	,QUOTE	800	,QUOTE
801	FUN%~~2255~~%580»	801	FUN%5840%572»
802	-SETVV	802	-SETVV
803	,QUOTE	803	,QUOTE
804	EVALUATION»	804	EVALUATION»
805	-SETVV	805	-SETVV
806	,QUOTE	806	,QUOTE
807	pattern»	807	pattern»
808	,QUOTE	808	,QUOTE
809	FUN%~~2255~~%579	809	FUN%5840%571
810	,DEBUG	810	,DEBUG
811	,QUOTE	811	,QUOTE
812	FUN%~~2255~~%579	812	FUN%5840%571
813	,QUOTE	813	,QUOTE
814	,PROGN»	814	,PROGN»
815	-SETVV	815	-SETVV
816	,QUOTE	816	,QUOTE
817	FUN%~~2255~~%579»	817	FUN%5840%571»
818	,QUOTE	818	,QUOTE
819	FUN%~~2255~~%580	819	FUN%5840%572
820	,DEBUG	820	,DEBUG
821	,QUOTE	821	,QUOTE
822	FUN%~~2255~~%580	822	FUN%5840%572
823	,QUOTE	823	,QUOTE
824	,PROGN»	824	,PROGN»
825	,QUOTE	825	,QUOTE
826	FUN%~~2255~~%578	826	FUN%5840%570
827	,DEBUG	827	,DEBUG
828	,QUOTE	828	,QUOTE
829	FUN%~~2255~~%578	829	FUN%5840%570
830	,QUOTE	830	,QUOTE
831	,PROGN»	831	,PROGN»
832	-SETVV	832	-SETVV
833	,QUOTE»	833	,QUOTE»
834	» MK-FUNTYP»	834	» MK-FUNTYP»
835	» MK-FUNTYP	835	» MK-FUNTYP
836	,**»	836	,**»
837	» MK-FUNTYP»	837	» MK-FUNTYP»
838	» MK-FUNTYP	838	» MK-FUNTYP
839	MK-NULLTYP	839	MK-NULLTYP
840	CONC%stream%576	840	CONC%stream%568
841	» MK-FUNTYP	841	» MK-FUNTYP
Max diff block lines reached; 5889/7592 bytes (77.57%) of diff not shown.


Offset 402, 89 lines modified		Offset 402, 89 lines modified
402	.comment	402	.comment
403	.note.GNU-stack	403	.note.GNU-stack
404	.rel.debug_frame	404	.rel.debug_frame
405	.ARM.attributes	405	.ARM.attributes
406	COMMON-LISP-USER	406	COMMON-LISP-USER
407	SYSTEMSPUTPROP	407	SYSTEMSPUTPROP
408	COMMON-LISPQUOTE	408	COMMON-LISPQUOTE
409	FUN%~~8414~~%537	409	FUN%5035%565
410	-QUOTE	410	-QUOTE
411	» CURRYBIND	411	» CURRYBIND
412	-QUOTE	412	-QUOTE
413	,SPUTPROP	413	,SPUTPROP
414	-QUOTE	414	-QUOTE
415	FUN%~~8414~~%536	415	FUN%5035%564
416	-QUOTE	416	-QUOTE
417	» CURRYBIND	417	» CURRYBIND
418	-QUOTE	418	-QUOTE
419	FUN%~~8414~~%537	419	FUN%5035%565
420	,SPUTPROP	420	,SPUTPROP
421	-QUOTE	421	-QUOTE
422	FUN%~~8414~~%538	422	FUN%5035%566
423	-QUOTE	423	-QUOTE
424	» CURRYBIND	424	» CURRYBIND
425	-QUOTE	425	-QUOTE
426	,SPUTPROP	426	,SPUTPROP
427	-QUOTE	427	-QUOTE
428	FUN%~~8414~~%539	428	FUN%5035%567
429	-QUOTE	429	-QUOTE
430	» CURRYBIND	430	» CURRYBIND
431	-QUOTE	431	-QUOTE
432	FUN%~~8414~~%538	432	FUN%5035%566
433	-PROGN»	433	-PROGN»
434	,SETVV	434	,SETVV
435	-QUOTE	435	-QUOTE
436	ML-HD»	436	ML-HD»
437	,SETVV	437	,SETVV
438	-QUOTE	438	-QUOTE
439	ML-ASCII_CODE»	439	ML-ASCII_CODE»
440	,SETVV	440	,SETVV
441	-QUOTE	441	-QUOTE
442	-EQUAL»	442	-EQUAL»
443	,SETVV	443	,SETVV
444	-QUOTE	444	-QUOTE
445	ML-TL»	445	ML-TL»
446	-QUOTE	446	-QUOTE
447	FUN%~~8414~~%537	447	FUN%5035%565
448	-DEBUG	448	-DEBUG
449	-QUOTE	449	-QUOTE
450	FUN%~~8414~~%537	450	FUN%5035%565
451	-QUOTE	451	-QUOTE
452	-PROGN»	452	-PROGN»
453	,SETVV	453	,SETVV
454	-QUOTE	454	-QUOTE
455	FUN%~~8414~~%537»	455	FUN%5035%565»
456	-QUOTE	456	-QUOTE
457	FUN%~~8414~~%536	457	FUN%5035%564
458	-DEBUG	458	-DEBUG
459	-QUOTE	459	-QUOTE
460	FUN%~~8414~~%536	460	FUN%5035%564
461	-QUOTE	461	-QUOTE
462	-PROGN»	462	-PROGN»
463	,SETVV	463	,SETVV
464	-QUOTE	464	-QUOTE
465	FUN%~~8414~~%536»	465	FUN%5035%564»
466	,SETVV	466	,SETVV
467	-QUOTE	467	-QUOTE
468	ML-EXPLODE»	468	ML-EXPLODE»
469	-QUOTE	469	-QUOTE
470	FUN%~~8414~~%538	470	FUN%5035%566
471	-DEBUG	471	-DEBUG
472	-QUOTE	472	-QUOTE
473	FUN%~~8414~~%538	473	FUN%5035%566
474	-QUOTE	474	-QUOTE
475	-PROGN»	475	-PROGN»
476	,SETVV	476	,SETVV
477	-QUOTE	477	-QUOTE
478	FUN%~~8414~~%538»	478	FUN%5035%566»
479	-QUOTE	479	-QUOTE
480	FUN%~~8414~~%539	480	FUN%5035%567
481	-DEBUG	481	-DEBUG
482	-QUOTE	482	-QUOTE
483	FUN%~~8414~~%539	483	FUN%5035%567
484	-QUOTE	484	-QUOTE
485	-PROGN»	485	-PROGN»
486	,SETVV	486	,SETVV
487	-QUOTE»	487	-QUOTE»
488	» MK-FUNTYP	488	» MK-FUNTYP
489	» MK-TOKTYP»	489	» MK-TOKTYP»
490	» MK-FUNTYP	490	» MK-FUNTYP
Offset 500, 21 lines modified		Offset 500, 21 lines modified
500	» MK-TOKTYP	500	» MK-TOKTYP
501	MK-BOOLTYP»	501	MK-BOOLTYP»
502	,SETVV	502	,SETVV
503	-QUOTE	503	-QUOTE
504	MK-LET»	504	MK-LET»
505	,SETVV	505	,SETVV
506	-QUOTE	506	-QUOTE
507	MK-LET%string_less%535»	507	MK-LET%string_less%563»
508	,SETVV	508	,SETVV
509	,SETVV	509	,SETVV
510	-QUOTE	510	-QUOTE
511	EXECUTE	511	EXECUTE
512	,MFSFUN	512	,MFSFUN
513	-QUOTE!	513	-QUOTE!
514	G1655	514	G1655
515	,SETVV	515	,SETVV
516	-QUOTE	516	-QUOTE
517	string_less»	517	string_less»
518	,SETVV	518	,SETVV
519	-QUOTE	519	-QUOTE
520	FUN%~~8414~~%539	520	FUN%5035%567


Offset 694, 57 lines modified		Offset 694, 57 lines modified
694	.comment	694	.comment
695	.note.GNU-stack	695	.note.GNU-stack
696	.rel.debug_frame	696	.rel.debug_frame
697	.ARM.attributes	697	.ARM.attributes
698	COMMON-LISP-USER	698	COMMON-LISP-USER
699	SYSTEMSPUTPROP	699	SYSTEMSPUTPROP
700	COMMON-LISPQUOTE	700	COMMON-LISPQUOTE
701	FUN%2577%~~599~~	701	FUN%4278%607
702	-QUOTE	702	-QUOTE
703	» CURRYBIND	703	» CURRYBIND
704	-QUOTE	704	-QUOTE
705	-PROGN»	705	-PROGN»
706	,SETVV	706	,SETVV
707	-QUOTE	707	-QUOTE
708	EVALUATION»	708	EVALUATION»
709	,SETVV	709	,SETVV
710	-QUOTE	710	-QUOTE
711	ML-DEST_ABS»	711	ML-DEST_ABS»
712	,SETVV	712	,SETVV
713	-QUOTE	713	-QUOTE
714	FUN%~~7416~~%265»	714	FUN%2068%280»
715	,SETVV	715	,SETVV
716	-QUOTE	716	-QUOTE
717	FUN%~~3646~~%49»	717	FUN%9353%56»
718	,SETVV	718	,SETVV
719	-QUOTE	719	-QUOTE
720	FUN%2577%600	720	FUN%4278%608
721	not»	721	not»
722	,SETVV	722	,SETVV
723	-QUOTE	723	-QUOTE
724	FUN%779~~5%124~~»	724	FUN%7944%73»
725	,SETVV	725	,SETVV
726	-QUOTE	726	-QUOTE
727	FUN%2577%601	727	FUN%4278%609
728	frees»	728	frees»
729	,SETVV	729	,SETVV
730	-QUOTE	730	-QUOTE
731	FUN%7~~795~~%172»	731	FUN%7944%121»
732	,SETVV	732	,SETVV
733	-QUOTE	733	-QUOTE
734	MK-LET%I%135»	734	MK-LET%I%84»
735	,SETVV	735	,SETVV
736	-QUOTE	736	-QUOTE
737	FUN%779~~5%130~~»	737	FUN%7944%79»
738	,SETVV	738	,SETVV
739	-QUOTE	739	-QUOTE
740	» ML-MK_ABS»	740	» ML-MK_ABS»
741	,SETVV	741	,SETVV
742	-QUOTE	742	-QUOTE
743	MK-LET%COND_ABS%~~202~~»	743	MK-LET%COND_ABS%118»
744	,SETVV	744	,SETVV
745	-QUOTE	745	-QUOTE
746	ML-TYPE_OF»	746	ML-TYPE_OF»
747	,SETVV	747	,SETVV
748	-QUOTE	748	-QUOTE
749	,SETVV	749	,SETVV
750	-QUOTE	750	-QUOTE
Offset 753, 70 lines modified		Offset 753, 70 lines modified
753	-QUOTE	753	-QUOTE
754	QTRAP»	754	QTRAP»
755	,SETVV	755	,SETVV
756	-QUOTE	756	-QUOTE
757	-**»	757	-**»
758	,SETVV	758	,SETVV
759	-QUOTE	759	-QUOTE
760	FUN%1817%104»	760	FUN%9184%134»
761	,SETVV	761	,SETVV
762	-QUOTE	762	-QUOTE
763	FUN%~~2177~~%158»	763	FUN%1681%125»
764	,SETVV	764	,SETVV
765	-QUOTE	765	-QUOTE
766	FUN%3361~~%170~~»	766	FUN%2014%86»
767	,SETVV	767	,SETVV
768	-QUOTE	768	-QUOTE
769	MK-LET%BETA_CONV%98»	769	MK-LET%BETA_CONV%128»
770	,SETVV	770	,SETVV
771	-QUOTE	771	-QUOTE
772	FUN%5421%282»	772	FUN%4425%249»
773	,SETVV	773	,SETVV
774	-QUOTE	774	-QUOTE
775	FUN%5421%285»	775	FUN%4425%252»
776	,SETVV	776	,SETVV
777	-QUOTE	777	-QUOTE
778	FUN%5421%107»	778	FUN%4425%74»
779	,SETVV	779	,SETVV
780	-QUOTE	780	-QUOTE
781	FUN%5421%288»	781	FUN%4425%255»
782	,SETVV	782	,SETVV
783	-QUOTE	783	-QUOTE
784	FUN%5421%193»	784	FUN%4425%160»
785	,SETVV	785	,SETVV
786	-QUOTE	786	-QUOTE
787	-ATOM»	787	-ATOM»
788	,SETVV	788	,SETVV
789	-QUOTE	789	-QUOTE
790	COND_ABS_CONV»	790	COND_ABS_CONV»
791	-QUOTE	791	-QUOTE
792	FUN%2577%~~599~~	792	FUN%4278%607
793	-DEBUG	793	-DEBUG
794	-QUOTE	794	-QUOTE
795	FUN%2577%~~599~~	795	FUN%4278%607
796	-QUOTE	796	-QUOTE
797	-PROGN»	797	-PROGN»
798	,SETVV	798	,SETVV
799	-QUOTE	799	-QUOTE
800	-NOT»	800	-NOT»
801	-QUOTE	801	-QUOTE
802	FUN%2577%600	802	FUN%4278%608
803	-DEBUG	803	-DEBUG
804	-QUOTE	804	-QUOTE
805	FUN%2577%600	805	FUN%4278%608
806	-QUOTE	806	-QUOTE
807	-PROGN»	807	-PROGN»
808	,SETVV	808	,SETVV
809	-QUOTE	809	-QUOTE
810	FREEVARS»	810	FREEVARS»
811	-QUOTE	811	-QUOTE
812	FUN%2577%601	812	FUN%4278%609
813	-DEBUG	813	-DEBUG
814	-QUOTE	814	-QUOTE
815	FUN%2577%601	815	FUN%4278%609
816	-QUOTE	816	-QUOTE
817	-PROGN»	817	-PROGN»
818	,SETVV	818	,SETVV
819	-QUOTE»	819	-QUOTE»
820	» MK-FUNTYP	820	» MK-FUNTYP
821	MK-TERMTYP	821	MK-TERMTYP
Max diff block lines reached; 2905/4626 bytes (62.80%) of diff not shown.


Offset 1791, 271 lines modified		Offset 1791, 271 lines modified
1791	.note.GNU-stack	1791	.note.GNU-stack
1792	.rel.debug_frame	1792	.rel.debug_frame
1793	.ARM.attributes	1793	.ARM.attributes
1794	COMMON-LISP-USER	1794	COMMON-LISP-USER
1795	COMMON-LISPPROGN	1795	COMMON-LISPPROGN
1796	SYSTEMSPUTPROP	1796	SYSTEMSPUTPROP
1797	,QUOTE	1797	,QUOTE
1798	CONC%bound%596	1798	CONC%bound%577
1799	,QUOTE	1799	,QUOTE
1800	ARITY	1800	ARITY
1801	,QUOTE	1801	,QUOTE
1802	-SPUTPROP	1802	-SPUTPROP
1803	,QUOTE	1803	,QUOTE
1804	CONC%bound%596	1804	CONC%bound%577
1805	,QUOTE	1805	,QUOTE
1806	TYNAME	1806	TYNAME
1807	,QUOTE	1807	,QUOTE
1808	bound	1808	bound
1809	,PROGN»	1809	,PROGN»
1810	-SETVV	1810	-SETVV
1811	,QUOTE»	1811	,QUOTE»
1812	MK-PRODTYP»	1812	MK-PRODTYP»
1813	» MK-FUNTYP»	1813	» MK-FUNTYP»
1814	MK-PRODTYP	1814	MK-PRODTYP
1815	ABS%rat%569	1815	ABS%rat%572
1816	» MK-LISTYP»	1816	» MK-LISTYP»
1817	MK-PRODTYP	1817	MK-PRODTYP
1818	» MK-TOKTYP	1818	» MK-TOKTYP
1819	ABS%rat%569	1819	ABS%rat%572
1820	CONC%bound%596»	1820	CONC%bound%577»
1821	MK-PRODTYP»	1821	MK-PRODTYP»
1822	» MK-FUNTYP	1822	» MK-FUNTYP
1823	» MK-LISTYP	1823	» MK-LISTYP
1824	CONC%bound%596	1824	CONC%bound%577
1825	CONC%bound%596»	1825	CONC%bound%577»
1826	MK-PRODTYP»	1826	MK-PRODTYP»
1827	» MK-FUNTYP	1827	» MK-FUNTYP
1828	» MK-LISTYP	1828	» MK-LISTYP
1829	CONC%bound%596	1829	CONC%bound%577
1830	CONC%bound%596»	1830	CONC%bound%577»
1831	MK-PRODTYP	1831	MK-PRODTYP
1832	CONC%bound%596	1832	CONC%bound%577
1833	CONC%bound%596»	1833	CONC%bound%577»
1834	-SETVV	1834	-SETVV
1835	,QUOTE	1835	,QUOTE
1836	CONSTRUCTORS	1836	CONSTRUCTORS
1837	Bound	1837	Bound
1838	» MK-FUNTYP»	1838	» MK-FUNTYP»
1839	MK-PRODTYP	1839	MK-PRODTYP
1840	ABS%rat%569	1840	ABS%rat%572
1841	» MK-LISTYP»	1841	» MK-LISTYP»
1842	MK-PRODTYP	1842	MK-PRODTYP
1843	» MK-TOKTYP	1843	» MK-TOKTYP
1844	ABS%rat%569	1844	ABS%rat%572
1845	CONC%bound%596	1845	CONC%bound%577
1846	» Max_bound	1846	» Max_bound
1847	» MK-FUNTYP	1847	» MK-FUNTYP
1848	» MK-LISTYP	1848	» MK-LISTYP
1849	CONC%bound%596	1849	CONC%bound%577
1850	CONC%bound%596	1850	CONC%bound%577
1851	» Min_bound	1851	» Min_bound
1852	» MK-FUNTYP	1852	» MK-FUNTYP
1853	» MK-LISTYP	1853	» MK-LISTYP
1854	CONC%bound%596	1854	CONC%bound%577
1855	CONC%bound%596	1855	CONC%bound%577
1856	Pos_inf	1856	Pos_inf
1857	CONC%bound%596	1857	CONC%bound%577
1858	Neg_inf	1858	Neg_inf
1859	CONC%bound%596	1859	CONC%bound%577
1860	-SETVV	1860	-SETVV
1861	,QUOTE	1861	,QUOTE
1862	bound	1862	bound
1863	CONC%bound%596»	1863	CONC%bound%577»
1864	-SETVV	1864	-SETVV
1865	,QUOTE	1865	,QUOTE
1866	MK-RECTYPE»	1866	MK-RECTYPE»
1867	-SETVV	1867	-SETVV
1868	-SETVV	1868	-SETVV
1869	,QUOTE	1869	,QUOTE
1870	EXECUTE	1870	EXECUTE
1871	-MFSFUN	1871	-MFSFUN
1872	,QUOTE!	1872	,QUOTE!
1873	G1688	1873	G1688
1874	,PROGN	1874	,PROGN
1875	-SPUTPROP	1875	-SPUTPROP
1876	,QUOTE	1876	,QUOTE
1877	CONC%internal_bound%597	1877	CONC%internal_bound%578
1878	,QUOTE	1878	,QUOTE
1879	ARITY	1879	ARITY
1880	,QUOTE	1880	,QUOTE
1881	-SPUTPROP	1881	-SPUTPROP
1882	,QUOTE	1882	,QUOTE
1883	CONC%internal_bound%597	1883	CONC%internal_bound%578
1884	,QUOTE	1884	,QUOTE
1885	TYNAME	1885	TYNAME
1886	,QUOTE	1886	,QUOTE
1887	internal_bound	1887	internal_bound
1888	,PROGN»	1888	,PROGN»
1889	-SETVV	1889	-SETVV
1890	,QUOTE»	1890	,QUOTE»
1891	MK-PRODTYP»	1891	MK-PRODTYP»
1892	» MK-FUNTYP	1892	» MK-FUNTYP
1893	CONC%bound%596	1893	CONC%bound%577
1894	CONC%internal_bound%597»	1894	CONC%internal_bound%578»
1895	MK-PRODTYP»	1895	MK-PRODTYP»
1896	» MK-FUNTYP»	1896	» MK-FUNTYP»
1897	MK-PRODTYP	1897	MK-PRODTYP
1898	ABS%rat%569	1898	ABS%rat%572
1899	CONC%internal_bound%597	1899	CONC%internal_bound%578
1900	CONC%internal_bound%597»	1900	CONC%internal_bound%578»
1901	MK-PRODTYP»	1901	MK-PRODTYP»
1902	» MK-FUNTYP»	1902	» MK-FUNTYP»
1903	MK-PRODTYP	1903	MK-PRODTYP
1904	CONC%internal_bound%597	1904	CONC%internal_bound%578
1905	CONC%internal_bound%597	1905	CONC%internal_bound%578
1906	CONC%internal_bound%597»	1906	CONC%internal_bound%578»
1907	MK-PRODTYP»	1907	MK-PRODTYP»
1908	» MK-FUNTYP	1908	» MK-FUNTYP
1909	» MK-LISTYP	1909	» MK-LISTYP
1910	CONC%internal_bound%597	1910	CONC%internal_bound%578
1911	CONC%internal_bound%597»	1911	CONC%internal_bound%578»
1912	» MK-FUNTYP	1912	» MK-FUNTYP
1913	» MK-LISTYP	1913	» MK-LISTYP
1914	CONC%internal_bound%597	1914	CONC%internal_bound%578
1915	CONC%internal_bound%597»	1915	CONC%internal_bound%578»
1916	-SETVV	1916	-SETVV
1917	,QUOTE	1917	,QUOTE
Max diff block lines reached; 23025/25375 bytes (90.74%) of diff not shown.


Offset 1088, 37 lines modified		Offset 1088, 37 lines modified
1088	.comment	1088	.comment
1089	.note.GNU-stack	1089	.note.GNU-stack
1090	.rel.debug_frame	1090	.rel.debug_frame
1091	.ARM.attributes	1091	.ARM.attributes
1092	COMMON-LISP-USER	1092	COMMON-LISP-USER
1093	SYSTEMSPUTPROP	1093	SYSTEMSPUTPROP
1094	COMMON-LISPQUOTE	1094	COMMON-LISPQUOTE
1095	FUN%1679%~~601~~	1095	FUN%8638%567
1096	-QUOTE	1096	-QUOTE
1097	» CURRYBIND	1097	» CURRYBIND
1098	-QUOTE	1098	-QUOTE
1099	,SPUTPROP	1099	,SPUTPROP
1100	-QUOTE	1100	-QUOTE
1101	FUN%1679%~~602~~	1101	FUN%8638%568
1102	-QUOTE	1102	-QUOTE
1103	» CURRYBIND	1103	» CURRYBIND
1104	-QUOTE	1104	-QUOTE
1105	-PROGN»	1105	-PROGN»
1106	-QUOTE	1106	-QUOTE
1107	FUN%1679%~~601~~	1107	FUN%8638%567
1108	-DEBUG	1108	-DEBUG
1109	-QUOTE	1109	-QUOTE
1110	FUN%1679%~~601~~	1110	FUN%8638%567
1111	-QUOTE	1111	-QUOTE
1112	-PROGN»	1112	-PROGN»
1113	-QUOTE	1113	-QUOTE
1114	FUN%1679%~~602~~	1114	FUN%8638%568
1115	-DEBUG	1115	-DEBUG
1116	-QUOTE	1116	-QUOTE
1117	FUN%1679%~~602~~	1117	FUN%8638%568
1118	-QUOTE	1118	-QUOTE
1119	-PROGN»	1119	-PROGN»
1120	,SETVV	1120	,SETVV
1121	-QUOTE»	1121	-QUOTE»
1122	» MK-FUNTYP»	1122	» MK-FUNTYP»
1123	MK-PRODTYP	1123	MK-PRODTYP
1124	» MK-INTTYP	1124	» MK-INTTYP
Offset 1146, 114 lines modified		Offset 1146, 114 lines modified
1146	MK-PRODTYP	1146	MK-PRODTYP
1147	» MK-INTTYP»	1147	» MK-INTTYP»
1148	,SETVV	1148	,SETVV
1149	-QUOTE	1149	-QUOTE
1150	MK-LET»	1150	MK-LET»
1151	,SETVV	1151	,SETVV
1152	-QUOTE	1152	-QUOTE
1153	MK-LET%negate_coeffs%~~600~~»	1153	MK-LET%negate_coeffs%566»
1154	,SETVV	1154	,SETVV
1155	,SETVV	1155	,SETVV
1156	-QUOTE	1156	-QUOTE
1157	EXECUTE	1157	EXECUTE
1158	,MFSFUN	1158	,MFSFUN
1159	-QUOTE!	1159	-QUOTE!
1160	G1672	1160	G1672
1161	,SETVV	1161	,SETVV
1162	-QUOTE	1162	-QUOTE
1163	FUN%1679%~~601~~»	1163	FUN%8638%567»
1164	,SETVV	1164	,SETVV
1165	-QUOTE	1165	-QUOTE
1166	MK-LET%I%135»	1166	MK-LET%I%84»
1167	,SETVV	1167	,SETVV
1168	-QUOTE	1168	-QUOTE
1169	FUN%1679%~~602~~»	1169	FUN%8638%568»
1170	,SETVV	1170	,SETVV
1171	-QUOTE	1171	-QUOTE
1172	FUN%779~~5%131~~»	1172	FUN%7944%80»
1173	,SETVV	1173	,SETVV
1174	-QUOTE	1174	-QUOTE
1175	FUN%~~3646~~%52»	1175	FUN%9353%59»
1176	,SETVV	1176	,SETVV
1177	-QUOTE	1177	-QUOTE
1178	negate_coeffs	1178	negate_coeffs
1179	,SPUTPROP	1179	,SPUTPROP
1180	-QUOTE	1180	-QUOTE
1181	FUN%1679%~~605~~	1181	FUN%8638%571
1182	-QUOTE	1182	-QUOTE
1183	» CURRYBIND	1183	» CURRYBIND
1184	-QUOTE	1184	-QUOTE
1185	,SPUTPROP	1185	,SPUTPROP
1186	-QUOTE	1186	-QUOTE
1187	FUN%1679%~~604~~	1187	FUN%8638%570
1188	-QUOTE	1188	-QUOTE
1189	» CURRYBIND	1189	» CURRYBIND
1190	-QUOTE	1190	-QUOTE
1191	FUN%1679%~~605~~	1191	FUN%8638%571
1192	,SPUTPROP	1192	,SPUTPROP
1193	-QUOTE	1193	-QUOTE
1194	FUN%1679%~~606~~	1194	FUN%8638%572
1195	-QUOTE	1195	-QUOTE
1196	» CURRYBIND	1196	» CURRYBIND
1197	-QUOTE	1197	-QUOTE
1198	,SPUTPROP	1198	,SPUTPROP
1199	-QUOTE	1199	-QUOTE
1200	FUN%1679%~~607~~	1200	FUN%8638%573
1201	-QUOTE	1201	-QUOTE
1202	» CURRYBIND	1202	» CURRYBIND
1203	-QUOTE	1203	-QUOTE
1204	FUN%1679%~~606~~	1204	FUN%8638%572
1205	-PROGN»	1205	-PROGN»
1206	,SETVV	1206	,SETVV
1207	-QUOTE	1207	-QUOTE
1208	ML-HD»	1208	ML-HD»
1209	,SETVV	1209	,SETVV
1210	-QUOTE	1210	-QUOTE
1211	-EQUAL»	1211	-EQUAL»
1212	,SETVV	1212	,SETVV
1213	-QUOTE	1213	-QUOTE
1214	ML-TL»	1214	ML-TL»
1215	,SETVV	1215	,SETVV
1216	-QUOTE	1216	-QUOTE
1217	FUN%1679%~~605~~»	1217	FUN%8638%571»
1218	,SETVV	1218	,SETVV
1219	-QUOTE	1219	-QUOTE
1220	FUN%~~8414~~%538»	1220	FUN%5035%566»
1221	-QUOTE	1221	-QUOTE
1222	FUN%1679%~~605~~	1222	FUN%8638%571
1223	-DEBUG	1223	-DEBUG
1224	-QUOTE	1224	-QUOTE
1225	FUN%1679%~~605~~	1225	FUN%8638%571
1226	-QUOTE	1226	-QUOTE
1227	-PROGN»	1227	-PROGN»
1228	-QUOTE	1228	-QUOTE
1229	FUN%1679%~~604~~	1229	FUN%8638%570
1230	-DEBUG	1230	-DEBUG
1231	-QUOTE	1231	-QUOTE
1232	FUN%1679%~~604~~	1232	FUN%8638%570
1233	-QUOTE	1233	-QUOTE
1234	-PROGN»	1234	-PROGN»
Max diff block lines reached; 8566/10285 bytes (83.29%) of diff not shown.


Offset 1913, 229 lines modified		Offset 1913, 229 lines modified
1913	.comment	1913	.comment
1914	.note.GNU-stack	1914	.note.GNU-stack
1915	.rel.debug_frame	1915	.rel.debug_frame
1916	.ARM.attributes	1916	.ARM.attributes
1917	COMMON-LISP-USER	1917	COMMON-LISP-USER
1918	SYSTEMSPUTPROP	1918	SYSTEMSPUTPROP
1919	COMMON-LISPQUOTE	1919	COMMON-LISPQUOTE
1920	FUN%~~150~~1%523	1920	FUN%2691%620
1921	-QUOTE	1921	-QUOTE
1922	» CURRYBIND	1922	» CURRYBIND
1923	-QUOTE	1923	-QUOTE
1924	,SPUTPROP	1924	,SPUTPROP
1925	-QUOTE	1925	-QUOTE
1926	FUN%~~150~~1%524	1926	FUN%2691%621
1927	-QUOTE	1927	-QUOTE
1928	» CURRYBIND	1928	» CURRYBIND
1929	-QUOTE	1929	-QUOTE
1930	,SPUTPROP	1930	,SPUTPROP
1931	-QUOTE	1931	-QUOTE
1932	FUN%~~150~~1%526	1932	FUN%2691%623
1933	-QUOTE	1933	-QUOTE
1934	» CURRYBIND	1934	» CURRYBIND
1935	-QUOTE	1935	-QUOTE
1936	,SPUTPROP	1936	,SPUTPROP
1937	-QUOTE	1937	-QUOTE
1938	FUN%~~150~~1%527	1938	FUN%2691%624
1939	-QUOTE	1939	-QUOTE
1940	» CURRYBIND	1940	» CURRYBIND
1941	-QUOTE	1941	-QUOTE
1942	FUN%~~150~~1%526	1942	FUN%2691%623
1943	,SPUTPROP	1943	,SPUTPROP
1944	-QUOTE	1944	-QUOTE
1945	FUN%~~150~~1%528	1945	FUN%2691%625
1946	-QUOTE	1946	-QUOTE
1947	» CURRYBIND	1947	» CURRYBIND
1948	-QUOTE	1948	-QUOTE
1949	FUN%~~150~~1%527	1949	FUN%2691%624
1950	,SPUTPROP	1950	,SPUTPROP
1951	-QUOTE	1951	-QUOTE
1952	FUN%~~150~~1%525	1952	FUN%2691%622
1953	-QUOTE	1953	-QUOTE
1954	» CURRYBIND	1954	» CURRYBIND
1955	-QUOTE	1955	-QUOTE
1956	FUN%~~150~~1%528	1956	FUN%2691%625
1957	,SPUTPROP	1957	,SPUTPROP
1958	-QUOTE	1958	-QUOTE
1959	FUN%~~150~~1%529	1959	FUN%2691%626
1960	-QUOTE	1960	-QUOTE
1961	» CURRYBIND	1961	» CURRYBIND
1962	-QUOTE	1962	-QUOTE
1963	,SPUTPROP	1963	,SPUTPROP
1964	-QUOTE	1964	-QUOTE
1965	FUN%~~150~~1%~~530~~	1965	FUN%2691%627
1966	-QUOTE	1966	-QUOTE
1967	» CURRYBIND	1967	» CURRYBIND
1968	-QUOTE	1968	-QUOTE
1969	FUN%~~150~~1%529	1969	FUN%2691%626
1970	-PROGN»	1970	-PROGN»
1971	,SETVV	1971	,SETVV
1972	-QUOTE	1972	-QUOTE
1973	-EQUAL»	1973	-EQUAL»
1974	,SETVV	1974	,SETVV
1975	-QUOTE	1975	-QUOTE
1976	ML-DEST_CONST»	1976	ML-DEST_CONST»
1977	-QUOTE	1977	-QUOTE
1978	FUN%~~150~~1%523	1978	FUN%2691%620
1979	-DEBUG	1979	-DEBUG
1980	-QUOTE	1980	-QUOTE
1981	FUN%~~150~~1%523	1981	FUN%2691%620
1982	-QUOTE	1982	-QUOTE
1983	-PROGN»	1983	-PROGN»
1984	,SETVV	1984	,SETVV
1985	-QUOTE	1985	-QUOTE
1986	FUN%~~150~~1%523»	1986	FUN%2691%620»
1987	,SETVV	1987	,SETVV
1988	-QUOTE	1988	-QUOTE
1989	FUN%7~~795~~%172»	1989	FUN%7944%121»
1990	-QUOTE	1990	-QUOTE
1991	FUN%~~150~~1%524	1991	FUN%2691%621
1992	-DEBUG	1992	-DEBUG
1993	-QUOTE	1993	-QUOTE
1994	FUN%~~150~~1%524	1994	FUN%2691%621
1995	-QUOTE	1995	-QUOTE
1996	-PROGN»	1996	-PROGN»
1997	,SETVV	1997	,SETVV
1998	-QUOTE	1998	-QUOTE
1999	EVALUATION»	1999	EVALUATION»
2000	,SETVV	2000	,SETVV
2001	-QUOTE	2001	-QUOTE
2002	FUN%~~7416~~%247»	2002	FUN%2068%262»
2003	,SETVV	2003	,SETVV
2004	-QUOTE	2004	-QUOTE
2005	INSERT»	2005	INSERT»
2006	,SETVV	2006	,SETVV
2007	-QUOTE	2007	-QUOTE
2008	%AP»	2008	%AP»
2009	,SETVV	2009	,SETVV
2010	-QUOTE	2010	-QUOTE
2011	MK-LET%I%135»	2011	MK-LET%I%84»
2012	,SETVV	2012	,SETVV
2013	-QUOTE	2013	-QUOTE
2014	FUN%779~~5%130~~»	2014	FUN%7944%79»
2015	,SETVV	2015	,SETVV
2016	-QUOTE	2016	-QUOTE
2017	pattern»	2017	pattern»
2018	,SETVV	2018	,SETVV
2019	-QUOTE	2019	-QUOTE
2020	FUN%~~2177~~%155»	2020	FUN%1681%122»
2021	,SETVV	2021	,SETVV
2022	-QUOTE	2022	-QUOTE
2023	FUN%~~7416~~%158»	2023	FUN%2068%173»
2024	,SETVV	2024	,SETVV
2025	-QUOTE	2025	-QUOTE
2026	FUN%~~7416~~%308»	2026	FUN%2068%323»
2027	,SETVV	2027	,SETVV
2028	-QUOTE	2028	-QUOTE
2029	FUN%~~7416~~%176»	2029	FUN%2068%191»
2030	,SETVV	2030	,SETVV
2031	-QUOTE	2031	-QUOTE
2032	FUN%3361~~%172~~»	2032	FUN%2014%88»
2033	,SETVV	2033	,SETVV
2034	-QUOTE	2034	-QUOTE
2035	FUN%~~2177~~%260»	2035	FUN%1681%227»
2036	,SETVV	2036	,SETVV
2037	-QUOTE	2037	-QUOTE
2038	FUN%~~2177~~%133»	2038	FUN%1681%100»
2039	,SETVV	2039	,SETVV
Max diff block lines reached; 13514/15274 bytes (88.48%) of diff not shown.


Offset 736, 52 lines modified		Offset 736, 52 lines modified
736	.comment	736	.comment
737	.note.GNU-stack	737	.note.GNU-stack
738	.rel.debug_frame	738	.rel.debug_frame
739	.ARM.attributes	739	.ARM.attributes
740	COMMON-LISP-USER	740	COMMON-LISP-USER
741	SYSTEMSPUTPROP	741	SYSTEMSPUTPROP
742	COMMON-LISPQUOTE	742	COMMON-LISPQUOTE
743	FUN%1405%527	743	FUN%647%576
744	-QUOTE	744	-QUOTE
745	» CURRYBIND	745	» CURRYBIND
746	-QUOTE	746	-QUOTE
747	,SPUTPROP	747	,SPUTPROP
748	-QUOTE	748	-QUOTE
749	FUN%1405%528	749	FUN%647%577
750	-QUOTE	750	-QUOTE
751	» CURRYBIND	751	» CURRYBIND
752	-QUOTE	752	-QUOTE
753	,SPUTPROP	753	,SPUTPROP
754	-QUOTE	754	-QUOTE
755	FUN%1405%529	755	FUN%647%578
756	-QUOTE	756	-QUOTE
757	» CURRYBIND	757	» CURRYBIND
758	-QUOTE	758	-QUOTE
759	,SPUTPROP	759	,SPUTPROP
760	-QUOTE	760	-QUOTE
761	FUN%1405%530	761	FUN%647%579
762	-QUOTE	762	-QUOTE
763	» CURRYBIND	763	» CURRYBIND
764	-QUOTE	764	-QUOTE
765	FUN%1405%529	765	FUN%647%578
766	,SPUTPROP	766	,SPUTPROP
767	-QUOTE	767	-QUOTE
768	FUN%1405%531	768	FUN%647%580
769	-QUOTE	769	-QUOTE
770	» CURRYBIND	770	» CURRYBIND
771	-QUOTE	771	-QUOTE
772	,SPUTPROP	772	,SPUTPROP
773	-QUOTE	773	-QUOTE
774	FUN%1405%532	774	FUN%647%581
775	-QUOTE	775	-QUOTE
776	» CURRYBIND	776	» CURRYBIND
777	-QUOTE	777	-QUOTE
778	,SPUTPROP	778	,SPUTPROP
779	-QUOTE	779	-QUOTE
780	FUN%1405%533	780	FUN%647%582
781	-QUOTE	781	-QUOTE
782	» CURRYBIND	782	» CURRYBIND
783	-QUOTE	783	-QUOTE
784	-PROGN»	784	-PROGN»
785	,SETVV	785	,SETVV
786	-QUOTE	786	-QUOTE
787	-EQUAL»	787	-EQUAL»
Offset 791, 191 lines modified		Offset 791, 191 lines modified
791	,SETVV	791	,SETVV
792	-QUOTE	792	-QUOTE
793	ML-DEST_TYPE»	793	ML-DEST_TYPE»
794	,SETVV	794	,SETVV
795	-QUOTE	795	-QUOTE
796	set»	796	set»
797	-QUOTE	797	-QUOTE
798	FUN%1405%527	798	FUN%647%576
799	-DEBUG	799	-DEBUG
800	-QUOTE	800	-QUOTE
801	FUN%1405%527	801	FUN%647%576
802	-QUOTE	802	-QUOTE
803	-PROGN»	803	-PROGN»
804	,SETVV	804	,SETVV
805	-QUOTE	805	-QUOTE
806	ML-MK_COMB»	806	ML-MK_COMB»
807	,SETVV	807	,SETVV
808	-QUOTE	808	-QUOTE
809	FUN%~~2177~~%142»	809	FUN%1681%109»
810	-QUOTE	810	-QUOTE
811	FUN%1405%528	811	FUN%647%577
812	-DEBUG	812	-DEBUG
813	-QUOTE	813	-QUOTE
814	FUN%1405%528	814	FUN%647%577
815	-QUOTE	815	-QUOTE
816	-PROGN»	816	-PROGN»
817	,SETVV	817	,SETVV
818	-QUOTE	818	-QUOTE
819	FUN%~~2177~~%141»	819	FUN%1681%108»
820	,SETVV	820	,SETVV
821	-QUOTE	821	-QUOTE
822	FUN%3361~~%163~~»	822	FUN%2014%79»
823	-QUOTE	823	-QUOTE
824	FUN%1405%529	824	FUN%647%578
825	-DEBUG	825	-DEBUG
826	-QUOTE	826	-QUOTE
827	FUN%1405%529	827	FUN%647%578
828	-QUOTE	828	-QUOTE
829	-PROGN»	829	-PROGN»
830	,SETVV	830	,SETVV
831	-QUOTE	831	-QUOTE
832	FUN%1405%529»	832	FUN%647%578»
833	-QUOTE	833	-QUOTE
834	FUN%1405%530	834	FUN%647%579
835	-DEBUG	835	-DEBUG
836	-QUOTE	836	-QUOTE
837	FUN%1405%530	837	FUN%647%579
838	-QUOTE	838	-QUOTE
839	-PROGN»	839	-PROGN»
840	,SETVV	840	,SETVV
841	-QUOTE	841	-QUOTE
842	%AP»	842	%AP»
843	,SETVV	843	,SETVV
844	-QUOTE	844	-QUOTE
845	MK-LET%I%135»	845	MK-LET%I%84»
846	,SETVV	846	,SETVV
847	-QUOTE	847	-QUOTE
848	FUN%779~~5%131~~»	848	FUN%7944%80»
849	,SETVV	849	,SETVV
850	-QUOTE	850	-QUOTE
851	FUN%779~~5%130~~»	851	FUN%7944%79»
852	,SETVV	852	,SETVV
853	-QUOTE	853	-QUOTE
854	FUN%18~~17%9~~9»	854	FUN%9184%129»
855	,SETVV	855	,SETVV
856	-QUOTE	856	-QUOTE
857	MK-LET%FORALL_EQ%195»	857	MK-LET%FORALL_EQ%162»
858	,SETVV	858	,SETVV
859	-QUOTE	859	-QUOTE
860	FUN%~~2177~~%198»	860	FUN%1681%165»
861	-QUOTE	861	-QUOTE
862	FUN%1405%531	862	FUN%647%580
863	-DEBUG	863	-DEBUG
864	-QUOTE	864	-QUOTE
Max diff block lines reached; 2559/4319 bytes (59.25%) of diff not shown.


Offset 5697, 56 lines modified		Offset 5697, 56 lines modified
5697	COMMON-LISP-USER	5697	COMMON-LISP-USER
5698	EVTMLOP	5698	EVTMLOP
5699	COMMON-LISPQUOTE	5699	COMMON-LISPQUOTE
5700	MK-BEGIN	5700	MK-BEGIN
5701	prove_inductive_relation_exists	5701	prove_inductive_relation_exists
5702	SYSTEMSPUTPROP	5702	SYSTEMSPUTPROP
5703	,QUOTE	5703	,QUOTE
5704	FUN%~~527~~%549	5704	FUN%958%587
5705	,QUOTE	5705	,QUOTE
5706	» CURRYBIND	5706	» CURRYBIND
5707	,QUOTE	5707	,QUOTE
5708	-SPUTPROP	5708	-SPUTPROP
5709	,QUOTE	5709	,QUOTE
5710	FUN%~~527~~%550	5710	FUN%958%588
5711	,QUOTE	5711	,QUOTE
5712	» CURRYBIND	5712	» CURRYBIND
5713	,QUOTE	5713	,QUOTE
5714	FUN%~~527~~%549	5714	FUN%958%587
5715	-SPUTPROP	5715	-SPUTPROP
5716	,QUOTE	5716	,QUOTE
5717	FUN%~~527~~%551	5717	FUN%958%589
5718	,QUOTE	5718	,QUOTE
5719	» CURRYBIND	5719	» CURRYBIND
5720	,QUOTE	5720	,QUOTE
5721	,PROGN»	5721	,PROGN»
5722	-SETVV	5722	-SETVV
5723	,QUOTE	5723	,QUOTE
5724	fun»	5724	fun»
5725	-SETVV	5725	-SETVV
5726	,QUOTE	5726	,QUOTE
5727	ML-TYPE_OF»	5727	ML-TYPE_OF»
5728	-SETVV	5728	-SETVV
5729	,QUOTE	5729	,QUOTE
5730	» Q-MK_TYPE»	5730	» Q-MK_TYPE»
5731	,QUOTE	5731	,QUOTE
5732	FUN%~~527~~%549	5732	FUN%958%587
5733	,DEBUG	5733	,DEBUG
5734	,QUOTE	5734	,QUOTE
5735	FUN%~~527~~%549	5735	FUN%958%587
5736	,QUOTE	5736	,QUOTE
5737	,PROGN»	5737	,PROGN»
5738	-SETVV	5738	-SETVV
5739	,QUOTE	5739	,QUOTE
5740	FUN%~~527~~%549»	5740	FUN%958%587»
5741	,QUOTE	5741	,QUOTE
5742	FUN%~~527~~%550	5742	FUN%958%588
5743	,DEBUG	5743	,DEBUG
5744	,QUOTE	5744	,QUOTE
5745	FUN%~~527~~%550	5745	FUN%958%588
5746	,QUOTE	5746	,QUOTE
5747	,PROGN»	5747	,PROGN»
5748	-SETVV	5748	-SETVV
5749	,QUOTE	5749	,QUOTE
5750	-SETVV	5750	-SETVV
5751	,QUOTE	5751	,QUOTE
5752	EVALUATION»	5752	EVALUATION»
Offset 5754, 23 lines modified		Offset 5754, 23 lines modified
5754	,QUOTE	5754	,QUOTE
5755	bool»	5755	bool»
5756	-SETVV	5756	-SETVV
5757	,QUOTE	5757	,QUOTE
5758	QTRAP»	5758	QTRAP»
5759	-SETVV	5759	-SETVV
5760	,QUOTE	5760	,QUOTE
5761	FUN%9~~005~~%10»	5761	FUN%724%29»
5762	-SETVV	5762	-SETVV
5763	,QUOTE	5763	,QUOTE
5764	MK_REALVAR»	5764	MK_REALVAR»
5765	,QUOTE	5765	,QUOTE
5766	FUN%~~527~~%551	5766	FUN%958%589
5767	,DEBUG	5767	,DEBUG
5768	,QUOTE	5768	,QUOTE
5769	FUN%~~527~~%551	5769	FUN%958%589
5770	,QUOTE	5770	,QUOTE
5771	,PROGN»	5771	,PROGN»
5772	-SETVV	5772	-SETVV
5773	,QUOTE»	5773	,QUOTE»
5774	» MK-FUNTYP	5774	» MK-FUNTYP
5775	» MK-LISTYP	5775	» MK-LISTYP
5776	MK-TERMTYP	5776	MK-TERMTYP
Offset 5784, 182 lines modified		Offset 5784, 182 lines modified
5784	MK-TERMTYP	5784	MK-TERMTYP
5785	MK-TERMTYP»	5785	MK-TERMTYP»
5786	-SETVV	5786	-SETVV
5787	,QUOTE	5787	,QUOTE
5788	MK-LET»	5788	MK-LET»
5789	-SETVV	5789	-SETVV
5790	,QUOTE	5790	,QUOTE
5791	MK-LET%mk_predv%548»	5791	MK-LET%mk_predv%586»
5792	-SETVV	5792	-SETVV
5793	-SETVV	5793	-SETVV
5794	,QUOTE	5794	,QUOTE
5795	EXECUTE	5795	EXECUTE
5796	-MFSFUN	5796	-MFSFUN
5797	,QUOTE!	5797	,QUOTE!
5798	G1711	5798	G1711
5799	-SETVV	5799	-SETVV
5800	,QUOTE	5800	,QUOTE
5801	FUN%~~527~~%550»	5801	FUN%958%588»
5802	-SETVV	5802	-SETVV
5803	,QUOTE	5803	,QUOTE
5804	FUN%~~527~~%551»	5804	FUN%958%589»
5805	-SETVV	5805	-SETVV
5806	,QUOTE	5806	,QUOTE
5807	mk_predv	5807	mk_predv
5808	-SPUTPROP	5808	-SPUTPROP
5809	,QUOTE	5809	,QUOTE
5810	FUN%~~527~~%554	5810	FUN%958%592
5811	,QUOTE	5811	,QUOTE
5812	» CURRYBIND	5812	» CURRYBIND
5813	,QUOTE	5813	,QUOTE
5814	-SPUTPROP	5814	-SPUTPROP
5815	,QUOTE	5815	,QUOTE
5816	FUN%~~527~~%555	5816	FUN%958%593
5817	,QUOTE	5817	,QUOTE
5818	» CURRYBIND	5818	» CURRYBIND
5819	,QUOTE	5819	,QUOTE
5820	-SPUTPROP	5820	-SPUTPROP
5821	,QUOTE	5821	,QUOTE
5822	FUN%~~527~~%556	5822	FUN%958%594
5823	,QUOTE	5823	,QUOTE
5824	» CURRYBIND	5824	» CURRYBIND
5825	,QUOTE	5825	,QUOTE
5826	-SPUTPROP	5826	-SPUTPROP
5827	,QUOTE	5827	,QUOTE
5828	FUN%~~527~~%553	5828	FUN%958%591
5829	,QUOTE	5829	,QUOTE
Max diff block lines reached; 68903/70502 bytes (97.73%) of diff not shown.


Offset 385, 17 lines modified		Offset 385, 17 lines modified
385	,QUOTE	385	,QUOTE
386	ML-LIBRARY_PATHNAME»	386	ML-LIBRARY_PATHNAME»
387	-SETVV	387	-SETVV
388	,QUOTE	388	,QUOTE
389	/ind_defs/ind-defs»	389	/ind_defs/ind-defs»
390	-SETVV	390	-SETVV
391	,QUOTE	391	,QUOTE
392	FUN%779~~5%114~~»	392	FUN%7944%63»
393	-SETVV	393	-SETVV
394	,QUOTE	394	,QUOTE
395	» print_lib»	395	» print_lib»
396	-SETVV	396	-SETVV
397	,QUOTE	397	,QUOTE
398	ML-GET_FLAG_VALUE»	398	ML-GET_FLAG_VALUE»
399	-SETVV	399	-SETVV
400	,QUOTE	400	,QUOTE
401	FUN%~~3646~~%78	401	FUN%9353%85


Offset 694, 15 lines modified		Offset 694, 15 lines modified
694	» MK-TOKTYP	694	» MK-TOKTYP
695	» MK-TOKTYP»	695	» MK-TOKTYP»
696	-SETVV	696	-SETVV
697	,QUOTE	697	,QUOTE
698	MK-LET»	698	MK-LET»
699	-SETVV	699	-SETVV
700	,QUOTE	700	,QUOTE
701	MK-LET%spec_list%584»	701	MK-LET%spec_list%573»
702	-SETVV	702	-SETVV
703	-SETVV	703	-SETVV
704	,QUOTE	704	,QUOTE
705	EXECUTE	705	EXECUTE
706	-MFSFUN	706	-MFSFUN
707	,QUOTE!	707	,QUOTE!
708	G1656	708	G1656
Offset 726, 55 lines modified		Offset 726, 55 lines modified
726	\LB·	726	\LB·
727	\RB·	727	\RB·
728	\CI·	728	\CI·
729	\LC·	729	\LC·
730	\RC·	730	\RC·
731	-SPUTPROP	731	-SPUTPROP
732	,QUOTE	732	,QUOTE
733	FUN%~~3963~~%586	733	FUN%1845%575
734	,QUOTE	734	,QUOTE
735	» CURRYBIND	735	» CURRYBIND
736	,QUOTE	736	,QUOTE
737	-SPUTPROP	737	-SPUTPROP
738	,QUOTE	738	,QUOTE
739	FUN%~~3963~~%587	739	FUN%1845%576
740	,QUOTE	740	,QUOTE
741	» CURRYBIND	741	» CURRYBIND
742	,QUOTE	742	,QUOTE
743	,PROGN»	743	,PROGN»
744	-SETVV	744	-SETVV
745	,QUOTE	745	,QUOTE
746	MK-LETREC%split%39»	746	MK-LETREC%split%58»
747	-SETVV	747	-SETVV
748	,QUOTE	748	,QUOTE
749	FUN%9~~005~~%40»	749	FUN%724%59»
750	-SETVV	750	-SETVV
751	,QUOTE	751	,QUOTE
752	FUN%~~3646~~%48»	752	FUN%9353%55»
753	,QUOTE	753	,QUOTE
754	FUN%~~3963~~%586	754	FUN%1845%575
755	,DEBUG	755	,DEBUG
756	,QUOTE	756	,QUOTE
757	FUN%~~3963~~%586	757	FUN%1845%575
758	,QUOTE	758	,QUOTE
759	,PROGN»	759	,PROGN»
760	-SETVV	760	-SETVV
761	,QUOTE	761	,QUOTE
762	FUN%~~3963~~%586»	762	FUN%1845%575»
763	-SETVV	763	-SETVV
764	,QUOTE	764	,QUOTE
765	%AP»	765	%AP»
766	-SETVV	766	-SETVV
767	,QUOTE	767	,QUOTE
768	FUN%9~~005~~%18»	768	FUN%724%37»
769	,QUOTE	769	,QUOTE
770	FUN%~~3963~~%587	770	FUN%1845%576
771	,DEBUG	771	,DEBUG
772	,QUOTE	772	,QUOTE
773	FUN%~~3963~~%587	773	FUN%1845%576
774	,QUOTE	774	,QUOTE
775	,PROGN»	775	,PROGN»
776	-SETVV	776	-SETVV
777	,QUOTE»	777	,QUOTE»
778	» MK-FUNTYP	778	» MK-FUNTYP
779	» MK-TOKTYP	779	» MK-TOKTYP
780	» MK-TOKTYP»	780	» MK-TOKTYP»
Offset 783, 46 lines modified		Offset 783, 46 lines modified
783	,LET	783	,LET
784	do_char	784	do_char
785	» MK-FUNTYP	785	» MK-FUNTYP
786	» MK-TOKTYP	786	» MK-TOKTYP
787	» MK-TOKTYP»	787	» MK-TOKTYP»
788	-SETVV	788	-SETVV
789	,QUOTE	789	,QUOTE
790	MK-LET%do_char%585»	790	MK-LET%do_char%574»
791	-SETVV	791	-SETVV
792	-MFSFUN	792	-MFSFUN
793	,QUOTE!	793	,QUOTE!
794	G1657	794	G1657
795	-SETVV	795	-SETVV
796	,QUOTE	796	,QUOTE
797	do_char»	797	do_char»
798	-SETVV	798	-SETVV
799	,QUOTE	799	,QUOTE
800	FUN%~~3963~~%587	800	FUN%1845%576
801	-SPUTPROP	801	-SPUTPROP
802	,QUOTE	802	,QUOTE
803	FUN%~~3963~~%589	803	FUN%1845%578
804	,QUOTE	804	,QUOTE
805	» CURRYBIND	805	» CURRYBIND
806	,QUOTE	806	,QUOTE
807	,PROGN»	807	,PROGN»
808	-SETVV	808	-SETVV
809	,QUOTE	809	,QUOTE
810	ML-EXPLODE»	810	ML-EXPLODE»
811	-SETVV	811	-SETVV
812	,QUOTE	812	,QUOTE
813	FUN%~~3646~~%51»	813	FUN%9353%58»
814	-SETVV	814	-SETVV
815	,QUOTE	815	,QUOTE
816	FUN%779~~5%117~~»	816	FUN%7944%66»
817	,QUOTE	817	,QUOTE
818	FUN%~~3963~~%589	818	FUN%1845%578
819	,DEBUG	819	,DEBUG
820	,QUOTE	820	,QUOTE
821	FUN%~~3963~~%589	821	FUN%1845%578
822	,QUOTE	822	,QUOTE
823	,PROGN»	823	,PROGN»
824	-SETVV	824	-SETVV
825	,QUOTE»	825	,QUOTE»
826	» MK-FUNTYP	826	» MK-FUNTYP
827	» MK-TOKTYP	827	» MK-TOKTYP
828	» MK-TOKTYP»	828	» MK-TOKTYP»
Offset 831, 164 lines modified		Offset 831, 164 lines modified
831	,LET	831	,LET
832	» filter_id	832	» filter_id
833	» MK-FUNTYP	833	» MK-FUNTYP
834	» MK-TOKTYP	834	» MK-TOKTYP
835	» MK-TOKTYP»	835	» MK-TOKTYP»
836	-SETVV	836	-SETVV
837	,QUOTE	837	,QUOTE
838	MK-LET%filter_id%588»	838	MK-LET%filter_id%577»
Max diff block lines reached; 3855/5499 bytes (70.10%) of diff not shown.


Offset 1356, 71 lines modified		Offset 1356, 71 lines modified
1356	.comment	1356	.comment
1357	.note.GNU-stack	1357	.note.GNU-stack
1358	.rel.debug_frame	1358	.rel.debug_frame
1359	.ARM.attributes	1359	.ARM.attributes
1360	COMMON-LISP-USER	1360	COMMON-LISP-USER
1361	SYSTEMSPUTPROP	1361	SYSTEMSPUTPROP
1362	COMMON-LISPQUOTE	1362	COMMON-LISPQUOTE
1363	FUN%2~~146~~%~~572~~	1363	FUN%2372%605
1364	-QUOTE	1364	-QUOTE
1365	» CURRYBIND	1365	» CURRYBIND
1366	-QUOTE	1366	-QUOTE
1367	,SPUTPROP	1367	,SPUTPROP
1368	-QUOTE	1368	-QUOTE
1369	FUN%2~~146~~%~~573~~	1369	FUN%2372%606
1370	-QUOTE	1370	-QUOTE
1371	» CURRYBIND	1371	» CURRYBIND
1372	-QUOTE	1372	-QUOTE
1373	,SPUTPROP	1373	,SPUTPROP
1374	-QUOTE	1374	-QUOTE
1375	FUN%2~~146~~%~~574~~	1375	FUN%2372%607
1376	-QUOTE	1376	-QUOTE
1377	» CURRYBIND	1377	» CURRYBIND
1378	-QUOTE	1378	-QUOTE
1379	FUN%2~~146~~%~~573~~	1379	FUN%2372%606
1380	-PROGN»	1380	-PROGN»
1381	,SETVV	1381	,SETVV
1382	-QUOTE	1382	-QUOTE
1383	,SETVV	1383	,SETVV
1384	-QUOTE	1384	-QUOTE
1385	FUN%779~~5%114~~»	1385	FUN%7944%63»
1386	,SETVV	1386	,SETVV
1387	-QUOTE	1387	-QUOTE
1388	WRITE-AND-DRAIN»	1388	WRITE-AND-DRAIN»
1389	-QUOTE	1389	-QUOTE
1390	FUN%2~~146~~%~~572~~	1390	FUN%2372%605
1391	-DEBUG	1391	-DEBUG
1392	-QUOTE	1392	-QUOTE
1393	FUN%2~~146~~%~~572~~	1393	FUN%2372%605
1394	-QUOTE	1394	-QUOTE
1395	-PROGN»	1395	-PROGN»
1396	,SETVV	1396	,SETVV
1397	-QUOTE	1397	-QUOTE
1398	FUN%2~~146~~%~~572~~»	1398	FUN%2372%605»
1399	,SETVV	1399	,SETVV
1400	-QUOTE	1400	-QUOTE
1401	FUN%~~3646~~%51»	1401	FUN%9353%58»
1402	,SETVV	1402	,SETVV
1403	-QUOTE	1403	-QUOTE
1404	ML-DO»	1404	ML-DO»
1405	-QUOTE	1405	-QUOTE
1406	FUN%2~~146~~%~~573~~	1406	FUN%2372%606
1407	-DEBUG	1407	-DEBUG
1408	-QUOTE	1408	-QUOTE
1409	FUN%2~~146~~%~~573~~	1409	FUN%2372%606
1410	-QUOTE	1410	-QUOTE
1411	-PROGN»	1411	-PROGN»
1412	,SETVV	1412	,SETVV
1413	-QUOTE	1413	-QUOTE
1414	FUN%2~~146~~%~~573~~»	1414	FUN%2372%606»
1415	-QUOTE	1415	-QUOTE
1416	FUN%2~~146~~%~~574~~	1416	FUN%2372%607
1417	-DEBUG	1417	-DEBUG
1418	-QUOTE	1418	-QUOTE
1419	FUN%2~~146~~%~~574~~	1419	FUN%2372%607
1420	-QUOTE	1420	-QUOTE
1421	-PROGN»	1421	-PROGN»
1422	,SETVV	1422	,SETVV
1423	-QUOTE»	1423	-QUOTE»
1424	» MK-FUNTYP	1424	» MK-FUNTYP
1425	» MK-TOKTYP»	1425	» MK-TOKTYP»
1426	» MK-FUNTYP	1426	» MK-FUNTYP
Offset 1438, 135 lines modified		Offset 1438, 135 lines modified
1438	» MK-TOKTYP	1438	» MK-TOKTYP
1439	MK-NULLTYP»	1439	MK-NULLTYP»
1440	,SETVV	1440	,SETVV
1441	-QUOTE	1441	-QUOTE
1442	MK-LET»	1442	MK-LET»
1443	,SETVV	1443	,SETVV
1444	-QUOTE	1444	-QUOTE
1445	MK-LET%output_strings%~~571~~»	1445	MK-LET%output_strings%604»
1446	,SETVV	1446	,SETVV
1447	,SETVV	1447	,SETVV
1448	-QUOTE	1448	-QUOTE
1449	EXECUTE	1449	EXECUTE
1450	,MFSFUN	1450	,MFSFUN
1451	-QUOTE!	1451	-QUOTE!
1452	G1661	1452	G1661
1453	,SETVV	1453	,SETVV
1454	-QUOTE	1454	-QUOTE
1455	output_strings»	1455	output_strings»
1456	,SETVV	1456	,SETVV
1457	-QUOTE	1457	-QUOTE
1458	FUN%2~~146~~%~~574~~	1458	FUN%2372%607
1459	-PROGN»	1459	-PROGN»
1460	,SETVV	1460	,SETVV
1461	-QUOTE»	1461	-QUOTE»
1462	» MK-FUNTYP	1462	» MK-FUNTYP
1463	» MK-TOKTYP»	1463	» MK-TOKTYP»
1464	» MK-FUNTYP	1464	» MK-FUNTYP
1465	» MK-LISTYP»	1465	» MK-LISTYP»
1466	MK-PRODTYP	1466	MK-PRODTYP
1467	» MK-TOKTYP	1467	» MK-TOKTYP
1468	» MK-INTTYP»	1468	» MK-INTTYP»
1469	» MK-FUNTYP	1469	» MK-FUNTYP
1470	CONC%print_tree%~~547~~»	1470	CONC%print_tree%605»
1471	MK-PRODTYP	1471	MK-PRODTYP
1472	» MK-LISTYP»	1472	» MK-LISTYP»
1473	MK-PRODTYP	1473	MK-PRODTYP
1474	» MK-TOKTYP	1474	» MK-TOKTYP
1475	CONC%metavar_binding%~~531~~	1475	CONC%metavar_binding%605
1476	CONC%print_format%~~534~~»	1476	CONC%print_format%603»
1477	,SETVV	1477	,SETVV
1478	-QUOTE	1478	-QUOTE
1479	-LET	1479	-LET
1480	latex_hol_rules_fun	1480	latex_hol_rules_fun
1481	» MK-FUNTYP	1481	» MK-FUNTYP
1482	» MK-TOKTYP»	1482	» MK-TOKTYP»
1483	» MK-FUNTYP	1483	» MK-FUNTYP
1484	» MK-LISTYP»	1484	» MK-LISTYP»
1485	MK-PRODTYP	1485	MK-PRODTYP
1486	» MK-TOKTYP	1486	» MK-TOKTYP
1487	» MK-INTTYP»	1487	» MK-INTTYP»
1488	» MK-FUNTYP	1488	» MK-FUNTYP
1489	CONC%print_tree%~~547~~»	1489	CONC%print_tree%605»
1490	MK-PRODTYP	1490	MK-PRODTYP
1491	» MK-LISTYP»	1491	» MK-LISTYP»
1492	MK-PRODTYP	1492	MK-PRODTYP
Max diff block lines reached; 21894/23711 bytes (92.34%) of diff not shown.


Offset 824, 69 lines modified		Offset 824, 69 lines modified
824	.note.GNU-stack	824	.note.GNU-stack
825	.rel.debug_frame	825	.rel.debug_frame
826	.ARM.attributes	826	.ARM.attributes
827	COMMON-LISP-USER	827	COMMON-LISP-USER
828	COMMON-LISPPROGN	828	COMMON-LISPPROGN
829	SYSTEMSPUTPROP	829	SYSTEMSPUTPROP
830	,QUOTE	830	,QUOTE
831	CONC%type_selection%575	831	CONC%type_selection%542
832	,QUOTE	832	,QUOTE
833	ARITY	833	ARITY
834	,QUOTE	834	,QUOTE
835	-SPUTPROP	835	-SPUTPROP
836	,QUOTE	836	,QUOTE
837	CONC%type_selection%575	837	CONC%type_selection%542
838	,QUOTE	838	,QUOTE
839	TYNAME	839	TYNAME
840	,QUOTE	840	,QUOTE
841	type_selection	841	type_selection
842	,PROGN»	842	,PROGN»
843	-SETVV	843	-SETVV
844	,QUOTE»	844	,QUOTE»
845	MK-PRODTYP	845	MK-PRODTYP
846	CONC%type_selection%575»	846	CONC%type_selection%542»
847	MK-PRODTYP	847	MK-PRODTYP
848	CONC%type_selection%575»	848	CONC%type_selection%542»
849	MK-PRODTYP	849	MK-PRODTYP
850	CONC%type_selection%575	850	CONC%type_selection%542
851	CONC%type_selection%575»	851	CONC%type_selection%542»
852	-SETVV	852	-SETVV
853	,QUOTE	853	,QUOTE
854	CONSTRUCTORS	854	CONSTRUCTORS
855	No_types	855	No_types
856	CONC%type_selection%575	856	CONC%type_selection%542
857	Hidden_types	857	Hidden_types
858	CONC%type_selection%575	858	CONC%type_selection%542
859	Useful_types	859	Useful_types
860	CONC%type_selection%575	860	CONC%type_selection%542
861	» All_types	861	» All_types
862	CONC%type_selection%575	862	CONC%type_selection%542
863	-SETVV	863	-SETVV
864	,QUOTE	864	,QUOTE
865	type_selection	865	type_selection
866	CONC%type_selection%575»	866	CONC%type_selection%542»
867	-SETVV	867	-SETVV
868	,QUOTE	868	,QUOTE
869	MK-TYPE»	869	MK-TYPE»
870	-SETVV	870	-SETVV
871	-SETVV	871	-SETVV
872	,QUOTE	872	,QUOTE
873	EXECUTE	873	EXECUTE
874	-MFSFUN	874	-MFSFUN
875	,QUOTE!	875	,QUOTE!
876	G1661	876	G1661
877	-SPUTPROP	877	-SPUTPROP
878	,QUOTE	878	,QUOTE
879	FUN%~~765~~0%577	879	FUN%4810%544
880	,QUOTE	880	,QUOTE
881	» CURRYBIND	881	» CURRYBIND
882	,QUOTE	882	,QUOTE
883	-SPUTPROP	883	-SPUTPROP
884	,QUOTE	884	,QUOTE
885	FUN%~~765~~0%578	885	FUN%4810%545
886	,QUOTE	886	,QUOTE
887	» CURRYBIND	887	» CURRYBIND
888	,QUOTE	888	,QUOTE
889	,PROGN»	889	,PROGN»
890	-SETVV	890	-SETVV
891	,QUOTE	891	,QUOTE
892	ML-IS_VARTYPE»	892	ML-IS_VARTYPE»
Offset 900, 162 lines modified		Offset 900, 162 lines modified
900	,QUOTE	900	,QUOTE
901	VAR»	901	VAR»
902	-SETVV	902	-SETVV
903	,QUOTE	903	,QUOTE
904	ML-DEST_TYPE»	904	ML-DEST_TYPE»
905	-SETVV	905	-SETVV
906	,QUOTE	906	,QUOTE
907	FUN%~~3646~~%51»	907	FUN%9353%58»
908	-SETVV	908	-SETVV
909	,QUOTE	909	,QUOTE
910	,QUOTE	910	,QUOTE
911	FUN%~~765~~0%577	911	FUN%4810%544
912	,DEBUG	912	,DEBUG
913	,QUOTE	913	,QUOTE
914	FUN%~~765~~0%577	914	FUN%4810%544
915	,QUOTE	915	,QUOTE
916	,PROGN»	916	,PROGN»
917	-SETVV	917	-SETVV
918	,QUOTE	918	,QUOTE
919	FUN%~~765~~0%577»	919	FUN%4810%544»
920	-SETVV	920	-SETVV
921	,QUOTE	921	,QUOTE
922	type»	922	type»
923	,QUOTE	923	,QUOTE
924	FUN%~~765~~0%578	924	FUN%4810%545
925	,DEBUG	925	,DEBUG
926	,QUOTE	926	,QUOTE
927	FUN%~~765~~0%578	927	FUN%4810%545
928	,QUOTE	928	,QUOTE
929	,PROGN»	929	,PROGN»
930	-SETVV	930	-SETVV
931	,QUOTE»	931	,QUOTE»
932	» MK-FUNTYP	932	» MK-FUNTYP
933	MK-TYPETYP	933	MK-TYPETYP
934	CONC%print_tree%~~547~~»	934	CONC%print_tree%605»
935	-SETVV	935	-SETVV
936	,QUOTE	936	,QUOTE
937	,LET	937	,LET
938	type_to_print_tree	938	type_to_print_tree
939	» MK-FUNTYP	939	» MK-FUNTYP
940	MK-TYPETYP	940	MK-TYPETYP
941	CONC%print_tree%~~547~~»	941	CONC%print_tree%605»
942	-SETVV	942	-SETVV
943	,QUOTE	943	,QUOTE
944	MK-LET»	944	MK-LET»
945	-SETVV	945	-SETVV
946	,QUOTE	946	,QUOTE
947	MK-LET%type_to_print_tree%576»	947	MK-LET%type_to_print_tree%543»
948	-SETVV	948	-SETVV
949	-MFSFUN	949	-MFSFUN
950	,QUOTE!	950	,QUOTE!
951	G1662	951	G1662
952	-SETVV	952	-SETVV
953	,QUOTE	953	,QUOTE
954	type_to_print_tree»	954	type_to_print_tree»
955	-SETVV	955	-SETVV
956	,QUOTE	956	,QUOTE
Max diff block lines reached; 5440/7480 bytes (72.73%) of diff not shown.