klayout/testdata/lvs/ringo_simple_io.lvsdb.1

#%lvsdb-klayout
J(
 W(RINGO)
 U(0.001)
 L(l3 '1/0')
 L(l4 '5/0')
 L(l8 '8/0')
 L(l11 '9/0')
 L(l12 '10/0')
 L(l13 '11/0')
 L(l7)
 L(l1)
 L(l9)
 L(l5)
 L(l10)
 C(l3 l3 l9)
 C(l4 l4 l8)
 C(l8 l4 l8 l11 l1 l9 l5 l10)
 C(l11 l8 l11 l12)
 C(l12 l11 l12 l13)
 C(l13 l12 l13)
 C(l7 l7)
 C(l1 l8 l1)
 C(l9 l3 l8 l9)
 C(l5 l8 l5)
 C(l10 l8 l10)
 G(l7 SUBSTRATE)
 G(l10 SUBSTRATE)
 D(D$PMOS PMOS
  T(S
   R(l1 (-550 -750) (425 1500))
  )
  T(G
   R(l4 (-125 -750) (250 1500))
  )
  T(D
   R(l1 (125 -750) (450 1500))
  )
  T(B
   R(l3 (-125 -750) (250 1500))
  )
 )
 D(D$PMOS$1 PMOS
  T(S
   R(l1 (-575 -750) (450 1500))
  )
  T(G
   R(l4 (-125 -750) (250 1500))
  )
  T(D
   R(l1 (125 -750) (425 1500))
  )
  T(B
   R(l3 (-125 -750) (250 1500))
  )
 )
 D(D$PMOS$2 PMOS
  T(S
   R(l1 (-550 -750) (425 1500))
  )
  T(G
   R(l4 (-125 -750) (250 1500))
  )
  T(D
   R(l1 (125 -750) (425 1500))
  )
  T(B
   R(l3 (-125 -750) (250 1500))
  )
 )
 D(D$NMOS NMOS
  T(S
   R(l5 (-550 -475) (425 950))
  )
  T(G
   R(l4 (-125 -475) (250 950))
  )
  T(D
   R(l5 (125 -475) (450 950))
  )
  T(B
   R(l7 (-125 -475) (250 950))
  )
 )
 D(D$NMOS$1 NMOS
  T(S
   R(l5 (-575 -475) (450 950))
  )
  T(G
   R(l4 (-125 -475) (250 950))
  )
  T(D
   R(l5 (125 -475) (425 950))
  )
  T(B
   R(l7 (-125 -475) (250 950))
  )
 )
 D(D$NMOS$2 NMOS
  T(S
   R(l5 (-550 -475) (425 950))
  )
  T(G
   R(l4 (-125 -475) (250 950))
  )
  T(D
   R(l5 (125 -475) (425 950))
  )
  T(B
   R(l7 (-125 -475) (250 950))
  )
 )
 X(ND2X1
  R((-100 400) (2600 7600))
  N(1 I(VDD)
   R(l8 (1110 5160) (180 180))
   R(l8 (-180 920) (180 180))
   R(l8 (-180 -730) (180 180))
   R(l11 (-240 -790) (300 1700))
   R(l11 (-1350 0) (2400 800))
   R(l11 (-1151 -401) (2 2))
   R(l1 (-276 -2151) (425 1500))
   R(l1 (-400 -1500) (425 1500))
  )
  N(2 I(OUT)
   R(l8 (1810 1770) (180 180))
   R(l8 (-180 370) (180 180))
   R(l8 (-1580 3760) (180 180))
   R(l8 (-180 -730) (180 180))
   R(l8 (-180 -730) (180 180))
   R(l8 (1220 920) (180 180))
   R(l8 (-180 -1280) (180 180))
   R(l8 (-180 370) (180 180))
   Q(l11 (-240 -4180) (0 1390) (490 0) (0 -300) (-190 0) (0 -1090))
   R(l11 (-110 1390) (300 1400))
   Q(l11 (-1890 0) (0 600) (300 0) (0 -300) (1590 0) (0 -300))
   R(l11 (-141 -501) (2 2))
   R(l11 (-1751 1099) (300 1400))
   R(l11 (1100 -1700) (300 300))
   R(l11 (-300 0) (300 1400))
   R(l1 (-1750 -1450) (425 1500))
   R(l1 (950 -1500) (425 1500))
   R(l5 (-425 -4890) (425 950))
  )
  N(3 I(VSS)
   R(l8 (410 1770) (180 180))
   R(l8 (-180 370) (180 180))
   R(l11 (-240 -1300) (300 1360))
   R(l11 (-650 -2160) (2400 800))
   R(l11 (-1151 -401) (2 2))
   R(l5 (-951 859) (425 950))
  )
  N(4
   R(l3 (-100 4500) (2600 3500))
  )
  N(5 I(B)
   R(l4 (1425 2860) (250 1940))
   R(l4 (-345 -950) (300 300))
   R(l4 (-205 650) (250 2000))
   R(l4 (-250 -2000) (250 2000))
   R(l4 (-250 -5390) (250 1450))
   R(l8 (-285 1050) (180 180))
   R(l11 (-71 -91) (2 2))
   R(l11 (-171 -151) (300 300))
  )
  N(6 I(A)
   R(l4 (725 2860) (250 1940))
   R(l4 (-325 -1850) (300 300))
   R(l4 (-225 1550) (250 2000))
   R(l4 (-250 -2000) (250 2000))
   R(l4 (-250 -5390) (250 1450))
   R(l8 (-265 150) (180 180))
   R(l11 (-91 -91) (2 2))
   R(l11 (-151 -151) (300 300))
  )
  N(7 I(SUBSTRATE))
  N(8
   R(l5 (975 1660) (425 950))
   R(l5 (-400 -950) (425 950))
  )
  P(1 I(VDD))
  P(2 I(OUT))
  P(3 I(VSS))
  P(4)
  P(5 I(B))
  P(6 I(A))
  P(7 I(SUBSTRATE))
  D(1 D$PMOS
   Y(850 5800)
   E(L 0.25)
   E(W 1.5)
   E(AS 0.6375)
   E(AD 0.3375)
   E(PS 3.85)
   E(PD 1.95)
   T(S 2)
   T(G 6)
   T(D 1)
   T(B 4)
  )
  D(2 D$PMOS$1
   Y(1550 5800)
   E(L 0.25)
   E(W 1.5)
   E(AS 0.3375)
   E(AD 0.6375)
   E(PS 1.95)
   E(PD 3.85)
   T(S 1)
   T(G 5)
   T(D 2)
   T(B 4)
  )
  D(3 D$NMOS
   Y(850 2135)
   E(L 0.25)
   E(W 0.95)
   E(AS 0.40375)
   E(AD 0.21375)
   E(PS 2.75)
   E(PD 1.4)
   T(S 3)
   T(G 6)
   T(D 8)
   T(B 7)
  )
  D(4 D$NMOS$1
   Y(1550 2135)
   E(L 0.25)
   E(W 0.95)
   E(AS 0.21375)
   E(AD 0.40375)
   E(PS 1.4)
   E(PD 2.75)
   T(S 8)
   T(G 5)
   T(D 2)
   T(B 7)
  )
 )
 X(INVX1
  R((-100 400) (2000 7600))
  N(1 I(VDD)
   R(l8 (410 6260) (180 180))
   R(l8 (-180 -730) (180 180))
   R(l8 (-180 -730) (180 180))
   R(l11 (-240 -240) (300 1400))
   R(l11 (-650 300) (1800 800))
   R(l11 (-1450 -1100) (300 300))
   R(l11 (299 399) (2 2))
   R(l1 (-651 -2151) (425 1500))
  )
  N(2 I(OUT)
   R(l8 (1110 5160) (180 180))
   R(l8 (-180 920) (180 180))
   R(l8 (-180 -730) (180 180))
   R(l8 (-180 -4120) (180 180))
   R(l8 (-180 370) (180 180))
   R(l11 (-240 -790) (300 4790))
   R(l11 (-151 -2501) (2 2))
   R(l1 (-226 1049) (425 1500))
   R(l5 (-425 -4890) (425 950))
  )
  N(3 I(VSS)
   R(l8 (410 1770) (180 180))
   R(l8 (-180 370) (180 180))
   R(l11 (-240 -1300) (300 1360))
   R(l11 (-650 -2160) (1800 800))
   R(l11 (-851 -401) (2 2))
   R(l5 (-651 859) (425 950))
  )
  N(4
   R(l3 (-100 4500) (2000 3500))
  )
  N(5 I(IN)
   R(l4 (725 2860) (250 1940))
   R(l4 (-525 -1850) (300 300))
   R(l4 (-25 1550) (250 2000))
   R(l4 (-250 -2000) (250 2000))
   R(l4 (-250 -5390) (250 1450))
   R(l8 (-465 150) (180 180))
   R(l11 (-91 -91) (2 2))
   R(l11 (-151 -151) (300 300))
  )
  N(6 I(SUBSTRATE))
  P(1 I(VDD))
  P(2 I(OUT))
  P(3 I(VSS))
  P(4)
  P(5 I(IN))
  P(6 I(SUBSTRATE))
  D(1 D$PMOS$2
   Y(850 5800)
   E(L 0.25)
   E(W 1.5)
   E(AS 0.6375)
   E(AD 0.6375)
   E(PS 3.85)
   E(PD 3.85)
   T(S 1)
   T(G 5)
   T(D 2)
   T(B 4)
  )
  D(2 D$NMOS$2
   Y(850 2135)
   E(L 0.25)
   E(W 0.95)
   E(AS 0.40375)
   E(AD 0.40375)
   E(PS 2.75)
   E(PD 2.75)
   T(S 3)
   T(G 5)
   T(D 2)
   T(B 6)
  )
 )
 X(RINGO
  R((0 350) (25800 7650))
  N(1
   R(l8 (4710 3010) (180 180))
   R(l11 (-850 -240) (610 300))
   R(l1 (-2550 1800) (425 1500))
   R(l1 (950 -1500) (425 1500))
   R(l5 (-425 -4890) (425 950))
  )
  N(2
   R(l8 (6510 3010) (180 180))
   R(l11 (-1140 -240) (900 300))
   R(l1 (-1275 1800) (425 1500))
   R(l5 (-425 -4890) (425 950))
  )
  N(3
   R(l8 (8310 3010) (180 180))
   R(l11 (-1140 -240) (900 300))
   R(l1 (-1275 1800) (425 1500))
   R(l5 (-425 -4890) (425 950))
  )
  N(4
   R(l8 (10110 3010) (180 180))
   R(l11 (-1140 -240) (900 300))
   R(l1 (-1275 1800) (425 1500))
   R(l5 (-425 -4890) (425 950))
  )
  N(5
   R(l8 (11910 3010) (180 180))
   R(l11 (-1140 -240) (900 300))
   R(l1 (-1275 1800) (425 1500))
   R(l5 (-425 -4890) (425 950))
  )
  N(6
   R(l8 (13710 3010) (180 180))
   R(l11 (-1140 -240) (900 300))
   R(l1 (-1275 1800) (425 1500))
   R(l5 (-425 -4890) (425 950))
  )
  N(7
   R(l8 (15510 3010) (180 180))
   R(l11 (-1140 -240) (900 300))
   R(l1 (-1275 1800) (425 1500))
   R(l5 (-425 -4890) (425 950))
  )
  N(8
   R(l8 (17310 3010) (180 180))
   R(l11 (-1140 -240) (900 300))
   R(l1 (-1275 1800) (425 1500))
   R(l5 (-425 -4890) (425 950))
  )
  N(9
   R(l8 (19110 3010) (180 180))
   R(l11 (-1140 -240) (900 300))
   R(l1 (-1275 1800) (425 1500))
   R(l5 (-425 -4890) (425 950))
  )
  N(10
   R(l8 (20910 3010) (180 180))
   R(l11 (-1140 -240) (900 300))
   R(l1 (-1275 1800) (425 1500))
   R(l5 (-425 -4890) (425 950))
  )
  N(11 I(FB)
   R(l8 (22710 3010) (180 180))
   R(l8 (-19700 720) (180 180))
   R(l11 (18380 -1140) (900 300))
   R(l11 (-19530 590) (320 320))
   R(l11 (17820 -320) (320 320))
   R(l12 (-18400 -260) (200 200))
   R(l12 (17940 -200) (200 200))
   R(l13 (-18040 -300) (17740 400))
   R(l13 (-17921 -201) (2 2))
   R(l13 (-221 -201) (400 400))
   R(l13 (17740 -400) (400 400))
   R(l1 (-245 850) (425 1500))
   R(l5 (-425 -4890) (425 950))
  )
  N(12 I(VDD)
   R(l3 (500 4500) (1400 3500))
   R(l3 (-1900 -3500) (600 3500))
   R(l3 (23300 -3500) (1400 3500))
   R(l3 (-100 -3500) (600 3500))
   R(l8 (-24690 -1240) (180 180))
   R(l8 (-180 370) (180 180))
   R(l8 (-180 -1280) (180 180))
   R(l8 (23220 370) (180 180))
   R(l8 (-180 370) (180 180))
   R(l8 (-180 -1280) (180 180))
   R(l11 (-21741 859) (2 2))
   R(l11 (-2351 -451) (1200 800))
   R(l11 (-750 -1450) (300 1400))
   R(l11 (-101 -351) (2 2))
   R(l11 (-1251 -401) (600 800))
   R(l11 (23400 -800) (1200 800))
   R(l11 (-750 -1450) (300 1400))
   R(l11 (-101 -351) (2 2))
   R(l11 (549 -401) (600 800))
   R(l1 (-23025 -2550) (425 1500))
   R(l1 (-400 -1500) (425 1500))
   R(l1 (1275 -1500) (425 1500))
   R(l1 (1375 -1500) (425 1500))
   R(l1 (1375 -1500) (425 1500))
   R(l1 (1375 -1500) (425 1500))
   R(l1 (1375 -1500) (425 1500))
   R(l1 (1375 -1500) (425 1500))
   R(l1 (1375 -1500) (425 1500))
   R(l1 (1375 -1500) (425 1500))
   R(l1 (1375 -1500) (425 1500))
   R(l1 (1375 -1500) (425 1500))
   R(l1 (1375 -1500) (425 1500))
   R(l9 (-21975 -450) (500 1500))
   R(l9 (22900 -1500) (500 1500))
  )
  N(13 I(OUT)
   R(l11 (23440 3840) (320 320))
   R(l12 (-260 -260) (200 200))
   R(l13 (-101 -101) (2 2))
   R(l13 (-201 -201) (400 400))
   R(l1 (-625 850) (425 1500))
   R(l5 (-425 -4890) (425 950))
  )
  N(14 I(ENABLE)
   R(l8 (2510 3010) (180 180))
   R(l11 (-250 -250) (320 320))
   R(l12 (-260 -260) (200 200))
   R(l13 (-101 -101) (2 2))
   R(l13 (-201 -201) (400 400))
  )
  N(15 I(VSS)
   R(l8 (1110 1610) (180 180))
   R(l8 (-180 -1280) (180 180))
   R(l8 (-180 370) (180 180))
   R(l8 (23220 370) (180 180))
   R(l8 (-180 -1280) (180 180))
   R(l8 (-180 370) (180 180))
   R(l11 (-21741 -391) (2 2))
   R(l11 (-1901 -401) (300 1400))
   R(l11 (-750 -1450) (1200 800))
   R(l11 (-551 -401) (2 2))
   R(l11 (-1251 -401) (600 800))
   R(l11 (23850 -750) (300 1400))
   R(l11 (-750 -1450) (1200 800))
   R(l11 (-551 -401) (2 2))
   R(l11 (549 -401) (600 800))
   R(l5 (-23700 460) (425 950))
   R(l5 (1975 -950) (425 950))
   R(l5 (1375 -950) (425 950))
   R(l5 (1375 -950) (425 950))
   R(l5 (1375 -950) (425 950))
   R(l5 (1375 -950) (425 950))
   R(l5 (1375 -950) (425 950))
   R(l5 (1375 -950) (425 950))
   R(l5 (1375 -950) (425 950))
   R(l5 (1375 -950) (425 950))
   R(l5 (1375 -950) (425 950))
   R(l5 (1375 -950) (425 950))
   R(l10 (-21975 -2210) (500 1500))
   R(l10 (22900 -1500) (500 1500))
  )
  P(11 I(FB))
  P(12 I(VDD))
  P(13 I(OUT))
  P(14 I(ENABLE))
  P(15 I(VSS))
  X(1 ND2X1 Y(1800 0)
   P(0 12)
   P(1 1)
   P(2 15)
   P(3 12)
   P(4 11)
   P(5 14)
   P(6 15)
  )
  X(2 INVX1 Y(4200 0)
   P(0 12)
   P(1 2)
   P(2 15)
   P(3 12)
   P(4 1)
   P(5 15)
  )
  X(3 INVX1 Y(6000 0)
   P(0 12)
   P(1 3)
   P(2 15)
   P(3 12)
   P(4 2)
   P(5 15)
  )
  X(4 INVX1 Y(7800 0)
   P(0 12)
   P(1 4)
   P(2 15)
   P(3 12)
   P(4 3)
   P(5 15)
  )
  X(5 INVX1 Y(9600 0)
   P(0 12)
   P(1 5)
   P(2 15)
   P(3 12)
   P(4 4)
   P(5 15)
  )
  X(6 INVX1 Y(11400 0)
   P(0 12)
   P(1 6)
   P(2 15)
   P(3 12)
   P(4 5)
   P(5 15)
  )
  X(7 INVX1 Y(13200 0)
   P(0 12)
   P(1 7)
   P(2 15)
   P(3 12)
   P(4 6)
   P(5 15)
  )
  X(8 INVX1 Y(15000 0)
   P(0 12)
   P(1 8)
   P(2 15)
   P(3 12)
   P(4 7)
   P(5 15)
  )
  X(9 INVX1 Y(16800 0)
   P(0 12)
   P(1 9)
   P(2 15)
   P(3 12)
   P(4 8)
   P(5 15)
  )
  X(10 INVX1 Y(18600 0)
   P(0 12)
   P(1 10)
   P(2 15)
   P(3 12)
   P(4 9)
   P(5 15)
  )
  X(11 INVX1 Y(20400 0)
   P(0 12)
   P(1 11)
   P(2 15)
   P(3 12)
   P(4 10)
   P(5 15)
  )
  X(12 INVX1 Y(22200 0)
   P(0 12)
   P(1 13)
   P(2 15)
   P(3 12)
   P(4 11)
   P(5 15)
  )
 )
)
H(
 X(ND2X1
  N(1 I(VDD))
  N(2 I(OUT))
  N(3 I(VSS))
  N(4 I(NWELL))
  N(5 I(B))
  N(6 I(A))
  N(7 I(BULK))
  N(8 I('1'))
  P(1 I(VDD))
  P(2 I(OUT))
  P(3 I(VSS))
  P(4 I(NWELL))
  P(5 I(B))
  P(6 I(A))
  P(7 I(BULK))
  D(1 PMOS
   I($1)
   E(L 0.25)
   E(W 1.5)
   E(AS 0)
   E(AD 0)
   E(PS 0)
   E(PD 0)
   T(S 2)
   T(G 6)
   T(D 1)
   T(B 4)
  )
  D(2 PMOS
   I($2)
   E(L 0.25)
   E(W 1.5)
   E(AS 0)
   E(AD 0)
   E(PS 0)
   E(PD 0)
   T(S 1)
   T(G 5)
   T(D 2)
   T(B 4)
  )
  D(3 NMOS
   I($3)
   E(L 0.25)
   E(W 0.95)
   E(AS 0)
   E(AD 0)
   E(PS 0)
   E(PD 0)
   T(S 3)
   T(G 6)
   T(D 8)
   T(B 7)
  )
  D(4 NMOS
   I($4)
   E(L 0.25)
   E(W 0.95)
   E(AS 0)
   E(AD 0)
   E(PS 0)
   E(PD 0)
   T(S 8)
   T(G 5)
   T(D 2)
   T(B 7)
  )
 )
 X(INVX1
  N(1 I(VDD))
  N(2 I(OUT))
  N(3 I(VSS))
  N(4 I(NWELL))
  N(5 I(IN))
  N(6 I(BULK))
  P(1 I(VDD))
  P(2 I(OUT))
  P(3 I(VSS))
  P(4 I(NWELL))
  P(5 I(IN))
  P(6 I(BULK))
  D(1 PMOS
   I($1)
   E(L 0.25)
   E(W 1.5)
   E(AS 0)
   E(AD 0)
   E(PS 0)
   E(PD 0)
   T(S 1)
   T(G 5)
   T(D 2)
   T(B 4)
  )
  D(2 NMOS
   I($2)
   E(L 0.25)
   E(W 0.95)
   E(AS 0)
   E(AD 0)
   E(PS 0)
   E(PD 0)
   T(S 3)
   T(G 5)
   T(D 2)
   T(B 6)
  )
 )
 X(RINGO
  N(1 I(VSS))
  N(2 I(VDD))
  N(3 I(FB))
  N(4 I(ENABLE))
  N(5 I(OUT))
  N(6 I('1'))
  N(7 I('2'))
  N(8 I('3'))
  N(9 I('4'))
  N(10 I('5'))
  N(11 I('6'))
  N(12 I('7'))
  N(13 I('8'))
  N(14 I('9'))
  N(15 I('10'))
  P(1 I(VSS))
  P(2 I(VDD))
  P(3 I(FB))
  P(4 I(ENABLE))
  P(5 I(OUT))
  X(1 ND2X1 I($1)
   P(0 2)
   P(1 6)
   P(2 1)
   P(3 2)
   P(4 3)
   P(5 4)
   P(6 1)
  )
  X(2 INVX1 I($2)
   P(0 2)
   P(1 7)
   P(2 1)
   P(3 2)
   P(4 6)
   P(5 1)
  )
  X(3 INVX1 I($3)
   P(0 2)
   P(1 8)
   P(2 1)
   P(3 2)
   P(4 7)
   P(5 1)
  )
  X(4 INVX1 I($4)
   P(0 2)
   P(1 9)
   P(2 1)
   P(3 2)
   P(4 8)
   P(5 1)
  )
  X(5 INVX1 I($5)
   P(0 2)
   P(1 10)
   P(2 1)
   P(3 2)
   P(4 9)
   P(5 1)
  )
  X(6 INVX1 I($6)
   P(0 2)
   P(1 11)
   P(2 1)
   P(3 2)
   P(4 10)
   P(5 1)
  )
  X(7 INVX1 I($7)
   P(0 2)
   P(1 12)
   P(2 1)
   P(3 2)
   P(4 11)
   P(5 1)
  )
  X(8 INVX1 I($8)
   P(0 2)
   P(1 13)
   P(2 1)
   P(3 2)
   P(4 12)
   P(5 1)
  )
  X(9 INVX1 I($9)
   P(0 2)
   P(1 14)
   P(2 1)
   P(3 2)
   P(4 13)
   P(5 1)
  )
  X(10 INVX1 I($10)
   P(0 2)
   P(1 15)
   P(2 1)
   P(3 2)
   P(4 14)
   P(5 1)
  )
  X(11 INVX1 I($11)
   P(0 2)
   P(1 3)
   P(2 1)
   P(3 2)
   P(4 15)
   P(5 1)
  )
  X(12 INVX1 I($12)
   P(0 2)
   P(1 5)
   P(2 1)
   P(3 2)
   P(4 3)
   P(5 1)
  )
 )
)
Z(
 X(INVX1 INVX1 1
  Z(
   N(4 4 1)
   N(5 5 1)
   N(2 2 1)
   N(6 6 1)
   N(1 1 1)
   N(3 3 1)
   P(3 3 1)
   P(4 4 1)
   P(1 1 1)
   P(5 5 1)
   P(0 0 1)
   P(2 2 1)
   D(1 1 1)
   D(2 2 1)
  )
 )
 X(ND2X1 ND2X1 1
  Z(
   N(8 8 1)
   N(4 4 1)
   N(6 6 1)
   N(5 5 1)
   N(2 2 1)
   N(7 7 1)
   N(1 1 1)
   N(3 3 1)
   P(3 3 1)
   P(5 5 1)
   P(4 4 1)
   P(1 1 1)
   P(6 6 1)
   P(0 0 1)
   P(2 2 1)
   D(1 1 1)
   D(2 2 1)
   D(3 3 1)
   D(4 4 1)
  )
 )
 X(RINGO RINGO 1
  Z(
   N(1 6 1)
   N(10 15 1)
   N(2 7 1)
   N(3 8 1)
   N(4 9 1)
   N(5 10 1)
   N(6 11 1)
   N(7 12 1)
   N(8 13 1)
   N(9 14 1)
   N(14 4 1)
   N(11 3 1)
   N(13 5 1)
   N(12 2 1)
   N(15 1 1)
   P(3 3 1)
   P(0 2 1)
   P(2 4 1)
   P(1 1 1)
   P(4 0 1)
   X(1 1 1)
   X(10 10 1)
   X(11 11 1)
   X(12 12 1)
   X(2 2 1)
   X(3 3 1)
   X(4 4 1)
   X(5 5 1)
   X(6 6 1)
   X(7 7 1)
   X(8 8 1)
   X(9 9 1)
  )
 )
)