CAT(2916,2)

Sparse6:

:~?lc_?O?G?CD_Ac@T_j_TGIWDYBA@F_cOQWHSCmAL@Z?goR?JcCwB@@L?moS?J{C{A|@a_qoWWK[EYBH@l?vo[?MSEwBb@@?`_PWGOCOA@?|?S?LGF_Ag@j?w?\?IWDWBW@v?v?U_NwD_Bc@|?m?V_KGEGBG@f?d?m?FGCWDs?z?`?P?UwCw@wB@?_?R?VgC_D{?~Af@ROhGSkJ?D\Aj`UOigTkI}@j?s_ZOLwFKBaAB@A_`oPWGCCQ@X?i_SOIwDkAeCc?s_[?cwQ_BU@kAT_[_dwEwHY@sAW`K_MwROBqCu?|`M?NwRgByACA]`O?OGGGIMAEAa_a_gWG_H}@J?b_QOHwCsAI@L?a_RoGwCcAUBb@l_vO[gMCE}A|@__loVwJcDu?N?I_CoAw@C?q?^?O_GoBW@s@I?h?U_JoEGAk@M?r?X_LoEwBS@iAW@E_f?PwI?CaAa@J_f_QgHgCe@u?S_I_NGAoBu?o?~_J_MgFo@MHQCgaT`IgdgQqG@CAa?o~g_[N}GRCDaAPAG_{OYFLBf`sOyg\[Me@P?h_TOJGDkAm@^?m_XoKGEKBI?x?\_NoGWCC@yAb@K_eoSGHsC}Ad@T_joTgI[DQAd@R_ioTGI{DYBB@c_rOWgKkEM?b?L_GOCg@{?y?H?C_Ao@W?s?YKCDcAwPX_mcVSJPDqAsp[Ok{USJfDRAnPVoiSTOJ@DTAopTokSTWJFC~a\PMwfcRyHzCwaYPLWesReHnCrA_POoeSSOH`D@AVPPOeKSGH^CaaQPHWc{QYHFDIAMPGOg{PsIPC]AbPQOb{SkH@CjA[PI?ekQcHlCiA[pL?dkQoHnCIAbPAog{OoIPDJAFpQ_`kScG\B{`{o}G^SNmFzB}APp?_ccOKHJB~APP??c{OCHLBlAMPFO\cP{F^BpANPGO\sQ?F`BfATOx_dKQ_FPBiAUpIo\[McHXB@`]OnWVsKAD~BL`cOqWX[KiEXC}@hPM_XsLCH~BRA]Os?fkRkE^CU@kpE?ZCLSGrBUALOtob[LOGnAQ`JOdWQ[H]ChAW`KofWRSHmCxBb@POg?[kHwF@A`@qOwOS[H{FDAN`GobWPcGyC`DU@DO`_i[G[IdDS@CPToP[TSCRAoAqOkOkkJGJLArArol?lKJSJPDW@TPUOTsI{ItDZ@Uoj?jkIkIxGc@[OmwVSJeDnAucW@[GmKVIJfDtayPYgl[UuJ\DnauPZGl[UuJTDnavPUgjCTmIrD\amPVgj{UEJDDbaoPR@DKa[I^GdAepS@CcaWIbGgAfPR@DSSsPVDMCUpRpDsaoIbDOCVqFogk`wIFDCCOpO`C[SCP@D?CPQEoeK`sHdGYAVQF?eCQ{OpCrCKpDgbCPeGnCYaLpCpFcPGPzG}AGQNoaKPSQBCSC_O{pKse[FlHg@yQY_]kNGRRHj@zpAPHKO[QPHIAAqQo_ccsGLCGCeOvpA[LkOdB[CJqD_ZSLsOhB]CIop`E{bWEDGw@`qMoW{KOPtBDC[qK?SkbCDRAeCXOhpE[IOPhAgCYqPXG{cKS`HCDGqPhQ_cITCAw`ZomwUsJiDrIsDWQkhTsjET^Ird_AnXV{jyTtI{d\pFGbkQEG|C^aOO|W]SNQFfBv`zOugZcL}EvB\`nOpGW{KMELBA`aooGWKJyDxA~`]ocgQ[HQCjAV`JOeGRKHmCtA\`MOfgSCIEDDAb`NoawO{GaCRAI`BOaWP[G]CLAG`DOhwTCIQDJAh`ROjgTSIuDVAn`UOXwLSEmBP@h_uO@w@S?a?R?K_DoBW@s?}?`?Q_GoCwAc@Y?n?W_Ip^gn{VuK@E@a}QIhDcauPVGncVPzw|s^ANfFpbxPyG|[]iNZFhbuPugys\]MrFZbkPsGyk\EMdFRbiPdGqkXYKnEXbKPcgpsW}K`ERbGrV`gcseYNLGebRPXfosiX}LJe_BRHgGsuYELNefBOhgWoUWGL@eBBNh_Or}WEL?eBbOheWl}VAKqdnBLx[?rQVEKtdpBLh]Gl}V_J]doa{h[OnMV?Jsdpa|XZOmYUoJcdkaxXZWmeVMJ\dmAyHYwnuV{JSdib?HYOn}WAJUd}AsxY?qaUaKhdebIxXwqiUWKedfBHxWoqqXYJFeVAqHeGkeUUKoddBJxT?qETQK_ePajHcOimXGIldTBHXS_miVYIddtagh\oiYV]IfduAgxjWkQYsJBd_BUHjGkIYyJDd_bVHU_sQTmLEdYbPXV?seYMIxdZBQHVOpUT}KWeKamxa_jyTyKUeJanHX?jMUUIqddAjxTokYT_JHdWapxRojMS}IpdVafHSGjIT_I\dOAjgoKVyJ~D{a}p_HbOhAWuIPeMAchQ_puSiK^dHbFhNomUR}Jcd?AyXOWmYSCJfd?ayHaGfeWeHzeFA]H`wfqRyKQeGA]hLOkUUAHjd`aXhKwkAROJCcsaohG{cUQDHBcbQPHGCbqPzG~c_qNhE?oaPaKHcXBAhEWomWYGteEALHBoiaTSG^dTaGHT_aETQGbdUaGh]oaiVsGndzaIx^?auVuGkd{aJh`o_qWeGLeFaBh@wpAOaKPcGBCh?otAOMLPcCBSh@GtMOULTcDBTG|oqeN_KjbxbIG}OqYN]KfbwbIhfG]]XoFabqBNG{grmNEK|e\@xhio\YMqLVblbTwzOt]YkFVbkBTheO[iM]KveX`qxe_[qM[KtbebLgwCZyL~FBb`PoWvgpYWqEyb[bDWv_pQWmEweK@mwuwjaTqErdZ@lhU_ZITmEsdY`lXR?YaSkEidL@ixQwYYLMIXbSaexbOYALEKZbPBFGs_puLIK]bObFwpwtaYqEPel@cxjWXAK[L\em@cgn?`eOsDucL`\xB_VeOyDza|AEHAWc}OcHOcgaDXAocyQeGVchADHMO\ARiFPcz@shMw\MReFTcy@tGt_bYLYGvc\`kGtobaLaGxbVaMg~_XiNyEZb~@fG~wXuNsE^b|`fhL_XUR]ESbJaZgqoeuKoHpbKa[Gp_dQQiEHcj@agpWd]KYHXck@aH?gWYKCG?b@a?Wo__IOGEFbAa?yO_tqYpL\ekrUhj[tAYbLTehrShicsyYTLJeeRRxhkriXpK{e]rMXf[rAX^KleWrJHdsqAXFK`ePRHXccoqWRKJeErAh`CoIWFKCeAr@x_sn]VpJxd|Q}x]snqWBJ|e?Q~h^{nAVbJtdxQ{x]cm{czQ`DtQzaRcmsc|JjHOQzAR{luUpJXdlqvHZSlGeBJRH`spPYclSeHJVH_QtaWSlAUXJLdfQsXX|LoSpIVHksu`QtLsSrRZDLqeaZChuS|I[dNqgXSDJgTDQ{DPqhAV|JsTJQzDRsn`SsjiTvI{d]qnxVtGSSXIIHBqbQPLGOS\QGDFqaqOsgOcTIGHDq`QPdGsSRQNDBSb`O{eERFHacqqWHKcdmQ|H^cmqVHJSc_dRHHHTQQaT[ckdPHLHUqRATdN?PHGdHwqHa]Sa[ffGhHyqIA]c^QNjFubzp}W~DIwNRQnBsSk?|TJCNVQrBusk_|c\odhF\HYpvaUs\{dnQxBopwAVDK{MHROBcPqQXtLCMNFDHeppaXdHWgtS]HJseAb\PoctQZINseQblH?fHRdHIsxaQLM[cdRgHHsyQQdGGgVSKG~TAAN|Occ@QBIDTBQOLFcgJSEG{T@qNTFkgDP|IAS^A_\IObfPsHPSgqMTISblQfGys\qStT{irT\inTUyjTTqSlIWdKqexQ{hiTPIjdTQjXTcieGnCUaKPEWb[PiHDCbaQPHWc{QYFXBl`vO{G]KM}FDB_`qOwW[kMMCXAP`FObwPkHAC\AN`EObWQCHEDfAs`WokgUCJU@\?o_WoKgD{BMAN@I_coPgHCCm?N?K_COAW@S?mJlDya|p]GnKV]JlDwa|P]wnKV]OdGRcIQDXA{`YLpExb\PmwvkZqLBEabPpgGskYQbdPrgyS\YM|FYbtPwg|s]YNlFqc@P}g~s_iO\GE`DObgNsGIBtAE^DNbfqRxX{s}]]xN\fnRvx{K}AY|L^eoRWxkKuInmVWJgttqyT\omjVYJjTuqy\\cmhVOJjTtAx\[ombVLJhTrayl[{mfVAJrTwqv|]Om@VBJsTpA{l[CnNUEJcT`qxLWKmJUCJbTaAxTWSmNTqJHt\aqdW{jbUOIxt\QqLVOkdTlJXtYqudU{ljUuIvTmAldZ[j`VaIqTVqzlU?m~T`JoTWqztUGnBTWJGtTap|TWk`TVJHtTqqdT_kdTRImtSqjLTwijTSIlTTQjdTOivTIJ[tmah|SslvTMJ^TRAvdSklzTCIqtYQg|S_jPTiIbTQQk|SSjLUBIUTJQotQwkNSnJCT`QeLWOh`UlIOTkAc\QClbUmIPTkaclY{hHSAJCtaq_\O[kXSEJDTbQ_lWwgHRyJYtla]|Z[frUwH{S}qudNWlfVLHyTra]lN?mVVKHws{ayDNKm^U?HpsvanlWCfDR^I~T_a[DV{fBR?JCtbaW\KSkZUIH_spAp\WoeDTbHUTVqTDUCdTT_HUsiQkdUGdVVVHPShAzDIKmrQdJlShqzdIWmvUTHJtdqQtHkkpQWJLTdaRTHckrPwIts]QldFgjZPzIwS^Ql|Foj\QAJKtdaNtGKktUVG~tdQODX_cBPiIrsXaklEcjLPjIsTYaLDUcbNPAIzsOqn\COjpPDI}T]QG|CWjtOvJysMA}tBgnlOuJysMQ}lBknlU?GUsIanlAkj|T~GUT_aDtWC`^OcJssHQ|TAWnVOfJuTzaDL]s`PU~GNSFqwD[C`DO`J`sGAwd[G`FVnGET{A@l^C_\VqGFt|AAL^K_`NvJRr|AtC~SlRNuJTTj@~DYk^rUxFvTm`||Zk^`U{Fwr{qvtZs^dNiJQtgP|c}clLNgJPTgp|k}klHN_JdRvawk|{mLVFFmRwQxK|smPNQJuTyPyD]s]jViFgtz`yc|KnVVnFdT{@x\^C]XVrFfrra}d^G]ZMqJRrkqtKzOlTMtJSTj@u|Yk\lMRJrTx@p|]K[\MQJqrcA|CxCnNLkIgrZqiDT?ZZLjIhRZaiSugibL]JnRWQz{uGn@LbJotw`j|\sZ@RWHqSxQZLLgfNRZHsSvQ\LMWexQ}IZtKaVTJkhhStH^tKqVdJshlSSHMTDQRlPWc|SVHNtEQSLP_d@QFHZs`AUdGSdjQEHZSmQPLG_dpPkILSZQb\Pob\S\GvtFqMLPwb`PVIDtBAIlO_ahPXIDSUA`lDWgRM~GfroAI[zwa\N@GgRoqIS{GabP@HGsNAQlC?c`QRG]scaFtHO`~PGGHSDqHL@KaTPJGIsDAHlCo_lPqGBS\A?|FS_POHGzS\q@\?gbfN}I_TO`~c~{iFS~F}tOP~TRw^vNbIRTI`{|Q[^DSgFqTIp{lQc^LNUI[RtqfS|_hvNXI[tNPzS|khxNFHFRpAPS{ScVQLFbRqQP{{_cXM{GqrnQKczcb@P`F\SW`vDEK\vRiFUSzPt|Mk\ZRkFVRkQ\|Mw\`MeGLRiqB[yg_xMfGKRiABkyc_rQmFOSkpsdJ?\JQnFOskPs\JG\DM]Hjss`rSxoefM\HiRfqYsxkejOBE{r]q?L??ZlOAEzs@@nCvg_JLoH}R[Q^svGgBLrI?S~pmlNsZhLcIFRXQ`{uWg`SPErtCplLPGZPUpjVTjytlZIl`U`jPTgysdYYlJU\jNtgIrtXqkv\pJLv[ardvKk|\sJNtgBmtvSkzTvi{T]YndVmjtTpiyt[im\VYjhTYiltVIjLTyizRKN@v`AXlwSe\RNNCSsRo|L?{LREhbsqIXLKmeT]NGlVcAJ\xCax]QGmvdAJ|xKa|OoMzsKRnDvc`d\yGXsLRndvk`hMTMtrdblcx_zZ\mFKv[@qdu{[n]ZFCVf@pLxs[T]]FDvg@plx{[XMBf@R`Hokw][L]}F?R^BvTzkZzL}N[vn@oLzsZ~]HnDFpZp\{[{X]MncfbZxpTQijTRijTTyjChqSzI]dOQfxSKNqFvBw`{o~W^S@q?z?]_NoGWCCDiAr@Wa}P^WnsV}KBE?cKQFHBK`mOzGYcNqGHCKaMPDG]o?fvR~\|g~x^|NnV~bz||p?@^~NlvsRyd|G}l^QNjvsRzD|K}r^RNivyRxt}s}^^iNfvzbyD}o}`^jNfVUB~TtO~r^tMjV|ri|~_yj^uMhvrRet{kxj[yNdvLrxdr_}Z[xNeVGr{DqO~B[dNpVHb{\q_~J[fNqU}z^tnevtZ{l}u|R~T~Svf^uLyU|b}|n_~pZvN{v{r\t~OvbZlNvuzr}L~GvdZoNwVzrN\~Kr|X{NwU^R}L~Gs@^sK~uTB|ddK~\XUNuuSR|L}kqjXQNtUKr{DbO~BWtNpULb{\}OppWvNquDR~\`W~x^|KJv~bBD`d?@WYN~v}q}|^_~x^|J{v~a~T~{nv_?J}V^RDlvwp\WpN@UJrn|bG{@WoN?vMrtlro|\[|NVvkBftzCx~]qM_Vlredq{|f[oNYVKRulrG|p]uMXvJbvtqs|x[hN[vIbvTqo|z]zMTvFRm|pwzp\xMNv]bcDqGzx[`M|vEBktpgzP[XMsvXRb\pozT[VMruubrLlS{jZUNJVebZLl[{pZWNJuorX|kOu`ZDLgutBXDkWufZFLhV?BWLj{wBY}MAV?rWTk?wDY|L~vbrU|x?tp]RL]VcRVLxOtt]QL\vgbULjS|BYsNPukrsdyStd]eLZUqRQ\kgshZJLIurBQtkwspZLLJubRo\wOs\]DLFv`bQDhG{P]FLGu`rv|gk}DYGN_UaRwLgo}HYIN`vhrMly_rl]hKzvibNDyort]jK{vYrL|uor`XpMuvZbMTfKz`\nKyUZBSdh{rRY_KtUgRL\iKr\YaKuuWrSle[tLXeLTUXBS|i_rPYhKquWRwl{gr@^EKmvprJt{_rD^HKnuUrT\ioqnYlKkUjbJLdot`YnKlV[RH\vGqX\rKev\BHtd?zl\tKfvVrFLbgz@WzMouNBkTuOp|\bK]uHrpLa_{TWhNFUIbpdwkpXWjNEuHB\\aGvRZkKPuybCtaSvPW`LruErRL`ostW\LLuFbRdhwp@Y\KNuwR@LmGoTZbKDuxB@d_wvLZdKEu@BsD_S{|WBNLvfB?t__{~]\KBvSb?Tssnz\MJ~vRr?DtCoB\OJ~Vxj{|}]~P^gnrVvZz\|y}x^Ynnvtjyd|U}n^XnkVVJjLtiyv\]mmvPzhDseyT\Kmdx@RguOKyB\AQAVOs`EOWyHcFMavCZaTpYwf[SmIvCC`TolGV[KQEVBS`toxGZ[NQCv@SaloXGl[FQJvACbDohGt[HQKxGRZ]QGu|Z_QPuvCceQWuzZ^QQw~ROMNwsDb~L@x?BOeOGsLc@LAuPS`}P?qLcPKbxCbHEPOqTcRKcuOJGTb}qFXCk_uCZ@|`@IXWQQduDJAYS~IJdEQgxP{hETPITdRQco[wMkFQ?H?E_Ap}g~[^uNxF~b~WH[DUAf@N_goRXEsk]U`Gxc]QrxFSkuQ@JHc^Qqwpsk]U`EXbHQrWqCkeKhJNbJQqwbSjEG|IrdVPDwbCi}H@IraMQkXWSNuUHBzd\O{xVcNUU@Bvd^O}XVSK}TxBPd_OsxVsLUEpJD`jQoxNs]}S@Fpd@P{w}cgUNpIHbzQ`w{CdMQpF\cgPuwzsd]QhFVcfPuWvsfMM@Htb`Q\xNC[UMPH|c|Ppw~SWMN|EDbBQ@WpC_EKXF|bDQ?woCiEJxI^azQdwnCheStD~a|QfXKSUuQtDjcmPZwmCd}RHDtaxQWXCcUeP@D^cPPWWkS`}PPDdcRPXxTCSuTXDNabQgxScSeTLDJdTPSWUCReHdAr`TPKWdsIuHhAt`VPLxASN}OtC@aBQFW_S`UGPGXaAQDwZcYuE|En`lPhw[CYmFDEh`qPkWXCZmLpBJ`aPnWucK]LlBLbXOowWCbUPTAv`\QKXDcJeDxGrcVOnxKsH}RPA`cwOiXLSIMR\AdcuOhwLsXmLD@xbMO[WrsFMLH@tbOO\wLCG]CP@b`DOXWPcE]BXAP_tObwJSTUApDV_jPSwjcDuIt@`_nPUWHSHMCl@L`MOSWRCC}AhAZ_hOdWEScM@hHD_[QQWEscm@xHLcbOMwCsB}@P@@_TOOwDcCU@`@H_VOPwySAUM`?^bfOGWxcAM?tFTbdOFXQC@]S\?N_GQawASguSh?X_IQcwgc?M?HCza]OAw?sR}?XD@_CPOxUkj]TnIxd[qlX?{_eOVGLcGqBw{TA}``FdgXPxyEc]e`pFlgZPywc[QUHNChaUpIw`TAMGXOdaFSIWaDAmGhOlgRPCyGsM]aPBhgdOyw\dCuF`PP`vSRwN\EiBzAB_~o`IMKGAb]?t?Z_Krnhv{{A]BNBf`XsDGU\HQBfSS`xrtFub|MffPS_YMsvmbpL|f?S]yNSv}[HPxf@S\xitFuY|P~eoS`xjDGUYtQBemS_Xad@EWpONeJSCy@So}WdOTgERCYJd?eadN~giS?YIt?M_LPZgASUX}D@u^\O`frSDx|D@e_|NjgLRzX{dCM^@PDflSMx{TCE]xO~fnSNXxtEm]`PlfhSZxzDFMbhNVfiS[Xvcym\`N@fXRlxtcze\hM~fVRmyGsxMaPMTfJSQxrDCu[xPPfLSRyCSuM`TLfgQRXXldAu`PLhetSHxhTA}``LNeiSMYESsu`hLRgZRSXftD}Y@P`e`SWxgdEUYPPhebSXx~cre^dKrf|RNX}crU^lKzf{RLx]sq]XPJxd}RKXdSnmW@Knd~RJX]comVTKBdxRBX\coUV\KFdwRAXxSlu]DJRdkRrXwclU]PJZfbQtxo{we[VMLfGrbxl{vEZfLtezr]YicpmilK\ikRFxcTT}itKdeOTVXZtUEV@TbiqQwyksmUVPThdrTYtSYiTTBUCiKt`Ib\Wag~UEiMtGipLWYhBTkhUtZiT|VAdbQuiyt\iU\JQjfSQi{tBIn\OyjzSOi~t_ia|WAgjS{i?tNi_\SAgJTAiBtPi`\SQgRRgiosyik\UQfZTghvtXi]\UifbTShmtTiZ|MAirRailsxij|MQizROhys~IYlNYefR}hls}IZLNienSyhftKIWlRIeNSwhesqIe|KihjQ_h[sgiV\IQdzQeh^siiW\IaeBQGhIsaiQ|GqcrQMhLsfiQ\HAczTHidtRYh|TMibSck@tHj?lQqoVSgkBtIj@LQyoY}V^LneZBT[uoxVJkNTqYwt`}otVNkMTsY|TX]nXUXjvTey}DXunhU`jxTfyzt_}n@WPjpUCzAd]UnPWXkJTxyyT_MmhWDjjU@yzd_umtWHjkUAy}tYMo@UljQT~Yst^en|UhjTT}ypTZmkdVDj]TbYvtW}khV@jGToyt|ZArRUrkuTlYvLfAlnXokXuZJELayrRWkkxuLjL\eypjXCkmuPjJ|cyrJXGkouRJK|cirFW_k[uGjF\aQpzWek^uIjG\cApRXPlKUUZJ\dMqlY^lMUTZMdgurlYNk{UcZNThMr|YVk}UdZRDgEsDY\lAUfzOtiMsTY`lLUaZU??ItJYq?AUhzU_?YtQ?AlZUizTo?Ytu?Cl[Uj^