[1,0,1,1,1,1,0,0,0,0,1,0] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6) => 300
[1,0,1,1,1,1,0,0,0,1,0,0] => ([(0,5),(1,2),(1,3),(1,4),(2,5),(3,5),(4,5)],6) => 352
[1,0,1,1,1,1,0,0,1,0,0,0] => ([(0,5),(1,5),(2,3),(2,4),(3,5),(4,5)],6) => 440
[1,0,1,1,1,1,0,1,0,0,0,0] => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6) => 616
[1,0,1,1,1,1,1,0,0,0,0,0] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 1082
[1,1,0,0,1,0,1,0,1,0,1,0] => ([(0,4),(3,5),(4,3),(5,1),(5,2)],6) => 48
[1,1,0,0,1,0,1,0,1,1,0,0] => ([(0,5),(1,5),(4,2),(4,3),(5,4)],6) => 72
[1,1,0,0,1,0,1,1,0,0,1,0] => ([(0,3),(0,4),(3,5),(4,5),(5,1),(5,2)],6) => 72
[1,1,0,0,1,0,1,1,0,1,0,0] => ([(0,5),(1,2),(2,5),(5,3),(5,4)],6) => 96
[1,1,0,0,1,0,1,1,1,0,0,0] => ([(0,5),(1,5),(2,5),(5,3),(5,4)],6) => 156
[1,1,0,0,1,1,0,0,1,0,1,0] => ([(0,3),(1,4),(1,5),(2,4),(2,5),(3,1),(3,2)],6) => 72
[1,1,0,0,1,1,0,0,1,1,0,0] => ([(0,4),(0,5),(1,4),(1,5),(4,2),(4,3),(5,2),(5,3)],6) => 108
[1,1,0,0,1,1,0,1,0,0,1,0] => ([(0,2),(0,3),(1,4),(1,5),(2,4),(2,5),(3,1)],6) => 96
[1,1,0,0,1,1,0,1,0,1,0,0] => ([(0,5),(1,2),(1,5),(2,3),(2,4),(5,3),(5,4)],6) => 132
[1,1,0,0,1,1,0,1,1,0,0,0] => ([(0,3),(1,3),(2,4),(2,5),(3,4),(3,5)],6) => 192
[1,1,0,0,1,1,1,0,0,0,1,0] => ([(0,1),(0,2),(0,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => 156
[1,1,0,0,1,1,1,0,0,1,0,0] => ([(0,4),(0,5),(1,2),(1,3),(2,4),(2,5),(3,4),(3,5)],6) => 192
[1,1,0,0,1,1,1,0,1,0,0,0] => ([(0,4),(0,5),(1,4),(1,5),(2,3),(3,4),(3,5)],6) => 264
[1,1,0,0,1,1,1,1,0,0,0,0] => ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => 450
[1,1,0,1,0,0,1,0,1,0,1,0] => ([(0,4),(3,2),(4,5),(5,1),(5,3)],6) => 64
[1,1,0,1,0,0,1,0,1,1,0,0] => ([(0,5),(1,5),(4,2),(5,3),(5,4)],6) => 96
[1,1,0,1,0,0,1,1,0,0,1,0] => ([(0,2),(0,3),(2,4),(2,5),(3,4),(3,5),(5,1)],6) => 96
[1,1,0,1,0,0,1,1,0,1,0,0] => ([(0,4),(0,5),(1,3),(3,4),(3,5),(5,2)],6) => 128
[1,1,0,1,0,0,1,1,1,0,0,0] => ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(5,3)],6) => 208
[1,1,0,1,0,1,0,0,1,0,1,0] => ([(0,4),(2,5),(3,1),(3,5),(4,2),(4,3)],6) => 88
[1,1,0,1,0,1,0,0,1,1,0,0] => ([(0,4),(0,5),(1,4),(1,5),(4,3),(5,2),(5,3)],6) => 132
[1,1,0,1,0,1,0,1,0,0,1,0] => ([(0,2),(0,3),(1,4),(2,4),(2,5),(3,1),(3,5)],6) => 120
[1,1,0,1,0,1,0,1,0,1,0,0] => ([(0,2),(0,5),(1,4),(1,5),(2,3),(2,4),(5,3)],6) => 164
[1,1,0,1,0,1,0,1,1,0,0,0] => ([(0,4),(0,5),(1,3),(1,5),(2,3),(2,5),(3,4)],6) => 244
[1,1,0,1,0,1,1,0,0,0,1,0] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => 180
[1,1,0,1,0,1,1,0,0,1,0,0] => ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4),(3,5)],6) => 224
[1,1,0,1,0,1,1,0,1,0,0,0] => ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(3,5)],6) => 316
[1,1,0,1,0,1,1,1,0,0,0,0] => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => 502
[1,1,0,1,1,0,0,0,1,0,1,0] => ([(0,4),(2,5),(3,5),(4,1),(4,2),(4,3)],6) => 128
[1,1,0,1,1,0,0,0,1,1,0,0] => ([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(4,2),(5,2)],6) => 192
[1,1,0,1,1,0,0,1,0,0,1,0] => ([(0,3),(0,4),(2,5),(3,5),(4,1),(4,2)],6) => 160
[1,1,0,1,1,0,0,1,0,1,0,0] => ([(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(5,3)],6) => 224
[1,1,0,1,1,0,0,1,1,0,0,0] => ([(0,5),(1,3),(1,4),(2,3),(2,4),(4,5)],6) => 304
[1,1,0,1,1,0,1,0,0,0,1,0] => ([(0,2),(0,3),(0,4),(2,5),(3,5),(4,1),(4,5)],6) => 228
[1,1,0,1,1,0,1,0,0,1,0,0] => ([(0,4),(0,5),(1,2),(1,3),(1,4),(2,5),(3,5)],6) => 292
[1,1,0,1,1,0,1,0,1,0,0,0] => ([(0,5),(1,4),(1,5),(2,3),(2,4),(3,5)],6) => 384
[1,1,0,1,1,0,1,1,0,0,0,0] => ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => 590
[1,1,0,1,1,1,0,0,0,0,1,0] => ([(0,1),(0,2),(0,3),(0,4),(2,5),(3,5),(4,5)],6) => 352
[1,1,0,1,1,1,0,0,0,1,0,0] => ([(0,5),(1,2),(1,3),(1,4),(3,5),(4,5)],6) => 416
[1,1,0,1,1,1,0,0,1,0,0,0] => ([(0,5),(1,5),(2,3),(2,4),(4,5)],6) => 528
[1,1,0,1,1,1,0,1,0,0,0,0] => ([(0,5),(1,5),(2,5),(3,4),(3,5)],6) => 766
[1,1,0,1,1,1,1,0,0,0,0,0] => ([(1,5),(2,5),(3,5),(4,5)],6) => 1232
[1,1,1,0,0,0,1,0,1,0,1,0] => ([(0,4),(4,5),(5,1),(5,2),(5,3)],6) => 104
[1,1,1,0,0,0,1,0,1,1,0,0] => ([(0,5),(1,5),(5,2),(5,3),(5,4)],6) => 156
[1,1,1,0,0,0,1,1,0,0,1,0] => ([(0,1),(0,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6) => 156
[1,1,1,0,0,0,1,1,0,1,0,0] => ([(0,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6) => 208
[1,1,1,0,0,0,1,1,1,0,0,0] => ([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6) => 338
[1,1,1,0,0,1,0,0,1,0,1,0] => ([(0,5),(4,2),(4,3),(5,1),(5,4)],6) => 128
[1,1,1,0,0,1,0,0,1,1,0,0] => ([(0,4),(0,5),(1,4),(1,5),(5,2),(5,3)],6) => 192
[1,1,1,0,0,1,0,1,0,0,1,0] => ([(0,2),(0,3),(2,4),(2,5),(3,1),(3,4),(3,5)],6) => 180
[1,1,1,0,0,1,0,1,0,1,0,0] => ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4)],6) => 244
[1,1,1,0,0,1,0,1,1,0,0,0] => ([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6) => 374
[1,1,1,0,0,1,1,0,0,0,1,0] => ([(0,1),(0,2),(0,3),(2,4),(2,5),(3,4),(3,5)],6) => 240
[1,1,1,0,0,1,1,0,0,1,0,0] => ([(0,4),(0,5),(1,2),(1,3),(3,4),(3,5)],6) => 304
[1,1,1,0,0,1,1,0,1,0,0,0] => ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5)],6) => 446
[1,1,1,0,0,1,1,1,0,0,0,0] => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => 632
[1,1,1,0,1,0,0,0,1,0,1,0] => ([(0,5),(4,3),(5,1),(5,2),(5,4)],6) => 176
[1,1,1,0,1,0,0,0,1,1,0,0] => ([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(5,2)],6) => 264
[1,1,1,0,1,0,0,1,0,0,1,0] => ([(0,3),(0,4),(3,5),(4,1),(4,2),(4,5)],6) => 228
[1,1,1,0,1,0,0,1,0,1,0,0] => ([(0,2),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3)],6) => 316
[1,1,1,0,1,0,0,1,1,0,0,0] => ([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6) => 446
[1,1,1,0,1,0,1,0,0,0,1,0] => ([(0,2),(0,3),(0,4),(3,5),(4,1),(4,5)],6) => 296
[1,1,1,0,1,0,1,0,0,1,0,0] => ([(0,4),(0,5),(1,2),(1,3),(1,4),(3,5)],6) => 384
[1,1,1,0,1,0,1,0,1,0,0,0] => ([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5)],6) => 526
[1,1,1,0,1,0,1,1,0,0,0,0] => ([(1,5),(2,4),(2,5),(3,4),(3,5)],6) => 732
[1,1,1,0,1,1,0,0,0,0,1,0] => ([(0,1),(0,2),(0,3),(0,4),(3,5),(4,5)],6) => 440
[1,1,1,0,1,1,0,0,0,1,0,0] => ([(0,5),(1,2),(1,3),(1,4),(4,5)],6) => 528
[1,1,1,0,1,1,0,0,1,0,0,0] => ([(0,5),(1,5),(2,3),(2,4),(2,5)],6) => 694
[1,1,1,0,1,1,0,1,0,0,0,0] => ([(1,5),(2,5),(3,4),(3,5)],6) => 932
[1,1,1,0,1,1,1,0,0,0,0,0] => ([(2,5),(3,5),(4,5)],6) => 1460
[1,1,1,1,0,0,0,0,1,0,1,0] => ([(0,5),(5,1),(5,2),(5,3),(5,4)],6) => 300
[1,1,1,1,0,0,0,0,1,1,0,0] => ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5)],6) => 450
[1,1,1,1,0,0,0,1,0,0,1,0] => ([(0,4),(0,5),(5,1),(5,2),(5,3)],6) => 352
[1,1,1,1,0,0,0,1,0,1,0,0] => ([(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5)],6) => 502
[1,1,1,1,0,0,0,1,1,0,0,0] => ([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6) => 632
[1,1,1,1,0,0,1,0,0,0,1,0] => ([(0,3),(0,4),(0,5),(5,1),(5,2)],6) => 440
[1,1,1,1,0,0,1,0,0,1,0,0] => ([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5)],6) => 590
[1,1,1,1,0,0,1,0,1,0,0,0] => ([(1,4),(1,5),(2,3),(2,4),(2,5)],6) => 732
[1,1,1,1,0,0,1,1,0,0,0,0] => ([(2,4),(2,5),(3,4),(3,5)],6) => 988
[1,1,1,1,0,1,0,0,0,0,1,0] => ([(0,2),(0,3),(0,4),(0,5),(5,1)],6) => 616
[1,1,1,1,0,1,0,0,0,1,0,0] => ([(0,5),(1,2),(1,3),(1,4),(1,5)],6) => 766
[1,1,1,1,0,1,0,0,1,0,0,0] => ([(1,5),(2,3),(2,4),(2,5)],6) => 932
[1,1,1,1,0,1,0,1,0,0,0,0] => ([(2,5),(3,4),(3,5)],6) => 1224
[1,1,1,1,0,1,1,0,0,0,0,0] => ([(3,5),(4,5)],6) => 1844
[1,1,1,1,1,0,0,0,0,0,1,0] => ([(0,1),(0,2),(0,3),(0,4),(0,5)],6) => 1082
[1,1,1,1,1,0,0,0,0,1,0,0] => ([(1,2),(1,3),(1,4),(1,5)],6) => 1232
[1,1,1,1,1,0,0,0,1,0,0,0] => ([(2,3),(2,4),(2,5)],6) => 1460
[1,1,1,1,1,0,0,1,0,0,0,0] => ([(3,4),(3,5)],6) => 1844
[1,1,1,1,1,0,1,0,0,0,0,0] => ([(4,5)],6) => 2612
[1,1,1,1,1,1,0,0,0,0,0,0] => ([],6) => 4683
[1,0,1,0,1,0,1,0,1,0,1,1,0,0] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => 96
[1,0,1,0,1,0,1,0,1,1,1,0,0,0] => ([(0,6),(1,6),(2,6),(3,5),(5,4),(6,3)],7) => 208
[1,0,1,0,1,0,1,1,0,0,1,1,0,0] => ([(0,5),(0,6),(1,5),(1,6),(2,3),(4,2),(5,4),(6,4)],7) => 144
[1,0,1,0,1,0,1,1,0,1,1,0,0,0] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => 256
[1,0,1,0,1,0,1,1,1,0,1,0,0,0] => ([(0,6),(1,6),(2,3),(3,6),(4,5),(6,4)],7) => 352
[1,0,1,0,1,0,1,1,1,1,0,0,0,0] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(6,4)],7) => 600
[1,0,1,0,1,1,0,0,1,0,1,0,1,0] => ([(0,4),(1,6),(2,6),(4,5),(5,1),(5,2),(6,3)],7) => 96
[1,0,1,0,1,1,0,0,1,0,1,1,0,0] => ([(0,6),(1,6),(2,5),(3,5),(5,4),(6,2),(6,3)],7) => 144
[1,0,1,0,1,1,0,0,1,1,0,0,1,0] => ([(0,2),(0,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6),(6,1)],7) => 144
[1,0,1,0,1,1,0,0,1,1,1,0,0,0] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(4,3),(5,4),(6,4)],7) => 312
[1,0,1,0,1,1,0,1,0,0,1,1,0,0] => ([(0,5),(0,6),(1,5),(1,6),(3,4),(4,2),(5,3),(6,4)],7) => 192
[1,0,1,0,1,1,0,1,0,1,1,0,0,0] => ([(0,6),(1,4),(1,6),(2,4),(2,6),(4,5),(5,3),(6,5)],7) => 360
[1,0,1,0,1,1,0,1,1,0,0,0,1,0] => ([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7) => 256
[1,0,1,0,1,1,0,1,1,0,1,0,0,0] => ([(0,6),(1,6),(2,3),(2,6),(3,5),(5,4),(6,5)],7) => 456
[1,0,1,0,1,1,0,1,1,1,0,0,0,0] => ([(0,6),(1,6),(2,6),(3,5),(5,4),(6,5)],7) => 704
[1,0,1,0,1,1,1,0,0,1,1,0,0,0] => ([(0,6),(1,4),(1,5),(2,4),(2,5),(4,6),(5,6),(6,3)],7) => 480
[1,0,1,0,1,1,1,0,1,0,0,0,1,0] => ([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7) => 352
[1,0,1,0,1,1,1,0,1,0,0,1,0,0] => ([(0,5),(1,2),(1,3),(1,5),(2,6),(3,6),(5,6),(6,4)],7) => 456
[1,0,1,0,1,1,1,0,1,1,0,0,0,0] => ([(0,6),(1,6),(2,5),(3,5),(5,6),(6,4)],7) => 880
[1,0,1,0,1,1,1,1,0,0,0,0,1,0] => ([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7) => 600
[1,0,1,0,1,1,1,1,0,0,0,1,0,0] => ([(0,6),(1,2),(1,3),(1,4),(2,6),(3,6),(4,6),(6,5)],7) => 704
[1,0,1,0,1,1,1,1,0,0,1,0,0,0] => ([(0,6),(1,6),(2,3),(2,4),(3,6),(4,6),(6,5)],7) => 880
[1,0,1,0,1,1,1,1,0,1,0,0,0,0] => ([(0,6),(1,6),(2,6),(3,4),(4,6),(6,5)],7) => 1232
[1,0,1,0,1,1,1,1,1,0,0,0,0,0] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(6,5)],7) => 2164
[1,0,1,1,0,0,1,0,1,0,1,1,0,0] => ([(0,6),(1,6),(2,5),(3,5),(4,2),(4,3),(6,4)],7) => 144
[1,0,1,1,0,0,1,0,1,1,0,0,1,0] => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7) => 144
[1,0,1,1,0,0,1,0,1,1,0,1,0,0] => ([(0,6),(1,2),(2,6),(3,5),(4,5),(6,3),(6,4)],7) => 192
[1,0,1,1,0,0,1,0,1,1,1,0,0,0] => ([(0,6),(1,6),(2,6),(3,5),(4,5),(6,3),(6,4)],7) => 312
[1,0,1,1,0,0,1,1,0,0,1,1,0,0] => ([(0,5),(0,6),(1,5),(1,6),(3,2),(4,2),(5,3),(5,4),(6,3),(6,4)],7) => 216
[1,0,1,1,0,0,1,1,0,1,1,0,0,0] => ([(0,6),(1,6),(2,4),(2,5),(4,3),(5,3),(6,4),(6,5)],7) => 384
[1,0,1,1,0,0,1,1,1,0,0,0,1,0] => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(5,4),(6,4)],7) => 312
[1,0,1,1,0,0,1,1,1,0,1,0,0,0] => ([(0,5),(0,6),(1,5),(1,6),(2,3),(3,5),(3,6),(5,4),(6,4)],7) => 528
[1,0,1,1,0,0,1,1,1,1,0,0,0,0] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(5,4),(6,4)],7) => 900
[1,0,1,1,0,1,0,0,1,0,1,1,0,0] => ([(0,6),(1,6),(2,5),(3,5),(4,3),(6,2),(6,4)],7) => 192
[1,0,1,1,0,1,0,0,1,1,1,0,0,0] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(5,4),(6,3)],7) => 416
[1,0,1,1,0,1,0,1,0,0,1,1,0,0] => ([(0,5),(0,6),(1,5),(1,6),(2,3),(4,3),(5,4),(6,2),(6,4)],7) => 264
[1,0,1,1,0,1,0,1,0,1,1,0,0,0] => ([(0,3),(0,6),(1,3),(1,6),(2,5),(2,6),(3,5),(5,4),(6,4)],7) => 488
[1,0,1,1,0,1,0,1,1,0,0,0,1,0] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7) => 360
[1,0,1,1,0,1,0,1,1,0,1,0,0,0] => ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,5),(3,6),(5,4),(6,4)],7) => 632
[1,0,1,1,0,1,0,1,1,1,0,0,0,0] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(5,4),(6,4)],7) => 1004
[1,0,1,1,0,1,1,0,0,1,1,0,0,0] => ([(0,4),(1,5),(1,6),(2,5),(2,6),(4,3),(5,4),(6,3)],7) => 608
[1,0,1,1,0,1,1,0,1,1,0,0,0,0] => ([(0,6),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7) => 1180
[1,0,1,1,0,1,1,1,0,0,0,0,1,0] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7) => 704
[1,0,1,1,0,1,1,1,0,0,0,1,0,0] => ([(0,6),(1,2),(1,3),(1,4),(2,6),(3,6),(4,5),(6,5)],7) => 832
[1,0,1,1,0,1,1,1,0,0,1,0,0,0] => ([(0,6),(1,6),(2,3),(2,4),(3,6),(4,5),(6,5)],7) => 1056
[1,0,1,1,0,1,1,1,0,1,0,0,0,0] => ([(0,6),(1,6),(2,6),(3,4),(3,6),(4,5),(6,5)],7) => 1532
[1,0,1,1,0,1,1,1,1,0,0,0,0,0] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(6,5)],7) => 2464
[1,0,1,1,1,0,0,0,1,0,1,0,1,0] => ([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7) => 208
[1,0,1,1,1,0,0,0,1,0,1,1,0,0] => ([(0,5),(1,5),(2,6),(3,6),(4,6),(5,2),(5,3),(5,4)],7) => 312
[1,0,1,1,1,0,0,0,1,1,0,0,1,0] => ([(0,1),(0,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7) => 312
[1,0,1,1,1,0,0,1,0,0,1,1,0,0] => ([(0,4),(0,5),(1,4),(1,5),(2,6),(3,6),(4,6),(5,2),(5,3)],7) => 384
[1,0,1,1,1,0,0,1,1,0,0,0,1,0] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => 480
[1,0,1,1,1,0,0,1,1,0,1,0,0,0] => ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7) => 892
[1,0,1,1,1,0,0,1,1,1,0,0,0,0] => ([(0,6),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => 1264
[1,0,1,1,1,0,1,0,0,1,0,0,1,0] => ([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7) => 456
[1,0,1,1,1,0,1,0,0,1,1,0,0,0] => ([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7) => 892
[1,0,1,1,1,0,1,0,1,1,0,0,0,0] => ([(0,6),(1,5),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => 1464
[1,0,1,1,1,0,1,1,0,0,0,0,1,0] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7) => 880
[1,0,1,1,1,0,1,1,0,0,1,0,0,0] => ([(0,5),(1,5),(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7) => 1388
[1,0,1,1,1,0,1,1,0,1,0,0,0,0] => ([(0,6),(1,5),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => 1864
[1,0,1,1,1,0,1,1,1,0,0,0,0,0] => ([(0,6),(1,6),(2,5),(3,5),(4,5),(5,6)],7) => 2920
[1,0,1,1,1,1,0,0,0,0,1,0,1,0] => ([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7) => 600
[1,0,1,1,1,1,0,0,0,1,0,0,1,0] => ([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7) => 704
[1,0,1,1,1,1,0,0,1,0,0,0,1,0] => ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7) => 880
[1,0,1,1,1,1,0,0,1,1,0,0,0,0] => ([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => 1976
[1,0,1,1,1,1,0,1,0,0,0,0,1,0] => ([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7) => 1232
[1,0,1,1,1,1,0,1,0,0,0,1,0,0] => ([(0,5),(1,2),(1,3),(1,4),(1,5),(2,6),(3,6),(4,6),(5,6)],7) => 1532
[1,0,1,1,1,1,0,1,0,1,0,0,0,0] => ([(0,6),(1,6),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => 2448
[1,0,1,1,1,1,0,1,1,0,0,0,0,0] => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7) => 3688
[1,0,1,1,1,1,1,0,0,0,0,0,1,0] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 2164
[1,0,1,1,1,1,1,0,0,0,0,1,0,0] => ([(0,6),(1,2),(1,3),(1,4),(1,5),(2,6),(3,6),(4,6),(5,6)],7) => 2464
[1,0,1,1,1,1,1,0,0,0,1,0,0,0] => ([(0,6),(1,6),(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7) => 2920
[1,0,1,1,1,1,1,0,0,1,0,0,0,0] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => 3688
[1,0,1,1,1,1,1,0,1,0,0,0,0,0] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => 5224
[1,0,1,1,1,1,1,1,0,0,0,0,0,0] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 9366
[1,1,0,0,1,0,1,0,1,0,1,1,0,0] => ([(0,6),(1,6),(4,5),(5,2),(5,3),(6,4)],7) => 144
[1,1,0,0,1,0,1,0,1,1,1,0,0,0] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(6,3)],7) => 312
[1,1,0,0,1,0,1,1,0,0,1,1,0,0] => ([(0,5),(0,6),(1,5),(1,6),(4,2),(4,3),(5,4),(6,4)],7) => 216
[1,1,0,0,1,0,1,1,0,1,0,0,1,0] => ([(0,4),(0,5),(1,6),(4,6),(5,1),(6,2),(6,3)],7) => 192
[1,1,0,0,1,0,1,1,0,1,0,1,0,0] => ([(0,5),(1,4),(1,5),(4,6),(5,6),(6,2),(6,3)],7) => 264
[1,1,0,0,1,0,1,1,0,1,1,0,0,0] => ([(0,6),(1,5),(2,5),(5,6),(6,3),(6,4)],7) => 384
[1,1,0,0,1,0,1,1,1,0,0,0,1,0] => ([(0,3),(0,4),(0,5),(3,6),(4,6),(5,6),(6,1),(6,2)],7) => 312
[1,1,0,0,1,0,1,1,1,0,1,0,0,0] => ([(0,6),(1,6),(2,3),(3,6),(6,4),(6,5)],7) => 528
[1,1,0,0,1,0,1,1,1,1,0,0,0,0] => ([(0,6),(1,6),(2,6),(3,6),(6,4),(6,5)],7) => 900
[1,1,0,0,1,1,0,0,1,0,1,1,0,0] => ([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(6,2),(6,3)],7) => 216
[1,1,0,0,1,1,0,0,1,1,0,0,1,0] => ([(0,1),(0,2),(1,5),(1,6),(2,5),(2,6),(5,3),(5,4),(6,3),(6,4)],7) => 216
[1,1,0,0,1,1,0,0,1,1,1,0,0,0] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(5,3),(5,4),(6,3),(6,4)],7) => 468
[1,1,0,0,1,1,0,1,0,0,1,1,0,0] => ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(5,2),(6,3),(6,4)],7) => 288
[1,1,0,0,1,1,0,1,0,1,1,0,0,0] => ([(0,6),(1,3),(1,6),(2,3),(2,6),(3,4),(3,5),(6,4),(6,5)],7) => 540
[1,1,0,0,1,1,0,1,1,0,0,0,1,0] => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,5),(3,6),(4,5),(4,6)],7) => 384
[1,1,0,0,1,1,0,1,1,0,1,0,0,0] => ([(0,6),(1,6),(2,3),(2,6),(3,4),(3,5),(6,4),(6,5)],7) => 684
[1,1,0,0,1,1,0,1,1,1,0,0,0,0] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(6,4),(6,5)],7) => 1056
[1,1,0,0,1,1,1,0,0,0,1,0,1,0] => ([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,1),(4,2),(4,3)],7) => 312
[1,1,0,0,1,1,1,0,0,1,0,0,1,0] => ([(0,3),(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,1),(4,2)],7) => 384
[1,1,0,0,1,1,1,0,0,1,1,0,0,0] => ([(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6)],7) => 720
[1,1,0,0,1,1,1,0,1,0,0,1,0,0] => ([(0,4),(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 684
[1,1,0,0,1,1,1,0,1,1,0,0,0,0] => ([(0,5),(0,6),(1,5),(1,6),(2,4),(3,4),(4,5),(4,6)],7) => 1320
[1,1,0,0,1,1,1,1,0,0,0,0,1,0] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 900
[1,1,0,0,1,1,1,1,0,0,1,0,0,0] => ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6)],7) => 1320
[1,1,0,0,1,1,1,1,0,1,0,0,0,0] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(4,5),(4,6)],7) => 1848
[1,1,0,0,1,1,1,1,1,0,0,0,0,0] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 3246
[1,1,0,1,0,0,1,0,1,0,1,1,0,0] => ([(0,6),(1,6),(4,3),(5,2),(5,4),(6,5)],7) => 192
[1,1,0,1,0,0,1,0,1,1,1,0,0,0] => ([(0,6),(1,6),(2,6),(4,5),(6,3),(6,4)],7) => 416
[1,1,0,1,0,0,1,1,0,0,1,1,0,0] => ([(0,5),(0,6),(1,5),(1,6),(4,2),(5,3),(5,4),(6,3),(6,4)],7) => 288
[1,1,0,1,0,0,1,1,0,1,1,0,0,0] => ([(0,5),(0,6),(1,4),(2,4),(4,5),(4,6),(6,3)],7) => 512
[1,1,0,1,0,0,1,1,1,0,0,0,1,0] => ([(0,2),(0,3),(0,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(6,1)],7) => 416
[1,1,0,1,0,0,1,1,1,0,1,0,0,0] => ([(0,5),(0,6),(1,5),(1,6),(2,4),(4,5),(4,6),(6,3)],7) => 704
[1,1,0,1,0,0,1,1,1,1,0,0,0,0] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(6,4)],7) => 1200
[1,1,0,1,0,1,0,0,1,0,1,1,0,0] => ([(0,6),(1,6),(3,5),(4,2),(4,5),(6,3),(6,4)],7) => 264
[1,1,0,1,0,1,0,0,1,1,0,0,1,0] => ([(0,2),(0,3),(2,4),(2,6),(3,4),(3,6),(4,5),(6,1),(6,5)],7) => 264
[1,1,0,1,0,1,0,0,1,1,1,0,0,0] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(5,4),(6,3),(6,4)],7) => 572
[1,1,0,1,0,1,0,1,0,0,1,1,0,0] => ([(0,5),(0,6),(1,5),(1,6),(2,4),(5,2),(5,3),(6,3),(6,4)],7) => 360
[1,1,0,1,0,1,0,1,0,1,1,0,0,0] => ([(0,3),(0,6),(1,3),(1,6),(2,4),(2,6),(3,4),(3,5),(6,5)],7) => 668
[1,1,0,1,0,1,0,1,1,0,0,0,1,0] => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5)],7) => 488
[1,1,0,1,0,1,0,1,1,0,1,0,0,0] => ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,5),(3,4),(3,6),(5,4)],7) => 860
[1,1,0,1,0,1,0,1,1,1,0,0,0,0] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(5,4)],7) => 1356
[1,1,0,1,0,1,1,0,0,0,1,0,1,0] => ([(0,4),(1,6),(2,5),(2,6),(3,5),(3,6),(4,1),(4,2),(4,3)],7) => 360
[1,1,0,1,0,1,1,0,0,1,1,0,0,0] => ([(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(3,6),(4,5),(4,6)],7) => 848
[1,1,0,1,0,1,1,0,1,1,0,0,0,0] => ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5)],7) => 1620
[1,1,0,1,0,1,1,1,0,0,0,0,1,0] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 1004
[1,1,0,1,0,1,1,1,0,0,1,0,0,0] => ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(3,6),(4,5),(4,6)],7) => 1496
[1,1,0,1,0,1,1,1,0,1,0,0,0,0] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(4,6)],7) => 2148
[1,1,0,1,0,1,1,1,1,0,0,0,0,0] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 3546
[1,1,0,1,1,0,0,0,1,0,1,0,1,0] => ([(0,4),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7) => 256
[1,1,0,1,1,0,0,0,1,0,1,1,0,0] => ([(0,6),(1,6),(3,5),(4,5),(6,2),(6,3),(6,4)],7) => 384
[1,1,0,1,1,0,0,0,1,1,0,0,1,0] => ([(0,1),(0,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(5,3),(6,3)],7) => 384
[1,1,0,1,1,0,0,1,0,0,1,1,0,0] => ([(0,5),(0,6),(1,5),(1,6),(3,4),(5,2),(5,3),(6,4)],7) => 480
[1,1,0,1,1,0,0,1,1,0,0,0,1,0] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,5),(3,4),(3,5),(5,6)],7) => 608
[1,1,0,1,1,0,0,1,1,0,1,0,0,0] => ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(6,4)],7) => 1120
[1,1,0,1,1,0,0,1,1,1,0,0,0,0] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(6,4)],7) => 1616
[1,1,0,1,1,0,1,0,0,1,0,0,1,0] => ([(0,3),(0,4),(1,6),(2,6),(3,5),(3,6),(4,1),(4,2),(4,5)],7) => 584
[1,1,0,1,1,0,1,0,1,1,0,0,0,0] => ([(0,6),(1,5),(1,6),(2,4),(2,5),(3,4),(3,5),(4,6)],7) => 1904
[1,1,0,1,1,0,1,1,0,0,0,0,1,0] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 1180
[1,1,0,1,1,0,1,1,0,0,1,0,0,0] => ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,6),(4,6)],7) => 1828
[1,1,0,1,1,0,1,1,0,1,0,0,0,0] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(4,6)],7) => 2480
[1,1,0,1,1,0,1,1,1,0,0,0,0,0] => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 4002
[1,1,0,1,1,1,0,0,0,0,1,0,1,0] => ([(0,5),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7) => 704
[1,1,0,1,1,1,0,0,0,1,0,0,1,0] => ([(0,4),(0,5),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7) => 832
[1,1,0,1,1,1,0,0,1,0,0,0,1,0] => ([(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,1),(5,2)],7) => 1056
[1,1,0,1,1,1,0,0,1,1,0,0,0,0] => ([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(5,6)],7) => 2416
[1,1,0,1,1,1,0,1,0,0,0,0,1,0] => ([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,1),(5,6)],7) => 1532
[1,1,0,1,1,1,0,1,0,1,0,0,0,0] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(4,6)],7) => 3064
[1,1,0,1,1,1,0,1,1,0,0,0,0,0] => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 4770
[1,1,0,1,1,1,1,0,0,0,0,0,1,0] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6)],7) => 2464
[1,1,0,1,1,1,1,0,0,0,0,1,0,0] => ([(0,6),(1,2),(1,3),(1,4),(1,5),(3,6),(4,6),(5,6)],7) => 2816
[1,1,0,1,1,1,1,0,0,0,1,0,0,0] => ([(0,6),(1,6),(2,3),(2,4),(2,5),(4,6),(5,6)],7) => 3360
[1,1,0,1,1,1,1,0,0,1,0,0,0,0] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(5,6)],7) => 4304
[1,1,0,1,1,1,1,0,1,0,0,0,0,0] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6)],7) => 6306
[1,1,0,1,1,1,1,1,0,0,0,0,0,0] => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 10448
[1,1,1,0,0,0,1,0,1,0,1,1,0,0] => ([(0,6),(1,6),(5,2),(5,3),(5,4),(6,5)],7) => 312
[1,1,1,0,0,0,1,0,1,1,0,0,1,0] => ([(0,4),(0,5),(4,6),(5,6),(6,1),(6,2),(6,3)],7) => 312
[1,1,1,0,0,0,1,0,1,1,1,0,0,0] => ([(0,6),(1,6),(2,6),(6,3),(6,4),(6,5)],7) => 676
[1,1,1,0,0,0,1,1,0,0,1,1,0,0] => ([(0,5),(0,6),(1,5),(1,6),(5,2),(5,3),(5,4),(6,2),(6,3),(6,4)],7) => 468
[1,1,1,0,0,0,1,1,0,1,0,1,0,0] => ([(0,6),(1,2),(1,6),(2,3),(2,4),(2,5),(6,3),(6,4),(6,5)],7) => 572
[1,1,1,0,0,0,1,1,0,1,1,0,0,0] => ([(0,6),(1,6),(2,3),(2,4),(2,5),(6,3),(6,4),(6,5)],7) => 832
[1,1,1,0,0,0,1,1,1,0,0,0,1,0] => ([(0,1),(0,2),(0,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 676
[1,1,1,0,0,0,1,1,1,1,0,0,0,0] => ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 1950
[1,1,1,0,0,1,0,0,1,0,1,1,0,0] => ([(0,6),(1,6),(5,2),(5,3),(6,4),(6,5)],7) => 384
[1,1,1,0,0,1,0,0,1,1,0,0,1,0] => ([(0,3),(0,4),(3,5),(3,6),(4,5),(4,6),(6,1),(6,2)],7) => 384
[1,1,1,0,0,1,0,0,1,1,1,0,0,0] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(6,3),(6,4)],7) => 832
[1,1,1,0,0,1,0,1,0,0,1,1,0,0] => ([(0,5),(0,6),(1,5),(1,6),(5,3),(5,4),(6,2),(6,3),(6,4)],7) => 540
[1,1,1,0,0,1,0,1,0,1,1,0,0,0] => ([(0,3),(0,6),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5)],7) => 988
[1,1,1,0,0,1,0,1,1,0,0,0,1,0] => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 748
[1,1,1,0,0,1,0,1,1,1,0,0,0,0] => ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 2106
[1,1,1,0,0,1,1,0,0,0,1,0,1,0] => ([(0,4),(2,5),(2,6),(3,5),(3,6),(4,1),(4,2),(4,3)],7) => 480
[1,1,1,0,0,1,1,0,0,1,1,0,0,0] => ([(0,3),(0,4),(1,5),(1,6),(2,5),(2,6),(6,3),(6,4)],7) => 1168
[1,1,1,0,0,1,1,0,1,0,0,0,1,0] => ([(0,2),(0,3),(0,4),(2,5),(2,6),(3,5),(3,6),(4,1),(4,5),(4,6)],7) => 892
[1,1,1,0,0,1,1,0,1,1,0,0,0,0] => ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 2370
[1,1,1,0,0,1,1,1,0,0,0,0,1,0] => ([(0,1),(0,2),(0,3),(0,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 1264
[1,1,1,0,0,1,1,1,0,0,1,0,0,0] => ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(4,5),(4,6)],7) => 1936
[1,1,1,0,0,1,1,1,0,1,0,0,0,0] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 2898
[1,1,1,0,0,1,1,1,1,0,0,0,0,0] => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 4296
[1,1,1,0,1,0,0,0,1,0,1,1,0,0] => ([(0,6),(1,6),(5,2),(6,3),(6,4),(6,5)],7) => 528
[1,1,1,0,1,0,0,0,1,1,0,0,1,0] => ([(0,2),(0,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(6,1)],7) => 528
[1,1,1,0,1,0,0,1,0,0,1,1,0,0] => ([(0,5),(0,6),(1,5),(1,6),(5,4),(6,2),(6,3),(6,4)],7) => 684
[1,1,1,0,1,0,0,1,1,0,0,0,1,0] => ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 892
[1,1,1,0,1,0,0,1,1,1,0,0,0,0] => ([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 2418
[1,1,1,0,1,0,1,0,1,0,0,0,1,0] => ([(0,2),(0,3),(0,4),(2,6),(3,5),(3,6),(4,1),(4,5),(4,6)],7) => 1052
[1,1,1,0,1,0,1,0,1,1,0,0,0,0] => ([(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 2706
[1,1,1,0,1,0,1,1,0,0,0,0,1,0] => ([(0,1),(0,2),(0,3),(0,4),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 1464
[1,1,1,0,1,0,1,1,0,0,1,0,0,0] => ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(4,6)],7) => 2320
[1,1,1,0,1,0,1,1,0,1,0,0,0,0] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 3282
[1,1,1,0,1,0,1,1,1,0,0,0,0,0] => ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 4804
[1,1,1,0,1,1,0,0,0,0,1,0,1,0] => ([(0,5),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7) => 880
[1,1,1,0,1,1,0,0,1,0,0,0,1,0] => ([(0,3),(0,4),(0,5),(3,6),(4,6),(5,1),(5,2),(5,6)],7) => 1388
[1,1,1,0,1,1,0,0,1,1,0,0,0,0] => ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 3306
[1,1,1,0,1,1,0,1,0,0,0,0,1,0] => ([(0,2),(0,3),(0,4),(0,5),(3,6),(4,6),(5,1),(5,6)],7) => 1864
[1,1,1,0,1,1,0,1,0,1,0,0,0,0] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 3954
[1,1,1,0,1,1,0,1,1,0,0,0,0,0] => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 5660
[1,1,1,0,1,1,1,0,0,0,0,0,1,0] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(3,6),(4,6),(5,6)],7) => 2920
[1,1,1,0,1,1,1,0,0,0,0,1,0,0] => ([(0,6),(1,2),(1,3),(1,4),(1,5),(4,6),(5,6)],7) => 3360
[1,1,1,0,1,1,1,0,0,0,1,0,0,0] => ([(0,6),(1,6),(2,3),(2,4),(2,5),(5,6)],7) => 4064
[1,1,1,0,1,1,1,0,0,1,0,0,0,0] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6)],7) => 5370
[1,1,1,0,1,1,1,0,1,0,0,0,0,0] => ([(1,6),(2,6),(3,6),(4,5),(4,6)],7) => 7372
[1,1,1,0,1,1,1,1,0,0,0,0,0,0] => ([(2,6),(3,6),(4,6),(5,6)],7) => 11980
[1,1,1,1,0,0,0,0,1,0,1,0,1,0] => ([(0,5),(5,6),(6,1),(6,2),(6,3),(6,4)],7) => 600
[1,1,1,1,0,0,0,0,1,0,1,1,0,0] => ([(0,6),(1,6),(6,2),(6,3),(6,4),(6,5)],7) => 900
[1,1,1,1,0,0,0,0,1,1,0,0,1,0] => ([(0,1),(0,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6)],7) => 900
[1,1,1,1,0,0,0,0,1,1,0,1,0,0] => ([(0,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6)],7) => 1200
[1,1,1,1,0,0,0,1,0,0,1,1,0,0] => ([(0,5),(0,6),(1,5),(1,6),(6,2),(6,3),(6,4)],7) => 1056
[1,1,1,1,0,0,0,1,0,1,0,0,1,0] => ([(0,2),(0,3),(2,4),(2,5),(2,6),(3,1),(3,4),(3,5),(3,6)],7) => 1004
[1,1,1,1,0,0,0,1,1,0,0,0,1,0] => ([(0,1),(0,2),(0,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 1264
[1,1,1,1,0,0,1,0,0,1,0,0,1,0] => ([(0,3),(0,4),(3,5),(3,6),(4,1),(4,2),(4,5),(4,6)],7) => 1180
[1,1,1,1,0,0,1,0,1,0,0,0,1,0] => ([(0,2),(0,3),(0,4),(3,5),(3,6),(4,1),(4,5),(4,6)],7) => 1464
[1,1,1,1,0,0,1,1,0,0,0,0,1,0] => ([(0,1),(0,2),(0,3),(0,4),(3,5),(3,6),(4,5),(4,6)],7) => 1976
[1,1,1,1,0,0,1,1,0,0,1,0,0,0] => ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6)],7) => 3306
[1,1,1,1,0,0,1,1,0,1,0,0,0,0] => ([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 4268
[1,1,1,1,0,0,1,1,1,0,0,0,0,0] => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 6100
[1,1,1,1,0,1,0,0,0,1,0,0,1,0] => ([(0,4),(0,5),(4,6),(5,1),(5,2),(5,3),(5,6)],7) => 1532
[1,1,1,1,0,1,0,0,1,0,0,0,1,0] => ([(0,3),(0,4),(0,5),(4,6),(5,1),(5,2),(5,6)],7) => 1864
[1,1,1,1,0,1,0,0,1,1,0,0,0,0] => ([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 4268
[1,1,1,1,0,1,0,1,0,0,0,0,1,0] => ([(0,2),(0,3),(0,4),(0,5),(4,6),(5,1),(5,6)],7) => 2448
[1,1,1,1,0,1,0,1,1,0,0,0,0,0] => ([(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 7080
[1,1,1,1,0,1,1,0,0,0,0,0,1,0] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(4,6),(5,6)],7) => 3688
[1,1,1,1,0,1,1,0,0,0,0,1,0,0] => ([(0,6),(1,2),(1,3),(1,4),(1,5),(5,6)],7) => 4304
[1,1,1,1,0,1,1,0,0,0,1,0,0,0] => ([(0,6),(1,6),(2,3),(2,4),(2,5),(2,6)],7) => 5370
[1,1,1,1,0,1,1,0,0,1,0,0,0,0] => ([(1,6),(2,6),(3,4),(3,5),(3,6)],7) => 6676
[1,1,1,1,0,1,1,0,1,0,0,0,0,0] => ([(2,6),(3,6),(4,5),(4,6)],7) => 9040
[1,1,1,1,0,1,1,1,0,0,0,0,0,0] => ([(3,6),(4,6),(5,6)],7) => 14300
[1,1,1,1,1,0,0,0,0,0,1,0,1,0] => ([(0,6),(6,1),(6,2),(6,3),(6,4),(6,5)],7) => 2164
[1,1,1,1,1,0,0,0,0,1,0,0,1,0] => ([(0,5),(0,6),(6,1),(6,2),(6,3),(6,4)],7) => 2464
[1,1,1,1,1,0,0,0,1,0,0,0,1,0] => ([(0,4),(0,5),(0,6),(6,1),(6,2),(6,3)],7) => 2920
[1,1,1,1,1,0,0,1,0,0,0,0,1,0] => ([(0,3),(0,4),(0,5),(0,6),(6,1),(6,2)],7) => 3688
[1,1,1,1,1,0,0,1,1,0,0,0,0,0] => ([(3,5),(3,6),(4,5),(4,6)],7) => 9636
[1,1,1,1,1,0,1,0,0,0,0,0,1,0] => ([(0,2),(0,3),(0,4),(0,5),(0,6),(6,1)],7) => 5224
[1,1,1,1,1,0,1,0,0,0,0,1,0,0] => ([(0,6),(1,2),(1,3),(1,4),(1,5),(1,6)],7) => 6306
[1,1,1,1,1,0,1,0,0,0,1,0,0,0] => ([(1,6),(2,3),(2,4),(2,5),(2,6)],7) => 7372
[1,1,1,1,1,0,1,0,0,1,0,0,0,0] => ([(2,6),(3,4),(3,5),(3,6)],7) => 9040
[1,1,1,1,1,0,1,0,1,0,0,0,0,0] => ([(3,6),(4,5),(4,6)],7) => 11968
[1,1,1,1,1,0,1,1,0,0,0,0,0,0] => ([(4,6),(5,6)],7) => 18196
[1,1,1,1,1,1,0,0,0,0,0,0,1,0] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6)],7) => 9366
[1,1,1,1,1,1,0,0,0,0,0,1,0,0] => ([(1,2),(1,3),(1,4),(1,5),(1,6)],7) => 10448
[1,1,1,1,1,1,0,0,0,0,1,0,0,0] => ([(2,3),(2,4),(2,5),(2,6)],7) => 11980
[1,1,1,1,1,1,0,0,0,1,0,0,0,0] => ([(3,4),(3,5),(3,6)],7) => 14300
[1,1,1,1,1,1,0,0,1,0,0,0,0,0] => ([(4,5),(4,6)],7) => 18196
[1,1,1,1,1,1,0,1,0,0,0,0,0,0] => ([(5,6)],7) => 25988
[1,1,1,1,1,1,1,0,0,0,0,0,0,0] => ([],7) => 47293