/usr/bin/diffoscope --timeout 7200 --html /srv/reproducible-results/rbuild-debian/r-b-build.hllxnchh/hol88_2.02.19940316dfsg-5.diffoscope.html --text /srv/reproducible-results/rbuild-debian/r-b-build.hllxnchh/hol88_2.02.19940316dfsg-5.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/r-b-build.hllxnchh/hol88_2.02.19940316dfsg-5.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/r-b-build.hllxnchh/b1/hol88_2.02.19940316dfsg-5_armhf.changes /srv/reproducible-results/rbuild-debian/r-b-build.hllxnchh/b2/hol88_2.02.19940316dfsg-5

⊟

64.9 MB

/srv/reproducible-results/rbuild-debian/r-b-build.hllxnchh/b1/hol88_2.02.19940316dfsg-5_armhf.changes vs.

/srv/reproducible-results/rbuild-debian/r-b-build.hllxnchh/b2/hol88_2.02.19940316dfsg-5_armhf.changes ¶

⊟

1.28 KB

Files ¶

⊟

547 KB

hol88-doc_2.02.19940316dfsg-5_all.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

⊟

546 KB

data.tar.xz ¶

⊟

546 KB

data.tar ¶

⊟

3.28 KB

file list ¶

⊟

881 B

⊟

532 KB

Command `'ps2ascii {}'` failed with exit code 1. Standard output: GPL Ghostscript 10.00.0: Unrecoverable error, exit code 1

⊟

919 B

⊟

805 B

⊟

1.95 KB

Command `'ps2ascii {}'` failed with exit code 1. Standard output: GPL Ghostscript 10.00.0: Unrecoverable error, exit code 1

⊟

1.72 KB

⊟

1.6 KB

⊟

1.68 KB

⊟

1.71 KB

⊟

1.59 KB

⊟

1.63 KB

⊟

1.52 KB

⊟

1.35 MB

hol88-library_2.02.19940316dfsg-5_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

⊟

1.35 MB

data.tar.xz ¶

⊟

1.35 MB

data.tar ¶

⊟

35.6 KB

file list ¶

⊟

26.5 KB

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

⊟

26.4 KB

strings --all --bytes=8 {} ¶

⊟

9.24 KB

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

⊟

9.12 KB

strings --all --bytes=8 {} ¶

⊟

10.8 KB

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

⊟

10.7 KB

strings --all --bytes=8 {} ¶

⊟

4.78 KB

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

⊟

4.66 KB

strings --all --bytes=8 {} ¶

⊟

4.3 KB

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

⊟

4.18 KB

strings --all --bytes=8 {} ¶

⊟

1.68 KB

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

⊟

1.56 KB

strings --all --bytes=8 {} ¶

⊟

1.74 KB

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

⊟

1.62 KB

strings --all --bytes=8 {} ¶

⊟

11.8 KB

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

⊟

11.7 KB

strings --all --bytes=8 {} ¶

⊟

3.62 KB

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

⊟

3.5 KB

strings --all --bytes=8 {} ¶

⊟

3.82 KB

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

⊟

3.7 KB

strings --all --bytes=8 {} ¶

⊟

3.34 KB

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

⊟

3.23 KB

strings --all --bytes=8 {} ¶

⊟

7.32 KB

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

⊟

7.21 KB

strings --all --bytes=8 {} ¶

⊟

6.62 KB

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

⊟

6.5 KB

strings --all --bytes=8 {} ¶

⊟

6.22 KB

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

⊟

6.1 KB

strings --all --bytes=8 {} ¶

⊟

12.2 KB

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

⊟

12.1 KB

strings --all --bytes=8 {} ¶

⊟

6.55 KB

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

⊟

6.44 KB

strings --all --bytes=8 {} ¶

⊟

5.1 KB

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

⊟

4.99 KB

strings --all --bytes=8 {} ¶

⊟

1.09 KB

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

⊟

991 B

strings --all --bytes=8 {} ¶

⊟

2.95 KB

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

⊟

2.83 KB

strings --all --bytes=8 {} ¶

⊟

17.7 KB

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

⊟

17.5 KB

strings --all --bytes=8 {} ¶

⊟

7.37 KB

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

⊟

7.24 KB

strings --all --bytes=8 {} ¶

⊟

9.96 KB

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

⊟

9.83 KB

strings --all --bytes=8 {} ¶

⊟

2.84 KB

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

⊟

2.71 KB

strings --all --bytes=8 {} ¶

⊟

48.6 KB

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

⊟

48.5 KB

strings --all --bytes=8 {} ¶

⊟

411 B

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

⊟

283 B

strings --all --bytes=8 {} ¶

⊟

3.23 KB

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

⊟

3.1 KB

strings --all --bytes=8 {} ¶

⊟

15.3 KB

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

⊟

15.2 KB

strings --all --bytes=8 {} ¶

⊟

5.01 KB

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

⊟

4.88 KB

strings --all --bytes=8 {} ¶

⊟

3.8 KB

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

⊟

3.67 KB

strings --all --bytes=8 {} ¶

⊟

12.7 KB

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

⊟

12.6 KB

strings --all --bytes=8 {} ¶

⊟

4.07 KB

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

⊟

3.94 KB

strings --all --bytes=8 {} ¶

⊟

5.7 KB

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

⊟

5.57 KB

strings --all --bytes=8 {} ¶

⊟

1.67 KB

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

⊟

1.54 KB

strings --all --bytes=8 {} ¶

⊟

3.38 KB

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

⊟

3.24 KB

strings --all --bytes=8 {} ¶

⊟

2.92 KB

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

⊟

2.78 KB

strings --all --bytes=8 {} ¶

⊟

61.7 KB

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

⊟

61.6 KB

strings --all --bytes=8 {} ¶

⊟

9.43 KB

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

⊟

9.33 KB

strings --all --bytes=8 {} ¶

⊟

12.5 KB

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

⊟

12.4 KB

strings --all --bytes=8 {} ¶

⊟

3.83 KB

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

⊟

3.71 KB

strings --all --bytes=8 {} ¶

⊟

14.7 KB

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

⊟

14.6 KB

strings --all --bytes=8 {} ¶

⊟

16.8 KB

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

⊟

16.7 KB

strings --all --bytes=8 {} ¶

⊟

13.2 KB

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

⊟

13.1 KB

strings --all --bytes=8 {} ¶

⊟

848 B

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

⊟

736 B

strings --all --bytes=8 {} ¶

⊟

11.9 KB

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

⊟

11.8 KB

strings --all --bytes=8 {} ¶

⊟

19.4 KB

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

⊟

19.3 KB

strings --all --bytes=8 {} ¶

⊟

60.3 KB

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

⊟

60.2 KB

strings --all --bytes=8 {} ¶

⊟

11.2 KB

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

⊟

11.1 KB

strings --all --bytes=8 {} ¶

⊟

7.33 KB

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

⊟

7.21 KB

strings --all --bytes=8 {} ¶

⊟

2.94 KB

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

⊟

2.81 KB

strings --all --bytes=8 {} ¶

⊟

10.3 KB

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

⊟

10.2 KB

strings --all --bytes=8 {} ¶

⊟

4.06 KB

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

⊟

3.92 KB

strings --all --bytes=8 {} ¶

⊟

4.87 KB

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

⊟

4.74 KB

strings --all --bytes=8 {} ¶

⊟

5.62 KB

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

⊟

5.47 KB

strings --all --bytes=8 {} ¶

⊟

1.11 KB

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

⊟

987 B

strings --all --bytes=8 {} ¶

⊟

5.84 KB

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

⊟

5.7 KB

strings --all --bytes=8 {} ¶

⊟

1.33 KB

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

⊟

1.19 KB

strings --all --bytes=8 {} ¶

⊟

1.51 KB

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

⊟

1.36 KB

strings --all --bytes=8 {} ¶

⊟

45.6 KB

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

⊟

45.5 KB

strings --all --bytes=8 {} ¶

⊟

18.3 KB

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

⊟

18.2 KB

strings --all --bytes=8 {} ¶

⊟

14.9 KB

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

⊟

14.8 KB

strings --all --bytes=8 {} ¶

⊟

17.7 KB

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

⊟

17.5 KB

strings --all --bytes=8 {} ¶

⊟

21.5 KB

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

⊟

21.4 KB

strings --all --bytes=8 {} ¶

⊟

70.8 KB

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

⊟

70.7 KB

strings --all --bytes=8 {} ¶

⊟

23.5 KB

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

⊟

23.4 KB

strings --all --bytes=8 {} ¶

⊟

4.89 KB

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

⊟

4.74 KB

strings --all --bytes=8 {} ¶

⊟

3.71 KB

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

⊟

3.56 KB

strings --all --bytes=8 {} ¶

⊟

12.6 KB

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

⊟

12.4 KB

strings --all --bytes=8 {} ¶

⊟

1.62 KB

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

⊟

1.49 KB

strings --all --bytes=8 {} ¶

⊟

7.75 KB

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

⊟

7.61 KB

strings --all --bytes=8 {} ¶

⊟

33.7 KB

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

⊟

33.5 KB

strings --all --bytes=8 {} ¶

⊟

41.5 KB

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

⊟

41.3 KB

strings --all --bytes=8 {} ¶

⊟

19.3 KB

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

⊟

19.1 KB

strings --all --bytes=8 {} ¶

⊟

3.22 KB

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

⊟

3.08 KB

strings --all --bytes=8 {} ¶

⊟

36.9 KB

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

⊟

36.8 KB

strings --all --bytes=8 {} ¶

⊟

8.78 KB

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

⊟

8.66 KB

strings --all --bytes=8 {} ¶

⊟

3.66 KB

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

⊟

3.54 KB

strings --all --bytes=8 {} ¶

⊟

2.61 KB

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

⊟

2.49 KB

strings --all --bytes=8 {} ¶

⊟

13.3 KB

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

⊟

13.2 KB

strings --all --bytes=8 {} ¶

⊟

31.7 KB

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

⊟

31.6 KB

strings --all --bytes=8 {} ¶

⊟

11.4 KB

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

⊟

11.3 KB

strings --all --bytes=8 {} ¶

⊟

7.26 KB

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

⊟

7.15 KB

strings --all --bytes=8 {} ¶

⊟

2.97 KB

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

⊟

2.86 KB

strings --all --bytes=8 {} ¶

⊟

2.14 KB

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

⊟

2.03 KB

strings --all --bytes=8 {} ¶

⊟

1.56 KB

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

⊟

1.44 KB

strings --all --bytes=8 {} ¶

⊟

2.78 KB

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

⊟

2.65 KB

strings --all --bytes=8 {} ¶

⊟

1.45 KB

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

⊟

1.32 KB

strings --all --bytes=8 {} ¶

⊟

17.4 KB

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

⊟

17.3 KB

strings --all --bytes=8 {} ¶

⊟

4.62 KB

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

⊟

4.51 KB

strings --all --bytes=8 {} ¶

⊟

20.3 KB

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

⊟

20.1 KB

strings --all --bytes=8 {} ¶

⊟

6.84 KB

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

⊟

6.73 KB

strings --all --bytes=8 {} ¶

⊟

8.59 KB

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

⊟

8.48 KB

strings --all --bytes=8 {} ¶

⊟

1.36 KB

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

⊟

1.25 KB

strings --all --bytes=8 {} ¶

⊟

13.8 KB

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

⊟

13.6 KB

strings --all --bytes=8 {} ¶

⊟

20.1 KB

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

⊟

20.0 KB

strings --all --bytes=8 {} ¶

⊟

707 B

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

⊟

591 B

strings --all --bytes=8 {} ¶

⊟

8.73 KB

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

⊟

8.62 KB

strings --all --bytes=8 {} ¶

⊟

30.0 KB

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

⊟

29.9 KB

strings --all --bytes=8 {} ¶

⊟

11.5 KB

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

⊟

11.4 KB

strings --all --bytes=8 {} ¶

⊟

8.73 KB

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

⊟

8.61 KB

strings --all --bytes=8 {} ¶

⊟

16.7 KB

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

⊟

16.5 KB

strings --all --bytes=8 {} ¶

⊟

21.6 KB

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

⊟

21.5 KB

strings --all --bytes=8 {} ¶

⊟

36.5 KB

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

⊟

36.4 KB

strings --all --bytes=8 {} ¶

⊟

611 B

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

⊟

485 B

strings --all --bytes=8 {} ¶

⊟

844 B

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

⊟

714 B

strings --all --bytes=8 {} ¶

⊟

11.4 KB

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

⊟

11.3 KB

strings --all --bytes=8 {} ¶

⊟

21.6 KB

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

⊟

21.5 KB

strings --all --bytes=8 {} ¶

⊟

5.3 KB

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

⊟

5.18 KB

strings --all --bytes=8 {} ¶

⊟

1.29 KB

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

⊟

1.18 KB

strings --all --bytes=8 {} ¶

⊟

36.2 KB

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

⊟

36.1 KB

strings --all --bytes=8 {} ¶

⊟

1.18 KB

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

⊟

1.07 KB

strings --all --bytes=8 {} ¶

⊟

3.1 KB

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

⊟

2.98 KB

strings --all --bytes=8 {} ¶

⊟

18.0 KB

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

⊟

17.9 KB

strings --all --bytes=8 {} ¶

⊟

318 KB

hol88-source_2.02.19940316dfsg-5_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.54 KB

⊟

685 B

⊟

543 B

⊟

58.2 KB

⊟

20.2 KB

⊟

5.19 KB

⊟

5.73 KB

⊟

900 B

⊟

176 KB

⊟

9.85 KB

⊟

3.97 KB

⊟

1.69 KB

⊟

14.1 KB

⊟

7.95 KB

⊟

6.75 KB

⊟

4.16 KB

⊟

62.7 MB

hol88_2.02.19940316dfsg-5_armhf.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

⊟

62.7 MB

data.tar.xz ¶

⊟

62.7 MB

data.tar ¶

⊟

22.1 MB

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

File has been modified after NT_GNU_BUILD_ID has been applied.

⊟

240 KB

strings --all --bytes=8 {} ¶

⊟

21.9 MB

objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.data {} ¶

⊟

37.9 MB

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

File has been modified after NT_GNU_BUILD_ID has been applied.

⊟

468 KB

strings --all --bytes=8 {} ¶

⊟

37.4 MB

objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.data {} ¶

⊟

2.73 MB

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

File has been modified after NT_GNU_BUILD_ID has been applied.

⊟

63.0 KB

strings --all --bytes=8 {} ¶

⊟

2.66 MB

objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.data {} ¶


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

1	·1f4b7d998ac883dda702bb96595c3f83·23444·math·optional·hol88-contrib-help_2.02.19940316dfsg-5_all.deb	1	·1f4b7d998ac883dda702bb96595c3f83·23444·math·optional·hol88-contrib-help_2.02.19940316dfsg-5_all.deb
2	·b3a739f2c95b2c4c96556a080f14172b·725520·math·optional·hol88-contrib-source_2.02.19940316dfsg-5_all.deb	2	·b3a739f2c95b2c4c96556a080f14172b·725520·math·optional·hol88-contrib-source_2.02.19940316dfsg-5_all.deb
3	·1d~~59d29~~5c~~5d6~~2d~~7de~~692f37~~ee61~~a~~62ea~~·1064~~876~~·doc·optional·hol88-doc_2.02.19940316dfsg-5_all.deb	3	·a60445cd9f2dbb10f6ee2e3f7c5a5f44·1064632·doc·optional·hol88-doc_2.02.19940316dfsg-5_all.deb
4	·13149c402b486edede2163284c6a62ee·209292·math·optional·hol88-help_2.02.19940316dfsg-5_all.deb	4	·13149c402b486edede2163284c6a62ee·209292·math·optional·hol88-help_2.02.19940316dfsg-5_all.deb
5	·2e76bef766713f7ddfe80641586b7d3f·227748·math·optional·hol88-library-help_2.02.19940316dfsg-5_all.deb	5	·2e76bef766713f7ddfe80641586b7d3f·227748·math·optional·hol88-library-help_2.02.19940316dfsg-5_all.deb
6	·59939b639d170e3323a4a5c396bc44ea·417084·math·optional·hol88-library-source_2.02.19940316dfsg-5_all.deb	6	·59939b639d170e3323a4a5c396bc44ea·417084·math·optional·hol88-library-source_2.02.19940316dfsg-5_all.deb
7	·3b81ec779a8ebbaa0f802753d0f66824·3650332·math·optional·hol88-library_2.02.19940316dfsg-5_armhf.deb
8	·27e70f98b4ab5c21c3224121e16b36c3·294052·math·optional·hol88-source_2.02.19940316dfsg-5_all.deb
9	·~~ffefe~~abf1e14~~edd~~7~~5976~~b23~~6dd0c523~~3·~~53290~~08·math·optional·hol88_2.02.19940316dfsg-5_armhf.deb	7	·e7000ae61a5c34bfc5701e9b39951f0f·3648360·math·optional·hol88-library_2.02.19940316dfsg-5_armhf.deb
		8	·d941029288abb78598192fa8636ecb71·294056·math·optional·hol88-source_2.02.19940316dfsg-5_all.deb
		9	·781085a5c42ef83044f2a91f1069b1e2·5369012·math·optional·hol88_2.02.19940316dfsg-5_armhf.deb


Offset 1, 3 lines modified		Offset 1, 3 lines modified
1	-rw-r--r--···0········0········0········4·2023-01-08·22:11:46.000000·debian-binary	1	-rw-r--r--···0········0········0········4·2023-01-08·22:11:46.000000·debian-binary
2	-rw-r--r--···0········0········0·····1236·2023-01-08·22:11:46.000000·control.tar.xz	2	-rw-r--r--···0········0········0·····1236·2023-01-08·22:11:46.000000·control.tar.xz
3	-rw-r--r--···0········0········0··1063~~448~~·2023-01-08·22:11:46.000000·data.tar.xz	3	-rw-r--r--···0········0········0··1063204·2023-01-08·22:11:46.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·342e··TeX·output·2024.		00000010:·5465·5820·6f75·7470·7574·2032·3032·342e··TeX·output·2024.
00000020:·3031·2e30·373a·3038·3234·8b00·0000·0100··01.07:~~0824~~......		00000020:·3031·2e30·383a·3130·3535·8b00·0000·0100··01.08:1055......
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·ff8d·ef1a·6865·6164·6572··..........header		00000050:·0000·00ff·ffff·ff8d·ef1a·6865·6164·6572··..........header
00000060:·3d6c·3362·6163·6b65·6e64·2d64·7669·7073··=l3backend-dvips		00000060:·3d6c·3362·6163·6b65·6e64·2d64·7669·7073··=l3backend-dvips
00000070:·2e70·726f·8ea0·0276·ef02·8da0·fd86·d70b··.pro...v........		00000070:·2e70·726f·8ea0·0276·ef02·8da0·fd86·d70b··.pro...v........
00000080:·a002·5b28·f58d·a0fe·b76b·a68d·8d92·0096··..[(.....k......		00000080:·a002·5b28·f58d·a0fe·b76b·a68d·8d92·0096··..[(.....k......
00000090:·f106·a5ff·4b53·34ef·4d70·733a·3a5b·6265··....KS4.Mps::[be		00000090:·f106·a5ff·4b53·34ef·4d70·733a·3a5b·6265··....KS4.Mps::[be


Offset 1, 3953 lines modified		Offset 1, 3953 lines modified
00000000:·1f8b·0800·0000·0000·0203·ec3c·6b73·e338··...........<ks.8		00000000:·1f8b·0800·0000·0000·0203·ec3c·6b73·e338··...........<ks.8
00000010:·72df·f12b·b097·9a3a·bb6a·2c92·921f·6357··r..+...:.j,..~~.cW~~		00000010:·72df·f12b·b097·9a3a·bb6a·2c92·922d·8f5d··r..+...:.j,..-.]
00000020:·~~921~~a·cb1e·57cd·d658·ebb3·6667·7de5·b8ee··....W..X..fg}...		00000020:·496a·fc18·57cd·d658·ebb3·6667·7de5·b8ee··Ij..W..X..fg}...
00000030:·2812·b2b8·a648·2e49·c9d2·21fa·efe9·6e00··(....H.I..!...n.		00000030:·2812·b2b8·a648·2e49·c9d2·21fa·efe9·6e00··(....H.I..!...n.
00000040:·2448·51b6·672e·49e5·43bc·3b22·d868·341a··$HQ.g.I.C.;".h4.		00000040:·2448·51b6·672e·49e5·43bc·3b22·d868·341a··$HQ.g.I.C.;".h4.
00000050:·8d7e·0102·f4ee·a79b·f1c1·7998·4ec4·41bf··.~........y.N.A.		00000050:·8d7e·0102·f4ee·a79b·f1c1·5998·4ec4·41bf··.~........Y.N.A.
00000060:·e7b2·77ef·2e72·e197·697e·c6c3·6594·157b··..w..r..i~..e..{		00000060:·e7b2·77ef·2e72·e197·697e·cac3·6594·157b··..w..r..i~..e..{
00000070:·4ffb·bcef·f6fb·3d8f·ef7d·1577·fc4b·b414··O.....=..}.w.K..		00000070:·4ffb·bcef·f6fb·3d8f·ef7d·1577·fc4b·b414··O.....=..}.w.K..
00000080:·04d8·e7fc·22cd·d679·f438·2b09·c06f·fd30··...."..y.8+..o.0		00000080:·04d8·e7fc·22cd·d679·f438·2b09·c06f·fd30··...."..y.8+..o.0
00000090:·0afc·987f·5a0b·3e4e·a7e5·b39f·0ba0·f735··....Z.>N.......5		00000090:·0afc·987f·5a0b·3e4e·a7e5·b39f·0ba0·f735··....Z.>N.......5
000000a0:·2a63·71c6·4512·66fe·a328·7a40·d6f4·12a5··*cq.E.f..(z@....		000000a0:·2a63·71ca·4512·66fe·a328·7a40·d6f4·12a5··*cq.E.f..(z@....
000000b0:·c9a5·5f42·e578·91f0·9ffd·84f3·0fbc·df3f··.._B.x.........?		000000b0:·c9a5·5f42·e578·91f0·9ffd·84f3·0fbc·df3f··.._B.x.........?
000000c0:·f3bc·b3c3·63a4·3900·c41b·6c74·c60f·75f1··....c.9...lt..u.
000000d0:·973c·14c0·db79·1100·4180·0dd3·4512·46c9··.<...y..A...E.F.
000000e0:·~~e330~~·~~5d9d~~·7117·~~fe3b~~·~~3a3~~d·e61f·~~0efb~~·~~5075~~··.0].q..~~;:=..~~..Pu		000000c0:·f5bc·d3c3·21d2·1c00·e20d·363a·e587·baf8··....!.....6:....
		000000d0:·4b1e·0ae0·edac·0880·20c0·ced3·4512·46c9··K.......·...E.F.
		000000e0:·e379·ba3a·e52e·fc77·7432·e41f·0efb·5075··.y.:...wt2....Pu
000000f0:·9906·8bb9·48ca·ab34·2981·c2c5·f5ad·e7e2··....H..4).......		000000f0:·9906·8bb9·48ca·ab34·2981·c2c5·f5ad·e7e2··....H..4).......
00000100:·e729·7e7c·b010·6efc·4ce4·e3e8·1fd8·8f8f··.)~\|..n.L.......		00000100:·e709·7e7c·b010·6efc·4ce4·e3e8·1fd8·8f8f··..~\|..n.L.......
00000110:·1d7d·4ac2·8b74·8e55·057b·77f9·edf3·cdf8··.}J..t.U.{w.....		00000110:·1d7d·4ac2·8b74·8e55·057b·77f9·edf3·cdf8··.}J..t.U.{w.....
00000120:·3731·c1de·cff8·def3·f373·2f57·2315·6bd1··71.......s/W#.k.		00000120:·3731·c1de·4ff9·def3·f373·2f57·2315·6bd1··71..O....s/W#.k.
00000130:·0bd2·f9be·c6c1·267e·127e·8912·a185·570d··......&~.~....W.		00000130:·0bd2·f9be·c6c1·267e·127e·8912·a185·570d··......&~.~....W.
00000140:·5a63·dcf8·b93f·17a5·c8a1·a330·8bfe·edd8··Zc...?.....0....		00000140:·5a63·dcf8·b93f·17a5·c8a1·a330·8bfe·6de8··Zc...?.....0..m.
00000150:·7575·cd38·5de4·0134·e328·e374·5166·0b12··uu.8]..4.(.tQf..
00000160:·ea61·~~cff5~~·~~7aee~~·c999·~~fba1~~·~~8f7c~~·~~0dc5~~·~~6394~~··.a..z......\|..c.		00000150:·baba·669c·2ef2·009a·7194·71ba·28b3·0509··..f.....q.q.(...
		00000160:·f5b0·e77a·3df7·c3a9·e71e·1de1·60c5·6394··...z=.......`.c.
00000170:·dce4·6930·16e5·192f·c5aa·97e5·298e·9abd··..i0.../....)...		00000170:·dce4·6930·16e5·292f·c5aa·97e5·298e·9abd··..i0..)/....)...
Diff chunk too large, falling back to line-by-line diff (3928 lines added, 3928 lines removed)
00000180:·fb89·39d0·f432·0a4a·3e70·5d1e·6221·1453··..9..2.J>p].b!.S		00000180:·fb89·39d0·f432·0a4a·3e70·5d1e·6221·1453··..9..2.J>p].b!.S
00000190:·6e80·136c·ea8c·24c0·36f0·cf19·~~ca49~~·~~9484~~··n..l..$.6....I..		00000190:·6e80·136c·ea8c·24c0·36f0·cf39·9793·2809··n..l..$.6..9..(.
000001a0:·~~88b2~~·~~1939~~·6329·~~56c1~~·~~0c0a~~·~~7772~~·~~cc46~~·~~9ba1~~··.~~..9c)V~~...wr.F..		000001a0:·1165·3372·c652·ac82·1914·eee4·988d·36e7··.e3r.R........6.
000001b0:·~~732e~~·~~c345~~·~~06cf~~·afb7·~~b2cc~~·f~~da4~~·8861·~~96a0~~··s..E.........a..		000001b0:·ce99·0c17·193c·bfde·ca32·f793·2286·5982··.....<...2..".Y.
000001c0:·3a2a·~~e282~~·4ffd·~~b810~~·~~7ce4~~·~~2c0b~~·9018·~~f73c~~··:*..O...\|.,....<		000001c0:·eaa8·880b·3ef5·e342·f091·b32c·4062·dcf3··....>..B...,@b..
000001d0:·~~7ed2~~·~~e7f3~~·~~450c~~·9019·~~413e~~·~~f48e~~·0~~0c4~~·~~1428~~··~...E..~~.A>~~.....(		000001d0:·f871·9fcf·1731·4066·04f9·d03b·0210·53a0··.q...1@f...;..S.
000001e0:·~~0681~~·~~64f1~~·~~a238~~·~~752~~5·~~b5a3~~·~~be3f~~·~~82d2~~·~~4489~~··..d..~~8u%~~...?..D.		000001e0:·1804·92c5·8be2·c495·d48e·fafe·084a·1325··.............J.%
000001f0:·~~446a~~·~~f2de~~·~~e516~~·~~8ec7~~·0fbc·~~8d3c~~·f0b8·~~b789~~··Dj.........<....		000001f0:·12a9·c97b·975b·381e·3ff0·36f2·c0e3·de26··...{.[8.?.6....&
00000200:·a602·~~fb71~~·~~190c~~·~~ef21~~·~~4893~~·c02f·0186·~~9ddd~~··...q...!H../....		00000200:·9a0a·ecc7·6530·bc87·204d·02bf·0418·7676··....e0..·M....vv
00000210:·~~8a22~~·~~8d17~~·a~~83c~~·30cc·~~2542~~·~~beb5~~·~~4089~~·~~78e4~~··."...<0.%B..@.x.		00000210:·2b8a·345e·a0f2·c030·9708·f9d6·0225·e291··+.4^...0.....%..
00000220:·~~054e~~·~~10a7~~·~~3e98~~·~~d583~~·~~8d0~~a·~~2d11~~·~~5b0d~~·~~04f9~~··.N..>.....-~~.[.~~..		00000220:·1738·419c·fa60·560f·362a·b444·6c35·10e4··.8A..`V.6*.Dl5..
00000230:·7539·c941·~~5a3~~8·071a·~~89c6~~·~~4683~~·~~720~~d·~~6b5f~~·~~·u9~~.~~AZ8..~~..F.r.k_		00000230:·d7e5·2407·69e1·1c68·241a·1b0d·ca35·ac7d··..$.i..h$....5.}
00000240:·~~6f91~~·~~210b~~·~~d7a6~~·~~ad88~~·9ad6·~~1ef7~~·~~c390~~·baf8··o.!....~~....~~.....		00000240:·bd45·862c·5c9b·b622·6a5a·7bdc·0f43·eae2··.E.,\.."jZ{..C..
00000250:·~~7a7b~~·~~cfe6~~·~~7e99~~·~~472b~~·~~1e2c~~·~~f21c~~·5~~44c~~·~~bdc9~~··z{..~.G+.,.~~.TL~~..		00000250:·ebed·3d9b·fb65·1ead·78b0·c873·5031·f526··..=..e..x..sP1.&
00000260:·~~737e~~·~~ce73~~·5~~466~~·~~5e2c~~·~~26dc~~·9f14·~~dced~~·~~b9f0~~··s~.~~sTf^,&.~~......		00000260:·cff8·19cf·5199·79b1·9870·7f52·70b7·e7c2··....Q.y..p.Rp...
00000270:·~~e7f1~~·~~b894~~·5401·~~bd6d~~·~~a669~~·~~eec7~~·~~b142~~·~~64c8~~··....T..m.i...~~Bd.~~		00000270:·9fc7·e352·5205·f4b6·99a6·b91f·c70a·9121··...RR..........!
00000280:·~~ac6e~~·~~83c5~~·~~8742~~·~~6862~~·3055·~~1f71~~·~~cc20~~·834c··.n...~~Bhb0U~~.q.·.L		00000280:·b3ba·0d16·1f0a·a189·c154·7dc4·3183·0c32··.........T}.1..2
00000290:·~~483~~5·~~6d6~~5·~~be80~~·~~5983~~·39fd·~~084a~~·~~baf0~~·e3a9··~~H5me~~..Y.9..J....		00000290:·21d5·b495·f902·660d·e6f4·2328·e9c2·8fa7··!.....f...#(....
000002a0:·~~10a1~~·~~644~~5·~~e997~~·8b02·~~b5c5~~·a~~9c1~~·~~0a17~~·5410··..dE........~~..T.~~		000002a0:·4284·9215·a55f·2e0a·d416·a706·2b5c·5041··B...._......+\PA
000002b0:·~~b183~~·~~348b~~·~~4421~~·~~9d7f~~·5105·~~7e07~~·c0ab·~~6bbf~~··..4.D!..Q.~...k.		000002b0:·c40e·d22c·1285·74fe·4515·f81d·00af·aefd··...,..t.E.......
000002c0:·~~bcf7~~·~~c8dc~~·~~0ee8~~·~~f1c0~~·~~46ce~~·d570·78ef·12cc··........F..px...		000002c0:·f2de·2373·3ba0·c703·1b39·57e7·e7f7·2ec1··..#s;....9W.....
000002d0:·7d18·3949·0285·91f3·f993·7a06·654e·cf70··}.9I......z.eN.p		000002d0:·dc87·9193·2450·1839·9f3f·a967·50e6·f40c··....$P.9.?.gP...
000002e0:·7a50·fa51·2cb1·fe83·d2d2·1187·32a9·2773··zP.Q,..~~...~~..2.'s		000002e0:·a707·a51f·c512·eb3f·282d·1d71·2893·7a32··.......?(-.q(.z2
000002f0:·d054·bfae·33c1·0780·8b2f·d74a·54d3·a4cc··.T..3..../.J~~T..~~.		000002f0:·074d·f5eb·3a13·7c00·b8f8·72ad·4435·4dca··.M..:.\|...r.D5M.
00000300:·571a~~·340~~4·53e7·d019·~~342c~~·~~a032~~·~~797~~4·263e··W.4.S..~~.4,~~.~~2yt&>~~		00000300:·7ca5·41e7·60ea·1c3a·8386·0554·268f·cec4··\|.A.`..:...T&...
00000310:·~~ccc6~~·~~1df7~~·~~f3dc~~·~~5f33~~·~~6718~~·4~~12b~~·~~b0bd~~·~~3b67~~··......~~_3g~~.A+.~~.;g~~		00000310:·87d9·b8e3·7e9e·fb6b·e69c·47d0·0a6c·efce··....~..k..G..l..
00000320:·~~b888~~·~~e2f0~~·~~62e6~~·~~e712~~·~~3fe8~~·~~4de4~~·209b·~~4f49~~··~~....b.~~..?.~~M.·~~.OI		00000320:·395f·4471·7831·f373·891f·f426·7290·cda7··9_Dqx1.s...&r...
00000330:·~~90a2~~·~~cfe0~~·~~c8dd~~·088d·~~949f~~·~~4b67~~·~~9aa6~~·~~1c24~~··..........~~Kg..~~.$		00000330:·2448·d167·70e4·6e84·46ca·cfa4·334d·530e··$H.gp.n.F...3MS.
00000340:·~~3885~~·~~2e36~~·~~7d46~~·~~c438~~·8c19·~~3e96~~·~~d035~~·~~8f53~~··8..~~6}F~~.8..>..5.S		00000340:·129c·4217·9b3e·2362·1cc6·0c1f·4be8·9ac7··..B..>#b....K...
00000350:·~~3f84~~·2100·~~af20~~·1~~833~~·~~9e7b~~·~~1046~~·~~31d5~~·2393··?.!..·.3.~~{.F1~~.#.		00000350:·a91f·c210·8057·108c·19cf·3d08·a398·ea91··.....W....=.....
00000360:·~~58f4~~·~~a0a8~~·~~b845~~·~~21f1~~·~~11d3~~·~~2306~~·~~c470~~·~~5a48~~··~~X....E!~~...#..~~pZH~~		00000360:·492c·7a50·54dc·a290·f888·e911·0362·382d··I,zPT........b8-
00000370:·~~5006~~·~~c4ba~~·~~5338~~·~~f7d4~~·d6e5·~~f040~~·~~9525~~·~~c9f1~~··P..~~.S8~~.....@.%..		00000370:·2428·0362·dd29·9c7b·6aeb·7278·a0ca·92e4··$(.b.).{j.rx....
00000380:·~~bac1~~·2799·~~a519~~·f678·~~cec0~~·6~~cc0~~·~~ad20~~·~~6f15~~··..'....~~x..l.~~.·o.		00000380:·78dd·e093·ccd2·0c7b·3c63·6036·e056·90b7··x......{<c`6.V..
00000390:·8~~f43~~·e7e2·595e·00eb·3c16·c963·39e3·47a4··.C..Y^..<..c9.G.		00000390:·8ac7·73e7·e259·5e00·eb3c·16c9·6339·e347··..s..Y^..<..c9.G
000003a0:·398f·82aa·668d·aa43·53c5·b06e·25bd·fe07··9...f..CS..n%...		000003a0:·a439·8f82·aa66·8daa·4353·c5b0·6e25·bdfe··.9...f..CS..n%..
000003b0:·6ed7·0f4c·3d3e·1165·dd68·deaf·aabd·fe09··n..L=>.e.h......		000003b0:·076e·d70f·4c3d·3e11·65dd·68de·afaa·bdfe··.n..L=>.e.h.....
000003c0:·a130·c009·570d·24cf·ee3e·5255·25cc·a5a3··.0..W.$..>RU%...		000003c0:·31a1·30c0·0957·0d24·cfee·3e52·5525·cca5··1.0..W.$..>RU%..
000003d0:·6609·8b30·4a89·9203·2492·20fc·63ca·3446··f..0J...$.·.c.4F		000003d0:·a366·098b·304a·8992·0324·9220·fc63·ca34··.f..0J...$.·.c.4
000003e0:·a8dc·c876·354f·b2f0·97a8·071e·6838·68fc··...v5O......h8h.		000003e0:·46a8·dcc8·7635·4fb2·f097·a807·1e68·3868··F...v5O......h8h
000003f0:·989f~~·ab~~79·462e·fa1c·7c97·5851·795c·cf38··...yF...\|.XQy\.8		000003f0:·fc98·9fa9·7946·2efa·1c7c·9758·5179·5ccf··....yF...\|.XQy\.
00000400:·bd12·71e8·fc8e·83f0·cc3c·c160·57f0·bc58··..q......<.`W..X		00000400:·38bd·1271·e8fc·8e83·f0cc·3cc1·6057·f0bc··8..q......<.`W..
00000410:·f18b·35bf·9811·a7f8·f24c·9d5f·ac19·0835··..5......L._...5		00000410:·58f1·8b35·bf98·11a7·f8f2·4c9d·5fac·1908··X..5......L._...
00000420:·f083·9908·c532·0a04·5600·169a·41ad·e607··.....2..V...A...		00000420:·35f0·8399·08c5·320a·0456·0016·9a41·ade6··5.....2..V...A..
00000430:·1002·a10d·355d·f31e·0df7·415e·449b·680e··....5]....A^D.h.		00000430:·0710·02a1·0d35·5df3·1e0d·f741·5e44·9b68··.....5]....A^D.h
00000440:·2e7e·ee17·4f2c·1705·444e·0103·b994·4e10··.~..O,..DN....N.		00000440:·0e2e·7eee·174f·2c17·0544·4e01·03b9·944e··..~..O,..DN....N
00000450:·000f·9d22·7840·bf91·24f5·7800·1519·45a7··..."x@..$.x...E.		00000450:·1000·0f9d·2278·40bf·9124·f578·0015·1945··...."x@..$.x...E
00000460:·9f24·edf1·60cd·9893·6a41·db~~f3·~~b6c0·cf2b··.$..`...jA.....+		00000460:·a79f·24ed·f160·cd98·936a·41db·b3b6·c0cf··..$..`...jA.....
00000470:·698c·d504·4ec9·e300·2d86·dd18·65c5·7f46··i...N...-...e..F		00000470:·2a69·8cd5·044e·c9e3·002d·86dd·1865·c57f··*i...N...-...e..
00000480:·~~d443~~·e7b3·~~842e~~·~~d5eb~~·~~25bc~~·~~4ed2~~·~~4c2e~~·~~0a91~~··.C......~~%.N~~.L...		00000480:·46d4·e7ce·6709·5daa·d74b·789d·a499·5c14··F...g.]..Kx...\.
00000490:·~~931f~~·~~8097~~·~~8359~~·9a3e·~~f1a7~~·~~247d~~·~~4e24~~·~~33ef~~··~~...~~..Y.>..~~$}N$3.~~		00000490:·2227·3f00·2f07·b334·7de2·4f49·fa9c·4866··"'?./..4}.OI..Hf
000004a0:·~~40cd~~·~~197f~~·~~e634~~·~~2d23~~·~~ae7~~c·~~38c9~~·~~669e~~·~~2e45~~··@....~~4-#.\|8~~.f..E		000004a0:·de81·9a33·fecc·695a·465c·f970·92cd·3c5d··...3..iZF\.p..<]
000004b0:·993a·~~df78~~·~~975f~~·~~03fe~~·3ce2·~~eb9c~~·~~9c27~~·~~b92c~~··.~~:.x~~._..<....~~'.,~~		000004b0:·8a32·75be·f12e·bf06·fc79·c4d7·1939·4f72··.2u......y...9Or
000004c0:·5~~701~~·~~c81f~~·~~220b~~·~~bdd3~~·~~5374~~·~~72ce~~·5fbe·~~6da4~~··W..."..~~.Str~~._.m.		000004c0:·59ae·0290·3f44·167a·2727·e8e4·9cbf·7cdb··Y...?D.z''....\|.
000004d0:·~~73fb~~·~~cdf8~~·~~57b2~~·~~388c~~·~~6168~~·~~05f0~~·~~0f2c~~·5~~700~~··s...W.~~8.ah~~...,W.		000004d0:·48e7·f69b·f1af·6471·18c3·d00a·e01f·58ae··H.....dq......X.
000004e0:·~~a30c~~·~~98d~~0·~~82e6~~·~~15d3~~·a~~2c9~~·~~b4a8~~·~~79e6~~·c~~52c~~··............y..,		000004e0:·0046·1930·a105·cd2b·a645·9369·51f3·cc8b··.F.0...+.E.iQ...
000004f0:·~~7dc6~~·~~208c~~·~~4e11~~·~~dc5d~~·~~5e4a~~·~~5635~~·~~a377~~·~~bb61~~··}.·.N..~~]^JV5~~.w.a		000004f0:·59fa·8c41·189d·22b8·bbbc·94ac·6a46·ef76··Y..A..".....jF.v
00000500:·~~0d20~~·~~e181~~·0~~6d9~~·~~4ef~~d·~~ceb1~~·~~5f98~~·~~e752~~·a~~45d~~··.·....N..._..R.]		00000500:·c31a·40c2·030d·b29d·fa9d·63bf·30cf·a548··..@.......c.0..H
00000510:·~~3a10~~·~~c241~~·~~07a0~~·~~1a1d~~·4aff·e~~858·~~b922·9052··:..A....J..X.".R		00000510:·bb74·2084·830e·4035·3a94·fed1·50b9·2290··.t·...@5:...P.".
00000520:·5fbb·2818·b207·1547·1211·4095·f9~~e0·d~~8a5··_.(....G..@.....		00000520:·525f·bb28·18b2·0715·4712·1140·95f9·60e8··R_.(....G..@..`.
00000530:·~~a10f~~·~~8e21~~·~~b351~~·d~~317~~·~~2cf3~~·~~023e~~·~~c8bf~~·~~a09f~~··...!.Q..,..>....		00000530:·d2d0·0743·c86c·d4f4·05cb·bc80·0ff2·2fe8··...C.l......../.
00000540:·a761·~~1f1f~~·~~9d7c~~·f0~~7a·27c~~7·d48d·8a29·7~~74d~~··.a...\|.~~z'..~~..~~)wM~~		00000540:·e769·d8c3·a3e3·0f5e·ef78·48dd·a898·72d7··.i.....^.xH...r.
00000550:·a00a·ba77·9b11·73c2·0895·1d23·6cb8·5ecb··...w..s....#l.^.		00000550:·04aa·a07b·b719·3127·8c50·d931·c286·ebb5··...{..1'.P.1....
00000560:·fa15·7dcf·ba54·00cf·004a·8dd1·af00·1a63··..}..T...J.....c		00000560:·ac5f·d1f7·ac4b·05f0·0ca0·d418·fd0a·a031··._...K.........1
00000570:·c014·2093·aa5a·fc21·0f4e~~·5db~~0·4208·1582··..·..Z.!.N].B...		00000570:·064c·0132·a9aa·c51f·f2e0·c405·2b84·5021··.L.2........+.P!
00000580:·a4c9·abd7·0de1·0cba·7198·c1c1·773d·a9e6··........q...w=..		00000580:·489a·bc7a·dd10·cea0·1b87·191c·7cd7·936a··H..z........\|..j
00000590:·3172·6eb7·62c8·c819·~~5ea6~~·~~60d~~c·~~201a~~·~~2d3~~5··~~1rn.b~~...^.`.~~·.-5~~		00000590:·1e23·e776·2b86·8c9c·f3cb·148c·1b44·a3a5··.#.v+........D..
000005a0:·~~c002~~·~~b385~~·~~d872~~·~~bb26~~·~~1ffb~~·~~4d02~~·~~5fb7~~·df9c··.....r.&..M._...		000005a0:·0658·60b6·105b·6ed7·e463·bf49·e0eb·f69b··.X`..[n..c.I....
000005b0:·~~a54~~4·c81d·d6de·~~f16f~~·~~9b21~~·~~afc3~~·~~984e~~·~~7420~~··.D.....o.!..~~.Nt·~~		000005b0:·b394·08b9·c3da·3bfe·6d73·ceeb·30a6·131d··......;.ms..0...
000005c0:·~~2f0a~~·~~17f0~~·f63c·~~13b9~~·~~4037~~·~~ca28~~·~~fdb8~~·~~dfbb~~··/....<.~~.@7~~.~~(..~~..		000005c0:·c88b·c205·bc3d·cf44·2ed0·8d32·4a3f·eef7··.....=.D...2J?..
000005d0:·~~8c8a~~·2~~cf6~~·d7fb·~~7b23~~·~~71f7~~·7~~57f~~·ef0b·~~9860~~··..,...~~{#q~~.u....`		000005d0:·2ea3·228b·fdf5·fede·48dc·7ddd·dffb·0226··..".....H.}....&
000005e0:·~~fe5b~~·1e41·~~4ec6~~·bd63·~~0712~~·b2fd·~~0759~~·~~5998~~··.[.AN..c.....YY.		000005e0:·98ff·9647·9093·716f·e840·42b6·ff20·2b0b··...G..qo.@B..·+.
000005f0:·~~a1a2~~·5f63·~~303f~~·~~d6a~~a·~~d20~~a·~~4d0f~~·~~d0e~~a·~~2801~~··.~~._c0?~~..~~..M~~...(.		000005f0:·3354·f46b·0ce6·c75a·555a·a1e9·015a·1d25··3T.k...ZUZ...Z.%
00000600:·4~~a4b~~·~~4882~~·~~4122~~·~~387f~~·~~1449~~·~~c52a~~·~~c2dc~~·~~6583~~··~~JKH.A"8~~..I.*..e.		00000600:·4069·0949·3048·04e7·8f22·a958·4598·bb6c··@i.I0H...".XE..l
00000610:·1023·0~~0a6~~·~~22f9~~·~~46a7~~·~~455a~~·~~e521~~·1449·f948··.#..~~".F~~.EZ.!.~~I.H~~		00000610:·1062·04c0·5424·dfe8·b448·ab3c·8422·291f··.b..T$...H.<.").
00000620:·~~26f6~~·~~f596~~·~~3c0e~~·~~fc0~~f·~~250f~~·~~8d9d~~·~~121a~~·~~1832~~··&...<...%......2		00000620:·c9c4·bede·92c7·81ff·a1e4·a1b1·5342·0343··............SB.C
00000630:·~~0c5d~~·~~e560~~·2842·~~c950~~·~~68b5~~·0f~~e2·8~~fc6·~~096d~~··.].`(B.Ph......m		00000630:·86a1·ab1c·0c45·2819·0aad·f641·fcd1·38a1··.....E(....A..8.
00000640:·3a29·~~a9f6~~·~~8a16~~·52ad·~~2931~~·~~b993~~·92e6·~~6e08~~··~~:).~~...R.~~)1...~~.n.		00000640:·4d27·25d5·5ed1·42aa·3525·2677·52d2·dc9d··M'%.^.B.5%&wR...
00000650:·~~16aa~~·6~~926~~·~~026c~~·~~aa44~~·~~1709~~·~~d921~~·0~~c65~~·~~6ee5~~··..i&.l.D.~~..!~~.~~en.~~		00000650:·8385·6a9a·8900·9b2a·d145·4276·0843·995b··..j....*.EBv.C.[
00000660:·~~21ac~~·~~2ef2~~·~~a846~~·~~506e~~·~~0219~~·0045·~~8921~~·~~9a95~~··!...~~.FPn~~...~~E.!~~..		00000660:·7908·ab8b·3caa·1194·9b40·0640·5162·8866··y...<....@.@Qb.f
00000670:·~~98ba~~·~~0233~~·~~18fa~~·0c00·~~6a29~~·~~1232~~·~~0398~~·46e0··...3....j).2..F.		00000670:·25a6·aec0·0c86·3e03·805a·8a84·cc00·a611··%.....>..Z......
00000680:·~~fc1~~f·~~6bc7~~·~~ea4b~~·~~4507~~·~~3556~~·~~c4a5~~·~~4f7a~~·~~4129~~··..k..KE.5V.~~.OzA)~~		00000680:·38ff·c7da·b1fa·52d1·418d·1571·e993·5e50··8.....R.A..q..^P
00000690:·~~c5b9~~·06dc·~~217d~~·~~83c4~~·~~9c6b~~·~~39e6~~·1957·5568··....!}.~~..k9~~..WUh		00000690:·4a71·a601·7748·df20·31e7·5a8e·79c6·5515··Jq..wH.·1.Z.y.U.
000006a0:·713a~~·b6~~4e·08ac·5f02·7970·~~c8af~~·~~91a~~4·~~3c18~~··q:.N.._.yp..~~..<~~.		000006a0:·5a9c·8ead·1302·eb97·401e·1cf2·6b24·290f··Z.......@...k$).
000006b0:·~~5041~~·~~c883~~·~~3e15~~·~~a698~~·~~8d5e~~·~~63bc~~·~~7b94~~·2e41··PA..>..~~..^c~~.{..A		000006b0:·0654·10f2·a04f·8529·66a3·d718·ef1e·a54b··.T...O.)f......K
000006c0:·~~66d2~~·~~a367~~·~~2415~~·~~c6ef~~·~~5235~~·7992·~~8ac6~~·~~b3b4~~··f..~~g$.~~..~~R5y~~.....		000006c0:·9099·f4e8·1949·85f1·bb54·4d9e·a4a2·f12c··.....I...TM....,
000006d0:·~~fa77~~·~~6299~~·~~7120~~·~~fe0c~~·~~c5b9~~·~~cc18~~·~~90c7~~·~~6282~~··.wb.q·........b.		000006d0:·adfe·9d58·661c·883f·4371·2e33·06e4·b198··...Xf..?Cq.3....
000006e0:·d03e·~~1553~~·~~2c7a~~·~~5404~~·~~95e1~~·~~aa94~~·~~4349~~·5~~517~~··.>.S~~,zT~~....~~.CIU~~.		000006e0:·20b4·4fc5·148b·1e15·4165·b82a·e550·52d5···.O.....Ae.*.PR.
000006f0:·5052·~~6d4a~~·~~2829~~·~~422b~~·0949·~~f1d8~~·~~ea64~~·~~0d2c~~··~~PRmJ()B+.I..~~.~~d.,~~		000006f0:·0594·549b·124a·8ad0·4a42·523c·b63a·5903··..T..J..JBR<.:Y.
00000700:·~~f455~~·~~9ccc~~·~~b84f~~·~~0e1d~~·~~32b6~~·~~f158~~·~~3b6b~~·1~~c0f~~··.U...O..2..~~X;k~~..		00000700:·0b7d·1527·33ee·9343·878c·6d3c·d6ce·1ac7··.}.'3..C..m<....
00000710:·00e0·~~bd92~~·~~236a~~·1a53·~~2b1d~~·~~bd9e~~·~~d85a~~·~~5ec4~~··....#j.~~S+.~~...Z^.		00000710:·0300·78af·e488·9ac6·d44a·47af·27b6·9617··..x......JG.'...
00000720:·~~8389~~·~~1f3c~~·~~01de~~·~~01ad~~·6~~5ea~~·~~a5c6~~·~~3bf8~~·~~9f7f~~··...<..~~..e~~...;...		00000720:·f160·e207·4f80·7740·6b99·7aa9·f10e·fee7··.`..O.w@k.z.....
00000730:·~~9d45~~·~~0564~~·d738·3f82·~~ffbd~~·03f~~7·c~~fef·~~11ed~~··~~.E.d~~.8?.........		00000730:·5f67·5101·d935·ce8f·e07f·efc0·fdf3·7b44··_gQ..5........{D
00000740:·~~512~~4·~~2207~~·2710·~~f2e7~~·~~08d5~~·6526·~~7898~~·0668··~~Q$"~~.'...~~..e&x~~..h		00000740:·7b14·89c8·c109·84fc·3942·7599·091e·a601··{.......9Bu.....
00000750:·~~de19~~·~~0737~~·~~1a47~~·e5ba·5751·143c·~~a5a8~~·~~02e6~~··...7.G..WQ.~~<..~~..		00000750:·9a77·c6c1·8dc6·51b9·ee55·1405·4f29·aa80··.w....Q..U..O)..
00000760:·~~53d0~~·~~7a88~~·~~a817~~·~~fc19~~·~~6cf8~~·~~4c63~~·~~d53d~~·~~cd84~~··S.z.....l.~~Lc.=..~~		00000760:·f914·b41e·22ea·057f·061b·3ed5·5875·4f33··....".....>.XuO3
00000770:·~~0f69~~·~~422f~~·~~2c57~~·1~~c56~~·6548·~~3dcd~~·~~d031~~·c~~3da~~··.~~iB/,W~~.~~VeH=..1~~..		00000770:·e143·9ad0·0bcb·1587·5519·524f·3374·ccb0··.C......U.RO3t..
00000780:·~~eaef~~·~~aaee~~·~~3d31~~·~~f3e7~~·7~~d6c~~·~~87ff~~·~~eaf5~~·~~eade~~··....=1..}l......		00000780:·b6fa·bbaa·7b4f·ccfc·791f·dbe1·bf7a·bdba··....{O..y....z..
00000790:·~~05ae~~·6abd·~~d303~~·~~5c64~~·~~52cf~~·~~5f7c~~·~~5c79~~·~~c1e~~0··..j...\dR.~~_\|\y..~~		00000790:·7781·ab5a·efe4·0017·99d4·f317·1f57·5e30··w..Z.........W^0
000007a0:·~~7f17~~·4~~169~~·1a7c·~~2e21~~·~~a6ad~~·~~c1a5~~·~~80a7~~·459e··..Ai.\|.!.~~....~~.E.		000007a0:·f8df·4550·9a06·9f4b·8869·6b70·29e0·6991··..EP...K.ikp).i.
Max diff block lines reached; -1/544765 bytes (-0.00%) of diff not shown.


Offset 11, 21 lines modified		Offset 11, 21 lines modified
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)·····1864·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Covers/endpages.dvi	16	-rw-r--r--···0·root·········(0)·root·········(0)·····1864·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Covers/endpages.dvi
17	-rw-r--r--···0·root·········(0)·root·········(0)····63242·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Covers/endpages.ps.gz	17	-rw-r--r--···0·root·········(0)·root·········(0)····63242·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Covers/endpages.ps.gz
18	-rw-r--r--···0·root·········(0)·root·········(0)······951·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Covers/titlepages.dvi.gz	18	-rw-r--r--···0·root·········(0)·root·········(0)······950·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Covers/titlepages.dvi.gz
19	-rw-r--r--···0·root·········(0)·root·········(0)····68602·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Covers/titlepages.ps.gz	19	-rw-r--r--···0·root·········(0)·root·········(0)····68602·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Covers/titlepages.ps.gz
20	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Description/	20	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Description/
21	-rw-r--r--···0·root·········(0)·root·········(0)···368958·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Description/description.dvi.gz	21	-rw-r--r--···0·root·········(0)·root·········(0)···368958·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Description/description.dvi.gz
22	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Guide/	22	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.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·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Libraries/	24	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Libraries/
25	-rw-r--r--···0·root·········(0)·root·········(0)·····2292·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Libraries/libraries.dvi	25	-rw-r--r--···0·root·········(0)·root·········(0)·····2292·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Libraries/libraries.dvi
26	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Reference/	26	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Reference/
27	-rw-r--r--···0·root·········(0)·root·········(0)···345~~499~~·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Reference/reference.dvi.gz	27	-rw-r--r--···0·root·········(0)·root·········(0)···345500·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Reference/reference.dvi.gz
28	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Tutorial/	28	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Tutorial/
29	-rw-r--r--···0·root·········(0)·root·········(0)···115416·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Tutorial/tutorial.dvi.gz	29	-rw-r--r--···0·root·········(0)·root·········(0)···115415·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/Manual/Tutorial/tutorial.dvi.gz
30	-rw-r--r--···0·root·········(0)·root·········(0)······506·2023-01-08·22:11:46.000000·./usr/share/doc/hol88-doc/changelog.Debian.gz	30	-rw-r--r--···0·root·········(0)·root·········(0)······506·2023-01-08·22:11:46.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 16, 15 lines modified		Offset 16, 15 lines modified
000000f0:·9b34·58cc·4552·7e4c·9312·285c·7fb9·7b87··.4X.ER~L..(\..{.		000000f0:·9b34·58cc·4552·7e4c·9312·285c·7fb9·7b87··.4X.ER~L..(\..{.
00000100:·1f9e·6bd5·ddfa·99c8·47d1·efd8·857f·0c15··..k.....G.......		00000100:·1f9e·6bd5·ddfa·99c8·47d1·efd8·857f·0c15··..k.....G.......
00000110:·1f92·f03a·9d63·55c1·dedc·7cfb·743b·fa45··...:.cU...\|.t;.E		00000110:·1f92·f03a·9d63·55c1·dedc·7cfb·743b·fa45··...:.cU...\|.t;.E
00000120:·8cb1·e30b·7ef0·fcfc·dccb·d530·c55a·f482··....~......0.Z..		00000120:·8cb1·e30b·7ef0·fcfc·dccb·d530·c55a·f482··....~......0.Z..
00000130:·747e·a871·b089·9f84·9fa3·4468·c959·23d6··t~.q......Dh.Y#.		00000130:·747e·a871·b089·9f84·9fa3·4468·c959·23d6··t~.q......Dh.Y#.
00000140:·38b7·7eee·cf45·2972·e82a·cca2·7f3b·755d··8.~..E)r.*...;u]		00000140:·38b7·7eee·cf45·2972·e82a·cca2·7f3b·755d··8.~..E)r.*...;u]
00000150:·5d33·4a17·7900·0d39·8a38·5d94·d982·647a··]3J.y..9.8]...dz		00000150:·5d33·4a17·7900·0d39·8a38·5d94·d982·647a··]3J.y..9.8]...dz
00000160:·dc73·bd9e·7b76·~~e1be~~·~~eb23~~·~~6757~~·621a·25b7··.s..{v.~~..#gW~~b.%.		00000160:·dc73·bd9e·fbee·c273·4f4e·70a4·621a·25b7··.s.....sONp.b.%.
00000170:·791a·8c44·0902·15ab·5e96·a738·64f6·e607··y..D....^..8d...		00000170:·791a·8c44·0902·15ab·5e96·a738·64f6·e607··y..D....^..8d...
00000180:·e640·d39b·2828·f9c0·7579·8885·504c·b801··.@..((..uy..PL..		00000180:·e640·d39b·2828·f9c0·7579·8885·504c·b801··.@..((..uy..PL..
00000190:·8eb1·a933·9400·dbc0·3fe7·4a8e·a324·4494··...3....?.J..$D.		00000190:·8eb1·a933·9400·dbc0·3fe7·4a8e·a324·4494··...3....?.J..$D.
000001a0:·cdd0·1949·b10a·6650·b897·2336·dc5c·3997··...I..fP..#6.\9.		000001a0:·cdd0·1949·b10a·6650·b897·2336·dc5c·3997··...I..fP..#6.\9.
000001b0:·325c·64f0·fc7a·27cb·dc4f·8a18·a608·aaa3··2\d..z'..O......		000001b0:·325c·64f0·fc7a·27cb·dc4f·8a18·a608·aaa3··2\d..z'..O......
000001c0:·222e·f8c4·8f0b·c187·ceb2·0099·71cf·e367··"...........q..g		000001c0:·222e·f8c4·8f0b·c187·ceb2·0099·71cf·e367··"...........q..g
000001d0:·7d3e·5fc4·0099·11e4·5def·0440·4c81·6210··}>_.....]..@L.b.		000001d0:·7d3e·5fc4·0099·11e4·5def·0440·4c81·6210··}>_.....]..@L.b.
Offset 4281, 8 lines modified		Offset 4281, 8 lines modified
00010b80:·b74e·9362·0c34·35fb·8954·8f46·70ed·482a··.N.b.45..T.Fp.H*		00010b80:·b74e·9362·0c34·35fb·8954·8f46·70ed·482a··.N.b.45..T.Fp.H*
00010b90:·cb94·88ed·838f·faf0·a731·50dc·f5d8·9bab··.........1P.....		00010b90:·cb94·88ed·838f·faf0·a731·50dc·f5d8·9bab··.........1P.....
00010ba0:·bcc3·de9c·185c·b357·17e5·b767·2ffe·62e7··.....\.W...g/.b.		00010ba0:·bcc3·de9c·185c·b357·17e5·b767·2ffe·62e7··.....\.W...g/.b.
00010bb0:·8f62·6f9c·7d53·f616·aae8·b017·5715·cfec··.bo.}S......W...		00010bb0:·8f62·6f9c·7d53·f616·aae8·b017·5715·cfec··.bo.}S......W...
00010bc0:·fd4a·ecb5·ca76·d88b·bfff·3cb3·f777·b3b7··.J...v....<..w..		00010bc0:·fd4a·ecb5·ca76·d88b·bfff·3cb3·f777·b3b7··.J...v....<..w..
00010bd0:·36d7·0ff7·d596·e3cc·0baa·985c·6f36·bfaa··6..........\o6..		00010bd0:·36d7·0ff7·d596·e3cc·0baa·985c·6f36·bfaa··6..........\o6..
00010be0:·5f6f·379f·6ef7·fef5·33c5·ad64·ceff·fe3a··_o7.n...3..d...:		00010be0:·5f6f·379f·6ef7·fef5·33c5·ad64·ceff·fe3a··_o7.n...3..d...:
00010bf0:·faff·~~c329~~·~~f15f~~·daf7·0300·················...)._....		00010bf0:·faff·25ce·a4de·daf7·0300·················..%.......


Offset 1, 21 lines modified		Offset 1, 21 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·342e··TeX·output·2024.		00000010:·5465·5820·6f75·7470·7574·2032·3032·342e··TeX·output·2024.
00000020:·3031·2e30·373a·3038·3139·8b00·0000·0100··01.07:~~0819~~......		00000020:·3031·2e30·383a·3130·3532·8b00·0000·0100··01.08:1052......
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·ff8d·ef1a·6865·6164·6572··..........header		00000050:·0000·00ff·ffff·ff8d·ef1a·6865·6164·6572··..........header
00000060:·3d6c·3362·6163·6b65·6e64·2d64·7669·7073··=l3backend-dvips		00000060:·3d6c·3362·6163·6b65·6e64·2d64·7669·7073··=l3backend-dvips
00000070:·2e70·726f·8ea0·02cc·0555·8da0·fd46·d30e··.pro.....U...F..		00000070:·2e70·726f·8ea0·02cc·0555·8da0·fd46·d30e··.pro.....U...F..
00000080:·a002·942f·df8d·a0fd·6cd0·218d·9112·c761··.../....l.!....a		00000080:·a002·942f·df8d·a0fd·6cd0·218d·9112·c761··.../....l.!....a
00000090:·f321·c2d6·4ea0·000c·0000·000c·0000·0006··.!..N...........		00000090:·f321·c2d6·4ea0·000c·0000·000c·0000·0006··.!..N...........
000000a0:·636d·6278·3132·cc56·4552·5349·4f4e·9604··cmbx12.VERSION..		000000a0:·636d·6278·3132·cc56·4552·5349·4f4e·9604··cmbx12.VERSION..
000000b0:·8000·3293·2866·6f72·9348·4f4c·3838·2e32··..2.(for.HOL88.2		000000b0:·8000·3293·2866·6f72·9348·4f4c·3838·2e32··..2.(for.HOL88.2
000000c0:·2e30·2992·00bc·975c·4a61·6e90·a000·7561··.0)....\Jan...ua		000000c0:·2e30·2992·00bc·975c·4a61·6e90·a000·7561··.0)....\Jan...ua
000000d0:·7279·9337·2c93·3230·3234·8ea0·00cc·fe89··ry.7,.2024......		000000d0:·7279·9338·2c93·3230·3234·8ea0·00cc·fe89··ry.8,.2024......
000000e0:·8d92·008b·24ae·f323·c2d6·4ea0·0018·e148··....$..#..N....H		000000e0:·8d92·008b·24ae·f323·c2d6·4ea0·0018·e148··....$..#..N....H
000000f0:·000c·0000·0006·636d·6278·3132·ce54·6865··......cmbx12.The		000000f0:·000c·0000·0006·636d·6278·3132·ce54·6865··......cmbx12.The
00000100:·9609·547b·484f·4c93·5379·7374·656d·8e9f··..T{HOL.System..		00000100:·9609·547b·484f·4c93·5379·7374·656d·8e9f··..T{HOL.System..
00000110:·1f72·d98d·9200·a389·6ff3·25c2·d64e·a000··.r......o.%..N..		00000110:·1f72·d98d·9200·a389·6ff3·25c2·d64e·a000··.r......o.%..N..
00000120:·14bd·7100·0c00·0000·0663·6d62·7831·32d0··..q......cmbx12.		00000120:·14bd·7100·0c00·0000·0663·6d62·7831·32d0··..q......cmbx12.
00000130:·4445·5343·5249·5054·494f·4e8e·a001·80a8··DESCRIPTION.....		00000130:·4445·5343·5249·5054·494f·4e8e·a001·80a8··DESCRIPTION.....
00000140:·d18d·8d8d·9ee6·638d·8d91·3a5b·61f3·2058··......c...:[a.·X		00000140:·d18d·8d8d·9ee6·638d·8d91·3a5b·61f3·2058··......c...:[a.·X


Offset 1, 20 lines modified		Offset 1, 20 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·342e··TeX·output·2024.		00000010:·5465·5820·6f75·7470·7574·2032·3032·342e··TeX·output·2024.
00000020:·3031·2e30·373a·3038·3138·8b00·0000·0100··01.07:~~0818~~......		00000020:·3031·2e30·383a·3130·3532·8b00·0000·0100··01.08:1052......
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·ff8d·ef1a·6865·6164·6572··..........header		00000050:·0000·00ff·ffff·ff8d·ef1a·6865·6164·6572··..........header
00000060:·3d6c·3362·6163·6b65·6e64·2d64·7669·7073··=l3backend-dvips		00000060:·3d6c·3362·6163·6b65·6e64·2d64·7669·7073··=l3backend-dvips
00000070:·2e70·726f·8ea0·02cc·0555·8da0·fd46·d30e··.pro.....U...F..		00000070:·2e70·726f·8ea0·02cc·0555·8da0·fd46·d30e··.pro.....U...F..
00000080:·a002·942f·df8d·a0fd·6cd0·218d·9112·c761··.../....l.!....a		00000080:·a002·942f·df8d·a0fd·6cd0·218d·9112·c761··.../....l.!....a
00000090:·f321·c2d6·4ea0·000c·0000·000c·0000·0006··.!..N...........		00000090:·f321·c2d6·4ea0·000c·0000·000c·0000·0006··.!..N...........
000000a0:·636d·6278·3132·cc56·4552·5349·4f4e·9604··cmbx12.VERSION..		000000a0:·636d·6278·3132·cc56·4552·5349·4f4e·9604··cmbx12.VERSION..
000000b0:·8000·3292·011f·c924·4a61·6e90·a000·7561··..2....$Jan...ua		000000b0:·8000·3292·011f·c924·4a61·6e90·a000·7561··..2....$Jan...ua
000000c0:·7279·9337·2c93·3230·3234·8ea0·00cc·53dd··ry.7,.2024....S.		000000c0:·7279·9338·2c93·3230·3234·8ea0·00cc·53dd··ry.8,.2024....S.
000000d0:·8d92·008b·24ae·f323·c2d6·4ea0·0018·e148··....$..#..N....H		000000d0:·8d92·008b·24ae·f323·c2d6·4ea0·0018·e148··....$..#..N....H
000000e0:·000c·0000·0006·636d·6278·3132·ce54·6865··......cmbx12.The		000000e0:·000c·0000·0006·636d·6278·3132·ce54·6865··......cmbx12.The
000000f0:·9609·547b·484f·4c93·5379·7374·656d·8e9f··..T{HOL.System..		000000f0:·9609·547b·484f·4c93·5379·7374·656d·8e9f··..T{HOL.System..
00000100:·1f72·d98d·9200·b794·abf3·25c2·d64e·a000··.r........%..N..		00000100:·1f72·d98d·9200·b794·abf3·25c2·d64e·a000··.r........%..N..
00000110:·14bd·7100·0c00·0000·0663·6d62·7831·32d0··..q......cmbx12.		00000110:·14bd·7100·0c00·0000·0663·6d62·7831·32d0··..q......cmbx12.
00000120:·5455·544f·5249·414c·8ea0·0180·a8d1·8d8d··TUTORIAL........		00000120:·5455·544f·5249·414c·8ea0·0180·a8d1·8d8d··TUTORIAL........
00000130:·8d9e·e663·8d8d·913a·5b61·f320·58ab·510b··...c...:[a.·X.Q.		00000130:·8d9e·e663·8d8d·913a·5b61·f320·58ab·510b··...c...:[a.·X.Q.


Offset 236, 39 lines modified		Offset 236, 39 lines modified
236	COMMON-LISPPROGN»	236	COMMON-LISPPROGN»
237	SYSTEMSETVV	237	SYSTEMSETVV
238	MK-NULLTYP»	238	MK-NULLTYP»
239	MK-APPN»	239	MK-APPN»
240	PNEWLINE	240	PNEWLINE
241	MK-NULLTYP»	241	MK-NULLTYP»
242	loading·abs_theory»	242	loading·abs_theory»
243	FUN%8~~517~~%43	243	FUN%733%59
244	MK-NULLTYP»	244	MK-NULLTYP»
245	Extending·help·search·path»	245	Extending·help·search·path»
246	TTY-WRITE-AND-DRAIN»	246	TTY-WRITE-AND-DRAIN»
247	ML-LIBRARY_PATHNAME»	247	ML-LIBRARY_PATHNAME»
248	/abs_theory/help/entries/»	248	/abs_theory/help/entries/»
249	FUN%8~~517~~%36»	249	FUN%733%52»
250	ML-HELP_SEARCH_PATH»	250	ML-HELP_SEARCH_PATH»
251	FUN%320%48»	251	FUN%2727%55»
252	ML-SET_HELP_SEARCH_PATH	252	ML-SET_HELP_SEARCH_PATH
253	MK-BEGIN	253	MK-BEGIN
254	abs_theory	254	abs_theory
255	ML-MK_CONST»	255	ML-MK_CONST»
256	FUN%2981%679
257	FUN%2981%679
258	FUN%2981%680
259	FUN%~~2981~~%~~680~~	256	FUN%7425%561
		257	FUN%7425%561
		258	FUN%7425%562
		259	FUN%7425%562
260	ML-INT_OF_STRING»	260	ML-INT_OF_STRING»
261	FUN%2981%681
262	FUN%2981%681
263	FUN%2981%682
264	FUN%~~2981~~%~~682~~	261	FUN%7425%563
		262	FUN%7425%563
		263	FUN%7425%564
		264	FUN%7425%564
265	ML-DEST_CONST»	265	ML-DEST_CONST»
266	FUN%2981%683
267	FUN%~~2981~~%~~683~~	266	FUN%7425%565
		267	FUN%7425%565
268	MK-PRODTYP»	268	MK-PRODTYP»
269	» MK-FUNTYP	269	» MK-FUNTYP
270	» MK-INTTYP	270	» MK-INTTYP
271	MK-TERMTYP»	271	MK-TERMTYP»
272	» MK-FUNTYP	272	» MK-FUNTYP
273	MK-TERMTYP	273	MK-TERMTYP
274	» MK-INTTYP»	274	» MK-INTTYP»
Offset 276, 377 lines modified		Offset 276, 377 lines modified
276	» MK-FUNTYP	276	» MK-FUNTYP
277	» MK-INTTYP	277	» MK-INTTYP
278	MK-TERMTYP	278	MK-TERMTYP
279	term_to_int	279	term_to_int
280	» MK-FUNTYP	280	» MK-FUNTYP
281	MK-TERMTYP	281	MK-TERMTYP
282	» MK-INTTYP»	282	» MK-INTTYP»
283	MK-LET%int_to_term%~~677~~	283	MK-LET%int_to_term%559
284	MK-LET%term_to_int%~~678~~»	284	MK-LET%term_to_int%560»
285	EVALUATION»	285	EVALUATION»
286	» Q-MK_TYPE»	286	» Q-MK_TYPE»
287	FUN%~~2981~~%~~679~~	287	FUN%7425%561
288	mk_const»	288	mk_const»
289	FUN%8517%88»
290	FUN%8517%68»
291	FUN%~~2981%680~~	289	FUN%733%104»
		290	FUN%733%84»
		291	FUN%7425%562
292	string_of_int»	292	string_of_int»
293	FUN%8517%46»
294	FUN%2~~981~~%681	293	FUN%733%62»
		294	FUN%7425%563
295	int_of_string	295	int_of_string
296	FUN%2981%682
297	FUN%~~2981~~%~~683~~	296	FUN%7425%564
		297	FUN%7425%565
298	dest_const»	298	dest_const»
299	int_to_term	299	int_to_term
300	term_to_int	300	term_to_int
301	-SPUTPROP	301	-SPUTPROP
302	FUN%~~2981~~%686	302	FUN%7425%568
303	» CURRYBIND	303	» CURRYBIND
304	-SPUTPROP	304	-SPUTPROP
305	FUN%~~2981~~%~~685~~	305	FUN%7425%567
306	» CURRYBIND	306	» CURRYBIND
307	FUN%2981%686
308	FUN%2981%686»
309	FUN%2981%686
310	FUN%2981%686
311	FUN%2981%685
312	FUN%~~2981~~%685	307	FUN%7425%568
		308	FUN%7425%568»
		309	FUN%7425%568
		310	FUN%7425%568
		311	FUN%7425%567
		312	FUN%7425%567
313	» MK-FUNTYP	313	» MK-FUNTYP
314	» MK-INTTYP»	314	» MK-INTTYP»
315	» MK-FUNTYP	315	» MK-FUNTYP
316	» MK-LISTYP	316	» MK-LISTYP
317	» MK-LISTYP	317	» MK-LISTYP
318	» MK-FUNTYP	318	» MK-FUNTYP
319	» MK-INTTYP»	319	» MK-INTTYP»
320	» MK-FUNTYP	320	» MK-FUNTYP
321	» MK-LISTYP	321	» MK-LISTYP
322	» MK-LISTYP	322	» MK-LISTYP
323	» MK-LETREC»	323	» MK-LETREC»
324	MK-LETREC%for%~~684~~»	324	MK-LETREC%for%566»
325	FUN%~~2981~~%~~685~~»	325	FUN%7425%567»
326	-SPUTPROP	326	-SPUTPROP
327	FUN%~~2981~~%~~688~~	327	FUN%7425%570
328	» CURRYBIND	328	» CURRYBIND
329	MK-LET%I%57»	329	MK-LET%I%73»
330	FUN%2981%688»
331	FUN%2981%688
332	FUN%~~2981~~%~~688~~	330	FUN%7425%570»
		331	FUN%7425%570
		332	FUN%7425%570
333	» MK-FUNTYP	333	» MK-FUNTYP
334	» MK-LISTYP»	334	» MK-LISTYP»
335	» MK-FUNTYP	335	» MK-FUNTYP
336	» MK-FUNTYP	336	» MK-FUNTYP
337	» MK-FUNTYP	337	» MK-FUNTYP
338	» MK-LISTYP»	338	» MK-LISTYP»
339	» MK-FUNTYP	339	» MK-FUNTYP
340	» MK-FUNTYP	340	» MK-FUNTYP
341	MK-LETREC%ol%~~687~~»	341	MK-LETREC%ol%569»
342	-SPUTPROP	342	-SPUTPROP
343	FUN%~~2981~~%~~691~~	343	FUN%7425%573
344	» CURRYBIND	344	» CURRYBIND
Max diff block lines reached; 24774/26950 bytes (91.93%) of diff not shown.


Offset 197, 35 lines modified		Offset 197, 35 lines modified
197	.comment	197	.comment
198	.note.GNU-stack	198	.note.GNU-stack
199	.rel.debug_frame	199	.rel.debug_frame
200	.ARM.attributes	200	.ARM.attributes
201	COMMON-LISP-USER	201	COMMON-LISP-USER
202	SYSTEMSPUTPROP	202	SYSTEMSPUTPROP
203	COMMON-LISPQUOTE	203	COMMON-LISPQUOTE
204	FUN%~~7416~~%613	204	FUN%1891%626
205	» CURRYBIND	205	» CURRYBIND
206	,SPUTPROP	206	,SPUTPROP
207	FUN%~~7416~~%614	207	FUN%1891%627
208	» CURRYBIND	208	» CURRYBIND
209	,SPUTPROP	209	,SPUTPROP
210	FUN%~~7416~~%615	210	FUN%1891%628
211	» CURRYBIND	211	» CURRYBIND
212	FUN%~~7416~~%614	212	FUN%1891%627
213	EVALUATION»	213	EVALUATION»
214	ML-MK_CONST»	214	ML-MK_CONST»
215	ML-MK_COMB»	215	ML-MK_COMB»
216	FUN%7416%613
217	FUN%~~7416~~%613	216	FUN%1891%626
		217	FUN%1891%626
218	» Q-MK_TYPE»	218	» Q-MK_TYPE»
219	FUN%7416%613»
220	FUN%7416%614
221	FUN%7416%614
222	FUN%7416%614»
223	FUN%7416%615
224	FUN%~~7416~~%615	219	FUN%1891%626»
		220	FUN%1891%627
		221	FUN%1891%627
		222	FUN%1891%627»
		223	FUN%1891%628
		224	FUN%1891%628
225	» MK-FUNTYP	225	» MK-FUNTYP
226	» MK-TOKTYP»	226	» MK-TOKTYP»
227	» MK-FUNTYP	227	» MK-FUNTYP
228	» MK-TOKTYP»	228	» MK-TOKTYP»
229	» MK-FUNTYP»	229	» MK-FUNTYP»
230	MK-PRODTYP	230	MK-PRODTYP
231	MK-TERMTYP	231	MK-TERMTYP
Offset 237, 17 lines modified		Offset 237, 17 lines modified
237	» MK-FUNTYP	237	» MK-FUNTYP
238	» MK-TOKTYP»	238	» MK-TOKTYP»
239	» MK-FUNTYP»	239	» MK-FUNTYP»
240	MK-PRODTYP	240	MK-PRODTYP
241	MK-TERMTYP	241	MK-TERMTYP
242	MK-TERMTYP	242	MK-TERMTYP
243	MK-TERMTYP»	243	MK-TERMTYP»
244	MK-LET%mk_arith_op%612»	244	MK-LET%mk_arith_op%625»
245	mk_arith_op»	245	mk_arith_op»
246	FUN%~~7416~~%615	246	FUN%1891%628
247	MK-PRODTYP»	247	MK-PRODTYP»
248	» MK-FUNTYP»	248	» MK-FUNTYP»
249	MK-PRODTYP	249	MK-PRODTYP
250	MK-TERMTYP	250	MK-TERMTYP
251	MK-TERMTYP	251	MK-TERMTYP
252	MK-TERMTYP»	252	MK-TERMTYP»
253	MK-PRODTYP»	253	MK-PRODTYP»
Offset 273, 56 lines modified		Offset 273, 56 lines modified
273	MK-TERMTYP	273	MK-TERMTYP
274	MK-TERMTYP	274	MK-TERMTYP
275	» MK-FUNTYP»	275	» MK-FUNTYP»
276	MK-PRODTYP	276	MK-PRODTYP
277	MK-TERMTYP	277	MK-TERMTYP
278	MK-TERMTYP	278	MK-TERMTYP
279	MK-TERMTYP»	279	MK-TERMTYP»
280	MK-LET%mk_plus%616	280	MK-LET%mk_plus%629
281	MK-LET%mk_minus%617	281	MK-LET%mk_minus%630
282	MK-LET%mk_mult%618»	282	MK-LET%mk_mult%631»
283	mk_plus»	283	mk_plus»
284	mk_minus»	284	mk_minus»
285	mk_mult»	285	mk_mult»
286	mk_minus	286	mk_minus
287	,SPUTPROP	287	,SPUTPROP
288	FUN%~~7416~~%620	288	FUN%1891%633
289	» CURRYBIND	289	» CURRYBIND
290	,SPUTPROP	290	,SPUTPROP
291	FUN%~~7416~~%621	291	FUN%1891%634
292	» CURRYBIND	292	» CURRYBIND
293	,SPUTPROP	293	,SPUTPROP
294	FUN%~~7416~~%622	294	FUN%1891%635
295	» CURRYBIND	295	» CURRYBIND
296	,SPUTPROP	296	,SPUTPROP
297	FUN%~~7416~~%623	297	FUN%1891%636
298	» CURRYBIND	298	» CURRYBIND
299	FUN%~~7416~~%622	299	FUN%1891%635
300	ML-DEST_CONST»	300	ML-DEST_CONST»
301	FUN%7416%620
302	FUN%~~7416~~%620	301	FUN%1891%633
		302	FUN%1891%633
303	ML-DEST_COMB»	303	ML-DEST_COMB»
304	MK-LET%I%57»	304	MK-LET%I%73»
305	FUN%8517%53»
306	FUN%7416%624	305	FUN%733%69»
		306	FUN%1891%637
307	» dest_comb»	307	» dest_comb»
308	FUN%8517%46»
309	FUN%8517%52»
310	FUN%7416%621
311	FUN%7416%621
312	FUN%7416%620»	308	FUN%733%62»
313	FUN%8517%94»
314	FUN%7416%621»
315	FUN%7416%622
316	FUN%7416%622
317	FUN%7416%622»
318	FUN%7416%623
319	FUN%7416%623
320	FUN%7416%624
321	FUN%7416%624	309	FUN%733%68»
		310	FUN%1891%634
		311	FUN%1891%634
		312	FUN%1891%633»
		313	FUN%733%110»
		314	FUN%1891%634»
		315	FUN%1891%635
		316	FUN%1891%635
		317	FUN%1891%635»
		318	FUN%1891%636
		319	FUN%1891%636
		320	FUN%1891%637
		321	FUN%1891%637
322	» MK-FUNTYP	322	» MK-FUNTYP
323	» MK-TOKTYP»	323	» MK-TOKTYP»
324	» MK-FUNTYP	324	» MK-FUNTYP
325	» MK-TOKTYP»	325	» MK-TOKTYP»
Max diff block lines reached; 7179/9288 bytes (77.29%) of diff not shown.


Offset 164, 561 lines modified		Offset 164, 561 lines modified
164	COMMON-LISPPROGN»	164	COMMON-LISPPROGN»
165	SYSTEMSETVV	165	SYSTEMSETVV
166	» MK-THMTYP»	166	» MK-THMTYP»
167	» MK-LETREF	167	» MK-LETREF
168	ONE_PLUS	168	ONE_PLUS
169	» MK-THMTYP»	169	» MK-THMTYP»
170	» MK-LETREF»	170	» MK-LETREF»
171	MK-LETREF%ONE_PLUS%619»	171	MK-LETREF%ONE_PLUS%606»
172	ONE_PLUS»	172	ONE_PLUS»
173	MK-LET%TRUTH%144	173	MK-LET%TRUTH%119
174	» MK-THMTYP»	174	» MK-THMTYP»
175	» MK-LETREF	175	» MK-LETREF
176	» ZERO_PLUS	176	» ZERO_PLUS
177	» MK-THMTYP»	177	» MK-THMTYP»
178	MK-LETREF%ZERO_PLUS%620»	178	MK-LETREF%ZERO_PLUS%607»
179	» ZERO_PLUS	179	» ZERO_PLUS
180	» MK-THMTYP»	180	» MK-THMTYP»
181	» MK-LETREF	181	» MK-LETREF
182	» PLUS_ZERO	182	» PLUS_ZERO
183	» MK-THMTYP»	183	» MK-THMTYP»
184	MK-LETREF%PLUS_ZERO%621»	184	MK-LETREF%PLUS_ZERO%608»
185	» PLUS_ZERO	185	» PLUS_ZERO
186	» MK-THMTYP»	186	» MK-THMTYP»
187	» MK-LETREF	187	» MK-LETREF
188	SUC_ADD1	188	SUC_ADD1
189	» MK-THMTYP»	189	» MK-THMTYP»
190	MK-LETREF%SUC_ADD1%622»	190	MK-LETREF%SUC_ADD1%609»
191	SUC_ADD1	191	SUC_ADD1
192	» MK-THMTYP»	192	» MK-THMTYP»
193	» MK-LETREF	193	» MK-LETREF
194	SUC_ADD2	194	SUC_ADD2
195	» MK-THMTYP»	195	» MK-THMTYP»
196	MK-LETREF%SUC_ADD2%623»	196	MK-LETREF%SUC_ADD2%610»
197	SUC_ADD2	197	SUC_ADD2
198	» MK-THMTYP»	198	» MK-THMTYP»
199	» MK-LETREF	199	» MK-LETREF
200	» ZERO_MULT	200	» ZERO_MULT
201	» MK-THMTYP»	201	» MK-THMTYP»
202	MK-LETREF%ZERO_MULT%624»	202	MK-LETREF%ZERO_MULT%611»
203	» ZERO_MULT	203	» ZERO_MULT
204	» MK-THMTYP»	204	» MK-THMTYP»
205	» MK-LETREF	205	» MK-LETREF
206	ONE_MULT	206	ONE_MULT
207	» MK-THMTYP»	207	» MK-THMTYP»
208	MK-LETREF%ONE_MULT%625»	208	MK-LETREF%ONE_MULT%612»
209	ONE_MULT	209	ONE_MULT
210	» MK-THMTYP»	210	» MK-THMTYP»
211	» MK-LETREF	211	» MK-LETREF
212	» MULT_ZERO	212	» MULT_ZERO
213	» MK-THMTYP»	213	» MK-THMTYP»
214	MK-LETREF%MULT_ZERO%626»	214	MK-LETREF%MULT_ZERO%613»
215	» MULT_ZERO	215	» MULT_ZERO
216	» MK-THMTYP»	216	» MK-THMTYP»
217	» MK-LETREF	217	» MK-LETREF
218	MULT_ONE	218	MULT_ONE
219	» MK-THMTYP»	219	» MK-THMTYP»
220	MK-LETREF%MULT_ONE%627»	220	MK-LETREF%MULT_ONE%614»
221	MULT_ONE	221	MULT_ONE
222	» MK-THMTYP»	222	» MK-THMTYP»
223	» MK-LETREF	223	» MK-LETREF
224	MULT_SUC	224	MULT_SUC
225	» MK-THMTYP»	225	» MK-THMTYP»
226	MK-LETREF%MULT_SUC%628»	226	MK-LETREF%MULT_SUC%615»
227	MULT_SUC	227	MULT_SUC
228	» MK-THMTYP»	228	» MK-THMTYP»
229	» MK-LETREF	229	» MK-LETREF
230	» MULT_COMM	230	» MULT_COMM
231	» MK-THMTYP»	231	» MK-THMTYP»
232	MK-LETREF%MULT_COMM%629»	232	MK-LETREF%MULT_COMM%616»
233	» MULT_COMM	233	» MULT_COMM
234	» MK-THMTYP»	234	» MK-THMTYP»
235	» MK-LETREF	235	» MK-LETREF
236	SUC_ADD_LESS_EQ_F	236	SUC_ADD_LESS_EQ_F
237	» MK-THMTYP»	237	» MK-THMTYP»
238	MK-LETREF%SUC_ADD_LESS_EQ_F%630»	238	MK-LETREF%SUC_ADD_LESS_EQ_F%617»
239	SUC_ADD_LESS_EQ_F	239	SUC_ADD_LESS_EQ_F
240	» MK-THMTYP»	240	» MK-THMTYP»
241	» MK-LETREF	241	» MK-LETREF
242	MULT_LEQ_SUC	242	MULT_LEQ_SUC
243	» MK-THMTYP»	243	» MK-THMTYP»
244	MK-LETREF%MULT_LEQ_SUC%631»	244	MK-LETREF%MULT_LEQ_SUC%618»
245	MULT_LEQ_SUC	245	MULT_LEQ_SUC
246	» MK-THMTYP»	246	» MK-THMTYP»
247	» MK-LETREF	247	» MK-LETREF
248	ZERO_LESS_EQ_T	248	ZERO_LESS_EQ_T
249	» MK-THMTYP»	249	» MK-THMTYP»
250	MK-LETREF%ZERO_LESS_EQ_T%632»	250	MK-LETREF%ZERO_LESS_EQ_T%619»
251	ZERO_LESS_EQ_T	251	ZERO_LESS_EQ_T
252	» MK-THMTYP»	252	» MK-THMTYP»
253	» MK-LETREF	253	» MK-LETREF
254	SUC_LESS_EQ_ZERO_F	254	SUC_LESS_EQ_ZERO_F
255	» MK-THMTYP»	255	» MK-THMTYP»
256	·MK-LETREF%SUC_LESS_EQ_ZERO_F%633»	256	·MK-LETREF%SUC_LESS_EQ_ZERO_F%620»
257	SUC_LESS_EQ_ZERO_F	257	SUC_LESS_EQ_ZERO_F
258	» MK-THMTYP»	258	» MK-THMTYP»
259	» MK-LETREF	259	» MK-LETREF
260	ZERO_LESS_EQ_ONE_TIMES	260	ZERO_LESS_EQ_ONE_TIMES
261	» MK-THMTYP»	261	» MK-THMTYP»
262	$MK-LETREF%ZERO_LESS_EQ_ONE_TIMES%634»	262	$MK-LETREF%ZERO_LESS_EQ_ONE_TIMES%621»
263	ZERO_LESS_EQ_ONE_TIMES	263	ZERO_LESS_EQ_ONE_TIMES
264	» MK-THMTYP»	264	» MK-THMTYP»
265	» MK-LETREF	265	» MK-LETREF
266	LESS_EQ_PLUS	266	LESS_EQ_PLUS
267	» MK-THMTYP»	267	» MK-THMTYP»
268	MK-LETREF%LESS_EQ_PLUS%635»	268	MK-LETREF%LESS_EQ_PLUS%622»
269	LESS_EQ_PLUS	269	LESS_EQ_PLUS
270	» MK-THMTYP»	270	» MK-THMTYP»
271	» MK-LETREF	271	» MK-LETREF
272	LESS_EQ_TRANSIT	272	LESS_EQ_TRANSIT
273	» MK-THMTYP»	273	» MK-THMTYP»
274	MK-LETREF%LESS_EQ_TRANSIT%636»	274	MK-LETREF%LESS_EQ_TRANSIT%623»
275	LESS_EQ_TRANSIT	275	LESS_EQ_TRANSIT
276	» MK-THMTYP»	276	» MK-THMTYP»
277	» MK-LETREF	277	» MK-LETREF
278	» MK-THMTYP»	278	» MK-THMTYP»
279	MK-LETREF%NOT_T_F%637»	279	MK-LETREF%NOT_T_F%624»
280	» MK-THMTYP»	280	» MK-THMTYP»
281	» MK-LETREF	281	» MK-LETREF
282	» MK-THMTYP»	282	» MK-THMTYP»
283	MK-LETREF%NOT_F_T%638»	283	MK-LETREF%NOT_F_T%625»
284	» MK-FUNTYP	284	» MK-FUNTYP
285	MK-TERMTYP	285	MK-TERMTYP
286	» MK-THMTYP»	286	» MK-THMTYP»
287	» MK-LETREF	287	» MK-LETREF
288	CONJ_ASSOC_NORM_CONV	288	CONJ_ASSOC_NORM_CONV
289	» MK-FUNTYP	289	» MK-FUNTYP
290	MK-TERMTYP	290	MK-TERMTYP
Max diff block lines reached; 8300/10880 bytes (76.29%) of diff not shown.


Offset 195, 114 lines modified		Offset 195, 114 lines modified
195	.comment	195	.comment
196	.note.GNU-stack	196	.note.GNU-stack
197	.rel.debug_frame	197	.rel.debug_frame
198	.ARM.attributes	198	.ARM.attributes
199	COMMON-LISP-USER	199	COMMON-LISP-USER
200	SYSTEMSPUTPROP	200	SYSTEMSPUTPROP
201	COMMON-LISPQUOTE	201	COMMON-LISPQUOTE
202	FUN%~~3166~~%781	202	FUN%4381%734
203	» CURRYBIND	203	» CURRYBIND
204	MK-LET%is_suc%662»	204	MK-LET%is_suc%675»
205	FUN%8~~517~~%90»	205	FUN%733%106»
206	MK-LET%SUC_CONV%720»	206	MK-LET%SUC_CONV%625»
207	FUN%6537%661»
208	FUN%~~6537~~%~~643~~»	207	FUN%2118%580»
		208	FUN%2118%562»
209	MK-LET%is_plus%628»	209	MK-LET%is_plus%641»
210	MK-LET%ADD_CONV%~~748~~»	210	MK-LET%ADD_CONV%653»
211	FUN%~~6537~~%~~670~~»	211	FUN%2118%589»
212	MK-LET%is_mult%630»	212	MK-LET%is_mult%643»
213	MK-LET%MUL_CONV%~~759~~»	213	MK-LET%MUL_CONV%664»
214	FUN%6537%641»
215	FUN%3166%781
216	FUN%3166%~~781~~	214	FUN%2118%560»
		215	FUN%4381%734
		216	FUN%4381%734
217	» MK-FUNTYP	217	» MK-FUNTYP
218	MK-TERMTYP	218	MK-TERMTYP
219	» MK-THMTYP»	219	» MK-THMTYP»
220	NUM_REDUCE_QCONV	220	NUM_REDUCE_QCONV
221	» MK-FUNTYP	221	» MK-FUNTYP
222	MK-TERMTYP	222	MK-TERMTYP
223	» MK-THMTYP»	223	» MK-THMTYP»
224	» MK-LETREC»	224	» MK-LETREC»
225	MK-LETREC%NUM_REDUCE_QCONV%780»	225	MK-LETREC%NUM_REDUCE_QCONV%733»
226	FUN%~~3166~~%781»	226	FUN%4381%734»
227	NUM_REDUCE_QCONV	227	NUM_REDUCE_QCONV
228	,SPUTPROP	228	,SPUTPROP
229	FUN%~~3166~~%783	229	FUN%4381%736
230	» CURRYBIND	230	» CURRYBIND
231	MK-LET%is_eq%164»	231	MK-LET%is_eq%172»
232	MK-LET%NEQ_CONV%664»	232	MK-LET%NEQ_CONV%569»
233	MK-LET%is_leq%652»	233	MK-LET%is_leq%665»
234	MK-LET%LE_CONV%693»	234	MK-LET%LE_CONV%598»
235	MK-LET%is_less%651»	235	MK-LET%is_less%664»
236	MK-LET%LT_CONV%672»	236	MK-LET%LT_CONV%577»
237	MK-LET%is_geq%654»	237	MK-LET%is_geq%667»
238	MK-LET%GE_CONV%700»	238	MK-LET%GE_CONV%605»
239	MK-LET%is_great%653»	239	MK-LET%is_great%666»
240	MK-LET%GT_CONV%~~679~~»	240	MK-LET%GT_CONV%584»
241	FUN%~~3166~~%783	241	FUN%4381%736
242	FUN%~~3166~~%783	242	FUN%4381%736
243	» MK-FUNTYP	243	» MK-FUNTYP
244	MK-TERMTYP	244	MK-TERMTYP
245	» MK-THMTYP»	245	» MK-THMTYP»
246	INEQ_REDUCE_QCONV	246	INEQ_REDUCE_QCONV
247	» MK-FUNTYP	247	» MK-FUNTYP
248	MK-TERMTYP	248	MK-TERMTYP
249	» MK-THMTYP»	249	» MK-THMTYP»
250	MK-LET%INEQ_REDUCE_QCONV%782»	250	MK-LET%INEQ_REDUCE_QCONV%735»
251	INEQ_REDUCE_QCONV»	251	INEQ_REDUCE_QCONV»
252	FUN%~~3166~~%783	252	FUN%4381%736
253	,SPUTPROP	253	,SPUTPROP
254	FUN%~~3166~~%785	254	FUN%4381%738
255	» CURRYBIND	255	» CURRYBIND
256	MK-LET%is_num_reln%655»	256	MK-LET%is_num_reln%668»
257	FUN%~~7416~~%656»	257	FUN%1891%669»
258	MK-LET%is_neg%166»	258	MK-LET%is_neg%174»
259	MK-LET%NOT_CONV%~~637~~»	259	MK-LET%NOT_CONV%586»
260	MK-LET%is_conj%161»	260	MK-LET%is_conj%169»
261	MK-LET%AND_CONV%~~640~~»	261	MK-LET%AND_CONV%589»
262	MK-LET%is_disj%162»	262	MK-LET%is_disj%170»
263	MK-LET%OR_CONV%~~647~~»	263	MK-LET%OR_CONV%596»
264	MK-LET%is_imp%163»	264	MK-LET%is_imp%171»
265	MK-LET%IMP_CONV%654»	265	MK-LET%IMP_CONV%603»
266	MK-LET%BEQ_CONV%661»	266	MK-LET%BEQ_CONV%610»
267	FUN%~~3166~~%785	267	FUN%4381%738
268	FUN%~~3166~~%785	268	FUN%4381%738
269	» MK-FUNTYP	269	» MK-FUNTYP
270	MK-TERMTYP	270	MK-TERMTYP
271	» MK-THMTYP»	271	» MK-THMTYP»
272	BOOL_REDUCE_QCONV	272	BOOL_REDUCE_QCONV
273	» MK-FUNTYP	273	» MK-FUNTYP
274	MK-TERMTYP	274	MK-TERMTYP
275	» MK-THMTYP»	275	» MK-THMTYP»
276	MK-LETREC%BOOL_REDUCE_QCONV%784»	276	MK-LETREC%BOOL_REDUCE_QCONV%737»
277	FUN%~~3166~~%785»	277	FUN%4381%738»
278	BOOL_REDUCE_QCONV	278	BOOL_REDUCE_QCONV
279	,SPUTPROP	279	,SPUTPROP
280	FUN%~~3166~~%788	280	FUN%4381%741
281	» CURRYBIND	281	» CURRYBIND
282	,SPUTPROP	282	,SPUTPROP
283	FUN%~~3166~~%787	283	FUN%4381%740
284	» CURRYBIND	284	» CURRYBIND
285	FUN%~~3166~~%788	285	FUN%4381%741
286	EVALUATION»	286	EVALUATION»
287	MK-LET%dest_exists%114»	287	MK-LET%dest_exists%122»
288	FUN%~~719~~%116»	288	FUN%4838%124»
289	ML-DEST_VAR»	289	ML-DEST_VAR»
290	FUN%320%33»	290	FUN%2727%40»
291	MK-LET%term_of_int%669»	291	MK-LET%term_of_int%682»
		292	FUN%1891%683»
		293	FUN%4838%183»
		294	FUN%4381%741»
292	FUN%7416%670»
293	FUN%719%175»
294	FUN%3166%788»
295	FUN%3576%171»
296	FUN%6537%638»
297	FUN%~~3576~~%146»	295	FUN%8162%146»
298	FUN%3166%788
299	FUN%3166%788
300	FUN%3166%787
301	FUN%3166%787	296	FUN%2118%557»
		297	FUN%8162%121»
		298	FUN%4381%741
		299	FUN%4381%741
		300	FUN%4381%740
		301	FUN%4381%740
302	» MK-FUNTYP	302	» MK-FUNTYP
303	» MK-LISTYP»	303	» MK-LISTYP»
304	MK-PRODTYP	304	MK-PRODTYP
305	» MK-TOKTYP	305	» MK-TOKTYP
306	» MK-INTTYP»	306	» MK-INTTYP»
307	» MK-FUNTYP	307	» MK-FUNTYP
308	MK-TERMTYP	308	MK-TERMTYP
Offset 311, 69 lines modified		Offset 311, 69 lines modified
311	» MK-LISTYP»	311	» MK-LISTYP»
Max diff block lines reached; 1616/4715 bytes (34.27%) of diff not shown.


Offset 221, 161 lines modified		Offset 221, 161 lines modified
221	.comment	221	.comment
222	.note.GNU-stack	222	.note.GNU-stack
223	.rel.debug_frame	223	.rel.debug_frame
224	.ARM.attributes	224	.ARM.attributes
225	COMMON-LISP-USER	225	COMMON-LISP-USER
226	SYSTEMSPUTPROP	226	SYSTEMSPUTPROP
227	COMMON-LISPQUOTE	227	COMMON-LISPQUOTE
228	FUN%~~485~~4%769	228	FUN%5684%737
229	» CURRYBIND	229	» CURRYBIND
230	,SPUTPROP	230	,SPUTPROP
231	FUN%~~485~~4%770	231	FUN%5684%738
232	» CURRYBIND	232	» CURRYBIND
233	» ML-IS_VAR»	233	» ML-IS_VAR»
234	ML-IS_CONST»	234	ML-IS_CONST»
235	FUN%~~7416~~%666»	235	FUN%1891%679»
236	EVALUATION»	236	EVALUATION»
237	FUN%~~7416~~%664»	237	FUN%1891%677»
238	MK-LET%is_suc%662»	238	MK-LET%is_suc%675»
239	FUN%8517%90»
240	FUN%719%305»
241	FUN%4~~854~~%~~769~~»	239	FUN%733%106»
		240	FUN%4838%313»
		241	FUN%5684%737»
242	MK-LET%is_plus%628»	242	MK-LET%is_plus%641»
243	MK-LET%arg1%673»	243	MK-LET%arg1%686»
244	FUN%8~~517~~%45»	244	FUN%733%61»
245	MK-LET%is_mult%630»	245	MK-LET%is_mult%643»
246	FUN%4854%769
247	FUN%4854%769
248	FUN%~~485~~4%770	246	FUN%5684%737
249	FUN%~~485~~4%770	247	FUN%5684%737
		248	FUN%5684%738
		249	FUN%5684%738
250	» MK-FUNTYP	250	» MK-FUNTYP
251	MK-TERMTYP	251	MK-TERMTYP
252	MK-BOOLTYP»	252	MK-BOOLTYP»
253	contains_var	253	contains_var
254	» MK-FUNTYP	254	» MK-FUNTYP
255	MK-TERMTYP	255	MK-TERMTYP
256	MK-BOOLTYP»	256	MK-BOOLTYP»
257	MK-LET%contains_var%768»	257	MK-LET%contains_var%736»
258	contains_var»	258	contains_var»
259	FUN%~~485~~4%770	259	FUN%5684%738
260	,SPUTPROP	260	,SPUTPROP
261	FUN%~~485~~4%772	261	FUN%5684%740
262	» CURRYBIND	262	» CURRYBIND
263	MK-LET%dest_mult%627»	263	MK-LET%dest_mult%640»
264	FUN%~~7416~~%621»	264	FUN%1891%634»
265	is_linear_mult»	265	is_linear_mult»
266	FUN%4854%772
267	FUN%~~485~~4%772	266	FUN%5684%740
		267	FUN%5684%740
268	» MK-FUNTYP	268	» MK-FUNTYP
269	MK-TERMTYP	269	MK-TERMTYP
270	MK-BOOLTYP»	270	MK-BOOLTYP»
271	is_linear_mult	271	is_linear_mult
272	» MK-FUNTYP	272	» MK-FUNTYP
273	MK-TERMTYP	273	MK-TERMTYP
274	MK-BOOLTYP»	274	MK-BOOLTYP»
275	MK-LET%is_linear_mult%771»	275	MK-LET%is_linear_mult%739»
276	FUN%~~485~~4%772	276	FUN%5684%740
277	,SPUTPROP	277	,SPUTPROP
278	FUN%~~485~~4%774	278	FUN%5684%742
279	» CURRYBIND	279	» CURRYBIND
280	MK-LET%dest_forall%111»	280	MK-LET%dest_forall%119»
281	FUN%~~719~~%113»	281	FUN%4838%121»
282	FUN%~~485~~4%774»	282	FUN%5684%742»
283	MK-LET%dest_exists%114»	283	MK-LET%dest_exists%122»
284	FUN%719%116»
285	FUN%~~719~~%140»	284	FUN%4838%124»
		285	FUN%4838%148»
286	MK-LET%dest_suc%659»	286	MK-LET%dest_suc%672»
287	FUN%~~7416~~%661»	287	FUN%1891%674»
288	MK-LET%is_conj%161»	288	MK-LET%is_conj%169»
289	MK-LET%is_disj%162»	289	MK-LET%is_disj%170»
290	MK-LET%is_imp%163»	290	MK-LET%is_imp%171»
291	MK-LET%is_eq%164»	291	MK-LET%is_eq%172»
292	MK-LET%is_less%651»	292	MK-LET%is_less%664»
293	MK-LET%is_leq%652»	293	MK-LET%is_leq%665»
294	MK-LET%is_great%653»	294	MK-LET%is_great%666»
295	MK-LET%is_geq%654»	295	MK-LET%is_geq%667»
296	MK-LET%is_minus%629»	296	MK-LET%is_minus%642»
297	FUN%320%48»	297	FUN%2727%55»
298	FUN%~~485~~4%774	298	FUN%5684%742
299	FUN%~~485~~4%774	299	FUN%5684%742
300	» MK-FUNTYP	300	» MK-FUNTYP
301	MK-TERMTYP	301	MK-TERMTYP
302	» MK-LISTYP	302	» MK-LISTYP
303	MK-TERMTYP»	303	MK-TERMTYP»
304	non_presburger_subterms	304	non_presburger_subterms
305	» MK-FUNTYP	305	» MK-FUNTYP
306	MK-TERMTYP	306	MK-TERMTYP
307	» MK-LISTYP	307	» MK-LISTYP
308	MK-TERMTYP»	308	MK-TERMTYP»
309	» MK-LETREC»	309	» MK-LETREC»
310	%MK-LETREC%non_presburger_subterms%773»	310	%MK-LETREC%non_presburger_subterms%741»
311	non_presburger_subterms	311	non_presburger_subterms
312	FUN%4854%776
313	FUN%~~485~~4%776	312	FUN%5684%744
		313	FUN%5684%744
314	» MK-FUNTYP	314	» MK-FUNTYP
315	MK-TERMTYP	315	MK-TERMTYP
316	MK-BOOLTYP»	316	MK-BOOLTYP»
317	is_presburger	317	is_presburger
318	» MK-FUNTYP	318	» MK-FUNTYP
319	MK-TERMTYP	319	MK-TERMTYP
320	MK-BOOLTYP»	320	MK-BOOLTYP»
321	MK-LET%is_presburger%775»	321	MK-LET%is_presburger%743»
322	FUN%4854%776
323	FUN%6545%57»
324	FUN%~~8517~~%~~46»~~	322	FUN%5684%744
		323	FUN%192%104»
		324	FUN%733%62»
325	is_presburger	325	is_presburger
326	,SPUTPROP	326	,SPUTPROP
327	FUN%~~485~~4%778	327	FUN%5684%746
328	» CURRYBIND	328	» CURRYBIND
329	,SPUTPROP	329	,SPUTPROP
330	FUN%~~485~~4%779	330	FUN%5684%747
331	» CURRYBIND	331	» CURRYBIND
332	,SPUTPROP	332	,SPUTPROP
333	FUN%~~485~~4%780	333	FUN%5684%748
334	» CURRYBIND	334	» CURRYBIND
335	,SPUTPROP	335	,SPUTPROP
336	FUN%~~485~~4%781	336	FUN%5684%749
337	» CURRYBIND	337	» CURRYBIND
338	MK-ABSTYPE%lookup_term%107»	338	MK-ABSTYPE%lookup_term%55»
Max diff block lines reached; 998/4229 bytes (23.60%) of diff not shown.


Offset 160, 56 lines modified		Offset 160, 56 lines modified
160	.comment	160	.comment
161	.note.GNU-stack	161	.note.GNU-stack
162	.rel.debug_frame	162	.rel.debug_frame
163	.ARM.attributes	163	.ARM.attributes
164	COMMON-LISP-USER	164	COMMON-LISP-USER
165	SYSTEMSPUTPROP	165	SYSTEMSPUTPROP
166	COMMON-LISPQUOTE	166	COMMON-LISPQUOTE
167	FUN%7~~257~~%654	167	FUN%686%621
168	» CURRYBIND	168	» CURRYBIND
169	,SPUTPROP	169	,SPUTPROP
170	FUN%7~~257~~%655	170	FUN%686%622
171	» CURRYBIND	171	» CURRYBIND
172	FUN%7~~257~~%654	172	FUN%686%621
173	,SPUTPROP	173	,SPUTPROP
174	FUN%7~~257~~%656	174	FUN%686%623
175	» CURRYBIND	175	» CURRYBIND
176	FUN%7~~257~~%655	176	FUN%686%622
177	MK-LETREC%strip_forall%251»	177	MK-LETREC%strip_forall%259»
		178	FUN%4838%260»
178	FUN%719%252»
179	FUN%320%53»
180	FUN%7257%657	179	FUN%2727%60»
181	FUN%7~~257~~%658	180	FUN%686%624
		181	FUN%686%625
182	type_of»	182	type_of»
183	FUN%8517%46»
184	FUN%6~~545~~%50»	183	FUN%733%62»
		184	FUN%192%97»
185	MK-LETREC%combine%56»	185	MK-LETREC%combine%63»
186	FUN%320%57»
187	FUN%719%175»
188	FUN%719%234»
189	FUN%3576%146»
190	FUN%357~~6%151~~»	186	FUN%2727%64»
		187	FUN%4838%183»
		188	FUN%4838%242»
		189	FUN%8162%121»
		190	FUN%8162%126»
191	MK-LET%GENL%158»	191	MK-LET%GENL%133»
192	FUN%320%25»	192	FUN%2727%32»
193	MK-LET%EQT_INTRO%153»	193	MK-LET%EQT_INTRO%128»
194	FUN%3576%154»
195	FUN%7257%654
196	FUN%7257%654
197	FUN%7257%654»
198	FUN%7257%655
199	FUN%7257%655
200	FUN%7257%655»
201	FUN%7257%656
202	FUN%~~7257~~%~~656~~	194	FUN%8162%129»
		195	FUN%686%621
		196	FUN%686%621
		197	FUN%686%621»
		198	FUN%686%622
		199	FUN%686%622
		200	FUN%686%622»
		201	FUN%686%623
		202	FUN%686%623
203	» ML-GENVAR»	203	» ML-GENVAR»
204	FUN%7257%657
205	FUN%7~~257~~%657	204	FUN%686%624
		205	FUN%686%624
206	ML-TYPE_OF»	206	ML-TYPE_OF»
207	FUN%7257%658
208	FUN%7~~257~~%658	207	FUN%686%625
		208	FUN%686%625
209	» MK-FUNTYP»	209	» MK-FUNTYP»
210	» MK-FUNTYP	210	» MK-FUNTYP
211	MK-TERMTYP	211	MK-TERMTYP
212	» MK-LISTYP	212	» MK-LISTYP
213	MK-TERMTYP»	213	MK-TERMTYP»
214	» MK-FUNTYP»	214	» MK-FUNTYP»
215	» MK-FUNTYP	215	» MK-FUNTYP
Offset 227, 10 lines modified		Offset 227, 10 lines modified
227	» MK-FUNTYP»	227	» MK-FUNTYP»
228	» MK-FUNTYP	228	» MK-FUNTYP
229	MK-TERMTYP	229	MK-TERMTYP
230	» MK-THMTYP»	230	» MK-THMTYP»
231	» MK-FUNTYP	231	» MK-FUNTYP
232	MK-TERMTYP	232	MK-TERMTYP
233	» MK-THMTYP»	233	» MK-THMTYP»
234	MK-LET%INSTANCE_T_CONV%653»	234	MK-LET%INSTANCE_T_CONV%620»
235	INSTANCE_T_CONV»	235	INSTANCE_T_CONV»
236	FUN%7~~257~~%656	236	FUN%686%623


Offset 1, 149 lines modified		Offset 1, 149 lines modified
1	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./	1	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./
2	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/	2	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/
3	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/	3	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/
4	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/	4	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/
5	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/	5	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/
6	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/abs_theory/	6	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/abs_theory/
7	-rw-r--r--···0·root·········(0)·root·········(0)···284296·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/abs_theory/abs_theory_ml.o	7	-rw-r--r--···0·root·········(0)·root·········(0)···284287·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/abs_theory/abs_theory_ml.o
8	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/	8	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/
9	-rw-r--r--···0·root·········(0)·root·········(0)···121524·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/arith_cons_ml.o	9	-rw-r--r--···0·root·········(0)·root·········(0)···121523·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/arith_cons_ml.o
10	-rw-r--r--···0·root·········(0)·root·········(0)···122242·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/decls_ml.o	10	-rw-r--r--···0·root·········(0)·root·········(0)···122243·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/decls_ml.o
11	-rw-r--r--···0·root·········(0)·root·········(0)····64976·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/exists_arith_ml.o	11	-rw-r--r--···0·root·········(0)·root·········(0)····64982·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/exists_arith_ml.o
12	-rw-r--r--···0·root·········(0)·root·········(0)····80280·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/gen_arith_ml.o	12	-rw-r--r--···0·root·········(0)·root·········(0)····80282·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/gen_arith_ml.o
13	-rw-r--r--···0·root·········(0)·root·········(0)····28091·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/instance_ml.o	13	-rw-r--r--···0·root·········(0)·root·········(0)····28075·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/instance_ml.o
14	-rw-r--r--···0·root·········(0)·root·········(0)····46416·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/int_extra_ml.o	14	-rw-r--r--···0·root·········(0)·root·········(0)····46416·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/int_extra_ml.o
15	-rw-r--r--···0·root·········(0)·root·········(0)···190116·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/norm_arith_ml.o	15	-rw-r--r--···0·root·········(0)·root·········(0)···190121·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/norm_arith_ml.o
16	-rw-r--r--···0·root·········(0)·root·········(0)····59998·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/norm_bool_ml.o	16	-rw-r--r--···0·root·········(0)·root·········(0)····59998·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/norm_bool_ml.o
17	-rw-r--r--···0·root·········(0)·root·········(0)····65153·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/norm_ineqs_ml.o	17	-rw-r--r--···0·root·········(0)·root·········(0)····65192·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/norm_ineqs_ml.o
18	-rw-r--r--···0·root·········(0)·root·········(0)····48317·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/prenex_ml.o	18	-rw-r--r--···0·root·········(0)·root·········(0)····48302·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/prenex_ml.o
19	-rw-r--r--···0·root·········(0)·root·········(0)···106445·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/qconv_ml.o	19	-rw-r--r--···0·root·········(0)·root·········(0)···106446·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/qconv_ml.o
20	-rw-r--r--···0·root·········(0)·root·········(0)···103660·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/rationals_ml.o	20	-rw-r--r--···0·root·········(0)·root·········(0)···103660·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/rationals_ml.o
21	-rw-r--r--···0·root·········(0)·root·········(0)···123195·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/sol_ranges_ml.o	21	-rw-r--r--···0·root·········(0)·root·········(0)···123194·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/sol_ranges_ml.o
22	-rw-r--r--···0·root·········(0)·root·········(0)···186225·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/solve_ineqs_ml.o	22	-rw-r--r--···0·root·········(0)·root·········(0)···186233·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/solve_ineqs_ml.o
23	-rw-r--r--···0·root·········(0)·root·········(0)····90691·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/solve_ml.o	23	-rw-r--r--···0·root·········(0)·root·········(0)····90618·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/solve_ml.o
24	-rw-r--r--···0·root·········(0)·root·········(0)····64441·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/streams_ml.o	24	-rw-r--r--···0·root·········(0)·root·········(0)····64440·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/streams_ml.o
25	-rw-r--r--···0·root·········(0)·root·········(0)····24478·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/string_extra_ml.o	25	-rw-r--r--···0·root·········(0)·root·········(0)····24496·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/string_extra_ml.o
26	-rw-r--r--···0·root·········(0)·root·········(0)····58320·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/sub_and_cond_ml.o	26	-rw-r--r--···0·root·········(0)·root·········(0)····58319·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/sub_and_cond_ml.o
27	-rw-r--r--···0·root·········(0)·root·········(0)···237048·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/sup-inf_ml.o	27	-rw-r--r--···0·root·········(0)·root·········(0)···237048·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/sup-inf_ml.o
28	-rw-r--r--···0·root·········(0)·root·········(0)···115274·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/term_coeffs_ml.o	28	-rw-r--r--···0·root·········(0)·root·········(0)···115272·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/arith/term_coeffs_ml.o
29	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/finite_sets/	29	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/finite_sets/
30	-rw-r--r--···0·root·········(0)·root·········(0)···203136·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/finite_sets/fset_conv_ml.o	30	-rw-r--r--···0·root·········(0)·root·········(0)···203138·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/finite_sets/fset_conv_ml.o
31	-rw-r--r--···0·root·········(0)·root·········(0)····57~~505~~·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/finite_sets/set_ind_ml.o	31	-rw-r--r--···0·root·········(0)·root·········(0)····57471·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/finite_sets/set_ind_ml.o
32	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/ind_defs/	32	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/ind_defs/
33	-rw-r--r--···0·root·········(0)·root·········(0)···657780·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/ind_defs/ind-defs_ml.o	33	-rw-r--r--···0·root·········(0)·root·········(0)···657805·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/ind_defs/ind-defs_ml.o
34	-rw-r--r--···0·root·········(0)·root·········(0)····18561·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/ind_defs/ind_defs_ml.o	34	-rw-r--r--···0·root·········(0)·root·········(0)····18560·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/ind_defs/ind_defs_ml.o
35	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/	35	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/
36	-rw-r--r--···0·root·········(0)·root·········(0)····~~59932~~·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/filters_ml.o	36	-rw-r--r--···0·root·········(0)·root·········(0)····60047·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/filters_ml.o
37	-rw-r--r--···0·root·········(0)·root·········(0)···15~~1205~~·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/formaters_ml.o	37	-rw-r--r--···0·root·········(0)·root·········(0)···150942·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/formaters_ml.o
38	-rw-r--r--···0·root·········(0)·root·········(0)····74~~498~~·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/hol_trees_ml.o	38	-rw-r--r--···0·root·········(0)·root·········(0)····74500·2023-01-08·22:11:46.000000·./usr/lib/hol88-2.02.19940316dfsg/Library/latex-hol/hol_trees_ml.o


Offset 216, 87 lines modified		Offset 216, 87 lines modified
216	.comment	216	.comment
217	.note.GNU-stack	217	.note.GNU-stack
218	.rel.debug_frame	218	.rel.debug_frame
219	.ARM.attributes	219	.ARM.attributes
220	COMMON-LISP-USER	220	COMMON-LISP-USER
221	SYSTEMSPUTPROP	221	SYSTEMSPUTPROP
222	COMMON-LISPQUOTE	222	COMMON-LISPQUOTE
223	FUN%9481%678	223	FUN%4188%623
224	» CURRYBIND	224	» CURRYBIND
225	FUN%9481%678
226	FUN%9481%678	225	FUN%4188%623
		226	FUN%4188%623
227	» MK-FUNTYP	227	» MK-FUNTYP
228	» MK-INTTYP	228	» MK-INTTYP
229	» MK-INTTYP»	229	» MK-INTTYP»
230	» MK-FUNTYP	230	» MK-FUNTYP
231	» MK-INTTYP	231	» MK-INTTYP
232	» MK-INTTYP»	232	» MK-INTTYP»
233	MK-LET%abs%677»	233	MK-LET%abs%622»
234	FUN%9481%678	234	FUN%4188%623
235	MK-NULLTYP»	235	MK-NULLTYP»
236	MK-APPN»	236	MK-APPN»
237	ML-ML_CURRIED_INFIX	237	ML-ML_CURRIED_INFIX
238	,SPUTPROP	238	,SPUTPROP
239	FUN%9481%680	239	FUN%4188%625
240	» CURRYBIND	240	» CURRYBIND
241	,SPUTPROP	241	,SPUTPROP
242	FUN%9481%681	242	FUN%4188%626
243	» CURRYBIND	243	» CURRYBIND
244	FUN%9481%680
245	FUN%9481%680
246	FUN%9481%680
247	FUN%9481%680»
248	FUN%9481%681
249	FUN%9481%681	244	FUN%4188%625
		245	FUN%4188%625
		246	FUN%4188%625
		247	FUN%4188%625»
		248	FUN%4188%626
		249	FUN%4188%626
250	» MK-FUNTYP	250	» MK-FUNTYP
251	» MK-INTTYP»	251	» MK-INTTYP»
252	» MK-FUNTYP	252	» MK-FUNTYP
253	» MK-INTTYP	253	» MK-INTTYP
254	» MK-INTTYP»	254	» MK-INTTYP»
255	» MK-FUNTYP	255	» MK-FUNTYP
256	» MK-INTTYP»	256	» MK-INTTYP»
257	» MK-FUNTYP	257	» MK-FUNTYP
258	» MK-INTTYP	258	» MK-INTTYP
259	» MK-INTTYP»	259	» MK-INTTYP»
260	MK-LET%mod%679»	260	MK-LET%mod%624»
261	FUN%9481%681	261	FUN%4188%626
262	,SPUTPROP	262	,SPUTPROP
263	FUN%9481%683	263	FUN%4188%628
264	» CURRYBIND	264	» CURRYBIND
265	,SPUTPROP	265	,SPUTPROP
266	FUN%9481%684	266	FUN%4188%629
267	» CURRYBIND	267	» CURRYBIND
268	FUN%9481%683	268	FUN%4188%628
269	FUN%9481%683	269	FUN%4188%628
270	FUN%9481%683»	270	FUN%4188%628»
271	EVALUATION»	271	EVALUATION»
272	FUN%9481%684
273	FUN%9481%684	272	FUN%4188%629
		273	FUN%4188%629
274	» MK-FUNTYP»	274	» MK-FUNTYP»
275	MK-PRODTYP	275	MK-PRODTYP
276	» MK-INTTYP	276	» MK-INTTYP
277	» MK-INTTYP	277	» MK-INTTYP
278	» MK-INTTYP»	278	» MK-INTTYP»
279	» MK-FUNTYP»	279	» MK-FUNTYP»
280	MK-PRODTYP	280	MK-PRODTYP
281	» MK-INTTYP	281	» MK-INTTYP
282	» MK-INTTYP	282	» MK-INTTYP
283	» MK-INTTYP»	283	» MK-INTTYP»
284	MK-LET%gcd%682»	284	MK-LET%gcd%627»
285	FUN%9481%684	285	FUN%4188%629
286	,SPUTPROP	286	,SPUTPROP
287	FUN%9481%686	287	FUN%4188%631
288	» CURRYBIND	288	» CURRYBIND
289	FUN%9481%686
290	FUN%9481%686	289	FUN%4188%631
		290	FUN%4188%631
291	» MK-FUNTYP»	291	» MK-FUNTYP»
292	MK-PRODTYP	292	MK-PRODTYP
293	» MK-INTTYP	293	» MK-INTTYP
294	» MK-INTTYP	294	» MK-INTTYP
295	» MK-INTTYP»	295	» MK-INTTYP»
296	» MK-FUNTYP»	296	» MK-FUNTYP»
297	MK-PRODTYP	297	MK-PRODTYP
298	» MK-INTTYP	298	» MK-INTTYP
299	» MK-INTTYP	299	» MK-INTTYP
300	» MK-INTTYP»	300	» MK-INTTYP»
301	MK-LET%lcm%685»	301	MK-LET%lcm%630»
302	FUN%9481%686	302	FUN%4188%631


Offset 245, 83 lines modified		Offset 245, 83 lines modified
245	.comment	245	.comment
246	.note.GNU-stack	246	.note.GNU-stack
247	.rel.debug_frame	247	.rel.debug_frame
248	.ARM.attributes	248	.ARM.attributes
249	COMMON-LISP-USER	249	COMMON-LISP-USER
250	SYSTEMSPUTPROP	250	SYSTEMSPUTPROP
251	COMMON-LISPQUOTE	251	COMMON-LISPQUOTE
252	FUN%~~3947~~%~~644~~	252	FUN%7432%567
253	» CURRYBIND	253	» CURRYBIND
254	EVALUATION»	254	EVALUATION»
255	MK-LET%is_plus%628»	255	MK-LET%is_plus%641»
256	FUN%8~~517~~%90»	256	FUN%733%106»
257	MK-LET%arg1%673»	257	MK-LET%arg1%686»
258	FUN%8~~517~~%45»	258	FUN%733%61»
259	ML-IS_CONST»	259	ML-IS_CONST»
260	FUN%~~719~~%305»	260	FUN%4838%313»
261	MK-LET%ADD_CONV%405»	261	MK-LET%ADD_CONV%385»
262	FUN%4110%265»
263	FUN%~~4110~~%268»	262	FUN%7435%279»
		263	FUN%7435%282»
264	MK-LETREF%ADD_ASSOC_CONV%651»	264	MK-LETREF%ADD_ASSOC_CONV%638»
265	FUN%4110%89»
266	FUN%15%~~414~~»	265	FUN%7435%103»
		266	FUN%1836%394»
267	COLLECT_NUM_CONSTS_CONV»	267	COLLECT_NUM_CONSTS_CONV»
268	FUN%3947%644
269	FUN%~~3947~~%~~644~~	268	FUN%7432%567
		269	FUN%7432%567
270	» MK-FUNTYP	270	» MK-FUNTYP
271	MK-TERMTYP	271	MK-TERMTYP
272	» MK-THMTYP»	272	» MK-THMTYP»
273	COLLECT_NUM_CONSTS_CONV	273	COLLECT_NUM_CONSTS_CONV
274	» MK-FUNTYP	274	» MK-FUNTYP
275	MK-TERMTYP	275	MK-TERMTYP
276	» MK-THMTYP»	276	» MK-THMTYP»
277	"MK-LET%COLLECT_NUM_CONSTS_CONV%~~643~~»	277	"MK-LET%COLLECT_NUM_CONSTS_CONV%566»
278	FUN%~~3947~~%~~644~~	278	FUN%7432%567
279	,SPUTPROP	279	,SPUTPROP
280	FUN%~~3947~~%~~646~~	280	FUN%7432%569
281	» CURRYBIND	281	» CURRYBIND
282	,SPUTPROP	282	,SPUTPROP
283	FUN%~~3947~~%~~647~~	283	FUN%7432%570
284	» CURRYBIND	284	» CURRYBIND
285	FUN%~~3947~~%~~646~~	285	FUN%7432%569
286	,SPUTPROP	286	,SPUTPROP
287	FUN%~~3947~~%~~648~~	287	FUN%7432%571
288	» CURRYBIND	288	» CURRYBIND
289	FUN%~~3947~~%~~647~~	289	FUN%7432%570
290	MK-LET%is_neg%166»	290	MK-LET%is_neg%174»
291	MK-LET%is_eq%164»	291	MK-LET%is_eq%172»
292	FUN%6537%657»
293	FUN%6537%661»
294	FUN%6537%664»
295	FUN%6537%644»
296	FUN%~~6537~~%670»	292	FUN%2118%576»
		293	FUN%2118%580»
		294	FUN%2118%583»
		295	FUN%2118%563»
		296	FUN%2118%589»
297	"MK-LETREF%NOT_NUM_EQ_NORM_CONV%667»	297	"MK-LETREF%NOT_NUM_EQ_NORM_CONV%654»
298	MK-LET%is_leq%652»	298	MK-LET%is_leq%665»
299	MK-LETREF%NOT_LEQ_NORM_CONV%665»	299	MK-LETREF%NOT_LEQ_NORM_CONV%652»
300	MK-LET%is_less%651»	300	MK-LET%is_less%664»
301	·MK-LETREF%NOT_LESS_NORM_CONV%666»	301	·MK-LETREF%NOT_LESS_NORM_CONV%653»
302	MK-LET%is_great%653»	302	MK-LET%is_great%666»
303	!MK-LETREF%NOT_GREAT_NORM_CONV%664»	303	!MK-LETREF%NOT_GREAT_NORM_CONV%651»
304	MK-LET%is_geq%654»	304	MK-LET%is_geq%667»
305	MK-LETREF%NOT_GEQ_NORM_CONV%663»	305	MK-LETREF%NOT_GEQ_NORM_CONV%650»
306	FUN%~~6537~~%~~643~~»	306	FUN%2118%562»
307	MK-LETREF%NUM_EQ_NORM_CONV%668»	307	MK-LETREF%NUM_EQ_NORM_CONV%655»
308	MK-LETREF%LESS_NORM_CONV%660»	308	MK-LETREF%LESS_NORM_CONV%647»
309	MK-LETREF%GREAT_NORM_CONV%658»	309	MK-LETREF%GREAT_NORM_CONV%645»
310	MK-LETREF%GEQ_NORM_CONV%657»	310	MK-LETREF%GEQ_NORM_CONV%644»
311	NUM_RELN_NORM_QCONV»	311	NUM_RELN_NORM_QCONV»
312	FUN%6537%635»
313	FUN%3947%646
314	FUN%3947%646
315	FUN%3947%646»
316	FUN%3947%647
317	FUN%3947%647
318	FUN%3947%647»
319	FUN%3947%648
320	FUN%~~3947~~%648	312	FUN%2118%554»
		313	FUN%7432%569
		314	FUN%7432%569
		315	FUN%7432%569»
		316	FUN%7432%570
		317	FUN%7432%570
		318	FUN%7432%570»
		319	FUN%7432%571
		320	FUN%7432%571
321	» MK-FUNTYP»	321	» MK-FUNTYP»
322	» MK-FUNTYP	322	» MK-FUNTYP
323	MK-TERMTYP	323	MK-TERMTYP
324	» MK-THMTYP»	324	» MK-THMTYP»
325	» MK-FUNTYP»	325	» MK-FUNTYP»
326	» MK-FUNTYP	326	» MK-FUNTYP
327	MK-TERMTYP	327	MK-TERMTYP
Offset 337, 63 lines modified		Offset 337, 63 lines modified
337	» MK-FUNTYP»	337	» MK-FUNTYP»
338	» MK-FUNTYP	338	» MK-FUNTYP
339	MK-TERMTYP	339	MK-TERMTYP
340	» MK-THMTYP»	340	» MK-THMTYP»
341	» MK-FUNTYP	341	» MK-FUNTYP
342	MK-TERMTYP	342	MK-TERMTYP
343	» MK-THMTYP»	343	» MK-THMTYP»
344	MK-LET%NUM_RELN_NORM_QCONV%~~645~~»	344	MK-LET%NUM_RELN_NORM_QCONV%568»
345	FUN%~~3947~~%~~648~~	345	FUN%7432%571
346	,SPUTPROP	346	,SPUTPROP
347	FUN%~~3947~~%~~650~~	347	FUN%7432%573
348	» CURRYBIND	348	» CURRYBIND
349	MK-LET%dest_mult%627»	349	MK-LET%dest_mult%640»
350	FUN%7416%621»
351	FUN%~~7416~~%668»	350	FUN%1891%634»
		351	FUN%1891%681»
352	MK-LETREF%ZERO_MULT%624»	352	MK-LETREF%ZERO_MULT%611»
353	FUN%~~3576~~%148»	353	FUN%8162%123»
354	MK-LETREF%ONE_MULT%625»	354	MK-LETREF%ONE_MULT%612»
355	MK-LET%num_CONV%380»	355	MK-LET%num_CONV%357»
356	FUN%~~4110~~%267»	356	FUN%7435%281»
357	MK-LETREF%MULT_SUC%628»	357	MK-LETREF%MULT_SUC%615»
358	MK-LET%term_of_int%669»	358	MK-LET%term_of_int%682»
359	FUN%7416%670»
360	FUN%719%155»
361	FUN%719%298»
362	FUN%~~3576~~%~~128~~»	359	FUN%1891%683»
		360	FUN%4838%163»
Max diff block lines reached; 8593/11896 bytes (72.23%) of diff not shown.


Offset 197, 40 lines modified		Offset 197, 40 lines modified
197	.comment	197	.comment
198	.note.GNU-stack	198	.note.GNU-stack
199	.rel.debug_frame	199	.rel.debug_frame
200	.ARM.attributes	200	.ARM.attributes
201	COMMON-LISP-USER	201	COMMON-LISP-USER
202	SYSTEMSPUTPROP	202	SYSTEMSPUTPROP
203	COMMON-LISPQUOTE	203	COMMON-LISPQUOTE
204	FUN%~~8130~~%628	204	FUN%1612%548
205	» CURRYBIND	205	» CURRYBIND
206	,SPUTPROP	206	,SPUTPROP
207	FUN%~~8130~~%627	207	FUN%1612%547
208	» CURRYBIND	208	» CURRYBIND
209	FUN%~~8130~~%628	209	FUN%1612%548
210	EVALUATION»	210	EVALUATION»
211	FUN%~~6537~~%~~641~~»	211	FUN%2118%560»
212	MK-LET%is_neg%166»	212	MK-LET%is_neg%174»
213	FUN%8517%90»
214	FUN%8130%627»
215	FUN%6537%~~660~~»	213	FUN%733%106»
		214	FUN%1612%547»
		215	FUN%2118%579»
216	MK-LET%is_eq%164»	216	MK-LET%is_eq%172»
217	MK-LETREF%EQ_EXPAND_CONV%641»	217	MK-LETREF%EQ_EXPAND_CONV%628»
218	FUN%6537%670»
219	FUN%~~6537~~%~~643~~»	218	FUN%2118%589»
		219	FUN%2118%562»
220	MK-LET%is_imp%163»	220	MK-LET%is_imp%171»
221	MK-LETREF%IMP_EXPAND_CONV%642»	221	MK-LETREF%IMP_EXPAND_CONV%629»
222	FUN%~~6537~~%~~669~~»	222	FUN%2118%588»
223	EQ_IMP_ELIM_QCONV»	223	EQ_IMP_ELIM_QCONV»
224	FUN%6537%635»
225	FUN%8130%628
226	FUN%8130%628
227	FUN%8130%628»
228	FUN%8130%627
229	FUN%8130%~~627~~	224	FUN%2118%554»
		225	FUN%1612%548
		226	FUN%1612%548
		227	FUN%1612%548»
		228	FUN%1612%547
		229	FUN%1612%547
230	» MK-FUNTYP»	230	» MK-FUNTYP»
231	» MK-FUNTYP	231	» MK-FUNTYP
232	MK-TERMTYP	232	MK-TERMTYP
233	MK-BOOLTYP»	233	MK-BOOLTYP»
234	» MK-FUNTYP	234	» MK-FUNTYP
235	MK-TERMTYP	235	MK-TERMTYP
236	» MK-THMTYP»	236	» MK-THMTYP»
Offset 239, 41 lines modified		Offset 239, 41 lines modified
239	» MK-FUNTYP	239	» MK-FUNTYP
240	MK-TERMTYP	240	MK-TERMTYP
241	MK-BOOLTYP»	241	MK-BOOLTYP»
242	» MK-FUNTYP	242	» MK-FUNTYP
243	MK-TERMTYP	243	MK-TERMTYP
244	» MK-THMTYP»	244	» MK-THMTYP»
245	» MK-LETREC»	245	» MK-LETREC»
246	MK-LETREC%EQ_IMP_ELIM_QCONV%626»	246	MK-LETREC%EQ_IMP_ELIM_QCONV%546»
247	,SPUTPROP	247	,SPUTPROP
248	FUN%~~8130~~%631	248	FUN%1612%551
249	» CURRYBIND	249	» CURRYBIND
250	,SPUTPROP	250	,SPUTPROP
251	FUN%~~8130~~%632	251	FUN%1612%552
252	» CURRYBIND	252	» CURRYBIND
253	FUN%~~8130~~%631	253	FUN%1612%551
254	,SPUTPROP	254	,SPUTPROP
255	FUN%~~8130~~%630	255	FUN%1612%550
256	» CURRYBIND	256	» CURRYBIND
257	FUN%8130%632
258	FUN%719%305»
259	FUN%~~8130~~%632»	257	FUN%1612%552
		258	FUN%4838%313»
		259	FUN%1612%552»
260	MK-LETREF%NOT_NOT_NORM_CONV%648»	260	MK-LETREF%NOT_NOT_NORM_CONV%635»
261	MK-LET%is_conj%161»	261	MK-LET%is_conj%169»
262	·MK-LETREF%NOT_CONJ_NORM_CONV%646»	262	·MK-LETREF%NOT_CONJ_NORM_CONV%633»
263	MK-LET%is_disj%162»	263	MK-LET%is_disj%170»
264	·MK-LETREF%NOT_DISJ_NORM_CONV%647»	264	·MK-LETREF%NOT_DISJ_NORM_CONV%634»
265	MOVE_NOT_DOWN_QCONV»	265	MOVE_NOT_DOWN_QCONV»
266	FUN%8130%631
267	FUN%8130%631
268	FUN%8130%631»
269	FUN%8130%632
270	FUN%8130%632
271	FUN%8130%630
272	FUN%~~8130~~%~~630~~	266	FUN%1612%551
		267	FUN%1612%551
		268	FUN%1612%551»
		269	FUN%1612%552
		270	FUN%1612%552
		271	FUN%1612%550
		272	FUN%1612%550
273	» MK-FUNTYP»	273	» MK-FUNTYP»
274	» MK-FUNTYP	274	» MK-FUNTYP
275	MK-TERMTYP	275	MK-TERMTYP
276	MK-BOOLTYP»	276	MK-BOOLTYP»
277	» MK-FUNTYP»	277	» MK-FUNTYP»
278	» MK-FUNTYP	278	» MK-FUNTYP
279	MK-TERMTYP	279	MK-TERMTYP
Offset 289, 55 lines modified		Offset 289, 55 lines modified
289	» MK-FUNTYP»	289	» MK-FUNTYP»
290	» MK-FUNTYP	290	» MK-FUNTYP
291	MK-TERMTYP	291	MK-TERMTYP
292	» MK-THMTYP»	292	» MK-THMTYP»
293	» MK-FUNTYP	293	» MK-FUNTYP
294	MK-TERMTYP	294	MK-TERMTYP
295	» MK-THMTYP»	295	» MK-THMTYP»
296	!MK-LETREC%MOVE_NOT_DOWN_QCONV%629»	296	!MK-LETREC%MOVE_NOT_DOWN_QCONV%549»
297	FUN%~~8130~~%630	297	FUN%1612%550
298	,SPUTPROP	298	,SPUTPROP
299	FUN%~~8130~~%634	299	FUN%1612%554
300	» CURRYBIND	300	» CURRYBIND
301	MK-LET%arg1%673»	301	MK-LET%arg1%686»
302	FUN%8517%45»
303	FUN%6537%657»
304	FUN%6537%661»	302	FUN%733%61»
		303	FUN%2118%576»
		304	FUN%2118%580»
305	"MK-LETREF%DISJ_ASSOC_NORM_CONV%640»	305	"MK-LETREF%DISJ_ASSOC_NORM_CONV%627»
306	FUN%~~6537~~%~~644~~»	306	FUN%2118%563»
307	DISJ_LINEAR_QCONV»	307	DISJ_LINEAR_QCONV»
308	FUN%8130%634
309	FUN%~~8130~~%634	308	FUN%1612%554
		309	FUN%1612%554
310	» MK-FUNTYP	310	» MK-FUNTYP
311	MK-TERMTYP	311	MK-TERMTYP
312	» MK-THMTYP»	312	» MK-THMTYP»
313	DISJ_LINEAR_QCONV	313	DISJ_LINEAR_QCONV
Max diff block lines reached; 846/3528 bytes (23.98%) of diff not shown.


Offset 202, 75 lines modified		Offset 202, 75 lines modified
202	.comment	202	.comment
203	.note.GNU-stack	203	.note.GNU-stack
204	.rel.debug_frame	204	.rel.debug_frame
205	.ARM.attributes	205	.ARM.attributes
206	COMMON-LISP-USER	206	COMMON-LISP-USER
207	SYSTEMSPUTPROP	207	SYSTEMSPUTPROP
208	COMMON-LISPQUOTE	208	COMMON-LISPQUOTE
209	FUN%~~400~~%597	209	FUN%8719%554
210	» CURRYBIND	210	» CURRYBIND
211	,SPUTPROP	211	,SPUTPROP
212	FUN%~~400~~%598	212	FUN%8719%555
213	» CURRYBIND	213	» CURRYBIND
214	FUN%~~400~~%597	214	FUN%8719%554
215	EVALUATION»	215	EVALUATION»
216	MK-LET%dest_leq%648»	216	MK-LET%dest_leq%661»
217	FUN%~~7416~~%643»	217	FUN%1891%656»
218	MK-LET%mk_plus%616»	218	MK-LET%mk_plus%629»
219	FUN%~~7416~~%613»	219	FUN%1891%626»
220	MK-LET%mk_leq%638»	220	MK-LET%mk_leq%651»
221	FUN%~~7416~~%634»	221	FUN%1891%647»
222	MK-LETREF%LEQ_PLUS_CONV%675»	222	MK-LETREF%LEQ_PLUS_CONV%662»
223	FUN%~~3576~~%126»	223	FUN%8162%101»
224	ADD_TERM_TO_LEQ_CONV»	224	ADD_TERM_TO_LEQ_CONV»
225	FUN%400%597
226	FUN%400%597
227	FUN%400%597»
228	FUN%400%598
229	FUN%~~400~~%598	225	FUN%8719%554
		226	FUN%8719%554
		227	FUN%8719%554»
		228	FUN%8719%555
		229	FUN%8719%555
230	» MK-FUNTYP	230	» MK-FUNTYP
231	MK-TERMTYP»	231	MK-TERMTYP»
232	» MK-FUNTYP	232	» MK-FUNTYP
233	MK-TERMTYP	233	MK-TERMTYP
234	» MK-THMTYP»	234	» MK-THMTYP»
235	ADD_TERM_TO_LEQ_CONV	235	ADD_TERM_TO_LEQ_CONV
236	» MK-FUNTYP	236	» MK-FUNTYP
237	MK-TERMTYP»	237	MK-TERMTYP»
238	» MK-FUNTYP	238	» MK-FUNTYP
239	MK-TERMTYP	239	MK-TERMTYP
240	» MK-THMTYP»	240	» MK-THMTYP»
241	MK-LET%ADD_TERM_TO_LEQ_CONV%596»	241	MK-LET%ADD_TERM_TO_LEQ_CONV%553»
242	FUN%~~400~~%598	242	FUN%8719%555
243	,SPUTPROP	243	,SPUTPROP
244	FUN%~~400~~%~~600~~	244	FUN%8719%557
245	» CURRYBIND	245	» CURRYBIND
246	,SPUTPROP	246	,SPUTPROP
247	FUN%~~400~~%~~601~~	247	FUN%8719%558
248	» CURRYBIND	248	» CURRYBIND
249	,SPUTPROP	249	,SPUTPROP
250	FUN%~~400~~%~~602~~	250	FUN%8719%559
251	» CURRYBIND	251	» CURRYBIND
252	MK-LET%ALL_QCONV%~~640~~»	252	MK-LET%ALL_QCONV%559»
253	MK-LET%term_of_int%669»	253	MK-LET%term_of_int%682»
254	FUN%~~7416~~%670»	254	FUN%1891%683»
255	MK-LET%mk_num_var%671»	255	MK-LET%mk_num_var%684»
256	FUN%~~7416~~%672»	256	FUN%1891%685»
257	MK-LET%mk_mult%618»	257	MK-LET%mk_mult%631»
258	FUN%400%600»
259	FUN%6537%644»
260	FUN%400%600
261	FUN%400%600
262	FUN%~~6537~~%~~643~~»	258	FUN%8719%557»
		259	FUN%2118%563»
		260	FUN%8719%557
		261	FUN%8719%557
		262	FUN%2118%562»
263	ADD_COEFFS_TO_LEQ_QCONV»	263	ADD_COEFFS_TO_LEQ_QCONV»
264	FUN%6537%635»
265	FUN%400%601
266	FUN%400%601
267	FUN%400%601»
268	FUN%400%602
269	FUN%~~400~~%~~602~~	264	FUN%2118%554»
		265	FUN%8719%558
		266	FUN%8719%558
		267	FUN%8719%558»
		268	FUN%8719%559
		269	FUN%8719%559
270	» MK-FUNTYP»	270	» MK-FUNTYP»
271	MK-PRODTYP	271	MK-PRODTYP
272	» MK-INTTYP	272	» MK-INTTYP
273	» MK-LISTYP»	273	» MK-LISTYP»
274	MK-PRODTYP	274	MK-PRODTYP
275	» MK-TOKTYP	275	» MK-TOKTYP
276	» MK-INTTYP»	276	» MK-INTTYP»
Offset 284, 67 lines modified		Offset 284, 67 lines modified
284	» MK-LISTYP»	284	» MK-LISTYP»
285	MK-PRODTYP	285	MK-PRODTYP
286	» MK-TOKTYP	286	» MK-TOKTYP
287	» MK-INTTYP»	287	» MK-INTTYP»
288	» MK-FUNTYP	288	» MK-FUNTYP
289	MK-TERMTYP	289	MK-TERMTYP
290	» MK-THMTYP»	290	» MK-THMTYP»
291	"MK-LET%ADD_COEFFS_TO_LEQ_QCONV%599»	291	"MK-LET%ADD_COEFFS_TO_LEQ_QCONV%556»
292	FUN%~~400~~%~~602~~	292	FUN%8719%559
293	,SPUTPROP	293	,SPUTPROP
294	FUN%~~400~~%~~605~~	294	FUN%8719%562
295	» CURRYBIND	295	» CURRYBIND
296	,SPUTPROP	296	,SPUTPROP
297	FUN%~~400~~%~~604~~	297	FUN%8719%561
298	» CURRYBIND	298	» CURRYBIND
299	FUN%~~400~~%~~605~~	299	FUN%8719%562
300	,SPUTPROP	300	,SPUTPROP
301	FUN%~~400~~%~~606~~	301	FUN%8719%563
302	» CURRYBIND	302	» CURRYBIND
303	FUN%400%605»
304	FUN%351%650»
305	FUN%400%605
306	FUN%400%605
307	FUN%400%604
308	FUN%400%604
309	FUN%3834%655»
310	FUN%~~3834~~%662»	303	FUN%8719%562»
		304	FUN%2215%552»
		305	FUN%8719%562
		306	FUN%8719%562
		307	FUN%8719%561
		308	FUN%8719%561
		309	FUN%6725%584»
		310	FUN%6725%591»
311	"MK-LET%NORM_ZERO_AND_ONE_QCONV%685»	311	"MK-LET%NORM_ZERO_AND_ONE_QCONV%608»
312	·MK-LET%SORT_AND_GATHER_QCONV%681»	312	·MK-LET%SORT_AND_GATHER_QCONV%604»
313	FUN%~~6537~~%~~670~~»	313	FUN%2118%589»
314	LESS_OR_EQ_GATHER_QCONV»	314	LESS_OR_EQ_GATHER_QCONV»
Max diff block lines reached; 1062/3738 bytes (28.41%) of diff not shown.


Offset 195, 105 lines modified		Offset 195, 105 lines modified
195	.comment	195	.comment
196	.note.GNU-stack	196	.note.GNU-stack
197	.rel.debug_frame	197	.rel.debug_frame
198	.ARM.attributes	198	.ARM.attributes
199	COMMON-LISP-USER	199	COMMON-LISP-USER
200	SYSTEMSPUTPROP	200	SYSTEMSPUTPROP
201	COMMON-LISPQUOTE	201	COMMON-LISPQUOTE
202	FUN%2~~669~~%666	202	FUN%127%562
203	» CURRYBIND	203	» CURRYBIND
204	EVALUATION»	204	EVALUATION»
205	MK-LET%dest_eq%128»	205	MK-LET%dest_eq%136»
206	FUN%~~719~~%130»	206	FUN%4838%138»
207	MK-LET%is_forall%158»	207	MK-LET%is_forall%166»
208	FUN%8~~517~~%90»	208	FUN%733%106»
209	MK-LET%is_exists%159»	209	MK-LET%is_exists%167»
210	MK-LET%EQ_IMP_THM%~~218~~»	210	MK-LET%EQ_IMP_THM%153»
211	FUN%~~3576~~%151»	211	FUN%8162%126»
212	QUANT_EQ_IMP_CONV»	212	QUANT_EQ_IMP_CONV»
213	FUN%2669%666
214	FUN%2~~669~~%666	213	FUN%127%562
		214	FUN%127%562
215	» MK-FUNTYP	215	» MK-FUNTYP
216	MK-TERMTYP	216	MK-TERMTYP
217	» MK-THMTYP»	217	» MK-THMTYP»
218	QUANT_EQ_IMP_CONV	218	QUANT_EQ_IMP_CONV
219	» MK-FUNTYP	219	» MK-FUNTYP
220	MK-TERMTYP	220	MK-TERMTYP
221	» MK-THMTYP»	221	» MK-THMTYP»
222	MK-LET%QUANT_EQ_IMP_CONV%665»	222	MK-LET%QUANT_EQ_IMP_CONV%561»
223	FUN%2~~669~~%666	223	FUN%127%562
224	,SPUTPROP	224	,SPUTPROP
225	FUN%2~~669~~%669	225	FUN%127%565
226	» CURRYBIND	226	» CURRYBIND
227	,SPUTPROP	227	,SPUTPROP
228	FUN%2~~669~~%668	228	FUN%127%564
229	» CURRYBIND	229	» CURRYBIND
230	ML-DEST_COMB»	230	ML-DEST_COMB»
231	FUN%2669%669»
232	FUN%719%309»
233	FUN%2669%669
234	FUN%~~2669%~~669	231	FUN%127%565»
		232	FUN%4838%317»
		233	FUN%127%565
		234	FUN%127%565
235	MK-LET%dest_forall%111»	235	MK-LET%dest_forall%119»
236	FUN%719%113»
237	FUN%~~2669~~%~~668~~»	236	FUN%4838%121»
		237	FUN%127%564»
238	MK-LET%dest_exists%114»	238	MK-LET%dest_exists%122»
239	FUN%719%116»
240	FUN%2669%668
241	FUN%~~2669~~%~~668~~	239	FUN%4838%124»
		240	FUN%127%564
		241	FUN%127%564
242	» MK-FUNTYP	242	» MK-FUNTYP
243	MK-TERMTYP	243	MK-TERMTYP
244	MK-BOOLTYP»	244	MK-BOOLTYP»
245	» is_prenex	245	» is_prenex
246	» MK-FUNTYP	246	» MK-FUNTYP
247	MK-TERMTYP	247	MK-TERMTYP
248	MK-BOOLTYP»	248	MK-BOOLTYP»
249	» MK-LETREC»	249	» MK-LETREC»
250	MK-LETREC%is_prenex%667»	250	MK-LETREC%is_prenex%563»
251	» is_prenex	251	» is_prenex
252	,SPUTPROP	252	,SPUTPROP
253	FUN%~~2669%~~671	253	FUN%127%567
254	» CURRYBIND	254	» CURRYBIND
255	,SPUTPROP	255	,SPUTPROP
256	FUN%2~~669~~%~~672~~	256	FUN%127%568
257	» CURRYBIND	257	» CURRYBIND
258	MK-LET%is_neg%166»	258	MK-LET%is_neg%174»
259	MK-LET%NOT_EXISTS_CONV%~~187~~»	259	MK-LET%NOT_EXISTS_CONV%201»
260	MK-LET%NOT_FORALL_CONV%185»	260	MK-LET%NOT_FORALL_CONV%199»
261	FUN%4~~110%93~~»	261	FUN%7435%107»
262	MK-LET%is_conj%161»	262	MK-LET%is_conj%169»
263	·MK-LET%RIGHT_AND_EXISTS_CONV%215»	263	·MK-LET%RIGHT_AND_EXISTS_CONV%229»
264	MK-LET%LEFT_AND_EXISTS_CONV%213»	264	MK-LET%LEFT_AND_EXISTS_CONV%227»
265	MK-LET%AND_EXISTS_CONV%211»	265	MK-LET%AND_EXISTS_CONV%225»
266	·MK-LET%RIGHT_AND_FORALL_CONV%201»	266	·MK-LET%RIGHT_AND_FORALL_CONV%215»
267	MK-LET%LEFT_AND_FORALL_CONV%~~199~~»	267	MK-LET%LEFT_AND_FORALL_CONV%213»
268	MK-LET%AND_FORALL_CONV%~~197~~»	268	MK-LET%AND_FORALL_CONV%211»
269	FUN%4~~110%94~~»	269	FUN%7435%108»
270	MK-LET%is_disj%162»	270	MK-LET%is_disj%170»
271	MK-LET%RIGHT_OR_EXISTS_CONV%207»	271	MK-LET%RIGHT_OR_EXISTS_CONV%221»
272	MK-LET%LEFT_OR_EXISTS_CONV%205»	272	MK-LET%LEFT_OR_EXISTS_CONV%219»
273	MK-LET%OR_EXISTS_CONV%203»	273	MK-LET%OR_EXISTS_CONV%217»
274	MK-LET%RIGHT_OR_FORALL_CONV%223»	274	MK-LET%RIGHT_OR_FORALL_CONV%237»
275	MK-LET%LEFT_OR_FORALL_CONV%221»	275	MK-LET%LEFT_OR_FORALL_CONV%235»
276	MK-LET%OR_FORALL_CONV%219»	276	MK-LET%OR_FORALL_CONV%233»
277	MK-LET%is_imp%163»	277	MK-LET%is_imp%171»
278	·MK-LET%RIGHT_IMP_EXISTS_CONV%235»	278	·MK-LET%RIGHT_IMP_EXISTS_CONV%249»
279	MK-LET%LEFT_IMP_EXISTS_CONV%227»	279	MK-LET%LEFT_IMP_EXISTS_CONV%241»
280	·MK-LET%RIGHT_IMP_FORALL_CONV%229»	280	·MK-LET%RIGHT_IMP_FORALL_CONV%243»
281	MK-LET%LEFT_IMP_FORALL_CONV%233»	281	MK-LET%LEFT_IMP_FORALL_CONV%247»
282	MK-LET%is_eq%164»	282	MK-LET%is_eq%172»
283	FUN%2669%671
284	FUN%2669%671
285	FUN%7777%147»
286	FUN%2669%671»
287	FUN%4110%158»
288	FUN%2669%672
289	FUN%~~2669%~~672	283	FUN%127%567
		284	FUN%127%567
		285	FUN%7017%76»
		286	FUN%127%567»
		287	FUN%7435%172»
		288	FUN%127%568
		289	FUN%127%568
290	» MK-FUNTYP	290	» MK-FUNTYP
291	MK-TERMTYP	291	MK-TERMTYP
292	» MK-THMTYP»	292	» MK-THMTYP»
293	PRENEX_CONV	293	PRENEX_CONV
294	» MK-FUNTYP	294	» MK-FUNTYP
295	MK-TERMTYP	295	MK-TERMTYP
296	» MK-THMTYP»	296	» MK-THMTYP»
297	MK-LET%PRENEX_CONV%~~670~~»	297	MK-LET%PRENEX_CONV%566»
298	PRENEX_CONV»	298	PRENEX_CONV»
299	FUN%2~~669~~%~~672~~	299	FUN%127%568


Offset 219, 108 lines modified		Offset 219, 108 lines modified
219	.rel.debug_frame	219	.rel.debug_frame
220	.ARM.attributes	220	.ARM.attributes
221	COMMON-LISP-USER	221	COMMON-LISP-USER
222	COMMON-LISPPROGN»	222	COMMON-LISPPROGN»
223	SYSTEMSETVV	223	SYSTEMSETVV
224	» MK-TOKTYP»	224	» MK-TOKTYP»
225	» MK-TOKTYP»	225	» MK-TOKTYP»
226	MK-LET%qconv%~~633~~»	226	MK-LET%qconv%552»
227	-SPUTPROP	227	-SPUTPROP
228	FUN%~~6537~~%~~635~~	228	FUN%2118%554
229	» CURRYBIND	229	» CURRYBIND
230	-SPUTPROP	230	-SPUTPROP
231	FUN%~~6537~~%~~636~~	231	FUN%2118%555
232	» CURRYBIND	232	» CURRYBIND
233	FUN%~~6537~~%~~635~~	233	FUN%2118%554
234	EVALUATION»	234	EVALUATION»
235	FUN%6537%635
236	FUN%6537%635
237	FUN%6537%635»
238	FUN%6537%636
239	FUN%~~6537~~%~~636~~	235	FUN%2118%554
		236	FUN%2118%554
		237	FUN%2118%554»
		238	FUN%2118%555
		239	FUN%2118%555
240	» MK-FUNTYP	240	» MK-FUNTYP
241	» MK-TOKTYP»	241	» MK-TOKTYP»
242	» MK-FUNTYP	242	» MK-FUNTYP
243	» MK-TOKTYP	243	» MK-TOKTYP
244	» qfailwith	244	» qfailwith
245	» MK-FUNTYP	245	» MK-FUNTYP
246	» MK-TOKTYP»	246	» MK-TOKTYP»
247	» MK-FUNTYP	247	» MK-FUNTYP
248	» MK-TOKTYP	248	» MK-TOKTYP
249	MK-LET%qfailwith%~~634~~»	249	MK-LET%qfailwith%553»
250	» qfailwith»	250	» qfailwith»
251	FUN%~~6537~~%~~636~~	251	FUN%2118%555
252	-SPUTPROP	252	-SPUTPROP
253	FUN%~~6537~~%~~638~~	253	FUN%2118%557
254	» CURRYBIND	254	» CURRYBIND
255	-SPUTPROP	255	-SPUTPROP
256	FUN%~~6537~~%~~639~~	256	FUN%2118%558
257	» CURRYBIND	257	» CURRYBIND
258	FUN%6537%638
259	FUN%7777%147»
260	FUN%6537%638
261	FUN%6537%638
262	FUN%6537%638»
263	FUN%6537%639
264	FUN%~~6537~~%~~639~~	258	FUN%2118%557
		259	FUN%7017%76»
		260	FUN%2118%557
		261	FUN%2118%557
		262	FUN%2118%557»
		263	FUN%2118%558
		264	FUN%2118%558
265	» MK-FUNTYP»	265	» MK-FUNTYP»
266	» MK-FUNTYP	266	» MK-FUNTYP
267	MK-TERMTYP	267	MK-TERMTYP
268	» MK-THMTYP»	268	» MK-THMTYP»
269	» MK-FUNTYP	269	» MK-FUNTYP
270	MK-TERMTYP	270	MK-TERMTYP
271	» MK-THMTYP»	271	» MK-THMTYP»
272	» MK-FUNTYP»	272	» MK-FUNTYP»
273	» MK-FUNTYP	273	» MK-FUNTYP
274	MK-TERMTYP	274	MK-TERMTYP
275	» MK-THMTYP»	275	» MK-THMTYP»
276	» MK-FUNTYP	276	» MK-FUNTYP
277	MK-TERMTYP	277	MK-TERMTYP
278	» MK-THMTYP»	278	» MK-THMTYP»
279	MK-LET%QCONV%~~637~~»	279	MK-LET%QCONV%556»
280	FUN%~~6537~~%~~639~~	280	FUN%2118%558
281	-SPUTPROP	281	-SPUTPROP
282	FUN%~~6537~~%~~641~~	282	FUN%2118%560
283	» CURRYBIND	283	» CURRYBIND
284	FUN%~~6537~~%~~641~~	284	FUN%2118%560
285	» MK-FUNTYP	285	» MK-FUNTYP
286	MK-TERMTYP	286	MK-TERMTYP
287	» MK-THMTYP»	287	» MK-THMTYP»
288	» ALL_QCONV	288	» ALL_QCONV
289	» MK-FUNTYP	289	» MK-FUNTYP
290	MK-TERMTYP	290	MK-TERMTYP
291	» MK-THMTYP»	291	» MK-THMTYP»
292	MK-LET%ALL_QCONV%~~640~~»	292	MK-LET%ALL_QCONV%559»
293	» ALL_QCONV»	293	» ALL_QCONV»
294	FUN%~~6537~~%~~641~~	294	FUN%2118%560
295	MK-NULLTYP»	295	MK-NULLTYP»
296	MK-APPN»	296	MK-APPN»
297	ML-ML_CURRIED_INFIX	297	ML-ML_CURRIED_INFIX
298	-SPUTPROP	298	-SPUTPROP
299	FUN%~~6537~~%~~643~~	299	FUN%2118%562
300	» CURRYBIND	300	» CURRYBIND
301	-SPUTPROP	301	-SPUTPROP
302	FUN%~~6537~~%~~644~~	302	FUN%2118%563
303	» CURRYBIND	303	» CURRYBIND
304	FUN%~~6537~~%~~643~~	304	FUN%2118%562
305	-SPUTPROP	305	-SPUTPROP
306	FUN%~~6537~~%645	306	FUN%2118%564
307	» CURRYBIND	307	» CURRYBIND
308	FUN%6537%644
309	FUN%719%155»
310	FUN%719%298»
311	FUN%3576%128»
312	FUN%6537%643
313	FUN%6537%643
314	FUN%6537%643»
315	FUN%6537%644
316	FUN%6537%644
317	FUN%6537%644»
318	FUN%6537%645
319	FUN%~~6537~~%~~645~~	308	FUN%2118%563
		309	FUN%4838%163»
		310	FUN%4838%306»
		311	FUN%8162%103»
		312	FUN%2118%562
		313	FUN%2118%562
		314	FUN%2118%562»
		315	FUN%2118%563
		316	FUN%2118%563
		317	FUN%2118%563»
		318	FUN%2118%564
		319	FUN%2118%564
320	» MK-FUNTYP»	320	» MK-FUNTYP»
321	» MK-FUNTYP	321	» MK-FUNTYP
322	MK-TERMTYP	322	MK-TERMTYP
323	» MK-THMTYP»	323	» MK-THMTYP»
324	» MK-FUNTYP»	324	» MK-FUNTYP»
Max diff block lines reached; 5237/7329 bytes (71.46%) of diff not shown.


Offset 220, 300 lines modified		Offset 220, 300 lines modified
220	.comment	220	.comment
221	.note.GNU-stack	221	.note.GNU-stack
222	.rel.debug_frame	222	.rel.debug_frame
223	.ARM.attributes	223	.ARM.attributes
224	COMMON-LISP-USER	224	COMMON-LISP-USER
225	COMMON-LISPPROGN	225	COMMON-LISPPROGN
226	SYSTEMSPUTPROP	226	SYSTEMSPUTPROP
227	ABS%rat%~~616~~	227	ABS%rat%577
228	-SPUTPROP	228	-SPUTPROP
229	ABS%rat%~~616~~	229	ABS%rat%577
230	» ABSTYNAME	230	» ABSTYNAME
231	-SPUTPROP	231	-SPUTPROP
232	FUN%9~~420~~%~~626~~	232	FUN%9543%587
233	» CURRYBIND	233	» CURRYBIND
234	-SPUTPROP	234	-SPUTPROP
235	FUN%9~~420~~%~~627~~	235	FUN%9543%588
236	» CURRYBIND	236	» CURRYBIND
237	-SPUTPROP	237	-SPUTPROP
238	FUN%9~~420~~%~~628~~	238	FUN%9543%589
239	» CURRYBIND	239	» CURRYBIND
240	-SPUTPROP	240	-SPUTPROP
241	FUN%9~~420~~%~~629~~	241	FUN%9543%590
242	» CURRYBIND	242	» CURRYBIND
243	-SPUTPROP	243	-SPUTPROP
244	FUN%9~~420~~%~~630~~	244	FUN%9543%591
245	» CURRYBIND	245	» CURRYBIND
246	-SPUTPROP	246	-SPUTPROP
247	FUN%9~~420~~%~~631~~	247	FUN%9543%592
248	» CURRYBIND	248	» CURRYBIND
249	FUN%9~~420~~%~~630~~	249	FUN%9543%591
250	-SPUTPROP	250	-SPUTPROP
251	FUN%9~~420~~%~~632~~	251	FUN%9543%593
252	» CURRYBIND	252	» CURRYBIND
253	-SPUTPROP	253	-SPUTPROP
254	FUN%9~~420~~%~~633~~	254	FUN%9543%594
255	» CURRYBIND	255	» CURRYBIND
256	FUN%9~~420~~%~~632~~	256	FUN%9543%593
257	-SPUTPROP	257	-SPUTPROP
258	FUN%9~~420~~%~~634~~	258	FUN%9543%595
259	» CURRYBIND	259	» CURRYBIND
260	-SPUTPROP	260	-SPUTPROP
261	FUN%9~~420~~%~~635~~	261	FUN%9543%596
262	» CURRYBIND	262	» CURRYBIND
263	FUN%9~~420~~%~~634~~	263	FUN%9543%595
264	-SPUTPROP	264	-SPUTPROP
265	FUN%9~~420~~%~~636~~	265	FUN%9543%597
266	» CURRYBIND	266	» CURRYBIND
267	-SPUTPROP	267	-SPUTPROP
268	FUN%9~~420~~%~~637~~	268	FUN%9543%598
269	» CURRYBIND	269	» CURRYBIND
270	FUN%9~~420~~%~~636~~	270	FUN%9543%597
271	-SPUTPROP	271	-SPUTPROP
272	FUN%9~~420~~%~~638~~	272	FUN%9543%599
273	» CURRYBIND	273	» CURRYBIND
274	EVALUATION»	274	EVALUATION»
275	FUN%9481%678»
276	FUN%9481%684»
277	FUN%9420%626
278	FUN%9420%626
279	FUN%9420%627
280	FUN%9420%627
281	FUN%9420%628
282	FUN%~~9420~~%628	275	FUN%4188%623»
		276	FUN%4188%629»
		277	FUN%9543%587
		278	FUN%9543%587
		279	FUN%9543%588
		280	FUN%9543%588
		281	FUN%9543%589
		282	FUN%9543%589
283	rat_inv»	283	rat_inv»
284	FUN%9420%629
285	FUN%9420%629
286	FUN%9420%630
287	FUN%9420%630
288	FUN%9420%630»
289	FUN%9420%631
290	FUN%9420%631
291	FUN%9420%632
292	FUN%9420%632
293	FUN%9420%632»
294	FUN%9420%633
295	FUN%9420%633
296	FUN%9420%634
297	FUN%9420%634
298	FUN%9420%634»
299	FUN%9420%635
300	FUN%9~~420~~%~~635~~	284	FUN%9543%590
		285	FUN%9543%590
		286	FUN%9543%591
		287	FUN%9543%591
		288	FUN%9543%591»
		289	FUN%9543%592
		290	FUN%9543%592
		291	FUN%9543%593
		292	FUN%9543%593
		293	FUN%9543%593»
		294	FUN%9543%594
		295	FUN%9543%594
		296	FUN%9543%595
		297	FUN%9543%595
		298	FUN%9543%595»
		299	FUN%9543%596
		300	FUN%9543%596
301	rat_div»	301	rat_div»
302	FUN%9420%636
303	FUN%9420%636
304	FUN%9420%636»
305	FUN%9420%637
306	FUN%9~~420~~%637	302	FUN%9543%597
		303	FUN%9543%597
		304	FUN%9543%597»
		305	FUN%9543%598
		306	FUN%9543%598
307	ML-PRINT_INT»	307	ML-PRINT_INT»
308	PSTRING»	308	PSTRING»
309	FUN%9420%638
310	FUN%9~~420~~%~~638~~	309	FUN%9543%599
		310	FUN%9543%599
311	MK-PRODTYP»	311	MK-PRODTYP»
312	» MK-FUNTYP»	312	» MK-FUNTYP»
313	MK-PRODTYP	313	MK-PRODTYP
314	» MK-INTTYP	314	» MK-INTTYP
315	» MK-INTTYP	315	» MK-INTTYP
316	ABS%rat%~~616~~»	316	ABS%rat%577»
317	MK-PRODTYP»	317	MK-PRODTYP»
318	» MK-FUNTYP	318	» MK-FUNTYP
Max diff block lines reached; 4493/6601 bytes (68.07%) of diff not shown.


Offset 235, 164 lines modified		Offset 235, 164 lines modified
235	.comment	235	.comment
236	.note.GNU-stack	236	.note.GNU-stack
237	.rel.debug_frame	237	.rel.debug_frame
238	.ARM.attributes	238	.ARM.attributes
239	COMMON-LISP-USER	239	COMMON-LISP-USER
240	SYSTEMSPUTPROP	240	SYSTEMSPUTPROP
241	COMMON-LISPQUOTE	241	COMMON-LISPQUOTE
242	FUN%6~~492~~%689	242	FUN%6534%569
243	» CURRYBIND	243	» CURRYBIND
244	,SPUTPROP	244	,SPUTPROP
245	FUN%6~~492~~%690	245	FUN%6534%570
246	» CURRYBIND	246	» CURRYBIND
247	FUN%6~~492~~%689	247	FUN%6534%569
248	EVALUATION»	248	EVALUATION»
249	Neg_inf»	249	Neg_inf»
250	Pos_inf»	250	Pos_inf»
251	FUN%9~~420~~%649»	251	FUN%9543%610»
252	pattern»	252	pattern»
253	less_bound»	253	less_bound»
254	FUN%6492%689
255	FUN%6~~492~~%689	254	FUN%6534%569
		255	FUN%6534%569
256	FUN%6~~492~~%689»	256	FUN%6534%569»
257	FUN%6492%690
258	FUN%6~~492~~%690	257	FUN%6534%570
		258	FUN%6534%570
259	» MK-FUNTYP	259	» MK-FUNTYP
260	CONC%bound%~~673~~»	260	CONC%bound%541»
261	» MK-FUNTYP	261	» MK-FUNTYP
262	CONC%bound%~~673~~	262	CONC%bound%541
263	MK-BOOLTYP»	263	MK-BOOLTYP»
264	less_bound	264	less_bound
265	» MK-FUNTYP	265	» MK-FUNTYP
266	CONC%bound%~~673~~»	266	CONC%bound%541»
267	» MK-FUNTYP	267	» MK-FUNTYP
268	CONC%bound%~~673~~	268	CONC%bound%541
269	MK-BOOLTYP»	269	MK-BOOLTYP»
270	MK-LET%less_bound%688»	270	MK-LET%less_bound%568»
271	FUN%6~~492~~%690	271	FUN%6534%570
272	,SPUTPROP	272	,SPUTPROP
273	FUN%6~~492~~%692	273	FUN%6534%572
274	» CURRYBIND	274	» CURRYBIND
275	MK-LET%rat_zero%646»	275	MK-LET%rat_zero%607»
276	is_neg_bound»	276	is_neg_bound»
277	FUN%6492%692
278	FUN%6~~492~~%692	277	FUN%6534%572
		278	FUN%6534%572
279	» MK-FUNTYP	279	» MK-FUNTYP
280	CONC%bound%~~673~~	280	CONC%bound%541
281	MK-BOOLTYP»	281	MK-BOOLTYP»
282	is_neg_bound	282	is_neg_bound
283	» MK-FUNTYP	283	» MK-FUNTYP
284	CONC%bound%~~673~~	284	CONC%bound%541
285	MK-BOOLTYP»	285	MK-BOOLTYP»
286	MK-LET%is_neg_bound%691»	286	MK-LET%is_neg_bound%571»
287	FUN%6~~492~~%692	287	FUN%6534%572
288	,SPUTPROP	288	,SPUTPROP
289	FUN%6~~492~~%694	289	FUN%6534%574
290	» CURRYBIND	290	» CURRYBIND
291	is_finite_bound»	291	is_finite_bound»
292	FUN%6492%694
293	FUN%6~~492~~%694	292	FUN%6534%574
		293	FUN%6534%574
294	» MK-FUNTYP	294	» MK-FUNTYP
295	CONC%bound%~~673~~	295	CONC%bound%541
296	MK-BOOLTYP»	296	MK-BOOLTYP»
297	is_finite_bound	297	is_finite_bound
298	» MK-FUNTYP	298	» MK-FUNTYP
299	CONC%bound%~~673~~	299	CONC%bound%541
300	MK-BOOLTYP»	300	MK-BOOLTYP»
301	MK-LET%is_finite_bound%693»	301	MK-LET%is_finite_bound%573»
302	FUN%6~~492~~%694	302	FUN%6534%574
303	,SPUTPROP	303	,SPUTPROP
304	FUN%6~~492~~%696	304	FUN%6534%576
305	» CURRYBIND	305	» CURRYBIND
306	rat_of_bound»	306	rat_of_bound»
307	FUN%6492%696
308	FUN%6~~492~~%696	307	FUN%6534%576
		308	FUN%6534%576
309	» MK-FUNTYP	309	» MK-FUNTYP
310	CONC%bound%~~673~~	310	CONC%bound%541
311	ABS%rat%~~616~~»	311	ABS%rat%577»
312	rat_of_bound	312	rat_of_bound
313	» MK-FUNTYP	313	» MK-FUNTYP
314	CONC%bound%~~673~~	314	CONC%bound%541
315	ABS%rat%~~616~~»	315	ABS%rat%577»
316	MK-LET%rat_of_bound%695»	316	MK-LET%rat_of_bound%575»
317	FUN%6~~492~~%696	317	FUN%6534%576
318	,SPUTPROP	318	,SPUTPROP
319	FUN%6~~492~~%698	319	FUN%6534%578
320	» CURRYBIND	320	» CURRYBIND
321	,SPUTPROP	321	,SPUTPROP
322	FUN%6~~492~~%699	322	FUN%6534%579
323	» CURRYBIND	323	» CURRYBIND
324	FUN%6~~492~~%698	324	FUN%6534%578
		325	FUN%9543%606»
325	FUN%9~~420~~%645»	326	FUN%9543%604»
		327	FUN%6534%578
		328	FUN%6534%578
		329	FUN%6534%578»
		330	FUN%6534%579
		331	FUN%6534%579
326	FUN%9420%643»
327	FUN%6492%698
328	FUN%6492%698
329	FUN%6492%698»
330	FUN%6492%699
331	FUN%6492%699
332	» MK-FUNTYP	332	» MK-FUNTYP
333	ABS%rat%~~616~~»	333	ABS%rat%577»
334	» MK-FUNTYP	334	» MK-FUNTYP
335	ABS%rat%~~616~~	335	ABS%rat%577
336	MK-BOOLTYP»	336	MK-BOOLTYP»
337	is_int_range	337	is_int_range
338	» MK-FUNTYP	338	» MK-FUNTYP
339	ABS%rat%~~616~~»	339	ABS%rat%577»
340	» MK-FUNTYP	340	» MK-FUNTYP
341	ABS%rat%~~616~~	341	ABS%rat%577
342	MK-BOOLTYP»	342	MK-BOOLTYP»
343	MK-LET%is_int_range%697»	343	MK-LET%is_int_range%577»
344	is_int_range»	344	is_int_range»
345	FUN%6~~492~~%699	345	FUN%6534%579
346	,SPUTPROP	346	,SPUTPROP
347	FUN%6~~492~~%701	347	FUN%6534%581
348	» CURRYBIND	348	» CURRYBIND
349	,SPUTPROP	349	,SPUTPROP
350	FUN%6~~492~~%702	350	FUN%6534%582
Max diff block lines reached; 3613/6193 bytes (58.34%) of diff not shown.


Offset 223, 215 lines modified		Offset 223, 215 lines modified
223	.comment	223	.comment
224	.note.GNU-stack	224	.note.GNU-stack
225	.rel.debug_frame	225	.rel.debug_frame
226	.ARM.attributes	226	.ARM.attributes
227	COMMON-LISP-USER	227	COMMON-LISP-USER
228	SYSTEMSPUTPROP	228	SYSTEMSPUTPROP
229	COMMON-LISPQUOTE	229	COMMON-LISPQUOTE
230	FUN%~~5979~~%~~676~~	230	FUN%1424%559
231	» CURRYBIND	231	» CURRYBIND
232	,SPUTPROP	232	,SPUTPROP
233	FUN%~~5979~~%~~677~~	233	FUN%1424%560
234	» CURRYBIND	234	» CURRYBIND
235	FUN%~~719~~%305»	235	FUN%4838%313»
236	MK-LET%is_mult%630»	236	MK-LET%is_mult%643»
237	FUN%8~~517~~%90»	237	FUN%733%106»
238	MK-LETREC%FAST_MULT_CONV%~~655~~»	238	MK-LETREC%FAST_MULT_CONV%578»
239	FUN%6537%661»
240	FUN%~~6537~~%~~664~~»	239	FUN%2118%580»
		240	FUN%2118%583»
241	MK-LETREF%MULT_ASSOC_CONV%661»	241	MK-LETREF%MULT_ASSOC_CONV%648»
242	FUN%6537%643»
243	FUN%~~6537~~%~~644~~»	242	FUN%2118%562»
		243	FUN%2118%563»
244	#MK-LETREF%LEFT_ADD_DISTRIB_CONV%659»	244	#MK-LETREF%LEFT_ADD_DISTRIB_CONV%646»
245	FUN%5979%676
246	FUN%~~5979~~%~~676~~	245	FUN%1424%559
		246	FUN%1424%559
247	EVALUATION»	247	EVALUATION»
248	FUN%~~5979~~%~~676~~»	248	FUN%1424%559»
249	ML-IS_CONST»	249	ML-IS_CONST»
250	FUN%~~3947~~%~~656~~»	250	FUN%7432%579»
251	MK-LET%arg1%673»	251	MK-LET%arg1%686»
252	FUN%8~~517~~%45»	252	FUN%733%61»
253	CONST_TIMES_ARITH_QCONV»	253	CONST_TIMES_ARITH_QCONV»
254	FUN%6537%635»
255	FUN%5979%677
256	FUN%~~5979~~%~~677~~	254	FUN%2118%554»
		255	FUN%1424%560
		256	FUN%1424%560
257	» MK-FUNTYP	257	» MK-FUNTYP
258	MK-TERMTYP	258	MK-TERMTYP
259	» MK-THMTYP»	259	» MK-THMTYP»
260	CONST_TIMES_ARITH_QCONV	260	CONST_TIMES_ARITH_QCONV
261	» MK-FUNTYP	261	» MK-FUNTYP
262	MK-TERMTYP	262	MK-TERMTYP
263	» MK-THMTYP»	263	» MK-THMTYP»
264	"MK-LET%CONST_TIMES_ARITH_QCONV%~~675~~»	264	"MK-LET%CONST_TIMES_ARITH_QCONV%558»
265	FUN%~~5979~~%~~677~~	265	FUN%1424%560
266	,SPUTPROP	266	,SPUTPROP
267	FUN%~~5979~~%~~679~~	267	FUN%1424%562
268	» CURRYBIND	268	» CURRYBIND
269	,SPUTPROP	269	,SPUTPROP
270	FUN%~~5979~~%~~680~~	270	FUN%1424%563
271	» CURRYBIND	271	» CURRYBIND
272	,SPUTPROP	272	,SPUTPROP
273	FUN%~~5979~~%~~681~~	273	FUN%1424%564
274	» CURRYBIND	274	» CURRYBIND
275	,SPUTPROP	275	,SPUTPROP
276	FUN%~~5979~~%~~682~~	276	FUN%1424%565
277	» CURRYBIND	277	» CURRYBIND
278	,SPUTPROP	278	,SPUTPROP
279	FUN%~~5979~~%~~683~~	279	FUN%1424%566
280	» CURRYBIND	280	» CURRYBIND
281	FUN%5979%682»
282	FUN%5979%679
283	FUN%5979%679
284	FUN%5979%680
285	FUN%5979%680
286	FUN%3576%128»
287	FUN%5979%681
288	FUN%~~5979~~%681	281	FUN%1424%565»
		282	FUN%1424%562
		283	FUN%1424%562
		284	FUN%1424%563
		285	FUN%1424%563
		286	FUN%8162%103»
		287	FUN%1424%564
		288	FUN%1424%564
289	MK-LET%dest_leq%648»	289	MK-LET%dest_leq%661»
290	FUN%7416%643»
291	FUN%7416%668»
292	FUN%~~6537~~%641»	290	FUN%1891%656»
		291	FUN%1891%681»
		292	FUN%2118%560»
293	MK-LET%term_of_int%669»	293	MK-LET%term_of_int%682»
294	FUN%~~7416~~%670»	294	FUN%1891%683»
295	MK-LET%num_CONV%380»	295	MK-LET%num_CONV%357»
296	FUN%5301%381»
297	FUN%~~3576~~%~~126~~»	296	FUN%2119%358»
		297	FUN%8162%101»
298	MK-LETREF%MULT_LEQ_SUC%631»	298	MK-LETREF%MULT_LEQ_SUC%618»
299	FUN%3576%148»
300	FUN%719%155»
301	FUN%719%298»
302	FUN%5979%680»
303	FUN%4110%265»
304	FUN%4110%268»
305	FUN%~~5979~~%~~679~~»	299	FUN%8162%123»
		300	FUN%4838%163»
		301	FUN%4838%306»
		302	FUN%1424%563»
		303	FUN%7435%279»
		304	FUN%7435%282»
		305	FUN%1424%562»
		306	FUN%7435%103»
306	FUN%4110%89»	307	FUN%2118%589»
		308	FUN%1424%564»
307	FUN%6537%670»
308	FUN%5979%681»
309	MULT_LEQ_BY_CONST_QCONV»	309	MULT_LEQ_BY_CONST_QCONV»
310	FUN%5979%682
311	FUN%5979%682
312	FUN%5979%682»
313	FUN%5979%683
314	FUN%~~5979~~%~~683~~	310	FUN%1424%565
		311	FUN%1424%565
		312	FUN%1424%565»
		313	FUN%1424%566
		314	FUN%1424%566
315	» MK-FUNTYP	315	» MK-FUNTYP
316	MK-TERMTYP»	316	MK-TERMTYP»
317	» MK-FUNTYP	317	» MK-FUNTYP
318	MK-TERMTYP	318	MK-TERMTYP
319	» MK-THMTYP»	319	» MK-THMTYP»
320	MULT_LEQ_BY_CONST_QCONV	320	MULT_LEQ_BY_CONST_QCONV
321	» MK-FUNTYP	321	» MK-FUNTYP
322	MK-TERMTYP»	322	MK-TERMTYP»
Max diff block lines reached; 9617/12296 bytes (78.21%) of diff not shown.


Offset 205, 192 lines modified		Offset 205, 192 lines modified
205	.comment	205	.comment
206	.note.GNU-stack	206	.note.GNU-stack
207	.rel.debug_frame	207	.rel.debug_frame
208	.ARM.attributes	208	.ARM.attributes
209	COMMON-LISP-USER	209	COMMON-LISP-USER
210	SYSTEMSPUTPROP	210	SYSTEMSPUTPROP
211	COMMON-LISPQUOTE	211	COMMON-LISPQUOTE
212	FUN%6497%694	212	FUN%476%611
213	» CURRYBIND	213	» CURRYBIND
214	,SPUTPROP	214	,SPUTPROP
215	FUN%6497%695	215	FUN%476%612
216	» CURRYBIND	216	» CURRYBIND
217	,SPUTPROP	217	,SPUTPROP
218	FUN%6497%696	218	FUN%476%613
219	» CURRYBIND	219	» CURRYBIND
220	,SPUTPROP	220	,SPUTPROP
221	FUN%6497%697	221	FUN%476%614
222	» CURRYBIND	222	» CURRYBIND
223	,SPUTPROP	223	,SPUTPROP
224	FUN%6497%698	224	FUN%476%615
225	» CURRYBIND	225	» CURRYBIND
226	FUN%6497%697	226	FUN%476%614
227	,SPUTPROP	227	,SPUTPROP
228	FUN%6497%699	228	FUN%476%616
229	» CURRYBIND	229	» CURRYBIND
230	FUN%6497%694
231	FUN%6497%694
232	FUN%6497%695
233	FUN%6497%695	230	FUN%476%611
		231	FUN%476%611
		232	FUN%476%612
		233	FUN%476%612
234	$MK-LETREF%ZERO_LESS_EQ_ONE_TIMES%634»	234	$MK-LETREF%ZERO_LESS_EQ_ONE_TIMES%621»
235	MK-LET%mk_num_var%671»	235	MK-LET%mk_num_var%684»
236	FUN%7416%672»
237	FUN%3576%148»
238	FUN%6497%696
239	FUN%6497%696
240	FUN%~~7777~~%~~161~~»	236	FUN%1891%685»
		237	FUN%8162%123»
		238	FUN%476%613
		239	FUN%476%613
		240	FUN%7017%90»
241	#MK-LETREF%IMP_IMP_CONJ_IMP_CONV%644»	241	#MK-LETREF%IMP_IMP_CONJ_IMP_CONV%631»
242	FUN%4110%176»
243	FUN%6497%697
244	FUN%6497%697
245	FUN%6497%697»
246	FUN%6497%698
247	FUN%6497%698	242	FUN%7435%190»
		243	FUN%476%614
		244	FUN%476%614
		245	FUN%476%614»
		246	FUN%476%615
		247	FUN%476%615
248	EVALUATION»	248	EVALUATION»
249	MK-LETREC%conjuncts%245»	249	MK-LETREC%conjuncts%253»
250	FUN%~~719~~%246»	250	FUN%4838%254»
251	MK-LET%coeffs_of_leq%~~656~~»	251	MK-LET%coeffs_of_leq%585»
252	FUN%6545%50»
253	FUN%6497%694»
254	FUN%6545%65»
255	FUN%6497%~~700~~	252	FUN%192%97»
		253	FUN%476%611»
		254	FUN%192%112»
		255	FUN%476%617
256	ML-FLAT»	256	ML-FLAT»
257	FUN%6497%701
258	FUN%320%53»
259	FUN%6497%695»	257	FUN%476%618
		258	FUN%2727%60»
		259	FUN%476%612»
260	MK-LETREC%VAR_ELIM%~~704~~»	260	MK-LETREC%VAR_ELIM%587»
261	FUN%5979%705»
262	FUN%6497%~~696~~»	261	FUN%1424%588»
		262	FUN%476%613»
263	MK-LET%PROVE_HYP%145»	263	MK-LET%PROVE_HYP%80»
264	FUN%320%25»
265	FUN%3834%664»
266	FUN%7777%145»	264	FUN%2727%32»
		265	FUN%6725%593»
		266	FUN%7017%74»
267	MK-LET%LEQ_CONV%~~684~~»	267	MK-LET%LEQ_CONV%567»
268	MK-LETREC%last%64»	268	MK-LETREC%last%71»
269	FUN%320%65»
270	FUN%~~649~~7%698»	269	FUN%2727%72»
		270	FUN%476%615»
271	MK-LETREC%butlast%66»	271	MK-LETREC%butlast%73»
272	FUN%320%67»	272	FUN%2727%74»
273	MK-LETREF%IMP_F_EQ_F_CONV%643»	273	MK-LETREF%IMP_F_EQ_F_CONV%630»
274	INEQS_FALSE_CONV»	274	INEQS_FALSE_CONV»
275	FUN%6497%699
276	FUN%6497%699
277	FUN%6497%700
278	FUN%6497%700
279	FUN%6497%701
280	FUN%6497%~~701~~	275	FUN%476%616
		276	FUN%476%616
		277	FUN%476%617
		278	FUN%476%617
		279	FUN%476%618
		280	FUN%476%618
281	» MK-FUNTYP	281	» MK-FUNTYP
282	MK-TERMTYP	282	MK-TERMTYP
283	» MK-THMTYP»	283	» MK-THMTYP»
284	INEQS_FALSE_CONV	284	INEQS_FALSE_CONV
285	» MK-FUNTYP	285	» MK-FUNTYP
286	MK-TERMTYP	286	MK-TERMTYP
287	» MK-THMTYP»	287	» MK-THMTYP»
288	MK-LET%INEQS_FALSE_CONV%693»	288	MK-LET%INEQS_FALSE_CONV%610»
289	FUN%6497%699	289	FUN%476%616
290	,SPUTPROP	290	,SPUTPROP
291	FUN%6497%~~703~~	291	FUN%476%620
292	» CURRYBIND	292	» CURRYBIND
293	MK-LET%is_disj%162»	293	MK-LET%is_disj%170»
294	FUN%8~~517~~%90»	294	FUN%733%106»
295	MK-LETREF%OR_F_CONV%649»	295	MK-LETREF%OR_F_CONV%636»
296	FUN%6537%661»
297	FUN%6537%664»
298	FUN%6537%644»
299	FUN%~~6537~~%~~643~~»	296	FUN%2118%580»
		297	FUN%2118%583»
		298	FUN%2118%563»
		299	FUN%2118%562»
300	DISJ_INEQS_FALSE_QCONV»	300	DISJ_INEQS_FALSE_QCONV»
301	FUN%6537%635»
302	FUN%6497%703
Max diff block lines reached; 3820/6540 bytes (58.41%) of diff not shown.


Offset 227, 237 lines modified		Offset 227, 237 lines modified
227	.comment	227	.comment
228	.note.GNU-stack	228	.note.GNU-stack
229	.rel.debug_frame	229	.rel.debug_frame
230	.ARM.attributes	230	.ARM.attributes
231	COMMON-LISP-USER	231	COMMON-LISP-USER
232	COMMON-LISPPROGN	232	COMMON-LISPPROGN
233	SYSTEMSPUTPROP	233	SYSTEMSPUTPROP
234	CONC%stream%~~632~~	234	CONC%stream%571
235	-SPUTPROP	235	-SPUTPROP
236	CONC%stream%~~632~~	236	CONC%stream%571
237	» MK-FUNTYP»	237	» MK-FUNTYP»
238	MK-PRODTYP	238	MK-PRODTYP
239	» MK-FUNTYP	239	» MK-FUNTYP
240	MK-NULLTYP	240	MK-NULLTYP
241	CONC%stream%~~632~~	241	CONC%stream%571
242	CONC%stream%~~632~~	242	CONC%stream%571
243	CONSTRUCTORS	243	CONSTRUCTORS
244	» MK-FUNTYP»	244	» MK-FUNTYP»
245	MK-PRODTYP	245	MK-PRODTYP
246	» MK-FUNTYP	246	» MK-FUNTYP
247	MK-NULLTYP	247	MK-NULLTYP
248	CONC%stream%~~632~~	248	CONC%stream%571
249	CONC%stream%~~632~~	249	CONC%stream%571
250	CONC%stream%~~632~~»	250	CONC%stream%571»
251	MK-RECTYPE»	251	MK-RECTYPE»
252	-SPUTPROP	252	-SPUTPROP
253	FUN%7536%~~635~~	253	FUN%4537%574
254	» CURRYBIND	254	» CURRYBIND
255	-SPUTPROP	255	-SPUTPROP
256	FUN%7536%~~636~~	256	FUN%4537%575
257	» CURRYBIND	257	» CURRYBIND
258	FUN%7536%~~635~~	258	FUN%4537%574
259	-SPUTPROP	259	-SPUTPROP
260	FUN%7536%~~634~~	260	FUN%4537%573
261	» CURRYBIND	261	» CURRYBIND
262	FUN%7536%636
263	FUN%7536%6~~36»~~	262	FUN%4537%575
		263	FUN%4537%575»
264	EVALUATION»	264	EVALUATION»
265	pattern»	265	pattern»
266	FUN%7536%635
267	FUN%7536%635
268	FUN%7536%635»
269	FUN%7536%636
270	FUN%7536%636
271	FUN%7536%634
272	FUN%7536%634	266	FUN%4537%574
		267	FUN%4537%574
		268	FUN%4537%574»
		269	FUN%4537%575
		270	FUN%4537%575
		271	FUN%4537%573
		272	FUN%4537%573
273	» MK-FUNTYP»	273	» MK-FUNTYP»
274	» MK-FUNTYP	274	» MK-FUNTYP
275	» MK-FUNTYP»	275	» MK-FUNTYP»
276	» MK-FUNTYP	276	» MK-FUNTYP
277	MK-NULLTYP	277	MK-NULLTYP
278	CONC%stream%~~632~~	278	CONC%stream%571
279	» MK-FUNTYP	279	» MK-FUNTYP
280	MK-NULLTYP	280	MK-NULLTYP
281	CONC%stream%~~632~~	281	CONC%stream%571
282	stream_map	282	stream_map
283	» MK-FUNTYP»	283	» MK-FUNTYP»
284	» MK-FUNTYP	284	» MK-FUNTYP
285	» MK-FUNTYP»	285	» MK-FUNTYP»
286	» MK-FUNTYP	286	» MK-FUNTYP
287	MK-NULLTYP	287	MK-NULLTYP
288	CONC%stream%~~632~~	288	CONC%stream%571
289	» MK-FUNTYP	289	» MK-FUNTYP
290	MK-NULLTYP	290	MK-NULLTYP
291	CONC%stream%~~632~~	291	CONC%stream%571
292	» MK-LETREC»	292	» MK-LETREC»
293	MK-LETREC%stream_map%~~633~~»	293	MK-LETREC%stream_map%572»
294	FUN%7536%~~634~~»	294	FUN%4537%573»
295	stream_map	295	stream_map
296	-SPUTPROP	296	-SPUTPROP
297	FUN%7536%~~639~~	297	FUN%4537%578
298	» CURRYBIND	298	» CURRYBIND
299	-SPUTPROP	299	-SPUTPROP
300	FUN%7536%~~640~~	300	FUN%4537%579
301	» CURRYBIND	301	» CURRYBIND
302	FUN%7536%~~639~~	302	FUN%4537%578
303	-SPUTPROP	303	-SPUTPROP
304	FUN%7536%~~638~~	304	FUN%4537%577
305	» CURRYBIND	305	» CURRYBIND
306	FUN%7536%640
307	FUN%7536%640»
308	FUN%7536%639
309	FUN%7536%639
310	FUN%7536%639»
311	FUN%7536%640
312	FUN%7536%640
313	FUN%7536%638
314	FUN%7536%~~638~~	306	FUN%4537%579
		307	FUN%4537%579»
		308	FUN%4537%578
		309	FUN%4537%578
		310	FUN%4537%578»
		311	FUN%4537%579
		312	FUN%4537%579
		313	FUN%4537%577
		314	FUN%4537%577
315	» MK-FUNTYP»	315	» MK-FUNTYP»
316	» MK-FUNTYP	316	» MK-FUNTYP
317	MK-NULLTYP	317	MK-NULLTYP
318	CONC%stream%~~632~~	318	CONC%stream%571
319	» MK-FUNTYP»	319	» MK-FUNTYP»
320	» MK-FUNTYP	320	» MK-FUNTYP
321	MK-NULLTYP	321	MK-NULLTYP
322	CONC%stream%~~632~~	322	CONC%stream%571
323	» MK-FUNTYP	323	» MK-FUNTYP
324	MK-NULLTYP	324	MK-NULLTYP
325	CONC%stream%~~632~~	325	CONC%stream%571
326	stream_append	326	stream_append
327	» MK-FUNTYP»	327	» MK-FUNTYP»
328	» MK-FUNTYP	328	» MK-FUNTYP
329	MK-NULLTYP	329	MK-NULLTYP
330	CONC%stream%~~632~~	330	CONC%stream%571
331	» MK-FUNTYP»	331	» MK-FUNTYP»
332	» MK-FUNTYP	332	» MK-FUNTYP
333	MK-NULLTYP	333	MK-NULLTYP
334	CONC%stream%~~632~~	334	CONC%stream%571
335	» MK-FUNTYP	335	» MK-FUNTYP
336	MK-NULLTYP	336	MK-NULLTYP
337	CONC%stream%~~632~~	337	CONC%stream%571
338	MK-LETREC%stream_append%~~637~~»	338	MK-LETREC%stream_append%576»
Max diff block lines reached; 2695/5055 bytes (53.31%) of diff not shown.


Offset 166, 47 lines modified		Offset 166, 47 lines modified
166	.comment	166	.comment
167	.note.GNU-stack	167	.note.GNU-stack
168	.rel.debug_frame	168	.rel.debug_frame
169	.ARM.attributes	169	.ARM.attributes
170	COMMON-LISP-USER	170	COMMON-LISP-USER
171	SYSTEMSPUTPROP	171	SYSTEMSPUTPROP
172	COMMON-LISPQUOTE	172	COMMON-LISPQUOTE
173	FUN%351%~~649~~	173	FUN%2215%551
174	» CURRYBIND	174	» CURRYBIND
175	,SPUTPROP	175	,SPUTPROP
176	FUN%351%~~648~~	176	FUN%2215%550
177	» CURRYBIND	177	» CURRYBIND
178	FUN%351%~~649~~	178	FUN%2215%551
179	,SPUTPROP	179	,SPUTPROP
180	FUN%351%650	180	FUN%2215%552
181	» CURRYBIND	181	» CURRYBIND
182	,SPUTPROP	182	,SPUTPROP
183	FUN%351%651	183	FUN%2215%553
184	» CURRYBIND	184	» CURRYBIND
185	FUN%351%650	185	FUN%2215%552
186	ML-ASCII_CODE»	186	ML-ASCII_CODE»
187	FUN%351%649
188	FUN%351%649
189	FUN%351%649»
190	FUN%351%648
191	FUN%351%648
192	FUN%351~~%648»~~	187	FUN%2215%551
		188	FUN%2215%551
		189	FUN%2215%551»
		190	FUN%2215%550
		191	FUN%2215%550
		192	FUN%2215%550»
193	ML-EXPLODE»	193	ML-EXPLODE»
194	FUN%351%650
195	FUN%351%650
196	FUN%351%650»
197	FUN%351%651
198	FUN%351%651	194	FUN%2215%552
		195	FUN%2215%552
		196	FUN%2215%552»
		197	FUN%2215%553
		198	FUN%2215%553
199	» MK-FUNTYP	199	» MK-FUNTYP
200	» MK-TOKTYP»	200	» MK-TOKTYP»
201	» MK-FUNTYP	201	» MK-FUNTYP
202	» MK-TOKTYP	202	» MK-TOKTYP
203	MK-BOOLTYP»	203	MK-BOOLTYP»
204	string_less	204	string_less
205	» MK-FUNTYP	205	» MK-FUNTYP
206	» MK-TOKTYP»	206	» MK-TOKTYP»
207	» MK-FUNTYP	207	» MK-FUNTYP
208	» MK-TOKTYP	208	» MK-TOKTYP
209	MK-BOOLTYP»	209	MK-BOOLTYP»
210	MK-LET%string_less%647»	210	MK-LET%string_less%549»
211	string_less»	211	string_less»
212	FUN%351%651	212	FUN%2215%553


Offset 197, 113 lines modified		Offset 197, 113 lines modified
197	.comment	197	.comment
198	.note.GNU-stack	198	.note.GNU-stack
199	.rel.debug_frame	199	.rel.debug_frame
200	.ARM.attributes	200	.ARM.attributes
201	COMMON-LISP-USER	201	COMMON-LISP-USER
202	SYSTEMSPUTPROP	202	SYSTEMSPUTPROP
203	COMMON-LISPQUOTE	203	COMMON-LISPQUOTE
204	FUN%8~~781~~%~~678~~	204	FUN%8206%541
205	» CURRYBIND	205	» CURRYBIND
206	EVALUATION»	206	EVALUATION»
207	ML-DEST_ABS»	207	ML-DEST_ABS»
		208	FUN%4838%270»
		209	FUN%192%95»
		210	FUN%8206%542
208	FUN%719%262»	211	FUN%733%62»
		212	FUN%8206%543
		213	FUN%733%110»
209	FUN%6545%48»
210	FUN%8781%679
211	FUN%8517%46»
212	FUN%8781%680
213	FUN%8517%94»
214	MK-LET%I%57»	214	MK-LET%I%73»
215	FUN%8~~517~~%52»	215	FUN%733%68»
216	» ML-MK_ABS»	216	» ML-MK_ABS»
217	MK-LET%COND_ABS%~~222~~»	217	MK-LET%COND_ABS%157»
218	ML-TYPE_OF»	218	ML-TYPE_OF»
219	Q-MK_VARTYPE»	219	Q-MK_VARTYPE»
220	FUN%7777%158»
221	FUN%3576%151»
222	FUN%~~248~~7%190»	220	FUN%7017%87»
		221	FUN%8162%126»
		222	FUN%3933%125»
223	MK-LET%BETA_CONV%152»	223	MK-LET%BETA_CONV%81»
224	FUN%4110%265»
225	FUN%4110%268»
226	FUN%4110%90»
227	FUN%4110%271»
228	FUN%~~4110~~%176»	224	FUN%7435%279»
		225	FUN%7435%282»
		226	FUN%7435%104»
		227	FUN%7435%285»
		228	FUN%7435%190»
229	COND_ABS_CONV»	229	COND_ABS_CONV»
230	FUN%8781%678
231	FUN%8781%678
232	FUN%8781%679
233	FUN%8~~781~~%~~679~~	230	FUN%8206%541
		231	FUN%8206%541
		232	FUN%8206%542
		233	FUN%8206%542
234	FREEVARS»	234	FREEVARS»
235	FUN%8781%680
236	FUN%8~~781~~%~~680~~	235	FUN%8206%543
		236	FUN%8206%543
237	» MK-FUNTYP	237	» MK-FUNTYP
238	MK-TERMTYP	238	MK-TERMTYP
239	» MK-THMTYP»	239	» MK-THMTYP»
240	COND_ABS_CONV	240	COND_ABS_CONV
241	» MK-FUNTYP	241	» MK-FUNTYP
242	MK-TERMTYP	242	MK-TERMTYP
243	» MK-THMTYP»	243	» MK-THMTYP»
244	MK-LET%COND_ABS_CONV%~~677~~»	244	MK-LET%COND_ABS_CONV%540»
245	FUN%8~~781~~%~~678~~	245	FUN%8206%541
246	,SPUTPROP	246	,SPUTPROP
247	FUN%8~~781~~%~~682~~	247	FUN%8206%545
248	» CURRYBIND	248	» CURRYBIND
249	,SPUTPROP	249	,SPUTPROP
250	FUN%8~~781~~%~~683~~	250	FUN%8206%546
251	» CURRYBIND	251	» CURRYBIND
252	,SPUTPROP	252	,SPUTPROP
253	FUN%8~~781~~%~~684~~	253	FUN%8206%547
254	» CURRYBIND	254	» CURRYBIND
255	FUN%719%304»
256	FUN%8781%682»
257	FUN%8781%682
258	FUN%8781%682	255	FUN%4838%312»
		256	FUN%8206%545»
		257	FUN%8206%545
		258	FUN%8206%545
259	ML-DEST_CONST»	259	ML-DEST_CONST»
260	·MK-LETREF%NUM_COND_RAND_CONV%678»	260	·MK-LETREF%NUM_COND_RAND_CONV%665»
261	FUN%8781%683
262	FUN%8781%683
263	FUN%8~~781~~%6~~83»~~	261	FUN%8206%546
		262	FUN%8206%546
		263	FUN%8206%546»
264	!MK-LETREF%NUM_COND_RATOR_CONV%677»	264	!MK-LETREF%NUM_COND_RATOR_CONV%664»
265	MK-LETREF%COND_EXPAND_CONV%682»	265	MK-LETREF%COND_EXPAND_CONV%669»
266	MK-LETREF%SUB_NORM_CONV%679»	266	MK-LETREF%SUB_NORM_CONV%666»
267	FUN%4110%94»
268	FUN%4110%158»
269	FUN%8781%684
270	FUN%~~8781~~%684	267	FUN%7435%108»
		268	FUN%7435%172»
		269	FUN%8206%547
		270	FUN%8206%547
271	» MK-FUNTYP	271	» MK-FUNTYP
272	MK-TERMTYP	272	MK-TERMTYP
273	» MK-THMTYP»	273	» MK-THMTYP»
274	SUB_AND_COND_ELIM_CONV	274	SUB_AND_COND_ELIM_CONV
275	» MK-FUNTYP	275	» MK-FUNTYP
276	MK-TERMTYP	276	MK-TERMTYP
277	» MK-THMTYP»	277	» MK-THMTYP»
278	!MK-LET%SUB_AND_COND_ELIM_CONV%~~681~~»	278	!MK-LET%SUB_AND_COND_ELIM_CONV%544»
279	FUN%8~~781~~%~~684~~»	279	FUN%8206%547»
280	SUB_AND_COND_ELIM_CONV	280	SUB_AND_COND_ELIM_CONV
281	,SPUTPROP	281	,SPUTPROP
282	FUN%8~~781~~%~~686~~	282	FUN%8206%549
283	» CURRYBIND	283	» CURRYBIND
284	,SPUTPROP	284	,SPUTPROP
285	FUN%8~~781~~%~~687~~	285	FUN%8206%550
286	» CURRYBIND	286	» CURRYBIND
287	,SPUTPROP	287	,SPUTPROP
288	FUN%8~~781~~%~~688~~	288	FUN%8206%551
289	» CURRYBIND	289	» CURRYBIND
290	FUN%8781%686»
291	FUN%8781%686
292	FUN%8~~781~~%~~686~~	290	FUN%8206%549»
		291	FUN%8206%549
		292	FUN%8206%549
293	MK-LETREF%COND_RAND_CONV%681»	293	MK-LETREF%COND_RAND_CONV%668»
294	FUN%8781%687
295	FUN%8781%687
296	FUN%8~~781~~%6~~87»~~	294	FUN%8206%550
		295	FUN%8206%550
		296	FUN%8206%550»
Max diff block lines reached; 180/2843 bytes (6.33%) of diff not shown.


Offset 234, 812 lines modified		Offset 234, 812 lines modified
234	.comment	234	.comment
235	.note.GNU-stack	235	.note.GNU-stack
236	.rel.debug_frame	236	.rel.debug_frame
237	.ARM.attributes	237	.ARM.attributes
238	COMMON-LISP-USER	238	COMMON-LISP-USER
239	COMMON-LISPPROGN	239	COMMON-LISPPROGN
240	SYSTEMSPUTPROP	240	SYSTEMSPUTPROP
241	CONC%bound%~~673~~	241	CONC%bound%541
242	-SPUTPROP	242	-SPUTPROP
243	CONC%bound%~~673~~	243	CONC%bound%541
244	MK-PRODTYP»	244	MK-PRODTYP»
245	» MK-FUNTYP»	245	» MK-FUNTYP»
246	MK-PRODTYP	246	MK-PRODTYP
247	ABS%rat%~~616~~	247	ABS%rat%577
248	» MK-LISTYP»	248	» MK-LISTYP»
249	MK-PRODTYP	249	MK-PRODTYP
250	» MK-TOKTYP	250	» MK-TOKTYP
251	ABS%rat%~~616~~	251	ABS%rat%577
252	CONC%bound%~~673~~»	252	CONC%bound%541»
253	MK-PRODTYP»	253	MK-PRODTYP»
254	» MK-FUNTYP	254	» MK-FUNTYP
255	» MK-LISTYP	255	» MK-LISTYP
256	CONC%bound%~~673~~	256	CONC%bound%541
257	CONC%bound%~~673~~»	257	CONC%bound%541»
258	MK-PRODTYP»	258	MK-PRODTYP»
259	» MK-FUNTYP	259	» MK-FUNTYP
260	» MK-LISTYP	260	» MK-LISTYP
261	CONC%bound%~~673~~	261	CONC%bound%541
262	CONC%bound%~~673~~»	262	CONC%bound%541»
263	MK-PRODTYP	263	MK-PRODTYP
264	CONC%bound%~~673~~	264	CONC%bound%541
265	CONC%bound%~~673~~»	265	CONC%bound%541»
266	CONSTRUCTORS	266	CONSTRUCTORS
267	» MK-FUNTYP»	267	» MK-FUNTYP»
268	MK-PRODTYP	268	MK-PRODTYP
269	ABS%rat%~~616~~	269	ABS%rat%577
270	» MK-LISTYP»	270	» MK-LISTYP»
271	MK-PRODTYP	271	MK-PRODTYP
272	» MK-TOKTYP	272	» MK-TOKTYP
273	ABS%rat%~~616~~	273	ABS%rat%577
274	CONC%bound%~~673~~	274	CONC%bound%541
275	» Max_bound	275	» Max_bound
276	» MK-FUNTYP	276	» MK-FUNTYP
277	» MK-LISTYP	277	» MK-LISTYP
278	CONC%bound%~~673~~	278	CONC%bound%541
279	CONC%bound%~~673~~	279	CONC%bound%541
280	» Min_bound	280	» Min_bound
281	» MK-FUNTYP	281	» MK-FUNTYP
282	» MK-LISTYP	282	» MK-LISTYP
283	CONC%bound%~~673~~	283	CONC%bound%541
284	CONC%bound%~~673~~	284	CONC%bound%541
285	CONC%bound%~~673~~	285	CONC%bound%541
286	CONC%bound%~~673~~	286	CONC%bound%541
287	CONC%bound%~~673~~»	287	CONC%bound%541»
288	MK-RECTYPE»	288	MK-RECTYPE»
289	-SPUTPROP	289	-SPUTPROP
290	CONC%internal_bound%~~674~~	290	CONC%internal_bound%542
291	-SPUTPROP	291	-SPUTPROP
292	CONC%internal_bound%~~674~~	292	CONC%internal_bound%542
293	internal_bound	293	internal_bound
294	MK-PRODTYP»	294	MK-PRODTYP»
295	» MK-FUNTYP	295	» MK-FUNTYP
296	CONC%bound%~~673~~	296	CONC%bound%541
297	CONC%internal_bound%~~674~~»	297	CONC%internal_bound%542»
298	MK-PRODTYP»	298	MK-PRODTYP»
299	» MK-FUNTYP»	299	» MK-FUNTYP»
300	MK-PRODTYP	300	MK-PRODTYP
301	ABS%rat%~~616~~	301	ABS%rat%577
302	CONC%internal_bound%~~674~~	302	CONC%internal_bound%542
303	CONC%internal_bound%~~674~~»	303	CONC%internal_bound%542»
304	MK-PRODTYP»	304	MK-PRODTYP»
305	» MK-FUNTYP»	305	» MK-FUNTYP»
306	MK-PRODTYP	306	MK-PRODTYP
307	CONC%internal_bound%~~674~~	307	CONC%internal_bound%542
308	CONC%internal_bound%~~674~~	308	CONC%internal_bound%542
309	CONC%internal_bound%~~674~~»	309	CONC%internal_bound%542»
310	MK-PRODTYP»	310	MK-PRODTYP»
311	» MK-FUNTYP	311	» MK-FUNTYP
312	» MK-LISTYP	312	» MK-LISTYP
313	CONC%internal_bound%~~674~~	313	CONC%internal_bound%542
314	CONC%internal_bound%~~674~~»	314	CONC%internal_bound%542»
315	» MK-FUNTYP	315	» MK-FUNTYP
316	» MK-LISTYP	316	» MK-LISTYP
317	CONC%internal_bound%~~674~~	317	CONC%internal_bound%542
318	CONC%internal_bound%~~674~~»	318	CONC%internal_bound%542»
319	CONSTRUCTORS	319	CONSTRUCTORS
320	» MK-FUNTYP	320	» MK-FUNTYP
321	CONC%bound%~~673~~	321	CONC%bound%541
322	CONC%internal_bound%~~674~~	322	CONC%internal_bound%542
323	Mult_ibound	323	Mult_ibound
324	» MK-FUNTYP»	324	» MK-FUNTYP»
325	MK-PRODTYP	325	MK-PRODTYP
326	ABS%rat%~~616~~	326	ABS%rat%577
327	CONC%internal_bound%~~674~~	327	CONC%internal_bound%542
328	CONC%internal_bound%~~674~~	328	CONC%internal_bound%542
329	Plus_ibound	329	Plus_ibound
330	» MK-FUNTYP»	330	» MK-FUNTYP»
331	MK-PRODTYP	331	MK-PRODTYP
332	CONC%internal_bound%~~674~~	332	CONC%internal_bound%542
333	CONC%internal_bound%~~674~~	333	CONC%internal_bound%542
334	CONC%internal_bound%~~674~~	334	CONC%internal_bound%542
335	Max_ibound	335	Max_ibound
336	» MK-FUNTYP	336	» MK-FUNTYP
337	» MK-LISTYP	337	» MK-LISTYP
338	CONC%internal_bound%~~674~~	338	CONC%internal_bound%542
339	CONC%internal_bound%~~674~~	339	CONC%internal_bound%542
340	Min_ibound	340	Min_ibound
341	» MK-FUNTYP	341	» MK-FUNTYP
342	» MK-LISTYP	342	» MK-LISTYP
343	CONC%internal_bound%~~674~~	343	CONC%internal_bound%542
344	CONC%internal_bound%~~674~~	344	CONC%internal_bound%542
345	internal_bound	345	internal_bound
346	CONC%internal_bound%~~674~~»	346	CONC%internal_bound%542»
347	-SPUTPROP	347	-SPUTPROP
348	FUN%~~977~~7%~~677~~	348	FUN%8007%545
349	» CURRYBIND	349	» CURRYBIND
350	-SPUTPROP	350	-SPUTPROP
351	FUN%~~977~~7%~~678~~	351	FUN%8007%546
352	» CURRYBIND	352	» CURRYBIND
353	-SPUTPROP	353	-SPUTPROP
354	FUN%~~977~~7%~~679~~	354	FUN%8007%547
355	» CURRYBIND	355	» CURRYBIND
356	-SPUTPROP	356	-SPUTPROP
357	FUN%~~977~~7%~~676~~	357	FUN%8007%544
358	» CURRYBIND	358	» CURRYBIND
359	FUN%~~977~~7%~~679~~	359	FUN%8007%547
360	MK-ABSTYPE%Rat%~~617~~»	360	MK-ABSTYPE%Rat%578»
Max diff block lines reached; 14661/17917 bytes (81.83%) of diff not shown.


Offset 214, 23 lines modified		Offset 214, 23 lines modified
214	.comment	214	.comment
215	.note.GNU-stack	215	.note.GNU-stack
216	.rel.debug_frame	216	.rel.debug_frame
217	.ARM.attributes	217	.ARM.attributes
218	COMMON-LISP-USER	218	COMMON-LISP-USER
219	SYSTEMSPUTPROP	219	SYSTEMSPUTPROP
220	COMMON-LISPQUOTE	220	COMMON-LISPQUOTE
221	FUN%~~3834~~%~~631~~	221	FUN%6725%560
222	» CURRYBIND	222	» CURRYBIND
223	,SPUTPROP	223	,SPUTPROP
224	FUN%~~3834~~%~~632~~	224	FUN%6725%561
225	» CURRYBIND	225	» CURRYBIND
226	FUN%3834%631
227	FUN%3834%631
228	FUN%3834%632
229	FUN%~~3834~~%~~632~~	226	FUN%6725%560
		227	FUN%6725%560
		228	FUN%6725%561
		229	FUN%6725%561
230	» MK-FUNTYP»	230	» MK-FUNTYP»
231	MK-PRODTYP	231	MK-PRODTYP
232	» MK-INTTYP	232	» MK-INTTYP
233	» MK-LISTYP»	233	» MK-LISTYP»
234	MK-PRODTYP	234	MK-PRODTYP
235	» MK-INTTYP»	235	» MK-INTTYP»
236	MK-PRODTYP	236	MK-PRODTYP
Offset 246, 47 lines modified		Offset 246, 47 lines modified
246	MK-PRODTYP	246	MK-PRODTYP
247	» MK-INTTYP»	247	» MK-INTTYP»
248	MK-PRODTYP	248	MK-PRODTYP
249	» MK-INTTYP	249	» MK-INTTYP
250	» MK-LISTYP»	250	» MK-LISTYP»
251	MK-PRODTYP	251	MK-PRODTYP
252	» MK-INTTYP»	252	» MK-INTTYP»
253	MK-LET%negate_coeffs%~~630~~»	253	MK-LET%negate_coeffs%559»
254	FUN%~~3834~~%~~631~~»	254	FUN%6725%560»
255	MK-LET%I%57»	255	MK-LET%I%73»
256	FUN%3834%632»
257	FUN%8517%53»
258	FUN%6545%51»	256	FUN%6725%561»
		257	FUN%733%69»
		258	FUN%192%98»
259	negate_coeffs	259	negate_coeffs
260	,SPUTPROP	260	,SPUTPROP
261	FUN%~~3834~~%~~635~~	261	FUN%6725%564
262	» CURRYBIND	262	» CURRYBIND
263	,SPUTPROP	263	,SPUTPROP
264	FUN%~~3834~~%634	264	FUN%6725%563
265	» CURRYBIND	265	» CURRYBIND
266	FUN%~~3834~~%~~635~~	266	FUN%6725%564
267	,SPUTPROP	267	,SPUTPROP
268	FUN%~~3834~~%~~636~~	268	FUN%6725%565
269	» CURRYBIND	269	» CURRYBIND
270	,SPUTPROP	270	,SPUTPROP
271	FUN%~~3834~~%~~637~~	271	FUN%6725%566
272	» CURRYBIND	272	» CURRYBIND
273	FUN%3834%636
274	FUN%3834%635»
275	FUN%351%650»
276	FUN%3834%635
277	FUN%3834%635
278	FUN%3834%634
279	FUN%3834%634
280	FUN%3834%634»
281	FUN%3834%636
282	FUN%3834%636
283	FUN%3834%636»
284	FUN%3834%637
285	FUN%~~3834~~%~~637~~	273	FUN%6725%565
		274	FUN%6725%564»
		275	FUN%2215%552»
		276	FUN%6725%564
		277	FUN%6725%564
		278	FUN%6725%563
		279	FUN%6725%563
		280	FUN%6725%563»
		281	FUN%6725%565
		282	FUN%6725%565
		283	FUN%6725%565»
		284	FUN%6725%566
		285	FUN%6725%566
286	» MK-FUNTYP»	286	» MK-FUNTYP»
287	MK-PRODTYP	287	MK-PRODTYP
288	» MK-INTTYP	288	» MK-INTTYP
289	» MK-LISTYP»	289	» MK-LISTYP»
290	MK-PRODTYP	290	MK-PRODTYP
291	» MK-TOKTYP	291	» MK-TOKTYP
292	» MK-INTTYP»	292	» MK-INTTYP»
Offset 320, 28 lines modified		Offset 320, 28 lines modified
320	» MK-INTTYP»	320	» MK-INTTYP»
321	MK-PRODTYP	321	MK-PRODTYP
322	» MK-INTTYP	322	» MK-INTTYP
323	» MK-LISTYP»	323	» MK-LISTYP»
324	MK-PRODTYP	324	MK-PRODTYP
325	» MK-TOKTYP	325	» MK-TOKTYP
326	» MK-INTTYP»	326	» MK-INTTYP»
327	MK-LET%merge_coeffs%~~633~~»	327	MK-LET%merge_coeffs%562»
328	merge_coeffs»	328	merge_coeffs»
329	FUN%~~3834~~%~~637~~	329	FUN%6725%566
330	,SPUTPROP	330	,SPUTPROP
331	FUN%~~3834~~%~~639~~	331	FUN%6725%568
332	» CURRYBIND	332	» CURRYBIND
333	,SPUTPROP	333	,SPUTPROP
334	FUN%~~3834~~%~~640~~	334	FUN%6725%569
335	» CURRYBIND	335	» CURRYBIND
336	FUN%3834%639
337	FUN%~~3834~~%~~639~~	336	FUN%6725%568
		337	FUN%6725%568
338	EVALUATION»	338	EVALUATION»
339	FUN%3834%640
340	FUN%~~3834~~%~~640~~	339	FUN%6725%569
		340	FUN%6725%569
341	» MK-FUNTYP»	341	» MK-FUNTYP»
342	MK-PRODTYP	342	MK-PRODTYP
343	» MK-INTTYP	343	» MK-INTTYP
344	» MK-LISTYP»	344	» MK-LISTYP»
345	MK-PRODTYP	345	MK-PRODTYP
346	» MK-INTTYP»	346	» MK-INTTYP»
347	MK-PRODTYP	347	MK-PRODTYP
Offset 357, 29 lines modified		Offset 357, 29 lines modified
357	MK-PRODTYP	357	MK-PRODTYP
358	» MK-INTTYP»	358	» MK-INTTYP»
359	MK-PRODTYP	359	MK-PRODTYP
360	» MK-INTTYP	360	» MK-INTTYP
361	» MK-LISTYP»	361	» MK-LISTYP»
362	MK-PRODTYP	362	MK-PRODTYP
363	» MK-INTTYP»	363	» MK-INTTYP»
Max diff block lines reached; 5151/7362 bytes (69.97%) of diff not shown.


Offset 216, 184 lines modified		Offset 216, 184 lines modified
216	.comment	216	.comment
217	.note.GNU-stack	217	.note.GNU-stack
218	.rel.debug_frame	218	.rel.debug_frame
219	.ARM.attributes	219	.ARM.attributes
220	COMMON-LISP-USER	220	COMMON-LISP-USER
221	SYSTEMSPUTPROP	221	SYSTEMSPUTPROP
222	COMMON-LISPQUOTE	222	COMMON-LISPQUOTE
223	FUN%~~9057~~%654	223	FUN%3313%548
224	» CURRYBIND	224	» CURRYBIND
225	,SPUTPROP	225	,SPUTPROP
226	FUN%~~9057~~%~~655~~	226	FUN%3313%549
227	» CURRYBIND	227	» CURRYBIND
228	,SPUTPROP	228	,SPUTPROP
229	FUN%~~9057~~%657	229	FUN%3313%551
230	» CURRYBIND	230	» CURRYBIND
231	,SPUTPROP	231	,SPUTPROP
232	FUN%~~9057~~%658	232	FUN%3313%552
233	» CURRYBIND	233	» CURRYBIND
234	FUN%~~9057~~%657	234	FUN%3313%551
235	,SPUTPROP	235	,SPUTPROP
236	FUN%~~9057~~%659	236	FUN%3313%553
237	» CURRYBIND	237	» CURRYBIND
238	FUN%~~9057~~%658	238	FUN%3313%552
239	,SPUTPROP	239	,SPUTPROP
240	FUN%~~9057~~%656	240	FUN%3313%550
241	» CURRYBIND	241	» CURRYBIND
242	FUN%~~9057~~%659	242	FUN%3313%553
243	,SPUTPROP	243	,SPUTPROP
244	FUN%~~9057~~%~~660~~	244	FUN%3313%554
245	» CURRYBIND	245	» CURRYBIND
246	,SPUTPROP	246	,SPUTPROP
247	FUN%~~9057~~%~~661~~	247	FUN%3313%555
248	» CURRYBIND	248	» CURRYBIND
249	FUN%~~9057~~%~~660~~	249	FUN%3313%554
250	ML-DEST_CONST»	250	ML-DEST_CONST»
251	FUN%9057%654
252	FUN%9057%654
253	FUN%9057%654»
254	FUN%8517%94»
255	FUN%9057%655
256	FUN%~~9057~~%~~655~~	251	FUN%3313%548
		252	FUN%3313%548
		253	FUN%3313%548»
		254	FUN%733%110»
		255	FUN%3313%549
		256	FUN%3313%549
257	EVALUATION»	257	EVALUATION»
258	FUN%~~719~~%244»	258	FUN%4838%252»
259	MK-LET%I%57»	259	MK-LET%I%73»
260	FUN%8~~517~~%52»	260	FUN%733%68»
261	pattern»	261	pattern»
262	FUN%3576%148»
263	FUN%719%155»
264	FUN%719%305»
265	FUN%719%173»
266	FUN%2487%192»
267	FUN%3576%253»
268	FUN%3576%126»
269	FUN%~~3576~~%140»	262	FUN%8162%123»
		263	FUN%4838%163»
		264	FUN%4838%313»
		265	FUN%4838%181»
		266	FUN%3933%127»
		267	FUN%8162%228»
		268	FUN%8162%101»
		269	FUN%8162%115»
270	MK-LET%EQT_INTRO%153»	270	MK-LET%EQT_INTRO%128»
271	FUN%~~3576~~%154»	271	FUN%8162%129»
		272	FUN%4838%114»
		273	FUN%8162%121»
		274	FUN%3313%551»
		275	FUN%3933%118»
		276	FUN%8162%276»
		277	FUN%8162%103»
272	FUN%719%106»	278	FUN%7017%76»
		279	FUN%3313%551
		280	FUN%3313%551
		281	FUN%3313%552
		282	FUN%3313%552
		283	FUN%3313%552»
		284	FUN%3313%553
		285	FUN%3313%553
		286	FUN%3313%553»
		287	FUN%3313%550
		288	FUN%3313%550
		289	FUN%8162%288»
273	FUN%3576%146»
274	FUN%9057%657»
275	FUN%2487%183»
276	FUN%3576%301»
277	FUN%3576%128»
278	FUN%7777%147»
279	FUN%9057%657
280	FUN%9057%657
281	FUN%9057%658
282	FUN%9057%658
283	FUN%9057%658»
284	FUN%9057%659
285	FUN%9057%659
286	FUN%9057%659»
287	FUN%9057%656
288	FUN%9057%656
289	FUN%3576%313»
290	IN_CONV»	290	IN_CONV»
291	FUN%9057%660
292	FUN%9057%660
293	FUN%9057%660»
294	FUN%9057%661
295	FUN%~~9057~~%~~661~~	291	FUN%3313%554
		292	FUN%3313%554
		293	FUN%3313%554»
		294	FUN%3313%555
		295	FUN%3313%555
296	» MK-FUNTYP»	296	» MK-FUNTYP»
297	» MK-FUNTYP	297	» MK-FUNTYP
298	MK-TERMTYP	298	MK-TERMTYP
299	» MK-THMTYP»	299	» MK-THMTYP»
300	» MK-FUNTYP	300	» MK-FUNTYP
301	MK-TERMTYP	301	MK-TERMTYP
302	» MK-THMTYP»	302	» MK-THMTYP»
303	» MK-FUNTYP»	303	» MK-FUNTYP»
304	» MK-FUNTYP	304	» MK-FUNTYP
305	MK-TERMTYP	305	MK-TERMTYP
306	» MK-THMTYP»	306	» MK-THMTYP»
307	» MK-FUNTYP	307	» MK-FUNTYP
308	MK-TERMTYP	308	MK-TERMTYP
309	» MK-THMTYP»	309	» MK-THMTYP»
Max diff block lines reached; 7824/10010 bytes (78.16%) of diff not shown.


Offset 198, 90 lines modified		Offset 198, 90 lines modified
198	.comment	198	.comment
199	.note.GNU-stack	199	.note.GNU-stack
200	.rel.debug_frame	200	.rel.debug_frame
201	.ARM.attributes	201	.ARM.attributes
202	COMMON-LISP-USER	202	COMMON-LISP-USER
203	SYSTEMSPUTPROP	203	SYSTEMSPUTPROP
204	COMMON-LISPQUOTE	204	COMMON-LISPQUOTE
205	FUN%2737%634	205	FUN%593%628
206	» CURRYBIND	206	» CURRYBIND
207	,SPUTPROP	207	,SPUTPROP
208	FUN%2737%635	208	FUN%593%629
209	» CURRYBIND	209	» CURRYBIND
210	,SPUTPROP	210	,SPUTPROP
211	FUN%2737%636	211	FUN%593%630
212	» CURRYBIND	212	» CURRYBIND
213	,SPUTPROP	213	,SPUTPROP
214	FUN%2737%637	214	FUN%593%631
215	» CURRYBIND	215	» CURRYBIND
216	FUN%2737%636	216	FUN%593%630
217	,SPUTPROP	217	,SPUTPROP
218	FUN%2737%638	218	FUN%593%632
219	» CURRYBIND	219	» CURRYBIND
220	,SPUTPROP	220	,SPUTPROP
221	FUN%2737%639	221	FUN%593%633
222	» CURRYBIND	222	» CURRYBIND
223	,SPUTPROP	223	,SPUTPROP
224	FUN%2737%640	224	FUN%593%634
225	» CURRYBIND	225	» CURRYBIND
226	ML-TYPE_OF»	226	ML-TYPE_OF»
227	ML-DEST_TYPE»	227	ML-DEST_TYPE»
228	FUN%2737%634
229	FUN%2737%634	228	FUN%593%628
		229	FUN%593%628
230	ML-MK_COMB»	230	ML-MK_COMB»
231	FUN%3576%135»
232	FUN%2737%635
233	FUN%2737%635
234	FUN%3576%134»
235	FUN%2487%183»
236	FUN%2737%636
237	FUN%2737%636
238	FUN%2737%636»
239	FUN%2737%637
240	FUN%~~2737~~%~~637~~	231	FUN%8162%110»
		232	FUN%593%629
		233	FUN%593%629
		234	FUN%8162%109»
		235	FUN%3933%118»
		236	FUN%593%630
		237	FUN%593%630
		238	FUN%593%630»
		239	FUN%593%631
		240	FUN%593%631
241	MK-LET%I%57»	241	MK-LET%I%73»
242	FUN%8~~517~~%53»	242	FUN%733%69»
		243	FUN%733%68»
243	FUN%8517%52»	244	FUN%7017%82»
244	FUN%7777%153»
245	MK-LET%FORALL_EQ%188»	245	MK-LET%FORALL_EQ%163»
246	FUN%3576%191»
247	FUN%2737%638
248	FUN%~~2737~~%638	246	FUN%8162%166»
		247	FUN%593%632
		248	FUN%593%632
249	MK-LET%dest_conj%120»	249	MK-LET%dest_conj%128»
250	FUN%719%122»
251	FUN%2737%639
252	FUN%2737%639	250	FUN%4838%130»
		251	FUN%593%633
		252	FUN%593%633
253	EVALUATION»	253	EVALUATION»
254	MK-LET%dest_forall%111»	254	MK-LET%dest_forall%119»
		255	FUN%4838%121»
255	FUN%719%113»	256	FUN%733%110»
256	FUN%8517%94»
257	pattern»	257	pattern»
258	Q-MK_VARTYPE»	258	Q-MK_VARTYPE»
259	FUN%7777%158»	259	FUN%7017%87»
260	» ML-GENVAR»	260	» ML-GENVAR»
261	FUN%~~719~~%175»	261	FUN%4838%183»
262	» ML-MK_ABS»	262	» ML-MK_ABS»
263	FUN%3576%148»
264	FUN%~~3576~~%~~276~~»	263	FUN%8162%123»
		264	FUN%8162%251»
265	MK-LET%BETA_CONV%152»	265	MK-LET%BETA_CONV%81»
266	FUN%4110%176»
267	FUN%3576%156»
268	FUN%719%154»
269	FUN%7777%161»
270	FUN%4110%265»
271	FUN%~~4110~~%~~268~~»	266	FUN%7435%190»
		267	FUN%8162%131»
		268	FUN%4838%162»
		269	FUN%7017%90»
		270	FUN%7435%279»
		271	FUN%7435%282»
272	MK-LET%ALL_TAC%143»	272	MK-LET%ALL_TAC%132»
273	MK-LET%CONJ_TAC%124»	273	MK-LET%CONJ_TAC%141»
274	MK-LET%MATCH_MP_TAC%170»	274	MK-LET%MATCH_MP_TAC%88»
275	FUN%1377%175»
276	FUN%3257%124»
277	FUN%~~3257~~%129»	275	FUN%5406%93»
		276	FUN%4957%113»
		277	FUN%4957%118»
278	SET_INDUCT_TAC»	278	SET_INDUCT_TAC»
279	FUN%2737%640
280	FUN%2737%640	279	FUN%593%634
		280	FUN%593%634
281	» MK-FUNTYP»	281	» MK-FUNTYP»
282	MK-PRODTYP	282	MK-PRODTYP
283	» MK-LISTYP	283	» MK-LISTYP
284	MK-TERMTYP	284	MK-TERMTYP
285	MK-TERMTYP»	285	MK-TERMTYP»
286	MK-PRODTYP	286	MK-PRODTYP
287	» MK-LISTYP»	287	» MK-LISTYP»
Offset 305, 23 lines modified		Offset 305, 23 lines modified
305	» MK-LISTYP	305	» MK-LISTYP
306	MK-TERMTYP	306	MK-TERMTYP
307	MK-TERMTYP»	307	MK-TERMTYP»
308	» MK-FUNTYP	308	» MK-FUNTYP
309	» MK-LISTYP	309	» MK-LISTYP
310	» MK-THMTYP	310	» MK-THMTYP
311	» MK-THMTYP»	311	» MK-THMTYP»
312	MK-LET%SET_INDUCT_TAC%633»	312	MK-LET%SET_INDUCT_TAC%627»
313	SET_INDUCT»	313	SET_INDUCT»
314	finite_sets»	314	finite_sets»
		315	FUN%4210%60»
Max diff block lines reached; 315/2720 bytes (11.58%) of diff not shown.


Offset 218, 97 lines modified		Offset 218, 97 lines modified
218	.rel.debug_frame	218	.rel.debug_frame
219	.ARM.attributes	219	.ARM.attributes
220	COMMON-LISP-USER	220	COMMON-LISP-USER
221	COMMON-LISPQUOTE	221	COMMON-LISPQUOTE
222	MK-BEGIN	222	MK-BEGIN
223	prove_inductive_relation_exists	223	prove_inductive_relation_exists
224	SYSTEMSPUTPROP	224	SYSTEMSPUTPROP
225	FUN%3018%~~615~~	225	FUN%4032%567
226	» CURRYBIND	226	» CURRYBIND
227	-SPUTPROP	227	-SPUTPROP
228	FUN%3018%~~616~~	228	FUN%4032%568
229	» CURRYBIND	229	» CURRYBIND
230	FUN%3018%~~615~~	230	FUN%4032%567
231	-SPUTPROP	231	-SPUTPROP
232	FUN%3018%~~617~~	232	FUN%4032%569
233	» CURRYBIND	233	» CURRYBIND
234	ML-TYPE_OF»	234	ML-TYPE_OF»
235	» Q-MK_TYPE»	235	» Q-MK_TYPE»
236	FUN%3018%615
237	FUN%3018%615
238	FUN%3018%615»
239	FUN%3018%616
240	FUN%3018%~~616~~	236	FUN%4032%567
		237	FUN%4032%567
		238	FUN%4032%567»
		239	FUN%4032%568
		240	FUN%4032%568
241	EVALUATION»	241	EVALUATION»
242	FUN%320%25»	242	FUN%2727%32»
243	MK_REALVAR»	243	MK_REALVAR»
244	FUN%3018%617
245	FUN%3018%~~617~~	244	FUN%4032%569
		245	FUN%4032%569
246	» MK-FUNTYP	246	» MK-FUNTYP
247	» MK-LISTYP	247	» MK-LISTYP
248	MK-TERMTYP	248	MK-TERMTYP
249	MK-TERMTYP»	249	MK-TERMTYP»
250	mk_predv	250	mk_predv
251	» MK-FUNTYP	251	» MK-FUNTYP
252	» MK-LISTYP	252	» MK-LISTYP
253	MK-TERMTYP	253	MK-TERMTYP
254	MK-TERMTYP»	254	MK-TERMTYP»
255	MK-LET%mk_predv%~~614~~»	255	MK-LET%mk_predv%566»
256	FUN%3018%616»
257	FUN%3018%~~617~~»	256	FUN%4032%568»
		257	FUN%4032%569»
258	mk_predv	258	mk_predv
259	-SPUTPROP	259	-SPUTPROP
260	FUN%3018%~~620~~	260	FUN%4032%572
261	» CURRYBIND	261	» CURRYBIND
262	-SPUTPROP	262	-SPUTPROP
263	FUN%3018%~~621~~	263	FUN%4032%573
264	» CURRYBIND	264	» CURRYBIND
265	-SPUTPROP	265	-SPUTPROP
266	FUN%3018%~~622~~	266	FUN%4032%574
267	» CURRYBIND	267	» CURRYBIND
268	-SPUTPROP	268	-SPUTPROP
269	FUN%3018%~~619~~	269	FUN%4032%571
270	» CURRYBIND	270	» CURRYBIND
271	FUN%3018%~~622~~	271	FUN%4032%574
272	-SPUTPROP	272	-SPUTPROP
273	FUN%3018%~~623~~	273	FUN%4032%575
274	» CURRYBIND	274	» CURRYBIND
275	-SPUTPROP	275	-SPUTPROP
276	FUN%3018%~~624~~	276	FUN%4032%576
277	» CURRYBIND	277	» CURRYBIND
278	-SPUTPROP	278	-SPUTPROP
279	FUN%3018%~~625~~	279	FUN%4032%577
280	» CURRYBIND	280	» CURRYBIND
281	FUN%3018%~~624~~	281	FUN%4032%576
282	pattern»	282	pattern»
283	FUN%3018%620
284	FUN%3018%620
285	FUN%3018%621
286	FUN%3018%621
287	FUN%3018%~~626~~	283	FUN%4032%572
		284	FUN%4032%572
		285	FUN%4032%573
		286	FUN%4032%573
		287	FUN%4032%578
		288	FUN%733%110»
		289	FUN%4032%574»
288	FUN%8~~517~~%94»	290	FUN%192%94»
		291	FUN%4032%572»
		292	FUN%4032%573»
		293	FUN%4032%574
		294	FUN%4032%574
		295	FUN%4032%571
		296	FUN%4032%571
289	FUN%3018%622»
290	FUN%6545%47»
291	FUN%3018%620»
292	FUN%3018%621»
293	FUN%3018%622
294	FUN%3018%622
295	FUN%3018%619
296	FUN%3018%619
297	ill-formed·membership·assertion»	297	ill-formed·membership·assertion»
298	FUN%3018%623
299	FUN%3018%623
300	FUN%3018%623»
301	FUN%3018%624
302	FUN%3018%624
303	FUN%3018%624»
304	FUN%3018%625
305	FUN%3018%625
306	FUN%3018%626
307	FUN%3018%~~626~~	298	FUN%4032%575
		299	FUN%4032%575
		300	FUN%4032%575»
		301	FUN%4032%576
		302	FUN%4032%576
		303	FUN%4032%576»
		304	FUN%4032%577
		305	FUN%4032%577
		306	FUN%4032%578
		307	FUN%4032%578
308	» MK-FUNTYP	308	» MK-FUNTYP
309	» MK-LISTYP	309	» MK-LISTYP
310	» MK-FUNTYP	310	» MK-FUNTYP
311	» MK-LISTYP	311	» MK-LISTYP
312	» MK-FUNTYP	312	» MK-FUNTYP
313	» MK-LISTYP	313	» MK-LISTYP
314	» MK-LISTYP	314	» MK-LISTYP
Offset 316, 127 lines modified		Offset 316, 127 lines modified
316	» MK-FUNTYP	316	» MK-FUNTYP
317	» MK-LISTYP	317	» MK-LISTYP
Max diff block lines reached; 47464/49567 bytes (95.76%) of diff not shown.


Offset 162, 11 lines modified		Offset 162, 11 lines modified
162	.ARM.attributes	162	.ARM.attributes
163	COMMON-LISP-USER	163	COMMON-LISP-USER
164	COMMON-LISPPROGN»	164	COMMON-LISPPROGN»
165	SYSTEMSETVV	165	SYSTEMSETVV
166	MK-NULLTYP»	166	MK-NULLTYP»
167	ML-LIBRARY_PATHNAME»	167	ML-LIBRARY_PATHNAME»
168	/ind_defs/ind-defs»	168	/ind_defs/ind-defs»
169	FUN%8~~517~~%36»	169	FUN%733%52»
170	» print_lib»	170	» print_lib»
171	ML-GET_FLAG_VALUE»	171	ML-GET_FLAG_VALUE»
172	FUN%~~6545%77~~	172	FUN%192%124


Offset 192, 160 lines modified		Offset 192, 160 lines modified
192	» MK-TOKTYP	192	» MK-TOKTYP
193	» MK-TOKTYP»	193	» MK-TOKTYP»
194	» spec_list	194	» spec_list
195	» MK-LISTYP»	195	» MK-LISTYP»
196	MK-PRODTYP	196	MK-PRODTYP
197	» MK-TOKTYP	197	» MK-TOKTYP
198	» MK-TOKTYP»	198	» MK-TOKTYP»
199	MK-LET%spec_list%626»	199	MK-LET%spec_list%630»
200	» spec_list»	200	» spec_list»
201	-SPUTPROP	201	-SPUTPROP
202	FUN%30%628	202	FUN%6496%632
203	» CURRYBIND	203	» CURRYBIND
204	-SPUTPROP	204	-SPUTPROP
205	FUN%30%629	205	FUN%6496%633
206	» CURRYBIND	206	» CURRYBIND
207	MK-LETREC%split%54»	207	MK-LETREC%split%61»
208	FUN%320%55»
209	FUN%6545%47»
210	FUN%30%628
211	FUN%30%628
212	FUN%30%628»
213	FUN%320%33»
214	FUN%30%629
215	FUN%30%629	208	FUN%2727%62»
		209	FUN%192%94»
		210	FUN%6496%632
		211	FUN%6496%632
		212	FUN%6496%632»
		213	FUN%2727%40»
		214	FUN%6496%633
		215	FUN%6496%633
216	» MK-FUNTYP	216	» MK-FUNTYP
217	» MK-TOKTYP	217	» MK-TOKTYP
218	» MK-TOKTYP»	218	» MK-TOKTYP»
219	» MK-FUNTYP	219	» MK-FUNTYP
220	» MK-TOKTYP	220	» MK-TOKTYP
221	» MK-TOKTYP»	221	» MK-TOKTYP»
222	MK-LET%do_char%627»	222	MK-LET%do_char%631»
223	do_char»	223	do_char»
224	FUN%30%629	224	FUN%6496%633
225	-SPUTPROP	225	-SPUTPROP
226	FUN%30%631	226	FUN%6496%635
227	» CURRYBIND	227	» CURRYBIND
228	ML-EXPLODE»	228	ML-EXPLODE»
229	FUN%6545%50»
230	FUN%8517%39»
231	FUN%30%631
232	FUN%30%~~631~~	229	FUN%192%97»
		230	FUN%733%55»
		231	FUN%6496%635
		232	FUN%6496%635
233	» MK-FUNTYP	233	» MK-FUNTYP
234	» MK-TOKTYP	234	» MK-TOKTYP
235	» MK-TOKTYP»	235	» MK-TOKTYP»
236	» filter_id	236	» filter_id
237	» MK-FUNTYP	237	» MK-FUNTYP
238	» MK-TOKTYP	238	» MK-TOKTYP
239	» MK-TOKTYP»	239	» MK-TOKTYP»
240	MK-LET%filter_id%630»	240	MK-LET%filter_id%634»
241	» filter_id»	241	» filter_id»
242	FUN%30%631	242	FUN%6496%635
243	-SPUTPROP	243	-SPUTPROP
244	FUN%30%633	244	FUN%6496%637
245	» CURRYBIND	245	» CURRYBIND
246	-SPUTPROP	246	-SPUTPROP
247	FUN%30%634	247	FUN%6496%638
248	» CURRYBIND	248	» CURRYBIND
249	-SPUTPROP	249	-SPUTPROP
250	FUN%30%635	250	FUN%6496%639
251	» CURRYBIND	251	» CURRYBIND
252	FUN%30%634	252	FUN%6496%638
253	-SPUTPROP	253	-SPUTPROP
254	FUN%30%637	254	FUN%6496%641
255	» CURRYBIND	255	» CURRYBIND
256	-SPUTPROP	256	-SPUTPROP
257	FUN%30%636	257	FUN%6496%640
258	» CURRYBIND	258	» CURRYBIND
259	-SPUTPROP	259	-SPUTPROP
260	FUN%30%638	260	FUN%6496%642
261	» CURRYBIND	261	» CURRYBIND
262	FUN%30%633
263	FUN%30%633
264	FUN%30%634
265	FUN%30%634
266	FUN%30%634»
267	FUN%30%635
268	FUN%30%635
269	FUN%30%637
270	FUN%30%637
271	FUN%30%637»
272	FUN%30%639	262	FUN%6496%637
		263	FUN%6496%637
		264	FUN%6496%638
		265	FUN%6496%638
		266	FUN%6496%638»
		267	FUN%6496%639
		268	FUN%6496%639
		269	FUN%6496%641
		270	FUN%6496%641
		271	FUN%6496%641»
		272	FUN%6496%643
273	explode»	273	explode»
274	FUN%8~~517~~%46»	274	FUN%733%62»
275	ML-FLAT»	275	ML-FLAT»
276	FUN%30%640	276	FUN%6496%644
277	explode»	277	explode»
278	FUN%30%636»
279	FUN%30%636
280	FUN%30%636
281	FUN%30%633»
282	FUN%30%635»	278	FUN%6496%640»
		279	FUN%6496%640
		280	FUN%6496%640
		281	FUN%6496%637»
		282	FUN%6496%639»
283	ML-IMPLODE»	283	ML-IMPLODE»
284	FUN%30%638
285	FUN%30%638
286	FUN%30%639
287	FUN%30%639
288	FUN%30%640
289	FUN%30%640	284	FUN%6496%642
		285	FUN%6496%642
		286	FUN%6496%643
		287	FUN%6496%643
		288	FUN%6496%644
		289	FUN%6496%644
Max diff block lines reached; 1099/3123 bytes (35.19%) of diff not shown.