SQLite format 3@ .0:  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 +)lT ] VerifyThis2018:threads=4elapsed=49.840cpu=136.332gc=1.992factor=2.747zXZִF! J#H]ŗXf[&IZtwB!ȱs1{Y$mF cQG"G] sr$>?FD*&O 9@!ԭ :iutŞRtKPy={3C7$^cFn:`'JJ.ݓ|Gt ",i4v#hq-_jT"7gt,~ |DCT5h~ 8VtG4Z Z]*e6GwO=95;A8ޚ a-k7Kf(K?=i'S&R4i2k3.H7~QW`9N k!Fɸ"@/?HGS:>%CI^bS ²G)8j2i|WX$Fpj$kccC zdj$ła6%ૻ}l\ZOw;I2U!,3rk./4Z^ziMz Ė>W7SdʽQy;yǨdp*DڼTL~#u@*ks}Vȁc֛sR%9 Ҡp>DQptɛo iP}j/neQPb{_4b2A| ºfZTwkH); `F潳F;Ď#k3x }[dC/0LH.mZѼt0@g)/*`-Y;XFKd瀴#[G!AR1HdAųT%͟>kx{ k4jBNhx"x5#\r4&;ڭ|8;= C?-eg-91ͷr=>IZ`Cn1 e@{:-5ًM+#RnM[^S-eb SPC IL6IhxQ\rNٸLV}OmgOx^RO'yȭ^foVRJ힏oD4l@tB-2!&tƏsȰ0o)bd$N.7W,=yB'{9);SU'i{^79W  MKxYW10e+%/.8c;wC40U3'l%͈nݜTV ޔ`GgX 8( Xy'٘{o6w>'¡Pf>_>.x]/kVbMT4<F^tUA|oB 5Bպ^ ,3$t2ڱF!E{PanF ;5XĄ XgG)<̂gvelv[L2R$+ yx 4_;pZY C`L4fr5\l\Zݘ^<7kf9mLJ~r3h?Jvji9ΰ,DiU@2W' T5a@ɯGdbLy bHIGV<MsA@Z:_"?H G7AepaZpWu|?OS6bD6AVHd$,бgYZ7zXZִF! -]ŗXiɟ@:h-NaZ ZT;+XCr5JڍI3hD`vţ=0ʣaʰt aKn5.!9iшzs__'e(čKy>nذmsK@a|kVR=K\'-{2E)@3<<7wNGo_>ˇP_T1%+1)mnf}2 EJ4@魫m"&_?_lD>ÑdJ%@ݾ,,ϱgYZ7zXZִF! /'$]ŗXi%BPnQȭG$3% ٲ .zHf)-r\!Y*N]iJzVE-g nEm zz^͝t{_9D}7 'r-CHdG)o0P.bՏni7Z1Hw95L[} 6Laf17Kdu\8 ͼ,NmgFO >6߷5Zޯ.y3ݐYܢ*SK X03&&ҩL+Qs:%*>.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!%SgYZ4[5^\!#40hɻ8mN~35 SIz4cr-:R88OǍTsꎐӣxH a)bNQgN>tپɽ4̊}Ehl7Ul.h#7Y1~^%k|HJin(`y^FX_D?^ݝ+oӢ*~6 4r$K/]tP(n6#p?jMo4|#,A"K!}VEO,, A&\"gw^B13 ?kdhC=dbV2¦ nDүi3U!Y?cJZޡ5ff?6ƨsvc %{Ѷ[u> HÀ! HKΠIN$9N9QT8gⓈg3K&J0q K z@\v2yy8`5/G>PF,P|Y+j!6(A0vV L_B\V=qTj@5/l2ɾxjS^4'Т~W X-@0w}=h 4*sCmdo2Eh_rnaavFlTq[@ i6W~cFfE3|֔/6qWHvXil̊ -.+-$՜'?3oc aTg1lI~ΧCS@u. qsj:_E )j*LY&/nG2}͜_[18AqlRXSuycf/iJ8DcYKbW]6wp"\`A֤܊M% of-UVZq.MRI.$΂g@q!Og)=6M 40&!^P K2,MM0 8Ĺգ 1лê& [gydI|1/Rj$=#:_B1s^H*ZPrջo $R5w@1d *bKB'IhYk RbѬ . 98_U:~VFp٧#>ǦI+GHu鍖労͋Ai ֮o4w\!#n #ˮS}tL( "u",\ gb,EUӍ_˶лPJN,j֫X'G`taZtx 7Ur44|q%V`ɴ2`yybBܙL-Η[K|fbtkL jQ|~WIʻT ]orܗ9=c y .Yt$n#} \UwԐ*UDF6Cѫ?d& Y6uhmS/a2B|]2%!&CCnyG7Iq bClI˵`}Y3G'!ζ׍qW!0☾ҡ<7ɱ񇨬//Y\$IJdb/r`Mpȷ#c~ղvA&2e2i&lvJG%[4F(S}J<"t2Pu˦)8dDJ 5Afz?O$ ֮aĝ8Aĵr Hbx75N6PSRь쐺O6%/})@o LBfeMCvpDQ9hRAR:INGGG5 u/(~,^A^_. ɒ@V9Jg%`Z8i_c%S;n)jkJ3&= mhEҰxY}j%HCMkzuFG![艟`pmA~"Ż\IHwi~ tzX [5+8~)BD7I9ΛqM/<~0 }{038!jsoi7:VaՎv @޼xm\hTm 9W,BNbG!O"{I[?3guq'q0N(IIm6`F@>(W[sPYEyBIyk#5 v`Qjac8A.) y{s{k(LM+IyAm&ʴu+[kdxMbwPl:ںBTmO 3D >^Ʋ+9c+H* `óa"r^Dx'> \ƒG؟VH< .dIT>?:y(/lYCa a!~K0as$Mg[⇃C;fr ]}F, O׿=p*."^y.*j^k,6Lo2JF7$u2׵H7DrM݊똏b]n4$uI#-+k*sWsM&N$խ>Pe^FOwUedZZ3ϳdlҺ=> ^ʌ93e؃ =nVEĖo8ye<뜙1>`MYɱ^=oMf6-oDK.vEz1&6tA[%7  xgYZ16b52ea4e2f669d366706c703d56553a77668c0dddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 a35514489a8cc48f95c293b75baa14822affac42 e3728fc3c4a69ed7b48997a3f0572f128e2e46fc 1b2ba2f13de0fa4a05ec46de0d579816413f705e ce9c45e662aeef9afbf1befd03de50953a60a7f4 08f55d1a28261e2b15d1fa49f203ffed195de7be 2a7d7800bcf9d6a352b7f625f16c75faa862c983