#This file contains all the data needed to show $\pi_{cv}(B_4,B_5)$ is at most 0.53111 (see
#Section 2.5.3). The calculation can be verified using the program
#"HypercubeVertexDensityChecker".

Program                        : HypercubeVertexDensityChecker

Dimension of subcubes H        : 4
Number of forbidden hypercubes : 2
Forbidden hypercubes           :
01011111 #B_4
01111110 #B_5
Number of terms                : 16


--- Term 1 ---

Dimension of type : 0
Number of flags   : 6
Matrix dimension  : 6

Flags :
F1 : 0000
F2 : 0100
F3 : 1000
F4 : 1100
F5 : 0110
F6 : 1110

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)
B5 : (F5)
B6 : (F6)

Matrix :
42498647104/1099511627776 -25674788536/1099511627776 59001939312/1099511627776 
4535550152/1099511627776 53369660520/1099511627776 -328266961808/1099511627776 
-25674788536/1099511627776 15833125450/1099511627776 -36430204659/1099511627776 
-2765683766/1099511627776 -32829175059/1099511627776 201881915633/1099511627776 
59001939312/1099511627776 -36430204659/1099511627776 83988987073/1099511627776 
6369682497/1099511627776 75666649594/1099511627776 -465342079849/1099511627776 
4535550152/1099511627776 -2765683766/1099511627776 6369682497/1099511627776 
498624039/1099511627776 5773391892/1099511627776 -35530795084/1099511627776 
53369660520/1099511627776 -32829175059/1099511627776 75666649594/1099511627776 
5773391892/1099511627776 68255372766/1099511627776 -419817519289/1099511627776 
-328266961808/1099511627776 201881915633/1099511627776 -465342079849/1099511627776 
-35530795084/1099511627776 -419817519289/1099511627776 2582218240079/1099511627776


--- Term 2 ---

Dimension of type : 0
Number of flags   : 6
Matrix dimension  : 6

Flags :
F1 : 0001
F2 : 0101
F3 : 1001
F4 : 1101
F5 : 0111
F6 : 1111

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)
B5 : (F5)
B6 : (F6)

Matrix :
20316872/1099511627776 -202383106/1099511627776 8424034/1099511627776 193828818/1099511627776
-4411556/1099511627776 1948978468609492366/1099511627776 -202383106/1099511627776 
2233535341/1099511627776 -98941139/1099511627776 -2121176639/1099511627776 
32792216/1099511627776 -17302333938308637068/1099511627776 8424034/1099511627776 
-98941139/1099511627776 4530881/1099511627776 93519021/1099511627776 -1058764/1099511627776 
662210897583375602/1099511627776 193828818/1099511627776 -2121176639/1099511627776 
93519021/1099511627776 2015807417/1099511627776 -32326564/1099511627776 
16745306478507248454/1099511627776 -4411556/1099511627776 32792216/1099511627776 
-1058764/1099511627776 -32326564/1099511627776 1529716/1099511627776 
-531483081973084918/1099511627776 1948978468609492366/1099511627776 
-17302333938308637068/1099511627776 662210897583375602/1099511627776 
16745306478507248454/1099511627776 -531483081973084918/1099511627776 
207470791533440165331256492973/1099511627776


--- Term 3 ---

Dimension of type : 1
Number of flags   : 4
Matrix dimension  : 3

Flags :
F1 : 0000
F2 : 0100
F3 : 1000
F4 : 1100

Basis :
B1 : (F1)
B2 : (F2)+(F3)
B3 : (F4)

Matrix :
274730625/1099511627776 -39415350/1099511627776 18845775/1099511627776 
-39415350/1099511627776   5654884/1099511627776 -2703786/1099511627776
 18845775/1099511627776  -2703786/1099511627776  1292769/1099511627776


--- Term 4 ---

Dimension of type : 1
Number of flags   : 4
Matrix dimension  : 3

Flags :
F1 : 0011
F2 : 0111
F3 : 1011
F4 : 1111

Basis :
B1 : (F1)
B2 : (F2)+(F3)
B3 : (F4)

Matrix :
2024929/1099511627776 530779/1099511627776 -1558908868579142975/1099511627776 
530779/1099511627776 139129/1099511627776 -408624742080126725/1099511627776 
-1558908868579142975/1099511627776 -408624742080126725/1099511627776 
1200139294036829767103049630625/1099511627776


--- Term 5 ---

Dimension of type : 2
Number of flags   : 16
Matrix dimension  : 6

Flags :
F1  : 00000000
F2  : 00010000
F3  : 00100000
F4  : 00110000
F5  : 01000000
F6  : 01010000
F7  : 01100000
F8  : 01110000
F9  : 10000000
F10 : 10010000
F11 : 10100000
F12 : 10110000
F13 : 11000000
F14 : 11010000
F15 : 11100000
F16 : 11110000

Basis :
B1 : (F1)
B2 : (F2)+(F3)+(F5)+(F9)
B3 : (F4)+(F6)+(F11)+(F13)
B4 : (F7)+(F10)
B5 : (F8)+(F12)+(F14)+(F15)
B6 : (F16)

Matrix :
539484374016/1099511627776 73818316992/1099511627776 -48040445376/1099511627776 
-262167329760/1099511627776 8466535392/1099511627776 108687045600/1099511627776 
73818316992/1099511627776 11279406893/1099511627776 -6108599325/1099511627776 
-35965895465/1099511627776 959458153/1099511627776 14959813262/1099511627776 
-48040445376/1099511627776 -6108599325/1099511627776 5846131153/1099511627776 
23421281291/1099511627776 -975545589/1099511627776 -9666141682/1099511627776 
-262167329760/1099511627776 -35965895465/1099511627776 23421281291/1099511627776 
127787259155/1099511627776 -4145299252/1099511627776 -52976554115/1099511627776 
8466535392/1099511627776 959458153/1099511627776 -975545589/1099511627776 
-4145299252/1099511627776 184602930/1099511627776 1707464493/1099511627776 
108687045600/1099511627776 14959813262/1099511627776 -9666141682/1099511627776 
-52976554115/1099511627776 1707464493/1099511627776 798377172456329581/1099511627776


--- Term 6 ---

Dimension of type : 2
Number of flags   : 14
Matrix dimension  : 10

Flags :
F1  : 00010000
F2  : 00100000
F3  : 00110000
F4  : 01000000
F5  : 01010000
F6  : 01100000
F7  : 01110000
F8  : 10000000
F9  : 10010000
F10 : 10100000
F11 : 10110000
F12 : 11000000
F13 : 11010000
F14 : 11100000

Basis :
B1  : (F2)-(F1)
B2  : (F4)-(F1)
B3  : (F8)-(F1)
B4  : (F5)-(F3)
B5  : (F10)-(F3)
B6  : (F12)-(F3)
B7  : (F9)-(F6)
B8  : (F11)-(F7)
B9  : (F13)-(F7)
B10 : (F14)-(F7)

Matrix :
403729347609/1099511627776 -401956589979/1099511627776 -886378815/1099511627776 
382528691307/1099511627776 -382528691307/1099511627776 382528691307/1099511627776 
-212857995/1099511627776 619860272556/1099511627776 -620048985465/1099511627776 
94038756/1099511627776 -401956589979/1099511627776 403729843738/1099511627776 
-886597138/1099511627776 -382528943703/1099511627776 382528943703/1099511627776 
-382528943703/1099511627776 -212844758/1099511627776 -620049532173/1099511627776 
619860472681/1099511627776 94816308/1099511627776 -886378815/1099511627776 
-886597138/1099511627776 403729293707/1099511627776 382528756484/1099511627776 
-382528756484/1099511627776 -382528532330/1099511627776 212847806/1099511627776 
94605339/1099511627776 94277693/1099511627776 619859881583/1099511627776 
382528691307/1099511627776 -382528943703/1099511627776 382528756484/1099511627776 
738726522050/1099511627776 -727420287558/1099511627776 -5652923296/1099511627776 
-4263/1099511627776 591020522164/1099511627776 -591020355817/1099511627776 
591019717787/1099511627776 -382528691307/1099511627776 382528943703/1099511627776 
-382528756484/1099511627776 -727420287558/1099511627776 738726549746/1099511627776 
-5653222886/1099511627776 4263/1099511627776 -591020523014/1099511627776 
591020356667/1099511627776 -591019718637/1099511627776 382528691307/1099511627776 
-382528943703/1099511627776 -382528532330/1099511627776 -5652923296/1099511627776 
-5653222886/1099511627776 738726361156/1099511627776 -4263/1099511627776 
591020590185/1099511627776 -591020423838/1099511627776 -591020483020/1099511627776 
-212857995/1099511627776 -212844758/1099511627776 212847806/1099511627776 -4263/1099511627776
4263/1099511627776 -4263/1099511627776 407032062/1099511627776 54680421/1099511627776 
54702795/1099511627776 -54687870/1099511627776 619860272556/1099511627776 
-620049532173/1099511627776 94605339/1099511627776 591020522164/1099511627776 
-591020523014/1099511627776 591020590185/1099511627776 54680421/1099511627776 
957728852656/1099511627776 -957628859867/1099511627776 -50501315/1099511627776 
-620048985465/1099511627776 619860472681/1099511627776 94277693/1099511627776 
-591020355817/1099511627776 591020356667/1099511627776 -591020423838/1099511627776 
54702795/1099511627776 -957628859867/1099511627776 957728329408/1099511627776 
-49226533/1099511627776 94038756/1099511627776 94816308/1099511627776 
619859881583/1099511627776 591019717787/1099511627776 -591019718637/1099511627776 
-591020483020/1099511627776 -54687870/1099511627776 -50501315/1099511627776 
-49226533/1099511627776 957727704494/1099511627776


--- Term 7 ---

Dimension of type : 2
Number of flags   : 16
Matrix dimension  : 12

Flags :
F1  : 00001000
F2  : 00011000
F3  : 00101000
F4  : 00111000
F5  : 01001000
F6  : 01011000
F7  : 01101000
F8  : 01111000
F9  : 10001000
F10 : 10011000
F11 : 10101000
F12 : 10111000
F13 : 11001000
F14 : 11011000
F15 : 11101000
F16 : 11111000

Basis :
B1  : (F1)
B2  : (F2)
B3  : (F3)+(F5)
B4  : (F4)+(F6)
B5  : (F7)
B6  : (F8)
B7  : (F9)
B8  : (F10)
B9  : (F11)+(F13)
B10 : (F12)+(F14)
B11 : (F15)
B12 : (F16)

Matrix :
5008030806769/1099511627776 1110514897257/1099511627776 1117091976614/1099511627776 
-1188750587737/1099511627776 -251502233255/1099511627776 833514452980/1099511627776 
-2153670118214/1099511627776 -3763152377129/1099511627776 -562999335677/1099511627776 
-1429099311800/1099511627776 603202544472/1099511627776 435385198102/1099511627776 
1110514897257/1099511627776 2587088885562/1099511627776 779266075596/1099511627776 
-1485158313867/1099511627776 -1073395572411/1099511627776 1358220562347/1099511627776 
-100523001561/1099511627776 -5661595180728/1099511627776 1452404389824/1099511627776 
-2552358192195/1099511627776 -44140063209/1099511627776 1721900113308/1099511627776 
1117091976614/1099511627776 779266075596/1099511627776 1926713654060/1099511627776 
-1339184571236/1099511627776 679553474996/1099511627776 739375413748/1099511627776 
-3974635761350/1099511627776 -2915144910318/1099511627776 -2484451126002/1099511627776 
-211740440740/1099511627776 -1133534236328/1099511627776 -1194353029200/1099511627776 
-1188750587737/1099511627776 -1485158313867/1099511627776 -1339184571236/1099511627776 
1399405231263/1099511627776 -74666692853/1099511627776 -1019767819035/1099511627776 
2162095195865/1099511627776 3504035178091/1099511627776 445014614553/1099511627776 
673640462606/1099511627776 2226686053052/1099511627776 665584780273/1099511627776 
-251502233255/1099511627776 -1073395572411/1099511627776 679553474996/1099511627776 
-74666692853/1099511627776 1460383999748/1099511627776 -225118490258/1099511627776 
-2315396020302/1099511627776 2651964657458/1099511627776 -1737243271467/1099511627776 
2654065320363/1099511627776 -4628150726621/1099511627776 -3580777013422/1099511627776 
833514452980/1099511627776 1358220562347/1099511627776 739375413748/1099511627776 
-1019767819035/1099511627776 -225118490258/1099511627776 834446533123/1099511627776 
-842641921817/1099511627776 -2869758702015/1099511627776 419176781782/1099511627776 
-794193914916/1099511627776 -1651530705972/1099511627776 -87305053889/1099511627776 
-2153670118214/1099511627776 -100523001561/1099511627776 -3974635761350/1099511627776 
2162095195865/1099511627776 -2315396020302/1099511627776 -842641921817/1099511627776 
9255201596246/1099511627776 3009668282396/1099511627776 6692920409998/1099511627776 
-1267153024111/1099511627776 2877389550863/1099511627776 4052627003085/1099511627776 
-3763152377129/1099511627776 -5661595180728/1099511627776 -2915144910318/1099511627776 
3504035178091/1099511627776 2651964657458/1099511627776 -2869758702015/1099511627776 
3009668282396/1099511627776 15740024413759/1099511627776 342072116883/1099511627776 
8251571116630/1099511627776 -8720925361368/1099511627776 -7012305085011/1099511627776 
-562999335677/1099511627776 1452404389824/1099511627776 -2484451126002/1099511627776 
445014614553/1099511627776 -1737243271467/1099511627776 419176781782/1099511627776 
6692920409998/1099511627776 342072116883/1099511627776 6782999210278/1099511627776 
-573084368676/1099511627776 -3921954073801/1099511627776 1210116605508/1099511627776 
-1429099311800/1099511627776 -2552358192195/1099511627776 -211740440740/1099511627776 
673640462606/1099511627776 2654065320363/1099511627776 -794193914916/1099511627776 
-1267153024111/1099511627776 8251571116630/1099511627776 -573084368676/1099511627776 
6532035416583/1099511627776 -12364969326656/1099511627776 -7867293161615/1099511627776 
603202544472/1099511627776 -44140063209/1099511627776 -1133534236328/1099511627776 
2226686053052/1099511627776 -4628150726621/1099511627776 -1651530705972/1099511627776 
2877389550863/1099511627776 -8720925361368/1099511627776 -3921954073801/1099511627776 
-12364969326656/1099511627776 38879433228379/1099511627776 18841375841186/1099511627776 
435385198102/1099511627776 1721900113308/1099511627776 -1194353029200/1099511627776 
665584780273/1099511627776 -3580777013422/1099511627776 -87305053889/1099511627776 
4052627003085/1099511627776 -7012305085011/1099511627776 1210116605508/1099511627776 
-7867293161615/1099511627776 18841375841186/1099511627776 7600613142109927489/1099511627776


--- Term 8 ---

Dimension of type : 2
Number of flags   : 8
Matrix dimension  : 4

Flags :
F1 : 00101000
F2 : 00111000
F3 : 01001000
F4 : 01011000
F5 : 10101000
F6 : 10111000
F7 : 11001000
F8 : 11011000

Basis :
B1 : (F3)-(F1)
B2 : (F4)-(F2)
B3 : (F7)-(F5)
B4 : (F8)-(F6)

Matrix :
1080784793664/1099511627776 -254570890176/1099511627776 -578818387728/1099511627776 
-1865286505368/1099511627776 -254570890176/1099511627776 98843037508/1099511627776 
1004912663306/1099511627776 555066797772/1099511627776 -578818387728/1099511627776 
1004912663306/1099511627776 19804082447229/1099511627776 3569831241884/1099511627776 
-1865286505368/1099511627776 555066797772/1099511627776 3569831241884/1099511627776 
3736136593823/1099511627776


--- Term 9 ---

Dimension of type : 2
Number of flags   : 15
Matrix dimension  : 9

Flags :
F1  : 00001100
F2  : 00011100
F3  : 00101100
F4  : 00111100
F5  : 01001100
F6  : 01011100
F7  : 01101100
F8  : 01111100
F9  : 10001100
F10 : 10011100
F11 : 10101100
F12 : 10111100
F13 : 11001100
F14 : 11011100
F15 : 11101100

Basis :
B1 : (F1)
B2 : (F2)+(F3)
B3 : (F4)
B4 : (F5)+(F9)
B5 : (F6)+(F11)
B6 : (F7)+(F10)
B7 : (F8)+(F12)
B8 : (F13)
B9 : (F14)+(F15)

Matrix :
6082221358656/1099511627776 2971173726000/1099511627776 -969151367736/1099511627776 
-1716207653592/1099511627776 878961848616/1099511627776 -1050467441688/1099511627776 
2013909519384/1099511627776 -711848883407932494216/1099511627776 
-774210375010755662040/1099511627776 2971173726000/1099511627776 2574872047541/1099511627776 
-784266590790/1099511627776 -682547581102/1099511627776 367392636617/1099511627776 
-1299586109664/1099511627776 2084579488697/1099511627776 -7041731015410167786/1099511627776 
-7252008079575878870/1099511627776 -969151367736/1099511627776 -784266590790/1099511627776 
255512386841/1099511627776 448739246737/1099511627776 -179207103171/1099511627776 
278108110473/1099511627776 -532000756049/1099511627776 -890081739767079469/1099511627776 
-1101065878382760235/1099511627776 -1716207653592/1099511627776 -682547581102/1099511627776 
448739246737/1099511627776 3670190757395/1099511627776 -1078988175293/1099511627776 
-1361001412866/1099511627776 938722229536/1099511627776 -33962560908626361838/1099511627776 
-35412327578542129624/1099511627776 878961848616/1099511627776 367392636617/1099511627776 
-179207103171/1099511627776 -1078988175293/1099511627776 499287245620/1099511627776 
297222279232/1099511627776 -125254789683/1099511627776 -208928695511979839086/1099511627776 
-259649023545882475848/1099511627776 -1050467441688/1099511627776 
-1299586109664/1099511627776 278108110473/1099511627776 -1361001412866/1099511627776 
297222279232/1099511627776 1489863570668/1099511627776 -1781376688543/1099511627776 
18952027579758694961/1099511627776 18673344457705142858/1099511627776 
2013909519384/1099511627776 2084579488697/1099511627776 -532000756049/1099511627776 
938722229536/1099511627776 -125254789683/1099511627776 -1781376688543/1099511627776 
2325367342259/1099511627776 -18668106112966405903/1099511627776 
-18198006824571658854/1099511627776 -711848883407932494216/1099511627776 
-7041731015410167786/1099511627776 -890081739767079469/1099511627776 
-33962560908626361838/1099511627776 -208928695511979839086/1099511627776 
18952027579758694961/1099511627776 -18668106112966405903/1099511627776 
512487861564001940305308666347/1099511627776 516711680665068946044169139333/1099511627776 
-774210375010755662040/1099511627776 -7252008079575878870/1099511627776 
-1101065878382760235/1099511627776 -35412327578542129624/1099511627776 
-259649023545882475848/1099511627776 18673344457705142858/1099511627776 
-18198006824571658854/1099511627776 516711680665068946044169139333/1099511627776 
695636385537681863724487619800/1099511627776


--- Term 10 ---

Dimension of type : 2
Number of flags   : 12
Matrix dimension  : 6

Flags :
F1  : 00011100
F2  : 00101100
F3  : 01001100
F4  : 01011100
F5  : 01101100
F6  : 01111100
F7  : 10001100
F8  : 10011100
F9  : 10101100
F10 : 10111100
F11 : 11011100
F12 : 11101100

Basis :
B1 : (F2)-(F1)
B2 : (F7)-(F3)
B3 : (F9)-(F4)
B4 : (F8)-(F5)
B5 : (F10)-(F6)
B6 : (F12)-(F11)

Matrix :
6429809989849/1099511627776 1882399841399/1099511627776 809248067687/1099511627776 
696994854504/1099511627776 -2898275065395/1099511627776 352175161763922087/1099511627776 
1882399841399/1099511627776 4570517437949/1099511627776 3138084869087/1099511627776 
42678767104/1099511627776 -3166358117045/1099511627776 -2276835075245741763/1099511627776 
809248067687/1099511627776 3138084869087/1099511627776 2400792594482/1099511627776 
182742434068/1099511627776 -2896760889941/1099511627776 8803552401962449623/1099511627776 
696994854504/1099511627776 42678767104/1099511627776 182742434068/1099511627776 
366296805305/1099511627776 -1374837779723/1099511627776 255862093562892254/1099511627776 
-2898275065395/1099511627776 -3166358117045/1099511627776 -2896760889941/1099511627776 
-1374837779723/1099511627776 7326433486836/1099511627776 1173306820369012215/1099511627776 
352175161763922087/1099511627776 -2276835075245741763/1099511627776 
8803552401962449623/1099511627776 255862093562892254/1099511627776 
1173306820369012215/1099511627776 81555498036544368887728460206/1099511627776


--- Term 11 ---

Dimension of type : 2
Number of flags   : 16
Matrix dimension  : 9

Flags :
F1  : 00000110
F2  : 00010110
F3  : 00100110
F4  : 00110110
F5  : 01000110
F6  : 01010110
F7  : 01100110
F8  : 01110110
F9  : 10000110
F10 : 10010110
F11 : 10100110
F12 : 10110110
F13 : 11000110
F14 : 11010110
F15 : 11100110
F16 : 11110110

Basis :
B1 : (F1)
B2 : (F2)+(F9)
B3 : (F3)+(F5)
B4 : (F4)+(F6)+(F11)+(F13)
B5 : (F7)
B6 : (F8)+(F15)
B7 : (F10)
B8 : (F12)+(F14)
B9 : (F16)

Matrix :
1377599858944/1099511627776 1053273890544/1099511627776 -1376101028720/1099511627776 
-993115281984/1099511627776 251511223344/1099511627776 -1631874000336/1099511627776 
-13014118656/1099511627776 1482848961408/1099511627776 -1062837295920/1099511627776 
1053273890544/1099511627776 806879279578/1099511627776 -1054144058581/1099511627776 
-760808840351/1099511627776 192724197788/1099511627776 -1250130677963/1099511627776 
-9966542523/1099511627776 1135941527164/1099511627776 -813143307145/1099511627776 
-1376101028720/1099511627776 -1054144058581/1099511627776 1377335205098/1099511627776 
993987770711/1099511627776 -251726096639/1099511627776 1633273901981/1099511627776 
13010737335/1099511627776 -1484085710854/1099511627776 1062359576164/1099511627776 
-993115281984/1099511627776 -760808840351/1099511627776 993987770711/1099511627776 
717391581827/1099511627776 -181813043411/1099511627776 1178762575210/1099511627776 
9388629998/1099511627776 -1071012550573/1099511627776 766898883710/1099511627776 
251511223344/1099511627776 192724197788/1099511627776 -251726096639/1099511627776 
-181813043411/1099511627776 46757297270/1099511627776 -298583567467/1099511627776 
-2339423855/1099511627776 270779827072/1099511627776 -195485020751/1099511627776 
-1631874000336/1099511627776 -1250130677963/1099511627776 1633273901981/1099511627776 
1178762575210/1099511627776 -298583567467/1099511627776 1936891975685/1099511627776 
15438175998/1099511627776 -1759968081924/1099511627776 1259843167557/1099511627776 
-13014118656/1099511627776 -9966542523/1099511627776 13010737335/1099511627776 
9388629998/1099511627776 -2339423855/1099511627776 15438175998/1099511627776 
126632770/1099511627776 -14062065454/1099511627776 9963087201/1099511627776 
1482848961408/1099511627776 1135941527164/1099511627776 -1484085710854/1099511627776 
-1071012550573/1099511627776 270779827072/1099511627776 -1759968081924/1099511627776 
-14062065454/1099511627776 1599606723069/1099511627776 -1143802239029/1099511627776 
-1062837295920/1099511627776 -813143307145/1099511627776 1062359576164/1099511627776 
766898883710/1099511627776 -195485020751/1099511627776 1259843167557/1099511627776 
9963087201/1099511627776 -1143802239029/1099511627776 6883438536731023059/1099511627776


--- Term 12 ---

Dimension of type : 2
Number of flags   : 12
Matrix dimension  : 7

Flags :
F1  : 00010110
F2  : 00100110
F3  : 00110110
F4  : 01000110
F5  : 01010110
F6  : 01110110
F7  : 10000110
F8  : 10100110
F9  : 10110110
F10 : 11000110
F11 : 11010110
F12 : 11100110

Basis :
B1 : (F7)-(F1)
B2 : (F4)-(F2)
B3 : (F5)-(F3)
B4 : (F8)-(F3)
B5 : (F10)-(F3)
B6 : (F12)-(F6)
B7 : (F11)-(F9)

Matrix :
826988353321/1099511627776 0/1099511627776 178914101249/1099511627776 
-178914101249/1099511627776 -178914101249/1099511627776 -399148110491/1099511627776 
0/1099511627776 0/1099511627776 1292773548004/1099511627776 -621513718250/1099511627776 
621513718250/1099511627776 -621513718250/1099511627776 0/1099511627776 
2596831840858/1099511627776 178914101249/1099511627776 -621513718250/1099511627776 
4136672142731/1099511627776 -306481370741/1099511627776 -3538879446981/1099511627776 
-88253779354/1099511627776 -1248862010075/1099511627776 -178914101249/1099511627776 
621513718250/1099511627776 -306481370741/1099511627776 4136672108995/1099511627776 
-291309726809/1099511627776 88253789544/1099511627776 1248862552015/1099511627776 
-178914101249/1099511627776 -621513718250/1099511627776 -3538879446981/1099511627776 
-291309726809/1099511627776 4136672159267/1099511627776 88253761250/1099511627776 
-1248865077679/1099511627776 -399148110491/1099511627776 0/1099511627776 
-88253779354/1099511627776 88253789544/1099511627776 88253761250/1099511627776 
192820493700/1099511627776 38602/1099511627776 0/1099511627776 2596831840858/1099511627776 
-1248862010075/1099511627776 1248862552015/1099511627776 -1248865077679/1099511627776 
38602/1099511627776 5218063657541/1099511627776


--- Term 13 ---

Dimension of type : 2
Number of flags   : 13
Matrix dimension  : 9

Flags :
F1  : 00001110
F2  : 00011110
F3  : 00101110
F4  : 00111110
F5  : 01001110
F6  : 01011110
F7  : 01101110
F8  : 10001110
F9  : 10011110
F10 : 10101110
F11 : 10111110
F12 : 11001110
F13 : 11011110

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)+(F5)
B4 : (F4)+(F6)
B5 : (F7)
B6 : (F8)
B7 : (F9)
B8 : (F10)+(F12)
B9 : (F11)+(F13)

Matrix :
9284720903056/1099511627776 787165398056/1099511627776 274307642932/1099511627776 
-221839903536/1099511627776 -528973782400/1099511627776 -3415546538532/1099511627776 
121895548336/1099511627776 -23973984155677236812/1099511627776 
-18845911936038093760/1099511627776 787165398056/1099511627776 66761858446/1099511627776 
23003083530/1099511627776 -18818606645/1099511627776 -44868674208/1099511627776 
-289758420660/1099511627776 10344016406/1099511627776 -1558613571652437830/1099511627776 
-1172365412751725157/1099511627776 274307642932/1099511627776 23003083530/1099511627776 
75732412584/1099511627776 -6211491263/1099511627776 -15567231642/1099511627776 
-94492714304/1099511627776 3678724366/1099511627776 -108024521853835944941/1099511627776 
-133472865282924520573/1099511627776 -221839903536/1099511627776 -18818606645/1099511627776 
-6211491263/1099511627776 5306073982/1099511627776 12647200845/1099511627776 
81704801093/1099511627776 -2915752351/1099511627776 -58579968025331863/1099511627776 
-341291424925839837/1099511627776 -528973782400/1099511627776 -44868674208/1099511627776 
-15567231642/1099511627776 12647200845/1099511627776 30157125081/1099511627776 
194738955882/1099511627776 -6953845128/1099511627776 1431835300079746849/1099511627776 
1316008213260625730/1099511627776 -3415546538532/1099511627776 -289758420660/1099511627776 
-94492714304/1099511627776 81704801093/1099511627776 194738955882/1099511627776 
1258158352624/1099511627776 -44898340696/1099511627776 -2094141430593192759/1099511627776 
-6326368629006943637/1099511627776 121895548336/1099511627776 10344016406/1099511627776 
3678724366/1099511627776 -2915752351/1099511627776 -6953845128/1099511627776 
-44898340696/1099511627776 1604645422/1099511627776 -496781053491367628/1099511627776 
-589364957819517055/1099511627776 -23973984155677236812/1099511627776 
-1558613571652437830/1099511627776 -108024521853835944941/1099511627776 
-58579968025331863/1099511627776 1431835300079746849/1099511627776 
-2094141430593192759/1099511627776 -496781053491367628/1099511627776 
269837266376260428752932906346/1099511627776 244412169092215520634184108530/1099511627776 
-18845911936038093760/1099511627776 -1172365412751725157/1099511627776 
-133472865282924520573/1099511627776 -341291424925839837/1099511627776 
1316008213260625730/1099511627776 -6326368629006943637/1099511627776 
-589364957819517055/1099511627776 244412169092215520634184108530/1099511627776 
394838240402697838037084828249/1099511627776


--- Term 14 ---

Dimension of type : 2
Number of flags   : 8
Matrix dimension  : 4

Flags :
F1 : 00101110
F2 : 00111110
F3 : 01001110
F4 : 01011110
F5 : 10101110
F6 : 10111110
F7 : 11001110
F8 : 11011110

Basis :
B1 : (F3)-(F1)
B2 : (F4)-(F2)
B3 : (F7)-(F5)
B4 : (F8)-(F6)

Matrix :
15898435921/1099511627776 -14626324/1099511627776 -10075728755493718533/1099511627776 
-11052233765005554043/1099511627776 -14626324/1099511627776 664437/1099511627776 
213726718364561031/1099511627776 -106258955673516194/1099511627776 
-10075728755493718533/1099511627776 213726718364561031/1099511627776 
378876048923076479131918897886/1099511627776 351932221279077439420234049893/1099511627776 
-11052233765005554043/1099511627776 -106258955673516194/1099511627776 
351932221279077439420234049893/1099511627776 500610184603772238044562095409/1099511627776


--- Term 15 ---

Dimension of type : 2
Number of flags   : 7
Matrix dimension  : 3

Flags :
F1 : 00001111
F2 : 00011111
F3 : 00101111
F4 : 01001111
F5 : 01101111
F6 : 10001111
F7 : 10011111

Basis :
B1 : (F1)
B2 : (F2)+(F3)+(F4)+(F6)
B3 : (F5)+(F7)

Matrix :
1441934578920086416/1099511627776 -60734988779370708/1099511627776 
-377082305306336344/1099511627776 -60734988779370708/1099511627776 
311066019996704325/1099511627776 -127660446480974214/1099511627776 
-377082305306336344/1099511627776 -127660446480974214/1099511627776 
465410996301127596/1099511627776


--- Term 16 ---

Dimension of type : 2
Number of flags   : 6
Matrix dimension  : 4

Flags :
F1 : 00011111
F2 : 00101111
F3 : 01001111
F4 : 01101111
F5 : 10001111
F6 : 10011111

Basis :
B1 : (F2)-(F1)
B2 : (F3)-(F1)
B3 : (F5)-(F1)
B4 : (F6)-(F4)

Matrix :
1953820649748074409/1099511627776 -1156603027362976311/1099511627776 
-398608809794757702/1099511627776 -157222755798204699/1099511627776 
-1156603027362976311/1099511627776 1953820650094894633/1099511627776 
-398608809940281558/1099511627776 -157222756535507499/1099511627776 
-398608809794757702/1099511627776 -398608809940281558/1099511627776 
1953820652090354060/1099511627776 157222754362946172/1099511627776 
-157222755798204699/1099511627776 -157222756535507499/1099511627776 
157222754362946172/1099511627776 900255433128377786/1099511627776

