activeU11ttV2markU12isNatV2activeU12ttmarkttactiveU21ttmarkttactiveU31ttNmarkNactiveU41ttMNmarkU42isNatNMNactiveU42ttMNmarksplusNMactiveisNat0markttactiveisNatplusV1V2markU11isNatV1V2activeisNatsV1markU21isNatV1activeplusN0markU31isNatNNactiveplusNsMmarkU41isNatMMNmarkU11X1X2activeU11markX1X2markttactivettmarkU12XactiveU12markXmarkisNatXactiveisNatXmarkU21XactiveU21markXmarkU31X1X2activeU31markX1X2markU41X1X2X3activeU41markX1X2X3markU42X1X2X3activeU42markX1X2X3marksXactivesmarkXmarkplusX1X2activeplusmarkX1markX2mark0active0U11markX1X2U11X1X2U11X1markX2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2U12markXU12XU12activeXU12XisNatmarkXisNatXisNatactiveXisNatXU21markXU21XU21activeXU21XU31markX1X2U31X1X2U31X1markX2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2U41markX1X2X3U41X1X2X3U41X1markX2X3U41X1X2X3U41X1X2markX3U41X1X2X3U41activeX1X2X3U41X1X2X3U41X1activeX2X3U41X1X2X3U41X1X2activeX3U41X1X2X3U42markX1X2X3U42X1X2X3U42X1markX2X3U42X1X2X3U42X1X2markX3U42X1X2X3U42activeX1X2X3U42X1X2X3U42X1activeX2X3U42X1X2X3U42X1X2activeX3U42X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X22.1activeU11ttV2markU12isNatV2activeU11ttV2U12isNatV2activeU11ttV2isNatV2activeU12ttmarkttactiveU21ttmarkttactiveU31ttNmarkNactiveU41ttMNmarkU42isNatNMNactiveU41ttMNU42isNatNMNactiveU41ttMNisNatNactiveU42ttMNmarksplusNMactiveU42ttMNsplusNMactiveU42ttMNplusNMactiveisNat0markttactiveisNatplusV1V2markU11isNatV1V2activeisNatplusV1V2U11isNatV1V2activeisNatplusV1V2isNatV1activeisNatsV1markU21isNatV1activeisNatsV1U21isNatV1activeisNatsV1isNatV1activeplusN0markU31isNatNNactiveplusN0U31isNatNNactiveplusN0isNatNactiveplusNsMmarkU41isNatMMNactiveplusNsMU41isNatMMNactiveplusNsMisNatMmarkU11X1X2activeU11markX1X2markU11X1X2U11markX1X2markU11X1X2markX1markttactivettmarkU12XactiveU12markXmarkU12XU12markXmarkU12XmarkXmarkisNatXactiveisNatXmarkU21XactiveU21markXmarkU21XU21markXmarkU21XmarkXmarkU31X1X2activeU31markX1X2markU31X1X2U31markX1X2markU31X1X2markX1markU41X1X2X3activeU41markX1X2X3markU41X1X2X3U41markX1X2X3markU41X1X2X3markX1markU42X1X2X3activeU42markX1X2X3markU42X1X2X3U42markX1X2X3markU42X1X2X3markX1marksXactivesmarkXmarksXsmarkXmarksXmarkXmarkplusX1X2activeplusmarkX1markX2markplusX1X2plusmarkX1markX2markplusX1X2markX1markplusX1X2markX2mark0active0U11markX1X2U11X1X2U11X1markX2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2U12markXU12XU12activeXU12XisNatmarkXisNatXisNatactiveXisNatXU21markXU21XU21activeXU21XU31markX1X2U31X1X2U31X1markX2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2U41markX1X2X3U41X1X2X3U41X1markX2X3U41X1X2X3U41X1X2markX3U41X1X2X3U41activeX1X2X3U41X1X2X3U41X1activeX2X3U41X1X2X3U41X1X2activeX3U41X1X2X3U42markX1X2X3U42X1X2X3U42X1markX2X3U42X1X2X3U42X1X2markX3U42X1X2X3U42activeX1X2X3U42X1X2X3U42X1activeX2X3U42X1X2X3U42X1X2activeX3U42X1X2X3smarkXsXsactiveXsXplusmarkX1X2plusX1X2plusX1markX2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2truemarkU11X1X2activeU11markX1X2activeU11ttV2markU12isNatV2markU11X1X2markX1markU12XactiveU12markXactiveU31ttNmarkNmarkU12XmarkXmarkisNatXactiveisNatXactiveU41ttMNmarkU42isNatNMNmarkU21XactiveU21markXactiveU42ttMNmarksplusNMmarkU21XmarkXmarkU31X1X2activeU31markX1X2activeisNatplusV1V2markU11isNatV1V2markU31X1X2markX1markU41X1X2X3activeU41markX1X2X3activeisNatsV1markU21isNatV1markU41X1X2X3markX1markU42X1X2X3activeU42markX1X2X3activeplusN0markU31isNatNNmarkU42X1X2X3markX1marksXactivesmarkXactiveplusNsMmarkU41isNatMMNmarksXmarkXmarkplusX1X2activeplusmarkX1markX2markplusX1X2markX1markplusX1X2markX2true1active11U1122U1210U211-2U3122U4132U4232plus22s1-2mark1-2active1-2tt00isNat12000mark12markU11X1X2activeU11markX1X2activeU11ttV2markU12isNatV2markU11X1X2markX1activeU31ttNmarkNmarkU12XmarkXmarkisNatXactiveisNatXactiveU41ttMNmarkU42isNatNMNactiveU42ttMNmarksplusNMmarkU21XmarkXmarkU31X1X2activeU31markX1X2activeisNatplusV1V2markU11isNatV1V2markU31X1X2markX1markU41X1X2X3activeU41markX1X2X3activeisNatsV1markU21isNatV1markU41X1X2X3markX1markU42X1X2X3activeU42markX1X2X3activeplusN0markU31isNatNNmarkU42X1X2X3markX1activeplusNsMmarkU41isNatMMNmarksXmarkXmarkplusX1X2activeplusmarkX1markX2markplusX1X2markX1markplusX1X2markX2U11X1markX2U11X1X2U11markX1X2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2isNatactiveXisNatXisNatmarkXisNatXU12activeXU12XU12markXU12XU42X1markX2X3U42X1X2X3U42markX1X2X3U42X1X2X3U42X1X2markX3U42X1X2X3U42activeX1X2X3U42X1X2X3U42X1activeX2X3U42X1X2X3U42X1X2activeX3U42X1X2X3U21activeXU21XU21markXU21XplusX1markX2plusX1X2plusmarkX1X2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2sactiveXsXsmarkXsXU31X1markX2U31X1X2U31markX1X2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2U41X1markX2X3U41X1X2X3U41markX1X2X3U41X1X2X3U41X1X2markX3U41X1X2X3U41activeX1X2X3U41X1X2X3U41X1activeX2X3U41X1X2X3U41X1X2activeX3U41X1X2X31mark111U11211active111mark111tt00U12111isNat10U3121112U413111213U423111213s111plus21112U21111001active111markU11X1X2activeU11markX1X2activeU11ttV2markU12isNatV2markU11X1X2markX1activeU31ttNmarkNmarkU12XmarkXmarkisNatXactiveisNatXactiveU41ttMNmarkU42isNatNMNactiveU42ttMNmarksplusNMmarkU21XmarkXmarkU31X1X2activeU31markX1X2activeisNatplusV1V2markU11isNatV1V2markU31X1X2markX1markU41X1X2X3activeU41markX1X2X3activeisNatsV1markU21isNatV1markU41X1X2X3markX1markU42X1X2X3activeU42markX1X2X3markU42X1X2X3markX1activeplusNsMmarkU41isNatMMNmarksXmarkXmarkplusX1X2activeplusmarkX1markX2markplusX1X2markX1markplusX1X2markX21mark111U11211active111mark111tt00U12111isNat10U31211112U413111213U423111213s111plus21112U21111active111001markU11X1X2activeU11markX1X2activeU11ttV2markU12isNatV2markU11X1X2markX1markU12XmarkXmarkisNatXactiveisNatXactiveU41ttMNmarkU42isNatNMNactiveU42ttMNmarksplusNMmarkU21XmarkXmarkU31X1X2activeU31markX1X2activeisNatplusV1V2markU11isNatV1V2markU41X1X2X3activeU41markX1X2X3activeisNatsV1markU21isNatV1markU41X1X2X3markX1markU42X1X2X3activeU42markX1X2X3markU42X1X2X3markX1activeplusNsMmarkU41isNatMMNmarksXmarkXmarkplusX1X2activeplusmarkX1markX2markplusX1X2markX1markplusX1X2markX21mark11U1121active111mark10tt00U1210isNat11U4131U4231s10plus21U2110U3120active10000markU11X1X2activeU11markX1X2activeU11ttV2markU12isNatV2markU11X1X2markX1markU12XmarkXmarkisNatXactiveisNatXactiveU41ttMNmarkU42isNatNMNactiveU42ttMNmarksplusNMmarkU21XmarkXactiveisNatplusV1V2markU11isNatV1V2markU41X1X2X3activeU41markX1X2X3activeisNatsV1markU21isNatV1markU41X1X2X3markX1markU42X1X2X3activeU42markX1X2X3markU42X1X2X3markX1activeplusNsMmarkU41isNatMMNmarksXmarkXmarkplusX1X2activeplusmarkX1markX2markplusX1X2markX1markplusX1X2markX2U11X1markX2U11X1X2U11markX1X2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2isNatactiveXisNatXisNatmarkXisNatXU42X1markX2X3U42X1X2X3U42markX1X2X3U42X1X2X3U42X1X2markX3U42X1X2X3U42activeX1X2X3U42X1X2X3U42X1activeX2X3U42X1X2X3U42X1X2activeX3U42X1X2X3plusX1markX2plusX1X2plusmarkX1X2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2U31X1markX2U31X1X2U31markX1X2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2U41X1markX2X3U41X1X2X3U41markX1X2X3U41X1X2X3U41X1X2markX3U41X1X2X3U41activeX1X2X3U41X1X2X3U41X1activeX2X3U41X1X2X3U41X1X2activeX3U41X1X2X31mark111U11211active111mark111tt00U12111isNat10U4131111213U4231111213s1111plus21112U21111active111U31212000markU11X1X2activeU11markX1X2activeU11ttV2markU12isNatV2markU11X1X2markX1markU12XmarkXmarkisNatXactiveisNatXactiveU41ttMNmarkU42isNatNMNactiveU42ttMNmarksplusNMmarkU21XmarkXactiveisNatplusV1V2markU11isNatV1V2markU41X1X2X3activeU41markX1X2X3activeisNatsV1markU21isNatV1markU42X1X2X3activeU42markX1X2X3activeplusNsMmarkU41isNatMMNmarkplusX1X2activeplusmarkX1markX2markplusX1X2markX1markplusX1X2markX21active1-2U11211U4130U423-2plus22212mark1221active121tt00U121121isNat10U312-22122U21111s1-2001mark1-221markU11X1X2activeU11markX1X2activeU11ttV2markU12isNatV2markU11X1X2markX1markU12XmarkXmarkisNatXactiveisNatXactiveU41ttMNmarkU42isNatNMNactiveU42ttMNmarksplusNMmarkU21XmarkXactiveisNatplusV1V2markU11isNatV1V2markU41X1X2X3activeU41markX1X2X3activeisNatsV1markU21isNatV1markU42X1X2X3activeU42markX1X2X3activeplusNsMmarkU41isNatMMNU11X1markX2U11X1X2U11markX1X2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2isNatactiveXisNatXisNatmarkXisNatXU12activeXU12XU12markXU12XU42X1markX2X3U42X1X2X3U42markX1X2X3U42X1X2X3U42X1X2markX3U42X1X2X3U42activeX1X2X3U42X1X2X3U42X1activeX2X3U42X1X2X3U42X1X2activeX3U42X1X2X3sactiveXsXsmarkXsXU41X1markX2X3U41X1X2X3U41markX1X2X3U41X1X2X3U41X1X2markX3U41X1X2X3U41activeX1X2X3U41X1X2X3U41X1activeX2X3U41X1X2X3U41X1X2activeX3U41X1X2X3U21activeXU21XU21markXU21X1active1-221U1122U4132U4232mark1-2active1-2tt00U1212isNat12U312-221U211-2s11plus222000mark12markU11X1X2activeU11markX1X2activeU11ttV2markU12isNatV2markU11X1X2markX1markU12XmarkXmarkisNatXactiveisNatXactiveU41ttMNmarkU42isNatNMNactiveU42ttMNmarksplusNMmarkU21XmarkXactiveisNatplusV1V2markU11isNatV1V2markU41X1X2X3activeU41markX1X2X3activeisNatsV1markU21isNatV1markU42X1X2X3activeU42markX1X2X3U11X1markX2U11X1X2U11markX1X2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2isNatactiveXisNatXisNatmarkXisNatXU42X1markX2X3U42X1X2X3U42markX1X2X3U42X1X2X3U42X1X2markX3U42X1X2X3U42activeX1X2X3U42X1X2X3U42X1activeX2X3U42X1X2X3U42X1X2activeX3U42X1X2X3U41X1markX2X3U41X1X2X3U41markX1X2X3U41X1X2X3U41X1X2markX3U41X1X2X3U41activeX1X2X3U41X1X2X3U41X1activeX2X3U41X1X2X3U41X1X2activeX3U41X1X2X3mark14active14tt03isNat13U4131s10plus22003mark11U1121active11mark11tt0U1211isNat1U4133U4233s1plus221U2111active11U312200markU11X1X2activeU11markX1X2activeU11ttV2markU12isNatV2markU11X1X2markX1markU12XmarkXmarkisNatXactiveisNatXactiveU42ttMNmarksplusNMmarkU21XmarkXactiveisNatplusV1V2markU11isNatV1V2markU41X1X2X3activeU41markX1X2X3activeisNatsV1markU21isNatV1markU42X1X2X3activeU42markX1X2X31active1-221U1122U4130U4232mark1-2active1-2tt00U1212isNat12U3120U211-2s12plus21212000mark12markU11X1X2activeU11markX1X2activeU11ttV2markU12isNatV2markU11X1X2markX1markU12XmarkXmarkisNatXactiveisNatXactiveU42ttMNmarksplusNMmarkU21XmarkXactiveisNatplusV1V2markU11isNatV1V2activeisNatsV1markU21isNatV1markU42X1X2X3activeU42markX1X2X3U11X1markX2U11X1X2U11markX1X2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2isNatactiveXisNatXisNatmarkXisNatXU41X1markX2X3U41X1X2X3U41markX1X2X3U41X1X2X3U41X1X2markX3U41X1X2X3U41activeX1X2X3U41X1X2X3U41X1activeX2X3U41X1X2X3U41X1X2activeX3U41X1X2X3U42X1markX2X3U42X1X2X3U42markX1X2X3U42X1X2X3U42X1X2markX3U42X1X2X3U42activeX1X2X3U42X1X2X3U42X1activeX2X3U42X1X2X3U42X1X2activeX3U42X1X2X31active1-2U112121U423222mark121active121tt00U12111isNat10U3122U4133U21111s1-2plus221001mark1-11markU11X1X2activeU11markX1X2activeU11ttV2markU12isNatV2markU11X1X2markX1markU12XmarkXmarkisNatXactiveisNatXactiveU42ttMNmarksplusNMmarkU21XmarkXactiveisNatplusV1V2markU11isNatV1V2activeisNatsV1markU21isNatV1U11X1markX2U11X1X2U11markX1X2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2isNatactiveXisNatXisNatmarkXisNatXU12activeXU12XU12markXU12XsactiveXsXsmarkXsXU21activeXU21XU21markXU21X1active121U112-2mark10active1-221tt00U121-2isNat10U312222U4132U42322U211-221s12plus2-222000mark1-2markU11X1X2activeU11markX1X2activeU11ttV2markU12isNatV2markU11X1X2markX1markU12XmarkXmarkisNatXactiveisNatXmarkU21XmarkXactiveisNatplusV1V2markU11isNatV1V2activeisNatsV1markU21isNatV1U11X1markX2U11X1X2U11markX1X2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2isNatactiveXisNatXisNatmarkXisNatX1active1-11U112212mark11active11tt02U1211isNat11U3122U41322223U42322223U2111s111plus212122002mark11markU11X1X2activeU11markX1X2markU11X1X2markX1markU12XmarkXmarkisNatXactiveisNatXmarkU21XmarkXactiveisNatplusV1V2markU11isNatV1V2activeisNatsV1markU21isNatV11active1-2U11211mark121active121tt00U121221isNat10U31222U413-2U423-11U21111s1-221plus2-21000mark1-11markU11X1X2activeU11markX1X2markU11X1X2markX1markisNatXactiveisNatXmarkU21XmarkXactiveisNatplusV1V2markU11isNatV1V2activeisNatsV1markU21isNatV1U11X1markX2U11X1X2U11markX1X2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2isNatactiveXisNatXisNatmarkXisNatXU21activeXU21XU21markXU21X1active1-121U112-2mark12active1221tt02U1210isNat11U3122U41312U4231123U211-221s11plus2-221001mark11markU11X1X2markX1markisNatXactiveisNatXmarkU21XmarkXactiveisNatplusV1V2markU11isNatV1V2activeisNatsV1markU21isNatV1U11X1markX2U11X1X2U11markX1X2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2isNatactiveXisNatXisNatmarkXisNatX1isNat111active111mark111U21111U1121112plus21112s111mark111active111markU11X1X2markX1markisNatXactiveisNatXmarkU21XmarkXactiveisNatplusV1V2markU11isNatV1V2activeisNatsV1markU21isNatV1isNatactiveXisNatXisNatmarkXisNatXU21activeXU21XU21markXU21XU11X1markX2U11X1X2U11markX1X2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2isNatactiveXisNatXisNatmarkXisNatXU21activeXU21XU21markXU21XU11X1markX2U11X1X2U11markX1X2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X21isNat121mark121active121U21111U1121112mark111active111plus222122s121markU11X1X2markX1markisNatXactiveisNatXmarkU21XmarkXisNatmarkXisNatXisNatactiveXisNatXU21markXU21XU21activeXU21XU11markX1X2U11X1X2U11X1markX2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2markU21XmarkXmarkU11X1X2markX1truemarkU21XmarkX1true1markU11X1X2markX11true1markisNatXactiveisNatXfalseactiveU12ttmarkttfalseactiveU21ttmarkttfalseactiveisNat0markttfalsemarkttactivettfalsemark0active0falseactiveisNatplusV1V2U11isNatV1V2falsemarkU11X1X2U11markX1X2falseactiveU11ttV2U12isNatV2falsemarkU12XU12markXfalseactiveU11ttV2isNatV2falseactiveU41ttMNisNatNfalseactiveisNatplusV1V2isNatV1falseactiveisNatsV1isNatV1falseactiveplusN0isNatNfalseactiveplusNsMisNatMfalseactiveisNatsV1U21isNatV1falsemarkU21XU21markXfalseactiveplusN0U31isNatNNfalsemarkU31X1X2U31markX1X2falseactiveplusNsMU41isNatMMNfalsemarkU41X1X2X3U41markX1X2X3falseactiveU41ttMNU42isNatNMNfalsemarkU42X1X2X3U42markX1X2X3falseactiveU42ttMNsplusNMfalsemarksXsmarkXfalseactiveU42ttMNplusNMfalsemarkplusX1X2plusmarkX1markX2falseU11X1markX2U11X1X2U11markX1X2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2true1mark111active111U1121112U11X1markX2U11X1X2U11markX1X2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2U11X1markX2U11X1X21false12true2U11markX1X2U11X1X21true12false2U11activeX1X2U11X1X21true12false2U11X1activeX2U11X1X21false12true2U12activeXU12XU12markXU12Xtrue1active111mark111U12111U12activeXU12XU12markXU12XU12activeXU12X1true1U12markXU12X1true1isNatactiveXisNatXisNatmarkXisNatXtrue1active111mark111isNat111isNatactiveXisNatXisNatmarkXisNatXisNatactiveXisNatX1true1isNatmarkXisNatX1true1U21activeXU21XU21markXU21Xtrue1active111mark111U21111U21activeXU21XU21markXU21XU21activeXU21X1true1U21markXU21X1true1U31X1markX2U31X1X2U31markX1X2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2true1mark111active111U3121112U31X1markX2U31X1X2U31markX1X2U31X1X2U31activeX1X2U31X1X2U31X1activeX2U31X1X2U31X1markX2U31X1X21false12true2U31markX1X2U31X1X21true12false2U31activeX1X2U31X1X21true12false2U31X1activeX2U31X1X21false12true2U41X1markX2X3U41X1X2X3U41markX1X2X3U41X1X2X3U41X1X2markX3U41X1X2X3U41activeX1X2X3U41X1X2X3U41X1activeX2X3U41X1X2X3U41X1X2activeX3U41X1X2X3true1mark111active111U413111213U41X1markX2X3U41X1X2X3U41markX1X2X3U41X1X2X3U41X1X2markX3U41X1X2X3U41activeX1X2X3U41X1X2X3U41X1activeX2X3U41X1X2X3U41X1X2activeX3U41X1X2X3U41X1markX2X3U41X1X2X31false12true23false3U41markX1X2X3U41X1X2X31true12false23false3U41X1X2markX3U41X1X2X31false12false23true3U41activeX1X2X3U41X1X2X31true12false23false3U41X1activeX2X3U41X1X2X31false12true23false3U41X1X2activeX3U41X1X2X31false12false23true3U42X1markX2X3U42X1X2X3U42markX1X2X3U42X1X2X3U42X1X2markX3U42X1X2X3U42activeX1X2X3U42X1X2X3U42X1activeX2X3U42X1X2X3U42X1X2activeX3U42X1X2X3true1mark111active111U423111213U42X1markX2X3U42X1X2X3U42markX1X2X3U42X1X2X3U42X1X2markX3U42X1X2X3U42activeX1X2X3U42X1X2X3U42X1activeX2X3U42X1X2X3U42X1X2activeX3U42X1X2X3U42X1markX2X3U42X1X2X31false12true23false3U42markX1X2X3U42X1X2X31true12false23false3U42X1X2markX3U42X1X2X31false12false23true3U42activeX1X2X3U42X1X2X31true12false23false3U42X1activeX2X3U42X1X2X31false12true23false3U42X1X2activeX3U42X1X2X31false12false23true3sactiveXsXsmarkXsXtrue1active111mark111s111sactiveXsXsmarkXsXsactiveXsX1true1smarkXsX1true1plusX1markX2plusX1X2plusmarkX1X2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2true1mark111active111plus21112plusX1markX2plusX1X2plusmarkX1X2plusX1X2plusactiveX1X2plusX1X2plusX1activeX2plusX1X2plusX1markX2plusX1X21false12true2plusmarkX1X2plusX1X21true12false2plusactiveX1X2plusX1X21true12false2plusX1activeX2plusX1X21false12true2AProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (38 real / 0 unknown / 0 assumptions / 38 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe