CAT(2448,2)

Sparse6:

:~?eO_?O?G?CBC@`?n_VOX?HcCuA`@M_goRwIsDMAh@T_joSgJSDmAr@[_moUGM?D}Bg@__w_WWMODyBE@t_p?[wH?CcAV@E?b_QgGcCMAB@D_`OOGNsGACFA@`@O^wO_G_CRAD@B?`wLwBoB|@l?]__WLoB{CDAB?\_ZGFOEgC@@~?^?YwKgG_@jAC?r?LGEoE[CR?x@B_YWEwEOCL?w@A_YGXOKaERBL@eOJ_RCHc@`AZ?Vof?D{AwCzAY?WOLoWcKS@h?x@`OM?W{BWEFBE?YoOOV[CGDl@B@[om_GkJ_A@@C@ZoOoVkJ{A@@@@]OO_WCCSEB@C@^OVgJ{EABD@b_ooU_USJCAx@Z@XoUOUkD_D`As?moi_J{IkB@@a@UojoKKDwDX@b@VOHgCSAM@H?f_QoIGD[Aq@R?i_UoyOBcMW?zBf?NOy?B{ACFV?_@tOE?Tk@cDT?Z@VOjoA{@WDX?Y@ToQ?IkC[Af@H?iOQoIsDGAT@V?bO[?ISFCAf@q?iO[oIkD[Bj@s?jOC?EcB_?d?x?HoL_Ac@S@n?P?YoA_F[?k@|?L?\OB_Fc?o@~?N?]oP_DCC[@R@G?TOJ?HSAkAV?l?coA_Jc?kAp@X?EoB?JS?wAv?N?moDON[@KBn?P?zO]?ACFc?d@y?IOD_BcA??n?`?KoE?B{@k?|?Y?MpXokkUYJHBz`{O}W^SNuFx@d_roYWKsEQBP?C_BO@W@K?]?P?F_BoAG@C?e?R?Z_KoDgA{@a?t?[_NOGWCC@u?~E_BD`dGr?WaKQETbJ@bGqwWiKYEXbG@^wpoVuKaD{b?@bwoGXMKcD}b@`[wogVEKCDobA@\GmgW]KKDqahPSwikTYInDSamPUgj[TeIpD\apPVgkCUEJFD^bE`SGh_WaKUDPbE@RWhoWiI]EHav`YGlWU]JYDgat@YWloUeJWDfa\?rgYORqHuBN`g@NWfwLMH{BPaS@\gdGV]HSDwaT`]GmwQuJkCkaG@VgkGPUI}CPaH@WGaWUMGgDaaw?zg\_VEFaDsax?zwmgMuJeBo`r@Yg\?UqFMDj`t`Zw\OUyFQDl`z?xG]OMAFeB``y?wg]wMUFiBb`i@@WYgOYGMBVaC?uG`GLeEkCC`Q@bgSoXEDQEQ`Q`cwT?W}DMEO`N`Jwe?IIHaAb`N@KgeWIEH[A_`L`GWR?PqH?A\`K`FWboHqCsC^`Z@dGUwXUKkAwbJ_mWVWXeDsEW`^_}wV_NeD{Bw`__}g^gKAFwA|`cOqWXSKmEZBKc`@bgp{XAKbERbHPdGqkXeKlEVbKP_`FsbsKHG{BBP_pF{WSQ@H@BBp_GoKVqJzD}a~p]wnSVeJtDxa|pOwgkSYIHDGabpOWgSSII@D?a_pOwgkSQIPDFabPQ`EsScPpDHC[pQpFSbkITDJCZqVoh{doIZH\AePR`J[dwIbDOClPUGjKTiS?DZc~@VHNwTuRWDQcu`Swi_eyIiHnaja[WiofAJHDdarPXgkkUQHiHhct@MWeoemROCwaYAXhKwR]SUCfaPAbXPOQQSWCddF@HgcWg}QgCXaKAUXIoPmGkHTcj`EgawdaPeCKcX@AhE?OmPaCLcY`BxE_OyF|CBDSO~xTOOAGDIkA?ougZsL}EvB[`moigT[IqDZAn`VOkGUcJEDdAt`XqX?WcKSRDHb@`op`KkeCEDBFCoQJHDsamPTGlcVqHXDKaQPLGgcRqsXXck}U\JLdgQm`WsjoUNI|DcqqpV[k_T|I~DdQk@Y[jCUhJVDXqtPT{iwUdJUDXQQ@C[ccPDG]CdqR@CKa?QZHICNql@GSjSQFIvCaQl`Gkc[TrHED[PPGhCSMIJDEabpQWh[SiIZDKafPRwiCTEIdDRaipTGisT]I|D_appVwkSUEC|A^`PogGSSIEDjAo`WokgU[JQDvAw`ZolgVKJiDxA|`^ooWWCJy@v?y_]ONWFsB}A^@O_eoRGIKCyAX@L_foRgIKDABT@m_voZWL[Eq?b?T_IOCGAS@MPfGtcYQKXECbIP~G}c_qNHGCbuLdErbYplgu{ZQL|F?b_pogw[Z}KtE\bLpfgr{XqZALIedrPxhCsqYRL@e`ROxgcsYYJK{EoRNpkCrkY~K}EnrW@gCrsY~LEE_RMpgKsKXxLCE]rNpgSsSX|LXEYrMPjsrgYzL[EZrM@jStkXlK_EJRD@cKpCWzKQENRCpb{qGWjJoEDrC@]SosVhKKDyrB`][o{VbJbD{q}`ZsmCVvJaD~Q~PZ{m?VxKxCURM@D{akXjGlEZrM`DsagXlJTE?qs`^{oOUfJVE?Qt`_SoKUhJuDbQ|`W{kgVpJvDcQqp^Cn[URKrD^Qnpecq{TxKoD]rK`VSrCTvIlDxqip]SicVjJpDSQi`]cioV`IaEdQh@hciKYPLHDQrPpS{iWYVI[D~qfP_ChwWBI^E@Qg@_coKTBIIEAqap_sgwWPINECqb@`SgsWNI@c~Q^xOCgMSDHxc{Q]hN[fuRxGyEeqMpiCtGPpLMCZRSPFKs{PnHicsqXxLCemRLK\ClRF`J[dsX@H[ENrG`J{dwXBKcCiRGpIsqSQnKeCkqTPc{q_QpKhCKRI`BK`kXXGYETrJPBkqwOxLXCHRU`A[tkOhL[CJrV`AstsOjFyEYP}pd{^oX`F}EXrKO~{^sXdKYBnRF?z{pkNBKVBmRE?{CpcMzFLEjPrpjCtKMTFMEjrTOx[tOMXFCEerR_wks{MLLOBcrS_w{tCMPExEhpmpicZsYjEyEjPm@jCZoYnKRB_RD?wK[KWdE~EJPn`ak[GWbEkEDrB?tkosL\KMBVrC?uKo{L`ItDVQl`T{j[TfIxDWql@UCj_TdJADHQd@Wkk?S`J@DGqdPW[hKUHGoDAQKPOkbGSLGrDBqaPEcg_PjG|CpqN@KSbwR@G~CoqOPKkc?RHGFCuq@`Lc__R\GHCwQApL{_gRbFmCxQ[o}C]{RhFpCyp{pM{^GRlIWBjqd_ys\cSnFYDKpupR[\_StFRBYPs?uS\CLjErBiPloyk\GLlEeCEPi@@k`CLVEfCFQC?tS_{LRKkeVRIXdSqmXZKdePrHHcsqaXNKVeKREXb[pqWtKGeAr@h_{oiWRJyd{q}x^cnyVzGfcSQHHDKaYPJJidvQzX\[m}VXJhGiqyAIcmWadPUDqSSP[{mSafJWdmquXZSlqUvPcCNSXPB|EWP@PfCOsY@C\EKPDJKGkQrQJLD[U\PYDfsV@YLDkU`HMchQSXI[dAQ^HJccQQXHScuQXHEHAS_`G{cGcBQBC`s``GlGSQHGAc@q?ISw_EOIQecAChYMG^QNiPsgv`|iMO^]NqPogx`}G|@EeNQPibtCYyL_]qb[Flgu`yw{S]MNHFdbrpxiVGYILAQvbQcmGsXJmLGQ{h\@gGrXDuKwP]bMcVyKOXiK}P_go`fiXPKeeWRJhfCrYXHHMeSQVhKCqyQ`KuckRMhIcrIN@HicyPtg|CeyR`FYbmQ]hKc]YZxLyfCR`hoPOGgSSEIpDXalPVWj[TqF~C@a?P?w^sOICrAZ`LOfGRCHuDFA]`POgWR{IADHAd`ROiGTKI]DNAd`QOiGTKIYEDBB`aopGWsK]ETBH`eOqwXCKu@b?r_WoKgESBM?T?J_FOBw@k?q@D?b_QOHWC{AY@X?g_SoIgD[AuPJGccSQIXC{aYPTGjcUQJXD{ayKxEZbLPfgrkX}]fNVfiRtXzC|Y]NNGfdRqXx[{qZPLhetRYxlcu]iSTMiddSIhHTEiWTNicDSihhS]hcS|iXdMyeHRqh{Soi_DJye`R}gySliNDIYbxQihUSaiODJicHQqgMTJiCdPy_pSigSTKicDAIhHOUhQRQhfdIydPLQe_SmhgdJYYXQqdySJh^DBY``KAeASMh`DCIVxO}daR~hXD?IUXOEgCQuhYD@IUhOMi]QkhVDSiTXTAi[QlhVdRYU@TEdISbhRDHISxQUdOSeiSCiicxIebuSbg}DHINhQUb{SeiSC_IcxF}aqR\gjcuyZXDiaoR[hmCVIZhDmfcPEhwcQiGhMuaMRmgcczy]@Cae{O~g_CwIGPMMaAR`gaCvyGXMIf?OpgVCwYDhLy`]RahncKIEPMMfuOjh}CJIDPNu`MRxgSC}i^pAehiOZiZCFiex@qhoO\gODMiBxRe_iRtgJC|IAxN]_oRugLC}I]X@e^gTDi_b{YgW~I^eTCfydPh}pSI]gRlfhc{XyhMyf_NUhxBuHyxM}fMNLhsBri\G{}fUNPfhCzI\O|A]MStfddMHx@RY]QSvfeDMhxPReiAMVi`BeIgWxeiGMYfMDPhrXSU[MS@h~bahpHOM[OSCfAd?hopOAgyL~iNB_Ic?wEg}MAiPB`IcGwMfILiesCxHkxMQfILhhrBZI[oum[UQ@hAbbhq@GYcCMKhABbyOWwubSRBgvCqIW`EeeIPjguCpiLhK]bOP]gpcVYKPEQbIP^gocXyKpEAc]OzhGCNIQHBucYOxhHCNiPpBi`ePtgYC\iEhF]`kPwg[C]iExFeaUN|f~CRH~xCu_?PMg@CSI?HC}\{RIf_CqXvxKy\wRLf]cqyX_zm\qQKfYcaHvPGm\kQHf[CaiOwz]]{MsfkbjxuO|q\aN\fXbuhzWzAdwMmh\bjHtHJ]\SQwh[bjYVOym_QMPgDBchqX?u_UMSgFBdi@_xU]ALxe|BohnW{MZwNCe}bphno{UZmPRexcSYIovUZgPQezCTHn@DUZaOFg@bZY?_uyZcOEevcAHm@?UhvS{i]tNigDR}h^SoiWtKiedRMgnSXiLTFIbDPmgpSViMTEYbTPmgdSSiItCyaLPYgbSQiHtDYatPQgVSKiFTByaDOugNSHiAt@i`TOaquRxkmC}i^XdufwX]h~EWI^hd}feXBhyEPJGhNUqKRukbc}JH@N]fMXghsEYY\HeirMRikuCzJLXMmeiXNkgCtjIHLaqcRVkiCuYZPdMc~Q_hOsgiSdIMcrQ]hLSeyRlHqcfQShIsdiQ|Hab]YDgwE`jOxFEsOPqlDC\JPHFM`HOdgOsGiCtAM_^YbGGSCZSh@I_hORLRr|x~C~e^tN{f|rzRKK}krDNmKprzBKdeW^`NnKqrybHtcc^JXIFrUQp{{}_qZNhKeRwBFk}KqBW~FqRvrFs}Gq@N`K`UiPs\ig\HYjFQrhbTcy[t\MgLUrfRP[xwsXM_LErgbQCyCs\M^LFuT`kTd[ZFLcKkRXRJSuWqrXTEoufRQLhWtBYQLNUcrR|hOtDYTLOSuyZlLq?H?C_Ao@g?s?U@F?d_ROGgC{AQPDG]cOqGxCC`}PlGvc[QMXF[biOrGWcLQExBk`qLpEzb]PmgvKZuviZ\lzevjZxnavqZ[loE|J]pmEukZxlhe|JY`nUuiZul{EuJ]xl]vUZMluEsZ\hlAuYZgltErzYPmevCYzlpenJW@mYvGY|l^ExzVxmUuqXblkeXJKHlirKZZlleXZZPeIpQZqkSE{Z\paipIZnkRE{zCxnAogZ~l|eDzAXniokZ}l}EEJAhnuncZojyE{y}HnIn]ZplvD{y}@m}maZyjhE}yyXnqmgZ|jjE~yyhnyvYVOluDrz\X[ymYZhlsDqyx`mivKVHlrdqj[P[UvEVEjbexZ[`[arsYZlJe]ZRHfmrwYWk}efJNphitOX?k^EhJFhiUtEX@k`EhjFxi]pmYDk\eajF@gYsMWxlCENJFPgep]YOkWEbjPXamsYWklFeJZP`ayr}W^l?EGJOHaEsGWakQE_jOXaMoqXBkLEPJGh`mqKW[kcEFjGx`uuAWLkFEoj@xkMo_ZCkHEpZAHkYnoZKj{eqy~Pk]niZGlcd|jXP^]s}VhlODyjSH]mn[YalMdzI|hhynKXLjpeQY{xcqnIXJjqEQi|@cymmXrjmE]Iz@fQmqXtjle\izPf]qiU~jaEUJIp[AmAXVj`eUiwPdetgUllXdkitpjIlaYojVekYu@i}oWUijUEAz?xY]oOUgjTeAZ@PYelqUZjODnivXXylwU^jMDnYvPXukiV\jJDviqx\}koV_jpDeirH]EtQUNlUDdJTPXAtUUQlVDczThXElAUHjDDgipXYMkWUcjFDhiphYUjUUBiuD`IlhWUj[UEiwDaIlxW]rYT|kvD^inxe}k?XokxD_jMHWEjIYPlHDXjQXU]sgTgitEdilHhUj?YtlZDWykPjejAYviqEmijxjaieW@iiE?j?XTUoGTUkBDUJ?hT]v@Z`lnuvJZllyrNXhktUYzLdeaqvX[kmuVjKDd}}WXNkgFrjIP{}qg^LngeSZIX|ApbWqkXuLJEtbU}cVznhd~Jy`^u}iV}njE?Jyx^}le^cjYFxYuh}Ylk^fj[FyYux}ajq^Zi{FuJz`Vijw^Xnmd\ynX|ijbTqixt\imlVQ~}T[ikf~J~hTi~{TZinG?[?@Tu]BNCf`Roxws{UZBLceprXhkkuJ?k_GOFWAsAM?p?d_ROEwAcAE?d?^\BOIvOcAe@SyJ\COIwDBgu@OyN_GNjVss@d|H?R_INiWArym?s}n^INqvpb{d{[~L^fNcVyRx\}_}R\}M{V]Rn|vg{@\zN?v^Ro\vo{D]OMxVcRm\xOzn]QMyVdRmtxKzj^iMuVyrlluw~X\nNuv[R||v?~\^]MrVvrk|}?zV\gNovYb{\uc~D][MiVUBsDxwyl\XNOvfri|xsyj\QOBVSs?|sx?D\OOAVSS?ls|?F\GN\VmrhLzoyT]|Mdvnbhdss|~\]M^vVRgDt{yB\YM]VVBfttkxz]sMZVLrulrk|r[wNZVMbu|rc|p^~MYv~ReT~wxh_?MWvKr~dr@?B^WMTVvRdt|cxV[kNlVvBd|qs}v[aMqVFbkDqKzB[`MqvGBkTuKw~[YNwV|Bb\~Gwx[XNyvEB}L~Kwz]CMHV`Ra\wWwh]FMIvDrpLpW{P[?NVV?Rt|z?wD]pM@vkr_lzGwH_QoGWC[@u@N?^^znzv|j~D~e~t^MPDwbBxmGs}XaHNfvsSPUG_}`^Bn_VoZwT{U}H]inSViZt\yu|X]cPOwgbstyTDF]fPQwhBsTyLD@aYNJVecR]Ho{na\NKVesR}Hw{r]InDvbJp|wy{Z[cmSvIJclqYxN[KPXVBSU\oxDh[NPYvCSU|p@DlawMBVAsVeJgwNaxMCWnR`MJkwTbJPdWrSXeK|E\aMPdWbsXeH@EZbMPGwrsQUHLEVawPdWmSXeK|DxazPdwnSXmKxDtaTOSWIcQuAdCn_kPIWeCDmAlCrbOPCWsSPMLHCTbRPDwbSYmGpEh`uPUW\sTuF`D^`xPWWkSN]ItBtbHOywpCMEKTBbbEOxWqCMeK\BfaeOtWYsT]EpDN`lPSWZsTUExDRaAOqW_sKmGPBLaDOrw`sLMGXBP`WPLwUSReDhCzaYOlwVSR}DpC|`KOnWRSJ}E@A\``OfwWsIMEHA``EPOWPsSMIHAPabOcwQsSmChDH`CO}W_SGmCDC@`?O~wOsNmCHB|_sO\WLSF]BX@x_vO]wNsFMB`@|_mPXWJsU]B@Dh_pPZwlSE]BHDl_aPGWGsQMG|@HaQOQwcsC}Gx@La}OMWnsBmA@E@_]P_wosB}ADED_UOhWDsI]@`Ah`TOKwTsB]DX?tbZQUXIsYuLhH^bXQUxJcY}QhEpc`QLXFScEP|GpcaQKxEsc]PpG|cQQEXCs`mPPG\cTQFxCCauPDGnceQDx@cceO\HJcfQCXIS`UQ`GRbsQWXKS]mRHFlcrPzxLS^MRPFpbgPvWzs\MN@FTbpPtw{s\mNHFXc?PpX?S[]MPGDbdQ@x@S[}MXGHbyPmW}sZmNpE|b|Pnw~s[MNxF@dOQlxVch}T|I\dQQlXVSi]TDIxdKQkxQSi}ShIjdGQiXTchmSlIpcuQ`XLsg]R`IHdFQ\xMcgmRdILc{QoXNSkMRxJDc~QpxOSkmS@JHdwQrX]Sk}U`JtdhQ|xYsnmUhJxdkQxX[slmVPJ\dtQvx\smMVXJ`d}??h`Knw?HKJe??@h`koG?LKNeH?@H_w?IWHKP