===============================
   P1 partition information: JT_weight = 10.767387
=== Clique Information ===
Number of cliques = 14
== Clique number: 3, root/right-interface clique, root/right-interface clique
Clique information: 37 packed bits, 2 unsigned words (0 splits), weight = 9.601056, jt_weight = 9.601056
12 Nodes: mux(1)[11],npn(1)[6],resistor(1)[6],npn(0)[6],capacitor(1)[6],battery(1)[6],wire(1)[6],batterytwo(1)[6],batterythree(1)[6],batteryfour(1)[6],batteryfive(1)[6],batterysix(1)[6]
1 Assigned: npn(1)
1 Assigned Sorted: npn(1)[6]
1 Dispositions: 0
1 Assigned Prob: npn(1)
28 Cum Assigned Prob: quadrant(0),length(0),orientation(0),relorientation(0),mux(1),resistor(1),startState(0),npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterytwo(0),batterythree(0),batteryfour(0),batteryfive(0),batterysix(0),end(0),slope(0),mux(0),capacitor(1),battery(1),wire(1),batterytwo(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1)
11 Union Incomming Seps: mux(1),resistor(1),npn(0),capacitor(1),battery(1),wire(1),batterytwo(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1)
0 Unassigned Iterated: 
0 Cumulative Unassigned: 
12 Hidden: mux(1)[11],npn(1)[6],resistor(1)[6],npn(0)[6],capacitor(1)[6],battery(1)[6],wire(1)[6],batterytwo(1)[6],batterythree(1)[6],batteryfour(1)[6],batteryfive(1)[6],batterysix(1)[6]
2 Clique Neighbors: 4,0,
2 Clique Children: 4,0,
2 Receive Seps: 12,10,
0 incomming VE Separators
Send Sep: -1
  == Clique number: 4
  Clique information: 37 packed bits, 2 unsigned words (0 splits), weight = 9.601056, jt_weight = 9.601056
  12 Nodes: mux(1)[11],resistor(1)[6],npn(0)[6],capacitor(0)[6],capacitor(1)[6],battery(1)[6],wire(1)[6],batterytwo(1)[6],batterythree(1)[6],batteryfour(1)[6],batteryfive(1)[6],batterysix(1)[6]
  1 Assigned: capacitor(1)
  1 Assigned Sorted: capacitor(1)[6]
  1 Dispositions: 0
  1 Assigned Prob: capacitor(1)
  25 Cum Assigned Prob: length(0),orientation(0),relorientation(0),mux(1),resistor(1),startState(0),npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterytwo(0),batterythree(0),batteryfour(0),batteryfive(0),batterysix(0),end(0),mux(0),battery(1),wire(1),batterytwo(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1)
  11 Union Incomming Seps: mux(1),resistor(1),npn(0),capacitor(0),battery(1),wire(1),batterytwo(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1)
  0 Unassigned Iterated: 
  0 Cumulative Unassigned: 
  12 Hidden: mux(1)[11],resistor(1)[6],npn(0)[6],capacitor(0)[6],capacitor(1)[6],battery(1)[6],wire(1)[6],batterytwo(1)[6],batterythree(1)[6],batteryfour(1)[6],batteryfive(1)[6],batterysix(1)[6]
  2 Clique Neighbors: 5,3,
  1 Clique Children: 5,
  1 Receive Seps: 9,
  0 incomming VE Separators
  Send Sep: 10
    == Clique number: 5
    Clique information: 37 packed bits, 2 unsigned words (0 splits), weight = 9.601056, jt_weight = 9.601056
    12 Nodes: mux(1)[11],resistor(1)[6],npn(0)[6],capacitor(0)[6],battery(0)[6],battery(1)[6],wire(1)[6],batterytwo(1)[6],batterythree(1)[6],batteryfour(1)[6],batteryfive(1)[6],batterysix(1)[6]
    1 Assigned: battery(1)
    1 Assigned Sorted: battery(1)[6]
    1 Dispositions: 0
    1 Assigned Prob: battery(1)
    24 Cum Assigned Prob: length(0),orientation(0),relorientation(0),mux(1),resistor(1),startState(0),npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterytwo(0),batterythree(0),batteryfour(0),batteryfive(0),batterysix(0),end(0),mux(0),wire(1),batterytwo(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1)
    11 Union Incomming Seps: mux(1),resistor(1),npn(0),capacitor(0),battery(0),wire(1),batterytwo(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1)
    0 Unassigned Iterated: 
    0 Cumulative Unassigned: 
    12 Hidden: mux(1)[11],resistor(1)[6],npn(0)[6],capacitor(0)[6],battery(0)[6],battery(1)[6],wire(1)[6],batterytwo(1)[6],batterythree(1)[6],batteryfour(1)[6],batteryfive(1)[6],batterysix(1)[6]
    2 Clique Neighbors: 4,6,
    1 Clique Children: 6,
    1 Receive Seps: 8,
    0 incomming VE Separators
    Send Sep: 9
      == Clique number: 6
      Clique information: 37 packed bits, 2 unsigned words (0 splits), weight = 9.601056, jt_weight = 9.601056
      12 Nodes: mux(1)[11],resistor(1)[6],npn(0)[6],resistor(0)[6],capacitor(0)[6],battery(0)[6],wire(1)[6],batterytwo(1)[6],batterythree(1)[6],batteryfour(1)[6],batteryfive(1)[6],batterysix(1)[6]
      1 Assigned: resistor(1)
      1 Assigned Sorted: resistor(1)[6]
      1 Dispositions: 0
      1 Assigned Prob: resistor(1)
      23 Cum Assigned Prob: length(0),orientation(0),relorientation(0),mux(1),startState(0),npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterytwo(0),batterythree(0),batteryfour(0),batteryfive(0),batterysix(0),end(0),mux(0),wire(1),batterytwo(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1)
      11 Union Incomming Seps: mux(1),npn(0),resistor(0),capacitor(0),battery(0),wire(1),batterytwo(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1)
      0 Unassigned Iterated: 
      0 Cumulative Unassigned: 
      12 Hidden: mux(1)[11],resistor(1)[6],npn(0)[6],resistor(0)[6],capacitor(0)[6],battery(0)[6],wire(1)[6],batterytwo(1)[6],batterythree(1)[6],batteryfour(1)[6],batteryfive(1)[6],batterysix(1)[6]
      2 Clique Neighbors: 7,5,
      1 Clique Children: 7,
      1 Receive Seps: 7,
      0 incomming VE Separators
      Send Sep: 8
        == Clique number: 7
        Clique information: 37 packed bits, 2 unsigned words (0 splits), weight = 9.601056, jt_weight = 9.601056
        12 Nodes: mux(1)[11],npn(0)[6],resistor(0)[6],capacitor(0)[6],battery(0)[6],batterythree(0)[6],wire(1)[6],batterytwo(1)[6],batterythree(1)[6],batteryfour(1)[6],batteryfive(1)[6],batterysix(1)[6]
        1 Assigned: batterythree(1)
        1 Assigned Sorted: batterythree(1)[6]
        1 Dispositions: 0
        1 Assigned Prob: batterythree(1)
        22 Cum Assigned Prob: length(0),orientation(0),relorientation(0),mux(1),startState(0),npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterytwo(0),batterythree(0),batteryfour(0),batteryfive(0),batterysix(0),end(0),mux(0),wire(1),batterytwo(1),batteryfour(1),batteryfive(1),batterysix(1)
        11 Union Incomming Seps: mux(1),npn(0),resistor(0),capacitor(0),battery(0),batterythree(0),wire(1),batterytwo(1),batteryfour(1),batteryfive(1),batterysix(1)
        0 Unassigned Iterated: 
        0 Cumulative Unassigned: 
        12 Hidden: mux(1)[11],npn(0)[6],resistor(0)[6],capacitor(0)[6],battery(0)[6],batterythree(0)[6],wire(1)[6],batterytwo(1)[6],batterythree(1)[6],batteryfour(1)[6],batteryfive(1)[6],batterysix(1)[6]
        2 Clique Neighbors: 6,8,
        1 Clique Children: 8,
        1 Receive Seps: 6,
        0 incomming VE Separators
        Send Sep: 7
          == Clique number: 8
          Clique information: 37 packed bits, 2 unsigned words (0 splits), weight = 9.601056, jt_weight = 9.601056
          12 Nodes: mux(1)[11],npn(0)[6],resistor(0)[6],capacitor(0)[6],battery(0)[6],batterythree(0)[6],batteryfour(0)[6],wire(1)[6],batterytwo(1)[6],batteryfour(1)[6],batteryfive(1)[6],batterysix(1)[6]
          1 Assigned: batteryfour(1)
          1 Assigned Sorted: batteryfour(1)[6]
          1 Dispositions: 0
          1 Assigned Prob: batteryfour(1)
          21 Cum Assigned Prob: length(0),orientation(0),relorientation(0),mux(1),startState(0),npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterytwo(0),batterythree(0),batteryfour(0),batteryfive(0),batterysix(0),end(0),mux(0),wire(1),batterytwo(1),batteryfive(1),batterysix(1)
          11 Union Incomming Seps: mux(1),npn(0),resistor(0),capacitor(0),battery(0),batterythree(0),batteryfour(0),wire(1),batterytwo(1),batteryfive(1),batterysix(1)
          0 Unassigned Iterated: 
          0 Cumulative Unassigned: 
          12 Hidden: mux(1)[11],npn(0)[6],resistor(0)[6],capacitor(0)[6],battery(0)[6],batterythree(0)[6],batteryfour(0)[6],wire(1)[6],batterytwo(1)[6],batteryfour(1)[6],batteryfive(1)[6],batterysix(1)[6]
          2 Clique Neighbors: 7,9,
          1 Clique Children: 9,
          1 Receive Seps: 5,
          0 incomming VE Separators
          Send Sep: 6
            == Clique number: 9
            Clique information: 37 packed bits, 2 unsigned words (0 splits), weight = 9.601056, jt_weight = 9.601056
            12 Nodes: mux(1)[11],npn(0)[6],resistor(0)[6],capacitor(0)[6],battery(0)[6],wire(0)[6],batterythree(0)[6],batteryfour(0)[6],wire(1)[6],batterytwo(1)[6],batteryfive(1)[6],batterysix(1)[6]
            1 Assigned: wire(1)
            1 Assigned Sorted: wire(1)[6]
            1 Dispositions: 0
            1 Assigned Prob: wire(1)
            20 Cum Assigned Prob: length(0),orientation(0),relorientation(0),mux(1),startState(0),npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterytwo(0),batterythree(0),batteryfour(0),batteryfive(0),batterysix(0),end(0),mux(0),batterytwo(1),batteryfive(1),batterysix(1)
            11 Union Incomming Seps: mux(1),npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterythree(0),batteryfour(0),batterytwo(1),batteryfive(1),batterysix(1)
            0 Unassigned Iterated: 
            0 Cumulative Unassigned: 
            12 Hidden: mux(1)[11],npn(0)[6],resistor(0)[6],capacitor(0)[6],battery(0)[6],wire(0)[6],batterythree(0)[6],batteryfour(0)[6],wire(1)[6],batterytwo(1)[6],batteryfive(1)[6],batterysix(1)[6]
            2 Clique Neighbors: 10,8,
            1 Clique Children: 10,
            1 Receive Seps: 4,
            0 incomming VE Separators
            Send Sep: 5
              == Clique number: 10
              Clique information: 37 packed bits, 2 unsigned words (0 splits), weight = 9.601056, jt_weight = 9.601056
              12 Nodes: mux(1)[11],npn(0)[6],resistor(0)[6],capacitor(0)[6],battery(0)[6],wire(0)[6],batterythree(0)[6],batteryfour(0)[6],batterysix(0)[6],batterytwo(1)[6],batteryfive(1)[6],batterysix(1)[6]
              1 Assigned: batterysix(1)
              1 Assigned Sorted: batterysix(1)[6]
              1 Dispositions: 0
              1 Assigned Prob: batterysix(1)
              19 Cum Assigned Prob: length(0),orientation(0),relorientation(0),mux(1),startState(0),npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterytwo(0),batterythree(0),batteryfour(0),batteryfive(0),batterysix(0),end(0),mux(0),batterytwo(1),batteryfive(1)
              11 Union Incomming Seps: mux(1),npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterythree(0),batteryfour(0),batterysix(0),batterytwo(1),batteryfive(1)
              0 Unassigned Iterated: 
              0 Cumulative Unassigned: 
              12 Hidden: mux(1)[11],npn(0)[6],resistor(0)[6],capacitor(0)[6],battery(0)[6],wire(0)[6],batterythree(0)[6],batteryfour(0)[6],batterysix(0)[6],batterytwo(1)[6],batteryfive(1)[6],batterysix(1)[6]
              2 Clique Neighbors: 11,9,
              1 Clique Children: 11,
              1 Receive Seps: 3,
              0 incomming VE Separators
              Send Sep: 4
                == Clique number: 11
                Clique information: 37 packed bits, 2 unsigned words (0 splits), weight = 9.601056, jt_weight = 9.601056
                12 Nodes: mux(1)[11],npn(0)[6],resistor(0)[6],capacitor(0)[6],battery(0)[6],wire(0)[6],batterytwo(0)[6],batterythree(0)[6],batteryfour(0)[6],batterysix(0)[6],batterytwo(1)[6],batteryfive(1)[6]
                1 Assigned: batterytwo(1)
                1 Assigned Sorted: batterytwo(1)[6]
                1 Dispositions: 0
                1 Assigned Prob: batterytwo(1)
                18 Cum Assigned Prob: length(0),orientation(0),relorientation(0),mux(1),startState(0),npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterytwo(0),batterythree(0),batteryfour(0),batteryfive(0),batterysix(0),end(0),mux(0),batteryfive(1)
                11 Union Incomming Seps: mux(1),npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterytwo(0),batterythree(0),batteryfour(0),batterysix(0),batteryfive(1)
                0 Unassigned Iterated: 
                0 Cumulative Unassigned: 
                12 Hidden: mux(1)[11],npn(0)[6],resistor(0)[6],capacitor(0)[6],battery(0)[6],wire(0)[6],batterytwo(0)[6],batterythree(0)[6],batteryfour(0)[6],batterysix(0)[6],batterytwo(1)[6],batteryfive(1)[6]
                2 Clique Neighbors: 13,10,
                1 Clique Children: 13,
                1 Receive Seps: 2,
                0 incomming VE Separators
                Send Sep: 3
                  == Clique number: 13
                  Clique information: 37 packed bits, 2 unsigned words (0 splits), weight = 9.601056, jt_weight = 9.601056
                  12 Nodes: mux(1)[11],npn(0)[6],resistor(0)[6],capacitor(0)[6],battery(0)[6],wire(0)[6],batterytwo(0)[6],batterythree(0)[6],batteryfour(0)[6],batteryfive(0)[6],batterysix(0)[6],batteryfive(1)[6]
                  1 Assigned: batteryfive(1)
                  1 Assigned Sorted: batteryfive(1)[6]
                  1 Dispositions: 0
                  1 Assigned Prob: batteryfive(1)
                  17 Cum Assigned Prob: length(0),orientation(0),relorientation(0),mux(1),startState(0),npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterytwo(0),batterythree(0),batteryfour(0),batteryfive(0),batterysix(0),end(0),mux(0)
                  11 Union Incomming Seps: mux(1),npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterytwo(0),batterythree(0),batteryfour(0),batteryfive(0),batterysix(0)
                  0 Unassigned Iterated: 
                  0 Cumulative Unassigned: 
                  12 Hidden: mux(1)[11],npn(0)[6],resistor(0)[6],capacitor(0)[6],battery(0)[6],wire(0)[6],batterytwo(0)[6],batterythree(0)[6],batteryfour(0)[6],batteryfive(0)[6],batterysix(0)[6],batteryfive(1)[6]
                  2 Clique Neighbors: 11,12,
                  1 Clique Children: 12,
                  1 Receive Seps: 1,
                  0 incomming VE Separators
                  Send Sep: 2
                    == Clique number: 12
                    Clique information: 39 packed bits, 2 unsigned words (0 splits), weight = 10.165327, jt_weight = 10.165327
                    13 Nodes: mux(1)[11],npn(0)[6],resistor(0)[6],capacitor(0)[6],battery(0)[6],wire(0)[6],batterytwo(0)[6],batterythree(0)[6],batteryfour(0)[6],batteryfive(0)[6],batterysix(0)[6],end(0)[2],mux(0)[11]
                    3 Assigned: mux(1),end(0),mux(0)
                    2 Assigned Sorted: end(0)[2],mux(1)[11]
                    2 Dispositions: 0 0
                    2 Assigned Prob: mux(1),end(0)
                    15 Cum Assigned Prob: length(0),orientation(0),relorientation(0),startState(0),npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterytwo(0),batterythree(0),batteryfour(0),batteryfive(0),batterysix(0),mux(0)
                    11 Union Incomming Seps: npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterytwo(0),batterythree(0),batteryfour(0),batteryfive(0),batterysix(0),mux(0)
                    0 Unassigned Iterated: 
                    0 Cumulative Unassigned: 
                    13 Hidden: mux(1)[11],npn(0)[6],resistor(0)[6],capacitor(0)[6],battery(0)[6],wire(0)[6],batterytwo(0)[6],batterythree(0)[6],batteryfour(0)[6],batteryfive(0)[6],batterysix(0)[6],end(0)[2],mux(0)[11]
                    2 Clique Neighbors: 2,13,
                    1 Clique Children: 2,
                    1 Receive Seps: 0,
                    0 incomming VE Separators
                    Send Sep: 1
                      == Clique number: 2, leaf
                      Clique information: 37 packed bits, 2 unsigned words (0 splits), weight = 9.601055, jt_weight = 9.601055
                      15 Nodes: length(0),orientation(0),relorientation(0),startState(0)[6],npn(0)[6],resistor(0)[6],capacitor(0)[6],battery(0)[6],wire(0)[6],batterytwo(0)[6],batterythree(0)[6],batteryfour(0)[6],batteryfive(0)[6],batterysix(0)[6],mux(0)[11]
                      15 Assigned: length(0),orientation(0),relorientation(0),startState(0),npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterytwo(0),batterythree(0),batteryfour(0),batteryfive(0),batterysix(0),mux(0)
                      15 Assigned Sorted: mux(0)[11],startState(0)[6],npn(0)[6],resistor(0)[6],capacitor(0)[6],battery(0)[6],wire(0)[6],batterytwo(0)[6],batterythree(0)[6],batteryfour(0)[6],batteryfive(0)[6],batterysix(0)[6],length(0),orientation(0),relorientation(0)
                      15 Dispositions: 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
                      15 Assigned Prob: length(0),orientation(0),relorientation(0),startState(0),npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterytwo(0),batterythree(0),batteryfour(0),batteryfive(0),batterysix(0),mux(0)
                      0 Cum Assigned Prob: 
                      0 Union Incomming Seps: 
                      0 Unassigned Iterated: 
                      0 Cumulative Unassigned: 
                      12 Hidden: startState(0)[6],npn(0)[6],resistor(0)[6],capacitor(0)[6],battery(0)[6],wire(0)[6],batterytwo(0)[6],batterythree(0)[6],batteryfour(0)[6],batteryfive(0)[6],batterysix(0)[6],mux(0)[11]
                      1 Clique Neighbors: 12,
                      0 Clique Children: 
                      0 Receive Seps: 
                      0 incomming VE Separators
                      Send Sep: 0
  == Clique number: 0
  Clique information: 0 packed bits, 0 unsigned words (0 splits), weight = 0.000000, jt_weight = 0.000000
  1 Nodes: quadrant(0)[4]
  1 Assigned: quadrant(0)
  1 Assigned Sorted: quadrant(0)[4]
  1 Dispositions: 0
  1 Assigned Prob: quadrant(0)
  1 Cum Assigned Prob: slope(0)
  0 Union Incomming Seps: 
  0 Unassigned Iterated: 
  0 Cumulative Unassigned: 
  0 Hidden: 
  2 Clique Neighbors: 1,3,
  1 Clique Children: 1,
  1 Receive Seps: 11,
  0 incomming VE Separators
  Send Sep: 12
    == Clique number: 1, leaf
    Clique information: 0 packed bits, 0 unsigned words (0 splits), weight = 0.000000, jt_weight = 0.000000
    1 Nodes: slope(0)[2]
    1 Assigned: slope(0)
    1 Assigned Sorted: slope(0)[2]
    1 Dispositions: 0
    1 Assigned Prob: slope(0)
    0 Cum Assigned Prob: 
    0 Union Incomming Seps: 
    0 Unassigned Iterated: 
    0 Cumulative Unassigned: 
    0 Hidden: 
    1 Clique Neighbors: 0,
    0 Clique Children: 
    0 Receive Seps: 
    0 incomming VE Separators
    Send Sep: 11

=== Separator Information ===
Number of separators = 13
== Separator number: 0
Separator information: 0 acc packed bits (0 words, 0 splits), 34 rem packed bits (2 words, 0 splits)
11 Nodes: npn(0)[6],resistor(0)[6],capacitor(0)[6],battery(0)[6],wire(0)[6],batterytwo(0)[6],batterythree(0)[6],batteryfour(0)[6],batteryfive(0)[6],batterysix(0)[6],mux(0)[11]
0 Acc Inter: 
0 Hid Acc Inter: 
11 remainder: npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterytwo(0),batterythree(0),batteryfour(0),batteryfive(0),batterysix(0),mux(0)
11 hRemainder: npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterytwo(0),batterythree(0),batteryfour(0),batteryfive(0),batterysix(0),mux(0)
== Separator number: 1
Separator information: 0 acc packed bits (0 words, 0 splits), 34 rem packed bits (2 words, 0 splits)
11 Nodes: mux(1)[11],npn(0)[6],resistor(0)[6],capacitor(0)[6],battery(0)[6],wire(0)[6],batterytwo(0)[6],batterythree(0)[6],batteryfour(0)[6],batteryfive(0)[6],batterysix(0)[6]
0 Acc Inter: 
0 Hid Acc Inter: 
11 remainder: mux(1),npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterytwo(0),batterythree(0),batteryfour(0),batteryfive(0),batterysix(0)
11 hRemainder: mux(1),npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterytwo(0),batterythree(0),batteryfour(0),batteryfive(0),batterysix(0)
== Separator number: 2
Separator information: 0 acc packed bits (0 words, 0 splits), 34 rem packed bits (2 words, 0 splits)
11 Nodes: mux(1)[11],npn(0)[6],resistor(0)[6],capacitor(0)[6],battery(0)[6],wire(0)[6],batterytwo(0)[6],batterythree(0)[6],batteryfour(0)[6],batterysix(0)[6],batteryfive(1)[6]
0 Acc Inter: 
0 Hid Acc Inter: 
11 remainder: mux(1),npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterytwo(0),batterythree(0),batteryfour(0),batterysix(0),batteryfive(1)
11 hRemainder: mux(1),npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterytwo(0),batterythree(0),batteryfour(0),batterysix(0),batteryfive(1)
== Separator number: 3
Separator information: 0 acc packed bits (0 words, 0 splits), 34 rem packed bits (2 words, 0 splits)
11 Nodes: mux(1)[11],npn(0)[6],resistor(0)[6],capacitor(0)[6],battery(0)[6],wire(0)[6],batterythree(0)[6],batteryfour(0)[6],batterysix(0)[6],batterytwo(1)[6],batteryfive(1)[6]
0 Acc Inter: 
0 Hid Acc Inter: 
11 remainder: mux(1),npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterythree(0),batteryfour(0),batterysix(0),batterytwo(1),batteryfive(1)
11 hRemainder: mux(1),npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterythree(0),batteryfour(0),batterysix(0),batterytwo(1),batteryfive(1)
== Separator number: 4
Separator information: 0 acc packed bits (0 words, 0 splits), 34 rem packed bits (2 words, 0 splits)
11 Nodes: mux(1)[11],npn(0)[6],resistor(0)[6],capacitor(0)[6],battery(0)[6],wire(0)[6],batterythree(0)[6],batteryfour(0)[6],batterytwo(1)[6],batteryfive(1)[6],batterysix(1)[6]
0 Acc Inter: 
0 Hid Acc Inter: 
11 remainder: mux(1),npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterythree(0),batteryfour(0),batterytwo(1),batteryfive(1),batterysix(1)
11 hRemainder: mux(1),npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterythree(0),batteryfour(0),batterytwo(1),batteryfive(1),batterysix(1)
== Separator number: 5
Separator information: 0 acc packed bits (0 words, 0 splits), 34 rem packed bits (2 words, 0 splits)
11 Nodes: mux(1)[11],npn(0)[6],resistor(0)[6],capacitor(0)[6],battery(0)[6],batterythree(0)[6],batteryfour(0)[6],wire(1)[6],batterytwo(1)[6],batteryfive(1)[6],batterysix(1)[6]
0 Acc Inter: 
0 Hid Acc Inter: 
11 remainder: mux(1),npn(0),resistor(0),capacitor(0),battery(0),batterythree(0),batteryfour(0),wire(1),batterytwo(1),batteryfive(1),batterysix(1)
11 hRemainder: mux(1),npn(0),resistor(0),capacitor(0),battery(0),batterythree(0),batteryfour(0),wire(1),batterytwo(1),batteryfive(1),batterysix(1)
== Separator number: 6
Separator information: 0 acc packed bits (0 words, 0 splits), 34 rem packed bits (2 words, 0 splits)
11 Nodes: mux(1)[11],npn(0)[6],resistor(0)[6],capacitor(0)[6],battery(0)[6],batterythree(0)[6],wire(1)[6],batterytwo(1)[6],batteryfour(1)[6],batteryfive(1)[6],batterysix(1)[6]
0 Acc Inter: 
0 Hid Acc Inter: 
11 remainder: mux(1),npn(0),resistor(0),capacitor(0),battery(0),batterythree(0),wire(1),batterytwo(1),batteryfour(1),batteryfive(1),batterysix(1)
11 hRemainder: mux(1),npn(0),resistor(0),capacitor(0),battery(0),batterythree(0),wire(1),batterytwo(1),batteryfour(1),batteryfive(1),batterysix(1)
== Separator number: 7
Separator information: 0 acc packed bits (0 words, 0 splits), 34 rem packed bits (2 words, 0 splits)
11 Nodes: mux(1)[11],npn(0)[6],resistor(0)[6],capacitor(0)[6],battery(0)[6],wire(1)[6],batterytwo(1)[6],batterythree(1)[6],batteryfour(1)[6],batteryfive(1)[6],batterysix(1)[6]
0 Acc Inter: 
0 Hid Acc Inter: 
11 remainder: mux(1),npn(0),resistor(0),capacitor(0),battery(0),wire(1),batterytwo(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1)
11 hRemainder: mux(1),npn(0),resistor(0),capacitor(0),battery(0),wire(1),batterytwo(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1)
== Separator number: 8
Separator information: 0 acc packed bits (0 words, 0 splits), 34 rem packed bits (2 words, 0 splits)
11 Nodes: mux(1)[11],resistor(1)[6],npn(0)[6],capacitor(0)[6],battery(0)[6],wire(1)[6],batterytwo(1)[6],batterythree(1)[6],batteryfour(1)[6],batteryfive(1)[6],batterysix(1)[6]
0 Acc Inter: 
0 Hid Acc Inter: 
11 remainder: mux(1),resistor(1),npn(0),capacitor(0),battery(0),wire(1),batterytwo(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1)
11 hRemainder: mux(1),resistor(1),npn(0),capacitor(0),battery(0),wire(1),batterytwo(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1)
== Separator number: 9
Separator information: 0 acc packed bits (0 words, 0 splits), 34 rem packed bits (2 words, 0 splits)
11 Nodes: mux(1)[11],resistor(1)[6],npn(0)[6],capacitor(0)[6],battery(1)[6],wire(1)[6],batterytwo(1)[6],batterythree(1)[6],batteryfour(1)[6],batteryfive(1)[6],batterysix(1)[6]
0 Acc Inter: 
0 Hid Acc Inter: 
11 remainder: mux(1),resistor(1),npn(0),capacitor(0),battery(1),wire(1),batterytwo(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1)
11 hRemainder: mux(1),resistor(1),npn(0),capacitor(0),battery(1),wire(1),batterytwo(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1)
== Separator number: 10
Separator information: 0 acc packed bits (0 words, 0 splits), 34 rem packed bits (2 words, 0 splits)
11 Nodes: mux(1)[11],resistor(1)[6],npn(0)[6],capacitor(1)[6],battery(1)[6],wire(1)[6],batterytwo(1)[6],batterythree(1)[6],batteryfour(1)[6],batteryfive(1)[6],batterysix(1)[6]
0 Acc Inter: 
0 Hid Acc Inter: 
11 remainder: mux(1),resistor(1),npn(0),capacitor(1),battery(1),wire(1),batterytwo(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1)
11 hRemainder: mux(1),resistor(1),npn(0),capacitor(1),battery(1),wire(1),batterytwo(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1)
== Separator number: 11
Separator information: 0 acc packed bits (0 words, 0 splits), 0 rem packed bits (0 words, 0 splits)
0 Nodes: 
0 Acc Inter: 
0 Hid Acc Inter: 
0 remainder: 
0 hRemainder: 
== Separator number: 12
Separator information: 0 acc packed bits (0 words, 0 splits), 0 rem packed bits (0 words, 0 splits)
0 Nodes: 
0 Acc Inter: 
0 Hid Acc Inter: 
0 remainder: 
0 hRemainder: 


===============================
   Co partition information: JT_weight = 10.736719
=== Clique Information ===
Number of cliques = 13
== Clique number: 12, root/right-interface clique, root/right-interface clique
Clique information: 37 packed bits, 2 unsigned words (0 splits), weight = 9.601056, jt_weight = 9.601056
12 Nodes: npn(1)[6],mux(2)[11],npn(2)[6],resistor(2)[6],capacitor(2)[6],battery(2)[6],wire(2)[6],batterytwo(2)[6],batterythree(2)[6],batteryfour(2)[6],batteryfive(2)[6],batterysix(2)[6]
1 Assigned: npn(2)
1 Assigned Sorted: npn(2)[6]
1 Dispositions: 0
1 Assigned Prob: npn(2)
45 Cum Assigned Prob: quadrant(0),length(0),orientation(0),relorientation(0),mux(1),npn(1),resistor(1),startState(0),npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterytwo(0),batterythree(0),batteryfour(0),batteryfive(0),batterysix(0),end(0),slope(0),mux(0),capacitor(1),battery(1),wire(1),batterytwo(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1),end(1),slope(1),quadrant(1),length(1),orientation(1),relorientation(1),mux(2),resistor(2),capacitor(2),battery(2),wire(2),batterytwo(2),batterythree(2),batteryfour(2),batteryfive(2),batterysix(2)
11 Union Incomming Seps: npn(1),mux(2),resistor(2),capacitor(2),battery(2),wire(2),batterytwo(2),batterythree(2),batteryfour(2),batteryfive(2),batterysix(2)
0 Unassigned Iterated: 
0 Cumulative Unassigned: 
12 Hidden: npn(1)[6],mux(2)[11],npn(2)[6],resistor(2)[6],capacitor(2)[6],battery(2)[6],wire(2)[6],batterytwo(2)[6],batterythree(2)[6],batteryfour(2)[6],batteryfive(2)[6],batterysix(2)[6]
2 Clique Neighbors: 11,5,
2 Clique Children: 11,5,
2 Receive Seps: 11,9,
0 incomming VE Separators
Send Sep: -1
  == Clique number: 11
  Clique information: 37 packed bits, 2 unsigned words (0 splits), weight = 9.601056, jt_weight = 9.601056
  12 Nodes: npn(1)[6],batterythree(1)[6],mux(2)[11],resistor(2)[6],capacitor(2)[6],battery(2)[6],wire(2)[6],batterytwo(2)[6],batterythree(2)[6],batteryfour(2)[6],batteryfive(2)[6],batterysix(2)[6]
  1 Assigned: batterythree(2)
  1 Assigned Sorted: batterythree(2)[6]
  1 Dispositions: 0
  1 Assigned Prob: batterythree(2)
  42 Cum Assigned Prob: quadrant(0),length(0),orientation(0),relorientation(0),mux(1),npn(1),resistor(1),startState(0),npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterytwo(0),batterythree(0),batteryfour(0),batteryfive(0),batterysix(0),end(0),slope(0),mux(0),capacitor(1),battery(1),wire(1),batterytwo(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1),end(1),length(1),orientation(1),relorientation(1),mux(2),resistor(2),capacitor(2),battery(2),wire(2),batterytwo(2),batteryfour(2),batteryfive(2),batterysix(2)
  11 Union Incomming Seps: npn(1),batterythree(1),mux(2),resistor(2),capacitor(2),battery(2),wire(2),batterytwo(2),batteryfour(2),batteryfive(2),batterysix(2)
  0 Unassigned Iterated: 
  0 Cumulative Unassigned: 
  12 Hidden: npn(1)[6],batterythree(1)[6],mux(2)[11],resistor(2)[6],capacitor(2)[6],battery(2)[6],wire(2)[6],batterytwo(2)[6],batterythree(2)[6],batteryfour(2)[6],batteryfive(2)[6],batterysix(2)[6]
  2 Clique Neighbors: 10,12,
  1 Clique Children: 10,
  1 Receive Seps: 8,
  0 incomming VE Separators
  Send Sep: 9
    == Clique number: 10
    Clique information: 37 packed bits, 2 unsigned words (0 splits), weight = 9.601056, jt_weight = 9.601056
    12 Nodes: npn(1)[6],capacitor(1)[6],batterythree(1)[6],mux(2)[11],resistor(2)[6],capacitor(2)[6],battery(2)[6],wire(2)[6],batterytwo(2)[6],batteryfour(2)[6],batteryfive(2)[6],batterysix(2)[6]
    1 Assigned: capacitor(2)
    1 Assigned Sorted: capacitor(2)[6]
    1 Dispositions: 0
    1 Assigned Prob: capacitor(2)
    41 Cum Assigned Prob: quadrant(0),length(0),orientation(0),relorientation(0),mux(1),npn(1),resistor(1),startState(0),npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterytwo(0),batterythree(0),batteryfour(0),batteryfive(0),batterysix(0),end(0),slope(0),mux(0),capacitor(1),battery(1),wire(1),batterytwo(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1),end(1),length(1),orientation(1),relorientation(1),mux(2),resistor(2),battery(2),wire(2),batterytwo(2),batteryfour(2),batteryfive(2),batterysix(2)
    11 Union Incomming Seps: npn(1),capacitor(1),batterythree(1),mux(2),resistor(2),battery(2),wire(2),batterytwo(2),batteryfour(2),batteryfive(2),batterysix(2)
    0 Unassigned Iterated: 
    0 Cumulative Unassigned: 
    12 Hidden: npn(1)[6],capacitor(1)[6],batterythree(1)[6],mux(2)[11],resistor(2)[6],capacitor(2)[6],battery(2)[6],wire(2)[6],batterytwo(2)[6],batteryfour(2)[6],batteryfive(2)[6],batterysix(2)[6]
    2 Clique Neighbors: 11,9,
    1 Clique Children: 9,
    1 Receive Seps: 7,
    0 incomming VE Separators
    Send Sep: 8
      == Clique number: 9
      Clique information: 37 packed bits, 2 unsigned words (0 splits), weight = 9.601056, jt_weight = 9.601056
      13 Nodes: npn(1)[6],capacitor(1)[6],batterythree(1)[6],batterysix(1)[6],relorientation(1),mux(2)[11],resistor(2)[6],battery(2)[6],wire(2)[6],batterytwo(2)[6],batteryfour(2)[6],batteryfive(2)[6],batterysix(2)[6]
      1 Assigned: batterysix(2)
      1 Assigned Sorted: batterysix(2)[6]
      1 Dispositions: 0
      1 Assigned Prob: batterysix(2)
      40 Cum Assigned Prob: quadrant(0),length(0),orientation(0),relorientation(0),mux(1),npn(1),resistor(1),startState(0),npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterytwo(0),batterythree(0),batteryfour(0),batteryfive(0),batterysix(0),end(0),slope(0),mux(0),capacitor(1),battery(1),wire(1),batterytwo(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1),end(1),length(1),orientation(1),relorientation(1),mux(2),resistor(2),battery(2),wire(2),batterytwo(2),batteryfour(2),batteryfive(2)
      12 Union Incomming Seps: npn(1),capacitor(1),batterythree(1),batterysix(1),relorientation(1),mux(2),resistor(2),battery(2),wire(2),batterytwo(2),batteryfour(2),batteryfive(2)
      0 Unassigned Iterated: 
      0 Cumulative Unassigned: 
      12 Hidden: npn(1)[6],capacitor(1)[6],batterythree(1)[6],batterysix(1)[6],mux(2)[11],resistor(2)[6],battery(2)[6],wire(2)[6],batterytwo(2)[6],batteryfour(2)[6],batteryfive(2)[6],batterysix(2)[6]
      2 Clique Neighbors: 8,10,
      1 Clique Children: 8,
      1 Receive Seps: 6,
      0 incomming VE Separators
      Send Sep: 7
        == Clique number: 8
        Clique information: 37 packed bits, 2 unsigned words (0 splits), weight = 9.601056, jt_weight = 9.601056
        13 Nodes: npn(1)[6],capacitor(1)[6],wire(1)[6],batterythree(1)[6],batterysix(1)[6],relorientation(1),mux(2)[11],resistor(2)[6],battery(2)[6],wire(2)[6],batterytwo(2)[6],batteryfour(2)[6],batteryfive(2)[6]
        1 Assigned: wire(2)
        1 Assigned Sorted: wire(2)[6]
        1 Dispositions: 0
        1 Assigned Prob: wire(2)
        39 Cum Assigned Prob: quadrant(0),length(0),orientation(0),relorientation(0),mux(1),npn(1),resistor(1),startState(0),npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterytwo(0),batterythree(0),batteryfour(0),batteryfive(0),batterysix(0),end(0),slope(0),mux(0),capacitor(1),battery(1),wire(1),batterytwo(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1),end(1),length(1),orientation(1),relorientation(1),mux(2),resistor(2),battery(2),batterytwo(2),batteryfour(2),batteryfive(2)
        12 Union Incomming Seps: npn(1),capacitor(1),wire(1),batterythree(1),batterysix(1),relorientation(1),mux(2),resistor(2),battery(2),batterytwo(2),batteryfour(2),batteryfive(2)
        0 Unassigned Iterated: 
        0 Cumulative Unassigned: 
        12 Hidden: npn(1)[6],capacitor(1)[6],wire(1)[6],batterythree(1)[6],batterysix(1)[6],mux(2)[11],resistor(2)[6],battery(2)[6],wire(2)[6],batterytwo(2)[6],batteryfour(2)[6],batteryfive(2)[6]
        2 Clique Neighbors: 9,7,
        1 Clique Children: 7,
        1 Receive Seps: 5,
        0 incomming VE Separators
        Send Sep: 6
          == Clique number: 7
          Clique information: 37 packed bits, 2 unsigned words (0 splits), weight = 9.601057, jt_weight = 9.601056
          13 Nodes: npn(1)[6],capacitor(1)[6],wire(1)[6],batterythree(1)[6],batteryfour(1)[6],batterysix(1)[6],relorientation(1),mux(2)[11],resistor(2)[6],battery(2)[6],batterytwo(2)[6],batteryfour(2)[6],batteryfive(2)[6]
          1 Assigned: batteryfour(2)
          1 Assigned Sorted: batteryfour(2)[6]
          1 Dispositions: 0
          1 Assigned Prob: batteryfour(2)
          38 Cum Assigned Prob: quadrant(0),length(0),orientation(0),relorientation(0),mux(1),npn(1),resistor(1),startState(0),npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterytwo(0),batterythree(0),batteryfour(0),batteryfive(0),batterysix(0),end(0),slope(0),mux(0),capacitor(1),battery(1),wire(1),batterytwo(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1),end(1),length(1),orientation(1),relorientation(1),mux(2),resistor(2),battery(2),batterytwo(2),batteryfive(2)
          12 Union Incomming Seps: npn(1),capacitor(1),wire(1),batterythree(1),batteryfour(1),batterysix(1),relorientation(1),mux(2),resistor(2),battery(2),batterytwo(2),batteryfive(2)
          0 Unassigned Iterated: 
          0 Cumulative Unassigned: 
          12 Hidden: npn(1)[6],capacitor(1)[6],wire(1)[6],batterythree(1)[6],batteryfour(1)[6],batterysix(1)[6],mux(2)[11],resistor(2)[6],battery(2)[6],batterytwo(2)[6],batteryfour(2)[6],batteryfive(2)[6]
          2 Clique Neighbors: 8,6,
          1 Clique Children: 6,
          1 Receive Seps: 4,
          0 incomming VE Separators
          Send Sep: 5
            == Clique number: 6
            Clique information: 37 packed bits, 2 unsigned words (0 splits), weight = 9.601057, jt_weight = 9.601056
            13 Nodes: npn(1)[6],capacitor(1)[6],battery(1)[6],wire(1)[6],batterythree(1)[6],batteryfour(1)[6],batterysix(1)[6],relorientation(1),mux(2)[11],resistor(2)[6],battery(2)[6],batterytwo(2)[6],batteryfive(2)[6]
            1 Assigned: battery(2)
            1 Assigned Sorted: battery(2)[6]
            1 Dispositions: 0
            1 Assigned Prob: battery(2)
            37 Cum Assigned Prob: quadrant(0),length(0),orientation(0),relorientation(0),mux(1),npn(1),resistor(1),startState(0),npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterytwo(0),batterythree(0),batteryfour(0),batteryfive(0),batterysix(0),end(0),slope(0),mux(0),capacitor(1),battery(1),wire(1),batterytwo(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1),end(1),length(1),orientation(1),relorientation(1),mux(2),resistor(2),batterytwo(2),batteryfive(2)
            12 Union Incomming Seps: npn(1),capacitor(1),battery(1),wire(1),batterythree(1),batteryfour(1),batterysix(1),relorientation(1),mux(2),resistor(2),batterytwo(2),batteryfive(2)
            0 Unassigned Iterated: 
            0 Cumulative Unassigned: 
            12 Hidden: npn(1)[6],capacitor(1)[6],battery(1)[6],wire(1)[6],batterythree(1)[6],batteryfour(1)[6],batterysix(1)[6],mux(2)[11],resistor(2)[6],battery(2)[6],batterytwo(2)[6],batteryfive(2)[6]
            2 Clique Neighbors: 7,4,
            1 Clique Children: 4,
            1 Receive Seps: 3,
            0 incomming VE Separators
            Send Sep: 4
              == Clique number: 4
              Clique information: 37 packed bits, 2 unsigned words (0 splits), weight = 9.601057, jt_weight = 9.601056
              15 Nodes: npn(1)[6],capacitor(1)[6],battery(1)[6],wire(1)[6],batterythree(1)[6],batteryfour(1)[6],batteryfive(1)[6],batterysix(1)[6],length(1),orientation(1),relorientation(1),mux(2)[11],resistor(2)[6],batterytwo(2)[6],batteryfive(2)[6]
              1 Assigned: batteryfive(2)
              1 Assigned Sorted: batteryfive(2)[6]
              1 Dispositions: 0
              1 Assigned Prob: batteryfive(2)
              36 Cum Assigned Prob: quadrant(0),length(0),orientation(0),relorientation(0),mux(1),npn(1),resistor(1),startState(0),npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterytwo(0),batterythree(0),batteryfour(0),batteryfive(0),batterysix(0),end(0),slope(0),mux(0),capacitor(1),battery(1),wire(1),batterytwo(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1),end(1),length(1),orientation(1),relorientation(1),mux(2),resistor(2),batterytwo(2)
              14 Union Incomming Seps: npn(1),capacitor(1),battery(1),wire(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1),length(1),orientation(1),relorientation(1),mux(2),resistor(2),batterytwo(2)
              0 Unassigned Iterated: 
              0 Cumulative Unassigned: 
              12 Hidden: npn(1)[6],capacitor(1)[6],battery(1)[6],wire(1)[6],batterythree(1)[6],batteryfour(1)[6],batteryfive(1)[6],batterysix(1)[6],mux(2)[11],resistor(2)[6],batterytwo(2)[6],batteryfive(2)[6]
              2 Clique Neighbors: 3,6,
              1 Clique Children: 3,
              1 Receive Seps: 2,
              0 incomming VE Separators
              Send Sep: 3
                == Clique number: 3
                Clique information: 37 packed bits, 2 unsigned words (0 splits), weight = 9.601056, jt_weight = 9.601056
                15 Nodes: npn(1)[6],capacitor(1)[6],battery(1)[6],wire(1)[6],batterytwo(1)[6],batterythree(1)[6],batteryfour(1)[6],batteryfive(1)[6],batterysix(1)[6],length(1),orientation(1),relorientation(1),mux(2)[11],resistor(2)[6],batterytwo(2)[6]
                1 Assigned: batterytwo(2)
                1 Assigned Sorted: batterytwo(2)[6]
                1 Dispositions: 0
                1 Assigned Prob: batterytwo(2)
                35 Cum Assigned Prob: quadrant(0),length(0),orientation(0),relorientation(0),mux(1),npn(1),resistor(1),startState(0),npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterytwo(0),batterythree(0),batteryfour(0),batteryfive(0),batterysix(0),end(0),slope(0),mux(0),capacitor(1),battery(1),wire(1),batterytwo(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1),end(1),length(1),orientation(1),relorientation(1),mux(2),resistor(2)
                14 Union Incomming Seps: npn(1),capacitor(1),battery(1),wire(1),batterytwo(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1),length(1),orientation(1),relorientation(1),mux(2),resistor(2)
                0 Unassigned Iterated: 
                0 Cumulative Unassigned: 
                12 Hidden: npn(1)[6],capacitor(1)[6],battery(1)[6],wire(1)[6],batterytwo(1)[6],batterythree(1)[6],batteryfour(1)[6],batteryfive(1)[6],batterysix(1)[6],mux(2)[11],resistor(2)[6],batterytwo(2)[6]
                2 Clique Neighbors: 1,4,
                1 Clique Children: 1,
                1 Receive Seps: 1,
                0 incomming VE Separators
                Send Sep: 2
                  == Clique number: 1
                  Clique information: 37 packed bits, 2 unsigned words (0 splits), weight = 9.601056, jt_weight = 9.601056
                  15 Nodes: npn(1)[6],resistor(1)[6],capacitor(1)[6],battery(1)[6],wire(1)[6],batterytwo(1)[6],batterythree(1)[6],batteryfour(1)[6],batteryfive(1)[6],batterysix(1)[6],length(1),orientation(1),relorientation(1),mux(2)[11],resistor(2)[6]
                  1 Assigned: resistor(2)
                  1 Assigned Sorted: resistor(2)[6]
                  1 Dispositions: 0
                  1 Assigned Prob: resistor(2)
                  34 Cum Assigned Prob: quadrant(0),length(0),orientation(0),relorientation(0),mux(1),npn(1),resistor(1),startState(0),npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterytwo(0),batterythree(0),batteryfour(0),batteryfive(0),batterysix(0),end(0),slope(0),mux(0),capacitor(1),battery(1),wire(1),batterytwo(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1),end(1),length(1),orientation(1),relorientation(1),mux(2)
                  14 Union Incomming Seps: npn(1),resistor(1),capacitor(1),battery(1),wire(1),batterytwo(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1),length(1),orientation(1),relorientation(1),mux(2)
                  0 Unassigned Iterated: 
                  0 Cumulative Unassigned: 
                  12 Hidden: npn(1)[6],resistor(1)[6],capacitor(1)[6],battery(1)[6],wire(1)[6],batterytwo(1)[6],batterythree(1)[6],batteryfour(1)[6],batteryfive(1)[6],batterysix(1)[6],mux(2)[11],resistor(2)[6]
                  2 Clique Neighbors: 3,0,
                  1 Clique Children: 0,
                  1 Receive Seps: 0,
                  0 incomming VE Separators
                  Send Sep: 1
                    == Clique number: 0, leaf/left-interface clique
                    Clique information: 39 packed bits, 2 unsigned words (0 splits), weight = 10.165327, jt_weight = 10.165327
                    16 Nodes: mux(1)[11],npn(1)[6],resistor(1)[6],capacitor(1)[6],battery(1)[6],wire(1)[6],batterytwo(1)[6],batterythree(1)[6],batteryfour(1)[6],batteryfive(1)[6],batterysix(1)[6],end(1)[2],length(1),orientation(1),relorientation(1),mux(2)[11]
                    5 Assigned: end(1),length(1),orientation(1),relorientation(1),mux(2)
                    5 Assigned Sorted: length(1),orientation(1),relorientation(1),end(1)[2],mux(2)[11]
                    5 Dispositions: 0 0 0 0 0
                    5 Assigned Prob: end(1),length(1),orientation(1),relorientation(1),mux(2)
                    29 Cum Assigned Prob: quadrant(0),length(0),orientation(0),relorientation(0),mux(1),npn(1),resistor(1),startState(0),npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterytwo(0),batterythree(0),batteryfour(0),batteryfive(0),batterysix(0),end(0),slope(0),mux(0),capacitor(1),battery(1),wire(1),batterytwo(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1)
                    11 Union Incomming Seps: mux(1),npn(1),resistor(1),capacitor(1),battery(1),wire(1),batterytwo(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1)
                    0 Unassigned Iterated: 
                    0 Cumulative Unassigned: 
                    13 Hidden: mux(1)[11],npn(1)[6],resistor(1)[6],capacitor(1)[6],battery(1)[6],wire(1)[6],batterytwo(1)[6],batterythree(1)[6],batteryfour(1)[6],batteryfive(1)[6],batterysix(1)[6],end(1)[2],mux(2)[11]
                    1 Clique Neighbors: 1,
                    0 Clique Children: 
                    1 Receive Seps: 12,
                    0 incomming VE Separators
                    Send Sep: 0
  == Clique number: 5
  Clique information: 0 packed bits, 0 unsigned words (0 splits), weight = 0.000000, jt_weight = 0.000000
  1 Nodes: quadrant(1)[4]
  1 Assigned: quadrant(1)
  1 Assigned Sorted: quadrant(1)[4]
  1 Dispositions: 0
  1 Assigned Prob: quadrant(1)
  1 Cum Assigned Prob: slope(1)
  0 Union Incomming Seps: 
  0 Unassigned Iterated: 
  0 Cumulative Unassigned: 
  0 Hidden: 
  2 Clique Neighbors: 2,12,
  1 Clique Children: 2,
  1 Receive Seps: 10,
  0 incomming VE Separators
  Send Sep: 11
    == Clique number: 2, leaf
    Clique information: 0 packed bits, 0 unsigned words (0 splits), weight = 0.000000, jt_weight = 0.000000
    1 Nodes: slope(1)[2]
    1 Assigned: slope(1)
    1 Assigned Sorted: slope(1)[2]
    1 Dispositions: 0
    1 Assigned Prob: slope(1)
    0 Cum Assigned Prob: 
    0 Union Incomming Seps: 
    0 Unassigned Iterated: 
    0 Cumulative Unassigned: 
    0 Hidden: 
    1 Clique Neighbors: 5,
    0 Clique Children: 
    0 Receive Seps: 
    0 incomming VE Separators
    Send Sep: 10

=== Separator Information ===
Number of separators = 13
== Separator number: 0
Separator information: 0 acc packed bits (0 words, 0 splits), 34 rem packed bits (2 words, 0 splits)
14 Nodes: npn(1)[6],resistor(1)[6],capacitor(1)[6],battery(1)[6],wire(1)[6],batterytwo(1)[6],batterythree(1)[6],batteryfour(1)[6],batteryfive(1)[6],batterysix(1)[6],length(1),orientation(1),relorientation(1),mux(2)[11]
0 Acc Inter: 
0 Hid Acc Inter: 
14 remainder: npn(1),resistor(1),capacitor(1),battery(1),wire(1),batterytwo(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1),length(1),orientation(1),relorientation(1),mux(2)
11 hRemainder: npn(1),resistor(1),capacitor(1),battery(1),wire(1),batterytwo(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1),mux(2)
== Separator number: 1
Separator information: 0 acc packed bits (0 words, 0 splits), 34 rem packed bits (2 words, 0 splits)
14 Nodes: npn(1)[6],capacitor(1)[6],battery(1)[6],wire(1)[6],batterytwo(1)[6],batterythree(1)[6],batteryfour(1)[6],batteryfive(1)[6],batterysix(1)[6],length(1),orientation(1),relorientation(1),mux(2)[11],resistor(2)[6]
0 Acc Inter: 
0 Hid Acc Inter: 
14 remainder: npn(1),capacitor(1),battery(1),wire(1),batterytwo(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1),length(1),orientation(1),relorientation(1),mux(2),resistor(2)
11 hRemainder: npn(1),capacitor(1),battery(1),wire(1),batterytwo(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1),mux(2),resistor(2)
== Separator number: 2
Separator information: 0 acc packed bits (0 words, 0 splits), 34 rem packed bits (2 words, 0 splits)
14 Nodes: npn(1)[6],capacitor(1)[6],battery(1)[6],wire(1)[6],batterythree(1)[6],batteryfour(1)[6],batteryfive(1)[6],batterysix(1)[6],length(1),orientation(1),relorientation(1),mux(2)[11],resistor(2)[6],batterytwo(2)[6]
0 Acc Inter: 
0 Hid Acc Inter: 
14 remainder: npn(1),capacitor(1),battery(1),wire(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1),length(1),orientation(1),relorientation(1),mux(2),resistor(2),batterytwo(2)
11 hRemainder: npn(1),capacitor(1),battery(1),wire(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1),mux(2),resistor(2),batterytwo(2)
== Separator number: 3
Separator information: 0 acc packed bits (0 words, 0 splits), 34 rem packed bits (2 words, 0 splits)
12 Nodes: npn(1)[6],capacitor(1)[6],battery(1)[6],wire(1)[6],batterythree(1)[6],batteryfour(1)[6],batterysix(1)[6],relorientation(1),mux(2)[11],resistor(2)[6],batterytwo(2)[6],batteryfive(2)[6]
0 Acc Inter: 
0 Hid Acc Inter: 
12 remainder: npn(1),capacitor(1),battery(1),wire(1),batterythree(1),batteryfour(1),batterysix(1),relorientation(1),mux(2),resistor(2),batterytwo(2),batteryfive(2)
11 hRemainder: npn(1),capacitor(1),battery(1),wire(1),batterythree(1),batteryfour(1),batterysix(1),mux(2),resistor(2),batterytwo(2),batteryfive(2)
== Separator number: 4
Separator information: 0 acc packed bits (0 words, 0 splits), 34 rem packed bits (2 words, 0 splits)
12 Nodes: npn(1)[6],capacitor(1)[6],wire(1)[6],batterythree(1)[6],batteryfour(1)[6],batterysix(1)[6],relorientation(1),mux(2)[11],resistor(2)[6],battery(2)[6],batterytwo(2)[6],batteryfive(2)[6]
0 Acc Inter: 
0 Hid Acc Inter: 
12 remainder: npn(1),capacitor(1),wire(1),batterythree(1),batteryfour(1),batterysix(1),relorientation(1),mux(2),resistor(2),battery(2),batterytwo(2),batteryfive(2)
11 hRemainder: npn(1),capacitor(1),wire(1),batterythree(1),batteryfour(1),batterysix(1),mux(2),resistor(2),battery(2),batterytwo(2),batteryfive(2)
== Separator number: 5
Separator information: 0 acc packed bits (0 words, 0 splits), 34 rem packed bits (2 words, 0 splits)
12 Nodes: npn(1)[6],capacitor(1)[6],wire(1)[6],batterythree(1)[6],batterysix(1)[6],relorientation(1),mux(2)[11],resistor(2)[6],battery(2)[6],batterytwo(2)[6],batteryfour(2)[6],batteryfive(2)[6]
0 Acc Inter: 
0 Hid Acc Inter: 
12 remainder: npn(1),capacitor(1),wire(1),batterythree(1),batterysix(1),relorientation(1),mux(2),resistor(2),battery(2),batterytwo(2),batteryfour(2),batteryfive(2)
11 hRemainder: npn(1),capacitor(1),wire(1),batterythree(1),batterysix(1),mux(2),resistor(2),battery(2),batterytwo(2),batteryfour(2),batteryfive(2)
== Separator number: 6
Separator information: 0 acc packed bits (0 words, 0 splits), 34 rem packed bits (2 words, 0 splits)
12 Nodes: npn(1)[6],capacitor(1)[6],batterythree(1)[6],batterysix(1)[6],relorientation(1),mux(2)[11],resistor(2)[6],battery(2)[6],wire(2)[6],batterytwo(2)[6],batteryfour(2)[6],batteryfive(2)[6]
0 Acc Inter: 
0 Hid Acc Inter: 
12 remainder: npn(1),capacitor(1),batterythree(1),batterysix(1),relorientation(1),mux(2),resistor(2),battery(2),wire(2),batterytwo(2),batteryfour(2),batteryfive(2)
11 hRemainder: npn(1),capacitor(1),batterythree(1),batterysix(1),mux(2),resistor(2),battery(2),wire(2),batterytwo(2),batteryfour(2),batteryfive(2)
== Separator number: 7
Separator information: 0 acc packed bits (0 words, 0 splits), 34 rem packed bits (2 words, 0 splits)
11 Nodes: npn(1)[6],capacitor(1)[6],batterythree(1)[6],mux(2)[11],resistor(2)[6],battery(2)[6],wire(2)[6],batterytwo(2)[6],batteryfour(2)[6],batteryfive(2)[6],batterysix(2)[6]
0 Acc Inter: 
0 Hid Acc Inter: 
11 remainder: npn(1),capacitor(1),batterythree(1),mux(2),resistor(2),battery(2),wire(2),batterytwo(2),batteryfour(2),batteryfive(2),batterysix(2)
11 hRemainder: npn(1),capacitor(1),batterythree(1),mux(2),resistor(2),battery(2),wire(2),batterytwo(2),batteryfour(2),batteryfive(2),batterysix(2)
== Separator number: 8
Separator information: 0 acc packed bits (0 words, 0 splits), 34 rem packed bits (2 words, 0 splits)
11 Nodes: npn(1)[6],batterythree(1)[6],mux(2)[11],resistor(2)[6],capacitor(2)[6],battery(2)[6],wire(2)[6],batterytwo(2)[6],batteryfour(2)[6],batteryfive(2)[6],batterysix(2)[6]
0 Acc Inter: 
0 Hid Acc Inter: 
11 remainder: npn(1),batterythree(1),mux(2),resistor(2),capacitor(2),battery(2),wire(2),batterytwo(2),batteryfour(2),batteryfive(2),batterysix(2)
11 hRemainder: npn(1),batterythree(1),mux(2),resistor(2),capacitor(2),battery(2),wire(2),batterytwo(2),batteryfour(2),batteryfive(2),batterysix(2)
== Separator number: 9
Separator information: 0 acc packed bits (0 words, 0 splits), 34 rem packed bits (2 words, 0 splits)
11 Nodes: npn(1)[6],mux(2)[11],resistor(2)[6],capacitor(2)[6],battery(2)[6],wire(2)[6],batterytwo(2)[6],batterythree(2)[6],batteryfour(2)[6],batteryfive(2)[6],batterysix(2)[6]
0 Acc Inter: 
0 Hid Acc Inter: 
11 remainder: npn(1),mux(2),resistor(2),capacitor(2),battery(2),wire(2),batterytwo(2),batterythree(2),batteryfour(2),batteryfive(2),batterysix(2)
11 hRemainder: npn(1),mux(2),resistor(2),capacitor(2),battery(2),wire(2),batterytwo(2),batterythree(2),batteryfour(2),batteryfive(2),batterysix(2)
== Separator number: 10
Separator information: 0 acc packed bits (0 words, 0 splits), 0 rem packed bits (0 words, 0 splits)
0 Nodes: 
0 Acc Inter: 
0 Hid Acc Inter: 
0 remainder: 
0 hRemainder: 
== Separator number: 11
Separator information: 0 acc packed bits (0 words, 0 splits), 0 rem packed bits (0 words, 0 splits)
0 Nodes: 
0 Acc Inter: 
0 Hid Acc Inter: 
0 remainder: 
0 hRemainder: 
== Separator number: 12
Separator information: 0 acc packed bits (0 words, 0 splits), 34 rem packed bits (2 words, 0 splits)
11 Nodes: mux(1)[11],npn(1)[6],resistor(1)[6],capacitor(1)[6],battery(1)[6],wire(1)[6],batterytwo(1)[6],batterythree(1)[6],batteryfour(1)[6],batteryfive(1)[6],batterysix(1)[6]
0 Acc Inter: 
0 Hid Acc Inter: 
11 remainder: mux(1),npn(1),resistor(1),capacitor(1),battery(1),wire(1),batterytwo(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1)
11 hRemainder: mux(1),npn(1),resistor(1),capacitor(1),battery(1),wire(1),batterytwo(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1)


===============================
   E1 partition information: JT_weight = 9.123935
=== Clique Information ===
Number of cliques = 1
== Clique number: 0, root/right-interface clique, root clique, leaf/left-interface clique
Clique information: 35 packed bits, 2 unsigned words (0 splits), weight = 9.123935, jt_weight = 9.123935
17 Nodes: mux(2)[11],npn(2)[6],resistor(2)[6],capacitor(2)[6],battery(2)[6],wire(2)[6],batterytwo(2)[6],batterythree(2)[6],batteryfour(2)[6],batteryfive(2)[6],batterysix(2)[6],end(2)[2],slope(2)[2],quadrant(2)[4],length(2),orientation(2),relorientation(2)
6 Assigned: end(2),slope(2),quadrant(2),length(2),orientation(2),relorientation(2)
6 Assigned Sorted: length(2),slope(2)[2],orientation(2),quadrant(2)[4],relorientation(2),end(2)[2]
6 Dispositions: 0 0 0 0 0 0
6 Assigned Prob: end(2),slope(2),quadrant(2),length(2),orientation(2),relorientation(2)
46 Cum Assigned Prob: quadrant(0),length(0),orientation(0),relorientation(0),mux(1),npn(1),resistor(1),startState(0),npn(0),resistor(0),capacitor(0),battery(0),wire(0),batterytwo(0),batterythree(0),batteryfour(0),batteryfive(0),batterysix(0),end(0),slope(0),mux(0),capacitor(1),battery(1),wire(1),batterytwo(1),batterythree(1),batteryfour(1),batteryfive(1),batterysix(1),end(1),slope(1),quadrant(1),length(1),orientation(1),relorientation(1),mux(2),npn(2),resistor(2),capacitor(2),battery(2),wire(2),batterytwo(2),batterythree(2),batteryfour(2),batteryfive(2),batterysix(2)
11 Union Incomming Seps: mux(2),npn(2),resistor(2),capacitor(2),battery(2),wire(2),batterytwo(2),batterythree(2),batteryfour(2),batteryfive(2),batterysix(2)
0 Unassigned Iterated: 
0 Cumulative Unassigned: 
12 Hidden: mux(2)[11],npn(2)[6],resistor(2)[6],capacitor(2)[6],battery(2)[6],wire(2)[6],batterytwo(2)[6],batterythree(2)[6],batteryfour(2)[6],batteryfive(2)[6],batterysix(2)[6],end(2)[2]
0 Clique Neighbors: 
0 Clique Children: 
1 Receive Seps: 0,
0 incomming VE Separators
Send Sep: -1

=== Separator Information ===
Number of separators = 1
== Separator number: 0
Separator information: 0 acc packed bits (0 words, 0 splits), 34 rem packed bits (2 words, 0 splits)
11 Nodes: mux(2)[11],npn(2)[6],resistor(2)[6],capacitor(2)[6],battery(2)[6],wire(2)[6],batterytwo(2)[6],batterythree(2)[6],batteryfour(2)[6],batteryfive(2)[6],batterysix(2)[6]
0 Acc Inter: 
0 Hid Acc Inter: 
11 remainder: mux(2),npn(2),resistor(2),capacitor(2),battery(2),wire(2),batterytwo(2),batterythree(2),batteryfour(2),batteryfive(2),batterysix(2)
11 hRemainder: mux(2),npn(2),resistor(2),capacitor(2),battery(2),wire(2),batterytwo(2),batterythree(2),batteryfour(2),batteryfive(2),batterysix(2)


===============================

===============================
   P1 message order
Number of messages: 13
  0: 2 --> 12
  1: 12 --> 13
  2: 13 --> 11
  3: 11 --> 10
  4: 10 --> 9
  5: 9 --> 8
  6: 8 --> 7
  7: 7 --> 6
  8: 6 --> 5
  9: 5 --> 4
  10: 4 --> 3
  11: 1 --> 0
  12: 0 --> 3


===============================
   Co message order
Number of messages: 12
  0: 0 --> 1
  1: 1 --> 3
  2: 3 --> 4
  3: 4 --> 6
  4: 6 --> 7
  5: 7 --> 8
  6: 8 --> 9
  7: 9 --> 10
  8: 10 --> 11
  9: 11 --> 12
  10: 2 --> 5
  11: 5 --> 12


===============================
   E1 message order
Number of messages: 0


