gcl-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Gcl-devel] Re: possible lisp reader enhancement/modification ?JUNK


From: Matt Kaufmann
Subject: Re: [Gcl-devel] Re: possible lisp reader enhancement/modification ?JUNK MAIL? 4
Date: Mon, 28 Jul 2003 13:26:57 -0500

Hi, Camm --

Yes, it was a Linux run (Redhat 7.3).  I include all the GC and SGC messages
below based on two fgrep commands.  If you want to send a simple patch to try
out, feel free.

% fgrep '[GC' test.log
ACL2>[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=12).GC finished]
[SGC on][SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=54).GC finished]
[SGC on][SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=54).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=66).GC finished]
[SGC on][SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=70).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=72).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=81).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=86).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=89).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=93).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=95).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=101).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=103).GC finished]
[SGC on][SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=100).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=111).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=112).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=126).GC finished]
[SGC on][SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=128).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=137).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=136).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=156).GC finished]
[SGC on][SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=154).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=170).GC finished]
[SGC on][SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=175).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=185).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=194).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=185).GC finished]
[SGC on][SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=188).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=203).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=208).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=213).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=205).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=209).GC finished]
ACL2 !>>[SGC for 0 CFUN pages..(10762 writable)..[SGC off] (doing full gc)[GC 
for 750 RELOCATABLE-BLOCKS pages..(T=226).GC finished]
[SGC for 0 CFUN pages..(21908 writable)..[SGC off] (doing full gc)[GC for 1125 
RELOCATABLE-BLOCKS pages..(T=91).GC finished]
[SGC off][GC for 1125 RELOCATABLE-BLOCKS pages..(T=98).GC finished]
[SGC off][GC for 1125 RELOCATABLE-BLOCKS pages..(T=104).GC finished]
[SGC off][GC for 1125 RELOCATABLE-BLOCKS pages..(T=117).GC finished]
[SGC off][GC for 1125 RELOCATABLE-BLOCKS pages..(T=120).GC finished]
[SGC off][GC for 1125 RELOCATABLE-BLOCKS pages..(T=122).GC finished]
[SGC off][GC for 1125 RELOCATABLE-BLOCKS pages..(T=122).GC finished]
[SGC off][GC for 1125 RELOCATABLE-BLOCKS pages..(T=126).GC finished]
[SGC off][GC for 1125 RELOCATABLE-BLOCKS pages..(T=122).GC finished]
[SGC on][SGC off][GC for 1125 RELOCATABLE-BLOCKS pages..(T=122).GC finished]
[SGC off][GC for 1125 RELOCATABLE-BLOCKS pages..(T=135).GC finished]
[SGC off][GC for 1125 RELOCATABLE-BLOCKS pages..(T=130).GC finished]
[SGC off][GC for 1125 RELOCATABLE-BLOCKS pages..(T=135).GC finished]
[SGC off][GC for 1125 RELOCATABLE-BLOCKS pages..(T=144).GC finished]
[SGC off][GC for 1125 RELOCATABLE-BLOCKS pages..(T=150).GC finished]
[SGC on][SGC off][GC for 1125 RELOCATABLE-BLOCKS pages..(T=152).GC finished]
% fgrep '[SGC' test.log
ACL2>[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=12).GC finished]
[SGC on][SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=54).GC finished]
[SGC on][SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=54).GC finished]
[SGC on]
[SGC for 232 FIXNUM pages..(8431 writable)..(T=17).GC finished]
[SGC for 232 FIXNUM pages..(8434 writable)..(T=17).GC finished]
[SGC for 232 FIXNUM pages..(8466 writable)..(T=17).GC finished]
[SGC for 232 FIXNUM pages..(8502 writable)..(T=17).GC finished]
[SGC for 3000 CONS pages..(8527 writable)..(T=18).GC finished]
[SGC for 0 CONTIGUOUS-BLOCKS pages..(8600 writable)..(T=21).GC finished]
[SGC for 3000 CONS pages..(11058 writable)..(T=19).GC finished]
[SGC for 3000 CONS pages..(11073 writable)..(T=20).GC finished]
[SGC for 232 FIXNUM pages..(11073 writable)..(T=21).GC finished]
[SGC for 232 FIXNUM pages..(11074 writable)..(T=22).GC finished]
[SGC for 232 FIXNUM pages..(11076 writable)..(T=21).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=66).GC finished]
[SGC on][SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=70).GC finished]
[SGC on]Loading rtl.o
[SGC for 3192 CONS pages..(7124 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(7265 writable)..(T=12).GC finished]
[SGC for 39 ARRAY pages..(7299 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(7316 writable)..(T=13).GC finished]
[SGC for 3192 CONS pages..(7348 writable)..(T=15).GC finished]
[SGC for 0 CONTIGUOUS-BLOCKS pages..(7363 writable)..(T=17).GC finished]
[SGC for 0 CONTIGUOUS-BLOCKS pages..(9532 writable)..(T=17).GC finished]
[SGC for 0 CONTIGUOUS-BLOCKS pages..(9885 writable)..(T=17).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=72).GC finished]
[SGC on]start address -T 0x185c4000 Finished loading common.o
[SGC for 39 ARRAY pages..(7139 writable)..(T=12).GC finished]
[SGC for 39 ARRAY pages..(7316 writable)..(T=13).GC finished]
[SGC for 39 ARRAY pages..(7492 writable)..(T=15).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(7564 writable)..(T=14).GC finished]
[SGC for 39 ARRAY pages..(7668 writable)..(T=16).GC finished]
[SGC for 39 ARRAY pages..(7702 writable)..(T=17).GC finished]
[SGC for 39 ARRAY pages..(7702 writable)..(T=18).GC finished]
[SGC for 39 ARRAY pages..(7702 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(7771 writable)..(T=18).GC finished]
[SGC for 3000 CONS pages..(7781 writable)..(T=18).GC finished]
[SGC for 3000 CONS pages..(7781 writable)..(T=19).GC finished]
[SGC for 3000 CONS pages..(7781 writable)..(T=19).GC finished]
[SGC for 3000 CONS pages..(7781 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(7781 writable)..(T=19).GC finished]
[SGC for 3000 CONS pages..(7782 writable)..(T=19).GC finished]
[SGC for 3000 CONS pages..(7783 writable)..(T=20).GC finished]
[SGC for 3000 CONS pages..(7783 writable)..(T=19).GC finished]
[SGC for 3000 CONS pages..(7783 writable)..(T=19).GC finished]
[SGC for 3000 CONS pages..(7783 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(7783 writable)..(T=19).GC finished]
[SGC for 3000 CONS pages..(7784 writable)..(T=19).GC finished]
[SGC for 3000 CONS pages..(7784 writable)..(T=19).GC finished]
[SGC for 3000 CONS pages..(7785 writable)..(T=19).GC finished]
[SGC for 3000 CONS pages..(7785 writable)..(T=19).GC finished]
[SGC for 3000 CONS pages..(7787 writable)..(T=20).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=81).GC finished]
[SGC on][SGC for 39 ARRAY pages..(6912 writable)..(T=10).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(7071 writable)..(T=11).GC finished]
[SGC for 39 ARRAY pages..(7081 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(7085 writable)..(T=11).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=86).GC finished]
[SGC on][SGC for 3128 CONS pages..(7024 writable)..(T=15).GC finished]
[SGC for 3128 CONS pages..(10116 writable)..(T=27).GC finished]
[SGC for 3128 CONS pages..(10297 writable)..(T=28).GC finished]
[SGC for 3128 CONS pages..(10455 writable)..(T=32).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10460 writable)..(T=31).GC finished]
[SGC for 3128 CONS pages..(10476 writable)..(T=33).GC finished]
[SGC for 3128 CONS pages..(10476 writable)..(T=33).GC finished]
[SGC for 3128 CONS pages..(10476 writable)..(T=33).GC finished]
[SGC for 3128 CONS pages..(10476 writable)..(T=34).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=89).GC finished]
[SGC on][SGC for 39 ARRAY pages..(7119 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(7226 writable)..(T=13).GC finished]
[SGC for 39 ARRAY pages..(7498 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(7504 writable)..(T=13).GC finished]
[SGC for 39 ARRAY pages..(7758 writable)..(T=15).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(7762 writable)..(T=16).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=93).GC finished]
[SGC on][SGC for 3188 CONS pages..(7222 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(7275 writable)..(T=12).GC finished]
[SGC for 3188 CONS pages..(7778 writable)..(T=15).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(7960 writable)..(T=15).GC finished]
[SGC for 39 ARRAY pages..(8013 writable)..(T=15).GC finished]
[SGC for 39 ARRAY pages..(8065 writable)..(T=16).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8070 writable)..(T=16).GC finished]
[SGC for 39 ARRAY pages..(8123 writable)..(T=17).GC finished]
[SGC for 39 ARRAY pages..(8176 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8182 writable)..(T=16).GC finished]
[SGC for 3188 CONS pages..(8229 writable)..(T=18).GC finished]
[SGC for 3188 CONS pages..(8241 writable)..(T=19).GC finished]
[SGC for 0 CONTIGUOUS-BLOCKS pages..(8244 writable)..(T=19).GC finished]
[SGC for 0 CONTIGUOUS-BLOCKS pages..(10111 writable)..(T=20).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=95).GC finished]
[SGC on][SGC for 0 CONTIGUOUS-BLOCKS pages..(6719 writable)..(T=13).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=101).GC finished]
[SGC on][SGC for 0 CONTIGUOUS-BLOCKS pages..(7265 writable)..(T=16).GC finished]
[SGC for 0 CONTIGUOUS-BLOCKS pages..(9469 writable)..(T=15).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=103).GC finished]
[SGC on][SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=100).GC finished]
[SGC on]start address -T 0x18ed8000 Finished loading model-raw.o
[SGC for 3000 CONS pages..(10104 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10227 writable)..(T=15).GC finished]
[SGC for 3000 CONS pages..(10305 writable)..(T=16).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10327 writable)..(T=16).GC finished]
[SGC for 3000 CONS pages..(10364 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10391 writable)..(T=18).GC finished]
[SGC for 3000 CONS pages..(10419 writable)..(T=18).GC finished]
[SGC for 3000 CONS pages..(10445 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10448 writable)..(T=19).GC finished]
[SGC for 3000 CONS pages..(10473 writable)..(T=19).GC finished]
[SGC for 3000 CONS pages..(10495 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10505 writable)..(T=20).GC finished]
[SGC for 3000 CONS pages..(10525 writable)..(T=20).GC finished]
[SGC for 3000 CONS pages..(10543 writable)..(T=20).GC finished]
[SGC for 3000 CONS pages..(10559 writable)..(T=21).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10561 writable)..(T=20).GC finished]
[SGC for 3000 CONS pages..(10577 writable)..(T=21).GC finished]
[SGC for 3000 CONS pages..(10590 writable)..(T=21).GC finished]
[SGC for 3000 CONS pages..(10603 writable)..(T=22).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10616 writable)..(T=22).GC finished]
[SGC for 3000 CONS pages..(10632 writable)..(T=22).GC finished]
[SGC for 3000 CONS pages..(10641 writable)..(T=23).GC finished]
[SGC for 3000 CONS pages..(10650 writable)..(T=22).GC finished]
[SGC for 3000 CONS pages..(10659 writable)..(T=23).GC finished]
[SGC for 3000 CONS pages..(10668 writable)..(T=23).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10674 writable)..(T=24).GC finished]
[SGC for 3000 CONS pages..(10686 writable)..(T=23).GC finished]
[SGC for 3000 CONS pages..(10692 writable)..(T=24).GC finished]
[SGC for 3000 CONS pages..(10699 writable)..(T=24).GC finished]
[SGC for 3000 CONS pages..(10705 writable)..(T=23).GC finished]
[SGC for 3000 CONS pages..(10711 writable)..(T=23).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=111).GC finished]
[SGC on][SGC for 39 ARRAY pages..(9297 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9329 writable)..(T=12).GC finished]
[SGC for 39 ARRAY pages..(9909 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9916 writable)..(T=13).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=112).GC finished]
[SGC on]Loading bvecp-raw.o
[SGC for 3061 CONS pages..(9064 writable)..(T=13).GC finished]
[SGC for 3061 CONS pages..(9087 writable)..(T=14).GC finished]
[SGC for 3061 CONS pages..(9106 writable)..(T=14).GC finished]
[SGC for 3061 CONS pages..(9119 writable)..(T=15).GC finished]
[SGC for 3061 CONS pages..(9131 writable)..(T=16).GC finished]
[SGC for 3061 CONS pages..(9140 writable)..(T=16).GC finished]
[SGC for 3061 CONS pages..(9145 writable)..(T=16).GC finished]
[SGC for 3061 CONS pages..(9151 writable)..(T=16).GC finished]
[SGC for 3061 CONS pages..(9156 writable)..(T=16).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=126).GC finished]
[SGC on][SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=128).GC finished]
[SGC on][SGC for 3121 CONS pages..(8913 writable)..(T=13).GC finished]
[SGC for 3121 CONS pages..(8961 writable)..(T=13).GC finished]
[SGC for 3121 CONS pages..(8987 writable)..(T=14).GC finished]
[SGC for 3121 CONS pages..(9000 writable)..(T=13).GC finished]
[SGC for 3121 CONS pages..(9015 writable)..(T=14).GC finished]
[SGC for 3121 CONS pages..(9025 writable)..(T=14).GC finished]
[SGC for 3121 CONS pages..(9033 writable)..(T=14).GC finished]
[SGC for 3121 CONS pages..(9043 writable)..(T=15).GC finished]
[SGC for 3121 CONS pages..(9046 writable)..(T=14).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=137).GC finished]
[SGC on]Loading bits.o
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=136).GC finished]
[SGC on]Loading basic.o
[SGC for 3181 CONS pages..(9024 writable)..(T=12).GC finished]
[SGC for 3181 CONS pages..(9059 writable)..(T=12).GC finished]
[SGC for 3181 CONS pages..(9077 writable)..(T=13).GC finished]
[SGC for 3181 CONS pages..(9096 writable)..(T=13).GC finished]
[SGC for 3181 CONS pages..(9111 writable)..(T=14).GC finished]
[SGC for 3181 CONS pages..(9120 writable)..(T=14).GC finished]
[SGC for 3181 CONS pages..(9155 writable)..(T=15).GC finished]
[SGC for 3181 CONS pages..(9166 writable)..(T=14).GC finished]
[SGC for 3181 CONS pages..(9170 writable)..(T=15).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=156).GC finished]
[SGC on][SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=154).GC finished]
[SGC on]Loading reps.o
[SGC for 3241 CONS pages..(9100 writable)..(T=12).GC finished]
[SGC for 3241 CONS pages..(9139 writable)..(T=13).GC finished]
[SGC for 3241 CONS pages..(9164 writable)..(T=14).GC finished]
[SGC for 3241 CONS pages..(9185 writable)..(T=14).GC finished]
[SGC for 3241 CONS pages..(9201 writable)..(T=14).GC finished]
[SGC for 3241 CONS pages..(9211 writable)..(T=14).GC finished]
[SGC for 3241 CONS pages..(9216 writable)..(T=15).GC finished]
[SGC for 3241 CONS pages..(9225 writable)..(T=15).GC finished]
[SGC for 3241 CONS pages..(9230 writable)..(T=15).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=170).GC finished]
[SGC on][SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=175).GC finished]
[SGC on][SGC for 3301 CONS pages..(9118 writable)..(T=13).GC finished]
[SGC for 3301 CONS pages..(9154 writable)..(T=13).GC finished]
[SGC for 3301 CONS pages..(9189 writable)..(T=14).GC finished]
[SGC for 3301 CONS pages..(9209 writable)..(T=13).GC finished]
[SGC for 3301 CONS pages..(9225 writable)..(T=14).GC finished]
[SGC for 3301 CONS pages..(9239 writable)..(T=14).GC finished]
[SGC for 3301 CONS pages..(9249 writable)..(T=14).GC finished]
[SGC for 3301 CONS pages..(9265 writable)..(T=15).GC finished]
[SGC for 3301 CONS pages..(9273 writable)..(T=14).GC finished]
[SGC for 3301 CONS pages..(9279 writable)..(T=15).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=185).GC finished]
[SGC on]Loading fadd.o
[SGC for 123 FIXNUM pages..(9152 writable)..(T=12).GC finished]
[SGC for 123 FIXNUM pages..(9153 writable)..(T=12).GC finished]
[SGC for 123 FIXNUM pages..(9153 writable)..(T=12).GC finished]
[SGC for 123 FIXNUM pages..(9154 writable)..(T=11).GC finished]
[SGC for 123 FIXNUM pages..(9162 writable)..(T=13).GC finished]
[SGC for 123 FIXNUM pages..(9162 writable)..(T=13).GC finished]
[SGC for 40 ARRAY pages..(9345 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9473 writable)..(T=14).GC finished]
[SGC for 40 ARRAY pages..(10091 writable)..(T=15).GC finished]
[SGC for 40 ARRAY pages..(10174 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10206 writable)..(T=17).GC finished]
[SGC for 0 CFUN pages..(10235 writable)..[SGC off] (doing full gc)[SGC 
on](T=311).GC finished]
[SGC for 40 ARRAY pages..(8849 writable)..(T=12).GC finished]
[SGC for 40 ARRAY pages..(8906 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8932 writable)..(T=12).GC finished]
[SGC for 40 ARRAY pages..(9003 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9003 writable)..(T=14).GC finished]
[SGC for 40 ARRAY pages..(9003 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9003 writable)..(T=13).GC finished]
[SGC for 40 ARRAY pages..(9003 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9003 writable)..(T=15).GC finished]
[SGC for 40 ARRAY pages..(9128 writable)..(T=15).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9128 writable)..(T=14).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=194).GC finished]
[SGC on][SGC for 3361 CONS pages..(9214 writable)..(T=18).GC finished]
[SGC for 3361 CONS pages..(9214 writable)..(T=18).GC finished]
[SGC for 3361 CONS pages..(9214 writable)..(T=18).GC finished]
[SGC for 3361 CONS pages..(9214 writable)..(T=18).GC finished]
[SGC for 3361 CONS pages..(9214 writable)..(T=19).GC finished]
[SGC for 3361 CONS pages..(9214 writable)..(T=19).GC finished]
[SGC for 3361 CONS pages..(9214 writable)..(T=20).GC finished]
[SGC for 3361 CONS pages..(9214 writable)..(T=20).GC finished]
[SGC for 3361 CONS pages..(9214 writable)..(T=21).GC finished]
[SGC for 3361 CONS pages..(9214 writable)..(T=21).GC finished]
[SGC for 3361 CONS pages..(9214 writable)..(T=22).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=185).GC finished]
[SGC on][SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=188).GC finished]
[SGC on][SGC for 0 RELOCATABLE-BLOCKS pages..(14359 writable)..(T=35).GC 
finished]
[SGC for 3421 CONS pages..(15047 writable)..(T=36).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(15055 writable)..(T=36).GC finished]
[SGC for 3421 CONS pages..(15092 writable)..(T=38).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(15103 writable)..(T=37).GC finished]
[SGC for 3421 CONS pages..(15117 writable)..(T=38).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(15131 writable)..(T=39).GC finished]
[SGC for 3421 CONS pages..(15143 writable)..(T=38).GC finished]
[SGC for 3421 CONS pages..(15155 writable)..(T=39).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(15158 writable)..(T=39).GC finished]
[SGC for 3421 CONS pages..(15170 writable)..(T=39).GC finished]
[SGC for 3421 CONS pages..(15193 writable)..(T=39).GC finished]
[SGC for 3421 CONS pages..(15202 writable)..(T=42).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(15204 writable)..(T=40).GC finished]
[SGC for 3421 CONS pages..(15214 writable)..(T=39).GC finished]
[SGC for 3421 CONS pages..(15224 writable)..(T=40).GC finished]
[SGC for 3421 CONS pages..(15235 writable)..(T=41).GC finished]
[SGC for 3421 CONS pages..(15244 writable)..(T=41).GC finished]
[SGC for 3421 CONS pages..(15255 writable)..(T=41).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(15262 writable)..(T=41).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=203).GC finished]
[SGC on][SGC for 0 RELOCATABLE-BLOCKS pages..(15331 writable)..(T=39).GC 
finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(17108 writable)..(T=49).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=208).GC finished]
[SGC on][SGC for 40 ARRAY pages..(8642 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8693 writable)..(T=13).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=213).GC finished]
[SGC on][SGC for 0 RELOCATABLE-BLOCKS pages..(8675 writable)..(T=12).GC 
finished]
[SGC for 3011 CONS pages..(9321 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9325 writable)..(T=14).GC finished]
[SGC for 40 ARRAY pages..(9394 writable)..(T=15).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9417 writable)..(T=15).GC finished]
[SGC for 40 ARRAY pages..(9484 writable)..(T=15).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9506 writable)..(T=15).GC finished]
[SGC for 40 ARRAY pages..(9574 writable)..(T=16).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9597 writable)..(T=17).GC finished]
[SGC for 3011 CONS pages..(9664 writable)..(T=17).GC finished]
[SGC for 3011 CONS pages..(9678 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9678 writable)..(T=17).GC finished]
[SGC for 3011 CONS pages..(9689 writable)..(T=19).GC finished]
[SGC for 3011 CONS pages..(10006 writable)..(T=18).GC finished]
[SGC for 3011 CONS pages..(10013 writable)..(T=19).GC finished]
[SGC for 3011 CONS pages..(10014 writable)..(T=16).GC finished]
[SGC for 74 FIXNUM pages..(10020 writable)..(T=17).GC finished]
[SGC for 74 FIXNUM pages..(10020 writable)..(T=17).GC finished]
[SGC for 74 FIXNUM pages..(10020 writable)..(T=17).GC finished]
[SGC for 74 FIXNUM pages..(10020 writable)..(T=16).GC finished]
[SGC for 74 FIXNUM pages..(10020 writable)..(T=17).GC finished]
[SGC for 74 FIXNUM pages..(10020 writable)..(T=17).GC finished]
[SGC for 74 FIXNUM pages..(10020 writable)..(T=18).GC finished]
[SGC for 74 FIXNUM pages..(10020 writable)..(T=17).GC finished]
[SGC for 3011 CONS pages..(10028 writable)..(T=18).GC finished]
[SGC for 3011 CONS pages..(10033 writable)..(T=18).GC finished]
[SGC for 3011 CONS pages..(10035 writable)..(T=18).GC finished]
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=205).GC finished]
[SGC on]->: :S
[SGC off][GC for 750 RELOCATABLE-BLOCKS pages..(T=209).GC finished]
[SGC on]->: :PROVE
[SGC for 74 FIXNUM pages..(10350 writable)..(T=15).GC finished]
[SGC for 74 FIXNUM pages..(10350 writable)..(T=15).GC finished]
[SGC for 74 FIXNUM pages..(10350 writable)..(T=15).GC finished]
[SGC for 74 FIXNUM pages..(10350 writable)..(T=15).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10527 writable)..(T=16).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11293 writable)..(T=16).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11310 writable)..(T=16).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11326 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11343 writable)..(T=16).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11359 writable)..(T=16).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11374 writable)..(T=16).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11392 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11407 writable)..(T=16).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11425 writable)..(T=16).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11440 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11459 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11474 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11493 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11508 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11524 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11541 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11557 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11575 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11591 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11608 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11625 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11642 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11659 writable)..(T=18).GC finished]
[SGC for 0 CFUN pages..(11663 writable)..[SGC off] (doing full gc)[SGC 
on](T=304).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8873 writable)..(T=10).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8895 writable)..(T=10).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8918 writable)..(T=10).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8939 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8960 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8981 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9004 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9026 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9050 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9070 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9092 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9116 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9137 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9158 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9182 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9202 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9225 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9254 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9282 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9309 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9351 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9384 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9411 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9438 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9469 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9499 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9529 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9554 writable)..(T=14).GC finished]
[SGC for 0 CFUN pages..(9570 writable)..[SGC off] (doing full gc)[SGC 
on](T=311).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8791 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8806 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8822 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8836 writable)..(T=9).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8846 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8860 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8871 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8882 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8893 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8906 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8924 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8948 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8963 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8978 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8992 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9007 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9016 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9030 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9043 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9056 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9069 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9086 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9098 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9114 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9125 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9136 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9147 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9161 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9173 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9186 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9202 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9213 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9226 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9237 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9246 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9261 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9273 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9287 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9300 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9314 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9325 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9339 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9352 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9364 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9378 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9388 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9400 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9413 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9424 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9437 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9447 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9462 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9474 writable)..(T=14).GC finished]
[SGC for 0 CFUN pages..(9481 writable)..[SGC off] (doing full gc)[SGC 
on](T=331).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8738 writable)..(T=10).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8748 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8752 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8761 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8769 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8774 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8782 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8786 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8792 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8797 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8804 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8811 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8816 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8823 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8828 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8833 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8840 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8846 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8850 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8856 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8864 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8869 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8873 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8880 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8885 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8890 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8895 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8900 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8907 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8914 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8919 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8924 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8931 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8936 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8942 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8947 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8955 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8960 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8967 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8972 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8981 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8985 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8992 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8997 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9002 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9008 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9012 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9020 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9025 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9029 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9035 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9043 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9047 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9052 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9058 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9063 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9068 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9072 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9079 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9082 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9088 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9091 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9096 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9106 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9110 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9116 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9121 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9125 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9130 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9137 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9144 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9149 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9153 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9160 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9166 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9172 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9178 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9185 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9195 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9201 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9206 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9213 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9216 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9221 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9227 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9232 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9240 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9246 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9252 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9255 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9262 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9268 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9273 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9277 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9282 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9287 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9293 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9298 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9304 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9309 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9315 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9318 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=20).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=15).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=15).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=20).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=16).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=16).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=16).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=20).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=16).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10703 writable)..(T=19).GC finished]
ACL2 !>>[SGC for 0 CFUN pages..(10762 writable)..[SGC off] (doing full gc)[GC 
for 750 RELOCATABLE-BLOCKS pages..(T=226).GC finished]
[SGC on](T=247161).GC finished]
[SGC for 74 FIXNUM pages..(8845 writable)..(T=11).GC finished]
[SGC for 74 FIXNUM pages..(8845 writable)..(T=12).GC finished]
[SGC for 74 FIXNUM pages..(8845 writable)..(T=11).GC finished]
[SGC for 74 FIXNUM pages..(8845 writable)..(T=11).GC finished]
[SGC for 3045 CONS pages..(9104 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9105 writable)..(T=12).GC finished]
[SGC for 3045 CONS pages..(9463 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9463 writable)..(T=12).GC finished]
->: [SGC for 3045 CONS pages..(9503 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9503 writable)..(T=12).GC finished]
[SGC for 3045 CONS pages..(9539 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9539 writable)..(T=12).GC finished]
[SGC for 3045 CONS pages..(9572 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9574 writable)..(T=13).GC finished]
[SGC for 3045 CONS pages..(9600 writable)..(T=15).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9603 writable)..(T=13).GC finished]
[SGC for 3045 CONS pages..(9614 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9614 writable)..(T=14).GC finished]
[SGC for 3045 CONS pages..(9614 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9625 writable)..(T=13).GC finished]
[SGC for 3045 CONS pages..(9661 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9664 writable)..(T=13).GC finished]
[SGC for 3045 CONS pages..(9702 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9703 writable)..(T=13).GC finished]
[SGC for 3045 CONS pages..(9738 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9742 writable)..(T=13).GC finished]
[SGC for 3045 CONS pages..(9773 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9776 writable)..(T=13).GC finished]
[SGC for 3045 CONS pages..(9806 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9810 writable)..(T=14).GC finished]
[SGC for 3045 CONS pages..(9842 writable)..(T=15).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9846 writable)..(T=14).GC finished]
[SGC for 3045 CONS pages..(9874 writable)..(T=15).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9877 writable)..(T=14).GC finished]
[SGC for 3045 CONS pages..(9904 writable)..(T=15).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9908 writable)..(T=14).GC finished]
[SGC for 3045 CONS pages..(9939 writable)..(T=15).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9942 writable)..(T=14).GC finished]
ACL2 !>>[SGC for 0 CFUN pages..(9949 writable)..[SGC off] (doing full gc)[SGC 
on](T=329).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8862 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8891 writable)..(T=10).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8915 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8940 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8966 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8991 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9015 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9043 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9068 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9091 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9114 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9138 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9174 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9204 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9227 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9260 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9284 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9306 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9329 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9350 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9374 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9399 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9418 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9442 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9461 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9482 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9506 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9529 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9553 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9580 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9606 writable)..(T=14).GC finished]
Time:  [SGC for 0 CFUN pages..(9615 writable)..[SGC off] (doing full gc)[SGC 
on](T=315).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8767 writable)..(T=10).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8778 writable)..(T=10).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8793 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8805 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8817 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8831 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8836 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8842 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8853 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8862 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8871 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8881 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8893 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8902 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8914 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8927 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8939 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8948 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8959 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8971 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8982 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8994 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9006 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9018 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9029 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9040 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9050 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9062 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9072 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9082 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9094 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9104 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9114 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9125 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9136 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9147 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9158 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9169 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9180 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9190 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9202 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9212 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9226 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9235 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9246 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9255 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9266 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9275 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9287 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9301 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9311 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9323 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9332 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9343 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9355 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9367 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9377 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9387 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9397 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9407 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9417 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9428 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9438 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9449 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9460 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9471 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9482 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9493 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9503 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9516 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9525 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9534 writable)..(T=14).GC finished]
ACL2 !>>[SGC for 0 CFUN pages..(9537 writable)..[SGC off] (doing full gc)[SGC 
on](T=333).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8755 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8768 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8776 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8787 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8795 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8807 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8818 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8829 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8837 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8849 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8860 writable)..(T=16).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8868 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8878 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8889 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8899 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8910 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8921 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8929 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=20).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=20).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=21).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=21).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=20).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=21).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=20).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=16).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=21).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=20).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=20).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=20).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=16).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=20).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=20).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=21).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=20).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=20).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=20).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=21).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=20).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=15).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=20).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=15).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=21).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=23).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=20).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=20).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10799 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10808 writable)..(T=20).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10809 writable)..(T=17).GC finished]
[SGC for 50 FIXNUM pages..(10855 writable)..(T=18).GC finished]
[SGC for 50 FIXNUM pages..(10855 writable)..(T=19).GC finished]
[SGC for 50 FIXNUM pages..(10855 writable)..(T=19).GC finished]
[SGC for 50 FIXNUM pages..(10855 writable)..(T=19).GC finished]
[SGC for 50 FIXNUM pages..(10855 writable)..(T=19).GC finished]
[SGC for 50 FIXNUM pages..(10855 writable)..(T=19).GC finished]
[SGC for 3000 CONS pages..(11011 writable)..(T=18).GC finished]
[SGC for 3000 CONS pages..(11217 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11263 writable)..(T=18).GC finished]
[SGC for 3000 CONS pages..(12097 writable)..(T=20).GC finished]
[SGC for 3000 CONS pages..(12132 writable)..(T=20).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(12143 writable)..(T=20).GC finished]
[SGC for 3000 CONS pages..(12178 writable)..(T=21).GC finished]
[SGC for 3000 CONS pages..(12212 writable)..(T=20).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(12225 writable)..(T=19).GC finished]
[SGC for 3000 CONS pages..(12260 writable)..(T=20).GC finished]
Time:  0.01 seconds (prove: 0.00, print: 0.00, other: 0.[SGC for 0 CFUN 
pages..(12282 writable)..[SGC off] (doing full gc)[SGC on](T=342).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8895 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8946 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8993 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9044 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9092 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9141 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9190 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9239 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9288 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9345 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9401 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9459 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9512 writable)..(T=15).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9566 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9620 writable)..(T=15).GC finished]
[SGC for 0 CFUN pages..(9659 writable)..[SGC off] (doing full gc)[SGC 
on](T=326).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8772 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8789 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8807 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8825 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8840 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8860 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8877 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8896 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8914 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8936 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8951 writable)..(T=11).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8968 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8985 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9005 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9024 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9040 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9059 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9075 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9093 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9110 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9127 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9145 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9162 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9178 writable)..(T=15).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9194 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9211 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9229 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9246 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9262 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9279 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9297 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9313 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9330 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9347 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9364 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9381 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9399 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10805 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10833 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10861 writable)..(T=19).GC finished]
[SGC for 0 CFUN pages..(10861 writable)..[SGC off] (doing full gc)[SGC 
on](T=347).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(8901 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9064 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9237 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9374 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9515 writable)..(T=15).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9669 writable)..(T=15).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9803 writable)..(T=16).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10006 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10223 writable)..(T=16).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10395 writable)..(T=19).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10545 writable)..(T=20).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10666 writable)..(T=20).GC finished]
[SGC for 3000 CONS pages..(21836 writable)..(T=61).GC finished]
[SGC for 54 FIXNUM pages..(21837 writable)..(T=63).GC finished]
[SGC for 54 FIXNUM pages..(21837 writable)..(T=62).GC finished]
[SGC for 54 FIXNUM pages..(21837 writable)..(T=64).GC finished]
[SGC for 54 FIXNUM pages..(21837 writable)..(T=61).GC finished]
[SGC for 54 FIXNUM pages..(21837 writable)..(T=62).GC finished]
[SGC for 54 FIXNUM pages..(21837 writable)..(T=62).GC finished]
[SGC for 54 FIXNUM pages..(21837 writable)..(T=64).GC finished]
[SGC for 54 FIXNUM pages..(21837 writable)..(T=63).GC finished]
[SGC for 54 FIXNUM pages..(21837 writable)..(T=63).GC finished]
[SGC for 54 FIXNUM pages..(21837 writable)..(T=63).GC finished]
[SGC for 54 FIXNUM pages..(21837 writable)..(T=63).GC finished]
[SGC for 54 FIXNUM pages..(21839 writable)..(T=62).GC finished]
[SGC for 54 FIXNUM pages..(21843 writable)..(T=60).GC finished]
[SGC for 54 FIXNUM pages..(21848 writable)..(T=61).GC finished]
[SGC for 54 FIXNUM pages..(21853 writable)..(T=62).GC finished]
[SGC for 54 FIXNUM pages..(21858 writable)..(T=65).GC finished]
[SGC for 54 FIXNUM pages..(21862 writable)..(T=64).GC finished]
[SGC for 54 FIXNUM pages..(21867 writable)..(T=64).GC finished]
[SGC for 54 FIXNUM pages..(21872 writable)..(T=64).GC finished]
[SGC for 54 FIXNUM pages..(21877 writable)..(T=64).GC finished]
[SGC for 54 FIXNUM pages..(21882 writable)..(T=64).GC finished]
[SGC for 54 FIXNUM pages..(21886 writable)..(T=64).GC finished]
[SGC for 54 FIXNUM pages..(21891 writable)..(T=64).GC finished]
[SGC for 54 FIXNUM pages..(21896 writable)..(T=64).GC finished]
[SGC for 54 FIXNUM pages..(21897 writable)..(T=65).GC finished]
[SGC for 54 FIXNUM pages..(21897 writable)..(T=64).GC finished]
[SGC for 54 FIXNUM pages..(21897 writable)..(T=64).GC finished]
[SGC for 54 FIXNUM pages..(21897 writable)..(T=64).GC finished]
[SGC for 54 FIXNUM pages..(21897 writable)..(T=65).GC finished]
[SGC for 54 FIXNUM pages..(21897 writable)..(T=64).GC finished]
[SGC for 3000 CONS pages..(21898 writable)..(T=64).GC finished]
[SGC for 3000 CONS pages..(21898 writable)..(T=64).GC finished]
[SGC for 0 CFUN pages..(21908 writable)..[SGC off] (doing full gc)[GC for 1125 
RELOCATABLE-BLOCKS pages..(T=91).GC finished]
[SGC on](T=438992).GC finished]
[SGC for 232 FIXNUM pages..(9121 writable)..(T=14).GC finished]
[SGC for 232 FIXNUM pages..(9121 writable)..(T=14).GC finished]
[SGC for 232 FIXNUM pages..(9123 writable)..(T=14).GC finished]
[SGC for 3000 CONS pages..(9210 writable)..(T=15).GC finished]
[SGC for 3000 CONS pages..(9370 writable)..(T=16).GC finished]
[SGC for 3000 CONS pages..(9463 writable)..(T=16).GC finished]
[SGC for 3000 CONS pages..(9682 writable)..(T=16).GC finished]
[SGC for 3000 CONS pages..(10036 writable)..(T=17).GC finished]
[SGC for 3000 CONS pages..(10136 writable)..(T=18).GC finished]
[SGC for 3000 CONS pages..(10236 writable)..(T=18).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10246 writable)..(T=17).GC finished]
[SGC for 3000 CONS pages..(10320 writable)..(T=17).GC finished]
[SGC for 3000 CONS pages..(10386 writable)..(T=18).GC finished]
[SGC for 3000 CONS pages..(10603 writable)..(T=18).GC finished]
[SGC for 3000 CONS pages..(10728 writable)..(T=19).GC finished]
[SGC for 3000 CONS pages..(10808 writable)..(T=19).GC finished]
[SGC for 3000 CONS pages..(10873 writable)..(T=20).GC finished]
[SGC for 3000 CONS pages..(10942 writable)..(T=20).GC finished]
[SGC for 3000 CONS pages..(10976 writable)..(T=21).GC finished]
[SGC off][GC for 1125 RELOCATABLE-BLOCKS pages..(T=98).GC finished]
[SGC on]Loading common.o
[SGC for 0 CONTIGUOUS-BLOCKS pages..(9411 writable)..(T=15).GC finished]
[SGC for 40 ARRAY pages..(12853 writable)..(T=15).GC finished]
[SGC for 40 ARRAY pages..(13320 writable)..(T=16).GC finished]
[SGC for 40 ARRAY pages..(13710 writable)..(T=17).GC finished]
[SGC for 40 ARRAY pages..(13966 writable)..(T=19).GC finished]
[SGC for 0 CFUN pages..(14065 writable)..[SGC off] (doing full gc)[SGC 
on](T=307).GC finished]
[SGC for 40 ARRAY pages..(9375 writable)..(T=13).GC finished]
[SGC for 40 ARRAY pages..(9439 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9450 writable)..(T=13).GC finished]
[SGC for 40 ARRAY pages..(12320 writable)..(T=20).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(12320 writable)..(T=20).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(12320 writable)..(T=21).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(12321 writable)..(T=21).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(12323 writable)..(T=21).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(12323 writable)..(T=22).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(12324 writable)..(T=23).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(12352 writable)..(T=22).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(12433 writable)..(T=22).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(12537 writable)..(T=23).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(12612 writable)..(T=23).GC finished]
[SGC off][GC for 1125 RELOCATABLE-BLOCKS pages..(T=104).GC finished]
[SGC on][SGC for 40 ARRAY pages..(9371 writable)..(T=13).GC finished]
[SGC for 3262 CONS pages..(13127 writable)..(T=24).GC finished]
[SGC for 3262 CONS pages..(13160 writable)..(T=25).GC finished]
[SGC for 3262 CONS pages..(15776 writable)..(T=34).GC finished]
[SGC for 3262 CONS pages..(15879 writable)..(T=35).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(16092 writable)..(T=38).GC finished]
[SGC for 3262 CONS pages..(16441 writable)..(T=41).GC finished]
[SGC for 3262 CONS pages..(16455 writable)..(T=42).GC finished]
[SGC off][GC for 1125 RELOCATABLE-BLOCKS pages..(T=117).GC finished]
[SGC on][SGC for 40 ARRAY pages..(9443 writable)..(T=14).GC finished]
[SGC for 40 ARRAY pages..(9965 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(10154 writable)..(T=16).GC finished]
[SGC off][GC for 1125 RELOCATABLE-BLOCKS pages..(T=120).GC finished]
[SGC on][SGC for 40 ARRAY pages..(9428 writable)..(T=14).GC finished]
[SGC for 40 ARRAY pages..(9639 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(9859 writable)..(T=15).GC finished]
[SGC for 3322 CONS pages..(10249 writable)..(T=16).GC finished]
[SGC for 3322 CONS pages..(10327 writable)..(T=17).GC finished]
[SGC for 3322 CONS pages..(12877 writable)..(T=24).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(12899 writable)..(T=23).GC finished]
[SGC for 3322 CONS pages..(12946 writable)..(T=24).GC finished]
[SGC for 3322 CONS pages..(12991 writable)..(T=25).GC finished]
[SGC for 3322 CONS pages..(13035 writable)..(T=24).GC finished]
[SGC for 3322 CONS pages..(13077 writable)..(T=24).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(13104 writable)..(T=24).GC finished]
[SGC for 3322 CONS pages..(13146 writable)..(T=26).GC finished]
[SGC for 3322 CONS pages..(13167 writable)..(T=26).GC finished]
[SGC for 3322 CONS pages..(13178 writable)..(T=28).GC finished]
[SGC off][GC for 1125 RELOCATABLE-BLOCKS pages..(T=122).GC finished]
[SGC on]Loading model-raw.o
[SGC off][GC for 1125 RELOCATABLE-BLOCKS pages..(T=122).GC finished]
[SGC on][SGC for 0 CONTIGUOUS-BLOCKS pages..(9438 writable)..(T=15).GC finished]
[SGC off][GC for 1125 RELOCATABLE-BLOCKS pages..(T=126).GC finished]
[SGC on][SGC for 0 CONTIGUOUS-BLOCKS pages..(9719 writable)..(T=16).GC finished]
[SGC off][GC for 1125 RELOCATABLE-BLOCKS pages..(T=122).GC finished]
[SGC on][SGC off][GC for 1125 RELOCATABLE-BLOCKS pages..(T=122).GC finished]
[SGC on]start address -T 0x1c6bc000 Finished loading model-raw.o
[SGC for 173 FIXNUM pages..(12081 writable)..(T=14).GC finished]
[SGC for 173 FIXNUM pages..(12081 writable)..(T=14).GC finished]
[SGC for 173 FIXNUM pages..(12082 writable)..(T=14).GC finished]
[SGC for 173 FIXNUM pages..(12092 writable)..(T=14).GC finished]
[SGC for 40 ARRAY pages..(13312 writable)..(T=18).GC finished]
[SGC for 40 ARRAY pages..(13604 writable)..(T=19).GC finished]
[SGC for 40 ARRAY pages..(14142 writable)..(T=20).GC finished]
[SGC for 40 ARRAY pages..(14667 writable)..(T=22).GC finished]
[SGC for 0 CFUN pages..(15146 writable)..[SGC off] (doing full gc)[SGC 
on](T=305).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11416 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11421 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11475 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11478 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11478 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11478 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11478 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11478 writable)..(T=12).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11478 writable)..(T=13).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11805 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11805 writable)..(T=15).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11805 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11805 writable)..(T=15).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11805 writable)..(T=15).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11805 writable)..(T=15).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11805 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11805 writable)..(T=15).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11805 writable)..(T=15).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11805 writable)..(T=15).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11805 writable)..(T=14).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11805 writable)..(T=15).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11805 writable)..(T=16).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11805 writable)..(T=15).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11805 writable)..(T=15).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11805 writable)..(T=15).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11805 writable)..(T=16).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11805 writable)..(T=16).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11805 writable)..(T=15).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11805 writable)..(T=16).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11805 writable)..(T=16).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11805 writable)..(T=16).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11805 writable)..(T=16).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11805 writable)..(T=16).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11805 writable)..(T=15).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11805 writable)..(T=16).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11805 writable)..(T=15).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11805 writable)..(T=16).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11805 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11805 writable)..(T=16).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11805 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11805 writable)..(T=16).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11805 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11805 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11805 writable)..(T=17).GC finished]
[SGC off][GC for 1125 RELOCATABLE-BLOCKS pages..(T=135).GC finished]
[SGC on][SGC for 3382 CONS pages..(12822 writable)..(T=18).GC finished]
[SGC for 3382 CONS pages..(12822 writable)..(T=19).GC finished]
[SGC for 3382 CONS pages..(12822 writable)..(T=19).GC finished]
[SGC for 3382 CONS pages..(21063 writable)..(T=47).GC finished]
[SGC for 3382 CONS pages..(21144 writable)..(T=49).GC finished]
[SGC for 3382 CONS pages..(21201 writable)..(T=46).GC finished]
[SGC for 3382 CONS pages..(21333 writable)..(T=51).GC finished]
[SGC off][GC for 1125 RELOCATABLE-BLOCKS pages..(T=130).GC finished]
[SGC on][SGC for 39 ARRAY pages..(16061 writable)..(T=31).GC finished]
[SGC off][GC for 1125 RELOCATABLE-BLOCKS pages..(T=135).GC finished]
[SGC on][SGC for 39 ARRAY pages..(11471 writable)..(T=13).GC finished]
[SGC for 39 ARRAY pages..(11825 writable)..(T=15).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(11992 writable)..(T=15).GC finished]
[SGC for 39 ARRAY pages..(12997 writable)..(T=17).GC finished]
[SGC for 3442 CONS pages..(13089 writable)..(T=18).GC finished]
[SGC for 3442 CONS pages..(13134 writable)..(T=17).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(13145 writable)..(T=17).GC finished]
[SGC for 3442 CONS pages..(13192 writable)..(T=20).GC finished]
[SGC for 3442 CONS pages..(13249 writable)..(T=20).GC finished]
[SGC for 3442 CONS pages..(13275 writable)..(T=21).GC finished]
[SGC for 3442 CONS pages..(18242 writable)..(T=36).GC finished]
[SGC for 3442 CONS pages..(19114 writable)..(T=41).GC finished]
[SGC off][GC for 1125 RELOCATABLE-BLOCKS pages..(T=144).GC finished]
[SGC on][SGC for 39 ARRAY pages..(11530 writable)..(T=14).GC finished]
[SGC for 39 ARRAY pages..(11758 writable)..(T=15).GC finished]
[SGC for 39 ARRAY pages..(11969 writable)..(T=15).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(12021 writable)..(T=15).GC finished]
[SGC off][GC for 1125 RELOCATABLE-BLOCKS pages..(T=150).GC finished]
[SGC on][SGC off][GC for 1125 RELOCATABLE-BLOCKS pages..(T=152).GC finished]
[SGC on][SGC for 39 ARRAY pages..(11883 writable)..(T=14).GC finished]
[SGC for 39 ARRAY pages..(12072 writable)..(T=15).GC finished]
[SGC for 39 ARRAY pages..(12265 writable)..(T=15).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(12372 writable)..(T=16).GC finished]
[SGC for 39 ARRAY pages..(13370 writable)..(T=17).GC finished]
[SGC for 39 ARRAY pages..(13427 writable)..(T=16).GC finished]
[SGC for 3032 CONS pages..(13477 writable)..(T=17).GC finished]
[SGC for 0 CONTIGUOUS-BLOCKS pages..(13479 writable)..(T=22).GC finished]
[SGC for 3032 CONS pages..(17153 writable)..(T=20).GC finished]
[SGC for 0 CFUN pages..(17657 writable)..[SGC off] (doing full gc)[SGC 
on](T=336).GC finished]
[SGC for 3000 CONS pages..(12841 writable)..(T=16).GC finished]
[SGC for 0 RELOCATABLE-BLOCKS pages..(13304 writable)..(T=15).GC finished]
[SGC for 3000 CONS pages..(14232 writable)..(T=20).GC finished]
[SGC for 3000 CONS pages..(14402 writable)..(T=23).GC finished]
[SGC for 3000 CONS pages..(14442 writable)..(T=21).GC finished]
[SGC for 3000 CONS pages..(14452 writable)..(T=21).GC finished]
%

-- Matt
   cc: address@hidden, address@hidden, address@hidden
   From: "Camm Maguire" <address@hidden>
   Date: 28 Jul 2003 14:14:52 -0400
   User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2
   X-MMS-Spam-Confidence: moderate
   X-MMS-Spam-Filter-ID: 2003072801
   X-WSS-ID: 133BB7BA16891532-01-01
   Content-Type: text/plain;
    charset=iso-8859-1
   X-MIME-Autoconverted: from quoted-printable to 8bit by timon.amd.com id 
h6SIICi14874

   Greetings!  Sorry its been awhile getting back to this.  I'd like to
   resolve if possible.

   "Matt Kaufmann" <address@hidden> writes:

   > Hi, Camm and Vadim --
   > 
   > OK, I've re-run the test with SYSTEM:*LISP-MAXPAGES* = 131,072.  The time 
was
   > 
   > 5247.980u 19.580s 1:30:59.24 96.4% 0+0k 0+0io 5383pf+0w
   > 
   > as compared to the almost 3X faster Allegro dynamic runtime result of:
   > 
   >   real    32m40.528s
   >   user    32m21.530s
   >   sys     0m10.140s
   > 
   > What I don't understand, though, is that (si::gbc-time) returns 722440 at 
the
   > end of the run, and since Internal-time-units-per-second = 100, I would 
think
   > that this is 7224 seconds, which is more than the total run time!
   > 
   > I noticed that instead of 5414 occurrences of the string "[SGC" in the run
   > there are now only 1585.  So, that's progress.
   > 

   Matt, I assume this is linux.  Please let me know if otherwise.  There
   is a 100 millisecond granulatiry to the gbc-time statistic currently,
   which is not present (microsecond granularity) with
   (get-internal-real-time).  I can suggest a patch to try out if you'd
   like.  We should fix this in any case.  If I'm right, the fact that
   your gbc time exceeded the total likely indicates many small gbc
   calls.  Please let me know if this is consistent with what you are
   seeing. 

   At worst, the granularity could account for a factor of 2, which means
   that still at least over 60% of your run is spent in gbc.  I'd like to
   see some of the individual SGC messages -- my guess is that the cons
   GBC is the killer.

   Take care,


   > Anyhow, here is the input file (which processes proprietary files that I 
can't
   > include, but shows some settings).  After that are excerpts from the log.
   > 
   > ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
   > 
   > (value :q) ; exit ACL2 loop
   > 
   > (room t)
   > 
   > ; Allocate extra room.
   > (sloop::sloop for (type . n) in
   >               '((hole . 500)   ; unchanged
   >                 (relocatable . 750) ; was 500
   >                 (cons . 60000) ; was 2917
   >                 (fixnum . 250) ; was 100
   >                 (bignum . 400) ; unchanged
   >                 (symbol . 900) ; was 400
   >                 (array . 40)   ; was unassigned
   >                 (string . 2000); was 200
   >                 (sfun . 60)    ; was 40
   >                 )
   >               when n
   >               do
   >               (cond
   >                ((eq type 'HOLE)
   >                 (si::set-hole-size n))
   >                ((eq type 'RELOCATABLE)
   >                 (si::allocate-relocatable-pages n))
   >                (t (si::allocate type n t))))
   > 
   > (room t)
   > 
   > (si::gbc-time 0)
   > 
   > (format t "*** Internal time: ~s~%" (get-internal-run-time))
   > 
   > (format t "*** Internal-time-units-per-second: ~s~%" 
internal-time-units-per-second)
   > 
   > (lp) ; enter ACL2 read-eval-print loop
   > 
   > (ld "pkgs.lisp") ; some constant and package definitions
   > 
   > (certify-book "model-eq" ?) ; the main test
   > 
   > (value :q) ; exit ACL2 loop
   > 
   > (format t "*** Internal time: ~s~%" (get-internal-run-time))
   > 
   > (si::gbc-time)
   > 
   > (room t)
   > 
   > ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
   > 
   > Here are relevant excerpts from the log file, annotated with comments.
   > 
   > ;;; Room before allocations.
   > 
   > 2917/2917 82.5%CONS RATIO LONG-FLOAT COMPLEX STRUCTURE
   >  100/100   18.3%    FIXNUM SHORT-FLOAT CHARACTER RANDOM-STATE READTABLE NIL
   >  400/400   35.2%    SYMBOL STREAM
   >    1/2     37.2%    PACKAGE
   >    5/38    14.0%    ARRAY HASH-TABLE VECTOR BIT-VECTOR PATHNAME CCLOSURE 
FAT-STRING
   >  200/200   46.4%    STRING
   >  400/400    1.8%    CFUN BIGNUM
   >   40/40    56.7%    SFUN GFUN CFDATA SPICE NIL
   > 
   >    1/100            contiguous (1 blocks)
   >      857            hole
   >      500    0.1%    relocatable
   > 
   >  4063 pages for cells
   >  5421 total pages
   > 119225 pages available
   >  6426 pages in heap but not gc'd + pages needed for gc marking
   > 131072 maximum pages
   > 
   > ;;; Room after allocations, but before run:
   > 
   > 60000/60000 95.1%CONS RATIO LONG-FLOAT COMPLEX STRUCTURE
   >  250/250    7.3%    FIXNUM SHORT-FLOAT CHARACTER RANDOM-STATE READTABLE NIL
   >  900/900   15.6%    SYMBOL STREAM
   >    1/2     37.2%    PACKAGE
   >   40/40     1.5%    ARRAY HASH-TABLE VECTOR BIT-VECTOR PATHNAME CCLOSURE 
FAT-STRING
   > 2000/2000   4.6%    STRING
   >  400/400    1.8%    CFUN BIGNUM
   >   60/60    37.8%    SFUN GFUN CFDATA SPICE NIL
   > 
   >    1/100          3 contiguous (1 blocks)
   >      480            hole
   >      750    0.0%  3 relocatable
   > 
   > 63651 pages for cells
   > 64882 total pages
   > 59137 pages available
   >  7053 pages in heap but not gc'd + pages needed for gc marking
   > 131072 maximum pages
   > 
   > ;;; (si::gbc-time 0)
   > 0
   > 
   > *** Internal time: 643
   > 
   > *** Internal-time-units-per-second: 100
   > 
   > *** Internal time: 524794
   > 
   > ;;; (si::gbc-time)
   > 722440
   > 
   > ;;; Room after the run:
   > 
   > 77000/77000 99.9%213CONS RATIO LONG-FLOAT COMPLEX STRUCTURE
   >  250/250   64.2% 72 FIXNUM SHORT-FLOAT CHARACTER RANDOM-STATE READTABLE NIL
   >  900/900   88.3%    SYMBOL STREAM
   >    1/2     64.1%    PACKAGE
   >   40/40     2.3% 60 ARRAY HASH-TABLE VECTOR BIT-VECTOR PATHNAME CCLOSURE 
FAT-STRING
   > 2000/2000  21.9%    STRING
   >  400/400   58.0% 15 CFUN BIGNUM
   >   60/60    69.6%    SFUN GFUN CFDATA SPICE NIL
   > 
   > 6615/7553       1136contiguous (14 blocks)
   >      179            hole
   >      1125  91.2%1136relocatable
   > 
   > 80651 pages for cells
   > 88570 total pages
   > 34773 pages available
   >  7729 pages in heap but not gc'd + pages needed for gc marking
   > 131072 maximum pages
   > 
   > ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
   > 
   > Any suggestions?
   > 
   > Thanks --
   > -- Matt
   >    cc: address@hidden, address@hidden, address@hidden
   >    From: "Camm Maguire" <address@hidden>
   >    Date: 20 Jul 2003 14:13:19 -0400
   >    User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2
   >    X-WSS-ID: 1304045F9912856-01-01
   >    Content-Type: text/plain;
   >     charset=iso-8859-1
   >    X-MIME-Autoconverted: from quoted-printable to 8bit by timon.amd.com id 
h6KIGlN16823
   > 
   >    Hi Matt!  I think Vadim is right.  The exhausted state kicks in by
   >    default if you have less than 10% of the total pages for the type
   >    free.  The percentage can be varied using 'allocate-growth.  I believe
   >    one can also continue from this point using 'allocate, though I don't
   >    yet know the details.  There is also a compile time define
   >    IGNORE_MAX_PAGES which will try to continue as far as possible.  But
   >    the bottom lne is that you need a larger memory image -- your total
   >    pages used are ~>= 90% of the total possible, and this is where the
   >    problems begin.
   > 
   >    Take care,
   > 
   >    "Matt Kaufmann" <address@hidden> writes:
   > 
   >    > Hi --
   >    > 
   >    > I'm at a bit of a loss.  I tried again, this time with more 
allocation done at
   >    > the start based on the result of (room) at the end of the previous 
run.  But
   >    > this time I ran out of cons space:
   >    > 
   >    > Error: The storage for CONS is exhausted.
   >    >        Currently, 52275 pages are allocated.
   >    >        Use ALLOCATE to expand the space.
   >    > 
   >    > Below is the test file that I used, in case this gives you any ideas. 
 (The
   >    > main test is the call (certify-book "model-eq" ?), but I can't 
include input
   >    > file model-eq.lisp.)  Perhaps we have to build with more than 64K 
pages.
   >    > 
   >    > ++++++++++++++++++++++++++++++ test file 
++++++++++++++++++++++++++++++
   >    > 
   >    > (value :q) ; exit ACL2 loop
   >    > 
   >    > (room)
   >    > 
   >    > ; Allocate extra room.
   >    > (sloop::sloop for (type . n) in
   >    >               '((hole . 500)   ; unchanged
   >    >                 (relocatable . 750) ; was 500
   >    >                 (cons . 40000) ; was 2917
   >    >                 (fixnum . 250) ; was 100
   >    >                 (bignum . 400) ; unchanged
   >    >                 (symbol . 900) ; was 400
   >    >                 (array . 40)   ; was unassigned
   >    >                 (string . 1000); was 200
   >    >                 (sfun . 60)    ; was 40
   >    >                 )
   >    >               when n
   >    >               do
   >    >               (cond
   >    >                ((eq type 'HOLE)
   >    >                 (si::set-hole-size n))
   >    >                ((eq type 'RELOCATABLE)
   >    >                 (si::allocate-relocatable-pages n))
   >    >                (t (si::allocate type n t))))
   >    > 
   >    > (room)
   >    > 
   >    > (si::gbc-time 0)
   >    > 
   >    > (format t "*** Internal time: ~s~%" (get-internal-run-time))
   >    > 
   >    > (format t "*** Internal-time-units-per-second: ~s~%" 
internal-time-units-per-second)
   >    > 
   >    > (lp) ; enter ACL2 read-eval-print loop
   >    > 
   >    > (ld "pkgs.lisp") ; some constant and package definitions
   >    > 
   >    > (certify-book "model-eq" ?) ; the main test
   >    > 
   >    > (value :q) ; exit ACL2 loop
   >    > 
   >    > (format t "*** Internal time: ~s~%" (get-internal-run-time))
   >    > 
   >    > (si::gbc-time)
   >    > 
   >    > (room)
   >    > 
   >    > ++++++++++++++++++++++++++++++ end of test file 
++++++++++++++++++++++++++++++
   >    > 
   >    > --  Matt
   >    >    Date: Sat, 19 Jul 2003 21:18:45 +0300
   >    >    From: "Vadim V. Zhytnikov" <address@hidden>
   >    >    User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; ru-RU; rv:1.4)
   >    >     Gecko/20030630
   >    >    X-Accept-Language: ru-ru, ru
   >    >    cc: address@hidden
   >    >    X-MIME-Autoconverted: from 8bit to quoted-printable by 
amdext.amd.com id
   >    >     h6JHJ1bk029276
   >    >    X-WSS-ID: 1307A21C5363219-01-01
   >    >    Content-Type: text/plain;
   >    >     charset=koi8-r;
   >    >     format=flowed
   >    >    X-MIME-Autoconverted: from quoted-printable to 8bit by 
timon.amd.com id h6JHMJm22449
   >    > 
   >    >    Matt Kaufmann ÐÉÛÅÔ:
   >    > 
   >    >    > Hi --
   >    >    > 
   >    >    > Sorry I couldn't reply soon (I just returned from vacation).
   >    >    > 
   >    >    > I'm also really sorry to say that I can't provide the test 
example, since it's
   >    >    > derived directly from AMD design data and I think it would take 
considerable
   >    >    > effort to "sanitize" it, if that's even possible.  But below are 
some details
   >    >    > from the run, and if someone cares to suggest some allocate 
settings then I'd
   >    >    > be happy to re-run.  Anyhow, here's some info that may halp.
   >    >    > 
   >    >    > Here I'm focusing on one run from a suite of runs.  The timing 
was as follows:
   >    >    > 
   >    >    > ACL2 built on GCL:
   >    >    > real     93m14.066s
   >    >    > user     92m47.830s
   >    >    > sys      0m16.260s
   >    >    > 
   >    >    > ACL2 built on Allegro CL dynamic runtime:
   >    >    > real     32m40.528s
   >    >    > user     32m21.530s
   >    >    > sys      0m10.140s
   >    >    > 
   >    >    > I built ACL2 by starting with modest allocations and causing 
growth to occur
   >    >    > slowly (details upon request).   Here is the room available when 
I first
   >    >    > started up ACL2.
   >    >    > 
   >    >    >   ACL2>(room)
   >    >    >   2917/2917 82.0%CONS RATIO LONG-FLOAT COMPLEX STRUCTURE
   >    >    >    100/100   18.4%    FIXNUM SHORT-FLOAT CHARACTER RANDOM-STATE 
READTABLE NIL
   >    >    >    400/400   35.2%    SYMBOL STREAM
   >    >    >      1/2     37.2%    PACKAGE
   >    >    >      5/38    13.8%    ARRAY HASH-TABLE VECTOR BIT-VECTOR 
PATHNAME CCLOSURE FAT-STRING
   >    >    >    200/200   46.4%    STRING
   >    >    >    400/400    1.8%    CFUN BIGNUM
   >    >    >     40/40    56.7%    SFUN GFUN CFDATA SPICE NIL
   >    >    > 
   >    >    >      1/100            contiguous (1 blocks)
   >    >    >        1000           hole
   >    >    >        500    0.1%    relocatable
   >    >    > 
   >    >    >    4063 pages for cells
   >    >    >    5564 total pages
   >    >    >   55769 pages available
   >    >    >    4203 pages in heap but not gc'd + pages needed for gc marking
   >    >    >   65536 maximum pages
   >    >    > 
   >    >    >   ACL2>
   >    >    > 
   >    >    > At the end of the run, (room) gave the following.
   >    >    > 
   >    >    >   ACL2>(room)
   >    >    >   50251/51062 98.9%350CONS RATIO LONG-FLOAT COMPLEX STRUCTURE
   >    >    >    245/225   62.6% 77 FIXNUM SHORT-FLOAT CHARACTER RANDOM-STATE 
READTABLE NIL
   >    >    >    790/900   99.3%  2 SYMBOL STREAM
   >    >    >      1/2     64.1%    PACKAGE
   >    >    >     29/38     3.2%    ARRAY HASH-TABLE VECTOR BIT-VECTOR 
PATHNAME CCLOSURE FAT-STRING
   >    >    >    450/450   97.4%3916STRING
   >    >    >    400/400   74.9%  9 CFUN BIGNUM
   >    >    >     43/60    97.1%  1 SFUN GFUN CFDATA SPICE NIL
   >    >    > 
   >    >    >   6414/6553       669 contiguous (17 blocks)
   >    >    >        382            hole
   >    >    >        750   68.2%669 relocatable
   >    >    > 
   >    >    >   52209 pages for cells
   >    >    >   59755 total pages
   >    >    >     710 pages available
   >    >    >    5071 pages in heap but not gc'd + pages needed for gc marking
   >    >    >   65536 maximum pages
   >    >    > 
   >    >    >   ACL2>
   >    >    > 
   >    >    > I particularly noticed a lot of string GCs, such as:
   >    >    > 
   >    >    > [SGC for 93 STRING pages..(11793 writable)..(T=14).GC finished]
   >    >    > 
   >    >    > Here are total counts of gc messages.
   >    >    > 
   >    >    > [SGC for ... CONS pages]:              350
   >    >    > [SGC for ... STRING pages]:           3916
   >    >    > [SGC for ... FIXNUM pages]:             77
   >    >    > [SGC for ... SYMBOL pages]:              2
   >    >    > [SGC for ... CFUN pages]:                9
   >    >    > [SGC for ... SFUN pages]:                1
   >    >    > [SGC for 0 CONTIGUOUS-BLOCKS pages]:    12
   >    >    > [SGC for 0 RELOCATABLE-BLOCKS pages]:  553
   >    >    > 
   >    >    > I can send you all 4920 lines of SGC messages if you like.  I 
also got this count:
   >    >    > 
   >    >    > [GC for ... RELOCATABLE-BLOCKS pages]: 116
   >    >    > 
   >    > 
   >    >    Try to call
   >    >       (si::gbc-time 0)
   >    >    before starting ACL2 test. This function activates
   >    >    internal GC timing counter.  Finally (si::gbc-time) will
   >    >    give total time spent by GCL in GC (the sum of T=... in GC 
messages)
   >    >    in some internal units (1/100 of second as far as I recall).
   >    >    I'm perfectly sure that from 60% to 90% of total time
   >    >    is wasted in the GC.  If you increase preallocated space
   >    >    (especially for storage types which cause more frequent GC)
   >    >    then total GC time should go down significantly keeping
   >    >       (net time) = (total time) - (total GC time)
   >    >    approximately constant.
   >    > 
   >    >    -- 
   >    >        Vadim V. Zhytnikov
   >    > 
   >    >         <address@hidden>
   >    >        <address@hidden>
   >    > 
   >    > 
   >    > 
   >    > _______________________________________________
   >    > Gcl-devel mailing list
   >    > address@hidden
   >    > http://mail.gnu.org/mailman/listinfo/gcl-devel
   >    > 
   >    > 
   >    > 
   > 
   >    -- 
   >    Camm Maguire                                            address@hidden
   >    
==========================================================================
   >    "The earth is but one country, and mankind its citizens."  --  
Baha'u'llah
   > 
   > 
   > 
   > _______________________________________________
   > Gcl-devel mailing list
   > address@hidden
   > http://mail.gnu.org/mailman/listinfo/gcl-devel
   > 
   > 
   > 

   -- 
   Camm Maguire                                         address@hidden
   ==========================================================================
   "The earth is but one country, and mankind its citizens."  --  Baha'u'llah






reply via email to

[Prev in Thread] Current Thread [Next in Thread]