CAT(2744,3)

Sparse6:

:~?iw_?O?G?C@g?h?T_JODwBK@a@K?M_GoCgAC?}?f@@?EoBG@[?y?b?N_HOCwACDW@v?{_]oNgGCB}@Z?p_WOJwDcAy@^?k_UoJgEKBA@f?r_XOLGEcBI@k@M_Z_RwF?Ci@s@J_e_MWH_BUA[?|_f_NgF_CmAW?z_d?OGHgB}AH@D_bOPwHKCaAE@M___QgGOCmAW@B___RwGOCu@M?t_Z?HgEwAa@o?h_T_MgFGAi@?@C_O_PWCOCa@E@E_Q_QWC_C]Co?y_ZOLwFCBe@j?r_YOKgB[@u?t?[_NoFgVGHICfAS`JodWQsHIChAR`JodWQsHuCtAX`KOewRcICCpA\@POeOSsHgDFAd@Loh?RcEEAx@__moVgJ{EIBF@c_qoXwKsGgD@AE@NO`oRsG_C~A_@DoaOR{GIC@AD`?o_wOcF{DB@z@POh?NcFsDF@y@ROhONsFEB^@o_xo[gLsFQBj@u_zo]WNCE_CX@h@Eob_LSEsC^AP?uOc?L[DcAb@Q?jOToICD_Aj@Z?iOU_I[PW?J?E_CoAg?{?a?X?L_EoAw@[?qBt@z_}O^WN{FyAn@U_kOUWJ[DiHsCgaUPIWdkQmHTCeaPPGwckQQHNC^aMpGGcKPyGxC_ALpF_asQCGnC^AKpFObSP_GxCLaHPBg`{PAGbCLaFPBwaCPEGdCTaHpDGa[PQGjCJaBpAG`SOeGXCFAPPAocsO_HFCKARpAOccOgHJBrAKPDo\{NGGrBsALpD_]CNCGtBh`tOzW\cMmF\Cj@fPI?X[QcEXCi@eos?dcQsE^As`YolwUsJaDfBf@noy?[SMCFFBe@oOv_[cLsFJBS@[osOVcLGD|Az@jOnOYkJgEfBZ@`oo_ZSLcEHB[@^ooOZCK?EnBF@|opO^cNsEPB}@dOqO_CKWF~CA@Uojo_[J?GHAqAAokO_sOCD\Af@yoi?]sIcFnAi@{Oj?^SIkFrFIAHpDWacOyGbCOaFpBWaSBm@|?{_^oOGFkAY@N?h_TOIwDCAE@D?c_PoGGCkAE@D?c_PoGGCk?Q?H?C_LoFWBS@}?x?]`]OmwVKJuD|Ay`^ooGWcKMEBBA`yo|g]{NaFtBx`vo{G]SNEFfBs`poyG[kMQFNBe`iosWYcLIElBR`jouGZSLqEvBX`aopgXCKeENBI`TOhwTKIqDPAj`VOkGUSIuDbAn`[OkwUkJQDlAvc[AIHCcaUPRGfcRQL`BCb[OrGZCZqF@E{`sPlGYCZQC`@c_{OlGRCEqDP@s`?OhGPCJq?`D{akO@GiC?qJP?[_SPXGCCVP|g}c^]NjFxb{P}g~{^mNzF}b}Pz`?s]{OPFoCBp{P@K^KOVFqCDQEo|[]oOpGYBtpzPBK`sNZG[BuPxg{k]]NPFibspzozS^?M|F[BxPuO}[]wMzFZBwqF_y[`{MhG_BiqGOy{\WPFFWCPPu@As`KMhGSBhqDOys`[MnGQBips?zc[sMrFNBmpr_z[\GM|FYBgpqWxK[]MNFGbcPopE[[GP`GsB_qKOwc[SPjGqBbPvowCZ{NDE~BoPwowC]OL|E}Bopm?w[[OLtFAB[pmows[SLzE{B_qK_eKbKH\GpAVqL?eSb?H`CrCYpwoec]OHjCuBoPLoz{RcNDCwBopg@Cca_LJGdBPPgPCsYKPRGfBQPe_uSXkLjE[BYPfOusZ[K|ErBNprOps[wK^FOBHPs_q[\CKbFNBGPq_qc[gKjEUBdpeOxcX_MXEVBdqF_pC`{KRG_BDPapCKWsPFEKCPP_`DSWKPVECCUP`PDkW[P^EECVP^GnkVyJ~E@b?P\_ucV[LjEvA|p]?uSVcLfDyBZP[@@c`?JfDpCFP\P@k`CJhGNAxPY_vCUkLrDkB\PZOvcU{LzDmB\pVo}{U?NjD`ByPWo}s^cJDD]B{P}_jK^kIpF{Alp~ojc^sItF}AmpT?uKYoIdDTBUpj_i[T[L^DUBWPx_kcUSNRFdArPxok{]gJRFgAsPR@?CSsOBDMC@PRp?[_SIbGCAgPOOuKYoIDEmA`pjOgcS?L`EnAaq@_fSRwONGHA]qA_f[__HxC~CDpQotCYWILEfAbpiOhCSgLTDHBTrIotcYuL\EnbWpkGu[ZQLjEvbXPlgw{[eMP?D_BOAg?{?a?R?D_BO@w@C?i?R?M_GoBwAS@M?`@\_mOVgKCEEA~@b_roXGKkEIBL@g_tOZWL[EeBXCnaWPJge[RIHbDHadPQwgsS]IPLoEtRZxl[uuZXLmesBVxk_tyZIL_erBWXlGuMZMLaebBVHjgsmYqLGelBQhgwtaYuLHeoBOHjosEY}LAe`bWxgguEYGLaerbIXl?qaZKKiesbIXk_qiZIKgeQbTXcotMXILVeRbTHcotYYcKfefBGxh_qEY]K^eOBRXcOtEXGLOeKbMxfOpuWsK}eLbNxfgpyXwK[eNbOHcWsUXCLCeOBOXc_sIYEK`eJbLheOpYXaKUeJbKxb?rQWoKteKbIxbOqqXYKZeVBFHe?pyX]K\ebA{hgwnMYOJsdzbQh]osmYQJtduBRH\gtEY]JpdvBRXi?m}Y[JodrbThigmaVQLVdtbTHiOmiYeJedgBKxXorEU]KqeYAshYWrYUaKtdWBZHUOuuZSIpevakxUgumTgLmdTBLxTWr]XoIle[AjHfGiyXqIndKbIxe?hiSuKkeUafHdohuX]IWdHbUXQOtaSgLYdJBVXjWh]SiL[e\abxfOgqSYK|e]AbhfohEX}IOcsBZXLGuiRYLkctBYxlwemRWLmcoQVHJsduRBH^dNA~hRwn}T?K?e?agX_OiMWEIad{AtHYwneUkJ{dia}hZGnuUoJzdZAohUwkMToJCd[apXVWkYTsJFdoAhH[Oi]VAIedpahXTGmQVIIgdBAqXP?kmUSIIdCaqHPWkuUWIFd?AuhOGlmSCJ[d@avXOgl}SGJ]eBAZx_geyWMHoeAA[XMWoeRcKGcpAnHKWjuRGI}d_aXXKwkAT}HecyASHIGfUQcHuciA\xIWfeQiHwcdBAhH_omWWHNeEaRh`wcmW[HLccbDHa?cQWaHDcbBChGwpUQOKRc_AUXFod]P}HUc`AUHGWdmQAHYc|AMhF?fmPqH{c\a^XF_fyPyH~gdbDhbCp]W~K_ePrHHcKqIXJKeeRoJgEKAq@`?n_UohwTKIiDVAk`SQThJCdeQnHZclQSXI[dUQ`HSchQMHFKbiPxG|c\sUQMTD[b^PYGxsUAMDDobhPZGwsUAKlDkbLPVGrsWqJLEOaxPYGsSZqIdF?ahPpGisTaMTDWbhPrGisXAH|D?bPPbGfSXQITEWafPPGrsZAHlCkbRPKGtSRALlCkb\PLGtsWaGlC[azPGGnSPaJ|Cgb@P`GcsEYBl@m_tO[gKSBAJlEG_^OPGnSBQJ|EC_`OMGoSP@~k~{aDPAF|R~aGdCK^vPBF}SPPyDCW]bNQGbrsqHC|SaTNSGcsZ@xc{wbRNIGtSZ`x\Es]^NLGtsRptcysadMpGfSS@ttDK\^PPFWR]xmsv]ZpLxe|SI`{TAs^NOjFpsJ@{dA{^JOmFrRyP{K}_]xN\FtRw@|k|w^XN^FtsH@wdAS]JOeFbRqADK{c`PNFGRrnaFcz{`zN?G^RoQF|CC]FP?F`SL`vDB[\rOwF\SMPv[zs`vM{G\SAPuszG_LMrGBsA`u|?k\hMtGCRgAECyO`fM`GWsLPskyK`hMaGXRzprSxs^dM[FvRep}Cx{^bNrFNRdAASxS_fOVFJSD@q|@S[rOUFKRbaBt@{[^MOGORcQCKxK`FMQGPR|@pC~S[RNuFDR|pp[~c[ZNwFERt`o[|[[HMAFlr`PzCw[]tMEFkr^A?Cvs_BM?GAr^a?T?K[BL~GARh`mCy[ZdMgExr[PtKykZjMiEyTFQGTCQaFAQ`HodWQ{HYCh@Q_goTWIcDAAfDQahpTGikT]IlDWalPUWjkTqIvD]anpWGkKUMJDT?IPDMycXRehGS{iODMIcHRihySdiODJicXRAhWSdiPDJyc`REhASliMtFyblP}g|S]haspiW\K]ePRCiCdDyb@OUgSSXiMDAI_pPmgMSYhpDEiaxMEgoRbiKcxI[pPmfIS[i^cviZXRyewS~i^CvYfxMAh{R^iRctid@LUemSeiScuIZPQmhSRXiScsiXxQYhMROhgdIidXLQhORRhcsriXTKueVRKiXClyeXJadqSsh\DLYV`R]duSuiXCeYeXHqhgQZiYcfiepHucsSvhEdMIQPRqcaSzhFDMYfhG}c_SyhBdJIP@QucQSmhDDJyP`REcUSohwc}I]XMyfgRnhwC|Y]PN]fkRlhWdAyUPOqdeSLhYDBiUpPAdiSNiGchYaPIYgeQfiJCiYahIiggQgh~cfy_@IAgAQ`i@CgiS`OQdESBhKCoIVpHMciR@h]cdIQpKId}QVhTc_YOPIqcEQlhVC`iO`JAd]QDg|c}YN`NifuP|h}C^i^pGAfyP~hrc\Y\@FYbmRhg{CyiNPMqbqRjaBpAG`KOiGXCJjatqIxL[QmLVFiiTTYi|TMidTUjRTiytTYelNUgjOTgYsTYMlJUcifDqYw`S}mITPjbDSIh`[]iYVGjUDnithZ}l[V?j`dkYwHZAmCUnjKd`yoPXQkiUBjJD`IqxWUkoUEiwDaImHWekSTqjDd[ymhWujgUKitDkylxZQjWUqitdlYuxUylkTliqD^IoHUYjIT|ird^ilHV}k?TginD\ijxV]j?Tyi{DWykHVmjCTxjGDVYppTek]TYjGdUyj@XMkcT[jLDPirXS]iOU[icdfYhXX}iSU]j[DOIvHSElsTAj\dOyvhSUlwTCkO`oWwS[MMHFEbaoDWAc@Y?n?X_KP`WosWIKFEFbAP]gnKVYJvDva{POwgkSAIBDCa`R[HmKvMZdLteyUNzGTcAqBXBkaUIZC|aapVWkkTUIBFLbkpNW{KTuNRDLbwpTWyKUUMbCLbkpDW{KPuHBFtaWprWdK]uKRCDb?p@WnKNuFrDlbGo|W]KVUNq}dc?njX@JzUOa}|^_qFVxKaTxbEd]GpjVbK[TxBE|][plVdKXuKqzd\spjWsJnULaz|b_nBWvJoTuyzL\]mpVUjlTsRDlbGmdVRKVUJqydb?mjWpJgUGQx\[opDVLKPuHAxTaWm^WdJfTyB@d_{nXVlKGUCQ|L_wnTVjKEu@bAT_[ofWGKIUAbAt_konWHKIuEq~|^gopWXJ|uEa~d`snzW[J~U?q}T^CoDVmK?Tzr?L_SnfWCJwUGJBt`}W|K\eMREXbSpmD^Ao`VOjWUSJEDfAv`ZOmGUcJUU\JRdfqshYKlASLIFdCQaXP[gictQZhKsfYRtHqm`VSjitsYyT\MmTVNjdtrYxt[qugZEldUpzXDkmuRZKLVUrRT|jKu`ZMLWUsRULk{tdYgLbUqbTdkctVZJLUuiRXDiguNYgL\UiRV\igtxYjL]unrTljwtXZ@LPupBS|kStLZALQuorSdk?tDY_LgugRX|i?uZY`LfUfrYDh{uXYXLhUerY\houfY\LhufbYThgudYrK{u\RTtfgtdXuLWU\rULf_t^YtKvu[RUdjWr`XqLZu\BVLfKtpX\L\UVbV\d{txX_L]unrKTjwrBYbKkugbJDiSqtXVLQUUrS|dotLZ?KeUoRHtd?uDZBKfuQrWlkOqZXELZUPrVLjOqPXHL[UPRUlj[qTYLKpucbKleWs\XcLGuYBP|e[s`YFLHuaBQdgcsjYILJUbBRDgksnY?LAU_RN\fssDX}L@u^BOlf{sLXRKtuSRLLdOr\XQKtUTRLddWrZ\?GbsQIHTCeaLPDb[PmWvSZmLzE{_IoDgA{@Q?r?W_gOSWISDMAj@SaVPKGd{REHfCqaYPLWesR]HrCwaqpYWkcUYJNDga\PMwfcRuH~C}fwRzh}[}}^bNqihTSyidTUinTUieTRYhtS}ibTOkzu]jNDfYrrXtnIF_jo\wQ{J]FnBV[rnDvgzj\oMzV]Rmdvkzb\qMzvXbndu[{B\cM}vYBntuSz~\hN?VVjj|uAzD\`mpvXBjtuSy~\eMoVXrkLuKzP\hMpVUBo\tc{D\YNBv`bj\wSyz]CMmVYbhdsszV\nMfvRbldtCzZ\mMgVUBgttcyN\YMcVUrhLtsyV\[MdVOri|sOyf\QM_VPRidtWyB\AMivMrpDwcxz]IM^VNBp\rg{Z[~NEVMRplr_{X]GMYVaRelr[{T]JMZVaReTq{{Z[oNDVaBeLrK{V[mNEVSbbdq?yn\RMNVFRidqCyj[^MjV[Bb\pgzj[UMxvDrmLp_zh[XMxVCBmtpCzn[QM{V]Ra\vkwj\yMIVRR_dt?wR\NMAv@bhdtCwN\MMCV^B]Tvsvf\}LyU|Rn|n[{BZuN?UxbgDmkyFZiM`UxrgLsOvP\DLsuwBlTmCzVZaMuUwrllu{vJ\mLqUvrgtlsyV\FLnUubhDlkyT\HLmUtBf|lWxvZVM]UtRflrgurZWM^VGbdDqKxR[cMTVHRd\qsxN[kMRU~b`ToGw^[BMFVAr^|oCwX[?MEuzB^DmsvxZmL}u}R\|nkvbZyLwWIaa|PagrSYiMTExdCqiXRHgcsqYhL[eqRZQ|h_SnyVtKEeDV]jmTvyzl]En@VUjjtuIzL\mmtZSliuuZYtlaun`VOhWS[I]DZAh`To[gP[FQCZAS_{o\gP{HABz@y`HoYGOKEiCJ@}_roZGPKGIBb@m`BoUgMkDqBz@]_{oTGM[DYBn@W_|oSgQ{HaAVAY_eofgH{HqARA__godgEKHa@fAY_\ogGE{Hq@rA]_Yoaf}kGp~nAS^~obf~J~iCe~{`GojF{[IP~BAi^rnvGSZ}QDM~]`SnhgSjyiDFAe^OnggT[Ip|Q}c`Sn^GJ[DP{I|}_noTfoKDp{F@W^BnZGKjuQBA|e_onYGKZuiBI|m_pnRgL{Ehyn@g]inRGMKEpye|O_ro^fgKG@yFAA]ao`FgzsiCRAE]cnIGHZqiAY{k_foQFd{DHxe{o_gnGGBJqY?}{a_LoFFbjpy@E{c_OnrgGkCX}Z?{^aoNfw{C@}V@A^cnnG@Jza?A}y_@nng?j{I?U~?_Bn{fuz}`|Y~i^VnzFuJ~@|i~m^XndfzZ|@{i~Q^KntFrz|X{y~W^LnaGCkAX{U}K_SnbgDZxI@]}O_UnUG@jti?^?O]moCfjzuA?i|a_JnLFmJrXze{w]yn]ffjv`x}|u]\pq@ngwCZ}HhCtaZPLwfKRajlTvi|T]In\VeqVXLkeURjIDc}qJXEkcUPzHTce{`]PnHVczp|wy|L]gnSvhztTym{j]VnIVdjrLxbGecEqDX@{`EOVGRblP{w}c\uN@Fvb{PxW{S^uM|FzbpPuWyC\uM\FZbnPtW{C\]NHFRb]QDxBC[ML|GZb_QFxCC[UOxFFcDPnX@cZ}O\F@cGPoxAc[]OdFDbNQDwsC`eLPG^bPQExCCYULLG\bDPywpc]}K\FpbCPzW{sXEKLFhawP~x?CU}JhGBaxQ@Wms_eJpGFcPPWxCcU]PHDjcQPYXCSUuPDDdb\PSwusSuLlDJb[PRwvCTULtDPbcPKwxCRUMTCvbePNWxcRmMTCxaLPrwbc\EG|FRaOPtWcc\eHDFVaCQ@W_S^}GHG@aBQ?w`c_eGTGF`bP{w}cKeNlBJb{OrW~cLENtBN`YPywUC]]D\Fh`[PzwUS^EDlFl`vP^w]SWUJtBj`uP^W]cWEF`EBbTPTwtcTeItEnamPkWucUELdD^aFPNwaCSEIHCVaHPOwbCSeILCT`nO|w[sOEF@Bx`pO}w\CN}FHB|bHOswZCX]KhBT`jPeWrcLuEtEZaROmwdCJuHTA~`_PJWeCKUH\BBeSQVhc{dqXNHUePrGhKKdaXJHYeQqWhZ[eQUzHednqYH[KeiVJHkdpqth]KmYU^JQdtqsH\KmqUrJSdvqohU{kQTrIydbqnHXKkAUZI}ddrEHQ{hIWnISeLqeHbkhqXBIYeNr?hOKfiV~H{e?q^h_kgQWRIAeBqZhO{gyRbIOcxqaHMkfaSZIIczqihH[cqTZHMdVqShUKdATjHSdXqNhR{cATBHAdPqiHGkiYQRIccbrAhE[oqPjGueFqMHaKpQPzKQc\qJh^KaqVvJ{cTqHh][nQPbGgdzqKXD[a]PZGhcVrkXu[yu\^MvfYrThu[zQY^LSfZrjHhkzAYbMmehrgHekyIXnMce[rhhf[ry\VMge]rXHqkxYZNMWesrYhr[uy[~LkfMrUHnktiZ~M?emr_hj{wYZFMCeorPhnKsaZvL?ewrOhm[vQYVLCezrIHpKqi[VKkfErJhp{rI[fKofGm]vMjf|rmx|[{okWT{JeDnAt`XsIIBT?u_|ORgJSEYCD@U`DONgMSCY@s|E_dNRgGRtY@c|]]tOVfkSDX}dAU^pOfgRR~X~TA]`HN~fzSHXvd@e_tMxgNRmyCS{E_xM~f`SGXzc}e^`NdfnRyx|s}]^DNlfxRwY?c{m]HO@fbS?y?s{e_TNNgCRrWIKC}AR@L_hoQvczqLwy{^]QnGYNTFuc@Ppg{S`yMTGMbhP~gzS`YEdF]bhOvg{SMYNTBmbdO~g]S[YHdFua\P~ggS_YITGMalQFgiS`YKdDebLPZgmSYYJtEmbDPngoSZYDDCEaPOjgdSJYGTA}aLOrgWSPWvkZ}MFF@bbppWu{ZmLrROhassiXLLAeNRMhisrIYlKiefQYhbsdiXLHye^RIhKsrIRlHQeJQ_h[sgiV\IQdzQeh^siiW\IaeBQGhUsaiT|GqdbQMhXsliQ\JQcbKdeRrGxvKzm\zM~f_roybdPAgVSKiBtBi`LPYgRSQiBtDI`\Paf^SWhwtEI]\NagvRuiLtEi]lOqfFSMhqtCI[|PIfRSShusyia|NienR_iAs~IZ|NyerSAhlt?IZlQahjSiiZtMIdlRih^S}iXtNIeLSAgzTAiNtPIcLQIiNSeidtHIhG?IipTLif?@Ij\T??LT\ih?@Ijw?IilTbii?@ikN