SQLite format 3@ %- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 ==3)Dd }/ Timed_Automata:threads=2elapsed=281.024cpu=470.060gc=13.980factor=1.677zXZִF! RY]ŗXf1-/6vR[kQ237d.t\ߺ(NF 5YXq#Zf6VXz_A]S$H'Y''aCi3g:59_1g_z, ѱ0cLGj[Oϥ%Or ^Lo&gN V.St[UБnoyqE=ciI nZ)x:#X*C(R=аqΪ[286o@'+@kU@V%KN)\'2Ik/x4$ND=nzoCP/ ƥDuGTl9s]E8`Y"#,lpU3;r fov?=@,S&\{R5z':4&@! (p,)89|@;hS fXyi ih;`1Hsԕmaw08k>ɷdnUI`Ղ_ybZNmeۯt" 4VGZAVt/_4]Ff[a̿*Y,8)8s|2[zfZyEAO$ru|<#OefT=IZ]~X-\z;ǰFiei#@}&4w~ ulg1ߎxms^btV?qkaFэM}g64]rz]u;e GVeQ.pL"k};B4nÆ/ &pj>`,y5Kc&K=5" ʅTo}$0jPN'Mv[yaU~9?a(KnZn|J,ߢ\ڣ g,s zEuhnҽ}ڠ})M%C[E ;ŻzW#(3N>&bq $=Q.Hmδb8Kd%d!M+gyNEJ =T!M1pc)~cr&)@D:Q?{Z;L%@^洸ߒv /:p((]u2N4F~tcR3Yś+?`HLoCz ĕpg$vQՔ RTTڃf& >#PpDdv!q}q6Q֞Sg9r й Iᅥt>NJQDVtÅoLzGYL?͏݉$NZӚ#e4V[=[4~b` Ǖ|7l)Ljvok(PY'*uk|EWkuO,rK*f4S@W FjES}lxDܭ;>⇹&#?0}MަӋZO/,a9ߕɣ?G8[2NU"@_" 3[}|0i`CXs-K$p֜}G!:!H(FnRNʋ4(MOW7ɯayfKk@S"p\pƿLF&~EZaHÆ^t ma4Cbꅳ Uqtp?a:l'.[/%.kV#Ҹ7b9#wkاOqm 2ݶdҘmQO)KٿwTߓ VUB >L{=1S~I8ܼRBmsLgWL6XU9@뎴Gv ;xu"D / No(1po'lo씓,u/OXO@z2ag #&< aZl 0!`F5]Xĭ0Fjq{%Xj%mj۾7b)ALhG+Âz:;(ѕP[X߄8[TWo.4令?] oMlG Wqa VW_vAAOav'$$Su 6X01NMOr>ZjRTWָ{gif[;/@DM-x))O g6‰򳓡V@TpONaIrda?Ԍ緇&f27 &;dsEf'@6qqFPi-P䢕 (NxFC"sɺQ~86;wݹGQ(ܡ6 SCXU/VR'eva[PrOYf !j$Ĝ-Đx:0__ؑ1@ˋԒf驜x4mrD\JBCֿ\l?וy̗*-'‡N ՛^ =iRQFi$>|Yi3 Q [oCZ4;9殮R+಺翋 !jcc(} $codH4h߄!7ڥV֏'MbC`(D.s.HD")exXtFMx={QI)xafY?.K>D$ l1;?OpoJh ;|ک+˻kW-K=8!i[O)NY;=7^)Ș= gJ)ׂKW"D$=ɭTL1=a;pM]q!) sXccἔ%iuU [jI_ Q>UMt@ݾ1aI;BK绶0WssrPѼK:̸AI>~KqE6%U5ApPM{j69\zS¯qdy[d"ʍb ?ۓs.ׁkq Gd%MɚN.2Ct{/hm-3*Sͺqd#< udl{ rg |n۟%^/33NVU7 R(# /?OʧaH9X &9";tb&$zlosQR2.*DsAA1$JPZkB_!UOI5tP^LVf%B2~2Sv2pTR|/JFcIb$"قmMzB4dlTHiW*v TE~55%selxoZ&ܨdt~;)fh=aN=öR :i-R1o1vnz#4`wĔ((9Ft kC8*m0 AN4_)vAҧ{]Us:'XN3!Oߒ{=^0Bn4!3 9-_3v6)ȒfN4E4,eI_.¢i<*te]Pr{q[8j.VB Zͦ0ymi%I[x™_-0vsȒ4{}тc>6iޫ{(C7z\I`=ӻ:V̀\IA m<1{ȓ ^u9'EWo=pW}9+Bz (0WLff0l-݁eiUG`{-#-7A,<"(꽐z9:AVЉ| W4):h-n"7ZZj@ttrOCM~|hJU`SUhZ{b0Y"SRġl&Hξ2gj+iM7Iı3Rd{%-3ZIYrʮ3NwmD?}p.Zk1*$ %ף}\SF`,z=$|MW //"?}J_{=cbE=*cW5qcij[ 42,=iHQBAurw2&@uDgݔ8۴" /ܨ'RٗvpX~OR8/PG!ON@,۪1rL;Z} 9At ˳_KF lI鐕V `?:{"ɑUl0=`cU(? r$j5o&tH*}d۵ -.Wك6; ͢A)s%MQ~n f_'?_S4J٥Mv>A/@t&-cpƶ<ɳh6Axhe(B~J.чF_pUevř /e%&47 SĹYF ܐJتqLc+\8ܥ(7d_S.ᨢ<˜!yu4HBzCrX(2j{hitl'ɺŻ?7M=|>C ERąF zMo_:(sC/McǺ5Mkd|>,{O"9O0NfSυ4}(bH* CX60TS٣e e͕H&C e >ڗ&U?ׇH(ȐXN5_3FcZwpEʪ̒,F:B^7n:.pNXRGsNG|Ov84 ?h$0U0"LfQر9}2;ǴOFj<&3RD>FW0YH%b]3Eʄ6XtcQHuj:bZ>>hlap#}bhÀKD7l'-.nE p&O$i p%xXdzk=gX~-l٘61xFtzKe+ Ny#42abOi0\@!*3Pj/P3D:H0rRR0S%7OI?͞nE>6K@ۈrƂ O͆@kf,E"%(̄I;D*]f[!+\%wyyfI([_8-l`s-Mf͊٠` % >$m,v2* [mM3 /5Jp;`ω}0 J 31\̾^&S.`|[)^ "mG*z1B "D>8P"fo%ZWeyMx4:^: rF-u5,ekJŇVX -P{+: ՏCY9bKpL褝+.,9Sί!ui$OIUG95m5H>FM"<^җ}{ɘk`,[Z>9/ZqLvfݔݔ.Y'q.VQAIKՄf4.)`SMgJ)sĂ6:RvߨĦS-u1or%mX G=1Vrk c1U.AU%gֵ|..FDԺmч+.s.Mo'h7:XVR`ҏ :5=KvPùKDAR+B(W@Rh}k~EG4AğI:c!Vj&]}ɳNYʆ|k9opN_+q@MX mrP}Hm ƮEgNm,*!BwmA4, ]d sw1*ny]#nYR:^.15ϷT"GTN X*HOAf^`tn1'q+jB'RǾhB1"LJY{ { ,PGQ6j X'P?qc5/`+(-8夎GP!b~>)s*KJx7I[9He7Y k=:sqt@;~p&+G]Y0MD_!DkCqG?u U1ɭA`WUjKl M^7D7$FW{݃lװ?ĺQ3"HgDɳh*uʊ42l V _cfg5⑲Em2[Xeyp^:_`s>v\@} $SMkVpn0ehddu`\DH #JƉߜD4%d?X:t %|%ANFG6w@"7w-=w/q J׍FnOpPG^^7ua]ΕsoYQ[H`242 YӤ_ 1rM͓g; @_>b|"?yǐ5Pt!p{GcZ4! D\F#6K,2- Sʣ/͘o->k4vU/}'_S*Hz x֓7D`gbyAggzNL_ xQ1zʩr]-|?ӧrgIkV@W!rt雡޹뭳4z7T%ޙCY01X45JRT#WcVr=5Nxd#:Y!4G40[xx:X 8fi l+46L v4i.Sw[;I }9xډXF Bڳ:'D4O&O=]VM){!h% ~2d=ٛfpc>?~F݀B *rN߱&G0(l{Gj9|~:E=a(1ZZvԧOf`ETxR~RJ 'R8BpMmlMqʉ=7y%l nѢ3Whq3 MC]>V>'tb=!uLRq6*蟽^#C,GfD|J!}tr>;K. FɏM։߄}#S[.[~Joʓx2߼io//vusp+DŽCk`wSv'w"OD֠-MRŷHRv~WoᝋX .\(:wMc+s5 ,lq":QAr27N^ RΛL?i3R_XX|X5HOl_ھX˃R7$?k2RS&Q1 Wߋn1Yyd@߹f"h ̛9. vn{L ~m۷p[zLb #VԭL>"Q( B`ٖfYOMs0E-Q;iTj"%*c\E3dF5lt3gV=&%tI*ָݜF[g5'1\>;yY& RDZP G14OuvmHܷ7_cN.Uq@vvj`/}⊽F+S7ΪG,TC ֢HxuzB_':-o4e{xq$1[{sVMo@L}rBy9H@4'}~i k Eg40-vM.vf#13KC|fB0pCo|bKB#MX>CDFS_O^SSu~C˨lt]D8G|ΎwD<:a^kHgJú ?X`.R<9{=/WY]efv~8SCՊ X^ 'ۜ$YxIFdcBWF[|Ks&d[hy !ԥ%j>j1#w7#i^7_ZX2Yvvj$՞Z.`je? `^Z~Ű@!O,X~lAȞa>/񴭙9x QG$f 7\s<I3sgtq!@ Q%ޓmym#|;r}W-33% W`L0]&a2Flm(}-<!P.n+!@~PtQ8ι$^[aGڨ0nGsaL8lQHON{}h:j7JSDe''*:u0! `*RoV83oz㨬5 @fzUp `2#H9[ȃfR;)V}R=ق#CJxT<i.1_ʺ{{*k&n|O9s`z.0t3*ȣWT53DZ\2qc( [P%w?Eupi6jpk&;BD 1˰ÛxӍ7\ W;>iW GU3+KR64/-\ECPu # ϐ_\q>J6["KFhЌ"l'rudzh^5P l\sN KǗIfLJoI&eh=8oJldWd@FB+Fw^]"6|o =Dii- $flsL>~g ڨ>p)`ʂ΋O_6lCD -Ām x  3J7hX+o3HzRxPHc'd ?Ű$סr 1&<A'S%<A͖ݞ'fp3XAu?0tR%rVVK{k:Pb1־ bEwye=Pm(PkeKم6,kׄbrռLwZ ˄^ \l.nm(|\iƏ^/&M$?B'xw>'Y -<X hyM;s<ݞKtEX4I`j6&o[&Ѳu@0tθZR\"8e\g+;"W1XD;Ke*U};|XDE0̤]H 0SU6́aѣQUa;V'=K25y# t-u{]@tD&_FXR <+CKgLkͺه:\/63G &\;썟I.< ޷ΤcR)5OarώB؇Lw?^N,b5T!{;&_]6+[M&f[5 2zĚ! eIuAzWALrFT 8Ԁދv0Zp56z0*A$<ϲǷ{~lVy yi XXj+ i̍\-;a1]!  ( zA'@^r821taoFӘu 1"y15:FocUvzYsT47&1o,[Ua`f25o.N_|C?j]u %3O*,WΩm XD ۇN{w'ѧ^'AF똊\{:` 6yR XcrGɈTmo )GV~*DZߟiooȫ>vZiKUU= !s_;9+q(Lrb8z}\~6WY@dE XK/M{Evs {FVsYݯwz%{Ao\Xb>2} u~ﰕ`'i8 (Rz0fh?S/ێf=/ B+' ?;pAsdaݥ޷9Ϟ7ǽ79h|P>y†I/ȭ6OSoZ\gT aD/( ټy pEIEHc"oֵVna)n6CUUu‰otΓ%sه 'vi2pZč"iT=pCYOnꂝ7DT(ׯ}<9,s:GgD)x8~Ka7g 5'^»9Uv_7V2_,,jI:4lQ#7_8w0KT v(^MoW7h, I+I.u3b_<#dyR-2YK.nmG&%aL6tp5;3{+"}`c6 ~'D.]B=u?U1fW2ʳpU}o"L OJVlELõܑo\Uz~3(LQUV7V* `,LWm_t=M:fr2jZ2(|v}02zT?>>7_{+2%b$jh'@VV;+y=Fѕ\aiU%߿XVLcȯ>5/2zxF}ÍY95B:DV_3+G\9SiyAHL"պf)L:,x2W~/@ŕb8hj DҦt,%Er10ZBKcJg$̽N)_#9hX Z]y},/^^fIR8h#&ӽ&GQ.|$Gmw!A2nD4#bxɋصJ[/(xC* {9w7C>MҹrhءG2DO9U^ YBN{@KZ,F#-\"f̩G9C1ȊpRiC8Znm](4@K|C Qhc }(!L}nG/C<ɛMA #\pg._XpAƎĬ۲*Պ7t?gpoᕌvR<;!|=b4aMJ Eqè~|P%͇lnK{ Ͱ|=`+^Аi) rrgƣ+L64T!jCu m!IYekK:x]4Yד<\llX>ci/-!W c",~V# t?_ =]O%-( _ʔ_ c4vՅZgAUlLHD֜$' -yk?{6/*痚qKkS5kFV0JWhHhXk-% NS8&{sQuJޢk4iN~jU|h칁yx1(3ua,RMDB08g0?ZlzԺ1XCr!$kZiHZ<<5GىMIa]&<-|&G:`ȞNrD@=sI0vVτJ}e~\f)]ڛʃW0(qi֫h,ZϚ'+oikEh5/gyv_Hںs$.x5A@ ,cZ2:Dj6k@H$݀st|s1T*.,-EGp (D±.UP}Uq׌Ir ?⻚54J+dn#G)Y@/ƣO92N:pa0a+~UF .ZuDfy>ވ],$ۈel@-{>e9U#Iiq*ӈ?UAXնs*: ʴ` [y#q9k:2T:#ɭHz޾Nxrv{ݦ4CNܨ5SW5y 4 Ig]ACKB)+vtu|z\c |ŽK5{(KRzz{C`!آꖖ)1ݲEە!`N큍$RSUWԠ i|]ZKq)$ {o WFB̎n@ލgiCV)_\=AfU? {*8Ax0VR3X t9FRkg-;t߉)dj!&>&h)s UBTbJ 1]r <#f s;߉6#1{{X"zeMN Wݺ{VF('U/Y2nIgtϧ X{f˸,SG[majJ#~ф$A"25s:fnjJJ I. _b?0B8ZArM8g5GDbؖ1?2hy0 _ `B?{l ]G^Ymd}+h5c!=*C>gdŁ@i&3פ/; lW8*LiD%I9~1uLg'rٓ`}6cF5udmn%dP_2`D͊U砦G4\xJᨕ=iϞP1rNu(Y }&J|%K\&sH#f^Hi8hv12QM&Կ3')̬`YSuv" Q|]^-r'ty6o@F\HbJ]8Px(M'TQ%u بJJ](GUe f'ߐq)l ݧ?}a`݈#%.)2Z[Sm_ɅhA-߲$r|(NhEwO~fjh{$m\WvWO`L-sxVTOqєJ~ ŕQH%jXO+ U#;#l{OuK<*Be<'*`Oԥeu"m+>RXMYLJZێ]6L00ܵhV(s Kulz8s~a{O0f9q{/K7ھg)6Vhn>"xԦX=,g:O}Yn*u- ɬHh*9r&6pxZz#;K„􋍣d{>ʁ-OUq* EH{r>y*KƧ|z憵mW?{ 5:u,[DnzE+Ȧ.@=, i|3||Ns B$_D5ZeJVߓ* aך+f RUxSW۪vLL0P%3u97xϣ~-,{v*DTfCsC]& ՙ%7 ';D=}M)?&UAyQ98AzDJ!FA pZ;B:Rű(%aI+\^h t"dS?m!1c"]GFKВ|,zɻsd`:°qőy ސ0NCg?,5 żNF)ņ6:lhLV )TS4yAex=0a{ 5-gxzR0y2n9sutYGوR 3t4G!m3{\}I碬^U? 9Ny4VcRؐ}@aQ[T7*fOWTTXAzl}:W.d~!C&@z@g3 QqU쁗)q?1k6[$`~\ٙ,kԈς9F2\tk/:L#ʶϸZN\vhq tOmkҖ>Ƒqb%̲ؒxS0[,Ղ!pg1>+55$g))LĻ+딚)L\yl'YNM-ۍ'mN uW|єj^ucm\UnڔҬX4Jnڀ8wz.hVPsjDJRoct`6V +砩޾2O31 k5xwۓ_lj]^;!Dv Q`3rptTm|םTe#: Qw7}uMm|H8Ȟʙ(ɑssD-ZVjfJ' /oB:ubXK,SS֏z~+b#TIu]{i'\qZZ3G@(%SW \L9g^0H!S㎐ o7Mpқ`%:4bwPDMXQ4$ Bh4!nx,1}2~51=!T xJV?̴F#ϨaSQcM^'S]f'&אָۥtot:>v/B5DD;ݏJTվ4a?Oj:fgE0T6Ѡ?ucޕ,I7I< t' 464cRRS}c%alM4| L#-$z-<զ-M4cU~\t.wJ %BG߸g2!؜Vk璙5e T Wxth̦Lߔk'cqXUwk{8ŭ,,58s$IԬ']E=c'HpirtxWg7Q/&`B9]sP pch5c,PvFٲ׳1b1#[>VG` _${L i03,:9Ct ٻ 4:}#4iCFczk3av1 x5s~2ܣ£P@ksWԍ WߡS'[,\wWî JrXTvcI#Љ6!!@̋_R3s~UkN~${S/"¹7^Lcj ?$J,0НQ0Yf;%!*c̸BH>i$*bAthY,acޯDj` z]b~}$#Ϩx]ϝ>79͠^tIT9PL(7ot =h쥂L*4z'Df*ttVgŁ5usn1 Bt)4Zy2 5?ȎNApy}[ 3H2~2ʌT`E<4|7mz+&݃y2N7bN_x48 m7f(+3:R3tZq&֘%E$!czV'Gdx8vBlW@:׫,QB7\=G7%P>A2i#^rB{6z1=89CҮU0e6kK!FLؤno/bazc;vOIZ7 f# ͨTP vGN*Ȍ˺v_ʚ}_` t/r xZ]| Bÿjw' 5""5̳9 cWtQ+AJC_n :jflt2 ꭀoxzfvxeV`~yHzYå`v0>K) #rs #Nǫю&e\5ayO!{oF]f A [gYZ7zXZִF! M4]ŗXi%Uʘ-yˢ؍_Sj.'c{gWbC yl~bZLCg_XC ރ3ho)lbTA`q2-#Lt4QMm4*~<`0;}Xv׭R:pVX˲<ąg)Iũ$ t ҥV;J=1 =A_(jb5I4,,%jQDfjN/F ] ۀg75bҔؐ_Rgs% D4qߋYC~BqhKyEn 'WP^guʆCXW8 4~2"G;3ןlx57r"{ |ݺֆFNS"W?O8+3hc* @IAɠgW3Xꃱ)i{h}|\/ 4覛8`۱G)$DXph41g,^1HĂ9D:nSaE ڼIo҅kPvT7|'0]7!!wGD<_}5m[ {],zy^ e+kRYQ%5PT)FQ7Z_/r[o"Ֆ"8̞ #{'<#j犷`ꧩ{JP6D! cm gz ୨m΀@T 'zӳOĮ]R34@n06*I=鵽}Aޯϥ2UiK*㌉.|dgL2`+Jlz<⊅>msg + @s +) 0z+VMSgo-[kIN@^*romkڽ"b|.,2yD ^{XԚJ(V~ѥ33TY3>1xDR %};L[4(ж2VCxCf@t}ϋ3KSfWF|sh z{4Qts+q:>0iz^㒴uR,c[׹X<әh+\< jQ+Џcfe%e8fxWs"_do2<3]"5Aw>nIov 2[jn̎DԪ Ⱥ5Fð#[^"U筁 d gH4fUݨ2nUF*лegp /=pR`*ſ#h3LB=jXVZt \}d"R(dp屘ɣ^bDo} o݆%A`p@Q2k*&T.iEYo&^䛩iDVZ`{D\6"\EQX;ҒbDʶJ NbxA[ˆ?:# T8`{goXl*{dΌ \jEχN}Z;QeAIf2QR4Q$>@B< $_6UZ k8|pS F| MXP}eI/zâw8f#وvҬ|eKn4OSMWb7zud^Y #Jt_d x^҃ى,Op|n,5 ^r.½"j0IJp7Z(pPi@_˦KdhՃrf f2/:ն;}95N5 >2_gLfbzGŊHz8Q&?㈼Q+K!c4xݻëk?މ%ea6A;SHeW2SIC<ޯf;?e9y|_ɘw+k̴V |>P9e c4%,; 3/S{i1%C$v *4joLIˀ"\xKʃ v4Z TPT 9t_ |Hf}oAd8r~NzD\_O#G4;~z>|܄lL̦dy͉88 zӫil1xZzWv2?MO-rjB!Pc\XMu@$"ߡI +. Ӫt_[ڪW6"㒉s-1#_w"[2[Ah롶xHN0B=2~}nJLҹͶ(8]ϸ_Zm[GzHo^_G0p3}" aca{\%"J2/-jG}t'8@3Azunf1+;i$%SZ1"#;:1t!0T7Bjpsx幂0"7,kH`i Ρ^5sbUeZa)=4N+\.8a K> g;i^IQ9jQƛM;rh=j^oa RgIVkwE["Y>BOqy"8.jSv\jI a7M78{Qqh9 u#&9鵛9L\McE1 )WO@+4_ S82ŅEu x0on#n;p Wϖ ZמR (f|1dx8Z@Z BS1kWhԾƕji༿ G=Bg8^GпqI-GyM/t#vB]C2PeZ( r2KHuŤ^PUŋlgkh'Ms꒙N[>3-mwVL³tJh-68U:ЌP1BWk=k.ǶkUK͊tNh{,c ҚG==S/K@6,TPadv%(?2}iz\T@gameC&* _ؚ(}E/ Caos`<Oȅ+tҨuDl2G"P^l_o)G|M!E϶"[ i|Dʔr8ӋsK^MZֶzx$.w9i[>: ϟ̦{[gߞ rs#HDl״? [V-NþNFzHmۣj\DW:IGSh%}cȞNk-9CZЉ{'[_]K+5ל ""ZG h[L`,$[@>m XF3|vd^!2k7u#"ph1|?U\hu/V+͹eXٶczbtÝ#h_l^"JF2kt_ZWK8>r7H\H i~w#Xp{_cLJ;Ŋ[SGS ?nĹP]8ń@,DflʟV|"v{fcHϴT[q!O Mݬb8ױ+ +\>m* 9~kǛΤC[TV_\Oؔ Y:r*ˈS K r{ 7Cxo*Tjl8sm D&4$b} <7Jn}ArDF㕶J)WΛ@j e餱u`*\G0$d.T$pX|)Ij]&WI9~KpC6[%g9ִvJk#z+cXI~8B :F8˼"(Q:at&;9El8RoP?3isrybeso;c4e~uz}Fpsd*)k!R='v*ՂL╫eh)v1dsl Ռ  z[Ng b(P˱:ŮTF 5$Pu\/N F!P 7W}xAӇ=>~  o_ˠ*ς^bh6aoVSwUD_Z$m4>q)}_+os0gvb#c^`1]Gr ,˃sX"0q<ײA!I_u9텩>}[(tީ.78N,7hx2:(^1 ':? ;&u~zGn5]P&&&op5]=`PYgLd)Me6x}$s!* Ƿ%4k6y1EH[y.LZ7.0{usrhGd! آuvCI9Mb?XWsB{5@b I6,{9_7: ,U(޿' @gFN̄TlaRܩ2$t[&ÑutIADoY|3s2?5D q9ΖOQ~T Bs+ËհGVcQn԰URsxzGUaUȁx\BTB=*e`}R~@m.ehc@-(O{IP_pƥ6E^\'>s3!fqO<8|QeVR-*}[UrQ r/ޯԳ:+ݖu Sd#SpWK-{a $8 'FcӯP%gY Li)r9Ma6eU:?yϨ~(!`mK _z|A7m5"5{M4&ar?HKw΁O^SC_^tc=?=nX4ϛQn M `vŨH(Gn(E\ xy~O˚buS+m$w|>g+C[m!&(e󃔈 kAT24XF*.D򹃟8,!rNU"LDԏbqSԑ:WGK0q'M]I_}Օ̭\ك+50 ]LEdE0Ik>-dbTLvr 8cܡKsC @B}K_P8ʭj A~?p "\03ZAr% nvs"x­87nOo>͛9c1FZO:X@4kK7I9[p)~z01ꖩ8\A(PJ>빝\_2}<7R^l5ǺeH";1XQm fYe FSWѣ9*~EGeL]f*SeK-׆ F徟!fHw蝗]r9SU.Q6. )*˻c<}Jw^xHGY3+t3cPf*8pc")?Aů?QhP<$'|PqM!XR}ըQ 1m(A.tnh(ٯ:Jd'ѡ$E:H?Qԧ`5pwFfZIx%)wZS9C>N~2B$N =f(PtlHʰvGR>}Y4`m@<߀Wæ8]0 uHY\12̢ {˸P˃ߵy t~b,D'wKXO4Ib۳&+9ؔ핷!we xק;c\nl5`mj{m*,Mf))A6B ՍC'@:}׺n[}ְ-Oi#u W8BqEU%ӆ\FB4z8A '쟺2fdpV &C>eh_Z;7dM?Ֆ5PCyIo2wsM\Hb'^,J ͉:^:&s!M@ɖ%UP . ƨ]`sO:6Rm"M^AV[9Ռ G ',ٸQ3m!mx5=m{FoZ nQIXS}jHsQ. W A{L֮:aLHbN8y qWG,y?WR6Ga7LRqeh!!8lo)w#8p1#'4#@ʌ'-{rR1qgyGFp*Ӷ_jbw&,F~50ѰTӝz>sܴ=-=88pXӫ9l qUbTmFf$JNDo:E('"m O-:ޠxP,2+i$Lݥ+ӷT*d^Յvxꌜ.nҤ^XP}͂'@l6BµٺqQtĴ.z &OZ[}}9r [?Bkv'[ +&W1&8;3#P9%T{^ .o%WRU'jYҾQҳ7'qp0YXW.%O^@/*rSjI ՞ V}KbKڀ٘OQNƕR `Lu}K ntmm\}A]tOfAvb6vs4Z|ad.+oa,2O J.3{W 2H 3.;P%9xǩr3.ramCovj<4%a*)?h.6RrXr0o5B6 T?۳ 4>\C+5LY>,LgIHP})|i,,0f013Ҡ(۾b*= -um/q@zE#Z޺^}sPSH]:uV&xeAͨA%awV6󰥨_ wbstL;FB*e]sY{pϟor_|_s9%[Kj;Z=!W؏ .wl7 Ĉrm)FB#I_~y0a9 XbvވxddUC>,ۂQ.ʍ8$1$B)Ib5uQTjFHV&w)}McMT<'Bة lp z`%IA­ΰtldzWvP)K!j^u:jV`2"IaO-oj} _´X"h q߰p_L/`@_m!_< nEqWS$^X[\"ɢFh>4_y pxL,JMAK.)sUhr i@Րp?]ҳԚlXqgB=ڼcI^&|6iQ"#Z\h&FE^y_<@DYap&MDaB2RSn?-#շZI>|;~D^t%"8}H1]ck?k^ѹ[2B{43s<]Aٴ9DfQz9&%+z)f_Wa±~y߰(V8{U"V] ǒSNʺE}8֜Gaҗ+|͞3!WߝhSÝҼ=UFWAsool" 8~ vDVv^)APn\!ye~0QD̐$)~,kGmRJmBwdE"P`Tɟn$oKjb7:Fw ONYdNŨc!Rt9|q^˞́NcN U- xUVKJF !_D}=WDc"6x7bYVÛrGk]M񧥆bNb0\{aN 3p~PLRD>oړ6v| ӥ+@pLeyiϦ\su/Ldׂ%_D{1agQVqL(ëI(ؑz*)h_$fPk'~g,cg *gڢC*ڤ5BhWw-4ȕ jYa)}}û39O9 90bM)\2Rv;٥ Ra{Q^"ߍh]>,&}k܉~* V6Ұ#WtH>ĄEH(ҊAt۲d!|aV7"11,OPY2Y|1|ޞ9х*qIXsc6)&DNkfñMT?1ʪWMNIUkRFYck\38Gk{Mv1 fZѬV*sI%iJ2Rġ8I 3St1TvqJ˽:M+,G!qo):;<.9tf<ۑdC-N<%h썷v"p>Omm0w.Hkp I}w ǫƫ/00?Mՠ z((T﫟׫A8I&ÝjgYZ00bfc6c3222c410f9d74b8c3df4b2ed9a3d26647 02c9d2a81cbd9900b2b0e4505f05b2f6f37280ca 0ae69ffcc805c08c937d82d7cfe8c0730dfa3fe0 1bc55bfc978a0720068b4a3273f2ae1ca430b531 2095e128577990dd86da24f34f0db67296649fdc 3b66a4bf4ffe79bbc45f1970d0a974d98e4e1b94 3e552a73fab0434ff307d98bf1a09db2f5b01e7b 44c8b323cc30bfbd1d8e6abe554a99ffb104baef 788ca0532c5490cfd8371e87bfcefd03638be22c 86b561077d2dd7f66b680d9f7e11621871a4755e b119bdfa771d3eeaee23956caa91662ebb8a293b c26d91e808eba1a16f05b580d5ff636cd9883f10 c4ded20dc80af3e0812d1c602f0d4f394473b12e c65b86f9f22e81c77000b82807229321e57b87f2 cc6b26d9421a72ac11211d3bcb4dbaf15afac760 cc6b604cade3f1fdb9d8d4cce4c16ec3f88d2989 e04836e1a41e496010f953f7cb42e3a7c40114fc878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457