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   P)l|< ] VerifyThis2018:threads=4elapsed=50.556cpu=130.284gc=2.588factor=2.587zXZִF! f]ŗXiɟH)0%o$"eu%m)7bwqp $ 5 ,#ؽo{=čFr3o>:'aV?茔 wE 38P`BAcYI="dX&EGƖxViiu'` N 0|kj? G-k#91_*Ȼ:w=;!sl0+b9dGԦ: ~l kc#=lowȰwY>VED:M~Z:Ѕ>Bx(0WS64s۫!P?gEC  V^bOa-׾ y̞9*&h W.b,;{) ֚bptRĄ0]bll=/L;K *TΠ/%3`j>FcI?s$%)a)!AG`6=9n)%MnfnU<7vjWn]A B-.sR4A=&cH4 {)z?w3T)\Flc|p6݁/x2ZuGW.M?yǼfu@CX|aJ,ru, "I[7U@؃oLG,M cd1_ʉ! po=Y!pg`VBա7OTSa["1S5YeQ~Oqk;עd/ʁ~P<;& /pEOj{ ou1@#tKZUirf|#^Vb^ѱ7tPn$t&7\ՠ)sA;MN.Qzl3JOL?YcSqħRLWf]0|EЕ#1e՚zp'4\z[DN>wO)| DGDU9A{֨(wT(-+oWgViN@j<*eZ# ҉2:ND*| x)ljOj.5D%vXHc;t2KjڡvS3o?Θڸ[;{YBw|khfh@N1vH-sT_r` ~UeW!Ë֘JBuoι:'Pf}fch$M *ò~20=t`X6Ԯnx" Q@n\'CY&p.o萹TP^`s`r@v}0 {$Rgv a}[@3;E]ɔ3ʱ,k -O-#2$ _Ia,,7)^7MAU]ְic̱۔WH ̂~] 9jؾZPW4 Py6R-Ȫ!YŞ̀68}U.b֗EA ]%C;3ZdrT >M@4OՔ@w9.gX[FJ1( ) VerifyThis2018]);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);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-!ڮ^ڋX1K]sAn'qmonKjc2Uu=3PAº=%JO'g">hePVS{?nw/ d!*A8l(ؐVue])xXȗt@!}@ uClrnoC)@,(^a +*IFONn|uH/`{g]]wK%.ܪ32Fdd l%TFK70$u{G.F7KWvS<79+h+&Ɯni&\L(dEL"9L7{Z-K*p<mxzgaB|/$p/bx/{bȓܖ ӲZ6`L&#A,&T"Ju3-bYj̇_n7Z%V ċzb.3fꓦ(sXuocCV&~Ktmڱa<)8R i?Yy'Ǝ,l5{An/ Qk /yFIT5?nB/4p-HD0ؘ٩IW֜@5CG7)cnzۍ0uC&Ս噒ܵO Z132ovqFAF Cu2k~CC\܃0H-R6vo.}(T 9\gMle@bm3 z!.o888A<(ɕ7%NhHyˍ5ftk~i4i@$SGfeg;v˶I&\[y$E#5$_ 0siKỌ-CdȚ8{yGO~7!><EO *502(ɅyÜYJF - !z?h}~ttvowvIb}O̼W: ϩl]ۤA UƇC^yP P io0֑hJKD,+,6넦ʿWx)2Lw䖣Rte-BkGZEZS*+f>"uVcyxW!]@j&^ܟ}_ ޑ l[?86@^)*ᕢQv3R)53#DוbCQD5S3S4e 7AЧJ7| 1Lk5t+@N݈BU>l\"a6 dt*b擇rgfaCOzp)Xg8F`D&2V+*>Hbo-\H*겗<& }fE:Ɖ46/3SHXppS(n/_)YoH.boGE3 2*IfprU+"CmО`+ں֠37uLifO |KkdzVzz XbJg1BwL{KYMYDy@0dl`Bc{RZWM|P __!tջ+ K=*@-x4m[B$z9(i/Es -M "AL?銪SQ`O qQZ9td8ݒDl,wU3X黑Wqv# ׍-ps ` wo{AIywn5 p݋a0Б l*aa3̜%e#sltcn 4q[ zbIyuʁ=N!ծmug[ԟSaFz!7cYll0wƶzނw/ "|ԋ<'Ma QË+-{UDzd;3j=Paѷ,[e:h~=pz}IQ]ߓi U2oF6K#C>`sDBb1$m h3Ή+܁w.,jx9 ';jh..6R-fݒɼ9޳9dj#mcS+˖b "<E2̒7۬uheUxjsГ9G4m`hЎvPTkVU[!Eab.Ih=ī'2roV|aa0yul(!!!I)o.w}QqG U5p1\@qG:쑂V٘ems&LbB hZ59\LEo}ia}Qƅ}CҚ,`dK cN[:98Q4odw|[6EEU J:YҳWʽv9j"(Q ,2CnexKeaUˬa$eq]̝g,!˴F&Y n^Y5YhK>YWU؊~ƎC>i{rYMT3f`fIȎ;)fF#< = |~d.c`.gx9DCtin (8"'@p@n1_'0>1s͌a'xGqv2a)7|QR~6s ϱeaB>)eifmA%r2H X݁oIP5r|w= ln"~}F[o9_06)8jMg'jHS&4 &V\O85OHԪxdpgr *s78Oܚ\ᰁ$N!6=3ėt?}|YTmGFz~y>b~45E,O!M*H/IEd 6v5v/WEn<\Є%296Wd~OߵfH/2 9d:!+wQs-: ͹£ZŪ֘IB5c560R|k@P&k{Y[~ (lKx5~Tc c`A%qSkiL<^940CZyM#hv\lr%,f42KV,݄xiup歚K"Ƣ,E;M&.0!as;L.U`=yfM)tX:#ܚ8lrr6"1zpD2xdLjl5b $sDcT X[/m[^I_]-™s;{IE dde%h1Ӭh|nT)x(*Aw.u; XjfUBp$޴0͐#>vzK5'&"5 2aTxԭQR3>8nEQ)D2?}v쎕ئ^P @ r9U1IUWȗfyS,{,ފ63ϗ#5&'gTIg;M it5pI`Ίx݁72Oyȷ$M6O;U=3k%h0n(oݳ8Iu.|1E; wqAVUtAM>,y tcO)7|RD; }4MϮ7Walx1nްP+(cISLb4a|lȼK*FL[ǟQKm@.CBJv-ŜF aZ W|DJ94/%jkF6@לIKuKrIzXӷ[J;-yIedկjVæEnب86?{J>Tz;>MU?ڒB0a~Wv^hw'4kY0thhIeK,SO|RHwKǠT8i]n$3"8=!wXJjj+QzyC7HUnݖrهtWRD"4 =NF F+B`a 9b vE݈swFP|;8QxeH)?vڝ'h{i6GAbC.h `Ӏ8Гw׹5_Y+:PJ1?Ve0Є+ g !r: :;'oy.b-Ǒro/+gƶ[OA=U8CKZEU6)b7΢>1H70=N pqjtWo  ݖ(q&H /!Ί26--_;q,@¢׎jw: =TR`cor3j _`SSht)/%XKt;)OprB`L+LLP`n24e)Xl5zl,C& ěj6뜤,$$jjDY(Kv?\܆f(D) DlRsv9aKmtFYjo/ `Cƈ*PD&ڏ,ܭ[0?'7=+?ۘGiPiDPwB&C͸1}NChe+ ]p3}טqw^Ben.|3z4ЈsEA^946an 8nGP%U1Eks5Hd d1ld'R-R7[l}O0OVdxLg`2oKGkI3ep'.Ƣ*7XZNFj/tkIL&!RBBG7x#{ Lzk=umӞ,wzEp f}L:JbĚF$Tz-/6+=B1@]WJ9m(ou}l,˜x[sT̆bD9]OtFzkLrI} T|MZLH>8YC;~@. @/(U; #@g?+JGg=&n&vd" V6:RCt E#(p[ڂQ=W&O䋫OCĵ M \VDEL|7=X|ǹ!٭0 |,m\sQUFP(Vy˙4dE!Fص=7UT::)E 'O 6I؎[ppVIjU>)+?B[pA? @zoNCZ'#Vy6E1|ie`?!Uنu'Vʋ %uY  ëU%4-Y&H9{+6`읷 թ )͎TpeM3SK_{} -4()^qAtŽa3&҄8^ƼkA1]@aWX5 sk%<)kMiC.sn{qpe0|ݸJrq0EE(yF`Bb iJ+,X]KmgԏIU[ٕ\ѾP#sµU?|;ݒTsR=x ķڹ<)*ҩAP}j@moI̋r`!MX^0V#&L^mYjNbҪmQf[:˜G"!j$ި쾖Y; ϓf@*~RZPH \vWUB^InwUhs-ZF~|4y'-SL|̋O۪ JOB9dԆDùqg usMnj os31֎lĸ*45*JSOVpn2k{օ!eVoӻ6$~|7 /u&iNk`KR0sD|:wMiWpWqU3&|sd{/*̼9ϝnkn8p{,4=6U,J\*2N*Gj&oXm+B`-O¨ژU4oRȿ;w8kGC!FVZDȔ"yM;p xwN}}?ޑ} 3Vy/ГVOg~E$y#|X%9JM s 2;,ɠH6_=8k#*o+Z B?- GXĜ|cn,2x8,#}.8arڈBsP]N7KZg-d0:].kXLGz3g4c6(lpi|ÑDt2tT-xלP4jvFĹɗ7D'Qbsa)pIC w6T5 Gv;ƂT/I{=8k.hO2hc9^-4 HgOd_dl65U[sM2k늽v)? fƾ紧^?i@RG\-Of[|+W_\@c~bGz!~JC)yPQ"f(cyutw՛06bDl\ZT˓J%}i)oy۫DpTɄ6s A%7*jG#4?qGwE)NȫlM-ޣ+9,ƨT0uƬS|y MOd5iPSY!`%j/Qp\k9;[O#-6V[whF~=tP)fFi8}n3,yF<R>.ҘVZ1H.ҥϷoS϶[!X:Wi8<+jI6[VGkΌMUa,",Ň$`}ڠ/WIW(5EI螳LV֙n2ubO19ɽ̴%YUV`1CpZA3Ea1P^@5fe(f}53s$RԪ0 Exg~pepw o4iC#cyM Lh9|àxhj~7nەwb /4Izks]};MN LƳ! <5昚0:諠/EK)8%ܸo°CSa0Z3y/D{ fxw}/_v=TZFfGbzIۿMcC} ԏm BPM_Y9U|jVI멺奡Lo5ոpb9)A{Ȏ͞paRӑ7o04 l!Q]{i6wd*2}()nlJݖ;tϨ⩄с xD w:|i$-s>anȺ͈&٤g<1p;ʴawŽ'Z.LbYLvWc*F. W/>kFy[Z8w!3C= mi.uu /=@AQt-䙑azmK ^pԬyg$% ЛY>Dp \ъJ8]@\cZȅ.͇Um ?,&V( ҟv`|Zf+<-H )`kcRHӞyDbXI@6_1FAs KtHRN[TxEE)cEO]UK{. X"e5;t`BG9)p:ڬ@aɸ(y>73tk:QlOVr ǥH\0Bz- {/?ȧE+`V[EN]<{:ՇnXu~B:-"n֐11Սw{hqC 8ZtE!r 2(F3ZK :StcDj阻Yy,g[L?>2&l iH_6f :>%yFhߵbC'?9MFF^8ڒGniv_w#9s6"O`R5X~Iwl,uu,d6pH thC>.V1 % m K/:_zBJ\rK$בb`FRUbd-n ҳFc. n+&t5MLz& ׹US{Աb؁݅6펎q8 F Z\A *ֺv%>É)Sɮ<|`l: p-x+Е 0kF  aӸ+{V] i&MyF c4#w-j>[% X Iz>6@6zL0Zm@QV d~P:+jSk} 5+ Ksj gk:Q2Hde?R`ALlZ`FK[M[,ja%Nte50tR!,TfM\l>--%+|Iаұ4@hu㷬&EmcV$ZE%F-qPPU(3*4ktz_>b;t/ǕlR+L}yM ??$L 7ivewyd;A6(諮Ԋ]9TX{é|dgNhoҁE;Q/Q:LNPCM)rXDIm[b6cgxQHj\be.XMCc;9P+N_hƑE5ۡԦ" H3Br2+DҬ0c6U`sE5O`b9:ԔbmV7~K:(h:Nv/89ihZ*%J& 1k/c6ʉݞDfAwĀa5. yB/.$o~G}mD^Eɦx+G,i, "۶XEDF2$Q#0 ] 3޾r9]W4B.>ᅧ uz?V,2=ct ?A~<-UƺSεfR08U:{ݝ_7Yn&Q<3<#~m*TVcJK47Uc5"!P81F~oiVHVҦA]+gJY{үP3ܰU=CzJ= EB_&D TyEoܸ0zぷc^`u胰]PЀ\.\'i1Y6#gq%/"E}VT$+BAҠn5Z~@Fi Jʮri?@ |糞-D[og?Z"YZ%uǵҗYͪ0q&1` *}<R k66 NLfjaFQ<Ī]I?uk)yqD&ea7! |![4gj:$* hw;%nQYI9Җ*궰S4Ҕ{pqv>M'! P kNc߳Li7r(煱s%0* T7NO8sV́|Mα{d8:.f3rfxyv*p*>ϓu(\-CGՎ*-}é' ,::}OmYK3gg^ǮDȢn}by௩FI(Cw<+nSÀZUf{Uj] @xM7/l@.ܺ3e8,mǕN39ɜI|bM`U+? eiȮ){D1/{+^Mu EW!aIܵW;޺Ki?z&6v=qcMmg.?08Y!5?jȵԬhB''FFDzz8PW}~8֢ u9P[,2vȇ4m-}"OΧ6wG٢u+qfYFBi"tDsyI t{Ы23e2[V2vt) u mUJR!<=*}݅Ă~77᭚ԜjkqX[(8R5@$me|Ͱ#KV;ߖu]PhapI|K! $!?QmnԠr)56 Qix*r;jؼ}e, S8 QƗ#Z lg a *[ ofo I.\EⳜ>.č&4RFlŘlIuϻ m0}N-vA`YԆC0XؕڥΪ/lT4:%#(4v8,:u%"7>{(Wccĵ_gc|vfP?H#9Hq?=)xN̟5xidErɌ)t29?\5]n(+"v9AKjExe"Y[W֕PzF1K` ep:~-kb_2뱿 Po<#2[\9w>st//%Q.*M΋Afy琇T.r uP"e&ft?h qq$55,jT=h;UWe9-̃%%[&aD#f0&Jg$mjB 3kp7'V'԰^=< AklEEy6"۽w N\r6d͆yC^u;X(=.zm~A6YXv O$J'k.a$JiZ&U^9+c-_n 08 ";AᱨP=wu}1 (\ NU<N<hKq5"8M4U e6 oʧߣ/ytMYQA[zrO 0>]AB9ʻ=+\9]ͥ:Nm@+Z7bDf3l\T9]1Txm s9L7FZiO8Gz`a_u LS\avwCMm`g zIPO)aU aM=q-lcL"Ø,B  ^H@;FhRU]d @ng(+-ӀQEuΤNg=U7S{7VM@j*FV t)C7cvΛ=|+RIVzĶE _!z%40-\f͂.hqH _*n8N^k/W*;5,.^[PpւE#\&rmq $ul8rF9{K̿=vL`9y^KjA~q8:lHoKҳaƎt]RIE;8u+NkDŽ_*1,`wCojVYDLXүa^u]RJro宀7a2[a2h}unN"(#%#gȻ, ^B-XUV)z zn2| 1x̧p-"kN-MYA@c^hogXRk#F|n h?cD0f6M"~>EQ8جӑ5wHm9;j'6ul^&IPVT0]glt#Fّp7O[pXOb=Z psG/A&M9xsItA,JJ}yR~OMa,M&R#b<o2cpyv~0,izw,~-I-&\'#4+K&ٓR3 ZbA|vg1а~`\RC{:ɹߎax|-"^>F$amP‘!~^ o(/_[JSe8w|ފdBu]:ur \uװTk(ex7]zn* zR##ο~lz8>;sS'6X72MaoSNty]qP( ✩-Cf6oR@1Yr4,`|&K$ztGaF$vgUl,1sf[ݾz-eX?zу=ft]$wP9@Կt| F@1X!ٔ6K9s+ti€U`u'2_dD>Φ6t~d^6>Wx/n>\ ߚLBàm&-xH8x\I69PY37YKId=SDOa, cw8ȅ@\b>̳,ZC@!g81w/H02kܣGYF}`GtZQi &L "$ᄡL]JR6lg'3qpRO{&n\Co|m3&$rƱ~y+KP>q\lW= A׍C^ގb?#ʘ~oz(DM_>_(=ܖᘘĭ>-|-840x#Ʃ,&" Eq=hpkq@Xz lέ:"r4W̋%$X9Pd( ڳ?mS::V'hڎ3f_K ņe; %V!@*TDҜrT_G7h Fvq@*6W~+vN. \qh?~6VWl|'vUB7 Rnؙ 6f%r~zLvlt90;h!fF_4o<֜HKU66ǒL)D&ljoAm#'<'jRDaLQ%1o O# o-ęsaj-g]~bzrKzAAAM RZoOଙ*].6 vWw S+/]_M3\D cW}Nnx~  |zVT2xlS+/"t;Rj--m4o6؄M"̵[,T}ӈnKm\:*e%:*,n7S`ވ LC+!*e nq3+Uu(;X}@av@<v YjԼi;2?<6EWO>-g(ZWtҴ]7 3*m)r=0}WXF~x=p¤ȯ>6a4C;[w(F֍Q+B>$`idhĐ̵Dߙ_fySh}%NI5(vXыmTJAi&ofxCHt=_6eKt3Se^Z3ik'6tʇd%H pz]5+ &WѬ#Ot v܄G4Z1$ ,m jGfsUʙf*ϳ^uBdf,0n $\+UuYĺV{\=z^Sȶ6۽bPL|WB;y〈Iz/[$ͿX_GHf',[Q Ycb_ cGVU'EصcՉRvuKKfqMv9,TtHJ O[KGXN*=A"žČCOߣڄvJd{ < 5Gcwtgz5>jk; dmLeEaQn1s'YE ۺl2Y:d}}RY]%u[VOrl%ڔW$MUS^O z6YR{/|{wL n=bі&rdVZ"^B0sgɶY2>"Vcm;cb 5mϛo^x u?i1Ճp~Wݱ}MLZ(_)ߠrG$6MA:'-Ո'Ϝ -ԟ^C?JiSS&`Lm=6բ:uW#ޅ9Rr[g2+!r6`;]$I+wUhDᾬ[d;-,pQyoZ=]WFٞT;bf7 [ngq[Liªg&L?ъ{G:=vbܱ =*[CG. N5Ҁ|Ϸ!Ol{hTBQT(az[&l!)j5{Ӣ cX5'j8izRqr2wy۟O}IuYZO xqPT{=qT?.W߁DxYRe(ux6xAȽg/(Kd5$'BcP"#]u2-6K,IrY@_,{zfw*>uy.a 6ꐼ!aA-a0uOLn0FZ00jB"x=-w#I0J^ƽOI3[s ; 7*;Wӑf*ŢRX/cyo2=Ӻ1SהZ| ꉞD9o9p4HˌyeBي! 'Hש_(H@jcRp<t,ؕqZTY+h():$Ӵk-p.Zy3~Y+'?epþLѫ%[s ԉJ9_6 n횎48M V(vQDsv qn_赭Ig\Gu:LOޣwų4/Gii]i 1(+\J pB un eS1ˤmyI9iYB40ZSkh51^fVw2. rA%x(Ǜ1_Ndu).-&gГ Is%\>`_:@ޟSSW[0F|y0sʎRs)tw фn&0X ^ͬ!A"4HFboi;v߭jT fׅ4D{7F]%]bR.Z| <_gC$L>؞45Gοfp-)*T \[喙03[嫳N00?QTho`2ldCGcϨX#ˀF >@ Y`g=`sf ~ ,d.#}H$~kp0: {|úgO~T溬mOR$c L e =A MP/-b{\\A"$mUsK5d[*Z?{3+O 8=3| E_oz܅ܩ0*ŞW㥣^JǗN<_'E) u<%rGq-F"q\lE']] ַJ]NRhǥVy&1H%DvIj(5 ]k7 G9NԤr Qi~IߺѶU~hH fKaS5#^C:=wR>Cϟ -/x,.H]yUݬFypĭn@βC=\GGR~t8U_r7>YӒ|RQ-( 5cv j-V^.\I0v(kV;^},~}Id.uݢMqҮ̕;ZYŭ,ֆr:K'lid!nP6XV1)Aa~E2tria<.,1+D9CUL E(8*}vhi^dq.731/b~A{i؆P Tjg+b.zλVX>Ylm^tC}JeE/} Ŵ@W@iC41ܖݡsb8͜6m>Gg.R)9901SL_z5,z\I !0$, MGsWO%~(CЈ {k<+!ah;@OUE#49GJRc> F+`KhwSJY,2g T̶qRzÉm4qVϠBޑanXj ,qhb^D!'n^ÍPxYgV@y (@R=^gYZ7zXZִF! 5]ŗXi%L!l0팮„ȅ{.9]<˱!Eķ4|ƍWkz lIw?´m6y\kL|ס,&KEߥמtjU9b}oTXs|`C{6r=E̕[w_չJأX/7OHtf'D* 4 -tW"7/M+trԲͱ:'^^#>Yx"\oVD;:Wu;nt~nFT+I̵?)5aa9_xO OoX=[[\~oK/ + Ge¨}d/ gKoV0*_1M.*nE,zղr#fXuc =r+gJSư|{'f}>(F1Yuv)jۆ9&}g JTK]tPۜrq3OƯ16"}gj;y/RCKs2Jӗ01{d0:VՔ ^cx>. 4ƀj:2hrM緡-ͩq)-m; AъwZXd>iAE}FL|9tci@(}gvE۝1Izt;@Tޔgt[Cpx1CAڞQxYoO=;=գf޵kauTi>U~O'nWJ&s.\sQ Sv*I@@@"?d.Xl).;\i'k,SmmAJ2Zi%pɣ|6_tMNHG$ʁa w8W7q~,%l^ ѕ"Y#Pp}N商ȳ:5S7KsdSbУz^c5ʘÔAMB&@Q^6~/HoY>#s-oo ?5''e,5zh@0-Z+HXA:q\Dx[hD&0<\&: ؀nPV&*w1; r|-Xr5&}6l}Q 3OP4GJgRsH9`:S"0#p ,^%'KPfr.s2ƚ RյtE{o5|l=sނR0[KHPD5_UWa_+V=GeK(aom+C`PnϷ~7>x#)]{8|imZ_!~ u$gB5o+tZsY!Ut T-!؞ⵣgDx~T1\ qGFOl9L%#ӟ/X2U"M&EþY#U}I^9a 9+HGR9N] dŜV_BFjh}Y8 SbmS&hD/{-qRTDt݉%w33,p^_n>siaoP4QmtO{Thsp mi"O 3Je*<ܵ D߆zu6g}k<'Zq #bʺ=bFBӤ(Fha@k,&/u}T( HJUQE\YЏ6YqB~+gbQWNq3qK䳦:᷑ٹݱ_z%O[!6н4Lک4GQSg%`ē8aɆv9y$ZPPƾ^YF0tWyTMiENeXA3r)M kޗu~6~mľ"JOh+F0IҶH;*QC! ]駂B#/^a8ޣdV%=S2 QN~AJoX7rj\2