CAT(2174,1)

Sparse6:

:~?`}_?O?G?C@K?Z?N_FOC??{@G?R?P?COA_AC?k?d?K?GoG_Bk@q?|?[_NOFWB[@e?t?U?HoDOBC@[?h?p?ToJWDcAO@P?a?TOGoDKAS?~?`?RoG?Cs@I?b?O_\?LWEoBq@u?s_\?KgEGBq@u?r_Z_JgFGBA@o?n_MOFgBkCo@y@G_b_NwGoByAE@E_a_QGG_C]A@@A__oWOHoDQAW@Q_e_SwHwCeA_@J_g_QgLgD[BN@h?jOY?IkD_BN@Y?soUOLCDkA|@\?oOV?J{EOBB@b?rOW_KkGSBZ@n_vO[GMSFEBf@t_yO\_LcEgBn@w?toCwAk@Q@b?r_XOTGI[DICyAS@JoeOQsHSCpAP@IOcoQsHGCjAP@@O`?Q[GKCdAM@JoeOQCG{Cp@~@Do_OPkG?CX@y@BO`ON[FcCN@{@CO^_PSFsCRAw@X_gGUOIIDgA``M_kwUOH}C{As`S_jGTWIuDSAm`R?fGRWIaCsAf`V_gwSgJEDGAo`d?nOW[JkEBA{@`Om?WcJgELBD@[on_UkK?DnA~@ZOXwLKEaCLAF`AoaGPSGeE}BR@kot?ZSLkEjBR@kOtOYsLOEnBO@jOs_ZCLCEnBL@kor_ZSLkE^BF@dOq?XcKcEVBp@XolGUSN[E}Bm`o_{G[?M}FcBj`x_zG]GMuFaBg`x_yg]OMeFEBo`q?zw[OMyEwBd`r_vg[oLuGQC?A@p?__kOCGHB|@zo~o^KNwFpB{@yO|_^SNSFvCKAFpB_aKOsG`CHABPA?`[O[GTBm`wOzwaOPaGgCYaH`EWagPeGmCWaJ@Egb[PuGxC]aOPFwgOQCHLCaAQPGockNOHBBuAPo|OcSNOERBF@zOq?]kHgENA[@coeoXCHkBTA[?uOe_L[EgAT@j?doQOLcA{AV?m?coK?HSAy@`?naQPHgckU?A}A?_o?_WJoF}BqA@_|__GNOF}Bs@T_j_]wNGDYAs@U_k_TWIwDaAo@{_l?^gJGFuBwAA`A?^gOWFu?YAA`A?BwOW?y?Y?F_F_AW@o?a?S?F_E?AG@W?eKA?C?NoGO?sA??JDV?NoGOjKA?IpB[ABPA?ZsO[EzDYABPA?jcO[IvAt@DoloPkJWCXB[@Yov_U{LsDl?aA~p_?CcAKJ|?C?Qo@_C{?S@LE??SOI_n{AcJ|?I_EOAwJWVmAyD|_m@^GJ{EAA|EgA|p^GnkZO?H?E_AoUwJkDqL{E|BTpj?vkYsLzEpBYPkousZGLjEyB\pmovcZgLxE@BWp_ou[WGLdECbBP`Wu?W]L[EHbV`aGpSWqKVEoBGPj_qSY{KbEvBEpmOp{Z_K\EdBYPhousYWLjEUBIpe?qcX[KfEvBSPm?tSZcLREZBMPe_rsXcKzEcBNpgOsSYKL@FjBRphgsk^CLXElbTpnGv[ZiLTEgbSpy_}s]cNhFgBypyo}s^ONZFtBuP{?}{^cN^FmB{P{O}{^GNpFxBxpwg{c]MNNFdbrPo_|[[CNZFBBuPp?|C[WNTFDBsp{?{C]{NBFmBnp{Ovs^KM@FqB^ppoxS[cMXFGBdprOyC[{MdFMBgpsoys\_MjFSBjpuOzc\kM|FYBmp]wnkVqJ|E?a~qEHBS`eOvG\cMQHpCKa_PFGhCPQA`CcaWOVGdCCq@`C{__PRGFCSQ@PCsaSOFGCCQQF`Ac`KP@GQCNp}`@c^kOZF{CFQBo~k`CN~GOB~QDP?C`[ODGUC?pjguCY}LbErbXPhWs{YYLVEkbUqI`H[aoQZGjCeQQPDkcgP^HGCVQSPGkc[QfHEChQOPHkb{QXH?CdqOpICcwQHHACfqN`HSbsQPG{CcqMpI[dGPtHPC[qLhFCb]PjGscXqK@HsbGQ`GpCfpyG|K]iN^FobvQTHIkdYRmHdcyaXHMoeMQnHXckQ[`JkfKQ~H]CyQ\@KKfGRDHrCoQ\`JSdoRnHtClqYPL{egRbHjCwQZ`Kse_RZHfCuQa@P{gcSZIMDBqa`OcgoSLIJDAq_pNSgGRpI@C{q^`N[fsS@H~C}QePQChkSbIYDHQcpQshOSnITDKPWgkKUAJFDdaqPXglCU]JRDjatPZGlsUuJ^Doawp[gmcVMJjDvazP]GnSVeKxE]bMpgwscYIOLGGcBqAX@[_iRXHmcuqYXL[eiUKJHddapxXOkaUYJCdeAoxXokUU?JEd`ApxWGkaUEI|d^apXW_jyTGIfdPahXSOiYTSIfdSahXSoiaTYIgdTAjHTGimTYIndTakHT_iyT[IpdVakxU?jITgIpdZAkhUgjMTgIvdZAmXUgjaTmIyd[amxV?jqTsI|d^anHVWjyUAIad`AhHW?iMSwJHdNAqxXOhuS}JKdOarhS?kuWICxa\pMh`WRqH|C|eG`NwgCSEIFDCa`PPWg{SYIPDHadPQwhkSqI\DOafpSgi[TEIhDTajPUWi{TaItD[alpVWj{TyMTFKbdpsGyS\EPTGkcTqJXD{ayRtHxc{Q^hOCf}XuL@e`bNXf_sIXoL?e\BNhfGr}XuKte]bLxf_rYXoKqe\BLHfGrMX`KpeVrJxeKrAX[KveYbJHdgrYXcKieXbIXe_qmWmKUeKbDXb?pQWmKYeKbExb?pqWwK]eLBFxbWpuWyK`ePBFxboqAXIK_ePBHHcWqEXEKeeQbIHc_q]XKKheSBIxcwqiWgKkeVBDhdgpUUwKReGavXZWpIVwK}d~BOH^gr}VqL@e`a}x^OsIVmKQd{BCx]opEV?KOeFAvx`wlyVAKOeFAwx[Oo}VKKJeEaxX`_mQVMKJeEayX`_maWOJidtbAX\_oiVYKGdvbAh\ooeWIJoeBA{h]Go]WIJreBa|X_onQUoKCe@AuX_WliWAJVdia~xYooAWGJRe@AtH_WlIU]J~e?asXY?oA\YCnaUpJhuWREH`Cqf[`KwecRUHlCwaZrnHvszu\xM}f]rVPvCto\lL]FZr[pvKvG\tLpF\rl`j{u?\pMvEorlPk[uO\fMsEpRXpucuW\jLdFXrY@uCzGZRMpEtRZ@uCzGZZMpEtrjPlsu{\^LoFVRUPtstk\^LYFUrTpv[zcYpLUF\RS@tStG\XLPFTri`iktK\XMjEiRhphksw\PLNFSrQ`scso\JMeEdri@hCycYRMfEbrP@scsW\JMeEardPrCx[[rMUFLRc`p{xC[hMOFHraPpcwk[\MIFEr`Posw_[FMFFARfPnkxkZ~M[E~R]`sKvo\FLzFPRf`m{x{ZrM_E{R\@oKvW[DLtF?SC?fKRiHvCxa\PMwgKR}I@C~a_pOICORqHzC}a]PNgfkyi\XMjgPCIIDPAQ`EOhgQcIIDPAY`MOhgGCFIAP@y_aO\gMCCyAh@y_gO\gOcDyC@@a_}OUgNcEiC@@m`AOXgECDy@X@a_SOUg@cEi?H@m_COXf~CHX~xAY_?OfgPB}yCW~u`GN{f{CCyAg~i_gNxfycCH}x@E^kOQfprxX{c}Y^PNff^cBXwH?}]?OMgEboi@w{Q_[NBgAB{h}`?Y^eODfvc@y@G~E^_OGfoBzH{O}y^ANlfmbyXzw}m]{NifjbuxzG|i]oN[fiBsXyW|Y]cNTfdbrhxg|A]WNNfcBpXww{i]QNEaUpJwdsQyH^ClaXpLWecRMHjCshA`KGeKRIH`CpaXSBY@|?yV~K@e?R@H_[oIWPKIeCrBxaCoycIQJhEc`yOpGqcOQJhEcaiPHGqbeP~gyc_YM`GAbkQ@g{C^yMxGAcGPzh@C]iOXFecCP|hAC^iOXFqcqO~g^CdyR@Bub_P{gxC^iMHFubYQIgvcaYLpGacIPiguC`yOpEmbMPug{CYYMxEabGPrgrC\YKhFQbAPygpc]YKPFmcaP]hHcWIQPD}c[PZhFcVIQ@DuajPVgjSUIJTDeaWQPgecciHpHMcgPHgdcdiQhCiaKQSgbcdiH@HUaEQVhKcPYR@CQaAQOg`CbyG@Gy`bOrgXSLIEtBU`nOxg[SMyFdBi`UPQgUcTID`DM`[PNgWCSYDxDA\JMefQRiHs{ye\`MqfWrlhvCz]eGRohbCziWhM}faR@hxcoi]PKMe?RnhwCniVxMyduRqhxcnY]HJqfgQwh\C|iVHNUfgQthzCly]hJYdcRvhYC}YUXNadaRxhVc}IU@N]dDQ_hOsgySlIQdLQfhSSiYT\IidYRchVCwiT`MMfIRXhlcxyZPMYfURUhucuI\`L]fORRhtCtY\HLQe_R^hhCwYYHMAewRLhfcviZhKycsRIhMCrIRXKmeMQ\hccfyX@HyhMSiiSdJId@QmfwSbh|dGYcPNig{SciODHibxQUg]SZiGdFYb`PAheSLiYdBIe`OygQSoiXDAy`PREgKSTiCDDy_xPYggSDiHd?yaPOQg?SWi@DEi_HPefySlh~dJy^pQyimD^ampVgjkT}I|LOehRSXi[tUYhPPggSRyITDQafT`IrTWalDU?jNT^IqTXQjlTwjFT_IlTWajdUCivTVImtVqjLTwipTSIkTTajLTSinTSIlTTajdTSivSuIrTMAlDR[jNS}IqTXQfdRsjFTJIgtSqhlSoidTGIatQag|SciLS~I`TOQgdS?iFTNI\TSAf\SwhrUUAZPMGe{RaHnCugMSFiBlAE_~O_f^roXwC{I]HNBhqsxy[tMIfHRbhnswY[DLqe|R\hbsqYXDKieXRJjZdhYvHY]loUejPDlIupYQlEUtjTdfysHYql?UljOdiIrxYil?UhjWdfIuXXylcU\jVDfIu@Xyl]U\jLDhyshXmkqUejJDgir@YQkmUbjJdcyqhXakkUSjKdcyqhXikuUSisdbYlXWyjSUNjDDiIp`YikUUhjBdlIupWekOUtjZd`IvHWYloUDj?dkYoXZMkCUqjTd^io@Yuj}UkjVD]yu@Vul]T{i{T]YnTVUjnTujHD[ym`XEk_TqjFDZypxVAkYTpiuDcilpXEjYUOkCC_YN|GAcDQCh@tEyblPqgtSWiKtDYa|PYghSRiHUCr@\`CoZWQKEUBb@\`?oZWNKEUABA|`coTWHKKUABAd_golWHKItxBA|`cnLVdKKUDA{L]KolVaKIuBazt`?n@WNJnuCQz\`KmzWQJmTtyyl\YmhVQjhu@Qx|_[mbWEJgTrB?T_Om\WBJet~qxL_CmVW?JdTpa~|[_oBVFK?Toq~t[SnxVCJ}t~QwD[Cn|VAJ}U@Qvl_[l~WEJ^Tmr?T_KltWCJ]T{Q}l^GnfVoJyT}A||]snlVmJztuA|T\gnXVXJtt}Q{|^knRVyJsUWbI\dUqhXOkhUSZK@aMpIX`kQEVzK@aArAWakneGZJ``uqyW^knEFjJh`qosX[kLeVjGxdequXHkcEUjCpcEpOXBkReOjFpdYq?XWk^eTzEhbapsWvkZEMZFXbQpcW|k]EKzDxcQqKWpkaeKJHPaqqWWmkdeJZDHcypUXLkTERyplWyk^UOjHTcZMhhErkYNkyEcJOLgIs@X|k~u^jP`firwYMlEe]zPxeUrMYOkrEcZP`eIsYXclFEWzMPgUreYBkwe`JLpgYsOXolBeZzLXf]rYXxkuE]JL@gerSYJkseai~d^ynzV~k?u?J?T_QoFWDkBu@jQPjAseYplIEkjUpi}tYYwlZejjUXiitiYklYEizVHi]tOYylSemzS`jAtIYplREkjSLiItFY_lNUfzUXhmsyYtlYEfJR@jessYzlKemjUph]siYwlJElzJddyqzX_kouVzY|leupZSljUtZZPkauSZ[lceuzZPkUuwZFllepjWPluu}ZCl`evjZxkEt}Z]l_EvZXpjqt{ZOlfenZXXlEuYZRleEsj[PnEv?Zoloezz]hmqvmZmlzEzZ[pnIvOZslre{z[XmevUZcltExZ_Hnyw?[Bm@E~z^@nmvsZ|l{e~IidTYijVojxT{Y||]ynZXekruXZKTeQrFZMlgUrzX\kuuX[UMMVEBblp[w|[ZMIvEbadpcwf[UMGVDraTp_wb[LMHvBralowwh[JMGvCb`Toow`[LMDVBB`|okw\[XMAVEr_tpgwJ[[MBvFb`LpswP[|ATPJGd\XQkjURkYuLzEtbIphWrlKUejRLhUsnYUlpUwJ[LmQvFZdmffRJhptEyY\OmiFQjiPsmye\HmbFRJhpsayY\Fm`fQZghsmyG\ImbFOJgPsayM\@m`fOJgPsUyG\@mZfFzf@qAxA[xmffLJiHrYy_[tmWfSzeXtQyc[qmWFNZdpr}x][}mUfNjd`r}xy[jm]FIZfXqixs[gmZfHZfHqYxo[fmPFNJc`rixE[znA`IGc{QezG]DmrF`zkhwY{I\`mpf`zopuI{G\_mnF_zjxwIyu\~mmf_Zj`wAyo]CmlF_zjHwIz}\Tn?fTzo@tYzq\rm|f\ZnPvQza\wmxF\jm@v]z[\}mvf^JnhuuzM\imsfZJl@umHXCiaTpJGd[Qi|]]eNUViBtly[|\]hNUVibtlyk|\]]NSvfrt\xs|T]YNRVfBtDxk|N]VNPvhRrLx_|H]SNOVdRsTxW|B]ONDVbrpDwc{\]PNDvcrplxG{XCfaSpIGdCQ]HR^OMZvMJfLrixx[znbfrZx@{}}Q^MndFrjx`{}}U^Ln\fsJyPzu}a]{ndFpJwp{q}U^DnbfoZx@{M}Q^AniFoJvp|U}e]~n[FsJyHzi}c]xnifljyXz]}g]tnVvkJuLzI|h]rm~v_ZoDwI{H]BnmF|Jzp~Y}y^tn{Fxj{x~e~m^dnzfwj~H}Q~o^bnyFvz}p}E~i^_nkVtjy||e}v^Ynuf{Z}X}q~c^jnsFzj|H~A~S^noFf}kAH~r?_^zoCg?{@Y?V?S_Co?G@{@A?J?A_En}gBj~y?q~{_LoLGF[BI@n?o_[oIgCkAa@^?e_UnUVjjtl~E~f^qnvV{J|}Ah@H_kORWIsCmAX@P_hOQwHCC}Ad?~__ORwFcDEAh@B_kOPwIsCUBo}Z^NnfWA[@]?j?N_GoBWOcFeCP@|`BO]wOSFeB|@|`?O]wJSF]Bd@^_mO\WNsEuCD@p`?OZwLSGeBPAD`BOXwMcEEBl@d_xOWwUcIyCfAS`XokGQKJACVAm`EokgP{IIDRAk`RoigSkHYCzAY`OoeGR{KYDjBI`[oqGU{KADzBC`\oogV{F]Bj@r`kOrWZcK}EtBP`lOswYsLuEpBT`VokwUG?IE|Bj`v?@g[KMo?HBb?AOxG\[Mw?DBh`u?@g[~