SQLite format 3@ .;  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  G7$<< ] HOL-Datatype_Examples:threads=6elapsed=81.707cpu=387.248gc=54.312factor=4.747zXZִF! 8 ]ŗXiɟd)&]hS.J}+%$ ">@xz"٢%Lڝ,Gwށ{\v1ԒQlzʭ? hB w|R"Ę!EX'Đ(X5S ${t.P%)˼zu1if2yj+O}hv1Y(&&ggnl,lO2,**T/D؀j =E(Ft_Qȧ(IԵ$+x(AC-AY⍊^ț&\Ҿz@pAAmA:IqNDAm D*i޿~(U%)_UOxsj3nӼY\#sTтLJ^UGX._;PL7 5W"Q%R)hcL읹|?7.jXD;*0h^.I4tb|rκWPDz)b(U=!.5ypr Mm to)OU?hTMBqgtYkD\tƇMfS:dEmR}U"]I^\|NOxUn&[ sjTŀϡ츘%y8 3k3xK2Џf|I{uVsޞeN2OZ@rQI{[Z' ~X "oW!Z<ɍb E r4v/:OVx7(OGQS ~N%]n %KT Ɗ0(l÷Eg;(W2[bW|Ŧ8ϕ$(zXfq+{D‹ܥ`.up@O_4Dpg9_?IQZaEi^wGuJ*U 7 HOL-Datatype_Examples  `T52H3 1„ W$-!Զ׾R SI~U'|x<1N|^+V>\fn6DJq(diYi9):Azwῤq=ԤeGzb5o_fbaKϮv>0ءAk V R"%00[5%mMzlcB >)69 e p(%#f'`_"S L J`-1N51yi[v8pL M.[Fjέu[YjNe ?â>ϙH3G94`"SKSXpM/1Ffow<|׉NzqYeI{3UTvôhTBкFPZkR(hcOr_{^.1^TCt=pt^xGV]Ϣ2$ i.6I @'$盾a k$ZfK'.Wzj .̙ CцCxXǀl 1Jz ETWG~BƋ]1%' yfge=Ƞ9(<:X @Jb)eWz rY& 8p^} hwb{wl'#).i/ˮvb$3wHdaH^{6RO xGV|'xHi|eK؆}DZ(XVX(5d>߲HV vΆ&Z={Ʋ+ ~ s~,!1 ! ~q ڞy^td̫1d5͘ $AB RCLƢWO"bvrº(z:~cT14@E@ n+n^i&{vd66!R<{lRI p hCYi~ޥ"<qw NVlXyD{JW>p9l(sOA|DB,:S5OhʣX}}Y+TÓ+{|~:!;+(L1KCF25*!eA=! MDǁڛ *$*Dw#mK9RX"lII÷ ۽k@Z8"eQg4ey0P5l(d'\=(酤ߡ.>UL`#9X=zZ')\Km<BC_NC d4Ԕ'+,8A53("'0܊6XKQrRCMLe)E -Kf Fs SzGӱL"x A`c'bf..J7abQa&E۲B5GG;ΈrٸRxsdxV @`˭r4e-x=k\sA"8T [d${#l1Sohc-$ :/NQCWQ.?D@gϙ(-UPEQwY/V&f:^ɘV>վ-a`w 6HUMU;r=nyGa5?d&2TLU 0nݧPljs*REam 4$c"ˣGi|aH#KMPV'rjЧh`!ex`DKGh+mBotB 3WT׭)f_73b n6U.3ɻZ6 ܠd?+F"6{5%СQDyIRuHn,?TLQM; x3aj E'4rp b>H4$A`v "[j%i\m.`R  r8"_1xE)b y~i-g^> _#]6 {5%*]JTrow.²ܯAJ[=o!P]>(4GRN&[}J{n=rdlEZJZsDB@Fg\MdMQꞻ{W"#S"U*;KlG fѾ *Oϻ1qnz@.,}3\r͟{0I.ApXbkˣ8y(R7s ?w2&%!y;T-'=VPm>|/|t(IHbh&Eۥ ~qrKӹ@ԣʤ5RNgx8$&(TO6ͺQ\9a==ks3. Ѵבpg%AGDG64>QUaD! cش W8̿zP9q_ А,DmbeR_D$ {$/,^sl΄Q)bO ۝Q-I/Pn3pRVJi\d=iN_z_Pox,Tc]m]Ē l1yhJfYRjTH]XTuL,~VUX+|E ԅ%FWoM'Q3̥˹m~H_rυԼG VC/Z^xTP4':'Hlq;kdB:.xx@`aR:`vrq~gn9X>ikyklwr]5Wq{+W.>:lzNvY{NXV[ /-!ֆ> 0/ ?}s ,]Smmk"q8 5޺j!L:}C5w$ Qw>PQjIjS({77/Mb2'K<}qn9*W|*J^ebKȈA9^=GaTMFƨ^޾p{m(aWT@Jp"MkP˔gհIV{o9YALopb%rO'bԧJtz4<)=n'o[z-M2pf)_ E5Q<?~ .nގ^$q(\ّkN;tA_Zg_ w+b)k=/I~@t9׫`C#bzSxW9=ͺ0>Ac}5O]y롄=Cpg_LJ]3\ fߧlN0r<\H p@q)碖 *oߕNu!vv޽ȈDg ȷ\Y4)>{ca&MWPgFDB݄kpr;OYZ[Fs_DunW9oOa%Az㆗48s:@qeI# f@CFV8o~R9LH%@i3SO/"Dzۯ_& 9(j"Xrҏ5wNx,$־ec^#+&O Էjyn1ÜHsam 3#u|-Ɛ0"<@ &>.MtSQn 4p0]]ot9p(EDP$A</ Oct[L%yNWSG"9h 4F_^ @>PaɯŶdE RL  7Ƌ'9:o܋oUb }z|T"((pYvcaPޥ_,wm|;,;|!{I1pjR$vQƎRv$%CR2ί(|W),g= ڊ>z͵rZ(h.A*ݰDx.k-T.y`Xkl7*˝l06)b~~:0YJLźNio̫׋QgK;NPymy G mms,t%O-j<'WnWT^+QXaiD0W/Wrt_P_ZS- bT5S\4!4;.Ъi˩)I]غP@:~ὨV2&}=T^>rtS .ÒPIzkea"QH =*fF$iEgBa$)h$t4"lSt&{dCrMNb:Uc#A|* qbfwv-Q=i"Ev}Ho2gỔ|4^+5,%߯K6-]Z`V20<%U,4H;S[13DP`-o Y4 42oR Ktfس$̑r_mQڷP/lv(!)%kOEZ:Y5S&ҒM4сd:QSς`]^QRZ. LHupwd+aL55^".-?77we/W J>3~@)BXEDpþ`r[&v> hu!9~{9GK`W,j=4v0[kO)#,:/]dx p&wznWItg \Hk6}X5NϚZ+Eh'LYhՙELz $6}ձa8$4K^&a>Yr8+m&9s9+;*wi$RE^SJyUzP_ٻmh3bL!,)&c ܬn>;rrߵ{v? >ԄhKp%;PfS%yCCIs_4^Emly=@&6h5f7arQk[Z9IL ͳc?cꅖ d-;Ȃx@cb-4&pD=fx."^u l< ;hkNeY9.tDf"po1qRR6տA{LkܗL_FHcFeThIdc )O΃+Jɡɡ8fDkpwYfW}P]FNeLw4, ՚֧75x g ȎA9>)Ǩ+̱n*(WA c]P;G@Ġhv)i,8~ qh!c_ .!Zihz 52$!A'nܾYx+LiT$(7FmY_z5&` SzKKh`r ;fϳ$*zZ=}OeպsrO$Ɏw&6^ 5 ]Hv O-j~tu pm4br`5>G=cvƠ :U ‘M?Ci}C[Y`| 5 Z]q:EyE}(i+T0Ys|,sC:^OT.q!ghn1Es,4APpf@4[1κ-}6_VBsG$q8X:lN5@+ޙ^NxZR: >U(d-g<]E> Ɇ&_k_J!BY?/fzEَ^[tTV`< =_rFHUt@.DޏQj6Ԛ@mMYTM ز~ -.Ef;>g {('TJIXْUXںOև\5aq`B_`vj~IVS>"Iy\XZ!b%r+h!٭p[K#uXK89\0&݊0^?gX "ϊGKهnWG˱ֽ? I:.fۀ[+ѱ%utE` `)lϏ iЎfzy~ *0t3Pl!uG?I/˂+B̫[xK =GZyn9@/2D~]wiG*v89erFZ@ovaXkHJz޽]>H7&X+MR3ϱC6 ˅uѢ~ m>2Q8mO KZ~1KhG3Պ~xlak;iŇOO3 -ǫG~G3zh}o]cHX>[VI?^~3˥k;a׾Lǵ3ZՌR6-*Zb_ +%Jz(V>:0}>h%X~^~ G%uoim*7VSh7*i v%gaUrwJV=po FI !e%΅zO̰P4Z%Oynj4<DK| C/g9Z6iiZ_[*3r==Ƕ4ڥ ǥE?bʨohYm0:v])Q/aaz{\K~)F:XSLj *BB[{i"#tp|:SKugӡbÿJ]2;f]jmt~_@հ 4DUQ+w@akd|e=&Q*#ЊǿS6W%n3ij^!9y}FR!Qur[ 2h/+r85wfP*]ɣNɊ< !^Dz-ps&Tb=2/ gF\Jך)>D tB6S5" k,&90MCJT|J6O ioj5ݶݕ iVܻ䉸?-_h1i$+ ʮOE;ĐԎЄ*9@7y=QWMulr}1͒^n~DvK lKQnlV_xDP%%ưc2K9ui*A.\iVYTE+?:M Nϖ4JyE fOҖŲVD,?NH\csѝ/d H2]/)4pW+GXr5 c=ςRDz^^2JU'6zfGO'aCj+zO]$yYH? n*l+%M^ 1<4EFA $a#6m)5 Gd<jOI{6: zPV_g(<A nqVnF"?.Q\tPfccWxrO :\I ' y]i4Ky= q8/!^&_Lvm:ubMm索6X Y*{ @'r]|m \:EH:0-A9n ܫTB6"몗=LJ<|EYTy-KiҕzkF% mӀH~xCm.:3L Aps[vece0$!苕e" ȍ -K@'C3i׹S#a,d%>>x [`M +(e1,zrlp6GrlTӮm|E,DFgLhmSYQn+RTFÔ`L[aF8 yOߕŝ )zFc;+%܄ 2F-F@)T{*mں(02 ~\~EY c;w$~7S'?L@ ԌR݁/*s*7.noPb~4;T0!'A  qKGEy-Gy= $Yuѕ׺);Q쬒SWkпaeIJ' ͑L#79!vp 9pVK9G( H q[U>?|o,B9c3Q9!{AT=Mfz ) D~KJ ¹ NNB[~?WƓE ~Yf ˒kvo,t'8ZI[i\BRΥKjnY3෋G-KABչq8|XAO܃2ss)To~Zc,w^ RN{Zc.񂭶^FSݸrSJ=лް=RtoMXD(;B(鬍$K;˔1gbJ!]V)Ommfjw&3qi;4#KzoZ8 QBa% 9l ɐ[H=oAWNuTԆmΠp!zBWsX0eBR9;S);qQ7)MRYDۆsW=Bts< =Z΀C>'3P= .9vz~I԰VR4®3IlIb LCg؇[ v7 #+ 7r C$Ɍ[H@ղRc[.8A]q%I:su]{.9%YbmM.ύU/eJ34ɈpAJTo?npx-PQ%;uu`|~c 4A)q= wKGLԛMٷdGyƇYPz  Lן.n:- p,J޶n#!gdAh\;x*[} ]y4ѵZ!y{+hK,e臌@Bl,r pg?.߬b9w*ڔ5puNhR*se)]_"jo:`_R'9wmZu*,tU@L"2nS˚s3%bh݂`z5p aAT 8ܸd`t 9HˉDop6L|mHFzotA؋-PnVf地 sT<0*eT\*QF1!c I``4..=<;MX1T5.I6T0@} 戟> 9sSf,\>GWANrSi* ,.xcs6%΋̀i-R(6 L# ؘ{\YYhQbm:h0!$@ao*eŞ6|H%7wWrjKdPlp J7,:e89l%'s o-Κ3?颔5)Z>1J!yo聪+kBRDsX %\"|̪Z/In V0wP-)t4HO'ƁFƀ2VړFCݓTBQF0Q2}c]|J wPُ hDU'\?,gح°k\J] jhLOD( "ASr>pw[EVD,"ъs'%7vuM&]#pl[U6RUTuxpօߐ3*&sc{{Lc{{{&Rz[h3&\AP2#iiaG7T ^N&5`Vѹ `e`dJ8jpQХ}V<_Gܗ"}X-9rN}=3`wv?AeѲa$oxzR p~7xؕe?X ,+jࡓM#'#ZoUzpQu֫E_q*lg}L.AGr8fҢw%8BQ#crBdu=Y%N ty!oEE6 $AQ+O&'49fF5VZLzY$am= =2ӥk1T4]4RqjW|A(MGlv /@w_WS(m _t-6å@'Hj{@*KA^!Jq'hxPŒ\R4t*2#G@-D7T)I15/]vBd T6u(-`4zsoLF1nӣϪ/ˁJc+e/y_{5l" 4 M6?EVY8Vb:3] Wsʌ߈b٫Iˍ R_Cuk'@XY[1z58$ [xҜ%\!I%tL_cә?Idp?ps=$^‹k|-n!?l3fqD+|}'8x]ߎZ cTGTG8!6irvT7t /5d`qaWҡ_&k` Q5 ۿgo{ c~]ݴX4'WQ8U96,_V-x+r!+u+I*9uFC8Nb+z@-2i 9;n:2o= B!_bcmTEyU].XfTТI`cOɹ$~^p{ᨾ}M__$sangK79PpdJ=f=+`~x~)w~}W$N2-}CL䒵F"Λ!Bh,cw{+!tN?u=G "  8;E:vMqKF~>J^=a6كrNH%LQn&al4dQ B1m3ΑOD;"`0]N"#I)VJɴG:jknѪ_SPe^ePNX l"(z .iea8d›A;g@SktzR LGK}yWϡ(;.Sš}XiK> $cMkf+[yӠ6uHIic4Q؋d$VsQ?V nWR8ˉ⥫{d_b5ҤzXomLhѦGs] 17~`bzstSoEpژDY22y;H͇Pc /9.'@]u^Y< yY 0V@*z:(H[@>~(*=o1鍤T[~X~%<؁4 !:sX^cc;ɑ` b;UDց,k9 ǿֱ֠?>y-aGlX4L* qP7%~`@;ۓ3:H.MN; ~Sz .UqZu*fik4v)/םH\DžNmElFY_ BA\,&iF$!GU- ŎͲ݃N "! FIU&#>X_]HOk]  #ڭz8aF '{F٘Cp:2_Fdb%41O><(B fCi>ˠ.`BtS&:5 g@ksSIY$E %`R2rI$biW"C?2*9s> =i'nbTz$ z2ޚM(R5+؎+w:S0<"R*36$XAٝaʼn٣CܾRzߜ7R%.MiCaVj^SzC2! r MEcJ9u)V9m>S~v~/ez2~s,HIhmiK.( gBj<6g3A"2_^V ]OE-R{Kke4 xM\ "ч# G]+l9ѭ+J@bSǾ*@'5N8Et@'msgN1ޚ+er/nP&BL1NyDz~dc ,Y_1!r*w[m1U= o:U7sI$pAW{TK;XZ:2Q饺ێ[B&auBs#epvZ(c*MZ^.4q絚GjE80aFsg$T{bEi c;"$l*HRo  2!13.F9٪/Q2$l(:{='qg*AKQ˥3- O`^߽lE>UZP΂$Zcvp=*x%L +sQRhu@"M\QP&h^D00ߗK aJ4hjI [`FO:đ@D_g *PiIcz/ ĩ)W #bbdR/I~?7۫;d?A,ꆕʣи .q0獹ى%7ɔߺ pUUOC'ȝ&?L;vwQL'g~gxT[o˅/A0ʵ =[L5Y]&eWAu⁢1N FȧeJgpc+!m^ʹ8ɋH|pI@SoF^֝*\[YtԦ҅ )O?Kt,We!s> \9iD[&,Z(J:sX=:KBܞ9KFfTɎ,L@Y[])xk d*}[FoV;RBjw|+k{#}l)E?ahQj8XFm_Dmކ:R0M\V+Q+F_{z[=cs( _h73m 2>S {g1i1)$gaV3BީHS 6}/ވ"@1G /]hƭ>,(ր^ g|Z|e9ڬNTn#a/E lZ ܽbv;H7,x:ƙWǴݾgQ;لA_G7(nbm]vHqI [V}]k6tL;in? ֻR|%Ip,9]5y}5s7eB)=r%rB>[3D0v"ND>OsTGs,S /H9ÜSZl\"wW]Q SY֌ wgLvyH{bpW0ҳ!TwJQ.?V> "L|Sc)t*MyKʙDOHK\%PuCCsc! gRiȩrZZ&eݻ2T12 oMny#kJR?% <78VW++EW1u<=P[磴VRY.# "sQ*zmnHctMB*A;\n\mekRr&*d f~c5"mN6Wu]1'2 !# 갺6NIԥQt+szDR݂_y;?Y=qlfLf~ӬNJ29YkIILE;|@ L\? $DtĊ)/ Тua7R_ 5ԎS@>==~6i)˛Elbs+넛h'v\E7r:5@+JrAs'ٜ "PZ= L(ڇۍh!i .N.p ғ94.3U=jM)"{n/|-"GR_9~ #d0# ړWp㽞S5kS&LΟM)]7lfpo(N?< %6XXeA%-}OS6|!Bx8h?g/i^!Ҁܸh 3."IW%TW3X9*3Ouh9!sn@/Lk( :bP:x_]݈# yGAzdd~#ܲĈKvŞbG4tE~[OҒ3cNeYY_|HK78q)}nuiU<be/aD%lr9rBINit]rjrsLVF˻G!oj&D>c]1W$xn/q'GԻ d] ͛Β{ZO " BvF2D(P @rS0!ɗ؝wR:M!yxC+Cbde }C-t^2 v=nT_3`u) hiH>%e)"!. KJkȣe,/K39v[R6)^.ړ݋}fϐNI?j2h>Z%l)H GzupvLhˆVt8E%haFSXuR_KG1w,ӌTUsq]5?X6dj5"b1eᧈEAb}}B"a=8/GM$ n DT-*Q,5 \D8^Dvz*c~uA>C7Z04AHѽN趖_x8y *`.o3%kyT:d9g.~LȂ2[Jb'bfU qn^)@z=[ Ed2x~-=]Ѧ|?Uҁf 4~"mi ()Yоq+7 +oP敊f|C!d)r$og?~" KP7aee9NS`+eu 7~!əՎi{(v!?q"WU ڨ y=hX@oZ"? L,=iPS1c W}?7K5-o*XO S_Od\4Hf a- / 0"+I/02]8u11LHH۶21BK[Ԋk|<ݰ[}B-O lGVj8\D!?;T<ń%d:Zxׂu=䴅x;`if)?xey %vכ;sE3s>{Ǽdp}[ɢO\:ߞQ}bn m㱈B{\N3=BHtY텤="es <%,5XVsA@ő_i)Lkg;r\#_TudH^iWv2JfQ|EX}Q,?4A{じk"6Zlb[OxzxX{,PQD@T;yįK^W'JӾJUX3@M_F/.{ҩ0%d(^)MU'{Dm\d530 xI?];nh ) ?IQ$Sbj ez@Dߨ >[ilGk[O==j)[g-?<IEۍDRfúꟷ2o@OjY8 _@ΧQC [(f=8wWձi3vDjW"o5D9A".,3^3 }UM5{4䡍Iw7[!VsCPDq4%t?zfZΰyĆ4Ml].?kA*vJ] zCGou7xXX G].ǎMb j>ͼr`Q7 kA §z˚J@e M'g tb;j{(7aSrN' 1ofN_\-SeC !g FGm7c!Lwpnxa'ߎe52j ‰ U)5㰹pB)ث~,Wvmt5HH6 7v{, jʉ! hy RugU>Y$/ϰog&Ә Z'lلЖ.z T)'7B ,oCpiلB!vτbLٹ 2ƬwHϠt⸔I_W@>6 XgkPr-(}D8y3O?ޡH ;GR#A(_Pn]{83%duoiFHp Lu4~GZ{s&@b#;1EB*}PC8(%'aS,Mbxb*w8 `_@oԒ+4Rx=b #DI$/Dlj ŠQ54TӰ=7spZQ?>!cld^sɨ}"`|g/X]~P ۊzruOItvmՖ3(y~@eͣpFa0sE++ gT|86K #z:X-`Og#K*|r$f뉩~@ '8 Q8·Ra0%m'-@q1۵|6ltfb4x-z<8rl+ 鸱`aOV\qkuf*#)S3la~僁4lƛװe0<5N 쟾M:Jx"F"Pv#*[e]tSP&O2jW9hӏ5H{l8kAEDqF͢0<X#V6aL;]'‹U"yI.r7W'Oܪ쉲^Lmn-<ݫUF^*w1 9!uþ zq!؛\b?ƒډ 0h v %K2HJn1lUYQhSd(jJ+iMtM~ǻ=ƫxMloN!LBۀ;l(/ LYXWu`8ٔP3eq$͕܌mѿY*+cpKv9EM S~WF,$+/H@ TkNapnv ΢\nVIDLwٱ<-V ѬGvcVM?* /15Y?FV6Ĭ{o\-a*-dPI6LfH509L-yS@%7ysmU΅f|}_ɎlݥQҊIZ@` Yʾv%ء+ά"!͸rr E91[t5 D`/|,x;#D>EYY u"y?29/ JCI ɋCFoz al|ή¦Y'q],ޱ&KîЇ33r%5wߡ?$NuJAQi4`Y&4䢂KZUŶӨVUd桮|6kڧotgp`|Y.:7qK۠ltawH>Oa_96"~ #U(~^Y<`H6;NcI > (~+\fH\0ԅ }kovzzi0m0X6?yP*bU Qٴ+&Һ.~^z tALnLuvUt֒d1>hs~;RNKR҃X=71I7mXΐNeCrN0zcjWf]ABRT x4-7BlA:}YHS Y!$x+_9]vרV&(3ٖ.g l4Do~6cegf.Sq֏uvϘg2k`~]ԸlRѽ謩1URB-K^$2A ^k $sSj> 87bw:f^2[`sQ[)e0(kߝ/-[/XZOׇA&" /p !W~,Ɇ#_ xs\krw^ $v| I?g -h >b*t ϕKP˯*Ǚߗ7i[b:bM5!^6<%eKǽFJWKlIsC8_hit~]߳=OB.oå°i,T{cD鸂-<"]iQC<"B{2/3vpȥ L*l4z·٤n\HT?h0BfHb_K꾄Tmzd.5g-cxLyQ\|gf}4fx&%J9TtaYE" WJyu'ÅƝeJ'&-KmRk($eo-64$MeU]ɉIћtM$mXN`đuuCCb =Fieffʎl [^~=ʭ?)&4ͥ1$"Xm' 㨇k^5ߖCY6haBx/C'eKHHQ*MPOow)H)cH⽷emqˢ NVAVı0i b#scX*H"ʧ:Oսq,I'Ya}ݮY{i6'6NNw/5E][hTw@tbkp +9|ֿ…\ T#7w)Iϝrޣ? ,dlRCgulNr_ _!A Ti{"V4L7aȒh͒Zv}*);<1qWF=&=!24a&=P ,= A?;grNY4|#kË[R4%Uz$k7(^ -@VhԸf3suba#d@N(UV4G 3+h_:#]]^پK3M45w+8B+=|z!8F+W y %cc)NZ3j ]W"WΥ΁ Wilz% `ۂK#Ժ{F{OpAh hM*w”T@lnЯ@ i-փ ga<¶žN]2F*"qj3j <ةT(R Rb*Ӊw^*+/h:Xq+r˘ԃ1Kj!Qd^Oz_UZ[7^ctՌeGGt#_ ]'hڅǶy RAӤh=< >n71Ǟ_ ] ҆"E,5/줞_!ݮ3oؾ氶$bdu1U]8 ӫU]ka<.#2G&5 }p 3:@BRv(a$nx(=|[$٢MvQlzQ&pIJ(uqAp9F ~ AMO0xJFl?!eL(zR@BCժ" @>m+ri +2$Llj.S\M{ k'.R1,Rhyqy/;M 4srC\Ke\ Fu;{c;̓LgZBרX},}OEv~h F\q֑W=+@Qp^6ySx/aF81+ =č&\,IF^]?&RRه.bt]VM&C[?5gR5[QbRv(f!3CKO8É>_%Sq[H y(X[J6omKxEiPRɈAs"{kq7k)]De^" nz{n$]̅}-\\ PFA@ I&]b  CrG7nGcFB쐺@C,E=\ UO<7u\9μDfo j ؾ&'VOD4t?dGA=6py lIRGXH"1>jgXBKI0bȝG $;;lhEhqא4]Q.c]Vf B+j 3z{jS}dRkyM7`;62, zO6BINE/dwTrjHm1C5k_:p RlRaeFC]bw6A'^Wӳѧ*î]ዡн!TM,m^iANzo ?Hb/7Yzm"mnLݙ-v*::U!Uw vq6YjDNմI,ɇj&gj9`z> m,i 60fs7Ezr D}ɽy)nl 0sKG1ٖwŗ6ijЉ$en[&>#@"5lš:' Q½VCn;) ՆjOxX$hV{D6<lDo:sJ !'x֔40ev{<(H1P<%CAEř u(/:mEjT+ц%g }5wz[ !_D_߯ MsI2l,7r-w*V /f6Nt]bKO)v\CWZO~v'ic|Kw 3'9RܟlLJ%$b/]WvSȧӡRI%@ɸz3} iLJP1hx+} IBa /rzfY6.=$; qW2|ApgZlzck8wHkS.z> 0ʶIw{bJrӟ/xAWNu6us-: &qV}LRIr.rݍRhrq6.+R"",>Wꤜk . /G]]gO ivmXѰaFP:]-P,fCMSSXTu%'3i}c|2I%|u#4)& `ږ:[."6(7gjW@M@>RoϮ[8!vXV]jG$;t 3߰,t{4mMI7LQ t$[Mz~zMg-UQKcjp]F4(YtnwBEH&Sb0a* ,`l4-=z@J@߯ U9O"&X%ufbeyVwUk=>UJ@7&u)TWaΑl,Oa+!y7T_S36eH.u);`O}v5NXhYkFͺF}'۟!dnfpA'C#⌊䈯X4y"0.>,oiܮJ`k.aLтB{UkzP ,Z2} c҄9T%`=e>͝2(@^ xGmZ1Ҁrˤg_ 7~T]H_4% 3@!t(b. <e~;M_DQS'_%EC QEە.6msR7;^3eFn%vh9+-#{Δò TlMyK-|nm.HKN. Q,Ƶ4_ _JYױm8h}v1v"]L_f di=xZ:;`ji @P&%zJx)%+kqB̆b+(M~d^~i*9%8IY:{A Ͳ.s ۧ{Cpcu_0ixbB.rUwƿuA11%jU5/ahM+ k!dZ1eà|i{x[?q5f94k!˖Ӿe!/\-aŤB9sN`!+=*;S@ l\+7AgYZ7zXZִF! w]ŗXiɟ1)*uԚ@e^cLl`x(D1t&XK^X6A~D@Yr! šœ6EI<6D hH[6Hm!B\-}4q:j ҟABbܸ?7Nr&m`6. ˙F,K$dC2meAmZtn'zhQ:.ѠdC\'V@xAtMJ8x^V F 0;E**%COPROqWxոes#8D)%߱mݠb" p<^T2wC5jT3΅h(3fAI}TW *os$t#nFC]i _)تUDIK٭(risF:PָWDxՕ劌ES}Z,/em2ՐA|<4gzhwog󭺎MkH@GJ83j3媮Fgdo|\ qB<0gYZ7zXZִF! AU]ŗXi%L uer%]]e{SZZn [v)ZVWV;2Jv5:1@m\q-\e8XI5- 5ZX&Cup86 QK=tG~Z(,p褻3գRr5L{6T{GM"h,yZ÷'+TbF:k`a|Z-L6c6O.DqzUpNCH=-O icT$y i 4~r3ɚ8S5 Z Cfi\:!<7+(;HUpã'v</p G"^q8U3¬ dX9múR @}V':B.Hd殩[.e-4pwN{7$ZhQtҪa^7 J~ruVڳXن;K]DRA1,dFJnQӋkAyXrtHaO2ij%&mKoy3"*»|L0|/D*!t/7 _%; qe2&+)@gb\0&8xK2g⇣  Wxq+Mh`a]K6xXsd<=ooϙTII$cߗN޹eCPu\'+$ ƶvA/g9ӌV27$iuNJ9Y圯RU 8OuO>vzQx̍ExUJ:)Kl˰z`F%k% 3o< _TS$ Kk[ w%IG|k%t | _` ~ۉJQ\Q]Kr36IZʿfbŒΌJhwy_x \u!Ϧ$8M tUTc,52ߗuӉ_Q?0g5NX\+F^&s9vƑ ]UM8T:Ćd Z;Y-HlckR hd\ڈ+)yd^@m|Qw.A8  =Tw㷴v_f)70 ;4?(WA*c)ܑ ϴu@#AEȮq7oˀ̌ep ^fn<`/ǥWQ>UX}J rLn ]B-qir! ![Lvc'n4NJq?(qj"ǗXR,!G;Qj\0?99r.gTԐBU?ܪ3у:ḰcS/9(:׻vxo;uz!2FQ5BrY&gALÎG3|!;1VJɑSǀ%aT i[%O7a c;j's3\ I.FB$ ޗvZ=VfFI'k|.vκ,9=] pn:nۑ͚, :!ϯ:~N_:'sP5MF"„lfYɥ *+d/zB'H.jq|t] Ϊ%"K፞zNc_piE@ײDɨUP|eO` DIF;@MJn|ClHYIۘ ±6)M<@$ے('J%@ m7bԓMQ'Yzy_fـհAK.P)6GTm4N#gH3S7J/ٙ/\-G츸Y0)|x4z*=rba1.TJe7MJnMkS"ͬ"h ǟ)d?<jbShx>Y2A]V\o!$y8-i6pPBG$Bw=xΡ/j Em_h~_3Hޟ= )"JucbR) Yd~(};BVUbCcVfFžC= Z@C䙇Y8b`ar{ȣT.thO;z࿝\aTӜ47SWFV1njOY,ꦷ)i}4E^F DS+G>19oYWxl(5[[y<\^4$ڽ(}=-fq~#ׯzE[>,A !s1B!B:1y/gK2%@ck0*A'5@dTejzN1K)Q K}3Oz~=?[FyF SIZq&l'+?llE~k`>pgT(ݳQ\U㰰.9d+fFЋ\? FCS(L!͐::) RLr| 4gw9ݙ lã*o6({ ZAuAѷs!Ý=dpSƶt΍dBջ:@mФĺ ?O+|TߤFJu̅}ȵEΪ ?4Fv89.w59h[K#ML,Ki^e 1K$C/WbuӼqXl--mjD 1Bq2`ڞzMlƾ> 1gh!{;}_dZFNPqWdؘYUۋY lpLjXof;ΌOŠz^ħT]mlyJf KڧA>x]]N҄6܅cǀ h1ic&̄ $9AZc"QMznrvM3‚yɮnN7dH|4+䮵 9BHb/DqƩ-%jTHcc\dZGga]TD4(@"V٦T=PǸ zߟc2p(^!: i) uM0bj)Q~'$KgF/|F<8jsa<Ҕ1t\{zCuqxX,XzH&VǖYuV4Ts2)OP=SuoN'ŇV~Aɽ(e3BZqYC-|4kL{S~vgJ`W;*wz8fRZ,TUimP2Ko p5t]acPs?OMmI8i u7\uyW:9?? ](|(0S=jlTfŘ 0TVR%&@YNGW{_ܤDI RX"7XHd9V<0.oqNdlR*8(DDt07 "' )B!X4B}ovGG3HF.Ni-FA34,ۣNȬJEp:>G/B+l z;h!u,[> /m2. 5&cw#)Wg1="LY\+Elf1#/>-b|q"6ez|/:gh= 8crՃHt35JFJiKP&i ]>*ײ[zXK>g zɨh!mjEiaD~nmEOFv*n_5_$EIX)şsZ݅0+̔L龣+SH[\ws=y%8:J.4@uTp]ZfIy!)5 R禁6da+ *,<Ռ r$m}/unk(lZ(l i.itr& 07y :n5m{ib(θ ֬oJ Z5!MsL&8v'Pfͫ~x6P###ڬz.C/#bی'+#e^O䡅0Ve'&|2Cʵ+y/fO.|?]!>n/v.-MS'Y|6 ݖ'fr Lj\GBW32¶hZs*vPT*j֪(]D|j#Vsg/uC7ID^OEƚU7M>j<N勉2a4¾6R gYZ709f63b5214595f0d325a52fc3e0bb2c2f3414ab5c7f58afeef8c5dd4bcfd5c31cb13ea46e11f362 8ca9ee974323b5c8c0c6ccd32fcbeea7d0214f8d afbce13905250e211eba44b9e6de1482ce641895