CAT(3078,3)

Sparse6:

:~?oE_?O?G?C@k?b?N_GODGA[@I@_?i_UOIwFGA]@R?g_g_NGFsBu@z?{_^ONGFsBu@p?u_ZoLGEkBM@h?t_XoLgE{Ba@r?z_\OMWF[Bi@\?n_UoKGESBECY?c_ROHWD{Au@\Am@IocwQcHeCvAY`LoeWRSHeCvAY`JOeGQ{HYCnAW`GocgQCFyB~A?`?o_gO[GQCLAD_}o^GN[G]CRAG`EOagP[GqCTAJ`I_\WQ_F]Ce@u_{?dGNOHUBqAR`B_eGP?H]CQAU`EobwPsF_Bf@y?yO]OMSFGCZAN?xob_McC}A\@O_~?QGO?CiB}@H_e__WH_GMAUAA`B?PWO_C]CI@E_`?\gGWFUAG@v_vo[WMCEsBz@m?|o^?LcEeBV@i_noVWJsEIBB@__poXGKkHCAvAQ?mOc?JSDMAb@Q_ioTgIcDeAp@V_r?NwL?CAAA@fa[?^gOCF}CBAB`@O`GOsGUCNAH`COagP[GqBj@v_zO]gNCFeBf@q_yOHwDCAe@N?h_SOIwDcAi@V?i_UOQwHcCuAJ@F_bOPWG{CYAP@I_coQwHkCqAP@I_coOWGCB}@~@@__OOwGcCIA\@N_gORgICC}B^@p_wOZGLkEyBL@g_roYWL[EiBF@d_qOUgJcDmAn@X_kPgOqSXQKfE^bNPgGrgXyKuE^bM@gGpcWyKZEEbCP`wq?W]KaEGbF``gocWUKFDxA}P]?nSV[JvDsazP\WmoVIJeDsay`[Wm?VMJ[Dpav`[glkUmJXDlatpZGk{UYJJDhatPYGkgWeKUDfar@agjGXmKwDZal@fWjGWeKUDZal@agiwVuIoD~aj@^gikTMIhDRaipTGr?TAKsDQbK`SWhkSyI^EXAfPe?hkXgI^DJAgpR?iSSgI`DnAcPQOmCUwINDCBIpdogkXWILDJAbPR?gcSgIJD@a`pOgiwRaIoCyaj@MWfWS]IQC|a]@QGeSRMHhCtaZpLge?XQKcCpaV`cwr?QqKqCmbL@JWdGXmHUE\aT@fGqGQYHOEObF`Hwp_QUK[CcbE`Gwc?WUKECaaO``GegVuHkD}aZ`^wbgViG}DzaN@^GkOQMJGCdap`HGk?Q}I}Cpao`KGbOTqIyC[aL`Vge_RuHwCqaX`Mwc?QYHOC`aP@HwTCIeDTAk`UoiwqoIUKmAf`R@dWgGIIDGDBa`?gwfoH}I?A`a^_gGa_RaGiCxaJ@Mgo?OmKCCLb?`BGfoOaI?CIa^`AW_?PiF}CZa?`FG^KNiFvEV@zo|_qkXWFpBrBIO|?qSNSKfDw@wO{_nKNCJnD^@upW?\sUCF^Bi`uOyw[KMMFDDa@now?kcLwJFCk@kpJ_ZSQsEpB[AnOvOjcLkIzCj@aPI_W[KSHRBEANpF_XCPsENBK`eorgYkLYEnDi@iOs_lCLKJRAt`YOlgVKJ]DpA~BNOn_r{JsL@AyB?On?oSJkKBCAAGP@?`{OKG\CEAGpC__kO[GfBf@qOx_\KM_FJBI@fosOX[L?ERB{@_O~_WSNsEBAp@MOfOU[JGC|CV@VOk?bKI{GpIt?OoGwCSAE@F?aaLPFGb[PuG~C]aQpGwccQ]HPCeaSpIgd[QyHXClaVpKWeCRMHdCsaZpLgekAQ@J?e_YOKwEkB]@p?u_UoJwDsHqC|A\`MOfgRkH}DBA_`PohGSSIMDHAa`QohgS{IUDLAf`SOiWTSImDZAkaIpDgacOaGTCHa?o~w_CNmFrBy`tOzG\[MEFFBa``opWWcKYENBG`coqwXSKqE\BL`fosWYCKAEDB@`YolgUcJ]DrAw`WokgU[rKWoK`ePbEhcOpeWoKZeLBFXbGpqXaKJeWBAXeOoiXKKJeQbAXc_oiXYK?e@BJx_GqyVdJrdwq|H]knYVVJlduQzh]Cm}V[JgdwAyh\wmeX_JfdqbKheGmYV@J`dnqv@bslsX@K^DnQ~PZklwV~J[D~Q|pZKncUvJwDlQuP^SlkVxJYD|qsxYclUUiJ~d~Asx^glQUdJOdgqr`dSk{XXJLETqqHW{keUYJFdfaqXXokaUDJBd_qoPdckGXTJBETqp@Vsj{ULJ?DaqmxVkjqTdIsdXqkhUcjMT\IkdUqkHT{jETRIjdTRIPSsq[TPKgDRrEpS[iOWzK[DQqg@aSiGWhI`EHrB`Rkh{WZI]EER@pRSoWSxKGDLqw`S[mOTJJbDQQr@TCkkTLJIDRqlXU{jYTpIxd\Qd`RKhOSnITDKQlPTcj[T\IuDUqm@T{jgT`IxDWqcP]chKVlIQDyqbPRKgoSnIJDKRBpOcgGWbKOD@q_P_kf{WFI?EAQ]PcKqKRvKaC|Q\`]Kf_VdHvDxqypMcfKVZJkCyrH@MCfGXLKdCwqXpTSecTVIhCsQe`KchoRLIZCqqt`KKl_RFJVCpRJpJ[qsQzH[EVQr@JSkgQrJJCkQT@d[dGXXHRETQQPc{ckXRHIESQPp_CcWWDK@CcQOpRkh{QJI]CaQNPakp[P~G}EJQ}`FSboVxGzD|rBpD[pCPZKOCUQK@_koOP\KBCVqd@DChWPTITCSrK@CcrGPDKpCPqg@BK`kTBGYDPRJPAsq{OpKmCJqCpaS`SWhGSEHqy@@k_wVTGNDsqA`akp[OXGJEJQAPWk__ULGFDaRB_|SooNVKLBspxg|C]]MyI}d_@vxVw\yMKK^bbbGGwgpyWKFHbcB@x`?[iTwF@b_AnXVWZ}LqJdb\axwvOmYU_Esdh@lWuWlEVmEod{`kh^?ZEL[JWdj`jwtglYVCEdbQAxH[WYYVAEhdo@hwt?l}LAIGbPAaWsWgiQiH_cnATxJwdYRUH?ctAOhL_cEO}HKcOARhCGcuOGGscBALX?gbYO_GBcHA?hAG_EPqFwb|ALw~GbaS[FtdG@|xPw^YNcF}by@~w}W_AN]Fkbv@{W}?]uNIGfbpaHhCg]QNCHOboaRxIG]AMsFzbl`~Gz_^uMgFVbk`tgz?\UOyFRbgaFhB_\IM]H{c~@sHNg[yMYIDbeA`wxWgYPcE{cX`nhEGZuRYEub[AZwuweyLWFCb``igwOYmbmIUdIQdXTCi]TLIldVQjHUCjET^IhdTQiwNcFuBv@A_aOOwIKDMAd@S_jOTXM[fURhHuc{Q\xLke}R\G?b~P~x?K_MODFtbzP|w{[]QNJFJbeprGxC[eMTErbYplGtsY}LZEjbUPigscYYLJRVHhssiYLLQejRUh_coyW@KIeGQ~hbCqIWhKieMRHhfcqyY@KueWRMhfcliV@Kye_QvhWCnIUPJydaQ|h[cjYTxJmd[QyhUCrYTPKqeUQjhdCgYSXKaeQQahXcgYSXJUdgQahaCfYR`KMcuRAhRcfYRXIacwQhhfceiR@KycqROhdCayX@GeeQQIh[cayVXGedsQIhBCnyP@KAcMR@gzc`YOXFeboQCgycoiW`FYbgRBhQC[iSpFEdIPrgwCfyLpHyb]Q_hLC\YR@FQcqPugvcdYLpH]b_QUgwcciMXHQbcQRguC^iNxEmbYP|guc_YOPEmbWQ?hABLIOgrUcEKrh_cYiVxEebOR?hBCViP@DucMP[gkciiJXIqasQjgesRyHtCWd@PCHNSPQR|CKd|P@H]sOaVdCA`~O}g[ClIFPJM`qQtg{cJYMxAyboOkgOCbiPhAI`AQKh]CEYAxJy_oQ|gICbyApHE_iQOgGcbIPp@McYOQhacAI@PK]_QREhiC@YYp?]eiOEhgb}YYO~ieeNzhgb|iYW~aecNvfnChiS_|}dIN_h@BqxxHGA]SQ@f`C^xw@Fy]AP|f]rnxvszi\xMzhiBlyYozeeiMwfVCdXtxH]ckMofXcdHuHHM\cQQfRRhxskye\TMgfPRhHs[xsdlM[H[RfaU|Ic[tMZHRsi@rKvmZzL{hFb]HnPHEc_LxexCqxm`KuZeRKerCjYTwuad[LfeqCkHkhJEdcLbemrVhj{uEZ@LaekrTxjCt?bxLMG|rRqNTKSYXRFEesp`h\JkYLQyEasmPg{r}YBL?g|BLhf@FqbuKvgqcSyKxDUbKPSgLCPyB`Ce_uPGgFCHiA@Aa_]Off}CIX~pAm`SN|fwCFYBw~I^aO]fucJx|xBE^[OoftBwX|_}M^UNaflbxxzg}a^QN[gPbuICg|e`GNYgjBtYIw|YaoNVfhCAxy`?u]eOKggBdiIOxaaaMVfGCVyKGxI[aP_fDbxHp_}Y[SNdfBbrxpG|E[ONOfNbbXsGw}\?MMfAbphoo{a]MMCf?bpXwWwM[CNCf~b^y?Gvy_?M?eycNHmxBu`uLuevb{xmG~UZ_Nsg@BZI?_uy_ELlgpbYYK_umbCLielBjHj_ymYuMlfHbTHqgtY[gLTegblHiWzYYcMtgZbQiEgsa`kLHeaCKhgXBQ`eLAe]brXfo{yXwNKgdbMiH_rmXqPIkE?FWB[@q?z?[_LoFgCC@}?|?^_OODwAs@U?t?X_KOHWCsAQ@b?q_WOiGTSIeDZAj`UPBgaCO}GbCRaHOsgYcLMEjBV`jOmgVcJmDzA~`^RbxpkwyYlLSeiuMbC\bkpDW`K[uKBBtbCo~WqKOUDRDla{onWUKVUBrDT`CpXWOKTuFRDla{oxWZKVUIbBD`gpXWXKTuAR@d_woVWIKEu@bAL_{oNWOKCUCb@T_cohWRKDu@rAt__onWEKIt}bE\^opjVzKYT}BEt^cppWvJztrRFt[{pzVMK]TpBF|[WqBVDK_TorBl[CovVAKMTmrBD`glzWXJ]UIAuTaclhWfJXuHAstaWlPWdJRt[YmTVAj^TmiutRBATSwohTLKHtQR@dSgoZWMIdtNrE|RsppS}KZUOQf\c?hxW~I\UHafLaOhpWdIZuNAeLRGp|SrK]tJbCLR?pFSnKPTCrFLbgghWzIIuKAaDPGpdSPKWuLA_TbSgFWrI?uFq^Da?ftW]H{u@A\|NCoJRoK@sybDLa_fVWfHsu@QZt_Oe~WBHmu?AxT[ooDW@Jdt{AwD]{l|VmJ^tmA|TZgnRUxJsTkQrdY{kvUYJWTsqqdXWmjUTJiTsAqL\GkfVPJHTcA}dWwnjUNJzTaqulZ[kZUuJET]AzlVWm|TvJmTuqm\VSmtTsJktYQ{d]KjNVaIsTzQktUOnXTdJttYakLUkjDTkIptUqrlTsk~T[JNTVqi|TSj@T]IjTRqtLYkibTOJTTOAolSGkNT@JBTgaelY?hlU`IYTIqiTTOhZTRIUTGA{|]ShBS^JrTGaz|QOnBSbJoTFAn|PwkBS\J?TEQndPkj|SYI}tDaw|P_mRSVJcTQA`|OsiNSMIbTBAg\OgiJSJIaT@qrLX[gRSGJKTjA_dOWlZUmIAs~ajDN{itS?Iks}qclQ[fzR{IRTgq]lYSfnUcHzS{anLNOjvRrI|TIA\dQgf\ShHusxa~lM_n~RfJ~Taa[LMGkPR_JCsxQo\WGfFUCHqTuAZLL_mlVVHjsuq}LLgnfR[JxOBwAK@A?d?S_HqeHRKh]TDI`dOQkhUcjMRTHjcuQTXI{dYMtF[blpvWz{\yMDFBbaPpgw{[UknUWjKt_iodWMhtS{i\tKYe\RIx[[smUfKjd`rMxq[jm\FIZf@qixE\CmQfPjc`sUx?\@mOfOzgPqIw[[tmGFLjexo}wO[_mPFAjcHoex]ZxmWe}ze@niv_[hlxFIj]HqmxWZlmVEzzdhmyxKZZmSEvZcxlqui[bljFHZYxqQwyZQliFFzbplMxKZNmSEsZcxlAuW[YlfFFJXhpmuQ[nldfKZXPrAuK[tmZeqJWxrYsZYNlFUaJO|geyEYBm`E_ZOPsEyGY?k~fPZNpsYrw[\mNE]zNhp}wsXwmME]jbXfexoXnkwfMZfPfArW[qkvFLJLhrMxuXbm]eXZf`eQrC[~koFOJKHryqzX^knUTzJLdaqa[zkhfNZIPrqx{XMm^eRzI@sAqZXJkeUQZHTcaviZvl{E|J]pnMvGZ~m?exj_@mUwUZ`mEEwj`hmMuo[PlkfCzZPpIwCY|l^f@JVpoMvSYyluEnJ\XjmvMYplXEyZUXmawKYnmBekJ_hiytCZ{lQE~jSXnusqYelLehzRPiUu?YUl`EeJWHh]siZClHepZQ`kMsSZ]loEbJZxgms}YClOe`jS@gUs{XtlMe\zMphqrcYOlHE\JMXhErQYjktejZLPiqrKYglSeYJKxiiwgXYmJEVJJXpUwmXSmKeTjb@dUqIYvkbemZGpjatgXAlZEPJUhcM?V?I_CoBG@k?ybhPugypGGcSQED@A^`Op?g_cOMGJCEaBojgT{JA_\OOgFr\Xm{vYZVLiesrXXk[uR??_@n~g?z~q?J?S^toDf|z}q?q~c_KnyGAj}Y?m~c_@nyG?z}Y?Iye^nmif{Zi`~A}w^}o?Fuj~x|m~i^VnzfuZ}p|b?G^MoAfr{?p|A}O_CndG@jxI?U}I_FnbgAZwq?a}E_FoCfpK@@{I~W]cnRFzjsh}u~U]bnsfgj|PyE~u]XnLF~Zr@~q~o]VnJF}Zqh~i~s]Mn{FbZ~Hwq{U^{n}faZpP~m~S]?ntf_j|HwEz}^mm~FzZnh}qyq^nmlf{ZjP~Ay`\QmgvRzhtsu~M^LnsFqzx`}Y}A^bn_FxZvx}Q|_^^nmfkjuH|y|M^_nSfwjt@}E|w]]n^FgJvhx}{u]rnMflZr`zQzs^Sm}FtjnX|U}e\vm{fsjyHvaz[]OmwFcZpxu}za\jmxFZZmXuq{c\gnIFYjqXuezI]nmrfjZkpyyzg\amqF\jkXvU|k\^n[FWZuxuAyw]xn\fVjjhziyo]jnTFTzt`tY{K\InBfRJp@smyM]BnAfQZo`sbCa?E_CO@w?c?Q?H?D_Ao@W?s?]?P?E_CO@z?\_UoHIYdMQexRkh}S|IbdQQhWsSYMLBHWckqUhGscaQNExb\pmis\YQlJTxi|t]imtVajnTriyt\JsdyY|J]anPvgZrLxi{p]TnJvdjndvmzt\xmzv]KYmLNEhbQpgwsKX}KvE\bKpdwqkVaJZDuatp]gl{YAJJEcaspggk{TyLNDabTpWGtKVAIzDsakpUgm[VYIfDyaip]Gi{VQInDoahp[gikR]HrCta\pNwfkRAKvCmbNpfGe[QyKnCqbKpKGqkWyHvEQa^pcGfkWiHnEKa[paGekPyKbC_bHpFGp{WaGnCWbEpEgp[PAKFCQbAp`gakVqGbD}aIpCgoKQaGnCYaUpEGd[PyHVC_aUpFGdKSY@fDI_ZpQGEkNIGVBuaEo|G`{MyGZBoaDozG`{LyJ~BYb?ovGnkWYEfBOb@orgokIQIBDC`RoiGg[HyIBAaa`pPGSKSqC^DM`EpSGQKSYBv@}acpQgNkSqBjDO_{pRgM{FIHF@maRo[GckEqHN@gaPoYgckByIrD[_`pUgGKUi@r?{avpZGF[UQ@BDg_QpXgC[Ty?vDa_NpWGBkNaF~CA`}o}g_KOQFBCG`qp@g[[JAEZAs`dokgXKIiEFAm`bojGWkGYFNAI`toaG\KGAEjBW`AotgO[DYDzB?_loUGV{EQAb@S_roSgK[DqAV@__foVgHkCQDv@G`ZoPgVKAyCzAW_WoJGR[AaCfAU_ToHgQklw?m?T?HpBw`[OuGfCTaG_FOBW@c@]?j?U_KOEgBLEyb`PngxS[yMKyU\NMefSrihtCwM[BMAfAR`Xosvy[@L~evr[XmCsaYTLHedrRHhksIYHLBearPxgtfmrzX{k{u]jNEXXKxeWRNXdsrmYHKfeTRQXdCs]VxLJe?RRx^ssuVxK~e?ROx^ssEVpLPeiQ}x]stMXdJveZQ}XecnmVdK^eLQ|X]CpuWDJpeBQ|X_cnMU|KdePQwxcCmEWhJZeKQuXasluUxKNeHQuxZCpEWPJ^eDQwx[CouUdLFdjRQXYcsUU\K|dgRMXXcrmVTJFdvQqX\ckmV\IxduQlX\Sj]R|KfeTQ_xdCgERpKnc}RKXNSquVLHjdsQYXKsmURHJhdrQWXKSmUWhGjeKQJxasauPHKNeHQHxDCpEX@GFcDRHXcS_eWtG@eNQ@Xbc_MXhFZeZPuXeS\]M`KJbiRBWySoeMTKBbfR@wxcoUX|FDbcROxgC[]L|LPeiPowwCtMLpLJb]RRwvSsuUDIbdRQpXSckETtI\d]QgXVsh}TTHtdUQ\xTCfMT\HncwQkxLcjES`HZdIQVxQSduQhHHceQUXIscmQ\HBchQPxICcUPxIJdFQNxGCguPlIDc\QaXFCg]SlGpdKQKxRSbUOlG^cPQCxCC`UOXGXcGQFX@s`mNtFnb~P{W~c^MNpFlbyPyw}s]eLXF\bnPkW{CY}LlFbbYPxwuS]UUrJ\dl_moVwJsEABD@`cUQJXD[ayP^GojItdIqtXIkfUPirtYIlLUQjJTehjsuYZDLqetRZpowv{[ELrEzb]sgIOlIQcNQah@shiN|IicBP{hSs\iU\JYbvQsg{sjIMLFQdbPqhVsYiU\JYb^QsgusYiTlEydbPkhVsXIO\EYcJPghBsWiN|DycBP_g}sVIN\FYavPwgksSiMLFQanPqgisaH}|Gq^jQIfxsbh|k~AcfNmhGrwIR\Hy^JNahMrviQk|icrN[hJshhvlIi]BQgf^shHu|IA\vQaf[rdiPLGq[fQIfIschp|Gy[ZQOfGrVIR\HyZBL]hMrUiRKtacnLUhIsFIGLAAaJO]g`sGiA|@i`NOcgKsCIDL@Q`ZOQgTsAiD|BI_^OogEs@HxL?a]ZOEfdrpI?[{Y_BNAf~rkh~kzQ^vMof{rxht[yy^VMkfsreHskxq\RMYfRrahy[wY]bMGffr_Hr{wI\FMCfOruHn[vy]nL{fisNHnKvQ`~OyezrZiHkvAabLqgfsLHlKuq`rLigZsPhk\CiZNPGeqpEWb[P]GzC`aN_JODwAk@a?t?XgtsZILkAE@F?afCraHo{wi[XMJoeWRkHmCfAV`ItiIxLYimNUkjdtiIwLYqmJUij`teIt|XilfUUjWtcIt|XQlfUQjWtoIa\[IgjVCiJtBix\OqmNSOjcszir|NAlBU[hxsyIs\YYfZRijQswis\YYfNRcjQswIr|YAezU[hnteIY|XievUUhktdIY\XAejUQhgsqiv|KylvU{hetlIWlKYlrUuhcsoIulKIlnQ}j[tniV\ZqdzQwj\t[ip\VYkZTsjFt`ImLUqkRTmjBtXin|UikFTgj?tWInLVqjFTci|tIieLQyhjSkiXtHIe|RahNSyiStNIb|QIiBS}iOtOibLSYgzTCiLtVi`LTigVT[iBtTI_LTagJTUi@tRi^\TIf~TOh}tQI]lNaiZRuidu_?BwAK@A?f?S_HUAJ?|_YoRWJkDWtkZEL^FhbtpzW|{^MNbErbZplZQTimslYllVUdZRDhMsxYVlLUdZPdiUs`YhlFUhzRtgutDYNlOUcZRD]UnPY\lLTxzGTfmr|W~k_U^ZMtbmrpW|kyUMZETfmplX~kYU^ZDdfUp`XxkVU\zSd_}tPWRlRUCZRt_etDWLlOUAy|Timt\VnjuUjZOt\}sTV`lCTwzOd\usDVZjkU_YyTg]mlYJjiUaYxdgEsHVPl@TrzIta]pTXZkkUIZCDdEpHXTkPUSzHD`}otXFkaUFZAdcmopXNkJURZ?TeMoLXfkAUXZJd^un|X^k?UWY}teerXVzj{UYzLt^ErdVtkwT{oAW@[?jXvk{u\ZN\f}ry?X?M_Ezhdrmy`[~mfVNZedsuxp\PmZVRzeTs]yT[nmcVKZdDs]yP[jmdVJZgdkMuL\@laVOziTjuylZ@miUnzUtsMtt\Dl[VOZUDt]th\RlXVTZ`TqMw\[fmEVHZbdoUwL[`mCVFz^tp]wD[Zm?VEZ^DpEvt[Rl}VDZ[Dmuv`ZdlpUzzZdkeu|ZLllUqz[tlUvTZXlsUtz]Tk}vlZRlyUsZsDte|H\ZnPVVZoTxm{L]^nAVfZndxUz|]Vn?VeZmtwe{X\xnDV]zqTvMzh]NnGV[Zstum|T\nnSVZZkdzM|l\hmrVlZkTzEz@]nmnVjZyD|u}h^`nhVvzyt{m}\^ZneVuZ{T{U~L^HnqVpzvDz}|x^Bn\VoO?d}a~j^w?@VzO?t}i~n^y?@Vzo?d~y~f^{?BV{^