CAT(3158,1)

Sparse6:

:~?pU_?O?G?CBg@b?q_XoLwFKBa@v?{_\OMgF[Bq@q?s_Z?LwF?BUAW@A?dOO?H[CCAR@C?doPOHKCKAT@G_bOPwFkB}@|@Z?coQwHSBy@~?|_q?VoKKEKB@@a?nOVWJ[DqAx@\_loUgJCDeAo@b_k_WWKODiAZ@M_eOSGIKC}BE@T_j_WgIoEEAc@^_i?WGIWDyBz@}_}O]gN[FeBb@q_wOXoMkFKBR@g?yO]?LSFWBX@j?zoZOKsEOB^@m?qod?PCGeCTAL`DobGPwGEC[A?`G?^wOoGICGAF`@_`WQsHQCjA]`NofWRSHqCvAX@GocoRCHGCn@h_roYGLcEiBV@m_voZWUSJQDfAn@VOk?TcJCDZAk@POg?TsICDZAn@SokOT[J?DTAe@Xoi?UcI[DdAb`QohGXODaAt@X`Bo`gOkKgEZBK@foqoXsJuDvA{`e_pGWoK}EIBM``ooWWSK[D|BG@_OqOV{K[DpBG@[om_XKKgDjBK@ZoqoUsM_CbAQ`HolWU{JYFaBj`uozG\CMiFRBa@qoxo[cMWFFB[@sOv_\KLsFTBj@kouo\kMoEtBU`kOtwY?MUFMBQ`r?sWZwLUEeB``i?wG`_OiGVCHaBPAG_{N}FzB}aC_}g`WNmFwCIaC_|G`WNYGSBt`wOzg\{O?GFCAAAp?O_cNCFnBr@{o{_^CK]ERBG`xo{W]SMyF`BnaW`J_d{Q{H`CmAWPIoc{Q_HTChAUPHOaKP?HLCcAFpI_cKQoHFCjAPPFgcCP}GyClaU`EwdgPqGtCXaKPDOccPWHJCVARPI?a[PGHNChAIPBOeCOoH^CmAFOxW[{MYGvC[aMpBg`kOqHrCwaZpQWh[SiIiDEaj`QGioS]I?DQai@OggGTMI]C|a^`SWfoTAI]Cyag`NGi?RmHiDRai@Lge_TIImCpaX`TWioRIIWDCaf@PWhgSMF\Bo`vpY?mcVSJRDfAxpXgkkUQJEDsay`WWkOVMJ[Doav`[glgVEIoD]ao@UgjwTeJSDZau@VWlWTqKUEAA~p_OocW?KFEDA}P`onsWWJzDuA|P]?n[V[JrEV?WoKwESBE@f?q_`OOWGCCUAF@C_xo\WMcFYBp@v`IOdgQkHeCpAV`GocwQSNQFlBtaaPPWg[ZGLlEvBYPkoukY{LdEpBXpk?ucYoL^EmBWpjOuCYoLLEmBSPjOs{YOLREdBTPgot[YWL@E`BSPg_s{YSK|EbBNph?rkYCKtEaBMPeosCXcK~EVBMpe?rsXcKjEVBIPd_rCXgKhEUBLpf?qkWkLjEvBEpb?usW_LREIBTpaOtSWwKbEOBHpboqS]w@\?o_VoLwFCBe@l?t_YOLGEsBUAj@V_jOTGISDMB~A@`?O`GOSGMDBAa`OOhgTCI]DJAb`QOtWYcLMEtBZ`kpCWaCO}GdCRaIPUGjSTeIvD\amPaGpKWiPFG`cPQE`CC`{OpG]CKqFPAs`kOnG[CIqC`BC`OOrGYCHqCPAk_{OnGOCJQBH@s_uOcGHcIAAxAW_iO]GGcBACXA?_]OYGBcAaBh?__qOSGAc?AAx@G_EN}GAb~A?W~g_ANsGBcA`~H?_^mN}Fvb{`~g~g^aNsFpb}@{g~W^MNaFsbx`|g}O^UNkFkby@zW}g]mNWFvb{`yw|g^aLoFgb[`ygvO]eO{F^cO@wXBw]AOKF[cC@vh?w\uMqGZblAFGzW`uMlFWbjptGyk\MNIFQbg`xwy?]YM]Fabf@xGxg]MNIFIbr`rG{o[mMMFabq@qW{W[aMGG`bbAGwwgaIN[F@b``{GwO]}N[E}bw@oG|wZ}LuFgb]`ygv_]eSY?f_QoHgDCAe@T?j_UoJGWkKYEHC?a?p?gfkRyH~Dxa|P]xSgiQTFIadQQgxSShwT@I`DMQfpRkhcSxI]DLqe`RkhWStIWDKqdpR[aWTFGdDPQh@CcdsShIRCnqV`QkiCQvH[DNqg@JSdYQhHTchqSXISgkQ\IKCgQa`H{gkQVIICeqb@Hcc_SNIHCdQa@HKhCQJHFDGQP`QScGSNIHCaQa@G[b{S\H@DFqO@PkbwS`G{DGqNPQShSPrGzDHqd@FSbWS^IMC[QbPE{bKSlGtDKQL@Q{bGSHGoDBQKPOkgKP\IACVq_PDkagSHGjDAqJ@Osa[SDGhD@qI@OKfwRvH|D?Q^pNcfGRpHsC|Q[pNKfWRbHvCvq\PMCegRLHgCtqXpLKeKR\HkCqqZPKcd[RDH_CkqWPJCoS@D?c_PoJgECA}@\?o_VpaGpSWePHGecQqKxEkbQWyKSeJRDX_OoaWGKIe@bAX_OomWYKCeEB?xUoo}TgKOdYbBh^KnmVtJvd{Q|haGnMWcJseHa|X]?omWYJqeEA{X\goaV]KIdvBAX_glyV?KFeBAvxYgpQUmKUdjBDXa?jeW[IveFamH_gjEWMIreBAkhTwn}WAIodVB?HTWn}TWK?e?ajXTCieTTKRDRrC`SspCTJJ{Drq~`\KnsVPJcDmqup[smSUxJaDlQu@[[mCUrJODiQsPY[k{UdJKDbQr`XCksUNJ@Daqo`W[k?UHI~Ddqn`XKkgTzIyDtQypVcmoTvLs?QoHwCsA]@L?d_SOIgDKAa@T?h_ToJGDkAm@Z?kbpPxG{[]UNNFebsPyg|KvC[@LrF@R[`oKvC[FMDExR[pocvgZ\LoE}RZpn[vsZ\LoE~rZpnsvOZVLuEuR\Plkv[ZZLjE{rZ@nCuMZHLaeorWHj{vsY|L[E~rVPnstcZnLZE{rU`nCwKYpMDEjrT`octOZlLsEirSpmkt?[XLQFFRSPpksuY^LMf?BOHfwwIX{M@e|BMxn_ruZuK{fEBLXpor][YKufBBKhp?rQ[MKreWbahdwwmX_MHeVBahpWqqXYMHfBBIxp?qe[MKieORGhcKqMXJKceJbYHbGuiWoLheLBYHb_ueWuLieRBQhd?sqXMLJerbQXkos]ZILGeabOXgWsYYGLAe[BFXfOp}XqK]fu?GgCcAM@D?c_Pq_XO[gISHIDdBQaXO{gaSTIJdERFXb{py^|O?f~ry`|k}k^\NhFuRyP|{}k^bNiFwR}@sS~g\FM`F{rwp|{}S^bNcFwRw@|c}G^\N`FurvP}S~K]|NsFnrt@{s}_]lNTFrrtp{s|c^NNgFkRqxxk{q]PNIfcrn@~szw_@M|F~rkp}kzS^nMsFzRkP}c~K\dMoFxR|Ptk~[\^NuFVRi`~Cyo^tMjF{rhp~[yc^zMgF}Rh`~[yO^zN{FQrexrkxq[|M_fNrdXq{xY[pMYfKrbxqKxA[dMRfIRo`yK|K]HNQF`rnpxs{C]`N?FfrmPzSzk]xMyFlrl`wk{[\pMvFbQ~x_KoA_TOKgDsLIEtBU_lOWgJsEYB\@i_iPVgjCCyA`DUamOQgjCCIAHDU_HOEgAs@y@L?aaEPNgacSYG`DAa?Opg`CKyGHBI`[OygWCNIDxBm`UPEgUcPyD`Ca`mOggTCMYF@AeaWOdgfCHyHhAY`CO|gQCNyCXBy_}PQgOcTIC@DM_wPHgdcFiBhCi_AOLg@cBy?P?yYTLKedrDxbCpeWtK[eLs?Y?\?IcgQVhKcdiR@HUc[QPhGCcyPxHIc[PohGC[iPxFEcPQHhDS`YO|GYcCQVhKc`IR@GMcaP]hHCWIQXD}bAQSgpcdiKPHUbqP~g|c_YNPGAbYQJhEcZyLpGqbMPiguCYYL@EmbGP{grC^iKhFuauPrgmc\YJ`FQaoPug{CUiMxDeWDKCe@qhhS{iUTPIidSrsxyK|I]\NOffrlhvCz]eORRhcctYWxLQeMRKhccqiX@KmeGROhbCsiWhLEeGRMhacrYXxKYeFRAh_sniWDJ}e_QqhgckyYPJQdKRRhSCtYSxLQdERMhQcrYXxIQcyRIhNCrIRxKmduQwh\CnYVHJqd?QkhPCjYTpIEd]QhhWciyU@IicsQthMClyRXJYgKLgetRYXlkumZXLnewRZhmKvMZdKVeKrEHbSpqWvPEgcSPyG\CUaHP?g`SOYFtB}`zOyg\sNIE|Be`pSNILtCQblPog`SWIFtCQbTPcg`S`IETGq`tQGgZS]IFTGA`dP{gZSfIDTIQ`LQ_gVSHIQTAqclOghLSEIIt@qa|O_glSEIHTAAadO[gfRaIRTHA[dMKhJR|IIs~qa|NwglSbH|S~AcLNkhDRvILtFQ^LPofpSfHyTIQ]tQ_fjRpIHS{qadNGgfRmhwSzy\\MufXRgIKSyabTMcgrRdINSxqcDMWg~R^I@swQ_lM?gHR[I@svQ_lLwgHRZI@Sua_LO?erRUI@T?AZDOCenTwFrRxx|C}e^VNigusZyLtEibXPjgnSWIJ|EEbFPaj?d^YoXVmkCT{i|d^io@Vuj}T{i{D`ynPWejqUGi{D`InHWYjsUDi`TPIg\Tui~T]j?dRioXTAkCTNidd`IhhWUiWUEicD`yhPWeiQUGiad^io@S]j}TEiydNyg@V]jkT@iydNIfpV]hyTui\d[im`RihqTriZD[im`RahmTriXdZyehVEhgToivdKYePVEj_SoiuDJYlpQ}jYSmiTDZId`UyhUTlipdUikhTqjGTZisdTylXTejSTWiiDWIipUIiiT`igdXyiXUajKTQjhDpixD[]mFVDjaTsQq\[{khUTJgTsQqD[{kdVOJGtrApt[skZVMJFtaaxdWom\UJJetmawD[GlxV@J\tdattX_l`UVJVtqatTYcmVUgJctiqslYslNUkJRTlqsTZclHUwJPtnQr|YCl~U_J^TkQrdZKk|UqJMteQudZWkvUYJYt?I_TOEgFSDiATxA~|]WoBVdK?T}Y~\^inwVij~DzI~h]mnNVhjsT~Qyl\[n|V{JjTsa~|\OoBVRK?T|a{L^_nFVaJztzQz|]{m|VmJoT{Az\^GmzVpJmTuA}\\gnjVXJyTZIltUuj^TpiwT[imdVMjjTvizUGB?T_OpDWBKOuFRCD`{pDW]KOuEbC\aSoxWcKLuIRA|`cpVWiKKUHbAda_olWfKIuCZA\`Io\WOkFuHb@\a_oZWfKEUIb@T__pVWhKCu@RC\aSoNWcKBTrIxt[um^VPjgUPzHLcaqBXBk`UQbFDbgqXXJK[uQbE|bSqXXJKZUKbHtbOq^WrKeuJrHtbCq^WoKeuNbGdcWq@XDK^uMrDdbsp\W{KUuVrKle[rBXeKoUSBJddGq|XPKmuWbJLdkrHXbKlUSrItdSqpXSKju[RLtfKr`XqKvuYBL\egrZXhKuPdGqsXURLHgcrqWxKkeQXXKmeUrIXd[qi_~O`gOSFIBt@udPQehRsgySlIQinTXikTTIitTUmjVVjjTsiyd\Mp|X?k^uMzFlbqs{YclOEhjRxiUtAYZlMegzSPhqs{YWlOEejRxhesiYZlMedzQphqscYWlIEejQXhesiYOlJecZQpg}scYKlIEbZQXgysQYOlDecZPPg}sMYKlEe`jP@gysUYDlCe`JPPgMs?YElCE_jOxgEr}YDk~E_zNhgQrwYAl?e]zO@firwX}k~e]zNhfirgY`kzEgzMhiIrmYck{ehjN@iUvE?U_KODwBK@m?t?\_NOFGCK@}@@FjbupzHWCkEUDI|d^qnhsSyM\BMcfRRhYJ\DuaxPXgkSUi[TMQfFRdhrsxiqtXaknUXjLtej@\_uoXWDkBu@jIDdIqbXRkiuTJappMwo[TmJfDJbHpAwu[QmLFCZ`hpMw][TmFFDJa@oiwW[QmDfCZ`ho]w][HmFFAJ_`oiwW[EmDf@Z_HoQwE[Em@F@Z_xnyw?[HmCE~z_@nuvwZ}l|e~z_XnewAZym@E}J]hnavmZylzE}Z^XnIvyZsl}E{z]hnAvkZnlze{Z\xnIvaZrlwE|J\lmqv\ZllvUzJ[@i]tQZalSEwZY`pYuk[WlifDzbHlEwuZRmLEsj\Pk}vUZOlfEyZXXmevUZLltErJXHluu}ZIlcEvjZPk]uKZ[laeuzZxkMuGZ\l`EvjVxliuAZ[l_Euz[pjqt{ZglrenZ[XjevIYzlqEmjUpmYtoZglZexzUXmMtiZdlYExJYxjAuqYqlkEkZ[@iuvCYnloejjTPl]tWZXlTeuJoO?i?X?J_EoBw@tww?`?P_HVd?A[@U?h]SnJVdZqdxY{j]PMMVcrbtxGwz\EM~V^BhDvsyN\}Mcv^Rh\voyT]NM`vcBglsO{\]OM_VObptw{yB[|NDvNrplrw{X[{NDVMbpLrk{P[vNDVMRpLr_{P[tNEvaretrO{X]DMWv`re\wWxd]CMWVJboTq{{F]AMTv`Bdlqo{F]DMSV`rdTwWxR[dM~vHroLqW{@[aNGvHBq\qK{d\~MNvGRoLw?x@\oMzV[bnDvCzn\rMuvZrmluwzh\cMtVXblduSzV\fMovWrlLu_zD\WMnvUbjttcz@\\MivUri|toyl\xMhV]ridvgyf\NMeVRbiLssy`^mM}V^jnk@Y?p?V_JOEGA{@m?r?Y_KoEgB[@u?|?[_NOFWBd~w~^^|NvV~r}E??~^_ANwW?R|t}s~p^jN{vzB}|}o~x^lN|Vyr~\}_~b^rNtV{b|L}_~h^iNzVyR}lyA|D]`nPvhZsd|p?@^]O@VvS?L~s}r^~Nlv~bzT|W~t^VN}VuB~\|K~h^TNzVtB}l~_}`^QN{vsR}|{s~b^rNfv{bxtx[~J^fNKveB{txg~J^fNMVer{t|{}T^`NeVwBx\{[}B^HN`vqBwTzw}H^EN_VnrwlzS|p]vN\VlbvLzo|h]qN]vmru\zC|T]oNSvirt|y_|Z]eNUVhrttxs~D]^NqVfb{[?i?X?J_DOBG@]D[~J^fnrOBW@{?y?Z?N_FOCGAS@E?`?P_HUtzZLlautZ[lluvzZtluv@ZalowWCI}EHAr``OkWTsK]D`BJ`XOqWTSJUDpAh`UOlwTCJ}DXA|`TOmwQsIMCtAd`KOhwRcIMC|Af`OOhWZsHEChBb`oOcwWsGmETAN`cObWWCGUEHAH``O`wNsHuCDA``?OfwNCJmBxA~_|OnWQsFMCt@v`KO\WLcJUB`Ax_vOlwXcE]BTBP_sOrwJ[D}Az@`_qoWwIcL}ApBb_jOwWXcC}AdBP`fOSWHCLMEl@L_dOtWZCCMEx@F`lOPWGCLMEl?~_]OtWZcBmEt?v`kOMWB{AM@B?d_SoHwA[@U?n?Z_KoFWEC?]@h?J_XOAWDS?u?`?n_UOBv^zoLwA{P]InCvbZpdwm{b]RnHWrsOeLDCLbOPAweSWuHlEPaYPbwrsQuH`EbaVPgWpcQ]K`CjbFPIWrcQMH@EXaQPewbSXMGxEVaNPdWqSPUGpEVbIPDw`sXeKxCRaGPew^kOEF~CBaBp@W]KNUFfBv`|o}WpSU]KLDdbCPWwjcWEJ@EDanP_wnST]ItD|a~PUWiCU}JdDTawPSwmcSmJlDNaeP]WgcUeIPDlabPYw[cR}FPDB`rPOWfCMmFXC|`vPMx@SYUO\EhcEPhw~s^MNlGBbyQ?W~C]uNxFpb|PzwyS`eM\GVbgQEwxC`EMXGTbdQCwwS\mM|FFbaPvW{sZuNTF@bsPnwus\ULtFXb[Ptw{CZELhFdbXPwwtS_UL\GHbUQ@xJoCKAA?~?^_OoGJhDs]yL\HmdvQkAu@^?j_WoLWE[fqRbI?cyq^hM[eqRnHycvq]HL[eQRbHgcyqXhM[eIR^HkcnqYhKKdaQ~H[coqWhJ[eaQzHeckqXHJ[aaRnHwcTq]hDkaIRzGed?qHHN{cqOzG_cgqRhB{dIQNHSccqThH[biPjGwc^qLhFkcQPbH?cXqOhD{lp}a~T^hnuVzZ|[@M?j?S_HoDWAdx]{r]WnLVfJr]JvD~a}p\WnKV]J^DrawpYWlkUmHrC|a\pNwg[SEW|Jzd~RGx^cqEWpJteLQ|xbcneV\Jzd~Q{x^cnEVPJtduQ}X\Sn]WLJddrRAx`CmMVLKBeAQwx_CmUWdJ\eJQwXacl}UxKLdoRCXZso}VPJVduQux\SleUlJndlQ{xZCnESDJJdBQrxOckuWpJDeLQqXbck]T|K^d`RGxWCqEWLIxd]RAxVSoeWdIreJQlxacjUTXKLdWRCXTso}TLK@dTR@XTCoMTFIddOqfxRkhmU`ITdhQeXYch]SdJNdFQqxQCkuUhIHdgQaxYSgu]@Ab`RohWTKImDZFhbtpxw{K]UNFFZbnpvWyk\]MrNIfjrphyk{a]fNEfgrqhx{{a]ZN]f_rpH{[{I^BNWf_rpHzk{I]vLwfhr^Hy{vi]jN]exrwhm{}AZjNWeurvHmK|iZ^NKerrYhyK{yZRLZenrVXikteYnMyefrnhi[zqYbLGf\rRHv{si\zLEfYrPHvKsI\nMse]rOHvKry\nMoeZrkhfKyyXvKofSrjHekrI\VKifWrJhu[yyXZKcfSrIHtkqY\VMUfGrehqkxa[fM]fErgHp{xq[VMCfPraHs{wY\JL_e~r_hkkwAZFPsgjsUyJLDEajPRfzSZyMS~m^pPpfwSZyMS~U^dPpfvSYyLc}mbPNlgtRyX{tEu^HPhgmSJYKDA}``P^gRR~YDT?E`PN~gOSWyCdE]`DPdgLSMYBtBm_xO|g^SDYGT@ea@OVgFSPYHD@MaLOPgCSQy@dC}_TPLgXS?y?tB]_HOtddqrxXklEUjJRhgSeYYTHue\QZhWslYU\I}dZQjhQSqYXdIeeTQfhfS]yYTFue`P~gySqYXdFeeTPvhNScySTH]d@QThZSbYPtJmdpQPh`S`yPTK]cPRDh]S_YWDGUd|QBfSrjXt[zE\fMnfYrmXu{zm\~M|hiTFYYtQEepS^iGTAy`tPUgXSRiATFY`DQEgLS^h~TDy_DPegDSZiPS}YctNuhHRzhxs|Y]|NEf^RliPSxyctMmhHRhhpTEY[DPmfHSViGSuyadL}gdR\gtsZYLLE}bfPpintWykLTuivTXiqTOYlDSUjLTBiqTMylDR}jLS|itTLYfDU}jXSvitTJyltRMjXSpiSTRYiDQui\SjihTPyitSeihTJiwTbyqTVUk`TrjITaYrDWuklUJi}TeyoDX}j|U\j@T\ynTW]kHTxjUTkyttZUl`UvjRTgYtTYUlPUbckqVXJ[xE[fMTfDrbxplF}bvP|gys\yNLSuibTNibtQyhL]amzVkjotyiz|\YnFVYjrtuI{l\QmzV]jgtsi{L\Ym^VYjetuIx\\ImNVSjctpIyL[Qm^VGjdtpixl]alrU{jutyiv\ZynFVAjrtoI{laiUnJZdk_BoAW@E_vO^gMsDYBL@]fFRdhosuyZ|LujbTtixt\yn\VeqPXNkeUSzHTdEqHXTkkUPzItcMqPW|k_URZHTb}qHWvkbUMzGTbepTW|k_UJzDdb}pTWvkVUMzDdben\W^jxUGy}DaEopXNkMUSzBTdEodXTkjUDzAddep`WLkXUCZEd_}oPWtkWUAz?tbMo@WdkAUIZ?Ta]o|VzkPT~Y~taEnhWdj{UIY}ta]ts?H?E_AzNDjmrxY~k|UnZMTjmrlY~kyUnZMDj]rXYxkvUlZTte]tdXjlWUYZKDjetlXdlYUWzTtdmtdX^lWUVZSTh]stYflKUhZRdhEt@YRlNUdZPTf}sXY@l@UbzOdiesPYllBUiz_O@C?e?N?F_CoALnywF[El}v?J_loavz[Kl~vAj_LoavV[KlvvAj\lmQwF[Elsuxj_llyvnZal|uwJ^LnAurZ[lyuuj]\kQubZKl`urjWLkYufZIljuqJYlsQo~WbkOuHZDLa[?Q?L?D_AO@g?myh\@mgVOziTr}yl\Bm_VUzftteyT[fmfVIzhdqexp\Vm]VUzfTtexh\TmZVSZeTtMxX\DmWVPzhDq}x@\DmcVHZcTs]yT[ZmNVRzbdsuw^[RmGvDZbLp]t^YrlWumZU|jUzP]XmuVfZlTxmzt]^nOV^ZsTv}zh]`nPV]Zmtx}{p\nnMV[zrTvEyz\`mnvWzk|uU{d]FnDVdzqdwe{X]@nGV`ZptwM|H^HneViZst{m|l^Bn\VpzvD{U}@]tn^VkzvdzE}\]jnhVjzyDyu~L^`nqVyz{T}e}h^ZnkVvzyt|uv~Z|m?vczq|xU{Z]PnFv}K?l~r?R^yoBv}K?L~r?F^yn~vzK?l~B?R^moBv~j}]?I~n_?nywIJgLsMx~^BnavpzwLz}|z_go[wJKE}Aj@j_koWwIKE]Aj@^_coDwBkC}?r@F_moMwKkB}BB@B_UoYwEkFM@b@n_eoIwCkC]AR?b`coaWV{GEENAD``o\WW[FuD~@x`bohWP{IuCnAh`HokWR[IEDvAt`NozWX[LEFnBL`xouW[[LUFVB\`roRwH[C]FrCR`}pEw_KP]GJCVaEpEw`KPMD~BF``?@WekPw?ZC|aPpH?@KRmHO?HaZ?@WeKR}HW?La\