SQLite format 3@  .K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  X X%!p4T\ ]/ HOL-Import:threads=4elapsed=1.537cpu=2.556gc=0.0007zXZִF! ]ŗXiɟ{U%BH+@-TĐp &08;5>ك'FIPv"z+k(V$"gYZ7zXZִF! (]ŗXi%TY^ioP\-%hLKH\C2g kٰ{D~E:o0bfpTpv9XZ)AXWjmb7|:׷ Ո_s )@%;@MŅwSpj @]˿Bk *"IL2qnK^)Q ,99x;;!2{:$?ʧ7o;]S6痁E]*eŁ6;^S6AȢ$J>dji-c*GE9Pؚhnәmu/{[vL|&Ô_hDyY-7R!LI2 Ʈ6V jK"@5%rQA! z66K gL{Kig핫8*Y jvsvLXԳ)"Ny=!>8p 5d{pc鬑Zozᮨ \>YTx}߲r2Z`4yQ(7 >b0rg^RbgYZ37db73b07eb07f4e31a383c7422d1470fccb19eea8e09f94ac93c6aba3fe7a329b5bc66cdfb4508b 2a3ae5bcf110c0b224d650e7eeeff12ea38a548b  ! HOL-Import!;!THOL-ImportHOL-Import.Import_SetupPIDE/files~~/src/HOL/Import/Import_Setup.thy ~~/src/HOL/Import/import_data.ML ~~/src/HOL/Import/import_rule.ML;!;-HOL-ImportHOL-Import.Import_SetupPIDE/document_id230V!?C ,HOL-ImportHOL-Import.HOL_Light_Mapsdocument/HOL_Light_Maps.tex7zXZִF! fl]A-MՋhvG"uIBm5syrcvIxs{iB#|jc I%N]:jؐc"bQc{53`{ "UP$ ba7S)_]r2d6]l~xn:B 4)ooVFUcٙy(nC$!?qU`TO/NBRJȥZ˜_3 얢%oRS=Ydzb.6LxE̛ȥ XVc_8 ! 7gv 1*EF_K){&4o&*\T[c|M/ FeRZLA(/FÂ#=6: l]Z :qat9Ֆ>JeWM*' uvO}zy^ D~9ge,j jJOp*MA#22pF05ln AV[S<#R@uoB(={;5yKN\(>,9uF,n)u>|A,ͮU>Dz\uJܒE<- E}%k@I='n7]!\:J#긯e}Gb)v[e,vU+#+, 8Z}T mvB;aRLPسz؈)F;gԭy!DH fmBV=v0ѶiJ R%^FZkЖr!31{d HCP1ngz_/2zr׷kVWw9ޗ DOʍ/d 5ɐP#dlG>=<<3fŴun&.X~UXǬEf zn&J[Df58Ot3&ѻ(NR]#z+t"d:!;GotJxg:Q+{մ`] ex%&}y-sכ)"ST<:?x? ?q@\ 00/wٗvM :x SF"q%;oE]J3:0hmrv;9qko0ÐJЇsAS4t@~9pf@ ,1 oW*/&)z7$z4ۅ=17|z62/&6 /D`JCq]aĆ ehLM <Ҷ1x+HQmeU4$\j+Fӏ\gm sKߗZ8C%r5S~g?t wNQauZ|5yiә!y{ z@8B+=[4 Fs͔J [(`Y(v)dE~\>>D=k"ّGs]Ksd|Nֈ϶ToQhKVłI`mWR:CWY]w!$rk2VJ. B\qtk'"b#PbY|"w ia$92S'0i j]Ihsc#Ҹ@Ss-2iG YzQSE    g g{CvA6!?'HOL-ImportHOL-Import.HOL_Light_MapsPIDE/messages 4!?#HOL-ImportHOL-Import.HOL_Light_MapsPIDE/markup 3!?!HOL-ImportHOL-Import.HOL_Light_MapsPIDE/files 9!?-HOL-ImportHOL-Import.HOL_Light_MapsPIDE/document_id 4!;'HOL-ImportHOL-Import.Import_SetupPIDE/messages2!;#HOL-ImportHOL-Import.Import_SetupPIDE/markup3!;%HOL-ImportHOL-Import.Import_SetupPIDE/markup23!;%HOL-ImportHOL-Import.Import_SetupPIDE/markup11!;!HOL-ImportHOL-Import.Import_SetupPIDE/files7!;-HOL-ImportHOL-Import.Import_SetupPIDE/document_idD!?CHOL-ImportHOL-Import.HOL_Light_Mapsdocument/HOL_Light_Maps.tex?!;? HOL-ImportHOL-Import.Import_Setupdocument/Import_Setup.tex  ,zAa6 c-oPc(t3>}^86 gXeΈ|F(NyXOoYӬ'x]5VԽ8+x3U]mہ-~4G|ez'B{'ۭEYR_sw+X**@D'!=H1[b D.=j|hΖf 1y1 ^ Ɉ7~j$Ƅb:HAP4pYs44t s9Ki.h/8؛ %r)bovBvDDv<=Ա{j .i[aL7_^6[IvsŊP@3,#t~ *YKSm@j6cڵM7WmB &n@/%ծ'O[7i o`-i #ՠ '<̴j$)Ը}.x䢣ѝgg\WuI0n ~^TtKk*r:9PKCQhT\J!-ݑj 0NK~Wo6@(n70Tc"fSi0:K)脭uP|^ۊs " C^GvT93h㗑oeD=R {8h-쀬(p8 7IF&^g 7v vx31و(6iϿOR/O(F Fu4p֑?8*fg~szߟWۙ<-9zΟ+r\h=jĻa46ez H8^|=oH gc|[ "u}P* hxS/0X*7h֏F]J`W+ B~ xel2usЇԽϧIHZ4~܀mMWng v\/d1k>Eu6g?Ψ@ =duXg.LAU@-u1uZ$5Wi[ءm6/82 D %Ga_i.)ø.>\w2]2%SZ+ Z7-6X$oávb< Gŀbü5"BҟF$pYH dU(E-*E=B@ʒZ}TAk2yM%""osk ))fgBҠ9. qIHj|Sr _IWPiS^z8C{|s<,ɜ@!T0/M\lbөL|YK6YdO i'\UnM-'}J5EJ2$ A-X^09/>T#M*]"?8($* UDrk;1֔0疖V ?f- I<;A;/q?+Ў^?u\pC092xJ'ՒwTD_]Ad6j0HڝG aJ[MWk haXDرVH0uqku";M zR2\"5^ZY~OyZZLsvhc,'x}Z`ᴗq -)b IIam/q>ZKϑl HN"mlQ%2qO䩙ȼSN>C~6 ٻUY CPE>Arl27:eWկn)u` TԡG76_mS(|Mqx'?;t*HTm%A:ZkZ JZa-&xvyU NHk0"DS6}ç}Pc/9!1g"]U]rT`. `a .&1~r|;F91efh\fdϴ8DKD>թQzHP8};u}ejZS"DыU5˳Vߊ[͜ b\ipHޔ6txZ,%!yv|9=U;C=e>77ӎBf@Y0ē4 d_<iR7w:'q[UHx Q'NQPv |<ۿ>0<5(~/|LR{A ?Z۠wIw;y6v,sHʌ )掷)C+z[/&9@ѵ^7 Pd. D]jٻdS7NyU Q8Jp 9uơ|9Q=  }\Y~.Z5j7U$=6F"A;o0o߾Dمx^VՀ.}]-)8&Y.FvŘ1fSHYKf:K\w9B6DmkɀcvU " U8/faemp YbEsя0WzLdlv&A^T>mK*g#UuHBf[yf6ُCwT[XiS _о3$rI6m4>iBHYl stn(")v%om n-TsVHJr#nMMQBedXJAa%'@_.ڛE؜/c4gXE:o׻2TbM.igM0ff(WuL8/Beh  rVII'i|?6߭<{YYkT: FJ/$| ,:f3 ۴d$1@ C#%"`c U75^N|8 X0ӏ*6bɂ8(t$fK1EgYZ& Ϫ%}Z V󌗗aomPo+ba:U-.F@.@[Y+P+c-R-)B_Ƞ ԕh\}\"\Qx x Qb>)z_PgYbKP)»:Y/L7PSda=i9D%YԽ8Nmj9gUOU6^lVZ+qs@4- 4ePBXpݣؒkC14,RI҄%8iNK)bš T!BFOSG|p_L#A^g)hFeKêo%2f.j=7O]6Q 4bE" Vdy.vjd;d?3DG9&YO[Ng%aHq'(]g5h-3CH7`{x,b+rm6#/6MFˁlhd0}CHzڵGͶ.$3j zT7'SN'}8Zf^cCH}|gPS#VT[+-_Ut?ڜW%e3lT$,GoE6dvcڂMb$O#ksC n"(~nm)Mݝ(K]-/{(F1+.qBPWÝfZ3;w)xJpzƯ[KGhl" gN5m͵x}N.+B(!zS퇁 zx-r ڒmY-KbqD y-TaB$<%3nx~"v$A썣՗h<-,<PK'4鯋.'e\@ 27tL= 's'fuMULGny+fP)&*(?Y_'%hG#Xe j/I8E5lm!4z2SVv+U^8MC4#Bj $n~%*Uѽ}QǬ.S I賗bEff8džF~bW&obM\)\NH/(Yto^K5bErr\x~\?eҕ̄#R}̼N88bh 2YƑQP}6̗,ª RUrp{n_msZu\ELYG ]\N OfK0]&1(97eat}i72n8&h<{-I~vAハtE ([=Ƴ`V`S-K 5hML\zS_+VRO&-Ĥ#0CnCuղn'kM9* $|{ZH>EQpO"xY/s?l*gU~k؟ ĽeՂ\p'HC mΌCC6?;aeRM3Ȟ4Vu Ţ֠h&y}-^Q`vÞhӕ׵k/$2qxfd&Rle<*-^A0}#uY&"l54^"qXz_X.K(b_|Fd΋ӪI%x؄U<K^-,Ra1˜,? ,C<ߖlw%Nԋ"{WN Qd\KMMq7Yxn I2מhutrtQYSF|+h)6^v"I5Bb},WD| x{!-I/^ v5igR G#v)f\Bt!lsJyY%ޠqj=_/ažF3`..|&[aKĒ3|U; :Uѓ<~޽Kڇcx8 b3<$@i :GuGr!lULWU ٺhH}#Wa= %5W٪ HxGՎE{:s$sCÅ,ڞT!<,+e),RcoONf#,ŗ*8QVw-WێQ :FUH0~ڌRc"dl/SԱ=g4yO^`~H&u6}* `d'ĩ58k^y^ӗ=cL)[Mn㨻:vM7hk%޿zyTZY=U}._QrN; - q-kE"k<uh:7֏-r^+nN3%BS]|rwH]R-^ Y2mvV K|nԛz1ãtϵ҇ 3M$wb&P# eA 7U$4囖'%v_^I'pM݇nӻ+MIM}HE5dbPĿ{:Sao8Ʃe3z: 82[m-)$h$HE1 18Mj0T":TLQtw*Q8n#nTi;jz8QvV߄ ?N}tmCF8AMvw ^PPn)'Ci z$`M h8Ψu@cR 's7p2'zsUz0@fbQ~Qd? vtTD>٣tmC'9M*{* RH+84Zۢ7]_rM} <>G'7xUF\YMMsrO+5ߵeZZ.>%r4 b'w=@kI@oKQcr\=g¿ܚƇHվnlE$*C(ʨ5C)ɠ>MM"/1h hf+ WM4 8d wCa n?;hۯn]&Ь`T`l*0L a 0SD:FB $X8+H1Ҝguz6|՜q]wa+Ѫ}~iYw{G<7j9wM g1*,wTO +E" BѹFY EM +C*t*-?iӛHF8sf;5EO\ȱ}k3v@Hf>)3 >a]۬rWwqHDP(Ƅrv2`6ŧ DZugYZ  j-!;!THOL-ImportHOL-Import.Import_SetupPIDE/files~~/src/HOL/Import/Import_Setup.thy ~~/src/HOL/Import/import_data.ML ~~/src/HOL/Import/import_rule.ML;!;-HOL-ImportHOL-Import.Import_SetupPIDE/document_id230V!?C ,HOL-ImportHOL-Import.HOL_Light_Mapsdocument/HOL_Light_Maps.tex7zXZִF! fl]A-MՋhvG"uIBm5syrcvIxs{iB#|jc I%N]:jؐc"bQc{53`{ "UP$ ba7S)_]r2d6]l~xn:B 4)ooVFUcٙy(nC$!?qU`TO/NBRJȥZ˜_3 얢%oRS=Ydzb.6LxE̛ȥ XVc_8 ! 7gv 1*EF_K){&4o&*\T[c|M/ FeRZLA(/FÂ#=6: l]Z :qat9Ֆ>JeWM*' uvO}zy^ D~9ge,j jJOp*MA#22pF05ln AV[S<#R@uoB(={;5yKN\(>,9uF,n)u>|A,ͮU>Dz\uJܒE<- E}%k@I='n7]!\:J#긯e}Gb)v[e,vU+#+, 8Z}T mvB;aRLPسz؈)F;gԭy!DH fmBV=v0ѶiJ R%^FZkЖr!31{d HCP1ngz_/2zr׷kVWw9ޗ DOʍ/d 5ɐP#dlG>=<<3fŴun&.X~UXǬEf zn&J[Df58Ot3&ѻ(NR]#z+t"d:!;GotJxg:Q+{մ`] ex%&}y-sכ)"ST<:?x? ?q@\ 00/wٗvM :x SF"q%;oE]J3:0hmrv;9qko0ÐJЇsAS4t@~9pf@ ,1 oW*/&)z7$z4ۅ=17|z62/&6 /D`JCq]aĆ ehLM <Ҷ1x+HQmeU4$\j+Fӏ\gm sKߗZ8C%r5S~g?t wNQauZ|5yiә!y{ z@8B+=[4 Fs͔J [(`Y(v)dE~\>>D=k"ّGs]Ksd|Nֈ϶ToQhKVłI`mWR:CWY]w!$rk2VJ. B\qtk'"b#PbY|"w ia$92S'0i j]Ihsc#Ҹ@Ss-2iG YzQSE&\ȐgYZ   U!;% LHOL-ImportHOL-Import.Import_SetupPIDE/markup17zXZִF! `]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ/dV^^֯ Tl`WHG#OmvIٝX(R |D E7ta4LՉIj;Ndv(:bI7dDx(pkY&l;/cB? s\Hq9ig!laW-6 JySx''ܗIpem8gĜ~n t7FN߁sSihuG.A(Ȳb^x8CjĘ9ty& eSa'$;J )T|&{Ń'4Ւ2H%pڛҴ+ʰ*sR X_eNd}iV^6ܧ®s[?(P73\E(;>&n_EW:4sipQ۷%#ӂ<=6fUchG8Pr.+&Z?S`)w jZ@-6Rvu86pC!V7wS] Q@ߝgI*lCAʭUȒDL)ʏm%J ;@b] G}uBOriou*Yr+/l :UHqEHsAq |$ޔD9pQ^>>q=\g+oY| `*lCzpD$M*EΉQ߄;˂e"ZɉPyOKši[0Z2j&X2DٽJ]AH e>Ig]5fػlbd /Ioq(3?s4Lڋh_Hr{gA1X#7/ӷ`My x_y~)h4^3mgEkB"îF>q1ispYsذ2 __u*~oh0)Ds@RWqNwzg1\uո: .P~2ck JT,jx:tߙq qm:={0mAb|۟K0y?ZyRP|x" {P&DO@?&2 -IE'5# C!gn,vREg`7"2l2Ѝt"H֗3dem1*ÆxŊX.2^ҟ u%{`&s_VNUUQ!Yyb?:oM|2$!a1OQ ޖY/UfǞ.hґWV#- Q_3H[qڥwSNc &z̬WmN: T opS2l:0d2(*Iy[ow14cV[VAV'WH@t5Kez^SXu/sV"y!4X~jLy* YXiБԔ-på.eNQߪ0Nu|}A/7`I_|û1VƱ E ؼ5,uF֍NlD@SinÔV(-1v`*rsz fٲ3Yu2YgOOJq*vfo.- u.߬݊fuit}%p27Z< ZyjC'PmTν`0,4d'dn]'i9ՌG|Y. GoSN;dVϰB+l^-H9bblE;olfx}0a|NJYT˭Uh *fD_׷4F&_v09GA@ֺXeƱ.{ʨ BTN#og&5 Ը<;7CbN_/E|tD/QY/qS[aUݷQcg4[†k*5V{S+d4z PGDv?E"ۖY1ӜC ܂}-bL hdXE-ϱʼ[ +oaUkSp \* 'v'iq ]nMۦPJ̞(ỊI(9r5{aZJkK}d JPJf]twfR0T=t7Aw&MM(DY9{CsUe0u  %*-)I_-sτ.Yf>xd>4ݳ@~~u-6P~$7oń9~m!f*/#Ij 2yf?GiY~k@י>Ѓb~SHK3J&ͫ g +dXU\ց)T'p]ZoOī ۏ ;Xѱ -DCɾ{\3"Leo_ua$ \:{$ڇVtUěa36¿fV"/=0 ><$zǣ).Ik#hkFPMl4,x#@d6|{/AJlMJ'J^>PfGSbA%ީ|9h0=m+2 ~Q|֛Oi~n t2Ş}4R,\唓!.ܻ6,H '%v^3XbmrS+Hl^$*]XBD{;a1~ @sͳX1q`զgX^cw?V7pRvÎ'@ZRag-̞I,v2ט$8i)xp:T8P/;P?إMGVme|D_o䐾nUBn`y+pK+#}tWufCVˁ `>>?\*˅S|` F%JGB|Lo$tOl}iQ aºJ2X܍fzB$9!-N'onT@Z3 Tdտ]rb6CzdgJUxx n)lE",+=g϶8Pl,~ ]❾X 8lR̼qXޓDDAK:+nv)1P9*}-.U; xr& 'xAZ(&o ƭ`zuJ$:sh b_}{*0`0]S4yk}_q)HRÏ` -imd6k@ʢukٷ)B>iT]DT i5҇nbSI1d^`L;\|l\LccF Ը[ҿϪdI\Ca>sωQb6\.n<Ë=V`JD9o?}3vٱ'X,AL=v#_մٌFs,fdBzNiǖ!teڅP)Ųi~W`׎6a+?W1&_j(m„G:7}ߟ|4zj1-F[R3Xؙ_BSޖVBH3 ehq;k)uIe{~_g *&rmEV:f9үuQ7F:[-xr9Cbs>&xZugv z_7E'% SxEr閭+wG [W;<`$u&|wơ6U<;ڽ '"on H63;H+%$}u '(c$`%8̥}ij ۞\Xo B؈KH~~ktlkAf8Bk L3Lf/7`Ocq<(R+VRQ> Dm^㦽;W¯ֺt}b.'_oa&'ʌrPt*K #Dw81x;! H:Ȳr/RLESpbfX雃 =v֛M j8v>_YZPfL_;Q˸є11tߟjE4,?XaO-ۤKD?o uz׌ꭷzB#bg#=fȟiNV#|RΦO54P@,Oy"0#k58xbrT:$IRAj녫f ke^2=/4Ġ LgW@8~c:!w0V?`3bxU@[g5Oԭ$6fy5[@ғv|A_ӗ3>ZDb޽U4h'!wv`c s*^sw=3p!Wf귚HA JFyb)6Ky2I;j24õ%0"&TXǕ!aA+?|gc<=uJg PNScX8nO&^]o#%ם5@cƓo+OZCk .8|R@y]N,`|*l/Df M&n\FKrU k6r AG[$´HqӴIbPbw_=E؍u bu@ZP%Oxo?*>h _\ dya~tPՋ1Wo{Z-.ڧ`ye2 !Gr )|xτ)Jk ~G>Zyp$ :b=_Y A o(Vx(Ldapr@5!Ş.H8߸ŸHMXv7NwάCד6\Gت)P*8_82,N*oQbN.ݪSoVb (F`/*&kćT YjE=q##c9$ώ7.l궣Yc90 @ *gi"!&BM?̷yxȋ'DJWQ}812)Bs1F%׷^~nDh+3]Քq*jܺ2 |}m$+$dn!6|Q\(;k] ЭN ݳPI] ]~.YGzBL"Ye5׼b23Ρ-F*bGq$MIzTU=Ks7ZC=K +9t|M+r>~{>+ëj+ǞF^EN&kz1[ْ1(x-hȦOnpԆOu$hg$ !"2Jz .A$\Sm?Ju"v~}%̶P>&啎m(-`G[w1M'{#Yu>` W$h;Ta ȓ|4^Ce@SQq#@ ,\ȭlu+ mvcon{r/xXb]9s.T8c+ב3ؼu J^Üiٰ/t(% LwhRmݜej^C-E8IPo9Ln)ԾY<-"{.#N9ʍ\1cwF< Iyڑ~m6ԃ_m+Q(vRg aDj#~ n %<(@%d(4iڮۦqSi.9JUى̾E,B&;t.5eiSM7GuDYYk蓯عcIqq fR߰,nEy`@I+,;x3x3|3കvvNZ7nobY~5toaZ6~e<wY67_OO@:bb5/ݞ*p-9Jh@v$XgR[` ~ݜ8T>''.t˜G,t*Μcp|p@^s/ Rj]Fװ(#n|(vX6x ٣y`g+f]J(%G&:2Sd\vmyL6Z>&zF3(WE,Y=~;KU8\_܋cl6Ğby@@zqB?RA^\-/(t(OyXˍ:tMe޶KWvCF9YSST  ͗7Ek,YQFo6HTj1 Af92Y[Mvѯ٦PnV˔i\wWnqeWu]IЙ^=rւ Ν wdǺ$:KjW+vH5IIMlK!ר*l_)7CJK{@ 4D=xըwPfa/j#1r fMF'1@j,.~W_'* z `q#2kN ݽt=.]yT[{Ix.ݙ]D.Sp1AG i/"$[~OiI YK'8_&lXlϞǙRq,WS_%qjoK(ZTB{eD̯PsFg(Ծ2?]=4V5T@l l"?B1$LOeh ^Xil *)8/Ժ\p~"բ`".S%CdOUG.U}kEhT^; 7{h{[ӹ bw!ϲ0U/(4`SWE"$6Eч_&h  dYK3 eTf9b'~Y@G4MS_~lj68H2SZӓXv$Xrڸ"~z#{waH?ՉZ|s? 0{:J#IZUgco̺6A]b ݄:WN<d<)\߳ώ@؏ؚF~ljfEJ謑[nL=1כ-Z mռÁ,~q8HWw e~Սlm.#?_BoSW#(⍰ߓ N}|g>L޷6 J|!)MLAS +xc \+WCCT kv#$G` a#׺/MOˉ|QPkƚ|+ShA ,t5l Z9ԽN11J)a}gweߓRQ6T?\+I'ϓ( 0XB#t Z YnQVէEOK` pc֤Yey:%@LeSK,`;R.@KbdJI~f]P"3E~Eo1MYMNxЍs`̬3i?w2LcbLP꒜r?6x[^hęOFXx!S)g8;ŋn:77I:yHΏW~a1*`Z;AqQ3ٔ^!a"&!(`(W3#aN)n58^UFKXgEkaFo%350 #fo⌷X[n*Io8 V~:o.Z1@|lƟ!2#`;[UNӆV:Q heE ʝ#wY')rVMViuc* /jN_b0`9X &ٙƍTy5(R H_ԂB gK*˻?Rfw{ '.7M7N֘=Pukpyrv4gIX3%k#GO_زĖWqeVwZ 1 ƹjEyt,-PvU75EY,T7%0&6B835_嚯eئp_83U{S K~5^I^v)ؿݼzdBy'8 TKV$fQ(h3Oh#]qPn^6%HB+)Vľ(c3ȉ $|lnjoaeSB/tB+H-95$Aj0皂FY]ΛW-&@֘;rd/7ӔIXtc>kA i2ʂ|LL6; z#7NDc&aR"q[o[gʻKm)㌶d|VX(5r1jX?W%Ȏ `3?dph!kA,`A  }2wiǶ,$RI ]bpXa\lZV wp3uSxו_a: X]t #حq)v5n#DiK*  bcq,`6[T HChŃ0OD~ G浌a,ӪWPI2Qf/:{i^L7͐Ki#(S!뚖JB^S-_]gkN͇Lsz}*N̎ڦٺ-)e[ɥ$& *QZHh k*),SGYߤ?RR &@Psؐvm*q'}9i-dd EJI!S/z|W;|g{aî9TvOvɣP;ȮI^qs'_Qo;]xŐ$ԧQJu5"-+IqTL>#16} @-Cd67@𦜋/W7֛uʥ 22ki'.A3BH~֍&F1P'&FwmgԖP[*݄gHM٣0ɵ\tH.u}hj~<-0myg֫@iƞeek|w$(_c,JQZ65oyJVJjONyzzSʹsSY`2cvgDj,̆68) ӎ}~:bmÒ7]<@ 9$[nx!0pwcIyUkAھu4$vJX'~c D\~J 85ƛMQJ+ؑ`= t< zT*1xw_Tꤾ՜c/:dY΃XDN=s^!X *S n nѿnؔdS@a߭NR=@l4493nODhADcf E>+/@n_}e]#EڔEg>@e,݄; }?/9 + +PQK6;8>?I£옶v|oezF؝S7MP<_NWX4pdӊn׋h SU b3xv@/ lܢd)2C 9Mkdhҹ:QDtH'n\<q.1frc?_,~ C d⾼g]Y)Xց[d?jd4b9‘Lf[ 'L)9?f#u%k $[pV}7DU+uc4+AvUqcDئ QM,5 50cM8_˔s!1GtkY1&gǩ@LX;sPŃc`AK \$55B_tj 2GLNj)XW?oX,.Jv\N鞯@e N\^zGjZSv,v<`{}[n2@AǙA"&wùKR([Y+MB(`.l.nk8/O xkru#of0I [.Ϥ K]x%/q[謞$:O֮D1#~ O6ko6F9{E ) ?S`(1cci]v54"|iVOL HV1R0/L[0o{<ҖgנqN/M~`EZpt1۝GnNw>1~e@ +k=܇8'ӪWAN϶N?QFfyz^ZtS7Jʇp>7/0Gܹ\;N]$Yv;NQwKUwD MdI(2=A^*1N!U=;Jo&rG~7Hy74@኏!QJ9sGm,FU$b8y l $7x}߿{5 'dWBKQu"^tͰffG6^va4>٢D+QPB{`|C|W睷]:/KxP'uPhOfw_́ep`r#VFyCu7#`,)[v镽}ov=ޕ9Q&4C 8 Z؃ΙW`÷(+m) E`1S !27R4(j:u{C(HDV :L 1TR&t7Fdptqiϐ\2!_tR̒I\Tٚ `vJ%0mO!;+fnn`Ro9tSf.^k*s/8؀.{Ž=b@b AKU%*dmVF^HL^'!b]uؽQQu$~xTnx [h%vzb$v U_QxPnՄ:O}}nG.2F҇}3ƀ*Z8N~N-]$}V،YP!S,f%5qiqYOfDgA&hR"Ȁw'+VfE ݜ'1-am?J+1y)0>Ѽ5F>T%[{HqQo mc@fI_D1brC%BGwo9վYtBxoTTM ]*^y+W@dzo\0H|(B#kۉoxlƙtjOxgB-OjS ;K}xXnSXqг<r{^kC.?_@w q,22u;IS)mD4Q 6Pc"RPwgn,/yka\a9~b;>'FͤX[z}Y|h_"\5.l98A-0K  3]kb847:m~n.e8 蹾ڿ{T7$4KmR"!cY9'٩PvɐѠ Tef1R+MDeCh3hi ʉ=c<ԐnDD?tPQFǦ剮t?3ޯ =q̙7TKl=UΘ)/.gBd]* 3CTzKp15u9W M5AeJ=>6 ap%gvG*4˭>(Zy;\Зj_Bˮi=cLv*>>|Iʃ4XknJ}]=< 0$ҞN d]Xnz}WV!xf K~bQXljKX rV]_{*u~(@82Tz6>.(&V7'Iv3@_vepSzߧ*OhNQ7Y$G $yLˬ|x_48fm'w= }4׼DMV8+ WR? O}ୌ~Ww#!u7 :_UE1twOѽ%Qiy Y>Z$^bA CvL"'y%cfZ3ÁVHhc_n18A2o x?@5nQ|z[R~xϻF~IB,.]`bNE;j:؎#4v2#JO&Ab@:~?Z4pSGF<]6fë/J")58Pc&k JXYPuxy-|>}fړD%xu򆨛MhtZ=_uR0DoE z/DΚ~%5QzA)KO0%qWTa#W_b`r +@<E1A7ΰDOӯm]FfweuL5uK 4ߨADqak0'eX5eQU)]kI26ϹEs ۠o,3.xѼ,ޗšu݆P)uFS¡oy I|CUcPV䮜ƘSyj30l*n:+)s'VGR[9}ڻNGNe]Tu10xL ohT R_OVs(  \(,seT[$a4Eiy䀛hu0-S!%H`Z(7ePX#JVOqjnU{!_MW }^_A nL6|WBlFe&! =X)%q5HQoiyJc(42U#|%{tC ? Tm3WmC1e*IP?JGvԥ)$U'S+}@#t^mMǢ:mz8^& :l2UcP86; *ų:{Èg!r aʔ$y9{tF/Ca6OOy/3S8150J4SZo))ZY!)Wj,UavKYκ !?5;ȳ.pnX]B925 DzԈd?/xhhn YY ExǘWa3w8U;b^OlVKYq?< K Cj8YNih(Emׇ|^5.]!ө5KcRl!]g1d{;l_Ѯ|^&fU:s$tFC~dC0LS=4 Dӳsң1KS)ݰع-ö蒣7!LIS <.!`Jv !*[k~ǖ_ R /!4vTʹ.9r%M6 W,uUDs1HڙO&V 3h1?&ή!إțK?`t1.ne|Qce tB)(=)~W׿>Ě׎UC,yKt dy5y5&'D 4IbbyۿPR*hN9CCl'A1؄m#5F2:YuI?j*뗙F I<J=kN w(1\H.68EYI;;Vh?V-H- F-f  tuk0B_@kbqA %:%ȧFgNٸ=Aӧ >kz:GP˥,}!*Dw$;ͲYZ!DiRbz|= +vE" B%g]QBwt$*Zգ0EθYKp# :GkB:Ж!f;d=![Abz12%p7uUfN5DܭXI.j&&hq@HhnPloK@RcVqH(ɓbF"twYUбM66xp2\jIG4r 0l^A kj=]s "0=֟Y>:;z"M_vTgr(OyO4UvCgv<{=cpe{eĴY 9$Iw+’{]:J)qҥ,I22U:˚y--+:e HNN_]0]1WJ26DxS l yV*WHhσ(̬Y;g$~8j8: 7$ZӨ?>c46<"pK&Fg x }CWNR~Vz;bD ûUK9_0)w+itC(Yi!(bg0̼3K$9U7L(zX0ēI_qvm ߇e!` p@ Ꭾ fQbך>%nz-bYRrfzf.oۊwkoZmuwZ{co6 Ɇ'>bʼg!S+0hɮmZl`hs[.$Q<"Z5:Mw9'yA:}T;k+/8$Aup I0lײd`4H%%>mxs/]ٟP\H$3g$)Yt]I-8҇mR 9nx|Hc xc h4*@]Y^ -) wtp$gf2%' 2a9 éuV37`qoF{" (PiSz{~ zP1sh;ƻ}m=l(vz~r.쪏sEJuڜ? .cXAa.Nٹ^oe +=mȓ!r^6┤hwNgsLkUfr(ܷixGW+*;o|xE:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉxmdy:1 kwiBpj5mW ; 9^*PӠ/;a& Sg]ծE`,+(\SB\ gO%)p(棷 '+a}ﺦNOQM jU0 FmAtѷ/'!0X5`8Ԡ H3k;}c\> G#+ID܂dGpL`5yK1Vʠ;XDU9CIY sa 9Z,UI=I=s#T}aE =/z]=лu 0&=Q9T.zR5c*?@e}):$]CI1?9ƝKkYϡV_ x,V3A=w0&}~n+,Q(nk:@>׼'@7F#Qw\T q:6H*Pd7EJ Q"٢ktuk%O AՃ->,HS{V֨w ?`=HqQI|A' @;%]V#ˎb4S;ꓚ@܄nzM -S_qHawY.vđ[8ȤIUT6i8cS^$O s:nҧwo`ͧ=%u .wZ6:.<> ',.5s>Z=hK?i∠GwasI9Oêg?b8.KSJ]Sx|Mz`Sfe V [B&}8 Ꙣ]X6pGJUb}Vh Ɇ_;x/4L4RE ?O( $aowsu>;f=lO^ӎXx"oyW _۲DQ=*EDlgKe*\sE6+ocVD)s-b]e#t```9#ٷ}E6x+RBó JF𮥔3$m;0?/ ROk!Ɠz$8zn!9Q #1 =Od Cڹw__ԙq#2oǥ;&'e͏ w>`Q믆M ߇8NmJ 0 Ơ${F LB&Α\{u;icVɃ`gֻQa2h+ j- -TfYz;(BDHulٱ|}`g-kGlf*i gǥݪc'G="~.h *q~ܴq,\6 cp(3I;&U]{״4!_5.PЧ8/%OP%{תĖxDJdAN]ѨۗۗĴaX mp:K%rvYl=dfrR>$u)g$W\9?s^G  1A *Lb>lX%p"KhoӬ-9f.zNb (uU:tVt7fs",{Crb GW\Q)oSԙNhlVQ1,(*㚢[|.J <LVڸ"Ѣ#%*cloЗDl Bݝ28,K#ŀ%%j?# ,[i?t<$S$2ͻԫi`($וqɨG=ևYZ=݅`9(&]+'>C)Sll" ]s2ʰ5}IHE=u2/aBc~ (Kn)LTVL%TuI!\8IU0fya XRM,͙\Zc?fTj!c9 85hD\)" u|w#\7(<pCUz跦4is\ByN{{FA`{N!@[}:^ZHkB&BJ`?w/(K_[vM~kK__6"jSKף5 $@C'l.8/vU_8@@^ p 5Z&\s%o섳٪i޹b`WZ a2U#Wpw$`yw9RǺ&8ZyKwx] 4H|smóg`\ >" KߴxkE8Զ6덏/Ņ'GDƌdG - '缣gqN] lr-(>Wc2*HVi4IXAJek3s&d͌dXEQLq2O NʵL6Y8"y2)Qe={$Ka0kSvYyszA^Ls|#݌ޚQs G'SVw%r 6I%^y@m1.}ߎm~Oï%syBIg x|;@)M HjNl oULkg}!Cq/OSLBO>8wG\4h[rU=g^-+?wP]uzWN]/(pړ, P~Xt6n,?!71r*8jNEIb؏[$b qHY7,`mKu݅^9neg\;CTW l'*IV]UئD=u.&SCZ@oO0:?yK[[rD\ۧKe.YZrPbbG3SqH9sW e{7[^Y4Sv pȀFٲѝqGrSJ g#Pl;,b@S);WiY~_߈U@I )Ds&~orÄ,OM+l7ųE,Xmj27odV=y _ (*W> $ȴa z%.J1IT "ù0 )kHǿ݆ZI ,8"sA#l[e%}qjv̍>MA[54:Ȁ5'!ᐦ5,1xc1w])U H[0Κ#.ٚ>9|`ؐ~R"򃮳o+Yt n}Q/)S߅|!eG2/q==$o+ Y(ݩ B- ';<^Ɓi{W]3ٰOfӞ W IWX !?!THOL-ImportHOL-Import.HOL_Light_MapsPIDE/files~~/src/HOL/Import/HOL_Light_Maps.thy= !?-HOL-ImportHOL-Import.HOL_Light_MapsPIDE/document_id232V!;' LHOL-ImportHOL-Import.Import_SetupPIDE/messages7zXZִF! 6]Άxʆ5.f-9 rq9mi#0mPSH,^s;8 9Ut>6Xr:1U\[Iy&۫Kɂ;(&gF) }G!Cd P\u^b) Ant480 \EEӶm gYZ4!;# HOL-ImportHOL-Import.Import_SetupPIDE/markup7zXZִF! ?~@] !M젗OFK?{kN{Z1WpQ6dw3*~i\}WwT ' .kj^4F%CֱA-i!Ic|}2hvBqosPe"ߚ[tv_]2Ԑk@9xS8+z>M@t/T ے,=ʐq.(V]^BXK-5"z[BЈQ@6 ܙ 9Ss1x3}@=9{ZcK*,g H?2hOrQ0M;@D ")HqsΓi1V @T}(I\h{7̽N)]~ %".tA .A|5ZQՀ nY*=X(`ۂGÅ$1 3M{2h^"Ff}|p_QgOSú3pC>)st\+2 2١qݲNN͕Pq-rLe_~vYtD暹nT:03 #*/x H_Lr;/?sr|2?AW*q@pZ 6rh:gBm*ʝN[#8.LZd3Br1'_Z!Zـ9#wN$FCpC8̕BpkWwH1sL"4rn4$K*L-&{W<b<ho'0|;f;GȘ gғsV8K_&etk3;ֿëկgxAdP|T ˆ`迖L6;@{{}H]%X1uOaΞK,L,0i&>5s}ؙc CP|WB̯"]֢0%ʄ ɝl, x dF†ʾHk*UtXc5uCQ~4n- ( w0f)&st1ARdU:MHnNn}Z +(9Z OͪX.[ (LNj4j"u@aJ :1,c[|xb m#\Ω/Nyc(3Hf|Kwwg!zZkեC~韋@DO:C  ;l*z˖]sqEs O꟡Z0%LV"?W*ykEkS5uFwhфR=ʬ 5Mh?wQ4̕u+Qn wy: ~LwקAjM^իccZ&K*sty;B60F˾ S:팰 Qt̫@\[pwz;-my^wHLw_`"XL[ +'Jnpq ~#3gYZ$ r\)߼F':hU|9J471F/WW<'bf:Ji^+K5@ \o,e"BJD«OIӁwgӂCxʭAD#L x*VM `gu. N;ͫvLaO"Mͬ>&( #l1.: q*QUI&//5K.i4˚ѲᅠVKRo;AQ&1U[b # ov[T;ckE8xeMPN DR<$腱ո>H +CYX>1x's1a ԥ@Jp8$bpU;ӥY{P9mM )Jdr) OTSkyp˺b-Q/ _lӯ9=n6zM'm9ӡ=3f=i* V+~nH~Pf 'K􋓽I$u@pEf YJD"t4brwFѲto"v΃$bpT{3Tj܊?BCDZ|>y_;r TGx my tNM熪{71 Qߵɺ@~F'O?Av9L+1ͤl8CXϛ!UyH$-eO-a4 tAv%i]>㼘 v>vTQ ?v\"n)fF%pMI9vN-ӡM::-6z >]}`^$ 7JZPˁK4<ıT2iЎ& ߜUvDvxa)%JuV@yUZ'{rTV0T1慄^Ef^"on`n9)6PE:ԭ+FFɫ9dX0Y#&1lH~фG'鞲3 4E=bW$=dxڳp7ңsiw - EsGc٨('|ef[ iC .jRq]*ˎV= 5߭{mv0]{5= [ LK~Ubھ" âH@_*59+.6m03@DQjl2"XSܖWPCQ/$C|CRtqhvD;0V^fk9$(f+JbZALsK ^܄rv&rh/ĭJvc-:XydBRީxLʨ5æfݓڣ9e1{ijWPYֈśb&9 z`KB*z`W>K!秌PJMoƛ[MM_|S\{ά)[<FXE"kiumhkTw̓w> >3ɛd#,:=1myI9^&TI[+1)T'AlyU3GquPg_ocr[BR [Q"A4r u?{8`qD ^ȵ=p!wZ,BQEkVOlPvS]B1ȣ-?%bn>A% )I G0:0?yyo{}qLH Oc'39,h'S`LL.k>Kv+5ƩuonI M6ꍆ'zMAqMcAW&(STt ,؃I,`)EYwyMHqP_+h|ѱl_-oS9uE4Ǻ֧78Hr[7@>6T _sXg^˻p~!;Bgjԕ?,; iI;zj"/cI0<ɸU6)L̝j!']K?>0!4&p>:ҼC|XD49mIΩ\)UWWA1AA) Pj#! z ̣&GC\3(x @jn K/|vs%O:d^L,R9@ 2xtI.!5Ϥ0U ʐ A}~N.Fnb8㡛,b v -}{|3L0DD6UoP @:QZWGF6qn¼T );h<옥wYkS$.Pra=Kњ·(liC ܾ8e_ܟ:E{=S$ _, sd67Gu$rt9m%)dZE ,BQ|GɪKd6Y6S)/p*e31LsQUWgKV=BkǴ45n]JE\W#$KIgF0⯛e98TwOVcsd> Gb횋AZk '@̐T:Z P#爞@4+x% b$+~|۔L7@ȻʓAkE'lS1ZEpT RՐv"zZURr|$_@jmgك[Xij[[E!`oG&Udwm8=1I#L5cԚ d`LLB]4Jf^v! qciݪ !K8#J^UQ_k"?438 =#ie/=pQPx?s/: ; ɣg䛺_KTDQfJvv|t"G.e(-)|84Ddu8'uz4 ߬3`Oϋ\Ƭ6͘NwzjiPS|PqxƢ_tԦܫKF4"=:X:-GRf@E\mց{Op͠wL %YL,{bjmK&w,zm?]X'>%<u$sϴ5^wȄ[i[on4S]OX?WCj[ ӣ10esd_DE& ze:HrJ^_d>mJV8L@\ Gn&h_ GE,_ϥG2kl(gD5Fį(h^L5@Gwv, q ҡArj+j-4FA4UWmAҐp}n3^t+iyO#x[$U~"3=2F SQOyOW(Cjʃ .RQo~Ś-M7^S4WHUN|/b۰b (1/ 2RV wF]fÛO)dѧ1~dUX?p L&J5+^VjCu7cTP'v)5/qC:: +R)G>N+5aGV@5H ~>ϤM;#9bu]m\]4MQ?YE^i~6c;Q Dd>K4xDTYEN".^4ToH:}Cb4FWn:>fEh6Q;K-'蒵FdbvYO)nuv:H' 8QW|eԧb/sUsHA*4i- zqn5yhpZ7b6_?qt˰fz.@I~JC/@6C>ظt1a+̵Njj#F.ExajL$ 93Enf%G6Eh6 Cl.-?A?kKPZ!(%#Na6 Ϙ FfhYb\D8,x{mBtpMFojٟڥV<եL宒.z^5U4i:CIG 7'^vܱH/p 5dL.g2ta xж ץ(k,e^S ~XJ&zE?No tQJ!J`59ċ!~2i9]i "x l@}˥"7DtT WUT+(7eY L S׳U<_,1DXꅀmuiV 46\y[GNAlAX5;NLx}DKs{^%<<8\rˇxmF"--@\BAw7U+Jd"?׉> x@FEuhhA6tJScH}93df?v.eBP[#0 M·jG,PmAJ[?it{l*+W+v/[ ш,sd\HR C:0F\:o㪏. U^ҁTZL2N\d3 b-wE6!h9l\Y=JmlzkNxJm LMhV:YwqyeM.Gn+Yµ^;w9(&^xX B\g ЗGķ&oKw4 ޔJs_`}el΄ri9^ij0Ϭ,S=g2&s'DFiB%{KͬIin`OІ5??D*;:HfmÀP =H~qtݺAw\f,vEesmZ.Kal`3ң$|bBsC BY`60}Ng.3К_7<̵^0rU6[8Oz2h$YHky_}ytGQ]h TE~L,DG׵PjQI-ڬNP_iR"l0ԋH]|Ue( LA*{/P{شn Z*Cyg9&8,^$;%}uiQ@w`I U[Ҏ*'>q SULM"ŧmInIٕZJ-9I < Ly)a&JH%ړC-1WĕyܥiG^@l#`fN#yS3U^G9*:jsW;鉽n 7H }lJ"!%Վ˜Uֈ/c/ ƴfCI\X3~㲅3Z497 ˨Ӻ%݅+7nyUws7 UԮ]|g`:UaAv?,85ƞE]|X ՁIJmkt lqZ1GZes)qrν!l?G\Q\E 1j{2at a{{@\:{t]j0#oX&Ǡn"-'Q&=d 44ؔ:S`+6M!9 8ڐزL)C*BggA^m h3!pZRhM<աS~r[Yxx_Yh ƹҔ{1LH:ckAk`nKd }ܧƚyg;؊,xl͎$X? myFLÓR=(C$b :=gWA\ O6^]ui@zkSўP#jE-(K`xpjjD ~F@ݒkp \>]H>K>ۼ/zɕzFO:PauJFl uuѣqD5ONRTiԋ4sRik8tKe3g[bz#߈'~3A]FZ?sbG_ \0I!Wo=cJ`͞NPb>mXD?"pU<4^ɮ.}]2XJ 5 cFoEZ}L<_׸<}r~:*ܜCX&?ĜQ Sz̾hgjYI\!*h#8炦О,Iѩӫw)PT+2^R妵vˉnvizSRpH*W`w6u6LMk PJ6N0_*usvݍ!eZS-ؽ-.3[{C+new *aYy%׷,wpgEð~X+Otҭӑ뉦= Vy&崯ȫpd TVv;&FX Qduu%~GF_gtt@Eۖk!I!Tid~{S@l&Ȳli.b/s+ex<Ҭہ41(bʭ TSN_ `5R/crt+w͸~~ͲI7%_CfW--Σ *鯠0| .SMN\eƿ!Pi7Ϩ鳂ɷV$|{*%e'uvZ<*ɈB(,1C,O,Őv|yU"ن fͼZd SGS?X7x"l2F0}9 3DRKgeiH* 4^03wΐ]EVҼ($f@z/ #OUCo:N^(YGp]])HB:q7f%uɘ a rNӬlMe?M=Rα[K`>RJD]I4Gw>@q6Np1.*Y~ =H$ICTb W Ez-_{~8pIDt.Ū<]j);Xks'i[oT u%]qg0 Ռ,k$`fKt)AcynA_~z):hK}^n-z#W&ZKd 6yt׳d9E\+=} AWgYbkt(a>7A%K]4NԈR0*Ԗi6W:rW? j}L@xkϡ/vý,x HۅV/:"&bQxRlɍO @%Rۊjq'^P2)a(7yl]^&,zr u M mMUaW u s.3r[[¼G" uo\8֛1:}tQGG S77vfݵk?"%@"{ |&pKp:vLJv'Rv$|r 7 ~3s"#z:Y{$ރ"^Q%ctU<|l-K؟\ab[UI &9:M;N\(qpZ{RoyT9pL:LD^eBtr KE#KH8z9UڭI01 9M X͓܁=Pj[f- }G9iM"ֻU3,xS;z|=5EG0kQSN)2pt|O#Q7S"CRd{bXDUf^_!2mD%tQqie\6ps2@ }^;ּ6V1Jj SOB?u5x@tdF͢|%e$dؗx*Cс4<HV+B6Q!|˘N}')WؙrAay& Dk!3+D[W8McR:?7d=#ɛa @`4nŭcί13)Fn MYݲ֑K:IE'F\ZQYʊ 1r-CKW5隣*31'fr1@Wg.-[PQ#=j1k-١Age+M=F].saSLT1z`8q Cv2)E5"'qBX}Of9q%arfw\$B*3a^R$SKBegVdDr|@:{ f$;$ b/P6rTe<^2q ߒ+d0 rJ±8±={7ՋSd (>?f5n*XZ2{N|#Zop!| xP&|!4nV@jIK>3,rOqjc'P+\Y׃u+gztG 2;3dŲ9#|`kb~p`=&J)ֺ[0YZ+\@X7HDCչ1qn9z#TP732 f \F5@o|o"?zj" Ϧ0 l\}Km.z7:`Øq5`$ 95̾yĀY$! &LT6Q>gG%9ӱ\YE ׫~ᖵE2& Fпz@:xvxfMn??Saۿ˵^X'YxAEVǷғO_Mw1>5Ҭ&+"Xǽ *?4C\pRD>o/ %HDsnS(Sgr*H )SfiF ߓWHKEٍ/s})fJeT O/6YjL iIcI_[~I[unI7JzBnBXxx[y%tiX3 Hm|t6Z~'v[#{Lz[eKlly|& 6 1l=Ҩ88nE,qH@;Rt7#'t,at4 B%p=#N1HZ WvTrTރ3`-X(YjԹɖhpɷd/x!#O9)Hf>9wRG٢ * A}4omg M"Wéx-~ZT5Jcuf+E\-޷%KW:V $ lRGNGы0@?BPwT{̺ޤ%,íW`:$W6A@7&[ciBbR&Db"aaF1 "b7GRB<| +_Q -:-kr,HVgmz7\d(C {S,\B4vdBQ+]yZ_NѴy!Ӆ6L \:7J!w*: :djE]h2Y4cf N*T8FYins7ҷ"-Q ߂Th9ͤ y yk z&ff": y 0.=tTBk})jaj$- 26 ,(Z8Qv4hCupcپ2 eyl%P?A͹ET" 2x&e{Ʊ:k+mz짫 A}.If.*(ñX@E:2G5 WGr3q"Ԍy5*1$-@{])@ u쎄 0?T&A<-G/ _P9%tl5&jqg,e~+ ~,H@n>/s&SڂKxqFIҲ=7&CFr>m* jRaNؗD+}YhPLBG"8 R-i06pM`_;QF2t@nIڨCnbD"<@`?h@Sw([Jw7V7N4'RH:'+\xX~^?B_l6nD9vՔPӨc_ ҕzV30B$[;0S* ?kZE6 ֨GNNwv+]Cp&%bH)cv|~Nȅ"U8KekՖ­}؉B79FolG_S xzy 7_Wq6zakxlŘ*\ﶕ7(ga%x[W ,kث^\:s1ăOU1{$VbZgkKZ +Fx/#elZW{ D $}O&C& KJrPF@*Ym1[a @|T %m6>9MDD_jU3ޓ,FJ3 K% _zRۊyp6*Ǖ P=XBQ:PXSD|J'l^.S63jH8e ~be K ,=U WeewM9g$x|}b&k]mU-%Sy k_"] (ƝJ6]DPuC€Q7^S]}J7UkHbts:?&H[pD:GDbE[f\?XԳxچ_z{S]+=e<"KPxn2L; FnvptW@[`!2i(BPg-e-GK<]Wc.CTxW`UKz[֏bZ]oG@lv?OًXFrϘoq3 xi|E]e1)ɕlh~J1[=CV32Rׂ~$sj*m  U6Y8954VOx , ;椮aF'JI퉴84uȐ3/[cgzlNb ר_L.ğ{;K)@TJ8U#l]>_>0sqn |-A=Vςs6B4~0[i!& QHo.9sR ^k0[mjT8Gm!