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 $)DT$ ]% CakeML_Codegen:threads=4elapsed=506.918cpu=1411.636gc=75.144factor=2.787zXZִF! 0d]ŗXf[&,Xr–wy\TtVqCQ-.ˏ,cx^- Gf :tSJƇUU(W$>kyVLls|ƛ^keD06ځѹc?ɵiP/*'FgMQw?rS,HjqFRQMO7~p*jV)8Ŭ ҈*%3] XKF"! >lt!blj'~iC6?7Ø :˙ |KF[3M('᠉%>H$@+2W=1؅0*r]GW#$m&[dӗЋ#2tu¶.6{, 꽗k?Q %/x^\[Fb^D٦/nJN^4ڂll~v<&,ch컑%{ZYEW9;F.P %@yannC@AfٽMvr2pˁVkt6TJ aFS|Mb4(^l<ȻٴV ک̉zIuOatCo^̃nw0ˉoE}D0}n eшiPj?U: .$[i- bDv4~^7C7)&K1U!7'^$mXxƾӛTᄁ0R2JW޶@B(%3hWa'Agӳ}UPV#5U 8/; 87TupvW.f[FaQ"n,>*!Jvu(SGF~I#I MS,8,~_pzLfmfxKxlIluDch7[x}O2 Fe2џ#0#{"M< C|bzr;l-HC咮:pt;bZ;Df*Q{?O;q-Jr^e!8++'Ms 2u 5MffZbNb;XQG+ aBy\~moz1`H@Ì1=yWM#2!]5iNcb=W(du_(Zo4~r8r4e?6{A9{#$ꁥQ+>ޖN.@.4R"DխӍ˲4 0}:`=$kHZƋ)9?ƒ'/jPFrXn/QV=V-v(+Z$:lmUongr sѫ/(pH@JPFS3oF_t w= <&i~7Qߠ`[ QStauT4V/}ڰc'wIpAB_z_,E&^';u.YW2CL.]|G rf Nvd`1)}vBo/I%ʐLRH.]OcHN wKV\vJOON>xWL_Q@DV^ta47*CLޕFQ/ z9uiPZXsvX%Ѓ6xe18/:eVh͒@>؍p+ޝIisMn"=^kT{j2[a%.[Ի6yCmbMśd[䝝[,$8%&åm3. ͞8Ŋ+37n, ӑHlsC'XBk=%t)r\!sgMq(ds`8 #L UCp8UJ=@dUlaq\ c24}^sg bX!Ӛe_&cqf'"'<$XZuʕ,с3FMmVtY6hqnˍ\a>WWpCRiN 9yLZ& R=&ris,OϘED3ri tZ>Ypb{IL_Vk3Dv1Ђe=?|&B-g 6:Ԧ(}.84Ɣ8d󊔞sAOƸyQ:cSira  bXfgCġ"9Tƹrͣ6T OiggOw M4<H{ݿY/Ϡ2ʕy:UrJⲼA@%ߎVu2d"ibӸcCz/U,dg4??e|&6dP䶪U: e Du׫ ]Mk9/w$>,F+}y{ 8ykY*a`[e$veױ-$.('^`; J^4?85pرd GQnLɹ>X˧>2.#oMIU96=E i(E$_\1Wz;f_ţUx@@8Ox5I7t^$TDxxFI$seܓ(؝`o$1vǻpiݣcU+2e)[13%c '"p-ub~` ^=7S /ɑ~Z`j>~iR] Iƥ!y\ڄ8C{Yn@2MwS=cݑZ2cB.gLS:+`;a;G^?nKD R ve8^Dd- & _% X׈h㉵Xv@NZ_0uM 7@mG+o8}pc^7^?pI61"싮 *>vQ64=ovӌɌB0(nA2JK5/ԹPVv|O/pouZcb#MY$ϱY{5|@h ۩b0FO7PjϭHDDŽ2V}MnQIjI7BLā,+ȓ;4m %>}2-@$IX{@G" Z`q3o` 44e'u?_/:q< _G26M$,~™ iU_ZXb4q+JǪ@ Q:7 :_?N _* xvƉ?|OHnS W.UajM 6Ыətt.c[ @sb?ޭlւgPdD Q皫qP])Xnޮ~Zsu#Gj'ң,?5;{E4~(ѫ#cvYFkݕQa,, [x< b{o^}M]%U"&7CbmZzI[b< A𨹅W'YEi z3h[.kbÈӣE?&~߸z~ȋ &Fp%B['džngp0Bv-W>ԀXi8#EIDvH4!Kp/P\1wq`{tU6!reڱѕv) ȓaص;t<,Wl֦'1G1u<Yɹ=)Ц4PTZ<;x"R|sie3>T|&G7~DĂrxMUM79HۈiJե dgqm((1|H%zuv™$k  bbZ|1$'4.N#gCbLQ!5%"\yQrG٪p5IG„7U+|R[AOG$y)В0\DH $3@xyWe*h !_֓tPBiCc_Ըg=O1tdOb { ;J)Q\!1vo9+- z)^PT\~IjQzCHE҉LocՖ> Ägx1$3ԟJ'U6/j@!STVV@pC D1CۍP:cT j!aǍ;>L-K>ϔm+p,_<77q^OH͜ &3+06(&͟;;zo6r-p,v9xGrEe" 44dB+PH8[0D=sb-l(ݿk%OW$KYH뇦RzˆDTL)́JM X9 L fq弟{6 ;q{#H[Q9牦꜀FfBAB֤w0G WVp:滟7-qEQ;HG.:/qҝo!#yO HXL p#) 6UL_opa4!gܯɒ 1٫{!ޣ3#p9,sE9nBI?rywvI~͚D]mk 3j7aR)oBbㅫ*jđ-6T#9|'b\k@֫K}YJNKK fL6J(\ˆ3Q{^ 7 ]^KCbhO؉Taz?ar8>^X⿘%箖 )3cȗ)8Xpl)I*"nP7LՍ)Y|ۂ1\ -< Y(2 ītiֳR>&fܥ)rw*3h;~?Kb-gv0 6k_L8TNل-O cQƃ_H#q;cSlcي>v93X8o7?q*9k)}&+^.PR0|=ԓP NZr'ג՝`d2 >}596yC`pkދv?AA#1jpq Hd.Q7f!G2?įIT&)21X,2ڰ+p!^ ibi'aֿ,Uj-^΀2unG޿{y 8v숳C'"2!G[@9財W֝_-XQcw ^[䫁eOy/F4tYNB /oAcbc&&0P Z S m=9%CRF& #g՞=VM-ްS32 ?-C輶ʯ9`ޟ t%܋~hAͨa"x7UȀ m 2J/KzkrH79B(L gYZ7zXZִF! ]ŗXiɟ*#; )zhWfLpDl VqlږYW *0f/o{Z>RGVdwDoTBwCi8≢P2:qb<$<(}ofqU΁xݲ4=C|mU\<;A͕ ^##+h_8˝PXAlȖkAeRܸk Zԯ(_@D¦cȍ͙ ?e - mV·<ŶnR*o Z+Fi?`{8\(!@β.h2UpYIoip~Jk~߻aiZSMi/++#.2͸  ĤμK2<_h/2zu h r̶D~:4i@mO&.ڌA Ǎ4:닫6A36}ٟ": -!GF*O_Xb82%e"q`Y~ܭSt1w{W5-Lpc껠A45vN\wHG zX,nQbFUs~w៬(+?m^hKDu,T ܮJh`d4)W'q_z t7_ޤ~MAj]-UѮB-i{!lf;BF l.pljK8B3[o)ɱ#C˗ǐR7 gP!9fÖ~>hgPKpFzZJjK$R%6nc^nlĎlOp`dU7ƱFY"P4}ۍW Q]UdwxbGT4P1Nq7QQ#9pytVaBBĵ@ӉnQ F5eBW0L[Cmfz\;ϤÄI>0Z;)GWg=VP\S7o,}Sa$zMQ&Njz59ɚv K1v d ;h<˱gYZ7zXZִF! ]ŗXi%L /I;;UaDHtt-n6:!^ 0Ȑ`^8묘-2|G%蜕(•ZR1 ͸q|*+h8gd+;(-' :D~@7[ܨDapKgF󡱙?˚*Z? 66nJ;yYKK< ]sV~HHpv3)4b7>,6+Ǜb۽RGPZkpJ^κwN T!!z!F3OB@l$;VNVE0op>*8׋mSg>70S% B&,cE?'G}ځ^1~$6r~VѪY+4<82v,uu')g} 4;?^9;-vQ -ϵZ2ɢ_8(G?-;~ZJeB!c*PcA ,{sVa k Or΋OP۞5ewXNM_PlM"@Ij@,> N#б =Ig mJYܖЗt,ÉkB䵌#~2\[= nW I3viB@ZG/FAn4~1h'@'RR =!0]Bpmo4 땤?ti󲵥Z Vu pfB|Fx6v[?kTC,ĞE:]*#VaE4`oV2s5$h| "c0Y|@yB{2$i^N\ݍ}۵_߁z\6Ѭg%?A  nbLwizn|AQ;U"_@)֝("FK|ԣu β ̣{)H\:vr^e:>n<88/>S3y90C!E=m"H$O`Jbg=aL`u %EXuII^hhi(-lPJO]1 *HQ%5>lU+P.JK.(Φ%AN9|T67o#<kxZ, 6gFRe>sd3IMB1_Az]2c0`rvh`q<jZtqL4u_!1}3vb_r W7\ijN׈=XaP* >uՎ<ìzm_\ƀJO#q_!nO%f:<Qi>195گjlVXЛv3Yk9KzDsK7}]Zd8 11hу08g-|THCv2)mQu O^VK_}sI(8Oy󷁭;)z竁5u*RҲtF)X{%刡BF͹q6g_q~'9[.U3,ҁǭO;y; abSu=PoOa* /4ap[fji]h.1w}/&?vRx`dRp[^K8)_w׀.YU5j*7} '9Q#pR8Zdxd$!'D)sB\{_=O k1ypQc35~ Н%ztt_Wfm^^Pc yX 3-ר?Ni1eGl&.3j3,-à359k`7 9(JQ9ᏬFMf;s )t͈٧P*;Q<|BE2Kp|VOxo1W i-`o6j(W s}HV /uai !4Kw(!!xKi䂀6C/T)pAk:LWsޟq(I$w@8QgoS%h#w7lyZmBIy n'AIoH෾cW1{E3*ff^^9Au]׻UM B8M m߅㼘6|oߪ8e>pHmѳ8f"BG3c 1>V" ݷI.!$$S`::U|?pˊХڋgmp(\Y)"pvgl[9 QS^-Ut-= `(4cvA!B73iD+=) BEszb10r<͔Ul[ I<&FEyAdxDeW(OKtX:Њ?(/V/Bǫ7+B-6Bھ̛]M,֢.w*eH("q'Sv0blЁ bo5;x(aO27P<Avomݻi-ܓy&> sed%w!g AcF2w7 EFщ-dKM!cf!q{ Ac 2` !@Ց0 D2DѠg8/wb@/uJGb&*`xU$X4+G`1XMc;a*9mgx26m#RIįS]뉯 ўSIv-;r<2LB SNʐ=b/􄃐8# l :b-@o^dM:O|1'BuT.E\0?z,Br?vo!CSBq6F EOZlں;Yz"<+I,$ar5g]1/|XR"g5yY(]$2YQמf8Ō:]U,%'鼿Aw*sy6~ hUFgdpf,Ș"P7[#"ﹱYܯ|3qԽs(s dϸ5y[ޑ:X 2p+S:Ƕ#YNLiySݭ0DA\GړGz:eGZ ڻFm5Ϝ{HEKz%<&N+W&i ,D8ir+gr7 %zB )As/=L /f A&:'@ j%Ac p']׷&k@ Ѵ[9^5 PHAs0T/EԨ}soZЖי(_4#1R,)0GS1cN\4d9x@F.$ ^昩FuIsm5yK(W(VS G͓"kҟʏ\<„b7~ a|Xg4 sBl]N{w`%9e M\&r,m֋gdkGLͨ7UTZ.wfVO(YEJt5/\$?7HR|J<љ}xMtK~,\wMuMļV&(x7ܶ*>}\rM=-Q0}&Sk?j]9::V0aj/lQa8܉n!,5 2v(ÉxO[SA'~AwIsk֙H pvQ–Tox,h9ʟVݔA5G:n9砦1(ڗU.qUK'sg=j# R rѺ]P,40ʡ@  /WKaIuͥ/(lUlʧ+xT:kLNg Sws4-#O˹2鸻jH@ SĨ3CrQ:%@cHa:u޴m_K hM׾h%]/,N/rl%HFy-+jԡEnB!9azO֯ mrl۷Ü:CF1<85aݠ3 %vZϗAt0o§J !-,GlyOiÕםև~h1ȳljA@ ˏ',q()R)U`/[E]zK?j+ʢ.UK5XtǤ w*Ne1xlc=u=p5q^u(/ͺԈ7[FŴ;l`1ȱpvN_"H`X.ߩv­ԴT ,N ^TPB\χ]]MX'?O/ Y Tee:D DH)tqtAW<sį mjyrc'eG.s!\=;@tټ%B~I!8;HzaAiҽ"'Ag Y!3^/4wE߮o{:(MH`/&P  ӉYKUH )~EQ4Iܤ zQt%5DwͪCu{ ]|/<`CUւ+F_rQ-I_+U3ͺ}z:@w)5D6[s<o{@:^  *ƞ+ ) ="Hzbz`6]RDG3tJs| .Y!jD.\Uz-~67Pɥȴi%ÅdGY)ٺILaQifF ؤ n-`AӦyxE8}HrQEzQ|%qPlm "p&q%&B$y喙dLEDaSLDhC5^ˉ]rʏIUN+lPHCD'z c/(5֕"kz\OZ'@^ԫMCX.*6-dMA:#=OUQԀ0- vV{N [!wIs|U7 5j;:,;!qOF^9$uF>g_}<գQM,GAlV>faxpvVe]lD ̝S־9,$kvS_&?!R>438Nn7䬒=WҰ> wkC׏w:3=5[FKIS&u|*Z)ڮ\̹' `, k eIʹ$g.M!ξ/2?"Аp @{;~D#4~#~cˌ 7H0ϑ]KgXpdk憘yYXtb8> .e@j׮r.wъz˳C-sv"{p)CBxAQh;9%=D2MӿWzo-;ԑUoaeS;<g 'ڥ)A5VC'M^$sՇUT+oK/~FN}[$XآH5p5d-@`jlkU1d6T;6b78yZkİy pORYJ< ADYicĎ]^SpCsa)GȒPn^f(hW;S%'bWb?ӔtM8;m GHJ:Gr 2TTdV̑o:KxXH0k9@"nڦ78-:s FvzX jZ`PTlIk٢=ZZ8VjdYKfmb*lcűA6Q 1:H`(VhIyT-蚶A/2Z˹(ع6^E)=C+tY)h r'gtd|JhsFRZsN|{Xw&W8uVS&sA++ [c\ʣeRh`Ҿ<)߬Q7B@ANs(B64հ٤C~uLXRpEͶɅ ۔ws }O"GFLk{W_"KlONƦ.jݮ~7աOUZu+plDhB4p>o6!*ж*8{S8kwα޵r(Q>XM_OS(02nrRv,]JjY[, :Njo kXV#Z)uj,yte]ֽyB=Bڇ׏ WTKQ ]. >(-[e,=3H*{ߡs99q6Np˒Pql,oẀ>guhG8/G@+%+NTl6Rrf%˰B[t/M`ުݴ+̆O@  v %8n(T PV̼XkUtEs lG[w1 _BYZ<;j!&gKʮ-~2@'+I'7EhȇCNdxtu{p./\%ڥW}Lcx;8Tepj y<H’B[l:Ř,Jym ﶫi?Oº@qȲcۦ 3I# 2!f X2^ Vi5dY tw CP%"Xt$=7dԏAi}v[:~*xܵ1 <8_NA J$ p(.3^C_D-YDM4#]PtnEyR'^\ϔ){b[yfUtUJ߲we{>\  (wU,h DaTAs/YxyJM/U.áYc \#.npkS'29 .*%Q!.fr,#i7xhB--oȌy 6 lEsxb0ZͱV#Jyq;=T}7m. Q-^M(AM5tNQ4]5HJ؏[朚V~'24bNGGٽ pXJv6Vk_咳^S%S.3XZA4! #=$z- 5wOɿQcx X䩦4>b6<!Mrh!xk+Ɏ.Pr@,S ;,E7 ez󱴼f|J{CY5vpS[G ˌ҃8Ŭ7h F7^RĎۊe{6*y<6k 2\oԥ(1=6Ba9KND@58-3stB}p"q6GpvگI 12>n6_9RBo5}뺯jƏcra;=J}"$ VV4GEGVT[/9t[ze:br\;^;,Zfi)w5Q~}IbvE< EXD\%I:6z f> mۂH.ݸۑO{{("1G+6aeq4L6kP;~"j.izmS'U}pZm SӶ x}f'cLl\^Ta {_}Gh}#G]zjJw}&a6Zl}fK< agWrҘupဋ P|: oB!rqݦ8CrvG.(J[5E N/3~3q86ŅĤL@ 1}FX9` <`9]s!ALT?dhDrWXROKv$I .>}D KyH'׎w*M'ҧmKJj>WΌɧugK3|H!v&@&~I 8j߭2]bblBG[:o,= p,+DmV]a\4_H/nFV `Z0} wURUN݋g'_?o[ iARy8LKIZ%nY4rp9xm?v;FvŇ!9<`ZOp ʩrMP=g"ר~92 o[Qp@)otfCagڝ^#L]n30|Ū{ݏ?YV[/xdRc, [7 vc+ub?w0ƶ JGŁJ1wQG8 /Ya#FnL7a*dȋXSE*$*|?ëW9 לjEuNGg5'5MK>FGS dE kF'hOG-fh} gye_7arz]`#x׬)Q~ bT !;tpXwˇ)I>2>@D Οj[ }56%e99˟f+](rax;D.M!X(\\.<>D j_J=Ĭd Q7zY7cDԲUQ~"ȶBPAyA&\kWRdO^qd7 kkDMvqǸ0HE{*O`hT|~;4 X JU#q5 lc]:ΰWXh|h"};/֊ PL}6jbVr60%84?4{jnJ3/UE,ɁBs 2{3\聛|^P 1n/7rx>֍ 5;4+W@wuKNKO ЌRuJӓƨ<25%`41  |zA;&z\ s=|bkhKFzU'aslW})?g#J~[Hga#$[ _ T-kS2.; ?I 4 }{ĄtjH=Jy bĜ\ T8+lh{qG =҂$2R֣R ʰhlgr:9W5|Ѻ44lQ%(YW &;? A_Te>)Wb>3Yj8v8M69w|E98V Y-F*1jUD.P 'dY aݚbA^%| 7A}5[HiMZ$zya%ҕPGM!AmSKACv× (Y@v @ƆM_(ua%Z|;>`lcMH9sM˜JaZÍ9@sUY\/!x,MYF5pz 3eC+YÛ'P3 8W&eF\`/S}ӏB`8_ث?xT ZVZ){pexa'. S1:]c {sٛ\ɋ5rGz)-gQy/o|{9<9RGיm{l? $5Y,O4ѦY̜NP@;CqUd,2+ +lmx4z>YsY[B o|F!;^Drb;t{XP{ZL3w!x4m<ъG!)A VE8Nu [ae"wжaa)V3sltIn>ss]wb{ Өl`0[khFg "g3e.r}{U_p}k%sp"Q$VZ_hc,Ch0u`L #:ka6IXξMYt*DYmTf=1Pkx ]#} rP,:a!'_, +g=7s~Vt7*yRjոa<Ф`j#6-9CX9>_g~w葇Nɶ&N?J"@46r4袑@^wNq݂vzzGi柒R /ӷQ|< RYc3B7=O0t/cܐ8PھWaRn\6._=qݳmp$p=UFKG%!H_Db38cpSS2&'J67=[P>w0F~IG8&b2u_.X 01n?)vT^x[#wRkCY'竕ax,&MІAB)Ĥ+0'!ɘHEJRf,5uP)@̀ΥXU}S,v5Лoœ4_fN*1[hUB* 7`w!@ >Ɍbg]W) Gg+|J3RW y9CEcT 3tߺvh$_BE(%4F.6ca\JHZҬC&r(T^>!*ᒿo`q)tṘ x>O$v).كlXٟAK.u|eى˕auno1zLck1İgڌ2$cD=$U蒊/ɵyর$ R|/ǂ6DXsߗ\׆n=aT:!y+(fJ2.% E 36 EXͭn-RgWVSoa&Tlcթ:_Y7?cR־w7[Tַ\MLooy{S llP(kZiÅO8wW3!ڃn%/oZwlxLMo3I/z#4@@[1weoh?ˍ& sR"5[Yn0KT #>׊uτFȬ[ !yto$tWbmArEWI1LekҁAI4" 3K&tzGGQ<7T$̆RK* ~ͲBy9Rb~Jhl'yQSKKN9?O|'hHJ^}AE r~<ë^WyzI)oWgq7ULZp1MrCH&1,sf /~ǍO;FHBv@' >AϠQ/;˟QvQaqD4B*:7si˜7c@N.j74C~B:D-0B٧9A Vy>RW2_U& M@LdJIH@ w Yk>unkDeԭe0T ߫)V2c1?c,Jډ@LţHhTƪ4 )ݜ-!"pPV0okjŝ@9mfLvv nNS :8Ņm+7wS~h=nxWB ܩ>>HA7#5R3])ivM`5ot͕2ϐȥ[M ,…w<4r4;A%_oȰǚ  DQi*sOWؚ8+0&! Sg"aCajZGf\# _ H~W>HO^?E4 1ar$C6?>et⁜7QpƮ2BdKsX` F"?VȝfKu>fq/Nĝ .'Ɩ}9O-gƬjӡ<K9a*y6h^. W)Ӏk(˄g'Kv[} ߅R@OFL, ~dWY#1?`bKC~ɟa_&W1M*Ʉby !:b6$i=גeSPqLN%L+qqtuMu;4i"k~CD@ĭ K.JǙ}IH 0ʱȓ i{^?utB."OGG`ϟZ fEEYDd0=p3-x=[쮞V*EXt.zց% Y_D8UA1 C~K НڑiX/W7"SLc =f&/f{Ցm2rʯPvX ɺ`w-Z1vʙ#0}?J"6LǨῥw"֖O7VG@߄bY%rJ%Iw2 *N,!Q~TX*,dFxY ζ ۢ`I:G~th?j<lC]~>\ݱ}qm֙ESZ2 UYf\P8?i;WjDTASo8v*2loO&Y׭Q0.MC-Xێr+5B܉M_P?Z`S}|\SvKȂ?C-n?3JVJA!BSF'RDYlZGLQ)w nj0q2sl;fM_a!( ҳP=Ma/I ZM~!?ѶD*A\yCcȻr5*5z ,pn5q?&aDce|QVZO8#tM˷/ '+| 'Q7Cȅ0Z(03Wߖg^ g#TlU?yZӚ7CɃT 1$ xܤ60v;\0*mŦ)~Q}%mh a\i%L \Qpz;83$x~tD#KVk'×g.8}Rma2w+apvsL/76c*Ltr&^Pa$MX8{ZW,&¼d?&! ʹ4W2wIt'k-N dO+"\Md9y>W07w΀ԒpRvhoȄ z#U.лeМ]h:y^Mhѱ:YH{0cm~ET㡻'.a5EDh3/SrRT\0{)u(hw'*Z h!nS9"7Pbױ9t*K&HI#x?f7F81 0T^vQ-lE :p͔琂us9.>%YhtHYW#5H3} :V۹t( !{J˄&OFN!G^Xq3 C)@._̪e (@!T2\nS4ItgݰSRe}@Qtӈ":p+>h"f:%N'cQ%n_.߫dž@打r=KͶ7a> ً]sv)̚V"݊l`8F犼2H+ ҫ@tf ;q9?X$Qkx}}%i"EHcmQ\hʽ+%3m !) UK23-1gu>44wؘ֡qkJbN.d,BA2u{D *z'R PFx| b?h(O*9OnoyV 'ۓ*u(jgGѳ:maworc:+4ND[D=%zC dE6 _&=L:!x.6w셗 ~b_{ο%O2hb p;FvL(o@5l.;8Pt!%#~Lۍ -P q×P.ͻglĦy-D&˄ԷrY 8}(X$hu`%ܞTs9HdkVtlw 'wNb>L(wxlWsZxlժ߸_6 I0oeEicK?*k+ʒ8č+ sj:iDYOЈdeǯU0?+Z0֪w-^n;gV=wZVCo6LTf)b$"܋q=@y@d߁'vQ5*p/u_ jzOǹܟUi s? kU{Y࢘|Dحduk%"xǃ+um,;ԑ' cΡ2%c((k&7Qr _]iBDH{QR_dx"KM)}Mz:|Muzslv,<=Zߛy >/Z$tN^\> qSQ ̏qVS9=v~+Y8&Aۿ(S)[j9@Z`<\_PbÒ$ҌJCMhU9U=cV{N( {0-4o38`B*. ?f)` ot> k-=SM5mG+YNg1Ɇ V"gvMf& R: q|&^Mㅂ*;\:`x)eٝV++E8ǫ38\1\ؠNᬊ}^Љi Fͧ/J{dq$Texf"/x/apC-U1H?SB{6cFNssk6x;QҖc[$Y4Yv%qЙo'w 8d}z4 ̛ 4.~#b^>Ap}MJB$8>vşemGD 7(ӵW{j)6+1_b|T_ZH.A+ &ar+pQehi0IqFY1emfjt﯌ӿY=cVmG4cA7/ 43s]B;|*+*;9. a64 vJM}R'Hlu_=?CBBWluiK~(B_OF-(vK#MlSHGdܮn=1Ç^%ȋ +q<$j%;P.?]~'u0К=]_ `qR՛V#?W"uڗ3U |vYc >5ΓHZ"o/@пϟ} \u z?aR%%T+ 1z`4t"?ŭ5Ի;m(9Qԏaܯ`LZ|-NH-t^ң_',\JA)BPys53c0Ȯ IϪ1sJcPy(r6DhHiXw.]Ыɷ*n˘!~v#2@O$c2M =KSl[ <qTB !b+*8g!j9=ɆT ēs$hea¡Kٱ|" !'I} j_˜E !ETȦ= @U__VS5Q;T}6gݯ0˜ { CN ɓ&Bl wa-r-iqhkM2]ULL@UΫ7?4c QdzJ&WB)@V  ,1tal@J/*v!&)`PZCRI5+c̟GWjwBtyZ6)Y(lZ9}PhEɰ wIvR90j$jfcn>6qbJNUk51_볿i/Ӵ0M.c3DӓGH̟3 V$9T&; QKoE5j)mJt^P`iU2Ӗ`ϏGrzi8a˥9øo'>^͗UOƷ_і2敺`^kZ#CoKg$cT\^(Yk+f:/7+T=ݴ;鋹Id1Gg;6Oc9io|)v~J-@7dzɢ=Q%i\QZ{&&|fQ{WɔY2 cd6TO!z1_MҔHu4NWMK-)+* OGEp!gj/kF}b!m~gc&ݏ1"ίBb'T]GnڲW( I\ea0JE~~'R 0S@tĮgWPD:+(LZS82} ^7U4SqVKOCDƠCN2wJ{NNxCM.;+t8sN9lV# gQcKuˑ 暑|Hi=Q_bE6|L`pvSAPc>ytﱺM V&'p")}C&1ލ(#|E#kq㙏}hHGE@ݦKΥ,4H>~̅szSde66=}/U:{`'tEҌ?} \BL+&@W {QM_%W'M=y /]e n\9?;prd(YdDrW{P JNu/t KW.2aAp:09q2ttpuƱqfF0I؄N[k@bU26n:F;{TU⏱}9sZA| pDxb`?hiasi_쥽$Yr&a >gsn /!pr뗩drbHUopGLc;{aݾn 7@UdMD<=bg5_:my$C @tyFcMrΞ=^ ˴jJ`h"7AEL;'k/WRmVBN[:÷wߣKPh&JɽDRjC ;]NŵfSzT:C$2D"{NаMn->X.bUmH[~-Raw+pWI@?9~fȨMšӓ)9b$1C?RKs4 )~8LL~G pf1IJZr| mWMcI~y%?b"\@`S]i|2Lbک`߿D%2{I^[B'JWg{4|Ƌj{Vc$5)fSRAB6E<Ay 6ᕖc?pY~KoyI=,8Ai8xoT:JˀɅ$p }OGS#p =TUO-HY@ļ q > {Mb v@ܧ:TbGr(37"9$ ҕ]` nڲ7!#7|VVnOB9vBV= %gH9n骦:MDґ݄]~(vHժ@gS-;'g뼀*e%}[`@>Hg(E S@l77d /0T<5yrI$ꭠҍq'd+;B IFkBg LNO;1pyqNX5Wi rH`Yd9@B26Ճ4n"=?K#]HjL c8 ^s9m" .9OMB]1?y{ Z9UB6ʮ7W:;2=o_s;%%-d#pBMdQ'{ &G²i`cv7{s9yr҅Y t9,B8y/y2vj=vߴ: HO{ò"[;d{Ti\#pFAkG>/4To T KsӯW|л!26VK&!5QLݭЬȠaf $l2!^zKD{|k[ (]X ZL?7'T]|=fxGAE]S/ ˗JـgjyȅŻ$KPZvݿGsOi~:dD]D 򷒴 <5I9x$0v/gL2B=A %ONn H}&ү؄SP!?Z4GܕF4VYnG{P4uf.I gM?I]%Q40eQ wf-"Ƞ½Uk.9OԢ6b 意\[)ψ]*Yܳ#վΉ2ވmO&%8 H"Xrz(q*ei`[0"NyyllsNH{=Aao(5LqE/ 4x0<2RuDd,rBgYZ017332709c5ac779e1adc19f751e24d00ce78c8ed3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 220bdf17d54f55aa3930e6babf5204226c781772 f4d994c6aa222fac92eab2aa7a5dd0f1cc071363 edbfe978a7629f933e2a0a96c16442ca34cf7ccc