SQLite format 3@ (- 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 V1tD e%]Jordan_Normal_Form:threads=2elapsed=370.307cpu=608.456gc=14.812factor=1.647zX 1 Jordan_Normal_FormZִF! ]F]ŗXf1-/6vRZ݂Kjc wCGtnH]\wB$$+UqНs#V'W@Oe&Ԩ%[Y+V|}SBjR s~4v+ֿkޖ!ΜFry adT΀S!$!ªRVHuWOhvۭy8u`M6"DQ JiXdRɻe}4Ft+`u@D"_Sjj>vSˎeً-Uk!{$|䫽> #z^,7C0*E+7,K3 /Bn%HL鬘;h%aa"g%zj"*mUztCÎs nr$f9\,{"Է@]j &%&A#?(nܺ(#/.>-$dNOSfsW \Jcoz$`8r@zsY΍+5q]z k@۳|; 8:'$^ LѨEmG0iRBEDss*F&xB='ś 232%vA˿*җw+\<@LTTh*<;xEO0tG8r ZRp0p_ɟ;\Z}YSp' =h9 Ep&K0zəl8Я.V+9i|:7{bbĂI޾ laV ne%SW'!LP`7"I9iIdk wFA(wpݑw&iyx_k(k~ .k7rX_ȬN ;ڞQjeA ki yHh e߿`:eep1P7d yg|~pMP_y+(h[H fZnWe5 nbd f#TYH?҅ẇ?6OL '--s1N*=]~dcaU'؉:d8I'~2Չ2EaeN{N:4./tPE_Ey 4GI;yJ_ša!~I4ѷH<ZM)p𙤅D 5ޤ”>9_4Q> pwZ*18f +gZ{JE]n!Dz4R\tEq+8 w>q;\a#ckn =K"EwT}OQ ,C8+ظ c}}mI /-"PZe\prˣ쨧-;`pV %յq3 ձJ fd]İf ]p*kN֙رDx.V@qVQɯ ,22/4#`7@MPw+^ys:)bd F efݶ0GuTfO LϻIuVwWos[L9eqi&ʝW1.|jJA&Ei3,"ght@$1()w-s+ }iX]S@Mu7_GJ~DkҎEYoJň&[|;<=\Ԁ&{du0ѡPyjkGֶVEKGVu%kQG$\L {IQa+?}"Pͮ;)3AgbK'T~c GDw\UHА%'B6mjȬiIZ$SRlⵦ@y6a 0Ϫ5,G?EAUv2@;]rpx2k$+CU* Xx=flVwl_'EN,pu".FJLSZ+~gU/ P8w;V/Ux4pnIDDu3#w!ҪT򱶰 M4:UùlՄ[u,@ D$K8p+yX)M&5O =dª!^v ֓j\J*GFBe#m7K/_xfn :gS(Qk+0Dϳ˰?_z\ԅwIMO(\S9-2Lʽ`Xj=0xj  hZ1g!.@Pu+C8qFj<.; p58"4$LGY!3aHDߊ?_J n7<$FI3{pp|`˳ \`QҌX( B;f&W:JwpYTq~STqNmk)g1]*=c?@H?nzRH@p7>tB!i+@,o#&*u+cEG!.=Lܕz@f.]r4U*LWGs07LE&C^!74r/o1}̫ؗ5'Q_3CX}(8`o."?uk'kHva1v* b0pʡX#"jnBGrKktnWX}pFEҚT^XpFaeӪ |Nҽr{q.f)B)U+y<=%1 Rߕ'KGBdvKaa(~w9gakOdHHT$ߡ% W*yxV(լ V҅^3Ks&g6O4* QLRG/\/=b({@Ux"$P) TZ\JIJ C#估U+ Sh%&Г ooKh~JtuҌVW "lhwU$T$Vk(Cܯ+} zRy,vä#*kEO^q+B#e9OR o], -wHQmZ>o nr5z,*stӸ mg=mcª&`mo@mZѰö Z>Rn ^1b*+&Ѻ@qheXs?v@K_+ba( L_Gz~2Pop`=TZ_Q ;ƁHL \ v_Wヾ`dBɄɔ|<w&DʝV>,-zQtկ(gu;`0V GP#[ɛ:Kqx+Xx sp*atr] Q@zϷ*R &f|GCCFgP܏," B^wtt!kIŁ.nH&h*ٟFM 1CL)S,ГbVR#{jPn\ HRw $6RF*~@4_ m{;%o"]L9 Zn8/1>QW|! ucT)H f / zÄ2 ;`I^yb;Wc=|`Axoz775$qo's}]ME\8;<D7H:Vh?JdzKRDKUW>^x5=_N-6CigqX#f Y @8W]9{(;CX֌m90~7xڨgA?cI)f/c Cb{]fD,&$M!*sxkA7A綪 4ύ|z!$%rExN0)1ș\kq1saI[qe[#1̸sl`ԅsT={*J軑'mOĄJcvr\uٌ^xqrN5TDe_7.o4g+٠&9Bt> T ^ "xx3OcQ&nQsO# f=ra U tAG%?Z1Xum2NH4tVfXxFbm zGuIv0FEa4&mٷ<rًc`!f%k/,wɜW_ג^u:hz:Ԕ9[vXϝהܔ#S̷qt9ĕYWo]K6CZN*jz"5Vɸ)ovlz/4 Hp}쇾5hoFruzNlkLReH?yyxb7Â+9JvrbʷAU^4j{D)KC okR-:KLd9Yĩi*k n:1QU$L RgjhV| d1sTђiy xDٕiVya/m {4?^ر;5񣁖Dchm/H1TWI2J-+lVB`Xl_:@ *oEV9u&B쫄@q]jy}?'bcjȋIyБUoY9nFWKzCXm]z$ARq\@å\%iݐyJ ͑ ijF3;|G#)kDQm ( ^YvlMyOS1chZ$qDb^!uurBcv\JڅBBM "Kcf< V1hdﭟ)dj63ǾjO-4ΓN|l}WiB 2h3C3,Ah g3tƇth'P:q}G9{D8A K,drd/YNRUe\oN1Y^|xCvl%]XN 0"K-cQL~^A*ic=;a}<?Fخvf#M|h|LAÈ]GXjGEj{gT@j̱I"_M?y@$Ն多Qu53Q5Bl>nx4B$2xMN␏-fHm$`fH_"N..crH@ ͵ 8bxI*zC 0͋mV lPmCÿm&m_;u$1>KQUyڂ 38,t0P7RAI}:}eP}N`FCFE|qZɆ+rg}kgr0=-a1ۨlT;Ⲧ'BI&D3֯΄+WqZ`7: rƓVOOg@SqQ#o,%9bO|MQQh-ٔ.l5!J];ɔx:|KX.,w)+UcP1tnv-_\#h>_? L>+6m t!SIދ}z)ǫ~ca/-[5)^^ bR' -L$.;GzY5Eߏ^o:&4?Q]2O&kn!bRJ= T'WH}OB:,qZVp$9{ i#K~a ;FmoO֐eEajMV iD_z#M઄z-#74g7FfC|?iŀdp!j^CMړfsuK̏f7L[&p;kF iJ5 wm>>;4 *B \t%@0a "/+v\î=o$KgV._<2ѸiudeH>Ѭ$xG `^MhdXݬlI:Q|@@sPa3vӱ/:Qcj}Е0&,7Zj㍕r+'fgAتM,J5`vWք>G4b 彜NlY،=4,_}}n *Nz Uyofl3<'@3;Zο) !_3ҝYDX]iڊl;x8̼:-#1noFa$Q/_!`o\ VK-n7LYtMh5PZK5ehoHO}@iE@NbTr,4} W_I<l3~5Kj¼"_*6a*dLU;|òf* ssPQsS6R 6luϫo? .5!Iw/R9L`qmFkXJquPIWH:$DTv0_' E oݰ^M/Lt2-'JgBqsv$>tDkZm R:75{ׅMt!%rV*^=1\VNchۆLvVgNGh tUg 82zIyߪdn Ka)dK "'o\rVn5w Ļ'oxbrzӧ3v:()`HOT`XDYkF P 3- 8kN#H?!Tǁj|X\yP$q\?Mŋv5<4okZ[$ɂkJ+`׬ Fx?3XE>%m:)N*dchD _QV2UNK(OT!vPtGoOTԬWJ)~LIf(gݹ4&h³ O1+nlS^5yB~bEB{IB@ջ]ːCV esD^$d  !Z!\( VVc6t}|,'R4fD#`"zpD^Pr.i=bC,n8֚UGǢ.~0QUΫmշq7J 'Be# l8UX@-*ǥT eA3ٖ9garS'>1%OIO`Ny:k[l4< o2 b!En"s9F3;;q#+&ER3_l'%'@VmA{[|jp^|+R2~SyҬ0FHsQn-噾Zwad`GfmES>է|5u)nhFeCtcb1FI=`Yjs]j!{D@QBT@tj{#bP6c{vFWeD ~|B2wK$ohݕ@gZ_h1%XQ;VUrnX$kwkmryZj 9Fbhxi`9pX/M7BӦ^/  @._m E~of ˴' [wZElF4үoP)ӘPYe?}Xȓ NlCgeX75ۅotي#i༚ {Pϴc}!%D}hѠ$!ZN$htlcpMFn7Śz@QcfX޻gηXjaI=b= ;u@ŤQ&g^/.lK景.\ەm=zm1Pm6$ 鈛K?tq쁰nnذ2#Ƌ`8Jl',.Qmvā( =^#V%}eJݘ+;>:;lUS؂Ve[D;fC u(AzkfAB56ٖ*ɜ/|,_(dJ^x[,IApB`i$h Ȳ:(N/;o IH'EeI>ƾ #mݤMtZ <&-_2%׺o)dݭrEIrٴ`tp6%0t4hLCD0NU&qdhՒ-9M'G}Op14a^OTGVuB{^W/5"}chat_y$^"ExI0ts2a(,Jq-,Uܠ&ϓ;s M51I 7Ǫ*L{ƃCCB pܩnf#Jb8ssKTJqX %= é;sdtMW<vr6Tײ:']:$C| qO`d^#c.dV{^0w(ix2zŬ&, _[,Ÿuíe8<{qwݽ2Ct7Š#7qxeېQ<5bˮO:4wXagiS.K|4\n=d|'J,h}I%߇@,4V݂?~Y en gx٘,*BqO<=ĻiDz&lr۹q?ϯ"qzK:.bdurwc尷PZ8u64C, Ĩ)S v\>/U+ɈB,0ӲQc:oB e9#``jQ,B{twc;ES0\Iڟ Xkp\kpOn|i˚> #Cz,AϬ +ʧu+2U!b"jʧ.y f ʷO(\a s:ĄNj7rxk7DV$(1;fF>FqխhZ|-%:}]T>TvCN 2ÃpcTQbǐR۩JY˵;\7cYƜ d+"WM؅f D\?b iGxoQ ;QҲ -1sN_ʸMua/ 2; ^=e cw[xo;A&:A,NԧqRX-3V+ 07b$s\?qP,ȃյ5uչ/- 1e* /_H=gv Kxeʫujeǐh0:~$/T^%NXREy+RsB 4.ґ%?$ĵ}T]FהYQD!Rp}YWm/&i.E[V/Љ1Wdb皣'uu )NUn2zUHw*8l :R|c&XW/-j`yFv(}ffkz ܓk̺ ص".,,;7m)h1VHB$j)<5% I=ʏ<㊍ق1=Ʉ'wPpNᴃ"]BʣU)j mBx? _b7ixx#Âz٤x*xvx'#Xo &Z3`&m;{MMD0X裒CaH;8nho=gAe( WUa Q#$9IEڌT;c1R&}ߚtF5z^v~S7ʢ\?x$P$}K xF *j%P\~*Aku6ykn#"XϹ-lX~ݾ߽\Aچ!{╸x9F)¢)iukNm\kxi.AU /j#p0E#G]aLR#L/\k3P@.r-`"v^X?^!= $_#43<>Xjn&ߎe@ P_ Roxw:q87E٪яqaRtJHz뒦}jŇZvo±]v{'f'0#2-Li%m݋ly6І=#AY Z=܍@R^FპֽOk9;ΎmPMOWU?:!dFQ4 2XhќaЉCItɸ.P8얦d3zUFx:q.HMD ЫY^%d8;χ@E[2VTd+v8E}LOhI͆`<n?8+S~rpַ܋xײ Oh#i}kR6 ((r~~ X`>olB6cPvϓ@[ %`"L}yLz3n AA6dR#LIh$n%uuU=Ё G2ԅXC{VP-;Nt`Gy6>s~#Y[VarSm^0e5ϪHd<*X[i&=D-~ ~X\3+y*į0+uJ(V 5uS~ >BLwy=nՈx}/)O?%q Tz CwrQ.ɹ2o ڵChykӓI*_fО}r*l'RPb:; #z]PMpNLT`Wt. c#* m_ΐ{2^^hô?`<]N¢-Λf\4LV$>S;/KSgcHer!SHϨB:Ϣ\[sHbO*uQd]PY`wox(8xr KVGY})ww'$P!,2^;f{iAnzz+8C:>?}/oEQʹiM(nkQhݒ!6`y-SRV>ntSbE)l!xluQTjjG$q"^S4N8Z %R>U[RLj0ﲆq:>eH)c5h2;dA"ýR&V'dd<&bૠ^X)F%͢1v I E6TKn. Oj`PȫzH|1`;2T'fY0JQxQ(3)nF-/Gg<nQb91\F%j ˾AY-/;TӢ3֧tpv4 k5WS_IAG pl>P.N,$-;d|0& ]\Ugܙ?GZGX8ocEHv'¶ԢƁ<-Q/)0 T=tճwm$&ZEzPd X9f/B4>¿Pllz@$S%e)z_=$SB{;CވT$J=J>k]5]EHwȯU ]+0{tP[d:,jSKDb8i^A~,E1~qIWi,c@;F+(Y1;Aj˺NFQT e<,Ow4FH43zu/jgנoyR%5g-L0ywXn^¡)C1ys;g*W\]u!gP5%Tzsx#垟_l|Yʎ6J#RͧK2] e%na8cNM1aEZdȟ#:s¯8v5eSЁ<#e氀1B^o~ssPzceoR DvGB l?ApSM)KxC"yKA~.Vʶ]$0,%$`}gQ]XG*[0ek Uq^ eb*> aX0fC|B4^^Web:¼Ih#bʹ;K),Vxgenu]>:yYrA|w&QCJdOa63G3k"A`zD[5 ^̤@%ׄhMYP k軂dVk(>u>Fsъ|rz_Adb],pdSD0o);ā_T`_ڇ#*lbR‹8PdP( <;+X՚>ddF@s(gB>_JAvEЕ@mNP<jIl2Q#Ӑ-n3lΤ~ L_NAɏ^'EJ7L+dxEsB]W!8nUAmxB;dHľ8 b~ ws|6ks2>=%j4%#/ Ⱦrj56rJ4"bRENY?Bȫk%@hь?ŒKVz|TЍIgYZ7zXZִF! uE\]ŗXi% -Xp&*U>i G !-wop' C?0̱W%n82:>?Xs Ud覺X:*IHPs)#Q{xDg4()+ l[x2mpWА`̆&tCYpRG Hb&<:UV/Ăo(aFy%˦{u; ų۰i.tm6Q65cF2;_r2ֱqgzT3i4#;O0$5C{ϔi 9xyrWV0ca^C퉁 5%QhKv>rQGL=BQBd/E-Pֱv'5}vp@_s-qґn+w?io4Tt3}ʕ_^F >#a:ڝOv X2YwY(?n؉nd和”Q: |k -9Ue0B3R/N$ԥLc/୔33\1#iXf{jt0>UBhmHY[&21߳n @>y&g4 )ݩ.A0jJ/&$y,,Ž ];:Vc HF+`V-lP:,Y5?Ln0APHFxiXfRNo2e>>BvΤ_R0GGb&+D|hbT˒ ZXJ2ol<?{={ #yAy6 L`;4~y`nӵ=从uNH7Jx?~[=i6yF/7$ۙ'y? zQ_>coxfp (؆Vx.ҳ1,ϑKF8gb, 6|]S;NɉAYnobic$ UEϺ_0:4b^?{\r )itQ6 iWѤxQDH7B'X(ජ|gO0Lnt,9RO#ܕBHWx1S"H$YtƊdPKؕLn𳽖 ض܎!~^M_wt.e J[Nj8 PkfpQxr&j2ʛ5 7HZm}/Z|-Γ<'ېQFCh(}n=ѭJUA_X<~AEDp<Weܤ"O+z0I$=J;@vC2C { Hv I<[:$1tN^<5e)v仒'%],НjTщW!ʸxr9nxMz}eI TD4H07UW ,a.$,Q;(doV0:AюmՇەcsGiU҈**҂?;}$bj^OTΓ lz橚@߃:==)TuHj譁OwDwM_;˺PdZE)W_es-+ĻP#]LG.B\L`y@ʘ+5j~J<|%Ҫu =z3S灈=^[TB`;D,4œ2M}^2O>gjG|K$+W \^⅔ N1ܳ=ہ^ðPԃ_vzZpesE#_:#-d>> ycz]GT?D'K J!( -CBv̈bͤPVAhzRFÇF;IV d "za6~F:fo*< ^<"Z.l;6]<_-Ptƴ _GOVI_~|.so#*o<8ڱ*4cڟ9p!V V5ؗfpщs} trc˒H9_L;V> 6r*8bz _▨O$pCLd$HzOzHOZߠ\ͳViWok!wAo9)̫䩕ɥi_R &0I$Xexi`rdnµ"}+D S8UhGI#M,㰂?7YRX] 9/㐑YԇN)K36Dԩ/iN]?գܱ ָTgp \x`_M4A|!9Mo7yAEkhE4W^@Yze6}$ zNHٓv9rm*CFǃ12k`"6}\aɰTFسQAw%NPO#i%Vp [țt(Zn#PjIQ 1+r{2*/- tA1*8}IP: ^Vѥ~Acd"&iE w1wrZ243 y P卑2!jP_x1hEC9nCB,r蟣%\k$'; <]v#(  _43:*Ĵ6:RC&?Re@iqL.qu]||T)] LRʦGn0H%x5 %kʋLQ7-j ucpʙO&Y1=u?'=H[C\q秧q'BIhG~ػ?#;m=GX. ][ƶ@N91KS XۢbZ{?rLcbӢL.?z0lȟ(VdyV|?ubcڄRT]%^k]40ekB8Z>caGf!lzrh\:-XPa}1mB:xܰ F_nCƍ \_ACTne*鍳wsRmnC'LCzü;G\ W\k 2W.ʳ,̟%FYm-yȨn4@U2qEաq 怐-V+Ⱦhb8x"3ФlV ؉!qp <Ffskl MR6djY$CFV2?X6 ߆总"ֆWvKÃރ#Rb޹8!\ %=*f/(]6>e5W"έq`'F1)䚱8SUT[]*`O9;:XTh' 4؝hCQ9DV&V4#tIV;TN)|J_8Z3YDL i$O7X]o s 4eX OFS,Dllw·gI, 5|-^1.HWqtNdϏ0'$/{mU{L8`7e-ۏBS/)j!T:Ji0/)V)G*(Bs:'~+6)љ%Q|GrZ zq9 iPvCxdB| OvN*j!J,HӿPu:Yx14xBxUDwX=+g!w20ַ uM42}p={S7}jզ=&;| 3w2oG -|z\/я-{ _.C5dbK!ƈv.$>d̒ƘF޾&I}FV `XDCڋ̓J5z0-rP "13 ϡ[5zю"D]\;XV&mM+GNNa*eQ+#V 6-7b @>FZmrKoFȺl^N3=.?L\ ^B#:F܅qW!K1Ը~ X_otֺLZ?'lBBd(pMIG[Og#b^mu`iDiG,F.Bh"/Ь="ҰKZ7,46 .l.='+ M7hN ̿nքyvrb, 2/3t1*eKODh[&3ImG<w*mű/YY+ƻV,93/^ s]]z5%eEz;+l^qu,v6&PkHR LU]H P-Ǯ^NG:v[3u+-eyckWk :)J-lӢśr׺ -͡-5XZCf}pMT ҏi R![s!,0Q_kQ}0FyzFƸSs0<-i4=ZׅCq_CY4["^(?y5}Iqnh_ۿP= j4*d2t~DX x*+ +it %f")nfPVD:C| .бvP :q ^tr*zɨ2}+OU{6B}y[K=T]~eI?1}DWiNNrXFMb@DNSb$p cTuYUs=/g PnZSP;#,v$+F9TǤ ODt׳H8ϝ8FWzH/5MݩlwWVSLoɛ.i.`f_E-D WC7./ YHIl{ɡL|}5,W>8sԓIr|/t B/˾&^,^^y+5_m? ٠LeAp[?e=5 ,tmRl`)o.xݱCIq,t{La f*+;E<5()qc+ |Ts|NMd^=q$[8?jbQ"籙6ql!@%mEمh [ږg3τK\zZK\UTVEmXCeo3' EٴmtC'OB%?zs"ntTkJÀ!Zjvu3jʴl=6:N]3s^ͷAd~ nB"!Va:5InOJn?Ϗ?:GhyVA1îRۋD-n3 {21f2kE(a1U$s<&GsA\ n '/xZ6S彖o*2r&>lB@Eޣ桁_>*oRs;cEBbq*_v[p>k$P{iN DmLC)A,[ ¬CnQ^|پ`hP\,> LB'q.e qh,bHgB0V4e[tlbjܙo.u$lKW\nT}De`ز1>cQ)g1Լtlwp줧9U5r6Oܺ>nC4$[CxE :6ߤ b6Cky\g*MMO#irm E 4W%AF9P?4bewrqAMţ([%aALGg.(cjm36]lx)J%ƴgAH΃xɃNu]zp_ 15_kÐD3]t<$aܡp&R[,:brf1*Ќ 鶴|bL pXl!d&N>itqvCs+C1iwf$pX(6?dJk1s-OւRQx-[|mn~Jo?#BMDьX=hGb vR-钳،Q/?#i ˗rP钄p`JN15rr5ROQN ;0Ŧ5|Duز?-ΰTRNiqh} g4.F|cExao&zXVnzU/<<84,};snGCgׯV!b~ .Xb X՟0 c6 FL ơ+F7sZKf C&#QہHeB{W#VHݎfC 6CG[S{6rn5]AW&5w]:#|8VF%hi`0/Zĩ违If<9X:>5{r(3u+Kb/]\^k'螛l5T'Ndt9΍q-:&v_dBs<nvhuYL8;ѫrBsl F-aa5ΕHJF°FcEZIC f**O؟ ,~ k!d3a6nM Q}WdqbZȧ>b_y֑.!? 9׾Wiž$y`>g(_I5>qCΞC&qUj@h3ƻCܷٻI7աAt?Jv6/T ֫;Y*% !zhr(zp,%gsdAi}I &A}Xܛuۡ++?\+SV[:%owaБOs>PW)y)24C)0Ff?fE'*p&9bt:D)UUհf$(Q {> 9@iu56,.sȾ5Դn+ a,plx Hm^$TKhjoWδ1jufJ;I8k kH9Cx>DDeD5BxH -Y!*%KFt:L{ YljTq'J_l QD;Z\<,aPl\&{`\iKD'HC;v+s~R)^  ;ʑO8i2GS2κRҋ !'όgWw4aF+|eu2`DrO9ʼnmʒψ,X(ߝ.+[/cO%Se.1Jc}6\@0:Q-TXNΠr%25o.;(˄OF^SWV@dj`(iXkk$Ni alي6J @>++eJ.Ü2 [5TIRdį(Jpy)JEn$H۹Zd?u=U(k.u<4l:XolX MK S~Х5 *`p5}:qsPr]e"5+6$#:)z@Icx^!Tcg v>sjXChA{x<(Ƌ;{4)q>at3Q~]ehɬBy9YuSpWzhiMMt?SR PnwUm."mX*=ҙz9%fr72bd?¶;*5Uĝ؉f#h̢9b^F`w7{<@|$kFSڨ3.efe.V5I`'Eھ3#\ =ǁ\+:~4싩w0ps&lgW 'ƈa'm#ƀd~r(ù ̦b#@[9hBxc$}{d+ LaUpXxrl{lAB)zßCcl̴c|ԯcbtc骔ޖ'xsO}>COt;L֊q=M.ߘH%Et^4(N-:O'=\? vK>\@{ZrRwQ7Φ$^o3Eذ-ջΆ F%+ j 2hv @Ə '&0fCDE8bU7&-tGⶥR476DA&ǖSK-$nBEy7<Z5W/Gk"&:/"H -HH72k4k G֚KaMQ!6ŹeXKɘ.M1{Y l|>(shh5>X:BMѕw0|^DH?v'N^ K/[[ ]hĹ> UH r+햋@ZCI:':yzU|a>]Y)_\G"S-U6OA+̗I3 T$h{Y]f+nn-=7JpJoKXRRKN.z$Rd6HZ30'`2Uj6ey1vkqᐏr*~Ϫ{~ z'0HOnˡvz+"s2AX\}2~mԷ;esҥ#$ 1ZM9OՊ<@ͩAW.2G/KoY9Z@p.xJ9Rx}@w  _W2.O Y-d[,9Њ)P6܎1()Tny1tDrߥZ :w@ >F k;j1D|ul ɑ7i.n8 wO$f4/&&fWmi1S^w&EBkTP" NQw9tϐ&k5(с50>I*@7v@ c+?`#ZwY<5X)Ap7x(A2~̅o(~ jbYqQ[k1LLr $TtA=S0TRGZ7@;w2w*OnO= |PPםG8`ɝ9nS<]K~f"nr؋19]K@d26}c]o Y3PƌHp@"I7lRP.$*Fy sNQ|n~}UKf8^PXi~x7xX~.6^4QxPgΦ t4oM?sH*yB-@q,W'6Y g/AvY [glV(҃k,S,a/I)}~U;,QU8.s:+`Q0QZ97aݷp801!b 2nԍoxA!,H#N,% E-O8SH`*yØѪ ~_.Oչcng'u1A~nC $x?!n>w$1|^lX39 '8,Zk( `GS\Lk ~HJfN )hP+7vΓSӔ`$ I*_~N ;PHxƱi ׀f3*eH!-t`*kJQ=BXpQ!hKZ9@I|V̡!l01alM!)@6RrK誔1•~P>e0hW+hXEZ_}s=129f ,F:H!g(dǤӑWK*]pCNʹ.Ttbڃѱ%D3}>R§ RRU#r`OaT8M D|7sUj\)/ҐaKj.y항4eUuEF6g3e=;QSRe(`cڗp,O0& %oAG,Vϲ҂'sIA/*gP] v~|t҇cӫ !o&F<ri^@"₏a?;/CfHŘ'Ę#Qwjc'E aȨ<$O{]D8V^0-eѸ1]oEA{q4RӸW6CT\t(L*cd"%g#5.;t1$k'o rv rE@3}m%{_(DMlZ>ي{lBjo:-KӂbjI ǖ&De8@SρWb2!5 E:8+ZH~ eF~,M+dskzI"軅 u}!3 y. "rр<'s<_J|`wFbF;>.Gr%rgT^}Ȱ.knmojTd# ?P;[RӪI ĘSjΔ0a~G`Y~a ՜Ljr Udn9͎Eh!H&ԇ[#R;f ,WБߢ1.Ь,[,ǨcύKf?VΊzmRe]؈ɣ}ZCYP^pHސb7jZ?C㗔Q^cC7PˇU2M+ 2ĐY=]lQU1~ m{@w {&Lbc/dB2ZX']\[+-A!["ϭ`bmU|'5"/q:wt!wAdDG;$k5E¥BLetvplJ(~օBsF{GIQ~:^RvvךH@jtUt:NЍ%ƛoDP .^$ FUh*RN;GffE]||2óS# ;W"zv6NGuFQc]eX= ˡl|ƣiWv.InpALӘ[& [EGM!N(ܻxtcڭn3jOAZ괟 M1Rx!E1etcHTHmyFZI⡒oR'VotJ;hŪ3MhUfr:6JK+^94?ex/8WGf'b.n(j'3@.Apeo51+˶a=  )zV'7t$4)CN]wX9qP3';VȺ5. ݔ᱉Nef~+xGx8'E&~Wb%tm&omn}*˲ Cf@&% F*%  >ױ,oԠuCqJQ(HM_z8q2AYɁ*2R?gr}'²7Cw_Rmd)ULrPz80Sm5 'PrƏ1痛f:i4wy ^#i*v,*zӳI4!Vr^ oF,ē z:9a}aĔYL\)r˞ZO,fAk8c_H'ǹŐ6h.qgF\F!.i[QloĿgcPąpL(&u$q_Zt3zpL #p.ist8k,W+VlmfF)v#]('gs 3.6on~\ FNCh0w3x?1 sN{N<$/!v@(A>, BNKk:R[rb6`T>)YA߹F$Z͘%*FDHt TrI#-x;/ɔh##'))SY>Y-FrLDQR7P Lkbʢ=mɟm}h/ׯd%rF{Pg9-%02U$ϱtgce~ BGUJz"RmÔ`j?/\ӡRb #BSNSԇY[UqaB6,ro7~TJirpPSD~T :zkM27 [lco۰Z\orQrkGF j!"]=q vT¨F̕u?ܹ`_$ ];ɳ/RyP+S/EK)p#GEϷxZQLv،@޺׸&w`,^x1p9'].lu;g!ɷˇt<_;96=b >Mx+(Z-\ ^u|+XP;AYˀ0 5$;-Bduk|7{t/5M;\ٰ+K7fB m2!StAk!#WzOvƤ`|9F8esePv)hK}haPOgN.i_qݪXԏ`ZMRAl0T>T۬b!!`m|oG51[,7:'6!;we r.FguHCjFgYZ1af0e0ca6bc912b30d0f2e6589aa8e9c46c87678 1c93ec95d4fc46d544dc6a321300a35867f9006c 1cac7b79615488a2a44724e4767dcdf953528bed 22525a336f9ecce97cdb568b44379f0491541a87 26a3ead7c27418a5059a735dd6106d2fe846fd42 367744ce12067ff369d7037132c2295cf2467ca8 37a87f68f56cda25790462152da10ac518f0100b 4226cc455fa452546f7fd4622b7c865ab8e54250 45693b357f26160d4c0b1ef1a0df39678cd98d1d 4677564267a9fbf6d09bc92db3def7deefb510b4 50b8e9f10960a26a58eb1de57d9af006d4dd71ee 54c38db887812a39b1b518723fd4468f9395eed5 59cb2b9364f29cdc52ba3398a114323af4d59f9d 5a32b2c005abcf9cf0616f9ff41ea905e0f45a78 605b2df1a2fe916474ebd532e68084c307a9494d 635f553599ea5cbe98bda10d1da23127b2865f12 6b9baacfae5a327866af6cb4ce2bf8b3b2ccfb05 754868a97fb8ecb4bd5624245676b23ddd584c4a 7e724b95a0126ebdde350afdcb6ed34eb4645152 860cfa5848d2b6ba0a0acb8ddd2dba686323d965 92a988078c37603d1a6c9e46f0f5d1d67d222e1f 93c1cda67d93bfee32ad7eef60fe00cabf29a651 a23baca027e75398a654dddf08a698721e3d379e a5dea19b38006556a5c07ba4f7ca5d0f425984cc a79d7f49a4aecff6119f22cbeac5838382913c9e a9f38a4ccecc8492d1f9ebb962024b9b83dd08bb b27225000730ce58c79b3a9ebb8525a6b4955a5a b702f26889736c3bd426c6e9f167fa1972379448 ba398d78d1126570b0707ee67b307e8a46f2f0a6 bf0f0506d2d2cb8d5bd820ed19f03a08e0e8041f bf47b112034d85c95e8fbc6fc371cdf2d446386f c7f5ddbef6f6c869aba952579fc04f1cfe2bc589 cda169c0d3fef79f8edf2ed170fa39dfcc2f5fa2 d75da252ebe713c7a94bd165cd073c4be14a3b0f df65d216391b2cc49755f48f36aa2eddd974e734 e458cdde5cbb51f0489e40722af7c9ff04391a63 e6eaed053698879e00e1e012935a36dfb142a39d70d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9 5f2de4117118ea319d6b6d7331e3a51b6c8fd5e0 e1ef2dc5de27c6f158937b1ae3c2b52a79b8d492 754f7bcbfab355e6cc81d4949037f2eec902e487e73fe595507505773006de3e34fd64af85247e68