SQLite format 3@ .0:  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 /<4 ]% HOL-ODE-ARCH-COMP:threads=4elapsed=637.704cpu=1415.588gc=15.088factor=2.227zXZִF! U]ŗXf[&}k%߇G / HOL-ODE-ARCH-COMP  O"SJ-XSc̕Ts^z£=u40 Cvia%<-k&V}M{U.=Eo2gZKH{}ZSeߒOEG[8bjߌeF%1"<%O%;+izz0ęk&H|drT"TT,\, *ݧMi8N1/ðLM @M3:m? gYZ7zXZִF! [W]ŗXiɟ1ϵ%t};kg 3ag3ճr> ).t ;_01D`)X~Xo(s\IF}YZ7zXZִF! %E]ŗXi%G:h0UEH'eq8R W*S>(cK|~.9Uzt:sXji >$Q)2O&ﱁӾJ1tSqp-=>L ^|< CnlsEbK7Mu sؒ-) |-Ta,/ {#ʁ7ĵj}X ,Ò q{5RmN6}Վc.3gQI9Q`6U =J~縠ԋyl"< 3w oT Sx>+/m`#/e^Qj,H3㱱o\9PiF*pML@N'k膰s'?(^(-S]jzKBϖaL[%?%q9 i& ' Z Ne h֓3H<THiH\?ֱn9땚fnVpa_:"m}Yz&%3 Na_$Y Z$?|dKMTB scC)C ר,8pN(td mn]&S~jÌDǚv2^j8;,2c-|aRS6vƭK9z vG#uK19NQʟ'b?n2 t٣1hW7`ooxU l{k-zԹel!E뻯(å; *-7kδ~o YWb7kp1Z$!sVj>-#޼}ۙRQk.BvͽJcK,2^YPZ­,["DvA  ޏ \pφ ~H.&> j.AÍ-<6)iaWbƅ)x;q8NGŋKFQpWt9lRkhԕ1݃r*_IrmpB:z7.hߊ\gIQ{wq Rt$K˟  p$9OSh)-޷<&NK(u',MxXCڏNN} hpYvF:Ytm)υ%ʃb[W9Uqfz`AE%;/|6,a}5޳S2r=FQhd,֔-u"jn 6 u^8fߋ w*;7tK3p dAj4u'o TX.hhøm8(+&/}bOʉ~ xTNu=DLcc3<$)H$R{y=^8DZZ_f EtI,.,y*:aFy+%~CTPl+1RL)\?,cjF:7*-g[ 5U+1 qN1?^Kw.QQ=9)gGQ,VA-6f f5~!&.NJAܵd]h!(ߍ+ o8Pa'>oc^ OP| ]7C۶ [4 4^Y$=% _z.ȝ!WGqlz jn_ (.G6Nz3vx u﫨K\H |m1MC:G7;oy|oQaH4]SZOļ5,%DlɩA)gPꓲ RUe6MZlS?!VGrʫmk6'PѴ%G%{v*ɌoDŽ4< z[H2 fMiLE mP31n&fi3-}ΫpQYX!z+r++Q"hF]ԇ]݊O9fl Ol)GluKcq8m&qXZ2<3 " SL zZaB7*(yƸN;@%v\tGQf_-LM:SydY4|h6XL,g[0)9Ur15;06W唁˷%ZJ$;:ss,3 vLWvR)AI4nrjȃZ:0]:/\ ^.؟i= "o\w$ZӃآT=2&։ŕMO"xn b(* >R9B'.qr6A٨fGx#˗-VE "lN`>U5$=&[ԥ"`aUG M|ݩ=rjH C5ȝmJ).RM!xrHŠh́b ;\0'-! 1[HCo^i Y`ːs=Rg3A5iX`Qmԇ`tqA=qHifi῰pAb1e-s\" IKѮ>{d>AMOڮ윕mƴۋ q`ӥfʅZ5c  L ^Jc,1E(Qv(g0]Q2~ȷȠk(n{cN=N>WDsLSeYJܬߩe:WDzmHewc`.7(ۘq:V͕8ó2WPquy !@gE ).Yb<&?8oX_B6x FXÛ$Ӡ Pb/aǎ$jmR~[! (en* e)C#6(fꑜzxl ~PH[?ƪã77vi? k}@1aԡ}:&P&JMuTNzX)~/PC1bXQ2pܡ-M͉mgZ~Pzp)#ZΟA GI: UF6J]Fw}Epqf+n7qn*И(]gc]u4Fn bg_Mԍ>R汭1F9AR.2#dz2hVVdw8YpvcDK9pP+k{!M&t fk+40z_ #k[F WprpZj; {P-0漺,-15(Ef87m A8zɽl#Σ t֧0BҖnw炃rgEHrLbW;[y@2ƚߒXV㿨awyAjαקDzlG@A\=EKNt%)`+*u;`(],'#r20@ݿ b-S<+$Y>P`oOAԐ=,q {<\2K>NK&F=E }Y 9+˓1B0%ZA;=Rڿwc ymي%*5Y\k QRPyD? 7k͓pK8bKY(YJǒN@ wFy1Q.?;;"G=&xz EajBe'eNx:/ V*_:2) ֈ_ҹѧ:2R5@[}"]HРx2ԾPc5̑&h?E>CPTfd/xZji1/~Y0߇_+:dYT҄,o{c;00]` էXXk'4,gc$)"pHz"?/hPJ6ZA hWXP%J*+K79%@ ߝVPWR[8‰hw3E?8ǧsF<-~‡JZ_#'0 ^S];i lIՃ0XA l:;_ G{][Je$fOf|+ÜƆiW TD+q>@!QGqrRK_FoQ`N :[#n秕+ -b2H5e x GmJQ^܄|Z-fJϯ[wLӎ*éI=b^=X02&yIS^ ؠ1;ٍu䁂D ~¨2Xٍ.x])՟7 kZOP^Q;+Q\l5ĉY?!v_S2Q$lup/)nTO0ʟ87<$pe-DѬ"YIhk-OľAgSmW"6V ECB&Veӟ5~,]3)+`խMOBs]of=Ʋ_@8XJ :&HF%h"Ѿ\_ X!̓,ÁjuB(o P$ϘpK#ML3BZBF2{bDLBqş6b{ϝ>m %gJ)\Yʥ lz.EyDAaǂtڽ40&.3 >2_D{VZ]HF0[=6[g),{/+[- 頊 ,tuE™ۛ_biijU rZB2/$;eY!G qbORb u+VJs[a+>&/b2;^2++@&9c;@o_x A˥DfI6\n7, ȷ. ge<4!H r\N12S푸U܌FJ@pgTA+5*q/a2P,h{D0.`l%# Ez2-3Suc ,{ʻ1RH^4WJn3?j)]0c{cҋkNie'` }I 5MD|k>Zrn7l[r1H )將1ɿL9c9aLָf'Sly y qLq-Z0FSzyG[ފ,Tz"̋FDW24[wi/7gwEapm'xRLFI(Qoh3P.(0pbb>7o*E+/AȻYʰ]v>,MJQ*L{akŚT/DKp\e6gl"Aaz! &FGg)Ͳyk@B&4Ɯ~5Y=ǶlOfuWaGPHE4,rɼ5rs ݻdyB9څwE.b2GSȐb+&[ \ 󪭈xq7<)-} 7S1Sϼ, ]H{ u,)x\vđ QMJFܡ!aL%eҦ >U-TvQ7nI&rX" ?x>b(|&V! t!(1QոG.ƵWz=o/Iר$?}*Ċ oGP;. t Sϐ7(^jӰo6hW9{ -<~+ +ah U } ӇӒR|l{-.@tGLZMtʀij2ccd==  =?͚"}%/M+W 3pԈuHU6cb8Lq@4(!~&9f吭'PٙPqR`ӲszHAL)n]͎a꺎)NűU fZ -ml}X0&a 8}ZKj/c8f5( J kbӇqmn[YЬye21&\R38KVP'<*O_$gǯˡPJ̿`"fCxI05*#)ȹ^:CoQo:y !pVxt5l3A<9x]@3,z_ѹ)l9By l#OZV7};Z_2ƝXmWgp~?xldmGF# #nx-weLs"M}𨴵>l$ȧČ}Z?TaOkEbnDlJȢӼ"UeH2wJFb eSfN[~86#e,&07kpkۘW@ )|s(^!^n{H;w3w>qSLEKD<#~(HbjP"O|҃m؉ED寄Z4ۙXq1"[&Y}r$GBL^4lyo6| oJ;dnW @4 u|te2*ĺ GBTB5p6-/UvRd` yOc cI\[^i~(&.Y27'rȔ HbcTAz^ Vۏ(!gW29!hVfَu %ۆ&doE+$M%'CBw)I =dl3 H{s'Hnp4T5N"M\hTs^Q f=IUb̽ xZ/{eGIڟK1f Q\!l l6$uK_ UyN/.EPH`)z1@Uq@lxw~V1%^Cn |?C t6eR%y/ʒKN,dbl2ʔk.x^Q.gVf˖ɷ0nlrcv3v{4CG߄F]Yuk~t<2x҈$IfZIfۏa;ܪ_|GM`RSmX˗r}$ߞѤ2|plL)r[## WmAiwH5EQtF@\?gq>[Mug.Z5HvC}dY!P%O~?>,TeRNaC5QR9͖ԉ5Amd I.}X!K8=R0YN.,Z7E:iJ5YADKoH1g>:K0)΂[; ?R,f AE(UT=_ [umȨf#Ѕ8z՝Yk_61޸{ж*Ixp\KuODU,I3Ev]u8$ :;+<xC(JKrmH!5vhvZ\%`ͽl9<#SL"t>jP:X+H_ɣX߫Ka@^:+S[x_,8-Jh;rp>Gu0S]]E61Y ;S0ճ_.z2k-/*K rLL ECvscZG_Go xT:eǸ"ḟ rI[A+ ;v #co,~3,d/8 [?9n`A5 5te$ /moPN--K{;7 Ɓ=NM Q4ΰ!Blj^WyohedtW&#ӜE}yл˅:d24mt]xOQwͷe7-dm(|^J̷[סs|sC![wq(%r7K&_Vnqܴ(mP}]nZ5gd:zI<1D w Hk2Ga`u:[EQ5HsV|6Ytɪ)o4_T#X8ФYǫH]BiRQ"9;XԹ3\@^j Ӝ}y\Lvie0<\Ddkۙ yNdP܍XU~#\#Vkڪ-Q|(npa-3?"< l`ql7%xWP1!X/[ǏSp÷_8{ҟLIXW2}rƣ+8 }o d- { 7]fpL6ز(C͋_|M4RO.GStp1 'fFkGjV}1d]y=Wxs_B'_}noFnW#Ydүe;-`oqtGW*GV7d695=y?'<&E[hI|mnܱ]0*C8_{[i6$HMш@yxAql; JoJg-}^~}rEɅ(:ݪ jQKGSWl !\d芻ut1Tz`o磻@ (ppLٴTUЛ^>M+bmg3qma]U() c]WZTkDbo-$3~?»U$+|}Zp 8 F aͫiz+>2].BiW LW/TK/k\;߁#{| Hg|CK~5.!L⹻RU%/%>RC{h#z,1Ito[ah~-bk6Ȏoo|%PU.ˈ5doUlپJhO$ OOmu [N2SeOMGY{L \Y"]Joƣ y;,m..tɗ^pu2F"yXLw9dN w=Ll323|C?_YdN-,zwG]|$qTueIvL?Nw1.Tp"#vDI`V;E5.p;NpnNeر <ǹ Eߺ%dgm= N]-ox,R'ͨ(r^H$?W FtHJKwLUNx߷hIjjf5v%0|4H +:OؿVIg:n!2N{qS={fj/3l?(D_9CIky&́sӴKĬ+g٪@ϼ#d"(&|e&pu%yvr](!@A@j ) |^<̕/%X~|,E".5|=Qgzޮ+:CN;gR"Һyz-}ׁRRmhr%>T*4=S}xdN9ctHBWq1i7VV7=^n26h[SסxyQThP}L*SrܓEW=ð$kb}7Yo_9yb"@ e4}_)i݃@d n56ާBqDahk$DtͲ|XyCHQkEL1Z;x=̳j;5{B7m WZȏOM@(ߤӢYM׹7Ta0T$@h࣮XMtǭ?~IyE?L&Plq"m6[R/fI6g ')Vٶ',0H, ԫF-kp1*b"S<&<7]Cz TBI1KFOm}&?6r,gD-v0z%k)mT,cTM!P~&1\0fМ"R?$ `Y& d FSVח~Rp\9z%u2#Y"1 ]C-kjeQ-TMFˬdꚱ R Fxy:(*0ɫ٨+*æsie\zVtp S` z|s:wțĤME;B`6pOn*M"e򡦡:=~9%ږJing>{  1ɡ4˟&NҚ'o54n_!EK1I^ es6V?{1<%1n9d䋆PYPCťq0Z.SÒ*xeaޑA}Tx&mzx<L$fCxK-7\J2"|D?/ObT0\ڨȸx3j@c-ZCd$^ϻ4eWނ{ J1wMɹ˱CBt):/ m#R,~f#}S$( *^8l[0[F_?=h󏡀 FD0&g8kSq2cM1S-?:+(n$&x B c.U) th~aҾMB8(#*Q^iS'9NpOiYp}*Nx'o{h)]%RZa 6d~%PezKח5tT:^A_s"H;d"3.E(;Y0iSKg.8cRҋꛊ`ı4L Hw*D+ةgJ˲d=+fɢo0 Z8lzx %A]o~X׌@2/ڒ,kf=_;09_%XB\)=>Ns6>TA=:5QBC NRz›R :Jڍ# =-4fdr+ |voM뉲Bu܍N/Uєz T61iʂ|דlQWqdy*SvQI`z_roT"rCLvYˡ =BadqC+Og$f]3v[pw-\]rr/D`(>Nb"A#a/حb v/Āgb H+6Mk{Q}VAbzDP^a&@׺@HT!TtCRA`PMSe2qߛdXĸt?Ko)r4jwE,9i?hߛRB*(]CrĿS'ZN{A Qj3LZtz./}8l=&ד;w^`oofv -}ܔE˽Y fD] kj).pB'@\"_{؝`Wm0u;J ^T!Vmwzc SR<9T~ԞBU 4CǣL!?$z,qM=cxqO)ĚKް.Ev(?`βJwvde0N{)CHZ^oWh}[n)Ja*av$u[|wA!c.N5L8:eBfai ]zMH՞ zmNI |r Fo[+_vR, 4tES%Roy 0; $qFO>V-k|vEY6f[Fo?M ă凥D2qmFx%C2dQݚx%Q0e$ȕJl@9|GROLZeօorR^c_Q>ATR>:t3| !Xd:/`أrĺ f&;(LHlphi{lቫԡ$"NO%G֩!aO(eDqƱ]V*ߡبAF!s QU7hVX[s.~Fs 0i!G@=(y7[^dREՉBr2'*'ჯsRi5Vr49HiXs4mz:y55>%qRoőezlXdRC>nh#\vrwץk]~Ff vu%Q44 1$p G1.$01RBH@>8"WCl,qEqS$ј],qb7WF_pqE(gG o;PLp,K|:m;l\'kClHbB-J2}n7M oqS^n"s)NH=>QJ*c.:-TB[7Ȗl:O)e,>H`M<,ZYՉawZ5*\={;* c~Ͱ@^,y7!}LkK'ei2t.eѢ ؾ"t*n^:r{ T7ה݇<3(9nDm}"g@uiPx/IPRl&%. j\:p~Y[3ǜ'WHpIU8w7]c(0_d~F 4T_&9=' J{&I@Vw">S. >8ʷHUxЃONSkcbrpwQJuv41 ɸͧ<٨X:a@;ղwu.gdT@gOm؋ܟdf`iKv)M0oBFtٷD$'x"YKb(}'+]=JA^+Z3l:>2)={z81%y&`U5x)B3SʽܺX MM~G42:e:dqGC!ҽP!l߷ðlj dU)g.M24NiE= ND*37p ƂT=+:0\ɤ%c ([M)c'z H{92Uοۄs' .qWk(呿BS=|d-RZtyP#0+X}W3(,G.M)3y2CcPrKG"& (Ɇvz9L*P\I$bږ1乼-H]pGC19M^/\'f5dxUb U9g5w楞n0cjLzhML\RLLkLy15+r !~E\eN @>'?* %_q+MZCY&∫sv>05 FB [ #lZ<8Zs1NE$n" b9kGY) dY͎%422h> )aݦР-o3Yq$oHj{@\mJs`${94v!n+Y#F†HI[/:Hxq/!$:H<=FovsToZ7 _e-͸sړ*=2&yt"?bM9:ʑ `daL/ |6VF `C^gi%itضuܕ#W9+&c9Kǧ+ySy_qб [@Vc^@r!jY*or*PQCCj5֐W;1%*LM$ӠԄ1doTn7J{rBa˦jN!ѿX.'&*J\1fMinDYIN>|mHJ f"{y}"$]ZX5ETZy%mv:5>Ym&.!7utU}h* .CCYRl#`L\nSwB<8R 7~S ͍)$tD( ;3څZaManSrBjX^9vXq,?3?)h,)У^j1<&=͢􉒐_ك(j3G>Iwq(W7!*If@N|o`ohY+SNkGhӭϙc#FXa d?r,iqJ8p׮_'~"E#^ r9uH&\TdR)pEP#a?EM LimC]WhS# #! !;>=Wt@&x5wvd?W6B@X~s]:jvN'F~o( m#L0kiG;S{;`r_ udžHi!|HM*ܥ_\ztO]%CǼ/~$pgBٺR {m$K-*u]d>IEؘVOl]RMX42ƟdP@K mRFϚ/,r06 mnj&*f6aUDgdjP}NH,-~1Y z:X2%X5QV\ֱ}ۊΰ /FFG6g5Zq{DTlf;WwH*Ʀ%yw | 2J矻K{'ۥ ZMCJT*(<\S1t: _Vq)}8JC@˳~s&NU!<7Vs3!URpsfbdEȫPfD'LPҜ?$uB].NLdy: ,K< |9xko WLXZ&G om{b>)GLĵ#[%fьA woz+M&AJ}Jm ?c2RT*|^ҕ] F)L'}G!]}lckޮ _QHW|6⯌I;[ !8!>;cװXODL4axiv"2X1K'YI/ =)E}l9uvMZp+zݲ$P ;ِNj+xaxFRcW]d "l78rBPB n|VN0-3)v߸*vwu7!T%񞛬'/pYiY_7:W SO.(\^>.NL@ ųeD^”{nfZ'[#rV::Je&\K:;=ͭZK` Q E:~e礼:v1xÂ#DxP$r41z20XG2|^ajh7 o=܎tw%'ăHmHѸj'Gtl%TEm|>!5BY+OPjisaԶL[A(WG8Ӭm |D>Zy 9 +ꖘ8b(ȈMgJSPq=u6kŋj7I<ȚF[ͷ|ݒ[y}`+!^|v?2]ieݝE#qIQ&7:ɱ2\di6@UPaVlF՞ݦ7jMNɿzרɻF^=`74Fi?e~!¦p 1~f24e$=>V^(z ܄iT1zV+U@lNzJKM Lơ{5Ziۗ7z݆Tj^d*ز$ҺEy~1S7;Z\ ]b 8k:g-PJ Y$݌U3~ba5,]j ;J*U~qd_>w5G6Z O3+<R}fPTLsJi*hm#ĔdGpUpL۟hrDk9u֙sBĐDKfKgHoP4aJ(Z چY30y6 p2:nLv7G3߰):,lRB@R' ];j>n~CI%4q=>#i0w/qxO0{* ]PN6q fVFuajkTpxZ*4 5{ȴ/`#`Taur~/O 2bV@MZ`a]x lWtS^'Q?3¾Q-1?BU+xb:6qu1W&DelCc$tjXd|ڻaw);ʨt׶wȨ!V*W쏇Jd-K~@y%&{egl|LXo eGƇ0aJP1pC,O}"qh#"!{/'Xo7ZMVt;7I54fHt늠0(iAD3Stάv!"tXo{%) kJ @%t^qu& RG,]Ӹ"Ͳ_'w[1 Q譕 :]% |K~]d dz2\7ٙMFjPZN.F<"]3'Tr-ɸ'yؼY8 Y!f]DE"f438<{QPI58 2tEGD짏{ŚNoOQjSC i o?T)T/]YUR¼ٗ+bYiE;b֭o'ݖ]c aK$^-%| 3|44d#/Wd"rNb a`2Zy5jW5 +2ˈe(z/އte']!353 ɩ8_hq^u;6*t,;pfF.4>J8[9 D97ì!4){jܜDMl``sƵh:n _DFM*OǕ2 p!9tyqc,eKtM^:(ح<^9tDVzG3fm'@ hKVn #~&6pU ᜂ!1yq<ˤLɇ$ b4`.[wYS wEQ)C.M kwywuf6^gy..s2E"K.)cf{aY[9p2U"8?3 !M(JE[Kauy`ɶl5^rb]'Q+ >{ U5f%H[xӹ}?yҒp{):3p:޳@ 6&KKgpaĂ3 >K:3UN#odj)szBd1Eq4Sw *\>2I^Φ) (犉i-e.VYCjP2VC"NŮUi- qv{"w/@7̢=uR6_'57wWW }]<͉ZQjV0ڳ`mŵ" vXBNJNn$ l{[BJ\뭾NE=WItZ\jhPΘB@p3qQs;?U'h,4Gg>~bm'=i=J.+R%DcV +?4 3Vf{3w ӥƒ#kT&}ZwADFg|o !M0O,7=80Z 8sƖ-~w9YS ɓX楏n2!8妾ڏY%+W2$mlX5D"!^ezfU7C*y^9q^ɴR:pMyJA[_ZYk !PM!). ÑY sWY "#-0&OI?/g9H'FǞ<nQ KNaЬg9rJW#j6̆016&tCG; ^,-щ8¹CAcͿpe`Q@<2^Jd!aχJ-Q  =F~G &&Nzu[ -I# 5DC_Jcq i M,y#yX %uN!˧I')j^=Et#&I z+l_ r9](HGes,*5\Cb0e ViӴyU<䂭 XHY;.2húq |"[˛x$lYefpQϘdПm%-Q}ǫׂ pd'e=TOn6 :f󻀝esp:75mX|bs9RE;+>K3MU`TᦼsV,wrQ%J#!گxtz`R): zʓE) RSynY/wMբ _o6RRdR`#94yge}M܇l/WfDFs2\0D7^_ȰWhX揄7hȉ,M}4? Cw^(熸Qad3"_!?DNkR_.q?&C?eǪ&.re~<7`d@ p_fz@bظCm0q+E._c!t;hl ꢰc_8R <=+MBbS3ov\Gzt2_4(m7[3TBDzs3}wDhPٹ4W4/}ssa{3Zȋ&WuQ&պʿi{X Vfbi25t)_ \)J?%C$"=. ̟%0 wz~fi3o}``)Y{EwA@lM`ϰAl}֜eÉhp3↩WͦDjfЫ= !Oc)\w X-XȦZ<|r[:ْsm%(Ļ9 ~>PGYe .%kkd:A|KnD MWѾ7 $d6MهFW?}+gM1F1Dsh=74u\ xjguA>}44J$ѼluROfbVW@> n2k+T pN$Օx^~_D?@$BXgӔbWMB#Cs T!dp_|\Ucq I1.@ ]OkjoYK&r e.׌JCTk`llה7d\i;a+lkXv;ck a2ɡҁď42()˺ps*$6(s;&m!ї7BZF"`MD܊8Py6G:R36K/;ls3Yc߈d%RM;aX)4y_rsʓi{|/$cEm$4`VRO1/z.{. Ue1sXH^yR[8zwAe2]2ၱ Nz~OSjy@O#s5|5 }n@?Jj&eP;>6j 4=~kH~v#+Kg!ݍ Ju([7c|L~fh \h hjڕK"GmN { &(|`16^}K{a":C} ֮:ЂY,4=5GXؓdC?t zmXA{RXV)'w:',bgv)"7 ,yk;b,L KCi2~jQɂ*&T~pYn?7۵l.[%JʼVZWdu{O$dNsrѳB\)[w,nk'shVRi?Fɣ Up[aʛӁwTmO=O C8.')]ijh{i{!K)U;m?~cJ{|blf~ 滯[*2wvhL2/8GȟF!vvL#~}DcAAZ xsvqP=Er)eJLRc~|^_mv{VW;0[ e1cRzW5'3T,u,WAj=wޤ$n i_VJ4okjԇ,ثN[s-p7S!sX<(&̌%x Q}mȱU[*#f31\W`@QO ׹E!{l3[X zUPz |IKpP[  P:_񌣺}y$o\6 nxJGK/ ( !.e; 9ES"szp&-Ap9sEa'$ =-bNJP~O%.k+s vh$!/T a((i0vS21>n{uӭt$i PW-B-y] |Ah;3MG*8+1YյR'~5LUj<2}\?TE~26)=!ܓap0$LMdd(fDn_Ka)zUFY^t(~:<=Qd~,w~O$N,(Jم|7-i8-I>+Z7PE#ډ }r8p9@ }@aeξtob a' M|>[d(ɍ++Np<Ԏ#j7ZGS풆(h1P׉,a1c|bxKWxf @Ӣ9@W4td8{Tn|.ƧjZ 4W u8(vB+ih2]8`(Lbk`$ne?`I$Sf(f4%8*~oS"6 >4A~N/X|)s1ql M(w X.;0I z1F0wk+[e1| ɒ4~s9TH:&i]p@ X },w{ `3`w!nfagFھ61J>evQݗXF-̰?|tM {/B~Qo/4)s=_1l։ϛc Au^g|S@g8 (>'?۳Ԫq,6"ٖXL]`nsv _5D evg\Ql3b^"&&ejq x)8bMe Tz5 #&Z}O놁بGk2 s)~;+Wh[7BmxbB%` >o$Gއ[ب3R=zijU1b*TwJ{Ikxc3yyLn킐ƑDX6϶`VRn.'>um'>mGE# Z7ej/}'7$`Ĥӟv\ @֫G~l>"Rh\ F{St}<(i6ɣ"ݕ V 1a0J#x>IbNg:P|oJ +KqNeU6;nIJw!zBgK$!ȔğS溻S,#hۺatl7.Wr0eQzZ,Inu*u̱z; # R]>嫁ٯݵD:s0y\>G-g zNeg7ku{MvTSM->gR܉I|`V?m$J{"0>xJxhUH,Ɉ+M9bNXra)nlԙ6g_Ev$2.95q+r駌! A4ŠqD+W (f QR;ݱ4?nCpmOt{ٰ;LRJA1;V϶˝ݵز~j`k}ZXgf*sd_X쀯Ek1ѕ ^ؼ@`Dz2;Xg4&fwݹ@+o;/ Ӡ8 0jAeUBMM7gWmv&H #yQ2+T^%pf.@mr  *;c)zipNc{9yIFd,dgfjgyjDi_*?/] ǥ}?e{ GuZdf] >r쓜"#8Xo21(ogD*_ ӂ%$[ۡ=:,s.DA#[ !J~]Y,'O㛃U/? t013uw-uWMB؛ _+ݥTMhb@hlm^kz5+V8C"P w4zQ@N-Q:s1>L9x İW.A~XtlN:|rяEN}>yb4pD֎*7\F8ivV=<׎Q6F#FBZʻ`DL:zKh/$ EA@Gט_Rdlp|1.};8kC^gG+ЩE"*){ONt}`f\zO,h S#Jǰh)[d8?WhZF H_.[䈿( |%.E2r'Uΐ49r"3lu6?lJ玔F9HHod^gBRQ%BgΗG[i,\#8Jg.ftOR vd~f@'5޹Ju3['%c=ƾc9TSrijoSvJo’aM\ҢکzV?i ,gxC=L&JX9hwSFzI@rE7RCA@'3cI)bA-&8Ea##J0s p| Ïwߕ)k\u{ItQk[+z=YBgfXIpkcHPG^䄞i;+mocII.2zZ&N>/ $lXUg.w6b2&*V9`Ez`ɹ{xwi_'^{C\e<(`92zm~[`~pGSbū9!nVPaGunB!LnX1%,#8di$_jؘ+%6ͫ'VsU/~|-nYZ@d_*DףkҹS?o4N}]VGazjᕂq[,s +Z-ЁERjM$xh F7>v8Wy[ګ=ONicxؗ|ȡN&bnEYP nI#~.Z su Aja܂82;r)0ogFyxŵ{hinzx;77KFn{18DHBϜNHLe7ψ΂TʼY"6by⸽MPFYs냢){\MQ,bO6y+4e'JᬉQ Op7{[q%ɪ18zD㕖NoFxMսbanXcs#(9U1XjHqzqqE5GoZpR ځ5!pLNgrXl *@;aV ER͋x8$</\NTeջ'KM4}:˘cܙ@ Z%h*izckQd07!aͲIL'7iݷI;N9ѝ(w o.3P9W")m>`8Z)lM_ aEQOx_}Bv)ZWA7/x>l7# .M[A! d;Fo+KsEX)UuLM_ht/,R;Х طIi1ʷ;X) ~z1 AI-7[D1ЬO0mѯC !7:9ũ_ G[ʼnVm{$ 8?IZ?5r:q!k 2x] p%҂@WLXH3[XߙB>`&DP˞ֻ8f/NJ$_ˮ^ nMO^#ӔRh ! ƚ?`x%xRdϵW6E m~] F޻Lf36yb?(DcaOS~BI+  _j=SǨP1N{O h K Da(&\kgˢO@SaJ{ԖSk6mX^!ƻn 쉰>ZW FZlY4SIQrKI2K1 {b=1U?NC~(P-n-4sDu~n Gh5C:Ļu^'t*>#ΈWI R~tjxCfm}hZfq jorQ^GW0j@P<N!ȃ;X49HfBR\̏P|ưnՎY.Y;pSo7q4ѱgYZ1d33a167f39d6e4f00ec7df7c54f2c85acf562334e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 1b16a111f65141d4fa71eaaeb14f0d97bf2a2857 7617dc6ca260694be12bd0aba5f8f4879d7b773f 8f5bf3e8e648508a306928e8c6f4b7e9b9fe8bd7