CAT(3206,2)

Sparse6:

:~?qE_?O?G?CBS@\?m_VOP?GKCIAF@C_bOPWGcCYAJ@O?^OOGF{DWA`@Q_goSWISDAAY@F_f_QWHoCaAY@I_e?RwHoCmBU@e_roXWKkE]BL@W?qOToK[EGAl@X?qOW_J[EKAt@[_nOVWJ{EABB@e?ioXoI[ESAhAE?hoTWIcGoCLAG`Bo[wMKFIBh@u_yo^gN{FuC?@v_{__gN?GECE@y`A?^GOgFmB[AG_w?`wLwGYBYAC`A_ZGOWEmBQA?_t?_gL?GEDY@L_foRgPwIaCaAh`G?hwQOImCgAi`H_jGSsIQDJA^`OOfgTgHaD]AY`K_jgRWIuD]A[`M_jgTOGqDWAL`F?iwSwGiDQAJ`S?aWQwIMCkA``I_ggKSEQBFAq@eOkOXkJ?EVBD`bopgUgKuDgBJ`X_rGX?J}ESB@`c_oGVOKIDuBB`[_pGV_J]D{Aw`]_lgZgL]E}BX`n?uGZ_LYEiBY`l_tGYGKyE_BQ`h_rw\_IaDRAf`UOigT[ByA@?~__ONgF{DYAp@V_koUgJ[DMAj@S`FocWQCHICfAS`JodWQsGqCZAM`CoagP[PWG^CLaFO~_`SO?GVB~AEPA?^sOcG@CF@~p@?^[NsGLB{AAp?_^SOKFrC@@{O~O]sNoFnBt@|o{_^CNKFrBs@|PA_]CNCGXCJ@vo{?_sNCGHBnAAoz?`kMsG^CM@vP?O\cOKF\CA@uoyO]cNKFVBq@tOy_]sMcFnBt@tp@o[CO_FDCH@oox_[[M_FJBf@qPU?FCBi@r?z_]oNGOCGICBAB`AO`WGKCMAD@@_`oOgG{CeAP@I_doRGM{FeBp@y_}O]wL[EuBX@o_vOZwLCEeBT@i_soYGVKJiDvAv`[Olgn_W]KID|bB@^goOVeKGDyb@`]wn?VmJmDyaz@]WlgVMJiDnav@\GlOVAJWDqat`[WlgU]J]Dhav@YGlOUQJUDeau@XWmoUEJoDbaz`WgkGVMJiDbap@\Go?TyJ?E@an`^wm?TyJ?Dqan`[WisT]IjD}AhpT?ncVsIdDRA~pT?oKW?IdDcAfpX_iKUSI`DNArpSOlKT?JPDKAfPR?hkSsI\COaHPCWa[PUGhD?B@POOocWKIDEDA]pNoo{RwKLCza]PMge{ReHpCuAmpL?j[RSIxCrAmPVOeSTkHbDWAVPU_eCTcH^CjAkPJOjSQoIrDHATPI?h[QcITCdAbPPoc{QWIPDHAPPQoccSgHFC_AbPGOhCP{INC]AapOobcPsIHDBAKpPOb[SOGtDVAJPTObCTWGnGB?ZOLwEkBU@n?u_VoKWECBI@f?saepRghcTQIdDR`DOawPKLEEfBQaKPDga{`kOjG\CJqF@As`SOpGYCJqD`BK`OOBGRC?QC`?S_{NzGPB~QC?~{^gOJF{C@q@?~[^gOLF{CCP}p?{_WOFGCCCQ@P?{^[KTEGB{P}OpK`_MBGYB`po`BK`OL|GQB_QCov{_{LvGPB]qC?vcZgN~ExB}pm?~sZ]LjEubYPkgu[Z?ODEpC?Pjp?KYoNnFxBVPjO~C`sLRGZBTqF?tSYWOZEgCEPhp@sYOO\EdCEPgp@k_gL@EaCCpgP@[_gKzGHBNqAorsXgNjE[BzPeo}cX[NfEXBxPe?}K^SKhEUByP|_qk^KKbFqBHp{OqS^?K\FmBGPzop{WkN\ELBwPb?|{]_MlFiBjpu?|K\KNDFcBipwoyc\GNZFPBtps?|c[wN@FNBoprOz{\cMTFZBePu_x[\oMRFFBnPvOxC[ONJFDBrpx_wsgg@H?a_PqcoDCAi@R?e_RoHWD[Au@XIa?SoIgDCAm@Z?kb|P}w~cBi@r?w_[OMgFKBm@x?|_\oNWFcZmLzE{b^PnwwCYiLVEhdDAnhVwgqSUI|dHanXVwhQSiI}d\AhXV_i]TuIedZaghVGiQToIbdNakXS?jMTAIqdYAfxUoiETiI_dUafHRoimTWI\dNAjxU?huT[I[dKAiHTOh]TQIUdKaiHTOhmTQIYdHacHQghISgIPdFAeXPghmS]IYdPAchS_hATEIPdFAhXPgi]S]Iec~Q_HN{fqRvH|dYA]HUofiTiHxcyakXMwjMRkIqcxAjhM_jAReIndUaZxTWfETWHodEARhPWdASSHNcWA`xPGbISOGpcUa`xPGa}SOGmdJAJHDOhaSmGjcRalxDGjePOIwd\AHHCojqPIIzdAAGxCOgYPAIDcNa`hC?gQO{IDcXa_xOGbUPgIActaUxJ_eeRSHYcjaXhKwdaROHXcgaWxIWeUQcHccdATXHGdYQOHScbaVxGoduQ{HDcoaOhKOcQR?HBc]ANxFocEPyH?cdaMXFWcqQYGycuALhLobaRYGve^?JwEKBA@^?p_WOKgEcBM@d?s_XpOwgkSQILDGabpQwhKSiIlDVaipCGaSPEGdCPaGPCwakPQGfCSaIrV@fcrsY|KzEmrN@j{rkZBK|EoRM@jCrgYlKxEjrM@jSrgYvLXE[rP@eksWXnLDEZRPpekscXnLGEZRN`ecrGY@KrE^rOpeSrOYBKrE`RV@dcqwY|KlEmrU`d[tkXRLXETRIHc{qYXFKdeQRPpcCqGYPLHEOrP@b{sWWzLDENROpbcpgYDKZE_rDpfsp_Y@KXE^rQ`acsoWlLJEIq}PhSnkYXJyEdq|`hks{VpLMDzrSp][tSVhLSDyrS@]CtGVdLPDwqzPiSt?V^JmEgqy`hkswVXJjEfqopickSYjJCEhqshYclMUjJVdjQrHXskuU^JPdgRT`XKkkYpJIEjrVpWsuCUPL_DbrBpeKowX`KnEGR@p^{oCWJKEE?RCP^cpKV|KQD}qxp`[ooVPKLDsqx@`CmWWTJdECqw@WKkGU|J?Dnr?`Z[oKUzKCDmQwPZCmGUrJbDlOIWDSAa@V?l_UOHGC[AI@H?b_POHwCsAU@J?f_RRz?|{^AN\Fpbxp{g}c^UNlFvb{P}W~k^}N|G@c@Q?HzO}Y^ON[flbxxzg}Y^ON^fnBxx|O}A^QNaftbwX|G}M^UNdftBxHnO~UZwNve|b|h{W|E]eNdfhBxHyw{y]qNOfkBrxzw{q]yNLfnBqxx?~a]SNxfcb}h~W{U]MN|f}BphwO|m]GN[f`buhvw}A]ANaf_BwXv_}u\{Nmf]bzHywze]qMzfkBmhy_zY]kMwfiblxsw|Y\QNTfSBtHscyU\LMbfOrghqO~U[gNvfHb|h|_w}[aNmfGBzXp_}}[YNofFB{XpG~I^gMJfxbahoo~m[ON|fBb~HoW~I[INrfyB`HoG}}[CNpf?B{Hng~aZ}Nye~B}XmcvYZjLve{r]HlsvAZ^LrexR[XlKuiZPLjeurZHkSuQZFLderrXhuWxy\iM_fYBfxrWzA\aM\fMBkhr?yy\]MYfUbeXtOxU\WMVfTbdhOcgYSJIFdCqaHPsg}SZIOdHQcYHDC]aLPBgaSPYM@AQ`EPqgPC[YBxFM`APtgOC\IMH@qbcO]gwCFYBHFYboOZgzcEiApFibqOVgKC]yNH@M_iPzgIC]iA@FMbgOQgGc\Y@hFYboONgzcBh~t?A^~O@g@s?i?d?Y_JOFgCsAI@PDy_WP_gDcVyJXCeaUP\gmCQiG@D]aCPTgjCOYIPBuagO~ghcNiHxBiaaO{ggCMyH`B]a[OxgecMILhBQ`kPngYcZiKpBIbGOrgqcKYDpEibWOogVcYyDhEe`WPfgTcYIJ@Aa`SPYgkcIYKHAUbEOfgpCHiVtKAd~Q|h]SmyW`KEeKRBhacoiN`JQdcP}hXc^YSpJadsQgh[chySXH]cqQdhKChIWxHQeQQUhcCdYRhHMccQ]hGcfyPpIec_QjhFciiPXIqcYQmhECjYRPGecwQIhLcaIOhIAcMQahBCgYOPJUcEQvhACliTxF}daQ@hWC_HRkhySxI^dOQgXuczU\fMqfWrkHtky}\\MifURiy^xN]f{Rxh}c}I^`N]fuRxh{C}i]pOMfiSChyD@Y]hOAfkSAhyD?YY@NuecR~hgc~i]LNMfdRUI@suA_lL[gHRThiSsyXxNifwRMh|crYXPOIg?RKi?cqy\HMyf_RihsCzyZxMIfARchoCwyZ`Mme{RkhmczY[hLeeuRfhlCxieorIXhKreZRLxekraXtKxe]RNXf\EEbFPagnSWIJ|DmaxP\gkSUiJLD]ajPUgiSSyITC}abPOgfSRIHlR{iJT@IbtOAgtSCiFT?IaTNqgTSohxS}IetNQh\S_hxS|IdTNahLRcidTRI\tMaiLSwhvSxIftMaiDRWinSwIktLqjDTOhlTUI[TTQe|PGiVSSIetCqhdQsi\SnIgTJah|QgiDSkIaTIqg\Q[iPSgIdTQQdLT_hHTXIRTTqclQMhBSaiOTFib|TSgvS\IjTFAidP_iJSYIbtEQgtTKgjSVIhTDaiLRKg`SPIYtLA`|RKgXStIFTLA`lOch`SJIWtKa`TO_hbSqIBt@aeDY_^LNgfrryX|[}idFQdhQSgiSDIEczQ^hNSeiRdHmlUUpjUdkit`ZMlUUmjUdkIt`Y}lmUgj[diiv@YelOUsjZDiitHZUk\UNjEt`ypLWak?Uxi~dlyv@VyjuUsjZD^Yn`ZUjoUqi|DkYnHZMjmUoizDjymhYyj]UejRd[YshVAjWUeivDhylhYUjUUcisdgilPYMlCTfjQDYIsXUYjEU^jOdXYs@UQl?TajOdWYk@X}kyT\inDfijxXqisU[imDfijXXukqTqiyDeyrPVMkSURjEDdIqhWmkkUEjKD`IqxWUkAUPj@dcioPXAoCVxj|t}i~D^]nlVBK?TpA~|[SoBVAK?toQ~|_?m@V|J]t~av|^ol|UyJ}tnA~t^olvVlJxtzq}l]wnhVoJrt{a|D^CnRVGJotwqwt]GmNVTJoTtqz|\wmlVSJttsa|d\KnTVcJftxayL]Sm`VKJltrazd[smzVYJdtuQxL\_mTSqiWTKYe\RQhjWnKIUKRAtb?ojWhkTuIjBd`iovWXKUuDrDtaoopWFKUu@RDt_WpXWpK@U@BED_Kp^WRKOuCRCT`Gp@WNKNuCBBl_wo|WgKEuHb@da[oVWGKPuHR@LaOoTU[jMtfir|YAlBUajQTgyslYYlNXOKXUSREddGpfXRKeuTBH|dSq\XIKkuUrHdckqtXGKkUQRItc[qnXOKaUPbITcSqbXAk`uOZFtcAp~WzKhuNRIlboqhXVK[UMbJDdWprWtKkuUrE|bWqtV{j~T~Z?D_En~Xvk{u]JMtfUrhXgK|U^BLTecrvXfK|uXbNdfgrJX|KpU^rKdfwrFX|Knu^bKDf{rBXpKvU[rMDfGr^X[KuUVbLldsrVYQLFudBQLhKs`Y?LEU_RPlgGs\YTLBUaBQtg[snYHLAuarOdggsFY_LPufrSLhwtDYWLLufRRThcsxBh`toygxS[qMVFFbcpqH\sm}VZJiduQyyELBM`dOmgWSJyXlK}e\RIheSqyolWYkHUBj?t_j?l_]oLWCk@u?jMDeyr^XjkuuZJY`kyuiZOljErzX`lIuYZRldesZXPk}uQZOlfEqJXXkUuYZFleEpjXPkIuQZCl`eqJVxk]uAZEl_EpZWPjqt{ZCl`enZVxjeuAYyl_EmzUpjqt{Yvl[EnZU`jitiYzlXemZV@jItmYolZEkZUXiutgYnlYejjTPjAtWYplTekjTPiutWYnlTejjY`iQuiYdljEhjYPi]tQZRlSEsZ`O@Y?p?V_LoEgBLpW?|?\_MVF?CK@}@@DOagpRxGkc]QLHAcaQOxo[wU[HM@f@R_INlFybxP~h?s_Ib\PugxSViItDiwt[]mPVHjdtqjFDbeptWtkZuLjODgEsDYBlAu`JgXsYyI\FmaFQJgPsmyS\?mcfOZgXryyG[|mafNzf`sEyC[ym\fOJfHrmxo[{mZfMjfhrQx}[um^FLZfHrMxo[pmZfKjdxrYx_[tmVFLJdxqmxY[omUFJjeXqexc[imWfIJcpqmxY[fmUFHZc`qexC[imPfIJchp}xA[fmRFGJcPp}xA[cmPfGJblpywx[\mNVFJZHpmum[YmKeuJ_`sYwK\GmAfPz_HsewE\Jm@FQjaxn}w?[WmJE~jb@nuwkZzmJe~J^PpMvo[Tl{fDJ]hpAvk[PlzfCj]`pUweZrlxFDJa@nEv][QlwFCZ\`ouv[[NlufBj`XmevU[IltFBJ`hmYw]ZgmFExz`XmMvI[ImEExJ[Po]v?[HlofAJbXluu}[YmKevjZPo]uw[HllfAJuO?i?X?J_EoBw@tzw?b?Q_GVp?A[@U?h^DnbVpJwd{Y}J^@MeVRRw\sw}D\uNVVjRm|yozp\zNUV]Rttvg|Z]}MyVoBmlz{zf\qN_V[Bv|vC||]zMuvZrvluw|x\iN[vYrvTz_zX]zMrvnRlLzozP\eN[VXRvTuO|r]vMovWrutzSzD]qMnVlBkDzKy~\\NYvVBu|tk|l\WNXVUbudtc|f]pMjvkBittS|^\QN_vTBw\tK}D\PNVvkRiDz?y^]eNOVhrsLy_|D]dNMvfbsdx{|F][NJVebqlxk{h]PNJvcrrLxG{p]GNFVcBpTw{{R]DNEv`rpdwW{V]hM~viroLyg{@\|N@V`Bntvo{F_W?JODwBC@a?l?V_KoEwBS@m?r?YoT?FGBs@u?z?]_MVjJttyv@S_ooTgKkDaBF@Y_poVgKKDqBJ?q_coKGHkBQAV@K_[oQGF[Ci@n@?_goNGI[ByA^@A_foPgIKDIAI}`^Qngvszyl|R?W_loFGJ{@iAz?Q_ioTgA{@QAr@A_EoCGGkCY?^?E_\oAGE{?i@r@?_AoNg?KBq?E~}_Xn}gEj~q@a}O_UnbgD{Ah{f?i^IoJfrKAp{n?e^zoIF~J~Q@I~g^pnxf|j}P~U~m^mn{f{J~@}}~S^enrfyJ|H}U~U^anufwz|`}Q~A^YnoFuzzx|e}w^UnnFuJzh|]}Y_NnfgCZxq@A?Z?N_FOBW@{?y?T?K_DoAg@c?nCY?P_HOCGAK@I?`_ToJwDj_|oewP[OmGvCja\pUwh[XmLvEkPyHRC[aTpEgc{QAHNCcaSpGgd[NaG^ByaHo|gaKPAFzCQa?pBg^{OIGjCWaBp@Ga{OaGjCWaEpAga{NAHZCo`ypJg][QAFVBmaQozGc[PqFJC]`spEg[{OaE~CK`ppAg[KLaFzBYa?ovG^{NYEfBU`|o}GYkOIEZCE`gp@GX{KYH~BIa`oqGgKJ}DzAz`aoowWKJQH~Aua_omGg[IyHZCm`XpKGUKIqHfCs`Soige{RqDNCy`PpMGSkRICzCu`OpLGR{HYHzAYa\oeGfKFMBn@t_{o^WN[GECF@~`BoaWOkHABNAS_toYGQ[EqCV@o`FoZgPjuLy}|`]yn[vmJv\zu|x^@n`vok^yJRGAauq?Gl[XINZESbvpdg}KWqNZEObvpbg}KWiOFEEb~paH?KWANfFubAp|Go[^aJvFya~p~Gnk^YJjFsazp]G}[^aJ^Dqb}p[G~[TEIjDRajpUwjKTuJBD^appXwkk]YMFFibbpyGwk]ALzFcb_pwgv{ZYMvEybmpvgvK[yLbEsbgpkgy[YiMrFUbVptGtk[aLJFKbSpqgs{SQLBDGbPpPgr{SiKrE[afpRGr[eaONHecCqXH?kdIQ~HUcoqWhIkcqQrHOcmqRhJ[ayRnHycXq]HEKaqRfGgcyqIhMKaIQNGcccqHhH[biOzG_c^qNHB{`YPjGwcLqLhBK`AQBGScaqChG[_iRVGMcvqBHLkjw@}@B?__NoGWCDvYzp\vm{v]znUCVAL`FodWQKHMU`J\diQwXYSl}UlJJdlQrxZCkuU`JDdiQqXYSk]T|JJd`QrxWCkuTxJBd_QmXVSj}ULIxd]QqXVSkUUlIHdlQaxZCguSDJ^dBQwXOcluTXIrdWQlxTsjUTLH|dTQ_XTCf}ShI`dKQgxSch]S\IZdHQfxQChuXw?f?T_IOCwAk@R@H_eoQwI[C}Aa}N^HncVqzxd{jFZbnpvWyk\eMnFNbhpsWxK[uMVEXbMpews[YEK~MAelrVhn{wAYzLWe|rTHnktYZrLMerrYhiKtIZRL_ehrRhkkuIYbLsedr\hhkvIYRLkedr[HhkuyYRLYebrOhj{sQYzK}eirOHjKtYXzKue]rOHf[ryXrLAeZrPhf[sQXrKidpqxhd{qqVJLweQrIHnkviXNK]e~r_hc[wAXBKWerrYhbkpiZRKQexrDhm{pQZjLkeEr[HaKuyW^KEeorAhkkoaZFK@eAr?x^kn}VvKodyrLH^KrIVnKidvrJh][qqVbJgeWqzHekmiXfO_aFpCwaKPUGrCVcbqQxHKcEQJHBc]qMxF{bUPrGvgXSHyEtAm`hOhgRSJYEDAm`POngOSNyCdCM`DP@gOSMYCTBu`HOzfmSLxzDBM]tOtg^RsyGS|]a@NTfeSMyFc|E`pNNfbSJYEC{e]TOnf\rnxvkze\jMvgLRkYBszM\\O\gIRixtd@e\POVgFRgyASy]_`MdfMSBxsD@M[|OPfJSBXrT?m[pOHgCRcY@cxU_TMRgNRbyBcwu_tMJfCSEXod@][LOTfxR|x}c~m^`Nxf}RzX|t?E^|NjfqS?y?s}e_HNffaRwx{C{E]DN^hiSlyV\JedbQthXsriI|LAavRQgksriILLIajROghsQiXLKqa^RIgesPIXLCaeZPEhdsnIRLKAczQ}hLsViQlEAcnP[hHscIWlGqeNQMh`s^iOLFicJP{h@s\IO|GibrQGgzshIL|FIdRQegwsjILlEad^QigtsfiK\IIbNQ_gqrIxd{quXbKteXs}ieLNah^R{iXtCYalPMg^SJiEtII_lQqgRSiiBtJiZ\RIe~SohmtIIYlQqerSihjs~i]\NYgFS?hytDi\lPifbSWhvtGi[|QYfVSchsswIblMQhBRaiNsAY@l?m_bORgFsDYA|@e_~OZgMt[IelRajjTqiZt^il\WAjZT{ivtXImLUajjTeixt_ij|WQjFUEiotUInLTqjnTyiltSyi|TUiZTPiftPim|ViiVTGi{tOiolSQkNT?j@tMinlVyh~S{j?sqYXlKme^RRhgtnyw\[ElzUzj[tpIsL[alJVEjPtpIr\[ak~VEjMtdIx\Xam^UUjetqip|XIm^UOjetjipLYqkZUojDthiu\YilnUgjYt{IyL\Qn^VQjxtyI}l]qnrVijztvI~l]AnvV}jntti{\\inNVWjquBJA\`YobWSkFu?J@\_QoRWAkBqmXVkjm^bNtfxryx|{}uevR^hmstYZLL]lZUpjVtiytLY]qXW|k_UQzHDb}qDWvkbUMzGdbeq@WpkXUNzEdbup\WvkTUMzDdbep`WdkYUIZETa]pTWdkUUHzDtaeopXHkMURZBTcmqDW^kbUGzGdaEsS?N?G_Cxe{reXvPzg}s^yMlFebnT@i`tPYf\R}hzVPjitsyy|\mmrYmlSukjTljAtVYwlRulJS\jYtJY[lSugJTlhytVYYlQuhjQ|hatFY[lGufjQliAsfYYlIueJQLhIsnXOk~u_jH|dIsBYmk{ukjNljArvXqlYu\JU|fYtrXolFuZJP\eysZYIkrubjLLgqrVYCkouaJKlgYrFXYk~u_jJ|dqsBYCkiuUJPLdYsN[Y?C_BO@\liwvZ[mNvFJZLlIwv[]ljvFJYlkywjZOmKurJa|kYw^ZGmHuqjaLpQuB[Wl`upJa|oytv[Ol^vCjVlnYwF[El|u}J_lnAvzZqm?u|J^|lyv^ZaltuwJ\loavJ[KlsvAj[w?{?a?R?H_BoALuyz@\hmnVZZlTtuzD\hmrVZZkdumyT\bmfVXzhduUyH\\mcVWZjts]x|\Vm`VUzgDtexp\Pm]VTZfTtMx@[nmQVKZcTquxd[fmZVIzedqc?Q?J?E_AO@g?m|`X~l@u_ZOlgesN]mnNvgjtlyA|V]cnVviJt\yY|Z]unBvajv\za{R]cnKviJrlyY{v]QnNvgjqlyA{n]KnWvcJulwy|f]CnYv_ju\wA|b]um|vmjn|zazz\pmvv[zmlvezn[NmHvCZbLp]wj^wncvrJ~\~q}V^}nmw?jz]?A}~^}niw?jzM?A}n^wnfv~Jy\~i}b]~n]voZw\{U}N^enxvyj}|}a~j^knovxJ}L}I~^_goAwJK@MAj?N_UoPwHkBMAR?v_OoNwDKBm@J@B_moDwBkE]BB?Z`?obwPKH]CJAR_yoYwNkFMBr@n\hmtvZZ}\~]~j^lnwvz{LEDfAx`dorWU{JED~Ax``olWW{HeEVBL`NogWY[IUD~Al`boiWW[PDyu|^]joPwH{CmAF?~_\pIWb[REGfClaJpCWc[QUGvCTaNp@WZ{LeGVBTaFo}Wb{NuHFCda@pJW\{REFnCh`xowW`{OUFVCH`rpaWnkSmKJDFb?pOwokR]JzC~b?pMwiKU]JZDNaipYwjKVMJBDzamp\wtkWmLjERbWpbwrKYMLRE^bIphw`{OmGNExbhpuWv{\UMFFTbbpuWx{[eMfD~bBp__?k\uNnF_?Ep~_@K]UNs?Hbsp|_?k^EN{?Lbup}