CAT(2448,5)

Sparse6:

:~?eO_?O?G?CGgCHAE`CO`WPKG]CF@}_~o_GOKGIBz@z_}Oe_RKHsCxAZ`LOfWRsHqCrAZ`NogGSKIIDHAb`W_jgTsI}D^Ao`WOkWUSJYDjAr`YOlwVCJeDvA{`\Op?W[KWEJBG@bonWWCJ}D|BA`_opGW[KUELBG`bowOXKKqEZBJ`fOqgX{LAEbBQ`iOswJcD]Ap@X_lOUwH{CuAX@M_doSGI[DEAh@Q_ioTgJkDyB@@`_pOVwM?LUEk@s_x_twMGLiB]BX_x?uGZoFYEw@v_{?uw[?FUBqB\_|?vw[wEmFO@k`s_YWLgMiFW@i_v?ywKgMUFK@f_r?wWKWMQBGBa_s?wwSgN{DVAeA??jGSwOGDVAgA@_jWTOOODZAhA?_jGZ_NKFtB{@y?vwZoNSFrBZ@z?}w^oM?FpB|@m_|wYgLWAPBV?d?ugHGL_ErBp?aOPOd_MyACBo_b@J_\kNGAN@BAW?zwDgBC@d?m?V_KGEWBO@T?k?Z_LWDWBW@p?x?]?NWGGBk@|?y?^_OGlOUQJJDfarPYGlKVWJfDsawP\WmSVEKCD}a}P_WoCVuJ~EMBCPaWpSWmKZEKbO@d_rSXkKhEVBMPfOqkXcK|EWBNoeOrSHgKvA]BNoeorsHsKzA[BMOhOkSIWJFD`@TOhojsT{DRD_@SOkoq[JSKdEN@ZOkOqCWwDhAqBGomojCTcDpA{Alom_jkTgDnD[@[oyW[{MqFPBi`tpToa{TOGtCWAhpEOiSTSGxDUALp_o`sWGGVEEAFp`?`cW[G`EDAEoSWIsDUAd@S_hoRok{USAV@OAsoR_kcCsJL@KAsOR?mSCsJf@OAwP[OH[VSA\@NAyPROI[SoAd@SAgoSOhsS{AlDO?ioXgKcEaBJ@f_poWojCTcBP@dAlOX_j[EOIz@fAmO\GL{FABb@r_xONWFcBy@~@@__OM?y[\C@j?uBips_Ec\O@f?vBgPR?FcCCI`DL?]pR_F{BwIbDN?_OPgGkCIAN@C_`ocGQSHUCfAS`GocgQcHMC`AT`GodgQsH]CpAW`JoagP[GuCXAN`FObwPSGmCZAM`EO`GOsGaCRAF`ApnoOKF{L|@}B_O_?wKGKMFFA@@O`?nCGWJrAFA|OaOn[VWCPADAzoH@Bs`{@N?eCOOIPC[aC@P?dCPQL?BsAGPfGp?PqLOB{A?PdGo?Op}oB[^o?rFy?LOE?~k^{?zF}?MOHO}kAONl?eBzoIO~C^c@PFs?RoEO|C@_NV?[BuoE_|K]g?z?ZBuPY_ASU{?h?VAuPYoA[@SJZ?UAvOC?pKWs?Z?KBCPao@s@CKTEK?FoD?qk@KKhEV?Jpd_AS@WKr?TBKO@_gkSC?NDB?CoA_gC?kIHDA?CO@_hC?_INDI?CoAogs?gIVDH?BpM_A[Rk?h?TA]OC_fkR{?nC}?JOFohCAKIL?`AbpQoBsA?ITDH?POqO^KKgFtB{@fO~OXkNwEVBK@|ouoaKPKF@CQ@mOvOakL{GlCS@nOZOR{IOBX@m@OOYOS[EgDDA`?tonoMsJsBjA}?zo]?WCFgED@x@_ot?JcL?Ar@V@goU?YSDgEf@Z@fotOLKLWBT@m@kotoL[EsEtBW?uOU?`KDcGJCF?lPA?JcD[GT@ZABO]oW[KWBzBF?}oq?NcFoEHBD?|oW_DcDs@T@^?TOIoKCAkBB?k?nOO_MsCOBn@w?ao]_G{CWBj@x?`oMOEkBW@t?w?\oM_E[B[@v?x?YOB_Ns?{B~?L@?o_oAK?oCD?O@?O@OCs?S@P?c?AO@?DK?S@N?C?QqEHBS`uOrGZcMQJHDkaiPVGncVP^GnkVyJ~E@b?O~w_cOAGDCBa?oWGJsD}Az@a_oo[GL{FEBf@s_xOKGDkA}@d?m_WoQgHKCiAP@G_co@g@K?a?T?J_BoBW@s?}?`?P_EOEgBC@q?z?Z_KoFgB{AM@@?`_PRExbcpiWzK^eNRBxaCpEWfKQeFRA@][nGWRJsEDrBP]CogVjKKDwqz`Z[loVTJjDkqzPZSmoUzJWDvrE`YSl[WzJUENrEpY[pwUhJTEMQ|pUCn_TdJxDVq}pU[ngTbJuDVQa`VSgkTvIKD]QbPVkj{S^IMD^Q^XNCfmRrHyc}QX`TCe[TRHgDTQYPT[ekTZHiDUQVP\CmOQtJdClqV@[sd{VRH]DrqTHIkdYQrHVckQQHHcceQTHLcdr?`E{oKPpKCC[r@PFSbWWNGzEBRE@Bkp[OxKSCKRDPBK`gWrGZEJQ^pB{gGPDI@COQ^`BsgKPFI?COqAX?s_aONGIcDp}`@s_{NvF~CEP~@@k`CN|GOB}pypZ{]_U|J_BsqwO|SmKNZJaBuQ[o{S]ORhFeCzPwpM{]SRjHqBrqo_yKkCMdJCBhqooyckSMjJ?BgPq`\SmkMVJkBePrP\k[{V^FMDvQK?xKbCMHGqBaqKows[[PjGsBcPo`Ak`[MBGQB^QCov{[KOlGSB_Pk`CcaSLfGeBYQHoukZ[PRGgBZPj@GSYsQFEmCaQP_t{c[LbEoCaq|oksn_JPJxAqQ}_kknkJNJuAsqeOmShWJ`IYAxqe?mKhkJhDtDJp\``CV[WRDzEDP]P`[osJpKKA|Pc`SkW{TDEODPpcPScXKTLEMDRqx?qcmSKjEXDspd`[sX[VNEWDsQ@?rkXwOFGDBLpe`?C_CK~E[C@PgO|sYGN`EdBxpzos[^CL@EcBxPP`QCS[SbDHDHpQ@QSSkSjDIDIPTPXcl?IdDSDepT`XslCIfDVDfquOjST_UtJWAkquoj[lsIzJ[AmPN_vKZkHvE|A\Pm?fcZoHzC~B\PW?hcUCIZDMAnPW_h{UKI`D^Ags@?zS\eMlFZbkPtyAop]WjKSeJREHbKpEWdKNeFRCxaCoYWDKDeBr@H_[nqVzJ}d~r?X_CnuV~K?d~R?X^cnAVfJpdxQ|H]klyU~J_doqwx[Sk]ULJGdcqqhX[jO`\IwGXqlQD{jW``IxGWqlqEShqSzI]dOqfxSCgO`PIDGSsI`O|AkSLIHGUqaADdAKR`OaCuSH@LlASR\OfCwsH`L{e?_bHaGGQWqASeS_fOTCqSD@KKdC`lOxCgQRaEdBSQ^HRGZqSaFD@[N@OUBmPvQBL@_M|OZBosE_z{boaBG|G`sO@FtCGQ@PCC_qNqGkaiPVGncUqJHDs^QbwFtbzS^_}{^ec?FwbSPhwssYeLVEiatPZGlkUyJ^Djg\`^IFOVu`wD~b?cNWnpB}K?O}b@p_aQcWQKIQUbBse?osWo_TOLBCSB?pL?{KTEJGDpbQ@sSEIDDDa_PPGg\GacRQLhDsaiPdIWabPKHRsRQTTCwdPPOHTsRqTL@oblPvGMsFqNDFc_|O_G|sGQNT?Wd@ODHOs@qST?cdFQdGCShA?c~wcHN~H@s_a?D?CcJOBHBs?aOtK[OdGTcJQCxAc`]OXGLcFQCHAK_}I@D@a`POwgkSQIdDRajpTWicTYI|D^aopWgkCUMFDBb`ooxg[kMQFnBs`yo|g^CNMFZBm`vo{G]SNE@d?l_VOKGD{BE^~O?f~S?y?T?EZtLze}r^xncvyYzL^enRVHkKuAYVLLedRRHh{syXVKfeRRIhdKqagyRhIJTDQ\TM_grRdIKSxabTM[gnRpHksua]TLkffR]HzSvA]lLsfhSIHetAqXtK{g\RPICssa`lL?gXRJhdSpyXDKqeRREhaSpIWlKYeJQMHnsbq[DH?fBQPHpScq[dHGfFR|HCt?APDN{cTS@HDsbQ_TNwcXPqHdSpqMlF?eVRGGwsqQMdFKeXRzGtsZQ]|E{frPkH}S}ALTEwftRdGYSLa[tB[fNRgG[sLQ\TB_fROUH}sDq^t@_f~OXI?SEq_T@ggBS[GBsAAb\?OgvOHIMTFA?t?SgvNyf{R~X~K~m^xRpFrS{`{{}_ffNhHyRyq]s}gfjSEFqRxQ_lO_^FN_I@t@p{K}GgHSHF`TApw\Os]HSMFbRpq`TOo]JM{HhrnqYczsejM}HjRoQZC{?enMcHerhQXsyWe^MfHgRiAYKycedMKHuSyppkxCf\RoFFSzPp{x?f^R^EpSw@k[uOfBLdHpRXq[cuWfFRzEorVA]{tsfpL]H{s~@kCt{ftPPH`sRAVtCsd~PMH_SSAWLC{eDOaHUsjaC\AOdXQnGRSkQC|J?`JN}EQrG`~{qK_FKcG@S?@cL?CX@OyGGsMqADBo_fOQG^SDQF|@O`zN^GnRvQKDEC]|PbFlSW`z\D{]xNSHXRtQU[|WdhNVHYruQU{|_dlNGFfRqPx{{g]`NJFgrspxk|G]XMuGSRlqDLAg\pOjF[sJPv\Ao\tQDFVS`@tlGG\TQEFVriqO|GK\XPXFKSU@rLDg[tMZGlrfQJcxoazMQGhRcqI\D[[lMSGiRdqIlDW[jMEHRRaAT[w[dNMHHSsi@p[wgdTM?FWRkPoKzG[DMrF@r`PukzO[HLzGXr]aESvo`\L|GVr^qECvw`bQZEvRZqRcv?czLpHLR[qR{vGc|LYGDsA`it?oYnOMEkRUq@ktc_^K}H[SmPf|JgY@Q|E_rOqV\JoYDKwHORMQSKrgdDQbE\shPflIOXxKoEcRJPhKsOXXKnEarP`eKqwYNLOERRSPc{tGXPLRESrTPd[tOXTSTiLTDia|PagrSNiGtCiaDPQgfSNiGTCYaTPQgfSBiAT@Y_tOagNRjhuSzY]DMyf^RXhlsuiZdLyezRRhiStiYlLaenQShIseIRLH]clWeH?UIaOLa[b|WdG}uIQN|a_bxPugzeQYNLFgqVPzg{ERYKhbQpaPckXcYJEPE]piPhgrELiGtC]aPPHgdsQiGDCQaJPBg_sOiBxaMo}O]kOCFYC@aE`AWakQCFH}S~M^hNtfzr|jBO}uoyNpkMBzjBo~AouNnkKbzHsSxy\BM^fPrgHm`amZiWkkWB\xmpaup]Lwe{eJjM_uariLhkzbZZMWuiZUXwkzBZJAWsioiLJkJBRJA_suY[WWefeDzJWrIr?KskmBKzJgr]q{KuknbLZKxburOW}kseNzLPcArWXAkteOZFPdUqkWwk]EUjExdapuXXkjeMZS@hyszY^haSpiWkaQPJGecRqIXDCR}HtCza]PNgfkIqDZAjePrGhccqAXJK`gDSAy@d?u_\ONiqtXilDUijNThiXtKIeLRQh^SqlUEmJUxiut[Yxl\EkZUhi}tkYolPEmzS@jqtCY|l^EgZW@iEt}Y_lJemzR@jqsqY|l^EejW@hqt}YZlTE_jO`iYtQX~l@ehzTXgAtOY@kheizTPdQtKXNkgEhzT@dIqaYhlVDwY{Piqn?YplVdvyzhjAtYV]izekjU`VqjoYqlYD]zUXVeteTyladVJW`Tui{ZBl_dUYjPkYuCTZlddTiiXkeuSTVikEqIihk]igZKl`DMiepkYhqZDi[EpIexkMhiZ@kyeLzF`f]reWwkyEMZFPfYpuXwkYEbzEHgqpeYOkXEazPhbYpiYMkTeOZFpaqp}Wlk]eJjE@cIp]X?lBeBJ?xgUoOYElDEAzPH_esOWIj|eTY~`dYnyXVj~EUJ?@din}XXkHd|ZA`^YoiVvj{EDi~P`anqWVkcdszHP\YmgXLjgeRjH`\UmcXJk{dqyx`fimYXzk}DrjNp\AryVNkrdhzL@YarQUhktDiit`eqlUXjjQeFjBPYQowUekKdgYsP`uouUbjFdfIrhXQk_UZjHDfyqXXyl?UPiyECimH_uo[TqiyeCZ@xVYo_TriudoIwPUyjUU~j_dZIw`VAmETnkBDXYlP_UjQWCirE?Yl@_IoETfieecZQPSyseTNlIDSJQpTIsiTPjmDPYyxSEmoTAjkdOyzXSYmsTCjadMywpRqhyVFi^DqIg@[ih}VHj[dJyvPRAluSpiXDnIe`ZuheU}j@DHInxQahET|j?DHYcxVykASelbuqJX\keuTZKlYf]zUpvqtm\}l[F^zVPwAzyYxlPuhJSliUtFYclMufZRth}s~Y]kuvcrLte}{iXokxU[Rq|eErDXbkqUXjKldmqxX\knUWJJ|cMqHXDkbUQJG|aS{r]YKRVerC|xopP]]KTVfRDL`}p@W`kQUGjC\^An^VpjxT|I}\]mnRVijutzI|t]S|hVbNXTyBut][|j]pJrTxBu\ZM}QUsj[TlYux{qlk^JnQdjZspYy|MUnnSDkJtPZI|QUpjLTeIqlXYknUXnjdaYp`|akU^UjFFtYph|ikS^XjAfazpHWa{MUBnCD`Iopwq{SUFinfnik@z}|yT`iqFoYkX{AjC^AnEdPyh`wyiO]NicfcIhPxI{aTJn\dJYdHzahS]viUFmZv`QyhU]yiOFfybhyAg{]`iOfhIcPyIg}]b`WOjgT|@E_dOSgGSDYA[uIZHLbeqrXxktRYhnSwi\TLYfM@X?g_MoIgCKAi@J?i_NoHgDKAa@E}w_GnmgAjzq?n?Y^ZnoGBK@H|~?O]vn]GAk@Hzb?Y]xn\gBK@Xziz[^~o?FYk?Hue~}\ko?FY{?Huuyy_AmnG?zjy?Qz?_DmpG@zkI?Z?IZRliG?jYi?Quk_ElkG?zYy?^?eZQlggCjYA?}u]_OlegCZXq?y}i^ynjF}zyx~e}o^{n~Fuj~h|e~M^BnsFpJ|H{U}K^incFzJwx}m{M[HnCFAj`XwewW]ImFFbJ`hwm}A]?m|fnZn`zyzy]~m~Fojw@v}zs]LmyfbjpxvYzq]OnGf]JqPv]ya]XnMFTZrPtQ{u\QnMfSzrptYyI^HmbFqjgx{myO^KmdFrjhH{uyG^pnufNz|xsAyE^mm`F{j}@sE{e[rnIFLJqhrU{k[um[FeJexx]xY[xmVFMjdxrmx_[{mXFNjeHru~A[fnpFIJ{`qm~E[imUFxZdH}YxG^vnyFHjcH~MxI^umPf|ZcP~azg[_mvfEzm@pqza[\mxFFzmXpy|a[TmJFkjaxzMwo]smLFljbHzUwE]^mAFgJ_hyEwK]amCFhJ_xyMvy]@l~F_j^xwMw?]Cm@F`j_HwUvm]jnWE}j^Xy}vo]kl}FjZ^HyyzEZplzFYJk`nIzIZrlyfXjkxnQu}]dloFhj[Hy]vC]glpfiZ[`yiuq^NllFsJyHlm}cZ[niEvjyXluyt\VmmVUJj\tey`\JmeVRZh|szDq[Np\fCKV`pFDy[Qp[FDKVPpMvVZkPdUzz\ln@EZZmPeWoB\EKCvRZdP^wor[tmhD|ZfP`WOCQeCDCj`APJWdsG]HdAJaWOaWqSPUKPCPbFPDwpSPMGtEPaKPbW_cXUGLEVaCPeW`SXmK|CNbMPBWsCNeLDBzbQO~WssN}GDEjbSP?W[CUuJLBhaqOyw[cUeFDDj`rPZwVcLUElA~`_OuWWSLmELB^`aOvWUCSEDdDBaaOlWgsJ]ITAzacOmWhcIUI\AfaiOiWTSTED\DV`UPSwbcHuG|A^`KPGWRSQMDDCf`OPHWXCGuETAN`eOcWXsHMClBR`IOsWMcTeIt@vamO]WjsFmB|DbaoO^WmCDuJd@^a{OWwmcEEJt@fazOXW\cDEAdBn_iO{WIsNMAtBv_kO|WGcVuALD~_cP_WHSWMKL@N_eP`WecBeHl?z_]PMWFsRmADC~__PNWLCAuBT?n_uOKWLsBMBd?v_wOLXIceERDHVcqQUXKsdmRTH^csQVWuS`mOpEpbZQFXCSY}LhG^cOPjX@c_EOTGVcHQ@xAc_eO`GBcFQ@W}cceNlHJceP}XHs^mQdF~cgP~XFc\uM|G~boQOW{ScMNLHFbqQPXCc\EPLFRcSPtXDS\]P\FZcUPuW|C[UNTFFbcPzWxS]}M\FrbeP{WvsbMLpGpb\QLXEsZuPtFBc[PoXTCjUT\Ixd^QkxVcimTXIvd\QkXRCfMSdHldGQZxRSf]SlHtdIQ[XWCgUUDIFdaQaXWsgmS\JJdcQbXNChuRtI^c}QgXNsiMTLIBdQQ_X]CkuVdJNdgQ|XYSn]UlJzdiQ}XZCmUVLJZdsQvX\Sl}V\JbduQwX^_?IWRJ}?@RAx_??QWY?Ce@RBxaO?YWM?EeARC^