CAT(2168,1)
Sparse6:
:~?`w_?O?G?CBG@_?h_T_KWDwAi@W?n_U_KWDoBA@\?k_UoN_FKBa@t?w_\OMWEcBM@d?t_ZoLgGKCMAD@D_bOPGGwByAQ@?_c?NwG_C]AI@H_b?QGFgBy@w@?_\_NwGGBmAE?|_`?NGKOBA@b?n_SoIwDSAe@V?i_UOJgDkEGBX@l?poX?L[EGBP@c?tOWoLKESA~@f?ooX_KCE_A~@i?ooYOKCDGA|@O?mOSOJkDeAv@Y_joUGIsDoAf@]?ioVOIcCsBL@M?qoRoK{CgBX@K?uoYoH[HGA^@M_eoQgHcCmC{AX`LOeGRGHUCsAV`J?eGPwHQCaAQ`G?cwRGGeCsAJ`D?eGPwGYCaAG`G?`wOWHICIAS`A?cwNgHUB}AV_~?dgM{FeBp@u_yo\GMGGqC[@q_x_bWLoGqC[@o_v_bWN_GABuAA_|?_WX?J}EBB?`WOkgUKKSDZAn@bop_TsKSDJAe@boh?WsICEHBA@Pog_W[I?EDA]@aOfoW[KWCvBF@MopORcJoDNA}@SonOTCJKDrAy@YomoUcIgDlAk@[OioU{McAx@]_mofgSCH}CzAZ`MO{W]CM}FMBl`s?zg[oMqEOBj`s_qgXGMiFFBd`qOwG[KMIEyBk`n_zgZoMuExBY`loxoY{M_ErBe@kO{OYKLKF`BQ@voyOXsL?FVBi@fot?X[LWEZBT@eObgPcGuC^AP`GO}W^SNaGbCQaGPB?bCOgGnCJAJP@w`KOaGiCBaI@?WaWOIGiC?`~@DGaWN}GkBz`}`EG^_P]FjBv`zO{g]cNMG]CEaE`@G`oOUEHBB``PJGdkQmHPCiaSpM?ccQGHrCvAPpFOfKPwHnCwAMPLObKRWGvCsALPJ_ckR?HNCnARPKocKQ?HbC^AXPPghCS]IFDDaaPOGgSSEIWC{ae`MwhoRiIQC|a^`QwfoSiCxA\`Lp@G_sOUFfBs`xPXGkkUYJKD]ao@XGjwUUI}Daao@WwkGTyJADNap`SWkOTAIxDZampUgjCTeIgDUaj`SgigTMKCBg`rOxwe[RIHbCmaWPJwcSQQHFDTajpTgp_WyKYEObD`bwpgWMKUECbE@_go_WaKEEIb@@aWoCWEJ~E?BGP_OpsW{J~DkA~PY_ncUkJzDza|P]Wn?W]JmEDaz@`gmWWiKODsay`aWmSVAJbDlA~PZoncUwJzEDArp`olKWWJPEzArpYWlCZ_LvEyB]pmOvcYCLxEaB\pnOsCZ_LdEyBYPmOu[YeLVEibRpiGssX_LjEvBKpdousXOLjEUBZpdOusYoL^EmBWpjOuCYSKzEcBNpgorsXgKdE[BHpeoqKAa@P?g_QoHwCsAI@H?b_POGwCc]w@N?d_RPegrcXmNaFjbx`zW}O]qN_Frbv@{W|w^IM}F_bo@wWzw]ENMFgbq`yg{o]eN[Fjbw@zW|w]qNIF]bm@xw{o\uMwFgbm`yWzo]iNEF@b``xGwO]IMlFWbjptWy[\QNGE~bp`oGvo]IMqFObl`sWzO\IMYFFbf`qWxo[aMGFIbb@rGwg[mJxD}a}p_WoCV}OvG\cMQEHBK`iOaG_cGAFx@w`yPEGMcEAGhCG_uO{GHcOAAxBw_iPAFvb{aGxCO^aOcF~b~ADG~g`MOKGBcAaAH?__]NsG?b}A?g~W_ENgGTbzADw}g`Y@D?b_QOHWCsA]LjEvbZPmGvSZeQUGccRARXCgcqQOG~cdAOHHGcEPwHDcbaNhGobuQCGxc\aPHGWbiQYGwcZARHHWb]PgHDcbaLXGobMPaHAcWAPHEOcMPZGncVQIhDcamPMHGcSAQhHGaeNPFhbtPyw|k]qQ^HMcgQYXLSemRWHYcmAZhLgdmRWHVcvAUXLgdaQgHncjA[XIgfAQaHnchA[XIWfAR?HecsAWhKweEQyHbcnaXHJoeUR{IFdCa_HP?f}SGHzc}a`hOgfqRcHwcyA]hMWfeRiI@cza_xMogISeIIdIabHQ_gmSYIOdFachPohE@z?z_]O_gOCGEBz@~_~OqGXSKeEVBL`ePEWb[PiG|C[aMpRwiKTAIfDSahPjGtsYuLFEdbQQCXAC_}O\GLcEQXhLCe]RFHccqqo@WskGUPJ@DbqopVkj{UJJCD^QoPVSk?TxJAD\qlpVsj{TrIwD]qlPV[jWTxIsD\QmPUKj[TfIwDXQlPTsjWT`IsDVqipUKisTfIkDXQj`TCigT`IhDVqjPS{ikTLIkDQqg`TCigTHIhDPqfpSsiCTNI_DQqgpRchwTHIaDMqfpRchwT@I`DMqd`Wsh_UPIVDbqopRKkSSvJCDLQ~?As@a?n?X_LoEh`?@q?|?\eF?FwCKAAA~@`_oOmGU{JYDfAt`YO~g_CN}FvB|`}PMgfcRmH~C}a]p\gnCV]JfDtayPqwxc[iMNFGbcqHhCcaUPNGhcSQ[hMcfMRjHvczRMpekrsXnK{EZRM@eSrcXhKyEXrJpekrCXnKoEZRL@dcqwXfKlEXRJpdKrCXVKoETRH`dcqsXNKmESRGpdKqSXVKcETRH`cCqGXNKgEOrG`b{pwX@K\EOrGpbSqOWxKdELrEPb[p_WxKVELRF`acp{WjK\EJRDpaKpcWfKWEHRCPacpKWlKQEIrCH`{oyW^KOeFQqP`[kkWZJIEEQ|`fCn_XtJvE[rMp][rsVjK{DyQ{@`CnGWTJpECqzP`Cm{WTJmECr@p\SmoWJJjEBR?`[{oOVRKBDsQxP_{oSVLJcEBQwP_SmKWHJaE@qv`^{m?WBJ^E?Qup^clsV|J[D}quP_CoCUtJWD~qtP^cl[V|JUD}q}pYSncUhJyDhrB@YKosU^JOEDqr@^KkwVvJLD|Rh?@S?q?V?L_FOBxu?@A?b?QfZ?CwAk@Q\nMuf[Rlxusza\eK}fYbOHu_r}[{LhfOBYhl?x}[{LjfOBZXrwuqZIMofXBXxuGuY\aLbepBkHk_zIY}MnfUbWXk?yyYwMienBjHjgymYuMiekbjHjOymYmMnfUbUHioyy\MLRfSbTXt?tQY_McegbhXsotIY]MhfRbRXhoyaYSMcfRBRHhWyUYQM`ebbgxh?yIYGMrebBlXggzQ\AL@fPbOhgWyI[cMWfHbeXq_xi[aMVfGBdhqgw}[KMKfCBbhowwu[QMBfAbaxpOwQZsM@e}B_hnWwAZyLve~B]Xnwva[uLpfMb[xr_vIZgLmewB\hlwvU_S?V_JOEGAs@a?n?X_LoEgBK@i?vO[?MOFgBk@q?|?\fNRgHr|AG_xOcGNSGqBl@{`DO`GQSGAC\@W_XOIGKSAqA|@__^OUGFSDq@l@g_dOOGLsEQAL@k_fOTGKsDABS{I]HNBfarpxws~w_~O?GOr~qCC~k_xN|GNR~ABk~__fOTF{sD@~S~S_ZNvGFr|a@s~K_dNsGGsC@}T?o^bOJFvsA`}Czc_NOHF\rma@Czo_NOHF^RnQ@D?C^XOBFvS?`|k}c^FNjFqry`{c}_^@NaFrRwP{{|[]tNXFmRu@z[|s]jN^FjRv`yc{k]bNRFers`xc{_]\NHFgRq`x{z{_HN@GBRoA?k?}?\?L_FoBW@s?i?X?J_DOAw@dF{?d?O_GoCWAS@A_NOHgCQ}X^[niWDKCe@r@x_soUWVKLeES`QOLG[c@QEG~s_aOlGOcNQBHBSZaNTEsbrPnG|s]QMDFkbbPyGxS[qNtFsbjP{GyS^aMtF_bxPvG}scQLTEocfQQGts_aLLGObNQBGsSXAOLEWc@PdG~sWQMtF_bFPvGpS[AKDFGa~PpGnSZQJ\E{azPmGmSUAM\DgbjPXGySaAIlD[cTPUHCsRyILDAafPSghSRAQLCwcdPLHHsaAHLCkcTQHGdSPqPdGsaPPEHDsbaG\H?aJQNGaSOAPdGsaDP@HDsbaFlH?`~QNG^SIyDlAq`^OogVSKYE\BI`hOtgZSMaClBo`NOzGRSLqDDAg`rOwGSrgXs[yI\XMifTrjXt{yy\fMtfYS{QStNKdPRqHRsmq\DJsfTQ{Hss{QVDJgffQxHxSyAU|MgdjRhHZSka\tN?dfQsHvsjq\\JCfZQoHuSzATdIwfZRjHUsiQ\tN?dVQiHvseiRdHmc~Q\hNSgISTIEdFQdhQSxQY\M[ejReHiSsA[TLGfHRPHpsvqXlK{f@R`HfSuqXTLgeXRJHksvAW|LseRRGHnSpAYtKSepREHjsoQQtHOeFQTH`SnaQ|Hce@QWH^tHq]dQcflSgHytGQb\PshFS[IPTFabDQ?gtS^IKtAQdlOkh^SIIVTAAddO[hTSEITtDQ_\PWgHSVIAtCQ_TO?g`S@IFs~Q`dN{gZR}IFTCa^TNoghRzIHs|qcdNchLRwIQtSOB{AA@B?^_OOGXlKuaZTLjeurZIE|Be`pOyg]SMyk@TijCT[iodUyjpTei}TWijdVYihTqikTYiiDUyjHTEieTVikDSihpTEieTOifdSiihS}ikTOiiDRiepTui{SvindMIe`UEheT_iYdWih@RAhcTIicdKYhXSUiYTFieDPifxRqh{T@i]dOIgXReiGSzi`DMiq?@M?h?T_HoDWAd@Y_pOVgKsEyBSzi\vMxf]rnhvdL}fBR_hmSvYZtLeevRYhjSuIY|Jyd~R?h`SoyWLY?lfU`JXTkQr|Z?kzUmJNTjqrdYSkvUXJRTeas|XclHUbJLtgarTYkklUlJKTjAq|XWlPUWJTTdqtLXKk~U`JITdQsDXGk|UOJMTcQrlWsk`UNJGtbaqTWskfUTJFtbaqdUSkRTcJBtWqpDZ?kJUnJBTjaodWClbUBJXt_auTYSj|U?JRt^qstYkjvUlI}tjAndV_lPTyJTT]QtLVSlDTvJQT\as\VIjhTrivt[ImLWgj\UJIuTbAllUckNTjJCtYapDWojPUIIrtaqkt_GbtPzg{s^iNlFqgjSUiJtCiadPMg^SPiGTBI`lOyoIWJkBeBZ?p_qoIWGkBeAj?p_eoaWAkAECz?X`Io[WAkAECJ?X_}m{WJjoEBYzx_qoaVZkHdvZAP\qmoWGjlEAizH_eo[VTjjeCJ@x\Ym^VPjgTrYxt[qn}VJjdE?YxH_AnwVEj}dqIwx^ynqVBj|dpY~P[QnqV?j`D}ywH^il{Vuj^d|y~@ZulsVuj{Dmyv`^]lmV~j[e?Yv@_AlkV{j~DlY~hZQnYVkjvDyi|x]mn_VfjxDyY}H]anGVrjrD|Y{h^QmcV`jpdtI{P\MqwXNkeuRjHTcqqVW\KkuUrB|`wqtWYKkuUrBd`kqtXUKJuERJDd[opWSKjUDbJD`SqnXOK^uSbGDdCp|WzKOUNRCTbopBXRK[UMbIldOprWoKYUKRE\a{pdWtKUULbDtb[pZWhKaUPRD\cWpTWeKbuIBHLa[qPX@KPuHRG\aOqDUFjCtaIpTWmkXYIKwUarLtgcr^Xyk}U]zNDfernYFKyU\ROtg_rlYHKnuarKDggrBX\LBUaBJtg[qxXpKtu[rLlfGrXXgL?UYbOTecsBYBKquXrOleWsHX|KpU^rKdfwrFVuj{T|y~L^mntV{j~T~Y~|_AoBYiLEUirPtiosZYrLRuiRUli_thYiLQUjBStiktJY`LWUgrUTiGtbY]LUugBT|h{t\Y\lLufJRThespYTLUudbT|h[t\YrLHucbUljOshYNLWUcRUTh?tbXUkkUTzJLdmqtZPlhusjXtlAu^ZSL`UtbWdlSuFZSL^utbWLlSu@ZVL]UnbZLl_tzZVL[uuRV\l_ttYuLcUqbU|kctpZJLaurRW|kouLZkLrUzb\DmsvNZbLlUxRZdmOuvZ_Lvuwb]LmCv`Z\Lsuvr\\mgu|ZzLxU~R]dnovfZtL{U|r^TnWvrTNigTRi|T]qnVVgjstxzKLd}r@X[knUVZXDkiuRZDlbupjappAwo[QmJfCZ`hpMw][TmFFDJa@oiwW[QmDfCZ`xoewY[FmFFAJ``oQwK[ImDf@Z_po]wI[HmAFAJaXnyw?[TmIE~zapoEwo[BmJf?jew?a?R?FjEtbyptbEp`WnkUUJjDlhIshYRlFucZQDliuxZZlmuvzZtsWyR\GMdvPrhTsSyX\LM`vRbgdsWy@\AMcVPrgLsKxz\DM^vPBftrgy@\AM]VMrgLrkx~[{M^VMbflpcxb[ZMXvEbeTqwyR[oMdvJrhTqkyX[lMfVJBhlrcxR[wMTVLrdDr[xL[xMRvMBclqKxh[cMZVGbelrCw~[`MXvKbcDpoxh[]MZVFRelv{?H?D_BV^rkDtw{B\^N?VUrn|ts{B\[N?VURndtgz|\WM}v]Rilvkyn\yMjV^BiTvsyf\}MiV]Rh|vkyb\yMgV[rllu{zj\mMyV[blTv?zX\pMtvXrmtuczp\gMzvXBkLuKzL\dMpOAG@K?]?N?H_CViRspyA|O]anRfgZshyY|O]bnRfhJqxyM{q]cnQfeJq`yA{k]anIfgZqHxu{e]^nHFfjrPwy{_][nFfezp@wM{S]AnAFaZohwm{M]LnBFbG?c?Y?J?C_Ao@jxPrExf[qmYVLjel{[}B^GN`vqRwT{[}H^ENcvqBwl{g|j^KNZvqrutzw}H^EN_Vnrwlzk}D]|N`vnBwL{s|p^NN\VrbvLzG}T]sNeVkrx\z?}\^NNVvkRxlye|V]inUvjjtdvezv\ym}V^jnl|W~\^WNwVtr||~G~B^^Nwv{r{D|o~b^rNnV{bzl}w}r^oNlvzrzT|I}b^OnhvtZyd}o~J^fNuvyr{t}_~D^iNqVyR{]?c~h_JNzWAb}l~t?F^~OAv~c?e?C~x_AN|w?B~T~\?L_GN{v}C?}@T?d_SOJwCsAu?p?^_MOGwBSADyY|N]gnuvzJ|\}a~T^hoNGHKByAZ@?_doNGG[CAAN?}_aoOgE[CY@j@C_WoQGE{Cq@v@I_[oZFqZxD{^?F_DoAW?K?U?F@k_{o[GN[EyBz@m_zo[GM[EqBj@g_foSgL[DABN@q_oo\gKkFQBF@Y_{oVgNkDqBv@g_ioUGK{EiAnAg`BOgwPCIUCHAf_~OhWOCIMCDAf`JOfWRSIECpA^`DOcWQcG}CXAR`\OiWTcJ}DTA|`WOlwTsJUDdAx_soYwK{KAEZBC`googX{KYE^BI`goqGXkIMDNAd?@OvgYW?YFDBT`j?@G[KL_?HB^?@OvG[[Lg?LB`