agent DM0=q.'zero.DM0 + p.'one.DM0 + r.'s.DM1 + c.'s.DMa; agent DM1=q.'one.DM1 + p.'zero.DM1 + r.'s.DM0 + c.'s.DMb; agent DMa=r.'a.DM1; agent DMb=r.'a.DM0; agent Join=a.Ja + b.Jb; agent Ja=b.'c.Join; agent Jb=a.'c.Join; agent OneXThree=a.OneXThreea + b0.OneXThreeb0 + b1.OneXThreeb1 + b2.OneXThreeb2; agent OneXThreea=b0.'c0.OneXThree + b1.'c1.OneXThree + b2.'c2.OneXThree; agent OneXThreeb0 = a.'c0.OneXThree; agent OneXThreeb1 = a.'c1.OneXThree; agent OneXThreeb2 = a.'c2.OneXThree; agent OneXFour=a.OneXFoura + b0.OneXFourb0 + b1.OneXFourb1 + b2.OneXFourb2 + b3.OneXFourb3; agent OneXFoura=b0.'c0.OneXFour + b1.'c1.OneXFour + b2.'c2.OneXFour + b3.'c3.OneXFour; agent OneXFourb0 = a.'c0.OneXFour; agent OneXFourb1 = a.'c1.OneXFour; agent OneXFourb2 = a.'c2.OneXFour; agent OneXFourb3 = a.'c3.OneXFour; agent Buff=a.'b.Buff; agent OneXThreeCon= (DM0[b2/c,i1a/a,i1b/p,con1/zero,con4/s,con5/r,ign1/q,ign2/one] | Buff[i1a/a,i1b/b] | DM0[b1/c,i2a/a,i2b/p,con2/zero,con6/s,con7/r,con1/q,ign3/one] | Buff[i2a/a,i2b/b] | DM0[b0/c,i3a/a,i3b/p,con3/zero,con8/s,con9/r,con2/q,ign4/one] | Buff[i3a/a,i3b/b] | DM0[c2/a,i4a/one,i4b/c,con4/r,con5/s,con10/q,ign5/zero,ign6/p] | Buff[i4a/a,i4b/b] | DM0[c1/a,i5a/one,i5b/c,con6/r,con7/s,con10/zero,con11/q,ign7/p] | Buff[i5a/a,i5b/b] | DM0[c0/a,i6a/one,i6b/c,con8/r,con9/s,con11/zero,con12/q,ign8/p] | Buff[i6a/a,i6b/b] | Join[con3/b,con12/c])\{i1a,i2a,i3a,i4a,i5a,i6a,i1b,i2b,i3b,i4b,i5b,i6b,con1,con2,con3, con4,con5,con6,con7, con8,con9,con10,con11,con12,ign1,ign2,ign3,ign4,ign5,ign6,ign7,ign8}; agent OneXThreeenv=performA.'a.OneXThreeaenv + performb0.'b0.OneXThreeb0env + performb1.'b1.OneXThreeb1env + performb2.'b2.OneXThreeb2env; agent OneXThreeaenv=performb0.'b0.c0.'c0Performed.OneXThreeenv + performb1.'b1.c1.'c1Performed.OneXThreeenv + performb2.'b2.c2.'c2Performed.OneXThreeenv; agent OneXThreeb0env = performA.'a.c0.'c0Performed.OneXThreeenv; agent OneXThreeb1env = performA.'a.c1.'c1Performed.OneXThreeenv; agent OneXThreeb2env = performA.'a.c2.'c2Performed.OneXThreeenv; agent OneXThreeBinding=(OneXThree | OneXThreeenv)\{a,b0,b1,b2,c0,c1,c2}; agent OneXThreeJConBinding=(OneXThreeCon | OneXThreeenv)\{a,b0,b1,b2,c0,c1,c2}; agent OneXFourCon= (DM0[b3/c,ixa/a,ixb/p,conx/zero,cony/s,conz/r,ign9/q,ign10/one] | Buff[ixa/a,ixb/b] | DM0[c3/a,iya/one,iyb/c,cony/r,conz/s,conw/q,ign11/zero,ign12/p] | Buff[iya/a,iyb/b] | DM0[b2/c,i1a/a,i1b/p,con1/zero,con4/s,con5/r,conx/q,ign2/one] | Buff[i1a/a,i1b/b] | DM0[b1/c,i2a/a,i2b/p,con2/zero,con6/s,con7/r,con1/q,ign3/one] | Buff[i2a/a,i2b/b] | DM0[b0/c,i3a/a,i3b/p,con3/zero,con8/s,con9/r,con2/q,ign4/one] | Buff[i3a/a,i3b/b] | DM0[c2/a,i4a/one,i4b/c,con4/r,con5/s,con10/q,conw/zero,ign6/p] | Buff[i4a/a,i4b/b] | DM0[c1/a,i5a/one,i5b/c,con6/r,con7/s,con10/zero,con11/q,ign7/p] | Buff[i5a/a,i5b/b] | DM0[c0/a,i6a/one,i6b/c,con8/r,con9/s,con11/zero,con12/q,ign8/p] | Buff[i6a/a,i6b/b] | Join[con3/b,con12/c])\{ixa,ixb,iya,iyb,i1a,i2a,i3a,i4a,i5a,i6a,i1b,i2b,i3b,i4b,i5b, i6b,con1,con2,con3,con4,con5,con6,con7, con8,con9,con10,con11,con12,conw,conx,cony,conz,ign2,ign3, ign4,ign6,ign7,ign8,ign9,ign10,ign11,ign12}; agent OneXFourenv=performA.'a.OneXFouraenv + performb0.'b0.OneXFourb0env + performb1.'b1.OneXFourb1env + performb2.'b2.OneXFourb2env + performb3.'b3.OneXFourb3env; agent OneXFouraenv=performb0.'b0.c0.'c0Performed.OneXFourenv + performb1.'b1.c1.'c1Performed.OneXFourenv + performb2.'b2.c2.'c2Performed.OneXFourenv + performb3.'b3.c3.'c3Performed.OneXFourenv; agent OneXFourb0env = performA.'a.c0.'c0Performed.OneXFourenv; agent OneXFourb1env = performA.'a.c1.'c1Performed.OneXFourenv; agent OneXFourb2env = performA.'a.c2.'c2Performed.OneXFourenv; agent OneXFourb3env = performA.'a.c3.'c3Performed.OneXFourenv; agent OneXFourBinding=(OneXFour | OneXFourenv)\{a,b0,b1,b2,b3,c0,c1,c2,c3}; agent OneXFourConBinding=(Onex4Con |OneXFourenv)\{a,b0,b1,b2,b3,c0,c1,c2,c3}; agent ThreeXThree= a1.ThreeXThreea1 + a2.ThreeXThreea2 + a3.ThreeXThreea3 + b1.ThreeXThreeb1 + b2.ThreeXThreeb2 + b3.ThreeXThreeb3; agent ThreeXThreea1 = b1.'c11.ThreeXThree + b2.'c12.ThreeXThree + b3.'c13.ThreeXThree; agent ThreeXThreea2 = b1.'c21.ThreeXThree + b2.'c22.ThreeXThree + b3.'c23.ThreeXThree; agent ThreeXThreea3 = b1.'c31.ThreeXThree + b2.'c32.ThreeXThree + b3.'c33.ThreeXThree; agent ThreeXThreeb1 = a1.'c11.ThreeXThree + a2.'c21.ThreeXThree + a3.'c31.ThreeXThree; agent ThreeXThreeb2 = a1.'c12.ThreeXThree + a2.'c22.ThreeXThree + a3.'c32.ThreeXThree; agent ThreeXThreeb3 = a1.'c13.ThreeXThree + a2.'c23.ThreeXThree + a3.'c33.ThreeXThree; agent ThreeXThreeCon= (DM0[co18/r,ign1/q,a3/c,co1/zero,ign2/one,co4/s,i1a/a,i1b/p] | Buff[i1a/a,i1b/b] | DM0[co20/r,co1/q,a2/c,co2/zero,ign3/one,co5/s,i2a/a,i2b/p] | Buff[i2a/a,i2b/b] | DM0[co22/r,co2/q,a1/c,co3/zero,ign4/one,co6/s,i3a/a,i3b/p] | Buff[i3a/a,i3b/b] | DM0[c31/a,co4/r,i4b/c,i4a/one,ign5/zero,co7/s,ign6/p,co8/q] | Buff[i4a/a,i4b/b] | DM0[c21/a,co5/r,i5a/one,i5b/c,co8/zero,co24/s,ign7/p,co9/q] | Buff[i5a/a,i5b/b] | DM0[c11/a,co6/r,i6a/one,i6b/c,co9/zero,co10/s,ign8/p,co11/q] | Buff[i6a/a,i6b/b] | DM0[c32/a,co7/r,i7a/one,i7b/c,ign9/zero,co12/s,ign10/p,co13/q] | Buff[i7a/a,i7b/b] | DM0[c22/a,co24/r,i8a/one,i8b/c,co13/zero,co14/s,ign11/p,co15/q] | Buff[i8a/a,i8b/b] | DM0[c12/a,co10/r,i9a/one,i9b/c,co15/zero,co16/s,ign12/p,co17/q] | Buff[i9a/a,i9b/b] | DM0[c33/a,co12/r,i10a/one,i10b/c,co18/s,ign13/zero,ign14/p,co19/q] | Buff[i10a/a,i10b/b] | DM0[c23/a,co14/r,i11a/one,i11b/c,co20/s,co19/zero,ign15/p,co21/q] | Buff[i11a/a,i11b/b] | DM0[c13i/a,co16/r,i12a/one,i12b/c,co22/s,co21/zero,ign16/p,co23/q] | Buff[i12a/a,i12b/b] | OneXThree[co3/a,b1/b0,b2/b1,b3/b2,co11/c0,co17/c1,co23/c2])\{co1,co2,co3,co4,co5,co6,co7,co8,co9,co10,co11,co12,co13,co14, co15,co16,co17,co18,co19,co20,co21,co22,co23,co24,i1a,i2a,i3a,i4a,i5a,i6a ,i7a,i8a,i9a,i10a,i11a,i12a,i1b,i2b,i3b,i4b,i5b,i6b ,i7b,i8b,i9b,i10b,i11b,i12b,ign1,ign2,ign3,ign4,ign5,ign6,ign7,ign8,ign9, ign10,ign11,ign12,ign13,ign14,ign15,ign16}; agent ThreeXThreeenv= performa1.'a1.ThreeXThreea1env + performa2.'a2.ThreeXThreea2env + performa3.'a3.ThreeXThreea3env + performb1.'b1.ThreeXThreeb1env + performb2.'b2.ThreeXThreeb2env + performb3.'b3.ThreeXThreeb3env; agent ThreeXThreea1env = performb1.'b1.c11.'performc11.ThreeXThreeenv + performb2.'b2.c12.'performc12.ThreeXThreeenv + performb3.'b3.c13.'performc13.ThreeXThreeenv; agent ThreeXThreea2env = performb1.'b1.c21.'performc21.ThreeXThreeenv + performb2.'b2.c22.'performc22.ThreeXThreeenv + performb3.'b3.c23.'performc23.ThreeXThreeenv; agent ThreeXThreea3env = performb1.'b1.c31.'performc31.ThreeXThreeenv + performb2.'b2.c32.'performc32.ThreeXThreeenv + performb3.'b3.c33.'performc33.ThreeXThreeenv; agent ThreeXThreeb1env = performa1.'a1.c11.'performc11.ThreeXThreeenv + performa2.'a2.c21.'performc21.ThreeXThreeenv + performa3.'a3.c31.'performc31.ThreeXThreeenv; agent ThreeXThreeb2env = performa1.'a1.c12.'performc12.ThreeXThreeenv + performa2.'a2.c22.'performc22.ThreeXThreeenv + performa3.'a3.c32.'performc32.ThreeXThreeenv; agent ThreeXThreeb3env = performa1.'a1.c13.'performc13.ThreeXThreeenv + performa2.'a2.c23.'performc23.ThreeXThreeenv + performa3.'a3.c33.'performc33.ThreeXThreeenv; agent FourXThree= a1.FourXThreea1 + a2.FourXThreea2 + a3.FourXThreea3 + a4.FourXThreea4 + b1.FourXThreeb1 + b2.FourXThreeb2 + b3.FourXThreeb3; agent FourXThreea1 = b1.'c11.FourXThree + b2.'c12.FourXThree + b3.'c13.FourXThree; agent FourXThreea2 = b1.'c21.FourXThree + b2.'c22.FourXThree + b3.'c23.FourXThree; agent FourXThreea3 = b1.'c31.FourXThree + b2.'c32.FourXThree + b3.'c33.FourXThree; agent FourXThreea4 = b1.'c41.FourXThree + b2.'c42.FourXThree + b3.'c43.FourXThree; agent FourXThreeb1 = a1.'c11.FourXThree + a2.'c21.FourXThree + a3.'c31.FourXThree + a4.'c41.FourXThree; agent FourXThreeb2 = a1.'c12.FourXThree + a2.'c22.FourXThree + a3.'c32.FourXThree + a4.'c42.FourXThree; agent FourXThreeb3 = a1.'c13.FourXThree + a2.'c23.FourXThree + a3.'c33.FourXThree + + a4.'c43.FourXThree; agent FourXThreeCon= (DM0[co18/r,ign1/q,a3/c,co1/zero,ign2/one,co4/s,i1a/a,i1b/p] | Buff[i1a/a,i1b/b] | DM0[co20/r,co1/q,a2/c,co2/zero,ign3/one,co5/s,i2a/a,i2b/p] | Buff[i2a/a,i2b/b] | DM0[co22/r,co2/q,a1/c,co3/zero,ign4/one,co6/s,i3a/a,i3b/p] | Buff[i3a/a,i3b/b] | DM0[c31/a,co4/r,i4b/c,i4a/one,ign5/zero,co7/s,ign6/p,co8/q] | Buff[i4a/a,i4b/b] | DM0[c21/a,co5/r,i5a/one,i5b/c,co8/zero,co24/s,ign7/p,co9/q] | Buff[i5a/a,i5b/b] | DM0[c11/a,co6/r,i6a/one,i6b/c,co9/zero,co10/s,ign8/p,co11/q] | Buff[i6a/a,i6b/b] | DM0[c32/a,co7/r,i7a/one,i7b/c,ign9/zero,co12/s,ign10/p,co13/q] | Buff[i7a/a,i7b/b] | DM0[c22/a,co24/r,i8a/one,i8b/c,co13/zero,co14/s,ign11/p,co15/q] | Buff[i8a/a,i8b/b] | DM0[c12/a,co10/r,i9a/one,i9b/c,co15/zero,co16/s,ign12/p,co17/q] | Buff[i9a/a,i9b/b] | DM0[c33/a,co12/r,i10a/one,i10b/c,co18/s,ign13/zero,ign14/p,co19/q] | Buff[i10a/a,i10b/b] | DM0[c23/a,co14/r,i11a/one,i11b/c,co20/s,co19/zero,ign15/p,co21/q] | Buff[i11a/a,i11b/b] | DM0[c13/a,co16/r,i12a/one,i12b/c,co22/s,co21/zero,ign16/p,co23/q] | Buff[i12a/a,i12b/b] | OneXThree[co3/a,b1/b0,b2/b1,b3/b2,co11/c0,co17/c1,co23/c2] | DM0[cz/r,igna/q,a4/c,ign1/zero,ignb/one,cw/s,iwa/a,iwb/p] | Buff[iwa/a,iwb/b] | DM0[c41/a,cw/r,ixa/one,ixb/c,ignc/zero,cx/s,ignd/p,ign5/q] | Buff[ixa/a,ixb/b] | DM0[c42/a,cx/r,iya/one,iyb/c,igne/zero,cy/s,ignf/p,ign9/q] | Buff[iya/a,iyb/b] | DM0[c43/a,cy/r,iza/one,izb/c,cz/s,igng/zero,ignh/p,ign13/q] | Buff[iza/a,izb/b])\{co1,co2,co3,co4,co5,co6,co7,co8,co9,co10,co11,co12,co13,co14, co15,co16,co17,co18,co19,co20,co21,co22,co23,co24,i1a,i2a,i3a,i4a,i5a,i6a ,i7a,i8a,i9a,i10a,i11a,i12a,i1b,i2b,i3b,i4b,i5b,i6b ,i7b,i8b,i9b,i10b,i11b,i12b,ign1,ign2,ign3,ign4,ign5,ign6,ign7,ign8,ign9, ign10,ign11,ign12,ign13,ign14,ign15,ign16,cw,cx,cy,cz,igna,ignb,ignc,ignd, igne,ignf,igng,ignh,iwa,iwb,ixa,ixb,iya,iyb,iza,izb}; agent FourXThreeenv= performa1.'a1.FourXThreea1env + performa2.'a2.FourXThreea2env + performa3.'a3.FourXThreea3env +performa4.'a4.FourXThreea4env + performb1.'b1.FourXThreeb1env + performb2.'b2.FourXThreeb2env + performb3.'b3.FourXThreeb3env; agent FourXThreea1env = performb1.'b1.c11.'performc11.FourXThreeenv + performb2.'b2.c12.'performc12.FourXThreeenv + performb3.'b3.c13.'performc13.FourXThreeenv; agent FourXThreea2env = performb1.'b1.c21.'performc21.FourXThreeenv + performb2.'b2.c22.'performc22.FourXThreeenv + performb3.'b3.c23.'performc23.FourXThreeenv; agent FourXThreea3env = performb1.'b1.c31.'performc31.FourXThreeenv + performb2.'b2.c32.'performc32.FourXThreeenv + performb3.'b3.c33.'performc33.FourXThreeenv; agent FourXThreea4env = performb1.'b1.c41.'performc41.FourXThreeenv + performb2.'b2.c42.'performc42.FourXThreeenv + performb3.'b3.c43.'performc43.FourXThreeenv; agent FourXThreeb1env = performa1.'a1.c11.'performc11.FourXThreeenv + performa2.'a2.c21.'performc21.FourXThreeenv + performa3.'a3.c31.'performc31.FourXThreeenv + performa4.'a4.c41.'performc41.FourXThreeenv; agent FourXThreeb2env = performa1.'a1.c12.'performc12.FourXThreeenv + performa2.'a2.c22.'performc22.FourXThreeenv + performa3.'a3.c32.'performc32.FourXThreeenv + performa4.'a4.c42.'performc42.FourXThreeenv; agent FourXThreeb3env = performa1.'a1.c13.'performc13.FourXThreeenv + performa2.'a2.c23.'performc23.FourXThreeenv + performa3.'a3.c33.'performc33.FourXThreeenv + performa4.'a4.c43.'performc43.FourXThreeenv; agent FourXFour= a1.FourXFoura1 + a2.FourXFoura2 + a3.FourXFoura3 + a4.FourXFoura4 + b1.FourXFourb1 + b2.FourXFourb2 + b3.FourXFourb3 + b4.FourXFourb4; agent FourXFoura1 = b1.'c11.FourXFour + b2.'c12.FourXFour + b3.'c13.FourXFour + b4.'c14.FourXFour; agent FourXFoura2 = b1.'c21.FourXFour + b2.'c22.FourXFour + b3.'c23.FourXFour + b4.'c24.FourXFour; agent FourXFoura3 = b1.'c31.FourXFour + b2.'c32.FourXFour + b3.'c33.FourXFour + b4.'c34.FourXFour; agent FourXFoura4 = b1.'c41.FourXFour + b2.'c42.FourXFour + b3.'c43.FourXFour + b4.'c44.FourXFour; agent FourXFourb1 = a1.'c11.FourXFour + a2.'c21.FourXFour + a3.'c31.FourXFour + a4.'c41.FourXFour; agent FourXFourb2 = a1.'c12.FourXFour + a2.'c22.FourXFour + a3.'c32.FourXFour + a4.'c42.FourXFour; agent FourXFourb3 = a1.'c13.FourXFour + a2.'c23.FourXFour + a3.'c33.FourXFour + + a4.'c43.FourXFour; agent FourXFourb4 = a1.'c14.FourXFour + a2.'c24.FourXFour + a3.'c34.FourXFour + + a4.'c44.FourXFour; agent FourXFourCon= (DM0[co18/r,ign1/q,a3/c,co1/zero,ign2/one,co4/s,i1a/a,i1b/p] | Buff[i1a/a,i1b/b] | DM0[co20/r,co1/q,a2/c,co2/zero,ign3/one,co5/s,i2a/a,i2b/p] | Buff[i2a/a,i2b/b] | DM0[co22/r,co2/q,a1/c,co3/zero,ign4/one,co6/s,i3a/a,i3b/p] | Buff[i3a/a,i3b/b] | DM0[c31/a,co4/r,i4b/c,i4a/one,ign5/zero,co7/s,ign6/p,co8/q] | Buff[i4a/a,i4b/b] | DM0[c21/a,co5/r,i5a/one,i5b/c,co8/zero,co24/s,ign7/p,co9/q] | Buff[i5a/a,i5b/b] | DM0[c11/a,co6/r,i6a/one,i6b/c,co9/zero,co10/s,ign8/p,co11/q] | Buff[i6a/a,i6b/b] | DM0[c32/a,co7/r,i7a/one,i7b/c,ign9/zero,co12/s,ign10/p,co13/q] | Buff[i7a/a,i7b/b] | DM0[c22/a,co24/r,i8a/one,i8b/c,co13/zero,co14/s,ign11/p,co15/q] | Buff[i8a/a,i8b/b] | DM0[c12/a,co10/r,i9a/one,i9b/c,co15/zero,co16/s,ign12/p,co17/q] | Buff[i9a/a,i9b/b] | DM0[c33/a,co12/r,i10a/one,i10b/c,lnk2/s,ign13/zero,ign14/p,co19/q] | Buff[i10a/a,i10b/b] | DM0[c23/a,co14/r,i11a/one,i11b/c,lnk3/s,co19/zero,ign15/p,co21/q] | Buff[i11a/a,i11b/b] | DM0[c13/a,co16/r,i12a/one,i12b/c,lnk4/s,co21/zero,ign16/p,co23/q] | Buff[i12a/a,i12b/b] | OneXFour[co3/a,b1/b0,b2/b1,b3/b2,b4/b3,co11/c0,co17/c1,co23/c2,con4/c3] | DM0[cz/r,igna/q,a4/c,ign1/zero,ignb/one,cw/s,iwa/a,iwb/p] | Buff[iwa/a,iwb/b] | DM0[c41/a,cw/r,ixa/one,ixb/c,ignc/zero,cx/s,ignd/p,ign5/q] | Buff[ixa/a,ixb/b] | DM0[c42/a,cx/r,iya/one,iyb/c,igne/zero,cy/s,ignf/p,ign9/q] | Buff[iya/a,iyb/b] | DM0[c43/a,cy/r,iza/one,izb/c,lnk1/s,igng/zero,ignh/p,ign13/q] | Buff[iza/a,izb/b] | DM0[c44/a,lnk1/r,int1a/one,int1b/c,cz/s,ignO/zero,ignP/p,con1/q] | Buff[int1a/a,int1b/b] | DM0[c34/a,lnk2/r,int2a/one,int2b/c,co18/s,con1/zero,ignR/p,con2/q] | Buff[int2a/a,int2b/b] | DM0[c24/a,lnk3/r,int3a/one,int3b/c,co20/s,con2/zero,ignS/p,con3/q] | Buff[int3a/a,int3b/b] | DM0[c14/a,lnk4/r,int4a/one,int4b/c,co22/s,con3/zero,ignT/p,con4/q] | Buff[int4a/a,int4b/b] )\{co1,co2,co3,co4,co5,co6,co7,co8,co9,co10,co11,co12,co13,co14, co15,co16,co17,co18,co19,co20,co21,co22,co23,co24,i1a,i2a,i3a,i4a,i5a,i6a ,i7a,i8a,i9a,i10a,i11a,i12a,i1b,i2b,i3b,i4b,i5b,i6b ,i7b,i8b,i9b,i10b,i11b,i12b,ign1,ign2,ign3,ign4,ign5,ign6,ign7,ign8,ign9, ign10,ign11,ign12,ign13,ign14,ign15,ign16,cw,cx,cy,cz,igna,ignb,ignc,ignd, igne,ignf,igng,ignh,iwa,iwb,ixa,ixb,iya,iyb,iza,izb, lnk1,lnk2,lnk3,lnk4,int1a,int1b,int2a,int2b,int3a,int3b,int4a,int4b,con1,con2,con3,con4,ignO,ignP,ignR,ignS,ignT}; agent FourXFourenv= performa1.'a1.FourXFoura1env + performa2.'a2.FourXFoura2env + performa3.'a3.FourXFoura3env +performa4.'a4.FourXFoura4env + performb1.'b1.FourXFourb1env + performb2.'b2.FourXFourb2env + performb3.'b3.FourXFourb3env + performb4.'b4.FourXFourb4env; agent FourXFoura1env = performb1.'b1.c11.'performc11.FourXFourenv + performb2.'b2.c12.'performc12.FourXFourenv + performb3.'b3.c13.'performc13.FourXFourenv + performb4.'b4.c14.'performc14.FourXFourenv; agent FourXFoura2env = performb1.'b1.c21.'performc21.FourXFourenv + performb2.'b2.c22.'performc22.FourXFourenv + performb3.'b3.c23.'performc23.FourXFourenv + performb4.'b4.c24.'performc24.FourXFourenv; agent FourXFoura3env = performb1.'b1.c31.'performc31.FourXFourenv + performb2.'b2.c32.'performc32.FourXFourenv + performb3.'b3.c33.'performc33.FourXFourenv + performb4.'b4.c34.'performc34.FourXFourenv; agent FourXFoura4env = performb1.'b1.c41.'performc41.FourXFourenv + performb2.'b2.c42.'performc42.FourXFourenv + performb3.'b3.c43.'performc43.FourXFourenv + performb4.'b4.c44.'performc44.FourXFourenv; agent FourXFourb1env = performa1.'a1.c11.'performc11.FourXFourenv + performa2.'a2.c21.'performc21.FourXFourenv + performa3.'a3.c31.'performc31.FourXFourenv + performa4.'a4.c41.'performc41.FourXFourenv; agent FourXFourb2env = performa1.'a1.c12.'performc12.FourXFourenv + performa2.'a2.c22.'performc22.FourXFourenv + performa3.'a3.c32.'performc32.FourXFourenv + performa4.'a4.c42.'performc42.FourXFourenv; agent FourXFourb3env = performa1.'a1.c13.'performc13.FourXFourenv + performa2.'a2.c23.'performc23.FourXFourenv + performa3.'a3.c33.'performc33.FourXFourenv + performa4.'a4.c43.'performc43.FourXFourenv; agent FourXFourb4env = performa1.'a1.c14.'performc14.FourXFourenv + performa2.'a2.c24.'performc24.FourXFourenv + performa3.'a3.c34.'performc34.FourXFourenv + performa4.'a4.c44.'performc44.FourXFourenv; agent ThreeXThreeBinding = (ThreeXThree|ThreeXThreeenv)\{a1,a2,a3,b1,b2,b3,c11,c12,c13,c21,c22,c23,c31,c32,c33}; agent ThreeXThreeConBinding = (ThreeXThreeCon|ThreeXThreeenv)\{a1,a2,a3,b1,b2,b3,c11,c12,c13,c21,c22,c23,c31,c32,c33}; agent FourXThreeBinding = (FourXThree|FourXThreeenv)\{a1,a2,a3,a4,b1,b2,b3,c11,c12,c13,c21,c22,c23,c31,c32,c33,c41,c42,c43}; agent FourXThreeConBinding = (FourXThreeCon|FourXThreeenv)\{a1,a2,a3,a4,b1,b2,b3,c11,c12,c13,c21,c22,c23,c31,c32,c33,c41,c42,c43}; agent FourXFourBinding = (FourXFour|FourXFourenv)\{a1,a2,a3,a4,b1,b2,b3,b4,c11,c12,c13,c14,c21,c22,c23,c24,c31,c32,c33,c34,c41,c42,c43,c44}; agent FourXFourConBinding = (FourXFourCon|FourXFourenv)\{a1,a2,a3,a4,b1,b2,b3,b4,c11,c12,c13,c14,c21,c22,c23,c24,c31,c32,c33,c34,c41,c42,c43,c44};