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 $| ]]Sqrt_Babylonian:threads=4elapsed=11.473cpu=28.320gc=0.5087zXZִF! ]ŗXiɟ fftb:u tbz1\g;Gg*R&J]uf6-Tv^4:^`9^UޞL` Qq'2@ں/A gYZ7zXZִF! O]ŗXiɟ'l2ti0a 1(#b.F3b!1Lm Z~'ƻ*䃞̥=圧_SÔVUlSvqRɒOM7ibgYZ7zXZִF! 7]ŗXi%BzR. ,p.I!xĸw:z](?wĤP,/GJQ]C^,W޴L:ֻ7(xI.<y6w*%t6;hv%:p`1~^>hd xv<#x$gc4j7R7E?Faq4:u. SwR IAtΒRlogJ$h@:w67 jj#0Q'ѪS(%S]V:eԧJ >LS%~X W\#aA.Zg Å>zuբ?q̽b)}Ud7HzFKP\{gH(R[B;NlROpC~F.) U$66GS@qqeo[ܔՕUx+yPḢ/sT:xۄp٤P5ÄΡe.irO͏o&Qk6pҶgYZ076c6417f0831dbc1996f120c14595ce6e3dec1b96398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 1d73c8d5e33c189d00443a520747ee336889deb35038bf279dc7d18350b6b86083fa5f65a5d39c9c + Sqrt_Babylonian +=% LSqrt_BabylonianSqrt_Babylonian.Log_Impldocument.tex7zXZִF! T]A-MՋhvG"uIBm5&"w8HؽC3.qb%rz9HF#f_>15~yQČA#_9J(|q #op1# pkyB1A 1[PWE- ?s^8,!/]f{2ɷ׾vPSn5pHu .E2Wy! FnbPbI}]̛n242$V NR(|F ڡsb߸C^^wj~&| }Bq'(dXJ>@V++ŐFƪds~TLQq`+_% 4Sqrt_BabylonianSqrt_Babylonian.Sqrt_Babylonian_Auxiliarydocument.tex7zXZִF! y Q]A-MՋhvG"uIBm5Ȩ` -Dfϴa|qA/]8!9jZFo':#{y=e rȁJ}@ Y/!ʧy^f;İqV]|Mik"Nn/'%W,E x~?q҂NW_6`24D?ps7ǥAt %"|37(9ym)L) PsX|!cpOF(,[WDZx,6,~vP$d ìB&,<ٻ4'cO/I!x~pScK؛ղ#BS1i?" `4k?*lp1SHvP"nI ni`qo]_d3$藖j@vPJra2mfJdooUVfGcyc/Ρ&-|szahf1nv9($hA4c-Ʊԗ-ftBȘpѭ:(3ܲz(&I;a}6xgָ1v}486b'^A#gB|_<`t67.\/[ 8+i `Q<+݇ WXSBnK֚As<`iKׄHmwF,8-}tZ5*|\|**>zthd>V o-pcFP6Ԙت8n~ب@}&-.b =hD xQp 'N ZI_PO!U%Ք GY-X[%1ut)H}8ukܡ',|D6[A34sjeɹQ'T%yIX4-=Du aIOxR8™d HV2Bu=G!|fAs(ƃmپ:zЏq/4R wLm 2]#K&lBQbiafj ~|rH"7ZRKO淃wf(9x+(S`cix(nVВwsαZQ@CN"gS*/G+Z q|8ᜃś\eWo|^7bqߟι-m|2#16ˇ 3}#HXm&VUv+% %Q90 :H/>/*!,J2TQ%Q|Q]M&rז g.pn#ӄ8ľbw.wJ g.Z:#i}\w+z͢] xџ uD UOO=evSIsW8ni]PM4,ud]I/kF8pKDc_iռezE:={[scX(;%bmWN" &ǐ$nwukP㑮9eX>vW=%{PQIN9ɿH*pmH$ k\#9N3v4?d@?όழY| e,_n3jY;9&8)^ޘ³̥ץ3@BlTjg-,T>[ƔK^Ú%Ċv $l7:nRx~>gWxfa\0vc'giKv~# ]u4o{M11?B݌;0+8Sdm>lWj&˭ы>qzө]W;< ƁZ0E)UIFCZKV!!@>loM5߁1_uuhO])/GG]'ѯMt !jv(K 7mq4S n tP=o ;Q ^Tj{$zy8@e|3kٌ̹A/yyw'IR eJ)5gCL)}y2!5YW'tN{?Oʗ, $۴iQ]n[p3iyT<N0G7v:'Wn$ZgG(IN`wWGiaS0SIhQ|D.KvvL8lLhO"1aY?ˎY?~{[W9ȉ&NCP삎S%JE3֙L 8o7MsK$czԴv4@9ǧt)ex2ٓ9N&bU8ǠR>w^!](D]򑋷PA@&y<KM 4Ek?6Jѩ j$⏬?+i!BI2o_O- ṕSv"B1, ߻1L-&зkD(?alK zIWP?SjK"J-l]&z9IE}Q W Nk U!h'g)~ں7] :enIEh:v6/eWV["~Jwe7 46 |/AyDK,:̹ NNGE[X>@fHnѭ6DKK$Uw3rU]ohG[1 QR3;ؔBO7U|0;fM]T=> $Lڦ! ݙ/;5ƨBghAA7џoW R=~DktFꂷ"/bX>iz[q>3Q}wÒn TW[nYT9q0Z] CkQSʩnQS=AZW4o. L#Ȧ =%16 UIfWn| TbRYƘ\»Eљ q,GVњj랦E`ľݷBX<9u^sZ9W57ƾ&́Sq|iy!}!9Ry?)8b*Br6SEx?hXPP4! /nrBo15Ba f#+t9sϺS<ͯIB3"VOyoZiȥ% =C ?ru9ǦT!Bz,x__a)l+@Z&}{ۆyzDrw#eimۜ;PQ 4* (A-M+S1Tl#cEMNIx&ti2#=saۤ6t)w|sҶ|ٛp<ԃ`nÖ ";:/v' +]?){]=x\%)-Dl@ Fd":àm5#b(*!~^ڌ7 [daTQ16G{0) x1bi~߭3E#YIB"r@SҕߓePJ 0kuocI*䬲[d W6APW2DY7˞T4\d?9n$,TU_s3)3B$yjm(˽V{=!xE;Z?~[dxWR)2mnI7(8-1 -~w2s:[q#J vj!mގ'ceDΈ8p-ȐK-!IU^)oR븗#?Nsjpv F,7AgJzIjsQo)?VTϿh21kFU`oժ_|+/Q۹$yò ^pzRt g5HdO=8F:fgXa(s)0;՗_ :dăQ$Aŕ%tk &L8EE(~M,7ol{l.E*kVءUA$gSZeziqHlQاBa1@rXG[`E6y_}f}+ar.šDDpWVʀ6oJ4B{.c U&}/cϾ<y LuMk<*w {_6:MRcv,ٺd>:ʀA^G|Ko/YO~8~hax+✡G؞49]OK5Ԥ9'VJyJspbP*Nzmh47_켭.~7%t*Ѽhk& ڔ!_t=hY>_ -Iu82P՝*i-gsDC'_9,iexRo} tD5RGe؝s3뺱rZiϐv (q-#0WZ-L-Cr*.SwXׄr>Xtd8:x{lo [D8 5`\g{wK%1siNd@ чi`(,RG??`0ܼկV~'a)־hlhSijl)kra#6Tp~O؃4Q7ÇY܋,] A/(;]gP:Y )V<|*>ԅe֕%a 4?,xG\Y84FߕO}7SB7akw|ΑlhWXF}*DSBaGL(V QNdO9ƊA*D[Z""^Ef4\ZhWa C ™z|B*ricVG[wCbďR)@ToGe<\3mrvDK)qF!k%&.O_wU% b:ϗw%iUd~4$t&RhA':2WsjA$pL2C\2XWg #׸ mB^!-xZb7o *e>.bө9#H;{g6y WLč cr~_*(H}!mӞlbdq]{ՋfkXucb 1rk(tkU;bB ;{a!L̈٨1 *!7}ew ț'4yV)W1~({+|wVV9qHӪpF"\d&j3_~29 Y9;+9(J9Iha6 ӆ`t=S,#u:nݽTyEs`A̫VQ4'{]jd# |0Y[<{\93tĔt7^&7܌ ~8F70h;a:,iuGgCHqykE.kȍɱ 6A7Rg_4ü?T;0%P}V`KaOD·1_z%aÐtUkܸY]Klmi\Bv:hnúƛ.]q3lYq2*Y*RrLDڴ&D/3kIS!!xu!RgYZhuͷ֬x  r9y ۔{B]3D08>_pQ(ApTQwFvh+?pJj[q'h;[>I GzOac̾7%Ȅxx^ 4N`۵9'#Ƅ*Bl+̡pG2Qsq?Vk/G0{UFYь-2>NxYIZG^ ܞKS#Ko*{,Scc:AG2Β1`l|Hz8SIk`<g%u~ (8{C&uJ8 t>:㇝bwOR9K!#rJJI M]N|3=x klX\Ԙ7S gBlW4&P $HY[Déz$D0X)?:G籍+9u7mJ=H@V>H[GxDDJC2܌B ujB a6H#9JښOǩҒ_|&(J]WGJ2@Q5`&~iv$լcT1p;t)< -`*C+k4H &qNj|P6(Yq [\&_bUTcWV8#BorzUJ8 5nTqȑbuNRN.JGəتFr[z8g_R\`Z ,O] E 3q^Q}]Z'4Ӕ"ۧՃ~ZXWM>qcZ3\_1pF,ڎ/ʅ)hW0ѱ^*0<0a2L}W4sG4ިL˧{8G vA$zfG5ƣ)k^Ugy@@gLD(:}$U`1 %'-_y}v.P~jh""3\2,@9 ÄƔuĿvi& 8Ԛ>i4`T#L_=hQ2g5Wؤp0D.ћ]@@|!Ȭ4z|QDh &Kry}^3|AyCF/@i#B k ψ$P_86&Ȱ x,xH ٧K-'G5Ui:3ЇQ{ZZ%\|ưTA'j1m~ _U(-2z b#WK޳Wi3;F}cz(Mt(#{_ ̬&<ۥ g5#cIRߜ!d yD-kc0wx-uƲ>DҪjyHʛJa4k*鉶(d`DU[^hstla?޵a[yOԡG%U:'"TKre$?_iģAPcJa3A|V-pf.nD6* 'y"'O3ah疭_5oAh"(ti-a%2fRԨ&EAiOBi1MV;zifK#PQP$\64:@c;]/HFj(df-R#p#~l6`1qk:~癜@@+r3Ƚ¿)@EwlG_{h=a C"f#IEֺ|q3$,B7`"sl=8ҙx?.c`g0+܄ɮ $7r۳"|EQk[}O+P&Ǩ7IsJA5>hwTٵJN[d+`^ D]*J1铩s?qZjTU۴k̷YWs _bv]'DVY4dA{A|4fMKϗ(8XMJ^ڙj'癟YE-Mq^)K[㾫8!8Tv]pQF0̠3lX!(JZm(8Rc.ZOhxQ28̮֝%mʖy7d&3o& aHsHZ:8'LPKf!N3z~8>x_*6/̦GޙOl>2̫urI̕197H8ʎ*-܊$Lj+!Si7YAf [zZs\ rJ(ޮruZ,nĩ0I`]1󘐡կb^z Y0)Vy%T9@@!4O=YFM FXfɩ  C3ɚ~zLs> a::LJ) nx_zgܫ&Z)d `ᴩc W. ,ΗI̦>o BheuB^dnzX-CVC' ${P%Ȯ#@vC)Bm_R:ײhkW=5{(y9u{>~|TT{3Xu(- [Q]+n= esDYo+oݟp rb 6kGˑ"`C]RQNEZZ^sTh;1&E5|rucπZB'|ۊ!dJp-Q!RSX ^ jϜENA6(} NG\1v +:\gceVtG<X%F?l)C#&erD{PZ[[Z':O >Wf8_>~ Ow^#T,$c@;PU 08Y^Fo3ZU_6BIFڮlq"Ŏ.wG9][=Mt.Zm<6./!|ՈQ^TܐgAt/Ge_#9`!Y*@ZZ`_׼D`I5)v^v%1a7+]TB(''YdLcnˡÅ俟4t+ӑS_f=A' [ G9H=*Qȣ rYI0 p`9ɻ'!ϒV]4w)U<` N_m÷ȠM;ARSrMMq}Q2Fv1^QSܓvڐfԬST:߿|T`MƵ)56 3qڝGP&F]D[-cƀ u6;E˜iK@-}Y쮦-.3Z쇢'u<1 򚍡Y;#tBSߢõŚyk(3<}  Fl$n5q߀_E`_#DZy 6ŢGF4 xS!]nQtA;@ ݣq25-҄E;Wc{$fcښ}Sm7(fFc-%D (SUQ~*$z5_I`QP DT 5IɁe-hoڕ7-%8-;9Xu(GU$a J1/z@[?_ЌK,zR̹l$!B;k/G4aGv4hlj\v=]3TM t7uu%HRG%Zh uRIòV\,jQ1މ'Ҟ*c%e'tNk2sx覚4wjl8 %3 Y2rcreF. wR5Ӳڴ(}Ϡ)#ˆ6*+ojn@m:nR⼨;prF<oO!r 揹Wvcyl}Z;v8#qϹ`1#Z@~H0 u˒r^[wRq:>t獝:V=I'olrg%1>:g6ZSS!`4tiC²:=QH Q$[p|DqٳnP!wW}ҥg^'SמAĝ- jRzk&yK= -vFwƪf+AfeB#W!\ K_Kus, 4jH5|IAv+>@] J1,%N]F<ɱ#*4C&mbysVwk &(4Qۿ(hdj,|ž~JK8ew#e ]Y:c"ýz7ɝeW#H!5گyILwMqp̖t񕄪t{}eűq . (~f +iDžZdTD|sxj19dx±ܐyˇYE^֮_yCUUG9-].B̧͟`h{+LFORS~NCëeqz;R̆q%V~CiEhQSod(%E[ʊzZmɖ|f6K*6UiЄ=qhl(^~CGulEέi8:HȱgYZ --+=% LSqrt_BabylonianSqrt_Babylonian.Log_Impldocument.tex7zXZִF! T]A-MՋhvG"uIBm5&"w8HؽC3.qb%rz9HF#f_>15~yQČA#_9J(|q #op1# pkyB1A 1[PWE- ?s^8,!/]f{2ɷ׾vPSn5pHu .E2Wy! FnbPbI}]̛n242$V NR(|F ڡsb߸C^^wj~&| }Bq'(dXJ>@V++ŐFƪds~TLQq`+_% 4Sqrt_BabylonianSqrt_Babylonian.Sqrt_Babylonian_Auxiliarydocument.tex7zXZִF! y Q]A-MՋhvG"uIBm5Ȩ` -Dfϴa|qA/]8!9jZFo':#{y=e rȁJ}@ Y/!ʧy^f;İqV]|Mik"Nn/'%W,E x~?q҂NW_6`24D?ps7ǥAt %"|37(9ym)L) PsX|!cpOF(,[WDZx,6,~vP$d ìB&,<ٻ4'cO/I!x~pScK؛ղ#BS1i?" `4k?*lp1SHvP"nI ni`qo]_d3$藖j@vPJra2mfJdooUVfGcyc/Ρ&-|szahf1nv9($hA4c-Ʊԗ-ftBȘpѭ:(3ܲz(&I;a}6xgָ1v}486b'^A#gB|_<`t67.\/[ 8+i `Q<+݇ WXSBnK֚As<`iKׄHmwF,8-}tZ5*|\|**>zthd>V o-pcFP6Ԙت8n~ب@}&-.b =hD xQp 'N ZI_PO!U%Ք GY-X[%1ut)H}8ukܡ',|D6[A34sjeɹQ'T%yIX4-=Du aIOxR8™d HV2Bu=G!|fAs(ƃmپ:zЏq/4R wLm 2]#K&lBQbiafj ~|rH"7ZRKO淃wf(9x+(S`cix(nVВwsαZQ@CN"gS*/G+Z q|8ᜃś\eWo|^7bqߟι-m|2#16ˇ 3}#HXm&VUv+% %Q90 :H/>/*!,J2TQ%Q|Q]M&rז g.pn#ӄ8ľbw.wJ g.Z:#i}\w+z͢] xџ uD UOO=evSIsW8ni]PM4,ud]I/kF8pKDc_iռezE:={[scX(;%bmWN" &ǐ$nwukP㑮9eX>vW=%{PQIN9ɿH*pmH$ k\#9N3v4?d@?όழY| e,_n3jY;9&8)^ޘ³̥ץ3@BlTjg-,T>[ƔK^Ú%Ċv $l7:nRx~>gWxfa\0vc'giKv~# ]u4o{M11?B݌;0+8Sdm>lWj&˭ы>qzө]W;< ƁZ0E)UIFCZKV!!@>loM5߁1_uuhO])/GG]'ѯMt !jv(K 7mq4S n tP=o ;Q ^Tj{$zy8@e|3kٌ̹A/yyw'IR eJ)5gCL)}y2!5YW'tN{?Oʗ, $۴iQ]n[p3iyT<N0G7v:'Wn$ZgG(IN`wWGiaS0SIhQ|D.KvvL8lLhO"1aY?ˎY?~{[W9ȉ&NCP삎S%JE3֙L 8o7MsK$czԴv4@9ǧt)ex2ٓ9N&bU8ǠR>w^!](D]򑋷PA@&y<KM 4Ek?6Jѩ j$⏬?+i!BI2o_O- ṕSv"B1, ߻1L-&зkD(?alK zIWP?SjK"J-l]&z9IE}Q W Nk U!h'g)~ں7] :enIEh:v6/eWV["~Jwe7 46 |/AyDK,:̹ NNGE[X>@fHnѭ6DKK$Uw3rU]ohG[1 QR3;ؔBO7U|0;fM]T=> $Lڦ! ݙ/;5ƨBghAA7џoW Rt֜6;tTqa-(mw 9շ+Ϭ`Qᥚ&;^796e7ƲA"قӜWz:U!;a,W%PP;Bbep|X8>ud'fmy@ 6S46aqSt= Mt8Aw.mzy+S?TDONz"`ʢ)׈)ۋ!—;sjOʰrW\^N5blT UvHr*Kf{jO^G  +K% ,Sqrt_BabylonianSqrt_Babylonian.Sqrt_Babyloniandocument.tex7zXZִF! t:$]A-MՋhvG"uIBm5Ȩ` -Dfϴa|qA/]8 ^/L_dvnȖLzp U; eLӷ E@:ZyX䶨{(ߛ"@w;T36e%oXB&e>]I뮟Uc8m}W`YCٮ$*rÍD|=C̫]+M_960q<Ōɩ{Wғqeג'vNgKP >MPO}+# p4OjU+ ^>?|.Ug|^rU㉏0^^AX縻r)2KzBv]JGZDL7B]&j;f~.OC,JJDI.. ̚Xu!^-N%Ьr֑tmq#yf‘3YTr0roOs~5[L +B0J/9Y~8W~L^5KɌ/2#1T`;.s&/ ]'U9|TOu]~lŕ57M *CgjFr^g jR@h&pkER2xǭF>* %@&К~`x =UPp+Ry[7Qg-}z qy{u MD?4 Xgo Qc)E3w=߮d핅U۫Km!Aa>2XTrh\B|0mW+C޲| cʱ#"A;wYD#sN,C71czu!#8JDag,`lgbFI;zqVȃ~\Dsi 3L#1]$70s %uerA`c#z;-;jߴ>[l,}1cڧY 1ݰejN$Z,#[ێߋDYW>)'y |H#w{QY8/u9"#QkDDmfSE<~Ds3(.r'U%F|Q.ѺSC7[J7ȣ<MmuP9*@kcI$0{ˀ_ߔ:g*h[X,n\4H8=IQHx)A\_.w?UcAp^.+EXf>/m4W|'&Ox$%xŸ7l2܇cU){;U*/<#"@AQܥ07N,O@]`7M8 ԙ^?KuYlK~Qjp9y8hƿjIeEfÃJJkYOdFKN\k-۳|ΆN5"d&{%1@1n,+Ls˄xvBbGc孔&}sBC'!/`ZD5F2*wklECsBXrywe{CEys!K $AFjYt3FqL"۵' `uK^\Bjd7oK9Do6 dۉQ/+ D'ʇzm‹dv!c;ChP5bgaHJp,TQ6"Z):kX[X>Qpz2s'D>[``DpBcݣ2(-$\׉bC_wmGINQ36Л@淈42G`iв͐L(h˭B޹A5ཽra!p֊-&SSozS{_,!tZ61>Cfp.1nyׯX9uU02a&pTV-QN]x3q'+Or_q޼0f G~ɬ`[i@\ҤŵO-M׉ gk2hl4qEG)(Kk2H310{%[u3 (K j~"BUhA2׭ ka/hMLjS5ޜoRU=c^J9T}gWW`Eul~$5 "N~MBMbHP:$ŵ&S:daj>US&03 '%H'wD\ |x|N mUy3xM:6+eeRٔ9{^ÏoOi,&"݄ʭnvPznf6N /2>6'g'Wq$P },+nH^ay(}Le^VoV'lߪ>!OSU8Cyg;9cbV"5h䈾>'m&B5)JT{oN0jM׎L N /+:ײwB/ O3CCq܅zOwVgesx,.1xɶ8x _La}md #[F-U0| Bn5״fm!fn 0NU"#g11FH)J9TMq+O5-} *o)-eN/[#TƈxGG]RZ7Tx+˄Ah֓Ѐ+)pJ̠dW<'DNfo")x*ӟ6o;TI{Q>$4@}Lyxl1=t[];70#,3[`x4;cB1$<b0P涂sX,AD/6.Uϒ;/t;kF(3Aԃs)LD3(বWE*7ǧ%wn1#unû+`09ВU`WZ.wkaž&sQ=orZW;(@!И: uZ.jg@ _3jeW@/= l0Mѭq2\6N,ws^O1U@Q`"*T7uЈϏh*ҳ<pN}i4/(J#OqETgn1^4G7e$(4Z-{(}DZpq\&5-o^DŽN1\`i͖A81̕ d4Hm(&A2~m=6K(o_pAwҧ1O^c:UZS]qmx7Yxk)9&[֚Gx:P[ғ'ab%fZ=⁡ÀO7oc hD"Q/wAjv@M%h OrnzWZ jjFSӣoV<0}ѭȄD86T3Hl\횗dǔ=b4\SƩt_huuɱΙ 'X/R pVR<_ 7yVNu+)|2huriNmbY .+|t[] 狍(dvtɟ yǟ(q̓a6jb"aoϣĈ-$&w:3 lZnBs !_Xs84[wj*],"HuӶ}%Rj140MZW}~+ /F xq๴tQ[:冀QpR ?2 |4HH~H̯E?XO|^) G Sptێ9.q ۫xv U`Q#NoḰtF[a CsJh-e+L_׹(9Wꡛ9a b \'ʧP)dg?|kId-`a6<.w)4ŧ+zzwL?RS k}3reRwԴ/9 B2@&htWwЧ(Dk+J,6݁oe|S~B7 hGç2f R3 闋Vw}i¡|{eONQuW\lzm/2Db[GI}&ڻ\YAM[;rn$zPWP;Uf<'u8x m}?z"Ϧ\J2z?C>Jef Hu! sjzGplkw%ѷ*z_8G9PE8'(e>^"NW=~p$}p~O; M\6&wkVEW`HBv:b˴)sb-6&x͔Y/!rxl $YSA!e4E&>׳dme}_GM;mDl b; te²z1fux(;]9^?P[ANm8ϝ J#B^asYdbkE5fD$`S8-O"eܑq3MW FTX=a>tڣE-{֝wU% l~'|V&1mC姵:=q `)%[3SiEӸMGѨɟZaH#5SHcTnl4 P6w l  SɷgC཮&wL%T{T! f3=]#a(ف%Pn\@sŧK n+Sr/ oSL)D8R+#s) njS˿'P bBI6{IHNie:nwe K=mu2 u~٪MH_rKU-Eӿ, /R^ҳDݣ(-Xtm-8ݴT#7"O$BL3_nhVBQЧj=] ;k[9I=G>6 ,_]-xѿdVwV<{;E%8M 5wn:#Z^(So%jc8O,h8̜[)DA0E:4Mso`Ok7Mψq;(؀Q~q}Nˏi`4?-RQ.6?ME3 +cTFC%+9u%֑}! h $^ ȅ16sc]֨elߕ;[z;iuTN'Jl⭠o/@TQfIZ3] g!4Jj l=W^Eƅ<͞۔}-RoTyble1p뮑Z!9.{mjqmnH0S$ƒaTuPyy]Bz71c=BF̌Ʈ={YQa#ix3WMIQ~ER»Pg~ < QІj' '`׿_֗:n,qT'FHHY8 VZ9ޘqBF%Mjt ᜄ~̈nތ?ˊ3>jTQR_ ɠR} 0עxM7˭î?L7=ڰ!7;uуwY| "MR\` hGFq*,ƀی-b((lHt##Z|> Y! .agE'CfۦeS!o8n-8N,<1pm[2׎o>2 A}g`斍3p M54{fHϾ*4tXxQ#(һLD.,e =hDTѦ, I6̶4dh,A9AN_ొsVQwZ5OU r̒ s{ܕzji?J.rJv DYh\g8 AFKެ9 veUdʟpM |92u))m@`V(Tԏ&=AOE:g hAsk zyHڲ`$˵tQ#s&Ҽ㟺\νïJ7poQȃw |{>"WϳC$MhK)4X.w.-$֋/ £5'JEr{ϲGVv ҭ~K@+yE"e|9*ZK6i;%TT璾)|۪1R!aFs'>| Oa4~ b~cD+w5C!d[޲,+;H,NC]U*B,`tAgCD aT]>m4<.$A[ЗI('C1!cTǴϊorP܄[|9'3q`nq毆%t%iord#SJF 0L}M>ju"$hcš"k[FuW˝UXY6Qwkc%igLF(%_(dDqyLpQ2b Ȫ%pb,1r }bǐOU:`{m( Ňo9:;z@^ ܗ<eB|j*1Vr`a+28+ Kr3{5TVT#z<GTϴ# uulrY&fпy1Î`s^+7|riQ:`e(ϣ'Qmm931PJl)+)lqn}:E9GNQ#>@R\?# FCG+C4wwK[D lBmx82pw|{kg$隄hnBG QS c|2t(NUpڊ&){ŋ?W:}KT2v\2zHQ X~Sx9bKl߶}4ÞSjiSH }m֖;%Kc87kv)^1pߤF.7m؝*`V0Qfu NŖ6 ZBizPYR,u0֖"` C8%Eq:pIb[^dlO,4/,Vz} 4by~̈7lA(cOm$0Љ2*we4w̯n.IXU :i: Rd1Syq wv8-t@>Ը bB¶׆FFkk-vۖ/FLMt뚌w)ǔ3?``ؼHW"U|XV'=+e {?`o 93˙A@2F( J"$ - KIS2#7=Ý6͹pbY+ THs=9OED3Uzʋ Н8uIĊq+p4[p~ Be zW>CI"pLKw]:;RYkuH`4%oƟ2%S tĤH4+Jo8I. _n 5XW+=<c7ˇN$wrNLfB/VI= Q2s˂݆"`&Ԥ;8_J-C(xY@ըjqgq֮lB|=K pVrLN]m?R/qK ['1r(~;\Q&._$NR).Dʗ]{ǝtb85jx~u$U^PNnj?{Hi+>tv_韇w67X aVQs^#XKQ{Ɛ^UP( l7LOgi&?hUj4 ,%z_xiwWQ;Knߕ7~Id~eO4w 2L.Z+מ hf5Dg"Q_CK]-'WRZHE)w|.CŵU^J8R/&1[8#]vH:ϘP#{NΑEGдZOeyy„wؽs^ZrZJV]ЧI3,"hlN>=ńo~sPs$\ďܳM&& .yLKj{X1A\8j3 |qftŶ=GV&-Jګb,l=4b +a迄Y,"P?&|Qf3%vgc)^uH20Z ʜyaNi(|s$}6=]CS 5b:h]춆]' ̏K([q>lFEn |–VKM֤r}l99JR]Bh݇#]CRpEƂG &yӤ#gqϵ;wÀ=Wk(uSҹw!RtNQS @fN+4nҚs AvKQFЗYh7+l>t">8pYEBP&0Z39DqwӃPzՙ,G=ǒBۇ"TrZW<~[uKcy%($0!L~]݃k?(x3k5h'?d?C*bwS8 Ƨc(K!d[`aɝ⽏l͝!}_{3D(!>NE1@ᄁ\H@MNm|4+߷9o/isi)ׁzπӪ!!̩gm"d*H2cڝ.FWJܡSnydqf?{{ `F~A'; N xق^F88u:q8;ę0q'qĥVD+aќ{EeFH泻6bb9j٧#:<17hTۗf _Tp02Bm^7VSN\T݌BҠMf))k¨'m?V,v<x?K𳞣ECpt-rҋ2qU̮>/K !޷䭾Xu[mPl N?{xdQew Z1 2MACJ:\4j<`VFJńcf0<ſy*LC@|IEŲ=yzwa3\:u\ #ԓCouh `wl)J&Mz@nP&"s1JǍ\QsY&"TiIL)Rp!Ҙfv:&{FVWeDoNlG2mh=Y xﱞ<~*GQ(Hn W5%Lx0'[Pj)k ב#J!bȚCYTYH\}<9z$㹷Y_ pL^Be ZxuY/E5sviM`,d'%YҰ>iL\5RtJg|䉞ľ dm$\@ػ_P<n=QJ [g,% <|pp) W*)i [Kq%70ɞE٧MfldzhbF]W.<Ǡ߂Y/%>JZ!q5@GQ6@Y @O{6)zb);\'3ZN-9sot4t' Sf)2 8)[~v/'r[tO sQ o|S=&U E#Y;1dѾITTDd6J He@fbХR6-EZR"A@fpAls5E@ Y1Wh)O_4n~[5+m)m<<f<'%%zmʑc˃V#e38;k;`Vn /_B{ Qz!*[c"Hz]Zh}\ydvZ;ϞԨ>wA{FsPьpF~wA98V+P ֪R|uGje~g^&'d?F\|WWcx@藃sDjW#4 EQ)1Zvp"iـ nxOXʺ߈sH]6+jg>"^ /X rAAt&]@F c+Ht')sO#{c#쩫:\EgW40 / ڿec٠E"gv,K+Nj_ &Ho3l>{ZYq AX>9<&J.)kzsS$#Wl*+kR&VI7b5oHAd$師G/2C;K1 n~ CΛJԥX1'd9+\Yc0}!t?56@f嵂j߰-&Qna]XN۞i,_c ! ]J{b1YvUD%_N;~JM. #imzݬzq;:c*h~[6Z8*"uQ͵.x'cC5z 6̮6wH_q[S#ϥq FxG?k̦O&K׳.aT8x ܝH ƺ̰F窱!0HriEG.;%;5g =H. Ė,r#', ..gYZ