CAT(3024,2)

Sparse6:

:~?nO_?O?G?CA??t?[_LoH_CO@u@??^_O_FgEgAq@\?l_VoKWECCC@R?j_TOROGkCUAJ@E_bOPgFcBm@z?z_]ONWFsB}A@@B_`OOWG[CIAB?x_\OMGEwBy@i@?_Z?NwG_BQAG?q_a?KwMwAM@J?c_ROHwDCBM@h?q`N?^gN{FuB|@~_}o[WM[FIBj@u_yOZgMCE}Bt@{_|o]gNcFmBr@w_zo[OMkFKBl@q?yOZOM{F_BX@x?toUGIsD]B_@S_v_SwLoDUBP@i_soXwKkEYBD@c_poWWJ{EAAy@j_u_VgJ_EqAb@Q_gOQWG{CaAV@I_eOROJKCwAv@N?lO}?BK@]?pC@?IODWAsOg?r?V_KOFwBs@u?|?\_No\GMsFUB^@o_vOIWD[Ai@R?j_TOTWIcDMAt@Z_koXGKSEMAz@]_mOSGISDEAP@F_coQgHcCmIWD?a`POWegRaHkCxaY@LwfORuH{C{a^`MwdCQiHRCgA]pN_dSQcH~CaaQPGwb{QEH@C^AWpKocKQ?HdC]aMpFGaWPYGiCWaI@Dw_[OEGDCCaBP@W`CO]GRCKaDPAwe_MEHiBaaZ?wG`OReGWCwaD`Lw^_RiHwBz`}`Mw_?RiF{C{`~`Mw^?RuH}Bxa^?}gg?N]FiDAa__|g]ORAFgCn`x`Jg\wREFaCr`w@Kg_wQUGOCfaC`Hg]OQMFgCa`x`HG^oPmF}CXa?@Eg\oPqG{BkaM_zW\OPYFUCW`s`DwaOMaFMCO`r@CW[oMMFOBd`r_xG[OMuF?Bm`o_zG\WM}FQBo`w_yg]gOQFmCD`z@@g_ONeGEBya?_}GRKHiCpAZ`MofGgGHYI?ATa`?dwQ_RACcCm`H`JwPwQmC_Cl`G`JGa?GuC[CPaH?bGZgGmE}AI`n?aWZSLqEvBSAKotObSLWGvCT@kPCoY{POErBQ`hosWZgKyE_B^`n?rwX_NmFyBJ`}?rWXCKiERBF`bOpWdgKQHWBBaT_ogVwOyE?CNaE_oWVcJuD|Cv@[PMOU{R_DlAtAEoko`{JOG\AoAYOkOesRSDdAc`ROhWTSIqDVA`AQog_csIKHNA]@pog?[cH{FJAF@[omoPCJgCLAB@Vo`OTkGOD\Af@?Oi?OSIcCB?F_CoAGAK@M?d?G_Co@wAS@M?bGQ?DoBG@S`w?`?O_GQH?@k?}?\?I_EOAxE??Q?L?Dc]?Bw@k?yQI?P_HOCxHWLuE~B]`poxW[cNmFzB{aBpAW`C@i?x?Z_ZoLWEsBi@r?w`?O_gOKGICBA?`@o`WOcGaCLAF`CoawPSGiCRAJ`FObGPkHACbAN`GobwQCHQCdAR`HOdGQ[HUCnAU`MOfWR[LQElBT`jouWZCKmEZBK``OpGW[JqD|A|`VojWTsJADdAp`NOgGR{IIDFA`d_AmHVKj]TnIwd[qkHT{iyTdIpdXqlXUcjYTUIgdTAjHTGiuTiIldTalhU_iqT?IpdOakxRwjIStIXdLqeHQ{hYSfITdIQb`S{gsTJINDRQ_@SkfwTNH~DRQg@N[fsS~I`C}QcPNch?RvH|DHQgpNCiORtIaC{q[xMcfITmHnd[a[XV?fARTHjcsqXxLCeYRFHdcqQaPKKeGSNIGCoQVPT{d{T`H]DVQUHI{deQaICcha`hIOgUQVHLceQQHHSceQRHIccQLxFCbYPtGzc[qNHFsbuQBH?c^qPHGScMQNHEcaqPpSSiOQJHEDPqLPSsbKTNGsDQqiPG[igQDHCDSQl@EKbGTlGoDYqJPQSh?P^GmDGqI`P{akS\ILCUQa`DCa[SVGhDEQNpO{gcQBIGC_Q_PCcaWSDGdD@qW`C[eCPDH_COqVpB{dwP@H\CNQEpJ[doOxG\ClQTpBK`gQrHWCKQT@AsdWOjHTCJqN`HsboQ`G|CfqBpAc`COdGOCHqHpAkacOnGgCJQI`CcaWPXGdCTqC`Dk`OP^GRCVP\pAK_{JpDuCGQ?@FSbkOBGAC[p~P@s^wOZF~CEP}g~c^mRoFwc{`|w~GfiOUFucC`|H@O^UNaIUbxaeG}Oh]N\FobvpypCSaCNXGbBupyG|K]iNJFfbrQ@_z{__N@GFBoqiozcioM|IlBmpuwzK\iPmFUbkAMHEo\]QUFRce`tXH_\QM_GWbgaEXBO\IM[GpbfaKgxgbASeFIdI`rHQ_[mMMHkbcaZgx?euMGG]bbAGGwg`}PiF@b`aKwwObQL}Hnb_A[WvofALuGHb]aAwv__iLoHecs@mXKwZiRWEtbZaZhLgZYLWI]bVAfGtghuRiEhcz`ixMoYiLHEbbQpg`@cYCO\GLBOQ_OrkgGK~IBBNPegrcXmR{EWbJa^wrGgAOuESbJAFXB_XUKaIpbHakwqOjIK\EObFpapRchwKZEKDMqA?pS_[KRGEBCP`P?[_SKNGCBBQT?ncdSJ|HUA}qWon{W?RJE@CqP]P?[_SJvGCA|PYpPcUoSVDiDDPZpICUsQ^DmCfQk?mcVST\InAxqeOk{hkJRIYAsQYOkkekJLHiAqPWWk[UII|D_anqg_j[iOIzIbAmPU@JSdoItDXClqSOikdKInHQAjQ\Oh{f[IbHuAgPSgicTMRgDMcx`RHMOSuITDHadqiOgsigIPDFDSPOpOsSSSJDCDAPh_{S]OLPFbBRp__t{WOLbEBBWPk_mKV?LhErAxODGAs@U?h?U_IsFoBC@e?nOmCGqBxAC`YOnGTcKqEHBS`mOxG\cOqGxCSaiPXGjcUqJxDsbMPjGscdQQXHCbYPpGvc[qMxFScEQ@G~c`QOxGcFEBf@q_UOJgDkA}@b?o_VoKGEKDYAp@V_fORWH{CmAX@Ibwp{w}S\YMpFVbfprgxk[QMLFDbYPkgu[UiJXDjaupZwlsVMJhDtanpVgkCTmIzD[ajPTwikSUIHDBacPPwgsSeIVDIh]cmiVdJmdwQvh[cmiVXJacYQuhYcayU`GqdaQHhXcaIUPGicCQph@ckyO`JId[P~hWC_YTxGAbuQjg|CjYNHIqdQPugzciiN@IadMPrhRc\YSxFQdIPiguChiS`EmdEPdgqCgYKpIIbBPbgpSWqPLECcTPaHCSjaJtI{b@QoGnsUAQTDgcfPXHGsTqT|J?ajPUHVShAHTISaRPJHRSPaU|JcaPPFH[S^AHDC[b|PEG}sOqRtCSc~PCHOSNiF|Bu`sQ\hLcNIR`BmcMOzhAcMiOpBq`nOxg[SSaEdBSahOuGhsJaN\Fc``PyGVsJYDdAm`SQhhTCIIT@AedqOegRclyChJa`CQPgQCcyCXHI_}PWgOcUYC@DiaWO[gfCFiHh@u_sOegQcEyBHA]_yOhgTCFID@@y__PhgsCCiKx@E_SOpgECKy@XBI_QPogxC@yMH?a_APBg@cPY?PCQb_N|gxB~IMG~m^iPcfzcXh}pEU^dNsfxse@{s}_ctQXFrrwAH{}GabN`GgSK@zdA{]vOmFlSkPy|JK]rQqFkRsqA{|G_pOUFgrrQUs{kdjNKHYRqAUk{gdlNHHYRpqLlE{]JPmFbRnqFk{C`~N?G^SG@u\AC\jO^FYSeptTHs\XQ[FTriQR{y[d@MgHNSb`sdH?\JMeHFrgQISyGahMbGhreqHLCk[xM\GdRcqOCxOcBMQG~sgpqLIC[^MOHPS_`pTGO[VQBFCr_qQ{wScnMCHJr_aQkw?chM@HJSb`nlH?Z~QNE~R]aEsvo`hOtE|r\ALLE[ZlLtGsR[qMcvCbfLqGysO@l\CGZZP@EuRUQSctkdLLYHQrSQA{tG_pLOGJRPALlEwYLLDGvse@gKsKctQXE`SEPft@kY@OYE^rMAHcrga\KxGesmpedJoXfQyEXRJqJ[rCazKoGmRHaNsq_bzKfG}Sf`aspOd@Q^EIrEQP\GsWpKVHESfPbtHoW~QZEMrCXa[pIa?KMg`BCIGGo}WOQ`eDCgiSWoeWMQUeBCdX_hHQWCPZeACVX_XDqa]J}ggA~IIGnubmJzd{c\iN?niVmQYhKA}H]pHeV_P^dxCWH]HDyVYOlgTaziD_m}VAOpdpcKx[PBIV?QkhTavhZxIucIJZhBavYOolqUqQjdkCjXZPIqUiOadjcHHYpAMcgJQhJAtIQglM`qJPgZaryF?lAUMPTgjaqIIokYUWPiguArhXhEmdQI}hTAnXVxIa]gNbfjBxXyg}Q^WMwfZBzh|gz]^QM]ftbgH|Ox}[iL^fJbWXqouA_GLvgAb]Y?ovaZOMWetBehlGxeZIMofXBXxuGuY^oLaeqB}h~GuMYwLmewBVhlwtuY[MnefbjXtosuYMMKecBbhhGwuXkORgIbLyA_rUXQMxeTBmxdWzi]}KZfnBEhzgpq^}K_ePC?H~oqEXENneQb{Hc_~EWWKkeVBAxdgou\wK?e?bnhvgn}][JrfgA|XxwnQVUNCduBoxwOmiVMLUdsbUH\?t]VILTehaxh[_tQUSMFddbaHookeUELIdabRHW_smUAK{d`BNXW?rm_]I{gEami@ojm?N?H_COAw@c?ipy?N_FOBW?c?U?L?C_BO@ZHHAi`ROggMsFIBtAU`NOe`oOwg[KMYFPBf`uOzg\kM}FbBo`xO|G][NYFnBt`~P?G^{@i?x?Z_QOHWC[Bm@z?{__ONgF{BQ@f?q`AO_wOkHYCnAT`KOeWRSHaCtAX`MoewRcLEEfBQ`bOpwWkJMDjAs`ROhGSkI]DRAggAS@i?l?A^~N}fwrzx}C}q^\NlfdRqXxCzq\|M|fXrlXucwY[PMFe}r^xnsviZvL{ezR\XmcuiZRLgeIRDhakpaWrKVeLRFHb[pyW~K\eORGhcKqQXJKbeGrCxaSoyW`KNeDrBH`koUWLKFd}Q~h^kneVvJydzq}H]snEVdJodnQwHZ{lqUzJZdbQpxXCkeUVJIdeqrHXskQUJJBd\QnHV[juT|I~d\qnHVToKv\Zolvuvr\DmCvRZiLoUtr^\lWvxZWL|UqRXtk{uNZLLcV?BVDoGtt[@L[uyrUTjOvZYrLuUsBSti_udZPLRuhRZtiKuzYcLmUtbSdl_tFZVLQugB]\iGvdY`LwupBRTkWsxZDLLuvBQLhKu|YQLmuwBPLg_vBZ^LDUlRN|j[sBYuL?U_BNTf{rvY@K{uwbMtmOrpZbKzufbMdh{rjY\KxuZR^le{v|XmL~uYRV\e_tzXfL]UqbKLkorDZJKpuUrUDdst^X[LWuibJTikqpYhKkuYrI|dWrXXiKiuVRItdoqnXZKiunbH|dCu@XOL^u_rHtcssHYAKeURBMDfGq\XpKeuPzGtcavSXBkaeyJG`meuqX@lleOjG@liqEZRliePJGhlQpyYwk^emjFpjetmW~lYeNjFhjYpwYMk\ecJFPg}pwYCk\E_zFXgIr]WxkueLzLpbapgXJkdELjHHbUvkSciQe|J]hQMp]Y]lMeJjE@h}vqWll{EJJ]xampGZQlgEGzYHaItQW[lTeFjTP`urMWZkKeYZBPeav[WWlwEDj\x`]oeZpkIe{zA`nIo]Z}kFE~Z@hn}rwWIk}eBJNp_moQXwkBe\z@@fYt{V}l_E?JVx^}nvV|j}TzrV\^CtzVoL]V?A|LoCnV[AJtTxbT|]_tbVfLWUca{l]KsfVcLGugA{D]GtBYaJoudQz\hOmtYUJmTtB^l\Wv~VTL~U[qyLfSmfXsJhTrbTd\?tZVNLVULQxDbWmTWsJctobOlg[mHVBLBUKQv|[CpfWqJ_USavddOl|XRJ]tjRHLY{qVUmKdTjItTYmpaUfkXdiJEPYercUcjRE[JMHYUvsUZl}DfZ^XXqs[UQlGDdJPxXMuSUOlddcZX`W}kUYHlDDaYpPgavmUEl{daJ^@W]sUT|i~ebZP`VyjkXbiyEWYmheIusTqlld[zZHVEj[XckrD[IlxeUjUYqlYDZZUXUqqcTdkhdXzI`UYvUTXludUj\`TmikX]ikEWIixd}vCTOlpdSj[`TEi]ZFlcdRYhpkaiSZRlidRJY`SmrwTFice^ih@fuuETCl`DPjWHSUh{YSi_EdifxhUrqSzi]e]zNPRqsWSxlEdMjPXRahWX@iVEOidhcAqMSeiSEQIcxcYq{S_kndGicHeAuCSXl`dDzWHPaggXWiJEUiahdegbSQiHujA`|iwg`YlIFU`q`\OssJSKLBT?rS|i_gHSALRS|bFDN_prRvKZs{bQ|NCsrRoLKSybRdMosvRjLLSyRLTM[rXRgKtupA[LkSfFRaLbUrQ[DL{u\R]LfsvR[|LkvLR[LqsuiZLLaqaRThjeRzI@LYeeZehiExyYPmUsmRKlKcrjR@KueQZslzCqz]hKiw?RFhbF?j_HKaeCXckrCoIWHeUlqV\j\dvyvP\ylkVqj[D|Iux^MlEWijPEIIsHael?WEkAdfj?`X}kiVDjJdpyqp[YnoTyj|D^I~HVmo_TvkHD]ZAHVapMTckRDWjChUMi}Uoiodkik@ZEkoT[inDeirHTujSStisdLyepUahcW@k@dLIeX_Ih]VJjeDKYxhRAieShiidIyi`QigyU?iNd_ibpWEgOUKiCdbiphOif}SYiMD?Y_@PmfyVvh~D|Y^`^YfsVkjvC}Y^X]ufeT@hyDOy]hSIfYUrhvdlY\pZQgKReiBcxI[hOUe]UBhgd`YY@WQo}RBhaeGYW`aAmmQ|jkcniz@J}pnWxk[UNJF\bi@@?a_OoZGLkEmA~@`_oOPwHCCeJ`DpaxPXGkkUYIJDBaaPPghCS]IRDJadTLYe|RYgXSLiDs}Y^\Nie|R_hnwmKU}JZDcb?pWGo[UIJ~EIaepQGpkSiK^Dqa`pPGm{SYJjCoarpLGlKRIJVCWalpFGj{PiIzCEaipAGjKOiInDg`iosGl[UYEfCu`dorGf[RaE^D_`XpWgU{JQJJDo`Ao`glkGIJ^@iafoZgi[EqIbDq_bp\gH[VQAR?z_]oNwBCV}?tEB_JP_Wer{MHs~Fa[NpWprxeKW}ZbDNfWnbweJo}Fa|NavlsRtz`D@a^N[wgbr}IK|B]_POvfcTDxtDR][PRvcCWUKO{dbBNGwnBoMJw{Da|N@vWsTmIwzJ\cPVvUcRttpD@\ZPNvPCTdsLDV\APTVDSWUKKwn[UPaWhB`}IWwbadMGW\sMMFdBd`wOxwNsQeC@CdaRO^V[cEUBOzh\rOXwIsK]AhBH_hOpWGCMeFX@D_`OywDCNm@XB~_TO~WCcQu@LCn_PPIwACBU?h?x_HOLw@SHMC`?N`FOBWSB~MDG~v`PN|V{sCt~T@P^sORwZrz\|tB`^[OvWJBymAw}n_lNjVscJd|PA|^ROmvkSPDzLCL]qPBwRRt]C{|Z`MNUVnRtDz{|T]}NSwYrs|yTBZ]eOuWQbsUCo|H`JNPv|bq|~_{l^vNKVcsGdxTAL]SOawBbpm?{{\]NOGWWRp]E?{X]IOnv`R{lwO~L]ENqVpbn\{_zz^FM}V{BnD~Gzt\xNwvZsItvDAp\oOjvyBlduw~R^fMuvYR|luk~^\iNvVXb|Tu_~X\fNtvUCQLtdC`aNMjvTBx||Cyl\TNgVSSFDtL@t\QO[vRb~d~wy`^|Mfw]bh\stBx`zMeVkBhLsg|\\GNVvPRkDs[zD\EMovVRf|t{yB\]M_VaRftw_xx]FM]vMrwTrg}@[xN_vLsPLr`CVaIMZV^be\w?xh\~MYvKCF\rH@z[pO]VJRzDq{}t[mNkvqRdTqo}V^IMTv~rc}?CxR_?MSVHC?TqX?H[dO@vGRztqK~@[aNnvFbvTzox@]zMNvErrLxkwz]YMMVEcBLpd?p[WOJvCbmlpOzn[RMzVBBudow|l[LNYvASODolCDa@MDV@cD|o\@b_oMCV?sI]DSwJ[COiSGiCdAMFTBj`sp@g_cOU@F?c_QobgPkGqEPBI`coigTcImUpJXdlQoXWSkAT|I|d^wM{FmBq{l]WnJvTJittUwF[DmAXvC|]]tM|fkRmxrcyE[tMdfNRgxyCxM[`NTfFRsxpC{m[XNNfDRrXpSy][XMjfCRiXjszmZDM|eoRmXxStE]\LNfeRRXhSxU[pLFfJRQXuSqM\lKdfYRHxasyEWtMdeKRgx_C|UWDNPd~RsxXsxU[lJRdgReXVS{E]DIvf^QmXScy]TPMjdRRiXwch}]PIbfbQgXrShe[|I\fMQextshU\XIVdHRkXwcguS`NFdFRqXLsxERdMRcwRbxBSz}]DG^cMRoXuS\e\hFZfZPvXts[U\`F@fUPowts|]LdNZfkPkXlSuUZ\LheuRXxgCvu[@LDe`R^xdCtMYhKjejRJXbcrmX|K`eNRNXeSo}X\KLeWRAxFCneVxG|c\Q}xmClmZhJ^exQvXoSkM[LJFfAQpX]SjUTdJtdWQ|xNSo]RxKDc~RAXLCpEWhHleHQYxJcmER@JdcnQwxKSb}RLHBcqQOXDcgmSLGpcVQaXCsd]PTHZcSQUXTc`eOhIndTQDxXC_eOXJLcDQqx@s_MOdGFcGQ@W~cv]O@Lzb~R]W}slUNtJVb{QuXIC^ENhHTchP{w{cbMNPGtcZPxwzsgENDIDboQ_wySfURpFVbiQ\wyCr]M\KxbeRLXCC[]MTGdbcQGxjCZmYxE~elPnWvC]}LhFlbZPyxVcYeU@Eld^PiwsSmuLLJpbQQzwrccmQ\E`cePfx[sX]VTEZdsPeWqCcUKhHHbHQPoJGDsAuN`FnbvPxG{[]IL^EpbWPRGhkSylNUhjSW{[\}NBEPbHpdYgdSmi\THibTRYfDT]hxTZi\TUYiTRUihSvigTKyftREiDSni_TJYgdOeiPSJiETPyitL}fDTZhoTUYXdRmhxRPi[SryftGUcPTBi_S`yddF}h`QBiVS_YMtRUbdSvgyTKyiTAM_|TTigSGY?tSmi\OJgCTRYKtQEhHPhiPSYy^dNEg@Rth~S{yWDLeeHR\h`SuyVDO]dlSBhYT@YbTHud@S^hNTFYPtMmcXRnhDSzYctFehTP|iSS]y\DE}fHPphrSZYTtDma|QpgmSkyVtDUdxPXh\STyHdC}aTPPgcSSy]tCMaLRzh{SPYQDBuchP@hHSNyEtH]`tQZg[SeYKDA}bHOjgpSJYCdIe`LQjgSSjYAT@e_tOTgMSDy`t?ugdOPiGSBy?dKm_DRHg?SpySS~UdLNxhQR|x}C~u^dNzfvR~yYS}eelNlhiRyyac}MglNdiKRxyEC|u`hN`gXRvsIyDlAqCPAF`BWEkBe@m}J^Cn`zGDbuqHW~k`UMzGtbUqTWxkcULzHT`EohXFkcUCy~DbunxW~k\T}zGD^MqHVvk`T|YvdbUm@Wvj^UMZCtYUlPWdjRUGy|d]En`VdjvTwyyd\mmpV^jjTvZ?d[}mdWHkBTsZED[mpdVLkVTqYwd_mmLWNj`UBYutaepXUzkTTmZBdZEp@UtkNTkyqTX}klUbjITgYodW}k`UBj?TbYnTW]j|UJi}TaYrDVUkxTxjLT\zAtU}otTrkKT[Y~tUeoDTlk?TYykT]]jLVjiqTyYttTulXT`jTTVuPjG|caMrFZblT@I_\OIdzQ~h^Z\dliu~Z_ljuvJZLmIujZOlruxJY\kQvVZGltupj\\jIunZYlZulJZLlytNZ_lTuvJTLhivRY]lsufJ\LlAsjYWlhutJQ|mIrzZel?uxJN|fAt~Xsl`u[jWLiAs^YalHuhJQLgatrYKl]uajV\gItZYolBujjOleqrRXmkquXjL\daq~X[kpuUjKLkiqfXUlfurJIlfYqZXykgu]JH|pqyB[]m`vGJglrQx^[qm[vLjeLoqxz[Im^vBjf\pAwJ[EmIvAJa\nywn[?mKv?jb\naxRZ{mUu}jd\sivj\Glzu{jg|qIvZZomRvHJ\|sqzb\smgvRjm\vYzJ\ymsv]Jk|uiyr\mmmvZJj\tyyf\amjvWJig?I{\]HnE?@jq\wg?H]P?BV^JoW?I{@]F?AV^jon