Result table
| image | mrblock_id | pdb_id | bmrb_id | cing | stage | position | program | type | subtype | subsubtype |
|
|
585522 | 2mes RC | 19238 | cing | 1-original | 3 | HADDOCK | distance | NOE | ambi |
!!!===================================================================================================
!!! First stage calculation
!!! CaM-PSD95 interNOEs
!!!! perturbation residue number
!!!! CaM:15,16,17,19,24,26,27,28,29,31,32,33,34,35,36,37,48,49,53,54,55,57,58,63,64,
!!!! 68,69,70,71,72,73,78,81,86,90,91,105,106,109,110,111,115,116,118,121,127,128,
!!!! 129,130,131,141,142,143,144,146
!!!!
!!!! PSD95: 1,2,3,4,5,6,7,8,9,10,11,12,13,14
! HADDOCK AIR restraints for 1st partner
!
assign ( resid 15 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 16 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 17 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 19 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 24 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 26 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 27 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 28 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 29 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 31 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 32 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 33 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 34 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 35 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 36 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 37 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 48 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 49 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 53 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 54 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 55 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 57 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 58 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 63 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 64 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 68 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 69 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 70 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 71 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 72 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 73 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 78 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 81 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 86 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 90 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 91 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 105 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 106 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 109 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 110 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 111 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 115 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 116 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 118 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 121 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 127 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 128 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 129 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 130 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 131 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 141 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 142 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 143 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 144 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
assign ( resid 146 and segid A)
(
( resid 1 and segid B)
or
( resid 2 and segid B)
or
( resid 3 and segid B)
or
( resid 4 and segid B)
or
( resid 5 and segid B)
or
( resid 6 and segid B)
or
( resid 7 and segid B)
or
( resid 8 and segid B)
or
( resid 9 and segid B)
or
( resid 10 and segid B)
or
( resid 11 and segid B)
or
( resid 12 and segid B)
or
( resid 13 and segid B)
or
( resid 14 and segid B)
or
( resid 15 and segid B)
or
( resid 16 and segid B)
or
( resid 17 and segid B)
or
( resid 18 and segid B)
) 2.0 2.0 0.0
!
! HADDOCK AIR restraints for 2nd partner
!
assign ( resid 1 and segid B)
(
( resid 15 and segid A)
or
( resid 16 and segid A)
or
( resid 17 and segid A)
or
( resid 19 and segid A)
or
( resid 24 and segid A)
or
( resid 26 and segid A)
or
( resid 27 and segid A)
or
( resid 28 and segid A)
or
( resid 29 and segid A)
or
( resid 31 and segid A)
or
( resid 32 and segid A)
or
( resid 33 and segid A)
or
( resid 34 and segid A)
or
( resid 35 and segid A)
or
( resid 36 and segid A)
or
( resid 37 and segid A)
or
( resid 48 and segid A)
or
( resid 49 and segid A)
or
( resid 53 and segid A)
or
( resid 54 and segid A)
or
( resid 55 and segid A)
or
( resid 57 and segid A)
or
( resid 58 and segid A)
or
( resid 63 and segid A)
or
( resid 64 and segid A)
or
( resid 68 and segid A)
or
( resid 69 and segid A)
or
( resid 70 and segid A)
or
( resid 71 and segid A)
or
( resid 72 and segid A)
or
( resid 73 and segid A)
or
( resid 78 and segid A)
or
( resid 81 and segid A)
or
( resid 86 and segid A)
or
( resid 90 and segid A)
or
( resid 91 and segid A)
or
( resid 105 and segid A)
or
( resid 106 and segid A)
or
( resid 109 and segid A)
or
( resid 110 and segid A)
or
( resid 111 and segid A)
or
( resid 115 and segid A)
or
( resid 116 and segid A)
or
( resid 118 and segid A)
or
( resid 121 and segid A)
or
( resid 127 and segid A)
or
( resid 128 and segid A)
or
( resid 129 and segid A)
or
( resid 130 and segid A)
or
( resid 131 and segid A)
or
( resid 141 and segid A)
or
( resid 142 and segid A)
or
( resid 143 and segid A)
or
( resid 144 and segid A)
or
( resid 146 and segid A)
or
( resid 9 and segid A)
or
( resid 10 and segid A)
or
( resid 11 and segid A)
or
( resid 12 and segid A)
or
( resid 13 and segid A)
or
( resid 14 and segid A)
or
( resid 18 and segid A)
or
( resid 21 and segid A)
or
( resid 22 and segid A)
or
( resid 23 and segid A)
or
( resid 25 and segid A)
or
( resid 30 and segid A)
or
( resid 38 and segid A)
or
( resid 39 and segid A)
or
( resid 40 and segid A)
or
( resid 41 and segid A)
or
( resid 42 and segid A)
or
( resid 43 and segid A)
or
( resid 44 and segid A)
or
( resid 45 and segid A)
or
( resid 46 and segid A)
or
( resid 47 and segid A)
or
( resid 50 and segid A)
or
( resid 51 and segid A)
or
( resid 56 and segid A)
or
( resid 59 and segid A)
or
( resid 60 and segid A)
or
( resid 61 and segid A)
or
( resid 62 and segid A)
or
( resid 65 and segid A)
or
( resid 66 and segid A)
or
( resid 74 and segid A)
or
( resid 75 and segid A)
or
( resid 76 and segid A)
or
( resid 77 and segid A)
or
( resid 79 and segid A)
or
( resid 80 and segid A)
or
( resid 82 and segid A)
or
( resid 83 and segid A)
or
( resid 84 and segid A)
or
( resid 87 and segid A)
or
( resid 88 and segid A)
or
( resid 92 and segid A)
or
( resid 94 and segid A)
or
( resid 99 and segid A)
or
( resid 101 and segid A)
or
( resid 102 and segid A)
or
( resid 103 and segid A)
or
( resid 104 and segid A)
or
( resid 107 and segid A)
or
( resid 112 and segid A)
or
( resid 113 and segid A)
or
( resid 114 and segid A)
or
( resid 117 and segid A)
or
( resid 119 and segid A)
or
( resid 120 and segid A)
or
( resid 122 and segid A)
or
( resid 123 and segid A)
or
( resid 124 and segid A)
or
( resid 126 and segid A)
or
( resid 132 and segid A)
or
( resid 133 and segid A)
or
( resid 134 and segid A)
or
( resid 135 and segid A)
or
( resid 137 and segid A)
or
( resid 138 and segid A)
or
( resid 139 and segid A)
or
( resid 145 and segid A)
or
( resid 147 and segid A)
) 2.0 2.0 0.0
!
assign ( resid 2 and segid B)
(
( resid 15 and segid A)
or
( resid 16 and segid A)
or
( resid 17 and segid A)
or
( resid 19 and segid A)
or
( resid 24 and segid A)
or
( resid 26 and segid A)
or
( resid 27 and segid A)
or
( resid 28 and segid A)
or
( resid 29 and segid A)
or
( resid 31 and segid A)
or
( resid 32 and segid A)
or
( resid 33 and segid A)
or
( resid 34 and segid A)
or
( resid 35 and segid A)
or
( resid 36 and segid A)
or
( resid 37 and segid A)
or
( resid 48 and segid A)
or
( resid 49 and segid A)
or
( resid 53 and segid A)
or
( resid 54 and segid A)
or
( resid 55 and segid A)
or
( resid 57 and segid A)
or
( resid 58 and segid A)
or
( resid 63 and segid A)
or
( resid 64 and segid A)
or
( resid 68 and segid A)
or
( resid 69 and segid A)
or
( resid 70 and segid A)
or
( resid 71 and segid A)
or
( resid 72 and segid A)
or
( resid 73 and segid A)
or
( resid 78 and segid A)
or
( resid 81 and segid A)
or
( resid 86 and segid A)
or
( resid 90 and segid A)
or
( resid 91 and segid A)
or
( resid 105 and segid A)
or
( resid 106 and segid A)
or
( resid 109 and segid A)
or
( resid 110 and segid A)
or
( resid 111 and segid A)
or
( resid 115 and segid A)
or
( resid 116 and segid A)
or
( resid 118 and segid A)
or
( resid 121 and segid A)
or
( resid 127 and segid A)
or
( resid 128 and segid A)
or
( resid 129 and segid A)
or
( resid 130 and segid A)
or
( resid 131 and segid A)
or
( resid 141 and segid A)
or
( resid 142 and segid A)
or
( resid 143 and segid A)
or
( resid 144 and segid A)
or
( resid 146 and segid A)
or
( resid 9 and segid A)
or
( resid 10 and segid A)
or
( resid 11 and segid A)
or
( resid 12 and segid A)
or
( resid 13 and segid A)
or
( resid 14 and segid A)
or
( resid 18 and segid A)
or
( resid 21 and segid A)
or
( resid 22 and segid A)
or
( resid 23 and segid A)
or
( resid 25 and segid A)
or
( resid 30 and segid A)
or
( resid 38 and segid A)
or
( resid 39 and segid A)
or
( resid 40 and segid A)
or
( resid 41 and segid A)
or
( resid 42 and segid A)
or
( resid 43 and segid A)
or
( resid 44 and segid A)
or
( resid 45 and segid A)
or
( resid 46 and segid A)
or
( resid 47 and segid A)
or
( resid 50 and segid A)
or
( resid 51 and segid A)
or
( resid 56 and segid A)
or
( resid 59 and segid A)
or
( resid 60 and segid A)
or
( resid 61 and segid A)
or
( resid 62 and segid A)
or
( resid 65 and segid A)
or
( resid 66 and segid A)
or
( resid 74 and segid A)
or
( resid 75 and segid A)
or
( resid 76 and segid A)
or
( resid 77 and segid A)
or
( resid 79 and segid A)
or
( resid 80 and segid A)
or
( resid 82 and segid A)
or
( resid 83 and segid A)
or
( resid 84 and segid A)
or
( resid 87 and segid A)
or
( resid 88 and segid A)
or
( resid 92 and segid A)
or
( resid 94 and segid A)
or
( resid 99 and segid A)
or
( resid 101 and segid A)
or
( resid 102 and segid A)
or
( resid 103 and segid A)
or
( resid 104 and segid A)
or
( resid 107 and segid A)
or
( resid 112 and segid A)
or
( resid 113 and segid A)
or
( resid 114 and segid A)
or
( resid 117 and segid A)
or
( resid 119 and segid A)
or
( resid 120 and segid A)
or
( resid 122 and segid A)
or
( resid 123 and segid A)
or
( resid 124 and segid A)
or
( resid 126 and segid A)
or
( resid 132 and segid A)
or
( resid 133 and segid A)
or
( resid 134 and segid A)
or
( resid 135 and segid A)
or
( resid 137 and segid A)
or
( resid 138 and segid A)
or
( resid 139 and segid A)
or
( resid 145 and segid A)
or
( resid 147 and segid A)
) 2.0 2.0 0.0
!
assign ( resid 3 and segid B)
(
( resid 15 and segid A)
or
( resid 16 and segid A)
or
( resid 17 and segid A)
or
( resid 19 and segid A)
or
( resid 24 and segid A)
or
( resid 26 and segid A)
or
( resid 27 and segid A)
or
( resid 28 and segid A)
or
( resid 29 and segid A)
or
( resid 31 and segid A)
or
( resid 32 and segid A)
or
( resid 33 and segid A)
or
( resid 34 and segid A)
or
( resid 35 and segid A)
or
( resid 36 and segid A)
or
( resid 37 and segid A)
or
( resid 48 and segid A)
or
( resid 49 and segid A)
or
( resid 53 and segid A)
or
( resid 54 and segid A)
or
( resid 55 and segid A)
or
( resid 57 and segid A)
or
( resid 58 and segid A)
or
( resid 63 and segid A)
or
( resid 64 and segid A)
or
( resid 68 and segid A)
or
( resid 69 and segid A)
or
( resid 70 and segid A)
or
( resid 71 and segid A)
or
( resid 72 and segid A)
or
( resid 73 and segid A)
or
( resid 78 and segid A)
or
( resid 81 and segid A)
or
( resid 86 and segid A)
or
( resid 90 and segid A)
or
( resid 91 and segid A)
or
( resid 105 and segid A)
or
( resid 106 and segid A)
or
( resid 109 and segid A)
or
( resid 110 and segid A)
or
( resid 111 and segid A)
or
( resid 115 and segid A)
or
( resid 116 and segid A)
or
( resid 118 and segid A)
or
( resid 121 and segid A)
or
( resid 127 and segid A)
or
( resid 128 and segid A)
or
( resid 129 and segid A)
or
( resid 130 and segid A)
or
( resid 131 and segid A)
or
( resid 141 and segid A)
or
( resid 142 and segid A)
or
( resid 143 and segid A)
or
( resid 144 and segid A)
or
( resid 146 and segid A)
or
( resid 9 and segid A)
or
( resid 10 and segid A)
or
( resid 11 and segid A)
or
( resid 12 and segid A)
or
( resid 13 and segid A)
or
( resid 14 and segid A)
or
( resid 18 and segid A)
or
( resid 21 and segid A)
or
( resid 22 and segid A)
or
( resid 23 and segid A)
or
( resid 25 and segid A)
or
( resid 30 and segid A)
or
( resid 38 and segid A)
or
( resid 39 and segid A)
or
( resid 40 and segid A)
or
( resid 41 and segid A)
or
( resid 42 and segid A)
or
( resid 43 and segid A)
or
( resid 44 and segid A)
or
( resid 45 and segid A)
or
( resid 46 and segid A)
or
( resid 47 and segid A)
or
( resid 50 and segid A)
or
( resid 51 and segid A)
or
( resid 56 and segid A)
or
( resid 59 and segid A)
or
( resid 60 and segid A)
or
( resid 61 and segid A)
or
( resid 62 and segid A)
or
( resid 65 and segid A)
or
( resid 66 and segid A)
or
( resid 74 and segid A)
or
( resid 75 and segid A)
or
( resid 76 and segid A)
or
( resid 77 and segid A)
or
( resid 79 and segid A)
or
( resid 80 and segid A)
or
( resid 82 and segid A)
or
( resid 83 and segid A)
or
( resid 84 and segid A)
or
( resid 87 and segid A)
or
( resid 88 and segid A)
or
( resid 92 and segid A)
or
( resid 94 and segid A)
or
( resid 99 and segid A)
or
( resid 101 and segid A)
or
( resid 102 and segid A)
or
( resid 103 and segid A)
or
( resid 104 and segid A)
or
( resid 107 and segid A)
or
( resid 112 and segid A)
or
( resid 113 and segid A)
or
( resid 114 and segid A)
or
( resid 117 and segid A)
or
( resid 119 and segid A)
or
( resid 120 and segid A)
or
( resid 122 and segid A)
or
( resid 123 and segid A)
or
( resid 124 and segid A)
or
( resid 126 and segid A)
or
( resid 132 and segid A)
or
( resid 133 and segid A)
or
( resid 134 and segid A)
or
( resid 135 and segid A)
or
( resid 137 and segid A)
or
( resid 138 and segid A)
or
( resid 139 and segid A)
or
( resid 145 and segid A)
or
( resid 147 and segid A)
) 2.0 2.0 0.0
!
assign ( resid 4 and segid B)
(
( resid 15 and segid A)
or
( resid 16 and segid A)
or
( resid 17 and segid A)
or
( resid 19 and segid A)
or
( resid 24 and segid A)
or
( resid 26 and segid A)
or
( resid 27 and segid A)
or
( resid 28 and segid A)
or
( resid 29 and segid A)
or
( resid 31 and segid A)
or
( resid 32 and segid A)
or
( resid 33 and segid A)
or
( resid 34 and segid A)
or
( resid 35 and segid A)
or
( resid 36 and segid A)
or
( resid 37 and segid A)
or
( resid 48 and segid A)
or
( resid 49 and segid A)
or
( resid 53 and segid A)
or
( resid 54 and segid A)
or
( resid 55 and segid A)
or
( resid 57 and segid A)
or
( resid 58 and segid A)
or
( resid 63 and segid A)
or
( resid 64 and segid A)
or
( resid 68 and segid A)
or
( resid 69 and segid A)
or
( resid 70 and segid A)
or
( resid 71 and segid A)
or
( resid 72 and segid A)
or
( resid 73 and segid A)
or
( resid 78 and segid A)
or
( resid 81 and segid A)
or
( resid 86 and segid A)
or
( resid 90 and segid A)
or
( resid 91 and segid A)
or
( resid 105 and segid A)
or
( resid 106 and segid A)
or
( resid 109 and segid A)
or
( resid 110 and segid A)
or
( resid 111 and segid A)
or
( resid 115 and segid A)
or
( resid 116 and segid A)
or
( resid 118 and segid A)
or
( resid 121 and segid A)
or
( resid 127 and segid A)
or
( resid 128 and segid A)
or
( resid 129 and segid A)
or
( resid 130 and segid A)
or
( resid 131 and segid A)
or
( resid 141 and segid A)
or
( resid 142 and segid A)
or
( resid 143 and segid A)
or
( resid 144 and segid A)
or
( resid 146 and segid A)
or
( resid 9 and segid A)
or
( resid 10 and segid A)
or
( resid 11 and segid A)
or
( resid 12 and segid A)
or
( resid 13 and segid A)
or
( resid 14 and segid A)
or
( resid 18 and segid A)
or
( resid 21 and segid A)
or
( resid 22 and segid A)
or
( resid 23 and segid A)
or
( resid 25 and segid A)
or
( resid 30 and segid A)
or
( resid 38 and segid A)
or
( resid 39 and segid A)
or
( resid 40 and segid A)
or
( resid 41 and segid A)
or
( resid 42 and segid A)
or
( resid 43 and segid A)
or
( resid 44 and segid A)
or
( resid 45 and segid A)
or
( resid 46 and segid A)
or
( resid 47 and segid A)
or
( resid 50 and segid A)
or
( resid 51 and segid A)
or
( resid 56 and segid A)
or
( resid 59 and segid A)
or
( resid 60 and segid A)
or
( resid 61 and segid A)
or
( resid 62 and segid A)
or
( resid 65 and segid A)
or
( resid 66 and segid A)
or
( resid 74 and segid A)
or
( resid 75 and segid A)
or
( resid 76 and segid A)
or
( resid 77 and segid A)
or
( resid 79 and segid A)
or
( resid 80 and segid A)
or
( resid 82 and segid A)
or
( resid 83 and segid A)
or
( resid 84 and segid A)
or
( resid 87 and segid A)
or
( resid 88 and segid A)
or
( resid 92 and segid A)
or
( resid 94 and segid A)
or
( resid 99 and segid A)
or
( resid 101 and segid A)
or
( resid 102 and segid A)
or
( resid 103 and segid A)
or
( resid 104 and segid A)
or
( resid 107 and segid A)
or
( resid 112 and segid A)
or
( resid 113 and segid A)
or
( resid 114 and segid A)
or
( resid 117 and segid A)
or
( resid 119 and segid A)
or
( resid 120 and segid A)
or
( resid 122 and segid A)
or
( resid 123 and segid A)
or
( resid 124 and segid A)
or
( resid 126 and segid A)
or
( resid 132 and segid A)
or
( resid 133 and segid A)
or
( resid 134 and segid A)
or
( resid 135 and segid A)
or
( resid 137 and segid A)
or
( resid 138 and segid A)
or
( resid 139 and segid A)
or
( resid 145 and segid A)
or
( resid 147 and segid A)
) 2.0 2.0 0.0
!
assign ( resid 5 and segid B)
(
( resid 15 and segid A)
or
( resid 16 and segid A)
or
( resid 17 and segid A)
or
( resid 19 and segid A)
or
( resid 24 and segid A)
or
( resid 26 and segid A)
or
( resid 27 and segid A)
or
( resid 28 and segid A)
or
( resid 29 and segid A)
or
( resid 31 and segid A)
or
( resid 32 and segid A)
or
( resid 33 and segid A)
or
( resid 34 and segid A)
or
( resid 35 and segid A)
or
( resid 36 and segid A)
or
( resid 37 and segid A)
or
( resid 48 and segid A)
or
( resid 49 and segid A)
or
( resid 53 and segid A)
or
( resid 54 and segid A)
or
( resid 55 and segid A)
or
( resid 57 and segid A)
or
( resid 58 and segid A)
or
( resid 63 and segid A)
or
( resid 64 and segid A)
or
( resid 68 and segid A)
or
( resid 69 and segid A)
or
( resid 70 and segid A)
or
( resid 71 and segid A)
or
( resid 72 and segid A)
or
( resid 73 and segid A)
or
( resid 78 and segid A)
or
( resid 81 and segid A)
or
( resid 86 and segid A)
or
( resid 90 and segid A)
or
( resid 91 and segid A)
or
( resid 105 and segid A)
or
( resid 106 and segid A)
or
( resid 109 and segid A)
or
( resid 110 and segid A)
or
( resid 111 and segid A)
or
( resid 115 and segid A)
or
( resid 116 and segid A)
or
( resid 118 and segid A)
or
( resid 121 and segid A)
or
( resid 127 and segid A)
or
( resid 128 and segid A)
or
( resid 129 and segid A)
or
( resid 130 and segid A)
or
( resid 131 and segid A)
or
( resid 141 and segid A)
or
( resid 142 and segid A)
or
( resid 143 and segid A)
or
( resid 144 and segid A)
or
( resid 146 and segid A)
or
( resid 9 and segid A)
or
( resid 10 and segid A)
or
( resid 11 and segid A)
or
( resid 12 and segid A)
or
( resid 13 and segid A)
or
( resid 14 and segid A)
or
( resid 18 and segid A)
or
( resid 21 and segid A)
or
( resid 22 and segid A)
or
( resid 23 and segid A)
or
( resid 25 and segid A)
or
( resid 30 and segid A)
or
( resid 38 and segid A)
or
( resid 39 and segid A)
or
( resid 40 and segid A)
or
( resid 41 and segid A)
or
( resid 42 and segid A)
or
( resid 43 and segid A)
or
( resid 44 and segid A)
or
( resid 45 and segid A)
or
( resid 46 and segid A)
or
( resid 47 and segid A)
or
( resid 50 and segid A)
or
( resid 51 and segid A)
or
( resid 56 and segid A)
or
( resid 59 and segid A)
or
( resid 60 and segid A)
or
( resid 61 and segid A)
or
( resid 62 and segid A)
or
( resid 65 and segid A)
or
( resid 66 and segid A)
or
( resid 74 and segid A)
or
( resid 75 and segid A)
or
( resid 76 and segid A)
or
( resid 77 and segid A)
or
( resid 79 and segid A)
or
( resid 80 and segid A)
or
( resid 82 and segid A)
or
( resid 83 and segid A)
or
( resid 84 and segid A)
or
( resid 87 and segid A)
or
( resid 88 and segid A)
or
( resid 92 and segid A)
or
( resid 94 and segid A)
or
( resid 99 and segid A)
or
( resid 101 and segid A)
or
( resid 102 and segid A)
or
( resid 103 and segid A)
or
( resid 104 and segid A)
or
( resid 107 and segid A)
or
( resid 112 and segid A)
or
( resid 113 and segid A)
or
( resid 114 and segid A)
or
( resid 117 and segid A)
or
( resid 119 and segid A)
or
( resid 120 and segid A)
or
( resid 122 and segid A)
or
( resid 123 and segid A)
or
( resid 124 and segid A)
or
( resid 126 and segid A)
or
( resid 132 and segid A)
or
( resid 133 and segid A)
or
( resid 134 and segid A)
or
( resid 135 and segid A)
or
( resid 137 and segid A)
or
( resid 138 and segid A)
or
( resid 139 and segid A)
or
( resid 145 and segid A)
or
( resid 147 and segid A)
) 2.0 2.0 0.0
!
assign ( resid 6 and segid B)
(
( resid 15 and segid A)
or
( resid 16 and segid A)
or
( resid 17 and segid A)
or
( resid 19 and segid A)
or
( resid 24 and segid A)
or
( resid 26 and segid A)
or
( resid 27 and segid A)
or
( resid 28 and segid A)
or
( resid 29 and segid A)
or
( resid 31 and segid A)
or
( resid 32 and segid A)
or
( resid 33 and segid A)
or
( resid 34 and segid A)
or
( resid 35 and segid A)
or
( resid 36 and segid A)
or
( resid 37 and segid A)
or
( resid 48 and segid A)
or
( resid 49 and segid A)
or
( resid 53 and segid A)
or
( resid 54 and segid A)
or
( resid 55 and segid A)
or
( resid 57 and segid A)
or
( resid 58 and segid A)
or
( resid 63 and segid A)
or
( resid 64 and segid A)
or
( resid 68 and segid A)
or
( resid 69 and segid A)
or
( resid 70 and segid A)
or
( resid 71 and segid A)
or
( resid 72 and segid A)
or
( resid 73 and segid A)
or
( resid 78 and segid A)
or
( resid 81 and segid A)
or
( resid 86 and segid A)
or
( resid 90 and segid A)
or
( resid 91 and segid A)
or
( resid 105 and segid A)
or
( resid 106 and segid A)
or
( resid 109 and segid A)
or
( resid 110 and segid A)
or
( resid 111 and segid A)
or
( resid 115 and segid A)
or
( resid 116 and segid A)
or
( resid 118 and segid A)
or
( resid 121 and segid A)
or
( resid 127 and segid A)
or
( resid 128 and segid A)
or
( resid 129 and segid A)
or
( resid 130 and segid A)
or
( resid 131 and segid A)
or
( resid 141 and segid A)
or
( resid 142 and segid A)
or
( resid 143 and segid A)
or
( resid 144 and segid A)
or
( resid 146 and segid A)
or
( resid 9 and segid A)
or
( resid 10 and segid A)
or
( resid 11 and segid A)
or
( resid 12 and segid A)
or
( resid 13 and segid A)
or
( resid 14 and segid A)
or
( resid 18 and segid A)
or
( resid 21 and segid A)
or
( resid 22 and segid A)
or
( resid 23 and segid A)
or
( resid 25 and segid A)
or
( resid 30 and segid A)
or
( resid 38 and segid A)
or
( resid 39 and segid A)
or
( resid 40 and segid A)
or
( resid 41 and segid A)
or
( resid 42 and segid A)
or
( resid 43 and segid A)
or
( resid 44 and segid A)
or
( resid 45 and segid A)
or
( resid 46 and segid A)
or
( resid 47 and segid A)
or
( resid 50 and segid A)
or
( resid 51 and segid A)
or
( resid 56 and segid A)
or
( resid 59 and segid A)
or
( resid 60 and segid A)
or
( resid 61 and segid A)
or
( resid 62 and segid A)
or
( resid 65 and segid A)
or
( resid 66 and segid A)
or
( resid 74 and segid A)
or
( resid 75 and segid A)
or
( resid 76 and segid A)
or
( resid 77 and segid A)
or
( resid 79 and segid A)
or
( resid 80 and segid A)
or
( resid 82 and segid A)
or
( resid 83 and segid A)
or
( resid 84 and segid A)
or
( resid 87 and segid A)
or
( resid 88 and segid A)
or
( resid 92 and segid A)
or
( resid 94 and segid A)
or
( resid 99 and segid A)
or
( resid 101 and segid A)
or
( resid 102 and segid A)
or
( resid 103 and segid A)
or
( resid 104 and segid A)
or
( resid 107 and segid A)
or
( resid 112 and segid A)
or
( resid 113 and segid A)
or
( resid 114 and segid A)
or
( resid 117 and segid A)
or
( resid 119 and segid A)
or
( resid 120 and segid A)
or
( resid 122 and segid A)
or
( resid 123 and segid A)
or
( resid 124 and segid A)
or
( resid 126 and segid A)
or
( resid 132 and segid A)
or
( resid 133 and segid A)
or
( resid 134 and segid A)
or
( resid 135 and segid A)
or
( resid 137 and segid A)
or
( resid 138 and segid A)
or
( resid 139 and segid A)
or
( resid 145 and segid A)
or
( resid 147 and segid A)
) 2.0 2.0 0.0
!
assign ( resid 7 and segid B)
(
( resid 15 and segid A)
or
( resid 16 and segid A)
or
( resid 17 and segid A)
or
( resid 19 and segid A)
or
( resid 24 and segid A)
or
( resid 26 and segid A)
or
( resid 27 and segid A)
or
( resid 28 and segid A)
or
( resid 29 and segid A)
or
( resid 31 and segid A)
or
( resid 32 and segid A)
or
( resid 33 and segid A)
or
( resid 34 and segid A)
or
( resid 35 and segid A)
or
( resid 36 and segid A)
or
( resid 37 and segid A)
or
( resid 48 and segid A)
or
( resid 49 and segid A)
or
( resid 53 and segid A)
or
( resid 54 and segid A)
or
( resid 55 and segid A)
or
( resid 57 and segid A)
or
( resid 58 and segid A)
or
( resid 63 and segid A)
or
( resid 64 and segid A)
or
( resid 68 and segid A)
or
( resid 69 and segid A)
or
( resid 70 and segid A)
or
( resid 71 and segid A)
or
( resid 72 and segid A)
or
( resid 73 and segid A)
or
( resid 78 and segid A)
or
( resid 81 and segid A)
or
( resid 86 and segid A)
or
( resid 90 and segid A)
or
( resid 91 and segid A)
or
( resid 105 and segid A)
or
( resid 106 and segid A)
or
( resid 109 and segid A)
or
( resid 110 and segid A)
or
( resid 111 and segid A)
or
( resid 115 and segid A)
or
( resid 116 and segid A)
or
( resid 118 and segid A)
or
( resid 121 and segid A)
or
( resid 127 and segid A)
or
( resid 128 and segid A)
or
( resid 129 and segid A)
or
( resid 130 and segid A)
or
( resid 131 and segid A)
or
( resid 141 and segid A)
or
( resid 142 and segid A)
or
( resid 143 and segid A)
or
( resid 144 and segid A)
or
( resid 146 and segid A)
or
( resid 9 and segid A)
or
( resid 10 and segid A)
or
( resid 11 and segid A)
or
( resid 12 and segid A)
or
( resid 13 and segid A)
or
( resid 14 and segid A)
or
( resid 18 and segid A)
or
( resid 21 and segid A)
or
( resid 22 and segid A)
or
( resid 23 and segid A)
or
( resid 25 and segid A)
or
( resid 30 and segid A)
or
( resid 38 and segid A)
or
( resid 39 and segid A)
or
( resid 40 and segid A)
or
( resid 41 and segid A)
or
( resid 42 and segid A)
or
( resid 43 and segid A)
or
( resid 44 and segid A)
or
( resid 45 and segid A)
or
( resid 46 and segid A)
or
( resid 47 and segid A)
or
( resid 50 and segid A)
or
( resid 51 and segid A)
or
( resid 56 and segid A)
or
( resid 59 and segid A)
or
( resid 60 and segid A)
or
( resid 61 and segid A)
or
( resid 62 and segid A)
or
( resid 65 and segid A)
or
( resid 66 and segid A)
or
( resid 74 and segid A)
or
( resid 75 and segid A)
or
( resid 76 and segid A)
or
( resid 77 and segid A)
or
( resid 79 and segid A)
or
( resid 80 and segid A)
or
( resid 82 and segid A)
or
( resid 83 and segid A)
or
( resid 84 and segid A)
or
( resid 87 and segid A)
or
( resid 88 and segid A)
or
( resid 92 and segid A)
or
( resid 94 and segid A)
or
( resid 99 and segid A)
or
( resid 101 and segid A)
or
( resid 102 and segid A)
or
( resid 103 and segid A)
or
( resid 104 and segid A)
or
( resid 107 and segid A)
or
( resid 112 and segid A)
or
( resid 113 and segid A)
or
( resid 114 and segid A)
or
( resid 117 and segid A)
or
( resid 119 and segid A)
or
( resid 120 and segid A)
or
( resid 122 and segid A)
or
( resid 123 and segid A)
or
( resid 124 and segid A)
or
( resid 126 and segid A)
or
( resid 132 and segid A)
or
( resid 133 and segid A)
or
( resid 134 and segid A)
or
( resid 135 and segid A)
or
( resid 137 and segid A)
or
( resid 138 and segid A)
or
( resid 139 and segid A)
or
( resid 145 and segid A)
or
( resid 147 and segid A)
) 2.0 2.0 0.0
!
assign ( resid 8 and segid B)
(
( resid 15 and segid A)
or
( resid 16 and segid A)
or
( resid 17 and segid A)
or
( resid 19 and segid A)
or
( resid 24 and segid A)
or
( resid 26 and segid A)
or
( resid 27 and segid A)
or
( resid 28 and segid A)
or
( resid 29 and segid A)
or
( resid 31 and segid A)
or
( resid 32 and segid A)
or
( resid 33 and segid A)
or
( resid 34 and segid A)
or
( resid 35 and segid A)
or
( resid 36 and segid A)
or
( resid 37 and segid A)
or
( resid 48 and segid A)
or
( resid 49 and segid A)
or
( resid 53 and segid A)
or
( resid 54 and segid A)
or
( resid 55 and segid A)
or
( resid 57 and segid A)
or
( resid 58 and segid A)
or
( resid 63 and segid A)
or
( resid 64 and segid A)
or
( resid 68 and segid A)
or
( resid 69 and segid A)
or
( resid 70 and segid A)
or
( resid 71 and segid A)
or
( resid 72 and segid A)
or
( resid 73 and segid A)
or
( resid 78 and segid A)
or
( resid 81 and segid A)
or
( resid 86 and segid A)
or
( resid 90 and segid A)
or
( resid 91 and segid A)
or
( resid 105 and segid A)
or
( resid 106 and segid A)
or
( resid 109 and segid A)
or
( resid 110 and segid A)
or
( resid 111 and segid A)
or
( resid 115 and segid A)
or
( resid 116 and segid A)
or
( resid 118 and segid A)
or
( resid 121 and segid A)
or
( resid 127 and segid A)
or
( resid 128 and segid A)
or
( resid 129 and segid A)
or
( resid 130 and segid A)
or
( resid 131 and segid A)
or
( resid 141 and segid A)
or
( resid 142 and segid A)
or
( resid 143 and segid A)
or
( resid 144 and segid A)
or
( resid 146 and segid A)
or
( resid 9 and segid A)
or
( resid 10 and segid A)
or
( resid 11 and segid A)
or
( resid 12 and segid A)
or
( resid 13 and segid A)
or
( resid 14 and segid A)
or
( resid 18 and segid A)
or
( resid 21 and segid A)
or
( resid 22 and segid A)
or
( resid 23 and segid A)
or
( resid 25 and segid A)
or
( resid 30 and segid A)
or
( resid 38 and segid A)
or
( resid 39 and segid A)
or
( resid 40 and segid A)
or
( resid 41 and segid A)
or
( resid 42 and segid A)
or
( resid 43 and segid A)
or
( resid 44 and segid A)
or
( resid 45 and segid A)
or
( resid 46 and segid A)
or
( resid 47 and segid A)
or
( resid 50 and segid A)
or
( resid 51 and segid A)
or
( resid 56 and segid A)
or
( resid 59 and segid A)
or
( resid 60 and segid A)
or
( resid 61 and segid A)
or
( resid 62 and segid A)
or
( resid 65 and segid A)
or
( resid 66 and segid A)
or
( resid 74 and segid A)
or
( resid 75 and segid A)
or
( resid 76 and segid A)
or
( resid 77 and segid A)
or
( resid 79 and segid A)
or
( resid 80 and segid A)
or
( resid 82 and segid A)
or
( resid 83 and segid A)
or
( resid 84 and segid A)
or
( resid 87 and segid A)
or
( resid 88 and segid A)
or
( resid 92 and segid A)
or
( resid 94 and segid A)
or
( resid 99 and segid A)
or
( resid 101 and segid A)
or
( resid 102 and segid A)
or
( resid 103 and segid A)
or
( resid 104 and segid A)
or
( resid 107 and segid A)
or
( resid 112 and segid A)
or
( resid 113 and segid A)
or
( resid 114 and segid A)
or
( resid 117 and segid A)
or
( resid 119 and segid A)
or
( resid 120 and segid A)
or
( resid 122 and segid A)
or
( resid 123 and segid A)
or
( resid 124 and segid A)
or
( resid 126 and segid A)
or
( resid 132 and segid A)
or
( resid 133 and segid A)
or
( resid 134 and segid A)
or
( resid 135 and segid A)
or
( resid 137 and segid A)
or
( resid 138 and segid A)
or
( resid 139 and segid A)
or
( resid 145 and segid A)
or
( resid 147 and segid A)
) 2.0 2.0 0.0
!
assign ( resid 9 and segid B)
(
( resid 15 and segid A)
or
( resid 16 and segid A)
or
( resid 17 and segid A)
or
( resid 19 and segid A)
or
( resid 24 and segid A)
or
( resid 26 and segid A)
or
( resid 27 and segid A)
or
( resid 28 and segid A)
or
( resid 29 and segid A)
or
( resid 31 and segid A)
or
( resid 32 and segid A)
or
( resid 33 and segid A)
or
( resid 34 and segid A)
or
( resid 35 and segid A)
or
( resid 36 and segid A)
or
( resid 37 and segid A)
or
( resid 48 and segid A)
or
( resid 49 and segid A)
or
( resid 53 and segid A)
or
( resid 54 and segid A)
or
( resid 55 and segid A)
or
( resid 57 and segid A)
or
( resid 58 and segid A)
or
( resid 63 and segid A)
or
( resid 64 and segid A)
or
( resid 68 and segid A)
or
( resid 69 and segid A)
or
( resid 70 and segid A)
or
( resid 71 and segid A)
or
( resid 72 and segid A)
or
( resid 73 and segid A)
or
( resid 78 and segid A)
or
( resid 81 and segid A)
or
( resid 86 and segid A)
or
( resid 90 and segid A)
or
( resid 91 and segid A)
or
( resid 105 and segid A)
or
( resid 106 and segid A)
or
( resid 109 and segid A)
or
( resid 110 and segid A)
or
( resid 111 and segid A)
or
( resid 115 and segid A)
or
( resid 116 and segid A)
or
( resid 118 and segid A)
or
( resid 121 and segid A)
or
( resid 127 and segid A)
or
( resid 128 and segid A)
or
( resid 129 and segid A)
or
( resid 130 and segid A)
or
( resid 131 and segid A)
or
( resid 141 and segid A)
or
( resid 142 and segid A)
or
( resid 143 and segid A)
or
( resid 144 and segid A)
or
( resid 146 and segid A)
or
( resid 9 and segid A)
or
( resid 10 and segid A)
or
( resid 11 and segid A)
or
( resid 12 and segid A)
or
( resid 13 and segid A)
or
( resid 14 and segid A)
or
( resid 18 and segid A)
or
( resid 21 and segid A)
or
( resid 22 and segid A)
or
( resid 23 and segid A)
or
( resid 25 and segid A)
or
( resid 30 and segid A)
or
( resid 38 and segid A)
or
( resid 39 and segid A)
or
( resid 40 and segid A)
or
( resid 41 and segid A)
or
( resid 42 and segid A)
or
( resid 43 and segid A)
or
( resid 44 and segid A)
or
( resid 45 and segid A)
or
( resid 46 and segid A)
or
( resid 47 and segid A)
or
( resid 50 and segid A)
or
( resid 51 and segid A)
or
( resid 56 and segid A)
or
( resid 59 and segid A)
or
( resid 60 and segid A)
or
( resid 61 and segid A)
or
( resid 62 and segid A)
or
( resid 65 and segid A)
or
( resid 66 and segid A)
or
( resid 74 and segid A)
or
( resid 75 and segid A)
or
( resid 76 and segid A)
or
( resid 77 and segid A)
or
( resid 79 and segid A)
or
( resid 80 and segid A)
or
( resid 82 and segid A)
or
( resid 83 and segid A)
or
( resid 84 and segid A)
or
( resid 87 and segid A)
or
( resid 88 and segid A)
or
( resid 92 and segid A)
or
( resid 94 and segid A)
or
( resid 99 and segid A)
or
( resid 101 and segid A)
or
( resid 102 and segid A)
or
( resid 103 and segid A)
or
( resid 104 and segid A)
or
( resid 107 and segid A)
or
( resid 112 and segid A)
or
( resid 113 and segid A)
or
( resid 114 and segid A)
or
( resid 117 and segid A)
or
( resid 119 and segid A)
or
( resid 120 and segid A)
or
( resid 122 and segid A)
or
( resid 123 and segid A)
or
( resid 124 and segid A)
or
( resid 126 and segid A)
or
( resid 132 and segid A)
or
( resid 133 and segid A)
or
( resid 134 and segid A)
or
( resid 135 and segid A)
or
( resid 137 and segid A)
or
( resid 138 and segid A)
or
( resid 139 and segid A)
or
( resid 145 and segid A)
or
( resid 147 and segid A)
) 2.0 2.0 0.0
!
assign ( resid 10 and segid B)
(
( resid 15 and segid A)
or
( resid 16 and segid A)
or
( resid 17 and segid A)
or
( resid 19 and segid A)
or
( resid 24 and segid A)
or
( resid 26 and segid A)
or
( resid 27 and segid A)
or
( resid 28 and segid A)
or
( resid 29 and segid A)
or
( resid 31 and segid A)
or
( resid 32 and segid A)
or
( resid 33 and segid A)
or
( resid 34 and segid A)
or
( resid 35 and segid A)
or
( resid 36 and segid A)
or
( resid 37 and segid A)
or
( resid 48 and segid A)
or
( resid 49 and segid A)
or
( resid 53 and segid A)
or
( resid 54 and segid A)
or
( resid 55 and segid A)
or
( resid 57 and segid A)
or
( resid 58 and segid A)
or
( resid 63 and segid A)
or
( resid 64 and segid A)
or
( resid 68 and segid A)
or
( resid 69 and segid A)
or
( resid 70 and segid A)
or
( resid 71 and segid A)
or
( resid 72 and segid A)
or
( resid 73 and segid A)
or
( resid 78 and segid A)
or
( resid 81 and segid A)
or
( resid 86 and segid A)
or
( resid 90 and segid A)
or
( resid 91 and segid A)
or
( resid 105 and segid A)
or
( resid 106 and segid A)
or
( resid 109 and segid A)
or
( resid 110 and segid A)
or
( resid 111 and segid A)
or
( resid 115 and segid A)
or
( resid 116 and segid A)
or
( resid 118 and segid A)
or
( resid 121 and segid A)
or
( resid 127 and segid A)
or
( resid 128 and segid A)
or
( resid 129 and segid A)
or
( resid 130 and segid A)
or
( resid 131 and segid A)
or
( resid 141 and segid A)
or
( resid 142 and segid A)
or
( resid 143 and segid A)
or
( resid 144 and segid A)
or
( resid 146 and segid A)
or
( resid 9 and segid A)
or
( resid 10 and segid A)
or
( resid 11 and segid A)
or
( resid 12 and segid A)
or
( resid 13 and segid A)
or
( resid 14 and segid A)
or
( resid 18 and segid A)
or
( resid 21 and segid A)
or
( resid 22 and segid A)
or
( resid 23 and segid A)
or
( resid 25 and segid A)
or
( resid 30 and segid A)
or
( resid 38 and segid A)
or
( resid 39 and segid A)
or
( resid 40 and segid A)
or
( resid 41 and segid A)
or
( resid 42 and segid A)
or
( resid 43 and segid A)
or
( resid 44 and segid A)
or
( resid 45 and segid A)
or
( resid 46 and segid A)
or
( resid 47 and segid A)
or
( resid 50 and segid A)
or
( resid 51 and segid A)
or
( resid 56 and segid A)
or
( resid 59 and segid A)
or
( resid 60 and segid A)
or
( resid 61 and segid A)
or
( resid 62 and segid A)
or
( resid 65 and segid A)
or
( resid 66 and segid A)
or
( resid 74 and segid A)
or
( resid 75 and segid A)
or
( resid 76 and segid A)
or
( resid 77 and segid A)
or
( resid 79 and segid A)
or
( resid 80 and segid A)
or
( resid 82 and segid A)
or
( resid 83 and segid A)
or
( resid 84 and segid A)
or
( resid 87 and segid A)
or
( resid 88 and segid A)
or
( resid 92 and segid A)
or
( resid 94 and segid A)
or
( resid 99 and segid A)
or
( resid 101 and segid A)
or
( resid 102 and segid A)
or
( resid 103 and segid A)
or
( resid 104 and segid A)
or
( resid 107 and segid A)
or
( resid 112 and segid A)
or
( resid 113 and segid A)
or
( resid 114 and segid A)
or
( resid 117 and segid A)
or
( resid 119 and segid A)
or
( resid 120 and segid A)
or
( resid 122 and segid A)
or
( resid 123 and segid A)
or
( resid 124 and segid A)
or
( resid 126 and segid A)
or
( resid 132 and segid A)
or
( resid 133 and segid A)
or
( resid 134 and segid A)
or
( resid 135 and segid A)
or
( resid 137 and segid A)
or
( resid 138 and segid A)
or
( resid 139 and segid A)
or
( resid 145 and segid A)
or
( resid 147 and segid A)
) 2.0 2.0 0.0
!
assign ( resid 11 and segid B)
(
( resid 15 and segid A)
or
( resid 16 and segid A)
or
( resid 17 and segid A)
or
( resid 19 and segid A)
or
( resid 24 and segid A)
or
( resid 26 and segid A)
or
( resid 27 and segid A)
or
( resid 28 and segid A)
or
( resid 29 and segid A)
or
( resid 31 and segid A)
or
( resid 32 and segid A)
or
( resid 33 and segid A)
or
( resid 34 and segid A)
or
( resid 35 and segid A)
or
( resid 36 and segid A)
or
( resid 37 and segid A)
or
( resid 48 and segid A)
or
( resid 49 and segid A)
or
( resid 53 and segid A)
or
( resid 54 and segid A)
or
( resid 55 and segid A)
or
( resid 57 and segid A)
or
( resid 58 and segid A)
or
( resid 63 and segid A)
or
( resid 64 and segid A)
or
( resid 68 and segid A)
or
( resid 69 and segid A)
or
( resid 70 and segid A)
or
( resid 71 and segid A)
or
( resid 72 and segid A)
or
( resid 73 and segid A)
or
( resid 78 and segid A)
or
( resid 81 and segid A)
or
( resid 86 and segid A)
or
( resid 90 and segid A)
or
( resid 91 and segid A)
or
( resid 105 and segid A)
or
( resid 106 and segid A)
or
( resid 109 and segid A)
or
( resid 110 and segid A)
or
( resid 111 and segid A)
or
( resid 115 and segid A)
or
( resid 116 and segid A)
or
( resid 118 and segid A)
or
( resid 121 and segid A)
or
( resid 127 and segid A)
or
( resid 128 and segid A)
or
( resid 129 and segid A)
or
( resid 130 and segid A)
or
( resid 131 and segid A)
or
( resid 141 and segid A)
or
( resid 142 and segid A)
or
( resid 143 and segid A)
or
( resid 144 and segid A)
or
( resid 146 and segid A)
or
( resid 9 and segid A)
or
( resid 10 and segid A)
or
( resid 11 and segid A)
or
( resid 12 and segid A)
or
( resid 13 and segid A)
or
( resid 14 and segid A)
or
( resid 18 and segid A)
or
( resid 21 and segid A)
or
( resid 22 and segid A)
or
( resid 23 and segid A)
or
( resid 25 and segid A)
or
( resid 30 and segid A)
or
( resid 38 and segid A)
or
( resid 39 and segid A)
or
( resid 40 and segid A)
or
( resid 41 and segid A)
or
( resid 42 and segid A)
or
( resid 43 and segid A)
or
( resid 44 and segid A)
or
( resid 45 and segid A)
or
( resid 46 and segid A)
or
( resid 47 and segid A)
or
( resid 50 and segid A)
or
( resid 51 and segid A)
or
( resid 56 and segid A)
or
( resid 59 and segid A)
or
( resid 60 and segid A)
or
( resid 61 and segid A)
or
( resid 62 and segid A)
or
( resid 65 and segid A)
or
( resid 66 and segid A)
or
( resid 74 and segid A)
or
( resid 75 and segid A)
or
( resid 76 and segid A)
or
( resid 77 and segid A)
or
( resid 79 and segid A)
or
( resid 80 and segid A)
or
( resid 82 and segid A)
or
( resid 83 and segid A)
or
( resid 84 and segid A)
or
( resid 87 and segid A)
or
( resid 88 and segid A)
or
( resid 92 and segid A)
or
( resid 94 and segid A)
or
( resid 99 and segid A)
or
( resid 101 and segid A)
or
( resid 102 and segid A)
or
( resid 103 and segid A)
or
( resid 104 and segid A)
or
( resid 107 and segid A)
or
( resid 112 and segid A)
or
( resid 113 and segid A)
or
( resid 114 and segid A)
or
( resid 117 and segid A)
or
( resid 119 and segid A)
or
( resid 120 and segid A)
or
( resid 122 and segid A)
or
( resid 123 and segid A)
or
( resid 124 and segid A)
or
( resid 126 and segid A)
or
( resid 132 and segid A)
or
( resid 133 and segid A)
or
( resid 134 and segid A)
or
( resid 135 and segid A)
or
( resid 137 and segid A)
or
( resid 138 and segid A)
or
( resid 139 and segid A)
or
( resid 145 and segid A)
or
( resid 147 and segid A)
) 2.0 2.0 0.0
!
assign ( resid 12 and segid B)
(
( resid 15 and segid A)
or
( resid 16 and segid A)
or
( resid 17 and segid A)
or
( resid 19 and segid A)
or
( resid 24 and segid A)
or
( resid 26 and segid A)
or
( resid 27 and segid A)
or
( resid 28 and segid A)
or
( resid 29 and segid A)
or
( resid 31 and segid A)
or
( resid 32 and segid A)
or
( resid 33 and segid A)
or
( resid 34 and segid A)
or
( resid 35 and segid A)
or
( resid 36 and segid A)
or
( resid 37 and segid A)
or
( resid 48 and segid A)
or
( resid 49 and segid A)
or
( resid 53 and segid A)
or
( resid 54 and segid A)
or
( resid 55 and segid A)
or
( resid 57 and segid A)
or
( resid 58 and segid A)
or
( resid 63 and segid A)
or
( resid 64 and segid A)
or
( resid 68 and segid A)
or
( resid 69 and segid A)
or
( resid 70 and segid A)
or
( resid 71 and segid A)
or
( resid 72 and segid A)
or
( resid 73 and segid A)
or
( resid 78 and segid A)
or
( resid 81 and segid A)
or
( resid 86 and segid A)
or
( resid 90 and segid A)
or
( resid 91 and segid A)
or
( resid 105 and segid A)
or
( resid 106 and segid A)
or
( resid 109 and segid A)
or
( resid 110 and segid A)
or
( resid 111 and segid A)
or
( resid 115 and segid A)
or
( resid 116 and segid A)
or
( resid 118 and segid A)
or
( resid 121 and segid A)
or
( resid 127 and segid A)
or
( resid 128 and segid A)
or
( resid 129 and segid A)
or
( resid 130 and segid A)
or
( resid 131 and segid A)
or
( resid 141 and segid A)
or
( resid 142 and segid A)
or
( resid 143 and segid A)
or
( resid 144 and segid A)
or
( resid 146 and segid A)
or
( resid 9 and segid A)
or
( resid 10 and segid A)
or
( resid 11 and segid A)
or
( resid 12 and segid A)
or
( resid 13 and segid A)
or
( resid 14 and segid A)
or
( resid 18 and segid A)
or
( resid 21 and segid A)
or
( resid 22 and segid A)
or
( resid 23 and segid A)
or
( resid 25 and segid A)
or
( resid 30 and segid A)
or
( resid 38 and segid A)
or
( resid 39 and segid A)
or
( resid 40 and segid A)
or
( resid 41 and segid A)
or
( resid 42 and segid A)
or
( resid 43 and segid A)
or
( resid 44 and segid A)
or
( resid 45 and segid A)
or
( resid 46 and segid A)
or
( resid 47 and segid A)
or
( resid 50 and segid A)
or
( resid 51 and segid A)
or
( resid 56 and segid A)
or
( resid 59 and segid A)
or
( resid 60 and segid A)
or
( resid 61 and segid A)
or
( resid 62 and segid A)
or
( resid 65 and segid A)
or
( resid 66 and segid A)
or
( resid 74 and segid A)
or
( resid 75 and segid A)
or
( resid 76 and segid A)
or
( resid 77 and segid A)
or
( resid 79 and segid A)
or
( resid 80 and segid A)
or
( resid 82 and segid A)
or
( resid 83 and segid A)
or
( resid 84 and segid A)
or
( resid 87 and segid A)
or
( resid 88 and segid A)
or
( resid 92 and segid A)
or
( resid 94 and segid A)
or
( resid 99 and segid A)
or
( resid 101 and segid A)
or
( resid 102 and segid A)
or
( resid 103 and segid A)
or
( resid 104 and segid A)
or
( resid 107 and segid A)
or
( resid 112 and segid A)
or
( resid 113 and segid A)
or
( resid 114 and segid A)
or
( resid 117 and segid A)
or
( resid 119 and segid A)
or
( resid 120 and segid A)
or
( resid 122 and segid A)
or
( resid 123 and segid A)
or
( resid 124 and segid A)
or
( resid 126 and segid A)
or
( resid 132 and segid A)
or
( resid 133 and segid A)
or
( resid 134 and segid A)
or
( resid 135 and segid A)
or
( resid 137 and segid A)
or
( resid 138 and segid A)
or
( resid 139 and segid A)
or
( resid 145 and segid A)
or
( resid 147 and segid A)
) 2.0 2.0 0.0
!
assign ( resid 13 and segid B)
(
( resid 15 and segid A)
or
( resid 16 and segid A)
or
( resid 17 and segid A)
or
( resid 19 and segid A)
or
( resid 24 and segid A)
or
( resid 26 and segid A)
or
( resid 27 and segid A)
or
( resid 28 and segid A)
or
( resid 29 and segid A)
or
( resid 31 and segid A)
or
( resid 32 and segid A)
or
( resid 33 and segid A)
or
( resid 34 and segid A)
or
( resid 35 and segid A)
or
( resid 36 and segid A)
or
( resid 37 and segid A)
or
( resid 48 and segid A)
or
( resid 49 and segid A)
or
( resid 53 and segid A)
or
( resid 54 and segid A)
or
( resid 55 and segid A)
or
( resid 57 and segid A)
or
( resid 58 and segid A)
or
( resid 63 and segid A)
or
( resid 64 and segid A)
or
( resid 68 and segid A)
or
( resid 69 and segid A)
or
( resid 70 and segid A)
or
( resid 71 and segid A)
or
( resid 72 and segid A)
or
( resid 73 and segid A)
or
( resid 78 and segid A)
or
( resid 81 and segid A)
or
( resid 86 and segid A)
or
( resid 90 and segid A)
or
( resid 91 and segid A)
or
( resid 105 and segid A)
or
( resid 106 and segid A)
or
( resid 109 and segid A)
or
( resid 110 and segid A)
or
( resid 111 and segid A)
or
( resid 115 and segid A)
or
( resid 116 and segid A)
or
( resid 118 and segid A)
or
( resid 121 and segid A)
or
( resid 127 and segid A)
or
( resid 128 and segid A)
or
( resid 129 and segid A)
or
( resid 130 and segid A)
or
( resid 131 and segid A)
or
( resid 141 and segid A)
or
( resid 142 and segid A)
or
( resid 143 and segid A)
or
( resid 144 and segid A)
or
( resid 146 and segid A)
or
( resid 9 and segid A)
or
( resid 10 and segid A)
or
( resid 11 and segid A)
or
( resid 12 and segid A)
or
( resid 13 and segid A)
or
( resid 14 and segid A)
or
( resid 18 and segid A)
or
( resid 21 and segid A)
or
( resid 22 and segid A)
or
( resid 23 and segid A)
or
( resid 25 and segid A)
or
( resid 30 and segid A)
or
( resid 38 and segid A)
or
( resid 39 and segid A)
or
( resid 40 and segid A)
or
( resid 41 and segid A)
or
( resid 42 and segid A)
or
( resid 43 and segid A)
or
( resid 44 and segid A)
or
( resid 45 and segid A)
or
( resid 46 and segid A)
or
( resid 47 and segid A)
or
( resid 50 and segid A)
or
( resid 51 and segid A)
or
( resid 56 and segid A)
or
( resid 59 and segid A)
or
( resid 60 and segid A)
or
( resid 61 and segid A)
or
( resid 62 and segid A)
or
( resid 65 and segid A)
or
( resid 66 and segid A)
or
( resid 74 and segid A)
or
( resid 75 and segid A)
or
( resid 76 and segid A)
or
( resid 77 and segid A)
or
( resid 79 and segid A)
or
( resid 80 and segid A)
or
( resid 82 and segid A)
or
( resid 83 and segid A)
or
( resid 84 and segid A)
or
( resid 87 and segid A)
or
( resid 88 and segid A)
or
( resid 92 and segid A)
or
( resid 94 and segid A)
or
( resid 99 and segid A)
or
( resid 101 and segid A)
or
( resid 102 and segid A)
or
( resid 103 and segid A)
or
( resid 104 and segid A)
or
( resid 107 and segid A)
or
( resid 112 and segid A)
or
( resid 113 and segid A)
or
( resid 114 and segid A)
or
( resid 117 and segid A)
or
( resid 119 and segid A)
or
( resid 120 and segid A)
or
( resid 122 and segid A)
or
( resid 123 and segid A)
or
( resid 124 and segid A)
or
( resid 126 and segid A)
or
( resid 132 and segid A)
or
( resid 133 and segid A)
or
( resid 134 and segid A)
or
( resid 135 and segid A)
or
( resid 137 and segid A)
or
( resid 138 and segid A)
or
( resid 139 and segid A)
or
( resid 145 and segid A)
or
( resid 147 and segid A)
) 2.0 2.0 0.0
!
assign ( resid 14 and segid B)
(
( resid 15 and segid A)
or
( resid 16 and segid A)
or
( resid 17 and segid A)
or
( resid 19 and segid A)
or
( resid 24 and segid A)
or
( resid 26 and segid A)
or
( resid 27 and segid A)
or
( resid 28 and segid A)
or
( resid 29 and segid A)
or
( resid 31 and segid A)
or
( resid 32 and segid A)
or
( resid 33 and segid A)
or
( resid 34 and segid A)
or
( resid 35 and segid A)
or
( resid 36 and segid A)
or
( resid 37 and segid A)
or
( resid 48 and segid A)
or
( resid 49 and segid A)
or
( resid 53 and segid A)
or
( resid 54 and segid A)
or
( resid 55 and segid A)
or
( resid 57 and segid A)
or
( resid 58 and segid A)
or
( resid 63 and segid A)
or
( resid 64 and segid A)
or
( resid 68 and segid A)
or
( resid 69 and segid A)
or
( resid 70 and segid A)
or
( resid 71 and segid A)
or
( resid 72 and segid A)
or
( resid 73 and segid A)
or
( resid 78 and segid A)
or
( resid 81 and segid A)
or
( resid 86 and segid A)
or
( resid 90 and segid A)
or
( resid 91 and segid A)
or
( resid 105 and segid A)
or
( resid 106 and segid A)
or
( resid 109 and segid A)
or
( resid 110 and segid A)
or
( resid 111 and segid A)
or
( resid 115 and segid A)
or
( resid 116 and segid A)
or
( resid 118 and segid A)
or
( resid 121 and segid A)
or
( resid 127 and segid A)
or
( resid 128 and segid A)
or
( resid 129 and segid A)
or
( resid 130 and segid A)
or
( resid 131 and segid A)
or
( resid 141 and segid A)
or
( resid 142 and segid A)
or
( resid 143 and segid A)
or
( resid 144 and segid A)
or
( resid 146 and segid A)
or
( resid 9 and segid A)
or
( resid 10 and segid A)
or
( resid 11 and segid A)
or
( resid 12 and segid A)
or
( resid 13 and segid A)
or
( resid 14 and segid A)
or
( resid 18 and segid A)
or
( resid 21 and segid A)
or
( resid 22 and segid A)
or
( resid 23 and segid A)
or
( resid 25 and segid A)
or
( resid 30 and segid A)
or
( resid 38 and segid A)
or
( resid 39 and segid A)
or
( resid 40 and segid A)
or
( resid 41 and segid A)
or
( resid 42 and segid A)
or
( resid 43 and segid A)
or
( resid 44 and segid A)
or
( resid 45 and segid A)
or
( resid 46 and segid A)
or
( resid 47 and segid A)
or
( resid 50 and segid A)
or
( resid 51 and segid A)
or
( resid 56 and segid A)
or
( resid 59 and segid A)
or
( resid 60 and segid A)
or
( resid 61 and segid A)
or
( resid 62 and segid A)
or
( resid 65 and segid A)
or
( resid 66 and segid A)
or
( resid 74 and segid A)
or
( resid 75 and segid A)
or
( resid 76 and segid A)
or
( resid 77 and segid A)
or
( resid 79 and segid A)
or
( resid 80 and segid A)
or
( resid 82 and segid A)
or
( resid 83 and segid A)
or
( resid 84 and segid A)
or
( resid 87 and segid A)
or
( resid 88 and segid A)
or
( resid 92 and segid A)
or
( resid 94 and segid A)
or
( resid 99 and segid A)
or
( resid 101 and segid A)
or
( resid 102 and segid A)
or
( resid 103 and segid A)
or
( resid 104 and segid A)
or
( resid 107 and segid A)
or
( resid 112 and segid A)
or
( resid 113 and segid A)
or
( resid 114 and segid A)
or
( resid 117 and segid A)
or
( resid 119 and segid A)
or
( resid 120 and segid A)
or
( resid 122 and segid A)
or
( resid 123 and segid A)
or
( resid 124 and segid A)
or
( resid 126 and segid A)
or
( resid 132 and segid A)
or
( resid 133 and segid A)
or
( resid 134 and segid A)
or
( resid 135 and segid A)
or
( resid 137 and segid A)
or
( resid 138 and segid A)
or
( resid 139 and segid A)
or
( resid 145 and segid A)
or
( resid 147 and segid A)
) 2.0 2.0 0.0