[Indigo]<Rosemary>Capt>SA2T1x8>PWName-243.sch!1

-- "PWName-243"

(CreatingUser "Spreitzer.pa")

(CreationTime "January 19, 1985 12:37:58 pm PST")

(CreationSite "MilkyWay Sol III USA Xerox PARC Plunger")

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

(CellTypeName "PWName-243")

(scale 0.5 "lambda")

(bb 0 0 2828 188)

(Ports

("n15" (G P))

("C1.n15" (G P))

("C2.C2.C2.n18" (G P))

("C1.C2.C2.n18" (G P))

("C2.C2.C2.C1.n16" (G P))

("C1.C2.C2.C1.n16" (G P))

("C2.n17" (G P))

("C2.C2.C2.n17-1" (G P))

("C1.C2.n17" (G P))

("C2.C2.C2.C2.n17" (G P))

("C2.C2.C1.C2.n17" (G P))

("C2.C1.C2.C2.n17" (G P))

("C1.C1.C2.n17" (G P))

("C2.n17-1" (G P))

("C1.C2.n17-1" (G P))

("C1.C2.C2.n17-1" (G P))

("C1.C1.C2.n17-1" (G P))

("C1.C2.C2.C2.n17" (G P))

("C1.C2.C1.C2.n17" (G P))

("C1.C1.C2.C2.n17" (G P))

("C1.C1.C1.C2.n17" (G P))

("C2.C2.C2.n" (G P))

("C1.C2.C2.n" (G P))

("n16" (G P))

("C1.n16" (G P))

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

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

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

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

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

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

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

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

("n6" (G P) (A ("C1.n6" (G P)) ("C2.n16" (G P)) ("C1.n18-1" (G P)) ("C2.n15-1" (G P)) ("C1.C2.n14" (G P)) ("C2.C2.n13" (G P)) ("C1.C2.n16-1" (G P)) ("C1.C1.C1.n17" (G P)) ("C1.C1.C2.n14" (G P)) ("C1.C2.C1.n15" (G P)) ("C1.C2.C2.n13" (G P)) ("C2.C1.C1.n7" (G P)) ("C2.C1.C1.n9" (G P)) ("C2.C1.C2.n16" (G P)) ("C2.C2.C1.n5" (G P)) ("C2.C2.C1.n8" (G P)) ("C2.C2.C2.n15" (G P)) ("C1.C1.C1.C1.n17" (G P))))

("C2.n13" (G P) (A ("C2.n16-1" (G P)) ("C2.n18-1" (G P)) ("C1.C2.n15" (G P)) ("C2.C2.n14" (G P)) ("C1.C2.n13-1" (G P)) ("C2.C1.n5-1" (G P)) ("C1.C1.C1.n8" (G P)) ("C1.C1.C2.n15" (G P)) ("C1.C2.C1.n17" (G P)) ("C1.C2.C2.n14" (G P)) ("C2.C1.C1.n15" (G P)) ("C2.C1.C1.n6" (G P)) ("C2.C1.C2.n13" (G P)) ("C2.C2.C1.n7" (G P)) ("C2.C2.C1.n9" (G P)) ("C2.C2.C2.n16" (G P)) ("C1.C1.C1.C1.n8" (G P))))

("n5" (G P) (A ("C1.n5" (G P)) ("C2.n14" (G P)) ("C2.n13-1" (G P)) ("C1.C1.n18" (G P)) ("C1.C2.n16" (G P)) ("C2.C2.n15" (G P)) ("C1.C2.n14-1" (G P)) ("C2.C1.n7-1" (G P)) ("C1.C1.C1.n9" (G P)) ("C1.C1.C2.n16" (G P)) ("C1.C2.C1.n8" (G P)) ("C1.C2.C2.n15" (G P)) ("C2.C1.C1.n17" (G P)) ("C2.C1.C2.n14" (G P)) ("C2.C2.C1.n15" (G P)) ("C2.C2.C1.n6" (G P)) ("C2.C2.C2.n13" (G P)) ("C1.C1.C1.C1.n9" (G P))))

("n7" (G P) (A ("C1.n7" (G P)) ("C2.n15" (G P)) ("C2.n14-1" (G P)) ("C1.C2.n13" (G P)) ("C1.C2.n18" (G P)) ("C2.C2.n16" (G P)) ("C1.C2.n15-1" (G P)) ("C2.C1.n6-1" (G P)) ("C1.C1.C1.n15" (G P)) ("C1.C1.C2.n13" (G P)) ("C1.C2.C1.n9" (G P)) ("C1.C2.C2.n16" (G P)) ("C2.C1.C1.n5" (G P)) ("C2.C1.C1.n8" (G P)) ("C2.C1.C2.n15" (G P)) ("C2.C2.C1.n17" (G P)) ("C2.C2.C2.n14" (G P))))

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

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

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

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

)

(PrivateFollows)

(N "n15" (G P))

(PN "n15" "n15")

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

(PN "C1.n15" "C1.n15")

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

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

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

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

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

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

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

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

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

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

(N "C2.C2.C2.n17-1" (G P))

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

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

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

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

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

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

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

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

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

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

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

(N "C2.n17-1" (G P))

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

(PN "C2.C2.C2.n" "C2.C2.C2.n")

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

(PN "C1.C2.C2.n" "C1.C2.C2.n")

(N "n16" (G P))

(PN "n16" "n16")

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

(PN "C1.n16" "C1.n16")

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

(PN "n17" "n17")

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

(PN "n12" "n12")

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

(PN "n13" "n13")

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

(PN "n14" "n14")

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

(PN "n10" "n10")

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

(PN "n11" "n11")

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

(PN "n2" "n2")

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

(PN "n4" "n4")

(N "n6" (G P) (A ("C1.n6" (G P)) ("C2.n16" (G P)) ("C1.n18-1" (G P)) ("C2.n15-1" (G P)) ("C1.C2.n14" (G P)) ("C2.C2.n13" (G P)) ("C1.C2.n16-1" (G P)) ("C1.C1.C1.n17" (G P)) ("C1.C1.C2.n14" (G P)) ("C1.C2.C1.n15" (G P)) ("C1.C2.C2.n13" (G P)) ("C2.C1.C1.n7" (G P)) ("C2.C1.C1.n9" (G P)) ("C2.C1.C2.n16" (G P)) ("C2.C2.C1.n5" (G P)) ("C2.C2.C1.n8" (G P)) ("C2.C2.C2.n15" (G P)) ("C1.C1.C1.C1.n17" (G P))))

(PN "n6" "n6")

(N "C2.n13" (G P) (A ("C2.n16-1" (G P)) ("C2.n18-1" (G P)) ("C1.C2.n15" (G P)) ("C2.C2.n14" (G P)) ("C1.C2.n13-1" (G P)) ("C2.C1.n5-1" (G P)) ("C1.C1.C1.n8" (G P)) ("C1.C1.C2.n15" (G P)) ("C1.C2.C1.n17" (G P)) ("C1.C2.C2.n14" (G P)) ("C2.C1.C1.n15" (G P)) ("C2.C1.C1.n6" (G P)) ("C2.C1.C2.n13" (G P)) ("C2.C2.C1.n7" (G P)) ("C2.C2.C1.n9" (G P)) ("C2.C2.C2.n16" (G P)) ("C1.C1.C1.C1.n8" (G P))))

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

(N "n5" (G P) (A ("C1.n5" (G P)) ("C2.n14" (G P)) ("C2.n13-1" (G P)) ("C1.C1.n18" (G P)) ("C1.C2.n16" (G P)) ("C2.C2.n15" (G P)) ("C1.C2.n14-1" (G P)) ("C2.C1.n7-1" (G P)) ("C1.C1.C1.n9" (G P)) ("C1.C1.C2.n16" (G P)) ("C1.C2.C1.n8" (G P)) ("C1.C2.C2.n15" (G P)) ("C2.C1.C1.n17" (G P)) ("C2.C1.C2.n14" (G P)) ("C2.C2.C1.n15" (G P)) ("C2.C2.C1.n6" (G P)) ("C2.C2.C2.n13" (G P)) ("C1.C1.C1.C1.n9" (G P))))

(PN "n5" "n5")

(N "n7" (G P) (A ("C1.n7" (G P)) ("C2.n15" (G P)) ("C2.n14-1" (G P)) ("C1.C2.n13" (G P)) ("C1.C2.n18" (G P)) ("C2.C2.n16" (G P)) ("C1.C2.n15-1" (G P)) ("C2.C1.n6-1" (G P)) ("C1.C1.C1.n15" (G P)) ("C1.C1.C2.n13" (G P)) ("C1.C2.C1.n9" (G P)) ("C1.C2.C2.n16" (G P)) ("C2.C1.C1.n5" (G P)) ("C2.C1.C1.n8" (G P)) ("C2.C1.C2.n15" (G P)) ("C2.C2.C1.n17" (G P)) ("C2.C2.C2.n14" (G P))))

(PN "n7" "n7")

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

(PN "n1" "n1")

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

(PN "n3" "n3")

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

(PN "n8" "n8")

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

(PN "n9" "n9")

(CI "C1" "PWName-242" (G P) (t6 1 0 1372 0 1 0) (CIC ("C1.n15" "C1.n15") ("C2.C2.n18" "C1.C2.C2.n18") ("C2.C2.C1.n16" "C1.C2.C2.C1.n16") ("C2.n17-1" "C2.n17-1") ("C1.C2.n17-1" "C1.C2.n17-1") ("C2.C2.n17" "C1.C2.C2.n17-1") ("C1.C1.C2.n17-1" "C1.C1.C2.n17-1") ("C2.C2.C2.n17" "C1.C2.C2.C2.n17") ("C2.C1.C2.n17" "C1.C2.C1.C2.n17") ("C1.C2.C2.n17" "C1.C1.C2.C2.n17") ("C1.C1.C1.C2.n17" "C1.C1.C1.C2.n17") ("C2.C2.n" "C1.C2.C2.n") ("C1.n16" "C1.n16") ("C2.n3" "n10") ("C2.n4" "n11") ("C2.n2" "n9") ("C2.n1" "n8") ("C2.n5" "n12") ("C1.n14" "n14") ("C2.n8" "n17") ("C2.n6" "n13") ("C1.n2" "n2") ("C1.n4" "n4") ("C1.n3" "n3") ("C1.n5" "n5") ("C1.n7" "n7") ("C2.n16-1" "C2.n13") ("C1.n6" "n6") ("C1.n1" "n1")))

(CI "C2" "PWName-214" (G P) (t6 1 0 0 0 1 0) (CIC ("n16" "n16") ("C2.n17" "C2.n17") ("C2.C2.n17" "C2.C2.C2.n17-1") ("C1.C2.n17" "C1.C2.n17") ("C2.C2.C2.n17" "C2.C2.C2.C2.n17") ("C2.C1.C2.n17" "C2.C2.C1.C2.n17") ("C1.C2.C2.n17" "C2.C1.C2.C2.n17") ("C1.C1.C2.n17" "C1.C1.C2.n17") ("n15" "n15") ("C2.C2.n" "C2.C2.C2.n") ("C2.C2.n18" "C2.C2.C2.n18") ("C2.C2.C1.n16" "C2.C2.C2.C1.n16") ("n14" "n14") ("n17" "n17") ("n12" "n12") ("n13" "n13") ("n11" "n11") ("n8" "n8") ("n4" "n4") ("n1" "n1") ("n7" "n7") ("n6" "n6") ("C2.n13" "C2.n13") ("n5" "n5") ("n3" "n3") ("n2" "n2") ("n9" "n9") ("n10" "n10")))