CAT(2696,1)
Sparse6:
:~?iG_?O?G?CAS?G?E_A?@W?g?Y?L?D_AOMoFCBi@r@@?[oMGFSCEAF@A___OGGWB}AC?}_\_NgFgCA@w?~_m?LgE{BU@j?u_ZoLgEkB]@d?s_XoMwFcBuBy@p?yo[_MsFKBh@p?zo]OM[F_Bd@y?yO^?MsFkBj@l?{oYoM{F_BX@m?|O[?NcE{Bv@o?sOZ_LKE{BT@X_loUgMWDYAo@q_j_[WN?DaBq@U_j_\wLoDMB_@T_v_TGI_EiBO@T_h_YWKgFQBM@u_r?\WNOEUBw@f_|_XgJwEmBY@`_o?ZGKOEqBY@c_p_YwHgD}A]@`_f?WGK_DABC@P_p_SgHwDuAY@]_f?VGIODyA_@\_g_VGJGCQAu@E_l?PWHcCiAV@F_coQGXoA}@b?o_gOSgIKBe@p?y_aOPgGkLsEgBV`j?uWYgLaEXBL`dorGXkKmEIBP`b_swWoLIEaBG`h_qgYOKeD`Aq`Woq?UcKgDjAr@coigTcImEMAm`V_pgWgIuDGBB`R?pGSgKIC]BV`G_uWQ?LaEkAL`F?tGYgGqCABN`??rgY?GICEA~`A_oWO_KAByBM`g?^gNwK}COBC`B?ogOwKMD}AH`__awW?GiDwAu`^?mGVgJ]CcA]`I?gGQWH}DuAZ`M_mWVOHqDAAW`L?gwRGIIDMAT`S_dwT?HY@\?m_VPJ_D[Au@XBK`dorWEcBM@d?q_YOKwP{HEC`D?A\@NWfwRqH{CzaV@NWfwRAH{CnaV@Mge?RqH]CzaY@IweoQuHiCkaT`MGewQuHWCxaN`Igd?QAHQC`aS`Fwd?QEHSC_aY@EgeoPeHiCZaJPEGa{PKHnCTA[pD?fCPAGdCPaQ_}w^gQ]FwCe`r@KWeWMaFMCq`s`KW\ORIHeBjaP?wW[?QQHEBaaP?xGcWMUHGBb`m`HWZwQ]E{Ce`l@NWfoLqEuC~aB`@W`GOQGOCEaE@?g`OOMGUC@`~`Bg_?O}F{CLaN?|wbgNYFiC[`x?}G]_NiFeBx`u?zw]GMyFYBobI?JwEKBA@^?p_WOTGI[DUAp@V_jOUWJ[DiF@B``pOww[kMQEtB[`lpiWtSYmLEEMbQ`cGs_W}LKEPbS@cwswXIKWESbJ@bWpWXUKWEVbE`eWpWXaIiEYaj`fGioXmKJEFbBP_gocWMK}D~b?`fWo?XyKmDxbK`]gr?VmJkESbJ@]GmwXUJfDsaypYopsUoK`DiBFpZOq[U{KbDmBHPh_k{Y_JREfAsPgokcYSJLEcAqpV_sCU?LDD^BOpf_jkTkK~E\AmPU?rSXkItDXBMPRopCT?KTDPBCpa?iSTOKTEHAhpQwhKSiIXDMaepOotKSSLTDCBTpO?sCYGIDE`A_p[?ncVGJ|DpA}pWOgsUKIPDaAboIwDkAq@V?l_UOHgC{AU@T?h_SOIGDSAeOcB@`_OnwW[KQEDBD`bopgXCKeETGDCBQ@@@C_[OFGCCDq@P@K_gOFGECEQA@@k_[O\GICEQAp@s_cOZGNB}qCO~{`?N|GNC?QCP?S`?OBFyB}p~?~{^kN|GQBzp}PA[`ONpFpC?P{p?S^GOBFdbrPxw|S]eNPFcbpPwwzc\yMzFXCKQE_z[\gOrGZBjPu@Bk`oMnFQbgPsWy[\QMjGQBdQD?xc`KMVFFCIpqPA{[_OlGYBbPp@BC[SOrFBCJqDOwK[GOlGZB^QF?wC`sL~EtbZplgvCZiLrEnbWPkWuSZQLfEkbVPjWvg]uLuFkb]@yw|o\}N]F`bw@wGxg^QM]Fubf@|XNWQIHHCbaQpHwcsQaHTChcWA^hEOgAPaH~cmqVhJ{dmQxHYcfA]xNgdAQ]H{cda]xH_fqRyHLd?aMhFWgMSCGxc]a_hFogMPwI@c~AKxO?bUR}GscQQHhCka]PRGgcNa]HC?fiO{Hxc|AGxNGaIRoG`cTQJHD[auP^GmcyAUHMWdeRcHVciAWxIoeUQiHccgaWHIWeIQcH`ccAYXHOemQQHicaaXhKwc]QKHgcyaOhMwcQRkHBc_aZxG?fAP}HpcuALhLobaRYGvc|Q]HNKeqR\Hld`QoHWKjuT~I}dIaqXQWkmUSISdJAqXXWhaUSIVdbAcHX?hIUMIPdEaphPwk]S[JGdVAmhU?jqT]IzdTaoxTgkUTWJCdAAiHTOgYTQIDdPafXS_hqS{IadNahXSGi]T?IedYAeXUghmTkIYdEAkxPOjESUIqdZa`xPGjeSOIwaUPJWd[LqEtBZbwPzg|{]mNZFkbeprgx{YqLZEmd{b@h^Wo]VsKDe@a}X__nmWCJydzA~x_GnaVmK?d{A~X]onyVmJ{d}Avh[?nyVyJ^dxq|X]cnEVdJodib@XYwoYUkKFe@asX__lAWCJNdeA~x_GkyUYK?duaxH\wmYV[Jddlayh\_luVUJ[dkAxxZOmeUqJgdoash[WlQVCJRe[@aGpKWiKXELbDpbgqCW}KdEPbHqYXL[eiRNHecsQXHKkeMR@H`cpQRhICc}QVHKceqMXF[biPzG}c]ROpiCtGYDLPE_rP@gSsWYBLBEarSpgCr{YjK}EiRQPgCs[X~LGE^RMphkswXzLNE]RMphcrsYTK{EdrMPj[r_YtLXE\RM@isrgYpKxEjrQPass_WhLFEIrJpisrCYpKoEjrSpdcqwYjKlEiRS@dKtGXVLPETRH`hks{XPLMERrGxckqQX@KaeOrUPbktkW~LYENRF@hSpgYXKZEdrE@gkp[YHKXEbRCPespKXnKQEYrB`ekp?XnKNEZRK``[osXhKKEXrK``CrOWTKrECri`@c_yOZGNcGqCHT[iuTXIgdTQiXRkhqS|I^dOqgHuWyu\iMnfYBjhtgzA\cMnfWbjhtOze\WMzfTbmhtOz]\WMwfTblhp{xE[`MMfERbXuWwA\iMAfYB_XngzeZ}Mze~BmhnOzYZwMwe|blxmwzA\cLxfWb]HswvE\QLrfSB[hm?ya\QLmevbhxlWyQZWMdfRBZXl?yQ\KLiesbhXkgyEZMMberBghsGuIZGMbfPBWxrouE\?L_fNbVxj_xyY{M_embfxqWvU[gLufHB\Hr_we[uMJfMbahooxa[OMYfBbeXqgwM[IMVfJB`I?_~m^zN{f{R}X~S{[_FO@Fas?`wt?C]DOBFaS?`w[~w\~O?F_r~pwCzo^|M}G?RnP~{{_^XNIFvRqP|k}_^fNsFrRxp}S|s^jN]Fzrvp}s|[]tNXFmRu@z[}c]hNjFjRy`yk}{]bNRFwrs`}C}K]\NcFgRrp{k}?]ZNJFpRwPxcrIXfKseYrLhe|@Y_pOVgTsJYDdAw_|OoGMSJqBl@c`bOZGXsEaETAw_NOHGWSJq@D?O`bOEGXS@QE\A__fOiGIsDADL@{_`O`GHSGAAL?s`JONGRsBaCt?g`DOKGQSAqC[xy\@M^fPRgxsKyQ\JMefRriHtLDG`hOuGiSLQI\DCajPVGfsTaIDCoadPMGiSRQI\DkaRPJGmSVQHTD_aLPYGcSUQG|CMaHPDg_SOiGLBsajPVG^sTaFtBgavO{GmsMqJdB[apOxGlSMAJK~y_@N~g?s?y?TDyb@P^g{s]iN\FobTPkG~S^QL\FobNP|GsS^aLLEOb~PeH?sXQODECb~PbH?sWaODF?blPwGxS\qMLEsbfPnGysZaMdHCcnQXHHseAQTGGc\QCHGS_qP|HOcVQLHJSdQPdGScPQFHCs`aPTIKd@QdHPShASLHgczQ[HNseqRsB}A@?}`]OngVkJeDvAyanPWGj{TiIrDWc`QPHG[b}QBH?dgqrxYCkqU\JLfBR`xpCwM[JMCgBsAY@D?Q_LODgwS[iMLEub^PmhgCtiYPL]eaRWhhcrYXxLUegRMhgCqiYPKqeaRJhbcrYXxKeeORMhaCqiWhKmeKRKhbcoYXHKMeORAhaCniWhKAeKQ~h]CoYVhKMduRAh[cniVPKAd}Qwh\clYVhJ]dwQuhXCmIVHJQdsQrhWCliUHJ]d]QthXCjITpJQdeQlhVcjYTpJEd_QkhRCsyT@LUdMRShSctiTXLadSRViE?EWB[@i?x?]_MtE?B{AE@@S]?POHGC[CuA^@M`uOzg\kNIFhBrb_powwSZyM@E~dDQbHP[g]SPIHeLRFHb[p]WrKWfcRqhxK{q]ZNJgYSLiElB]`pOxh@S`IO\G]cJQEieDPYhhS]iUTEicDOihPSQiQTBi_dPyg@SUh}TEi`DNIfpSQhyTBi\dNIfpRihySxi_DLigHRah}SviYDMyehRiheSxiZdKYePRahkSoiXdJYehQ}hgSmiTDKIePQqhUSpiRdIidHQqhOSjiUdHIdxQYh[SdiRdGYdHQMhOSaiPdHicHQUhCSciNTGIb|P}g|S_hkdEyZPPugwRZiBDQI`@SigMTHieD?yhhOUiUSCi@DEI_@PigASXh}dEI^xPif{SXiJC}i^`P]fuSTiHc|ya`NagcRxiJC|i]`P]giRthwdDIaXNMgcRqhvDBy]@PEf]SOhtdBI\hOyfWSLhsDByaHMifQSOhqdBI[xOyfKSLiDCwi`HMQgURbhndEybhMAgwR`hmDAi`HLyeySJjY?Bg@{?u?`?Q_Gto?A[@U?hVE?JOEGA|[amNVEjcTpiw|[Ki^VCIfTpQiDYwjpTxJWTjqnTZ?jzUmI}Tjqn\VSm@VAIzToQm|[GjdTsJ_t[qwDV?l~U|IwtZqvtUolvUyIvTZQvdUclvTjJ\TYavdUWl|TfJ^tnQlDZcjFUwIqtlqkdU?lhUuIpTWQulTwlnT^J[tmAjlTglhUuImTUqulT[lbTXJXtUAuTTOmFTUJatTQwdZCibTRJXtkaiTYGlPUcJTTgqtLYSk~U`JRtgAstXWkxUWJNTdqrlXckfUTJLteaqdWgk`UKJGtaqqTWskNUNJCtbapDYkkHUlJBTjAolWCj|U?J@t^qoT`g?r?Z_LOEWB[@i?z?]_MOFGBs@upW?^_OoGGB{AA@BUmjWTjzE`aupcWkkXeJjDxbIpaWskWEKzBPa]owWgkLeHjCx`upOW^kREFjDPaApQWakTeGZDHaMpIWikQEIyyT\QmfVUjjttZ@pa}p_WOkFeKZ@XaqoYWmkEEJZ@@aMpIWIkQEAZ?h`uoMW^kBEFj?`aAoEW`kPE?jBP^}owW@kLe?JAx[moqVIjceEIxh`]oqVMjeEEI~``Qn{WUj}eDY}X^YnoVtjyD|y~H^AnuVqj|D{Y|x]anYVhjvDxy{p]qnIVijqDyyzX]EnEV\jpDvIz@\ymsV_jkdvyxx`MocVPkGdsG@{?y?Z?L_FoBgAC@I?b?O_GoCjPw@M?j?S_HoDWAd`]orWWiCtAy`TPQgfSQiJTDyalPmgzS[lJecZQphAsiYNlHEdZQ`h]seYUlCe^zNhgir{YJlCe_JPXgIsSY@lEE`ZPpgQsYYBlEe`jP@gysMYKlKE]jN`hisqXzlIE]ZQPf]seXwkzEcJM`hEriYNkwe`jP@fMsMXql@EZzO@fAsAXmkte_zLhgUrWYCksE^jNxeiryXhlOeXZKxiMrKYaknuWJKLeMrHXakmEgZJpiMqyYalKEUZJXhisqXYkjEezRhdaqmY[lNESzS@dUs}XSkhEezRhdEq_Y[lNeRjS@c}s{XLk\uNZFdbyq@W~k`uOjGLcQqLXDkYeQzH`b]qSWukbeMJFPceqOWxjWtkyuTZqlvUyj]tnyvt[MmHVDm?elj_XjawCYvlde}JXhniuWZxl{EqJXPniuQZxm@epj_HkUwCZFl`E~j_@kMuGZ~l^e}zWHnuu?Z{l}enJ^`jut{Zzl\E~z_@jmtqZ}lUUizTTiut^YmlWUkjULjMtjYslyexZ]xmQvkZbloE{j[PnQvAZrlvevZ]@lyu}ZpllEyZ\XlqvSZZljezj\`levYZWliExjYpmauiZflQEsjSplMtIZPlfEhzTHk}tOZOmAfLZ_prYwG[smWfIzdhrMxW[qmVFIJe@qix][hmKfNZbXr}ws[}mKFMzaprqwm[ymQfCzcxpUxK[SmHFGJcHpAwa[^mPFBZc`o}xE[MmMFAj``pywU[\mZf@zfHoexo[Gmo_GgCcAM@H?b_PT]InTVejvT|i}UPzHLcaqVXKkdV[BlTvGzX\pMtvXrlluwzR\nMsVXBlTuWzX\dMtvXrkLuKzR\gMpVVrkLuKz@\]MpVXBjtuWy~\dMoVPbllu{yP\mMbvOrmDsSzd\CMwvUBj\tgyz\XMmVTRgDsGyn\UM_vRrhdswy`\LMgvSbhLtKyT\SMdvg?A{@a?l?U_KODzC|aYpPWjkSuIixL[mmTVMjetrJ]DnEv^ZklvUzZ\LmmvTZelsUxzXtlAu^ZRlhUsZwXy}|_^@nWfojvxyq}?]mn^FjZtHzU|S]vnTflju`yi|e]jnXFiZvXyY|M]|n]FiJsxzi|K]wnSFmZu@yM|I]pnQFjzsHyy|C]lnOFjJrhyI{}]_nNFgZrhyM|I]^nNFhJmXxezi]VmyFeJvpxQ}?]Un^fdZqH{E{e^BnHFojuhwy{_]vnFfljvXwm|y]Ln]FbJp@za{S]ynCfmZohzQ{K]qnBfkzoTwQ{F\~n?v_JrPvq{w\}nLf^ZnHxezu]Vm|FeJrPvY{w\wnLf\{APgmsTYHlEUbjPlqYxJ[fmPVHJc\qAw~[`mMVFjbm@T?v_VOMwDcBe@T?p_UOLWDsBMAD?d_ROPwDCCU@L?|_SONwGCAUAC~\_bNwWGb||}l?v^lOMvzCBd}`?r^iOLVySBE@w~J^fOOWFr{t|}~B^_nmvvjze?{}r_ONlvucAM?o}l_MNkWBRy}?k}j^RODWARye?c}`^QODvsS@U?_}\^NOBVrS?|{h?L_GNeVqs?|{d?b^GOFvpsAD{X?Z_MNaWBBwl~s~t^~N}V~b~]?C~p_AN{w?B}|~P?F^uOAv|S?d}G~b^rNqV{b{]EpAz`^onWUkJeDn@Y`ioVgY[LYAz@S`hotgJKDYEjBK_foSgX{LAAb@G`eoRGYKCiE^B?`OopGR{KICzAU_ooegKkHaBFBI`HodGW{KaCbA?`Ao_gPKFyCNAI_{obgNkGqBv@q`SoigM{IqBjAo_woZGU[IyB^Aa_roYgS{EaDI{n]XnKVejrdxnCs`~pLg_KRIFzCTaKpDwaKPMG^CGaUpKG`kQyGVCq`npLg[[RQFBBWaUpKGZkQyEvBuaRo}gd[NaHRBoaOo|GckNIHFCA`tozg_{MqGJCY`qpFg[{PqFR?L_GoBwAk@]?f?X_MoEwC[@}@BDsa[p]GfkVYHvEEavp[Gp[VIKRDga~p]glkVqJVDab@pXGokUYKBD[aypWGnKTyJnDValpUWi[TUIbDIa|pRgn{SqJzEGacpPgp[SQKNC}b?pOgokSAKFBL`gorwYkL]EfFBbbppWwKZ}LzFGbQprGtK[iLNFGbNprGs[[iLBE[bfpsgrK\AKvFMbHpsgqk\AKnEqbEpcGuKZQK^EubTpmgt{ZaLZG?bup~g}K_IN^Fgbipxgy{]iMrF_b{pxG~k]INvFYbxpvg}{^QMzGUcAqEh@K`aONGIcIqBhA[_qOay~\_mnV}j~d~m~n^xn{W[[L}FBBX`mouwuKZULfEnbUpixICcEQ\HDceQOxFSc]P|HJc]QQXGcbUPlHBc[QOXFSbEPxGnc^QKxDcbUPpGjcZQIXDCa}PXGrcTQKXHc`uP@HPcfQFxCSc]PLHJcQQQXPo@S?q?V]\nNvfkF}CFA@_{o^WN[SUIRDFa^pOwgK\UMrFVblpvwzkiqTfIodZqjhUkjqTVIed[qmhTKiqTBIcdWqjhS[iaS~IidLqhhRkhQTBIcdKqdhS[haS~ISdMqdhR[dQSFHQdBqThOkfqTfI?dYq^hU{fYTrHwd\q]hVkhARjIQcwqbhM[gyRVIOcuqchL{eQSRHedEqYHP[gIQ~HadBq`HKKdaSRH[dEqUhP[pw?]?R?GrFhZ{mAXFJ[eOqthb{liXFJWeOqshbKlQWzJOeLrChX[pYU^KSderEHWkpqUNKYdcrChV{pQUBKUd`r@h^[nyWVJ{eCr?H]koQVrKAdzq{h[[mYV^JodqqyH`kmqWbJieF_DOAw@c?q?T?Jr[hlcuUZ`LbevRWXlcu]ZTLpevRYXhsu]ZTLRegRYXhCuEYXLdedRWxgStmYLL^eaRVXicruY@LXe^RTxeSqUXPKteWRHxdSr]X\KzeURMO@w@C?e?N?H_CXucgMSNIDdCqbXP[zI\FMofRrjhskzI\RMkfVrkHt[wi\vMMf^rbHvkxq\RMkfOrfht[xY\FMWfRrehskzQ[bMwfIrlhq[wa\rMEfZr`HukziZ~MAf^r_HvkvUZfLve{r^Xn[pMWnKTeMrExbK{q^zNOf~rri?K}A_FOEfns@H{[|a_FOEfms@Hz[~q]fO?fjr~hyk{M]BNDfbrqXx[~Y^VNmf|r}H|k~A^JNsfsr{h{|?a`ZOogEsAiD|@i`NO[gTsFiDLAI_jO_gKsHIA|BI_^OugHsLIALCiaJPGgfsPiHlBa`~O{g`sMiGKuuZ^Lpfzr}x~K~E^jNrgmSZYKDEea|PjgmSWyKDEUa|PfggSYYITEmahPlgpSTyKtDmbHPXhERkXu[y}`NOjgSsHYC\AEc`QXhESfYPtHmcXQThGSdyPtHMbdQFhCS[YPTE}cdQ@hIS_yQtGUbtQZg~SfYNdHebhQJg{S`yPDF]ePQgh`shiW|IQeJQ]hbsgiW\IAeJQuhUsmiT\Jad^Q{hWslIWLJydfRYhcsrIZ|KiezROhissiZLKyenQJhCs`y[DMufDRphqSzy[tM}fTRphsSzYW\K]eI?Ah~S{o?tOIfjRu?AT?Y^??Qf}?Ah}T?y^O?YgB