/*
PartOf(A1_2,LA1)
PartOf(A1_8,LA1)
PartOf(A1_10,LA1)
PartOf(A1_16,LA1)
PartOf(A1_18,LA1)
PartOf(A1_22,LA1)
PartOf(A1_25,LA1)
PartOf(A1_32,LA1)
PartOf(A1_34,LA1)
PartOf(A1_37,LA1)
PartOf(A1_3,LA2)
PartOf(A1_6,LA2)
PartOf(A1_11,LA2)
PartOf(A1_14,LA2)
PartOf(A1_19,LA2)
PartOf(A1_24,LA2)
PartOf(A1_28,LA2)
PartOf(A1_30,LA2)
PartOf(A1_36,LA2)
SegType(A1_1,Door)
SegType(A1_2,Wall)
SegType(A1_3,Wall)
SegType(A1_4,Door)
SegType(A1_5,Other)
SegType(A1_6,Wall)
SegType(A1_7,Door)
SegType(A1_8,Wall)
SegType(A1_9,Door)
SegType(A1_10,Wall)
SegType(A1_11,Wall)
SegType(A1_12,Door)
SegType(A1_13,Other)
SegType(A1_14,Wall)
SegType(A1_15,Door)
SegType(A1_16,Wall)
SegType(A1_17,Door)
SegType(A1_18,Wall)
SegType(A1_19,Wall)
SegType(A1_20,Door)
SegType(A1_21,Other)
SegType(A1_22,Wall)
SegType(A1_23,Door)
SegType(A1_24,Wall)
SegType(A1_25,Wall)
SegType(A1_26,Door)
SegType(A1_27,Door)
SegType(A1_28,Wall)
SegType(A1_29,Other)
SegType(A1_30,Wall)
SegType(A1_31,Door)
SegType(A1_32,Wall)
SegType(A1_33,Door)
SegType(A1_34,Wall)
SegType(A1_35,Door)
SegType(A1_36,Wall)
SegType(A1_37,Wall)
*/
Length(A1_1) 0.09798744817577393
Length(A1_2) 0.24330871336637344
Length(A1_3) 0.5137065796736501
Length(A1_4) 0.09965324881808937
Length(A1_5) 0.04666176164698477
Length(A1_6) 0.02606933063966164
Length(A1_7) 0.09946924147695099
Length(A1_8) 0.2395763343905235
Length(A1_9) 0.09981843517106438
Length(A1_10) 0.24359690063709757
Length(A1_11) 0.5427859707103713
Length(A1_12) 0.09914040548636059
Length(A1_13) 0.046318246944373885
Length(A1_14) 0.024116799124261918
Length(A1_15) 0.10079087260263206
Length(A1_16) 0.245069663565281
Length(A1_17) 0.09727430287593947
Length(A1_18) 0.24912727670811155
Length(A1_19) 0.5410790145625684
Length(A1_20) 0.09703159279327533
Length(A1_21) 0.04801041553663122
Length(A1_22) 0.25544079548889603
Length(A1_23) 0.09399968085052206
Length(A1_24) 0.5461161964270973
Length(A1_25) 0.24855303257051603
Length(A1_26) 0.0994634606275089
Length(A1_27) 0.10288853191682737
Length(A1_28) 0.024407375934335892
Length(A1_29) 0.041248515124789546
Length(A1_30) 0.17328868976364262
Length(A1_31) 0.10280569050397932
Length(A1_32) 0.6009586757839509
Length(A1_33) 0.10329845110165009
Length(A1_34) 0.25463515075495763
Length(A1_35) 0.1041288624733797
Length(A1_36) 0.8941187225419229
Length(A1_37) 0.21517569565357503

Depth(A1_1) 0.02
Depth(A1_2) 0.001
Depth(A1_3) 0.001
Depth(A1_4) 0.02
Depth(A1_5) 0.45553
Depth(A1_6) 0.001
Depth(A1_7) 0.02
Depth(A1_8) 0.001
Depth(A1_9) 0.02
Depth(A1_10) 0.001
Depth(A1_11) 0.001
Depth(A1_12) 0.02
Depth(A1_13) 0.24003
Depth(A1_14) 0.001
Depth(A1_15) 0.02
Depth(A1_16) 0.001
Depth(A1_17) 0.02
Depth(A1_18) 0.001
Depth(A1_19) 0.001
Depth(A1_20) 0.02
Depth(A1_21) 0.33292
Depth(A1_22) 0.001
Depth(A1_23) 0.02
Depth(A1_24) 0.001
Depth(A1_25) 0.001
Depth(A1_26) 0.02
Depth(A1_27) 0.02
Depth(A1_28) 0.001
Depth(A1_29) 0.44828
Depth(A1_30) 0.001
Depth(A1_31) 0.02
Depth(A1_32) 0.001
Depth(A1_33) 0.02
Depth(A1_34) 0.001
Depth(A1_35) 0.02
Depth(A1_36) 0.001
Depth(A1_37) 0.001

Aligned(A1_1,A1_2)
Aligned(A1_1,A1_4)
Aligned(A1_1,A1_8)
Aligned(A1_1,A1_9)
Aligned(A1_1,A1_10)
Aligned(A1_1,A1_12)
Aligned(A1_1,A1_16)
Aligned(A1_1,A1_17)
Aligned(A1_1,A1_18)
Aligned(A1_1,A1_20)
Aligned(A1_1,A1_22)
Aligned(A1_1,A1_23)
Aligned(A1_1,A1_25)
Aligned(A1_1,A1_27)
Aligned(A1_1,A1_32)
Aligned(A1_1,A1_33)
Aligned(A1_1,A1_34)
Aligned(A1_1,A1_35)
Aligned(A1_1,A1_37)
Aligned(A1_2,A1_1)
Aligned(A1_2,A1_4)
Aligned(A1_2,A1_8)
Aligned(A1_2,A1_9)
Aligned(A1_2,A1_10)
Aligned(A1_2,A1_12)
Aligned(A1_2,A1_16)
Aligned(A1_2,A1_17)
Aligned(A1_2,A1_18)
Aligned(A1_2,A1_20)
Aligned(A1_2,A1_22)
Aligned(A1_2,A1_23)
Aligned(A1_2,A1_25)
Aligned(A1_2,A1_27)
Aligned(A1_2,A1_32)
Aligned(A1_2,A1_33)
Aligned(A1_2,A1_34)
Aligned(A1_2,A1_35)
Aligned(A1_2,A1_37)
Aligned(A1_3,A1_5)
Aligned(A1_3,A1_6)
Aligned(A1_3,A1_7)
Aligned(A1_3,A1_11)
Aligned(A1_3,A1_13)
Aligned(A1_3,A1_14)
Aligned(A1_3,A1_15)
Aligned(A1_3,A1_19)
Aligned(A1_3,A1_21)
Aligned(A1_3,A1_24)
Aligned(A1_3,A1_26)
Aligned(A1_3,A1_28)
Aligned(A1_3,A1_29)
Aligned(A1_3,A1_30)
Aligned(A1_3,A1_31)
Aligned(A1_3,A1_36)
Aligned(A1_4,A1_1)
Aligned(A1_4,A1_2)
Aligned(A1_4,A1_8)
Aligned(A1_4,A1_9)
Aligned(A1_4,A1_10)
Aligned(A1_4,A1_12)
Aligned(A1_4,A1_16)
Aligned(A1_4,A1_17)
Aligned(A1_4,A1_18)
Aligned(A1_4,A1_20)
Aligned(A1_4,A1_22)
Aligned(A1_4,A1_23)
Aligned(A1_4,A1_25)
Aligned(A1_4,A1_27)
Aligned(A1_4,A1_32)
Aligned(A1_4,A1_33)
Aligned(A1_4,A1_34)
Aligned(A1_4,A1_35)
Aligned(A1_4,A1_37)
Aligned(A1_5,A1_3)
Aligned(A1_5,A1_6)
Aligned(A1_5,A1_7)
Aligned(A1_5,A1_11)
Aligned(A1_5,A1_13)
Aligned(A1_5,A1_14)
Aligned(A1_5,A1_15)
Aligned(A1_5,A1_19)
Aligned(A1_5,A1_21)
Aligned(A1_5,A1_24)
Aligned(A1_5,A1_26)
Aligned(A1_5,A1_28)
Aligned(A1_5,A1_29)
Aligned(A1_5,A1_30)
Aligned(A1_5,A1_31)
Aligned(A1_5,A1_36)
Aligned(A1_6,A1_3)
Aligned(A1_6,A1_5)
Aligned(A1_6,A1_7)
Aligned(A1_6,A1_11)
Aligned(A1_6,A1_13)
Aligned(A1_6,A1_14)
Aligned(A1_6,A1_15)
Aligned(A1_6,A1_19)
Aligned(A1_6,A1_21)
Aligned(A1_6,A1_24)
Aligned(A1_6,A1_26)
Aligned(A1_6,A1_28)
Aligned(A1_6,A1_29)
Aligned(A1_6,A1_30)
Aligned(A1_6,A1_31)
Aligned(A1_6,A1_36)
Aligned(A1_7,A1_3)
Aligned(A1_7,A1_5)
Aligned(A1_7,A1_6)
Aligned(A1_7,A1_11)
Aligned(A1_7,A1_13)
Aligned(A1_7,A1_14)
Aligned(A1_7,A1_15)
Aligned(A1_7,A1_19)
Aligned(A1_7,A1_21)
Aligned(A1_7,A1_24)
Aligned(A1_7,A1_26)
Aligned(A1_7,A1_28)
Aligned(A1_7,A1_29)
Aligned(A1_7,A1_30)
Aligned(A1_7,A1_31)
Aligned(A1_7,A1_36)
Aligned(A1_8,A1_1)
Aligned(A1_8,A1_2)
Aligned(A1_8,A1_4)
Aligned(A1_8,A1_9)
Aligned(A1_8,A1_10)
Aligned(A1_8,A1_12)
Aligned(A1_8,A1_16)
Aligned(A1_8,A1_17)
Aligned(A1_8,A1_18)
Aligned(A1_8,A1_20)
Aligned(A1_8,A1_22)
Aligned(A1_8,A1_23)
Aligned(A1_8,A1_25)
Aligned(A1_8,A1_27)
Aligned(A1_8,A1_32)
Aligned(A1_8,A1_33)
Aligned(A1_8,A1_34)
Aligned(A1_8,A1_35)
Aligned(A1_8,A1_37)
Aligned(A1_9,A1_1)
Aligned(A1_9,A1_2)
Aligned(A1_9,A1_4)
Aligned(A1_9,A1_8)
Aligned(A1_9,A1_10)
Aligned(A1_9,A1_12)
Aligned(A1_9,A1_16)
Aligned(A1_9,A1_17)
Aligned(A1_9,A1_18)
Aligned(A1_9,A1_20)
Aligned(A1_9,A1_22)
Aligned(A1_9,A1_23)
Aligned(A1_9,A1_25)
Aligned(A1_9,A1_27)
Aligned(A1_9,A1_32)
Aligned(A1_9,A1_33)
Aligned(A1_9,A1_34)
Aligned(A1_9,A1_35)
Aligned(A1_9,A1_37)
Aligned(A1_10,A1_1)
Aligned(A1_10,A1_2)
Aligned(A1_10,A1_4)
Aligned(A1_10,A1_8)
Aligned(A1_10,A1_9)
Aligned(A1_10,A1_12)
Aligned(A1_10,A1_16)
Aligned(A1_10,A1_17)
Aligned(A1_10,A1_18)
Aligned(A1_10,A1_20)
Aligned(A1_10,A1_22)
Aligned(A1_10,A1_23)
Aligned(A1_10,A1_25)
Aligned(A1_10,A1_27)
Aligned(A1_10,A1_32)
Aligned(A1_10,A1_33)
Aligned(A1_10,A1_34)
Aligned(A1_10,A1_35)
Aligned(A1_10,A1_37)
Aligned(A1_11,A1_3)
Aligned(A1_11,A1_5)
Aligned(A1_11,A1_6)
Aligned(A1_11,A1_7)
Aligned(A1_11,A1_13)
Aligned(A1_11,A1_14)
Aligned(A1_11,A1_15)
Aligned(A1_11,A1_19)
Aligned(A1_11,A1_21)
Aligned(A1_11,A1_24)
Aligned(A1_11,A1_26)
Aligned(A1_11,A1_28)
Aligned(A1_11,A1_29)
Aligned(A1_11,A1_30)
Aligned(A1_11,A1_31)
Aligned(A1_11,A1_36)
Aligned(A1_12,A1_1)
Aligned(A1_12,A1_2)
Aligned(A1_12,A1_4)
Aligned(A1_12,A1_8)
Aligned(A1_12,A1_9)
Aligned(A1_12,A1_10)
Aligned(A1_12,A1_16)
Aligned(A1_12,A1_17)
Aligned(A1_12,A1_18)
Aligned(A1_12,A1_20)
Aligned(A1_12,A1_22)
Aligned(A1_12,A1_23)
Aligned(A1_12,A1_25)
Aligned(A1_12,A1_27)
Aligned(A1_12,A1_32)
Aligned(A1_12,A1_33)
Aligned(A1_12,A1_34)
Aligned(A1_12,A1_35)
Aligned(A1_12,A1_37)
Aligned(A1_13,A1_3)
Aligned(A1_13,A1_5)
Aligned(A1_13,A1_6)
Aligned(A1_13,A1_7)
Aligned(A1_13,A1_11)
Aligned(A1_13,A1_14)
Aligned(A1_13,A1_15)
Aligned(A1_13,A1_19)
Aligned(A1_13,A1_21)
Aligned(A1_13,A1_24)
Aligned(A1_13,A1_26)
Aligned(A1_13,A1_28)
Aligned(A1_13,A1_29)
Aligned(A1_13,A1_30)
Aligned(A1_13,A1_31)
Aligned(A1_13,A1_36)
Aligned(A1_14,A1_3)
Aligned(A1_14,A1_5)
Aligned(A1_14,A1_6)
Aligned(A1_14,A1_7)
Aligned(A1_14,A1_11)
Aligned(A1_14,A1_13)
Aligned(A1_14,A1_15)
Aligned(A1_14,A1_19)
Aligned(A1_14,A1_21)
Aligned(A1_14,A1_24)
Aligned(A1_14,A1_26)
Aligned(A1_14,A1_28)
Aligned(A1_14,A1_29)
Aligned(A1_14,A1_30)
Aligned(A1_14,A1_31)
Aligned(A1_14,A1_36)
Aligned(A1_15,A1_3)
Aligned(A1_15,A1_5)
Aligned(A1_15,A1_6)
Aligned(A1_15,A1_7)
Aligned(A1_15,A1_11)
Aligned(A1_15,A1_13)
Aligned(A1_15,A1_14)
Aligned(A1_15,A1_19)
Aligned(A1_15,A1_21)
Aligned(A1_15,A1_24)
Aligned(A1_15,A1_26)
Aligned(A1_15,A1_28)
Aligned(A1_15,A1_29)
Aligned(A1_15,A1_30)
Aligned(A1_15,A1_31)
Aligned(A1_15,A1_36)
Aligned(A1_16,A1_1)
Aligned(A1_16,A1_2)
Aligned(A1_16,A1_4)
Aligned(A1_16,A1_8)
Aligned(A1_16,A1_9)
Aligned(A1_16,A1_10)
Aligned(A1_16,A1_12)
Aligned(A1_16,A1_17)
Aligned(A1_16,A1_18)
Aligned(A1_16,A1_20)
Aligned(A1_16,A1_22)
Aligned(A1_16,A1_23)
Aligned(A1_16,A1_25)
Aligned(A1_16,A1_27)
Aligned(A1_16,A1_32)
Aligned(A1_16,A1_33)
Aligned(A1_16,A1_34)
Aligned(A1_16,A1_35)
Aligned(A1_16,A1_37)
Aligned(A1_17,A1_1)
Aligned(A1_17,A1_2)
Aligned(A1_17,A1_4)
Aligned(A1_17,A1_8)
Aligned(A1_17,A1_9)
Aligned(A1_17,A1_10)
Aligned(A1_17,A1_12)
Aligned(A1_17,A1_16)
Aligned(A1_17,A1_18)
Aligned(A1_17,A1_20)
Aligned(A1_17,A1_22)
Aligned(A1_17,A1_23)
Aligned(A1_17,A1_25)
Aligned(A1_17,A1_27)
Aligned(A1_17,A1_32)
Aligned(A1_17,A1_33)
Aligned(A1_17,A1_34)
Aligned(A1_17,A1_35)
Aligned(A1_17,A1_37)
Aligned(A1_18,A1_1)
Aligned(A1_18,A1_2)
Aligned(A1_18,A1_4)
Aligned(A1_18,A1_8)
Aligned(A1_18,A1_9)
Aligned(A1_18,A1_10)
Aligned(A1_18,A1_12)
Aligned(A1_18,A1_16)
Aligned(A1_18,A1_17)
Aligned(A1_18,A1_20)
Aligned(A1_18,A1_22)
Aligned(A1_18,A1_23)
Aligned(A1_18,A1_25)
Aligned(A1_18,A1_27)
Aligned(A1_18,A1_32)
Aligned(A1_18,A1_33)
Aligned(A1_18,A1_34)
Aligned(A1_18,A1_35)
Aligned(A1_18,A1_37)
Aligned(A1_19,A1_3)
Aligned(A1_19,A1_5)
Aligned(A1_19,A1_6)
Aligned(A1_19,A1_7)
Aligned(A1_19,A1_11)
Aligned(A1_19,A1_13)
Aligned(A1_19,A1_14)
Aligned(A1_19,A1_15)
Aligned(A1_19,A1_21)
Aligned(A1_19,A1_24)
Aligned(A1_19,A1_26)
Aligned(A1_19,A1_28)
Aligned(A1_19,A1_29)
Aligned(A1_19,A1_30)
Aligned(A1_19,A1_31)
Aligned(A1_19,A1_36)
Aligned(A1_20,A1_1)
Aligned(A1_20,A1_2)
Aligned(A1_20,A1_4)
Aligned(A1_20,A1_8)
Aligned(A1_20,A1_9)
Aligned(A1_20,A1_10)
Aligned(A1_20,A1_12)
Aligned(A1_20,A1_16)
Aligned(A1_20,A1_17)
Aligned(A1_20,A1_18)
Aligned(A1_20,A1_22)
Aligned(A1_20,A1_23)
Aligned(A1_20,A1_25)
Aligned(A1_20,A1_27)
Aligned(A1_20,A1_32)
Aligned(A1_20,A1_33)
Aligned(A1_20,A1_34)
Aligned(A1_20,A1_35)
Aligned(A1_20,A1_37)
Aligned(A1_21,A1_3)
Aligned(A1_21,A1_5)
Aligned(A1_21,A1_6)
Aligned(A1_21,A1_7)
Aligned(A1_21,A1_11)
Aligned(A1_21,A1_13)
Aligned(A1_21,A1_14)
Aligned(A1_21,A1_15)
Aligned(A1_21,A1_19)
Aligned(A1_21,A1_24)
Aligned(A1_21,A1_26)
Aligned(A1_21,A1_28)
Aligned(A1_21,A1_29)
Aligned(A1_21,A1_30)
Aligned(A1_21,A1_31)
Aligned(A1_21,A1_36)
Aligned(A1_22,A1_1)
Aligned(A1_22,A1_2)
Aligned(A1_22,A1_4)
Aligned(A1_22,A1_8)
Aligned(A1_22,A1_9)
Aligned(A1_22,A1_10)
Aligned(A1_22,A1_12)
Aligned(A1_22,A1_16)
Aligned(A1_22,A1_17)
Aligned(A1_22,A1_18)
Aligned(A1_22,A1_20)
Aligned(A1_22,A1_23)
Aligned(A1_22,A1_25)
Aligned(A1_22,A1_27)
Aligned(A1_22,A1_32)
Aligned(A1_22,A1_33)
Aligned(A1_22,A1_34)
Aligned(A1_22,A1_35)
Aligned(A1_22,A1_37)
Aligned(A1_23,A1_1)
Aligned(A1_23,A1_2)
Aligned(A1_23,A1_4)
Aligned(A1_23,A1_8)
Aligned(A1_23,A1_9)
Aligned(A1_23,A1_10)
Aligned(A1_23,A1_12)
Aligned(A1_23,A1_16)
Aligned(A1_23,A1_17)
Aligned(A1_23,A1_18)
Aligned(A1_23,A1_20)
Aligned(A1_23,A1_22)
Aligned(A1_23,A1_25)
Aligned(A1_23,A1_27)
Aligned(A1_23,A1_32)
Aligned(A1_23,A1_33)
Aligned(A1_23,A1_34)
Aligned(A1_23,A1_35)
Aligned(A1_23,A1_37)
Aligned(A1_24,A1_3)
Aligned(A1_24,A1_5)
Aligned(A1_24,A1_6)
Aligned(A1_24,A1_7)
Aligned(A1_24,A1_11)
Aligned(A1_24,A1_13)
Aligned(A1_24,A1_14)
Aligned(A1_24,A1_15)
Aligned(A1_24,A1_19)
Aligned(A1_24,A1_21)
Aligned(A1_24,A1_26)
Aligned(A1_24,A1_28)
Aligned(A1_24,A1_29)
Aligned(A1_24,A1_30)
Aligned(A1_24,A1_31)
Aligned(A1_24,A1_36)
Aligned(A1_25,A1_1)
Aligned(A1_25,A1_2)
Aligned(A1_25,A1_4)
Aligned(A1_25,A1_8)
Aligned(A1_25,A1_9)
Aligned(A1_25,A1_10)
Aligned(A1_25,A1_12)
Aligned(A1_25,A1_16)
Aligned(A1_25,A1_17)
Aligned(A1_25,A1_18)
Aligned(A1_25,A1_20)
Aligned(A1_25,A1_22)
Aligned(A1_25,A1_23)
Aligned(A1_25,A1_27)
Aligned(A1_25,A1_32)
Aligned(A1_25,A1_33)
Aligned(A1_25,A1_34)
Aligned(A1_25,A1_35)
Aligned(A1_25,A1_37)
Aligned(A1_26,A1_3)
Aligned(A1_26,A1_5)
Aligned(A1_26,A1_6)
Aligned(A1_26,A1_7)
Aligned(A1_26,A1_11)
Aligned(A1_26,A1_13)
Aligned(A1_26,A1_14)
Aligned(A1_26,A1_15)
Aligned(A1_26,A1_19)
Aligned(A1_26,A1_21)
Aligned(A1_26,A1_24)
Aligned(A1_26,A1_28)
Aligned(A1_26,A1_29)
Aligned(A1_26,A1_30)
Aligned(A1_26,A1_31)
Aligned(A1_26,A1_36)
Aligned(A1_27,A1_1)
Aligned(A1_27,A1_2)
Aligned(A1_27,A1_4)
Aligned(A1_27,A1_8)
Aligned(A1_27,A1_9)
Aligned(A1_27,A1_10)
Aligned(A1_27,A1_12)
Aligned(A1_27,A1_16)
Aligned(A1_27,A1_17)
Aligned(A1_27,A1_18)
Aligned(A1_27,A1_20)
Aligned(A1_27,A1_22)
Aligned(A1_27,A1_23)
Aligned(A1_27,A1_25)
Aligned(A1_27,A1_32)
Aligned(A1_27,A1_33)
Aligned(A1_27,A1_34)
Aligned(A1_27,A1_35)
Aligned(A1_27,A1_37)
Aligned(A1_28,A1_3)
Aligned(A1_28,A1_5)
Aligned(A1_28,A1_6)
Aligned(A1_28,A1_7)
Aligned(A1_28,A1_11)
Aligned(A1_28,A1_13)
Aligned(A1_28,A1_14)
Aligned(A1_28,A1_15)
Aligned(A1_28,A1_19)
Aligned(A1_28,A1_21)
Aligned(A1_28,A1_24)
Aligned(A1_28,A1_26)
Aligned(A1_28,A1_29)
Aligned(A1_28,A1_30)
Aligned(A1_28,A1_31)
Aligned(A1_28,A1_36)
Aligned(A1_29,A1_3)
Aligned(A1_29,A1_5)
Aligned(A1_29,A1_6)
Aligned(A1_29,A1_7)
Aligned(A1_29,A1_11)
Aligned(A1_29,A1_13)
Aligned(A1_29,A1_14)
Aligned(A1_29,A1_15)
Aligned(A1_29,A1_19)
Aligned(A1_29,A1_21)
Aligned(A1_29,A1_24)
Aligned(A1_29,A1_26)
Aligned(A1_29,A1_28)
Aligned(A1_29,A1_30)
Aligned(A1_29,A1_31)
Aligned(A1_29,A1_36)
Aligned(A1_30,A1_3)
Aligned(A1_30,A1_5)
Aligned(A1_30,A1_6)
Aligned(A1_30,A1_7)
Aligned(A1_30,A1_11)
Aligned(A1_30,A1_13)
Aligned(A1_30,A1_14)
Aligned(A1_30,A1_15)
Aligned(A1_30,A1_19)
Aligned(A1_30,A1_21)
Aligned(A1_30,A1_24)
Aligned(A1_30,A1_26)
Aligned(A1_30,A1_28)
Aligned(A1_30,A1_29)
Aligned(A1_30,A1_31)
Aligned(A1_30,A1_36)
Aligned(A1_31,A1_3)
Aligned(A1_31,A1_5)
Aligned(A1_31,A1_6)
Aligned(A1_31,A1_7)
Aligned(A1_31,A1_11)
Aligned(A1_31,A1_13)
Aligned(A1_31,A1_14)
Aligned(A1_31,A1_15)
Aligned(A1_31,A1_19)
Aligned(A1_31,A1_21)
Aligned(A1_31,A1_24)
Aligned(A1_31,A1_26)
Aligned(A1_31,A1_28)
Aligned(A1_31,A1_29)
Aligned(A1_31,A1_30)
Aligned(A1_31,A1_36)
Aligned(A1_32,A1_1)
Aligned(A1_32,A1_2)
Aligned(A1_32,A1_4)
Aligned(A1_32,A1_8)
Aligned(A1_32,A1_9)
Aligned(A1_32,A1_10)
Aligned(A1_32,A1_12)
Aligned(A1_32,A1_16)
Aligned(A1_32,A1_17)
Aligned(A1_32,A1_18)
Aligned(A1_32,A1_20)
Aligned(A1_32,A1_22)
Aligned(A1_32,A1_23)
Aligned(A1_32,A1_25)
Aligned(A1_32,A1_27)
Aligned(A1_32,A1_33)
Aligned(A1_32,A1_34)
Aligned(A1_32,A1_35)
Aligned(A1_32,A1_37)
Aligned(A1_33,A1_1)
Aligned(A1_33,A1_2)
Aligned(A1_33,A1_4)
Aligned(A1_33,A1_8)
Aligned(A1_33,A1_9)
Aligned(A1_33,A1_10)
Aligned(A1_33,A1_12)
Aligned(A1_33,A1_16)
Aligned(A1_33,A1_17)
Aligned(A1_33,A1_18)
Aligned(A1_33,A1_20)
Aligned(A1_33,A1_22)
Aligned(A1_33,A1_23)
Aligned(A1_33,A1_25)
Aligned(A1_33,A1_27)
Aligned(A1_33,A1_32)
Aligned(A1_33,A1_34)
Aligned(A1_33,A1_35)
Aligned(A1_33,A1_37)
Aligned(A1_34,A1_1)
Aligned(A1_34,A1_2)
Aligned(A1_34,A1_4)
Aligned(A1_34,A1_8)
Aligned(A1_34,A1_9)
Aligned(A1_34,A1_10)
Aligned(A1_34,A1_12)
Aligned(A1_34,A1_16)
Aligned(A1_34,A1_17)
Aligned(A1_34,A1_18)
Aligned(A1_34,A1_20)
Aligned(A1_34,A1_22)
Aligned(A1_34,A1_23)
Aligned(A1_34,A1_25)
Aligned(A1_34,A1_27)
Aligned(A1_34,A1_32)
Aligned(A1_34,A1_33)
Aligned(A1_34,A1_35)
Aligned(A1_34,A1_37)
Aligned(A1_35,A1_1)
Aligned(A1_35,A1_2)
Aligned(A1_35,A1_4)
Aligned(A1_35,A1_8)
Aligned(A1_35,A1_9)
Aligned(A1_35,A1_10)
Aligned(A1_35,A1_12)
Aligned(A1_35,A1_16)
Aligned(A1_35,A1_17)
Aligned(A1_35,A1_18)
Aligned(A1_35,A1_20)
Aligned(A1_35,A1_22)
Aligned(A1_35,A1_23)
Aligned(A1_35,A1_25)
Aligned(A1_35,A1_27)
Aligned(A1_35,A1_32)
Aligned(A1_35,A1_33)
Aligned(A1_35,A1_34)
Aligned(A1_35,A1_37)
Aligned(A1_36,A1_3)
Aligned(A1_36,A1_5)
Aligned(A1_36,A1_6)
Aligned(A1_36,A1_7)
Aligned(A1_36,A1_11)
Aligned(A1_36,A1_13)
Aligned(A1_36,A1_14)
Aligned(A1_36,A1_15)
Aligned(A1_36,A1_19)
Aligned(A1_36,A1_21)
Aligned(A1_36,A1_24)
Aligned(A1_36,A1_26)
Aligned(A1_36,A1_28)
Aligned(A1_36,A1_29)
Aligned(A1_36,A1_30)
Aligned(A1_36,A1_31)
Aligned(A1_37,A1_1)
Aligned(A1_37,A1_2)
Aligned(A1_37,A1_4)
Aligned(A1_37,A1_8)
Aligned(A1_37,A1_9)
Aligned(A1_37,A1_10)
Aligned(A1_37,A1_12)
Aligned(A1_37,A1_16)
Aligned(A1_37,A1_17)
Aligned(A1_37,A1_18)
Aligned(A1_37,A1_20)
Aligned(A1_37,A1_22)
Aligned(A1_37,A1_23)
Aligned(A1_37,A1_25)
Aligned(A1_37,A1_27)
Aligned(A1_37,A1_32)
Aligned(A1_37,A1_33)
Aligned(A1_37,A1_34)
Aligned(A1_37,A1_35)