CAT(2936,1)

Sparse6:

:~?lw_?O?G?CBk@p?y_[oMGFSBe@z?z_]ONgF{CAAF@A__oPgGcCU@j?v_ZOSoH{CyAZ@L_fORwHCCeAN@J_eOQgESBQ@f@d?noWGKKEEA~@__moVgJcD_Av@X?jOToJSD?Af@Q?ioSOIcEwBb@o?xoZoMSEsBR@i?toY?LcEGBJ@c?roWoKsG?@d?s_XoKgEcBM@x?|_\oOGF{ByAN@H_cOQgH[CqBJ@f_rOYWLSEaBX@l_toXGKSEMCvA\`MOdoRCHgClAX@Iof?QSHkCfA\@IOboRCHgCbAX@GOboPKH?CVAP@DO`_PcGwCPAF@Eo`_PSG_CVAF@Co_oQkGSCnAC@JOc_OCHKCDAS@?o^OOCF{CD@}@?o_oNkGSB~AC?~O\?PcGwBl@t@Eo]_M{FcBv@w?}Ot?DcAy@Z?n_WOKWEkB]@l?t_ZoLgFSBe@p@A_`oOWGcCYAJ@R_ioTGIsDaAn@X_loUgJcDyAz@O_hOSWICDIAbCC@u?zw]GMyFYBo`s_}G\ONeFUBy`r?{g[wNMFOBs`p_zw]GMUFGBo`r?wg\?MAFMB``p?ww[?MQFABd`m_zGZwMuE{Bm`l_yw\OLiEwBh`g_|WYWN]EcBu`g_}GYWNiEcBx`g?vGXoLiEuBN`m_rgY?L}E{BN`kotwZCI?EpA^@kof_Y{NGEDBs@aO{oW[NSD~Bv@_o|_WCJqD|A|`[omwVSKkDlBL@[Or?U{JKETBG@YoqOUcKSD`BF@XOp_UKKSDZAn@bop_TsLSDTBU@UOt?T[I[EjBS@Soi?YsIWEZAc@dohOXcKcDBBI@Poq?SSUC@P?f_ROIgD[AeEbBR`hOXGKSEMC|A_`NpZ?l{UkJ\DiAupVgkCT}IuDfam`YGj_UeJGDfaq`YWkoUaFvB|`}O~g_CN}GED]ao@?WjwOIJUCmau@JwlORAHQDlaT@Zgd?U}HJCfaRPGgccQMG}DcaO@XgcGUUIuC[aN@VGbgTuIoCXal@EwjGPiIkCWaj`DwigPYGiDaaI@WwaWUEIgCPaH@Swa?TIJACLap`BwkOOyGSDQai@BG`WTMGMDYaC`UG`?TeIiCCaj`@gioOUIQDNad`SWhOTAICDGa_@PwgGSYHmCya[`NGf?RmHgC|a^`LgfoRUIECpaX`PWg_RIHUDLaU`Rgh_Qq@J?d_QprOC[AI@H?k_VOJWDcAy@Z?n_WOKWEKA}@`Bz`}o~G_CNyF~CgaTPIWzw]AM}F`bo@wWzG]INEFZbq@ugxk[}M\FLBpPr_{c]KM^FKBjpu?xS[kMlFXBdPuoxc\gMVFOBbps_xK\CMPFHBippoy[[_MhD}a}p^GoKV}K@E~BjPu?wCZwMnEyb[PmWukZ]LlEqBhpt?ucZKMjFOBWpjoyKZ?MdFCBCPp_pK[SKTEAB_poooc[GKFDyBnPv?n[VcMzDwBnP\_zkV[MxDrB_p\Ow[[GJhFEAwpp?mS[SJ`EkBPpj_skYsLHE`BMpg_r{XwL@EzBIPd_vkZoKjEPBSpcot[XGLTEXBGPe?psX[K^ELBLpaorcWoKtEDBRP`otCWWLNHD?ROIGC{A]@P?e_ToIgDKAi@V?h`aopwWsKeETBG`eorGX[VqJ|D|a~p_GoKdsQDH^CaQV`G[cCQtH[C^qO@J[boQXG}CdqNPHkbwQ^G|CgQN@HsbcQJGzCbqP`FSbkQPHIC[qQPFS^{QBG~B~P~PGCbMPjGscWqKhECasQ\GnCgQJ`H{dCPTHRCUQS`D[a_QRGhCdQHpHCaSQNGeCaqP`CcdoOxG\ClQEpJ[ckOpHLCKqE`Hc_{QjGPCjQC@IcdCO\HRCEQS`@k_cQrGICjqApJCdOOPGFCiq@`Is_SQrGCCjqU@?[cGOBG?CaQOp?S^]NrFwb|P}w~c^QNlFtbwp{w}SdsNJH^BrqV_{sbWPBGwCPqLpCS`{OnGTCOQF`As^?OfFnCHPz`Ac]_NVFiBupyO|cAI@H?bdb?GgC[AQUWDQaiPSwi{TYIjDXalPUGj[TuIxD]aoPVw^[NuFxB~a?O~g_KOMGDC@a@p?g~k^}N|G?c@Q?W|[]uNXJ]DtQw@\cmkU~J[DsqxpZklkVPJYDrQuP[cl_VJJnDcQz`WsmsUNJnDcqqp\kkgV\JHDtQqp\ckgVVJDDrqop\KkOVPJ?Doqo`[[kCVDJ?DqQoP[kkGVLJXDaqopZSl_UHI{D^QnpV[jgTzJED]qnpXCk[T|HrcyQ[hU_jmTkI{dYamh[WjMVCIqdoakXX_iyU[Iodeajx[?iqTYJ]dTavxRkhqS|IWdJQdxQchUSfIKDmQa`ZkgkUvJTDBqaPY{g_UlJNDAqsPOsl?SHJKD?qr`O[ksSDJTC~Qt`OCf{UnHzDhq^PYSfoUhHyDhQ]@Y[fcUhHtDfq\pYKfWU`HkcvQZXMKe}R`HfcsQXhLKeiRVHccqqWxKSeER@IvDQqmPS{j_TLIiDLQiPR[hcTPIaDGQh@QSiKSbI^DEqg@P{iCS\JBdaqpHXKkiUVFCbbPpWmcVUJfL@e`ROxfssAX~LhEMrY`b{u_W|KYEurF@lcpkZVKXEsRE@lSp[ZRKQeGrCx`spAW^LjEDrBPlkooZXKHeDRAH_ko]WLLdD{rXp^[uWVtJuEpRX@^Cn[ZFJrEpRX@]knOZFLdDwRXp]KuWVdLME]rRpf[roYZKwEmRMPjkrgY|LFEYrQPe{s_XlLCEXRP`ecsSXfKnEgRKPiSr?YbLKEURJ`h[qsYTLXESrUpd[tgXTKgEnrH`kKq[Z@LSEORG`iktKXBKAEIr@@asoKWhKbD~r?PckqOW@J{Ejq~`jCnsYlMlfVRjxtcyi\VMuF[rm@v[z[\tM`EvRZps[v?\DMZFQRh`rkxo\JMqFIrkPq{xW\`MfFHRiPqcy_[fMFFFrcPpCx?[LMrF@r`PukzO[HL|FER^`psv{[ZL{F@R]poCvg[BMIE{rapm{wcZpM]EyRg@msx{ZjLpFLR[prKvG[pFHbbpqGxc[iMVIgdTQiXS{iUTLIadPqhHR{iET@NhFvryp}K}g^`NhFuRyp|s}g^ZNtFrry@}{~W^LNeFxRy@}c~K^NNAFvrp@}K{K^`NdfqRwxx?~I^gNIfxbqXwk{]]LNkF_rnp|s{?^ZM{Fyrn`}{zs^lN_FlRw`z[}C]xN\FiRvpyk|w]lNMFgrspyC|G]^NJFjrrPzK{o]pOgC\QMXF[bqP|G|c^qOXGCcMQHHAeIRDhaktMYhLTegRShiKsuY^LMedRRHh[s]YRLGeaRPhgkqMXJKcgXCQYHXBM`aPIgZcKYFHBM`oOqgVCMiE@Bq`]OzgZCKIDpBQ`iOng`CJYDXCEa?OkgUCNYDhB}`UO}gbCIYH@Aa`SPFg`cIIDPCUaGOhgACQYHX?Y_IPIgNcLyCHBe`?Owg`CFYG@@yaAO[gYcEyEp@e_sOsgJCOyB@CU_mPCgHsDYAd@E_dOOgEcPi@xCa_[PFgDCMi@`Bq_UOzgBcNy@HBu`{OGg?cHY?XA]_COef~CHy?@AU^}OegPB}yC_~u`EN{gPB}IC_~i`ENxhLAnXV{jyUBJAd_RaXp[wi[LMGfBr_XoSwAZ|L|e~sgqRlIOc~QdHNSfqSDHsdDQ]HOseaTLHodVQZHTSeqS|HodPQYHRS_YODF}brPzg|S[AS|I_bdQeGwsZaSTE{d@PlHOsgqLTIObVPkHQsXqTTEcdVQhGsSWQQ|HcbFQWGpSeAKDHca|P^HJsVAQtDschPZHIsUAQtDgcjPXHIScaIlDWcfPVHGscqITHCahQQGhsbqH|H?abQMGgSRAQDG{a\QMGesXAP\GsbLPdHES_aNdGOb|QBG}s]APDF[cRQIGzS`aMdG[bjQDGxs|A\\MufXRihsSyY]PJUfeQvhwcli]PJQfeQqhwckyU@M}f_QphVcziT`M}d[RohvCjYZxMIfARchoCwy[hLeeuRfhlCxiVPLAeaQwh[csiZ`K]e{RHhmcqIW`LMeKRThactIYpKEeoRBhjcoiVpKie?RKh^cqyXxJuduRMh]CrYCTAQ`FOdgRsHi_pPygOS_iBdFyb\PugxSMiETBY`HQEgSSaiDdGyc@N]g}RxiNC}I]`QEfkSbhydGiaPOMggSDiHd@IahOAgmSAiJD?Y^pPAgaR~h}dByb@NifwSYh|dEYPtHAc^QRhHScYQdHYcjQVhKseIg`QUiCSei`dHIfxSmiATLi_DRIgPRqh{TCi]dOyfPSUhuTFi[dPihPR]iOSwicdLie\RQhjSoiXTKYdhSUh]TFiVDPih@QqiSSiicdIycxSmhQTKiSDRY\tNAf^Rqhxs{YlLUmjTTeirtYIl`Tij[T[iudUyl`T]j[TXiudUIihU}ikTpiiD[IlxTEieTpiwDSik@SyjCTNiodSIkXTui}TdinDXIoHVIkETriyD_io`Vyk?UDi~d`inXW]jyUHi}DaImpVajiTyizd]Yq@XMkiUQjGddIpPWukWUNjDdbgNkF}B|Cva[pMGecRYHjGHcDqAh?{_aOLKieTrIXdCq]XLM~f_roHvczy\zPug{S\yM\FUbhRvh{S}Y]dNYfjT_ipTWYjlTyi~VEJ_ToaxD[CmNVBJ]tpQvt[Ol~U{J_ToavT[ClvUvJ]tmQv|Z_l|UyJYTlavdZkljUvJWtmQu\Z_ldUmJYTlauDY{ljUjJWtjQu\YoldUmJSTkAtTY{lRUkJQtjQs|YklLUaJSThAtTYKlRUdJNtgQs|Y?lLUaJMThArtYKkzU[JNtgQrtY?kzUWJbtdqxDXWmLVBJKtpQrT[OkvV{?KODwAs@i?r?ZkC?FGBs@uo[?^_OoGGXsK}E`EMbGPbwpcWuKVHwc|Q]XMkfYRnLmewRZxm[vEZdOLgFsBi?|?a_RQwh\SmYV\JudxSjiUTIic|QehPTqiyT[ymlV]jlWtK[UMbE|bWprW|KYUMrE\bopdWoKYuJrEtbCpnWrKUULBDtbGpZWjKVUIRDlagpXWnKRUKRDDb?pNWdKSuIbC\aOpVWgKOuHrCTaWp@W\KOUFrCT`wpBWYKPuHBB\aSoxW\KKUERB|`wonWYKIUFBAt`kojWRKKUERAL`GonWRKIUCbAt`CojWMkGUBzAD_yo^VHKDtqr@l[goXVuK[T}BFT^[prWzJxuNQ}lbonhVoKCT{b@T^CoRVlKCTzr@T]woRWDJtU@q|d_WnVVfK@U@A|L_KnPVcKAtxb?|]SoLV`K@Twr?d]GoFW?JoTva~|\{oBVZJ}TvQ~t\onzVWJ~tub?D\coBV|JjTtq~t^omjVxJhT}qyd^gmfVNKDtsR@l\?oXVKJ{tra~T[snvYc?DOBG@[?u?^?MlW?CGAK@Itk?T_HoDJUtjatnYul[UlzUXbytiW~lYEOJRpeirQY_ksEfzS@ems{XllNeZJU@eUrMYpkrEkjKPjArGYqkpekZJxiurAYmkoEjzJ`iiq{YkkmeizJXi}tYXXlVEUjTPdYtWXWlTeTzTHdMtOXTkiEhzI@iUqcYekgehJHxi]tQXMlSERZHPiYqUYdkeEhJHHiMqOY`kbegjUXcQqKYtkaelJSHcEtEXBlPEOjQPhasgYYlHeeZQhg}smYPlJEcJP`gYsOYMlBebZPHgMsUYDlDE`JO@firwYAl?e]zNhf]r}Xxk~E]JMHhmsyXrkxEfJMheyrkXokyEZz`O@a?n?U_JoEGAs@e?v?Y_KoEwBTpo?x?]_MoFGBs@us|Y^lOVGbbdqOw|[bMMvGbb|qCxH[bMOVBBa|okwp[UMDVDb`tp[w^[LMKVEraTpcw`[YMGvEbadpkwj[XMHupJW\kIuNZElau~bb|o?xBZ~MOU}rbdnsw|Z{MMu}Ba\ngwjZxMIU|R`tn[w^ZuMEvCb]Tp?vh[PLxvAr\|oovbZoMDUmR_|jkwRYyMCV@rVdjwwR[GL]uzB_dmwwLZlMAuxR\DmKvNZcLrUwB\LmkvDZiLouuRZdl_utZVLlutBZllWu|Z^LiuqrYLkoudZLLhurbXDkgu`ZHLfunr_Lk?wF[AL_oBW@{?y?Z?N_FOAg@[?q?T?K_Dv^oAK@I?`?P_HOCJ_|oewPVxj|t}j?T_QoFWDkBu@j@\_uoX]EN?V`roLwSz~]DN@V`Bo|wW{F\mM{vZrn\vgzZ\yMwV]rmTvczb\rM~V^Bmdvszj\}MzV^BnDvszn]GMtVabl\wczX]CMrvYRoTu_{F\cN?vXbn|uS{@\bMzVWbnDuCzn\oMnV[bj|vCz@\ZMuvZrjluwyx\WMxvUbmltczh]PMivcri|xGyl\NmgvSJidtMyd\LNHVRbq\xCyX]GMcvabh\wcyT\FNEVQBplsW{V]OMavOrptw{yH]JM_VObplwoyB[|NFVcBf|w{x|[jmUvJJeDqyx^[qmXvKZedrYxj[dM\vHbfdrgxN[xMSVLrdTr_xRYalPugZT\iqtTYllVUjzU\jUth]eNwv{rtD~G|N^gN]vmr|Tzo~R^gN[VybvT}c|r^rNZvlR}L~G|l]qNtvlB|lzK~X^mNVvkR}Dz?~^^lNUVzBtt}k|Z]iNvvir}Dyc~\]YnMVezrlx}{|]`nPVgJsdyU|F^SNrVxryl|K~J^aNgVsb{\|C~H^^NevwRx|}?}\^INlvrBzT{k}r^FNnVvBxL|s}P^UNaVpbzD|[}J]SN`Vdbw\xS}B]}NJvoBrLz{{p^tOQv|cCt~P@H_bOMwGSBeAH?v_]OKWGCBU@|?r_HOUwAsD}?h@\_GOTwJC?uAh?N_TOAwDs?]@X?H_?OFw?cAM?D?`^|OEV~s@t~x?Z_SN|WCr~d~l?d^vORwIR~L~`@P`P?NoGWCCAE?~?_ksUYjLLeqrZXjmZvMZfDrixx[zooGUkKIDrBC`ZojgV[JID~Ao`]olgTKIqDrAi`YojgS[JIDNAo`QogGS{HyDFA[`QofGTKIqDBAi`NoZGV[FAD~@m`]ooGK{EaEF@i`aodgQKHQCvAW`HoagKKGyBJAK_po`GNKGYBzAG_|o^gM[GIBnA?_ypG?DWA[@Q?f?T_IVEJatp]wr[ZmLUmZV\jitzY}l]Vvz{L}A}x^]nmvuZz\|i}l^WnjvnjwDz}}F^An_wksR}JDDBaqPOWjcReJ@C|anPMweSSmHlDNaYPRWgcR]HdDHabPLWdsTmH`DVaUPUWdsTUH`DRagPJWfsQmHPDBaRPOWcCReHDCzaQPNWbSQEGxCdaNPGwbSQeGxCjaNPHwWsPEETCR`cPBwjcOeJ@CLanPAw_SUMGLDfaAPXWhSNuI\C@aeO~w]sT]ItBz`{PUW]CTEFhDT`xPSwgcMmF\DH`uPPw[kMeFNBb`oovwZCPUGpB\`lPDwaSLMElCPaFOtWXcPUGpBP`fPDx?bnLvmzt\{m~V^[Am@^?l_QoIWC{AE?~?b_KoFWB[_iOnGMcLqBHBK_iObGMcIqBHA[aIOJGecCqHH?{_QOzG_cBqAHB{ZyOvGUb_pnHBKaILnGeb\qHGvKZAO~G_bYpkhBk`ALVGSbVqCgtkX}LFE`bMpeWr[_AKnEQc@p~gqk^aK^F{bGpbG~[WYNfFubDp|GpKWANfFubAp|Go[VyNbD{bup]g|{VQNZDwbwp\g|{_IJ^Dqb~p[H?K^qJZFyasp}Gl[\YMvF]bkptGzk]QMfFabgpwGx{[aNNFKbtpqg|KYQMFEgbbphgwkjaSvI^dMqdXRKh]PtIrc^QlXFcj]TdGtc[QlxEsjUTXGndWQKxTsbEPPIlcUQkXDSi}S@I`dQQ^xNciMRpHBc|QPXGCf]TPHtdTQ[XSsfMRDHdcsQVxKseERTHXcvQVXLcdmQdIHcjQbXIcgmS`HPceQcxPsc}SDHFdBQQxOcceG^CRaGpDWbKP]WhJ^eJQwXaSluVjJxdzq{x\{nEVPKLduRCX\So}WdI~eJQoxackEWXIxd]RCXVSo}UlJbdrQuxZCmUU`Jzd~QtX^clMWLJJeDQrx`CkuW@JDeAQqX_Sk]NZFpbvp|W}{^MNrFzb}q?w~{_EYhKXekRFXispmZDLNeqRSXkCtMYhLHekRRXissmYDLfetRPxgcueYxK|e_RUxfst}XnKze[rKxekrEXTLZeVRVxdctuZTKfeSRYXccu]W|L`epRGxcCuUTZIpdVqkxU{jU\FMffQrgXr{xu[HMhfURaXosym\PL~fUR_xoCym\\LxfXR^XuCvm\\LrfXR\xuCvUZXMRewRcXlsxU[lMJfLRbxrCwu\hNTf[Rsxus|]]pNLfmRsXzS{}^@N@faRvxwS}M]LMzfdRnxxCzu^`NvfyR}x}S~e^\NdfsRzX{s}mCzA``NptWy{\eM^FRbgqoxV{kETrI|d\rcXqkxM[^MLfDsKICLAQ`^OagUsEiC|@y`VO[gSsHIAlAI_rO_gJsEiA\@y_^O[gGsAIAl?q_rOIgJsAI@|?q_bOIgHr~IDlBA_BN}gVsHi?\?Y`VOCgSsZ_@w@C?fCZaNpFXJ{eERFHXcmqUxckq]XRK^ePrGXukze\nMzf^rnYPdHMc`QVhFSdYPTHucpQFhCSeyPdGEc`QDhFS_yPDF}cTPzg}S`yMdGEbpQBgzS`YNDF}bhP|gzS]yEdEM`dPfgZSXYJdHMb@QVgnSdYItHeapQZglSfYMTDUa`PnghS[YHTE}bdPNgeS[YLDCUaPPlgbSYyKTB}bLPBgqSOYFDEe`xPlg\SYy^o?c?Y?Jh~SnyWDOMdxS@hZS~yVTOMdpS@h{SkyUdNuftQphTS{y]tIud\Rth{ShY^dI]ftQhhNS{ySTNUflQ`hrSuy\TL}fPR\hoStY[dL]fDRXhhSoyXtK]e`RDhuSqYXdNEeTRn?F_COAW@K?]?PihTPIhlTAiFTMi_tPihlTAiVTMictJig|RIiVSoictIIgLQqiJSii`tGif\QYh~Sci]tFIelRahBS]iZtCi_lPQgRSOiBtDi`\OygvSKiK_AO@W?s?Q?L?DtdIK\E]bJPhgusYyqTWMk`UFjATbyqTWekXUNjGTaylTXmj\U^iuTfYndWek@ULi~TayoTV]kLTxi|T`YqdVEkpTtjJT[ylDXejLUViqTdYrTT}k|TbjMTWYilTMinTXimtUy]\N]fjR|h|s}Ytd\ul`V^jVTwYwD]Ml|Vfj`TxY{TZelxVfjqTmyzdZMn@UvjnTlYs\YElJUfjStiyyt[mmtVNjkTrYwd\EmhVHjhTpy|D_unXWPjtUBz?t^moTV|j~UAZ?T^Uo@VxkAT|y|t`MolVrkIT{ZDTaUp\WhkUUHzBD`}oxWbkLUGYhlS}ibVVjltuYyL\UmfXKk]uOJHLcip~XAk]uOJGlcYp~WokcuKjH\bQqZXAkZuPjF\cQprXkjGtcyp|_]oVWHkAu?z?LfArrXkk}uZjN\eqrjXokzuZjM\eYqfXOksuRjL\fIrBXskpu\jKldirvX]k}uVJNLdQrVXWkruTjLLiasPYblBUhzOdiUtLX~l@UgzSdgEsXYVlLUazRDg}sxYPlOUdZRthMttYhl^UjZVdimt`YtlXUmZTtj]rVXhkrurJWLlAuFZClfupjX|kiubZGleugzS|iS?DZ]lh_@j[TlS?HZ_ljuv_?dleuw?Alpuuj[??^