~L ACL2-PC_colon__colon_CHANGE-GOAL.html un0#*@j¶+j",ՖRV&o;r̡oq,0qߠH#SM)~M2ŋ|W
Vha# kÃ_}s/hǽYz]Wt4:)D*wQNpxbR d#tm-FbL(Gb6==V ^L ^-ǟ/uW|(sey1T`Ӄ(JՈׇ~!n?JB4uZy9j:38Fp7
(PAAc%^MSg4ZAB!Yk`aCK/4@V-Uc0(T۲TkUI1[媯LiPabt4Dv{ʉ
LV+BՑpuiҚd}5=
ޡڋ=gDU!5ɶ"+ddUCt4k?ЋD9EM=Ln\f)@yMG| _Z