SQLite format 3@ .C  B --?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  j jn9~44 ] HOL-Datatype_Benchmark:threads=6elapsed=509.721cpu=2070.864gc=809.7207zXZִF! 4]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;P_RNXszͧTtIy_1MS{p2jx)c0V/ꕷsB@YxåAx\p8hSJ`0)@?@}e -]qO=A̹\xr\$ a.LVzT':NL`1\[Iw~́ lҏnX#&ԇ5{Ҙ)%( ԏDS)0NrJ ȵ{I1]ߑLdaT3jiV7?Hg3'3?MBv=fJ2ۦ}V'|H5& 2K>$b~mٛGe} 456?omN͍P]6JSEqqf ܍#n:4>Jn5Bzhaes.n)-yaa[i0WQu2aܭDpmy JN63}M ב\괭<֡嵍>(QQbM&r[q*CٗR"FÞ ;@i1B@_ln:FS\W 94ɇDka>c q a'`H'ZXNulZ>a;!zh[r KP7 SμoFG^*Ϫ0c%̘Z3=~/LUWl&/@+-!KDŽ2XI6)hpgE)[w[K Wu[bR;5(& \dqlUtVROM] ?(5b~ 6P \ޮK@ `ԡn 8o'Uat|G->|h(5ƒ%뼀:е <dׄRRsafQq|OI4qHCuѾB6bg'u0'o{F98~+߱dܤo a:e͂l1(͆rWkGCtُ BqIS֚2f?rsb].g9 5z/D>'$Na+֣]+Z8Yݶ"[D.\k6q„?`>^UEqSFqs/ & dZ=S-VK՜g*"l uXw2GV_ o2{{ "MS~<_ґW!/M"^ =ҀBـ1-iJ SVHrۥp<cAHΚiK"e-}Gwasp$% ʦuqH6Q%&ufGP/HbQ9^ cDh]տ pz;炙p@AyC32@Ĺx@/)vVX u$tk#+yHP A:/a߳9MdcZ:߿҃xf96y?'1^iʸN'CoxAa!#%J }QuVB!ay̖MUIq=DUnawqm[j jQ N\6­;}HDEZVJ䵓 xF{z u5^기d_hv+7c34 b D/FF`*Tb>;U0S͖3KE:=&j%,A"rtcSp68Equbm kku=LIzI]A-MՋhvG"uIBm5J~{U?9!АB-.QB-v*Qov.@5HɣsN")_G{>.TNQ9G^ HV4*󙸍@N6r3yndZbZcFƘ*`vn#X7JG+&ǂC xwfGYzzegIy?Oj?SҦQ h-N,gM]qW$oXsP$fH#mH9~0/%H$o'GMWl2/'vgN.fqP;&įּگ@diˁu DgC'(M$#ܗw %ܠoX:բ =R疹7S&;ɣBgp/C)Oxh1u]2=C\&>Ս Ƀ!A}APb!3#%ǓT5-lFBY@g3[Q'VJ ~KЮKW>E_b1\ p:%/T|~ʱrjIy Mjs;2x]n2\7ݩ6zP ox0{z0;~zHx9f1ƼCk4/S>u-ϒlaa 2ӎUa6C;@lHMLG~x1hM̱?/Pݾ,sq;Nߧ۬ rwBFi>cfDP5G7PK "gu<ӱO,"bs%ib0$ɨ@P`&?P~V9eWYg_z¨;Pxdz^Y 6fst%\MAoC}2"":[mx{wB_xQ#M %JHBĞHƙI? -Ę>%e;XvC؁ȭ]٪'[?f? 7zgM$(~xzxnEL{?\ȗN$|wCFC C.ؘF" 1/VxwS6zBB4_ACϟMJ O· QP7ɇi=p ״!: ^ lBJ$fHS#4ju$;-ٞqmS>Iz/o_FJd V\&~[iL}/Hk!.R_SէmG.4hZuy<z捑;"lB& (̈k/W}8CL sE*O0}i8A^=Y֑ͭRMQ,հ/jfu֒}?^h\ݑM{ nAsMS&3c?ʾ>g i8E |aAϷWW Mm㥏CݦpN∌7x{E"{pPuA51WvS9񢉷5:_( 10-n+螫!*DksO~»XɋQ φT0+WDhlG;`[!ѡ$Ҥx | =%tP[Rd&2h{nsyr>u.W,y0&>2^k&W͢GQ")>o Rؤ$TXQ,# R. p+`y#(R7,]L׾ yH3dWӉCرvm$ʴ4؊4]UQ /3u6f'z80SٙA(9olzڸ$UقwׯuD}L&Pul9UO}RX MdKt,ni>Qp)T bTeE"s$ K?A掊 >& z ~9#|F $ɟԣr8Y!燞 _}A+%AXZɊTt} 6bF/OXGh,|)4Fw|#_wf.\=p_cux}ҞiII4;!ҮcN7j.Uydm@K35UC&ˮfϜ܎LƯ" A:5p UvLmr9#}Zi Zg&a&>{,zr7 b6vd -I&ݦf׵VnqgYћ ]}Mֿ>cQMo>Ss@S%&jP a!_+Kַr2P"cbP$]hTٳ^uIFZ GwQV"v:6r$] }w8UímnQeX g)_FO)W2Q:;o)Y$UzTk΀h f+q VMv/$HבW}^Ӣ1 0UC8=%@w ʑ^ࡡ년cÕb)u##g+)&JN~t0,,Jʼn 6.\jafޑ"0+)ٜK5-cA1Y I lsM,L `݀s4hUO6o{Dn}uy˺p&k,rȢ?\B)\9(G˽9BӛYfH)א`/)H~[`FGd(*6P$DƓIJNTF?a N 2/( $zc~J//F~A+xCI:F[ƌר覡fm_ZPxU!s,]{i+yɸͼlr@f=O ;y}$6BK-kA2FEcb!K> ;u:, .,6B wXc 3:$MFb9 7y9`]̸p!0ЭiitɷM-~%.#^٩W*iq%NB+ciw$1سyUU {z-{3:G=ƒ۪Cz kn&#L.H (~4柲smz{φCHIuv Aޯl>T1.}b6jzF-#!ۥ=7̿726uNp#'}kpz}~2.lHh p l/ڿ=|&E3,PU:.B4JyftBءoH`:6K]ߌ M.)E$$\=o>-;;7mY2=5>l)[6L^ރ &$DCCef{D ,h)<7I,fq}^oq7KE\?~[K=FqVtU;Xr-B,ov9Orv%ygYZ,чF"umoL}A]ưqI敍XrŚ‰%SV`УCށ{LeyVhE3'yF*Cn؏rGsӛ夽:&KF$qmc'H 3"3P*2y* Yj(u+R kZrgArvW5%bk!aUӇP GF{Xܷ$56C'y bF'5h,:nXPĨՕa Q*sܢ-]!/(kH` L[Dv>:[M<[;~#mi/GeW{C\۩a*.raC1ߛS)_WPf ܗXN#<q  Q`Cw0cRgp hEhx,"eᲆN$Gׄўy ʌneH8"_{ƥ={LZ_1Pr{s,g8rSl-M;x&L Ц y=@ #$аr9s/sN'd?QPB.jja*-`ɻFHyzK*@y!utNF!Kh3%Ycyp*Е}K }IϋeTQO%H^ݼ9 flG=8M왧̙}JY,\Yx'h ÅDȌ{?h?IW;"U<@ e)!kÅ4wt'!NUіr@R5T8tQlzد^Eo˝!5XdaF1~vqJXA96jXُ>ڳ^p"U?b?܈GO:DoU|r1~KiEQACVS)t5 m=}L+22]Q%Cp)';+A̼!$z *gƇyXf\GN-f-|8 :OAp'>1`WPEEē݉W5 `q%@Gf<ٲ#)HCG_'q ]M&ݣU;?Fy# ɏ8عW[\?b[7x^NNGU;#?|ҡ@be.[#܉3O͹լy`XČmaw++|]?J.dvqS<# A I>bGGwH߶)߃7m(h࡞Bjq Jv>hBɤqn*_X ({Iy0*LJH'B5+ibkg?[*n6#1 }k2z<9><.oZ, 13C%eƊVuQG-zRA[1v+ybLaw~}0Oށ [@Uh}Go>w]N.5vN3鋀q8aΌ5};M$=jC0uT9? :(u/(`1S>Vb+;ɴ^ܪE Ptw}-[cՍ 0~x&#ϵA{KF%p;G?Qr~CQkCYPavPʢ%A+L^a_HFmjm'"i9u1ٚwEOk>mr}PrcciB])}ģ]ܲY'ȓ!2[Qy frj)+>Ixʲ.e4֖,y *Yԍȥ_^/*Kop O5-V7UrA6: A*i.ݘgTːb쌑- g=@b}Gd7D}ER^2+oV?h<>勱1rȏAg?|ymX.'7UHxjAj#vNLGO!OH1nj#X[BxQSWuc-ӟC8l(n:24`ItEwCkpZ@*"m^R%Kˆմ}*\\>kfԢ $^ܑӉp:Jf&%FFg2VAaIkMy~'?E~ܺ6`r' Tvf(Qt⸡v.g 7 y9 Syq1p4XC'pcN$Pd1ILܒ=}5_|H"H% 7~1Do:'H:vx/.Ë W*gYZ +ed[྄}}x{IVv!_|d>6hB0hk0ʤ\WMbeS~O5v9'x5/gYZ7zXZִF! l~]ŗXi%M{ʌ^^,)8$]AuT"]F ӛCw̓oi\%V>bX?~q@NR6-8.ܭ1G@A G6KԨOUo?ӕ[ոb9αJcAI㾯t:%V3$k'\sDS: \a0xY WW2a'zN{+4e.Ֆv>TRSQG&3fQK4z8G YBRnſ 9Dd`C{_+C:]oƹVZ#ՙs&LkYi4AHrjk|/ r[)bH .aur:wj_oQ҅vA?~^VeoW4 ?RE`i xG_UY.gs0ywH~ 8ہ-ZPI w>yζ%/&!; utN~`wq& DƩ`3w,SחBJIMk/Z/syMU6WQnpv𸜈adJEh5žchũS9=d> !UTdإx5EʿP]M7'\J:6ygKw_I,š=O zѺtDbsR>2r[R'Y!iiYa9*q ɨ@Ы`nKDpjPv5vV|0ţicgiB[ ؅th"sMl|`dF`<ښ2JS vܥI]+'ZCP!h 7Wi|`69F)3 #c|JHx"$kQ7ΠBQ'k( Ji75Bs(J!d6P7~ScGGgpi_տmlLEں Gk ,/R\s"9$ʘ]#MGDNh;--ammO_ u`=mR?Ы:OM #&\=2q ޢ2o9n|u7 e+o3E߂M}I$r;1P](:h2 ($\4p_!~Ls)9dիk -bР!SyWњ%!CvXGWNsUqȨ~ *BO$*ώ:UCS4*}Y̩(81 qߕ$VU؟ Kʭ.) kc뿀+Z l|>{ДGrlӏ]axĭ]UkREћ20zϺ#Ӈ-"eF҅awWX1`?3V)@x6Yd1H&1APl~MEN@)K  'qۿSh &u]*DcxڕPGUQTa%]g_%bE(VuH3 ߵy٥CcnbYZI!"x`R3cagyKýE?(G1l7|1Ӻf\ߎf.> @;}H`՘1R4B  ]K%*lOƋ29\U߿뀓BK o*Zd=F\f\T+io XC&QF86C0ýx!Q+꬀︼x4ϝﮃk-"K #?>qyV߰QN^>1\X:{+TT: p̋'X^/pFn Bz]?<﹙I?䯩 "fI5٬zsD ^}T?~'VޡU(Ӂ* 6v[$T%奨7Tg0+?2Ӱ^Nۀ> \lY-$poh{Fz67*S5Pc7_Hz@A-Ȥ'`2d#)LFjI:('nj@J<>=e]OIN,bdN@'8to\Vȏwj!0."젋l="NբXBXc]{d%Qr͊bMչoXŭ!AHQÃ}(V.A :zk{(7n5ѩT?X|{~7R{Z qalPW|=TOٯ=+J,YeyJ(7Kvt bòV@ZŽpqb.InA1o!531R5hk !| ߙi-vZd|OkV,9CӒ!Sq]-0[4A>ܪ9Dw?x{ܧGe1;|w:W8C\ Ʈ[vgF+KaQwʏ` eW+ҵL|Εwi=pN}Ia|iV;r1$_Dɵ. T7nDi])#;Ma [ pn waү2w ΋ϧljSG|3g lŤRz>$׿ί0gMw2K{"NIPhj|1ǎj.ē1XF6z$m_wԌ%7ZK:,尥/_9k/B{u%>N}R Le69Gq&p|5\Y͐4A[Ԙ%xeBt3GM) g7{\?B^u߿LlP[_YG]P%dufR.:@dN%QZP˜>4)fV`_ժ}$3XqIyZ+x񣚗`Lqk@#'m85H7'FiU1 'Ѫ@ cGfEKziie x.0aYΠ|SeIɞ-"9x`A wjLzNQt'qkDK_9⊠#kiXz[0E9RB߿0T ¢|{1:#Zª .88lc %J%LL}W0R#sc$SB()[ -ÿCBYI+w> 4/ ԧYalb RDnPB2%n'ˎqw6۶gRMLGY&s&gW ,ĭgXؕg}@XXdxJ.{AȵU=QwY-JHx`3b6+QY8 5)HY 踁:Wa.itVc채VY xh Μ"#8ƿh*m.'Zue:`7cơIb5ޱL eݦQ4Jc*|u#|Ӿ:v1n_XmCs)$ 4-EatG>"/ބ Ew^b>+*-qxS/kà7`3h)(RjV7:FC $ڍ:ՆRe\#sNr<ReWbNtZiAON 2ֽyVIxޅKHϳ`[dԲ/:uf;2!,m\^a-ą 2kטZFR'&XaJR; ggsis$'rr̴ogFdki5dmr@4y7e>:5dxVP zS7lh3TK wTX 5ˤ)͘ b; ?yvB*gM+'ʌM" 9H<'uY+k(v:ԟґou. ͎X)[h $V8s#?G5 6N(^hؒ^6ӷyҧLI5hA ,璾h$DOTZHQNd'UdMdؐy"a?ͳ2fHMq_'z+`Lb ĝPZ=?ȰC0FDnRo h~Nxj^F hzɴi?0Tajq`@ZPړҹyPEsDpX PB|#vz$mMҭѴ*Dezns;:'}U.YBInJ5 H[<{iCckcH6FIL ěCsx++xsޠ&=y RQ$he\]m1E4xN+dPj )G/%r `(xֵ'sYr͵)sOji0piתB&躤 'W5 '!ʆ}1^:܇].f0;~ܹךC(zz|r:VC ŗ?*}D֓ !y5ͅ) *8Hl02Waς/3l|긲@DnaF@sZ$@&c{-:ܡSYΞsS[6Iq(jz@cw]K dZY/(iAP EjfhR܌^W>/h3kbbdU?N=b[(Vz0Pkb J$ K$OwiKl}O>lGԺ8!AWsNi zK^p ҉HV]z&j{y2A*bFjU3ӯ .1E_7(oy4CBZ]>lգG +%5cjmX_k^5N|٩|f̐o}={B$zl 3 rx ]?r8.OѴ .nBwZ`)ʖ5=+J8[qy *􎉐(Ҷ l2x*oly$<(1%G޼"N^Wݹ=~DwVz@I(:Ti+-f5|Wx4狠9*,牆NFO6}K6^6D<) F?a*7?fx=1_p4*C!IV2d9O@؏jҔUcO/ _wUEviGӎ=sb~˸]zm Л0.E:gUXX/|v'[aG҃}=A\t*va ,h%emE8Ŝ,8{_tҝR y%tvAI)=ޯƘ+!z̫s=\md&lE9QR;Pipb<;-vv9E:[@DԸ을QS\$U:4AUNw<,Kfhv6Џ`$ /br7i9/PlIh+Gm ⨼>n.ɈVk+ :_;ڄޙ+/MH$ʹs.ͪk&iԷ!+DA*̯יlEWz~@rœ aU[~xG238/ϓ T/M)$:͊vG'X@ZG9H^#(C*S9k)δلhgxUXmu]p2*å:}g5l1N;W~'\{tɦ+E#Z[x־6"dE$dP\Kq$Nsv C"dJ&ӊH;wi_|?Ȯ'L߂?4+qj4T2&Nj=c:8Vt̃H x ˽)6XLtCPvS9=cxI_yuYE ~5|D)(}1/Xx( Hx?!2#OމJМajMy8gHޮ`3==Blr߾"iqi,urQ %e.Cf)5y:mn(#znh> 繩w|ĨA_`c)+z|p!K&)9ҽMѶqXDFK!pPRޢlBB4ҡt9D!Ko}BmϔCD]ë_)8r[F¦5dwHzy=y8*X*x }{#bSk;AR{o1Z.$E~ޅGE ͓ ٠íB#D}M))mXrlOA ~|J]&P~[5mmUC eߊղ^'sBũ(T/^r=,G&W ])d-ogjL?$ 5v2jZKgc|A\Uū#MT4 )ޘy,t Ik.qܸ8ו<o8H"Y!85u?I2#9?"E-,J{z޷BMxP0F ZHq bα- XS,qpWgd!]+*cG 0X X"^8 ҶB*ԽVe"Jw(jN0:ZCBrN>=ØCxQT3W;",=mr@^oT]y 9UxmF\ĔQ *0f<ʪbtDaaδ񇝖:BČa8Hqja EO0LIjF[6up?~!]3Hйifgf{Vy*Huu2~ie)%—~ UROL9ݾyu]Y&&0Ğu!J+iK9a $w7, fş~*MdW;j7u@DPq`i\# w5>3NX9WՊӍbɩy)n6yy(1hN%i x 6 FQ`cu b&eN\nVATJr` S2:j汱kXDI .I͎<}l0VрMlUOBjUTo='DU]0e:8kH˰a1N@D;P9Dfh} + ۼ̷ʃH]HiaY5IŔdDn+2Q恶vO2\8:?pҵ?7o_#EQ`95-ɦ*ѬzMSas8TTI:>`Z\IU.Q--;{ى˷sAkXO+7[kx9!cO~/m x%b"s6Wyޕ+JG.2p؛{{ *k)-ZW'ƒhP횩g_; >Ɣ-IPA\O . U6ZM"G?]9Uw-*+qpGex2,6>1I=K>㒃KEB1Et ŵϮ/o?|"훍VT¨c,;RHVMie͑˜:z_Ilڶl]̕vve>h,`FhCLPw 2+3;@8AKB{V/w1ڍ)jd&z"N\~}Vg1l)ͩPՓÏn]3v=e͗G|-_ˢTwسd_IjNweG]JQmOԒh20r |;(0Y&X>)Z3 #0T;jL0_{Q\>#)ҌUB*s$Y#hqLK=b9* ʧU(xfs u.v*GhtPoz|䭍m76l&^Z5 wwG;u72 *D繮~*%K m}?AFeƝ6[é3KrHGemۋNbHdm=l/<|nYcYQU8f,}u4#?i[^Q8~n#D-}( c@ZB?:pKIJϠ.YMspoD7^ "p3/Y-KCsћ'MgOߟqZ_H߮_3ÔPמ=HD}'4UP$'TH/Owhlp *0uG{}3>FQyQ8WDXUntܫ |+Tpzc\5t+̇(鱴!dq-n%Jܖ2c8趌cߥQQfU\]m ?C7D5E=;ZHو M#xPMnN4_V#f1fRcu({6ZsFI?bZeR!]%8Pe~N;bd<~)#$_[T–\>44,Eۤ YG"$`ɌWၾD@cޖV?uN: WCL&\@&&ԅusr`W n`%D׾K<;o m@\mg)jr\К,֣qbʧyٓ뭙wt*#q  ](+e'C&q Q#._3M ꑬ8ćM4 #OᄫaלrʺG͞u@b<Nf⃗񀙥ercn-&^4 u :&V__L'ܬ7vosn*5memrP l*<3_, \$z8y7~aE'Ztg^VZ H*r3|s/)8~&)jX5u(n+Av0:Ho Trl h.3mJ ҍw֡òO9e _7BS2)uHKf sQKWn^D+$~FM=AFf|.m"7 0}HؼߘezZa\}kaq !]#͘ڽjȏ i-\`{efr\'T1N$Sk[Bš. Z*X ^J6e#'ԱNџm@@>pde˩ޖNddm׶ɡ3EV;r2hKQX[6‰2tkއ{VRξVztQF}W3}̷_htݻ}|2Z7rn4ɽ{-Ns Bo*hX<=yw#4^ajXfF^隣wsHKFeQ뙖a$gN\:cB('4a-w?Ш^l9K߂K# vNǞ[KM?po-gTHb$ڭ>|6L`c:sCN C18mzI%ƹ%br {k#Q3QCm?ߠLۂ rk>3w4;d|X?⸜V vuڹBa`%0\!Moy0L,-e?0E^>A|< ~M'%5x 8]6'{A8dy@J.d`p)rLVr$SI?]t >ZduLwA䙏0Hb/R>b<wN/+]jkZV!׍ZR3vw80P"bSt@xz$:z1 {1H~\/52*lsE'=tS'c}S^/L?ܺt|sg$"Z3/4~'x^) hZ`YƋCߩ?Gotٜ5 60eȔIÂd/|)L ]h yo|IO KtѸB6me|4MU4`v{t `ٗW5 RVz2|\KOѫL IFS2iҖ6R/`ECI=Ư͖bYXO:%57l_^Pmnɑy IZNK Yn+JsF,b .<;,)@GD0OIf2 c=cRH?ΰ ~|mҁ:VNA`JP^g1/ Wlw{z|\m9hMB-.)|DiwC%bqQʎZ?Kr9eމO+ަz0'`D%yLiɥ0lWg4\gF,3=A_Jʎww0m#%Vge30d vgbW&B5R 3Flכ\f9hqm wܴ4*!DsV!7=1"-&0&6V%6$BW)L_S@_R 1{JӗO\B M~,q(4~v/51a'Am4U)د)?`YXs^ NƝO>s|}Z4b2eLlX$~b((ođiMiw/OT Bȃe*St= AHmy$1O+e:j/4]$\C1MI݁?VXee @\L[3MTJnL "'K(6OlaRTl}=@4+5s?϶ŗ* *?"_DStji;s hTH͚P! `to9ƒhh kF^xtv|:|ұAFbG:[P xgCLJ4[BL=kY^@|V`坿ћl'.evd!+vL&69S4 Yѵ3eG Mp4_dކeo Rr7XSKI p0,QXv~^Rh=3|bcML`:f1 @X 3DsӾW ;Xv icqmM >WmM)_fpAq#COUd8o%-o@iĨ8lFvOË4D?H3Q=sYMQCۮƯ|u$sǩq0r_ͮԠXʻ%IJ|W{nǟNuq,PYS-axi#6Z26؏>]Uʳ1S^7鼋T- U0Z*_ZIO*L],ښ*`pgZP܈6+' emzY)O[yM2M* (ut'/q#"/6HݐGJLͭyßP1R j]NN7X]r*a1>x=&7NF2-*<iJ"#/]**&haJy E7pHGT**EF.QPI1[1M<:xd.% 0t-q P6abGԳ^>SP ۖ$]m?,1r_|'˗03z%Z 6},B u4"NzPTnhn)`0<)z@ lBitgg1c v`T 7tu  ;_ROP:%"ْge Đf"q BA>D+e MʽUiYo}sw:܀`!uqqO K0nHR*6Ugo|gfA%r@iZCE|@1IQQ;?rES}$}@?qy D+ӜY(ç<)Nv'Ж:ThFI64@MƙǨf*X~4|;K)&hTtNA=Gi auua6b k2eobSb5Tv},CR_"'f8ijo Wø #߹4IB((<9|'թn_159P#g&vK 5FZXӕ^pKG)[a.YvdAp@Ycpœ~ -|Z7$[2JagI. ]FԖV&G`/פAHH, ;r6a_t["z~جǍwÑhHȈba\rBiH_mRS"U /ۗ>"!geaP@=z5(MK[uz"0CP]=H0¼^$ QGڇw7)[ݘ|?BAX%t!Cw4EߖŤ)NĤ[U`Ox9 d?e~-t&V>.㆛-ޔ .D ϛRcDM\>˚n0G*-QbR"Sam5d\e]n_h|i٫"L_|QTK9piجB]ZR4J Cf {fS 7[q\)pDɘkB:hK" 6(;`V |`,sHӎJ%xZħ6Ds1UY|?"˧_.Ҿ; $qxX. 3Ce/΂q)Qw5qR5{t4IwvO`F! lG)%(L+ Eςگk ٱqzdBpXg w[,-9_`⫇'߹X.땳Z$G.94X/TԶ xlUO283z Ff\"J:_*o85Ԇ2g/մ+(ɲJspQuFma' 6t7η87)ҙ3)uԮWuPijң4_!闘 h&b2yTlȤivqw> eXIl v &0֟o>i[L*/;Rxu/JHx`X)2T_e*iG}ynfb7 -#V"wNBYI1^BAKpRw n,s61e{WIHz?(צ9Ǖ2'F֣o|cը`?V!H'ܠ)_`[*F/A$ʞHuȳ1G5~ٵYr#$ ,z%W:5 4%LfycqQ| W/&+\hQDE~%I"OjaУ{>ۀHDzזwIY$(FMQheyU;h@v⋻KA |Q^##<s-oC4D̓Q=R{̩S9 fq 1K!-6ֲJ Ur.=ЅIwEu{SvgBaSiU]EV.'46F-'Fh3L`n)!%ȵ|Ad#u a˲`Sa5ފzbLg̪Y[v_sީX)Tz1B{<GZèfDl">ziXΧl0ecǖ+OmaSZMڗ7P۲׾NnYOBEPuoǶo]¼O nX%%`;5ˊRc(̯_c&Ἱ]%ӛ9/zA ={Pݙlb;wOC\KǰnFeh3J;{~!sm9݋ؒ z N[Jd)zyKG?dy}򻚍):8#-Ojxu2)ty-7G?O6蹖Ҫ̋mXo .1!vId@# BA&ḭ=1^zLIs{`<1n,!>aX}=BK˙=IEBU}_8$W)vAFv|›ŗ$N$cꥴ"GFqW8ԕ8O6lH5f8bmAysyG42<*L@Qd lYXS߅nU5&٠췵 [ Y4,IG){"?oxEu}(`3dV? !WzI:"l Iߥ?}f4k!қӒe h~+KRFCnpK@PGh2z:#pqk"+Lxi,?Jir5O\3ď]ۮ(u,IINZ.Vg0(8hQEPݎZ [Yלϣϰũ^܀]2ܚ* K nurU@PHѤVq7iEɲ=GR5.K<= ,ŝ,)'{Q~½ |N'%yF/J&7HZAzk W81AAys>S ʾ+_q%KJW$mA @PKېWP[ .6v(C(+ϲ7P_%׻f;C*c͜F)h^W.~)%rɖ0$ ~y&)bmiYt5r2zAxzfD`&G@Fu!pK /T]Z6(rq$ݯ춡LԸ˴9ߡk~_%3f^B}mԕluD'$Xyʧ{.|HOc_i*I1{E%Lۦ%Qj G[&O=κfJD Bf`?fO}N@ Zq@SW^ sŦ_qf!ۀ<#b#YOcw] rfE,8iM7JA@M2eY\wCoo<Sǩrs4E`_9@ ӕ#(4hwI>Np,FWGwk)q],)B܊} D#e̞2d|wfY셷 eD;_lI! :NŦT-HNĶ֕^#bJ,D/q'&f% X%݃A^06w`}w3?ܩm[[A'T8ˑ-p(BZ!6ayE]SVá>RW&:';t!j 6ޔ UrrMGFIZ6OzaBJUO[qF>Hwz&5Y CW F :X& Z "A߮ J^]TyCu{F>x'3xw8aG0;.u+]=0d<Ebv2fOH0W{ن.0/ <ЀOuw @3wS~LjedύJ2P8AĞj SR ܰ+/i)~M3عK$D 0~ъ1%<+6Tv1~Jc$TzZD G^sB/>9҉ 2n(pfK1BKҶ U? kU0O&./b-[y=IٞѱF/ ]g i1OXEN'F&jJSd3$ A{ҔdM"Hj=q}?Gʓ:.~ۘ.Z݄zEz3`CX7OIF (Xb#_QIp]^A:xS `tEfO N6c ̢yƴǬJT {e3N^ҽo?iʛQQFmB:K?l]mѥo<=d~#1%!s4xb=qLvGjIv27_˹֍i`Py&G0/A6,{uu|ь>|q ;6cV'E1CQQ+r!wUP_, Ng|ˏfR0ҊVلer6\ժ!'M˾8 6\V8I4uO±ۘ'Ӱ;۞X RNCi']QbXfEv\PQ'UFy[^{ ]Q#8я->b#H; G[I;$VuZU Cuz {.Tsk[ :ޚk@-ӬhZ+ͥ>>L3(f }82*&+w5eXt9- yYehpV嚸hU%EGHAJ>۷oe) Q[cj֎[^Hۉ9ߥd,.p+:W{xa94ODTQk8e!j*`x{)4@5ڥ2U[rؾ o $d!`ej$!Z] r-=-o'tbC(,0I)&U >xG?EUϳe%.~g̥zɔ5IwI<}@}(尥 zaM` eh8޲_mY<-#Y#_Y XUќ6b_ ]*Doe_!)8sUUxӏy OMYV8+La/b2MCTWe/{1uQ,*:ΔE\>_d:QrJ5# 6T [ |O,!TUӳ8نۨU΀VFu'X%cLmC:M[n&fyͽGViq`8 q%u% 'W=Rp]n%qvm R-#P &u` # ((*ijL[t"N7OkՅ_ޚ\}PeM2?ֈwG8 b '"P8 TyщԅXR*@aOnmAlutsq˙㒼>MYl_Svo{bjM@ -J&CCԊ:wrp3= χnew.C [sP0PRԹ5|Vdu:1YaeGWp{]7v@|]dT~Ù_akOF[.?1쓶s ywnLQZ:~ THϳX&s}ԓ_R}@`%6vt&E'dE7fp3%~,+vy{@NDW2lSVߤ ۜhge]&]׶Z֢!u'G!*@FM*MT8{XԮܼ5230/Z_BLTg2lA*\9WC+) vXuX)ZlBbG0Y'mViyWI1äytn@M;PZ0?OCOedSMg=T*Zyshڸ%GI^9ƒ- ^Z{pf`gB+'fLJ@IW])(5/ [h}dRI"8"{pVmѠxiD\TV-Qۛnu!!M4\iVۭ1Ϲ9SBXؘ[Za2x@l4Ks~O9.LOU{+@x0d= _f#&m2d;y Ig >'ZUH,j$C_daWA ]冴 3 m+ӱΛA CW*~$JP? .$#0,^:E颿e/"]q7bHݾHXYW) k vy+gsu o#Xwִ .)~B/|ٲUvYPR7=#Gv4#]ztZ) lfO\=!'@--ڇ-9kܠ/c?rx;Q-haCm!~Sޟ(fIFϲlf|Dz:4ڶ0o3d'8)8[>BW>Ě]kxLԬc֠5M@`2{J_ڴWo! U-4itS2^7k%++d|qX >Nƚ;XH3@+ڃK`u}OĠn~'"׵A1X23_IJĺ xwu!оyVtJ6eV^QLFN䆜"' `4W@0 H`l Z:|nloğ2evg&PxlZ;UD ,Ym]3ҭ}$bQ`ӈE;R%qn[wnNMG'" T%d>qQirTEf$Z[<Ӈy~5w_Ůr L#aAzdˇzؓ{[21*A8} +œC^Ժg eRЋ\;Cp F:4**7-<vԑJv 3m$pQY&Aq͋& 3_iEhbu~HFJe:"rb2f~WO'z^ f@Mx KWʢ6wP FmtL8igϦ=jLް֙2[r#^RG5Pp|u7N4[c _z/X-e<*rLjB½S+G` ,=?q8g Td~*NsfnsZ~D@_Ӭp]D8QK)t\1N]\ KÛ8Y\BMvȶT׷a1r ㇥[9W\n\ .oJ6viU}2^a\ZHF}DOE1MR9̪bWy FGhjJj7t~[wPhF&uPFF0v&GX-%EcL>sS!J&oQ+!W{r0Sdž~`wd$PLeRO29G+dLfD|n}4p0{[!j/g.Aq=уB⽃65AsԪ pGHssPGU6sE&|`фSٿ>;Z(dvg\`mbq<.@m#~P]BXg!/+M8q4o $~$wxr?eK,ѧ]0u]D>kJ%iu~,Rؖ!ZrPן=5DUa^8zSߌIZA#⤌ cA! [o>t>[F Tb1rO")^u*Khs{dlDm1]'~v N/f48|{D.C!3gxXwed' 3Buh$4usj"k=W JCtP\@X%،SJ`pR4_!l+?itqnt; ;l윝ʻT4=]!Eq .G]K"Fe x꩜zhv֢'$5lN}S3;֣~˨!)Ð}Cبʂ%eŞ +;`@axYA9WO\rq:i@)Vua9JC_UCUdJ /Um*~wp=Xa - AHTL׋K͔(DkHXfq5|m;8I@i7q/q>EךLԞ\'z\endнJ[gӜyT|NNKMKzRI${SuZohIk-A!NXh֏,MO&o]0ʿpӕq=-SҀ|O?L8 Ùa10X^BkmK"]|O) iJQt BIC՚ݑ#XN!dq ƺn;^.lZ7!=6#ZJeHAgzcH7by#YyhXNKscДֵ$Ozz?|X5h;kէ{խ@FZͳ"?,ΘcGxRYKS^?_]s5$h=voXab>p!+CVmH~"+W ԖwgyuP=7#=gV!.-(j6ʆW&F';f;Rot.Ȟ|Ay#qioEOm͚rXF +: , j{P}k s~WjOV_Ű:cE2;,7>jR44qOkT,x2'-\qCoDR챎 6, vP`m7E&.]C}xG4O% =9Qj-_׹0]$SWH'!b`5>7>`E&O ]-߲E*OqYw5,bބM԰錹9n*f(chIq'~ע>6Л`$V( X#r;sO* Xe I*M`O]6 w3w/u2Sm]֓ p3=kn]~?LC͋nL_?Hڋ]WY)]9Kq寞"7SxK\Ue.鮫P*u}HZD+nG]#x1Ejp4+.n`WG'FtAszC 9H̲1(+DK쵥xp&;^nh&8^Yv)PXGuI5.*Kό졔쇏= -}t=կBNڨ`H'ق r>L гUoͦ(] ZxV|+/;Xj}i;W=:ynɪxLӶI[p')d9N R\Jq۬EU P(bU0FFԥLY!Od }NHyZ\ ]Ab%da=gšuhDY R+3;xG@\D$.~*zeo}%M1pV1;bXl!~y3gQ6w8@4ߋ;1ҧQ"C ,RV q$Uկ #eCFЎA"Szb3'hxNMUD'a{uh)|U=rթѳgpH GRWcv#Ij٬΢߾x eX忴qK7TهT1orq]qhW4^s 4S`)Ny|$~{>@ Qp1tx>a!:֯OY4%{w_:')ļ#jӠ$Äz0lĔ/JאhOH:TKGXE%ƺdkx=OҊ4;@ ׯQQB;sx {ŀUr