CAT(2448,6)

Sparse6:

:~?eO_?O?G?CLwEzB`@oOvw\wM]FFBd`qOyG[sMeFVBk`vOzW\SO[GBCDaBP?g_[OQG_CLaEpBg`sO}G^CGaCpAg`cO]GVCdAMpFgbcPqG|C\aGPDWaKPMGhCQaKpDga{PiGpCZa_@Lwe{RaHrCxa[PGWcSP}HHC_aPpKweSRYHjCpaYPIwdcQuH\CoaVpIWdSQUHNCgaRPX?jsUIJ@DbanpWWmoUuJTDjauPZwlsUiJZDkavPYwl{UQJJDeaspYGk{HmCxA\`NOgGR{IIDFAc`QogWSsI]DRAk`ToigTCIuD^Ap`WOkgTsJUDnAs`[OlgU[LWJvBQA{P\_YcLCJrBRA|P\oYkL[J|BZB?P^?ZCLcJ~D|@lOv?oKWGEXEB@ep`?X[WWE\BOBAp`oX{KcJ`BDAwopomSKWJfDt@dOq?mcJyDxAx`\onWVSKCL~A~B_Pn_WcKGMBFB@_Po_W[GSCRAC@Do_oPSG[CXAE@Eob_PCHKClAO@Ioe_QSHCCnAS@KOeOP{RmHxCya]pNwfsSoIfDLAhPT?hsTSI^DVAgpT_iCTaIqFaalPx?j[TuNKD[a`@PwgW]_IPDIAapO?|OSYIQD@ad`P?|cV?FuFa`}@womKNsNGDq`~@xOm[VSG?Ff`~`x_mcYALBEabPphWscXgHsESbL`N?qkXWKyC|a^@dorcXcHuE^a^`e?rsNwB~B{@?P??OSNsB|A@@|o~oNkOCBn@wAAo]O_[FgGL@{AAO]o_SP{BgG?aO?\P?KQCBkGB_w`G`?S_SBcCccA?[oc[EkMl@lBjpu?LcEwMr@oBloZozS_WBIF[cC?Xozk_[BOF]cD?YOz{EWOUF`cC_Y_{CU?Ni@^an_X?}cUCNk@`_p@W_}{^cBEDb_o@V_~CDcK[GQ_l@bpA[DkK_GS_m@cPA{`SA{ER_m`c`AsDKKOFU_i`aOy{\_AkEI_j`aoz[WsMs@S_k@b?zKC{Ng@H_e`|OH[CoA[Fu_g?Q_}{^cAc@G_g_Po~CgOS@I@d@q_hN{fyRcHxcxa]hM_fmRiH{czA]HNgf]G?Hp`}aZg^_e}F}Hkcw?}w^oeuROC@aBAXhLOOQRUCDcr`?hLGOMHVClaWPJgd{QqHJCfaSPIWdSQYIOIFdA@PwgogUISIEdC`QwhGgaHvC|a\PNgf{RqMVFKbdPrWx{[yM`FPD\PsgyWjqMjFSD^PY`KCUkRBDmCpPZ@KcU{RJDlCpp_@VCjcJ|IsA~qlOncWCTlIvA}pgGscYMLBEabQpnPNcZcRpH|B\pm@NSZoRvEyC{pk`JSZKQvH[BYqVOucZ[Q~H]BZPiWtCY]LLEjbTQT?IKdSAd@MCjORpJKCsQn@OCkOTGI[DUAl@V_kOTgI[D[V`Jp?ioTGJ?nQB_IadP_ZGLgiUB[If_vahHSoEmC@@|`@O^gN{GECRKA@DOax__GqC\KE@EoeGQkHiCrAV`JO_pH[GSQPAECco`@HSG_QXAFCeo_pICdCCJHQ@BO`pH{G_Q\ACChogGRcHuCvA^`NOh`ICdCDJAcCfQRoS[dKDDHQ@OojgTkJEDdAo`VqwOTSmGDVAkDnQwoTCm?DRAfDnolPGcc[DnHB@[QP_U[JOQDAuCaqW?V{eCEDHa@_qXOWcK?RHHb@`on@LsJsRXA}Cuom`L{JkRbHo@[oq`dKKSXLBEERoqPd[K[XPBGETOsP\SmkEdJk@hqz_Ycm{ElJl@iotPGKboEfBSC_OsPF{LGPzG}@jOtpGcLkQJHF@kqO_ZSLoQFHE@kOzw]SNMFbBo`yO|W]sN]FtBw`{oO`b{CWWz@@ENOPPbcCKWv@CELRV?EkBWYz?wEnOMPkCB[ZB?yEnoNpkSC?ZFLc?\rXoFsuW@xLd?]oK@^koC@d?nD}OKP^{nw@h?rE?Qs?DKAkU^?kDgqr?DSAsUZ?mDfOH`T{A[T`Im?SOH`U[A_Tb?fDXQO?FscC@zG{?\qN_GCb{@~G|?]OGPIcAGQj?bCjOHPJCAOQr?_CjqV?B[@oQv?YClQV_B{d{?zH\?NQ[_FcfO@zHt?\q[oGCf[@~Hu?^PL?ikRCIfCtAhPT_esT[HdCrAiOROaCC{GbCQ?gPCoISCwGjCS?gpFoK{E_HFC_?tOX_cKEcHH@dAPOUojKDgItDW?mOUOjkDwIv@\AmP__MKWKBdEC?xp`OMkW[BlEE?yP@oTsJ?GTApAEPAOUSI{GVCG@Uoi?mCIcJbAfAxOiom[VSDXAiAyPe_SKXkDDAcBMOhOrkX{DFAeBNPboWCXCEFEM@^pc?WKKGKfEQ@aOqoqcKwKjEU@fpdoXkXcEXBOBKOV?HKDkAN@K?moU_HSDcAP@]?domoRCHcDzAY@[om_Q{JwCjA{@JOc_ZKH?EnAP@lOboZcHOEpBZ@HowoLcM[BV@m@qOZO[kM_B`Be?vo]?[[FcFJBe?|OxoM{M_Bx@z@qO|OXcNWEZBJ@zos?^CKwFtBx@fpEoAc@SGt?VAJOE?a{@cGp?UAKoB_hs@?I^?PAgPSOA[Ss?dDK?FpOOBsSG?vDC?MPPOBkS??~?YA`oG?kkACJP?dArOG_lKAOJH?bArpa?Ac@SKR?UBDPaoA{Ws?rEK?KOVoDKAkBB@a?UOJOKcAwB@@b?TOJoJ{B?B@@c?WoK_KKEG@h@b?XoBOMs?sBh?J?woB?Mk?oBf?J?xOOONCCGBn@x?aO]_GkFoAL@B?|oM_NkBWCB?v?~oM?OCBcCD@}?YoLoPKGk@j?y@EOb_FKBWCT?w@EoO_P{CKC`@@@GoPOQSCWCh@C@HofODSAkCxAZ?SoJORsAwD@?k@NoB_\[Mg?^?O@uOCO\sMs?fBh?HOAOAc?g?j?I?KoA_A{@W?R?W?CoB_BS?{?z?P?NOF?AS@k?f?O?NoK?@CBC?L?E?XoK_?{?_@h?n?Bs[@`SomWPKHeErBHRchyTBI\dNqgHE{bmPrGycZQMHHcceQPHIceqQwfCReHnDaappWGjsUEI~E}b^poGw[[EMDEkbUpjgt{ZEL`@J_boQGHKCqATBE`boqGWkKiERBl`uOyw\KMiF\B\`nOvw[CMEFD?E_BoAG?c?U?J?D_AO@GCsA]@PQ}HESbQV|Gwe@QNH^scAVtK?cVQAHJseAO\GScxQYHBSeQOdHkcNPxHUS]ATLFkdZPvHTSjaNTIkblPmgusZyLlE}b\Q\GnSfaJ|H{b@P`HOSWqSTEGdBPUHEsSqP\GwahQOGisTqPdG{adOoHZSKQU|AwdnOnHZSlQE\JS`dObGqsGaKdAObNOdGsSHqLLEW`LQeF}shp~LIS^pQgF}Sh@~TIK^vN}FrR~p{{}__@NhG?ryq?[}g_DNSHNRtQR{|Wd@NVHPSfPzK|_dBOjFbRoaDDAg]HNBGSrpqDlAo]JP{FWRkQNszGcBMrG}rlQN{zOc@QnFESk@plJG[^QpFFRcQUcx?dfQgFASgpoDIO[DQdF@r`QStI[[BL|Gtr]aLTEoZ~LzGtSZ@nsvobVQmE{siPmsvSdZLsHTR\qTdIkZpLgFlRY`zcuc]vN\Etrvplk|wZXL\HDSa@kKtocPL_HCrVaPSt{cRLRFVRT@t{t?\TLPFTrTPtktG\XLCHJse@glHgYRQXEbSf@hDHkYNPWE^SUPf|DgY@PZE_rOqJlDoYDKwGbRMQG{rgaPPJE]RNQHKrkaTKaH]RHAVDJgXJQ|EOSmpcLJcXFLeEHrB`kSu[WdKNEprX@aKuSW`KnEAr?`dsoKXXKCEWRKP_{qsWLJuHVq|qUCn_dbJxHXQ}qUcngdfJkG]qzQF|BgVTJjG\qzqFsmw`xJrEkQ{@istcVbJqEjrU`]ktkVhMQDnRcpZ{m?[hJ`FIqwpq{mG[lJWEXQuPe[lkXhJYEYqvPe{loXlJhDiQt`[kmWUdJfDhqtp\ClSVHJKEdQrPh[kwYXLMDfrRpYKl?YZQPDbSc`W{kkcfJIHIsd`XLHOUPIyGzS\pV\FcTzPzD]QnqNTF_T|ImFxR{pT{~OT`NtDWr|pU[~WTdIhFhqj@x{{wTPIiFgQjPyK|GTVOODMSCPRkhw_dI^GHsDPSD@OTBIUHGqdqQSh_cfIXHJQeqQkhgchQ|DGqdAVchKdtQxDIsmpQSh?dpGvGYSLPFDBWPrOvC\SMPEsbk`pHAEvRZpG[v?QJLpCaQPpm[cWZdG{ECQNP`KooP|KLC^qO@`ScCWVHGD}QQP^kcgV|HJD~qRP_CoCQXOUCiSDpIl@_QlOXCjsEpJL@gQpM{CrQXpvkeg]@HjF_qY@v{ec\|MJCwra@L{wWRXMICvRaPMCw[RZIJFKQa`rKgw[tMZDERfPP{xoSZHwEIQ]PakfgWlKVC|q^PbKp_RxHqD_Q[pWKfOUDHtD`q\pWkfWUHI?d?q_xN{gIR|ODDAq`A?t?[SNOHDBQaQ@Cg__HKYeLrFHbsp}WzQDhBS_iO\GQcNP|g~S^IN|GEc@PrgyS[IMLFUbdVxGwT}aML^kbdV{Gxt~aMd^sbjPKgesSIHtDEa^P@KEsOB@t_{aDWOGaSOr@dCSoVO[gMsFiB|AA`BOJgDEIY@d?spVONgFEJX|{}u^XNmfwr{H{[}A^HN`fqrwhx@bE]QWqfdEKzE?{mp]NLfeELJC_zYpMMxkQblxv@aMpKMykSBmxs``]\IWWfREEhsx`m\QW[kKbiHrsx}\@M`fPRgxcsqmXTKfeSrIHVH_eTgWDdYe@hUp_]TmWId[EAHSsiITFIcdRqhXHsc}Q`HPchqShJ`bUQ{WucmeMHJxbepsHZkZaUjIWeARAXTcpEThKXd]qoHdkiAXJIPd}r?XLkpERjKXc}q_XckgeWZ?@eUrKW@kre?jL@^}oEXhkAEYiLdEibVPmgvsZXEsbaPnGxc\qMhKse]RRHictqYHNsgMR~I?d?q_gbcPyGzCMaEpBwmsV]JpDya|p]WLCEYBN@h_qoYgVCJYDfAs`ZolW[CL}FBB\`nOwg]cNEFdBo`xozw@[?u?XVljvt{I|t^InbZILTEezTXhqsyYhlSEezT`hqsyYflCejjPPi}tYYLlEEkjPpjAsUYpl@eeZQpgQssYDlKE`JQhgUsmYBlIE_jNxhEryYNk~EcJQXgAscY@l`E\zWxfmuEXxlaE]JWhfirwZEl_eZjVxemuAXnl^eZZW@fAu?Xkl[eWzJxjirCYzkoEnJVpeQrAY|lOEMZS@bUpsY^lNELjRpbas}WvlOeGzD@iQpIYekQEhZCpiMpMYakAegZ?piQoSYdkBegj@@iYoQYbj{ElzV@^UteVulYd{zUp^]tgVsjKeqJXHXmuQU]lcdfYr`kaksZGiyejYnPjIjkYnizekIn@iyjqYplXdSZU`TIigYvihelYipjaiiYui^edYg@hYiGYXi_edygPhiiEYWlUDNJTPRihqYfi]eizT@RytQSziRemYd@jihQYziUEnZVpQihUY{l`DGYc`k]uESdiPEpJWhQYhEZEh}e`jOxNysOR~lBd?I_PgYsOS@hiEbzQ`L]scRWlHcsyYphAeiYPlCcrYY@gisURMhgebIYPgye]YLkyEGZMX`yrcW^kzEGJMHaIoyXtk@ePJGp_Io?XBkae@JGH_En}XAjwDyy{x^InaVkjvDyY|x]inYVgjleRZI@\ymwXMjmeRzIH]AqcV^kVdqZE@[ipaVJjeEKixpbQmYWrkcDjytXc]lWXHjUeQiu@cql[XJjQdnIuxYYloUfj[diivXYalsUhkmDgis@dilAX]kkdfzJhYMquUcksDcjLHXArMUPjEeXYppeirKUNkSd`zDPWakSWjjDeJIp`aypYUHjrDZilH]EnCTijpdYyl`]UnGTljfdWyy@UQmaTdjhDXiy`UameTfjZDUYjXZUimUpikDkiuXTqisUsiddZyh`VAjgTNied[Yi@VIi[TrjbdPYwXSYmGTFicDpYhH[YiSVGiXEFIdh`]h[WWkKdJzBXREosSoj]dEyb`ZygyU~iNDoIwPQAmAS^iXdBye`PAgaStiHDMIa`RYgeSviEdEY``PagQSTiDDDiaxOygUSYh}EMzF`N]pyRwk^C}ZG@NifuW~hwdVYjpNIi}RrioC|IkHNUjCRukjCzjJ@M}qeRjkiCzJIhMuf_XVhqd}Y[p^ifMVzhsD~Y\P^yfQV{hod`io`MIkAR^j@CwIohMQkERbh_cuYZPKIeuRBhaCvIWpLyeIR\hbeCYX@`IeQWRhdEDJAhKqeUWUkFUAz@d_uo`WNjifxYyp}Ymm^fjkFyZ|@\imq^cjJtcr}DXQ~cUWjItdb}dVmjxT|i~t_Int~WgF^vIAV}A_lOW~rSGN|t@r~S[QMJFHbbPqGw{AA@H?d_POGWC\LYejRWhiStyY]@X?g_MoIgC[Ai@B?i_NoHgDKAa@I|g_AnZg@zui?M|k_CoAfmZvA?Y{w_AnMg?zrq?]|A_EnNg@JsA?Uz__JmvGA[@Puv?O\kmwgBZly?r?OZUoEEuk@Hl^?SZWoEeu{@Xleu__NlggCJYi@Euc_QliGC{@plMzc]mmxfjzu@vQ|a\tnXf\zuPvYy{]@mlF_znpt}yw\~mmf_jjXwA}W\SnefTZxptY}]\VngfUZj@|Ay[^WmffuZi@|iya^ZnmfSzz`tIxw^?m]foZfp{Ix}^Bm_fpZg@{Qxs\Km[fQjfXsmyO[umZfRZf@se~g[rmWF{JeH~E~c[qnyfLZ}XrQxS^{mUG?Z~hq}~{[jmVF~zdi?AzE[hmqFIJc`uAxI\`mqfHjcxuIxC]HnAFFjcXwaxA]FnBFFzohqA}K[WnbfEZx@pi}Q[ZndfFZxPpqwm]|n\fDJapz}|{[Tn]FCjaXziwK]UnLfAJ_xx]wQ]WmDfej`Pxew?^cm?fxZ_P}Y~M[BnsF@Z|HoQwWZymGE}zaHnqwYZ|mFE~z`xny~SZslyfyz]x}qvq^nl{FzZ]p}yyGZrm`EzjgXm}yKZombe{ZghnI~kZgltf}z\h~ivW^wn{eyZ\P~]|UZelpFiJ[XyevG]ilrfjZ[hyqvA^^loFvj{@lq~AZ\npevjZx}IuS]IldfazX`wquY]LnFerzXpwy}d^TnhvtJyt|]|D]bnQVhZs|yZDu]Tp[FcJqIJi{ca{nIGn[VHxND{\wm{gnznaKBEE\|m|goZnQKIzLbOMrvYKYPuezVbSMtWiCYmLDDRbQPTwhsYeLLDTbOPRWpCSEKTDBaaPbWhCXMITENabPcWeSUMHPDXalPIwjcQuH`D^aVPWWbcNeG|BzaOO~WcSN}GDCfaQP?WmCMEJtBhaxOwwmcMUJpBjazOxwqcLUElEV`kPeWZSXmKxB^bNOvWXsV}EPEDbBOsWXSVuEdEB`eP_WkcJuELDjarOnwWCUeEDDn`aPZWUCPEDdCR`YPDWUsP]GtAzaKOmWQcNMFXAL`vObw]CHEClBv`yOcwOCIUCDAf`AOiWTSG]D\AJ`UOaWLCOUBTCF_uPAWLsOmBdCN_wPBWMcDEAd@v_iO]WIsFmB|@Z_kO^WRCCUDD@L`LOPwRcCeD@@N`NOQwecBeHl?z_]PMWFsRmA@C|_`PNwDcDu@\@`_XOWwECEU@l@f_nOLXKsd}QpH`csQTXLSd]RHHZcpQVXCCb]PpGZc\QFxEC`uPDGrcKQLXGS_]QHGHcAQPxFc_EOTG~c_Q?w}c_uNlGNb{QCW~S`MN|GVb}QDXDc^MPHFhcRPyxDC]uP\FncTP{WyCYuMdEnbiPkWuS\]LlFZbYPuWwcceMLHJbcQRWxSc}M\HRbeQSWvC\uM|EzbrPow{CZuNDF@bqPnxLcjURhIxd\Q\xLsj]T|Hrd]Q[XXCh}UTIbdQQpxSskEUDI`daQfXRSgmS`IDdHQ`xPsh]SpILdIQaXNCieRtIjc}QjXNsi}SDIpd?QkxXcmUVLJNdgQyXYSmmUlJndiQzXZCnEUtJrdmQ|XZsn]VDJzdoQ}X^_?IWRJ}?ARAx_??YWZKA?BRBxaO?IWM?CeARC^