CAT(3120,1)
Sparse6:
:~?oo_?O?G?C?[?G?D?BO@G?s?U?H?E_AoCO@{@A?\?V?GOBw@sAO?z?^_NOI_BK@]?p?[_LOEwBs@u?~?__OoGgAc@Y?j@A?^oOWGCBM@h?t_f?KgEKBAAg?S_JODWH_CQAY@B_`?QwA[@E?d@E_aoPwBS@q?v@h?FoCG@sE{@x?}_]o\OF[Be@t@z?iOTWIsAu@^?m_UOIwDSAW@R?c?SOHOC{Gg?Z?J_EOAG@S?e@P?f_SoAG@S?e?V?L_EOe_RKHeCrAA@Eo_oP{GwCBAP`HOcGOCFyB~Ah@HodWQcG]CPAH`X?[GMKE}DoAO@EoboQKGwCd@w?zo]OMkFgBl@q_yO[wQ[HUCh@z_}O^WP[GqCTBL@EOawPSLWCHAE`AodwRCHYClAW`Jow_O{GaCRBg?toYgLKEyBX@l`|?ww[cMIFNBd`rOyg\CMeF\Bn`wOzW\[MqF?Bj`n_zW[GMqFABo`o?zwZwMyDBA_`POiGS{IYDFAd`QOfgRkH}DVAh`TOkGT{JEDZAk`VOw_ZKLkFHBb@lOv?[kMWE|Bf@moy?YsMgEpBh@joegRcHmDuB?`]_nwV_JyDsBT`i?mGYWJeDiB@`Z?owUwKIEIAq`b?lGUWKQE_BL`h?rwYGKyEQBI`b_qwX?KqAr@V_kPQoK{EaBLDP?qOXWK[TgAt@[_lpW?KCEEBD@S_jOTWJkDyA~@b_qoXGlwE]BP@e_poXGKkV_BP@e_rosgYKLAEbBQ`gOtGY[LUEfBT`iOoWW[KIELBD`aOpwXKKaETBK`dorWX{KyDVAh`TOjwUKJADXAm`UouWZ[LiExB]`mpmOuSZILdEmbUPjWt{ZALbEfbSPhgtKYmLTE^bOPgWsSYQLFE[bNPfWp[WiKXEnBBpkOpKZ?KPEObHPcWpkW}K\EEbAp`GoWYmKAEib@@iWt_WEL[EBbU`_go_XqKKE]bA`fWsoV}K?EgbR`^grGVmKuD|bL@^GkcUUJFDAaaPOwmSVQJfDDabpPghKSiIPDJaepRGkCUIJBDCa`pOgksUaJNEkA{pj_nCYsJtEoAxPkOmcY{JfDtBSP\os{VWLLDpBNpgOmCU{L@DkBPph?lsYGJZDwBKp]_r[VcKtEUArPe?lCX[JNEVAspYorCUgKlDbBBpXOpCUOKRDaBGPW?qKUCKdDZA~PV?n{W?ItD{AmpVonkVkI|DkAmpVolkUwI|DZAgpV?i[TgIdDWAwPTomKTcJ^DVAspYojKUgIpDSAypT_m{TSJlCTaJpDgbSPaGrC`BQphOcSYSHFC_BHpFoqkPwKhDSAMPT_b[PsIjCwaZpLgfKRmHtC~a_pOGe[RUHhCoBHpK_qkRCKhDMA]PN_iCS{HzClBDPb?dsWkH^CfaSpIGdSQqHVCKaFPBW`GSyGUDOaD@Rw^_SaIQByad?}w^wSqF{DL`}`Qw_?S]GCDEa?`PWpgOYGOENaB`bg]{NeFpBsBTO|_tKNSLVBpAgo{oi[NGIdCSAQPC_csPKHJCBAFp@OaKOOG`IP?|o^WNcCMAH@A_hoSWIShsA^@O_fQh_MkF]BlAA`@o_WG{CUAL@w_|O]WLSEmBR@R_goSgHKCiAPI}?doRWHcC}A\@OaKPEgbKPmGzC[`}o~g^{OaGLCF`zo}W^CNMFbBq`yO|g]kloUrJZdlQrxXskuU\JNdeqqhXckmUXJJddQu@XClWUNJVDcqohWKkMUBJAd`qiXT[iiTXIldVQjxUKjATdIsdXqlXU{jYTtIxd[QmxVkjqT|J?d^qo@XKk[T|I~DcQm@WcjgULIxDaqp@V[kWTzJDD]Qe`SshoTPIZDRqf`Ssh{TPIfDMqg`S[i?THI`DQqlPRkh{TnI]DZP|G}[^INlFvbypzw}K^AOGJOcBAsh?glEUiGHcCAsx?wlQUkG@dja?hZ?_MSgFzdJ@~XQg^qSmF}dKa?HR?^}SDICd@qcPNchKR|H|DHQ\hNCf]S]HpcxAcHPofARYIqdYAZhLwjMRTHkctquPKSlkRFH`DlQtPJkdkUhH[DhqUHJSdeQkIPdHaTxIghIQ^HPcgQRPSkcoTHIbCfQQpUKcgT^HHDWQPpYCc_UbHEDhQbPG[gkQJIKCaQdpGKh_QDH?DKqNpTsbsTXG}DUqapFSboSZGzDEQIxDkaqPOIadOaIXS?aiPJGfcRQGhCcaMO}IYcOafHC?hmOfGTcIQDhBC`]O`GQcGqBpP{gwOZIOCFQi`@SikOXIhCDqa?|c]wSTIHBuqa_|KgcNVIGBtPww{k]QM|F^bmpvGz[\iMlFTbiPsPZK\KUvFQDlPqwxk[qMHFAb`ppgwk[]SgEub[AdguwhUReIDcya`xM_gYRqGwc[a]xEwfiPgHccYaXhEoeUPcHRcXaTHEGdIOwH^cnAFhBgeANKI@d?@yHNw]]M[F_bf`wgy?]EMOFwb|@qg~G[eRME~cs`oXL?[AMqE}b]@twz?ZuLsGmcW@mwvGa}LeGXcL`lXBOZQ]i?c_QoHgDSAq@V?{_^ONWJcDiAv?~__OOWE[BU@hNi?SOHwDKBA@d?pfx_JgD{Au^q?z_[oMgJsD}Az?z_\OMY?gBY@p?v_ooWgKD?w@x?|_^ONwGKCASTIGdCqmxVcjuFLBd`ro{G\sM}E~B``oOlWU{JYDhAr`XOlWU{JYETBK`dogwSkIQDNAe`SOgGSSIEDPAf`ROjwUKJACvA[`LP|G}S^MNnFubyp}G~S^eO@F}b~q?h?[_EOJGCcBQ]xNKfiRNHhcsQXhKceURBHbcpQTXI{dYQfHSchQRHHscuQ`HPcfqNXF{byQ@HAc_pvWz{\yMtF[blprgyC[}MRFIbcPqwxc[uLxE}b]pogwc[MMJFFbbPmWv[ZiLfEtbYPlgvCZ]dQQahOsgIPxHycaQ^hGCfYODGIcBPvg{S]YRPEmbYQ[guCeyL@IEbSQagscgIKXGabGQEgpC`yKhDqbMP]grCVYJXGiasQJgkcaYJHFmauP{g|CUiIXFQaiPugiC\YKXDAbGPQgpCSYOhC}cEPMgec`IH\CqaTPCgbSPYRPCYcwPDhLcPIGHDqaEP]g`CVYFlBq`vOxHMsMAR|Bgc|OtGXSLqEdBW`fOtGUSLqDtBW`ZOiHJsIqRLH_`ROeHOsHqSTI?`PObGxsHQMTAObbO}GSsIaF|C?`VO_GRSGQDDAG`NO^HFSbQBl@wcXPFGMsFqHLC__|OVGVSJABLAs_pOUGWSDAD|@S`bONgGSBiAL@M_dOLHHSAqQ\?ochODHIsdQ?|?WcjOHHJSAaQtHW_POGHJsAQRD?gcrQNG@ScQ?dH?_FO@HBR~qPD??cNOLG~SAqN|?obzPpF}R~aM\FG^zPmF{sZp~\F?^tPmFzS[@~DE{^nNtGrR{qKk~ObNNqGoR{AJ|EC^bNmGiRzqIk}safNiGhRzAIK}ka`OpFrryQEC}_`^OYFqSF@{t@k^JNrGJr|QBK~O_pOAF|s?p~S~c_HNaF}Rwp~k~w^BN]Forw@{[|{^DNWFlrvPzS|c]xKdGyRHAMsqWbjOPEOrGaA[qK_dNKffRrXxPEi]UPgfccYYFg{Y]OO{fbcMyHg{Ua]NBgfBpIGO{IaEN?g_boXvg}i\}Nkf^Byxv`@i_uMygMBmxu`GEcCMufYc_HuO}A\aN^fnBkyFGym`oMkg\BjYIoyi\OPWgjbiXygx}]mM`fjBgI@oxa[mOOfJCByL_xMbYMSfIcYxq@Bya?MQfGcNxzWwQ]yMEfAbvH~wvy_AM?g?B^xygwE]mMBfjB_hnXGqcYL|hFB^IROvaZsQ[hLb]XmHBQZ_OrevcKiHWuuZ[PIgeBZHyOuMZINSeqBsxk@H]cqLahKBWXjst}YzLZemRUhiHAMYeOdehCHHhpGMY_QDefc`HhCseYTOSEasD`g|@SYLNcE`RP@{ssK^JK~e_rOHfcryXzKxG|RMqNcrgbvKrG}rLQN{rOb|NuEZRM@~C~[XnKoFrryPeS}_XbKiGBs@Pd\?WXXKlHCrJqP[qwcTQQENSd@cDHKW~QQEIsd@asp[cfNQEKRt@bS|KWrPUEMSU@b\D[WzKQFwRD@}SpK^bJvHMq}QR{n_c|JzGbq~AHCngaRPvECs]P`\F_WTJpdxQ{x\pD}V_P_goazyC?ma`CJigOayX[g}}^YJfdrBzh[O|aVGNXdpbuhsOxe[uMcfPbehowyy[QMofCBjxrgu][{LgfMBXhjGwm[WLWfDBTxi_{}YiNPejBsHsosmYYMdfRbRH`_o}W[KPeEbCHlGnQZSJtdzBYxcwnyVyKheSA~x_Oze\oK?e?blxmOoYZgKGexb@x\WwuVYMNduBbh[?oQWIJ^dob?xmglqZmJ]ezAvWC[AM@F?P_HoCgB[@q?t?V_KOEWCCAI@B?U_IoDGCKAI@@?^_MoFgO{GeCP@}_~o_GNCFiBr@s_xO[wMSFQBf@n_wO[WLcEyBZ@k_vOZWH[CuAX@G_dOQWHSCaAROCg@S?x}s~a^nNpfwR{h|K}a^NNQfiRswmkV]JlDkaupZgjkT}I|DVakpUGikTQIlDMafpSGhCSiIRCPaFpCGasP]GjCRaIPCgcKQMHDC]aOPFw^SNqFvC@a?P?g_cOUGFBp`xo{g]{NeFpBs`yo|hcKqMXDKceRRHXc{qeXPMdfRrhhtKyi\PMafQRgxrkxy[xMYfLreXqsxa[nMRfIrdHocwY[JL}e~r_HoKwM[DLwe|R]Xmkv]ZlLnewr[Hi{teYpLPehrShhCsiYRK~e_rOHf[reXtJsdyq|h]{neVpJ{d|q}h^sn}VzKAe?R?X`Co]WLJmdwQzx][nEVdJddrqxhZ{mEV@JadqQwzaxm?wh[ULpUwRalowuv[OLmVBrZTlgwbZ[MHuuraTlOwVZUMEutR`dlOvDZULoutR[DkswTZJMDUrB`Tj{uPZIL_UqRWLj{uNZ@LauoBWtjcwP[FL\umb`LjWwNYwMCulr`DjCvPZfLXUxbUDmotHZmLRUzRSlhGtnYSLZUcrVDoSs`[ELGv@BP|oksZ[KLEVBRPtgotNYhLFUiBPloCsRYIM@v?bP\g_v|YFM?U`b^|pCsLYGMHu`raTmKsFZcLAUxROlh{sFY_LAufbOdg?vLYALsU_R[|l[sDY@Lku_BZDfCtTXrLTu[bTdesvzXjL}uZB^lecvxXiL|uYB^TeguZZJKsuYBXdmKrDZdKqUxBK\hSrHYVKpudbKTe?wNX`MCuVr`DfCr@XrKou[bJ|jSqrYrKlUUrUdh_qnXWLLUTbRLdKuDXTLaUTBW\dCrpXQK{uSBM|m{qZZpKfu{BHtaWvhZuKRu|RDDn[pRZxKTU}BD\acubWjLhuIbYTa[tdWeLWuIBUDaOtRWdLRuiBC\hSpDYVKOudbCDfgpFX{KQuHBN\`srnW^K{uFbNDk{qXXILgUrbH\igqTYjKdujBHdc[rJXfKcUXbHLcWrlXtKaUPRMdk{qBZOK`UrbG\jKpvYtK]ulBFdbgtBYbK[UgbFLa{wh[UKWUKRalngpXZ{KVU}rDl`St^YlKIUjbAt`gozW[KNUErB|IKv^QdLwshB]DI_urZVHRshbZD_kuzWLLnUvr@d__pjWIKZuAREt_Sp|WFK_U@bF|fsn~X~K?u^b?D^cpnVzKYt}bEtoCnf[BJyv?a}d^?onWXJxT{RBDn[nNZxJsu}A|D\{vfV]LxtwB]\\kt\V\LVtvBTl\GpXVRKUttBDt[{rVVPKutsBLdhwmFY_Jaufqwdmom@VALvToR\lZsvhZuJ^u|QvtoSlxUyMBV@Av\dCl\XQJWUSAt|YkoxUlKLtjBBTYStJUfLRThbSdbklDW|JQUNAs\a?kzU]KPTfBCLX_qHUUKbUPQq|X?v|UQL~v?AqLWsvhZuJFu|QptWgwVUKMEtar`dW[vdZqJCu{apDdwkLX[JAuVQodgcj|U?LDt^rPTWGqpUBKjT_RI|VkvRZjI}uyandoOjfTsMBV@QmTVCtxY}IwTZrVlfsjZTkK~u^altUWppWyIsTXrFLfojDT`K|TWBN\pCit[RImVCaj\TOonWXIjTTRBDTKuNZDIhUpaiLSsr^TJKwTRBLtS_uDTILaTQRW\oChxS}M@tNR_TnoiNZzIau}agtR{tBT@LPtOBSTRKqBSsK`tLRGTdoh`SqKnUVQeLQsv|[?IVtJb^|Q[spShLLTIBRLo{hFS`MGVBacTQOs^SeLGtHRQDowgvS\MGTFB`|c[gpXGILUQQbLO_pdSFKYT@bE\Nwr\R~KwS~RL|pOft[UH}S}raldKfhXTHzUTA]lNCvnRrL{s{b^DMwvRZiHvs{B\\Mku|Z^HuszBZlMSohRfKJSxbAlMGqrXZHqSwrJTL{rJXfHouXa[DLopdR\KYSvbE\LKsvY\HistBRdhKebYSHhUcaYDKgq^RKKesqrHtK[ubRHLhSqBY\KOp|REK_SpRF|fWd~XsH_U\QVtJktrQ|L\snBVThkdpY\H\SmRRda{djWpHZuKAUtkcd^ZIHWskBXDIotxQmL^SjRVl[onBVbJfTwaxl\_mLVYJcTuQw|XkmjVVJLTeQytVSnTTvJuT\a|\UcnxTjJ~TYa~lTwnHT^JqtxajlT[nlVwIktUA}|S{mVTMJdTSAxL_OiDTCK@U?qg\QokhUTITtIaq\Z[g|UxIOTmAb|PGjFSSIqtCqkdOshtSMI\tBAfL_wg^SPKGUBqaDOkjtSII{TAQnL`CgFWRIAuCa_dO?lPSAJTT?QtLRWfnSwH{tLq^DZWfPRhJYsyaudLck~RZJOsuasDZCelUrHkTkaY|PSeZRNIJtDaXt]sdfVnHXTzaUdIkeBQiH`siQWSBY@p?vdEqaxPcgyS`INdLQfHR[iATDI`dPqhXScJ}E@A}`kOtwYs]}NbFob|p~G~k_aONGHbjpuWzC\EMfFQb^poWwCZQLjErbZPmGu|IMdJQchRSiIS|I]dPQehQShYS\\mmzV[jVTkIt|YqlZUjjPThIs\XekvUYjJTeIq|Syi`TNiAT@Y_\O]gLSGhmsviZdLMejRShgSsiYLJIdhQrhVskYUDIidVQhqcHGKbqSjIQc^qLhP[gyPvGwdEqNHOkcASRG}dBq^hEKgIPjI?cXqLhLkbiRbGwcvqIhG[ayQNGkcap|h?[^aOBFscAq?G|{_INbGCbxptHB[\IOzFOcKpsG|{\QNfFQbwn]G~ZvqN}|yb}pgHQ{YQSvEadKpbhOkXISNEOdCpaHN{WqSFEId?ptgo[WYMvFWbAqHGn[VaPRDucRq]GjKTqRzDYc|pNHHKcqH~CycdqSGc[dIHJHMaRoyGzk\yFVF_`rorHBkKiOrBGcLqXgUKeiDjHg`XqeGSKhiDFIU`NoeHIkHqQrAYcjq]GO{fqCVHy`Co]hKKFyRJHa_}qXgL{eiBfHg_wqTGHkdaA^HU_doOHD[CIP^?}cUpxgF[BqNJFa_[oJHEKBAPf?mcYp|GB[^a?~Fu_MoDHM[@aRn?Ucypwg@{@INN?Obqo@hGk?QQN?Ac`nxGyz}aMu~ebkqUfzz}AQ~H[^pnshMj|YRm~Scxq@fxk_h}a~McCnoH@J{QONGI^`pyFujzaNZFi^Zpqfq{[x{vFK^KncHB{aH{jG_^Hprfo[[p{BFI]~n[hHJvYQY|scdnWHAZuIOm|ccInVhKKePyzHa]lnRhJZtIQ}|OcmqZfgzsIRbHk]anJHB{aHx^G_]TqHF`zpAPQ{KcRmuHPkgxuuzUdDqcFYKhHufIS\iqBFWjkaOazEcFmehHzhyQey[cgp~FRK^hsjF}\JmcHA{`PsfGQ\FmWg|JdyNYx_btmUGzk]@qzF][lqBFG{`@qVGM[cpLGs{RaLVCubSpKGa{PiHfCWaVpFG^{OIG~C_a?pkgZ[ZYE~Es`mouGk{UaEjBUaqpoGV{KAMFE}`]owGU{MIDrBc`\opGP{KYCZBA`GoYGg{EqIV@iacpVgE[UI@nD__YpRGCKTA@JDM_PoVg@KEA?Z@[_Dn~GMk?ABq~}_zoIF}KAh~j?e^xo_F|[GP~^AA^unuGXz|qEe~Y`gnjG]zyaFjBq^Tngg`ZyYG]}caEnagIJwyAi}K_hnZGaJvAGi|maHnXgKZuiBM|g_qnjfhJsp|e|I^Wp[FfkVPyBDq]^nLgIzraAq{y_lpIFeJrQHZCi]XpmfdJqYLy{cb[pdFbKX`wzEU]LnCfrjpX|A{S^Nnpf_zoh}U{G^coif_KIxwJAk]@m{gijmyInDQ\wmygtjmqLazgbVmwfojmX{Qzc^BmvGlZmAJ]z]auozFX[N@uZBm\fmoggKSPuAy}a`mmFijjhyqy{]jnFfTjj@xE{_\Vmhf}z~htUyg^{p@FSZiAGRCE\Qm_gQZgYCmyC`Im^Gwk[`sAx}bbm\f^Zf`v}z{[|m[GSjfQDQxq`Rm|FLZexvqzu[uoPFKkC`rR@E[rmaFIZgpqmyI[imRGr[XxqbE[[fo}fGJcQFyxA`{mLgnjbaKAwsa~nmfFZzpp}}}[]mJfUjjHpewo\Z_goSwIT?m_ZOKabPPWg{QuH^CmeAr@H_[oiWVKHdsqyh\CluUxJ]tOi_|SYgVTCiCt@IhlOAiRSAidtTi\|TaffTShwsxil\MIjRTehqtOiZlMAiJTEhnsiIj\Iii~QeimtWIMLUQbjPqipsVij|EIizP_iltUIDlTY`RTSgTsFigLAAh~O[i]sEik\UQ_rOUiotXi@\Ui_^TggEtShs|TA\JTMfStShfLTAXzTMe\tQHc{qaiVKiietNH`LSAWZS}eDsliQ|JQcrQShXssIL\LQb^RQgusbiKlHIbRQOgrsUIe|DqhvSwgltBII\PAanSMgitEID|BIgzOoiLsPiALCi_jPGgHr|Idk~YhVNqiVspH|k~AeRNmhbsRH{|DA^VPMfsruiY{|qevN]hksmHyk|adzQyfjs@Hx|?a]fOEfgrohxK{Q]ZNEfdrnielRA]BM{iXrkIR\Hy\jMqhMsaHt[yycZMkhDrfh{KyI^JM_fpreIXlKi[vRMfMsyHq\Mq[jMUhtsnhplKI[bR?fFr_Hu{wQ\vMAf[sMhn\ByZ~O{e}sGhmlAYZrOcezrYI]kuqfrLihzr`hg{sa[VLCfCrKITkqydbKkhVrGHiKtQXJKaehrDIGKpaaJKUg`sgH`{pIdJQaeGr?h~KoY^zKCf|q~INkoAcBJ}g~rUh]{tYVrLWd|q{He[nQXnJqeYqzIa[mygjJiiJqyIc|QaVJJeiQqvh~{mA_FJag?rVHZ[tyUzJWeoqsi^[lYf~JSh}s\hXklAbvPwdfqpib|QIUVJGiOqoHb[kQW~JAeMqmhl{jyZfI{ewqlIO[jYcJIwhBrNhT{sATfLAdWqiIEkiq`rIigZrQhS[iYY^Iceeqfhk{hqZJLadOuwIxlmQmbZajfunJT\iyuBY}lUuhJY\kytRZOlRufjYliIurY_ljuajQ|gasjYElHuZjLLeqrfXoktulJK|jArJYqkpuvJHlliqVZ]kfuMJN\bqr~Wyk}uKjPlbYs^WslGuqJCLkqpJZIkPuQJB|`iqNXCkMuBJI\_aqjWIkgt|i~l_AnvV}j{ueI{l]aszYYjrtvj[|]IvVV_lstuIw|\qmVVYjctpJV\[AtrVAlZt{Iv\ZynjU{jxtlJC|ailrUukStyit|]ylfVkjWtiJJlYqrBUikntsis\YYmnVSjQtfJF|cIlBX?jNu?iq|_YkvWCjKtcJW\kYkjZCjHtajOLgQk^YAjEu\IolfakRXujBuDIn|`YkBWWj@uBinLVqofTykGuJIm\bAjnWmiyuTilldijbXWivv\j\lnAzv\wlvvYJo|uY{F\cnAvSjmLtQzf\smjvRJr\tA{z\MnNv^Jg|si{B\Gm~vOJpLwqyJ]Im`vMjl\ryz^[{muvLjrLra{j[snJvKjt\yYxb]gmVvHjdlqIxV[cmSvFJa|qAwv[]mKvgJaLyQwj]amHvVj`\uIw^\_mEvbj_loa{f[EnGu}JjLnqyzZymlu{j^|nYwFZsm?v}K?|~R?V_Gnzvxj}\}Q~^^anww?Jzm?Q~B_AnnvtJtl|I|^^OnWvpJx\{y}R^Knbv}jv|~y}F^{n_vmJy|zq}v]ynkvyJu\zY~Z^inYwLk@mBj?b_Mo[wHKD]Ab@^_eoUwKKB}BR@F_qoOwCkBM@Z?z_SoLwN??UCfA??EoewN_?eCk?D`AofwS_?eC^A_?Eoa