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 @)$D ]% CakeML_Codegen:threads=4elapsed=524.429cpu=1495.840gc=68.436factor=2.857zXZִF! .]ŗXf[&,Xr–wy\TtVqCQ-.ˏ,cx^- Gf :tSJƇUU(W$>kP%VӿP O LeҍrVF յz3~PB a:A{AL$W;6S;blvr뽯'V+)vE kl~Z<'/d$s\{B; %GGj`'- ARP߀<+gһW|^ pSlk @'K6mU8NܦK\(Ő & G>vb,j=F v@X*͈IM:ʽ4 K)m7F@ IZCy`A7Kz@QxCv[H/-nZ^kv>"V(|h(Vٚ:܄V}k2R3Hs:`hYFc Tr%ɸg88=<Aot3 g.B+[7}3F41,0DoT6s&uw4wXǟnV%lk;`\ /dzg*@,fW5SG1Lm~3)= eX%d֧_K+y|PL0Ͻ7FQ X>k˄UX{h8! 5u)7Ls*&a}3 _(| pNlՏJh~-u:2QHr~mwӴ AG("M0 :3,ZQLKʇ%;v(WG{0U 򣩐C!K7 {>UI*gڴOuf'$X׌mI?|ÓJ&j)LqD-ۉF4yxIe~`D:4Y_%:Dxއ6POYGkh -湉C4q^. 0Odz>o,Rd862jTuf0J38ދSKR9DhR-TXESNN4M0VK#뿿eRi0oU^c"{1m#cM?f&y#"`i^^yҶ}[/bm \-y @[/N𹠝F/HaQ⽸kb;1yD44%-e~sU}Drk~ȁnӻhݝmv!he:>3U$dM=EdY8o/&jK]jN\m Q ]lE*=H6V3͛0U .M'A&}E|+Vq"Bw6Q>\c͛p*W .㡚;{Hwo4mU12(cļ @Fg@f -_@)υEO΍тO"=R yÀ._Ҕ4Q"o4zdd+~mF\%DŽ'⺦Sl0E(ۤ$Eې.]oͻgzHp*1 ANP X9r3I熲9,>A(kˬ [`k^j@`d%35h/CMӪa lҽ|`[(yurƆ.:'b~΂ޭD5JN,НgdiX+s|)mWvO,a"SUacICv7tM9bFۗ ;TUE V+:)!ۈh%YR.[' 86u]9p}fY ) CakeML_Codegen  t E~͓7QvF ccmgFǭOm-R> h ssћ)'I#[Iv}6d}4Ń86$[7!c^ /LgZiҤnp>ErRῺ&N1؞Vm+ a"ؖb.Yyp0D#&."h-X'4&kYTc;?%)ё0zІlC,z-ͶC6~]hluD4b`*0!lꔷAQ??s畴縎},C⟇@e$# 'ĸV4)*:6 ?94,|,V-;|SINbv&`6G4Ě"_K JI|`h6wh6̵u7%$^[bkG׋7MVե/Z@jcOVv-Δ#HQu i( 8 }>lNe?2܏"h8?sLFqy~{REWΆj޴k8oV;DNho=ޥ{)9$)V$Oה^htjŖ/Pɬl$YaEnA<8 N ޻2Eׄsf N1_P8F<}+p.$ZCgr{Ňm>BF=oU"]QZ'U I,>H,oqb!SAϦ٣nMX& WaiE[0̱ 53<O4Ļ3W|hu ~ĉNN:Xt>*7 @ CV_/ԾY{"׋,e ̪P-YE@4۶.[h pc)MuIc_g&ωW'@AoݶFb'oLWyƆ&"ud XG\ Av~h#G "LBUvBs^~$qH0|9#Ѵ_';W:XE v(QAl;@7oqI)zx`ыŸ*7\л[qkMDT"W yes!F|DN~{pt?N|rY!1V-Y/iߙ@p/ς%=/@`T]r6 WYMgB s6S'Ǻ<;[ЯjSscDDjW׳&EGt=EӉ'*&:1ݚj7 R4V?l?f8/;0C̭#O7 mw=[efMiA#7 .7R{V$n7=} ]n1h2EB8 <[{Yã.BCnzd i?ՖiLWGmCr{;k 7T\x?Gq|pWpGtV!d3]#kBSb9bRZYS]@8}"?Dv<gc' nVKfxII(91@f랁\}x4RPJyJ]ȈEz#wSúǷ~PD[)?=2DZ+"춷S@9@Xk3;{y΢@-|u0L1gm{wlٵa UQ@}r(5+c:{HMNՄq$*ԭ%#p3+:o602>X8A+=@F㏎M{+\ 72Ȉ*_T@@RBԷt K  % ,Fb 0g֠a7I{@I`Yofpy2vH>c^nX:4ay͢\P!&ٔ\>K " Z3T~7Rq|z? g]Ts70@ie hp5-;QeK:S-"@$Vp℺XR懴|-޶\xZ\BnjC #=M|]Cx^KX^𧤖^ƦL wmYW2B%^(k-ɱ>}va '3aHP2*sfRWxUu|b̋ sV eDˍ$OO4i+pc CUqS,75Gy˫/>k7a /Q Vcx8y4J_yU.C)hgΛ#u iIr4g}]Q%P`6'Ζ(t5@:s(&mH^Xm:% @DչONI;Jy+x{gyP _A9F*f b$v0'_전Z{[ag>|0-75 ĔvQ9%UrрYSv['DtX*ueVrF疙HH "L2I9@dv;wVZIYs(; ~At{'n?hҀ}.,zk/^kHNx];n_1<`ߵp0@lGq>5Z}J <|^Mm){q9VUe/ȢvheD,S''vQ~ۻ;[;F8?|D:'=\ͧ4AXs}7ؤ/ëb)Y,($18~<96WS.awK9gJ $\ܨ!5.{pm`7BU+Gs# .}ZPHK7)\G~tvRyD[S0 )W%^>3+%}n_7e#sv2.Pz6:<&*I;# +;)ՈJCjUK GK9[99F &Ck,p[970 فFN$a'8E(S4HE9غcgYZ7zXZִF! ]ŗXiɟ*#; )zhWfLpDl VqlږY~[CIއ%%Xޖa K8ʎ!&iuyS`GRt)}X(;^(~ [GVs=]VMg T ؀](iș;ҫ ,7' 0sGض5x?\PBvj玪36k'.2UqЪЧ] wh"SZ vE[,˪ :gӢ$yh:U:t$2 ϼz:JLMCrStMq >mRR:_7m#F%Äp;DpEFFO^rRLAT u*C& 6W޷5%Y%]L^Ѻ"'do9Ǧ%mZkROO?xxL49 R1wΑfGc+A,/Y4W}a'(+_+Ĥ"j$2!'D,'-xH"sd"n6'gɶEU4O =C5,-81B5kTi^Tsqj2?*{pFzvj\P#4B&)c~(= ,L辁5z@8m:ҙB<<֪Ź;H$jA| ;ΫgYZ7zXZִF! }g]ŗXi%I n_{>1T/S-M 3zLHf"D 9X( o&g]īyRC)6 c~i6x J:}Y/C._##Bj>0X-Ml'm"ѻ&Qo^x9ye-ɉ$oGT ͊JEE؋V#76_?Z\I/iLBE!Xg:Ē cSlh{yaCh!AiU (\ הlone G<u)"O;xx.N<3IQ 9ghmAMeRr`xw,O#CZR`@N`.u{Gy:Y4Ӣ:#sժy{99 3LCx XF(qV L iȨm" (y 0ӣWPni!R@q,"1n3 L-VLV18JѥgaV!W*]M8C.ze/7+-K2QWYo%=09$hЫ[؞.i vn:)XWʳ%?cMmI%`W`D,9h'QOl1Etߓ) v9sDͳ ޴((Fm&.Mgs +HjE6~ n]WE7kK_mRgFBbf$,^ >^ ԭޛ-:HFǜ΁85D] ]JE %T-t\ft?,s<چl-C g,5o/WL *3n3f6Z&<NEgd|dRBg'U<vutupBH p~jykSk-Je  aJ\kv "DPN Sd+S2V[pE{`1ر@>ZB -y dWáLsy;Ii^8hzZ3N6`^2C?[ % RnUd % dܴV+XWڳv ҂AwR-7jer'W{=$zB:D/-F@̢*N2C5& (l7'b-FCu@;d3䢠^M ; }.վDYQҁȸHq 5ЃF2kz8BA3&ؼLC!K$y] l}HCYX'p4Fn*`&BaډO=),wR?VdB"!U'I&M{.@RcsHSJ*iU TҦM&P[ш_]&upA'Z@bxsbI,룾M$ET8Ls@/<+8V lP4";(Ǔr 9>t7fsh3C7tJז!#xGkFk)z ?'ԝye==25|RA!K/:|\35 f}"槭mB;Ÿ>k\Pd_B~/2iP-2o6#]X[v-Y~v|Hᬘ>t2pjq KgH.b Dʾj7ǶhW!psO"Fzi#y !x5<.7EBM4 zO>e FGúYPeG9̪w4W :$>tR=w!P>n+Lf/ުX0Ģez͆O)'$HYظXu"],m"> _oOUˍT:FPIФaB ӟ2,ωk ɖ_}BvF/Џq66&<7-rPs.:~ }lNGe.&2>@ BiJ$$m X\Ά>Y nwއR:?GiՍN_ddw&HtR0R:k9zNc]lCڔ kwc"o|6P`bZeW ED^ jU֘Szd Xz[tfvbDM2V$~~n/&[>,ҥҧ`ȉs#j]87v$eZ=YԖm.q9Eo_#Ab }K{Z%N q?_ 阮g||Jeiʣۆ4;cwaeȢ4V\յ`r(-l0f2Om[l@L `ו9E_ tsz\u7NWNxiQE gϲyZ۪M_y 'vsUZ0?GB ("+RM#f˭*}"s7ӥy=Lxxd7II~-\zYG\5zYI2i =KUwQ*'R7B"j}{`AɳDē#8fe%zQKheoڻ%/X>>6cMzV?>7Z[!BMJ^8%5:˒/wm\Q}訴g %sT K[|-'Fs2- dK' Dѽ.ǽGgר34 /t28H~H-:, ݖS3ŜZ̀gfF6dKZ%݋pPL N2^<θHF=?cH-#p!;ND,8 SxNg3 hTTb 7Øaҕ+&2"6d{q/W %;c۲nOS Tdkȝ&Ĵ|i۷Ƣ?g~[2U¾ RǮH6&n 82[3eaf둊CfljJ4t*8}5U#DSFjuy}ic1^2Кtv H-6yu Y[^](\t MVg*Χ,560$ӂ?w4qu)ўo ֈ6Nv^PtOK@8:q>B=JA0dF (g7 ]wY/CYBslwg?x4_7>O,#a5QU8.!ЄhϷ"V//S'@!Yw=[P퓫eMl ىbu:¬ͣdQN_Vhm1F=N'@V2y|G8Գ=5T .sJ=ְv*K?I< ]'!j>>/36%l/o+/uS^V9̬6A-KkV JyX$P[ F>T^+0eʯ{C ;z\uAƳVǥ,)^rAY)jll;n9#!:Òp9iZ3*ڍes~26qtuҴZ]S ^~ Hkmhds)f|E8HgY=]9BSXʠISlWW?[Up]܌s=FL^\~)O]wGt%D9PByVX 7iuM7*x1j# 4鲀=^C@V7yu"AF+9 52ťq<ٔ~et%r#r1<iY@!zp=sO^l>klXgdNf*ƊNL#Dh@5+gySARS%?0Q0p۹ #Y;M:O=~,0 "!{_BVrYG Z%wvᩡ.@Le!G1ҍ{QL-0JN'|3j>gg7l`Io}lqJ&.g> $bofV ]$~ Im-?JpGB$Wԟ%M6qL?X3;deAt3:cV.٬ݑ@Z$ 97XD2*eqH沜=*ڜ[P츜< B4rC%kHvZCÔkĴt2I׽ -x%/rc^>($-_Ih' [%!(f}r4S*uoLo N@ƺKj?Ș-L5]ķqw[w4h'Pf3n QµaAf~)~ }E8N!9jAT ξ4lH50:=U֝Xt ᦡ{"ܨյlMb5A-`:-{/2# lF"*̀<}*` _Hy7up,W_@B"F~+[bW灰.kټ%E`)EMhu(η5X:Y5[R-T17VW`CbX3\!tƘ-i>BGqqnSO#^q4 1:Z unVX N3 ]ܠM4z hSQ6(&䎑NU-]ղN }{m.+/~\ۿ!CԘU^og!IRH_'ziaOϝI"H_ܬ\~ֻ|F-i* ԿDص٦HƚR ikBFo# ߷a2@zo䄊}3.eaxЯIP(6 A%oްQZڃoV omes>LQ''km4Y]-n!N wCx[§?nkWZEY"J 0Y۷;fnIc : (40GJXi۩M*n±>SQKVPii _mV6 0S"pZ> V 7 B~a&ʃ5-SN&IuwVרպ(Yp$Vb \)NWӏUJv'oRm0Ukyv@*e5.˔>F?Y)a, qf63Ő DOQs}SՊIN6*o/r^Hے&]誏 =lgҵ n0RӇ꓃(ZdЀ?ȌWFXZ{"AѶ(_P.[ 2$DDXdىV ֘&]>< =!$Κo;_K|U3O[tQfǚ\8%f|w֘ȫ@5]0lL~': F7RC""!^Ք'F'`k-j 1y> %Ww᪋£G<^j-Ԉ&>T f42&YS5: { ކ8t9~ 7gv Q]CVx[JIq3'7NH :sxV*^6Uli ',ܮk*NVH–XU1x"$RⴘW4>⏵S)<ŀW3s$_8じM0Hj iN  [SĦ$+ܑNw*ELg ӹ;츰D>->\L,KKcGK!&|ka[{ IdaCmz0"Q(5Y=vgXƑq?Lűl@ 0GZA;jQ8V K狴/*PQg"ɳ&Cx 3a˻IlIPFA[DI`iG/`/ y_lY҅+% uܫwaDδ5tDW&61ɢpl[TAGrHz{ћ_ ''lyC 7 Uj_iTÀ[NsYȶlZEn{O]hdVG̴B$Am,utC%DE͝Q)Ⴕ@4n ķCP@ UTE ,[I(IW dJknS8 @uӁmhd㰜h;->Hcg]m0eÝ8FP C{^XLG0*'ssA.yAF+:+5k NOb#&"9&43 MpNZC.E&"y IPwT /xLJ V]M9+唫+% ƻ)3{  &vC7,n{ϰ'̀FXBb'<']nd(|, 6LiE mas|@4P* D0<*r%8`/rs`kֲ I9z:)Z[ihV?|;yocV6U2—K a 4O_ B"̚%afJGC;W cSڦ=6'S$AY.UiŜMEXc@16d2W}3:cOTc MOYF)J#kahit[e$2o!֊av1h!c+V)7 (cĩ ˫}}3M^KgrE3.X{k:X^.ZI)QGKFԓ!=qQ]flrV 'epHkSet0{qz/ԜPIFàa*օ=.V}y!ݦr H&5a>ǛwDn8w b29_kMʼnuz"j&}ކaDx5#ƳݰV!*,ݻb^@0yU}*\K#^ }ܣް _jțXd{3J+Ei8TUX܃(/*E5; D񦷠3wVU>Q,Mf(+s)'طmoGn>sY78ȕŸGOȾ0̼bj5^Ğ&m󴔉'xA993]]I)L k`M̻nH &oAO%m0<Ҍ\m"63ɣڏLu;ViUnqx#h|^#=q#K̫ja ζ6#inz=i!( ԩQ/@M=) }Y1 X?0\o&\G jvȇ|i}: $O,(%(ް@`˥SxLȇ<nE9$G2cAe,#IH}̈́~b1@6voS;}+SfVQ:!gq0O#a2dp3,@#R>c΂rWJTkϯQ&i0ZU")J[8| = @ ҦU9J -} p Q+ΞJOt.$%5=tF+G:;خg@~ekN}'Oc7 z8H=x6 x2/jU&M1?ݶjTgD߈Sܵ<[Kл{I(i+̋ӒrY軉LTw$'(4SO:ICD{m^}Xx/x#XHa$d8(%GOE``_6-FrꩮQpJRA59~jᱩuW6 SPpm\l0B.P`z17/R(D_sFG}U ( g,%> ]3wa&984Zu7ejs>%TrE@T:Pا"rVD{i=T|@Ȫ'8}ŋ9_g.ŧB%fjjJLaѾ~)vd5bj]zk<&nSZf[*}TcSEYP;梖ᮇҘx9r6\ɕ+Jk kHBj]0tl^2U"q CVx0qW&5iV%0r ~,Xm=!Yl<9VBٔeϸUupD5.ڃz<,T~3 XaHpZjѽRZOƹ;LqZRp|K 6zE@.֗ r+>i'L-dc\;x9׺zV,",(`rB2^RVR4nls"߇ZAK1bjPLϲx:>:q&Md ھ_x\S7*ARQ'bt-*ڈTC-.} ǼJm~ڊ`qB@5!,HIƗzK"XG뤉;{wd ~YzyD岯"(g]dsu{{_0FjRxO-RW`}#1vatzK "a֟dR2䎁7%= YkC`uz=T`t ?78}g\X)K%$8 [g} *'74a{U[V\_]7UPMbܾ&˶k _ /̍{E(efʣ{ />#([^mLبe'>|.[kH'#& n=i@šY.wnViqP|ð^~&m&N"+1 ZM:$Zk4Mۗw%U ,+M:#UQMs' *Y $iVq*OPڟGo.iّN6~3JҗyFuu>io7}Dڼ6|SGedLad8O'(EG\-6[tG-f+pG4,/Uؑ -zeY7T*x *$h]̪ꮗj;jÔ֏=OR<^=qӷU=eZ-tX)ǚ6M_),#e vmE⍧b- tH {H,Iw`UpA4v(t\vpƸܮOsDu2hȲ$sw`o!Ɩܼ1Jx -kk @CPKAsLKup#hH9E{£< t슲{"LEb:=Ua~ҾV@6T} @8LL0p_PN\ˇy)aLȮ'ő/ ˯X > Mཕu' ud$#[b.2W4]+>s3|7kRAT )# /ڍB}`We,E 4s,XdJ)RtW^D<Ɇ3b[eU2ۘ֎nFuK|y?}d=*9Ȃ~IdA?@Dv\']MR&`͸^BXO—CNX5IU˦/H8@p%pkЏIi_#eF6 ZZ !LySβ9WS>1b?A%8P~˳O\?ahH胭`Yp푧2mItkb}Jkţ^c 95+ ᆔ^TVX;o=1MQGOeD ӶdɄ4-x0@A\˓݀6^#A$|f% ql2}@= R< ܵzߜ-8 loCd9tͮ& ejFU{"x{պ Цs@eH0bcMF/vBqG}.8k<ϵiVd)I>- S?)[bU HS?g^E&?X`Wx@2<\-D_g$͢txXGmzq D:=U{ױ\YbsBYxG-;4KJ%a5L#^uj5m0k&X7n 6{[UJB'Wԑ#,FԴ*l^Egkp "6C3%4;C֛4V}*cr71dNϱ/ 0:^yւ1h9h \.H$s_u! R0EOt(vc7yi@mBkòQX:ȔG [+l_{fHB|J]0>x7Ԣ\-9阆"؉|ǝXyQ] s*\jfkĖ,⡤L.rX}muEÄNyMcG\ILl\8e(8o0~ys-QxmSd$eudEa~A uV6{Ř֤]vH0:9Jrp*%߫ ]>&z'nX⮴Rr.brI5H2Hꖕ 's{؊FIg=(@h{[Upqv>56oEz\M?F)Kɥ$seȸoey)XSvH~?#W~f#l?K _.A:Yӕ}L4 ;1#iXI2ٻW.DF %-'ELJF9*Ppc1 ƸQmU};D|YV8Sh!yx%l"6\W4x5aI{ϑݲ&cWM-.ZuS牰oUN5=8P!}M[vlc%?SE9I`Df"5 da hQeLzKU'T}##v5rGݼX8,g R;HxӤF*=.@uHDov?Q"p%ԙG*wK~ٿ>Dpq.Dz0K ɆuS"e\zWRTK)R9L'hC[%]bOc'5ԗ.2Iᆹ꺀߽,0IgNr=ky_kӭxRR r03Qb`.ۢǵq'mG%]RYߥFO~ǾÆ<0ޭՏืH\;I(fbYZ 0F٧`6P(H*ٵڶ75{^6eI1C 7 mɭ5ʒqK}W&Iu1B ٟFYuJ-Fx=7 v^(OxF7WKOpW7nt+lNcb~sa$tDu~0Y$jh)9j}R.݇ 8xN7@ьPZl`'s)#v]{NH@b8AWyqTwnWG> 4X5f jPTРqDwL5iJX t8|=)PnQIMBe@"w$. Haᮉ^BeN,pOjCQ R!sI!~v2jl5%imDb=[PsRoC MYf$H,ϗvS@C:"ݖ>8ϻ#A#3Q{cV&e] e<:4O!d^(g~M ed߆A73 w%ġs[%)uA~w3:(I=2XsUZ>(= aT"]FJյ5ĸI9`%e +tK$T5Gc{0MT(|(pm8*.k3m`Q}qqG4+29Bxn`EόT?9#Izȋ9y>3_I9j @D.@h њ+1&ԩgViduPI{h1&Z/f~ֲ аtOJFfg>/NC#˕k'aVxyX~zp;R! m)H*K  TxUt$NM;pDƘHATD+γ8G3:>b,uWe;S&2Xr$gEkBq ؙ>dK`?h4] ;yČ{3"eq'HN| Q"4]ք]KY̱GH˴v|,h˜ QӫhHY5ʆp?2YeUiDD7DzYen'l\nQJ<"CZPtH_/>e<1*l$5%mK)a6rSF%b,J)Tʉ o8x}r_L4`ZwbxC⚀kuУ!TUl Nj~r݅,u:;][{,f7.O .a`ݧ$xU]=rxէ `kQ~~aҕXTHm8&ꪽk(o P,R1;v \:WP璕v3ځ_G8Ɓ0<:«|G8־'4`_\0bsZs`7 =`ָax`z"1ghܐ܁G6ڈ[Z',.#xӡrE^kPnL:ͅ&j[ (OcϟB0A ;}MB:?ȿoa0$CJL5ȡsQX:7YKUw3ب2.x ^* t/D "}S'9׶JԄ}Μa~ A]"_p9ܳ-7)6JZ[U7@}ϯ6l툔&a}!VOC$7G|>ԥ^YM8*eK:06p5$`ҁ$0})+4@%븍h,~ֵ3(U y2;}i˳5 A2՚3R@H2'AS?t9uqUs|?pd#sAlp\bQX姖NNh#dGkŒ a RwKX7٫RK@Hqf#I ĞΉjT[/.wKKhteʢ-Ya0%!2:"џ6WcQ7gFJ3~ Byax=jGF1-c4 &B$gŷnXα{xU^z6lD-e!~e\We L{U5d\DH9!nJ͑n$YR0JΪ`ym\0VX[&c ̶ F^k+OLFR&䪃믒4%(W^|b x;/4g[un w2r[B{-lALuz`c_ vu8ԴUzdh0+XxY 0 ڥ9qi18V$%m.8? e4 U " FLZѓyj |Uy6<.a\H­GРGҸUN8dmN !d%AKhSBiA?&jgUly]<Ьh+kvHqu͆Te7= Υ`'d႖g%P[s:i.ؙ;E8m+ϥ8|IuB怰;[/Wb.s@󈇋@Խo9iaZrgy|>7꿬 TLjT|X` 9^j1 X埑|ӱe[jjV B luot]bX"<$9Ga#VqpIdTK!Ca+wc^S+c}~Ng*lVo)@ȥ[}_+޳y5`j&y 3 XnQQܤelT0UF^^ܛ$򥟲Fi]WzH!Ah%TԾ }XM`O͋ti욉d");aT$pe8\vPݴ0i\ŖzAj%/SmU{zu|< d6,h5Va=<\6Aa𨚱;Fe~y ƘAdUZԏ*#D:yw(ۚ0 /W~FN,pq'_cċc.-1p8Ncd=JVwv)o#݄izy8S.>i_jk~ؿg x /i,=hnTZf2 aR1|q5ea;D+nP4_is>~Tkʲ:,Bc)vW6a^ccɱou h| DȹiZŠǏ[l+c r|4`Z}ۖu | w#Law J6s(D IKMݭ3l,bYmoCu0 #zx7I"qU>A֮Ɂ^bO>QPaaD40^Ƴ+Qt\ಡEy_]zT_am!Ut*Z؏.z‰ruMG!PBAwU!+1kً֕ ^ǵX cQ {,&&|!妜6Y ;%&x"ȃkMY~GGYhf}ԙHhz wie qlk2FoYN}_l2BfF2 4 رz[/"vQ- lt^_8J@TWiѫ9EӏPSDxRaQ}2+r'4&cH@4?ekTt{]_8[J#iٳr8i0m?:3v/Եy^u|$:=͔BKd}շ_G>P)=s]CND/gO9kQ"苘#֬Q^4^p=}حHU*H!޷cJs)M0⎚hG-{~` ]M\Vx5B]sӈ)Ӂ:(KY>c-աcDC Lda#.F2ÉP2؜&5nkqF;xX=ٕfP*'.(`mH"%Z [ d##r * OO"ћ*L x ,z@ 66Iޑ D; nӋk_aO_#(rWv&{g\TI ׬n'lOEآRAaz þD5D^ϹvEURmq䍿5C2<.Q^ۭk//H%Mu#}2VsnHH ǣ.a9*r-Jkʯ8ƬSޕj7!xRmOaFYH;Lƶ۟poO% tj:*d-N84/⵻&^ r_ZN[Zc[TNRȼvwK cp~y `6- #?eZ uckSh{Vè;@F9 f((%|X(;WM22-62+IN_'  (lKevO ?}=uw Ԅu%Kbb_LڰZWyݍz̘ɶ|XkPZ6VH\\`(VⲹoN%}RP附H~TV[u=ʔn1On"!`2 udҀ>ecJBk}=>͸QINC_v|tȱ6WNzMpI'so,sMIt+;~\|J["]&KhmUE!š3y~K~ ^/ . ]RyM_ o-4!,0ʚ|8sI㼪v ˯_ Qj7:6- %լlY<דȿ@z@RBS$/2 ǖ~TwA(t~Ms9ۆGl>b2`5qB_a6Ե\0q OW^B=W.CO!qtº$.U z=�%yj6{'#ucAv2d#D{R^H MF/z8~Li(Hn%jUΠ,-Lż2շUm4tISW-UhVMv M7 gXNtΙV0<Κ;Gv0(8\1\IM%JI<R)%VH¢J6h3@+c>`_`=!-%ndlz8&K%e0F+=Bd2I ,Й ^uC%# e:E7fa2O>9q$(dQvnmX]*mXznN{NE#d\ٔaس,W$*5Ǘ,+f2_>'e@lrŸHiGܖ.~̰|}h.mtEBԂR{uafgõs9o26k֭mӪ s e-xŰ|1xA B{D3bRaDu_i"x}VN԰|T UHR+m &vʼtIэ4½+ ,ݑRo^ޛ(O~-vɼ*,]8s)V:n ![az c("?Ker.g@έ9̇;x&+g} uBqa]Cpv]ފ; VqڏeE3.km%@pʋ<cg1 |κv})oLRIW*?RjL&.@@{5jKLݐ($(yn|7%"߼׵Qy,r`thNEvqyEQV*x-j:JJxHՑ KgfB%) W ltE˴,^,p;߹kf cS'T^?7};e}=Bu< 8IFKCYF?^}CÊhS8 ϡF~$Ws0;YwW]v[ea^>-:8O40^k폿S J9ES0{:*/ /g7A)If«w7l=%/4  u:ʶ?Vo_ˑw9N\uxGg5WXqyL'%]*#Uxh/5c*h~MBi8#rkyɉ翗n$LIeٴ)/M56/1ʸ=u-kg-Cj% :hn)=u1U1߰6 {fir,aodժBPͿP V;i aŠY}uov3&5P]IOs弋@;kn}A겏;ݦuqx/m8΀p35~75̺FM7m{ 0#eϷ;0KY=qi>jxo[JԖJm=Y\3TmO&, kajO\ 7';aL$ͩ5g^vUZ^7rYb<WժYop2EY|1p~ 5B-52(#TU*H*BN.*X+[\bWӤ$a^*c q 7Ny "3ZX:?.7dN5Zp5Ϋ`f2N:cYMP fTg鑵=GYcә0X w.K9,W ~/% tA׆@-BI<5±2ATMי{!mo) Dflҍ ;%DDSh(W3zkF'q#, v˛"yk7v 6t.un:/ I])s;9,8xPkâ\j.sM.vX+dUj~(vGH?GEU$t _inz^mk0oB?+vǘsH(զV zz*FFOZ.Rn /Mw lUY>Ni<401 #SplC;Q_cEy{%k䞯XENFӚa/9B]I,8ޯM>E)/H_Uept 7$횰Q$UaOgOA=#0;oVߔI6\_d̖aXGJ}QP!pmo.ftYPe~Q)X;U@d{)*w+hFJXW&*n*5 a}K:[|B ;< 5u'laa48v.ޡj@WiKa_a<`sBK^>P887 qN-Շ~B >^jG0zHF߁Uխ7HLsɴh#`G-E$m;t f'WpUT!e ?R г,wqB^bk@S;<plZNƭgM:l*21};@-Y"8L-t\ N1dNܜѲzR#3h+lI]W:GUHZvNkdc.PTO;$X/PQao#`9g5BbSԺ6KhE;˰(\뱌1|N8 ({̨3T&*R*F*68 F]~Rڋ^MǸ=Ҍmk>;-"kEv*NW20UTbG>)IDvp:VFZGzݓdRÚg0ne.'~ҍ 3?)`g-x_J؛.3{ V9]]$@Y{j{Ǵ{QgP˚g# [7!qOt nZ2M -Zr71H9&H8Tdr p,)YVKNվjB zPVvZm q( f9e7,O['bH~n F)렑F*7n0[{ǍYtƀ /p+i+AOmpd Ȏ:b_c0oNO;; "_*94, nNmIh=!s:JӘrgrLP1"4LQ)l2 :n"p Z&f\*"E^VEϨCơ!R:weA[q7FWw2#u-gqNfqGvOk4VKTAj%@t`W# _bYGwʬ#|LRI,QK'W ?EUhw轱_\K3cpmNBM}925%rU \'GFae( 'xL'I3paĘD6MQB}n|Qzc$ge=^ I%_a8֥,شO&|!eTAe&l@QPiV94jxU Kue&hff*5lM{ G&ķ(;ge㑨\7CY"c% n؟ߑ:]`FKjН6L>׬, 4]13\#4b9ή|bG_;d{1A\(Hhf|qwiE͙7ٝq(eT>VBZ)ū1MPg;RH|\= nc<7Rysf§0#}8&n4^M| W6t<"PE30y~ !-Q@Io63tF1fH!=0_6|3TO"$+B x4m&7N:jq_ lN &eظc?\VhYwE'~᧛d XDGnhFZ+6t ggZX3+_~RH}?an5e%o)ױ!` ~(F:_BP3"3Q3)JruwEyş[;*͗>iK[ik%-9WrIuSU"G^GI-@ܩa7{ N؈ R@8#'~xǟc]Fg{-UY 5 ozy&s1{%}OV3O17eADjǤOqKmkgF%R޳[)6z'6fJ R9dG3ZaA $S[!UhsE)x{<?+SFqi#Pyl񕷕 wJ׿H t ?a\nkt~k ]XxTQ'4/}M)]Rx 된l3##bhh}+ Џvbl*#,Z>y'姒s?:",[/-Yf8#S{O 8o!.z9Bho3]d4W̋3rC[ZɰunbF&"2_]8lMTrmkOHz!?K,lyEP!,L 1~jk@2;|~k{ѶLJnt+T12n턀PeZ6 HY{7=?7~"tT$oC'C-B +%o VCe!uX)XO>KV81e\iQiJ2X0BD2/x%SVrd_5%~u~UE׸L5,O&U 947tATT0DIT# 'c?Bn|N@.~+moA+L5ątV!fgA߰K%IƝŀ\fseLEm2-Bj׿ן8ZdM%T7$=S5ZA(9J'AfH74wI|R6fN3dK[WE]>8G`.lgN_Vy&> t? .cD: 1år1!v& 1kj@X\9 Z$ QގK4c;ATAħ zcY?BCgóZ~ nHO;?>08@>_Duқas' .!%&/4q`\=ƏO)t =4cn*4Iԛve'>^lorǶ-fUj?Wh*``&kiγ)1f%M(G40BbmՁP{Շ:ق792J!Dž?FDDtI].Ǿwt494L",I e{=f/LY~˩i&k8GNCkHaVyo!#*2Lci2ЎjؗȌ3_|q5PM^WDBFf&Ԡ5S,`?ᬆGz{uָO']7E<*{٠HScy.wRɼTSGϐ&L:=O ױY$yAc8S'Vj(:e$Ic*?W0X7wsV?i|C(X$TV3q~ñIʼn[km ,_%GXФ;TpQ 6auZCxCxPQA8D?SCUaЂSa˻ɋ dY: ub8@)l@DK#^#W.2ye{enq=r9R*u|-!>3ڃ>hSJک}3h:m_]ag<ۨ}`}ᇠ1Y]=8y0T7џ%֧ r2IvEԨo]\w8}pGΐ{)@آ0# Ŋ'K"j3i2G QgB~Ž-Ib1ty&`Z<.$EO`Ɔu0q2"+P#o[%D{X&?E IEH1@sE  ꍬY:nV{Ά|'k8f2>>$5څ]ᇕEcE EV*|/nL#9 w8pnRd0wz" !iSS/0HdߞtrY p&JE?gf?`l@D(%>c~vzJ 5%p!- #\ܼ榕E廉&ayr3Za~Ss72Eȁ P>LQ?z`S= T},cXpó1AS>@ONOʙN<[H#)6mֵHه-iSgYZab8a2b04cc14884a995bc9b84bbcb39bbb996d235a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 c768feaf5051971a9b6cf376a47d06930d9d3a97 04b59700013ef186ed3c70cf0cf1c7af8fd574ba 47e8366f6003806c1aef807692bd25ba5ec56ff8