CAT(2166,1)
Sparse6:
:~?`u_?O?G?CAS@D?c_PoKOCkA]@L@??\oMgFcBi@v?{_ZoMWFCB]@r?w_V_MgE?Bq@[?z_S?LGEoAi@Q?t_T_LWEoAu@W?s_WoKwESDw@\?o_VoVgKCD}Av@[_moVWJ[DqA{@?___WGGOD}Aj@U_joU?H{DgAb@X?gOUOI[DgAd@W?iORGHsCuAN@G_bOQWHSCmAE?|_a_NwG_ByCI?~_]oNgOsG]CJAD`BO`wLOGICG@k`@_YwNsFqBz@y_|o]WMcFUBf@o_wo[gL{EuB\@d_qOXgK{EeBP@`@@OWoOcEGCF@~?zO_OM{F_C@An?POHGC[Aa@R?i_ToJWDcJgDiAx`Z_mWUoJeD^Ap`WOjwUKJADcAk`X_jgU_IuCcAk`H_jWQGIyDLAg`RogWSSIADJAc`Pof_VCH{DpA\@[OlOQ{HcDlAv@KOe_USHoDhAZ@XobgQCG}CgAJ`J?bGQgGuCOAh`D?iwPGIi@J?f_ROOWGSCAAF@D_aOTwIkDY@~?|_^OfWR{HyFeBl`y_zg]_M}FcBk`w_yg\WNAFMBi`s_zG\?MmF[Bc`u_xW[oM}FDBb`oov_]CNGF@Bp@nouo\KLsFPB[@ros_][LKFjBs@iOowWkKQE?Bc`r?ogWGMUEKBW`c?ugWwLeEQBN`g_qwY?KiDyBK`^_rgVoKuDsBV`]?tWVWLYHK?s_ZOLWE{Be@p?a_QOGwDCAi@R?j_UoJGD{BA@\?p_XoKgNSFmBr@{_~O^WMsFaBn@l_vOZwKKEMBDCwAaPM_gsRcIJCvAbpQOekRWIPCtA_pLog[RWIDCkA[PJ_fSQsHrCiA]pIOfcQkHvC}ASpI_gCR{HVCnARPI?eKR?HNCgAXPL?csRKHNDBA@pOO_cSGGDC\AXPL?b{RKG|CkALPJ_bcQsGvCVAbpQObKP_IPC}AIPO?asR{GjCPaHPCw`oQ}G_CpaF`KG`WSQGYDEaE@PW`SOeGPCzAAp@ofkRoGLC?APp?OckN{HHB{AOO~_cSNsHBCa@|pG?^SQCFrBuAPo}?ckN[HHEW?kOUgJKDmAx@\`OogGSSIUDHAb`KOeWQ{HiCxAZbL`fgrgYAKwE^bO`ewsWXuLCE[bK@hGrOYUKqEebK@hwrGYeKsEgappXGkSVQJlDtav@hwm?YeJ]EgbO`YwsWUuLCDkbN@YGlOX}JQE_bQ@XWsoU]LIDebJ@VGqwTyIyETan`dWqwUEKkD_ak@dGioXMImEQak`cgjWXQIsERbF`SwigXEIgEObE@SWpoTIKYDObE@RWpoS}KYDMad@bwh_XEIUEObB@^Wp?V}KMD}b@`]gogVqKGDzaz`aWpWVeJoEIb@@[Wo?VMKADqbx@yW|[]iNHFbbqpzouC^CLbFoBXPzou[^CLjFoBYPi_|c]wLVEkBupjO|cY{NZFmBVPx_zk]_M~FfBnPuOusZ_MnEvBkPr_{C[{NDFOBoppOx[[sMNFEBePo_yc[OMlFBBipu_v{\oMBFZB_PsOvc\KL|FQB]pmoxSZcMPEyBcpGGcKQIHFCdaQQ@@B{_WPBGDCOQEXBS`mOyGKcNAAhB__mORGGcBqFO}k`wNnG[BzQFo}c^KP@FqCOqCp?K`SOFGSC@QC?~s`GO@GPB~p}pAs^sOpF{CJqBO~C_{NtFxCFPbGpsWuK^EPbGPcgqcXMKjEVbJQG`G[aKQHGcCaqNPHKb{QVG}CdQP`FSboQPGzCbqLpG[bcQJGwCaQL@GCbWQDGtC_qKXE[bIP\GocVqO@DccGPZGjC_qP`DCc_PTHFCSqHPHKaWQVGfCdPzG|k]yN^FpbwQXxLKeaRFHacoqY`JCeoQtHjCkqY`IkdWRXHjCjqS`LkdOR^HRCvQZPH{dCR^HmCgQV`Kce?RLH^CqqR@J[dsQ\H[Ceq^pMCfGSBI?Cwq_`NcfwSHH|D@q]POkfkSNHyDBQ\PMsfORpHrCzqb`QKhKS`INDHQa@P[ggSZIHDEO_gOcGMBH@e_qoXwLKEaEvB\`mOrGXsKuEbBO`foqWX[KiDzA~`^OoGWSKEJxDza|P[WmSVMNjFvbzP|G}[^IQ|H_cnqUxJkdqUGI}d_AphVwkUUAIzd`anXWOjqU?Iwd\AnhVwjeTiIzdZanXUojqToIqdYAmhVGjMT]IqdYAkXU?jMTUIkdTAjhTGiuT]IedWaiHU?i]TmIddYagxUoiQTQI_dTaghTOiETKI\dNAiHRwi]S{I_dPAfXRwiETWIYdVAfHTghmTII[dPaehS_hmSiJDdIApHQokYUAIVd`aeXWOhaVs?U_KODx_?@e?v?YeB?FWBc@yWW?__OoFwTcIyDZ@E_cOPwH[CeATAP`HOcwQsHUChAJ`EobGPSGeCPCAa@p@G`sPAG^Evb[PlgvKZiLvGjcUQJXCka]PLHocxQ[XM[fURhKrEZRLPe{r_XhKxEWRMpeSrgXbKnEXrJPekqwXhKoETRK`dcrCXVKlERrJ`dKq{XPKcETRH`dcqSXVKcEOrGpcsqGXJK]EOrGpcCqGW~K\ENREpcCpoW~KWEIrDpbSpcWlK\EHrEpacpoWdKREIrDpacpGWlKNERrCPdKp?XPKWEGRE`aKpcW^KMeErBH`soqWZKHDcqq@`[k[WTJsEZQ|`fCnSXnKxDwrMp][rgVdJmEBQ{@`Cm{WNJjE@qzP_kmoWHKADsR?P\SmcW@JdD}qxp^{mWV|JbE?R?`[SoCVHJ_EBqwP`CoWU~J[D}qv`^{lsV|KBDkr@PZ[oOUtJUD|Qu@^cl[VvJyDhqtP^cnkUhJvDgQ}PYSn_UbJLEDqrp`KkwWTJIDzqr@^KkkVpMa?DOBG@[y_?Z?N_FOCWAS@A\g?R_IODXuczY\jMufYrlHuGrq\eK}fXBNXrgu][{LgfMBXhr_ue[{LifMbYxtouMZIMoeqBjxtWuA\YLafUBWXt?tu\SL^fSbVhjOyaYwMielbiXtot]YqMofVbUHi_yU\MLUfRBTXiGyU\MLRfRBShhoyQY_MaefbgxhWyQ\CLLfPbRHhOyuYOMjecbjHggx}YMM`ebBgHuGsIYEMqeaBkxrwr}\AL@fOBOHq?xY[cMWfGbdxowwu[QMNfCBbhqWwQ[KMTfAbdHpOwE[WMBfDb_hngvyZwL~e|b_HmwvaZsLtezB]Xlwxe[uLpewBehmOuqZgLmexbZY@?@a?l?V_JOEGA{@q?z?]_MOFWBt@g?r?Z_LOEWB[@i[xM]fMsGABTAG_xO`GLsGABl@{`DO`GNSAQAl?g_lOSGCSDA@d@W_ZOTGDsDq@t@c_`OWGFsDqAL@c_fOWGHRoHwS{E]FNDfaSCP~c~w_fOQF}r}QBl@{^vNyGNR|aBS~__xNvGLr{q@s~S_`NsGFsAp}D?s^dOKFwsA`||?c^ZNmGCRlq?kzc_NMwGBRnA?l?W\tOFF\rya?S}o_HNjG@rwP{{}c^FNgFpRv`{c}?^LN^FqruPzc|s]tNWFlrtPx{|[]bNUFgRs`xc|O]\NRFerq`ws{_]VNFFcrnP~{zw_BO?F^oAw@c?i?T?K_DoCGAS@E?`?Q_Gs^O@k?}?\?L_FoBi?l?]_LJvd{q}H^knyV~KBeAr@H`KomWTQCG~S`QN|GKbzQBH?S_aOlGOcBPvGtsZQNLEobpPwGvsZaNLF[b`PyGws^AM\FkbdPyGyS^AMtFkbjQEGsSaALTG[bRPdGySXqMtEWbjPaH?S_aKdEKcBP|GnsWQN|Fwb@PmGmS[AJtE{azPXGtsZQJ\EoatPUGwsUAM\D[bdQNGhscQIlH?ahPLgfsRiIDDIabQNGdSRAQLCkc`PFHCsaaHLC_cVPCHBSPaPDCScNP@HESbaG\GsaDQHG^SOAP\Gg`~OzHESbaFlGs`xOigTsIYDtAq`ZOngWsKIETBQ`fOwGPsMaClBc`HOvGSSLQC|BW`LM^fOrgHsky]\LMmfWRjxuKzI\fQcHvs{QStN?dJQxHrSmq\DJgfNQuHvs{QVDN?dnReHXsyAUlM[dhQqHtskA\TJCfRRhHUsja\TI{fVQiHuSjA\tIkfZQfHuSiQ\tI_fZQWhLSeYR\HucxQ]hOSfySLIMdDRPHmssqZ|LGe|RdHfSsA[dK{fFR_HdswaXlMCeXRYHcSvAXTLkeRRDHjspaZDK[erRSH`SpAYtLSeFQRH_snqQdHGe@Q{HIsnaQ|JsclRqINs|AcLNKh@SaIKtHAb\QKgtS[IJTFabDPsgnSFIHtAQalO_ghSjIAT@adlQogJSiI@tIQ_LQ_gDR}IEt?A`tN{g^RzIDS~Q`dNogVRwIGTCa^TPCfrRtIQtHq]|NWhLTN?OOGWB{@}@B?_esRXxksueZTLjgZSLyElBa`tOxinDUIk@Tii}TXijdUyihTqikT\ikDSii`TeieTYiidRyixTEikTOieDSYhpS}iYTOieDSii`SyieTLinDLIk@RYi}StildKYeXTuhcT[iVDPih@RAh]TFicdOyhXSUiSTCi]dOIfxSIh{T@iZdMifHRqhoSzjF?CwAc@U?j?R_ISDiAd@U_nOXgKRlxvKza\tMzf]SvYZ|LyetR[hlstyZLLaehRUhisnIVtJue@R@h^tkQr|Z?kzUnJNTjArTYwkxUlJLtdqs\XclJUWJQTgAq|YGkrU`JKTiQqdXSlVUUJTTdastXSlPUfJITcQrlXKk|UQJNtbarTX?kxUNJLtbQptWok`UJJFtaqq\WskdUKJGtWQolUKkNTaJBTjAoTYwkHUlJ@t^qt|WClbU?JWT^AtLYkj|T|JTTgqnLYSjvUcI|T\astV[lPTwJRtgAm\VSlDTsJOt[ImTVEjZTnivTYqpDWgjXTiJCt`Qk|UckLUFIsTXApDWgjLTdJCu?AM|FebpPyg}S]ya\PUghSOiHTCY`tO}gZSIiETAz?X_eoIWJkAEAj?X_YoIWGkAE@z@x_AoaWAkGE?Z?@_qo[WAk?eBYz`_em{WJjmeAj@x\eoaVZkGDuiyx_qo[VUjkEBZ?p\MoOVTkBdtIxl[ym^VIjeTqy~h[]n}VHj~DqIwh^qnsVEjaD}ywH^emEVvj{Doivp^]nqV?j{DnyvX^QlyVuj]D|Yv@^QlsVuj[d|Y~hZUlmV~jZD~i~PZInwUsj|dky|@]mnYVijsdzI|p]Un]VejwDxy{P\AnGVQjpdsY}H\}neV`jxDwJJPcmqZXKkcUQjHL`kqnW\KkuFBJDd[opWYKkuERJDdOojXUKJuTRAt`GqhWSKjUCrIl`wp~W_K_uFrGDboq\XOK^UNRH|dCplXRK[USbE|b?pZWnKXUKRDtbKpTWtKUULBD\a[qDWhKaUIBG\aOqJWeKbuHRGtaCprWzKPuMbCTWUkNUEjCTaipLfartXxkyu\zMtgcrhYFKxUaBM\gOr^XpLBU`RMDg[qzYHKnuaBJtgOqtX[LBUUrOlecrXXjKvUYbLleWrvX|KsU^BK|gCrFYBKqu_bKdfwr@Y?KpU^rKL^QnlVtjzt}Y~D^qntVzj}t~y~tggt\YKLWUarT|i{tJYoLRujbStiktDYlLQUjBS\h{tbYrLOugBUTi_sxY]LTUfRTLhesvYYlJUdzRDi_sfYiLIuiRQdiks`YQLUujBQLgstbYrLFubbUTdQqlXTkjuUZJDjQtjYulfusZYDk?udZSL`UoRY\lGtzZSL^unbY\lSttZVL]UtbV\lStnZVL[utbVDkouNZMLbUrRXDkcuFZJLauqbWdl_vPZYLruuR\LmgvHZkLrUyr[lmsu|Z_Lvuvr\tmCuvZbLmuwbZdnWvrZwL|u|r^TnSv`ZqLyU{R]\Sqi\TLjsTyi|L]UnNVekmuVjJ|diqxXZlbUqJW|kMuJZCmFFDJappAw][TmDfCZ`hpMwW[QmGFAZ`poaw][ImDf@Z``o]wY[Em@FAJ_`oiwE[Hm@F@Z_`o]wE[El}FDJapnyvy[TmGe~z_HpMw?[QmY_@w@C?ekVULjEUJZD|aypTWkkTuajPdgmsZYNlFUuJZTleuvZ\lmVPRh\sWyX\CMdVPrgLsKyP\AMcvNbgLsKy@\AM^vPBf\sWxz\DM]VMBftrcy@[yM^vMRf\r_xz[yM]VEBd|pcxb[VMWVJBg|qwyR[lMcVIRhTqkyX[iMdvLrctq_xj[fMZVHRelqOxl[vMPvKbcDqCxh[aMXvJrblrCw~[oMNVEbeTpoxh[ZMXv^O?c?Y?J\|MmvVbn|toz|\XM}vUrn|tgz|\WM|V^Bitvkyn\RMzv]RiltOzp\OMzvSRnDvcyd\LM|VRrndswzv\pMtv[rllvGzX\mMsV[BlLu{zT\fMnvXRkLuWz@\sMpVXBmtuKzj?F_CoAG@K?]?P]fNNfhJspyA|I]]nOfhJspyM|I]anIfgZqxyM{k]anHFfjq`yA{e]^nFfeJrPxE{_]XnLfbJrhwy{w]LnCF_JopwE{M]AnCf_zohwm{G]I_AO@W?s?Q?L?DncFJzeLrAxd[smXvprv|{W}B^?NavprwT{O}J^EN`vqBu\{g|j^HNYVnBwTzw}H]|N`vnrvLzk}B^?N\Vqrut{s|p^KNZvkRxLzG}T]oNcVqrtl{s|^^KNVViJs|ye|T]knTv\znLvazv\{m|Vtb|||O~b^TNwVvR|d|{~Z^]NvVzrzT|o~b^oNlvzBy|}w}r^lNkVrzxt|A}b^QnhvyR{\}k~J^iNqVwB{t}_~D^fNov{c?}?c~h_GNxw?R~]?K~x^|O@V~r~D~w~t_?N{v|S?d~\?L^uOAwAcAE?p?d_JOGwCs@m@T?^_SOFVhJslyY~R^jntVxj|D}^@G_[oNGGkCY@v?}_[oNGGKCI@v?k_aoJgG{BAAR?}_XoOgE{CA@j@g^Enbvp[?M?N?D_?n~v~kEqBj@g_{oYgM{EaBb@k_xoYgL{EIA^@K_qoQgK{EyAz@o_no[gKKDYBn@Y_{oUGMkDABN@S_poSgKkIQCHA^`@OgwOCIEDD@z_~OfwSCFuCPAR`JO`wQcGmCpAL`MOcWRSG}DlAd`\OiWVCI]DXAp`VOlWTSJMBN@d_poqGVkKqD~B?`doogX[KYEZBC`cofwS[IC?DBY`f_@gZsLC?HB[`hou_?cLUEo?A`notgZ_?^