# N_4(d) = prod_{eps in {+-1}^4} (2 - sum eps_j sqrt(1-4 d_j)); monomial exponents (d1,d2,d3,d4) : coefficient
(0, 0, 0, 4) : 3145728
(0, 0, 0, 5) : 5242880
(0, 0, 0, 6) : 3145728
(0, 0, 0, 7) : 786432
(0, 0, 0, 8) : 65536
(0, 0, 1, 4) : -7340032
(0, 0, 1, 5) : -9437184
(0, 0, 1, 6) : -3932160
(0, 0, 1, 7) : -524288
(0, 0, 2, 2) : -6291456
(0, 0, 2, 3) : 2097152
(0, 0, 2, 4) : 9437184
(0, 0, 2, 5) : 7077888
(0, 0, 2, 6) : 1835008
(0, 0, 3, 2) : 2097152
(0, 0, 3, 3) : -6291456
(0, 0, 3, 4) : -3932160
(0, 0, 3, 5) : -3670016
(0, 0, 4, 0) : 3145728
(0, 0, 4, 1) : -7340032
(0, 0, 4, 2) : 9437184
(0, 0, 4, 3) : -3932160
(0, 0, 4, 4) : 4587520
(0, 0, 5, 0) : 5242880
(0, 0, 5, 1) : -9437184
(0, 0, 5, 2) : 7077888
(0, 0, 5, 3) : -3670016
(0, 0, 6, 0) : 3145728
(0, 0, 6, 1) : -3932160
(0, 0, 6, 2) : 1835008
(0, 0, 7, 0) : 786432
(0, 0, 7, 1) : -524288
(0, 0, 8, 0) : 65536
(0, 1, 0, 4) : -7340032
(0, 1, 0, 5) : -9437184
(0, 1, 0, 6) : -3932160
(0, 1, 0, 7) : -524288
(0, 1, 1, 4) : 19922944
(0, 1, 1, 5) : 15204352
(0, 1, 1, 6) : 2621440
(0, 1, 2, 2) : 14680064
(0, 1, 2, 3) : -10485760
(0, 1, 2, 4) : -25427968
(0, 1, 2, 5) : -4718592
(0, 1, 3, 2) : -10485760
(0, 1, 3, 3) : 28311552
(0, 1, 3, 4) : 2621440
(0, 1, 4, 0) : -7340032
(0, 1, 4, 1) : 19922944
(0, 1, 4, 2) : -25427968
(0, 1, 4, 3) : 2621440
(0, 1, 5, 0) : -9437184
(0, 1, 5, 1) : 15204352
(0, 1, 5, 2) : -4718592
(0, 1, 6, 0) : -3932160
(0, 1, 6, 1) : 2621440
(0, 1, 7, 0) : -524288
(0, 2, 0, 2) : -6291456
(0, 2, 0, 3) : 2097152
(0, 2, 0, 4) : 9437184
(0, 2, 0, 5) : 7077888
(0, 2, 0, 6) : 1835008
(0, 2, 1, 2) : 14680064
(0, 2, 1, 3) : -10485760
(0, 2, 1, 4) : -25427968
(0, 2, 1, 5) : -4718592
(0, 2, 2, 0) : -6291456
(0, 2, 2, 1) : 14680064
(0, 2, 2, 2) : 69206016
(0, 2, 2, 3) : 18350080
(0, 2, 2, 4) : 2359296
(0, 2, 3, 0) : 2097152
(0, 2, 3, 1) : -10485760
(0, 2, 3, 2) : 18350080
(0, 2, 3, 3) : 1048576
(0, 2, 4, 0) : 9437184
(0, 2, 4, 1) : -25427968
(0, 2, 4, 2) : 2359296
(0, 2, 5, 0) : 7077888
(0, 2, 5, 1) : -4718592
(0, 2, 6, 0) : 1835008
(0, 3, 0, 2) : 2097152
(0, 3, 0, 3) : -6291456
(0, 3, 0, 4) : -3932160
(0, 3, 0, 5) : -3670016
(0, 3, 1, 2) : -10485760
(0, 3, 1, 3) : 28311552
(0, 3, 1, 4) : 2621440
(0, 3, 2, 0) : 2097152
(0, 3, 2, 1) : -10485760
(0, 3, 2, 2) : 18350080
(0, 3, 2, 3) : 1048576
(0, 3, 3, 0) : -6291456
(0, 3, 3, 1) : 28311552
(0, 3, 3, 2) : 1048576
(0, 3, 4, 0) : -3932160
(0, 3, 4, 1) : 2621440
(0, 3, 5, 0) : -3670016
(0, 4, 0, 0) : 3145728
(0, 4, 0, 1) : -7340032
(0, 4, 0, 2) : 9437184
(0, 4, 0, 3) : -3932160
(0, 4, 0, 4) : 4587520
(0, 4, 1, 0) : -7340032
(0, 4, 1, 1) : 19922944
(0, 4, 1, 2) : -25427968
(0, 4, 1, 3) : 2621440
(0, 4, 2, 0) : 9437184
(0, 4, 2, 1) : -25427968
(0, 4, 2, 2) : 2359296
(0, 4, 3, 0) : -3932160
(0, 4, 3, 1) : 2621440
(0, 4, 4, 0) : 4587520
(0, 5, 0, 0) : 5242880
(0, 5, 0, 1) : -9437184
(0, 5, 0, 2) : 7077888
(0, 5, 0, 3) : -3670016
(0, 5, 1, 0) : -9437184
(0, 5, 1, 1) : 15204352
(0, 5, 1, 2) : -4718592
(0, 5, 2, 0) : 7077888
(0, 5, 2, 1) : -4718592
(0, 5, 3, 0) : -3670016
(0, 6, 0, 0) : 3145728
(0, 6, 0, 1) : -3932160
(0, 6, 0, 2) : 1835008
(0, 6, 1, 0) : -3932160
(0, 6, 1, 1) : 2621440
(0, 6, 2, 0) : 1835008
(0, 7, 0, 0) : 786432
(0, 7, 0, 1) : -524288
(0, 7, 1, 0) : -524288
(0, 8, 0, 0) : 65536
(1, 0, 0, 4) : -7340032
(1, 0, 0, 5) : -9437184
(1, 0, 0, 6) : -3932160
(1, 0, 0, 7) : -524288
(1, 0, 1, 4) : 19922944
(1, 0, 1, 5) : 15204352
(1, 0, 1, 6) : 2621440
(1, 0, 2, 2) : 14680064
(1, 0, 2, 3) : -10485760
(1, 0, 2, 4) : -25427968
(1, 0, 2, 5) : -4718592
(1, 0, 3, 2) : -10485760
(1, 0, 3, 3) : 28311552
(1, 0, 3, 4) : 2621440
(1, 0, 4, 0) : -7340032
(1, 0, 4, 1) : 19922944
(1, 0, 4, 2) : -25427968
(1, 0, 4, 3) : 2621440
(1, 0, 5, 0) : -9437184
(1, 0, 5, 1) : 15204352
(1, 0, 5, 2) : -4718592
(1, 0, 6, 0) : -3932160
(1, 0, 6, 1) : 2621440
(1, 0, 7, 0) : -524288
(1, 1, 0, 4) : 19922944
(1, 1, 0, 5) : 15204352
(1, 1, 0, 6) : 2621440
(1, 1, 1, 1) : -25165824
(1, 1, 1, 2) : 33554432
(1, 1, 1, 3) : 100663296
(1, 1, 1, 4) : 29884416
(1, 1, 1, 5) : -11534336
(1, 1, 2, 1) : 33554432
(1, 1, 2, 2) : -106954752
(1, 1, 2, 3) : -45088768
(1, 1, 2, 4) : 22544384
(1, 1, 3, 1) : 100663296
(1, 1, 3, 2) : -45088768
(1, 1, 3, 3) : -27262976
(1, 1, 4, 0) : 19922944
(1, 1, 4, 1) : 29884416
(1, 1, 4, 2) : 22544384
(1, 1, 5, 0) : 15204352
(1, 1, 5, 1) : -11534336
(1, 1, 6, 0) : 2621440
(1, 2, 0, 2) : 14680064
(1, 2, 0, 3) : -10485760
(1, 2, 0, 4) : -25427968
(1, 2, 0, 5) : -4718592
(1, 2, 1, 1) : 33554432
(1, 2, 1, 2) : -106954752
(1, 2, 1, 3) : -45088768
(1, 2, 1, 4) : 22544384
(1, 2, 2, 0) : 14680064
(1, 2, 2, 1) : -106954752
(1, 2, 2, 2) : 73924608
(1, 2, 2, 3) : -17825792
(1, 2, 3, 0) : -10485760
(1, 2, 3, 1) : -45088768
(1, 2, 3, 2) : -17825792
(1, 2, 4, 0) : -25427968
(1, 2, 4, 1) : 22544384
(1, 2, 5, 0) : -4718592
(1, 3, 0, 2) : -10485760
(1, 3, 0, 3) : 28311552
(1, 3, 0, 4) : 2621440
(1, 3, 1, 1) : 100663296
(1, 3, 1, 2) : -45088768
(1, 3, 1, 3) : -27262976
(1, 3, 2, 0) : -10485760
(1, 3, 2, 1) : -45088768
(1, 3, 2, 2) : -17825792
(1, 3, 3, 0) : 28311552
(1, 3, 3, 1) : -27262976
(1, 3, 4, 0) : 2621440
(1, 4, 0, 0) : -7340032
(1, 4, 0, 1) : 19922944
(1, 4, 0, 2) : -25427968
(1, 4, 0, 3) : 2621440
(1, 4, 1, 0) : 19922944
(1, 4, 1, 1) : 29884416
(1, 4, 1, 2) : 22544384
(1, 4, 2, 0) : -25427968
(1, 4, 2, 1) : 22544384
(1, 4, 3, 0) : 2621440
(1, 5, 0, 0) : -9437184
(1, 5, 0, 1) : 15204352
(1, 5, 0, 2) : -4718592
(1, 5, 1, 0) : 15204352
(1, 5, 1, 1) : -11534336
(1, 5, 2, 0) : -4718592
(1, 6, 0, 0) : -3932160
(1, 6, 0, 1) : 2621440
(1, 6, 1, 0) : 2621440
(1, 7, 0, 0) : -524288
(2, 0, 0, 2) : -6291456
(2, 0, 0, 3) : 2097152
(2, 0, 0, 4) : 9437184
(2, 0, 0, 5) : 7077888
(2, 0, 0, 6) : 1835008
(2, 0, 1, 2) : 14680064
(2, 0, 1, 3) : -10485760
(2, 0, 1, 4) : -25427968
(2, 0, 1, 5) : -4718592
(2, 0, 2, 0) : -6291456
(2, 0, 2, 1) : 14680064
(2, 0, 2, 2) : 69206016
(2, 0, 2, 3) : 18350080
(2, 0, 2, 4) : 2359296
(2, 0, 3, 0) : 2097152
(2, 0, 3, 1) : -10485760
(2, 0, 3, 2) : 18350080
(2, 0, 3, 3) : 1048576
(2, 0, 4, 0) : 9437184
(2, 0, 4, 1) : -25427968
(2, 0, 4, 2) : 2359296
(2, 0, 5, 0) : 7077888
(2, 0, 5, 1) : -4718592
(2, 0, 6, 0) : 1835008
(2, 1, 0, 2) : 14680064
(2, 1, 0, 3) : -10485760
(2, 1, 0, 4) : -25427968
(2, 1, 0, 5) : -4718592
(2, 1, 1, 1) : 33554432
(2, 1, 1, 2) : -106954752
(2, 1, 1, 3) : -45088768
(2, 1, 1, 4) : 22544384
(2, 1, 2, 0) : 14680064
(2, 1, 2, 1) : -106954752
(2, 1, 2, 2) : 73924608
(2, 1, 2, 3) : -17825792
(2, 1, 3, 0) : -10485760
(2, 1, 3, 1) : -45088768
(2, 1, 3, 2) : -17825792
(2, 1, 4, 0) : -25427968
(2, 1, 4, 1) : 22544384
(2, 1, 5, 0) : -4718592
(2, 2, 0, 0) : -6291456
(2, 2, 0, 1) : 14680064
(2, 2, 0, 2) : 69206016
(2, 2, 0, 3) : 18350080
(2, 2, 0, 4) : 2359296
(2, 2, 1, 0) : 14680064
(2, 2, 1, 1) : -106954752
(2, 2, 1, 2) : 73924608
(2, 2, 1, 3) : -17825792
(2, 2, 2, 0) : 69206016
(2, 2, 2, 1) : 73924608
(2, 2, 2, 2) : 131596288
(2, 2, 3, 0) : 18350080
(2, 2, 3, 1) : -17825792
(2, 2, 4, 0) : 2359296
(2, 3, 0, 0) : 2097152
(2, 3, 0, 1) : -10485760
(2, 3, 0, 2) : 18350080
(2, 3, 0, 3) : 1048576
(2, 3, 1, 0) : -10485760
(2, 3, 1, 1) : -45088768
(2, 3, 1, 2) : -17825792
(2, 3, 2, 0) : 18350080
(2, 3, 2, 1) : -17825792
(2, 3, 3, 0) : 1048576
(2, 4, 0, 0) : 9437184
(2, 4, 0, 1) : -25427968
(2, 4, 0, 2) : 2359296
(2, 4, 1, 0) : -25427968
(2, 4, 1, 1) : 22544384
(2, 4, 2, 0) : 2359296
(2, 5, 0, 0) : 7077888
(2, 5, 0, 1) : -4718592
(2, 5, 1, 0) : -4718592
(2, 6, 0, 0) : 1835008
(3, 0, 0, 2) : 2097152
(3, 0, 0, 3) : -6291456
(3, 0, 0, 4) : -3932160
(3, 0, 0, 5) : -3670016
(3, 0, 1, 2) : -10485760
(3, 0, 1, 3) : 28311552
(3, 0, 1, 4) : 2621440
(3, 0, 2, 0) : 2097152
(3, 0, 2, 1) : -10485760
(3, 0, 2, 2) : 18350080
(3, 0, 2, 3) : 1048576
(3, 0, 3, 0) : -6291456
(3, 0, 3, 1) : 28311552
(3, 0, 3, 2) : 1048576
(3, 0, 4, 0) : -3932160
(3, 0, 4, 1) : 2621440
(3, 0, 5, 0) : -3670016
(3, 1, 0, 2) : -10485760
(3, 1, 0, 3) : 28311552
(3, 1, 0, 4) : 2621440
(3, 1, 1, 1) : 100663296
(3, 1, 1, 2) : -45088768
(3, 1, 1, 3) : -27262976
(3, 1, 2, 0) : -10485760
(3, 1, 2, 1) : -45088768
(3, 1, 2, 2) : -17825792
(3, 1, 3, 0) : 28311552
(3, 1, 3, 1) : -27262976
(3, 1, 4, 0) : 2621440
(3, 2, 0, 0) : 2097152
(3, 2, 0, 1) : -10485760
(3, 2, 0, 2) : 18350080
(3, 2, 0, 3) : 1048576
(3, 2, 1, 0) : -10485760
(3, 2, 1, 1) : -45088768
(3, 2, 1, 2) : -17825792
(3, 2, 2, 0) : 18350080
(3, 2, 2, 1) : -17825792
(3, 2, 3, 0) : 1048576
(3, 3, 0, 0) : -6291456
(3, 3, 0, 1) : 28311552
(3, 3, 0, 2) : 1048576
(3, 3, 1, 0) : 28311552
(3, 3, 1, 1) : -27262976
(3, 3, 2, 0) : 1048576
(3, 4, 0, 0) : -3932160
(3, 4, 0, 1) : 2621440
(3, 4, 1, 0) : 2621440
(3, 5, 0, 0) : -3670016
(4, 0, 0, 0) : 3145728
(4, 0, 0, 1) : -7340032
(4, 0, 0, 2) : 9437184
(4, 0, 0, 3) : -3932160
(4, 0, 0, 4) : 4587520
(4, 0, 1, 0) : -7340032
(4, 0, 1, 1) : 19922944
(4, 0, 1, 2) : -25427968
(4, 0, 1, 3) : 2621440
(4, 0, 2, 0) : 9437184
(4, 0, 2, 1) : -25427968
(4, 0, 2, 2) : 2359296
(4, 0, 3, 0) : -3932160
(4, 0, 3, 1) : 2621440
(4, 0, 4, 0) : 4587520
(4, 1, 0, 0) : -7340032
(4, 1, 0, 1) : 19922944
(4, 1, 0, 2) : -25427968
(4, 1, 0, 3) : 2621440
(4, 1, 1, 0) : 19922944
(4, 1, 1, 1) : 29884416
(4, 1, 1, 2) : 22544384
(4, 1, 2, 0) : -25427968
(4, 1, 2, 1) : 22544384
(4, 1, 3, 0) : 2621440
(4, 2, 0, 0) : 9437184
(4, 2, 0, 1) : -25427968
(4, 2, 0, 2) : 2359296
(4, 2, 1, 0) : -25427968
(4, 2, 1, 1) : 22544384
(4, 2, 2, 0) : 2359296
(4, 3, 0, 0) : -3932160
(4, 3, 0, 1) : 2621440
(4, 3, 1, 0) : 2621440
(4, 4, 0, 0) : 4587520
(5, 0, 0, 0) : 5242880
(5, 0, 0, 1) : -9437184
(5, 0, 0, 2) : 7077888
(5, 0, 0, 3) : -3670016
(5, 0, 1, 0) : -9437184
(5, 0, 1, 1) : 15204352
(5, 0, 1, 2) : -4718592
(5, 0, 2, 0) : 7077888
(5, 0, 2, 1) : -4718592
(5, 0, 3, 0) : -3670016
(5, 1, 0, 0) : -9437184
(5, 1, 0, 1) : 15204352
(5, 1, 0, 2) : -4718592
(5, 1, 1, 0) : 15204352
(5, 1, 1, 1) : -11534336
(5, 1, 2, 0) : -4718592
(5, 2, 0, 0) : 7077888
(5, 2, 0, 1) : -4718592
(5, 2, 1, 0) : -4718592
(5, 3, 0, 0) : -3670016
(6, 0, 0, 0) : 3145728
(6, 0, 0, 1) : -3932160
(6, 0, 0, 2) : 1835008
(6, 0, 1, 0) : -3932160
(6, 0, 1, 1) : 2621440
(6, 0, 2, 0) : 1835008
(6, 1, 0, 0) : -3932160
(6, 1, 0, 1) : 2621440
(6, 1, 1, 0) : 2621440
(6, 2, 0, 0) : 1835008
(7, 0, 0, 0) : 786432
(7, 0, 0, 1) : -524288
(7, 0, 1, 0) : -524288
(7, 1, 0, 0) : -524288
(8, 0, 0, 0) : 65536
# M_4(d1,d2,d3) = prod_{eps in {+-1}^3} (2 - sum eps_j sqrt(1-4 d_j))  (M_i: same with d_i omitted)
(0, 0, 0, 0) : -135
(0, 0, 1, 0) : 144
(0, 0, 2, 0) : 1248
(0, 0, 3, 0) : 1280
(0, 0, 4, 0) : 256
(0, 1, 0, 0) : 144
(0, 1, 1, 0) : -192
(0, 1, 2, 0) : -1280
(0, 1, 3, 0) : -1024
(0, 2, 0, 0) : 1248
(0, 2, 1, 0) : -1280
(0, 2, 2, 0) : 1536
(0, 3, 0, 0) : 1280
(0, 3, 1, 0) : -1024
(0, 4, 0, 0) : 256
(1, 0, 0, 0) : 144
(1, 0, 1, 0) : -192
(1, 0, 2, 0) : -1280
(1, 0, 3, 0) : -1024
(1, 1, 0, 0) : -192
(1, 1, 1, 0) : 8704
(1, 1, 2, 0) : 1024
(1, 2, 0, 0) : -1280
(1, 2, 1, 0) : 1024
(1, 3, 0, 0) : -1024
(2, 0, 0, 0) : 1248
(2, 0, 1, 0) : -1280
(2, 0, 2, 0) : 1536
(2, 1, 0, 0) : -1280
(2, 1, 1, 0) : 1024
(2, 2, 0, 0) : 1536
(3, 0, 0, 0) : 1280
(3, 0, 1, 0) : -1024
(3, 1, 0, 0) : -1024
(4, 0, 0, 0) : 256
