Profile: 0-0-10-0-0-0
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5]) (90 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5]) (180 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [2, 5, 6]) (180 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [3, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 5, 6], [2, 3, 5], [2, 4, 6], [3, 4, 5], [3, 4, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 5, 6], [2, 3, 5], [2, 4, 6], [3, 4, 5], [4, 5, 6]) (180 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [2, 4, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5]) (180 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [3, 4, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [4, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 4, 5]) (90 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 4, 6]) (180 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [2, 4, 6], [3, 4, 5]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 5]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [2, 5, 6], [4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5], [4, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [3, 4, 6], [3, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [3, 4, 6], [4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [3, 5, 6], [4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 3, 4], [2, 4, 6], [2, 5, 6], [3, 4, 5]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 3, 4], [2, 4, 6], [3, 4, 5], [4, 5, 6]) (180 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 3, 5], [2, 3, 6], [2, 4, 6], [3, 4, 5]) (120 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 3, 5], [2, 3, 6], [2, 4, 6], [4, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 3, 5], [2, 4, 6], [2, 5, 6], [3, 4, 5]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 3, 5], [2, 4, 6], [3, 4, 5], [3, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 3, 5], [2, 4, 6], [3, 4, 5], [4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 3, 5], [2, 4, 6], [3, 4, 6], [3, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 3, 5], [2, 4, 6], [3, 4, 6], [4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 3, 5], [2, 4, 6], [3, 5, 6], [4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 4, 5], [2, 4, 6], [3, 4, 5], [3, 4, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 4, 5], [2, 4, 6], [3, 4, 5], [3, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 4, 6], [2, 5, 6], [3, 4, 5], [3, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 4, 6], [2, 5, 6], [3, 4, 5], [4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [2, 3, 5], [2, 4, 6], [3, 4, 5], [3, 5, 6], [4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [2, 4, 6], [2, 5, 6], [3, 4, 5], [3, 5, 6], [4, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 5, 6], [2, 3, 6], [2, 4, 6], [2, 5, 6], [3, 4, 5], [3, 4, 6]) (180 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 5, 6], [2, 3, 6], [2, 4, 6], [3, 4, 5], [3, 5, 6], [4, 5, 6]) (180 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 5, 6], [2, 3, 6], [2, 5, 6], [3, 4, 5], [3, 4, 6], [4, 5, 6]) (240 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 6], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 6], [2, 5, 6], [3, 4, 5]) (20 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 5], [3, 4, 6]) (12 MBFs)

Profile: 0-0-10-1-0-0
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5, 6]) (90 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 4, 5, 6]) (180 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 5, 6]) (180 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [2, 4, 6], [3, 4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 3, 4], [2, 4, 6], [3, 4, 5], [4, 5, 6], [2, 3, 5, 6]) (180 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 4, 5], [2, 4, 6], [3, 4, 5], [3, 4, 6], [2, 3, 5, 6]) (360 MBFs)

Profile: 0-0-11-0-0-0
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 4, 5]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 5]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5], [3, 4, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5], [3, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5], [4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [3, 5, 6], [4, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 5, 6], [2, 3, 5], [2, 4, 6], [3, 4, 5], [3, 4, 6], [3, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [2, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 4, 5]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 4, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [2, 4, 6], [3, 4, 5]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [2, 4, 6], [3, 4, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [2, 4, 6], [3, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [2, 4, 6], [4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5], [4, 5, 6]) (180 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [3, 4, 6], [3, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [3, 4, 6], [4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 5, 6], [4, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [2, 4, 6], [3, 4, 5], [3, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 5], [3, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 5], [4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 6], [3, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 6], [4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 5, 6], [4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [3, 4, 6], [3, 5, 6], [4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 3, 4], [2, 4, 6], [2, 5, 6], [3, 4, 5], [3, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 3, 5], [2, 3, 6], [2, 4, 6], [3, 4, 5], [4, 5, 6]) (120 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 3, 5], [2, 4, 6], [2, 5, 6], [3, 4, 5], [3, 4, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 3, 5], [2, 4, 6], [3, 4, 5], [3, 5, 6], [4, 5, 6]) (360 MBFs)

Profile: 0-0-11-1-0-0
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 4, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 5, 6]) (360 MBFs)

Profile: 0-0-12-0-0-0
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [2, 5, 6]) (90 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 4, 5]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5], [3, 4, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5], [4, 5, 6]) (180 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 4, 5], [3, 4, 6]) (90 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 4, 5], [3, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 5, 6], [4, 5, 6]) (180 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 5], [3, 4, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 5], [3, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5], [3, 4, 6], [3, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5], [3, 5, 6], [4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 5, 6], [2, 3, 5], [2, 4, 6], [3, 4, 5], [3, 4, 6], [3, 5, 6], [4, 5, 6]) (90 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 5]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 4, 5], [4, 5, 6]) (180 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 4, 6], [3, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 5, 6], [4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [2, 4, 6], [2, 5, 6], [3, 4, 5]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [2, 4, 6], [3, 4, 5], [3, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [2, 4, 6], [3, 4, 5], [4, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [2, 4, 6], [3, 4, 6], [3, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [2, 4, 6], [3, 5, 6], [4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [3, 4, 6], [3, 5, 6], [4, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 6], [3, 5, 6], [4, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 3, 5], [2, 4, 6], [2, 5, 6], [3, 4, 5], [3, 4, 6], [4, 5, 6]) (120 MBFs)

Profile: 0-0-12-1-0-0
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 5, 6]) (90 MBFs)

Profile: 0-0-13-0-0-0
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 5]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 4, 5], [3, 4, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 4, 5], [3, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 4, 5], [4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 5, 6], [4, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5], [3, 4, 6], [3, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 4, 5], [3, 5, 6], [4, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 5], [3, 4, 6], [3, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5], [3, 4, 6], [3, 5, 6], [4, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 5], [3, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 6], [3, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [2, 4, 6], [2, 5, 6], [3, 4, 5], [3, 4, 6]) (240 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [2, 4, 6], [3, 4, 5], [3, 5, 6], [4, 5, 6]) (120 MBFs)

Profile: 0-0-14-0-0-0
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 5], [3, 4, 6]) (180 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 5], [3, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 4, 5], [3, 4, 6], [3, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 4, 5], [3, 5, 6], [4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5], [3, 4, 6], [3, 5, 6], [4, 5, 6]) (90 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 5], [3, 4, 6], [3, 5, 6], [4, 5, 6]) (180 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [2, 4, 6], [2, 5, 6], [3, 4, 5], [3, 4, 6], [3, 5, 6]) (30 MBFs)

Profile: 0-0-15-0-0-0
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 5], [3, 4, 6], [3, 5, 6]) (360 MBFs)

Profile: 0-0-16-0-0-0
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 5], [3, 4, 6], [3, 5, 6], [4, 5, 6]) (30 MBFs)

Profile: 0-0-4-0-0-0
IMBF([1, 2, 3], [1, 4, 5], [2, 4, 6], [3, 5, 6]) (30 MBFs)

Profile: 0-0-4-1-0-0
IMBF([1, 2, 3], [1, 4, 5], [2, 4, 6], [3, 5, 6], [1, 2, 5, 6]) (90 MBFs)

Profile: 0-0-4-2-0-0
IMBF([1, 2, 3], [1, 4, 5], [2, 4, 6], [3, 5, 6], [1, 2, 5, 6], [1, 3, 4, 6]) (90 MBFs)

Profile: 0-0-4-3-0-0
IMBF([1, 2, 3], [1, 4, 5], [2, 4, 6], [3, 5, 6], [1, 2, 5, 6], [1, 3, 4, 6], [2, 3, 4, 5]) (30 MBFs)

Profile: 0-0-5-0-0-0
IMBF([1, 2, 3], [1, 2, 4], [1, 3, 5], [2, 5, 6], [3, 4, 6]) (360 MBFs)

Profile: 0-0-5-1-0-0
IMBF([1, 2, 3], [1, 2, 4], [1, 3, 5], [2, 5, 6], [3, 4, 6], [1, 4, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 3, 5], [2, 5, 6], [3, 4, 6], [2, 3, 4, 5]) (360 MBFs)

Profile: 0-0-5-2-0-0
IMBF([1, 2, 3], [1, 2, 4], [1, 3, 5], [2, 5, 6], [3, 4, 6], [1, 4, 5, 6], [2, 3, 4, 5]) (360 MBFs)

Profile: 0-0-6-0-0-0
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 6], [2, 4, 6], [3, 4, 5]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 3, 4], [1, 5, 6], [2, 3, 5], [2, 4, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 3, 5], [1, 4, 5], [2, 5, 6], [3, 4, 6]) (90 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5]) (180 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 3, 5], [1, 4, 6], [2, 5, 6], [3, 4, 5]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 3, 5], [2, 5, 6], [3, 4, 6], [4, 5, 6]) (180 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 5, 6], [2, 5, 6], [3, 4, 5], [3, 4, 6]) (30 MBFs)

Profile: 0-0-6-1-0-0
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 6], [2, 4, 6], [3, 4, 5], [1, 4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 3, 4], [1, 5, 6], [2, 3, 5], [2, 4, 6], [3, 4, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 3, 5], [1, 4, 5], [2, 5, 6], [3, 4, 6], [2, 3, 4, 5]) (90 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [1, 2, 5, 6]) (180 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5, 6]) (180 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 3, 5], [1, 4, 6], [2, 5, 6], [3, 4, 5], [2, 3, 4, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 3, 5], [2, 5, 6], [3, 4, 6], [4, 5, 6], [2, 3, 4, 5]) (180 MBFs)

Profile: 0-0-6-2-0-0
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 6], [2, 4, 6], [3, 4, 5], [1, 4, 5, 6], [2, 3, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [1, 2, 5, 6], [3, 4, 5, 6]) (180 MBFs)

Profile: 0-0-7-0-0-0
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [2, 4, 6], [3, 4, 5]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 5, 6], [2, 3, 5], [2, 4, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 5, 6], [2, 3, 6], [3, 4, 5]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 6], [1, 4, 6], [2, 3, 6], [3, 4, 5]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 6], [1, 4, 6], [2, 5, 6], [3, 4, 5]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 6], [2, 4, 6], [3, 4, 5], [3, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 3, 4], [1, 5, 6], [2, 3, 5], [2, 4, 5], [3, 4, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 3, 4], [1, 5, 6], [2, 3, 5], [2, 4, 6], [3, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 3, 5], [1, 4, 5], [2, 3, 6], [2, 5, 6], [3, 4, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 5, 6], [3, 4, 5]) (240 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 3, 5], [1, 4, 6], [2, 5, 6], [3, 4, 5], [3, 4, 6]) (120 MBFs)

Profile: 0-0-7-1-0-0
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [2, 4, 6], [3, 4, 5], [1, 4, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [2, 4, 6], [3, 4, 5], [2, 3, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 5, 6], [2, 3, 5], [2, 4, 6], [3, 4, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 5, 6], [2, 3, 6], [3, 4, 5], [2, 4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 6], [1, 4, 6], [2, 3, 6], [3, 4, 5], [2, 4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 6], [1, 4, 6], [2, 5, 6], [3, 4, 5], [2, 3, 4, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 6], [2, 4, 6], [3, 4, 5], [3, 5, 6], [1, 4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 3, 5], [1, 4, 5], [2, 3, 6], [2, 5, 6], [3, 4, 6], [2, 3, 4, 5]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5], [1, 2, 5, 6]) (360 MBFs)

Profile: 0-0-7-2-0-0
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [2, 4, 6], [3, 4, 5], [1, 4, 5, 6], [2, 3, 5, 6]) (360 MBFs)

Profile: 0-0-8-0-0-0
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 5, 6], [2, 3, 5], [2, 4, 6]) (90 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 3, 5], [2, 4, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 4, 6], [3, 4, 5]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [2, 3, 4], [2, 4, 6], [3, 4, 5]) (90 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [2, 3, 5], [2, 4, 6], [3, 4, 5]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [2, 4, 6], [2, 5, 6], [3, 4, 5]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [2, 4, 6], [3, 4, 5], [4, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 5, 6], [2, 3, 5], [2, 4, 6], [3, 4, 5]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 5, 6], [2, 3, 5], [2, 4, 6], [3, 4, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 5, 6], [2, 3, 5], [2, 4, 6], [4, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 5, 6], [2, 3, 6], [2, 4, 6], [3, 4, 5]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 5, 6], [2, 3, 6], [2, 5, 6], [3, 4, 5]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 5, 6], [2, 3, 6], [3, 4, 5], [3, 4, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 5, 6], [2, 3, 6], [3, 4, 5], [4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 6], [1, 4, 6], [1, 5, 6], [2, 3, 6], [3, 4, 5]) (180 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 6], [1, 4, 6], [2, 3, 6], [2, 4, 6], [3, 4, 5]) (180 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 6], [1, 4, 6], [2, 3, 6], [2, 5, 6], [3, 4, 5]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 6], [1, 4, 6], [2, 3, 6], [3, 4, 5], [4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 6], [1, 4, 6], [2, 5, 6], [3, 4, 5], [3, 4, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 6], [1, 4, 6], [2, 5, 6], [3, 4, 5], [3, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 6], [2, 4, 6], [3, 4, 5], [3, 5, 6], [4, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 3, 4], [1, 5, 6], [2, 3, 5], [2, 4, 5], [3, 4, 6], [3, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 3, 5], [1, 4, 5], [2, 3, 6], [2, 5, 6], [3, 4, 6], [4, 5, 6]) (90 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [2, 5, 6]) (180 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 5, 6], [3, 4, 5], [4, 5, 6]) (120 MBFs)

Profile: 0-0-8-1-0-0
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 5, 6], [2, 3, 5], [2, 4, 6], [3, 4, 5, 6]) (90 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 3, 5], [2, 4, 6], [3, 4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 4, 6], [3, 4, 5], [2, 3, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [2, 3, 4], [2, 4, 6], [3, 4, 5], [1, 4, 5, 6]) (180 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [2, 3, 5], [2, 4, 6], [3, 4, 5], [1, 4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [2, 4, 6], [2, 5, 6], [3, 4, 5], [1, 4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [2, 4, 6], [3, 4, 5], [4, 5, 6], [2, 3, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 5, 6], [2, 3, 6], [3, 4, 5], [3, 4, 6], [2, 4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 6], [1, 4, 6], [1, 5, 6], [2, 3, 6], [3, 4, 5], [2, 4, 5, 6]) (180 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 6], [1, 4, 6], [2, 5, 6], [3, 4, 5], [3, 5, 6], [2, 3, 4, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 3, 5], [1, 4, 5], [2, 3, 6], [2, 5, 6], [3, 4, 6], [4, 5, 6], [2, 3, 4, 5]) (90 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 5, 6]) (180 MBFs)

Profile: 0-0-8-2-0-0
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [2, 3, 4], [2, 4, 6], [3, 4, 5], [1, 4, 5, 6], [2, 3, 5, 6]) (90 MBFs)

Profile: 0-0-9-0-0-0
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 5, 6], [2, 3, 5], [2, 4, 6], [3, 4, 5]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [2, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [3, 4, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [3, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 3, 4], [2, 4, 6], [3, 4, 5]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 3, 5], [2, 3, 6], [2, 4, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 3, 5], [2, 4, 6], [3, 4, 5]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 3, 5], [2, 4, 6], [3, 4, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 3, 5], [2, 4, 6], [3, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 3, 5], [2, 4, 6], [4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 4, 5], [2, 4, 6], [3, 4, 5]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 4, 6], [2, 5, 6], [3, 4, 5]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 4, 6], [3, 4, 5], [4, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [2, 3, 5], [2, 4, 6], [3, 4, 5], [3, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [2, 3, 5], [2, 4, 6], [3, 4, 5], [4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [2, 4, 6], [2, 5, 6], [3, 4, 5], [3, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [2, 4, 6], [2, 5, 6], [3, 4, 5], [4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 5, 6], [2, 3, 5], [2, 4, 6], [3, 4, 5], [3, 4, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 5, 6], [2, 3, 5], [2, 4, 6], [3, 4, 5], [4, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 5, 6], [2, 3, 5], [2, 4, 6], [3, 4, 6], [3, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 5, 6], [2, 3, 5], [2, 4, 6], [3, 4, 6], [4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 5, 6], [2, 3, 6], [2, 4, 6], [2, 5, 6], [3, 4, 5]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 5, 6], [2, 3, 6], [2, 4, 6], [3, 4, 5], [3, 4, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 5, 6], [2, 3, 6], [2, 4, 6], [3, 4, 5], [3, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 5, 6], [2, 3, 6], [2, 5, 6], [3, 4, 5], [3, 4, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 5, 6], [2, 3, 6], [2, 5, 6], [3, 4, 5], [4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 6], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 6], [3, 4, 5]) (180 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 6], [1, 4, 6], [2, 3, 6], [2, 5, 6], [3, 4, 5], [4, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 5]) (120 MBFs)

Profile: 0-0-9-1-0-0
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 2, 6], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 4, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 3, 4], [2, 4, 6], [3, 4, 5], [2, 3, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 3, 5], [2, 3, 6], [2, 4, 6], [3, 4, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 4, 5], [2, 4, 6], [3, 4, 5], [2, 3, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [1, 5, 6], [2, 4, 6], [3, 4, 5], [4, 5, 6], [2, 3, 5, 6]) (360 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [2, 3, 5], [2, 4, 6], [3, 4, 5], [3, 5, 6], [1, 4, 5, 6]) (720 MBFs)
IMBF([1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 4], [1, 3, 6], [2, 4, 6], [2, 5, 6], [3, 4, 5], [3, 5, 6], [1, 4, 5, 6]) (360 MBFs)

Profile: 0-1-10-0-0-0
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 5], [3, 4, 6]) (180 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 5], [3, 5, 6]) (360 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 4, 5], [3, 4, 6], [3, 5, 6]) (720 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 4, 5], [3, 5, 6], [4, 5, 6]) (720 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5], [3, 4, 6], [3, 5, 6], [4, 5, 6]) (90 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 4, 5], [3, 4, 6], [3, 5, 6], [4, 5, 6]) (180 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 5], [3, 4, 6], [3, 5, 6], [4, 5, 6]) (180 MBFs)

Profile: 0-1-11-0-0-0
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 5], [3, 4, 6], [3, 5, 6]) (360 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 4, 5], [3, 4, 6], [3, 5, 6], [4, 5, 6]) (360 MBFs)

Profile: 0-1-12-0-0-0
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 5], [3, 4, 6], [3, 5, 6], [4, 5, 6]) (90 MBFs)

Profile: 0-1-4-0-0-0
IMBF([1, 2], [1, 3, 4], [1, 5, 6], [2, 3, 5], [2, 4, 6]) (90 MBFs)

Profile: 0-1-4-1-0-0
IMBF([1, 2], [1, 3, 4], [1, 5, 6], [2, 3, 5], [2, 4, 6], [3, 4, 5, 6]) (90 MBFs)

Profile: 0-1-5-0-0-0
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5]) (360 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 5, 6], [2, 3, 5], [2, 4, 6], [3, 4, 5]) (360 MBFs)

Profile: 0-1-5-1-0-0
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5, 6]) (360 MBFs)

Profile: 0-1-6-0-0-0
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5]) (90 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5]) (180 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [2, 5, 6]) (180 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5]) (720 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [3, 5, 6]) (720 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 5, 6], [2, 3, 5], [2, 4, 6], [3, 4, 5], [3, 4, 6]) (360 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 5, 6], [2, 3, 5], [2, 4, 6], [3, 4, 5], [4, 5, 6]) (180 MBFs)

Profile: 0-1-6-1-0-0
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5, 6]) (90 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 4, 5, 6]) (180 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 5, 6]) (180 MBFs)

Profile: 0-1-7-0-0-0
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5]) (360 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5]) (360 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 4, 5]) (360 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 5, 6]) (360 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 5]) (720 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5], [3, 4, 6]) (360 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5], [3, 5, 6]) (720 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5], [4, 5, 6]) (720 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [3, 5, 6], [4, 5, 6]) (360 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 5, 6], [2, 3, 5], [2, 4, 6], [3, 4, 5], [3, 4, 6], [3, 5, 6]) (360 MBFs)

Profile: 0-1-7-1-0-0
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 4, 5, 6]) (360 MBFs)

Profile: 0-1-8-0-0-0
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [2, 5, 6]) (90 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 4, 5]) (720 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 5, 6]) (720 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5], [3, 4, 6]) (360 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5], [4, 5, 6]) (180 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 4, 5], [3, 4, 6]) (180 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 4, 5], [3, 5, 6]) (720 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 5, 6], [4, 5, 6]) (180 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 5], [3, 4, 6]) (360 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 5], [3, 5, 6]) (720 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5], [3, 4, 6], [3, 5, 6]) (720 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5], [3, 5, 6], [4, 5, 6]) (720 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 5, 6], [2, 3, 5], [2, 4, 6], [3, 4, 5], [3, 4, 6], [3, 5, 6], [4, 5, 6]) (90 MBFs)

Profile: 0-1-8-1-0-0
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 5, 6]) (90 MBFs)

Profile: 0-1-9-0-0-0
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 5]) (360 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 4, 5], [3, 4, 6]) (360 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 4, 5], [3, 5, 6]) (720 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 4, 5], [4, 5, 6]) (720 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 5, 6], [4, 5, 6]) (360 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5], [3, 4, 6], [3, 5, 6]) (360 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 4, 5], [3, 4, 6], [3, 5, 6]) (360 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 4], [2, 3, 6], [2, 4, 5], [3, 4, 5], [3, 5, 6], [4, 5, 6]) (360 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 4, 5], [3, 4, 6], [3, 5, 6]) (720 MBFs)
IMBF([1, 2], [1, 3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5], [3, 4, 5], [3, 4, 6], [3, 5, 6], [4, 5, 6]) (360 MBFs)

Profile: 0-2-4-0-0-0
IMBF([1, 2], [3, 4], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5]) (90 MBFs)

Profile: 0-2-5-0-0-0
IMBF([1, 2], [3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5]) (360 MBFs)

Profile: 0-2-6-0-0-0
IMBF([1, 2], [3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [2, 5, 6]) (180 MBFs)
IMBF([1, 2], [3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [3, 5, 6]) (360 MBFs)

Profile: 0-2-7-0-0-0
IMBF([1, 2], [3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 5, 6]) (360 MBFs)

Profile: 0-2-8-0-0-0
IMBF([1, 2], [3, 4], [1, 3, 5], [1, 4, 6], [1, 5, 6], [2, 3, 6], [2, 4, 5], [2, 5, 6], [3, 5, 6], [4, 5, 6]) (90 MBFs)

Profile: 0-3-4-0-0-0
IMBF([1, 2], [3, 4], [5, 6], [1, 3, 5], [1, 4, 6], [2, 3, 6], [2, 4, 5]) (30 MBFs)

Total IMBFs: 338 IMBFs
Total MBFs : 145502 MBFs