CAT(2150,1)
Sparse6:
:~?`e_?O?G?CA{@R?i_ToIoDCA[@R?e?TOHWCkAU@{?w?[oMOFSB_@t?k_UoJgE_BU@m?r_Z?KgE?BU@k?p_Z_JwI?Bi@r?w_j?QgH[CqAT@K_doRoIKCsA`@M?hOO_ISCKA`@@?goRoFsCwA@@L?^oMwFkBqAK@H_a?QGGgC]Ba?a_QOGwMwAI@F?c_TOIwDKAa@L?f_ROIGC{CEAF@A_\oNGFkGoCLAG`Bo`gPCG]BsA?_}?_gNWGECE@v_{_`WN?GQB{@t_~_\gNgFQBiA?_z?_gM_GEBY@p_x_YwMOEqB[@r_w?[WLwFIBq@n_{?ZgM?F]Aq@j_l_ZGLgDiBy@g_~_YgNoEeBw@f_q_]wNOEYCE@[`A_VgO_DuBE@__q?WWKOD}Am@T_k?TGIWDYD}?k_UoJgDcAy@Z?o_WoJwKsE]BJA|@_On_WKJoD~A{@`OnOWcJwEFAM@coq?PkKgCXAN@[omoQKJgC`Aw`ZolgU_KIDiBC`X_owWwIuD]BD`b?jgWoIqEMAi`a_iwRsIAC~AZ`MofGRCHiCrA~@Ioo?QsKCCnBG@HOq_QcKcCfAH@[omoPSJgCVAd@XOk?SsIODbAf@OoiOSSI_DF?a_QOGwHSCqAV@L_foRgF[Bu@xBQ`gosw^oNaG?By`~_}W]gOEFmCB`z@?g]SNQFfB{@uoz?^[NsF\Bb@|o~O[kNoFHB^AAOvO_sLwGJC@@lOv?_[LkGDB}@jp??ZKN{EpBSAAOt__kLSGLBJ`eorGXsLAE^Be@vo{O\CM[F`Bh@oOyo[SMgFB@m_vo[Gb{QEH@CVaJPEG`gREHeCNaF@Kg`OREHeCKaD`Kg_wQmGQClaC@JGd?PqG{CiaM`IWdoPeGsCoaV`EwaWQUGiCfaI@HgcOPAGcCcaP`CWgCSIIBDKAbPR_hCSsINDBA\PPOfcSOHvDJA[PQOfKSgHnCsA]pNoesRwHj@t_zO\G\KMmFTBe`sOxwlOUOI|D_ArPVokkUCI|D_AppVokSUCIdDSAppW_i[TaIrDYar@SWk_S}JIDOai`UwiwTuIkD[a~_ngVcJuCRAI`DpIGdSQeHJCfaRPCGaSPEKHEBb@PaooSWsKHEKB@p_OpCW?KTEHA~p_OosW[J~E?BApY_ncUoJ|DjA}p]OokVkKNDyBBP]Gm{VYJiEHax`agp?VQKUDobE`[gp_VEJYD{av`^gloVuJRDgarplOI[DUAhBW`kotwecRYHjEwB]pm_v[ZcLxEtbZplgvOZULqEubZ`mGtkYyLXEdbQPgwvWXuLyE^b]@fgqwZQKqErbK@kgu_XQKkEqbX`dWuGXEL]ERbW@cgpoZAK_EpbV`bwsoYeLOEjbR`igsGXiLCE[bL`gG|?]UNNFebqpxw{s\}NBF_blPuwzK]OMLFCBpPwowk]KM@FcB^Pno{S\oMlFWBnPvOy{[sMbFNBhPr_yC\KMTFTBdpt?xc[GMNFHB_pooxC_oJxD}a}pYWk{UaObGNcGQBp@K`?OVGPCDQ@`@[__OTGFCCpz`@c^?O\FnCEq?h?C_ENwGMb|aBW~O_qOKFjcC@zX?w]qN}Fwb{`~W~o^]OGFtcA`|g}__MNcFgbx`yg}G]eOVGIcCpjwuCZELdEsbXpjGtsYuOvG[cMqKpDkbSP^GsCVQI`FKbkPXGjC\QI@FCacPlGfCZqK@CcaWPdGdCWqKpCKbSPFGsCPQFpE{a?PpG]CZQEhBK`aOiGxc\aDxAobiP_GScWaChEO`MNDFcbppxW{{]YQnHWckqRxICcyQyHGcnaQhJoceQsHDcbAVHGwdmQCHYcmAPHGWdmQyG~cnaOXJocAQaHSchaThIOdUPyHJc^ARXF_cqRiHncza[XMofARcHkcyAZhMWeuR?HecsAWhKweERQHbctaXXLOeQR{Hwd?A]hNwfeSAHzc}a_xOOfqOLGFcCOmWV[JiCZAM`EObwQKHACRAJ`DP@w`KOaI^DPagPgWsSYAK`EMbFpzg}C]}NbFqbxpyG|S]eNVFlbuQNXFsbqQbHRchQj@T{isT`IjDVQi`TcisTPIhDTqhPU[i[TdIeDWqi`S[icTHIaDSQg@SsiCTNI^DQqfpRchwTBI_DMqe`RkhwSvIXDMQd`SSh_THIVDPqe`QShkSbIXDGQd@QKhKSdITDGQdpP{h_S\IUDEqcpPkhSS^ISDFQlPPSjWSXIsDDqa`TsgkT`IKDVq`@UKgWTfIDDXQl@O{g_TjIHDZQy_As@a?nJr?LOEwBKnc?x?]_MoGWB{AABZ@k_toTgI{DaAr@Z_lOSwIkDQFFBd`qPMGe{ReJfDtayPXwlKUaMRFFbcPqwxc[iMBFBb`QGHBs`}OfGScHQWHKSeERHHdcprGpc{qSXPKcERRIPcKq?XVKaETRE`cCqGWxKZEOrDpbkp_W~KXENRGpakqSWlKcEIRE@aspcWhKVEIrE`aKpkWdK[EHrB`aKo{WdKOEHrB``[osW`KKEFrFP`Cp{WTK]ECr?``CoOWTKBECr?`_koOWNKBEBQ~p`[oCWXKLE?R?P_ko[V~KEE?Q~X^snqVxJ}d}qlp^KjcVvIwD|QxPdKmOXVJeETQwPcsmKXPJaERqw@^CnWU|JvDnq|`Z[n[UzJwDmQu`]cl_VjJXDxqtP][l[VjJUDyQ{`Y[n?UhJpDhQrp]Sn?UbJODwqzPXskoV^JLDvQqP\SkkVXJIDtqq@\SmoULJjDbqop\KkSVNJCDsQo@\kkGV^J@DvQnp\Km[TzJgD^Q}PVSnkTxJyD\rc_@S?q?V?L_FoBhro@A?d?PfQ?DWA[@Q\HMefQrhXssyQ\AKkeUbgxdoyIYmMMfEBUHiowuYsMMekbbHjWwu\?LSfNBTXrwtM[uLOfMbShr_tE[}LLefbfhhoyAYSMXfKBRHhWxiYMMXecbeHh?xi[uLCeabfXr_sY[iL@e`bdxqosI[iK}fJbOHqor}[cK|e]BdHfWxMXoM`e\BghfGyM[cKtfIBLxqWrY[_KqfGbLHeWw}[aKneWbbxq?rA[QMBfAbahpWwQZyM?e~b_hnowEZsLse}B\hnWvUZmLmewB]XlwvaZeLjewbZHmOuu[KLafCBWxk_w]ZOL^etBWXlGuAZIL[erbVhkotu^o?W_JODwAs@a?n?]_MoFGBc@y?zOI?LOEwBK@e?v?YfERbhpl?g_bOKGHSAqAD?{_bOLGHSBaAC~g_LNwGAR}Q?l?W^zOCF}S@P~[~w_RN~GBs?A@D?K_NOHG@S?Q@CzA\dMpfXrlXud?C^dNsG@r{q?S}k_^NhGFRya@l?g^LNgGESAp{{}K^vNdF}rx@~c}G^tN_F{rwP~C|s_@N}Fnrv`~{y[^lMgFzr|PtK~S\TNuFUR|pt[}{]tNpFmR{@z[{w]bNRFgRs`x{{k]nNLFkRr@zK{_]JNFFdRqPws|O]DNUFaRtPw[zo\~M}F_rnPwCzW\rMwF\rlpvS}w\ZNkFVrzPts?u?^?M_FoBg@k?i?X?J_DOAw@dEs?d?P_GOCgAC@E^jNvfzQxx\KmaVZJndvQ{H]SnEVpJudzsZaMlE{bhPlGxs[AM\FGbjPpGySVALDDkbRPfGmsYAJtEcb@PfGnsWqLTEobDP`GtsXAL\EobLPdGtSUAMtF_atPvGks[aIlD[bbPUGwSZqIdEsadPmGhsXAH|D?bLPdGgsRAKDCwa~PLGnSUqHLCkazP[GdSWQGtEKaPPaGbsOqODCOcBPDG~sNyFlByaDP@g_S]QFTFk`xPyG\sLqMtF_`rPvG[SLaNtBSbxP|GYS]QELFk`fPyGXSKANlA{b|OmG}SIqN|AscBOkH?SEyBT@e_|O\gMSGIB|AE`HOagPsIAA\Ag_jOSGSsDaCl@[`LOWGRrbxqKxA[rMYfKRfXr[xq\BMbfPSvqQdMCclR_HIsiaZDLWdVQhHjshq[LIWe~QgHoShQY|IKepQcHjSvQSDLwdDR[HOsfQZLLkc~RYHNSuqRTLgcxQZHkseQZtLscnQWHmSaIPLGicZQKhDsbiQDG}cbQRhHSoQXlK{eDRBHfSnqYlLKe@Q}HiSsAV\LGdzRPH]SqAVDJceRQyHbspaUlKOdnRDHZSkaXdJOeVQrHdS_aUDGOdbQBHVs`QTdIwcNQEHUtCq[\POfHSQHpTDQ`dP[g\SUIEtAQ`|PCgVSIIGS|qb\PofrS\H{S|abLNOgtRtIKS{Q_\NKgJRqIAS~q\|N?fzR}HvSyq^TNofZRzHuSyA_DMggDRhI?sxq`DOWfLRdIBtNoB{AE@@?^_OoGHistaYnLZelRUYCtA]`JOggTSIYhHSyiOTOidDRyhXSUiYTFieDPih@SIiQTCidDOyfxSUiATFi_DPifpSEh}S{i]dOIgPRqh{TCi]dOyhXQUiYSeieDHIcPS}hATMiPdSIbpRYh?SwiNdLyeXRehiSziYDMidPQuhWSmiTdJycxRAhcShiSDKYno@M?j?S_HoDWAd?U_LOCgBsAI@Ky]\PMhfTrjHtTKye^RLhdSrIX\K]eRRGhaSpiWlIqd\QlhWskIT|YCkZUNJNtgAptWgk|UKJMTaqrlW[kfUTJCtaAqdX?kNUPJCtcapDXckHUZJBTeaolXWkHUWJBTdqolWCk^ULJ@t_aptV{kTUKI~T_Ap\Vkj|U?I}t^qndWCjvUBI}t_andTKjlTvIhT\QiLXojdU]Ixt\ArlU{k~U`IwtgAmDUok`TmJHTZQqLUckrTjJLtYarTUWkfUTIsTXqqdXWjFUWIqtdqkdUAjDT`inTVyjlV_itTyImT]Qj\V[inTuIkt\QjDTOjpTUI|TTQnL^?bNPggssYiLdEmgHSBiAt?I_TOEf~R}h}s}i^dNmnqVrj|d|Y~P^QneVuj{D|I}h^]ncW@jwE?I}H^}n_V}jxD~Y}H^qmWVxjfD}yxh^in}VHk?dqz?@[imKVvj{DqIwx^YmEV{jad~iw`^ulzU~j^TnIvTZmnYUxj[Dzyux]ynSUsjZDzI|XZUnQUrjrdkY|@ZIl[VfjWDyYtx]alUVcjUdxit`]UnGUgjrDii{hYen]Uejudhy|pYUlGVkjPDyysX]imoVZjlDvYzH\qmmV_jndtizp\UmcV`jpdtI{P\Mm]V?j`DsYwH\AqSWzk]uNJFDbiprXHKEuPr@\c_oXXHKDUPr@Lc_oPWDKaUPR?|cWoLWAKaU@BGt_KqJWoK`UKRG\a{qBWMKSuCBD\_{pTWfK^UIBGDaWp~W^KOUFRCT`wpBWYKPuHRBdaOovWqKJuEREdbKopWuKJUDBE|bSojWPKUUCrDl`Gp\Ttizt\inDVijrX[KyUVbMtdsrjXgksuYjK|eUrLXvKpU]RKdf_rFXvKeu]RH|f_q\XsKdU\bHdfSqVX^KkuUrKLe?qtXUKvUUBMDd[r^XpKhu[bIdfKqjXOKtuSbLddCrZVejqTxY{|]enPVijttzI||]ynZYWK|U^BRThcrvYTLOudrS\hWtDYQLKudBRThKspY^LFugBQDhwsbYKLLufRPtgssxYHlDuajO|gYsPYBLLufROlgOsxY@LPugbOTg?tBX|LNU^rSDfws~XCkbUPZHLcaqNY~l_uoJVtjutxZALWUpBUTkKtbZALUupBT|kKt\YiLaujBW|ikuLZDLRuiRWti_uNYvL[ulbV\j_ttYrLQUlRStjOtJZSLnUtRZll{ulZQLcUqRYLkgufZMLlUsBZdk{uvZJLjurRZLkoupZ_Lsuyr[TmgvBZbLsUxR[|mOvLS{i^TNYzD\imrVTjjttjH|cyqZXIkeUQzUtjatnYtlYUkz_pnyw?[DmAE~z_HnmwEZ|m@E~J_@navsZ~l{e~j]pnmvmZ{lye~Z^@nIvsZsl{e{z]hnIvmZslzE{z\`oQv[[Eluf@Z_Hm}wEZpm@E{Jcg?]?P?Hi|t^Inl`uo|W^kLUEzBdgAsBYAk}u^zNtkauTZHldurZXdr[xh[xMZVMBelroxf[yMWvMreTqwxh[oMZVJrelqsxd[rMTvJBeLqwxP[oMTVJrdLqsxT[kMSVIRd\o_w~[`MBvARcDr[wx[wMNVMRblpcxt[YM\vErfdp_xN[UMQvDrctqSwf[fMIvHbadqGw`[bMHVHBaLosw~[`MFvBbcDqGwT[KMQVArc\us?H?E_AvRRllswz^\mMeVQRllu{yV\mMdVPrlTs_zX\EMtvOrk|sSzR\CMsVYbgDuoyB\AMtvXrflu_x|\hM^vUrkLuKyz\[MpVUBjttcy~\YMoVRri|tCyj\OMjVXBiTuWyh\dMho@w@C?e?R?F_CVdrq@xQ{]]UnIfbjqHxQ{e]UnHFdZohxE{M]RnBFcjoPwy{G]OnFf_znxwm{A]Ln?FbJn`waz{]Im}faZm@v]zc\wmwf\jnHvMzu\tm|F\G?c?U?L?C_BO@Zv@p}xB[_mPVHJc\z[|^]pNZVkBulzG|n]sNYvkrutzk|F]dN]vnBsdzG|X]sNVVkrtlyc|^]pNTVkBt\yW|p]gN\VhrvLyG|t]`N[vgBvDzk{z]|NNvnBrtxa{n]XnLVfJr\u]zR\gmuVYzlT|o}H^ENmvvbwl|{}\^`NevwBx||{}T^`NeVwBx\|o}N^]NcvvRxDz}||^?n_vojw\|K}r^TNlvtBzT|W}`^QNkVsRy|~O~D^uNqV|R{\}k~b^rNuV{b|l}_~^^iNvVyR}D~[~J^fN{v}B{u?@?F_AOAw?S?d~s~t^~N}V~b~\xQ{j]UnkvuzzT|Y}p^VoIGBK@q@J?e_LoEGB{@q@B?Y_PoBGCkAY?^?O_SoCgB{@Y@F?S_OoQFlju|zU~b^rnxV{J||}z@S_eoUGHKDYAV@G_goSgHkCiA^@A_VoJGGkAiAN?{_foNgIKDIAB@U_ZoUGF[DQ@r?o_boOgEkCQ@fAC_~OXWOSEMC@@``@OUwNsD}C@@\_sO[wMsE]BT@t_uO]WMCFuB\@z`JO`WRSGeCpAF`EOcWQcG}CTAR_boPWG[HqDRAk`NoigSKIiDFAk`RohGTKF}CFA@?@OjgV[J??LA~?AOkgVg?QDhAz?@OmGVw?YDlA|