###keys
chan1 chan2 bit1 bit2 pac list

###textDisplay
chan1::::REV::::<_,_> ++++empty

###states
 (chan1: empty chan2: empty bit1: false bit2: false pac: pac(0) list: nil) || (chan1: (< false,pac(0) > empty) chan2: empty bit1: false bit2: false pac: pac(0) list: nil) || (chan1: empty chan2: empty bit1: false bit2: true pac: pac(0) list: (pac(0) nil)) || (chan1: empty chan2: (true empty) bit1: false bit2: true pac: pac(0) list: (pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: true pac: pac(0) list: (pac(0) nil)) || (chan1: (< false,pac(0) > empty) chan2: empty bit1: false bit2: true pac: pac(0) list: (pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: true pac: pac(0) list: (pac(0) nil)) || (chan1: (< false,pac(0) > empty) chan2: empty bit1: false bit2: true pac: pac(0) list: (pac(0) nil)) || (chan1: (< false,pac(0) > empty) chan2: (true empty) bit1: false bit2: true pac: pac(0) list: (pac(0) nil)) || (chan1: empty chan2: (true empty) bit1: false bit2: true pac: pac(0) list: (pac(0) nil)) || (chan1: empty chan2: (true true empty) bit1: false bit2: true pac: pac(0) list: (pac(0) nil)) || (chan1: empty chan2: (true true true empty) bit1: false bit2: true pac: pac(0) list: (pac(0) nil)) || (chan1: empty chan2: (true true true true empty) bit1: false bit2: true pac: pac(0) list: (pac(0) nil)) || (chan1: (< false,pac(0) > empty) chan2: (true true true true empty) bit1: false bit2: true pac: pac(0) list: (pac(0) nil)) || (chan1: empty chan2: (true true true true empty) bit1: false bit2: true pac: pac(0) list: (pac(0) nil)) || (chan1: (< false,pac(0) > empty) chan2: (true true true true empty) bit1: false bit2: true pac: pac(0) list: (pac(0) nil)) || (chan1: (< false,pac(0) > empty) chan2: (true true true empty) bit1: true bit2: true pac: pac(1) list: (pac(0) nil)) || (chan1: empty chan2: (true true true empty) bit1: true bit2: true pac: pac(1) list: (pac(0) nil)) || (chan1: (< true,pac(1) > empty) chan2: (true true true empty) bit1: true bit2: true pac: pac(1) list: (pac(0) nil)) || (chan1: (< true,pac(1) > empty) chan2: (true true empty) bit1: true bit2: true pac: pac(1) list: (pac(0) nil)) || (chan1: empty chan2: (true true empty) bit1: true bit2: true pac: pac(1) list: (pac(0) nil)) || (chan1: empty chan2: (true true true empty) bit1: true bit2: true pac: pac(1) list: (pac(0) nil)) || (chan1: empty chan2: (true true empty) bit1: true bit2: true pac: pac(1) list: (pac(0) nil)) || (chan1: empty chan2: (true true true empty) bit1: true bit2: true pac: pac(1) list: (pac(0) nil)) || (chan1: empty chan2: (true true true true empty) bit1: true bit2: true pac: pac(1) list: (pac(0) nil)) || (chan1: empty chan2: (true true true empty) bit1: true bit2: true pac: pac(1) list: (pac(0) nil)) || (chan1: empty chan2: (true true true true empty) bit1: true bit2: true pac: pac(1) list: (pac(0) nil)) || (chan1: (< true,pac(1) > empty) chan2: (true true true true empty) bit1: true bit2: true pac: pac(1) list: (pac(0) nil)) || (chan1: (< true,pac(1) > < true,pac(1) > empty) chan2: (true true true true empty) bit1: true bit2: true pac: pac(1) list: (pac(0) nil)) || (chan1: (< true,pac(1) > < true,pac(1) > empty) chan2: (true true true empty) bit1: true bit2: true pac: pac(1) list: (pac(0) nil)) || (chan1: (< true,pac(1) > < true,pac(1) > empty) chan2: (true true true true empty) bit1: true bit2: true pac: pac(1) list: (pac(0) nil)) || (chan1: (< true,pac(1) > < true,pac(1) > < true,pac(1) > empty) chan2: (true true true true empty) bit1: true bit2: true pac: pac(1) list: (pac(0) nil)) || (chan1: (< true,pac(1) > < true,pac(1) > empty) chan2: (true true true true empty) bit1: true bit2: true pac: pac(1) list: (pac(0) nil)) || (chan1: (< true,pac(1) > empty) chan2: (true true true true empty) bit1: true bit2: false pac: pac(1) list: (pac(1) pac(0) nil)) || (chan1: empty chan2: (true true true true empty) bit1: true bit2: false pac: pac(1) list: (pac(1) pac(0) nil)) || (chan1: (< true,pac(1) > empty) chan2: (true true true true empty) bit1: true bit2: false pac: pac(1) list: (pac(1) pac(0) nil)) || (chan1: (< true,pac(1) > empty) chan2: (true true true empty) bit1: true bit2: false pac: pac(1) list: (pac(1) pac(0) nil)) || (chan1: (< true,pac(1) > empty) chan2: (true true true false empty) bit1: true bit2: false pac: pac(1) list: (pac(1) pac(0) nil)) || (chan1: (< true,pac(1) > empty) chan2: (true true false empty) bit1: true bit2: false pac: pac(1) list: (pac(1) pac(0) nil)) || (chan1: (< true,pac(1) > < true,pac(1) > empty) chan2: (true true false empty) bit1: true bit2: false pac: pac(1) list: (pac(1) pac(0) nil)) || (chan1: (< true,pac(1) > < true,pac(1) > empty) chan2: (true true false false empty) bit1: true bit2: false pac: pac(1) list: (pac(1) pac(0) nil)) || (chan1: (< true,pac(1) > < true,pac(1) > < true,pac(1) > empty) chan2: (true true false false empty) bit1: true bit2: false pac: pac(1) list: (pac(1) pac(0) nil)) || (chan1: (< true,pac(1) > < true,pac(1) > < true,pac(1) > empty) chan2: (true false false empty) bit1: true bit2: false pac: pac(1) list: (pac(1) pac(0) nil)) || (chan1: (< true,pac(1) > < true,pac(1) > < true,pac(1) > < true,pac(1) > empty) chan2: (true false false empty) bit1: true bit2: false pac: pac(1) list: (pac(1) pac(0) nil)) || (chan1: (< true,pac(1) > < true,pac(1) > < true,pac(1) > < true,pac(1) > empty) chan2: (true false false false empty) bit1: true bit2: false pac: pac(1) list: (pac(1) pac(0) nil)) || (chan1: (< true,pac(1) > < true,pac(1) > < true,pac(1) > empty) chan2: (true false false false empty) bit1: true bit2: false pac: pac(1) list: (pac(1) pac(0) nil)) || (chan1: (< true,pac(1) > < true,pac(1) > < true,pac(1) > empty) chan2: (false false false empty) bit1: true bit2: false pac: pac(1) list: (pac(1) pac(0) nil)) || (chan1: (< true,pac(1) > < true,pac(1) > < true,pac(1) > empty) chan2: (false false false false empty) bit1: true bit2: false pac: pac(1) list: (pac(1) pac(0) nil)) || (chan1: (< true,pac(1) > < true,pac(1) > < true,pac(1) > < true,pac(1) > empty) chan2: (false false false false empty) bit1: true bit2: false pac: pac(1) list: (pac(1) pac(0) nil)) || (chan1: (< true,pac(1) > < true,pac(1) > < true,pac(1) > < true,pac(1) > empty) chan2: (false false false empty) bit1: false bit2: false pac: pac(2) list: (pac(1) pac(0) nil)) || (chan1: (< true,pac(1) > < true,pac(1) > < true,pac(1) > < true,pac(1) > empty) chan2: (false false false false empty) bit1: false bit2: false pac: pac(2) list: (pac(1) pac(0) nil)) || (chan1: (< true,pac(1) > < true,pac(1) > < true,pac(1) > < true,pac(1) > empty) chan2: (false false false empty) bit1: false bit2: false pac: pac(2) list: (pac(1) pac(0) nil)) || (chan1: (< true,pac(1) > < true,pac(1) > < true,pac(1) > empty) chan2: (false false false empty) bit1: false bit2: false pac: pac(2) list: (pac(1) pac(0) nil)) || (chan1: (< true,pac(1) > < true,pac(1) > < true,pac(1) > empty) chan2: (false false empty) bit1: false bit2: false pac: pac(2) list: (pac(1) pac(0) nil)) || (chan1: (< true,pac(1) > < true,pac(1) > < true,pac(1) > empty) chan2: (false empty) bit1: false bit2: false pac: pac(2) list: (pac(1) pac(0) nil)) || (chan1: (< true,pac(1) > < true,pac(1) > < true,pac(1) > < false,pac(2) > empty) chan2: (false empty) bit1: false bit2: false pac: pac(2) list: (pac(1) pac(0) nil)) || (chan1: (< true,pac(1) > < true,pac(1) > < true,pac(1) > < false,pac(2) > empty) chan2: empty bit1: false bit2: false pac: pac(2) list: (pac(1) pac(0) nil)) || (chan1: (< true,pac(1) > < true,pac(1) > < true,pac(1) > < false,pac(2) > empty) chan2: (false empty) bit1: false bit2: false pac: pac(2) list: (pac(1) pac(0) nil)) || (chan1: (< true,pac(1) > < true,pac(1) > < true,pac(1) > < false,pac(2) > empty) chan2: (false false empty) bit1: false bit2: false pac: pac(2) list: (pac(1) pac(0) nil)) || (chan1: (< true,pac(1) > < true,pac(1) > < true,pac(1) > < false,pac(2) > empty) chan2: (false false false empty) bit1: false bit2: false pac: pac(2) list: (pac(1) pac(0) nil)) || (chan1: (< true,pac(1) > < true,pac(1) > < true,pac(1) > < false,pac(2) > empty) chan2: (false false false false empty) bit1: false bit2: false pac: pac(2) list: (pac(1) pac(0) nil)) || (chan1: (< true,pac(1) > < true,pac(1) > < true,pac(1) > < false,pac(2) > empty) chan2: (false false false empty) bit1: false bit2: false pac: pac(2) list: (pac(1) pac(0) nil)) || (chan1: (< true,pac(1) > < true,pac(1) > < false,pac(2) > empty) chan2: (false false false empty) bit1: false bit2: false pac: pac(2) list: (pac(1) pac(0) nil)) || (chan1: (< true,pac(1) > < false,pac(2) > empty) chan2: (false false false empty) bit1: false bit2: false pac: pac(2) list: (pac(1) pac(0) nil)) || (chan1: (< true,pac(1) > < false,pac(2) > empty) chan2: (false false false false empty) bit1: false bit2: false pac: pac(2) list: (pac(1) pac(0) nil)) || (chan1: (< false,pac(2) > empty) chan2: (false false false false empty) bit1: false bit2: false pac: pac(2) list: (pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false false empty) bit1: false bit2: false pac: pac(2) list: (pac(1) pac(0) nil)) || (chan1: (< false,pac(2) > empty) chan2: (false false false false empty) bit1: false bit2: false pac: pac(2) list: (pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false false empty) bit1: false bit2: false pac: pac(2) list: (pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false empty) bit1: false bit2: false pac: pac(2) list: (pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false false empty) bit1: false bit2: false pac: pac(2) list: (pac(1) pac(0) nil)) || (chan1: (< false,pac(2) > empty) chan2: (false false false false empty) bit1: false bit2: false pac: pac(2) list: (pac(1) pac(0) nil)) || (chan1: (< false,pac(2) > < false,pac(2) > empty) chan2: (false false false false empty) bit1: false bit2: false pac: pac(2) list: (pac(1) pac(0) nil)) || (chan1: (< false,pac(2) > < false,pac(2) > < false,pac(2) > empty) chan2: (false false false false empty) bit1: false bit2: false pac: pac(2) list: (pac(1) pac(0) nil)) || (chan1: (< false,pac(2) > < false,pac(2) > < false,pac(2) > empty) chan2: (false false false empty) bit1: false bit2: false pac: pac(2) list: (pac(1) pac(0) nil)) || (chan1: (< false,pac(2) > < false,pac(2) > empty) chan2: (false false false empty) bit1: false bit2: false pac: pac(2) list: (pac(1) pac(0) nil)) || (chan1: (< false,pac(2) > < false,pac(2) > empty) chan2: (false false false false empty) bit1: false bit2: false pac: pac(2) list: (pac(1) pac(0) nil)) || (chan1: (< false,pac(2) > empty) chan2: (false false false false empty) bit1: false bit2: false pac: pac(2) list: (pac(1) pac(0) nil)) || (chan1: (< false,pac(2) > empty) chan2: (false false false empty) bit1: false bit2: false pac: pac(2) list: (pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false empty) bit1: false bit2: true pac: pac(2) list: (pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: true pac: pac(2) list: (pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false true empty) bit1: false bit2: true pac: pac(2) list: (pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false true empty) bit1: false bit2: true pac: pac(2) list: (pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false true empty) bit1: false bit2: true pac: pac(2) list: (pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false true true empty) bit1: false bit2: true pac: pac(2) list: (pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(2) > empty) chan2: (false false true true empty) bit1: false bit2: true pac: pac(2) list: (pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false true true empty) bit1: false bit2: true pac: pac(2) list: (pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false true true empty) bit1: false bit2: true pac: pac(2) list: (pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (true true empty) bit1: false bit2: true pac: pac(2) list: (pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (true true true empty) bit1: false bit2: true pac: pac(2) list: (pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (true true empty) bit1: false bit2: true pac: pac(2) list: (pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (true true true empty) bit1: false bit2: true pac: pac(2) list: (pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (true true empty) bit1: false bit2: true pac: pac(2) list: (pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (true empty) bit1: false bit2: true pac: pac(2) list: (pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: true pac: pac(2) list: (pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (true empty) bit1: false bit2: true pac: pac(2) list: (pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (true true empty) bit1: false bit2: true pac: pac(2) list: (pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (true empty) bit1: false bit2: true pac: pac(2) list: (pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(2) > empty) chan2: (true empty) bit1: false bit2: true pac: pac(2) list: (pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(2) > empty) chan2: (true true empty) bit1: false bit2: true pac: pac(2) list: (pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(2) > empty) chan2: (true true true empty) bit1: false bit2: true pac: pac(2) list: (pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (true true true empty) bit1: false bit2: true pac: pac(2) list: (pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (true true true true empty) bit1: false bit2: true pac: pac(2) list: (pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (true true true empty) bit1: true bit2: true pac: pac(3) list: (pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(3) > empty) chan2: (true true true empty) bit1: true bit2: true pac: pac(3) list: (pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(3) > empty) chan2: (true true true true empty) bit1: true bit2: true pac: pac(3) list: (pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(3) > empty) chan2: (true true true empty) bit1: true bit2: true pac: pac(3) list: (pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(3) > < true,pac(3) > empty) chan2: (true true true empty) bit1: true bit2: true pac: pac(3) list: (pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(3) > < true,pac(3) > empty) chan2: (true true true true empty) bit1: true bit2: true pac: pac(3) list: (pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(3) > empty) chan2: (true true true true empty) bit1: true bit2: true pac: pac(3) list: (pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(3) > empty) chan2: (true true true empty) bit1: true bit2: true pac: pac(3) list: (pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(3) > < true,pac(3) > empty) chan2: (true true true empty) bit1: true bit2: true pac: pac(3) list: (pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(3) > empty) chan2: (true true true empty) bit1: true bit2: false pac: pac(3) list: (pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(3) > empty) chan2: (true true true true empty) bit1: true bit2: false pac: pac(3) list: (pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(3) > empty) chan2: (true true true empty) bit1: true bit2: false pac: pac(3) list: (pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(3) > < true,pac(3) > empty) chan2: (true true true empty) bit1: true bit2: false pac: pac(3) list: (pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(3) > empty) chan2: (true true true empty) bit1: true bit2: false pac: pac(3) list: (pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(3) > < true,pac(3) > empty) chan2: (true true true empty) bit1: true bit2: false pac: pac(3) list: (pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(3) > < true,pac(3) > empty) chan2: (true true empty) bit1: true bit2: false pac: pac(3) list: (pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(3) > < true,pac(3) > empty) chan2: (true true false empty) bit1: true bit2: false pac: pac(3) list: (pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(3) > < true,pac(3) > empty) chan2: (true false empty) bit1: true bit2: false pac: pac(3) list: (pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(3) > < true,pac(3) > empty) chan2: (false empty) bit1: true bit2: false pac: pac(3) list: (pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(3) > < true,pac(3) > empty) chan2: empty bit1: false bit2: false pac: pac(4) list: (pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(3) > empty) chan2: empty bit1: false bit2: false pac: pac(4) list: (pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(3) > < true,pac(3) > empty) chan2: empty bit1: false bit2: false pac: pac(4) list: (pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(3) > < true,pac(3) > empty) chan2: (false empty) bit1: false bit2: false pac: pac(4) list: (pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(3) > < true,pac(3) > empty) chan2: empty bit1: false bit2: false pac: pac(4) list: (pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(3) > < true,pac(3) > < false,pac(4) > empty) chan2: empty bit1: false bit2: false pac: pac(4) list: (pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(3) > < true,pac(3) > < false,pac(4) > empty) chan2: (false empty) bit1: false bit2: false pac: pac(4) list: (pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(3) > < true,pac(3) > < true,pac(3) > < false,pac(4) > empty) chan2: (false empty) bit1: false bit2: false pac: pac(4) list: (pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(3) > < true,pac(3) > < true,pac(3) > < false,pac(4) > empty) chan2: empty bit1: false bit2: false pac: pac(4) list: (pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(3) > < true,pac(3) > < false,pac(4) > empty) chan2: empty bit1: false bit2: false pac: pac(4) list: (pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(3) > < true,pac(3) > < false,pac(4) > < false,pac(4) > empty) chan2: empty bit1: false bit2: false pac: pac(4) list: (pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(3) > < true,pac(3) > < false,pac(4) > < false,pac(4) > empty) chan2: (false empty) bit1: false bit2: false pac: pac(4) list: (pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(3) > < true,pac(3) > < false,pac(4) > < false,pac(4) > empty) chan2: (false false empty) bit1: false bit2: false pac: pac(4) list: (pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(3) > < true,pac(3) > < false,pac(4) > < false,pac(4) > empty) chan2: (false false false empty) bit1: false bit2: false pac: pac(4) list: (pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(3) > < true,pac(3) > < false,pac(4) > < false,pac(4) > empty) chan2: (false false false false empty) bit1: false bit2: false pac: pac(4) list: (pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(3) > < false,pac(4) > < false,pac(4) > empty) chan2: (false false false false empty) bit1: false bit2: false pac: pac(4) list: (pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(3) > < false,pac(4) > < false,pac(4) > < false,pac(4) > empty) chan2: (false false false false empty) bit1: false bit2: false pac: pac(4) list: (pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(3) > < false,pac(4) > < false,pac(4) > < false,pac(4) > empty) chan2: (false false false empty) bit1: false bit2: false pac: pac(4) list: (pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > < false,pac(4) > empty) chan2: (false false false empty) bit1: false bit2: false pac: pac(4) list: (pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > < false,pac(4) > empty) chan2: (false false empty) bit1: false bit2: false pac: pac(4) list: (pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > < false,pac(4) > < false,pac(4) > empty) chan2: (false false empty) bit1: false bit2: false pac: pac(4) list: (pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > < false,pac(4) > empty) chan2: (false false empty) bit1: false bit2: false pac: pac(4) list: (pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > < false,pac(4) > < false,pac(4) > empty) chan2: (false false empty) bit1: false bit2: false pac: pac(4) list: (pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > < false,pac(4) > empty) chan2: (false false empty) bit1: false bit2: true pac: pac(4) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > < false,pac(4) > empty) chan2: (false false true empty) bit1: false bit2: true pac: pac(4) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > < false,pac(4) > < false,pac(4) > empty) chan2: (false false true empty) bit1: false bit2: true pac: pac(4) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > < false,pac(4) > < false,pac(4) > empty) chan2: (false false false true empty) bit1: false bit2: true pac: pac(4) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > < false,pac(4) > < false,pac(4) > empty) chan2: (false false true empty) bit1: false bit2: true pac: pac(4) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > < false,pac(4) > empty) chan2: (false false true empty) bit1: false bit2: true pac: pac(4) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > < false,pac(4) > < false,pac(4) > empty) chan2: (false false true empty) bit1: false bit2: true pac: pac(4) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > < false,pac(4) > < false,pac(4) > empty) chan2: (false false false true empty) bit1: false bit2: true pac: pac(4) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > < false,pac(4) > < false,pac(4) > empty) chan2: (false false true empty) bit1: false bit2: true pac: pac(4) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > < false,pac(4) > < false,pac(4) > empty) chan2: (false false true true empty) bit1: false bit2: true pac: pac(4) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > < false,pac(4) > empty) chan2: (false false true true empty) bit1: false bit2: true pac: pac(4) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > empty) chan2: (false false true true empty) bit1: false bit2: true pac: pac(4) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > < false,pac(4) > empty) chan2: (false false true true empty) bit1: false bit2: true pac: pac(4) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > empty) chan2: (false false true true empty) bit1: false bit2: true pac: pac(4) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > empty) chan2: (false true true empty) bit1: false bit2: true pac: pac(4) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > < false,pac(4) > empty) chan2: (false true true empty) bit1: false bit2: true pac: pac(4) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > < false,pac(4) > empty) chan2: (false true true true empty) bit1: false bit2: true pac: pac(4) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > < false,pac(4) > empty) chan2: (true true true empty) bit1: false bit2: true pac: pac(4) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > < false,pac(4) > empty) chan2: (true true empty) bit1: true bit2: true pac: pac(5) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > < false,pac(4) > empty) chan2: (true true true empty) bit1: true bit2: true pac: pac(5) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > < false,pac(4) > < false,pac(4) > empty) chan2: (true true true empty) bit1: true bit2: true pac: pac(5) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > < false,pac(4) > < false,pac(4) > empty) chan2: (true true empty) bit1: true bit2: true pac: pac(5) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > < false,pac(4) > < false,pac(4) > empty) chan2: (true empty) bit1: true bit2: true pac: pac(5) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > < false,pac(4) > < false,pac(4) > empty) chan2: empty bit1: true bit2: true pac: pac(5) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > < false,pac(4) > empty) chan2: empty bit1: true bit2: true pac: pac(5) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > < false,pac(4) > < false,pac(4) > empty) chan2: empty bit1: true bit2: true pac: pac(5) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > < false,pac(4) > empty) chan2: empty bit1: true bit2: true pac: pac(5) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > empty) chan2: empty bit1: true bit2: true pac: pac(5) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > empty) chan2: (true empty) bit1: true bit2: true pac: pac(5) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > empty) chan2: empty bit1: true bit2: true pac: pac(5) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > < false,pac(4) > empty) chan2: empty bit1: true bit2: true pac: pac(5) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > < false,pac(4) > < true,pac(5) > empty) chan2: empty bit1: true bit2: true pac: pac(5) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > < false,pac(4) > < true,pac(5) > empty) chan2: (true empty) bit1: true bit2: true pac: pac(5) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > < false,pac(4) > < true,pac(5) > empty) chan2: (true true empty) bit1: true bit2: true pac: pac(5) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > < true,pac(5) > empty) chan2: (true true empty) bit1: true bit2: true pac: pac(5) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < false,pac(4) > < true,pac(5) > empty) chan2: (true empty) bit1: true bit2: true pac: pac(5) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< false,pac(4) > < true,pac(5) > empty) chan2: (true empty) bit1: true bit2: true pac: pac(5) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(5) > empty) chan2: (true empty) bit1: true bit2: true pac: pac(5) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(5) > empty) chan2: (true true empty) bit1: true bit2: true pac: pac(5) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(5) > empty) chan2: (true true true empty) bit1: true bit2: true pac: pac(5) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: (< true,pac(5) > empty) chan2: (true true true true empty) bit1: true bit2: true pac: pac(5) list: (pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (true true true true empty) bit1: true bit2: false pac: pac(5) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (true true true empty) bit1: true bit2: false pac: pac(5) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (true true empty) bit1: true bit2: false pac: pac(5) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (true true false empty) bit1: true bit2: false pac: pac(5) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (true true false false empty) bit1: true bit2: false pac: pac(5) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (true false false empty) bit1: true bit2: false pac: pac(5) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: true bit2: false pac: pac(5) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: (false empty) bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || (chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)) || chan1: empty chan2: empty bit1: false bit2: false pac: pac(6) list: (pac(5) pac(4) pac(3) pac(2) pac(1) pac(0) nil)