ELF4(  D$Qjh PÃ D$QjhPS\$ʀw/h h $YZSP~[Ðt&h h YZPSxVS\$ t$S=t ^[^Ãh SY[PV t$ D$$[^ h@ GCC: (GNU) 3.0.3.symtab.strtab.shstrtab.rel.text.rel.data.bss.comment@1 )t%  /4=h   @Q  (/ 7AK^jx utilities.cVViLI1LI2LnkLI1LnkTLI1LnkLI0LnkTLI0call_procCnil_bodysmall_fixnum_tablenumber_exptnumber_negatenumber_compareCt_bodynumber_minusmake_consinit_codedo_init  *28 I[`emv$)  $ ACL2 ! LISPIN-PACKAGE M5 ZP!! M5REPEAT! SYSTEM%INIT  /WARN-VERSION5.0) !,LET ! FULL-BOOK-NAME! PARSE-BOOK-NAME !,COND! *CONNECTED-BOOK-DIRECTORY*4!,T ! F-GET-GLOBAL!,QUOTE! CONNECTED-BOOK-DIRECTORY! *THE-LIVE-STATE*7 2/projects/acl2/v2-7/books/arithmetic/top-with-meta .lisp! OS9! DIRECTORY-NAME! MV-REF! SHORT-BOOK-NAME<!,DECLARE!,IGNORE= 3 ! ASSOC-EQUAL1 ! GLOBAL-VAL7! INCLUDE-BOOK-ALIST! W955 04;! OS-FULL-BOOK-NAME ! PATHNAME-UNIX-TO-OS19 !,PROG1 !,OR! !LOAD-COMPILED-FILE-IF-MORE-RECENT !,CONS7! INCLUDE-BOOK7 2/projects/acl2/v2-7/books/arithmetic/top-with-meta7!! KEYWORDWARN1D!,LOADD! PROCLAIM-FILED 0 12 3445 67897 7/projects/acl2/v2-7/books/ihs/quotient-remainder-lemmas .lisp:9;<=<>?= 3 @1 A7BC955 04;D E19 F GH I7J7 7/projects/acl2/v2-7/books/ihs/quotient-remainder-lemmas7K1DMDND !/MFSFUN7.INTP O7-