CAT(2744,1)

Sparse6:

:~?iw_?O?G?CBG@\?l_UOJGDsAu@u?r_YOKgEkB]@l?o?XoKOEcA{@d?p?YoL_D{B[@`@U?SoIwDSAe@V?i_SoIwDSEwA`@P_hOSwIkDQAq@J_l_QgH_DiAY@[_f_VgHoDuAU@U_k?QgH_D]Am@M_k?RwHgDYAs@G_k_PwJWCeAw@F_n?QWJgCaAa?|_]?SgI?BmAe?}_i?NwIgCAAB@B_`OPWGsCQ@r?y_[OgOCsAa@N@I_eOQwHkC}A\?l_UOJgF[Bu@x?}__ONwUoIgDZAn@Toj?TsJ?DVAq@TOkOTcH}C|A_`Q?fGSoHuDIAZ`S_dgSwH]DOAT`K_hwROIeDOAW`Q?gWSoIMDIAa`?O_WOSGMCJAC`M_\GRWFYCw@t`K_\wNGHiBoAW_}_dgNwH]B{AT_|?gwN_IIBuA``HOcwQcEwDZAn?wOZoTsJ?BbAq?xokOMSEaBT@h_toZWLcEWC~@f@OOXORsG_CXAM@Bo`_PkHCCRAN@Doc?PSEGB@@c?ooWoJ{AU@J?d_POHGC[O[CfAS`HOZgMCE}Bb@q_xoWGKKD}BD@b_qOWgKcEMBP@i_soYwLkEqHCC]AMPFObcPsG|CUAGPC_bCP[GbC`AEpFo`sQ?G^CRADPDO`cPOGVC_ABPGO_cP{GJCRA@PD?_KPSGFCUA@P?ObCP[GFCLAAPBo_sOwGJCI@ypAo]{NWGXBn`wo{G]SNQFfBl@|O}?\sMoFrBe`sOxw\[MeFTB}@oP??[SN{FBB{@pox?^[NsFJB\AGPC_Z{LwGbBGAKoq_b[KcGtCH@aPA?W[O[EDCF@bOpo`KKSGPA~AKooOb[K?GtA|@{On?^KJwFtB}@ZP??VCN{DnB{@[omo^kJgFvArAOpFoUkQ?DhB[@kou?ZSLkEnBS@fOs?YsLSE^BR@eos_X[LCEXEA?ROIGC{AY@N?g_gOSWISDMAh@T_[oMGFSBa@t?x`rOyG[{MeFVBi`movwZsJUDhArbMpfgr{W?KrE@BKPdon{VwKhEUA}P^OqkVcK`EMA|pbonSVkKfDxBHP]_qKVWKDDwBAP\oo[VWKJDwBBP\oo{W_HzC~BDPN_pKVUJhDrawP[WmSUsKJDnBBpZ_osUqJVDibJ@WGq_TyI}ETam@cwqGTuIuEQak@egjOXqIqEZai`_giwWQIkEBbF@Sgi_XAK]DRb?@QwhGWEISD~ab@^gn_SaJyDFbD`OGpgSIKWD@aYPLgekRMHbCqaV`fwrgRAH[E]aU@aWdgWiHUEGaS@awdGWuKWCibL@HWr_Q]KuCebK`Gwr?QQKmCaaq@YWkoU]JIDgao`OwkWSUJCDCae@MghgRqI[CzaZ`RwfGTEHoDO_POHGC[AQ@F?acE?dWQsH]CpAX`LOfGRkHmC|A_`NoWGKKD}BL@f_qoXWK{EYBP@i_soYwLkEqIVDHadPPghCS]P_GgCVqHpDsacPZGhCQQH`DCaSPNGiCOqJ@C[akPDG]CIqG@A{`{OlGHCTQApDc_gPVGZCBq@`Bk`oOPGECNQ@pCC__O~GJCJqAPAk_gOlF|C@q@O~s_ON~GAC@q@P?C_OOBEtbZplg~O_ANwGAb|a?W}w`aNqGYb{AEXBg^YOuFtcM@|G}G^uNeF~bx@~g|oaQPKFocQ`zw{Oa}NGGmbpaJWzK\mMtFUbkPtwy[\UMhFOCKQE_yS\COrFLCOprpC[[wPDFICEPr@@s[kOZGNBbqCOxK`?MPFCCHpp`Ac[SOdE}CEPo@@sZ{OZGNB]QCOvk`?LvEyCHPmPAcZ_OfEnbWpkGuSZQLfEibTpiWtcYyLZEfbSPhgs[YULHGlBOPg`D{YCP\FfBoPx_{K]SM~F[Btpv_|k\sNXFBBsPy_wK[GNRGHcDqAg^sOAF~CCaBP@WVcJyDzI@d@q_hNsgAR~H_DSQi`KSicRBIdClQV@S{iWQvIjCjqj@JCisQrHSDQqT`SsdSTNHPDSQi`I[icQdHHcdQQHH[cuQXHEDUqPpTcikQJHAcaQOxF{cEQ@IaC[qMpSciKPtIaCZQh@FCiKPnIXCfQe`IChkQ^HzDBq^PPCgcRxHwDGQ]`QSfcSbHtDEq\pPsfWS^HqDMQf`McfKSzICCvq``MKgSR`IICuQb@LsgkRZI^CpqgPKki?RHIRCmqdPJ{hOQ|G{CrQY@Fse[PzGrDJQLPRCbOSnGoCtqK`LSbCRRJldvqzhZSlaUrJuDwQ}@]Sn[VbJ_DWQj`Z{i{U|JcDlqx`ZkmSUxJTDrqtp\KlWVPJKDhQr`YcksUfJrDcqqp]kkgVhJ?DcQo`WskCUNI|DtQypVsj{VXJOD]Qm`YKk{TvIvDaqmPWcj_UFIsD{ql`^[jSVtJ`DWqwpU[mGTdCBa@P?WUkJQDfF`boPvwzc\uM|F@b`pogsCYILBKhEYrIpesqgXnKqETRIPecrKXVKnERrKPdCr?XLKmERRI@dcqsXNKAEYr@@e{oKXlKdeQRGxdwoaXaKHeWBAh_so]WJK@EURJ`^{qsW@J{EXrL@^srGVzKVEMrEPb{p_W|KSEORG`aspSXBKYEGrF@a[pkWdKMEDrBPaCooW^LgAzP]Gm{VeJvDya}P^gnkWAKBD~dHqdXQchASdIPdEqbxPsgiSVIKdBqaXPCgQSLIDctqYXLSeYRPHfewb`xp?vM[KLqewb\HmWvYZcLtfDBZhm?wmZ]MHezbZhm?veZ]Lwe}bZHnwumZ{Lle|BZHn_uuZuLjesB_xoguiZQMCesB_HlOwIZQM@eaB\HgovYYILtenb_xoguEZ?MCemBaXjowmYyMIekb`hjOwaYuMFe}bThnwtaZ{LVehrTXictIY`LPe{BRXhwveY[Lvf?BQhoOsq[ALJe|BQXn_s]ZuLGe`bXXkwsEZKLAeqbNhkwsAZKK~e]bWxk_rmXwLae[BWhfGuMZGKyflA@X?c_MOLGGcBqsHYKk}UXJMdeqpxXCkYUJJCd`rvP{[|{^HN]FqrvP{K|w^@N^FpRyPzc}k]tNiFlru`{{}_]xNZFrRnxwK{A\rMzf\RyPuCzG^VMpFtRy@t{ys^NMmFrRw@tS}G\XN`FTrhp{[yc^JMgFqRtpsK|c\FNWFPRf`y{y?]rM^FkRepycxo]lM\Firt@rC|W[tNTFKrspqk|G[nMUFgrs`qc|K[dMRFgrr`p{xC]`MOFfrb@xsww]`MLFfrqpscyW]ZNKFQrn@wk{[\|M|FbRl`wSz[]HMwF`rq@u[{c\hNIFYsLAD\Au`XOggTSIX}pBI^mOrfycKYEO~I^gOrfxcKYDw~E`_NngVB{H|`BA`[NmfucJyCP@q`GO]gPcFX~@@A^sOPf{cCi@PAU_WOfgDcHi@h?]_[OGgCcByBH?Q_sODgLc@iBx?E`AOBgOC?h~p@M_iO?gIB~yB?~u_mNzgJB~HkSuMZHLderrXiGpDyaOP_gbcVyJ\DuaxP`GeSWqHtEGaZPJgcsQiKHB]bEOxgpCMIJxBQ`kP_gYcViGXC}aIPPgaCSIGHDQaCPQg_CSyJ@BuasO~gkcNiFPDUamO{gjCMxxs|A]^NPfhRsxyc|Y]jNVfkRuYOPEQcGPeh@cXYOPF}cGQ@h@c_IN`Gab{QIg}caYNHGUbuQFg|C`iPXFYcYPwgzcbIMlFMbhPogxS[YLxGebYQIgvCaILPGmbWQKhEcYyOhE]cKPhhBcYIEDA}`\OqgXsKYTLIidVQchQsgyRPIqcwQlhVCeyT`H]d[QXhKCjYTxHQdaQUhWCdYTxHEdaQRhWCciSpIAdOQahRcgYPpHuc_Q^hFcfiWxKEeQRBhcCoiVXJIdyQsh]CkyW`JadqREh\CpYVpJYdiR?h^clyYXKieiRKhiCqyY@Kue]RQhgcrgD{BA@bAK`FObWP{HEC`C|a^pNggSSAIBHMcgQRxK[eURHK?e?q~x^cnyVzMufZrmHu[zU\hOvg[sMIEdBY`jQahOSgYR|HyczSFI?TAA_TOWgBR|IAS~q_lNwgFS?H|S}q_TNogBR|Hzs~q^LNwfpRsH|S~A]tNkfjRpHzs{q^LNGfpRsHvS{A]tNSf^RpHts{q\lNGfXRhHvS{A\TM_f^RfHusxQ\\MWfXRgHpSya[dMcfFRdHnsxq[LMWf@R[HpSvQ[dLwfFR\HnsvA[LLwf@SFHkTAAYtOWenSCHksuq_lLggFS{?JODwBC@m?r?Yic?FGBs@ui[?__NoGWG{CeAPBM`gOrwXcKuEVEzb]pnGvCZiLrImdVqkHUSjETfLLefrRhg{seYPNxf|R}H~[~u^xPlgvsZiK|EebPQqhYSkyUlJYdnTtI{T\qnLVWjtTzIxT\AndVsjfTtIwT\al|V[jbTkIxT\AltUsjfTjIuTYaltUcjZTnIrT[QlDV?jNTjIqtYQk\UgjHT`IsTWak|U?jLT`ImtVqkTTwj@TbIlTXAjdUSivT]IkTVqjLT[izTSIlTTaj\TSixTVIgtSqjLT_idTTIhTSqitTOibTNigTRihtTAi^SHIdtAqhlOgiXSuI{TMAnTR[jrSrI|tLQnlROjxTGIWtKahTSch`TGIUtQad|Sch\SjIatJAg|QgiLShIaTHqgTQ_iFScIatHag|QSiLS`IaTOac\QGiFS^I_TGAgLPwh~S|ILtFQftPohxS~IKTOQbTS?grS|IItDafdRwgnSQI[tDAf\PKhtTJIFtCQhlSog`SKI[tBaf\OshtVc?DOBG@[?u?^?Mjw?CGAS@Enk?T_HoDI}t^annVuj{T|y}XVyj}Vtj?D|IzpYan?UijndiYtX]AlYV]jUDvy}PY]naUejwDhY}@YQlCVqjPd{Y|hX}l?VnjOdzir`]qnSU]jMdyy|xXmnYUXjvDeir@]qkkVijJdyy|HXMkiVgjrddI{`XEnKUQjqdcIpx]]k[VhjEdyIpX]YkWVcjDDxYox]EnEUGjpDaYo`^MkKVtjAd|IoH]EnEUAjpD_yz@\ImsVSjkdsyxx\Um_VUjjdsYx`[Ym[VGjedpywX[emIVJjaDqiwHZimCU{j\doIuxZulqU~j[DnizXZEmyUrjmDkitpZQlkUojVdlZHO@a?l?V_JOEGA{@e?t?Z_KoEwBTdo?x?]_MoFGBs@um|V_jnuVBKTdwrHX\KpuVrKTeCrHX_KpuQrI|coqpXIKjUTbHtd[qZXWKfuUrITd?qrXPKlUTRJTdkqhXRKku@J?\_IoNWEkAuNbJ|c?rBW~KoUMrJdbsq|W{KmuSrFDbgqjXSK[uLrHtbSq^WuKeuSbETd?phXPKXuJrHdbCqVWoKdT}RG|^kqRVyKcUPq~dccn|XGJ}uJBGdcWp\XDKUuHBDDaSpLWfKPuIRCDakpDWiKOuERBd`gopWZKJuDBB|`wolW\KIuCR@\`KoZWQKEUBb@D`?oTWNKCt~rGL_CqFW?K`OBW@{?y?Z?M_FoAg@c?m?T?J_EUnoAS@A?b?Q_GOCZG|ceqPSxi\tMigTSQiFTDibtPih\SuiXZ?LbUoRW|j{uJZALaupBW|kKuLYxLVujbV\isttYyLWUmrUTjctbYrL^UlRVljOtxY}LZUmBVdj[tzYiLcUqbTdkctVZCLRuiRWTi_uFZ@LRUoBSdj{tJYuLPugRVDj[tDY]LWUgBUTh{tbYlLLufRT|iwsxYrLKUlRRTjOsrYTLgudrY\hWudYNlGucJQdhMsdYLLhUbbY\goubYHLcUqRP\kgsTYGLeu`rXdkksLZNLAUrbO\l?sJZJL?UrROTkosBX|LfU^rYDfwu^XjkuuZJMDeyr^Xqkxu[ZMdfYrjXdK|u^BK|eWrtXgK{uYbNDecrnVajptwY|\]qnTVljvtzi}\^Unh[pLrVKr\DrGvN[gL}u}rdTnoxRZwMSU}bdTncxRZuMXU|ReLn[xfZqMTvJR]dqovf[mLvvKB]Lq{v`[lLuVJB\lmwxVZiMVuyreDqwvRZYlmUuzZll}u|ZalouwJ[dmUvF[fMIvHbadqSwf[aMGVHBaTqKwb[LMNvGR`|owx@[ZMDVBBbTokwr[FMNVFB`LpswP[UMAVEB_tp[wJZSM@Utb_\lSwBZVL~V?BZLl_v~\dMZVXbeluOxh\bMmVVRkLtkzD\WMnVUbkDtcy~\HMuvZrh\uwyT\GMtvPblds[zT\DMivOri|sOyl\NM_VObiLt?yB[|MeVRbf|ssx|[yMiVNBi\rkyd[vMrvMRlLr_zP]P?NoGWCC@}@B?_jStiitDYqlZUjkzu]ZNDfirxXznLFgJr`yE{u]anMfdzrxxa{{]XnLfdJr`xY{s]TnGfeZqXxa{c]VnGFczqHwy{]]QnIFbjpxxU{_]UnMf\jrxva{{\vmxfgJm`yEzi]anCFazpPwu{Q]KnAf[JoxvI{K\pm}F_jnpwM{G\|m{f^znXwEzs]?ng?DWA[@Q?f?T_IUUJItd]qrXZklT}Y~\^inzV}j}VFzcLqAwx[]mMvEZb\piwl[WmJu~j_Dn}wF[Am?v{rz|}C~b^qNoVvB|t|w~`^\NvvuR{l}[}v^YNrVwbz\|c~H^bNlVtr|l}k}p^UNuVyby|}c}p^gNjVvryl|O~B^RNoVvByD|C}z^QNnVrRyD|G}^^PNfVtBxl|S}^^RNfVqBs\yS}R^FNQVzbwd{W~`^nNavoR}L~K}F^qN`Vnb{l}[}@]~NrVmr|\zs~Z]{NuVyBvD}g|t^hN[vlR{Tz[~H]uNpvkjudzM|`]pnVvqbtt{o|X^JNUvqRtL{_|V^FNTVhbxTy_}X]fNdwObVLjmttY{l^UnZilt]yl\QmiVSziDs}yb\KmfVR[HYCVAY`FoeGPkGiCbAS`FobGQ[GQDFAG`Ro`gSkGQCzAE`OoaGR{ByCvAU__oNGRKII@nAe_\ohGFKBAC~A__YofGE[AiCbAS_VoJGQ[@}@F?`_MoEWB[GA?n?Q`@o^gAkFa?^?O_}oBGN[FI?N@u_Do\G@K?ABf?C_zo?gMj~yBa~{_un}gL{Ep~j@o^{oZf}{GH~^@}^xo_F}J}qBy~g_|nygNKDYAv@W_noTGJkEQAb@Q_poWGH{CaBN@i_eoYGH[CI@J?g_boHgGkRaGvC^aMpDWbKP]HdAzaYOnwesJuHdAtaZOmWecJ]D\ClaWOkwdsJEDPCl`UPKWTSQ}H@C@aQO~wcSNuEDBx`aO}wWCN]FhCh`wPIw]SQ]FDBd`nOyW[CM]EpBj`vOvW\cLmGPBR`jPBW`SLUG`BP`ePCw`sK}GDBFaBOqw_cKd{]}R^GndVrJx]I|ETaoPdwjcXMJjDxazp[wl{VEKXDhbGPZWpsUmKdC~bJPOwqcSEKXCxbGPNWpsRmJDDValPXwkcTeJtDPa~PTWncTMKLDJbDPRwpCSuIHE@acP`WgsWMBZ@p_vo\WM{FMBr@z_}o_wN{GEMhEXbMPuWysXmNDFNbqPsW{C\MMPFTbePuWxS\]NLFBbtPpw|C[ULxF\b_PuwzsZ}LnEzb[pkwukZELTFZbnPjwtc\uLLFjbsPiWsc]]K|F`bpPgwsC]UHZCpaVpKwe{RUPFGfcQqGXB{`uPPGDcUQAXDS_]PPF~cUQ?xDS_ENpGnb}QKw~SbEP\FrbzQKw}cbEOdFlcGP{XAc]}OTGVcFQEx@c`eQhGtc[QSxEsd]QXHXcgQVXHsdmQ@H`caQVxKScMPtHFc^QQxFcceR`Hvc|Q\XNCfMRHHncsQZXKselwy{^]OoTWI{DeA^@R_gpOwf{SEHrC|a\qCXAk`MO^GLcDqkHSKiQT^IkdPqhhR[iiS~IgdMqhHQkhYTFIWdOqchR[gyS~IOdMqdHPKhaSZIUdDqbhPKhASVIQdEq^HTkgATbH}dVqhhO[iiSNIgdAqz_@w@C?e}Z^MnfwZ{MEFFBX`mouwskY]LRE^bPpgXEkbePnGzc^qNXaSouWlKPeIRBxbcomWpKFeLRAX_CouWHKPe@RBx^soeWTJzd}R@x_CnUWDJxeAQ|x^sneVxJtdzQ}xUcmMVLIrdZQxXaSluWlJ`eIQvxYspeUpKZdlRFXYcnMU`JndhQ{X\skmVdJLdwQrx\CkUVXJHdtQpxVsmMVLJBd_QxX\CjeTxJld\Qyxno?c?Y?Je^R^xgCwM[@K|eZR^xoSrm[@KxeXR]XecvuX`LzeTR[xdcv]X\Lte{RHXncq]XPLzexRFxmcqMZlK`elRXxlSt}YxLheiRWXisuUYpLbe`RSxgss}YHLPeuRQXmCsuZ\LJ?F_COAW@K?]?PfhRpHxk{I]bNMf_rphxk{i]bNGffrjhw{zI]VMofcriHwKyq]JNAfTrghv[yY\~Mcf]rfHukyA\rM]fZr`Hq[wa[jMEfGrdhp[xi[^MWfE_AO@W?s?Q?L?DsDH[[m]VJJhduqyyAT?M_LOPgASBy@D@M_XONgDSCYBS}m^\O^gMRzY@C~u_XO@gDR~x}t?M_LNxgAR}x}D@U^hOXfxSDx|D@e^LOVfqSDYBS|}_|NbgMRwXyk|M]nNXfmruxm[v]ZjL|e|r]YJdAu``P^goSJyKTCEbLO~gqSOyKTBebLO|gqSMyJdBMb@OvgnSLYC\AE`JOfgSsIyHTD]a\PZgeSUYIDCUaPPTgbSSyPdEec`PlhFSYyNTG]cTP|hCS^yMdGMbpQ@gzS`YQTE}bdQVhIS[YSdImdPQnhRSjYRtHedDQ\hOSexxk{}]bPVglsUYILDUafRKh]soIXLKid~Q{h`soIWlJyeNQohcsqiU\JQeZQuh`smiW|JaeJRkgGsCy@|G]cVQHhAs_yOLNafbR{hus}i\|MqfjRuhwszi]\MYefROhssri\\MAffRahys|i[lNievR{hns}IZlLQfVRehksyIY|QahDSHiRT@ycdOUhLR~iPT?ycdOEgXSViLTAy`tPeg`S\iITGYaTP}htShi^TJYfdQmh`Sti[TKydtR]fVRhhrtOIhlTAiFTMiatRig|TAiVTGietGyc|QS?DTQintT??tUK?HTUio_@IjDT{?DT[ip_@ijTUF