From 03319aef3dc0e1d10ebc07d91c960186a5180eb7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Timoth=C3=A9e=20Floure?= <timothee.floure@posteo.net>
Date: Wed, 30 Oct 2019 15:34:26 +0100
Subject: [PATCH] Import quickcheck handout

---
 .vscode/settings.json                         |   8 +
 build.sbt                                     |  11 +
 grading-tests.jar                             | Bin 0 -> 35303 bytes
 project/MOOCSettings.scala                    |  25 ++
 project/StudentTasks.scala                    | 323 ++++++++++++++++++
 project/build.properties                      |   1 +
 project/buildSettings.sbt                     |   7 +
 project/plugins.sbt                           |   2 +
 src/main/scala/quickcheck/Heap.scala          | 119 +++++++
 src/main/scala/quickcheck/QuickCheck.scala    |  18 +
 .../scala/quickcheck/QuickCheckSuite.scala    |  55 +++
 src/test/scala/quickcheck/test/Heap.scala     |  96 ++++++
 student.sbt                                   |   9 +
 13 files changed, 674 insertions(+)
 create mode 100644 .vscode/settings.json
 create mode 100644 build.sbt
 create mode 100644 grading-tests.jar
 create mode 100644 project/MOOCSettings.scala
 create mode 100644 project/StudentTasks.scala
 create mode 100644 project/build.properties
 create mode 100644 project/buildSettings.sbt
 create mode 100644 project/plugins.sbt
 create mode 100644 src/main/scala/quickcheck/Heap.scala
 create mode 100644 src/main/scala/quickcheck/QuickCheck.scala
 create mode 100644 src/test/scala/quickcheck/QuickCheckSuite.scala
 create mode 100644 src/test/scala/quickcheck/test/Heap.scala
 create mode 100644 student.sbt

diff --git a/.vscode/settings.json b/.vscode/settings.json
new file mode 100644
index 0000000..a35362b
--- /dev/null
+++ b/.vscode/settings.json
@@ -0,0 +1,8 @@
+{
+  "dotty": {
+    "trace": {
+      "remoteTracingUrl": "wss://lamppc36.epfl.ch/dotty-remote-tracer/upload/lsp.log",
+      "server": { "format": "JSON", "verbosity": "verbose" }
+    }
+  }
+}
diff --git a/build.sbt b/build.sbt
new file mode 100644
index 0000000..beabef7
--- /dev/null
+++ b/build.sbt
@@ -0,0 +1,11 @@
+course := "progfun2"
+assignment := "quickcheck"
+name := course.value + "-" + assignment.value
+testSuite := "quickcheck.QuickCheckSuite"
+
+scalaVersion := "0.19.0-RC1"
+scalacOptions ++= Seq("-language:implicitConversions", "-deprecation")
+libraryDependencies += "com.novocode" % "junit-interface" % "0.11" % Test
+libraryDependencies += ("org.scalacheck" %% "scalacheck" % "1.14.2").withDottyCompat(scalaVersion.value)
+
+testOptions in Test += Tests.Argument(TestFrameworks.JUnit, "-a", "-v", "-s")
diff --git a/grading-tests.jar b/grading-tests.jar
new file mode 100644
index 0000000000000000000000000000000000000000..9820c2a3559fa382bd260dfc091352ac799fdde4
GIT binary patch
literal 35303
zcmbrlV~}QTwym9&c4nn*+qP}nwr$(CZQHE0ZCBbp^>+7;({Jzi;@h#$6Y>1JBUY>x
zYmPa_oY#_*1Oi3^00##LK=jg)1^Blg5&$rOw6GFCwYZE3tu()kxQMW#5{<OT*8~7S
z@^n3H03AH&ZnyYOKCN6pjMW4nP?>)l>rn;jMDzUJ*FfF~S-6ew*T?G>g|Hc(kb4My
zUZIp#LQ<o{4GL&p*}m2UN@1|n%bfNvAx-y8x#u^?j_)*{Y^HSLwZ%?DMJ$bJ3^)v!
z^U){{)|$BMh29w23aZZB-6hrD3QD8mI3pWn@N~Dwar5w3gl91uK4U1k9LDJ@IY}_^
z3gf7|v_JRZ@B;uq?$6yp0sw#m{I|P<`g6kG+1$|5(9GD-lJ@`mApGACIvG1U{p0jM
z9~#(yJT$VupO*jY3W9%KLDAXV$(V>p-^SL4h@QsKO5f43I{DfWQ5bEs*Hhf1g&SIl
z4}uIyMoM8<>{Z^Z9^BeLr73K<A{p0Fdd1}I2-Xo*^dr+NpOFLGYwu;9cj9(!3jMHQ
zT-!8l`qJk4>6L58JLe?l<8ubr7qBhL6uPwcI&8$Ia2&I9TCiO!Zt^iEtj)U9XLo}c
zF={XEX_Nb^hc4cb?Y4L2Cmi8P%S~X4UH4Tu;9xxPr@*QmcWOS9nqRmp8cAsUWwTyp
zOf>!B(fQQHsq6*`EFIEfg1*w!wk&Na`frbpTdct`n7v4|9DLOpE48#fPs6bTy1_LE
zVyOOr;KBp6{&y7E{aG?-EW%HD#UKb6pgVqyyGy(<G?R%l*b|D!lPkEIgZ8hOd%X*G
zTOp!7K`$cWEF--k_QW5A*&SasT_z}{lPJ@DDLgzRlColxTU06OHc37s1Ege<&&Z&J
z732O2S%^F!?xcyZ%DFOxH(ZeE;9jCl8rfr8cWsKO`a%@*GHPtGPzr&BTZsqbN{AIw
z+a5o=i?Wg$+1i38=lhXC6@w(TB|EcfycY(bYs42Wl;)6-w@Wxy$(~mxG{Xn6Y{YbP
z71}??=;p42EsBP_twD2WzN*POf;SZA0GEW2mKVhy^?gV`E|vEfwZ`FvwnCjzpNU-4
zH6~e}-G-2@>7l5#AG{Zdy^{Cr)DN;Vs!05kr9%?Qtq|eJnWaN4J0MR*&%H3EUz3?j
zl|#o&5_ILHJqvK+x?ozVi}FMr^vITjXI40>skdWXN0tL+I{UA|A3erx-T28qvXya|
zfhw>p*Ph)y`yB`47Ft!*QdLK&npe2WM$XuY-l;!tq-QhMS)z3pd>Ner=DhMcLJ5^I
zcwVrJb<GF+SeZ1oQrTh<nQZ473tX%O<OyT(VW%8g<vwAGbrD8_eGUR!ji6$pi$w%`
zDrGMB7A-Fdx3*R_YDnxethNv3GMDV9zq({$A1BiqgRnk-m^hzr;#AavWS`qS^O2Mw
ziPcQcO^D%@f11amhT@ZYj$xF%$1UEx3G{?kt_jFc%c54S>E|a9B;*&klyt9r)Ol_V
znF?MBe~LwFVTEWZtRJ4ofQna(xo#xugOqeqJ7Z&;TK8s2y1_eI*q{G8r_?eQBbmX9
z>zXmV&#aHSJzvy)*+({kA!20PUSNoEMt(5@#T~9oX4^yw)|@+b6dTz*pR3ZrpdP-I
zJ@DOJO4C##=sX?vajFlc*`Gwy9tr{VM%9IB`;PE8qM5()^~JNY&ZRrA*{QfE!CA-}
zC5x6lC7=6*HdYS!SW0O3PCX`Io-TEG*ZoU<j75Bp=70bILZSbuKL3;n6Su!>E9u{5
z;vb?SU~Xe;ZLV)6W~^^VBx7r2{7;o=R=sdUR7U#V;_5J0BMUM$cV8p3)&Qr@>k1a2
zkDmpk)<Yh)?yyEp*kW1Z;}^dD^y$3`pEfha;>jblPDYQ^H45?Vul2dH)kC|<+Ol3J
zkql>G*!<mYI&<KP^SpW4oZ0&Ys)yZ!tVSQVkT9C)ZE@$esMKiEq`nZ{R8nM6F^_A*
z+@TC1p!Y<76oep6?qS<heUX;IMC=A)Vv;B!5q>p^w#9Dp3UaI-knz)6mC;C;v)ZY6
zEQko+D6*0o#{c|mQvw|FWwq504GEkWvfH)<6<xz#LmZMoA4nXd9I1N=n!BQSfj!Y%
z6j3APXmUVgT1nj8+<;?;s$F=2*)g-PfBj52Qh)dwyyz+}Dm_gZ77k^itk0^1!uS_|
zSUJT2t9~<cs>CHDQ?^|zG|7?=3z>enUu(+cuh9m)6odAt_O#LUXW+d-hl%X9QezN{
zl3-ip)Pd^L)=5-S+6Z&Gkd(z`<Wc&s3?>s)vmg)*3q(Z^{d*@AqeXlMAmcLBw2M^>
z@p5xzR?XxliLsM*yFmt(4GVdHzTAY%4RdGkBZ8}L5o+nr)3VFSGHwj!X)Z`3g3L=3
zkp<83caADk#^*^hA;eOvz&<Zb8<NsY4Gm)T;l%`Xh|Dqm4C`0RgWHa_DC$*=ArmXg
zrYk1^RaehAi+Vvmg$G6Y0r6$aNaD3sncoJ6)SD2}Rgdt>Q`GMu+C!fRrmvwOhd9zF
zfh7%;=n$AYI_HMYc%?-Rt+!ugd|N`ELG9cF!k0f`V{<c(f-Ket@eFxk>55$ZhZPgo
zte`8_fY`eOSrA|$tDJrug360v!h+d@$I>;&N($F?2ktQgPF}?kLc}U&riExb`&R@2
z-cR=<rQ8rHTiR~a1cswn9219|8<Ee_5KZRiY36;L1_fs96YkD?a-YH^&^!v^m7h{;
z;a_x7kSNca?_i@(aUuIr(OI6e?<$OFXUOz9Hpz?hZn*<>StrCdYevAhq6cD&WF3pq
zt~m575yIy7W%r3sKjC4jQ64mH8Oq9AB^Gxs^|xfLEiYIdK3x4S>VJreDpZ?M_GrmF
z%euMDcV-D=bju-Wl^OLFC@G{h%xbcYOf@@3mGvt)#jgDE3p$U$k6p2b{Jl7cmAqTL
z@H>gGRB|Pmu1*rI0BZ?QW~oz&!3E_?#WP830-6<tAp;WK(%nN7?1b>V)TLTg^_Nyi
zz~kBhbrK!;9)7Tm;=p1*FH<98Mor7{ytc*2-mjwYWUe07GuJ24FUdMhi7;nOWqCZ8
z6MW?idVj`m!ubT6KE2NPNus4Kj1%dYi;j%7bcF`>p0JPQwNXfl*jN>Gzz67C7#UnS
z{GQ%w(yeXymmo7ZdHkN(a2+u&3+R1siO$A{hlTqdu|Z<02&(p=;dqH1Vx<+`;iyTq
zb@l*c!}vGJvhXOp4?=Md`{_5S#wI&jYBeNHRFq*hE|g)hE|g(4ua~G(21$v5lN4(C
zOMnl9C)g?>>TV-7d5?xPUWSN}$P@t2Wb2Xx=LBX2oui7b5@6%EV#*cyD*|)SUi>B(
zN##RSE<C!Z=t8$Rmq9a};VXL%7Mb7ZrYX?{j{^R^Fg0JN+jbwHmq>be3cesc*RzVf
zt$VI+(|dA*$ZjEX{IDE7qEW8ZQF_V21@~AO=s=eSC*>YN0b|^mUfHVnxHS)-{_28d
zWe+e1^^S2~f;aA=cyo6#wzP+q?R}7Lc)F86u<{`z3M{OJU#Xq?X!{BKO+QKZA;90_
zYX&>DwL(ovzc>9-b$0fZRtG+sY208r<yqq;S+HIpDD+n#E0OG`*6Y2NS>_Y@-!I5j
z5y@K#Z%+ts58UL50L#7VF|%ZDlaN!U4j}ckdHj@PN?4O<hOV5Im-N{xeB*&}BR-Wi
zD}D1$NLIhmJcz3?G%U%;)A6f*jD$@@?=QmNyWc;+OGaytq)$`q!yUB$?4lFNs*eOg
z-pZXB^yv~Kt#2#H2H)muZWETWL)YywN0x#w?Fv(*Vw~J#TG%)6q~>WX+jRq}<@ou1
zCWPfkU_%w=22$NIYbp2u5>r2WA@~aos$1S6uih)Ko)hGp60!hk`Vz=HGHbTgdG7EP
zJyIf*3;ER~tE#K54tFd0%yT3CATha8^43ari`M*^W!pXqtE3gnYuMP0!~JSewHBk_
z6Y-ef>B6gnvPzwnD#EmTw7_lIQ#;FBxbs=tK^UmINy~dTfilCl_~=|PRcmhO!?pdq
z7xQJU)8F^)YR~f}bGmrVLV}(l^gDq<0jGbon9TFGnOHgI{sCHJ&@+Vi8>V%R_pkm~
z-8P~-2?_x4{`24a<NwM=Gycm)D_c5l2qAG_tfGX2*a&Kxfj5~;-xewnNoOV`^=uYN
z+bKv$_}wUB{j?>N98N%=u-ymx)n_yT7Bcfe7Sh;Y7fz))AvIdKHDz(#ezM8k@%o<2
z`vpt~r?|WMti85r+fsGhb1O%EVbQ*p+@nm99&?dIV+jvfYB;mi`im4}1i0k;dA*fu
zr;QN1m0G&fmB5uv{yM00<?$FccL7*NL`~~1qeQwuaWLE>4L%KhIIn5%>Mo5YPPvke
zWp05OM%Z7g4hap;<h``?9<W%%;U<CatHY_tS5U7?Yi-^hkd!oTnA{)gNCE>GyLR^x
z@Q$t85TQ1PFpza@$5xznK!2<|Ua;k$qo+@RoqbQC_;&T9pUG-rjS=TJS4##Dc~-x=
zu)YW%{D~JNTJoaPQ}Qn+aaHH8Xef$N&Z;D*GHY6CJ;J)+IVbB(sp1Q?hOMi&;}~mn
zn6uZUL?;1J5ar}{lDOM+Hxl}wkh*o*k5VdOc4<JM>vG^mz>J3!&-h{ohG%Q+RQg(h
z+F7xxh$a2k)`>vX2Z8fCKTC?0_pT#c5E8J)8-<OOZc07kL|^<Uo<5l2Qxfhy&&GbX
zQ34;*>@DXra4m89AvWF>d(}Of`^fEPtI1ZtrcU$O1o53gZ;+k|i!}vr!1wa3tm6eK
zp27n`CP+7ki;1a53%y~PB*Te563m05iI%=};CKv{v-p(0W;RM#fsv!>CZzUdty%o}
zV51BEg&eE4qE=&<B7z4o7{K8Wr>bZh&(ZTBPQ*-`)`cb&qZ^Mk^Yt3i>~7~t+xDiq
zo^v*pQk%>i)7!!sYl?9-BhRV3@x}naQRUI2-ZAl-wKjH}`&y75)GXZ^oZV)M(DEJn
zPfAvXmw>`;&v4dTloQ(5!@z8ez10ap_`t^XDP`Zm2io}EO}(4?jS7g+{s?1{?#g9Y
zyDRsH@@*TmYLydtgJ1esEbDApcQc|x`Ww*pDfA<_dCHckaCW!s`HkI|JaH(1<x8Dy
zLyDpJYh+;Oj(+V<kNTBS3(n3-G{OWGk=Ar7EBj>Hl5IQ!sPAf2ht=|Ntw1&w&ZM9T
z)KoH;6J)GI<;JZMgX)|Vup2T}L(%dGxDQ)5KUD*5+|UH3Lu_U%X8K}&J_fQ3!QqDP
zu?iXoTU^p|d4yD=3rWkLHd5>+?$Q*NtU~rL3%GL}ftW=ahFL7Wn|bV@d-!plMt$3@
z2yPniHGp|r!gs9x@ze|O9bq#Dc^5BUVPDD61uL0F-`jF^&4dB<y*|iUxT7msja)!p
zgQgL04E&2o8>Tr^3cF}02Or**E#Dx2i3X&qYst<ZQ(gZzQ~f^{jlVhT|H|Ihf4S<>
zZ&vFDCUqDX>gEYSsAdv!1jR@dh3YsIauREN_@ezm6GwbW)=uU%vLnV<0g-HIhJ%+3
zxM8<x6KTta@fOCW#4XS3oO{k#&!?q}KR&t+Sa5ehmRfLU$x>lwYV+7QCv^p8vIaB5
zUD3kR5i+Q+sTPY@m5zYU`Se!b7)0McoOFFgW2BCecrDNIAYFyN7*JU64nWxgJ*I1O
zky#OujS+yg)m&Aak%Df5(!X&Kc>KN<c;HHbkKCqui?V9Lq6QwzNk;FNGE?rQDabTx
z2nN9!BITc?5ON>fC&r+R5?0lwiCjvLE)1?HA7vmhEFKj*_oVH=W<&u{DKMOlM!;4{
z;ICNanq%N<A(ChVv*7}ak|>DZuGBBxTdp3<sF_Tv;0o^f0~K9z96pGRHLI_L$uboi
zmaaLUARH-ip-AWzuQ>FF1phXichx=ukCA68h=5EAZKM*wV8Mq{0CeY6%AEB=Q4v~8
zGX42u%HUKwIhu5+6_|LL+R&(#PdIhr)EXbMg_!z|;}ZxCNvwe$dTzac<zk<RV|O8Y
zD)f`L=rAOYsq*<4II$2*+5C}_FKbskmshx@)ddIhqN2Z0FY<Y42U8^=!|E&R{v3?g
zFwRzyi(Q8LvqW`17ekfBTpe%?7Jj%-t;`SMW1D%uG6_YF`QmEqV3gkvEH;cEF@A57
zfuQ@??WPtSFdgAVv5bKC*hYoM>>}DG5iZTf6IW@*m>V$fXFUN7gs?yFN|vpT6^wCY
zcZBS5;mk1JnM5r@Lv;OiAaNAdECDBdww7Wapoo+XQd>okGoJ4UT66ENNb%(B#=9Ft
z=o1B9UkTu8(NZ?8mM9zcvV|mFD)T2XL2VadCKF&-!4kID?ZSbCQbsPwJ_*?PSIl!3
zAJVZ-#wDL2qULN7068vY=CZ$&Qo);VryX4p_tmc<4$Vdh4$fFg7J3i5nW(2f!_!Y{
z^pa~VL;)IWu*G}BJP``Hr@Y~k@;P%u7JT)NTXBx;dhf<9xwg2EDv7Z7P0xZ^ws~iH
zw%8w=+?iwH#7@4kGLC$*f^}oZ^U*Kum+1w*lUg1Iidh)IV5gj7I`Keo+wpXa&5_Uf
z=QkgPb<jhyt_gViOTEQ1n!L$v30<3#7OEa4m(J^y>Jhuk3)s&wRejX7EQz?-XfT3$
z#-jDdG;3_T-qyjy8E0wNtMy@yQK_Rjd1cPjuoBuLJ#kFK3HBCFB{zNJ@>Cs5TYcnr
z-l$z6)N5ZP-ayPI9x5n-Ccdjnd(J@+BxyeauXXg8gSK(PoD0MEJX@W*xo-l&I**X0
ziUZo4KEORHOI*w?T7N2~ZtQ@6+ehNCUU97P+ddQ?Xggu?dYrN`;X3_D{&8y?JgYgC
z_tFYBATb&wj})u*O3zi|8KCmvek9Q&{mf>*toHbigpY}ah{FmD0Du7V?+)fa6aIe;
z0{@xtZB3mWnf_gk{v}3A<2H!=@ZQ+8*qnyo_&=b3V4;l(4CsMpPGtl;TfxFcwo8*p
z&l_<a{A&6cM!N^qX2*vW1rUA&h_J63$3|GMw80MWlOBwyv$EqtxwqoH;`Qb8$Pyrt
zjPbX+xtQykHo{dyu~1P}xnBKGX&G_eGV#$)qAU(D!_)4IO-HJkThwaHd)MGfHUsED
z%P!x0NxGtD7di**8GSSjIGdC}kp8(T_!SI63w}3&@Pr3+6OrG`*eRH9IQ5f#twz<$
za?@R;RGK0cZ0kS!>+)gBIj<TT$)sYSfoQce+ihktk_taN+s*U{Jrq~{q@n8@9?+g*
zsw4%`E}PLm&F?Vu#3GVI4uqkB2%mD1sbaQS>X0|)!w4tiEY~n4JXF}rm^O>mWfy~L
zO|Cl&YTVge=&USJiB%JQXxb7Hn>#$>Gz;#W4N2#+6MB?Pzw#=}<lZ8O=P*HC2vbM!
zLeN51#0QHO`fO{lJkc3?+G?dnorRIoUt^5TlsEc#e#;IH(RGsvxAo1++E`ZT=^+_n
zxcd3GgOW6<LV}^YxaRG$3C*BJcoIYf`46ts#}W#uBI3-2PfOq9c1-liV_ongjFtzk
z?<N$Uz7EiVv&(!PU24Y4OBMPlCbbr1tYeo3a<oaxGs1idR*o(u5S6t*Ei(h@X!S03
zl(U<hPMj@kJ+1xlw`I#;JZA5vvuY})orqrV0#}t~Ko)jXayYMicOo_ms%gV}9BKRg
zPLTDKMTUT6Y;fgeTqDs?Fes*w!GyRt{g7O+p9cn7jcWD`L+_N><(T&X?JaGEPOHkB
zcXB-BX@pbgTM&L38|NO}Z?RKzvU+dwf&EK#EVegTJ<Rk#ItmFvW0t=n?iUH97geU!
zfQ13Wr0%W|bgX`tKt9J8R_P8GaS0mDJcr1w6k#MIo20z<5Ww^vS6d9Qq7lF3f+=*W
z*fk-ST=BQ`#1Tq}c&}9Fg4jnN$`E@8+ubED+Nc!+^J^f(#n)1we#`PA1(|HBPQGME
z*bButQ+zQQ7Pa;I^ZrHZe(6k6OtloZyBQ!c_KNIZ-G7p+mk9Gu_rC`DUlknv-wMu2
z-_glkSzgi>OBg-};|Lm6C?<`!4}3(U2;4X^FApmK!l8~<tc=lS1AE2^j&niYOWec5
z!_>rd#nR<djk84@rH+-&G9_&^AryjLSO6RXBD@f83@sirRSSW%QD*2sNn2Z4cj?*t
znzgoD32{BQ_X(F}+I-#a{V`QmcNVsZ9~+zNlK%~#bUBDQrW!(y=gCVO6ybby742Dv
zTZGIJyg^p)P~c%Yy>a!9KU??&o(yx2UR#7->1*c^G=GQ}`n;QpZ>}*e8V`rq>Cjq$
z{|yJ26psyZ51<~uInCNMEl6Hl<y?*+X3*PdWTYc2ed$Q+Qjab-wHb7Xrh#M@4RqMs
zz|@nr{{sN?aQVd^lQZpYbVhU48?vbhdM-~FulqeA_Flik0o?*N-`lDQj<be$jdi<|
z=@_ZKhCBVICyUxE(qX>f+WJ!0+hOCVC0Jl{msU5Vg<rHDxEDANfOCQyPf?h{aiOW9
zE?@Y9H^gli4X3WaWv&xAGI)W?$jO_DPKmBR1zn1H7Lqf1iqo3*Oz4i+J9bfE6e`sR
zN<BSM&|4dyyhx*?WNNFe2~rEqU<~~<mQ|F3&o-J#Fa&KPFeZzG)}a2cJ7~(ln>y1r
z5Ehn+Gs}_QWelBu29GO@_mGd)hVPBWtK?FhWEuL{hcNfJuJNp#mK?trKNlM4{Nj}S
z>B#n=WH)lu38H9V+7k-zyFDeP@CAy@<Au_X0`^H>hK&W^hgzB`PpIvJc7<|SQsd_d
zc+KO<<K_6{`Pj4SU>kC0&Fzz86kXPhsj%AP<6oDrFB$F98*7I7>s7Zfj;{4qHl+3M
zkMKLcv}Y*be(g{m6&-H7rII@qet+H5S}DCwZC(=D_u?|-yB|)&!407Lrpvo>%rui+
z%xO5vzF!PnEk!P6XD=&A@@WN@mrrjFcc{q=ysLw5)sbN+uFDq4cae6ShonIX6Q7s8
z7i^><M-L<Cf1-R-*O+yB#tyw5sL-R-wYQQO6Ox&BTO7x?J=7^j4Qby3|5a7A6^e2I
zf2zv<&;PIO*Z;#li|N0Dxb}Y!;`P}IiA>fK3U5aw)&YqM3V=bf!|MCiM&)V@g0IqC
zeb7=RTy$Lbg=o_g1H=sm<c!#{F07T^CpnJKr^na6UoVJ#SXBOwJFd!(wQC7e-Rpwg
zRToDhs;>=74OlDWQ|SK;;;GAsK!kva-=3F}GqqdtF&io=Tb%KnX=SbhTbCZGa5;?s
z3gRi!1&E=D%ycAl%u)R2TU&edig=Z(_ErU@lAsZQ?Rw;N7{8umWoyBcFvj~M0begB
z<iBA2;~k6_h9I)A1W`(XX_6?-;ib9)R-ncXn!@e7I3l38@qBxWyTC&QucEOUuvZ>I
zjwi<<P${EFm*G^VTC%p*120D#&JqXEvzCxbfPw9&Oa11=sZC`kr4pTnhc?>s9J>Z3
z$V1m%7Jyj*H5W5#tP{%}vNJ4NJA0a~Cp84!d5(y(>E!v9O><DjUZl8^(F6p?o)Evu
zCFNxj^Fp4T0?>a5x=VJCDX^!%r-V<YE#yCF<|xNwr}#E<xe3!2!QQu(ICjrye#z^3
z(LvERQ(t2LNSFEwrh5ZmWh%^k2)dpEKA?(x$#!sAP9n4;7XEqgp*5-<-8n?-A-X=F
z`eS{I$!xsndanmmSHIb+nAg8sNk-=0oFte279RtoD~S2>7@fP$fOLZ1ST8Z!Ucp#$
zS1LdZ2=hTqa#te@84Ulx!Bitd%aY|3{!F0ZG0!}fRcn5ui9-U>qX^93K#<*`dt*B#
z+s@Q#@X{s2K^>$vHLK*(V`5D^(Py$acnWzmKD)!(J?Bs~cVjl8zV9jHDA5!IB<3P!
z(l`D<tI^(Zb6@w~i<YfdYira}85XhE@J`jn=mtcz@fpE(pL$yNZXAp=6?{|$Ct#87
zVoU3hRq6`?Vj2b%x3fCa4y{Vv<e~HYfoGaKmS<@LrttBcOCpLrY)}L<RPpOIjLj+&
ze;PsL1t{wLVc1*COXk$dwiC`Mh|lAZhB6_XuR$Jm(G<7w?0irKz4YRoPCG+L33WrS
zswP;!1I6AujOM9cZA^0z&lYU+;amoqNK-9q{Yc*?OmWf%IkeG339BVrE&O7Ti08C(
zkFW-G>xM2U3t~%8Dc2vH@Eq&_p4SU2WCuDKxnjY0Z;nxG3eO@!AXoWEF0d;)^RNkc
z3&sQ^IW3<i8oyHEnkeJ@G#$_;zv)M4C(1qwPy+X<X5j2FkJHcGkXd0b6d>)<lh9M$
zX*`c^@waPi$QBPFx~G-efcwIi4965xKid~6IbD*l488YXjp~qC2VPmdwvSJ}e`!WO
zRYc_Wf6L+jW9!TKw@&<z9eA{oq%5L5(w7WwlvHRaNIw{0u!LqAw*P+ROCFI(0%QgY
zN!=a8X5Z|YRC+pw_KToar`_JjP*50@uOIIyt{&F{zKA)Y_NL<u`!i?k^>q9F!Ak2j
zKm-}0NsLB`JS%LG{EGM4tH;`!t^1_$f(u4TU5><@5?|1s;H}1KO5O8g^_HOd3uHl1
zc+9Eq{ys4CEMyKo6~EXgT+X)BQ&9j^kXoLz<s}tIH6DLht1@h(RHsatDdh=hiih8!
zM<0C17hrHvD1`jz7GadBV={|<H~t5Z_vBV$jrnyd6A^tvpKuhyDU5!Sy{T;~zag6H
zT<l~}JdHY%77W_^U0B?>%ZRIo11AQF9k;(_8qqIf&)w8x79}at*-)hCbB0DM8^J-U
zd45aQRa1DA?;9qp$$f<q!wZwbxx3*S;>U<H5GRH)P<r-(MRq+9C}8TTlNfA?0SVNI
zZl&(<fCw(99E3S54O@r}Z3gSC%<@$I*}5=dWQ>&8$rrE^Q8CvLXD(Wtg0SAPmDPnV
z;Sb{Jo^2nz@rXg|UZfgyCJiWHIHTdFBa_N{$}Pniz9m$V&vdh#b&DnQ_7E=v(2y4W
zjd|_Xpc8Q$HXY5%<reo^P}KR+M|hyyXE4bDyb!f*(+i;eu)8m>FW^*gsL{5B6X$?(
zvTefQ?ey76OPZ&MBd%J_Q8J$)Bex7V!<VEZFCMPXU+jfs^;xj@h9Ir}EiPcL?H+ks
zhSUMd%V4tdhHm}5O%ynF#dr#v@@}gJZeu1v*s*T14a+l1N-_nvJbkh^^zWg!k0%4A
z^Qd~vI&Le!04({tcm8^Tef?HTEdc=lNd9Ie|8tP^AKTgg3vvAI{r!iNl$Mv4TI55!
zY{i%%!D2ffcWVgGtU@KE0WJU|Z0OKoDq8$Ou{F(Rjm(v{*0SNUV(hBFhVs++7L4EL
zBUZF9Tm%u8B+ZPge>gInmEFuB>x!f=Ki#(Hx_jlhr=6~|%{B_c77nZ2=bZ=~%(9ci
zR0gusv|qer`dqHffZ{HWE9?-T?6jdsVrqTF2>@~n2~h|J<See!$|B;&n$8%hd9Hz6
zc#I$7kG%Pq`Us*+rcnvd5)L-gcpJVN@}nobEhQMcP9kC9R6QmFXV}RwG{|K<HbnN*
zu)NEN5XOk296ki|sg!>1iW^^?NcA-bOP8)Gj7kA>OzixZvXS>6NUjd~X#z<r6VBzb
z!f}>|fUT(pRu2J=G>{5iBFI3Gcms%pc8Tj^aOYsL85#LTa=$V%{Kpkv63PpxtH)@b
zdAJZ7&%Jz8iz^Y>DvDr+s@~!7R`Mk}a2j!@o7W7Varp6rr6~$&a?l|YO7siy`;u`3
zYt29lGKxm3hKtjhy8vt^@+68LZXil)xq@@|@uu<Wbs0m4@6%w<g5Hso$pwd?M;d4*
zv~)x}#K>??S(^v<pCltVl7$0#{a3|$92>fOlE&|GEow-1qMeByN&|QN8PSW-IRc46
zp~9;U5GeIYv3-vBUyCkYh6q&(9WYC;k-~S%?k;JrQ^fM^JJYF1L=%gxilZn;R)m&k
z;=>>IVyWLRn<pMHd1VKfYSNouC~}xc4=Pn{;>(9FE3bs#czP_{4QUul5fxSJLQ!20
z;vS)lc&w*M&be==xT~ori5>Clf4?89bHKXB^7{U8_Ph?c=JI9mUkR9fzf|&Vti!6?
zHDP}EVqfB=qI#jKyS~?K?^r|IfmAo!IzH`{b_xb*SIvJe)Usx=cvfSJH_W$oEV!Y0
z=&_Y%Tew$071d1#LH1O5q4c^bIWbs%`-rv(@6JIp9Z21uc<Z>aG&IzC(efSt0{W|9
zLgb@eHvbe%^xs_K|5)*v|9izK%S&4+DI@uu2(Q=-(KyH63frWE;6oc2;L-b)FGq*F
zcj-(NUdKKg+5tUpJ%6K>NQE+3hn8m#{Nmd{uPYnORVkW?g&G8PLZOLT3W^TLtgf$i
z71^IT=X}n&&brRJ?^ewA?cr-H-=ChGB98IAh3j}cQ@$!UzR^W@TL^dvBa|eZ$ES++
zvo)MNE|=7|O6B>jrs+DKQ8Q7{fEfuI^bU(Pk^u9if6M*TOL#HF9YZAUo!7FnYWxZI
zX2$@)pEw+nuu=^jaHd5E)YTQW)vr}m1uxl2SfATi`@q}=8bMtdTaznKF9${T-l=Q$
zBxihH0D?d;Nn}VLI=(PGB)@BBgg$36+23YkWGuOg*V)CeV<vlgeggW%^AR6<(In$K
z;Jd?WEiNLXWMe<EgM%n$c>@dXw#ohn<Tn?Xup$a`c(lDejpTwmxJQ9h5$HAm&p?2r
zdhgnL+vZ72LsQF`BJJLpXd_oN(9M(C@2GYc7BioZ@g<Zt(SBxsn{DWJZWfl#_sa`r
zTAz$Z+ZGm{K&Q@d7^-zQGq56{4nv6-X7zsfNes$aq2Q@!5Lw%u0J}bxqpPC>+D4y_
zU)~^;1Nhp*1N>9$6kXMsgeaWIC`j_mz{)Gcl5uLhP?`by=YwF_){!^0M*+qX0xQn>
zri;Fe-8(hKw4ayy4Z5v|S4UJ~x=YH)mMy}&oPcnQIbd)fjdlwV4D~r|;v<Fj7zigq
zB+r1s>*IB3#qQpV=v%g6r%p&&^P+QH8Mwhky*e`05S9qa4o$xGT^ZYHW~Ak}{>s9W
z(^M8Jf~5)QqS=gd?2B{Ljd}#S)NITTgNG1{;e>|zv+0vsM(Mh9&+QktOGGR@O*MJO
zi{hvwrs&4&Z6?2Z^54shwXVO%+x+$LWfEuA&c8uEW3CweXXHVgbKG0fU2TkQM(gcO
z;rmxOueSrmuiL?db2~RSm7p$`oUd-{cWAI?YO9zgU;yR)H96OCIC%sqe(d$!?$a!n
zdyYeilk*Bo^i!C>|3rTlBey}klK-Gi-}BMYBy_xpro*pmQ+e)6@XVqApyX}X%+C9r
z>nT<8Wd$6rszq8%cQv4}>WN&g3d!X_^`QN==zWL!SAh<#%E?OpDbD5pU4j1HlKrEl
zCC5ujA?m}Aa#~7tp(7qB+v13Aj%DD)sSOXA82|^yMy498>z!Ts;J(wPky$-&HOomt
zDMMNu)tdzqDC6XCC#cP2N&Ox!ywxiJafJ%Ed!S3VHStM*^<{jHC{9GDZulxJcj`e1
zZ^GfZ2hWYcS_iyWIH5-G`jKq7FNHff)UTwbj{gt@YiM1jnq1BzBLpaVud0p_xV61B
z!vLA~`QVKqm4o65vE_p29A|MPB-0LXeA(wu%*cd0kc9@O%?@=8vp5A>dyH3F2ejLS
zKh)SHc3Ms^;98xQK7Q<=hgXg%<*)J<Ab_*!Ql6RIX1BXwO7CrefDouRhjtGKz9ok6
zcF%;iGQ{V3PV5G~|H?-eI#5%KHx3a{F{{lbdCJ(Rr*kqOJ3Td8b%xqr02f}8cH5yA
z6a?%cDf!Fm;`$J;-)|*cDO|tSjtdHhIzlY}*@Gr<G8~dJoJscdS_QmY0kl(b4f)h3
z41N1uxh&pWOm7@V9-HWzfSkrKLti`xg^nC=Xp9K4DOEjv2;uxve%R!0hgeMAVC)9X
z$k6wlGTN%`jIpy)+66Bi%6WWOM<k#xBBF|4IPj=UpKm-X0AeYkgRGpSFyzXkrGzJ@
zMCL3$`zPmxTOnC>2`5tI1p6{#Qi()<w3joZ8y2b!L88Wh;>j_Prv1qcpv-k~ne@uA
ztzG!Km2_KqQ6%auLbEu?Eq_%<sPeP^5<n#myN8#(616Dhk2;sofcD4>%sPXtmjvdO
z$<Y>^<;&N7m&5njyMY_C>SI(dm@H_oiCSrxr6zO5NUxUe+4q>jSCE^gE_$vD6W@%r
zopqxv*%-7nYiiq0m{jsi#+{~d-kxM=!=0z9-!6swtLqin7_0+&1vMuZy-i;F2fU}T
z>;D+UXEm0P7ys!^dVhQM|I^I<#~}Xynz?@`avA<L!BEk5To6Ixu3S|?tYj_<639Ri
z(5hhb%eaY08ZZ@;C_~Ki2QW9UWZQ5Hr}8IumGD)>T~Bvmxaqsu#9cbuYPP^|w<c$d
z679U$@|@xJyq;_R{yJH*1UT7c$a338XwKHiUUA9tbZEy*wWR)e>#+6+)XQZUK##Sw
zzO{eFhzJC2_{|yPhQ`hsgv%6k(M)~k3Dis-aH+!9y)tctCSJ#exU3Z$7V|`6VGyR@
zg&TNhQ73GIA}CYiWR<XNj7S{PrNQtA?0SD3Ru6Gt-g-q4)Yo|-=op~WldaKY3yQ}-
zv`gD7;!X$Y9{^)h5c(lX4Sg`kkM@%GBI^8;gzcdW(|(LO5YHg3c>zc#ql(Ab*9Cj#
zu{E1BQ`ViD0CLn$O99PPFNiVzhX|<iC${?(6@MzVS4bkm$jRXu#94ddFylh>yfu|n
z0l}awJ=$ComPwh>Kq--}>3;sh*&^UfVN!UXt5D%w#HMsCr}9scA%dxafIwOzFytJ-
z*wT(T2KNK?hX4x$QwTd8R3kt2KV)vC^-M$dwD;gZY8#n$aRE7HmpF%7YiIMF%$*&&
zs!>%XQL8RmNM~W32*&1y!S31N4n!fyW>OT2IHEjTwaEPFF3KMUS2bwHj!_VU5m;ly
z8vWF=VpeuwM`8A)k<W5_9k~kS7U!xgweCXeV8D)wI4<0_jLbPiuw~g-2-Pf5UxqZ<
zDk-YN3->(fYBS&uNVnuCR?{hsZ@!fZBv?-2)w6D4b!XDW*o4xQ!Q4Z%cw3-*A0YR#
zLCIACR`d@r*YO`<ZfA;aBI>BHMJ>ArWD;vgV8g+@>>*usx&1;L|BlI7*4&4WF)FUI
z8QLe5q3>*nzpZ)Gdgu#q?)(QfH%PM~B3APq+EBjw)iI^7!SClF$DWPXKIgR{L(}p3
zIMd{E?JTzo@3wAC&&eg=iNi+JP>gEW(J$*<wnciwEMe$bFgi-bQWyJk>imPtOW3&Z
z1;{^W?(BpZp90XL!1P04)+t|3F)yRIn1#DG`OdIbOOoQkLa{}UZUs@eQAJt4`L%QP
zPIt|LNUo>6=)3^UW8jB`ePX31hS)iG$A-!~gp{l1IVVR}=lf_o>Va0YeME9OtD0wc
zCuoA+Fs$0oXXWDr4mbEf=}`_kN?Q8SIHiC!L5K_PwqKZH6Zp}S##~YTHlxjrWiF7H
z>i`KLO&n$_qKGL2m&-%GZItvj;_+63w9bO59J9n+5&4pCRsK3x>XGL>mi(WO;SIP$
z&rBy{pfCP8@&!g@wel9ZAQmamU}ijGxwuFFoL_vuph9i_QH#HG1pnz~3I2cJ+<$3>
zs->OgF!EOo)$6%E@uZ6zRqQTs;%WnS;t-mgAA*3u=DG|<W)ZBcaF2bEv3QCRc+&&F
ze~JJkHORRFWN?cNxg7X#jkteNtkZ-O$LAbw_L-FFdiwND<?F&u+s>M&^<+I&Iy!>o
z_4Zby=}gXj_Vw@2n*-M!u-RZ<v^FCzf@CadochGVY~fD1-(BR%<1xhuXIm}=rUP{F
z-K6%m1&rBaQBGIvPO;fk8D;cxstwaWAJM@jY!&g-#Ymy6DvR3Nc{!~zZ!m8pX8PVL
z=BG#mK)pIF^#mm?Z6Ap@pci#gCyF9iXLC{_pjw)*TIE8`;8D)aRc^)pY{{&Tn3E<=
z8-;;XRaI)L*Ou2kYbeY6*evv<CDX~FP<IFL0OgSOQBrFS!0Jik(UG64Msjd0rZLOR
z%`fZi&@+r$ofqR}!ei!^PSuv`RSn&wS$M5>0X+l`N*$@>x#rtRd96+q(|>XtKw5$4
zqhP`?rTnCuqi{jJv<Je}OyP8V6}#YvvNnUm4}pc^7ZSM1ON14lUxHF0YCK~qR$P-Z
zwXm`(NMlQC;q+7lftWF|`Wb4?Y^RQ_kEn`Xm%*Mp#a8WKIic2`p<O$|%<pudQ6fN)
zD!F5;R~A*0Q<0&9hzzx1mrXSE2+B1)HE*R~q=0TRGFCAwzZGGD07?)eMiY-E9R&{a
zn@;cPvi)^=JDVuL?0ViDqZ_dkunoO+cJWK8!-9>Ru+rmZ4NuiOCP_b5mS~>q!2QTT
zX!9YT7o7G9-oc>I|M=W5o|-4tyJ6VRKN9=wL#QMTqmdKr(0WJ6B#xGAw;Gh@vKlXc
z#tqN!^99h}S(hh%!xVQrXNEK^#BI_#7hcU{&yQQC8q8iZPQ#XUw#kZLc5XWIqeiG9
zZEDAMUj|5<IvFW)x?!jV#x>LqRgH*6MNKDzmLx4@FUq@VHA{@-QXt>G5kwQg4lNWt
zgwVxcb>JudFa07atr(N>6M3i&`^1NlFeKC39wB;nBU7H-sm!q&ctdT-k-#y0+PoQY
zL9QxI5DiLuf4r$7Zz*k0DpjMpUrPF=3zjvf;-spu78N94IDM%>KsZE7>5(ou;G4QJ
z4?NMoEy+}yx(r=1tgKa8-xTZde}_TK9L_(Xc--i3^LnI4okh7Z`H9}ZL{BUs`4M9<
zQQ$%;^tYxd6f=_K=)GJMZ1+&#aD<Q^IY$Oxv(@f2-@y0KpuOW9C{kI?QIF4aWlcao
z7h~1bUWG8&*vuOu4l8vu@^aGgua;cWb1H7SGnt<VMTX;|mElSnXEcOnGL>YcL9p}s
zxWU$eMRY`Q^nJ<0&m0Ito$PthzmKBy#EPGF8{pAdm0lK9PxZJno2bTa2ggj5Fqp`o
z-^8v8UoA_8!uV7W8{^mTj#fIf>CzD(qPLn{>1=shGZWuAci|J?r8=OxDahs5%98>U
zX;Obov=em=PTfCsyY%R3rp4FWd}sg}Yqc3`xr#GxW52O%&SoB=Kat*%v#;ba0lq4Y
zT;-y18l7y#-|)pN*V4v2?gRp@g?r6!Cnum*k|x&QbIykg^pm*0g0{jz!`_xtic`B9
zgAn@P2=?tKqT;n&-&#{ztO5a&>cb41%-)dba=Gmw9|B|4hs?meR4x&I$iUOJL)HY7
zfq7Xkw3*r8zE0<Ls(GLuAVknqKs0nCSx%Ozf3K6uAsR@2xh{1Hgk$hLkC@CE@L5@$
z*rH@w(1kl=b<d+GTX(rOUhaE&VX#W+S2J#0Rqau2)UcSUz^W8dTR1$>sx_hJ&Y_53
zi#&0yw}hoYE_{Lab``J{e;%K4n9b*hB$1Em5e^yxv$3yj`vP{B&TagBhW-4x{Nso_
za16;{f-|~1QLWY#Ojd8~9S2a5*&1k}%@8G&OKFQcc!N{M&@G`-R-f%kvBx}W$nwa3
zh8%dmq$2wLXlTOdp5Z)M*TbHD6KQ$Kz<MG}xC3;8H&P0wL@!&&rpypD7!E~tTX<)C
z<WG{$pgL7G0DK;x9ieqIoR5xuFj~GH0regd`8sEx=Zj?~=tnjjnnQivy9a)ky(8D@
z06NB^35wk=sFiZ!^re%+VqTe!Zv{G$N=I9+j-rFKI%%6^09mbG+V!!r?{7$#g)tkw
zKOxxB3h^3#`k~Q<)u3AgtZpwvZbWPFj_kFh?ARAv714fLW&aEReBGG|<<g<96h(>h
z?YCu(apblOOFUVf0(+)g&M^s0&_)R2iwUOvr<?C6dSSjHhU`xsds<Fe$<Y(5>aJT2
zu%Kp)AWNlc(EMVrp#=6|U-^OSiMRb9qAYpFg%o+lpA)>n>PJg$Ts2*Qzw#g<=>+d)
z`<j%<a8!7x@9XZurG$iqN@Q>}NGi_vA14qVM3_BjBg*S4Qd3{3a`4TlVGb@mG@v>d
z7;4V3)5}uYnNSo{A}p#bsXZD1k8MdEY>5ztI!SmjSlZHjp$a)R3f;g6-BJu69aLwv
z@RaxLxkl^j+`M=+esh=l<8_;&7A#RK6!FJF19^qKb_VC3sEc@lUfg(Ajq;A!;l>{v
z*Y(SNnDhp@h}Cq3&SD{_VVuKG$7Uzef3XixtLfw^O>>SSGAkueN;ejhyS~O{I&RND
z=Cyx8wusZ*k?h~?hB~zk6HYZfvbR}WlU4|TaZKY$0l1h+1<UTg=7*q~+{}YrVlcur
zLm71q#A8tMoS7d-c8XK~I_X=e-E;4`vs8{xliQxe8Szf#OLOQ?gPh(c#TgQmc?>J}
zLy^aC^$|K2E!kDXN2R}%{OJgEe~r>)iNlocOP^hczkiIuje_^X*&GSvs12%}OHlwZ
zlMJo~SmSg_#mdMR(HG?08yMTo-*$Aox3=M%BR3#;6h4daIVq$M!rEFdMiWe8)cFN4
z^5-HrxKC8gtNgXg*L1X5E8?6*#$nE_;>R!I9Brpatee7fd+r{zl~&XPj(uR|P}Nc9
z5{qQ^z!kK{K69+hAs=M6U_;n;E@A_GWR5^gY!>Bw^DglmeAF)Fm82UNS0S8*qBM>K
z$=Tu_4~D{s3J-^aB(x+<g&*Noo3vqbOlx@D)SGCEFbhVlB2&0W{&lfE9w9?r>H5+8
z!rMbTOH8+#0emAEH>O`kRX;i1gi-ClopKz<LwGa+Mn#Et)hbU~&fkvosW-;HNCYat
zR`zJybOQHk6@*j)2MZ-%^vr2G-7(b!KqiGAbosvBqlq!GG6#{5_!>=!o$uEt$f=GX
zW3_&3OKtH-3A;};Qf{WxxLiv`EBro=Bro(>Zzt+j-b)Ztk@NY1I#<-cR1yGK6SsRx
z-fGm22M%RGg-pXQB}YhtM=S>=T2vZ*p(SCy@bOde=V#VQ@@oYb2+Uwuh2vFrY^_!@
zWYDs>wl$7ZKJtj<2USWvxOTI2>{5Q}TQ=r~&cH3}RrKX=z@}-M&DH6YO?-ol?2gCk
znZU|1`mMH%Z(YLVk8sx9Uit6dwQsmwz&5y_YOl*GtfQWWW%Je6KV0G|6z=)b!8RVl
zRMhH`w4fd<WNEecBHW^OIjU{7NEDH!<l!#wPG^uKXXq4PT(M&Jb8Vw~?N4QPufZ(7
zJwJT)ijRB0|1q<5%y9%s`SaDQ4f_A{W}oH1Hv89#n94}pv_$IomFD$Ik!F(N%n+-|
z8jvlkx=0#kc`6hXUs?kaI%~g|e~;9EN&C#AV}tUt`8>s*KXgrHOqe8Un{cFiUmsuo
z+3b7nj8FB>e7#}z8K(iB_*zZA`E=_qJx7O5Xek_<XuheG8*$Vqb`<b~XN5m@nx@M#
zK|@G=TsPag_t<N4*eGVWj1sys$&U_hS$aB(elq#jgGWZ{Y&D5Hb@9r>{Gk8>(UMp;
zwL8uL)s2Vi!#z@&kU$*#$?33uKhesbfJihS?pgxA3ZIF6cl61%HxwTrjflhzoBtPK
zzc=-VurD-3s)ZvAZ2d#ni_s3`&-_K$AN?Whz5WpP%@UXOuZiZXC5@(BtL|1y-U@7y
zju8Vzet6SL|0L{{)6ElV&fQQ^m13UJ%q5ZAb4eJKg~xd~D9S1x768$GRj5<ljOX<e
zpA~MwAIulEH%umr{*d=;R_}k2_snOnM)8OFgMDBTf^j+Fq=<rLQkAbmz7w3}rQ&p<
zloUUfD#dNv5!ES39e0**f7VpU6`Q#XTgZcH9_dtfCGmJgT~MsROkA4!&uvp3eg`_a
ztP~T{r3UzBm89B<600BAdaN{1??BF874b{f?9yD3-zZ14o3C{OsxVwhihJQU1M2j1
z3}5`g^Cj?Uhqjbv#HBKUr%4VMZ^)0<<ua`47Rnu{Ce)z)Cs?jqe@cZpDK$v;&*D_K
z7d08T6cOBtQ3DQV{DJFT97ipJNeMG;I+a`h0oRvr{0pvc>w@=QvaecBu=dCq-qEm8
zOb)Nas#WK4f0ElR%4qwD#44WZpK{LJIeyi#^KJI<W3A8{`5qd&<{I0jtnoM@-X7uH
z>^)9|lc7P3DdYmCZ>wC;dW4huK!KQk1kG(L4*9dxS2J1sv(*1F-5d4?ZiOjKW)4O$
zjM=xF9ob9r<tBk8H3@5s!uJ8F=HPbpOGgcwc8=-f!`O!NOLC4^Apso!fd=Jn4u7bG
zdMC)j4mlpbvTz4PRb<H?s-snj0@f@MAJ!59MBP%88F>EZLtvou{g;Ts76vgG`$e|$
zeY@qD$iaR@&Ha%)1YBUgi8rE>q4z(0eNAZG@c9GpYSx}(STw#+ex&v(0Z#B1<vycE
zcf~4XzNw(H*^(d?xR7)H<J|Cx{!4V7d9dFaJ_=)4MB%Klav$oC$}+YuN=IrcMbi_&
zrp#{Ub8V*XN_g(ROXaatZ?PI9`0j0@1lRX~YHY-)`^U^aU$h;EnR&36m>IT<NnrT{
ztXy|kNq@vm*}MC04j<UR#>gxW@q+)$&HjIWwo3F*&B#`<R@@MQ_nEehu+~ppX@S58
zPFkk5M*@^y=Su_y9A1RSKva062?7LEcQ6Xi|D4@foNkI^VYKdbF7YM$E?D3ePt$8}
zA^Bz3>e~AL`^wRi^85b!+7}>g$T4K@q^9PoVk4u2l2c<c-qdNq;xwW@k6hY(ZGDmG
zN7SCOwdk6nksy8Rp(rM2#<|pzMuh>{U6*A=j7>V?g0|Avj94?Y;QcS7?m0Vb<H6a(
zjBSS!OK+fz4pwC8amN}>2kpi``ryyW4yl*;^yK6ysWET8(NK)MvF=396VgAO210~(
zhdmA{MxS+Y%-=^IGRfTyK1OHcR>jK29a8Cyh(Omzw<syimxJH$jGnMPMXz;=6YAFp
z-JWO)IL!#|4=B!G1x-HgfIVe`b|ua!pPI2Oz11#yhU8I+vI2gYc4E9jr$V(wMC<ro
zv3v*()%FXX7HLIDYakgqgq~m@TT6;CWDYt3E#D~Hx_cP!krphx08weB#o0P>&nkaa
zzU#orhk~v2uvoy<UN)Fo2uXfIfG?fFb+e>DA4E4!X!8cn7|^Av<F8OefB4E~>zk@o
z8p|~H+-%b$$U;CuH-5WQI;oN&ec&1LDDcv){Lak=c>SG*CNV03pqem%w4f_TMi{)E
zhx8fRmYJVPbV%xLaTM)vS8-ej?T}|-^bY-J5aGmE-$3zMsnp=jf99agnCFr2I?H1@
zmll03c>rw~@6<SBRXOLAmMEI+u-H|=j>V==lqXW1cSd^*U7eo}?A;?r9fFQnA0?_z
zr60Uk5Nps`Qpn2WKC-@|5v%Q(i~@+G=;=5GW9hq8@n)xAXP`Vpkz*tW<{U`ry^4C%
zF1jRbF^sK#-?EFmpb8zSjU~Kxmhl_gt53hzIP5a|eh&qg<g{U6$dz7qsB|-{gWgi1
zHscZFK0QM?#S+q+maJKs=O)TYQPTwzGXwiK^dh$KmbOAhKZo{8tJJW)b%L)~qAAX0
zCq}g&gY#swvbD}he7N$$;%{|9^Jb>=;c<>wpo1hg1p9MYb0dE9`(^1~_BJmFK_;7p
z3K<Rh4BDh`ktgDi6*&9H8HHEXsAO3DPbpIS(~r%S0p>0!Hw00`ReW|~#<7{2(y5_-
zFgLj1K7T1jUYQh~-8WgHAug`D9q1b!LHq*=)q~8rs8RdM$lFWs5hjK9cobG2iB5=&
zd)jzST5P=zE+zJ%Ps6kX-%S#t*x1`Xpb10JMjUN-t|2V>yAH%bL9<y4oLu1e?UMA1
z(TUL)p1pb&A84pD7x-y6e=s!2>UQB`Y`YIuFO)%Du@pqnc_=Pw(!k-ja3?R<<d#mz
zp1xG<D}#^Z(6LVtL-{f8sa{t613@qBOO5N@%s#j1u#?3TiKB}o*<c3tKG$s2L`%~I
zLW_^cas9xeG}3aSVNNe91I8PBRyX8wg;#(X4t0s<dc{@9`XulgHrRzsVKt`Mc^}w7
zA)wxKevjx<`<R<;0+~jl?re#|ar}Q8AN}c*G21_6KF0s)>??!nNV}~A!QI{6AxLnC
z;O_437J@qjcXzko?(Xiv-Q9x2M`qqz12c1_zJ?#CPgSp4XLmo+Th{*nD-(Jf5McVx
z#wYGn4pHd0L<dm=-{=>aYS|wIh0wg5GVn#Wh?%+{O=VOk6vNAjDdX8kG_bC%E(F=9
zVDz-?U5{VG0aeLnRPhog2{!a~P4mmUm##PSyJ=fp+#XNRYaCeqo3u$;jS3~_2XSsv
zFuPmUx#WDBRBUOd$ob-Q{#^@hb@i7^0=QlMFLC@hzQ3T??;O_aOR(ot!&KQHM+~jq
zce$c<$nrMqr5)4}*p@U30s;IdG$De9o<S_C(CBS*<PcXi7-h8ki}3l|4wjkAXz7qB
z2YTbtY^ypE*OC2OCvS`VKB8gpfPkV)#`I3XQMrcEUi7b*`|%!~26)kmcqk+Ciu1?2
z5JD&Vp9Vlp<?08-_fn3f#D^WTt>n2GJ)xKR6RneliGXKAg|O(6(@hp`S`6sr*)$rj
zo25i>wc?8@2@jPp#uZA&H1~C~3{E})`M^sK?oeqYo{{w@7upv*Ru{J(%J%!7&Sz;_
z`HwaZ9S4E&$wpRpd51E{`q)Z^2_Z_5F*rRr-6oyn#PoI`(FlW1LFIw%sKxcjR{mmw
zT;0fGj767_S%)6<nUOUrb&X<C??v7}q{v;Q^zV?QjUjY6v7|fGKTj8!z_Jt-yo^EA
zp(|7!guPT+x1a(K*P#%EbD*6iuoOGFkyrg(Kg3^Z%se$7B}l8o8a`$%)Z&Xh%H)g|
zMj|co$P+KC$09ws0K1P>@@aTamN=Ctn`AWr!;hUIKj@cs4{2nvB)_oAjX{@m0a!RK
z^WkAL{0P*K+mSD^v|u$HrwSU}a4S0qux4BaVKsYB&7XGJc-!|ihD!T=HVI<qpg38B
zFuS-^Z1zcQBYNfQ3pKK>rm9B^R^?WDGwGSSJao4lljzRAs}|RMC%g^1@4MQX9wu5Z
zh!KKIc4kece({Q2)$N^^+-#XMfDa4F73D9DC9So2%)aiJHP@#W(j$u+k%U23#m>L_
z8jn?!0B?ljb_Fne(LG?1@<_I)Y}N=(ZzJlpwZ|A5f))jlf#Ot)YWpLUL&(E$Lzuz|
z8-KM|yfH#<V#?37R;eK8`?rFE43ja3lDUT0fIzsNjNl{zsxy9@+``sg9EeDdu;YSg
z8PHT}+(B5Fo#Rc43;eEW_dq=9irzN%3C8!X3kzkO8-=Y6r!zcni7!stajQE1_-WvV
z@#4zISq8H_9N1CS>b>FcM_=t7QI=D)G!FS60ZTrQnC|-K)~B+b<2sUWpv3f}IA<bi
z7-vJ?lJlXSN&9FXIitpEtN_o<rO!OOKk~Wx|N0=chfX5mUx|@-k(jMJP#%BpcI8Bo
z|7T&LMZyLDKLY}P4<X{c4+#7%g!t!7(V`USh}ehy+&i}r91_Z6(GHIXI*(NuDxsPj
zwE%+QZ4N^z>B(qMT~Y$9LaEr~IYlV3kY}_|y)Ss0jAQbVvBt;b<CQR`^Qz;6)YWy(
zDU;Kap<{)C2*}O3=2J6!cH-)3^6F!lm0?*M#}kLA<fBH$d5#{DB$2H1hQL+E(XUsn
z2ECt+fcVlL>g>6KQ>unkjUHR|Y30Z<kW{pA%SmF!CZWc8OehWyIJ)X%^Xr^Rk+abd
zML=<J2};t`(%azRjIn$y87d3)mWPUx9RvUlzv|i>qaflEm)%G*jV!u`$&{(2*^P{G
z#9;SXNhN&Z#_`Iy!`C88=3zorzVMdOmb<%4`FE-I4*M=5|4{#~9^mco*KZ+L?u>7n
z3NcF~P%74e4H>yus*TOu+SQNtOVaB?c*yz#CY+*-m!TH~yTLfFneOGsYr5|z0_m(I
zZgWV1$n`4zVs+;HW7pMCkW`e&z`)5sF<wtiC&9-skUz+}t^J$<e|ncN{R|<qn6*Vv
z&e+U@j7uVvWM`9)(ZO_MR73u<6XV1e-dlYhne#bgaiJitT*8cxH@;n$+F~~poC7ED
zb-BSaAUU0&AE-`)>=VEAjXoYg#H^$yWSC`0*L5W*zQGDbo+Wpb$r&%po#LN-0$B1>
zD)<?uG^>!Qwl>;7a{ZL)e58Fm1~NJnAQMnXJ+8Dh>AgVx%Pf=U1G`O~{duv8q7~-}
z4XH$=FGY>{XNglLAyr+Gsan#kxaf*d8_vNR#LA59o0D^wV}bclPF~Yi|D+Q>z$Ve&
zCej@k0V4;o<UJbzubU0c*u?7a#F)#WR&rU@zHHzFC~av$xCdZgnsWN6)46Yh^ipPo
zCg_nqEIC;){DAmM?G>T+_TyN#2!+cgZt7z{okG6iQlk+Yi1slfOfL38mq8^_bqpsA
zKRuj#+VAPmH;^)9%mY<ZP03ovOi&>^)um_^Z}4(-tA{TSVkuT>OIVO$ueiRtn&Wc(
zlfS8GUrU%q8wrEokfTxWfE5ac3CC)KI1U>4Z!*!f1DPZ^iU4ow7at8<c_}c!NG0r7
zpAfG_xJP-CR8r8hke7F7C$SPwVx3=aNPaGH92R3_{Yh^OQ@ke6d4%UXyv-zNc49Eo
ze|$PNIT$d|y{Y=yD)zCO2Ez7(RXZl?`t>(NL`(NA@lJjZ2D5?B4I(50g~ynin_<*U
zu0kCCbyS_%-zY-~_Q95r8)8RYN55fNDWPXOf(bl?gs@r~?@No$Rc59bVm8QpA!5W#
zDW961tzbvmA6#fa*=Y`TT3YAb-cb$@Qn>hj@QfRIk%iWdh$GYzKjEYmf$g71QM_$?
zao<^WCj0@nU9NJATlk~l+-a_F&rnZ5qD0bSxEc(4CV{O0%94<cVvo?-Coj!-HU7w7
zapV114ACUi!wI!krvl(+i;Fo86c`g&JdmonndwP>NA=MCOp`Xup0&#$(sEqVyA~h(
zF1#8oKN`0Hsaons^^z0r8=E9j*dP?{p8?h{kba{LitFNMJCOP{JW|e|vN=BJl!NRl
z@x`S~s7y=goUxUcKCwicmR}j2i!*(<VFnY!=4N->WYB(cV0`WQb~sO2-3fCMBS;Mq
ze-SFwmI0qVH{eyR!eOSqV8eUsLbVJ8R@qq=mzddIEQ98=(J*mOA%^${tCuOENE-7|
z;D@{l{_Qmbgj;lk-V#Y$FCMNb@_GX4uRnZ<u*nAm=gu^cmCjo>q<{thA>7+1*+|Ik
z&(%S4U0DjJETEds%TJa&J871Ymfig=g^4*UWPgxZ_bp{lBQ7&F`Fi6*PKPAqrB+dk
z)JZ+zmf90*TiLWdkh|w?klwP29H4T9O!_T?ttr*x2(Y@3q#Q9v6J==+Z_NfUiAF?k
zUJy@p_3!zN-hQ{dBdlqjCz6CRR(Wyk!XH!U`ZBu4W9843KR~r3qO$7PC6%_1B^w~#
zC%WeXRfzdBd0<b`L-hiGmtwPp-$qk`B0wLiJZwt=;7+LzF#;FO^(C$?%N%%daF%?@
z$t#uqG3?Zn`FrU1@+Z!83dfu{E7{C^s-%Wp)37|6tP+PQBDQ=R*o65CuMt|jS|{rv
zA{cumMtOA~TNH)ea*eNtqggeX8x#kPl$aEx@TaAw1&#jeRRtCWjX~>{+gLHX)?0((
zi1i_$uvTfE6_k^$wsWnL3$@{6yv;C=Y<P#pXzQoQjCfu|TL#SAYP2pG_6t-u711!B
z4?q<_Vii$is#N?8adOVUw3n3RRY6K4AXx3Mi}A~i+y<G*1AeVX#tsS@Enybk-ZQNS
zI41HmIobp4ATrboq`~&fmwB;*UwI95ZC_nIaC1xy%;z)(l5nc>J^`qA5*qyYDMY(&
z;eFz=dzZ-a<ILCSYh_$r7AE^S0m8<E29!}EWLr2d3XZGVp}`L}4!@gv8>cqRcoEk<
zR@Y{_VYAE5AB~WfYlywLPl7AdZCGc4iGsCuu(Gu6$QTWsq@?Hje8W642LcdhTyh9j
z(C1uDc+C>P-_j`q=LDL^Xu+(^09H^%H~hZe^Z>8dpsu+U60JCIq^iMb8Ud`tpCjXz
z4fUznqf6mxR#vz}jHS?es>uV@xq+M%n;V32ujLyTt8t3^4b@w-+>VfQxb$d9AJBZ=
zJxDOPF5uO0%YGcZx^Aq`YMK>PH%;xXD<hCL?{z$T#A5LFT|-_D*gKmqNV;Eb3qpms
zE<WdfG!AqBelN9@2EOi$OuNwtTQSYdYm(Y)<#}03NpVivx>$dV!&SzIdtWhhn%<k3
z_#Az5OS_-L6~-ON-4v{}L2DjvZQ>^>cL#JktvK#wo=fQC8W&|9SEV7Nz<=+B8S|x0
zW3x`e9rI%G+WkSP_3(T{Z}(;51*+Wi{;DeV1?ZWC^ab*_JBJy<1v?1r!-q_yw=Uqn
zCp!EsHR`V#<@ag3e->&esM#&b!##&ts8nRBgON{H6H8F4=7*X&gQMpAb~nKJY>xkw
zun|?2jF}P$q+*SNI;I?JK9_&yNn@MZ_epH$>4F?S3-?6V4qw_AH=7#`*)hJ^TjXq7
zo!5A}JC$k!toNt(XK-;CT4Jj6Ye)w7#nrbxQCv>%R|!+Asc#|sCIPI6wzRHw88VVu
zGJMe+M)wg}#y^^Rmi8w(R8kDh9Z4N)moaI*j6Jho5RQLB%!1!9`UUBUp$uPwL<PT=
z0X$j1v-*(zh0nmI4U)Y@iiZHJ<$`(IcOCjl?aE3({2qw1n>#eCQJGNm1!6;X%#fEz
z!`kaTW6^B>XU>3SItloy)#m<Hg<*YgUsPMXn3*csM&VFh94sH8`egm$t@LcoCHmA@
zGV%SRp?2ACnT+Qgl8S@s(C@KqxasOmAXb@a978F^wfam#Owl^fH{8^$H{242RXZnj
z*02NFg;-1mwCx>fFC}%vcig<z1rU#CQrnAy#6?Ug9rDE?D!4|ii^c)q5j@Df80n#Q
z_l`~!1W7PxZV19Cp^jQ5Q~6kl=y;Qa>f$km4!_~z_P4+mf~!^zfObX?P|dj_%TpxD
zR2{n4)2Um?rH?^l$%)tIo)d~+Z?JJ0qV4mg1)(2+YZlMLqET3g5_|YwoQfj&F$S|j
zv+bZ?S#fBp!QU8igimG8Pal5<Uf7==FDLrde@Lo4y;pewm9Hf-1<3qy&Lv}m!QTvf
zQRCixXqPI^S%xQ)t;VFa`=g!9%B8wg&+fGO9CaT=p5}ykF`J_Fr1eJwe__1j9k3Xg
zeIPC!p>R44-Huwp9^L9ji^MUBHYGMC{}d96*@1I&7WDuK8ZV^=qk%Dl20ADtDj}r9
z8R&J+#eGU(#`d^x$BCt}ON~ZBz+x26D>lB&W_GKnNX4>g<gt`jFb}kn-Q#owB>PJI
zp+4?V<IeFhI{l*ntxd|V-g?kPQ}fE(uzPh;6{{0%;a>VbyyRdr!%p=`pD@4R=u*3V
zkNgoOkHL~0Iy863PgH42pLPuXS_9_osMm%k6R643uHc`u(C%V8K;qI1ONZToZwpNo
zgK>NHVJNc^_Q`0eAjhM7BtM)yjjR>IBN!qtvWvo!w+Acl447gs@?00X&PzJVg({|%
zh#XMz0&W{J5r5WX7bdi|=_lTZ=LK#UzYM%gq|38sVSV<OmyY|aX<a&S%uEJmel7S7
zGD&gxv8$786*6Ow*D5jYr`riR?Z;Cq(wH_+7y67BfZwyhVz~O}`q#9lDbTmG!QbC<
z{%=(;|4}aeBTv$Ql^7;St_J7=m^z2Jewu`u063}E(&Q32$3eJ&k8GS)Wq}1#e?Vnu
zc+1h=d6|1WcrsYsdLmIXPOH6a{|akfl%p1F7jW#`R|C#dm#<?dtnPQK!EFFbJQ`~o
zmi!G;%NF}wH7A$$k@=7mV8w&yr=t0WJYXS5EMr(hj^05viYt+p`r16&kJ38K@<e5`
z8hwsHhI|?o8%|T-Gy<3k35gFIX6?sHMU*Va3!zhxSmxxkwT0L0<3-n;U(jF`sx8F!
zYkHi0bgx~h>1K2q@egGzmnS3@zQ|7Lt{|XE=s<;lLE(A>qApx4q>U`Kj7PJ6%m$3+
zg!{M&=<|s*Vm&g9T#F2QUl}Rk#3csl#sWak!D64+Byrd-_c<yn@UlLlhdqJb24&aZ
z<QGmNOXKh<@aWVen=F0V5XEHJ3gI~;O@(h3bT2J1%{Kd87$YiVG6~J*$JuS*%CxKf
z8wF%As%^1~QCt4ie6xbicG($ILfgUCYSAJbWJot~L?ybe9o)$*{Th_x^Q^G!CWv5%
zIpY^Kin9&kWscD(wxNJ#u3m><jl7!3=!|x(6RAV&^mw<3!=E0>J1DH5Kvn|_OF3|6
zc~UyZWb`Lc0q4T_7Ez3ZRDomTZc&2U5LgPm*)jo>?@rvB<2Doe0Q*$8mS^IVL8I8e
zsNyCo_gciQWQrEDxnd#Sk?v!vb});(59M5O0?c!Fn$0g$oY<@}L12wTqoNI=HpUxo
zaJA}<qM(5>l~`S@i7KWVFRH%kF-5|b4{Y&!F|0Eb)?DbjoT}_;X+M2H3_nZI<H&4P
zWUr?LG@3f-j%&)fh3Br=F!IWb^A4LhXq^yx!i)&@p<k@O%9lIbn+CM&t2{h7(x<HG
zsYUjZtDxB(pw3?xYEU^ySuR}$m-(sl(NsIJr=HZvLIFJGHJOpiJOKK5aB(mn)Q%V|
zNAoJxIaTg+{U<9cj;skom*EW{`n55%$|V_m>D+u7j61zYKgS!J^RZj}p(h69Z`=R{
zGPRzcYz_6lds04-aah4mA5R8`BfuV*74jM)dL}6}_Kf&uz{HxKs{l$fi`Ly<+yU4W
z3x?=<qTPoECc3$%;!Tq~<B5r29f0lIoIFnu6d;Z#BV|oPA&%bweNv%W##x_@wwA9c
zd{`0wKrt)7_5hS2DyDS?3(gz+iYf*uJ(2^c2{?W%1zd~hY3WF@#_R>v$wKZ^Fu@`*
z1`_BG&Sc^m-7Ciu%8*EPtOFR$xJqmZ^rD{ja6Qw;^IYe(y{hzK#PCno>52gX?da<i
z;rSXj{;L}N|GZ(K|7V>~Y~-RCk_}SdjW|%tHNv$qCnz*)1uTgLx&UvE4(fNjUYqHO
z#Jf;CaKZ8URdq-8<=GjHOWFCN>_kh|Vw0Bp#))TumK-?FD|xt>*${|*J=lOt_FdQ8
z=h5xwZgoM`@W)%jlr~2egnc%dif3|U)+^v)vFkddvjwIw6FpVsJZSM)1$n@}Pf*ht
zh7yH8)&+>H89iciiObC}RaL$KSH-#u`wUF!GI&{lMu8TZN^VU<YOlaxDMRpI;tvN}
zc+OO5ukeJLpA`WKA(}K?c92_}!fmLi5?R~g`A;Q!D$aieY*HM?8q}}S#%q9oEh$g~
z-1<~sV@pVBw|+{P{fUDE<Q%5lSY(48+?)vPkqWq%=@S~!9oFmDuH#Grd`}|6*4`O~
z_8-R(zL{bSAF8uda3fZwN$Ou#!Es|V>|8i~AMz|N(%tDiN~h{ZKRbvdVK_n#GwR3|
zgfF~G+d-&LDX6Rzz65fA@^9}EEI*uC23d|xSf_6Dlc)p+r<x}+#op2&sv}1jDJPPG
zM0hPJAR|KTr~JVuN^fd8*)4jpsv<0C*ndX9HA;V@^tEz*VeIIHRVDz5=12_Sh8_V(
zQ63pPh>c1R`s2>XC$!lg1;Gfa1g6?^RSqT0NgRRrD@I0GWw^Q3@~NgWK4I5jxdjd5
z_grE=ma2myo6M0S)WTAu5}>tPk|MM@)0#mP4W(DIN%^8PHq43Ex!zYn6f$=5cX)~`
zU4swhww|$JSe&0%%c#Eu1C%=l0KRN2u#;i*aT^ZTbWV)W%%!FM40AoE8NRx*vb@i3
zg^|RVwWHKq#=NgD6yo}+x#!k5@g%c1WA|k&hYQJ(VRdAf)=hs%>Iyy4g43vpokoN1
z67#;_YE{&?!pcR_&?SH4=Y3@=7JVmPlb@X$_w~}=fyemi^&fT40F4XH^{<r$wyz`N
zuhH=L1@nJ#3;t0|)1#zjjii8a;z3Vid~A8F_RX#~2z0vx40|Wg77A(BawaZIe{)Dt
z$7qs>FnT|aR`hG|mbjyoqtuwVVZT1j08kVhK74luP!^uA7~UGR<9X0|*mt-p3L@S1
za*vx2yr^|#Za)J~xbnwd++J?9?uS#_9IRUGurtHR7ip>X^9xv;(y_?WbKD=Wjgf~a
z1<MtO0A46Oun)C><Mxca#ch7r@=+@f0fiX>leY)KIjO?{6M>a^8v99OM*w{>{xI^{
zb6PhHvQm5xzuJIE5{|c6Ul5!?km3nmF~$dB50=ggPwgW(X0?52`gZOIRPU{>T5sao
zeOp$%iVRwajQj^4mlP*&0P22UQ;oq!lyTf5_mpcf8sg;xIa&1aXH&=^maGn2SLz*8
z1NhEnF&X4|*>ce?Y#IYMtN;=L+z5X6#ZA}vsM8CR3h31342G-{5NO8qg{eEF1iM5y
zR8{f-yk?M1BcQyrSY=)+Xf<sR)1MJY5g4uual^4tdqY6A{u<yq0QNGvMD``Lj%j<<
ztN9#F*qu}Yl!rhkB6)26Sr^z`+jju{T>aGXPYz-}=9~zlIh||hFBExkz!t=L5Fwzf
zg*0$Qemf8{)kE!maS(u{cw?67Nej_l<(o2KKhZ@`yNIki@D70jKb-^^XS8a@1(m{L
z0XeWXE#zWh{4#L~DCmOI`NsA0Lm)v10u51x8C}y|HkZW~TInGrP*}8LyR~2b!f0`R
zn8CMj<-UOqj4>Zr1!sXT5Z@^=ImGGq*2^3RInzWlI|yykV!fn8g^KhzXKasgJ5-6v
zIfjJIN8B<LeKFdTygY-DxQ;_5)ndCd#nUg!x-w=NloLM|+>F$f+CRi>T6tCKo?s6)
z>5NkvaP`x)-vOpyxRYMd!uZzTe?V-en3VA!X5LGpTy;71&P{7VxrqA4tQ-<ODazZs
zv}LEQeyo$?dNjrL`28N}N_Vy*o*?70)-6=(?h!E_LDIWIw{(h(W;>YSXNVSGcOu`V
zIKvCLAJ1bFjZvP+tqPtyR@o<Cw_{mJ6*v_H0b8myr}5{``P^Zt+pFoiX<$<X7#8Z|
z2D9hov;$l}<t`n2e91;lzn3uk=a#PpTs6np`58Uyi7$k#bM>f?x+lfekd~riFRH5d
zdDYu(akY<m)sP<4$DOznhUIr3rGQNJNsLeZV!fQ>qKWBBp$WXP^abOcAqZ%o?Z<hZ
z?1XI#o#@;mk<j4$&N$LxK4A&)x&W0}Yy!F8j6==ZN}@a-eXLK{B@K`!-gLbJ(+XHb
zav$LP4o+YLnRC7ZL7pDxJq(vZS-g2LUm1(<Br%_zQZCw!9Y769f9<Nm*>~4N&y5iL
zL)pJ$c7vuq!+hr^Qyl5h;45f6tJ+B@CHH*iDf!93gh2{gxkI2f&HBM{izHE9n}DUq
z1m>*0=6Mk^1{a}yHQ${0${Mm!4!e|G@MRuD5Y6nl1%nl9m9k(nfy~5@(bkBg1Wr>7
z*IH4_>pWzJTtwF05f`MnDGTRmx&>B=*=ArGqqfi{)#$S#r*`pROu=9r2EE6;fQB6V
zpO`c+9Id%3)B(+tRVv}=6PgWHiI3HF(xUwF^H`xlYCT4KGAS`#_mix^<5kp)TP)Ds
zm3(Z_0W4U!K_01CyXlkxPks)H963Ya>bqyZR5*?(um)<Yheqb$5wXHZHx{GEF4%|G
z7x}o7-8EN;VJ5Rj8;fHX{g^Qmc=E98&n(ob9kI!Oc0VzihZI+v<=gH7-w8Tj$=JcZ
z$RgLNtsF}vFWwOvg1*pu#EiLURjAVYH;4Q0o_N$OMrd`xsqg;S2_b2d4F8&)3|V~`
zWLqi39MW$inLTEkXRfOocJYFAZgRXUmGE(b<>m8>q>~6lytdpU`LNu8yTOworvYQz
zoW%eswqm1x1`@4%b@P_>ehPu(fF~d)t~Kku*(JwI;cem#lE=d1B!{q6@<Yn>6kIT@
zGWyikn4--tN+Yvn(4Zb8(N<aWiz4JMn{EAt1TyoNrbR`Mp75z6gbs))($nuZ84x${
zxq4O9EvS&2@)RgN)4vuCY};hnjMU1^oum?%9~~7^h}G-|1cXl|`*-&dIYExuNKP}P
zwCPFrWVU^R!}?nuZ<GX&%T>z)8!hHY5TAzRs+$h;lkzO5tEq*Wq>`z_m=~U)6(`)_
zt?C40VQHQ?o~-Bv?}wN(+gyXMxF2EfAqDUElgFi2F`k5!u<kPtuh@+!J|B)q$Ry)@
zA6d02CG_~n9ie7-_Q}^{rRzvTiIa@^GGi$z0F^hE_tM*P$EmzX(WjTcd&MpSawGVM
zVAZJkP=7?mve7UQ>;MIf3tT=i;-ad)uv6wt^|yY-i8`wWT-%8BSh<(8z(U^AwpjMa
z5p+aVXYZ{jm8j5MyWZ-!Gy>KkB9$6Yqk*fOs--wW)?Clo_@G(xsL-Qf^!(`kjo{%g
zQD&hLDMbVkYzYjKnp&^hMuZ>Onj%rzD^E|m_dCB#4&-?E%@&wHe{q{Tz!?XLeyJCq
zE!L;giC7KoE+Dt?nUC35D6}Igy)lzm9MFzqlPs88&s&~;n5IL|_1DT6wYTA)NRxM_
z_bvr-5R-c0S;z;Oz`brnS+xBmb-bz<wJZG4Q?r@3k74pPl^`{;h8FI?!ojpy@*a9l
zX0o^xTXAwVdUWZ-erO6le^DSLd6Y=R77ZF{gYf3V=e5UKpnWTUi5%t$mb{#N5u-Sa
zj+sw<ZUt$}NyJYLicu;;QS36tG`4Zlgrc+V6N!7hcP!|#s^+pcU=9$!OrI)rD!Ib+
zLC_h$ChgY|?honHHRe)s&df5zN@#`Yi2Lcsu`T1w+p<cfk{d(#&(-tFX{dB%d=dYN
zn%vTK{*6FfbF$qv%drn{zh}5ajM;(?ZgKI88*fY6a~hle?k?WIzRUI1Py%iO<F76J
z;+BcIoX^qEv!R7ocgpt&D(ov0le<ZZ$K4J(D+_d1p~(_cPm+-4!43HsV_C&U)vax~
z`7m;Q=2~Sc`#O_c;G3Tg%13T56nb0b?<oUpZ1q~lECezRU!dAX8ewqn$z3PCta!d{
z<`OhZ`=-~fvx2T%46Pe0>oOe+-Yy*Z|I#>^@>vilvYwz2pHEk{YL%cC*K<JwTHvA%
zY*G4bm6k7y!j~0r&hgpK)omCNY#p9@%gDyl2(g!NBayTp#RBJ2p84COI_EP$cipH{
zFIV00<ND<=r4Q+8zM<fsQU+R>OrrtdA3jLJzTMRQpI>p_%gFtgc#YhYG}5!B38t#7
zCSXt&()UR|d~du3z(Khblc6jyA4ns<`fAk493pZb%oor$&rrxd;1GJk#tHPfXRsGf
zwey_vhyd***4<YDn@#rctB2F@^bb%vVVQPSR9Da~?bpyV+hN6$s&|zPbmZd2WQ=-Y
zX2jqjneG~klk)rwmj{o7Y;zjm3Q!ii%~E&3Xq{=(r+Z16pX}8QOZ7_>Xfl&JPDP+5
zljxKfI`z@Qaw*~Em+7GfUsDH>dvxb#6roD<{5JD8_NzX~LDlqW5=*R(U#LgIWfmmf
z?W69a`-zICw@MBa@VkN47;6^{Lil7-qO?&l%zx9I8%H83GxWz>r84vH8pmP}Cw-Rf
zbyx!H3Rm<u-flgD;2%+KsMJjO^er;^WVm)zOcMvZ4h<uyGep%)Mw6<cEF0KVj>%Fk
zO-2X8@liZ2#SD@mJ&1PDScoy?vpt=?mbVsui2;rrxCRt_v{h43-r<r>j2Go$nZ0JO
z#u6kyFSA4#Tq!+c4-HyC2#YgElV)WV^^gHtU~bvc_h1srY}h9zFuq)JoXsI)nws%i
zYPHUG?t88MAs;%BPu=Zg9&;W!MrRF-<6)E!JPHlKym^Cn1-q@}m6mM;8NL%kq0Pt9
zJYs9<MXt1=Ccz=7OlsfeAaQgG#2}-MhI)`K(~SvO<59S>V<kt|Qxs|)xG0-_9+wy!
zI1P-$x(Z|3I|VFt62Fc5z~^X=UrgRlw1GOnF+~J&<xbJcXC~biuME2|o@5e7YCQWV
z<+hf6Kgue!f@OAuW93=2-Ar|}$02Fundjv=M;D!3Jy_+ZLO(+z=Nr&A!y~`02H{?7
zg>8y}rK?Z**>|?iJ}B)6p2g{_2Lb)<J3QYd6g)?#o-hs|Q6wNmRK8vUQA6YrFAkm+
zu1TZFFG)QxtW02ca4vAYKH3Cd(hlj3?-WJP4}9LTnVE=$+)sJr-@_5c;9%t{;X2N5
zsZtNmFZ;&p8-b}>Uj1C(J_3r4;r{k1T6ssi-oCyfdAw87`TJ=4UrQ<fR2)z;v6fSc
za~C4{p%Y*uaUGs#D*I$q)QhMU>tR1Z9rYUdQ<wr@*6&XrmJXu!W~;p#kHXjRZI(FY
zJg(GNLl~>20#<`q@v6l~!(=lI#0S8LV)5lk_T^zF@-0U+A8U}hK;Uy!h<9>iy-Bfa
zyG*qU9~s)8O;@xVZU_s-E_<Zyf@)*DOkR>OT(O8qQ@zYWbj4hry_g$hRvy&)IACDY
z2n9&Xvu08}qG`aS#AWuW3a{;K@RWL+Cc@pyeHltNcm7uqZv=A0MLuQ8=i<Y7yeDSK
zHJi9(N|}8}!$mVZE+hWp-D6~wHD-Vpq%)YcA>Mo1;wj)(TNeZ3#+n5S5PWG!O*4hq
zMFaQTNnN;u4G`Yz1RyPhm>C!sKTNCmIo6}Eb8KKgDp=qWuVLkpk!IDOlkOBC3owUA
zq1&>QfM?Y#u9hySM8_TaiI{SyOr&S)hiS|jsuDafkpdQXDizliybR$+wzu&VRhScV
zuqcvz<zJIho)>0dhMW&cBIfF`6ftTS3=vcpc|R?#WSmIo8nJ;_8e}i3?*rLPA-;fb
z$kj6QI4xL~RVP^BnXiO69?=JS9PI;iR8A0`oQUx4fmdC!CQljE#;R#5zxax{GPAx0
zC(jx!oGGY~jjLfdPeIp>xETT;3eRcXbr4>rqjUH%<l{ME!J7|B;*7HsbNG*kb%+A<
z)*USugVFRqy>Jz58!j>+5gR)B%mV`)GJYUA_erw>L*jEE)NyD5p#P$&qXL`heU&IG
z77IKzpeKHq#t5Dt#S)+78$QW`=o3-!2|OK&|AJM`&tMADat`t^y|&2$dDQ50tlCf4
zs2K*5i5rzB5tg4Y6S$3TE9wRSg-fHYI&cC5c#p*9QEr3-j0_x7EMs0{=2i11zphm8
zCh^plKxd-WOPKU{wedjKi^clq4H(zY5rgimKXH3Um32IrP3P?ZZLKO}!!%_lyr4`&
zQ02}=Ht0UHpCzc&A~5XMZlfj)lj27y)yhBiT2{5)f|vokI0v*8Nk@~M>(fI&R^d%d
z0^tNN^B!szRd0~hr*)ShInoR_f!?O+BM3BQ1LjavnfdTSc>*0k!ax8<lX`*bM*|U%
zk=*6su%Eqz0piY<o?WJA2ehBDIF~P^?4cGPJDKJ3iu2?sdzwxM^B{FI#f8c%>Rl{h
z;RGz`y8k4a<-u~L#73Fb{i;IY9(c-{4hK{oO93i=K|S7^iGw|po&AAv1DNWJ(kA*u
zBpC?|nt^b*Tm%QR!wHBZjsnF@pn@$u6EYf%niG$ZF8CvBL8ZK+=bkN>NPujFmVH%h
zoUF43<`<A-y@4F}O|<IlLq~t~M*v_giyo^VpCguNFyf)uGftcyFdXmv`9j4NqJY?S
z;zcexa2GQh2Tj#<wA%QDs&zkpC5pasi$dpZY>eKUQ`0G|uBV!|BWP1UCxkQyjhmx}
z$p`+pj|p<85Da-8844EqA@G}SDHtdakpUsHdG|qI<-Ku&s8h5(BsuQ{-R<np<uKc!
zvXY+(^2H+tHrj;r-%;1e__#p$kuE@wtt<3>S_Wk+S9Vt9FQS&ulMr1Ja&sotd*bBh
zkGDsoZ0$FzS;Wpln;TawD5(=oCy6D6oWPH#h@G=j-Lu3@#Gb=lVSkm@vX{irk`}a8
zD#<{kE?p!qT^t%@)jt-=w>`!z%H>&J#hrT}M6=elQI+$_d;f}Hmq&ra#RQ+@{;GKX
zWof2ZBaQx?GziOqDJqp)2C$;~pp;y!zOr79^Jun)s9Z+xqro*M=FbnTgp3bcF&lwD
zi$&@-0vCL8q`>>=0bD|xdgp~1T@s)ow;%wzkybDWRM$!|tPK^L>SAlq){kQeaQhL!
z%9b7{ahINYUJj(-jOF!49l?n92Zt<;*xkiaZ#V66iOZ8mxr|UvS=baed3_-s?>_e7
z01`f{QUoH&D*zf{fl4>SMN>Hr1#Qf)uZS?-&}0=d&ucPuo=jMsQ5<PzXT||_?utS$
zFAOx^!q9I8FWg7D)8|kewX5E6Wx;ph*93587@k2^oL0au$AzLnKUj13f4O`h`=mZG
zrg!HCb(3U%Na!yB4=92q@OeR47@95o$5&YRg1MP9A~*Rs<bAXQc>b2Uq^EJ^>EtW?
z59k1JT{iME;c~qK>UV0(7Ndv)YRJ7K717fdW8eIH*SYj297dX=^rQ~cYzC@urKo^^
zO+8k^!1LY`3pjr*d4SqDFHet0;pDM$+a+m1)&Q$RH-a*r6tz?U5^`5S64Fr+FQ!fa
zok$rro+~jLCsQ3A(h&^NmiR971MJfmkWapFE;`ic^rL7@TqJ0?azP#x-EDZwt)_sx
z(EwNxTWzHdS`-gO$^{RY`<FTpWrTOu*gh|Zsuw?LVzlsm$e0UW|K)5?$tOp$p229i
z3EcYIS|5F(2(Ig0Q^Ng@l{6TV`z0Cg4K4PE$0s+C37Q>iaDE{lupwG&5vuO5ik8K%
z5cA*Ne>E#!o>OYFf;+x$ebMP^s}a+WU+X{>h~m2(@qpVJhU`s@4`C=nfm~OM8CcXW
zK<lY$?#bF69jb?iSst0o`ocK(V_`<$P+&Q8(b?xnGiM{sM$wsAsFAcbx9VQ$BFE}p
z5znVbEV!rrDa5o4ANC3XA!}8x?cU#3H^srK77jZ#3ZJ!izGMD2eid!wCPXfi;G>Yy
zJ+M_l4HXzwfphhq&R2h!(*g^sZ;)7cb5*c~Tquvi*GK%6PE1EV8gTPzZeX;DZdW?T
z+0hF^9vN;irnr18MtDR*ka)<nzQ;EjRjmZ<$2S8hUUWxHqx0DYsc?jPUL-Y<Npr0D
zyuD|kUrafLk5jNsdO|JuyBhsHt+aHR6-=%9f+!}cKCtrnAIKXM@GIBzJJ^8b^KVJ7
zJMG8%UNoT7&*8FQxZ)0B(1U#&RnRxL3@vgxgsZ~1aJHczwIH%n>tDiW8*L~urD`te
z3j+SIc!eBveK}?bscGCx)}Im$=?7HZuPK;$o(a|@%>b#g*}TQ41G}}=FF>0r-R@y(
zI_YR1B)8d|s*G(XiLu+#Bu%yebBgB#VLlgXJ;A1fO#@Nnpb0dy?)#ZY2o+;jgJHC(
z*nw1)Oel5h9B%eRd*L)qmUm8AApwej*ax6z_Y)Tv4@ix9mU|<(Q?s2Yq{KxKs?3CR
z{Ot+8gqD$RlTuGgL<54MTWOmlI&BUC#Nw2uI50`2{mECP5vx8sEv2mM01yi6Xp|CI
zm6UuZA9=U~$V7%wtE?^&ro)l(VV$tXi=`0{BZAONZo<npJjjBFyUh+rL{=@lbvlnn
zp*UcMN<7{j$812A2;L#!s3aGG=lu$S8z(i>YP>3G&+tqaRq%)tx@IGF<+2`fkBRtc
zI!I2l<MJWsrv9H4doyfqp@Ccc-JJbXo+OM183#r>j$E~V>88xM9alagE1le17BVT$
zEO6%eGLl>mCNQXXA;Db93(<n016hQwK$y75C*)*3C=d*-UXJ;o{yof_AvP1#C2?O+
zGTTTmA|w5tinYr=>#cJ8*qwjqVeKkbl!6=V<l4OG>fQE0fg*f$jYzgSiGSz^>fc;;
zR-1D9o;g;3TdOEl(LJMjls(RCX4en>aqGLyITOb?RG`p|`V>*#6L)v@R*a^d7SLGH
zNH|eA)oZHHR;7mN@L_s=yliz&ELGsvq6#mIaGd`Po**0}&0@GWamgd{t(<Cy@}AAD
zU3#8#XfQ2iJQgDjYZ_GU%;Nyo)9J^O)p)UH&bu>v57bY-HxT#*bjsg;h|v~J?B8I-
z7xo%V=&lGksIVBTJEP4NjCA5xn&W!F!tC;9kh%6KWjhZ{GW7PahXmh{AYbLJx|?R5
zN;Yv$w0B1G%}vVKZ_X*@cVF;4;}9WX#Lr>IGoxOvpb4J0+RRsw3k-$Rs?Xv$bV;LQ
zWw)tvsf)#FDFgSdcRylow55cIST|Qay+{sGFQD1=PNcXLpAW{GAAj~ZatUjYZ<?8c
zTXWu~d8xIYz$uMx>t_0{u6T72jg=>N#MOuO>svhvY}?(hyGzbQ@%Z&FyWPeN@<?sT
zE!*M1Qgwp(#Z)n(vmxTo%gd<=cNR)nfeph)QglLJ8602R_NdCkBR3`xYREHpxF!oT
z5;rDUM-Oc`?!i9S?NzphGEU$c-fq_m^>t#6>KzR0-Pc*{vJuAbQ>4ZBU0z^lz3fj#
z3S?#HfoL%3Y0{=z26Wxq@7qQ#_SSuCW)Y!IqmyhMooe<tB>!IXz_2MeG1b7#@9r^F
zqBb0uR$B|!pD)E=wD7$Cs#uuQbDAGavO_x@DB#;5{^IbN0hA9~W>5=d|M05Tmrd`c
zfSev3)d2sqKN7brm<xYP1vP2|2skrWDLSd(dL_m!T({cd^iK(qhqR#(!xmn6XxYjl
zshL#S!}z6HP?hlb6Ly1iA<QW$q{PF>kI)3mjA0Px6HV%(i<eTyM*P-PjBv{rCarWx
zK_)y=bhJ?cV!)UU^}8r@<aZ6KG7Id3+vU1ICnV{5VM9=}W5m}bY)EOi*xO%23=Cp@
zhLr>Ga=z^#D5(Vi-^^NyU?N^A+cQ2fLA%jwDsU%Zw1nery>g?8T_Nr*ov6<(_x)i2
z*EF0f5GaP<p^}UL6QLy?!2swd#!<;rnD-If?GH30CJaD3mY-^uPOY7>ojRh^-9M3+
zjl@k`axZz^Chhg~>F;BqLA^gtFmrDveG1MJC1pH9_EG2dAdMdvc)FLb2N$UiuWV8V
zSe45Z@QH0!XXwT6<{T)zROIEBl@>{4@t3l$+jf($_l7xHI}ViGGGo8k-cESP#?I<j
z=X20#)O&40*=||d5&W|@B~@G}t!LpFIt%GR(MWXrUctj_(nWm}nu*IfQLKh1VRH4>
z5jv6I)OeC&8`e5h>$1@R^wJBhDT4tuQrGdCoenS1Fk3ZfnMS=Rzt`*x2-LLB7<iJM
zyoPrN4Z#+T`j_^MH9&(>qxUsZ*}Ck&moU~c^*-so2v3`XJWcU)XNR6Iq!*=hjs**9
zf#jUP<e7d7G1pAOp=qZZy262+YxFmjMd6EBH=j=RRJqfBxf4u1%4|h8ns_&|!8qq;
zF?4v{?)U)jwK(nN!`-_x>im+@eu+8^HB&DdI0KGrx-eV}=k2gb=Zyq;R5Q)z%#tK;
zpE-AAx}P*j&c0D>3tg#LItNR=xx6XY{`Nz}nZbT)u6jEdH@;)oygKz&^{^C}k@YL+
zeg{H#-#poQM9b|6zeAl~wP2KSSrAbrb5`20u%wuijXl|7hg9+~7t^n6LXiuxm~q$A
zLq>ZSZup7YM@sRUjpr`}2#EFW^Z7~=u17e`57rX2@vKAY!B)}d^La?TN>)ftI}7tx
z6I*5iC^4_4Ux$Z1VwG719>Od9(zHSZY5{hyZDScy)NVvbFINO?0)SlC$vq-`qL=<m
zL+DO|(*Swxxcq|p|K+25pN8;XKDxI8(<QJu928exA$Ye%w4%DkKeQ)%ffP0UG11sk
z$r<FbZT4ZUPiOtql!)rBcYATyrL1>nzvc0VOnzys-%aat)N~w8v})t>04VoG&^gF3
zz;Mu$!f;rQPkWUsUyiF&rnkt~fiRN@$^#^TIt`BJtMhFswlY5z>r#Rv4srPQvWZGs
z0Kj~T-ihEl@Y2C>I2tBz?GFc8Z<(7aV1z^jcK&(DGR|ZU{Mvk5zE2l6LLC;Zb6hK<
zd|!ue+Qt#A(7bfgQr!y7Lu%F9F~@A7Nf25jgvc5t8^~D@&0uL@&S2arNB(LPP$x$W
z2{_(6%*}}>VdU$*qp7VLMz1xo*AN=%u)fP4ZI?kof^Y_Gw0iMSs)3yW^i)4ku7*J>
zZ^H9b{<<<sK0US?GiGQUZ7p@7k~pog5z2f!sgQ6wprSOMF?ucgS7GoW4b>y!L#E;4
z1fNkkf+UGUCY>s=oQuLpXLJx~NM-rVbr279kFhJTM9I3a>ka&%Tgb-{&Jne4t*yP{
zV_*?QESiS~>yeCcRi1BnlzG&1YM~bUIA$P4t#k)cf|tsQ#gaozTY3y|)s+@vjxz{p
zqz!A|EOJ#Bx0*0GgmHKIp}JRb#ld~hbe-dKVZRd&-c&upkHSL))U)*Mg6)&7=tb4Y
zWyXz(9|2EsESBNw?i2R%AFA(lDdyer89#M@$|j>v1>4j^XZHH+2wBJK(!Q)i<LxpG
zTPtJMOl|O-$=Tr+ha?bJi-c2)hEtBF)5G5yJ$!9PNdY=>i?fF8+I_F{_;_Ahj|{q!
zGpW_q_EFK>we62|JI|$_&sMLlvG*d=e|L@jx5>Bf8wCB~Ap5PEiz$e<Jhm|kFpYEW
zg$SysONa~6NnB76@EHks5)vWFl4O9fiG49OwFp@@0Xw|qFm$uq0fW>*PFMJN@{uXG
zBNyDFo)BqmTn(lGpb*f@*B35}{E%^Dmyvt*VdbXfX2pVvLka%1UrFoZ%vc}eu^+>7
z@F{m0XAR6j%}O15w-L*yfDwFi7@vzzmvZzG)|tsLwzD%5Sf+^j*ggGzoyqx<dQ+ed
z7^#98R9jGa`uM(+FEV9t0k>t|&ZMk(W8(VwWWV$vA8uJ}c<!ORvm*}iQMyTLe)vX7
zlM;&|lOZhbaIqPz$23bz3=9PNboBg4N$?&Q+@Zth&Zw9Ap??G=em$;f34>ix9*X_a
z&x+V2^_^xWbNtXHr%IDCd88-4to<q)c=EH&q&;4!#T<7!&cP9;Eoeij16O3-s@6T&
zYtxc}tGgeju8+3|9c!kFqjfyj<L*#iupKTLVemWrAy@(T#%&hhK}+)t2sim#7ZCE#
zPQUQO@%qH|mz75bZ%N27)xeEyKNVY+l$7x9tylfjW1(C$gG+$Bkv&Pgh1S*i{(Vz#
zj5qLT`#NT+K3e#G1LA0pf4cYHvukXhw2*liA-LQUe{se_R3a}K9Jou|k&}(3JvIKy
zBYHN`=peQHy2bTbZT{hy=x)Q^o|KFb+wZkqUg4|z0lc1An<;vzBdZaLDQ!%kx<5EE
zC1k^UEjv+G)f<g6rn6qW@9q|y+e#b*a+BME=}_)RZ(iuU?43U2f%{LP!)8l!th8dQ
zp2MkQ-J{R*OnN>Zx>QUMu3QWz=2Cuhp%zB?4dU^b$gReYbPT5ELYWUHxLPAi!W3<o
ztML>Q^$+uE^5{b+7B`or0UB+bPe-zes{`f&kuG&(o;&L<$#{04t%XG{lw;<hu4=}g
zzt#j0s?BkcogP&mPy^@y@ANIyL<;FDf*+fqSKB(tU{19n);#7JQ(DNW4+qNX2y((5
zt7=T|p!j~}cE#JN#&yIEJPcR6lWreb&WowhCg~_Tpxv0%DtYuRdd4qq0#{OTC4UC_
z?TA*kQprGj&C`keBUc9i5b498olFp2HKmFSLM{?si}!2+KD>VWS{eNAkPwvTr52I=
zLMy>5De^^7PM${M%k$vxg$Do-;=^kq+-m~;Z<MzeLB2itu=09l<6xp^re|!RXGZ%!
zUHH1Fy*WT%3B9@SkIehuSN|9J->F7#JBk0EEdDx}-e3K<dPE{39ZM@qqECO;CB8-d
zJq5k(zxq4l_pd|!)sz2sPH)rt-t;7Y3;LVt+y0F2sk*+FV!r|XcdGws<ob8iw~f}`
zqgK3H^IuWl@%?uLyzM6S9+eCE9qM1@5btN?KeiQbx&Aim+ip7VQOnT&8`Sp!#Xsix
zx2V7E`nKQ3dsJYocc}kv*Z=h8d5ij+>)R#>?@?Lt-l6_wf%h`e|FFPsu5Xp%-#=LQ
zuTh}?^={Gp!vMdjzE!t=PnDA79q3<F-`B4EE9zU};P<G*<o^xodjtFf^|t}uii^HS
z?W1~!`tLXEKN7@$zgcg^oPI~s{yOgH-l6_!fj43-|9t#^vwSP`@}A`?`#ZdUXZasN
zsK2v(tGw_Y6_Mv1>OWZiF{}JXGUhGnZ?12vv)`ls6nKaF?_B?*;qZ6Vx3y7tf0^_3
z6NJeBg!)f={(eH=)>gddxFPcn?Z10M|8+3EO~-yen9da5q5k#D-%fr1PW5e8>wBt*
zs_#JmqWb=Y>R%uGw`mpc&55t^4)rgpe+X^-`+$ENR({X%m*G3Kzc{|1NB?2YKc<m4
zua)lyk$~yHpuQbM|M<<n@!sz6-?L0|{ujL8Z9m^z@?TlL-O0R1)pGl9P~Wdi|KSS!
V+Ft#`2dvjWpx1Pl5zpUe{|^qBZleGI

literal 0
HcmV?d00001

diff --git a/project/MOOCSettings.scala b/project/MOOCSettings.scala
new file mode 100644
index 0000000..ea30b36
--- /dev/null
+++ b/project/MOOCSettings.scala
@@ -0,0 +1,25 @@
+package ch.epfl.lamp
+
+import sbt._
+import sbt.Keys._
+
+/**
+  * Settings shared by all assignments, reused in various tasks.
+  */
+object MOOCSettings extends AutoPlugin {
+
+  object autoImport {
+    val course = SettingKey[String]("course")
+    val assignment = SettingKey[String]("assignment")
+    val testSuite = SettingKey[String]("testSuite")
+    val options = SettingKey[Map[String, Map[String, String]]]("options")
+  }
+
+  override def trigger = allRequirements
+
+  override val projectSettings: Seq[Def.Setting[_]] = Seq(
+    parallelExecution in Test := false,
+    // Report test result after each test instead of waiting for every test to finish
+    logBuffered in Test := false
+  )
+}
diff --git a/project/StudentTasks.scala b/project/StudentTasks.scala
new file mode 100644
index 0000000..587ba85
--- /dev/null
+++ b/project/StudentTasks.scala
@@ -0,0 +1,323 @@
+package ch.epfl.lamp
+
+import sbt._
+import Keys._
+
+// import scalaj.http._
+import java.io.{File, FileInputStream, IOException}
+import java.nio.file.FileSystems
+import org.apache.commons.codec.binary.Base64
+// import play.api.libs.json.{Json, JsObject, JsPath}
+import scala.util.{Failure, Success, Try}
+
+import MOOCSettings.autoImport._
+
+case class AssignmentInfo(
+  key: String,
+  itemId: String,
+  premiumItemId: Option[String],
+  partId: String
+)
+
+/**
+  * Provides tasks for submitting the assignment
+  */
+object StudentTasks extends AutoPlugin {
+
+  object autoImport {
+    val assignmentInfo = SettingKey[AssignmentInfo]("assignmentInfo")
+
+    val packageSourcesOnly = TaskKey[File]("packageSourcesOnly", "Package the sources of the project")
+    val packageBinWithoutResources = TaskKey[File]("packageBinWithoutResources", "Like packageBin, but without the resources")
+    val packageSubmissionZip = TaskKey[File]("packageSubmissionZip")
+    val packageSubmission = inputKey[Unit]("package solution as an archive file")
+    val runGradingTests = taskKey[Unit]("run black-box tests used for final grading")
+  }
+
+
+  import autoImport._
+
+  override lazy val projectSettings = Seq(
+    packageSubmissionSetting,
+    // submitSetting, // FIXME: restore assignmentInfo setting on assignments
+    runGradingTestsSettings,
+
+    fork := true,
+    connectInput in run := true,
+    outputStrategy := Some(StdoutOutput)
+  ) ++ packageSubmissionZipSettings
+
+  lazy val runGradingTestsSettings = runGradingTests := {
+    val testSuiteJar = "grading-tests.jar"
+    if (!new File(testSuiteJar).exists) {
+      throw new MessageOnlyException(s"Could not find tests JarFile: $testSuiteJar")
+    }
+
+    val classPath = s"${(Test / dependencyClasspath).value.map(_.data).mkString(File.pathSeparator)}${File.pathSeparator}$testSuiteJar"
+    val junitProcess =
+      Fork.java.fork(
+        ForkOptions(),
+        "-cp" :: classPath ::
+        "org.junit.runner.JUnitCore" ::
+        (Test / testSuite).value ::
+        Nil
+      )
+
+    // Wait for tests to complete.
+    junitProcess.exitValue()
+  }
+
+
+  /** **********************************************************
+    * SUBMITTING A SOLUTION TO COURSERA
+    */
+
+  val packageSubmissionZipSettings = Seq(
+    packageSubmissionZip := {
+      val submission = crossTarget.value / "submission.zip"
+      val sources = (packageSourcesOnly in Compile).value
+      val binaries = (packageBinWithoutResources in Compile).value
+      IO.zip(Seq(sources -> "sources.zip", binaries -> "binaries.jar"), submission)
+      submission
+    },
+    artifactClassifier in packageSourcesOnly := Some("sources"),
+    artifact in (Compile, packageBinWithoutResources) ~= (art => art.withName(art.name + "-without-resources"))
+  ) ++
+  inConfig(Compile)(
+    Defaults.packageTaskSettings(packageSourcesOnly, Defaults.sourceMappings) ++
+    Defaults.packageTaskSettings(packageBinWithoutResources, Def.task {
+      val relativePaths =
+        (unmanagedResources in Compile).value.flatMap(Path.relativeTo((unmanagedResourceDirectories in Compile).value)(_))
+      (mappings in (Compile, packageBin)).value.filterNot { case (_, path) => relativePaths.contains(path) }
+    })
+  )
+
+  val maxSubmitFileSize = {
+    val mb = 1024 * 1024
+    10 * mb
+  }
+
+  /** Check that the jar exists, isn't empty, isn't crazy big, and can be read
+    * If so, encode jar as base64 so we can send it to Coursera
+    */
+  def prepareJar(jar: File, s: TaskStreams): String = {
+    val errPrefix = "Error submitting assignment jar: "
+    val fileLength = jar.length()
+    if (!jar.exists()) {
+      s.log.error(errPrefix + "jar archive does not exist\n" + jar.getAbsolutePath)
+      failSubmit()
+    } else if (fileLength == 0L) {
+      s.log.error(errPrefix + "jar archive is empty\n" + jar.getAbsolutePath)
+      failSubmit()
+    } else if (fileLength > maxSubmitFileSize) {
+      s.log.error(errPrefix + "jar archive is too big. Allowed size: " +
+        maxSubmitFileSize + " bytes, found " + fileLength + " bytes.\n" +
+        jar.getAbsolutePath)
+      failSubmit()
+    } else {
+      val bytes = new Array[Byte](fileLength.toInt)
+      val sizeRead = try {
+        val is = new FileInputStream(jar)
+        val read = is.read(bytes)
+        is.close()
+        read
+      } catch {
+        case ex: IOException =>
+          s.log.error(errPrefix + "failed to read sources jar archive\n" + ex.toString)
+          failSubmit()
+      }
+      if (sizeRead != bytes.length) {
+        s.log.error(errPrefix + "failed to read the sources jar archive, size read: " + sizeRead)
+        failSubmit()
+      } else encodeBase64(bytes)
+    }
+  }
+
+  /** Task to package solution to a given file path */
+  lazy val packageSubmissionSetting = packageSubmission := {
+    val args: Seq[String] = Def.spaceDelimited("[path]").parsed
+    val s: TaskStreams = streams.value // for logging
+    val jar = (packageSubmissionZip in Compile).value
+
+    val base64Jar = prepareJar(jar, s)
+
+    val path = args.headOption.getOrElse((baseDirectory.value / "submission.jar").absolutePath)
+    scala.tools.nsc.io.File(path).writeAll(base64Jar)
+  }
+
+/*
+  /** Task to submit a solution to coursera */
+  val submit = inputKey[Unit]("submit solution to Coursera")
+  lazy val submitSetting = submit := {
+    val args: Seq[String] = Def.spaceDelimited("<arg>").parsed
+    val s: TaskStreams = streams.value // for logging
+    val jar = (packageSubmissionZip in Compile).value
+
+    val assignmentDetails = assignmentInfo.value
+    val assignmentKey = assignmentDetails.key
+    val courseName =
+      course.value match {
+        case "capstone" => "scala-capstone"
+        case "bigdata"  => "scala-spark-big-data"
+        case other      => other
+      }
+
+    val partId = assignmentDetails.partId
+    val itemId = assignmentDetails.itemId
+    val premiumItemId = assignmentDetails.premiumItemId
+
+    val (email, secret) = args match {
+      case email :: secret :: Nil =>
+        (email, secret)
+      case _ =>
+        val inputErr =
+          s"""|Invalid input to `submit`. The required syntax for `submit` is:
+              |submit <email-address> <submit-token>
+              |
+              |The submit token is NOT YOUR LOGIN PASSWORD.
+              |It can be obtained from the assignment page:
+              |https://www.coursera.org/learn/$courseName/programming/$itemId
+              |${
+                premiumItemId.fold("") { id =>
+                  s"""or (for premium learners):
+                     |https://www.coursera.org/learn/$courseName/programming/$id
+                   """.stripMargin
+                }
+              }
+          """.stripMargin
+        s.log.error(inputErr)
+        failSubmit()
+    }
+
+    val base64Jar = prepareJar(jar, s)
+    val json =
+      s"""|{
+          |   "assignmentKey":"$assignmentKey",
+          |   "submitterEmail":"$email",
+          |   "secret":"$secret",
+          |   "parts":{
+          |      "$partId":{
+          |         "output":"$base64Jar"
+          |      }
+          |   }
+          |}""".stripMargin
+
+    def postSubmission[T](data: String): Try[HttpResponse[String]] = {
+      val http = Http("https://www.coursera.org/api/onDemandProgrammingScriptSubmissions.v1")
+      val hs = List(
+        ("Cache-Control", "no-cache"),
+        ("Content-Type", "application/json")
+      )
+      s.log.info("Connecting to Coursera...")
+      val response = Try(http.postData(data)
+                         .headers(hs)
+                         .option(HttpOptions.connTimeout(10000)) // scalaj default timeout is only 100ms, changing that to 10s
+                         .asString) // kick off HTTP POST
+      response
+    }
+
+    val connectMsg =
+      s"""|Attempting to submit "${assignment.value}" assignment in "$courseName" course
+          |Using:
+          |- email: $email
+          |- submit token: $secret""".stripMargin
+    s.log.info(connectMsg)
+
+    def reportCourseraResponse(response: HttpResponse[String]): Unit = {
+      val code = response.code
+      val respBody = response.body
+
+       /* Sample JSON response from Coursera
+      {
+        "message": "Invalid email or token.",
+        "details": {
+          "learnerMessage": "Invalid email or token."
+        }
+      }
+      */
+
+      // Success, Coursera responds with 2xx HTTP status code
+      if (response.is2xx) {
+        val successfulSubmitMsg =
+          s"""|Successfully connected to Coursera. (Status $code)
+              |
+                |Assignment submitted successfully!
+              |
+                |You can see how you scored by going to:
+              |https://www.coursera.org/learn/$courseName/programming/$itemId/
+              |${
+            premiumItemId.fold("") { id =>
+              s"""or (for premium learners):
+                 |https://www.coursera.org/learn/$courseName/programming/$id
+                       """.stripMargin
+            }
+          }
+              |and clicking on "My Submission".""".stripMargin
+        s.log.info(successfulSubmitMsg)
+      }
+
+      // Failure, Coursera responds with 4xx HTTP status code (client-side failure)
+      else if (response.is4xx) {
+        val result = Try(Json.parse(respBody)).toOption
+        val learnerMsg = result match {
+          case Some(resp: JsObject) =>
+            (JsPath \ "details" \ "learnerMessage").read[String].reads(resp).get
+          case Some(x) => // shouldn't happen
+            "Could not parse Coursera's response:\n" + x
+          case None =>
+            "Could not parse Coursera's response:\n" + respBody
+        }
+        val failedSubmitMsg =
+          s"""|Submission failed.
+              |There was something wrong while attempting to submit.
+              |Coursera says:
+              |$learnerMsg (Status $code)""".stripMargin
+        s.log.error(failedSubmitMsg)
+      }
+
+      // Failure, Coursera responds with 5xx HTTP status code (server-side failure)
+      else if (response.is5xx) {
+        val failedSubmitMsg =
+          s"""|Submission failed.
+              |Coursera seems to be unavailable at the moment (Status $code)
+              |Check https://status.coursera.org/ and try again in a few minutes.
+           """.stripMargin
+        s.log.error(failedSubmitMsg)
+      }
+
+      // Failure, Coursera repsonds with an unexpected status code
+      else {
+        val failedSubmitMsg =
+          s"""|Submission failed.
+              |Coursera replied with an unexpected code (Status $code)
+           """.stripMargin
+        s.log.error(failedSubmitMsg)
+      }
+    }
+
+    // kick it all off, actually make request
+    postSubmission(json) match {
+      case Success(resp) => reportCourseraResponse(resp)
+      case Failure(e) =>
+        val failedConnectMsg =
+          s"""|Connection to Coursera failed.
+              |There was something wrong while attempting to connect to Coursera.
+              |Check your internet connection.
+              |${e.toString}""".stripMargin
+        s.log.error(failedConnectMsg)
+    }
+
+   }
+*/
+
+  def failSubmit(): Nothing = {
+    sys.error("Submission failed")
+  }
+
+  /**
+    * *****************
+    * DEALING WITH JARS
+    */
+  def encodeBase64(bytes: Array[Byte]): String =
+    new String(Base64.encodeBase64(bytes))
+}
diff --git a/project/build.properties b/project/build.properties
new file mode 100644
index 0000000..c0bab04
--- /dev/null
+++ b/project/build.properties
@@ -0,0 +1 @@
+sbt.version=1.2.8
diff --git a/project/buildSettings.sbt b/project/buildSettings.sbt
new file mode 100644
index 0000000..f7847f8
--- /dev/null
+++ b/project/buildSettings.sbt
@@ -0,0 +1,7 @@
+// Used for base64 encoding
+libraryDependencies += "commons-codec" % "commons-codec" % "1.10"
+
+// Used for Coursera submussion
+// libraryDependencies += "org.scalaj" %% "scalaj-http" % "2.3.0"
+// libraryDependencies += "com.typesafe.play" %% "play-json" % "2.6.9"
+
diff --git a/project/plugins.sbt b/project/plugins.sbt
new file mode 100644
index 0000000..64a2492
--- /dev/null
+++ b/project/plugins.sbt
@@ -0,0 +1,2 @@
+addSbtPlugin("io.get-coursier" % "sbt-coursier" % "2.0.0-RC3-5")
+addSbtPlugin("ch.epfl.lamp" % "sbt-dotty" % "0.3.4")
diff --git a/src/main/scala/quickcheck/Heap.scala b/src/main/scala/quickcheck/Heap.scala
new file mode 100644
index 0000000..4475a8c
--- /dev/null
+++ b/src/main/scala/quickcheck/Heap.scala
@@ -0,0 +1,119 @@
+package quickcheck
+
+trait IntHeap extends Heap {
+  override type A = Int
+  override def ord = scala.math.Ordering.Int
+}
+
+// http://www.brics.dk/RS/96/37/BRICS-RS-96-37.pdf
+
+// Figure 1, page 3
+trait Heap {
+  type H // type of a heap
+  type A // type of an element
+  def ord: Ordering[A] // ordering on elements
+
+  def empty: H // the empty heap
+  def isEmpty(h: H): Boolean // whether the given heap h is empty
+
+  def insert(x: A, h: H): H // the heap resulting from inserting x into h
+  def meld(h1: H, h2: H): H // the heap resulting from merging h1 and h2
+
+  def findMin(h: H): A // a minimum of the heap h
+  def deleteMin(h: H): H // a heap resulting from deleting a minimum of h
+}
+
+// Figure 3, page 7
+trait BinomialHeap extends Heap {
+
+  type Rank = Int
+  case class Node(x: A, r: Rank, c: List[Node])
+  override type H = List[Node]
+
+  protected def root(t: Node) = t.x
+  protected def rank(t: Node) = t.r
+  protected def link(t1: Node, t2: Node): Node = // t1.r == t2.r
+    if ord.lteq(t1.x, t2.x) then
+      Node(t1.x, t1.r + 1, t2 :: t1.c)
+    else
+      Node(t2.x, t2.r + 1, t1 :: t2.c)
+  protected def ins(t: Node, ts: H): H = ts match
+    case Nil => List(t)
+    case tp :: ts => // t.r <= tp.r
+      if t.r < tp.r then
+        t :: tp :: ts
+      else
+        ins(link(t, tp), ts)
+
+  override def empty = Nil
+  override def isEmpty(ts: H) = ts.isEmpty
+
+  override def insert(x: A, ts: H) = ins(Node(x, 0, Nil), ts)
+  override def meld(ts1: H, ts2: H) = (ts1, ts2) match
+    case (Nil, ts) => ts
+    case (ts, Nil) => ts
+    case (t1 :: ts1, t2 :: ts2) =>
+      if t1.r < t2.r then
+        t1 :: meld(ts1, t2 :: ts2)
+      else if t2.r < t1.r then
+        t2 :: meld(t1 :: ts1, ts2)
+      else
+        ins(link(t1, t2), meld(ts1, ts2))
+
+  override def findMin(ts: H) = ts match
+    case Nil => throw new NoSuchElementException("min of empty heap")
+    case t :: Nil => root(t)
+    case t :: ts =>
+      val x = findMin(ts)
+      if ord.lteq(root(t), x) then
+        root(t)
+      else
+        x
+  override def deleteMin(ts: H) = ts match
+    case Nil => throw new NoSuchElementException("delete min of empty heap")
+    case t :: ts =>
+      def getMin(t: Node, ts: H): (Node, H) = ts match
+        case Nil => (t, Nil)
+        case tp :: tsp =>
+          val (tq, tsq) = getMin(tp, tsp)
+          if ord.lteq(root(t), root(tq)) then
+            (t, ts)
+          else
+            (tq, t :: tsq)
+      val (Node(_, _, c), tsq) = getMin(t, ts)
+      meld(c.reverse, tsq)
+}
+
+trait Bogus1BinomialHeap extends BinomialHeap {
+  override def findMin(ts: H) = ts match
+    case Nil => throw new NoSuchElementException("min of empty heap")
+    case t :: ts => root(t)
+}
+
+trait Bogus2BinomialHeap extends BinomialHeap {
+  override protected def link(t1: Node, t2: Node): Node = // t1.r == t2.r
+    if !ord.lteq(t1.x, t2.x) then
+      Node(t1.x, t1.r + 1, t2 :: t1.c)
+    else
+      Node(t2.x, t2.r + 1, t1 :: t2.c)
+}
+
+trait Bogus3BinomialHeap extends BinomialHeap {
+  override protected def link(t1: Node, t2: Node): Node = // t1.r == t2.r
+    if ord.lteq(t1.x, t2.x) then
+      Node(t1.x, t1.r + 1, t1 :: t1.c)
+    else
+      Node(t2.x, t2.r + 1, t2 :: t2.c)
+}
+
+trait Bogus4BinomialHeap extends BinomialHeap {
+  override def deleteMin(ts: H) = ts match
+    case Nil => throw new NoSuchElementException("delete min of empty heap")
+    case t :: ts => meld(t.c.reverse, ts)
+}
+
+trait Bogus5BinomialHeap extends BinomialHeap {
+  override def meld(ts1: H, ts2: H) = ts1 match
+    case Nil => ts2
+    case t1 :: ts1 => List(Node(t1.x, t1.r, ts1 ++ ts2))
+}
diff --git a/src/main/scala/quickcheck/QuickCheck.scala b/src/main/scala/quickcheck/QuickCheck.scala
new file mode 100644
index 0000000..59ca28b
--- /dev/null
+++ b/src/main/scala/quickcheck/QuickCheck.scala
@@ -0,0 +1,18 @@
+package quickcheck
+
+import org.scalacheck._
+import Arbitrary._
+import Gen._
+import Prop.{BooleanOperators => _, _}
+
+abstract class QuickCheckHeap extends Properties("Heap") with IntHeap {
+
+  lazy val genHeap: Gen[H] = ???
+  implicit lazy val arbHeap: Arbitrary[H] = Arbitrary(genHeap)
+
+  property("gen1") = forAll { (h: H) =>
+    val m = if isEmpty(h) then 0 else findMin(h)
+    findMin(insert(m, h)) == m
+  }
+
+}
diff --git a/src/test/scala/quickcheck/QuickCheckSuite.scala b/src/test/scala/quickcheck/QuickCheckSuite.scala
new file mode 100644
index 0000000..de89e84
--- /dev/null
+++ b/src/test/scala/quickcheck/QuickCheckSuite.scala
@@ -0,0 +1,55 @@
+package quickcheck
+
+import org.scalacheck.Properties
+import org.junit._
+
+import org.scalacheck.Arbitrary._
+import org.scalacheck.Prop
+import org.scalacheck.Prop.{BooleanOperators => _, _}
+import org.scalacheck.Test.{check, Result, Failed, PropException}
+
+object QuickCheckBinomialHeap extends QuickCheckHeap with BinomialHeap
+
+class QuickCheckSuite {
+  def checkBogus(p: Properties): Unit =
+    def fail = throw new AssertionError(
+      s"A bogus heap should NOT satisfy all properties. Try to find the bug!")
+
+    check(asProp(p))(identity) match
+      case r: Result => r.status match
+        case _: Failed =>
+          () // OK: scalacheck found a counter example!
+        case p: PropException =>
+          p.e match
+            case e: NoSuchElementException =>
+              () // OK: the implementation throws NSEE
+            case _ =>
+              fail
+        case _ =>
+          fail
+
+  /** Turns a `Properties` instance into a single `Prop` by combining all the properties */
+  def asProp(properties: Properties): Prop = Prop.all(properties.properties.map(_._2).toSeq:_*)
+
+  @Test def `Binomial heap satisfies properties. (5pts)`: Unit =
+    Assert.assertTrue(
+      check(asProp(new QuickCheckHeap with quickcheck.test.BinomialHeap))(identity).passed
+    )
+
+  @Test def `Bogus (1) binomial heap does not satisfy properties. (10pts)`: Unit =
+    checkBogus(new QuickCheckHeap with quickcheck.test.Bogus1BinomialHeap)
+
+  @Test def `Bogus (2) binomial heap does not satisfy properties. (10pts)`: Unit =
+    checkBogus(new QuickCheckHeap with quickcheck.test.Bogus2BinomialHeap)
+
+  @Test def `Bogus (3) binomial heap does not satisfy properties. (10pts)`: Unit =
+    checkBogus(new QuickCheckHeap with quickcheck.test.Bogus3BinomialHeap)
+
+  @Test def `Bogus (4) binomial heap does not satisfy properties. (10pts)`: Unit =
+    checkBogus(new QuickCheckHeap with quickcheck.test.Bogus4BinomialHeap)
+
+  @Test def `Bogus (5) binomial heap does not satisfy properties. (10pts)`: Unit =
+    checkBogus(new QuickCheckHeap with quickcheck.test.Bogus5BinomialHeap)
+
+  @Rule def individualTestTimeout = new org.junit.rules.Timeout(10 * 1000)
+}
diff --git a/src/test/scala/quickcheck/test/Heap.scala b/src/test/scala/quickcheck/test/Heap.scala
new file mode 100644
index 0000000..2f82fb3
--- /dev/null
+++ b/src/test/scala/quickcheck/test/Heap.scala
@@ -0,0 +1,96 @@
+package quickcheck.test
+
+// Figure 3, page 7
+trait BinomialHeap extends quickcheck.Heap {
+
+  type Rank = Int
+  case class Node(x: A, r: Rank, c: List[Node])
+  override type H = List[Node]
+
+  protected def root(t: Node) = t.x
+  protected def rank(t: Node) = t.r
+  protected def link(t1: Node, t2: Node): Node = // t1.r == t2.r
+    if ord.lteq(t1.x, t2.x) then
+      Node(t1.x, t1.r + 1, t2 :: t1.c)
+    else
+      Node(t2.x, t2.r + 1, t1 :: t2.c)
+  protected def ins(t: Node, ts: H): H = ts match
+    case Nil => List(t)
+    case tp :: ts => // t.r<=tp.r
+      if t.r < tp.r then
+        t :: tp :: ts
+      else
+        ins(link(t, tp), ts)
+
+  override def empty = Nil
+  override def isEmpty(ts: H) = ts.isEmpty
+
+  override def insert(x: A, ts: H) = ins(Node(x, 0, Nil), ts)
+  override def meld(ts1: H, ts2: H) = (ts1, ts2) match
+    case (Nil, ts) => ts
+    case (ts, Nil) => ts
+    case (t1 :: ts1, t2 :: ts2) =>
+      if t1.r < t2.r then
+        t1 :: meld(ts1, t2 :: ts2)
+      else if t2.r < t1.r then
+        t2 :: meld(t1 :: ts1, ts2)
+      else
+        ins(link(t1, t2), meld(ts1, ts2))
+
+  override def findMin(ts: H) = ts match
+    case Nil => throw new NoSuchElementException("min of empty heap")
+    case t :: Nil => root(t)
+    case t :: ts =>
+      val x = findMin(ts)
+      if ord.lteq(root(t), x) then
+        root(t)
+      else
+        x
+  override def deleteMin(ts: H) = ts match
+    case Nil => throw new NoSuchElementException("delete min of empty heap")
+    case t :: ts =>
+      def getMin(t: Node, ts: H): (Node, H) = ts match
+        case Nil => (t, Nil)
+        case tp :: tsp =>
+          val (tq, tsq) = getMin(tp, tsp)
+          if ord.lteq(root(t), root(tq)) then
+            (t, ts)
+          else
+            (tq, t :: tsq)
+      val (Node(_, _, c), tsq) = getMin(t, ts)
+      meld(c.reverse, tsq)
+}
+
+trait Bogus1BinomialHeap extends BinomialHeap {
+  override def findMin(ts: H) = ts match
+    case Nil => throw new NoSuchElementException("min of empty heap")
+    case t :: ts => root(t)
+}
+
+trait Bogus2BinomialHeap extends BinomialHeap {
+  override protected def link(t1: Node, t2: Node): Node = // t1.r == t2.r
+    if !ord.lteq(t1.x, t2.x) then
+      Node(t1.x, t1.r + 1, t2 :: t1.c)
+    else
+      Node(t2.x, t2.r + 1, t1 :: t2.c)
+}
+
+trait Bogus3BinomialHeap extends BinomialHeap {
+  override protected def link(t1: Node, t2: Node): Node = // t1.r == t2.r
+    if ord.lteq(t1.x, t2.x) then
+      Node(t1.x, t1.r + 1, t1 :: t1.c)
+    else
+      Node(t2.x, t2.r + 1, t2 :: t2.c)
+}
+
+trait Bogus4BinomialHeap extends BinomialHeap {
+  override def deleteMin(ts: H) = ts match
+    case Nil => throw new NoSuchElementException("delete min of empty heap")
+    case t :: ts => meld(t.c.reverse, ts)
+}
+
+trait Bogus5BinomialHeap extends BinomialHeap {
+  override def meld(ts1: H, ts2: H) = ts1 match
+    case Nil => ts2
+    case t1 :: ts1 => List(Node(t1.x, t1.r, ts1++ts2))
+}
diff --git a/student.sbt b/student.sbt
new file mode 100644
index 0000000..855fa0c
--- /dev/null
+++ b/student.sbt
@@ -0,0 +1,9 @@
+// Used for base64 encoding
+libraryDependencies += "commons-codec" % "commons-codec" % "1.10"
+
+// Used for Coursera submussion
+// libraryDependencies += "org.scalaj" %% "scalaj-http" % "2.4.2"
+// libraryDependencies += "com.typesafe.play" %% "play-json" % "2.7.4"
+
+// Student tasks (i.e. packageSubmission)
+enablePlugins(StudentTasks)