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 M1$< ]w]Jordan_Normal_Form:threads=4elapsed=376.600cpu=1109.848gc=24.560factor=2.957zXZִF! Sz]ŗXf[&ɉOW7IÒ66y2bԖl |F֠BQ;Pw#ތH6Zro mwmԣ"F"I'kyKU\_&Z$#=/VWV>11'Exy(k_syImAg/h6c ~:$ߒm~Ux$ŝe}QKzzjǹ^YC3W L\y0^N}y0.RH9rF|J; O"j|0*i5z* i'tQeH%STjg]ɭfIYVUv :qmI42$[fkZ7yr` *oNQ Is1~ gg;S(_'/^(6l C!CcqGI2*?FM[y L5ט^`Uk;:D }502#: jq3m8E;C qT(DyxӰY8xPn}qp^G0Wd[_vwF50 Z?Yƀ>/W$.)Qmߣf;6VIP϶%a M#i7%P"[Jak_ʉ z!~`W@~n r^CŶ:#½xoK[}7Bb 9|]e-7" Yڃx`9S0H}}I6?]#ݢ:qIxJlOI]2 .a=M6F"yxF_64+ I݅hMIfGѦ.BqӅ7*a!5n42_?7cpvQ3Hٿq抡LlN?dBa}Ҙ(bepFHѯ=:x<P')aE$ؠvr ] ۖD.fs.yo3I*jlain{dnY6XuAʵ {>] y+fx+ r>0oG>M:AֶDmi Nvhlitw5vwyhim/Y{&z~D; ߾I\)1 E7`E6lⲾFg Axtߏ}nA<07ep $ \H XcCJ>I U˺$&,SHXl|2F3ÿ !dv(ˇ-Eo5m+M-Ɨ\Oμz_Wp]XO rH 255KF`:~ ނÕy3>qW&x둆 )E7AʀwfGG>$Ù؊gb^&8νdw/&Z%c14/JI= Ѐ\ J6zg̃}fN u@O&|9^#N`dDls] @*&Nq" rV|MQǥ!u6A+_F(~ vr[\5SshnZP_SPppF:Bu5^:BOy -~i7XX` ˽+q m1ȆhAdmu?:FNuW86lg[ācGiGBLb{xRm;JMŠp|a ^w| mm2c`^]r'tnCfd'sh %$ dө Ȝ\Bc6ۼn.w<+ƾ`ژ?Øs4{|7נOP@B dx;NCMhDq0H/ q Q]c|t*-8_&ӗbLJ8uh 27+|^{f Ikp>xqlvGρ/YOsfJX! TcT|`5}d% W1ȼ 1 Jordan_Normal_Form  ԇAX5PϜbB Tibi~m{No Kg=(}3k)[mU_?%7Ose8x>X \N\zI1R3ٿB&1hp7q7rTӠdg(pNpYS+xCb_^:?II>_1^-Xs. FR4r|ZF-bզ d)o9tQ.o2kqZ+\hI5G>Pd߆>ŕBr:/'`jXt|OU=6auVK{Ji]o2P,?f7bTtϑ.1eUw+ߣ`nMx1.(ۈNK%l= GWKuYm>r}C[a&vߦnʖ95+4Q:UEshfSmg?P]4P1q8('=9iL}1XF:,iH"!;ha=H@e}MIk$}" %dI:V?}Pz`ʍhk~0cXؚV>x#B}Fωf/@$oجk'sc#k er @5ښ:c]ElH0H?E̢vmkd ^% (ۡpC'D=% c*esG]rZ=1㎒MWԽ\*J$6oTEC=:b?%ru؀ZU`EHjm܃xSWӎED?5$G oy" 7pEȹ\e4<.rzCj [^r88v,2HO r6,Q(EؾZQ_ y c\Cc0@`M= RZ c/x,5VOb(JVRnkhg7 xeEm]ďVJyOx72>լ_ p |"ȳ泲AmW3ŅB`i>lRvx'86i P~לQff+4w!r EQ 6 d > wF~lN+9SަxGV {Ǔ47'Tu"˙cm6ŠhGBP~,!~4! ֐{kaisG}3Иcϸp~Xf**ڿ> a_sLWGH=xPIfx.!Vn* ը<'axΖ[rB=^Opht{RENr˶Ň*x^nJ-TWsmc bniwH.kGAd| k^sAuݑ{+ՕϾ,E5/ݫPrn'.|0? 2&fg7 TaRr >RMpfr87l>$ڑ2a) $WևbstF1 ,ۦMŃ1WPSl礛c=؎uޤ7eyFRԼ.`RD4? gή@s vj8~}l{{{1J!>':Վ`Gkn5gmޖ]m=׷)OO0J@0\$74fȺ.E=rD0EJS:;mSgQ?BaÍZuѸ snc{pkb@4FCc;;(zX@ps bT@DZ I`I@K5Nvοa=/<)Cq"g6lQK(ÓZXg$Ldʼno-6r\KX`_5~: ,oE5)?Xk CyQPRL v쨹.ҖPtFؾFXmCe-Mh]8[늬n}IY*؇cc._K9P=s$V^<:`Gz~P`X^zxA̳|PfWJP0Yw LdMOߛ b[SaGfP@u*a> 1+L j`wLҚ=$]8IkhG0":wԯKR:7=(߳mqa,#_Ql uPkGEDk`q*?lKU,kfNz7 -x#klf=Ptp܊F2)X#Y4.kZ f{ GB4}أJ.ŕ|N)jNJԝ#,&k>7,\}Mg$Ro3݅=HdK>k5WQ(ݑF*i;B:Zιcs*H`>1j= )'4q =PvM`zrM0Rс2v|/*Ĺ'Hn6ߺBk2 ĕR.GbaS84`$$=N:%0. WF{4vgtu;iw>ec[5O~*P &#RA`u(UoV^zO^x0"AJPoe&mř?5M^fENӕ,Z']ʔDFnR!"t+M&Ytb/$0 &R NOt}XdD"1q"0[+%}O1o_ Ϣ0hjËyZ Vcv"ҳȭT)Kpv,&P~F@UTQbVo̺㿁^uv]C;uxb|!{Ռ͸u o)ɦ1 5P۵9NK3!S,2fڦeWςr#Xo 0+QР*t=/u'>j=x&&"y̷nN"9%iLN?հG ,}{m?^ i-rZ,zb%m)&$+Ln]a戹4LO`MVh 0 نݚ{+֯ ܬAey3"rb+'pGwLu %@RZ;p;_` o$i<ȠפY&` "k1$P3jVsߍ5YȶR c$rv+N(LԚN^n79C$؞ ]1ˢgaTۡ:l_ci|08SD 9{if* ?זXI9r6Y9bٻ7E28%L؂-םrbטdƵ@r`"K=Oi;֠ɦQj?/۷pT\>.ģD- |=#ĎԨ5@z[kɿ) )B#[a2W}͐[6riOy\z\Gt. K3`DYwkk0O2qԄ H/5b"=YM$902nrG!v|nQ-%~:ԉAr&`z| oNh13l oCkOm~֬ۛ+5ẃ6Wf ҿMb2GbnD0CaFOHܸeL "k&$GlU)?N$=; D{4t8ڛhs*Ffcki=ek;46.υ̱w)0k/e% K֖MtiQ-BFy`=T_ͧ XH?|~ԏ$!(]""i?+)(:/Y7"MicRpNg|A{>!RX%ˇx>ldDE5m8sQEJ,p"^8)7hCXѠh2Wak>S"/;!NbqKDsY1 +Hg~msP-zs+y̆Vgϼm tk,T]@ZPmTzAD\*HDz4.v3;e!^Ǽd4Ψ7}|ǕVK7}̀ @%Zˎ̰ӐqGCAH$v: Td+=f ѩvA`Ewr+[`QZMJB \i1k+!H`HY1s4O}yZ>,X؋x⦲J.jF,"C†hc*ShGK+/>=BfRV?Wfctr0dŮ"=c`|ȝI Uκ!bEȹ.R)_f908YRm1JĤާY86gm -9 }U& %SVԫţ.MSZ&|TmIJ ht #7wdAFcd(9ZwY={l~K: $S֊GɭY0%\\+"㯀1R`ܐT O2K|MV6G3hSF}ۣG%,)<Qz䙩p! ]hOw$R[9IoR0 Xls$)`ɳobӹU xV @ DüGzUj]+| mzf^'1ngU-c_!"߹]77NSL珊7B%j@er0ecdƕl_kޜ&E݇5#}nE %.})UĠįN'O\a{Tmȣ/Y/;F i4m?ڃe,zy}c&n3νl5s_WOP ?Fn# |N ƪxw"7a$@t @pp6ȰLC&;SM/slz̞"M*//C+/^Ǻc.oG2,YhgM\okW8)#Q^WJ.w:B݊筨M&Epq (d|ˇ(uq"Ʌ@B46"|O7kD^&K@5 y7)`ړLa`ǩ:>? Q -N< ?nZdGd/~=aݡ['ۻrB Ȟ\ Тw!g5:0|(3u>C&A/$-pnP<LO{(ڔ+-C{^w!VTݣ$U˜_!=<é>"U9xƓ,\hVX8T CͻW;Z[w [J\?q>=) 0(>l,c}3SjzaG25Ø%Ɖ I0  4Ey oF -d[; )3It't[ ^=]+P&UrϟIOrŬ^Ց|i^CNLRVJe⭶v :.YWtJ|wE$e#zDP~ؘb15o`5MGP0o3wϫLU;0郣e{!$NZ C΁om<XzN!N/߬qC@?J0Z4_͖8lAo dlчFh4lr2oA~b {@TWn6p@W~b2شݪ0V0EUn5MT2qm}-Ӑ ~F0h`4tvY!{MV{o2nP0 \󊀐2ͷ;Y:gAԻzxG0n ( kQQ^"s{e4-`>ni+"$쳇*9-ǁ\~DKGêz5Y;Ufك}J5 I K}xvP:֡'jH$ENŃY_X+͔!kvٚ[bv le69Q(\IZX6XFG(w{ v8w$(rhC4Mvo Yk$қ˂"nZ@r_TĝTQt8gғ,<@7?"pohnw:ilEfyCWyllƅP~5fDA nZ9cǶruվ/d_j4&H4c^k h:<9 8xl%Wt1eTPFh:w!Q!s[1W$?xں] *&ϖ'(w #Z Zۋxt7XlwT}Y0{Tc?0K霝&\U+" %#4_ R[s%"`-JmZ+ bᰞ=eyhtXƼ!+w9*3n}F:@)Avkpu#W\'d!Rf(F;7N8؅1Bd9olKL,;-HپvK)̹k7""+b۟PcM,M"K&bc[I, K2}6SUg}*xY1)!o"q (}Z(?uμQ45oފQgaO2oڌ l6%"2_7EzMc\n>cE4,MlZ^%6uŜ7% & v^Qy.ft6kuIGɌx쿧ۆ'Lt| 1nb} =xB@>k$akXd}߂eivdNn xCT`}C TQKz'XN[FBH'T9:y<: tF<9WǷ _Lm/n.3k¼P}>:E)h݊@#SJ#BOVc DD;Ibp(qvRbo-q;s7:Iuu<>ƴeyT@ҵbrinΕkYxؾ+qZryĝ,e&Z\a, OMNYu}#;ʗB!yH LO}:ZBNAih_iWe48d׵tp.pUB:*sUpRtH~٧r0ZՖt ږk 6ȵ@"#Ӫ:4m@l=:JCRY<-: ,/ ds0d]|R9ܳ9$U#W_CHb\9*$I*v/)`.$ gI2T-'ޠh1tt(z".4 q&meyim',5+BZ,N w kA 3.h\vC0\0)tנy`+9NdbG)駏vYq>ȢTnVd?k nR{-+]=TgSx%0'/$+:YHl`)U aGB9績;@;^?I"k42Ot!o<_aCRrC Uc<"#:-ZKLk\ 81>i-dųk7D ̻! Dn1 % %_:$K! 󏇿o*۶p"D#Dm@k1lC0M0:7x/z*oWAh;)RQʢ03gO@O\Pc֠*ih upװyWK I8e,-^.޺au#j$u9VnʔS԰DKH_m/_~e=( AH%?'å#㦲.*8P&Uni]#Ϊ$v-Gݻ {bzUGgD~q|5td}! u1%A$Brqaӊ3eʤX@p?gȽ)^2ۛY5Jt``*g U@-]YU F;] f}Sglc$'K(XFp Ϳn{Ӷ^U txoBiܳa\'.h<2xnhT;wuy!=Uatbrw{J@]iH ҥrDZGR/Jgl?筡LGbv&CMwC6MVsKYVq:39!| 2TmwY4B"2,9mP/1,_אxS24J|48)On"s1${cT>#٠c5d6`1)n+h' i eF&ӸimQva' 㣤ƴDJn^Ϗ=:9>1&EN[p0#S9y#bT5rJdJ4p%QߍuJYP)~N!g G"#*J|MS%j؋67 XsŊ1i0 Wet= <$>&UL>͟oh׈;e8r JxrS= A]D_>TAc. 7_KxrHTj+V~iʚݖMzvvZw)iF%۾Ώp^m˖pr~·n\lpյ rRhwU:dsDYI`یƣ ~)ذS Y."$DJ0}'a 4z9*j\&liF_ϯPkcq.6'~8FO{W?L6^lz6l|GK xu,0,5u~8J$U ק2QKvBXşMmљz __ uޱ?*(I8o̔4gJƆ2 E Zt5ϲPRsC0#ZYY(3Qeg\Yo9D'A?MɭCĦ,ݪa]mi%[k/VIĢr?/?R\Uſt -GJ9yu4݄iM"]!g9(@ׄˎ=aGnvqrӤXCso6OP]s+Dp%ajI+^ kzYS|I?wuB qc2ْili*>$aT&ޑh uvp9^ o%ΈbtNP~ÕQ({у9q;-v73V (|- p @rVȯljеe ,oVz~V7nWUc=/_ĝv%fn0 m!J+u Y2_j L_Y#3ڍWVS"#+H^~ 6p[uT*v%OX s.Ԗp| kȰSɥJ&ߞg\ă,Gl^?ʮ[,%e'oR 0! jM;bEJë|m$DCDX4H ~Epi%=|N)>uKuTZh "Huqs!vgjkZR\+?nѺb0sii01u-NЁz6bu?&}43dϵݍr&٧o)Hq99A Mq3`ERB86==GQjzR>^҄逺S$PH7T4p6KVxI+"*|i~N^ui_-%:Uӣ(?[-FKC 4NUaYo0eaIqG];VՖ(?N 8洟_+G%djDUs=umqIJ~|IR* gəA8WIסtwT6 56u%)&YzyOk679ByrK ̲wHrlܝ }!ȶ'yѰ$1#|ĿV_x G4ʈc 8w&M{bQ ess1CZTc?VĔmLd"n ͔=6VG {Dюx~f|(`ܬ{Y`u91 (g A=LNj( [ǒqhS|Z=E,z**dƱͤ21bX4,$.}ke1i*qꦨYTf)tl:"C~|!n?:6zU1Gsc,_H> JSٝW1*/Z/4*,Ѕci-6߬S8di/ N) ")'_ڙD_=%kpvߐ@OI!ޖlˋ;/0ۢ \Ţ@_@`Oy4G(&Μpe2FڀYedR(*qtɗvHN%)vWvjw s,AmQ8AJ_P1'#H_eI!/p]{:x;B@O<[/>mqV*_kjtv"Yoms{j LZ!Đ"wc#QVi#vωԥ/OrNܧd3$ygU6d\v>[Y-Mtqϡȃ"3BeJ KkaqM!"҃?5xHɣR{_\& "v,U풧9E ~ti``5qpvAoħP^P;o"W$H ۦg=[i^-F WRJB'VS'*x7\q*d/m N͐dyCX%qLσ^9WLUQWs qښv r,iBn|^rcLcyf dSnjw,u*ָñ## oJ%?Otҋ_VXgӞФ"1Lܤ5͗?p]l$ŀXVnzb,$vr r K2%A8 :РXF*L*&s 0ҭ:p\A3S#;_=] 2%z+)n <7ڳJןw%F&𳞓l[ruL63;Rn2{bIvSP8 gUYf7PJݚ!A<$`xfzF{IRu[G!zq@V=Ų}vIt!"TeijވI{Q_Ym527 s韵FEh7ZHn˕ 9 +;a5_">:`f"6GZTv*3oG' rFѨbHMsmu&ٶat|uM)]uG> 6N^xPX0T4XBfv.>fU"LsO\+O4%e&6F33;.*&FS櫁]BUOh?P .=ux2@""H-Q6y&d!ϨxCպ5Ndʽ%rS{8oC YQqb0QuC|bM<%m]¥۴&!D,Zfr5 IR(оAC<ЇO=}rU^g7d7_5t/QV<^E ;*'-gȿxm1b%4c98,<;b;uOU9>w'Q%=">2S'e0Ń["㘚Y*ΰʿ51j3hYUbRIE9h1WSPg7pUL r*C⒢(H_&ÒĄV{&~2UY C=7~gx+g] ts,aV32Q6@-{Lm'~cK hArpnZcWD_~vLaѳ>EuVDc~@SW305MdJaR$6lI)|_Azcs$m6|1#eX_nZ<3,(eT^y_pUx(zI<)VkMu׋ tR(sAG=S_KШimTbjd!=pJ0,^I^LjBih2mA;%&Z[܂dڊD!`MBx+$O249׍p0$*w;~Š/W{4zO>V_´S 6%TߖEu.XUGY]PlмQ%( ˢA0r*fE?KA q"F~`5mcDĦɿm_5V=焵H9O{4>z$ӊD*xRuW_Y=nٜ_wWd #(w N{tNxQBM8ROjKOd'8tPkz7}G̓J 4*dO , Lt1OhYA\b"S\ZR8/'"`aNpiK4pK*P Iޏ}BJSa~l(ȵb˦0gTZ{4YEj"3) CM{xfq%_\opX)蹶q -Ȯ)CV9V30xJtW5J̜# 1DqIrCޜf4.u䊯ev&:^G7;tCR? 95o=5Tv2oGmםP,H{J }'%Mz5GwItWU$ۈkńf+IP(u?+NR֝Ahh86bA2˷f'(տsi2Z{ReM ftDW236{GmA5?usOj%484.L1 {琌bsVņ }a=28 nQ<ٌ=>_ Sgn+qz]5FEqd#pPDoari 2ьRL]?q؝;t[֝w9LE\ ]-B@"]8(bkon69QƖP0an$PkTJz4Ԓ(=  ĝOUL}uWRt>" fd2 dhoْ$iV3I@Հ1fd$A&N}C5r*/U6ɨ=', {7#3!u14y]ۨrɿ ݅Ҷ":!3͌%/K7GzO1wNŃı}[c?㭤ȤÞD)m3Ek5aN6pf+#ƅ֎~I^7ٵGq; JaZVVc/ D4gǦwҶA C3F *TH#WoV{FQy(j#I$6]]'o+ 2fӥP* Dx+ZN_'X`YL}JI?L㇏_㱬7i.dȥmE:H%}sV"/&fY?%nQP b [H;X՛ =`9?6K94o"'k j&qc?V_>'u/];!Hi#cS,3i(j-W%vd#L,#qɫlEҳ 4TI*!BUj~;xGZaq)VmAV|8/akzkD<)\+ςņlNC\0k(b~6gȢ2k4l; }XK]t>ZU6~7~ \qʕM6XzfumPMڬv-ߙ_iT2Qwd,D('e _b=VɅ>fY`Ac giH0 k躷s! k)eF,A)noa .eC]S\ؚ(&ÁGW^2.,((6"WWJs?doBuƘ܃dy܈AK%`;⧕9>cVvwv!5C`;4 ;2DJ^7f{tU3E<a0/|gBjfr7o@֚aC5k&돜{edNpO?V|X&1hBdx HZ:qknO^F"PZ댷u4:Ya+|!8|~;>gu\1]d۴sҁ8^}"bWYhV# E#_H:XUe)!nҋa}#B]Grn>|%ʸ0qcrD71CYẠͷ!ʡ{~uR%%ig; :A vm@|5Mvz籖] qvuO3bjl9<7Q3z $r˒J-[Ɩ:9iqd.}ˡLȴ^/zb`A 4%nBM_Pf}%Sr Xd<1.:RiV3UvψNa+c\G"|7b(<}&a?"@iӓ4; -dX/D-āw[#[dBj &pJ0_orh 1h0v, .D ۓ+WzM@ז?{[#yc4%53+P0`ۛG ĽyMo'Fy@[bedËupY$^L#xn-zNDaz)l" WkI_ Qcb@~U7.RSdhDZ7>F`Pp:Pd,M_VڡQe(5d dq]_rw{;_,sTGf}I+O_ U82Dwp6-b3 $#fU#ͳ!`E҅;IHN_W}XRƀpssFOsdu{:2ov4/LK$7RS;.%ﶈv.X00 (TKWWI14ǁAq'H24mޒ wrG!wZ7ԑ0F~%yz-}}[+I.^-î\5; _S09vexC (-z15m=!{lGX0x.;Uۚ%Lp G~eB6쓬ԥISNAhL' 9\tL_|OEk`=wX . +krBl>y@_˂_Nk%ElWl D•I5~U1߉P">HszyUofH7ZIa{=[Lby4Fˍ.HRLW@Bg @|(=$_1-)ܷpl]P|]%3&0Z?U4|8C@Dm65vgk+1X0[kvGwrc-Ӆ0=>qVOHlnBL {T,{2%WPKC* *{TlF*5Z]V,6+4MLdԵC`hY#0±z?dFARb /hȮWE,.F"T #$5XԂOP8ZAiC:WƞAjX~({ύƛ60+_K'2qL TjVO|H1.D9[?(wJl寘 1cn Erkt#v{v}YǶa"=^hQ /G6lG=Ը.\*2+szh-~zїXdv'[jܷ Q?%q3|0jِbNO< +%WX5,'9N~ނN>])%|GtJ_۶QFƖϣ$~3{yaol>v`MTJvA34.ˡN{c=M ZGoh#xwAnQhWVĬRdgCÔU놔C/r6AcqPk"v@Ip+|_cZ4h\g=3ɭw/*aLjYj4pᷓY1;0C T/w+杳㎚QV<'Wx Zd˓z ˯ ˹p­e>Δm?BI6vZ7g~iEk1뷫wm`wβu { Lx ]֛Z ]W^՗wb!p~z(> l2iڿ59[Y<}+o76aˊS h¡zfX꽁jYٛETD'&@*@})]Q3.C%ѥ^̾JtUBE<u XtR2"o0\# Vz3kK~L2_2U$45a z73RxZcXԕC}-]_2 pk]|\is&ZC^xhY"'ܡ/42R0?z[ﬧ!¦/Btn-G!'D!h?l]:*]@]vI` S"Kr?)k=u''5?MTn?z t"@`mYQNsU -, CkwM{'LPG+s/U5 ܽ) -v.UCVVNN;b|3ܗ6H`xƓFlo*M,9HS*,#39ゆq(N9]E90!rH4heZAJ7%oMCU_Gɱ9oܸҡ578w!^oMƟm ƥU V|{?9Ռ?F4CA:kmTsN+ >.;IJ ¸( '#x#X2|wuxSIkR:Yc=8 s74{v~ @ z4>ɘDtz1I@4.^0msOjk" hbJSI|xZtZ @BKS9:Qb(TyЧ5}Z,$z (%-%J~]Eʚc4i[6m$X'C=77 B y64š`@D~Z1].4ОМ esΓ\*d۞vƼOpJt՛nCI:6jbKn (C%)Q'd3q's1 "ŊLg$i"0Ox?.Ѝ/Y-2Axy?PT̍>6%,uNHGc ɞ36ۦϻ܄oΠlVTj5F~&L՛ V>i-C0(B }u%^h-BQ1v\.!1zZ]MeCOAF>(X:IE`fR#Ι7!]JjR}Խ4!!iy#1 b$2ד}|כJM[S:K"HlzITDf}F=Ek4*8*e;FOuH9HԎc6|zd !ԬzD#hg؛l"c:1t*>G &Ǵ^wʐ.Yy`|0{:gzJ˱,1Z!8z;l, S"q[XsٛJ܋Y+º?9g51zwc0hvUX+'GA gX@& 4|[uWh(D >zHVHN5/55PjIlM5|;@I_ u a ?|v У~nm|kYǘPΐPIVrt"&`Čx|TmV(Ax%9E5@X{$Wx t?A{F((( fiyCk0. w7N`/ѨcEMr@AmC@J=w3 OoW狶*"q3O>Z0- f^N'NCOƀ 04טkHm)]d^QD:2% UƃB~[0TgE:u!ӭOcfV uPS{x]pw8|M!\_K=Q02^R\;)Ӄ XTe(m]TK#@匦>/z`Njc.4b _%oeyeƇ]k}%=c* ABjiÑ(VL d j՛VoɎwtE=x Hior嘞;i%?m4]q8ldEvMQ̓Kࢴ\}Hݺ/ ]dZ uy<8b E3L9u[{!e ߇ewp HX QXu9հjQ?I)!sd.kU2j\yG,tcn_߈q6S2ן}nui<ˆa& -M'&]I /nŊ̯ B}2_C 1uf~|<Ȁ:MoZswOu).y'GˇBVLs8[y|7 4S.TU)>^9k ݐjPnG/W$ɚ/}ƿ-JdnIndefSZr9h<L37&oPxa|ٳfuBu=fZb^F r(?'6B:e.X8]hXyZ#|g"?w]8PKao;CHжG#6*R`՝ K9sfdru/ J!lIT"/e{xϫ|H.EFmP[ /]~-'{<>r5I8Ee0F #<09$n#}3dL|QDsf3/RU|Y Mߧ60fej%Ix& *6U~$E(8bye}"Sԩ蝰>-_aeMjH;W pȠ |̓H3 Y%MCp/NgQK+>- Y $K1 ŀ$RHv{a#~2[AH˔;]=f\V3SY[(u$5,2PX*>H'!eyMMf@xhM1f'؋>BuLy`vQ}}=ZkҮ{ WcqPg&D+Qj [. a`q%XbD;Mq 5Q@u1`* Б̻= kOܺ~QUޢ+jG,>$h"e(6l*qdjOыjn[@߮;u mKvGo]y i!7^q$V9{^Q;滺Գ_VIcm!7"8vܡ[]4cx1kmz{Gz,^l}qVg(}J'2`׬3sig5}RQE#$szR=s"in;26^[f{K(SKܕOfC`\p•H-\dk< <^;d9k#`?EQ`܆ k~K2#׃9T 2#Ҹ{J;Ϟ&Y|,"9M.63aRU5DjwcJ:(e-L"T5J$Ho_pbVQGJgY@(;z5+G>H9qW[fqqb9-ݴ mf vssލڝɚ6_Q%aH*thpŌ[9Rh35&$m` @a)WqExI29A'cf0a'vc8w6XfO\,"Gv;erW>c JNOŵ‘^SQb5~'[`k\EpW"`m?r 5T^Sx DƈdPnO*C$4RD{ʯ^uЈlͿ*RT6ڮ"M]2㐩h DiO^-Xi{BҵV#Ikq m-d) xDvi`Ǡƙ/g4wP; XebDAK$ "n(X{yS[1qzCm_fU/,1K]ˢ_;fKs#n! PH j ]c53#E2~g:ȏ|@SrNsjT'^)wHu8s`9{b73Q[M@(qKCݳ7J i :BOuZ ]cⲜf9Q\! yϡ%8H͆G JwQ,GPp·O[G,tbyEBQ!ClZ/y`ct4pu\_fT< r?EW\J`)TyC Oqm'0jsH5 vt1N,xNP.rH(n;TZ/w83A@E-|*Ӹq\/8=w\ʭƙi+bZ}jl=w`ןE{bxMʬpްw^r0td%*WsJ񝨮F9.| t>n[@A^CJ.+f[ery{0}WHN)hgC_J*Hakk}yXUA}ZZk <60ΞbFVWZ]se0Ϩ^su/,d>1pL 't+>O{5\6'T[DΒS{aKUC$|odssB$}0A' .|=x3mMm1 tl}GbϬV?cwl: `i ;@99k~_v`6 ;ٜqHyy8t)aSJzαZ%qYGpX\4]|it#$,SڃsI,1c<6BsA!U7Gz:ۘⱧCRpC Yg{ BEE Sz50"" ,c/n&ӕljjh%jt^D8' 6NF9*JO/vHi}~lwQıv * k}eUu=' i DXɧA$~SFK5ڐw /?ڂ6DE \! }~qlUVNOI -y`!!tyuGfch9;6aZ`a^ tO~]'sIl0EK-}BG 5>th!%B2Cִwr~?݊j?*K x[BM:޿4uĂb,4G0n4 ejp4W^C\)ͷ)k̏?/ʕsӅh^N?$ &'3޷ s{ඹL!QGi`єQa=9u/<Iއ9*9vwSKxͻ,iaNvgw3hCʌiTUh}o6CZgQO-MO3*(i֣[%ov.VJQy=o_1H̿ :~g!ȱ`jI?YlLiDR jLY ſĿgTmf_!7sF0/R &QiK*V.YyVΉͩLլC[_aǗW;k4:Eq͐Z`P?/S^aIir|U 0՘|f?RWȩU0,v\z/ `e59ICY͛Ka3d1m8] *ŵM4P싕,?%u臏@P+Kpϕ zpOs۾i@cI}b)9_ NKVR;YM_,ڤ xNH4eԻO+ P7\UșMq-"wS5<'ynF9@in8!luݶf[ӡvxHvy7챤(#)=LaZy;?"~睶tq:퀓!'ݾ&d{mM.iA*eJe=Y7ɛ.3^iX!h'Kq{͂nS~̹yq.K߆loGna'83  g8b%aK\ښbt;&„# Pf ?D;T/k-L?"Xlh,]a=lcIf$|5Fdҕ'Ma!a[gYZ06868e438165036ff544c0906d03d93a090ea38587d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 5cd5e5862c7bf9500dffe2baa45af19637eaf110 9eb98cabd261987872a337a72e13ea3f0bc2900f 6b45435a4a9028e161e5771441af571344cc1f87 4e0d1d65a8fc130e3fa97f29010e1455aeb3cbba4e9a5761614cc7a2570fa23a383e30464b744f12