CAT(3122,2)

Sparse6:

:~?oq_?O?G?C@??S?L_E?Bw@W?y?k?O_HOCWH_@c?v?X?LOE_B[@e?v?Y_i_D_A[@S?p?V?IOD_?{@_?R?V?COBOA[@S?^?M?IOA_?{?o?R?J?COBO?c?{?L?M?AoA_?c?o?L?J?AoY_Ac@M?j?F_CoAG?c?Y?J@|?zO\GMkFQBl@t_}_\wNGF}Bo@}_|?_GN_GIBuA@`AO_wOkGaCLAF_yO\gMkHCCRAN@Doc?PSH?CXAM@GoboPkHMChAQ`IodwQsHcCvAY@Mof?RCIAC|A^`POgWS[IgBn@x_{O]gNcFmBt@z_}O^gN{FuC@AA`?obWPsGqCxA\`Lom_VkJkD|A{@[okoUsJSDpAs@ZojOVKI{DvAy@VOk?UsJCDpAq@ZoigTcImDSAt`X_jGU_ImDOAl`R_jgTwIeD_Ag`R_kgUGIeDKA|`Q?ngSgJqBf@r_xow?I[DIAhBh?ioTwIsDaAt@X_tOZGL[EuB^@m`|_YwLSEqB\@n_uoUwJkDqA|@__noWWK[EIBH@e_qoXwLCEeGe@o_xO[WMCFIBbC^@QOhWSsQkHOCaaT@HGdGQMHOCeaT@HWdGQ]H?CfaO`HgbwQUGrCYaLpEgbKPmG|C\aMPFGbkPyGgCbaI`GgaWQQGkCcaJ`GwcOPaHICOaR@CWaOQ]HOCPaH@IWdOPAG}CNaO`BWc?OyFQBk`t_zg\OMuFSBn`w_yW\WNAFcBk`y?zg]WMuFmBn`w_|W]oNAFgBw`x?}g]WNeFwBv`}_|g]gNmF{Bwa??}g^wNeGABz`}`?w^_OIF{CEa?@@G^wOUGMC@aC`?w`?OIGWCEaD@@G`WOUGMCRaC`DW`?PQGSCUaE@EG`WP]FMBY`r?vGZWMaEuBf`m?yG[oLiEMBd`a_wwWoMQGYBVaF?uWZ?O}EhBU`ioswYSLEFCBN`g?wG[GKyF?BL`e?wgXWMEEyBG`n_qgZoKeEyBA`n_pGZoKMD}Bd`__wwW?MQKs@@_`OOGsWCQAF@DbS_QGG{CYAR@J_dORWHsCqA^@P_gOSWH{DALuBe`sOxw^CNiFr@v_{O]WP[GiCRAY`KoeGSKIMDDBJ`eorGyW\AMdFPbe`sGxw\IM[FPbc@rGxG[iMMFJba@qWwo[]MIFGbe`oWwW[yMCFNba`oWwW[YMCFCbW@kwuGZQL]EqbZ`kGuGZYL]Etb[`kwvOZQLoEqbZ`mgv?ZYLqEtbR@Sgi_YaLMDRbU@TgigYuL[DVbE`sGp_\IKUFPaz`iWmoYmJoEia{`ignWYmJsEhaf`hwsoTEI_EgakpUgjCYoIvEmAmpjOjcUAI|D^ao`gwkWYUJCEcaq@gGsOUYLADdbQ`YWs_UaLEDfat@gGsOUqLADjau`fwlwXyJ[E\bL@[Gr_VIKuDpbM`[wrwVQJiE]a_@fGgOXiIAEZb^@MwfO[AL}C{a^@ngfw[AL}C|aY`mweoZuHgE{aZ`mwfGZuHoE{bd@KWeW[qMUCqbJ`IwrGQuKoCkbJ`JgrGRAKoCnbG`aGqWWiKcEHb@@bgo_W}KEEObI@^wqoWEK?ETbB@^GogVyKMD|ae@PghoSaIYDFad`OwhGSUISDCcg_MgFcBm@~?|_^OSgIcDMAd@S_hoYWLCE]BN@h_sQZovCZiLrHjCvqYPMKegR`HlCvqZ@MCewRbHVCpqUPKkd_RHHbClQV@KkeOQvHfCnqVPLCdwRLHaCrQY@KKe[R@H\CaqPpJ{cWQ|HAcaQOxFweAQAHac_AWXFcbuP|GxClqMpJcdgPtHVBzp}PJKd_NpFdCipxpIs]WQhHTBsQT_|SdONRHhBtqYo|kegNXFmCuP{@Ls]{RZHPBpPx@I[]KQdHPBnqS_{CdKNBF]CgPv@Hs\sQ^FXCgPupH{\gQ\HJBjPu@HkcoMnHJBhqROykcoMhGpC[QK`Esb?PnGsCOqKpC[bSPDHGCNQQ`CCccO~GZCIqFPA{`oOlGYCHqD@BC`GOrGfCEQI@@kacO\GNCCqCP@[`?OTGECQQH`@CaSONFrC@q@O}K_ONdFyCTP~@Dc^kPVF}CUp~pD{^sP\FtC?P|@?S^WOB@?_`OOWGKCIA@@B_aOPWG[CUAH@F_cOPgGsC]AP@H_doQgHSCeAVJ{@movwZsMMFJBcaGPCgaKPeGvCYaMPFgbk\MMjFSeAbAx`go]WWKEdka{hZOnAUoJpdmA{h]GluV_JZdxavhZwnUV?Jsdoa{x[WnUVCJsdzaxH]omYVoJddzAxx^?meVmJgduA}X\WnmVsJidua}X\wnmV[Jye@A`H_WgYWGIDdjazXYomyUiJndqAsH[olEU]JddsAtHYWmeVMJQdeQrhXkkcVTJIDtqqp\ckYUPJFdoapX[WkMVCJCd_Avh[?kIUAJ^dlanXVwluUwI}e@Amh__jqWEIzdZauHVGliToJXeAakX_wjMWKIqdHbAx`ghUWWISd}AcH^ohIVyIPdEa~HPwnyS[J|e?abHPWn}SSK?e?aaXOwoASOJ~c{Q]XNSfmRzH{c~Q_HN{gISFI@cxBAHMWoiRgKHcybAHMwoiRkKHdYAixUgiqTkIldVAhXU?i]T]IedTAhHTGiMTCIgdJAfHRohaSmI\dNaeXSGhmT?IY_^oNgFkBu@~?}_\OMwFcBi@x?zfH@dwrKXaKzE^bNPgGsSYELNEgbRPLGekRYHpCxaZpNGf[RiHzC}a^r_@pcwG[\M@FErb@ocwK[\MDFErcPo{x?[PMEFFraPp{xC[VMOFDR]`oSvo[BLzF?R^Po[wSZ~L}FARapnCwcZrMIEzr``mcw_ZlMFEyrcpm[vC[hMQExRhplsv?\RLnFSRYpscyWZZLkFQrVXjstqYlLWejrgPhksw\FLNFPRd@h[xKYTMQEeRPpqksc[nLGFJRP@rCsW[tLDFKrdPgKx[YDLBFJRhpfsycY@MgE^rMprCrs[tK{FKrM@skyWXtKxFQRepekxsXnM[EZRJprsrC[~KoFORK`sSrO\FKrFOrfPdcxkX\KlFMRCxaSpEWlKTeIRDxbKpaWtK[eLrFXb{pyXDK_eOrHXc[qQXLKgeRrB`rsp?\@KNFNrXpdKuSXVLeETRU`lStkZRLXEsRSpk[tOZDLcEirS@j{tGZ@LPEoqQxHkcqQ\HOcfqYxLKeiRXHmcusH@vDAG\nObFZRyX|[}i^FNdfqSF@yK|G_|NRGMrqACS{g`FNHGQSHpv\AW\tOdF[sHpwk{[`LOdFbSG@w\AC]HO^F`RnqBc{C_|N?GMrnAB{zw`BM|GORihtcym\ZMnfVRkHuSzE\hMtfXsBQBL?w_tONGLsA`}S~K_XNsGDs@`}L?S^`OCFvs?P|d?K^\OAFurxa?{}__RNfGCR~`{D??^DN~ForvP~[|{^zN]F}R}@zS~g]vNxFmRtqAC|c_bNWGHRt@}s|W^nNtFisD`xt@[]`OWFfsD@x\@S]ZNKGHs\IMlFMb`PqgwsXALTEobLPdGtsUqITDsahP[GhsPaDDAgaPPFGSsPQILCKa^PCGgSOAHlCGa\P@GeSZQFlE{`~PmG^SWQFTEK`xPaG\sLqHLCk`rOwGdSLaKDD{`hOtGnSUAELDg`fPXGXSJaK|A{bROoGsSJQIlDW`VPVGUQWxKceURPHecrrYHlSueZNLeeqrWhkcuMY~L`eoShQT\IKdRQcHTSgqStISdPQcHRsjqSDJCdDQoHOsgaTlI?dXQmHOs^ATLFwdVP|HTSfYRtH}ctQZhMSjqN|JCcBQoH?SjaNLFkdXPyHUshaMtF_dPPvHRsbaQLH?cfQNHHSaAQ|HccTQWHCs`aPdGscNQDHDs_aQdGOcjQBHJSw`]CnEVdJrdyq|H]snaVnJxd|q}i@T?q_VOGgCs@y?t?U_HO@g@s?h~t?A^~Nzf}r~H~K~i^pNtfzR|y]HMmfeRlhxCzI\XMyf_RlhuCzy\PN]fQRxhsC}I\@NUfSRuhsc|I[hNufMR~hrC~i[hNifwRfh|cxi[`OUgERbhpD@I_@MMgCRai?cxI^hJyf}R?h~Cny]HLeeuRrhlC{iYxOUeoSChjD?yYXNQeiRuhiC|YY@NifwRQh|csYXlK}e\RIhdsrIWxN]eQRxhcC}IW`OIeKS@had?IWHMyf_RBh`CzyV`L}dyR`h\cwIZxJadsR`h[cwIZ`JUe{QvhmcliZ`JMe{Qshmckii_wq[\MLfFrcXqDDEa`PNgesRiHdCeaVPIgbSQIG|TwirT^IkTTqjlT[itTWImTUQj\TOjFTUIqtTQkdTOj@TUIpTTQkLRehvSyiZtMIetU?hTTaIUTWQd\Q[izT^IStVadDQOivT[IRTUaclQCjFSbIqtGakdPsibS[IhtEqiTP_ibTRILTEQiTPSi\SVIgTDah|PGi\SSIgTCqh|Skg`TLIFtCQhdSkgXTLIFTRA`lS_gRTIIDtQQ`TOWiPSGIdT@qhLPwiJS_IbtFqgtRKh~StI_tLAgDRsh`SqI^TKQfdSGhZTCIVtOqdtYwlJUfjRTgisdYMlUTnjUd[Yt`VAlUTkjUdZit`UujUUgisdiilPYejKUgisDiikxYekkTqiyDeIqxVMkeU^jIdgYs@XQkYU[jFdfippXukAUXj@deyoPXikMT}j?DaInxWek_T|i|dciqHVqkSTwjED]ipXVejiUCizd`YmpWYexR]hmsvy[LMAm@VAj_ttYy|\YmoVEjlDqIzH[]mEVZjadvYw`\qmuUqjmdkyz`ZEmoUmjlDkIzHY}m]U|jgdnyy@ZymWUyjfDnIxhZmlmVHj[dqyv@[imcUsjZDtIyXZUiPTIictQyhlSqi\TOiftSYiTTMnwV]j~DwI~h\}nqWAkAD}z?X^inwVuj{D~i~h^]oIVrkBd|Z?p^Qn_V~jxE?Y}H_AnZVnjvTyi|d]mnMV~jse?Y|@_AnGWAkADxj?X]UoIV`jpe@y{P_YlPUijStiytlYqoPWIkCuGzClaQpKWSkSEDjCx`UpKWPkSECzCx`Io[WhkGEIz@xaipQWJkTeBZDP_qosW\kMEFzBX`yp?WVkKeGjCH`apuX@k]eOzF`cIpWWwk\EJjDhbepcW}kYEOJEXb}p]WtkWeLzE@bYqSXLkeERzHXcyqMXCkbEQZGhcaDPAh`Rp`Wo{WYKDECb@qbXP{gySNIHdCRrhyC{}]ZNJfeS]YN\FiblPwgztKIeLRIhZSniVTkiu\ZEl\UojVuEjBd`monWXkKU_BNTfosDY@K|u^RM|f{rrX}K{U\BNTforlXtK|u[RNLfKrpXqKzu\BLtfWr`XtKvu[RL\fKrZXqKuUYBLtegr`XhKvuYrKle[rZXeKuUYBK\egrHXhKpUVrKle[rBXeKoUVBJ|dsrBX]KoUUrKTeOqtXbKkuVBItdsqpX]KjuTrJLdkqpXUKlUSBNldGr~XPK~USrODdSsDXSL?ul_DsBA@^?p_XoKjWOBY@h?tlc?MWFCB]FjBv`zQAX@[_iOFGDcARMxfkrqXjKveZSJiEDA}`ZOjgUSpIWtKUeBRBh`T[imdVMjjTvizTvi{D\}nBVbjpUJJDtaup^WpkWU|R\|n[vbZuLwUzB]TmwvhZlLxuyb]DmkvbZnLsuzB[tmwvPZlLruwr[tmOvNZdLsUyb[DmkvDZ`LsuwrZll{vHZdLnUwBZTmGuxZ`LlutrZtl{urZWLmutBZTlWuxZTLlutrYLlcufZWLhUtBXtlWu`ZTLfuqrYLksufZKLhUqrXtkou`ZLLfuqJXTkeuPZIlcu_rWlgSuNYCLbUkB]TjGvhYpLxu|RTln[t^ZuLVUjBWTiguFYjLaUobS|icuFYgLaUoRStj{tJZ?LQUgRVdjwtFYaL]ufbVdjwt@Y^L]uoRR\hsu@Y~LMUeBVLhgtvYXL\UdRUth[tpYULZucbVLhOtvYRL\UlbP|j_sbYvLGUkrPdjOs\YtLEuaRWlgkuNYILbUlBOtg_tjYFLXvV_CcAI@F?d_RoHjlOAa@T?hmw?JGDkAmzd\omwv[JmTvEvs\lmve}JlpnexC\XmlFHJj@qMyo[emlFHzjHqUzS[^mOfZJlXqAww\imNFYzbhuqwq\fmLfYZbPuawk\cmKFXjaxuUzM[RmsfDZl@pQzG[OmrFCjkhpEwY\`mpfBz`puIwW\_mDfVjjxoiwM\`mpfAZ`@uIwG\^mBFWJ_htywA\Zm@FVZ_Xtqv{\lm?FZzlpn}yuZzmmE~Zjhnqyc\KmfFTJhhtMy]\HmgfQzi@siyK\?m`FQJgxsEyE[|mafNzg`ryxu[tm\FLJf`rYxo[pm[fKzexrIx[\TmWFTzdxtYxO[jmUfIjd`qe}G?m_WOJwECA}@\?r_WoKgEKBM@d^U?YOLgEkBQ@l?tmkVUjjL|o}l^]NkVvRy||o}r^]NlvvRzT{S}`^ENgvsbwd|C}P^QNcvpryD|K}T^TNeVtBx\|S}^^SNevsrxtvyzz\{m~v_ZoDz_}t^XN\VmRz\zS}l]vNkVlby|zG}Z]rNfVlBx|{c|^]pNcVkBw|{k|X^INUvrBttyc}H^ENTvibwlvO}B\tN`v[rwT{Czl^BM{Vobm|yW||]gN_Vhrv|xs|@]^NPVfbsLxg|F]dNMVersdxC{n]RNKVcbrLxO{\]ONJVbrqlwS{V]FNEv`bpdw_{D]CNDVaRo\vc|x\zN]vmrnSAI@H?b_PoHGCSAU@N?e_QoHwCuBc@P?h_TOIGDKAi}B^Bn`UkzUljQtzY}l]UnzWLkAuJZFlbWNsFMCD@v`?O\WNsFeCD@|`?O]wLCC}Ad@f_tOSWIcE]BP@X_tOTwLcDmB\@^_wOVWLcEEB\@d_wOWwOcCeCP@L`BOQwGSFeAL@z_aO^WFcFMA@@v_^O\WKCB]BH?z_pOMWIcBEAp?t_jOKwDSDm@\@^_UOVWHsAUAd?h_ROSWQs@}Ct?b`KOGWA[@]?j?X_MoEwQs?u?`AZ`KOBwOc?]CP?J`BOAWQc?M?HAP_?Ocv~sGt~tAN^}OawPb~UC[~x`DN|v}CHMCg~r^vOcVxZ{|}Y~P^insvzJ|l}m~`^nnvV|Bz|~W~B^tNoVwb}L~G~H^rNpvUzjltqzH\emqvXzlLuazZ\nmvWWCT]ItBD``PUWgcMmF\DF`uPQWgcMUIPBhabOxw[CTeE|DValOwwZCSmExDN`lPRWiCLMElDTahOtWhSKuI\BPaeOrwWsTEETDT`cPSwTKIuDVAn`XokWU{JUDrAz`^onWbSR}G|D@aMPOwfCPUGpC|a\PDwesO}HdCRaYPCW`cQmGTChaCPHw_SQ}H`CFaAPJWcSNuHHC@aOO~wRcN]D@Bz`NO}W]CIMFhAf`xOhWkC[EI|E~amPnWtSZELhEnbXPjWusYULtEhb[Phwos[}KTFPbCPswxCWEMXEDbdP_wrsVmLDD~bOP^WmcXMJpEVazPdWrCU}KxDrawPewpcUeK\DjbGPZWkS[MJLFFaqPpXAoE{Be@p?x_[OLzcTqMxH[dmRvHj}L~M~d^tnzV|KaaPjGucTqMHDkaIPbGecXqHHD{aAPZGicNqIHBkaQOnGecLqGhBK`QOnGOcLqChBK`AO~G_cIqChBk]AP^FccXpwhEK\yPjGwblqLgzk_iOJGMcCqBH?{^yMjGAbkq?Gy{^aNZF{bwp}g|{]YNfFubtp|G|KhOAm@Z?k_UOJWD\|A}d^PnhvtJylvMzj\smzV]Jm}HfCvaYpKWd{QuHVCfaSpGwckQEFbBr`yo|w^[NeUlIrdlQlxZCjUUdIldiQjxYCjETLI~dTQoxTCkETLIxd]QiXVSimTHJLdOQrxXSiMUPI`dQQpxWciMStIrdNQlxRcjUShIldKQkXQsi}S\ITdHQdxQCheSdI\dFQfxQChmP|IFc\Q_xFcgUU`H|diQ_XYSf}UlHvc|QuxNCleUDHpd^Q\XWCfMRTJJcvQrxLckuTxHhd\QXxKcjeUHH^cpQpxXCeEQrH\clqSxI{dUQXILcgQaxHsgeSLHFd@QQxOcceQ@IJc`QaXGcguZp@f_soYwLkFEB^E^bPpgWrKXuKvERbJpdWpkXEK^MMe~r_hp[wA[ZMCe~r_HpKwI[NMWe{rehnkxYZvLwfGr^Hqkvi[fMUeWrehe[xaXjKkfErJhp{qi[VMOeQrIHqkxIXNMCeNraHc[wYXBKReJrDX`kpEW^LqeBr\H`[oaZnLke?rZh_koIZbJ{errYh^{niZRLid{q|hlKnQZNJmepq{hkknAZBJgepqzHkKmiZJJeezr[h[[vQVJLkdmrZh[KvAU~LGefrRHi[siYbLAekrTHg{tYYJL?emrVhfkryYvK[eZrEhf[paXrOkgGsCy@|?e_VOLfVSHxuTAm\`OhfUSIyCsye`PMjgORgyCSy]`HMdfNSGxsDAU[xO`fxSFyBS~U^`O\fYRyx|sze\lNlfsSDX{t@]^HOXfkRsxzS|]]xNTfnRrx{C{u^DNPfbR~XxT?E]PN~f_S?xwd?]]DODfzRmx~Sz}^pM|d@q`xOkgeSZIJghS`YIdGEa`QBgssZYL\E]bFPdgmS`yPTEEcPP^hDSLyEdG]cPOrh@SJYEDGUc@OngfS^yHdFmaTP|gvSPYMTCeaLPpg^STyGTDma@PXgySMYMtBmbpO|eorXXk[umZNLheur[Xl{v]ZjLrhESqYXdG}eTQPhiSoyZDK]elRDhfSnYYTJ}e`R@hZSuyVDL}dtR\hWSqYXdJMdhRJhVsjYT\IUdNQhhNSsySTK}d@RPhmSfYRTL}cpRZhHStYQtLechRVgOsHYC\Am`ROfiJtEYb\PUgbSRh{TFY^dQEftS^iMS{y]tQEg|RtiPSzYctNEhHRniRSxycTMmhHRhiETAY`tOUgLSJhoT?Y[dOMfDR~iUTQYdDS]hTTJi_TRYiDSUi\TBihTLYfDT]ihSvi\TJyftRMhxSpiqTYylDU}jLTlikTVyjdUEitTbcGqDXA[seYZLJe`rPXg|BU`fOvgVsKYDlOegNSDi?t?y^|XQlJUWjPtdisLXIk~U[jFtcIr\XYkRUWjEtdIp\XIkNUOj@t`Ip|VqkRT}jEt_Ip\VqkJU?jBt^io\VAlBTsjQt[is\XijnTyjNtfInL]GAA?~?`qbxQ[hE]fNTfjrrXx{|EcrQZhMscyQ|HUhZShiTtJye\REo@WHk@UAz?d_]n|WPkET}z@t^uoHVxk@T|Z?D^]n|VrjvT~Y}D^mnXVvjsT}Y|T^UnTVrjuT{Y|D]}lTVZjRTtytD\eoLVPjiUAyyT_emTWLjfUCYxd_}mLVfjcTwywd]UmDVfj^TxYwD]MlxV\joTmyztZemtUrjjTlyzDZUl`V`jVTvYtd\}rc?z?[_NZETfUphXvkWU[zDdf]p\XrkTU\ZLda]r`WhkvUHZBteep@XjkPUXzMD`mrXW\kvUEZAteeohXjkrUCzJTdEq|XRkmURzJDceqXXTkjUQzGTb]qLWxkaUMzKDburDW~k_UXOFwCCAE@B?^_OZWtkQtrYsl_uljW\kQtvY}l`unJWLiItvYel^uhJVlhqtjY_l[ufjU|iysnYYlXueJULhAtRYSlUucjT\gYrrYGk}u`JN\gqsBYAlFuajNwBc@u?|?]_MOF\oamvVXjjtwYz|\uvl[BmBU}z^DoUwLZ|m?V@Z^toMu|[NlpVCz[DpEv`[@lyU~Z]Tn}vlZjl{UzZ^Tm}wPZdmEUyZ`Tm]ux[JllVBZ`DlewdZVmGUsz`tlUuNZJlcurZYLk}rRXjkru[ZL|eux@\PmQVTZcTtMxd\VmYVUzetteyt[pmjVJZjDq}xL\RmiVIziDqewr[VmIvFzb\puy\\BmdVOZhdr}yP[|m\VPZfDs]{@\\moV`ZjtwMzx\rm~VZznTvEzp\jmyVZZmtuezD]FnDVXzkdwe{p]^nPVfZsDxm{X]RnGVdzptxUuBZBlavRzhlsmyR\FmavnJuL{A|j]}nXvmJuLzi|j]unXvhJvlyY}B]gn^vljt\za|^]ynUvwJ_lo]wF\|m~v]znLv]zj^cnuv{J{L}I~^^gnovxJ|\}I~N^Anlvpjz|{Q}z^enivyJy|}i}r^Mnuvsj}L|A~^^KnnvujxL|q}V_[n}WDz~U@m~p_XoLV{{At~^?p^tn~WA{@u?N?@_LoGW@[Ae?f?d_FoVWF[EUAF@`_^oQWI{CuAv@P_bnnvvZz]CB@j`CoZwOkFMBjAF_}oawNKGM@^?v_Xoh??kG}DW?L`Hoi?@KH]DG?H`Log??kI}DO?L`N