# SageMathCell online https://sagecell.sagemath.org/?q=usnvcg # ''' Main properties of the graph xQ3p | Ord.: 1600 / Size: 12800 / Diam.: 3 / Avg.dist: 2.87467 / 16-reg.? True / Girth: 3 xQ3pp | Ord.: 1610 / Size: 12880 / Diam.: 3 / Avg.dist: 2.87602 / 16-reg.? True / Girth: 3 Symmetry properties of the graph xQ3p | Aut.group.ord.: 1 / Cayley ? False --- vtx.trans. ? False -- edge.trans. ? False xQ3pp | Aut.group.ord.: 1440 / Cayley ? False --- vtx.trans. ? False -- edge.trans. ? False Degree histogram xQ3p: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1600] Degree histogram xQ3pp: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1610] Automorphism group structure C_n is the cyclic group of order n; x means direct product; : means semidirect product. xQ24p: 1 | center order: 1 xQ24pp: C2 x S6 | center order: 2 xQ3p distance distrib from vtx. 0: [1, 16, 172, 1411] xQ3pp distance distrib from vtx. 0: [1, 16, 153, 1440] Number of k-cycles for k=3 up to 5 xQ3p 320 & 56320 & 54521 xQ3pp 620 & 56800 & 56714 ''' import networkx as nx xQ3p =Graph(r":~?X?_?_??@_??@?A_?_?_?_?_??C_?_?_?_??C?G_?_?_?_?_@?D?H?L_@_@_@_@?D?H?L_@?Q_@_@_@?D?H?L_@?Q?U_@_@_@_A?E?I?M_A?R?V?Z_A_A_A?E?I?M_A?R?V?Z_A?__A_A_A?E?I?M_A?R?V?Z_A?_?c_A_B?G_B?F?J?N_B?S?W?[_B?`?d?i_B_B?F?J?N_B?S?W?[_B?`?d?i_B?n_B?F?J?N_B?S?W?[_B?`?d?i_B?e?n?r_C?D?E?F_w_w_w_w_w_w_w_w_w_w_w_w_C?D?E?F`D`D`D`D`D`D`D_e@D`D`D`D`D_C?D?E?F`Q`Q`Q`Q`Q`Q`Q`Q`Q`Q`Q`Q_G?H?I?J`^`^`^_e@^`^`^`^`^`^`^`^`^_K?L?M?N`k`k`k`k`k`k`k_e@k`k`k`k`k_K?L?M?N`x`x`x`x`x`x`x`x`x`x`x`x_G?H?I?J_jAEaEaEaE_jAEaEaEaE_jAEaEaEaE_K?L?M?NaRaRaRaRaRaRaRaRaRaRaRaR_G?H?I?Ja_a_a_a_a_a_a_a_a_a_a_a__P?Q?R?S?x?y?z?{ASATAUAVA`AaAbAc_P?Q?R?S@E@F@G@H@c@d@e@f@}@~A?A@_P?Q?R?S@R@S@T@U@p@q@r@sAJAKALAM_X?Y?Z?[@@@A@B@C@g@h@i@j@t@u@v@w_T?U?V?W?|?}?~@?AAABACADANAOAPAQ_T?U?V?W@V@W@X@Y@_@`@a@bAWAXAYAZ_X?Y?Z?[@Z@[@\@]@y@z@{@|AhAiAjAk_X?Y?Z?[@I@J@K@LAFAGAHAIA[A\A]A^_T?U?V?W@M@N@O@P@l@m@n@oAdAeAfAg_]?^?_?`?x?y?z?{@_@`@a@b@y@z@{@|_k?l?m?n?x?y?z?{@l@m@n@oAFAGAHAI_k?l?m?n@R@S@T@U@g@h@i@jAAABACAD_]?^?_?`@E@F@G@H@t@u@v@wANAOAPAQ_]?^?_?`@R@S@T@UA[A\A]A^AdAeAfAg_k?l?m?n@E@F@G@HAWAXAYAZAhAiAjAk_o?p?q?r?|?}?~@?@c@d@e@fA[A\A]A^_a?b?c?d@@@A@B@CAJAKALAMAWAXAYAZ_s?t?u?v@@@A@B@C@}@~A?A@AdAeAfAg_f?g?h?i?|?}?~@?@p@q@r@sAhAiAjAk_s?t?u?v@I@J@K@L@_@`@a@b@p@q@r@s_a?b?c?d@Z@[@\@]@c@d@e@f@l@m@n@o_f?g?h?i@V@W@X@Y@}@~A?A@AFAGAHAI_o?p?q?r@M@N@O@P@y@z@{@|AJAKALAM_f?g?h?i@M@N@O@P@g@h@i@jASATAUAV_a?b?c?d@I@J@K@LAAABACADA`AaAbAc_s?t?u?v@Z@[@\@]ANAOAPAQASATAUAV_o?p?q?r@V@W@X@Y@t@u@v@wA`AaAbAc_C?x?|@@_C@E@I@MBG_C@R@V@ZBGBH_C?x?|@@_C@E@I@M_C@R@V@Z_C?x?|@@_C@E@I@M_C@R@V@Z_C_D?y?}@A_D@F@J@N_D@S@W@[_D?y?}@A_D@F@J@N_D@S@W@[_D?y?}@A_D@F@J@N_D@S@W@[_E?z?~@B_E@G@K@O_E@T@X@\_E?z?~@B_E@G@K@O_E@T@X@\_E?z?~@B_E?\@G@K@O_E@T@X@\_F?{@?@C_F@H@L@P_F@U@Y@]_F?{@?@C_F@H@L@P_F@U@Y@]_F?{@?@C_F@H@L@P_F@U@Y@]bGbGbGbGBlbGbGbGBlBobGbGbGbHBmBpBsbHbHbHBmBpBsbHBwbHbHBmBpBs_\BHBwBzbHbHbIBnBqBtbIBxB{B~_GBIbIBnBqBtbIBxB{B~bICBbIBnBqBtbIBxB{B~bICBCEbI_G@_@c@gBJBKBLcJcJcJcJcJcJcJ_\CJcJ_K@l@p@tBMBNBOcTcTcTcTcTcTcTcTcT_K@y@}AABMBNBOc^c^c^c^c^c^c^c^c^_GAFAJANBJBKBLchchchchchchchchch_KASAWA[BMBNBOcr_\Crcrcrcrcrcrcrcr_GA`AdAhBJBKBLc|c|c|c|c|c|c|c|c|_P?xASA`BQBRBSBlBmBnCsCtCuC}C~D?_P@E@c@}BQBRBSBvBwBxCNCOCPCbCcCd_P@R@pAJBQBRBSC@CACBCXCYCZClCmCn_X@@@g@tBWBXBYBrBsBtCQCRCSC[C\C]_T?|AAANBTBUBVBoBpBqCeCfCgCoCpCq_T@V@_AWBTBUBVCCCDCECKCLCMCvCwCx_X@Z@yAhBWBXBYCFCGCHC_C`CaDCDDDE_X@IAFA[BWBXBYByBzB{CiCjCkCyCzC{_T@M@lAdBTBUBVB|B}B~CUCVCWD@DADB_]?x@_@yBZB[B\BlBmBnCKCLCMC_C`Ca_k?x@lAFBcBdBeBlBmBnCUCVCWCiCjCk_k@R@gAABcBdBeC@CACBCQCRCSCeCfCg_]@E@tANBZB[B\BvBwBxC[C\C]CoCpCq_]@RA[AdBZB[B\C@CACBCyCzC{D@DADB_k@EAWAhBcBdBeBvBwBxCvCwCxDCDDDE_o?|@cA[BfBgBhBoBpBqCNCOCPCyCzC{_a@@AJAWB]B^B_BrBsBtClCmCnCvCwCx_s@@@}AdBiBjBkBrBsBtCbCcCdD@DADB_f?|@pAhB`BaBbBoBpBqCXCYCZDCDDDE_s@I@_@pBiBjBkByBzB{CKCLCMCXCYCZ_a@Z@c@lB]B^B_CFCGCHCNCOCPCUCVCW_f@V@}AFB`BaBbCCCDCECbCcCdCiCjCk_o@M@yAJBfBgBhB|B}B~C_C`CaClCmCn_f@M@gASB`BaBbB|B}B~CQCRCSCsCtCu_a@IAAA`B]B^B_ByBzB{CeCfCgC}C~D?_s@ZANASBiBjBkCFCGCHCoCpCqCsCtCu_o@V@tA`BfBgBhCCCDCEC[C\C]C}C~D?_G?j@_@c@g_G?jA`AdAhDa_G@_@c@g_GAFAJAN_GA`AdAh_H@`@d@h_HAGAKAO_HAaAeAi_H@`@d@h_HAGAKAO_HAaAeAi_H@`@d@h_HAGAKAO_HAaAeAi_I@a@e@i_IAHALAP_IAbAfAj_I@a@e@iC?_IAHALAP_IAbAfAj_I@a@e@i_IAHALAP_IAbAfAj_J@b@f@j_JAIAMAQ_JAcAgAk_J@b@f@j_JAIAMAQ_JAcAgAk_J@b@f@j_JAIAMAQ_JAcAgAkbJCKCNCQbJCiClCobJC}D@DCbJCKCNCQbJCiClCobJC}D@DCbJCKCNCQbJCiClCobJC}D@DCbKCLCOCRbKCjCmCpbKC~DADDbKCLCOCRbKCjCmCpbKC~DADDbKCLCOCRbKCjCmCpbKC~DADDbLCMCPCSbLCkCnCqbLD?DBDEbLCMCPCSbLCkCnCqbLD?DBDEbLC?CMCPCSbLCkCnCqbLD?DBDEcHDadadabhCEC]D?Dac?DaE\dadadaE\E`dada_K@l@p@tDcDdDec?Efefefefefefefefef_K@y@}AADcDdDeepepepepepepepepep_jE]EaEd_j_j_jE]EaEd_jE{_j_jE]EaEd_jE{E~_j_KASAWA[DcDdDefCfCfCfCfCfCfCfCfCdbE^EbEedbE|F?FBdbdbE^EbEedbE|F?FBdbFOdbE^EbEedbE|F?FBdbFOFRdb_P?xASA`DfDgDhEAEBECFDFEFFFMFNFO_P@E@c@}DfDgDhEJEKELE`EaEbEtEuEv_P@R@pAJDfDgDhESETEUEjEkElE}E~F?_X@@@g@tDlDmDnEGEHEIEcEdEeEmEnEo_T?|AAANDiDjDkEDEEEFEwExEyF@FAFB_T@V@_AWDiDjDkEVEWEXE\E]E^FGFHFI_X@Z@yAhDlDmDnEYEZE[EqErEsFSFTFU_X@IAFA[DlDmDnEMENEOEzE{E|FJFKFL_T@M@lAdDiDjDkEPEQEREgEhEiFPFQFR_]?x@_@yDoDpDqEAEBECE\E]E^EqErEs_k?x@lAFDxDyDzEAEBECEgEhEiEzE{E|_k@R@gAADxDyDzESETEUEcEdEeEwExEy_]@E@tANDoDpDqEJEKELEmEnEoF@FAFB_]@RA[AdDoDpDqESETEUFJFKFLFPFQFR_k@EAWAhDxDyDzEJEKELFGFHFIFSFTFU_o?|@cA[D{D|D}EDEEEFE`EaEbFJFKFL_a@@AJAWDrDsDtEGEHEIE}E~F?FGFHFI_s@@@}AdD~E?E@EGEHEIEtEuEvFPFQFR_f?|@pAhDuDvDwEDEEEFEjEkElFSFTFU_s@I@_@pD~E?E@EMENEOE\E]E^EjEkEl_a@Z@c@lDrDsDtEYEZE[E`EaEbEgEhEi_f@V@}AFDuDvDwEVEWEXEtEuEvEzE{E|_o@M@yAJD{D|D}EPEQEREqErEsE}E~F?_f@M@gASDuDvDwEPEQEREcEdEeFDFEFF_a@IAAA`DrDsDtEMENEOEwExEyFMFNFO_s@ZANASD~E?E@EYEZE[F@FAFBFDFEFF_o@V@tA`D{D|D}EVEWEXEmEnEoFMFNFO_K@l@p@tBP_K@y@}AABlFr_KASAWA[FrFs_KB^BzCICfC~_L@m@q@u_L@z@~AB_LATAXA\_L@m@q@u_L@z@~AB_LATAXA\_L@m@q@uFV_L@z@~ABBu_LATAXA\_M@n@r@v_M@{A?AC_MAUAYA]_M@n@r@v_M@{A?ACCI_M?OAUAYA]_M@n@r@v_M@{A?AC_MAUAYA]_N@o@s@w_N@|A@AD_NAVAZA^_N@o@s@w_N@|A@AD_NAVAZA^_N@o@s@w_N@|A@AD_NAVAZA^bMCUCXC[bMC_CbCebMCsCvCybMCUCXC[bMC_CbCebMCsCvCybMCUCXC[FVbMC_CbCe_OBMCsCvCybNCVCYC\bNC`CcCfbNCtCwCzbNCVCYC\bNCIC`CcCfbNCtCwCzbNCVCYC\bNC`CcCfbNCtCwCzbOCWCZC]bOCaCdCgbOCuCxC{bOCWCZC]bOCaCdCgbOCuCxC{bOCWCZC]bOBuCaCdCgbOCuCxC{dcEgEjEmdcEqEtEwdcFDFGFJdcEgEjEmdcEqEtEwdcFDFGFJdcEgEjEmFVdcEqEtEwdcFDFGFJfrfrbeCBCSCgFrbPFrfrfrbPBoFVFrGxfrfrfsGuGyG|buFsfsfsGuGyG|e{FsH?fsfsGuGyG|cIFsH?HBfsddEhEkEnddErEuExddFEFHFKddEhEkEnddErEuEx_ODdFEFHFKddEhEkEnddErEuExddFEFHFK__@G@vAPFtftGvGzG}ftH@HCHFftftGvGzG}ftH@HCHF_OFtHSftGvGzG}ftH@HCHFftHSHVdeEiElEocIDeEsEvEydeFFFIFLdeEiElEodeEsEvEydeFFFIFLdeEiElEobuDeEsEvEydeFFFIFL_P?xASA`FvFwFxGQGRGSHQHRHSHZH[H\_P@E@c@}FvFwFxGZG[G\GoGpGqHAHBHC_P@R@pAJFvFwFxGcGdGeGxGyGzHJHKHL_X@@@g@tF|F}F~GWGXGYGrGsGtG{G|G}_T?|AAANFyFzF{GTGUGVHDHEHFHMHNHO_T@V@_AWFyFzF{GfGgGhGlGmGnHTHUHV_X@Z@yAhF|F}F~GiGjGkG~H?H@H`HaHb_X@IAFA[F|F}F~G]G^G_HGHHHIHWHXHY_T@M@lAdBPFyFzF{G`GaGbGuGvH]H^H__]?x@_@yG?G@GAGQGRGSGlGmGnG~H?H@_k?x@lAFBPGHGIGJGQGRGSGuGvHGHHHI_k@R@gAAGHGIGJGcGdGeGrGsGtHDHEHF_]@E@tANG?G@GAGZG[G\G{G|G}HMHNHO_]@RA[AdG?G@GAGcGdGeHWHXHYH]H^H__k@EAWAhGHGIGJGZG[G\HTHUHVH`HaHb_o?|@cA[GKGLGMGTGUGVGoGpGqHWHXHY_a@@AJAWGBGCGDGWGXGYHJHKHLHTHUHV_s@@@}AdGNGOGPGWGXGYHAHBHCH]H^H__f?|@pAhGEGFGGGTGUGVGxGyGzH`HaHb_s@I@_@pGNGOGPG]G^G_GlGmGnGxGyGz_a@Z@c@lBPGBGCGDGiGjGkGoGpGqGuGv_f@V@}AFGEGFGGGfGgGhHAHBHCHGHHHI_o@M@yAJGKGLGMG`GaGbG~H?H@HJHKHL_f@M@gASGEGFGGG`GaGbGrGsGtHQHRHS_a@IAAA`GBGCGDG]G^G_HDHEHFHZH[H\_s@ZANASGNGOGPGiGjGkHMHNHOHQHRHS_o@V@tA`GKGLGMGfGgGhG{G|G}HZH[H\_Q?yATAaEc_Q@F@d@~H~_Q@S@qAKH~I?_Q?yATAa_Q@F@d@~_Q@S@qAK_Q?yATAa_Q@F@d@~_Q@S@qAK_Q?_?z@a@{HP_R?zAUAb_R@G@eA?_R@T@rAL_R?zAUAb_R@G@eA?C?_R@T@rAL_R?zAUAb_R@G@eA?_R@T@rAL_S?{AVAc_S@H@fA@_S@U@sAMGw_S?{AVAc_S@H@fA@_S@U@sAM_S?{AVAc_S@H@fA@_S@U@sAMbQBlCsC}H~bQBvCNCbH~bQC@CXClH~bQBlCsC}bQBvCNCbbQC@CXClbQBlCsC}bQBvCNCbbQC@CXClbRBmCtC~I?I[bRBwCOCcI?bRCACYCmI?bRBmCtC~bRBwCOCcbRCACYCmbRBmCtC~bRBwCOCcbRCACYCmbSBnCuD?I@I\bSBxCPCdI@IebSCBCZCnGwI@bSBnCuD?bSBxCPCdbSCBCZCnbSBnCuD?bSBxC?CPCdbSCBCZCndfEAFDFMdfEJE`EtdfESEjE}dfEAFDFMI?I[c?DfEJE`EtI?IddfESEjE}I?ImdfEAFDFMdfEJE`EtdfESEjE}GwfvGQHQHZc?FvGZGoHAfvGcGxHJfvGQHQHZI@I\fvGZGoHAI@IeIzfRFvGcGxHJI@InfvGQHQHZfvGZGoHAfvGcGxHJfwGRHRH[fwG[GpHBfwGdGyHKfwGRHRH[I?I[fwG[GpHBI?IdIyfwGdGyHKI?ImJBfwGRHRH[fwG[GpHBfwGdGwGyHKdgEBFEFNdgEKEaEudgETEkE~dgEBFEFNI@I\dgEKEaEuI@IeIzJLdgETEkE~I@InJCdgEBFEFNdgEKEaEudgETEkE~fxGSHSH\H~IZIyfxG\GqHCH~IcIxJJfxGeGzHLH~IlJAJSfxGSHSH\fxG\GqHCfxGeGzHLfxGSHSH\fxG\GqHCfxGeGzHLdhECFFFOH~IZJYdhELEbEvH~IcIxJJdhEUElF?H~IlJAJSdhECFFFOdhELEbEvdhEUElF?dhECFFFOdhELEbEvdhEUElF?cIFzGUHEHNI?_OGJG\HVHbI@_Y@A@h@uIDIEIFI`IaIbI{I|I}JDJEJF_U?}ABAOIAIBICI]I^I_JMJNJOJVJWJX_U@W@`AXIAIBICIoIpIqIuIvIwJ\J]J^_Y@[@zAiIDIEIFIrIsItJGJHJIJhJiJj_Y@JAGA\IDIEIFIfIgIhJPJQJRJ_J`Ja_U@N@mAeIAIBICIiIjIkI~J?J@JeJfJg_^?y@`@zIHIIIJIZI[I\IuIvIwJGJHJI_l?y@mAGIQIRISIZI[I\I~J?J@JPJQJR_l@S@hABIQIRISIlImInI{I|I}JMJNJO_^@F@uAOIHIIIJIcIdIeJDJEJFJVJWJX_^@SA\AeIHIIIJIlImInJ_J`JaJeJfJg_l@FAXAiIQIRISIcIdIeJ\J]J^JhJiJj_p?}@dA\ITIUIVI]I^I_IxIyIzJ_J`Ja_b@AAKAXIKILIMI`IaIbJSJTJUJ\J]J^_t@A@~AeIWIXIYI`IaIbJJJKJLJeJfJg_g?}@qAiINIOIPI]I^I_JAJBJCJhJiJj_t@J@`@qIWIXIYIfIgIhIuIvIwJAJBJC_b@[@d@mIKILIMIrIsItIxIyIzI~J?J@_g@W@~AGINIOIPIoIpIqJJJKJLJPJQJR_p@N@zAKITIUIVIiIjIkJGJHJIJSJTJU_g@N@hATINIOIPIiIjIkI{I|I}JYJZJ[_b@JABAaIKILIMIfIgIhJMJNJOJbJcJd_t@[AOATIWIXIYIrIsItJVJWJXJYJZJ[_p@W@uAaITIUIVIoIpIqJDJEJFJbJcJd_U?}ABAOJbJk_U@W@`AXB}KE_U@N@mAeBrKEKF_U?}ABAO_U@W@`AX_U@N@mAe_UDyEBEhE{_V?~ACAP_V@X@aAY_V@O@nAf_V?~ACAPCI_O?V@X@aAY_V@O@nAf_V?~ACAP_V@X@aAY_V?\@O@nAf_W@?ADAQ_W@Y@bAZJl_W@P@oAg_W@?ADAQ_W@Y@bAZE__W@P@oAg_W@?ADAQ_W@Y@bAZ_W@P@oAgbTBoCeCoIAI]JMJVbTCCCKCvIAIoIuJ\bTB|CUD@IAIiI~JebTBoCeCoE~JkKEbTCCCKCvKEbTB|CUD@KEbTBoCeCo_OBTCCCKCvbTB|CUD@bUBpCfCpIBI^JNJWbUCDCLCwIBIpIvJ]JlbUB}CVDAIBIjJ?JfbUBpCICfCpbUCDCLCwbUB}CVDAbUBpCfCpKGKcbUCDCLCwKG_\BUB}CECVDAKGbVBqCgCqICI_JOJXbVCECMCxICIqIwJ^bVB~CWDBICIkJ@JgbVBqCgCqKFKbbVCECMCxE_KFbVB~CWDBKFKnbVBqCgCqbVCECMCxbVB~CWDBdiEDEwF@KFKbdiEVE\FGKFKtdiEPEgFPKFKndiEDEwF@IBI^JNJWdiEVE\FGIBIpIvJ]diEPEgFPIBIjJ?JfdiEDEwF@diEVE\FG_\DiEPEgFPfyGTHDHMKGKcfyGfGlHTKGKuK{bPFyG`H]KGKofyGTHDHMICI_JOJXfyGfGlHTICIqIwJ^bPFyG`H]ICIkJ@JgfyGTHDHMe_FyGfGlHTbPFyG`H]fzGUHEHNfzGgGmHUfzGaGuH^fzGUHEHNIBI^JNJWfzGgGmHUIBIpIvJ]fzGaGuH^IBIjJ?JffzGgGmHUKEKsKyfzGaGuH^KEKmLBdjEEExFAdjEWE]FHdjEQEhFQdjEEExFAICI_JOJX_ODjEWE]FHICIqIwJ^djEQEhFQICIkJ@JgdjEEExFAFUJkKEKadjEWE]FHKEKsKydjEQEhFQKEKmLBf{GVHFHOIAI]JMJVf{GhGnHVIAIoIuJ\_\F{GbGvH_IAIiI~Jef{GVHFHOKFKbLQLZ_O?hF{GhGnHVJlKFKtKzf{GbGvH_KFKnLCf{GVHFHOf{GhGnHVf{GbGvH_cIDkEFEyFBIAI]JMJVdkEXE^E_FIIAIoIuJ\dkEREiFRIAIiI~JedkEFEyFBKGKcLRL[dkEXE^FIKGKuK{LabwDkEREiFRKGKoLDdkEFEyFBdkEXE^FIJldkEREiFR_Y@A@h@uKHKIKJKdKeKfL?L@LALHLILJ_Y@[@zAiKHKIKJKvKwKxLKLLLMLkLlLm_Y@JAGA\KHKIKJKjKkKlLSLTLULbLcLd_^?y@`@zKLKMKNK^K_K`KyKzK{LKLLLM_l?y@mAGKUKVKWK^K_K`LBLCLDLSLTLU_l@S@hABJkKUKVKWKpKqKrL?L@LALQLR_^@F@uAOKLKMKNKgKhKiLHLILJLYLZL[_^@SA\AeKLKMKNKpKqKrLbLcLdLhLiLj_l@FAXAiKUKVKWKgKhKiL_L`LaLkLlLm_p?}@dA\KXKYKZKaKbKcK|K}K~LbLcLd_b@AAKAXKOKPKQKdKeKfLVLWLXL_L`La_t@A@~AeK[K\K]KdKeKfLNLOLPLhLiLj_g?}@qAiKRKSKTKaKbKcLELFLGLkLlLm_t@J@`@qK[K\K]KjKkKlKyKzK{LELFLG_b@[@d@mKOKPKQKvKwKxK|K}K~LBLCLD_g@W@~AGKRKSKTKsKtKuLNLOLPLSLTLU_p@N@zAKKXKYKZKmKnKoLKLLLMLVLWLX_g@N@hATKRKSKTKmKnKoL?L@LAL\L]L^_b@JABAaJkKOKPKQKjKkKlLQLRLeLfLg_t@[AOATK[K\K]KvKwKxLYLZL[L\L]L^_p@W@uAaKXKYKZKsKtKuLHLILJLeLfLg_Y@A@h@uFVJU_Y@[@zAiBuMC_Y?n@JAGA\MCMD_YGOGXHBH^IXIaJKJf_Z@B@i@v_Z@\@{Aj_Z@KAHA]_Z@B@i@v_Z@\@{Aj_Z@KAHA]Fu_Z@B@i@v_Z@\@{Aj_Z@KAHA]_[@C@j@w_[@]@|Ak_[@LAIA^KK_[@C@j@w_[@]@|Ak_[@LAIA^_[@C@j@w_[@]@|Ak_[@LAIA^bWBrCQC[IDI`I{JDbWCFC_DCIDIrJGJhbWByCiCyIDIfJPJ_KKbWBrCQC[KHKdL?LHbWCFC_DCKHKvLKLkbWByCiCyKHKjLSLbbWBrCQC[FVMCbWCFC_DCMCbWByCiCyMCbXBsCRC\IEIaI|JEbXCGC`DDIEIsJHJibXBzCjCzIEIgJQJ`bXBsCRC\MEMabXCGC`DDMEbXBzCjCzFuMEbXBsCRC\KJKfLALJbXCGC`DDKJKxLMLmbXBzCjCzKJKlLULdbYBtCSC]IFIbI}JFbYCHCaDEIFItJIJjbYB{CkC{IFIhJRJabYBtCSC]KIKeL@LIbYCHCaDEKIKwLLLlbYB{CkC{KIKkLTLcbYBtCSC]MDM`bYBuCHCaDEMDbYB{CkC{MDMfdlEGEcEmKIKeL@LIdlEYEqFSKIKwLLLldlEMEzFJKIKkLTLcdlEGEcEmIEIaI|JEdlEYEqFSIEIsJHJidlEMEzFJIEIgJQJ`dlEGEcEmFVMCM_dlEYEqFSMCMqdlEMEzFJMCMef|GWGrG{KJKfLALJf|GiG~H`KJKxLMLmf|G]HGHWKJKKKlLULdf|GWGrG{IFIbI}JFf|GiG~H`IFItJIJjf|G]HGHWIFIhJRJaf|GiG~H`MCMqf|G]HGHWMCMef}GXGsG|MDM`M{NCf}G^HHHXMDMff}GXGsG|IEIaI|JEf}GjH?HaIEIsJHJif}G^HHHXIEIgJQJ`f}GXGsG|KHKdL?LHf}GjH?HaKHKvLKLkfuF}G^HHHXKHKjLSLbdmEHEdEnMEMaM|NDdmEZErFTMEMsNFdmENE{FKKKMEMgdmEHEdEnIFIbI}JFdmEZErFTIFItJIJjdmENE{FKIFIhJRJadmEHEdEnKHKdL?LHdmEZErFTKHKvLKLkdmENE{FKKHKjLSLbf~GYGtG}IDI`I{JDf~GkH@HbIDIrJGJhf~G_HIHYIDIfJPJ_f~GYGtG}KIKeL@LIf~GkH@HbKIKwLLLlf~G_HIHYKIKkLTLcf~GYGtG}MEMaM|NDf~GkH@HbMEMsNFf~G_HIHYMEMgNOdnEIEeEoIDI`I{JDdnE[EsFUIDIrJGJhdnEOE|FLFuIDIfJPJ_dnEIEeEoKJKfLALJdnE[EsFUKJKxLMLmdnEOE|FLKJKlLULddnEIEeEoMDM`M{NCbuDnE[EsFUMDMrdnEOE|FLMDMfNNN]__@TA]AfHPIGMD_^?y@`@zBuMGMHMIMYMZM[MtMuMvNENF_l?y@mAGMPMQMRMYMZM[M}M~N?NMNNNO_l@S@hABMPMQMRMkMlMmMzM{M|NJNKNL_^@F@uAOFVMGMHMIMbMcMdNCNDNSNTNU_^@SA\AeMGMHMIMkMlMmN\N]N^NbNcNd_l@FAXAiMPMQMRMbMcMdNYNZN[NeNfNg_p?}@dA\MSMTMUM\M]M^MwMxMyN\N]N^_b@AAKAXMJMKMLM_M`MaNPNQNRNYNZN[_t@A@~AeMVMWMXM_M`MaNGNHNINbNcNd_g?}@qAiMMMNMOM\M]M^N@NANBNeNfNg_t@J@`@qMVMWMXMeMfMgMtMuMvN@NANB_b@[@d@mMJMKMLMqMrMsMwMxMyM}M~N?_g@W@~AGMMMNMOMnMoMpNGNHNINMNNNO_p@N@zAKBuMSMTMUMhMiMjNENFNPNQNR_g@N@hATMMMNMOMhMiMjMzM{M|NVNWNX_b@JABAaMJMKMLMeMfMgNJNKNLN_N`Na_t@[AOATMVMWMXMqMrMsNSNTNUNVNWNX_p@W@uAaFVMSMTMUMnMoMpNCNDN_N`Na_m?z@nAH_m@T@iAC_m@GAYAj_m?z@nAH_m@T@iACCI_O?m@GAYAj_m?z@nAH_m@T@iAC_m@GAYAj_n?{@oAIKK_n@U@jADGwOD_n@HAZAkJlODOE_n?{@oAI_n@U@jAD_n@HAZAk_n?{@oAI_n@U@jAD_n@HAZAkbcBlCUCiIQIZI~JPKKODbcC@CQCeIQIlI{JMODbcBvCvDCIQIcJ\JhODbcBlCUCiKUK^LBLSbcC@CQCeJkKUKpL?bcBvCvDCKUKgL_LkbcBlCUCiMPMYM}NMbcC@CQCeMPMkMzNJ_OBcBvCvDCMPMbNYNebdBmCVCjIRI[J?JQOFOObdCACRCfIRImI|JNOFbdBwCwDDIRIdJ]JiJlKzOFbdBmCVCjMRM[N?NObdCACICRCfMRMmM|NLbdBwCwDDMRMdN[NgbdBmCVCjKWK`LDLUbdCACRCfKWKrLALRbdBwCwDDKWKiLaLmbeBnCWCkISI\J@JROEONbeBxCxDEISIeJ^JjOEOWbeBnCWCkKVK_LCLTbeCBCSCgKVKqL@LQbeBxCxDEKVKhL`LlbeBnCWCkMQMZM~NNbeCBCSCgMQMlM{NKbeBxCxDEMQMcNZNfdxEAEgEzKVK_LCLTdxESEcEwKVKqL@LQdxEJFGFSKVKhL`LldxEAEgEzIRI[J?JQdxESEcEwIRImI|JNdxEJFGFSIRIdJ]JidxEAEgEzMPMYM}NMOEONdxESEcEwGwMPMkMzNJOEdxEJFGFSMPMbNYNeOEOW_cBPGHGQHGKKKWK`LDLUODOMgHGcGrHDKWKrLALRODO_OmgHGZHTH`KWKiLaLmODOVbPGHGQHGISI\J@JRgHGcGrHDISInI}JOgHGZHTH`ISIeJ^JjbPGHGQHGMPMYM}NMgHGcGrHDMPMkMzNJgHGZHTH`MPMbNYNegIGRGuHHMQMZM~NNgIGdGsHEMQMlM{NKgIG[HUHaMQMcNZNfgIGRGuHHIRI[J?JQgIGdGsHEIRImI|JNgIG[HUHaIRIdJ]JigIGRGuHHKUK^LBLSOEONOqcIGIGdGsGwHEJkKUKpL?MgOEOngIG[HUHaKUKgL_LkOEOWdyETEdExMRMmM|NLODO_OmP?dyEKFHFTMRMdN[NgODOVdyEBEhE{ISI\J@JRdyETEdExISInI}JO_ODyEKFHFTISIeJ^JjdyEBEhE{KUK^LBLSdyETEdExJkKUKpL?dyEKFHFTKUKgL_LkgJGSGvHIIQIZI~JPgJGeGtHFIQIlI{JMgJG\HVHbIQIcJ\JhgJGSGvHIKVK_LCLTOFOOOrPCgJGeGtHFKVKqL@LQOFO`OoPAgJGSGvHIMRM[N?NOgJGeGtHFMRMmM|NLgJG\HVHbMRMdN[NgdzECEiE|IQIZI~JPcIDzEUEeEyIQIlI{JMdzELFIFUIQIcJ\JhdzECEiE|KWK`LDLUdzEUEeEyKWKrLALRdzELFIFUKWKiLaLmdzECEiE|MQMZM~NNOFOOOrPCdzEUEeEyMQMlM{NKOFO`OoPAdzELFIFUJlMQMcMzNZNfOFOX_`?{@b@|N{N|N}OMONOOOgOhOiOyOzO{_r@?@fA^OD_c@KACAbCIFuOE_`@H@wAQN{N|N}OVOWOXOvOwOxPGPHPI_`@UA^AgGwN{N|N}O_O`POPPPQPUPVPWbuG@GRGmH?IGMHMZMuOF_r@?@fA^OGOHOIOPOQOROjOkOlPOPPPQ_d@CAMAZJlN~O?O@OSOTOUPDPEPFPMPN_v@CA@AgOJOKOLOSOTOUO|O}O~PUPVPW_i@?@sAkOAOBOCOPOQOROsOtOuPXPYPZ_v@L@b@sOJOKOLOYOZO[OgOhOiOsOtOu_d@]@f@oN~O?O@OdOeOfOjOkOlOpOqOr_i@YA@AIKKOAOBOCOaObOcO|O}O~PBPC_r@P@|AMOGOHOIO\O]O^OyOzO{PDPEPF_i@P@jAVOAOBOCO\O]O^OmOnOoPJPKPL_d@LADAcN~O?O@OYOZO[P?P@PAPRPSPT_v@]AQAVOJOKOLOdOeOfPGPHPIPJPKPL_r@Y@wAcOGOHOIOaObOcOvOwOxPRPSPT__?z@a@{__@G@vAP__@TA]Af__?z@a@{__@G@vAP__@TA]Af__BfBoCNCyKXKaK|LbP\_`?{@b@|_`@H@wAQ_`@UA^Ag_`?{@b@|_`@H@wAQ_`@UA^AgbZBlCKC_IGIHIZIuJGN{OMOgOnOyP`bZBvC[CoIGIHIcJDJVN{OVOvPGbZC@CyD@IGIHIlJ_JeN{O_POPUbZBlCKC_KLK^KyLKbZBvC[CoKLKgLHLYbZC@CyD@KLKpLbLhbZBlCKC_MGMYMtNEbZBvC[CoFVMGMbNSbZC@CyD@MGMkN\Nbb[BmCLC`HPIII[IvJHN}OOOiO{P{b[BwC\CpHPIIIdJEJWN}OXOxPIb[CACzDAHPIIImJ`JfN}O`PQPWb[BmCLC`MIM[MvNFb[BwC\CpMIMdNDNUb[CACzDAMIMmN^Ndb[BmCLC`KNK`K{LMb[BwC\CpKNKiLJL[b[CACzDAKNKrLdLjb\BnCMCaIJI\IwJINhN|ONOhOzP|b\BxC]CqIJIeJFJXNhN|OWOwPHQEb\CBC{DBGwIJIdInJaJgNhN|PPPVb\BnCMCaKMK_KzLLb\BxC]CqKMKhLILZb\CBC{DBKMKqLcLib\BnBuCMCaMHMZMub\BxC]CqMHMcNCNTb\CBC{DBMHMlN]NcdoEAE\EqIGKMK_KzLLP`PzdoEJEmF@IGKMKhLILZQCdoESFJFPIGKMKqLcLiQLdoEAE\EqIII[IvJHdoEJEmF@IIIdJEJWdoESFJFPIIImJ`JfdoEAE\EqMGMYMtNEN|ONOhOzdoEJEmF@FVMGMbNSN|OWOwPHdoESFJFPGwMGMkN\NbN|PPPVg?GQGlG~KNK`K{LMN{OMOgOyg?GZG{HMKNKiLJL[N{OVOvPGg?GcHWH]KNKrLdLjN{O_POPUg?GQGlG~IJI\IwJIg?GZG{HMIJIeJFJXg?GcHWH]IJInJaJgg?GQGlG~HPMGMYMtNEP{QVfVG?GZG{HMHPMGMbNSQDg?GcHPHWH]MGMkN\NbQMg@G[G|HNIGMHMcNCNTQCQdg@GdHXH^IGMHMlN]NcQLg@GRGmH?III[IvJHg@G[G|HNIIIdJEJWg@GdHXH^IIImJ`Jfg@GRGmH?KLK^KyLKN|ONOhOzg@G[G|HNKLKgLHLYN|OWOwPHg@GdGwHXH^KLKpLbLhN|PPPVdpEBE]ErMIM[MvNFN{OMOgOydpEKEnFAMIMdNDNUN{OVOvPGdpETFKFQMIMmN^NdN{O_POPUdpEBE]ErIJI\IwJIdpEKEnFAIJIeJFJXdpETFKFQIJInJaJgdpEBE]ErHPKLK^KyLKP{QVQgdpEKEnFAHPKLKgLHLYQDQedpETFKFQHPKLKpLbLhQMgAGSGnH@IHIZIuJGgAG\G}HOIHIcJDJVgAGeHYH_IHIlJ_JegAGSGnH@KMK_KzLLN}OOOiO{gAG\G}HOKMKhLILZN}OXOxPIgAGeHYH_KMKqLcLiN}O`PQPWgAGSGnH@MIM[MvNFNhP|QWQhgAG\G}HOMIMdNDNUNhQEQfQwgAGeHYH_MIMmN^NdNhQNdqECE^EsIHIZIuJGdqELEoFBIHIcJDJVdqEUFLFRIHIlJ_JedqECE^EsKNK`K{LMNhP|QWQhdqELEoFBKNKiLJL[NhQEQfQwdqEUFLFRKNKrLdLjNhQNQeR@buDqECE^EsMHMZMuN}OOOiO{dqELEoFBMHMcNCNTN}OXOxPIdqEUFLFRMHMlN]NcN}O`PQPW_q?~@eA]PtPuPvP}P~Q?QXQYQZQ~R?R@_c@BALAYPmPnPoQ@QAQBQrQsQtQ{Q|Q}_u@BA?AfPwPxPyQ@QAQBQiQjQkRDRERF_h?~@rAjPpPqPrP}P~Q?QaQbQcRGRHRI_u@K@a@rPwPxPyQFQGQHQUQVQWQaQbQc_c@\@e@nPmPnPoQRQSQTQXQYQZQ^Q_Q`_h@XA?AHPpPqPrQOQPQQQiQjQkQoQpQq_q@O@{ALP`PtPuPvQIQJQKQgQhQrQsQt_h@O@iAUPpPqPrQIQJQKQ[Q\Q]QxQyQz_c@KACAbPmPnPoQFQGQHQlQmQnRARBRC_u@\APAUPwPxPyQRQSQTQuQvQwQxQyQz_q@X@vAbPtPuPvQOQPQQQdQeQfRARBRC_q?~@eA]C?_q@O@{AL_q@X@vAb_q?~@eA]_\?q@O@{AL_q@X@vAb_r@P@|AMHEP\_r@Y@wAcE_P\QDR\_r@?@fA^_r@P@|AM_r@Y@wAc_\?rGGGbGtHSINIiI{JYbfBoCNCyITI]IxJ_OGOPOjPOPtP}QXQ~bfB|C_ClITIiJGJSOGO\OyPDP`PtQIQrbfCCC[C}ITIoJDJbOGOaOvPRPtQOQdRAbfB|C_ClKXKmLKLVP\bfCCC[C}KXKsLHLeP\bfBoCNCyMSM\MwN\bfB|C_ClMSMhNENPbfCCC[C}FVMSMnN_bgBpCOCzIUI^IyJ`OIOROlPQPuP~QYR?bgB}C`CmIUIjJHJTOIO^O{PFPuQJQgQsbgCDC\C~IUIpJEJcOIOcOxPTPuQPQeRBbgBpCOCzMUM^MyN^bgB}C`CmMUMjNFNRbgCDC\C~MUMpNDNabgBpCOCzKZKcK~LdR\Re_\BgB}C`CmKZKoLMLXM_R\bgCDC\C~KZKuLJLgR\bhBqCPC{IVI_IzJaOHOQOkPPPvQ?QZR@bhB~CaCnIVIkJIJUOHO]OzPEPvQKQhQtbhCEC]D?IVIqJFJdOHObOwPSPvQQQfRCbhBqCPC{KYKbK}LcR]RfbhB~CaCnKYKnLLLWR]RrbhBqC?CPC{MTM]MxN]bhBuB~CaCnMTMiNQbhCEC]D?MTMoNCN`d{EDE`FJKYKbK}LcPtP}QXQ~d{EPEqE}KYKnLLLWP`PtQIQrd{EVEmFMKYKtLILfPtQOQdRAc?D{EDE`FJIUI^IyJ`P\Psd{EPEqE}IUIjJHJTP\Rpd{EVEmFMIUIpJEJcP\Rvd{EDE`FJMSM\MwN\OHOQOkPP_\D{EPEqE}MSMhNENPOHO]OzPEd{EVEmFMFVMSMnN_OHObOwPSc?GKGTGoHWKZKcK~LdOGOPOjPOgKG`G~HJKZKoLMLXOGO\OyPDgKGfG{HZKZKuLJLgOGOaOvPRgKGTGoHWIVI_IzJagKG`G~HJIVIkJIJUgKGfG{HZIVIqJFJdgKGTGoHWMSM\MwN\PuP~QYR?R]RfS@gKG`G~HJMSMhNENPPuQJQgQsR]Rre_FVGKGfG{HZMSMnN_PuQPQeRBR]gLGUGpHXMTM]MxN]PtP}QXQ~R\ReS?buGLGaH?HKMTMiNQP`PtQIQrR\RqR~gLGgG|H[MTMoNCN`PtQOQdRAR\RwSKgLGUGpHXIUI^IyJ`gLGaH?HKIUIjJHJTgLGgG|H[IUIpJEJcgLGUGpHXKXKaK|LbOHOQOkPPgLGaH?HKKXKmLKLVOHO]OzPEgLGgG|H[KXKsLHLeOHObOwPSd|EEEaFKMUM^MyN^OGOPOjPOd|EQErE~MUMjNFNROGO\OyPDd|EWEnFNMUMpNDNaOGOaOvPRd|EEEaFKIVI_IzJaR\ReS?_vD|EQErE~IVIkJIJUR\RqSNd|EWEnFNIVIqJFJdR\RwSKd|EEEaFKKXKaK|LbPuP~QYR?d|EQErE~KXKmLKLVPuQJQgQsd|EWEnFNKXKsLHLePuQPQeRBgMGVGqHYITI]IxJ__\GMGbH@HLITIiJGJSgMGhG}H\ITIoJDJbgMGVGqHYKYKbK}LcOIOROlPQgMGbH@HLKYKnLLLWOIO^O{PFgMGhG}H\KYKtLILfOIOcOxPTgMGVGqHYJKMUM^MyN^P\PsPvQ?QZR@R~gMGbH@HLMUMjNFNRP\PvQKQhQtRpSMSYgMGhG}H\MUMpNDNaP\PvQQQfRCRvSJd}EFEbFLITI]IxJ_R]RfS@Sgd}EREsF?ITIiJGJSR]RrSOS[d}EXE_EoFOH?ITIoJDJbR]SLd}EFEbFLKZKcK~LdPvQ?QZR@d}EREsF?KZKoLMLXPvQKQhQtd}EXEoFOKZKuLJLgPvQQQfRCd}EFEbFLMTM]MxN]OIOROlPQbuD}EREsF?MTMiNQOIO^O{PFd}EXEoFOMTMoNCN`OIOcOxPT_d@CAMAZRVRWRXRgRhRiSYSZS[SbScSd_v@CA@AgR^R_R`RgRhRiSPSQSRSkSlSm_i@?@sAkPsRYRZR[ReRfSGSHSISnSoSp_v@L@b@sR^R_R`RmRnRoR{R|R}SGSHSI_d@]@f@oRVRWRXRxRyRzR~S?S@SDSESF_i@YA@AIE_RYRZR[RvRwSPSQSRSVSWSX_i@P@jAVRYRZR[RpRqRrSASBSCS_S`Sa_d@LADAcRVRWRXRmRnRoSSSTSUShSiSj_v@]AQAVR^R_R`RxRyRzS\S]S^S_S`Sa_O?c@BALAYHYP]_c@\@e@nC?P]QvSz_c@BALAY_c@\@e@n_c@KACAb_d@CAMAZ_d@]@f@o_d@LADAcb]BrClCvIKI`JSJ\N~OSPDPMPmQ@QrQ{b]CFCNCUIKIrIxI~N~OdOjOpPmQRQXQ^b]ByCeC}IKIfJMJbN~OYP?PRPmQFQlRAb]BrClCvKOKdLVL_RVRgSYSbb]CFCNCUKOKvK|LBRVRxR~SDb]ByCeC}JkKOKjLeRVRmSSSh_OB]BrClCvMJM_NPNYSLSzb]CFCNCUMJMqMwM}Szb]ByCeC}MJMeNJN_Szb^BsCmCwILIaJTJ]JlO@OUPFPnQAQsQ|b^CGCOCVILIsIyJ?O@OfOlOrPnQSQYQ_b^BzCfC~ILIgJNJcO@O[PAPTPnQGQmRBb^BsCmCwMLMaNRN[P]TJb^CGCOCVMLMsMyN?P]b^BsCmCwKQKfLXLaRWRhSZScb^CGCOCVKQKxK~LDRWRyS?SEb^BzCfC~KQKlLRLgRWRnSTSib_BtCnCxIMIbJUJ^O?OTPEPNPoQBQtQ}b_CHCPCWIMItIzJ@O?OeOkOqPoQTQZQ`b_B{CgD?IMIhJOJdO?OZP@PSPoQHQnRCb_BtCnCxKPKeLWL`RXRiS[Sdb_CHCPCWKPKwK}LCRXRzS@SFb_B{CgD?KPKkLQLfRXRoSUSjb_BtCnCxMKM`NQNZS{TIb_C?CHCPCWKtMKMrMxM~S{b_B{CgD?MKMfNKN`S{TOdrEGE}FGKPKeLWL`PmQ@QrQ{drEYE`EgKPKwK}LCPmQRQXQ^drEMEwFMKPKkLQLfPmQFQlRAdrEGE}FGILIaJTJ]RVRgSYSbS{TIdrEMEwFMILIgJNJcRVRmSSShS{TOdrEGE}FGMJM_NPNYO?OTPEPNdrEYE`EgMJMqMwM}O?OeOkOqdrEMEwFMMJMeNJN_O?OZP@PSgBGWHJHTKQKfLXLaN~OSPDPMS{TIbPC?GBGiGoKQKxK~LDN~OdOjOpS{TZgBG]HDHZKQKlLRLgN~OYP?PRS{TOgBGWHJHTIMIbJUJ^bPGBGiGoIMItIzJ@gBG]HDHZIMIhJOJdgBGWHJHTMJM_NPNYPnQAQsQ|RXRiS[SdbPGBGiGoMJMqMwM}PnQSQYQ_RXRzS@SFgBG]HDHZMJMeNJN_PnQGQmRBRXRoSUSjgCGXHKHUMKM`NQNZPmQ@QrQ{RWRhSZScgCGjGpGuMKMrMxM~PmQRQXQ^RWRyS?SEgCG^HEH[MKMfNKN`PmQFQlRARWRnSTSigCGXHKHUILIaJTJ]gCGjGpGuILIsIyJ?gCG^HEH[ILIgJNJcgCGXHKHUKOKdLVL_O?OTPEPNP]TJgCGjGpGuKOKvK|LBO?OeOkOqP]T[T`TfdsEHE~FHMLMaNRN[N~OSPDPMdsEZEaEhMLMsMyN?N~OdOjOpdsENExFNMLMgNLNaN~OYP?PR_ODsEHE~FHIMIbJUJ^NfRWRhSZScSzTHdsEZEaEhIMItIzJ@RWRyS?SESzTYT_TddsENExFNIMIhJOJdRWRnSTSiSzTNTsdsEHE~FHKOKdLVL_PnQAQsQ|dsEZEaEhKOKvK|LBPnQSQYQ_dsENExFNJkKOKjLePnQGQmRBgDGYHLHVIKI`JSJ\gDGkGqGvIKIrIxI~gDG_HFH\IKIfJMJbgDGkGqGvKPKwK}LCO@OfOlOrSzTYT_TdgDG_HFH\KPKkLQLfO@O[PAPTSzTNTsgDGYHLHVMLMaNRN[PoQBQtQ}RVRgSYSbgDGkGqGvMLMsMyN?PoQTQZQ`RVRxR~SDgDG_HFH\MLMgNLNaPoQHQnRCRVRmSSShdtEIF?FIIKI`JSJ\P]RXRiS[SdTJTzUBdtE[EbEiIKIrIxI~P]RXRzS@SFT[T`TfcIDtEOEyFOFuIKIfJMJbOMP]RXRoSUSjdtEIF?FIKQKfLXLaPoQBQtQ}dtE[EbEiKQKxK~LDPoQTQZQ`dtEOEyFOKQKlLRLgPoQHQnRCdtEIF?FIJlMKM`NQNZO@OUPFdtE[EbEiMKMrMxM~O@OfOlOrdtEOEyFOMKMfNKN`O@O[PAPT_u@BA?AfT?T@TATHTITJTpTqTrUIUJUK_h?~@rAjS|S}S~TETFTGTgThTiULUMUN_u@K@a@rFuT?T@TATNTOT\T]T^TgThTi_h@XA?AHS|S}S~TVTWTXTpTqTrTuTvTw_h@O@iAUS|S}S~TPTQTRTaTbTcT~U?U@_u@\APAUT?T@TATYTZT[T{T|T}T~U?U@_u@BA?Af_u@K@a@r_u@\APAURa_e?v@CA@AgHVMF_e?v@]AQAVLDUXbiBrCbD@IWI`JJJeOJOSO|PUPwQ@QiRDbiByCKCXIWIfIuJAOJOYOgOsPwQFQUQabiCFCoCsIWIrJVJYOJOdPGPJPwQRQuQxbiBrCbD@K[KdLNLhR^RgSPSkbiByCKCXK[KjKyLER^RmR{SGbiCFCoCsK[KvLYL\R^RxS\S_biBrCbD@FAMFMVM_NGNbT?THTpUIUXbiByCKCXMVMeMtN@T?TNT\TgUXbiCFCoCsMVMqNSNVT?TYT{T~UXbjBsCcDAIXIaJKJfOLOUO~PWPxQAQjREbjBzCLCYIXIgIvJBOLO[OiOuPxQGQVQbbjCGCpCtIXIsJWJZOLOfPIPLPxQSQvQy_eBjBsCcDAMXMaNINdTATJTrUKUa_eBjBzCLCYFuInMXMgMvNBTAT^Ti_eBjCGCpCtMXMsNUNXTAT[T}U@bjBsCcDAK]KfLPLjR_RhSQSlbjBzCLCYK]KlK{LGR_RnR|SHbjCGCpCtK]KxL[L^R_RaRyS]S`bkBtCdDBIYIbJLJgOKOTO}PVPyQBQkRFbkB{CMCZIYIhIwJCOKOZOhOtPyQHQWQcbkCHCqCuIYItJXJ[OKOePHPKPyQTQwQzbkBtCdDBK\KeLOLiR`RiSRSmbkB{CMCZK\KkKzLFR`RoR}SIbkCHCqCuK\KwLZL]R`RzS^SabkBtCdDBMWM`NHNcT@TITqUJUYUbbkB{CMCZMWMfMuNAT@TOT]ThUYUhbkCHCqCuGxMWMrNTNWT@TZT|U?UY_eD~EGEtFPK\KeLOLiPwQ@QiRDUa_eD~EME\EjK\KkKzLFPwQFQUQaUg_eD~EYF@FDK\KwLZL]PwQRQuQxUsd~EGEtFPIXIaJKJfR^RgSPSkT@TITqUJd~EME\EjIXIgIvJBR^RmR{SGT@TOT]Thd~EYF@FDIXIsJWJZR^RxS\S_T@TZT|U?d~EGEtFPMVM_NGNbOKOTO}PVd~EME\EjMVMeMtN@OKOZOhOtd~EYF@FDMVMqNSNVOKOePHPKRagNGWHAH]K]KfLPLjOJOSO|PUT@TITqUJgNG]GlGxK]KlK{LGOJOYOgOsT@TOT]ThgNGiHMHQK]KxL[L^OJOdPGPJT@TZT|U?_eGNGWHAH]IYIbJLJgUa_eGNG]GlGxIYIhIwJCUgUv_eGNGiHMHQIYItJXJ[UsgNGWHAH]MVM_NGNbPxQAQjRER`RiSRSmgNG]GlGxMVMeMtN@PxQGQVQbR`RoR}SIgNGiHMHQMVMqNSNVPxQSQvQyR`RzS^SagOGXHBH^MWM`NHNcPwQ@QiRDR_RhSQSlgOG^GmGyMWMfMuNAPwQFQUQaR_RnR|SHgOGjHNHRMWMrNTNWPwQRQuQxR_RyS]S`gOG^GmGyIXIgIvJBUXUfUuVAgOGjHNHRIXIsJWJZUXUrgOGXHBH^K[KdLNLhOKOTO}PVTATJTrUKfuGOG^GmGyK[KjKyLEOKOZOhOtTAT^TigOGjHNHRK[KvLYL\OKOePHPKTAT[T}U@e?EHEuFQMXMaNINdOJOSO|PUe?ENE]EkMXMgMvNBOJOYOgOse?EZFAFEMXMsNUNXOJOdPGPJe?EHEuFQIYIbJLJgR_RhSQSlT?THTpUIe?ENE]EkIYIhIwJCR_RnR|SHT?TNT\Tge?EZFAFEIYItJXJ[R_RyS]S`T?TYT{T~e?EHEuFQK[KdLNLhPxQAQjREUYUbVKe?ENE]EkK[KjKyLEPxQGQVQbUYUhUwVCe?EZE`FAFEK[KvLYL\PxQSQvQyUYUtgPGYHCH_IWI`JJJeUYUbVKgPG_GnGzIWIfIuJAUYUhUwVCgPGkHOHSIWIrJVJYN^RaUYUtVWgPGYHCH_K\KeLOLiOLOUO~PWT?THTpUIgPG_GnGzK\KkKzLFOLO[OiOuT?TNT\TggPGkHOHSK\KwLZL]OLOfPIPLT?TYT{T~gPGYHCH_MXMaNINdPyQBQkRFR^RgSPSkgPG_GnGzMXMgMvNBPyQHQWQcR^RmR{SGgPGkHOHSMXMsNUNXPyQTQwQzR^RxS\S_e@EIEvFRIWI`JJJeR`RiSRSmTATJTrUKe@EOE^ElFuIWIfIuJAR`RoR}SITAT^Tie@E[FBFFIWIrJVJYR`RzS^SaTAT[T}U@e@EIEvFRIZK]KfLPLjMFPyQBQkRFUXU`e@EOE^ElK]KlK{LGPyQHQWQcUXUfUuVAe@E[FBFFK]KxL[L^PyQTQwQzUXUrVUVXe@EIEvFRMWM`NHNcOLOUO~PWe@EOE^ElMWMfMuNAOLO[OiOue@E[FBFFMWMrNTNWOLOfPIPL_i@?@sAkUUUVUWU]U^U_VAVBVCVgVhVi_i@YA@AIMFUUUVUWUoUpUqVJVKVOVPVQ_i@P@jAVUUUVUWUiUjUkU{U|U}VXVYVZ_h?~@rAjMr_h@XA?AHR@Vm_\?h@O@iAUFORaVmVnb`BoCXDCINI]JAJhOAOPOsPXPpP}QaRGb`CCCbCiINIoJJJPKKOAOaO|PpQOQiQob`B|CQCsINIiI{JYOAO\OmPJPpQIQ[Qxb`BoBzCXDCKRKaLELkPsRYSGSnVmb`CCCbCiKRKsLNLSRYRvSPSVVmb`B|CQCsKRKmL?L\RYRpSAS_Vmb`BoCXDCMMM\N@NeS|TETgULUUU]VAVgb`CCCbCiMFMMMnNGNMS|TVTpTuUUUoVOb`B|CQCsMMMhMzNVS|TPTaT~UUUiU{VXbaBpCYDDIOI^JBJiOCOROuPZPqP~QbRHbaCDCcCjIOIpJKJQOCOcO~PCPqQPQjQpbaB}CRCtIOIjI|JZOCO^OoPLPqQJQ\QybaBpCYDDMOM^NBNgS~TGTiUNUVU^VBVhbaCDCcCjMOMpNINOS~TXTrTwUVUpVJVPbaB}CRCtMOMjM|NXS~TRTcU@UVUjU|VYbaBpCYDDKTKcLGLmRZReSHSoVoVubaCDCcCjKTKuLPLURZRwSQSWVobbBqCZDEIPI_JCJjOBOQOtPYPrQ?QcRIbbCECdCkIPIqJLJROBObO}PBPrQQQkQqbbB~CSCuIPIkI}J[OBO]OnPKPrQKQ]QzbbBqCZDEKSKbLFLlR[RfSISpVnVtbbCECdCkE_KSKtLOLTR[SRSXVBVnbbB~CSCuKSKnL@L]R[RrSCSaVnW@bbBqCZDEMNM]NANfS}TFThUMUWU_VCVibbCECdCkMNMoNHNNS}TWTqTvUWUqVKVQbbB~CSCuMNMiM{NWS}TQTbU?UWUkU}VZduEDEjFSKSKbLFLlPpP}QaRGUVU^VBVhduEVEtEzKSKtLOLTPpQOQiQoUVUpVJVPduEPEcFDKSKnL@L]PpQIQ[QxUVUjU|VYduEDEjFSIOI^JBJiPsRYSGSnS}TFThUMduEVEtEzIOIpJKJQRYRvSPSVS}TWTqTvduEPEcFDIOIjI|JZRYRpSAS_S}TQTbU?duEDEjFSMMM\N@NeOBOQOtPYVoVuduEVEtEzMMMnNGNMOBObO}PBVoWF_\DuEPEcFDMMMhMzNONVOBO]OnPKRaVogEGTGxH`KTKcLGLmOAOPOsPXS}TFThUMgEGfHAHGKKKTKuLPLUOAOaO|S}TWTqTvgEG`GrHQKTKoLAL^OAO\OmPJS}TQTbU?gEGTGxH`IPI_JCJjTeUVU^VBVhVmVsgEGfHAHGIPIqJLJRUVUpVJVPVmWDgEG`GrHQIPIkI}J[UVUjU|VYVmW?WPgEGTGxH`MMM\N@NePqP~QbRHR[RfSISpe_GEGfHAHGMMMnNGNMPqQPQjQpR[SRSXgEG`GrHQMMMhMzNVPqQJQ\QyR[RrSCSagFGUGyHaMNM]NANfPpP}QaRGRZReSHSogFGgHBHHMNMoNHNNPpQOQiQoRZRwSQSWgFGaGsHRMNMiM{NWPpQIQ[QxRZRqSBS`gFGUGyHaIOI^JBJiUUU]VAVgVnVtWWgFGgHBHHIOIpJKJQMFQUUUUoVOVnWEgFGaGsHRIOIjI|JZUUUiU{VXVnW@WQgFGUGyHaKRKaLELkOBOQOtPYS~TGTiUNgFGgHBHHKRKsLNLSOBObO}PBS~TXTrTwgFGaGsHRKRKmL?L\OBO]OnPKS~TRTcU@dvEEEkFTMOM^NBNgOAOPOsPXVnVtWWdvEWEuE{HSKKMOMpNINOOAOaO|VnWEW`dvEQEdFEMOMjM|NXOAO\OmPJVnW@WQdvEEEkFTIPI_JCJjRZReSHSoS|TETgULdvEWEuE{IPIqJLJRRZRwSQSWS|TVTpTudvEQEdFEIPIkI}J[RZRqSBS`S|TPTaT~dvEEEkFTKRKaLELkPqP~QbRHUWU_VCVidvEWEuE{KRKsLNLSPqQPQjQpUWUqVKVQdvEQEdFEKRKmL?L\PqQJQ\QyUWUkU}VZgGGVGzHbINI]JAJhUWU_VCViVoVuWXgGGhHCHIINIoJJJPUWUqVKVQVoWFWaWggGGVGzHbKSKbLFLlOCOROuPZS|TETgULgGGhHCHIKSKtLOLTOCOcO~PCS|TVTpTugGGbGtHSKSKnL@L]OCO^OoPLS|TPTaT~gGGVGzHbMOM^NBNgPrPsQ?QcRIRYSGSngGGhHCHIMOMpNINOPrQQQkQqRYRvSPSVgGGbGtHSMOMjM|NXPrQKQ]QzRYRpSAS_dwEFElFUINI]JAJhR[RfSISpS~TGTiUNdwEXE_EvE|INIoJJJPR[SRSXS~TXTrTwdwEREeFFINIiI{JYR[RrSCSaS~TRTcU@dwEFElFUKTKcLGLmPrQ?QcRIUUU]VAVgdwEXEvE|KTKuLPLUMFPrQQQkQqUUUoVOdwEREeFFKTKoLAL^PrQKQ]QzUUUiU{VXdwEFElFUMNM]NANfOCOROuPZUvVmVsWVdwEXEvE|MNMoNHNNOCOcO~PCVmWDW_WedwEREeFFMNMiM{NWOCO^OoPLVmW?WPWn~~~~~~~~") xQ3pp = Graph(r":~?XI_?_??@_??@?A_g?C?D?E?F_C?D?E?F_C?D?E?F_C?D?E?F_l?k_k?l_k?l?m`O?G?H?I?J_G?H?I?J_G?H?I?J_G?H?I?J_o?p?q?r_o?p?q?r_o?p?q?r_o?p?q?r`X@W`W@X`W@X@Y`w?K?L?M?N_K?L?M?N_K?L?M?N_K?L?M?N_s?t?u?v_s?t?u?v_s?t?u?v_s?t?u?v`[@\@]@^`[@\@]@^`[@\@]@^`[@\@]@^aDACaCADaCADAEa_???C?G?K_??C?G?K_??C?G?K_??C?G?K_g?k?o?sA__g?k?o?s_g?k?o?s_g?k?o?s`O@S@W@[A_Ac`O@S@W@[`O@S@W@[`O@S@W@[`w@{A?ACA_AcAg`w@{A?AC`w@{A?AC`w@{A?ACbG???O?P?QA_AoApAq_??O?P?Q_??O?P?Q_??O?P?Q_g?w?x?yA_AoApAq_g?w?x?y_g?w?x?y_g?w?x?y`O@_@`@aA_AoApAq`O@_@`@a`O@_@`@a`O@_@`@a`wAGAHAIA_AoApAq`wAGAHAI`wAGAHAI`wAGAHAIbGbGBWbGBWBXbo???R?S?TA_ArAsAtBGBZB[B\_??R?S?T_??R?S?T_??R?S?T_g?z?{?|A_ArAsAt_g?z?{?|_g?z?{?|_g?z?{?|`O@b@c@dA_ArAsAt`O@b@c@d`O@b@c@d`O@b@c@d`wAJAKALA_ArAsAt`wAJAKAL`wAJAKAL`wAJAKALbGBZB[B\bGBZB[B\bGBZB[B\boboCBboCBCCcW?C?U?V?WAcAuAvAwBKB]B^B_BsCECFCG_C?U?V?W_C?U?V?W_C?U?V?W_k?}?~@?AcAuAvAw_k?}?~@?_k?}?~@?_k?}?~@?`S@e@f@gAcAuAvAw`S@e@f@g`S@e@f@g`S@e@f@g`{AMANAOAcAuAvAw`{AMANAO`{AMANAO`{AMANAObKB]B^B_bKB]B^B_bKB]B^B_bsCECFCGbsCECFCGbsCECFCGc[c[Cmc[CmCnd??G?X?Y?ZAgAxAyAzBOB`BaBbBwCHCICJ_G?X?Y?Z_G?X?Y?Z_G?X?Y?Z_o@@@A@BAgAxAyAzC_CpCqCr_o@@@A@B_o@@@A@B_o@@@A@B`W@h@i@jAgAxAyAz`W@h@i@j`W@h@i@j`W@h@i@ja?APAQARAgAxAyAza?APAQARa?APAQARa?APAQARbOB`BaBbbOB`BaBbbOB`BaBbbwCHCICJbwCHCICJbwCHCICJc_CpCqCrc_CpCqCrc_CpCqCrdGdGDXdGDXDYdg?K?[?\?]AkA{A|A}BSBcBdBeB{CKCLCM_K?[?\?]_K?[?\?]_K?[?\?]_s@C@D@EAkA{A|A}CcCsCtCu_s@C@D@E_s@C@D@E_s@C@D@E`[@k@l@mAkA{A|A}DKD[D\D]`[@k@l@m`[@k@l@m`[@k@l@maCASATAUAkA{A|A}aCASATAUaCASATAUaCASATAUbSBcBdBebSBcBdBebSBcBdBeb{CKCLCMb{CKCLCMb{CKCLCMccCsCtCuccCsCtCuccCsCtCudKD[D\D]dKD[D\D]dKD[D\D]dsdsECdsECEDeO?C?^?_?`AcA~B?B@BKBfBgBhBsCNCOCP_C?^?_?`_C?^?_?`_C?^?_?`_k@F@G@HAcA~B?B@C[CvCwCx_k@F@G@H_k@F@G@H_k@F@G@H`S@n@o@pAcA~B?B@DCD^D_D``S@n@o@p`S@n@o@p`S@n@o@p`{AVAWAXAcA~B?B@DkEFEGEH`{AVAWAX`{AVAWAX`{AVAWAXbKBfBgBhbKBfBgBhbKBfBgBhbsCNCOCPbsCNCOCPbsCNCOCPc[CvCwCxc[CvCwCxc[CvCwCxdCD^D_D`dCD^D_D`dCD^D_D`dkEFEGEHdkEFEGEHdkEFEGEHeSeSEneSEnEoew?K?a?b?cAkBABBBCBSBiBjBkB{CQCRCS_K?a?b?c_K?a?b?c_K?a?b?c_s@I@J@KAkBABBBCCcCyCzC{E[EqErEs_s@I@J@K_s@I@J@K_s@I@J@K`[@q@r@sAkBABBBCDKDaDbDc`[@q@r@s`[@q@r@s`[@q@r@saCAYAZA[AkBABBBCDsEIEJEKaCAYAZA[aCAYAZA[aCAYAZA[bSBiBjBkbSBiBjBkbSBiBjBkb{CQCRCSb{CQCRCSb{CQCRCSccCyCzC{ccCyCzC{ccCyCzC{dKDaDbDcdKDaDbDcdKDaDbDcdsEIEJEKdsEIEJEKdsEIEJEKe[EqErEse[EqErEse[EqErEsfCfCFYfCFYFZf_?G?d?e?fAgBDBEBFBOBlBmBnBwCTCUCV_G?d?e?f_G?d?e?f_G?d?e?f_o@L@M@NAgBDBEBFC_C|C}C~EWEtEuEv_o@L@M@N_o@L@M@N_o@L@M@N`W@t@u@vAgBDBEBFDGDdDeDf`W@t@u@v`W@t@u@v`W@t@u@va?A\A]A^AgBDBEBFDoELEMENF?F\F]F^a?A\A]A^a?A\A]A^a?A\A]A^bOBlBmBnbOBlBmBnbOBlBmBnbwCTCUCVbwCTCUCVbwCTCUCVc_C|C}C~c_C|C}C~c_C|C}C~dGDdDeDfdGDdDeDfdGDdDeDfdoELEMENdoELEMENdoELEMENeWEtEuEveWEtEuEveWEtEuEvf?F\F]F^f?F\F]F^f?F\F]F^fgfgGDfgGDGE_@?D?H?LA`AdAhAlBHBLBPBTBpBtBxB|_@?D?H?L_@?D?H?L_@?D?H?L_h?l?p?tA`AdAhAlCXC\C`CdEPETEXE\_h?l?p?tGH_h?l?p?t_h?l?p?t`P@T@X@\A`AdAhAlD@DDDHDLF`FdFhFl`P@T@X@\GHGL`P@T@X@\`P@T@X@\`x@|A@ADA`AdAhAlDhDlDpDtExE|F@FD`x@|A@ADGHGLGP`x@|A@AD`x@|A@ADbHBLBPBTbHBLBPBTbHBLBPBTbpBtBxB|bpBtBxB|bpBtBxB|cXC\C`CdcXC\C`CdcXC\C`Cdd@DDDHDLd@DDDHDLd@DDDHDLdhDlDpDtdhDlDpDtdhDlDpDtePETEXE\ePETEXE\ePETEXE\exE|F@FDexE|F@FDexE|F@FDf`FdFhFlf`FdFhFlf`FdFhFl_@?U?X?[A`AuAxA{BHB]B`BcBpCECHCK_@?U?X?[GHG]G`Gc_@?U?X?[_@?U?X?[_h?}@@@CA`AuAxA{CXCmCpCsEPEeEhEk_h?}@@@CGHG]G`Gc_h?}@@@C_h?}@@@C`P@e@h@kA`AuAxA{D@DUDXD[F`FuFxF{`P@e@h@kGHG]G`Gc`P@e@h@k`P@e@h@k`xAMAPASA`AuAxA{DhD}E@ECExFMFPFS`xAMAPASGHG]G`Gc`xAMAPAS`xAMAPASbHB]B`BcbHB]B`BcbHB]B`BcbpCECHCKbpCECHCKbpCECHCKcXCmCpCsGpcXCmCpCscXCmCpCsd@DUDXD[GpHEd@DUDXD[d@DUDXD[dhD}E@ECGpHEHHdhD}E@ECdhD}E@ECePEeEhEkePEeEhEkePEeEhEkexFMFPFSexFMFPFSexFMFPFSf`FuFxF{f`FuFxF{f`FuFxF{_@?^?a?dA`A~BABDBHBfBiBlBpCNCQCT_@?^?a?dGHGfGiGlGpHNHQHT_@?^?a?d_@?^?a?d_h@F@I@LA`A~BABDCXCvCyC|EPEnEqEt_h@F@I@LGHGfGiGl_h@F@I@L_h@F@I@L`P@n@q@tA`A~BABDD@D^DaDdF`F~GAGD`P@n@q@tGHGfGiGl`P@n@q@t`P@n@q@t`xAVAYA\A`A~BABDDhEFEIELExFVFYF\`xAVAYA\GHGfGiGl`xAVAYA\`xAVAYA\bHBfBiBlbHBfBiBlbHBfBiBlbpCNCQCTbpCNCQCTbpCNCQCTcXCvCyC|GpHNHQHTcXCvCyC|cXCvCyC|d@D^DaDdGpHNHQHTd@D^DaDdd@D^DaDddhEFEIELGpHNHQHTdhEFEIELdhEFEIELePEnEqEtHXePEnEqEtePEnEqEtexFVFYF\HXHvexFVFYF\exFVFYF\f`F~GAGDHXHvHyf`F~GAGDf`F~GAGD_D?R?\?eAdArA|BEBLBZBdBmBtCBCLCU_D?R?\?eGLGZGdGmGtHBHLHUH\HjHtH}_D?R?\?e_D?R?\?e_l?z@D@MAdArA|BEC\CjCtC}ETEbElEu_l?z@D@MGLGZGdGm_l?z@D@M_l?z@D@M`T@b@l@uAdArA|BEDDDRD\DeFdFrF|GE`T@b@l@uGLGZGdGm`T@b@l@u`T@b@l@u`|AJATA]AdArA|BEDlDzEDEME|FJFTF]`|AJATA]GLGZGdGm`|AJATA]`|AJATA]bLBZBdBmbLBZBdBmbLBZBdBmbtCBCLCUIDbtCBCLCUbtCBCLCUc\CjCtC}GtHBHLHUc\CjCtC}c\CjCtC}dDDRD\DeGtHBHLHUdDDRD\DedDDRD\DedlDzEDEMGtHBHLHUdlDzEDEMIDIRdlDzEDEMeTEbElEuH\HjHtH}eTEbElEueTEbElEue|FJFTF]H\HjHtH}e|FJFTF]e|FJFTF]fdFrF|GEH\HjHtH}fdFrF|GEIDIRI\fdFrF|GE_H?S?V?bAhAsAvBBBPB[B^BjBxCCCFCR_H?S?V?bGPG[G^GjGxHCHFHRH`HkHnHz_H?S?V?b_H?S?V?b_p?{?~@JAhAsAvBBC`CkCnCzEXEcEfEr_p?{?~@JGPG[G^GjIHISIVIb_p?{?~@J_p?{?~@J`X@c@f@rAhAsAvBBDHDSDVDbFhFsFvGB`X@c@f@rGPG[G^Gj`X@c@f@r`X@c@f@ra@AKANAZAhAsAvBBDpD{D~EJF@FKFNFZa@AKANAZGPG[G^Gja@AKANAZa@AKANAZbPB[B^BjbPB[B^BjbPB[B^BjbxCCCFCRIHISIVIbbxCCCFCRIpbxCCCFCRc`CkCnCzGxHCHFHRc`CkCnCzIpI{c`CkCnCzdHDSDVDbGxHCHFHRdHDSDVDbdHDSDVDbdpD{D~EJGxHCHFHRdpD{D~EJIHISIVIbdpD{D~EJeXEcEfErH`HkHnHzeXEcEfEreXEcEfErf@FKFNFZH`HkHnHzf@FKFNFZIpI{I~f@FKFNFZfhFsFvGBH`HkHnHzfhFsFvGBIHISIVIbfhFsFvGB_L?T?Y?_AlAtAyB?BTB\BaBgB|CDCICO_L?T?Y?_GTG\GaGgG|HDHIHOHdHlHqHw_L?T?Y?__L?T?Y?__t?|@A@GAlAtAyB?CdClCqCwE\EdEiEo_t?|@A@GGTG\GaGgILITIYI__t?|@A@G_t?|@A@G`\@d@i@oAlAtAyB?DLDTDYD_FlFtFyG?`\@d@i@oGTG\GaGgItI|JAJG`\@d@i@o`\@d@i@oaDALAQAWAlAtAyB?DtD|EAEGFDFLFQFWaDALAQAWGTG\GaGgaDALAQAWaDALAQAWbTB\BaBgbTB\BaBgbTB\BaBgb|CDCICOILITIYI_b|CDCICOItI|JAJGb|CDCICOJ\cdClCqCwG|HDHIHOcdClCqCwItI|JAJGcdClCqCwdLDTDYD_G|HDHIHOdLDTDYD_J\JddLDTDYD_dtD|EAEGG|HDHIHOdtD|EAEGILITIYI_dtD|EAEGe\EdEiEoHdHlHqHwe\EdEiEoJ\JdJie\EdEiEofDFLFQFWHdHlHqHwfDFLFQFWItI|JAJGfDFLFQFWflFtFyG?HdHlHqHwflFtFyG?ILITIYI_flFtFyG?_D?O?Z?cAdAoAzBCBLBWBbBkBtC?CJCS_D?O?Z?cGLGWGbGkGtH?HJHSH\HgHrH{_D?O?Z?c_D?O?Z?c_l?w@B@KAdAoAzBCC\CgCrC{ETE_EjEs_l?w@B@KGLGWGbGkIDIOIZIc_l?w@B@K_l?w@B@K`T@_@j@sAdAoAzBCDDDODZDcFdFoFzGC`T@_@j@sGLGWGbGkIlIwJBJK`T@_@j@s`T@_@j@s`|AGARA[AdAoAzBCDlDwEBEKE|FGFRF[`|AGARA[GLGWGbGkJTJ_JjJs`|AGARA[`|AGARA[bLBWBbBkJ|bLBWBbBkbLBWBbBkbtC?CJCSIDIOIZIcbtC?CJCSIlIwJBJKbtC?CJCSJTJ_JjJsc\CgCrC{GtH?HJHSc\CgCrC{IlIwJBJKc\CgCrC{dDDODZDcGtH?HJHSdDDODZDcJTJ_JjJsdDDODZDcJ|KGdlDwEBEKGtH?HJHSdlDwEBEKIDIOIZIcdlDwEBEKeTE_EjEsH\HgHrH{eTE_EjEsJTJ_JjJseTE_EjEse|FGFRF[H\HgHrH{e|FGFRF[IlIwJBJKe|FGFRF[J|KGKRfdFoFzGCH\HgHrH{fdFoFzGCIDIOIZIcfdFoFzGC_L?P?W?fAlApAwBFBTBXB_BnB|C@CGCV_L?P?W?fGTGXG_GnG|H@HGHVHdHhHoH~_L?P?W?f_L?P?W?f_t?x@?@NAlApAwBFCdChCoC~E\E`EgEv_t?x@?@NGTGXG_GnILIPIWIfKDKHKOK^_t?x@?@N_t?x@?@N`\@`@g@vAlApAwBFDLDPDWDfFlFpFwGF`\@`@g@vGTGXG_GnItIxJ?JN`\@`@g@v`\@`@g@vaDAHAOA^AlApAwBFDtDxE?ENFDFHFOF^aDAHAOA^GTGXG_GnJ\J`JgJvaDAHAOA^aDAHAOA^bTBXB_BnKDKHKOK^bTBXB_BnKlbTBXB_Bnb|C@CGCVILIPIWIfb|C@CGCVItIxJ?JNb|C@CGCVJ\J`JgJvcdChCoC~G|H@HGHVcdChCoC~ItIxJ?JNcdChCoC~KlKpdLDPDWDfG|H@HGHVdLDPDWDfJ\J`JgJvdLDPDWDfKDKHKOK^dtDxE?ENG|H@HGHVdtDxE?ENILIPIWIfdtDxE?ENe\E`EgEvHdHhHoH~e\E`EgEvJ\J`JgJve\E`EgEvfDFHFOF^HdHhHoH~fDFHFOF^ItIxJ?JNfDFHFOF^KDKHKOK^flFpFwGFHdHhHoH~flFpFwGFILIPIWIfflFpFwGFKlKpKw_H?Q?]?`AhAqA}B@BPBYBeBhBxCACMCP_H?Q?]?`GPGYGeGhGxHAHMHPH`HiHuHx_H?Q?]?`_H?Q?]?`_p?y@E@HAhAqA}B@C`CiCuCxEXEaEmEp_p?y@E@HGPGYGeGhIHIQI]I`K@KIKUKX_p?y@E@H_p?y@E@H`X@a@m@pAhAqA}B@DHDQD]D`FhFqF}G@`X@a@m@pGPGYGeGhIpIyJEJH`X@a@m@p`X@a@m@pa@AIAUAXAhAqA}B@DpDyEEEHF@FIFUFXa@AIAUAXGPGYGeGhJXJaJmJpKhKqK}L@a@AIAUAXa@AIAUAXbPBYBeBhK@KIKUKXbPBYBeBhKhKqK}L@bPBYBeBhLPbxCACMCPIHIQI]I`bxCACMCPIpIyJEJHbxCACMCPJXJaJmJpc`CiCuCxGxHAHMHPc`CiCuCxIpIyJEJHc`CiCuCxKhKqK}L@dHDQD]D`GxHAHMHPdHDQD]D`JXJaJmJpdHDQD]D`K@KIKUKXdpDyEEEHGxHAHMHPdpDyEEEHIHIQI]I`dpDyEEEHLPLYeXEaEmEpH`HiHuHxeXEaEmEpJXJaJmJpeXEaEmEpLPLYLef@FIFUFXH`HiHuHxf@FIFUFXIpIyJEJHf@FIFUFXK@KIKUKXfhFqF}G@H`HiHuHxfhFqF}G@IHIQI]I`fhFqF}G@KhKqK}L@_A?E?I?MAaAeAiAmBIBMBQBUBqBuByB}_A?E?I?MGIGMGQGUGqGuGyG}HYH]HaHe_A?E?I?M_A?E?I?M_i?m?q?uAaAeAiAmCYC]CaCeEQEUEYE]_i?m?q?uGIGMGQGUIAIEIIIMJyJ}KAKE_i?m?q?uLq_i?m?q?u`Q@U@Y@]AaAeAiAmDADEDIDMFaFeFiFm`Q@U@Y@]GIGMGQGUIiImIqIuLILMLQLU`Q@U@Y@]LqLu`Q@U@Y@]`y@}AAAEAaAeAiAmDiDmDqDuEyE}FAFE`y@}AAAEGIGMGQGUJQJUJYJ]KaKeKiKm`y@}AAAELqLuLy`y@}AAAEbIBMBQBUJyJ}KAKEbIBMBQBUKaKeKiKmbIBMBQBULILMLQLUbqBuByB}IAIEIIIMbqBuByB}IiImIqIubqBuByB}JQJUJYJ]cYC]CaCeGqGuGyG}cYC]CaCeIiImIqIucYC]CaCeKaKeKiKmdADEDIDMGqGuGyG}dADEDIDMJQJUJYJ]dADEDIDMJyJ}KAKEdiDmDqDuGqGuGyG}diDmDqDuIAIEIIIMdiDmDqDuLILMLQLUeQEUEYE]HYH]HaHeeQEUEYE]JQJUJYJ]eQEUEYE]LILMLQLUeyE}FAFEHYH]HaHeeyE}FAFEIiImIqIueyE}FAFEJyJ}KAKEfaFeFiFmHYH]HaHefaFeFiFmIAIEIIIMfaFeFiFmKaKeKiKm_A?W?Z?]AaAwAzA}BIB_BbBeBqCGCJCM_A?W?Z?]GIG_GbGeGqHGHJHMHYHoHrHu_A?W?Z?]LqMGMJMM_A?W?Z?]_i@?@B@EAaAwAzA}CYCoCrCuEQEgEjEm_i@?@B@EGIG_GbGeIAIWIZI]JyKOKRKU_i@?@B@ELqMGMJMM_i@?@B@E`Q@g@j@mAaAwAzA}DADWDZD]FaFwFzF}`Q@g@j@mGIG_GbGeIiJ?JBJELIL_LbLe`Q@g@j@mLqMGMJMM`Q@g@j@m`yAOARAUAaAwAzA}DiE?EBEEEyFOFRFU`yAOARAUGIG_GbGeJQJgJjJmKaKwKzK}`yAOARAULqMGMJMM`yAOARAUbIB_BbBeJyKOKRKUbIB_BbBeKaKwKzK}bIB_BbBeLIL_LbLebqCGCJCMIAIWIZI]bqCGCJCMIiJ?JBJEbqCGCJCMJQJgJjJmcYCoCrCuGqHGHJHMcYCoCrCuIiJ?JBJEcYCoCrCuKaKwKzK}MYdADWDZD]GqHGHJHMdADWDZD]JQJgJjJmdADWDZD]JyKOKRKUMYModiE?EBEEGqHGHJHMdiE?EBEEIAIWIZI]diE?EBEELIL_LbLeMYMoMreQEgEjEmHYHoHrHueQEgEjEmJQJgJjJmeQEgEjEmLIL_LbLeeyFOFRFUHYHoHrHueyFOFRFUIiJ?JBJEeyFOFRFUJyKOKRKUfaFwFzF}HYHoHrHufaFwFzF}IAIWIZI]faFwFzF}KaKwKzK}_A?_?b?eAaB?BBBEBIBgBjBmBqCOCRCU_A?_?b?eGIGgGjGmGqHOHRHUHYHwHzH}_A?_?b?eLqMOMRMUMYMwMzM}_A?_?b?e_i@G@J@MAaB?BBBECYCwCzC}EQEoErEu_i@G@J@MGIGgGjGmIAI_IbIeJyKWKZK]_i@G@J@MLqMOMRMU_i@G@J@M`Q@o@r@uAaB?BBBEDAD_DbDeFaG?GBGE`Q@o@r@uGIGgGjGmIiJGJJJMLILgLjLm`Q@o@r@uLqMOMRMU`Q@o@r@u`yAWAZA]AaB?BBBEDiEGEJEMEyFWFZF]`yAWAZA]GIGgGjGmJQJoJrJuKaL?LBLE`yAWAZA]LqMOMRMU`yAWAZA]bIBgBjBmJyKWKZK]bIBgBjBmKaL?LBLEbIBgBjBmLILgLjLmbqCOCRCUIAI_IbIebqCOCRCUIiJGJJJMbqCOCRCUJQJoJrJucYCwCzC}GqHOHRHUcYCwCzC}IiJGJJJMcYCwCzC}KaL?LBLEMYMwMzM}dAD_DbDeGqHOHRHUdAD_DbDeJQJoJrJudAD_DbDeJyKWKZK]MYMwMzM}diEGEJEMGqHOHRHUdiEGEJEMIAI_IbIediEGEJEMLILgLjLmMYMwMzM}eQEoErEuHYHwHzH}eQEoErEuJQJoJrJuNAeQEoErEuLILgLjLmeyFWFZF]HYHwHzH}eyFWFZF]IiJGJJJMNAN_eyFWFZF]JyKWKZK]faG?GBGEHYHwHzH}faG?GBGEIAI_IbIeNAN_NbfaG?GBGEKaL?LBLE_E?S?[?fAeAsA{BFBMB[BcBnBuCCCKCV_E?S?[?fGMG[GcGnGuHCHKHVH]HkHsH~_E?S?[?fLuMCMKMVM]MkMsM~NENSN[Nf_E?S?[?f_m?{@C@NAeAsA{BFC]CkCsC~EUEcEkEv_m?{@C@NGMG[GcGnIEISI[IfJ}KKKSK^_m?{@C@NLuMCMKMV_m?{@C@N`U@c@k@vAeAsA{BFDEDSD[DfFeFsF{GF`U@c@k@vGMG[GcGnImI{JCJNLML[LcLn`U@c@k@vLuMCMKMV`U@c@k@v`}AKASA^AeAsA{BFDmD{ECENE}FKFSF^`}AKASA^GMG[GcGnJUJcJkJvKeKsK{LF`}AKASA^LuMCMKMV`}AKASA^bMB[BcBnJ}KKKSK^bMB[BcBnKeKsK{LFbMB[BcBnLML[LcLnbuCCCKCVIEISI[IfbuCCCKCVImI{JCJNNmbuCCCKCVJUJcJkJvc]CkCsC~GuHCHKHVc]CkCsC~ImI{JCJNc]CkCsC~KeKsK{LFM]MkMsM~dEDSD[DfGuHCHKHVdEDSD[DfJUJcJkJvdEDSD[DfJ}KKKSK^M]MkMsM~dmD{ECENGuHCHKHVNmN{dmD{ECENIEISI[IfdmD{ECENLML[LcLnM]MkMsM~eUEcEkEvH]HkHsH~eUEcEkEvJUJcJkJvNENSN[NfeUEcEkEvLML[LcLne}FKFSF^H]HkHsH~e}FKFSF^ImI{JCJNNENSN[Nfe}FKFSF^J}KKKSK^feFsF{GFH]HkHsH~feFsF{GFIEISI[IfNENSN[NffeFsF{GFKeKsK{LFNmN{OC_I?T?U?cAiAtAuBCBQB\B]BkByCDCECS_I?T?U?cGQG\G]GkGyHDHEHSHaHlHmH{_I?T?U?cLyMDMEMSMaMlMmM{NINTNUNc_I?T?U?c_q?|?}@KAiAtAuBCCaClCmC{EYEdEeEs_q?|?}@KGQG\G]GkIIITIUIcKAKLKMK[_q?|?}@KLyMDMEMSNqN|N}OK_q?|?}@K`Y@d@e@sAiAtAuBCDIDTDUDcFiFtFuGC`Y@d@e@sGQG\G]GkIqI|I}JKLQL\L]Lk`Y@d@e@sLyMDMEMS`Y@d@e@saAALAMA[AiAtAuBCDqD|D}EKFAFLFMF[aAALAMA[GQG\G]GkJYJdJeJsKiKtKuLCaAALAMA[LyMDMEMSaAALAMA[bQB\B]BkKAKLKMK[bQB\B]BkKiKtKuLCbQB\B]BkLQL\L]LkbyCDCECSIIITIUIcbyCDCECSIqI|I}JKNqN|N}OKbyCDCECSJYJdJeJsOYcaClCmC{GyHDHEHSOYOdcaClCmC{IqI|I}JKcaClCmC{KiKtKuLCMaMlMmM{dIDTDUDcGyHDHEHSdIDTDUDcJYJdJeJsdIDTDUDcKAKLKMK[MaMlMmM{dqD|D}EKGyHDHEHSNqN|N}OKdqD|D}EKIIITIUIcdqD|D}EKLQL\L]LkMaMlMmM{eYEdEeEsHaHlHmH{eYEdEeEsJYJdJeJsNINTNUNceYEdEeEsLQL\L]LkfAFLFMF[HaHlHmH{fAFLFMF[IqI|I}JKNINTNUNcfAFLFMF[KAKLKMK[OYOdOefiFtFuGCHaHlHmH{fiFtFuGCIIITIUIcNINTNUNcfiFtFuGCKiKtKuLCNqN|N}OK_M?R?X?`AmArAxB@BUBZB`BhB}CBCHCP_M?R?X?`GUGZG`GhG}HBHHHPHeHjHpHx_M?R?X?`L}MBMHMPMeMjMpMxNMNRNXN`_M?R?X?`_u?z@@@HAmArAxB@CeCjCpCxE]EbEhEp_u?z@@@HGUGZG`GhIMIRIXI`KEKJKPKX_u?z@@@HL}MBMHMPNuNzO@OH_u?z@@@H`]@b@h@pAmArAxB@DMDRDXD`FmFrFxG@`]@b@h@pGUGZG`GhIuIzJ@JHLULZL`Lh`]@b@h@pL}MBMHMPO]ObOhOp`]@b@h@paEAJAPAXAmArAxB@DuDzE@EHFEFJFPFXaEAJAPAXGUGZG`GhJ]JbJhJpKmKrKxL@aEAJAPAXL}MBMHMPaEAJAPAXbUBZB`BhKEKJKPKXbUBZB`BhKmKrKxL@bUBZB`BhLULZL`Lhb}CBCHCPIMIRIXI`PEb}CBCHCPIuIzJ@JHNuNzO@OHb}CBCHCPJ]JbJhJpO]ObOhOpceCjCpCxG}HBHHHPO]ObOhOpceCjCpCxIuIzJ@JHceCjCpCxKmKrKxL@MeMjMpMxdMDRDXD`G}HBHHHPPEPJdMDRDXD`J]JbJhJpdMDRDXD`KEKJKPKXMeMjMpMxduDzE@EHG}HBHHHPNuNzO@OHduDzE@EHIMIRIXI`duDzE@EHLULZL`LhMeMjMpMxe]EbEhEpHeHjHpHxe]EbEhEpJ]JbJhJpNMNRNXN`e]EbEhEpLULZL`LhPEPJPPfEFJFPFXHeHjHpHxfEFJFPFXIuIzJ@JHNMNRNXN`fEFJFPFXKEKJKPKXO]ObOhOpfmFrFxG@HeHjHpHxfmFrFxG@IMIRIXI`NMNRNXN`fmFrFxG@KmKrKxL@NuNzO@OH_E?Q?Y?aAeAqAyBABMBYBaBiBuCACICQ_E?Q?Y?aGMGYGaGiGuHAHIHQH]HiHqHy_E?Q?Y?aLuMAMIMQM]MiMqMyNENQNYNa_E?Q?Y?a_m?y@A@IAeAqAyBAC]CiCqCyEUEaEiEq_m?y@A@IGMGYGaGiIEIQIYIaJ}KIKQKY_m?y@A@ILuMAMIMQNmNyOAOI_m?y@A@I`U@a@i@qAeAqAyBADEDQDYDaFeFqFyGA`U@a@i@qGMGYGaGiImIyJAJILMLYLaLi`U@a@i@qLuMAMIMQOUOaOiOq`U@a@i@q`}AIAQAYAeAqAyBADmDyEAEIE}FIFQFY`}AIAQAYGMGYGaGiJUJaJiJqKeKqKyLA`}AIAQAYLuMAMIMQO}PIPQPY`}AIAQAYbMBYBaBiJ}KIKQKYbMBYBaBiKeKqKyLAbMBYBaBiLMLYLaLiPebuCACICQIEIQIYIaO}PIPQPYbuCACICQImIyJAJINmNyOAOIbuCACICQJUJaJiJqOUOaOiOqc]CiCqCyGuHAHIHQOUOaOiOqc]CiCqCyImIyJAJIc]CiCqCyKeKqKyLAM]MiMqMydEDQDYDaGuHAHIHQO}PIPQPYdEDQDYDaJUJaJiJqPePqdEDQDYDaJ}KIKQKYM]MiMqMydmDyEAEIGuHAHIHQNmNyOAOIdmDyEAEIIEIQIYIadmDyEAEILMLYLaLiM]MiMqMyeUEaEiEqH]HiHqHyeUEaEiEqJUJaJiJqNENQNYNaeUEaEiEqLMLYLaLiO}PIPQPYe}FIFQFYH]HiHqHyPePqPye}FIFQFYImIyJAJINENQNYNae}FIFQFYJ}KIKQKYOUOaOiOqfeFqFyGAH]HiHqHyfeFqFyGAIEIQIYIaNENQNYNafeFqFyGAKeKqKyLANmNyOAOI_M?O?V?dAmAoAvBDBUBWB^BlB}C?CFCT_M?O?V?dGUGWG^GlG}H?HFHTHeHgHnH|_M?O?V?dL}M?MFMTMeMgMnM|NMNONVNd_M?O?V?d_u?w?~@LAmAoAvBDCeCgCnC|E]E_EfEt_u?w?~@LGUGWG^GlIMIOIVIdKEKGKNK\_u?w?~@LL}M?MFMTNuNwN~OLPmPoPvQD_u?w?~@L`]@_@f@tAmAoAvBDDMDODVDdFmFoFvGD`]@_@f@tGUGWG^GlIuIwI~JLLULWL^Ll`]@_@f@tL}M?MFMTO]O_OfOt`]@_@f@taEAGANA\AmAoAvBDDuDwD~ELFEFGFNF\aEAGANA\GUGWG^GlJ]J_JfJtKmKoKvLDaEAGANA\L}M?MFMTPEPGPNP\aEAGANA\bUBWB^BlKEKGKNK\QUbUBWB^BlKmKoKvLDbUBWB^BlLULWL^LlPmPoPvQDb}C?CFCTIMIOIVIdPEPGPNP\b}C?CFCTIuIwI~JLNuNwN~OLb}C?CFCTJ]J_JfJtO]O_OfOtceCgCnC|G}H?HFHTO]O_OfOtceCgCnC|IuIwI~JLQUQWceCgCnC|KmKoKvLDMeMgMnM|dMDODVDdG}H?HFHTPEPGPNP\dMDODVDdJ]J_JfJtPmPoPvQDdMDODVDdKEKGKNK\MeMgMnM|duDwD~ELG}H?HFHTNuNwN~OLduDwD~ELIMIOIVIdduDwD~ELLULWL^LlMeMgMnM|e]E_EfEtHeHgHnH|e]E_EfEtJ]J_JfJtNMNONVNde]E_EfEtLULWL^LlPEPGPNP\fEFGFNF\HeHgHnH|PmPoPvQDfEFGFNF\IuIwI~JLNMNONVNdfEFGFNF\KEKGKNK\O]O_OfOtfmFoFvGDHeHgHnH|QUQWQ^fmFoFvGDIMIOIVIdNMNONVNdfmFoFvGDKmKoKvLDNuNwN~OL_I?P?\?^AiApA|A~BQBXBdBfByC@CLCN_I?P?\?^GQGXGdGfGyH@HLHNHaHhHtHv_I?P?\?^LyM@MLMNMaMhMtMvNINPN\N^_I?P?\?^_q?x@D@FAiApA|A~CaChCtCvEYE`ElEn_q?x@D@FGQGXGdGfIIIPI\I^KAKHKTKV_q?x@D@FLyM@MLMNNqNxODOFPiPpP|P~_q?x@D@F`Y@`@l@nAiApA|A~DIDPD\D^FiFpF|F~`Y@`@l@nGQGXGdGfIqIxJDJFLQLXLdLf`Y@`@l@nLyM@MLMNOYO`OlOn`Y@`@l@naAAHATAVAiApA|A~DqDxEDEFFAFHFTFVaAAHATAVGQGXGdGfJYJ`JlJnKiKpK|K~aAAHATAVLyM@MLMNPAPHPTPVQQQXQdQfaAAHATAVbQBXBdBfKAKHKTKVQQQXQdQfbQBXBdBfKiKpK|K~QybQBXBdBfLQLXLdLfPiPpP|P~byC@CLCNIIIPI\I^PAPHPTPVbyC@CLCNIqIxJDJFNqNxODOFbyC@CLCNJYJ`JlJnOYO`OlOncaChCtCvGyH@HLHNOYO`OlOncaChCtCvIqIxJDJFQQQXQdQfcaChCtCvKiKpK|K~MaMhMtMvdIDPD\D^GyH@HLHNPAPHPTPVdIDPD\D^JYJ`JlJnPiPpP|P~dIDPD\D^KAKHKTKVMaMhMtMvdqDxEDEFGyH@HLHNNqNxODOFdqDxEDEFIIIPI\I^QyR@dqDxEDEFLQLXLdLfMaMhMtMveYE`ElEnHaHhHtHvQyR@RLeYE`ElEnJYJ`JlJnNINPN\N^eYE`ElEnLQLXLdLfPAPHPTPVfAFHFTFVHaHhHtHvPiPpP|P~fAFHFTFVIqIxJDJFNINPN\N^fAFHFTFVKAKHKTKVOYO`OlOnfiFpF|F~HaHhHtHvQQQXQdQffiFpF|F~IIIPI\I^NINPN\N^fiFpF|F~KiKpK|K~NqNxODOF_B?F?J?NAbAfAjAnBJBNBRBVBrBvBzB~_B?F?J?NGJGNGRGVGrGvGzG~HZH^HbHf_B?F?J?NLrLvLzL~MZM^MbMfNBNFNJNN_B?F?J?N_j?n?r?vAbAfAjAnCZC^CbCfEREVEZE^_j?n?r?vGJGNGRGVIBIFIJINJzJ~KBKF_j?n?r?vLrLvLzL~NjNnNrNvPbPfPjPn_j?n?r?vRZ`R@V@Z@^AbAfAjAnDBDFDJDNFbFfFjFn`R@V@Z@^GJGNGRGVIjInIrIvLJLNLRLV`R@V@Z@^LrLvLzL~OROVOZO^QrQvQzQ~`R@V@Z@^RZR^`z@~ABAFAbAfAjAnDjDnDrDvEzE~FBFF`z@~ABAFGJGNGRGVJRJVJZJ^KbKfKjKn`z@~ABAFLrLvLzL~OzO~PBPFQJQNQRQV`z@~ABAFRZR^RbbJBNBRBVJzJ~KBKFQJQNQRQVbJBNBRBVKbKfKjKnQrQvQzQ~bJBNBRBVLJLNLRLVPbPfPjPnbrBvBzB~IBIFIJINOzO~PBPFbrBvBzB~IjInIrIvNjNnNrNvbrBvBzB~JRJVJZJ^OROVOZO^cZC^CbCfGrGvGzG~OROVOZO^cZC^CbCfIjInIrIvQJQNQRQVcZC^CbCfKbKfKjKnMZM^MbMfdBDFDJDNGrGvGzG~OzO~PBPFdBDFDJDNJRJVJZJ^PbPfPjPndBDFDJDNJzJ~KBKFMZM^MbMfdjDnDrDvGrGvGzG~NjNnNrNvdjDnDrDvIBIFIJINQrQvQzQ~djDnDrDvLJLNLRLVMZM^MbMfeREVEZE^HZH^HbHfQrQvQzQ~eREVEZE^JRJVJZJ^NBNFNJNNeREVEZE^LJLNLRLVOzO~PBPFezE~FBFFHZH^HbHfPbPfPjPnezE~FBFFIjInIrIvNBNFNJNNezE~FBFFJzJ~KBKFOROVOZO^fbFfFjFnHZH^HbHfQJQNQRQVfbFfFjFnIBIFIJINNBNFNJNNfbFfFjFnKbKfKjKnNjNnNrNv_B?V?Y?\AbAvAyA|BJB^BaBdBrCFCICL_B?V?Y?\GJG^GaGdGrHFHIHLHZHnHqHt_B?V?Y?\LrMFMIMLMZMnMqMtNBNVNYN\_B?V?Y?\RZRnRqRt_j?~@A@DAbAvAyA|CZCnCqCtEREfEiEl_j?~@A@DGJG^GaGdIBIVIYI\JzKNKQKT_j?~@A@DLrMFMIMLNjN~OAODPbPvPyP|_j?~@A@DRZRnRqRt`R@f@i@lAbAvAyA|DBDVDYD\FbFvFyF|`R@f@i@lGJG^GaGdIjI~JAJDLJL^LaLd`R@f@i@lLrMFMIMLOROfOiOlQrRFRIRL`R@f@i@lRZRnRqRt`zANAQATAbAvAyA|DjD~EAEDEzFNFQFT`zANAQATGJG^GaGdJRJfJiJlKbKvKyK|`zANAQATLrMFMIMLOzPNPQPTQJQ^QaQd`zANAQATRZRnRqRtbJB^BaBdJzKNKQKTQJQ^QaQdbJB^BaBdKbKvKyK|QrRFRIRLbJB^BaBdLJL^LaLdPbPvPyP|brCFCICLIBIVIYI\OzPNPQPTbrCFCICLIjI~JAJDNjN~OAODbrCFCICLJRJfJiJlOROfOiOlcZCnCqCtGrHFHIHLOROfOiOlcZCnCqCtIjI~JAJDQJQ^QaQdSBcZCnCqCtKbKvKyK|MZMnMqMtdBDVDYD\GrHFHIHLOzPNPQPTdBDVDYD\JRJfJiJlPbPvPyP|SBSVdBDVDYD\JzKNKQKTMZMnMqMtdjD~EAEDGrHFHIHLNjN~OAODdjD~EAEDIBIVIYI\QrRFRIRLSBSVSYdjD~EAEDLJL^LaLdMZMnMqMteREfEiElHZHnHqHtQrRFRIRLeREfEiElJRJfJiJlNBNVNYN\eREfEiElLJL^LaLdOzPNPQPTezFNFQFTHZHnHqHtPbPvPyP|ezFNFQFTIjI~JAJDNBNVNYN\ezFNFQFTJzKNKQKTOROfOiOlfbFvFyF|HZHnHqHtQJQ^QaQdfbFvFyF|IBIVIYI\NBNVNYN\fbFvFyF|KbKvKyK|NjN~OAOD_B?`?c?fAbB@BCBFBJBhBkBnBrCPCSCV_B?`?c?fGJGhGkGnGrHPHSHVHZHxH{H~_B?`?c?fLrMPMSMVMZMxM{M~NBN`NcNf_B?`?c?fRZRxR{R~SBS`ScSf_j@H@K@NAbB@BCBFCZCxC{C~EREpEsEv_j@H@K@NGJGhGkGnIBI`IcIfJzKXK[K^_j@H@K@NLrMPMSMVNjOHOKONPbQ@QCQF_j@H@K@NRZRxR{R~`R@p@s@vAbB@BCBFDBD`DcDfFbG@GCGF`R@p@s@vGJGhGkGnIjJHJKJNLJLhLkLn`R@p@s@vLrMPMSMVOROpOsOvQrRPRSRV`R@p@s@vRZRxR{R~`zAXA[A^AbB@BCBFDjEHEKENEzFXF[F^`zAXA[A^GJGhGkGnJRJpJsJvKbL@LCLF`zAXA[A^LrMPMSMVOzPXP[P^QJQhQkQn`zAXA[A^RZRxR{R~bJBhBkBnJzKXK[K^QJQhQkQnbJBhBkBnKbL@LCLFQrRPRSRVbJBhBkBnLJLhLkLnPbQ@QCQFbrCPCSCVIBI`IcIfOzPXP[P^brCPCSCVIjJHJKJNNjOHOKONbrCPCSCVJRJpJsJvOROpOsOvcZCxC{C~GrHPHSHVOROpOsOvcZCxC{C~IjJHJKJNQJQhQkQnSBS`ScSfcZCxC{C~KbL@LCLFMZMxM{M~dBD`DcDfGrHPHSHVOzPXP[P^dBD`DcDfJRJpJsJvPbQ@QCQFSBS`ScSfdBD`DcDfJzKXK[K^MZMxM{M~djEHEKENGrHPHSHVNjOHOKONdjEHEKENIBI`IcIfQrRPRSRVSBS`ScSfdjEHEKENLJLhLkLnMZMxM{M~eREpEsEvHZHxH{H~QrRPRSRVeREpEsEvJRJpJsJvNBN`NcNfeREpEsEvLJLhLkLnOzPXP[P^SjezFXF[F^HZHxH{H~PbQ@QCQFezFXF[F^IjJHJKJNNBN`NcNfezFXF[F^JzKXK[K^OROpOsOvSjTHfbG@GCGFHZHxH{H~QJQhQkQnfbG@GCGFIBI`IcIfNBN`NcNffbG@GCGFKbL@LCLFNjOHOKONSjTHTK_F?T?]?dAfAtA}BDBNB\BeBlBvCDCMCT_F?T?]?dGNG\GeGlGvHDHMHTH^HlHuH|_F?T?]?dLvMDMMMTM^MlMuM|NFNTN]Nd_F?T?]?dR^RlRuR|SFSTS]SdSnS|TETL_n?|@E@LAfAtA}BDC^ClCuC|EVEdEmEt_n?|@E@LGNG\GeGlIFITI]IdJ~KLKUK\_n?|@E@LLvMDMMMTNnN|OEOLPfPtP}QD_n?|@E@LR^RlRuR|`V@d@m@tAfAtA}BDDFDTD]DdFfFtF}GD`V@d@m@tGNG\GeGlInI|JEJLLNL\LeLl`V@d@m@tLvMDMMMTOVOdOmOtQvRDRMRT`V@d@m@tR^RlRuR|`~ALAUA\AfAtA}BDDnD|EEELE~FLFUF\`~ALAUA\GNG\GeGlJVJdJmJtKfKtK}LD`~ALAUA\LvMDMMMTO~PLPUP\QNQ\QeQl`~ALAUA\R^RlRuR|bNB\BeBlJ~KLKUK\QNQ\QeQlbNB\BeBlKfKtK}LDQvRDRMRTbNB\BeBlLNL\LeLlPfPtP}QDbvCDCMCTIFITI]IdO~PLPUP\bvCDCMCTInI|JEJLNnN|OEOLbvCDCMCTJVJdJmJtOVOdOmOtTVc^ClCuC|GvHDHMHTOVOdOmOtc^ClCuC|InI|JEJLQNQ\QeQlSFSTS]Sdc^ClCuC|KfKtK}LDM^MlMuM|dFDTD]DdGvHDHMHTO~PLPUP\dFDTD]DdJVJdJmJtPfPtP}QDSFSTS]SddFDTD]DdJ~KLKUK\M^MlMuM|dnD|EEELGvHDHMHTNnN|OEOLdnD|EEELIFITI]IdQvRDRMRTSFSTS]SddnD|EEELLNL\LeLlM^MlMuM|TVTdeVEdEmEtH^HlHuH|QvRDRMRTeVEdEmEtJVJdJmJtNFNTN]NdeVEdEmEtLNL\LeLlO~PLPUP\SnS|TETLe~FLFUF\H^HlHuH|PfPtP}QDe~FLFUF\InI|JEJLNFNTN]Nde~FLFUF\J~KLKUK\OVOdOmOtSnS|TETLffFtF}GDH^HlHuH|QNQ\QeQlTVTdTmffFtF}GDIFITI]IdNFNTN]NdffFtF}GDKfKtK}LDNnN|OEOLSnS|TETL_J?R?W?aAjArAwBABRBZB_BiBzCBCGCQ_J?R?W?aGRGZG_GiGzHBHGHQHbHjHoHy_J?R?W?aLzMBMGMQMbMjMoMyNJNRNWNa_J?R?W?aRbRjRoRySJSRSWSaSrSzT?TI_r?z@?@IAjArAwBACbCjCoCyEZEbEgEq_r?z@?@IGRGZG_GiIJIRIWIaKBKJKOKY_r?z@?@ILzMBMGMQNrNzO?OIPjPrPwQA_r?z@?@IRbRjRoRyTZTbTgTq`Z@b@g@qAjArAwBADJDRDWDaFjFrFwGA`Z@b@g@qGRGZG_GiIrIzJ?JILRLZL_Li`Z@b@g@qLzMBMGMQOZObOgOqQzRBRGRQ`Z@b@g@qRbRjRoRyaBAJAOAYAjArAwBADrDzE?EIFBFJFOFYaBAJAOAYGRGZG_GiJZJbJgJqKjKrKwLAaBAJAOAYLzMBMGMQPBPJPOPYQRQZQ_QiaBAJAOAYRbRjRoRybRBZB_BiKBKJKOKYQRQZQ_QibRBZB_BiKjKrKwLAQzRBRGRQbRBZB_BiLRLZL_LiPjPrPwQAbzCBCGCQIJIRIWIaPBPJPOPYUBbzCBCGCQIrIzJ?JINrNzO?OIbzCBCGCQJZJbJgJqOZObOgOqTZTbTgTqcbCjCoCyGzHBHGHQOZObOgOqcbCjCoCyIrIzJ?JIQRQZQ_QiSJSRSWSacbCjCoCyKjKrKwLAMbMjMoMyUBUJdJDRDWDaGzHBHGHQPBPJPOPYdJDRDWDaJZJbJgJqPjPrPwQASJSRSWSadJDRDWDaKBKJKOKYMbMjMoMydrDzE?EIGzHBHGHQNrNzO?OIdrDzE?EIIJIRIWIaQzRBRGRQSJSRSWSadrDzE?EILRLZL_LiMbMjMoMyTZTbTgTqeZEbEgEqHbHjHoHyQzRBRGRQeZEbEgEqJZJbJgJqNJNRNWNaeZEbEgEqLRLZL_LiPBPJPOPYSrSzT?TIfBFJFOFYHbHjHoHyPjPrPwQAUBUJUOfBFJFOFYIrIzJ?JINJNRNWNafBFJFOFYKBKJKOKYOZObOgOqSrSzT?TIfjFrFwGAHbHjHoHyQRQZQ_QiTZTbTgTqfjFrFwGAIJIRIWIaNJNRNWNafjFrFwGAKjKrKwLANrNzO?OISrSzT?TI_N?S?Z?^AnAsAzA~BVB[BbBfB~CCCJCN_N?S?Z?^GVG[GbGfG~HCHJHNHfHkHrHv_N?S?Z?^L~MCMJMNMfMkMrMvNNNSNZN^_N?S?Z?^RfRkRrRvSNSSSZS^SvS{TBTF_v?{@B@FAnAsAzA~CfCkCrCvE^EcEjEn_v?{@B@FGVG[GbGfINISIZI^KFKKKRKV_v?{@B@FL~MCMJMNNvN{OBOFPnPsPzP~_v?{@B@FRfRkRrRvT^TcTjTn`^@c@j@nAnAsAzA~DNDSDZD^FnFsFzF~`^@c@j@nGVG[GbGfIvI{JBJFLVL[LbLf`^@c@j@nL~MCMJMNO^OcOjOnQ~RCRJRN`^@c@j@nRfRkRrRvUFUKURUVaFAKARAVAnAsAzA~DvD{EBEFFFFKFRFVaFAKARAVGVG[GbGfJ^JcJjJnKnKsKzK~aFAKARAVL~MCMJMNPFPKPRPVQVQ[QbQfaFAKARAVRfRkRrRvbVB[BbBfKFKKKRKVQVQ[QbQfbVB[BbBfKnKsKzK~Q~RCRJRNbVB[BbBfLVL[LbLfPnPsPzP~b~CCCJCNINISIZI^PFPKPRPVUFUKURUVb~CCCJCNIvI{JBJFNvN{OBOFUnb~CCCJCNJ^JcJjJnO^OcOjOnT^TcTjTncfCkCrCvG~HCHJHNO^OcOjOncfCkCrCvIvI{JBJFQVQ[QbQfSNSSSZS^cfCkCrCvKnKsKzK~MfMkMrMvUFUKURUVdNDSDZD^G~HCHJHNPFPKPRPVdNDSDZD^J^JcJjJnPnPsPzP~SNSSSZS^dNDSDZD^KFKKKRKVMfMkMrMvUnUsdvD{EBEFG~HCHJHNNvN{OBOFdvD{EBEFINISIZI^Q~RCRJRNSNSSSZS^dvD{EBEFLVL[LbLfMfMkMrMvT^TcTjTne^EcEjEnHfHkHrHvQ~RCRJRNUnUsUze^EcEjEnJ^JcJjJnNNNSNZN^e^EcEjEnLVL[LbLfPFPKPRPVSvS{TBTFfFFKFRFVHfHkHrHvPnPsPzP~UFUKURUVfFFKFRFVIvI{JBJFNNNSNZN^fFFKFRFVKFKKKRKVO^OcOjOnSvS{TBTFfnFsFzF~HfHkHrHvQVQ[QbQfT^TcTjTnfnFsFzF~INISIZI^NNNSNZN^fnFsFzF~KnKsKzK~NvN{OBOFSvS{TBTF_F?P?X?bAfApAxBBBNBXB`BjBvC@CHCR_F?P?X?bGNGXG`GjGvH@HHHRH^HhHpHz_F?P?X?bLvM@MHMRM^MhMpMzNFNPNXNb_F?P?X?bR^RhRpRzSFSPSXSbSnSxT@TJ_n?x@@@JAfApAxBBC^ChCpCzEVE`EhEr_n?x@@@JGNGXG`GjIFIPIXIbJ~KHKPKZ_n?x@@@JLvM@MHMRNnNxO@OJPfPpPxQB_n?x@@@JR^RhRpRzTVT`ThTr`V@`@h@rAfApAxBBDFDPDXDbFfFpFxGB`V@`@h@rGNGXG`GjInIxJ@JJLNLXL`Lj`V@`@h@rLvM@MHMROVO`OhOrQvR@RHRR`V@`@h@rR^RhRpRzT~UHUPUZ`~AHAPAZAfApAxBBDnDxE@EJE~FHFPFZ`~AHAPAZGNGXG`GjJVJ`JhJrKfKpKxLB`~AHAPAZLvM@MHMRO~PHPPPZQNQXQ`Qj`~AHAPAZR^RhRpRzUfUpUxVBbNBXB`BjJ~KHKPKZQNQXQ`QjbNBXB`BjKfKpKxLBQvR@RHRRVNbNBXB`BjLNLXL`LjPfPpPxQBbvC@CHCRIFIPIXIbO~PHPPPZT~UHUPUZbvC@CHCRInIxJ@JJNnNxO@OJUfUpUxVBbvC@CHCRJVJ`JhJrOVO`OhOrTVT`ThTrc^ChCpCzGvH@HHHROVO`OhOrc^ChCpCzInIxJ@JJQNQXQ`QjSFSPSXSbc^ChCpCzKfKpKxLBM^MhMpMzT~UHUPUZdFDPDXDbGvH@HHHRO~PHPPPZVNVXdFDPDXDbJVJ`JhJrPfPpPxQBSFSPSXSbdFDPDXDbJ~KHKPKZM^MhMpMzUfUpUxVBdnDxE@EJGvH@HHHRNnNxO@OJdnDxE@EJIFIPIXIbQvR@RHRRSFSPSXSbdnDxE@EJLNLXL`LjM^MhMpMzTVT`ThTreVE`EhErH^HhHpHzQvR@RHRRUfUpUxVBeVE`EhErJVJ`JhJrNFNPNXNbeVE`EhErLNLXL`LjO~PHPPPZSnSxT@TJe~FHFPFZH^HhHpHzPfPpPxQBT~UHUPUZe~FHFPFZInIxJ@JJNFNPNXNbVNVXV`e~FHFPFZJ~KHKPKZOVO`OhOrSnSxT@TJffFpFxGBH^HhHpHzQNQXQ`QjTVT`ThTrffFpFxGBIFIPIXIbNFNPNXNbffFpFxGBKfKpKxLBNnNxO@OJSnSxT@TJ_N?Q?U?eAnAqAuBEBVBYB]BmB~CACECU_N?Q?U?eGVGYG]GmG~HAHEHUHfHiHmH}_N?Q?U?eL~MAMEMUMfMiMmM}NNNQNUNe_N?Q?U?eRfRiRmR}SNSQSUSeSvSyS}TM_v?y?}@MAnAqAuBECfCiCmC}E^EaEeEu_v?y?}@MGVGYG]GmINIQIUIeKFKIKMK]_v?y?}@ML~MAMEMUNvNyN}OMPnPqPuQE_v?y?}@MRfRiRmR}T^TaTeTuVVVYV]Vm`^@a@e@uAnAqAuBEDNDQDUDeFnFqFuGE`^@a@e@uGVGYG]GmIvIyI}JMLVLYL]Lm`^@a@e@uL~MAMEMUO^OaOeOuQ~RARERU`^@a@e@uRfRiRmR}UFUIUMU]aFAIAMA]AnAqAuBEDvDyD}EMFFFIFMF]aFAIAMA]GVGYG]GmJ^JaJeJuKnKqKuLEaFAIAMA]L~MAMEMUPFPIPMP]QVQYQ]QmaFAIAMA]RfRiRmR}UnUqUuVEbVBYB]BmKFKIKMK]QVQYQ]QmbVBYB]BmKnKqKuLEQ~RARERUVVVYV]VmbVBYB]BmLVLYL]LmPnPqPuQEV~b~CACECUINIQIUIePFPIPMP]UFUIUMU]b~CACECUIvIyI}JMNvNyN}OMUnUqUuVEb~CACECUJ^JaJeJuO^OaOeOuT^TaTeTucfCiCmC}G~HAHEHUO^OaOeOuV~WAcfCiCmC}IvIyI}JMQVQYQ]QmSNSQSUSecfCiCmC}KnKqKuLEMfMiMmM}UFUIUMU]dNDQDUDeG~HAHEHUPFPIPMP]VVVYV]VmdNDQDUDeJ^JaJeJuPnPqPuQESNSQSUSedNDQDUDeKFKIKMK]MfMiMmM}UnUqUuVEdvDyD}EMG~HAHEHUNvNyN}OMdvDyD}EMINIQIUIeQ~RARERUSNSQSUSedvDyD}EMLVLYL]LmMfMiMmM}T^TaTeTue^EaEeEuHfHiHmH}Q~RARERUUnUqUuVEe^EaEeEuJ^JaJeJuNNNQNUNee^EaEeEuLVLYL]LmPFPIPMP]SvSyS}TMfFFIFMF]HfHiHmH}PnPqPuQEUFUIUMU]fFFIFMF]IvIyI}JMNNNQNUNeVVVYV]VmfFFIFMF]KFKIKMK]O^OaOeOuSvSyS}TMfnFqFuGEHfHiHmH}QVQYQ]QmT^TaTeTufnFqFuGEINIQIUIeNNNQNUNeV~WAWEfnFqFuGEKnKqKuLENvNyN}OMSvSyS}TM_J?O?[?_AjAoA{B?BRBWBcBgBzC?CKCO_J?O?[?_GRGWGcGgGzH?HKHOHbHgHsHw_J?O?[?_LzM?MKMOMbMgMsMwNJNON[N__J?O?[?_RbRgRsRwSJSOS[S_SrSwTCTG_r?w@C@GAjAoA{B?CbCgCsCwEZE_EkEo_r?w@C@GGRGWGcGgIJIOI[I_KBKGKSKW_r?w@C@GLzM?MKMONrNwOCOGPjPoP{Q?_r?w@C@GRbRgRsRwTZT_TkToVRVWVcVg`Z@_@k@oAjAoA{B?DJDOD[D_FjFoF{G?`Z@_@k@oGRGWGcGgIrIwJCJGLRLWLcLg`Z@_@k@oLzM?MKMOOZO_OkOoQzR?RKRO`Z@_@k@oRbRgRsRwUBUGUSUWaBAGASAWAjAoA{B?DrDwECEGFBFGFSFWaBAGASAWGRGWGcGgJZJ_JkJoKjKoK{L?aBAGASAWLzM?MKMOPBPGPSPWQRQWQcQgaBAGASAWRbRgRsRwUjUoU{V?VzW?WKWObRBWBcBgKBKGKSKWQRQWQcQgWbbRBWBcBgKjKoK{L?QzR?RKROVRVWVcVgbRBWBcBgLRLWLcLgPjPoP{Q?VzW?WKWObzC?CKCOIJIOI[I_PBPGPSPWUBUGUSUWbzC?CKCOIrIwJCJGNrNwOCOGUjUoU{V?bzC?CKCOJZJ_JkJoOZO_OkOoTZT_TkTocbCgCsCwGzH?HKHOOZO_OkOoVzW?WKWOcbCgCsCwIrIwJCJGQRQWQcQgSJSOS[S_cbCgCsCwKjKoK{L?MbMgMsMwUBUGUSUWdJDOD[D_GzH?HKHOPBPGPSPWVRVWVcVgdJDOD[D_JZJ_JkJoPjPoP{Q?SJSOS[S_dJDOD[D_KBKGKSKWMbMgMsMwUjUoU{V?drDwECEGGzH?HKHONrNwOCOGWbWgdrDwECEGIJIOI[I_QzR?RKROSJSOS[S_drDwECEGLRLWLcLgMbMgMsMwTZT_TkToeZE_EkEoHbHgHsHwQzR?RKROUjUoU{V?eZE_EkEoJZJ_JkJoNJNON[N_WbWgWseZE_EkEoLRLWLcLgPBPGPSPWSrSwTCTGfBFGFSFWHbHgHsHwPjPoP{Q?UBUGUSUWfBFGFSFWIrIwJCJGNJNON[N_VRVWVcVgfBFGFSFWKBKGKSKWOZO_OkOoSrSwTCTGfjFoF{G?HbHgHsHwQRQWQcQgTZT_TkTofjFoF{G?IJIOI[I_NJNON[N_VzW?WKWOfjFoF{G?KjKoK{L?NrNwOCOGSrSwTCTG_??@?A?BA_AcAgAkBGBWBXBYBoCBCCCD_k?l?m?nGHGLGPGTIDIRI\IeJ|KGKRK[`W@X@Y@ZLqLuLyL}OYOdOeOsQyR@RLRNaCADAEAFRZR^RbRfUnUsUzU~V~WAWEWUc[CmCnCoIpI{I~JJQUQWQ^QlSBSVSYS\dGDXDYDZGpHEHHHKPEPJPPPXVNVXV`VjdsECEDEELPLYLeLhMYMoMrMuTVTdTmTteSEnEoEpJ\JdJiJoNAN_NbNeWbWgWsWwfCFYFZF[HXHvHyH|PePqPyQAUBUJUOUYfgGDGEGFKlKpKwLFNmN{OCONSjTHTKTN") xQ3pnx = xQ3p.networkx_graph() xQ3ppnx = xQ3pp.networkx_graph() # List of graphs to process graphs = [('xQ3p ', xQ3p),('xQ3pp ', xQ3pp)] def count_k_cycles(G, k): count = 0 visited = set() def dfs(path, start, depth): nonlocal count current = path[-1] # Early exit if we?re going too deep if depth == k: if start in G.neighbors(current): # Normalize to avoid duplicates cycle = tuple(sorted(path)) if cycle not in visited: visited.add(cycle) count += 1 return for neighbor in G.neighbors(current): if neighbor not in path and neighbor >= start: dfs(path + [neighbor], start, depth + 1) for v in G.vertices(): dfs([v], v, 1) return count # each cycle counted twice (once forward, once reverse) def algebraic_connectivity(G): """ Compute the algebraic connectivity (Fiedler value) of a graph G. INPUT: - G: a SageMath Graph OUTPUT: - The second-smallest eigenvalue of the Laplacian matrix of G """ L = G.laplacian_matrix() eigenvalues = L.eigenvalues() eigenvalues.sort() if len(eigenvalues) < 2: return 0 # Trivial case: empty or isolated vertex graph return eigenvalues[1] def check_all_isomorphisms(graph_list): n = len(graph_list) print("\n Isomorphism check of all pairs (a dot means the pair ARE isomorphic):") for i in range(n): label_i, G_i = graph_list[i] for j in range(i + 1, n): label_j, G_j = graph_list[j] if G_i.is_isomorphic(G_j): # print(".", end="") print(f"{label_i} IS isomorphic to {label_j}") else: print(f"{label_i} NOT isomorphic to {label_j}") def non_isomorphic(graph_list): reps = [] labels = [] for label, G in graph_list: if not any(G.is_isomorphic(H) for _, H in reps): reps.append((label, G)) labels.append(label.strip()) # remove extra spaces if you want return labels def isomorphic(graph_list): labels = [] for i, (label, G) in enumerate(graph_list): if any(i != j and G.is_isomorphic(H) for j, (_, H) in enumerate(graph_list)): labels.append(label.strip()) return labels def compare_graphs_list(graphs): canon = {} count =1 for label, G in graphs: s6 = G.canonical_label().sparse6_string() # print(f"{label.strip():15} : {s6[:40]}...") canon.setdefault(s6, []).append(label.strip()) print("\n noniso ->",len(canon)) print("\nGroups:") for group in canon.values(): if len(group) > 1: print(count,"Isomorphic :", ", ".join(group)) count=count+1 else: print(count,"Unique :", group[0]) count=count+1 print("\n START \n") #noniso = non_isomorphic(graphs) #print(len(noniso), " non-isomorphic -> ",noniso) #iso=isomorphic(graphs) #print(len(iso), " isomorphic -> ",iso,"\n") compare_graphs_list(graphs) nonisographs = graphs # Print properties for each graph in the list print("\n Main properties of the graph\n") for label, graph in nonisographs: print(f"{label} | Ord.: {graph.order()} / Size: {graph.size()} / Diam.: {graph.diameter()} / Avg.dist: {graph.average_distance().n(digits=6)} / 16-reg.? {graph.is_regular(k=16)} / Girth: {graph.girth()} ")# / Alg.conn. {algebraic_connectivity(graph).n(digits=6)} ")# / Domin. number: {graph.dominating_set(value_only=True)} ") print("\n Symmetry properties of the graph\n") for label, graph in nonisographs: print(f"{label} | Aut.group.ord.: {graph.automorphism_group().order()} / Cayley ? {graph.is_cayley()} --- vtx.trans. ? {graph.is_vertex_transitive()} -- edge.trans. ? {graph.is_edge_transitive()}" ) print("Degree histogram xQ3p:" , nx.degree_histogram(xQ3pnx) ) print("Degree histogram xQ3pp:", nx.degree_histogram(xQ3ppnx) ) ''' print("\n Properties of the graphs as at arXiv\n") for label, graph in nonisographs: print(f"{label} & {graph.average_distance().n(digits=6)} & {graph.girth()} & {algebraic_connectivity(graph).n(digits=6)} & {graph.automorphism_group().order()} \\\\ ") ''' # Check isomorphisms # print(f"Are isomorphic G5 and G6? {G5.is_isomorphic(G6)}") #check_all_isomorphisms(nonisographs) print("\n") # automorphism group structure print(" Automorphism group structure") print(' C_n is the cyclic group of order n; x means direct product; : means semidirect product.\n') AxQ3p = xQ3p.automorphism_group() AxQ3pp = xQ3pp.automorphism_group() print('xQ24p:', AxQ3p.structure_description(), ' | center order:',AxQ3p.center().order()) print('xQ24pp:', AxQ3pp.structure_description(), ' | center order:',AxQ3pp.center().order()) print("\n") # Compute the distance distribution from a given vertex v in graph G # Returns a list where the i-th element is the number of vertices at distance i from v def distance_distribution(G, v): from collections import Counter distances = G.shortest_path_lengths(v) distribution = Counter(distances.values()) result = [distribution[d] for d in sorted(distribution)] return result print("\n") for label, graph in nonisographs: print(f"{label} distance distrib from vtx. 0: {distance_distribution(graph, 0)}") ''' # Counting k-cycles for each graph print("\nNumber of k-cycles for k=3 up to 5") for label, graph in nonisographs: print(f"{label} "," & ".join(str(count_k_cycles(graph, k)) for k in range(3, 6))) # from 0 versio Molodtsov  for name, G in nonisographs: fname = name.strip() + "_adjlst.txt" s = "; ".join( "{}-{}".format(v, ",".join(map(str, G.neighbors(v)))) if G.neighbors(v) else str(v) for v in G.vertices(sort=True) ) with open(fname, "w") as f: f.write(s) # from 0 for label, _ in nonisographs: base = label.strip() G = globals()[base + "nx"] with open(f"{base}_edges.txt", "w") as f: f.write(",".join( f"{{{u},{v}}}" for u, v in sorted((min(u, v), max(u, v)) for u, v in G.edges()) )) ''' # from 1 for label, _ in nonisographs: base = label.strip() G = globals()[base + "nx"] with open(f"{base}_Zedges.txt", "w") as f: f.write(",".join( f"{{{u+1},{v+1}}}" for u, v in sorted((min(u, v), max(u, v)) for u, v in G.edges()) )) print("\n DONE \n") ##