SQLite format 3@ 8- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 oS]HRB-Slicing:threads=2elapsed=504.212cpu=967.428gc=32.068factor=1.927zXZִF! Jr]ŗXf1-/6vRZ;RsTcvhiNj]MK*ݐo͏v*흀ˍ=ƺiM>yVSѱ,ɰ'ܠn%tCyп<)"@x>WAEH ,!mdjs[!5U FΘlf[X|HTum$%Mt~UXd4kjVf[a$IFXJIF FbJ EDh+ o-ץ-GSkCLw' mq G # HRB-SlicingZwZ δ)4han%5DžDaԟWtjP]U? F6mPWU?lR!F(6sRTl @  bE=ŀMqJok6)! rodBwiB"쑺S5*mil9űTA_NQe 8>@}oLΆ7st_G)׵<}TCƭg٣&,5fgEM+Q&#STtwrQfSoJXaлVxUw&4[GOl]~kOBlڑE!.^ ]h1(rdAY4=kA&E]^g)vڠ/ :w=%S,:HTS isyB(#b9 F'᲻RhX}cv'}6 "ޯk3\=ӕIC2Q`E*ZKqρ [ҫ_hra؈5A_R]dGT jR3f׏a Hf!d8t+"3oֱ=j2n.mFltUMt\ˡFV+bYAI%7Zy# SMG;kN% &s%K2 d/Rzj+g&4%6.*dm#&:Gq.J~YUoVy|NT>uByBaO%=E.)Z{L)̚Cb$)'!j Nn.l%ZzwYl^ ՕOQ.0;mU Y`w{M\Sf Y:G L.LOO5\MTٲgiϨyȹU6؄`Ddc|;mtPڰS(-Xv[q+og7Ѡocάc\B8+YTJv"Zm IC=,QٸGON݌i\f3ꄢN5He3[#k꺯$̔1E䏂cdpa&\4(sf4T/sb2gԏ Kt}`]?LM}JB#x­5`0VЭ$ʝA܎3_bu /?;AKMHW/W3\\0[hnuE%CArۄx`z-6gw~5T8(Α,ofZd`aI֤qIЉ“~j 䴺7DۥzCIN}85sWPu -1x+Ʋ㥞.ss75^ "1r)EG)] %6=6}KszEd{A E-0{"2$RYRmjY}: '7-'-Τ`Aݜ" '=~wr H%Sj/i{>4S7N4%PL:C޵n @!h-)1, Tz?yQ &WwWnIJV7hJ57" ^̓9Z0>jn@Dqe!MntvjwltUHL|Ďv 0f맽6zyK^j^&J>Yњ΃lyC`;f7;~2zrmF;8.4z#Ï*^ 8;%cTm|"G*~,IR)Q>4s9$sTf$m/uaRxc_>M T\S8aoa`sm6$n,Qwx+o79nw:2C(uCn֔QU356bT)3mVNP`.X*Mf>huduI!B_dg <<б:>!kjTK#7ٙ~*#g=/ _P:P#t,D#,sWk1Yd]?7M!.xp oB#ӶD0ݦt5wI1$ X>aNSh驦~,Gp(d+|¹!ѳ} }y6_w}KY4;VB]BY*S KLϿHقKYKՁadoX3V NXs%x6.c*k$ 868h\!5* r-D?cJRRk8prHan ?nCv0j}oNLFzX1݈ȗ^DJ_5[ΙFG~rhJ\S!(\-1jaA WO`忈SPH3>䘠U`J;p=u!ϜePĞ#j@p'rN# Y9⡏w lA'FХ):?N 1&t +Z݇[|NP36S'>wX!a=XQIBwÙQN41?ow,Qkj x}iAig soCGL28>_9\ [d_Odo &iR VLSBlodWxIlwI2rL>qIjtSNodsxէ$(2.oL6 uCZkhr'8SDvm.{S-%0m303{t6o 3>967:+"I" XnKDLs~Ċ}O|8-j6>PL8}wOo ~r܅ʡpt ~#,Ī Ygֻp4_A$2]OT;R /Z5T1mw/FlT1^ft:RNo=: =u \]$UTr+neŠoCY_`oPv 6cjۉ.bQODcmʅc˒h%Roy`cG V0^_J>@I4.Bõ7zLn'@w6Л)ϫwS+YTHQAbZ)JUN"MiYe'7`)DTx&,MN^x0P|XDQ,qN eV)+9UocEծ1Wi:<+(oeH8Hi0z1+*01mKԀ?hWm(౩vԺUJL8Ia~ׇkgy9hGJON qҪѬMm M,5$\Nȁ)y5.mFֽPNzNR\e+D~h} ѯ6՞$GsG) cdh/]Ko_tlFIA˘dX9Q^Dz#s4.I22 GF7!?ߗFGm,̗՗.0rbME&Tv 7{}=?D9w[bvBh.lX7&ΏiGYD ^qko0Xxv HJ^zQ][;^Si&in+Q)ϧ@* E" 컆49Xc oB6̓|J\)W~gfbp-B n?'d@6bY4[ٔ})*sG?GГ~ayIR*"HXB\1+^jLx!' 1qv;S˫"A-PQg$}I>vI?6/3lL)o32Ja>'Ó(PNB_ٷYth-F-*[oQ@D:ܪwkF8ҟ#71jo582-s!C%IegfLŏY˶nP K"˔cŎ’pXv&cDMt ?['|稵ƉHCY`WaM~Y7N} w ߦCWP0\(/>wΦ>Zhd,~"'ՄȵoS7tSnwٓib_Jjcݙ;įA.vOH˗Ehz# jbsU c؜bg"J0Ylo$+y= DH7Ln[;Ql P(Q1:(dm}InfHUsqRY>k{U9+2/_{q#p`q4}yrrnjRxq`R(27' !Apx(J|S7Qj:`9mk µMZ߳L2i-[-&=VL.9:'9uϷ.T4G8dAz fwO<:(aW+ 9 ~׌#5LH-Ҽ+8K&+4&O<_>~J͙y,S;]ɹ,&f{6,PS)5C_<5`7(K*ΣڀE7{Fץ}h`W}H Cy(WfLh)jZzd~_CP;@DAL5H1wXߏFl5m0W%:nezϪBC&#V#;O?Rzvϖ}˜=ӌr=bMj +`$fg3)=~FEmH.ISu7ŹD+3,EFG IQ qŔ/9/H zL7pfB3Z2$ּHXu¾ Ѝx0\.^Ujl!?֐2TxhYXkN;Re:F" ZF=X02hjy6fqn Mc)j9}?*U3k3<93&!8i%/ufbO\[f4^ݙT$0<&0d( #.8뭑"JWEQd ;RZh ed4sa:lة,jwE{+o؋EZ+lZ9䡘}ΤjEP-w4""#ܭjd ZȊA^J[e;,LbYfybd"h0cfёZE`N"Q|@(vPeO ~\H_ot &OxТ/IFF=Yr2Bhpj9 7jBĿR%F %+-zq-_! -l2Wm7Hu擀rXzW ̪u3_]oyWip \ϥ(1$I坄FX9P+G1@4,u -H4b4nwWO@Tv{qxNF5 ( ~)U<܆g7 ׿et{O8Ռvu+ۢ7d\Fp!fs;8gqUAٗ jv+)5<'1=**n a+o0"뻲tƎ8PgW.o¿(V9aeӭFGD;?n+ 2oҷ"KU{IglzQZcx~YBG-2KT)zn3 :t)91euuޟ>'w ^HF&9Lg€ "国`S҄o1=)ะrr`(ɼ!,ʵ)_ tMPÓVi;vdWDsBn>CvXX {a-@Wج a]<F{c~81nu6dۘH=꾷,<}k<^>|Z#lvL^m, <fI0P }X R%?/(xk>^ߓ#}BMwr BՍ\\_sD 4[0$8Y"be#.36}[61Up-&W3q$qJ=&J|]ǷH3 ߲mTeGZ 7!u0Pj.u0 Q4 Z N+&Ie ~eR=St6ѻ BmSBrhHR./U zH[Kr{&_uxI /GҍY)ckfq$4ƒ.ClF”Vk޹5$yT^ tGG^yג7~슀ҍ-SN!D)rEJ0Ւ-'ֹ)\cAVfR˧[ in\"pk(y3 #+6|,Z.><2?Ƽj{a#Т0"nJճ}5,o s'b^ɣȺx =TM9M%eYӖhdYyyʎb C|s"YBNyzb?޳fv]Ê U"l^/GVͺwu;)"u CӟZWg^~zb`i+'CC!V.v@ǃAOCr/ִxI(.5&\]$8B*B6X ?ÒzӆQyBcBo5qU[T.YmhYڗo $yXy4ԯ/ _#E]֖Պykt2h|IKpyC"@E1 SՏI;^]1hyhaK?fTNxUHIc4mUGQѮ`Oi.)Ln_=TZ$=?)*1S6ZtQ 'ewJ='F5#yK: ú:"ta?lڰמ!^ ThEoc-]>a:0nZJ,c% E,<@Wnu˾~6ܥ-zTAj>/),bβSyP#4?@o|R%ż E#TIy֨4iٕ86=hfWiJ{' ݗ+3S$ ltz|}G rrm#uϡq=C,ұAޢF@F7XQc "yq@!Ț΅\_<N zpTv/+QO 殛^ciH+%y=BVC&A6l3l(Km%TӜ%GRodS܍A\2ER38P~"/B DGN b_2r6䓽~/:.dS/"'K>O<ߜMW(!z4eU!poLc*R¶+[#S;ai\-@7Iq=@-.NaϳG÷ 9γ1ȵ,;R1ҌFLJBϻS,-|oeʁֽ*P!p\9hRpwSLWuA~Wjd._p4Pkl +uZvQ@0MR.*`mJJ!sMO`Av(8"'#!KQy1u<\/oҥ ldv!@@YLxM"q.+\UY±^0XN>'%?tS@7E=^l)XIq2Q4VN| aKOwĬ7}r҆5>=+6VVeNb|-4#ODMoy`wFd??j<`3.Ge0%+Zݲ?=D|QcLNe.:;t3:p~&\g;<<+5,KPw/RRB%RA }7Lb"5f ll5F7 y{QY[r֗~"yBoʾIIX^[^p'Ct~IrǠNN S"OHğ.8[i͙[8;&/_'jlM$aiPNh>^VB@@>*b'Mʬ'{n*9  p,]xs(Pqۥ0 7zu+\lb()Cуf.ڧa^:"\Yk`X.p"`WV b֣SӰL oXv^yn3Ypp эVbxa[2hl>D'P 4Jcu!tޢ gK`0kqjc[~I 8W;fi7<?> 5ۄM<1V/??$S^9'I*bj?qON+ݤRH]ѢXDy4ȯq+ u3f鹅Na`岘[\st8$ɖ|[}~bΖ׽aMP#^_&@s3(Zv*PQ?[#$ZZ+Iipq!&eSe>T@ВQ_[a EK͠#2%5R]sRslr\n>p WIW'hah9Wp gO&u fvԕZP[ ?6X6[@ŲM1d(&r-RKuJW(׮[ZP`S(-y>u)tF^p/9׬=3$k&1Ebփ/dΓ#F~IKQ~?ȐUX|nʣ 9/3S]GMe}xTqg/vռZNioN) Bahg:<(e 0ُV/ڮwYFܘ=>HⓈֵdabQPeyOXiw^a/K S.zL,D~aWv,36}CsR{܁u=ѩR!2'sd 69>~E?5t U&Z4&jeoBRuE&s6RH͎F4E"XX/6uӏ@N4L\}z`4~|wATB#S-J.S|H:~$FG{w6?nhCrT_Oc."fM=ي2ʩuw^C.8œy^V`~f)+RQ}]{[? TIi L/6ff wth\-%:tm4SR4dx5\H?PQYw&6EVk a;jr"Z:k|0Gf/S"PmӠL8 8í>?=rӿ㳁n  >jkj#4⦇0f&9qC۷SQ7[ 45sr덎0\0 Jϫϋ T0[qF< )l^(P/ȵurQ~xIwr*rnܾ\y*mgT095d>"7YոUHsJHžy]ߘ;IXk!r'yiŒ+%d@9EYolm3lrvݙZ-S-  [\ hZzsfso#jn5̍Ds]kHIw=W 3, /νZtoxYiWѷ}ju/N1k&|_3RVP4H SL Y.1( Aֹ)<2(x` ۩DY w|{_nR!= q VBD5ay(Œ8p_L_\Rx$g,{Nǘaw}4pgXP%uGr >g?,MEIxh& TH>>T?kXm3ÃZ:c5BcԐc@(jO0)$iqdjѺ#Z޺ {d, 'dSL,qWz sSv[MH >IYNe2[ʛB-bPVAGHZ TCu&> #Uwv9goI~sBY;}EBQ?Qmm $xM䮪~R wA  ~TQ Jciλ2y]ƢyI=peE۶z@F)$:$H$>y/~ۀ3#!A ;Kj Bcq+`vcruF'oVX`Bd Nb8H #q_ ˆ=/M f!eu6EmeWF0ĦTȳKS;j:ۙ&0I->苓pRvV s:!!)A~  c̭6V}IMP "l((93ԈSH& jYڸX-{%VxA@n1NK;/UAΛm=FЮū%uJ%z#Bܪceap) F pzYQ|{nw"ɱ.4qPzkeVTpg7|}@]n:^ ]\0GtjO/n8g{{@I[ύfcHcZ"!s[WL8%`Ҍ{[ qQ%T :쌱+ҍ ה8`t@cZjzYȱyb秙Uy GWLjOSמA90\0E5U"X@zT]L5#e'B؝</gz $f1xd“SK*n|O~wm Uew\^W|sWMyæ{sYb*_@ N4QBsmh]kKdAHPcEzmF/Ta] %ҡ7F<N/sStU5pDb\JF q*aO7K36DA-pq ՘sWZ9THOy z\/Ҥګ`gq|fk-rx8q@\5qA~[g0z]Y?ŧ_}38К߀xGնeC7'_r1&:]?_G`bGDXUe("/H RN֬'Uu~ßzNQz sLP~PcFlSX#۪mmsQ Ntv.)8QEx/py7YCWc ԗ!Q/ok[F Ye:4:aDl EP"!DϸG斷+Ǻt9Y*-9P  }6,qC+̉XNI >";:dP'dcU0eڭ/WB'8{ė84 "UE4ɽK <0>:wq׋_+6a\N-tAmrp~z(fYJΏ2 h*Y :^;ڧClFtUfj;ŝEr#W}f?mMk]_B>-Yνĵ)gLg|ɟmDJ }vwXm@j ٯ+a@CY  QeK2VΖ)ӅۈWX[7 `D&T&׵)-? `J[ &Jy_rƗѻx?6ft7Ue1aAt4J m҂HLISCKT{lL$C_^vba-Kªɸ6k@+ߛ̤݁;p_{\yV, dx^{MEOpƪ,g|672wf Yv$tN MNz,dp,wW=G2"5j0x[N+#76FZ9KM?#6@-V߉`kjSՅ>FgGmBg6sӊǣcZ7z_׈r\znK8SrُڊCSѬ;>ᙉ:I_KTdBj8XΎwoG|$-r_f. 30;]UAVݣ t|X]4#͠"rJQ Dߖ~(1~T;[9 }0mr>K`pؕE_h6Ʊ Z /Rwp'[^:1|T,mgfo[mci` 7**SY#pFI6(5*ϯuuXC)aI>gœdx}Ą /1mNk @Nq=9y;Z.E 24hR9|G֓t`2o5Zb얌-&WĪmzm@am6ʤ} iAAON~_ޤOd~-5qEhVx-mQ]( '1}) bV*b !׊MݔB塒> _ܸd71V,p#rOxY*s"N8dJ>nBWOSN ?3ey6=CIQ w{a0M|+~_3+Ҡ \a>ay QJd'rGPaYg6Նa~r7Xe١ /J:e;=%ƒEP9Ph'GHCSƘ;ކ=AT/5H`*P[ l](xv(tSw6?16H5RBTl+ѳQu]gXFqk+"cSqmR.G=IөLo8JwC|Ŏ-,9-bgweW4x0|PECfޕW4vcHW| TW6GАZݰÿuouFGWm}va?H O{@iB>(i3U<( ^#u~u0{QVPSfqs@>_ZѠHo8*8r%6q پITy46V fM,5[S\vM\Lg"3 KU`9CI5b,8A $ߒ|ے]\ v8:? a+\@\ N^F\= (Pv>.⮡9- 2&W -in>ʚ6\k># ?rXԬ%%#ǰD79)z-z cND๡`Ad[4,U`eviKe ) ' +ejJ{#A^V&ԟ=.HNQS#lJcT9<6P 787;U!ߟ@HPWX?0;bP|F6:n;Q2WJWλЯJX:X`t;G/2vw)ۡ؄^؃ 1\S;+xF>$x bHC&~D錒+nlJ=3 ?{Tthjwsk/?-=r%+ 2x^Mb@m4*^ܜw=X"rB[Q$A!#GזMvΊ?g7(n!H/8z~DK1텨#ׁV#yl'$HLcr f - kw\v>}y`qh/(a8劲 (HJ}soa# &d!˹ 1}_n%41wג_{d[: z+ƈT ߃ 4[ 8O%Jg`-oԪ+uCEZ6{q1O!78oOkQ=aw]FdHFX:b8BLRAkB9Fi3xN kXjhg*|;bhK1!v]aMjTKL AiVBK4|`pyK);}V;&J@=敨|/g+4t"> d: Ŀ*kGw@gn-'Om"ʀ|{;D~r8 .,o]3ui@F$ld9׸Ίb~Bi1`OPCX>]Y7*˵<*z4o"$(Yբ,WǗvw+_RuбS9yeuR5F+D+V7fj .wM?[%#o.ȏGz?DrsjSsgJ8vs/Fg(L+@/_6fȤc"H%@o'_qfvcXI.B[ݘ~t:<.]P$ #=[uW-D=֔#UܡD}֌YvVfgiYrcs]] ®;B[@9Н9Jz 1gy-ᚷPA])q:ќuuX8cLda~hJ$r,' zg a̿EY73.+g3@qr ['Oe@zGW aoedY~۲JCXCMo)q-Uf-IGgyA\:J$Q*@@q2&%HSǽ,Z[m5aC3|ք)3d.пEXbE!Ae F*D $7 nHٲ#(ɬn+ D}[s O^z$5O}#䢍ZtȟIBٶ~YK˾=fc vT~L*W@[vrinфI EB˘Iߋا$QHv+5"IKMkyU,[6|5 s%Ղ B>DC)[.Ov}F4*4Ե@HRv&hpbg 8@S>,34Kʻ@/Q&FxNgS a+^d sݛmp m<چ~cBX[钩[ Wo0|mgvSɌ &yQ׆֚iPG匢51 :/y \)pXCʤPҷPҲyQF9j[vxe] 6XEއQ4/:, $v7"4u5Z1Ud })=xH39 6 Z_@N7MSQa;MmEH!1}AP%2AA/D_{ .C0Xm{T>;`j*d V'2XHU2W~OZ-,;EI+3M.c-֖0ceV 'X<,'^X5ڦаodh_wȦQk#o:ZI<<3>0FC_ M9ژ#4dt$eWxfE;t.,x-q@~dq/k݀r=F|mv=kQ{ x%8j͂\ًb*Q|i=/R5eegx-]1>  Z O `w2Jҕ؇˷"&X(7A->; Y/SJS@+xDp;WSjE ͵#exbC;x#cr{In,gt zńAx'kqCe 1^%'LU8Ezt$ mB૖tՠHf 1:Mٱ wnZB L9"hi9kjQIn~g"2 {Cz=$}5yaR8EpY6C>!^Q>ʫL͢4=퐩^a' g$ t5D;kA&ĸ)lwγ]?9ugœϾ?2ZxP76чfi!Kե(-Ϡֆ>D mhyL-S9 Se{\zIlu#3(V~&JOuMf\ #Obغ{5g^4Ջ;/wp3ar(;[$b>`|1,n \`*E'Ro92c)1b==Q1#%u.r9*WQEǣn:E59t",-U,e)D_K ^'!IhDՈHYE~"0CSH07XNIj}[\pQr?Q ?2Kv|0!~uWX ?0!IC7[qoarV8Bzdb]pLuሷflMrXW `}^hʖe "yw[;<Ut0Xh.F$bR}ͨTo}DS{×?H[CUSn%ź伖,E\Du*T3.ݛUzneV^%) c-=eGcq$I^F?z)6\gWŸP:1T,Arx=ljC4"f-[}`WY#b)D'ORR{Nx'f?WQ:k~zFvwLEPop}U?Jc$JJ!ՅҧpҀQX˺XO '[յ79b+nXChq`Y%kdVOV|۪qK >},BPpͲVOd< 5FgS$C-ܳ^ּ\P ewX)+ɳ׹[նviҊ 5YϾy[DؙNCX-T@jFJ.vH#IA31;.M651nk/-PZ7G7*.QJ`!GdH%nzIF_j kT(=(O\5=m$`Q#&1%hg3"`P'Dű҆ͱ/j\qfs#c'K,ZYp R pFϮC*#ѹz' @(uᅤ?8EX,":$lKq ~((qTš:l7蒧f1R$C}>KCMM%UAkڎ #4R-%1Oqq.s ePEP V{ jOUKeB}$Fɸ+}d_h@ٷf/azk.hYm ]6GjmB팝nĩmîZPnY*qS#,`i5(9\WXۺ]V Ӟĕ*)K^:$3mߨ}%X.^#V昛):9乳"z_4IבYiq!{Ʌ$Dd*>SCY_1F_]|m wJ3GsRWx71jx^4s3E"!Ӄ%gyyVg꫈Tfل'f|v`@6`t\yvPԁ?| sx Xq[?.@>TwMҾ'8['UaO8~/x $^=qn5s@D(1@@';D t;æyj{1)*_B/>'E %ZqrX8`N_n_xN]m;وQJN\o a9=Y{6}8A[p+f@ > 1<{Ch˖AhFzH˥Ž'S;y+?ZlǦR[e#B{O>9E@8^V֌KKëWL#9:IUOdȓQޯ%[EWv /ƥ0q Xd}5E9$C ґ`U#F?F{wC@Ϛ@IÀA"x0G2t`Htanڏw{! 8S]Z͵{/xw|dеT|pI|52_9_x;?mڪ~IkkO%Id@UPfxn(]&S Cc8Q,bճI;u%#ޢPO'b~(Y%P!'8!Թ gD=|;Q&c"i،Uub_=Cst 9]y 7|2iX%yIpb/Qw*^$m:t^uܿf Pv+4veQ:'s~PXZe,@YFlh%DW`6 ] ^8g6(/PKYSKPH1>ia\[-j uηxYM!_IsGtr-cup-UԖ88ԇDW3JenYl֓.뤔4YO&gY05r5s*|r/T3gjkR8LJl? ڲVN**֥3nOaF0 l\&sʱgYZ7zXZִF! o[>]ŗXi%\WCNq"wiԐ BG7yZ`Zsƃ9Arxnyt 3orBA|lI񗾷:K4yk)5,J yV n9ܐۘ-?$6\ܞ!O|@8tZ|P&эV/k զس8ayS! [WS$アS{4Jw?)Rc KT`#No1R\P77: ^1@F/M:?xI"^EvH l/v0y2`/)QƛO:nb#:\B$ JEb&~=F澆-MNzhuzL+L}bǍXF5dhB2in+Ӊ S ^_RJ{b6Q.Mp CӧM0]8u7/Lخ.ݥYg:Cτ2t#3/E!CV-.1B${u}֦%"yErmpZH#X>6P]u$(OINA&+rŌ]AC>P<5&;F\pKCj: 4ٿ'@ vڹ/538zlmOJXgAmViûnxU2FKs>xWmWVLfjxhYzlB&R`b ɍLH޾o|#)Z9  v3XoOr K!Ydhx?6X9`d56 mEط+ ;_ZT9V0SF˄EM(  cQa@wl^>M5}-n ?͗͝@X#h!߮͡E\Q(RsFCcF6U (Lr`p4]XK>uMi{Ր[$kЀgܡ(\eЇ5fv+HՄ%R}{ɚTAH!yp!\]%_-0t?#f`<`*aM6LѕN> swe-a7*NBOdSsjI(T Ky9ɇ"-aeE%m I7zŇ&D]40e{+[97cY3}gxmqi+"9nڍ$*a?M2XY]߬ѬQ=mկ?fD@nXP;R^^s(R͌Fio ]Q˄d) 1{+Ww˞S*/A,͇J WHm f^O)qC5uЫASlMijۜhq}ÍVǻMbB-#'m#GSX&oɞDsGF.UnTNj #0zJz p1ŁzZC:Ž|3bGgECsS׼OzV[疃U~()I.m~;'Rڟ [sVtblɡՖ=l)LW.U"OGltULfb $°&C|K pt"ĢGԮ=naH+5IrW^84kgG|>.bgyEmY[NoqCrf18yq?5xϲƤul6'p%[Ah%s9Sz7< K㐫2$ SN].h6:fSfS 56;7yc@~o Q[`(G]I33<zѩhӱeSGm#KyAyFVeثoC\wFy3@rv=]Lmc8S,lˁ읹Q6r> U '{P3ÝaWk (@K1y?XaCІ#5sX0\l9>QګZ^ HRQ+TEOY]e'cDTp prI49kw|]?2_AHTL7mêF/.fY #H=u yg]$[դnϑ=#b6ƁE3^:"o#42{JJ̦iyoElV~E89pClJ|=B\aف{tm8I+]^%֤.:g tW7KاS(z{P&#/U)[O2aJ:+ lbNT!RO81&)vLd5s*->BU*Ip edj±JU?$%asGWk[ tgʥ- m~4i>/5M5~Bѽ ~曝gLl9GK*EJT~ħ&u+[CԳޓɳ,q|:1NK' C i!E*M#k @X0F,k(#Tcs›/.,6 j5fQk%Eaz> spɳUIDt!uLF_E۳5gIj#Xx,m"ȗх-,kaΎ&hƾ#ta. /7nQSi/Ɨ>pi-D ~ihϭ&7fE- ՘DT:dۛ;P,4Pҍyߡc:-P{^r),bȤ5Gd,)wyરu`X}F sY 88n MjG17a.l'<6̰HIԝ}r'=W50^v\JIwd+vM7ABƄ8X%HQd;7iԱ:F7=3뗆#Ϋ}]ىl\[bfCFrPGE6RuŴLvmrm! s{ݒ\R[yad?oZ!ϻoNM^6 #|O%aeJ "hKV Rf7, X ZIv@Z1 e<9jt '$K\A&``m/-}n@(t89+~( Ё`jW슸=>H^?I&܈I}] uD7$9xBr R*]2 O?^l5e|hHe"LZ륀SBI8kq=T7f㩖 JVҵ'>&ӝ jv8)iQƺjF?A~{LpMҺX8$߫J1wG>C|*R5]D0|S&F0O@_̦X.哐(0>wջ{e "omdem뢂N`1;K%LX3u;Z0#`" 䵰ţOFzK^pNZ@ yzWs&7.Su`!+qrȊLMZ 6ai{LC %)˛r*_`DˊRk<,rYht]`Z&0 }.IAS #@<Ӳ&Z%ޘ“~;cxul;UT(q^{ Y ".Pj'vm_$᥉!:Hإ71ԈH!q/5)꺣!om֪ D;10aV.ɌM<ާJBzC\h k^Tⰵ/V1 m@M>>J( -vK)&F=}8V+aaONC"b~ svdb^w4CerH=?޳RQgplgxG3S^$"@"A+ވ+Zф3:BgP5̖e.jgZ",wUN:\-&g֙[t1Mlj7P{+Y:cL^ MDA:C`6?H^^ ;?Y ;ka a䓠s&_,,L2WNeMs-a;}DkO֪e -sH%A#,pyޗR8@P3k -| r񺬟El8Ge(YfVEChwo ӻj! s 3gP7PvN)#w;Lo𛘛c:8<@0ة/ӝ 9XY4$ CPˈ~A&1ٲ740,5a)%K60_ChܮZz_wS%"s}kq0ۢ+2PúM+T=%yYߖ@ 0L++g+smU%n؁-GՄ[3"I|73 LVy6(EZ6h /dFz\ftFD [* PmSpNY"o(T;!ҋbiJB*J"ssP-5߼]OPGug+K \0/w\TzrvUT~Kf7*js^p_,) JH6"u\LBq|!ƩZaY0n_!}86%4VJݞCWXÖ5Lh5M4r Þj<);J(d:b|e8͙d5StVAovt(BY=$tL<2Sۥ#סo|wE#a4Y^ؙb$S z=РՖ%ע;C|ZRȌDu_gmokDCbCB![@aIҵZ-iF3Pc=.#=4eTuJs;k{g'ʙS7O$ $V Fz\ ۰`{04t]@<*~ mU<syu 2Ah) #=FRw zl24B=Pz4.'ץ0)ZBfwˍy"˪e"R켣32`<2jc2ƆY'ú^0CB &vmzo/?ҏc&^PFV{ҎG YhnAIm4bjdzb<\؋o6m]#`w nvۉ ]N5: 7n`W^7ʍMx0_HO@}2C%]F:_ljmݖSgGvR":^ʆm}!eS? ِoj`qtCR m2] /ٸX _ (cj8?q~r2!.JCU "oJ+y3߾{ -Ooo?vKbI =szz F #K1eя^-nP/.>G؝+[½E0=$Yn1OS­nzyփ6B> -ZWK^|ad}ʭah|C2'H%k&VR/6 Q>,:c&dưp IaVezو 뀛OFL~JD,<}[v쌇';%.(Ɍ_Ŧ&J.'Ynܳ(!pۦ`LGb$KV$ٽyrzde9 wLɿ' ˀQ[u Xsl\;{Fn&X'L+)V6pˣh}] eWd8?y׳moX?NHv5 d4ީ`Px7?y[>~􇔉0DDis.˞$F *+9+qQI/Aĝ RG8%Xvf^F͙m7T 9yhz-$cݽd u ^[o=Q[@K#z $ԘG֫Z X# A@'#GU"6ղ[{s=QJQ-; P@~ec*IrH@wx~I!-%9Or`}7"[_q^6%lZNd M&-R8{R`e&MPӑ&,i&EZ$_bqkohZlM,$rS ,mgAlC ȨrQNzfwz430'VIXqv'|t=j]PM_ ^|3ɳ7|CͿ+m uJ=4S&xr uPѤg&l!8xfV 2}kR&ll: u5M )LHVKvrZVkluXŔu0zW*G ɞt?V6QI+ϼ8ET !ā!(dH4 n`  ),KcXAR)O9(y~YwȞTĈe5(RY]\~> /5S:=Y8ŷ #–`o=^`!&d+gJ&~Ijүe_WRr)Ʃ5ޓk ꒋFK*;9sx N&j$K Xd~hn G2B ڃFgMhQ¦^Fѳ8 43ZAiRٲaZGYwlm=s) c9c a#F]:TlS*2&XkZ{ݕc6%g͑'odNXeS͆R++Z沈,PթM(QCB؈NrFykSfjaa󥾹פ-$-fiF}|ME!gtU i}+Głm59NUVÓH+=[`@;Y5=6oĪr-hjS`:tjcWdv/s/GMi!'$ Nڃd}Yd; =XsTݢSES-Zl?߇a[֦`Q7*81r$-&1a B)}' 6ԃ Hejs9(?L]ØC``;bKõC+[Lp,:21;L@NzF.jɯbI0](J5W7fqHxm[IF̵J4ܢ۶εov5i&[ mU 0_64vwqzC|53J\) 0/PVg uUO<& 6gLR. R 8Kf.;H' ;)JOF96+je~]z@j( ZyRe~#;T`ـ.EҔdg+>$Ėy_ג@(y r -ϟfBy).|_V cXr)ul)ݞh$s'_St\HkMiҼ(t)IV2RX6J1p0b1*UF0HqNH9jJ4I#vJu(gyk +FvA1ۛ<*! x! -xZD佡?yGI'*ߣ&lkv&hG$)cM5C/a?2q/Yd5x)[q 7mC4ݕ-xpL?؏a=;ožY4#ZbHC i[%П"ӯ]O,2絺)w,]} )Rj&i A}_{{dy[aϲ3ƹjgT.ITy 8XHI,|aazC1^rKG2'-6wO=ČH;Ϣڹ9(syJ6f3Un $MiF/w a~i?O|㡎MFѰ%.hVPj57B̖ĞK7|g( .GWcT,o3Sf^'x)2hs2XBFF ҡ$Г{:ݡoW{Ī馼Jamsw|YFQ_2[$x(dT?CVe?"Z(U`=%JQyn>Äҳ#!{ GŹVhGFb592ϹbI8D&cdž`ɘfÝ% .30ͼJ~9,IVA)2y mj1vP?ssxb~+H᪀zI_H TC-*Z3jel߷X J+Y/ 0O!d5IzHTBG˞.=]h< NL(Fӑb%ey𽾬Ŏ io}W1EmXxI^EUE|x K]d:A Qū9CKOId 13Aۀk>%84 ɁJu8 mκ '2Bt*4řArT$z)jdkq";ӟ zqvaOy"9̬LVaTjZ'Y6Cңb+ReF&!)L;#Hޗq-Vr+vVB̤;{=4BI[rgh4YlRʻ2>$!X*##)bp,X̩bw_2>Nl< $|>1o߸Lz>Kc`0_.F~7v a`Dn~RTҋ [NoYJiPLtӅ-NvVm>ޟv!Ylۍ\Y8|"X0YH z#d4QJʿ#ۮ&NIt]R3Μq9#gf1 ?&[0Z  DЕm\1()9 5](;OPTvٓ(ҌZY?W79&<^Axɣ["՟OXpo{jޢH/Dγ}&YံdHA pC?Rh.E0/A0GCg?;IorմΌCw&oK== |(`f Ĝ3@gOP@L& X-tDIs;C$i TX:#Ïk(Has@֊_ܪǪBǡ҅eb3B+KC2^(G+NE}aeG:˧"t ~ȁ% tE`s nLƶb[򦝧*%Ch0KQo<8oҝ0`c)fلI3NQ},!AfؗP7X-Q>EޥQِ`Kp(w'=#*1ҶF?EVIQ߱,d6[VCMb{,ZgBR&"6w>D"`>DxSX$սalZ;?ݨeT#iR jYL67.|I^ JqHJ3ծ?O?K?c˦ i8ٮj7P[RɈQaX$WQ ywO+;* |m#!@{u4ü1(uӪr$ƃ )# ηѝmB359˖p9E1΢b,>z-2VvHǁm֮OmH[p&MbmPّYВpXC>#J)' W2h3%8/sk YB1!ټo ujٙ[X!<E~HJO%Wxwvr-٨^1b*IUlϦ5 OCEE\X$%/`%ig։ 0/CNw e.BvU-\i1re@-\ AEYK8gx>奵'9׳|o*&_:JD.pjA̍1D=M%R# +N?=WgEmY?M%W=>iq[eFn^UiFbz݀gjIc%ŔLG Ӈ-|wt ECXb%T~I v!JD~ר !=_AZRjlvp+? 毩 iG;VdY4({N/ P1?m lD>c )rJ \B zԈp#k%sgl ±T`iXuys:nh6~F,UfjпO&C-Ǟ ~uݒb "Ŭ6=+愄"͖*'ٙnAa{l,{ jSmfm[;o6 g p_m`#Ti9́ V赽pMZUJ[M&3R!Poe :$FtiAЇLs,GVHljRKs"5h\ E^4*;벨F}!a56?V6b4S\޻3M)ђA+& R@;!2%g'Ch N| + }jL0e(;CnnL yXJJl-rʷ\c,̒m;2^rswpWޱ)>R|~IK` `BN$+j*6/LBf.@.Cflk++UBnRO+sJuDz絰9]qI6K(D@cˇEAG'FXQ H~sDsNDr\xĖG?A}vQ+AƑ 1 58Ym_mܖ0#դinN 7;bLm^m ߁ V"ƼĖP'3Gp<9w؍W%xw3PL,m?ÈS7^IHa|~@Bҿ/4S#_|Q?C2!"G] S ,NS MipQT (jH)L22ʽtNeD[-T`f-6_3}.420EUol/C Kb'W#^F}c$_O */!\,/1aPӉF~ 1NVhdAQC/4kżR@ BZEgG".Z6PdxɩW|vݚ guA䄦Hdn;dAwkN1l: GEq& {>A,͂+FΜ)qrEc{308DuQ8-1F'cU_/@J1J2zTScP .}Ȫ LJfj+gȤ*kN 3π)pBm@]5in&q9:N(S*̌ՍSi5 0V! G>Ab|**aR٤+_Rfi*&7ll`ЕI$'hc薃hPoF;̿$p235JTGo)@N}FF->չxfVg,voV+VHڤ3QXi؛>`>M uNdBdfD*j,播^56)O!m`HFɷ* Qytg|J[B~PhyNj}킽bai3yK.{}VMc6q,\d)XoUYiDd>/=b)3UM(LVxt&` լ`:tA;S'2O%RוN;gݟ]|V"0[jl9x c7SH~B'$Jd@ɈK0xr Y0S(g(4쫛n"e>?R VJ8"+,WDXA᥶"ھkpzƜ:&duŢ Q;!v &Bڪ]-VPm4_e~eS CwE3E1}H< ,'7F&;OݼF4.0HL\g"{ ݪaXq ^q[YNg?Lc_ ,`NR|4ikķϩ:,<|sc@rwMԿ Ls'{26C_2i}V @ĝŊC("nXU E=(7R *_~%c1;ÐmXƅRAuC!Ln-1W;~^OF T=qgdU(alC} Jw{xD,]Y"x3O']סd/][-ޖk^rCz)ʼpڸ]V(m zq!! 5'E/KOCGNGx'].w`vGW:@V:7'|!4 `%AbEt[O2sr >.<k]1xf bѥ/8 CŐ >+ 3/ ,q06t%f{p“ix|wWRqy}; l62}dփ{ڛ?ncDSܛ]laW n-ю>-@!o*CZF6CO}|H@n\սRc"&p፽/c!S6 4Ua\g(rB&3R+1y^!34?X^q H:L=U \C E0s}I-hW< U&0o[]CŸkISAaPBMtK KxWtĚO-?Q]H!*:5@I."āLl;]Y$`_m& RQyu S@6A_%1:z2h"jN! ݡGW|* n;hD-E ?5rl2 VlAjh$гOJϑ]S6 [I/02 K6yZyxS7$Ab}5]i\ *v*)1xJA& ?GK~R&*3Ϋkywnz-lx &NKnO0wLf{wF,wOk\vYYJv nEcvCXTcʗtA4lU;՛W'".3S 1<5L\|y'q7)AWݍ.Qd'hKfPכX ]*I{Dhm-C.Gp-`up]й Sm-!\(!)r\ӖVƀ²W%~>wC0RQUT5J p[.@VTHN䟙Sf'Jȸ5IEjѲKk0>?+mc`(Ӊ^{Яi51C]I"{O=U?t  ݳL0g#Y}>< QsK [aO(0g!V,7LUakjMFq9 R'p)FI)3Gal3@ z;ݥ*B-V}3ͲHuvW:%u9l]l)H9pr¶,@_cFPUC*:6d_̀~ICvUU'XE^iCG X U;*ɟ^Y{y8'XI#H U a_қso|U6osbg*cNI4\_f>M/wS"Jrsz9n]ș,|?7 q+9FTL*Q fȟp\L=+б#ҒW7"jvIpQvs0^m#Y g=n?|ؓd#V0QX6r^U?(E|vZ iAj-Zaeien2Q}womZbVnY.>22ωuNώ2L6b QQ ln8Ȩj,rUwY:+6]ϺN/ SUJqɜkzpVņDEs!r"ROuC8Lw|(19.UJMܫd35 iۺ*!sB"pnyY(ȾASCTԜ^xsZ@<帶E-º+2,%ՌI5amA݊!N \VrB. ;kHw"bB8%[劄)д#fT^&Fڞ¤^~޳S9i@ǹ-&G7E'vO B]Jppfe:‡\z}~(x~5 4'܉Ԛ] 3$870` -1D傶i7cXwڱ%0]tiZnpw~+?2扵-vuʞ?=i1fd\[%NYY=JU 4j3c*pap:ئSq 9+}$T$`r(ѐJqo3='$PAUsyHH(f{8ANġXxzZKt8N _PɠtcJsφd-07K+fۢUB6Øeq'*d #DRi\e\*~TǕ۫^> MۨΕDXrb+4^$YҾ Mx͏7+o#7ors`Z*d&@bPSFOv2z5/12(~r;zf(wr8~kMX*s-XsB1{? EGEZ@v%٘hI>4TNx<Ȳow5{|̬v) .}aؾh#0ff(_b0 # B8T @/ryE]Ky%qC8j/kwW:tF{aGSTqIF$Ms($EOzrۉ8L IhJ/޼qʓSd.fUsXFיo>v?HgWuRKRk]PX6^e0*ry π5k wlݤ] fYyrs$v4QbI4jA;*}}X qK$ޞ GIr=|!oKԪ)_IHpUüu:M:?9X%&Ob h\? /sX WKDH34(G9PN~mڃ1M114i؋#3Д~r.n&>Oh$B}#ݭK%tZE/$dWt}&n:bu1&ⷸQv7:2ƒuGUX=2|q Ü'K8.#h>0t5dl'QTH))WKRȚ!WKu|ܐe/h_z)ߩ?Re2hiU,h LU*Vw"I죆(NUaGV\uf4a?svL&2khgIqjwgй7sSfN%)>zZ7ôϸoPBv9o ,0ˉ1MhX8.eQ:>ۯw_y9Sw,23sS[ A㼘Yc\7IЇ]?fYS=Y<)WpJPW uvf uvԹ+/vI7m3x8&Eܕi\Vōʞ)/:#PS$i=oхĖ[g?Rd8QȮW^Ȍ'9K̶ e:Lnzo R]-=0As*@AV)n=9tI0w`bE]]ϯ6?̴ſ 9K Y\!a4hH*ʎC++К<=Os궃%2dAlFZssШՁ0E{Ep1S Iڶ%QgYZ0792dd4e13bedcd83a0213a7219adf1fd5a99f62 0d6cd41e51300ef3d4b41837222a62dd1b22a940 1cd88e0b8db8f330e4ea16c15724587be1d84d09 1d2ae08cd368b31c9b00cfe50157569c097347ec 264aeeae08e19d904f23558392db05ec77d4e8c6 2d3928846e31cf27f582596bc585db2a42d7ae75 3562fc8bd314b3a487c60f3c2991cb6b2bab43d7 4564654c94b9c819d20401a8f9f108ce7ee3f553 4569928287e78011743d6b7844b6f8e74ed03875 567f5ce5ca7f9de250fa02a1e406970764cdabe3 6c5cbdec706c1dd4d651146cbee9bc74ba6a2369 729ba6c897e1c6162510de5d031d44455a310359 7ca278385d91b9522f111489bf73c24635f76573 7d2057f8010265ca70ca77e2b203978b6476f0bd 81187e9937d74b072225d40d1af42e19e9a8b3e0 86c289a8615b3d182e0d851c219e683dfde0241d 8c485ad64e3be39f5637d2aae823a984dade00a6 970ac7b8c0cf5423d7fbb649c3ad3d9fb8963bca a131bf07955e016e7fe3b479ab4cd82f28664888 ab7da0f691cb02715f2682876d87b46064f1a398 acb8edcb8f6ea0fe348ed05f0e070ee1498cc7fd b9acd54bb305519e7651292cfd55f24493abfeb4 ba3c0884e2f2491504ceb2f90e9da12b828777b3 bb10b7ed8db50e7057ceecf290eb7645e94371cf bf490b5cc390fe8d23b3eb730e4797273f399653 c25c436eeb6824f1f1fa76e04129294aaa7e8dee c671faf304e5b931299d777a713f65794ac179ea d19c06691976911ad10683d86cdd7ad1ad87fd58 d3981a38dcddcd5dbc9c2c77903c8312117bdd01 d679e1fb0d11e85c2196a2804124e148f930a50b e80589f3d5d90275303ab04ec91511752d70a4d7 f084bf7f961b48972c2db28f6a26c93cee1e80f9 f60a05cb1e69eb7d99c4c2dccc586d9a157c50dd ff6fceeee2cef000778dc32616369d237996ca4380f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c 913d9f8079e4cd6e95153b91da7b5acde8ec276bd99fb7439675e7fb2bffabc09a6d38fc0c03571b