CAT(3218,1)

Sparse6:

:~?qQ_?O?G?CCO@h?u_YoLWEcBY@h?u_YoLwE{B]Ak?x?boM_HKB_AP?z?dOR?FkBoAV?w?aOMOGsBgAJ@C?\oP_FkCS@x@F?^OQOGCC_@~?~?dOR?FsC?AV@@?eoOoH{CGA\@A?eoOOH{CKA\?w_[oMgF[Bu@x@?_^oNgG[CEAD@|?|?^GNWFqBs@z`C__WOCGICDA@`?O`OPKGKCVAC@DOb_PCG[CZAE@EObwQKHAChAQ`Ho_GOSGECyAT`L_dgR_H]CsA\`K_ewR_HaBz@~_~OhGSkIYDHAe`QofgSCH}DBAb`PO]gNcFmDQAt`R_lGT?JMDeAi`Y_jGU_ImD_Al`V_kgUGIyDpAv`ZOmgV[JeDxA}`]opWW{KYEABA`_?owVwKQEaAD`@o`GO{GaCLAE`CO`wP[GiCRAK`FObWRSHaCrAo`XOkW[?MMFCBc`o_xWZgLiEuB]`m?vwYoMEEiBa`i?wGZgL]E}BX`n?uGYKLMEdBZ@hosOZcLGEtBU@fOs?YkLOE^BV@fOs?ZCLcE^BG@poq_[kKcFHBJ`eorGb_E}B\@o_xo[WMSEyB`@n_wo[wMSFUBl@s_yO\WMsF]Bp@x_zo]GNKDYAp@V_loUWJSDqA|@\_noWWKCEIBH@b_qoXwKsEaBT@h_toZWLcDAAd@P_hoTGIkKaETBHao`U?jsU?ItD^AkpUojsU?IzD^AmPUoiSTOIzD[AhpEwbSPeGrCZaLPD_j[P_IzCVAmPD_jsU?GpD^AJpCoisPSInDTAIPRoiSTOIbDOAhpU?dsTgH`DXAVpU?eKRKItDXAXPI_i{Q_IjChAjPT_dkQkInDTAUPCoaCPSGbCQAIPL?gCRWIDCtA_pM?g[RcIJCvAaPM_fkRwHvC~A]PQ_g{ScILDJAcPAobcPsGTC]AEPG?`sP{G^C`AEpA_cSOkHHCKAPpBOc{O{HLCMAQpL?bcPwHlC\AYpG?fCQCHrC^AZpG_fSQOHxCbA\pHOfkR{HNC}ARPI_gSQcI@CgA_pJ?g[QsIJCjAaPJogsQwIPCoAbpKohKSkHdDIAWpAO\cO[F\CG@up?_aCPGGBCBAGo~oiCNwI^C?Ago}w^kNqFpBy`{pR?]{NWI\BtAeo{ohkNOIXBqAfP@?\{N?GLBpAAoyO_cMkGLBiAAox__{M_GRBfACPw_DCAi@RFj?UoIwDcBA@\?nby?KgE[BEG\CNaEpCWaSPAGfCTaIO_wOkGQCnAT`JOiGTKI]DVAk`TOjWT{IyD~B@`_OowWcKIEJBF`bP?W_[OIFdBs`xqGPBsaAO~G\COQEpBs`oO~GSCKQC`BK`gOfGTCEQDp@s`WOZGNCBQCP@C`?ONGRCDqD@@S`GORGECDQA@@[_[ORGBCFQ@P@k_OOXGZC?qFP?S`oO@G?C@q@P?S_OOBGYB}P}pBC^gOrF{B}p}o~{^gN|EbBnphO{KYON@EeByPi?}kY[NlFLCOPr`B{[{O|GNB^QCOwC`?L~EvBvpz_us^?LjEyBwpmO}[Z_NdEoBtpkO|kY{NXFgBXpy_ucZGNRFdBSpxotS]WLVEkBpPjO{c]KL\EVbKPeWrO^QKwFubL`|WrkXyK~FcBOPg_{SYCNFFpBIPd_}[^GKjFdBGpxoq[]WKdEJBnpbO{KWoN@EOBtPbo|CWwNRF[BCPv_pK\sKTF|BAp~_os^{KNECBtp_o|kWGNXFmA}P{?ns]{JzDvBnP\_zcV_MzDkBzp}Ol[UgNpFxAvpZO}{UwNpGTArqDolK`WJPFXAopuok[\gJDFXAqPuoks\gJJFRBdPtOxc\OMVFCBgPp_yS[SMbFWB`po_ys[CMnEzBbpnOxKZoMPDrA~p\OoKW?JhDxAwP]omSVgJbIm?POHGC[j[@N?d_RQooICDIAb@O_hOSWI[DQAj@S_ioSxW?keUUJAddAoXW?kyUCJLd_arHWWjuT}JDdaAnhWojuT}JGdbanhT?keTSJJdSaqhSciMTDI_DfQr@SKh{UZI\dNQfHRGkYSuJGdLApxWgcuQUJCd`aRHVOcITuHBd]APHFwjiQAI{c_AmxFojePwIvc]amHVGbePuIvd[AMhUgbYTgGwdZALxEWjEPgIqcYakxE?iyPcIocWajxDgjEP]IrcVAkhU_aiTkGkdYaIxDGiyPOIocRajxCgimPKIkdUaHHTWaETWGbdUaGhQohASoIQdJacXQWgQSiIEdIA`XPGgISEIFdCA_XL_guR[INcuabhPOeYROIKcraaxKWcUQMHdcbAXHMOeARgHacxaWXJgeeQ}HjcnAYhNodiQwI?c~aUxMgd]RmHXczAUHI_iUQkIfciahhIGe}QeHpchA[HHofmRyHOcfa^HHOfeQOHycca]GDCAi@R?g_TOIWDcAu@V?l_ToJGDsBA@^?m_WOJwEKBM@d?p_XOKxjwOQGLCDaBpAW`CPYGpCVaLpEgbKaEPFGaetBYxl?uuZQLke\bSxfgtUXwLSehbNhigsAYgK~ejbOhgWtaYkL@ebBThggtaYGLVekbPxjWseYsLGekbQhjWsqYsLJemBRXhwtyY[L\egBVHiGtyYcL\eqauxkwluZKJ[e[BSHfOtIXqLPeXBQhe_smXeLKeqbJxkwrEZKKoeaBJHdosYXYLDeRRIHc{qKX|KdE_RH@f{qAXDK`efBFhhwpuW}LLe\bFHbOruWuK{eKbOhgWpaWmL@ecBDHhGpYYMKTeFBYha?uaW]Lhetayh\WuuVWLkenaxxkGmeZ?JgdrBVx[_uEVIL_dobWhk_mMVCLbdnBWhk_l}V?LbdjQtxYklaUtJXdfqsXYClIUhJReAbCX_wpMWKKQe@BLX__r]WEKud}a~x_GnqV{K?eEa}H]oomWWJvd|A{x^WnUVqJsdwBAH]OoiVaKHdubIX\wqmV[Ki_QoHwCsAY@N?d_POHGC[AI@H?bfx@uWz[\iMxF]bmpvw{K]ANJFfbrPyG|S]eNbFrbxPYglcUmJZDnavRw`|k}?^\N`FuRzP{[}w^JNkFqRzp{s}_^bNoFrryP|{}k^bNiFwRvP~s|{_@N]F~ryPzS}k]xNiFlrtp{[|_^JNXFqRt@{C|W^BNTFpRx`yK}_]fNQFrr|Pxs~[]`NuFfrqp}S~O]ZNrFeRnHvszu\lMwfZrjQ?|?c\\MnGCRi`}S~O\XNrFTrhp}kyc^nMgFzRhA?{yW_RMdGCRgQ?cyK_LMaGArf`~Cy?^tM^F{rep~[xs^zM[F}Re@~[xg^zMXF}Rd`~KxS^pMVF|Rca?KxO_FMRG@S?Pp{xC_FMOG@R~`pd??[\N~FEr[Xm[vIZhLueyr\xnKvaZtL{e|r^xnkvy[@MAf?r`Xo[wQ[LMFfCS@Plsv?_LLnGARaPwk{[[VMIFbRq@vK{c\vNIF\RkpwSzS]HMsF`rnpuCzG]BMpF_QixTkiqTbIrdXQlHUsjUTtI{d\sDaOl@_cLOVHBsPiHDC]aDP@g_S^AELFw`fP|GXS_aDDAgcHQBGSsHQN|A[cBOeH?SHAN|AGcBObH?SGQNdA?b|O^G}s_aBdGO_|QBGMs`QBLG[_vQEGLSAi@d?m_ZONgFSCIAT@E_fOTgISZQNLE{bvPmG|SSaLTEoahPRGtsXAH|ESabPOGrSRAMDCwbdPLGwsVaHLCkb@P^GdSUAG\DgaJPXGaSYQF|E[`zPgG^SMaIlD[`xPUG\sLqJ\BcazOwGmSWQEdBWbFOtGpSJaMtF_``PvGVsIqM\AobhOlGyssyYlLQe`RQhgsmqVDJgdzQxH]SaAUlGcdlQIHZspAUTKWdhRDHXsgqT|ISdbQcHWSiQSDIkdDQiHOshaRlI_c~QfHNSeqTdIwcxQYHUsqaQ|HceXQWHdsdAXlK{clQTHfSpqQLKccfRGHHSbaVtH?e@QNH^soQP\GseFRAHEQnXV{jyU@JAd_rqHxS{e]JNFfbRohwc{M\~N@f_TAQ_\OkgJSIIAT@a_\O_gJSFIATCQ_TOCg^S?IGT?A`dOGg\S@IEsvA`LLwgVR\IDS~Y^|NyfxRyh|swa`|PCfHRbIGTBAZLLkg\RYIEt@aYtO_epSFHjs{A]LNKf\RqHvsyq]|MsfrRkH{SyA]dMgflRhHysxQZ|M[fBReHoTO`i[tUYhLUekRTxjStmYrL[enRVYLTEmbXPfgsSYYKdEUbLP`gpsWiJtEAa~PZgmsVIJDDiarPTgjsTiiXSqiYTPiddSihXSyiYTOieDRyh@T]iSTXicdUIh@TUiQTUiiDQijpSYi}TDibdVYjPSUiwTFildPigPUMiGTdi`dXIk@SIjCTCiodOyi`PyikS_iidFyhpRei_SzifdMiepT]hoTXiZdUIeXUMhiTdiYDXIe@TuhcT^inDKYdlQ}h\SiiUTIydHTIhMTRiSDSYc`TmisSdimDHik@QEjCSbiodGib`R}iASZiMdOIfxPaiASYi_DEYahRqh{SVi]dDiaPRqh{SSi]dCyu_}u^\Nkfvr{X}DI}dbQohUSjiTlIedVQihRSiIS|Z[lzUxJ^tmAvtZ[ltUxJ]TmAv\[KlhUuJatpAulZOm@UuJ`ToQulXekvUYjJTeIq|WolzUIJ^taqvt[KkNVDJCtpApDWOm@VAJBToQolWCltUBJ]T_av\ZCjvUrI}tkandV_lbTyJXt]QuTV[l\TuJWT\Qt|YwjdTsJWTjqm\Ykj^UkIwtjQmDYkjXUlIvTjAllUclPTjJTTYatLUWlTUgIsTXqtLYSj|U?JRt^qstYCkhUTJNtgAq\X?kzU[JHTcQrtYGkZUcJFtgqpt_woJWFkBU?j?d_Mm]WJjgeBYy@_qmWWJjfEBYxh_qoOVHkDDqz@H[imKWGjcEAiwx_enqV~j|e?I~P_EnaV{jxD~i}@^unGVQjrDtI{h\MnkV`j{Dwy{P^]neV]jydwI}`\}muVfjmdyYz`]anYVWjvdui|p\enSVTjjdzI|X\YhxS}i]tNygLSApwWak]eGJFXaEpjWvkZUHjDDa]poWbk\EHZC`bepwWPk]eCjFX`MpsWOkFeMZ@pbapcW\kYEFzEX`yosWhkMEIzBXaip]WVkKeKZE@`aogWkkJEJjAhaulPUijStiytlYql\UojVtkYu\ZIqwW}knEOJJhb}q}XXkleWZK@diqkXdkreUJKpd]qwXRknETZJhdQq_XakhEXJIHeMqZXNkfUQjHdcmqOX^kbeWZHHeAqGXdkbEXzGheYqAXak`eXJGPeMoPWIkCuAz@l_qsFYDlAU_JOTgErgYElCE\jOxfUraYElCE[zOxfIsQXmlDe[JPPe}sQXjlDeZZPPeqrOXyk}EYjLHfmryXvk~e]ZNpfatAYZlMegzSPhqs{YTlOEdzRxhYscYKlIEbjQXgusoYNlLEcZRHhAtYYclVehjTpiUtSYflSejJT@imE`BM`fpqWw{[aMLFCbaqxH[smUU~J]doSJiEDA}`VOlgUSuYZ\LielRWhjtcIqTXEk\ULjFuCZAT`Mo`WNkFU]jNdfmrnXxk{UwBZTmGuxZ`LlutrZll{urZWLnUtBZ\lWutZTLmUtrYLl_ufZXLhUtBYDlWu^ZTLfUqrYLksufZKLhUqRYDkgu^ZMLcUqrWlksuNZKLbUorXDkguHZHL`UoRW|k?uJY~LbUnrVdk?tzY}L_uobVLkOttZBL\unbVDjWtxYvL]umBV\jWtrYvL\UwBUDmGtdZ`LWukrZll{tjYsLnVD_A{@Y?p?Y_LoEZcO@q?|?\mS?GWB{AAGTCKaDqYXL[eiRFHccqrfhsCx}[pMYfKsbyPtHAcVQLhETHIclQYhBSbiPTsiyd\MmjVVjjUPJGtcUqBXBk`UbJPtgus^YPlGVRriTtCyh\OMhvTRhdswyn\LMjVRrhLtCyV\OMdVPbhdswyP\LMbvOrgtsSyP\CMbvQRgDsGyV\IM_vOrflsSx~\CM^VMbgDsGxx[zM_vLrflrcx~[wM^VNBedrkxl[yMYvKRedrGxl[rMYvLrdtrcx`[wMVvKbd\qoxf[lMWvJbd\qsx`[kMVvIjdDqexT[gmSuwrclmSxNZcMRVCBiTpGyh[PMhvBRilo{yn[MMjVBBcTokxH[bMDVGb`LqOwP[bMBv@bb|qCwH[DMOV?rbdoCw|[AMMvFB^tpsv~[?MNU}rb|qCvzZ{MOU}BbLngwvZxMLU|Ratn[wpZuMJvER]Tpkvh[YLxvDb\|p_vb[VLwUzBa\mwwhZlMIvHr\LmkxLZiMQuxba\m_wjZfMIVn_@S?q?V?L_FoBjxO@A?d?Png?CwAk@Q}`^QngvsjyD|Eyo^LmlFrzjH{y|o]An@fmjo`ze{I]wnBFmjoxze}U\~ndF_Zx`wAz{^Km}Fqznh{izq^Fm|fqZnP{azk^CmzfpZwpvaze^CnbF\Zm`{U}M\oncf[jx@vE}A\lmvfozlp{I|{\in_FZJvxumzM^@msfozl@{IzG]}mrFoJkhz}|u\`mpfnZv`uIy{^LmoFrzjx{y|u\Zn]fVZv`tq|c]knYFjjuXyu|Q]nnWfizu@yi|O]anRfgJspyE{}]cnQffZrpyM{w]SnLFdjrXxU{a]XnHfdzqPxa|i]JnZfbZupwq{O]MnGFajpxwf@G?U_KODwAs@a?n?Y_KoEwBK@m?t_u?MOFgBk@q?|?\n[VmjvMBX@x_wO^WLsFmBd@x_zO^WMcFmAP@`_eOXWHSEMB@@N_hOXWKSDEAh@j_sOUWIsE]At@f_tOVwLCDt|q}|^\nnvwZ{E@`@r_YO\wESFU@T@l_VO[WDcE}At?d_SOVwCsDu?|@N_hOGwCCDEAh?X_kOEwIs@u?h@H_HORWAsCl|L@B^SOPvtSCUAC}n^UOPwGbzE@x?L_GOOWFs?|~t?@^~O@V~c?M?K~t_DN}W@B~\~[~b^rN{v{b~D~O~^^uNvV|R}D}k~J^fNuvzB{t}_~D^iNqVyR{\|d?v^ZOMvucBc?i?X?J_DOBG@[?u?^?M_EoBw@uHc?`?Q_GoCGAS@F@B_boPVCzalpQw|[\mMVGJcLp}xJ[fmRWeSR}HlDBaYPOWfCR}HxDBa\POW`sQ]GdCjaGPIWcsPUGpCjaSPDwbSQuH`C^aVPFWcCQuH`CdaVPGwgcOeIPCLabPAw_SRmGLCxaAPNWesNuHhC@aXO~wcCN]HHBzaPO}W]CPUGpBt`xPDwbSMmF\C^`uPFW`sMUGdBhaGOxwZsT]ItBb`oPUWY[L]EjBX`mouwXcT]ItBP`fPUWgcK]IPBJabOqWWCTEEHDT``PSwhSJmI\A~aeOnWhcJUI\AxadOlwTsTEDdDT`WPSwP[G}CZAP`IocwQ{HmCrA\`OofwNsIeDXAB`TO_WOcIMCPAf`BOhVmzvlzq}L^DnaVpzxL{a}Z^NnfXAsWEOtEDcKP_wtS_UL\GHbUQ@wsc_ULPGHbRQ@wrs`]LDGZbOQEXACXeKxGTcHPex@SXMO\EVcEPdX@sWuOTEPcEPbwos`EKTGTbCQCwlKUuJVDnaxp[WmkVeJnDza~p^W~s\mM|GBc?PvW~C\UNxFXb|Ptw}s\MM\FrbyPsWxC]]MXFjbdPyW|c[MN`FFbvPpW{CZuNHF@bpPnwjcZ]J@EzanPmWkSZELhDfbXPXXNc`uP@I@c~QFxLSfER\HtcuQ[xKcf]RtHhc{QXxQCc]S\HJdHQQXGSgeQHIJc_QbXFSd}RDG~c]QWXISbUPpHVcZQTXJCa}QxGrclQKXHcaeQ`GlcfQIxCSgMPLIFcQQ`XYoCCAE?~?^_OoGJoTwM{H]EnBv`[IMDNAd`SojWT[miVrJkdyqyH]{myVFJedxq{H[kmqVBJidmqyHZ{lYVFJedlquH[klAUrJQdlqtHY{lQVBJOdnqshZkmyTBIcdxq{HS[hiVjI[dzqfh^KkQUVJGdfqphXkjySjJAdKqoHQ{iqTfIodZqjhUkiYTrI{dTqmhTKtO@M?j?S_IoCwAeBB@d_poXwL[Ed|M}j^SnjVuJy}NnFtbxpzW}K]}NNFjbspwW{k]MLjErbWplwvKZm[lLvfLR[xrCvUZXMTewRcXlsxMZPL~f@RXxlSwEZLL|etR]xnCue[TL`fFRXXpcuM[HL`fCRXXosuMYxLvexRVxjSvUYhLlekR[Xisu}YpLNeiRSxistEYxLRenRRxjStEVxLBeaQ}x^ss][`K|e_RdXfsxM[lKvfLRMxrCreX`L~f@RLXoCrMXTMJeVRbxdcwuZpKdeSR^XnSq][HK^fCRGxosqEWrKZeMrDxakpMYPKLeeRCXhSo}YDKFebRAxgcoeW@LHeARRX_Ssm`pCfaTpIWdkREH^HbcoqVxJKduQvHRcjqTXHkdEQ^PIg^sRiG\CqaBPEg`sQIF|CAaJOwgjsNIJ\BiarOwggsNIIlBiafNogjr|IJ[~IarPIftrziH|Cq^ZPGfqsPh|K}YaJN]ggrwiIk}AafNRfjrtXx{|E]ZOqfbsLhx\BQ]ROkf_sKHwk{I`^Oef\sIhv|Aa\zMsgRrmID[zY`RMqgOrkICkyy`FO_fSrjIClAI\VOsfQsLhs|BI\FM[gUsKHsKxy`^OGgFsAiA\?q_bOSg@s@iBL?Q_nOYf}sFi?L@q^~NWfzrvH~[|i^rRkhhsryYLKeeZRJhrSZyMTMmfPPphrSYY\TEufPPjhoSXY[dE]fDPbgmSwYKDMUa|RbhlSkYUdL}exQrgySiyNDI}blQlhQStYTDLedLRVhHSeYQtHuchQZhNSbYSTHEd@QNh]S`yPTKEcPQ~h?SoyOdK]cDRDhZS]yVTF}dpP|e`rPXg{seYZLJiGTOYadSUgdTBiStIydlQMhNSdibTFYhTQEiPS^ibS{y]tSmiPRti_Szy\dSUiDRpi\TAy`tR}gXS|iATLYfDOegLSvh~TDy_TPmg@SXh{TJy^dRMftSpgOsHYC\A]`VOhgUsKYD|B]`jOrjCTRYiDWui\UJj@TfYotX}kHUZi}TbyqTWEk`T~jIT\ynTXeklTxiwTaYmdWujdUJittZYl|UUjRTfinTbyqTUMk`T`jMTVYjDX}ktTZihTdYidXeklTVhosxY[\M]fVRhjjtuyzL\EmjVRjmTmYvd]Em|UzjmTky{DZ]m|UtjUTwyuD]]l\VdjRTwytT]]lPVdjaTqyxD[}mLVLj^TgYwDYUmDUbk?UBZ?d`EoDWNjsT}y~t]unTV|jyUCzAt^eohVvjvU@y}T_mn`WHkTUEZDt`upXWZkNUHZCDa]pDWhdhqtXYL?m_ROLgBs?y?lNMfnRthvs{Y\l[UmRVFj^toywLeAqjXWkquTjK\diq^X]khuVJILciqjXWkeuTjHLcIqbXEkhuPJH|cip~X?keuQJFlcQp~X?kbuOjFldipbX]kYuVJE\eApnXck\uWjFLiG?]?R?GrSxiKs}cfQVhIsbYP|HEirT\iltSyi|TUnRVjjutzy}\^EuLZ@laUqzXDkMuXY|lgUnzXtjmthZ@laUmZUtkMt\YzlXUnzUDjuthYhl[UjZUtimt\YhlWUjZUTimrLYVlLUYzRDeeuLYPldUdZXDhMsTZLlFUsZPdk}sHYblCUhzOtiUtDX~l@UhzSdgEsxX|lOU]ZRtfmrdYVlLU\zRDfUrXY\kwUgZLth}xc?H?D_BZ]DrMvh[vlxVLZeTmmxlZnmYUzZ\DquvH[plrVJzZtq]vD[jloVIZddleux[pllVJzctlMxTZVmSUtZ`tpmw|[RmMVCZ`DpUwX[XmDVDzcDoMwL[dmPV@Z]tnuvt[@l{U~o@w@K?a?N?H_CZotvQ{B\wnAv\jo\vi{B\}nAv^Jo\uIzv\em~vXJnlvQyz\_m{vVjm|tYz^\YmxvUJmLtAzR\SmuvSjl\saxv[{mavMJg|six~\Mm`vRJgG?c?Y?J?C_Ao@l{asnYZlKufZSLh}|l^Fn\VpZvD{M|x^Fn_Vozvt{U}P]^neVgzsD{m|x]pn_VlZvtzM|t]lnZVjzvDym}\]dnhViZyDy]{p^HneVfZrT{m}`]TnhVdzxtxM{N]JnCvcZp|wuxN[jmSvJZeLq~?`^`nqWDZ{U@N?t^voJV{{BD~V?l^loLV{[BD}~?`^foIVy{AT}e}n^Xnivuzz||u~|_LoFW?{?E?m~p_Dn}WAZ~U?^AL_\odWG[HE@~@t_no^WK{FeBF@T_voUWM[DEBVA@_boRWP[CeCNAp`^omWW{JUEFAd`LogWT{IeC}{B]Dn@wB{@m?n?J_HoBw^KMMGBBj`}oxw[KM}FRBv`qo{wXkM}EbBv`woqw^KL]GBB^`}ouwgJwl{]}F_zo^wN[EmBf@nakpOwkKSmIzDFagpQwikSMIJDNaApMwekO}GRC~aSpRwikRMIbCnakpFwckUMIzCba[pCwekPmHzCVb[pjWn[ZUJfEpazpkWk{YuJ^EtatpdWs[YeK~EXbRp^Wp[WUKfE@bFpvWv[]UMFF`b^ptWx[[UMfFXbfpMwf{R]OBFjcCpzx?k^MOJFvcCp~x?K^mL^EvbX?@X@ka]PW?LcH?AXAkag?RGXcRqJ??kaG?ZG\cT