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 ?)vd , ] VerifyThis2018:threads=4elapsed=97.173cpu=208.088gc=3.4127zXZִF! g ]ŗXiɟH)0!h^ g Xd=K"AȫٚGX_Lk]KʡkwYѫn(<yc,(PJʼn[ڽ!w(Q;ۭMMNrྏ؎C^L2WF헧#% dĈRdOڠ-ZYŏ "ec$/I;r *|HЖK .9 ߽qf.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'\ZX0JW)eD G&g);l6*$}pom=fjDUy&fW$.¸Nq?] H}hjRdBo;ѯ_Q5&Z_Zsu pBɼ_ ># "C*w"\}P|,h$̦QA3˙a4n$wAa|-?5]ȳ>7eB3KX] +s1 #;u=>-^=̐,=x<8?R71:zG:n նmuO &`M6.t 81n{1ݹDRjiڋcr}1>vAV"Pw=OH6rs=3d9 _ 4Y0Fκd:'Z%{|,W1,}8*c˚Wf<6sqT1.ڠ|hNlFD`N(eZRe8 cAi!*jRKL5\ eqĮ<ݣȐK"sL5ź%-(Yaњ}Rf\|JȡsRMM,&; 뢔fqXX NjDŽi0vT~@(bzRG{6۳bR_8mM\{Y*^O kҀ26ic[rQzBɢ&8ԽI0XIfĆw/4c ;s:R.XD7j1\Iލ _f4q~^g-,aoG~=|c4R)ee&,bpw1*8DJDſ ۨzA՞ǜ;*/M6n2\3d}\986~e9w\'RfY}6Kt,~״>]I}p"oMPBC#=/B>7< ܄mwqܠ͠g+w$re7(WF7gǃ ;X<0!N,;3}B|/q\KPًm$ eā/i5tKYTx"=ؐ}[&h9Mȅ'XJ nC3)wDSGXRۃ#°2CNr4Gx=+AĴj[v8A}69ؐHP{TnKٙ ՒOK-q#a܏TFdݶgO~6(vO1vkx}s"OӰ 1y[ "\iR"tyDԶiMʹӏ}y{:>ggZxR|vSHXrY9r\SѶgYZ ) )?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'\ZX0JW)eD G&g);l6*$}pom=fjDUy&fW$.¸Nq?] H}hjRdBo;ѯ_Q5&Z_Zsu pBɼ_ ># "C*w"\}P|,h$̦QA3˙a4n$wAa|-?5]ȳ>7eB3KX] +s1 #;u=>-^=̐,=x<8?R71:zG:n նmuO &`M6.t 81n{1ݹDRjiڋcr}1>vAV"Pw=OH6rs=3d9 _ 4Y0Fκd:'Z%{|,W1,}8*c˚Wf<6sqT1.ڠ|hNlFD`N(eZRe8 cAi!*jRKL5\ eqĮ<ݣȐK"sL5ź%-(Yaњ}Rf\|JȡsRMM,&; 뢔fqXX NjDŽi0vT~@(bzRG{6۳bR_8mM\{Y*^O kҀ26i'Ւ Ma?)TCX8g5D6hɳfW$-Qҍ-n''y6x"%@NX\%7-ˢV`@AeR_Q0mpΓ ;͒GE/b~gA+ձ HFhj!^N02]C{'QE׺LZ2|B|'}Q }ϜLn{tMU#re[qߜ<Øғ8fbjs+bjx:&JDR>eWI+D*jZ]k`:})M f~]1vLVHT~_+%Ƿ\,D ұJS(9S~sδ8cCݎ˜뻽HgzkڴR$͚,;jO*p70lQ;F8 ;5JRIͻ0-kV{mSѶ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^?#엹B oO68mN^3 V`Ag(@9sJ^Q8Ȕ)H/ƙ>b#D iQ.ѹU{ō}mdiH#6uoլkg_T}L;Xb|cErN3#+ \{43>ۺ J~EKvXI(xG̞0$Τ֢\F$nbZ%TУfVc wjҳEGd:aOldpw[~ ?LjUzxj8˰9:JO|CYzǧ,:n=SrH> += O9Gs/.6vCG;x4$,LYb+4 D{XDQњJ%Mе&CR+<כS- 8'xO%)ES;fy/=skl%ݿ+uN?,2B7Ҭ!nB3 ӳԮ"a>M<,ɛd>L+mvPAk>F_wg[ 2p?|c 31q;Gc 4LyPh'i:Vd yGSMnܼi.[5[VLSWT.L=*/I?Jȼ[ 4]pYy#g"/dA6c*n)0=! f݁th5BrBL^ Âd07y qxULq`e|?VzUynR3[Ic$=MRQff#y]5 3 YJ1ZkוU[#ۗ/R٦ )#`T))łH_6 ח'-t &jw'YuX1صO2$`hUm !P&=iP-]B/LvWUG{V0HxA71gYZM)?9 VerifyThis2018VerifyThis2018.Challenge2code/export3/Tiling.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPml"4#6 F xWT(ؗAKA͏_`U* ?ϔχ 6ɤ>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!%SgYZdX"W2/*J??"8&l쪕ƽX`N5~$n~a3ދEߠ7vt~h#)5!a ,Cnseި^Z*sEȒ~Ûg_вw: ߆ug. [ER}g=dl0"u,7u8.O[cW,60NX,m]w-ulЍ! |ԂJ^!_U6CԵϵy# S%7|U?n.#yM5I3(* 8v,InY1x{p;<7sQWx~'73$ˢ:_qRŝ]@oRϋR*_olsn m>"hgL_~ҽ`nUKj&XTzlk0n: BR:x2S#j$cDhΞ7 =qw;(sWu׉ԑ+4[ԋxy[Gn"C@f'ߤoJt :7TQ `w3{XEͩa^_4,3VAr q[2^K;Lk# wń`_>U3fC%qz=Lʠ.CdFkfyMš\ m0%̚іzχ:K]ާ$4;M =qM5lЛY!LI<8υkПt-$bGFaJXei|j-0I[]6qϥΓQT-QXQl^B8i `Ч ` 2&G|+vV/8 e`У"qEsDz A%T] wӹ[l/2br}^{@u>. pZߟNS3杖һbi SѱUlj!? ɩ!MT܌Xq} @5GH{8RFJ57ӎ 2gAGi1|ڎ ip%nS.? |.f8ф_d  Gw(Y~0K-e^hX}y[|`;G4#-d6)V%}:c,S_zG7Eo1.$'=sc| T5ĩJ.\e^5) 0}P4O 8NX(=X ̢ 4z_5v)A0"^ Aq[Gq.~Eɂk. F#Ti%vֆ7bӌZnʂ2ɓrGHOtXqc"CJ+H?3Y/9Bnaeg=TV 1bc4F̿8N^R2zڼ9<} I4ExyF U$PE)r"= ޵xT#a8ڋ[`5jB,Ƣ1BwnBT:}}|vtaO 1}2x϶{d%%;_ka Yэ[!QHHCۢ% 2E^ iN+OtEKӇɬ-'}-&P($BMDP6Zpt>۱5\,ovU$1mH:%ᳱlq @ CNX s 0g?|wP)dJ#CaEX)J Xò YrT -+*=y=L~]qnޭL@k/Ty'{=Tqyߨ ~W:\1->l9"lVk*u8M֓CdX=Ȟ<їTAsl152D 5EoH ϪH\vs)IsnQ<]dhMaE##po3dA0 Ōd4dXBQ돀7h\%Z)>r^? VewL0KfOj1X1x{=l0%:!DTT:%#*ޟpOfL.Iٌ5H3RKZKzI/L _{Tg[t b6wU;z2tj3fs]lt:5[^rZ\vS E/~ђIH ::ɝh} Kw`Z#.i2 8-Q|{T~A}mzЊ)L*>uXe/$AMT)a&{ .CC#{e4 5ƅTl0mC^.HBҽFȖxFڗu' %{M~#&F g2ԓt!164rT5GVoPG=oL;GWƠ.Xl5˥ai EHm%O>>Oz^t=xAj w_rc`$&Xk^Ma{Pss]MVK`S4ή5_r{o!olp!AN+C\fH橡ճ ~rv$hNp^4k=#@h!ۉ 週xJEZdZ0L:祙w?S[sBv&λ*nV{@dO76;bB{c^: z-簣S-/ly[pXZ/n 0 Cfr1p#b\_sH b6cW HypҹFvwwZ\Ǎl"_oaYd L,3:',O)py2Wі0ĀO.)w9"jSh/)8|Q t=Y:K^z{գn9:PDӋ g? 2'{?65kYڶͥ{C_C . /]^5<"+]U`c޶E[*$MK74֥@`iJkAO|:OlFb;9'VWۏ] #5HVQs::N621nc-G6nf8P3!*P𣂲ںd1@8WnQe7D56ifH3=&Veu1JAiNy.o<QnjX{6i7` 4+KWZPS?Bb|0Iz@G0?2cw`<1sFgu;FȞe_L|3>(v8 r[;]C}zH(&5 nnB@>Kp2FLd'VyxM!V)~UA6P!){gO~|v!Yǧ5DB<4O!]Q%/~ >816@B e.u5Rz>*@RZt>e_A*ua.Gig#{J(~YA{u[4Ѓ:-@nXbM|Tw ؓˉ' ?6VuE"*/NW%>i[aYG!J^p/-4*O1,wx2ج>ur… PX$gAs-TIn12!6:Vk&Ӹao9} Lܖ).e++1A*ؾ:@-;T(A x(BSv^G6Hq)3PŴ LVTsjUMsE 9Фi8/מ!TSBD oI3˖[h&Rdu^8ڑE:zϦv1.Uu=)3J6utSC4Nk&ZPz3ޟ !$b[Uc 8v(3aAJdh3BZaB'a" ŧI;JX(\(^xki''L[X֝ Z!6V5ܬآM:H' mx|[c[H+/^Kܛ {='iN 25}Uٯ~L`9ǜAԟ0tI4Jz@Ft8ّC'7޴p$w7+!z#=MRIn_K֖u"f]Q )CZ?~]-`hL[Cy-P3U8br!j!`ة|Q+zN=tD~ Ϩ QmMwkV8kQ2LL`f[ș19ߍG?djaG6;=lo騁"PrF#D<99Ri']%.V^l<~"偷-s6mNC!mNFp\2QWQZ?aNQj}RO֦3d J C4/;c>$9J×:45,ǶCVZ}8MFlr%jF>qR LYˀ9!%>$iT)FL#,+d?CN6x3oczPޢ]Pal4ݞSNso칑 Yd)@5V*\Ge6gXKhy`PT\RGQ=ۢ-1%I!Z.~~6|I^Ksp3muoM(Y&*Ay5UW?xƓdtgf@7$O jqx~!<%O["O:08=LO`Y3ҐRvޫ3ZuV*hzLe VvdI;/J#,xgF2.LP=tTZ6xQJ g}gLt{ E%u8vBYh6t-B є})Dk,6*cfj-S91Dv#mGu5_\+r|-E]N}nO ߮K,G q? ][EY ,`.#htUl`S1S2ZVOJ*(o.r?e}2tj'D"S`= GΖ&JG 0lk;PR- ʬ rq=IWQ y` sƬ`-_w-cixAqTyO9W}PvC; K5-L+NAO9J}2Pʜ笺?^\a.;Y *1ja<`>|Eq WQBsu.7z3vHEo 1Z,ZX/IUcK̴ݳɄz^]d]}=VGV K6@):A]9U@V`tw=@H'G}C0#ǭZS[O{&\wkXٳ|OJr% g+7$I IYl) 1/λzu2&,G4vATT $ObQr|'*E͚ wz;Ja/s%6C0\t*^ ɬLHқA=Js|*z˛e*'|mCcuk.5`RG+Ǯ }0֝viɟ. PSk^F:&˧.Kg4\ 1uTqڅMf3jk\Di3ۧ($o݆!+Bsx~/4*δOi dU`H$[+P16C?gYZ }m}])K% DVerifyThis2018VerifyThis2018.Challenge1_shortdocument.tex7zXZִF! \]A-MՋhvG"uIBm5qi4Ѣ"ˆu)/%-~ϞN;v9É:Z`:͏"¦\#m  E!C7z,6ژ,\{$-:s>3bsqImp8^c]Czt Ѐ!E“ԜAXFӻ8x%a] [J󕐈H<5ɩ )?% VerifyThis2018VerifyThis2018.Challenge2document.tex7zXZִF! >(]A-MՋhvG"uIBm5qi4Ѣ"ˆu))f9p疴0ʊƀq3wGb5X'P$鶲R/㬫T]$(g}UQ125y(@X\vIVEtkE0 [[ bA^SLbH{`q99b3Ѯ :!EӪt'u|yjQ{d=KQwjni1$j7*^ß9gkM!_JD ]/~y'1vZtryp0Pblinh-s&qG8#Vk%` %&IyƄS/SbsA`bjyz5 4ᛝq_M`+UNwj4RB(t=Jp$1&y džc0c^SO>2ETb3~)<{nHR Rr3'7^%C [i p<9TI8ۚ%(4_'^n摢qya^f/[꘬{/ xfu(jيCs!RQU|46~45h`6/W~U˴y@̏$=\kuz0v F#?+x+VA8ӅS&7M[, pӏK\2laa6yP"a^;|9fKW] xDI 5c6)4Z Ώ(um r霯Y۟2|^D4v(߉hJTM*9}{Dokן}TTpU(ZD^.SRٻPark;g?d&a~@q״.eN.&\.G|~ 1gf516'|L{"#H\?F٤&mS:R@(WĻ2*Xs$vJ: 2iJ7T[I+i.:] "LF>U-DU}a*aYxa`D|PN ř ̚0㙥Y7ބJ#WҢy"[({qG(~6C_$h^J.<> /7uOn ?kqF,pTRYU]O'P~.3aN:*&lB[4IMnu&b6?WNri }2. /^20m^| 'h%ƘZc.&;VHDJ闵'Bղ4x3l-)M1!2/r('Iw>Ϟ=<8W:njxTxxmʼY4_4]C1?4i4ʞN]#Ʈxl~\G) N j]3Z;xT{WP@U K]uBjt'RLP1܋DyB?8&REbB)BQ\ S!s, 47^`2ÆlJΔ bbm= zZpg֨W9i"aL"hqAsA S4%L;=ߝK;RL<#zWiǖ{l6nO[IW:ƠgP*/*Je~6`*O{*dBzI~crN~j|*g"L/CvdۣE yz}Ip!VWntH~f@iJoBfdz̓|8 ZYޗ!÷P ,lBZq) |ȳ.Na80,vo>ƼIgFjH!t%zpy&~'h5|%D;fZ!A{>>XӞ~j0684~UKMDpoqټŅM8[0ďyLEKnvL9NܙȆ؈0oE%T 0gupFhVas>p8SX8q=Q|7:TV}8VfD)p޾)7G4iKhlu7 .'qggѩ G|Cf4H0 i٩@/<ŒJg&׊yGHneT@gym DwYn2,>nԩbQߤsmE5ɉU\x5w-L&]s^js>^*±@mwkjQ8`Y^\h@ЦhWRwIC4FZ6 }n6 Bٶ/hbJĘk4_IH?ѱFGԯ#.BQHOFv:}p63aE~o$ɴ('&II|*lRnWqə5Jρ&,k?sƉ:+m ^vGlR݁G'C?3~.)ViEPN#&W:kԮ7"T槮iL yt,A@@_l/%OtP_ƙBHo81FL(ͦm`pX|q|҉_ =r&t |Ԓp%93}ҹU[t̅w3kl̰," ΍$ ؼ-3S(7KϝyjofF'OKYFA9T٫2#{`-Z<#h&躻pq@CWr2azjpbwI ߧҾ{؀u<3~bWD}~hhc/X=]JojTRĢn@~݋T}26ӭ3`q۪uUÙXvQv02zϊ@!/e%N&]|θ^d=*{%Kv ![4]CaVj kF4À ך[!Dđm$~7F>I^"p_`˙x=f=fLJ%ؚm^} ϔz $61^ S;D"zyQt{e`'>ɉtYpæb瑨VgĹlGoض|i5E+x<]K\tϘCEpϊjה㹀"Xd[gj^=[aZ~(5dkr84&)'e *6nU7,ڦf.xԸ.v)=MMn q[0"EqvgYZ,ȴ^j̔ϖRa7NUhȟJ$qLo#*RvCAFmN)ϢV-_^{h[0p9ѿɄD,ķsC<5MmC-\|,WVLߞ vN iWa ti*HG샭'°Dȅh@íಉ,%ʈ󈥻{R)1Lj{>jـĩHQf]3[T\׬t\&Zp4GX৛MnvIc} iuS5AXj kuz6VdDqJ9]N;o] eG A:;6JͶ71%hNttD/S=u Qdn."dD0F;d7X+(E7h$EH;,p7" dM:h8bnϙ7gީ1XDN8_],=KtEA4YN&, 8V=zj=uDx+NƯi_LzG yǑuq|W̼jdIkX`w*À$_7IOI~TInutţABEVXFiu[KhN^}WZ=]:8 +/*:$Nߘ+bТ̒V9$ԑ*ߤ)b> tF *XϭwCOp[6]_KUꀚQ "gg~P`DFjFTr&ys|Y)b]+ޜeJJc-?5d_qꝞSBS_YTg3+] ճRę@fҫHPe}P{?dBW }gcL$~A.l?w{$ b,:M;KAxIj?)q.f`5k=ߤc"#1.6XPy"ݱ THE/ Y^;8P/Kj_lYLƲqTJi{|OHSlB|OPj2]cXL^`_{iʖۏ](~*ᖞ dBy!F?Fǔֲb(F:t%uNXv(PcGJ /\Zzy@<ꧾC1 PE}EЏx#FfrX3-(I$XE3d"=dǯ5tgK;IhCN9K5MQ3ڣn:m.C#pVdCGBL*Y#l&!jsJ@ r.G+*`- c䣫HpAwI3))S}0匜+62;'WoؒLWIXlOc]| #xVۭZ"m노y+Ar[TF9 mr*0"x4-St,'NI>AwVFdvg8s"Q+ ƞ#otT3n0k .5O2 p2,hZ+c,~5m^1 "-ʲ~3ӜU-?/z6dUXȣ{ՃH P#Nyg{9 ߳.|\gZm6\[WRo]xQjl5}U Ij%V"LnS^(:f Y8ZJUivk5x*?9tUҶQ-d`|$LWy]_J(]`7B 6IL|/i1vB9\՛<*CzPi=U'W^8ړB0><-.̓;*EeDQ@-f%@M o;O~|^CS/y"@Aeu"lQ&$ebc%ev0PbOEmr*`u=,cTAzݯ$!E.n$iUtt!kw֜q7˷s&!p M`;IcC0vrN"f[CI4(?L"$c_@U-E%YvF% 6Z6VU쑑4)h9=pkgYZ s)?% |VerifyThis2018VerifyThis2018.Challenge1document.tex7zXZִF! Du]A-MՋhvG"uIBm5qi4Ѣ"ˆu)f9p疴0ʊƀq3wGb5X'P$鵽!y4GU?k3~D)y!s6#V'$HA n .O8?6#}̤"ģ&dblЯ2ӫvS\ƕ_Dװ_ؚy$k9V /N(Z4 EXL⚤A ֣lvT8i?UD)CD׈=v|TxS0 {h?.QHF o$0n&6bkȆ8b%ҕAlͺ] jK6R"nQ/Ivo<( B*EnU,kpP+Ӑ|}^H;IX׳'"kAWhz7dQV ;~JᾹ|1V?yVUށ>c5Z61G~).4:H1ÇiuHaFH*hܛNB*RfBCv[ v{&>MC2XY~vL-^4MbsQRpYnT@`a:C')FONb[8Tu(7[ i /7$j4 ϝcfH>o&z|r(Є4^S5Qp{{VCaHcY;4ё^*A<77);' /!} ۔6PħD$r^v0[Ydm9nI%/aZ֪+ŒeW/rHOVE<-|Lp8ܕD̞ZdRIWy:@pп߶oEP7k,o&cd+uk 0u/.fG^s<}#3Vh ?1[!K/YͫG UI@$]Yg֭lmMq5Hm)2ֹNƔCL)^焲k({%irܲ>!->jZ ,-Ij E6 <0_Ah6KSĊ,h-WV|֊*lG* DV\j %S ? vņ[%ƁڌuԤ@{;*vJtd@ ]@1YkeΑN<u(> VTcV6 ѼU$#zM}U~R#ĐxR.0ˆEb+3N3nn⹰I!ktsC2!) ӌX &h~" V<8(DLU+_| :hf8:گZl%;4zB-ϵ\):xXFО%J!ZϤ1 YTP*9T**_lT%PPƏ Z\v)"a3UY ~{ ;T '~HGAWj= t-6ʼЏWEa./U'%˜38UawQ0\y>#$K sLzje,qksʌa[Ӵ<&:ϳaGqSY t))5v`@kzݻtwJ3Gq$[I/t'yڞ E^J=>1a^a cr_͂jGyySkU`tQD,ϔJEac f).#ln!'!hƭ?ZbHť]4BliLs{*kuu d<Y(W$hetN;=z+SS]b|FSZx%`);CGϻz+7yZfy l}?#J2 t5f \4z&K<>R2URyÜ-ԉZb&;y:! Qe2gQD^؈L kQJ(v-ꢉM0 D'lΚ$gp]K]2T749,Q #A5nX)? F^1I }wSxpFxd2tFƲp7f*tEByP TŏC62< 5c-/KrO٦wbs v g9_eMv SBSc %p?Ji!YeD^'9No8䋦[A~8 RW|$1Iy-xݤ?'NDO: HQt]hCd' !u&VPԄ+ztMZ)rfo ?bFޤZɟ{D ӻ\͞|{BS~;d8@VYnCV\ OQ䂂|# Q|8VlA>;'n:D7?~5t ]хKxu{w~R]Ҙ1Qw"7휳Z_ﰾԤYiĽeS|m1摴G\b8\:wRUrS0AdsdRE9!κ>O&KV [#‹%}F41X{smqϠPq-&P t^{| \`x rOX&ĞMswٯpEwXwmm ZT'T$IJg@';8_I}i^Wu3?v·Obӗ@{t?j\EP.18|ޙlBIjnH R 5ybE?XT|WݏNKOQqwBeDIFp)6kXŬ#./jE-72gƍjd!{%\5Gs7Z!"9/ZԚB~HnBm;)#2Z9:iBmlf\Q]/aK6f;6Cr= /L3[ u^~7hTP{/J'58t~&@s'3H \949 8pפ9 N^m 70DkFʦfJH.e[K"#BjS:2=9YE `g霍Ri dl(#zV=9g3\9. a4/c" '0Ed;f7~A3 4J>ݠx.l`Tpxz|ɔW]&oUwI,kOBdREvuC3I䈈ƂD$p*}'Dx#0ݍΒο@!2Cl@/Fsb+ e&p@cEFkQ#X`n;T5'O8c1ri%Lh^Lj"6رX*8d_>gwnו>fy&j&0`c #V>*[Ơ+{?ױo!^oHiWxܹ^Dc2PB%??t1Qȥ~[.7qRjMf>D́08ǿ{BGхޚb?Fق4R+L4KC}%S>~}LD YXU~7Ӓbc'A(j=e£6ܲKvnhl{HLC `Qig]_xNIetU{+DшI27IW܊G4\Qy',:֒_g: =򩯦B̘Hh5[~K!`RUFsqj'W%߉LCN8&c5~I};tXZT)僅_5,a)!?Mf @`dMB~q㫝 7c,DnҐo,.fV& \ 0!6ʯ-.G{(qȐ/ MX廸՚9D&B-߉FHW$拼־ ݾeXa\kKE w13$+0gshx %4s n%QaŴ`wc)G`[v UKMT@Sd̪j~J|(>l;xkRDh2ӿx!vDaa009$M X(+TĒͽtBf0R9OF Ol*+ ˨s)5fii-XSG}O0`HJ [ad'VDLʔDDW٪i[OOHxC퀻MQ88xtHZ%9mmDOTT?~mRHII+#g~m/#`u ۳:c*=S]K!o6Jxi-J.p@"pN ]H~^?c9V[?f޽E \vEA@.3Τ/8Y_7H"F/p&vu]xYkHv^gSѲ˂J[O(RtxBr,[~SriE^VT*VWE2+}&2|LT5Cmqp9㨮dqws ^5Z(<2y#c-iCA"fX÷{RZgJn7_c~y< 6 p^9ݏ'#5 v}ƧٙgVU9ʎV cE&dp!68KD>Skz+խlub*]7rէ6о?y%Ea?sLT~QZxe71a t8/3!|:;V-#6zU˖Vn񕜮0"@ `bl `?EQTWęW'?K1ڄٲsy3VMogA.8ER![9wyLvN)4it +ڐyAվ !`ƑSEİY~n#Q=W9E 6H`@$r!PV7{vHOWk NB#KXۏ!R>ĵ5\uժ ?/PwΏ!Iy$ܧ&Wζ7OL`J4>?Zj򨔡P@;3DA)5+n%)sQp=.ī6cʟq䊹֯ѥ^"/WJ>Z"ư*XoDt-S"h}o8}z,uZ˵ɠQv`^ I t)F ?cF^||uk<_%e P>^s拲K]Ȁ#~?/?p ڽ <\a Mb9P5Kg% 7>iت6?=OD웹dX 9W>nbg5YHՇ\5GҮPP'o]ZʶC}-=ߦ'fthxϠ\(LI,XuY ) 4‚CpMkJqoP nS:ֈ\QJjtT`~PHA3bĪ+ߌXyp۾7DoQ.àv}0F8iϾp#S'319( u|{ {cZl*gd|nVb";j#8녑)el1^A 3)A4%-?](iwB@R _7em?kne*k3n>~cIΙe'Z|.;uc.fNݡXJy!|AE,h@:cr6D#az6%%'ح8U8ӛ՟^*]I3;BlG Mo[1ZRʢ"m4qh2N}2v't-Is/ c__ 3^xsҴI"xs{E$Jވ'UN*4sR ]GڞƷR5̅ 8Lm􈛉a_~:bWLT,[8WbM H% N/OzBqF-7[3rpy7Xߗ|EӲ%'4Yr.tqf1qgtDѺkqjCm.v6J9)+IJDq\v! ..ICz5[Y}ȄIj74{ ;MDYwo VPD&338܂6:+$"e~N`i8O+9%zCrXY(BLM-є!|E$Y ey (wAٸ/в =[imn?Kʱ=%>XھLaD+^z="܎pB3S&qQR}"su>RJL*Z+U\@5nIk_`'xQKs$Z j53ԣbdswsWBo GY\se*@(S?W<'>a3cpųR4>ˋ$ \ƶ.@imQE<\t'2( qA%Z;6ԆRKqV)KgcwՕz->TwvS_[o[+ QMDKa'+ xPWQ2ta4t0Ȯ;i ]2=9h~f*bWo␳sD*ÖO@ iW\nm 9k(R/ApEL)+mWXt"ޯ̇4Dq45k6dG9<:~;口}y -IZҙ^t`CT_pewD\G+ԽM3qoc(YņTP.cU R9JsSH^3H;Or@V`oSvJ=QM_b̢t@m.o|!H/ OUɓ+L- D}$j1,2aI*ĜvL+M6{ȧ8K2d׵Upu0tgP 8ɿh~I,nۙ0}_lɋ-➒CmkT]ҹ|2N=tc*†F=BU},DGrѱ ނ C0u$n+v(%!gZ^sF$B>䙔 vqp-@Q2 R ȑH0K R’k@=CELz!sY@7>]N* Qy֚8*u=vٽ Wwϰ 3:klToUs_YlCqtƊ0 'm ɗyIgU]JmwY`@鍖 ߒQo4ƁFM\. 6nu X%̏z(A%C +'G+n f?%oK~[^[I4-#4=$8ϑ6'k`[Ub/6f`p0uj\Tx<kh $\Q[|P2vBK.M>=ZI졝UBق`z&MCF+߾lpj4co8֣4t%EEj6^~fG'{)QWJtOOGk' KQP_]PfiGaUBsYM^|dw;_h5y.$jbp:@;I{O ㎿O?g OC7(񷳛γ7'?اM75h}ǝ6e|7 gnn1Z=c7CCn5\>3`#<2!<,#<۵!*'Kȭ2@lguW9 45tyȫj5-3'>mgv[C@oi_2CTue{J5{ DSjj򎘀$铌ذg@ p:[9ma!${AM ׯEE)A=㍆1)wP$6{ ;1P={JѣT '<@~7,IVG.$Ut ?ښ]zx*@Tتu@z4+2[7T& s. ̭H3<&5(șA$p;|_sUJZx38tuJ[o9Z ΀ iGTv`Aʺq]@&k!:f()vjpM[rjOWU9״h4hë 9)ͪ+$>S6 $-ljd'z i3R`߮#]@HL5\ 7D35wSۘn|-=@->0H0]J?- +A#o z_ZWOd%Ik:!(i OA@YBD8p:г%S'< ,k imM*=N׹vcWR ,߫@adphXgx$HjwKOϳGвAӢsƑ/|ʾwu\* A^B1c?=q|2{p2yW" i#_kIݐ6fZ˶AИuePg&8 _`ǦWr=̢:xG+ߥv&cXu|R" ~%K2┦rs]"i_U߶DȾ_3(voHlL3^G`{Ϲ|6䖟f2LڽXfN[OtS$~O0'cy9L W#Ҵi!6'WX.JBQ[,Ƈa@>ȱ\nΒ(l Am=(ilZ:6r!Y)FtsJp9%JۊѰ+ƞ28$^O$+lKg,oK &ˡ|Mѿ*_'Ng%POU=v]j%jM84ZJFWrٮJBc 9wy^UǶ\r7Sqi;pQ}{+.\?=…MIF8:#{+n5Y@ b`F2sP`ag"okīdTbVl2|X`btrBp3A2@)}t`dX| !{\C75ς go/RaSJ)&»YH3R-ɠFqZxen ߻'ZH[M.kS[]TlXe5\F;n++X!/Z6\A.>\*:k5e/m$?w^'8t{Әhgl5l3z lwwOCi\~EJe y6px:ݎ_hSzr;q6:-¬ЛQ^hk\076,jQ.QN2~ꗖf_Fh#ߣ&)|v`J@kM!G(袔DdwxR(-v,GqWG=L{FYkn|^b،cboz45j:/DZƏv)N&rd7I3z nQ|l }! ZۓH꟥L~im/rȕ` KHY&D]J;)O1\HdU3xݧc=oăRhu/VCY .Ieul#7Gc!H<&})T)ϒ0m')81 t_``J(n=ĊLGcRzJWj",҅R\-&n{ʇP-ځ$v k*;&LV+y=^!+qdl_S~=,j,%&=ֳ*[sXkr5UG{GR6+ǘtJ5b/Stz/@`[! O6oV֎Tl$Yh"ՌկG2L5CAYcx+ 2\,O6A NJR#vY]Ń^r",{V^T1;qIxH) -֑։T&p&N6d.Y6XuG%<$R"]k`=KcU~^k"^o"i=EKSa+}WiV4 zBEK1oKXT(ӊhH n,.%.t.qL5eTG5=e0-NzAa.Rs@OQ Zx^ [WKmohP`Fئӄ# D k#^W(TbZEp8&[0C+9PBQ9WUX=16`&N;N7=n8XiFeHDVAM;Fyd5c8:hxs]> w,0)& eD26`- d?q~ڟk< nQ5# ƛ3!P}N>&vQ7v# bv. &{PE盲9ؖϪƅŒ8^vI@ h0ư%ޮ PE8IxCh7x/u]6"zmӒ@;W4EZ/ 8S(ۭ,KdNxas|q9W +M^|3+{@*QP8q xrRQ=,.1yV2緞H́ĻQZ?$[MRk#-Ų<,g°r0S8[ZVkO}IsX.IɃ~94=Ġ'*IUcE(|sj5n;iD㦛 j3A`ph<[q²)"<؂P +B8yN. E& Xsz )jsO8Y#Hӕ9t_C+z|[BNE~Zȕu~m$Zc3o -꓆џ$,eW@mpiͅ0o`[v8LD(?Q6nJR g 'h1ei ,i&ij Sļ71O7,ǫr>A7М4'4 R@M._+ @֤y|ۀ ;Bsqhe+گ-Ba|Ş{?ZT/Fm5ź}~@>C/wq~-h ZIں:VO.~WLV2Llyv0hȴ>-Q%){sH9P@ר8=rwڠ ^mIs2 =GPpi [G\TȜZDHկnU _K5X/\0P'0&7y/ I뭶|DW{4TZ"yrqtz )x%nah] `\\řVG(ԙ\ #+X<8Cn&{j@ס bQޜKQOZ>z;/ą⩬j(~kNQ/S2gK-NߊTO;ϲq.;o;z`[1k,E~M+ v® t6 ԁm g>JЈp[@1:*ngç qZLUhXrjKXݣP\Cm9 CY ~Re.zM@_j\>`#Hsφ!`-4UqPzL3F7KZzgg:9W,;/?DV9q8,l!Gw'Omn}Zl[Î 'LZ E]E҄)H;M= E( GBC,n#9 퉢MiQd!폠UĈ5%>|޹^v(quy*ژ_Gj2}x֋Tg6^u)[G/j4\r K]hvL{ϲ~Hw NBQ);Ԯ`6O%o3U#jMR{'.<澗J)}91}"% 2jx~bjoRLINFD1z*vtqC8P|j wwӏJ|[yG'mTHu$)Ia)cooh0/oh*&6O"[_HjNjCv2ȶӽ<ƴweat`Tu]uM"3yd|t$ӰZgB ǟ}x$g͈i/ X5nрI$%Glb >l b-NRfA"7xCG{dҴ"Ho {WWRzwa$owQm]wrܖ֓N!J;Ѯy<}Hӌq7KHTC|:%qWZ$_ki;߫XXpFVa?N-wƊ|tqҠ.F ')\Wg/e۰LU3W:rD;%6=ia ޞ`X_ AgM5ݡZ{>w(ʱq~Y*'>0jOe/4΃g”An7|p)$<%3~vwᛷN;# Pl~T`uZ]s (LCS3,(?3{qzekijsv׮ΫQt6LVcͱ-=[׎L1z^S%.ϝ6[!:{JY?ΗwΙe 5Կn]{U#TW46rúLW]Ӊј2&"VyS@h#TF뇟8k3/s2=gS(Yk@ػ*n;9WL"tRȿ?QV,Ǹl#o6?WB|8;NIS!mdE> N}lJmκ\W<頳,a'ѿ@pbg1#gb}uݺ`Dv^n!N+ aS]3m*YnPHrLM:7ʥ:zzo}?˕Mvs%_'BxQz5u3«Ms>ik+wZzJ7'݁fUjsB Ûډe͹`c^2w5!6^Q((m,^V)J-j Ec릹G%kĖ PsTY*gWt"<(xCT lZ+q4[sng5m'47[.TྒྷVQB/d߲6{WlUXCиN W m/"M|=:9q~jf<+fNtk0SePy჻<ƏMvc>knr3u-YѷAS쀮da4RGUyA%Drg`K4 6N/`E[꧒$ ѸI22+g'TSqÚWo?c-wfgz2r'ѓװ~d nRM,5<+VnDL>F!&F$P8-5"tJ#kC0𺇁?c ż`1.Fޡ AzA5/㇂jvE؅BRc)Is\c_xcc6ȓrQA7/$Y%AYlT߷%ǖ پl.E(xVmE$nCPXߟ9-}PA39:.11\޲3o}Uw #?ø7IG1d=cħA>tMb6~s'P8"Z "%%uh6?p;:wT+[vdXǃ4'Be]ѷ!ۜ\g|jl΃$iF\Ǎ( s=V*->7omסžC4ڙU/E2zE>lfh+o>!vXF6_1-.||.E,B)8Yo_=^h]ހ(>N[^x09T6&1v :gW!h-{W)}kΰK GIXHV@waI RVZBu&G}_ -eeL7 ^Vn VtMO_Wȇ Tm7t`#¦QzvX|' y*J%.%w{^{h/G5ۀޯjγ(x!-v>;h8eiVn-ZBJQU``5k@\mrDˍqUq)/g¨(y׳AWr^*n i8P:c9鐲^qL ˵vK@;,+}wYʞQ Xb sCW{EId;yd%I>Ba$˾3}+OnyTޚԼTdjو5=C MO;#Q.{kQC=rAӺ&Ck8Pӥ ZLaq.MgμcL^m [{P+Bi".5 *ײw\3`si6-D1R`݆_ms/Tk8*R1@Znڗҧvo! KCilt4prןE# L'/lpݗOП;n)A#2M_)BuG@ð^oL a=F\y2"r{'@7J"QP*C"׷8A.-zbWc^Ɖz-@MdaiNnlivchO4ZUS~U c}7$Sٶ8wԂFUCn>,ٝYs;8[ϱ|o`kj}4k ඛH "42Y@ݾüeY]Ek*}OZ#; @E椌IC4J] ̤0 g{Ny=-֬YQGg&x5p@ Ġ%j~W&伡o sЕ@p ֣esYGuߋ??wfS[b.='5K<}7S߈غa w?+}#TQHdV8D ٯ&%dVklX*QjciSr)ed KJĄExU)1NwB֍JѶюh?f4u}ۊMK ㊌m5̂xC6|D}U!ߦ|d;~bS3'&轠brѐO090eSږwqovuDUXՅ7Z` 7%B.)@u.~?8VȌm~ZKI-Lgu+8ga ^U" e!4H {c7@ÌBA2 O-8E)S4t<3&פ|`o&l7Qy[wT[kHhYdй Fp*Ɵp\ʤ,3»鋟~aIz:3/`(v SJ`\CZ@_&rs") ]&5 .j Hr)m, 36u)zeDZjwhn G>ð=Y\Q٣ԝ\)"kR 2Ou@  NQkfp,(._F^GI!S݆ $.g"+Duһ9[ˤg M4a}ǡTμgKXe)5NWRaEwX?,]6ÞCڎf:lxx  Y=𩿋U` QPg$6D.N52!ѐ.0Yڊ&aֿRIJX:6;(\6suSw x/wJ6^ 7Xo`#̫[asepqިUZ&~5i⮉N=eI6QJԪl? wN=@,}cE,wYUs[P}Zl57ʚFDѱY$tz E]rV1#| "J6mif#jgN7jpV|Qr]˼)o=qle/ /K4]vY,|)mR$/#@ݖK!FDs"& g9(L`**c N Ksw4BY^L#۝_"(0Nձ">2ɚs]ӝv痸h1wtL+`!W"tPx7 pDKӴep=Enr gj"/fX%3::.8奁* &^IrX3M eC5.]aXXDglf&hFp5nk`=G6K~ĭ;'Ǫ{MBtߙ&m,V,}*%'+-lk;>[*5-69'7ot`Tc!`@W"4đk(ʝj=E 4 44=;e{*-aAq+t-t^?=}9Ar3]O'! R^))tDX2yߵ$in`kH = g\K_B Icܺga bU>l44~(7[Iea1(><{&kv9 `41d]V^衟K\iy1gYZ7zXZִF! ?]ŗXiɟ@:h-NaZ ZT;+XCr5JY1ٸtI֋HV(y瓷uNL1ɹX_"M6sM6 $'>HyRA:Vә<ƋMYjf~sզa湑~8sG(f ~ rLB V%l\vWXZM` FEpySMyGkNC%Ȇo'kN ,}~)n|y5xފ_Y9G<&LUJHP<<۠gYZ7zXZִF! V#]ŗXi%D8Sʝ1m; Z؂Qykm>iV\Z@mڳ=V?/Z<z1=&0QEʰPgvP Nb5FYfQڌkZj_l uP.[vʹ #R΄ &m惩FLu@9TpӖ`d)Fs) Ljv7ERgߦozXj^erldXO.QI;sxoBԎ*8'Hb~F-XE(g ‰oE F8xս=Dm0T ̺E$+%w?ea~*x@fN {`LoEq9p)cՉݒ7e4u9B!w.2S)0N˺C1[H ]VN< |:Bѹ" Csf6&MÄ.(,#Y| ^Y#¼K Q١*Eۧa*ck͖rަ khɈچB.s(pwV2v$EQwW3?_5("8uLZyG=Z>,f/!Dܫj#(D}lZ3g4(mTC U4rў|7c9 #RkXl]Moau@=8ISS0yن-e},2iGl5S÷ta}el8 8gLCX#HJl;-ؗk{ \ W~A?mn~ eA$J鲢-)Pj,.d"uAU]0` U5ө%||/d.VJ3 ,u̹ܰG2_pm`fo`#<:fnMbAAU!GhA;.]_ٜ}n;6"8#6ϑ4fSj<[Զ}whjM3fRB6k˼(,w Ԛ~rUzÐc9y|9]L&dpgInn1ל曂~TS#f8j:DSirik Ye*,T?,Pk77?ٸ{~[r{M9Y;еPح+C>f>]6H0gc_Xy1!wHi%.Wܴ簌%U]u"=`mW7QV+Ʀ[M,.ґ&6 5 oy66}̂U7%QG꒹wqV)ڇ/ qwT`3 pZ^E@&uОLs7&"c1T jDm@*z{q1bgL9^S2ig܀񲟋b

c#3q<Rgmnڷ1_c:gB儯E ZtDwSˊԌ~ c;|jDˁ&n/A=ofP 4GTZkH%V†Tc!Bsd<꿶rKX,*ؙ4z/4/B''"|ębMs}{?RxHsܛA]z9q;T렑bl)٤|@8FgesDA.G)28%hh HAhBvkУ#|6I=_zJE?e8pyR:9Jy!; ΃2G-\ r CQ8S}PCq'syUѓA؂bjƔ5 }f;x0|#_*בԈ)mɂc'n㇄|6LToYr5l6ReB;k|/FORb0)E|%@nGI) _9fq'Qt:@swpr) 5<rKy~++.K.gƧ&*Uwn: [/DD_7+*DmPd9y;H˞biQrsיǕi 4VYwƁ 1k*co| aUi񕅎[oܶ[F;-`x G[o]=e  WʥgŬA+#$ qx>2]V3Tr~K1R'zڻe] _(&I8[&d o 򭞌L~eoɹ|W-=)Z4 jZOZ7=Fishkià (D0UD-u4/C .5=/Twد$4+vrSb,F34ˢiڒL#~!o sWl:u6iYNӇ|quhK=-~Ob)Ц+:' ʖ37i6Y7m; Ԛ~4=P >}]pUz貅r7Qk̇ݻØY[6,'l5$~!?< /~6j[5~LgB>q /=GRǍʊȘ}7E@ 搐Z@fDxh/D]ݤӻa81+z佱Ajfi&jnvZvoR5Ĩ*›u4p9ed=}Jd#X}/ LG}*Jm I٠K y6SsBZ3vv #!C4[\sߞ3 cթ{ hg-S!ӯ1(a=i^s.%3g'=\$; RVYMK ]3%5qL@/`?"DIF}/J^ k4ݝ L鋡 )%+5ld-TWqxKw/)BC:Cb1QᾄX7cmZ'#g#XwH8F/A/+" `M.Z`3im g meut*);A(O?Z'k ү{ܻ_:әpЭ(/pʢ*&tOD_8S3B3&~TE*Υ(dg*۞ӝs?k=\)0g3 㯁T.vLch+9 POphn/([͓D,jۃ2cԁ ` v3 N'kgƘH\#J6MO/ٹ@كfDU!hA+\(rƈNqub\}Sm߽ꃌ,2< C-P Lm:zy3B 5 B/H뇧\pO~~rt٘Fi5MMZ)R|w)Z2/j=+(7ubT8FleZ3 <2lMafO- W8#Hh' +0W=ˀ}4O]5@yj*ުh{o,ƦlT:=Q?Dl s75 0[U?c|:Sn壿*7t|$VcwpI_ Ecѹ3']+=yKuX51Bh [bRjPjoP)4z{QKd{'tνG8^nت-`aN[;'6F$EY2:U F 4gYZfe2760617100e858117e572b902c325607a45888c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a 28ad5844aa33dee98e4062c865fb998af941b0c4 ee8d0db591bacaa5e0d32daf3e00d9b520760326 ae32f01483d79b8c881b210c86a56878c657de32 2874f0c3b8097bee2378921fb610601c7af04ca4 828a42fe9a6ddca6e6c3393d889f8a5c0530422b 84cbccd375ed9e67c5cb84471b2b4febe1310d63