#This file contains all the data needed to show $\pi_{ce}(B_1,B_2)$ is at most 0.37550 (see
#Section 2.5.2). The calculation can be verified using the program
#"HypercubeEdgeDensityChecker".

Program                        : HypercubeEdgeDensityChecker

Dimension of subcubes H        : 3
Number of forbidden hypercubes : 2
Forbidden hypercubes           :
3 : {01, 13, 32, 26, 64, 40}
3 : {51, 13, 32, 26, 64, 45}
Number of terms                : 5


--- Term 1 ---

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

Flags :
F1 : {}
F2 : {01}

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

Matrix :
 47017417225/1099511627776 -78196338710/1099511627776
-78196338710/1099511627776 130051111876/1099511627776


--- Term 2 ---

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

Flags :
F1 : {}
F2 : {02}
F3 : {13}
F4 : {02, 13}
F5 : {23}
F6 : {02, 23}
F7 : {13, 23}
F8 : {02, 13, 23}

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

Matrix :
365845941904/1099511627776 -72793333348/1099511627776 -589709530180/1099511627776 
566849753692/1099511627776 -220119554396/1099511627776 -251484340605444348/1099511627776 
-72793333348/1099511627776 29699104301/1099511627776 138058492735/1099511627776 
-49740077229/1099511627776 12802134427/1099511627776 -77074034881028799/1099511627776 
-589709530180/1099511627776 138058492735/1099511627776 1057991594150/1099511627776 
-828461428380/1099511627776 313004255011/1099511627776 -63934210982885422908/1099511627776 
566849753692/1099511627776 -49740077229/1099511627776 -828461428380/1099511627776 
1139547030627/1099511627776 -469499482423/1099511627776 -234549463191453663/1099511627776 
-220119554396/1099511627776 12802134427/1099511627776 313004255011/1099511627776 
-469499482423/1099511627776 195585448854/1099511627776 -33772656194336760/1099511627776 
-251484340605444348/1099511627776 -77074034881028799/1099511627776 
-63934210982885422908/1099511627776 -234549463191453663/1099511627776 
-33772656194336760/1099511627776 69090603733432141809506503524/1099511627776


--- Term 3 ---

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

Flags :
F1 : {02}
F2 : {13}
F3 : {02, 23}
F4 : {13, 23}

Basis :
B1 : (F2)-(F1)
B2 : (F4)-(F3)

Matrix :
 337499416809/1099511627776 -113553643461/1099511627776
-113553643461/1099511627776  902414002753/1099511627776


--- Term 4 ---

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

Flags :
F1 : {01}
F2 : {01, 02}
F3 : {01, 13}
F4 : {01, 02, 13}
F5 : {01, 23}
F6 : {01, 02, 23}
F7 : {01, 13, 23}
F8 : {01, 02, 13, 23}

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

Matrix :
497625841476/1099511627776 -164994908844/1099511627776 -1782057037164/1099511627776 
459266891874/1099511627776 -69173368134/1099511627776 -49116822006432480/1099511627776 
-164994908844/1099511627776 54706428038/1099511627776 620854991525/1099511627776 
-152250381146/1099511627776 56805229701/1099511627776 -10011765008880712/1099511627776 
-1782057037164/1099511627776 620854991525/1099511627776 113542904019466777/1099511627776 
29288480011751/1099511627776 6283121390331967/1099511627776 
-31261713961242002771031/1099511627776 459266891874/1099511627776 -152250381146/1099511627776
29288480011751/1099511627776 461551470015/1099511627776 34754447026856/1099511627776 
-27970845364560412906/1099511627776 -69173368134/1099511627776 56805229701/1099511627776 
6283121390331967/1099511627776 34754447026856/1099511627776 73612509683847698/1099511627776 
-35135856280513311637793/1099511627776 -49116822006432480/1099511627776 
-10011765008880712/1099511627776 -31261713961242002771031/1099511627776 
-27970845364560412906/1099511627776 -35135856280513311637793/1099511627776 
27976868294860679936419077679/1099511627776


--- Term 5 ---

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

Flags :
F1 : {01, 02}
F2 : {01, 13}
F3 : {01, 02, 23}
F4 : {01, 13, 23}

Basis :
B1 : (F2)-(F1)
B2 : (F4)-(F3)

Matrix :
 368001170161/1099511627776     1422776574994/1099511627776
1422776574994/1099511627776 88263683110887245/1099511627776

