ELF4( UWVS =t$ o;--r V=RVh ~= [^_]Ã D$0P=D$,Ph =D$$O -8u7_==0D$$-PV=8=D$$--8KT$0RD$0PXZh VZYPS<=t&UWVSt$0|$,VW $ZhYVW $@@D$[XVW $ZYKQPVW $ZáYPStUD$,P [^_]Ë RStL$ QUD$,PȡPSt-VW $$[^Pt$,V노끍t&UWVSt$4|$0\$,VW$]ZSPxVW $YhXVW $@@D$XZVW$ZYSPVW $ZYKQPVW $ZYRPVW $ZáYPStUD$,P [^_]Ë RStt$ VUD$,Pȋ QSt-VW $$^_P|$,W넸뀐VW $$Y[PD$,PLVSt$\$ V=t. S=tSh ~ Y[^ÃVSD$ PSYXh V^ZPSt 볍&'UWVSt$4|$0\$,VW$]ZSPxVW $YhXVW $@@D$XZVW$ZYSPVW $$ZYKQPVW $ZYRPVW $ZáYPStUD$,P [^_]Ë RStt$ VUD$,Pȋ QSt-VW $$[^P|$,W넸뀐VW $$Y[PD$,PLUWVS t$ l$$|$( W$=u V$ZYhX P< V$Y ,[YKYKQP V$Y[SP V$[PR= W[ZPU4$$ZYh @PZYPStd V$X4$$$ZYPSt# VY[h Wǃ [^_]Ð'UWVSt$4l$0VU$Y[L$,QPHVU $Yx[VU $[,KZYKYSP V P4P0PY[,KQPtkVU $Y [QPtA D$,P=t. W=tWh ~ [^_]Í&T$(RW׃VU$ZYWD$,PZYPD$0PZYPStVU$ZYWD$,P PD$(PS=[VU $XZRSt%t& 8QSt9VU $$<$$ ^_PUZ<PSut&VU $$XD$,P$ ^_PSta' D$QjhPÃ D$QjhPÃ D$QjhPÃ D$QjhPÃ D$QjhPÃ D$QjhPÃ D$QjhPÃ D$QjhPÃ D$QjhPÃ D$QjhPÃ D$QjhPÃ D$QjhPÃ D$QjhPÃ D$|QjhPÃ D$xQjhPÃ D$tQjhPÃ D$pQjhPÃ D$lQjhPÃ D$hQjhPÃ D$dQjhPÃ D$`QjhPÃ D$\Qjh PÃ D$XQjhPÃ D$TQjhPÃ D$PQjhPÃ D$LQjhPÃ D$HQjh PÃ D$DQjh$PVS9sr5@HK@HK @ChKQPC PSRPjCS5$[^Í&'VS9sr5 P5S C [^ÍvVS9sr5 P5SC[^ÍvVS9sr5( P5SC[^ÍvVS9sr5@ P5SC[^ÍvVSt$\$ V$=t[[^Ãh VXZh S$ Ã빍S\$SD$ Pt: S=t!Sh ~Ѓ[øt&WV5S|$^;r>5=t=h W_ZPD$ Pt5[^_É5VSt$\$tCPVt[ڸY[^Ít& D$=t' P$ZYPh  ø t&UWVS |$ l$(t$,t*VD$0P$ZYPU~ [^_]Ð_VGPƃ멍WVSt$|$ V$=t[^_Ãh VXZWV$ ǃS\$SD$ Pt: S=t!Sh ~Ѓ[øt&h D$PZYPD$ PtЃ ú&S\$S$=t  [Ãh S$ZYPS֐&UWVS t$ l$(|$,t*WD$0P$ZYPU~ [^_]Ð^WFPǃ멍hP p0``P@  0 P p  0 P p 0Pp0GCC: (GNU) 3.0.3.symtab.strtab.shstrtab.rel.text.rel.data.bss.comment@! D"X)( % 0/4= V (P T[#',+M.p<2<6;0M?jD`PI[NS9X`]MaPHf@kpMtjy   0 P p      #+ 4<0 EMP V^p go x    0 P  p    "* 3 ; D$L0 U\eq{ vcg-examples.cVViL1LI2LI3LI4LI5LI6L7LI8LI9LI10L11LI12LI13LI14LI15LI16LI17L18LI19LI20LI21L22LI23LnkLI44LnkTLI44LnkLI43LnkTLI43LnkLI42LnkTLI42LnkLI41LnkTLI41LnkLI40LnkTLI40LnkLI39LnkTLI39LnkLI38LnkTLI38LnkLI37LnkTLI37LnkLI36LnkTLI36LnkLI35LnkTLI35LnkLI34LnkTLI34LnkLI33LnkTLI33LnkLI32LnkTLI32LnkLI31LnkTLI31LnkLI30LnkTLI30LnkLI29LnkTLI29LnkLI28LnkTLI28LnkLI27LnkTLI27LnkLI26LnkTLI26LnkLI25LnkTLI25LnkLI24LnkTLI24LnkLI23LnkTLI23LnkLI22LnkTLI22LnkLI21LnkTLI21LnkLI20LnkTLI20LnkLI19LnkTLI19LnkLI18LnkTLI18LnkLI17LnkTLI17vs_topvs_limitvs_overflowCnil_bodysmall_fixnum_tablenumber_comparevs_baseLevenpequaleqlCt_bodynumber_negatenumber_plusnumber_minuscall_procappendlistAnumber_timesinit_codedo_init VWV#X-5YDZI[VV[YqyYZ[\V]\VY\V]\V\]\VV)\3V:]?\EVKYdmZt}^V^ (0_FWa_|_Y[%.BKT^jsy^^_ _.6@_R[dryYYYZ[Y[%Z,5^?`QYw[^ ^+4;C^Ybjr___ Y )7YaYqzZ^^^ Y-a6bAJQZZcc^t}^ZcY`   [/ 8 E N U i ^~      ^    ^  Y  Y Z [ Y: [L U d cq bz ^   c  Y    _ `  _ ' 0 ; D Q [ _w      ^ ` Y   d   d " ( d: B H dZ b h dz   d   d   d   d   d " ( d: B H dZ b h dz   d   d   d   d d"(d:BHdZbhdzddddd"(d:BHdVW\\bVlXrVYefV\W\VXVV \6W<\BVLXRVWagVp\W\VXVV\W\VXVV\3;YKZQcZZ`bi^YZ[`YYVWVX\ V]\V$Y.Z5B^L`TVaYiVY`^YYZbZY!*[OqyYZcb^YZ[`YYZ,^6`CY[cYjZwZ}cgY[i  $(,048<@DHLPTX  $g ACL2 ! LISPIN-PACKAGE M5. DEFPUN! ! M5*FLAT-PROG*! EV-FNCALL-NULL-BODY-ER!.FLAT-INV! .*HALF-PROG*! JVMUNLOCKED/!.HALF-INV! .*SUM-PROG*/!.SUM-INV! .*FACT-DEF* fact Demo /!.FACT-INV ZP.INT-FIX.INTP!.HALFA IFF.LOCALS .TOP-FRAME.PROGRAM.PC!.FLAT-PRE-CONDITION!.FLAT-LOOP-INVARIANT.TOP.STACK!.FLAT-POST-CONDITION THROW-RAW-EV-FNCALL!.SDEPTH2POP .CALL-STACK.SYNC-FLG.STEP!.SUMA!.SUM-POST-CONDITION!.SUM-PRE-CONDITION!.SUM-LOOP-INVARIANT!.! .LOOKUP-METHOD .CLASS-TABLE!.FACT-CALLER-FRAMESP! SYSTEM%INIT"  CWARN-VERSION5.0) !,LET ! FULL-BOOK-NAME! PARSE-BOOK-NAME !,COND! *CONNECTED-BOOK-DIRECTORY*H!,T ! F-GET-GLOBAL!,QUOTE! CONNECTED-BOOK-DIRECTORY! *THE-LIVE-STATE*K defpun .lisp! OSM! DIRECTORY-NAME! MV-REF! SHORT-BOOK-NAMEP!,DECLARE!,IGNOREQ G ! ASSOC-EQUALE ! GLOBAL-VALK! INCLUDE-BOOK-ALIST! WMII DHO! OS-FULL-BOOK-NAME ! PATHNAME-UNIX-TO-OSEM !,PROG1 !,OR! !LOAD-COMPILED-FILE-IF-MORE-RECENT !,CONSK! INCLUDE-BOOKK defpunK!! KEYWORDWARNEX!,LOADX! PROCLAIM-FILEX CMMK.DEFPUN! C*MAKE-SPECIALK- !,SETQ- G!,BOUNDPK- D!! USERD !,GETK-!K! REDUNDANT-RAW-LISP-DISCRIMINATOR G!,AND!!,CONSPf! !,EQ!,CARfK! DEFCONST!m!,CDRf !,EQUAL!psfK!K!2ICONST_0!2ISTORE_1!2ILOAD_0!2IFEQ!2ILOAD_1!2ICONST_1!2IADDxy!2ICONST_2!2ISUB!2ISTORE_0!2GOTO{.HALT o!ssf! ,SYMBOL-VALUEK-K-! RAW-MODE-PMvI !,ERROR -Illegal attempt to redeclare the constant ~s.K-I !,LET*!gVALvf !,LIST*!KqKv !,SETF hK-!Kjf!ssf !CMFSFUNK8 K9 K: K; K.FLAT-ASSERTION !CMFK0 K.MONO-THREADEDPcK1 d1 GeK1 Df hK1i Gklnr tuK!Kwxyz{|}xy~{!2IRETURN oK1K1I -Illegal attempt to redeclare the constant ~s.K1I f K hK1f K< K.HALF-ASSERTION  K3 K .RUN-TO-RETURN cK4 d4 GeK4 Df hK4i Gklnr tuK!Kwxyzy{}xy 2ICONST_M1}{ oK4K4I -Illegal attempt to redeclare the constant ~s.K4I f K hK4f K=  K?  K@ K> K .SUM-ASSERTION K5 D EF GHHI JKLMK demo .lispNMOPQPRSQ G TE UKVWMII DHOX YEM Z [\ ]K^K demoK_EXaXbX KAcK6 d6 GeK6 Df hK6i Gklnr tuK!K fact.INTy2IFLE yy|  2INVOKESTATIC Demo fact2IMUL| oK6K6I -Illegal attempt to redeclare the constant ~s.K6I f K hK6f KB K.FACT-ASSERTION K7 K.SCHED-TO-RETURN