SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  8 8%l\| ]/]HOL-Analysis:threads=6elapsed=307.608cpu=1464.588gc=66.564factor=4.767zXZִF! ]Ln]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm? 첬dOk`&tj*rh+x`Cŏti(8uUwOaaEA#ErkR ǎˍ}s<78O=%cVvep`U951ϏR=XZ~@0v&xs'gL! H]=Vxc0Cu(K%sv:ͮ|q).YBVw%C 5.Xzo%^tok|YC2a]IZ_ 4_y3Wߡd^Qɐ3}'lrDH56~c}8PEܯn(y")6i>i0ԢpT7Tw; z]+{L|CM0{Җ2V?9f q]VhW$ʼAꢮ\9Kl l0>p B|ohwiy8hԖF0bu z@Wo8\wCe pn wn= " =Qg}0$Ğny;"KR5Qb$ 2tQNЈ\dyLog? vg{WT>t`Rܙsi l|QXv>:؟mٍ3qNyסR<$mn(Q7*P^Xij}FrCY'{z_p%);LG&"sAb˾( /XYRJ۹اG@+4z]o9*0ajQ,Æ9Om(":i$0'\/9 3Kd':أߥFb1P\؛XV}lؾ{:` 2(RC޺OU=N[@m#Pjfj"o/Lͣ¯!GmO?:kܦ5qOtG%Hwܟ/)NJ؋?cvcszwT{\<ɳ!kqB56UY9O*(0aYM9d/·B_+މ7Sje.˖< }?˭ͷA}F`GMDRa ѰZlkfG/ôi?r0]rdɮ# eW|jUGO IwWvbl4[g= - 8MziX/!5Gť*J>K"5“VR_38y[,΋S^b r,"9pcR:}uPRhG",ǖ?B|Xr(Y+yy 9(!o*ɱgo F/]0D F^CxAyToD˟k /a#Z7rWHk*]8 J <xuؙy#ȋU\Zrn4v,ϻ̨kϞQM&i!z@BN?,Gr(+.\Xq|4z/$MB/)-y4"%)c\ zk `pS7i`6T ̶ o|l6`/L}ie4- :nmqgBGgvInXgM9}\C#[(zi0.)N^N3O(  &4g*_~Q nWt\TF\Nՠ5P lЄmC}2#RχpzpNj b_! H\$YG׋Gp{мK)&9f!xd#Ox'x&N e P^$v!Y$~7y4FّXn㢥>Fb;O ihqbb㗍BXg,pST{z{떬`[Gs}eB}^ %5rz_$ !Q6_*R | j(h+ 3,{W8~kTj͔>9JC%QZV?6rFxwdBpi[#.X;> -4ZWa0EJWGBdO'DK:(X +#VҶn-Ӕs%#1{[R?x]ҽ+N}04NU8+[+u' eSkv}? xLTBt1qFm-SZ ՟2 HS8j Pk֏xipʓü_=&˺.r*)ߑH2}C7Vg-]]{ )D)☒k9ʯdr .;i{~2HicdS & lG<ͫ+Ԅ^Dp.fV K FJcx=uRe}L\ܜ35ms/D{+P>۾ݨR!ޡ0WĴUQ#gSckcHq^cwrƨ\W\:ZHjSCS# !H||ds.^[ּxpOZL[7qqdOƳw6XnBrLN(̧}` yk1m s)T6<8 h,O>W-Ht=7 VUqĎxIsZFuC؎A7[TVvpHhUYnMA@OK:n%6@g=m!0X-V9}|zL ]:k:|~, Z{-$ԭ"Lx1-^X"*X]ӧӽS>ce%[|5d$Wˌ3MaxVFCr^X8|j%VmMP6~XE1q8GƠ zs(?QH,/a@A2Zb[ o8b1؅HcF<;ګ$ vZ+CMkF5%p UC8S/%ډLRے$ft}e3'լ{1%tp8E*~>tg _[.')m^WuA$8'<OGYrƇ[$Yazp@1v#_ ,YEۭ 97 ip"gYN'ZE˟4 .j0Ƒk6L5?ьμ2QٯE%-x5m/ i^G?Q_gﮙB&|X(*iT=9'[YD_[:S:ĦڋBŃJ#jZIVV9Ѹ$8S2<5Օy3L3Cď^WD0~43l9)oĤgaUJszp-ghkl>!9W7.55-"ȘJQ,*k܏c)IpmPPު$Cw?uP-MYϦgm8L҆=?u r p`]K!r2X>da104jV|gv8fԌuL[7@ `t Ca$T<]YW[Xw[ qcM]>`ʠ6׽.3Y!;ፐ[vg~ɡuR(phG;*d-6ח'e3[8 nlNuwbW{ns,,vg]Кn8BP𽡧6%G0$ }ڂ`LmۤAo\, y* 7~o=VCoX0K1&N)Ѐ;tq_V+Ue Ni-월2jDt@rs2ON|="qY#@!F /Gp)cQ +tR\d K!|2#)%-G-rįB]q Cyo|akYa.Yd*͌0|ܞ7ZƔ aL?I\RBsa jpUe4c<:,wxű wQ]nCA͆h}` `v3S>sBFŇpLKL<+֞='EJ,yXn2{[4s Xn{)LsNK2Vu }5rF՚JrY[uW5~ed[`\I^a՝E&nj`7#elٯk&"8%?U$D}_sڰݯ`~ }iErHf<;r)#!kFp0=(P\nnbpi >dT=ǾSQ^#~PDYDPH,x+?h\>hLAU405!תUQ\NB2EBYG*%  n/;S $X'TӀ縊09t'CT7&Z9NG&5TwkEВ7N2L \xvdP_(NVz~Ehg0'&T. Vt>Z锃9rOr9xՇ(Yo5N%Md xCZ| pWc,,*#Mޮ٬\+4kP~z -]{Sb1i5tP@EW+ܮZ}ևaxq[7W§ R 8O,IX si :`+Xe Yg.LgaczRF N)u.|F7L݉?%Ap(kcbT)(V`ċdžx;E9:(Py ]8Xr~K%Gvvɲџ; j.#mA4G*|-N{pɈvGw[1A1X7ѽbmmbxà H/wu$dfn8X90yhY)9pseCEr]>U; 6Lrs?u`Zj/-jE-Ts1?ĭkSu\U5[! H% =WmGH 2Q&KuE~9hFq@;w3}./z1 {+g⫷hՅUhګDnda[3!=m!3wt*NǻĞ^} W& 94 ,>#6}^݋:"˒*'RQ7竭zkA~@۟Ή *HE)UQYr&h{-V|ш9^B4#&V)~fVNDґyj=TN iD_<ӴRO_Y)՛$RrTݰ>pТLӪis٨}~!u[|J.zlIaT9 (~W}; Mb'V@)ڒv1(Fz 7- sh7߷]xmw]39К@DbMcO @4gfh)a;h>LMMęeëf\(hW*W6М%pn}J+q)B,ҹw6PAHqidrS#*ؑ4R(w:At]0AZtFѐN p#Ar?elP**Mrgs`.T1Ӓs]Fw$000Ԭ*OؖloM53]5۲]$c\^,#C5A'C?ȩFoՄv!_+2vh/Hc`)v<娋A/0T̒Љ}<̑( 11l1znAQз}&(!4kd\zan@tppgSk<1Ce5vY"vFI{;u~G, HM֓_UUfߑtPvG}"/U`8vn(Lܑ<m5WS nIbu؝gʘ 5ƹpte~/ir">[\Vr{l\RI|((&,?ɏÀr )K X, Y8\hez3ij퓅<2j~{Am]5K$-Q:n  >at \uFs $#{fD^=vp_j2yD&zzNO&7P޽Hn'Nfuq\0`|upnŻO%9V| rl+W -d^{6R!G +}J}ą–.XnT7_Iɯ1ܡ'}9.tkʶc74icŜG=-$S~&KmF:.Hm} 9(y5\p1pi5`^`7`mPxv2z{n:)$*{2y5Y[V"2ay0m|c טfJ>LvG{se;: ?m x j_K.'ծ۽Ai Dd.J1331yan|F o>ŭb6V$ Ifi?5+/; [{18Dҭ}65/GEEWtρi3J12b9Pf7 > <`8P(ܻUz J͘`z$TGYw7Y4!!n:G.nѶXZum@b6@t{)WISn .z vо{^p\Vϟ 骞ß*AƸYNQ2f>8K."$87?_˳)g.} R|%4A0P[֝E6vLw7G..G1Tc| =bR ml0r$v~ ?ĥ=&t'۪+N9R!@ohEi{ؗզZ];<;)DWdB,Lns|5v11 8ó,rFb_>]G *hG}ҁzFqh1j1&+ܸ[ x]-K,\!1ʹ|뿉#uQ\im+#\MaJVuP#H&*لeox`߃!QIm`w)RIr0,6 A? J 3Tr#1$ {oXܔNrv 59=͖8#ZTjB>3V^H Kz,/nvO 5] "#}=%븹dIoS-/f7kW2 @*ݨ<]cݰYD5>'K9F Гˑ\ Y$_< ԁ _$sh[2Xi~ _(Cكq(囄qCCܴyNVrSDnS@=+:_EP\:kgAAG@ uk^KYaUUɪ)Vrn٩mW:o! {1n&|ǍVй\֎CG{Ӕ 409|l_ i)y V%)D3c%]?Kbl? $JQNRa^:& Sc43uuc  OIhDy}SKxA-4-&@@Ż9m݁>pWuU㷞HN nMqG7Gw"<7f~jq vv)Dz  l!deSN)|J0+7"ʳ "G'jR3_C:|JJkxMhQpO$`Nt ybr_"$9+@fS1NN G gr Q2n:ɮ;#(K)pn㥎'kbNs>G4 NKnT\fE7f}j#`F}JhCl@u55Uyj <>xϹr!_^WIas喏*!@*y`&oME]"[0ɋL(T.'bp3J>M`0"Valq&|ylYKl̇oڬY/t75Quj5xWh)3Z6нcˏ=iWp7z nY5#xeJ=Cj~Hհu(P. 1JpiL1PέVD~8߇8)G!acN& *B Я>1c*'|0TQ89Dz6dqWOd,4ԇܲr'\"?8 UDWBBboS'@h̻4QBJ""C?)`r-AݵtzTX5•7N̍8z~fm9)3p [aEXFNCVpWH BSk^<Eg0鵉xTJt JN.l7\sf]fJ ɈGg pv ;)Fw8H?N13 s1 !~SӁ=g9x3^;z8,,ї6G7!r-RkT/.)zddC/XNl 0rWITuy1WP> ۭjfuXDCJD*2beIsleLۭ5YdZ iYuS}$o ʳmI5f5!'\pafӀ.)okPM1Jq7P +[$s( H^qK&LRP[ひgL?ɝPԪT DS|>dY#îq>ɍ$Nđ8y/OHsSȦvޯ5 Ռ'6_lODxL!݉SȎY-pt=`/^[PJyZa+ ݅OXI'qTWI$ZTʦ R> 6ҲVSbNUcC;X>(_Ѵ{;ɹh]T%('LĽs{9nb֨tSr"ӷvx"CqusꆔCpAGM̉,]Ǽ_YwU(j1ae9ǃ?J];˾3QQ1"Jx62U] A}F8B`^]/@8&*q> 0CNiBPGe.F4ՉCz;B|5&:776$4vx<ݓ@/]4o.K#D֔<4>;hG@E,`lg H{Y0[Bnq'L߅%6#h=euOړo] N XYZ Y V!vb#cc 1tu0!g60gI?\eCvMd\"`u>t/deu}'PWb᪚~*#)ʇ"c渳l9&GQٷ<5Ȧk(I_Z .U;F~N=$At=KXAb]@#= [r&- aZi&6XߔiZq!C"JKWIJnhzcc(6n'{fzYe'WEUt8CϞŜ^Y C8< xLAfr' $c]L%a5; Du}(Pv{b5Yp.xQ\lI=dGOkecK`4բCNDH0@K*$3DP>FgĿ\$̬+\gsu20vSS).ܻ5*J?Ep@oybREj]6Y1Y4k^8K+A3ׄ e_>YJ,r4-qҺ X 7={l ~His~/Zixͪdxr8I7fu#DQ1%19xiv4>~1t!{s {ZM %2rkxFD5=6w#f/G-F^Ģ!{H&Qk>?}nTcdYڋ[H V՜oőD3^90H|wx@7ŅowD4)b.3X".~ #,t#%aF FޫOZbșq[0We\#OQ V1%ʃf w5f/T}mzB%3?Ҁ2=2k8gkv U7Jq9-ţP4;DW#Xx/ѨPسo7 W/8'Ԏ .Ycl;pr˿e"C[YlKr`)csOz^,[-x`9q.E=$)l6DO @5L^ S^ Hޓ ۑͱ ħJ{ↅ")ke4g'Ljp.F/ 9.ҧ7@W2;ڪZIZo{/EZ3{rh:8kiSQ2e--w`xe:j{Ȕ=֋d\ ҟP%$~teQ}xGO׎^6]z&#C1FrJLo0`c쳎|͚;:W0F0ZDa B bmI ®-ڂ8w)͎ q{},v>[{DC9>UbpQU: >ڿ.:QMr;rFA cO:^dv=8o|(6b,pg+zVc'E͸ǜ~|x ʵ?#[/aax~me>ژ: ۀla m$VқI?~ǂI |4)`~ G'۴MObM2\^~sR@j5`^hXa#/g`Rιd6{b^=1$!ʧ:/)N&q Z '5P2>K뢻\mc+A-bs"ssc~H"FԱFs21Y179M3bJΕ-!:pĶ)N9 ػtp&2sTcJeܩ{Uny9^̮yV}z-6= cLdt ?۠ vSWpawmȳ I-c[7@_{?;ʬ%{?YZg Wc.ԥ4fI͉]54;1yXeZ5VR_wи/kR@P4vYE5=,Eh /*׌ o@ɔ+$20"]'8 =BIdJ>nA,rv aŐ^Gv+u2#Zy(n @״_1XǷ͝+N;)6|ju˼VSw[qˤRLO7Nj{Mˎ+\϶ƌ%j"Fz0+e~ -?{Og`N%箳 N6vI$1th͵_ ԥعauħZ}0E%+Bh^b]'`68hn2My+2K:nzoY 鍨zj,[J/^n,e2U,;V zj .iD~|X~Z >5*('I0|jL ߔ-JrO1Y2iԔ >Z+?2'i0;e4 XROWFiqz\Q ˆ?!})vGB}q韹S`u swQBjۦT^jsSԙs/3ν\3CYdSUK¤#T1\Ώx,&3a}Ƕ~jLٕ8ʭG :L_AG{A[4^ʚ3ԧq>|qtQ\luA:*{;a#egDy%Gj;Fb8X1)85g+Hd4F "k̴O~0y.E7Cޯdz}CfuR FJ(×7|]3y3?A ڀ/CGX_U1V8BTo?i讆Af۽@o 4WJI:m^}C5ѿ߯z|WmPKF0ӓ-ϯA4C~!\JoVRrTϑnp[ NOy ƣSÌSN})Һf!۵ -X|MI}JIlWИ9ʕuωM1§.:y+avD; sr2ʼJ yI=¦!~,M|CFzޟNvnl;DL 8's TN 10(ޏes@1^4cHyJL6'8+hj|rü: eyCC+LKɏIRR vu Y7YQuLOG}of 0-%!(OI˻>Oѫ͐6|^޷zP)t`^`XPM0榋. SgqqBȂL7w/;QEMK3ӌ%iEf4ZA EN{dCrėIpu\Ј A 2D*i= L3tmQhNht[ܒy]Fʠ%!E?88t^Qw\+5 |]QY9]QFV,U)Yu&&c:e%ccS@ :/Sl+g5q 'TumTu.Vηr d'Co<jN#8";t)ȏ~ !_Hد4-| xW |$s+q= c?QOiYo{. @M$h$0nan2M{s:E}0iv/NR|\~Q;I9j@ýD߄ڨQEI~`巅.=9.#c$ Ɯ\QNGERH |z5g}be&,k7De #4N; ӈT. =ܑҲMr1ۮ -pw#}"S6eߪ[)*|T pƿ[i`[ad~Jpq=Gz}9#Rop,g`8.G+IJQm󕃏nDyMnV؊H"a.B(C zAəVz>l~$,ez[fQU,tw.s3ԜJTZ-K78w/df9/G4~Yi`A-}(٭m2p5!ިʯYIg|S6[a9J"+ l΃죧?4bkǤuGD3Rn9Γbc#ڭtbL{Qq; vVw7+f hNcF_S\='qsΞxqIi~%9:)**yPjȷ;x=xg*3w!Lj/"?fӢBR{)U( ~7-|!`9'p*! IC-|,r#/߬tŽw1>} 2+K+:ղ Eي=uM)[Ad6V;}~ _% /_n',Eͭ(!VFRw?siU% FUM}t牫򲟽쭯1-y!ryȖk( sF*5vF]Kܜ0x_:z?KغkKsц'PʸrLiR ,t,- `"sScP4dFH  m',VpsFYJbDL;:8Wϊ9isQ?FK~GfSǧ Xm`PPhJLW ʁ[-,-#F)) 9QX.qqb*N`|W]+#}K?$+A׈M˴}`Pr'/ Uȼ55/0k%fj晁 " rZ}⁛+e)z 2#ނ@ Ex[7.8-cbw8A,f"jMlmG\Q`I}S:cJNa[@qF6ܯn&z XFҺF_s0%*ldIr\sє%ǚ]AkJD0OgZ9/5='QI~&d bLͲi%!F>Sd5㕸P7>D|\Éimְ8n% J&\˟k`GP@jt]D\  6!Zy~g6u/fvj^s}oOZ= Z5QqsM'v* ABsG \<+`c?8rg碖lOTci{ —ް<ᎆ; v|"RODb-GaIì MK7#FlX[u5pN)LP_t$D҈( ='?G]wFI"a̲+6T8ADzJ5xiv9zk FےF^|+u(t?'EMSBz|dI 3>vYII+2VSs}cLv,s |7U猸 W@Ap;uQ/rٳ&)-د9plj 01l3Y&6-_hC(V/$ Ǘ,8VDz~ %KZĝ9Fgfdk /idor VYN%O4(ﺀ` pC-#}fC&&3ս Ԏ 4n{&4̓T9vÍo/"4}ë9ۋnG1AK!FO#Mtk(F|E`bvO qkӏkᶲWi4 + W{Vahr4JPM&kk[,$^{j {Cs5Pvq\nE Ϩᫍaên`LncE%ʳE`&?Y@dǜB4eP2j<+h:Npx4K{ aI`^FKsZнٲdS9'mS cv$wv>Xu=y+{*x^T-vQ6zd520,P QG(𡞀#Œ׼}m(:PgU'VpR* 6J_pW.']yI; 3f;26"!?]A-˓(&#0[OfEn؂Iب鈯ӈ=hc5#3¢7go|i{lHoQ܃' ǬfEKe~N- :..QIBui7)LK wq@DarN-7bWW Oj-'M Z+pnn\H hhӡ p*cC݊>ψ9[cA&{ӳQ/- Ɔk5ےkC3|͎a4YZ0AQ/nqSXopa2cp?FtکrD hU5J[ s%Gd9ݸ_BXlg J68:/ ,V;Ct/kZAהteIדʧD"C$hTi3>bj iˤ;>6%(o S) ûxR_D>|6Ųo=y"z(ڰK/YU3l}=<9`6 n3OeA /o wVhY Tiv1P0c>O,ʈZk6D A588kdvCUIdvr R23>m`f=@B4";-V.\ |"%U٤Ϋ7eF>lMW$3 %~iH0Z-v%_}.-.g ߒy = 5©nzlejkC^S71Z_4QӃ4?oGm.UחJ{.iYFIQo*P~..T!h! ر$ }O-kW.ۤJs+ɩ|m1v[,̈́D=oIOӉ GXO]S/U7 j.s^eV[!ߖ*tl!{Ɋ=!3W1Ja<eo*{3 ߟ'-dRQ O?Ѭ!VJcA&2t-ʞ46zBv_&aw]}x!73s [h j --A/wv(&R'MMnjdwv> 1m +vNtjlqj\A)RZYYߊ3^N#u:s !0r;&{MD\QSql\$xCֲؐL 7! /?<+!eWd RD n|#  8Kq|A 8X*wv]D[4=D!v)+fNQ ?4{ vmLA~aFft:9KOJJʜPPw亷 w<?a`R|Q: :i(xdȤ45K"Y' 5y2 ?F1VKIT$η 3c/Bn:K4'4{d9?W Ddn iT Im7'/ `}ӞU Aew#sYewtfnmtSJ2M[Lk +c`GEҪ6הXG- bW N:=uM 5{NZE57]w@6yOt6*auE}} "lU^T.Z"Jn `-$/ŕeNPG{׌~rC Mb3caĵs TV5?iG kk$Xr_΅őHdvcE4H9\+V[Z0 4|'oBoT :q*wQg ]{@$7H3(yH5o+Y?z\$5O+tN!7η6nBBL\} M|& 9{٠Kb{ץNȝBX2cUԍ3㙻\q~/ e MdwxmIĴ0\4Öڬ a8JT;Rx,"FG/{t r'F%ô ?#S)R$aJ~UԜ//L7z #y;[7]]E!q _!$eLl$@g-4}oHR`{M3Qa7!GShfR'A{ض#MIE@;<^oɉ??0 Rw$-blQٔJPʠɣ5hF ]LCGؤq/@5oO NIKz=tb1iGccZķVO=PnE@nߌjgZrkK~m2_RX)I zXжOJ_l$Fk±WDKes\UHp?r]9kePkTS{K D.MyoOXC}1ĎWC l,7N-j]yߡa/Vd` ro\4X/C#c[A ϳp!`>)p<2gTjRc7kCiAi?dmWft9d zd ;>,&TdقB`KHT۔6PL[k@BX^sLCczo;4#j7 0mG8w,9h̓qL1\Yn -gՈesI[R&by@Mnk]ڭ,,1'U E>zqwťlW@,C ; >$ݒK{2 |eՂuZ@?`xu')wlDLP!ၵg-Rإj 2GEDiC ZZD}N9}M^;w(UH;nZ6Ѡ !>d'GZ\]{Z@bQR J$L'uEFk֜[eW˹?>bNe8F qTRC^:HܪG]K< wgu"k`gt9s|3_qj)Бvބ  #Wu6CЕGh_/MU.Oт"m,e1ёU槷2F/s@!)`U237EѤ m$.$ 5VR+)ѢI8Sij B'J ɧ9KD=!=0*kɫ2RN'׉~L$z[%87;AԖHRq  ބi| ySw6[f>)wa72>D7 kAZBi)}}6WA~([|[{t=åwj/cVvWhTW?=rm|cdt4"Wb׺ [B`LUCuHSNlj_yWB  N2>fP3`Hx+[7C&N99u-n 0UJĄz5ypHVFPRj'4P M_;+%?nl|{"=?PD\>z,Lĺm^L*3$*MAnwd&_!b_%IAGje[ќǤ ݡ 7\s (rFt$hH}.Wjw q P.XI 1$j\|nQIKDh}Kˆ$UbN-3ߗA1lcs65ЕYż'J"|mc~-nz b?ŗƚ DL49[kY{@AGe@P#,K4q]zT?'+w?A1a'U=C.P IYL3Z˅C,:K+餭oV32:[yjXE^i|I K"JEO٭LhRQ7؁y?`=]*n(n=,Cȓ}\sI8vA`*ZۍjPɇ ђhWѹ/ 5-.^t~T5~LS+s #؃9mZ̡(#Qo$gnNpbb\f֝0Oc3TA/R\/V: e["(F0KWlR~WjytN 㴻8ۛ0x,/zDb.9/<=*S džc;}r>=ܜ5 iZzyȭ:h!bL Luެ Fm ypL^Y($ӗ t1V\^wI?+FT*}ӊz1j'g6Ѵ*lRY4Ig-ko-;;t&'M<*9[vSm-Ey:c`T0Oȥ#Al/ӑrm.Zh~yP:1v'g$Kߪ t+7iʨO+*!yVL' NHKKS)p37DȏMޫa@`ur]LҰZ?UN.[g3MSg %:ldn׺ԁ(_ VLwaŬ b- K15|1tJ- 49+3uCBT9Lh%D7[yǶY>_i.DnBxޥfe(Qp A \HވOɿWrM~_?K.YZ=g~5cZ{-'A@ `ͣHS8YJp|6hN'_#0q70yE \ޏ*GSv٪`C)+r?(kTWEA]Z8Pr{])Z7b_[|2{/K 2Ov+ѱ't 7F[Q-,92Eh؈?ѓr,Ԩ ùjoA.}?4@/r5%Zy츯&Eʬqj8}3M1)`\Z AIGZh7WhHg$ T5b(M_61xa^ + ztj\0NPYmxq,.4ץ_ *<V9;UG%q+CPt T;jA{63;,ԑ|Wn!xCP?9oᔩ 8l/SP;v-VCDgKIG.F8۠JWe&~H;+zΞ7Wo enŵ ƏG@܏fDʟ';_ʴ;D6JWXFo Ub M1L._ &Bf1&Y [b?kG|w/?6FEYu~=dePН3hF, 6yrV@VF@ "%J sU7(E@p['o JYTD:gMݣR) Y e!'Z;N)YaZO݌\i30;'wI\S*A^5U"N2L b+>5|G4#I<$A֣_,aV6vR[{Ӓl {qX0[D+d:nQg@AԉD!C^3LiN0kY3̈jF#/0VcX+:υ휽ڣFR;{.sR+е Q/Vhꆻljb0d SR%Y:n"qhbd/,'(^5XJl$$"l7>˶hnhsْևr 5RLvޅ3Oy4Sտ@#K@ ɉ5-Al΄p_R U?`ZdidPY@g[ JPw%[+C\ sC;WnXNʧ5*GYc{[J')J=ϞckyHJ.0+ +*hK:/2HruhI;:t@0fwdܻ%9M@Khg#1eW\xbpq_ >!,p6i2x1(Xs82 T.ݜO̻gn:ډNyVCX ,zK30 jX}igUmvhl0,'Iihw V"9}ZhhO/w0qJJIOt^i~O La)2T=:}b7{؁G$/䂎ujajn*m/)Z"ǥ`}w%t -ĠvT;L.eU\]KUzE@vUs.@&\z=M&GH%obNT=3?&6E)0% d!7*BO[ g&qIrgRFIz:3%z۝NTyXի>fh|TO|td#)#dxAZv@*[綃tW#iK7' mu[*ebg)ȐRstfr7;řy8pNPB* `VFΆ9/C14G |AfE\"tyN@Jo<[I/D7LL| FBίgPOlª{fOְ:7)+7kکw&D.LvAg1iu=L#'3G$5S#csp : B$V&Cޙ& S9AQTkwS\4 Z=Pu@9 aS9J)5"@qڳ􉤥^ V|諭6)bz ag]=R3b`t)~0&(<0Gtv n͊w9i2yn#K~ZQ>69UO}՝9(qO,ES)Dt\ovvYR&`N|m\")#,hG1­XA:\ /d}} ]H W:_泏QƜ1kc'q̓9O.ə8&p)nhu ұX1WYa՞Sž8 y j7NtXzP2vec{(k$4v:o'dƽj1w[mGm<HzP.Cqohۇߺ 8h:K#W*#*/ jTtUϩRg|;. t-߻ t hv?pwu;DmA:E4Jaj_-$20DZ R77 tGM5+'6`";t7 Q0:'X/6`ҔOArD*DMۇׅf/Ld ߢ]s1L*MX ̗ü veS@q{lA<:O/I^W?>7;r`<ޞ;o24 Cr5hD$1?!n6̼ Aذ'K}d4:_Ϊl µLgV= w-Za/cݝ1 ,ϔ4@u*[mv"9|}6e~Pyi䯙eRf+Fs/xAQTDK0ruFVhmCU'O*I(r2A6jEP&ޮ!ֻ17F0.?AQs}oyVzhCz1 OZ2bcQ6ٗgK&`? Sٯ>"~F%bNE)Kq-Y]LKP2cRk(}\*.3HY(87Gu~,DϨzR'ӧ=[đCI*0 i//L"560;y0M]2Uk|P[]^qX4ɵEJ⮌([Ƥ FDySx ~v^YC*?WrPҾsĊߠu8~}khhD,{5/bhzH<< ŇZ $<#O+U<kKO/zyz%{й89 axISr[%ifƒ+UNgh`oַ|F6̓voN`E 98zR;wGjd8Akxj/>1ә%xxJ{!g5/TՋ9(ww0#x}ĕ26b,4$xIk(Ob2$fÐ"1=b P2_v^9)Swdo5HjoTD>I/SJMA)ۭ Z.1V%d?@xcY3;ﴌH&9* T=*MnIsǜ[yc7Y]w}kNu6I.yO- 4r^7P"D;i^RW9n^=]1Jrg4u&Gۘs.1.hl8ԝ쒭X1jR֐)q(d?w8n$ÔnUApY a$y)ٽzWBcHyvp|i^}xV;UG/|E(ynMvT6 {Z2 +W cɍ3Z}Wv_#Mѫ'UMNԐDן4$Y,$鼊ZXc<0(XKtFK?p>m|Q=Ŋ#o5<ȓ@%\_|g3^0sFbqL6)5J/>:25a\PĨ⻹%TLK_KvSP4eS/1g2OeYR@ʅ\fdAq;d>/ٜv c jz} 5Eb[Q1eSO&K^L_3fW1m佥 z3y3XamxK{/2D&bQnN  @q5gJ4$ϘNs9C[ǩEb!`;L&4 o\Dȍ_ͰjqIGr^WtT6"$ng30M}~9_sY>RR7)DdsB!AJGcw}qgo'f ē7q- {#%I [ikMn&(ԪT` /̟HjDA+E7$ecMĤTƥr0Ui!~類2 H)M Z\~t; ^[+RdJDXt4{Ч^tCX^={(ğȤ1edxmv]~PQs**ԛD@W ^i]u_8dHMx<6ai}0ѿZCi,^؀[9יkb (MXxGmk4ƛNjb.L*z҅a=J[WhE=%y`, ٢0h9r>$۟g>"sZIyXрNT.7BEY j#x ݱ*C%kط:.װxQȚJ !,# 2Yh3YUD,žX[ԌPlms-pک=bP0@ O?:&ݵ:~EmW-㖦.֥m6E y^b6|Vђ(ݘV: UDi48ͧ3p A,@^ yD]d WL^ߵyh 5 Z*hg%6+k7';:]$jvkV/7˽?#PUKU8}h.K_/e /ՍόgK~y[PB0[fxz EK_Qot$)+AREs4*0UmZ|jHp! qr~%n7(jй:*6 U|Њ,M#3 ~Fˊh5PTu٫`zx11ﴌK *G"/Nn2iФZ$w.3^r=68(f'kʛ5^J ,)J&lCgHFΗS~z{jGSmeR`[\Rs0C0MsAM8TP;iwɨzmڧk"vy`6wU[ bV HÚCQsZīF'D`R3eWy9 Ϻ w%Nxeڝ䏣'UYsjxKz<}fs`X";P'@9^_੪}(-(f4wku[Ym ͥALaˑUʣ$DٱJL}=+pNGcEŖYЗks񲏼AԮڈ\Z`\_ަCBu+9^hPsu)"vq4bRX!w+' ő7|k~˺J*}A5u{xFiG:lDaygdNh1V (cuU#02ס"X4d֎/Fתۧ@lB \h ,}K(%E%g|w̋ 9+ Սť(s{гih0FTaEÔF( ݿ1g48%Nb{HuD_:6n3.)^\{wͨ 2pY\;$AR]`Xje+Sj8fAغA"kNͧ/GSJ4gpJ@{U6/F31i%{lոK+;qo{D&g?z^9l5v";7w>儑aE?x~,'bv\ˉ'4! ?MxHx8LNiLhݭȋT44P5|>l\Z&?DutâђlM6s_3WEW`xouע .tD/6 0p>i_Zs[[^!\Um72Y/Ll ;2yfz}Ň>8"u!8v-, ygG+Spe<?FnlkwSEdݙz3"G$jLquMIbey}M١trMOtr9J$VWsLB}::h0.ot3Xlep'(Έy\w}j O|KEt_לa^F3vV G 1[i]^^(ٙg7pP rb.V^^2KLn<j8s@`ˡg畴*Ν 5k+2P#čM[h9{g`kgIQ Kf*H <(zM1R~ h@`Mb^ Z U,,+Xxw?5{Fo2&b kЭm:觩/cBS5JzaةO,U-Kw\QLk|p luy'ַ^3a(8< 'OCI~7<8ekZ4Q҆߳^`⠠_5fNcj5/fq'Wu֍ڳa.Ul͋mJ.gj2HHRe/4n y yyyg 2@ G*W+T`Q]:RVm[PF$Zri3 b4яq/3 6ln';"Gy66Jg 5E R6)?83M[G@N9B~\RlΩp_ ciy Bׄ?T/#>}14J\+~RXIr![l@‹iĩ i]#dDo_dA aW,ʫ٣Xmo81MRGfr+,Nfe q]mᵗllLGѓTȝ0& ׅjIqdip| jzhg1R{V}Ik'Up؛ctQa!t&|Mmp|^\qӼgYZ704d9867824446a6722292fccb3a9c122daa9bf1ae96c4661efb67fa55c859aee66272e43d21faf1 df5aaee0a1fb0d2bd927fe99191fb28d9ac1e45621e39886b5a19a2a1acf5d55294170607d91730d