SQLite format 3@  .  YYQ77Atableisabelle_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, "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  /9,4 Y Planarity_Certificates:threads=2elapsed=147.053cpu=287.912gc=16.100factor=1.967zXZִF! T]ŗXf1-/6vRZy_9:f;ׇ(a+R9$+/VX)J|ƨǡX~_)C3LRpKfW4580S#2^G0C߄7ysOJV,S 9Ȗ,C]?}:x&x؍bT~Y lѢu}[VF Ҏ.` N_ܣᷳ4<|Gkc m2Ǚo·~$|j!]8̈mGzbԃ acuTe*As&iīUGATUoȎs]As-!jyweLOIhoW,[CpFy0'oS9 iB9_85 2~ I!jJo7;3KԙN7ö\)=&"cQ(&4Y}{k@{ @4LDyCjyEXaH/R{ |^4l`amFG*Ȇ,ܺQh^,RAƢ"๡јɼEQרu Ts$ zQd8azBs9Vpɟ0`X~a{@u>h GsVw._wC:}LZ{c+i8M6?M)N:̱Љun͵LCP}8o)uI&|y{rtmE?m*E9eFPkL,)XxJ\DVpSIL], | ^ aՄ`6?ٯ 'fovK *@ݕ&S`8$|u`qāiugW t;{x eU&K IY)#}歡XU G4\ʻl^rąWM^0y'`(G77M(IZ^2]AgtK d6qQ6Poӌ|\\2djAGd> LPIxwXv(b Ca@d7OɕVTeRegăў5\"@EQBvK@Q 9 Planarity_Certificatesw6Cy,bɼoa*X @ /*u|yF\ZiQ"u9vxzNDIkS +A"fLtNj$[ CJC1RO׫ڮs}n"݆LY6+ UO>~/g3l cBTN\*~ky;ÐֻTnr,_4<dM*sk(ztC1at N6^  5WsÄ/QWu/v۩Ekh [h=0ꇵ) 鸋nՈsO2E 6Fl x=CPN}7ZUnhF{>)P HTa@Zzsz6H1jj>DQr"*mY)ݐuu)%Uqr* +`me_1@yC3 >:jsƬz(|T2AXf#!)D^,YjdI) ٤/*SCѳT8yL3bDRzD% EmTӵ!T;&Hy3@7׎bfLhU2U-i-s3<&樁}qW=CTkت^|*bew ma@RXa_!yrrLe/}'7+C]uرC +xa1pI7"LwTbE?A*fTB_yWy<(WVNWDNt<ٻ !]:O{M_qT. %Xoyqy3F٥@^A&h9֍F_&Qb!)&*3醭4`yl=t|PlvnIԖ#WZ OOƊv8>k s )_OwIM oLqSm?X4 Y}3yKlؖ1/Gk~hy'S Dx e$ĹY~?ܦ}l?U]堃, +BQ"/tz;4v }8.i-8BU)Lj&SgH^g! _~*jj}Lu7%Htc}< W)g|^sQyo%X8]DDEu#|{q€3F+yA]iح vA|͸CYh́PfxFtdF2heM̍5\hWohD)"xTA8glBeǀ.42t`, ]HL)|o^E[|g.Xi#n ϩRQ4sw@7A#Oc_"pUۋsYk}DSbnj% }϶)цHFkBĘ%M86+|ݳ@m3e`{h?ԆV3[hrNqv|4Wش06%azx>4V;mr &jZAz]/!;"sGg%F^32#<':XDCPF^ֻR+]0AՅ&҂U2߇1xHJtUŲ/9s߼:'ƃ Ŕamk:ǩ̚$xk*tA>Z+וg0;ˑC$*ֿlb ;5E <8{Դ7?Cg$ [QYW^"7E2FO0STޙМaIX^k;m7h{Nfߋ&Ovn^M2`885ҵ}Ģ-Z.҂+艟S5wIHU9%YBi{jjD2ڙI_ݍ^Rm4 4v܃ierզ-W @`J͡cwyY(GWq:E1gt2_@5R"ugŸnޱ?Lwd khw_7 bM2;cLBvt W5j|zn}7Ur(#jNC.ŧ]~L _`Mb2htb G`bJĽswUT9LDmv63fԣŤ?@XTFajjFn m%/b!O5n7E%ݓ̎E9SS(J"Z\Sl_}*e%pIq(ro'Dv(k_ Zti@RǗ<ݭ0nbZ GdRO XAk~ϯE4hO8e w!F::CjuZOH"0N_^&hT\ڲ& =)" 鷨?T$S# {De8\$e T3:dzH2ˠDN1#y\nn$ciH4w}A`p0[^:ٿi"_첚 (kwfԂ0C*sEZ}ԒO.){ z:YAx1YFuuѳוo){?Ϡ>Օuz_sQ(SO)!5aL0(Nan@:Z&11 iIʊ7Cfkj]7»1E7n ]D5'n^R5$3ʼ_?J\sؔn?/)3%ѕC%}kaid /%mcQ!N,4"Deʐ9|F2{ ׬wZwňmFR%ƉuySͪlɮ/|:v9M }3y %K6JZPtl=CJ@σ b,WcwEX@lqˣ #S徦sI9 *Mu݀'h6;fAULg)Y֗͹U}y OFlY=)`l15QL! x2҃Q'bXiӆ FG['gH7ڳ/PU*`6uZqDjۖ77U5,GGϓL{}8> +HRj×֓^'o^2*yF.w*وj<ْz>rOe&r^Q\d ~;f"ĀѬkGw`ɽH! >o b\ݚy+i9ME&O58lv\U Ȁuc-4/YB)UނqVܪ@<'|J-}D*J⫮ڿ̹"Z ŐűN e5*rcB*! wyy,nq^(hG=a`$%$9aD`j{k#X Rɚُc#WiRD' )K$z1w$qan_kaU8gmvJ-07x7ѡ?ǹ@˾єt;m pL<4"zFy0( BVqڮfqUt-0q[dnpJrN6>㞰/9$Fv&F(wV .)5Er,1ݷc 2., xQo1M*/w `˝[XrֻÌzdl]ĽeVKf.p#\BJ< jxRئaF|`VFwML BPpeI7qey5Pǵ1,0(J ->0C-\@֚` އ [G;E̝^ ueP֔N~+?X@Z#wmqq`L,6xH hyr8i (g1COڣRB{ٹ" gYiP\ ݊]w_I ȐwJπ-V$OS,89ڴG x )b$8,( bStR5MRޮ%'Tq}}궠V$Ě9˹esOLz4Ò6WبSiʭӽ{X¢qQqO<)8X<.賸[9Qnz(ז_]CW,z;Մ8U Q/B!;͊Q^Ԗt# |e댻v۩Aqg9iB%y-wjF[S2 =jl&L!@1Wib8\JX$RZCpM!]a&=L&τgQZl ։"8E9qa(8ڙ ī<:17_"iD2U(j[qIe>VWYy~?ʇt^ݳK(jfM^q0FUs;B`McddX=q*b'HD=V%J3LN@P w ׹L"Fˡ)^hm]Og/qԥ2̌8UݬJ!yw:Mu##+(WW2mډUHuAꅐg}R*=/9<\V BGRK=vz`o4V>J;:[3Wc7QG uf^(ucZf:B4MѰUaU{2(Ƥ]y*3Y$` $Ή>_3<u 9ūpBc׷%kWnT鹨!.bxd:- ^UDNA~-[dǫ5urexeh"گH<~@ON^(\s?dav\1rmݚ_DIߚp{G%,xc[5D@}Y$Y  mW.`dvkhaK&:b8{t,~ÄtgDMRZ{(5;I3U Y2G4#Oz~ ^XxV,jݣ sB-T8 2G!z*R/IdAc*v KxxF. *ϔp`)YWݡ :cKV¹L4 зhE`ލ.ah*0 I/в+OL=%ӖL?"A͒X@LguDxF=ذ&隓4R܄ןPXG$Y;j}t_Y;RAiB Ŋ:x]X-_X)h9I=>LaW-z"Z4$TuZF#s#fli$g fLՃE$HTq e NxɗJhv[[" $Ȱ "'pO0u.7 v)ޖ~5G_+R6nxgnO:\xWwl rT;,8c%!ABUlTV7\{KRA#hm+oC m,cgQLrdʵ "x:WenD|/FC}by$`gO7*" BYJI#{+ vjWϳ5nasLEOJh׋S~:ɑy]ߩT} g*'S8/;:;LT3~*}uSBeԴZa2~2mV*Eǫ؎i39*f_Q4{.g:WBva(d=ե4Ih(ђx5#dxE}ළcj2zN gah{eJ5+#S5rǜDe^$?r@%!XR_EgO ݩ%z%Y8*K|~Ly p}+W8*{jkV!r:6bD ;L8.lz) ]17w'`({~DSrļֱ(LQz,~/HQRTyzu,C jIbFhV|^<#c:YK$ީۣdhn;X?L/x;G_/#*5b !nQK{/_yУ@)`W(-@ZǷeKr 1/㩰5GbpV=$9l 7hygTSȘJn6EMReA sJb +=irYdy\ R2$^R%%G f $Qjo:sQˀ?ɆihLgM "M)vǴh n_jl׷Q | ,~V3άNh_ nԖvrq.:S>>k-D2C;2!CO)d_O8v (3c}z`hRRjMe'1,v~J& "vX  ^od4Sp'HT^=EzM\a cd;道*ROZ^"'Umϝ[wWm׋4ٴ.`Ӯ]]M0'QH)&Qg9:HdG'9z/]|׸_:ˮ3MrvD 2}^}d[C s 8Qƽr]c g7E[ \VoEZ zO) }I$ Nc uʶUm|R=jI_\L@2̺ڭF>ӣ-uo#qnEmh~ـ֕'"kPa/ V{tt当flUR3?:㊚ZfE6Zb4_85nIXF3ڠܿ%Zxp;$ CCi:TfX`,^\mf0+JAGE@M=뤐R6g,B᥋@RU{mԒt$+(Cih)P|WՉ4x;3Ӿ֭_*i! f,? o#֝o჻IߺTn?mRBH'۾QM }j>Y\)|6qGXʂ㐥a, 10&!ǝk|ĝd12f9r_"X rgjrT6]~X1W1m KQT:%y,nr_nvUN ّq`~-NdB˪~t<;@zpfb?)<"ބYġz5K uQooqo]: p(_dH8"ue7`]Z B\HiyQߐZܤF;{_GER?d'mݜ1?j JjA3ZHx#Dž}$\v L> AZgxJMJ2DE`!`81WgS-N\ߤЦEOc# |e 6kS` fYeNYZKOagn#+ Uo2Zs$0c&gu|``5<\wYC^Ibf;VD{PfCTJծM@HZU߆|RQyB6#ͪ*MsY35_e8!jRK${[X)T#xH >]1 pw}<*T`jz?FZ;sۃ_~Vm]*F9vF٘jTge48D0R7hغp%C8{ 7z)jă1A*̄XtGپ?i7!J׸Gu\q||DքA|DTXЙ=v{Q\qISO,@;g\;7Dw5%{DR76_UK.OO<쫷Wq޸%x6%֭6Z(|Mڋ?m~v^^^Z9䞾f$ݶj/D-q ~P:hdNv[֒߇O#ީ,ugDJЗC۠kBlәX6%ٮ6^~DY}|I{F`ZJh})LJm>YHi6n~΂^N \]rF& /a.gZhghlC7d⻀,{Qݝ9J&^{|MA1,d8:O ,[ʙ:65?[VP\n|%]݉Q pRp_F GK1HK IJX{^4U-X#f|nJ`:ߺ)/i6{NnBҵQ{TS1g?c(MCKl&~ gr/M&=:k!U|^\7sϕӈfgfhY0at^zO`W6@(5'B/lE˝дؚ 6ӓ6PiUw{uѷ߭ % mnXR-rtYti0nFc }yN6IpaPa|jq=c.@\uE=nPC;Sk=5M+0 R#+@|A? vWGiJ/v~ڞ>9|x,Khn>B|~w9q֖$kk9ܛcʂT&OI"W̆k(Pŵ5xy;m=V"jNv8kRw Q݊MB $.G!N-0P* j˷IH!W,y2x]z Q.VBeNgԔ."ԯ<4d'x+:~pOY.!)5Ͳh0N1b2|ْzb!n?n'131}/]/C&t`ޢr"q2V:ӒByy[LCR_~Ϛ[zD46Rf9=Wy׆;! \ܕi.,Q4 C[[$wM| e#AS O[Tq:4ry[ft9{%1n3`kllI<_ɲ ~8FVd$eKGo&F|Q0Ѡ~'=\U0Sf;]/ zs@5dkAM_T(fmRNA|z4Py+xu66u9TxlSn7k"҉mz!ia~$ M(Ĝd釮+9Az 3Ǧ"tޫ[?|{1OKf93 ejٝ͠޳o(%ْĂ.%PW<{sd3QQл} jd`?b躚w0:wZΠwSMsC'|M҂4IP>iy^!WJ$5䵷/aLzNTM[ 峍rkYJ2ؓ=ڍz2c٨(XU\ )Ӛh <,V|rK$΂d5$oH[ )dMD_Q- .W_o?k1vBjY `MXobf9ݧFϷ7P4s.^ ұ-,CNGѢÎjdyo(?|/j$Q2K^}ZL+cd R#ˮ#>dTHM3Wgw' ?KqB5({ #cFָ,ǼMCΞoNS!n8K!?j Bl0=jƔ/G@CdҲMI^Ep'ҷxg@jꬠO U =<}Hgi(%0iw8i]00A7(|ݺ/rD_Y v)Ǎрbӂ(Ju]tg&Jr+Tm8d=jChM/Kz磖X8U<) !ou}Ѐa?[pTD[Kپn&>nru-i`$s`ފGM0͒v=כӰk-fmiZ4y3C4 ;e)΢=nZ\]Nv`Z&.ҝJ 5R+Tfr%͒n rz @Տ#Р,7j7-O̎Y{ pF{)`4&Z(|C\[1аmyzNyIcҭnԞyoSet"!.اGjKXW4RY'V$]`H3RR=15.S^d)SNg^̡#:I7pD:Pn<|PHz$H?g  $0%5WeAՠRit tnc/v c91Iug+'r3Nni՛F/eq :%ސ:TXE4փF+rxZ{vhg46(ptaH/6t;(ŀ|cI!%HW 47NŠ&) ꐟۧ_" }~XeҽvG=h̦]xm~,tڲ8-ڬ;zJA}RrkCoK s 6{<,ZL&-Mb]O5} <gb,ء[O4#0)\dmtjcW% [^Ƨ*Thp-k9 !#argo&/,k7/'V RYnRKwIһ,#)2&c;L'lߌb \nja"oڸk !T(VaKS>#1#?;fYԔ{Dy5Ef [ '^!%R ~IFQwv{P{z MyeiPPƯ"˯_Ho: ղNR4H^L!yWZ01GktMeHnf]Z1\|LϱsvC0-iCPo϶R2m5+iX{r Ѱɚ[B'9 FGvݩ,$hfAigq k bUK>ubU`b%:/89LӰ0M.-{dWn #z|NQ)tV4 7?s=כX^Kh*;Ҩ[:P"oV  0gu@hoq=6CdW):?"2Ie7 i,q̠Q?oR^q0^>RlMvSRx|؇|o/@(6آ2#90Q4\c !̟3 ՘~ {nDa^J6_ C~IEۤb1 eq< q{pT6d!^J)ج72=rL}ryT%L&#t# -Z|ޭlĖkJ7i(bjPx%1Tد%Wǧ$CAdN./ zG@J͂Z/W7z!Ut϶s5i4q28qA:VC5Ũ+֢^C~%Bf s9H}ڇe߇(xC aоuqk)S *IulyZQCvs"3OH]A7 GjJDcm¡mY2ҽ=sUdZlpatHg-͡ ʓd<.ʇM] Nv7l=\q;{ڋlc[Wfglrc+Rl}uW,Q^67O(E04S(ܣd pɴll%ԧD B,Jy36$?wnhdā޸-ҔfϚ斔yŏ5J©Sry~L5ħ0-1M af `;z+#MS^dyg@:Zk)7Pˆ]IRk!PԸDjW$v1o.9*Yp(VէP//Ħ;8׋#AmJS'E ]^t-Lҥh=~?8ޣU97Dp4'b]tn05os ed BAy>mtmUzU\uXo%ZHkbX:Gw~?KKG[@{/u'W&}se2[d ԂKB##Od#g:ɾxd%$ {$TIy DS0qӸbzJaG >H"gSX1 3ò2PtfZA[{6$ y"gxۮ+\Ù_ҷĒ:A K}._|O*<= AlXYi\@Mt FjtNLX}%aUmx-,uCv{C&3O,G7@xj3;OBJe^1ە+^DSCf@60#"jݍ= b-LeNFghA_ۖ ζH** R%qkvCi@AϮ`דΉ6#̇:abᰅ+/˖q/~Q:dQ[,I56g$A sr1oeQ-njQX46dKuY`g*C]-m*f0m~6CsPO ^&û h[K'+Y_ ;l͡#>eBNRʘ Na770]Sdcf٥'}6h&aК<ݼCwJE!骻ߨazP2VMNTPv#a R82 D=tk3%k&nb˜N~ mZv(TrdթY5FЉ'Dcvnb]/IzGLl _szf : 6v[+zЁKv` 0l=)[B ?Z̸: ,I  k^o T VJ=^>--\O;gDLOtx*F W`m=^X'>x Y.0_ǃW.8.FYq5 MX,)4yW8< g^qAL9|`Մ ws[ xSoRzS+;"<V.2~F;Ƈ*[1$ߣ>hP=imɠ&ErHT[GَY CzY[&O40~Ri5}G@1!‹vBՍx>2aoLR"#D1l#d"C6N+w+7͉r2j+/>E %{(5AZHuvеpmWM#;!əXdL}XWePPt b ɤΥ ie!ʿv.qs϶ \l"`\ 7YLged=lP1KHƺ,vf쩍NU}q^}P[1d%7x"&^Y~0B0O(;mr<N>M aUzl#^^|vD)C**{">ΫV>bXVL)᷂ iSQ8 ,d3 ! ob?`+elj|k\0of|W]TtX܌ç"~<ͼ>CCnUWI;Ȍdc7{e.j#G7:ZGQIܙXU`IRnhzW_rLeaM ; H]R&6Mc/^U;Цc3(k[\죃{_e-# Y쭀p|Qz!x%0K:(OXeTa 6UZ2ɯw'r{|<%ǃY3cѧΐKlO(=*ĸ !n4gBK/Md۶ɴ"DL?-ĩ0˩OB"$v1%;*goCWkhJ1Akps׿ac DQ*d_Yv*o~D$$ iѼWRL)ۢ\܋&DSdnL2M:h3BA0 k>xy=ZE!ww{|a{2ۍk|_EV"q+q&]M_7.e^$Rq4Y:XجT/vdtwF[ f}h( Zx՛HЕ!w oQ%2z>l}33N\* PYB,b)akVr.AwvѪ Zsm0 )hzj)#x׿"z$z@Y;)@hCx{_Vthʖ4c&1fU}tBZy1#!goPb~ .?k;D13nIP;QudG5ߖDrSo1'sX^(d;J2͘&%'!oV)3t("3AK喙"re2/.eǴB&4Y o}H, eǶpA3pDwקbBW<,:>: \/>JIZ"̶2Q=I!]7>;xNrCQ]RGc'}~fzLHʿIJdJ4*qw2/inA0+g%8NG f=_fCv$5vn]kۢ1B롷_Qթ7Qۙz4K $j"x̓3meBč₸21c8Av_D^4g^=[O؄b_;iA+ :0Ș61zє~}dm; O(JHI]{W0}mHq7ۛ܅_ OT\gMPa~i8q4g}I'D9.K'A>OHt#G͓|wM֟$e"$t[PiIpvC-,ޜ2&5õ5 P p_\ jTm6zGWY TGxqV QAe4M*7cE2IF СǬ,Ვ=;n2Ut .L4#J.(EgSq qK{wk,<Rǭ_c|} |+bQJ5٢?WNJڦ(3llZ/IAȁkŮl|2\<„C -´10jC}AmM^t^qfŰׄ0NTŠ=kRoǿu#%@&AC]Ghm:R{0k!{n#LUٱngYZ7zXZִF! M#]ŗXi%!T=t׍G1/@NS'PMݞDZN";DE 3B~k&i X5ΙV ?2bZw;aO=9qtKN!kLzsPNBeP%=JpzW\8xEꚎ!t64]f !QR~$fKEc c0oME)'w1zWUd#p@Y۸!Ý +/񟚚;u!Vܙ}vv; D0oq\Y;AF|"78p[u//CIKRuUoE%UJ$C䜯z|ipG]ZRO{ :a);׎Gv'<@ַƶ{,|ӈ) RΥti;:9"vY7¡5jd[ }XT*ZKA&"䮾iݨ ۥd:^.SPN1TES_,ڥ*AW XGGJL6跫kaw+ `T,`ພ6(S[Kի$FmHWCQ*#2aU_:q.?$]aZ1-2Bvցc>YHJ~K'fbp[4`d{7q{(DQM9? g_fMGh_ :ygw*Ƨ\,Vc3aP6li!) R3e*!9YQ\okqq%b!ߚ?;QVQbZdL';WCg;2VH=!1ַ!Jb+[Cb~-A[^۪ڱ$ζ7mq*#B4 :¾Yt(O]0yZE<_61u[ Z^~CE,LTz^A}*Cqi_1q,T18 ?!Z0x'p]> 8`;d\`> 4p=9E!Gr`8 a!juZ%U.Z`+scvI 3SZ 3`kx 9%W)u\mfҰh+,•=;pI-}ȓ%* `Y}҄`'yrar)PFu|LM J.xD,Gct%"k%[&1{{;PB?|©ӵu*zvFLC?"!g(Qd;<֚EQe[G"R Kyi0IݙLLaگw^@Q hi֕K1psnsJI` j Д[55njZ@tpnx-Nk]_D>,l{y.\UzW.)QrfaLpbڎ-Ǝ 2YBi r('Ycj?rO%MJ-O׈IBË( K=kPb:i-`XϝFewWVqNXv-tZCy<#LY?NLb()!+wj@[ĒV,W7@kb莘|% 3}W5kJ!:^!?- {`pn!-j0 {cAdl> S) r$x"\wOASkkAbU[I&=TlS,%8)quÑ~V$90䔘R4tX֨joEBR%;ވ/}}2?@~"3v>Wp:.)8Up:kɁ7dz* +f>Nrcy!}ӧa )QBxLl-ZE+FJJRPZC --ZZo:ۿ<|@"70qB Oe'+7Xz? Rp"/oEw{޺DkV*zs(Fp6|iF䖧uLJlnVXUR!y2yD-}{-kZ=q~[Dyr+>HA+޴ "lJX`4(LG4:'PyRZRwןQ~9UXk ttV_ +7'l @}r >d f9q|/x?o]LF5IYFpwIJrQщq)LZl]F䤒ݦB.uFsM_h>]θL 9:iƇEB~UxD9R}/"1Dkw Rx Wk̶? k[P`ʄ`-6lhؒ$Wd#}d`B긥6M)d=U^\Jl 뚠h@!QYQֆX%ڏ7ۮ6K\+w7i8ׯ\l5͕AoEZ1悼6iOӱgCw/k/ b"]1fh#q:lyZֶZ _}&MʞZ(oϷ 2D~rj "ICN91":?wi*rWRUqvi镞}bO"ڎTzu%A{p[\U4cTԀ/{~  7$X1q;5Nu,v!l-`?C燿60KyWLM!]j MGY(tf7Du}`k$dx9 GL{ .6dI1{ˌ&Y#!wse$s<'8\q/$^JM 1JnZg@JF2fYn&mƅRtDkp]nzor) :AUiAl <)ǯgԉY#δJuN3xk!|y-Z{ƅ=iu|7^a!Z֝ pJ!91ޮtѥ{cni"1AϨֳhk/TnSEY!Arf2~PL Ŋn`۲\U=&ْYfVxր*Ҡo 7il=:x2drxMhDcSJYH(Ikh7+"' c]kLGoͭ[4|B?Y0ߙ%ldMTS]P? sE~bx#~k0ibG̳u &KWR݉|*P٬\7w&@W.Ё(1mJ)GZD$8O˖,5CB| eJؗ0?SLvVX2pPb[?2h8PǮZNbQ@*kGn ~+;cfJӖX@~DnB6Cf.AXǧoFiX@mN2vE^́"D=)\K^PFo僃MD`Wi+jH."]|H 7iX~8!"kF7SzՋpV{BjkSV(J-K4:=Pr[XU=&XlFfS/`8a݆jN*.Y䓦. /ӻI-2 H3]p"XA_45ϫ^>[v Ӏɾ 3\'n@_YWк *CѰWP1}7E#0&ŗ`%y87sP<9 [@D3V} 7ͦlק~j2uUoj=~p `f =bWXܙ\밁s_Nmr(jb4iI[}XV鄟v5s$蕄L2D`_w - : Om>'IUşin_I Ǫ#<+Mhzy;eͩ$8Gaैm&A_°m]<_ OuuPopYl )>N!hAQJAel\"DO(Tv O8׽6V `I㿻xٺ7rXHYL0 \+ʍO CfŮN>#ĚP͵Cw|Dn*cApr#R- ,w2.W c ^~*O, RXsLﰊ4S򚕋Aԓf&CS76+hJ<jTⲤG>YvsfBᑹzЬӆ eU^L ǻb{5gyYz.QMsbz.'"w}̴Gয=-cRڋ@>E/\&g[ϻ58>@HmȲ"Pq?R^S,j|`͕a0vm%1L~%-GlƮߋ]63f -@ T /v3o 8G^{RO +%E'35[-l1d֒,c/v^ͥ^fto]9,䮿D CXm飗xt] [s҉ 0t=wȻg}nĞ*`oZb:TSJ**d&z{c"K*̈+m-PWJߘ=`DAЭwS0+6|SVѷ:|ڏrZbRGk28o<J%pj"o|JB>MtxǟEJ@a|+bh B~8`[TdE䙰_ YNBk 9C,'?Wk | /Uf' A\)ؽ1.ix,uL⠘ېdmv?-SF¾ D_5#I̪О (F!X5 -/:cd݇@,@lPD-Tk0*0y#RV8; w* "*S'!sw 5j#j^K~ }@[8a7"eEZ G<x8M !Iǻ^ZSe!ENHkv%3be2`tb=~,=l1[kvȫA+tKgyImn7qV>NP,e.WN?j{(u~)ш;S9sh۔*sHw4b}V)Oq %:5oAlK-O*٦K[N`nH0!ouO@3_ B L>ADh%u>JkaC6yD`Mۈ,e&%u^:XVdce =P p*/(g'c-A-+|]UsOk&`-~ !jrfVi"?N?ngzmc6(Qsl|!*$,/hnfM"@%T*0.qK>Jr뱀< bk''x(B}X{&.F[Y R>榌 Pda;c @ECΠ.CabPj=4ϜcD8$JKy@EB#(Bb;FY_r;d4pt`[=vw%:WpC!!K@"4v"5Mcr?mH|ZǂxûjPSjA6tQ[9]0tu@>G) :󖸾[u65o^(cUUdDr]WL2fsK1xvI$u+9l,,+7iQ BR"ImZ_4Q1%[u1Sv)) + \2@6`}Xk8Z,Y.p€t);?ߨDQIxGqL^lJ%/dub[mb7kIe׳E>e'{VVDGkVʹPʕsSruMb]:KlhFZA( K@ʿAȌ&ǰy!?J7x|{ M9vр˕V|F رgYZ024706a71555fa9fb5a39bb22e93a953eb5035eb 024bab179d4bcb57c611ac8b95fb6ed8fe050ff3 0c9469e4651698f44e3e228873be074985fc67b7 0d624df132aa2e54b02fa619fa707a1b424b9830 0e4e787b46cf2afc20606e68c06bc065b875c838 16b142f3287ebd50fdaddabbdf8628b7a720c1fd 1b141e2e8ac2beb928bf6ea36aaf90aca6382b9d 1ca3142835bc9b688d23de4a6558ac3a6a87ae03 1cdff37cf2d478facb17fb736716b3d450d43abc 208ebee31d09c23f7c0c5f5b3ada47a7ee3241e2 233e9a764d44bb8e42be110a12649a7c72692e0d 2c84154247571ee3ef47275852cb10c68388ec97 3659b7a4fe489366077dfa8f4ab9908810ee4a97 383dee4bb60284cc7229af5017def9c12378879e 3f191c7ee2e376a50078b5509772599e430acb46 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 4c1108d112c227d129297bc5b0a2285f504cd8cf 5117119a178eac69d137fb85243808da2d667eaf 52e5f2680ef1ca208c17f3eacf7dc4e8a45b67cf 56e85ec5c6eac33f6d5d5dedf5492ccdc0fa4741 57e443a3fea5ad12945e6af98e0a03cf0c10ab76 59175f18e78499dff3b7b64aa01a674cae450f69 59b87da10037e0412d58ed835a05c9ffc41966d9 5fc2bdbb644c2f07bf08dfa5c35bff54d955ddfd 61e359cd8ba3d426a20a040570eb2fef1ea40508 688c88e7cfb0daa6190f25b8bd02d1c39cd6affe 69fa907a459182d48b606846841458d39dc133a8 6a1b07b082500f00f6c3b1326fbbeedb536bae44 6f74d54d41e5b89ac6594c9ceb0007b3aa5ac7b2 721a50e115e20b5258cb4af42f66447cde4351c5 79ad7c6ee51e5406482b2016b13bcdaa487f147e 7bb2894bf6b2b1879e224f67e577c429b34466a5 852c4b663a8d439dbafab771fff6222b134f0cbe 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 8bd814920b96df27c7f5c082bd648eea38999a2a 8dc925969b4a52182e129bdf71a6bb447110d774 957bedc484c7955a61145403f0af3f1e61056a8d 96065b30c9db112cf55bcbe78af20aeee6033380 973d6bd96dc9037f8676681fb869d6ae83013aac 994e906601e17310bff00be21ae5e216ebc52992 9b77012abb405b5074f042dcf131cceb8325fb17 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 9c52df44a3b721e101fda9a7625442a3618cf719 a47b7d1c7e0a9784ff3b99b9d705a7d89e5f8e0f a73e6f31a63992a1aaabae1d886da29a4443a823 af53a388343863b12d4453c5724c10943d377c74 b0da71364bc2be54deb4fdd60308913cb8ad347b b1ef7a3ec85404c96c4b02989c93710eb0f9d363 b2ef92730233e24015b0515488d4fb3a1f4c1d17 b5261f12319e577b831f1d0f0b4d76c47708907b c0ecb1ef1fbc78257f487f9066e951b63c5aa76f c11beb47edab9b4b6f9b48bf6d27178a7b0136d6 c16611f93e097744a02b24c20c06e2f3b50797c1 c22fb4b31d44c45d701e425bddb33bc2abebc0b1 c32365b31c91414a08e8c3ba9a9049928ee7a7d0 c648035b707fe4225d69d14cf3b2bb53c47a36b4 c6d4563f04eb4ebac2dc83cb78ada71329d6c904 c9a7834754ca020e75afb9d98e309c88e75bfb0a ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 ce9c7d7f0607a376c22196b1b3e57197fcb81da5 d34619e1038cc28dc5d047164c557984f111cbcd d37306300b125e96ec82560ed2962109f27282cb d45edbe29739bfdd7554584b57083bd0684f7fe9 d7d6ac5a68cd81a8e80b54128cf50638a91014f2 d96da34e5d56a0c504e628cdd1b1e89238a20199 db96e1c8cd9cf942b1312b0c9f9fbc9109e2d870 ddeafb789ceecf6113f05c3fd39d4483efff0627 e16dd81c25115952353dc50e98ef8842c8109688 e21ff2f778634eab10e1d18ee63b7670ea50ba6a e464064f8b1f94fd133bc9b04d05f6eb68bc9035 ea07fbeffcb1368ab04358e4a6792a15022e958f ec2c92cc63034c6dbd5837d492be1013eaf168d1 f3194d44d628c80583c9ae2956bfa858c8d7c832 f3194d44d628c80583c9ae2956bfa858c8d7c832 f3797474fbc99bc21902e22de8b764a4e0fb827e f7d7695b21718df39e8a80a5c0e149dd8fdcff3e f83aeeb3c8eefeaed871fd7c865d97cfddd84745 f9ad8b0e4dc237bddb1a7187abcb79226fec1f90 fafd5c6bc1eb25e3781fd0e053c6380b3d4c8436fd26823aea4412c74308567751ae895bf997201a c51b383787a599e178e4e8b340122b3ecdee1700 7622bc2e645f6e30305ef7a62a74fc6ff2647476