SQLite format 3@ .;  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<, ]S Pell:threads=4elapsed=24.088cpu=64.768gc=0.8647zXZִF! ]ŗXiɟH)0!h]GdUvEe4kF- ={Fͣ%뿈|x:E!lDke-HćT=Z%&9 2 F)79}q;, P^b( hǗ˜O~Sh0$}v";#wc_^pŚ#7kZ(܏akw 'N7]b*,Y(PbQKna Pe;d+1Ň {;d 5~Ȱ1@'}O²A7̀眗ߑ/=NpWpV}[˽pR=\c !:rYDƧծ.׹tRYn*հԃAV e l.5\g=4HZ( aB.-B9\h1!jJN+ ك[ T^d}l U*:J@ ?6wݍ6nM0]n>LY4S_K(6Oԩhhb $!B/o=4~$1s1 Mz+lva,D0O%~¤8J転.Vͧ"aS!M6 2XUQuyx5?Uth+D0I]$qjJOCϴB^'lJU8̓|K_P&;hsC3{Fxv-d/K;xfHsP.l};uLx?"d`|NJ/[ /&s0D/Iq7=ZzzAѻ6XA,hҹ%cĨ&LANyQK=赹X:tD= 㪣E. F'hI՘q(ڄ(-2Y)_z_2e~bNUhQHq[4ٛ{7"T0g@]-;KsG\"ʹ5́ ٲ;}]ґ9b4($%"mtGQiL~DLi74{ 60%B=F{tD_y(:">! =G3iiWSJ7chZdaV)tb\oj|]FhqvːWU݈~wx @~dg_'=Z rETj>JV0ؠAD04۔ʦBЭc'<q7 ~g4*c9rm%Ӄrd0*`L?C'Wķə_"1% m-#J$A G`H Ü?ǂ~]qx&ĺL5zדz*2|eaiVVZ6+f]>{w3$!)Tɹi}AA\L=8X6 |1L)LUxlgp|53rNO3 83G1Qa Ҹ0~̐^"]SR&@à5UyrHMhKdQ4A7IbjXijm1RmtyȵcA@#dcNc=`sPA=)Oh B`H柳'&q\‹1x&P| U4Jo90XD։-$~PXcqp+FZӮjNKSjIO2K\Ly'fT"ɑ9ŹHgg)T|50I"H'}pOP2qo|Miq{{)*_mGD ̕NxЏlZjPxv؋juÅApnԻƗ -Cl<2WySZ^7NGM+Y d=ΉhRnlɥ/ 壊[Σ<=;YJt[ tS4Z73E,̶JO>bv]8WQF<{k1iz\Hh"&beIUcͩtun9X^wym+بShjB(C"ݚv{0-:ʌBةqMz }{FdI 2NqyBeһ-M؄,iNo'lΪ+DB㽨t깃@fͱG:3*-XO DqJܙ܆M냵:AIۋ fw$ tAv[DbtkXEI4ImП'-;SsVd󈡰><dAݥm6+\N(?\SӸ`hVjXgGNU.;Q}2pڏAG mHJfevQg4HLh|,(0h7z}Vi$C~ܣ]{~k^\=L$Pޓ wzMm$[r^9l/9lŭŴ/859 zԻVI`+:=2ըU\hDjC Wէ  PND m_k/3U (.jn;urPO2GOn3܉K|MtDpKS]C`$-Aueq2Z岒}mUDWkZ|)1xVΜM~uהTslѢjCp2} Q#2AWg PtH}>f7uZЊ[t:Ȁ[OE oQvb9 Vl>өD`L='ƒfΖ$rl Tʈ?#G_ne~̽kroL_'"ɤ!%$P+HK]Mno2{6P*qP88 M!FEK: R4P#0Ә#;Rj=TNe)5hJuh# r0+R)MJCӪ1!-P4Sh6jHr!NK-8ȻUخ XPMGZGȟ%I 5Pש~mՄ3={ ZC#tY,lc(x?A_{tf w [=Eܙ(5̽ɿa﵏+N] 6Nz Ϻak}$,XIcZCi..xUuݚ|+ AV3 9i8;,DLtǕp4cm[oϋŏZ _*+aY#7ٳ`t"|NolՍK)]=ĀfdL>ȀZH9Hr)ooTc2D #=ևvºxdN sOJtt0&A+SQCጎ5"Q. Zڟ0AZ DW5;ii5 舤Da.va~ʼ4:Cνj#E~ILΞU$ۙMBQ괵?qVR 㪳#i?rx4T#w]S\Aՠx5fGQ\u~cbQXJ6{@9D<;PBG !-SWȻnr&Z){{ܖ,H{j1/aa\Lb_V3G20ԟ7v]$ZA^H2zdUΔ"D b&M/)PyqYB g:0Q*[0>[+ODҰ< >PS)!pˉLF@<;٤<_iEUS}Xge;zgmjeىO"v~F$煞z떫{iԐ~t{\k.9[9QF_,AP1JeعmԝSa0%{{] ΋&tv!O(vnEr|Oo,fpgYZD٣3W\LorBsC2Y+me玗UP>8G_ {6B60,tZV ՘uL8>Ij=#}_Op<]b.=yz !୛j4Ԋ<8AlNXuvtY6 eQ IUJG\?G5Р^WCb6XT>Jr+gNZ,(7pfQr I{9ᄭPBDjxA$[,Q&9ǠH0Zߛ+SKVYcUP}glj3@#꽯`լR_ϰK)3M " {i)JP:MjpW¦wm-cuP{'hZuXg6-.8rTqR %ZC(=ltaL^tt_+Y>+6й,9et>:+L, !~?:}yPNFK\v#Ne3=WEEbUH[HvmxBh.g6jY$|lcu4#pV<" 51q́^/@1 6@AH;"X}(,E[Uy @fwYI+d#ilћnvq7R3>-ic QrSYEmhr)o҆-|".م>F+$ЛBZLmWs!'S޸%jSŅ|^O\cgo@<{ATT^B9ot|UE4̋@%0ԑ.&/p!3Lf65C:>q@ H7ʪէw+χf݇| VÀ҃⇀L1S1VݝL}:${vsRɹpQU\ @ձUh HhUL0j[xX!QD)9TKs@`u3H(c솤@wޤuVхD5mBH7YA35XꦏRSZb}P݅kej[MʞPtϴBϧ< &wHW ֺb: {#߃jz6i?;7aA4x;Ubg4]9%\Zg>snScu>(!;_2Ly咑2e0؝\M#^ѥ(Y*7)˼apu+>X~9{;%1cix^>A:Kۅ$Yh7sUgUuMբGcI_ 43.P<.A 9 n@a\I-hkp}nˉiᦻNl:/SxpwfŹK_|&a{vMk/i]YL&+\H!ny'+FZQӉ]KX"jcKHj,>UTܸKYzyM7ZG[N/lM*tJۧ{d-l}'u2!0IhL7rߴF$݌iYϜ.`ew-Kۋ72f;5-%eWNҰSoI[mM=0 b ,8«:pJBxC cľnA3Pڹ[RT>F kpQāW}z=t/G apm/D Gliv8<[vΩ@o3E{@Nppv^FoX)$>YY=$Rqո Kx.,{enܴ Z47Ek!DBgLUͼumuJ9?kNjo'7Q1E EQ<7Mjρ+{&{ѐ zi%Q^5_|,:h!6Xb"|F<օ1x+rG8b #"vc)(c9 ]Qǖ2NT:~QQsijFzSmC0`㙵މHoQ.8=ݝrA>CG9bicf'tݞq>Jb}@6\G0Ю>c=)uy홱F5pq FLynb>3'ułG'%֦.y>n/C3@Cm| #齙OMeT0R(+S@΃4`tl}!+rZA(h;x3s 7;rI:g70'uKyGK^yU `dr;wrGRG>LgVB7L8{ .g X%x [=!|[+\)UeB3WYzmHq?@ZwfU۱!`Bt5!p6`SMRʊ yB!TEW3K^{t٬NE ]B/pi, U%(;6GF _Ʉ#s9lxt3_7ۆɨR9Ql-~(WFp%1J"HGg 2) !PV$a X! I%-8ΐ`fFN+#0#_!nM𶦇<}$1fj0򒙲Vu0jپX ޅB o#{jLh;Tc+.6̀A*LVWX~99hFIpU[qMg):?'LLʪiRv+oC'<[$:ԏ7ɳS!;3(|dM[0~YTg)@o"eIgŹpul k-dE?[StYC9}Xr_H06&DA5dM0{ k*]f—~M8W  ײjI&Fmj.BԵN̍:^~ϧY{dX+Wv3 $HOm&-D{QWึ6E[rhOmV9VhlKtjӫP_<0Po}Ees.֜auPHvzN8;@ 4t]F*=#Ϭc2Nw^|*QDK;V}˵}d- ri!`>@"#4 Jۊ[&_Qfq$z3ApFnV3oW!ԛ#4l-ygYZ c 2cL=% DPellPell.Pell_Algorithm_Testdocument.tex7zXZִF! Z]A-MՋhvG"uIBm5Ɛ<QMB3N'7Wq9-RJљiOs F]IGiା,ŵ *tHtTSe>܏akw 'N7]b*,Y(PbQKna Pe;d+1Ň {;d 5~Ȱ1@'}O²A7̀眗ߑ/=NpWpV}[˽pR=\c !:rYDƧծ.׹tRYn*հԃAV e l.5\g=4HZ( aB.-B9\h1!jJN+ ك[ T^d}l U*:J@ ?6wݍ6nM0]n>LY4S_K(6Oԩhhb $!B/o=4~$1s1 Mz+lva,D0O%~¤8J転.Vͧ"aS!M6 2XUQuyx5?Uth+D0I]$qjJOCϴB^'lJU8̓|K_P&;hsC3{Fxv-d/K;xfHsP.l};uLx?"d`|NJ/[ /&s0D/Iq7=ZzzAѻ6XA,hҹ%cĨ&LANyQK=赹X:tD= 㪣E. F'hI՘q(ڄ(-2Y)_z_2e~bNUhQHq[4ٛ{7"T0g@]-;KsG\"ʹ5́ ٲ;}]ґ9b4($%"mtGQiL~DLi74{ 60%B=F{tD_y(:">! =G3iiWSJ7chZdaV)tb\oj|]FhqvːWU݈~wx @~dg_'=Z rETj>JV0ؠAD04۔ʦBЭc'<q7 ~g4*c9rm%Ӄrd0*`L?C'Wķə_"1% m-#J$A G`H Ü?ǂ~]qx&ĺL5zדz*2|eaiVVZ6+f]>{w3$!)Tɹi}AA\L=8X6 |1L)LUxlgp|53rNO3 83G1Qa Ҹ0~̐^"](<ʜ} e*#vbFu;F l_$| \DY!v-ث[|SKϋ6X ."xvm[ɅpA̮*{=y$MGJCWg#5*kմ4}UȄAԘeV쒮3BCK*L`M+'x'݉Dtp6jw'To_t]Fo\>@l6\t3$mwbSRrMLԡѼG5EL-b- {XmvuO7`uyPIhQ| NBЙ_1]#s DZ+g&q1נrrѶ{PM(o0:<K I֘LCޣϱ5PpHƹᛀ1SZIf,NCq*`60R(:t&1bkX" \W4(RyzF7%/t9@OES:fnw9"`rgS!umR5'XڢIzrܙ͵* ;aAt 3A%Hnj-ܱ%'jx\+ 6C >PR!TR=ŧIsm(Dq(c?8j^e|5  NZ'qj&J@ @.-8Ѥ(t~A?{G/u4H"*inB&ǂj޵zԅ/T!k4dW^bsT- c`153UOZoOX67";YFPe}FSPW + zx]W|9]^־au^HG),C X0UaO襩ZÍ.=\r?;BkIG[ 7|^>jC |AfRU{&ulf9xmTpP-ج'/F&(,j˜G=ߍ?Yw ae # AeO6$ Ch!*X;}.y352E R!Li-> '\Q =>ߍ-i8 \E% \PellPell.Efficient_Discrete_Sqrtdocument.tex7zXZִF! 'sg]A-MՋhvG"uIBm5^7GW(é n'F,ev'.RcaLYXf˩v{HePlwuzo׾ YX5j.k5_,biaz&nW3F|&I>(yWWO dm(w|kWb mK,.םo9pTZt[V!ۖNJK_[+.4 9(er@u|fΦ0 rb$"Q)T!8;>jזpHg+obZzH@ ;른n3>bէZޘ&s^D< gx7yi3;I*{Z NJ=1Rkk3Zas ֠ȮC ׿[D䱓Zæuh4uNSةZ{xZ h`qp aieG!-ّsYNT%b;J&6w(B F@=mG򡔕 =q܅gBA6XT:FrpoZ3 ٫B4-`Ku<  [9̧[<;`$]K+ha?чM~UƏ5ޥvVX ͼ woL0N'3Pk N>H'>uڅV ז|K{p~/Gm!ЅVuvax^rMk~4"\t2}i@>W)FS ~%/t \V7eצܑ&E FOuΠ;N8@2/<%[G*!R΅Q|$=G>9Ɣ nx|`Iq )bq>Ϫ*|iqA]0pQc3vm8N4n&(d8 1Y.,mI@O|p7oj{*Ds8pL=Oc!:>X^-`SʳU@#JDlz0ݮؿbT$c~'(n32݌",OD$If4RST3t&.!:z6Hƭ/Pէ*@QD7 ÏۅSJ" )(4l&w'D&am1 ˂v%!zdvAPV&q08}!It֛Ssg[bgC9Č@- \YK0@"DV]nrE|WX.h~IkƙRQ,?[%t8 "^||})g 0kJLy22b;ף^婩ݥSo~X)0_޸MyٌЉ\ͤ㘮>=>{/[hiIMzJ#y p#hZ^<]~Ĉ|6W? pvwu+@] 7Ūf5]j?䕣`3 PoC5aLp@WČ ֨ a֘^`9X[Z>@] 9K>yª )r)8sN͎*[$4;tP8*D /Iʷw7j=F#ԶᛗDI߂D5d"7L 1t? W[{٥#cl"f:@'smj!ۇI^8׆W;;[N]xeWt@&g0OG<m T$irPlSKۆZ3S$?WQ0yfRoT1M;cmueoGGP"$23:7?ᾜ@`hxFRG_jE#V !iꞸqaďGFz6_@t/&n;d Q psarӬ?V,_>ҾR ٿ??TVZs DS~ߤ U'}{je;{#EY(Di}@?N}Nk?4,A2v4`y LgΕՐIL}xWɽg1SykXy3RG^ T'\3=-SZ\بP9)_Y$z\bUh2.*Y7&ErA~w&FD)P KHOTڬd2Uد*]yv51YD_|5 SL;G97)$KRXXR+I8N`Y~[본W8? M+MYV^PTJt$n Fs6M΂dSU }PKDA7QlrRoF_=^شRKj6٠Y)_kL* FcM 3⥕y,6>Oen=rc`1K( +su1)1I,d`ɦ'޼ޠs-x1 3?Mx 5&m`-`yK cb| ,m$X0(aT ۴'Xmb`͎ep4tf9jed5GGX4K3te *ւnrsWK qs5u~I.Dqܫ["\S-<3i<=Dʮ+su.4qjJY۫aHcA+K[A*:4xg?ko0$J\X 7(OJ^6 2l>HU2'(QBF 3eQ9HQńgx-e;[HYH}_o%pqkDv+쨫P^/=n8oҕɸŨm ݶt,&do+mFO>!~KX({% pW :7dj^l`' Ф|XsΌ]X[$?f^st",r C)1а#v.up^arhETmFӊ:,Y $*c~+QP鍪u+ϰ3|ұ ޟ_—ftkR9S\lbHZB'u (>汗:lW(h|QmX2}Pzڑhw@5y>-Po3 ؟ŭ>5%Ւq9}wh]G;JYtFgۘK9, ;EZUSCí 5ť%c.ajXՕwVrbq:T+AibTp]K ޽$O@L^DՈ?b^@8U'p\BAv~kF>i><V;J`́`sF;,>|Cf{6Ϩc Ϗ he3ơR/;w7oZ5Mo` Sȑ-#4*1D&I33[ݽ%IBZ칖<}wa-hApiDЩǠP#mחc|^׵4$ԧ]R4bY{GݍRSpϩ|\34A!3 [s}+ Ri^IhcufL$4$H㑃Vb* 7KBb[lOex8r.`0473j}BkOSȜiz.Qe[ %5SLvA+y N ~×H놩rA0NR2*AݶILvhªv ZQjkSkq$'ؘsPUooǖ Եc_X{nF,(7 CG?;0$M9đRˆ @Q%SؒO-`F0^wwQh!A]/'h&+hRͦq ٴ2 PxV]þWgr~t [6IGM#ʡq^6f*{kB"nOw}w챉Ҥ>t(䲢@fNZs.bgN^vnBڐa6<؊QHzr*xd,#$3+wjV}U!ܸ2GDSW&JVD^$770Ik[?ֳzw{00V\3_mZI`>F_o :Ïb_U4&gJohÍyA4R op2穒"wǑC"t|Jw.PVVԉo2(vӖ4\(^j$|&9ONJq‹iى}%nS$F.N$Eeh_mަ)7`FYGKhgѴs*f;tv(ipQ.PM4Cqgk%kO==s0Cm(1c3-}`FAF7@wnxΜq9St@=CfX>4~0] 䃻+}urSVv >8P&R?>~3q!beϺYRWLcokrN أ4^:3S/0%#(ue=6T&]V (*)w8ĮsxݻyF23_&jGfo'wbc:]vZ #JcKj`pRk6K(T2jK+RtwxsNrIL)Xvݾ3lM|p}-`μ;=,o "gWh|;OjndFCh 7OU0]g;b$}P|]@BZ= XMWtivkՒcX"G3 ~lq&ypTGjTDť^4"X>8q`'_ݟ6:K?.YyF}a)w-hKEe G&$ 8LZ3tϾen KedzU]W 2jW"I׏qldspBaO(K=EWQ82 -:(Gևp1^P-?Vn?(``, C^@K2:k naPdVB!SkCE0+hIƘ+P)].ȫ؋!$9A7^ )Q,+;w"2wlO! /"m4\z "̾qAE4;' \KV[̵ OqaCF]>rjIɓp1 ~j՗EWL~2yMۏ5 (iZH21kp|B%pf A`Nox AN@PD\Aă@`ێo6qGȊJ|3"ٰ~c?EN^op-^ o1=ԩ4Қp24Cghυx4W34icU3X B voa'lك]1M%V.q_[؛I9^,ћgMjmGt+7cPpu+rb!ߕna^By1ڕ97 NI%rw17Wt?M 9CcV\*/ PmN•U] fji+W75tILfCv nN8syZ]1Qޏ>dؚj~lXA.$[͕3税VAe\x`p$U2 ;FrTOhA[Q֑j.D%(䋛Z ³3F^8)E/\°Di@߬̿lC]Ip&e}xVBhzH⵴͟zZE4ג#؍>%t/N}I=:(;'!q J>`IU4QKّcw Wiq"(}L< % +yI3?v}io$z5Eg,@Zgc>Bva Pl鯺Zx?꭪ X,4¶ZT浅R#s\TɌ ЂE&c#eՉ9☘Z}4]Dn4p6+5ǨS/0Jo {sөEǽ2% ,Vٿz~ $ʈG>҂u mw+Pۨ(ih5ks4n1.tpw2UTUA+WI2#$hO|%:lb "ڤ&~Zi-Ll"J9nX\p#baDnr,n~Fku>R53f5H4+#!W5BZm뫍 d7׬9g8 ^,H(?^KH|Wrj-: ?؎ ݎ#pN:pHzcWMB_w81 R}Ǻ{3UDdⱹcE!۝.zzi풿)"&9K󪎗Ɍ_R&%ȸYHYu,J=+*]6uB}gXv:Ϲ7wq5;%il4DƟX<9X)^Tax@fFȄq])>E.Joĸ۶k:,qHkj&_NB#: "ޜjˌq:fK-ʵzkj,P>3XPD|ty`rWDxD4qǧ =;&Բz(~hV iejǢA[A²DWsOn MZ7c%6vl [N\ҋdzWPb'U%Gp`^W&Ԑ:G _VVŷEno8Ci.ޕU+j4a-XzxpPW`gY:a% MХeI5~Cv,pms[IIG:ß"vZ$+B2T O\1Kk ƕ #Bg.Z oj4n9a}͆|;cY 8z˵kfe]GҹWV| ZXUb &heU2'~٣S!Ԋy;j;>>ޕ=:쇇M8};EكEzH&$wCnhida(C-~чnC 0'8[h8 PBx|0KgzmAwe=\˳btbWJ#P:%nk*2CoTǡf3_*@vocAl}k}ZdpDƞ%0y0Pf4LHC;$L18&ǝ(!l5]ߠ3vi جND7kľ5zˆզ.y[G&4q8.[g×$/>˙Y;2f_Zw|L@lgaHmɕ]&Jw:lD쫌ErȺKa;Q”DZlu f,FQ3 x޷>?^\!.ҘBκDF;$a }+IO546 yG1s<<‚cgƲ,n{iF8n/TƏc/KE%*@Y+>:=H:M޺X#N<3rQ-%!\SV63hl,X^ KuM% @. LVKD*-eGysKi4ΐb:X֦1\x(@)ʻYn!W1v?n%'ڬ˰WE] 0=4<$m$OQߊ\ȼƽ;}#ݛU>SzO:ܦ)ke3@-QW w݇|%3 So6!$޶R 4A6gBC)҃Ѽ?'C<.v21FH5i`f]{KQRQ Kp/Rm /tZ˳e[u- ᦏW@Md/*,ӆ@or8i cI88&W{25洿& }+x>#d1gxȅNC{ijss yҴƀ7 4FF-xP *fpO;]/AvII3WjKEsAqif'f.(N<͌JtW,=~'){(.-PTF c圜|*sIb HGb8篜h۹Rp+(y2)U]u6jsɖhܟՑT YP62RFRh#O`$vμ+'7;_Yʆ/<[Jx_OP,W?9YmY3) &dJ!!+?CQ[OLLxԀ3V#,P ̋G;ؓ=x Qv$y5-I;YۘgSr*pj]^k-欖wQ/oKވ(󈳜sʦH_B]k%)O0Nr|sB.&[CmCB %@VEsJ~{g!;z联-:i2Y ┐"/LuUB5zq[Kv5 nq<`*j b! -F]xv kB.D"#7rD;Űr~b ;DF/NDLJeFn+,;HU1 85vt>߰n$9GְS144^1f; 跗p^d+x4R]qt2s XDmJ^^ȵڼibj1,Z3NA (5XUeF+,^ׯ;(~Qj͡'աFD98e]ẉ*؅R =mTމ%)0^Z7NE֪K<1CA.V_o#9>wCk[A>m`wF\^hQ'Ã!lH;8!8J ۑ_ [?bjya阤(^ƃ2tIX*ǬF -\󟲼?+}'˝u`ұg?sÙѾkRCؔ0u~J?E 8#=7(l2r$21q3LTOHJb1Z.|-MW%[B' J2r70%H 6@I.ߋ&R|j`3xAG?'!u!w_Aay32~܄8Aϧ<'f'* ee&uJa =lJ^ƥtM3 ًܳIWK;2 jWV\E(ITV0*IM풨ҋ0P#FAb({hΥ^b_$0x%v؝㌡ I; _-sT&KP!u,K@ TwG2s'URӝؖi :)ym[9h/hsR)h+>Ń En.}Ր^pPF&'\X^9QROA$?oNj]=)Twt[EI(8ȋ \z40Ѧ{[yJ< Qlf!ry^ĸ>?qexZ29f=A p"AX{U㴾WWx[d~A#. mv\F`+fwar 8A2+T,×H$@#(~͙?)-K׃L]C :Ç( ۴+b ] ¶ҷo񕑁<t TBrmrTYTD1%YH P%V5 /݉ mܥ 7< Bȩg͈Ia @G]1I["fW\*r?vȆ/!]ن?YpXq96Ơ*OѴ buxu‹@ > ~ayb=Z EP8pc~ɦei, x_ǻ"Jk|8W%^˗[-~MzosK89r)X ,v1_ V"<2qsP0tZ*=Uq0 ~7X7止'-]/͢ 扠V}R) tIXeFV3nuۻ<8}5s7MH1^eX;8pbLXj4?@b8 FY'cMK6o[^?Dmƒ&I`r{Wcv{z{ ?7bȲ23tg]$e+`+D3>-GY(]@x Z>ߞWA-3]7תϛκҼ.4,`@A&hUB*ױW9C5ޔ_psMI6i@m&)т2GZ }EK\S#+81UzXU˺o{Sګ9zvǃ$=h~JBHׁ,9>1sŃkش!WI{Օ*|GelJWV$;,YfY 1)Qkn H0ʢn&"kd_ XM"`V}4~x[hkY*=~ӐbGu$x銣c>8%XߠXPPd;j +~1?fi.wU yΰη|qh̼F$`Ӧ^7@ᜪ1(wN$;޺-ūֶEV $jȭ(|~iǺI6Q*ʥƙ7 (7Mȣ߆v_H,]jv$ܵ6tЙyp3TO6Wo ϓh} #jҹTan:E5;YG lk9j7O{W 5K; ݬ5lt^+;p|&V+vof՜3}HP fֶD;m xȷƝ(1ۀ3x+F)3g -mjYy3V)⩔zw8 C/@zNy z$7t*Py-u`ݜ sB$mYlEEj6˪w#Rz)N6Cn2}i=6 B_v\у(:36PA/F aanb V?lc<^@zN`i8)RP]w' #᾵a-Dj@iZe-nMTTMvm;Mba|W{JuқGX])>98x05xdWP&<:hZB:vGեkC+@_+)#}GOanU4\ XF PTFÐT= ?ۄY9kgavhVXHT''YZe'3C\Ԅ<9ܒ{yK:x- Ḷh"0wzu|"ptoæQR辅̎^ fCUP`@$A$fmi27ٟI: #8'ziP3PT{_Oi4){Y?|fBCr6Gٕ#0Z=AΊ'5e/kiy^R[/6f,x PԁaUr#;dfߨ|VK309 }JO PFiP}w@#v`@A"jt {A侅=gtAa5t09wup68 BGW |l(7Z\ɡˋ}|.㟬;'3RÔa-":%W&$L?ަT{+Bѝ"Tqaj]zҡubqo|Rt$YҪx"`Z?DUDėbigՕ`DMΤ^ n'4:%ş|H/GhB|8.:V 2}ĝe~bpXiwJ@ '^fL c xAvDajq`stq9=Zfh#ylҟ+׻C;aj3%:2C' #s1(y% !1lͰ_:Ͻ 5ݝm}}5:!`0?q*rf}]n=>OH4)"#EktƼBi.؂zq8=Z}* J@jg1M8dD Wn$#c th ;ii/'n [KNRZ$IjQG6aڴBjVZu/Cz]"ijBb#`)Q7Sjgw֙SN.::MR$XZH6[s3BE˗逿lVo%J/ ڄj=3I3ztn$f=-b ',{LR!8VS& 3AgJaП}ӝa5K` $`0/ C,Yzʷ9aKmz֟21c QΡbR__80I'*\9c>v/Ћ6!\_u-L '^P"]A`gla,p/'Li2TێHo5ƟY6nxΧl֣ }m3X~7a=$^s+lGy1-T)Th ^LDO Sk߅=̧31&Oȃ1*[>нD o }}b/Ls"^ D,c ũ(}1jm6U~q-D$۩d Ϯ8†o2;Yx&p5ү|Z8tKQb,u^sթߒ1ͩ3]tM}Y%UEl -rQR F\7|`Ea۔h`q/4IЧmOC̸r 3 TJs'ZCGC+iHQm(Eq^ZRXR@+_cf—@(jFzݎ zYHMibMsF{t1':@Hᦐ.놤JWzY(j gd.jWzNU;|tq4ѐpSvۻYsoBRBnu'0Z̥ ko\YF./L)Y% pUˬD7ځv&Ƚ; (Hfl0kÕQ0Un$#; %M/ObYLN$u5@`ƪ7R9{oBOXWLޢ]!g ĆU弲lPTi eYێs w<^)#❐5f\AHLd-W9Ik~[QÅh )ykPhZUܕ8Y*<|lU]kŴ* ͎;|؃nr&+@n/wwu@~c I3C|m;_Օ oت3Q;Gtq/,V3aY.}E1V3 xe1¢1:g=vi:v1g:Nnue,:!B yDsx VyD(9"(4:H~eqLϞ7y'l>UseI{h ^eۚsKAխnw}8Vo9VTdWaџf^um?--;܋NKM1EGzRiX7KlHƕ3̒2>p'[]T}6s]ŗX~)tAmy(9L@"D8țuŵLv/QWtWdP wQaYl3;i-:%2Us+>${'ȟ}5{|鑎.3Hh>*q.FPMlБ|zWq&дg`8ۑx';h&Jj7XSW쿔UTqQ 6$f޳CthM^"}mY ={$cayuRaL4]6RxL3tᓫPs9hvi}`#)e)X[(MZNZ2DY=X\{*G+ޕH.)b!х42- (\p ";,wөߢȰ J{5Jӗ^fI4е=Rph&IЋwv ` \m^ lȣj尖/jrUI# (UǬe%qM4EҜn㊫~/bB=ӊPn4#lLy99[Kb/b?g ]=y&iLڡwi83@ܞUd} E)NꕦHo89+p g%vwrmt^*\ڒs p(ہm1#RС,MlFNY~LSjIex=xeI8\c:\T|IpaDay[-YU2J27X!O$cz[,I'+~&k+q\;XicaXb55-Tjf_aoh K>vǣSn@),ʭ̀)aNK|=Qy}4E Kc="<[uц] ܲ!,^KlAc@s<ŒW+?ST (Gf9'Y֪jr 1gY$!{`8K n%UYn[꩜ތ3;a(YQfYa6x/{0lwxF8/U9 n$C0Dϋ xxz5~ gYZ7zXZִF! #]ŗXiɟ}]B)Z7|; aZlJ fnLR?/S,I|Gv[^޿ɛxEqmInsd5͋h3|ߏ[`}:N1}@xCy+1 +ѭC>e_R`E;ٕ?gYZ7zXZִF! ]ŗXi%D8W.SGy`q J`1OH(aKI);T@3,"$ˀo*,}')D;cS+T"Q?Mj1ͦf^h졏MHOierPM{:&Mdv3hG B1ym66RkOd-8.8m״s+9bk>@j// ffNG;Nx'eC)ɬYNmp\9lj:ˤ 0\\ϹT$߳ !c>=bAIAa#3#ucY+N3L_Kעaxyy-Uʷ10νT>EW`ս~4ǐ#. ZCEÊewK'"7%<#.k/_z WCXPcy -Nh>1< E1ҹ;iKXX'ʫ WX2j}fGORj"Y1ffSp4pJ1$jȁ^j) u:қQq &YzXZwj-sKx2UMT7 wjׂ7$.Gz>jy/|`J_ׂ'^9v;_mEts 5P |C/+A0lab=H $`1+E+ Ùg:4(V% [\bQ /gPE:QW ]Ф$jkOt:q8t:v ;|Zc ˞'?§y"r@EwtKq[%SBBɚzJq, =;hnAu3=zB<*R)ݢ}Ue#4@t_/owB(J1y)~:Lr! v̲ܼ˵}Ej؁E3S ŒQ!$zMcQۥQx$$ |x}7j1l]H*q#B=PMQG bw5ĽWG"u0l1E67R~vn:n hk8*о?_S2$[`IʀVGimڻ斈icخzzuDZ0֘CQ'-Kأ Q!{TZö/5,/IZSLn#c854X'3?wl!Ȩ_Aany~iT~c1$4dXWzRtQA1'~[&X銜Fa-˜Ij[Mrgd/kb.69JThtKfņbh-2rF[E4>*r.PJ;LiUrV, RϯIHJe󤣀/j3\df?1傿iClFk ;#<00=kɍ? |G0T]᧙43܎.T鋷QYlaȅE yg$LhRS3ҕ0OklUmMTg+_Ҙ$5mn`A^m'4 U^3,b.L8 ',=W sKzRJC.2:z,fS2Q`V$?'p!y3z 3S!szMVp0~\~y ݛ>Q8%r((a-EOآad(c@qIE`mVFpZ#Tjf[[]#:l#5a!K>0SHi"wٜ1,Crqbڴ2 <뉇Ak7 ^mt3u /lLas- U62bu*=ΎWQTas;,ceW#hJXPt! x膮Tč.+lqRPԔG!lnLO rR~k{T9tEK @T!Us<ᛖ*ϛ%> $Uulwޅ0B $y{d%izF' dn`F'Ulo:GM ~rZ hXMbf\ &;sn!c<mfإA&ʑ@rѐ Ӑ%e?;*g R/2˯tY)/FL"o?VN-qfbXr&g"kͱՎ}UHe%`!V2*i^$qbAe 8l{o4xrb&:Z7& /%Pܿ67 =@ xrUic1XL06hkzttpY( g2p;RPF:&.7gYZb59b1c40807c2ea7fab3d95f818ff0f1f980f0a0c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a 37037b5b0c8dbdd2fea6d221128f51f89c206171 cabee864f4dd2771d049ed027f61e7c653d6e2ea