#This file contains all the data needed to show $\pi_{cv}(B_3)$ is at most 0.76900 (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 : 1
Forbidden hypercubes           :
11111111
Number of terms                : 18


--- 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 :
176595774289/1099511627776 -43261306418/1099511627776 -85123657179/1099511627776 
15188481319/1099511627776 -29167111831/1099511627776 14638816555/1099511627776 
-43261306418/1099511627776 154859592040/1099511627776 2449729044/1099511627776 
-148733770406/1099511627776 124672256762/1099511627776 -62573378582/1099511627776 
-85123657179/1099511627776 2449729044/1099511627776 128809398834/1099511627776 
-28545514509/1099511627776 12687205035/1099511627776 -6367567869/1099511627776 
15188481319/1099511627776 -148733770406/1099511627776 -28545514509/1099511627776 
212835806010/1099511627776 -220807263172/1099511627776 110823827948/1099511627776 
-29167111831/1099511627776 124672256762/1099511627776 12687205035/1099511627776 
-220807263172/1099511627776 434679756662/1099511627776 -218167195234/1099511627776 
14638816555/1099511627776 -62573378582/1099511627776 -6367567869/1099511627776 
110823827948/1099511627776 -218167195234/1099511627776 109498830684/1099511627776


--- Term 2 ---

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

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

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

Matrix :
267119450896/1099511627776 -135952676128/1099511627776 27636254592/1099511627776 
55273026020/1099511627776 -73808315488/1099511627776 -135952676128/1099511627776 
108750289073/1099511627776 -31004709559/1099511627776 -62009881053/1099511627776 
82803996917/1099511627776 27636254592/1099511627776 -31004709559/1099511627776 
25764274370/1099511627776 51529062696/1099511627776 -68808517337/1099511627776 
55273026020/1099511627776 -62009881053/1099511627776 51529062696/1099511627776 
103059153315/1099511627776 -137618407295/1099511627776 -73808315488/1099511627776 
82803996917/1099511627776 -68808517337/1099511627776 -137618407295/1099511627776 
183766559469/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 :
 74894721561/1099511627776 -20939236197/1099511627776 -13960129359/1099511627776 
-20939236197/1099511627776  23575173569/1099511627776 -17232191517/1099511627776 
-13960129359/1099511627776  -17232191517/1099511627776 54514515834/1099511627776


--- Term 4 ---

Dimension of type : 1
Number of flags   : 2
Matrix dimension  : 1

Flags :
F1 : 0100
F2 : 1000

Basis :
B1 : (F2)-(F1)

Matrix :
34743096025/1099511627776


--- Term 5 ---

Dimension of type : 1
Number of flags   : 2
Matrix dimension  : 2

Flags :
F1 : 0010
F2 : 1010

Basis :
B1 : (F1)
B2 : (F2)

Matrix :
 92261632516/1099511627776 -63338330904/1099511627776
-63338330904/1099511627776  83467459945/1099511627776


--- Term 6 ---

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 :
49118527129/1099511627776  -8129499987/1099511627776  10855512087/1099511627776 
-8129499987/1099511627776  22880764762/1099511627776 -30553606101/1099511627776 
10855512087/1099511627776 -30553606101/1099511627776  40799459961/1099511627776


--- Term 7 ---

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 :
294641610481/1099511627776 -17223872379/1099511627776 -19458617032/1099511627776 
-84053430841/1099511627776 -44032666080/1099511627776 -35409602306/1099511627776 
-17223872379/1099511627776 167008505850/1099511627776 -34188170511/1099511627776 
-50687645592/1099511627776 -62914317102/1099511627776 -64835447742/1099511627776 
-19458617032/1099511627776 -34188170511/1099511627776 199755757637/1099511627776 
-3921495175/1099511627776 -48706686094/1099511627776 -32060789096/1099511627776 
-84053430841/1099511627776 -50687645592/1099511627776 -3921495175/1099511627776 
477696350375/1099511627776 -52656165988/1099511627776 -109194361706/1099511627776 
-44032666080/1099511627776 -62914317102/1099511627776 -48706686094/1099511627776 
-52656165988/1099511627776 246611706905/1099511627776 -37329180104/1099511627776 
-35409602306/1099511627776 -64835447742/1099511627776 -32060789096/1099511627776 
-109194361706/1099511627776 -37329180104/1099511627776 814159496873/1099511627776


--- Term 8 ---

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 :
807365146225/1099511627776 -422591792920/1099511627776 -192385328850/1099511627776 
15611147090/1099511627776 -15615639765/1099511627776 15612944160/1099511627776 
31303162330/1099511627776 -120560035090/1099511627776 -4616672830/1099511627776 
62586556890/1099511627776 -422591792920/1099511627776 807364299268/1099511627776 
-192382364934/1099511627776 -15610710794/1099511627776 15615359208/1099511627776 
-15613182654/1099511627776 31304084528/1099511627776 -4616801048/1099511627776 
-120560162576/1099511627776 62587891200/1099511627776 -192385328850/1099511627776 
-192382364934/1099511627776 807371258278/1099511627776 15614214654/1099511627776 
-15609587235/1099511627776 -15612025407/1099511627776 -31305550083/1099511627776 
62586901883/1099511627776 62587446252/1099511627776 -120560102586/1099511627776 
15611147090/1099511627776 -15610710794/1099511627776 15614214654/1099511627776 
1414827637310/1099511627776 -528305945225/1099511627776 -443258524097/1099511627776 
-36817/1099511627776 1813900813/1099511627776 -1814055920/1099511627776 
1814872546/1099511627776 -15615639765/1099511627776 15615359208/1099511627776 
-15609587235/1099511627776 -528305945225/1099511627776 1414828734554/1099511627776 
-443258047868/1099511627776 49473/1099511627776 -1814565529/1099511627776 
1814669962/1099511627776 -1813408892/1099511627776 15612944160/1099511627776 
-15613182654/1099511627776 -15612025407/1099511627776 -443258524097/1099511627776 
-443258047868/1099511627776 1414824607365/1099511627776 27740/1099511627776 
1814719438/1099511627776 -1814615198/1099511627776 -1814205064/1099511627776 
31303162330/1099511627776 31304084528/1099511627776 -31305550083/1099511627776 
-36817/1099511627776 49473/1099511627776 27740/1099511627776 725590571238/1099511627776 
-26840266468/1099511627776 -26840359839/1099511627776 26841189502/1099511627776 
-120560035090/1099511627776 -4616801048/1099511627776 62586901883/1099511627776 
1813900813/1099511627776 -1814565529/1099511627776 1814719438/1099511627776 
-26840266468/1099511627776 1187630064289/1099511627776 -593942576119/1099511627776 
-296842701959/1099511627776 -4616672830/1099511627776 -120560162576/1099511627776 
62587446252/1099511627776 -1814055920/1099511627776 1814669962/1099511627776 
-1814615198/1099511627776 -26840359839/1099511627776 -593942576119/1099511627776 
1187629510867/1099511627776 -296842524328/1099511627776 62586556890/1099511627776 
62587891200/1099511627776 -120560102586/1099511627776 1814872546/1099511627776 
-1813408892/1099511627776 -1814205064/1099511627776 26841189502/1099511627776 
-296842701959/1099511627776 -296842524328/1099511627776 1187629322394/1099511627776


--- Term 9 ---

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 :
2203039621696/1099511627776 122536383048/1099511627776 -60587656480/1099511627776 
90700404512/1099511627776 -552592971464/1099511627776 -288310860680/1099511627776 
-306721671336/1099511627776 -334664425400/1099511627776 -131357364000/1099511627776 
-11819194232/1099511627776 -127116821752/1099511627776 -23944146848/1099511627776 
122536383048/1099511627776 1412823463753/1099511627776 -85367099044/1099511627776 
-6148605724/1099511627776 -260907117385/1099511627776 -442877360665/1099511627776 
-256622541061/1099511627776 -244042595303/1099511627776 -9751315124/1099511627776 
-49706032871/1099511627776 -12266394415/1099511627776 -150589528276/1099511627776 
-60587656480/1099511627776 -85367099044/1099511627776 677769584468/1099511627776 
-105131163568/1099511627776 -90333012096/1099511627776 74669145408/1099511627776 
-95214173462/1099511627776 -68829821642/1099511627776 -175577499484/1099511627776 
-182833788830/1099511627776 -19416264904/1099511627776 42861063720/1099511627776 
90700404512/1099511627776 -6148605724/1099511627776 -105131163568/1099511627776 
903858836881/1099511627776 -98208510307/1099511627776 3273896775/1099511627776 
-80257583123/1099511627776 -181703073413/1099511627776 -212538669345/1099511627776 
-234696858957/1099511627776 -5788510125/1099511627776 -55858771852/1099511627776 
-552592971464/1099511627776 -260907117385/1099511627776 -90333012096/1099511627776 
-98208510307/1099511627776 1099419057154/1099511627776 52689119178/1099511627776 
-318250658252/1099511627776 -107523293992/1099511627776 -17917078713/1099511627776 
25673431690/1099511627776 5155596638/1099511627776 -3939205072/1099511627776 
-288310860680/1099511627776 -442877360665/1099511627776 74669145408/1099511627776 
3273896775/1099511627776 52689119178/1099511627776 1545040499089/1099511627776 
-206422702813/1099511627776 -311576256609/1099511627776 -52484940743/1099511627776 
-176732093451/1099511627776 -44316934788/1099511627776 -116290949403/1099511627776 
-306721671336/1099511627776 -256622541061/1099511627776 -95214173462/1099511627776 
-80257583123/1099511627776 -318250658252/1099511627776 -206422702813/1099511627776 
3576294225177/1099511627776 -238685758507/1099511627776 -49727160760/1099511627776 
-61241856937/1099511627776 -105522811962/1099511627776 -18378236804/1099511627776 
-334664425400/1099511627776 -244042595303/1099511627776 -68829821642/1099511627776 
-181703073413/1099511627776 -107523293992/1099511627776 -311576256609/1099511627776 
-238685758507/1099511627776 2725005163733/1099511627776 70590697324/1099511627776 
8547193865/1099511627776 12277122258/1099511627776 -279568811100/1099511627776 
-131357364000/1099511627776 -9751315124/1099511627776 -175577499484/1099511627776 
-212538669345/1099511627776 -17917078713/1099511627776 -52484940743/1099511627776 
-49727160760/1099511627776 70590697324/1099511627776 851840709096/1099511627776 
-149054703665/1099511627776 -13390594381/1099511627776 -68359998596/1099511627776 
-11819194232/1099511627776 -49706032871/1099511627776 -182833788830/1099511627776 
-234696858957/1099511627776 25673431690/1099511627776 -176732093451/1099511627776 
-61241856937/1099511627776 8547193865/1099511627776 -149054703665/1099511627776 
1004031379409/1099511627776 -1051210384/1099511627776 -70479789823/1099511627776 
-127116821752/1099511627776 -12266394415/1099511627776 -19416264904/1099511627776 
-5788510125/1099511627776 5155596638/1099511627776 -44316934788/1099511627776 
-105522811962/1099511627776 12277122258/1099511627776 -13390594381/1099511627776 
-1051210384/1099511627776 216063282794/1099511627776 -91653074572/1099511627776 
-23944146848/1099511627776 -150589528276/1099511627776 42861063720/1099511627776 
-55858771852/1099511627776 -3939205072/1099511627776 -116290949403/1099511627776 
-18378236804/1099511627776 -279568811100/1099511627776 -68359998596/1099511627776 
-70479789823/1099511627776 -91653074572/1099511627776 1019494236653/1099511627776


--- Term 10 ---

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 :
2263727875761/1099511627776 190176017031/1099511627776 614634491328/1099511627776 
-290177195616/1099511627776 190176017031/1099511627776 1936881232290/1099511627776 
28372052193/1099511627776 -44294162526/1099511627776 614634491328/1099511627776 
28372052193/1099511627776 2236356854330/1099511627776 -135358391073/1099511627776 
-290177195616/1099511627776 -44294162526/1099511627776 -135358391073/1099511627776 
2570177052862/1099511627776


--- Term 11 ---

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

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
F16 : 11111100

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)
B10 : (F16)

Matrix :
3802698902601/1099511627776 26218435695/1099511627776 299280177123/1099511627776 
370724195610/1099511627776 193526961342/1099511627776 313423897026/1099511627776 
466836359247/1099511627776 -1857390426633/1099511627776 -993728439141/1099511627776 
-842131474401/1099511627776 26218435695/1099511627776 1394927596061/1099511627776 
249525384263/1099511627776 -40025890714/1099511627776 -32222454826/1099511627776 
2478648456/1099511627776 218489097991/1099511627776 -897579675873/1099511627776 
-602988878339/1099511627776 -253468945453/1099511627776 299280177123/1099511627776 
249525384263/1099511627776 1404114791142/1099511627776 430506075590/1099511627776 
339301399800/1099511627776 369095356083/1099511627776 523872805108/1099511627776 
-1982622277932/1099511627776 -1155593771179/1099511627776 -653841868610/1099511627776 
370724195610/1099511627776 -40025890714/1099511627776 430506075590/1099511627776 
2116935256148/1099511627776 304644577148/1099511627776 628343593512/1099511627776 
593502968354/1099511627776 -2410175262774/1099511627776 -1478794597462/1099511627776 
-823940401202/1099511627776 193526961342/1099511627776 -32222454826/1099511627776 
339301399800/1099511627776 304644577148/1099511627776 1563639307324/1099511627776 
373464988146/1099511627776 483746392108/1099511627776 -1683899974236/1099511627776 
-1149113753134/1099511627776 -476209531036/1099511627776 313423897026/1099511627776 
2478648456/1099511627776 369095356083/1099511627776 628343593512/1099511627776 
373464988146/1099511627776 1276863659368/1099511627776 594671749445/1099511627776 
-2143733591885/1099511627776 -1378059720192/1099511627776 -649810769908/1099511627776 
466836359247/1099511627776 218489097991/1099511627776 523872805108/1099511627776 
593502968354/1099511627776 483746392108/1099511627776 594671749445/1099511627776 
1149626372721/1099511627776 -2321783356875/1099511627776 -1584357202171/1099511627776 
-771309584897/1099511627776 -1857390426633/1099511627776 -897579675873/1099511627776 
-1982622277932/1099511627776 -2410175262774/1099511627776 -1683899974236/1099511627776 
-2143733591885/1099511627776 -2321783356875/1099511627776 8830500112849/1099511627776 
4436368167643/1099511627776 1975112944195/1099511627776 -993728439141/1099511627776 
-602988878339/1099511627776 -1155593771179/1099511627776 -1478794597462/1099511627776 
-1149113753134/1099511627776 -1378059720192/1099511627776 -1584357202171/1099511627776 
4436368167643/1099511627776 3440941920749/1099511627776 1295599363245/1099511627776 
-842131474401/1099511627776 -253468945453/1099511627776 -653841868610/1099511627776 
-823940401202/1099511627776 -476209531036/1099511627776 -649810769908/1099511627776 
-771309584897/1099511627776 1975112944195/1099511627776 1295599363245/1099511627776 
1532894105584/1099511627776


--- Term 12 ---

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 :
1816082359641/1099511627776 256264956981/1099511627776 257216377407/1099511627776 
26274566637/1099511627776 129430911324/1099511627776 -31073445018/1099511627776 
256264956981/1099511627776 2890439676442/1099511627776 830734084539/1099511627776 
299005078285/1099511627776 676910330700/1099511627776 -326713617606/1099511627776 
257216377407/1099511627776 830734084539/1099511627776 2989206935042/1099511627776 
346957823427/1099511627776 541429817307/1099511627776 -285331553564/1099511627776 
26274566637/1099511627776 299005078285/1099511627776 346957823427/1099511627776 
1095318705989/1099511627776 352623316882/1099511627776 -258409806016/1099511627776 
129430911324/1099511627776 676910330700/1099511627776 541429817307/1099511627776 
352623316882/1099511627776 1126841091222/1099511627776 -357492272985/1099511627776 
-31073445018/1099511627776 -326713617606/1099511627776 -285331553564/1099511627776 
-258409806016/1099511627776 -357492272985/1099511627776 749183253906/1099511627776


--- Term 13 ---

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

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

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

Matrix :
1754543966464/1099511627776 -84862635664/1099511627776 -205150159776/1099511627776 
-5663955392/1099511627776 -320945992416/1099511627776 -54312245776/1099511627776 
-29048302560/1099511627776 -84862635664/1099511627776 348832088714/1099511627776 
-43449764079/1099511627776 -33745238543/1099511627776 -84085321054/1099511627776 
-106670589589/1099511627776 -19411294980/1099511627776 -205150159776/1099511627776 
-43449764079/1099511627776 826714371222/1099511627776 -77547069807/1099511627776 
-156880566324/1099511627776 7601999709/1099511627776 -10995945999/1099511627776 
-5663955392/1099511627776 -33745238543/1099511627776 -77547069807/1099511627776 
147435125229/1099511627776 -31529318420/1099511627776 -44703073508/1099511627776 
-4535169936/1099511627776 -320945992416/1099511627776 -84085321054/1099511627776 
-156880566324/1099511627776 -31529318420/1099511627776 1050438746097/1099511627776 
-20152389898/1099511627776 -37452392666/1099511627776 -54312245776/1099511627776 
-106670589589/1099511627776 7601999709/1099511627776 -44703073508/1099511627776 
-20152389898/1099511627776 313421559007/1099511627776 -16809397375/1099511627776 
-29048302560/1099511627776 -19411294980/1099511627776 -10995945999/1099511627776 
-4535169936/1099511627776 -37452392666/1099511627776 -16809397375/1099511627776 
75408306869/1099511627776


--- Term 14 ---

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

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

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

Matrix :
923620946704/1099511627776 1922104/1099511627776 -92071664756/1099511627776 
92076470016/1099511627776 92073586860/1099511627776 -17171116084/1099511627776 
1922104/1099511627776 1954580151973/1099511627776 3413878240/1099511627776 
-3412480167/1099511627776 3412863393/1099511627776 -35734/1099511627776 
-92071664756/1099511627776 3413878240/1099511627776 1423585367969/1099511627776 
-395103204602/1099511627776 -508205176095/1099511627776 37599606537/1099511627776 
92076470016/1099511627776 -3412480167/1099511627776 -395103204602/1099511627776 
1423587179282/1099511627776 -520275076753/1099511627776 -37599816920/1099511627776 
92073586860/1099511627776 3412863393/1099511627776 -508205176095/1099511627776 
-520275076753/1099511627776 1423585241180/1099511627776 -37600251758/1099511627776 
-17171116084/1099511627776 -35734/1099511627776 37599606537/1099511627776 
-37599816920/1099511627776 -37600251758/1099511627776 579344439854/1099511627776


--- Term 15 ---

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

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

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 :
3412358424049/1099511627776 -208071333966/1099511627776 -268537597347/1099511627776 
96873851594/1099511627776 -612626158737/1099511627776 13281777830/1099511627776 
69083717286/1099511627776 65311618492/1099511627776 -173970969746/1099511627776 
25965044392/1099511627776 -554057028295/1099511627776 -68636681092/1099511627776 
-208071333966/1099511627776 1852255997293/1099511627776 -183805764046/1099511627776 
55175680056/1099511627776 -331771708934/1099511627776 42566186947/1099511627776 
-210742728042/1099511627776 -37020711341/1099511627776 -63640292537/1099511627776 
-50258385344/1099511627776 -192005772988/1099511627776 21019660012/1099511627776 
-268537597347/1099511627776 -183805764046/1099511627776 2498524219549/1099511627776 
705444981498/1099511627776 1455574243061/1099511627776 1472642540516/1099511627776 
-372157986282/1099511627776 -92681906590/1099511627776 -1446951656986/1099511627776 
-1095053713558/1099511627776 -1571024884331/1099511627776 -435103990672/1099511627776 
96873851594/1099511627776 55175680056/1099511627776 705444981498/1099511627776 
1172470231812/1099511627776 854057989402/1099511627776 1119483431756/1099511627776 
-273450062756/1099511627776 -61573213168/1099511627776 -1079108449648/1099511627776 
-827632780780/1099511627776 -1226322150942/1099511627776 -339449935904/1099511627776 
-612626158737/1099511627776 -331771708934/1099511627776 1455574243061/1099511627776 
854057989402/1099511627776 3888410686260/1099511627776 1828584563309/1099511627776 
-500838408901/1099511627776 -105944307779/1099511627776 -1623999453801/1099511627776 
-1354779702011/1099511627776 -2188901575816/1099511627776 -549211055865/1099511627776 
13281777830/1099511627776 42566186947/1099511627776 1472642540516/1099511627776 
1119483431756/1099511627776 1828584563309/1099511627776 1939861856207/1099511627776 
-410862059313/1099511627776 -94753666877/1099511627776 -1510075573016/1099511627776 
-1427667920760/1099511627776 -1903658524476/1099511627776 -599886977275/1099511627776 
69083717286/1099511627776 -210742728042/1099511627776 -372157986282/1099511627776 
-273450062756/1099511627776 -500838408901/1099511627776 -410862059313/1099511627776 
1660116656171/1099511627776 343489172091/1099511627776 84116191168/1099511627776 
477615904170/1099511627776 -712705127173/1099511627776 -189347859989/1099511627776 
65311618492/1099511627776 -37020711341/1099511627776 -92681906590/1099511627776 
-61573213168/1099511627776 -105944307779/1099511627776 -94753666877/1099511627776 
343489172091/1099511627776 138893445822/1099511627776 9284927753/1099511627776 
142483552462/1099511627776 -188660535018/1099511627776 -102050507128/1099511627776 
-173970969746/1099511627776 -63640292537/1099511627776 -1446951656986/1099511627776 
-1079108449648/1099511627776 -1623999453801/1099511627776 -1510075573016/1099511627776 
84116191168/1099511627776 9284927753/1099511627776 1990941440263/1099511627776 
1076425812292/1099511627776 1785195594138/1099511627776 530056409145/1099511627776 
25965044392/1099511627776 -50258385344/1099511627776 -1095053713558/1099511627776 
-827632780780/1099511627776 -1354779702011/1099511627776 -1427667920760/1099511627776 
477615904170/1099511627776 142483552462/1099511627776 1076425812292/1099511627776 
1090128660065/1099511627776 1248420396647/1099511627776 370324989280/1099511627776 
-554057028295/1099511627776 -192005772988/1099511627776 -1571024884331/1099511627776 
-1226322150942/1099511627776 -2188901575816/1099511627776 -1903658524476/1099511627776 
-712705127173/1099511627776 -188660535018/1099511627776 1785195594138/1099511627776 
1248420396647/1099511627776 4113273089409/1099511627776 864227782481/1099511627776 
-68636681092/1099511627776 21019660012/1099511627776 -435103990672/1099511627776 
-339449935904/1099511627776 -549211055865/1099511627776 -599886977275/1099511627776 
-189347859989/1099511627776 -102050507128/1099511627776 530056409145/1099511627776 
370324989280/1099511627776 864227782481/1099511627776 314013021786/1099511627776


--- Term 16 ---

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 :
5021368387281/1099511627776 900096531198/1099511627776 -870629472048/1099511627776 
-719480264916/1099511627776 900096531198/1099511627776 1497285892925/1099511627776 
-635104569837/1099511627776 -557552870386/1099511627776 -870629472048/1099511627776 
-635104569837/1099511627776 5044900990769/1099511627776 2647624535202/1099511627776 
-719480264916/1099511627776 -557552870386/1099511627776 2647624535202/1099511627776 
2205598571816/1099511627776


--- Term 17 ---

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

Flags :
F1  : 00001111
F2  : 00011111
F3  : 00101111
F4  : 00111111
F5  : 01001111
F6  : 01011111
F7  : 01101111
F8  : 01111111
F9  : 10001111
F10 : 10011111
F11 : 10101111
F12 : 10111111
F13 : 11001111
F14 : 11011111
F15 : 11101111

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

Matrix :
1297694618896/1099511627776 -118482169312/1099511627776 -45558585852/1099511627776 
-205227229584/1099511627776 34409587784/1099511627776 -118482169312/1099511627776 
215414665040/1099511627776 -53206399356/1099511627776 -813587328/1099511627776 
136326380/1099511627776 -45558585852/1099511627776 -53206399356/1099511627776 
94047263595/1099511627776 7531758663/1099511627776 -1262740941/1099511627776 
-205227229584/1099511627776 -813587328/1099511627776 7531758663/1099511627776 
705685783253/1099511627776 -118320914588/1099511627776 34409587784/1099511627776 
136326380/1099511627776 -1262740941/1099511627776 -118320914588/1099511627776 
19838629545/1099511627776


--- Term 18 ---

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

Flags :
F1  : 00011111
F2  : 00101111
F3  : 00111111
F4  : 01001111
F5  : 01011111
F6  : 01111111
F7  : 10001111
F8  : 10101111
F9  : 10111111
F10 : 11001111
F11 : 11011111
F12 : 11101111

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

Matrix :
1386414406521/1099511627776 -792984659670/1099511627776 -296714284695/1099511627776 
-64521330417/1099511627776 64520152956/1099511627776 -64522507878/1099511627776 
108208665900/1099511627776 -108208665900/1099511627776 -1177461/1099511627776 
-792984659670/1099511627776 1386412609864/1099511627776 -296713345990/1099511627776 
64521421738/1099511627776 -64519782426/1099511627776 64522095208/1099511627776 
-108207880268/1099511627776 108207880268/1099511627776 673470/1099511627776 
-296714284695/1099511627776 -296713345990/1099511627776 1386409099650/1099511627776 
-64512137465/1099511627776 64512950425/1099511627776 64513344415/1099511627776 
-394820/1099511627776 394820/1099511627776 108189537280/1099511627776 
-64521330417/1099511627776 64521421738/1099511627776 -64512137465/1099511627776 
1178279173566/1099511627776 -415874251364/1099511627776 -381183516907/1099511627776 
-227092462224/1099511627776 227092462224/1099511627776 -227053593577/1099511627776 
64520152956/1099511627776 -64519782426/1099511627776 64512950425/1099511627776 
-415874251364/1099511627776 1178279482566/1099511627776 -381218914219/1099511627776 
227088998522/1099511627776 -227088998522/1099511627776 227051008585/1099511627776 
-64522507878/1099511627776 64522095208/1099511627776 64513344415/1099511627776 
-381183516907/1099511627776 -381218914219/1099511627776 1178282751599/1099511627776 
-227094566783/1099511627776 227094566783/1099511627776 227051679283/1099511627776 
108208665900/1099511627776 -108207880268/1099511627776 -394820/1099511627776 
-227092462224/1099511627776 227088998522/1099511627776 -227094566783/1099511627776 
397567452254/1099511627776 -397567452254/1099511627776 4586856/1099511627776 
-108208665900/1099511627776 108207880268/1099511627776 394820/1099511627776 
227092462224/1099511627776 -227088998522/1099511627776 227094566783/1099511627776 
-397567452254/1099511627776 397567452254/1099511627776 -4586856/1099511627776 
-1177461/1099511627776 673470/1099511627776 108189537280/1099511627776 
-227053593577/1099511627776 227051008585/1099511627776 227051679283/1099511627776 
4586856/1099511627776 -4586856/1099511627776 397458259682/1099511627776

