CAT(3224,1)

Sparse6:

:~?qW_?O?G?CB[?G?D_A?@g?g?YA??E_Ao@GIWCuA^@M_m?SGISDEAd@P_gOSwIcDUAh@R_ioYoH[CqAT@s?soYgLCEiBR@g_uoYwLcEqBZ@j_q_VwKoEEBM@__k_VGJODuAu@]_k?XGKODYAm@b`Ao_wOcG_C@AF@?o`_OSF{Bn@x?~O]?NkFCBh@r?zO[_MkE{Bv@m?}O]_MCHkAb@Q_gOeGRSHeCpAX`LOfOPkGwCvA[@EOcgQ[HQCyAI`M?awRWGeC]AT`G_dgQ?H]BT@h_sOTgJCD]DfAt`YOh?U[IWDjAd@YOk?TkI{DdAp@VOjGT[IiDcAg`W?iWUGI]C|A_`NogWS[IIB`@n_vOrWXcKmEJBF`bOpGWSKMDwBK`^?rWVgKmEAAx`\_nwVOKAEOAu`d?mGXGJ]EyBY`m?vwZWLyEgBW`i_uWYoL]EaBM`g?swYOK}FW@K_dOQwHcCmAT@s_zO\WNCF]Br@y_}O]wNkF}B|@m_wOZwMKFMBdA]`OOfwSKIMDDBP`hosgXsLAE^CIAEpB?`{OkG\CIAAPB?_sOkGJCGABP@o_cOcGJC@a@p?g^wOyG?CN`~@BW^oNeG?By`~_}G]gNmFyBv`}?|g]OOEFgCB`x`?g]_NYFcBt`x_|w^_NAFaB|`v_}w\oNiFYBw`u?}W\GMuFUBm`t?zG\WNAFaBh`t?zw_wMAGQBaaC?wW[oMMFOBd`r_xGHKCeAR@B_aoPGHCCYANDZ@KOegRKCuA^@M_eoRgH{DqA|@\_oOWWJ{EQBF@a_qoXwKsDYAp@V_koUwJSDiAr@Z`DOawPKKUENBE`cOqgXKJ}EBB?`ZOmGU{WSJ~E@BBp_?osWOJtEAA|p_onKV_JvDvA{p\_nSWSJ`EFAxP`_mKUkJdDkAwPY_mKUsJRDnAsPZ_k{USJhDtArPX?m[USJNDeAspX?lCUCJ^DlAppW_lsUoI|DiAoPVol[W?IzDZA~p_OjcTkJxD\A~PV?nkTiIrDWaj`\GmgTUIkDrai`\giwVaIkDvai@WGiWTyI}DQap`Sgi_UIJADRa^@SWfwS}I_C|af`NWfwTEH{DOaH`RGagSyGgDLa\@^Gf_VyHuD|bA@MWoWR]KCCwaYPLgekREHfCqad`KGhGQ}ISCmaT`PgdgSaHWDFaS@PGdOSUHQDBa``HWggQ]IGCeaQ@PgcOSaHEDFaN`QwhGQEISC_a_@FGboSIGyD@ak`EWjOPmIoCYaJ@RWhoPaIWCVa`@CGaOSAIACPbw_KWE[BI@h?t_ZQ??E{Be@p@?_`OOWGSCAABGN?\ONGF[`S@z?}_^pRwiKTAIjDVajO[WM[FIDNAg`SotGYkLYGtCZaKqGPCcaWPFGdCPQF`DKa_O~GfCOQF`CKa?PFG^CPQF@AS`sOhGZCHqFPA{`oOlGZCIqB@BK`gO\GLCKQBpBS`COrGOCKQ@P?K_GOFGCC?QA@?C_WODGFC?q@P@S_OOVGHC@q@`@[__OTGFCCp{opS^GKRFpBCPp@CcaWMLGdBapmp@cZoOZE|CFQBowC`CL~GOB^PmWvSZaLnEtbZPk`AkZOOnErCJPjpASZCOhEoCHpjPDKYwPNEkCSP~OtK^{LVF}BTPh_~s^{LPF|BRp}_sc^kLJEbB}PgO~KYGNnE_B{P|?rk^WK~FtBNPe_}cXoNlEZBypeO}{^cKnEWB{P~?qkXWNtFzBIP{OqK^KKfFqBHP{?qC]wK\FnBFpao}C]wKXFnBEpx?{K]KM~F_BpPuO{k\kNNFYBrPu?zk\wMnF[BjPrOyK[{MdFMBgPsoxS\SMXFSBdppo|C]cMRFGBtPyowK[KNZFABuQfoD[Aq@Z?m_WOJwCsAU@NIj?SOIgDKCQAJ@B_aoOwGcCaAL@F_boQGGskK@V?k_UqqODsA}@`GHcDqAgtsYqLZJEDgqrpXCl?UNJPDcqqpX{kgU`JADfQoPXck?UZJKD`qr`WkksUHIoD\qjpVciwTtIpD]Qm`U[jkTdIuD]ql@V{jST|IvD]qnpVCjcT|J@D`qo`Wkk?UHJEDcqq`W{kkUPImDKqk@R[i{StIRdIqdHQChESdIwDEqmPP{j[S\IsDDQl`PcjSSVIHDXQa@U[jCSNIjCpqjPKcioRJG~DQqO@S{cCTLIiCaQiPG[cGTPIdCaqPpS{cWTLHHDSQi`HSicQPIaC[qMpSciKPtG}DQQNPSSboTFI^CYQgPEki?PfI^CZQgPFCi?PnGoDMQf`ESbCSzIjCUqjPD{ioP\GiDMQf`DcakSzIUDAQe@Osh[SJH}C|q^POCf{RxHqC{Q[pNSfORrHhCdqYpHkegQXHtCoQ\pKSfWRBH\D?qV`O[d{SDH[CvQZPJSeoQvHXCvqU@MKd[R`HPCiQSpIsdGQjHMCrQY@ICe[Q^?p_XoKgESBE@f?s_ZOLWEcBY@j?~_^ONWFkB}@|?y_]OMwFSBq@vLgAbPQGg{SeIVDIaePRghkTeItDWebBVHggtyYGL\emBPxjoseYyLGenbQhkGsqZ?LJenbRXhwuEY[L_egBWhk_tIYaLbeibWxk_tMYgLaerBThkwtaZILVekbXhjWu]YsLddwBZhm?nIZ]JpekbNhjWsAYsK~e]rMxfcraXtKxehbLXigr]YgKueXBRXhorQY]KreWBQHeGseX]LFedBJHdosqXYLJeaBIXggqiYKKjewBHhlwqaXMLmegBEhbWtIYaK[eIbUHiopYWgLVeta~x_GuuZWK?ewa~HmWnyZcJ|d|BYH^WuiVqLhdzBYx]wuuVoLketA|Xl?nMZQJsdoQvhZ{mEVDJbdqqxh[cm]VRJgdjb[hYovMUiLpePbOXgWqUXGLAeMbGHcOpyW}K`eAbAH_woiWKKHdubCX\wpMV[KQeJayh\_peVUKWeEauh`_leUoKJeFAvHa?luW]JZe@Ash__lQWEJR_VOKGD{Am@Z?k_QoHwCsAY@J?f_SOIgDKAa@T?hf~@zg}C]}NnFxb{P~G~[^iNzF~b~QBH@s_uOdGScHrz@~C}w^tNlF{r}@}C}{^tNxFwr~@}S~K^zNsF|r|p~[~W^zNtF}R|P{[~[^JNuFqRvP|c|{^\N]Fury`{C}k^BNhFpSBPz\?{]xOMFlSA`y|?o]rOJFkRt@|{|W^bNTFwRsP}S|K^hNQFxrra?|?c]`NNGCRrP{s}_]VNKFrrnXvszq\vMxf\RjP{s}_\^MmFrryPtS}k\XNiFTs?@tK~w\PMfF~rha?t?O\HODFQs?PsL?K\FOAFPRfa?|?c\@M^GCReq@kxs_^M[GFR~prD??[tN}FKrdQ?cx[_JMUGBRca?KxO_FMRG@SA`p{xC_VMOGER\HmsvUZrLve{R]hncvmZzL}e~r_XoCwI[FMCfAraHosw][RMJfDRnppc{?[\N@FErq@u{{g\pNHFZRkpwk{[\jMsFbRkPwSzG]FNCFWQfHRshuTPIidSqoHWSkEUNJGdbSFqPDACcTO_HCsUIJTDeajPVgjS_aELGO`fQBGXS_aDtGK``QCGVsJQOlAocNOjHBSbQDDAgcXQJGSsHQPDA[cTOeHCsGaOlAKcNQEGQSbQBdGk_|O\HESCIAT@E_fOTgISDiBD@]_tOZgKsUqM\DsbjP[GySZqI\EsahPmGhSRqK|DCbRPOGsSWQHdEKa\PaGesXAHLCkbLPdGdSPaJtC_b@PFGnsOqMtF[aHPwGasOAL\CGbTPkG_s[aFlFC`~PoG^SMqOLBob~OyH?SLqN\Fc`rOwG|S^AEdBWb|OtG}stiZDL]efRThiSsAZLLkedRYHgsmqXTJseXQ{HdsbaTdIwc`QNHUsiQUtIkdnQiHYshaXtI_eZRNHRsgqVtISe@QcH^sgAVDJgdBQxHPSjqRlJCc~QoHNSeaUTHkdhQ[HXsoQQ|HceFQWH`SqQQdK_clRFHIspAQLKWcfRDHHQmhV[jqT|I~d]rqHxS{e]NNEfarpHwS{M\~N@f_TCQ`TOkg^SHIGTAa`lOkgXSHIFTAAatO[gnSEIItAAa\OWghSFIHSwq`|PCfDRcIGT?y_lOQgDS@i?SxQalM[gnReIJTCq[LPOf@SQHnsvQ`lLwgXR[IFS~Q^TNof~RzH~S|q\tN?frRwHvs|A\\NWfZRtHuS{Q\DNKfTRqHstQ@jktyYxL^eoRWXkcuMZDLderrXiMdFUbfPogxS[YL|EybZPiguSYyK|EebPPcgrSXYKLEMbDP]goSVyixTEieTXikDSii`TEieTUiidSihpTui}TOinDRyjPTAi]T[ifDUyhXUMiWTdiedXIk@SmjCTLiodRIlHSiiOTjicdYih@UYiSTgicdXyixQQiqSeikDHYfxUAiATai_DWYipRqh{TSi]dTYfHTui}SzinDMiepUYhoTgiZdXye\RUhhSoiXTKYdhTih[T[iVdUylHQijUSkitDIycxUMhQTdiSDXIcHSUhETFiPDPibpSUh?TEiNdPygPPmgyTCiMDOygPPaiGSYi`dEYvO~a^tNxf}r~H~\JUdlQvhXSlIU\I}dbQohUSjiTl[OlzVDJ^toqvtZsm@VAJ^toQvtZgmRU{JdtmqxTZgmLU{JcTmqw|X}lBU_jMTfirl[Kk`VDJHTpAqLWsmLUNJcTbaw|WkmDUKJ_TaawLW[mRUHJdtaAxTZ[kBUxJ@tmAoTW?lrUwI~T^qu|VklhUuI}t^AulV_lhUuI{t]aulVSldTvJWt\au\ZCjdTsJXtkam\Ywj^UoIwtjqmDUol\TmJWTZQt|YskHUjJBTjAolXclLUdJLteas|XWlDUWJQTdqs\Y_kfUTJTTiQqd`OoVWLkEUAJ@T_eoaVTjjeCzAP\YoaVQkHdtJAP\Mo[VOkGDsZ@x[}m[WOkFDrYx`_}oEW?kAE?Y~x_IoIVuj{E@z?p^]moVrjlD|IzH^Un_VfjxDyY}H]anGV{jrD~i{h^unqV`jpd}y{P^im{VijoDzIzx]mn[VZjvdvY|h\qiDTCi`tPYg|SYpKW}kSEOJCxb}pvW{k]uJJDlaypUX@kTEOjDHcMqAWVkKeOzGP`ap{WSk_EDjFx`UpoWbkQEMjChbepcW_kYEGjEXaEp]W\kWeFzE@`yosWtkMELzBXbYl`UmjVtkYu\ZIlhUujYtlyvLZarCXCkbEXJGheMq}XdkreWZKpeAqwXgknEYjJheerEXXkleXJKPdirUXUkueUJL`d]qfXTkiUSJILdIqYXdkreRzKpcyrOXIktERJLHcmqOXjkbeZZHHeqo^WOkFUCZA\`IsVYIlCu`jPDg]sYXyk}EbjP`fmrmYMlEE]ZPhfargYNkzEcZMhhAraYNkxecZMPhAs?YBl@E`ZOHgQryXmk~e[JNpe}tAYclPehjSPiUsyYhlMEhzT@hmsgYWlHeejQPhes{YTlOEdzRxhYteYilYejJU`imtYYolVEkZTxjIFRBj`tPrWx{[yMTFKbdq|x]snaVfJtdySNIF\Bi`rOvg[Svy[LMAexR]hmtdiq|XakfUTjIUDzBD`eohWUkIu_JOTgErzX~k~UwB[tmGvPZ`LruwrZll{vJZcLnUwBZTmGuxZ`LlutrZll{urZWLnUtBZdlWutZTLlutrYTlcufZWLgutBX|lWu`ZTLfUqrYTksufZKLgurrXDkgu`ZHLfUqrWlksuNZKLbUobXDkguHZHL`uoRW|k?uJY~LbUobVljwuHZBL]UoBVljwuBY~L]Ulb[\j_vJYvLqUmr[|jcvPYyLrVF?BK@m?t?[_NOFZd?@}@B?_mV?GgCcAMIdDSahqUxJcdiQnHXckRdXq{xY[dMSfHsdIQtHUcbQRhHTIyddQihRSfiSTuIzL\imvV[jmuQjHdcmqNXHkcUcjQdhMsjYVlJVURi|tgyj\WMjVUriTtsyh\[MhvRriltCyn\OMjVSbhdswyh\LMhvQbhdswyR\LMdvSRg|s{yP\OMbVOrhTsOyR\DMdvPrgDsGyP\EM_vOrflsSx~\CM^VMbgDsGxx[zM_vLrflrcx|[wM^vMbelroxh[zMZVMRe\r[xd[wMWvKrelrCxl[qMYVJjeDq}x\[omVvJB\LmkxZZiMTvDbjDp_yt[VMkvUra\tswj\[MIVCBdDpGxT[PMSvBRdDo{xT[MMSvArclooxN[eMDVGb_|qOwR[bMCV@BcloWxN[DMRV?RcToKxH[AMPu~bb|o?xBZ~MOU}rbdnsw|Z{MMu}Bb|qCvtZxMOU|Rbdn[w|ZuMMvER]Tpkvh[YLxu{Bd\qsvb[kLvuzBbLmwwvZlMLVp?@k?}?\?O_HOCZy?@M?j?Snj?DwAs@a}l^Wnjvtzyt|a}e\]nifWJy`t}|{]Gn_Fajvxwe|{]Jn_FbZvxwq{I^Ongf`zyPwY}a]BnAFsjoP|Az}^Ln?frzo@{yzw^Im~FrJnh{mzq^Lm|frznP{y}S\uneF\zxXva}M\rncf\Zx@vQz_^CnbF[jmH{U}M\lmvfqZlp{azS^CnbFZJlX{UzM^BmsfoZl@{IzI^RmrFtZk`|Q}E\`mpfoZwPuI|c]wnYFmjuXze|i]nnWflzu@zY|K]knSFjjsxyu|Q]bnQfiztPyQ{s]_nMFgjrXyE{y]VnNfeZrpxa|u]Sn]fdjv`xU{_]RnFfcZqPwz@S?X_LoEgBK@m?t?\_MOFgBc@y?z_{?NoGWCC@}@B?_n^VoJv}CH@x`CO^WOsFmB|AD`@OaWOCG]Ah@l_kO[WIsE}BX@Z_wOVwLsDuBd@`_yOXWMsEMBT@r_zOXwLCFT}I~H^bnqvxz{u@x@~__O_wFsGE@l@x_\O^WFCFm@`@f_tOLWLCBM@T@Z_VOVwDcDuBD?d_SOWWCsEUAh?^_kOGwIsAD|d@N_hNlvucDD|p@R^]OSVvSC}AD?X_bOFWGc@m?L?L_GOAw@C?}?d?@_JO@WAc?L~s~n^~N{v~b~D~O~t^uN}V|R~\}k~b^rNuv{b|d}_~\^hNwVyb||||@H^`ORVwCCk?}?Z?M_EoBw@s@A?d?P_GOCgAMH{?j?R_IOCwAk@R@N_goSvEZb\pixD[cmPvHZc|qYxV[lmUWhsSMIXC~adPOWhCS}IHDJabPRWbsRUGxCvaLPKwecQUH@CvaXPGwfCQ]HtCja]PIWfCQuH\C|aWPMwkSPUGpDdarPDwgcO}IPCRabPCW`CR}GXDBaDPOW_SQuH`CFaVP@WcCNuHHC@aPO~w]sQ]FtCj`{PIW]CPuG|BtaLO{wiCMmF\DT`uPSwZ{MMFBBd`soxwZCUMExDf`lPXWiCLMElDTahOtWXcT]ItBP`fPUWjcK]J@BJanOqWWCT]ItBD``PUWjcJmJ@A~anOnWQ{HmCrA\`OofwS{IUDFAj`UoiWUcGmDpAN`ZObWTsHEChAr`WOcvoZw\{I}T^KndvrZx|{y}f^TniXCSWuPHENcRPcWus`MLtGTb[QCWuc`ULdGPcHPkXCSYmPLEncQPjWsc`]LPGZbRQEWrs`uL@G^cOPgwrc`mOlEXcKPewqS`uP@EVbIQFwmkVeJnD|a~p]woKWMKJEFbDpaX@S]]O\FjcEPyW{C_UNHGHbpQ@w~s\mM|GBc?PvWyc^MNlFXbyPtw~C[}NxFRb|PsWxC]uMXFpbdPzwlC[MJXFDatPpwmCZuM@DnaxPnxPsaeSdGldGQIxOSf]RtIFc{Q`XNcfES@Htc~Q[xIShmQhI^cjQfXHsheQ`ITceQdxLSc]R\HJcuQQXGCd}RDHDc`QWXKcbmPxHhcrQNxFCduPlHXclQLXDsgePdILcWQax[OCSAQ@F?a_QOGzpDwi{R]JnEvbKI}DfAp`YomWU{oAVjKCd{r?h]{myVvJ}dxq~H]KmaVjJkd{qyh]{myVFJedxq{H[klqVFJedoqvh[kmaUzJkdoqyhZ{iqVvJ}dWq~HT{iYWBIieAqiH_[lAUnJSdlqshZKkiTBIcdfqrHS[kQTrI{dcqmhW{jyTfJAdZqoHUku?@]?l?W_JODwBEBZ@p_vo\wM[FT|e}v^YnmVvjzmN~GBc?p}W~k^mNfFvbypzW}K]}LzF@b^poww{[U\DL~f@RhxoCyU[xLxfOR^XrsvmZdMJeyRbXmsw}[HLrfCR\xosvU[lLlfLR[XrCu}ZXMPewRdXlsxMZLL~etR_XoSueZ@LxeqR^XkSvmYxL`enRXXjSuMYtLfetRVxjcueWLLNeDRSx`CtE[xLHfORRXrssmYDMdeaRhxgsyM[lK|e_Rexfsxe[TKvfFRMxpcreX`MPeYRdXeSxMXTMDeVRaXdcw]XJKheRrFxc[qEYhKXekRFXispmWlLReHRRxactEYhKLekRCXiso}aHCtaZpKwfKRuHvHjcvqZXKkeeRNH`cpqVxJKduQvPIgjsRiJ\CqarPIggsRiIlCqafPagasQIK|CYbJPEgosVIHLDyaJPcf}sWh~|EY_BNugjr}iJ[~aarP]fyr{IKLDq^fPOftrziIlDI^ZN^fprwXzK|u]vO}fhsOhy|CA]jOwfesNHyLBi]^OqfbsLhx\BQ]ROqf_rpIE{{I`jMygUsKHvkzy`^MsgUsKHvKzY`^Mmg^rkiG[zAaBOwfSrjIF\Bq\VOYgIsFiBL@q_nOagFsHIA\AA_bOGgRsBID\?i`RNcg@s@h|L?Q^NRwhlsvyZlLUerRVg~S{y]tFubtRtg{S|Y]tF]bhRrhuSZyMTNEf\PpgsSzYLdNEbTRnh?SoyOdK]cDRDhoSnY[dJ}fDR@hrSkYUdMmfPQrhNShYSTIed@QfhTSeYTtHudXQZhHSqYXdH]eTQThESryQDLMc\RPhZS`yPTJmcPQxefrSxiKtUYrLViYtMYe|Q}hfSpiSTRYiDQui\SjiPTSycdTUhLTVihS~yitOMihS@h{TRYiDNui\RziJTPybTSmgpTHi\TCYftPUhxSRiMTAy`tQEgXS^i_T@YgdOeiDSFgUsKYD|BM`nOtg[sMyFlB}aFP@ikTgYjdYMitUdjOTbyqTYUk`UbjITaYrDWuklUJjRT_ytTW]lPUDi}TeyoDX}j|U\izt]ynLVUjbTrjITYyrDU}klTliqTeylDX}jLU\jRTVytTUMlPT`hus{Y\|NMfnRtjUtkYt|]MnNVdjsTpY|d[enTVFjsTny|d[MnTV@jxTmYvd]}n`UzjvTky}TZ]n`UtjhTtyzT\EmhVXjmTqy{D[}m|VLjyUCzAd^eolVvkKUBZBd`EotWNk?UFz?daMoDW`kBT}y~t_moPV|kWULzEdbmpdWxkVUHZDdaepTWfdmqwXZ|@e_jOVgFsCyALOEgFR~h{s~Y^\\EmjVRjdtryxleqrBXokquZjK\dirNX]ktuVJLLeAqjXWkquTjK\diqfX]kguVJH|caqjXWkeuTjH\caqbXIkfuRJI\eqpzX?kwuZjF|cIrNXEktuPJLLiw?i?V?KrUxjkt}c~QbhOseYRlHmirT\iltVyk\UEnjVxjzt}y~|^uuXZXlmUsZZTk}uLZRldUtzXDlUuLZ@laUqzXDkMuXYzlgUnzXtjuthZ@l[UozWdj]tlYzlYUnzVDjurdYbkzUhzMdiUsxZRlOUtzRtlUslZXlLUvZRDlmtdYTlVUcZUDhMt\YJlWUbzUTgusHYhlCUjZOtimtDX~l@UhzSdgErpYhk}UjZNTimx{?N?H_CZftn}w@\Bl}VOZ]tr}vp\Bl|VOZ]Drevh[|lxVMzeTmmxlZnmYUzZeTmUxlZhmYUxzZtrevD[|loVMzctpmw|[jmMVIZcDpUxH[VmPVEZ`toMwL[RmGV@Z`DquwX[pmDVJoAg@c?m?X?I_DzqTwq{F]OnAvbjoLwq{N]InGvbjpLuy{N]Imxv[JpLua{B\knAvYjo\vQzF\wmrv\jklviyz\_m~vVjnltQyJ\GmgvSjg|siyn\MmlvRJjG?{?e?P?F_CoAL|QtFYflQuiZTlim}d^BngVpzxt{U}d^HneVsZxt{m}h]jnkVjzytyu|x^HneVoZvt{m|l^Bn\VpzvD{U}t]pnnVlZzdzM|L^VnSVuZsd|U}t]^nPVvzsD|u{j]RnJveZrlxmxf[vmYvMzflre~`_boRVz[Cd}}~|_\o@WG[?E@}~p_boRV~[Cd~n?x^roOV|{Bt~U~F^`nqvxz|\}f?l_JoFWE{BE?v?`_DoIWA[AU?^Ad_hojWJ[IeAn@t`Fo^WQ{FeCfAD_to_WM[GeB^@\`LogWK{EEC~Ap`dosWV[KuDnBT`^ovWW{LeEE{Z]NnGwD{B]@f?b_ToHw^KPmGBCR`}pDw^KO]GBCJ`}pBw[KPMFJCV`spEw_kM}GZBvaCo{wjJyL|M}^`FodwQ[GmCNABaop[wjKVmIzDvakpYwkKU}IzDfaQpRwiKQMIjC^aqpOwlKS]JZDJaYp\wfkVmHrDraSpTweKS}IbCnbgpcWw{WuM^EHbdp^Wx{WUMNE@bdpjWr[ZUKnEpbNpmWs[YeMFE|bRp|Wy[\eN~FTb|pwW|[]UNfF\bvpTwi[S}OBGZcAqGx@K`}OZG^cIqGxAK`mMNFNbd?@XFkaW?ZHDcTqJ?@KcMP_?Hc^?@XFKc]Pg?Lc`