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 }}_)v|tl ] VerifyThis2018:threads=4elapsed=52.229cpu=144.192gc=2.8127zXZִF! "]j]ŗXiɟH)0%oR|[M,o5b+ݪב*H؄j?DSgbĀ=7%)A"u%@Z%p=0 bh#A(-3KAM ?l2Mg@ݱ 7W_[aje"½2+s+^s(I$aQw;O}MDz'*G3@"##eE=0Np0S^嬠\*)cs{W3^/ ~l _Lp^'+(GZr-@WYB hW co-PFT5; d]#8KS3Ma'7=fyb6c@׍_š3e[`S<A% 'eZC:7lKĿ)f[QfB!Q"~u?,Y^A_UÂs hGJUw|Dycgry}4U' nYbx6Ә" 2;H@:Pe"V÷(|l8U+b&@!)ν]@MViW8ѝUZ?]N~e]e>k!dCLڐX\hM vABfEA%R47!_u25?m^QGOe24* zj AAuW150kjU=%b.Nds@et@@^ {9:.|3ғϭ d 0" Q[츬Y3_ΦTr@tFLQUU _DF#pJU\ X˸%wUMG[|q5eu1с[0_ JgTO3ohHTKE[T,z= @^#>O/aihE P NdG_i/vC| :@)Jv̓uӒԥ4ë ]O9/>=q_IZk}wϜ1NrK {sX &l~yTx^Qy*){XnYp4G h܊D n+| ^&ZPAV !F,ooeV7&Ţ>i_(𩃚(6Y9$S ' ;!i$o ] gHBE JR> 0 s8 [xԪN#<;1 -!$MVIk? kSC3HXŭU-ջJX;mL /:rfKT2s o?Eԟ%ήưS+w5z$b[_K2IF^PB2| ֿ4B d`)L4X8S-|pYo..\xe!i$TԶK|orn V#&|湭W zOmDxW3״k`|$8o`p]ÜiF+;U'yK5Fh] 9H5/ m ¨WF! UOY鑤_hƁST=" S.MMD2 n0y YATD:D=HIuGRh.Lݼ u07iu{ĝfww2_ye Ӊcc*R`a.iv#` F籈 cL9ܙa)6wc3ߏ)bwOZHTzIZJv"o,J\yr b0Eغьn޷37$ Xwl;, \׹cSLI䟞"6 BUT UIwZv{пj&K[#*A+ &ԛfTʰD}'8R#"LIcW!̊4vo'9o#xCWV!v%(Vz` ;@ uHeh\8Y^~LWo4 QΆ NkW$}Ib]XMJM/_ 5CAp]m:ϒH<8f{iXvh$Cˆ,|P*xFR ds!Dޮ_mZGd͵N<1{c3OwB_fWGZE6Nc2T6JPk\  X.ŋ'.:tx7nd靡rx*|~dFʗ<~jw1O)#7\^1};#I7YsIlp;ȯ?G'7t^ߒ[`]<=pÊ4jP~ɹ*Us!pR2T[3K0?=.+?35?銐M\Ofi*$9c! ~ riyBCf]Ȁ$!W] 괲,<wa]!/tn",poBgeimUWsn'05d.BzRg,`:Q%oAx9;jq gGeY$._*- diKx,WBuWbMb PV,; ē~gUE~B ȣ)RY4f/N+?=MK&؛k[)3 Bmΰ-;Mx4"0:Bv,^q: B +yj_hZ8L a6̚d AVȟP~-5%Q9Fwc ߏ3֗WToh/87ŽvlQ;\`SD7l-r~ 5ZU[֮MsP"LDӉmtJQ:;!;Ce&yER:Di{ץ=uq:I5e5e:*q_oQ+ b^#i9mUACfˊ7nqD'a!c LkD(gƑs] w,MYdOB$f8<TmgYZF);? VerifyThis2018VerifyThis2018.Snippetscode/export1/Data_Bits.hs7zXZִF! @]K]b}v QTI.6]T kqziɒ&iэU276=R&XJ>|z8zY\(8";D/ ~1ƀb^7rQLӍ3 ".<$WE28l0y=EeEG(1Sӑlғq?&d=±g3e R_47K?_QqzU $7}Ĕ;^@ 6Pe: Ҝ f<"DJYXU^f3"p-] TM77)0!k M=f VK7k 6r~|-fL>$VO0a"dgS+ eRs0.- J,1a]Ia٠E?t!}`pY85!%SgYZ);9);5 VerifyThis2018VerifyThis2018.Snippetscode/export1/Heap.hs  Z ]);5 DVerifyThis2018VerifyThis2018.Snippetscode/export1/Test.hs7zXZִF! \]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmsc7%xRH:DwXlQ棢wsv~|$]dJQ9RkB,I뭈hE1bS(@zPToͷVzYڳ]_c\FH{rkLXCgmo{!]v?}h3%˨z` w.BzRg,`:Q%oAx9;jq gGeY$._*- diKx,WBuWbMb PV,; ē~gUE~B ȣ)RY4f/N+?=MK&؛k[)3 Bmΰ-;Mx4"0:Bv,^q: B +yj_hZ8L a6̚d AVȟP~-5%Q9Fwc ߏ3֗WToh/87ŽvlQ;\`SD7l-r~ 5ZU[֮MsP"LDӉmtJQ:;!;Ce&yER:Di{ץ=uq:I5e5e:*q_oQ+ b^#i9mUACfˊ7nqD'a!c LkD(gƑs] w,MYdOB$f8<TmgYZF);? VerifyThis2018VerifyThis2018.Snippetscode/export1/Data_Bits.hs7zXZִF! @]K]b}v QTI.6]T kqziɒ&iэU276=R&XJ>|z8zY\(8";D/ ~1ƀb^7rQLӍ3 ".<$WE28l0y=EeEG(1Sӑlғq?&d=±g3e R_47K?_QqzU $7}Ĕ;^@ 6Pe: Ҝ f<"DJYXU^f3"p-] TM77)0!k M=f VK7k 6r~|-fL>$VO0a"dgS+ eRs0.- J,1a]Ia٠E?t!}`pY85!%SgYZ);9lg?eul_=41c פ,'"y;Ba#f=ֳH*j*B g]z_\o76.GŇCAaK4Rc4)d=t$d5V#=f#T ̉;R2b]cvrg7| K-}/{ӳlV_ŵ|_LR\-h3ٓ,joK1}>f> 312Py)[߭ }]OrtDa L!2ҠKvFN-NXT @RSp5 w܁DÌz< xS-VKi^.lR k}1t[{H4(1Q u^0?d U LNKolZ:IoX\jQ4j-kOlp)]Y+vt{ afrや1cn Nxq<w? &sRF l5?*/6d@GRzܮхq(s[Nx $ ogei.A''m\jN֓N({Jڷ.}(1꛹X3:fuU2V.8b bB##a'w:U `m1 fnMje0!oB?'BjRǒ}+",bxҹwtۀx7֊[VO2ʅ+Q̺F'-` aN>e 3͟gYZ8)K+ tVerifyThis2018VerifyThis2018.Challenge1_shortcode/export1.ML7zXZִF! ] %H  xzQ,O찺& эS-5[I3-:1c虼p)K܈>()OdgC9^y'6o&H2ZGgSچ:R͛1k HЁ~K$v;KV_%eIWnJ 1EvA6dVJtሼZU/*jr471+qݻ6$$#qN4Ϸ4S_1piؓ'pߒ&>fmGu)IUqO[-Wf;\⋅>@|- N(ٵY| g}6̇NJGYշ8USX$^tv~nͯA5ωW/MًO>gnBfN<\byn-& ̔%Y س_b EQQJ7Q5[І EM'sö__Vjakb1m]Lі V}A$$uis>& \Pp})6ߥTFn. J*<2VD҈*_!pc"汉;w%=He^΅w2AN?~DzTD롟GyYqk3?q٦J"G6o_B~$^|?3f@ɔ$ m{dcqxv #t3PFW-6GS0"eHL!5AYyOh d"NB@YRTC ڠmӕuS; VR0.`(e\H<sI"P .}f%mZ qLȰꦃiFB|2ar +UI k 1Kkd*8sT]{!/Ig&_[ɡHT(Q`0}d`2֚:ֲx' i.7.l컪68VmϦ GWH$1iϾ[b? U0ogp Lb(-7 28:kuZX3uUR]XnaYp:o1ZTMiCks!yZuj#FGIZ=jUU;tR&`?RA,$,8{(WmnC0k nv"#l0(m_~n/b#J &XƉ:|+8 qW6Bݯ9B8nT{YQz nqP(QTVÚſ"TP]{a \p7/"p@M*qwlZZ}ow+!ڞn:e6HIEOB*a&Wju9 9ݤI;05N'<=$AhgYZ  J yw )KA \VerifyThis2018VerifyThis2018.Challenge1_shortcode/export3/Gap_Buffer.hs7zXZִF! 6]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmcqzޯ,5(ܔF)DKpB m(I)P]Ur iJ)l$i%z[QW2A9@X,(/_WM3-{{Fi5d\+3ͫ4؆sCJ.Qأ 4TsDͳ6̬ 5E1sm9֋A+,i*?wk +<9c)`"%.MM9AJI<%4/>Wj#Ɖ7X݅?(xD!VQH=YGA:.6lH,O )4 vpx{č`MXœ5HoW?$^oIgN'5Cɒ ve9~ ~-#U{1Ùį|e1 Ue0#Ɍ[^T܉"gR;VSE-NʏǴ΍PҥUm0~i[S` "zUV1Up5uZLQv4L1"Ik8>#؆ݕ18gd@>?5דOkFW L&7y'aF09JX:I# (Lw4A!Y`,"`Fw+0. ?}Ƕ/Ӊo~R)Ғ QC8 pRQMk:gI䆽e3@sDKS?tXUQþIPL/聕t+0&6!aSgaeWXM|O.6olMtk?͊y:pNеm?EYz]\Z{d* -2f.[Ѵ\acyA!7th?R4_ĝ)V# pl"yxܪ9AQ:.s_5q >VnG:b*kTK.>'ǔ .B "5+7cZcɉKcȒHǦqQDgzTQRQ6Ovl%xb%˲n)[䂓`h3ݭ,[S-Ay|)hu| WrtpuYMM+!?  :$s\/$}~?d ,v2gYZN )K? VerifyThis2018VerifyThis2018.Challenge1_shortcode/export3/Data_Bits.hs7zXZִF! @]K]b}v QTI.6]T kqziɒ&iэU276=R&XJ>|z8zY\(8";D/ ~1ƀb^7rQLӍ3 ".<$WE28l0y=EeEG(1Sӑlғq?&d=±g3e R_47K?_QqzU $7}Ĕ;^@ 6Pe: Ҝ f<"DJYXU^f3"p-] TM77)0!k M=f VK7k 6r~|-fL>$VO0a"dgS+ eRs0.- J,1a]Ia٠E?t!}`pY85!%SgYZ#)K9C҅e36V`>KEn t|vwy۲BK14|Ya#_4RŅqE؍*.ҰB\F/n2JXjB!ӜXFS$!FAhRlt~{'rUU3d=|b4Nzun !Q*-5$ڙ&_V^KͲ7 &&[#Oy%7žH: 0_@?Ô+CR7߄ @9"F^?p9FsQx-'sw[* *%zDDpMu>ru` EO MU8>yi}hoG!j܅]V/p釟=5;(_d(,Vfh۸mշ`9r9*Z6]˲zVVf4o( ؄^ZP̄Hf8qKguCD@7r$EnKs)em7sN=Q Vb nOU^z1gkA4$tӪ5~u-3Di:e0̂Dy1390b\"gQM_<ƭFZ5^[SZWxUy5Pp~B22&CyYFڣX\1BOtݒ' cTf9 \Js8ϰi_ghlf&-2,j J)ZqLo۴F&P'\^+VlrD*B lyRE.b,NnC:OF,I8\=PKvlֈwV4j I*(Kg`f7jCx/Sj^>xC8>.#8^͂Ibeezjs#4T;mkn.}1 wC HzxAo~YoE>4T}l]xlU@ƻK[O7K튘12=/>|cԘb^3LTEC%"^Y̯۫^7KxǞ\IҀǤJpiCv.4ALƩuTIaĿrk\yrJ)b+J.81fvD5{PA3bJjGZ.'x^ 7a~hGϜ*@vW6doZ-Π~{`qIIVMܞFGQ:&4k@j9,CGou@n\cH!;e /?6 <ͅ67*̺c:&ӀuwWk>{(7NxTZ_>8o>*z)/TUbBPao9mdGR>P$72q:!韖 I!Ewl3om$|1*8GZsD(#7`s?A3CO:!e,T_kE,p#ZߏHjK?Ly憿Y7@CJS˖6C9WKP?Ol̞7YLM?m-Wty#, Co~Hvc*wpuھUZ䀓Wa?4=ny.4)Q**u{m T2?B??A7 &J+Oh^L@ZB4"mF\T%iQFfœd%0 m-R'BiYGs1D9a\x^^E>dakz)޺|HAܐ;4*A, YbxgT0˯fcZ"=nxdb6/V?$V43{IolHΩNixi_S:VWgYZ ) )?1 \VerifyThis2018VerifyThis2018.Challenge1code/export2.ocaml7zXZִF! ]6ȱܣC#% `ArJ'h"~(Sfђ[Hu0#AL +0sqʂqy1bÝ~Z 5̿ Te|tj=M^DK},㰶j+aX҆i3WF%FvjU!=r!:w׿bQ KjH%".6PHJDq? yýxiP KZXFB CK ! Sf}esn@dz:93hfѤf+,ܬQj+u^nC!H,Țry $u {R gB^frwhݒo^CٚDk,u%SY {* ۻ҂g3^X7kξ7(囊nqg "^g9V lM??7Fyw{ {~Kv>lg?eul_=41c פ,'"y;Ba#f=ֳH*j*B g]z_\o76.GŇCAaK4Rc4)d=t$d5V#=f#T ̉;R2b]cvrg7| K-}/{ӳlV_ŵ|_LR\-h3ٓ,joK1}>f> 312PzIn[-= FwIf;c`Lգ%>R}5TXۆ7l;+}pE>$_eMn9R:,߅YYK&U|$b/A>B+: ہR²ݷٟWtNi2/5q5a$$B髚N2Y֫(s;+r/jUPèHt}[՜\)$:â8*u%Z JƼTXAR!%"bw+zTj ܏1d ^;ELt>Tt1y!Its)0ӃDHNY,."y[f|Ǧ/*s,fVlF8G:!9 z4u{6/D߲eSCN2q50hs^Bw(m] _ /׿O#|P!(Z%(~ к.npGt_ b5ؾח#()OdgC9^y'6o&H2ZGgSچ:R͛1k HЁ~K$v;KV_%eIWnJ 1EvA6dVJtሼZU/*jr471+qݻ6$$#qN4Ϸ4S_1piؓ'pߒ&>fmGu)IUqO[-Wf;\⋅>@|- N(ٵY| g}6̇NJGYշ8USX$^tv~nͯA5ωW/MًO>gnBfN<\byn-& ̔%Y س_b EQQJ7Q5[І EM'sö__Vjakb1m]Lі V}A$$uis>& \Pp})6ߥTFn. J*<2VD҈*_!pc"汉;w%=He^΅w2AN?~DzTD롟GyYqk3?q٦J"G6o_B~$^|?3f@ɔ$ m{dcqxv #t3PFW-6GS0"eHL!5AYyOh d"NB@YRTC ڠmӕuS; VR0.`(e\H<sI"P .}f%mZ qLȰꦃiFB|2ar +UI koCƑ⺆t!˭9H-jq^?G ODMk XmtU\ǪV߁U>T"n5rBS]IƠuDŽ@PUo ,p)K GR\2`~}I<%6cg* 쵖!@THdH7RA2{Wj#Ɖ7X݅?(xD!VQH=YGA:.6lH,O )4 vpx{č`MXœ5HoW?$^oIgN'5Cɒ ve9~ ~-#U{1Ùį|e1 Ue0#Ɍ[^T܉"gR;VSE-NʏǴ΍PҥUm0~i[S` "zUV1Up5uZLQv4L1"Ik8>#؆ݕ18gd@>?5דOkFW L&7y'aF09JX:I# (Lw4A!Y`,"`Fw+0. ?}Ƕ/Ӊo~R)Ғ QC8 pRQMk:gI䆽e3@sDKS?tXUQþIPL/聕t+0&6!aSgaeWXM|O.6olMtk?͊y:pNеmVC\ܔ,b$ǮE! 2g{GFc`pS|P_%Zr#RXxD>̹/xm(#y v.ޏ4 Ю—E> |z8zY\(8";D/ ~1ƀb^7rQLӍ3 ".<$WE28l0y=EeEG(1Sӑlғq?&d=±g3e R_47K?_QqzU $7}Ĕ;^@ 6Pe: Ҝ f<"DJYXU^f3"p-] TM77)0!k M=f VK7k 6r~|-fL>$VO0a"dgS+ eRs0.- J,1a]Ia٠E?t!}`pY85!%SgYZ)?9C҅e36V`>KEn t|vwy۲BK14|Ya#_4RŅqE؍*.ҰB\F/n2JXjB!ӜXFS$!FAhRlt~{'rUU3d=|b4Nzun !Q*-5$ڙ&_V^KͲ7 &&[#Oy%7žH: 0_@?Ô+CR7߄ @9"F^?p9FsQx-'sw[* *%zDDpMu>ru` EO MU8>yi}hoG!j܅]V/p釟=5;(_d(,Vfh۸mշ`9r9*Z6]˲zVVf4o( ؄^ZP̄Hf8qKguCD@7r$EnKs)em7sN=Q Vb nOU^z1gkA4$tӪ5~u-3Di:e0̂Dy1390b\"gQM_<ƭFZ5^[SZWxUy5Pp~B22&CyYFڣX\1BOtݒ' cTf9 \Js8ϰi_ghlf&-2,j J)ZqLo۴F&P'\^+VlrD*B lyRE.b,NnC:OF,I8\=PKvlֈwV4j I*(Kg`f7jCx/Sj^>xC8>.#8^͂Ibeezjs#4T;mkn.}1 wC HzxAo~YoE>4T}l]xlU@ƻK[O7K튘12=/>|cԘb^3LTEC%"^Y̯۫^7KxǞ\IҀǤJpiCv.4ALƩuTIaĿrk\yrJ)b+J.81fvD5{PA3bJjGZ.'x^ 7a~hGϜ*@vW6doZ-Π/UW@|I,^o I}ud=d{*K/ gT.Ižg5Jν僾:Iٝ ;G3lm6:ټFi 9Wݎ7U`"x™)3Cy8e2G r| m풘ͱs/ҚZ \᱄,dߞeJ>QO;bMJWKx_ VBeTd`"~G=i2Ɋymkƪ.):\6U%n&׋p 0ߓUT0 dhO ? {U8Lk;Zw!GBxG7UHK_O,DYXh'.K]w OkG"Ҷ'e@5Մ9 v`f9o+1>{G`'BOO7&o>s?Y+GI0=1RKv.#9cN0Q >xUn0" rn /uaSAsX?5ܑ- 5Tg},W;aCAyH,sgo(b[N y`(py\/4O)Ђظ$?She?inP8> 1̿U)}%zwMף: Rz鱦Ch<ܦ'Tt;>%XS gYZ !!)?9lg?eul_=41c פ,'"y;Ba#f=ֳH*j*B g]z_\o76.GŇCAaK4Rd E2f$35i#0Wuur冐:.U2?E =csC8r1.ׅ>Ile&>yUűb0͚\]xjY?xDe@A 9ЛG4kd +5{ ԒOʝU]?,4f_={ 5ӂ&[K>&Nru-L݉=2BZK=LJE~$j*17FAywZ}@e~SL{Q?&'8 tFhok͕iUѲx*8ڪXt, Pi.I}2hǕd{ P9+s_$PRrN9=8%Mepdw2Xmfqp''}G}(esxʳmЖŁ콎U6+Q~(ΰAB;z'RG t~MJ('ݚIOQ)sdjRٿKPx#q2A? p>[()OdgC9^y'6o&H2ZGgSچ:R͛1k HЁ~K$v;KV_%eIWnJ 1EvA6dVJtሼZU/*jr471+qݻ6$$#qN4Ϸ4S_1piؓ'pߒ&>fmGu)IUqO[-Wf;\⋅>@|- N(ٵY| g}6̇NJGYշ8USX$^tv~nͯA5ωW/MًO>gnBfN<\byn-& ̔%Y س_b EQQ.,S?a[%G=>cH4. ՛ڳa="b> /qRgYZ ! 5!A)?1 VerifyThis2018VerifyThis2018.Challenge2code/export4.scala7zXZִF! ?]7ǮPyeaP6 L3?؉nI>C҅e36V`>KEn t|vwy۲BK14|Ya#_4RŅqE؍*.ҰB\F/n2JXjB!ӜXFS$!FAhRlt~{'rUU3d=|b4Nzun !Q*-5$ڙ&_V^KͲ7 &&[#Oy%7žH: 0_@?Ô+CR7߄ @9"F^?p9FsQx-'sw[* *%zDDpMu>ru` EO MU8>yi}hoG!j܅]V/p釟=5;(_d(,Vfh۸mշ`9r9*Z6]˲zVVf4o( ؄^ZP̄Hf8qKguCD@7r$EnKs)em7sN=Q Vb nOU^z1gkA4$tӪ5~u-3Di:e0̂Dy1390b\"gQM_<ƭFZ5^[SZWxUy5Pp~B22&CyYFڣX\1BOt99})Jg%fԶ8Y &m%AWv`k-Ugw"@m#Œ2pCsw4`&v@c:$λ^i^҉ojTɖnRAv' eWz~ 8ݗ-qm`ЯX3M^?#엹∪ƻ9.6%V@Dh =ehy;v(>qےLJ^% Nh #XFD L<R#}4Dڳ`{/)vSPl^Vêq ш܋ ,$D`,S} kiD16Ӏպc:n$oPeU"P[D1ZZ26RfUBk/ 󵻦/ ;P{oZRJGf?GLo$Aq.?kjn,dOiȟ$Au7ܬjʊ]iV@UV懏bw9zIVn͜Y,~ӄNd쀴L+NQO ˵=]p$󥿹ORrBZEI"natTk'L^{RA.*𵁕@n%2ĭ*( +gϠ3mz(9XZfV^oTCWa4)AyH̝ׄe*ޞ5qoesB5jwqOrVǂJOgiXO19tqgF}*9s |rJb(Ci"v+ZS I*(0{$h]S0HKڬ!_SMj96_(o1ܚ F*χԚ*AU{5dLӶ0[% $jp*(WTDڛgE]yYM#5&HO4 jqM]SF9]Q`ɸ\(:g+/BIpT~XmeUU@ f. p@3mioKbP]IxԶoCN; bL^_sN60Ƴ;c=htnTɃŽ͕~on0^D 23M.DU\6x Ւ1uP,؇C#B.[r,& xacU@f.fw2ı,'26zCܧyxgYBS0JƦ͵,-l*0mq?aĜߟyLzEA!vd=B]-\eĹ(Chn?NQʔ^cq֑76}?DPi0 k'`dtV}1܎B*f9ָ-5M- +nme9ڨ>|6}NCuhCu)i?( : њ߈ՖۋuQ3M[µ&wdYe5HM_ޥKKyKi>.<PI\DCP_>-><~(1$CM0c|;J֜[ _JD߆COjAZ`#W--n(evK痐(R!}>{% GgYZH)?? VerifyThis2018VerifyThis2018.Challenge2code/export3/Data_Bits.hs7zXZִF! @]K]b}v QTI.6]T kqziɒ&iэU276=R&XJ>|z8zY\(8";D/ ~1ƀb^7rQLӍ3 ".<$WE28l0y=EeEG(1Sӑlғq?&d=±g3e R_47K?_QqzU $7}Ĕ;^@ 6Pe: Ҝ f<"DJYXU^f3"p-] TM77)0!k M=f VK7k 6r~|-fL>$VO0a"dgS+ eRs0.- J,1a]Ia٠E?t!}`pY85!%SgYZ%{4c", 9J<TߡĎe *0]0)lB-Da= SgO(SZ&H4m~t@Bi2mE sXP9zHZ h @CyLDžKyHECg:Ê2d%1~[sj˲)w0uJˡ9 ;b|# PbV.4h[? ]i^֒%dMq֌t[uid3w¹?IͷtsY?Yw'5meǠbiG2kmp%\yWxc/#/@xpGo4ELod4yoEvF#s޷QM +8τ'elg᤽V2i&~zn|h:/b֣%ⒾY6ct]Fm GnE;LP+\h{f}PO'Sr4隹BM${zYg!ЯS:v.>3kL /A% 7`KxeD ڋ)\i|x7 ro]ז@P['^@\Z- f|8W0iQL_SU'X𞄳 k^R˓g(},:BdT`kgeX; )F "ZBez6}\9KLA=G_iB]{o=s+By8|_,~A:űZUH ˸B1PT= 2T |% X>Uzj^^{Qo.gg7wu㌛+}IkG=< F;Je56#@߻ fAk Z9'S2 +m;3ĺɢg%+^J3ɬȯEQ=241OκlGb Cto-N'8J }>tbҸzإ˪k_[xm<t?hP|2SfQmU;%ʢi!ǔanw^Ѳ\1؛E,')JI+tˎn + h}.n+bcw܏lU$bDIxqbs -v8]v2.uZ'?Rnw%.*U$\\T#8:3&F?9@~&G)\sZ3疆`wTTPӇq{yXkml>bp9㣘YVa.:,^TM@Z`^Z-dlLƦIqy}*}e*hKOA%qF)d,1#vqƤB|WN{+Br3cG oW`"/h6#᛹;L(ܺț{9L9~5Hw BDDKYzRv6;HR _c2JEvӱ~Afw);#VFŚp>ѭ=_WH4;) v:wiE]XׂxCW>E^g/#Z C\ORHʸFFHoRYAB' (R= }d#\YU`jʁOR ؝uߢ6J#DpUc]$ѩ [ /AsoB|mH!Vx#&z8!KDZ5fH }WD#:KU qAMdAE*vʟHx@|iP-g ZDD"Bkryb 1 YY* #eh}Y:Y)kӅ9:jSpVw/O T͕[mJٹ{@`6ugJQwE~ oi-n}|]%5(7bf^\Oil%dP\̷2IO&kErL䔕[=쒏^)$F77{wX]݂<?qMVA Rq>/+ 1#G!*$ x6*m SIp*jҽ\ӆ?;'+f7v;sYXC'jrƾd@ŕ,"Ŋ)~:win3:Fcop|m6Uy'ԗ}?x==&W#%ʓJ3{6LT,浔X@EP ԾcL& jdD O/iFe$q XbX2K $jU Wr*Wi8 =肹P:W k>U z~*\~9M!6Oa47U%p=T2=vNkH/[6;J9}9+d?/I$5 :B+ϡRSW%؞$&",8.XjFn)s!gyIeAIvm|@Z|k#6@\Zf>Njޞ?F,G(-D)G;pnVo)t}5CTAfk}#I<`iL{rQrozʟU;},۱^G_]yU{ŨzuR}МG˨0g⭍oy$ؕzA ۵$eI2D9`ɩuFVN|\mt p鮢i-R/,oٌI ^f<̈uφ\*d/FYaIo -^dHԦXYz|Va oVcr8NZ}$ w;g`8;Lo#W!V'#ϵ(j]5^ UHh:lzVonq*U}>] YbF?,4qDe;440"|ss?WTYGePB,!g$F5+t][: Q+v#JfрQkڗgxХ '1*($ z5:2^ %p@U hv.hF SMdwãAqc0\+šѐp^(x?` Q2Ikb1Չp_U֊Mv1 8T-oezvVOV3oUb7+Atr~k{W6VgB8DNVay|Z%K|z,]Xuo;{Q.:_uqO{̫ >FL IpdjGz8 sQ:I3^#" Km=ԓ*pn6sټXia"#ڇ,zXLv+Jb/&Q*]yQ Xql!?Iw Q0̟uu- f&S$)pEO |ו%l{ X[Ws3BE=y  " Et\E(CD>Mobl -<ؙ Nq!b>#~9ۑsS5oZJ$cd pU'F{1y >TiD[xv =g6Z/He %NWl\SRYy=H_؃`!} }H=R\$?xqA\T자2xc `NՌ]~``X$]4cPZ4Ų%02B om#V| 7)5P.{_iO`L)~Ϝ$D X6ï%K&_w'HX:";,r^lYhhC-u JTߡL ]u}bzv:Xoh.Yrq7skX N+X߭;~,e#r2'%oQ)F aWeJZD|o1Ptt=O.d+{$G5Қt:8Я.J$u8D d փ+xEIWVwp G~pB<'l7Gc=ͻA &^s1{;wr./2Bt[k&36r50i#9dj[ؾGᮯn˳/˩U&Vl dah <7Z|%l_4Gh IC^V]86.F:^-!.fb5KTc#*.?^NYga[떛v%H0k{LǪwI<.fɉ6Ib$BX'i^9yy'k\M L{MrxDyGPL$`/`wzFcxVgE>i<~CMk;_ L}Jv)G1ƚ3?nx8$ј4(<} :`1c*85:5Xgܩ)T[ H/Ŧ%E9;X\rzmbQ,X䜫S̺[O [#ƃn]vTƠGlU^#5%:JWq֌ia49J_OEj`1 ? U/+e;5+eB6lQ";sI3s穖/Qvq8ߌM}jH^sy8!?ä߶}}G*0b%TײwVs4 KnUW'(jө0S62KakD˭<|Y ChEHf\8*o#&$-#g84_1H=N;Ǘ? S !ǢSgV.A$=&tzM€zj#w;}mxl}T#oPmyۜQwtso{TDρYbU3Hi>qI%eh͔~oi7o < BmlPO} lʟCvU,FboXC%9^dFɺ>6Z̯jrIdq71""uU\ft͈Qi "No+_[iw[^9Ԙ ^轼Xo2>9F(1-ROx_ 3O ~$u@< n;xZ}9uLSV:jA(?r$%l?do(߫1H0.2`.wTy{DV,s )@rKEfޔ|HaF@ y鵃 )[Q`':@##umq|{q19ȣ+:W(q&xgBXcP\mUG琏^}غ ǎʢ&_<^88.ݮN[X$L%O.\j`'BQ[M/┳$,sg(ep]ݏ5 w9*itm,q&\ 鈧9 9kRrz"j?+'j{ڟڮҼXn"O"x췷sdY,`Wa_KwG&#n-L(&aW IBx}`QgFr70"#gtcl;tv.1PZC4kk]SNn\T\S,{uk3׳,M!ުpOMD!JKf[oBYg3^Z 0p6b.രQ5 !U9E鄥Htq57>1NJ$ MOOC}Ţ" ֕=M[T"ѹ#(JN*5Ye'vHnm#mҥ_DvCfA'ǰ6{]Q55cjCi&m/Rcב0;BJ$(SD< b6"qs=% 5M mye+@zDnRL9}x'hp&7n*I ~bB)`YLf.u!cX1+j*Iprg%-;cB ]⫣Iف^FUc H `zFdQ"L{6j쒟e W X4)OV a`OO?M^T'dLY [ I5\*P䱠pxDWY/iam sBՇ5b+ w rWﰗtlLK+y[«@f.l/šgW 1]FI@hPx$ie 2zOqw߉yE3L9"v# ,e^lsM}'36[h2y8qDs]SlY8řvX'cC8]_8D;gvve qHlfW.~GPQlҍV(L.$s8h_KRgw!k!8Natf0ԡ:ڻ B*r`gQ88ØOG_3p&Iʃ,-0QJ>s+vg|~<`/ XX~ȶ4s]g\=˟iS:߈M_ܿ$4gc1ʜ¦tG[jF*1 ;v R9> gKa7\":>lD1 \~N fjd`\IVM~5%6Abhql[{"E$ yaé#` z4ЁOCmGovu۵=nE0Kf"[Ei/;Tݑ/3ϭ9e[pgxpқ8XFpy]mS$޻}rsZEw_>/W׫ϟS) Ob=aGЩ .YTT#dG>=UyJZԔD pT.|u.- F ɲP`}K6rTCCҬ%'iH L5%e ]`גzn[ugIז0\DI[&^(UHKJw>\WYmi*\'1)S[XG&]2VT^$,M^|d "ݽLu%̔he?q,x7V0 +Y'J 6`i]bo}{w#d{ D; Re*BTs^H,\ 1B^ Zfg bT񼏹7]LÌÉ_GVI_ (|i65hP'; '%a`G?[xu0ݠm$F* TxA<$Z;u$w"G[Ҿ1±jN1E`gZ7c+d8KMxeG/:03!jI֨ > [-JeE"Ts_tXތgu~fPuYG`]c~`S?k;٫t*5,[]=7lht<1ReW2k7U#,D}okS!nmB_Rv5B}.yħT l GnjVi#:"ھՊzW KK_ \5p G`uR0]EK'@م)sڎ3kO St'{2rR~=S(OX^lti au9`"xCӆհ m[خ8K"KnC_Emn edNH\r LzyԪy?zE Cn^µ42Dk|Wh( +α0,=- n`Һ^̊bgy@$: ,ʳ $MVrJ`Fp4~v73(w&^CK܎ o}*/Jo)`PP^]!tPB\ tXf My Z&hi(d‚LQdyċ1u4xAҭ,a%a0pr|/}/ LpgZ5oظnJ%%f|Ս&{u5lZh Zp(ϓ`-oOUG2inoO\{5{dx+Zu23=OSf)ǀT[N23x#;E.0ѳ7Uȕ|"+J}Z)Rx[d,C^uiO# [69̒\q&Ua^hcG;QҨ*iZR܂Qy|MQNt{T{8`N,1!P;DMG|Ym_AU@b[SU2m̌u-kaE~FJN O}G"l/,R20qiV fx8x ;:Q5*>,ɘ#B V.4M OKjkԓ\瓩60앢2d{UT$BQ%l!3Qh19"xA*ByaU Rh1=&4=p7tJMX?k$ Yך{vo] b/x .nK; h\P.t?bLhdt6sZM؞Q0pݠt /W#/NC)LB6AF]Nt: -V@"sX+;ث D-a|vC"?;s>-=m8 vnl苠I 2l|L?,'[9.ifD'I_ wgl, p Ӹ(.N@5aB)2R8ry%n S NUx=iJkʘCJxXzpR'HX;ah#vI9o\qruȢ`mJ3O AiV=}k6VMb&>(`Xy&Sl"2WFKIjl,T. *ĴO )8_eޡόxgb jR>$"wZύtu nB-_j)H*Rg˷.A^ύ5aI#y'g遹xJ>*d{SH\iwN)/m gpN6]P) hB/ͩe+fk~=db2) ?rwFjᤧD-DX9ۜbjE| g,'o_âAT7C!JMdJ~@DӒ-3^c]zv=wSzjgNffnK1_8Pj=آ$V~'707bf,C{DMv?LVFla}Sq@s"GҘb$$ )^\׳,zy<ԡ #T%9~!<`M2b {N="݄A(Dp6/o6V_,wнS90Fѧtk698tg"ilg80`>^F?=*ChBn:&k mIZzO1ڡG>t129CIY\Wd;w;:&޼3 g^ \@j]"0dhKa/n˰-?W 5cn\g3.b (M- .Fs,I]6 ,EoUyyf%d_('*_6,, ioqj? x?( 8)oq{dSh#-.,tG*Q(ks(±|հ%7Z+ԆC WEv&d.Rx c۱~, <lV!(#W-Ĕӄ l*qJXQ2 c`E"E0f;_i hQK9*D R| 拨Sr:1}یDMcO$Xf*@%cy4Tuv0:@/cvzUnsЬl%:}^mmX\U ?ןY٩A19=JCS$ W"8 ٤ 0hr61+a (0YXYTh?B|4[7~q#u,G3^C@Iְa""*KWiA_ޞ A nE R02⭒xGr靀s_-`茕8"J3ٴ !"T$3[q,vqsB8$j'PL~i|1p?abkYk[kM.00|bM 6Iy>_U M_( 9u1^ ]hA ^ON6v"Wz#1Tn*->UylCoWƈI5(\V|=6s ]-ܴ *u.x}ni/2.]h͕Tֺ~[_CB;3$tl/Ǝ ݕdHH|чJ!EXSБ@ o{0NNj͑ $|+.+{d'Y? Ya0"­ e̬U*XTd N=]h\&v +{`32+h(p$Dr"U 19 7ńwpln ޢ!lM\)~0iw &O~ΪS9A6uK{$8q <CTn .;KDPÔTf``'W0D)Aͥ3]H[ڿ _hϙ+5]x R^?Ku~K,zG~%)%z~âYhųʤ#bV.۰h(dzߜS“7Kasf Փv0\tɋdz7#jʻmIek6j)mnݒ񙞻*A#YP* K]-h\pSćΚrF-fPBa T^\۬ vJ> ^N_6􌸖ڄgvO\u#@k?TUes`R6^zBy"hsdB}+Ts\j/oʦ獶 wEN(Tu7t8[I ;?m_;׋gtvs$d_97" TfHՑ2!!]f/@cDDZE yDQq)]XY+!˚Ygs3MGs,BZ$<^zpQҏf4vRoaE SV%ObWgEpn -r8zAQA=eeY c~| 0 9<@7qG;{νLOhG]f1;^ΕhNtR|N`[5T/͒U{$ E=#t_gxK \Ѹ SX;o@ (eFe&uQTץM".)w٫a pЃer U邙M\ݢ*-12\ӊ0> n@Kϯ<%"A5N{2=koiŹb14Q1K?4/XougxpQ Ye4m$ 9!pIbZ3Oty-h]p&< l 'y_lF>ŰDCaWhY6 . zDhQ^;\=@W@ea@&k VtPu^+@JLupZA{?OGULfLhoL'_ٰ}M<޿:5nRu)17 }a#TRB)Da?LQosEJ*.rM6Ë́04HMR'pWc*@jAPPniiPP4-P@]_0@ .͏ v4l{9 pĂ h eӻmJ'Pfz-8BƥfIhE[9󿈂29 6Kg5qOKK~TDlZ1{[ـ>e+^G]*.1YvPc!ޑ;6Bc(W-:ڲOw,6y+(X$)^Rs^ުT YQh*JTs6kTQɷu5Jr Bs?R3rFqf|N₴Խ`՗1f.R^pD{w}4K`b^p7?D M @Ի˸Q]-Ouzaw 55\.U MAn؎ AQZjnE_oOJ1`9 lt{6y =彐'J:<LX~2Co ƮX]l!yl~7߯'{s"ot1B\9ѥc\K$9{{9sGܥ>UbLc+V*@\FfᚹXdE9 LY}N6"W/P% / t7*]=JRJݲvD(aJ\ȝ ZGaACF2֖4۟dT#}ƭΣrUB?{*(4h,50xz1pn\y#D~,`T#f=`C-[K$lIFr@Px3+33#:Yk,ƉY S1U$r71I}C\*c2 L"ovD$RHe%:9&J#%^۲qaE$GCc%=ރ=&m ԋ,%ΜƆ] \  Vm4TF*u/RIlkĠCaz⬍XqT}BfŠWHu T f`t>=D. t989^y,t9L-*”>.zkKGP=eʗ`C,(vCgۭN NlD<CS*9/=\YY 0br$BV/|F'6d-.IfZJ&tLi)vhqC!$¥/KA`΍@ Z@D7Ӡc4l/'Դ0o㿅L6hE[APeV.lEy^iS 8sYidmVY0VWbE,+((WE [P-y+X'$Sl2r(DEmV ˅_|-o4?ӗܥīA)80rclԅ̋eOwy%Xjv'q;MHXEL C(%IɃَHWpF D$PUu8 +" 5P%94,e4FKn +8Lf]-'ϸ&#FRg>CGc"3GltxwU/$3jEV} 00Aqky>h\լ1KB#/Sҿ' YRl?%YOہ}Dx;sx Ж`PVCnA+OtdK+^dC+*c#YbĒ|bme <i3aY;oe/AD`q+E2ȌkX%%w >Aq$0(V_ %- j!k{А.R͇n`KA6uHq\Dsp d;naKSŲO]d"bT3MY !:.W=3Mdc17BJnXCܬhcw#?o{CaÔ!9`~U>T%qop^ܙ~2:Ӧ~w]S![>DH;3ai7uaBE.o 8ͣWZm 5prBcuFnYɇ݋:u})D[v{ܨ&fz<:ğA^: ͉@}=('QMbc (hiLvpx3K T0lІGOoVwj2[)@԰{OO҃BQEoTñ,vʣK)eQ[S9Q󭊪#VKdY`o``ɀjl=pS;ʖ/H17])uTA7q7#s>p5ϞxjNS=z;1A+YayTr/g"eͶQz]Ҋו=RTqC>#CnZѦrAC K~"H.|%C@ԅߖEC ewWV~Ӱ]VhnΨ Sc M9RfbxܨQ}Zp 9k:Qv>DgMC_tFF w(@ tֿchR&;KIBnM]n),~)%†ۃjקF!}vU@9INyjq8%_ۅ'&hnv#f;ۚ1#yRrFU\C=6ѷpg)>&K`yKS;͉ EcC qpw sJRQEkR H_ʬ 8+P3/S._AiwT-v2|ډlV4i?tыQl$#jseosk)|IHԠsFfgC?`09PH٠#hP pzַ+%ICޟz)85_1 *Iv-G=,'<A# W<%8~;a@?+P&ھ0Cl([ʹ@AO[6[yGPS) ħT`lDHrd߽/(8eoQˉ y= v% $r225ЭٺtS.~fQ<()6Zs]?:"ÁL^w'f1W+*B3xfMyf!3'D4rAw@kRnIAp ՎwCLH, _関ov]+ZRiH,KF s '/?2Ui!>ѬWBQpһ~T7qu= Υyi qA@0J1C¨/!Ա V`YU`$8'ɴlKys1]{E0zI;XlWKﭏ(]?9WiTSըGTSh 3z !0y8UM=D'Xzϩ 1X+Pݽ5aGܴI)( !a[:[yZn{V쀛pB#?C>?T-}-7 ψȑYVtD+߿!!+ lӎ4TsWҖ]Mq(7GS*!؍C4lĽ_=p[ԩ4«kW#D@ڭNoF*{CBǺmpHsnT!=/>1\p7IA٨"Lթd&׈ c̍@l9Zg(SԑEc|E+FR'ۛDhڹ<"#=J5)U#jr(}$2&1'|U sJ sb>a~s)O b示ƻn*LD1)^*: `zF.k̿⧜'33-thYwVt͝lw}O:حcgtIm&R[ۤ2 OY~U tA8Pj{)0a7D' &#1 -Rz@%;^еC-t7T 4 ^3FȈhB,%nHqB-xH}8nA7 Pp5̛ᝧ*k JHqݬKvB)IϿPu4z,>F$uz-A0rT?Gf8DPkr(F!"(oo`W*sS""eopwcNo$ޝ>ʼa:8,J, ,cVzιdaְF=HQ>+0L$xo@JNƼG,_j>S Dj氆%~YFɐhundSFQgR4SAu|(α3-c8u]@)̸{k֦n#x@X݅|IЄd B #N2O᱿#Cf5%o33T~UBy H u1߷fif~Y%oHj^bs.J )+h|isn#[!+ua^b.e ΔEygY swcZ Pڅpw@TbiذI<^!Xy3$= -K\e4 I &P0]/0NDQX.(hm1yXn:A)0]߂Fj'~B= m&Ntrf) 2yXLGWKEpiٸ'J 4ACP^bxo~BgV.,5IQ-e ynt0FqIV5(ItQ(>?%kʭ~& 8T\;W&a0QM ՛>$(Gl򐵌ox=(L \]gB*-`j O49=aMBAv++σ "S NH.cԶ8g'^c& ^x C~U): $ k:+ˬy vZ})_Swƕ=\!G +=OVdA78Cs{؞/j4BXw/zY c7V_xX%zizj|w#[0+Q0;W|>SANwInŵPֲv|w5R ʽ^+@NV<-h5M< 8FDO)#[Z)pB#S>Ѐ4غFN=q0.Vќ׏ TvTM~#0=F!cUe7$82Qn$:q6ODsN|"\S$<>+4eui741 ArWyQS~Ngz 9([86ꮀ )grЎzJ?Y#bR/]q-Z0&qKkUjT9J ԒLrg#FoZoǰyTt:`d4_z=5YF번ڔCoTo?ƫ e1ɧо1N+"b|χ=re9\ ""5zIF/o%urP΄nGh6CU ԆdM[/f6x-#w!eXth7axxݵ