CAT(3176,1)

Sparse6:

:~?pg_?O?G?CAw@D?b_QOHwCkAYAe@M_eoRwJGDIAb@O_hOSWICDQAj@R_hoTGIkEMBH@a_l_VwJOEEAq@__k?VWJoDYAm@[_w_RWH{CyAZ@N_fOZoM[F?Bd@m?woZ_McE{Bl@o?yo[OLCFGBT@r?soZWLcEmBI@s_r_\gKoFUAb@Q_gO`_N{FsCPAF?~O_wOkGQCKAA`C?_WOwGABn@x_{O]gN[FqC^AP`GOc_PKHOCVAR@DOdOPcH[CZAM@JOh?R{IAC|AZ@KOe_RkHcCxAr@W?igUOIqDaAj`W?jgTwJIDaAl`T_gWT_IIDSAb`RoiGTKIODZAn@ROhOTsKSB\@o_vodWQ{HYCdAS`HopoX[KSEZBE@eOpOXCK[ETBE@comWVSJmEQA~`d?oWX?KADyBL`]?qwVoKqDiBB`Y?pGUWKIDkBA`Z_pGV?KMFKBY`mOuwYGMMEeBd`h?xG[WK}E_Bd`f?xGZgLQE}BU`n?tW[GLeEmBa`o?uG\{NEF`Be@uOy?\sM[FZBq@so{o\SNOFVBC``oog^CNiFrB}@|o~O_CNoF~B~@yp??]{NwFlBd`poxG`WOEGWCBaD@?g`KO]GPCJAAPA__sOoGJCNaEpBgaWPAGcCTaI@CWaoPmGmCXaK@EgbkPyGxCd@TOjGT[IyD^Al`WOkgUKEUBN@e`EObgPkIMDBAa`OogwSSIQDLAd`iOtgYkNUFnBuaGpCgaCS?IFDAAapOOgcS?HzC~A`PN_gKR[HzC~A[pN_fCRKHtC{AXPMoeKQyH`CnaV@KWeWRAH]CqaT@Mgd?RqHQCzaS@IwdOQuHQCkaY@HWeoQYHiCfaT`HWdgQ]HWCeaY`GgeoQQHgCbaZ`GgfGQQHoCbaN`PWc?SQHADBa}?QWG{CaAX@J_dOUWJ[DiAx@]_moWGJ{EEBF@c_pOTgJCD]Al@W_jo_WOSGACpAX`LOnGVsJuFPBf`rP?W_[OIGpCUaJpGGb{QELGEgbQ`hwsWYYLCEcbQ`gGsGYMK}E_bO`fWsOXyKsE\bM@fwrWXyKmEYbK`fGr?XmKmETbJ@eGrGXQKaESbJ@cwqOXUKWEGbE`agpWWeK]EFbA`cGpoWYKCEGbA@agoWWeKCEDbA@`woWWYJrDya|p]OtCYWJvDyBRp]?psVWK`DvBFp]?qKVWKfDvBHP_?hCWCILDFA~pY_n{WCJXE?AtpXwlKUaJHDeaqp\OkKUKJfDaAyPW?mcVSI|D^AxpUoncTsJ|D[A}pU?nkTgJ|DXA}PT_mCTSJdDVAwpaoiSTOKZEKAhpRomCTCJdDOAwpR?l{UwI\DlAepQOl{SkJ\DIAuqAOGKCMAD@E_aOPWiSTQIfGOCBqCP@C_{OLGEBwqA?}[_[NdGOBwPz`AK_{N^FRbiptGyS\AMbGCBbq@OxC[cOFFCCEPp`@s[SOZGDB_pop?[[GOHE}CEPo@@sZ{OZEzC?PnP?SZoOBEwC@PmP?KZgO@GHBYplp@[_gLlGHBXQAouc_gLfEpB~pk?~kY{N|EkB~pj_~kYsN|FsBtp|_|k^SNXFgBpPx?|S]KNRFdBnpxo{K]WN@F[Bzp}Ozs\sNpFWB}P}_y{^kMlFLBlPuOx{[wMvEhBdPioxcYgMV@?__OOGFcBi@v?w_[oLwFkBy@~?n_WOJgDCAi@R?n_VOKHL_Am@Z?k_XoKgEKBI@f?p_ZOLGEkBY@h?tc~?LwFKBa@v?{_\Qc?F{Bu@|@F_coQGHKCaAN@K_dOQwHSCqAVFIbePqxRwg}TAILdOAbhRwhAT?IPdOachPOhiSUIXdEAexPOhqS{IKdDafXPGhUSOISdHa`xPGh]SOIUdKA`xM_f]ReHtcxA\hKGdeQmHacoAUHIweMQqHcckAXXJOeYQwHgcraUxLGdiQwHjctAUxJoeqQ}HmcmaZXJofEQyHncna[HK?eURCHbcoaXHLGeYROHjcraYhLofARWHpcuaZxMOfmRyHscxa^HMgfqRyHvczA]xN?feRqHyc{A]hOGgQSEIEd@A`XPghIS]IOdFAcXI_gEQkIAcia_xI_gQQiIEcjA`XHohqS{HOcfafXHWheQYIZceAehHCciQRHDcbqPhQocISmHCdKAOxQWb}SiH@dIAOHNo`aOsI?c~aEXNo`IS?GSc~aCxIGbqQeG}chANXEobiPuGwcZaMXE?bMPcGtcWaLHD_`]OiGjcTADhCGaQPKGacQaGxCw`yPQG_cSAFxBWauOyGncMAJgCSAQ@F?c_PoGgC{AY@J?f_QoHhd_CEAF@A__oOwGSCYAH@D_aOPgGkUuJ^DmawP[gmKVMJjDsa{p]wnSrOXVKqESrKpdSqkXnKhEZRI`ekqsXNKmESRH`dcrCXPKnERRK@c{qGWlKTEORD@cKp[X@KaEKREPcKqSWvKcEMRGpbSqKWzKdENrH@bsjcWlIwEIQlpakp[T|I~EKrE@VkpgULK[DcREpW{jWW|IsEMqlPb{pEWdKReGRBh`{osXnKKEYrL``[rOWRKqEDRKp`Cq{WJKpEBrK@_soGXXKmEARJP_[rkVvJxE]q}`fcn[XxJuE\q}@fkr{VfL?DyrN`]cn?Y@K}DxQ{Pf{r_V^KyDvRMP\kr_VTJjE\Qz@fKm[YBLBDsqy@gSiyT`IndXqkhUKiiTRIgdUqixTciSYBLBDRqh`gSkgU\JJDeqr@XKk{UdJPDiQs@Y[lSUpJUDlQtpZKk?VzJAD~QoP^cjgUzJZD\qv@VcmKVHJ`DrQw`[kkKU|J_Daqp@Z{iGV~K@DQQgp_CBQ@l?t_^oNgFkB]@r?w_\OMwFcAa@T?h_SOIgDKAq@Z?j_UOJWD[|ONzF~b~Q?h?K_AOFGDcAQ@h@C_]]CNMfaBsHwW{}]MNOffBpXxw{Y]ONRfdBsXyO{e]eNJfebsXyO{qYwM~f_BVhjg{E\iNUfiBlHuW|U]YMofXBqxuG{q\}Mlf_bjxw?yy\SNDfbbjHtW{Y\wL^f^BWXvguA]yMffnbiXzoyaZGMzepBmhvGuMZIMuerBmHkwz]]OM`fdBgxxGyI\kMcfRBmHuwyU[{NAfOBpHrw{M[uMxfMbmxr_zi[PMEfBr`HokwMZwM}f]B]xnOzu]kLxfib]Hy_v]ZkNXeyBtxmg|a]yLpfnb[xzovI]sLmewBvHlw|mZUNYeubvHl_|m]mLiesBuXlG|aYdLPegRTXi[tQYlLWejrUxjKtiYVLKedRRhh{suYHLEearQXhCs][WMXfFBehpgxa[QMUfDbdxpOxU[eM?fIB_hqOwEZyMNfGb^xq?vyRTHhctq]xNkfqSHIEdAqbXP{gy`ZOkgTsIIDLAi_YPQgFcTI@pDM_SPVgjCBI@XDU_MPTgCcTyIp?a^{PRg?CSh~xDQaqNxgkB}iJO~a^iPWfzcUh}pDeauNqfyCVX}XDqauNngmb{IJ_~E^@Naforwx{k}Q^NNefsRyX|[}i^WOogVBzh|hA}aIOdg`cHyG`AYa?Oag`CHIGHAM_}O}gOcNyC@Bu`wO[g\cFiFP@ua]OXggcEyI@@ia[OWgJCRYH`@]_gPHgdcDYAXCiaKOOgcCCiGx@E`mOCg[c@iF@?U`kOBgYc?i?HBQ^wOrgWb~X~XBIc|Q^hMseiRdHmdKQ_hSCgiSxIEcqQjhScdyR@IicaP^hHcWIQPDybqQSg|cdiNPHUboQDhBc\iMxGYcQPtgyCaiP@FMb_P~gxC_YMHGAb[QNgucbiLxHAcGPjh@cYiL`GIdEPfhQcYYS`EabGP{grC^iKhFubAQJhEcWiKXGqSNIHdCQbHPSgm[rMYfKRdXq{xY[dMSfHrcHqKw}e}RXhlcwYZPMAeyRXhlcviZPLqfIRUhrcty[pLaekRahkCxIYxMMewQqhnClIZhJMefRThiSmIVLJifIQvhrcli[pJUd]RahWcwyU@MQe}QkhVCwY[@IueSRLhfcrIXXKye_RFhhCqYYHKaeGR@hbCoyWhKIduQ~h]coIV`JygoK`ePRGHccqMXJKeeSRHxd[qiXRPBgasPIGTCEa@O|g^sNiFTBq`vOvg[sMIEtBQ`jOpgXsKiDtBA`^ShIOtHqc\Q_hDSbIRTGacdQChJS_IVTFad|P{hZS]ITTGAddP{hVS[IYtKqb\PshhSoILtFQeLPohdSXI\TEaf\P_hrSuIKTMAbTR[grSrHyTLQ]lROflSnIGTCQdlQwg^SKI[tBaf\OshtSfICtIQ`\Q_gTSEIWTKa`DO[hbSBiAt@I_DOEgDR|IZS~qfDNwhnRzITTJA^TNohVRxIRS|qclN_hHRpIIs{aa|NKglSTHvS{Aa|PWf^SSHutCa\dPKfVSRHsTDA\TPGfRUIFgRrhx{|E]fNQhBs`YOtGMcHQAg~s_YODFqb|P|jIdbYpxXQk[URjEdcIpxXIk[UPjDdeYp`XmkSUYjDDdip`XakUUVivt[YmDUqj\TlioDdIqhUIjAURjKdVYjxXmi{UYjKDVIqpTikmTZijdcijHXAioUPihdaYoxTEkOTQifDaYi@W]i]UGidd`Ih`WYiYUDidD`ih@WUiQUCj?dPYoXS]kCTEj@DOioXSQkATBi_d^io@SAj}S~i]d^yfpWAhwT}iiD]IipViiiTxisd\YlXV]jSTuirD[il@VMjgTfipd]ykhVujGT{jqDvYzd\mmpVXjlTwqs|YSnBVaJRTwqsTYOnBVaJPtvar|YCn@U_JntfQz|Xwn@U[JnTratD[olTVLJStpAyd[SmdVBJhtmqyl\[lxUyJjTmQxTZ[mVUwJctnQudZWl~U}JYtrquL\ClfVOJXTjawD[Gl`V@JVtiqwtYsmPUkJbtCiadPMgjSViJT}I}t^]oVWLkEUCQ~d`Kn|WQJ}uBq~T`?nvWMJ{uCQ{|`KnRWQJsUBa{l`?nLWNJqUAA}\_gnjWHJyT{b?D^?oBVpJ~tzR?l]{oNVmKBU@A|\]ooDWBJtT^ioDV}kBUBj@T`IotWUkNUHjCULBAlbGolWrKIUJrF\bCpzWoK]UKbDtbOpXWrKUuIRElakplWiKZuHbFDbgpPWfK[uHZC\aQp@W`kPUFRFDbgo~W]K[uEbF\`opzWZK]ULRA|`cpnWuKKTvy{D\ynBVbjpUNzGDbyqrXZklUVBHTdwqXX\KduVBG|dwqRX\KcUVrGdcWrBXDKoUVrGLeCqFX_K`USBItdCqpXQKjuSrHldSq^XSKfU[RMdfKrlXqKyuWbLteOr`XbKvuYBM|egrrXhK{UYrKleWrZXfKuU_BO\gGsJY@LAU^RNTfwrvX{K~pGgccQMM~F`boPvGzs\uV`JpdxQzX\{my_pOVgJSCyAd@Ud^QphWSjYTtIqjNTgirTXIklUMnNVgjstxI{t]Uq`XQkguRZH|cytkYol[EkjUxjEtgYmlYejzUXiutSYolTekjT`jEt]YflSejZT@iytSYclUEhjTXiUtQY`lSEgzSPi]s{YclOEhjRxiUtAYZlMegjSXhqs{YWlOEejRxhesyYVlIeezQphqscYWlIEejQXhesiYNlJEcZQxhAscYKlIEbjQXgusWYNlFEcZPhhAtkYElCEmJOxj]teYHlYeazU`givW?U_KODwBS@m?rZw?NOFWBdnw@@?^_Op\gnCV]O~G_cNQFHBk`mZVLkeurYHlSuea~P_gnSWYK\EIftRzh}S}I^LN]lRUgjTTiytlYqojWUkIUDzBL`arFXckpUXZKte]xI[jmUFHzdhqYxG[gmPfIjcPqexI[^mOfHzcpqAxG[[mPfFjcPpuwq[[mLfFjbPpuxA[WmJFGJaxp}wu[RmLFDZbHpQwk[OmKFCjaxpEwY[OmFfCj`ppEwe[ImEFDZ`XpQw][GmEfAZ`po]wG[ImEF@Z`XoYwE[Fm@FAZ_HoawE[Em?f@Z_PoQv~[?l~V?J^|nytqZzl\e~ZVPnqvK[imSeyJd@m]vE[jmUexZd`mQvCZyloe}Z[@navoZ\lne}j^HlyvmZZlyevJ]pliumZqlke|JZ@nMuiZuljE|zY`nUuaZqlhe|JYPnMu[ZnlgE{ZXxnAuUZkleezjX`muuQZplveqJXPnAvWZDluepj\pk]vUZCl`eyZ\PkIt}Zzl_e~ZW@nqvUY{l^EyZ\Pju{g?K_DoAg@k?}?\]_?HOCGALyW?f?T_IVhztDyY|L]gnRvJbs\ySx`[nNQVURptx?yt\WNFvUrptx?yz]NMmVgBityGyn]`MivSrsTy?yh\QNOvfRiLs{{~\ONNVfBhdss{v]YMfVfrhLxsyV]]MdVfBg|xgyP]ZMbVOrrLsO{p\DNJvdRgDxWyB\ANIVNrq|rw{r[|NKVMbqdro{l[zNIvLrq\rc{b[wNHVLBs\ySxl[tNQVcreLxCxf]QMXVaBoTwO{T]HN@v`Rn|wW{@]FN?v^Bmtvwzp\|Mzv]Rm\vkzj\yMyV[BlTvGzX\pMtvZbk|u{zR\gMuvWrplwkzD]KMovXBjtuWz@\dMnv}_A{@a?l?U_KODwBS@m?r?Y_LoE[@_@u?|?[_NOFWBdwy{`]NoEgCkAa?z?e_KoFgCkAa@F?e_OoBF~K@@~i~u_Fn}g@k@@~}~{_FoCg?K@Y?J?S_@oDg@[@I?N?S_CnXVlJu\zU|n]uoGF{K@x}}~[_PntgBZ|i?z?W^knsG?z|I?Q~S_Dn}fxZ{x~}~{^eo@Fwk?H}R??^bnnf~J{H~m~?^ynSf|ztX~e|S^wnzfjjt`~e~o]lnmF{Z}X|y~c^\nhftjyh|a}g^VnkfsJyP|m}a^YncFrJxH{i}M^JnbFrjxx{U}Y^Cn]fozv`{E|u^An^Fmjw@za|}]xnyFjzu@~Y|a^t_EoBw@s?u?\?N_DoBG@S?m?X?Iov_CGAS@E?d?O_Gv}Z}|~avRZjltU{j]dnMvjZvlzU}z^lnrB]`tozg[KMqFFBm`qozG\KMYFVBU`\ongYkJqEfB?`jopGY[KIEjBW`bovGX[LiERBW`eovGYKLiE^CA`Yp@gVKOQDnAm`rokg\KJAFJB]`SojG[[IiFBAa`gorGS{KyDJB?`MopGSKKIC~AU`\oegV{HaDzBG`GodGX[KYCfBq`Fo|GP[NACZAB_~o_WO{GeCJCA_{p@GN[OYBzBs_yo{GM{NIBf@k`zo[G^[EyFr@i`~oXg_KEaFzBu_oo}gKkNaBF@[a?oVg^kDiF~?v_\oMWFkCE@~@D_boOwHKCuAV@S_ToUGD{DY@Z?o_foSgEkBIAa{b]RnHVejrdxm{~]]nMvgzslyRFAaUpJgw{RAMJEqakpUgukTYLbEsaipSguKZIIbDIb`pRgw{SqMJDCbZpQGv[SYLrE}a^poGg[ZqIBEua[pmgf[ZaHzCub^pKgwKRQLzCTaKpDwb[P}GzCdaPpGWc{QmHREEbTpaGt{WiLZEcb?piGokYYKFEaa}pgGn{XyJvDsbHp]Gq{VYKjDmbLp[GrkVIKrEKaspcGlkWyJVCGappBGk{OiJJD[aFpWGa[TyGbFGcVprHE[[iPbGacJqHhB[aQOrGOcMqGHAk`IO~Gybxp|hF{^QPzFkcYqMG}KbYN^GMbrqAg|[_qNRF_b~pxH?[]IOBFwblpvg~k^iMzFScCpuH?k\YONFMcSpshDk\APVIA?`_NoGGCKAA?~\YmkVUZj\tuyx_foSwIKDUAr@VdIQgXScheSlIbdFQfXQCh}SdIZdIQaXRCguSlIJdHQ_xPsg]S`IDd?Q`xNcgUR|IBd?QaxNcguR|IHceQexICh}Q\I\cbQgXSccmQPIbc{Q\XNSfERdHvctQOXLscURXHBcqQUXLCduRLHZchQVxKSd]QhH`e??HoDGAk@M?j?SoBWAK?}?n?T_HnTvijtLyq|\]lpgwr{YEKrE\bLpcwq{XUKZEPbFpVWkKT}JFDfaqrOhb{sYXFLCeOrNhbKsAWzKYe]rDhdkpQX^KQeTrIHakpYXJKQeRrLh`kriWbKweFrKH`krQWbKqeFr@hb{oiXFKGeOr?HbKoQWzKAeLr?H^[nyWJJ{e@r@h^[nyWRJ{eDqhh\{iiVfIgdwqyHfksAVZK}dtrOh[[mYYNLCdqqvHe{mAXvJ]e[rIhY{qyUvKkdkqsHeKlQXjJQeXqqhckqaUZJMeRqqXWkk]UFJ@d^q|hVKjqVrIydyqzhU[nITnJodYqkH]{iyVrIkdyrxGY{LUEfBX`moux@{_mOZGDcCq@w~{_MOBFxb}p}x~S}u^\Nvf{Ryx}S}m^\NtfwRzX{d?M_LNhgARxx{c~u^PN~frS?XsC~e[xNzfNR|xqt?M_LMZgAReX~cxE_@MTf~Rcx}Cwm^dMLfyRbxn{wE[FLxe}r]xzsvM^DLvfoR\Xlc|u]pLpflRZxySu]ZTNVfiRYXkC|MZHNVepRtXjc{}Y|NPelRrXic{}YpNPejRrXzss}^DLRfoRSXzcse]pLLflRQxuczm\pM~fZRnXts{E]HMrf`RkXwsye\XNJfcRixocyM[PMffBRhYRDFmb~P|gys]YM|@icfO]hJsFIQlHI_jQUgKsdIA|Gq_fQOgGsbi@|?acZOIhGsbi@lAIbJOcgrsGIK\DqcBP_hAsViO\DAcNQIgisaII\ByaJPGg`sPiGLCi`rPMg]sRIF\BIbVOugssLILlAqb^OogxsJiMLAYanOiglsIIJKm}VfJpdzq}X]lLUerRVhfssyYLMqeRRKhwsqi\|KIffRuhbspI]lNYdFQ]hxsgI]lMqcrRohMsziR\JYdzQyh_smIV|LidbQshnsvIU\MYdVRihVsyITlMAdJRchRswiTK{}]bNLfhrtxyk|e]zNZfnrwx{LNaiFRyi_s~IglSIh^TCiXtOIeLRihRS}iUtNId\QIiRSeibtHIh\PqhnSwiOtFielP]gvSXiHtDYaLRQgVSwiFtBIe|RigJS}iCtNI_|NyiNSAidt?IhLGucbQNhHsdyQlSuibTNjBt_yolUakZTcjCtXip\Wai~UKiptaikLTak^UQimtcIj\TIk^UQiitcIi|VAjnTyiyt[inLVqjVU?ivt^illXQlfUWjZtdiulZylZVAjWtoIt|YAlrU{jQtgiv\Yak~UijMthir\\YmbVSjltsizL[QmVVGjftpixkf}SBH|fYrmXu{zE\^MrhNsgySLHeczQZiwt\Ym\Umj^Tlk?UBZ?d`EoDWNj~UAz?t^moPV|kAT|Z?D^]oDVxjvT}y~t^Mn`V|jtT|Y|d^enPVvjsTzy|d^MnTVpkBTvZ@D\}oTV`kETwzAD]]o\Vdkf?BoAW@EVvJ~d}sNyG\CE`rOzg]s}Y^\NugBSBh~tdYrLX]kvU^jMuZjN\fArzXkk{u[jK|fYrVXsksuWJK|eQrVXaksuUjMLeqq~XmkmuWJIldarJXUkpuUjIldaq~XUkmuDJG\`YqNXCkHu[jFlcArnXsk^uMjNlbYrvXwk[uKJH|bQqfWqkguIjI\aqqbWmkfuRJClcapRXIkRuOjB|cYpFXCkOuEJH\`iqZW[kcuv_@G?s?VY[lnugJ[\hyvBZ]lJuej[\havBZ[lIuujQ\hAurYIlhubjY|gqujYClhuaJY|gYujZ[k~u_JZLgIuvZEl\uqjV|katzZCl[uljW\jQuBYmleukjYLjAu^YelSugjTliQtU?N?H_CO@w@K?b[qmOVJZcdrExD[nmRVJZdTrExP[nmGVIzctpMw\[hmEVGz`DqUwT[`mBVDz_Tpewh[Dl}VEzbtoEwxZ~lxUyZ]dmUv`ZflzUyz^Tm}vpZl?C_BO@W?c?Y?JmyUPZG|cMqRXLkdvWjmLuYzf\cmvvYJmLuqzf\imvvQjn\syz~\Km}vYJjluAzZ\]mtvXjj\uQyn\amkv\JiLvayj\umhvQJmlvayN\umav^JgLvyyF\ym^vKze|rUxz[xm\uszY|lUurZ\llvcJwlwq}N]Mn`vnJr|yI}B]_n^vejw|{I{z]WnavnJq\{A{n]}nIv_zolwE{N]JnCvmJt\zi|^]unUvhJuLya|f]enYvzjx\{q~b^kncvxjz\}i}~^gnmvwjyl}Q}n^Wnovrj}\|I~n^Onyv}K?l~r?R^yoBv~k@]?B?Z_Mo@vJZeLq}|r]znZvkZulzN@P_\oUWG[DU@~?x_boRWG[Ce@~?d_boRWD[Ce@F@P_VoUWE{DU@fAX\rmwvZz{|}e~V^`nqvw{JECvA``\olWR{IEDVAl`LohWR{DuCfAL_roWWQ{IUCFAl`DoiWO{FUDf@|`\o]WU{HEBVAL_xodWL{PEEbCFaEoqwXkOmGRA~aAopw`kKMFrBna?o|w^kNMEjBb`moywZKM]HjCRa]pEwfKP]HZCbaSpFwckRMCfAV`FpUWg[UEIND\adpVWh{TUJFDPalp@w`{OmJw?Darp`?@kUmK??Havp^?@KVG?JEDa|p_?@kV^