minterm expression을 입력으로 받아, sum of products 형태의 minimal expression을 계산하는 프로그램
Quine mccluskey method 를 사용하여 논리식을 최소화하도록 계산하는 프로그램
사용한 알고리즘은 퀸-맥클러스키 방법으로, 최소항의 합을 이진법으로 표현했을 때, 한 변수만 다른 경우에 결합할 수 있음을 이용한다.
그래서 결합하여 새로운 column을 만들 수 있는데, 이때 새로운 column을 더 만들지 못하게 되는 항들이 prime implicants가 된다.
그 다음엔, prime implicants들의 최소 집합을 얻기 위해서 차트를 이용한다.
어떤 한 최소항이 단 하나의 prime implicants에 포함된다면, 그것을 essential prime implicants 라고 한다.
6변수
minterm expression을 입력하세요: 0,2,8,9,10,12,13,16,18,24,25,26,29,31,32,34,35,39,40,42,43,47,48,50,56,58,61,63
변수의 개수를 입력하세요: 6
input으로 binary 생성 :
[[[0], '000000'], [[2], '000010'], [[8], '001000'], [[9], '001001'], [[10], '001010'], [[12], '001100'], [[13], '001101'], [[16], '010000'], [[18], '010010'], [[24], '011000'], [[25], '011001'], [[26], '011010'], [[29], '011101'], [[31], '011111'], [[32], '100000'], [[34], '100010'], [[35], '100011'], [[39], '100111'], [[40], '101000'], [[42], '101010'], [[43], '101011'], [[47], '101111'], [[48], '110000'], [[50], '110010'], [[56], '111000'], [[58], '111010'], [[61], '111101'], [[63], '111111']]
1번째 column :
[[0], '000000', 'V']
[[2], '000010', 'V']
[[8], '001000', 'V']
[[9], '001001', 'V']
[[10], '001010', 'V']
[[12], '001100', 'V']
[[13], '001101', 'V']
[[16], '010000', 'V']
[[18], '010010', 'V']
[[24], '011000', 'V']
[[25], '011001', 'V']
[[26], '011010', 'V']
[[29], '011101', 'V']
[[31], '011111', 'V']
[[32], '100000', 'V']
[[34], '100010', 'V']
[[35], '100011', 'V']
[[39], '100111', 'V']
[[40], '101000', 'V']
[[42], '101010', 'V']
[[43], '101011', 'V']
[[47], '101111', 'V']
[[48], '110000', 'V']
[[50], '110010', 'V']
[[56], '111000', 'V']
[[58], '111010', 'V']
[[61], '111101', 'V']
[[63], '111111', 'V']
2번째 column :
[[0, 2], '0000-0', 'V']
[[0, 8], '00-000', 'V']
[[0, 16], '0-0000', 'V']
[[0, 32], '-00000', 'V']
[[2, 10], '00-010', 'V']
[[2, 18], '0-0010', 'V']
[[2, 34], '-00010', 'V']
[[8, 9], '00100-', 'V']
[[8, 10], '0010-0', 'V']
[[8, 12], '001-00', 'V']
[[8, 24], '0-1000', 'V']
[[8, 40], '-01000', 'V']
[[9, 13], '001-01', 'V']
[[9, 25], '0-1001', 'V']
[[10, 26], '0-1010', 'V']
[[10, 42], '-01010', 'V']
[[12, 13], '00110-', 'V']
[[13, 29], '0-1101', 'V']
[[16, 18], '0100-0', 'V']
[[16, 24], '01-000', 'V']
[[16, 48], '-10000', 'V']
[[18, 26], '01-010', 'V']
[[18, 50], '-10010', 'V']
[[24, 25], '01100-', 'V']
[[24, 26], '0110-0', 'V']
[[24, 56], '-11000', 'V']
[[25, 29], '011-01', 'V']
[[26, 58], '-11010', 'V']
[[29, 31], '0111-1', 'V']
[[29, 61], '-11101', 'V']
[[31, 63], '-11111', 'V']
[[32, 34], '1000-0', 'V']
[[32, 40], '10-000', 'V']
[[32, 48], '1-0000', 'V']
[[34, 35], '10001-', 'V']
[[34, 42], '10-010', 'V']
[[34, 50], '1-0010', 'V']
[[35, 39], '100-11', 'V']
[[35, 43], '10-011', 'V']
[[39, 47], '10-111', 'V']
[[40, 42], '1010-0', 'V']
[[40, 56], '1-1000', 'V']
[[42, 43], '10101-', 'V']
[[42, 58], '1-1010', 'V']
[[43, 47], '101-11', 'V']
[[47, 63], '1-1111']
[[48, 50], '1100-0', 'V']
[[48, 56], '11-000', 'V']
[[50, 58], '11-010', 'V']
[[56, 58], '1110-0', 'V']
[[61, 63], '1111-1', 'V']
3번째 column :
[[0, 2, 8, 10], '00-0-0', 'V']
[[0, 2, 16, 18], '0-00-0', 'V']
[[0, 2, 32, 34], '-000-0', 'V']
[[0, 8, 2, 10], '00-0-0', 'V']
[[0, 8, 16, 24], '0--000', 'V']
[[0, 8, 32, 40], '-0-000', 'V']
[[0, 16, 2, 18], '0-00-0', 'V']
[[0, 16, 8, 24], '0--000', 'V']
[[0, 16, 32, 48], '--0000', 'V']
[[0, 32, 2, 34], '-000-0', 'V']
[[0, 32, 8, 40], '-0-000', 'V']
[[0, 32, 16, 48], '--0000', 'V']
[[2, 10, 18, 26], '0--010', 'V']
[[2, 10, 34, 42], '-0-010', 'V']
[[2, 18, 10, 26], '0--010', 'V']
[[2, 18, 34, 50], '--0010', 'V']
[[2, 34, 10, 42], '-0-010', 'V']
[[2, 34, 18, 50], '--0010', 'V']
[[8, 9, 12, 13], '001-0-']
[[8, 9, 24, 25], '0-100-']
[[8, 10, 24, 26], '0-10-0', 'V']
[[8, 10, 40, 42], '-010-0', 'V']
[[8, 12, 9, 13], '001-0-']
[[8, 24, 9, 25], '0-100-']
[[8, 24, 10, 26], '0-10-0', 'V']
[[8, 24, 40, 56], '--1000', 'V']
[[8, 40, 10, 42], '-010-0', 'V']
[[8, 40, 24, 56], '--1000', 'V']
[[9, 13, 25, 29], '0-1-01']
[[9, 25, 13, 29], '0-1-01']
[[10, 26, 42, 58], '--1010', 'V']
[[10, 42, 26, 58], '--1010', 'V']
[[16, 18, 24, 26], '01-0-0', 'V']
[[16, 18, 48, 50], '-100-0', 'V']
[[16, 24, 18, 26], '01-0-0', 'V']
[[16, 24, 48, 56], '-1-000', 'V']
[[16, 48, 18, 50], '-100-0', 'V']
[[16, 48, 24, 56], '-1-000', 'V']
[[18, 26, 50, 58], '-1-010', 'V']
[[18, 50, 26, 58], '-1-010', 'V']
[[24, 26, 56, 58], '-110-0', 'V']
[[24, 56, 26, 58], '-110-0', 'V']
[[29, 31, 61, 63], '-111-1']
[[29, 61, 31, 63], '-111-1']
[[32, 34, 40, 42], '10-0-0', 'V']
[[32, 34, 48, 50], '1-00-0', 'V']
[[32, 40, 34, 42], '10-0-0', 'V']
[[32, 40, 48, 56], '1--000', 'V']
[[32, 48, 34, 50], '1-00-0', 'V']
[[32, 48, 40, 56], '1--000', 'V']
[[34, 35, 42, 43], '10-01-']
[[34, 42, 35, 43], '10-01-']
[[34, 42, 50, 58], '1--010', 'V']
[[34, 50, 42, 58], '1--010', 'V']
[[35, 39, 43, 47], '10--11']
[[35, 43, 39, 47], '10--11']
[[40, 42, 56, 58], '1-10-0', 'V']
[[40, 56, 42, 58], '1-10-0', 'V']
[[48, 50, 56, 58], '11-0-0', 'V']
[[48, 56, 50, 58], '11-0-0', 'V']
4번째 column :
[[0, 2, 8, 10, 16, 18, 24, 26], '0--0-0', 'V']
[[0, 2, 8, 10, 16, 24, 18, 26], '0--0-0', 'V']
[[0, 2, 8, 10, 32, 34, 40, 42], '-0-0-0', 'V']
[[0, 2, 8, 10, 32, 40, 34, 42], '-0-0-0', 'V']
[[0, 2, 16, 18, 8, 10, 24, 26], '0--0-0', 'V']
[[0, 2, 16, 18, 8, 24, 10, 26], '0--0-0', 'V']
[[0, 2, 16, 18, 32, 34, 48, 50], '--00-0', 'V']
[[0, 2, 16, 18, 32, 48, 34, 50], '--00-0', 'V']
[[0, 2, 32, 34, 8, 10, 40, 42], '-0-0-0', 'V']
[[0, 2, 32, 34, 8, 40, 10, 42], '-0-0-0', 'V']
[[0, 2, 32, 34, 16, 18, 48, 50], '--00-0', 'V']
[[0, 2, 32, 34, 16, 48, 18, 50], '--00-0', 'V']
[[0, 8, 2, 10, 16, 18, 24, 26], '0--0-0', 'V']
[[0, 8, 2, 10, 16, 24, 18, 26], '0--0-0', 'V']
[[0, 8, 2, 10, 32, 34, 40, 42], '-0-0-0', 'V']
[[0, 8, 2, 10, 32, 40, 34, 42], '-0-0-0', 'V']
[[0, 8, 16, 24, 2, 10, 18, 26], '0--0-0', 'V']
[[0, 8, 16, 24, 2, 18, 10, 26], '0--0-0', 'V']
[[0, 8, 16, 24, 32, 40, 48, 56], '---000', 'V']
[[0, 8, 16, 24, 32, 48, 40, 56], '---000', 'V']
[[0, 8, 32, 40, 2, 10, 34, 42], '-0-0-0', 'V']
[[0, 8, 32, 40, 2, 34, 10, 42], '-0-0-0', 'V']
[[0, 8, 32, 40, 16, 24, 48, 56], '---000', 'V']
[[0, 8, 32, 40, 16, 48, 24, 56], '---000', 'V']
[[0, 16, 2, 18, 8, 10, 24, 26], '0--0-0', 'V']
[[0, 16, 2, 18, 8, 24, 10, 26], '0--0-0', 'V']
[[0, 16, 2, 18, 32, 34, 48, 50], '--00-0', 'V']
[[0, 16, 2, 18, 32, 48, 34, 50], '--00-0', 'V']
[[0, 16, 8, 24, 2, 10, 18, 26], '0--0-0', 'V']
[[0, 16, 8, 24, 2, 18, 10, 26], '0--0-0', 'V']
[[0, 16, 8, 24, 32, 40, 48, 56], '---000', 'V']
[[0, 16, 8, 24, 32, 48, 40, 56], '---000', 'V']
[[0, 16, 32, 48, 2, 18, 34, 50], '--00-0', 'V']
[[0, 16, 32, 48, 2, 34, 18, 50], '--00-0', 'V']
[[0, 16, 32, 48, 8, 24, 40, 56], '---000', 'V']
[[0, 16, 32, 48, 8, 40, 24, 56], '---000', 'V']
[[0, 32, 2, 34, 8, 10, 40, 42], '-0-0-0', 'V']
[[0, 32, 2, 34, 8, 40, 10, 42], '-0-0-0', 'V']
[[0, 32, 2, 34, 16, 18, 48, 50], '--00-0', 'V']
[[0, 32, 2, 34, 16, 48, 18, 50], '--00-0', 'V']
[[0, 32, 8, 40, 2, 10, 34, 42], '-0-0-0', 'V']
[[0, 32, 8, 40, 2, 34, 10, 42], '-0-0-0', 'V']
[[0, 32, 8, 40, 16, 24, 48, 56], '---000', 'V']
[[0, 32, 8, 40, 16, 48, 24, 56], '---000', 'V']
[[0, 32, 16, 48, 2, 18, 34, 50], '--00-0', 'V']
[[0, 32, 16, 48, 2, 34, 18, 50], '--00-0', 'V']
[[0, 32, 16, 48, 8, 24, 40, 56], '---000', 'V']
[[0, 32, 16, 48, 8, 40, 24, 56], '---000', 'V']
[[2, 10, 18, 26, 34, 42, 50, 58], '---010', 'V']
[[2, 10, 18, 26, 34, 50, 42, 58], '---010', 'V']
[[2, 10, 34, 42, 18, 26, 50, 58], '---010', 'V']
[[2, 10, 34, 42, 18, 50, 26, 58], '---010', 'V']
[[2, 18, 10, 26, 34, 42, 50, 58], '---010', 'V']
[[2, 18, 10, 26, 34, 50, 42, 58], '---010', 'V']
[[2, 18, 34, 50, 10, 26, 42, 58], '---010', 'V']
[[2, 18, 34, 50, 10, 42, 26, 58], '---010', 'V']
[[2, 34, 10, 42, 18, 26, 50, 58], '---010', 'V']
[[2, 34, 10, 42, 18, 50, 26, 58], '---010', 'V']
[[2, 34, 18, 50, 10, 26, 42, 58], '---010', 'V']
[[2, 34, 18, 50, 10, 42, 26, 58], '---010', 'V']
[[8, 10, 24, 26, 40, 42, 56, 58], '--10-0', 'V']
[[8, 10, 24, 26, 40, 56, 42, 58], '--10-0', 'V']
[[8, 10, 40, 42, 24, 26, 56, 58], '--10-0', 'V']
[[8, 10, 40, 42, 24, 56, 26, 58], '--10-0', 'V']
[[8, 24, 10, 26, 40, 42, 56, 58], '--10-0', 'V']
[[8, 24, 10, 26, 40, 56, 42, 58], '--10-0', 'V']
[[8, 24, 40, 56, 10, 26, 42, 58], '--10-0', 'V']
[[8, 24, 40, 56, 10, 42, 26, 58], '--10-0', 'V']
[[8, 40, 10, 42, 24, 26, 56, 58], '--10-0', 'V']
[[8, 40, 10, 42, 24, 56, 26, 58], '--10-0', 'V']
[[8, 40, 24, 56, 10, 26, 42, 58], '--10-0', 'V']
[[8, 40, 24, 56, 10, 42, 26, 58], '--10-0', 'V']
[[16, 18, 24, 26, 48, 50, 56, 58], '-1-0-0', 'V']
[[16, 18, 24, 26, 48, 56, 50, 58], '-1-0-0', 'V']
[[16, 18, 48, 50, 24, 26, 56, 58], '-1-0-0', 'V']
[[16, 18, 48, 50, 24, 56, 26, 58], '-1-0-0', 'V']
[[16, 24, 18, 26, 48, 50, 56, 58], '-1-0-0', 'V']
[[16, 24, 18, 26, 48, 56, 50, 58], '-1-0-0', 'V']
[[16, 24, 48, 56, 18, 26, 50, 58], '-1-0-0', 'V']
[[16, 24, 48, 56, 18, 50, 26, 58], '-1-0-0', 'V']
[[16, 48, 18, 50, 24, 26, 56, 58], '-1-0-0', 'V']
[[16, 48, 18, 50, 24, 56, 26, 58], '-1-0-0', 'V']
[[16, 48, 24, 56, 18, 26, 50, 58], '-1-0-0', 'V']
[[16, 48, 24, 56, 18, 50, 26, 58], '-1-0-0', 'V']
[[32, 34, 40, 42, 48, 50, 56, 58], '1--0-0', 'V']
[[32, 34, 40, 42, 48, 56, 50, 58], '1--0-0', 'V']
[[32, 34, 48, 50, 40, 42, 56, 58], '1--0-0', 'V']
[[32, 34, 48, 50, 40, 56, 42, 58], '1--0-0', 'V']
[[32, 40, 34, 42, 48, 50, 56, 58], '1--0-0', 'V']
[[32, 40, 34, 42, 48, 56, 50, 58], '1--0-0', 'V']
[[32, 40, 48, 56, 34, 42, 50, 58], '1--0-0', 'V']
[[32, 40, 48, 56, 34, 50, 42, 58], '1--0-0', 'V']
[[32, 48, 34, 50, 40, 42, 56, 58], '1--0-0', 'V']
[[32, 48, 34, 50, 40, 56, 42, 58], '1--0-0', 'V']
[[32, 48, 40, 56, 34, 42, 50, 58], '1--0-0', 'V']
[[32, 48, 40, 56, 34, 50, 42, 58], '1--0-0', 'V']
5번째 column :
[[0, 2, 8, 10, 16, 18, 24, 26, 32, 34, 40, 42, 48, 50, 56, 58], '---0-0']
[[0, 2, 8, 10, 16, 18, 24, 26, 32, 34, 40, 42, 48, 56, 50, 58], '---0-0']
[[0, 2, 8, 10, 16, 18, 24, 26, 32, 34, 48, 50, 40, 42, 56, 58], '---0-0']
[[0, 2, 8, 10, 16, 18, 24, 26, 32, 34, 48, 50, 40, 56, 42, 58], '---0-0']
[[0, 2, 8, 10, 16, 18, 24, 26, 32, 40, 34, 42, 48, 50, 56, 58], '---0-0']
[[0, 2, 8, 10, 16, 18, 24, 26, 32, 40, 34, 42, 48, 56, 50, 58], '---0-0']
[[0, 2, 8, 10, 16, 18, 24, 26, 32, 40, 48, 56, 34, 42, 50, 58], '---0-0']
[[0, 2, 8, 10, 16, 18, 24, 26, 32, 40, 48, 56, 34, 50, 42, 58], '---0-0']
[[0, 2, 8, 10, 16, 18, 24, 26, 32, 48, 34, 50, 40, 42, 56, 58], '---0-0']
[[0, 2, 8, 10, 16, 18, 24, 26, 32, 48, 34, 50, 40, 56, 42, 58], '---0-0']
[[0, 2, 8, 10, 16, 18, 24, 26, 32, 48, 40, 56, 34, 42, 50, 58], '---0-0']
[[0, 2, 8, 10, 16, 18, 24, 26, 32, 48, 40, 56, 34, 50, 42, 58], '---0-0']
[[0, 2, 8, 10, 16, 24, 18, 26, 32, 34, 40, 42, 48, 50, 56, 58], '---0-0']
[[0, 2, 8, 10, 16, 24, 18, 26, 32, 34, 40, 42, 48, 56, 50, 58], '---0-0']
[[0, 2, 8, 10, 16, 24, 18, 26, 32, 34, 48, 50, 40, 42, 56, 58], '---0-0']
[[0, 2, 8, 10, 16, 24, 18, 26, 32, 34, 48, 50, 40, 56, 42, 58], '---0-0']
[[0, 2, 8, 10, 16, 24, 18, 26, 32, 40, 34, 42, 48, 50, 56, 58], '---0-0']
[[0, 2, 8, 10, 16, 24, 18, 26, 32, 40, 34, 42, 48, 56, 50, 58], '---0-0']
[[0, 2, 8, 10, 16, 24, 18, 26, 32, 40, 48, 56, 34, 42, 50, 58], '---0-0']
[[0, 2, 8, 10, 16, 24, 18, 26, 32, 40, 48, 56, 34, 50, 42, 58], '---0-0']
[[0, 2, 8, 10, 16, 24, 18, 26, 32, 48, 34, 50, 40, 42, 56, 58], '---0-0']
[[0, 2, 8, 10, 16, 24, 18, 26, 32, 48, 34, 50, 40, 56, 42, 58], '---0-0']
[[0, 2, 8, 10, 16, 24, 18, 26, 32, 48, 40, 56, 34, 42, 50, 58], '---0-0']
[[0, 2, 8, 10, 16, 24, 18, 26, 32, 48, 40, 56, 34, 50, 42, 58], '---0-0']
[[0, 2, 8, 10, 32, 34, 40, 42, 16, 18, 24, 26, 48, 50, 56, 58], '---0-0']
[[0, 2, 8, 10, 32, 34, 40, 42, 16, 18, 24, 26, 48, 56, 50, 58], '---0-0']
[[0, 2, 8, 10, 32, 34, 40, 42, 16, 18, 48, 50, 24, 26, 56, 58], '---0-0']
[[0, 2, 8, 10, 32, 34, 40, 42, 16, 18, 48, 50, 24, 56, 26, 58], '---0-0']
[[0, 2, 8, 10, 32, 34, 40, 42, 16, 24, 18, 26, 48, 50, 56, 58], '---0-0']
[[0, 2, 8, 10, 32, 34, 40, 42, 16, 24, 18, 26, 48, 56, 50, 58], '---0-0']
[[0, 2, 8, 10, 32, 34, 40, 42, 16, 24, 48, 56, 18, 26, 50, 58], '---0-0']
[[0, 2, 8, 10, 32, 34, 40, 42, 16, 24, 48, 56, 18, 50, 26, 58], '---0-0']
[[0, 2, 8, 10, 32, 34, 40, 42, 16, 48, 18, 50, 24, 26, 56, 58], '---0-0']
[[0, 2, 8, 10, 32, 34, 40, 42, 16, 48, 18, 50, 24, 56, 26, 58], '---0-0']
[[0, 2, 8, 10, 32, 34, 40, 42, 16, 48, 24, 56, 18, 26, 50, 58], '---0-0']
[[0, 2, 8, 10, 32, 34, 40, 42, 16, 48, 24, 56, 18, 50, 26, 58], '---0-0']
[[0, 2, 8, 10, 32, 40, 34, 42, 16, 18, 24, 26, 48, 50, 56, 58], '---0-0']
[[0, 2, 8, 10, 32, 40, 34, 42, 16, 18, 24, 26, 48, 56, 50, 58], '---0-0']
[[0, 2, 8, 10, 32, 40, 34, 42, 16, 18, 48, 50, 24, 26, 56, 58], '---0-0']
[[0, 2, 8, 10, 32, 40, 34, 42, 16, 18, 48, 50, 24, 56, 26, 58], '---0-0']
[[0, 2, 8, 10, 32, 40, 34, 42, 16, 24, 18, 26, 48, 50, 56, 58], '---0-0']
[[0, 2, 8, 10, 32, 40, 34, 42, 16, 24, 18, 26, 48, 56, 50, 58], '---0-0']
[[0, 2, 8, 10, 32, 40, 34, 42, 16, 24, 48, 56, 18, 26, 50, 58], '---0-0']
[[0, 2, 8, 10, 32, 40, 34, 42, 16, 24, 48, 56, 18, 50, 26, 58], '---0-0']
[[0, 2, 8, 10, 32, 40, 34, 42, 16, 48, 18, 50, 24, 26, 56, 58], '---0-0']
[[0, 2, 8, 10, 32, 40, 34, 42, 16, 48, 18, 50, 24, 56, 26, 58], '---0-0']
[[0, 2, 8, 10, 32, 40, 34, 42, 16, 48, 24, 56, 18, 26, 50, 58], '---0-0']
[[0, 2, 8, 10, 32, 40, 34, 42, 16, 48, 24, 56, 18, 50, 26, 58], '---0-0']
[[0, 2, 16, 18, 8, 10, 24, 26, 32, 34, 40, 42, 48, 50, 56, 58], '---0-0']
[[0, 2, 16, 18, 8, 10, 24, 26, 32, 34, 40, 42, 48, 56, 50, 58], '---0-0']
[[0, 2, 16, 18, 8, 10, 24, 26, 32, 34, 48, 50, 40, 42, 56, 58], '---0-0']
[[0, 2, 16, 18, 8, 10, 24, 26, 32, 34, 48, 50, 40, 56, 42, 58], '---0-0']
[[0, 2, 16, 18, 8, 10, 24, 26, 32, 40, 34, 42, 48, 50, 56, 58], '---0-0']
[[0, 2, 16, 18, 8, 10, 24, 26, 32, 40, 34, 42, 48, 56, 50, 58], '---0-0']
[[0, 2, 16, 18, 8, 10, 24, 26, 32, 40, 48, 56, 34, 42, 50, 58], '---0-0']
[[0, 2, 16, 18, 8, 10, 24, 26, 32, 40, 48, 56, 34, 50, 42, 58], '---0-0']
[[0, 2, 16, 18, 8, 10, 24, 26, 32, 48, 34, 50, 40, 42, 56, 58], '---0-0']
[[0, 2, 16, 18, 8, 10, 24, 26, 32, 48, 34, 50, 40, 56, 42, 58], '---0-0']
[[0, 2, 16, 18, 8, 10, 24, 26, 32, 48, 40, 56, 34, 42, 50, 58], '---0-0']
[[0, 2, 16, 18, 8, 10, 24, 26, 32, 48, 40, 56, 34, 50, 42, 58], '---0-0']
[[0, 2, 16, 18, 8, 24, 10, 26, 32, 34, 40, 42, 48, 50, 56, 58], '---0-0']
[[0, 2, 16, 18, 8, 24, 10, 26, 32, 34, 40, 42, 48, 56, 50, 58], '---0-0']
[[0, 2, 16, 18, 8, 24, 10, 26, 32, 34, 48, 50, 40, 42, 56, 58], '---0-0']
[[0, 2, 16, 18, 8, 24, 10, 26, 32, 34, 48, 50, 40, 56, 42, 58], '---0-0']
[[0, 2, 16, 18, 8, 24, 10, 26, 32, 40, 34, 42, 48, 50, 56, 58], '---0-0']
[[0, 2, 16, 18, 8, 24, 10, 26, 32, 40, 34, 42, 48, 56, 50, 58], '---0-0']
[[0, 2, 16, 18, 8, 24, 10, 26, 32, 40, 48, 56, 34, 42, 50, 58], '---0-0']
[[0, 2, 16, 18, 8, 24, 10, 26, 32, 40, 48, 56, 34, 50, 42, 58], '---0-0']
[[0, 2, 16, 18, 8, 24, 10, 26, 32, 48, 34, 50, 40, 42, 56, 58], '---0-0']
[[0, 2, 16, 18, 8, 24, 10, 26, 32, 48, 34, 50, 40, 56, 42, 58], '---0-0']
[[0, 2, 16, 18, 8, 24, 10, 26, 32, 48, 40, 56, 34, 42, 50, 58], '---0-0']
[[0, 2, 16, 18, 8, 24, 10, 26, 32, 48, 40, 56, 34, 50, 42, 58], '---0-0']
[[0, 2, 16, 18, 32, 34, 48, 50, 8, 10, 24, 26, 40, 42, 56, 58], '---0-0']
[[0, 2, 16, 18, 32, 34, 48, 50, 8, 10, 24, 26, 40, 56, 42, 58], '---0-0']
[[0, 2, 16, 18, 32, 34, 48, 50, 8, 10, 40, 42, 24, 26, 56, 58], '---0-0']
[[0, 2, 16, 18, 32, 34, 48, 50, 8, 10, 40, 42, 24, 56, 26, 58], '---0-0']
[[0, 2, 16, 18, 32, 34, 48, 50, 8, 24, 10, 26, 40, 42, 56, 58], '---0-0']
[[0, 2, 16, 18, 32, 34, 48, 50, 8, 24, 10, 26, 40, 56, 42, 58], '---0-0']
[[0, 2, 16, 18, 32, 34, 48, 50, 8, 24, 40, 56, 10, 26, 42, 58], '---0-0']
[[0, 2, 16, 18, 32, 34, 48, 50, 8, 24, 40, 56, 10, 42, 26, 58], '---0-0']
[[0, 2, 16, 18, 32, 34, 48, 50, 8, 40, 10, 42, 24, 26, 56, 58], '---0-0']
[[0, 2, 16, 18, 32, 34, 48, 50, 8, 40, 10, 42, 24, 56, 26, 58], '---0-0']
[[0, 2, 16, 18, 32, 34, 48, 50, 8, 40, 24, 56, 10, 26, 42, 58], '---0-0']
[[0, 2, 16, 18, 32, 34, 48, 50, 8, 40, 24, 56, 10, 42, 26, 58], '---0-0']
[[0, 2, 16, 18, 32, 48, 34, 50, 8, 10, 24, 26, 40, 42, 56, 58], '---0-0']
[[0, 2, 16, 18, 32, 48, 34, 50, 8, 10, 24, 26, 40, 56, 42, 58], '---0-0']
[[0, 2, 16, 18, 32, 48, 34, 50, 8, 10, 40, 42, 24, 26, 56, 58], '---0-0']
[[0, 2, 16, 18, 32, 48, 34, 50, 8, 10, 40, 42, 24, 56, 26, 58], '---0-0']
[[0, 2, 16, 18, 32, 48, 34, 50, 8, 24, 10, 26, 40, 42, 56, 58], '---0-0']
[[0, 2, 16, 18, 32, 48, 34, 50, 8, 24, 10, 26, 40, 56, 42, 58], '---0-0']
[[0, 2, 16, 18, 32, 48, 34, 50, 8, 24, 40, 56, 10, 26, 42, 58], '---0-0']
[[0, 2, 16, 18, 32, 48, 34, 50, 8, 24, 40, 56, 10, 42, 26, 58], '---0-0']
[[0, 2, 16, 18, 32, 48, 34, 50, 8, 40, 10, 42, 24, 26, 56, 58], '---0-0']
[[0, 2, 16, 18, 32, 48, 34, 50, 8, 40, 10, 42, 24, 56, 26, 58], '---0-0']
[[0, 2, 16, 18, 32, 48, 34, 50, 8, 40, 24, 56, 10, 26, 42, 58], '---0-0']
[[0, 2, 16, 18, 32, 48, 34, 50, 8, 40, 24, 56, 10, 42, 26, 58], '---0-0']
[[0, 2, 32, 34, 8, 10, 40, 42, 16, 18, 24, 26, 48, 50, 56, 58], '---0-0']
[[0, 2, 32, 34, 8, 10, 40, 42, 16, 18, 24, 26, 48, 56, 50, 58], '---0-0']
[[0, 2, 32, 34, 8, 10, 40, 42, 16, 18, 48, 50, 24, 26, 56, 58], '---0-0']
[[0, 2, 32, 34, 8, 10, 40, 42, 16, 18, 48, 50, 24, 56, 26, 58], '---0-0']
[[0, 2, 32, 34, 8, 10, 40, 42, 16, 24, 18, 26, 48, 50, 56, 58], '---0-0']
[[0, 2, 32, 34, 8, 10, 40, 42, 16, 24, 18, 26, 48, 56, 50, 58], '---0-0']
[[0, 2, 32, 34, 8, 10, 40, 42, 16, 24, 48, 56, 18, 26, 50, 58], '---0-0']
[[0, 2, 32, 34, 8, 10, 40, 42, 16, 24, 48, 56, 18, 50, 26, 58], '---0-0']
[[0, 2, 32, 34, 8, 10, 40, 42, 16, 48, 18, 50, 24, 26, 56, 58], '---0-0']
[[0, 2, 32, 34, 8, 10, 40, 42, 16, 48, 18, 50, 24, 56, 26, 58], '---0-0']
[[0, 2, 32, 34, 8, 10, 40, 42, 16, 48, 24, 56, 18, 26, 50, 58], '---0-0']
[[0, 2, 32, 34, 8, 10, 40, 42, 16, 48, 24, 56, 18, 50, 26, 58], '---0-0']
[[0, 2, 32, 34, 8, 40, 10, 42, 16, 18, 24, 26, 48, 50, 56, 58], '---0-0']
[[0, 2, 32, 34, 8, 40, 10, 42, 16, 18, 24, 26, 48, 56, 50, 58], '---0-0']
[[0, 2, 32, 34, 8, 40, 10, 42, 16, 18, 48, 50, 24, 26, 56, 58], '---0-0']
[[0, 2, 32, 34, 8, 40, 10, 42, 16, 18, 48, 50, 24, 56, 26, 58], '---0-0']
[[0, 2, 32, 34, 8, 40, 10, 42, 16, 24, 18, 26, 48, 50, 56, 58], '---0-0']
[[0, 2, 32, 34, 8, 40, 10, 42, 16, 24, 18, 26, 48, 56, 50, 58], '---0-0']
[[0, 2, 32, 34, 8, 40, 10, 42, 16, 24, 48, 56, 18, 26, 50, 58], '---0-0']
[[0, 2, 32, 34, 8, 40, 10, 42, 16, 24, 48, 56, 18, 50, 26, 58], '---0-0']
[[0, 2, 32, 34, 8, 40, 10, 42, 16, 48, 18, 50, 24, 26, 56, 58], '---0-0']
[[0, 2, 32, 34, 8, 40, 10, 42, 16, 48, 18, 50, 24, 56, 26, 58], '---0-0']
[[0, 2, 32, 34, 8, 40, 10, 42, 16, 48, 24, 56, 18, 26, 50, 58], '---0-0']
[[0, 2, 32, 34, 8, 40, 10, 42, 16, 48, 24, 56, 18, 50, 26, 58], '---0-0']
[[0, 2, 32, 34, 16, 18, 48, 50, 8, 10, 24, 26, 40, 42, 56, 58], '---0-0']
[[0, 2, 32, 34, 16, 18, 48, 50, 8, 10, 24, 26, 40, 56, 42, 58], '---0-0']
[[0, 2, 32, 34, 16, 18, 48, 50, 8, 10, 40, 42, 24, 26, 56, 58], '---0-0']
[[0, 2, 32, 34, 16, 18, 48, 50, 8, 10, 40, 42, 24, 56, 26, 58], '---0-0']
[[0, 2, 32, 34, 16, 18, 48, 50, 8, 24, 10, 26, 40, 42, 56, 58], '---0-0']
[[0, 2, 32, 34, 16, 18, 48, 50, 8, 24, 10, 26, 40, 56, 42, 58], '---0-0']
[[0, 2, 32, 34, 16, 18, 48, 50, 8, 24, 40, 56, 10, 26, 42, 58], '---0-0']
[[0, 2, 32, 34, 16, 18, 48, 50, 8, 24, 40, 56, 10, 42, 26, 58], '---0-0']
[[0, 2, 32, 34, 16, 18, 48, 50, 8, 40, 10, 42, 24, 26, 56, 58], '---0-0']
[[0, 2, 32, 34, 16, 18, 48, 50, 8, 40, 10, 42, 24, 56, 26, 58], '---0-0']
[[0, 2, 32, 34, 16, 18, 48, 50, 8, 40, 24, 56, 10, 26, 42, 58], '---0-0']
[[0, 2, 32, 34, 16, 18, 48, 50, 8, 40, 24, 56, 10, 42, 26, 58], '---0-0']
[[0, 2, 32, 34, 16, 48, 18, 50, 8, 10, 24, 26, 40, 42, 56, 58], '---0-0']
[[0, 2, 32, 34, 16, 48, 18, 50, 8, 10, 24, 26, 40, 56, 42, 58], '---0-0']
[[0, 2, 32, 34, 16, 48, 18, 50, 8, 10, 40, 42, 24, 26, 56, 58], '---0-0']
[[0, 2, 32, 34, 16, 48, 18, 50, 8, 10, 40, 42, 24, 56, 26, 58], '---0-0']
[[0, 2, 32, 34, 16, 48, 18, 50, 8, 24, 10, 26, 40, 42, 56, 58], '---0-0']
[[0, 2, 32, 34, 16, 48, 18, 50, 8, 24, 10, 26, 40, 56, 42, 58], '---0-0']
[[0, 2, 32, 34, 16, 48, 18, 50, 8, 24, 40, 56, 10, 26, 42, 58], '---0-0']
[[0, 2, 32, 34, 16, 48, 18, 50, 8, 24, 40, 56, 10, 42, 26, 58], '---0-0']
[[0, 2, 32, 34, 16, 48, 18, 50, 8, 40, 10, 42, 24, 26, 56, 58], '---0-0']
[[0, 2, 32, 34, 16, 48, 18, 50, 8, 40, 10, 42, 24, 56, 26, 58], '---0-0']
[[0, 2, 32, 34, 16, 48, 18, 50, 8, 40, 24, 56, 10, 26, 42, 58], '---0-0']
[[0, 2, 32, 34, 16, 48, 18, 50, 8, 40, 24, 56, 10, 42, 26, 58], '---0-0']
[[0, 8, 2, 10, 16, 18, 24, 26, 32, 34, 40, 42, 48, 50, 56, 58], '---0-0']
[[0, 8, 2, 10, 16, 18, 24, 26, 32, 34, 40, 42, 48, 56, 50, 58], '---0-0']
[[0, 8, 2, 10, 16, 18, 24, 26, 32, 34, 48, 50, 40, 42, 56, 58], '---0-0']
[[0, 8, 2, 10, 16, 18, 24, 26, 32, 34, 48, 50, 40, 56, 42, 58], '---0-0']
[[0, 8, 2, 10, 16, 18, 24, 26, 32, 40, 34, 42, 48, 50, 56, 58], '---0-0']
[[0, 8, 2, 10, 16, 18, 24, 26, 32, 40, 34, 42, 48, 56, 50, 58], '---0-0']
[[0, 8, 2, 10, 16, 18, 24, 26, 32, 40, 48, 56, 34, 42, 50, 58], '---0-0']
[[0, 8, 2, 10, 16, 18, 24, 26, 32, 40, 48, 56, 34, 50, 42, 58], '---0-0']
[[0, 8, 2, 10, 16, 18, 24, 26, 32, 48, 34, 50, 40, 42, 56, 58], '---0-0']
[[0, 8, 2, 10, 16, 18, 24, 26, 32, 48, 34, 50, 40, 56, 42, 58], '---0-0']
[[0, 8, 2, 10, 16, 18, 24, 26, 32, 48, 40, 56, 34, 42, 50, 58], '---0-0']
[[0, 8, 2, 10, 16, 18, 24, 26, 32, 48, 40, 56, 34, 50, 42, 58], '---0-0']
[[0, 8, 2, 10, 16, 24, 18, 26, 32, 34, 40, 42, 48, 50, 56, 58], '---0-0']
[[0, 8, 2, 10, 16, 24, 18, 26, 32, 34, 40, 42, 48, 56, 50, 58], '---0-0']
[[0, 8, 2, 10, 16, 24, 18, 26, 32, 34, 48, 50, 40, 42, 56, 58], '---0-0']
[[0, 8, 2, 10, 16, 24, 18, 26, 32, 34, 48, 50, 40, 56, 42, 58], '---0-0']
[[0, 8, 2, 10, 16, 24, 18, 26, 32, 40, 34, 42, 48, 50, 56, 58], '---0-0']
[[0, 8, 2, 10, 16, 24, 18, 26, 32, 40, 34, 42, 48, 56, 50, 58], '---0-0']
[[0, 8, 2, 10, 16, 24, 18, 26, 32, 40, 48, 56, 34, 42, 50, 58], '---0-0']
[[0, 8, 2, 10, 16, 24, 18, 26, 32, 40, 48, 56, 34, 50, 42, 58], '---0-0']
[[0, 8, 2, 10, 16, 24, 18, 26, 32, 48, 34, 50, 40, 42, 56, 58], '---0-0']
[[0, 8, 2, 10, 16, 24, 18, 26, 32, 48, 34, 50, 40, 56, 42, 58], '---0-0']
[[0, 8, 2, 10, 16, 24, 18, 26, 32, 48, 40, 56, 34, 42, 50, 58], '---0-0']
[[0, 8, 2, 10, 16, 24, 18, 26, 32, 48, 40, 56, 34, 50, 42, 58], '---0-0']
[[0, 8, 2, 10, 32, 34, 40, 42, 16, 18, 24, 26, 48, 50, 56, 58], '---0-0']
[[0, 8, 2, 10, 32, 34, 40, 42, 16, 18, 24, 26, 48, 56, 50, 58], '---0-0']
[[0, 8, 2, 10, 32, 34, 40, 42, 16, 18, 48, 50, 24, 26, 56, 58], '---0-0']
[[0, 8, 2, 10, 32, 34, 40, 42, 16, 18, 48, 50, 24, 56, 26, 58], '---0-0']
[[0, 8, 2, 10, 32, 34, 40, 42, 16, 24, 18, 26, 48, 50, 56, 58], '---0-0']
[[0, 8, 2, 10, 32, 34, 40, 42, 16, 24, 18, 26, 48, 56, 50, 58], '---0-0']
[[0, 8, 2, 10, 32, 34, 40, 42, 16, 24, 48, 56, 18, 26, 50, 58], '---0-0']
[[0, 8, 2, 10, 32, 34, 40, 42, 16, 24, 48, 56, 18, 50, 26, 58], '---0-0']
[[0, 8, 2, 10, 32, 34, 40, 42, 16, 48, 18, 50, 24, 26, 56, 58], '---0-0']
[[0, 8, 2, 10, 32, 34, 40, 42, 16, 48, 18, 50, 24, 56, 26, 58], '---0-0']
[[0, 8, 2, 10, 32, 34, 40, 42, 16, 48, 24, 56, 18, 26, 50, 58], '---0-0']
[[0, 8, 2, 10, 32, 34, 40, 42, 16, 48, 24, 56, 18, 50, 26, 58], '---0-0']
[[0, 8, 2, 10, 32, 40, 34, 42, 16, 18, 24, 26, 48, 50, 56, 58], '---0-0']
[[0, 8, 2, 10, 32, 40, 34, 42, 16, 18, 24, 26, 48, 56, 50, 58], '---0-0']
[[0, 8, 2, 10, 32, 40, 34, 42, 16, 18, 48, 50, 24, 26, 56, 58], '---0-0']
[[0, 8, 2, 10, 32, 40, 34, 42, 16, 18, 48, 50, 24, 56, 26, 58], '---0-0']
[[0, 8, 2, 10, 32, 40, 34, 42, 16, 24, 18, 26, 48, 50, 56, 58], '---0-0']
[[0, 8, 2, 10, 32, 40, 34, 42, 16, 24, 18, 26, 48, 56, 50, 58], '---0-0']
[[0, 8, 2, 10, 32, 40, 34, 42, 16, 24, 48, 56, 18, 26, 50, 58], '---0-0']
[[0, 8, 2, 10, 32, 40, 34, 42, 16, 24, 48, 56, 18, 50, 26, 58], '---0-0']
[[0, 8, 2, 10, 32, 40, 34, 42, 16, 48, 18, 50, 24, 26, 56, 58], '---0-0']
[[0, 8, 2, 10, 32, 40, 34, 42, 16, 48, 18, 50, 24, 56, 26, 58], '---0-0']
[[0, 8, 2, 10, 32, 40, 34, 42, 16, 48, 24, 56, 18, 26, 50, 58], '---0-0']
[[0, 8, 2, 10, 32, 40, 34, 42, 16, 48, 24, 56, 18, 50, 26, 58], '---0-0']
[[0, 8, 16, 24, 2, 10, 18, 26, 32, 34, 40, 42, 48, 50, 56, 58], '---0-0']
[[0, 8, 16, 24, 2, 10, 18, 26, 32, 34, 40, 42, 48, 56, 50, 58], '---0-0']
[[0, 8, 16, 24, 2, 10, 18, 26, 32, 34, 48, 50, 40, 42, 56, 58], '---0-0']
[[0, 8, 16, 24, 2, 10, 18, 26, 32, 34, 48, 50, 40, 56, 42, 58], '---0-0']
[[0, 8, 16, 24, 2, 10, 18, 26, 32, 40, 34, 42, 48, 50, 56, 58], '---0-0']
[[0, 8, 16, 24, 2, 10, 18, 26, 32, 40, 34, 42, 48, 56, 50, 58], '---0-0']
[[0, 8, 16, 24, 2, 10, 18, 26, 32, 40, 48, 56, 34, 42, 50, 58], '---0-0']
[[0, 8, 16, 24, 2, 10, 18, 26, 32, 40, 48, 56, 34, 50, 42, 58], '---0-0']
[[0, 8, 16, 24, 2, 10, 18, 26, 32, 48, 34, 50, 40, 42, 56, 58], '---0-0']
[[0, 8, 16, 24, 2, 10, 18, 26, 32, 48, 34, 50, 40, 56, 42, 58], '---0-0']
[[0, 8, 16, 24, 2, 10, 18, 26, 32, 48, 40, 56, 34, 42, 50, 58], '---0-0']
[[0, 8, 16, 24, 2, 10, 18, 26, 32, 48, 40, 56, 34, 50, 42, 58], '---0-0']
[[0, 8, 16, 24, 2, 18, 10, 26, 32, 34, 40, 42, 48, 50, 56, 58], '---0-0']
[[0, 8, 16, 24, 2, 18, 10, 26, 32, 34, 40, 42, 48, 56, 50, 58], '---0-0']
[[0, 8, 16, 24, 2, 18, 10, 26, 32, 34, 48, 50, 40, 42, 56, 58], '---0-0']
[[0, 8, 16, 24, 2, 18, 10, 26, 32, 34, 48, 50, 40, 56, 42, 58], '---0-0']
[[0, 8, 16, 24, 2, 18, 10, 26, 32, 40, 34, 42, 48, 50, 56, 58], '---0-0']
[[0, 8, 16, 24, 2, 18, 10, 26, 32, 40, 34, 42, 48, 56, 50, 58], '---0-0']
[[0, 8, 16, 24, 2, 18, 10, 26, 32, 40, 48, 56, 34, 42, 50, 58], '---0-0']
[[0, 8, 16, 24, 2, 18, 10, 26, 32, 40, 48, 56, 34, 50, 42, 58], '---0-0']
[[0, 8, 16, 24, 2, 18, 10, 26, 32, 48, 34, 50, 40, 42, 56, 58], '---0-0']
[[0, 8, 16, 24, 2, 18, 10, 26, 32, 48, 34, 50, 40, 56, 42, 58], '---0-0']
[[0, 8, 16, 24, 2, 18, 10, 26, 32, 48, 40, 56, 34, 42, 50, 58], '---0-0']
[[0, 8, 16, 24, 2, 18, 10, 26, 32, 48, 40, 56, 34, 50, 42, 58], '---0-0']
[[0, 8, 16, 24, 32, 40, 48, 56, 2, 10, 18, 26, 34, 42, 50, 58], '---0-0']
[[0, 8, 16, 24, 32, 40, 48, 56, 2, 10, 18, 26, 34, 50, 42, 58], '---0-0']
[[0, 8, 16, 24, 32, 40, 48, 56, 2, 10, 34, 42, 18, 26, 50, 58], '---0-0']
[[0, 8, 16, 24, 32, 40, 48, 56, 2, 10, 34, 42, 18, 50, 26, 58], '---0-0']
[[0, 8, 16, 24, 32, 40, 48, 56, 2, 18, 10, 26, 34, 42, 50, 58], '---0-0']
[[0, 8, 16, 24, 32, 40, 48, 56, 2, 18, 10, 26, 34, 50, 42, 58], '---0-0']
[[0, 8, 16, 24, 32, 40, 48, 56, 2, 18, 34, 50, 10, 26, 42, 58], '---0-0']
[[0, 8, 16, 24, 32, 40, 48, 56, 2, 18, 34, 50, 10, 42, 26, 58], '---0-0']
[[0, 8, 16, 24, 32, 40, 48, 56, 2, 34, 10, 42, 18, 26, 50, 58], '---0-0']
[[0, 8, 16, 24, 32, 40, 48, 56, 2, 34, 10, 42, 18, 50, 26, 58], '---0-0']
[[0, 8, 16, 24, 32, 40, 48, 56, 2, 34, 18, 50, 10, 26, 42, 58], '---0-0']
[[0, 8, 16, 24, 32, 40, 48, 56, 2, 34, 18, 50, 10, 42, 26, 58], '---0-0']
[[0, 8, 16, 24, 32, 48, 40, 56, 2, 10, 18, 26, 34, 42, 50, 58], '---0-0']
[[0, 8, 16, 24, 32, 48, 40, 56, 2, 10, 18, 26, 34, 50, 42, 58], '---0-0']
[[0, 8, 16, 24, 32, 48, 40, 56, 2, 10, 34, 42, 18, 26, 50, 58], '---0-0']
[[0, 8, 16, 24, 32, 48, 40, 56, 2, 10, 34, 42, 18, 50, 26, 58], '---0-0']
[[0, 8, 16, 24, 32, 48, 40, 56, 2, 18, 10, 26, 34, 42, 50, 58], '---0-0']
[[0, 8, 16, 24, 32, 48, 40, 56, 2, 18, 10, 26, 34, 50, 42, 58], '---0-0']
[[0, 8, 16, 24, 32, 48, 40, 56, 2, 18, 34, 50, 10, 26, 42, 58], '---0-0']
[[0, 8, 16, 24, 32, 48, 40, 56, 2, 18, 34, 50, 10, 42, 26, 58], '---0-0']
[[0, 8, 16, 24, 32, 48, 40, 56, 2, 34, 10, 42, 18, 26, 50, 58], '---0-0']
[[0, 8, 16, 24, 32, 48, 40, 56, 2, 34, 10, 42, 18, 50, 26, 58], '---0-0']
[[0, 8, 16, 24, 32, 48, 40, 56, 2, 34, 18, 50, 10, 26, 42, 58], '---0-0']
[[0, 8, 16, 24, 32, 48, 40, 56, 2, 34, 18, 50, 10, 42, 26, 58], '---0-0']
[[0, 8, 32, 40, 2, 10, 34, 42, 16, 18, 24, 26, 48, 50, 56, 58], '---0-0']
[[0, 8, 32, 40, 2, 10, 34, 42, 16, 18, 24, 26, 48, 56, 50, 58], '---0-0']
[[0, 8, 32, 40, 2, 10, 34, 42, 16, 18, 48, 50, 24, 26, 56, 58], '---0-0']
[[0, 8, 32, 40, 2, 10, 34, 42, 16, 18, 48, 50, 24, 56, 26, 58], '---0-0']
[[0, 8, 32, 40, 2, 10, 34, 42, 16, 24, 18, 26, 48, 50, 56, 58], '---0-0']
[[0, 8, 32, 40, 2, 10, 34, 42, 16, 24, 18, 26, 48, 56, 50, 58], '---0-0']
[[0, 8, 32, 40, 2, 10, 34, 42, 16, 24, 48, 56, 18, 26, 50, 58], '---0-0']
[[0, 8, 32, 40, 2, 10, 34, 42, 16, 24, 48, 56, 18, 50, 26, 58], '---0-0']
[[0, 8, 32, 40, 2, 10, 34, 42, 16, 48, 18, 50, 24, 26, 56, 58], '---0-0']
[[0, 8, 32, 40, 2, 10, 34, 42, 16, 48, 18, 50, 24, 56, 26, 58], '---0-0']
[[0, 8, 32, 40, 2, 10, 34, 42, 16, 48, 24, 56, 18, 26, 50, 58], '---0-0']
[[0, 8, 32, 40, 2, 10, 34, 42, 16, 48, 24, 56, 18, 50, 26, 58], '---0-0']
[[0, 8, 32, 40, 2, 34, 10, 42, 16, 18, 24, 26, 48, 50, 56, 58], '---0-0']
[[0, 8, 32, 40, 2, 34, 10, 42, 16, 18, 24, 26, 48, 56, 50, 58], '---0-0']
[[0, 8, 32, 40, 2, 34, 10, 42, 16, 18, 48, 50, 24, 26, 56, 58], '---0-0']
[[0, 8, 32, 40, 2, 34, 10, 42, 16, 18, 48, 50, 24, 56, 26, 58], '---0-0']
[[0, 8, 32, 40, 2, 34, 10, 42, 16, 24, 18, 26, 48, 50, 56, 58], '---0-0']
[[0, 8, 32, 40, 2, 34, 10, 42, 16, 24, 18, 26, 48, 56, 50, 58], '---0-0']
[[0, 8, 32, 40, 2, 34, 10, 42, 16, 24, 48, 56, 18, 26, 50, 58], '---0-0']
[[0, 8, 32, 40, 2, 34, 10, 42, 16, 24, 48, 56, 18, 50, 26, 58], '---0-0']
[[0, 8, 32, 40, 2, 34, 10, 42, 16, 48, 18, 50, 24, 26, 56, 58], '---0-0']
[[0, 8, 32, 40, 2, 34, 10, 42, 16, 48, 18, 50, 24, 56, 26, 58], '---0-0']
[[0, 8, 32, 40, 2, 34, 10, 42, 16, 48, 24, 56, 18, 26, 50, 58], '---0-0']
[[0, 8, 32, 40, 2, 34, 10, 42, 16, 48, 24, 56, 18, 50, 26, 58], '---0-0']
[[0, 8, 32, 40, 16, 24, 48, 56, 2, 10, 18, 26, 34, 42, 50, 58], '---0-0']
[[0, 8, 32, 40, 16, 24, 48, 56, 2, 10, 18, 26, 34, 50, 42, 58], '---0-0']
[[0, 8, 32, 40, 16, 24, 48, 56, 2, 10, 34, 42, 18, 26, 50, 58], '---0-0']
[[0, 8, 32, 40, 16, 24, 48, 56, 2, 10, 34, 42, 18, 50, 26, 58], '---0-0']
[[0, 8, 32, 40, 16, 24, 48, 56, 2, 18, 10, 26, 34, 42, 50, 58], '---0-0']
[[0, 8, 32, 40, 16, 24, 48, 56, 2, 18, 10, 26, 34, 50, 42, 58], '---0-0']
[[0, 8, 32, 40, 16, 24, 48, 56, 2, 18, 34, 50, 10, 26, 42, 58], '---0-0']
[[0, 8, 32, 40, 16, 24, 48, 56, 2, 18, 34, 50, 10, 42, 26, 58], '---0-0']
[[0, 8, 32, 40, 16, 24, 48, 56, 2, 34, 10, 42, 18, 26, 50, 58], '---0-0']
[[0, 8, 32, 40, 16, 24, 48, 56, 2, 34, 10, 42, 18, 50, 26, 58], '---0-0']
[[0, 8, 32, 40, 16, 24, 48, 56, 2, 34, 18, 50, 10, 26, 42, 58], '---0-0']
[[0, 8, 32, 40, 16, 24, 48, 56, 2, 34, 18, 50, 10, 42, 26, 58], '---0-0']
[[0, 8, 32, 40, 16, 48, 24, 56, 2, 10, 18, 26, 34, 42, 50, 58], '---0-0']
[[0, 8, 32, 40, 16, 48, 24, 56, 2, 10, 18, 26, 34, 50, 42, 58], '---0-0']
[[0, 8, 32, 40, 16, 48, 24, 56, 2, 10, 34, 42, 18, 26, 50, 58], '---0-0']
[[0, 8, 32, 40, 16, 48, 24, 56, 2, 10, 34, 42, 18, 50, 26, 58], '---0-0']
[[0, 8, 32, 40, 16, 48, 24, 56, 2, 18, 10, 26, 34, 42, 50, 58], '---0-0']
[[0, 8, 32, 40, 16, 48, 24, 56, 2, 18, 10, 26, 34, 50, 42, 58], '---0-0']
[[0, 8, 32, 40, 16, 48, 24, 56, 2, 18, 34, 50, 10, 26, 42, 58], '---0-0']
[[0, 8, 32, 40, 16, 48, 24, 56, 2, 18, 34, 50, 10, 42, 26, 58], '---0-0']
[[0, 8, 32, 40, 16, 48, 24, 56, 2, 34, 10, 42, 18, 26, 50, 58], '---0-0']
[[0, 8, 32, 40, 16, 48, 24, 56, 2, 34, 10, 42, 18, 50, 26, 58], '---0-0']
[[0, 8, 32, 40, 16, 48, 24, 56, 2, 34, 18, 50, 10, 26, 42, 58], '---0-0']
[[0, 8, 32, 40, 16, 48, 24, 56, 2, 34, 18, 50, 10, 42, 26, 58], '---0-0']
[[0, 16, 2, 18, 8, 10, 24, 26, 32, 34, 40, 42, 48, 50, 56, 58], '---0-0']
[[0, 16, 2, 18, 8, 10, 24, 26, 32, 34, 40, 42, 48, 56, 50, 58], '---0-0']
[[0, 16, 2, 18, 8, 10, 24, 26, 32, 34, 48, 50, 40, 42, 56, 58], '---0-0']
[[0, 16, 2, 18, 8, 10, 24, 26, 32, 34, 48, 50, 40, 56, 42, 58], '---0-0']
[[0, 16, 2, 18, 8, 10, 24, 26, 32, 40, 34, 42, 48, 50, 56, 58], '---0-0']
[[0, 16, 2, 18, 8, 10, 24, 26, 32, 40, 34, 42, 48, 56, 50, 58], '---0-0']
[[0, 16, 2, 18, 8, 10, 24, 26, 32, 40, 48, 56, 34, 42, 50, 58], '---0-0']
[[0, 16, 2, 18, 8, 10, 24, 26, 32, 40, 48, 56, 34, 50, 42, 58], '---0-0']
[[0, 16, 2, 18, 8, 10, 24, 26, 32, 48, 34, 50, 40, 42, 56, 58], '---0-0']
[[0, 16, 2, 18, 8, 10, 24, 26, 32, 48, 34, 50, 40, 56, 42, 58], '---0-0']
[[0, 16, 2, 18, 8, 10, 24, 26, 32, 48, 40, 56, 34, 42, 50, 58], '---0-0']
[[0, 16, 2, 18, 8, 10, 24, 26, 32, 48, 40, 56, 34, 50, 42, 58], '---0-0']
[[0, 16, 2, 18, 8, 24, 10, 26, 32, 34, 40, 42, 48, 50, 56, 58], '---0-0']
[[0, 16, 2, 18, 8, 24, 10, 26, 32, 34, 40, 42, 48, 56, 50, 58], '---0-0']
[[0, 16, 2, 18, 8, 24, 10, 26, 32, 34, 48, 50, 40, 42, 56, 58], '---0-0']
[[0, 16, 2, 18, 8, 24, 10, 26, 32, 34, 48, 50, 40, 56, 42, 58], '---0-0']
[[0, 16, 2, 18, 8, 24, 10, 26, 32, 40, 34, 42, 48, 50, 56, 58], '---0-0']
[[0, 16, 2, 18, 8, 24, 10, 26, 32, 40, 34, 42, 48, 56, 50, 58], '---0-0']
[[0, 16, 2, 18, 8, 24, 10, 26, 32, 40, 48, 56, 34, 42, 50, 58], '---0-0']
[[0, 16, 2, 18, 8, 24, 10, 26, 32, 40, 48, 56, 34, 50, 42, 58], '---0-0']
[[0, 16, 2, 18, 8, 24, 10, 26, 32, 48, 34, 50, 40, 42, 56, 58], '---0-0']
[[0, 16, 2, 18, 8, 24, 10, 26, 32, 48, 34, 50, 40, 56, 42, 58], '---0-0']
[[0, 16, 2, 18, 8, 24, 10, 26, 32, 48, 40, 56, 34, 42, 50, 58], '---0-0']
[[0, 16, 2, 18, 8, 24, 10, 26, 32, 48, 40, 56, 34, 50, 42, 58], '---0-0']
[[0, 16, 2, 18, 32, 34, 48, 50, 8, 10, 24, 26, 40, 42, 56, 58], '---0-0']
[[0, 16, 2, 18, 32, 34, 48, 50, 8, 10, 24, 26, 40, 56, 42, 58], '---0-0']
[[0, 16, 2, 18, 32, 34, 48, 50, 8, 10, 40, 42, 24, 26, 56, 58], '---0-0']
[[0, 16, 2, 18, 32, 34, 48, 50, 8, 10, 40, 42, 24, 56, 26, 58], '---0-0']
[[0, 16, 2, 18, 32, 34, 48, 50, 8, 24, 10, 26, 40, 42, 56, 58], '---0-0']
[[0, 16, 2, 18, 32, 34, 48, 50, 8, 24, 10, 26, 40, 56, 42, 58], '---0-0']
[[0, 16, 2, 18, 32, 34, 48, 50, 8, 24, 40, 56, 10, 26, 42, 58], '---0-0']
[[0, 16, 2, 18, 32, 34, 48, 50, 8, 24, 40, 56, 10, 42, 26, 58], '---0-0']
[[0, 16, 2, 18, 32, 34, 48, 50, 8, 40, 10, 42, 24, 26, 56, 58], '---0-0']
[[0, 16, 2, 18, 32, 34, 48, 50, 8, 40, 10, 42, 24, 56, 26, 58], '---0-0']
[[0, 16, 2, 18, 32, 34, 48, 50, 8, 40, 24, 56, 10, 26, 42, 58], '---0-0']
[[0, 16, 2, 18, 32, 34, 48, 50, 8, 40, 24, 56, 10, 42, 26, 58], '---0-0']
[[0, 16, 2, 18, 32, 48, 34, 50, 8, 10, 24, 26, 40, 42, 56, 58], '---0-0']
[[0, 16, 2, 18, 32, 48, 34, 50, 8, 10, 24, 26, 40, 56, 42, 58], '---0-0']
[[0, 16, 2, 18, 32, 48, 34, 50, 8, 10, 40, 42, 24, 26, 56, 58], '---0-0']
[[0, 16, 2, 18, 32, 48, 34, 50, 8, 10, 40, 42, 24, 56, 26, 58], '---0-0']
[[0, 16, 2, 18, 32, 48, 34, 50, 8, 24, 10, 26, 40, 42, 56, 58], '---0-0']
[[0, 16, 2, 18, 32, 48, 34, 50, 8, 24, 10, 26, 40, 56, 42, 58], '---0-0']
[[0, 16, 2, 18, 32, 48, 34, 50, 8, 24, 40, 56, 10, 26, 42, 58], '---0-0']
[[0, 16, 2, 18, 32, 48, 34, 50, 8, 24, 40, 56, 10, 42, 26, 58], '---0-0']
[[0, 16, 2, 18, 32, 48, 34, 50, 8, 40, 10, 42, 24, 26, 56, 58], '---0-0']
[[0, 16, 2, 18, 32, 48, 34, 50, 8, 40, 10, 42, 24, 56, 26, 58], '---0-0']
[[0, 16, 2, 18, 32, 48, 34, 50, 8, 40, 24, 56, 10, 26, 42, 58], '---0-0']
[[0, 16, 2, 18, 32, 48, 34, 50, 8, 40, 24, 56, 10, 42, 26, 58], '---0-0']
[[0, 16, 8, 24, 2, 10, 18, 26, 32, 34, 40, 42, 48, 50, 56, 58], '---0-0']
[[0, 16, 8, 24, 2, 10, 18, 26, 32, 34, 40, 42, 48, 56, 50, 58], '---0-0']
[[0, 16, 8, 24, 2, 10, 18, 26, 32, 34, 48, 50, 40, 42, 56, 58], '---0-0']
[[0, 16, 8, 24, 2, 10, 18, 26, 32, 34, 48, 50, 40, 56, 42, 58], '---0-0']
[[0, 16, 8, 24, 2, 10, 18, 26, 32, 40, 34, 42, 48, 50, 56, 58], '---0-0']
[[0, 16, 8, 24, 2, 10, 18, 26, 32, 40, 34, 42, 48, 56, 50, 58], '---0-0']
[[0, 16, 8, 24, 2, 10, 18, 26, 32, 40, 48, 56, 34, 42, 50, 58], '---0-0']
[[0, 16, 8, 24, 2, 10, 18, 26, 32, 40, 48, 56, 34, 50, 42, 58], '---0-0']
[[0, 16, 8, 24, 2, 10, 18, 26, 32, 48, 34, 50, 40, 42, 56, 58], '---0-0']
[[0, 16, 8, 24, 2, 10, 18, 26, 32, 48, 34, 50, 40, 56, 42, 58], '---0-0']
[[0, 16, 8, 24, 2, 10, 18, 26, 32, 48, 40, 56, 34, 42, 50, 58], '---0-0']
[[0, 16, 8, 24, 2, 10, 18, 26, 32, 48, 40, 56, 34, 50, 42, 58], '---0-0']
[[0, 16, 8, 24, 2, 18, 10, 26, 32, 34, 40, 42, 48, 50, 56, 58], '---0-0']
[[0, 16, 8, 24, 2, 18, 10, 26, 32, 34, 40, 42, 48, 56, 50, 58], '---0-0']
[[0, 16, 8, 24, 2, 18, 10, 26, 32, 34, 48, 50, 40, 42, 56, 58], '---0-0']
[[0, 16, 8, 24, 2, 18, 10, 26, 32, 34, 48, 50, 40, 56, 42, 58], '---0-0']
[[0, 16, 8, 24, 2, 18, 10, 26, 32, 40, 34, 42, 48, 50, 56, 58], '---0-0']
[[0, 16, 8, 24, 2, 18, 10, 26, 32, 40, 34, 42, 48, 56, 50, 58], '---0-0']
[[0, 16, 8, 24, 2, 18, 10, 26, 32, 40, 48, 56, 34, 42, 50, 58], '---0-0']
[[0, 16, 8, 24, 2, 18, 10, 26, 32, 40, 48, 56, 34, 50, 42, 58], '---0-0']
[[0, 16, 8, 24, 2, 18, 10, 26, 32, 48, 34, 50, 40, 42, 56, 58], '---0-0']
[[0, 16, 8, 24, 2, 18, 10, 26, 32, 48, 34, 50, 40, 56, 42, 58], '---0-0']
[[0, 16, 8, 24, 2, 18, 10, 26, 32, 48, 40, 56, 34, 42, 50, 58], '---0-0']
[[0, 16, 8, 24, 2, 18, 10, 26, 32, 48, 40, 56, 34, 50, 42, 58], '---0-0']
[[0, 16, 8, 24, 32, 40, 48, 56, 2, 10, 18, 26, 34, 42, 50, 58], '---0-0']
[[0, 16, 8, 24, 32, 40, 48, 56, 2, 10, 18, 26, 34, 50, 42, 58], '---0-0']
[[0, 16, 8, 24, 32, 40, 48, 56, 2, 10, 34, 42, 18, 26, 50, 58], '---0-0']
[[0, 16, 8, 24, 32, 40, 48, 56, 2, 10, 34, 42, 18, 50, 26, 58], '---0-0']
[[0, 16, 8, 24, 32, 40, 48, 56, 2, 18, 10, 26, 34, 42, 50, 58], '---0-0']
[[0, 16, 8, 24, 32, 40, 48, 56, 2, 18, 10, 26, 34, 50, 42, 58], '---0-0']
[[0, 16, 8, 24, 32, 40, 48, 56, 2, 18, 34, 50, 10, 26, 42, 58], '---0-0']
[[0, 16, 8, 24, 32, 40, 48, 56, 2, 18, 34, 50, 10, 42, 26, 58], '---0-0']
[[0, 16, 8, 24, 32, 40, 48, 56, 2, 34, 10, 42, 18, 26, 50, 58], '---0-0']
[[0, 16, 8, 24, 32, 40, 48, 56, 2, 34, 10, 42, 18, 50, 26, 58], '---0-0']
[[0, 16, 8, 24, 32, 40, 48, 56, 2, 34, 18, 50, 10, 26, 42, 58], '---0-0']
[[0, 16, 8, 24, 32, 40, 48, 56, 2, 34, 18, 50, 10, 42, 26, 58], '---0-0']
[[0, 16, 8, 24, 32, 48, 40, 56, 2, 10, 18, 26, 34, 42, 50, 58], '---0-0']
[[0, 16, 8, 24, 32, 48, 40, 56, 2, 10, 18, 26, 34, 50, 42, 58], '---0-0']
[[0, 16, 8, 24, 32, 48, 40, 56, 2, 10, 34, 42, 18, 26, 50, 58], '---0-0']
[[0, 16, 8, 24, 32, 48, 40, 56, 2, 10, 34, 42, 18, 50, 26, 58], '---0-0']
[[0, 16, 8, 24, 32, 48, 40, 56, 2, 18, 10, 26, 34, 42, 50, 58], '---0-0']
[[0, 16, 8, 24, 32, 48, 40, 56, 2, 18, 10, 26, 34, 50, 42, 58], '---0-0']
[[0, 16, 8, 24, 32, 48, 40, 56, 2, 18, 34, 50, 10, 26, 42, 58], '---0-0']
[[0, 16, 8, 24, 32, 48, 40, 56, 2, 18, 34, 50, 10, 42, 26, 58], '---0-0']
[[0, 16, 8, 24, 32, 48, 40, 56, 2, 34, 10, 42, 18, 26, 50, 58], '---0-0']
[[0, 16, 8, 24, 32, 48, 40, 56, 2, 34, 10, 42, 18, 50, 26, 58], '---0-0']
[[0, 16, 8, 24, 32, 48, 40, 56, 2, 34, 18, 50, 10, 26, 42, 58], '---0-0']
[[0, 16, 8, 24, 32, 48, 40, 56, 2, 34, 18, 50, 10, 42, 26, 58], '---0-0']
[[0, 16, 32, 48, 2, 18, 34, 50, 8, 10, 24, 26, 40, 42, 56, 58], '---0-0']
[[0, 16, 32, 48, 2, 18, 34, 50, 8, 10, 24, 26, 40, 56, 42, 58], '---0-0']
[[0, 16, 32, 48, 2, 18, 34, 50, 8, 10, 40, 42, 24, 26, 56, 58], '---0-0']
[[0, 16, 32, 48, 2, 18, 34, 50, 8, 10, 40, 42, 24, 56, 26, 58], '---0-0']
[[0, 16, 32, 48, 2, 18, 34, 50, 8, 24, 10, 26, 40, 42, 56, 58], '---0-0']
[[0, 16, 32, 48, 2, 18, 34, 50, 8, 24, 10, 26, 40, 56, 42, 58], '---0-0']
[[0, 16, 32, 48, 2, 18, 34, 50, 8, 24, 40, 56, 10, 26, 42, 58], '---0-0']
[[0, 16, 32, 48, 2, 18, 34, 50, 8, 24, 40, 56, 10, 42, 26, 58], '---0-0']
[[0, 16, 32, 48, 2, 18, 34, 50, 8, 40, 10, 42, 24, 26, 56, 58], '---0-0']
[[0, 16, 32, 48, 2, 18, 34, 50, 8, 40, 10, 42, 24, 56, 26, 58], '---0-0']
[[0, 16, 32, 48, 2, 18, 34, 50, 8, 40, 24, 56, 10, 26, 42, 58], '---0-0']
[[0, 16, 32, 48, 2, 18, 34, 50, 8, 40, 24, 56, 10, 42, 26, 58], '---0-0']
[[0, 16, 32, 48, 2, 34, 18, 50, 8, 10, 24, 26, 40, 42, 56, 58], '---0-0']
[[0, 16, 32, 48, 2, 34, 18, 50, 8, 10, 24, 26, 40, 56, 42, 58], '---0-0']
[[0, 16, 32, 48, 2, 34, 18, 50, 8, 10, 40, 42, 24, 26, 56, 58], '---0-0']
[[0, 16, 32, 48, 2, 34, 18, 50, 8, 10, 40, 42, 24, 56, 26, 58], '---0-0']
[[0, 16, 32, 48, 2, 34, 18, 50, 8, 24, 10, 26, 40, 42, 56, 58], '---0-0']
[[0, 16, 32, 48, 2, 34, 18, 50, 8, 24, 10, 26, 40, 56, 42, 58], '---0-0']
[[0, 16, 32, 48, 2, 34, 18, 50, 8, 24, 40, 56, 10, 26, 42, 58], '---0-0']
[[0, 16, 32, 48, 2, 34, 18, 50, 8, 24, 40, 56, 10, 42, 26, 58], '---0-0']
[[0, 16, 32, 48, 2, 34, 18, 50, 8, 40, 10, 42, 24, 26, 56, 58], '---0-0']
[[0, 16, 32, 48, 2, 34, 18, 50, 8, 40, 10, 42, 24, 56, 26, 58], '---0-0']
[[0, 16, 32, 48, 2, 34, 18, 50, 8, 40, 24, 56, 10, 26, 42, 58], '---0-0']
[[0, 16, 32, 48, 2, 34, 18, 50, 8, 40, 24, 56, 10, 42, 26, 58], '---0-0']
[[0, 16, 32, 48, 8, 24, 40, 56, 2, 10, 18, 26, 34, 42, 50, 58], '---0-0']
[[0, 16, 32, 48, 8, 24, 40, 56, 2, 10, 18, 26, 34, 50, 42, 58], '---0-0']
[[0, 16, 32, 48, 8, 24, 40, 56, 2, 10, 34, 42, 18, 26, 50, 58], '---0-0']
[[0, 16, 32, 48, 8, 24, 40, 56, 2, 10, 34, 42, 18, 50, 26, 58], '---0-0']
[[0, 16, 32, 48, 8, 24, 40, 56, 2, 18, 10, 26, 34, 42, 50, 58], '---0-0']
[[0, 16, 32, 48, 8, 24, 40, 56, 2, 18, 10, 26, 34, 50, 42, 58], '---0-0']
[[0, 16, 32, 48, 8, 24, 40, 56, 2, 18, 34, 50, 10, 26, 42, 58], '---0-0']
[[0, 16, 32, 48, 8, 24, 40, 56, 2, 18, 34, 50, 10, 42, 26, 58], '---0-0']
[[0, 16, 32, 48, 8, 24, 40, 56, 2, 34, 10, 42, 18, 26, 50, 58], '---0-0']
[[0, 16, 32, 48, 8, 24, 40, 56, 2, 34, 10, 42, 18, 50, 26, 58], '---0-0']
[[0, 16, 32, 48, 8, 24, 40, 56, 2, 34, 18, 50, 10, 26, 42, 58], '---0-0']
[[0, 16, 32, 48, 8, 24, 40, 56, 2, 34, 18, 50, 10, 42, 26, 58], '---0-0']
[[0, 16, 32, 48, 8, 40, 24, 56, 2, 10, 18, 26, 34, 42, 50, 58], '---0-0']
[[0, 16, 32, 48, 8, 40, 24, 56, 2, 10, 18, 26, 34, 50, 42, 58], '---0-0']
[[0, 16, 32, 48, 8, 40, 24, 56, 2, 10, 34, 42, 18, 26, 50, 58], '---0-0']
[[0, 16, 32, 48, 8, 40, 24, 56, 2, 10, 34, 42, 18, 50, 26, 58], '---0-0']
[[0, 16, 32, 48, 8, 40, 24, 56, 2, 18, 10, 26, 34, 42, 50, 58], '---0-0']
[[0, 16, 32, 48, 8, 40, 24, 56, 2, 18, 10, 26, 34, 50, 42, 58], '---0-0']
[[0, 16, 32, 48, 8, 40, 24, 56, 2, 18, 34, 50, 10, 26, 42, 58], '---0-0']
[[0, 16, 32, 48, 8, 40, 24, 56, 2, 18, 34, 50, 10, 42, 26, 58], '---0-0']
[[0, 16, 32, 48, 8, 40, 24, 56, 2, 34, 10, 42, 18, 26, 50, 58], '---0-0']
[[0, 16, 32, 48, 8, 40, 24, 56, 2, 34, 10, 42, 18, 50, 26, 58], '---0-0']
[[0, 16, 32, 48, 8, 40, 24, 56, 2, 34, 18, 50, 10, 26, 42, 58], '---0-0']
[[0, 16, 32, 48, 8, 40, 24, 56, 2, 34, 18, 50, 10, 42, 26, 58], '---0-0']
[[0, 32, 2, 34, 8, 10, 40, 42, 16, 18, 24, 26, 48, 50, 56, 58], '---0-0']
[[0, 32, 2, 34, 8, 10, 40, 42, 16, 18, 24, 26, 48, 56, 50, 58], '---0-0']
[[0, 32, 2, 34, 8, 10, 40, 42, 16, 18, 48, 50, 24, 26, 56, 58], '---0-0']
[[0, 32, 2, 34, 8, 10, 40, 42, 16, 18, 48, 50, 24, 56, 26, 58], '---0-0']
[[0, 32, 2, 34, 8, 10, 40, 42, 16, 24, 18, 26, 48, 50, 56, 58], '---0-0']
[[0, 32, 2, 34, 8, 10, 40, 42, 16, 24, 18, 26, 48, 56, 50, 58], '---0-0']
[[0, 32, 2, 34, 8, 10, 40, 42, 16, 24, 48, 56, 18, 26, 50, 58], '---0-0']
[[0, 32, 2, 34, 8, 10, 40, 42, 16, 24, 48, 56, 18, 50, 26, 58], '---0-0']
[[0, 32, 2, 34, 8, 10, 40, 42, 16, 48, 18, 50, 24, 26, 56, 58], '---0-0']
[[0, 32, 2, 34, 8, 10, 40, 42, 16, 48, 18, 50, 24, 56, 26, 58], '---0-0']
[[0, 32, 2, 34, 8, 10, 40, 42, 16, 48, 24, 56, 18, 26, 50, 58], '---0-0']
[[0, 32, 2, 34, 8, 10, 40, 42, 16, 48, 24, 56, 18, 50, 26, 58], '---0-0']
[[0, 32, 2, 34, 8, 40, 10, 42, 16, 18, 24, 26, 48, 50, 56, 58], '---0-0']
[[0, 32, 2, 34, 8, 40, 10, 42, 16, 18, 24, 26, 48, 56, 50, 58], '---0-0']
[[0, 32, 2, 34, 8, 40, 10, 42, 16, 18, 48, 50, 24, 26, 56, 58], '---0-0']
[[0, 32, 2, 34, 8, 40, 10, 42, 16, 18, 48, 50, 24, 56, 26, 58], '---0-0']
[[0, 32, 2, 34, 8, 40, 10, 42, 16, 24, 18, 26, 48, 50, 56, 58], '---0-0']
[[0, 32, 2, 34, 8, 40, 10, 42, 16, 24, 18, 26, 48, 56, 50, 58], '---0-0']
[[0, 32, 2, 34, 8, 40, 10, 42, 16, 24, 48, 56, 18, 26, 50, 58], '---0-0']
[[0, 32, 2, 34, 8, 40, 10, 42, 16, 24, 48, 56, 18, 50, 26, 58], '---0-0']
[[0, 32, 2, 34, 8, 40, 10, 42, 16, 48, 18, 50, 24, 26, 56, 58], '---0-0']
[[0, 32, 2, 34, 8, 40, 10, 42, 16, 48, 18, 50, 24, 56, 26, 58], '---0-0']
[[0, 32, 2, 34, 8, 40, 10, 42, 16, 48, 24, 56, 18, 26, 50, 58], '---0-0']
[[0, 32, 2, 34, 8, 40, 10, 42, 16, 48, 24, 56, 18, 50, 26, 58], '---0-0']
[[0, 32, 2, 34, 16, 18, 48, 50, 8, 10, 24, 26, 40, 42, 56, 58], '---0-0']
[[0, 32, 2, 34, 16, 18, 48, 50, 8, 10, 24, 26, 40, 56, 42, 58], '---0-0']
[[0, 32, 2, 34, 16, 18, 48, 50, 8, 10, 40, 42, 24, 26, 56, 58], '---0-0']
[[0, 32, 2, 34, 16, 18, 48, 50, 8, 10, 40, 42, 24, 56, 26, 58], '---0-0']
[[0, 32, 2, 34, 16, 18, 48, 50, 8, 24, 10, 26, 40, 42, 56, 58], '---0-0']
[[0, 32, 2, 34, 16, 18, 48, 50, 8, 24, 10, 26, 40, 56, 42, 58], '---0-0']
[[0, 32, 2, 34, 16, 18, 48, 50, 8, 24, 40, 56, 10, 26, 42, 58], '---0-0']
[[0, 32, 2, 34, 16, 18, 48, 50, 8, 24, 40, 56, 10, 42, 26, 58], '---0-0']
[[0, 32, 2, 34, 16, 18, 48, 50, 8, 40, 10, 42, 24, 26, 56, 58], '---0-0']
[[0, 32, 2, 34, 16, 18, 48, 50, 8, 40, 10, 42, 24, 56, 26, 58], '---0-0']
[[0, 32, 2, 34, 16, 18, 48, 50, 8, 40, 24, 56, 10, 26, 42, 58], '---0-0']
[[0, 32, 2, 34, 16, 18, 48, 50, 8, 40, 24, 56, 10, 42, 26, 58], '---0-0']
[[0, 32, 2, 34, 16, 48, 18, 50, 8, 10, 24, 26, 40, 42, 56, 58], '---0-0']
[[0, 32, 2, 34, 16, 48, 18, 50, 8, 10, 24, 26, 40, 56, 42, 58], '---0-0']
[[0, 32, 2, 34, 16, 48, 18, 50, 8, 10, 40, 42, 24, 26, 56, 58], '---0-0']
[[0, 32, 2, 34, 16, 48, 18, 50, 8, 10, 40, 42, 24, 56, 26, 58], '---0-0']
[[0, 32, 2, 34, 16, 48, 18, 50, 8, 24, 10, 26, 40, 42, 56, 58], '---0-0']
[[0, 32, 2, 34, 16, 48, 18, 50, 8, 24, 10, 26, 40, 56, 42, 58], '---0-0']
[[0, 32, 2, 34, 16, 48, 18, 50, 8, 24, 40, 56, 10, 26, 42, 58], '---0-0']
[[0, 32, 2, 34, 16, 48, 18, 50, 8, 24, 40, 56, 10, 42, 26, 58], '---0-0']
[[0, 32, 2, 34, 16, 48, 18, 50, 8, 40, 10, 42, 24, 26, 56, 58], '---0-0']
[[0, 32, 2, 34, 16, 48, 18, 50, 8, 40, 10, 42, 24, 56, 26, 58], '---0-0']
[[0, 32, 2, 34, 16, 48, 18, 50, 8, 40, 24, 56, 10, 26, 42, 58], '---0-0']
[[0, 32, 2, 34, 16, 48, 18, 50, 8, 40, 24, 56, 10, 42, 26, 58], '---0-0']
[[0, 32, 8, 40, 2, 10, 34, 42, 16, 18, 24, 26, 48, 50, 56, 58], '---0-0']
[[0, 32, 8, 40, 2, 10, 34, 42, 16, 18, 24, 26, 48, 56, 50, 58], '---0-0']
[[0, 32, 8, 40, 2, 10, 34, 42, 16, 18, 48, 50, 24, 26, 56, 58], '---0-0']
[[0, 32, 8, 40, 2, 10, 34, 42, 16, 18, 48, 50, 24, 56, 26, 58], '---0-0']
[[0, 32, 8, 40, 2, 10, 34, 42, 16, 24, 18, 26, 48, 50, 56, 58], '---0-0']
[[0, 32, 8, 40, 2, 10, 34, 42, 16, 24, 18, 26, 48, 56, 50, 58], '---0-0']
[[0, 32, 8, 40, 2, 10, 34, 42, 16, 24, 48, 56, 18, 26, 50, 58], '---0-0']
[[0, 32, 8, 40, 2, 10, 34, 42, 16, 24, 48, 56, 18, 50, 26, 58], '---0-0']
[[0, 32, 8, 40, 2, 10, 34, 42, 16, 48, 18, 50, 24, 26, 56, 58], '---0-0']
[[0, 32, 8, 40, 2, 10, 34, 42, 16, 48, 18, 50, 24, 56, 26, 58], '---0-0']
[[0, 32, 8, 40, 2, 10, 34, 42, 16, 48, 24, 56, 18, 26, 50, 58], '---0-0']
[[0, 32, 8, 40, 2, 10, 34, 42, 16, 48, 24, 56, 18, 50, 26, 58], '---0-0']
[[0, 32, 8, 40, 2, 34, 10, 42, 16, 18, 24, 26, 48, 50, 56, 58], '---0-0']
[[0, 32, 8, 40, 2, 34, 10, 42, 16, 18, 24, 26, 48, 56, 50, 58], '---0-0']
[[0, 32, 8, 40, 2, 34, 10, 42, 16, 18, 48, 50, 24, 26, 56, 58], '---0-0']
[[0, 32, 8, 40, 2, 34, 10, 42, 16, 18, 48, 50, 24, 56, 26, 58], '---0-0']
[[0, 32, 8, 40, 2, 34, 10, 42, 16, 24, 18, 26, 48, 50, 56, 58], '---0-0']
[[0, 32, 8, 40, 2, 34, 10, 42, 16, 24, 18, 26, 48, 56, 50, 58], '---0-0']
[[0, 32, 8, 40, 2, 34, 10, 42, 16, 24, 48, 56, 18, 26, 50, 58], '---0-0']
[[0, 32, 8, 40, 2, 34, 10, 42, 16, 24, 48, 56, 18, 50, 26, 58], '---0-0']
[[0, 32, 8, 40, 2, 34, 10, 42, 16, 48, 18, 50, 24, 26, 56, 58], '---0-0']
[[0, 32, 8, 40, 2, 34, 10, 42, 16, 48, 18, 50, 24, 56, 26, 58], '---0-0']
[[0, 32, 8, 40, 2, 34, 10, 42, 16, 48, 24, 56, 18, 26, 50, 58], '---0-0']
[[0, 32, 8, 40, 2, 34, 10, 42, 16, 48, 24, 56, 18, 50, 26, 58], '---0-0']
[[0, 32, 8, 40, 16, 24, 48, 56, 2, 10, 18, 26, 34, 42, 50, 58], '---0-0']
[[0, 32, 8, 40, 16, 24, 48, 56, 2, 10, 18, 26, 34, 50, 42, 58], '---0-0']
[[0, 32, 8, 40, 16, 24, 48, 56, 2, 10, 34, 42, 18, 26, 50, 58], '---0-0']
[[0, 32, 8, 40, 16, 24, 48, 56, 2, 10, 34, 42, 18, 50, 26, 58], '---0-0']
[[0, 32, 8, 40, 16, 24, 48, 56, 2, 18, 10, 26, 34, 42, 50, 58], '---0-0']
[[0, 32, 8, 40, 16, 24, 48, 56, 2, 18, 10, 26, 34, 50, 42, 58], '---0-0']
[[0, 32, 8, 40, 16, 24, 48, 56, 2, 18, 34, 50, 10, 26, 42, 58], '---0-0']
[[0, 32, 8, 40, 16, 24, 48, 56, 2, 18, 34, 50, 10, 42, 26, 58], '---0-0']
[[0, 32, 8, 40, 16, 24, 48, 56, 2, 34, 10, 42, 18, 26, 50, 58], '---0-0']
[[0, 32, 8, 40, 16, 24, 48, 56, 2, 34, 10, 42, 18, 50, 26, 58], '---0-0']
[[0, 32, 8, 40, 16, 24, 48, 56, 2, 34, 18, 50, 10, 26, 42, 58], '---0-0']
[[0, 32, 8, 40, 16, 24, 48, 56, 2, 34, 18, 50, 10, 42, 26, 58], '---0-0']
[[0, 32, 8, 40, 16, 48, 24, 56, 2, 10, 18, 26, 34, 42, 50, 58], '---0-0']
[[0, 32, 8, 40, 16, 48, 24, 56, 2, 10, 18, 26, 34, 50, 42, 58], '---0-0']
[[0, 32, 8, 40, 16, 48, 24, 56, 2, 10, 34, 42, 18, 26, 50, 58], '---0-0']
[[0, 32, 8, 40, 16, 48, 24, 56, 2, 10, 34, 42, 18, 50, 26, 58], '---0-0']
[[0, 32, 8, 40, 16, 48, 24, 56, 2, 18, 10, 26, 34, 42, 50, 58], '---0-0']
[[0, 32, 8, 40, 16, 48, 24, 56, 2, 18, 10, 26, 34, 50, 42, 58], '---0-0']
[[0, 32, 8, 40, 16, 48, 24, 56, 2, 18, 34, 50, 10, 26, 42, 58], '---0-0']
[[0, 32, 8, 40, 16, 48, 24, 56, 2, 18, 34, 50, 10, 42, 26, 58], '---0-0']
[[0, 32, 8, 40, 16, 48, 24, 56, 2, 34, 10, 42, 18, 26, 50, 58], '---0-0']
[[0, 32, 8, 40, 16, 48, 24, 56, 2, 34, 10, 42, 18, 50, 26, 58], '---0-0']
[[0, 32, 8, 40, 16, 48, 24, 56, 2, 34, 18, 50, 10, 26, 42, 58], '---0-0']
[[0, 32, 8, 40, 16, 48, 24, 56, 2, 34, 18, 50, 10, 42, 26, 58], '---0-0']
[[0, 32, 16, 48, 2, 18, 34, 50, 8, 10, 24, 26, 40, 42, 56, 58], '---0-0']
[[0, 32, 16, 48, 2, 18, 34, 50, 8, 10, 24, 26, 40, 56, 42, 58], '---0-0']
[[0, 32, 16, 48, 2, 18, 34, 50, 8, 10, 40, 42, 24, 26, 56, 58], '---0-0']
[[0, 32, 16, 48, 2, 18, 34, 50, 8, 10, 40, 42, 24, 56, 26, 58], '---0-0']
[[0, 32, 16, 48, 2, 18, 34, 50, 8, 24, 10, 26, 40, 42, 56, 58], '---0-0']
[[0, 32, 16, 48, 2, 18, 34, 50, 8, 24, 10, 26, 40, 56, 42, 58], '---0-0']
[[0, 32, 16, 48, 2, 18, 34, 50, 8, 24, 40, 56, 10, 26, 42, 58], '---0-0']
[[0, 32, 16, 48, 2, 18, 34, 50, 8, 24, 40, 56, 10, 42, 26, 58], '---0-0']
[[0, 32, 16, 48, 2, 18, 34, 50, 8, 40, 10, 42, 24, 26, 56, 58], '---0-0']
[[0, 32, 16, 48, 2, 18, 34, 50, 8, 40, 10, 42, 24, 56, 26, 58], '---0-0']
[[0, 32, 16, 48, 2, 18, 34, 50, 8, 40, 24, 56, 10, 26, 42, 58], '---0-0']
[[0, 32, 16, 48, 2, 18, 34, 50, 8, 40, 24, 56, 10, 42, 26, 58], '---0-0']
[[0, 32, 16, 48, 2, 34, 18, 50, 8, 10, 24, 26, 40, 42, 56, 58], '---0-0']
[[0, 32, 16, 48, 2, 34, 18, 50, 8, 10, 24, 26, 40, 56, 42, 58], '---0-0']
[[0, 32, 16, 48, 2, 34, 18, 50, 8, 10, 40, 42, 24, 26, 56, 58], '---0-0']
[[0, 32, 16, 48, 2, 34, 18, 50, 8, 10, 40, 42, 24, 56, 26, 58], '---0-0']
[[0, 32, 16, 48, 2, 34, 18, 50, 8, 24, 10, 26, 40, 42, 56, 58], '---0-0']
[[0, 32, 16, 48, 2, 34, 18, 50, 8, 24, 10, 26, 40, 56, 42, 58], '---0-0']
[[0, 32, 16, 48, 2, 34, 18, 50, 8, 24, 40, 56, 10, 26, 42, 58], '---0-0']
[[0, 32, 16, 48, 2, 34, 18, 50, 8, 24, 40, 56, 10, 42, 26, 58], '---0-0']
[[0, 32, 16, 48, 2, 34, 18, 50, 8, 40, 10, 42, 24, 26, 56, 58], '---0-0']
[[0, 32, 16, 48, 2, 34, 18, 50, 8, 40, 10, 42, 24, 56, 26, 58], '---0-0']
[[0, 32, 16, 48, 2, 34, 18, 50, 8, 40, 24, 56, 10, 26, 42, 58], '---0-0']
[[0, 32, 16, 48, 2, 34, 18, 50, 8, 40, 24, 56, 10, 42, 26, 58], '---0-0']
[[0, 32, 16, 48, 8, 24, 40, 56, 2, 10, 18, 26, 34, 42, 50, 58], '---0-0']
[[0, 32, 16, 48, 8, 24, 40, 56, 2, 10, 18, 26, 34, 50, 42, 58], '---0-0']
[[0, 32, 16, 48, 8, 24, 40, 56, 2, 10, 34, 42, 18, 26, 50, 58], '---0-0']
[[0, 32, 16, 48, 8, 24, 40, 56, 2, 10, 34, 42, 18, 50, 26, 58], '---0-0']
[[0, 32, 16, 48, 8, 24, 40, 56, 2, 18, 10, 26, 34, 42, 50, 58], '---0-0']
[[0, 32, 16, 48, 8, 24, 40, 56, 2, 18, 10, 26, 34, 50, 42, 58], '---0-0']
[[0, 32, 16, 48, 8, 24, 40, 56, 2, 18, 34, 50, 10, 26, 42, 58], '---0-0']
[[0, 32, 16, 48, 8, 24, 40, 56, 2, 18, 34, 50, 10, 42, 26, 58], '---0-0']
[[0, 32, 16, 48, 8, 24, 40, 56, 2, 34, 10, 42, 18, 26, 50, 58], '---0-0']
[[0, 32, 16, 48, 8, 24, 40, 56, 2, 34, 10, 42, 18, 50, 26, 58], '---0-0']
[[0, 32, 16, 48, 8, 24, 40, 56, 2, 34, 18, 50, 10, 26, 42, 58], '---0-0']
[[0, 32, 16, 48, 8, 24, 40, 56, 2, 34, 18, 50, 10, 42, 26, 58], '---0-0']
[[0, 32, 16, 48, 8, 40, 24, 56, 2, 10, 18, 26, 34, 42, 50, 58], '---0-0']
[[0, 32, 16, 48, 8, 40, 24, 56, 2, 10, 18, 26, 34, 50, 42, 58], '---0-0']
[[0, 32, 16, 48, 8, 40, 24, 56, 2, 10, 34, 42, 18, 26, 50, 58], '---0-0']
[[0, 32, 16, 48, 8, 40, 24, 56, 2, 10, 34, 42, 18, 50, 26, 58], '---0-0']
[[0, 32, 16, 48, 8, 40, 24, 56, 2, 18, 10, 26, 34, 42, 50, 58], '---0-0']
[[0, 32, 16, 48, 8, 40, 24, 56, 2, 18, 10, 26, 34, 50, 42, 58], '---0-0']
[[0, 32, 16, 48, 8, 40, 24, 56, 2, 18, 34, 50, 10, 26, 42, 58], '---0-0']
[[0, 32, 16, 48, 8, 40, 24, 56, 2, 18, 34, 50, 10, 42, 26, 58], '---0-0']
[[0, 32, 16, 48, 8, 40, 24, 56, 2, 34, 10, 42, 18, 26, 50, 58], '---0-0']
[[0, 32, 16, 48, 8, 40, 24, 56, 2, 34, 10, 42, 18, 50, 26, 58], '---0-0']
[[0, 32, 16, 48, 8, 40, 24, 56, 2, 34, 18, 50, 10, 26, 42, 58], '---0-0']
[[0, 32, 16, 48, 8, 40, 24, 56, 2, 34, 18, 50, 10, 42, 26, 58], '---0-0']
------- 차트 -------
0 1 2 3 4 5 6 ... 23 24 25 26 27 28 29
0 Prime Implicants binary 0 2 8 9 10 ... 47 48 50 56 58 61 63
1 47,63 1-1111 ... * *
2 8,9,12,13 001-0- * * ...
3 8,9,24,25 0-100- * * ...
4 9,13,25,29 0-1-01 * ...
5 29,31,61,63 -111-1 ... * *
6 34,35,42,43 10-01- ...
7 35,39,43,47 10--11 ... *
8 0,2,8,10,16,18,24,26,32,34,40,42,48,50,56,58 ---0-0 * * * * ... * * * *
[9 rows x 30 columns]
Essential Prime Implicants :
[0, 2, 8, 10, 16, 18, 24, 26, 32, 34, 40, 42, 48, 50, 56, 58]
[8, 9, 12, 13]
[29, 31, 61, 63]
[35, 39, 43, 47]
사용한 모든 Prime Implicants :
[8, 9, 12, 13]
[8, 9, 24, 25]
[29, 31, 61, 63]
[35, 39, 43, 47]
[0, 2, 8, 10, 16, 18, 24, 26, 32, 34, 40, 42, 48, 50, 56, 58]
따라서 답은 : a'b'ce' + a'cd'e' + bcdf + ab'ef + d'f'