CAT(2718,1)

Sparse6:

:~?i]_?O?G?CBC@L?f_QoNOE{Ba@r?x_ZoMGHGBu@~?}_`OOWGCBg@~?{?]oMoFsBgA@@@?]OO_F[EC@h?u_YoLGEsBU@h?u_YoZOKCD}A|@X?qOU_KsD_BJ@f?moUoLKDoBP@a?kOWoJSDcBB@b?loW_JcDsBB@c?ioToKsESAl@f?ioToLKE_Al@E_boQGICDEA^@S_hOSwHoD}AY@__e?VgGWCeAI@J_a?QgRgAy@^?o_VOKGD{BI@f?p_XOKwEKAa@T?h_ToJWDcDaAt@X_loVGJkB]@r?w_aOPWG[CeAV@I_eoRgHcK[DsAz`]_mGV_JeD{At`_?lwVwJYDuAt`]_lgV_J]DaAS`V_dgU?HUCwAs`L?kwRWJIDXAm`UojGTsIuDOAw`\?hgSwJeDcA_`Y?ggUWIECmAb`K_hWS_HaDKAV`K_iGSwHaCyAh`N_iwRoIiDQA_`T_gWTOIICyAb`Q_fwS_HyBx@}_}o^wOKGAB_AS_x?dgMGHUCw@r`L?\WRWFQCa@u_{?cwQOF]BqAQ_|_cwNOHED]AA`A?kWOWJABYA}_v_oGLoJ}BT@j_uOb_OkH?CNAN@BOa?PkGgCXAH@DpE?C[AI@H?e_RoHWC{AU@LAB`@O`GLkE}B\CkAS`HGdWQYHSCdaI`FGbgPYGmCZaO@DwboPUG}CUaK@HGbGQYGsCd`h@GWYGQIE_CbaFpCWaCOqG\CLaS@AWd?OiHOCJaK@@g`?PeGMCYaN?zgc?M}G}Bo`m@EwbgLyEyC[aS_tgdWLaHSBVaT?ugZWQmHQBXaH?rWaWK}GgBMaH?qga_KqGeBJ`b@HwW_Q]EICfaP?ogcWKMHAB@`}`?w^wOUF{CC`y?}g^_NYFiBz`w_|w]WNeFcBw`s?wg\OMQFQBb`i_ywYWMuEgBk`n`?G[GOIF?C@`b_xW[wKeFKBGb??JgECA}@P?i_SoIGDKAiA|@__noPGGkCMAL@G_boPgG{CaGRCJaDOogW[KEEHBD`bOowWKKIEJBC`bPgGr{XyLFE`bPPdWq{XYKqDybK@^GrOVmKuD|bM`^wr_VyJsE]a}@gGnWX}LAD}bP`^wsOVuJmENa{`cWn?XAJmEQa{`cwn?XQKEDsay``WmoWQJiEFaz@aGooVQKqCybL@MGr?ReK?Dmb@@[GoGU}JUEEau@aGlgW]KEDgat@`Wo_UeJJDfarPWwkSUQI}EQao`dGk?XMK]D[bG`Vgq?TuIqEZal`fWjOXqIbDQagPQ_pcSkKZDKBFPQOoSW?INE@AcPdogKSKKjEUA`PN_psWoI@C~BEpMopKRsKTEJA]PKWeCQ}HhCraXPJ?pSQwKREJAUp[Oi[TSJfDSAxPT_gcT_ILDVAapLOhkR[I^CuAfQA_CSAQ@F?a_QOGwQSHMCbAS`IodgQ{HeCpAZ`MOegLSEmBX@i_uOYxB__]OOG]cMaAX?w`}OQG`cCAGH?__qOKGIcAaAx?o_uOGGNcAaBgwg`MMMGTbbADH@w_EOYGBc@ABg~o_qOSG?b~aAw~W`YNyGWb}ADw|{^EN`FlbuPzhBw]ePAFjcO@yhAO\]MqGObkACWy_`eOuFUcL@tWyG`MOgFRbhADWxo`YM_GWbfaDwxg`mMUGXcL@rHA?[aOcFIcG`qWv{[EM@FAbaPowvKZmLtE{b^PnWu[ZULhEub[PlwtkY}L\EpbWPkhB_YiLWG]cM`iw{w^YNOFvbr@|W{W^INIFsbq@{w{G^aNqFab|@wGzgY]M}Ehbn@iGzOYQMwEebl`hWaSPQGf?k_UoIwYsLaEnEibTpjGskYYLHEgbSphxQ_hKSZIKDGqapQSg_SbIRDDQaPQSgGS`IMDAQ_pP{gOSJIADBq_pOsesSbHnDHQcpLsgwRHIOCrQbpKkgoRBILCpqapKSceQVHIcbQPxHCgcQ@IIC_qa@GSf{PnI?C[q_PFCf{PhI@CZQ_@EkbCSJGrDBqK`OsaaPTGhcUQJXD[aQPFGacRQHxCkekRrHiC|qZ@NSe[P\HhCVqK@LCdkRxH\C~QV@NkdGR`HqCiQSpMKd_Q^HPClQUPICdSQXHVCfQT`HkdwQFH_CaQVpGkfKPzHtC^q\@Fsf[PtGzC{QN@MsmAVBJ^dnQvHZklgU`JZDgquPYSkGTDI_D`qoPSKj_T|J?D\QnpVKjSTvIuD]QlpVklWTdIsDkQtpU[kSTbInDbQp@UClSTXIlDhqj`YcicUTIjDeQi`X[iKSzI^DQqf`SchgUNI[DcqepXCh[TLIXDSQe@S{hOUZITDfqd`XsPYGnCT_UoIwDcLmEtBXbyP{w}S^UNnFuboPwg{KpkWdK\EIRF@a[pCWfKNEHRC@acowWtKKEKRBPbKp[WZKMEIrB@aspcVTKYDsRE@\KoSW`KBEGr@@`{nuV~J}d|q~H^Sp[VLJdEIqxpasmGWvJbEMqx@bcn[WLJxECQ}@_{nCVhJuDxq{`]kmwW@KADwR?P\{mkWRJlEDqz@`SswJhDtazP\wnKVaJtD{a|p^gn{VuRTHkctqXxLKeaRHHecqqWXK[eIQ|H_cnqUxJkdqQpHYckqTXI{dYZ?LVekbWhkGtaYsLWekbVHjWt]YgLbeqbThk_tUYyLSenbThjotUYaLhehbYxiOuiZKLPesBSxkwtIY[LnegB[XhwvAY]LkefBZhi?uuZKKiesBJHkwqmYILhebbYxgouiZ?LAeaBWhgWuEZ]K~ewbOXm?sAXwLbeqbNhk_ruXrKze\RLhfCr]XgLleYbZheWuqX_L\eXBVxeGtyXYLYeVbUxdotqXMLJeSbRXd?sqXKLJeQbRXc_sqXCLGedBGXcWseYOK]edBGHhGp}]?GCcBQ@X?{_aORJEdaqpHW[kIUBI}d_QnxV[juTxNHF`rqpwk{g]HNFFaRq@wk{K]LN?FfroPyC{G]bN?FeRo`xs{C]ZMafPrhHsCyE[~NFFJRq@rCx[]LMRFfrdPyCxO]bMOFeRc`xsxC]ZNIFErqpp{{c[\M|FCRnppKw[\|M|FAR``vswS\~M@F\R_pv[zo[DL}F\R_@v[zoZ~LzFZr^PvCvo\rMvE{R]`vCzcZrMuEyrl@m{zSZlLqFYR\@usvK\jMIFTrb@tkwk\XMdFWRhpt{yW\\M[FSRf`tSxs\RMpFKrepu[zG[tOYGGsCiA\?y_`ONgJbuyBG|q]yOWgJbuIBG|i_oNXgIBtYAg|]_kNUgIBtHyP@U]eOUgEc?y@`?Q_UOAfnB~H{?~u^{N^fzCAI@O~a_QNvfub}X|w~m^[NyftC@X|`?]^UOEfxbxx|G~U^ONsf~bxI?G}Y_?Ndfpb{X{O~I^ANoecRQhhKsmYZLKgUCPIDpCY`YPDg`sOiGLC[`dPGGXsQQEdA}`bOogbcFYBxCeaOO]gaCEiGh@qaKOZgYcIYDPBY`UOvgRCNiG@Aa`MO~gPcMyChBu`GO{gOCMICHBi`COxfYRlhukz]\rMwf\RnHv[zu\|M~gsCQiHXEeaWPigqcYIKxEibKPhgpC[YK`FMbEPqgncYyLhEAbAPkgvCVIM@Dyb]P\gksUyJTDYanPWghcYyLhDUbWPSgvCSIM@DIb]PPgec[YHxFMa[PqgISDiAl@]_rOWhFscYQDGecVQIhHC_IOPHQceQ@hHC^YQ`F}ceP}g|CdYN`H]buQUgzcdYN@H]bqQUhBCbIPpGacYQFh@c\IOhFYcGPthRcjYTxIed[QghKChIRPIYcqQdhNCiiS@Iqc}QjhLcgYSXHucwQah[cliVXJadsQvhWCkyUPJUdaQs_\oNGFSGUCNAE`COagPKRyI@C~a\pNWfcb}PzG}c\QNHF[mUVNJedpQxH[[xq[|M\fLRexrL@u_|O^gLSFIB\GYcPQFh@s`YOdMWfXRgHvSxq\lMcfFRdHtsya[dMWfDRgHosxq[DLsfFR^HqSxQZtLgfDR[Hosuq[DLserR^HkSvaY|LgelR[HisuqYdLGerRRHjssQZDL?elRNHistAXtLKeVRPHessaXdK_e\ROHdSrqXLKSeVRFHespaXdKOeTRHH`sqAWTKOeLRFH`SpQW\JofRQ}HtsnQ\TJ{fXR@HvSoA\lQG?l?W_JoEWB[@ih[?[_NOFYe_@}@B?__ioTwIsNQFlBt`wo{w]S\QMjFUbgpswySiqT\IldSqixTSrUXhKreXRKHeK|y^@N^forwx{TDMajPSgesRyHtHactQXhLsfYRdTwivT_ImtVqjdUCipTbIlTWajLTSivTVImtTajdT_idTSIlTSqjLT?idTSIftSqiLTSiXTVIfTTahlSci`TIIftQqiLSoiLTGIfTRQg|SciFTJIatQagdS?iLTGI`TOQg|RwiHS~IatNQg\SChtTAI]TOAf\RshnS~I[tNafDR[htSxI]TMAf\RQhlStiYTLielM{hbRpIXs{AeTPoi|S]IoTFQj|UCgrTbILtWabTPWh\SWIVtDqeDPKh\STIWTDAd|PGhXSlIGTCQd\Q_g\SiIEtIQ`|QogXSjIDtAadlO[hPSHITTAAdLOOhJSEIRTHq_lOChDSBIQT?ac\NwhJSfI?S~qctNkhDR|IQS~Ac\P{fpS_H|TGQ^LNShbSrHztKa]tNGg~RsIOs{qcD[g?T?K_DoBW@{?ymk?Q_GoCIz_@Q?f?TjmTvizl\umxV]jkdXIzXUYmsTdjaDbipx[YmIUOjaDcYwhXMmKUQjjdayz@WukWVUjDDuIpH\YmmUGjhd`yoh\UkKVSj@DsIo`\IkEVPi~dsyoH\Uk?VSjhD^IyHVum_T}jed]YxxVmm[TyizDqix`VajmVJjed[ymh[}jgVMiwDqix`VIjaVJiudqYlx[]j[VGitDuYl`\mjUVYjcdXylH[]mOTgj[DnivP[AlqU~j\dlYuxZulkU{jUDkitpZQlYUrjVdiYtXZEl_UijODhisPYalAUfjPdfYshX}lGU]j_deiwXXqmCUZjJddIqpXekiUWkW?DgBC@]?l?W_JoEwBK@i?r?Y_LuO_Bc@y?z?[_MoFiwd[YmJXGK`UQRGdcgqFXDKcUPrHTcWqRWoK]UKbFtbCpzW{KXuNbElbsphW~KZUOBFDcCpnWzK^uORFLbgq@Vgjstyi|\]unXWcKauHbG|aSqLW`K`UGrGdaGqFW]K[uMrCDbgo~WZKXuFREl`ophWvKKUEREt`gppWoKIuKbA|bColV^KUuJq{L]?p\VaKVtxBDt]KpZWfKHUIRAda_ofWHKEUBb@\_goZWNKBUCR@D`?oNWBJ}u@Q~|_On|VyK?T~B?T^koBVpJzt}Q}T^_nfVnJyT{A}t]wnjVdKTTxrDd]WpV?K_DOAw@S?q?V?L_FoBg@k?}?\Yd?GOCgAK@A?d?PkUuJzDtP}hBS_iSTIidLQqhZSjiWtKyeTiotLYlLRuirSli_tVYiLUuiRTdhSt@YSLOucrR|i?spYULOufrQ|iGsrYcLLugrRTiGsxY]LQUfRS\j[s`YQL[umBQLi_sZYiLFuiRPtggtJYKLRuarStg[sxY]LCufRPDhWsHYWLBUdrOlgCsrYBLLu_bRTfwshYTL?UcrN|iwrvX|LWU^BT|fUrnXuk{U]jNLfGtnXsL[u[rVDiwr^XpLWUjrMDeotbYrKvUZRUTjOrRYtKtulbLTeWtbYrKsUXrUTjOrFYuKqulRKddEqfXQkiUTjIldeqpXVkluVJJTe?qVXaKeuWRHddsq\XOKnUVrH|[]mRVGjhTsIyL\MmjVSjktuyzTp[uX[XLfVEBXlmCw^ZbMGUwb`tm?w`Z^MFVBrZtp[uv[XLmvEBZdl_wbZYMHUuRa\lSwh[ULjutbalpGudZSMHvCRY\k{wh[ULgusBalkAuDZ@laUpZW\kYuPZFlcuqzXTokvr[LL|vBB^TnWwPZwMDU|r`LoSvfZtMBv@b]dn?v~[@LxV?B]LoGvZ[CLvv?r\tmgvxZkL~Uyr^ljgvNY{LsUmr\LmOtzY~LrUnb[lsswt\NMMVRbb\s[yB\BMcvObhDsOx|\EM^vPRgDq{yf[pMivKBidqwyd[lMgVJBiLrkxR[|MTvNBdTqWxj[vMSVHretr_xF[yMQvMRcdqGxh[`MXVKrcDpsyT[^MeVFbh\v[?~?`_OOFwCKAAk\UOjFtcYq\XIqzX^knUWJKTeE{K]?nCF_joxwEzy]BnAf^zo`vyzs]?m}F_jnXwEzy\vm{f^znpvazg\vm{f\jmhvazs\sm}F\jnXvUyw]BnAfVjo`tuyq]EmlfaJjPw]z[\pmwF[zlxvIzU\UmkFZZl`t]zO\amqFYjkXuezI\^mrfWZkpuA|k?S_HoDWA[@Q?jW{k^UNZGLb}q@V^jotwI{T]QnF[DmBv@j_ToQwFZ~m?v?J^dnyvzZclrUxZ[|mevP^VNavprzL{W}p^SN`Vtbwd|S}F]~NdvoBxd{C}Z^GN^vqbwL{c}@^PN]Vsrvt|G|z]{NfVnbyDzs}^]xNavmrwt{[|t]uN`VmBwdz[}F]sNZVlRvDzK|n]rN[vmrulzO|t]HNUvart|wg|\^SNTVtbtd|S|V]fNkViBzLyc}n^PNQVhby\yS}d^JNOvrRs\{o|D]]NfVgByDx{}^]ZNcVfRxTxo}R]WnLVeZqlx]{l]oNHVkbqdzC{f]PNVvbrtlx?|\]oNEVkbptzC{Z_gLOUgZR|iItHYbm\vNZfdraxt[xmZVLzelrIxh[roTgK[DiBN@W_qoTgJkDiBB@W_noZgIKDQBf@Q_woSgLkEaAj@i_go[G@KEy?V@q_Eo?gK[?YBN?C_qoYg?J~qBZ@g^~oVF}z~iBB@]^{nyv|z}t~I~h^roQfz{Cx~F@K^ooPFzKC`}z@E^loNfy[CH}n@?^ioNfxj|AAE~M__npgFKBp}Q~I_\noGFKBp}I~A_\nmgHZzyA]}{_eoPFujzaAN@G^ZoHgCKAi@J?g_PoJgB[BA?~?k_MoDGE[@a@n?U_Yn{G@{@H~j?O^xp@G[{MmFRB``qowwPSN}GDAH`BP?WOcOEGDAB`?O~w^CFmB|B|`|O^WMcNeBpB|_zO}wPcK}C`BR`FOsW\cKeF`BJ`vOrW]SJuE@Bv`yOnwTSJED\At`UOkwUsIUDtAh`[OhwRsLUEpAb`jOgWRCLmCxB^`LOvWWSHMClBF`IOpVjZt|yy|`]qnWwgKSUIFCza^pNWecTeIxCxalPLwdsT}H`D`aXPWwjsOmJDCNaoPBW_cTeIxCHalP@wcSTMHLDVaQPTWgsPuITC`acPFwdCP]GtClaKPIwhcPEI`CTafPCwFKBu@v?~_`oOWGkC]AR@J_foRWkcYuJPEnarPkWtcXmK|EpbMPjwsCXULHEXbPPdwuSW}LlERbYPcWpCY]KXEjbDPiWo[W]KJE@a}p^wsCV]LHDzbPP]WmCY]JhEjaxPiWuSUmLlDnbYPZW^KNuFvB~a@p?WvKZuLvFnbxp{W}c\ENpFTbzPsw}c[mNpFNbzPrW~s[UMPFzb}Ppw~SZ}N|FBb}PoWzs]MNLF\boPxW|C\]NXFZbtPuX?C`}P@GDcPQ?xCc`ePPG\cRQEx@camO`GncFQJXAS_]OTGVcIQAXFccMQ@HFc^QPXFSbEPpGtcZQKv\JmtvV?d_OoGwB[@}?zCLaFpAw_kOeGNF\bopvwy{\mMrHwcuq^HMKfiR^HecxqYhM{eaRjHkcoqXHMKeIR^HecnqYhJkeaQvHScoqXHJKeIQnHScmqThJ[daQ~HwccqRHNkfiQVHMcxqShM{dARjIy?F_COAZu\zQ|j`TojwTkIUDRAfaqpYWk{UmJ^Dlc?q@X?[_]OVGHdkQxX\CluVLJZdhQvxYsmMUhJ`dhQrXYCl]UhJNdkQpxZckmUtJHd_QrXWck}U`JBd`QpxWCkmUHJHc~QjxOSjMS@IpdSQvxTcmMTTJ`dPQxXSsmeTHJfd^QgXVShuTxI^d\QdxVchmT|IXdGQlXQcjeSdIvdVQaxPsjMT`ILdAQlXPCjeSLIved?AO@g?mYTKJeERRx`CsuWDLJeARRx_ssuVxLDe?RQX^ss]X|Jve`Q}xgCneX|Jpe`Q|XgCnMVTLDdvRQX\cs]XdKfeTRLxdCrUXXK`eWRGxdsqUWtKNeHRFxbcpEWhKxeKRNXasrk?]?R?G_Co@w@E[|MWfFrfHqKxi[ZMWfHrdhrkxi[jLyfHrdhn{vq[jLsfEr]HqKvY[^M?evr`Hm[wIZbMEesrZHp[ui[RL_egrTHjktyYfLUeprUhk{taZI?H?E_Ao@G?s?VN_dVqkxUKjUTrIvfnRrxzc|M]tNPfnRtXzC|u]tNVfoRlx{czm^DMxfcRtXzC{u]TNVf`Rrxws|M]HNPfrRnX|S{E^PM~fXRwxuc}U\`N`frRixts}m\XNhfOrfxs[yU\RMfe^rOxgKs]YRLDf}SJyES~e``NzgDSIY@tAu_XOjgASJyET?e``OFgSR~yDd?M`TO@fvrzX}K~M^nNtgPSDyBTA]`HOXgMSCYCD@U_|ORgnSLYKTBeb@OvgbSSyHTD]aPPTgfSOYHdCUa`PBg\SUYJdB}`xPZgqS[YMdEebdPfgzSYyNTE}bpPlfKrexrlAM`NOdgMsGYB|GacrQKhIsaiQ|Gac^QKhGsaiQ\FqcjP}hJs_IRLGycFQQhBscIOlJa]zN^flsSyI|DUabPNgesnIWlJaeRQyhbsmIWLJqeFQyh^sfiU\JQczQuhLsniTlKAd^RAhWshiW|IieRQghasgIU|IQdfQshPs|IYdM}edRrhgS{YXTNMe\RnheS{Y[TLefLRVhqSuy\DLuf@RlhtSvy_tNUfpSJhzTAY^dOEf|SDh|T?yU|JUdfSKiKtBiblPAgvSQiLtDiblPQgrRnhxs{O?TQig}?EiVTGYcO?QhZSc?ATIo?TQah^Se?BTJ^