CAT(3078,4)

Sparse6:

:~?oE_?O?G?C@k?b?N_GOCgAc@M@e?o_XOKWFwBQ@f?t_c?OwGcCIAD@C_`oPgG{CU@x?}_]oMOGkBkAN?y?bOM?GCCC@n?u?^oW?DSAq@V?n_UoJgEKBI@`?u_[OLwFcBy@z@t?uOZgLkEeBV@i_toYWLSE]BL@g_r?ZGLoEaBY@f_moVwJsDqAv@Y_loUgJcDuA~@]_oOWgKKEQBF@d_poXWKcCmAX@L_joUWJCC{B@@M?ooW_ICDEAf@Q_c?TGHGDUAS@U`Y?IWC{Aa@N?h_SORWH[CqAb@R_hOv_XsKuEXBK`fOrWWsKaENBJ`dOqWWoKAEOBA`b_oWXGKQEIBJ`d?owXOKQEUBB`a_qWVkJyD~A|`^ongVWKIDwB?`\?oWVOKYDwBG`\_pwTKIaDTAj`UojGTsI}D`Ap`XokgU[JEDdAn@_Ok?WSKCD\Av`[omGU{JeDpAs@UOl_TkJSDV@q_yO[wSkI]DLA]`MOfWROJYCqAt`L_lGQ[HUChAV`KOdgQSHACbAG`BoaWPSGmCXAL`FObwTOGECEAh`S?_gO?KyB}BK_~?rWNgKMEI@{_|_pGO_H}CKA``A_gGN?IIDG@y_{_gwLwFUB_@v_w_\gkOAQ@L?d_QOHWCsAU@L?c`SOigTKImDXAl`WokwUSAi@X?j_TOJGD[Au@^?m_UoJgD{CUAN@E_WOKgEKBY@n?w_[oMgF[Bi@v?x__oNwGCFEB^@o_vo[GMKFIBh@r`POgwScHyCzA[`LOewRKHACdAP`EobwPsGYCHAD_~O_GN{FaBt@x_yo\wMs[_LpEubZplwvCZYLtEzb[pnWvcZyM@F@b^pogw[[QMHFAb`plWucZMMCEob``kgw_ZELTEkbTpiowKZ{LTEkB_PfwsCXyKvE\bMPe_rkX_KxEXBLpk?qkX[LdEUBWpcGqKW}K^EPbGPbWpsWqKLEGbBp_ou[WOLjEDBYP__s{W?LRE@BSPh?nkYWJ~EdA~P]_rsVkL@D{BNpaOn{WkJzD}BDP]Wm{VaJnDwa{p\OvcVWL|E|AyP[OpCWWJdEFAxpm_l{ZcJ\EzAwPWWj{UALMD[bS@VgtGTuJ?Eaan`gWkGYMKIDZb@`Ugo_TeK?DUb@@UGoGT]JsDRai`^Gi_VmIgDpax`SwigVIJ[DOaw@SglwTEJUDXau`Uwl_TiLYDgat@jwtoUeIoD]aj`VWioTqI]Dhat@RWhoUaJCDfaq@XWkWUYEjBV`jOugZKLaEzB[`los_t{YsEhEm@hos?pcLCK\EL@fpR_hCScI^DLAbpP?kkSWJNDDArPe_fkXcHxEWA\pYofCUsHtDkA[pg_ekYKHnE`AZPJ?iCQwIbClAhPh?c[YWHJEdAQPG?hcSgHDDJAOpFovSPwLvC\B[pW_bSUKGxDcALpDgacPUGaEuaH@mGuwPMG?ERa?`dG^wXILwCAb^@@GvgOMGLCDaBpAg`COeGVCLaEP\O^sNoJlB|AyO}Ov{NkMBByB_O}G]sN]FaET`x@dwqoNAISBlae?zwhWMyFSEH`u@agpWMmKcBb`p@cw[GXQHOCoaR@KWdwQ]HgCjaS`KgeWQiIECWa`@EWgGP]H{B]a_?wGfwL}FKCMaG?xW`wMQFMBr`s_|G\?NUUe?b_OoGgCKAM@DDIaePQwhkS}I\DOahPSWi[TQIjDUakPTwjKTmItD]amPVWkCUEI~@Y_mOUwJ{DyAz?r_YOLWHsDAA^BT`jotgZSLeEpB[`mouwYKLAE^BN`gOsWYSLMEhBQ`hotGekR]HlClaVPJGcSQEH@CYaLpFGaKPIGfCSaJPDW_SOQGFCIaCpAG`kOqGVBu`{O|w[kMYFHBh`sOxxf_rgX`KxEXRMpeKpuWxKZeERBh`kpAW^KPeBrAH_soeWVKIe@bLH__rMWIKteUa|xdwneX[Jwdyq|h]cnGV|JrD~q{P^knCW@KADxr?P]Sm{XXJoETQz`d[msVjJjDzQz@]cmUVNJed|AxX[onqVuJfdoQwXZ{mGUxJcDnQwpZkleUvJYdgQsXYSlAUdJPdeQqhX[k}U\JLdcQqXW{r_UDJBEZQoPe{r_UJJEEZQp@e{k?XjKsD^Qnpe[q{TzKmD\rJPVcj_XBKaD[rGpVSlUUfJSdkQthY{jOTjIvDXql`USi{UJJEDWqp@UCkgUfJTDeQqpYclWUZJWDfqtpXs[eMPFIeSAiHdGiYXMIfeQAgxcoiUXIIceLAghb?iET?KXdMbDhawh}S{KTeAAfH_ghiWEIZdJbDHR?pISqKRdIAoXQokMSiJAdzacXQWneVoIQdGAyXPomaS]JidDbFhPgp}SWK_dCBMXPOrmSQKyeFa_haGgQW_IBeCa`hOgoiSMKJd?B@xOGoaR}KEeEA]X`ofiWYHzc{A~HMonmVsHvcybKHMWrIRgKpcubIhLwqmR[KkctAnXLWjmRWI{d[AXHVOeYTqHddYaWXUweMTkHacianhW?d]T}HUeKAQxHGpiWqHIcbBDXawcaQMKUceAkhU_cyQYIrc_aqHGOkeQ?JFcYBHhcgbUXGGudpAIH[_aiVEGhcQbMXCwrmPKKybgakGyOjEMeIncJBGXcW`aXCGVcIbDHAWpMOgKQcGAzX\W`EVWGQcFazx]?_yV[GLcDA~X@_n}OUJ}cBb?H_O_eWAGGcABGH?opyOIK^eSa?Xcw_MXOGAb~BFHbW_AN}K\dm@}G~OlyNqJ\bxAuW}_lmNeJYbwp{G|{m?NJFbDopx@Z{\kXnKwBmPu`es[SVPFFDtPp`\Kd_QvH\ClQV@JKbsMXFLC^qN_x[aoPHGaCUqIpC[icPBIjCOQi`B{[wP\GoBgPrpD{e[OxHhCNQY@BkbkOvG{CKqE`FS^kPdGrB}qKO~ccKNnFuCap|PGc]oRbFmCxQ[?|kioNTImBtqjO|KfsMjH}BiPt`NcdKNPHSBrqS_{sdwMnFXCoPu@J{]?Q^FaCgQSO{K\wPnF\C[pvpFDE_TdIrdYQoXW[kIULJDdaQqhXckmUZJNdfQpxXCkeD\An`WOOgGcCM@x?|_^O[wMSFQCfAS`IodwRCHYBv@|_}PqWxC[iMVFKbeq_xOcgISJIFdBQ^xOKgAQZHMcePrgyC[}MbFRbhP~h?C^}NvF|b}PzG|s]uNRFibtpww{k]QMrFVbkPpWw{[YMLFFbastqYTLMebRThiStiWhKieKRGhbcqYXXKye_RLhfcrIUpKye_QwhfclyS`JydKQ|hQcnIV`IEdEQ}h]cgiR`JMcuQthMclIRXH}cyQ_hMCfiQ@Kac]RHhGcqiPxKIcaRBhaCcIOXJ}cIR@hACoIOhIAcEQ^hACfiVHGEcCQzh\C_IU`F}b{QthXc^YN`KubsRKg|cqyMxJ}bqR@g{CoINHImbmQkg{CiiU@EadcPhhWcYiVXEUdqPfh\CXiTxEMbGQlhVCWiKPHicoPchKcWyKHHUa}QUgoCdyKHHQccP_hHcVyJ`FMbcP\gwcViJ`FQa{Pugmc\XsPKye_MchfbgyHDCeaNPCH?S_aGtCScBP@HHSOqQdCGcfQnG^sOATlIw`|OzGssNQLTBobPOrH`SpAEdBGeFOngWsKID\Ai`RQcGPshaClIS`HOaHZSGAU|ACdpPlGMsFaL\@{bXOYHDSFAP\@kcROVHCsEQP\@_cTQfGCSAaTL?cdPPmGBs[A?tE{_JOCHCS`a?\?GcNO@Hes?AXc~{eVPmF{sZp~\F?^tNrHiR|QYs~OejRDFwSpp}TKW^bRPFqSsp{tLG^JN`HiRwqYk}GelNWGyRuaMs|cbjQfFeSiPxtI_]ZP{F`RoAN\Fg]BMyGtsZ@v[zobZRPFZss`vLLK\pMsfZRlXuHKa\eRIfXCqXtszA\^MjfUrjHtHFy\SP~fSC^YMGyU\MPrfRC[iR?xqcsM]hKbfXrxH]\AQUfOCdXqpKIeGMWfJcoxqKxI[`MRfIrdHphIIdEMNfFCgXpXGqc[MKhEbahoHGqcYMAhFB_yKgwQ[KPffAcXhlcuuZ\LgHBrXaPCu[cLL_HTRWaTcuCdVQqEnSkPj|J?YzLXekRTxj[tqYtQ~EdRQAWKsce@RDE`RPAW{sKeLK{e]rNiHX@UaWOUgICQh|PCu^WPNftcRiCo}]^QOgfsCHxyx?}]iOMfjCCHyPBa]eOxfiCMh}o{}^oNPfzbsHwX@E]IORfaCChvh?m\}OLf^CBHoxAq[QOmfCCJXnW|yZyN_e}Bvxn?|m]yLxe|BvHnoxe[?MYfLb^xxGvU]ULvfdB\hmO{Y]MLsfcB[xlG}uZSNnfvBYyI?uMZIPQeqCSXig~qYkN|f~BTHiHDMYePTehCTHhou}Y_Lpefb[IEosm`mLLgYbRHgpDeYMPYeacUyIosAaoL@gjbNz@_@q?z?Z_MoFGB[@}@@?]_NoGGBs@]?j?U_KOEgBKA]@R?g_cOQgHKLUElBV`kOugZKQYHNCgaSpIgd[PuG~C]`yo{w]cLyF@B^`powg[Kv}Z|M?eiRThilbKplWtKZuLBFDb?o|WqKOUKRB|`SpZWnKJuDbDt_{pVWPKUUCBDT`kpZWnKMuFBDt`cpTWjKKUEbDd_coXWMKDuAb@l`CoPWNKBUCB?|`GoTWRKCuDB@\_WojWGKJu@rAtbgn~WzJ}t~bFL^opBVyKPt}rCT`cmlVWKKTtrBTcCmjX?JhuNqyd`kmTVKKMuFAx\XAk^UMjETbYp\VCpFW`IxT[BCTa[izWgImUIQj\TSodTVKITTbA\ScoXTJKEuBahTb{htX@I]UOAf\`whpSxKOTLrB|aOhhWdIZUHaelQ_pxSiK^TIRFlPop`S]KXTFRELPKplSSK[TDRE|a[gZWhIFuIA`tbof|W}I?UNQ^|NkpjR|KXs~BEd_KfjWCHzu@Q]t_Kf^RpKAs{B?dMWpJWcHsSxrCtMKprRdK\uMa[d\?hLSfJhTsQcl[smHVNJbTrawl\oljUvJnTlazlZGm~UsJoTkq{LYwlTUjJUTjQtLY?l^UaJWtgQuDX[nLUWJrtxQrLXWnTVhJITdQ|DWSkbUFJHt`aqTWOo@UBK@T_b?LV{n`VmJ?t_A||VWjxTwI~T\qnl\kjfTtJkt\AzTUojNThItTYqlDWgjLTcJCtXQpDYKipUdIlThAjL[[i^VGIgTqQiLUCiLTGIpTWqg|U{iJTmI`tZQgdZ_hbSqJ[tKqvTZkh\U|IWTnAd|P{nnVxIOt}AcDQGnXVlIQTGq|\XggrU[ILteqbTPWkzSWJNtDqrtPCnhSQJzT|QaDOgiXSKIfTAqhlOciDSFI_tAAgDOSm@SEJ^tna_dTwgBT_I@tVq_TQkfpSkH|TJQ^LNGlNRsJRS{qtDVkf\TxHut]a\d[CfRVBHttoa\TTKe|TSHmsvqiTR{fDS|HotNa[D]GenVcHktwqZDLknbRYJxsvA}S?}?b?O_HODGA[jUTnIud^QoHV{lIU`JPcOQGXB{`AOdGPcIQDXA[^UNnFub{p}G~S\uM~F]jRThytDVejvTyi\TNIf\QihRSgm[fLjexrixo[tmWFIZeHqmx][imQFPZg`qUxE\EmOfOzcPsEyC[_mPFBja@qAxA[NmAFHZ_PqQxE[BmUE}ZdpnmxYZym[E{z]hrixqZslqFHz[pqaxKZdlpfHz[HqavC[emXEuze`luxeZ[lifIZYxqmuk[imLEsjb`lMug[ZlgFFZYHp}u][]mUEpjdpkaxYZFl`fKjWhrMuG[slDUazPdgIsFY@k~fPjNpsUyGY?k}fOZN`sMyCXzkxFFZM`p}re[]mLEZzMHpqwuXomVeZJeHeyx_XlkrFLjL@rUxmXfkpfNzg@eUx{Xcm\eWJfheIxwX`kmuVjJ|d]qrXWkgfMzIXruqc[{m^eRjI@sAx{XNkduRZHdcaqRXIlzFAJ^@oevm[IlSezzTPmutOZmltFAz\`ouvU[KlwEvj[@nIu}ZplkE~JZPnyuqZ|lZexzVHmetoZglYF@ZUpo]ti[ElTfCjThpMtW[PlOehjS@i]s}YdlPEeZS`hmtEYYleEdjQxkyuYYWlceczXXhUuSYSlGEnZQPj}t{YPlEemjPxjqs[Yzm?eaZOxoAsOZ~k{E`JNPgYrqYDkyefJRpf]syXul_EYZWPemuAXimJeUjJ`pequ[WkjFDZapdUqg[SkaejjGxjAqKYnk`EkZG`jIteXB_DoAW@S?y?X?LgqsXyKsLmEzB[aVpKWeCRQHfCqa?P?W^{OUGLCFfPRgxsdAA`DO`eprXHkksEY@K~o?G?z~q?I~}_@n|g@j~i?V?G^{nyG@j}Y?Q~c_DnyG?z}Q?E~e_AnmG?J~x|i~{^ZoCfuJzI?^?O^VnfG@{@H|B?O^NoDFq{@`{v?U^Kn|fpZ~h{]}K^{oDfn{@`{F?S^?nRFzZsh}y~W]cntFgZ|XyI~Q]bn{FeJrP~i~q]XnyfdZ}xxY~k]Vn|Fbj~Hwq~o]LnyfaZ}xwm~k]Intf_J|PwI~Q]@m}fzJnx}yz{^lmqfzzkx~EzK^omkfzzjP~Ayu^pmgVSjiLsuy^\MngfxJyP}U}e^bnrfqjxH}Y~O^GnoFmZvX}I~A]ynZFTZi`z]ye]wnmfhzzxye}{]gnXffjuhyA|g]^nLfnJrhzy{w]|m|FtJn`|Yzu^Tn`F\znH{Q}E\wnFf[JlxxAz[]PnHFYzqXuu{g\knWFYJuPui|a\hmyFWjk`vYzE\tmxFWZmXuAza\^mmFijjpymyy]kmjfjzj@yuyk]mmdF_zohsq{G\JnBFPzp@se{M\GpG_@g@C?]?H?C_AO@W?k?U?L?F_CO@g@C?]oFWDkAQkHUKi}TpIyd[qmxVkjqS\IOdFq[xMkfQMhFUbipuwzc\il|V?j^teIrLX]khUUjItNYf|Ry|H]enQvgzsLyI{p]YnKvdZq|xYzv\{m|V\znLvbEhbRpiws[YULBEZbNpfWrKX]KjEEavpYgokUqKFDoasp\Gk{VIJJD]bOpWgskUALFEeakpUgtKTqLVDIb@pPgokWYIRDGayp[Gh[SYJfCvaYpMWf[R}HzCmbLpfge[XqHbCobIpJgrKRIKnEMa\pcgfkXAH~EGaYpbGfKWiHnC]bGpGGq[PqK^EGaJpEGpkPiKVE?aIp^GaKVyGfDwaGp]gakVYGfCYaUpIga{PaHRC]aUpGGdKPqHVDg_ZpXGEkBIJNBuaEo{g`{NQGVB_aEpBg[kOiFFB[a}ovgoKLiJ~BWa{p]gYkLYJnAca_pPGTKIYIFA]a_pPGS[IAIFDK`GpSGPkSyC^AEahoagi{GaIjDK_ypRgNKTABn@maho[gi{FAIj@iaPoYGc{EqHJCc_ppHgK{QIBJ@IatoRgl{CqJZ?_akpVGCkTi@FD]_LpWgB{UA?zCC`{pAG^[OYFzAu`fomgY[JaEbAo`~p?gUkJIGBAi`cojgXkIqEVA?`ro`G\[GIFRBk_|o^g]KMyBzA{_gooGIkDID~@U_aoUgHKDaAN?}_moOgKKCAA~BA_[oNGW{KQ@v?k`HodGD{HY@b?g`MoIgRKAYCvJ]?J_CoAkOuG^CJaHpDWaG@s?q?Z?V_JODWBC@i?rP_gosVyKTEMbHMOfHRcXq[xU[hLqeyR[xmkv]ZlLnewr[HlKumZTLGedRQXhksmYXLAeaROxgss]YJXrkxU\JL|fArbeURKxeCr]X\Kte^RHxdSsMXPL@d}RQx^ss}W@LLe?RMx^cruV|KxeiQ|xiCnmVpLReaQ|xhCnmYLJxdxRGx]cqUV`K`dwRAX]SomVhKLeLQvxbsmEWxJbeIQuxbCluWlJXdkRBxZSpEWdJ\e@Qvx_smMWHJ`djRLxYcrUUdKre^QrXYCsMY@JNdtQpx\ckmV\JHdvQmX\Sj]VXIteSQ_xNsq]XTI@cuQxX[se}VPHpdsQXxLSmUVLHheUQKXeCbUX\GreIQIxbCa}WlGlcQRBxaSaePLKPeLQ@x@Sp}WxGHc?RGX?SqUOHKbeCPtx`c\mWTFXe@PsX_s\UWHFRbfRNWxSreMXKzebPpWxCseYHFFb^RSXic[EMDLRb\RRWvcs}LpLJdQQoxSskUU@Ibd^QeXVShmTxIVc|QixNCiuRxIhdXQ\XTsf]T`HrdMQWXKciERDI^dGQUxQcd}SdH\ciQQXHcdeQlHJcfQOxISc]Q`HDc]QaxGCguS\G~cZQ`XFSgePpIFcOQCxCS`]OhG^cGQEx@s`uOXGXb}P{w~s^ENtFnbyPyw}s]uNpFhbUPvW{CZEM|EnbZPwwuS]ULhFfdmquXZWO{GeCPAI`EOaxGsc]QPHHcdqQiutZ]ljUrjYTkiodWIkFT~j?t_IY|LeepRYhmSu{[EMFE~b\pnWvLIAcFQchBsgiOlIYbzQih?siIN|FYdfQug|slINLIqbbPshWs[iT|JYbZQsgtsZiU\EidZPmhWsZIT|EacJPchBsXiO\DybzPah?sWIN|FYarP[g|s]IJ\FQajPUgws[iI\Ga^ZNmhDr{IPlGy^NQQftscH|K}AcvQ]fprxIRk|ycrNYhIrvIQ{{adNNKhTrqiTLIA\nQcf\sghvKxYcbQQfHsbhqlGa[^QKfEsahqKtqcjL]hKrWIQ{ticzLWhLsfhi|AA`FO]gRsFIClAa_nOYgUsIiBL@A`^OogHsKiAlBQ_VOwgFsLi@k{Q_BNEg@roh~|?Q\zOGf_s@hv{zA^rMsf}rkh~[yy^nNsfTrjH}[xa\JM[fSrehs{wi]fMEfgraHx{wA[~MCfPr_hsKvi]jNWe~r^Hy{vQaBLwgar\iG\CqZfLmggr[IH|BiZRLkg^rYiFlCYZFPIersQHkkP]GvCXaOpFWbwAk@]?l?W_LOEYJdDyaz?a_PoGXnCviZrLze}r^KHeCzAZ`HodWQ|YamNUkjctiix\[AlZUij`tiIwlXYl^UYjXteIuLXAl^USjXtciuL[AgfVCiJtoialOqmVSOjbtBixLNAlBU[hxszir|MalFUehusyislMYlBRcjNswirlYYe~R_jQsvIs\XienUUhkteIZ\XIefUShitcIYLKqlvU}hfsqivlKQlnUshbtmIXLZqeFR?j\tniV|JilrQwjYsnIu|VIkVTujFt\IplUqkJTojCtZio|UYj~Tij@tYIoLUQjvT_i{t^Ik\QihnSyiVtMIdlQQhbSgiYtHie\SIg~SaibtPIcLRqgrT?iMtNib\TQgNTWiDtTi`LOAivSCint?ijlSyfvTQh~tSI^lSafjRwies|ih\g??}?b?O_HODGA\_YoNWGkCuAz@ULZEpbVpyW|k]mNbFrbvpkwu{ZUsdYjlVUdzQdiusxYVlKUczRThUs\YdlEUiZQDi]s|YLlPUcZSDg}nPYZlKTxZRd]]rtW~k`U^zGDfurhWxk{UNZMtbmplXzkYU^zETfupXXxkWU\ZDtf]tHWNlSUCzSt`Es|WHlPUBZSD_mnTYjlVTzy|diusLV`lDTwzPD\}sDV\lATuyzDgEmdY@lATtzOT\UsLVLlDTsZPD[}q`WfkTUTZITaeqlW`klUHZJDaMotXJkNURzBdcuohXDkKUQZAtc]oDX\kBUWZ?dd}rDV|k?UXy~teUrdVzkvT}ZMD^]rXVrjyUYY}Dek?e?V?Iu\ZNLf]rvX~k}_EOBg@myX[~mgVNZhtrmxh\Lm[VRzettEx\\FmXVQZhTrExP\FmcVIzhTquy@ZBlbVPZWdsMydY|mjUoZidj}tt\Vl[VSzUttUth\BlWVPZUTsEwx[JmOVBzbtouxD[DmCVHz_tqUw`Z~mIV?zaToEvp[Vl}VEz^Tpev`ZblqUzZ[Dm}u|ZvlmU|ZZTnMvTZXlsUtZ[tl]uPZNleUszXTlE|D\XnQVVZsDtm{h]BnJV`ZrDw]zx]Zm~VfzoDxuzt]Rm{VcZmtw}{X\rnDV[ZmdwezT]rnZVZzldzUzH]fmsVizktyezD]pmnVjzkDyu}`^VniVuzyT|e}x^JnfVwZxd|}|p^Dn]VqZvT{]~D]~nrVoz{d{E~s?Cnsv~_?t}s?D^{nt_?j|t~U~o?Cnx_@j}D~^