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 T-\t$ ]I Perron_Frobenius:threads=4elapsed=262.727cpu=879.884gc=33.008factor=3.357zXZִF! +]ŗXf1-q恈'+]&e}0mz_oԏ 0 I4܆FXMD$/F.<& ;+ zoij@Kǿ*)ed>B??P<"nvK ɏ+e/-3?vDO,vk!(?$|2Ҁ+C?;ơ9_5=zPnLJ[dПS"n$V=IGhiۍ1=zov0@dA(Wz&g4iH"fb]>wtTXJi܊R=i9 ^NSmfGtR䪸dCYF Fx}IUЩ_Ppr9u2SNɿ ަ1 O0.jY7f?ߣ3^6*TJ"'P\Z7VPKv} ֐iɉ{seVFCЈ[G Y}iPL*dUT%#Cta"G$)uu~*]F( wzƱ* ^s%{T$U\gs f@ȫ{o]<iOS X;?K`9Oe}Pw4LH7yT׳M)FIL\ 5-> )mm݇+͞k X|CfoLST9R-+;eC0AQ?@`~oc ?d8'*c# 쵆4F 6w}5,jQdhG؀Γ1ZKы.iDAp,m7'1{6j{^]L8 )\Lk\%lU ϥ-ec-DWrW8$Gb2` ="Ǹ$cU["uP?>mK{=/9f~LI}(fD :1ǔ"Zά|'r)HLtOʅϐXd&fڳx*G(:& -Pw5^ܴ #n%| nRbHpeK?+ݰl{`m!&YY|d&\.*WzcHF%%Zn؛&5w^sQ1 J9i % IV.>| L27HHɍ,Z\/3;+e]ޣ$&5yc| ˸S*2-]!ܞI 9v2_j_{󯿗G\ gWHM-dd 2[k'g{D.>5/p#Fn9)hO,$,M#vƑ2_nG?F{oUAXAjGa˵p2^tz63 0>AZfv.'T>zXxDZp*KP?o/$29#V% AN̫~jgB*z*I=A șqboĂ<\F xo(,CGjsee1i`R$ZȦib6k* cA\=4ȶSJsE\lhjАG} 0Dl !#uK pn߿;@s Vz b0 SZd8DVj$BaPay2X@u6V4Yv bw̩jMeG{(t$sNI*5+qnNh+fDExCNĩ!pY]x%W%fX6>oo_֬2 Bȋ*UkZVf{t8we?^!-oE YGx`|7l 6Ş-B BM`[1{w "h3؀͢O|'uUK$MQF8@1_x{Tުq 5ZSA2$sv(czMG<ܼBVsJx }eK+ X9(B;8ddEp<50+n`2RVZj.Pt̢$SaTt,LbGzy%쥥hP&D~ׄs3a#ůmcs_a@'mn:{@cNЯ(`@w~T( !pFr Um̟~cNMg*yPK>{ +:I7;DOF +5y,~"K l8Od^|$шgTdދ2_>cu1 oi4^LdGb#d]x X~Dnuk6G@͆jIW=blI-ы;1,q Bj'ZhUF[/m[,˜Q8j0PE }ruVtckv{-618UR`UѦؖPO] l`h֜H.frϡN$qWCsxݼ*ؽ,糘ό)kz2H5ʖNt!eF& <'e{;=cŢ-E|9DHcJK6|;R;Olo:j!@9Lg9nU]-q}p_ؼs0SGU$6 d2+ p՚}@]) qiuHQ47ĻyJsL) Mo)>jJմU&`-sEXbOv3=[ !lR3EmMt h `0Fdcp;iBGBUd;a0 u%.XB>{i#< - Perron_Frobenius  CQ ۼ;J *H?93)>8 "'{4*/g2˛ gqLp/K ΠfhBi 9SyѰhh&23ĎWF}x$AUֺ14Y+x1>70_Ň]\o 6fٯhG_ Woލ',^©fc8-F pxaM䚻`N9492 D߂)_L!0+ [N[9Y&DO=~kbCnuu y<S,zk vɆ8 51zC0"VrzxbY@ 2dr;y~)QapǞF0/%jJ|)_m68em"}vQjBYc'`[CÑZ_3Sd XkP$w\/.t(j k aVӰ0&dTMk_&]*#&2TOMY,+bzN.%sWwa%IY9G =av+,@Yvz6D.)pH:`s*!SL\hqO^r$zᘐ iSHLziy7rmoɻ۟{'^8`6-^?&CBn[=o \zX>CPAɟ(Eu}{ ?++a^]ӧ]Bػ^sc7*XDIiI!=!lP|YR{Pb,݄GUUјgS{.~eg)oeDiԹꣅyxfZ–~&'H\//,@wFgfj* “P !Xc/Qoy"T]40aw]_phYrVg?KiMQ%Y/×ۣo4Z/N+ݠ_H \L;iX/G-J +q |>xWs/?v2%lȞb!_WLoiId1 (i=4 \Cv5Ds 6U,f|*L..U+LNruzZkȨ=HimY@&mJ&1T˿"ޒJB&2gu do^N_OZV@_9)vE`>9s5APXǏXI.kgLeA~h2kbZ(C-#xG:V>t! x0gx)J-?-w IW4D8esّaūCN7˯jCBoc1 }V3\so8e;yrus=ym%' $DmN hd$xg5qM *c yg r0&H謼&8v x.{MN$[FǰJ|_?Q U|%ȗLD!rTJIVcxb^Rh=51_"Hd!C]$[eǼ K0)!/g$G4 첶 LKd oV <;&^è4]*V>tOEF *S'"wdU(POlr'G!lK#bc:ûL׷n!BRE!cL *n*=ŇCn n?A`T:~FZM :UTۨۯo*e? Sb<dvDy;S<\:&<\Lz1{4ܹO>]1\8>SR*R > <)=@2_E9P5 l kѐJ'4lGA#_~ 83H)7c2B7<1ɲK h*jm-(Uzqi vq mo^҃8x,+ҿWhwu,L߻3a{zSecB 2t5Ga 1J) ,yYnc5+V!p-7H *8tUkD1->iPG<:hz_iG/"%빲 )b:R̨g .t&r!ĝW?lBC; p+hքѴ8鳯;]C^SsKVo'ћS Ɓw㑝b[s j1{x'겂R 7Di:BRw9vKnA@f&_ eO,#|G4x!Y@k;OeDsG Ǧrzp\iozbkQO;7BjNџΏf]R2zK'RmF@0>Xn^"OHSݒOjԣu+qJM'ΟPj?;e%T V}]YPsy:2M SXλ j9VllB` sEfXAѶLO[7`f". zSx)bdYӖ+)~$G4[on*y8Nl~WCU|&^ӯ!+8>:cK\,+N n)0?da*C9uz%,ݔ 5nh|s8 t5COEɲD1Gͣ?C73O1r^̟@<:?MK0!%}!:o1NN[K1ay0i}.-]ոFu^K4rD-4 M9 ٌ!lE4@Q1Ō'fطְmOʹH!M9+ ZYy8j}Yg_›͙W%,yHss()KC+G*2HB/a-bt}jr88t)@т{oGلY"dClg@b"yJ`IF3+h5+ӈ }v޾O&<ǣn )s6̩Qkǿt"iK1<럩 x%O@bLߝXvk1gdQëEe$8ìA1lg~ʢMpNű3kz"`J"e!E9U7K[æig4Olhɯࣳ&Pw9 q Re]^ۚ؜'d;ۑ/>x7 ӻ4`"{̐}DP\)&qjWGqΊKH6 tjEE]4#̙Iݛ?Kɵݝ^W)./ʂ?pmո?'p :x)oc`q)b⟺σkl)JK/ENjC )@<š*1D, VLf~@hmPoSYVD+1@4 3j-VzW J kMX:Qdj3ub[uI|d餯~Qx?GŁ*MmCq 7Xٹ*0Z ~"RPADZ~l n_Pr{rÜ]7i6nqdZ,ۤ S$j* p w<Џ 2r-mS1 6\^)8CyȚg}ZO1v9g*Jv:.j7EF1lRL-Bн }M:\/gq*"xn6g0R R& aoetcF1cU8>Rq_`pt)pMpE!Чؖt)zB|,T_Ǐ=%M+E;KO\Om^%EvT}(8n:('/L-Ka5d&!vv>J6%Y);¦CEzA}8y-͵9J{etћ1u:%Ðx0{__ ֧H/+Na)%J&ÖHH)S++twb:k҆XaKXd~鄂r¸"w+E[){2ƹex_>P]0GohCti!?eH;B9^G<8z)*KPye/X,*d?[޵< 7}n+@;¹)2m{'VX}c̽d<ڣhVl]ُQOʬ.jLY\'f v,-KyZ*lr?`NzNy*LvTIu -mo_Yi’/WH؇'NhjX]\"  ]okm7_I1-icC"- hUV"99Kzl<4_QۧU~  [2_opUzB , 0^eqr;w=e%Ւֿ%s5vA ]GZ[V|J[KYF~ ^QQuVN%e ^uk iTV;LPf.!B}|qitR~+"Ϊm֚TsVW~o#`!Sכw`$Ԝxs/gjUQ9X/ρgYZ7zXZִF! rt]ŗXiɟ1 xupk^ EAo0"Ċ# hW6|cX1Bsا`ɪ6 ##” -6f%-6?> ӤUc=B$|&>RdM~f=o )'M6V 1[@ڤ QO-2T lvԗEgVP;@ +kAarɪ޲؞ ijZ1'K]Z0/Nzʬ[bq4lW6쏔S_tJn ŇYC];dXeB\b2Y}z  rGvIWcδcbRK_orQSy?{׀dehGE3ŶuO&:B$a8dP2}lBt_7++܅49`qHuQbd±0mņ2Cpߒ'|4N9R= 8C?5F;7>H"D.vBR%RF/2k}2HcжsL6OR+>'@v,Gwd O2X9|ȃq&] f" TRڴ Dm:RE (9ءu'9mƫv>F4~$ؙUʁI\';Ȍ/~tu, MSB?$Yw{%$2IZhCќ9K':2"+8hMha<ƾ['Xj7L}N5ぉX,3R"4Cdɺfיȗ96}pQĶ?`ПNc~IP9%V+{K 3!r{TAvGLb&f8~zr%!,w =|X%yv ,ń_.N[OU *gYZ7zXZִF! ·Y]ŗXi%Eb⬛`_X&"(;Z.EEEHy 7ܞzKbG5l̒;75-h6z>?z} Q@6糉AFu&,E.v9b|片 u c$gW@E.bl0~=Bkp m`J{^;nCMvt]S4^EX@|2m>}u5ݥaZTC5 ' D$K#`/| Z`vKSceDӓ_@m@E%,񼃏zm!!j &fF*B~EN̨Sn_86-x|4P{4(ADKK XtLr^:=|͖>a l`\/Si*W" `RЬxXYzaZżjqJ.kax$+*`n%WqNڄMsSSА ꒣20]Lv]bչAJܔ߃Yu5': qvZrP -3(pu2(L4MH TD%Uah# Tt7xBsv: *sTq[EFeEKSㅰVκ5w(SJ1[ABbwLh?£{ٗyBkJBԤk~'Қ`xks R#VPxPEW4kf2n 6s˼F:!'5#FUq'_g7˓'\/?AC`fa%_-B2p~יw7,qjRP'SH 1{=dYPiTw*xI3_"'nv[ z ,5(/ȶ:cyx Q60D h':џ S Yخ%ۦ->펽1 153'/06܉&+e-HEFw' me?2o}r]D Dwx{EܝSY W*Uj,*qހ%YgʼnB[6!a<sˮ~'rE/,4h'6=Α j+`rԍjfBy'rv}r̯N3GPbzTo/mp[NU""˩qcD!qHuQw_mcolL]p {:#%̃eϓ aS2pg˂9Us mIʿpgsĵuԫk*y*j[VN!t-9s/ >-lږL? EkItbtް=  ‹ڄ4~Bu0-| idxZ* y8ZU,DPLn#Ù OʤꢦUTNЄy/" LM}=?璧pC RODW '"7V<ïVb=L3.7h<ۂp:tMslUÿy'bmcrY 6pI/᳤74置; Pj9z1d{[c=HE mzW4:^\=P -+V֟jɅ7qLB?ޥI 1nxz)ڜ$ZE7`m@LK؈"Ξ 14/PJ- oUR,Y'ƹ瑚8 dlhz4ИXd;bPqzjf+ Vb*:e ps V0jkxXY~*I:@fb4B,: Ut3ɚS=YjtRa- cy|Qjkߧ!"TYCLrՊn51}M2ݼ0+zO[G|%J t lm~u.^+dC=rJ/ x9v+b?A+F9t U:Y/ӹrԣqC(JvasY}XXf{-e]#€Wb uvX lQ#B/Lj3HRYvHE2T?IUJ' f`ʱ(û )Rf&21jbF!Zu,n3yL]QW7HL$7lP(~KžB"b56Ctuf7vAEJiG]"չ%"+ s_ZĢ8Á;lj1'5o$AÍ J{]ugkCDڷk#p1[l>}QDP¤9&0BE71&0Ϯ΁V"YQEAo'Hxjx,-:I5@3 JAK04R :0* *~Lcu&=4cPF%! k,|>}kI7%a/G=" !)W3X_ =?az/!~Pk T p~טF/!,1IĻUˬ ^|Y7X7B'/O6S |V.6fvU$pgtl|Tб5[@,!r(@YܲxPN2 `9))s \w@pd*MSOv-6s6 $:,Jg k^e5̊YH3{&#*'/'*msQl\Od_^m <'NP_8Mur$ 5򷙵dbP5=&CCkxtr% ;iޮeWۄxPW;B"!=#ФHSgHl OKTz&=%2.NRx9lK$%nVㅘa^v 2_B(#Pݰ^mpqh-cNߢU14%[!C]X\x3Fq͋+8NsFݗZ6Ae=KQ}W#SD9n>B4a,uv&1Z3kPfտ㛬* GЀPApx+"62zשN 󙦑܉ƉC LXzYNyQΨ?&M+d]/+WRX\vuq}g5hEX"Wt?WlJk&M`7Qp)3a4nϿyZ0_e>@A#_ƿ(e:3UNo2bנ8E&롵8Ǵ 2|} CڃkisN_%{/ 2Sޑ))B8ސ'4Zrs$Mɰ֋C5]r &#~ZI'v({nƪG` O8Zb\i(Mq'p 4"hyzy$γ oCKgڣ$)-iPz>~C1B8,=s:.RV t,y6;B3SlNbWpWN~iyZGM #r++\Z$K)?yS3ϴAc-~od` :$b'm 3"'qO1,`0LX*òds5r˒{q os U0x*ޕDzI>i_ᙈC$]0R oTQ}wۉ= JUÐb )?齇dWeWIwWЮUvG̀Fp|J7_§}* tǨ.I7SujŎ :'H]'?<%__/udv@1#mXow.i'$HT Ia]zFCuQe), \SWKaSp ԗ|@\xװ{*ND UV' 9Q+ѐԔocq ~](0zBT&NKIK/fź?I$u,k#KV\a:.q#]o/;JHA9(4h"F C`.:iNTώkʘx45z,Jwx3 7~O9wd3|\Q=pH#h,? J؎ l6BvX]GQy'd@9(/uko\DYjK珣KzOa~J"w7?E,^x' jัG>~"Xm#۹6lt&39 ܗz¦6$)b Q^9m/2'~G.@wB=]ᓗgGps 0kC5Rs<}e)8(KYI!@miF ͩݵTּh^o1DFImg\MzyR$Nr# )tpG-I5h%Cu%o>6Rڌ1 j)acVo(J;ٵI3 uYp!)ҁ\_eput R1jt: Ͽ?N,;ߊv`,#0IQnT[mam\fu,te 9mY;@90niSc_hMܢMw-a&TsзW[v^6C%/ǻY 21LY.Ua@C{:ϗ,5ܞsʽ < Krv'創0;iXSJ9E`(GRp7nF `e(xd7:iLP0 Afbm͆&p9p HQqq6R1E 5<4a=X)SkQD!=7<O] S`^TBx K'/wi"% :k;*CM[)X#ҕ{ Fp#p.⍌oЃˬ"rҫ2%ȕO_0, 1l&Nبd9BscM8=psZ4*{wt!W! TPRZ'F31D%֝%fiJ !:u;v-?ž4Wer Xs)%_gg {s6~!Q,;W^ 4 tQ:ͶqrW3̒+Ӵb 1Zz[IYBysmҰ+t5Fh&]r'![ *ErE~q(Ə}"k%iT+PӼ% PQݼ+O->4_fQ8/¡xv?)鈠ŎUEhВa%md*h_}\_>-S6<#9ŵJ=֨]q 9*ۘ"]ZGT\"gfuǣmdS{3c4'2/Zl7.p`f1EN6Gv}ܤ.)SͦoRcwL-˱Nf,Eb%=Y2:U,Ud;(<UȂ8DjZ ;!tW_h|Li ǢTi 8@EYg#cf~ub%WԬm,"]Je}B7|J9DYc4pb:IQ97'Zr*ifƆxk¯rz-4@wߕ$8:A^Kŧ{ v͞%*m13y~^qE&ɍvz{Ű fn'Hujl/Ui@E9S9OH=uh`єDU9͍gL j1<ӅkУYs<,j 7ƫ5G!Xvo/<7+|\ߺ|Bv/G ; c(/} jQF⊧ G&Q-s8娕ZU%/!F%bM^" b0=A0xs f̖nu*̩]"5~y:% N5ydz/e ҽ:gٷY-Y@RAZۄ.$׻xnv_^1p1L[iPw4DN#{9?xÀWt{< aJퟑj:[g 0)釽hE[HVTXUaZaCl)U |K;vv6W9M~rb aJ58d 1DzY{/Rq;Yg},.>21e829ڕ×Nty59y+םfs_I0X(ZR,d,l?ۣT/˚St^oĜǶ<hq0R6ܼgRt3Z]̀/>Apa(,nP WI|p ti`*߮ŏ1^E;Y;g2k1 i:5{#ƖAl3SXqtFÄX-cF5@ WNϥ 4~'7"&)G U1,[YL訿e67z`VTWsy^CCzzeB}xr+=4ԛwc?R8LOZB_ξ}t_(V,YER|9jnნ6@5>Ii=ꬹ<]b0hUJBŶ[i7P^ğe >T8efh@և=࣏|=H3oVEӶKצuj< T~t³&x3MJqhH'ͿXy(&LH 6X;)3 -HhV*XHdCȌ8B]-:f''=8QFcbCz&EG[pkgw(lwgnH! :: >ƿ)YwTulš vί~UXmXؓ9*@V e}.0 MiwQDŽn]:Ak ۷6iN|{")aL@Y!dK uo &iC߉oDX6%?Hd (F)E!+|.JW]LTBwB8{g=i<}"U`8ŜM;mx:]^֛#)6I9>RE?R.Emeq8Jt f4B܆,"DױlmQvY'Hm#?|1'X>>Q3nh}KpNY‘g>\iB4x@UBߏZ*&(}z+aE.M v1!Gѣ?τJx䭟M0g';sheQn{:K4FjP%c?Iv l\GIKw{"Ne6zM'Y0EiS:w(ʼnG;|Jd؍}m&Şb6͔tNr-4Von*2)ԽEԙʾX 8!6 ~w=坉jHweS|l„3+^0C|0W)-R d |vWGc%7؂su8K95C hA_h|(61 &*Ihj_ r$7yXP-ojTS{4%75RA"zGtۃw)[m-+Exp:9?Wp'rm.(xF5~$CMۥ?T0L+qDTBt~u9j>ʮo(ٕ56 bkEG"ig,Gd mN}Y^?k ]{N虌R[ a5ukfN"fcb2;fD+LH(7#)"Jzku-uK,J3C WL_EQuTA.,PMxV`.~Oɘyv\\\#1'M#%m;-<ݱֲf>,}pł2g[ IpJSzim@%!co~|gc)ktFޙdO,,T(,rN{\(obn4}o; 킉JJs&YFK_ਝC MfqVˢy ]Z0F .>vARʓte pc.vt=\ +zn]_̾ma )Us+]L9='&G3VLȑ$U$>5WslQCC{ѓbŬ’!]RX-?56Z m7^ҕnEǽ)V[&jQݍr >9Ȑ4{3L e_$B˚={#YUqI"o\]I養QZ~R 9ۆ} =)jmmRvJ(Bl~v2EZ^ӔuK2f`rsK&7 "+إDgƲѶhYb,*m֌.`wo~D1CNJ].3ٚ=Ql ֋`jR?0!Pn`w. ;O28XL9δyۚq`~R*]" D 8Gn)n^,7Vv$A@ @7x-S7v^VW=mڭmJ7y(X6@aiV*2۫T9}s 2xyj ;Ĉ7k.x !Dx w٨uV^ @F~-R#-wAO0݌VP^42z1vtC N\/Q !)D$h@Q I:=aDZ >E H꘭g4]x4a$^&^BHЋ ;huNJ8_||;"`l+*Ez0q=&)USVwI9`S7W}66*]ͥI9ѢDZs,ۢ7($A"2D8D$|(e^IRkUʚ󯋵9V_D=>g'3zk`]d/4F&-7Qt܂P:pxem؆KjĶ1EהoN\=~4.Ԝ<8M!tO,Rh{^*WlEV #?$2YQ97{4.ro:#YwJ1im-_Kj$4C#e՝4GǼwsuߪ}$[ !>>R,:OWFLWgh~S1ΙD!_GhT~~p(ʐ<K@A`WZ(uӀ T!ql*K}돃4b_4y))%& F<m!@ՋQtU}Ri"Cb=U_$M?0 HK/aylz<&PztiWNן $ı&9dp80-RlP1`d,&2zh }}psHbe;_ 6mUfNh(+&uT;jAI)l`$p),gTH!boTeSo3U> 3jĂC Xk3Iez^w|HI|3v Ӛ٫89zJræqB@]Y31 OP9:,+(>X#4 RS{-F_v0#]Ke86Y^F6}L:ɴ@94gJD =m&1\a6qժiJw&SS5ԋnOox]#6wlVI2 "kd7:5HxKE:ovqq#Hw'-?s{G1YE ɡ,O}AT +y7Օy{CJo3kO2C Պ "n ` <4WKpAE^lk_ b2Ц63۩r?=XZvEo!aΔ( X%ԙ $ӵRz,#_WOoiT3Ɠ}W <[k$.$u:UXm_&*Nպ3͛;by6 w"-=Ui6@[24ӳg]߲,K}_#A抎D܁A}Ub[Y+l۲4 .\0}(HCUa>N0p@Ք{ڪ>hɢ{UY !0YJgGM -F5% /F.T )+fR%tꇔ033& Q&6 xgٙ%'PQת7~ìF{1 @.FƬBQͫ%VZ}fT<0LIBF&*] 棧-OaA.MWL˿$XWnogp+ "C %<no9bTx,H6O0y$=!voNM@jىMXS'g(3dFA;?<fzdRTъVV#"$WlƑk{_DE_i,'ci(@r t#&)>`g79s4vn6f9or̙O(Af0 ʼ17]Z$EMtf5]̅Y9@\% 9Q/Qs 3+a}ڿvCAoȇI\.;-ֱbl P̬38,t`5|5iHZx>qʚrT5Rά=А|.ʯW M׆'l.LEL) ke܆pZ%lx]o*36 kCZ{ Pգ wx?}+)WC|pUY`l46T"%>U ql/ V#KQEQ_nPMfZ?dVJݹ;KYq2l:;W64:Wu|9]}.w':n$|ԦWi4 S;]sO 7}OPБ'H:[$5(R 6t0s#9cMYT] LFd Ȟ̿ <] ꤮@<%dk|g 1:'A;,4LY>qwx1 ?0okZ!-nA׊ٰ*ړ6ɛn` ׀y Ȋ4nRCl|N?h3OK|GV+hC?u._}ĝ}&k3Fxdt_W*$4JS~\9VSW1# Js|L ¤_.F840!|IPJU1 H"I+j&[\aڴGpɆťK{,=3W$ix= JU8u\P7wLǪL6[A]"jSs?gs M_CQ>8|JRgxߦug =_08iaE'+am˞Box:5wsEVX}U im<[YDokvH2/y$ \Rc"Y]GHR ӖTlq jE̢Ip䶹a$6wR.A C_aKRvM@yhLpzeڞW[Sjff h\g듷 y_DB:وMLUd(^<tv1<8<!Y6acwbwߓ: Xחam'E}O6#Zp@zE &E`H{Wv]-Nwh6JJ_=?:_ׁ->o-5_ SB cBir`=P!o3I pe^3v{vKFFPLN?Z@5Sժ~=c&DZOBcHBKl{Ũ?""ѹ3>{bTv;BD%ED %6 g ~:J߷ :)A"#-ў*pdX|^S"<.8B:8D-GJG!GK"H!u_$ˈEƠ 5uϑÕo =;(%!iɅE9v5_iv an_Z؞\HզHOsx2B}S dqOz៽PJaަ(qiONL#%=E:YT찞,`/ |"/)Ɏmv `n{$kuimqxZ E2OY̭žphΞ$D0%T]2b~ slFEL#L):^Λp}mW! ss+BVCX g ]m.8F4Y]ehKLre q|{1gΦ˰Ku̮ Ӫ$c,~N#TQ\O)2I}qx'ް;+6fĖM&6Y Р'(v{T]ɮ$.dzJr=L%M.h*L>&bRu3vp0f 'ذ&lpVz&qٿ.mٗhOG}Ύj55 dfǞ1z0jƭ /5C]ַV@~M|?*s*Bh:/y:y\ 5gr{U >/L%| Dؘ wE!tM +t_ճW`ƗT97.'bJdx>/ ɢ2/7Sf =׺F\Yi~S3 &%Z8ZFVxUxXFP)+}RdƄ;g& ?I OqZ@qxwM b;oUޫw 1αyn./a=oʪo+ꩍK z@c$8Y‚s3vǢӉHĔ vōlGd#VreS1=HQ-s^Gz\Ҩ#LջOyOq]p,.lUKrf&cC ; YDPb)wd/vmh݉YLg;5p~*sQ#Ӧ [bDrؐaLwAu+#̚8[<]}Bc]qv1_scvQ)'r+ rPTxma$j dMqSA)7|\jPB$uGh~sMl]92NƳyxVk(L݊ql:įΙ`9YM_#M1d"` Jl4P͠{E.\CR3lʔ)gX>͢1v6f-V%wڝa1(:-Iz@2^mŗ&h49 =Mբ >-v!9uZ8G&}Owv|,yx$=gd>4`5Eb4_aqOG0r?V}ٰM2AX:fc^~%z|xu{{pߢdt>(6)P59ê>T,m̤vRQ|;|%UaDP&&ƿ\X?X={U5olړwM5k]>Ӭ3qԾ4 ~E ݴdAJcvupD`J?֨S769鸓-f,ډoA7*ʻ`f/e:q7[WH.MRVyc4ݞ'PW Ox.ڪwX"553Jȑ+G,bQ5[KSb(Zd6c%n,75tnц Jٕ0bQۭÒpӃX %xYv)f4rfX ?lq5$T%8= r q$.,W(fY1E^=QCa q? Ѩa0mu>]5Mmr,xzN{a>nCzTYW zp{KHG5)^h,5%S7@EخŴ&X&i1y+<}{s)*) Dmq>0[`,w݁_pKm Ĵ?K ,RF Le6$NjZlXD.3ms+:{֮XlF{%)⾦:<,orr5zc“b+|3)hSH)=`5p1}Т?ՊT7w,ok5h5P -7~HxDf\뮟AKcLl*2TZ{'2֡l7{`}Rk /ӡRITx$D9w/Lv\rmFuF̑8K:pcu|G (JF~!j6=N*<0􇯄)))ƀ|" wr7Arkو!枔?!~ nyuE"z.+J 96]{]z/ijh߹pk؝E2҈L" !785;/)lz=5S|e z( :KױgYZb9cafa5f65e2ae34a15279f97e79480fe4bf400987d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 5cd5e5862c7bf9500dffe2baa45af19637eaf110 9eb98cabd261987872a337a72e13ea3f0bc2900f 6b45435a4a9028e161e5771441af571344cc1f87 4e0d1d65a8fc130e3fa97f29010e1455aeb3cbba 4e9a5761614cc7a2570fa23a383e30464b744f12