<<-- "PWName-24">> (CreatingUser "Spreitzer.pa") (CreationTime "January 16, 1985 4:41:34 pm PST") (CreationSite "MilkyWay Sol III USA Xerox PARC Sea-Horse") (DerivingProgram "Spinifex" "January 14, 1985 10:31:41 pm PST") (CellTypeName "PWName-24") (scale 0.5 "lambda") (bb 0 0 1372 188) (Ports ("C1.C1.C2.n2" (G P)) ("C2.C2.C1.n17" (G P)) ("C2.C1.C1.n17" (G P)) ("C1.C2.C1.n17" (G P)) ("C1.C1.C1.n17" (G P)) ("C2.C1.n17" (G P)) ("C1.C1.n17" (G P)) ("C1.n17" (G P)) ("C2.C2.n20" (G P)) ("C2.C1.n20" (G P)) ("C1.C2.n20" (G P)) ("C1.C1.n20" (G P)) ("C2.n20" (G P)) ("C1.n20" (G P)) ("n20" (G P)) ("C2.C2.n21" (G P)) ("C2.C1.n21" (G P)) ("C1.C2.n21" (G P)) ("C1.C1.n21" (G P)) ("C2.n21" (G P)) ("C1.n21" (G P)) ("n21" (G P)) ("C2.C2.n19" (G P)) ("C2.C1.n19" (G P)) ("C1.C2.n19" (G P)) ("C1.C1.n19" (G P)) ("C2.n19" (G P)) ("C1.n19" (G P)) ("n19" (G P)) ("C2.C2.n22" (G P)) ("C2.C1.n22" (G P)) ("C1.C2.n22" (G P)) ("C1.C1.n22" (G P)) ("C2.n22" (G P)) ("C1.n22" (G P)) ("n22" (G P)) ("n5" (G P)) ("n4" (G P)) ("C1.C1.C2.n3" (G P)) ("C2.C2.C1.n18" (G P)) ("C2.C1.C1.n18" (G P)) ("C1.C2.C1.n18" (G P)) ("C1.C1.C1.n18" (G P)) ("C2.C1.n18" (G P)) ("C1.C1.n18" (G P)) ("C1.n18" (G P)) ("C1.C1.n" (G P)) ("n6" (G P) (A ("C2.n3" (G P)) ("C1.C2.n8" (G P)) ("C2.C2.n7" (G P)) ("C1.C1.n8-1" (G P)) ("C2.C1.n7-1" (G P)) ("C2.C2.n13-1" (G P)) ("C1.C1.C1.n5" (G P)) ("C1.C2.C1.n6" (G P)))) ("n3" (G P) (A ("C2.n8" (G P)) ("C1.C2.n7" (G P)) ("C2.C2.n6" (G P)) ("C1.C1.n5-1" (G P)) ("C2.C1.n8-1" (G P)) ("C2.C2.n12-1" (G P)) ("C1.C1.C1.n6" (G P)) ("C1.C2.C1.n7" (G P)))) ("n8" (G P) (A ("C2.n4" (G P)) ("C2.n7" (G P)) ("C1.C2.n6" (G P)) ("C2.C2.n3" (G P)) ("C1.C1.n6-1" (G P)) ("C2.C1.n5-1" (G P)) ("C1.C1.C1.n7" (G P)) ("C1.C2.C1.n8" (G P)))) ("n7" (G P) (A ("C2.n6" (G P)) ("C1.C2.n3" (G P)) ("C2.C2.n8" (G P)) ("C1.C1.n7-1" (G P)) ("C2.C1.n6-1" (G P)) ("C2.C2.n14-1" (G P)) ("C1.C1.C1.n8" (G P)) ("C1.C2.C1.n5" (G P)))) ("n9" (G P) (A ("C2.n10" (G P)) ("C1.C2.n11" (G P)) ("C1.C1.n3-1" (G P)) ("C2.C1.n4-1" (G P)) ("C2.C2.n18-1" (G P)) ("C1.C1.C1.n2" (G P)) ("C1.C2.C1.n1" (G P)) ("C1.C2.C2.n12" (G P)))) ("n12" (G P) (A ("C2.n9" (G P)) ("C1.C2.n10" (G P)) ("C2.C2.n11" (G P)) ("C1.C1.n4-1" (G P)) ("C2.C1.n1-1" (G P)) ("C2.C2.n17-1" (G P)) ("C1.C1.C1.n3" (G P)) ("C1.C2.C1.n2" (G P)))) ("n16" (G P) (A ("C1.n11" (G P)) ("C1.C1.n10" (G P)) ("C2.C1.n9" (G P)) ("C2.C2.n1" (G P)) ("C1.C2.n18-1" (G P)) ("C1.C1.C1.n12" (G P)) ("C1.C1.C2.n17" (G P)) ("C1.C1.C2.n8" (G P)) ("C1.C2.C1.n11" (G P)) ("C1.C2.C2.n7" (G P)) ("C2.C1.C1.n10" (G P)) ("C2.C1.C2.n6" (G P)) ("C2.C2.C1.n9" (G P)) ("C2.C2.C2.n5" (G P)))) ("n1" (G P) (A ("C1.n12" (G P)) ("C1.C1.n11" (G P)) ("C2.C1.n10" (G P)) ("C1.C2.n16-1" (G P)) ("C1.C1.C1.n9" (G P)) ("C1.C1.C2.n18" (G P)) ("C1.C1.C2.n5" (G P)) ("C1.C2.C1.n12" (G P)) ("C1.C2.C2.n17" (G P)) ("C1.C2.C2.n8" (G P)) ("C2.C1.C1.n11" (G P)) ("C2.C1.C2.n7" (G P)) ("C2.C2.C1.n10" (G P)) ("C2.C2.C2.n6" (G P)))) ("n13" (G P) (A ("C1.n15" (G P)) ("C1.C1.n16" (G P)) ("C1.C2.n2" (G P)) ("C2.C1.n13" (G P)) ("C1.C2.n14-1" (G P)) ("C1.C1.C1.n14" (G P)) ("C1.C1.C2.n10" (G P)) ("C1.C2.C1.n15" (G P)) ("C1.C2.C2.n11" (G P)) ("C1.C2.C2.n15" (G P)) ("C2.C1.C1.n16" (G P)) ("C2.C1.C2.n1" (G P)) ("C2.C2.C1.n13" (G P)) ("C2.C2.C2.n9" (G P)))) ("n14" (G P) (A ("C1.n16" (G P)) ("C2.n2" (G P)) ("C1.C1.n13" (G P)) ("C2.C1.n14" (G P)) ("C1.C1.C1.n15" (G P)) ("C1.C1.C2.n11" (G P)) ("C1.C1.C2.n15" (G P)) ("C1.C2.C1.n16" (G P)) ("C1.C2.C2.n1" (G P)) ("C1.C2.C2.n13" (G P)) ("C2.C1.C1.n13" (G P)) ("C2.C1.C2.n9" (G P)) ("C2.C2.C1.n14" (G P)) ("C2.C2.C2.n10" (G P)))) ("n2" (G P) (A ("C1.n13" (G P)) ("C1.C1.n14" (G P)) ("C2.C1.n15" (G P)) ("C1.C2.n15-1" (G P)) ("C1.C1.C1.n16" (G P)) ("C1.C1.C2.n1" (G P)) ("C1.C1.C2.n13" (G P)) ("C1.C2.C1.n13" (G P)) ("C1.C2.C2.n14" (G P)) ("C1.C2.C2.n9" (G P)) ("C2.C1.C1.n14" (G P)) ("C2.C1.C2.n10" (G P)) ("C2.C2.C1.n15" (G P)) ("C2.C2.C2.n11" (G P)))) ("n15" (G P) (A ("C1.n14" (G P)) ("C1.C1.n15" (G P)) ("C2.C1.n16" (G P)) ("C2.C2.n2" (G P)) ("C1.C2.n13-1" (G P)) ("C1.C1.C1.n13" (G P)) ("C1.C1.C2.n14" (G P)) ("C1.C1.C2.n9" (G P)) ("C1.C2.C1.n14" (G P)) ("C1.C2.C2.n10" (G P)) ("C2.C1.C1.n15" (G P)) ("C2.C1.C2.n11" (G P)) ("C2.C2.C1.n16" (G P)) ("C2.C2.C2.n1" (G P)))) ("n17" (G P) (A ("C1.n9" (G P)) ("C2.n1" (G P)) ("C1.C1.n12" (G P)) ("C2.C1.n11" (G P)) ("C1.C1.C1.n10" (G P)) ("C1.C1.C2.n16" (G P)) ("C1.C1.C2.n6" (G P)) ("C1.C2.C1.n9" (G P)) ("C1.C2.C2.n18" (G P)) ("C1.C2.C2.n5" (G P)) ("C2.C1.C1.n12" (G P)) ("C2.C1.C2.n8" (G P)) ("C2.C2.C1.n11" (G P)) ("C2.C2.C2.n7" (G P)))) ("n18" (G P) (A ("C1.n10" (G P)) ("C1.C1.n9" (G P)) ("C1.C2.n1" (G P)) ("C2.C1.n12" (G P)) ("C1.C2.n17-1" (G P)) ("C1.C1.C1.n11" (G P)) ("C1.C1.C2.n7" (G P)) ("C1.C2.C1.n10" (G P)) ("C1.C2.C2.n16" (G P)) ("C1.C2.C2.n6" (G P)) ("C2.C1.C1.n9" (G P)) ("C2.C1.C2.n5" (G P)) ("C2.C2.C1.n12" (G P)) ("C2.C2.C2.n8" (G P)))) ("n11" (G P) (A ("C1.C2.n9" (G P)) ("C2.C2.n10" (G P)) ("C1.C1.n1-1" (G P)) ("C1.C2.n12-1" (G P)) ("C2.C1.n2-1" (G P)) ("C2.C2.n16-1" (G P)) ("C1.C1.C1.n4" (G P)) ("C1.C2.C1.n3" (G P)))) ("n10" (G P) (A ("C2.n11" (G P)) ("C2.C2.n9" (G P)) ("C1.C1.n2-1" (G P)) ("C2.C1.n3-1" (G P)) ("C2.C2.n15-1" (G P)) ("C1.C1.C1.n1" (G P)) ("C1.C1.C2.n12" (G P)) ("C1.C2.C1.n4" (G P)))) ) (PrivateFollows) (N "C1.C1.C2.n2" (G P)) (PN "C1.C1.C2.n2" "C1.C1.C2.n2") (N "C2.C2.C1.n17" (G P)) (PN "C2.C2.C1.n17" "C2.C2.C1.n17") (N "C2.C1.C1.n17" (G P)) (PN "C2.C1.C1.n17" "C2.C1.C1.n17") (N "C1.C2.C1.n17" (G P)) (PN "C1.C2.C1.n17" "C1.C2.C1.n17") (N "C1.C1.C1.n17" (G P)) (PN "C1.C1.C1.n17" "C1.C1.C1.n17") (N "C2.C1.n17" (G P)) (PN "C2.C1.n17" "C2.C1.n17") (N "C1.C1.n17" (G P)) (PN "C1.C1.n17" "C1.C1.n17") (N "C1.n17" (G P)) (PN "C1.n17" "C1.n17") (N "C2.C2.n20" (G P)) (PN "C2.C2.n20" "C2.C2.n20") (N "C2.C1.n20" (G P)) (PN "C2.C1.n20" "C2.C1.n20") (N "C1.C2.n20" (G P)) (PN "C1.C2.n20" "C1.C2.n20") (N "C1.C1.n20" (G P)) (PN "C1.C1.n20" "C1.C1.n20") (N "C2.n20" (G P)) (PN "C2.n20" "C2.n20") (N "C1.n20" (G P)) (PN "C1.n20" "C1.n20") (N "n20" (G P)) (PN "n20" "n20") (N "C2.C2.n21" (G P)) (PN "C2.C2.n21" "C2.C2.n21") (N "C2.C1.n21" (G P)) (PN "C2.C1.n21" "C2.C1.n21") (N "C1.C2.n21" (G P)) (PN "C1.C2.n21" "C1.C2.n21") (N "C1.C1.n21" (G P)) (PN "C1.C1.n21" "C1.C1.n21") (N "C2.n21" (G P)) (PN "C2.n21" "C2.n21") (N "C1.n21" (G P)) (PN "C1.n21" "C1.n21") (N "n21" (G P)) (PN "n21" "n21") (N "C2.C2.n19" (G P)) (PN "C2.C2.n19" "C2.C2.n19") (N "C2.C1.n19" (G P)) (PN "C2.C1.n19" "C2.C1.n19") (N "C1.C2.n19" (G P)) (PN "C1.C2.n19" "C1.C2.n19") (N "C1.C1.n19" (G P)) (PN "C1.C1.n19" "C1.C1.n19") (N "C2.n19" (G P)) (PN "C2.n19" "C2.n19") (N "C1.n19" (G P)) (PN "C1.n19" "C1.n19") (N "n19" (G P)) (PN "n19" "n19") (N "C2.C2.n22" (G P)) (PN "C2.C2.n22" "C2.C2.n22") (N "C2.C1.n22" (G P)) (PN "C2.C1.n22" "C2.C1.n22") (N "C1.C2.n22" (G P)) (PN "C1.C2.n22" "C1.C2.n22") (N "C1.C1.n22" (G P)) (PN "C1.C1.n22" "C1.C1.n22") (N "C2.n22" (G P)) (PN "C2.n22" "C2.n22") (N "C1.n22" (G P)) (PN "C1.n22" "C1.n22") (N "n22" (G P)) (PN "n22" "n22") (N "n5" (G P)) (PN "n5" "n5") (N "n4" (G P)) (PN "n4" "n4") (N "C1.C1.C2.n3" (G P)) (PN "C1.C1.C2.n3" "C1.C1.C2.n3") (N "C2.C2.C1.n18" (G P)) (PN "C2.C2.C1.n18" "C2.C2.C1.n18") (N "C2.C1.C1.n18" (G P)) (PN "C2.C1.C1.n18" "C2.C1.C1.n18") (N "C1.C2.C1.n18" (G P)) (PN "C1.C2.C1.n18" "C1.C2.C1.n18") (N "C1.C1.C1.n18" (G P)) (PN "C1.C1.C1.n18" "C1.C1.C1.n18") (N "C2.C1.n18" (G P)) (PN "C2.C1.n18" "C2.C1.n18") (N "C1.C1.n18" (G P)) (PN "C1.C1.n18" "C1.C1.n18") (N "C1.n18" (G P)) (PN "C1.n18" "C1.n18") (N "C1.C1.n" (G P)) (PN "C1.C1.n" "C1.C1.n") (N "n6" (G P) (A ("C2.n3" (G P)) ("C1.C2.n8" (G P)) ("C2.C2.n7" (G P)) ("C1.C1.n8-1" (G P)) ("C2.C1.n7-1" (G P)) ("C2.C2.n13-1" (G P)) ("C1.C1.C1.n5" (G P)) ("C1.C2.C1.n6" (G P)))) (PN "n6" "n6") (N "n3" (G P) (A ("C2.n8" (G P)) ("C1.C2.n7" (G P)) ("C2.C2.n6" (G P)) ("C1.C1.n5-1" (G P)) ("C2.C1.n8-1" (G P)) ("C2.C2.n12-1" (G P)) ("C1.C1.C1.n6" (G P)) ("C1.C2.C1.n7" (G P)))) (PN "n3" "n3") (N "n8" (G P) (A ("C2.n4" (G P)) ("C2.n7" (G P)) ("C1.C2.n6" (G P)) ("C2.C2.n3" (G P)) ("C1.C1.n6-1" (G P)) ("C2.C1.n5-1" (G P)) ("C1.C1.C1.n7" (G P)) ("C1.C2.C1.n8" (G P)))) (PN "n8" "n8") (N "n7" (G P) (A ("C2.n6" (G P)) ("C1.C2.n3" (G P)) ("C2.C2.n8" (G P)) ("C1.C1.n7-1" (G P)) ("C2.C1.n6-1" (G P)) ("C2.C2.n14-1" (G P)) ("C1.C1.C1.n8" (G P)) ("C1.C2.C1.n5" (G P)))) (PN "n7" "n7") (N "n9" (G P) (A ("C2.n10" (G P)) ("C1.C2.n11" (G P)) ("C1.C1.n3-1" (G P)) ("C2.C1.n4-1" (G P)) ("C2.C2.n18-1" (G P)) ("C1.C1.C1.n2" (G P)) ("C1.C2.C1.n1" (G P)) ("C1.C2.C2.n12" (G P)))) (PN "n9" "n9") (N "n12" (G P) (A ("C2.n9" (G P)) ("C1.C2.n10" (G P)) ("C2.C2.n11" (G P)) ("C1.C1.n4-1" (G P)) ("C2.C1.n1-1" (G P)) ("C2.C2.n17-1" (G P)) ("C1.C1.C1.n3" (G P)) ("C1.C2.C1.n2" (G P)))) (PN "n12" "n12") (N "n16" (G P) (A ("C1.n11" (G P)) ("C1.C1.n10" (G P)) ("C2.C1.n9" (G P)) ("C2.C2.n1" (G P)) ("C1.C2.n18-1" (G P)) ("C1.C1.C1.n12" (G P)) ("C1.C1.C2.n17" (G P)) ("C1.C1.C2.n8" (G P)) ("C1.C2.C1.n11" (G P)) ("C1.C2.C2.n7" (G P)) ("C2.C1.C1.n10" (G P)) ("C2.C1.C2.n6" (G P)) ("C2.C2.C1.n9" (G P)) ("C2.C2.C2.n5" (G P)))) (PN "n16" "n16") (N "n1" (G P) (A ("C1.n12" (G P)) ("C1.C1.n11" (G P)) ("C2.C1.n10" (G P)) ("C1.C2.n16-1" (G P)) ("C1.C1.C1.n9" (G P)) ("C1.C1.C2.n18" (G P)) ("C1.C1.C2.n5" (G P)) ("C1.C2.C1.n12" (G P)) ("C1.C2.C2.n17" (G P)) ("C1.C2.C2.n8" (G P)) ("C2.C1.C1.n11" (G P)) ("C2.C1.C2.n7" (G P)) ("C2.C2.C1.n10" (G P)) ("C2.C2.C2.n6" (G P)))) (PN "n1" "n1") (N "n13" (G P) (A ("C1.n15" (G P)) ("C1.C1.n16" (G P)) ("C1.C2.n2" (G P)) ("C2.C1.n13" (G P)) ("C1.C2.n14-1" (G P)) ("C1.C1.C1.n14" (G P)) ("C1.C1.C2.n10" (G P)) ("C1.C2.C1.n15" (G P)) ("C1.C2.C2.n11" (G P)) ("C1.C2.C2.n15" (G P)) ("C2.C1.C1.n16" (G P)) ("C2.C1.C2.n1" (G P)) ("C2.C2.C1.n13" (G P)) ("C2.C2.C2.n9" (G P)))) (PN "n13" "n13") (N "n14" (G P) (A ("C1.n16" (G P)) ("C2.n2" (G P)) ("C1.C1.n13" (G P)) ("C2.C1.n14" (G P)) ("C1.C1.C1.n15" (G P)) ("C1.C1.C2.n11" (G P)) ("C1.C1.C2.n15" (G P)) ("C1.C2.C1.n16" (G P)) ("C1.C2.C2.n1" (G P)) ("C1.C2.C2.n13" (G P)) ("C2.C1.C1.n13" (G P)) ("C2.C1.C2.n9" (G P)) ("C2.C2.C1.n14" (G P)) ("C2.C2.C2.n10" (G P)))) (PN "n14" "n14") (N "n2" (G P) (A ("C1.n13" (G P)) ("C1.C1.n14" (G P)) ("C2.C1.n15" (G P)) ("C1.C2.n15-1" (G P)) ("C1.C1.C1.n16" (G P)) ("C1.C1.C2.n1" (G P)) ("C1.C1.C2.n13" (G P)) ("C1.C2.C1.n13" (G P)) ("C1.C2.C2.n14" (G P)) ("C1.C2.C2.n9" (G P)) ("C2.C1.C1.n14" (G P)) ("C2.C1.C2.n10" (G P)) ("C2.C2.C1.n15" (G P)) ("C2.C2.C2.n11" (G P)))) (PN "n2" "n2") (N "n15" (G P) (A ("C1.n14" (G P)) ("C1.C1.n15" (G P)) ("C2.C1.n16" (G P)) ("C2.C2.n2" (G P)) ("C1.C2.n13-1" (G P)) ("C1.C1.C1.n13" (G P)) ("C1.C1.C2.n14" (G P)) ("C1.C1.C2.n9" (G P)) ("C1.C2.C1.n14" (G P)) ("C1.C2.C2.n10" (G P)) ("C2.C1.C1.n15" (G P)) ("C2.C1.C2.n11" (G P)) ("C2.C2.C1.n16" (G P)) ("C2.C2.C2.n1" (G P)))) (PN "n15" "n15") (N "n17" (G P) (A ("C1.n9" (G P)) ("C2.n1" (G P)) ("C1.C1.n12" (G P)) ("C2.C1.n11" (G P)) ("C1.C1.C1.n10" (G P)) ("C1.C1.C2.n16" (G P)) ("C1.C1.C2.n6" (G P)) ("C1.C2.C1.n9" (G P)) ("C1.C2.C2.n18" (G P)) ("C1.C2.C2.n5" (G P)) ("C2.C1.C1.n12" (G P)) ("C2.C1.C2.n8" (G P)) ("C2.C2.C1.n11" (G P)) ("C2.C2.C2.n7" (G P)))) (PN "n17" "n17") (N "n18" (G P) (A ("C1.n10" (G P)) ("C1.C1.n9" (G P)) ("C1.C2.n1" (G P)) ("C2.C1.n12" (G P)) ("C1.C2.n17-1" (G P)) ("C1.C1.C1.n11" (G P)) ("C1.C1.C2.n7" (G P)) ("C1.C2.C1.n10" (G P)) ("C1.C2.C2.n16" (G P)) ("C1.C2.C2.n6" (G P)) ("C2.C1.C1.n9" (G P)) ("C2.C1.C2.n5" (G P)) ("C2.C2.C1.n12" (G P)) ("C2.C2.C2.n8" (G P)))) (PN "n18" "n18") (N "n11" (G P) (A ("C1.C2.n9" (G P)) ("C2.C2.n10" (G P)) ("C1.C1.n1-1" (G P)) ("C1.C2.n12-1" (G P)) ("C2.C1.n2-1" (G P)) ("C2.C2.n16-1" (G P)) ("C1.C1.C1.n4" (G P)) ("C1.C2.C1.n3" (G P)))) (PN "n11" "n11") (N "n10" (G P) (A ("C2.n11" (G P)) ("C2.C2.n9" (G P)) ("C1.C1.n2-1" (G P)) ("C2.C1.n3-1" (G P)) ("C2.C2.n15-1" (G P)) ("C1.C1.C1.n1" (G P)) ("C1.C1.C2.n12" (G P)) ("C1.C2.C1.n4" (G P)))) (PN "n10" "n10") (CI "C1" "StaticAdder2SwBoxCP11" (G P) (t6 1 0 0 0 1 0) (CIC ("n5" "n5") ("n4" "n4") ("n18" "n18") ("n2" "n2") ("n8" "n8") ("n17" "n17") ("n14" "n14") ("n7" "n7") ("n11" "n11") ("n10" "n10") ("n9" "n9") ("n1" "n1") ("n15" "n15") ("n6" "n6") ("n16" "n16") ("n13" "n13") ("n12" "n12") ("n3" "n3"))) (CI "C2" "PWName-23" (G P) (t6 1 0 98 0 1 0) (CIC ("C1.C1.C2.n2" "C1.C1.C2.n2") ("C2.C2.C1.n17" "C2.C2.C1.n17") ("C2.C1.C1.n17" "C2.C1.C1.n17") ("C1.C2.C1.n17" "C1.C2.C1.n17") ("C1.C1.C1.n17" "C1.C1.C1.n17") ("C2.C1.n17" "C2.C1.n17") ("C1.C1.n17" "C1.C1.n17") ("C1.n17" "C1.n17") ("C2.C2.n20" "C2.C2.n20") ("C2.C1.n20" "C2.C1.n20") ("C1.C2.n20" "C1.C2.n20") ("C1.C1.n20" "C1.C1.n20") ("C2.n20" "C2.n20") ("C1.n20" "C1.n20") ("n20" "n20") ("C2.C2.n21" "C2.C2.n21") ("C2.C1.n21" "C2.C1.n21") ("C1.C2.n21" "C1.C2.n21") ("C1.C1.n21" "C1.C1.n21") ("C2.n21" "C2.n21") ("C1.n21" "C1.n21") ("n21" "n21") ("C2.C2.n19" "C2.C2.n19") ("C2.C1.n19" "C2.C1.n19") ("C1.C2.n19" "C1.C2.n19") ("C1.C1.n19" "C1.C1.n19") ("C2.n19" "C2.n19") ("C1.n19" "C1.n19") ("n19" "n19") ("C2.C2.n22" "C2.C2.n22") ("C2.C1.n22" "C2.C1.n22") ("C1.C2.n22" "C1.C2.n22") ("C1.C1.n22" "C1.C1.n22") ("C2.n22" "C2.n22") ("C1.n22" "C1.n22") ("n22" "n22") ("C1.C1.C2.n3" "C1.C1.C2.n3") ("C2.C2.C1.n18" "C2.C2.C1.n18") ("C2.C1.C1.n18" "C2.C1.C1.n18") ("C1.C2.C1.n18" "C1.C2.C1.n18") ("C1.C1.C1.n18" "C1.C1.C1.n18") ("C2.C1.n18" "C2.C1.n18") ("C1.C1.n18" "C1.C1.n18") ("C1.n18" "C1.n18") ("C1.C1.n" "C1.C1.n") ("C2.n8" "n3") ("C2.n4" "n8") ("C2.n6" "n7") ("C2.n3" "n6") ("C2.n11" "n10") ("C2.n10" "n9") ("C1.n10" "n18") ("C1.n11" "n16") ("C1.n16" "n14") ("C1.n13" "n2") ("C1.n14" "n15") ("C1.n15" "n13") ("C1.n12" "n1") ("C1.n9" "n17") ("C2.n9" "n12") ("C1.C2.n9" "n11")))