1,\xi),(g_2,\eta),(g_3,\gamma)\cdot_{\mathrm{h}}(g_4,\theta)}\cdot_{\mathrm{h}}a_{(g_1,\xi)\cdot_{\mathrm{h}}(g_2,\eta),(g_3,\gamma),(g_4,\theta)}=\\
&&\big((g_1,\xi)\cdot_{\mathrm{h}}a_{(g_2,\eta),(g_3,\gamma),(g_4,\theta)}\big)\cdot_{\mathrm{h}}a_{(g_1,\xi),(g_2,\eta)\cdot_{\mathrm{h}}(g_3,\gamma),(g_4,\theta)}\cdot_{\mathrm{h}}\big(a_{(g_1,\xi),(g_2,\eta),(g_3,\gamma)}\cdot_{\mathrm{h}}(g_4,\theta)\big)\end{aligned}$$ By straightforward computations, the left hand side is equal to $$\big(g_1\cdot g_2\cdot g_3\cdot g_4,\xi+F_1(g_1)(\eta)+F_1(g_1\cdot
g_2)(\gamma)+F_1(g_1\cdot g_2\cdot g_3)(\theta),F_2(g_1\cdot g_2,
g_3)(\theta)+F_2(g_1, g_2)(\gamma+F_1(g_3)(\theta))\big),$$ and the right hand side is equal to $$\begin{aligned}
&\big(g_1\cdot g_2\cdot g_3\cdot g_4,\xi+F_1(g_1)(\eta)+F_1(g_1\cdot
g_2)(\gamma)+F_1(g_1\cdot g_2\cdot g_3)(\theta),\\&F_2(g_1,
g_2)(\gamma)+F_2(g_1, g_2\cdot g_3)(\theta)+F_1(g_1)\circ F_2(g_2,
g_3)(\theta)\big).\end{aligned}$$ By (\[eqn:F closed\]), they are equal.

Integrating string Lie 2-algebra $\mathbb R\longrightarrow {\mathfrak g}\oplus {\mathfrak g}^*$ {#sec:int}
===============================================================================================

As
1,\xi),(g_2,\eta),(g_3,\gamma)\cdot_{\mathrm{h}}(g_4,\theta)}\cdot_{\mathrm{h}}a_{(g_1,\xi)\cdot_{\mathrm{h}}(g_2,\eta),(g_3,\gamma),(g_4,\theta)}=\\ 
 & & \big((g_1,\xi)\cdot_{\mathrm{h}}a_{(g_2,\eta),(g_3,\gamma),(g_4,\theta)}\big)\cdot_{\mathrm{h}}a_{(g_1,\xi),(g_2,\eta)\cdot_{\mathrm{h}}(g_3,\gamma),(g_4,\theta)}\cdot_{\mathrm{h}}\big(a_{(g_1,\xi),(g_2,\eta),(g_3,\gamma)}\cdot_{\mathrm{h}}(g_4,\theta)\big)\end{aligned}$$ By straightforward computations, the left hand slope is adequate to $ $ \big(g_1\cdot g_2\cdot g_3\cdot g_4,\xi+F_1(g_1)(\eta)+F_1(g_1\cdot 
 g_2)(\gamma)+F_1(g_1\cdot g_2\cdot g_3)(\theta),F_2(g_1\cdot g_2, 
 g_3)(\theta)+F_2(g_1, g_2)(\gamma+F_1(g_3)(\theta))\big),$$ and the right hand slope is adequate to $ $ \begin{aligned } 
 & \big(g_1\cdot g_2\cdot g_3\cdot g_4,\xi+F_1(g_1)(\eta)+F_1(g_1\cdot 
 g_2)(\gamma)+F_1(g_1\cdot g_2\cdot g_3)(\theta),\\&F_2(g_1, 
 g_2)(\gamma)+F_2(g_1, g_2\cdot g_3)(\theta)+F_1(g_1)\circ F_2(g_2, 
 g_3)(\theta)\big).\end{aligned}$$ By (\[eqn: F closed\ ]), they are equal. 

 Integrating string Lie 2 - algebra $ \mathbb R\longrightarrow { \mathfrak g}\oplus { \mathfrak g}^*$ { # sec: int } 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 As
1,\xi),(g_2,\fta),(g_3,\gamma)\cdot_{\mathrm{h}}(g_4,\theua)}\cdot_{\mathrm{h}}a_{(g_1,\xi)\eeot_{\matirm{h}}(g_2,\etz),(g_3,\gamma),(g_4,\gheta)}=\\
&&\big((g_1,\xi)\cdot_{\mathrm{h}}a_{(g_2,\eta),(g_3,\jammq),(g_4,\theuc)}\big)\cdot_{\mathrm{h}}a_{(g_1,\xi),(g_2,\dta)\cdot_{\manhrm{h}}(g_3,\gamna),(g_4,\tieta)}\cdot_{\mathrm{h}}\bmf(a_{(g_1,\xi),(g_2,\ebc),(g_3,\gamjw)}\cdoc_{\methrm{h}}(g_4,\theta)\big)\gnd{aligned}$$ Bf straightforwdra eomputations, the left hand side is ezual to $$\blg(g_1\cdot g_2\cdot d_3\cdou g_4,\vi+F_1(g_1)(\sna)+N_1(g_1\cdot
g_2)(\gamma)+F_1(g_1\cdot g_2\cdot g_3)(\theta),F_2(f_1\cdot g_2,
j_3)(\theta)+F_2(g_1, g_2)(\gamma+G_1(g_3)(\theta))\big),$$ and the right hwnd dide is equal to $$\bfgin{aligned}
&\vig(g_1\seot g_2\cdot g_3\caot g_4,\xi+F_1(g_1)(\eua)+Y_1(g_1\cdot
g_2)(\gammz)+F_1(g_1\cdot g_2\cdot g_3)(\theta),\\&F_2(g_1,
g_2)(\gamma)+F_2(g_1, e_2\cdot g_3)(\theta)+F_1(g_1)\curx F_2(h_2,
c_3)(\theta)\big).\env{alignvd}$$ By (\[eqn:F closed\]), thef are eaual.

Integratinn strmng Oie 2-algebra $\mathbb R\lmngrightarrow {\mathsrak g}\oplgs {\mathfrak g}^*$ {#sec:inr}
===============================================================================================

Aw
1,\xi),(g_2,\eta),(g_3,\gamma)\cdot_{\mathrm{h}}(g_4,\theta)}\cdot_{\mathrm{h}}a_{(g_1,\xi)\cdot_{\mathrm{h}}(g_2,\eta),(g_3,\gamma),(g_4,\theta)}=\\ &&\big((g_1,\xi)\cdot_{\mathrm{h}}a_{(g_2,\eta),(g_3,\gamma),(g_4,\theta)}\big)\cdot_{\mathrm{h}}a_{(g_1,\xi),(g_2,\eta)\cdot_{\mathrm{h}}(g_3,\gamma),(g_4,\theta)}\cdot_{\mathrm{h}}\big(a_{(g_1,\xi),(g_2,\eta),(g_3,\gamma)}\cdot_{\mathrm{h}}(g_4,\theta)\big)\end{aligned}$$ By straightforward computations, the left is to $$\big(g_1\cdot g_3\cdot g_4,\xi+F_1(g_1)(\eta)+F_1(g_1\cdot g_2)(\gamma)+F_1(g_1\cdot and right hand side equal to $$\begin{aligned} g_2\cdot g_3\cdot g_4,\xi+F_1(g_1)(\eta)+F_1(g_1\cdot g_2)(\gamma)+F_1(g_1\cdot g_2\cdot g_3)(\theta),\\&F_2(g_1, g_2\cdot g_3)(\theta)+F_1(g_1)\circ F_2(g_2, g_3)(\theta)\big).\end{aligned}$$ By (\[eqn:F closed\]), they are equal. Integrating string Lie $\mathbb R\longrightarrow {\mathfrak g}\oplus {\mathfrak g}^*$ {#sec:int} =============================================================================================== As
1,\xi),(g_2,\eta),(g_3,\gamma)\cdot_{\mathrm{h}}(g_4,\tHeta)}\cdot_{\maThrm{h}}A_{(g_1,\xI)\cdOt_{\MathRm{h}}(g_2,\Eta),(g_3,\gamma),(g_4,\thetA)}=\\
&&\Big((g_1,\Xi)\cdot_{\mathrm{h}}a_{(g_2,\eta),(g_3,\gamMa),(g_4,\thEtA)}\Big)\cDOt_{\MathrM{h}}a_{(g_1,\xi),(g_2,\ETa)\CDOt_{\mAtHrM{h}}(g_3,\GaMMa),(G_4,\thetA)}\cdOt_{\mathrM{h}}\big(a_{(g_1,\xi),(g_2,\Eta),(G_3,\gAmma)}\cdot_{\mathRM{h}}(G_4,\theta)\big)\eNd{aLigned}$$ By straIghTforwaRd ComPUtatiOns, The leFt hand SIde is eQual to $$\big(G_1\cDOt g_2\cdoT G_3\cdot g_4,\xI+f_1(G_1)(\eTa)+F_1(g_1\Cdot
g_2)(\gamma)+F_1(g_1\cdot g_2\CDoT G_3)(\theta),F_2(g_1\cdot g_2,
g_3)(\Theta)+F_2(G_1, g_2)(\GAmMA+f_1(g_3)(\tHetA))\big),$$ and the RiGht haND side is EQuAL TO $$\beGIn{aligned}
&\big(g_1\Cdot g_2\cdot g_3\cDOt g_4,\Xi+F_1(g_1)(\etA)+F_1(G_1\cdOT
g_2)(\gammA)+F_1(g_1\cdOt G_2\CdoT g_3)(\theta),\\&F_2(g_1,
g_2)(\gAmma)+f_2(g_1, g_2\cdot g_3)(\tHeta)+F_1(g_1)\CIrc F_2(g_2,
g_3)(\tHEta)\big).\eNd{aligNed}$$ by (\[eQn:F cLOsEd\]), TheY aRE eqUAl.

intEGraTing striNg liE 2-algeBra $\mATHBB R\loNgrIghtArrow {\Mathfrak g}\opluS {\maThfrAK g}^*$ {#sEc:int}
===============================================================================================

as
1,\xi),(g_2,\eta),(g_3,\ga mma)\cdot_ {\mat hrm {h} }( g_4, \the ta)}\cdot_{\ma t hrm{ h}}a_{(g_1,\xi)\cdot_{ \math rm { h}}( g _2 ,\eta ),(g_3, \ ga m m a), (g _4 ,\t he t a) }=\\&&\ big((g_ 1,\xi)\cdo t_{ \m athrm{h}}a_{ ( g_ 2,\eta),(g _3, \gamma),(g_4 ,\t heta)} \b ig) \ cdot_ {\m athrm {h}}a_ { (g_1,\ xi),(g_2, \e t a)\cdo t _{\math r m {h }}(g _3,\gamma),(g_4,\ t he t a)}\cdot_{\mat hrm{h} }\ b ig ( a _{( g_1 ,\xi),(g_2 ,\ eta), ( g_3,\ga m ma ) } \ cdo t _{\mathrm{h}} (g_4,\theta ) \bi g)\end {a lig n ed}$$By st ra i ght forward com puta tions, th e left hand si d e is eq ual to  $$ \bi g(g_ 1 \c do t g _2 \ cdo t  g _3\ c dot  g_4,\xi +F _1 (g_1) (\et a ) + F _1(g _1\ cdot 
g_2) (\gamma)+F_1( g_1 \cdo t  g_ 2\cdo t g_3 )(\t he ta),F _2(g_1 \cdot  g _2,
g_3)(\theta )+F_ 2(g_1, g_ 2)( \g amm a+ F_1(g _ 3)(\th eta ))\ big),$$  and th e  ri gh t h an d side is equal to  $ $ \ be gin{alig ned}
& \ bi g( g _1\cdotg_ 2\c dotg _ 3\cdo t g_ 4 ,\ xi+F_1(g _1)(\e t a) +F _1(g_1\ cd ot
g_2 )( \ga mma )+F_1 ( g_1\ cdot g _2\cdotg_3)( \ theta),\\&F_2( g _1,
g_2)(\gam m a) + F _2 ( g_1,  g_ 2\cdot g_3) (\th e ta)+ F_1( g _1 )\c i rc F_ 2(g_2 ,g _3 ) (\theta)\big).\end{ al igned} $$ By  (\[eqn:F clo sed\]), th e y are equa l.
I nt e grating string  Lie2-algebra$ \mathbbR\lon grightar row {\mat h f rak g}\o plu s { \ma thf r a kg}^*$ {#sec:i n t }
== == ======= === ======= === === === === == ========= ======== == == == == === ===== = ======== == === == === ===== = ==

As 
1,\xi),(g_2,\eta),(g_3,\gamma)\cdot_{\mathrm{h}}(g_4,\theta)}\cdot_{\mathrm{h}}a_{(g_1,\xi)\cdot_{\mathrm{h}}(g_2,\eta),(g_3,\gamma),(g_4,\theta)}=\\
&&\big((g_1,\xi)\cdot_{\mathrm{h}}a_{(g_2,\eta),(g_3,\gamma),(g_4,\theta)}\big)\cdot_{\mathrm{h}}a_{(g_1,\xi),(g_2,\eta)\cdot_{\mathrm{h}}(g_3,\gamma),(g_4,\theta)}\cdot_{\mathrm{h}}\big(a_{(g_1,\xi),(g_2,\eta),(g_3,\gamma)}\cdot_{\mathrm{h}}(g_4,\theta)\big)\end{aligned}$$ By_straightforward computations,_the left hand side_is equal_to_$$\big(g_1\cdot g_2\cdot_g_3\cdot_g_4,\xi+F_1(g_1)(\eta)+F_1(g_1\cdot
g_2)(\gamma)+F_1(g_1\cdot g_2\cdot g_3)(\theta),F_2(g_1\cdot_g_2,
g_3)(\theta)+F_2(g_1, g_2)(\gamma+F_1(g_3)(\theta))\big),$$ and_the right hand side_is equal to_$$\begin{aligned}
&\big(g_1\cdot_g_2\cdot g_3\cdot g_4,\xi+F_1(g_1)(\eta)+F_1(g_1\cdot
g_2)(\gamma)+F_1(g_1\cdot g_2\cdot g_3)(\theta),\\&F_2(g_1,
g_2)(\gamma)+F_2(g_1, g_2\cdot g_3)(\theta)+F_1(g_1)\circ F_2(g_2,
g_3)(\theta)\big).\end{aligned}$$ By (\[eqn:F closed\]), they are equal.

Integrating_string_Lie 2-algebra_$\mathbb_R\longrightarrow_{\mathfrak g}\oplus {\mathfrak g}^*$ {#sec:int}
===============================================================================================

As