(CreatingUser "Spreitzer.pa")

(CreationTime "January 16, 1985 4:43:55 pm PST")

(CreationSite "MilkyWay Sol III USA Xerox PARC Sea-Horse")

(DerivingProgram "Spinifex" "January 14, 1985 10:31:41 pm PST")

(CellTypeName "PWName-57")

(scale 0.5 "lambda")

(bb 0 0 5824 664)

(Ports

(PrivateFollows)

(N "C2.C2.C2.A" (G P))

(PN "C2.C2.C2.A" "C2.C2.C2.A")

(N "C2.C2.C1.A" (G P))

(PN "C2.C2.C1.A" "C2.C2.C1.A")

(N "C2.C1.C2.A" (G P))

(PN "C2.C1.C2.A" "C2.C1.C2.A")

(N "C2.C1.C1.A" (G P))

(PN "C2.C1.C1.A" "C2.C1.C1.A")

(N "C1.C2.C2.A" (G P))

(PN "C1.C2.C2.A" "C1.C2.C2.A")

(N "C1.C2.C1.A" (G P))

(PN "C1.C2.C1.A" "C1.C2.C1.A")

(N "C1.C1.C2.A" (G P))

(PN "C1.C1.C2.A" "C1.C1.C2.A")

(N "C1.C1.C1.A" (G P))

(PN "C1.C1.C1.A" "C1.C1.C1.A")

(N "C2.C2.C2.B" (G P))

(PN "C2.C2.C2.B" "C2.C2.C2.B")

(N "C2.C2.C1.B" (G P))

(PN "C2.C2.C1.B" "C2.C2.C1.B")

(N "C2.C1.C2.B" (G P))

(PN "C2.C1.C2.B" "C2.C1.C2.B")

(N "C2.C1.C1.B" (G P))

(PN "C2.C1.C1.B" "C2.C1.C1.B")

(N "C1.C2.C2.B" (G P))

(PN "C1.C2.C2.B" "C1.C2.C2.B")

(N "C1.C2.C1.B" (G P))

(PN "C1.C2.C1.B" "C1.C2.C1.B")

(N "C1.C1.C2.B" (G P))

(PN "C1.C1.C2.B" "C1.C1.C2.B")

(N "C1.C1.C1.B" (G P))

(PN "C1.C1.C1.B" "C1.C1.C1.B")

(N "C2.C2.C2.S" (G P))

(PN "C2.C2.C2.S" "C2.C2.C2.S")

(N "C2.C2.C1.S" (G P))

(PN "C2.C2.C1.S" "C2.C2.C1.S")

(N "C2.C1.C2.S" (G P))

(PN "C2.C1.C2.S" "C2.C1.C2.S")

(N "C2.C1.C1.S" (G P))

(PN "C2.C1.C1.S" "C2.C1.C1.S")

(N "C1.C2.C2.S" (G P))

(PN "C1.C2.C2.S" "C1.C2.C2.S")

(N "C1.C2.C1.S" (G P))

(PN "C1.C2.C1.S" "C1.C2.C1.S")

(N "C1.C1.C2.S" (G P))

(PN "C1.C1.C2.S" "C1.C1.C2.S")

(N "C1.C1.C1.S" (G P))

(PN "C1.C1.C1.S" "C1.C1.C1.S")

(N "C2.C2.C1.C2.C2.C1.n12" (G P) (A ("C2.C2.C1.C2.C2.C1.n17" (G P)) ("C2.C2.C1.C2.C2.n1" (G P)) ("C2.C2.C2.C2.n1-1-2" (G P))))

(PN "C2.C2.C1.C2.C2.C1.n12" "C2.C2.C1.C2.C2.C1.n12")

(N "C1.C2.C1.C2.C2.C1.n12" (G P) (A ("C1.C2.C1.C2.C2.C1.n17" (G P)) ("C1.C2.C1.C2.C2.n1" (G P)) ("C1.C2.C2.C2.n1-1-2" (G P))))

(PN "C1.C2.C1.C2.C2.C1.n12" "C1.C2.C1.C2.C2.C1.n12")

(N "C2.C2.n7-1" (G P) (A ("C2.C1.C1.C1.C1.n12-1" (G P)) ("C2.C1.C1.C1.n1-1" (G P)) ("C2.C1.C1.n1-1-1" (G P))))

(PN "C2.C2.n7-1" "C2.C2.n7-1")

(N "C1.C2.n7" (G P) (A ("C1.C1.C1.C1.C1.n12-1" (G P)) ("C1.C1.C1.C1.n1-1-1" (G P)) ("C1.C1.C1.n1-1-1" (G P))))

(PN "C1.C2.n7" "C1.C2.n7")

(N "C2.C1.C2.C2.n21" (G P) (A ("C2.C2.C1.C2.C2.n5" (G P)) ("C2.C2.C2.C2.C1.n16" (G P))))

(PN "C2.C1.C2.C2.n21" "C2.C1.C2.C2.n21")

(N "C1.C1.C2.C2.n21" (G P) (A ("C1.C2.C1.C2.C2.n5" (G P)) ("C1.C2.C2.C2.C1.n16" (G P))))

(PN "C1.C1.C2.C2.n21" "C1.C1.C2.C2.n21")

(N "C2.C1.n4" (G P) (A ("C2.C1.C1.C1.C1.n14-1" (G P)) ("C2.C1.C1.C1.n3-1-1" (G P)) ("C2.C1.C1.n3-1-1" (G P))))

(PN "C2.C1.n4" "C2.C1.n4")

(N "C1.C1.n4" (G P) (A ("C1.C1.C1.C1.C1.n14-1" (G P)) ("C1.C1.C1.C1.n3-1-1" (G P)) ("C1.C1.C1.n3-1-1" (G P))))

(PN "C1.C1.n4" "C1.C1.n4")

(N "C2.C1.C2.C2.n22" (G P) (A ("C2.C2.C1.C2.C2.n17" (G P)) ("C2.C2.C1.C2.C2.n6" (G P)) ("C2.C2.C1.C2.n6-1-1" (G P))))

(PN "C2.C1.C2.C2.n22" "C2.C1.C2.C2.n22")

(N "C1.C1.C2.C2.n22" (G P) (A ("C1.C2.C1.C2.C2.n17" (G P)) ("C1.C2.C1.C2.C2.n6" (G P)) ("C1.C2.C1.C2.n6-1-1" (G P))))

(PN "C1.C1.C2.C2.n22" "C1.C1.C2.C2.n22")

(N "C2.C1.n3" (G P) (A ("C2.C1.C1.C1.n16-1" (G P)) ("C2.C1.C1.n5-1-1-1" (G P)) ("C2.C2.C1.C1.C1.n5-1" (G P))))

(PN "C2.C1.n3" "C2.C1.n3")

(N "C1.C1.n3" (G P) (A ("C1.C1.C1.C1.n16-1" (G P)) ("C1.C1.C1.n5-1-1-1" (G P)) ("C1.C2.C1.C1.C1.n5-1" (G P))))

(PN "C1.C1.n3" "C1.C1.n3")

(N "C2.C1.C2.C2.n19" (G P) (A ("C2.C2.C1.C2.C1.C1.n4" (G P)) ("C2.C2.C1.C2.C2.C1.n15" (G P)) ("C2.C2.C1.C2.C2.n4" (G P))))

(PN "C2.C1.C2.C2.n19" "C2.C1.C2.C2.n19")

(N "C1.C1.C2.C2.n19" (G P) (A ("C1.C2.C1.C2.C1.C1.n4" (G P)) ("C1.C2.C1.C2.C2.C1.n15" (G P)) ("C1.C2.C1.C2.C2.n4" (G P))))

(PN "C1.C1.C2.C2.n19" "C1.C1.C2.C2.n19")

(N "C2.C1.n5" (G P) (A ("C2.C1.C1.C1.C1.n15-1" (G P)) ("C2.C1.C1.C1.n4-1-2" (G P)) ("C2.C1.C1.n4-1-1" (G P))))

(PN "C2.C1.n5" "C2.C1.n5")

(N "C1.C1.n5" (G P) (A ("C1.C1.C1.C1.C1.n15-1" (G P)) ("C1.C1.C1.C1.n4-1-1-1" (G P)) ("C1.C1.C1.n4-1-1-1" (G P))))

(PN "C1.C1.n5" "C1.C1.n5")

(N "C2.C1.C2.C1.C1.n18" (G P) (A ("C2.C2.C1.C1.n2-1-1" (G P)) ("C2.C2.C1.C2.C1.C1.n13" (G P)) ("C2.C2.C1.C2.C1.n2" (G P))))

(PN "C2.C1.C2.C1.C1.n18" "C2.C1.C2.C1.C1.n18")

(N "C1.C1.C2.C1.C1.n18" (G P) (A ("C1.C2.C1.C1.n2-1-1" (G P)) ("C1.C2.C1.C2.C1.C1.n13" (G P)) ("C1.C2.C1.C2.C1.n2" (G P))))

(PN "C1.C1.C2.C1.C1.n18" "C1.C1.C2.C1.C1.n18")

(N "C2.C1.n2" (G P) (A ("C2.C1.C1.C1.n17-1-2" (G P)) ("C2.C1.C1.C1.n6-1" (G P)) ("C2.C1.C1.n6-1-1" (G P))))

(PN "C2.C1.n2" "C2.C1.n2")

(N "C1.C1.n2" (G P) (A ("C1.C1.C1.C1.n17-1" (G P)) ("C1.C1.C1.C1.n6-1" (G P)) ("C1.C1.C1.n6-1-1" (G P))))

(PN "C1.C1.n2" "C1.C1.n2")

(N "C2.C1.C'" (G P) (A ("C2.C1.C1.C1.n" (G P))))

(PN "C2.C1.C\'" "C2.C1.C\'")

(N "C1.C1.C'" (G P) (A ("C1.C1.C1.C1.n" (G P))))

(PN "C1.C1.C\'" "C1.C1.C\'")

(N "C2.C1.C2.C1.n20" (G P) (A ("C2.C2.C1.C1.C1.C1.n3" (G P)) ("C2.C2.C1.C2.C1.C1.n14" (G P)) ("C2.C2.C1.C2.C1.n3-1" (G P))))

(PN "C2.C1.C2.C1.n20" "C2.C1.C2.C1.n20")

(N "C1.C1.C2.C1.n20" (G P) (A ("C1.C2.C1.C1.C1.C1.n3" (G P)) ("C1.C2.C1.C2.C1.C1.n14" (G P)) ("C1.C2.C1.C2.C1.n3" (G P))))

(PN "C1.C1.C2.C1.n20" "C1.C1.C2.C1.n20")

(N "C2.C1.C2.C1.C1.n17" (G P) (A ("C2.C2.C1.C2.C1.C1.n12" (G P)) ("C2.C2.C1.C2.C1.n1" (G P)) ("C2.C2.C2.C1.n1-1-2" (G P))))

(PN "C2.C1.C2.C1.C1.n17" "C2.C1.C2.C1.C1.n17")

(N "C1.C1.C2.C1.C1.n17" (G P) (A ("C1.C2.C1.C2.C1.C1.n12" (G P)) ("C1.C2.C1.C2.C1.n1" (G P)) ("C1.C2.C2.C1.n1-1-2" (G P))))

(PN "C1.C1.C2.C1.C1.n17" "C1.C1.C2.C1.C1.n17")

(N "C2.C1.C2.C1.C2.C1.n5" (G P) (A ("C2.C1.C2.C1.n21" (G P)) ("C2.C2.C1.C2.C1.n5-1" (G P)) ("C2.C2.C2.C1.C1.n16" (G P))))

(PN "C2.C1.C2.C1.C2.C1.n5" "C2.C1.C2.C1.C2.C1.n5")

(N "C1.C1.C2.C1.C2.C1.n5" (G P) (A ("C1.C1.C2.C1.n21" (G P)) ("C1.C2.C1.C2.C1.n5-1" (G P)) ("C1.C2.C2.C1.C1.n16" (G P))))

(PN "C1.C1.C2.C1.C2.C1.n5" "C1.C1.C2.C1.C2.C1.n5")

(N "C2.C1.C2.C1.C2.C1.n17" (G P) (A ("C2.C1.C2.C1.n22" (G P)) ("C2.C2.C1.C2.C1.n6" (G P)) ("C2.C2.C2.C1.n6-1-2" (G P))))

(PN "C2.C1.C2.C1.C2.C1.n17" "C2.C1.C2.C1.C2.C1.n17")

(N "C1.C1.C2.C1.C2.C1.n17" (G P) (A ("C1.C1.C2.C1.n22" (G P)) ("C1.C2.C1.C2.C1.n6" (G P)) ("C1.C2.C2.C1.n6-1-2" (G P))))

(PN "C1.C1.C2.C1.C2.C1.n17" "C1.C1.C2.C1.C2.C1.n17")

(N "C2.C1.C2.C1.C2.C1.n4" (G P) (A ("C2.C1.C2.C1.n19" (G P)) ("C2.C2.C1.C1.C1.C1.n4" (G P)) ("C2.C2.C1.C2.C1.C1.n15" (G P))))

(PN "C2.C1.C2.C1.C2.C1.n4" "C2.C1.C2.C1.C2.C1.n4")

(N "C1.C1.C2.C1.C2.C1.n4" (G P) (A ("C1.C1.C2.C1.n19" (G P)) ("C1.C2.C1.C1.C1.C1.n4" (G P)) ("C1.C2.C1.C2.C1.C1.n15" (G P))))

(PN "C1.C1.C2.C1.C2.C1.n4" "C1.C1.C2.C1.C2.C1.n4")

(N "C2.C2.C1.C1.C2.C1.n18" (G P) (A ("C2.C2.C1.C2.C1.n13-1" (G P)) ("C2.C2.C1.C2.n2-1" (G P))))

(PN "C2.C2.C1.C1.C2.C1.n18" "C2.C2.C1.C1.C2.C1.n18")

(N "C1.C2.C1.C1.C2.C1.n18" (G P) (A ("C1.C2.C1.C2.C1.n13-1" (G P)) ("C1.C2.C1.C2.n2-1" (G P))))

(PN "C1.C2.C1.C1.C2.C1.n18" "C1.C2.C1.C1.C2.C1.n18")

(N "C2.C1.C1.C2.n20" (G P) (A ("C2.C2.C1.C1.C1.n3-1" (G P)) ("C2.C2.C1.C2.C1.n14-1" (G P)) ("C2.C2.C2.C1.C2.n3-1" (G P))))

(PN "C2.C1.C1.C2.n20" "C2.C1.C1.C2.n20")

(N "C1.C1.C1.C2.n20" (G P) (A ("C1.C2.C1.C1.C1.n3-1" (G P)) ("C1.C2.C1.C2.C1.n14-1" (G P)) ("C1.C2.C2.C1.C2.n3-1" (G P))))

(PN "C1.C1.C1.C2.n20" "C1.C1.C1.C2.n20")

(N "C2.C2.C1.C1.C2.C1.n17" (G P) (A ("C2.C2.C1.C2.C1.n12-1" (G P)) ("C2.C2.C1.C2.n1-1" (G P)) ("C2.C2.C2.n1-1-1-2" (G P))))

(PN "C2.C2.C1.C1.C2.C1.n17" "C2.C2.C1.C1.C2.C1.n17")

(N "C1.C2.C1.C1.C2.C1.n17" (G P) (A ("C1.C2.C1.C2.C1.n12-1" (G P)) ("C1.C2.C1.C2.n1-1" (G P)) ("C1.C2.C2.n1-1-1-2" (G P))))

(PN "C1.C2.C1.C1.C2.C1.n17" "C1.C2.C1.C1.C2.C1.n17")

(N "C2.C1.C1.C2.n19" (G P) (A ("C2.C2.C1.C1.C1.n4-1" (G P)) ("C2.C2.C1.C2.C1.n15-1" (G P)) ("C2.C2.C2.C1.C2.n4-1" (G P))))

(PN "C2.C1.C1.C2.n19" "C2.C1.C1.C2.n19")

(N "C1.C1.C1.C2.n19" (G P) (A ("C1.C2.C1.C1.C1.n4-1" (G P)) ("C1.C2.C1.C2.C1.n15-1" (G P)) ("C1.C2.C2.C1.C2.n4-1" (G P))))

(PN "C1.C1.C1.C2.n19" "C1.C1.C1.C2.n19")

(N "C2.C1.C1.C2.n21" (G P) (A ("C2.C2.C1.C2.n5-1" (G P)) ("C2.C2.C2.C1.n16-1" (G P))))

(PN "C2.C1.C1.C2.n21" "C2.C1.C1.C2.n21")

(N "C1.C1.C1.C2.n21" (G P) (A ("C1.C2.C1.C2.n5-1" (G P)) ("C1.C2.C2.C1.n16-1" (G P))))

(PN "C1.C1.C1.C2.n21" "C1.C1.C1.C2.n21")

(N "C2.C1.C1.C2.n22" (G P) (A ("C2.C2.C1.C2.n17-1" (G P)) ("C2.C2.C1.C2.n6-1" (G P)) ("C2.C2.C1.C2.n6-2" (G P))))

(PN "C2.C1.C1.C2.n22" "C2.C1.C1.C2.n22")

(N "C1.C1.C1.C2.n22" (G P) (A ("C1.C2.C1.C2.n17-1" (G P)) ("C1.C2.C1.C2.n6-1" (G P)) ("C1.C2.C1.C2.n6-2" (G P))))

(PN "C1.C1.C1.C2.n22" "C1.C1.C1.C2.n22")

(N "C2.C1.C2.C2.C2.C2.n1" (G P) (A ("C2.C2.C2.C2.C2.C1.n12" (G P)) ("C2.C2.C2.C2.C2.C1.n17" (G P)) ("C2.C2.C2.n1-1-1-1" (G P))))

(PN "C2.C1.C2.C2.C2.C2.n1" "C2.C1.C2.C2.C2.C2.n1")

(N "C1.C1.C2.C2.C2.C2.n1" (G P) (A ("C1.C2.C2.C2.C2.C1.n12" (G P)) ("C1.C2.C2.C2.C2.C1.n17" (G P)) ("C1.C2.C2.n1-1-1-1" (G P))))

(PN "C1.C1.C2.C2.C2.C2.n1" "C1.C1.C2.C2.C2.C2.n1")

(N "C2.C2.C2.C2.C1.n18" (G P) (A ("C2.C2.C2.C2.C2.C1.n13" (G P)) ("C2.C2.C2.C2.C2.n2" (G P))))

(PN "C2.C2.C2.C2.C1.n18" "C2.C2.C2.C2.C1.n18")

(N "C1.C2.C2.C2.C1.n18" (G P) (A ("C1.C2.C2.C2.C2.C1.n13" (G P)) ("C1.C2.C2.C2.C2.n2" (G P))))

(PN "C1.C2.C2.C2.C1.n18" "C1.C2.C2.C2.C1.n18")

(N "C2.C2.C2.C2.C1.C1.n3" (G P) (A ("C2.C2.C2.C2.C2.C1.n14" (G P)) ("C2.C2.C2.C2.C2.n3" (G P)) ("C2.C2.C2.C2.n20" (G P))))

(PN "C2.C2.C2.C2.C1.C1.n3" "C2.C2.C2.C2.C1.C1.n3")

(N "C1.C2.C2.C2.C1.C1.n3" (G P) (A ("C1.C2.C2.C2.C2.C1.n14" (G P)) ("C1.C2.C2.C2.C2.n3" (G P)) ("C1.C2.C2.C2.n20" (G P))))

(PN "C1.C2.C2.C2.C1.C1.n3" "C1.C2.C2.C2.C1.C1.n3")

(N "C2.C2.C2.C2.C1.C1.n4" (G P) (A ("C2.C2.C2.C2.C2.C1.n15" (G P)) ("C2.C2.C2.C2.C2.n4" (G P)) ("C2.C2.C2.C2.n19" (G P))))

(PN "C2.C2.C2.C2.C1.C1.n4" "C2.C2.C2.C2.C1.C1.n4")

(N "C1.C2.C2.C2.C1.C1.n4" (G P) (A ("C1.C2.C2.C2.C2.C1.n15" (G P)) ("C1.C2.C2.C2.C2.n4" (G P)) ("C1.C2.C2.C2.n19" (G P))))

(PN "C1.C2.C2.C2.C1.C1.n4" "C1.C2.C2.C2.C1.C1.n4")

(N "C2.C1.n13" (G P) (A ("C2.C2.n2" (G P)) ("C2.C1.n1-1" (G P)) ("C2.C1.C1.C1.C2.n13" (G P)) ("C2.C1.C1.C1.n16" (G P)) ("C2.C1.C1.C2.C2.n14" (G P)) ("C2.C1.C1.C2.n1-1-1" (G P)) ("C2.C1.C1.n14-1" (G P)) ("C2.C1.C2.C1.n13" (G P)) ("C2.C1.C2.n15-1" (G P)) ("C2.C2.C1.C1.C1.C2.n2" (G P)) ("C2.C2.C1.C1.C2.n1" (G P)) ("C2.C2.C1.C1.n14" (G P)) ("C2.C2.C1.C2.C2.n15" (G P)) ("C2.C2.C1.C2.C2.n9" (G P)) ("C2.C2.C1.C2.n10-1" (G P)) ("C2.C2.C1.C2.n13-1" (G P)) ("C2.C2.C1.n15-1" (G P)) ("C2.C2.C2.C1.C2.n10" (G P)) ("C2.C2.C2.C1.n15" (G P)) ("C2.C2.C2.C2.C2.n11-1" (G P)) ("C2.C2.C2.C2.n11-1" (G P)) ("C2.C2.C2.C2.n14" (G P))))

(PN "C2.C1.n13" "C2.C1.n13")

(N "C1.C1.n13" (G P) (A ("C1.C2.n2" (G P)) ("C1.C1.C1.n14" (G P)) ("C1.C1.n1-1-2" (G P)) ("C1.C2.C1.n15" (G P)) ("C1.C1.C1.C1.C2.n13" (G P)) ("C1.C1.C1.C1.n16" (G P)) ("C1.C1.C1.C2.C2.n14" (G P)) ("C1.C1.C1.C2.n1-1-1" (G P)) ("C1.C1.C2.C1.n13" (G P)) ("C1.C1.C2.n15-1" (G P)) ("C1.C2.C1.C1.C1.C2.n2" (G P)) ("C1.C2.C1.C1.C2.n1" (G P)) ("C1.C2.C1.C1.n14" (G P)) ("C1.C2.C1.C2.C2.n15" (G P)) ("C1.C2.C1.C2.C2.n9" (G P)) ("C1.C2.C1.C2.n10-1" (G P)) ("C1.C2.C1.C2.n13" (G P)) ("C1.C2.C2.C1.C2.n10" (G P)) ("C1.C2.C2.C1.n15" (G P)) ("C1.C2.C2.C2.C2.n11" (G P)) ("C1.C2.C2.C2.n11-1" (G P)) ("C1.C2.C2.C2.n14" (G P))))

(PN "C1.C1.n13" "C1.C1.n13")

(N "C2.C2.C2.C2.C2.n5" (G P) (A ("C2.C2.C2.C2.n16" (G P)) ("C2.C2.C2.C2.n21" (G P))))

(PN "C2.C2.C2.C2.C2.n5" "C2.C2.C2.C2.C2.n5")

(N "C1.C2.C2.C2.C2.n5" (G P) (A ("C1.C2.C2.C2.n16" (G P)) ("C1.C2.C2.C2.n21" (G P))))

(PN "C1.C2.C2.C2.C2.n5" "C1.C2.C2.C2.C2.n5")

(N "C2.C2.C'" (G P) (A ("C2.C2.C1.C1.n" (G P))))

(PN "C2.C2.C\'" "C2.C2.C\'")

(N "C1.C2.C'" (G P) (A ("C1.C2.C1.C1.n" (G P))))

(PN "C1.C2.C\'" "C1.C2.C\'")

(N "C2.C1.C1.C1.C1.n18" (G P) (A ("C2.C2.C1.C1.C1.n13-1" (G P)) ("C2.C2.C1.C1.n2-1" (G P)) ("C2.C2.C1.C1.n2-2" (G P))))

(PN "C2.C1.C1.C1.C1.n18" "C2.C1.C1.C1.C1.n18")

(N "C1.C1.C1.C1.C1.n18" (G P) (A ("C1.C2.C1.C1.C1.n13-1" (G P)) ("C1.C2.C1.C1.n2-1" (G P)) ("C1.C2.C1.C1.n2-2" (G P))))

(PN "C1.C1.C1.C1.C1.n18" "C1.C1.C1.C1.C1.n18")

(N "C2.C1.C2.C2.n17-1" (G P) (A ("C2.C1.C2.C2.n6-1" (G P)) ("C2.C1.C2.C2.n6-2" (G P)) ("C2.C1.C2.n22-1" (G P))))

(PN "C2.C1.C2.C2.n17-1" "C2.C1.C2.C2.n17-1")

(N "C1.C1.C2.C2.n17-1" (G P) (A ("C1.C1.C2.C2.n6-1" (G P)) ("C1.C1.C2.C2.n6-2" (G P)) ("C1.C1.C2.n22-1" (G P))))

(PN "C1.C1.C2.C2.n17-1" "C1.C1.C2.C2.n17-1")

(N "C2.C1.C1.C1.n20" (G P) (A ("C2.C2.C1.C1.C1.n14-1" (G P)) ("C2.C2.C1.C1.n3-1-1" (G P)) ("C2.C2.C1.n3-1-1" (G P))))

(PN "C2.C1.C1.C1.n20" "C2.C1.C1.C1.n20")

(N "C1.C1.C1.C1.n20" (G P) (A ("C1.C2.C1.C1.C1.n14-1" (G P)) ("C1.C2.C1.C1.n3-1-1" (G P)) ("C1.C2.C1.n3-1-1" (G P))))

(PN "C1.C1.C1.C1.n20" "C1.C1.C1.C1.n20")

(N "C2.C1.C2.C2.C2.C2.n6" (G P) (A ("C2.C2.C2.C2.C2.n17" (G P)) ("C2.C2.C2.C2.n22" (G P)) ("C2.C2.C2.C2.n6-1-1" (G P))))

(PN "C2.C1.C2.C2.C2.C2.n6" "C2.C1.C2.C2.C2.C2.n6")

(N "C1.C1.C2.C2.C2.C2.n6" (G P) (A ("C1.C2.C2.C2.C2.n17" (G P)) ("C1.C2.C2.C2.n22" (G P)) ("C1.C2.C2.C2.n6-1-1" (G P))))

(PN "C1.C1.C2.C2.C2.C2.n6" "C1.C1.C2.C2.C2.C2.n6")

(N "C2.C1.C1.C1.C1.n17" (G P) (A ("C2.C2.C1.C1.C1.n12-1" (G P)) ("C2.C2.C1.C1.n1-1" (G P)) ("C2.C2.C1.n1-1-1-1" (G P))))

(PN "C2.C1.C1.C1.C1.n17" "C2.C1.C1.C1.C1.n17")

(N "C1.C1.C1.C1.C1.n17" (G P) (A ("C1.C2.C1.C1.C1.n12-1" (G P)) ("C1.C2.C1.C1.n1-1" (G P)) ("C1.C2.C1.n1-1-1-1-1" (G P))))

(PN "C1.C1.C1.C1.C1.n17" "C1.C1.C1.C1.C1.n17")

(N "C2.C1.C2.C1.n1-1-1-1" (G P) (A ("C2.C2.C2.C1.C1.n17" (G P)) ("C2.C2.C2.C2.C1.C1.n12" (G P)) ("C2.C2.C2.C2.C1.n1-2" (G P))))

(PN "C2.C1.C2.C1.n1-1-1-1" "C2.C1.C2.C1.n1-1-1-1")

(N "C1.C1.C2.C1.n1-1-1-1" (G P) (A ("C1.C2.C2.C1.C1.n17" (G P)) ("C1.C2.C2.C2.C1.C1.n12" (G P)) ("C1.C2.C2.C2.C1.n1" (G P))))

(PN "C1.C1.C2.C1.n1-1-1-1" "C1.C1.C2.C1.n1-1-1-1")

(N "C2.C2.C2.C1.C1.n18" (G P) (A ("C2.C2.C2.C1.n2-1-1" (G P)) ("C2.C2.C2.C2.C1.C1.n13" (G P)) ("C2.C2.C2.C2.C1.n2-1" (G P))))

(PN "C2.C2.C2.C1.C1.n18" "C2.C2.C2.C1.C1.n18")

(N "C1.C2.C2.C1.C1.n18" (G P) (A ("C1.C2.C2.C1.n2-1-1" (G P)) ("C1.C2.C2.C2.C1.C1.n13" (G P)) ("C1.C2.C2.C2.C1.n2" (G P))))

(PN "C1.C2.C2.C1.C1.n18" "C1.C2.C2.C1.C1.n18")

(N "C2.C1.C1.C1.n21" (G P) (A ("C2.C2.C1.C1.n16-1" (G P)) ("C2.C2.C1.n5-1-1" (G P)) ("C2.C2.C2.C1.C1.n5-1-1" (G P))))

(PN "C2.C1.C1.C1.n21" "C2.C1.C1.C1.n21")

(N "C1.C1.C1.C1.n21" (G P) (A ("C1.C2.C1.C1.n16-1" (G P)) ("C1.C2.C1.n5-1-1" (G P)) ("C1.C2.C2.C1.C1.n5-1-1" (G P))))

(PN "C1.C1.C1.C1.n21" "C1.C1.C1.C1.n21")

(N "C2.C2.C2.C1.C1.C1.n3" (G P) (A ("C2.C2.C2.C1.n20" (G P)) ("C2.C2.C2.C2.C1.C1.n14" (G P)) ("C2.C2.C2.C2.C1.n3-1-1" (G P))))

(PN "C2.C2.C2.C1.C1.C1.n3" "C2.C2.C2.C1.C1.C1.n3")

(N "C1.C2.C2.C1.C1.C1.n3" (G P) (A ("C1.C2.C2.C1.n20" (G P)) ("C1.C2.C2.C2.C1.C1.n14" (G P)) ("C1.C2.C2.C2.C1.n3" (G P))))

(PN "C1.C2.C2.C1.C1.C1.n3" "C1.C2.C2.C1.C1.C1.n3")

(N "C2.C1.C1.C1.n22" (G P) (A ("C2.C2.C1.C1.n17-1" (G P)) ("C2.C2.C1.C1.n6-1" (G P)) ("C2.C2.C1.n6-1-1-1" (G P))))

(PN "C2.C1.C1.C1.n22" "C2.C1.C1.C1.n22")

(N "C1.C1.C1.C1.n22" (G P) (A ("C1.C2.C1.C1.n17-1" (G P)) ("C1.C2.C1.C1.n6-1" (G P)) ("C1.C2.C1.n6-1-1-1" (G P))))

(PN "C1.C1.C1.C1.n22" "C1.C1.C1.C1.n22")

(N "C2.C1.C1.C1.n19" (G P) (A ("C2.C2.C1.C1.C1.n15-1" (G P)) ("C2.C2.C1.C1.n4-1-1" (G P)) ("C2.C2.C1.n4-1-1" (G P))))

(PN "C2.C1.C1.C1.n19" "C2.C1.C1.C1.n19")

(N "C1.C1.C1.C1.n19" (G P) (A ("C1.C2.C1.C1.C1.n15-1" (G P)) ("C1.C2.C1.C1.n4-1-1" (G P)) ("C1.C2.C1.n4-1-1" (G P))))

(PN "C1.C1.C1.C1.n19" "C1.C1.C1.C1.n19")

(N "C2.C2.C2.C1.C1.C1.n4" (G P) (A ("C2.C2.C2.C1.n19" (G P)) ("C2.C2.C2.C2.C1.C1.n15" (G P)) ("C2.C2.C2.C2.C1.n4" (G P))))

(PN "C2.C2.C2.C1.C1.C1.n4" "C2.C2.C2.C1.C1.C1.n4")

(N "C1.C2.C2.C1.C1.C1.n4" (G P) (A ("C1.C2.C2.C1.n19" (G P)) ("C1.C2.C2.C2.C1.C1.n15" (G P)) ("C1.C2.C2.C2.C1.n4" (G P))))

(PN "C1.C2.C2.C1.C1.C1.n4" "C1.C2.C2.C1.C1.C1.n4")

(N "C2.C1.C1.n20-1" (G P) (A ("C2.C1.C2.C1.C1.n14-1" (G P)) ("C2.C1.C2.C1.n3-1" (G P)) ("C2.C1.C2.n3-1-1" (G P))))

(PN "C2.C1.C1.n20-1" "C2.C1.C1.n20-1")

(N "C1.C1.C1.n20-1" (G P) (A ("C1.C1.C2.C1.C1.n14-1" (G P)) ("C1.C1.C2.C1.n3-1" (G P)) ("C1.C1.C2.n3-1-1" (G P))))

(PN "C1.C1.C1.n20-1" "C1.C1.C1.n20-1")

(N "C2.C1.C2.C2.C2.C1.n13" (G P) (A ("C2.C1.C2.C2.C2.n2" (G P)) ("C2.C2.C2.C1.n18-1" (G P))))

(PN "C2.C1.C2.C2.C2.C1.n13" "C2.C1.C2.C2.C2.C1.n13")

(N "C1.C1.C2.C2.C2.C1.n13" (G P) (A ("C1.C1.C2.C2.C2.n2" (G P)) ("C1.C2.C2.C1.n18-1" (G P))))

(PN "C1.C1.C2.C2.C2.C1.n13" "C1.C1.C2.C2.C2.C1.n13")

(N "C2.C2.C1.n5-1-2" (G P) (A ("C2.C2.C2.C1.n16-2" (G P)) ("C2.C2.C2.C1.n21" (G P)) ("C2.C2.C2.C2.C1.n5" (G P))))

(PN "C2.C2.C1.n5-1-2" "C2.C2.C1.n5-1-2")

(N "C1.C2.C1.n5-1-2" (G P) (A ("C1.C2.C2.C1.n16-2" (G P)) ("C1.C2.C2.C1.n21" (G P)) ("C1.C2.C2.C2.C1.n5" (G P))))

(PN "C1.C2.C1.n5-1-2" "C1.C2.C1.n5-1-2")

(N "C2.C1.C1.n16-1-1" (G P) (A ("C2.C1.C1.n21-1" (G P)) ("C2.C1.C1.n5-2" (G P)) ("C2.C1.C2.C1.n5-1-1" (G P))))

(PN "C2.C1.C1.n16-1-1" "C2.C1.C1.n16-1-1")

(N "C1.C1.C1.n16-1-1" (G P) (A ("C1.C1.C1.n21-1" (G P)) ("C1.C1.C1.n5-2" (G P)) ("C1.C1.C2.C1.n5-1-1" (G P))))

(PN "C1.C1.C1.n16-1-1" "C1.C1.C1.n16-1-1")

(N "C2.C1.C2.C2.C2.C1.n17" (G P) (A ("C2.C2.C1.n6-1-3" (G P)) ("C2.C2.C2.C1.n22" (G P)) ("C2.C2.C2.C2.C1.n6-1-1" (G P))))

(PN "C2.C1.C2.C2.C2.C1.n17" "C2.C1.C2.C2.C2.C1.n17")

(N "C1.C1.C2.C2.C2.C1.n17" (G P) (A ("C1.C2.C1.n6-1-3" (G P)) ("C1.C2.C2.C1.n22" (G P)) ("C1.C2.C2.C2.C1.n6" (G P))))

(PN "C1.C1.C2.C2.C2.C1.n17" "C1.C1.C2.C2.C2.C1.n17")

(N "C2.C1.C2.C2.C1.C1.n3" (G P) (A ("C2.C1.C2.C2.C2.C1.n14" (G P)) ("C2.C1.C2.C2.C2.n3" (G P)) ("C2.C2.C2.n20-1" (G P))))

(PN "C2.C1.C2.C2.C1.C1.n3" "C2.C1.C2.C2.C1.C1.n3")

(N "C1.C1.C2.C2.C1.C1.n3" (G P) (A ("C1.C1.C2.C2.C2.C1.n14" (G P)) ("C1.C1.C2.C2.C2.n3" (G P)) ("C1.C2.C2.n20-1" (G P))))

(PN "C1.C1.C2.C2.C1.C1.n3" "C1.C1.C2.C2.C1.C1.n3")

(N "C2.C1.C1.n19-1" (G P) (A ("C2.C1.C2.C1.C1.n15-1" (G P)) ("C2.C1.C2.C1.n4-1" (G P)) ("C2.C1.C2.n4-1-1" (G P))))

(PN "C2.C1.C1.n19-1" "C2.C1.C1.n19-1")

(N "C1.C1.C1.n19-1" (G P) (A ("C1.C1.C2.C1.C1.n15-1" (G P)) ("C1.C1.C2.C1.n4-1-1" (G P)) ("C1.C1.C2.n4-1-1" (G P))))

(PN "C1.C1.C1.n19-1" "C1.C1.C1.n19-1")

(N "C2.C1.C2.C2.C2.C1.n12" (G P) (A ("C2.C1.C2.C2.C2.n1" (G P)) ("C2.C1.C2.n1-1-2" (G P)) ("C2.C2.C2.C1.n17" (G P))))

(PN "C2.C1.C2.C2.C2.C1.n12" "C2.C1.C2.C2.C2.C1.n12")

(N "C1.C1.C2.C2.C2.C1.n12" (G P) (A ("C1.C1.C2.C2.C2.n1" (G P)) ("C1.C1.C2.n1-1-1-1" (G P)) ("C1.C2.C2.C1.n17" (G P))))

(PN "C1.C1.C2.C2.C2.C1.n12" "C1.C1.C2.C2.C2.C1.n12")

(N "C2.C2.C2.C1.C2.C1.n17" (G P) (A ("C2.C2.C2.C2.C1.n12-1" (G P)) ("C2.C2.C2.C2.n1-1" (G P)) ("C2.C2.C2.n1-2" (G P))))

(PN "C2.C2.C2.C1.C2.C1.n17" "C2.C2.C2.C1.C2.C1.n17")

(N "C1.C2.C2.C1.C2.C1.n17" (G P) (A ("C1.C2.C2.C2.C1.n12-1" (G P)) ("C1.C2.C2.C2.n1-1" (G P)) ("C1.C2.C2.n1-2" (G P))))

(PN "C1.C2.C2.C1.C2.C1.n17" "C1.C2.C2.C1.C2.C1.n17")

(N "C2.C1.C1.n22-1" (G P) (A ("C2.C1.C1.n6-2" (G P)) ("C2.C1.C2.C1.n17-1" (G P)) ("C2.C1.C2.C1.n6-1" (G P))))

(PN "C2.C1.C1.n22-1" "C2.C1.C1.n22-1")

(N "C1.C1.C1.n22-1" (G P) (A ("C1.C1.C1.n6-2" (G P)) ("C1.C1.C2.C1.n17-1" (G P)) ("C1.C1.C2.C1.n6-1" (G P))))

(PN "C1.C1.C1.n22-1" "C1.C1.C1.n22-1")

(N "C2.C1.C2.C2.C2.n5" (G P) (A ("C2.C1.C2.C2.n16-1" (G P)) ("C2.C2.C2.n21-1" (G P))))

(PN "C2.C1.C2.C2.C2.n5" "C2.C1.C2.C2.C2.n5")

(N "C1.C1.C2.C2.C2.n5" (G P) (A ("C1.C1.C2.C2.n16" (G P)) ("C1.C2.C2.n21-1" (G P))))

(PN "C1.C1.C2.C2.C2.n5" "C1.C1.C2.C2.C2.n5")

(N "C2.C2.C1.C2.C1.n18" (G P) (A ("C2.C2.C2.C2.C1.n13-1" (G P)) ("C2.C2.C2.C2.n2-1" (G P))))

(PN "C2.C2.C1.C2.C1.n18" "C2.C2.C1.C2.C1.n18")

(N "C1.C2.C1.C2.C1.n18" (G P) (A ("C1.C2.C2.C2.C1.n13-1" (G P)) ("C1.C2.C2.C2.n2-1" (G P))))

(PN "C1.C2.C1.C2.C1.n18" "C1.C2.C1.C2.C1.n18")

(N "C2.C1.C1.C2.C2.C1.n13" (G P) (A ("C2.C1.C1.C2.C2.n2" (G P)) ("C2.C2.C1.n18-1" (G P))))

(PN "C2.C1.C1.C2.C2.C1.n13" "C2.C1.C1.C2.C2.C1.n13")

(N "C1.C1.C1.C2.C2.C1.n13" (G P) (A ("C1.C1.C1.C2.C2.n2" (G P)) ("C1.C2.C1.n18-1" (G P))))

(PN "C1.C1.C1.C2.C2.C1.n13" "C1.C1.C1.C2.C2.C1.n13")

(N "C2.C2.C1.C2.n20" (G P) (A ("C2.C2.C2.C1.C1.n3-1" (G P)) ("C2.C2.C2.C2.C1.n14-1" (G P)) ("C2.C2.C2.C2.C2.n3-1" (G P))))

(PN "C2.C2.C1.C2.n20" "C2.C2.C1.C2.n20")

(N "C1.C2.C1.C2.n20" (G P) (A ("C1.C2.C2.C1.C1.n3-1" (G P)) ("C1.C2.C2.C2.C1.n14-1" (G P)) ("C1.C2.C2.C2.C2.n3-1" (G P))))

(PN "C1.C2.C1.C2.n20" "C1.C2.C1.C2.n20")

(N "C2.C1.C1.C2.C2.C2.n6" (G P) (A ("C2.C1.C2.C2.C2.n17" (G P)) ("C2.C1.C2.C2.n6-1-1" (G P)) ("C2.C2.C2.n22-1" (G P))))

(PN "C2.C1.C1.C2.C2.C2.n6" "C2.C1.C1.C2.C2.C2.n6")

(N "C1.C1.C1.C2.C2.C2.n6" (G P) (A ("C1.C1.C2.C2.C2.n17" (G P)) ("C1.C1.C2.C2.n6-1-1" (G P)) ("C1.C2.C2.n22-1" (G P))))

(PN "C1.C1.C1.C2.C2.C2.n6" "C1.C1.C1.C2.C2.C2.n6")

(N "C2.C1.C1.C2.C2.C1.n12" (G P) (A ("C2.C1.C1.C2.C2.n1" (G P)) ("C2.C1.C2.C2.n1-1-2" (G P)) ("C2.C2.C1.n17-1-1" (G P))))

(PN "C2.C1.C1.C2.C2.C1.n12" "C2.C1.C1.C2.C2.C1.n12")

(N "C1.C1.C1.C2.C2.C1.n12" (G P) (A ("C1.C1.C1.C2.C2.n1" (G P)) ("C1.C1.C2.C2.n1-1-2" (G P)) ("C1.C2.C1.n17-2" (G P))))

(PN "C1.C1.C1.C2.C2.C1.n12" "C1.C1.C1.C2.C2.C1.n12")

(N "C2.C2.C1.C2.n19" (G P) (A ("C2.C2.C2.C1.C1.n4-1" (G P)) ("C2.C2.C2.C2.C1.n15-1" (G P)) ("C2.C2.C2.C2.n4-1" (G P))))

(PN "C2.C2.C1.C2.n19" "C2.C2.C1.C2.n19")

(N "C1.C2.C1.C2.n19" (G P) (A ("C1.C2.C2.C1.C1.n4-1" (G P)) ("C1.C2.C2.C2.C1.n15-1" (G P)) ("C1.C2.C2.C2.n4-1" (G P))))

(PN "C1.C2.C1.C2.n19" "C1.C2.C1.C2.n19")

(N "C2.C1.C2.C2.C1.C1.n4" (G P) (A ("C2.C1.C2.C2.C2.C1.n15" (G P)) ("C2.C1.C2.C2.C2.n4" (G P)) ("C2.C2.C2.n19-1" (G P))))

(PN "C2.C1.C2.C2.C1.C1.n4" "C2.C1.C2.C2.C1.C1.n4")

(N "C1.C1.C2.C2.C1.C1.n4" (G P) (A ("C1.C1.C2.C2.C2.C1.n15" (G P)) ("C1.C1.C2.C2.C2.n4" (G P)) ("C1.C2.C2.n19-1" (G P))))

(PN "C1.C1.C2.C2.C1.C1.n4" "C1.C1.C2.C2.C1.C1.n4")

(N "C2.C2.n20-1" (G P) (A ("C2.C1.C1.C2.C1.C1.n3" (G P)) ("C2.C1.C1.C2.C2.C1.n14" (G P)) ("C2.C1.C1.C2.C2.n3" (G P))))

(PN "C2.C2.n20-1" "C2.C2.n20-1")

(N "C1.C2.n20-1" (G P) (A ("C1.C1.C1.C2.C1.C1.n3" (G P)) ("C1.C1.C1.C2.C2.C1.n14" (G P)) ("C1.C1.C1.C2.C2.n3" (G P))))

(PN "C1.C2.n20-1" "C1.C2.n20-1")

(N "C2.C2.C1.C2.n21" (G P) (A ("C2.C2.C2.C2.n5-1" (G P)) ("C2.C2.C2.n16-1-1" (G P))))

(PN "C2.C2.C1.C2.n21" "C2.C2.C1.C2.n21")

(N "C1.C2.C1.C2.n21" (G P) (A ("C1.C2.C2.C2.n5-1" (G P)) ("C1.C2.C2.n16-1-1" (G P))))

(PN "C1.C2.C1.C2.n21" "C1.C2.C1.C2.n21")

(N "C2.C1.C2.C1.n2-1-1" (G P) (A ("C2.C1.C2.C2.C1.C1.n13" (G P)) ("C2.C1.C2.C2.C1.n2" (G P)) ("C2.C2.C1.C1.n18-1" (G P))))

(PN "C2.C1.C2.C1.n2-1-1" "C2.C1.C2.C1.n2-1-1")

(N "C1.C1.C2.C1.n2-1-1" (G P) (A ("C1.C1.C2.C2.C1.C1.n13" (G P)) ("C1.C1.C2.C2.C1.n2" (G P)) ("C1.C2.C1.C1.n18-1" (G P))))

(PN "C1.C1.C2.C1.n2-1-1" "C1.C1.C2.C1.n2-1-1")

(N "C2.C2.n21-1" (G P) (A ("C2.C1.C1.C2.C2.n5" (G P)) ("C2.C1.C2.C2.C1.n16" (G P))))

(PN "C2.C2.n21-1" "C2.C2.n21-1")

(N "C1.C2.n21-1" (G P) (A ("C1.C1.C1.C2.C2.n5" (G P)) ("C1.C1.C2.C2.C1.n16" (G P))))

(PN "C1.C2.n21-1" "C1.C2.n21-1")

(N "C2.C2.C1.C2.n22" (G P) (A ("C2.C2.C2.C2.n17-1-2" (G P)) ("C2.C2.C2.C2.n6-1" (G P)) ("C2.C2.C2.C2.n6-2" (G P))))

(PN "C2.C2.C1.C2.n22" "C2.C2.C1.C2.n22")

(N "C1.C2.C1.C2.n22" (G P) (A ("C1.C2.C2.C2.n17-1" (G P)) ("C1.C2.C2.C2.n6-1" (G P)) ("C1.C2.C2.C2.n6-2" (G P))))

(PN "C1.C2.C1.C2.n22" "C1.C2.C1.C2.n22")

(N "C2.C1.C2.C1.C1.C1.n3" (G P) (A ("C2.C1.C2.C2.C1.C1.n14" (G P)) ("C2.C1.C2.C2.C1.n3" (G P)) ("C2.C2.C1.n20-1" (G P))))

(PN "C2.C1.C2.C1.C1.C1.n3" "C2.C1.C2.C1.C1.C1.n3")

(N "C1.C1.C2.C1.C1.C1.n3" (G P) (A ("C1.C1.C2.C2.C1.C1.n14" (G P)) ("C1.C1.C2.C2.C1.n3" (G P)) ("C1.C2.C1.n20-1" (G P))))

(PN "C1.C1.C2.C1.C1.C1.n3" "C1.C1.C2.C1.C1.C1.n3")

(N "C2.C2.n19-1" (G P) (A ("C2.C1.C1.C2.C1.C1.n4" (G P)) ("C2.C1.C1.C2.C2.C1.n15" (G P)) ("C2.C1.C1.C2.C2.n4" (G P))))

(PN "C2.C2.n19-1" "C2.C2.n19-1")

(N "C1.C2.n19-1" (G P) (A ("C1.C1.C1.C2.C1.C1.n4" (G P)) ("C1.C1.C1.C2.C2.C1.n15" (G P)) ("C1.C1.C1.C2.C2.n4" (G P))))

(PN "C1.C2.n19-1" "C1.C2.n19-1")

(N "C2.C1.C1.C1.n17-1-1" (G P) (A ("C2.C1.C1.n1-2" (G P)) ("C2.C1.C2.C1.C1.n12-1" (G P)) ("C2.C2.C1.C2.C1.n1-1" (G P))))

(PN "C2.C1.C1.C1.n17-1-1" "C2.C1.C1.C1.n17-1-1")

(N "C1.C1.C1.C1.n17-2" (G P) (A ("C1.C1.C1.n1-2" (G P)) ("C1.C1.C2.C1.C1.n12-1" (G P)) ("C1.C2.C1.C2.C1.n1-1" (G P))))

(PN "C1.C1.C1.C1.n17-2" "C1.C1.C1.C1.n17-2")

(N "C2.C1.C1.n1-1-2" (G P) (A ("C2.C1.C2.C2.C1.C1.n12" (G P)) ("C2.C1.C2.C2.C1.n1" (G P)) ("C2.C2.C1.C1.n17-2" (G P))))

(PN "C2.C1.C1.n1-1-2" "C2.C1.C1.n1-1-2")

(N "C1.C1.C1.n1-1-2" (G P) (A ("C1.C1.C2.C2.C1.C1.n12" (G P)) ("C1.C1.C2.C2.C1.n1" (G P)) ("C1.C2.C1.C1.n17-2" (G P))))

(PN "C1.C1.C1.n1-1-2" "C1.C1.C1.n1-1-2")

(N "C2.C2.n22-1" (G P) (A ("C2.C1.C1.C1.C2.C2.n17" (G P)) ("C2.C1.C1.C2.C2.n6" (G P)) ("C2.C1.C1.C2.n6-1-1" (G P))))

(PN "C2.C2.n22-1" "C2.C2.n22-1")

(N "C1.C2.n22-1" (G P) (A ("C1.C1.C1.C1.C2.C2.n17" (G P)) ("C1.C1.C1.C2.C2.n6" (G P)) ("C1.C1.C1.C2.n6-1-1" (G P))))

(PN "C1.C2.n22-1" "C1.C2.n22-1")

(N "C2.C1.P" (G P) (A ("C2.n12-1" (G P)) ("C2.C2.n17" (G P)) ("C2.C2.n9" (G P)) ("C2.C2.C1.n1" (G P)) ("C2.C1.C1.C1.C1.n3-2" (G P)) ("C2.C1.C1.n4-1-2" (G P)) ("C2.C1.C2.C1.C2.n10" (G P)) ("C2.C1.C2.C2.C2.n11" (G P)) ("C2.C1.C2.n10-1" (G P)) ("C2.C2.C1.C1.C1.n1" (G P)) ("C2.C2.C1.C1.C2.C1.n2" (G P)) ("C2.C2.C1.C1.C2.C2.n9" (G P)) ("C2.C2.C1.C1.C2.n12" (G P)) ("C2.C2.C1.C1.n3" (G P)) ("C2.C2.C2.C1.C2.C1.n4" (G P)) ("C2.C2.C2.C1.n1-1-1" (G P)) ("C2.C2.C2.C1.n2-1-2" (G P)) ("C2.C2.C2.n11-1" (G P)) ("C2.C2.C2.n17-1-1" (G P))))

(PN "C2.C1.P" "C2.C1.P")

(N "C1.C1.P" (G P) (A ("C1.n12-1" (G P)) ("C1.C2.n17" (G P)) ("C1.C2.n9" (G P)) ("C1.C1.C2.n10" (G P)) ("C1.C2.C1.n1" (G P)) ("C1.C2.C2.n11" (G P)) ("C1.C1.C1.C1.C1.n3-2" (G P)) ("C1.C1.C1.n4-1-2" (G P)) ("C1.C1.C2.C1.C2.n10" (G P)) ("C1.C1.C2.C2.C2.n11" (G P)) ("C1.C2.C1.C1.C1.n1" (G P)) ("C1.C2.C1.C1.C2.C1.n2" (G P)) ("C1.C2.C1.C1.C2.C2.n9" (G P)) ("C1.C2.C1.C1.C2.n12" (G P)) ("C1.C2.C1.C1.n3" (G P)) ("C1.C2.C2.C1.C2.C1.n4" (G P)) ("C1.C2.C2.C1.n1-1-1" (G P)) ("C1.C2.C2.C1.n2-1-2" (G P)) ("C1.C2.C2.n17-1-1" (G P))))

(PN "C1.C1.P" "C1.C1.P")

(N "C2.C1.C1.C1.C2.C1.n2" (G P) (A ("C2.C1.C1.C1.n2-1-1" (G P)) ("C2.C1.C1.C2.C1.C1.n13" (G P)) ("C2.C1.C1.n18-1" (G P))))

(PN "C2.C1.C1.C1.C2.C1.n2" "C2.C1.C1.C1.C2.C1.n2")

(N "C1.C1.C1.C1.C2.C1.n2" (G P) (A ("C1.C1.C1.C1.n2-1-1" (G P)) ("C1.C1.C1.C2.C1.C1.n13" (G P)) ("C1.C1.C1.n18-2" (G P))))

(PN "C1.C1.C1.C1.C2.C1.n2" "C1.C1.C1.C1.C2.C1.n2")

(N "C2.C1.C1.C2.C1.C1.n12" (G P) (A ("C2.C1.C1.C2.C1.n1" (G P)) ("C2.C1.C1.n17-2" (G P)) ("C2.C1.C2.C1.n1-1-2" (G P))))

(PN "C2.C1.C1.C2.C1.C1.n12" "C2.C1.C1.C2.C1.C1.n12")

(N "C1.C1.C1.C2.C1.C1.n12" (G P) (A ("C1.C1.C1.C2.C1.n1" (G P)) ("C1.C1.C1.n17-1-1" (G P)) ("C1.C1.C2.C1.n1-1-2" (G P))))

(PN "C1.C1.C1.C2.C1.C1.n12" "C1.C1.C1.C2.C1.C1.n12")

(N "C2.C1.n20-1" (G P) (A ("C2.C1.C1.C1.C1.C1.n3" (G P)) ("C2.C1.C1.C2.C1.C1.n14" (G P)) ("C2.C1.C1.C2.C1.n3" (G P))))

(PN "C2.C1.n20-1" "C2.C1.n20-1")

(N "C1.C1.n20-1" (G P) (A ("C1.C1.C1.C1.C1.C1.n3" (G P)) ("C1.C1.C1.C2.C1.C1.n14" (G P)) ("C1.C1.C1.C2.C1.n3" (G P))))

(PN "C1.C1.n20-1" "C1.C1.n20-1")

(N "C2.C1.n21-1" (G P) (A ("C2.C1.C1.C2.C1.n5" (G P)) ("C2.C1.C1.C2.C1.n5-1" (G P)) ("C2.C1.C2.C1.C1.n16" (G P))))

(PN "C2.C1.n21-1" "C2.C1.n21-1")

(N "C1.C1.n21-1" (G P) (A ("C1.C1.C1.C2.C1.n5" (G P)) ("C1.C1.C1.C2.C1.n5-1" (G P)) ("C1.C1.C2.C1.C1.n16" (G P))))

(PN "C1.C1.n21-1" "C1.C1.n21-1")

(N "C2.C1.C2.C1.C1.C1.n4" (G P) (A ("C2.C1.C2.C2.C1.C1.n15" (G P)) ("C2.C1.C2.C2.C1.n4" (G P)) ("C2.C2.C1.n19-1" (G P))))

(PN "C2.C1.C2.C1.C1.C1.n4" "C2.C1.C2.C1.C1.C1.n4")

(N "C1.C1.C2.C1.C1.C1.n4" (G P) (A ("C1.C1.C2.C2.C1.C1.n15" (G P)) ("C1.C1.C2.C2.C1.n4" (G P)) ("C1.C2.C1.n19-1" (G P))))

(PN "C1.C1.C2.C1.C1.C1.n4" "C1.C1.C2.C1.C1.C1.n4")

(N "C2.C1.G" (G P) (A ("C2.C1.n8" (G P)) ("C2.C2.n12" (G P)) ("C2.C2.n3" (G P)) ("C2.C2.n8" (G P)) ("C2.C1.C1.C1.C1.n6" (G P)) ("C2.C1.C1.C2.C1.n7" (G P)) ("C2.C1.C1.C2.C2.n8" (G P)) ("C2.C1.C2.C1.C2.n7" (G P)) ("C2.C2.C1.C1.C1.C2.n3" (G P)) ("C2.C2.C1.C1.C1.n8" (G P)) ("C2.C2.C1.C1.n5-1-1-1" (G P)) ("C2.C2.C1.C1.n6" (G P)) ("C2.C2.C1.C2.C2.C2.n6" (G P)) ("C2.C2.C1.C2.n7-1" (G P)) ("C2.C2.C1.n8-1" (G P)) ("C2.C2.C2.C1.C2.C1.n5" (G P)) ("C2.C2.C2.C1.n7" (G P)) ("C2.C2.C2.n12-1" (G P)) ("C2.C2.C2.n6-1-2" (G P))))

(PN "C2.C1.G" "C2.C1.G")

(N "C1.C1.G" (G P) (A ("C1.C1.n8" (G P)) ("C1.C2.n12" (G P)) ("C1.C2.n3" (G P)) ("C1.C2.n8" (G P)) ("C1.C2.C2.n6" (G P)) ("C1.C1.C1.C1.C1.n6" (G P)) ("C1.C1.C1.C2.C1.n7" (G P)) ("C1.C1.C1.C2.C2.n8" (G P)) ("C1.C1.C2.C1.C2.n7" (G P)) ("C1.C2.C1.C1.C1.C2.n3" (G P)) ("C1.C2.C1.C1.C1.n8" (G P)) ("C1.C2.C1.C1.n5-1-1" (G P)) ("C1.C2.C1.C1.n6" (G P)) ("C1.C2.C1.C2.C2.C2.n6" (G P)) ("C1.C2.C1.C2.n7-1" (G P)) ("C1.C2.C1.n8-1" (G P)) ("C1.C2.C2.C1.C2.C1.n5" (G P)) ("C1.C2.C2.C1.n7" (G P)) ("C1.C2.C2.n12-1" (G P))))

(PN "C1.C1.G" "C1.C1.G")

(N "C2.C1.n19-1" (G P) (A ("C2.C1.C1.C1.C1.C1.n4" (G P)) ("C2.C1.C1.C2.C1.C1.n15" (G P)) ("C2.C1.C1.C2.C1.n4" (G P))))

(PN "C2.C1.n19-1" "C2.C1.n19-1")

(N "C1.C1.n19-1" (G P) (A ("C1.C1.C1.C1.C1.C1.n4" (G P)) ("C1.C1.C1.C2.C1.C1.n15" (G P)) ("C1.C1.C1.C2.C1.n4-2" (G P))))

(PN "C1.C1.n19-1" "C1.C1.n19-1")

(N "C2.C1.C1.C1.n5-1-1" (G P) (A ("C2.C1.C2.C1.n16" (G P)) ("C2.C1.C2.C2.C1.n5" (G P)) ("C2.C2.C1.n21-1" (G P))))

(PN "C2.C1.C1.C1.n5-1-1" "C2.C1.C1.C1.n5-1-1")

(N "C1.C1.C1.C1.n5-1-1" (G P) (A ("C1.C1.C2.C1.n16" (G P)) ("C1.C1.C2.C2.C1.n5" (G P)) ("C1.C2.C1.n21-1" (G P))))

(PN "C1.C1.C1.C1.n5-1-1" "C1.C1.C1.C1.n5-1-1")

(N "C2.C1.n22-1" (G P) (A ("C2.C1.C1.C1.C2.C1.n17" (G P)) ("C2.C1.C1.C2.C1.n6" (G P)) ("C2.C1.C2.C1.n6-1-2" (G P))))

(PN "C2.C1.n22-1" "C2.C1.n22-1")

(N "C1.C1.n22-1" (G P) (A ("C1.C1.C1.C1.C2.C1.n17" (G P)) ("C1.C1.C1.C2.C1.n6" (G P)) ("C1.C1.C2.C1.n6-1-2" (G P))))

(PN "C1.C1.n22-1" "C1.C1.n22-1")

(N "C2.C1.C2.C1.n18-1" (G P) (A ("C2.C1.C2.C2.C1.n13-1" (G P)) ("C2.C1.C2.C2.n2-1" (G P))))

(PN "C2.C1.C2.C1.n18-1" "C2.C1.C2.C1.n18-1")

(N "C1.C1.C2.C1.n18" (G P) (A ("C1.C1.C2.C2.C1.n13-1" (G P)) ("C1.C1.C2.C2.n2-1" (G P))))

(PN "C1.C1.C2.C1.n18" "C1.C1.C2.C1.n18")

(N "C2.C1.n18-1" (G P) (A ("C2.C1.C1.C2.C1.n13-1" (G P)) ("C2.C1.C1.C2.n2-1" (G P))))

(PN "C2.C1.n18-1" "C2.C1.n18-1")

(N "C1.C1.n18-1" (G P) (A ("C1.C1.C1.C2.C1.n13-1" (G P)) ("C1.C1.C1.C2.n2-1" (G P))))

(PN "C1.C1.n18-1" "C1.C1.n18-1")

(N "C2.C1.C1.C2.C2.C1.n17" (G P) (A ("C2.C1.C1.n6-1-2" (G P)) ("C2.C1.C2.C2.C1.n6" (G P)) ("C2.C2.C1.n22-1" (G P))))

(PN "C2.C1.C1.C2.C2.C1.n17" "C2.C1.C1.C2.C2.C1.n17")

(N "C1.C1.C1.C2.C2.C1.n17" (G P) (A ("C1.C1.C1.n6-1-2" (G P)) ("C1.C1.C2.C2.C1.n6" (G P)) ("C1.C2.C1.n22-1" (G P))))

(PN "C1.C1.C1.C2.C2.C1.n17" "C1.C1.C1.C2.C2.C1.n17")

(N "C2.C1.n17-1" (G P) (A ("C2.C1.C1.C2.C1.n12-1" (G P)) ("C2.C1.C1.C2.n1-1-2" (G P)) ("C2.C1.C2.n1-1-1" (G P))))

(PN "C2.C1.n17-1" "C2.C1.n17-1")

(N "C1.C1.n17-1" (G P) (A ("C1.C1.C1.C2.C1.n12-1" (G P)) ("C1.C1.C1.C2.n1-1-2" (G P)) ("C1.C1.C2.n1-1-1-2" (G P))))

(PN "C1.C1.n17-1" "C1.C1.n17-1")

(N "C2.C1.C2.C1.n17" (G P) (A ("C2.C1.C2.C2.C1.n12-1" (G P)) ("C2.C1.C2.C2.n1-1" (G P)) ("C2.C1.C2.n1-2" (G P))))

(PN "C2.C1.C2.C1.n17" "C2.C1.C2.C1.n17")

(N "C1.C1.C2.C1.n17" (G P) (A ("C1.C1.C2.C2.C1.n12-1" (G P)) ("C1.C1.C2.C2.n1-1" (G P)) ("C1.C1.C2.n1-2" (G P))))

(PN "C1.C1.C2.C1.n17" "C1.C1.C2.C1.n17")

(N "C2.n20-1" (G P) (A ("C2.C1.C1.C1.C1.n3-1" (G P)) ("C2.C1.C1.C2.C1.n14-1" (G P)) ("C2.C2.C1.C1.C2.n3-1" (G P))))

(PN "C2.n20-1" "C2.n20-1")

(N "C1.n20-1" (G P) (A ("C1.C1.C1.C1.C1.n3-1" (G P)) ("C1.C1.C1.C2.C1.n14-1" (G P)) ("C1.C2.C1.C1.C2.n3-1" (G P))))

(PN "C1.n20-1" "C1.n20-1")

(N "C2.C1.C1.C2.n16-1" (G P) (A ("C2.C1.C2.C2.n5-1" (G P)) ("C2.C1.C2.n21-1" (G P))))

(PN "C2.C1.C1.C2.n16-1" "C2.C1.C1.C2.n16-1")

(N "C1.C1.C1.C2.n16-1" (G P) (A ("C1.C1.C2.C2.n5-1" (G P)) ("C1.C1.C2.n21-1" (G P))))

(PN "C1.C1.C1.C2.n16-1" "C1.C1.C1.C2.n16-1")

(N "C2.n21-1" (G P) (A ("C2.C1.C1.C2.n5-1" (G P)) ("C2.C1.C2.C1.n16-1" (G P))))

(PN "C2.n21-1" "C2.n21-1")

(N "C1.n21-1" (G P) (A ("C1.C1.C1.C2.n5-1" (G P)) ("C1.C1.C2.C1.n16-1" (G P))))

(PN "C1.n21-1" "C1.n21-1")

(N "C2.C1.C2.C1.C1.n3-1" (G P) (A ("C2.C1.C2.C2.C1.n14-1" (G P)) ("C2.C1.C2.n20-1" (G P)) ("C2.C2.C1.C2.C2.n3-1" (G P))))

(PN "C2.C1.C2.C1.C1.n3-1" "C2.C1.C2.C1.C1.n3-1")

(N "C1.C1.C2.C1.C1.n3-1" (G P) (A ("C1.C1.C2.C2.C1.n14-1" (G P)) ("C1.C1.C2.n20-1" (G P)) ("C1.C2.C1.C2.C2.n3-1" (G P))))

(PN "C1.C1.C2.C1.C1.n3-1" "C1.C1.C2.C1.C1.n3-1")

(N "C2.n19-1" (G P) (A ("C2.C1.C1.C1.C1.n4-1" (G P)) ("C2.C1.C1.C2.C1.n15-1" (G P)) ("C2.C2.C1.C1.C2.n4-1" (G P))))

(PN "C2.n19-1" "C2.n19-1")

(N "C1.n19-1" (G P) (A ("C1.C1.C1.C1.C1.n4-1" (G P)) ("C1.C1.C1.C2.C1.n15-1" (G P)) ("C1.C2.C1.C1.C2.n4-1" (G P))))

(PN "C1.n19-1" "C1.n19-1")

(N "C2.C1.C2.C1.C1.n4-1" (G P) (A ("C2.C1.C2.C2.C1.n15-1" (G P)) ("C2.C1.C2.C2.n4-1" (G P)) ("C2.C1.C2.n19-1" (G P))))

(PN "C2.C1.C2.C1.C1.n4-1" "C2.C1.C2.C1.C1.n4-1")

(N "C1.C1.C2.C1.C1.n4-1" (G P) (A ("C1.C1.C2.C2.C1.n15-1" (G P)) ("C1.C1.C2.C2.n4-1" (G P)) ("C1.C1.C2.n19-1" (G P))))

(PN "C1.C1.C2.C1.C1.n4-1" "C1.C1.C2.C1.C1.n4-1")

(N "C2.n22-1" (G P) (A ("C2.C1.C1.C2.n17-1" (G P)) ("C2.C1.C1.C2.n6-1" (G P)) ("C2.C1.C1.C2.n6-2" (G P))))

(PN "C2.n22-1" "C2.n22-1")

(N "C1.n22-1" (G P) (A ("C1.C1.C1.C2.n17-1" (G P)) ("C1.C1.C1.C2.n6-1" (G P)) ("C1.C1.C1.C2.n6-2" (G P))))

(PN "C1.n22-1" "C1.n22-1")

(N "C2.C1.C1.C1.n18-2" (G P) (A ("C2.C1.C2.C1.C1.n13-1" (G P)) ("C2.C1.C2.C1.n2-1" (G P)) ("C2.C1.C2.C1.n2-2" (G P))))

(PN "C2.C1.C1.C1.n18-2" "C2.C1.C1.C1.n18-2")

(N "C1.C1.C1.C1.n18-2" (G P) (A ("C1.C1.C2.C1.C1.n13-1" (G P)) ("C1.C1.C2.C1.n2-1" (G P)) ("C1.C1.C2.C1.n2-2" (G P))))

(PN "C1.C1.C1.C1.n18-2" "C1.C1.C1.C1.n18-2")

(N "C2.C2.C1.C1.C1.n18" (G P) (A ("C2.C2.C2.C1.C1.n13-1" (G P)) ("C2.C2.C2.C1.n2-1-3" (G P)) ("C2.C2.C2.C1.n2-2" (G P))))

(PN "C2.C2.C1.C1.C1.n18" "C2.C2.C1.C1.C1.n18")

(N "C1.C2.C1.C1.C1.n18" (G P) (A ("C1.C2.C2.C1.C1.n13-1" (G P)) ("C1.C2.C2.C1.n2-1-3" (G P)) ("C1.C2.C2.C1.n2-2" (G P))))

(PN "C1.C2.C1.C1.C1.n18" "C1.C2.C1.C1.C1.n18")

(N "C2.C2.C1.C1.n20" (G P) (A ("C2.C2.C2.C1.C1.n14-1" (G P)) ("C2.C2.C2.C1.n3-1-1" (G P)) ("C2.C2.C2.n3-1-1" (G P))))

(PN "C2.C2.C1.C1.n20" "C2.C2.C1.C1.n20")

(N "C1.C2.C1.C1.n20" (G P) (A ("C1.C2.C2.C1.C1.n14-1" (G P)) ("C1.C2.C2.C1.n3-1" (G P)) ("C1.C2.C2.n3-1-1" (G P))))

(PN "C1.C2.C1.C1.n20" "C1.C2.C1.C1.n20")

(N "C2.C2.C1.C1.C1.n17" (G P) (A ("C2.C2.C1.n1-2" (G P)) ("C2.C2.C2.C1.C1.n12-1" (G P)) ("C2.C2.C2.C2.C1.n1-1" (G P))))

(PN "C2.C2.C1.C1.C1.n17" "C2.C2.C1.C1.C1.n17")

(N "C1.C2.C1.C1.C1.n17" (G P) (A ("C1.C2.C1.n1-2" (G P)) ("C1.C2.C2.C1.C1.n12-1" (G P)) ("C1.C2.C2.C2.C1.n1-1" (G P))))

(PN "C1.C2.C1.C1.C1.n17" "C1.C2.C1.C1.C1.n17")

(N "C2.C2.P" (G P) (A ("C2.C1.n12" (G P)) ("C2.C2.n1" (G P)) ("C2.C1.C1.C1.C2.n1" (G P)) ("C2.C1.C1.C1.C2.n18" (G P)) ("C2.C1.C1.C1.n9" (G P)) ("C2.C1.C1.C2.n5" (G P)) ("C2.C1.C1.n11-1" (G P)) ("C2.C1.C2.C1.n12" (G P)) ("C2.C1.C2.C2.n8-1" (G P)) ("C2.C2.C1.C1.C2.C2.n17" (G P)) ("C2.C2.C1.C1.n11" (G P)) ("C2.C2.C1.C2.C2.n16" (G P)) ("C2.C2.C1.C2.C2.n8" (G P)) ("C2.C2.C1.C2.n16-1" (G P)) ("C2.C2.C1.C2.n18" (G P)) ("C2.C2.C1.n10-1" (G P)) ("C2.C2.C2.C1.C1.C2.n5" (G P)) ("C2.C2.C2.C1.C2.n7-1" (G P)) ("C2.C2.C2.C1.n10" (G P)) ("C2.C2.C2.C2.C2.C2.n6" (G P)) ("C2.C2.C2.C2.n17-1-1" (G P)) ("C2.C2.C2.C2.n6" (G P))))

(PN "C2.C2.P" "C2.C2.P")

(N "C1.C2.P" (G P) (A ("C1.C1.n12" (G P)) ("C1.C2.n1" (G P)) ("C1.C1.C1.n11" (G P)) ("C1.C2.C1.n10" (G P)) ("C1.C1.C1.C1.C2.n1" (G P)) ("C1.C1.C1.C1.C2.n18" (G P)) ("C1.C1.C1.C1.n9" (G P)) ("C1.C1.C1.C2.n5" (G P)) ("C1.C1.C2.C1.n12" (G P)) ("C1.C1.C2.C2.n8-1" (G P)) ("C1.C2.C1.C1.C2.C2.n17" (G P)) ("C1.C2.C1.C1.n11" (G P)) ("C1.C2.C1.C2.C2.n16" (G P)) ("C1.C2.C1.C2.C2.n8" (G P)) ("C1.C2.C1.C2.n16-1" (G P)) ("C1.C2.C1.C2.n18" (G P)) ("C1.C2.C2.C1.C1.C2.n5" (G P)) ("C1.C2.C2.C1.C2.n7" (G P)) ("C1.C2.C2.C1.n10" (G P)) ("C1.C2.C2.C2.C2.C2.n6" (G P)) ("C1.C2.C2.C2.n17-2" (G P)) ("C1.C2.C2.C2.n6" (G P))))

(PN "C1.C2.P" "C1.C2.P")

(N "C2.C2.C1.C1.n21" (G P) (A ("C2.C2.C1.n16-1-1" (G P)) ("C2.C2.C1.n5-2-1" (G P)) ("C2.C2.C2.C1.n5-1" (G P))))

(PN "C2.C2.C1.C1.n21" "C2.C2.C1.C1.n21")

(N "C1.C2.C1.C1.n21" (G P) (A ("C1.C2.C1.n16-1-1" (G P)) ("C1.C2.C1.n5-2-1" (G P)) ("C1.C2.C2.C1.n5-1" (G P))))

(PN "C1.C2.C1.C1.n21" "C1.C2.C1.C1.n21")

(N "C2.C2.C1.C1.n22" (G P) (A ("C2.C2.C1.n6-2" (G P)) ("C2.C2.C2.C1.n17-1" (G P)) ("C2.C2.C2.C2.C1.n6-1-2" (G P))))

(PN "C2.C2.C1.C1.n22" "C2.C2.C1.C1.n22")

(N "C1.C2.C1.C1.n22" (G P) (A ("C1.C2.C1.n6-2" (G P)) ("C1.C2.C2.C1.n17-1" (G P)) ("C1.C2.C2.C2.C1.n6-1" (G P))))

(PN "C1.C2.C1.C1.n22" "C1.C2.C1.C1.n22")

(N "C2.C2.C1.C1.n19" (G P) (A ("C2.C2.C2.C1.C1.n15-1" (G P)) ("C2.C2.C2.C2.C1.n4-1" (G P)) ("C2.C2.C2.n4-1-1" (G P))))

(PN "C2.C2.C1.C1.n19" "C2.C2.C1.C1.n19")

(N "C1.C2.C1.C1.n19" (G P) (A ("C1.C2.C2.C1.C1.n15-1" (G P)) ("C1.C2.C2.C2.C1.n4-1" (G P)) ("C1.C2.C2.n4-1-1" (G P))))

(PN "C1.C2.C1.C1.n19" "C1.C2.C1.C1.n19")

(N "C2.C1.C2.C2.C1.n18" (G P) (A ("C2.C2.C1.C2.C2.C1.n13" (G P)) ("C2.C2.C1.C2.C2.n2" (G P))))

(PN "C2.C1.C2.C2.C1.n18" "C2.C1.C2.C2.C1.n18")

(N "C1.C1.C2.C2.C1.n18" (G P) (A ("C1.C2.C1.C2.C2.C1.n13" (G P)) ("C1.C2.C1.C2.C2.n2" (G P))))

(PN "C1.C1.C2.C2.C1.n18" "C1.C1.C2.C2.C1.n18")

(N "C2.C1.C2.C2.n20" (G P) (A ("C2.C2.C1.C2.C1.C1.n3" (G P)) ("C2.C2.C1.C2.C2.C1.n14" (G P)) ("C2.C2.C1.C2.C2.n3" (G P))))

(PN "C2.C1.C2.C2.n20" "C2.C1.C2.C2.n20")

(N "C1.C1.C2.C2.n20" (G P) (A ("C1.C2.C1.C2.C1.C1.n3" (G P)) ("C1.C2.C1.C2.C2.C1.n14" (G P)) ("C1.C2.C1.C2.C2.n3" (G P))))

(PN "C1.C1.C2.C2.n20" "C1.C1.C2.C2.n20")

(N "C2.n6" (G P) (A ("C2.C1.C1.C1.C1.n13-1" (G P)) ("C2.C1.C1.C1.n2-1" (G P)) ("C2.C1.C1.C1.n2-2" (G P))))

(PN "C2.n6" "C2.n6")

(N "C1.n6" (G P) (A ("C1.C1.C1.C1.C1.n13-1" (G P)) ("C1.C1.C1.C1.n2-1-2" (G P)) ("C1.C1.C1.C1.n2-2" (G P))))

(PN "C1.n6" "C1.n6")

(N "VDD" (G P) (A ("C1.n7" (G P)) ("C2.n5" (G P)) ("C1.C1.VDD" (G P)) ("C1.C2.VDD" (G P)) ("C2.C1.VDD" (G P)) ("C2.C2.VDD" (G P)) ("C2.C1.C2.n4" (G P)) ("C2.C1.C2.n5" (G P)) ("C1.C1.C1.C2.n3-1" (G P)) ("C1.C1.C1.C2.n4" (G P)) ("C1.C2.C1.C2.n3-1" (G P)) ("C2.C1.C1.C1.C2.n5" (G P)) ("C2.C1.C1.C2.n3" (G P))))

(PN "VDD" "VDD")

(N "GND" (G P) (A ("n8" (G P)) ("C2.n4" (G P)) ("C1.C1.GND" (G P)) ("C1.C2.GND" (G P)) ("C2.C1.GND" (G P)) ("C2.C2.GND" (G P)) ("C1.C1.n7" (G P)) ("C2.C1.n7" (G P)) ("C2.C2.n4" (G P)) ("C1.C1.C2.n2" (G P)) ("C1.C1.C2.n7" (G P)) ("C1.C2.C2.n7" (G P)) ("C2.C1.C2.n3" (G P)) ("C2.C2.C2.n7" (G P)) ("C1.C1.C1.C2.n3-2" (G P)) ("C1.C1.C1.C2.n4-1" (G P)) ("C1.C2.C1.C2.n4-1" (G P)) ("C2.C1.C1.C2.n4" (G P)) ("C2.C2.C1.C1.C2.n2" (G P))))

(PN "GND" "GND")

(N "C2.C2.C2.C1.C2.n9" (G P) (A ("C2.C2.C2.C2.C1.C1.n2" (G P)) ("C2.C2.C2.C2.C1.n3-1-2" (G P)) ("C2.C2.C2.C2.C2.C1.n1" (G P)) ("C2.C2.C2.C2.C2.C2.n15" (G P)) ("C2.C2.C2.C2.n8-1" (G P))))

(N "C2.C2.C2.C2.C1.C1.n10" (G P) (A ("C2.C2.C2.C2.C1.C2.n11" (G P)) ("C2.C2.C2.C2.C1.n11-1" (G P)) ("C2.C2.C2.C2.C1.n9" (G P)) ("C2.C2.C2.C2.C2.C2.n10" (G P)) ("C2.C2.C2.C2.C2.n7-1" (G P))))

(N "C2.C2.C2.C2.C2.C1.n11" (G P) (A ("C2.C2.C2.C2.C2.C2.n7" (G P))))

(N "C2.C2.C2.C2.C2.C1.n6" (G P) (A ("C2.C2.C2.C2.C2.C2.n14" (G P))))

(N "C2.C2.C2.C2.C1.C1.n11" (G P) (A ("C2.C2.C2.C2.C1.C2.n7" (G P)) ("C2.C2.C2.C2.C2.C1.n10" (G P)) ("C2.C2.C2.C2.C2.C2.n11" (G P))))

(N "C2.C2.C2.C2.C2.C1.n3" (G P) (A ("C2.C2.C2.C2.C2.C2.n8" (G P))))

(N "C2.C2.C2.C1.C2.C1.n3" (G P) (A ("C2.C2.C2.C2.C1.C2.n8" (G P)) ("C2.C2.C2.C2.C2.C1.n2" (G P)) ("C2.C2.C2.C2.C2.n9" (G P))))

(N "C2.C1.C2.C2.C1.n6-1" (G P) (A ("C2.C2.C2.C1.C2.n13" (G P)) ("C2.C2.C2.C2.C1.C1.n7" (G P)) ("C2.C2.C2.C2.C2.C1.n8" (G P)) ("C2.C2.C2.C2.C2.C2.n12" (G P)) ("C2.C2.C2.C2.C2.n14-1" (G P))))

(N "C2.C2.C2.C1.C2.n14" (G P) (A ("C2.C2.C2.C2.C1.C1.n6" (G P)) ("C2.C2.C2.C2.C2.C1.n7" (G P)) ("C2.C2.C2.C2.C2.C2.n13" (G P))))

(N "C1.C1.C1.C1.C1.n10-1" (G P) (A ("C1.C1.C1.C1.C2.C1.n18" (G P)) ("C1.C1.C1.C1.C2.n8-1" (G P)) ("C1.C1.C2.n9-1" (G P))))

(N "C1.C1.C1.C1.C1.n1-1" (G P) (A ("C1.C1.C1.C1.C2.n13-1" (G P)) ("C1.C1.C1.C2.C1.n4-1" (G P))))

(N "C1.C1.C1.C2.n18-1" (G P) (A ("C1.C1.C1.n9-1" (G P))))

(N "C1.C1.C1.C1.n18-1" (G P))

(N "C1.C1.C1.C1.C1.n8-1" (G P) (A ("C1.C1.C1.C1.C2.n14-1" (G P)) ("C1.C1.C2.C1.n5-2" (G P))))

(N "C1.C1.C1.C1.C1.n7-1" (G P) (A ("C1.C1.C1.C1.C2.n15-1" (G P)) ("C1.C1.C1.C2.C1.C1.n5" (G P)) ("C1.C1.C1.C2.C1.n8-1" (G P)) ("C1.C1.C1.C2.C2.n14-1" (G P))))

(N "C1.C1.C1.C1.C1.n2-1" (G P) (A ("C1.C1.C1.C1.C2.C1.n4" (G P)) ("C1.C1.C1.C1.C2.n12-1" (G P)) ("C1.C1.C1.C2.C1.n1-1-1" (G P)) ("C1.C1.C1.C2.C2.n13-1" (G P))))

(N "C1.C1.C1.C1.n4-1-1-2" (G P))

(N "C1.C1.C1.C1.C1.n5-1" (G P))

(N "C1.C2.C2.C2.C1.C1.n11" (G P) (A ("C1.C2.C2.C2.C1.C2.n7" (G P)) ("C1.C2.C2.C2.C2.C1.n10" (G P)) ("C1.C2.C2.C2.C2.C2.n11" (G P)) ("C2.C1.C1.C2.n18-1" (G P)) ("C2.C1.C1.n9-1" (G P))))

(N "C1.C2.C2.C2.C2.C1.n11" (G P) (A ("C1.C2.C2.C2.C2.C2.n7" (G P)) ("C2.C1.C1.C1.C1.n10-1" (G P)) ("C2.C1.C1.C1.C2.C1.n18" (G P)) ("C2.C1.C1.C1.C2.n8-1" (G P)) ("C2.C1.C2.n9-1" (G P))))

(N "C1.C2.C2.C2.C2.C1.n6" (G P) (A ("C1.C2.C2.C2.C2.C2.n14" (G P)) ("C2.C1.C1.C1.C1.n7-1" (G P)) ("C2.C1.C1.C1.C2.n15-1" (G P)) ("C2.C1.C1.C2.C1.C1.n5" (G P)) ("C2.C1.C1.C2.C1.n8-1" (G P)) ("C2.C1.C1.C2.C2.n14-1" (G P))))

(N "C1.C2.C2.C2.C1.C1.n10" (G P) (A ("C1.C2.C2.C2.C1.C2.n11" (G P)) ("C1.C2.C2.C2.C1.n11-1" (G P)) ("C1.C2.C2.C2.C1.n9" (G P)) ("C1.C2.C2.C2.C2.C2.n10" (G P)) ("C1.C2.C2.C2.C2.n7-1" (G P)) ("C2.C1.C1.C1.n18-1" (G P))))

(N "C1.C1.C2.C2.C1.n6-1" (G P) (A ("C1.C2.C2.C1.C2.n13" (G P)) ("C1.C2.C2.C2.C1.C1.n7" (G P)) ("C1.C2.C2.C2.C2.C1.n8" (G P)) ("C1.C2.C2.C2.C2.C2.n12" (G P)) ("C1.C2.C2.C2.C2.n14-1" (G P)) ("C2.C1.C1.C1.C1.n5-1" (G P))))

(N "C1.C2.C2.C1.C2.n14" (G P) (A ("C1.C2.C2.C2.C1.C1.n6" (G P)) ("C1.C2.C2.C2.C2.C1.n7" (G P)) ("C1.C2.C2.C2.C2.C2.n13" (G P)) ("C2.C1.C1.C1.C1.n8-1" (G P)) ("C2.C1.C1.C1.C2.n14-1" (G P)) ("C2.C1.C2.C1.n5-2" (G P))))

(N "C1.C2.C2.C1.C2.n9" (G P) (A ("C1.C2.C2.C2.C1.C1.n2" (G P)) ("C1.C2.C2.C2.C1.n3-1" (G P)) ("C1.C2.C2.C2.C2.C1.n1" (G P)) ("C1.C2.C2.C2.C2.C2.n15" (G P)) ("C1.C2.C2.C2.n8-1" (G P)) ("C2.C1.C1.C1.n4-1-1" (G P))))

(N "C1.C2.C2.C1.C2.C1.n3" (G P) (A ("C1.C2.C2.C2.C1.C2.n8" (G P)) ("C1.C2.C2.C2.C2.C1.n2" (G P)) ("C1.C2.C2.C2.C2.n9" (G P)) ("C2.C1.C1.C1.C1.n1-1" (G P)) ("C2.C1.C1.C1.C2.n13-1" (G P)) ("C2.C1.C1.C2.C1.n4-1" (G P))))

(N "C1.C2.C2.C2.C2.C1.n3" (G P) (A ("C1.C2.C2.C2.C2.C2.n8" (G P)) ("C2.C1.C1.C1.C1.n2-1" (G P)) ("C2.C1.C1.C1.C2.C1.n4" (G P)) ("C2.C1.C1.C1.C2.n12-1" (G P)) ("C2.C1.C1.C2.C1.n1-1-1" (G P)) ("C2.C1.C1.C2.C2.n13-1" (G P))))

(CI "C1" "PWName-51" (G P) (t6 1 0 0 0 1 0) (CIC ("C2.C2.A" "C1.C2.C2.A") ("C2.C1.A" "C1.C2.C1.A") ("C1.C2.A" "C1.C1.C2.A") ("C1.C1.A" "C1.C1.C1.A") ("C2.C2.B" "C1.C2.C2.B") ("C2.C1.B" "C1.C2.C1.B") ("C1.C2.B" "C1.C1.C2.B") ("C1.C1.B" "C1.C1.C1.B") ("C2.C2.S" "C1.C2.C2.S") ("C2.C1.S" "C1.C2.C1.S") ("C1.C2.S" "C1.C1.C2.S") ("C1.C1.S" "C1.C1.C1.S") ("C1.C\'" "C1.C1.C\'") ("C1.n13" "C1.C1.n13") ("C2.C\'" "C1.C2.C\'") ("n12" "C1.C1.P") ("C1.G" "C1.C1.G") ("C2.P" "C1.C2.P") ("C2.C2.C1.C2.n14" "C1.C2.C2.C1.C2.n14") ("C1.C1.C1.C1.n5-1" "C1.C1.C1.C1.C1.n5-1") ("C1.C2.C2.C1.n6-1" "C1.C1.C2.C2.C1.n6-1") ("C2.C2.C1.C2.C1.n3" "C1.C2.C2.C1.C2.C1.n3") ("C2.C2.C2.C2.C1.n3" "C1.C2.C2.C2.C2.C1.n3") ("C2.C2.C2.C1.C1.n11" "C1.C2.C2.C2.C1.C1.n11") ("C1.C1.C1.n4-1-1" "C1.C1.C1.C1.n4-1-1-2") ("C1.C1.C1.C1.n2-1" "C1.C1.C1.C1.C1.n2-1") ("C1.C1.C1.C1.n7-1" "C1.C1.C1.C1.C1.n7-1") ("C2.C2.C2.C2.C1.n6" "C1.C2.C2.C2.C2.C1.n6") ("C2.C2.C2.C2.C1.n11" "C1.C2.C2.C2.C2.C1.n11") ("C1.C1.C1.C1.n8-1" "C1.C1.C1.C1.C1.n8-1") ("C2.C2.C2.C1.C1.n10" "C1.C2.C2.C2.C1.C1.n10") ("C2.C2.C1.C2.n9" "C1.C2.C2.C1.C2.n9") ("C1.C1.C1.n18-1" "C1.C1.C1.C1.n18-1") ("C1.C1.n9-1" "C1.C1.C1.C2.n18-1") ("C1.C1.C1.C1.n1-1" "C1.C1.C1.C1.C1.n1-1") ("C1.C2.n9-1" "C1.C1.C1.C1.C1.n10-1") ("C1.n2" "C1.C1.n2") ("C1.n5" "C1.C1.n5") ("C1.n3" "C1.C1.n3") ("C1.n4" "C1.C1.n4") ("C2.n7" "C1.C2.n7") ("n6" "C1.n6") ("n22" "C1.n22-1") ("n19" "C1.n19-1") ("n21" "C1.n21-1") ("n20" "C1.n20-1") ("C1.n17" "C1.C1.n17-1") ("C1.n18" "C1.C1.n18-1") ("C1.n22" "C1.C1.n22-1") ("C1.n19" "C1.C1.n19-1") ("C1.n21" "C1.C1.n21-1") ("C1.n20" "C1.C1.n20-1") ("C1.C1.n17" "C1.C1.C1.C2.C1.C1.n12") ("C1.C1.n18" "C1.C1.C1.C1.C2.C1.n2") ("C2.n22" "C1.C2.n22-1") ("C2.n19" "C1.C2.n19-1") ("C2.n21" "C1.C2.n21-1") ("C2.n20" "C1.C2.n20-1") ("C2.C1.n17" "C1.C1.C1.C2.C2.C1.n12") ("C2.C1.n18" "C1.C1.C1.C2.C2.C1.n13") ("C1.C1.n22" "C1.C1.C1.n22-1") ("C1.C1.n19" "C1.C1.C1.n19-1") ("C1.C1.n21" "C1.C1.C1.n16-1-1") ("C1.C1.n20" "C1.C1.C1.n20-1") ("C1.C1.n1-2" "C1.C1.C1.C1.n17-2") ("C1.C1.C1.n18" "C1.C1.C1.C1.n18-2") ("C1.C2.n22" "C1.C1.C2.C2.n17-1") ("C1.C2.n19" "C1.C1.C2.C1.C1.n4-1") ("C1.C2.n21" "C1.C1.C1.C2.n16-1") ("C1.C2.n20" "C1.C1.C2.C1.C1.n3-1") ("C1.C2.n1-2" "C1.C1.C2.C1.n17") ("C1.C2.C1.n18" "C1.C1.C2.C1.n18") ("C2.C1.n22" "C1.C1.C1.C2.C2.C1.n17") ("C2.C1.n19" "C1.C1.C2.C1.C1.C1.n4") ("C2.C1.n21" "C1.C1.C1.C1.n5-1-1") ("C2.C1.n20" "C1.C1.C2.C1.C1.C1.n3") ("C1.C1.n1-1" "C1.C1.C1.n1-1-2") ("C2.C1.C1.n18" "C1.C1.C2.C1.n2-1-1") ("C2.C2.n22" "C1.C1.C1.C2.C2.C2.n6") ("C2.C2.n19" "C1.C1.C2.C2.C1.C1.n4") ("C2.C2.n21" "C1.C1.C2.C2.C2.n5") ("C2.C2.n20" "C1.C1.C2.C2.C1.C1.n3") ("C1.C2.n1-1" "C1.C1.C2.C2.C2.C1.n12") ("C2.C2.C1.n18" "C1.C1.C2.C2.C2.C1.n13") ("C1.C1.C1.n22" "C1.C1.C1.C1.n22") ("C1.C1.C1.n19" "C1.C1.C1.C1.n19") ("C1.C1.C1.n21" "C1.C1.C1.C1.n21") ("C2.C1.n3-1" "C1.C1.C1.C1.n20") ("C1.C1.C1.C1.n17" "C1.C1.C1.C1.C1.n17") ("C1.C1.C1.C1.n18" "C1.C1.C1.C1.C1.n18") ("C1.C1.C2.n22" "C1.C1.C1.C2.n22") ("C1.C1.C2.n19" "C1.C1.C1.C2.n19") ("C1.C1.C2.n21" "C1.C1.C1.C2.n21") ("C1.C1.C2.n20" "C1.C1.C1.C2.n20") ("C2.C2.n1-1-1" "C1.C2.C1.C1.C2.C1.n17") ("C2.C1.C1.C2.C1.n18" "C1.C2.C1.C1.C2.C1.n18") ("C1.C2.C1.n22" "C1.C1.C2.C1.C2.C1.n17") ("C1.C2.C1.n19" "C1.C1.C2.C1.C2.C1.n4") ("C1.C2.C1.n21" "C1.C1.C2.C1.C2.C1.n5") ("C1.C2.C1.n20" "C1.C1.C2.C1.n20") ("C1.C2.C1.C1.n17" "C1.C1.C2.C1.C1.n17") ("C1.C2.C1.C1.n18" "C1.C1.C2.C1.C1.n18") ("C1.C2.C2.n22" "C1.C1.C2.C2.n22") ("C1.C2.C2.n19" "C1.C1.C2.C2.n19") ("C1.C2.C2.n21" "C1.C1.C2.C2.n21") ("C1.C2.C2.n20" "C1.C1.C2.C2.n20") ("C2.C1.C2.C2.C1.n12" "C1.C2.C1.C2.C2.C1.n12") ("C1.C2.C2.C1.n18" "C1.C1.C2.C2.C1.n18") ("C2.C1.n6-2" "C1.C2.C1.C1.n22") ("C2.C2.n4-1" "C1.C2.C1.C1.n19") ("C2.C1.C1.n21" "C1.C2.C1.C1.n21") ("C2.C1.C1.n20" "C1.C2.C1.C1.n20") ("C2.C1.n1-2" "C1.C2.C1.C1.C1.n17") ("C2.C1.C1.C1.n18" "C1.C2.C1.C1.C1.n18") ("VDD" "VDD") ("GND" "GND") ("C2.C1.C2.n22" "C1.C2.C1.C2.n22") ("C2.C1.C2.n19" "C1.C2.C1.C2.n19") ("C2.C1.C2.n21" "C1.C2.C1.C2.n21") ("C2.C1.C2.n20" "C1.C2.C1.C2.n20") ("C2.C2.n1-2" "C1.C2.C2.C1.C2.C1.n17") ("C2.C1.C2.C1.n18" "C1.C2.C1.C2.C1.n18") ("C2.C1.n6-1-3" "C1.C1.C2.C2.C2.C1.n17") ("C2.C2.C1.n19" "C1.C2.C2.C1.C1.C1.n4") ("C2.C1.n5-1" "C1.C2.C1.n5-1-2") ("C2.C2.C1.n20" "C1.C2.C2.C1.C1.C1.n3") ("C1.C2.C1.n1-1-1-1" "C1.C1.C2.C1.n1-1-1-1") ("C2.C2.C1.C1.n18" "C1.C2.C2.C1.C1.n18") ("C2.C2.C2.n22" "C1.C1.C2.C2.C2.C2.n6") ("C2.C2.C2.n19" "C1.C2.C2.C2.C1.C1.n4") ("C2.C2.C2.n16" "C1.C2.C2.C2.C2.n5") ("C2.C2.C2.n20" "C1.C2.C2.C2.C1.C1.n3") ("C2.C2.n1-1" "C1.C1.C2.C2.C2.C2.n1") ("C2.C2.C2.C1.n18" "C1.C2.C2.C2.C1.n18")))

(CI "C2" "PWName-51" (G P) (t6 1 0 2912 0 1 0) (CIC ("C2.C2.A" "C2.C2.C2.A") ("C2.C1.A" "C2.C2.C1.A") ("C1.C2.A" "C2.C1.C2.A") ("C1.C1.A" "C2.C1.C1.A") ("C2.C2.B" "C2.C2.C2.B") ("C2.C1.B" "C2.C2.C1.B") ("C1.C2.B" "C2.C1.C2.B") ("C1.C1.B" "C2.C1.C1.B") ("C2.C2.S" "C2.C2.C2.S") ("C2.C1.S" "C2.C2.C1.S") ("C1.C2.S" "C2.C1.C2.S") ("C1.C1.S" "C2.C1.C1.S") ("C1.C\'" "C2.C1.C\'") ("C1.n13" "C2.C1.n13") ("C2.C\'" "C2.C2.C\'") ("n12" "C2.C1.P") ("C1.G" "C2.C1.G") ("C2.P" "C2.C2.P") ("C2.C2.C1.C2.n14" "C2.C2.C2.C1.C2.n14") ("C1.C1.C1.C1.n5-1" "C1.C1.C2.C2.C1.n6-1") ("C1.C2.C2.C1.n6-1" "C2.C1.C2.C2.C1.n6-1") ("C2.C2.C1.C2.C1.n3" "C2.C2.C2.C1.C2.C1.n3") ("C2.C2.C2.C2.C1.n3" "C2.C2.C2.C2.C2.C1.n3") ("C2.C2.C2.C1.C1.n11" "C2.C2.C2.C2.C1.C1.n11") ("C1.C1.C1.n4-1-1" "C1.C2.C2.C1.C2.n9") ("C1.C1.C1.C1.n2-1" "C1.C2.C2.C2.C2.C1.n3") ("C1.C1.C1.C1.n7-1" "C1.C2.C2.C2.C2.C1.n6") ("C2.C2.C2.C2.C1.n6" "C2.C2.C2.C2.C2.C1.n6") ("C2.C2.C2.C2.C1.n11" "C2.C2.C2.C2.C2.C1.n11") ("C1.C1.C1.C1.n8-1" "C1.C2.C2.C1.C2.n14") ("C2.C2.C2.C1.C1.n10" "C2.C2.C2.C2.C1.C1.n10") ("C2.C2.C1.C2.n9" "C2.C2.C2.C1.C2.n9") ("C1.C1.C1.n18-1" "C1.C2.C2.C2.C1.C1.n10") ("C1.C1.n9-1" "C1.C2.C2.C2.C1.C1.n11") ("C1.C1.C1.C1.n1-1" "C1.C2.C2.C1.C2.C1.n3") ("C1.C2.n9-1" "C1.C2.C2.C2.C2.C1.n11") ("C1.n2" "C2.C1.n2") ("C1.n5" "C2.C1.n5") ("C1.n3" "C2.C1.n3") ("C1.n4" "C2.C1.n4") ("C2.n7" "C2.C2.n7-1") ("n6" "C2.n6") ("n22" "C2.n22-1") ("n19" "C2.n19-1") ("n21" "C2.n21-1") ("n20" "C2.n20-1") ("C1.n17" "C2.C1.n17-1") ("C1.n18" "C2.C1.n18-1") ("C1.n22" "C2.C1.n22-1") ("C1.n19" "C2.C1.n19-1") ("C1.n21" "C2.C1.n21-1") ("C1.n20" "C2.C1.n20-1") ("C1.C1.n17" "C2.C1.C1.C2.C1.C1.n12") ("C1.C1.n18" "C2.C1.C1.C1.C2.C1.n2") ("C2.n22" "C2.C2.n22-1") ("C2.n19" "C2.C2.n19-1") ("C2.n21" "C2.C2.n21-1") ("C2.n20" "C2.C2.n20-1") ("C2.C1.n17" "C2.C1.C1.C2.C2.C1.n12") ("C2.C1.n18" "C2.C1.C1.C2.C2.C1.n13") ("C1.C1.n22" "C2.C1.C1.n22-1") ("C1.C1.n19" "C2.C1.C1.n19-1") ("C1.C1.n21" "C2.C1.C1.n16-1-1") ("C1.C1.n20" "C2.C1.C1.n20-1") ("C1.C1.n1-2" "C2.C1.C1.C1.n17-1-1") ("C1.C1.C1.n18" "C2.C1.C1.C1.n18-2") ("C1.C2.n22" "C2.C1.C2.C2.n17-1") ("C1.C2.n19" "C2.C1.C2.C1.C1.n4-1") ("C1.C2.n21" "C2.C1.C1.C2.n16-1") ("C1.C2.n20" "C2.C1.C2.C1.C1.n3-1") ("C1.C2.n1-2" "C2.C1.C2.C1.n17") ("C1.C2.C1.n18" "C2.C1.C2.C1.n18-1") ("C2.C1.n22" "C2.C1.C1.C2.C2.C1.n17") ("C2.C1.n19" "C2.C1.C2.C1.C1.C1.n4") ("C2.C1.n21" "C2.C1.C1.C1.n5-1-1") ("C2.C1.n20" "C2.C1.C2.C1.C1.C1.n3") ("C1.C1.n1-1" "C2.C1.C1.n1-1-2") ("C2.C1.C1.n18" "C2.C1.C2.C1.n2-1-1") ("C2.C2.n22" "C2.C1.C1.C2.C2.C2.n6") ("C2.C2.n19" "C2.C1.C2.C2.C1.C1.n4") ("C2.C2.n21" "C2.C1.C2.C2.C2.n5") ("C2.C2.n20" "C2.C1.C2.C2.C1.C1.n3") ("C1.C2.n1-1" "C2.C1.C2.C2.C2.C1.n12") ("C2.C2.C1.n18" "C2.C1.C2.C2.C2.C1.n13") ("C1.C1.C1.n22" "C2.C1.C1.C1.n22") ("C1.C1.C1.n19" "C2.C1.C1.C1.n19") ("C1.C1.C1.n21" "C2.C1.C1.C1.n21") ("C2.C1.n3-1" "C2.C1.C1.C1.n20") ("C1.C1.C1.C1.n17" "C2.C1.C1.C1.C1.n17") ("C1.C1.C1.C1.n18" "C2.C1.C1.C1.C1.n18") ("C1.C1.C2.n22" "C2.C1.C1.C2.n22") ("C1.C1.C2.n19" "C2.C1.C1.C2.n19") ("C1.C1.C2.n21" "C2.C1.C1.C2.n21") ("C1.C1.C2.n20" "C2.C1.C1.C2.n20") ("C2.C2.n1-1-1" "C2.C2.C1.C1.C2.C1.n17") ("C2.C1.C1.C2.C1.n18" "C2.C2.C1.C1.C2.C1.n18") ("C1.C2.C1.n22" "C2.C1.C2.C1.C2.C1.n17") ("C1.C2.C1.n19" "C2.C1.C2.C1.C2.C1.n4") ("C1.C2.C1.n21" "C2.C1.C2.C1.C2.C1.n5") ("C1.C2.C1.n20" "C2.C1.C2.C1.n20") ("C1.C2.C1.C1.n17" "C2.C1.C2.C1.C1.n17") ("C1.C2.C1.C1.n18" "C2.C1.C2.C1.C1.n18") ("C1.C2.C2.n22" "C2.C1.C2.C2.n22") ("C1.C2.C2.n19" "C2.C1.C2.C2.n19") ("C1.C2.C2.n21" "C2.C1.C2.C2.n21") ("C1.C2.C2.n20" "C2.C1.C2.C2.n20") ("C2.C1.C2.C2.C1.n12" "C2.C2.C1.C2.C2.C1.n12") ("C1.C2.C2.C1.n18" "C2.C1.C2.C2.C1.n18") ("C2.C1.n6-2" "C2.C2.C1.C1.n22") ("C2.C2.n4-1" "C2.C2.C1.C1.n19") ("C2.C1.C1.n21" "C2.C2.C1.C1.n21") ("C2.C1.C1.n20" "C2.C2.C1.C1.n20") ("C2.C1.n1-2" "C2.C2.C1.C1.C1.n17") ("C2.C1.C1.C1.n18" "C2.C2.C1.C1.C1.n18") ("VDD" "VDD") ("GND" "GND") ("C2.C1.C2.n22" "C2.C2.C1.C2.n22") ("C2.C1.C2.n19" "C2.C2.C1.C2.n19") ("C2.C1.C2.n21" "C2.C2.C1.C2.n21") ("C2.C1.C2.n20" "C2.C2.C1.C2.n20") ("C2.C2.n1-2" "C2.C2.C2.C1.C2.C1.n17") ("C2.C1.C2.C1.n18" "C2.C2.C1.C2.C1.n18") ("C2.C1.n6-1-3" "C2.C1.C2.C2.C2.C1.n17") ("C2.C2.C1.n19" "C2.C2.C2.C1.C1.C1.n4") ("C2.C1.n5-1" "C2.C2.C1.n5-1-2") ("C2.C2.C1.n20" "C2.C2.C2.C1.C1.C1.n3") ("C1.C2.C1.n1-1-1-1" "C2.C1.C2.C1.n1-1-1-1") ("C2.C2.C1.C1.n18" "C2.C2.C2.C1.C1.n18") ("C2.C2.C2.n22" "C2.C1.C2.C2.C2.C2.n6") ("C2.C2.C2.n19" "C2.C2.C2.C2.C1.C1.n4") ("C2.C2.C2.n16" "C2.C2.C2.C2.C2.n5") ("C2.C2.C2.n20" "C2.C2.C2.C2.C1.C1.n3") ("C2.C2.n1-1" "C2.C1.C2.C2.C2.C2.n1") ("C2.C2.C2.C1.n18" "C2.C2.C2.C2.C1.n18")))