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