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  r r^7xlD4 ] HOL-Datatype_Examples:threads=6elapsed=80.183cpu=390.468gc=54.8247zXZִF! .]ŗXiɟd)&]HhR"P, .N gqaU_ܵz e,9N_W*@6h~S(d;ƽw~8$;SXR?չ}͏p-`2=8١ JubM`._9ľ*W xzn^2̯Żo?hp ^`7"CM"bwu2f3ښ_TkDRtc'L|c>fȸaS&cWk t;!Z;'R)QH]m<@7j!Lھw*o,Ns mI@YNL2 38A6$!XTk/{q*KP\ 6!A: Qdcd2]̼!]>ABxG**yR`n-c(O0NվN /J&76hY.P7wo\,`Έ6b6 HPH:)UqIi fO|KC~ћq`ULد^GfɫkRӖ.=v f9<5j^cq<:2j+I%XgЭ9u$hݠM!&}J(,0Ҥ>x 7 HOL-Datatype_Examples  s8_BnF)0xoYs1LrDN'M[wz~e5 +^]Ji+^_GvVhkSaH7`RM2 "bߩĠk+O -ݖ~Ln_B0pPԕ%%=}H {,RSs20pSx' (xAmڈDe+jV{R[1uLS!̃%)5">_$8߮'9*Da2r`ߘD~ NI>^RPy7[wZa \_=v-jX݀#bUFZu=ivGÒwĈn6a|e!+vB؜Ή4QZY5[~G_>=qelM2Iǩ q,(L}]0H J; Q1&kϢ[b'{dؙs4 ]1c%[Xe= 2fUAAuSZAC>:w M _8HlosZD.b U#6au`+ o8_:a2_a5u nd怱rg?,I<. &`&O>ǝ*\!M ȽB=t}-F/뿗 A$FM(%"1IP9iSw1'b9{'1A1%;8)zWN*;P6S5p|9ڒ`$JnM)ҡ~J_G_@tP&#fڪf@ QIl2AVTjgNh}dޓ g6kxb &q^i:tdB9Xj;:iM:lNYs_9B(bGߡ W6jfF_FiWbb|"."z&P.3'qio1U:8.= ;6-D`ẓm"{&לXq|^\)"+|HE}`),?hu)2Jd&ح}P_ߞ&Sҋ Kx2pa!u:"ܶ 2s<8 sɫ+s-UzNI\3u֟=N5MM*6wa05$"Ig}LvCI?.|H`q{7lƈBL0O@2 kݣԮNwVZW޽C^1 ^t3 17uz v\ \<3zϥlP}p67C)405b.k'?]E{j4ՏJvE4v7P!MK_= +SPN!\۳;!5!o1OCOm7 Qá1D nKoK:Et4>I\7lxLD`0gz A]Yp"Ă[>ޱ`ﮐ{`X ǼFi%HRdHfZLUnۡ[be>QPGٷWo|(c:^)ZћR{6^C iDI,`laR¬ϗG<2cٯl `z"4?^ƲH5,[@8+iYQ-]#KGõ,/7&!*Z-Jo$wدEtQ'Ď@r2t8gn ph:`y!$)L/(1ڪHB`bs:,%Vv{n}ٿY ܯivLuט?Ebs|&5E.$H'=_(=&n7ADT7kPe6mXcz7)ɛ2fc AEd]~U)KKa6U0 yITŮH4&S[.K?~S8% AU;mXoNW4S4c5mfR9jtLA d-/"|~0s;燊ȭN.Л6葋w-/\{Y!pt)}lo(!oMlBuF3WY hMbiټl_KQ+"ٖ&m~'Wqf͵ 7ˋlj41=tq;pęG 0!U]=$k|!/y"XL!06(pir47gnTa+uG  ^Tl]:+[1~s'lC Z]x?a%%}C/B~*5Ue>c(U\˭l,ߏL%;.@ S,@c5'5ϛ19]l/M`W(St[z_ Y^Ҍ۵l/OƺZM?0j=>37 ^#[{BuUmETy'][5Z 7A͛`k 3ư@= ܤ_lUXozXFhiyucxB>k|qEqmXIJnKX*1ٌhA013s1lszt^ӡtƠN$DxZ\*p:mZO7\K6F2w@Eb,E|!Yϰ)Xr9Yg!$hu+ jŋ-%0 ni̻Xs¼'DE[U 7V`1"DQln( ➟|aXcRO- 5FM>=aT$q"Y͎>8)C|- |ƄZp ;G!%CtQX@ͦ.(78AV l-b> kh-~zЭ_}mN2dsS/))CFdM}gLazEXNo%(odq,R-$J-E\V nU֛:Ȍ~8 4I dlgQjhmٷT'Iiq+G_oYxmlIg.@oZ Eהa9njRz5 td>}.u%I2CF%?a@4:bSmfP>U0k !A72wo?33zo*fpb Ĉ>KM9KvVzGcc²,xqXJ2 O:S6W \"OxȪK^~;%2]y+h?-72xכ웙::YxF=Yxe3.x`oUFRE2̫ebH@8ݣBZmn;߮UL}%5r˼4٥\y}pg8 r gbڋvW{oIULC۽_mƠ=6Hsr̜Pou\Q -`!!`ԽNkęg+w0H!ͽkTR/td+ ha&h9և}7~`[/ϱRY.0\d?A+IzXJ1NMBuԤ"Hs X| 9oE% "DZ"ЕPu$t X-v'ח~0 mr}wv6rA+ 㕂*-2)$bε*TeY'EJcj`jڏ< W*5=Ma09~n\x#%siKAʈL6 O=#ޔe^՞L_^̭s- J#qa| !-=x Ŗq9O"ls ʜQ}9\׺g*r` JtG $4(.K͒PQu#{@Dl!0(߯19̻$M!v9ܱMۋg϶WysQ|ao3]ݎ*($^]<8 YN:12$<шQ*-o&z\yt)>X,c\i#y=@vQyQw| joOSL h FG^L\;E4v OAvS^46'we?&R _$_sb #GT!S< %DI_͠d`0WP˷UQ}Xc=[1mCRv+ 7ׯjpuXo G'zOl0JDM'xs̰qK茭i:à--t+\j'b%/ۈr~!̢E)es4,7]͹x*1a_ 6eO^ʧ6J4\gB|LԶ$3Da.(Xpzި.,kkz=bT9(x\h}HOHbz~6hף;}-nw9KjHUU|$mMz6lB~Jսfn&iaꢶgsȠߋ>Lf,6,fo%3eLDXKFz@a{vO`Єm_O|HC_Ӥja^њv ܡ5r#"]rdPyG7‘L$+ar[t%Ƽy%zI4.?(HV hńMZW烧ǃҌx,vݜSvgzIPfx힚5;"T0j\-8-\x#DB>_A .wA6=.3bcH87T[jK r_Ze>^>:1$b)1Kl3sO9] 4ފ4uc4nZƯ{\+2UMBӉ*!nyE`̗fo+ b`\"- 5z\.`Y$.^~/u̒,6Sj:Q ELe&/T*yG"5tEMs @0-ظb68}G]ж'dJXHaI}k5gaQ#--2^,>q廓LH[ӳDG{ Z8+ w!wk$LE#/Ҵ!ciF*p[A #dtO-l-9BhWtzq@B p@`y^ YOj$)QXqsC6zDmhXҫbD^'[BCv?=+L_m7Q*]-qmi?H܅߰L٣A}^NS~ x7PZR!Lakc;UٔjK|M!gL1ՍzpZzTRQn?Y6QSj؈M-,m)|>IxwNe}_i_4ciV1ՑGP]a5w :X9;gkt܁+%Z'Ίs +P []3tr_γ{_ݻA!pxL)kp24 m3tpmn6$jNe1VH&j-0BG>$([y366`'JU >Bt§hGZˍia4(9-I?rOOţ[mhW6\145淥׷'jWދz=9UY(gʺLIjqSnvN9?I-/O0G>mT5+,co˂ 3W;ȞTyG#ORoQU~/=C) #4~Rx TF LTR7-w7 Udfڽy| +ef2 %^ R۾q9|X 㝹-k .oSX1eV9Wd.Bu?+ht"/<9DT[;yu ]=&\uջokwPz4_Вz#: 7t::cO6*O_B+ G |.dA=j]6zz+P|.&/8iXC˄@c2zOHϹb6:v-Č@wtrM\;v6T z_7еu"Yr E2\a ;Ok= bעK[Zg3ez{DibPJ:q4ׇ9*[nzGd\ rF B#JpJm*'~PW6kXXsj/a}<>1uLҿ5%+Y$I*Z%ES}CwSm \V7>zhpxĿ3~\fIk'R0ID-[[!gŕ3Tu!(s3oMQ_%  p-P2㰹`GN0AmkaPSad1B AL.`v1F'A0cīڗ'2'Ϟ z"M$X~wPwfxq/3AZ7|%-{ sn:1~'J7~~v,k23Z ͙4j6@~證P~oF .~WOqex(ͽIt|Ŵ%INJK3<Sޜ2dwtgo)OIͶ_:4Q+عSI")"iR[RUO#]-3x7FGiZ w%^|u{|(=qN1P!;p|YSaHYspo8Jc\$?J(.NPUО$rV} IndvTQj^SܙR0 z6jY G2M1玸ůԉ[a}c+_ֻW_jnqZ%*o]\| _J2` \eW'ph$ؕj8;Wt݇,V Fhϸօ1JK.-/F!hr:Džz/%,M3m&Vxn,*bRf(GֱAV][ P7 |)PGQ=rwBltr) &B\$ fi_3̡)lQ-AX̂s~χyO H82\Q#F(U4fY"Ю*wZ6׉nx-~}}{uVttꢓ¶?,F0K#NE™ YS0ш+Q+;OrNɩj-XgDkHI9@s׉\gE0Ā֔(dӂP3Wo#t"H?zrQ#A.Wͪ֓ClNr~sVl8n$ bL,\+bTO}77 'g>EQNwFIaQX!PhԑtZY| "8=05wL un >8v+M ֦B\4CR,}:]Rzdm̀;Nm[|Ğ5(p7FG3,vdg}:=^hSAuܐ0'¦ߣ?\WHVN%GuZ~ J4^RTVfӈÂŋ1it*Wz :yWωR_Dpֵnd 1m=I"s +(aC= *D ƀ"Z BMe-S"v .vW($:_(-:2MH)d6/mZ"wKV~?C'm~G򙪛Y7=bx똢ȷ}]WA:tO]W7uKg@ġ]?cm]Z miÑE T_!7)#3A(*WP&TS$ )Ǝ$Ӝ>SCa^W--RҋS@? V̾ Yf4`?bUyñ,SƄ[Ŋ=+J|[͗HG O~“pE^Vo}q܏lDҹB,%ߛ `; C 6Oy-SXP4(WBx?ox鎐ﵸb*t)JzqT]a]:Lh @h$\p)}vBE=,̸Idx#[GwW'Ԃ&{zLׅvsQh{ ^A9'UH qwƪ) *%!|.gf@g;l-`:,E<G#? ;%u#"C2hՏa=9F΀YxYi v6w,;ۮ^)ƅ5,=5u$tiB;$2X7Zd&<|XSJjrw|c'$啙Y9xŤ>]cG~7M2& )!NjIC} xF2 "'86E@¿ux1'7֊N%"4XE,,P+! uKlJẽ2m߭u0=bsTyl?DXn>/T*h`'Paos+iaX`0/AAQ?޼uhvy@^@Z\yk\x hx84z jbo#"x 6L_e36čBqJc ɴ&#+0riOqyd>%+b  F -?4x~wf5,)л4s wnohvO bPL A8 M{_(ƾw ! Y@?1c}ugp |Y(Fwe((UY \diX*?3'z6HپC3䩩yxp2I8Le`7ԗ*Lx)B`-sjϛc/@!a87 zAjY}Qs\&<6u|[!%yXƦ[ж)AaivIgv~=Y"2DUMCWAt1# z8BNsvsdF/l+%ecYΠV% @Is! "n|*vc&Q5rةV/ rhƎM@. A% G5-[v#Jyk@ q\|#<* U}g|edt6<' .HPR6k=:0>w7no ZTъ O7&wS%XŜk"=Ři@`pouWz) KYj ~{q;Hp=+ p @Ofi0{j#xJ2DL:ûmN v@v&m%IAco7DHt|NZm`ڀڱhNEP'3?+>Ӎuf74]&ڢEK_>0taA @!i&DTB'`M*_Ke zxBI[S^6hU[Ԕؗ 8r]_RCfZVQ ^B|IAjdg!b&rࣼHsG^ $ާq|RyRJk=sʇK1ӷ;6+-!rq(.):⦢xX3hP E]T73w--H Īي~MO )>yo/DVKEPMupwࣩTDe G./D7E x:ĺ4֪zdg%@?'^u՝jR:Xc·bǭZpR'Ӯ\, \E%ֻb$ٖCaeB\i+ ?| A8_7$ijJ'(NƧm(=Z5a]{K9޽'TzTW;A~J7>϶(..]tئF 6.΀GA_  XzkCy][!AT?lY2ڪ%ܙ-)oLOT+V[H>4Vv/1y}' >h%I0O"] rA咲3/-40ҞMBWo߄7PW)V\qSۛol$7dwOzW14U֔.!?)(½hFu@c[ei=_W4]|}Pǀ ܭUZ~w(JWyjxЖERv̑,s^՟X Wk=$MAFN y{~Ek֊kAہK7r5+äb}Iѝ'~xAZ8Dnq>aСv]@T!Wmzݷ_"n`7@FXR^[UUn3隓5|KJ>{qZu0CS |Ix~zSti~ YZ̓B{`&ef?fCz>?"WqbJ3:BRLNg[wpUZ[Ye[A4mnV܋sAHs|{R1FAYa~8bt'ET|=XCS07F}{raULbj.fyXy](WHStQX͇0zo}-X  DͺgD<,ASH7Q:' F* +B+S<ʂM~Ne\|E$`/$ NkE 92Oӳ#AJXvܓOIQ\=FM_\E;Q?:/UN}Q.kiLZ]uLb~%">b-sŪʏ|ѐtYwcʧ3])ܼ^"cOFaoUE퇥+kU|CЬ=7uy iKwQa [oPv 2e[EdT1@iVn^Þ fZG Q:;]#,᷸U";w+;xTUi❍vZtebiAeA f{BL\,\!sGə ni|%u? Palv-.WsdhL.)]v%6]۱&4n=gޚ UG6D n L}w}n/l r$[.8*PI!Y꿑Йv[,u:;F WCfC7o¿d0qzUDNɩc^QĊְ]!R$O_qv8soD(=K,?C|gQ.yMKgP,대IC$#<^Gut0vHYMaRn-L5a98<[*s\bTb~gBĽpD4LaOi4I0=lÃ~5Ns$L7_U;^e9AN2DJJssC:4<*Emmܛf-쪍yQ #͜POf}ٚQ ^WPRBba-j x4l/@R5tk2򛞲xX].c]_TuY1IOf:X-*+y!koZA=7K//` K$DBòԇy9 TtÀ 8ȷA/Ĉ"c#%TmLHh侐OXOq}/qMjۙ uo>~9cI~|.q.ZFbQ p[4|>߼zc)] )8M;U[NY%pްPwA D6Z؎.bgR9_fOYHĊ$JQxAx8$pk#6;4/VjT . O |p|h1`zuE'jۦ^r{2*yw}_$P׉v7P~A0T'oM*Ԋ%-qM΄(l] ܢn'8my  S(h\[iI;c/ӰGD$Y31آMm\?TJPvV Q)X$׺ia%I\sC&=վKŘ͊I~xFΊLOƱd~DTCŕ7wkmZ0 unƱhĆ州0^;,<(EnС~cWz=ܐSYNW#Ú.QqDKg+͙ì2KtѸb>{%^,gc6/C=Lu0lrX6I;`K:,mG+*\ey+Xλ$wk[L0VN]Ԏ|B.1~p(Px*2%NdvZǏ) Eƀn (A߷vz !`C%nsZG96 I=(8 gu^<`wspV(j a+&jƑ4fՓ=M[٣u$ !oT9cN)&vvEPgMKEP;ާНL@iGuO?1,YkSd5em5{fj}+h,2 uت w,ӬG-\&.8Vu1w[L[ML^bJ>a݂ "PY3đ/9H%rA4nRm]Ɗ[m]8ېͫ"O X)>":֐izG_G2GP^u'îlPخn%IkM# Ŝab(dIy7:18]M2[ku%yMܠ/Ŵ E8#X]؃yzJ*VYw;Ǝ $PFv} l&4=~{HZ^뢛dDvh!PL ,-%7)l#Bsƽ`di +UJ7\{vA0d.^xq!rK\)"I0b7LJas^SF!,dp<. KI N6>Bd`@H^grTXSl#b["dlZĢ71ri*&+څJu1pUm5* ;Z!ɦ;l)[ aSm*ߓ%6`%t]俕6Uh,>MHX_;:%w[g~oJ]ImOW`MT?M8C!'Rj#WÃaf_W4m۳Iv(W~g?돆IůQ Ms_ I̠Er^5nేR!bIq>8hu-x*˘aq~1 q,`!n||&ЙT_AO3hw!H>jJ`x V&5 EY?W SӵehO÷ۘ ֝& "Sy%B\b@/b~Ef-q8~PLǽ/>m< J#Lu4.އ% =Ri;t4Tsܤ&YY2n9g=:3(w$\Z*粳4V<>U8!"uԖ]o4@*:R Be&ݱ^-Gq{]>ҷ~q3:,ga] f>:ⓘ(ÐJ"u/gyj9>{m?}HgX*3ʄgU'䝊Dϖs _u2}1Β4U[zo΁cm&m?H_svJH(~HoƯzҖa\=1+8>71vTUI_"_'vI]G07һp bWoP8Ib+njwV:NR]Us>sYczBw6a dofY^m1<0Kʼx'`s\^yo8Gݒ[5u,ޭp8u舫M IP >ADtVVy%>kn^'g3XkyYGo۔6} Pu/3u}Jw>Wҫιj7K@a/(GRpaP 'B~$(RbDFB/\o/G?d:a2S0Jc_q+*6k6 1BkAG23'vX:&ɂ'\OG| PV ęhQ*Lj }"_xI\Um$M>$cŅ*ߦ.UK֩nWKSo~KFUddmzJ߻U z0C<( .9 ^`2l N,!LsIV'H^3szDS:ϼ ;E0-$9rXeָ%ϳw=UN(:$|{}c ˴Bղ.!Dl)iڕ?0/q'gA  F{Qi8ސOK'x.lv0|D_.p KZ5 &`^4Pk =+"_3a_U 7~Ub+sѦ1ln3cу[1 f.#]vnQB¶r@W 8s7O{l0ܺىiQ_ ~倪XAEa`AQmȔWa` nɭ9P@.J&]:8n9߅JfF;%0iZ%$ }؍Lbz'΁䃅5d`%*O: CZ$ɣ̬V>ʄ䜓@T9ce9:(l R,\RH݂ 32Fҁ^/_ fC"HybY =$ծGFM>_gr\OE̽VȄ}|:ʡpf5J dߘP=j1J'ܼ$]؛tO0@ *we*'{O` H2kRYo!Sk6i5HqAcw(CښN5\(yJBM1}ɧ [Rp_h6l+@T$h@M3aI[-7=9c!5amV9ar;nEI F7>8rB =xFş&V>08.D$IaE}V|4|brw*3v6v@#rwrFLxxoѷ_AnMShnV'+vj+\bs^ICo[.=! X=iV`Ky@Y@jf'.Ȣj.UQaq>s"E}0$^=s3Z ZZ8-L э2h|Rp"pf@5eFz?r9/ѫɰsii5$i |],c/ZnO+GsoΒ͡pSZۢRC$"7[u|GnRه:z`;&Krd|:} @q|A\vq;=';ѶzE{cj]djC;j*EN-C#q206k~9SbF,mFg{N5!fE:_otA\Y,BJ Aeb$h7F1eq%[h ?rN-y8NKFJy?I>O[?bCY W Vu mb(4tڽojY1@y[}ʸ V\FH߼1o~=ˏylfP8f?>3%Ti%`^ѫt}FkqCА'Ybp}MjY)sHp9{L:^[rM戭ew||:vEǴZzbC8-f>bb .1a{#qPxS] y w3eI˞ <S=nq*Cy9dA/r\g'JKn1)B!_zثM^O'uZ8JmƇA)V+~Dx$ '6?E*$5C@? 5s =]PFمmQĹ Yِ p{z,&-iAIl b}OOWMa5|J ~bmP]B_G=j hi${{?;iLΤ7RYM= |{rKޓՒY0j+?x5=AUTCBnJ' EC<|Ƹ .p~k]Ι}ə7I"٠Fݛ 7.>pEPܦGq_K!4mLF@ qIN~'?~6(l|ŵa 9DŽ(cd,Ჾy"̇-hpO?'q/i;ڂ=q3 Ly=2N:'EykE" FnFM(MHlv"ESQ !s zy:w(i=daUtN'GxyQTm*# (fdcL\j91Mjp4nȜ ?K=%+1- 5o.㟴ٙFeKD.B|0:-'+.K€0a ύlȭ5ƒ$UÑ z! lR;S-dՆbّpsCs6%c\%u/:gƒ(v% \|Ԩ _KRTSi{ L^ j~>$QQ!M9нoT۹5.^! QU# l1R<-2|@ XHt㶴)};kS;ZcDxT~ow'Y%jK1w ^s"9 e-skK弔qD)ɸm*uA\!Ye{YlJ4Ǧ9uꥸ`h l5GwBi %+<_'IQY1d&_K,[WśW/GQ H4 XFW 91K1LdwvOE DNuH'tjS0 F[NQOL9ay31Kw|M6@B=0AΟ`up6FU3Ue>nD<֬oږW<'ǡ2Y{E r倱=L+/|lxOKv#] 㝪yW5""p\!75G6=`rz3 ޺_(PUyjwܑ^` PqH-x8["Q`!Xc#iuA{]98J,yfe+y+vGtؚ"z#-z.H ư˳ӐfJ{N9AXeOt0xi"+{\.eHMt L,w% IkOOvAX(VϗR8}dm`-5GJs(ޚּާ ^s1ӔjbD=>>S"#zߋ,r٧E5MAF??;emUqUS6?ȊiM*%`?)H(j$K oD5n9NH?RWT qi?"UjBf~"pZ)q߁ ^U]ߪW=2ƶ\CzՙB\Ltg?E0e xoj9GZN#f![@ֿE*FJq2_Rs.@YTiU. ~5EUZ Sw:h42nGB9^9=*V>ʜ4Tdyٷệ*/tsuSQUXĽR/VXעF^X-܏<f͡dƌW#RdfkivjC5eL']+Յ$oƣ5 2'|I jm6``7'V הnZej\> R 6N ŦF__=W.M:gP}97!G=4B)@2J.O \xHr`qi$4*&;uBN ydju]ī{W /[й֥zh"s#FX3KB__ک]*?Y ~S`Akɨ&rd bLSeڀ\vītRy0ݎ+\MUtE#:wNKw<wr'hט_'ū5f5 0@^rඨMlNڈ2n$9PePh{ D:/_ۂ4 ,' 9Ɨ8熓,3ϋu«e]uTëXmZ[b=&?'Ѧ5kЁ5F8 O)Tȼ*"|r .!8j;wXVk."wqªʸ0%y1 HpU%leIKc${_붋 ^6ϿD>%7˙zWmc,h./V2yVEtj%8beBVr9*L<ΣWƂ=ͧ1],ԬYfd)"!][*zbMqpqCt@xUN@'hSv*3f fG<ƥ:ʖߞN l!{r?}iA0:t ^D W=?p>|6z0>hRh-^,%e 6s:ZLO9ۿY _6_!+{Ω{u2V&P 1<DI G;>l]ܨq`j\v5*FMu<+ӎ}{Gi_BFx e!(V3'$RBY?jNL6-G}W\~ّ3C 棟}qӺB8OD$ zTi'(IS)OX",+#ڈui^묰3byЬ 5mI#EF j(}O 쩑g"Ӎ]T5:MM}mT5 4eCk)IAWn .sŢ^9<QM/~grBCXiwAƟ=5nhn9ƶd"ix7|FqJ%$Y5z1Nτ_dӰ^ Wث7 qBx Mww %OѤ~W~TOi<=~MZe48¤{cQ;?G݆"}qOJY7,U2I0Yi"3CM*L/ЩZr;dT'c" z"] b!AYfAj!H~r{n!Sb6a5>FGqUrI7]r{,vW0 BV_?~q에9bPJN7,9AwYU<\<ĈI S*zin`ߛǙH\^"n&x֜SzvF=R i6jR1ޏYǩ/Z2P OnbZvuԧc26gdCS#W~rLmhifd`@ [~ǫwr«riAEyoq\=Mwp9|, 5b&ΟXL4=|LL rH~>ͶQ#'%_[`$k$faxi nbRs%.i UA;a6z00yyO'jlYn&. mM_F٩fƮ DB/\",_%/AQǎ\l))kwME5 rts8,7ҎFKNYcZa;Wp*-'Y] RW3a8/>a {,ڃشC -;~~QE\U?.9 k Vɝ6M,`Th4 A&L]3փѝ.-U׉ZB[H^-{VR|@MrM'>?GZ'?n>]GSEtp!) dxZܥ*Ajmyݦ dhEHTm{>"- ÓK8utI -QS)Ɂxt5$5bV{tq!oFl86ch'+o#ĕ~<2Oq=hHe?42ESӿdW357ȐfCtCU_ݍg0Bpd2OkIUh6q TGx""_JA!95vQ?&ϔXXVNC^ W_:d@ukz'o__P@[P p`M—;O%%㨩fEP};28PƜ͆6H$UB!_}vǟ&wGHonl"TLݝ 4"6F2׸DTBGiN8; F~_Hh/@E8{ ݠZfZ5S[ o(4g @T:/Ld]P8Zc#"׉W:6;VW4ҢyBh0h768L\u2Pc1̘֢"kZZ[0 7Oh7(ni-Q~c;ƫ_/Z8vr1\s5 uq!.,kͣA{$p ߲%c#@r:ݣq1Cmy%PPOHQDcoA<~+M7yH`ͅZ^1Iz!Jv/YE4;Oyv^?F;p Vz4}NR({MYJG並7vbQF1*+PH@baAHB9l-v[gM˘_-CfaՄ (930 eQ [c#L^e(,| {@'pEa{m+c\F"`H[[5K"2aſ鬠!%ZDp(;%I\+`>)3_B4֋1 ÷RW(O A0u98?i3c;;),=:ί&x AMu_S87uP)pEg}ja@1u}'D(H1OԌ_춌oxYy6"S&L!S;4^Q\vd'fREΧeQtr ݾ2}lL.Qޮ,MW"zWd/UHY{k;Q, "*1fI2AVT[q={/{LScqloָJlBZQIMMAA<[9Y_4_۽p\R;T$k;~9둛i? DJ6\L>xPʠ] *[K2f E7RZ`~..Jʩx& qaU6/4Ⱥzjܱr&{؊*8QrU0Ĺ1>E˼[Ķ\(0SX2qƥRE̝aI+!sx1 =4b HzZq/oPꥪRLTP  X^=ttB߼NE63/$"]xsLAJ{P`REN`d<}KHiyI4ًйg(8fjpC;Yl_JRH Q vD/F5ZJ &LmDnYuƻ`dAa5d鄦@"jD!հq6&E8tgU^Tb/tYg/l\/,6Yi5Q̣:A靲@ zqmRT.8}5 2>s hYN&$Г2=(6qbc;QOc~٠ZEfF#gl$,kKʌ5 gYZ7zXZִF! v]ŗXiɟ1)*uԚ@e^cLl`x(D1t&X 4!ԧi^D9cx4uE)[>mQE1p܄j*L(ILM>ZnD^b2R[ ku~5ȕF:y&pKqi͐}Fm;`#F9yT8vQe/ MpK4 VEf@\) t#`]fRE5N!L*] ] 0 ,ô_V_)F ]=Ęډ˚r| )5 zdГj /{B/GEg *zDwHӖϮmgYZ7zXZִF! OT]ŗXi%L%1NPHRk`,/}g^!:/{k/H]M"X2kptRJݼ,Q,&yuYNJA;>t<TV8(Ȑ\3(If0|@Rҍ6*l]E0z;_M_fv ڪaBZܱ_=>`aYq_QW^$]tR-&Őm1ڕt"?:n^&n׃:#یyKi!sĈ?"L@l6@^LkfT(`Ha*S'8 GK($|=FBv"{QYo5*W,YR;*(v&-EzgžK~.=$FV^tU'jb{?DHl|kp1.y+N)4$nav|MʔEen-E] =bǒ 'FE3 j pY7KoԨoXK?>r\ !V ^uURPE0z(t?ZI"FdpweI$o7W|tXvi4 !?ԆgD".2=M-/#/EXV|nXwzkC% -H十2$ #\c |$9??% ͲEn_v,doUļ"t0mSGq9)mo`48nw4%=pB26.ʇ8*u8+t=@xL'q_*w|If7bp+X3w2hRrDDqF܇=D.z$T̖0l 9nO#|w$#26ɀ\st۫]Dy&} CE=404rd.Qr{̳[G~sמ&2U/JUGlA95kP)H2GϨy'D,=n@Ym9 k H DXL`o]:!nw O2jnW.l1N6i {˨;)U8o`8vgVk9oSZfuYƮ-(Kn`k &ѱwFN8)#/^SV\+FʁV=[#5`/A0@bra]Q%R\j734{D.AOٶݸ]-S /lChu1ػ@o$!שYS+tq{hҜ 35&gTj^nOTyH)4-?ՙ/@o#bCM]Cܚq;nw:7 C'jmGG.|EրITL_#OnB.qJ),~"Cl{;qO WXd˺.)wwo2Ġu UrogJu 1 ά%s{,ؕRWN_(H@{T0|ɷ`?Qk[^&?~3 [gPhfg8;1D~F IΝvCMtᄛr_ DcL_R"젼MB:Z"Mi^Z*#>d ~|`@0]NS2'I,;+[f ᠊ʇG\ivߠ͆3#tdeȏW+;Gb#[=i]r$A'mk9Ŋ5}Sށ!(.UHn9x'SNWt+6cnMâ5 0 *Ups9?u$DAYvXd>k=^{C;́S* G7->eg>EH2-7ϙ,KR%Ϸdcv a䉜xBuqd>6Jš}2=n6<1@Ol& ޔ4Aȭ.;1Ec7Џ D g3Fx'̧eXĞ==sNZ ($0Z_%| ;KKyϜj'5vVTj}+%Kc@X%WSEϨL)>-x_Y߽ᏵE!b4E <190!CFhiB8`Kbejξ1CF /3]ANw}dy>";E\ >ɠCjQFgrcf]CiՍtO a'A[qD故d) H1'J A0 EiV-FwKqX-)c4R֕UL ~|?  Fhlk\|뒱 \4&CFX%9HnT57"e+ D*bs^; AJLOaVBΘ|n [萪j} m*`jy<ʾJIѳfjSE˹ہbq[)J2*wO~z}DjFmvH:X-ꚓҵ Sye7sAntAYMbp.}"TP_Ĩ#!DX$m,JQej1xqjQ9>_2ͤ >ρ,cr~~FfV#l5]Y+Kb'_ʫZ]!{bU8m \+}q7Xv{FEE?V\|F vX'"(ĸ o6Uc+B@=RҡYe3 'd1x8;/z>IEXQ#Hxe[Ntcx ԯ+;vHk.b=Ee"ϝhzŬJ}7lm&Z'eÆ|FcöE,5Jq|7[.W~E@Botr"]GRO+JA .lRs0 w,]B{ט?zG"1.0nL]eL@~xBh FBA 2 %Vo."V"A t0mȺMQb!h;=ܔ/ n3Ur|M1x=A1xjgt:M9DXɱa 帙"/b;hnfT{OOSIk~dMyu}ﳞQ$D|黃"eeBK@]a_©t9PMV40{ \. z<qYz'ҙGYv=J_& 7d4vk; k`-E]d^ZLWcO`<~=xvۜ!ݛs$Oprh2Cf^՝_ޥ_\#LG&.~YS'" z R8H־x՟oRy*{]* kId;?9z+>Adj˕B>W;0 JIuT@Ռw?6Wp GʆIqqj!"^>gJ6q#'CYWmae 50}v¯$ߠvړ5hwtm3u v7ÒoeL- c|.П9 :=杸6&kyӵPv1d)!)]r~ur`v.γ= cph8T~<2 .ⶡz{bCM: 7b8nk!-/_6j+;cx {sXkjЍfYg~ZE%bY=[XQ:0'sžʚY|CnMyWB]ђ0UT*꜠I/q8h3t [8_ȕ>]Jq(I-Ff&_9<,p'6,[wYFa.vL+>.%%'Ѽ}!]Qo8aK,APdCDDBfz1ph=!q/xC&ōrBqm^.wE ,f1"wz} Ml<_q4{L:yzXΖ7{2ex*鹡V5Npb䔼#X U烮+H 2>Hcb|",u] G sKW6xz#[f0hLГxF ν@p2 H~!8 _;Ւ~DC``ͳ)MNEDяȌ5d`n#b<"6{[W!PBU4Ґj^޲PE9$ %_t9B閪DPƶu B!`'3;\0.]/EfriB~?Y`hIF|`m?MS5l;=&\i{ȟ/I=q7: Uڴi?u\m<l.DE w`:Vs,䏡ma|9嬎+YqVѳkZ ViId)@$O,_{^yX(&E2! ?M8]7E!p-v+p3Rԗ‹mk*$40V:41҉U9 nO'61=m )Q׎;LY;7 jMUB]V*xG7EvykFiv# h?HtݝL ꚮETBa` / Q0, YC;H "mk`#^;ju34 jz=@RKG[`ptݩf]m`W~S#0ua>.=$9;4 ߅i.U#b\^x^y+7HG/q-zMJ^(m箈ŝvީѸƠNz?FSv,?p:0alYq|?ryJ2k4-]3L 48gYZefb5d8fed2407761e48c51685ef160be7fa151c03a09df081446ee0ffc18a782a60162435ff26569 f98620677fe586b256f76996ab9fb926732156c9 95542376cc27ec274bcf1e627a98c02877be4b63